1[s. 2]s1 2[[ok1]P]s0 3 1d0!=1 0!=0 4[s. 2]s1 5[[nok2]P]s0 6[[ok2]P]s2 7 0d0!=1 0!=0e2 8[s. 0]s1 9[[nok3]P]s0 10[[ok3]P]s2 11 3d0!=1 0!=0e2 12[s. 0]s1 13[[nok4]P]s0 14[[ok4]P]s2 15 0d0!=1 0!=0e2 16[s. 0]s1 17[s. 0]s2 18[[nok5]P]s0 19[[ok5]P]s3 20 0d0!=1d0!=2 0!=0e3 21[s. 1]s1 22[s. 0]s2 23[[nok6]P]s0 24[[ok6]P]s3 25 0d0!=1d0!=2 0!=0e3 26[s. 1]s1 27[s. 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[s.lx]s1 40[[nok8]P]s0 41[[ok8]P]s2 42lxd0!=1 0!=0e2 43[s.lx]s1 44[[ok9]P]s0 45[[nok9]P]s2 46lxNd0!=1 0!=0e2 47[ 48]n 49[s. 4 3(]s1 50[[ok10]P]s0 51[[nok10]P]s2 52 2 1(d0!=1 0!=0e2 53[ 54]n 55q