active
u101
tt
X
Y
mark
u102
isNaturalKind
X
X
Y
active
u102
tt
U
V
mark
u103
isLNatKind
V
U
V
active
u103
tt
W
P
mark
u104
isLNatKind
P
W
P
active
u104
tt
X1
Y1
mark
u105
isNatural
X1
Y1
active
u105
tt
U1
mark
u106
isLNat
U1
active
u106
tt
mark
tt
active
u11
tt
V1
W1
mark
u12
isNaturalKind
V1
V1
W1
active
u111
tt
P1
mark
u112
isLNatKind
P1
active
u112
tt
mark
tt
active
u12
tt
X2
Y2
mark
u13
isLNat
Y2
X2
Y2
active
u121
tt
U2
mark
u122
isLNatKind
U2
active
u122
tt
mark
tt
active
u13
tt
V2
W2
mark
u14
isLNatKind
W2
V2
W2
active
u131
tt
mark
tt
active
u14
tt
P2
X3
mark
snd
splitAt
P2
X3
active
u141
tt
mark
tt
active
u151
tt
mark
tt
active
u161
tt
mark
tt
active
u171
tt
Y3
mark
u172
isLNatKind
Y3
active
u172
tt
mark
tt
active
u181
tt
U3
mark
u182
isLNatKind
U3
U3
active
u182
tt
V3
mark
u183
isLNat
V3
active
u183
tt
mark
tt
active
u191
tt
W3
mark
u192
isNaturalKind
W3
W3
active
u192
tt
P3
mark
u193
isNatural
P3
active
u193
tt
mark
tt
active
u201
tt
X4
Y4
mark
u202
isNaturalKind
X4
X4
Y4
active
u202
tt
U4
V4
mark
u203
isLNatKind
V4
U4
V4
active
u203
tt
W4
P4
mark
u204
isLNatKind
P4
W4
P4
active
u204
tt
X5
Y5
mark
u205
isNatural
X5
Y5
active
u205
tt
U5
mark
u206
isLNat
U5
active
u206
tt
mark
tt
active
u21
tt
V5
W5
mark
u22
isLNatKind
V5
V5
W5
active
u211
tt
mark
tt
active
u22
tt
P5
X6
mark
u23
isLNat
X6
P5
X6
active
u221
tt
mark
tt
active
u23
tt
Y6
U6
mark
u24
isLNatKind
U6
Y6
active
u231
tt
V6
mark
u232
isLNatKind
V6
active
u232
tt
mark
tt
active
u24
tt
W6
mark
W6
active
u241
tt
P6
X7
mark
u242
isLNatKind
P6
P6
X7
active
u242
tt
Y7
U7
mark
u243
isLNatKind
U7
Y7
U7
active
u243
tt
V7
W7
mark
u244
isLNatKind
W7
V7
W7
active
u244
tt
P7
X8
mark
u245
isLNat
P7
X8
active
u245
tt
Y8
mark
u246
isLNat
Y8
active
u246
tt
mark
tt
active
u251
tt
U8
V8
mark
u252
isNaturalKind
U8
U8
V8
active
u252
tt
W8
P8
mark
u253
isLNatKind
P8
W8
P8
active
u253
tt
X9
Y9
mark
u254
isLNatKind
Y9
X9
Y9
active
u254
tt
U9
V9
mark
u255
isNatural
U9
V9
active
u255
tt
W9
mark
u256
isLNat
W9
active
u256
tt
mark
tt
active
u261
tt
P9
mark
u262
isLNatKind
P9
active
u262
tt
mark
tt
active
u271
tt
X10
mark
u272
isLNatKind
X10
active
u272
tt
mark
tt
active
u281
tt
Y10
mark
u282
isNaturalKind
Y10
Y10
active
u282
tt
U10
mark
cons
U10
natsFrom
s
U10
active
u291
tt
V10
W10
mark
u292
isNaturalKind
V10
V10
W10
active
u292
tt
P10
X11
mark
u293
isLNat
X11
P10
X11
active
u293
tt
Y11
U11
mark
u294
isLNatKind
U11
Y11
U11
active
u294
tt
V11
W11
mark
head
afterNth
V11
W11
active
u301
tt
P11
X12
mark
u302
isLNatKind
P11
X12
active
u302
tt
Y12
mark
u303
isLNat
Y12
Y12
active
u303
tt
U12
mark
u304
isLNatKind
U12
U12
active
u304
tt
V12
mark
V12
active
u31
tt
W12
P12
mark
u32
isNaturalKind
W12
W12
P12
active
u311
tt
X13
mark
u312
isLNatKind
X13
X13
active
u312
tt
Y13
mark
pair
nil
Y13
active
u32
tt
U13
V13
mark
u33
isLNat
V13
U13
V13
active
u321
tt
W13
P13
X14
mark
u322
isNaturalKind
W13
W13
P13
X14
active
u322
tt
Y14
U14
V14
mark
u323
isNatural
U14
Y14
U14
V14
active
u323
tt
W14
P14
X15
mark
u324
isNaturalKind
P14
W14
P14
X15
active
u324
tt
Y15
U15
V15
mark
u325
isLNat
V15
Y15
U15
V15
active
u325
tt
W15
P15
X16
mark
u326
isLNatKind
X16
W15
P15
X16
active
u326
tt
Y16
U16
V16
mark
u327
splitAt
Y16
V16
U16
active
u327
pair
W16
P16
X17
mark
pair
cons
X17
W16
P16
active
u33
tt
Y17
U17
mark
u34
isLNatKind
U17
Y17
active
u331
tt
V17
W17
mark
u332
isNaturalKind
V17
W17
active
u332
tt
P17
mark
u333
isLNat
P17
P17
active
u333
tt
X18
mark
u334
isLNatKind
X18
X18
active
u334
tt
Y18
mark
Y18
active
u34
tt
U18
mark
U18
active
u341
tt
V18
W18
mark
u342
isNaturalKind
V18
V18
W18
active
u342
tt
P18
X19
mark
u343
isLNat
X19
P18
X19
active
u343
tt
Y19
U19
mark
u344
isLNatKind
U19
Y19
U19
active
u344
tt
V19
W19
mark
fst
splitAt
V19
W19
active
u41
tt
P19
X20
mark
u42
isNaturalKind
P19
P19
X20
active
u42
tt
Y20
U20
mark
u43
isLNatKind
U20
Y20
U20
active
u43
tt
V20
W20
mark
u44
isLNatKind
W20
V20
W20
active
u44
tt
P20
X21
mark
u45
isNatural
P20
X21
active
u45
tt
Y21
mark
u46
isLNat
Y21
active
u46
tt
mark
tt
active
u51
tt
U21
V21
mark
u52
isNaturalKind
U21
U21
V21
active
u52
tt
W21
P21
mark
u53
isLNatKind
P21
W21
P21
active
u53
tt
X22
Y22
mark
u54
isLNatKind
Y22
X22
Y22
active
u54
tt
U22
V22
mark
u55
isNatural
U22
V22
active
u55
tt
W22
mark
u56
isLNat
W22
active
u56
tt
mark
tt
active
u61
tt
P22
mark
u62
isPLNatKind
P22
P22
active
u62
tt
X23
mark
u63
isPLNat
X23
active
u63
tt
mark
tt
active
u71
tt
Y23
mark
u72
isNaturalKind
Y23
Y23
active
u72
tt
U23
mark
u73
isNatural
U23
active
u73
tt
mark
tt
active
u81
tt
V23
mark
u82
isPLNatKind
V23
V23
active
u82
tt
W23
mark
u83
isPLNat
W23
active
u83
tt
mark
tt
active
u91
tt
P23
mark
u92
isLNatKind
P23
P23
active
u92
tt
X24
mark
u93
isLNat
X24
active
u93
tt
mark
tt
active
afterNth
Y24
U24
mark
u11
isNatural
Y24
Y24
U24
active
fst
pair
V24
W24
mark
u21
isLNat
V24
V24
W24
active
head
cons
P24
X25
mark
u31
isNatural
P24
P24
X25
active
isLNat
nil
mark
tt
active
isLNat
afterNth
Y25
U25
mark
u41
isNaturalKind
Y25
Y25
U25
active
isLNat
cons
V25
W25
mark
u51
isNaturalKind
V25
V25
W25
active
isLNat
fst
P25
mark
u61
isPLNatKind
P25
P25
active
isLNat
natsFrom
X26
mark
u71
isNaturalKind
X26
X26
active
isLNat
snd
Y26
mark
u81
isPLNatKind
Y26
Y26
active
isLNat
tail
U26
mark
u91
isLNatKind
U26
U26
active
isLNat
take
V26
W26
mark
u101
isNaturalKind
V26
V26
W26
active
isLNatKind
nil
mark
tt
active
isLNatKind
afterNth
P26
X27
mark
u111
isNaturalKind
P26
X27
active
isLNatKind
cons
Y27
U27
mark
u121
isNaturalKind
Y27
U27
active
isLNatKind
fst
V27
mark
u131
isPLNatKind
V27
active
isLNatKind
natsFrom
W27
mark
u141
isNaturalKind
W27
active
isLNatKind
snd
P27
mark
u151
isPLNatKind
P27
active
isLNatKind
tail
X28
mark
u161
isLNatKind
X28
active
isLNatKind
take
Y28
U28
mark
u171
isNaturalKind
Y28
U28
active
isNatural
0
mark
tt
active
isNatural
head
V28
mark
u181
isLNatKind
V28
V28
active
isNatural
s
W28
mark
u191
isNaturalKind
W28
W28
active
isNatural
sel
P28
X29
mark
u201
isNaturalKind
P28
P28
X29
active
isNaturalKind
0
mark
tt
active
isNaturalKind
head
Y29
mark
u211
isLNatKind
Y29
active
isNaturalKind
s
U29
mark
u221
isNaturalKind
U29
active
isNaturalKind
sel
V29
W29
mark
u231
isNaturalKind
V29
W29
active
isPLNat
pair
P29
X30
mark
u241
isLNatKind
P29
P29
X30
active
isPLNat
splitAt
Y30
U30
mark
u251
isNaturalKind
Y30
Y30
U30
active
isPLNatKind
pair
V30
W30
mark
u261
isLNatKind
V30
W30
active
isPLNatKind
splitAt
P30
X31
mark
u271
isNaturalKind
P30
X31
active
natsFrom
Y31
mark
u281
isNatural
Y31
Y31
active
sel
U31
V31
mark
u291
isNatural
U31
U31
V31
active
snd
pair
W31
P31
mark
u301
isLNat
W31
W31
P31
active
splitAt
0
X32
mark
u311
isLNat
X32
X32
active
splitAt
s
Y32
cons
U32
V32
mark
u321
isNatural
Y32
Y32
U32
V32
active
tail
cons
W32
P32
mark
u331
isNatural
W32
W32
P32
active
take
X33
Y33
mark
u341
isNatural
X33
X33
Y33
mark
u101
U33
V33
W33
active
u101
mark
U33
V33
W33
mark
tt
active
tt
mark
u102
P33
X34
Y34
active
u102
mark
P33
X34
Y34
mark
isNaturalKind
U34
active
isNaturalKind
U34
mark
u103
V34
W34
P34
active
u103
mark
V34
W34
P34
mark
isLNatKind
X35
active
isLNatKind
X35
mark
u104
Y35
U35
V35
active
u104
mark
Y35
U35
V35
mark
u105
W35
P35
active
u105
mark
W35
P35
mark
isNatural
X36
active
isNatural
X36
mark
u106
Y36
active
u106
mark
Y36
mark
isLNat
U36
active
isLNat
U36
mark
u11
V36
W36
P36
active
u11
mark
V36
W36
P36
mark
u12
X37
Y37
U37
active
u12
mark
X37
Y37
U37
mark
u111
V37
W37
active
u111
mark
V37
W37
mark
u112
P37
active
u112
mark
P37
mark
u13
X38
Y38
U38
active
u13
mark
X38
Y38
U38
mark
u121
V38
W38
active
u121
mark
V38
W38
mark
u122
P38
active
u122
mark
P38
mark
u14
X39
Y39
U39
active
u14
mark
X39
Y39
U39
mark
u131
V39
active
u131
mark
V39
mark
snd
W39
active
snd
mark
W39
mark
splitAt
P39
X40
active
splitAt
mark
P39
mark
X40
mark
u141
Y40
active
u141
mark
Y40
mark
u151
U40
active
u151
mark
U40
mark
u161
V40
active
u161
mark
V40
mark
u171
W40
P40
active
u171
mark
W40
P40
mark
u172
X41
active
u172
mark
X41
mark
u181
Y41
U41
active
u181
mark
Y41
U41
mark
u182
V41
W41
active
u182
mark
V41
W41
mark
u183
P41
active
u183
mark
P41
mark
u191
X42
Y42
active
u191
mark
X42
Y42
mark
u192
U42
V42
active
u192
mark
U42
V42
mark
u193
W42
active
u193
mark
W42
mark
u201
P42
X43
Y43
active
u201
mark
P42
X43
Y43
mark
u202
U43
V43
W43
active
u202
mark
U43
V43
W43
mark
u203
P43
X44
Y44
active
u203
mark
P43
X44
Y44
mark
u204
U44
V44
W44
active
u204
mark
U44
V44
W44
mark
u205
P44
X45
active
u205
mark
P44
X45
mark
u206
Y45
active
u206
mark
Y45
mark
u21
U45
V45
W45
active
u21
mark
U45
V45
W45
mark
u22
P45
X46
Y46
active
u22
mark
P45
X46
Y46
mark
u211
U46
active
u211
mark
U46
mark
u23
V46
W46
P46
active
u23
mark
V46
W46
P46
mark
u221
X47
active
u221
mark
X47
mark
u24
Y47
U47
active
u24
mark
Y47
U47
mark
u231
V47
W47
active
u231
mark
V47
W47
mark
u232
P47
active
u232
mark
P47
mark
u241
X48
Y48
U48
active
u241
mark
X48
Y48
U48
mark
u242
V48
W48
P48
active
u242
mark
V48
W48
P48
mark
u243
X49
Y49
U49
active
u243
mark
X49
Y49
U49
mark
u244
V49
W49
P49
active
u244
mark
V49
W49
P49
mark
u245
X50
Y50
active
u245
mark
X50
Y50
mark
u246
U50
active
u246
mark
U50
mark
u251
V50
W50
P50
active
u251
mark
V50
W50
P50
mark
u252
X51
Y51
U51
active
u252
mark
X51
Y51
U51
mark
u253
V51
W51
P51
active
u253
mark
V51
W51
P51
mark
u254
X52
Y52
U52
active
u254
mark
X52
Y52
U52
mark
u255
V52
W52
active
u255
mark
V52
W52
mark
u256
P52
active
u256
mark
P52
mark
u261
X53
Y53
active
u261
mark
X53
Y53
mark
u262
U53
active
u262
mark
U53
mark
u271
V53
W53
active
u271
mark
V53
W53
mark
u272
P53
active
u272
mark
P53
mark
u281
X54
Y54
active
u281
mark
X54
Y54
mark
u282
U54
V54
active
u282
mark
U54
V54
mark
cons
W54
P54
active
cons
mark
W54
P54
mark
natsFrom
X55
active
natsFrom
mark
X55
mark
s
Y55
active
s
mark
Y55
mark
u291
U55
V55
W55
active
u291
mark
U55
V55
W55
mark
u292
P55
X56
Y56
active
u292
mark
P55
X56
Y56
mark
u293
U56
V56
W56
active
u293
mark
U56
V56
W56
mark
u294
P56
X57
Y57
active
u294
mark
P56
X57
Y57
mark
head
U57
active
head
mark
U57
mark
afterNth
V57
W57
active
afterNth
mark
V57
mark
W57
mark
u301
P57
X58
Y58
active
u301
mark
P57
X58
Y58
mark
u302
U58
V58
active
u302
mark
U58
V58
mark
u303
W58
P58
active
u303
mark
W58
P58
mark
u304
X59
Y59
active
u304
mark
X59
Y59
mark
u31
U59
V59
W59
active
u31
mark
U59
V59
W59
mark
u32
P59
X60
Y60
active
u32
mark
P59
X60
Y60
mark
u311
U60
V60
active
u311
mark
U60
V60
mark
u312
W60
P60
active
u312
mark
W60
P60
mark
pair
X61
Y61
active
pair
mark
X61
mark
Y61
mark
nil
active
nil
mark
u33
U61
V61
W61
active
u33
mark
U61
V61
W61
mark
u321
P61
X62
Y62
U62
active
u321
mark
P61
X62
Y62
U62
mark
u322
V62
W62
P62
X63
active
u322
mark
V62
W62
P62
X63
mark
u323
Y63
U63
V63
W63
active
u323
mark
Y63
U63
V63
W63
mark
u324
P63
X64
Y64
U64
active
u324
mark
P63
X64
Y64
U64
mark
u325
V64
W64
P64
X65
active
u325
mark
V64
W64
P64
X65
mark
u326
Y65
U65
V65
W65
active
u326
mark
Y65
U65
V65
W65
mark
u327
P65
X66
active
u327
mark
P65
X66
mark
u34
Y66
U66
active
u34
mark
Y66
U66
mark
u331
V66
W66
P66
active
u331
mark
V66
W66
P66
mark
u332
X67
Y67
active
u332
mark
X67
Y67
mark
u333
U67
V67
active
u333
mark
U67
V67
mark
u334
W67
P67
active
u334
mark
W67
P67
mark
u341
X68
Y68
U68
active
u341
mark
X68
Y68
U68
mark
u342
V68
W68
P68
active
u342
mark
V68
W68
P68
mark
u343
X69
Y69
U69
active
u343
mark
X69
Y69
U69
mark
u344
V69
W69
P69
active
u344
mark
V69
W69
P69
mark
fst
X70
active
fst
mark
X70
mark
u41
Y70
U70
V70
active
u41
mark
Y70
U70
V70
mark
u42
W70
P70
X71
active
u42
mark
W70
P70
X71
mark
u43
Y71
U71
V71
active
u43
mark
Y71
U71
V71
mark
u44
W71
P71
X72
active
u44
mark
W71
P71
X72
mark
u45
Y72
U72
active
u45
mark
Y72
U72
mark
u46
V72
active
u46
mark
V72
mark
u51
W72
P72
X73
active
u51
mark
W72
P72
X73
mark
u52
Y73
U73
V73
active
u52
mark
Y73
U73
V73
mark
u53
W73
P73
X74
active
u53
mark
W73
P73
X74
mark
u54
Y74
U74
V74
active
u54
mark
Y74
U74
V74
mark
u55
W74
P74
active
u55
mark
W74
P74
mark
u56
X75
active
u56
mark
X75
mark
u61
Y75
U75
active
u61
mark
Y75
U75
mark
u62
V75
W75
active
u62
mark
V75
W75
mark
isPLNatKind
P75
active
isPLNatKind
P75
mark
u63
X76
active
u63
mark
X76
mark
isPLNat
Y76
active
isPLNat
Y76
mark
u71
U76
V76
active
u71
mark
U76
V76
mark
u72
W76
P76
active
u72
mark
W76
P76
mark
u73
X77
active
u73
mark
X77
mark
u81
Y77
U77
active
u81
mark
Y77
U77
mark
u82
V77
W77
active
u82
mark
V77
W77
mark
u83
P77
active
u83
mark
P77
mark
u91
X78
Y78
active
u91
mark
X78
Y78
mark
u92
U78
V78
active
u92
mark
U78
V78
mark
u93
W78
active
u93
mark
W78
mark
tail
P78
active
tail
mark
P78
mark
take
X79
Y79
active
take
mark
X79
mark
Y79
mark
0
active
0
mark
sel
U79
V79
active
sel
mark
U79
mark
V79
u101
mark
W79
P79
X80
u101
W79
P79
X80
u101
Y80
mark
U80
V80
u101
Y80
U80
V80
u101
W80
P80
mark
X81
u101
W80
P80
X81
u101
active
Y81
U81
V81
u101
Y81
U81
V81
u101
W81
active
P81
X82
u101
W81
P81
X82
u101
Y82
U82
active
V82
u101
Y82
U82
V82
u102
mark
W82
P82
X83
u102
W82
P82
X83
u102
Y83
mark
U83
V83
u102
Y83
U83
V83
u102
W83
P83
mark
X84
u102
W83
P83
X84
u102
active
Y84
U84
V84
u102
Y84
U84
V84
u102
W84
active
P84
X85
u102
W84
P84
X85
u102
Y85
U85
active
V85
u102
Y85
U85
V85
isNaturalKind
mark
W85
isNaturalKind
W85
isNaturalKind
active
P85
isNaturalKind
P85
u103
mark
X86
Y86
U86
u103
X86
Y86
U86
u103
V86
mark
W86
P86
u103
V86
W86
P86
u103
X87
Y87
mark
U87
u103
X87
Y87
U87
u103
active
V87
W87
P87
u103
V87
W87
P87
u103
X88
active
Y88
U88
u103
X88
Y88
U88
u103
V88
W88
active
P88
u103
V88
W88
P88
isLNatKind
mark
X89
isLNatKind
X89
isLNatKind
active
Y89
isLNatKind
Y89
u104
mark
U89
V89
W89
u104
U89
V89
W89
u104
P89
mark
X90
Y90
u104
P89
X90
Y90
u104
U90
V90
mark
W90
u104
U90
V90
W90
u104
active
P90
X91
Y91
u104
P90
X91
Y91
u104
U91
active
V91
W91
u104
U91
V91
W91
u104
P91
X92
active
Y92
u104
P91
X92
Y92
u105
mark
U92
V92
u105
U92
V92
u105
W92
mark
P92
u105
W92
P92
u105
active
X93
Y93
u105
X93
Y93
u105
U93
active
V93
u105
U93
V93
isNatural
mark
W93
isNatural
W93
isNatural
active
P93
isNatural
P93
u106
mark
X94
u106
X94
u106
active
Y94
u106
Y94
isLNat
mark
U94
isLNat
U94
isLNat
active
V94
isLNat
V94
u11
mark
W94
P94
X95
u11
W94
P94
X95
u11
Y95
mark
U95
V95
u11
Y95
U95
V95
u11
W95
P95
mark
X96
u11
W95
P95
X96
u11
active
Y96
U96
V96
u11
Y96
U96
V96
u11
W96
active
P96
X97
u11
W96
P96
X97
u11
Y97
U97
active
V97
u11
Y97
U97
V97
u12
mark
W97
P97
X98
u12
W97
P97
X98
u12
Y98
mark
U98
V98
u12
Y98
U98
V98
u12
W98
P98
mark
X99
u12
W98
P98
X99
u12
active
Y99
U99
V99
u12
Y99
U99
V99
u12
W99
active
P99
X100
u12
W99
P99
X100
u12
Y100
U100
active
V100
u12
Y100
U100
V100
u111
mark
W100
P100
u111
W100
P100
u111
X101
mark
Y101
u111
X101
Y101
u111
active
U101
V101
u111
U101
V101
u111
W101
active
P101
u111
W101
P101
u112
mark
X102
u112
X102
u112
active
Y102
u112
Y102
u13
mark
U102
V102
W102
u13
U102
V102
W102
u13
P102
mark
X103
Y103
u13
P102
X103
Y103
u13
U103
V103
mark
W103
u13
U103
V103
W103
u13
active
P103
X104
Y104
u13
P103
X104
Y104
u13
U104
active
V104
W104
u13
U104
V104
W104
u13
P104
X105
active
Y105
u13
P104
X105
Y105
u121
mark
U105
V105
u121
U105
V105
u121
W105
mark
P105
u121
W105
P105
u121
active
X106
Y106
u121
X106
Y106
u121
U106
active
V106
u121
U106
V106
u122
mark
W106
u122
W106
u122
active
P106
u122
P106
u14
mark
X107
Y107
U107
u14
X107
Y107
U107
u14
V107
mark
W107
P107
u14
V107
W107
P107
u14
X108
Y108
mark
U108
u14
X108
Y108
U108
u14
active
V108
W108
P108
u14
V108
W108
P108
u14
X109
active
Y109
U109
u14
X109
Y109
U109
u14
V109
W109
active
P109
u14
V109
W109
P109
u131
mark
X110
u131
X110
u131
active
Y110
u131
Y110
snd
mark
U110
snd
U110
snd
active
V110
snd
V110
splitAt
mark
W110
P110
splitAt
W110
P110
splitAt
X111
mark
Y111
splitAt
X111
Y111
splitAt
active
U111
V111
splitAt
U111
V111
splitAt
W111
active
P111
splitAt
W111
P111
u141
mark
X112
u141
X112
u141
active
Y112
u141
Y112
u151
mark
U112
u151
U112
u151
active
V112
u151
V112
u161
mark
W112
u161
W112
u161
active
P112
u161
P112
u171
mark
X113
Y113
u171
X113
Y113
u171
U113
mark
V113
u171
U113
V113
u171
active
W113
P113
u171
W113
P113
u171
X114
active
Y114
u171
X114
Y114
u172
mark
U114
u172
U114
u172
active
V114
u172
V114
u181
mark
W114
P114
u181
W114
P114
u181
X115
mark
Y115
u181
X115
Y115
u181
active
U115
V115
u181
U115
V115
u181
W115
active
P115
u181
W115
P115
u182
mark
X116
Y116
u182
X116
Y116
u182
U116
mark
V116
u182
U116
V116
u182
active
W116
P116
u182
W116
P116
u182
X117
active
Y117
u182
X117
Y117
u183
mark
U117
u183
U117
u183
active
V117
u183
V117
u191
mark
W117
P117
u191
W117
P117
u191
X118
mark
Y118
u191
X118
Y118
u191
active
U118
V118
u191
U118
V118
u191
W118
active
P118
u191
W118
P118
u192
mark
X119
Y119
u192
X119
Y119
u192
U119
mark
V119
u192
U119
V119
u192
active
W119
P119
u192
W119
P119
u192
X120
active
Y120
u192
X120
Y120
u193
mark
U120
u193
U120
u193
active
V120
u193
V120
u201
mark
W120
P120
X121
u201
W120
P120
X121
u201
Y121
mark
U121
V121
u201
Y121
U121
V121
u201
W121
P121
mark
X122
u201
W121
P121
X122
u201
active
Y122
U122
V122
u201
Y122
U122
V122
u201
W122
active
P122
X123
u201
W122
P122
X123
u201
Y123
U123
active
V123
u201
Y123
U123
V123
u202
mark
W123
P123
X124
u202
W123
P123
X124
u202
Y124
mark
U124
V124
u202
Y124
U124
V124
u202
W124
P124
mark
X125
u202
W124
P124
X125
u202
active
Y125
U125
V125
u202
Y125
U125
V125
u202
W125
active
P125
X126
u202
W125
P125
X126
u202
Y126
U126
active
V126
u202
Y126
U126
V126
u203
mark
W126
P126
X127
u203
W126
P126
X127
u203
Y127
mark
U127
V127
u203
Y127
U127
V127
u203
W127
P127
mark
X128
u203
W127
P127
X128
u203
active
Y128
U128
V128
u203
Y128
U128
V128
u203
W128
active
P128
X129
u203
W128
P128
X129
u203
Y129
U129
active
V129
u203
Y129
U129
V129
u204
mark
W129
P129
X130
u204
W129
P129
X130
u204
Y130
mark
U130
V130
u204
Y130
U130
V130
u204
W130
P130
mark
X131
u204
W130
P130
X131
u204
active
Y131
U131
V131
u204
Y131
U131
V131
u204
W131
active
P131
X132
u204
W131
P131
X132
u204
Y132
U132
active
V132
u204
Y132
U132
V132
u205
mark
W132
P132
u205
W132
P132
u205
X133
mark
Y133
u205
X133
Y133
u205
active
U133
V133
u205
U133
V133
u205
W133
active
P133
u205
W133
P133
u206
mark
X134
u206
X134
u206
active
Y134
u206
Y134
u21
mark
U134
V134
W134
u21
U134
V134
W134
u21
P134
mark
X135
Y135
u21
P134
X135
Y135
u21
U135
V135
mark
W135
u21
U135
V135
W135
u21
active
P135
X136
Y136
u21
P135
X136
Y136
u21
U136
active
V136
W136
u21
U136
V136
W136
u21
P136
X137
active
Y137
u21
P136
X137
Y137
u22
mark
U137
V137
W137
u22
U137
V137
W137
u22
P137
mark
X138
Y138
u22
P137
X138
Y138
u22
U138
V138
mark
W138
u22
U138
V138
W138
u22
active
P138
X139
Y139
u22
P138
X139
Y139
u22
U139
active
V139
W139
u22
U139
V139
W139
u22
P139
X140
active
Y140
u22
P139
X140
Y140
u211
mark
U140
u211
U140
u211
active
V140
u211
V140
u23
mark
W140
P140
X141
u23
W140
P140
X141
u23
Y141
mark
U141
V141
u23
Y141
U141
V141
u23
W141
P141
mark
X142
u23
W141
P141
X142
u23
active
Y142
U142
V142
u23
Y142
U142
V142
u23
W142
active
P142
X143
u23
W142
P142
X143
u23
Y143
U143
active
V143
u23
Y143
U143
V143
u221
mark
W143
u221
W143
u221
active
P143
u221
P143
u24
mark
X144
Y144
u24
X144
Y144
u24
U144
mark
V144
u24
U144
V144
u24
active
W144
P144
u24
W144
P144
u24
X145
active
Y145
u24
X145
Y145
u231
mark
U145
V145
u231
U145
V145
u231
W145
mark
P145
u231
W145
P145
u231
active
X146
Y146
u231
X146
Y146
u231
U146
active
V146
u231
U146
V146
u232
mark
W146
u232
W146
u232
active
P146
u232
P146
u241
mark
X147
Y147
U147
u241
X147
Y147
U147
u241
V147
mark
W147
P147
u241
V147
W147
P147
u241
X148
Y148
mark
U148
u241
X148
Y148
U148
u241
active
V148
W148
P148
u241
V148
W148
P148
u241
X149
active
Y149
U149
u241
X149
Y149
U149
u241
V149
W149
active
P149
u241
V149
W149
P149
u242
mark
X150
Y150
U150
u242
X150
Y150
U150
u242
V150
mark
W150
P150
u242
V150
W150
P150
u242
X151
Y151
mark
U151
u242
X151
Y151
U151
u242
active
V151
W151
P151
u242
V151
W151
P151
u242
X152
active
Y152
U152
u242
X152
Y152
U152
u242
V152
W152
active
P152
u242
V152
W152
P152
u243
mark
X153
Y153
U153
u243
X153
Y153
U153
u243
V153
mark
W153
P153
u243
V153
W153
P153
u243
X154
Y154
mark
U154
u243
X154
Y154
U154
u243
active
V154
W154
P154
u243
V154
W154
P154
u243
X155
active
Y155
U155
u243
X155
Y155
U155
u243
V155
W155
active
P155
u243
V155
W155
P155
u244
mark
X156
Y156
U156
u244
X156
Y156
U156
u244
V156
mark
W156
P156
u244
V156
W156
P156
u244
X157
Y157
mark
U157
u244
X157
Y157
U157
u244
active
V157
W157
P157
u244
V157
W157
P157
u244
X158
active
Y158
U158
u244
X158
Y158
U158
u244
V158
W158
active
P158
u244
V158
W158
P158
u245
mark
X159
Y159
u245
X159
Y159
u245
U159
mark
V159
u245
U159
V159
u245
active
W159
P159
u245
W159
P159
u245
X160
active
Y160
u245
X160
Y160
u246
mark
U160
u246
U160
u246
active
V160
u246
V160
u251
mark
W160
P160
X161
u251
W160
P160
X161
u251
Y161
mark
U161
V161
u251
Y161
U161
V161
u251
W161
P161
mark
X162
u251
W161
P161
X162
u251
active
Y162
U162
V162
u251
Y162
U162
V162
u251
W162
active
P162
X163
u251
W162
P162
X163
u251
Y163
U163
active
V163
u251
Y163
U163
V163
u252
mark
W163
P163
X164
u252
W163
P163
X164
u252
Y164
mark
U164
V164
u252
Y164
U164
V164
u252
W164
P164
mark
X165
u252
W164
P164
X165
u252
active
Y165
U165
V165
u252
Y165
U165
V165
u252
W165
active
P165
X166
u252
W165
P165
X166
u252
Y166
U166
active
V166
u252
Y166
U166
V166
u253
mark
W166
P166
X167
u253
W166
P166
X167
u253
Y167
mark
U167
V167
u253
Y167
U167
V167
u253
W167
P167
mark
X168
u253
W167
P167
X168
u253
active
Y168
U168
V168
u253
Y168
U168
V168
u253
W168
active
P168
X169
u253
W168
P168
X169
u253
Y169
U169
active
V169
u253
Y169
U169
V169
u254
mark
W169
P169
X170
u254
W169
P169
X170
u254
Y170
mark
U170
V170
u254
Y170
U170
V170
u254
W170
P170
mark
X171
u254
W170
P170
X171
u254
active
Y171
U171
V171
u254
Y171
U171
V171
u254
W171
active
P171
X172
u254
W171
P171
X172
u254
Y172
U172
active
V172
u254
Y172
U172
V172
u255
mark
W172
P172
u255
W172
P172
u255
X173
mark
Y173
u255
X173
Y173
u255
active
U173
V173
u255
U173
V173
u255
W173
active
P173
u255
W173
P173
u256
mark
X174
u256
X174
u256
active
Y174
u256
Y174
u261
mark
U174
V174
u261
U174
V174
u261
W174
mark
P174
u261
W174
P174
u261
active
X175
Y175
u261
X175
Y175
u261
U175
active
V175
u261
U175
V175
u262
mark
W175
u262
W175
u262
active
P175
u262
P175
u271
mark
X176
Y176
u271
X176
Y176
u271
U176
mark
V176
u271
U176
V176
u271
active
W176
P176
u271
W176
P176
u271
X177
active
Y177
u271
X177
Y177
u272
mark
U177
u272
U177
u272
active
V177
u272
V177
u281
mark
W177
P177
u281
W177
P177
u281
X178
mark
Y178
u281
X178
Y178
u281
active
U178
V178
u281
U178
V178
u281
W178
active
P178
u281
W178
P178
u282
mark
X179
Y179
u282
X179
Y179
u282
U179
mark
V179
u282
U179
V179
u282
active
W179
P179
u282
W179
P179
u282
X180
active
Y180
u282
X180
Y180
cons
mark
U180
V180
cons
U180
V180
cons
W180
mark
P180
cons
W180
P180
cons
active
X181
Y181
cons
X181
Y181
cons
U181
active
V181
cons
U181
V181
natsFrom
mark
W181
natsFrom
W181
natsFrom
active
P181
natsFrom
P181
s
mark
X182
s
X182
s
active
Y182
s
Y182
u291
mark
U182
V182
W182
u291
U182
V182
W182
u291
P182
mark
X183
Y183
u291
P182
X183
Y183
u291
U183
V183
mark
W183
u291
U183
V183
W183
u291
active
P183
X184
Y184
u291
P183
X184
Y184
u291
U184
active
V184
W184
u291
U184
V184
W184
u291
P184
X185
active
Y185
u291
P184
X185
Y185
u292
mark
U185
V185
W185
u292
U185
V185
W185
u292
P185
mark
X186
Y186
u292
P185
X186
Y186
u292
U186
V186
mark
W186
u292
U186
V186
W186
u292
active
P186
X187
Y187
u292
P186
X187
Y187
u292
U187
active
V187
W187
u292
U187
V187
W187
u292
P187
X188
active
Y188
u292
P187
X188
Y188
u293
mark
U188
V188
W188
u293
U188
V188
W188
u293
P188
mark
X189
Y189
u293
P188
X189
Y189
u293
U189
V189
mark
W189
u293
U189
V189
W189
u293
active
P189
X190
Y190
u293
P189
X190
Y190
u293
U190
active
V190
W190
u293
U190
V190
W190
u293
P190
X191
active
Y191
u293
P190
X191
Y191
u294
mark
U191
V191
W191
u294
U191
V191
W191
u294
P191
mark
X192
Y192
u294
P191
X192
Y192
u294
U192
V192
mark
W192
u294
U192
V192
W192
u294
active
P192
X193
Y193
u294
P192
X193
Y193
u294
U193
active
V193
W193
u294
U193
V193
W193
u294
P193
X194
active
Y194
u294
P193
X194
Y194
head
mark
U194
head
U194
head
active
V194
head
V194
afterNth
mark
W194
P194
afterNth
W194
P194
afterNth
X195
mark
Y195
afterNth
X195
Y195
afterNth
active
U195
V195
afterNth
U195
V195
afterNth
W195
active
P195
afterNth
W195
P195
u301
mark
X196
Y196
U196
u301
X196
Y196
U196
u301
V196
mark
W196
P196
u301
V196
W196
P196
u301
X197
Y197
mark
U197
u301
X197
Y197
U197
u301
active
V197
W197
P197
u301
V197
W197
P197
u301
X198
active
Y198
U198
u301
X198
Y198
U198
u301
V198
W198
active
P198
u301
V198
W198
P198
u302
mark
X199
Y199
u302
X199
Y199
u302
U199
mark
V199
u302
U199
V199
u302
active
W199
P199
u302
W199
P199
u302
X200
active
Y200
u302
X200
Y200
u303
mark
U200
V200
u303
U200
V200
u303
W200
mark
P200
u303
W200
P200
u303
active
X201
Y201
u303
X201
Y201
u303
U201
active
V201
u303
U201
V201
u304
mark
W201
P201
u304
W201
P201
u304
X202
mark
Y202
u304
X202
Y202
u304
active
U202
V202
u304
U202
V202
u304
W202
active
P202
u304
W202
P202
u31
mark
X203
Y203
U203
u31
X203
Y203
U203
u31
V203
mark
W203
P203
u31
V203
W203
P203
u31
X204
Y204
mark
U204
u31
X204
Y204
U204
u31
active
V204
W204
P204
u31
V204
W204
P204
u31
X205
active
Y205
U205
u31
X205
Y205
U205
u31
V205
W205
active
P205
u31
V205
W205
P205
u32
mark
X206
Y206
U206
u32
X206
Y206
U206
u32
V206
mark
W206
P206
u32
V206
W206
P206
u32
X207
Y207
mark
U207
u32
X207
Y207
U207
u32
active
V207
W207
P207
u32
V207
W207
P207
u32
X208
active
Y208
U208
u32
X208
Y208
U208
u32
V208
W208
active
P208
u32
V208
W208
P208
u311
mark
X209
Y209
u311
X209
Y209
u311
U209
mark
V209
u311
U209
V209
u311
active
W209
P209
u311
W209
P209
u311
X210
active
Y210
u311
X210
Y210
u312
mark
U210
V210
u312
U210
V210
u312
W210
mark
P210
u312
W210
P210
u312
active
X211
Y211
u312
X211
Y211
u312
U211
active
V211
u312
U211
V211
pair
mark
W211
P211
pair
W211
P211
pair
X212
mark
Y212
pair
X212
Y212
pair
active
U212
V212
pair
U212
V212
pair
W212
active
P212
pair
W212
P212
u33
mark
X213
Y213
U213
u33
X213
Y213
U213
u33
V213
mark
W213
P213
u33
V213
W213
P213
u33
X214
Y214
mark
U214
u33
X214
Y214
U214
u33
active
V214
W214
P214
u33
V214
W214
P214
u33
X215
active
Y215
U215
u33
X215
Y215
U215
u33
V215
W215
active
P215
u33
V215
W215
P215
u321
mark
X216
Y216
U216
V216
u321
X216
Y216
U216
V216
u321
W216
mark
P216
X217
Y217
u321
W216
P216
X217
Y217
u321
U217
V217
mark
W217
P217
u321
U217
V217
W217
P217
u321
X218
Y218
U218
mark
V218
u321
X218
Y218
U218
V218
u321
active
W218
P218
X219
Y219
u321
W218
P218
X219
Y219
u321
U219
active
V219
W219
P219
u321
U219
V219
W219
P219
u321
X220
Y220
active
U220
V220
u321
X220
Y220
U220
V220
u321
W220
P220
X221
active
Y221
u321
W220
P220
X221
Y221
u322
mark
U221
V221
W221
P221
u322
U221
V221
W221
P221
u322
X222
mark
Y222
U222
V222
u322
X222
Y222
U222
V222
u322
W222
P222
mark
X223
Y223
u322
W222
P222
X223
Y223
u322
U223
V223
W223
mark
P223
u322
U223
V223
W223
P223
u322
active
X224
Y224
U224
V224
u322
X224
Y224
U224
V224
u322
W224
active
P224
X225
Y225
u322
W224
P224
X225
Y225
u322
U225
V225
active
W225
P225
u322
U225
V225
W225
P225
u322
X226
Y226
U226
active
V226
u322
X226
Y226
U226
V226
u323
mark
W226
P226
X227
Y227
u323
W226
P226
X227
Y227
u323
U227
mark
V227
W227
P227
u323
U227
V227
W227
P227
u323
X228
Y228
mark
U228
V228
u323
X228
Y228
U228
V228
u323
W228
P228
X229
mark
Y229
u323
W228
P228
X229
Y229
u323
active
U229
V229
W229
P229
u323
U229
V229
W229
P229
u323
X230
active
Y230
U230
V230
u323
X230
Y230
U230
V230
u323
W230
P230
active
X231
Y231
u323
W230
P230
X231
Y231
u323
U231
V231
W231
active
P231
u323
U231
V231
W231
P231
u324
mark
X232
Y232
U232
V232
u324
X232
Y232
U232
V232
u324
W232
mark
P232
X233
Y233
u324
W232
P232
X233
Y233
u324
U233
V233
mark
W233
P233
u324
U233
V233
W233
P233
u324
X234
Y234
U234
mark
V234
u324
X234
Y234
U234
V234
u324
active
W234
P234
X235
Y235
u324
W234
P234
X235
Y235
u324
U235
active
V235
W235
P235
u324
U235
V235
W235
P235
u324
X236
Y236
active
U236
V236
u324
X236
Y236
U236
V236
u324
W236
P236
X237
active
Y237
u324
W236
P236
X237
Y237
u325
mark
U237
V237
W237
P237
u325
U237
V237
W237
P237
u325
X238
mark
Y238
U238
V238
u325
X238
Y238
U238
V238
u325
W238
P238
mark
X239
Y239
u325
W238
P238
X239
Y239
u325
U239
V239
W239
mark
P239
u325
U239
V239
W239
P239
u325
active
X240
Y240
U240
V240
u325
X240
Y240
U240
V240
u325
W240
active
P240
X241
Y241
u325
W240
P240
X241
Y241
u325
U241
V241
active
W241
P241
u325
U241
V241
W241
P241
u325
X242
Y242
U242
active
V242
u325
X242
Y242
U242
V242
u326
mark
W242
P242
X243
Y243
u326
W242
P242
X243
Y243
u326
U243
mark
V243
W243
P243
u326
U243
V243
W243
P243
u326
X244
Y244
mark
U244
V244
u326
X244
Y244
U244
V244
u326
W244
P244
X245
mark
Y245
u326
W244
P244
X245
Y245
u326
active
U245
V245
W245
P245
u326
U245
V245
W245
P245
u326
X246
active
Y246
U246
V246
u326
X246
Y246
U246
V246
u326
W246
P246
active
X247
Y247
u326
W246
P246
X247
Y247
u326
U247
V247
W247
active
P247
u326
U247
V247
W247
P247
u327
mark
X248
Y248
u327
X248
Y248
u327
U248
mark
V248
u327
U248
V248
u327
active
W248
P248
u327
W248
P248
u327
X249
active
Y249
u327
X249
Y249
u34
mark
U249
V249
u34
U249
V249
u34
W249
mark
P249
u34
W249
P249
u34
active
X250
Y250
u34
X250
Y250
u34
U250
active
V250
u34
U250
V250
u331
mark
W250
P250
X251
u331
W250
P250
X251
u331
Y251
mark
U251
V251
u331
Y251
U251
V251
u331
W251
P251
mark
X252
u331
W251
P251
X252
u331
active
Y252
U252
V252
u331
Y252
U252
V252
u331
W252
active
P252
X253
u331
W252
P252
X253
u331
Y253
U253
active
V253
u331
Y253
U253
V253
u332
mark
W253
P253
u332
W253
P253
u332
X254
mark
Y254
u332
X254
Y254
u332
active
U254
V254
u332
U254
V254
u332
W254
active
P254
u332
W254
P254
u333
mark
X255
Y255
u333
X255
Y255
u333
U255
mark
V255
u333
U255
V255
u333
active
W255
P255
u333
W255
P255
u333
X256
active
Y256
u333
X256
Y256
u334
mark
U256
V256
u334
U256
V256
u334
W256
mark
P256
u334
W256
P256
u334
active
X257
Y257
u334
X257
Y257
u334
U257
active
V257
u334
U257
V257
u341
mark
W257
P257
X258
u341
W257
P257
X258
u341
Y258
mark
U258
V258
u341
Y258
U258
V258
u341
W258
P258
mark
X259
u341
W258
P258
X259
u341
active
Y259
U259
V259
u341
Y259
U259
V259
u341
W259
active
P259
X260
u341
W259
P259
X260
u341
Y260
U260
active
V260
u341
Y260
U260
V260
u342
mark
W260
P260
X261
u342
W260
P260
X261
u342
Y261
mark
U261
V261
u342
Y261
U261
V261
u342
W261
P261
mark
X262
u342
W261
P261
X262
u342
active
Y262
U262
V262
u342
Y262
U262
V262
u342
W262
active
P262
X263
u342
W262
P262
X263
u342
Y263
U263
active
V263
u342
Y263
U263
V263
u343
mark
W263
P263
X264
u343
W263
P263
X264
u343
Y264
mark
U264
V264
u343
Y264
U264
V264
u343
W264
P264
mark
X265
u343
W264
P264
X265
u343
active
Y265
U265
V265
u343
Y265
U265
V265
u343
W265
active
P265
X266
u343
W265
P265
X266
u343
Y266
U266
active
V266
u343
Y266
U266
V266
u344
mark
W266
P266
X267
u344
W266
P266
X267
u344
Y267
mark
U267
V267
u344
Y267
U267
V267
u344
W267
P267
mark
X268
u344
W267
P267
X268
u344
active
Y268
U268
V268
u344
Y268
U268
V268
u344
W268
active
P268
X269
u344
W268
P268
X269
u344
Y269
U269
active
V269
u344
Y269
U269
V269
fst
mark
W269
fst
W269
fst
active
P269
fst
P269
u41
mark
X270
Y270
U270
u41
X270
Y270
U270
u41
V270
mark
W270
P270
u41
V270
W270
P270
u41
X271
Y271
mark
U271
u41
X271
Y271
U271
u41
active
V271
W271
P271
u41
V271
W271
P271
u41
X272
active
Y272
U272
u41
X272
Y272
U272
u41
V272
W272
active
P272
u41
V272
W272
P272
u42
mark
X273
Y273
U273
u42
X273
Y273
U273
u42
V273
mark
W273
P273
u42
V273
W273
P273
u42
X274
Y274
mark
U274
u42
X274
Y274
U274
u42
active
V274
W274
P274
u42
V274
W274
P274
u42
X275
active
Y275
U275
u42
X275
Y275
U275
u42
V275
W275
active
P275
u42
V275
W275
P275
u43
mark
X276
Y276
U276
u43
X276
Y276
U276
u43
V276
mark
W276
P276
u43
V276
W276
P276
u43
X277
Y277
mark
U277
u43
X277
Y277
U277
u43
active
V277
W277
P277
u43
V277
W277
P277
u43
X278
active
Y278
U278
u43
X278
Y278
U278
u43
V278
W278
active
P278
u43
V278
W278
P278
u44
mark
X279
Y279
U279
u44
X279
Y279
U279
u44
V279
mark
W279
P279
u44
V279
W279
P279
u44
X280
Y280
mark
U280
u44
X280
Y280
U280
u44
active
V280
W280
P280
u44
V280
W280
P280
u44
X281
active
Y281
U281
u44
X281
Y281
U281
u44
V281
W281
active
P281
u44
V281
W281
P281
u45
mark
X282
Y282
u45
X282
Y282
u45
U282
mark
V282
u45
U282
V282
u45
active
W282
P282
u45
W282
P282
u45
X283
active
Y283
u45
X283
Y283
u46
mark
U283
u46
U283
u46
active
V283
u46
V283
u51
mark
W283
P283
X284
u51
W283
P283
X284
u51
Y284
mark
U284
V284
u51
Y284
U284
V284
u51
W284
P284
mark
X285
u51
W284
P284
X285
u51
active
Y285
U285
V285
u51
Y285
U285
V285
u51
W285
active
P285
X286
u51
W285
P285
X286
u51
Y286
U286
active
V286
u51
Y286
U286
V286
u52
mark
W286
P286
X287
u52
W286
P286
X287
u52
Y287
mark
U287
V287
u52
Y287
U287
V287
u52
W287
P287
mark
X288
u52
W287
P287
X288
u52
active
Y288
U288
V288
u52
Y288
U288
V288
u52
W288
active
P288
X289
u52
W288
P288
X289
u52
Y289
U289
active
V289
u52
Y289
U289
V289
u53
mark
W289
P289
X290
u53
W289
P289
X290
u53
Y290
mark
U290
V290
u53
Y290
U290
V290
u53
W290
P290
mark
X291
u53
W290
P290
X291
u53
active
Y291
U291
V291
u53
Y291
U291
V291
u53
W291
active
P291
X292
u53
W291
P291
X292
u53
Y292
U292
active
V292
u53
Y292
U292
V292
u54
mark
W292
P292
X293
u54
W292
P292
X293
u54
Y293
mark
U293
V293
u54
Y293
U293
V293
u54
W293
P293
mark
X294
u54
W293
P293
X294
u54
active
Y294
U294
V294
u54
Y294
U294
V294
u54
W294
active
P294
X295
u54
W294
P294
X295
u54
Y295
U295
active
V295
u54
Y295
U295
V295
u55
mark
W295
P295
u55
W295
P295
u55
X296
mark
Y296
u55
X296
Y296
u55
active
U296
V296
u55
U296
V296
u55
W296
active
P296
u55
W296
P296
u56
mark
X297
u56
X297
u56
active
Y297
u56
Y297
u61
mark
U297
V297
u61
U297
V297
u61
W297
mark
P297
u61
W297
P297
u61
active
X298
Y298
u61
X298
Y298
u61
U298
active
V298
u61
U298
V298
u62
mark
W298
P298
u62
W298
P298
u62
X299
mark
Y299
u62
X299
Y299
u62
active
U299
V299
u62
U299
V299
u62
W299
active
P299
u62
W299
P299
isPLNatKind
mark
X300
isPLNatKind
X300
isPLNatKind
active
Y300
isPLNatKind
Y300
u63
mark
U300
u63
U300
u63
active
V300
u63
V300
isPLNat
mark
W300
isPLNat
W300
isPLNat
active
P300
isPLNat
P300
u71
mark
X301
Y301
u71
X301
Y301
u71
U301
mark
V301
u71
U301
V301
u71
active
W301
P301
u71
W301
P301
u71
X302
active
Y302
u71
X302
Y302
u72
mark
U302
V302
u72
U302
V302
u72
W302
mark
P302
u72
W302
P302
u72
active
X303
Y303
u72
X303
Y303
u72
U303
active
V303
u72
U303
V303
u73
mark
W303
u73
W303
u73
active
P303
u73
P303
u81
mark
X304
Y304
u81
X304
Y304
u81
U304
mark
V304
u81
U304
V304
u81
active
W304
P304
u81
W304
P304
u81
X305
active
Y305
u81
X305
Y305
u82
mark
U305
V305
u82
U305
V305
u82
W305
mark
P305
u82
W305
P305
u82
active
X306
Y306
u82
X306
Y306
u82
U306
active
V306
u82
U306
V306
u83
mark
W306
u83
W306
u83
active
P306
u83
P306
u91
mark
X307
Y307
u91
X307
Y307
u91
U307
mark
V307
u91
U307
V307
u91
active
W307
P307
u91
W307
P307
u91
X308
active
Y308
u91
X308
Y308
u92
mark
U308
V308
u92
U308
V308
u92
W308
mark
P308
u92
W308
P308
u92
active
X309
Y309
u92
X309
Y309
u92
U309
active
V309
u92
U309
V309
u93
mark
W309
u93
W309
u93
active
P309
u93
P309
tail
mark
X310
tail
X310
tail
active
Y310
tail
Y310
take
mark
U310
V310
take
U310
V310
take
W310
mark
P310
take
W310
P310
take
active
X311
Y311
take
X311
Y311
take
U311
active
V311
take
U311
V311
sel
mark
W311
P311
sel
W311
P311
sel
X312
mark
Y312
sel
X312
Y312
sel
active
U312
V312
sel
U312
V312
sel
W312
active
P312
sel
W312
P312
map
%X
A
F313
%X
nil
nil
app
%Y
A
Z313
%Y
U313
Z313
U313
X
A
Y
A
U
A
V
A
W
A
P
A
X1
A
Y1
A
U1
A
V1
A
W1
A
P1
A
X2
A
Y2
A
U2
A
V2
A
W2
A
P2
A
X3
A
Y3
A
U3
A
V3
A
W3
A
P3
A
X4
A
Y4
A
U4
A
V4
A
W4
A
P4
A
X5
A
Y5
A
U5
A
V5
A
W5
A
P5
A
X6
A
Y6
A
U6
A
V6
A
W6
A
P6
A
X7
A
Y7
A
U7
A
V7
A
W7
A
P7
A
X8
A
Y8
A
U8
A
V8
A
W8
A
P8
A
X9
A
Y9
A
U9
A
V9
A
W9
A
P9
A
X10
A
Y10
A
U10
A
V10
A
W10
A
P10
A
X11
A
Y11
A
U11
A
V11
A
W11
A
P11
A
X12
A
Y12
A
U12
A
V12
A
W12
A
P12
A
X13
A
Y13
A
U13
A
V13
A
W13
A
P13
A
X14
A
Y14
A
U14
A
V14
A
W14
A
P14
A
X15
A
Y15
A
U15
A
V15
A
W15
A
P15
A
X16
A
Y16
A
U16
A
V16
A
W16
A
P16
A
X17
A
Y17
A
U17
A
V17
A
W17
A
P17
A
X18
A
Y18
A
U18
A
V18
A
W18
A
P18
A
X19
A
Y19
A
U19
A
V19
A
W19
A
P19
A
X20
A
Y20
A
U20
A
V20
A
W20
A
P20
A
X21
A
Y21
A
U21
A
V21
A
W21
A
P21
A
X22
A
Y22
A
U22
A
V22
A
W22
A
P22
A
X23
A
Y23
A
U23
A
V23
A
W23
A
P23
A
X24
A
Y24
A
U24
A
V24
A
W24
A
P24
A
X25
A
Y25
A
U25
A
V25
A
W25
A
P25
A
X26
A
Y26
A
U26
A
V26
A
W26
A
P26
A
X27
A
Y27
A
U27
A
V27
A
W27
A
P27
A
X28
A
Y28
A
U28
A
V28
A
W28
A
P28
A
X29
A
Y29
A
U29
A
V29
A
W29
A
P29
A
X30
A
Y30
A
U30
A
V30
A
W30
A
P30
A
X31
A
Y31
A
U31
A
V31
A
W31
A
P31
A
X32
A
Y32
A
U32
A
V32
A
W32
A
P32
A
X33
A
Y33
A
U33
A
V33
A
W33
A
P33
A
X34
A
Y34
A
U34
A
V34
A
W34
A
P34
A
X35
A
Y35
A
U35
A
V35
A
W35
A
P35
A
X36
A
Y36
A
U36
A
V36
A
W36
A
P36
A
X37
A
Y37
A
U37
A
V37
A
W37
A
P37
A
X38
A
Y38
A
U38
A
V38
A
W38
A
P38
A
X39
A
Y39
A
U39
A
V39
A
W39
A
P39
A
X40
A
Y40
A
U40
A
V40
A
W40
A
P40
A
X41
A
Y41
A
U41
A
V41
A
W41
A
P41
A
X42
A
Y42
A
U42
A
V42
A
W42
A
P42
A
X43
A
Y43
A
U43
A
V43
A
W43
A
P43
A
X44
A
Y44
A
U44
A
V44
A
W44
A
P44
A
X45
A
Y45
A
U45
A
V45
A
W45
A
P45
A
X46
A
Y46
A
U46
A
V46
A
W46
A
P46
A
X47
A
Y47
A
U47
A
V47
A
W47
A
P47
A
X48
A
Y48
A
U48
A
V48
A
W48
A
P48
A
X49
A
Y49
A
U49
A
V49
A
W49
A
P49
A
X50
A
Y50
A
U50
A
V50
A
W50
A
P50
A
X51
A
Y51
A
U51
A
V51
A
W51
A
P51
A
X52
A
Y52
A
U52
A
V52
A
W52
A
P52
A
X53
A
Y53
A
U53
A
V53
A
W53
A
P53
A
X54
A
Y54
A
U54
A
V54
A
W54
A
P54
A
X55
A
Y55
A
U55
A
V55
A
W55
A
P55
A
X56
A
Y56
A
U56
A
V56
A
W56
A
P56
A
X57
A
Y57
A
U57
A
V57
A
W57
A
P57
A
X58
A
Y58
A
U58
A
V58
A
W58
A
P58
A
X59
A
Y59
A
U59
A
V59
A
W59
A
P59
A
X60
A
Y60
A
U60
A
V60
A
W60
A
P60
A
X61
A
Y61
A
U61
A
V61
A
W61
A
P61
A
X62
A
Y62
A
U62
A
V62
A
W62
A
P62
A
X63
A
Y63
A
U63
A
V63
A
W63
A
P63
A
X64
A
Y64
A
U64
A
V64
A
W64
A
P64
A
X65
A
Y65
A
U65
A
V65
A
W65
A
P65
A
X66
A
Y66
A
U66
A
V66
A
W66
A
P66
A
X67
A
Y67
A
U67
A
V67
A
W67
A
P67
A
X68
A
Y68
A
U68
A
V68
A
W68
A
P68
A
X69
A
Y69
A
U69
A
V69
A
W69
A
P69
A
X70
A
Y70
A
U70
A
V70
A
W70
A
P70
A
X71
A
Y71
A
U71
A
V71
A
W71
A
P71
A
X72
A
Y72
A
U72
A
V72
A
W72
A
P72
A
X73
A
Y73
A
U73
A
V73
A
W73
A
P73
A
X74
A
Y74
A
U74
A
V74
A
W74
A
P74
A
X75
A
Y75
A
U75
A
V75
A
W75
A
P75
A
X76
A
Y76
A
U76
A
V76
A
W76
A
P76
A
X77
A
Y77
A
U77
A
V77
A
W77
A
P77
A
X78
A
Y78
A
U78
A
V78
A
W78
A
P78
A
X79
A
Y79
A
U79
A
V79
A
W79
A
P79
A
X80
A
Y80
A
U80
A
V80
A
W80
A
P80
A
X81
A
Y81
A
U81
A
V81
A
W81
A
P81
A
X82
A
Y82
A
U82
A
V82
A
W82
A
P82
A
X83
A
Y83
A
U83
A
V83
A
W83
A
P83
A
X84
A
Y84
A
U84
A
V84
A
W84
A
P84
A
X85
A
Y85
A
U85
A
V85
A
W85
A
P85
A
X86
A
Y86
A
U86
A
V86
A
W86
A
P86
A
X87
A
Y87
A
U87
A
V87
A
W87
A
P87
A
X88
A
Y88
A
U88
A
V88
A
W88
A
P88
A
X89
A
Y89
A
U89
A
V89
A
W89
A
P89
A
X90
A
Y90
A
U90
A
V90
A
W90
A
P90
A
X91
A
Y91
A
U91
A
V91
A
W91
A
P91
A
X92
A
Y92
A
U92
A
V92
A
W92
A
P92
A
X93
A
Y93
A
U93
A
V93
A
W93
A
P93
A
X94
A
Y94
A
U94
A
V94
A
W94
A
P94
A
X95
A
Y95
A
U95
A
V95
A
W95
A
P95
A
X96
A
Y96
A
U96
A
V96
A
W96
A
P96
A
X97
A
Y97
A
U97
A
V97
A
W97
A
P97
A
X98
A
Y98
A
U98
A
V98
A
W98
A
P98
A
X99
A
Y99
A
U99
A
V99
A
W99
A
P99
A
X100
A
Y100
A
U100
A
V100
A
W100
A
P100
A
X101
A
Y101
A
U101
A
V101
A
W101
A
P101
A
X102
A
Y102
A
U102
A
V102
A
W102
A
P102
A
X103
A
Y103
A
U103
A
V103
A
W103
A
P103
A
X104
A
Y104
A
U104
A
V104
A
W104
A
P104
A
X105
A
Y105
A
U105
A
V105
A
W105
A
P105
A
X106
A
Y106
A
U106
A
V106
A
W106
A
P106
A
X107
A
Y107
A
U107
A
V107
A
W107
A
P107
A
X108
A
Y108
A
U108
A
V108
A
W108
A
P108
A
X109
A
Y109
A
U109
A
V109
A
W109
A
P109
A
X110
A
Y110
A
U110
A
V110
A
W110
A
P110
A
X111
A
Y111
A
U111
A
V111
A
W111
A
P111
A
X112
A
Y112
A
U112
A
V112
A
W112
A
P112
A
X113
A
Y113
A
U113
A
V113
A
W113
A
P113
A
X114
A
Y114
A
U114
A
V114
A
W114
A
P114
A
X115
A
Y115
A
U115
A
V115
A
W115
A
P115
A
X116
A
Y116
A
U116
A
V116
A
W116
A
P116
A
X117
A
Y117
A
U117
A
V117
A
W117
A
P117
A
X118
A
Y118
A
U118
A
V118
A
W118
A
P118
A
X119
A
Y119
A
U119
A
V119
A
W119
A
P119
A
X120
A
Y120
A
U120
A
V120
A
W120
A
P120
A
X121
A
Y121
A
U121
A
V121
A
W121
A
P121
A
X122
A
Y122
A
U122
A
V122
A
W122
A
P122
A
X123
A
Y123
A
U123
A
V123
A
W123
A
P123
A
X124
A
Y124
A
U124
A
V124
A
W124
A
P124
A
X125
A
Y125
A
U125
A
V125
A
W125
A
P125
A
X126
A
Y126
A
U126
A
V126
A
W126
A
P126
A
X127
A
Y127
A
U127
A
V127
A
W127
A
P127
A
X128
A
Y128
A
U128
A
V128
A
W128
A
P128
A
X129
A
Y129
A
U129
A
V129
A
W129
A
P129
A
X130
A
Y130
A
U130
A
V130
A
W130
A
P130
A
X131
A
Y131
A
U131
A
V131
A
W131
A
P131
A
X132
A
Y132
A
U132
A
V132
A
W132
A
P132
A
X133
A
Y133
A
U133
A
V133
A
W133
A
P133
A
X134
A
Y134
A
U134
A
V134
A
W134
A
P134
A
X135
A
Y135
A
U135
A
V135
A
W135
A
P135
A
X136
A
Y136
A
U136
A
V136
A
W136
A
P136
A
X137
A
Y137
A
U137
A
V137
A
W137
A
P137
A
X138
A
Y138
A
U138
A
V138
A
W138
A
P138
A
X139
A
Y139
A
U139
A
V139
A
W139
A
P139
A
X140
A
Y140
A
U140
A
V140
A
W140
A
P140
A
X141
A
Y141
A
U141
A
V141
A
W141
A
P141
A
X142
A
Y142
A
U142
A
V142
A
W142
A
P142
A
X143
A
Y143
A
U143
A
V143
A
W143
A
P143
A
X144
A
Y144
A
U144
A
V144
A
W144
A
P144
A
X145
A
Y145
A
U145
A
V145
A
W145
A
P145
A
X146
A
Y146
A
U146
A
V146
A
W146
A
P146
A
X147
A
Y147
A
U147
A
V147
A
W147
A
P147
A
X148
A
Y148
A
U148
A
V148
A
W148
A
P148
A
X149
A
Y149
A
U149
A
V149
A
W149
A
P149
A
X150
A
Y150
A
U150
A
V150
A
W150
A
P150
A
X151
A
Y151
A
U151
A
V151
A
W151
A
P151
A
X152
A
Y152
A
U152
A
V152
A
W152
A
P152
A
X153
A
Y153
A
U153
A
V153
A
W153
A
P153
A
X154
A
Y154
A
U154
A
V154
A
W154
A
P154
A
X155
A
Y155
A
U155
A
V155
A
W155
A
P155
A
X156
A
Y156
A
U156
A
V156
A
W156
A
P156
A
X157
A
Y157
A
U157
A
V157
A
W157
A
P157
A
X158
A
Y158
A
U158
A
V158
A
W158
A
P158
A
X159
A
Y159
A
U159
A
V159
A
W159
A
P159
A
X160
A
Y160
A
U160
A
V160
A
W160
A
P160
A
X161
A
Y161
A
U161
A
V161
A
W161
A
P161
A
X162
A
Y162
A
U162
A
V162
A
W162
A
P162
A
X163
A
Y163
A
U163
A
V163
A
W163
A
P163
A
X164
A
Y164
A
U164
A
V164
A
W164
A
P164
A
X165
A
Y165
A
U165
A
V165
A
W165
A
P165
A
X166
A
Y166
A
U166
A
V166
A
W166
A
P166
A
X167
A
Y167
A
U167
A
V167
A
W167
A
P167
A
X168
A
Y168
A
U168
A
V168
A
W168
A
P168
A
X169
A
Y169
A
U169
A
V169
A
W169
A
P169
A
X170
A
Y170
A
U170
A
V170
A
W170
A
P170
A
X171
A
Y171
A
U171
A
V171
A
W171
A
P171
A
X172
A
Y172
A
U172
A
V172
A
W172
A
P172
A
X173
A
Y173
A
U173
A
V173
A
W173
A
P173
A
X174
A
Y174
A
U174
A
V174
A
W174
A
P174
A
X175
A
Y175
A
U175
A
V175
A
W175
A
P175
A
X176
A
Y176
A
U176
A
V176
A
W176
A
P176
A
X177
A
Y177
A
U177
A
V177
A
W177
A
P177
A
X178
A
Y178
A
U178
A
V178
A
W178
A
P178
A
X179
A
Y179
A
U179
A
V179
A
W179
A
P179
A
X180
A
Y180
A
U180
A
V180
A
W180
A
P180
A
X181
A
Y181
A
U181
A
V181
A
W181
A
P181
A
X182
A
Y182
A
U182
A
V182
A
W182
A
P182
A
X183
A
Y183
A
U183
A
V183
A
W183
A
P183
A
X184
A
Y184
A
U184
A
V184
A
W184
A
P184
A
X185
A
Y185
A
U185
A
V185
A
W185
A
P185
A
X186
A
Y186
A
U186
A
V186
A
W186
A
P186
A
X187
A
Y187
A
U187
A
V187
A
W187
A
P187
A
X188
A
Y188
A
U188
A
V188
A
W188
A
P188
A
X189
A
Y189
A
U189
A
V189
A
W189
A
P189
A
X190
A
Y190
A
U190
A
V190
A
W190
A
P190
A
X191
A
Y191
A
U191
A
V191
A
W191
A
P191
A
X192
A
Y192
A
U192
A
V192
A
W192
A
P192
A
X193
A
Y193
A
U193
A
V193
A
W193
A
P193
A
X194
A
Y194
A
U194
A
V194
A
W194
A
P194
A
X195
A
Y195
A
U195
A
V195
A
W195
A
P195
A
X196
A
Y196
A
U196
A
V196
A
W196
A
P196
A
X197
A
Y197
A
U197
A
V197
A
W197
A
P197
A
X198
A
Y198
A
U198
A
V198
A
W198
A
P198
A
X199
A
Y199
A
U199
A
V199
A
W199
A
P199
A
X200
A
Y200
A
U200
A
V200
A
W200
A
P200
A
X201
A
Y201
A
U201
A
V201
A
W201
A
P201
A
X202
A
Y202
A
U202
A
V202
A
W202
A
P202
A
X203
A
Y203
A
U203
A
V203
A
W203
A
P203
A
X204
A
Y204
A
U204
A
V204
A
W204
A
P204
A
X205
A
Y205
A
U205
A
V205
A
W205
A
P205
A
X206
A
Y206
A
U206
A
V206
A
W206
A
P206
A
X207
A
Y207
A
U207
A
V207
A
W207
A
P207
A
X208
A
Y208
A
U208
A
V208
A
W208
A
P208
A
X209
A
Y209
A
U209
A
V209
A
W209
A
P209
A
X210
A
Y210
A
U210
A
V210
A
W210
A
P210
A
X211
A
Y211
A
U211
A
V211
A
W211
A
P211
A
X212
A
Y212
A
U212
A
V212
A
W212
A
P212
A
X213
A
Y213
A
U213
A
V213
A
W213
A
P213
A
X214
A
Y214
A
U214
A
V214
A
W214
A
P214
A
X215
A
Y215
A
U215
A
V215
A
W215
A
P215
A
X216
A
Y216
A
U216
A
V216
A
W216
A
P216
A
X217
A
Y217
A
U217
A
V217
A
W217
A
P217
A
X218
A
Y218
A
U218
A
V218
A
W218
A
P218
A
X219
A
Y219
A
U219
A
V219
A
W219
A
P219
A
X220
A
Y220
A
U220
A
V220
A
W220
A
P220
A
X221
A
Y221
A
U221
A
V221
A
W221
A
P221
A
X222
A
Y222
A
U222
A
V222
A
W222
A
P222
A
X223
A
Y223
A
U223
A
V223
A
W223
A
P223
A
X224
A
Y224
A
U224
A
V224
A
W224
A
P224
A
X225
A
Y225
A
U225
A
V225
A
W225
A
P225
A
X226
A
Y226
A
U226
A
V226
A
W226
A
P226
A
X227
A
Y227
A
U227
A
V227
A
W227
A
P227
A
X228
A
Y228
A
U228
A
V228
A
W228
A
P228
A
X229
A
Y229
A
U229
A
V229
A
W229
A
P229
A
X230
A
Y230
A
U230
A
V230
A
W230
A
P230
A
X231
A
Y231
A
U231
A
V231
A
W231
A
P231
A
X232
A
Y232
A
U232
A
V232
A
W232
A
P232
A
X233
A
Y233
A
U233
A
V233
A
W233
A
P233
A
X234
A
Y234
A
U234
A
V234
A
W234
A
P234
A
X235
A
Y235
A
U235
A
V235
A
W235
A
P235
A
X236
A
Y236
A
U236
A
V236
A
W236
A
P236
A
X237
A
Y237
A
U237
A
V237
A
W237
A
P237
A
X238
A
Y238
A
U238
A
V238
A
W238
A
P238
A
X239
A
Y239
A
U239
A
V239
A
W239
A
P239
A
X240
A
Y240
A
U240
A
V240
A
W240
A
P240
A
X241
A
Y241
A
U241
A
V241
A
W241
A
P241
A
X242
A
Y242
A
U242
A
V242
A
W242
A
P242
A
X243
A
Y243
A
U243
A
V243
A
W243
A
P243
A
X244
A
Y244
A
U244
A
V244
A
W244
A
P244
A
X245
A
Y245
A
U245
A
V245
A
W245
A
P245
A
X246
A
Y246
A
U246
A
V246
A
W246
A
P246
A
X247
A
Y247
A
U247
A
V247
A
W247
A
P247
A
X248
A
Y248
A
U248
A
V248
A
W248
A
P248
A
X249
A
Y249
A
U249
A
V249
A
W249
A
P249
A
X250
A
Y250
A
U250
A
V250
A
W250
A
P250
A
X251
A
Y251
A
U251
A
V251
A
W251
A
P251
A
X252
A
Y252
A
U252
A
V252
A
W252
A
P252
A
X253
A
Y253
A
U253
A
V253
A
W253
A
P253
A
X254
A
Y254
A
U254
A
V254
A
W254
A
P254
A
X255
A
Y255
A
U255
A
V255
A
W255
A
P255
A
X256
A
Y256
A
U256
A
V256
A
W256
A
P256
A
X257
A
Y257
A
U257
A
V257
A
W257
A
P257
A
X258
A
Y258
A
U258
A
V258
A
W258
A
P258
A
X259
A
Y259
A
U259
A
V259
A
W259
A
P259
A
X260
A
Y260
A
U260
A
V260
A
W260
A
P260
A
X261
A
Y261
A
U261
A
V261
A
W261
A
P261
A
X262
A
Y262
A
U262
A
V262
A
W262
A
P262
A
X263
A
Y263
A
U263
A
V263
A
W263
A
P263
A
X264
A
Y264
A
U264
A
V264
A
W264
A
P264
A
X265
A
Y265
A
U265
A
V265
A
W265
A
P265
A
X266
A
Y266
A
U266
A
V266
A
W266
A
P266
A
X267
A
Y267
A
U267
A
V267
A
W267
A
P267
A
X268
A
Y268
A
U268
A
V268
A
W268
A
P268
A
X269
A
Y269
A
U269
A
V269
A
W269
A
P269
A
X270
A
Y270
A
U270
A
V270
A
W270
A
P270
A
X271
A
Y271
A
U271
A
V271
A
W271
A
P271
A
X272
A
Y272
A
U272
A
V272
A
W272
A
P272
A
X273
A
Y273
A
U273
A
V273
A
W273
A
P273
A
X274
A
Y274
A
U274
A
V274
A
W274
A
P274
A
X275
A
Y275
A
U275
A
V275
A
W275
A
P275
A
X276
A
Y276
A
U276
A
V276
A
W276
A
P276
A
X277
A
Y277
A
U277
A
V277
A
W277
A
P277
A
X278
A
Y278
A
U278
A
V278
A
W278
A
P278
A
X279
A
Y279
A
U279
A
V279
A
W279
A
P279
A
X280
A
Y280
A
U280
A
V280
A
W280
A
P280
A
X281
A
Y281
A
U281
A
V281
A
W281
A
P281
A
X282
A
Y282
A
U282
A
V282
A
W282
A
P282
A
X283
A
Y283
A
U283
A
V283
A
W283
A
P283
A
X284
A
Y284
A
U284
A
V284
A
W284
A
P284
A
X285
A
Y285
A
U285
A
V285
A
W285
A
P285
A
X286
A
Y286
A
U286
A
V286
A
W286
A
P286
A
X287
A
Y287
A
U287
A
V287
A
W287
A
P287
A
X288
A
Y288
A
U288
A
V288
A
W288
A
P288
A
X289
A
Y289
A
U289
A
V289
A
W289
A
P289
A
X290
A
Y290
A
U290
A
V290
A
W290
A
P290
A
X291
A
Y291
A
U291
A
V291
A
W291
A
P291
A
X292
A
Y292
A
U292
A
V292
A
W292
A
P292
A
X293
A
Y293
A
U293
A
V293
A
W293
A
P293
A
X294
A
Y294
A
U294
A
V294
A
W294
A
P294
A
X295
A
Y295
A
U295
A
V295
A
W295
A
P295
A
X296
A
Y296
A
U296
A
V296
A
W296
A
P296
A
X297
A
Y297
A
U297
A
V297
A
W297
A
P297
A
X298
A
Y298
A
U298
A
V298
A
W298
A
P298
A
X299
A
Y299
A
U299
A
V299
A
W299
A
P299
A
X300
A
Y300
A
U300
A
V300
A
W300
A
P300
A
X301
A
Y301
A
U301
A
V301
A
W301
A
P301
A
X302
A
Y302
A
U302
A
V302
A
W302
A
P302
A
X303
A
Y303
A
U303
A
V303
A
W303
A
P303
A
X304
A
Y304
A
U304
A
V304
A
W304
A
P304
A
X305
A
Y305
A
U305
A
V305
A
W305
A
P305
A
X306
A
Y306
A
U306
A
V306
A
W306
A
P306
A
X307
A
Y307
A
U307
A
V307
A
W307
A
P307
A
X308
A
Y308
A
U308
A
V308
A
W308
A
P308
A
X309
A
Y309
A
U309
A
V309
A
W309
A
P309
A
X310
A
Y310
A
U310
A
V310
A
W310
A
P310
A
X311
A
Y311
A
U311
A
V311
A
W311
A
P311
A
X312
A
Y312
A
U312
A
V312
A
W312
A
P312
A
F313
A
A
Z313
A
A
U313
A
0
A
active
A
A
afterNth
A
A
A
app
A
A
A
A
cons
A
A
A
fst
A
A
head
A
A
isLNat
A
A
isLNatKind
A
A
isNatural
A
A
isNaturalKind
A
A
isPLNat
A
A
isPLNatKind
A
A
map
A
A
A
A
mark
A
A
natsFrom
A
A
nil
A
pair
A
A
A
s
A
A
sel
A
A
A
snd
A
A
splitAt
A
A
A
tail
A
A
take
A
A
A
tt
A
u101
A
A
A
A
u102
A
A
A
A
u103
A
A
A
A
u104
A
A
A
A
u105
A
A
A
u106
A
A
u11
A
A
A
A
u111
A
A
A
u112
A
A
u12
A
A
A
A
u121
A
A
A
u122
A
A
u13
A
A
A
A
u131
A
A
u14
A
A
A
A
u141
A
A
u151
A
A
u161
A
A
u171
A
A
A
u172
A
A
u181
A
A
A
u182
A
A
A
u183
A
A
u191
A
A
A
u192
A
A
A
u193
A
A
u201
A
A
A
A
u202
A
A
A
A
u203
A
A
A
A
u204
A
A
A
A
u205
A
A
A
u206
A
A
u21
A
A
A
A
u211
A
A
u22
A
A
A
A
u221
A
A
u23
A
A
A
A
u231
A
A
A
u232
A
A
u24
A
A
A
u241
A
A
A
A
u242
A
A
A
A
u243
A
A
A
A
u244
A
A
A
A
u245
A
A
A
u246
A
A
u251
A
A
A
A
u252
A
A
A
A
u253
A
A
A
A
u254
A
A
A
A
u255
A
A
A
u256
A
A
u261
A
A
A
u262
A
A
u271
A
A
A
u272
A
A
u281
A
A
A
u282
A
A
A
u291
A
A
A
A
u292
A
A
A
A
u293
A
A
A
A
u294
A
A
A
A
u301
A
A
A
A
u302
A
A
A
u303
A
A
A
u304
A
A
A
u31
A
A
A
A
u311
A
A
A
u312
A
A
A
u32
A
A
A
A
u321
A
A
A
A
A
u322
A
A
A
A
A
u323
A
A
A
A
A
u324
A
A
A
A
A
u325
A
A
A
A
A
u326
A
A
A
A
A
u327
A
A
A
u33
A
A
A
A
u331
A
A
A
A
u332
A
A
A
u333
A
A
A
u334
A
A
A
u34
A
A
A
u341
A
A
A
A
u342
A
A
A
A
u343
A
A
A
A
u344
A
A
A
A
u41
A
A
A
A
u42
A
A
A
A
u43
A
A
A
A
u44
A
A
A
A
u45
A
A
A
u46
A
A
u51
A
A
A
A
u52
A
A
A
A
u53
A
A
A
A
u54
A
A
A
A
u55
A
A
A
u56
A
A
u61
A
A
A
u62
A
A
A
u63
A
A
u71
A
A
A
u72
A
A
A
u73
A
A
u81
A
A
A
u82
A
A
A
u83
A
A
u91
A
A
A
u92
A
A
A
u93
A
A
FULL
/tmp/tmpfile.afsm