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