1[R 2]s1 2[[ok1]P]s0 3 1d0!=1 0!=0 4[R 2]s1 5[[nok2]P]s0 6[[ok2]P]s2 7 0d0!=1 0!=0e2 8[R 0]s1 9[[nok3]P]s0 10[[ok3]P]s2 11 3d0!=1 0!=0e2 12[R 0]s1 13[[nok4]P]s0 14[[ok4]P]s2 15 0d0!=1 0!=0e2 16[R 0]s1 17[R 0]s2 18[[nok5]P]s0 19[[ok5]P]s3 20 0d0!=1d0!=2 0!=0e3 21[R 1]s1 22[R 0]s2 23[[nok6]P]s0 24[[ok6]P]s3 25 0d0!=1d0!=2 0!=0e3 26[R 1]s1 27[R 1]s2 28[[ok7]P]s0 29[[nok7]P]s3 30 1d0!=1d0!=2 0!=0e3 31[ 32]n 33[[f]P0 1Q]s 34 35 36[[g]P 1 1Q0 1Q]s 37 38 39[Rlx]s1 40[[nok8]P]s0 41[[ok8]P]s2 42lxd0!=1 0!=0e2 43[Rlx]s1 44[[ok9]P]s0 45[[nok9]P]s2 46lxNd0!=1 0!=0e2 47[ 48]n 49[R 4 3(]s1 50[[ok10]P]s0 51[[nok10]P]s2 52 2 1(d0!=1 0!=0e2 53[ 54]n 55q