U12
tt
snd
splitAt
N
XS
U22
tt
X
U32
tt
N
U42
tt
head
afterNth
N
XS
U52
tt
Y
U63
tt
U64
splitAt
N
XS
U64
pair
YS
ZS
pair
cons
X
ZS
U72
tt
XS
U82
tt
fst
splitAt
N
XS
U11
tt
U12
tt
U21
tt
U22
tt
U31
tt
U32
tt
U41
tt
U42
tt
U51
tt
U52
tt
U61
tt
U62
tt
U62
tt
U63
tt
U71
tt
U72
tt
U81
tt
U82
tt
afterNth
N
XS
U11
tt
fst
pair
X
Y
U21
tt
head
cons
N
U31
tt
natsFrom
N
cons
N
sel
N
XS
U41
tt
snd
pair
X
Y
U51
tt
splitAt
0
XS
pair
nil
XS
splitAt
s
N
cons
X
U61
tt
tail
cons
N
U71
tt
take
N
XS
U81
tt
U12
1
tt
0
snd
1
splitAt
2
U22
1
U32
1
U42
1
head
1
afterNth
2
U52
1
U63
1
U64
1
pair
2
cons
1
U72
1
U82
1
fst
1
U11
1
U21
1
U31
1
U41
1
U51
1
U61
1
U62
1
U71
1
U81
1
natsFrom
1
sel
2
0
0
nil
0
s
1
tail
1
take
2
INNERMOST
./TRS/TRCSR/LISTUTILITIES_nosorts-noand_L.trs