[s. 2]s1 [[ok1]P]s0 1d0!=1 0!=0 [s. 2]s1 [[nok2]P]s0 [[ok2]P]s2 0d0!=1 0!=0e2 [s. 0]s1 [[nok3]P]s0 [[ok3]P]s2 3d0!=1 0!=0e2 [s. 0]s1 [[nok4]P]s0 [[ok4]P]s2 0d0!=1 0!=0e2 [s. 0]s1 [s. 0]s2 [[nok5]P]s0 [[ok5]P]s3 0d0!=1d0!=2 0!=0e3 [s. 1]s1 [s. 0]s2 [[nok6]P]s0 [[ok6]P]s3 0d0!=1d0!=2 0!=0e3 [s. 1]s1 [s. 1]s2 [[ok7]P]s0 [[nok7]P]s3 1d0!=1d0!=2 0!=0e3 [ ]n [[f]P0 1Q]s [[g]P 1 1Q0 1Q]s [s.lx]s1 [[nok8]P]s0 [[ok8]P]s2 lxd0!=1 0!=0e2 [s.lx]s1 [[ok9]P]s0 [[nok9]P]s2 lxNd0!=1 0!=0e2 [ ]n [s. 4 3(]s1 [[ok10]P]s0 [[nok10]P]s2 2 1(d0!=1 0!=0e2 [ ]n q