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