active
U11
tt
N
X
XS
mark
U12
splitAt
N
XS
X
active
U12
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
active
afterNth
N
XS
mark
snd
splitAt
N
XS
active
and
tt
X
mark
X
active
fst
pair
X
Y
mark
X
active
head
cons
N
XS
mark
N
active
natsFrom
N
mark
cons
N
natsFrom
s
N
active
sel
N
XS
mark
head
afterNth
N
XS
active
snd
pair
X
Y
mark
Y
active
splitAt
0
XS
mark
pair
nil
XS
active
splitAt
s
N
cons
X
XS
mark
U11
tt
N
X
XS
active
tail
cons
N
XS
mark
XS
active
take
N
XS
mark
fst
splitAt
N
XS
mark
U11
X1
X2
X3
X4
active
U11
mark
X1
X2
X3
X4
mark
tt
active
tt
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
snd
X
active
snd
mark
X
mark
and
X1
X2
active
and
mark
X1
X2
mark
fst
X
active
fst
mark
X
mark
head
X
active
head
mark
X
mark
natsFrom
X
active
natsFrom
mark
X
mark
s
X
active
s
mark
X
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
mark
0
active
0
mark
nil
active
nil
mark
tail
X
active
tail
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
U11
mark
X1
X2
X3
X4
U11
X1
X2
X3
X4
U11
X1
mark
X2
X3
X4
U11
X1
X2
X3
X4
U11
X1
X2
mark
X3
X4
U11
X1
X2
X3
X4
U11
X1
X2
X3
mark
X4
U11
X1
X2
X3
X4
U11
active
X1
X2
X3
X4
U11
X1
X2
X3
X4
U11
X1
active
X2
X3
X4
U11
X1
X2
X3
X4
U11
X1
X2
active
X3
X4
U11
X1
X2
X3
X4
U11
X1
X2
X3
active
X4
U11
X1
X2
X3
X4
U12
mark
X1
X2
U12
X1
X2
U12
X1
mark
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
U12
X1
active
X2
U12
X1
X2
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
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
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
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
snd
mark
X
snd
X
snd
active
X
snd
X
and
mark
X1
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
fst
mark
X
fst
X
fst
active
X
fst
X
head
mark
X
head
X
head
active
X
head
X
natsFrom
mark
X
natsFrom
X
natsFrom
active
X
natsFrom
X
s
mark
X
s
X
s
active
X
s
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
tail
mark
X
tail
X
tail
active
X
tail
X
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
U11
4
tt
0
mark
1
U12
2
splitAt
2
pair
2
cons
2
afterNth
2
snd
1
and
2
fst
1
head
1
natsFrom
1
s
1
sel
2
0
0
nil
0
tail
1
take
2
INNERMOST
./TRS/TRCSR/LISTUTILITIES_nosorts_iGM.trs