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
incr
X
a__incr
mark
X
mark
pairs
a__pairs
mark
odds
a__odds
mark
head
X
a__head
mark
X
mark
tail
X
a__tail
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
0
0
mark
s
X
s
mark
X
a__nats
nats
a__incr
X
incr
X
a__pairs
pairs
a__odds
odds
a__head
X
head
X
a__tail
X
tail
X
2.2
mark
cons
X1
X2
mark
X1
mark
tail
X
a__tail
mark
X
mark
incr
X
a__incr
mark
X
mark
odds
a__odds
a__odds
a__incr
a__pairs
a__odds
a__pairs
mark
incr
X
mark
X
mark
tail
X
mark
X
a__head
cons
X
XS
mark
X
mark
head
X
mark
X
a__incr
cons
X
XS
mark
X
mark
pairs
a__pairs
a__tail
cons
X
XS
mark
XS
mark
nats
a__nats
mark
s
X
mark
X
mark
head
X
a__head
mark
X
true
mark
head
X
a__head
mark
X
mark
incr
X
mark
X
mark
s
X
mark
X
a__tail
cons
X
XS
mark
XS
a__incr
cons
X
XS
mark
X
a__odds
a__incr
a__pairs
mark
odds
a__odds
mark
incr
X
a__incr
mark
X
mark
tail
X
a__tail
mark
X
mark
head
X
mark
X
a__head
cons
X
XS
mark
X
mark
tail
X
mark
X
mark
cons
X1
X2
mark
X1
true
incr
1
1
0
s
1
1
0
a__head
1
1
1
a__incr
1
1
0
pairs
0
19496
a__nats
0
41990
a__pairs
0
0
a__odds
0
19496
tail
1
1
2
mark
1
1
0
0
0
0
odds
0
19496
a__nats
0
0
mark
1
1
0
nats
0
41990
a__incr
1
1
0
head
1
1
869
cons
2
1
2
0
a__odds
0
19496
a__pairs
0
19496
a__tail
1
1
2
a__tail
1
1
1
a__head
1
1
869
mark
cons
X1
X2
mark
X1
mark
incr
X
a__incr
mark
X
mark
odds
a__odds
a__odds
a__incr
a__pairs
a__incr
cons
X
XS
mark
X
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
s
X
s
mark
X
mark
incr
X
a__incr
mark
X
a__nats
cons
0
incr
nats
a__odds
a__incr
a__pairs
a__nats
nats
a__tail
X
tail
X
a__odds
odds
a__incr
X
incr
X
a__head
cons
X
XS
mark
X
mark
odds
a__odds
mark
nats
a__nats
a__head
X
head
X
mark
0
0
mark
tail
X
a__tail
mark
X
mark
head
X
a__head
mark
X
mark
pairs
a__pairs
mark
cons
X1
X2
cons
mark
X1
X2
a__tail
cons
X
XS
mark
XS
a__pairs
cons
0
incr
odds
a__incr
cons
X
XS
mark
X
mark
s
X
mark
X
mark
incr
X
mark
X
mark
incr
X
a__incr
mark
X
a__odds
a__incr
a__pairs
mark
odds
a__odds
mark
cons
X1
X2
mark
X1
true
incr
1
1
0
s
1
1
0
a__head
1
0
a__incr
1
1
0
pairs
0
25151
a__nats
0
25151
a__pairs
0
0
a__odds
0
25151
tail
1
1
1
mark
1
1
15923
0
0
9227
odds
0
25151
a__nats
0
0
mark
1
1
0
nats
0
25151
a__incr
1
1
0
head
1
1
46823
cons
2
1
15924
2
0
0
a__odds
0
25152
a__pairs
0
25151
a__tail
1
1
1
a__tail
1
0
a__head
1
1
46823
mark
incr
X
mark
X
mark
s
X
mark
X
a__pairs
pairs
a__incr
cons
X
XS
cons
s
mark
X
incr
XS
mark
s
X
s
mark
X
mark
incr
X
a__incr
mark
X
a__nats
cons
0
incr
nats
a__odds
a__incr
a__pairs
a__nats
nats
a__tail
X
tail
X
a__odds
odds
a__incr
X
incr
X
a__head
cons
X
XS
mark
X
mark
odds
a__odds
mark
nats
a__nats
a__head
X
head
X
mark
0
0
mark
tail
X
a__tail
mark
X
mark
head
X
a__head
mark
X
mark
pairs
a__pairs
mark
cons
X1
X2
cons
mark
X1
X2
a__tail
cons
X
XS
mark
XS
a__pairs
cons
0
incr
odds
mark
s
X
mark
X
mark
incr
X
mark
X
true
incr
1
1
4
s
1
1
1
a__head
1
1
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
0
0
0
2
odds
0
3
a__nats
0
0
mark
1
1
nats
0
0
a__incr
1
0
head
1
1
1
cons
2
4
a__odds
0
0
a__pairs
0
2
a__tail
1
2
a__tail
1
1
a__head
1
0
mark
pairs
a__pairs
false
mark
nats
a__nats
false
a__odds
a__pairs
false
NaTT
certifiable-1.6