numbers
d
0
d
x
if
le
x
nr
x
if
true
x
cons
x
d
s
x
if
false
x
nil
le
0
y
true
le
s
x
0
false
le
s
x
s
y
le
x
y
nr
ack
s
s
s
s
s
s
0
0
ack
0
x
s
x
ack
s
x
0
ack
x
s
0
ack
s
x
s
y
ack
x
ack
s
x
y
2.2
d
x
le
x
nr
le
s
x
s
y
le
x
y
numbers
d
0
ack
s
x
0
ack
x
s
0
nr
ack
s
s
s
s
s
s
0
0
ack
s
x
s
y
ack
s
x
y
d
x
nr
d
x
if
le
x
nr
x
if
true
x
d
s
x
ack
s
x
s
y
ack
x
ack
s
x
y
true
numbers
d
0
false
if
true
x
d
s
x
d
x
if
le
x
nr
x
true
Failed!
NaTT
certifiable-1.6