U14
tt
snd
splitAt
N
XS
U24
tt
X
U282
tt
cons
N
U294
tt
head
afterNth
N
XS
U304
tt
Y
U312
tt
pair
nil
XS
U326
tt
U327
splitAt
N
XS
U327
pair
YS
ZS
pair
cons
X
ZS
U334
tt
XS
U34
tt
N
U344
tt
fst
splitAt
N
XS
U101
tt
U102
isNaturalKind
U102
tt
U103
isLNatKind
U103
tt
U104
isLNatKind
U104
tt
U105
isNatural
U105
tt
U106
isLNat
U106
tt
tt
U11
tt
U12
isNaturalKind
U111
tt
U112
isLNatKind
U112
tt
tt
U12
tt
U13
isLNat
U121
tt
U122
isLNatKind
U122
tt
tt
U13
tt
U14
isLNatKind
U131
tt
tt
U141
tt
tt
U151
tt
tt
U161
tt
tt
U171
tt
U172
isLNatKind
U172
tt
tt
U181
tt
U182
isLNatKind
U182
tt
U183
isLNat
U183
tt
tt
U191
tt
U192
isNaturalKind
U192
tt
U193
isNatural
U193
tt
tt
U201
tt
U202
isNaturalKind
U202
tt
U203
isLNatKind
U203
tt
U204
isLNatKind
U204
tt
U205
isNatural
U205
tt
U206
isLNat
U206
tt
tt
U21
tt
U22
isLNatKind
U211
tt
tt
U22
tt
U23
isLNat
U221
tt
tt
U23
tt
U24
isLNatKind
U231
tt
U232
isLNatKind
U232
tt
tt
U241
tt
U242
isLNatKind
U242
tt
U243
isLNatKind
U243
tt
U244
isLNatKind
U244
tt
U245
isLNat
U245
tt
U246
isLNat
U246
tt
tt
U251
tt
U252
isNaturalKind
U252
tt
U253
isLNatKind
U253
tt
U254
isLNatKind
U254
tt
U255
isNatural
U255
tt
U256
isLNat
U256
tt
tt
U261
tt
U262
isLNatKind
U262
tt
tt
U271
tt
U272
isLNatKind
U272
tt
tt
U281
tt
U282
isNaturalKind
U291
tt
U292
isNaturalKind
U292
tt
U293
isLNat
U293
tt
U294
isLNatKind
U301
tt
U302
isLNatKind
U302
tt
U303
isLNat
U303
tt
U304
isLNatKind
U31
tt
U32
isNaturalKind
U311
tt
U312
isLNatKind
U32
tt
U33
isLNat
U321
tt
U322
isNaturalKind
U322
tt
U323
isNatural
U323
tt
U324
isNaturalKind
U324
tt
U325
isLNat
U325
tt
U326
isLNatKind
U33
tt
U34
isLNatKind
U331
tt
U332
isNaturalKind
U332
tt
U333
isLNat
U333
tt
U334
isLNatKind
U341
tt
U342
isNaturalKind
U342
tt
U343
isLNat
U343
tt
U344
isLNatKind
U41
tt
U42
isNaturalKind
U42
tt
U43
isLNatKind
U43
tt
U44
isLNatKind
U44
tt
U45
isNatural
U45
tt
U46
isLNat
U46
tt
tt
U51
tt
U52
isNaturalKind
U52
tt
U53
isLNatKind
U53
tt
U54
isLNatKind
U54
tt
U55
isNatural
U55
tt
U56
isLNat
U56
tt
tt
U61
tt
U62
isPLNatKind
U62
tt
U63
isPLNat
U63
tt
tt
U71
tt
U72
isNaturalKind
U72
tt
U73
isNatural
U73
tt
tt
U81
tt
U82
isPLNatKind
U82
tt
U83
isPLNat
U83
tt
tt
U91
tt
U92
isLNatKind
U92
tt
U93
isLNat
U93
tt
tt
afterNth
N
XS
U11
isNatural
fst
pair
X
Y
U21
isLNat
head
cons
N
U31
isNatural
isLNat
tt
isLNat
U41
isNaturalKind
isLNat
U51
isNaturalKind
isLNat
U61
isPLNatKind
isLNat
U71
isNaturalKind
isLNat
U81
isPLNatKind
isLNat
U91
isLNatKind
isLNat
U101
isNaturalKind
isLNatKind
tt
isLNatKind
U111
isNaturalKind
isLNatKind
U121
isNaturalKind
isLNatKind
U131
isPLNatKind
isLNatKind
U141
isNaturalKind
isLNatKind
U151
isPLNatKind
isLNatKind
U161
isLNatKind
isLNatKind
U171
isNaturalKind
isNatural
tt
isNatural
U181
isLNatKind
isNatural
U191
isNaturalKind
isNatural
U201
isNaturalKind
isNaturalKind
tt
isNaturalKind
U211
isLNatKind
isNaturalKind
U221
isNaturalKind
isNaturalKind
U231
isNaturalKind
isPLNat
U241
isLNatKind
isPLNat
U251
isNaturalKind
isPLNatKind
U261
isLNatKind
isPLNatKind
U271
isNaturalKind
natsFrom
N
U281
isNatural
sel
N
XS
U291
isNatural
snd
pair
X
Y
U301
isLNat
splitAt
0
XS
U311
isLNat
splitAt
s
N
cons
X
U321
isNatural
tail
cons
N
U331
isNatural
take
N
XS
U341
isNatural
U14
1
tt
0
snd
1
splitAt
2
U24
1
U282
1
cons
1
U294
1
head
1
afterNth
2
U304
1
U312
1
pair
2
nil
0
U326
1
U327
1
U334
1
U34
1
U344
1
fst
1
U101
1
U102
1
isNaturalKind
0
U103
1
isLNatKind
0
U104
1
U105
1
isNatural
0
U106
1
isLNat
0
U11
1
U12
1
U111
1
U112
1
U13
1
U121
1
U122
1
U131
1
U141
1
U151
1
U161
1
U171
1
U172
1
U181
1
U182
1
U183
1
U191
1
U192
1
U193
1
U201
1
U202
1
U203
1
U204
1
U205
1
U206
1
U21
1
U22
1
U211
1
U23
1
U221
1
U231
1
U232
1
U241
1
U242
1
U243
1
U244
1
U245
1
U246
1
U251
1
U252
1
U253
1
U254
1
U255
1
U256
1
U261
1
U262
1
U271
1
U272
1
U281
1
U291
1
U292
1
U293
1
U301
1
U302
1
U303
1
U31
1
U32
1
U311
1
U33
1
U321
1
U322
1
U323
1
U324
1
U325
1
U331
1
U332
1
U333
1
U341
1
U342
1
U343
1
U41
1
U42
1
U43
1
U44
1
U45
1
U46
1
U51
1
U52
1
U53
1
U54
1
U55
1
U56
1
U61
1
U62
1
isPLNatKind
0
U63
1
isPLNat
0
U71
1
U72
1
U73
1
U81
1
U82
1
U83
1
U91
1
U92
1
U93
1
natsFrom
1
sel
2
0
0
s
1
tail
1
take
2
FULL
./TRS/TRCSR/LISTUTILITIES_complete-noand_L.trs