incr
nil
nil
incr
cons
X
L
cons
s
X
incr
L
adx
nil
nil
adx
cons
X
L
incr
cons
X
adx
L
nats
adx
zeros
zeros
cons
0
zeros
head
cons
X
L
X
tail
cons
X
L
L
2.2
zeros
zeros
adx
cons
X
L
adx
L
adx
cons
X
L
incr
cons
X
adx
L
nats
adx
zeros
incr
cons
X
L
incr
L
nats
zeros
true
nats
zeros
false
nats
adx
zeros
false
adx
cons
X
L
adx
L
true
adx
1
1
0
incr
1
0
nats
0
0
s
1
0
head
1
0
adx
1
0
zeros
0
0
tail
1
0
0
0
0
zeros
0
0
nil
0
0
tail
1
0
incr
1
0
nats
0
0
head
1
0
cons
2
2
1
adx
cons
X
L
incr
cons
X
adx
L
false
incr
cons
X
L
incr
L
true
adx
1
0
incr
1
0
nats
0
0
s
1
0
head
1
0
adx
1
0
zeros
0
0
tail
1
0
0
0
0
zeros
0
0
nil
0
0
tail
1
0
incr
1
1
0
nats
0
0
head
1
0
cons
2
2
1
zeros
zeros
true
Failed!
NaTT
certifiable-1.6