a__nats
cons
0
incr
nats
a__pairs
cons
0
incr
odds
a__odds
a__incr
a__pairs
a__incr
cons
X
XS
cons
s
mark
X
incr
XS
a__head
cons
X
XS
mark
X
a__tail
cons
X
XS
mark
XS
mark
nats
a__nats
mark
incr
X
a__incr
mark
X
mark
pairs
a__pairs
mark
odds
a__odds
mark
head
X
a__head
mark
X
mark
tail
X
a__tail
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
mark
0
0
mark
s
X
s
mark
X
a__nats
nats
a__incr
X
incr
X
a__pairs
pairs
a__odds
odds
a__head
X
head
X
a__tail
X
tail
X
a__nats
0
cons
2
0
0
incr
1
nats
0
a__pairs
0
odds
0
a__odds
0
a__incr
1
s
1
mark
1
a__head
1
a__tail
1
pairs
0
head
1
tail
1
INNERMOST
./TRS/TRCSR/Ex1_Luc04b_GM.trs