pairNs
cons
0
n__incr
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
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
X
activate
n__take
X1
X2
take
X1
X2
activate
n__zip
X1
X2
zip
X1
X2
activate
n__cons
X1
X2
cons
X1
X2
activate
n__repItems
X
repItems
X
activate
X
X
2.2
oddNs
pairNs
activate
n__cons
X1
X2
cons
X1
X2
incr
cons
X
XS
activate
XS
activate
n__incr
X
incr
X
activate
n__repItems
X
repItems
X
incr
cons
X
XS
cons
s
X
n__incr
activate
XS
pairNs
cons
0
n__incr
oddNs
take
s
N
cons
X
XS
cons
X
n__take
N
activate
XS
activate
n__zip
X1
X2
zip
X1
X2
repItems
cons
X
XS
activate
XS
zip
cons
X
XS
cons
Y
YS
activate
XS
activate
n__take
X1
X2
take
X1
X2
zip
cons
X
XS
cons
Y
YS
cons
pair
X
Y
n__zip
activate
XS
activate
YS
tail
cons
X
XS
activate
XS
oddNs
incr
pairNs
take
s
N
cons
X
XS
activate
XS
pairNs
oddNs
repItems
cons
X
XS
cons
X
n__cons
X
n__repItems
activate
XS
zip
cons
X
XS
cons
Y
YS
activate
YS
true
tail
cons
X
XS
activate
XS
false
pairNs
oddNs
oddNs
pairNs
true
Failed!
NaTT
certifiable-1.6