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