a__natsFrom
N
cons
mark
N
natsFrom
s
N
a__fst
pair
XS
YS
mark
XS
a__snd
pair
XS
YS
mark
YS
a__splitAt
0
XS
pair
nil
mark
XS
a__splitAt
s
N
cons
X
XS
a__u
a__splitAt
mark
N
mark
XS
N
X
XS
a__u
pair
YS
ZS
N
X
XS
pair
cons
mark
X
YS
mark
ZS
a__head
cons
N
XS
mark
N
a__tail
cons
N
XS
mark
XS
a__sel
N
XS
a__head
a__afterNth
mark
N
mark
XS
a__take
N
XS
a__fst
a__splitAt
mark
N
mark
XS
a__afterNth
N
XS
a__snd
a__splitAt
mark
N
mark
XS
mark
natsFrom
X
a__natsFrom
mark
X
mark
fst
X
a__fst
mark
X
mark
snd
X
a__snd
mark
X
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
mark
u
X1
X2
X3
X4
a__u
mark
X1
X2
X3
X4
mark
head
X
a__head
mark
X
mark
tail
X
a__tail
mark
X
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
cons
X1
X2
cons
mark
X1
X2
mark
s
X
s
mark
X
mark
pair
X1
X2
pair
mark
X1
mark
X2
mark
0
0
mark
nil
nil
a__natsFrom
X
natsFrom
X
a__fst
X
fst
X
a__snd
X
snd
X
a__splitAt
X1
X2
splitAt
X1
X2
a__u
X1
X2
X3
X4
u
X1
X2
X3
X4
a__head
X
head
X
a__tail
X
tail
X
a__sel
X1
X2
sel
X1
X2
a__afterNth
X1
X2
afterNth
X1
X2
a__take
X1
X2
take
X1
X2
a__natsFrom
1
cons
2
mark
1
natsFrom
1
s
1
a__fst
1
pair
2
a__snd
1
a__splitAt
2
0
0
nil
0
a__u
4
a__head
1
a__tail
1
a__sel
2
a__afterNth
2
a__take
2
fst
1
snd
1
splitAt
2
u
4
head
1
tail
1
sel
2
afterNth
2
take
2
INNERMOST
./TRS/TRCSR/inn/ExSec4_2_DLMMU04_GM.trs