not
true
false
not
false
true
evenodd
x
0
not
evenodd
x
s
0
evenodd
0
s
0
false
evenodd
s
x
s
0
evenodd
x
0
2.2
evenodd
x
0
not
evenodd
x
s
0
evenodd
x
0
evenodd
x
s
0
evenodd
s
x
s
0
evenodd
x
0
true
evenodd
s
x
s
0
evenodd
x
0
evenodd
x
0
evenodd
x
s
0
true
s
1
1
1
evenodd
2
1
0
false
0
0
true
0
0
not
1
0
0
0
28958
evenodd
2
0
not
1
0
evenodd
x
0
evenodd
x
s
0
evenodd
x
0
evenodd
x
s
0
false
evenodd
x
0
not
evenodd
x
s
0
false
NaTT
certifiable-1.6