+
+
xy
z
+
x
+
yz
+
0
0
0
+
x
-
x
0
f
0
yz
y
g
+
xy
y
f
+
xy
xy
+
+
xy
z
+
x
+
yz
+
x
-
x
0
f
0
yz
y
-
0
0
+
x
0
x
+
0
x
x
-
-
x
x
+
x
+
-
x
z
z
+
-
x
x
0
+
-
x
+
xz
z
-
+
yx
+
-
x
-
y
g
yx
f
y
+
y
-
x
x
2.1
++xyz+yz++xyz+x+yz-+yx-y-+yx-x-+yx+-x-ygyx-xgyx+y-xgyxfy+y-xxtruegyx+y-xfalse5gyxfy+y-xxfalsegyx-xfalse12-+yx-y-+yx-xtrue1-11-+yx+-x-yfalse1++xyz+yz++xyz+x+yztrue+21
+
+
xy
z
+
x
+
yz
+
+
xy
z
+
+
xy
z
+
x
+
yz
+
x
+
yz
+
x
-
x
0
+
x
-
x
+
x
-
x
0
0
f
0
yz
y
f
0
yz
f
0
yz
y
y
+
x
+
-
x
z
+
0
z
+
x
+
-
x
z
+
+
xy
z
+
x
+
yz
+
+
x
-
x
z
1
+
x
-
x
0
+
0
z
+
0
-
-
x
+
x
0
+
0
-
-
x
+
x
+
-
x
z
+
0
z
+
x
+
-
x
-
-
x
2
+
x
-
x
0
+
x
0
+
0
0
0
+
0
0
+
0
0
0
0
+
0
+
0
z
+
0
z
+
0
+
0
z
+
+
xy
z
+
x
+
yz
+
+
0
0
z
1
+
0
0
0
+
0
z
+
0
+
x
0
+
0
-
-
x
+
0
+
x
0
2
+
0
-
-
x
+
x
0
+
0
+
0
-
-
x
+
0
+
0
z
+
0
z
+
0
-
-
x
+
0
+
x
0
+
x
0
+
0
+
x
0
+
0
+
x
0
+
0
-
-
x
+
0
-
-
x
+
0
-
-
x
+
x
0
+
x
0
+
0
0
+
-
0
0
+
0
0
+
x
+
-
x
z
+
0
z
+
0
+
-
0
0
+
0
+
x
0
+
x
0
+
-
0
0
+
-
0
0
0
+
-
0
0
+
0
0
+
-
0
0
+
0
0
+
0
0
0
0
g
+
xy
y
f
+
xy
xy
g
+
xy
y
g
+
xy
y
f
+
xy
xy
f
+
xy
xy
g
0
0
f
+
-
0
0
-
0
0
g
0
0
1
+
-
0
0
0
g
+
-
0
0
0
g
+
xy
y
f
+
xy
xy
f
+
-
0
0
-
0
0
g
0
0
f
0
-
0
0
g
0
0
g
0
0
f
+
-
0
0
-
0
0
f
+
-
0
0
-
0
0
1
+
-
0
0
0
f
0
-
0
0
g
0
0
-
0
g
0
0
g
0
0
f
0
-
0
0
f
0
-
0
0
f
0
yz
y
-
0
g
0
0
f
+
0
0
0
0
g
0
0
1
+
0
0
0
g
+
0
0
0
g
+
xy
y
f
+
xy
xy
f
+
0
0
0
0
g
0
0
f
0
0
0
g
0
0
g
0
0
f
+
0
0
0
0
f
+
0
0
0
0
1
+
0
0
0
f
0
0
0
g
0
0
0
g
0
0
g
0
0
f
0
0
0
f
0
0
0
f
0
yz
y
0
-
0
0
-
0
g
0
0
-
0
g
0
0
g
0
0
0
0
+
x
+
y
-
+
xy
0
+
x
+
y
-
+
xy
+
+
xy
z
+
x
+
yz
+
+
xy
-
+
xy
+
x
-
x
0
0
g
0
+
y
-
+
xy
f
+
x
+
y
-
+
xy
x
+
y
-
+
xy
g
0
+
y
-
+
xy
1
+
x
+
y
-
+
xy
0
g
+
x
+
y
-
+
xy
+
y
-
+
xy
g
+
xy
y
f
+
xy
xy
f
+
x
+
y
-
+
xy
x
+
y
-
+
xy
g
0
+
y
-
+
xy
f
0
x
+
y
-
+
xy
g
0
+
y
-
+
xy
g
0
+
y
-
+
xy
f
+
x
+
y
-
+
xy
x
+
y
-
+
xy
f
+
x
+
y
-
+
xy
x
+
y
-
+
xy
1
+
x
+
y
-
+
xy
0
f
0
x
+
y
-
+
xy
g
0
+
y
-
+
xy
x
g
0
+
y
-
+
xy
g
0
+
y
-
+
xy
f
0
x
+
y
-
+
xy
f
0
x
+
y
-
+
xy
f
0
yz
y
x
g
0
+
-
x
-
0
x
g
0
+
-
x
-
0
221
+
x
-
x
0
g
0
+
-
x
-
+
x
-
x
g
0
+
y
-
+
xy
x
x
g
0
+
-
x
0
x
g
0
+
-
x
0
22
-
0
0
g
0
+
-
x
-
0
g
0
+
-
x
-
0
x
x
+
x
+
-
x
-
0
0
+
x
+
-
x
-
0
221
+
x
-
x
0
+
x
+
-
x
-
+
x
-
x
+
x
+
y
-
+
xy
0
0
+
x
+
y
+
-
+
xy
-
0
0
+
x
+
y
+
-
+
xy
-
0
+
+
xy
z
+
x
+
yz
+
+
xy
+
-
+
xy
-
0
+
x
+
-
x
-
0
0
0
+
x
+
y
+
-
+
xy
0
0
+
x
+
y
+
-
+
xy
0
222
-
0
0
+
x
+
y
+
-
+
xy
-
0
+
x
+
y
+
-
+
xy
-
0
0
0
+
x
+
-
+
x
0
0
0
+
x
+
-
+
x
0
0
2
+
0
+
x
0
+
x
0
+
x
+
0
+
-
+
x
0
0
+
x
+
y
+
-
+
xy
0
0
0
g
0
+
+
-
+
x
0
0
-
0
x
g
0
+
+
-
+
x
0
0
-
0
221
+
x
+
-
+
x
0
0
0
g
0
+
+
-
+
x
0
0
-
+
x
+
-
+
x
0
0
g
0
+
y
-
+
xy
x
x
g
0
+
-
+
x
0
+
0
-
0
x
g
0
+
-
+
x
0
+
0
-
0
2
+
+
xy
z
+
x
+
yz
g
0
+
+
-
+
x
0
0
-
0
g
0
+
+
-
+
x
0
0
-
0
x
x
g
0
+
-
+
x
0
0
x
g
0
+
-
+
x
0
0
22
+
x
-
x
0
g
0
+
-
+
x
0
+
0
-
0
g
0
+
-
+
x
0
+
0
-
0
x
x
+
x
0
x
+
x
0
g
0
+
-
x
0
x
g
0
+
-
+
x
0
0
g
0
+
-
+
x
0
0
x
x
+
0
+
x
0
x
+
0
+
x
0
+
0
+
x
0
+
x
0
+
x
0
+
x
0
x
x
+
0
x
x
+
0
x
2
+
x
0
x
+
0
+
x
0
+
0
+
x
0
x
x
+
x
0
+
0
+
-
+
-
x
0
0
+
x
0
2
+
x
+
-
+
x
0
0
0
+
x
+
-
x
+
-
+
-
x
0
0
+
x
+
-
x
z
+
0
z
+
0
+
-
+
-
x
0
0
+
x
0
+
-
+
-
x
0
0
+
x
0
+
x
0
+
0
+
-
+
-
x
0
0
+
0
+
-
+
-
x
0
0
+
0
+
x
0
+
x
0
+
-
+
-
x
0
0
x
+
-
+
-
x
0
0
x
+
x
0
x
+
x
0
+
x
0
+
-
+
-
x
0
0
+
-
+
-
x
0
0
x
-
+
-
x
0
x
x
+
-
+
-
x
0
0
+
-
+
-
x
0
0
+
x
0
x
-
+
-
x
0
-
-
x
x
-
-
x
1
+
x
0
x
-
+
-
x
0
x
-
+
-
x
0
x
+
x
+
-
x
z
z
+
x
+
-
x
z
+
x
+
-
x
z
+
0
z
+
0
z
+
0
x
x
z
+
-
x
x
0
+
-
x
x
2
-
-
x
x
+
-
x
-
-
x
+
x
-
x
0
0
+
-
x
+
xz
z
+
-
x
+
xz
21
-
-
x
x
+
-
x
+
-
-
x
z
+
x
+
-
x
z
z
z
+
-
x
0
+
y
-
+
xy
+
-
x
0
2
+
x
+
y
-
+
xy
0
+
-
x
+
x
+
y
-
+
xy
+
-
x
+
xz
z
+
y
-
+
xy
+
y
-
+
xy
-
x
+
y
-
+
xy
+
-
x
0
+
y
-
+
xy
+
-
x
0
+
x
0
x
-
x
-
+
yx
+
-
x
-
y
-
+
yx
+
-
x
+
xz
z
+
-
x
+
x
-
+
yx
2
+
y
-
+
xy
-
x
+
-
x
-
y
g
0
-
x
f
+
x
-
x
x
-
x
g
0
-
x
1
+
x
-
x
0
g
+
x
-
x
-
x
g
+
xy
y
f
+
xy
xy
f
+
x
-
x
x
-
x
g
0
-
x
f
0
x
-
x
g
0
-
x
g
0
-
x
f
+
x
-
x
x
-
x
f
+
x
-
x
x
-
x
1
+
x
-
x
0
f
0
x
-
x
g
0
-
x
x
g
0
-
x
g
0
-
x
f
0
x
-
x
f
0
x
-
x
f
0
yz
y
x
g
0
x
-
x
g
0
x
2
-
-
x
x
g
0
-
-
x
g
0
-
x
x
-
x
-
+
y
-
+
xy
x
-
+
y
-
+
xy
g
0
x
-
x
g
0
+
y
-
+
xy
g
0
+
y
-
+
xy
x
x
+
x
0
+
y
-
+
-
x
y
+
x
0
2
+
x
+
y
-
+
xy
0
+
x
+
-
x
+
y
-
+
-
x
y
+
x
+
-
x
z
z
+
y
-
+
-
x
y
+
y
-
+
-
x
y
x
+
y
-
+
-
x
y
+
x
0
+
y
-
+
-
x
y
+
x
0
+
x
0
x
x
+
-
+
y
-
x
y
x
+
-
+
y
-
x
y
2
-
+
y
-
+
xy
x
+
-
+
y
-
x
-
+
-
x
-
+
y
-
x
+
y
-
+
-
x
y
x
x
g
yx
f
+
-
+
x
-
y
x
-
+
x
-
y
x
g
yx
1
+
-
+
y
-
x
y
x
g
+
-
+
x
-
y
x
x
g
+
xy
y
f
+
xy
xy
f
+
-
+
x
-
y
x
-
+
x
-
y
x
g
yx
f
y
-
+
x
-
y
x
g
yx
g
yx
f
+
-
+
x
-
y
x
-
+
x
-
y
x
f
+
-
+
x
-
y
x
-
+
x
-
y
x
1
+
-
+
y
-
x
y
x
f
y
-
+
x
-
y
x
-
+
y
-
x
+
x
-
y
-
+
y
-
x
+
x
+
-
x
z
z
+
x
+
-
x
-
+
y
-
x
2
+
y
-
+
xy
-
x
+
x
-
y
g
yx
f
y
+
y
-
x
x
g
yx
g
yx
f
y
-
+
x
-
y
x
f
y
-
+
x
-
y
x
2
-
+
y
-
x
+
x
-
y
f
y
+
y
-
x
x
kbcv2.0.0.0