pairNs
cons
0
incr
oddNs
oddNs
incr
pairNs
incr
cons
X
XS
cons
s
X
incr
XS
take
0
XS
nil
take
s
N
cons
X
XS
cons
X
take
N
XS
zip
nil
XS
nil
zip
X
nil
nil
zip
cons
X
XS
cons
Y
YS
cons
pair
X
Y
zip
XS
YS
tail
cons
X
XS
XS
repItems
nil
nil
repItems
cons
X
XS
cons
X
cons
X
repItems
XS
pairNs
0
cons
2
1
0
0
incr
1
1
oddNs
0
s
1
1
take
2
1
2
nil
0
zip
2
1
2
pair
2
1
2
tail
1
1
repItems
1
1
FULL
./TRS/CSR/Ex5_DLMMU04.trs