1[s. 0]s1 2[[nok1]P]s0 3[[ok1]P]s2 4 0d0=1 0!=0e2 5[s. 0]s1 6[[ok2]P]s0 7[[nok2]P]s2 8 1d0=1 0!=0e2 9[s. 1]s1 10[[ok3]P]s0 11[[nok3]P]s2 12 0d0=1 0!=0e2 13[s. 1]s1 14[[ok4]P]s0 15[[nok4]P]s2 16 1d0=1 0!=0e2 17[ 18]n 19 20[[f]P 0 1Q0 1Q]s 21 22 23[[g]P 0 1Q0 1Q]s 24 25 26[[h]P 1 1Q0 1Q]s 27 28 29 30[s.lx]s1 31[s.lx]s2 32[[ok5]P]s0 33[[nok5]P]s3 34lxd0=1d0=2 0!=0e3 35[s.lx]s1 36[s.lxN]s2 37[[nok6]P]s0 38[[ok6]P]s3 39lxd0=1d0=2 0!=0e3 40[s.lxN]s1 41[s.lx]s2 42[[nok7]P]s0 43[[ok7]P]s3 44lxd0=1d0=2 0!=0e3 45 46[ 47]n 48q