incr
nil
nil
incr
cons
X
L
cons
s
X
n__incr
activate
L
adx
nil
nil
adx
cons
X
L
incr
cons
X
n__adx
activate
L
nats
adx
zeros
zeros
cons
0
n__zeros
head
cons
X
L
X
tail
cons
X
L
activate
L
incr
X
n__incr
X
adx
X
n__adx
X
zeros
n__zeros
activate
n__incr
X
incr
activate
X
activate
n__adx
X
adx
activate
X
activate
n__zeros
zeros
activate
X
X
2.2
activate
n__adx
X
adx
activate
X
activate
n__zeros
zeros
tail
cons
X
L
activate
L
adx
cons
X
L
activate
L
nats
adx
zeros
adx
cons
X
L
incr
cons
X
n__adx
activate
L
activate
n__incr
X
activate
X
activate
n__adx
X
activate
X
incr
cons
X
L
activate
L
nats
zeros
activate
n__incr
X
incr
activate
X
true
nats
zeros
false
tail
cons
X
L
activate
L
false
nats
adx
zeros
false
activate
n__incr
X
incr
activate
X
incr
cons
X
L
activate
L
activate
n__adx
X
activate
X
adx
cons
X
L
activate
L
activate
n__incr
X
activate
X
adx
cons
X
L
incr
cons
X
n__adx
activate
L
activate
n__adx
X
adx
activate
X
true
adx
1
1
30617
incr
1
1
0
nats
0
0
s
1
1
n__adx
1
1
30613
activate
1
1
0
n__zeros
0
60386
activate
1
1
4
head
1
0
adx
1
1
30613
zeros
0
60386
tail
1
0
0
0
1
zeros
0
0
nil
0
16304
tail
1
0
incr
1
1
4
nats
0
0
head
1
0
cons
2
2
0
n__incr
1
1
0
activate
n__adx
X
adx
activate
X
adx
cons
X
L
incr
cons
X
n__adx
activate
L
activate
n__incr
X
activate
X
incr
cons
X
L
activate
L
activate
n__incr
X
incr
activate
X
adx
cons
X
L
incr
cons
X
n__adx
activate
L
activate
X
X
incr
nil
nil
adx
nil
nil
adx
X
n__adx
X
activate
n__zeros
zeros
activate
n__incr
X
incr
activate
X
zeros
n__zeros
incr
X
n__incr
X
activate
n__adx
X
adx
activate
X
zeros
cons
0
n__zeros
incr
cons
X
L
cons
s
X
n__incr
activate
L
adx
cons
X
L
incr
cons
X
n__adx
activate
L
activate
n__incr
X
activate
X
activate
n__incr
X
incr
activate
X
activate
n__adx
X
adx
activate
X
incr
cons
X
L
activate
L
true
Failed!
NaTT
certifiable-1.6