not
true
false
not
false
true
odd
0
false
odd
s
x
not
odd
x
+
x
0
x
+
x
s
y
s
+
x
y
+
s
x
y
s
+
x
y
2.2
+
s
x
y
+
x
y
odd
s
x
not
odd
x
+
x
s
y
+
x
y
odd
s
x
odd
x
true
odd
s
x
odd
x
true
s
1
1
1
false
0
0
true
0
0
not
1
0
0
0
0
odd
1
1
0
odd
1
0
+
2
0
+
2
0
not
1
0
odd
s
x
not
odd
x
false
+
x
s
y
+
x
y
+
s
x
y
+
x
y
true
s
1
1
1
false
0
0
true
0
0
not
1
0
0
0
0
odd
1
0
odd
1
0
+
2
0
+
2
1
0
not
1
0
+
x
s
y
+
x
y
+
x
s
y
+
x
y
true
s
1
1
1
false
0
0
true
0
0
not
1
0
0
0
0
odd
1
0
odd
1
0
+
2
0
+
2
2
0
not
1
0
NaTT
certifiable-1.6