O
0
0
+
0
x
x
+
x
0
x
+
O
x
O
y
O
+
x
y
+
O
x
I
y
I
+
x
y
+
I
x
O
y
I
+
x
y
+
I
x
I
y
O
+
+
x
y
I
0
*
0
x
0
*
x
0
0
*
O
x
y
O
*
x
y
*
I
x
y
+
O
*
x
y
y
-
x
0
x
-
0
x
0
-
O
x
O
y
O
-
x
y
-
O
x
I
y
I
-
-
x
y
I
1
-
I
x
O
y
I
-
x
y
-
I
x
I
y
O
-
x
y
2.2
*
I
x
y
+
O
*
x
y
y
-
O
x
O
y
-
x
y
-
I
x
I
y
O
-
x
y
+
I
x
I
y
+
x
y
*
O
x
y
*
x
y
+
O
x
I
y
+
x
y
-
I
x
I
y
-
x
y
+
I
x
I
y
O
+
+
x
y
I
0
*
O
x
y
O
*
x
y
-
O
x
O
y
O
-
x
y
-
O
x
I
y
-
x
y
+
O
x
O
y
+
x
y
-
O
x
I
y
-
-
x
y
I
1
*
I
x
y
O
*
x
y
+
I
x
O
y
+
x
y
+
I
x
I
y
+
+
x
y
I
0
-
I
x
O
y
-
x
y
*
I
x
y
*
x
y
+
O
x
O
y
O
+
x
y
true
*
I
x
y
*
x
y
*
O
x
y
*
x
y
true
1
0
0
O
1
0
*
2
1
0
O
1
1
1
I
1
1
1
0
0
0
-
2
0
-
2
0
+
2
0
+
2
0
*
2
0
*
I
x
y
O
*
x
y
false
-
I
x
I
y
-
x
y
-
I
x
O
y
-
x
y
-
O
x
I
y
-
-
x
y
I
1
-
O
x
I
y
-
x
y
-
O
x
O
y
-
x
y
true
1
0
0
O
1
0
*
2
0
O
1
1
3
I
1
1
1
0
0
1
-
2
1
2
3
-
2
2
0
+
2
0
+
2
0
*
2
0
-
O
x
I
y
-
-
x
y
I
1
-
O
x
I
y
-
-
x
y
I
1
true
1
0
0
O
1
0
*
2
0
O
1
1
2
I
1
1
1
0
0
1
-
2
1
2
1
-
2
1
2
0
+
2
0
+
2
0
*
2
0
-
O
x
I
y
I
-
-
x
y
I
1
O
0
0
-
I
x
O
y
I
-
x
y
-
I
x
I
y
O
-
x
y
-
O
x
O
y
O
-
x
y
-
x
0
x
-
0
x
0
-
I
x
I
y
O
-
x
y
false
-
O
x
O
y
O
-
x
y
false
*
O
x
y
O
*
x
y
false
*
I
x
y
+
O
*
x
y
y
false
+
O
x
I
y
+
x
y
+
I
x
I
y
+
+
x
y
I
0
+
I
x
O
y
+
x
y
+
I
x
I
y
+
x
y
+
O
x
O
y
+
x
y
true
1
0
0
O
1
0
*
2
0
O
1
1
1
I
1
1
38609
0
0
1
-
2
1
3564
-
2
0
+
2
1
2
38607
+
2
1
2
0
*
2
0
+
O
x
O
y
O
+
x
y
O
0
0
+
x
0
x
+
O
x
I
y
I
+
x
y
+
I
x
I
y
O
+
+
x
y
I
0
-
x
0
x
-
0
x
0
+
I
x
O
y
I
+
x
y
+
0
x
x
+
I
x
I
y
O
+
+
x
y
I
0
false
+
O
x
O
y
O
+
x
y
false
NaTT
certifiable-1.6