U101
tt
fst
splitAt
N
XS
U11
tt
snd
splitAt
N
XS
U21
tt
X
U31
tt
N
U41
tt
cons
N
U51
tt
head
afterNth
N
XS
U61
tt
Y
U71
tt
pair
nil
XS
U81
tt
U82
splitAt
N
XS
U82
pair
YS
ZS
pair
cons
X
ZS
U91
tt
XS
and
tt
X
afterNth
N
XS
U11
and
isNatural
fst
pair
X
Y
U21
and
isLNat
head
cons
N
U31
and
isNatural
isLNat
tt
isLNat
and
isNatural
isLNat
isPLNat
isLNat
isNatural
isLNat
isLNat
isNatural
tt
isNatural
isLNat
isNatural
isNatural
isNatural
and
isNatural
isPLNat
and
isLNat
isPLNat
and
isNatural
natsFrom
N
U41
isNatural
sel
N
XS
U51
and
isNatural
snd
pair
X
Y
U61
and
isLNat
splitAt
0
XS
U71
isLNat
splitAt
s
N
cons
X
U81
and
isNatural
tail
cons
N
U91
and
isNatural
take
N
XS
U101
and
isNatural
U101
1
tt
0
fst
1
splitAt
2
U11
1
snd
1
U21
1
U31
1
U41
1
cons
1
U51
1
head
1
afterNth
2
U61
1
U71
1
pair
2
nil
0
U81
1
U82
1
U91
1
and
1
isNatural
0
isLNat
0
isPLNat
0
natsFrom
1
sel
2
0
0
s
1
tail
1
take
2
FULL
./TRS/TRCSR/LISTUTILITIES_nokinds_L.trs