U11
tt
U12
splitAt
N
XS
U12
pair
YS
ZS
pair
cons
X
ZS
and
tt
X
tail
cons
N
XS
afterNth
N
XS
snd
splitAt
N
XS
fst
pair
X
Y
X
head
cons
N
N
natsFrom
N
cons
N
sel
N
XS
head
afterNth
N
XS
snd
pair
X
Y
Y
splitAt
0
XS
pair
nil
XS
splitAt
s
N
cons
X
U11
tt
take
N
XS
fst
splitAt
N
XS
U11
1
tt
0
U12
1
splitAt
2
pair
2
cons
1
and
1
tail
1
afterNth
2
snd
1
fst
1
head
1
natsFrom
1
sel
2
0
0
nil
0
s
1
take
2
INNERMOST
./TRS/TRCSR/LISTUTILITIES_nosorts_L.trs