pairNs
cons
0
n__incr
oddNs
oddNs
incr
pairNs
incr
cons
X
XS
cons
s
X
n__incr
activate
XS
take
0
XS
nil
take
s
N
cons
X
XS
cons
X
n__take
N
activate
XS
zip
nil
XS
nil
zip
X
nil
nil
zip
cons
X
XS
cons
Y
YS
cons
pair
X
Y
n__zip
activate
XS
activate
YS
tail
cons
X
XS
activate
XS
repItems
nil
nil
repItems
cons
X
XS
cons
X
n__cons
X
n__repItems
activate
XS
incr
X
n__incr
X
take
X1
X2
n__take
X1
X2
zip
X1
X2
n__zip
X1
X2
cons
X1
X2
n__cons
X1
X2
repItems
X
n__repItems
X
activate
n__incr
X
incr
X
activate
n__take
X1
X2
take
X1
X2
activate
n__zip
X1
X2
zip
X1
X2
activate
n__cons
X1
X2
cons
X1
X2
activate
n__repItems
X
repItems
X
activate
X
X
pairNs
0
cons
2
0
0
n__incr
1
oddNs
0
incr
1
s
1
activate
1
take
2
nil
0
n__take
2
zip
2
pair
2
n__zip
2
tail
1
repItems
1
n__cons
2
n__repItems
1
INNERMOST
./TRS/TRCSR/Ex5_DLMMU04_Z.trs