pairNs
cons
0
n__incr
n__oddNs
oddNs
incr
pairNs
incr
cons
X
XS
cons
s
X
n__incr
activate
XS
take
0
XS
nil
take
s
N
cons
X
XS
cons
X
n__take
N
activate
XS
zip
nil
XS
nil
zip
X
nil
nil
zip
cons
X
XS
cons
Y
YS
cons
pair
X
Y
n__zip
activate
XS
activate
YS
tail
cons
X
XS
activate
XS
repItems
nil
nil
repItems
cons
X
XS
cons
X
n__cons
X
n__repItems
activate
XS
incr
X
n__incr
X
oddNs
n__oddNs
take
X1
X2
n__take
X1
X2
zip
X1
X2
n__zip
X1
X2
cons
X1
X2
n__cons
X1
X2
repItems
X
n__repItems
X
activate
n__incr
X
incr
activate
X
activate
n__oddNs
oddNs
activate
n__take
X1
X2
take
activate
X1
activate
X2
activate
n__zip
X1
X2
zip
activate
X1
activate
X2
activate
n__cons
X1
X2
cons
activate
X1
X2
activate
n__repItems
X
repItems
activate
X
activate
X
X
2.2
oddNs
pairNs
activate
n__repItems
X
repItems
activate
X
activate
n__cons
X1
X2
cons
activate
X1
X2
activate
n__take
X1
X2
activate
X1
take
s
N
cons
X
XS
cons
X
n__take
N
activate
XS
zip
cons
X
XS
cons
Y
YS
activate
YS
zip
cons
X
XS
cons
Y
YS
activate
XS
take
s
N
cons
X
XS
activate
XS
activate
n__cons
X1
X2
activate
X1
activate
n__incr
X
incr
activate
X
incr
cons
X
XS
activate
XS
activate
n__repItems
X
activate
X
activate
n__take
X1
X2
activate
X2
repItems
cons
X
XS
activate
XS
zip
cons
X
XS
cons
Y
YS
cons
pair
X
Y
n__zip
activate
XS
activate
YS
activate
n__zip
X1
X2
activate
X1
incr
cons
X
XS
cons
s
X
n__incr
activate
XS
activate
n__incr
X
activate
X
pairNs
cons
0
n__incr
n__oddNs
activate
n__zip
X1
X2
zip
activate
X1
activate
X2
tail
cons
X
XS
activate
XS
oddNs
incr
pairNs
activate
n__take
X1
X2
take
activate
X1
activate
X2
activate
n__oddNs
oddNs
repItems
cons
X
XS
cons
X
n__cons
X
n__repItems
activate
XS
activate
n__zip
X1
X2
activate
X2
true
tail
cons
X
XS
activate
XS
false
activate
n__zip
X1
X2
activate
X2
activate
n__incr
X
incr
activate
X
activate
n__cons
X1
X2
activate
X1
activate
n__oddNs
oddNs
take
s
N
cons
X
XS
activate
XS
activate
n__take
X1
X2
take
activate
X1
activate
X2
oddNs
incr
pairNs
zip
cons
X
XS
cons
Y
YS
activate
XS
zip
cons
X
XS
cons
Y
YS
activate
YS
activate
n__zip
X1
X2
zip
activate
X1
activate
X2
activate
n__incr
X
activate
X
activate
n__take
X1
X2
activate
X1
activate
n__zip
X1
X2
activate
X1
activate
n__repItems
X
repItems
activate
X
repItems
cons
X
XS
activate
XS
activate
n__take
X1
X2
activate
X2
activate
n__repItems
X
activate
X
incr
cons
X
XS
activate
XS
true
repItems
1
1
15923
incr
1
1
0
cons
2
0
s
1
1
0
n__oddNs
0
41085
take
2
2
20539
0
activate
1
1
0
take
2
1
20540
2
20539
0
pairNs
0
0
pair
2
0
activate
1
1
1
zip
2
1
11596
2
20542
0
tail
1
0
0
0
20544
n__take
2
1
20540
2
20539
0
n__cons
2
1
20541
2
0
0
nil
0
41084
tail
1
0
incr
1
1
1
n__zip
2
1
41083
2
20541
0
pairNs
0
41085
oddNs
0
41086
oddNs
0
41085
n__repItems
1
1
15923
repItems
1
1
2
cons
2
1
20541
2
0
0
n__incr
1
1
0
zip
2
1
41083
2
20541
0
incr
cons
X
XS
activate
XS
activate
n__incr
X
activate
X
activate
n__zip
X1
X2
zip
activate
X1
activate
X2
oddNs
incr
pairNs
activate
n__oddNs
oddNs
activate
n__incr
X
incr
activate
X
activate
n__incr
X
incr
activate
X
take
0
XS
nil
zip
X1
X2
n__zip
X1
X2
zip
cons
X
XS
cons
Y
YS
cons
pair
X
Y
n__zip
activate
XS
activate
YS
pairNs
cons
0
n__incr
n__oddNs
incr
cons
X
XS
cons
s
X
n__incr
activate
XS
cons
X1
X2
n__cons
X1
X2
activate
n__zip
X1
X2
zip
activate
X1
activate
X2
activate
n__oddNs
oddNs
repItems
X
n__repItems
X
activate
n__cons
X1
X2
cons
activate
X1
X2
take
s
N
cons
X
XS
cons
X
n__take
N
activate
XS
repItems
nil
nil
zip
X
nil
nil
activate
n__take
X1
X2
take
activate
X1
activate
X2
take
X1
X2
n__take
X1
X2
incr
X
n__incr
X
activate
n__repItems
X
repItems
activate
X
activate
X
X
repItems
cons
X
XS
cons
X
n__cons
X
n__repItems
activate
XS
oddNs
n__oddNs
zip
nil
XS
nil
oddNs
incr
pairNs
activate
n__incr
X
activate
X
activate
n__incr
X
incr
activate
X
incr
cons
X
XS
activate
XS
activate
n__oddNs
oddNs
oddNs
incr
pairNs
true
Failed!
NaTT
certifiable-1.6