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
+
1
x
1
y
0
+
+
x
y
1
#
+
+
x
y
z
+
x
+
y
z
-
#
x
#
-
x
#
x
-
0
x
0
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
1
x
0
y
1
-
x
y
-
1
x
1
y
0
-
x
y
not
true
false
not
false
true
if
true
x
y
x
if
false
x
y
y
ge
0
x
0
y
ge
x
y
ge
0
x
1
y
not
ge
y
x
ge
1
x
0
y
ge
x
y
ge
1
x
1
y
ge
x
y
ge
x
#
true
ge
#
0
x
ge
#
x
ge
#
1
x
false
log
x
-
log'
x
1
#
log'
#
#
log'
1
x
+
log'
x
1
#
log'
0
x
if
ge
x
1
#
+
log'
x
1
#
#
2.2
log'
0
x
ge
x
1
#
+
0
x
0
y
0
+
x
y
-
1
x
0
y
-
x
y
-
1
x
1
y
-
x
y
ge
#
0
x
ge
#
x
-
0
x
1
y
-
x
y
log
x
-
log'
x
1
#
ge
0
x
0
y
ge
x
y
-
1
x
1
y
0
-
x
y
ge
0
x
1
y
not
ge
y
x
+
0
x
0
y
+
x
y
log
x
log'
x
log'
1
x
+
log'
x
1
#
-
0
x
0
y
0
-
x
y
-
0
x
1
y
-
-
x
y
1
#
+
1
x
0
y
+
x
y
+
+
x
y
z
+
y
z
ge
1
x
1
y
ge
x
y
+
+
x
y
z
+
x
+
y
z
+
1
x
1
y
+
+
x
y
1
#
+
0
x
1
y
+
x
y
ge
1
x
0
y
ge
x
y
log'
1
x
log'
x
+
1
x
1
y
0
+
+
x
y
1
#
log'
0
x
+
log'
x
1
#
log'
0
x
if
ge
x
1
#
+
log'
x
1
#
#
-
0
x
0
y
-
x
y
ge
0
x
1
y
ge
y
x
log'
0
x
log'
x
+
1
x
1
y
+
x
y
true
log
x
log'
x
false
log
x
-
log'
x
1
#
false
log'
0
x
log'
x
log'
1
x
log'
x
true
0
1
0
1
1
1
1
false
0
0
ge
2
0
log
1
0
#
0
0
true
0
0
not
1
0
log
1
0
0
1
1
1
if
3
0
ge
2
0
log'
1
1
0
-
2
0
-
2
0
if
3
0
+
2
0
log'
1
0
+
2
0
not
1
0
log'
0
x
if
ge
x
1
#
+
log'
x
1
#
#
false
log'
0
x
+
log'
x
1
#
false
-
0
x
0
y
-
x
y
-
0
x
1
y
-
x
y
-
1
x
1
y
-
x
y
-
1
x
0
y
-
x
y
-
0
x
1
y
-
-
x
y
1
#
true
0
1
0
1
1
1
2
false
0
0
ge
2
0
log
1
0
#
0
0
true
0
0
not
1
0
log
1
0
0
1
1
1
if
3
0
ge
2
0
log'
1
0
-
2
2
1
-
2
2
0
if
3
0
+
2
0
log'
1
0
+
2
0
not
1
0
-
0
x
1
y
-
-
x
y
1
#
-
0
x
1
y
-
-
x
y
1
#
true
0
1
0
1
1
1
5854
false
0
0
ge
2
0
log
1
0
#
0
0
true
0
0
not
1
0
log
1
0
0
1
1
5854
if
3
0
ge
2
0
log'
1
0
-
2
1
0
-
2
1
0
if
3
0
+
2
0
log'
1
0
+
2
0
not
1
0
0
#
#
-
x
#
x
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
0
x
0
y
0
-
x
y
-
#
x
#
-
1
x
0
y
1
-
x
y
-
1
x
1
y
0
-
x
y
false
-
0
x
0
y
0
-
x
y
false
log'
0
x
ge
x
1
#
false
ge
0
x
1
y
ge
y
x
ge
0
x
0
y
ge
x
y
ge
1
x
0
y
ge
x
y
ge
1
x
1
y
ge
x
y
true
0
1
0
1
1
1
1
false
0
0
ge
2
1
2
0
log
1
0
#
0
0
true
0
0
not
1
0
log
1
0
0
1
1
1
if
3
0
ge
2
0
log'
1
0
-
2
1
0
-
2
1
0
if
3
0
+
2
0
log'
1
0
+
2
0
not
1
0
0
#
#
-
x
#
x
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
0
x
0
y
0
-
x
y
-
#
x
#
-
1
x
0
y
1
-
x
y
ge
#
0
x
ge
#
x
true
0
1
0
1
1
1
1
false
0
0
ge
2
2
0
log
1
0
#
0
0
true
0
0
not
1
0
log
1
0
0
1
1
1
if
3
0
ge
2
0
log'
1
0
-
2
1
0
-
2
1
0
if
3
0
+
2
0
log'
1
0
+
2
0
not
1
0
0
#
#
-
x
#
x
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
0
x
0
y
0
-
x
y
-
#
x
#
-
1
x
0
y
1
-
x
y
ge
0
x
1
y
not
ge
y
x
false
log'
1
x
+
log'
x
1
#
false
+
1
x
1
y
+
x
y
+
0
x
0
y
+
x
y
+
0
x
1
y
+
x
y
+
1
x
1
y
+
+
x
y
1
#
+
+
x
y
z
+
x
+
y
z
+
+
x
y
z
+
y
z
+
1
x
0
y
+
x
y
true
0
1
0
1
1
1
24867
false
0
0
ge
2
0
log
1
0
#
0
0
true
0
0
not
1
0
log
1
0
0
1
1
24867
if
3
0
ge
2
0
log'
1
0
-
2
1
0
-
2
0
if
3
0
+
2
1
2
0
log'
1
0
+
2
1
2
0
not
1
0
+
+
x
y
z
+
y
z
+
+
x
y
z
+
x
+
y
z
+
0
x
0
y
0
+
x
y
+
+
x
y
z
+
x
+
y
z
0
#
#
+
x
#
x
+
0
x
1
y
1
+
x
y
-
x
#
x
+
1
x
1
y
0
+
+
x
y
1
#
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
0
x
0
y
0
-
x
y
-
#
x
#
-
1
x
0
y
1
-
x
y
+
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
1036
false
0
0
ge
2
0
log
1
0
#
0
1
true
0
0
not
1
0
log
1
0
0
1
2
if
3
0
ge
2
0
log'
1
0
-
2
1
3564
-
2
0
if
3
0
+
2
1
2
1
log'
1
0
+
2
1
0
not
1
0
+
0
x
0
y
0
+
x
y
+
+
x
y
z
+
x
+
y
z
0
#
#
+
x
#
x
+
0
x
1
y
1
+
x
y
-
x
#
x
+
1
x
1
y
0
+
+
x
y
1
#
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
#
x
#
-
1
x
0
y
1
-
x
y
+
1
x
0
y
1
+
x
y
+
#
x
x
+
1
x
1
y
0
+
+
x
y
1
#
false
+
0
x
0
y
0
+
x
y
false
NaTT
certifiable-1.6