U101
tt
V2
U102
isLNat
V2
U102
tt
tt
U11
tt
N
XS
U12
isLNat
XS
N
XS
U111
tt
tt
U12
tt
N
XS
snd
splitAt
N
XS
U121
tt
tt
U131
tt
V2
U132
isLNat
V2
U132
tt
tt
U141
tt
V2
U142
isLNat
V2
U142
tt
tt
U151
tt
V2
U152
isLNat
V2
U152
tt
tt
U161
tt
N
cons
N
natsFrom
s
N
U171
tt
N
XS
U172
isLNat
XS
N
XS
U172
tt
N
XS
head
afterNth
N
XS
U181
tt
Y
U182
isLNat
Y
Y
U182
tt
Y
Y
U191
tt
XS
pair
nil
XS
U201
tt
N
X
XS
U202
isNatural
X
N
X
XS
U202
tt
N
X
XS
U203
isLNat
XS
N
X
XS
U203
tt
N
X
XS
U204
splitAt
N
XS
X
U204
pair
YS
ZS
X
pair
cons
X
YS
ZS
U21
tt
X
Y
U22
isLNat
Y
X
U211
tt
XS
U212
isLNat
XS
XS
U212
tt
XS
XS
U22
tt
X
X
U221
tt
N
XS
U222
isLNat
XS
N
XS
U222
tt
N
XS
fst
splitAt
N
XS
U31
tt
N
XS
U32
isLNat
XS
N
U32
tt
N
N
U41
tt
V2
U42
isLNat
V2
U42
tt
tt
U51
tt
V2
U52
isLNat
V2
U52
tt
tt
U61
tt
tt
U71
tt
tt
U81
tt
tt
U91
tt
tt
afterNth
N
XS
U11
isNatural
N
N
XS
fst
pair
X
Y
U21
isLNat
X
X
Y
head
cons
N
XS
U31
isNatural
N
N
XS
isLNat
nil
tt
isLNat
afterNth
V1
V2
U41
isNatural
V1
V2
isLNat
cons
V1
V2
U51
isNatural
V1
V2
isLNat
fst
V1
U61
isPLNat
V1
isLNat
natsFrom
V1
U71
isNatural
V1
isLNat
snd
V1
U81
isPLNat
V1
isLNat
tail
V1
U91
isLNat
V1
isLNat
take
V1
V2
U101
isNatural
V1
V2
isNatural
0
tt
isNatural
head
V1
U111
isLNat
V1
isNatural
s
V1
U121
isNatural
V1
isNatural
sel
V1
V2
U131
isNatural
V1
V2
isPLNat
pair
V1
V2
U141
isLNat
V1
V2
isPLNat
splitAt
V1
V2
U151
isNatural
V1
V2
natsFrom
N
U161
isNatural
N
N
sel
N
XS
U171
isNatural
N
N
XS
snd
pair
X
Y
U181
isLNat
X
Y
splitAt
0
XS
U191
isLNat
XS
XS
splitAt
s
N
cons
X
XS
U201
isNatural
N
N
X
XS
tail
cons
N
XS
U211
isNatural
N
XS
take
N
XS
U221
isNatural
N
N
XS
U101
2
1
tt
0
U102
1
1
isLNat
1
U11
3
1
U12
3
1
U111
1
1
snd
1
1
splitAt
2
1
2
U121
1
1
U131
2
1
U132
1
1
U141
2
1
U142
1
1
U151
2
1
U152
1
1
U161
2
1
cons
2
1
natsFrom
1
1
s
1
1
U171
3
1
U172
3
1
head
1
1
afterNth
2
1
2
U181
2
1
U182
2
1
U191
2
1
pair
2
1
2
nil
0
U201
4
1
U202
4
1
isNatural
1
U203
4
1
U204
2
1
U21
3
1
U22
2
1
U211
2
1
U212
2
1
U221
3
1
U222
3
1
fst
1
1
U31
3
1
U32
2
1
U41
2
1
U42
1
1
U51
2
1
U52
1
1
U61
1
1
U71
1
1
U81
1
1
U91
1
1
isPLNat
1
tail
1
1
take
2
1
2
0
0
sel
2
1
2
FULL
./TRS/CSR_Maude/PEPM04/LISTUTILITIES_nokinds-noand.trs