cond
true
x
cond
odd
x
p
p
p
x
odd
0
false
odd
s
0
true
odd
s
s
x
odd
x
p
0
0
p
s
x
x
2.2
cond
true
x
odd
x
odd
s
s
x
odd
x
cond
true
x
p
x
cond
true
x
p
p
p
x
cond
true
x
cond
odd
x
p
p
p
x
cond
true
x
p
p
x
true
cond
true
x
cond
odd
x
p
p
p
x
true
Failed!
NaTT
certifiable-1.6