a__U101
tt
V1
V2
a__U102
a__isNaturalKind
V1
V1
V2
a__U102
tt
V1
V2
a__U103
a__isLNatKind
V2
V1
V2
a__U103
tt
V1
V2
a__U104
a__isLNatKind
V2
V1
V2
a__U104
tt
V1
V2
a__U105
a__isNatural
V1
V2
a__U105
tt
V2
a__U106
a__isLNat
V2
a__U106
tt
tt
a__U11
tt
N
XS
a__U12
a__isNaturalKind
N
N
XS
a__U111
tt
V2
a__U112
a__isLNatKind
V2
a__U112
tt
tt
a__U12
tt
N
XS
a__U13
a__isLNat
XS
N
XS
a__U121
tt
V2
a__U122
a__isLNatKind
V2
a__U122
tt
tt
a__U13
tt
N
XS
a__U14
a__isLNatKind
XS
N
XS
a__U131
tt
tt
a__U14
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
a__U141
tt
tt
a__U151
tt
tt
a__U161
tt
tt
a__U171
tt
V2
a__U172
a__isLNatKind
V2
a__U172
tt
tt
a__U181
tt
V1
a__U182
a__isLNatKind
V1
V1
a__U182
tt
V1
a__U183
a__isLNat
V1
a__U183
tt
tt
a__U191
tt
V1
a__U192
a__isNaturalKind
V1
V1
a__U192
tt
V1
a__U193
a__isNatural
V1
a__U193
tt
tt
a__U201
tt
V1
V2
a__U202
a__isNaturalKind
V1
V1
V2
a__U202
tt
V1
V2
a__U203
a__isLNatKind
V2
V1
V2
a__U203
tt
V1
V2
a__U204
a__isLNatKind
V2
V1
V2
a__U204
tt
V1
V2
a__U205
a__isNatural
V1
V2
a__U205
tt
V2
a__U206
a__isLNat
V2
a__U206
tt
tt
a__U21
tt
X
Y
a__U22
a__isLNatKind
X
X
Y
a__U211
tt
tt
a__U22
tt
X
Y
a__U23
a__isLNat
Y
X
Y
a__U221
tt
tt
a__U23
tt
X
Y
a__U24
a__isLNatKind
Y
X
a__U231
tt
V2
a__U232
a__isLNatKind
V2
a__U232
tt
tt
a__U24
tt
X
mark
X
a__U241
tt
V1
V2
a__U242
a__isLNatKind
V1
V1
V2
a__U242
tt
V1
V2
a__U243
a__isLNatKind
V2
V1
V2
a__U243
tt
V1
V2
a__U244
a__isLNatKind
V2
V1
V2
a__U244
tt
V1
V2
a__U245
a__isLNat
V1
V2
a__U245
tt
V2
a__U246
a__isLNat
V2
a__U246
tt
tt
a__U251
tt
V1
V2
a__U252
a__isNaturalKind
V1
V1
V2
a__U252
tt
V1
V2
a__U253
a__isLNatKind
V2
V1
V2
a__U253
tt
V1
V2
a__U254
a__isLNatKind
V2
V1
V2
a__U254
tt
V1
V2
a__U255
a__isNatural
V1
V2
a__U255
tt
V2
a__U256
a__isLNat
V2
a__U256
tt
tt
a__U261
tt
V2
a__U262
a__isLNatKind
V2
a__U262
tt
tt
a__U271
tt
V2
a__U272
a__isLNatKind
V2
a__U272
tt
tt
a__U281
tt
N
a__U282
a__isNaturalKind
N
N
a__U282
tt
N
cons
mark
N
natsFrom
s
N
a__U291
tt
N
XS
a__U292
a__isNaturalKind
N
N
XS
a__U292
tt
N
XS
a__U293
a__isLNat
XS
N
XS
a__U293
tt
N
XS
a__U294
a__isLNatKind
XS
N
XS
a__U294
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
a__U301
tt
X
Y
a__U302
a__isLNatKind
X
Y
a__U302
tt
Y
a__U303
a__isLNat
Y
Y
a__U303
tt
Y
a__U304
a__isLNatKind
Y
Y
a__U304
tt
Y
mark
Y
a__U31
tt
N
XS
a__U32
a__isNaturalKind
N
N
XS
a__U311
tt
XS
a__U312
a__isLNatKind
XS
XS
a__U312
tt
XS
pair
nil
mark
XS
a__U32
tt
N
XS
a__U33
a__isLNat
XS
N
XS
a__U321
tt
N
X
XS
a__U322
a__isNaturalKind
N
N
X
XS
a__U322
tt
N
X
XS
a__U323
a__isNatural
X
N
X
XS
a__U323
tt
N
X
XS
a__U324
a__isNaturalKind
X
N
X
XS
a__U324
tt
N
X
XS
a__U325
a__isLNat
XS
N
X
XS
a__U325
tt
N
X
XS
a__U326
a__isLNatKind
XS
N
X
XS
a__U326
tt
N
X
XS
a__U327
a__splitAt
mark
N
mark
XS
X
a__U327
pair
YS
ZS
X
pair
cons
mark
X
YS
mark
ZS
a__U33
tt
N
XS
a__U34
a__isLNatKind
XS
N
a__U331
tt
N
XS
a__U332
a__isNaturalKind
N
XS
a__U332
tt
XS
a__U333
a__isLNat
XS
XS
a__U333
tt
XS
a__U334
a__isLNatKind
XS
XS
a__U334
tt
XS
mark
XS
a__U34
tt
N
mark
N
a__U341
tt
N
XS
a__U342
a__isNaturalKind
N
N
XS
a__U342
tt
N
XS
a__U343
a__isLNat
XS
N
XS
a__U343
tt
N
XS
a__U344
a__isLNatKind
XS
N
XS
a__U344
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
a__U41
tt
V1
V2
a__U42
a__isNaturalKind
V1
V1
V2
a__U42
tt
V1
V2
a__U43
a__isLNatKind
V2
V1
V2
a__U43
tt
V1
V2
a__U44
a__isLNatKind
V2
V1
V2
a__U44
tt
V1
V2
a__U45
a__isNatural
V1
V2
a__U45
tt
V2
a__U46
a__isLNat
V2
a__U46
tt
tt
a__U51
tt
V1
V2
a__U52
a__isNaturalKind
V1
V1
V2
a__U52
tt
V1
V2
a__U53
a__isLNatKind
V2
V1
V2
a__U53
tt
V1
V2
a__U54
a__isLNatKind
V2
V1
V2
a__U54
tt
V1
V2
a__U55
a__isNatural
V1
V2
a__U55
tt
V2
a__U56
a__isLNat
V2
a__U56
tt
tt
a__U61
tt
V1
a__U62
a__isPLNatKind
V1
V1
a__U62
tt
V1
a__U63
a__isPLNat
V1
a__U63
tt
tt
a__U71
tt
V1
a__U72
a__isNaturalKind
V1
V1
a__U72
tt
V1
a__U73
a__isNatural
V1
a__U73
tt
tt
a__U81
tt
V1
a__U82
a__isPLNatKind
V1
V1
a__U82
tt
V1
a__U83
a__isPLNat
V1
a__U83
tt
tt
a__U91
tt
V1
a__U92
a__isLNatKind
V1
V1
a__U92
tt
V1
a__U93
a__isLNat
V1
a__U93
tt
tt
a__afterNth
N
XS
a__U11
a__isNatural
N
N
XS
a__fst
pair
X
Y
a__U21
a__isLNat
X
X
Y
a__head
cons
N
XS
a__U31
a__isNatural
N
N
XS
a__isLNat
nil
tt
a__isLNat
afterNth
V1
V2
a__U41
a__isNaturalKind
V1
V1
V2
a__isLNat
cons
V1
V2
a__U51
a__isNaturalKind
V1
V1
V2
a__isLNat
fst
V1
a__U61
a__isPLNatKind
V1
V1
a__isLNat
natsFrom
V1
a__U71
a__isNaturalKind
V1
V1
a__isLNat
snd
V1
a__U81
a__isPLNatKind
V1
V1
a__isLNat
tail
V1
a__U91
a__isLNatKind
V1
V1
a__isLNat
take
V1
V2
a__U101
a__isNaturalKind
V1
V1
V2
a__isLNatKind
nil
tt
a__isLNatKind
afterNth
V1
V2
a__U111
a__isNaturalKind
V1
V2
a__isLNatKind
cons
V1
V2
a__U121
a__isNaturalKind
V1
V2
a__isLNatKind
fst
V1
a__U131
a__isPLNatKind
V1
a__isLNatKind
natsFrom
V1
a__U141
a__isNaturalKind
V1
a__isLNatKind
snd
V1
a__U151
a__isPLNatKind
V1
a__isLNatKind
tail
V1
a__U161
a__isLNatKind
V1
a__isLNatKind
take
V1
V2
a__U171
a__isNaturalKind
V1
V2
a__isNatural
0
tt
a__isNatural
head
V1
a__U181
a__isLNatKind
V1
V1
a__isNatural
s
V1
a__U191
a__isNaturalKind
V1
V1
a__isNatural
sel
V1
V2
a__U201
a__isNaturalKind
V1
V1
V2
a__isNaturalKind
0
tt
a__isNaturalKind
head
V1
a__U211
a__isLNatKind
V1
a__isNaturalKind
s
V1
a__U221
a__isNaturalKind
V1
a__isNaturalKind
sel
V1
V2
a__U231
a__isNaturalKind
V1
V2
a__isPLNat
pair
V1
V2
a__U241
a__isLNatKind
V1
V1
V2
a__isPLNat
splitAt
V1
V2
a__U251
a__isNaturalKind
V1
V1
V2
a__isPLNatKind
pair
V1
V2
a__U261
a__isLNatKind
V1
V2
a__isPLNatKind
splitAt
V1
V2
a__U271
a__isNaturalKind
V1
V2
a__natsFrom
N
a__U281
a__isNatural
N
N
a__sel
N
XS
a__U291
a__isNatural
N
N
XS
a__snd
pair
X
Y
a__U301
a__isLNat
X
X
Y
a__splitAt
0
XS
a__U311
a__isLNat
XS
XS
a__splitAt
s
N
cons
X
XS
a__U321
a__isNatural
N
N
X
XS
a__tail
cons
N
XS
a__U331
a__isNatural
N
N
XS
a__take
N
XS
a__U341
a__isNatural
N
N
XS
mark
U101
X1
X2
X3
a__U101
mark
X1
X2
X3
mark
U102
X1
X2
X3
a__U102
mark
X1
X2
X3
mark
isNaturalKind
X
a__isNaturalKind
X
mark
U103
X1
X2
X3
a__U103
mark
X1
X2
X3
mark
isLNatKind
X
a__isLNatKind
X
mark
U104
X1
X2
X3
a__U104
mark
X1
X2
X3
mark
U105
X1
X2
a__U105
mark
X1
X2
mark
isNatural
X
a__isNatural
X
mark
U106
X
a__U106
mark
X
mark
isLNat
X
a__isLNat
X
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
mark
U111
X1
X2
a__U111
mark
X1
X2
mark
U112
X
a__U112
mark
X
mark
U13
X1
X2
X3
a__U13
mark
X1
X2
X3
mark
U121
X1
X2
a__U121
mark
X1
X2
mark
U122
X
a__U122
mark
X
mark
U14
X1
X2
X3
a__U14
mark
X1
X2
X3
mark
U131
X
a__U131
mark
X
mark
snd
X
a__snd
mark
X
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
mark
U141
X
a__U141
mark
X
mark
U151
X
a__U151
mark
X
mark
U161
X
a__U161
mark
X
mark
U171
X1
X2
a__U171
mark
X1
X2
mark
U172
X
a__U172
mark
X
mark
U181
X1
X2
a__U181
mark
X1
X2
mark
U182
X1
X2
a__U182
mark
X1
X2
mark
U183
X
a__U183
mark
X
mark
U191
X1
X2
a__U191
mark
X1
X2
mark
U192
X1
X2
a__U192
mark
X1
X2
mark
U193
X
a__U193
mark
X
mark
U201
X1
X2
X3
a__U201
mark
X1
X2
X3
mark
U202
X1
X2
X3
a__U202
mark
X1
X2
X3
mark
U203
X1
X2
X3
a__U203
mark
X1
X2
X3
mark
U204
X1
X2
X3
a__U204
mark
X1
X2
X3
mark
U205
X1
X2
a__U205
mark
X1
X2
mark
U206
X
a__U206
mark
X
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
mark
U211
X
a__U211
mark
X
mark
U23
X1
X2
X3
a__U23
mark
X1
X2
X3
mark
U221
X
a__U221
mark
X
mark
U24
X1
X2
a__U24
mark
X1
X2
mark
U231
X1
X2
a__U231
mark
X1
X2
mark
U232
X
a__U232
mark
X
mark
U241
X1
X2
X3
a__U241
mark
X1
X2
X3
mark
U242
X1
X2
X3
a__U242
mark
X1
X2
X3
mark
U243
X1
X2
X3
a__U243
mark
X1
X2
X3
mark
U244
X1
X2
X3
a__U244
mark
X1
X2
X3
mark
U245
X1
X2
a__U245
mark
X1
X2
mark
U246
X
a__U246
mark
X
mark
U251
X1
X2
X3
a__U251
mark
X1
X2
X3
mark
U252
X1
X2
X3
a__U252
mark
X1
X2
X3
mark
U253
X1
X2
X3
a__U253
mark
X1
X2
X3
mark
U254
X1
X2
X3
a__U254
mark
X1
X2
X3
mark
U255
X1
X2
a__U255
mark
X1
X2
mark
U256
X
a__U256
mark
X
mark
U261
X1
X2
a__U261
mark
X1
X2
mark
U262
X
a__U262
mark
X
mark
U271
X1
X2
a__U271
mark
X1
X2
mark
U272
X
a__U272
mark
X
mark
U281
X1
X2
a__U281
mark
X1
X2
mark
U282
X1
X2
a__U282
mark
X1
X2
mark
natsFrom
X
a__natsFrom
mark
X
mark
U291
X1
X2
X3
a__U291
mark
X1
X2
X3
mark
U292
X1
X2
X3
a__U292
mark
X1
X2
X3
mark
U293
X1
X2
X3
a__U293
mark
X1
X2
X3
mark
U294
X1
X2
X3
a__U294
mark
X1
X2
X3
mark
head
X
a__head
mark
X
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
mark
U301
X1
X2
X3
a__U301
mark
X1
X2
X3
mark
U302
X1
X2
a__U302
mark
X1
X2
mark
U303
X1
X2
a__U303
mark
X1
X2
mark
U304
X1
X2
a__U304
mark
X1
X2
mark
U31
X1
X2
X3
a__U31
mark
X1
X2
X3
mark
U32
X1
X2
X3
a__U32
mark
X1
X2
X3
mark
U311
X1
X2
a__U311
mark
X1
X2
mark
U312
X1
X2
a__U312
mark
X1
X2
mark
U33
X1
X2
X3
a__U33
mark
X1
X2
X3
mark
U321
X1
X2
X3
X4
a__U321
mark
X1
X2
X3
X4
mark
U322
X1
X2
X3
X4
a__U322
mark
X1
X2
X3
X4
mark
U323
X1
X2
X3
X4
a__U323
mark
X1
X2
X3
X4
mark
U324
X1
X2
X3
X4
a__U324
mark
X1
X2
X3
X4
mark
U325
X1
X2
X3
X4
a__U325
mark
X1
X2
X3
X4
mark
U326
X1
X2
X3
X4
a__U326
mark
X1
X2
X3
X4
mark
U327
X1
X2
a__U327
mark
X1
X2
mark
U34
X1
X2
a__U34
mark
X1
X2
mark
U331
X1
X2
X3
a__U331
mark
X1
X2
X3
mark
U332
X1
X2
a__U332
mark
X1
X2
mark
U333
X1
X2
a__U333
mark
X1
X2
mark
U334
X1
X2
a__U334
mark
X1
X2
mark
U341
X1
X2
X3
a__U341
mark
X1
X2
X3
mark
U342
X1
X2
X3
a__U342
mark
X1
X2
X3
mark
U343
X1
X2
X3
a__U343
mark
X1
X2
X3
mark
U344
X1
X2
X3
a__U344
mark
X1
X2
X3
mark
fst
X
a__fst
mark
X
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
mark
U43
X1
X2
X3
a__U43
mark
X1
X2
X3
mark
U44
X1
X2
X3
a__U44
mark
X1
X2
X3
mark
U45
X1
X2
a__U45
mark
X1
X2
mark
U46
X
a__U46
mark
X
mark
U51
X1
X2
X3
a__U51
mark
X1
X2
X3
mark
U52
X1
X2
X3
a__U52
mark
X1
X2
X3
mark
U53
X1
X2
X3
a__U53
mark
X1
X2
X3
mark
U54
X1
X2
X3
a__U54
mark
X1
X2
X3
mark
U55
X1
X2
a__U55
mark
X1
X2
mark
U56
X
a__U56
mark
X
mark
U61
X1
X2
a__U61
mark
X1
X2
mark
U62
X1
X2
a__U62
mark
X1
X2
mark
isPLNatKind
X
a__isPLNatKind
X
mark
U63
X
a__U63
mark
X
mark
isPLNat
X
a__isPLNat
X
mark
U71
X1
X2
a__U71
mark
X1
X2
mark
U72
X1
X2
a__U72
mark
X1
X2
mark
U73
X
a__U73
mark
X
mark
U81
X1
X2
a__U81
mark
X1
X2
mark
U82
X1
X2
a__U82
mark
X1
X2
mark
U83
X
a__U83
mark
X
mark
U91
X1
X2
a__U91
mark
X1
X2
mark
U92
X1
X2
a__U92
mark
X1
X2
mark
U93
X
a__U93
mark
X
mark
tail
X
a__tail
mark
X
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
tt
tt
mark
cons
X1
X2
cons
mark
X1
X2
mark
s
X
s
mark
X
mark
pair
X1
X2
pair
mark
X1
mark
X2
mark
nil
nil
mark
0
0
a__U101
X1
X2
X3
U101
X1
X2
X3
a__U102
X1
X2
X3
U102
X1
X2
X3
a__isNaturalKind
X
isNaturalKind
X
a__U103
X1
X2
X3
U103
X1
X2
X3
a__isLNatKind
X
isLNatKind
X
a__U104
X1
X2
X3
U104
X1
X2
X3
a__U105
X1
X2
U105
X1
X2
a__isNatural
X
isNatural
X
a__U106
X
U106
X
a__isLNat
X
isLNat
X
a__U11
X1
X2
X3
U11
X1
X2
X3
a__U12
X1
X2
X3
U12
X1
X2
X3
a__U111
X1
X2
U111
X1
X2
a__U112
X
U112
X
a__U13
X1
X2
X3
U13
X1
X2
X3
a__U121
X1
X2
U121
X1
X2
a__U122
X
U122
X
a__U14
X1
X2
X3
U14
X1
X2
X3
a__U131
X
U131
X
a__snd
X
snd
X
a__splitAt
X1
X2
splitAt
X1
X2
a__U141
X
U141
X
a__U151
X
U151
X
a__U161
X
U161
X
a__U171
X1
X2
U171
X1
X2
a__U172
X
U172
X
a__U181
X1
X2
U181
X1
X2
a__U182
X1
X2
U182
X1
X2
a__U183
X
U183
X
a__U191
X1
X2
U191
X1
X2
a__U192
X1
X2
U192
X1
X2
a__U193
X
U193
X
a__U201
X1
X2
X3
U201
X1
X2
X3
a__U202
X1
X2
X3
U202
X1
X2
X3
a__U203
X1
X2
X3
U203
X1
X2
X3
a__U204
X1
X2
X3
U204
X1
X2
X3
a__U205
X1
X2
U205
X1
X2
a__U206
X
U206
X
a__U21
X1
X2
X3
U21
X1
X2
X3
a__U22
X1
X2
X3
U22
X1
X2
X3
a__U211
X
U211
X
a__U23
X1
X2
X3
U23
X1
X2
X3
a__U221
X
U221
X
a__U24
X1
X2
U24
X1
X2
a__U231
X1
X2
U231
X1
X2
a__U232
X
U232
X
a__U241
X1
X2
X3
U241
X1
X2
X3
a__U242
X1
X2
X3
U242
X1
X2
X3
a__U243
X1
X2
X3
U243
X1
X2
X3
a__U244
X1
X2
X3
U244
X1
X2
X3
a__U245
X1
X2
U245
X1
X2
a__U246
X
U246
X
a__U251
X1
X2
X3
U251
X1
X2
X3
a__U252
X1
X2
X3
U252
X1
X2
X3
a__U253
X1
X2
X3
U253
X1
X2
X3
a__U254
X1
X2
X3
U254
X1
X2
X3
a__U255
X1
X2
U255
X1
X2
a__U256
X
U256
X
a__U261
X1
X2
U261
X1
X2
a__U262
X
U262
X
a__U271
X1
X2
U271
X1
X2
a__U272
X
U272
X
a__U281
X1
X2
U281
X1
X2
a__U282
X1
X2
U282
X1
X2
a__natsFrom
X
natsFrom
X
a__U291
X1
X2
X3
U291
X1
X2
X3
a__U292
X1
X2
X3
U292
X1
X2
X3
a__U293
X1
X2
X3
U293
X1
X2
X3
a__U294
X1
X2
X3
U294
X1
X2
X3
a__head
X
head
X
a__afterNth
X1
X2
afterNth
X1
X2
a__U301
X1
X2
X3
U301
X1
X2
X3
a__U302
X1
X2
U302
X1
X2
a__U303
X1
X2
U303
X1
X2
a__U304
X1
X2
U304
X1
X2
a__U31
X1
X2
X3
U31
X1
X2
X3
a__U32
X1
X2
X3
U32
X1
X2
X3
a__U311
X1
X2
U311
X1
X2
a__U312
X1
X2
U312
X1
X2
a__U33
X1
X2
X3
U33
X1
X2
X3
a__U321
X1
X2
X3
X4
U321
X1
X2
X3
X4
a__U322
X1
X2
X3
X4
U322
X1
X2
X3
X4
a__U323
X1
X2
X3
X4
U323
X1
X2
X3
X4
a__U324
X1
X2
X3
X4
U324
X1
X2
X3
X4
a__U325
X1
X2
X3
X4
U325
X1
X2
X3
X4
a__U326
X1
X2
X3
X4
U326
X1
X2
X3
X4
a__U327
X1
X2
U327
X1
X2
a__U34
X1
X2
U34
X1
X2
a__U331
X1
X2
X3
U331
X1
X2
X3
a__U332
X1
X2
U332
X1
X2
a__U333
X1
X2
U333
X1
X2
a__U334
X1
X2
U334
X1
X2
a__U341
X1
X2
X3
U341
X1
X2
X3
a__U342
X1
X2
X3
U342
X1
X2
X3
a__U343
X1
X2
X3
U343
X1
X2
X3
a__U344
X1
X2
X3
U344
X1
X2
X3
a__fst
X
fst
X
a__U41
X1
X2
X3
U41
X1
X2
X3
a__U42
X1
X2
X3
U42
X1
X2
X3
a__U43
X1
X2
X3
U43
X1
X2
X3
a__U44
X1
X2
X3
U44
X1
X2
X3
a__U45
X1
X2
U45
X1
X2
a__U46
X
U46
X
a__U51
X1
X2
X3
U51
X1
X2
X3
a__U52
X1
X2
X3
U52
X1
X2
X3
a__U53
X1
X2
X3
U53
X1
X2
X3
a__U54
X1
X2
X3
U54
X1
X2
X3
a__U55
X1
X2
U55
X1
X2
a__U56
X
U56
X
a__U61
X1
X2
U61
X1
X2
a__U62
X1
X2
U62
X1
X2
a__isPLNatKind
X
isPLNatKind
X
a__U63
X
U63
X
a__isPLNat
X
isPLNat
X
a__U71
X1
X2
U71
X1
X2
a__U72
X1
X2
U72
X1
X2
a__U73
X
U73
X
a__U81
X1
X2
U81
X1
X2
a__U82
X1
X2
U82
X1
X2
a__U83
X
U83
X
a__U91
X1
X2
U91
X1
X2
a__U92
X1
X2
U92
X1
X2
a__U93
X
U93
X
a__tail
X
tail
X
a__take
X1
X2
take
X1
X2
a__sel
X1
X2
sel
X1
X2
2.2
a__U102
tt
V1
V2
a__isLNatKind
V2
a__afterNth
N
XS
a__U11
a__isNatural
N
N
XS
a__head
cons
N
XS
a__isNatural
N
mark
U254
X1
X2
X3
a__U254
mark
X1
X2
X3
a__take
N
XS
a__isNatural
N
a__U294
tt
N
XS
a__afterNth
mark
N
mark
XS
a__U344
tt
N
XS
mark
XS
a__U41
tt
V1
V2
a__U42
a__isNaturalKind
V1
V1
V2
mark
U42
X1
X2
X3
mark
X1
mark
U231
X1
X2
mark
X1
a__U292
tt
N
XS
a__isLNat
XS
mark
U53
X1
X2
X3
mark
X1
mark
U161
X
a__U161
mark
X
mark
U211
X
mark
X
mark
U112
X
a__U112
mark
X
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U73
X
a__U73
mark
X
a__U14
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
mark
take
X1
X2
a__take
mark
X1
mark
X2
a__U302
tt
Y
a__U303
a__isLNat
Y
Y
mark
U122
X
a__U122
mark
X
a__head
cons
N
XS
a__U31
a__isNatural
N
N
XS
a__U21
tt
X
Y
a__isLNatKind
X
mark
U303
X1
X2
mark
X1
mark
U255
X1
X2
mark
X1
a__U33
tt
N
XS
a__U34
a__isLNatKind
XS
N
mark
afterNth
X1
X2
mark
X2
mark
U54
X1
X2
X3
a__U54
mark
X1
X2
X3
a__U104
tt
V1
V2
a__isNatural
V1
mark
U172
X
a__U172
mark
X
a__U23
tt
X
Y
a__isLNatKind
Y
a__isLNat
tail
V1
a__isLNatKind
V1
mark
U141
X
a__U141
mark
X
a__U253
tt
V1
V2
a__isLNatKind
V2
a__U11
tt
N
XS
a__U12
a__isNaturalKind
N
N
XS
a__isLNatKind
take
V1
V2
a__isNaturalKind
V1
mark
U83
X
a__U83
mark
X
mark
U72
X1
X2
mark
X1
mark
U303
X1
X2
a__U303
mark
X1
X2
a__fst
pair
X
Y
a__U21
a__isLNat
X
X
Y
mark
U73
X
mark
X
mark
U105
X1
X2
mark
X1
a__isNaturalKind
sel
V1
V2
a__U231
a__isNaturalKind
V1
V2
a__U61
tt
V1
a__U62
a__isPLNatKind
V1
V1
mark
U324
X1
X2
X3
X4
mark
X1
mark
splitAt
X1
X2
mark
X1
mark
U244
X1
X2
X3
mark
X1
a__splitAt
s
N
cons
X
XS
a__isNatural
N
mark
U112
X
mark
X
mark
U302
X1
X2
mark
X1
mark
U91
X1
X2
mark
X1
mark
U327
X1
X2
mark
X1
mark
U311
X1
X2
a__U311
mark
X1
X2
mark
U244
X1
X2
X3
a__U244
mark
X1
X2
X3
a__U294
tt
N
XS
mark
XS
a__U323
tt
N
X
XS
a__isNaturalKind
X
mark
U131
X
mark
X
a__isLNatKind
fst
V1
a__isPLNatKind
V1
mark
fst
X
mark
X
a__U322
tt
N
X
XS
a__isNatural
X
a__U326
tt
N
X
XS
mark
XS
a__U81
tt
V1
a__isPLNatKind
V1
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__U321
tt
N
X
XS
a__isNaturalKind
N
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
mark
U43
X1
X2
X3
a__U43
mark
X1
X2
X3
a__U254
tt
V1
V2
a__isNatural
V1
a__U292
tt
N
XS
a__U293
a__isLNat
XS
N
XS
a__U54
tt
V1
V2
a__U55
a__isNatural
V1
V2
mark
U256
X
a__U256
mark
X
mark
U24
X1
X2
mark
X1
a__isPLNat
pair
V1
V2
a__isLNatKind
V1
mark
U301
X1
X2
X3
mark
X1
a__isLNatKind
tail
V1
a__U161
a__isLNatKind
V1
a__U91
tt
V1
a__U92
a__isLNatKind
V1
V1
mark
U104
X1
X2
X3
a__U104
mark
X1
X2
X3
a__isPLNat
pair
V1
V2
a__U241
a__isLNatKind
V1
V1
V2
mark
U201
X1
X2
X3
a__U201
mark
X1
X2
X3
a__U326
tt
N
X
XS
a__U327
a__splitAt
mark
N
mark
XS
X
mark
U23
X1
X2
X3
a__U23
mark
X1
X2
X3
a__U12
tt
N
XS
a__isLNat
XS
a__U14
tt
N
XS
mark
N
mark
U32
X1
X2
X3
a__U32
mark
X1
X2
X3
a__isLNatKind
tail
V1
a__isLNatKind
V1
a__U43
tt
V1
V2
a__isLNatKind
V2
mark
U104
X1
X2
X3
mark
X1
a__U14
tt
N
XS
mark
XS
a__U55
tt
V2
a__U56
a__isLNat
V2
mark
U333
X1
X2
mark
X1
mark
U46
X
a__U46
mark
X
mark
U31
X1
X2
X3
a__U31
mark
X1
X2
X3
a__natsFrom
N
a__U281
a__isNatural
N
N
a__isNaturalKind
s
V1
a__U221
a__isNaturalKind
V1
mark
U342
X1
X2
X3
a__U342
mark
X1
X2
X3
a__U13
tt
N
XS
a__isLNatKind
XS
a__U121
tt
V2
a__U122
a__isLNatKind
V2
a__U105
tt
V2
a__U106
a__isLNat
V2
mark
U241
X1
X2
X3
a__U241
mark
X1
X2
X3
mark
head
X
a__head
mark
X
mark
U301
X1
X2
X3
a__U301
mark
X1
X2
X3
a__isLNatKind
afterNth
V1
V2
a__isNaturalKind
V1
a__U342
tt
N
XS
a__U343
a__isLNat
XS
N
XS
a__U171
tt
V2
a__isLNatKind
V2
a__U202
tt
V1
V2
a__U203
a__isLNatKind
V2
V1
V2
a__U121
tt
V2
a__isLNatKind
V2
a__U243
tt
V1
V2
a__isLNatKind
V2
mark
pair
X1
X2
mark
X2
a__U182
tt
V1
a__U183
a__isLNat
V1
a__U42
tt
V1
V2
a__U43
a__isLNatKind
V2
V1
V2
a__isLNat
fst
V1
a__U61
a__isPLNatKind
V1
V1
mark
U192
X1
X2
mark
X1
mark
U45
X1
X2
mark
X1
mark
U253
X1
X2
X3
a__U253
mark
X1
X2
X3
a__U281
tt
N
a__isNaturalKind
N
mark
U23
X1
X2
X3
mark
X1
a__U201
tt
V1
V2
a__isNaturalKind
V1
mark
U231
X1
X2
a__U231
mark
X1
X2
a__isLNatKind
snd
V1
a__isPLNatKind
V1
a__isLNat
afterNth
V1
V2
a__U41
a__isNaturalKind
V1
V1
V2
mark
U271
X1
X2
a__U271
mark
X1
X2
a__U251
tt
V1
V2
a__isNaturalKind
V1
mark
U161
X
mark
X
mark
U262
X
mark
X
a__U23
tt
X
Y
a__U24
a__isLNatKind
Y
X
mark
U92
X1
X2
a__U92
mark
X1
X2
mark
U256
X
mark
X
a__U341
tt
N
XS
a__U342
a__isNaturalKind
N
N
XS
mark
U334
X1
X2
a__U334
mark
X1
X2
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
a__U303
tt
Y
a__U304
a__isLNatKind
Y
Y
a__isLNatKind
natsFrom
V1
a__U141
a__isNaturalKind
V1
a__U192
tt
V1
a__U193
a__isNatural
V1
mark
U292
X1
X2
X3
mark
X1
a__snd
pair
X
Y
a__U301
a__isLNat
X
X
Y
mark
U61
X1
X2
a__U61
mark
X1
X2
a__U255
tt
V2
a__isLNat
V2
mark
U32
X1
X2
X3
mark
X1
mark
U63
X
mark
X
mark
U291
X1
X2
X3
a__U291
mark
X1
X2
X3
mark
U102
X1
X2
X3
a__U102
mark
X1
X2
X3
a__U44
tt
V1
V2
a__isNatural
V1
a__U201
tt
V1
V2
a__U202
a__isNaturalKind
V1
V1
V2
mark
U293
X1
X2
X3
mark
X1
a__U22
tt
X
Y
a__isLNat
Y
a__U111
tt
V2
a__isLNatKind
V2
a__U311
tt
XS
a__U312
a__isLNatKind
XS
XS
mark
U331
X1
X2
X3
a__U331
mark
X1
X2
X3
a__U53
tt
V1
V2
a__U54
a__isLNatKind
V2
V1
V2
a__U104
tt
V1
V2
a__U105
a__isNatural
V1
V2
mark
isPLNat
X
a__isPLNat
X
a__U205
tt
V2
a__isLNat
V2
a__isNaturalKind
sel
V1
V2
a__isNaturalKind
V1
a__isLNat
snd
V1
a__isPLNatKind
V1
mark
U101
X1
X2
X3
a__U101
mark
X1
X2
X3
mark
U191
X1
X2
a__U191
mark
X1
X2
a__U311
tt
XS
a__isLNatKind
XS
mark
natsFrom
X
a__natsFrom
mark
X
mark
U294
X1
X2
X3
mark
X1
mark
U245
X1
X2
a__U245
mark
X1
X2
a__isLNat
fst
V1
a__isPLNatKind
V1
mark
U193
X
mark
X
a__U252
tt
V1
V2
a__U253
a__isLNatKind
V2
V1
V2
mark
U31
X1
X2
X3
mark
X1
mark
U272
X
mark
X
mark
U344
X1
X2
X3
mark
X1
mark
U327
X1
X2
a__U327
mark
X1
X2
mark
isLNatKind
X
a__isLNatKind
X
mark
s
X
mark
X
a__sel
N
XS
a__isNatural
N
mark
U323
X1
X2
X3
X4
a__U323
mark
X1
X2
X3
X4
mark
U181
X1
X2
mark
X1
mark
U281
X1
X2
a__U281
mark
X1
X2
a__U24
tt
X
mark
X
a__U321
tt
N
X
XS
a__U322
a__isNaturalKind
N
N
X
XS
a__isNaturalKind
head
V1
a__U211
a__isLNatKind
V1
a__U342
tt
N
XS
a__isLNat
XS
a__isLNat
natsFrom
V1
a__U71
a__isNaturalKind
V1
V1
a__U242
tt
V1
V2
a__isLNatKind
V2
mark
U343
X1
X2
X3
a__U343
mark
X1
X2
X3
mark
U204
X1
X2
X3
mark
X1
a__U271
tt
V2
a__U272
a__isLNatKind
V2
a__U325
tt
N
X
XS
a__isLNatKind
XS
a__U244
tt
V1
V2
a__isLNat
V1
mark
U121
X1
X2
a__U121
mark
X1
X2
mark
U93
X
mark
X
mark
U81
X1
X2
a__U81
mark
X1
X2
mark
U321
X1
X2
X3
X4
mark
X1
mark
U205
X1
X2
a__U205
mark
X1
X2
a__U302
tt
Y
a__isLNat
Y
mark
U54
X1
X2
X3
mark
X1
a__U53
tt
V1
V2
a__isLNatKind
V2
mark
U63
X
a__U63
mark
X
a__isLNat
cons
V1
V2
a__U51
a__isNaturalKind
V1
V1
V2
a__U245
tt
V2
a__isLNat
V2
mark
U325
X1
X2
X3
X4
mark
X1
mark
U262
X
a__U262
mark
X
mark
U106
X
a__U106
mark
X
a__U22
tt
X
Y
a__U23
a__isLNat
Y
X
Y
a__U52
tt
V1
V2
a__isLNatKind
V2
mark
isNatural
X
a__isNatural
X
a__U281
tt
N
a__U282
a__isNaturalKind
N
N
mark
U326
X1
X2
X3
X4
a__U326
mark
X1
X2
X3
X4
mark
U322
X1
X2
X3
X4
a__U322
mark
X1
X2
X3
X4
mark
U103
X1
X2
X3
mark
X1
a__U14
tt
N
XS
a__splitAt
mark
N
mark
XS
mark
U91
X1
X2
a__U91
mark
X1
X2
mark
U81
X1
X2
mark
X1
mark
U294
X1
X2
X3
a__U294
mark
X1
X2
X3
a__U254
tt
V1
V2
a__U255
a__isNatural
V1
V2
mark
isPLNatKind
X
a__isPLNatKind
X
a__U324
tt
N
X
XS
a__isLNat
XS
mark
U271
X1
X2
mark
X1
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
mark
U53
X1
X2
X3
a__U53
mark
X1
X2
X3
a__U12
tt
N
XS
a__U13
a__isLNat
XS
N
XS
a__U11
tt
N
XS
a__isNaturalKind
N
a__isLNat
afterNth
V1
V2
a__isNaturalKind
V1
a__U34
tt
N
mark
N
mark
U253
X1
X2
X3
mark
X1
mark
U246
X
a__U246
mark
X
a__U231
tt
V2
a__isLNatKind
V2
mark
U172
X
mark
X
a__isNatural
sel
V1
V2
a__isNaturalKind
V1
a__U261
tt
V2
a__U262
a__isLNatKind
V2
a__U52
tt
V1
V2
a__U53
a__isLNatKind
V2
V1
V2
a__isPLNat
splitAt
V1
V2
a__isNaturalKind
V1
a__U192
tt
V1
a__isNatural
V1
a__U344
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
a__U245
tt
V2
a__U246
a__isLNat
V2
a__U332
tt
XS
a__U333
a__isLNat
XS
XS
mark
U83
X
mark
X
a__U323
tt
N
X
XS
a__U324
a__isNaturalKind
X
N
X
XS
a__U54
tt
V1
V2
a__isNatural
V1
a__U71
tt
V1
a__U72
a__isNaturalKind
V1
V1
mark
U323
X1
X2
X3
X4
mark
X1
mark
U71
X1
X2
mark
X1
mark
U302
X1
X2
a__U302
mark
X1
X2
a__U31
tt
N
XS
a__U32
a__isNaturalKind
N
N
XS
mark
U312
X1
X2
a__U312
mark
X1
X2
mark
U206
X
a__U206
mark
X
mark
U344
X1
X2
X3
a__U344
mark
X1
X2
X3
mark
U102
X1
X2
X3
mark
X1
mark
U205
X1
X2
mark
X1
a__U271
tt
V2
a__isLNatKind
V2
a__U332
tt
XS
a__isLNat
XS
a__U61
tt
V1
a__isPLNatKind
V1
a__isPLNatKind
splitAt
V1
V2
a__U271
a__isNaturalKind
V1
V2
mark
U111
X1
X2
a__U111
mark
X1
X2
a__U182
tt
V1
a__isLNat
V1
mark
U51
X1
X2
X3
a__U51
mark
X1
X2
X3
a__sel
N
XS
a__U291
a__isNatural
N
N
XS
mark
U202
X1
X2
X3
a__U202
mark
X1
X2
X3
a__U91
tt
V1
a__isLNatKind
V1
a__isNatural
head
V1
a__U181
a__isLNatKind
V1
V1
a__isLNat
cons
V1
V2
a__isNaturalKind
V1
mark
U332
X1
X2
mark
X1
mark
U14
X1
X2
X3
a__U14
mark
X1
X2
X3
mark
U181
X1
X2
a__U181
mark
X1
X2
a__U324
tt
N
X
XS
a__U325
a__isLNat
XS
N
X
XS
a__U203
tt
V1
V2
a__U204
a__isLNatKind
V2
V1
V2
mark
U292
X1
X2
X3
a__U292
mark
X1
X2
X3
a__isLNatKind
cons
V1
V2
a__isNaturalKind
V1
mark
U246
X
mark
X
mark
U46
X
mark
X
mark
U251
X1
X2
X3
mark
X1
a__isLNat
take
V1
V2
a__isNaturalKind
V1
mark
U122
X
mark
X
mark
U82
X1
X2
mark
X1
mark
U101
X1
X2
X3
mark
X1
a__U42
tt
V1
V2
a__isLNatKind
V2
mark
U331
X1
X2
X3
mark
X1
a__U202
tt
V1
V2
a__isLNatKind
V2
mark
splitAt
X1
X2
mark
X2
a__U81
tt
V1
a__U82
a__isPLNatKind
V1
V1
mark
U304
X1
X2
mark
X1
mark
U281
X1
X2
mark
X1
mark
U14
X1
X2
X3
mark
X1
mark
U121
X1
X2
mark
X1
a__U282
tt
N
mark
N
a__U322
tt
N
X
XS
a__U323
a__isNatural
X
N
X
XS
mark
U221
X
a__U221
mark
X
mark
U62
X1
X2
a__U62
mark
X1
X2
a__U241
tt
V1
V2
a__isLNatKind
V1
mark
U171
X1
X2
a__U171
mark
X1
X2
a__splitAt
s
N
cons
X
XS
a__U321
a__isNatural
N
N
X
XS
mark
U105
X1
X2
a__U105
mark
X1
X2
a__U181
tt
V1
a__U182
a__isLNatKind
V1
V1
mark
U261
X1
X2
mark
X1
a__isNatural
sel
V1
V2
a__U201
a__isNaturalKind
V1
V1
V2
a__U291
tt
N
XS
a__U292
a__isNaturalKind
N
N
XS
a__U243
tt
V1
V2
a__U244
a__isLNatKind
V2
V1
V2
mark
U322
X1
X2
X3
X4
mark
X1
mark
U321
X1
X2
X3
X4
a__U321
mark
X1
X2
X3
X4
mark
U232
X
mark
X
mark
U151
X
mark
X
mark
take
X1
X2
mark
X1
a__U45
tt
V2
a__isLNat
V2
mark
U62
X1
X2
mark
X1
mark
U56
X
mark
X
mark
fst
X
a__fst
mark
X
mark
afterNth
X1
X2
mark
X1
a__take
N
XS
a__U341
a__isNatural
N
N
XS
a__isPLNatKind
pair
V1
V2
a__U261
a__isLNatKind
V1
V2
mark
U12
X1
X2
X3
mark
X1
a__isLNat
snd
V1
a__U81
a__isPLNatKind
V1
V1
a__isLNat
natsFrom
V1
a__isNaturalKind
V1
a__U331
tt
N
XS
a__isNaturalKind
N
mark
U13
X1
X2
X3
a__U13
mark
X1
X2
X3
a__U242
tt
V1
V2
a__U243
a__isLNatKind
V2
V1
V2
mark
U34
X1
X2
mark
X1
a__isLNatKind
natsFrom
V1
a__isNaturalKind
V1
mark
U206
X
mark
X
a__isNatural
head
V1
a__isLNatKind
V1
a__U71
tt
V1
a__isNaturalKind
V1
mark
U324
X1
X2
X3
X4
a__U324
mark
X1
X2
X3
X4
mark
U242
X1
X2
X3
mark
X1
a__U327
pair
YS
ZS
X
mark
ZS
mark
U202
X1
X2
X3
mark
X1
a__isLNatKind
take
V1
V2
a__U171
a__isNaturalKind
V1
V2
a__U204
tt
V1
V2
a__U205
a__isNatural
V1
V2
mark
U282
X1
X2
a__U282
mark
X1
X2
mark
U261
X1
X2
a__U261
mark
X1
X2
a__isNaturalKind
head
V1
a__isLNatKind
V1
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
a__U326
tt
N
X
XS
a__splitAt
mark
N
mark
XS
a__U191
tt
V1
a__isNaturalKind
V1
mark
U183
X
a__U183
mark
X
a__U72
tt
V1
a__isNatural
V1
a__afterNth
N
XS
a__isNatural
N
a__isLNat
tail
V1
a__U91
a__isLNatKind
V1
V1
mark
U221
X
mark
X
mark
snd
X
mark
X
a__U62
tt
V1
a__isPLNat
V1
a__U344
tt
N
XS
a__splitAt
mark
N
mark
XS
a__U21
tt
X
Y
a__U22
a__isLNatKind
X
X
Y
a__U333
tt
XS
a__U334
a__isLNatKind
XS
XS
mark
natsFrom
X
mark
X
mark
U44
X1
X2
X3
a__U44
mark
X1
X2
X3
mark
U243
X1
X2
X3
mark
X1
mark
U92
X1
X2
mark
X1
mark
U171
X1
X2
mark
X1
a__U43
tt
V1
V2
a__U44
a__isLNatKind
V2
V1
V2
a__isLNat
take
V1
V2
a__U101
a__isNaturalKind
V1
V1
V2
a__U82
tt
V1
a__isPLNat
V1
a__splitAt
0
XS
a__isLNat
XS
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
mark
U41
X1
X2
X3
mark
X1
mark
U311
X1
X2
mark
X1
mark
U55
X1
X2
mark
X1
mark
U44
X1
X2
X3
mark
X1
a__U32
tt
N
XS
a__isLNat
XS
a__isPLNatKind
splitAt
V1
V2
a__isNaturalKind
V1
a__U13
tt
N
XS
a__U14
a__isLNatKind
XS
N
XS
mark
U333
X1
X2
a__U333
mark
X1
X2
mark
U141
X
mark
X
a__U312
tt
XS
mark
XS
mark
U241
X1
X2
X3
mark
X1
mark
U111
X1
X2
mark
X1
mark
U103
X1
X2
X3
a__U103
mark
X1
X2
X3
a__U41
tt
V1
V2
a__isNaturalKind
V1
a__U33
tt
N
XS
a__isLNatKind
XS
mark
U291
X1
X2
X3
mark
X1
a__isNatural
s
V1
a__isNaturalKind
V1
mark
U332
X1
X2
a__U332
mark
X1
X2
a__U101
tt
V1
V2
a__isNaturalKind
V1
a__isNaturalKind
s
V1
a__isNaturalKind
V1
mark
U131
X
a__U131
mark
X
mark
U61
X1
X2
mark
X1
mark
cons
X1
X2
mark
X1
a__U326
tt
N
X
XS
mark
N
mark
U182
X1
X2
mark
X1
a__U334
tt
XS
mark
XS
a__U241
tt
V1
V2
a__U242
a__isLNatKind
V1
V1
V2
mark
U33
X1
X2
X3
mark
X1
mark
U341
X1
X2
X3
mark
X1
mark
U272
X
a__U272
mark
X
mark
take
X1
X2
mark
X2
a__U82
tt
V1
a__U83
a__isPLNat
V1
mark
U45
X1
X2
a__U45
mark
X1
X2
a__U92
tt
V1
a__isLNat
V1
mark
U52
X1
X2
X3
a__U52
mark
X1
X2
X3
a__isLNatKind
fst
V1
a__U131
a__isPLNatKind
V1
a__U101
tt
V1
V2
a__U102
a__isNaturalKind
V1
V1
V2
a__U62
tt
V1
a__U63
a__isPLNat
V1
a__isLNatKind
snd
V1
a__U151
a__isPLNatKind
V1
mark
U203
X1
X2
X3
mark
X1
mark
sel
X1
X2
mark
X1
mark
U343
X1
X2
X3
mark
X1
a__U32
tt
N
XS
a__U33
a__isLNat
XS
N
XS
mark
U211
X
a__U211
mark
X
a__tail
cons
N
XS
a__isNatural
N
a__U45
tt
V2
a__U46
a__isLNat
V2
a__U261
tt
V2
a__isLNatKind
V2
mark
U82
X1
X2
a__U82
mark
X1
X2
mark
U312
X1
X2
mark
X1
a__U253
tt
V1
V2
a__U254
a__isLNatKind
V2
V1
V2
a__isNatural
s
V1
a__U191
a__isNaturalKind
V1
V1
a__isPLNat
splitAt
V1
V2
a__U251
a__isNaturalKind
V1
V1
V2
mark
U203
X1
X2
X3
a__U203
mark
X1
X2
X3
mark
U34
X1
X2
a__U34
mark
X1
X2
a__U231
tt
V2
a__U232
a__isLNatKind
V2
mark
U243
X1
X2
X3
a__U243
mark
X1
X2
X3
a__U301
tt
X
Y
a__U302
a__isLNatKind
X
Y
a__fst
pair
X
Y
a__isLNat
X
mark
U183
X
mark
X
a__U171
tt
V2
a__U172
a__isLNatKind
V2
a__tail
cons
N
XS
a__U331
a__isNatural
N
N
XS
a__U294
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
a__U51
tt
V1
V2
a__isNaturalKind
V1
mark
U24
X1
X2
a__U24
mark
X1
X2
mark
U334
X1
X2
mark
X1
a__U205
tt
V2
a__U206
a__isLNat
V2
mark
U325
X1
X2
X3
X4
a__U325
mark
X1
X2
X3
X4
mark
U255
X1
X2
a__U255
mark
X1
X2
a__U31
tt
N
XS
a__isNaturalKind
N
mark
U72
X1
X2
a__U72
mark
X1
X2
mark
head
X
mark
X
mark
U51
X1
X2
X3
mark
X1
mark
U182
X1
X2
a__U182
mark
X1
X2
mark
U282
X1
X2
mark
X1
a__U343
tt
N
XS
a__U344
a__isLNatKind
XS
N
XS
mark
U11
X1
X2
X3
mark
X1
a__U55
tt
V2
a__isLNat
V2
mark
U342
X1
X2
X3
mark
X1
a__U341
tt
N
XS
a__isNaturalKind
N
a__U204
tt
V1
V2
a__isNatural
V1
a__U111
tt
V2
a__U112
a__isLNatKind
V2
a__U252
tt
V1
V2
a__isLNatKind
V2
a__U102
tt
V1
V2
a__U103
a__isLNatKind
V2
V1
V2
a__U301
tt
X
Y
a__isLNatKind
X
mark
U43
X1
X2
X3
mark
X1
a__snd
pair
X
Y
a__isLNat
X
mark
U71
X1
X2
a__U71
mark
X1
X2
a__U92
tt
V1
a__U93
a__isLNat
V1
a__U303
tt
Y
a__isLNatKind
Y
a__U251
tt
V1
V2
a__U252
a__isNaturalKind
V1
V1
V2
a__U333
tt
XS
a__isLNatKind
XS
mark
U93
X
a__U93
mark
X
a__U327
pair
YS
ZS
X
mark
X
a__isLNatKind
afterNth
V1
V2
a__U111
a__isNaturalKind
V1
V2
a__U103
tt
V1
V2
a__U104
a__isLNatKind
V2
V1
V2
a__U344
tt
N
XS
mark
N
mark
U341
X1
X2
X3
a__U341
mark
X1
X2
X3
mark
U245
X1
X2
mark
X1
mark
U204
X1
X2
X3
a__U204
mark
X1
X2
X3
mark
U252
X1
X2
X3
a__U252
mark
X1
X2
X3
mark
U55
X1
X2
a__U55
mark
X1
X2
a__U203
tt
V1
V2
a__isLNatKind
V2
a__U72
tt
V1
a__U73
a__isNatural
V1
a__natsFrom
N
a__isNatural
N
mark
U252
X1
X2
X3
mark
X1
mark
U251
X1
X2
X3
a__U251
mark
X1
X2
X3
mark
U242
X1
X2
X3
a__U242
mark
X1
X2
X3
mark
U193
X
a__U193
mark
X
mark
U13
X1
X2
X3
mark
X1
a__splitAt
0
XS
a__U311
a__isLNat
XS
XS
a__U181
tt
V1
a__isLNatKind
V1
a__U291
tt
N
XS
a__isNaturalKind
N
mark
U56
X
a__U56
mark
X
mark
isLNat
X
a__isLNat
X
mark
pair
X1
X2
mark
X1
mark
U304
X1
X2
a__U304
mark
X1
X2
a__U51
tt
V1
V2
a__U52
a__isNaturalKind
V1
V1
V2
mark
U192
X1
X2
a__U192
mark
X1
X2
a__U331
tt
N
XS
a__U332
a__isNaturalKind
N
XS
mark
U22
X1
X2
X3
mark
X1
a__U304
tt
Y
mark
Y
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
mark
U232
X
a__U232
mark
X
mark
U326
X1
X2
X3
X4
mark
X1
mark
U151
X
a__U151
mark
X
a__U255
tt
V2
a__U256
a__isLNat
V2
mark
U52
X1
X2
X3
mark
X1
mark
U106
X
mark
X
mark
isNaturalKind
X
a__isNaturalKind
X
mark
tail
X
mark
X
a__U293
tt
N
XS
a__U294
a__isLNatKind
XS
N
XS
mark
U21
X1
X2
X3
mark
X1
a__isPLNatKind
pair
V1
V2
a__isLNatKind
V1
mark
U191
X1
X2
mark
X1
mark
U293
X1
X2
X3
a__U293
mark
X1
X2
X3
a__U343
tt
N
XS
a__isLNatKind
XS
mark
tail
X
a__tail
mark
X
mark
U254
X1
X2
X3
mark
X1
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
mark
U201
X1
X2
X3
mark
X1
a__U244
tt
V1
V2
a__U245
a__isLNat
V1
V2
a__U293
tt
N
XS
a__isLNatKind
XS
a__U105
tt
V2
a__isLNat
V2
a__U325
tt
N
X
XS
a__U326
a__isLNatKind
XS
N
X
XS
a__U44
tt
V1
V2
a__U45
a__isNatural
V1
V2
mark
U33
X1
X2
X3
a__U33
mark
X1
X2
X3
mark
sel
X1
X2
mark
X2
a__U103
tt
V1
V2
a__isLNatKind
V2
mark
snd
X
a__snd
mark
X
a__U191
tt
V1
a__U192
a__isNaturalKind
V1
V1
a__isLNatKind
cons
V1
V2
a__U121
a__isNaturalKind
V1
V2
a__U294
tt
N
XS
mark
N
true
a__U294
tt
N
XS
mark
N
mark
sel
X1
X2
mark
X2
mark
snd
X
a__snd
mark
X
mark
U33
X1
X2
X3
a__U33
mark
X1
X2
X3
a__U325
tt
N
X
XS
a__U326
a__isLNatKind
XS
N
X
XS
mark
U201
X1
X2
X3
mark
X1
mark
U254
X1
X2
X3
mark
X1
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
mark
tail
X
a__tail
mark
X
mark
U21
X1
X2
X3
mark
X1
mark
U191
X1
X2
mark
X1
mark
U293
X1
X2
X3
a__U293
mark
X1
X2
X3
mark
tail
X
mark
X
a__U293
tt
N
XS
a__U294
a__isLNatKind
XS
N
XS
mark
U52
X1
X2
X3
mark
X1
mark
U106
X
mark
X
mark
U326
X1
X2
X3
X4
mark
X1
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
a__U304
tt
Y
mark
Y
mark
U22
X1
X2
X3
mark
X1
a__U331
tt
N
XS
a__U332
a__isNaturalKind
N
XS
mark
U304
X1
X2
a__U304
mark
X1
X2
mark
pair
X1
X2
mark
X1
mark
U13
X1
X2
X3
mark
X1
a__splitAt
0
XS
a__U311
a__isLNat
XS
XS
mark
U252
X1
X2
X3
mark
X1
mark
U341
X1
X2
X3
a__U341
mark
X1
X2
X3
mark
U245
X1
X2
mark
X1
a__U344
tt
N
XS
mark
N
a__U327
pair
YS
ZS
X
mark
X
mark
U43
X1
X2
X3
mark
X1
mark
U342
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
mark
X1
mark
U282
X1
X2
mark
X1
a__U343
tt
N
XS
a__U344
a__isLNatKind
XS
N
XS
mark
head
X
mark
X
mark
U51
X1
X2
X3
mark
X1
mark
U334
X1
X2
mark
X1
mark
U325
X1
X2
X3
X4
a__U325
mark
X1
X2
X3
X4
a__tail
cons
N
XS
a__U331
a__isNatural
N
N
XS
a__U294
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
mark
U24
X1
X2
a__U24
mark
X1
X2
mark
U183
X
mark
X
a__U301
tt
X
Y
a__U302
a__isLNatKind
X
Y
mark
U34
X1
X2
a__U34
mark
X1
X2
mark
U312
X1
X2
mark
X1
mark
sel
X1
X2
mark
X1
mark
U343
X1
X2
X3
mark
X1
a__U32
tt
N
XS
a__U33
a__isLNat
XS
N
XS
mark
U203
X1
X2
X3
mark
X1
mark
U341
X1
X2
X3
mark
X1
mark
take
X1
X2
mark
X2
a__U334
tt
XS
mark
XS
mark
U33
X1
X2
X3
mark
X1
mark
U61
X1
X2
mark
X1
mark
cons
X1
X2
mark
X1
a__U326
tt
N
X
XS
mark
N
mark
U182
X1
X2
mark
X1
mark
U332
X1
X2
a__U332
mark
X1
X2
mark
U291
X1
X2
X3
mark
X1
mark
U111
X1
X2
mark
X1
mark
U241
X1
X2
X3
mark
X1
mark
U141
X
mark
X
a__U312
tt
XS
mark
XS
a__U13
tt
N
XS
a__U14
a__isLNatKind
XS
N
XS
mark
U333
X1
X2
a__U333
mark
X1
X2
mark
U44
X1
X2
X3
mark
X1
mark
U41
X1
X2
X3
mark
X1
mark
U311
X1
X2
mark
X1
mark
U55
X1
X2
mark
X1
mark
U92
X1
X2
mark
X1
mark
U171
X1
X2
mark
X1
mark
U243
X1
X2
X3
mark
X1
a__U344
tt
N
XS
a__splitAt
mark
N
mark
XS
a__U21
tt
X
Y
a__U22
a__isLNatKind
X
X
Y
a__U333
tt
XS
a__U334
a__isLNatKind
XS
XS
mark
natsFrom
X
mark
X
mark
U221
X
mark
X
mark
snd
X
mark
X
a__U326
tt
N
X
XS
a__splitAt
mark
N
mark
XS
mark
U282
X1
X2
a__U282
mark
X1
X2
a__U327
pair
YS
ZS
X
mark
ZS
mark
U202
X1
X2
X3
mark
X1
mark
U324
X1
X2
X3
X4
a__U324
mark
X1
X2
X3
X4
mark
U242
X1
X2
X3
mark
X1
mark
U206
X
mark
X
mark
U34
X1
X2
mark
X1
mark
U12
X1
X2
X3
mark
X1
mark
U13
X1
X2
X3
a__U13
mark
X1
X2
X3
mark
U56
X
mark
X
mark
fst
X
a__fst
mark
X
mark
afterNth
X1
X2
mark
X1
a__take
N
XS
a__U341
a__isNatural
N
N
XS
mark
U151
X
mark
X
mark
take
X1
X2
mark
X1
mark
U62
X1
X2
mark
X1
mark
U232
X
mark
X
mark
U322
X1
X2
X3
X4
mark
X1
mark
U321
X1
X2
X3
X4
a__U321
mark
X1
X2
X3
X4
a__U291
tt
N
XS
a__U292
a__isNaturalKind
N
N
XS
mark
U261
X1
X2
mark
X1
a__splitAt
s
N
cons
X
XS
a__U321
a__isNatural
N
N
X
XS
a__U322
tt
N
X
XS
a__U323
a__isNatural
X
N
X
XS
mark
U281
X1
X2
mark
X1
mark
U14
X1
X2
X3
mark
X1
mark
U121
X1
X2
mark
X1
a__U282
tt
N
mark
N
mark
U304
X1
X2
mark
X1
mark
splitAt
X1
X2
mark
X2
mark
U331
X1
X2
X3
mark
X1
mark
U101
X1
X2
X3
mark
X1
mark
U122
X
mark
X
mark
U82
X1
X2
mark
X1
mark
U251
X1
X2
X3
mark
X1
mark
U292
X1
X2
X3
a__U292
mark
X1
X2
X3
mark
U246
X
mark
X
mark
U46
X
mark
X
a__U324
tt
N
X
XS
a__U325
a__isLNat
XS
N
X
XS
mark
U332
X1
X2
mark
X1
mark
U14
X1
X2
X3
a__U14
mark
X1
X2
X3
a__sel
N
XS
a__U291
a__isNatural
N
N
XS
mark
U205
X1
X2
mark
X1
mark
U312
X1
X2
a__U312
mark
X1
X2
mark
U344
X1
X2
X3
a__U344
mark
X1
X2
X3
mark
U102
X1
X2
X3
mark
X1
mark
U71
X1
X2
mark
X1
mark
U302
X1
X2
a__U302
mark
X1
X2
a__U31
tt
N
XS
a__U32
a__isNaturalKind
N
N
XS
mark
U323
X1
X2
X3
X4
mark
X1
a__U332
tt
XS
a__U333
a__isLNat
XS
XS
mark
U83
X
mark
X
a__U323
tt
N
X
XS
a__U324
a__isNaturalKind
X
N
X
XS
a__U344
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
mark
U172
X
mark
X
mark
U253
X1
X2
X3
mark
X1
a__U34
tt
N
mark
N
a__U12
tt
N
XS
a__U13
a__isLNat
XS
N
XS
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
mark
U271
X1
X2
mark
X1
a__U14
tt
N
XS
a__splitAt
mark
N
mark
XS
mark
U81
X1
X2
mark
X1
mark
U294
X1
X2
X3
a__U294
mark
X1
X2
X3
mark
U326
X1
X2
X3
X4
a__U326
mark
X1
X2
X3
X4
mark
U322
X1
X2
X3
X4
a__U322
mark
X1
X2
X3
X4
mark
U103
X1
X2
X3
mark
X1
a__U281
tt
N
a__U282
a__isNaturalKind
N
N
a__U22
tt
X
Y
a__U23
a__isLNat
Y
X
Y
mark
U325
X1
X2
X3
X4
mark
X1
mark
U54
X1
X2
X3
mark
X1
mark
U321
X1
X2
X3
X4
mark
X1
mark
U93
X
mark
X
mark
U343
X1
X2
X3
a__U343
mark
X1
X2
X3
mark
U204
X1
X2
X3
mark
X1
a__U321
tt
N
X
XS
a__U322
a__isNaturalKind
N
N
X
XS
mark
U181
X1
X2
mark
X1
mark
U281
X1
X2
a__U281
mark
X1
X2
a__U24
tt
X
mark
X
mark
U323
X1
X2
X3
X4
a__U323
mark
X1
X2
X3
X4
mark
U327
X1
X2
a__U327
mark
X1
X2
mark
s
X
mark
X
mark
U31
X1
X2
X3
mark
X1
mark
U272
X
mark
X
mark
U344
X1
X2
X3
mark
X1
mark
U193
X
mark
X
mark
natsFrom
X
a__natsFrom
mark
X
mark
U294
X1
X2
X3
mark
X1
a__U311
tt
XS
a__U312
a__isLNatKind
XS
XS
mark
U331
X1
X2
X3
a__U331
mark
X1
X2
X3
mark
U293
X1
X2
X3
mark
X1
mark
U291
X1
X2
X3
a__U291
mark
X1
X2
X3
mark
U32
X1
X2
X3
mark
X1
mark
U63
X
mark
X
a__snd
pair
X
Y
a__U301
a__isLNat
X
X
Y
mark
U292
X1
X2
X3
mark
X1
a__U303
tt
Y
a__U304
a__isLNatKind
Y
Y
a__U341
tt
N
XS
a__U342
a__isNaturalKind
N
N
XS
mark
U334
X1
X2
a__U334
mark
X1
X2
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
mark
U256
X
mark
X
mark
U262
X
mark
X
a__U23
tt
X
Y
a__U24
a__isLNatKind
Y
X
mark
U161
X
mark
X
mark
U23
X1
X2
X3
mark
X1
mark
U192
X1
X2
mark
X1
mark
U45
X1
X2
mark
X1
mark
pair
X1
X2
mark
X2
mark
head
X
a__head
mark
X
mark
U301
X1
X2
X3
a__U301
mark
X1
X2
X3
a__U342
tt
N
XS
a__U343
a__isLNat
XS
N
XS
mark
U31
X1
X2
X3
a__U31
mark
X1
X2
X3
a__natsFrom
N
a__U281
a__isNatural
N
N
mark
U342
X1
X2
X3
a__U342
mark
X1
X2
X3
a__U14
tt
N
XS
mark
XS
mark
U333
X1
X2
mark
X1
a__U14
tt
N
XS
mark
N
mark
U32
X1
X2
X3
a__U32
mark
X1
X2
X3
mark
U104
X1
X2
X3
mark
X1
a__U326
tt
N
X
XS
a__U327
a__splitAt
mark
N
mark
XS
X
mark
U23
X1
X2
X3
a__U23
mark
X1
X2
X3
mark
U301
X1
X2
X3
mark
X1
mark
U24
X1
X2
mark
X1
a__U292
tt
N
XS
a__U293
a__isLNat
XS
N
XS
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
mark
fst
X
mark
X
a__U326
tt
N
X
XS
mark
XS
mark
U131
X
mark
X
mark
U311
X1
X2
a__U311
mark
X1
X2
a__U294
tt
N
XS
mark
XS
mark
U302
X1
X2
mark
X1
mark
U91
X1
X2
mark
X1
mark
U327
X1
X2
mark
X1
mark
U244
X1
X2
X3
mark
X1
mark
U112
X
mark
X
mark
U324
X1
X2
X3
X4
mark
X1
mark
splitAt
X1
X2
mark
X1
mark
U73
X
mark
X
mark
U105
X1
X2
mark
X1
mark
U303
X1
X2
a__U303
mark
X1
X2
a__fst
pair
X
Y
a__U21
a__isLNat
X
X
Y
mark
U72
X1
X2
mark
X1
a__U11
tt
N
XS
a__U12
a__isNaturalKind
N
N
XS
mark
U255
X1
X2
mark
X1
a__U33
tt
N
XS
a__U34
a__isLNatKind
XS
N
mark
afterNth
X1
X2
mark
X2
mark
U303
X1
X2
mark
X1
a__head
cons
N
XS
a__U31
a__isNatural
N
N
XS
a__U302
tt
Y
a__U303
a__isLNat
Y
Y
a__U14
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
mark
take
X1
X2
a__take
mark
X1
mark
X2
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U211
X
mark
X
mark
U53
X1
X2
X3
mark
X1
mark
U231
X1
X2
mark
X1
a__U344
tt
N
XS
mark
XS
mark
U42
X1
X2
X3
mark
X1
a__U294
tt
N
XS
a__afterNth
mark
N
mark
XS
a__afterNth
N
XS
a__U11
a__isNatural
N
N
XS
true
U291
3
1
35397
2
35405
3
35406
0
a__U193
1
0
a__U83
1
1
19
U231
2
1
16329
2
668
0
U301
3
1
24
2
24
3
24
0
a__U293
3
1
35372
2
35383
3
35383
0
a__U241
3
1
44
2
43
3
42
0
U204
3
1
1
2
15022
3
15022
0
a__U324
4
1
53
2
58
3
57
4
77
0
a__U302
2
1
1
2
24
0
a__isNaturalKind
1
0
a__U325
4
1
39
2
58
3
55
4
77
0
a__U151
1
1
7885
a__U292
3
1
35405
2
35405
3
35392
0
a__U73
1
0
a__U131
1
0
a__U63
1
1
4
U21
3
1
14
2
51
3
50
0
U261
2
1
40
2
40
0
a__U102
3
1
21
2
38
3
37
0
U254
3
1
32
2
32
3
31
0
U333
2
1
8
2
8
0
a__U82
2
0
a__U332
2
1
1
2
28
0
a__U45
2
1
64
2
64
0
U193
1
1
0
a__U72
2
0
a__U242
3
0
a__U246
1
1
1
U161
1
1
16
a__U321
4
1
75
2
84
3
89
4
92
0
a__U71
2
0
a__U232
1
1
643
U182
2
1
34
2
40
0
a__U291
3
2
35430
3
35432
0
U11
3
1
19172
2
19170
3
19172
0
a__U171
2
1
73
2
80
0
a__U92
2
0
a__U104
3
1
17
2
36
3
37
0
a__U294
3
1
35380
2
35382
3
35379
0
a__U182
2
1
34
2
40
0
a__U191
2
1
2
2
9
0
a__U281
2
1
2
2
11
0
U243
3
1
7
2
42
3
22
0
a__U245
2
1
22
2
21
0
a__U112
1
0
s
1
1
0
U105
2
1
27
2
26
0
U303
2
1
4
2
4
0
a__U292
3
2
35429
3
35419
0
a__U24
2
1
8
2
10
0
a__U341
3
2
125
3
123
0
a__U31
3
2
16222
0
a__U243
3
1
7
2
42
3
22
0
a__U33
3
2
16200
0
a__U93
1
0
a__head
1
1
16223
U192
2
1
3
2
9
0
a__U253
3
0
U24
2
1
8
2
10
0
a__U33
3
1
16163
2
16205
3
16162
0
U106
1
1
6
a__U24
2
2
45
0
a__natsFrom
1
1
40
isPLNatKind
1
1
0
a__U252
3
0
a__U256
1
0
a__U244
3
1
22
2
42
3
21
0
a__U343
3
1
87
2
86
3
88
0
U242
3
1
43
2
42
3
42
0
a__U303
2
2
39
0
U262
1
1
40
U244
3
1
22
2
42
3
21
0
U272
1
1
57
U56
1
1
0
a__U191
2
0
a__U272
1
0
a__U23
3
2
47
0
a__U55
2
1
12
2
20
0
isPLNat
1
1
0
a__snd
1
1
0
a__U331
3
1
20
2
36
3
28
0
a__U312
2
2
37
0
a__afterNth
2
1
19181
2
19182
0
U42
3
1
66
2
83
3
82
0
U91
2
1
48
2
44
0
U221
1
1
0
U293
3
1
35372
2
35383
3
35383
0
a__U73
1
1
16
a__U106
1
0
U325
4
1
39
2
58
3
55
4
77
0
a__U82
2
1
16528
2
19091
0
a__U182
2
0
take
2
1
119
2
111
0
a__U14
3
2
93
3
93
0
U71
2
1
26
2
26
0
a__U62
2
1
5
2
4
0
a__U44
3
1
82
2
73
3
81
0
U131
1
1
5
U206
1
1
14992
a__U221
1
1
0
U101
3
1
133
2
132
3
37
0
a__U43
3
0
a__U334
2
1
31
2
39
0
pair
2
1
44
2
44
0
U255
2
1
22
2
21
0
a__U326
4
2
84
3
87
4
92
0
a__U261
2
1
40
2
40
0
fst
1
1
7
U111
2
1
109
2
77
0
U43
3
1
74
2
73
3
82
0
a__U13
3
2
94
3
19202
0
a__U121
2
1
1
2
0
0
a__U262
1
1
40
a__U246
1
0
a__U44
3
0
a__U204
3
0
U103
3
1
10
2
38
3
37
0
a__U111
2
1
109
2
77
0
a__U272
1
1
57
natsFrom
1
1
11
U281
2
1
2
2
11
0
a__U103
3
0
a__U301
3
3
41
0
U44
3
1
82
2
73
3
81
0
U55
2
1
12
2
20
0
a__U46
1
0
a__snd
1
1
19071
a__U252
3
1
33
2
33
3
32
0
U253
3
1
32
2
32
3
32
0
U312
2
1
56
2
56
0
a__U206
1
0
a__U181
2
0
a__U193
1
1
0
a__U271
2
1
58
2
57
0
a__U51
3
0
U341
3
1
110
2
109
3
111
0
a__U254
3
1
32
2
32
3
31
0
U23
3
1
1
2
51
3
10
0
U292
3
1
35405
2
35405
3
35392
0
U342
3
1
109
2
108
3
107
0
a__U172
1
1
80
U63
1
1
4
a__U56
1
0
a__U344
3
2
121
3
93
0
a__U22
3
1
44
2
51
3
50
0
U172
1
1
80
U93
1
1
24
splitAt
2
1
58
2
77
0
isNaturalKind
1
1
0
U326
4
1
46
2
58
3
55
4
77
0
a__U323
4
2
84
3
88
4
92
0
a__U106
1
1
6
U72
2
1
26
2
25
0
a__U11
3
2
19204
3
19207
0
a__U291
3
1
35397
2
35405
3
35406
0
U241
3
1
44
2
43
3
42
0
U34
2
1
16162
2
16161
0
a__U192
2
1
3
2
9
0
a__U31
3
1
16187
2
16205
3
16183
0
a__U51
3
1
20
2
27
3
20
0
a__U253
3
1
32
2
32
3
32
0
a__U81
2
1
19091
2
19091
0
a__U53
3
0
a__U205
2
0
a__take
2
1
126
2
124
0
a__U172
1
0
a__U255
2
0
U12
3
1
19164
2
19169
3
19170
0
a__U43
3
1
74
2
73
3
82
0
U271
2
1
58
2
57
0
a__U231
2
1
16329
2
668
0
a__U232
1
0
a__isLNatKind
1
0
a__U62
2
0
a__U321
4
1
49
2
58
3
78
4
77
0
a__U206
1
1
14992
isNatural
1
1
9
U302
2
1
1
2
24
0
U54
3
1
20
2
21
3
20
0
a__U42
3
0
a__U183
1
0
a__U41
3
1
59
2
83
3
84
0
U232
1
1
643
a__U262
1
0
a__U122
1
0
a__U12
3
2
19201
3
19203
0
U205
2
1
15013
2
15012
0
a__U205
2
1
15013
2
15012
0
U201
3
1
35414
2
15024
3
35415
0
U104
3
1
17
2
36
3
37
0
a__U122
1
1
0
a__U14
3
1
19148
2
19148
3
19149
0
a__U81
2
0
a__U21
3
2
49
0
a__U161
1
1
16
a__U61
2
0
a__U333
2
2
40
0
a__U34
2
1
16162
2
16161
0
U252
3
1
33
2
33
3
32
0
a__U261
2
0
U141
1
1
11
a__fst
1
1
7
tail
1
1
28
a__natsFrom
1
1
11
a__U302
2
2
40
0
U83
1
1
19
a__U294
3
2
35417
3
35406
0
mark
1
1
36
a__U204
3
1
1
2
15022
3
15022
0
0
0
6
a__U211
1
0
U294
3
1
35380
2
35382
3
35379
0
a__U244
3
0
a__isLNat
1
1
20
U191
2
1
2
2
9
0
U343
3
1
87
2
86
3
88
0
a__U251
3
1
34
2
33
3
34
0
U73
1
1
16
a__U282
2
2
38
0
a__U21
3
1
14
2
51
3
50
0
U332
2
1
1
2
28
0
a__U311
2
1
57
2
56
0
U171
2
1
73
2
80
0
a__U32
3
1
16184
2
16205
3
16183
0
a__U91
2
1
48
2
44
0
a__U231
2
0
sel
2
1
35406
2
35407
0
U202
3
1
15024
2
15024
3
15024
0
afterNth
2
1
19181
2
19182
0
a__U151
1
0
a__U111
2
0
a__U161
1
0
a__U242
3
1
43
2
42
3
42
0
a__U141
1
0
nil
0
6
a__splitAt
2
1
58
2
77
0
isLNat
1
1
20
U246
1
1
1
a__U245
2
0
U62
2
1
5
2
4
0
a__U52
3
0
a__U211
1
1
5967
a__U102
3
0
U304
2
1
3
2
4
0
U45
2
1
64
2
64
0
a__sel
2
1
35431
2
35433
0
mark
1
1
0
U151
1
1
7885
a__isLNat
1
0
a__U56
1
1
0
a__U342
3
1
116
2
122
3
122
0
a__U72
2
1
26
2
25
0
U334
2
1
2
2
8
0
a__U101
3
0
a__U11
3
1
19172
2
19170
3
19172
0
U32
3
1
16184
2
16205
3
16183
0
a__U53
3
1
15
2
21
3
20
0
a__U141
1
1
11
a__U322
4
1
57
2
58
3
78
4
77
0
a__sel
2
1
35406
2
35407
0
a__U42
3
1
66
2
83
3
82
0
a__U93
1
1
24
U33
3
1
16163
2
16205
3
16162
0
a__U45
2
0
a__U52
3
1
27
2
21
3
20
0
a__U181
2
1
1
2
40
0
isLNatKind
1
1
0
U14
3
1
19148
2
19148
3
19149
0
U211
1
1
5967
a__U243
3
0
a__U54
3
0
U203
3
1
15023
2
15022
3
15024
0
a__U105
2
0
a__U202
3
0
a__U12
3
1
19164
2
19169
3
19170
0
U327
2
1
0
2
52
0
a__U104
3
0
a__U201
3
0
a__U63
1
0
a__isPLNat
1
1
0
a__U327
2
1
0
2
52
0
U46
1
1
44
a__U332
2
2
41
0
a__U326
4
1
46
2
58
3
55
4
77
0
U251
3
1
34
2
33
3
34
0
a__U322
4
2
84
3
89
4
92
0
a__isLNatKind
1
1
0
a__U121
2
0
U52
3
1
27
2
21
3
20
0
a__U254
3
0
a__U324
4
2
84
3
88
4
92
0
a__U281
2
2
39
0
a__U251
3
0
U61
2
1
6
2
5
0
a__U46
1
1
44
a__U22
3
2
48
0
a__U13
3
1
19149
2
19149
3
19170
0
a__U304
2
1
3
2
4
0
U31
3
1
16187
2
16205
3
16183
0
a__U83
1
0
a__U171
2
0
a__U71
2
1
26
2
26
0
U183
1
1
20
U245
2
1
22
2
21
0
U92
2
1
43
2
44
0
a__isPLNat
1
0
a__U203
3
0
head
1
1
16197
a__afterNth
2
1
19208
2
19208
0
U112
1
1
42
a__U343
3
2
121
3
93
0
a__splitAt
2
1
84
2
92
0
a__isPLNatKind
1
0
a__U192
2
0
a__U255
2
1
22
2
21
0
cons
2
1
8
2
0
0
a__U344
3
1
58
2
86
3
84
0
a__U92
2
1
43
2
44
0
U323
4
1
47
2
58
3
78
4
77
0
a__U61
2
1
6
2
5
0
U102
3
1
21
2
38
3
37
0
a__U105
2
1
27
2
26
0
a__U334
2
1
2
2
8
0
snd
1
1
19071
a__take
2
1
119
2
111
0
U256
1
1
1
a__U301
3
1
24
2
24
3
24
0
U81
2
1
19091
2
19091
0
a__U41
3
0
U82
2
1
16528
2
19091
0
a__U304
2
2
37
0
tt
0
6
a__isNatural
1
1
9
a__isNaturalKind
1
1
0
a__U131
1
1
5
a__isNatural
1
0
U13
3
1
19149
2
19149
3
19170
0
a__fst
1
1
6
a__U23
3
1
1
2
51
3
10
0
a__U311
2
2
91
0
a__U201
3
1
35414
2
15024
3
35415
0
a__U271
2
0
a__U202
3
1
15024
2
15024
3
15024
0
U321
4
1
49
2
58
3
78
4
77
0
a__U282
2
1
1
2
11
0
a__U241
3
0
a__U183
1
1
20
a__U333
2
1
8
2
8
0
U22
3
1
44
2
51
3
50
0
a__U293
3
2
35418
3
35407
0
U51
3
1
20
2
27
3
20
0
U311
2
1
57
2
56
0
a__U325
4
2
84
3
88
4
92
0
a__U34
2
2
37
0
U322
4
1
57
2
58
3
78
4
77
0
U344
3
1
58
2
86
3
84
0
a__U342
3
1
109
2
108
3
107
0
a__tail
1
1
28
a__U103
3
1
10
2
38
3
37
0
a__U54
3
1
20
2
21
3
20
0
a__isPLNatKind
1
1
0
U53
3
1
15
2
21
3
20
0
a__U303
2
1
4
2
4
0
a__U323
4
1
47
2
58
3
78
4
77
0
a__U55
2
0
a__U112
1
1
42
a__U331
3
2
65
3
62
0
U41
3
1
59
2
83
3
84
0
a__tail
1
1
63
a__U203
3
1
15023
2
15022
3
15024
0
a__U32
3
2
16221
0
a__U221
1
0
a__U101
3
1
133
2
132
3
37
0
a__U91
2
0
a__U341
3
1
110
2
109
3
111
0
U282
2
1
1
2
11
0
a__U256
1
1
1
U121
2
1
1
2
0
0
a__head
1
1
16197
U181
2
1
1
2
40
0
U324
4
1
53
2
58
3
57
4
77
0
U331
3
1
20
2
36
3
28
0
U122
1
1
0
a__U312
2
1
56
2
56
0
a__U327
2
1
6
2
37
0
mark
U327
X1
X2
mark
X1
mark
U193
X
mark
X
mark
s
X
mark
X
a__U321
tt
N
X
XS
a__U322
a__isNaturalKind
N
N
X
XS
a__U323
tt
N
X
XS
a__U324
a__isNaturalKind
X
N
X
XS
a__U324
tt
N
X
XS
a__U325
a__isLNat
XS
N
X
XS
mark
U122
X
mark
X
a__U322
tt
N
X
XS
a__U323
a__isNatural
X
N
X
XS
a__splitAt
s
N
cons
X
XS
a__U321
a__isNatural
N
N
X
XS
mark
U56
X
mark
X
a__U326
tt
N
X
XS
a__splitAt
mark
N
mark
XS
mark
U221
X
mark
X
a__U343
tt
N
XS
a__U344
a__isLNatKind
XS
N
XS
a__U325
tt
N
X
XS
a__U326
a__isLNatKind
XS
N
X
XS
mark
U332
X1
X2
a__U332
mark
X1
X2
a__U52
X1
X2
X3
U52
X1
X2
X3
mark
U201
X1
X2
X3
a__U201
mark
X1
X2
X3
a__U205
X1
X2
U205
X1
X2
a__U161
tt
tt
a__U254
tt
V1
V2
a__U255
a__isNatural
V1
V2
a__U332
tt
XS
a__U333
a__isLNat
XS
XS
a__snd
X
snd
X
a__U72
tt
V1
a__U73
a__isNatural
V1
a__splitAt
X1
X2
splitAt
X1
X2
a__U302
X1
X2
U302
X1
X2
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
a__U104
tt
V1
V2
a__U105
a__isNatural
V1
V2
mark
head
X
a__head
mark
X
mark
U56
X
a__U56
mark
X
a__U71
tt
V1
a__U72
a__isNaturalKind
V1
V1
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
a__U63
tt
tt
mark
U93
X
a__U93
mark
X
a__snd
pair
X
Y
a__U301
a__isLNat
X
X
Y
a__fst
X
fst
X
a__U14
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
mark
U301
X1
X2
X3
a__U301
mark
X1
X2
X3
mark
U192
X1
X2
a__U192
mark
X1
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__U82
X1
X2
U82
X1
X2
a__isLNat
tail
V1
a__U91
a__isLNatKind
V1
V1
a__isPLNatKind
pair
V1
V2
a__U261
a__isLNatKind
V1
V2
mark
U292
X1
X2
X3
a__U292
mark
X1
X2
X3
mark
U131
X
a__U131
mark
X
mark
isNaturalKind
X
a__isNaturalKind
X
mark
U254
X1
X2
X3
a__U254
mark
X1
X2
X3
a__U51
X1
X2
X3
U51
X1
X2
X3
a__U111
tt
V2
a__U112
a__isLNatKind
V2
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U253
X1
X2
X3
a__U253
mark
X1
X2
X3
mark
U326
X1
X2
X3
X4
a__U326
mark
X1
X2
X3
X4
mark
fst
X
a__fst
mark
X
a__U252
X1
X2
X3
U252
X1
X2
X3
mark
U232
X
a__U232
mark
X
a__U262
tt
tt
a__U161
X
U161
X
a__isLNatKind
afterNth
V1
V2
a__U111
a__isNaturalKind
V1
V2
a__U331
X1
X2
X3
U331
X1
X2
X3
a__isPLNat
splitAt
V1
V2
a__U251
a__isNaturalKind
V1
V1
V2
a__U92
X1
X2
U92
X1
X2
a__U101
tt
V1
V2
a__U102
a__isNaturalKind
V1
V1
V2
a__U327
pair
YS
ZS
X
pair
cons
mark
X
YS
mark
ZS
mark
U341
X1
X2
X3
a__U341
mark
X1
X2
X3
a__U245
X1
X2
U245
X1
X2
a__U272
X
U272
X
mark
isLNat
X
a__isLNat
X
a__U103
tt
V1
V2
a__U104
a__isLNatKind
V2
V1
V2
a__U141
tt
tt
a__U181
tt
V1
a__U182
a__isLNatKind
V1
V1
a__U221
tt
tt
a__isNatural
0
tt
mark
U322
X1
X2
X3
X4
a__U322
mark
X1
X2
X3
X4
a__U311
tt
XS
a__U312
a__isLNatKind
XS
XS
mark
U282
X1
X2
a__U282
mark
X1
X2
a__U23
X1
X2
X3
U23
X1
X2
X3
a__isLNat
take
V1
V2
a__U101
a__isNaturalKind
V1
V1
V2
mark
U193
X
a__U193
mark
X
mark
U34
X1
X2
a__U34
mark
X1
X2
a__U171
X1
X2
U171
X1
X2
a__U44
X1
X2
X3
U44
X1
X2
X3
a__U342
tt
N
XS
a__U343
a__isLNat
XS
N
XS
a__U61
tt
V1
a__U62
a__isPLNatKind
V1
V1
a__U91
X1
X2
U91
X1
X2
a__U193
tt
tt
a__U73
tt
tt
a__U13
X1
X2
X3
U13
X1
X2
X3
mark
U31
X1
X2
X3
a__U31
mark
X1
X2
X3
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
a__U344
X1
X2
X3
U344
X1
X2
X3
a__isNaturalKind
0
tt
a__U301
tt
X
Y
a__U302
a__isLNatKind
X
Y
mark
pair
X1
X2
pair
mark
X1
mark
X2
a__U172
X
U172
X
mark
U181
X1
X2
a__U181
mark
X1
X2
mark
U205
X1
X2
a__U205
mark
X1
X2
a__U31
X1
X2
X3
U31
X1
X2
X3
a__U121
X1
X2
U121
X1
X2
mark
U221
X
a__U221
mark
X
mark
U272
X
a__U272
mark
X
mark
U61
X1
X2
a__U61
mark
X1
X2
mark
U92
X1
X2
a__U92
mark
X1
X2
a__isLNatKind
cons
V1
V2
a__U121
a__isNaturalKind
V1
V2
a__U21
X1
X2
X3
U21
X1
X2
X3
a__natsFrom
N
a__U281
a__isNatural
N
N
a__U231
X1
X2
U231
X1
X2
a__U62
X1
X2
U62
X1
X2
a__U171
tt
V2
a__U172
a__isLNatKind
V2
a__U206
tt
tt
mark
U311
X1
X2
a__U311
mark
X1
X2
a__U151
tt
tt
mark
U151
X
a__U151
mark
X
mark
U312
X1
X2
a__U312
mark
X1
X2
a__U61
X1
X2
U61
X1
X2
a__U293
X1
X2
X3
U293
X1
X2
X3
mark
U32
X1
X2
X3
a__U32
mark
X1
X2
X3
a__U193
X
U193
X
mark
U244
X1
X2
X3
a__U244
mark
X1
X2
X3
mark
U71
X1
X2
a__U71
mark
X1
X2
mark
U83
X
a__U83
mark
X
a__U112
X
U112
X
a__isLNat
cons
V1
V2
a__U51
a__isNaturalKind
V1
V1
V2
mark
U261
X1
X2
a__U261
mark
X1
X2
a__U241
X1
X2
X3
U241
X1
X2
X3
a__U292
tt
N
XS
a__U293
a__isLNat
XS
N
XS
mark
U101
X1
X2
X3
a__U101
mark
X1
X2
X3
a__U301
X1
X2
X3
U301
X1
X2
X3
mark
U206
X
a__U206
mark
X
mark
U343
X1
X2
X3
a__U343
mark
X1
X2
X3
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
a__U43
X1
X2
X3
U43
X1
X2
X3
a__tail
X
tail
X
a__U93
X
U93
X
a__isPLNatKind
splitAt
V1
V2
a__U271
a__isNaturalKind
V1
V2
a__sel
N
XS
a__U291
a__isNatural
N
N
XS
a__isNaturalKind
s
V1
a__U221
a__isNaturalKind
V1
mark
U63
X
a__U63
mark
X
a__U55
X1
X2
U55
X1
X2
a__U201
tt
V1
V2
a__U202
a__isNaturalKind
V1
V1
V2
mark
U342
X1
X2
X3
a__U342
mark
X1
X2
X3
mark
isNatural
X
a__isNatural
X
mark
U231
X1
X2
a__U231
mark
X1
X2
a__isNatural
X
isNatural
X
a__U251
X1
X2
X3
U251
X1
X2
X3
mark
U281
X1
X2
a__U281
mark
X1
X2
a__U206
X
U206
X
a__isPLNat
X
isPLNat
X
a__U344
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
a__U341
tt
N
XS
a__U342
a__isNaturalKind
N
N
XS
mark
U202
X1
X2
X3
a__U202
mark
X1
X2
X3
mark
U141
X
a__U141
mark
X
a__U211
tt
tt
mark
take
X1
X2
a__take
mark
X1
mark
X2
a__U323
X1
X2
X3
X4
U323
X1
X2
X3
X4
mark
U334
X1
X2
a__U334
mark
X1
X2
mark
U45
X1
X2
a__U45
mark
X1
X2
a__U243
X1
X2
X3
U243
X1
X2
X3
mark
snd
X
a__snd
mark
X
mark
0
0
a__isLNatKind
natsFrom
V1
a__U141
a__isNaturalKind
V1
a__U311
X1
X2
U311
X1
X2
a__U204
X1
X2
X3
U204
X1
X2
X3
a__U182
tt
V1
a__U183
a__isLNat
V1
mark
U291
X1
X2
X3
a__U291
mark
X1
X2
X3
mark
U302
X1
X2
a__U302
mark
X1
X2
a__isLNatKind
X
isLNatKind
X
a__U122
X
U122
X
a__U303
X1
X2
U303
X1
X2
a__U202
tt
V1
V2
a__U203
a__isLNatKind
V2
V1
V2
a__tail
cons
N
XS
a__U331
a__isNatural
N
N
XS
a__U303
tt
Y
a__U304
a__isLNatKind
Y
Y
mark
nil
nil
a__U24
X1
X2
U24
X1
X2
a__U41
X1
X2
X3
U41
X1
X2
X3
a__U244
tt
V1
V2
a__U245
a__isLNat
V1
V2
a__U105
tt
V2
a__U106
a__isLNat
V2
a__isLNat
snd
V1
a__U81
a__isPLNatKind
V1
V1
mark
U203
X1
X2
X3
a__U203
mark
X1
X2
X3
a__U324
X1
X2
X3
X4
U324
X1
X2
X3
X4
mark
U111
X1
X2
a__U111
mark
X1
X2
a__U322
tt
N
X
XS
a__U323
a__isNatural
X
N
X
XS
mark
isPLNatKind
X
a__isPLNatKind
X
a__U21
tt
X
Y
a__U22
a__isLNatKind
X
X
Y
a__U302
tt
Y
a__U303
a__isLNat
Y
Y
a__U63
X
U63
X
a__U11
X1
X2
X3
U11
X1
X2
X3
a__U46
tt
tt
a__isLNat
natsFrom
V1
a__U71
a__isNaturalKind
V1
V1
mark
U172
X
a__U172
mark
X
a__U255
X1
X2
U255
X1
X2
mark
tt
tt
mark
U324
X1
X2
X3
X4
a__U324
mark
X1
X2
X3
X4
a__U45
tt
V2
a__U46
a__isLNat
V2
a__U182
X1
X2
U182
X1
X2
a__U12
tt
N
XS
a__U13
a__isLNat
XS
N
XS
mark
U304
X1
X2
a__U304
mark
X1
X2
a__U33
X1
X2
X3
U33
X1
X2
X3
a__isNaturalKind
head
V1
a__U211
a__isLNatKind
V1
mark
U52
X1
X2
X3
a__U52
mark
X1
X2
X3
mark
U103
X1
X2
X3
a__U103
mark
X1
X2
X3
a__U232
tt
tt
mark
U256
X
a__U256
mark
X
a__U53
X1
X2
X3
U53
X1
X2
X3
a__U11
tt
N
XS
a__U12
a__isNaturalKind
N
N
XS
a__U41
tt
V1
V2
a__U42
a__isNaturalKind
V1
V1
V2
a__U73
X
U73
X
mark
U171
X1
X2
a__U171
mark
X1
X2
a__U326
X1
X2
X3
X4
U326
X1
X2
X3
X4
a__isLNatKind
fst
V1
a__U131
a__isPLNatKind
V1
mark
U191
X1
X2
a__U191
mark
X1
X2
a__U242
X1
X2
X3
U242
X1
X2
X3
a__U294
X1
X2
X3
U294
X1
X2
X3
a__U172
tt
tt
a__U202
X1
X2
X3
U202
X1
X2
X3
a__U111
X1
X2
U111
X1
X2
a__afterNth
X1
X2
afterNth
X1
X2
a__isLNatKind
tail
V1
a__U161
a__isLNatKind
V1
a__U72
X1
X2
U72
X1
X2
a__U83
tt
tt
mark
U122
X
a__U122
mark
X
a__U32
X1
X2
X3
U32
X1
X2
X3
a__U343
X1
X2
X3
U343
X1
X2
X3
a__isLNatKind
take
V1
V2
a__U171
a__isNaturalKind
V1
V2
a__U183
X
U183
X
a__U332
X1
X2
U332
X1
X2
a__U192
tt
V1
a__U193
a__isNatural
V1
a__U253
tt
V1
V2
a__U254
a__isLNatKind
V2
V1
V2
a__U256
tt
tt
a__U34
X1
X2
U34
X1
X2
mark
U245
X1
X2
a__U245
mark
X1
X2
a__U246
X
U246
X
mark
U44
X1
X2
X3
a__U44
mark
X1
X2
X3
a__U204
tt
V1
V2
a__U205
a__isNatural
V1
V2
a__U294
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
mark
U204
X1
X2
X3
a__U204
mark
X1
X2
X3
a__isNaturalKind
X
isNaturalKind
X
a__U81
tt
V1
a__U82
a__isPLNatKind
V1
V1
mark
U255
X1
X2
a__U255
mark
X1
X2
a__U131
tt
tt
a__U93
tt
tt
mark
U73
X
a__U73
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
a__U334
tt
XS
mark
XS
a__isNatural
s
V1
a__U191
a__isNaturalKind
V1
V1
a__U42
tt
V1
V2
a__U43
a__isLNatKind
V2
V1
V2
a__isLNat
X
isLNat
X
a__U272
tt
tt
a__U331
tt
N
XS
a__U332
a__isNaturalKind
N
XS
mark
U293
X1
X2
X3
a__U293
mark
X1
X2
X3
mark
U91
X1
X2
a__U91
mark
X1
X2
mark
U13
X1
X2
X3
a__U13
mark
X1
X2
X3
a__U262
X
U262
X
a__U205
tt
V2
a__U206
a__isLNat
V2
a__U122
tt
tt
a__U62
tt
V1
a__U63
a__isPLNat
V1
mark
U262
X
a__U262
mark
X
a__U312
tt
XS
pair
nil
mark
XS
mark
U246
X
a__U246
mark
X
a__U325
X1
X2
X3
X4
U325
X1
X2
X3
X4
a__natsFrom
X
natsFrom
X
mark
U252
X1
X2
X3
a__U252
mark
X1
X2
X3
a__U53
tt
V1
V2
a__U54
a__isLNatKind
V2
V1
V2
a__U105
X1
X2
U105
X1
X2
a__U71
X1
X2
U71
X1
X2
a__U245
tt
V2
a__U246
a__isLNat
V2
a__U33
tt
N
XS
a__U34
a__isLNatKind
XS
N
a__isLNat
fst
V1
a__U61
a__isPLNatKind
V1
V1
a__U141
X
U141
X
a__U333
tt
XS
a__U334
a__isLNatKind
XS
XS
a__isLNatKind
snd
V1
a__U151
a__isPLNatKind
V1
mark
U327
X1
X2
a__U327
mark
X1
X2
a__U304
X1
X2
U304
X1
X2
a__U183
tt
tt
a__U103
X1
X2
X3
U103
X1
X2
X3
mark
tail
X
a__tail
mark
X
a__U32
tt
N
XS
a__U33
a__isLNat
XS
N
XS
a__isNatural
sel
V1
V2
a__U201
a__isNaturalKind
V1
V1
V2
a__U254
X1
X2
X3
U254
X1
X2
X3
a__U81
X1
X2
U81
X1
X2
a__U191
tt
V1
a__U192
a__isNaturalKind
V1
V1
a__head
X
head
X
a__U51
tt
V1
V2
a__U52
a__isNaturalKind
V1
V1
V2
a__U91
tt
V1
a__U92
a__isLNatKind
V1
V1
mark
U211
X
a__U211
mark
X
mark
U14
X1
X2
X3
a__U14
mark
X1
X2
X3
a__isPLNatKind
X
isPLNatKind
X
a__sel
X1
X2
sel
X1
X2
a__U326
tt
N
X
XS
a__U327
a__splitAt
mark
N
mark
XS
X
mark
U242
X1
X2
X3
a__U242
mark
X1
X2
X3
mark
U344
X1
X2
X3
a__U344
mark
X1
X2
X3
a__U281
tt
N
a__U282
a__isNaturalKind
N
N
mark
U105
X1
X2
a__U105
mark
X1
X2
mark
U55
X1
X2
a__U55
mark
X1
X2
a__U312
X1
X2
U312
X1
X2
a__U14
X1
X2
X3
U14
X1
X2
X3
a__U55
tt
V2
a__U56
a__isLNat
V2
mark
natsFrom
X
a__natsFrom
mark
X
a__U121
tt
V2
a__U122
a__isLNatKind
V2
mark
U251
X1
X2
X3
a__U251
mark
X1
X2
X3
a__U112
tt
tt
a__U13
tt
N
XS
a__U14
a__isLNatKind
XS
N
XS
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
a__U281
X1
X2
U281
X1
X2
a__U255
tt
V2
a__U256
a__isLNat
V2
a__U82
tt
V1
a__U83
a__isPLNat
V1
a__U192
X1
X2
U192
X1
X2
a__U291
X1
X2
X3
U291
X1
X2
X3
a__U342
X1
X2
X3
U342
X1
X2
X3
a__splitAt
0
XS
a__U311
a__isLNat
XS
XS
a__U56
X
U56
X
mark
U43
X1
X2
X3
a__U43
mark
X1
X2
X3
a__U203
X1
X2
X3
U203
X1
X2
X3
a__U151
X
U151
X
a__U43
tt
V1
V2
a__U44
a__isLNatKind
V2
V1
V2
a__U211
X
U211
X
a__U244
X1
X2
X3
U244
X1
X2
X3
mark
U82
X1
X2
a__U82
mark
X1
X2
a__U54
X1
X2
X3
U54
X1
X2
X3
a__U24
tt
X
mark
X
mark
U271
X1
X2
a__U271
mark
X1
X2
a__U31
tt
N
XS
a__U32
a__isNaturalKind
N
N
XS
a__U271
tt
V2
a__U272
a__isLNatKind
V2
a__isNatural
head
V1
a__U181
a__isLNatKind
V1
V1
a__U92
tt
V1
a__U93
a__isLNat
V1
mark
U24
X1
X2
a__U24
mark
X1
X2
a__U256
X
U256
X
a__U282
X1
X2
U282
X1
X2
a__U291
tt
N
XS
a__U292
a__isNaturalKind
N
N
XS
mark
U121
X1
X2
a__U121
mark
X1
X2
a__U22
X1
X2
X3
U22
X1
X2
X3
mark
U241
X1
X2
X3
a__U241
mark
X1
X2
X3
mark
U303
X1
X2
a__U303
mark
X1
X2
a__U201
X1
X2
X3
U201
X1
X2
X3
a__U83
X
U83
X
a__U106
tt
tt
mark
U104
X1
X2
X3
a__U104
mark
X1
X2
X3
a__U181
X1
X2
U181
X1
X2
a__U45
X1
X2
U45
X1
X2
a__isLNat
afterNth
V1
V2
a__U41
a__isNaturalKind
V1
V1
V2
a__U131
X
U131
X
mark
isLNatKind
X
a__isLNatKind
X
mark
U102
X1
X2
X3
a__U102
mark
X1
X2
X3
a__U271
X1
X2
U271
X1
X2
a__U292
X1
X2
X3
U292
X1
X2
X3
a__U46
X
U46
X
a__take
X1
X2
take
X1
X2
a__U231
tt
V2
a__U232
a__isLNatKind
V2
a__U293
tt
N
XS
a__U294
a__isLNatKind
XS
N
XS
mark
U106
X
a__U106
mark
X
a__fst
pair
X
Y
a__U21
a__isLNat
X
X
Y
a__isNaturalKind
sel
V1
V2
a__U231
a__isNaturalKind
V1
V2
mark
U54
X1
X2
X3
a__U54
mark
X1
X2
X3
a__U341
X1
X2
X3
U341
X1
X2
X3
mark
s
X
s
mark
X
a__U282
tt
N
cons
mark
N
natsFrom
s
N
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
a__U324
tt
N
X
XS
a__U325
a__isLNat
XS
N
X
XS
a__afterNth
N
XS
a__U11
a__isNatural
N
N
XS
mark
U183
X
a__U183
mark
X
mark
U53
X1
X2
X3
a__U53
mark
X1
X2
X3
a__U325
tt
N
X
XS
a__U326
a__isLNatKind
XS
N
X
XS
a__isLNatKind
nil
tt
mark
U81
X1
X2
a__U81
mark
X1
X2
a__U252
tt
V1
V2
a__U253
a__isLNatKind
V2
V1
V2
a__U321
X1
X2
X3
X4
U321
X1
X2
X3
X4
a__isPLNat
pair
V1
V2
a__U241
a__isLNatKind
V1
V1
V2
a__splitAt
s
N
cons
X
XS
a__U321
a__isNatural
N
N
X
XS
a__U321
tt
N
X
XS
a__U322
a__isNaturalKind
N
N
X
XS
mark
U325
X1
X2
X3
X4
a__U325
mark
X1
X2
X3
X4
mark
U161
X
a__U161
mark
X
a__U12
X1
X2
X3
U12
X1
X2
X3
mark
U62
X1
X2
a__U62
mark
X1
X2
a__U261
tt
V2
a__U262
a__isLNatKind
V2
mark
U333
X1
X2
a__U333
mark
X1
X2
a__U333
X1
X2
U333
X1
X2
a__U42
X1
X2
X3
U42
X1
X2
X3
mark
U23
X1
X2
X3
a__U23
mark
X1
X2
X3
mark
U294
X1
X2
X3
a__U294
mark
X1
X2
X3
a__U191
X1
X2
U191
X1
X2
a__U251
tt
V1
V2
a__U252
a__isNaturalKind
V1
V1
V2
a__U323
tt
N
X
XS
a__U324
a__isNaturalKind
X
N
X
XS
a__U334
X1
X2
U334
X1
X2
a__U44
tt
V1
V2
a__U45
a__isNatural
V1
V2
a__U101
X1
X2
X3
U101
X1
X2
X3
a__U54
tt
V1
V2
a__U55
a__isNatural
V1
V2
mark
U112
X
a__U112
mark
X
mark
U321
X1
X2
X3
X4
a__U321
mark
X1
X2
X3
X4
a__U56
tt
tt
a__head
cons
N
XS
a__U31
a__isNatural
N
N
XS
a__U23
tt
X
Y
a__U24
a__isLNatKind
Y
X
a__U327
X1
X2
U327
X1
X2
mark
U46
X
a__U46
mark
X
mark
U72
X1
X2
a__U72
mark
X1
X2
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
a__U232
X
U232
X
a__U241
tt
V1
V2
a__U242
a__isLNatKind
V1
V1
V2
a__U102
X1
X2
X3
U102
X1
X2
X3
a__U52
tt
V1
V2
a__U53
a__isLNatKind
V2
V1
V2
a__take
N
XS
a__U341
a__isNatural
N
N
XS
mark
U243
X1
X2
X3
a__U243
mark
X1
X2
X3
mark
U323
X1
X2
X3
X4
a__U323
mark
X1
X2
X3
X4
a__isLNat
nil
tt
a__U106
X
U106
X
a__U242
tt
V1
V2
a__U243
a__isLNatKind
V2
V1
V2
mark
U51
X1
X2
X3
a__U51
mark
X1
X2
X3
a__U104
X1
X2
X3
U104
X1
X2
X3
a__U221
X
U221
X
mark
U33
X1
X2
X3
a__U33
mark
X1
X2
X3
a__U246
tt
tt
mark
U182
X1
X2
a__U182
mark
X1
X2
a__U304
tt
Y
mark
Y
a__U34
tt
N
mark
N
a__U322
X1
X2
X3
X4
U322
X1
X2
X3
X4
a__U261
X1
X2
U261
X1
X2
a__U22
tt
X
Y
a__U23
a__isLNat
Y
X
Y
mark
isPLNat
X
a__isPLNat
X
a__U253
X1
X2
X3
U253
X1
X2
X3
mark
U331
X1
X2
X3
a__U331
mark
X1
X2
X3
a__U203
tt
V1
V2
a__U204
a__isLNatKind
V2
V1
V2
a__U243
tt
V1
V2
a__U244
a__isLNatKind
V2
V1
V2
a__U343
tt
N
XS
a__U344
a__isLNatKind
XS
N
XS
a__U102
tt
V1
V2
a__U103
a__isLNatKind
V2
V1
V2
mark
U56
X
mark
X
mark
U193
X
mark
X
mark
U221
X
mark
X
mark
U122
X
mark
X
mark
U327
X1
X2
mark
X1
mark
s
X
mark
X
true
U291
3
20507
a__U193
1
0
a__U83
1
0
U231
2
1
1
U301
3
3
0
a__U293
3
6
a__U241
3
7
U204
3
2
3
1850
a__U324
4
1
33928
a__U302
2
1
0
a__isNaturalKind
1
0
a__U325
4
1
33926
a__U151
1
3
a__U292
3
1
20508
a__U73
1
0
a__U131
1
0
a__U63
1
1
2
U21
3
2
3
9089
U261
2
2
a__U102
3
1
3
14
U254
3
3
1
U333
2
4
a__U82
2
0
a__U332
2
6
a__U45
2
3
U193
1
1
1698
a__U72
2
0
a__U242
3
0
a__U246
1
3
U161
1
0
a__U321
4
2
a__U71
2
0
a__U232
1
1
16201
U182
2
2
6373
a__U291
3
2
U11
3
1
3
a__U171
2
3
a__U92
2
0
a__U104
3
1
16
a__U294
3
6
a__U182
2
1
2
6374
a__U191
2
1
2
29518
a__U281
2
1
U243
3
2
7
a__U245
2
1
1
a__U112
1
0
s
1
1
33922
U105
2
2
19
U303
2
2
38750
a__U292
3
2
a__U24
2
4
a__U341
3
2
a__U31
3
2
a__U243
3
2
7
a__U33
3
0
a__U93
1
0
a__head
1
2
U192
2
2
1
a__U253
3
0
U24
2
4
a__U33
3
4
U106
1
1
a__U24
2
2
a__natsFrom
1
2
isPLNatKind
1
4
a__U252
3
0
a__U256
1
0
a__U244
3
7
a__U343
3
1
5
U242
3
3
7
a__U303
2
2
U262
1
3
U244
3
7
U272
1
1
U56
1
1
2
a__U191
2
0
a__U272
1
0
a__U23
3
2
a__U55
2
7
isPLNat
1
1
2
a__snd
1
0
a__U331
3
1
2
a__U312
2
2
a__afterNth
2
1
U42
3
1
4
U91
2
1
27957
U221
1
1
0
U293
3
1
2
3
6
a__U73
1
24424
a__U106
1
0
U325
4
3
4
33927
a__U82
2
1
2
1
a__U182
2
0
take
2
1
9
a__U14
3
2
U71
2
2
43960
a__U62
2
9
a__U44
3
3
U131
1
2
U206
1
37276
a__U221
1
4
U101
3
2
3
14
a__U43
3
0
a__U334
2
2
pair
2
33932
U255
2
2
3
a__U326
4
2
a__U261
2
3
fst
1
1
U111
2
2
1
U43
3
1
3
4
a__U13
3
1
a__U121
2
1
1
a__U262
1
3
a__U246
1
0
a__U44
3
0
a__U204
3
0
U103
3
3
0
a__U111
2
1
2
1
a__U272
1
1
1
natsFrom
1
24415
U281
2
1
a__U103
3
0
a__U301
3
2
U44
3
3
U55
2
1
a__U46
1
0
a__snd
1
4
a__U252
3
4
U253
3
3
1
U312
2
2
33933
a__U206
1
0
a__U181
2
0
a__U193
1
2
a__U271
2
1
2
a__U51
3
0
U341
3
1
3
11
a__U254
3
4
U23
3
2
3
3534
U292
3
20508
U342
3
3
7
a__U172
1
3
U63
1
27022
a__U56
1
0
a__U344
3
2
a__U22
3
1
3532
U172
1
2
U93
1
9432
splitAt
2
1
13925
isNaturalKind
1
6021
U326
4
1
2
3
33931
a__U323
4
2
a__U106
1
3
U72
2
2
24421
a__U11
3
1
a__U291
3
20511
U241
3
6
U34
2
2
a__U192
2
1
a__U31
3
4
a__U51
3
7
a__U253
3
1
1
a__U81
2
1
2
2
a__U53
3
0
a__U205
2
0
a__take
2
2
a__U172
1
0
a__U255
2
0
U12
3
0
a__U43
3
3
U271
2
2
a__U231
2
2
6
a__U232
1
0
a__isLNatKind
1
0
a__U62
2
0
a__U321
4
1
3
33923
a__U206
1
1
37276
isNatural
1
1
1
U302
2
0
U54
3
8
a__U42
3
0
a__U183
1
0
a__U41
3
3
U232
1
16201
a__U262
1
0
a__U122
1
0
a__U12
3
0
U205
2
2
6839
a__U205
2
1853
U201
3
2
3
20510
U104
3
0
a__U122
1
3
a__U14
3
47722
a__U81
2
0
a__U21
3
2
a__U161
1
1
0
a__U61
2
0
a__U333
2
2
a__U34
2
4
U252
3
4
a__U261
2
0
U141
1
2
a__fst
1
1
1
tail
1
1
22588
a__natsFrom
1
24415
a__U302
2
2
U83
1
630
a__U294
3
2
mark
1
1
2
a__U204
3
1
1849
0
0
1
a__U211
1
0
U294
3
3
a__U244
3
0
a__isLNat
1
1
6
U191
2
2
29518
U343
3
3
5
a__U251
3
4
U73
1
1
24425
a__U282
2
2
a__U21
3
1
9089
U332
2
2
3
a__U311
2
3
U171
2
3
a__U32
3
4
a__U91
2
1
a__U231
2
0
sel
2
20511
U202
3
2
3
7853
afterNth
2
1
a__U151
1
0
a__U111
2
0
a__U161
1
0
a__U242
3
2
7
a__U141
1
0
nil
0
4585
a__splitAt
2
1
1
isLNat
1
1
1
U246
1
1
a__U245
2
0
U62
2
1
2
4
a__U52
3
0
a__U211
1
0
a__U102
3
0
U304
2
2
17285
U45
2
1
a__sel
2
2
mark
1
1
4
U151
1
3
a__isLNat
1
0
a__U56
1
7
a__U342
3
2
a__U72
2
1
24420
U334
2
4
a__U101
3
0
a__U11
3
3
U32
3
4
a__U53
3
1
3
4
a__U141
1
3
a__U322
4
3
33927
a__sel
2
2
20511
a__U42
3
2
3
3
a__U93
1
2
U33
3
2
3
4
a__U45
2
0
a__U52
3
2
3
7
a__U181
2
6
isLNatKind
1
1
3
U14
3
47717
U211
1
1
15431
a__U243
3
0
a__U54
3
0
U203
3
2
3
1848
a__U105
2
0
a__U202
3
0
a__U12
3
1
0
U327
2
1
33931
a__U104
3
0
a__U201
3
0
a__U63
1
0
a__isPLNat
1
8
a__U327
2
2
33931
U46
1
1
a__U332
2
2
a__U326
4
4
33930
U251
3
2
a__U322
4
2
a__isLNatKind
1
3
a__U121
2
0
U52
3
1
3
2
a__U254
3
0
a__U324
4
2
a__U281
2
2
a__U251
3
0
U61
2
3
a__U46
1
3
a__U22
3
2
a__U13
3
1
3
47719
a__U304
2
1
17286
U31
3
4
a__U83
1
0
a__U171
2
0
a__U71
2
1
24419
U183
1
2
U245
2
1
U92
2
1
1
a__isPLNat
1
0
a__U203
3
0
head
1
5
a__afterNth
2
2
U112
1
1
a__U343
3
1
a__splitAt
2
2
a__isPLNatKind
1
0
a__U192
2
0
a__U255
2
1
3
cons
2
1
a__U344
3
6
a__U92
2
1
U323
4
33928
a__U61
2
8
U102
3
2
3
15
a__U105
2
1
19
a__U334
2
4
snd
1
1
0
a__take
2
11
U256
1
3
a__U301
3
1
0
U81
2
2
3
a__U41
3
0
U82
2
2
2
a__U304
2
2
tt
0
3
a__isNatural
1
1
1
a__isNaturalKind
1
3
a__U131
1
3
a__isNatural
1
0
U13
3
47719
a__fst
1
2
a__U23
3
2
3535
a__U311
2
2
a__U201
3
1
3
20510
a__U271
2
0
a__U202
3
1
7853
U321
4
3
4
33923
a__U282
2
1
a__U241
3
0
a__U183
1
3
a__U333
2
4
U22
3
2
3
3532
a__U293
3
1
U51
3
2
3
2
U311
2
28695
a__U325
4
2
a__U34
2
0
U322
4
3
33928
U344
3
3
a__U342
3
3
11
a__tail
1
1
22588
a__U103
3
1
2
15
a__U54
3
2
3
7
a__isPLNatKind
1
5
U53
3
5
a__U303
2
1
38751
a__U323
4
1
33927
a__U55
2
0
a__U112
1
3
a__U331
3
2
U41
3
1
2
3
4
a__tail
1
2
a__U203
3
1
1848
a__U32
3
0
a__U221
1
0
a__U101
3
1
13
a__U91
2
0
a__U341
3
3
11
U282
2
1
a__U256
1
3
U121
2
2
1
a__head
1
1
5
U181
2
1
U324
4
2
3
4
33927
U331
3
2
U122
1
1
3
a__U312
2
33932
a__U327
2
2
mark
U221
X
mark
X
a__U161
tt
tt
a__U302
X1
X2
U302
X1
X2
a__fst
X
fst
X
a__isPLNatKind
pair
V1
V2
a__U261
a__isLNatKind
V1
V2
mark
U131
X
a__U131
mark
X
a__U111
tt
V2
a__U112
a__isLNatKind
V2
a__U252
X1
X2
X3
U252
X1
X2
X3
a__U262
tt
tt
a__U161
X
U161
X
a__U331
X1
X2
X3
U331
X1
X2
X3
a__U245
X1
X2
U245
X1
X2
a__U272
X
U272
X
a__U141
tt
tt
mark
U282
X1
X2
a__U282
mark
X1
X2
a__U171
X1
X2
U171
X1
X2
a__U44
X1
X2
X3
U44
X1
X2
X3
a__U13
X1
X2
X3
U13
X1
X2
X3
a__U344
X1
X2
X3
U344
X1
X2
X3
a__isNaturalKind
0
tt
mark
pair
X1
X2
pair
mark
X1
mark
X2
a__U172
X
U172
X
a__U31
X1
X2
X3
U31
X1
X2
X3
a__natsFrom
N
a__U281
a__isNatural
N
N
a__U171
tt
V2
a__U172
a__isLNatKind
V2
a__U151
tt
tt
mark
U151
X
a__U151
mark
X
a__U112
X
U112
X
mark
U261
X1
X2
a__U261
mark
X1
X2
a__U241
X1
X2
X3
U241
X1
X2
X3
a__tail
X
tail
X
a__isNatural
X
isNatural
X
a__U251
X1
X2
X3
U251
X1
X2
X3
mark
U281
X1
X2
a__U281
mark
X1
X2
a__U206
X
U206
X
mark
U141
X
a__U141
mark
X
mark
U45
X1
X2
a__U45
mark
X1
X2
a__U243
X1
X2
X3
U243
X1
X2
X3
mark
0
0
a__isLNatKind
natsFrom
V1
a__U141
a__isNaturalKind
V1
a__U182
tt
V1
a__U183
a__isLNat
V1
mark
nil
nil
a__U24
X1
X2
U24
X1
X2
a__U105
tt
V2
a__U106
a__isLNat
V2
a__U46
tt
tt
mark
U172
X
a__U172
mark
X
mark
tt
tt
a__U45
tt
V2
a__U46
a__isLNat
V2
a__U182
X1
X2
U182
X1
X2
a__U232
tt
tt
mark
U256
X
a__U256
mark
X
mark
U171
X1
X2
a__U171
mark
X1
X2
a__isLNatKind
fst
V1
a__U131
a__isPLNatKind
V1
a__U294
X1
X2
X3
U294
X1
X2
X3
a__U172
tt
tt
a__U111
X1
X2
U111
X1
X2
a__afterNth
X1
X2
afterNth
X1
X2
a__U32
X1
X2
X3
U32
X1
X2
X3
a__isLNatKind
take
V1
V2
a__U171
a__isNaturalKind
V1
V2
a__U183
X
U183
X
a__U256
tt
tt
a__U34
X1
X2
U34
X1
X2
a__U246
X
U246
X
mark
U44
X1
X2
X3
a__U44
mark
X1
X2
X3
a__U131
tt
tt
mark
cons
X1
X2
cons
mark
X1
X2
a__U272
tt
tt
a__U262
X
U262
X
a__U122
tt
tt
mark
U262
X
a__U262
mark
X
mark
U246
X
a__U246
mark
X
a__natsFrom
X
natsFrom
X
a__U245
tt
V2
a__U246
a__isLNat
V2
a__U141
X
U141
X
a__isLNatKind
snd
V1
a__U151
a__isPLNatKind
V1
a__U183
tt
tt
a__head
X
head
X
a__isPLNatKind
X
isPLNatKind
X
a__sel
X1
X2
sel
X1
X2
a__U281
tt
N
a__U282
a__isNaturalKind
N
N
a__U14
X1
X2
X3
U14
X1
X2
X3
mark
natsFrom
X
a__natsFrom
mark
X
a__U112
tt
tt
a__U281
X1
X2
U281
X1
X2
a__U255
tt
V2
a__U256
a__isLNat
V2
a__U291
X1
X2
X3
U291
X1
X2
X3
a__U342
X1
X2
X3
U342
X1
X2
X3
a__U151
X
U151
X
a__U244
X1
X2
X3
U244
X1
X2
X3
a__U256
X
U256
X
a__U282
X1
X2
U282
X1
X2
a__U106
tt
tt
a__U181
X1
X2
U181
X1
X2
a__U45
X1
X2
U45
X1
X2
a__U131
X
U131
X
a__U271
X1
X2
U271
X1
X2
a__U292
X1
X2
X3
U292
X1
X2
X3
a__U46
X
U46
X
mark
U106
X
a__U106
mark
X
a__U282
tt
N
cons
mark
N
natsFrom
s
N
mark
U183
X
a__U183
mark
X
a__isLNatKind
nil
tt
a__U12
X1
X2
X3
U12
X1
X2
X3
a__U261
tt
V2
a__U262
a__isLNatKind
V2
a__U333
X1
X2
U333
X1
X2
a__U191
X1
X2
U191
X1
X2
a__U334
X1
X2
U334
X1
X2
a__U44
tt
V1
V2
a__U45
a__isNatural
V1
V2
mark
U112
X
a__U112
mark
X
mark
U46
X
a__U46
mark
X
a__U232
X
U232
X
a__U106
X
U106
X
a__U246
tt
tt
a__U261
X1
X2
U261
X1
X2
mark
U221
X
mark
X
true
U291
3
20490
a__U193
1
0
a__U83
1
0
U231
2
1
1
U301
3
3
0
a__U293
3
20493
a__U241
3
17
U204
3
2
3
3862
a__U324
4
1
8
a__U302
2
1
0
a__isNaturalKind
1
0
a__U325
4
1
0
a__U151
1
3
a__U292
3
1
20490
a__U73
1
0
a__U131
1
0
a__U63
1
1
1
U21
3
2
3
1
U261
2
1
a__U102
3
1
3
27634
U254
3
3
3
U333
2
2
a__U82
2
0
a__U332
2
7340
a__U45
2
3
U193
1
1
1698
a__U72
2
0
a__U242
3
0
a__U246
1
3
U161
1
0
a__U321
4
2
a__U71
2
0
a__U232
1
1
16200
U182
2
2
26860
a__U291
3
2
U11
3
1
1
a__U171
2
3
a__U92
2
0
a__U104
3
1
27636
a__U294
3
20493
a__U182
2
1
2
26861
a__U191
2
1
2
1
a__U281
2
1
U243
3
2
14
a__U245
2
1
5
a__U112
1
0
s
1
1
3
U105
2
2
27639
U303
2
2
38750
a__U292
3
2
a__U24
2
3
a__U341
3
2
a__U31
3
2
a__U243
3
2
17
a__U33
3
0
a__U93
1
0
a__head
1
2
U192
2
2
1
a__U253
3
0
U24
2
2
a__U33
3
4
U106
1
2
a__U24
2
2
a__natsFrom
1
2
isPLNatKind
1
3
a__U252
3
0
a__U256
1
0
a__U244
3
17
a__U343
3
1
21859
U242
3
3
14
a__U303
2
2
U262
1
3
U244
3
15
U272
1
1
U56
1
1
1
a__U191
2
0
a__U272
1
0
a__U23
3
2
a__U55
2
7
isPLNat
1
1
2
a__snd
1
0
a__U331
3
1
2
a__U312
2
2
a__afterNth
2
1
U42
3
1
4
U91
2
1
27957
U221
1
1
2
U293
3
1
2
3
20490
a__U73
1
24424
a__U106
1
0
U325
4
3
4
33919
a__U82
2
1
2
5875
a__U182
2
0
take
2
1
27623
a__U14
3
2
U71
2
2
43960
a__U62
2
17
a__U44
3
3
U131
1
2
U206
1
37276
a__U221
1
4
U101
3
2
3
27634
a__U43
3
0
a__U334
2
2
pair
2
10
U255
2
2
4
a__U326
4
2
a__U261
2
3
fst
1
3
U111
2
2
3136
U43
3
1
3
15354
a__U13
3
1
a__U121
2
1
1
a__U262
1
3
a__U246
1
0
a__U44
3
0
a__U204
3
0
U103
3
3
0
a__U111
2
1
2
3136
a__U272
1
1
1
natsFrom
1
1
U281
2
1
a__U103
3
0
a__U301
3
2
U44
3
1
U55
2
3
a__U46
1
0
a__snd
1
0
a__U252
3
14
U253
3
3
11
U312
2
2
11
a__U206
1
0
a__U181
2
0
a__U193
1
2
a__U271
2
1
1
a__U51
3
0
U341
3
1
3
27623
a__U254
3
5
U23
3
2
3
2
U292
3
20490
U342
3
3
21870
a__U172
1
3
U63
1
27020
a__U56
1
0
a__U344
3
2
a__U22
3
1
1
U172
1
3
U93
1
9431
splitAt
2
1
13925
isNaturalKind
1
6021
U326
4
1
2
3
33923
a__U323
4
2
a__U106
1
3
U72
2
2
24421
a__U11
3
1
a__U291
3
20493
U241
3
14
U34
2
4
a__U192
2
1
a__U31
3
4
a__U51
3
8
a__U253
3
1
11
a__U81
2
1
2
9
a__U53
3
0
a__U205
2
0
a__take
2
2
a__U172
1
0
a__U255
2
0
U12
3
0
a__U43
3
3
U271
2
1
a__U231
2
2
5
a__U232
1
0
a__isLNatKind
1
0
a__U62
2
0
a__U321
4
1
3
3
a__U206
1
1
37276
isNatural
1
1
1
U302
2
0
U54
3
8
a__U42
3
0
a__U183
1
0
a__U41
3
3
U232
1
16200
a__U262
1
0
a__U122
1
0
a__U12
3
0
U205
2
2
3866
a__U205
2
3865
U201
3
2
3
20510
U104
3
0
a__U122
1
3
a__U14
3
12152
a__U81
2
0
a__U21
3
2
a__U161
1
1
0
a__U61
2
0
a__U333
2
2
a__U34
2
4
U252
3
11
a__U261
2
0
U141
1
3
a__fst
1
1
3
tail
1
1
2
a__natsFrom
1
1
a__U302
2
2
U83
1
630
a__U294
3
2
mark
1
1
2
a__U204
3
1
3861
0
0
1
a__U211
1
0
U294
3
20490
a__U244
3
0
a__isLNat
1
1
12
U191
2
2
1
U343
3
3
21859
a__U251
3
14
U73
1
1
24425
a__U282
2
2
a__U21
3
1
1
U332
2
2
7337
a__U311
2
2
U171
2
3
a__U32
3
4
a__U91
2
1
a__U231
2
0
sel
2
20511
U202
3
2
3
7853
afterNth
2
1
a__U151
1
0
a__U111
2
0
a__U161
1
0
a__U242
3
2
17
a__U141
1
0
nil
0
1
a__splitAt
2
1
0
isLNat
1
1
1
U246
1
2
a__U245
2
0
U62
2
1
2
9
a__U52
3
0
a__U211
1
0
a__U102
3
0
U304
2
2
23012
U45
2
3
a__sel
2
2
mark
1
1
3
U151
1
2
a__isLNat
1
0
a__U56
1
5
a__U342
3
2
a__U72
2
1
24420
U334
2
3
a__U101
3
0
a__U11
3
3
U32
3
4
a__U53
3
1
3
4
a__U141
1
3
a__U322
4
3
7
a__sel
2
2
20511
a__U42
3
2
3
3
a__U93
1
2
U33
3
2
3
1
a__U45
2
0
a__U52
3
2
3
8
a__U181
2
20493
isLNatKind
1
1
3
U14
3
12148
U211
1
1
15431
a__U243
3
0
a__U54
3
0
U203
3
2
3
3860
a__U105
2
0
a__U202
3
0
a__U12
3
1
0
U327
2
1
2
a__U104
3
0
a__U201
3
0
a__U63
1
0
a__isPLNat
1
17
a__U327
2
2
5
U46
1
2
a__U332
2
2
a__U326
4
4
4
U251
3
14
a__U322
4
2
a__isLNatKind
1
3
a__U121
2
0
U52
3
1
3
4
a__U254
3
0
a__U324
4
2
a__U281
2
2
a__U251
3
0
U61
2
12
a__U46
1
3
a__U22
3
2
a__U13
3
1
3
47719
a__U304
2
1
23013
U31
3
4
a__U83
1
0
a__U171
2
0
a__U71
2
1
24419
U183
1
1
U245
2
5
U92
2
1
1
a__isPLNat
1
0
a__U203
3
0
head
1
20492
a__afterNth
2
2
U112
1
2
a__U343
3
1
a__splitAt
2
2
a__isPLNatKind
1
0
a__U192
2
0
a__U255
2
1
4
cons
2
1
a__U344
3
6
a__U92
2
1
U323
4
9
a__U61
2
16
U102
3
2
3
27635
a__U105
2
1
27639
a__U334
2
3
snd
1
1
0
a__take
2
27626
U256
1
3
a__U301
3
1
0
U81
2
2
10
a__U41
3
0
U82
2
2
5876
a__U304
2
2
tt
0
3
a__isNatural
1
1
1
a__isNaturalKind
1
3
a__U131
1
3
a__isNatural
1
0
U13
3
47719
a__fst
1
2
a__U23
3
2
4
a__U311
2
2
a__U201
3
1
3
20510
a__U271
2
0
a__U202
3
1
7853
U321
4
3
4
3
a__U282
2
1
a__U241
3
0
a__U183
1
3
a__U333
2
3
U22
3
2
3
1
a__U293
3
1
U51
3
2
3
1
U311
2
28694
a__U325
4
2
a__U34
2
0
U322
4
3
33927
U344
3
3
a__U342
3
3
21871
a__tail
1
1
2
a__U103
3
1
2
27635
a__U54
3
2
3
7
a__isPLNatKind
1
4
U53
3
5
a__U303
2
1
38751
a__U323
4
1
7
a__U55
2
0
a__U112
1
3
a__U331
3
2
U41
3
1
2
3
4
a__tail
1
2
a__U203
3
1
3860
a__U32
3
0
a__U221
1
0
a__U101
3
1
27633
a__U91
2
0
a__U341
3
3
27626
U282
2
1
a__U256
1
3
U121
2
2
1
a__head
1
1
20492
U181
2
11568
U324
4
2
3
4
1
U331
3
2
U122
1
1
3
a__U312
2
10
a__U327
2
2
a__U161
tt
tt
a__U302
X1
X2
U302
X1
X2
a__fst
X
fst
X
a__isPLNatKind
pair
V1
V2
a__U261
a__isLNatKind
V1
V2
mark
U131
X
a__U131
mark
X
a__U111
tt
V2
a__U112
a__isLNatKind
V2
a__U252
X1
X2
X3
U252
X1
X2
X3
a__U262
tt
tt
a__U161
X
U161
X
a__U331
X1
X2
X3
U331
X1
X2
X3
a__U245
X1
X2
U245
X1
X2
a__U272
X
U272
X
a__U141
tt
tt
mark
U282
X1
X2
a__U282
mark
X1
X2
a__U171
X1
X2
U171
X1
X2
a__U44
X1
X2
X3
U44
X1
X2
X3
a__U13
X1
X2
X3
U13
X1
X2
X3
a__U344
X1
X2
X3
U344
X1
X2
X3
a__isNaturalKind
0
tt
mark
pair
X1
X2
pair
mark
X1
mark
X2
a__U172
X
U172
X
a__U31
X1
X2
X3
U31
X1
X2
X3
a__natsFrom
N
a__U281
a__isNatural
N
N
a__U171
tt
V2
a__U172
a__isLNatKind
V2
a__U151
tt
tt
mark
U151
X
a__U151
mark
X
a__U112
X
U112
X
mark
U261
X1
X2
a__U261
mark
X1
X2
a__U241
X1
X2
X3
U241
X1
X2
X3
a__tail
X
tail
X
a__isNatural
X
isNatural
X
a__U251
X1
X2
X3
U251
X1
X2
X3
mark
U281
X1
X2
a__U281
mark
X1
X2
a__U206
X
U206
X
mark
U141
X
a__U141
mark
X
mark
U45
X1
X2
a__U45
mark
X1
X2
a__U243
X1
X2
X3
U243
X1
X2
X3
mark
0
0
a__isLNatKind
natsFrom
V1
a__U141
a__isNaturalKind
V1
a__U182
tt
V1
a__U183
a__isLNat
V1
mark
nil
nil
a__U24
X1
X2
U24
X1
X2
a__U105
tt
V2
a__U106
a__isLNat
V2
a__U46
tt
tt
mark
U172
X
a__U172
mark
X
mark
tt
tt
a__U45
tt
V2
a__U46
a__isLNat
V2
a__U182
X1
X2
U182
X1
X2
a__U232
tt
tt
mark
U256
X
a__U256
mark
X
mark
U171
X1
X2
a__U171
mark
X1
X2
a__isLNatKind
fst
V1
a__U131
a__isPLNatKind
V1
a__U294
X1
X2
X3
U294
X1
X2
X3
a__U172
tt
tt
a__U111
X1
X2
U111
X1
X2
a__afterNth
X1
X2
afterNth
X1
X2
a__U32
X1
X2
X3
U32
X1
X2
X3
a__isLNatKind
take
V1
V2
a__U171
a__isNaturalKind
V1
V2
a__U183
X
U183
X
a__U256
tt
tt
a__U34
X1
X2
U34
X1
X2
a__U246
X
U246
X
mark
U44
X1
X2
X3
a__U44
mark
X1
X2
X3
a__U131
tt
tt
mark
cons
X1
X2
cons
mark
X1
X2
a__U272
tt
tt
a__U262
X
U262
X
a__U122
tt
tt
mark
U262
X
a__U262
mark
X
mark
U246
X
a__U246
mark
X
a__natsFrom
X
natsFrom
X
a__U245
tt
V2
a__U246
a__isLNat
V2
a__U141
X
U141
X
a__isLNatKind
snd
V1
a__U151
a__isPLNatKind
V1
a__U183
tt
tt
a__head
X
head
X
a__isPLNatKind
X
isPLNatKind
X
a__sel
X1
X2
sel
X1
X2
a__U281
tt
N
a__U282
a__isNaturalKind
N
N
a__U14
X1
X2
X3
U14
X1
X2
X3
mark
natsFrom
X
a__natsFrom
mark
X
a__U112
tt
tt
a__U281
X1
X2
U281
X1
X2
a__U255
tt
V2
a__U256
a__isLNat
V2
a__U291
X1
X2
X3
U291
X1
X2
X3
a__U342
X1
X2
X3
U342
X1
X2
X3
a__U151
X
U151
X
a__U244
X1
X2
X3
U244
X1
X2
X3
a__U256
X
U256
X
a__U282
X1
X2
U282
X1
X2
a__U106
tt
tt
a__U181
X1
X2
U181
X1
X2
a__U45
X1
X2
U45
X1
X2
a__U131
X
U131
X
a__U271
X1
X2
U271
X1
X2
a__U292
X1
X2
X3
U292
X1
X2
X3
a__U46
X
U46
X
mark
U106
X
a__U106
mark
X
a__U282
tt
N
cons
mark
N
natsFrom
s
N
mark
U183
X
a__U183
mark
X
a__isLNatKind
nil
tt
a__U12
X1
X2
X3
U12
X1
X2
X3
a__U261
tt
V2
a__U262
a__isLNatKind
V2
a__U333
X1
X2
U333
X1
X2
a__U191
X1
X2
U191
X1
X2
a__U334
X1
X2
U334
X1
X2
a__U44
tt
V1
V2
a__U45
a__isNatural
V1
V2
mark
U112
X
a__U112
mark
X
mark
U46
X
a__U46
mark
X
a__U232
X
U232
X
a__U106
X
U106
X
a__U246
tt
tt
a__U261
X1
X2
U261
X1
X2
a__U322
tt
N
X
XS
a__U323
a__isNatural
X
N
X
XS
a__U326
tt
N
X
XS
a__splitAt
mark
N
mark
XS
a__U324
tt
N
X
XS
a__U325
a__isLNat
XS
N
X
XS
a__U325
tt
N
X
XS
a__U326
a__isLNatKind
XS
N
X
XS
a__splitAt
s
N
cons
X
XS
a__U321
a__isNatural
N
N
X
XS
a__U321
tt
N
X
XS
a__U322
a__isNaturalKind
N
N
X
XS
a__U323
tt
N
X
XS
a__U324
a__isNaturalKind
X
N
X
XS
true
a__U193
1
1
U231
2
1
a__U131
1
1
a__U24
2
2
U24
2
2
U272
1
1
a__U23
3
2
a__U106
1
1
a__U13
3
2
a__U272
1
1
a__U206
1
1
U23
3
2
a__U255
2
1
a__U231
2
1
a__U282
2
2
mark
1
1
a__U45
2
2
isLNatKind
1
1
a__isLNatKind
1
1
a__fst
1
1
a__U23
3
2
a__U221
1
1
U291
3
19
a__U83
1
0
U301
3
2
a__U293
3
17
a__U241
3
3
U204
3
14
a__U324
4
5
a__U302
2
1
a__isNaturalKind
1
0
a__U325
4
4
4
3
2
a__U151
1
17
a__U292
3
18
2
3
a__U73
1
0
a__U63
1
10
U21
3
3
U261
2
16
a__U102
3
4
U254
3
17
U333
2
0
2
a__U82
2
0
1
2
a__U332
2
1
a__U45
2
1
U193
1
10
a__U72
2
0
a__U242
3
0
2
a__U246
1
11
U161
1
4
1
a__U321
4
14
2
4
3
a__U71
2
0
2
1
a__U232
1
10
U182
2
10
a__U291
3
0
2
3
U11
3
12
a__U171
2
16
a__U92
2
0
2
a__U104
3
5
3
a__U294
3
16
3
1
a__U182
2
10
a__U191
2
12
a__U281
2
18
U243
3
15
3
a__U245
2
12
a__U112
1
0
1
s
1
7
1
U105
2
4
U303
2
5
a__U292
3
0
3
2
1
a__U341
3
0
3
2
1
a__U31
3
0
a__U243
3
15
3
a__U33
3
0
a__U93
1
0
a__head
1
0
U192
2
11
a__U253
3
0
1
3
2
a__U33
3
7
U106
1
3
a__U24
2
0
a__natsFrom
1
0
isPLNatKind
1
16
a__U252
3
0
2
1
3
a__U256
1
0
a__U244
3
15
a__U343
3
1
U242
3
0
a__U303
2
0
2
1
U262
1
17
U244
3
15
U56
1
6
a__U191
2
0
1
2
a__U272
1
0
a__U55
2
8
isPLNat
1
19
a__snd
1
0
a__U331
3
17
3
a__U312
2
0
1
2
a__afterNth
2
15
1
U42
3
7
U91
2
16
1
U221
1
9
U293
3
17
a__U73
1
11
U325
4
4
4
3
2
a__U82
2
0
2
a__U182
2
0
2
1
take
2
16
a__U14
3
0
U71
2
8
a__U62
2
0
a__U44
3
1
U131
1
4
U206
1
14
a__U221
1
9
U101
3
4
2
3
a__U43
3
0
3
2
1
a__U334
2
0
2
1
pair
2
2
U255
2
12
1
a__U326
4
14
2
4
a__U261
2
16
fst
1
4
1
U111
2
15
U43
3
7
a__U121
2
16
a__U262
1
17
a__U246
1
0
a__U44
3
0
1
3
a__U204
3
0
2
3
1
U103
3
5
a__U111
2
15
natsFrom
1
19
U281
2
18
a__U103
3
0
1
3
a__U301
3
0
U44
3
1
U55
2
8
a__U46
1
0
a__snd
1
16
1
a__U252
3
17
U253
3
16
U312
2
3
2
a__U181
2
0
2
a__U193
1
10
a__U271
2
16
a__U51
3
0
3
2
1
U341
3
0
a__U254
3
17
U292
3
18
2
3
U342
3
1
a__U172
1
16
U63
1
10
a__U56
1
0
a__U344
3
0
2
3
1
a__U22
3
2
1
3
2
U172
1
16
U93
1
11
splitAt
2
13
isNaturalKind
1
8
U326
4
3
a__U323
4
14
2
4
3
a__U106
1
3
U72
2
7
a__U11
3
0
1
2
a__U291
3
19
U241
3
3
U34
2
6
2
a__U192
2
11
a__U31
3
8
2
a__U51
3
8
a__U253
3
16
a__U81
2
8
a__U53
3
0
1
3
a__U205
2
0
2
a__take
2
0
1
2
a__U172
1
0
U12
3
11
3
a__U43
3
7
U271
2
16
a__U232
1
0
a__isLNatKind
1
0
a__U62
2
0
1
a__U321
4
13
a__U206
1
14
isNatural
1
13
1
U302
2
1
U54
3
8
a__U42
3
0
3
a__U183
1
0
a__U41
3
8
U232
1
10
a__U262
1
0
a__U122
1
0
a__U12
3
0
U205
2
14
a__U205
2
14
U201
3
5
U104
3
5
3
a__U122
1
17
a__U14
3
5
a__U81
2
0
1
2
a__U21
3
0
1
a__U161
1
4
1
a__U61
2
0
1
2
a__U333
2
0
a__U34
2
6
2
U252
3
17
a__U261
2
0
2
U141
1
6
1
a__fst
1
4
1
tail
1
5
1
a__natsFrom
1
19
a__U302
2
0
U83
1
0
a__U294
3
0
1
3
mark
1
0
a__U204
3
14
0
0
9
a__U211
1
0
U294
3
16
3
1
a__U244
3
0
3
2
1
a__isLNat
1
8
U191
2
12
U343
3
1
a__U251
3
18
U73
1
11
a__U21
3
3
U332
2
1
a__U311
2
4
U171
2
16
a__U32
3
7
1
a__U91
2
16
1
a__U231
2
0
1
2
sel
2
20
U202
3
5
afterNth
2
15
1
a__U151
1
0
a__U111
2
0
2
1
a__U161
1
0
a__U242
3
0
a__U141
1
0
nil
0
0
a__splitAt
2
13
isLNat
1
8
U246
1
11
a__U245
2
0
2
U62
2
0
a__U52
3
0
1
2
3
a__U211
1
11
a__U102
3
0
3
2
1
U304
2
5
U45
2
1
a__sel
2
0
1
2
U151
1
17
a__isLNat
1
0
a__U56
1
6
a__U342
3
0
1
2
a__U72
2
7
U334
2
0
a__U101
3
0
3
1
2
a__U11
3
12
U32
3
7
1
a__U53
3
8
a__U141
1
6
1
a__U322
4
12
a__sel
2
20
a__U42
3
7
a__U93
1
11
U33
3
7
a__U52
3
8
a__U181
2
13
1
2
U14
3
5
U211
1
11
a__U243
3
0
1
2
a__U54
3
0
3
2
U203
3
15
3
a__U105
2
0
1
2
a__U202
3
0
2
a__U12
3
11
3
U327
2
2
2
a__U104
3
0
3
1
2
a__U201
3
0
1
3
a__U63
1
0
a__isPLNat
1
19
a__U327
2
2
2
U46
1
0
1
a__U332
2
0
2
1
a__U326
4
3
U251
3
18
a__U322
4
14
2
4
3
a__U121
2
0
1
2
U52
3
8
a__U254
3
0
1
2
3
a__U324
4
14
2
4
a__U281
2
0
2
1
a__U251
3
0
2
U61
2
17
a__U46
1
0
1
a__U22
3
0
a__U13
3
6
2
3
a__U304
2
5
U31
3
8
2
a__U83
1
0
a__U171
2
0
1
2
a__U71
2
8
U183
1
10
U245
2
12
U92
2
16
a__isPLNat
1
0
a__U203
3
0
2
head
1
16
a__afterNth
2
0
2
1
U112
1
15
a__U343
3
0
a__splitAt
2
14
1
a__isPLNatKind
1
0
a__U192
2
0
1
a__U255
2
12
1
cons
2
16
a__U344
3
5
a__U92
2
16
U323
4
11
3
a__U61
2
17
U102
3
4
a__U105
2
4
a__U334
2
0
snd
1
16
1
a__take
2
16
U256
1
11
a__U301
3
2
U81
2
8
a__U41
3
0
2
1
U82
2
0
2
a__U304
2
0
2
1
tt
0
10
a__isNatural
1
13
1
a__isNaturalKind
1
8
a__U131
1
4
a__isNatural
1
0
U13
3
6
2
3
a__U311
2
0
2
1
a__U201
3
5
a__U271
2
0
1
2
a__U202
3
5
U321
4
13
a__U282
2
17
a__U241
3
0
2
a__U183
1
10
a__U333
2
0
2
U22
3
2
1
3
2
a__U293
3
0
2
1
3
U51
3
8
U311
2
4
a__U325
4
14
2
4
a__U34
2
0
1
2
U322
4
12
U344
3
5
a__U342
3
1
a__tail
1
5
1
a__U103
3
5
a__U54
3
8
a__isPLNatKind
1
16
U53
3
8
a__U303
2
5
a__U323
4
11
3
a__U55
2
0
1
a__U112
1
15
a__U331
3
0
U41
3
8
a__tail
1
0
a__U203
3
15
3
a__U32
3
0
1
2
3
a__U101
3
4
2
3
a__U91
2
0
a__U341
3
0
U282
2
17
a__U256
1
11
U121
2
16
a__head
1
16
U181
2
13
1
2
U324
4
5
U331
3
17
3
U122
1
17
a__U312
2
3
2
a__U327
2
0
U291
3
2
531474
3
531477
0
a__U83
1
1
U301
3
3
106280
0
a__U293
3
1
425171
2
425170
3
531475
0
a__U241
3
1
136289
2
136288
3
136286
0
U204
3
3
21838
0
a__U324
4
2
80432
3
155520
4
80431
0
a__U302
2
2
13846
0
a__isNaturalKind
1
1
a__U325
4
2
80432
3
155519
4
80431
0
a__U151
1
0
a__U292
3
2
531474
3
531476
0
a__U73
1
1
a__U63
1
238464
U21
3
1
49217
2
49219
3
49217
0
U261
2
2
50964
0
a__U102
3
1
106285
2
106287
3
106289
0
U254
3
2
212597
0
U333
2
1
1
2
19699
0
a__U82
2
1
1
2
1
0
a__U332
2
1
106305
2
106304
0
a__U45
2
2
106303
0
U193
1
0
a__U72
2
2
1
0
a__U242
3
2
1
3
1
0
a__U246
1
0
U161
1
1
0
a__U321
4
1
106292
2
212586
3
318878
4
212579
0
a__U71
2
1
1
2
1
0
a__U232
1
0
U182
2
1
106303
2
1
0
a__U291
3
1
2
3
1
U11
3
2
212580
3
106291
0
a__U171
2
0
a__U92
2
2
1
0
a__U104
3
3
40877
0
a__U294
3
1
531475
2
425170
3
318880
0
a__U182
2
1
106303
2
1
0
a__U191
2
1
1
0
a__U281
2
2
318878
0
U243
3
1
136283
2
136281
3
136284
0
a__U245
2
1
29977
0
a__U112
1
1
1
s
1
1
0
U105
2
2
28834
0
U303
2
2
1
0
a__U292
3
1
2
3
0
a__U341
3
1
2
3
1
a__U31
3
1
1
a__U243
3
1
136283
2
136281
3
136284
0
a__U33
3
3
1
a__U93
1
1
a__head
1
1
U192
2
0
a__U253
3
1
1
2
1
3
1
0
a__U33
3
2
47711
3
106298
0
U106
1
1
a__U24
2
1
1
a__natsFrom
1
1
isPLNatKind
1
1
1745
a__U252
3
1
1
2
1
3
1
0
a__U256
1
1
a__U244
3
1
136278
2
136280
0
a__U343
3
2
320645
3
320646
0
U242
3
1
136287
2
136282
3
136285
0
a__U303
2
1
2
1
U262
1
0
U244
3
1
136278
2
136280
0
U56
1
1
a__U191
2
1
1
2
1
0
a__U272
1
1
a__U55
2
1
1
0
isPLNat
1
1
238462
a__snd
1
1
a__U331
3
2
106305
3
212597
0
a__U312
2
1
2
0
a__afterNth
2
1
212581
2
106291
0
U42
3
3
106307
0
U91
2
1
17020
2
106305
0
U221
1
1
U293
3
1
425171
2
425170
3
531475
0
a__U73
1
8837
U325
4
2
80432
3
155519
4
80431
0
a__U82
2
2
25851
0
a__U182
2
1
1
2
1
0
take
2
1
2
320651
a__U14
3
2
3
1
U71
2
1
212586
2
212587
0
a__U62
2
1
238465
2
238463
0
a__U44
3
3
106304
0
U131
1
240211
U206
1
0
a__U221
1
1
U101
3
1
212577
2
106288
3
106290
0
a__U43
3
1
1
2
1
3
1
0
a__U334
2
1
2
1
pair
2
1
49218
2
80427
0
U255
2
1
106303
0
a__U326
4
1
212579
2
212586
3
212582
4
212579
0
a__U261
2
2
50964
0
fst
1
1
240211
U111
2
1
0
2
106290
0
U43
3
1
106306
3
106305
0
a__U121
2
1
6
2
0
0
a__U262
1
0
a__U246
1
1
a__U44
3
1
1
3
1
0
a__U204
3
1
1
2
1
3
1
0
U103
3
3
106286
0
a__U111
2
1
0
2
106290
0
natsFrom
1
1
318878
U281
2
2
318878
0
a__U103
3
1
1
3
1
0
a__U301
3
1
0
U44
3
3
106304
0
U55
2
1
1
0
a__U46
1
1
a__snd
1
1
25853
a__U252
3
2
212599
0
U253
3
2
212598
0
U312
2
1
80428
2
80429
0
a__U181
2
2
1
0
a__U193
1
0
a__U271
2
2
82176
0
a__U51
3
1
1
2
1
3
1
0
U341
3
2
320649
3
320650
0
a__U254
3
2
212597
0
U292
3
2
531474
3
531476
0
U342
3
1
0
2
320648
3
320647
0
a__U172
1
0
U63
1
238464
a__U56
1
1
a__U344
3
1
1
2
1
3
1
0
a__U22
3
1
21445
2
0
3
0
0
U172
1
0
U93
1
106304
splitAt
2
1
80432
2
80431
0
isNaturalKind
1
106291
U326
4
2
80432
3
155518
4
80431
0
a__U323
4
1
212578
2
212586
3
212585
4
212579
0
a__U106
1
1
U72
2
1
106294
2
8836
0
a__U11
3
1
2
3
1
a__U291
3
2
531474
3
531477
0
U241
3
1
136289
2
136288
3
136286
0
U34
2
2
3441
0
a__U192
2
0
a__U31
3
1
212594
2
318887
3
106298
0
a__U51
3
1
106310
2
106300
3
106301
0
a__U253
3
2
212598
0
a__U81
2
2
25852
0
a__U53
3
1
1
3
1
0
a__U205
2
2
1
0
a__take
2
1
2
1
a__U172
1
1
U12
3
1
106288
2
106288
3
106290
0
a__U43
3
1
106306
3
106305
0
U271
2
2
82176
0
a__U232
1
1
a__isLNatKind
1
1
a__U62
2
1
1
0
a__U321
4
2
80432
3
186730
4
80431
0
a__U206
1
0
isNatural
1
1
106293
U302
2
2
13846
0
U54
3
1
106294
2
106294
0
a__U42
3
3
1
0
a__U183
1
1
a__U41
3
3
212582
0
U232
1
0
a__U262
1
1
a__U122
1
1
a__U12
3
0
U205
2
0
a__U205
2
0
U201
3
1
106292
2
212588
3
212587
0
U104
3
3
40877
0
a__U122
1
1
a__U14
3
2
106286
3
106288
0
a__U81
2
1
1
2
1
0
a__U21
3
1
1
a__U161
1
1
0
a__U61
2
1
1
2
1
0
a__U333
2
2
1
a__U34
2
2
3441
0
U252
3
2
212599
0
a__U261
2
2
1
0
U141
1
1
24213
a__fst
1
1
240211
tail
1
1
212598
a__natsFrom
1
1
318878
a__U302
2
1
U83
1
1
a__U294
3
1
2
3
1
mark
1
1
a__U204
3
3
21838
0
0
0
675
a__U211
1
1
U294
3
1
531475
2
425170
3
318880
0
a__U244
3
1
1
2
1
3
1
0
a__isLNat
1
1
106302
U191
2
1
1
0
U343
3
2
320645
3
320646
0
a__U251
3
1
212601
2
212600
3
212602
0
U73
1
8837
a__U21
3
1
49217
2
49219
3
49217
0
U332
2
1
106305
2
106304
0
a__U311
2
2
80430
0
U171
2
0
a__U32
3
1
106303
2
106297
3
106298
0
a__U91
2
1
17020
2
106305
0
a__U231
2
1
2
0
sel
2
1
2
531478
U202
3
1
106295
2
106293
3
106296
0
afterNth
2
1
212581
2
106291
0
a__U151
1
1
a__U111
2
1
1
2
1
0
a__U161
1
1
a__U242
3
1
136287
2
136282
3
136285
0
a__U141
1
1
nil
0
31211
a__splitAt
2
1
80432
2
80431
0
isLNat
1
1
106302
U246
1
0
a__U245
2
2
1
0
U62
2
1
238465
2
238463
0
a__U52
3
1
1
2
1
3
1
0
a__U211
1
0
a__U102
3
1
1
2
1
3
1
0
U304
2
2
1
0
U45
2
2
106303
0
a__sel
2
1
2
0
U151
1
0
a__isLNat
1
1
a__U56
1
1
a__U342
3
1
2
0
a__U72
2
1
106294
2
8836
0
U334
2
1
1
2
2
0
a__U101
3
1
0
2
0
3
0
0
a__U11
3
2
212580
3
106291
0
U32
3
1
106303
2
106297
3
106298
0
a__U53
3
1
106298
2
106296
3
106295
0
a__U141
1
1
24213
a__U322
4
2
80432
3
155522
4
80431
0
a__sel
2
1
2
531478
a__U42
3
3
106307
0
a__U93
1
106304
U33
3
2
47711
3
106298
0
a__U52
3
2
106297
3
106299
0
a__U181
2
1
106305
2
106304
0
U14
3
2
106286
3
106288
0
U211
1
0
a__U243
3
1
1
2
1
0
a__U54
3
2
1
3
1
0
U203
3
3
106294
0
a__U105
2
1
1
2
1
0
a__U202
3
2
1
0
a__U12
3
1
106288
2
106288
3
106290
0
U327
2
1
0
2
155517
0
a__U104
3
1
1
2
1
3
1
0
a__U201
3
1
1
3
1
0
a__U63
1
1
a__isPLNat
1
1
238462
a__U327
2
1
0
2
155517
0
U46
1
1
0
a__U332
2
1
2
1
a__U326
4
2
80432
3
155518
4
80431
0
U251
3
1
212601
2
212600
3
212602
0
a__U322
4
1
212587
2
212586
3
318872
4
212579
0
a__U121
2
1
1
2
1
0
U52
3
2
106297
3
106299
0
a__U254
3
1
1
2
1
3
1
0
a__U324
4
2
212586
3
212584
4
212579
0
a__U281
2
1
2
1
a__U251
3
2
1
0
U61
2
2
240210
0
a__U46
1
1
0
a__U22
3
3
1
a__U13
3
2
106287
3
106289
0
a__U304
2
2
1
0
U31
3
1
212594
2
318887
3
106298
0
a__U83
1
1
a__U171
2
1
2
1
a__U71
2
1
212586
2
212587
0
U183
1
11681
U245
2
1
29977
0
U92
2
1
106304
2
106303
0
a__isPLNat
1
1
a__U203
3
2
1
0
head
1
1
212589
a__afterNth
2
1
2
1
U112
1
0
a__U343
3
1
a__splitAt
2
1
212586
2
212579
0
a__isPLNatKind
1
1
a__U192
2
1
1
0
a__U255
2
1
106303
0
cons
2
1
106299
2
0
0
a__U344
3
1
320641
2
320644
3
320642
0
a__U92
2
1
106304
2
106303
0
U323
4
1
0
2
80432
3
155521
4
80431
0
a__U61
2
2
240210
0
U102
3
1
106285
2
106287
3
106289
0
a__U105
2
2
28834
0
a__U334
2
1
1
2
2
0
snd
1
1
25853
a__take
2
1
2
320651
U256
1
0
a__U301
3
3
106280
0
U81
2
2
25852
0
a__U41
3
1
1
2
1
0
U82
2
2
25851
0
a__U304
2
1
2
1
tt
0
0
a__isNatural
1
1
106293
a__isNaturalKind
1
106291
a__U131
1
240211
a__isNatural
1
1
U13
3
2
106287
3
106289
0
a__U311
2
1
2
1
a__U201
3
1
106292
2
212588
3
212587
0
a__U271
2
1
1
2
1
0
a__U202
3
1
106295
2
106293
3
106296
0
U321
4
2
80432
3
186730
4
80431
0
a__U282
2
1
106300
2
318878
0
a__U241
3
1
1
2
1
3
1
0
a__U183
1
11681
a__U333
2
1
1
2
19699
0
U22
3
1
21445
2
0
3
0
0
a__U293
3
1
2
3
1
U51
3
1
106310
2
106300
3
106301
0
U311
2
2
80430
0
a__U325
4
1
1
2
212586
3
212583
4
212579
0
a__U34
2
1
2
1
U322
4
2
80432
3
155522
4
80431
0
U344
3
1
320641
2
320644
3
320642
0
a__U342
3
1
0
2
320648
3
320647
0
a__tail
1
1
212598
a__U103
3
3
106286
0
a__U54
3
1
106294
2
106294
0
a__isPLNatKind
1
1
1745
U53
3
1
106298
2
106296
3
106295
0
a__U303
2
2
1
0
a__U323
4
1
0
2
80432
3
155521
4
80431
0
a__U55
2
1
1
0
a__U112
1
0
a__U331
3
2
1
U41
3
3
212582
0
a__tail
1
1
a__U203
3
3
106294
0
a__U32
3
1
2
3
1
a__U101
3
1
212577
2
106288
3
106290
0
a__U91
2
1
1
0
a__U341
3
2
320649
3
320650
0
U282
2
1
106300
2
318878
0
a__U256
1
0
U121
2
1
6
2
0
0
a__head
1
1
212589
U181
2
1
106305
2
106304
0
U324
4
2
80432
3
155520
4
80431
0
U331
3
2
106305
3
212597
0
U122
1
1
a__U312
2
1
80428
2
80429
0
a__U327
2
1
a__U321
tt
N
X
XS
a__U322
a__isNaturalKind
N
N
X
XS
a__U325
tt
N
X
XS
a__U326
a__isLNatKind
XS
N
X
XS
a__U324
tt
N
X
XS
a__U325
a__isLNat
XS
N
X
XS
a__U322
tt
N
X
XS
a__U323
a__isNatural
X
N
X
XS
mark
U332
X1
X2
a__U332
mark
X1
X2
a__U52
X1
X2
X3
U52
X1
X2
X3
mark
U201
X1
X2
X3
a__U201
mark
X1
X2
X3
a__U205
X1
X2
U205
X1
X2
a__U161
tt
tt
a__U254
tt
V1
V2
a__U255
a__isNatural
V1
V2
a__U332
tt
XS
a__U333
a__isLNat
XS
XS
a__snd
X
snd
X
a__U72
tt
V1
a__U73
a__isNatural
V1
a__splitAt
X1
X2
splitAt
X1
X2
a__U302
X1
X2
U302
X1
X2
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
a__U104
tt
V1
V2
a__U105
a__isNatural
V1
V2
mark
head
X
a__head
mark
X
mark
U56
X
a__U56
mark
X
a__U71
tt
V1
a__U72
a__isNaturalKind
V1
V1
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
a__U63
tt
tt
mark
U93
X
a__U93
mark
X
a__snd
pair
X
Y
a__U301
a__isLNat
X
X
Y
a__fst
X
fst
X
a__U14
tt
N
XS
a__snd
a__splitAt
mark
N
mark
XS
mark
U301
X1
X2
X3
a__U301
mark
X1
X2
X3
mark
U192
X1
X2
a__U192
mark
X1
X2
mark
sel
X1
X2
a__sel
mark
X1
mark
X2
a__U82
X1
X2
U82
X1
X2
a__isLNat
tail
V1
a__U91
a__isLNatKind
V1
V1
a__isPLNatKind
pair
V1
V2
a__U261
a__isLNatKind
V1
V2
mark
U292
X1
X2
X3
a__U292
mark
X1
X2
X3
mark
U131
X
a__U131
mark
X
mark
isNaturalKind
X
a__isNaturalKind
X
mark
U254
X1
X2
X3
a__U254
mark
X1
X2
X3
a__U51
X1
X2
X3
U51
X1
X2
X3
a__U111
tt
V2
a__U112
a__isLNatKind
V2
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U253
X1
X2
X3
a__U253
mark
X1
X2
X3
mark
U326
X1
X2
X3
X4
a__U326
mark
X1
X2
X3
X4
mark
fst
X
a__fst
mark
X
a__U252
X1
X2
X3
U252
X1
X2
X3
mark
U232
X
a__U232
mark
X
a__U262
tt
tt
a__U161
X
U161
X
a__isLNatKind
afterNth
V1
V2
a__U111
a__isNaturalKind
V1
V2
a__U331
X1
X2
X3
U331
X1
X2
X3
a__isPLNat
splitAt
V1
V2
a__U251
a__isNaturalKind
V1
V1
V2
a__U92
X1
X2
U92
X1
X2
a__U101
tt
V1
V2
a__U102
a__isNaturalKind
V1
V1
V2
a__U327
pair
YS
ZS
X
pair
cons
mark
X
YS
mark
ZS
mark
U341
X1
X2
X3
a__U341
mark
X1
X2
X3
a__U245
X1
X2
U245
X1
X2
a__U272
X
U272
X
mark
isLNat
X
a__isLNat
X
a__U103
tt
V1
V2
a__U104
a__isLNatKind
V2
V1
V2
a__U141
tt
tt
a__U181
tt
V1
a__U182
a__isLNatKind
V1
V1
a__U221
tt
tt
a__isNatural
0
tt
mark
U322
X1
X2
X3
X4
a__U322
mark
X1
X2
X3
X4
a__U311
tt
XS
a__U312
a__isLNatKind
XS
XS
mark
U282
X1
X2
a__U282
mark
X1
X2
a__U23
X1
X2
X3
U23
X1
X2
X3
a__isLNat
take
V1
V2
a__U101
a__isNaturalKind
V1
V1
V2
mark
U193
X
a__U193
mark
X
mark
U34
X1
X2
a__U34
mark
X1
X2
a__U171
X1
X2
U171
X1
X2
a__U44
X1
X2
X3
U44
X1
X2
X3
a__U342
tt
N
XS
a__U343
a__isLNat
XS
N
XS
a__U61
tt
V1
a__U62
a__isPLNatKind
V1
V1
a__U91
X1
X2
U91
X1
X2
a__U193
tt
tt
a__U73
tt
tt
a__U13
X1
X2
X3
U13
X1
X2
X3
mark
U31
X1
X2
X3
a__U31
mark
X1
X2
X3
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
a__U344
X1
X2
X3
U344
X1
X2
X3
a__isNaturalKind
0
tt
a__U301
tt
X
Y
a__U302
a__isLNatKind
X
Y
mark
pair
X1
X2
pair
mark
X1
mark
X2
a__U172
X
U172
X
mark
U181
X1
X2
a__U181
mark
X1
X2
mark
U205
X1
X2
a__U205
mark
X1
X2
a__U31
X1
X2
X3
U31
X1
X2
X3
a__U121
X1
X2
U121
X1
X2
mark
U221
X
a__U221
mark
X
mark
U272
X
a__U272
mark
X
mark
U61
X1
X2
a__U61
mark
X1
X2
mark
U92
X1
X2
a__U92
mark
X1
X2
a__isLNatKind
cons
V1
V2
a__U121
a__isNaturalKind
V1
V2
a__U21
X1
X2
X3
U21
X1
X2
X3
a__natsFrom
N
a__U281
a__isNatural
N
N
a__U231
X1
X2
U231
X1
X2
a__U62
X1
X2
U62
X1
X2
a__U171
tt
V2
a__U172
a__isLNatKind
V2
a__U206
tt
tt
mark
U311
X1
X2
a__U311
mark
X1
X2
a__U151
tt
tt
mark
U151
X
a__U151
mark
X
mark
U312
X1
X2
a__U312
mark
X1
X2
a__U61
X1
X2
U61
X1
X2
a__U293
X1
X2
X3
U293
X1
X2
X3
mark
U32
X1
X2
X3
a__U32
mark
X1
X2
X3
a__U193
X
U193
X
mark
U244
X1
X2
X3
a__U244
mark
X1
X2
X3
mark
U71
X1
X2
a__U71
mark
X1
X2
mark
U83
X
a__U83
mark
X
a__U112
X
U112
X
a__isLNat
cons
V1
V2
a__U51
a__isNaturalKind
V1
V1
V2
mark
U261
X1
X2
a__U261
mark
X1
X2
a__U241
X1
X2
X3
U241
X1
X2
X3
a__U292
tt
N
XS
a__U293
a__isLNat
XS
N
XS
mark
U101
X1
X2
X3
a__U101
mark
X1
X2
X3
a__U301
X1
X2
X3
U301
X1
X2
X3
mark
U206
X
a__U206
mark
X
mark
U343
X1
X2
X3
a__U343
mark
X1
X2
X3
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
a__U43
X1
X2
X3
U43
X1
X2
X3
a__tail
X
tail
X
a__U93
X
U93
X
a__isPLNatKind
splitAt
V1
V2
a__U271
a__isNaturalKind
V1
V2
a__sel
N
XS
a__U291
a__isNatural
N
N
XS
a__isNaturalKind
s
V1
a__U221
a__isNaturalKind
V1
mark
U63
X
a__U63
mark
X
a__U55
X1
X2
U55
X1
X2
a__U201
tt
V1
V2
a__U202
a__isNaturalKind
V1
V1
V2
mark
U342
X1
X2
X3
a__U342
mark
X1
X2
X3
mark
isNatural
X
a__isNatural
X
mark
U231
X1
X2
a__U231
mark
X1
X2
a__isNatural
X
isNatural
X
a__U251
X1
X2
X3
U251
X1
X2
X3
mark
U281
X1
X2
a__U281
mark
X1
X2
a__U206
X
U206
X
a__isPLNat
X
isPLNat
X
a__U344
tt
N
XS
a__fst
a__splitAt
mark
N
mark
XS
a__U341
tt
N
XS
a__U342
a__isNaturalKind
N
N
XS
mark
U202
X1
X2
X3
a__U202
mark
X1
X2
X3
mark
U141
X
a__U141
mark
X
a__U211
tt
tt
mark
take
X1
X2
a__take
mark
X1
mark
X2
a__U323
X1
X2
X3
X4
U323
X1
X2
X3
X4
mark
U334
X1
X2
a__U334
mark
X1
X2
mark
U45
X1
X2
a__U45
mark
X1
X2
a__U243
X1
X2
X3
U243
X1
X2
X3
mark
snd
X
a__snd
mark
X
mark
0
0
a__isLNatKind
natsFrom
V1
a__U141
a__isNaturalKind
V1
a__U311
X1
X2
U311
X1
X2
a__U204
X1
X2
X3
U204
X1
X2
X3
a__U182
tt
V1
a__U183
a__isLNat
V1
mark
U291
X1
X2
X3
a__U291
mark
X1
X2
X3
mark
U302
X1
X2
a__U302
mark
X1
X2
a__isLNatKind
X
isLNatKind
X
a__U122
X
U122
X
a__U303
X1
X2
U303
X1
X2
a__U202
tt
V1
V2
a__U203
a__isLNatKind
V2
V1
V2
a__tail
cons
N
XS
a__U331
a__isNatural
N
N
XS
a__U303
tt
Y
a__U304
a__isLNatKind
Y
Y
mark
nil
nil
a__U24
X1
X2
U24
X1
X2
a__U41
X1
X2
X3
U41
X1
X2
X3
a__U244
tt
V1
V2
a__U245
a__isLNat
V1
V2
a__U105
tt
V2
a__U106
a__isLNat
V2
a__isLNat
snd
V1
a__U81
a__isPLNatKind
V1
V1
mark
U203
X1
X2
X3
a__U203
mark
X1
X2
X3
a__U324
X1
X2
X3
X4
U324
X1
X2
X3
X4
mark
U111
X1
X2
a__U111
mark
X1
X2
a__U322
tt
N
X
XS
a__U323
a__isNatural
X
N
X
XS
mark
isPLNatKind
X
a__isPLNatKind
X
a__U21
tt
X
Y
a__U22
a__isLNatKind
X
X
Y
a__U302
tt
Y
a__U303
a__isLNat
Y
Y
a__U63
X
U63
X
a__U11
X1
X2
X3
U11
X1
X2
X3
a__U46
tt
tt
a__isLNat
natsFrom
V1
a__U71
a__isNaturalKind
V1
V1
mark
U172
X
a__U172
mark
X
a__U255
X1
X2
U255
X1
X2
mark
tt
tt
mark
U324
X1
X2
X3
X4
a__U324
mark
X1
X2
X3
X4
a__U45
tt
V2
a__U46
a__isLNat
V2
a__U182
X1
X2
U182
X1
X2
a__U12
tt
N
XS
a__U13
a__isLNat
XS
N
XS
mark
U304
X1
X2
a__U304
mark
X1
X2
a__U33
X1
X2
X3
U33
X1
X2
X3
a__isNaturalKind
head
V1
a__U211
a__isLNatKind
V1
mark
U52
X1
X2
X3
a__U52
mark
X1
X2
X3
mark
U103
X1
X2
X3
a__U103
mark
X1
X2
X3
a__U232
tt
tt
mark
U256
X
a__U256
mark
X
a__U53
X1
X2
X3
U53
X1
X2
X3
a__U11
tt
N
XS
a__U12
a__isNaturalKind
N
N
XS
a__U41
tt
V1
V2
a__U42
a__isNaturalKind
V1
V1
V2
a__U73
X
U73
X
mark
U171
X1
X2
a__U171
mark
X1
X2
a__U326
X1
X2
X3
X4
U326
X1
X2
X3
X4
a__isLNatKind
fst
V1
a__U131
a__isPLNatKind
V1
mark
U191
X1
X2
a__U191
mark
X1
X2
a__U242
X1
X2
X3
U242
X1
X2
X3
a__U294
X1
X2
X3
U294
X1
X2
X3
a__U172
tt
tt
a__U202
X1
X2
X3
U202
X1
X2
X3
a__U111
X1
X2
U111
X1
X2
a__afterNth
X1
X2
afterNth
X1
X2
a__isLNatKind
tail
V1
a__U161
a__isLNatKind
V1
a__U72
X1
X2
U72
X1
X2
a__U83
tt
tt
mark
U122
X
a__U122
mark
X
a__U32
X1
X2
X3
U32
X1
X2
X3
a__U343
X1
X2
X3
U343
X1
X2
X3
a__isLNatKind
take
V1
V2
a__U171
a__isNaturalKind
V1
V2
a__U183
X
U183
X
a__U332
X1
X2
U332
X1
X2
a__U192
tt
V1
a__U193
a__isNatural
V1
a__U253
tt
V1
V2
a__U254
a__isLNatKind
V2
V1
V2
a__U256
tt
tt
a__U34
X1
X2
U34
X1
X2
mark
U245
X1
X2
a__U245
mark
X1
X2
a__U246
X
U246
X
mark
U44
X1
X2
X3
a__U44
mark
X1
X2
X3
a__U204
tt
V1
V2
a__U205
a__isNatural
V1
V2
a__U294
tt
N
XS
a__head
a__afterNth
mark
N
mark
XS
mark
U204
X1
X2
X3
a__U204
mark
X1
X2
X3
a__isNaturalKind
X
isNaturalKind
X
a__U81
tt
V1
a__U82
a__isPLNatKind
V1
V1
mark
U255
X1
X2
a__U255
mark
X1
X2
a__U131
tt
tt
a__U93
tt
tt
mark
U73
X
a__U73
mark
X
mark
cons
X1
X2
cons
mark
X1
X2
a__U334
tt
XS
mark
XS
a__isNatural
s
V1
a__U191
a__isNaturalKind
V1
V1
a__U42
tt
V1
V2
a__U43
a__isLNatKind
V2
V1
V2
a__isLNat
X
isLNat
X
a__U272
tt
tt
a__U331
tt
N
XS
a__U332
a__isNaturalKind
N
XS
mark
U293
X1
X2
X3
a__U293
mark
X1
X2
X3
mark
U91
X1
X2
a__U91
mark
X1
X2
mark
U13
X1
X2
X3
a__U13
mark
X1
X2
X3
a__U262
X
U262
X
a__U205
tt
V2
a__U206
a__isLNat
V2
a__U122
tt
tt
a__U62
tt
V1
a__U63
a__isPLNat
V1
mark
U262
X
a__U262
mark
X
a__U312
tt
XS
pair
nil
mark
XS
mark
U246
X
a__U246
mark
X
a__U325
X1
X2
X3
X4
U325
X1
X2
X3
X4
a__natsFrom
X
natsFrom
X
mark
U252
X1
X2
X3
a__U252
mark
X1
X2
X3
a__U53
tt
V1
V2
a__U54
a__isLNatKind
V2
V1
V2
a__U105
X1
X2
U105
X1
X2
a__U71
X1
X2
U71
X1
X2
a__U245
tt
V2
a__U246
a__isLNat
V2
a__U33
tt
N
XS
a__U34
a__isLNatKind
XS
N
a__isLNat
fst
V1
a__U61
a__isPLNatKind
V1
V1
a__U141
X
U141
X
a__U333
tt
XS
a__U334
a__isLNatKind
XS
XS
a__isLNatKind
snd
V1
a__U151
a__isPLNatKind
V1
mark
U327
X1
X2
a__U327
mark
X1
X2
a__U304
X1
X2
U304
X1
X2
a__U183
tt
tt
a__U103
X1
X2
X3
U103
X1
X2
X3
mark
tail
X
a__tail
mark
X
a__U32
tt
N
XS
a__U33
a__isLNat
XS
N
XS
a__isNatural
sel
V1
V2
a__U201
a__isNaturalKind
V1
V1
V2
a__U254
X1
X2
X3
U254
X1
X2
X3
a__U81
X1
X2
U81
X1
X2
a__U191
tt
V1
a__U192
a__isNaturalKind
V1
V1
a__head
X
head
X
a__U51
tt
V1
V2
a__U52
a__isNaturalKind
V1
V1
V2
a__U91
tt
V1
a__U92
a__isLNatKind
V1
V1
mark
U211
X
a__U211
mark
X
mark
U14
X1
X2
X3
a__U14
mark
X1
X2
X3
a__isPLNatKind
X
isPLNatKind
X
a__sel
X1
X2
sel
X1
X2
a__U326
tt
N
X
XS
a__U327
a__splitAt
mark
N
mark
XS
X
mark
U242
X1
X2
X3
a__U242
mark
X1
X2
X3
mark
U344
X1
X2
X3
a__U344
mark
X1
X2
X3
a__U281
tt
N
a__U282
a__isNaturalKind
N
N
mark
U105
X1
X2
a__U105
mark
X1
X2
mark
U55
X1
X2
a__U55
mark
X1
X2
a__U312
X1
X2
U312
X1
X2
a__U14
X1
X2
X3
U14
X1
X2
X3
a__U55
tt
V2
a__U56
a__isLNat
V2
mark
natsFrom
X
a__natsFrom
mark
X
a__U121
tt
V2
a__U122
a__isLNatKind
V2
mark
U251
X1
X2
X3
a__U251
mark
X1
X2
X3
a__U112
tt
tt
a__U13
tt
N
XS
a__U14
a__isLNatKind
XS
N
XS
mark
afterNth
X1
X2
a__afterNth
mark
X1
mark
X2
a__U281
X1
X2
U281
X1
X2
a__U255
tt
V2
a__U256
a__isLNat
V2
a__U82
tt
V1
a__U83
a__isPLNat
V1
a__U192
X1
X2
U192
X1
X2
a__U291
X1
X2
X3
U291
X1
X2
X3
a__U342
X1
X2
X3
U342
X1
X2
X3
a__splitAt
0
XS
a__U311
a__isLNat
XS
XS
a__U56
X
U56
X
mark
U43
X1
X2
X3
a__U43
mark
X1
X2
X3
a__U203
X1
X2
X3
U203
X1
X2
X3
a__U151
X
U151
X
a__U43
tt
V1
V2
a__U44
a__isLNatKind
V2
V1
V2
a__U211
X
U211
X
a__U244
X1
X2
X3
U244
X1
X2
X3
mark
U82
X1
X2
a__U82
mark
X1
X2
a__U54
X1
X2
X3
U54
X1
X2
X3
a__U24
tt
X
mark
X
mark
U271
X1
X2
a__U271
mark
X1
X2
a__U31
tt
N
XS
a__U32
a__isNaturalKind
N
N
XS
a__U271
tt
V2
a__U272
a__isLNatKind
V2
a__isNatural
head
V1
a__U181
a__isLNatKind
V1
V1
a__U92
tt
V1
a__U93
a__isLNat
V1
mark
U24
X1
X2
a__U24
mark
X1
X2
a__U256
X
U256
X
a__U282
X1
X2
U282
X1
X2
a__U291
tt
N
XS
a__U292
a__isNaturalKind
N
N
XS
mark
U121
X1
X2
a__U121
mark
X1
X2
a__U22
X1
X2
X3
U22
X1
X2
X3
mark
U241
X1
X2
X3
a__U241
mark
X1
X2
X3
mark
U303
X1
X2
a__U303
mark
X1
X2
a__U201
X1
X2
X3
U201
X1
X2
X3
a__U83
X
U83
X
a__U106
tt
tt
mark
U104
X1
X2
X3
a__U104
mark
X1
X2
X3
a__U181
X1
X2
U181
X1
X2
a__U45
X1
X2
U45
X1
X2
a__isLNat
afterNth
V1
V2
a__U41
a__isNaturalKind
V1
V1
V2
a__U131
X
U131
X
mark
isLNatKind
X
a__isLNatKind
X
mark
U102
X1
X2
X3
a__U102
mark
X1
X2
X3
a__U271
X1
X2
U271
X1
X2
a__U292
X1
X2
X3
U292
X1
X2
X3
a__U46
X
U46
X
a__take
X1
X2
take
X1
X2
a__U231
tt
V2
a__U232
a__isLNatKind
V2
a__U293
tt
N
XS
a__U294
a__isLNatKind
XS
N
XS
mark
U106
X
a__U106
mark
X
a__fst
pair
X
Y
a__U21
a__isLNat
X
X
Y
a__isNaturalKind
sel
V1
V2
a__U231
a__isNaturalKind
V1
V2
mark
U54
X1
X2
X3
a__U54
mark
X1
X2
X3
a__U341
X1
X2
X3
U341
X1
X2
X3
mark
s
X
s
mark
X
a__U282
tt
N
cons
mark
N
natsFrom
s
N
mark
splitAt
X1
X2
a__splitAt
mark
X1
mark
X2
a__U324
tt
N
X
XS
a__U325
a__isLNat
XS
N
X
XS
a__afterNth
N
XS
a__U11
a__isNatural
N
N
XS
mark
U183
X
a__U183
mark
X
mark
U53
X1
X2
X3
a__U53
mark
X1
X2
X3
a__U325
tt
N
X
XS
a__U326
a__isLNatKind
XS
N
X
XS
a__isLNatKind
nil
tt
mark
U81
X1
X2
a__U81
mark
X1
X2
a__U252
tt
V1
V2
a__U253
a__isLNatKind
V2
V1
V2
a__U321
X1
X2
X3
X4
U321
X1
X2
X3
X4
a__isPLNat
pair
V1
V2
a__U241
a__isLNatKind
V1
V1
V2
a__splitAt
s
N
cons
X
XS
a__U321
a__isNatural
N
N
X
XS
a__U321
tt
N
X
XS
a__U322
a__isNaturalKind
N
N
X
XS
mark
U325
X1
X2
X3
X4
a__U325
mark
X1
X2
X3
X4
mark
U161
X
a__U161
mark
X
a__U12
X1
X2
X3
U12
X1
X2
X3
mark
U62
X1
X2
a__U62
mark
X1
X2
a__U261
tt
V2
a__U262
a__isLNatKind
V2
mark
U333
X1
X2
a__U333
mark
X1
X2
a__U333
X1
X2
U333
X1
X2
a__U42
X1
X2
X3
U42
X1
X2
X3
mark
U23
X1
X2
X3
a__U23
mark
X1
X2
X3
mark
U294
X1
X2
X3
a__U294
mark
X1
X2
X3
a__U191
X1
X2
U191
X1
X2
a__U251
tt
V1
V2
a__U252
a__isNaturalKind
V1
V1
V2
a__U323
tt
N
X
XS
a__U324
a__isNaturalKind
X
N
X
XS
a__U334
X1
X2
U334
X1
X2
a__U44
tt
V1
V2
a__U45
a__isNatural
V1
V2
a__U101
X1
X2
X3
U101
X1
X2
X3
a__U54
tt
V1
V2
a__U55
a__isNatural
V1
V2
mark
U112
X
a__U112
mark
X
mark
U321
X1
X2
X3
X4
a__U321
mark
X1
X2
X3
X4
a__U56
tt
tt
a__head
cons
N
XS
a__U31
a__isNatural
N
N
XS
a__U23
tt
X
Y
a__U24
a__isLNatKind
Y
X
a__U327
X1
X2
U327
X1
X2
mark
U46
X
a__U46
mark
X
mark
U72
X1
X2
a__U72
mark
X1
X2
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
a__U232
X
U232
X
a__U241
tt
V1
V2
a__U242
a__isLNatKind
V1
V1
V2
a__U102
X1
X2
X3
U102
X1
X2
X3
a__U52
tt
V1
V2
a__U53
a__isLNatKind
V2
V1
V2
a__take
N
XS
a__U341
a__isNatural
N
N
XS
mark
U243
X1
X2
X3
a__U243
mark
X1
X2
X3
mark
U323
X1
X2
X3
X4
a__U323
mark
X1
X2
X3
X4
a__isLNat
nil
tt
a__U106
X
U106
X
a__U242
tt
V1
V2
a__U243
a__isLNatKind
V2
V1
V2
mark
U51
X1
X2
X3
a__U51
mark
X1
X2
X3
a__U104
X1
X2
X3
U104
X1
X2
X3
a__U221
X
U221
X
mark
U33
X1
X2
X3
a__U33
mark
X1
X2
X3
a__U246
tt
tt
mark
U182
X1
X2
a__U182
mark
X1
X2
a__U304
tt
Y
mark
Y
a__U34
tt
N
mark
N
a__U322
X1
X2
X3
X4
U322
X1
X2
X3
X4
a__U261
X1
X2
U261
X1
X2
a__U22
tt
X
Y
a__U23
a__isLNat
Y
X
Y
mark
isPLNat
X
a__isPLNat
X
a__U253
X1
X2
X3
U253
X1
X2
X3
mark
U331
X1
X2
X3
a__U331
mark
X1
X2
X3
a__U203
tt
V1
V2
a__U204
a__isLNatKind
V2
V1
V2
a__U243
tt
V1
V2
a__U244
a__isLNatKind
V2
V1
V2
a__U343
tt
N
XS
a__U344
a__isLNatKind
XS
N
XS
a__U102
tt
V1
V2
a__U103
a__isLNatKind
V2
V1
V2
a__U324
tt
N
X
XS
a__U325
a__isLNat
XS
N
X
XS
false
a__U325
tt
N
X
XS
a__U326
a__isLNatKind
XS
N
X
XS
false
a__U321
tt
N
X
XS
a__U322
a__isNaturalKind
N
N
X
XS
false
a__U322
tt
N
X
XS
a__U323
a__isNatural
X
N
X
XS
false
a__U343
tt
N
XS
a__U344
a__isLNatKind
XS
N
XS
false
mark
isPLNat
X
a__isPLNat
X
false
mark
U182
X1
X2
a__U182
mark
X1
X2
false
mark
U51
X1
X2
X3
a__U51
mark
X1
X2
X3
false
mark
U243
X1
X2
X3
a__U243
mark
X1
X2
X3
false
mark
U42
X1
X2
X3
a__U42
mark
X1
X2
X3
false
mark
U72
X1
X2
a__U72
mark
X1
X2
false
mark
U46
X
a__U46
mark
X
false
mark
U112
X
a__U112
mark
X
false
mark
U62
X1
X2
a__U62
mark
X1
X2
false
mark
U161
X
a__U161
mark
X
false
mark
U81
X1
X2
a__U81
mark
X1
X2
false
mark
U53
X1
X2
X3
a__U53
mark
X1
X2
X3
false
mark
U183
X
a__U183
mark
X
false
a__U321
tt
N
X
XS
a__isNaturalKind
N
false
a__splitAt
s
N
cons
X
XS
a__isNatural
N
false
a__splitAt
0
XS
a__isLNat
XS
false
mark
U54
X1
X2
X3
a__U54
mark
X1
X2
X3
false
mark
U106
X
a__U106
mark
X
false
mark
U102
X1
X2
X3
a__U102
mark
X1
X2
X3
false
mark
isLNatKind
X
a__isLNatKind
X
false
mark
U104
X1
X2
X3
a__U104
mark
X1
X2
X3
false
mark
U241
X1
X2
X3
a__U241
mark
X1
X2
X3
false
mark
U121
X1
X2
a__U121
mark
X1
X2
false
mark
U271
X1
X2
a__U271
mark
X1
X2
false
mark
U82
X1
X2
a__U82
mark
X1
X2
false
mark
U43
X1
X2
X3
a__U43
mark
X1
X2
X3
false
a__afterNth
N
XS
a__isNatural
N
false
mark
U251
X1
X2
X3
a__U251
mark
X1
X2
X3
false
a__natsFrom
N
a__isNatural
N
false
mark
U55
X1
X2
a__U55
mark
X1
X2
false
mark
U105
X1
X2
a__U105
mark
X1
X2
false
mark
U242
X1
X2
X3
a__U242
mark
X1
X2
X3
false
mark
U211
X
a__U211
mark
X
false
a__U331
tt
N
XS
a__isNaturalKind
N
false
a__tail
cons
N
XS
a__isNatural
N
false
mark
U252
X1
X2
X3
a__U252
mark
X1
X2
X3
false
mark
U246
X
a__U246
mark
X
false
mark
U262
X
a__U262
mark
X
false
mark
U91
X1
X2
a__U91
mark
X1
X2
false
mark
U73
X
a__U73
mark
X
false
mark
U255
X1
X2
a__U255
mark
X1
X2
false
mark
U204
X1
X2
X3
a__U204
mark
X1
X2
X3
false
mark
U44
X1
X2
X3
a__U44
mark
X1
X2
X3
false
mark
U245
X1
X2
a__U245
mark
X1
X2
false
mark
U122
X
a__U122
mark
X
false
mark
U191
X1
X2
a__U191
mark
X1
X2
false
mark
U171
X1
X2
a__U171
mark
X1
X2
false
mark
U256
X
a__U256
mark
X
false
mark
U103
X1
X2
X3
a__U103
mark
X1
X2
X3
false
mark
U52
X1
X2
X3
a__U52
mark
X1
X2
X3
false
mark
U172
X
a__U172
mark
X
false
mark
isPLNatKind
X
a__isPLNatKind
X
false
mark
U111
X1
X2
a__U111
mark
X1
X2
false
mark
U203
X1
X2
X3
a__U203
mark
X1
X2
X3
false
a__snd
pair
X
Y
a__isLNat
X
false
mark
U45
X1
X2
a__U45
mark
X1
X2
false
a__take
N
XS
a__isNatural
N
false
mark
U141
X
a__U141
mark
X
false
mark
U202
X1
X2
X3
a__U202
mark
X1
X2
X3
false
a__U281
tt
N
a__isNaturalKind
N
false
mark
U231
X1
X2
a__U231
mark
X1
X2
false
mark
isNatural
X
a__isNatural
X
false
mark
U63
X
a__U63
mark
X
false
mark
U206
X
a__U206
mark
X
false
mark
U101
X1
X2
X3
a__U101
mark
X1
X2
X3
false
mark
U261
X1
X2
a__U261
mark
X1
X2
false
mark
U83
X
a__U83
mark
X
false
mark
U71
X1
X2
a__U71
mark
X1
X2
false
mark
U244
X1
X2
X3
a__U244
mark
X1
X2
X3
false
mark
U151
X
a__U151
mark
X
false
a__U311
tt
XS
a__isLNatKind
XS
false
mark
U92
X1
X2
a__U92
mark
X1
X2
false
mark
U61
X1
X2
a__U61
mark
X1
X2
false
mark
U272
X
a__U272
mark
X
false
mark
U221
X
a__U221
mark
X
false
mark
U205
X1
X2
a__U205
mark
X1
X2
false
mark
U181
X1
X2
a__U181
mark
X1
X2
false
mark
U41
X1
X2
X3
a__U41
mark
X1
X2
X3
false
mark
U193
X
a__U193
mark
X
false
a__U325
tt
N
X
XS
a__isLNatKind
XS
false
a__U324
tt
N
X
XS
a__isLNat
XS
false
a__U323
tt
N
X
XS
a__isNaturalKind
X
false
a__U322
tt
N
X
XS
a__isNatural
X
false
mark
isLNat
X
a__isLNat
X
false
a__U343
tt
N
XS
a__isLNatKind
XS
false
a__U342
tt
N
XS
a__isLNat
XS
false
a__U341
tt
N
XS
a__isNaturalKind
N
false
mark
U232
X
a__U232
mark
X
false
a__fst
pair
X
Y
a__isLNat
X
false
mark
U253
X1
X2
X3
a__U253
mark
X1
X2
X3
false
mark
U254
X1
X2
X3
a__U254
mark
X1
X2
X3
false
mark
isNaturalKind
X
a__isNaturalKind
X
false
mark
U131
X
a__U131
mark
X
false
a__U293
tt
N
XS
a__isLNatKind
XS
false
a__U292
tt
N
XS
a__isLNat
XS
false
a__U291
tt
N
XS
a__isNaturalKind
N
false
a__sel
N
XS
a__isNatural
N
false
mark
U192
X1
X2
a__U192
mark
X1
X2
false
a__U303
tt
Y
a__isLNatKind
Y
false
a__U302
tt
Y
a__isLNat
Y
false
a__U301
tt
X
Y
a__isLNatKind
X
false
mark
U93
X
a__U93
mark
X
false
mark
U56
X
a__U56
mark
X
false
a__U33
tt
N
XS
a__isLNatKind
XS
false
a__U32
tt
N
XS
a__isLNat
XS
false
a__U31
tt
N
XS
a__isNaturalKind
N
false
a__U23
tt
X
Y
a__isLNatKind
Y
false
a__U22
tt
X
Y
a__isLNat
Y
false
a__U21
tt
X
Y
a__isLNatKind
X
false
mark
U201
X1
X2
X3
a__U201
mark
X1
X2
X3
false
a__U333
tt
XS
a__isLNatKind
XS
false
a__U332
tt
XS
a__isLNat
XS
false
a__U13
tt
N
XS
a__isLNatKind
XS
false
a__U12
tt
N
XS
a__isLNat
XS
false
a__U11
tt
N
XS
a__isNaturalKind
N
false
a__head
cons
N
XS
a__isNatural
N
false
a__U191
tt
V1
a__U192
a__isNaturalKind
V1
V1
a__U105
tt
V2
a__isLNat
V2
a__U44
tt
V1
V2
a__U45
a__isNatural
V1
V2
a__U244
tt
V1
V2
a__U245
a__isLNat
V1
V2
a__U51
tt
V1
V2
a__U52
a__isNaturalKind
V1
V1
V2
a__U103
tt
V1
V2
a__U104
a__isLNatKind
V2
V1
V2
a__U251
tt
V1
V2
a__U252
a__isNaturalKind
V1
V1
V2
a__U102
tt
V1
V2
a__U103
a__isLNatKind
V2
V1
V2
a__U204
tt
V1
V2
a__isNatural
V1
a__U55
tt
V2
a__isLNat
V2
a__isPLNat
splitAt
V1
V2
a__U251
a__isNaturalKind
V1
V1
V2
a__U253
tt
V1
V2
a__U254
a__isLNatKind
V2
V1
V2
a__isNatural
s
V1
a__U191
a__isNaturalKind
V1
V1
a__U101
tt
V1
V2
a__U102
a__isNaturalKind
V1
V1
V2
a__U92
tt
V1
a__isLNat
V1
a__U241
tt
V1
V2
a__U242
a__isLNatKind
V1
V1
V2
a__isLNat
take
V1
V2
a__U101
a__isNaturalKind
V1
V1
V2
a__U82
tt
V1
a__isPLNat
V1
a__U43
tt
V1
V2
a__U44
a__isLNatKind
V2
V1
V2
a__isLNat
tail
V1
a__U91
a__isLNatKind
V1
V1
a__U62
tt
V1
a__isPLNat
V1
a__U72
tt
V1
a__isNatural
V1
a__U204
tt
V1
V2
a__U205
a__isNatural
V1
V2
a__U242
tt
V1
V2
a__U243
a__isLNatKind
V2
V1
V2
a__isLNat
snd
V1
a__U81
a__isPLNatKind
V1
V1
a__U45
tt
V2
a__isLNat
V2
a__isNatural
sel
V1
V2
a__U201
a__isNaturalKind
V1
V1
V2
a__U243
tt
V1
V2
a__U244
a__isLNatKind
V2
V1
V2
a__U181
tt
V1
a__U182
a__isLNatKind
V1
V1
a__U81
tt
V1
a__U82
a__isPLNatKind
V1
V1
a__U203
tt
V1
V2
a__U204
a__isLNatKind
V2
V1
V2
a__isNatural
head
V1
a__U181
a__isLNatKind
V1
V1
a__U182
tt
V1
a__isLNat
V1
a__U71
tt
V1
a__U72
a__isNaturalKind
V1
V1
a__U54
tt
V1
V2
a__isNatural
V1
a__U192
tt
V1
a__isNatural
V1
a__U52
tt
V1
V2
a__U53
a__isLNatKind
V2
V1
V2
a__U254
tt
V1
V2
a__U255
a__isNatural
V1
V2
a__isLNat
cons
V1
V2
a__U51
a__isNaturalKind
V1
V1
V2
a__U245
tt
V2
a__isLNat
V2
a__U244
tt
V1
V2
a__isLNat
V1
a__isLNat
natsFrom
V1
a__U71
a__isNaturalKind
V1
V1
a__U252
tt
V1
V2
a__U253
a__isLNatKind
V2
V1
V2
a__U205
tt
V2
a__isLNat
V2
a__U104
tt
V1
V2
a__U105
a__isNatural
V1
V2
a__U53
tt
V1
V2
a__U54
a__isLNatKind
V2
V1
V2
a__U201
tt
V1
V2
a__U202
a__isNaturalKind
V1
V1
V2
a__U44
tt
V1
V2
a__isNatural
V1
a__U255
tt
V2
a__isLNat
V2
a__isLNat
afterNth
V1
V2
a__U41
a__isNaturalKind
V1
V1
V2
a__U42
tt
V1
V2
a__U43
a__isLNatKind
V2
V1
V2
a__isLNat
fst
V1
a__U61
a__isPLNatKind
V1
V1
a__U202
tt
V1
V2
a__U203
a__isLNatKind
V2
V1
V2
a__U91
tt
V1
a__U92
a__isLNatKind
V1
V1
a__isPLNat
pair
V1
V2
a__U241
a__isLNatKind
V1
V1
V2
a__U254
tt
V1
V2
a__isNatural
V1
a__U54
tt
V1
V2
a__U55
a__isNatural
V1
V2
a__U61
tt
V1
a__U62
a__isPLNatKind
V1
V1
a__U104
tt
V1
V2
a__isNatural
V1
a__U41
tt
V1
V2
a__U42
a__isNaturalKind
V1
V1
V2
true
U291
3
14
a__U193
1
0
a__U83
1
14
U231
2
0
U301
3
0
a__U293
3
1
2
4
a__U241
3
6
U204
3
1
0
a__U324
4
1
35
a__U302
2
12
a__isNaturalKind
1
0
a__U325
4
3
4
54
a__U151
1
15
a__U292
3
3
14
a__U73
1
0
a__U131
1
0
a__U63
1
14
U21
3
1
0
U261
2
0
a__U102
3
1
2
23
U254
3
1
2
0
U333
2
1
2
a__U82
2
2
1
a__U332
2
0
a__U45
2
16
U193
1
1
1
a__U72
2
2
13
a__U242
3
2
3
17
a__U246
1
1
11
U161
1
5
a__U321
4
1
a__U71
2
2
14
a__U232
1
27
U182
2
1
2
16
a__U291
3
2
U11
3
1
7
a__U171
2
16
a__U92
2
2
14
a__U104
3
2
3
52
a__U294
3
3
23
a__U182
2
15
a__U191
2
10
a__U281
2
4
U243
3
0
a__U245
2
21
a__U112
1
0
s
1
1
8
U105
2
0
U303
2
12573
a__U292
3
2
a__U24
2
2
1
a__U341
3
2
a__U31
3
2
a__U243
3
1
3
1
a__U33
3
0
a__U93
1
0
a__head
1
2
U192
2
8
a__U253
3
2
3
16
U24
2
5128
a__U33
3
3
51
U106
1
44
a__U24
2
2
a__natsFrom
1
2
isPLNatKind
1
0
a__U252
3
2
3
17
a__U256
1
0
a__U244
3
20
a__U343
3
1
2
3
9
U242
3
0
a__U303
2
2
U262
1
0
U244
3
1
2
0
U272
1
0
U56
1
1
18
a__U191
2
2
14
a__U272
1
0
a__U23
3
2
a__U55
2
2
16
isPLNat
1
0
a__snd
1
0
a__U331
3
1
3
3324
a__U312
2
2
a__afterNth
2
1
2
5
U42
3
0
U91
2
1
0
U221
1
1
14
U293
3
2
3
0
a__U73
1
1
41
a__U106
1
0
U325
4
1
0
a__U82
2
2
13
a__U182
2
2
14
take
2
1
2
6
a__U14
3
2
U71
2
0
a__U62
2
13
a__U44
3
3
15
U131
1
0
U206
1
0
a__U221
1
13
U101
3
1
3
0
a__U43
3
2
3
16
a__U334
2
2
pair
2
1
2
43
U255
2
38
a__U326
4
0
a__U261
2
18
fst
1
1
7
U111
2
1
0
U43
3
1
2
15
a__U13
3
1
a__U121
2
16
a__U262
1
18
a__U246
1
0
a__U44
3
2
3
15
a__U204
3
2
3
15
U103
3
3
0
a__U111
2
2
16
a__U272
1
18
natsFrom
1
1
2
U281
2
0
a__U103
3
2
3
16
a__U301
3
2
U44
3
1
2
0
U55
2
1
0
a__U46
1
0
a__snd
1
10
a__U252
3
1
2
17
U253
3
1
37
U312
2
0
a__U206
1
0
a__U181
2
2
15
a__U193
1
0
a__U271
2
18
a__U51
3
2
3
18
U341
3
1
22910
a__U254
3
37
U23
3
1
0
U292
3
0
U342
3
0
a__U172
1
17
U63
1
1
0
a__U56
1
0
a__U344
3
2
a__U22
3
1
2
16912
U172
1
1
0
U93
1
0
splitAt
2
1
2
19
isNaturalKind
1
5
U326
4
0
a__U323
4
0
a__U106
1
1
43
U72
2
1
0
a__U11
3
1
a__U291
3
2
3
13
U241
3
3
0
U34
2
1
0
a__U192
2
1
2
7
a__U31
3
1
2
3
17
a__U51
3
12
a__U253
3
3
36
a__U81
2
2
12
a__U53
3
2
3
16
a__U205
2
2
14
a__take
2
2
a__U172
1
0
a__U255
2
2
14
U12
3
0
a__U43
3
14
U271
2
0
a__U231
2
1
2
8
a__U232
1
0
a__isLNatKind
1
0
a__U62
2
1
2
0
a__U321
4
5
a__U206
1
1
12
isNatural
1
6535
U302
2
1
0
U54
3
1
0
a__U42
3
2
3
17
a__U183
1
0
a__U41
3
2
3
12
U232
1
1
28
a__U262
1
0
a__U122
1
0
a__U12
3
0
U205
2
1
0
a__U205
2
2
22
U201
3
10
U104
3
0
a__U122
1
17
a__U14
3
2
9
a__U81
2
2
2
a__U21
3
2
a__U161
1
1
4
a__U61
2
1
2
1
a__U333
2
2
a__U34
2
1
2
43
U252
3
1
3
18
a__U261
2
0
U141
1
18
a__fst
1
6
tail
1
1
3
a__natsFrom
1
1
3
a__U302
2
2
U83
1
0
a__U294
3
2
mark
1
2
a__U204
3
1
2
3
3
0
0
11
a__U211
1
0
U294
3
4
a__U244
3
2
3
15
a__isLNat
1
11
U191
2
1
11
U343
3
1
0
a__U251
3
1
2
3
2
U73
1
1
42
a__U282
2
2
a__U21
3
1
3
1
U332
2
15220
a__U311
2
2
5
U171
2
1
17
a__U32
3
1
2
32
a__U91
2
2
12
a__U231
2
0
sel
2
1
2
7
U202
3
11
afterNth
2
1
2
6
a__U151
1
0
a__U111
2
0
a__U161
1
0
a__U242
3
2
3
7
a__U141
1
0
nil
0
0
a__splitAt
2
1
isLNat
1
6
U246
1
0
a__U245
2
2
14
U62
2
1
0
a__U52
3
2
3
17
a__U211
1
17
a__U102
3
2
3
17
U304
2
2
2
U45
2
2
17
a__sel
2
2
mark
1
1
4
U151
1
16
a__isLNat
1
1
13
a__U56
1
17
a__U342
3
2
a__U72
2
1
23
U334
2
4
a__U101
3
2
3
18
a__U11
3
2
3
6
U32
3
1
0
a__U53
3
2
3
14
a__U141
1
17
a__U322
4
1
3
2
a__sel
2
12
a__U42
3
2
3
13
a__U93
1
17
U33
3
1
2
0
a__U45
2
2
14
a__U52
3
2
13
a__U181
2
14
isLNatKind
1
1
2
U14
3
0
U211
1
1
0
a__U243
3
2
3
16
a__U54
3
2
3
15
U203
3
0
a__U105
2
2
14
a__U202
3
2
3
17
a__U12
3
3
7
U327
2
1
57
a__U104
3
2
3
15
a__U201
3
2
3
18
a__U63
1
0
a__isPLNat
1
5
a__U327
2
56
U46
1
18
a__U332
2
2
a__U326
4
55
U251
3
1
0
a__U322
4
1
a__isLNatKind
1
1
9
a__U121
2
0
U52
3
1
14
a__U254
3
2
3
15
a__U324
4
0
a__U281
2
2
a__U251
3
2
3
18
U61
2
0
a__U46
1
17
a__U22
3
2
a__U13
3
8
a__U304
2
1
2
5
U31
3
1
0
a__U83
1
0
a__U171
2
0
a__U71
2
1
2
8
U183
1
1
17
U245
2
1
0
U92
2
14
a__isPLNat
1
1
0
a__U203
3
2
3
16
head
1
1
12
a__afterNth
2
2
U112
1
1
0
a__U343
3
1
a__splitAt
2
1
a__isPLNatKind
1
0
a__U192
2
2
13
a__U255
2
1
37
cons
2
1
2
6
a__U344
3
2
5
a__U92
2
2
13
U323
4
1
2
4
21
a__U61
2
2
12
U102
3
3
0
a__U105
2
2
53
a__U334
2
2
3
snd
1
1
5
a__take
2
0
U256
1
1
0
a__U301
3
2
3
11
U81
2
1
13
a__U41
3
2
3
18
U82
2
1
14
a__U304
2
2
tt
0
18
a__isNatural
1
1
1
a__isNaturalKind
1
1
4
a__U131
1
17
a__isNatural
1
1
12
U13
3
1
0
a__fst
1
2
a__U23
3
3
0
a__U311
2
2
a__U201
3
9
a__U271
2
0
a__U202
3
2
3
10
U321
4
1
0
a__U282
2
1
2
1
a__U241
3
2
3
18
a__U183
1
16
a__U333
2
1
U22
3
1
16911
a__U293
3
1
U51
3
1
2
0
U311
2
0
a__U325
4
0
a__U34
2
0
U322
4
1
2
0
U344
3
1
0
a__U342
3
3
19
a__tail
1
2
a__U103
3
1
33
a__U54
3
2
15
a__isPLNatKind
1
18
U53
3
1
15
a__U303
2
2
13
a__U323
4
1
3
20
a__U55
2
2
14
a__U112
1
17
a__U331
3
2
U41
3
0
a__tail
1
2
a__U203
3
2
11
a__U32
3
0
a__U221
1
0
a__U101
3
1
2
8
a__U91
2
2
15
a__U341
3
1
0
U282
2
0
a__U256
1
1
45
U121
2
0
a__head
1
1
11
U181
2
1
0
U324
4
1
36
U331
3
1
2
3
3325
U122
1
18
a__U312
2
6
a__U327
2
2
a__isPLNatKind
pair
V1
V2
a__U261
a__isLNatKind
V1
V2
a__U262
tt
tt
a__U272
X
U272
X
a__isPLNatKind
splitAt
V1
V2
a__U271
a__isNaturalKind
V1
V2
a__U272
tt
tt
a__U262
X
U262
X
a__isPLNatKind
X
isPLNatKind
X
a__U271
tt
V2
a__U272
a__isLNatKind
V2
a__U271
X1
X2
U271
X1
X2
a__U261
tt
V2
a__U262
a__isLNatKind
V2
a__U261
X1
X2
U261
X1
X2
a__U192
tt
V1
a__U193
a__isNatural
V1
false
a__U205
tt
V2
a__U206
a__isLNat
V2
false
a__U182
tt
V1
a__U183
a__isLNat
V1
false
a__U92
tt
V1
a__U93
a__isLNat
V1
false
a__U105
tt
V2
a__U106
a__isLNat
V2
false
a__U55
tt
V2
a__U56
a__isLNat
V2
false
a__U82
tt
V1
a__U83
a__isPLNat
V1
false
a__U255
tt
V2
a__U256
a__isLNat
V2
false
a__U62
tt
V1
a__U63
a__isPLNat
V1
false
a__U245
tt
V2
a__U246
a__isLNat
V2
false
a__U45
tt
V2
a__U46
a__isLNat
V2
false
a__U43
tt
V1
V2
a__isLNatKind
V2
false
a__U42
tt
V1
V2
a__isLNatKind
V2
false
a__U41
tt
V1
V2
a__isNaturalKind
V1
false
a__isLNat
afterNth
V1
V2
a__isNaturalKind
V1
false
a__U243
tt
V1
V2
a__isLNatKind
V2
false
a__U242
tt
V1
V2
a__isLNatKind
V2
false
a__U241
tt
V1
V2
a__isLNatKind
V1
false
a__isPLNat
pair
V1
V2
a__isLNatKind
V1
false
a__U61
tt
V1
a__isPLNatKind
V1
false
a__isLNat
fst
V1
a__isPLNatKind
V1
false
a__U72
tt
V1
a__U73
a__isNatural
V1
false
a__U71
tt
V1
a__isNaturalKind
V1
false
a__isLNat
natsFrom
V1
a__isNaturalKind
V1
false
a__U253
tt
V1
V2
a__isLNatKind
V2
false
a__U252
tt
V1
V2
a__isLNatKind
V2
false
a__U251
tt
V1
V2
a__isNaturalKind
V1
false
a__isPLNat
splitAt
V1
V2
a__isNaturalKind
V1
false
a__U81
tt
V1
a__isPLNatKind
V1
false
a__isLNat
snd
V1
a__isPLNatKind
V1
false
a__U53
tt
V1
V2
a__isLNatKind
V2
false
a__U52
tt
V1
V2
a__isLNatKind
V2
false
a__U51
tt
V1
V2
a__isNaturalKind
V1
false
a__isLNat
cons
V1
V2
a__isNaturalKind
V1
false
a__U103
tt
V1
V2
a__isLNatKind
V2
false
a__U101
tt
V1
V2
a__isNaturalKind
V1
false
a__isLNat
take
V1
V2
a__isNaturalKind
V1
false
a__U91
tt
V1
a__isLNatKind
V1
false
a__isLNat
tail
V1
a__isLNatKind
V1
false
a__U181
tt
V1
a__isLNatKind
V1
false
a__isNatural
head
V1
a__isLNatKind
V1
false
a__U203
tt
V1
V2
a__isLNatKind
V2
false
a__U202
tt
V1
V2
a__isLNatKind
V2
false
a__U201
tt
V1
V2
a__isNaturalKind
V1
false
a__isNatural
sel
V1
V2
a__isNaturalKind
V1
false
a__U191
tt
V1
a__isNaturalKind
V1
false
a__isNatural
s
V1
a__isNaturalKind
V1
false
a__U102
tt
V1
V2
a__isLNatKind
V2
false
a__isLNatKind
cons
V1
V2
a__U121
a__isNaturalKind
V1
V2
a__isPLNatKind
pair
V1
V2
a__isLNatKind
V1
a__isLNatKind
afterNth
V1
V2
a__U111
a__isNaturalKind
V1
V2
a__U261
tt
V2
a__isLNatKind
V2
a__isNaturalKind
s
V1
a__isNaturalKind
V1
a__isPLNatKind
splitAt
V1
V2
a__isNaturalKind
V1
a__isNaturalKind
head
V1
a__isLNatKind
V1
a__isLNatKind
take
V1
V2
a__U171
a__isNaturalKind
V1
V2
a__isLNatKind
natsFrom
V1
a__isNaturalKind
V1
a__isPLNatKind
pair
V1
V2
a__U261
a__isLNatKind
V1
V2
a__isLNatKind
cons
V1
V2
a__isNaturalKind
V1
a__isPLNatKind
splitAt
V1
V2
a__U271
a__isNaturalKind
V1
V2
a__U271
tt
V2
a__isLNatKind
V2
a__U231
tt
V2
a__isLNatKind
V2
a__isNaturalKind
sel
V1
V2
a__isNaturalKind
V1
a__U111
tt
V2
a__isLNatKind
V2
a__isLNatKind
snd
V1
a__isPLNatKind
V1
a__U171
tt
V2
a__isLNatKind
V2
a__U121
tt
V2
a__isLNatKind
V2
a__isLNatKind
afterNth
V1
V2
a__isNaturalKind
V1
a__isLNatKind
tail
V1
a__isLNatKind
V1
a__isLNatKind
fst
V1
a__isPLNatKind
V1
a__isNaturalKind
sel
V1
V2
a__U231
a__isNaturalKind
V1
V2
a__isLNatKind
take
V1
V2
a__isNaturalKind
V1
true
U291
3
18
a__U193
1
0
a__U83
1
21
U231
2
0
U301
3
0
a__U293
3
1
2
1
a__U241
3
11
U204
3
1
0
a__U324
4
1
30
a__U302
2
17
a__isNaturalKind
1
1
3
a__U325
4
3
4
56
a__U151
1
16
a__U292
3
3
18
a__U73
1
0
a__U131
1
0
a__U63
1
24
U21
3
1
0
U261
2
0
a__U102
3
1
2
5
U254
3
1
2
0
U333
2
1
2
a__U82
2
1
a__U332
2
0
a__U45
2
23
U193
1
1
1
a__U72
2
13
a__U242
3
17
a__U246
1
1
12
U161
1
3249
a__U321
4
1
a__U71
2
14
a__U232
1
29
U182
2
1
2
12
a__U291
3
2
U11
3
1
21269
a__U171
2
16
a__U92
2
14
a__U104
3
2
3
46
a__U294
3
3
27
a__U182
2
11
a__U191
2
6
a__U281
2
9
U243
3
0
a__U245
2
29
a__U112
1
0
s
1
1
1
U105
2
0
U303
2
12573
a__U292
3
2
a__U24
2
2
1
a__U341
3
2
a__U31
3
2
a__U243
3
1
3
2
a__U33
3
0
a__U93
1
0
a__head
1
2
U192
2
28540
a__U253
3
16
U24
2
5128
a__U33
3
3
37
U106
1
31
a__U24
2
2
a__natsFrom
1
2
isPLNatKind
1
0
a__U252
3
17
a__U256
1
0
a__U244
3
28
a__U343
3
1
2
3
9
U242
3
0
a__U303
2
2
U262
1
0
U244
3
1
2
0
U272
1
0
U56
1
1
25
a__U191
2
14
a__U272
1
0
a__U23
3
2
a__U55
2
2
23
isPLNat
1
0
a__snd
1
0
a__U331
3
1
3
7932
a__U312
2
2
a__afterNth
2
1
2
10
U42
3
0
U91
2
1
0
U221
1
1
905
U293
3
2
3
0
a__U73
1
1
27
a__U106
1
0
U325
4
1
0
a__U82
2
2
20
a__U182
2
14
take
2
1
2
4
a__U14
3
2
U71
2
0
a__U62
2
23
a__U44
3
3
22
U131
1
0
U206
1
0
a__U221
1
24
U101
3
1
3
0
a__U43
3
16
a__U334
2
2
pair
2
1
2
31
U255
2
30
a__U326
4
0
a__U261
2
25
fst
1
1
12
U111
2
1
0
U43
3
1
2
22
a__U13
3
1
a__U121
2
22
a__U262
1
25
a__U246
1
0
a__U44
3
15
a__U204
3
15
U103
3
3
0
a__U111
2
2
23
a__U272
1
25
natsFrom
1
1
7
U281
2
0
a__U103
3
16
a__U301
3
2
U44
3
1
2
0
U55
2
1
0
a__U46
1
0
a__snd
1
15
a__U252
3
1
2
5
U253
3
1
32
U312
2
0
a__U206
1
0
a__U181
2
15
a__U193
1
0
a__U271
2
25
a__U51
3
18
U341
3
1
17251
a__U254
3
32
U23
3
1
0
U292
3
0
U342
3
0
a__U172
1
17
U63
1
1
0
a__U56
1
0
a__U344
3
2
a__U22
3
1
2
16912
U172
1
1
0
U93
1
0
splitAt
2
1
2
10505
isNaturalKind
1
23
U326
4
0
a__U323
4
0
a__U106
1
1
30
U72
2
1
0
a__U11
3
1
a__U291
3
2
3
17
U241
3
3
0
U34
2
1
0
a__U192
2
1
2
0
a__U31
3
1
2
3
7
a__U51
3
19
a__U253
3
3
31
a__U81
2
2
19
a__U53
3
16
a__U205
2
14
a__take
2
2
a__U172
1
0
a__U255
2
14
U12
3
0
a__U43
3
21
U271
2
0
a__U231
2
1
2
3
a__U232
1
0
a__isLNatKind
1
1
0
a__U62
2
1
0
a__U321
4
10
a__U206
1
1
10
isNatural
1
6538
U302
2
1
0
U54
3
1
0
a__U42
3
17
a__U183
1
0
a__U41
3
2
3
19
U232
1
1
30
a__U262
1
0
a__U122
1
0
a__U12
3
0
U205
2
1
0
a__U205
2
2
27
U201
3
8
U104
3
0
a__U122
1
24
a__U14
3
2
14
a__U81
2
2
a__U21
3
2
a__U161
1
1
3248
a__U61
2
1
1
a__U333
2
2
a__U34
2
1
2
27
U252
3
1
3
6
a__U261
2
2
1
U141
1
21
a__fst
1
11
tail
1
1
3247
a__natsFrom
1
1
8
a__U302
2
2
U83
1
0
a__U294
3
2
mark
1
2
a__U204
3
1
2
3
1
0
0
1
a__U211
1
0
U294
3
17
a__U244
3
15
a__isLNat
1
18
U191
2
1
30962
U343
3
1
0
a__U251
3
1
2
3
1
U73
1
1
28
a__U282
2
2
a__U21
3
1
3
1
U332
2
15220
a__U311
2
2
10
U171
2
1
17
a__U32
3
1
2
11
a__U91
2
2
19
a__U231
2
2
1
sel
2
1
2
2
U202
3
9
afterNth
2
1
2
11
a__U151
1
0
a__U111
2
2
1
a__U161
1
0
a__U242
3
2
3
12
a__U141
1
0
nil
0
0
a__splitAt
2
1
isLNat
1
4
U246
1
0
a__U245
2
14
U62
2
1
0
a__U52
3
17
a__U211
1
24
a__U102
3
17
U304
2
2
4
U45
2
2
24
a__sel
2
2
mark
1
1
9
U151
1
17
a__isLNat
1
13
a__U56
1
24
a__U342
3
2
a__U72
2
1
5
U334
2
12033
a__U101
3
18
a__U11
3
2
3
11
U32
3
1
0
a__U53
3
2
3
21
a__U141
1
20
a__U322
4
1
3
1
a__sel
2
12
a__U42
3
2
3
20
a__U93
1
24
U33
3
1
2
0
a__U45
2
14
a__U52
3
2
20
a__U181
2
10
isLNatKind
1
1
1
U14
3
0
U211
1
1
0
a__U243
3
16
a__U54
3
15
U203
3
0
a__U105
2
14
a__U202
3
17
a__U12
3
3
12
U327
2
1
59
a__U104
3
15
a__U201
3
18
a__U63
1
0
a__isPLNat
1
10
a__U327
2
58
U46
1
25099
a__U332
2
2
a__U326
4
57
U251
3
1
0
a__U322
4
1
a__isLNatKind
1
1
11
a__U121
2
2
1
U52
3
1
21
a__U254
3
15
a__U324
4
0
a__U281
2
2
a__U251
3
18
U61
2
0
a__U46
1
24
a__U22
3
2
a__U13
3
13
a__U304
2
1
2
8
U31
3
1
0
a__U83
1
0
a__U171
2
2
3
a__U71
2
1
2
1
U183
1
1
10203
U245
2
1
0
U92
2
14042
a__isPLNat
1
0
a__U203
3
16
head
1
1
1
a__afterNth
2
2
U112
1
1
0
a__U343
3
1
a__splitAt
2
1
a__isPLNatKind
1
1
3
a__U192
2
13
a__U255
2
1
29
cons
2
1
2
10
a__U344
3
2
10
a__U92
2
2
23
U323
4
1
2
4
24
a__U61
2
2
22
U102
3
3
0
a__U105
2
2
47
a__U334
2
2
2
snd
1
1
4
a__take
2
3
U256
1
1
0
a__U301
3
2
3
16
U81
2
1
20
a__U41
3
18
U82
2
1
21
a__U304
2
2
tt
0
25
a__isNatural
1
1
4
a__isNaturalKind
1
1
22
a__U131
1
24
a__isNatural
1
12
U13
3
1
0
a__fst
1
2
a__U23
3
3
0
a__U311
2
2
a__U201
3
7
a__U271
2
2
10507
a__U202
3
2
3
8
U321
4
1
0
a__U282
2
1
2
1
a__U241
3
18
a__U183
1
12
a__U333
2
1
U22
3
1
4698
a__U293
3
1
U51
3
1
2
0
U311
2
0
a__U325
4
0
a__U34
2
0
U322
4
1
2
0
U344
3
1
0
a__U342
3
3
26
a__tail
1
3246
a__U103
3
1
20
a__U54
3
2
22
a__isPLNatKind
1
25
U53
3
1
7157
a__U303
2
2
18
a__U323
4
1
3
23
a__U55
2
14
a__U112
1
24
a__U331
3
2
U41
3
0
a__tail
1
2
a__U203
3
2
10
a__U32
3
0
a__U221
1
0
a__U101
3
1
2
1
a__U91
2
15
a__U341
3
1
0
U282
2
0
a__U256
1
1
37
U121
2
0
a__head
1
1
0
U181
2
1
0
U324
4
1
2467
U331
3
1
2
3
7933
U122
1
24102
a__U312
2
39
a__U327
2
2
a__isPLNatKind
pair
V1
V2
a__U261
a__isLNatKind
V1
V2
a__U262
tt
tt
a__U272
X
U272
X
a__isPLNatKind
splitAt
V1
V2
a__U271
a__isNaturalKind
V1
V2
a__U272
tt
tt
a__U262
X
U262
X
a__isPLNatKind
X
isPLNatKind
X
a__U271
tt
V2
a__U272
a__isLNatKind
V2
a__U271
X1
X2
U271
X1
X2
a__U261
tt
V2
a__U262
a__isLNatKind
V2
a__U261
X1
X2
U261
X1
X2
a__U111
tt
V2
a__U112
a__isLNatKind
V2
false
a__U231
tt
V2
a__U232
a__isLNatKind
V2
false
a__U121
tt
V2
a__U122
a__isLNatKind
V2
false
a__U171
tt
V2
a__U172
a__isLNatKind
V2
false
a__U271
tt
V2
a__U272
a__isLNatKind
V2
false
a__U261
tt
V2
a__U262
a__isLNatKind
V2
false
a__isLNatKind
snd
V1
a__U151
a__isPLNatKind
V1
false
a__isLNatKind
tail
V1
a__U161
a__isLNatKind
V1
false
a__isLNatKind
fst
V1
a__U131
a__isPLNatKind
V1
false
a__isLNatKind
natsFrom
V1
a__U141
a__isNaturalKind
V1
false
a__isNaturalKind
head
V1
a__U211
a__isLNatKind
V1
false
a__isNaturalKind
s
V1
a__U221
a__isNaturalKind
V1
false
NaTT
certifiable-1.6