-
x
0
x
-
s
x
s
y
-
x
y
*
x
0
0
*
x
s
y
+
*
x
y
x
if
true
x
y
x
if
false
x
y
y
odd
0
false
odd
s
0
true
odd
s
s
x
odd
x
half
0
0
half
s
0
0
half
s
s
x
s
half
x
if
true
x
y
true
if
false
x
y
false
pow
x
y
f
x
y
s
0
f
x
0
z
z
f
x
s
y
z
if
odd
s
y
f
x
y
*
x
z
f
*
x
x
half
s
y
z
2.2
odd
s
s
x
odd
x
f
x
s
y
z
f
x
y
*
x
z
f
x
s
y
z
*
x
x
pow
x
y
f
x
y
s
0
*
x
s
y
*
x
y
f
x
s
y
z
*
x
z
f
x
s
y
z
half
s
y
f
x
s
y
z
odd
s
y
half
s
s
x
half
x
-
s
x
s
y
-
x
y
f
x
s
y
z
f
*
x
x
half
s
y
z
f
x
s
y
z
if
odd
s
y
f
x
y
*
x
z
f
*
x
x
half
s
y
z
true
-
s
x
s
y
-
x
y
true
s
1
1
1
pow
2
0
false
0
0
*
2
0
half
1
0
true
0
0
pow
2
0
f
3
0
half
1
0
0
0
0
if
3
0
-
2
0
f
3
0
odd
1
0
odd
1
0
-
2
1
2
0
if
3
0
+
2
0
*
2
0
pow
x
y
f
x
y
s
0
false
f
x
s
y
z
f
*
x
x
half
s
y
z
f
x
s
y
z
f
x
y
*
x
z
true
s
1
1
1
pow
2
0
false
0
0
*
2
0
half
1
0
true
0
0
pow
2
0
f
3
0
half
1
1
0
0
0
2
if
3
0
-
2
0
f
3
2
0
odd
1
0
odd
1
0
-
2
0
if
3
0
+
2
1
1
*
2
1
f
x
s
y
z
f
*
x
x
half
s
y
z
half
0
0
half
s
s
x
s
half
x
half
s
0
0
f
x
s
y
z
f
*
x
x
half
s
y
z
true
f
3
2
-
2
2
f
3
2
s
1
1
pow
2
0
1
2
false
0
0
*
2
0
2
1
half
1
0
true
0
0
pow
2
0
2
half
1
0
0
0
0
if
3
0
3
odd
1
0
odd
1
0
-
2
0
1
2
if
3
0
3
2
1
+
2
3
*
2
3
s
1
1
28102
pow
2
1
2
1
false
0
0
*
2
1
1
2
1
0
half
1
1
true
0
0
pow
2
2
1
half
1
1
0
0
0
1
if
3
3
1
odd
1
1
odd
1
1
-
2
1
2
1
if
3
1
1
2
1
3
1
0
+
2
2
1
0
*
2
0
half
0
0
half
s
s
x
s
half
x
half
s
0
0
f
x
s
y
z
if
odd
s
y
f
x
y
*
x
z
f
*
x
x
half
s
y
z
false
f
x
s
y
z
*
x
x
false
f
x
s
y
z
odd
s
y
false
f
x
s
y
z
half
s
y
false
half
s
s
x
half
x
true
s
1
1
1
pow
2
0
false
0
0
*
2
0
half
1
1
0
true
0
0
pow
2
0
f
3
0
half
1
20819
0
0
20820
if
3
0
-
2
0
f
3
0
odd
1
0
odd
1
0
-
2
0
if
3
0
+
2
1
1
*
2
1
f
x
s
y
z
*
x
z
false
*
x
s
y
*
x
y
true
s
1
1
1
pow
2
0
false
0
0
*
2
2
0
half
1
0
true
0
0
pow
2
0
f
3
0
half
1
1
0
0
2
if
3
0
-
2
0
f
3
0
odd
1
0
odd
1
0
-
2
0
if
3
0
+
2
1
1
*
2
1
odd
s
s
x
odd
x
true
s
1
1
1
pow
2
0
false
0
0
*
2
0
half
1
0
true
0
0
pow
2
0
f
3
0
half
1
1
0
0
2
if
3
0
-
2
0
f
3
0
odd
1
1
0
odd
1
0
-
2
0
if
3
0
+
2
1
1
*
2
1
NaTT
certifiable-1.6