plus
0
x
x
plus
s
x
y
s
plus
x
y
times
0
y
0
times
s
x
y
plus
y
times
x
y
exp
x
0
s
0
exp
x
s
y
times
x
exp
x
y
ge
x
0
true
ge
0
s
x
false
ge
s
x
s
y
ge
x
y
tower
x
y
towerIter
0
x
y
s
0
towerIter
c
x
y
z
help
ge
c
x
c
x
y
z
help
true
c
x
y
z
z
help
false
c
x
y
z
towerIter
s
c
x
y
exp
y
z
2.2
exp
x
s
y
times
x
exp
x
y
ge
s
x
s
y
ge
x
y
tower
x
y
towerIter
0
x
y
s
0
times
s
x
y
times
x
y
towerIter
c
x
y
z
help
ge
c
x
c
x
y
z
times
s
x
y
plus
y
times
x
y
help
false
c
x
y
z
exp
y
z
exp
x
s
y
exp
x
y
plus
s
x
y
plus
x
y
towerIter
c
x
y
z
ge
c
x
help
false
c
x
y
z
towerIter
s
c
x
y
exp
y
z
true
tower
x
y
towerIter
0
x
y
s
0
false
help
false
c
x
y
z
towerIter
s
c
x
y
exp
y
z
towerIter
c
x
y
z
help
ge
c
x
c
x
y
z
true
Failed!
NaTT
certifiable-1.6