[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