0
#
#
+
#
x
x
+
x
#
x
+
0
x
0
y
0
+
x
y
+
0
x
1
y
1
+
x
y
+
1
x
0
y
1
+
x
y
+
0
x
j
y
j
+
x
y
+
j
x
0
y
j
+
x
y
+
1
x
1
y
j
+
+
x
y
1
#
+
j
x
j
y
1
+
+
x
y
j
#
+
1
x
j
y
0
+
x
y
+
j
x
1
y
0
+
x
y
+
+
x
y
z
+
x
+
y
z
opp
#
#
opp
0
x
0
opp
x
opp
1
x
j
opp
x
opp
j
x
1
opp
x
-
x
y
+
x
opp
y
*
#
x
#
*
0
x
y
0
*
x
y
*
1
x
y
+
0
*
x
y
y
*
j
x
y
-
0
*
x
y
y
*
*
x
y
z
*
x
*
y
z
*
+
x
y
z
+
*
x
z
*
y
z
*
x
+
y
z
+
*
x
y
*
x
z
2.2
+
+
x
y
z
+
x
+
y
z
*
1
x
y
0
*
x
y
+
0
x
0
y
0
+
x
y
-
x
y
+
x
opp
y
-
x
y
opp
y
+
1
x
j
y
0
+
x
y
+
j
x
1
y
0
+
x
y
*
+
x
y
z
*
x
z
*
*
x
y
z
*
x
*
y
z
*
j
x
y
-
0
*
x
y
y
+
0
x
1
y
+
x
y
*
*
x
y
z
*
y
z
opp
1
x
opp
x
+
j
x
1
y
+
x
y
*
1
x
y
*
x
y
*
j
x
y
0
*
x
y
+
0
x
j
y
+
x
y
+
1
x
j
y
+
x
y
*
+
x
y
z
*
y
z
opp
0
x
0
opp
x
+
1
x
1
y
+
x
y
*
1
x
y
+
0
*
x
y
y
+
j
x
j
y
+
x
y
opp
0
x
opp
x
opp
j
x
opp
x
*
x
+
y
z
*
x
z
+
j
x
0
y
+
x
y
*
0
x
y
*
x
y
*
j
x
y
*
x
y
+
0
x
0
y
+
x
y
+
j
x
j
y
+
+
x
y
j
#
*
x
+
y
z
*
x
y
+
+
x
y
z
+
y
z
+
1
x
0
y
+
x
y
*
+
x
y
z
+
*
x
z
*
y
z
*
x
+
y
z
+
*
x
y
*
x
z
+
1
x
1
y
+
+
x
y
1
#
*
0
x
y
0
*
x
y
true
*
1
x
y
*
x
y
*
*
x
y
z
*
y
z
*
x
+
y
z
*
x
y
*
j
x
y
*
x
y
*
*
x
y
z
*
x
*
y
z
*
+
x
y
z
*
x
z
*
0
x
y
*
x
y
*
x
+
y
z
*
x
z
*
+
x
y
z
*
y
z
true
0
1
0
1
1
1
1
*
2
1
0
#
0
1
opp
1
0
0
1
1
3
-
2
1
2
0
j
1
1
1
opp
1
1
21277
-
2
0
+
2
1
2
7720
+
2
0
*
2
1
2
1
*
x
+
y
z
*
x
z
*
x
+
y
z
*
x
y
opp
0
x
0
opp
x
0
#
#
opp
1
x
j
opp
x
opp
j
x
1
opp
x
opp
#
#
*
x
+
y
z
*
x
z
*
x
+
y
z
*
x
y
true
0
1
0
1
1
0
*
2
2
7720
0
#
0
0
opp
1
0
0
1
0
-
2
0
j
1
0
opp
1
0
-
2
0
+
2
1
39
2
0
0
+
2
0
*
2
0
*
x
+
y
z
*
x
z
*
x
+
y
z
*
x
z
true
0
1
0
1
1
0
*
2
2
10157
0
#
0
0
opp
1
0
0
1
0
-
2
0
j
1
0
opp
1
0
-
2
0
+
2
2
1
0
+
2
0
*
2
0
*
+
x
y
z
+
*
x
z
*
y
z
false
*
x
+
y
z
+
*
x
y
*
x
z
false
*
0
x
y
0
*
x
y
false
*
j
x
y
-
0
*
x
y
y
false
-
x
y
+
x
opp
y
false
-
x
y
opp
y
false
opp
1
x
opp
x
opp
j
x
opp
x
opp
0
x
opp
x
true
0
1
0
1
1
1
3
*
2
0
#
0
1
opp
1
1
0
0
1
1
2
-
2
1
2
0
j
1
1
1
opp
1
1
1
-
2
0
+
2
2
5
+
2
0
*
2
1
2
1
opp
0
x
0
opp
x
false
*
j
x
y
0
*
x
y
false
*
1
x
y
+
0
*
x
y
y
false
*
1
x
y
0
*
x
y
false
+
1
x
1
y
+
+
x
y
1
#
+
j
x
1
y
+
x
y
+
1
x
0
y
+
x
y
+
0
x
1
y
+
x
y
+
+
x
y
z
+
y
z
+
j
x
j
y
+
+
x
y
j
#
+
0
x
0
y
+
x
y
+
j
x
0
y
+
x
y
+
j
x
j
y
+
x
y
+
1
x
1
y
+
x
y
+
1
x
j
y
+
x
y
+
+
x
y
z
+
x
+
y
z
+
0
x
j
y
+
x
y
true
0
1
0
1
1
1
1
*
2
0
#
0
0
opp
1
0
0
1
1
2
-
2
1
2
38475
j
1
1
1
opp
1
1
38476
-
2
0
+
2
1
2
0
+
2
1
2
0
*
2
28224
+
+
x
y
z
+
x
+
y
z
+
+
x
y
z
+
y
z
+
0
x
0
y
0
+
x
y
+
j
x
0
y
j
+
x
y
0
#
#
+
x
#
x
+
0
x
1
y
1
+
x
y
+
j
x
j
y
1
+
+
x
y
j
#
+
0
x
j
y
j
+
x
y
+
j
x
1
y
0
+
x
y
+
1
x
j
y
0
+
x
y
+
1
x
1
y
j
+
+
x
y
1
#
+
+
x
y
z
+
x
+
y
z
+
1
x
0
y
1
+
x
y
+
#
x
x
+
+
x
y
z
+
y
z
+
+
x
y
z
+
x
+
y
z
true
0
1
0
1
1
2
*
2
0
#
0
0
opp
1
0
0
1
3
-
2
1
2
0
j
1
2
opp
1
1
14661
-
2
0
+
2
1
2
1
+
2
1
2
0
*
2
2
+
+
x
y
z
+
x
+
y
z
+
0
x
0
y
0
+
x
y
+
j
x
0
y
j
+
x
y
0
#
#
+
x
#
x
+
0
x
1
y
1
+
x
y
+
j
x
j
y
1
+
+
x
y
j
#
+
0
x
j
y
j
+
x
y
+
j
x
1
y
0
+
x
y
+
1
x
j
y
0
+
x
y
+
1
x
1
y
j
+
+
x
y
1
#
+
+
x
y
z
+
x
+
y
z
+
1
x
0
y
1
+
x
y
+
#
x
x
+
+
x
y
z
+
x
+
y
z
true
0
1
0
1
1
28196
*
2
0
#
0
0
opp
1
0
0
1
42295
-
2
1
2
0
j
1
14098
opp
1
1
14098
-
2
0
+
2
1
2
1
+
2
1
0
*
2
13214
+
0
x
0
y
0
+
x
y
+
j
x
0
y
j
+
x
y
0
#
#
+
x
#
x
+
0
x
1
y
1
+
x
y
+
j
x
j
y
1
+
+
x
y
j
#
+
0
x
j
y
j
+
x
y
+
j
x
1
y
0
+
x
y
+
1
x
j
y
0
+
x
y
+
1
x
1
y
j
+
+
x
y
1
#
+
+
x
y
z
+
x
+
y
z
+
1
x
0
y
1
+
x
y
+
#
x
x
+
1
x
j
y
0
+
x
y
false
+
j
x
1
y
0
+
x
y
false
+
0
x
0
y
0
+
x
y
false
NaTT
certifiable-1.6