p
x
0
x
p
x
s
y
s
p
xy
f
0
0
f
s
0
s
0
f
s
s
z
p
f
s
z
f
z
g
0
b
s
0
0
g
s
z
n
g
z
n
b
xy
b
p
xy
x
u
b
xy
p
xy
g
x
b
f
s
x
f
x
p
x
0
x
p
x
s
y
s
p
xy
f
0
0
f
s
0
s
0
f
s
s
z
p
f
s
z
f
z
n
b
xy
b
p
xy
x
u
b
xy
p
xy
g
x
b
f
s
x
f
x
2.1
pxsypxyfsszfzfsszfszfsszpfszfznbxypxyubxypxygxfxgxfsxtruenbxypxyfalse6ubxypxyfalse5gxfxfalse23gxfsxfalse12fsszfzfsszfsztrue1f11fsszpfszfzfalse1pxsypxytruep22
p
x
0
x
p
x
0
p
x
0
x
x
p
x
s
y
s
p
xy
p
x
s
y
p
x
s
y
s
p
xy
s
p
xy
f
0
0
f
0
f
0
0
0
f
s
0
s
0
f
s
0
f
s
0
s
0
s
0
f
s
s
z
p
f
s
z
f
z
f
s
s
z
f
s
s
z
p
f
s
z
f
z
p
f
s
z
f
z
n
b
xy
b
p
xy
x
n
b
xy
n
b
xy
b
p
xy
x
b
p
xy
x
u
b
xy
p
xy
u
b
xy
u
b
xy
p
xy
p
xy
g
x
b
f
s
x
f
x
g
x
g
x
b
f
s
x
f
x
b
f
s
x
f
x
kbcv2.0.0.0