a__pairNs
cons
0
incr
oddNs
a__oddNs
a__incr
a__pairNs
a__incr
cons
X
XS
cons
s
mark
X
incr
XS
a__take
0
XS
nil
a__take
s
N
cons
X
XS
cons
mark
X
take
N
XS
a__zip
nil
XS
nil
a__zip
X
nil
nil
a__zip
cons
X
XS
cons
Y
YS
cons
pair
mark
X
mark
Y
zip
XS
YS
a__tail
cons
X
XS
mark
XS
a__repItems
nil
nil
a__repItems
cons
X
XS
cons
mark
X
cons
X
repItems
XS
mark
pairNs
a__pairNs
mark
incr
X
a__incr
mark
X
mark
oddNs
a__oddNs
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
zip
X1
X2
a__zip
mark
X1
mark
X2
mark
tail
X
a__tail
mark
X
mark
repItems
X
a__repItems
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
0
0
mark
s
X
s
mark
X
mark
nil
nil
mark
pair
X1
X2
pair
mark
X1
mark
X2
a__pairNs
pairNs
a__incr
X
incr
X
a__oddNs
oddNs
a__take
X1
X2
take
X1
X2
a__zip
X1
X2
zip
X1
X2
a__tail
X
tail
X
a__repItems
X
repItems
X
2.2
a__oddNs
a__pairNs
a__repItems
cons
X
XS
mark
X
mark
tail
X
mark
X
mark
pairNs
a__pairNs
a__take
s
N
cons
X
XS
mark
X
mark
take
X1
X2
mark
X2
mark
take
X1
X2
mark
X1
mark
tail
X
a__tail
mark
X
mark
cons
X1
X2
mark
X1
mark
repItems
X
a__repItems
mark
X
a__zip
cons
X
XS
cons
Y
YS
mark
X
mark
pair
X1
X2
mark
X1
mark
oddNs
a__oddNs
a__tail
cons
X
XS
mark
XS
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
zip
X1
X2
mark
X1
a__incr
cons
X
XS
mark
X
mark
repItems
X
mark
X
a__zip
cons
X
XS
cons
Y
YS
mark
Y
mark
zip
X1
X2
a__zip
mark
X1
mark
X2
mark
incr
X
a__incr
mark
X
a__oddNs
a__incr
a__pairNs
mark
pair
X1
X2
mark
X2
mark
s
X
mark
X
mark
incr
X
mark
X
mark
zip
X1
X2
mark
X2
true
mark
zip
X1
X2
mark
X2
mark
repItems
X
a__repItems
mark
X
mark
incr
X
mark
X
mark
cons
X1
X2
mark
X1
mark
s
X
mark
X
mark
tail
X
a__tail
mark
X
mark
pair
X1
X2
mark
X2
a__oddNs
a__incr
a__pairNs
mark
take
X1
X2
mark
X1
mark
incr
X
a__incr
mark
X
mark
take
X1
X2
mark
X2
mark
zip
X1
X2
a__zip
mark
X1
mark
X2
a__zip
cons
X
XS
cons
Y
YS
mark
Y
mark
repItems
X
mark
X
a__take
s
N
cons
X
XS
mark
X
mark
tail
X
mark
X
a__incr
cons
X
XS
mark
X
mark
zip
X1
X2
mark
X1
a__repItems
cons
X
XS
mark
X
mark
take
X1
X2
a__take
mark
X1
mark
X2
a__tail
cons
X
XS
mark
XS
mark
oddNs
a__oddNs
mark
pair
X1
X2
mark
X1
a__zip
cons
X
XS
cons
Y
YS
mark
X
true
repItems
1
1
17069
incr
1
1
0
s
1
1
0
a__zip
2
1
47645
2
17067
0
a__incr
1
1
0
take
2
1
17069
2
17069
0
pair
2
1
13506
2
13507
0
a__take
2
1
17067
2
17069
0
a__pairNs
0
0
tail
1
1
7631
mark
1
1
17068
0
0
41054
a__repItems
1
1
17069
nil
0
7320
a__oddNs
0
58124
mark
1
1
0
pairNs
0
58123
a__zip
2
1
30578
2
30576
0
a__repItems
1
1
17069
oddNs
0
58123
a__incr
1
1
0
cons
2
1
17069
2
0
0
a__oddNs
0
58123
a__take
2
1
17069
2
17069
0
a__pairNs
0
58123
a__tail
1
1
7631
a__tail
1
1
17069
zip
2
1
30578
2
30576
0
mark
s
X
mark
X
mark
incr
X
mark
X
mark
repItems
X
a__repItems
mark
X
a__take
0
XS
nil
mark
take
X1
X2
a__take
mark
X1
mark
X2
a__zip
cons
X
XS
cons
Y
YS
cons
pair
mark
X
mark
Y
zip
XS
YS
a__pairNs
cons
0
incr
oddNs
a__incr
cons
X
XS
cons
s
mark
X
incr
XS
mark
zip
X1
X2
a__zip
mark
X1
mark
X2
mark
s
X
s
mark
X
a__oddNs
oddNs
mark
cons
X1
X2
cons
mark
X1
X2
mark
tail
X
a__tail
mark
X
a__take
X1
X2
take
X1
X2
mark
nil
nil
a__zip
X1
X2
zip
X1
X2
a__take
s
N
cons
X
XS
cons
mark
X
take
N
XS
a__repItems
nil
nil
a__zip
X
nil
nil
mark
0
0
a__incr
X
incr
X
a__repItems
X
repItems
X
mark
oddNs
a__oddNs
mark
pairNs
a__pairNs
mark
pair
X1
X2
pair
mark
X1
mark
X2
a__pairNs
pairNs
a__repItems
cons
X
XS
cons
mark
X
cons
X
repItems
XS
a__tail
cons
X
XS
mark
XS
mark
incr
X
a__incr
mark
X
a__zip
nil
XS
nil
a__tail
X
tail
X
a__oddNs
a__incr
a__pairNs
mark
s
X
mark
X
mark
incr
X
mark
X
true
repItems
1
2
incr
1
1
13217
s
1
1
1
a__zip
2
1
a__incr
1
13216
take
2
2
3
pair
2
1
1
a__take
2
0
a__pairNs
0
0
tail
1
2
mark
1
1
1
0
0
2
a__repItems
1
1
1
nil
0
14100
a__oddNs
0
1
mark
1
1
pairNs
0
3
a__zip
2
11494
a__repItems
1
1
oddNs
0
13216
a__incr
1
1
cons
2
2
4685
a__oddNs
0
13215
a__take
2
2
a__pairNs
0
2
a__tail
1
1
1
a__tail
1
1
zip
2
1
2
11495
mark
pairNs
a__pairNs
false
a__oddNs
a__pairNs
false
NaTT
certifiable-1.6