a__nats
cons
0
incr
nats
a__pairs
cons
0
incr
odds
a__odds
a__incr
a__pairs
a__incr
cons
X
XS
cons
s
mark
X
incr
XS
a__head
cons
X
XS
mark
X
a__tail
cons
X
XS
mark
XS
mark
nats
a__nats
mark
pairs
a__pairs
mark
odds
a__odds
mark
incr
X
a__incr
mark
X
mark
head
X
a__head
mark
X
mark
tail
X
a__tail
mark
X
mark
0
0
mark
s
X
s
mark
X
mark
nil
nil
mark
cons
X1
X2
cons
mark
X1
X2
a__nats
nats
a__pairs
pairs
a__odds
odds
a__incr
X
incr
X
a__head
X
head
X
a__tail
X
tail
X
2.2
mark
odds
a__odds
mark
tail
X
mark
X
a__odds
a__incr
a__pairs
mark
incr
X
a__incr
mark
X
a__head
cons
X
XS
mark
X
mark
cons
X1
X2
mark
X1
a__odds
a__pairs
mark
s
X
mark
X
mark
incr
X
mark
X
mark
tail
X
a__tail
mark
X
a__incr
cons
X
XS
mark
X
mark
head
X
a__head
mark
X
a__tail
cons
X
XS
mark
XS
mark
nats
a__nats
mark
pairs
a__pairs
mark
head
X
mark
X
true
mark
head
X
mark
X
mark
cons
X1
X2
mark
X1
a__tail
cons
X
XS
mark
XS
mark
head
X
a__head
mark
X
a__incr
cons
X
XS
mark
X
a__head
cons
X
XS
mark
X
mark
incr
X
a__incr
mark
X
a__odds
a__incr
a__pairs
mark
tail
X
mark
X
mark
tail
X
a__tail
mark
X
mark
incr
X
mark
X
mark
s
X
mark
X
mark
odds
a__odds
true
incr
1
1
0
s
1
1
0
a__head
1
1
4
a__incr
1
1
0
pairs
0
0
a__nats
0
18919
a__pairs
0
0
a__odds
0
0
tail
1
1
1
mark
1
1
4
0
0
0
odds
0
0
nil
0
46823
a__nats
0
0
mark
1
1
0
nats
0
18919
a__incr
1
1
4
head
1
1
8946
cons
2
1
2
0
a__odds
0
4
a__pairs
0
0
a__tail
1
1
1
a__tail
1
1
4
a__head
1
1
8946
mark
odds
a__odds
mark
s
X
mark
X
mark
incr
X
mark
X
a__odds
a__incr
a__pairs
mark
incr
X
a__incr
mark
X
a__head
cons
X
XS
mark
X
a__incr
cons
X
XS
mark
X
a__tail
cons
X
XS
mark
XS
mark
cons
X1
X2
mark
X1
a__pairs
pairs
a__incr
cons
X
XS
cons
s
mark
X
incr
XS
mark
nil
nil
mark
pairs
a__pairs
a__nats
cons
0
incr
nats
a__odds
a__incr
a__pairs
mark
cons
X1
X2
cons
mark
X1
X2
a__head
X
head
X
a__odds
odds
a__nats
nats
a__tail
X
tail
X
a__head
cons
X
XS
mark
X
mark
incr
X
a__incr
mark
X
mark
nats
a__nats
a__incr
X
incr
X
mark
s
X
s
mark
X
mark
tail
X
a__tail
mark
X
mark
head
X
a__head
mark
X
mark
odds
a__odds
mark
0
0
a__tail
cons
X
XS
mark
XS
a__pairs
cons
0
incr
odds
a__head
cons
X
XS
mark
X
false
a__tail
cons
X
XS
mark
XS
false
a__incr
cons
X
XS
mark
X
a__odds
a__incr
a__pairs
mark
cons
X1
X2
mark
X1
mark
incr
X
mark
X
mark
incr
X
a__incr
mark
X
mark
s
X
mark
X
mark
odds
a__odds
true
incr
1
1
0
s
1
1
0
a__head
1
0
a__incr
1
1
0
pairs
0
41418
a__nats
0
41418
a__pairs
0
0
a__odds
0
41418
tail
1
1
1
mark
1
1
2
0
0
33050
odds
0
41418
nil
0
41141
a__nats
0
0
mark
1
1
0
nats
0
41418
a__incr
1
1
0
head
1
1
22248
cons
2
1
8368
2
0
0
a__odds
0
41419
a__pairs
0
41418
a__tail
1
1
1
a__tail
1
0
a__head
1
1
22248
mark
s
X
mark
X
mark
incr
X
mark
X
a__pairs
pairs
a__incr
cons
X
XS
cons
s
mark
X
incr
XS
mark
nil
nil
mark
pairs
a__pairs
a__nats
cons
0
incr
nats
a__odds
a__incr
a__pairs
mark
cons
X1
X2
cons
mark
X1
X2
a__head
X
head
X
a__odds
odds
a__nats
nats
a__tail
X
tail
X
a__head
cons
X
XS
mark
X
mark
incr
X
a__incr
mark
X
mark
nats
a__nats
a__incr
X
incr
X
mark
s
X
s
mark
X
mark
tail
X
a__tail
mark
X
mark
head
X
a__head
mark
X
mark
odds
a__odds
mark
0
0
a__tail
cons
X
XS
mark
XS
a__pairs
cons
0
incr
odds
mark
incr
X
mark
X
mark
s
X
mark
X
true
incr
1
1
4
s
1
1
1
a__head
1
4
a__incr
1
3
pairs
0
3
a__nats
0
2
a__pairs
0
0
a__odds
0
2
tail
1
3
mark
1
1
3
0
0
2
odds
0
3
nil
0
2
a__nats
0
0
mark
1
1
nats
0
21240
a__incr
1
3
head
1
8946
cons
2
4
a__odds
0
3
a__pairs
0
2
a__tail
1
2
a__tail
1
4
a__head
1
2
mark
nats
a__nats
false
mark
pairs
a__pairs
false
a__odds
a__pairs
false
NaTT
certifiable-1.6