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