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