active
pairNs
mark
cons
0
incr
oddNs
active
oddNs
mark
incr
pairNs
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
active
take
0
XS
mark
nil
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
active
zip
nil
XS
mark
nil
active
zip
X
nil
mark
nil
active
zip
cons
X
XS
cons
Y
YS
mark
cons
pair
X
Y
zip
XS
YS
active
tail
cons
X
XS
mark
XS
active
repItems
nil
mark
nil
active
repItems
cons
X
XS
mark
cons
X
cons
X
repItems
XS
active
cons
X1
X2
cons
active
X1
X2
active
incr
X
incr
active
X
active
s
X
s
active
X
active
take
X1
X2
take
active
X1
X2
active
take
X1
X2
take
X1
active
X2
active
zip
X1
X2
zip
active
X1
X2
active
zip
X1
X2
zip
X1
active
X2
active
pair
X1
X2
pair
active
X1
X2
active
pair
X1
X2
pair
X1
active
X2
active
tail
X
tail
active
X
active
repItems
X
repItems
active
X
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
s
mark
X
mark
s
X
take
mark
X1
X2
mark
take
X1
X2
take
X1
mark
X2
mark
take
X1
X2
zip
mark
X1
X2
mark
zip
X1
X2
zip
X1
mark
X2
mark
zip
X1
X2
pair
mark
X1
X2
mark
pair
X1
X2
pair
X1
mark
X2
mark
pair
X1
X2
tail
mark
X
mark
tail
X
repItems
mark
X
mark
repItems
X
proper
pairNs
ok
pairNs
proper
cons
X1
X2
cons
proper
X1
proper
X2
proper
0
ok
0
proper
incr
X
incr
proper
X
proper
oddNs
ok
oddNs
proper
s
X
s
proper
X
proper
take
X1
X2
take
proper
X1
proper
X2
proper
nil
ok
nil
proper
zip
X1
X2
zip
proper
X1
proper
X2
proper
pair
X1
X2
pair
proper
X1
proper
X2
proper
tail
X
tail
proper
X
proper
repItems
X
repItems
proper
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
incr
ok
X
ok
incr
X
s
ok
X
ok
s
X
take
ok
X1
ok
X2
ok
take
X1
X2
zip
ok
X1
ok
X2
ok
zip
X1
X2
pair
ok
X1
ok
X2
ok
pair
X1
X2
tail
ok
X
ok
tail
X
repItems
ok
X
ok
repItems
X
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
proper
pair
X1
X2
pair
proper
X1
proper
X2
active
pair
X1
X2
active
X2
incr
mark
X
incr
X
pair
X1
mark
X2
pair
X1
X2
active
incr
cons
X
XS
s
X
repItems
mark
X
repItems
X
active
pair
X1
X2
pair
X1
active
X2
s
mark
X
s
X
active
s
X
active
X
active
zip
cons
X
XS
cons
Y
YS
pair
X
Y
active
take
s
N
cons
X
XS
cons
X
take
N
XS
active
repItems
X
active
X
top
mark
X
proper
X
active
take
s
N
cons
X
XS
take
N
XS
active
take
X1
X2
take
active
X1
X2
active
zip
cons
X
XS
cons
Y
YS
zip
XS
YS
active
pair
X1
X2
pair
active
X1
X2
active
tail
X
tail
active
X
pair
mark
X1
X2
pair
X1
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
active
pair
X1
X2
active
X1
active
zip
X1
X2
zip
active
X1
X2
active
incr
cons
X
XS
incr
XS
take
ok
X1
ok
X2
take
X1
X2
zip
mark
X1
X2
zip
X1
X2
proper
incr
X
incr
proper
X
cons
ok
X1
ok
X2
cons
X1
X2
proper
zip
X1
X2
proper
X1
tail
mark
X
tail
X
active
take
X1
X2
active
X1
active
incr
X
incr
active
X
top
mark
X
top
proper
X
pair
ok
X1
ok
X2
pair
X1
X2
active
zip
X1
X2
zip
X1
active
X2
proper
s
X
proper
X
active
pairNs
incr
oddNs
proper
zip
X1
X2
proper
X2
proper
repItems
X
repItems
proper
X
active
zip
X1
X2
active
X2
active
zip
X1
X2
active
X1
proper
incr
X
proper
X
active
tail
X
active
X
cons
mark
X1
X2
cons
X1
X2
active
repItems
X
repItems
active
X
proper
tail
X
tail
proper
X
active
incr
X
active
X
proper
take
X1
X2
take
proper
X1
proper
X2
proper
cons
X1
X2
proper
X1
tail
ok
X
tail
X
proper
zip
X1
X2
zip
proper
X1
proper
X2
active
take
X1
X2
active
X2
active
cons
X1
X2
cons
active
X1
X2
active
zip
cons
X
XS
cons
Y
YS
cons
pair
X
Y
zip
XS
YS
zip
X1
mark
X2
zip
X1
X2
proper
s
X
s
proper
X
active
incr
cons
X
XS
cons
s
X
incr
XS
active
repItems
cons
X
XS
repItems
XS
proper
take
X1
X2
proper
X2
active
cons
X1
X2
active
X1
active
repItems
cons
X
XS
cons
X
repItems
XS
take
mark
X1
X2
take
X1
X2
s
ok
X
s
X
proper
repItems
X
proper
X
top
ok
X
active
X
active
take
X1
X2
take
X1
active
X2
active
repItems
cons
X
XS
cons
X
cons
X
repItems
XS
active
pairNs
cons
0
incr
oddNs
active
s
X
s
active
X
proper
take
X1
X2
proper
X1
repItems
ok
X
repItems
X
proper
pair
X1
X2
proper
X1
zip
ok
X1
ok
X2
zip
X1
X2
active
oddNs
incr
pairNs
take
X1
mark
X2
take
X1
X2
proper
cons
X1
X2
proper
X2
incr
ok
X
incr
X
proper
pair
X1
X2
proper
X2
proper
tail
X
proper
X
top
ok
X
top
active
X
true
top
ok
X
top
active
X
top
mark
X
top
proper
X
true
cons
2
2
top
1
1
zip
2
1
proper
1
1
ok
1
1
active
1
1
repItems
1
5
1
incr
1
2
1
s
1
4
1
take
2
0
2
1
take
2
2
2
1
top
1
0
pair
2
2
1
2
tail
1
1
1
0
0
3
s
1
0
nil
0
5
tail
1
0
mark
1
0
1
incr
1
0
pairNs
0
6
oddNs
0
7
proper
1
0
repItems
1
0
cons
2
2
1
active
1
0
pair
2
0
zip
2
5
1
2
repItems
1
1
1
incr
1
1
0
s
1
1
0
take
2
1
2
1
take
2
1
2
2
top
1
1
pair
2
1
2
1
tail
1
1
1
0
0
31122
s
1
1
nil
0
31123
tail
1
1
mark
1
1
0
incr
1
1
pairNs
0
31126
oddNs
0
31126
proper
1
1
repItems
1
1
cons
2
1
3
2
0
0
active
1
1
pair
2
2
1
zip
2
1
2
2
top
ok
X
top
active
X
active
zip
X1
X2
zip
X1
active
X2
zip
ok
X1
ok
X2
ok
zip
X1
X2
active
take
0
XS
mark
nil
active
take
X1
X2
take
active
X1
X2
active
zip
cons
X
XS
cons
Y
YS
mark
cons
pair
X
Y
zip
XS
YS
active
pairNs
mark
cons
0
incr
oddNs
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
active
take
X1
X2
take
X1
active
X2
active
tail
X
tail
active
X
proper
0
ok
0
take
mark
X1
X2
mark
take
X1
X2
active
pair
X1
X2
pair
active
X1
X2
tail
mark
X
mark
tail
X
active
zip
X1
X2
zip
active
X1
X2
take
X1
mark
X2
mark
take
X1
X2
proper
pairNs
ok
pairNs
active
repItems
X
repItems
active
X
zip
mark
X1
X2
mark
zip
X1
X2
proper
tail
X
tail
proper
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
repItems
mark
X
mark
repItems
X
active
repItems
nil
mark
nil
proper
s
X
s
proper
X
active
zip
X
nil
mark
nil
active
pair
X1
X2
pair
X1
active
X2
s
mark
X
mark
s
X
take
ok
X1
ok
X2
ok
take
X1
X2
tail
ok
X
ok
tail
X
pair
mark
X1
X2
mark
pair
X1
X2
active
s
X
s
active
X
pair
X1
mark
X2
mark
pair
X1
X2
active
cons
X1
X2
cons
active
X1
X2
proper
repItems
X
repItems
proper
X
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
repItems
cons
X
XS
mark
cons
X
cons
X
repItems
XS
active
tail
cons
X
XS
mark
XS
active
incr
X
incr
active
X
pair
ok
X1
ok
X2
ok
pair
X1
X2
proper
take
X1
X2
take
proper
X1
proper
X2
active
zip
nil
XS
mark
nil
proper
oddNs
ok
oddNs
s
ok
X
ok
s
X
repItems
ok
X
ok
repItems
X
incr
ok
X
ok
incr
X
proper
incr
X
incr
proper
X
proper
nil
ok
nil
proper
zip
X1
X2
zip
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
zip
X1
mark
X2
mark
zip
X1
X2
proper
pair
X1
X2
pair
proper
X1
proper
X2
active
oddNs
mark
incr
pairNs
top
ok
X
top
active
X
true
repItems
1
1
1
incr
1
1
1
cons
2
0
s
1
1
436
take
2
0
take
2
2
1
top
1
0
pair
2
2
1
top
1
1
0
zip
2
0
tail
1
1
1
proper
1
1
2
ok
1
1
2
0
0
1
s
1
0
nil
0
12644
tail
1
0
mark
1
0
incr
1
0
pairNs
0
38803
oddNs
0
59342
proper
1
0
repItems
1
0
active
1
1
1
cons
2
2
0
active
1
0
pair
2
0
zip
2
2
1
active
zip
X1
X2
zip
X1
active
X2
zip
ok
X1
ok
X2
ok
zip
X1
X2
active
take
0
XS
mark
nil
active
take
X1
X2
take
active
X1
X2
active
zip
cons
X
XS
cons
Y
YS
mark
cons
pair
X
Y
zip
XS
YS
active
pairNs
mark
cons
0
incr
oddNs
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
active
take
X1
X2
take
X1
active
X2
active
tail
X
tail
active
X
proper
0
ok
0
take
mark
X1
X2
mark
take
X1
X2
active
pair
X1
X2
pair
active
X1
X2
tail
mark
X
mark
tail
X
active
zip
X1
X2
zip
active
X1
X2
take
X1
mark
X2
mark
take
X1
X2
proper
pairNs
ok
pairNs
active
repItems
X
repItems
active
X
zip
mark
X1
X2
mark
zip
X1
X2
proper
tail
X
tail
proper
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
repItems
mark
X
mark
repItems
X
active
repItems
nil
mark
nil
proper
s
X
s
proper
X
active
zip
X
nil
mark
nil
active
pair
X1
X2
pair
X1
active
X2
s
mark
X
mark
s
X
take
ok
X1
ok
X2
ok
take
X1
X2
tail
ok
X
ok
tail
X
pair
mark
X1
X2
mark
pair
X1
X2
active
s
X
s
active
X
pair
X1
mark
X2
mark
pair
X1
X2
active
cons
X1
X2
cons
active
X1
X2
proper
repItems
X
repItems
proper
X
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
repItems
cons
X
XS
mark
cons
X
cons
X
repItems
XS
active
tail
cons
X
XS
mark
XS
active
incr
X
incr
active
X
pair
ok
X1
ok
X2
ok
pair
X1
X2
proper
take
X1
X2
take
proper
X1
proper
X2
active
zip
nil
XS
mark
nil
proper
oddNs
ok
oddNs
s
ok
X
ok
s
X
repItems
ok
X
ok
repItems
X
incr
ok
X
ok
incr
X
proper
incr
X
incr
proper
X
proper
nil
ok
nil
proper
zip
X1
X2
zip
proper
X1
proper
X2
cons
ok
X1
ok
X2
ok
cons
X1
X2
proper
cons
X1
X2
cons
proper
X1
proper
X2
zip
X1
mark
X2
mark
zip
X1
X2
proper
pair
X1
X2
pair
proper
X1
proper
X2
active
oddNs
mark
incr
pairNs
top
ok
X
active
X
false
top
mark
X
proper
X
false
proper
tail
X
proper
X
proper
pair
X1
X2
proper
X2
proper
incr
X
proper
X
proper
zip
X1
X2
proper
X2
proper
cons
X1
X2
proper
X2
proper
s
X
proper
X
proper
pair
X1
X2
proper
X1
proper
take
X1
X2
proper
X1
proper
zip
X1
X2
proper
X1
proper
repItems
X
proper
X
proper
take
X1
X2
proper
X2
proper
cons
X1
X2
proper
X1
true
repItems
1
1
1
incr
1
1
1
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
1
top
1
0
pair
2
1
2
1
top
1
0
zip
2
0
tail
1
1
1
proper
1
1
57785
ok
1
1
57786
0
0
1
s
1
0
nil
0
1
tail
1
0
mark
1
1
0
incr
1
0
pairNs
0
36828
oddNs
0
36827
proper
1
1
0
repItems
1
0
active
1
1
2
cons
2
1
2
1
active
1
0
pair
2
0
zip
2
1
2
1
active
take
0
XS
mark
nil
active
repItems
nil
mark
nil
active
zip
X
nil
mark
nil
pair
mark
X1
X2
mark
pair
X1
X2
pair
X1
mark
X2
mark
pair
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
tail
cons
X
XS
mark
XS
pair
ok
X1
ok
X2
ok
pair
X1
X2
active
zip
nil
XS
mark
nil
incr
ok
X
ok
incr
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
oddNs
mark
incr
pairNs
proper
cons
X1
X2
cons
proper
X1
proper
X2
false
proper
zip
X1
X2
zip
proper
X1
proper
X2
false
proper
incr
X
incr
proper
X
false
proper
repItems
X
repItems
proper
X
false
proper
s
X
s
proper
X
false
proper
tail
X
tail
proper
X
false
active
incr
X
active
X
active
tail
X
active
X
active
zip
X1
X2
active
X2
active
zip
X1
X2
active
X1
active
take
X1
X2
active
X1
active
pair
X1
X2
active
X1
active
cons
X1
X2
active
X1
active
repItems
X
active
X
active
s
X
active
X
active
take
X1
X2
active
X2
active
pair
X1
X2
active
X2
true
repItems
1
1
1
incr
1
1
1
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
1
top
1
0
pair
2
1
2
1
top
1
0
zip
2
0
tail
1
1
32132
proper
1
1
1
ok
1
1
2
0
0
1
s
1
0
nil
0
1
tail
1
0
mark
1
1
0
incr
1
0
pairNs
0
32002
oddNs
0
51373
proper
1
0
repItems
1
0
active
1
1
19374
cons
2
1
2
1
active
1
1
0
pair
2
0
zip
2
1
2
1
active
take
0
XS
mark
nil
active
repItems
nil
mark
nil
active
zip
X
nil
mark
nil
pair
mark
X1
X2
mark
pair
X1
X2
pair
X1
mark
X2
mark
pair
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
tail
cons
X
XS
mark
XS
pair
ok
X1
ok
X2
ok
pair
X1
X2
active
zip
nil
XS
mark
nil
incr
ok
X
ok
incr
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
oddNs
mark
incr
pairNs
active
oddNs
incr
pairNs
false
active
incr
X
incr
active
X
false
active
repItems
cons
X
XS
cons
X
cons
X
repItems
XS
false
active
repItems
cons
X
XS
cons
X
repItems
XS
false
active
repItems
cons
X
XS
repItems
XS
false
active
cons
X1
X2
cons
active
X1
X2
false
active
s
X
s
active
X
false
active
pair
X1
X2
pair
X1
active
X2
false
active
take
s
N
cons
X
XS
cons
X
take
N
XS
false
active
take
s
N
cons
X
XS
take
N
XS
false
active
repItems
X
repItems
active
X
false
repItems
ok
X
repItems
X
repItems
mark
X
repItems
X
true
repItems
1
1
1
incr
1
1
39229
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
27646
top
1
0
pair
2
1
2
1
top
1
0
zip
2
0
tail
1
1
1
proper
1
1
1
ok
1
1
2
0
0
1
s
1
0
nil
0
1
tail
1
0
mark
1
1
0
incr
1
0
pairNs
0
2
oddNs
0
1
proper
1
0
repItems
1
1
0
active
1
1
39230
cons
2
1
2
1
active
1
0
pair
2
0
zip
2
1
2
1
repItems
mark
X
repItems
X
active
take
0
XS
mark
nil
active
repItems
nil
mark
nil
active
zip
X
nil
mark
nil
pair
mark
X1
X2
mark
pair
X1
X2
pair
X1
mark
X2
mark
pair
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
tail
cons
X
XS
mark
XS
pair
ok
X1
ok
X2
ok
pair
X1
X2
active
zip
nil
XS
mark
nil
incr
ok
X
ok
incr
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
oddNs
mark
incr
pairNs
repItems
mark
X
repItems
X
true
repItems
1
1
1
incr
1
1
1
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
1
top
1
0
pair
2
1
2
1
top
1
0
zip
2
0
tail
1
1
1
proper
1
1
1
ok
1
1
2
0
0
1
s
1
0
nil
0
1
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
69824
oddNs
0
69823
proper
1
0
repItems
1
1
0
active
1
1
3
cons
2
1
2
1
active
1
0
pair
2
0
zip
2
1
2
1
active
take
0
XS
mark
nil
active
repItems
nil
mark
nil
active
zip
X
nil
mark
nil
pair
mark
X1
X2
mark
pair
X1
X2
pair
X1
mark
X2
mark
pair
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
tail
cons
X
XS
mark
XS
pair
ok
X1
ok
X2
ok
pair
X1
X2
active
zip
nil
XS
mark
nil
incr
ok
X
ok
incr
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
oddNs
mark
incr
pairNs
active
zip
X1
X2
zip
active
X1
X2
false
active
pair
X1
X2
pair
active
X1
X2
false
active
tail
X
tail
active
X
false
tail
mark
X
tail
X
tail
ok
X
tail
X
true
repItems
1
1
1
incr
1
1
1
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
6835
top
1
0
pair
2
1
2
1
top
1
0
zip
2
0
tail
1
1
1
proper
1
1
1
ok
1
1
2
0
0
1
s
1
0
nil
0
1
tail
1
1
0
mark
1
1
1
incr
1
0
pairNs
0
1
oddNs
0
1
proper
1
0
repItems
1
0
active
1
1
4
cons
2
1
2
1
active
1
0
pair
2
0
zip
2
1
2
1
active
take
0
XS
mark
nil
active
repItems
nil
mark
nil
active
zip
X
nil
mark
nil
pair
mark
X1
X2
mark
pair
X1
X2
pair
X1
mark
X2
mark
pair
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
tail
cons
X
XS
mark
XS
pair
ok
X1
ok
X2
ok
pair
X1
X2
active
zip
nil
XS
mark
nil
incr
ok
X
ok
incr
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
oddNs
mark
incr
pairNs
active
take
X1
X2
take
X1
active
X2
false
active
incr
cons
X
XS
cons
s
X
incr
XS
false
active
incr
cons
X
XS
s
X
false
s
ok
X
s
X
s
mark
X
s
X
true
repItems
1
1
2089
incr
1
1
1
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
25118
top
1
0
pair
2
1
2
1
top
1
0
zip
2
0
tail
1
1
57205
proper
1
1
1
ok
1
1
2
0
0
1
s
1
1
0
nil
0
1
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
43648
oddNs
0
43647
proper
1
0
repItems
1
0
active
1
1
3
cons
2
1
2
1
active
1
0
pair
2
0
zip
2
1
2
1
active
take
0
XS
mark
nil
active
repItems
nil
mark
nil
active
zip
X
nil
mark
nil
pair
mark
X1
X2
mark
pair
X1
X2
pair
X1
mark
X2
mark
pair
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
tail
cons
X
XS
mark
XS
pair
ok
X1
ok
X2
ok
pair
X1
X2
active
zip
nil
XS
mark
nil
incr
ok
X
ok
incr
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
oddNs
mark
incr
pairNs
active
incr
cons
X
XS
incr
XS
false
incr
ok
X
incr
X
incr
mark
X
incr
X
true
repItems
1
1
1
incr
1
1
1
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
1
top
1
0
pair
2
1
2
1
top
1
0
zip
2
0
tail
1
1
1
proper
1
1
1
ok
1
1
2
0
0
1
s
1
0
nil
0
1
tail
1
0
mark
1
1
1
incr
1
1
0
pairNs
0
2
oddNs
0
1
proper
1
0
repItems
1
0
active
1
1
3
cons
2
1
2
1
active
1
0
pair
2
0
zip
2
1
2
1
active
take
0
XS
mark
nil
active
repItems
nil
mark
nil
active
zip
X
nil
mark
nil
pair
mark
X1
X2
mark
pair
X1
X2
pair
X1
mark
X2
mark
pair
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
tail
cons
X
XS
mark
XS
pair
ok
X1
ok
X2
ok
pair
X1
X2
active
zip
nil
XS
mark
nil
incr
ok
X
ok
incr
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
oddNs
mark
incr
pairNs
active
pairNs
cons
0
incr
oddNs
false
active
pairNs
incr
oddNs
false
active
zip
cons
X
XS
cons
Y
YS
cons
pair
X
Y
zip
XS
YS
false
cons
mark
X1
X2
cons
X1
X2
cons
ok
X1
ok
X2
cons
X1
X2
true
repItems
1
1
1
incr
1
1
1
cons
2
1
2
0
s
1
1
1
take
2
0
take
2
1
2
1
top
1
0
pair
2
1
2
1
top
1
0
zip
2
0
tail
1
1
1
proper
1
1
1
ok
1
1
2
0
0
1
s
1
0
nil
0
4
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
16610
oddNs
0
16609
proper
1
0
repItems
1
0
active
1
1
3
cons
2
1
2
1
active
1
0
pair
2
0
zip
2
1
2
1
active
take
0
XS
mark
nil
active
repItems
nil
mark
nil
active
zip
X
nil
mark
nil
pair
mark
X1
X2
mark
pair
X1
X2
pair
X1
mark
X2
mark
pair
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
tail
cons
X
XS
mark
XS
pair
ok
X1
ok
X2
ok
pair
X1
X2
active
zip
nil
XS
mark
nil
incr
ok
X
ok
incr
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
oddNs
mark
incr
pairNs
active
zip
cons
X
XS
cons
Y
YS
pair
X
Y
false
active
zip
cons
X
XS
cons
Y
YS
zip
XS
YS
false
active
take
X1
X2
take
active
X1
X2
false
active
zip
X1
X2
zip
X1
active
X2
false
zip
ok
X1
ok
X2
zip
X1
X2
zip
mark
X1
X2
zip
X1
X2
zip
X1
mark
X2
zip
X1
X2
true
repItems
1
1
1
incr
1
1
1
cons
2
0
s
1
1
2
take
2
0
take
2
1
2
10109
top
1
0
pair
2
1
2
1
top
1
0
zip
2
2
0
tail
1
1
1
proper
1
1
1
ok
1
1
2
0
0
1
s
1
0
nil
0
1
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
35973
oddNs
0
35972
proper
1
0
repItems
1
0
active
1
1
3
cons
2
1
2
1
active
1
0
pair
2
0
zip
2
1
2
1
zip
mark
X1
X2
zip
X1
X2
active
take
0
XS
mark
nil
active
repItems
nil
mark
nil
active
zip
X
nil
mark
nil
pair
mark
X1
X2
mark
pair
X1
X2
pair
X1
mark
X2
mark
pair
X1
X2
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
tail
cons
X
XS
mark
XS
pair
ok
X1
ok
X2
ok
pair
X1
X2
active
zip
nil
XS
mark
nil
incr
ok
X
ok
incr
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
oddNs
mark
incr
pairNs
zip
mark
X1
X2
zip
X1
X2
true
repItems
1
1
0
incr
1
1
0
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
1
top
1
0
pair
2
1
top
1
0
zip
2
1
0
tail
1
1
0
proper
1
0
ok
1
1
36900
0
0
1
s
1
0
nil
0
1
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
2
oddNs
0
38491
proper
1
0
repItems
1
0
active
1
1
2
cons
2
1
1
active
1
0
pair
2
0
zip
2
1
2
1
active
take
0
XS
mark
nil
active
repItems
nil
mark
nil
active
zip
X
nil
mark
nil
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
zip
nil
XS
mark
nil
incr
ok
X
ok
incr
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
oddNs
mark
incr
pairNs
proper
pair
X1
X2
pair
proper
X1
proper
X2
false
pair
ok
X1
ok
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
true
repItems
1
1
0
incr
1
1
0
cons
2
0
s
1
1
1
take
2
0
take
2
1
2
1
top
1
0
pair
2
3
top
1
0
zip
2
0
tail
1
1
0
proper
1
0
ok
1
1
1
0
0
1
s
1
0
nil
0
1
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
1
oddNs
0
38491
proper
1
0
repItems
1
0
active
1
1
2
cons
2
1
1
active
1
0
pair
2
1
0
zip
2
1
2
1
pair
X1
mark
X2
pair
X1
X2
active
take
0
XS
mark
nil
active
repItems
nil
mark
nil
active
zip
X
nil
mark
nil
cons
mark
X1
X2
mark
cons
X1
X2
incr
mark
X
mark
incr
X
active
zip
nil
XS
mark
nil
incr
ok
X
ok
incr
X
cons
ok
X1
ok
X2
ok
cons
X1
X2
active
oddNs
mark
incr
pairNs
pair
X1
mark
X2
pair
X1
X2
true
repItems
1
1
1
incr
1
1
12782
cons
2
0
s
1
2
take
2
0
take
2
2
top
1
0
pair
2
24632
top
1
0
zip
2
0
tail
1
1
18331
proper
1
1
ok
1
1
15149
0
0
1
s
1
0
nil
0
23332
tail
1
0
mark
1
1
2766
incr
1
0
pairNs
0
32662
oddNs
0
1
proper
1
0
repItems
1
0
active
1
1
cons
2
24292
active
1
0
pair
2
2
0
zip
2
1
20541
proper
take
X1
X2
take
proper
X1
proper
X2
false
take
X1
mark
X2
take
X1
X2
take
ok
X1
ok
X2
take
X1
X2
take
mark
X1
X2
take
X1
X2
true
repItems
1
12893
incr
1
1
1
cons
2
0
s
1
31371
take
2
1
2
0
take
2
31609
top
1
0
pair
2
19072
top
1
0
zip
2
0
tail
1
18331
proper
1
12892
ok
1
1
16209
0
0
1
s
1
0
nil
0
23332
tail
1
0
mark
1
1
2766
incr
1
0
pairNs
0
32662
oddNs
0
2284
proper
1
0
repItems
1
0
active
1
1
cons
2
1
46918
active
1
0
pair
2
0
zip
2
21654
incr
mark
X
mark
incr
X
incr
ok
X
ok
incr
X
NaTT
certifiable-1.6