tail
cons
X
XS
pairNs
cons
0
oddNs
incr
pairNs
incr
cons
X
cons
s
X
take
0
XS
nil
take
s
N
cons
X
cons
X
zip
nil
XS
nil
zip
X
nil
nil
zip
cons
X
cons
Y
cons
pair
X
Y
repItems
nil
nil
repItems
cons
X
cons
X
tail
1
cons
1
pairNs
0
0
0
oddNs
0
incr
1
s
1
take
2
nil
0
zip
2
pair
2
repItems
1
INNERMOST
./TRS/TRCSR/Ex5_DLMMU04_L.trs