nats
cons
0
n__incr
nats
pairs
cons
0
n__incr
odds
odds
incr
pairs
incr
cons
X
XS
cons
s
X
n__incr
activate
XS
head
cons
X
XS
X
tail
cons
X
XS
activate
XS
incr
X
n__incr
X
activate
n__incr
X
incr
X
activate
X
X
nats
0
cons
2
0
0
n__incr
1
pairs
0
odds
0
incr
1
s
1
activate
1
head
1
tail
1
INNERMOST
./TRS/TRCSR/Ex1_Luc04b_Z.trs