natsFrom
N
cons
N
n__natsFrom
s
N
fst
pair
XS
YS
XS
snd
pair
XS
YS
YS
splitAt
0
XS
pair
nil
XS
splitAt
s
N
cons
X
XS
u
splitAt
N
activate
XS
N
X
activate
XS
u
pair
YS
ZS
N
X
XS
pair
cons
activate
X
YS
ZS
head
cons
N
XS
N
tail
cons
N
XS
activate
XS
sel
N
XS
head
afterNth
N
XS
take
N
XS
fst
splitAt
N
XS
afterNth
N
XS
snd
splitAt
N
XS
natsFrom
X
n__natsFrom
X
activate
n__natsFrom
X
natsFrom
X
activate
X
X
natsFrom
1
cons
2
n__natsFrom
1
s
1
fst
1
pair
2
snd
1
splitAt
2
0
0
nil
0
u
4
activate
1
head
1
tail
1
sel
2
afterNth
2
take
2
INNERMOST
./TRS/TRCSR/ExSec4_2_DLMMU04_Z.trs