active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
fst
pair
XS
YS
mark
XS
active
snd
pair
XS
YS
mark
YS
active
splitAt
0
XS
mark
pair
nil
XS
active
splitAt
s
N
cons
X
XS
mark
u
splitAt
N
XS
N
X
XS
active
u
pair
YS
ZS
N
X
XS
mark
pair
cons
X
YS
ZS
active
head
cons
N
XS
mark
N
active
tail
cons
N
XS
mark
XS
active
sel
N
XS
mark
head
afterNth
N
XS
active
take
N
XS
mark
fst
splitAt
N
XS
active
afterNth
N
XS
mark
snd
splitAt
N
XS
mark
natsFrom
X
active
natsFrom
mark
X
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
s
X
active
s
mark
X
mark
fst
X
active
fst
mark
X
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
snd
X
active
snd
mark
X
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
0
active
0
mark
nil
active
nil
mark
u
X1
X2
X3
X4
active
u
mark
X1
X2
X3
X4
mark
head
X
active
head
mark
X
mark
tail
X
active
tail
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
take
X1
X2
active
take
mark
X1
mark
X2
natsFrom
mark
X
natsFrom
X
natsFrom
active
X
natsFrom
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
s
mark
X
s
X
s
active
X
s
X
fst
mark
X
fst
X
fst
active
X
fst
X
pair
mark
X1
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
mark
X1
X2
splitAt
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
splitAt
X1
active
X2
splitAt
X1
X2
u
mark
X1
X2
X3
X4
u
X1
X2
X3
X4
u
X1
mark
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
mark
X3
X4
u
X1
X2
X3
X4
u
X1
X2
X3
mark
X4
u
X1
X2
X3
X4
u
active
X1
X2
X3
X4
u
X1
X2
X3
X4
u
X1
active
X2
X3
X4
u
X1
X2
X3
X4
u
X1
X2
active
X3
X4
u
X1
X2
X3
X4
u
X1
X2
X3
active
X4
u
X1
X2
X3
X4
head
mark
X
head
X
head
active
X
head
X
tail
mark
X
tail
X
tail
active
X
tail
X
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
afterNth
mark
X1
X2
afterNth
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
afterNth
active
X1
X2
afterNth
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
take
mark
X1
X2
take
X1
X2
take
X1
mark
X2
take
X1
X2
take
active
X1
X2
take
X1
X2
take
X1
active
X2
take
X1
X2
active
1
natsFrom
1
mark
1
cons
2
s
1
fst
1
pair
2
snd
1
splitAt
2
0
0
nil
0
u
4
head
1
tail
1
sel
2
afterNth
2
take
2
FULL
./TRS/TRCSR/ExSec4_2_DLMMU04_iGM.trs