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
mark
pairNs
active
pairNs
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
0
active
0
mark
incr
X
active
incr
mark
X
mark
oddNs
active
oddNs
mark
s
X
active
s
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
nil
active
nil
mark
zip
X1
X2
active
zip
mark
X1
mark
X2
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
tail
X
active
tail
mark
X
mark
repItems
X
active
repItems
mark
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
incr
mark
X
incr
X
incr
active
X
incr
X
s
mark
X
s
X
s
active
X
s
X
take
mark
X1
X2
take
X1
X2
take
X1
mark
X2
take
X1
X2
take
active
X1
X2
take
X1
X2
take
X1
active
X2
take
X1
X2
zip
mark
X1
X2
zip
X1
X2
zip
X1
mark
X2
zip
X1
X2
zip
active
X1
X2
zip
X1
X2
zip
X1
active
X2
zip
X1
X2
pair
mark
X1
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
tail
mark
X
tail
X
tail
active
X
tail
X
repItems
mark
X
repItems
X
repItems
active
X
repItems
X
2.2
active
oddNs
incr
pairNs
tail
mark
X
tail
X
mark
0
active
0
mark
zip
X1
X2
mark
X2
active
pairNs
mark
cons
0
incr
oddNs
mark
tail
X
tail
mark
X
active
take
s
N
cons
X
XS
take
N
XS
active
take
s
N
cons
X
XS
cons
X
take
N
XS
zip
X1
active
X2
zip
X1
X2
mark
incr
X
active
incr
mark
X
mark
tail
X
mark
X
take
mark
X1
X2
take
X1
X2
active
zip
cons
X
XS
cons
Y
YS
pair
X
Y
take
active
X1
X2
take
X1
X2
mark
incr
X
mark
X
mark
incr
X
incr
mark
X
mark
pair
X1
X2
pair
mark
X1
mark
X2
mark
oddNs
active
oddNs
active
repItems
nil
mark
nil
repItems
mark
X
repItems
X
mark
pair
X1
X2
mark
X1
cons
active
X1
X2
cons
X1
X2
active
pairNs
cons
0
incr
oddNs
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
s
X
s
mark
X
pair
mark
X1
X2
pair
X1
X2
zip
X1
mark
X2
zip
X1
X2
zip
active
X1
X2
zip
X1
X2
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
active
take
0
XS
mark
nil
mark
repItems
X
repItems
mark
X
active
zip
cons
X
XS
cons
Y
YS
cons
pair
X
Y
zip
XS
YS
mark
repItems
X
active
repItems
mark
X
mark
take
X1
X2
take
mark
X1
mark
X2
mark
tail
X
active
tail
mark
X
active
zip
cons
X
XS
cons
Y
YS
mark
cons
pair
X
Y
zip
XS
YS
active
zip
nil
XS
mark
nil
cons
X1
mark
X2
cons
X1
X2
mark
take
X1
X2
mark
X1
zip
mark
X1
X2
zip
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
s
mark
X
s
X
mark
s
X
mark
X
cons
X1
active
X2
cons
X1
X2
mark
repItems
X
mark
X
active
repItems
cons
X
XS
cons
X
repItems
XS
pair
active
X1
X2
pair
X1
X2
take
X1
mark
X2
take
X1
X2
repItems
active
X
repItems
X
active
incr
cons
X
XS
s
X
mark
zip
X1
X2
zip
mark
X1
mark
X2
active
zip
cons
X
XS
cons
Y
YS
zip
XS
YS
take
X1
active
X2
take
X1
X2
incr
mark
X
incr
X
active
incr
cons
X
XS
incr
XS
s
active
X
s
X
cons
mark
X1
X2
cons
X1
X2
mark
zip
X1
X2
mark
X1
mark
pairNs
active
pairNs
mark
pair
X1
X2
mark
X2
active
tail
cons
X
XS
mark
XS
mark
zip
X1
X2
active
zip
mark
X1
mark
X2
active
repItems
cons
X
XS
cons
X
cons
X
repItems
XS
active
incr
cons
X
XS
cons
s
X
incr
XS
tail
active
X
tail
X
active
pairNs
incr
oddNs
active
zip
X
nil
mark
nil
active
repItems
cons
X
XS
repItems
XS
mark
cons
X1
X2
mark
X1
pair
X1
active
X2
pair
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
oddNs
mark
incr
pairNs
mark
nil
active
nil
pair
X1
mark
X2
pair
X1
X2
mark
cons
X1
X2
cons
mark
X1
X2
incr
active
X
incr
X
mark
take
X1
X2
mark
X2
mark
s
X
active
s
mark
X
active
repItems
cons
X
XS
mark
cons
X
cons
X
repItems
XS
true
active
repItems
cons
X
XS
mark
cons
X
cons
X
repItems
XS
mark
take
X1
X2
mark
X2
mark
s
X
active
s
mark
X
mark
repItems
X
mark
X
mark
s
X
mark
X
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
take
X1
X2
mark
X1
active
zip
cons
X
XS
cons
Y
YS
mark
cons
pair
X
Y
zip
XS
YS
mark
tail
X
active
tail
mark
X
active
oddNs
mark
incr
pairNs
mark
repItems
X
active
repItems
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
cons
X1
X2
mark
X1
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
zip
X1
X2
active
zip
mark
X1
mark
X2
active
tail
cons
X
XS
mark
XS
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
pair
X1
X2
mark
X2
mark
pair
X1
X2
mark
X1
mark
pairNs
active
pairNs
mark
oddNs
active
oddNs
mark
zip
X1
X2
mark
X1
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
mark
tail
X
mark
X
active
pairNs
mark
cons
0
incr
oddNs
mark
zip
X1
X2
mark
X2
true
repItems
1
2
incr
1
2
cons
2
0
s
1
1
take
2
0
take
2
2
pair
2
1
zip
2
0
tail
1
2
mark
1
2
0
0
2
s
1
0
nil
0
4
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
2
oddNs
0
2
repItems
1
0
active
1
4
cons
2
1
active
1
1
0
pair
2
0
zip
2
2
mark
zip
X1
X2
mark
X2
active
pairNs
mark
cons
0
incr
oddNs
mark
tail
X
mark
X
mark
incr
X
active
incr
mark
X
mark
incr
X
mark
X
mark
zip
X1
X2
mark
X1
mark
oddNs
active
oddNs
mark
pairNs
active
pairNs
mark
pair
X1
X2
mark
X1
mark
pair
X1
X2
mark
X2
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
active
tail
cons
X
XS
mark
XS
mark
zip
X1
X2
active
zip
mark
X1
mark
X2
mark
cons
X1
X2
mark
X1
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
repItems
X
active
repItems
mark
X
active
oddNs
mark
incr
pairNs
mark
tail
X
active
tail
mark
X
active
zip
cons
X
XS
cons
Y
YS
mark
cons
pair
X
Y
zip
XS
YS
mark
take
X1
X2
mark
X1
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
s
X
mark
X
mark
repItems
X
mark
X
mark
take
X1
X2
mark
X2
active
repItems
cons
X
XS
mark
cons
X
cons
X
repItems
XS
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
mark
take
X1
X2
mark
X2
mark
take
X1
X2
mark
X1
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
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
mark
oddNs
active
oddNs
mark
pair
X1
X2
mark
X2
mark
pair
X1
X2
mark
X1
mark
s
X
mark
X
mark
tail
X
mark
X
mark
tail
X
active
tail
mark
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
zip
X1
X2
mark
X2
mark
zip
X1
X2
mark
X1
mark
zip
X1
X2
active
zip
mark
X1
mark
X2
mark
pairNs
active
pairNs
mark
repItems
X
mark
X
mark
repItems
X
active
repItems
mark
X
active
repItems
cons
X
XS
mark
cons
X
cons
X
repItems
XS
active
tail
cons
X
XS
mark
XS
mark
cons
X1
X2
mark
X1
active
oddNs
mark
incr
pairNs
true
repItems
1
1
8949
incr
1
1
0
cons
2
0
s
1
1
0
take
2
0
take
2
1
9232
2
250
0
pair
2
1
284
2
282
0
zip
2
0
tail
1
1
20538
mark
1
1
0
0
0
0
s
1
0
nil
0
9232
tail
1
0
mark
1
1
0
incr
1
0
pairNs
0
24870
oddNs
0
24870
repItems
1
0
active
1
1
0
cons
2
1
8948
2
0
0
active
1
1
0
pair
2
0
zip
2
1
284
2
9231
0
active
oddNs
mark
incr
pairNs
active
repItems
cons
X
XS
mark
cons
X
cons
X
repItems
XS
mark
repItems
X
active
repItems
mark
X
mark
pairNs
active
pairNs
mark
zip
X1
X2
active
zip
mark
X1
mark
X2
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
tail
X
active
tail
mark
X
mark
s
X
mark
X
mark
oddNs
active
oddNs
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
active
pairNs
mark
cons
0
incr
oddNs
active
zip
cons
X
XS
cons
Y
YS
mark
cons
pair
X
Y
zip
XS
YS
mark
incr
X
active
incr
mark
X
mark
incr
X
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
active
take
0
XS
mark
nil
mark
incr
X
active
incr
mark
X
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
mark
oddNs
active
oddNs
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
mark
nil
active
nil
take
mark
X1
X2
take
X1
X2
mark
s
X
active
s
mark
X
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
mark
tail
X
active
tail
mark
X
incr
mark
X
incr
X
tail
mark
X
tail
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
take
X1
mark
X2
take
X1
X2
active
repItems
nil
mark
nil
zip
X1
active
X2
zip
X1
X2
active
zip
X
nil
mark
nil
mark
zip
X1
X2
active
zip
mark
X1
mark
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
mark
0
active
0
s
active
X
s
X
mark
pairNs
active
pairNs
tail
active
X
tail
X
mark
repItems
X
active
repItems
mark
X
cons
mark
X1
X2
cons
X1
X2
active
repItems
cons
X
XS
mark
cons
X
cons
X
repItems
XS
active
tail
cons
X
XS
mark
XS
mark
cons
X1
X2
active
cons
mark
X1
X2
pair
mark
X1
X2
pair
X1
X2
active
zip
nil
XS
mark
nil
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
active
oddNs
mark
incr
pairNs
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
active
zip
cons
X
XS
cons
Y
YS
mark
cons
pair
X
Y
zip
XS
YS
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
oddNs
active
oddNs
mark
s
X
mark
X
mark
tail
X
active
tail
mark
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
zip
X1
X2
active
zip
mark
X1
mark
X2
mark
repItems
X
active
repItems
mark
X
active
repItems
cons
X
XS
mark
cons
X
cons
X
repItems
XS
active
oddNs
mark
incr
pairNs
true
repItems
1
11651
incr
1
11651
cons
2
0
s
1
1
take
2
0
take
2
11651
pair
2
1
zip
2
0
tail
1
11650
mark
1
11653
0
0
1
s
1
0
nil
0
1
tail
1
0
mark
1
1
incr
1
0
pairNs
0
2
oddNs
0
11651
repItems
1
0
active
1
2
cons
2
1
active
1
1
2
pair
2
0
zip
2
11651
active
oddNs
mark
incr
pairNs
active
repItems
cons
X
XS
mark
cons
X
cons
X
repItems
XS
mark
repItems
X
active
repItems
mark
X
mark
zip
X1
X2
active
zip
mark
X1
mark
X2
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
s
X
mark
X
mark
oddNs
active
oddNs
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
active
zip
cons
X
XS
cons
Y
YS
mark
cons
pair
X
Y
zip
XS
YS
mark
incr
X
active
incr
mark
X
mark
incr
X
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
incr
X
mark
X
mark
incr
X
active
incr
mark
X
active
zip
cons
X
XS
cons
Y
YS
mark
cons
pair
X
Y
zip
XS
YS
active
incr
cons
X
XS
mark
cons
s
X
incr
XS
mark
oddNs
active
oddNs
mark
s
X
mark
X
active
take
s
N
cons
X
XS
mark
cons
X
take
N
XS
mark
zip
X1
X2
active
zip
mark
X1
mark
X2
mark
repItems
X
active
repItems
mark
X
active
repItems
cons
X
XS
mark
cons
X
cons
X
repItems
XS
active
oddNs
mark
incr
pairNs
true
repItems
1
3
incr
1
1
2
cons
2
0
s
1
1
1
take
2
0
take
2
1
3
pair
2
1
2
1
zip
2
0
tail
1
1
mark
1
1
0
0
0
1
s
1
0
nil
0
23557
tail
1
0
mark
1
1
5
incr
1
0
pairNs
0
0
oddNs
0
6
repItems
1
0
active
1
1
0
cons
2
1
active
1
2
pair
2
0
zip
2
1
2
3
active
oddNs
mark
incr
pairNs
mark
incr
X
active
incr
mark
X
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
incr
mark
X
incr
X
cons
X1
mark
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
mark
incr
X
active
incr
mark
X
active
oddNs
mark
incr
pairNs
true
repItems
1
1
incr
1
3580
cons
2
0
s
1
0
take
2
0
take
2
147
pair
2
1
zip
2
0
tail
1
3578
mark
1
3581
0
0
1
s
1
0
nil
0
23557
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
649
oddNs
0
3582
repItems
1
0
active
1
3580
cons
2
3580
active
1
1
0
pair
2
0
zip
2
486
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
mark
pairNs
active
pairNs
false
active
pairNs
mark
cons
0
incr
oddNs
false
mark
cons
X1
X2
cons
mark
X1
X2
false
active
zip
nil
XS
mark
nil
false
mark
repItems
X
repItems
mark
X
false
mark
zip
X1
X2
zip
mark
X1
mark
X2
false
active
repItems
cons
X
XS
cons
X
cons
X
repItems
XS
false
active
repItems
cons
X
XS
repItems
XS
false
repItems
mark
X
repItems
X
repItems
active
X
repItems
X
true
repItems
1
16892
incr
1
26875
cons
2
0
s
1
0
take
2
0
take
2
0
pair
2
0
zip
2
0
tail
1
0
mark
1
3581
0
0
27824
s
1
0
nil
0
16894
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
1184
oddNs
0
26873
repItems
1
1
0
active
1
1
2
cons
2
26877
active
1
1
0
pair
2
0
zip
2
0
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
active
zip
X
nil
mark
nil
false
active
repItems
nil
mark
nil
false
mark
tail
X
tail
mark
X
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
mark
s
X
s
mark
X
false
active
incr
cons
X
XS
cons
s
X
incr
XS
false
active
incr
cons
X
XS
s
X
false
s
mark
X
s
X
s
active
X
s
X
true
repItems
1
23975
incr
1
56727
cons
2
0
s
1
0
take
2
0
take
2
0
pair
2
0
zip
2
0
tail
1
0
mark
1
3581
0
0
27824
s
1
1
0
nil
0
32549
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
56726
oddNs
0
56725
repItems
1
0
active
1
1
2
cons
2
56729
active
1
1
0
pair
2
0
zip
2
0
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
active
incr
cons
X
XS
incr
XS
false
mark
pair
X1
X2
pair
mark
X1
mark
X2
false
active
pairNs
cons
0
incr
oddNs
false
active
pairNs
incr
oddNs
false
mark
incr
X
incr
mark
X
false
incr
active
X
incr
X
incr
mark
X
incr
X
true
repItems
1
1549
incr
1
1913
cons
2
0
s
1
0
take
2
0
take
2
0
pair
2
0
zip
2
0
tail
1
0
mark
1
3581
0
0
28733
s
1
0
nil
0
32549
tail
1
0
mark
1
1
1
incr
1
1
0
pairNs
0
1888
oddNs
0
1911
repItems
1
0
active
1
1
2
cons
2
1915
active
1
1
0
pair
2
0
zip
2
0
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
active
zip
cons
X
XS
cons
Y
YS
cons
pair
X
Y
zip
XS
YS
false
active
zip
cons
X
XS
cons
Y
YS
pair
X
Y
false
pair
X1
mark
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
pair
mark
X1
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
true
repItems
1
1
incr
1
11844
cons
2
0
s
1
0
take
2
0
take
2
0
pair
2
0
zip
2
0
tail
1
0
mark
1
3581
0
0
1
s
1
0
nil
0
16496
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
2
oddNs
0
11842
repItems
1
0
active
1
1
2
cons
2
11846
active
1
1
0
pair
2
1
0
zip
2
0
pair
X1
active
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
true
repItems
1
15538
incr
1
18816
cons
2
0
s
1
0
take
2
0
take
2
0
pair
2
0
zip
2
0
tail
1
0
mark
1
3581
0
0
1
s
1
0
nil
0
40386
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
1
oddNs
0
18814
repItems
1
0
active
1
1
2
cons
2
18818
active
1
1
0
pair
2
2
0
zip
2
0
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
active
zip
cons
X
XS
cons
Y
YS
zip
XS
YS
false
zip
mark
X1
X2
zip
X1
X2
zip
active
X1
X2
zip
X1
X2
zip
X1
mark
X2
zip
X1
X2
zip
X1
active
X2
zip
X1
X2
true
repItems
1
1
incr
1
30089
cons
2
0
s
1
0
take
2
0
take
2
0
pair
2
0
zip
2
2
0
tail
1
0
mark
1
3581
0
0
21726
s
1
0
nil
0
20363
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
1
oddNs
0
30087
repItems
1
0
active
1
1
2
cons
2
30091
active
1
1
0
pair
2
0
zip
2
0
zip
active
X1
X2
zip
X1
X2
zip
mark
X1
X2
zip
X1
X2
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
zip
mark
X1
X2
zip
X1
X2
zip
active
X1
X2
zip
X1
X2
true
repItems
1
2
incr
1
3
cons
2
0
s
1
0
take
2
0
take
2
0
pair
2
0
zip
2
1
0
tail
1
0
mark
1
3581
0
0
21280
s
1
0
nil
0
20364
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
1
oddNs
0
1
repItems
1
0
active
1
1
2
cons
2
5
active
1
1
0
pair
2
0
zip
2
0
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
active
take
0
XS
mark
nil
false
mark
nil
active
nil
false
mark
take
X1
X2
take
mark
X1
mark
X2
false
take
active
X1
X2
take
X1
X2
take
mark
X1
X2
take
X1
X2
take
X1
active
X2
take
X1
X2
take
X1
mark
X2
take
X1
X2
true
repItems
1
1
incr
1
11178
cons
2
0
s
1
0
take
2
1
2
0
take
2
0
pair
2
0
zip
2
0
tail
1
0
mark
1
3581
0
0
1
s
1
0
nil
0
20364
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
40484
oddNs
0
1
repItems
1
0
active
1
1
2
cons
2
40486
active
1
1
0
pair
2
0
zip
2
0
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
mark
0
active
0
false
tail
active
X
tail
X
tail
mark
X
tail
X
true
repItems
1
1
incr
1
32538
cons
2
0
s
1
0
take
2
0
take
2
0
pair
2
0
zip
2
0
tail
1
0
mark
1
3581
0
0
55042
s
1
0
nil
0
11030
tail
1
1
0
mark
1
1
1
incr
1
0
pairNs
0
20948
oddNs
0
32536
repItems
1
0
active
1
1
2
cons
2
32540
active
1
1
0
pair
2
0
zip
2
0
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
active
oddNs
incr
pairNs
false
active
repItems
cons
X
XS
cons
X
repItems
XS
false
cons
X1
active
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
repItems
1
1
incr
1
4594
cons
2
2
0
s
1
0
take
2
0
take
2
0
pair
2
0
zip
2
0
tail
1
0
mark
1
3581
0
0
1
s
1
0
nil
0
13459
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
4592
oddNs
0
4592
repItems
1
0
active
1
1
2
cons
2
4596
active
1
1
0
pair
2
0
zip
2
0
cons
mark
X1
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
mark
X1
X2
cons
X1
X2
true
repItems
1
1
incr
1
39814
cons
2
1
0
s
1
0
take
2
0
take
2
0
pair
2
0
zip
2
0
tail
1
0
mark
1
3581
0
0
36526
s
1
0
nil
0
3
tail
1
0
mark
1
1
1
incr
1
0
pairNs
0
39812
oddNs
0
39812
repItems
1
0
active
1
1
2
cons
2
39816
active
1
1
0
pair
2
0
zip
2
0
zip
mark
X1
X2
zip
X1
X2
cons
active
X1
X2
cons
X1
X2
take
mark
X1
X2
take
X1
X2
cons
X1
active
X2
cons
X1
X2
take
active
X1
X2
take
X1
X2
incr
mark
X
incr
X
tail
mark
X
tail
X
take
X1
mark
X2
take
X1
X2
zip
X1
active
X2
zip
X1
X2
cons
X1
mark
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
tail
active
X
tail
X
cons
mark
X1
X2
cons
X1
X2
pair
mark
X1
X2
pair
X1
X2
zip
active
X1
X2
zip
X1
X2
repItems
active
X
repItems
X
zip
X1
mark
X2
zip
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
repItems
mark
X
repItems
X
take
X1
active
X2
take
X1
X2
incr
active
X
incr
X
pair
X1
active
X2
pair
X1
X2
NaTT
certifiable-1.6