About the Execution of Marcie for SemanticWebServices-PT-S256P09
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
339.976 | 10229.00 | 10408.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r353-smll-167891801000425.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool marcie
Input is SemanticWebServices-PT-S256P09, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r353-smll-167891801000425
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 32M
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 10:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 10:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 10:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 148K Feb 26 10:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 32M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-00
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-01
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-02
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-03
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-04
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-05
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-06
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-07
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-08
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-09
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-10
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-11
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-12
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-13
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-14
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1679945665951
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=marcie
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SemanticWebServices-PT-S256P09
Not applying reductions.
Model is PT
CTLCardinality PT
timeout --kill-after=10s --signal=SIGINT 1m for testing only
Marcie built on Linux at 2019-11-18.
A model checker for Generalized Stochastic Petri nets
authors: Alex Tovchigrechko (IDD package and CTL model checking)
Martin Schwarick (Symbolic numerical analysis and CSL model checking)
Christian Rohr (Simulative and approximative numerical model checking)
marcie@informatik.tu-cottbus.de
called as: /home/mcc/BenchKit/bin//../marcie/bin/marcie --net-file=model.pnml --mcc-file=CTLCardinality.xml --memory=6 --mcc-mode
parse successfull
net created successfully
Net: SemanticWebServices_PT_S256P09
(NrP: 418 NrTr: 27524 NrArc: 270595)
parse formulas
formulas created successfully
place and transition orderings generation:0m 5.452sec
net check time: 0m 0.039sec
CANNOT_COMPUTE
BK_STOP 1679945676180
--------------------
content from stderr:
check for maximal unmarked siphon
found
The net has a maximal unmarked siphon:
p60
p117
p160
p182
p303
p381
p403
p31
p32
p34
p35
p59
p62
p74
p77
p80
p85
p147
p174
p191
p197
p198
p207
p218
p219
p223
p250
p251
p255
p261
p263
p271
p274
p341
p366
p367
p368
p373
p374
p375
p376
p378
p379
p380
p382
p383
p384
p385
p386
p387
p395
p397
p398
p400
p406
p407
p409
p410
p417
The net has transition(s) that can never fire:
t6734
t9304
t6631
t2659
t5486
t8205
t8206
t8207
t8208
t8209
t8210
t8213
t6517
t6518
t6519
t6520
t6521
t6522
t6523
t6524
t6525
t17738
t17739
t6527
t6528
t6529
t6530
t6531
t6532
t6533
t6534
t6535
t3843
t3844
t3845
t3846
t3847
t3848
t3850
t3851
t3852
t3853
t3854
t3855
t3856
t3857
t3858
t3859
t4550
t3860
t3861
t3862
t3863
t3864
t3865
t3866
t3867
t3868
t3869
t3890
t3891
t3892
t3893
t3894
t2737
t2738
t2739
t2740
t2741
t2742
t2921
t2749
t2750
t2751
t2752
t2759
t2760
t2761
t2762
t2767
t3036
t2774
t2775
t2776
t2777
t2782
t2787
t4142
t2851
t2853
t2854
t2855
t2856
t2861
t2862
t2863
t2864
t2865
t2866
t2871
t2872
t2873
t2874
t2875
t2876
t2883
t2884
t2885
t2886
t3154
t2891
t2892
t2893
t2894
t2895
t2896
t2903
t2904
t2905
t2906
t2913
t2914
t2915
t2916
t16001
t3004
t15496
t3006
t3007
t3008
t3009
t3011
t3012
t3013
t8049
t3014
t3019
t3020
t3021
t3022
t3023
t3024
t3026
t3027
t3028
t3029
t3034
t3035
t3037
t3038
t3039
t3044
t3045
t3046
t3047
t3048
t3049
t3056
t3057
t3058
t3059
t3060
t3142
t3143
t3145
t3146
t3147
t3148
t3149
t3151
t3152
t3153
t3156
t3157
t3158
t3159
t3164
t3165
t3166
t3167
t3168
t3169
t3170
t3171
t3173
t3176
t3180
t3185
t3191
t7018
t3259
t6526
t17674
t3260
t3261
t3263
t3264
t3265
t3266
t3267
t3268
t3269
t3271
t3272
t3274
t3277
t3278
t3280
t3283
t3287
t3288
t3290
t3293
t3297
t3302
t3303
t3305
t3308
t3312
t3317
t3388
t3389
t3390
t3391
t3392
t3579
t3394
t3395
t3396
t3398
t3399
t3401
t3404
t3405
t3406
t3408
t3409
t3411
t3414
t3415
t3417
t3420
t3424
t3425
t3426
t3428
t3429
t3431
t3434
t3435
t3437
t3440
t3444
t3445
t3447
t3450
t3454
t7457
t3530
t3531
t3532
t3533
t3534
t3536
t3537
t3538
t3539
t3541
t3542
t3543
t3545
t3546
t3548
t3551
t3552
t3553
t3554
t3556
t3557
t3558
t3560
t3561
t3563
t3566
t3567
t3568
t3570
t3571
t3573
t3576
t3577
t3582
t3642
t3643
t3644
t3645
t3646
t3647
t3649
t3650
t3651
t3652
t3653
t3655
t3656
t3657
t3658
t3660
t3661
t3662
t3664
t3665
t3667
t3698
t3699
t3700
t3701
t3702
t3703
t3704
t3705
t3715
t3716
t3717
t3718
t3719
t3720
t3722
t3723
t3724
t3725
t3726
t3727
t3728
t3729
t3730
t3731
t3732
t3733
t3734
t3735
t3736
t3737
t3739
t3740
t3741
t3742
t3743
t3744
t3745
t3746
t3747
t3748
t3749
t3750
t3751
t3752
t3753
t3754
t3755
t3757
t3758
t3759
t3760
t3761
t3762
t3763
t3764
t3765
t3766
t3767
t3768
t3769
t3770
t3771
t3772
t3773
t3774
t3775
t3776
t3777
t3784
t3785
t3786
t3787
t3788
t3789
t3790
t3791
t3792
t3793
t3794
t3795
t3796
t3797
t3798
t3799
t3800
t3801
t3802
t3803
t3804
t3805
t3806
t3807
t3808
t3809
t3810
t3811
t3812
t3813
t3814
t3815
t3816
t3817
t3818
t8023
t8034
t3834
t3835
t3836
t3837
t3838
t3839
t3840
t3841
t3842
t6592
t6593
t6594
t6597
t6598
t6599
t6600
t6601
t6602
t6604
t6605
t6606
t6607
t6608
t6609
t6610
t6611
t6612
t6613
t6614
t8344
t6615
t6616
t6617
t6618
t6619
t6620
t6621
t6622
t6623
t6624
t6625
t6626
t6627
t6628
t6629
t6630
t6855
t6632
t6864
t6633
t6634
t6635
t7316
t7317
t6664
t6665
t6666
t6667
t6668
t6805
t6806
t6669
t6881
t6671
t6672
t6673
t6674
t6675
t6676
t8485
t6923
t6678
t6679
t6680
t6681
t6682
t6683
t6684
t6685
t6686
t6687
t3895
t3902
t3903
t3904
t3905
t3906
t3907
t3908
t3909
t3910
t3911
t3912
t3913
t3914
t3915
t3916
t3932
t8437
t3949
t3950
t3951
t3952
t3953
t3980
t4070
t4303
t16385
t16386
t16387
t16388
t16389
t16390
t16391
t16392
t16393
t16394
t16395
t16396
t16397
t16398
t16399
t16400
t16401
t16402
t16403
t16404
t16405
t18379
t18380
t16406
t16407
t16408
t16409
t16410
t16411
t16412
t16413
t16414
t16415
t16416
t16417
t16418
t16419
t16421
t16422
t16423
t16424
t16425
t16426
t16427
t16428
t18929
t18930
t18931
t18932
t18933
t18934
t16432
t16433
t16434
t16435
t16436
t16437
t16438
t16439
t16440
t16441
t16442
t16443
t16444
t16445
t16446
t16447
t16448
t16449
t8242
t8243
t8244
t8245
t8246
t8248
t8249
t8250
t8251
t8252
t8253
t8254
t8255
t8256
t8257
t8258
t8259
t8260
t9651
t9652
t8262
t8263
t8264
t8265
t8266
t8267
t8268
t8269
t8270
t8271
t8272
t8273
t8274
t8275
t8276
t8277
t8279
t8280
t8281
t8282
t8287
t8288
t8289
t8290
t8292
t8301
t8302
t8303
t8304
t8305
t8306
t8307
t8308
t8309
t8310
t8311
t8457
t8312
t8313
t8314
t8315
t8316
t8317
t8318
t8319
t8320
t8321
t8322
t8323
t8324
t8325
t8326
t8327
t8328
t8329
t8330
t8331
t8332
t8333
t8334
t8335
t8336
t8337
t8338
t8339
t8340
t8873
t8341
t8342
t4178
t4179
t4180
t4181
t4182
t4183
t4184
t4185
t4186
t4187
t4188
t4309
t4189
t4190
t4191
t4192
t4193
t4194
t4195
t4196
t4197
t4198
t4545
t4255
t4256
t4257
t4258
t4259
t4260
t4261
t10005
t10006
t4299
t4300
t4301
t4302
t4486
t4304
t4305
t4306
t4307
t4308
t4609
t4310
t4311
t4312
t4313
t4314
t4315
t4316
t4317
t4318
t4319
t4320
t4321
t4322
t4323
t4324
t4325
t4326
t4327
t4328
t4329
t4330
t4331
t4332
t9154
t4403
t4404
t4405
t4406
t4407
t4408
t4409
t4410
t4411
t4412
t4413
t4414
t4415
t4416
t4417
t4418
t4419
t4420
t4421
t4422
t4423
t12101
t4452
t4453
t4454
t4455
t4456
t4457
t4458
t4459
t4460
t4461
t4462
t4463
t4464
t4465
t4466
t4467
t4468
t4469
t4470
t4471
t4472
t4473
t4474
t4475
t4476
t4477
t4478
t4479
t4480
t4481
t4482
t4483
t4484
t4485
t4522
t4859
t9784
t4544
t11957
t4546
t4547
t4548
t4549
t4551
t4552
t4553
t4554
t4555
t4556
t4557
t4558
t4559
t4560
t4561
t4562
t4563
t4564
t4565
t4566
t4567
t4568
t4569
t4570
t4571
t4572
t4573
t4574
t4575
t4576
t4577
t4578
t9212
t4607
t4608
t7728
t15607
t4610
t4611
t4612
t4613
t4614
t4615
t4616
t4617
t4618
t4619
t4620
t4621
t4622
t4623
t4624
t4625
t4626
t4627
t8007
t16088
t7801
t4649
t4650
t4651
t4652
t4653
t4654
t4655
t4663
t4664
t4665
t4666
t4667
t4668
t4669
t4670
t4671
t4672
t4673
t4674
t4675
t4676
t6362
t4677
t4678
t4679
t4680
t19476
t4681
t4682
t4683
t4684
t4685
t4686
t4687
t4688
t4689
t4690
t4691
t4692
t4693
t4694
t4695
t4696
t4697
t9162
t4735
t4736
t4737
t4738
t4739
t4740
t4741
t4749
t4750
t4751
t4752
t4753
t4754
t4755
t4756
t4757
t4758
t4759
t4760
t4761
t4762
t4763
t4764
t4765
t4766
t4767
t4768
t4769
t4772
t4773
t4774
t4775
t4776
t4777
t4778
t4779
t4780
t4781
t4782
t4783
t4784
t4785
t4786
t4787
t4788
t4789
t4790
t4791
t4792
t4835
t4837
t4838
t4839
t4840
t4841
t4842
t4843
t4844
t4845
t4846
t4847
t4848
t4849
t4850
t4851
t4852
t4853
t4854
t4855
t4856
t4857
t4858
t4860
t4861
t4862
t4863
t4864
t4865
t4866
t4867
t4868
t4869
t4870
t4871
t4880
t4881
t4882
t4883
t4884
t4885
t4886
t4930
t4931
t4932
t4933
t4934
t4935
t4936
t4937
t4938
t4939
t4940
t4941
t4942
t4943
t4944
t4945
t4946
t4947
t4948
t4949
t4950
t4951
t4952
t4953
t4954
t4955
t4956
t4957
t4958
t4959
t4960
t4961
t4962
t4963
t4964
t12316
t4993
t12325
t5043
t5044
t5045
t5046
t5047
t5048
t5049
t5050
t5051
t5052
t5053
t10939
t10940
t5054
t5055
t5056
t5057
t5058
t5059
t5060
t5061
t5062
t5063
t6889
t7856
t5951
t5178
t5179
t5180
t5181
t5182
t5183
t5184
t8082
t5255
t8466
t5319
t5477
t5376
t5377
t5378
t5379
t5380
t5381
t5382
t5383
t8564
t7358
t15301
t5476
t5478
t5479
t5480
t5481
t5482
t5483
t5484
t5485
t5731
t5487
t5488
t5489
t5490
t5491
t5492
t5493
t5494
t5495
t5496
t5497
t5498
t5499
t5500
t5501
t5502
t5503
t5506
t5513
t15459
t15909
t5578
t5579
t5580
t5581
t5582
t5583
t5584
t5585
t5586
t5587
t5588
t5589
t5590
t5591
t5592
t5593
t5594
t5595
t5596
t5597
t5598
t5599
t5600
t5601
t5602
t5603
t5604
t5605
t5606
t5607
t5608
t5609
t5610
t5611
t5612
t5613
t5614
t5615
t5616
t5617
t5618
t5619
t5927
t5620
t5621
t5622
t5623
t5624
t5625
t5626
t5627
t5628
t5629
t5630
t5631
t5632
t5633
t5635
t5636
t5639
t5826
t5642
t8665
t5646
t5651
t5657
t5662
t5663
t5664
t5665
t5666
t5667
t5668
t5669
t6026
t6027
t15526
t16746
t5713
t5714
t5715
t5716
t5717
t5718
t11715
t5719
t5720
t5721
t5722
t5723
t5724
t5725
t5726
t5727
t5728
t5729
t5730
t12504
t12503
t5732
t5733
t5734
t5735
t5736
t5737
t5738
t5739
t5740
t5741
t5742
t5743
t5744
t5745
t5746
t5747
t5748
t5749
t5750
t5751
t5752
t5753
t5754
t5755
t5756
t5757
t5758
t5759
t5760
t5761
t5762
t5763
t5764
t5765
t5766
t5767
t5768
t5769
t5770
t5771
t5772
t5773
t5774
t5775
t5776
t5777
t5778
t5779
t5780
t5781
t5782
t5783
t5785
t5786
t5788
t5789
t5792
t5794
t5795
t6131
t5798
t5801
t5804
t5805
t5808
t5811
t5815
t5819
t5820
t5823
t6160
t9138
t5830
t6294
t5835
t5840
t5841
t5842
t5843
t5844
t5845
t5846
t5847
t5848
t5849
t5850
t5851
t5852
t5853
t5854
t5855
t5856
t5857
t5858
t5859
t5860
t5861
t5862
t5863
t5864
t5865
t5866
t5867
t5890
t5891
t11595
t5892
t5893
t5894
t5895
t5896
t5897
t5898
t5899
t5900
t5901
t5902
t5903
t5904
t5905
t5906
t5907
t5908
t5909
t5910
t5911
t5912
t12756
t12757
t5913
t5914
t5915
t5916
t5917
t5918
t5919
t5920
t5921
t5922
t5923
t5924
t5925
t5926
t5928
t5929
t5930
t5931
t5932
t5933
t5934
t5935
t5936
t5937
t5938
t5939
t5940
t5941
t5942
t5943
t5944
t5945
t5946
t5947
t5949
t5950
t9776
t5953
t5954
t5956
t5957
t5960
t5961
t9772
t5963
t5964
t5966
t5967
t5970
t8475
t5972
t5973
t5976
t5979
t5981
t5983
t5984
t5986
t5987
t5990
t5992
t5993
t5996
t5999
t6002
t6003
t6006
t6009
t6013
t6024
t6025
t12966
t12967
t6028
t6029
t6030
t6031
t6032
t6033
t6034
t6035
t6036
t6037
t6038
t6039
t6040
t6041
t6042
t6043
t6044
t6228
t6045
t6046
t6047
t6048
t6049
t6050
t6051
t6052
t6236
t6053
t6054
t6055
t6056
t6057
t6058
t6059
t6060
t6061
t6062
t6063
t6064
t6065
t6066
t6067
t6068
t6069
t6070
t6071
t6072
t6073
t6074
t6075
t6076
t6077
t6078
t6079
t6087
t6088
t6089
t6090
t6091
t6092
t6093
t6094
t6095
t13003
t6096
t6097
t6098
t6099
t6100
t6101
t6102
t6103
t6104
t6105
t6106
t6107
t6108
t6109
t6110
t6111
t6112
t6113
t6114
t6115
t6116
t6117
t6119
t6120
t6121
t6122
t6124
t6125
t6126
t6128
t6129
t6132
t6135
t6136
t8893
t6137
t6139
t6140
t6141
t6143
t6144
t6146
t6147
t6150
t6151
t6153
t6154
t6156
t6157
t6162
t6163
t6166
t6169
t6199
t6200
t6201
t6202
t6203
t6204
t6205
t6206
t6207
t6208
t6209
t6210
t6211
t6212
t13033
t6213
t6214
t6215
t6216
t6217
t6218
t6219
t6220
t6221
t6222
t6223
t6224
t6225
t6226
t6227
t6595
t6596
t6229
t6230
t6231
t6232
t6233
t6234
t6235
t6603
t6237
t6238
t6239
t6240
t6241
t6242
t6243
t6244
t6245
t6246
t6247
t6248
t6249
t6250
t6251
t6252
t6253
t6254
t6255
t6256
t6257
t6258
t6259
t6260
t6261
t6262
t6263
t6264
t6265
t6266
t6267
t6268
t6270
t6271
t6272
t6273
t6274
t6275
t6276
t6277
t6278
t6279
t6280
t6281
t6283
t6284
t6285
t6286
t6287
t6289
t6290
t6291
t6292
t6295
t6296
t6298
t6299
t6301
t6302
t6305
t9607
t6363
t6364
t6365
t6366
t6367
t6368
t6369
t6370
t6371
t6372
t6373
t6374
t6375
t6376
t6377
t6378
t6379
t6380
t6381
t6382
t16420
t6383
t6384
t6385
t6386
t6387
t6388
t6389
t6390
t6391
t6392
t6393
t6394
t6395
t6396
t6397
t6398
t6399
t6400
t6401
t6402
t6403
t6404
t6405
t6406
t6407
t6408
t6409
t6410
t6411
t6412
t6413
t6414
t6415
t6416
t6417
t6418
t6419
t6420
t6421
t6422
t6423
t6425
t6426
t6427
t6670
t6758
t6498
t6499
t6500
t6501
t6502
t6503
t6504
t6505
t6506
t6507
t6508
t6509
t6510
t6511
t6512
t6513
t6514
t6515
t6516
t11690
t11691
t11692
t11693
t11694
t11695
t11696
t11700
t11701
t11702
t11703
t11704
t11705
t11706
t11707
t11708
t11709
t11710
t11711
t11712
t11713
t11714
t11961
t11716
t11717
t11972
t11973
t11974
t11976
t11977
t11978
t11979
t11980
t11981
t12139
t11982
t11983
t11984
t11985
t11986
t11987
t11988
t11989
t11990
t11991
t11992
t11993
t11994
t11995
t11996
t11997
t11998
t11999
t12000
t12001
t12002
t12003
t12004
t12005
t12006
t12007
t12008
t12009
t12010
t12011
t12012
t12013
t12014
t12015
t12016
t12017
t12018
t12019
t12020
t12021
t12022
t12023
t12024
t12025
t12061
t12062
t12063
t12064
t12065
t12066
t12067
t12068
t12069
t12070
t12071
t12072
t12073
t12074
t12075
t12076
t12077
t12078
t12079
t12080
t12081
t12082
t12083
t12084
t12085
t12086
t12087
t12088
t12089
t12090
t12091
t12092
t12093
t12094
t12095
t12096
t12097
t12098
t12099
t12100
t12102
t12103
t12104
t12105
t12106
t12107
t12108
t12109
t12110
t12111
t12112
t12113
t12114
t12115
t12116
t12126
t12127
t12128
t12130
t12131
t12132
t12134
t12135
t12136
t12137
t12138
t12140
t12141
t12142
t12143
t12144
t12145
t12146
t12147
t6688
t6689
t6690
t6691
t6692
t6693
t6825
t6694
t6695
t6696
t6697
t6698
t6699
t6700
t6701
t6702
t6703
t6704
t6705
t6706
t6707
t6708
t6709
t6710
t6711
t6712
t6713
t6714
t6715
t6716
t6717
t6718
t6719
t6720
t6721
t7003
t6722
t6723
t6724
t6725
t6726
t6727
t6728
t6729
t6730
t6731
t6732
t6733
t6991
t6980
t6735
t6736
t6737
t6738
t6739
t6740
t6741
t6742
t6743
t6744
t6745
t6746
t6747
t6748
t6759
t6760
t6761
t6762
t6763
t6894
t6764
t6765
t6766
t6767
t6768
t6847
t6769
t6770
t6771
t6772
t6773
t6774
t6775
t6776
t6777
t6778
t6779
t6780
t6781
t6782
t6783
t6784
t6785
t6786
t6787
t6788
t6789
t6790
t6791
t6792
t6793
t6794
t6795
t6796
t6797
t6798
t6799
t6800
t6801
t6802
t6803
t6804
t7093
t7094
t6807
t6808
t6809
t6810
t6811
t6812
t6813
t6814
t6815
t6816
t6817
t6818
t6819
t6820
t6821
t6822
t6823
t6824
t7107
t7108
t6826
t6827
t6828
t6829
t6830
t6831
t6832
t6833
t6834
t6835
t6836
t6837
t6838
t6839
t6840
t6841
t6842
t6843
t6844
t6845
t6846
t6982
t6848
t6849
t6850
t6851
t6852
t7221
t6853
t6854
t6856
t7217
t6857
t6858
t6859
t6860
t6861
t6862
t6863
t6865
t6866
t6867
t6868
t6869
t6870
t6871
t6872
t6873
t6874
t6875
t6876
t6877
t6878
t6879
t6880
t6882
t6883
t6884
t6885
t6892
t6893
t8432
t6895
t6896
t6897
t6898
t6899
t6900
t6901
t6902
t6903
t6904
t6905
t6906
t6907
t6908
t6909
t6910
t6911
t6912
t6913
t6914
t6915
t6916
t6917
t6918
t6919
t6920
t6921
t6922
t6924
t7222
t6925
t6926
t6927
t6928
t6929
t6930
t6931
t6932
t6933
t6934
t6935
t6936
t6937
t6938
t6939
t7232
t6940
t6941
t6942
t6943
t6944
t6945
t6946
t6947
t6948
t6949
t6950
t6951
t6952
t6953
t6954
t6955
t6956
t6957
t6958
t6959
t6960
t6961
t6962
t6963
t6964
t6965
t6966
t6967
t6968
t6969
t6970
t6971
t6972
t6973
t6974
t6975
t6976
t6977
t6978
t6979
t6981
t7430
t6983
t6984
t6985
t6986
t6987
t6988
t6989
t6990
t6992
t6993
t6994
t6995
t6996
t6997
t6998
t6999
t7000
t7001
t7002
t7004
t7005
t7006
t7007
t7008
t7009
t7010
t7011
t7012
t7013
t7014
t7015
t7016
t7017
t10791
t7019
t7020
t7021
t7022
t7023
t7024
t7025
t7026
t7027
t7315
t7028
t7029
t7030
t7031
t7032
t7033
t7034
t7037
t7038
t7041
t7044
t7046
t7047
t7048
t7049
t7050
t7051
t7052
t7053
t7054
t7055
t7056
t7057
t7058
t7059
t7060
t7061
t7062
t7063
t7064
t7065
t7066
t7067
t7068
t7069
t7070
t7071
t7072
t7073
t7074
t7075
t7076
t7077
t7078
t7079
t7080
t7081
t7082
t7083
t7084
t7085
t7086
t7087
t7088
t7089
t7090
t7091
t7092
t10358
t10359
t10360
t7095
t7096
t7097
t7098
t7099
t7100
t7101
t7102
t7103
t7104
t7105
t7106
t7109
t7110
t7111
t7112
t7113
t7114
t7115
t7116
t7117
t7118
t7119
t7120
t7121
t10120
t7122
t7123
t7124
t7125
t7126
t7127
t7128
t7129
t7130
t7131
t7132
t7133
t7134
t7135
t7136
t7137
t7138
t7139
t7140
t7141
t7142
t7143
t7144
t7145
t7146
t7147
t7148
t7149
t7150
t7151
t7152
t7153
t7154
t7155
t7156
t7157
t7158
t7159
t7160
t7161
t7162
t7298
t7163
t7164
t7165
t7166
t7167
t7168
t7169
t7170
t7171
t7172
t7173
t7174
t7175
t7176
t7177
t7178
t7179
t7180
t7181
t7182
t7183
t7184
t7185
t7186
t7187
t7188
t7189
t7190
t7362
t7191
t7192
t7193
t7202
t7203
t7205
t7206
t7208
t7209
t7212
t7213
t7214
t7215
t7216
t7218
t7219
t7220
t7223
t7224
t7225
t7226
t7227
t7228
t7229
t7230
t7231
t7233
t7234
t7235
t7236
t7237
t7238
t7239
t7240
t7241
t7242
t7243
t7244
t7245
t7246
t7247
t7248
t7249
t7250
t7251
t7252
t7253
t7254
t7255
t7256
t7257
t7258
t7259
t7260
t7261
t7262
t7263
t7264
t7265
t7266
t7267
t7268
t7269
t7270
t7271
t7272
t7273
t7274
t7275
t7276
t7277
t7278
t7279
t7280
t7281
t7282
t7283
t7284
t7285
t7286
t7287
t7288
t7289
t7290
t7291
t7292
t7293
t7294
t7735
t7295
t7296
t7297
t7512
t7299
t7300
t7301
t7302
t7303
t7304
t7305
t7306
t7307
t7308
t7309
t7485
t7310
t7311
t7312
t7313
t7314
t7818
t7770
t7820
t7318
t7319
t7320
t7321
t7322
t7323
t7324
t7325
t7326
t7327
t7328
t7329
t7330
t7331
t7332
t7333
t7334
t7335
t7336
t7337
t7338
t7849
t7850
t7339
t7340
t7341
t7342
t7343
t7344
t7345
t7346
t7347
t7348
t7349
t7350
t7351
t7352
t7353
t7354
t7355
t7356
t7357
t7877
t7359
t7360
t7361
t7600
t7363
t7364
t7365
t7366
t7367
t7368
t7369
t7370
t7371
t7372
t7373
t7374
t7375
t7376
t7377
t7378
t7379
t7380
t7381
t7382
t7383
t7384
t7385
t7386
t7387
t7388
t13068
t7417
t7418
t7419
t7420
t7421
t7422
t7423
t7424
t7426
t7427
t7428
t7429
t7431
t7432
t7433
t7434
t7435
t7436
t7437
t7438
t7439
t7440
t7441
t7442
t7443
t7444
t7445
t7446
t7447
t7448
t7449
t7450
t7451
t7452
t7453
t7454
t7455
t7456
t7458
t7996
t7459
t7460
t7461
t7462
t7463
t7464
t7465
t7466
t7467
t7468
t7469
t7470
t7471
t7472
t7473
t7474
t7475
t7476
t7477
t7478
t7479
t7480
t7481
t7482
t7483
t7484
t7764
t7486
t7487
t7488
t7489
t7490
t7491
t7492
t7493
t7494
t7495
t7496
t7497
t8015
t7498
t7499
t7500
t7501
t7502
t7503
t7504
t7505
t7506
t7507
t7508
t7509
t7510
t7511
t8261
t8278
t7513
t7514
t7515
t7516
t7517
t7518
t7519
t7520
t7521
t7522
t7523
t7524
t7525
t7526
t7527
t7528
t7529
t7530
t7531
t7532
t7533
t7534
t7535
t7536
t7537
t7538
t7539
t7540
t7541
t7542
t7543
t7544
t7545
t7546
t7547
t7548
t7549
t7550
t7551
t7552
t7553
t7554
t7555
t7556
t7557
t7558
t7559
t7560
t7561
t7562
t7563
t7564
t7565
t7566
t7567
t7568
t7569
t7570
t7571
t7572
t7573
t7574
t7575
t7576
t7577
t7578
t7579
t7580
t7581
t7582
t7583
t7584
t7585
t7586
t7587
t7588
t7589
t7590
t7591
t7592
t7593
t7594
t7595
t7596
t7597
t7598
t7599
t8211
t8212
t7601
t7602
t7603
t7604
t7605
t7606
t7607
t7608
t7609
t7610
t7611
t7612
t7613
t7614
t7615
t7616
t7617
t7618
t7619
t7620
t7621
t7622
t7623
t7624
t7625
t7626
t7627
t7628
t7629
t7630
t7631
t7632
t7689
t7690
t7691
t7692
t7693
t7694
t7695
t7696
t7697
t7698
t7699
t7700
t7701
t7702
t7703
t7704
t7705
t7706
t7707
t7708
t7709
t7710
t7711
t7712
t7713
t7714
t7715
t7716
t7717
t7718
t7719
t7720
t7721
t7722
t7723
t7724
t7725
t7726
t7727
t7729
t7730
t7731
t7732
t7733
t7734
t9678
t7736
t7737
t7738
t7739
t7740
t7741
t7742
t7743
t7744
t7745
t7746
t8175
t7747
t7748
t7749
t7750
t7751
t7752
t7753
t7754
t7755
t7756
t7757
t7758
t7759
t7760
t7761
t7762
t8185
t7763
t7765
t7766
t7767
t7768
t7769
t8651
t7771
t7772
t7773
t7774
t7775
t7776
t7777
t7778
t7779
t7780
t7781
t7782
t7783
t7784
t7785
t7786
t7787
t7788
t7789
t7790
t7791
t7792
t7793
t7794
t7795
t7796
t7797
t7798
t7799
t7800
t7802
t7803
t7804
t7805
t7806
t7807
t7808
t7809
t7810
t7811
t7812
t7813
t7814
t7815
t7816
t7817
t7819
t7821
t7822
t7823
t7824
t7825
t7826
t7827
t7828
t7829
t7830
t7831
t7832
t7833
t7834
t7835
t7836
t7837
t7838
t7839
t7840
t7841
t7842
t7843
t7844
t7845
t7846
t7847
t7848
t7851
t7852
t7853
t7854
t7855
t7857
t7858
t7859
t7860
t7861
t7862
t7863
t7864
t7865
t7866
t7867
t7868
t7869
t7870
t7871
t7872
t7873
t7874
t7875
t7876
t7878
t7879
t7880
t7881
t7882
t7883
t7884
t7885
t7886
t7887
t7958
t7959
t7960
t7961
t7962
t7963
t7964
t7965
t8247
t7966
t7967
t7968
t7969
t7970
t7971
t7972
t7973
t7974
t7975
t7976
t7977
t7978
t7979
t7980
t7981
t7982
t7983
t7984
t7985
t7986
t7987
t7988
t7989
t7990
t7991
t7992
t7993
t7994
t7995
t7997
t7998
t7999
t8000
t8001
t8002
t8003
t8004
t8005
t8006
t8008
t8009
t8010
t8011
t8012
t8013
t8014
t8016
t8017
t8018
t8019
t9123
t8020
t8021
t8022
t8024
t8025
t8026
t8027
t8028
t8029
t8030
t8031
t8032
t8033
t8035
t8036
t8037
t8038
t8039
t8040
t8041
t8042
t8043
t8044
t8045
t8046
t8047
t8048
t8050
t8051
t8052
t8053
t8054
t8055
t8056
t8057
t8058
t8059
t8060
t8061
t8062
t8063
t8064
t8065
t8066
t8067
t8068
t8069
t8070
t8071
t8072
t8073
t8074
t8075
t8076
t8077
t8078
t8079
t8080
t8081
t8083
t8084
t8085
t8086
t8087
t8088
t8089
t8090
t8147
t8148
t8149
t8150
t8151
t8152
t8153
t8154
t8155
t8156
t8157
t8158
t8159
t8160
t8161
t8162
t8163
t8164
t8165
t8166
t8167
t8168
t8169
t8170
t8171
t8172
t8173
t8174
t8176
t8177
t8178
t8179
t8180
t8181
t8182
t8183
t8184
t8186
t8187
t8188
t8189
t8190
t8191
t8192
t9774
t16450
t16451
t16452
t16453
t16454
t16455
t16456
t16457
t16458
t16459
t16460
t16461
t16462
t16463
t16464
t16465
t16466
t16467
t16468
t16469
t16470
t16471
t16472
t16473
t16474
t16475
t16476
t16477
t16478
t16479
t16480
t16481
t16482
t16483
t16484
t16485
t16486
t16487
t16488
t16489
t16490
t16491
t16492
t16493
t16494
t16495
t16496
t16497
t16498
t16499
t16500
t16501
t16502
t16503
t16504
t16505
t16506
t16507
t16508
t16509
t16510
t16511
t16512
t16513
t16514
t16515
t18104
t18105
t16517
t16518
t16519
t16520
t16521
t16522
t16523
t16524
t16525
t16526
t16527
t16528
t16529
t16530
t16531
t16532
t16533
t16534
t16535
t16536
t16537
t16538
t16539
t16540
t16541
t16542
t16543
t16544
t16545
t16546
t16547
t16548
t16549
t16550
t17629
t17630
t17631
t17632
t17633
t17634
t16554
t16555
t16556
t16557
t16558
t16559
t16560
t16561
t16562
t16563
t16564
t16565
t16566
t16567
t16568
t17571
t16569
t16570
t17572
t16571
t16572
t16573
t16574
t16575
t16576
t16577
t16578
t16579
t16580
t16581
t16582
t16583
t16584
t16585
t16586
t16587
t16588
t16589
t16590
t16591
t16592
t16593
t16594
t16595
t16596
t16597
t16598
t16599
t16600
t16601
t16602
t16603
t16604
t16605
t16606
t16607
t16608
t16609
t16610
t16611
t16612
t16613
t16614
t16615
t16616
t16617
t16618
t16619
t16620
t16621
t16622
t16623
t16624
t16625
t16626
t16627
t16628
t16629
t16630
t16631
t16632
t16633
t16634
t16635
t16636
t16637
t16638
t16639
t16640
t16641
t16642
t16643
t16644
t16645
t16646
t16647
t16648
t16649
t8343
t11829
t8345
t8346
t8347
t8348
t8349
t8350
t8351
t8352
t8353
t8354
t8355
t8356
t8357
t8358
t8359
t8360
t8361
t8362
t8363
t8364
t8365
t8366
t8367
t10323
t10324
t8368
t8369
t8370
t8371
t8372
t8373
t8374
t8375
t8376
t8377
t8378
t8379
t8380
t8381
t8382
t8383
t8384
t8385
t8386
t8387
t8388
t8389
t8390
t8391
t8392
t8393
t8394
t8395
t8396
t8397
t8404
t8405
t8406
t8407
t8408
t8409
t8415
t8416
t8417
t9810
t8418
t8419
t8420
t9201
t8421
t8422
t8423
t9816
t8424
t8425
t8426
t8427
t8428
t8429
t8430
t8431
t8433
t9369
t8434
t8435
t8436
t9291
t8438
t8439
t8440
t8441
t8442
t8443
t8444
t8445
t8446
t8447
t8448
t8449
t8450
t8451
t8452
t8453
t8454
t8455
t8456
t9395
t8785
t8458
t8459
t8460
t8461
t8462
t8463
t8464
t8465
t9404
t9405
t8467
t8468
t8469
t8470
t8471
t8472
t8473
t8474
t8880
t8476
t8477
t8478
t8479
t8480
t8481
t8482
t8483
t8484
t8486
t8487
t8488
t8489
t8490
t8491
t8492
t8493
t8494
t9142
t8495
t8496
t8497
t8498
t8499
t8500
t8501
t8502
t8503
t8504
t8505
t8506
t8507
t8508
t8509
t8510
t8511
t8512
t8513
t8514
t8515
t8516
t8517
t8518
t9478
t8519
t8520
t8521
t8522
t8523
t8524
t11975
t8525
t8526
t8527
t8528
t8529
t8530
t8531
t8532
t8889
t8533
t8534
t8535
t8536
t8537
t8538
t8539
t8540
t8541
t8542
t8543
t8544
t8545
t8546
t8547
t8548
t8549
t8550
t11971
t8551
t8552
t8553
t8554
t8555
t8556
t8557
t8558
t8559
t8560
t8561
t8562
t8563
t9627
t8565
t8566
t8567
t8568
t8569
t8570
t8571
t8572
t8573
t8574
t8575
t8576
t8577
t8578
t8579
t10273
t9402
t8580
t8581
t8582
t8583
t8584
t8585
t8586
t8587
t8588
t8589
t8590
t8591
t8592
t9075
t8593
t8594
t8595
t8596
t8597
t8598
t8599
t8600
t8601
t8602
t8603
t8604
t8605
t8606
t8607
t8608
t8609
t8610
t8611
t8612
t8613
t8614
t8615
t8616
t8617
t8618
t8619
t8620
t8621
t8622
t8623
t8624
t8625
t8626
t8627
t8628
t8629
t8630
t8631
t8632
t8633
t8634
t8635
t8636
t8637
t9753
t8638
t8639
t8640
t8641
t8642
t8643
t8644
t8645
t8646
t8647
t8648
t8649
t8650
t10058
t10059
t8652
t8653
t8654
t8655
t8656
t8657
t8658
t8659
t8660
t8661
t8662
t8663
t8664
t8670
t8671
t8672
t8673
t8680
t8681
t8682
t8683
t8684
t8685
t8686
t8687
t8688
t8689
t8690
t8691
t8692
t8693
t8694
t8695
t8696
t8697
t8698
t8699
t8700
t8701
t8702
t8703
t8704
t8705
t8706
t8707
t8708
t8709
t8710
t8711
t8712
t8713
t8714
t8715
t8716
t8717
t8718
t9913
t8719
t8720
t8721
t8722
t8723
t8724
t8725
t8726
t8727
t8728
t8729
t8730
t8731
t8732
t8733
t8734
t8735
t8736
t8737
t8738
t8739
t8740
t8741
t8742
t8743
t10075
t10076
t8744
t8745
t8746
t8747
t8748
t8749
t8750
t8751
t8752
t8753
t8754
t8755
t8756
t8757
t8758
t8759
t8760
t8761
t8762
t8763
t8764
t8765
t8766
t8767
t8768
t8769
t8770
t8771
t8772
t8773
t8774
t8775
t8776
t8777
t8778
t8779
t8780
t8781
t8782
t8783
t8784
t9375
t8786
t8787
t8788
t8789
t8790
t8791
t8792
t8793
t8794
t8795
t8796
t8797
t8798
t8799
t8800
t8801
t8802
t8803
t8804
t8805
t8806
t8807
t8808
t8809
t8810
t8811
t8812
t8813
t8814
t8815
t8816
t8817
t8818
t8819
t8820
t8821
t8822
t8823
t8824
t8825
t8826
t8827
t8828
t8829
t8830
t8831
t8832
t8833
t8834
t8835
t8836
t9001
t8837
t8838
t8839
t8840
t8841
t8842
t8843
t8844
t8845
t8846
t8847
t8848
t8849
t8850
t8851
t8852
t8853
t8854
t8855
t8856
t8857
t8858
t8859
t8860
t8861
t8862
t8863
t8864
t9502
t8865
t8866
t8867
t8868
t8869
t8870
t8871
t8872
t9446
t8874
t8875
t8876
t8877
t8878
t8879
t8881
t8882
t8883
t8884
t8885
t8886
t8887
t8888
t9523
t9524
t8890
t8891
t8892
t9525
t8894
t8895
t8896
t8897
t8898
t8899
t8900
t8901
t8902
t8903
t9528
t9529
t8904
t8905
t8906
t8907
t8908
t8909
t8910
t8911
t8912
t8913
t8914
t8915
t8916
t8917
t8918
t8919
t8920
t8921
t8922
t8923
t8924
t8925
t8926
t8927
t8928
t8929
t8930
t8931
t8932
t8933
t8934
t8935
t8936
t9464
t8937
t8938
t8939
t8940
t8941
t8942
t8943
t8944
t8945
t8946
t8947
t8948
t9594
t8949
t8950
t8951
t8952
t8953
t8954
t8955
t8956
t8957
t8958
t8959
t8960
t8961
t8962
t8963
t8964
t9734
t8965
t8966
t8967
t8968
t8969
t8970
t8971
t8972
t8973
t8974
t8975
t8976
t8977
t8978
t8979
t8980
t8981
t8982
t8983
t8984
t8985
t8986
t8987
t8988
t8989
t8990
t8991
t8992
t8993
t8994
t8995
t8996
t8997
t8998
t8999
t9000
t9642
t9002
t9003
t9004
t9005
t9006
t9007
t9008
t9009
t9010
t9011
t9012
t9013
t9014
t9015
t9016
t9017
t9018
t9019
t9020
t9021
t9022
t9023
t9024
t9025
t9026
t15510
t9027
t9028
t9029
t9030
t9031
t9032
t9033
t9034
t9035
t9036
t9037
t9038
t9039
t9040
t9041
t9042
t9043
t9044
t9045
t9046
t9047
t9048
t9049
t9050
t9051
t9052
t9053
t9054
t9055
t9056
t9057
t9058
t9059
t9060
t9061
t9062
t9063
t9064
t9065
t9066
t9067
t9068
t9069
t9070
t9071
t9072
t9073
t9074
t10382
t9076
t9077
t9078
t9079
t9080
t9081
t9082
t9083
t9084
t9085
t9086
t9087
t9088
t9089
t9090
t9091
t9092
t9093
t9094
t9095
t9096
t9097
t9098
t9099
t9100
t9101
t9102
t9103
t9104
t9105
t9106
t9107
t9108
t9109
t9110
t9111
t9112
t9113
t9114
t9115
t9116
t9117
t9118
t9119
t9120
t9121
t9122
t10708
t10709
t9124
t9125
t9126
t9127
t9128
t9129
t9130
t9131
t9132
t9133
t9134
t9135
t9136
t9137
t10723
t9139
t9140
t9141
t9143
t9144
t9146
t9151
t9152
t9153
t9965
t9155
t9156
t9157
t9158
t9159
t9160
t9225
t9161
t9163
t9164
t9165
t9166
t9167
t9168
t9169
t9170
t9171
t9172
t9173
t9174
t9175
t9176
t9177
t9178
t9179
t9813
t9180
t9181
t9182
t9183
t9184
t9185
t9186
t9187
t9188
t9189
t9190
t9191
t9192
t9193
t9194
t9920
t9921
t9195
t9196
t9197
t9198
t9199
t9200
t9987
t9202
t9203
t9204
t9205
t9206
t9207
t9208
t9209
t9210
t9211
t10565
t9213
t9214
t9215
t9216
t9217
t9218
t9219
t9220
t9221
t9222
t9223
t9224
t9858
t9859
t9226
t9894
t9227
t9228
t9229
t9230
t9231
t9232
t9233
t9234
t9235
t9236
t9237
t9238
t9239
t9240
t9241
t9242
t9243
t9244
t9245
t9246
t9247
t10548
t9248
t9249
t9250
t9251
t9252
t9253
t9254
t9255
t9256
t9257
t9258
t9259
t9260
t9261
t9262
t9263
t9264
t9265
t9266
t9267
t9268
t9269
t9270
t9271
t9272
t9273
t9274
t9275
t9276
t9277
t9278
t9279
t9280
t9281
t9282
t9283
t9284
t9285
t9286
t9287
t9288
t9289
t9290
t10682
t10683
t9292
t9293
t9294
t9295
t9296
t9297
t9298
t9299
t9300
t9301
t9302
t9303
t9305
t9306
t9307
t9308
t9309
t9310
t9311
t9312
t9313
t9314
t9315
t9316
t9317
t9318
t9319
t9320
t9321
t9322
t9323
t9324
t9325
t9326
t9327
t9328
t9329
t9330
t9331
t9332
t9333
t9334
t9335
t9336
t9337
t9338
t9339
t9340
t9341
t9342
t9343
t9344
t9345
t9346
t9347
t9348
t9349
t9350
t9351
t9352
t9353
t9354
t9355
t9356
t9357
t9358
t9359
t9360
t9361
t9362
t9363
t9364
t9365
t9366
t9367
t9368
t9370
t9371
t9372
t9373
t9374
t11132
t11133
t9376
t9377
t9378
t9379
t9380
t9381
t9382
t9383
t9384
t9385
t9386
t9387
t9388
t9389
t9390
t9391
t9392
t9393
t9394
t9396
t9397
t9398
t9399
t9400
t9401
t9403
t9406
t9407
t9408
t9409
t9410
t9411
t9412
t9413
t9414
t9415
t9416
t9417
t9418
t9419
t9420
t9421
t9422
t9423
t9424
t9425
t9426
t9427
t9428
t9429
t9430
t9431
t9432
t9433
t9434
t9435
t9436
t9437
t9438
t9439
t9440
t9441
t9442
t9443
t9444
t9445
t9447
t9448
t9449
t9450
t9451
t9452
t9453
t9454
t9455
t9456
t9457
t9458
t9459
t9460
t9461
t9462
t9463
t10182
t9465
t9466
t9467
t9468
t9469
t9470
t9471
t9472
t9473
t9474
t9475
t9476
t9477
t9479
t9480
t9481
t9482
t9483
t9484
t9485
t9486
t9487
t9488
t9489
t9490
t9491
t9492
t9493
t9494
t9495
t9496
t9497
t9498
t9499
t9500
t9501
t11157
t9503
t9504
t9505
t9506
t9507
t9508
t9509
t9510
t9511
t11185
t9512
t9513
t9514
t9515
t9516
t9517
t9518
t9519
t9520
t9521
t9522
t9526
t9527
t9530
t9531
t9532
t9533
t9534
t9535
t9536
t9537
t9538
t9539
t9540
t9541
t9542
t9543
t9544
t9545
t9546
t9547
t9548
t9549
t9550
t9551
t9552
t9553
t9554
t9555
t9556
t9557
t9558
t9559
t9560
t9561
t9562
t9563
t9564
t9565
t9566
t9567
t9568
t9569
t9570
t9571
t9572
t9573
t9574
t9575
t9576
t9577
t9578
t9579
t9580
t9581
t9582
t9583
t9584
t9585
t9586
t9587
t9588
t9589
t9590
t9591
t9592
t9593
t9595
t9596
t9597
t9598
t9599
t9600
t9601
t9602
t9603
t9604
t9605
t9606
t9608
t9609
t9610
t9611
t9612
t9613
t9614
t9615
t9616
t9617
t9618
t9619
t9620
t9621
t9622
t9623
t9624
t9625
t9626
t9628
t9629
t9630
t9631
t9632
t9633
t9634
t9635
t9636
t9637
t9638
t9639
t9640
t9641
t9643
t9644
t9645
t9646
t9647
t9648
t9649
t9650
t9653
t9654
t9655
t9656
t9657
t9658
t9659
t9660
t9661
t9662
t9663
t9664
t9665
t9666
t9667
t9668
t9669
t9670
t9671
t9672
t9673
t9674
t9675
t9676
t9677
t15927
t9679
t9680
t9681
t9682
t9683
t9684
t9685
t9686
t9687
t9688
t9689
t9690
t9691
t9692
t9693
t9694
t9695
t9696
t9697
t9698
t9699
t9700
t9701
t9702
t9703
t9704
t9705
t9706
t9707
t9708
t9709
t9710
t9711
t9712
t9713
t9714
t9715
t9716
t9717
t9718
t9719
t9720
t9721
t9722
t9723
t9724
t9725
t9726
t9727
t9728
t9729
t9730
t9731
t9732
t9733
t9735
t9736
t9737
t9738
t9739
t9740
t9741
t9742
t9743
t9744
t9745
t9746
t9747
t9748
t9749
t9750
t9751
t9752
t9754
t9755
t9756
t9757
t9758
t9759
t9760
t9761
t9762
t9763
t9764
t9765
t9766
t9767
t9768
t9769
t9770
t9771
t9773
t11146
t9777
t9778
t9779
t9780
t9781
t9782
t9783
t10619
t9785
t9786
t9787
t9788
t9789
t9790
t9791
t9792
t9793
t9978
t9794
t9795
t9796
t9797
t9798
t9799
t9800
t9801
t9802
t9803
t9804
t9805
t9806
t9807
t10950
t9809
t10646
t9811
t9812
t10644
t9814
t9815
t9817
t9818
t9819
t9820
t9821
t9822
t9823
t9824
t9825
t9826
t9827
t9828
t9829
t9830
t9831
t9832
t9833
t9834
t9835
t9836
t9837
t9838
t9839
t9840
t9841
t9842
t9843
t9844
t9845
t9846
t9847
t9848
t9849
t9850
t9851
t9852
t9853
t9854
t9855
t9856
t9857
t10534
t10535
t10536
t10537
t9860
t9861
t9862
t10983
t11002
t9863
t9864
t9865
t9866
t9867
t9868
t9869
t9870
t9871
t9872
t9873
t9874
t10499
t9875
t9876
t9877
t9878
t9879
t9880
t9881
t9882
t9883
t9884
t11262
t11263
t9885
t9886
t9887
t9888
t9889
t9890
t9891
t9892
t9893
t10624
t9895
t9896
t9897
t9898
t9899
t9900
t9901
t9902
t9903
t9904
t9905
t9906
t9907
t9908
t9909
t9910
t9911
t9912
t19447
t19448
t9914
t9915
t9916
t9917
t9918
t9919
t11214
t11215
t11216
t9922
t9923
t9924
t11060
t9925
t9926
t9927
t9928
t9929
t9930
t10569
t9931
t9932
t9933
t9934
t9935
t9936
t9937
t9938
t9939
t9940
t9941
t9942
t9943
t9944
t9945
t9946
t9947
t9948
t9949
t9950
t9951
t9952
t9953
t9954
t9955
t9956
t9957
t9958
t9959
t9960
t9961
t9962
t9963
t9964
t19453
t19454
t9966
t9967
t9968
t9969
t9970
t9971
t9972
t9973
t9974
t9975
t9976
t9977
t11282
t9979
t9980
t9981
t9982
t9983
t9984
t9985
t9986
t9988
t9989
t9990
t9991
t9992
t9993
t9994
t9995
t9996
t9997
t9998
t9999
t10000
t10001
t10002
t10003
t10742
t10004
t10007
t10008
t10009
t10010
t10011
t10012
t10013
t10014
t10015
t10016
t10017
t10018
t10019
t10020
t10021
t10022
t10023
t10024
t10025
t10026
t10027
t10028
t10029
t10030
t10031
t10032
t10033
t10034
t10035
t10036
t10037
t10038
t10039
t10040
t10041
t10042
t10043
t10044
t10045
t10046
t10047
t10048
t10049
t10050
t10051
t10052
t10053
t10054
t10055
t10056
t10057
t16739
t10060
t10061
t10062
t10063
t10064
t10065
t10066
t10067
t10068
t10069
t10070
t10071
t10072
t10073
t10074
t10077
t10078
t10079
t10080
t10081
t10082
t10083
t10084
t10085
t10086
t10087
t10088
t10089
t10090
t10091
t10092
t10093
t10094
t10095
t10096
t10097
t10098
t10099
t10100
t10101
t10102
t10103
t10104
t10105
t10106
t10107
t10108
t10109
t10110
t10111
t10112
t10113
t10114
t10115
t10116
t10117
t10118
t10119
t10121
t10122
t10123
t10124
t10125
t10126
t10127
t10128
t10129
t10130
t10131
t10132
t10133
t10134
t10135
t10136
t10137
t10138
t10139
t10140
t10141
t10142
t10143
t10144
t10145
t10146
t10147
t10148
t10149
t10150
t10151
t10152
t10153
t10154
t10155
t10156
t10157
t10158
t10159
t10160
t10161
t10162
t10163
t10164
t10165
t10166
t10167
t10168
t10169
t10170
t10171
t10172
t10173
t10174
t10175
t10176
t10177
t10178
t10179
t10180
t10181
t11344
t11186
t10183
t10184
t10185
t10186
t10187
t10188
t10189
t10190
t10191
t10192
t10193
t10194
t10195
t10196
t10197
t10198
t10199
t10200
t10201
t10202
t10203
t10204
t10205
t10206
t10207
t10208
t10209
t10210
t10211
t10212
t10213
t10214
t10215
t10216
t10217
t10218
t10219
t10220
t10221
t10222
t10223
t10224
t10225
t10226
t10227
t10228
t10229
t10230
t10231
t10232
t10233
t10234
t10235
t10236
t10237
t10238
t10239
t10240
t10241
t10242
t10243
t10244
t10245
t10246
t10247
t10248
t10249
t10250
t10251
t10252
t10253
t10254
t10255
t10256
t10257
t10258
t10259
t10260
t10261
t10262
t10263
t10264
t10265
t10266
t10267
t10268
t10269
t10270
t10271
t10272
t10274
t10275
t10276
t10277
t10278
t10279
t10280
t10281
t10282
t10283
t10284
t10285
t10286
t10287
t10288
t10289
t10290
t10291
t10292
t10293
t10294
t10295
t10296
t10297
t10298
t10299
t10300
t10301
t10302
t10303
t10304
t10305
t10306
t10307
t10308
t10309
t10310
t10311
t10312
t10313
t10314
t10315
t10316
t10317
t10318
t10319
t10320
t10321
t10322
t10325
t10326
t10327
t10328
t10329
t10330
t10331
t10332
t10333
t10334
t10335
t10336
t10337
t10338
t10339
t10340
t10341
t10342
t10343
t10344
t10345
t10346
t10347
t10348
t10349
t10350
t10351
t10352
t10353
t10354
t10355
t10356
t10357
t10361
t10362
t10363
t10364
t10365
t10366
t10367
t10368
t10369
t10370
t10371
t10372
t10373
t10374
t10375
t10376
t10377
t10378
t10379
t10380
t10381
t10383
t10384
t10385
t10386
t10387
t10388
t10389
t10390
t10391
t10392
t10393
t10394
t10395
t10396
t10397
t10398
t10399
t10400
t10401
t10402
t10403
t10404
t10405
t10406
t10407
t10408
t10409
t10410
t10411
t10412
t10413
t10414
t10415
t10416
t10417
t10418
t10419
t10420
t10421
t10422
t10423
t10424
t10425
t10426
t10427
t10428
t10429
t10430
t10431
t10432
t10433
t10434
t10435
t10436
t10437
t10438
t10439
t10440
t10441
t10442
t10443
t10444
t10445
t10446
t10447
t10448
t10449
t10450
t10451
t10452
t10453
t10454
t10455
t10456
t10457
t10458
t10459
t10460
t10461
t10462
t10463
t10464
t10465
t10466
t10467
t10468
t10469
t10470
t10471
t10472
t10473
t10474
t10475
t10476
t10477
t10478
t10479
t10480
t10481
t10482
t10483
t10484
t10485
t10486
t10487
t10488
t10489
t10490
t10491
t10492
t10493
t10494
t10495
t10496
t10497
t10498
t10500
t10501
t10502
t10503
t10504
t10505
t10506
t10507
t10508
t10509
t10510
t10511
t10512
t10513
t10514
t10515
t10516
t10517
t10518
t10519
t10520
t10521
t10522
t10523
t10524
t10525
t10526
t10527
t10528
t10529
t10530
t10531
t10532
t10533
t11593
t11594
t11596
t11697
t11698
t11699
t10538
t10539
t10540
t10541
t10542
t10543
t10544
t10545
t10546
t10547
t19859
t10549
t10550
t10551
t10552
t10553
t10554
t10555
t10556
t10557
t10558
t10559
t10560
t10561
t10562
t10563
t10564
t10566
t10567
t10568
t10570
t10571
t10572
t10573
t10574
t10575
t10576
t10577
t10578
t10579
t10580
t10581
t10582
t10583
t10584
t10585
t10586
t10587
t10588
t10589
t10590
t10591
t10592
t10593
t10594
t10595
t10596
t10597
t10598
t10599
t10600
t10601
t10602
t10603
t10604
t10605
t10606
t10607
t10608
t10609
t10610
t10611
t10612
t10613
t10614
t10615
t10616
t10617
t10618
t10620
t10621
t10622
t10623
t11388
t11389
t10625
t10626
t10627
t10628
t10629
t10630
t11076
t10631
t10632
t10633
t10634
t10635
t10636
t10637
t10638
t10639
t10640
t10641
t10642
t10643
t10645
t19950
t19951
t10647
t10648
t10649
t10650
t10651
t10652
t10653
t10654
t10655
t10656
t10657
t10658
t10659
t10660
t10661
t10662
t10663
t10664
t10665
t10666
t10667
t10668
t10669
t10670
t10671
t10672
t10673
t10674
t10675
t10676
t10677
t10678
t10679
t10680
t10681
t10684
t10685
t10686
t10687
t10688
t10689
t10690
t10691
t10692
t10693
t10694
t10695
t10696
t10697
t10698
t10699
t10700
t10701
t10702
t10703
t10704
t10705
t10706
t10707
t17573
t10710
t10711
t10712
t10713
t10714
t10715
t10716
t10717
t10718
t10719
t10720
t10721
t10722
t19222
t19223
t10724
t10725
t10726
t10727
t10728
t10729
t10730
t10731
t10732
t10733
t10734
t10735
t10736
t10737
t10738
t10739
t10740
t10741
t10743
t10744
t10745
t10746
t10747
t10748
t10749
t10750
t10751
t10752
t10753
t10754
t10755
t10756
t10757
t10758
t10759
t10760
t10761
t10762
t10763
t10764
t10765
t10766
t10767
t10768
t10769
t10770
t10771
t10772
t10773
t10774
t10775
t10776
t10777
t10778
t10779
t10780
t10781
t10782
t10783
t10784
t10785
t10786
t10787
t10788
t10789
t10790
t10792
t10793
t10794
t10795
t10796
t10797
t10798
t10799
t10800
t10801
t10802
t10803
t10804
t10805
t10806
t10807
t10808
t10809
t10810
t10811
t10812
t10813
t10814
t10815
t10816
t10817
t10818
t10819
t10820
t10821
t10822
t10823
t10824
t10825
t10826
t10827
t10828
t10829
t10830
t10831
t10832
t10833
t10834
t10835
t10836
t10837
t10838
t10839
t10840
t10841
t10842
t10843
t10844
t10845
t10846
t10847
t10848
t10849
t10850
t10851
t10852
t10853
t10854
t10855
t10856
t10857
t10858
t10859
t10860
t10861
t10862
t10863
t10864
t10865
t10866
t10867
t10868
t10869
t10870
t10871
t10872
t10873
t10874
t10875
t10876
t10877
t10878
t10879
t10880
t10881
t10882
t10883
t10884
t10885
t10886
t10887
t10888
t10889
t10890
t10891
t10892
t10893
t10894
t10895
t10896
t10897
t10899
t10900
t10901
t10902
t10903
t10904
t10905
t10906
t10907
t10908
t10909
t10910
t10911
t10912
t10913
t10914
t10915
t10916
t10917
t10918
t10919
t10920
t10921
t10922
t10923
t10924
t10925
t10926
t10927
t10928
t10929
t10930
t10931
t10932
t10933
t10934
t10935
t10936
t10937
t10938
t10941
t10942
t10943
t10944
t10945
t10946
t10947
t10948
t10949
t10951
t10952
t10953
t10954
t10955
t10956
t10957
t10958
t10959
t10960
t10961
t10962
t10963
t10964
t10965
t10966
t10967
t10968
t10969
t10970
t10971
t10972
t10973
t10974
t10975
t10976
t10977
t10978
t10979
t10980
t10981
t10982
t19998
t10984
t10985
t10986
t10987
t10988
t10989
t10990
t10991
t10992
t20576
t10993
t10994
t10995
t10996
t10997
t10998
t10999
t11000
t11001
t11003
t11004
t11005
t11006
t11007
t11008
t11009
t11010
t11011
t11012
t11013
t11014
t11015
t11016
t11017
t11018
t11019
t11020
t11021
t11022
t11023
t11024
t11025
t11026
t11027
t11028
t11029
t11030
t11031
t20637
t20638
t20639
t11032
t11033
t11034
t11035
t11036
t11037
t11038
t11039
t11040
t11041
t11042
t11043
t11044
t11045
t11046
t11047
t11048
t11049
t11050
t11051
t11052
t11053
t11054
t11055
t11056
t11057
t11058
t11059
t11061
t11062
t11063
t11064
t11065
t11066
t11067
t11068
t11069
t11070
t11071
t11072
t11073
t11074
t11075
t11077
t11078
t11079
t11080
t11081
t11082
t11083
t11084
t11085
t11086
t11087
t11088
t11089
t11090
t11091
t11092
t11093
t11094
t11095
t11096
t11097
t11098
t11099
t11100
t11101
t11102
t11103
t11104
t11105
t11106
t11107
t11108
t11109
t11110
t11111
t11112
t11113
t11114
t11115
t11116
t11117
t11118
t11119
t11120
t11121
t11122
t11123
t11124
t11125
t11126
t11127
t11128
t11129
t11130
t11131
t11134
t11135
t11136
t11137
t11138
t11139
t11140
t11141
t11142
t11143
t11144
t11145
t18309
t11147
t11148
t11149
t11150
t11151
t11152
t11153
t11154
t11155
t11156
t11158
t11159
t11160
t11161
t11162
t11163
t11164
t11165
t11166
t11167
t11168
t11169
t11170
t11171
t11172
t11173
t11174
t11175
t11176
t11177
t11178
t11179
t11180
t11181
t11182
t11183
t11184
t11187
t11188
t11189
t11190
t11191
t11192
t11193
t11194
t11195
t11196
t11197
t11198
t11206
t11207
t11208
t11209
t11210
t11211
t11212
t11213
t11217
t11218
t11219
t11220
t11221
t11222
t11223
t11224
t11225
t11226
t11227
t11228
t11229
t11230
t11231
t11232
t11233
t11234
t11235
t11236
t11237
t11238
t11239
t11240
t11241
t11242
t11243
t11244
t11245
t11246
t11247
t11248
t11249
t11250
t11251
t11252
t11253
t11254
t11255
t11256
t11257
t11258
t11259
t11260
t11261
t11264
t11265
t11266
t11267
t11268
t11269
t11270
t11271
t11272
t11273
t11274
t11275
t11276
t11277
t11278
t11279
t11280
t11281
t19981
t19982
t11283
t11284
t11285
t11286
t11287
t11288
t11289
t11290
t11291
t11292
t11293
t11294
t11295
t11296
t11297
t11298
t11299
t11300
t11301
t11302
t11303
t11304
t11305
t11306
t11307
t11308
t11309
t11310
t11311
t11312
t11313
t11314
t11315
t11316
t11317
t11318
t11319
t11320
t11321
t11322
t11323
t11324
t11325
t11326
t11327
t11328
t11329
t11330
t11331
t11332
t11333
t11334
t11335
t11336
t11337
t11338
t11339
t11340
t11341
t11342
t11343
t11345
t11367
t11368
t11369
t11370
t11371
t11372
t11373
t11374
t11375
t11376
t11377
t11378
t11379
t11380
t11381
t11382
t11383
t11384
t11385
t11386
t11387
t11390
t11391
t11392
t11393
t11394
t11395
t11396
t11397
t11398
t11399
t11400
t11401
t11402
t11403
t11404
t11405
t11406
t11407
t11408
t11409
t11410
t11411
t11412
t11413
t15252
t11449
t11450
t11451
t11452
t11453
t11454
t11455
t11456
t11457
t11458
t11494
t11541
t11958
t11591
t11592
t11597
t11598
t19854
t19855
t19856
t19857
t19858
t20667
t19860
t19861
t19862
t19863
t19864
t20671
t20672
t20665
t20666
t20988
t20989
t19868
t19869
t19870
t19871
t19872
t20695
t19873
t19874
t19875
t21431
t19876
t19877
t19878
t19879
t19880
t19881
t19882
t20701
t20702
t20703
t21007
t21008
t19887
t19888
t19889
t19890
t19891
t19892
t19893
t19894
t19895
t19896
t19897
t19898
t19899
t19900
t19901
t19902
t19903
t19904
t19905
t19906
t19907
t19908
t19909
t19910
t19911
t19912
t19913
t19914
t19915
t19916
t19917
t19918
t19919
t19920
t19921
t19922
t20704
t19924
t19925
t19926
t19927
t19928
t19929
t19930
t19931
t19932
t19933
t19934
t19935
t19936
t19937
t19938
t19939
t19940
t19941
t19942
t19943
t19944
t19945
t19946
t19947
t19948
t19949
t21519
t19952
t19953
t19954
t19955
t19956
t19957
t20735
t19958
t19959
t19960
t19961
t19962
t19963
t19964
t19965
t19966
t19967
t19968
t21988
t21989
t21990
t19970
t19971
t19972
t19973
t19974
t19975
t23464
t23465
t23466
t23467
t23468
t23469
t19979
t19980
t21123
t21124
t19983
t19984
t19985
t19986
t19987
t19988
t19989
t19990
t19991
t19992
t19993
t19994
t19995
t19996
t19997
t21561
t19999
t20000
t20001
t20002
t20003
t20004
t20005
t20006
t20007
t20008
t20009
t20010
t20011
t20012
t20013
t20014
t20015
t20016
t20017
t20018
t20019
t20020
t20021
t20022
t20023
t11823
t11824
t11825
t11826
t11827
t11828
t11830
t11831
t11832
t11833
t11834
t11835
t11836
t11837
t11838
t11839
t11840
t11841
t11842
t11843
t11844
t11845
t11846
t11847
t11848
t11849
t11850
t11851
t11852
t11853
t11854
t11855
t11856
t11857
t11858
t11859
t11860
t11861
t11862
t11863
t11864
t11865
t11866
t11867
t11868
t11869
t11870
t11871
t11872
t11873
t11874
t11875
t11876
t11877
t11878
t12129
t11956
t11959
t11960
t12133
t11962
t11963
t11964
t11965
t11966
t11967
t11968
t11969
t11970
t21341
t21342
t21343
t21344
t21345
t21346
t21347
t21348
t21349
t21350
t21351
t21352
t21353
t21354
t21355
t21356
t21357
t21358
t21359
t21360
t21361
t21362
t21363
t21364
t21365
t21366
t21367
t21368
t21369
t21370
t21371
t21372
t21373
t21374
t21375
t21376
t21377
t21378
t21379
t21380
t21381
t21382
t21383
t21384
t21385
t21386
t21387
t21388
t21389
t21390
t21391
t21392
t21393
t25492
t25493
t25494
t25495
t25496
t25497
t25498
t25499
t25500
t25501
t25502
t25503
t23642
t23643
t23644
t23645
t23646
t21403
t21404
t21405
t21406
t21407
t21408
t21409
t21410
t21411
t21412
t21413
t21414
t21415
t21416
t21417
t21418
t21419
t21420
t21421
t21422
t21423
t21424
t21425
t21426
t21427
t21428
t21429
t21430
t25240
t25241
t25242
t21432
t21433
t21434
t21435
t21436
t21437
t21438
t21439
t21440
t21441
t21442
t21443
t21444
t21445
t21446
t21447
t21448
t21449
t21450
t21451
t21452
t25558
t25559
t25560
t25561
t25562
t25563
t21458
t21459
t21460
t21461
t21462
t21463
t21464
t21465
t21466
t21467
t21468
t21469
t21470
t21471
t21472
t21473
t21474
t21475
t21476
t21477
t21478
t21479
t21480
t21481
t21482
t25675
t25676
t25677
t25678
t25679
t25680
t21486
t21487
t21488
t21489
t21490
t21491
t21492
t21493
t21494
t21495
t21496
t21497
t21498
t21499
t21500
t21501
t21502
t21503
t21504
t21505
t21506
t21507
t21508
t21509
t21510
t21511
t21512
t21513
t21514
t21515
t21516
t21517
t21518
t25466
t25467
t25468
t21520
t21521
t21522
t21523
t21524
t21525
t21526
t21527
t21528
t21529
t21530
t21531
t21532
t21533
t21534
t21535
t21536
t21537
t21538
t21539
t21540
t21541
t21542
t21543
t21544
t21545
t21546
t21547
t21548
t21549
t21550
t21551
t21552
t21553
t21554
t21555
t21556
t21557
t21558
t21559
t21560
t25564
t25565
t25566
t21562
t21563
t21564
t21565
t21566
t21567
t21568
t21569
t21570
t21571
t21572
t21573
t21574
t21575
t21576
t21577
t21578
t21579
t21580
t21581
t21582
t21583
t21584
t21585
t21586
t21587
t21588
t21589
t21590
t21591
t21592
t21593
t21594
t21595
t21596
t21597
t21598
t21599
t21600
t21601
t21602
t21603
t21604
t21605
t21606
t21607
t21608
t21609
t21610
t21611
t21612
t21613
t21614
t21615
t21616
t21617
t21618
t21619
t21620
t21621
t21622
t21623
t21624
t21625
t21626
t21627
t21628
t21629
t21630
t21631
t21632
t21633
t21634
t21635
t21636
t21637
t21638
t21639
t21640
t21641
t21642
t21643
t21644
t21645
t21646
t21647
t21648
t21649
t21650
t21651
t21652
t21653
t21654
t21655
t21656
t21657
t21658
t21659
t21660
t21661
t21662
t21663
t21664
t21665
t21666
t21667
t21668
t21669
t21670
t21671
t21672
t21673
t21674
t21675
t21676
t21677
t21678
t21679
t21680
t21681
t21682
t12148
t12149
t12150
t12151
t12152
t12153
t12155
t12156
t12157
t12158
t12159
t12160
t12161
t12162
t12163
t12174
t12337
t12211
t12212
t12213
t12214
t12215
t12216
t12217
t12218
t12219
t12304
t12305
t12306
t12307
t12308
t12309
t12310
t12311
t12312
t12313
t12314
t12315
t12317
t12318
t12319
t12320
t12321
t12322
t12323
t12324
t12326
t12327
t12328
t12329
t12330
t12331
t12332
t12333
t12334
t12335
t12336
t12703
t12338
t12339
t12467
t12468
t12469
t12470
t12471
t12472
t12473
t12474
t12475
t12476
t12477
t12478
t12479
t12480
t12481
t12482
t12483
t12484
t12485
t12486
t12487
t12488
t12489
t12490
t12491
t12492
t12493
t12494
t12495
t12496
t12497
t12498
t12499
t12500
t12501
t12502
t13035
t13036
t12505
t12506
t12507
t12508
t12509
t12510
t12511
t12512
t12513
t12514
t12515
t12516
t12517
t12518
t12519
t12520
t12521
t12522
t12523
t12524
t12525
t12526
t12527
t12528
t12529
t12530
t12531
t12532
t12533
t12534
t12535
t12536
t12537
t12538
t12539
t12540
t12541
t12542
t12543
t12544
t12545
t12546
t12547
t12548
t12549
t12550
t12955
t12688
t12689
t12690
t12691
t12692
t12693
t12694
t12695
t12696
t12697
t12698
t12699
t12700
t12701
t12702
t13308
t12704
t12705
t12706
t12707
t12708
t12709
t12710
t12711
t12712
t12713
t12714
t12715
t12716
t12717
t12718
t12719
t12720
t12721
t12722
t12723
t12724
t12725
t12726
t12727
t12728
t12729
t12730
t12731
t12732
t12733
t12734
t12735
t12736
t12737
t12738
t12739
t12740
t12741
t12742
t12743
t12744
t12745
t12746
t12747
t12748
t12749
t12750
t12751
t12752
t12753
t12754
t12755
t12758
t12759
t12760
t12761
t12762
t12763
t12764
t12765
t12766
t12767
t12768
t12769
t12770
t12771
t12772
t12773
t12774
t12775
t12776
t12777
t12778
t12779
t12780
t12781
t12782
t12783
t12784
t12785
t12786
t12787
t12788
t12789
t12790
t12791
t12792
t12793
t12794
t12795
t12796
t12797
t12798
t12799
t12800
t12801
t12802
t12803
t12804
t12805
t12806
t12807
t12808
t12809
t12810
t12811
t12812
t12813
t12953
t12954
t15251
t15380
t15253
t12956
t12957
t12958
t12959
t12960
t12961
t12962
t12963
t12964
t12965
t12968
t12969
t12970
t12971
t12972
t12973
t12974
t12975
t12976
t12977
t12978
t12979
t12980
t12981
t12982
t12983
t12984
t12985
t12986
t12987
t12988
t12989
t12990
t12991
t12992
t12993
t12994
t12995
t12996
t12997
t12998
t12999
t13000
t13001
t13002
t13004
t13005
t13006
t13007
t13008
t13009
t13010
t13011
t13012
t13013
t13014
t13015
t13016
t13017
t13018
t13019
t13020
t13021
t13022
t13023
t13024
t13025
t13026
t13027
t13028
t13029
t13030
t13031
t13032
t13034
t19784
t19785
t19786
t13037
t13038
t13039
t13040
t13041
t13042
t13043
t13044
t13045
t13046
t13047
t13048
t13049
t13050
t13051
t13052
t13053
t13054
t13055
t13056
t13057
t13058
t13059
t13060
t13061
t13062
t13063
t13064
t13065
t13066
t13067
t13069
t13070
t13071
t13072
t13073
t13074
t13075
t13076
t13077
t13078
t13703
t13280
t13281
t13282
t13283
t13284
t13285
t13286
t13287
t13288
t13289
t13290
t13291
t13292
t13293
t13294
t13295
t13296
t13297
t13298
t13299
t13300
t13301
t13302
t13303
t13304
t13305
t13306
t13307
t19623
t19624
t13309
t13310
t13311
t13312
t13313
t13314
t13315
t13316
t13317
t13318
t13319
t13320
t13321
t13322
t13323
t13324
t13325
t13326
t13327
t13328
t13329
t13330
t13331
t13332
t13333
t13334
t13335
t13336
t13337
t13338
t13339
t13340
t13341
t13342
t13343
t13344
t13345
t13346
t13347
t13348
t13349
t13350
t13351
t13352
t13353
t13354
t13355
t13356
t13357
t13358
t13359
t13360
t13361
t13362
t13363
t19969
t13704
t13705
t13706
t13707
t13708
t13709
t13710
t13711
t13712
t13713
t13714
t13715
t13716
t13717
t13718
t13719
t13720
t13721
t13722
t13723
t13724
t13725
t13726
t13727
t13728
t13729
t13730
t13731
t13732
t13733
t13734
t13735
t13736
t13737
t13738
t20852
t14202
t14203
t14204
t14205
t14206
t14207
t14208
t14209
t14210
t19851
t19852
t19853
t14673
t20636
t22325
t22326
t15236
t15237
t15238
t15239
t15240
t15241
t15242
t15243
t15244
t15245
t15246
t15247
t15248
t15249
t15250
t18078
t18079
t20969
t20970
t20971
t18080
t15254
t15255
t15256
t15257
t15258
t15259
t15260
t15261
t15262
t15263
t15264
t15559
t15560
t15265
t15266
t15267
t15268
t15269
t15270
t15271
t15272
t15273
t15274
t15275
t15276
t15277
t15278
t15279
t15280
t15281
t15282
t15283
t15284
t15285
t15286
t15287
t15288
t15415
t15289
t15290
t15291
t15292
t15293
t15294
t15295
t15296
t15297
t15298
t15299
t15300
t15531
t15302
t15303
t15304
t15305
t15306
t15307
t15308
t15309
t15310
t15311
t15312
t15313
t15314
t15315
t15316
t15317
t15318
t15319
t15320
t15321
t15322
t15323
t15324
t15325
t15326
t15327
t15328
t15329
t15330
t15331
t15332
t15333
t15334
t15335
t15336
t15337
t15338
t15339
t15340
t15926
t15341
t15342
t15343
t15344
t15345
t15346
t15347
t15348
t15349
t15350
t15351
t15352
t15519
t15353
t15354
t15355
t15356
t15357
t15358
t15623
t15624
t15359
t15360
t15361
t15362
t15363
t15364
t15365
t15366
t15367
t15368
t15369
t15370
t15371
t15372
t15373
t15374
t15375
t15376
t15377
t15378
t15379
t15636
t15637
t15381
t15382
t15383
t15384
t15385
t15386
t15387
t15388
t15389
t15390
t15391
t15392
t15393
t15394
t15395
t15396
t15397
t15398
t15399
t15400
t15401
t15402
t15680
t15681
t15403
t15404
t15405
t15406
t15407
t15408
t15409
t15410
t15411
t15412
t15413
t15414
t16180
t15710
t15711
t15416
t15417
t15418
t15419
t15420
t15421
t15422
t15423
t15424
t15425
t15426
t15427
t15428
t15429
t15430
t15431
t15432
t15433
t15434
t15435
t15436
t15437
t15438
t15439
t15440
t15441
t15442
t15443
t15444
t15445
t15446
t15447
t15448
t15449
t15450
t15451
t15452
t15453
t15454
t15455
t15456
t15457
t15458
t16007
t16008
t15460
t15461
t15462
t15463
t15464
t15465
t15466
t15467
t15468
t15469
t15470
t15471
t15472
t15473
t15474
t15475
t15476
t15477
t15478
t15479
t15480
t15481
t15482
t15483
t15484
t15485
t15486
t15487
t15488
t15489
t15490
t15491
t15492
t15493
t15494
t15495
t16516
t15497
t15498
t15499
t15500
t15501
t15502
t15503
t15504
t15505
t15506
t15507
t15508
t15509
t16798
t15511
t15512
t15513
t15514
t15515
t15516
t15910
t15517
t15518
t15912
t15520
t15521
t15522
t15523
t15524
t15525
t16094
t15527
t15528
t15529
t15530
t16179
t15532
t15533
t15534
t15535
t15536
t15537
t15538
t15539
t15540
t15541
t15542
t15543
t15544
t15545
t15546
t15547
t15548
t15549
t15550
t15551
t15552
t15553
t15554
t15555
t15556
t15557
t15558
t16850
t15561
t15562
t15563
t15564
t15806
t15938
t15565
t15566
t15567
t15929
t15568
t15569
t15570
t15571
t15572
t15573
t15574
t15575
t15576
t15577
t15578
t15579
t15580
t15581
t15582
t15583
t15584
t15585
t15586
t15587
t15588
t15589
t15590
t15591
t15592
t15593
t15594
t15595
t15596
t15597
t15598
t15599
t15600
t15601
t15602
t15603
t15604
t15605
t15606
t17297
t15608
t15609
t15610
t15611
t15612
t15613
t15614
t15615
t15616
t15617
t15618
t15619
t15620
t15621
t15622
t17754
t15625
t15626
t15627
t15628
t15629
t15630
t15631
t15632
t15633
t15634
t15635
t16148
t16149
t16150
t15638
t15639
t15640
t15641
t15642
t15643
t15644
t15645
t15646
t15647
t15648
t15649
t15650
t15651
t15652
t15653
t15654
t15655
t15656
t15657
t15658
t15659
t15660
t15661
t15662
t15663
t15664
t15665
t15666
t15667
t15668
t15669
t15670
t15671
t15672
t15673
t15674
t15675
t15676
t15677
t15678
t15679
t16205
t15682
t15683
t15684
t15685
t15686
t15687
t15688
t15689
t15690
t15691
t15692
t15693
t15694
t15695
t15696
t15697
t15698
t15699
t15700
t15701
t15702
t15703
t15704
t15705
t15706
t15707
t15708
t15709
t16429
t16430
t16431
t15712
t15713
t15714
t15715
t15716
t15717
t15718
t15719
t15720
t15721
t15722
t15723
t15724
t15725
t15726
t15727
t15728
t15729
t15730
t15731
t15732
t15733
t15734
t15735
t15736
t15737
t15738
t15739
t15740
t15741
t15742
t15743
t15744
t15745
t15746
t15747
t15748
t15749
t15750
t15751
t15752
t15753
t15754
t15755
t15756
t15757
t15758
t15759
t15760
t15761
t15762
t15763
t15764
t15765
t15766
t15767
t15768
t15769
t15770
t15771
t15772
t15773
t15774
t15775
t15776
t15777
t15778
t15779
t15780
t15781
t15782
t15783
t15784
t15785
t15786
t15787
t15788
t15789
t15790
t15791
t15792
t15793
t15794
t15795
t15796
t15797
t15798
t15799
t15800
t15801
t15802
t15803
t15804
t15805
t16321
t16322
t15807
t15808
t15809
t15810
t15811
t15812
t15813
t15814
t15815
t15816
t15817
t15818
t15819
t15820
t15821
t15822
t15823
t15824
t15825
t15826
t15827
t15828
t15829
t15830
t15831
t15832
t15833
t15834
t15835
t15836
t15837
t15838
t15839
t15840
t15841
t15842
t15843
t15844
t15845
t15846
t15847
t15848
t15849
t15850
t15851
t15852
t15853
t15854
t15855
t15856
t15857
t15858
t15859
t15860
t15861
t15862
t15863
t15864
t15865
t15866
t15867
t15868
t15869
t15870
t15871
t15872
t15873
t15874
t15875
t15876
t15877
t15878
t15879
t15880
t15881
t15882
t15883
t15884
t15885
t15886
t15887
t15888
t15889
t15890
t15891
t15892
t15893
t15894
t15895
t15896
t15897
t15898
t15899
t15900
t15901
t15902
t15903
t15904
t15905
t15906
t15907
t15908
t17374
t17375
t16767
t16768
t15911
t16769
t16770
t16771
t15913
t15914
t15915
t15916
t15917
t15918
t15919
t15920
t15921
t15922
t15923
t15924
t15925
t17677
t17678
t16737
t15928
t16738
t15930
t15931
t15932
t15933
t15934
t15935
t15936
t15937
t16551
t16552
t16553
t15939
t15940
t15941
t15942
t15943
t15944
t15945
t15946
t16875
t16876
t15947
t15948
t15949
t15950
t15951
t15952
t15953
t15954
t15955
t15956
t15957
t15958
t15959
t15960
t15961
t15962
t15963
t15964
t15965
t15966
t15967
t15968
t15969
t15970
t15971
t15972
t15973
t15974
t15975
t15976
t15977
t15978
t15979
t15980
t15981
t15982
t15983
t15984
t15985
t15986
t15987
t15988
t15989
t15990
t15991
t15992
t15993
t15994
t15995
t15996
t15997
t15998
t15999
t16000
t17560
t16002
t16003
t16004
t16005
t16006
t18519
t16946
t16009
t16010
t16011
t16012
t16013
t16014
t16015
t16016
t16017
t16018
t16019
t16020
t16021
t16022
t16023
t16024
t16025
t16026
t16027
t16028
t16029
t16030
t16031
t16032
t16033
t16034
t16035
t16036
t16037
t16038
t16039
t16040
t16041
t16042
t16043
t16044
t16045
t16046
t16047
t16048
t16049
t16050
t16051
t16052
t16053
t16054
t16055
t16056
t16057
t16058
t16059
t16060
t16061
t16062
t16063
t16064
t16065
t16066
t16067
t16068
t16069
t16070
t16071
t16072
t16073
t16074
t16075
t16076
t16077
t16078
t16079
t16080
t16081
t16082
t16083
t16084
t16085
t16086
t16087
t18081
t17150
t17151
t16089
t16090
t16091
t16092
t16093
t16995
t16095
t16096
t16097
t16098
t16099
t16100
t16101
t16102
t16103
t16104
t16105
t16106
t16107
t16108
t16109
t16110
t16111
t16112
t16113
t16114
t16115
t16116
t16117
t16118
t16119
t16120
t16121
t16122
t16123
t16124
t16125
t16126
t16127
t16128
t16129
t16130
t16131
t16132
t16133
t16134
t16135
t16136
t16137
t16138
t16139
t16140
t16141
t16142
t16143
t16144
t16145
t16146
t16147
t19177
t19178
t19179
t17172
t17173
t17174
t16151
t16152
t16153
t16154
t16155
t16156
t16157
t16158
t16159
t16160
t16161
t16162
t16163
t16164
t16165
t16166
t16167
t16168
t16169
t16170
t16171
t16172
t16173
t16174
t16175
t16176
t16177
t16178
t18421
t18422
t18423
t17810
t16181
t16182
t16183
t16184
t16185
t16186
t16187
t16188
t16189
t16190
t16191
t16192
t16193
t16194
t16195
t16196
t16197
t16198
t16199
t16200
t16201
t16202
t16203
t16204
t17175
t17176
t17177
t16206
t16207
t16208
t16209
t16210
t16211
t16212
t16213
t16214
t16215
t16216
t16217
t16218
t16219
t16220
t16221
t16222
t16223
t16224
t16225
t16226
t16227
t16228
t16229
t16230
t16231
t16232
t16233
t16234
t16235
t16236
t16237
t16238
t16239
t16240
t16241
t16242
t16243
t18555
t16244
t16245
t16246
t16247
t16248
t16249
t16250
t16251
t16252
t16253
t16254
t16255
t16256
t16257
t16258
t16259
t16260
t16261
t16262
t16263
t16264
t16265
t16266
t16267
t16268
t16269
t16270
t16271
t16272
t16273
t16274
t16275
t16276
t16277
t16278
t16279
t16280
t16281
t16282
t16283
t16284
t16285
t16286
t16287
t16288
t16289
t16290
t16291
t16292
t16293
t16294
t16295
t16296
t16297
t16298
t16299
t16300
t16301
t16302
t16303
t16304
t16305
t17894
t16306
t16307
t16308
t16309
t16310
t16311
t16312
t16313
t16314
t16315
t16316
t16317
t16318
t16319
t16320
t17290
t17291
t17292
t16323
t16324
t16325
t16326
t16327
t16328
t16329
t16330
t16331
t16332
t16333
t16334
t16335
t16336
t16337
t16338
t16339
t16340
t16341
t16342
t16343
t16344
t16345
t16346
t16347
t16348
t16349
t16350
t16351
t16352
t16353
t16354
t16355
t16356
t16357
t16358
t16359
t16360
t16361
t16362
t16363
t16364
t16365
t16366
t16367
t16368
t16369
t18591
t16370
t16371
t16372
t16373
t16374
t16375
t16376
t16377
t16378
t16379
t16380
t16381
t16382
t16383
t16384
t16650
t16651
t16652
t16653
t16654
t16655
t16656
t16657
t16658
t16659
t16660
t16661
t18250
t16662
t16663
t16664
t16665
t16666
t16667
t16668
t16669
t16670
t16671
t16672
t16673
t16674
t16675
t16676
t16677
t16678
t16679
t16680
t16681
t16682
t16683
t16684
t16685
t16686
t16687
t16688
t16689
t16690
t16691
t16692
t16693
t16694
t16695
t16696
t16697
t16698
t16699
t16700
t16701
t16702
t16703
t16704
t16705
t16706
t16707
t16708
t16709
t16710
t16711
t16712
t16713
t16714
t16715
t16716
t16717
t16718
t16719
t16720
t16721
t16722
t16723
t16724
t16725
t16726
t16727
t16728
t16729
t16730
t16731
t16732
t16733
t16734
t16735
t16736
t19001
t19002
t19004
t19005
t16740
t16741
t16742
t16743
t16744
t16745
t18376
t18377
t16747
t16748
t16749
t16750
t16751
t16752
t16753
t16754
t16755
t16756
t16757
t16758
t16759
t16760
t16761
t16762
t16763
t16764
t16765
t16766
t19154
t19155
t19156
t19157
t19158
t19171
t19172
t19173
t19174
t19175
t16772
t16773
t16774
t16775
t16776
t16777
t16778
t16779
t16780
t16781
t16782
t16783
t16784
t16785
t16786
t16787
t16788
t16789
t16790
t16791
t16792
t16793
t16794
t16795
t16796
t16797
t16799
t16800
t16801
t16802
t16803
t16804
t16805
t16806
t16807
t16808
t16809
t16810
t16811
t16812
t16813
t16814
t16815
t16816
t16817
t16818
t16819
t16820
t16821
t16822
t16823
t16824
t16825
t16826
t16827
t16828
t16829
t16830
t16831
t16832
t16833
t16834
t16835
t16836
t16837
t16838
t16839
t16840
t16841
t16842
t16843
t16844
t16845
t16846
t16847
t16848
t16849
t16851
t16852
t16853
t16854
t16855
t16856
t16857
t16858
t16859
t16860
t16861
t16862
t16863
t16864
t16865
t16866
t16867
t16868
t16869
t16870
t16871
t16872
t16873
t16874
t17860
t16877
t16878
t16879
t16880
t16881
t16882
t16883
t16884
t16885
t16886
t16887
t16888
t16889
t16890
t16891
t16892
t16893
t16894
t16895
t16896
t16897
t16898
t16899
t16900
t16901
t16902
t16903
t16904
t16905
t16906
t16907
t16908
t16909
t16910
t16911
t16912
t16913
t16914
t16915
t16916
t16917
t16918
t16919
t16920
t16921
t16922
t16923
t16924
t16925
t16926
t16927
t16928
t16929
t16930
t16931
t16932
t16933
t16934
t16935
t16936
t16937
t16938
t16939
t16940
t16941
t16942
t16943
t16944
t16945
t18935
t18936
t16947
t16948
t16949
t16950
t16951
t16952
t16953
t16954
t16955
t16956
t16957
t16958
t16959
t16960
t16961
t16962
t16963
t16964
t16965
t16966
t16967
t16968
t16969
t16970
t16971
t16972
t16973
t16974
t16975
t16976
t16977
t16978
t16979
t16980
t16981
t16982
t16983
t16984
t16985
t16986
t16987
t16988
t16989
t16990
t16991
t16992
t16993
t16994
t18982
t18983
t16996
t16997
t16998
t16999
t17000
t17001
t17002
t17003
t17004
t17005
t17006
t17007
t17008
t17009
t17010
t17011
t17012
t17013
t17014
t17015
t17016
t17017
t17018
t17019
t17020
t17021
t17022
t17023
t17024
t17025
t17026
t17027
t17028
t17029
t17030
t17031
t17032
t17033
t17034
t17035
t17036
t17037
t17038
t17039
t17040
t17041
t17042
t17043
t17044
t17045
t17046
t17047
t17048
t17049
t17050
t17051
t17052
t17053
t17054
t17055
t17056
t17057
t17058
t17059
t17060
t17061
t17062
t17063
t17064
t17065
t17066
t17067
t17068
t17069
t17070
t17071
t17072
t17073
t17074
t17075
t17076
t17077
t17078
t17079
t17080
t17081
t17082
t17083
t17084
t17085
t17086
t17087
t17088
t17089
t17090
t17091
t17092
t17093
t17094
t17095
t17096
t17097
t17098
t17099
t17100
t17101
t17102
t17103
t17104
t17105
t17106
t17107
t17108
t17109
t17110
t17111
t17112
t17113
t17114
t17115
t17116
t17117
t17118
t17119
t17120
t17121
t17122
t17123
t17124
t17125
t17126
t17127
t17128
t17129
t17130
t17131
t17132
t17133
t17134
t17135
t17136
t17137
t17138
t17139
t17140
t17141
t17142
t17143
t17144
t17145
t17146
t17147
t17148
t17149
t18874
t17152
t17153
t17154
t17155
t17156
t17157
t17158
t17159
t17160
t17161
t17162
t17163
t17164
t17165
t17166
t17167
t17168
t17169
t17170
t17171
t21483
t21484
t21485
t19224
t19225
t19226
t19227
t19228
t19180
t19181
t19182
t17178
t17179
t17180
t17181
t17182
t17183
t17184
t17185
t17186
t17187
t17188
t17189
t17190
t17191
t17192
t17193
t17194
t17195
t17196
t17197
t17198
t17199
t17200
t17201
t17202
t17203
t17204
t17205
t17206
t17207
t17208
t17209
t17210
t17211
t17212
t17213
t18679
t17214
t17215
t17216
t17217
t17218
t17219
t17220
t17221
t17222
t17223
t17224
t17225
t17226
t17227
t17228
t17229
t17230
t17231
t17232
t17233
t17234
t17235
t17236
t17237
t17238
t17239
t17240
t17241
t17242
t17243
t17244
t17245
t17246
t17247
t17248
t17249
t17250
t17251
t17252
t17253
t17254
t17255
t17256
t17257
t17258
t17259
t17260
t17261
t17262
t17263
t17264
t17265
t17266
t17267
t17268
t17269
t17270
t17271
t17272
t17273
t17274
t17275
t17276
t17277
t19259
t17278
t17279
t17280
t17281
t17282
t17283
t17284
t17285
t17286
t17287
t17288
t17289
t17293
t17294
t17295
t17296
t17298
t17299
t17300
t17301
t17302
t17303
t17304
t17305
t17306
t17307
t17308
t17309
t17310
t17311
t17312
t17313
t17314
t17315
t17316
t17317
t17318
t17319
t17320
t17321
t17322
t17323
t17324
t17325
t17326
t17327
t17328
t17329
t17330
t17331
t17332
t17333
t17334
t17335
t17336
t17337
t17338
t17339
t17340
t17341
t17342
t17343
t17344
t18308
t17345
t17346
t17347
t17348
t17349
t17350
t17351
t17352
t17353
t17354
t17355
t17356
t17357
t17358
t17359
t17360
t17361
t17362
t17363
t17364
t17365
t17366
t17367
t17368
t17369
t17370
t17371
t17372
t17373
t17376
t17377
t17378
t17379
t17380
t17381
t17382
t17383
t17384
t17385
t17386
t17387
t17388
t17389
t17390
t17391
t17392
t17393
t17394
t17395
t17396
t17397
t17398
t17399
t17400
t17401
t17402
t17403
t17404
t17405
t17406
t17407
t17408
t17409
t17410
t17411
t17412
t17413
t17414
t17415
t17416
t17417
t17418
t17419
t17420
t17421
t17422
t17423
t17424
t17425
t17426
t17427
t17428
t17429
t17430
t17431
t17432
t17433
t18767
t17434
t17435
t17436
t17437
t17438
t17439
t17440
t17441
t17442
t17443
t17444
t17445
t17446
t17447
t17448
t17449
t17450
t17451
t17452
t17453
t17454
t17455
t17456
t17457
t17458
t17459
t17460
t17461
t17462
t17463
t17464
t17465
t17466
t17467
t17468
t17469
t17470
t17471
t17472
t17473
t17474
t17475
t17476
t17477
t17478
t17479
t17480
t17481
t17482
t17483
t17484
t17485
t17486
t17487
t17488
t17489
t17490
t17491
t17492
t17493
t17494
t17495
t17496
t17497
t17498
t17499
t17500
t17501
t17502
t17503
t17504
t17505
t17506
t17507
t17508
t17509
t17510
t17511
t17512
t17513
t17514
t17515
t17516
t17517
t17518
t17519
t17520
t17521
t17522
t17523
t17524
t17525
t17526
t17527
t17528
t17529
t17530
t17531
t17532
t17533
t17534
t17535
t17536
t17537
t17538
t17539
t17540
t17541
t17542
t17543
t17544
t17545
t17546
t17547
t17548
t17549
t17550
t17551
t17552
t17553
t17554
t17555
t17556
t17557
t17558
t17559
t18851
t18852
t17561
t17562
t17563
t17564
t17565
t17566
t17567
t17568
t17569
t17570
t19220
t19221
t21227
t21228
t21229
t17574
t17575
t17576
t17577
t17578
t17579
t17580
t17581
t17582
t17583
t17584
t17585
t17586
t17587
t17588
t17589
t17590
t17591
t17592
t17593
t17594
t17595
t17596
t17597
t17598
t17599
t17600
t17601
t17602
t17603
t17604
t17605
t17606
t17607
t17608
t17609
t17610
t17611
t17612
t17613
t17614
t17615
t17616
t17617
t17618
t17619
t17620
t17621
t17622
t17623
t17624
t17625
t17626
t17627
t17628
t19276
t19277
t19278
t19279
t19280
t19281
t19282
t19283
t19284
t19285
t19286
t17635
t17636
t17637
t17638
t17639
t17640
t17641
t17642
t17643
t17644
t17645
t17646
t17647
t17648
t17649
t17650
t17651
t17652
t17653
t17654
t17655
t17656
t17657
t17658
t17659
t17660
t17661
t17662
t17663
t17664
t17665
t17666
t17667
t17668
t17669
t17670
t17671
t17672
t17673
t18468
t17675
t17676
t19848
t19849
t19850
t17679
t17680
t17681
t17682
t17683
t17684
t17685
t17686
t17687
t17688
t17689
t17690
t17691
t17692
t17693
t17694
t17695
t17696
t17697
t17698
t17699
t17700
t17701
t17702
t17703
t17704
t17705
t17706
t17707
t17708
t17709
t17710
t17711
t17712
t17713
t17714
t17715
t17716
t17717
t17718
t17719
t17720
t17721
t17722
t17723
t17724
t17725
t17726
t17727
t17728
t17729
t17730
t17731
t17732
t17733
t17734
t17735
t17736
t17737
t19029
t17740
t17741
t17742
t17743
t17744
t17745
t17746
t17747
t17748
t17749
t17750
t17751
t17752
t17753
t17755
t17756
t17757
t17758
t17759
t17760
t17761
t17762
t17763
t17764
t17765
t17766
t17767
t17768
t17769
t17770
t17771
t17772
t17773
t17774
t17775
t17776
t17777
t17778
t17779
t17780
t17781
t17782
t17783
t17784
t17785
t17786
t17787
t17788
t17789
t17790
t17791
t17792
t17793
t17794
t17795
t17796
t17797
t17798
t17799
t17800
t17801
t17802
t17803
t17804
t17805
t17806
t17807
t17808
t17809
t17811
t17812
t17813
t17814
t17815
t17816
t17817
t17818
t17819
t17820
t17821
t17822
t17823
t17824
t17825
t17826
t17827
t17828
t17829
t17830
t17831
t17832
t17833
t17834
t17835
t17836
t17837
t17838
t17839
t17840
t17841
t17842
t17843
t17844
t17845
t17846
t17847
t17848
t17849
t17850
t17851
t17852
t17853
t17854
t17855
t17856
t17857
t17858
t17859
t19233
t19234
t19235
t17861
t17862
t17863
t17864
t17865
t17866
t17867
t17868
t17869
t17870
t17871
t17872
t17873
t17874
t17875
t17876
t17877
t17878
t17879
t17880
t17881
t17882
t17883
t17884
t17885
t17886
t17887
t17888
t17889
t17890
t17891
t17892
t17893
t17895
t17896
t17897
t17898
t17899
t17900
t17901
t17902
t17903
t17904
t17905
t17906
t17907
t17908
t17909
t17910
t17911
t17912
t17913
t17914
t17915
t17916
t17917
t17918
t17919
t17920
t17921
t17922
t17923
t17924
t17925
t17926
t17927
t17928
t17929
t17930
t17931
t17932
t17933
t17934
t17935
t17936
t17937
t17938
t17939
t17940
t17941
t17942
t17943
t17944
t17945
t17946
t17947
t17948
t17949
t17950
t17951
t17952
t17953
t17954
t17955
t17956
t17957
t17958
t17959
t17960
t17961
t17962
t17963
t17964
t17965
t17966
t17967
t17968
t17969
t17970
t17971
t17972
t17973
t17974
t17975
t17976
t17977
t17978
t17979
t17980
t17981
t17982
t17983
t17984
t17985
t17986
t17987
t17988
t17989
t17990
t17991
t17992
t17993
t17994
t17995
t17996
t17997
t17998
t17999
t18000
t18001
t18002
t18003
t18004
t18005
t18006
t18007
t18008
t18009
t18010
t18011
t18012
t18013
t18014
t18015
t18016
t18017
t18018
t18019
t18020
t18021
t18022
t18023
t18024
t18025
t18026
t18027
t18028
t18029
t18030
t18031
t18032
t18033
t18034
t18035
t18036
t18037
t18038
t18039
t18040
t18041
t18042
t18043
t18044
t18045
t18046
t18047
t18048
t18049
t18050
t18051
t18052
t18053
t18054
t18055
t18056
t18057
t18058
t18059
t18060
t18061
t18062
t18063
t18064
t18065
t18066
t18067
t18068
t18069
t18070
t18071
t18072
t18073
t18074
t18075
t18076
t18077
t18082
t18083
t18084
t18085
t18086
t18087
t18088
t18089
t18090
t18091
t18092
t18093
t18094
t18095
t18096
t18097
t18098
t18099
t18100
t18101
t18102
t18103
t18106
t18107
t18108
t18109
t18110
t18111
t18112
t18113
t18114
t18115
t18116
t18117
t18118
t18119
t18120
t18121
t18122
t18123
t18124
t18125
t18126
t18127
t18128
t18129
t18130
t18131
t18132
t18133
t18134
t18135
t18136
t18137
t18138
t18139
t18140
t18141
t18142
t18143
t18144
t18145
t18146
t18147
t18148
t18149
t18150
t18151
t18152
t18153
t18154
t18155
t18156
t18157
t18158
t18159
t18160
t18161
t18162
t18163
t18164
t18165
t18166
t18167
t18168
t18169
t18170
t18171
t18172
t18173
t18174
t18175
t18176
t18177
t18178
t18179
t18180
t18181
t18182
t18183
t18184
t18185
t18186
t18187
t18188
t18189
t18190
t18191
t18192
t18193
t18194
t18195
t18196
t18197
t18198
t18199
t18200
t18201
t18202
t18203
t18204
t18205
t18206
t18207
t18208
t18209
t18210
t18211
t18212
t18213
t18214
t18215
t18216
t18217
t18218
t18219
t18220
t18221
t18222
t18223
t18224
t18225
t18226
t18227
t18228
t18229
t18230
t18231
t18232
t18233
t18234
t18235
t18236
t18237
t18238
t18239
t18240
t18241
t18242
t18243
t18244
t18245
t18246
t18247
t18248
t18249
t18251
t18252
t18253
t18254
t18255
t18256
t18257
t18258
t18259
t18260
t18261
t18262
t18263
t18264
t18265
t18266
t18267
t18268
t18269
t18270
t18271
t18272
t18273
t18274
t18275
t18276
t18277
t18278
t18279
t18280
t18281
t18282
t18283
t18284
t18285
t18286
t18287
t18288
t18289
t18290
t18291
t18292
t18293
t18294
t18295
t18296
t18297
t18298
t18299
t18300
t18301
t18302
t18303
t18304
t18305
t18306
t18307
t23108
t23110
t23111
t19300
t18310
t18311
t18312
t18313
t18314
t18315
t18316
t18317
t18318
t18319
t18320
t18321
t18322
t18323
t18324
t18325
t18326
t18327
t18328
t18329
t18330
t18331
t18332
t18333
t18334
t18335
t18336
t18337
t18338
t18339
t18340
t18341
t18342
t18343
t18344
t18345
t18346
t18347
t18348
t18349
t18350
t18351
t18352
t18353
t18354
t18355
t18356
t18357
t18358
t18359
t18360
t18361
t18362
t18363
t18364
t18365
t18366
t18367
t18368
t18369
t18370
t18371
t18372
t18373
t18374
t18375
t18378
t18381
t18382
t18383
t18384
t18385
t18386
t18387
t18388
t18389
t18390
t18391
t18392
t18393
t18394
t18395
t18396
t18397
t18398
t18399
t18400
t18401
t18402
t18403
t18404
t18405
t18406
t18407
t18408
t18409
t18410
t18411
t18412
t18413
t18414
t18415
t18416
t18417
t18418
t18419
t18420
t18424
t18425
t18426
t18427
t18428
t18429
t18430
t18431
t18432
t18433
t18434
t18435
t18436
t18437
t18438
t18439
t18440
t18441
t18442
t18443
t18444
t18445
t18446
t18447
t18448
t18449
t18450
t18451
t18452
t18453
t18454
t18455
t18456
t18457
t18458
t18459
t18460
t18461
t18462
t18463
t18464
t18465
t18466
t18467
t19229
t19230
t18469
t18470
t18471
t18472
t18473
t18474
t18475
t18476
t18477
t18478
t18479
t18480
t18481
t18482
t18483
t18484
t18485
t18486
t18487
t18488
t18489
t18490
t18491
t18492
t18493
t18494
t18495
t18496
t18497
t18498
t18499
t18500
t18501
t18502
t18503
t18504
t18505
t18506
t18507
t18508
t18509
t18510
t18511
t18512
t18513
t18514
t18515
t18516
t18517
t18518
t18520
t18521
t18522
t18523
t18524
t18525
t18526
t18527
t18528
t18529
t18530
t18531
t18532
t18533
t18534
t18535
t18536
t18537
t18538
t18539
t18540
t18541
t18542
t18543
t18544
t18545
t18546
t18547
t18548
t18549
t18550
t18551
t18552
t18553
t18554
t18556
t18557
t18558
t18559
t18560
t18561
t18562
t18563
t18564
t18565
t18566
t18567
t18568
t18569
t18570
t18571
t18572
t18573
t18574
t18575
t18576
t18577
t18578
t18579
t18580
t18581
t18582
t18583
t18584
t18585
t18586
t18587
t18588
t18589
t18590
t18592
t18593
t18594
t18595
t18596
t18597
t18598
t18599
t18600
t18601
t18602
t18603
t18604
t18605
t18606
t18607
t18608
t18609
t18610
t18611
t18612
t18613
t18614
t18615
t18616
t18617
t18618
t18619
t18620
t18621
t18622
t18623
t18624
t18625
t18626
t18627
t18628
t18629
t18630
t18631
t18632
t18633
t18634
t18635
t18636
t18637
t18638
t18639
t18640
t18641
t18642
t18643
t18644
t18645
t18646
t18647
t18648
t18649
t18650
t18651
t18652
t18653
t18654
t18655
t18656
t18657
t18658
t18659
t18660
t18661
t18662
t18663
t18664
t18665
t18666
t18667
t18668
t18669
t18670
t18671
t18672
t18673
t18674
t18675
t18676
t18677
t18678
t18680
t18681
t18682
t18683
t18684
t18685
t18686
t18687
t18688
t18689
t18690
t18691
t18692
t18693
t18694
t18695
t18696
t18697
t18698
t18699
t18700
t18701
t18702
t18703
t18704
t18705
t18706
t18707
t18708
t18709
t18710
t18711
t18712
t18713
t18714
t18715
t18716
t18717
t18718
t18719
t18720
t18721
t18722
t18723
t18724
t18725
t18726
t18727
t18728
t18729
t18730
t18731
t18732
t18733
t18734
t18735
t18736
t18737
t18738
t18739
t18740
t18741
t18742
t18743
t18744
t18745
t18746
t18747
t18748
t18749
t18750
t18751
t18752
t18753
t18754
t18755
t18756
t18757
t18758
t18759
t18760
t18761
t18762
t18763
t18764
t18765
t18766
t18768
t18769
t18770
t18771
t18772
t18773
t18774
t18775
t18776
t18777
t18778
t18779
t18780
t18781
t18782
t18783
t18784
t18785
t18786
t18787
t18788
t18789
t18790
t18791
t18792
t18793
t18794
t18795
t18796
t18797
t18798
t18799
t18800
t18801
t18802
t18803
t18804
t18805
t18806
t18807
t18808
t18809
t18810
t18811
t18812
t18813
t18814
t18815
t18816
t18817
t18818
t18819
t18820
t18821
t18822
t18823
t18824
t18825
t18826
t18827
t18828
t18829
t18830
t18831
t18832
t18833
t18834
t18835
t18836
t18837
t18838
t18839
t18840
t18841
t18842
t18843
t18844
t18845
t18846
t18847
t18848
t18849
t18850
t18853
t18854
t18855
t18856
t18857
t18858
t18859
t18860
t18861
t18862
t18863
t18864
t18865
t18866
t18867
t18868
t18869
t18870
t18871
t18872
t18873
t21097
t21098
t21099
t18875
t18876
t18877
t18878
t18879
t18880
t18881
t18882
t18883
t18884
t18885
t18886
t18887
t18888
t18889
t18890
t18891
t18892
t18893
t18894
t18895
t18896
t18897
t18898
t18899
t18900
t18901
t18902
t18903
t18904
t18905
t18906
t18907
t18908
t18909
t18910
t18911
t18912
t18913
t18914
t18915
t18916
t18917
t18918
t18919
t18920
t18921
t18922
t18923
t18924
t18925
t18926
t18927
t18928
t18937
t18938
t18939
t18940
t18941
t18942
t18943
t18944
t18945
t18946
t18947
t18948
t18949
t18950
t18951
t18952
t18953
t18954
t18955
t18956
t18957
t18958
t18959
t18960
t18961
t18962
t18963
t18964
t18965
t18966
t18967
t18968
t18969
t18970
t18971
t18972
t18973
t18974
t18975
t18976
t18977
t18978
t18979
t18980
t18981
t18984
t18985
t18986
t18987
t18988
t18989
t18990
t18991
t18992
t18993
t18994
t18995
t18996
t18997
t18998
t18999
t19000
t19976
t19977
t19978
t19003
t19006
t19007
t19008
t19009
t19010
t19011
t19012
t19013
t19014
t19015
t19016
t19017
t19018
t19019
t19020
t19021
t19022
t19023
t19024
t19025
t19026
t19027
t19028
t19030
t19031
t19032
t19033
t19034
t19035
t19036
t19037
t19038
t19039
t19040
t19041
t19042
t19043
t19044
t19045
t19046
t19047
t19048
t19049
t19050
t19051
t19052
t19053
t19054
t19055
t19056
t19057
t19058
t19059
t19060
t19061
t19062
t19063
t19064
t19065
t19066
t19067
t19068
t19069
t19070
t19071
t19072
t19073
t19074
t19075
t19076
t19077
t19078
t19079
t19080
t19081
t19082
t19083
t19084
t19085
t19086
t19087
t19088
t19089
t19090
t19091
t19092
t19093
t19094
t19095
t19096
t19097
t19098
t19099
t19100
t19101
t19102
t19103
t19104
t19105
t19106
t19107
t19108
t19109
t19110
t19111
t19112
t19113
t19114
t19115
t19116
t19117
t19118
t19119
t19120
t19121
t19122
t19123
t19124
t19125
t19126
t19127
t19128
t19129
t19130
t19131
t19132
t19133
t19134
t19135
t19136
t19137
t19138
t19139
t19140
t19141
t19142
t19143
t19144
t19145
t19146
t19147
t19148
t19149
t19150
t19151
t19152
t19153
t19159
t19160
t19161
t19162
t19163
t19164
t19165
t19166
t19167
t19168
t19169
t19170
t19176
t19183
t19184
t19185
t19186
t19187
t19188
t19189
t19190
t19191
t19192
t19193
t19194
t19195
t19196
t19197
t19198
t19199
t19200
t19201
t19202
t19203
t19204
t19205
t19206
t19207
t19208
t19209
t19210
t19211
t19212
t19213
t19214
t19215
t19216
t19217
t19218
t19219
t19231
t19232
t19236
t19237
t19238
t19239
t19240
t19241
t19242
t19243
t19244
t19245
t19246
t19247
t19248
t19249
t19250
t19251
t19252
t19253
t19254
t19255
t19256
t19257
t19258
t19260
t19261
t19262
t19263
t19264
t19265
t19266
t19267
t19268
t19269
t19270
t19271
t19272
t19273
t19274
t19275
t19287
t19288
t19289
t19290
t19291
t19292
t19293
t19294
t19295
t19296
t19297
t19298
t19299
t23364
t23365
t23366
t19301
t19302
t19303
t19304
t19305
t19306
t19307
t19308
t19309
t19310
t19311
t19312
t19313
t19314
t19315
t19316
t19317
t19318
t19319
t19320
t19321
t19322
t19323
t19324
t19325
t19326
t19327
t19328
t19329
t19330
t19331
t19332
t19333
t19334
t19335
t19336
t19337
t19338
t19339
t19340
t19341
t19342
t19343
t19344
t19345
t19346
t19347
t19923
t19348
t19349
t19350
t19351
t19352
t19353
t19354
t19355
t19356
t19357
t19358
t19359
t19360
t19361
t19362
t19363
t19364
t19365
t19366
t19367
t19368
t19369
t19370
t19371
t19372
t19373
t19374
t19375
t19376
t19377
t19378
t19379
t19380
t19381
t19382
t19383
t19384
t19385
t19386
t19387
t19388
t19389
t19390
t19391
t19392
t19393
t19394
t19395
t19396
t19397
t19398
t19399
t19400
t19401
t19402
t19403
t19404
t19405
t19406
t19407
t19408
t19409
t19410
t19411
t19412
t19413
t19414
t19415
t19416
t19417
t19418
t19419
t19420
t19421
t19422
t19423
t19424
t19425
t19426
t19427
t19428
t19429
t19430
t19431
t19432
t19433
t19434
t19435
t19436
t19437
t19438
t19439
t19440
t19441
t19442
t19443
t19444
t19445
t19446
t19824
t19449
t19450
t19451
t19452
t19830
t19455
t19456
t19865
t19866
t19457
t19458
t19459
t19460
t19461
t19462
t19463
t19464
t19465
t19466
t19467
t19468
t19469
t19470
t19471
t19472
t19473
t19474
t19475
t19883
t19884
t19477
t20354
t19478
t19479
t19867
t19480
t19481
t19482
t19483
t19484
t19485
t19486
t19487
t19488
t19489
t19490
t19491
t19492
t19493
t19494
t19495
t19885
t19886
t19496
t19497
t19498
t19499
t19500
t19501
t19502
t19503
t19504
t19505
t19506
t19507
t19508
t19509
t19510
t19511
t19512
t19513
t19514
t19515
t19516
t19517
t19518
t19519
t19520
t19521
t19522
t19523
t19524
t19525
t19526
t19527
t19528
t19529
t19530
t19531
t19532
t19533
t19534
t19535
t19536
t19537
t19538
t19539
t19540
t19541
t19542
t19543
t19544
t19545
t19546
t19547
t19548
t19549
t19550
t19551
t19552
t19553
t19554
t19555
t19556
t19557
t19558
t19559
t19560
t19561
t19562
t19563
t19564
t19565
t19566
t19567
t20365
t19568
t19569
t19570
t19571
t19572
t19573
t19574
t19575
t19576
t19577
t19578
t19579
t19580
t19581
t19582
t19583
t19584
t19585
t19586
t19587
t19588
t19589
t19590
t19591
t19592
t19593
t19594
t19595
t19596
t19597
t19598
t19599
t19600
t19601
t19602
t19603
t19604
t19605
t19606
t19607
t19608
t19609
t19610
t19611
t19612
t19613
t19614
t19615
t19616
t19617
t19618
t19619
t19620
t19621
t19622
t20357
t20358
t20359
t19625
t19626
t19627
t19628
t19629
t19630
t19631
t19632
t19633
t19634
t19635
t19636
t19637
t19638
t19639
t19640
t19641
t19642
t19643
t19644
t19645
t19646
t19647
t19648
t19649
t19650
t19651
t19652
t19653
t19654
t19655
t19656
t19657
t19658
t19659
t19660
t19661
t19662
t19663
t19664
t19665
t19666
t19667
t19668
t19669
t19670
t19671
t19672
t19673
t19674
t19675
t19676
t19677
t19678
t19679
t19680
t19681
t19682
t19683
t19684
t19685
t19686
t19687
t19688
t19689
t19690
t19691
t19692
t19693
t19694
t19695
t19696
t19697
t19698
t19699
t19700
t19701
t19702
t19703
t19704
t19705
t19706
t19707
t19708
t19709
t19710
t19711
t19712
t19713
t19714
t19715
t19716
t19717
t19718
t19719
t19720
t19721
t19722
t19723
t19724
t19725
t19726
t19727
t19728
t19729
t19730
t19731
t19732
t19733
t19734
t19735
t19736
t19737
t19738
t20213
t19739
t19740
t19741
t19742
t19743
t19744
t19745
t19746
t19747
t19748
t19749
t19750
t19751
t19752
t19753
t19754
t19755
t19756
t19757
t19758
t19759
t19760
t19761
t19762
t19763
t19764
t19765
t19766
t19767
t19768
t19769
t19770
t19771
t19772
t19773
t19774
t19775
t19776
t19777
t19778
t19779
t19780
t19781
t19782
t19783
t21394
t21395
t21396
t21397
t21398
t21399
t19787
t19788
t19789
t19790
t19791
t19792
t19793
t19794
t19795
t19796
t19797
t19798
t19799
t19800
t19801
t19802
t19803
t19804
t19805
t19806
t19807
t19808
t19809
t19810
t19811
t19812
t19813
t19814
t19815
t19816
t19817
t19818
t19819
t19820
t19821
t19822
t19823
t21261
t21262
t21263
t19825
t19826
t19827
t19828
t19829
t21267
t21268
t21269
t19831
t19832
t19833
t19834
t19835
t19836
t19837
t19838
t19839
t19840
t19841
t19842
t19843
t19844
t19845
t19846
t19847
t22082
t22083
t22084
t22085
t22086
t22087
t21453
t21454
t21455
t21456
t21457
t21400
t21401
t21402
t20024
t20025
t20026
t20027
t20028
t20029
t20030
t20031
t20032
t20033
t20034
t20035
t20036
t20037
t20038
t20039
t20040
t20041
t20042
t20043
t20044
t20045
t20046
t20047
t20048
t20049
t20050
t20051
t20052
t20053
t20054
t20055
t20056
t20057
t20058
t20059
t20060
t20061
t20062
t20063
t20808
t20064
t20065
t20066
t20067
t20068
t20069
t20070
t20071
t20072
t20073
t20074
t20075
t20076
t20077
t20078
t20079
t20080
t20081
t20082
t20083
t20084
t20085
t20086
t20087
t20088
t20089
t20090
t20091
t20092
t20093
t20094
t20095
t20096
t20097
t20098
t20099
t20100
t20101
t20102
t20103
t20104
t20105
t20106
t20107
t20108
t20109
t20110
t20111
t20112
t20113
t20114
t20115
t20116
t20117
t20118
t20119
t20120
t20121
t20122
t20123
t20124
t20125
t20126
t20127
t20128
t20129
t20130
t20131
t20132
t20133
t20134
t20135
t20136
t20137
t20138
t20139
t20140
t20141
t20142
t20143
t20144
t20145
t20146
t20147
t20148
t20149
t20150
t20151
t20152
t20153
t20154
t20155
t20156
t20157
t20158
t20159
t20160
t20161
t20162
t20163
t20164
t20165
t20166
t20167
t20168
t20169
t20170
t20171
t20172
t20173
t20174
t20175
t20176
t20177
t20178
t20179
t20180
t20181
t20182
t20183
t20184
t20185
t20186
t20187
t20188
t20189
t20190
t20191
t20192
t20193
t20194
t20195
t20196
t20197
t20198
t20199
t20200
t20201
t20202
t20203
t20204
t20205
t20206
t20207
t20208
t20209
t20210
t20211
t20212
t20893
t20214
t20215
t20216
t20217
t20218
t20219
t20220
t20221
t20222
t20223
t20224
t20225
t20226
t20227
t20228
t20229
t20230
t20231
t20232
t20233
t20234
t20235
t20236
t20237
t20238
t20239
t20240
t20241
t20242
t20243
t20244
t20245
t20246
t20247
t20248
t20249
t20250
t20251
t20252
t20253
t20254
t20255
t20256
t20257
t20258
t20259
t20260
t20261
t20262
t20263
t20264
t20265
t20266
t20267
t20268
t20269
t20270
t20271
t20272
t20273
t20274
t20275
t20276
t20277
t20278
t20279
t20280
t20281
t20282
t20283
t20284
t20285
t20286
t20287
t20288
t20289
t20290
t20291
t20292
t20293
t20294
t20295
t20296
t20297
t20298
t20299
t20300
t20301
t20302
t20303
t20304
t20305
t20306
t20307
t20308
t20309
t20310
t20311
t20312
t20313
t20314
t20315
t20316
t20317
t20318
t20319
t20320
t20321
t20322
t20323
t20324
t20325
t20326
t20327
t20328
t20329
t20330
t20331
t20332
t20333
t20334
t20335
t20336
t20337
t20338
t20339
t20340
t20341
t20342
t20343
t20344
t20345
t20346
t20347
t20348
t20349
t20350
t20351
t20352
t20353
t21719
t21720
t20355
t20356
t22104
t22105
t22106
t24084
t22108
t20360
t20361
t20362
t20363
t20364
t24081
t24082
t24083
t20366
t20367
t20368
t20369
t20370
t20371
t20372
t20373
t20374
t20375
t20376
t20377
t20378
t20379
t20380
t20381
t20382
t20383
t20384
t20385
t20386
t20387
t20388
t20389
t20390
t20391
t20392
t20393
t20394
t20395
t20396
t20397
t20398
t20399
t20400
t20401
t20402
t20403
t20404
t20405
t20406
t20407
t20408
t20409
t20410
t20411
t20412
t20413
t20414
t20415
t20416
t20417
t20418
t20419
t20420
t20421
t20422
t20423
t20424
t20425
t20426
t20427
t20428
t20429
t20430
t20431
t20432
t20433
t20434
t20435
t20436
t20437
t20679
t20438
t20439
t20440
t20441
t20442
t20443
t20444
t20445
t20446
t20447
t20448
t20449
t20450
t20451
t20452
t20453
t20454
t20455
t20456
t20457
t20458
t20459
t20460
t20461
t20462
t20463
t20464
t20465
t20466
t20467
t20468
t20469
t20470
t20471
t20472
t20473
t20474
t20475
t20476
t20477
t20478
t20479
t20480
t20481
t20482
t20483
t20484
t20485
t20486
t20487
t20488
t20489
t20490
t20491
t20492
t20493
t20494
t20495
t20496
t20497
t20498
t20499
t20500
t20501
t20502
t20503
t20504
t20505
t20506
t20507
t20508
t20509
t20510
t20511
t20512
t20513
t20514
t20515
t20516
t20517
t20518
t20519
t20520
t20521
t20522
t20523
t20524
t20525
t20526
t20527
t20528
t20529
t20530
t20531
t20532
t20533
t20534
t20535
t20536
t20537
t20538
t20539
t20540
t20541
t20542
t20543
t20544
t20545
t20546
t20547
t20548
t20549
t20550
t20551
t20552
t20553
t20554
t20555
t20556
t20557
t20558
t20559
t20560
t20561
t20562
t20563
t20564
t20565
t20566
t20567
t20568
t20569
t20570
t20571
t20572
t20573
t20574
t20575
t22878
t20577
t20578
t20579
t20580
t20581
t20582
t20583
t20584
t20585
t20586
t20587
t20588
t20589
t20590
t20591
t20592
t20593
t20594
t20595
t20596
t20597
t20598
t20599
t20600
t20601
t20602
t20603
t20604
t20605
t20606
t20607
t20608
t20609
t20610
t20611
t20612
t20613
t20614
t20615
t20616
t20617
t20618
t20619
t20620
t20621
t20622
t20623
t20624
t20625
t20626
t20627
t20628
t20629
t20630
t20631
t20632
t20633
t20634
t20635
t22984
t22985
t22986
t22987
t22988
t22989
t22939
t20640
t20641
t20642
t20643
t20644
t20645
t20646
t20647
t20648
t20649
t20650
t20651
t20652
t20653
t20654
t20655
t20656
t20657
t20658
t20659
t20660
t20661
t20662
t20663
t20664
t22806
t22807
t22808
t22361
t22362
t22363
t20668
t20669
t20670
t22812
t22813
t22814
t20673
t20674
t20675
t20676
t20677
t20678
t21728
t20680
t20681
t20682
t20683
t20684
t20685
t20686
t20687
t20688
t20689
t20690
t20691
t20692
t20693
t20694
t21986
t20696
t20697
t20698
t20699
t20700
t22385
t22386
t22387
t22388
t21996
t20705
t20706
t20707
t20708
t20709
t20710
t20711
t20712
t20713
t20714
t20715
t20716
t20717
t20718
t20719
t20720
t20721
t20722
t20723
t20724
t20725
t20726
t20727
t20728
t20729
t20730
t20731
t20732
t20733
t20734
t22020
t20736
t20737
t20738
t20739
t20740
t20741
t20742
t20743
t20744
t20745
t20746
t20747
t20748
t20749
t20750
t20751
t20752
t20753
t20754
t20755
t20756
t20757
t20758
t20759
t20760
t20761
t20762
t20763
t20764
t20765
t23109
t20766
t20767
t20768
t20769
t20770
t20771
t20772
t20773
t20774
t20775
t20776
t20777
t20778
t20779
t20780
t20781
t20782
t20783
t20784
t20785
t20786
t20787
t20788
t20789
t20790
t20791
t20792
t20793
t20794
t20795
t20796
t20797
t20798
t20799
t20800
t20801
t20802
t20803
t20804
t20805
t20806
t20807
t22068
t20809
t20810
t20811
t20812
t20813
t20814
t20815
t20816
t20817
t20818
t20819
t20820
t20821
t20822
t20823
t20824
t20825
t20826
t20827
t20828
t20829
t20830
t20831
t20832
t20833
t20834
t20835
t20836
t20837
t20838
t20839
t20840
t20841
t20842
t20843
t20844
t20845
t20846
t20847
t20848
t20849
t20850
t20851
t23698
t23699
t20853
t20854
t20855
t20856
t20857
t20858
t20859
t20860
t20861
t20862
t20863
t22578
t20864
t20865
t20866
t20867
t20868
t20869
t20870
t20871
t20872
t20873
t20874
t20875
t20876
t20877
t20878
t20879
t20880
t20881
t20882
t20883
t20884
t20885
t20886
t20887
t20888
t20889
t20890
t20891
t20892
t22107
t20894
t20895
t20896
t20897
t20898
t20899
t20900
t20901
t20902
t20903
t20904
t20905
t20906
t20907
t20908
t20909
t20910
t20911
t20912
t20913
t20914
t20915
t20916
t20917
t20918
t20919
t20920
t20921
t20922
t20923
t20924
t20925
t20926
t20927
t20928
t20929
t20930
t20931
t20932
t20933
t20934
t20935
t20936
t20937
t20938
t20939
t20940
t20941
t20942
t20943
t20944
t20945
t20946
t20947
t20948
t20949
t20950
t20951
t20952
t20953
t20954
t20955
t20956
t20957
t20958
t20959
t20960
t20961
t20962
t20963
t20964
t20965
t20966
t20967
t20968
t24072
t24073
t24074
t24075
t24076
t24077
t20972
t20973
t20974
t20975
t20976
t20977
t20978
t20979
t20980
t20981
t20982
t20983
t20984
t20985
t20986
t20987
t25132
t25133
t25134
t20990
t20991
t20992
t20993
t20994
t20995
t20996
t20997
t20998
t20999
t21000
t21001
t21002
t21003
t21004
t21005
t21006
t25142
t25143
t25144
t21009
t21010
t21011
t21012
t21013
t21014
t21015
t21016
t21017
t21018
t21019
t21020
t21021
t21022
t21023
t21024
t21025
t21026
t21027
t21028
t21029
t21030
t21031
t21032
t21033
t21034
t21035
t21036
t21037
t21038
t21039
t21040
t21041
t21042
t21043
t21044
t21045
t21046
t21047
t21048
t21049
t21050
t21051
t21052
t21053
t21054
t21055
t21056
t21057
t21058
t21059
t21060
t21061
t21062
t21063
t21064
t21065
t21066
t21067
t21068
t21069
t21070
t21071
t21072
t21073
t21074
t21075
t21076
t21077
t21078
t21079
t21080
t21081
t21082
t21083
t21084
t21085
t21086
t21087
t21088
t21089
t21090
t21091
t21092
t21093
t21094
t21095
t21096
t24200
t24201
t24202
t24203
t24204
t24205
t21100
t21101
t21102
t21103
t21104
t21105
t21106
t21107
t21108
t21109
t21110
t21111
t21112
t21113
t21114
t21115
t21116
t21117
t21118
t21119
t21120
t21121
t21122
t22970
t22971
t22972
t21125
t21126
t21127
t21128
t21129
t21130
t21131
t21132
t21133
t21134
t21135
t21136
t21137
t21138
t21139
t21140
t21141
t21142
t21143
t21144
t21145
t21146
t21147
t21148
t21149
t21150
t21151
t21152
t21153
t21154
t21155
t21156
t21157
t21158
t21159
t21160
t21161
t21162
t21163
t21164
t21165
t21166
t21167
t21168
t21169
t21170
t21171
t21172
t21173
t21174
t21175
t21176
t21177
t21178
t21179
t21180
t21181
t21182
t21183
t21184
t21185
t21186
t21187
t21188
t21189
t21190
t21191
t21192
t21193
t21194
t21195
t21196
t21197
t21198
t21199
t21200
t21201
t21202
t21203
t21204
t21205
t21206
t21207
t21208
t21209
t21210
t21211
t21212
t21213
t21214
t21215
t21216
t21217
t21218
t21219
t21220
t21221
t21222
t21223
t21224
t21225
t21226
t24462
t24463
t24464
t24465
t24466
t24467
t21230
t21231
t21232
t21233
t21234
t21235
t21236
t21237
t21238
t21239
t21240
t21241
t21242
t21243
t21244
t21245
t21246
t21247
t21248
t21249
t21250
t21251
t21252
t21253
t21254
t21255
t21256
t21257
t21258
t21259
t21260
t25660
t25661
t25662
t25663
t25664
t25665
t21264
t21265
t21266
t25666
t25667
t25668
t25669
t25670
t25671
t21270
t21271
t21272
t21273
t21274
t21275
t21276
t21277
t21278
t21279
t21280
t21281
t21282
t21283
t21284
t21285
t21286
t21287
t21288
t21289
t21290
t21291
t21292
t21293
t21294
t21295
t21296
t21297
t21298
t21299
t21300
t21301
t21302
t21303
t21304
t21305
t21306
t21307
t21308
t21309
t21310
t21311
t21312
t21313
t21314
t21315
t21316
t21317
t21318
t21319
t21320
t21321
t21322
t21323
t21324
t21325
t21326
t21327
t21328
t21329
t21330
t21331
t21332
t21333
t21334
t21335
t21336
t21337
t21338
t21339
t21340
t21683
t21684
t21685
t21686
t21687
t21688
t21689
t21690
t21691
t21692
t21693
t21694
t21695
t21696
t21697
t21698
t21699
t21700
t21701
t21702
t21703
t21704
t21705
t21706
t21707
t21708
t21709
t21710
t21711
t21712
t21713
t21714
t21715
t21716
t21717
t21718
t23799
t23800
t23801
t23802
t23803
t21721
t21722
t22267
t21723
t21724
t21725
t21726
t21727
t22303
t21729
t21730
t21731
t21732
t21733
t21734
t21735
t21736
t21737
t21738
t21739
t21740
t21741
t21742
t21743
t21744
t21745
t21746
t21747
t21748
t21749
t21750
t21751
t21752
t21753
t21754
t21755
t21756
t21757
t21758
t21759
t21760
t21761
t21762
t21763
t21764
t21765
t21766
t21767
t21768
t21769
t21770
t21771
t21772
t21773
t21774
t21775
t21776
t21777
t21778
t21779
t21780
t21781
t21782
t21783
t21784
t21785
t21786
t21787
t21788
t21789
t21790
t21791
t21792
t21793
t21794
t21795
t21796
t21797
t21798
t21799
t21800
t21801
t21802
t21803
t21804
t21805
t21806
t21807
t21808
t21809
t21810
t21811
t21812
t21813
t21814
t21815
t21816
t21817
t21818
t21819
t21820
t21821
t21822
t21823
t21824
t21825
t21826
t21827
t21828
t21829
t21830
t21831
t21832
t21833
t21834
t21835
t21836
t21837
t21838
t21839
t21840
t21841
t21842
t21843
t21844
t21845
t21846
t21847
t21848
t21849
t21850
t21851
t21852
t21853
t21854
t21855
t21856
t21857
t21858
t21859
t21860
t21861
t21862
t21863
t21864
t21865
t24452
t21866
t21867
t21868
t21869
t21870
t21871
t21872
t21873
t21874
t21875
t21876
t21877
t21878
t21879
t21880
t21881
t21882
t21883
t21884
t21885
t21886
t21887
t21888
t21889
t21890
t21891
t21892
t21893
t21894
t21895
t21896
t21897
t21898
t21899
t21900
t21901
t21902
t21903
t21904
t21905
t21906
t21907
t21908
t21909
t21910
t21911
t21912
t21913
t21914
t21915
t21916
t21917
t21918
t21919
t21920
t21921
t21922
t21923
t21924
t21925
t21926
t21927
t21928
t21929
t21930
t21931
t21932
t21933
t21934
t21935
t21936
t21937
t21938
t21939
t21940
t21941
t21942
t21943
t21944
t21945
t21946
t21947
t21948
t21949
t21950
t21951
t21952
t21953
t21954
t21955
t21956
t21957
t21958
t21959
t21960
t21961
t21962
t21963
t21964
t21965
t21966
t21967
t21968
t21969
t21970
t21971
t21972
t21973
t21974
t21975
t21976
t21977
t21978
t21979
t21980
t21981
t21982
t21983
t21984
t21985
t23978
t23979
t21987
t25805
t25806
t25807
t25808
t25809
t25810
t21991
t21992
t21993
t21994
t21995
t23985
t23986
t21997
t21998
t21999
t22000
t22001
t22002
t22003
t22004
t22005
t22006
t22007
t22008
t22009
t22010
t22011
t22012
t22013
t22014
t22015
t22016
t22017
t22018
t22019
t24008
t24009
t24010
t22021
t22022
t22023
t22024
t22025
t22026
t22027
t22028
t22029
t22030
t22031
t22032
t22033
t22034
t22035
t22036
t22037
t22038
t22039
t22040
t22041
t22042
t22043
t22044
t22045
t22046
t22047
t22048
t22049
t22050
t22051
t22052
t22053
t22054
t22055
t22056
t22057
t22058
t22059
t22060
t22061
t22062
t22063
t22064
t22065
t22066
t22067
t24044
t24045
t22069
t22070
t22071
t22072
t22073
t22074
t22075
t22076
t22077
t22078
t22079
t22080
t22081
t22088
t22089
t22090
t22091
t22092
t22093
t22094
t22095
t22096
t22097
t22098
t22099
t22100
t22101
t22102
t22103
t26498
t26499
t26500
t26501
t26502
t26503
t26504
t26505
t26506
t26507
t26508
t26509
t22109
t22110
t22111
t22112
t22113
t22114
t22115
t22116
t22117
t22118
t22119
t22120
t22121
t22122
t22123
t22124
t22125
t22126
t22127
t22128
t22129
t22130
t22131
t22132
t22133
t22134
t22135
t22136
t22137
t22138
t22139
t22140
t22141
t22142
t22143
t22144
t22145
t22146
t22147
t22148
t22149
t22150
t22151
t22152
t22153
t22154
t22155
t22156
t22157
t22158
t22159
t22160
t22161
t22162
t22163
t22164
t22165
t22166
t22167
t22168
t22169
t22170
t22171
t22172
t22173
t22174
t22175
t22176
t22177
t22178
t22179
t22180
t22181
t22182
t22183
t22184
t22185
t22186
t22187
t22188
t22189
t22190
t22191
t22192
t22193
t22194
t22195
t22196
t22197
t22198
t22199
t22200
t22201
t22202
t22203
t22204
t22205
t22206
t22207
t22208
t22209
t22210
t22211
t22212
t22213
t22214
t22215
t22216
t22217
t22218
t22219
t22220
t22221
t22222
t22223
t22224
t22225
t22226
t22227
t22228
t22229
t22230
t22231
t22232
t22233
t22234
t22235
t22236
t22237
t22238
t22239
t22240
t22241
t22242
t22243
t22244
t22245
t22246
t22247
t22248
t22249
t22250
t22251
t22252
t22253
t22254
t22255
t22256
t22257
t22258
t22259
t22260
t22261
t22262
t22263
t22264
t22265
t22266
t23774
t22268
t22269
t22270
t22271
t22272
t22273
t22274
t22275
t22276
t22277
t22278
t22279
t22280
t22281
t22282
t22283
t22284
t22285
t22286
t22287
t22288
t22289
t22290
t22291
t22292
t22293
t22294
t22295
t22296
t22297
t22298
t22299
t22300
t22301
t22302
t23788
t22304
t22305
t22306
t22307
t22308
t22309
t22310
t22311
t22312
t22313
t22314
t22315
t22316
t22317
t22318
t22319
t22320
t22321
t22322
t22323
t22324
t26567
t26568
t26569
t22327
t22328
t22329
t22330
t22331
t22332
t22333
t22334
t22335
t22336
t22337
t22338
t22339
t22340
t22341
t22342
t22343
t22344
t22345
t22346
t22347
t22348
t22349
t22350
t22351
t22352
t22353
t22354
t22355
t22356
t22357
t22358
t22359
t22360
t26651
t26652
t26653
t26654
t26655
t26656
t22364
t22365
t22366
t22367
t22368
t22369
t22370
t22371
t22372
t22373
t22374
t22375
t22376
t22377
t22378
t22379
t22380
t22381
t22382
t22383
t22384
t26780
t26781
t26782
t26783
t26784
t26785
t26786
t26787
t26788
t26789
t22389
t22390
t22391
t22392
t22393
t22394
t22395
t22396
t22397
t22398
t22399
t22400
t22401
t22402
t22403
t22404
t22405
t22406
t22407
t22408
t22409
t22410
t22411
t22412
t22413
t22414
t22415
t22416
t22417
t22418
t22419
t22420
t22421
t22422
t22423
t22424
t22425
t22426
t22427
t22428
t22429
t22430
t22431
t22432
t22433
t22434
t22435
t22436
t22437
t22438
t22439
t22440
t22441
t22442
t22443
t22444
t22445
t22446
t22447
t22448
t22449
t22450
t22451
t22452
t22453
t22454
t22455
t22456
t22457
t22458
t22459
t22460
t22461
t22462
t22463
t22464
t22465
t22466
t22467
t22468
t22469
t22470
t22471
t22472
t22473
t22474
t22475
t22476
t22477
t22478
t22479
t22480
t22481
t22482
t22483
t22484
t22485
t22486
t22487
t22488
t22489
t22490
t22491
t22492
t22493
t22494
t22495
t22496
t22497
t22498
t22499
t22500
t22501
t22502
t22503
t22504
t22505
t22506
t22507
t22508
t22509
t22510
t22511
t22512
t22513
t22514
t22515
t22516
t22517
t22518
t22519
t22520
t22521
t22522
t22523
t22524
t22525
t22526
t22527
t22528
t22529
t22530
t22531
t22532
t22533
t22534
t22535
t22536
t22537
t22538
t22539
t22540
t22541
t22542
t22543
t22544
t22545
t22546
t22547
t22548
t22549
t22550
t22551
t22552
t22553
t22554
t22555
t22556
t22557
t22558
t22559
t22560
t22561
t22562
t22563
t22564
t22565
t22566
t22567
t22568
t22569
t22570
t22571
t22572
t22573
t22574
t22575
t22576
t22577
t24638
t24639
t22579
t22580
t22581
t22582
t22583
t22584
t22585
t22586
t22587
t22588
t22589
t22590
t22591
t22592
t22593
t22594
t22595
t22596
t22597
t22598
t22599
t22600
t22601
t22602
t22603
t22604
t22605
t22606
t22607
t22608
t22609
t22610
t22611
t22612
t22613
t22614
t22615
t22616
t22617
t22618
t22619
t22620
t22621
t22622
t22623
t22624
t22625
t22626
t22627
t22628
t22629
t22630
t22631
t22632
t22633
t22634
t22635
t22636
t22637
t22638
t22639
t22640
t22641
t22642
t22643
t22644
t22645
t22646
t22647
t22648
t22649
t22650
t22651
t22652
t22653
t22654
t22655
t22656
t22657
t22658
t22659
t22660
t22661
t22662
t22663
t22664
t22665
t22666
t22667
t22668
t22669
t22670
t22671
t22672
t22673
t22674
t22675
t22676
t22677
t22678
t22679
t22680
t22681
t22682
t22683
t22684
t22685
t22686
t22687
t22688
t22689
t22690
t22691
t22692
t22693
t22694
t22695
t22696
t22697
t22698
t22699
t22700
t22701
t22702
t22703
t22704
t22705
t22706
t22707
t22708
t22709
t22710
t22711
t22712
t22713
t22714
t22715
t22716
t22717
t22718
t22719
t22720
t22721
t22722
t22723
t22724
t22725
t22726
t22727
t22728
t22729
t22730
t22731
t22732
t22733
t22734
t22735
t22736
t22737
t22738
t22739
t22740
t22741
t22742
t22743
t22744
t22745
t22746
t22747
t22748
t22749
t22750
t22751
t22752
t22753
t22754
t22755
t22756
t22757
t22758
t22759
t22760
t22761
t22762
t22763
t22764
t22765
t22766
t22767
t22768
t22769
t22770
t22771
t22772
t22773
t22774
t22775
t22776
t22777
t22778
t22779
t22780
t22781
t22782
t22783
t22784
t22785
t22786
t22787
t22788
t22789
t22790
t22791
t22792
t22793
t22794
t22795
t22796
t22797
t22798
t22799
t22800
t22801
t22802
t22803
t22804
t22805
t26681
t26682
t26683
t26684
t26685
t26686
t22809
t22810
t22811
t26687
t26688
t26689
t26690
t26691
t26692
t22815
t22816
t22817
t22818
t22819
t22820
t22821
t22822
t22823
t22824
t22825
t22826
t22827
t22828
t22829
t22830
t22831
t22832
t22833
t22834
t22835
t22836
t22837
t22838
t22839
t22840
t22841
t22842
t22843
t22844
t22845
t22846
t22847
t22848
t22849
t22850
t22851
t22852
t22853
t22854
t22855
t22856
t22857
t22858
t22859
t22860
t22861
t22862
t22863
t22864
t22865
t22866
t22867
t22868
t22869
t22870
t22871
t22872
t22873
t22874
t22875
t22876
t22877
t26437
t26438
t26439
t22879
t22880
t22881
t22882
t22883
t22884
t22885
t22886
t22887
t22888
t22889
t22890
t22891
t22892
t22893
t22894
t22895
t22896
t22897
t22898
t22899
t22900
t22901
t22902
t22903
t22904
t22905
t22906
t22907
t22908
t22909
t22910
t22911
t22912
t22913
t22914
t22915
t22916
t22917
t22918
t22919
t22920
t22921
t22922
t22923
t22924
t22925
t22926
t22927
t22928
t22929
t22930
t22931
t22932
t22933
t22934
t22935
t22936
t22937
t22938
t26492
t26493
t26494
t22940
t22941
t22942
t22943
t22944
t22945
t22946
t22947
t22948
t22949
t22950
t22951
t22952
t22953
t22954
t22955
t22956
t22957
t22958
t22959
t22960
t22961
t22962
t22963
t22964
t22965
t22966
t22967
t22968
t22969
t26959
t26960
t26961
t26962
t26963
t26964
t22973
t22974
t22975
t22976
t22977
t22978
t22979
t22980
t22981
t22982
t22983
t26640
t26641
t26642
t26643
t26644
t26645
t26646
t26647
t26648
t26649
t26650
t22990
t22991
t22992
t22993
t22994
t22995
t22996
t22997
t22998
t22999
t23000
t23001
t23002
t23003
t23004
t23005
t23006
t23007
t23008
t23009
t23010
t23011
t23012
t23013
t23014
t23015
t23016
t23017
t23018
t23019
t23020
t23021
t23022
t23023
t23024
t23025
t23026
t23027
t23028
t23029
t23030
t23031
t23032
t23033
t23034
t23035
t23036
t23037
t23038
t23039
t23040
t23041
t23042
t23043
t23044
t23045
t23046
t23047
t23048
t23049
t23050
t23051
t23052
t23053
t23054
t23055
t23056
t23057
t23058
t23059
t23060
t23061
t23062
t23063
t23064
t23065
t23066
t23067
t23068
t23069
t23070
t23071
t23072
t23073
t23074
t23075
t23076
t23077
t23078
t23079
t23080
t23081
t23082
t23083
t23084
t23085
t23086
t23087
t23088
t23089
t23090
t23091
t23092
t23093
t23094
t23095
t23096
t23097
t23098
t23099
t23100
t23101
t23102
t23103
t23104
t23105
t23106
t23107
t26211
t26212
t26213
t26214
t26215
t26216
t26578
t26579
t26580
t23112
t23113
t23114
t23115
t23116
t23117
t23118
t23119
t23120
t23121
t23122
t23123
t23124
t23125
t23126
t23127
t23128
t23129
t23130
t23131
t23132
t23133
t23134
t23135
t23136
t23137
t23138
t23139
t23140
t23141
t23142
t23143
t23144
t23145
t23146
t23147
t23148
t23149
t23150
t23151
t23152
t23153
t23154
t23155
t23156
t23157
t23158
t23159
t23160
t23161
t23162
t23163
t23164
t23165
t23166
t23167
t23168
t23169
t23170
t23171
t23172
t23173
t23174
t23175
t23176
t23177
t23178
t23179
t23180
t23181
t23182
t23183
t23184
t23185
t23186
t23187
t23188
t23189
t23190
t23191
t23192
t23193
t23194
t23195
t23196
t23197
t23198
t23199
t23200
t23201
t23202
t23203
t23204
t23205
t23206
t23207
t23208
t23209
t23210
t23211
t23212
t23213
t23214
t23215
t23216
t23217
t23218
t23219
t23220
t23221
t23222
t23223
t23224
t23225
t23226
t23227
t23228
t23229
t23230
t23231
t23232
t23233
t23234
t23235
t23236
t23237
t23238
t23239
t23240
t23241
t23242
t23243
t23244
t23245
t23246
t23247
t23248
t23249
t23250
t23251
t23252
t23253
t23254
t23255
t23256
t23257
t23258
t23259
t23260
t23261
t23262
t23263
t23264
t23265
t23266
t23267
t23268
t23269
t23270
t23271
t23272
t23273
t23274
t23275
t23276
t23277
t23278
t23279
t23280
t23281
t23282
t23283
t23284
t23285
t23286
t23287
t23288
t23289
t23290
t23291
t23292
t23293
t23294
t23295
t23296
t23297
t23298
t23299
t23300
t23301
t23302
t23303
t23304
t23305
t23306
t23307
t23308
t23309
t23310
t23311
t23312
t23313
t23314
t23315
t23316
t23317
t23318
t23319
t23320
t23321
t23322
t23323
t23324
t23325
t23326
t23327
t23328
t23329
t23330
t23331
t23332
t23333
t23334
t23335
t23336
t23337
t23338
t23339
t23340
t23341
t23342
t23343
t23344
t23345
t23346
t23347
t23348
t23349
t23350
t23351
t23352
t23353
t23354
t23355
t23356
t23357
t23358
t23359
t23360
t23361
t23362
t23363
t26852
t26853
t26854
t26855
t26856
t26857
t23367
t23368
t23369
t23370
t23371
t23372
t23373
t23374
t23375
t23376
t23377
t23378
t23379
t23380
t23381
t23382
t23383
t23384
t23385
t23386
t23387
t23388
t23389
t23390
t23391
t23392
t23393
t23394
t23395
t23396
t23397
t23398
t23399
t23400
t23401
t23402
t23403
t23404
t23405
t23406
t23407
t23408
t23409
t23410
t23411
t23412
t23413
t23414
t23415
t23416
t23417
t23418
t23419
t23420
t23421
t23422
t23423
t23424
t23425
t23426
t23427
t23428
t23429
t23430
t23431
t23432
t23433
t23434
t23435
t23436
t23437
t23438
t23439
t23440
t23441
t23442
t23443
t23444
t23445
t23446
t23447
t23448
t23449
t23450
t23451
t23452
t23453
t23454
t23455
t23456
t23457
t23458
t23459
t23460
t23461
t23462
t23463
t23470
t23471
t23472
t23473
t23474
t23475
t23476
t23477
t23478
t23479
t23480
t23481
t23482
t23483
t23484
t23485
t23486
t23487
t23488
t23489
t23490
t23491
t23492
t23493
t23494
t23495
t23496
t23497
t23498
t23499
t23500
t23501
t23502
t23503
t23504
t23505
t23506
t23507
t23508
t23509
t23510
t23511
t23512
t23513
t23514
t23515
t23516
t23517
t23518
t23519
t23520
t23521
t23522
t23523
t23524
t23525
t23526
t23527
t23528
t23529
t23530
t23531
t23532
t23533
t23534
t23535
t23536
t23537
t23538
t23539
t23540
t23541
t23542
t23543
t23544
t23545
t23546
t23547
t23548
t23549
t23550
t23551
t23552
t23553
t23554
t23555
t23556
t23557
t23558
t23559
t23560
t23561
t23562
t23563
t23564
t23565
t23566
t23567
t23568
t23569
t23570
t23571
t23572
t23573
t23574
t23575
t23576
t23577
t23578
t23579
t23580
t23581
t23582
t23583
t23584
t23585
t23586
t23587
t23588
t23589
t23590
t23591
t23592
t23593
t23594
t23595
t23596
t23597
t23598
t23599
t23600
t23601
t23602
t23603
t23604
t23605
t23606
t23607
t23608
t23609
t23610
t23611
t23612
t23613
t23614
t23615
t23616
t23617
t23618
t23619
t23620
t23621
t23622
t23623
t23624
t23625
t23626
t23627
t23628
t23629
t23630
t23631
t23632
t23633
t23634
t23635
t23636
t23637
t23638
t23639
t23640
t23641
t27107
t27108
t27109
t27110
t27111
t27112
t27113
t27114
t27115
t27116
t27117
t23647
t23648
t23649
t23650
t23651
t23652
t23653
t23654
t23655
t23656
t23657
t23658
t23659
t23660
t23661
t23662
t23663
t23664
t23665
t23666
t23667
t23668
t23669
t23670
t23671
t23672
t23673
t23674
t23675
t23676
t23677
t23678
t23679
t23680
t23681
t23682
t23683
t23684
t23685
t23686
t23687
t23688
t23689
t23690
t23691
t23692
t23693
t23694
t23695
t23696
t23697
t26778
t26779
t26790
t26791
t23700
t23701
t23702
t23703
t23704
t23705
t23706
t23707
t23708
t23709
t23710
t23711
t23712
t23713
t23714
t23715
t23716
t23717
t23718
t23719
t23720
t23721
t23722
t23723
t23724
t23725
t23726
t23727
t23728
t23729
t23730
t23731
t23732
t23733
t23734
t23735
t23736
t23737
t23738
t23739
t23740
t23741
t23742
t23743
t23744
t23745
t23746
t23747
t23748
t23749
t23750
t23751
t23752
t23753
t23754
t23755
t23756
t23757
t23758
t23759
t23760
t23761
t23762
t23763
t23764
t23765
t23766
t23767
t23768
t23769
t23770
t23771
t23772
t23773
t25586
t25587
t23775
t23776
t23777
t23778
t23779
t23780
t23781
t23782
t23783
t23784
t23785
t23786
t23787
t25641
t25642
t23789
t23790
t23791
t23792
t23793
t23794
t23795
t23796
t23797
t23798
t27235
t27236
t27237
t27238
t27239
t27240
t27241
t27242
t27243
t27244
t27245
t23804
t23805
t23806
t23807
t23808
t23809
t23810
t23811
t23812
t23813
t23814
t23815
t23816
t23817
t23818
t23819
t23820
t23821
t23822
t23823
t23824
t23825
t23826
t23827
t23828
t23829
t23830
t23831
t23832
t23833
t23834
t23835
t23836
t23837
t23838
t23839
t23840
t23841
t23842
t23843
t23844
t23845
t23846
t23847
t23848
t23849
t23850
t23851
t23852
t23853
t23854
t23855
t23856
t23857
t23858
t23859
t23860
t23861
t23862
t23863
t23864
t23865
t23866
t23867
t23868
t23869
t23870
t23871
t23872
t23873
t23874
t23875
t23876
t23877
t23878
t23879
t23880
t23881
t23882
t23883
t23884
t23885
t23886
t23887
t23888
t23889
t23890
t23891
t23892
t23893
t23894
t23895
t23896
t23897
t23898
t23899
t23900
t23901
t23902
t23903
t23904
t23905
t23906
t23907
t23908
t23909
t23910
t23911
t23912
t23913
t23914
t23915
t23916
t23917
t23918
t23919
t23920
t23921
t23922
t23923
t23924
t23925
t23926
t23927
t23928
t23929
t23930
t23931
t23932
t23933
t23934
t23935
t23936
t23937
t23938
t23939
t23940
t23941
t23942
t23943
t23944
t23945
t23946
t23947
t23948
t23949
t23950
t23951
t23952
t23953
t23954
t23955
t23956
t23957
t23958
t23959
t23960
t23961
t23962
t23963
t23964
t23965
t23966
t23967
t23968
t23969
t23970
t23971
t23972
t23973
t23974
t23975
t23976
t23977
t27305
t27306
t27307
t23980
t23981
t23982
t23983
t23984
t27319
t27320
t27321
t23987
t23988
t23989
t23990
t23991
t23992
t23993
t23994
t23995
t23996
t23997
t23998
t23999
t24000
t24001
t24002
t24003
t24004
t24005
t24006
t24007
t27342
t27343
t27344
t27345
t27346
t27347
t24011
t24012
t24013
t24014
t24015
t24016
t24017
t24018
t24019
t24020
t24021
t24022
t24023
t24024
t24025
t24026
t24027
t24028
t24029
t24030
t24031
t24032
t24033
t24034
t24035
t24036
t24037
t24038
t24039
t24040
t24041
t24042
t24043
t27376
t27377
t27378
t24046
t24047
t24048
t24049
t24050
t24051
t24052
t24053
t24054
t24055
t24056
t24057
t24058
t24059
t24060
t24061
t24062
t24063
t24064
t24065
t24066
t24067
t24068
t24069
t24070
t24071
t24078
t24079
t24080
t27407
t27408
t27409
t24085
t24086
t24087
t24088
t24089
t24090
t24091
t24092
t24093
t24094
t24095
t24096
t24097
t24098
t24099
t24100
t24101
t24102
t24103
t24104
t24105
t24106
t24107
t24108
t24109
t24110
t24111
t24112
t24113
t24114
t24115
t24116
t24117
t24118
t24119
t24120
t24121
t24122
t24123
t24124
t24125
t24126
t24127
t24128
t24129
t24130
t24131
t24132
t24133
t24134
t24135
t24136
t24137
t24138
t24139
t24140
t24141
t24142
t24143
t24144
t24145
t24146
t24147
t24148
t24149
t24150
t24151
t24152
t24153
t24154
t24155
t24156
t24157
t24158
t24159
t24160
t24161
t24162
t24163
t24164
t24165
t24166
t24167
t24168
t24169
t24170
t24171
t24172
t24173
t24174
t24175
t24176
t24177
t24178
t24179
t24180
t24181
t24182
t24183
t24184
t24185
t24186
t24187
t24188
t24189
t24190
t24191
t24192
t24193
t24194
t24195
t24196
t24197
t24198
t24199
t24206
t24207
t24208
t24209
t24210
t24211
t24212
t24213
t24214
t24215
t24216
t24217
t24218
t24219
t24220
t24221
t24222
t24223
t24224
t24225
t24226
t24227
t24228
t24229
t24230
t24231
t24232
t24233
t24234
t24235
t24236
t24237
t24238
t24239
t24240
t24241
t24242
t24243
t24244
t24245
t24246
t24247
t24248
t24249
t24250
t24251
t24252
t24253
t24254
t24255
t24256
t24257
t24258
t24259
t24260
t24261
t24262
t24263
t24264
t24265
t24266
t24267
t24268
t24269
t24270
t24271
t24272
t24273
t24274
t24275
t24276
t24277
t24278
t24279
t24280
t24281
t24282
t24283
t24284
t24285
t24286
t24287
t24288
t24289
t24290
t24291
t24292
t24293
t24294
t24295
t24296
t24297
t24298
t24299
t24300
t24301
t24302
t24303
t24304
t24305
t24306
t24307
t24308
t24309
t24310
t24311
t24312
t24313
t24314
t24315
t24316
t24317
t24318
t24319
t24320
t24321
t24322
t24323
t24324
t24325
t24326
t24327
t24328
t24329
t24330
t24331
t24332
t24333
t24334
t24335
t24336
t24337
t24338
t24339
t24340
t24341
t24342
t24343
t24344
t24345
t24346
t24347
t24348
t24349
t24350
t24351
t24352
t24353
t24354
t24355
t24356
t24357
t24358
t24359
t24360
t24361
t24362
t24363
t24364
t24365
t24366
t24367
t24368
t24369
t24370
t24371
t24372
t24373
t24374
t24375
t24376
t24377
t24378
t24379
t24380
t24381
t24382
t24383
t24384
t24385
t24386
t24387
t24388
t24389
t24390
t24391
t24392
t24393
t24394
t24395
t24396
t24397
t24398
t24399
t24400
t24401
t24402
t24403
t24404
t24405
t24406
t24407
t24408
t24409
t24410
t24411
t24412
t24413
t24414
t24415
t24416
t24417
t24418
t24419
t24420
t24421
t24422
t24423
t24424
t24425
t24426
t24427
t24428
t24429
t24430
t24431
t24432
t24433
t24434
t24435
t24436
t24437
t24438
t24439
t24440
t24441
t24442
t24443
t24444
t24445
t24446
t24447
t24448
t24449
t24450
t24451
t27157
t27158
t27159
t24453
t24454
t24455
t24456
t24457
t24458
t24459
t24460
t24461
t24468
t24469
t24470
t24471
t24472
t24473
t24474
t24475
t24476
t24477
t24478
t24479
t24480
t24481
t24482
t24483
t24484
t24485
t24486
t24487
t24488
t24489
t24490
t24491
t24492
t24493
t24494
t24495
t24496
t24497
t24498
t24499
t24500
t24501
t24502
t24503
t24504
t24505
t24506
t24507
t24508
t24509
t24510
t24511
t24512
t24513
t24514
t24515
t24516
t24517
t24518
t24519
t24520
t24521
t24522
t24523
t24524
t24525
t24526
t24527
t24528
t24529
t24530
t24531
t24532
t24533
t24534
t24535
t24536
t24537
t24538
t24539
t24540
t24541
t24542
t24543
t24544
t24545
t24546
t24547
t24548
t24549
t24550
t24551
t24552
t24553
t24554
t24555
t24556
t24557
t24558
t24559
t24560
t24561
t24562
t24563
t24564
t24565
t24566
t24567
t24568
t24569
t24570
t24571
t24572
t24573
t24574
t24575
t24576
t24577
t24578
t24579
t24580
t24581
t24582
t24583
t24584
t24585
t24586
t24587
t24588
t24589
t24590
t24591
t24592
t24593
t24594
t24595
t24596
t24597
t24598
t24599
t24600
t24601
t24602
t24603
t24604
t24605
t24606
t24607
t24608
t24609
t24610
t24611
t24612
t24613
t24614
t24615
t24616
t24617
t24618
t24619
t24620
t24621
t24622
t24623
t24624
t24625
t24626
t24627
t24628
t24629
t24630
t24631
t24632
t24633
t24634
t24635
t24636
t24637
t27371
t27372
t27373
t27374
t27375
t24640
t24641
t24642
t24643
t24644
t24645
t24646
t24647
t24648
t24649
t24650
t24651
t24652
t24653
t24654
t24655
t24656
t24657
t24658
t24659
t24660
t24661
t24662
t24663
t24664
t24665
t24666
t24667
t24668
t24669
t24670
t24671
t24672
t24673
t24674
t24675
t24676
t24677
t24678
t24679
t24680
t24681
t24682
t24683
t24684
t24685
t24686
t24687
t24688
t24689
t24690
t24691
t24692
t24693
t24694
t24695
t24696
t24697
t24698
t24699
t24700
t24701
t24702
t24703
t24704
t24705
t24706
t24707
t24708
t24709
t24710
t24711
t24712
t24713
t24714
t24715
t24716
t24717
t24718
t24719
t24720
t24721
t24722
t24723
t24724
t24725
t24726
t24727
t24728
t24729
t24730
t24731
t24732
t24733
t24734
t24735
t24736
t24737
t24738
t24739
t24740
t24741
t24742
t24743
t24744
t24745
t24746
t24747
t24748
t24749
t24750
t24751
t24752
t24753
t24754
t24755
t24756
t24757
t24758
t24759
t24760
t24761
t24762
t24763
t24764
t24765
t24766
t24767
t24768
t24769
t24770
t24771
t24772
t24773
t24774
t24775
t24776
t24777
t24778
t24779
t24780
t24781
t24782
t24783
t24784
t24785
t24786
t24787
t24788
t24789
t24790
t24791
t24792
t24793
t24794
t24795
t24796
t24797
t24798
t24799
t24800
t24801
t24802
t24803
t24804
t24805
t24806
t24807
t24808
t24809
t24810
t24811
t24812
t24813
t24814
t24815
t24816
t24817
t24818
t24819
t24820
t24821
t24822
t24823
t24824
t24825
t24826
t24827
t24828
t24829
t24830
t24831
t24832
t24833
t24834
t24835
t24836
t24837
t24838
t24839
t24840
t24841
t24842
t24843
t24844
t24845
t24846
t24847
t24848
t24849
t24850
t24851
t24852
t24853
t24854
t24855
t24856
t24857
t24858
t24859
t24860
t24861
t24862
t24863
t24864
t24865
t24866
t24867
t24868
t24869
t24870
t24871
t24872
t24873
t24874
t24875
t24876
t24877
t24878
t24879
t24880
t24881
t24882
t24883
t24884
t24885
t24886
t24887
t24888
t24889
t24890
t24891
t24892
t24893
t24894
t24895
t24896
t24897
t24898
t24899
t24900
t24901
t24902
t24903
t24904
t24905
t24906
t24907
t24908
t24909
t24910
t24911
t24912
t24913
t24914
t24915
t24916
t24917
t24918
t24919
t24920
t24921
t24922
t24923
t24924
t24925
t24926
t24927
t24928
t24929
t24930
t24931
t24932
t24933
t24934
t24935
t24936
t24937
t24938
t24939
t24940
t24941
t24942
t24943
t24944
t24945
t24946
t24947
t24948
t24949
t24950
t24951
t24952
t24953
t24954
t24955
t24956
t24957
t24958
t24959
t24960
t24961
t24962
t24963
t24964
t24965
t24966
t24967
t24968
t24969
t24970
t24971
t24972
t24973
t24974
t24975
t24976
t24977
t24978
t24979
t24980
t24981
t24982
t24983
t24984
t24985
t24986
t24987
t24988
t24989
t24990
t24991
t24992
t24993
t24994
t24995
t24996
t24997
t24998
t24999
t25000
t25001
t25002
t25003
t25004
t25005
t25006
t25007
t25008
t25009
t25010
t25011
t25012
t25013
t25014
t25015
t25016
t25017
t25018
t25019
t25020
t25021
t25022
t25023
t25024
t25025
t25026
t25027
t25028
t25029
t25030
t25031
t25032
t25033
t25034
t25035
t25036
t25037
t25038
t25039
t25040
t25041
t25042
t25043
t25044
t25045
t25046
t25047
t25048
t25049
t25050
t25051
t25052
t25053
t25054
t25055
t25056
t25057
t25058
t25059
t25060
t25061
t25062
t25063
t25064
t25065
t25066
t25067
t25068
t25069
t25070
t25071
t25072
t25073
t25074
t25075
t25076
t25077
t25078
t25079
t25080
t25081
t25082
t25083
t25084
t25085
t25086
t25087
t25088
t25089
t25090
t25091
t25092
t25093
t25094
t25095
t25096
t25097
t25098
t25099
t25100
t25101
t25102
t25103
t25104
t25105
t25106
t25107
t25108
t25109
t25110
t25111
t25112
t25113
t25114
t25115
t25116
t25117
t25118
t25119
t25120
t25121
t25122
t25123
t25124
t25125
t25126
t25127
t25128
t25129
t25130
t25131
t25135
t25136
t25137
t25138
t25139
t25140
t25141
t25145
t25146
t25147
t25148
t25149
t25150
t25151
t25152
t25153
t25154
t25155
t25156
t25157
t25158
t25159
t25160
t25161
t25162
t25163
t25164
t25165
t25166
t25167
t25168
t25169
t25170
t25171
t25172
t25173
t25174
t25175
t25176
t25177
t25178
t25179
t25180
t25181
t25182
t25183
t25184
t25185
t25186
t25187
t25188
t25189
t25190
t25191
t25192
t25193
t25194
t25195
t25196
t25197
t25198
t25199
t25200
t25201
t25202
t25203
t25204
t25205
t25206
t25207
t25208
t25209
t25210
t25211
t25212
t25213
t25214
t25215
t25216
t25217
t25218
t25219
t25220
t25221
t25222
t25223
t25224
t25225
t25226
t25227
t25228
t25229
t25230
t25231
t25232
t25233
t25234
t25235
t25236
t25237
t25238
t25239
t25243
t25244
t25245
t25246
t25247
t25248
t25249
t25250
t25251
t25252
t25253
t25254
t25255
t25256
t25257
t25258
t25259
t25260
t25261
t25262
t25263
t25264
t25265
t25266
t25267
t25268
t25269
t25270
t25271
t25272
t25273
t25274
t25275
t25276
t25277
t25278
t25279
t25280
t25281
t25282
t25283
t25284
t25285
t25286
t25287
t25288
t25289
t25290
t25291
t25292
t25293
t25294
t25295
t25296
t25297
t25298
t25299
t25300
t25301
t25302
t25303
t25304
t25305
t25306
t25307
t25308
t25309
t25310
t25311
t25312
t25313
t25314
t25315
t25316
t25317
t25318
t25319
t25320
t25321
t25322
t25323
t25324
t25325
t25326
t25327
t25328
t25329
t25330
t25331
t25332
t25333
t25334
t25335
t25336
t25337
t25338
t25339
t25340
t25341
t25342
t25343
t25344
t25345
t25346
t25347
t25348
t25349
t25350
t25351
t25352
t25353
t25354
t25355
t25356
t25357
t25358
t25359
t25360
t25361
t25362
t25363
t25364
t25365
t25366
t25367
t25368
t25369
t25370
t25371
t25372
t25373
t25374
t25375
t25376
t25377
t25378
t25379
t25380
t25381
t25382
t25383
t25384
t25385
t25386
t25387
t25388
t25389
t25390
t25391
t25392
t25393
t25394
t25395
t25396
t25397
t25398
t25399
t25400
t25401
t25402
t25403
t25404
t25405
t25406
t25407
t25408
t25409
t25410
t25411
t25412
t25413
t25414
t25415
t25416
t25417
t25418
t25419
t25420
t25421
t25422
t25423
t25424
t25425
t25426
t25427
t25428
t25429
t25430
t25431
t25432
t25433
t25434
t25435
t25436
t25437
t25438
t25439
t25440
t25441
t25442
t25443
t25444
t25445
t25446
t25447
t25448
t25449
t25450
t25451
t25452
t25453
t25454
t25455
t25456
t25457
t25458
t25459
t25460
t25461
t25462
t25463
t25464
t25465
t25469
t25470
t25471
t25472
t25473
t25474
t25475
t25476
t25477
t25478
t25479
t25480
t25481
t25482
t25483
t25484
t25485
t25486
t25487
t25488
t25489
t25490
t25491
t25504
t25505
t25506
t25507
t25508
t25509
t25510
t25511
t25512
t25513
t25514
t25515
t25516
t25517
t25518
t25519
t25520
t25521
t25522
t25523
t25524
t25525
t25526
t25527
t25528
t25529
t25530
t25531
t25532
t25533
t25534
t25535
t25536
t25537
t25538
t25539
t25540
t25541
t25542
t25543
t25544
t25545
t25546
t25547
t25548
t25549
t25550
t25551
t25552
t25553
t25554
t25555
t25556
t25557
t25567
t25568
t25569
t25570
t25571
t25572
t25573
t25574
t25575
t25576
t25577
t25578
t25579
t25580
t25581
t25582
t25583
t25584
t25585
t27521
t27522
t27523
t25588
t25589
t25590
t25591
t25592
t25593
t25594
t25595
t25596
t25597
t25598
t25599
t25600
t25601
t25602
t25603
t25604
t25605
t25606
t25607
t25608
t25609
t25610
t25611
t25612
t25613
t25614
t25615
t25616
t25617
t25618
t25619
t25620
t25621
t25622
t25623
t25624
t25625
t25626
t25627
t25628
t25629
t25630
t25631
t25632
t25633
t25634
t25635
t25636
t25637
t25638
t25639
t25640
t25643
t25644
t25645
t25646
t25647
t25648
t25649
t25650
t25651
t25652
t25653
t25654
t25655
t25656
t25657
t25658
t25659
t25672
t25673
t25674
t25681
t25682
t25683
t25684
t25685
t25686
t25687
t25688
t25689
t25690
t25691
t25692
t25693
t25694
t25695
t25696
t25697
t25698
t25699
t25700
t25701
t25702
t25703
t25704
t25705
t25706
t25707
t25708
t25709
t25710
t25711
t25712
t25713
t25714
t25715
t25716
t25717
t25718
t25719
t25720
t25721
t25722
t25723
t25724
t25725
t25726
t25727
t25728
t25729
t25730
t25731
t25732
t25733
t25734
t25735
t25736
t25737
t25738
t25739
t25740
t25741
t25742
t25743
t25744
t25745
t25746
t25747
t25748
t25749
t25750
t25751
t25752
t25753
t25754
t25755
t25756
t25757
t25758
t25759
t25760
t25761
t25762
t25763
t25764
t25765
t25766
t25767
t25768
t25769
t25770
t25771
t25772
t25773
t25774
t25775
t25776
t25777
t25778
t25779
t25780
t25781
t25782
t25783
t25784
t25785
t25786
t25787
t25788
t25789
t25790
t25791
t25792
t25793
t25794
t25795
t25796
t25797
t25798
t25799
t25800
t25801
t25802
t25803
t25804
t25811
t25812
t25813
t25814
t25815
t25816
t25817
t25818
t25819
t25820
t25821
t25822
t25823
t25824
t25825
t25826
t25827
t25828
t25829
t25830
t25831
t25832
t25833
t25834
t25835
t25836
t25837
t25838
t25839
t25840
t25841
t25842
t25843
t25844
t25845
t25846
t25847
t25848
t25849
t25850
t25851
t25852
t25853
t25854
t25855
t25856
t25857
t25858
t25859
t25860
t25861
t25862
t25863
t25864
t25865
t25866
t25867
t25868
t25869
t25870
t25871
t25872
t25873
t25874
t25875
t25876
t25877
t25878
t25879
t25880
t25881
t25882
t25883
t25884
t25885
t25886
t25887
t25888
t25889
t25890
t25891
t25892
t25893
t25894
t25895
t25896
t25897
t25898
t25899
t25900
t25901
t25902
t25903
t25904
t25905
t25906
t25907
t25908
t25909
t25910
t25911
t25912
t25913
t25914
t25915
t25916
t25917
t25918
t25919
t25920
t25921
t25922
t25923
t25924
t25925
t25926
t25927
t25928
t25929
t25930
t25931
t25932
t25933
t25934
t25935
t25936
t25937
t25938
t25939
t25940
t25941
t25942
t25943
t25944
t25945
t25946
t25947
t25948
t25949
t25950
t25951
t25952
t25953
t25954
t25955
t25956
t25957
t25958
t25959
t25960
t25961
t25962
t25963
t25964
t25965
t25966
t25967
t25968
t25969
t25970
t25971
t25972
t25973
t25974
t25975
t25976
t25977
t25978
t25979
t25980
t25981
t25982
t25983
t25984
t25985
t25986
t25987
t25988
t25989
t25990
t25991
t25992
t25993
t25994
t25995
t25996
t25997
t25998
t25999
t26000
t26001
t26002
t26003
t26004
t26005
t26006
t26007
t26008
t26009
t26010
t26011
t26012
t26013
t26014
t26015
t26016
t26017
t26018
t26019
t26020
t26021
t26022
t26023
t26024
t26025
t26026
t26027
t26028
t26029
t26030
t26031
t26032
t26033
t26034
t26035
t26036
t26037
t26038
t26039
t26040
t26041
t26042
t26043
t26044
t26045
t26046
t26047
t26048
t26049
t26050
t26051
t26052
t26053
t26054
t26055
t26056
t26057
t26058
t26059
t26060
t26061
t26062
t26063
t26064
t26065
t26066
t26067
t26068
t26069
t26070
t26071
t26072
t26073
t26074
t26075
t26076
t26077
t26078
t26079
t26080
t26081
t26082
t26083
t26084
t26085
t26086
t26087
t26088
t26089
t26090
t26091
t26092
t26093
t26094
t26095
t26096
t26097
t26098
t26099
t26100
t26101
t26102
t26103
t26104
t26105
t26106
t26107
t26108
t26109
t26110
t26111
t26112
t26113
t26114
t26115
t26116
t26117
t26118
t26119
t26120
t26121
t26122
t26123
t26124
t26125
t26126
t26127
t26128
t26129
t26130
t26131
t26132
t26133
t26134
t26135
t26136
t26137
t26138
t26139
t26140
t26141
t26142
t26143
t26144
t26145
t26146
t26147
t26148
t26149
t26150
t26151
t26152
t26153
t26154
t26155
t26156
t26157
t26158
t26159
t26160
t26161
t26162
t26163
t26164
t26165
t26166
t26167
t26168
t26169
t26170
t26171
t26172
t26173
t26174
t26175
t26176
t26177
t26178
t26179
t26180
t26181
t26182
t26183
t26184
t26185
t26186
t26187
t26188
t26189
t26190
t26191
t26192
t26193
t26194
t26195
t26196
t26197
t26198
t26199
t26200
t26201
t26202
t26203
t26204
t26205
t26206
t26207
t26208
t26209
t26210
t26217
t26218
t26219
t26220
t26221
t26222
t26223
t26224
t26225
t26226
t26227
t26228
t26229
t26230
t26231
t26232
t26233
t26234
t26235
t26236
t26237
t26238
t26239
t26240
t26241
t26242
t26243
t26244
t26245
t26246
t26247
t26248
t26249
t26250
t26251
t26252
t26253
t26254
t26255
t26256
t26257
t26258
t26259
t26260
t26261
t26262
t26263
t26264
t26265
t26266
t26267
t26268
t26269
t26270
t26271
t26272
t26273
t26274
t26275
t26276
t26277
t26278
t26279
t26280
t26281
t26282
t26283
t26284
t26285
t26286
t26287
t26288
t26289
t26290
t26291
t26292
t26293
t26294
t26295
t26296
t26297
t26298
t26299
t26300
t26301
t26302
t26303
t26304
t26305
t26306
t26307
t26308
t26309
t26310
t26311
t26312
t26313
t26314
t26315
t26316
t26317
t26318
t26319
t26320
t26321
t26322
t26323
t26324
t26325
t26326
t26327
t26328
t26329
t26330
t26331
t26332
t26333
t26334
t26335
t26336
t26337
t26338
t26339
t26340
t26341
t26342
t26343
t26344
t26345
t26346
t26347
t26348
t26349
t26350
t26351
t26352
t26353
t26354
t26355
t26356
t26357
t26358
t26359
t26360
t26361
t26362
t26363
t26364
t26365
t26366
t26367
t26368
t26369
t26370
t26371
t26372
t26373
t26374
t26375
t26376
t26377
t26378
t26379
t26380
t26381
t26382
t26383
t26384
t26385
t26386
t26387
t26388
t26389
t26390
t26391
t26392
t26393
t26394
t26395
t26396
t26397
t26398
t26399
t26400
t26401
t26402
t26403
t26404
t26405
t26406
t26407
t26408
t26409
t26410
t26411
t26412
t26413
t26414
t26415
t26416
t26417
t26418
t26419
t26420
t26421
t26422
t26423
t26424
t26425
t26426
t26427
t26428
t26429
t26430
t26431
t26432
t26433
t26434
t26435
t26436
t26440
t26441
t26442
t26443
t26444
t26445
t26446
t26447
t26448
t26449
t26450
t26451
t26452
t26453
t26454
t26455
t26456
t26457
t26458
t26459
t26460
t26461
t26462
t26463
t26464
t26465
t26466
t26467
t26468
t26469
t26470
t26471
t26472
t26473
t26474
t26475
t26476
t26477
t26478
t26479
t26480
t26481
t26482
t26483
t26484
t26485
t26486
t26487
t26488
t26489
t26490
t26491
t26495
t26496
t26497
t26510
t26511
t26512
t26513
t26514
t26515
t26516
t26517
t26518
t26519
t26520
t26521
t26522
t26523
t26524
t26525
t26526
t26527
t26528
t26529
t26530
t26531
t26532
t26533
t26534
t26535
t26536
t26537
t26538
t26539
t26540
t26541
t26542
t26543
t26544
t26545
t26546
t26547
t26548
t26549
t26550
t26551
t26552
t26553
t26554
t26555
t26556
t26557
t26558
t26559
t26560
t26561
t26562
t26563
t26564
t26565
t26566
t26570
t26571
t26572
t26573
t26574
t26575
t26576
t26577
t26581
t26582
t26583
t26584
t26585
t26586
t26587
t26588
t26589
t26590
t26591
t26592
t26593
t26594
t26595
t26596
t26597
t26598
t26599
t26600
t26601
t26602
t26603
t26604
t26605
t26606
t26607
t26608
t26609
t26610
t26611
t26612
t26613
t26614
t26615
t26616
t26617
t26618
t26619
t26620
t26621
t26622
t26623
t26624
t26625
t26626
t26627
t26628
t26629
t26630
t26631
t26632
t26633
t26634
t26635
t26636
t26637
t26638
t26639
t26657
t26658
t26659
t26660
t26661
t26662
t26663
t26664
t26665
t26666
t26667
t26668
t26669
t26670
t26671
t26672
t26673
t26674
t26675
t26676
t26677
t26678
t26679
t26680
t26693
t26694
t26695
t26696
t26697
t26698
t26699
t26700
t26701
t26702
t26703
t26704
t26705
t26706
t26707
t26708
t26709
t26710
t26711
t26712
t26713
t26714
t26715
t26716
t26717
t26718
t26719
t26720
t26721
t26722
t26723
t26724
t26725
t26726
t26727
t26728
t26729
t26730
t26731
t26732
t26733
t26734
t26735
t26736
t26737
t26738
t26739
t26740
t26741
t26742
t26743
t26744
t26745
t26746
t26747
t26748
t26749
t26750
t26751
t26752
t26753
t26754
t26755
t26756
t26757
t26758
t26759
t26760
t26761
t26762
t26763
t26764
t26765
t26766
t26767
t26768
t26769
t26770
t26771
t26772
t26773
t26774
t26775
t26776
t26777
t26792
t26793
t26794
t26795
t26796
t26797
t26798
t26799
t26800
t26801
t26802
t26803
t26804
t26805
t26806
t26807
t26808
t26809
t26810
t26811
t26812
t26813
t26814
t26815
t26816
t26817
t26818
t26819
t26820
t26821
t26822
t26823
t26824
t26825
t26826
t26827
t26828
t26829
t26830
t26831
t26832
t26833
t26834
t26835
t26836
t26837
t26838
t26839
t26840
t26841
t26842
t26843
t26844
t26845
t26846
t26847
t26848
t26849
t26850
t26851
t26858
t26859
t26860
t26861
t26862
t26863
t26864
t26865
t26866
t26867
t26868
t26869
t26870
t26871
t26872
t26873
t26874
t26875
t26876
t26877
t26878
t26879
t26880
t26881
t26882
t26883
t26884
t26885
t26886
t26887
t26888
t26889
t26890
t26891
t26892
t26893
t26894
t26895
t26896
t26897
t26898
t26899
t26900
t26901
t26902
t26903
t26904
t26905
t26906
t26907
t26908
t26909
t26910
t26911
t26912
t26913
t26914
t26915
t26916
t26917
t26918
t26919
t26920
t26921
t26922
t26923
t26924
t26925
t26926
t26927
t26928
t26929
t26930
t26931
t26932
t26933
t26934
t26935
t26936
t26937
t26938
t26939
t26940
t26941
t26942
t26943
t26944
t26945
t26946
t26947
t26948
t26949
t26950
t26951
t26952
t26953
t26954
t26955
t26956
t26957
t26958
t26965
t26966
t26967
t26968
t26969
t26970
t26971
t26972
t26973
t26974
t26975
t26976
t26977
t26978
t26979
t26980
t26981
t26982
t26983
t26984
t26985
t26986
t26987
t26988
t26989
t26990
t26991
t26992
t26993
t26994
t26995
t26996
t26997
t26998
t26999
t27000
t27001
t27002
t27003
t27004
t27005
t27006
t27007
t27008
t27009
t27010
t27011
t27012
t27013
t27014
t27015
t27016
t27017
t27018
t27019
t27020
t27021
t27022
t27023
t27024
t27025
t27026
t27027
t27028
t27029
t27030
t27031
t27032
t27033
t27034
t27035
t27036
t27037
t27038
t27039
t27040
t27041
t27042
t27043
t27044
t27045
t27046
t27047
t27048
t27049
t27050
t27051
t27052
t27053
t27054
t27055
t27056
t27057
t27058
t27059
t27060
t27061
t27062
t27063
t27064
t27065
t27066
t27067
t27068
t27069
t27070
t27071
t27072
t27073
t27074
t27075
t27076
t27077
t27078
t27079
t27080
t27081
t27082
t27083
t27084
t27085
t27086
t27087
t27088
t27089
t27090
t27091
t27092
t27093
t27094
t27095
t27096
t27097
t27098
t27099
t27100
t27101
t27102
t27103
t27104
t27105
t27106
t27118
t27119
t27120
t27121
t27122
t27123
t27124
t27125
t27126
t27127
t27128
t27129
t27130
t27131
t27132
t27133
t27134
t27135
t27136
t27137
t27138
t27139
t27140
t27141
t27142
t27143
t27144
t27145
t27146
t27147
t27148
t27149
t27150
t27151
t27152
t27153
t27154
t27155
t27156
t27160
t27161
t27162
t27163
t27164
t27165
t27166
t27167
t27168
t27169
t27170
t27171
t27172
t27173
t27174
t27175
t27176
t27177
t27178
t27179
t27180
t27181
t27182
t27183
t27184
t27185
t27186
t27187
t27188
t27189
t27190
t27191
t27192
t27193
t27194
t27195
t27196
t27197
t27198
t27199
t27200
t27201
t27202
t27203
t27204
t27205
t27206
t27207
t27208
t27209
t27210
t27211
t27212
t27213
t27214
t27215
t27216
t27217
t27218
t27219
t27220
t27221
t27222
t27223
t27224
t27225
t27226
t27227
t27228
t27229
t27230
t27231
t27232
t27233
t27234
t27246
t27247
t27248
t27249
t27250
t27251
t27252
t27253
t27254
t27255
t27256
t27257
t27258
t27259
t27260
t27261
t27262
t27263
t27264
t27265
t27266
t27267
t27268
t27269
t27270
t27271
t27272
t27273
t27274
t27275
t27276
t27277
t27278
t27279
t27280
t27281
t27282
t27283
t27284
t27285
t27286
t27287
t27288
t27289
t27290
t27291
t27292
t27293
t27294
t27295
t27296
t27297
t27298
t27299
t27300
t27301
t27302
t27303
t27304
t27308
t27309
t27310
t27311
t27312
t27313
t27314
t27315
t27316
t27317
t27318
t27322
t27323
t27324
t27325
t27326
t27327
t27328
t27329
t27330
t27331
t27332
t27333
t27334
t27335
t27336
t27337
t27338
t27339
t27340
t27341
t27348
t27349
t27350
t27351
t27352
t27353
t27354
t27355
t27356
t27357
t27358
t27359
t27360
t27361
t27362
t27363
t27364
t27365
t27366
t27367
t27368
t27369
t27370
t27379
t27380
t27381
t27382
t27383
t27384
t27385
t27386
t27387
t27388
t27389
t27390
t27391
t27392
t27393
t27394
t27395
t27396
t27397
t27398
t27399
t27400
t27401
t27402
t27403
t27404
t27405
t27406
t27410
t27411
t27412
t27413
t27414
t27415
t27416
t27417
t27418
t27419
t27420
t27421
t27422
t27423
t27424
t27425
t27426
t27427
t27428
t27429
t27430
t27431
t27432
t27433
t27434
t27435
t27436
t27437
t27438
t27439
t27440
t27441
t27442
t27443
t27444
t27445
t27446
t27447
t27448
t27449
t27450
t27451
t27452
t27453
t27454
t27455
t27456
t27457
t27458
t27459
t27460
t27461
t27462
t27463
t27464
t27465
t27466
t27467
t27468
t27469
t27470
t27471
t27472
t27473
t27474
t27475
t27476
t27477
t27478
t27479
t27480
t27481
t27482
t27483
t27484
t27485
t27486
t27487
t27488
t27489
t27490
t27491
t27492
t27493
t27494
t27495
t27496
t27497
t27498
t27499
t27500
t27501
t27502
t27503
t27504
t27505
t27506
t27507
t27508
t27509
t27510
t27511
t27512
t27513
t27514
t27515
t27516
t27517
t27518
t27519
t27520
t2667
t2668
t2669
t2670
t4106
t4107
t4108
t4109
t4110
t8193
t8194
t8195
t8196
t8197
t8198
t8199
t8200
t8201
t8202
t8203
t2660
t2732
t9808
t4298
t3948
t2174
t2108
t2650
t2164
t2177
t2231
t2240
t2494
t2565
t2600
t1407
t1410
t1593
t1609
t1622
t1633
t1639
t1642
t1652
t1672
t1680
t1688
t1692
t1703
t1738
t1758
t1769
t1779
t1801
t1811
t1817
t1873
t1892
t1950
t2035
t2040
t2046
t2081
t2089
t2090
t2091
t2092
t2093
t2094
t2095
t2096
t2097
t2098
t2099
t2100
t2101
t2102
t2103
t2104
t2105
t2106
t2107
t2109
t2110
t2111
t2112
t2113
t2114
t2115
t2116
t2117
t2118
t2119
t2120
t2121
t2122
t2123
t2156
t2157
t2158
t2159
t2160
t2161
t2162
t2163
t2165
t2166
t2167
t2168
t2169
t2170
t2171
t2172
t2173
t2175
t2176
t2178
t2179
t2180
t2181
t2182
t2183
t2184
t2185
t2186
t2187
t2188
t2189
t2190
t2220
t2221
t2222
t2223
t2224
t2225
t2226
t2227
t2228
t2229
t2230
t2232
t2233
t2234
t2235
t2236
t2237
t2238
t2239
t2260
t2261
t2262
t2263
t2264
t2265
t2266
t2274
t2318
t2383
t2384
t2385
t2386
t2391
t2396
t2656
t2655
t2472
t2473
t2474
t2475
t2476
t2477
t2484
t2485
t2486
t2487
t2495
t2496
t2497
t2502
t2562
t2563
t2564
t2570
t2571
t2572
t2573
t2574
t2575
t2580
t2581
t2582
t2583
t2584
t2585
t2592
t2593
t2594
t2595
t2657
t2
t40
t2642
t3738
t4111
t4112
t2675
t2680
t2686
t2726
t2727
t2729
t2730
t2731
t6677
t2640
t2647
t1285
t1286
t1287
t1306
t1312
t1313
t1323
t1363
t1375
t1376
t1378
t1383
t1384
t1385
t1387
t1388
t1389
t1390
t1391
t1392
t1393
t1394
t1395
t1396
t1397
t1398
t1399
t1400
t1401
t1402
t1403
t1404
t1405
t1406
t1408
t1409
t1411
t1412
t1413
t1414
t1415
t1416
t1417
t1418
t1419
t1420
t1422
t1424
t1425
t1426
t1427
t2649
t2643
t1536
t1540
t1547
t1549
t1550
t1553
t1556
t1561
t1563
t1564
t1565
t1566
t1567
t1568
t1581
t1583
t1584
t1585
t2644
t1586
t1587
t1588
t1590
t1591
t1594
t1597
t1601
t1602
t1603
t1607
t1608
t2645
t1610
t1611
t1612
t1613
t1614
t1615
t1616
t1617
t1618
t1619
t1631
t1632
t1637
t1638
t1640
t1641
t1643
t1644
t1645
t1646
t1647
t1648
t1649
t1651
t1654
t1655
t1656
t1660
t1661
t1662
t1663
t1664
t1665
t1666
t1667
t1668
t1669
t1670
t1671
t1673
t1674
t1675
t1681
t2648
t1682
t1686
t1687
t1689
t1690
t1691
t1693
t1694
t1695
t1696
t1697
t1698
t1699
t1700
t1702
t1704
t1705
t1706
t1707
t1708
t1709
t1710
t1716
t1718
t1719
t1720
t1721
t1722
t1723
t1724
t1725
t1726
t1727
t1739
t1750
t1756
t1757
t1759
t1760
t1761
t1766
t1767
t1768
t1770
t1771
t1772
t1773
t1774
t1775
t1776
t1777
t1778
t1780
t1783
t1799
t1800
t1802
t1803
t1804
t1805
t1806
t1807
t1808
t1809
t1810
t1812
t1813
t1814
t1815
t1816
t1818
t1820
t1821
t1824
t1827
t1831
t1865
t1866
t1867
t1868
t1869
t1870
t1871
t1872
t1874
t1875
t1876
t1877
t1878
t1879
t1880
t1882
t1883
t1885
t1886
t1889
t1891
t1895
t1898
t1920
t1947
t1948
t1949
t1951
t1952
t1953
t1954
t1956
t1957
t1958
t1960
t1961
t1963
t1964
t1967
t1983
t1984
t1985
t1986
t1987
t1988
t1989
t2020
t2021
t2022
t2023
t2025
t2026
t2034
t2036
t2037
t2658
t2038
t2039
t2041
t2042
t2043
t2044
t2045
t2047
t2048
t2049
t2050
t2051
t2052
t2053
t2054
check for constant places
p373
p374
p378
p379
p380
p382
p383
p384
p385
p386
p387
p395
p397
p398
p400
p406
p407
p409
p410
p417
found 20 constant places
check if there are places and transitions
ok
check if there are transitions without pre-places
The net has transition(s) without pre-places:
t6 (t6)
t7 (t7)
t8 (t8)
t9 (t9)
t10 (t10)
t11 (t11)
t12 (t12)
t13 (t13)
t14 (t14)
t15 (t15)
t16 (t16)
t17 (t17)
t18 (t18)
t19 (t19)
t20 (t20)
t21 (t21)
t22 (t22)
t23 (t23)
t24 (t24)
t25 (t25)
t26 (t26)
t27 (t27)
t28 (t28)
t30 (t30)
t31 (t31)
t32 (t32)
t33 (t33)
t34 (t34)
t35 (t35)
t36 (t36)
t37 (t37)
t38 (t38)
t39 (t39)
t41 (t41)
t42 (t42)
t43 (t43)
t45 (t45)
t46 (t46)
t47 (t47)
t50 (t50)
t51 (t51)
t52 (t52)
t54 (t54)
t55 (t55)
t56 (t56)
t57 (t57)
t58 (t58)
t59 (t59)
t60 (t60)
t61 (t61)
t62 (t62)
t63 (t63)
t64 (t64)
t65 (t65)
t66 (t66)
t67 (t67)
t68 (t68)
t69 (t69)
t70 (t70)
t71 (t71)
t72 (t72)
t73 (t73)
t74 (t74)
t75 (t75)
t76 (t76)
t77 (t77)
t78 (t78)
t79 (t79)
t80 (t80)
t81 (t81)
t82 (t82)
t83 (t83)
t84 (t84)
t85 (t85)
t86 (t86)
t87 (t87)
t88 (t88)
t89 (t89)
t90 (t90)
t91 (t91)
t92 (t92)
t93 (t93)
t94 (t94)
t95 (t95)
t96 (t96)
t97 (t97)
t98 (t98)
t99 (t99)
t100 (t100)
t101 (t101)
t102 (t102)
t103 (t103)
t104 (t104)
t105 (t105)
t106 (t106)
t107 (t107)
t108 (t108)
t109 (t109)
t110 (t110)
t111 (t111)
t112 (t112)
t113 (t113)
t114 (t114)
t115 (t115)
t116 (t116)
t117 (t117)
t118 (t118)
t119 (t119)
t120 (t120)
t121 (t121)
t122 (t122)
t123 (t123)
t124 (t124)
t125 (t125)
t126 (t126)
t127 (t127)
t128 (t128)
t129 (t129)
t130 (t130)
t131 (t131)
t132 (t132)
t133 (t133)
t134 (t134)
t135 (t135)
t136 (t136)
t137 (t137)
t138 (t138)
t139 (t139)
t140 (t140)
t141 (t141)
t142 (t142)
t143 (t143)
t144 (t144)
t145 (t145)
t146 (t146)
t147 (t147)
t148 (t148)
t149 (t149)
t150 (t150)
t151 (t151)
t152 (t152)
t153 (t153)
t154 (t154)
t155 (t155)
t156 (t156)
t157 (t157)
t158 (t158)
t159 (t159)
t160 (t160)
t161 (t161)
t162 (t162)
t163 (t163)
t164 (t164)
t165 (t165)
t166 (t166)
t167 (t167)
t168 (t168)
t169 (t169)
t170 (t170)
t171 (t171)
t172 (t172)
t173 (t173)
t174 (t174)
t175 (t175)
t176 (t176)
t177 (t177)
t178 (t178)
t179 (t179)
t180 (t180)
t181 (t181)
t182 (t182)
t183 (t183)
t184 (t184)
t185 (t185)
t186 (t186)
t187 (t187)
t188 (t188)
t189 (t189)
t190 (t190)
t191 (t191)
t192 (t192)
t193 (t193)
t194 (t194)
t195 (t195)
t196 (t196)
t197 (t197)
t198 (t198)
t199 (t199)
t200 (t200)
t201 (t201)
t202 (t202)
t203 (t203)
t204 (t204)
t205 (t205)
t206 (t206)
t207 (t207)
t208 (t208)
t209 (t209)
t210 (t210)
t211 (t211)
t212 (t212)
t213 (t213)
t214 (t214)
t215 (t215)
t216 (t216)
t217 (t217)
t218 (t218)
t219 (t219)
t220 (t220)
t221 (t221)
t222 (t222)
t223 (t223)
t224 (t224)
t225 (t225)
t226 (t226)
t227 (t227)
t228 (t228)
t229 (t229)
t230 (t230)
t231 (t231)
t232 (t232)
t233 (t233)
t234 (t234)
t235 (t235)
t236 (t236)
t237 (t237)
t238 (t238)
t239 (t239)
t240 (t240)
t241 (t241)
t242 (t242)
t243 (t243)
t244 (t244)
t245 (t245)
t246 (t246)
t247 (t247)
t248 (t248)
t249 (t249)
t250 (t250)
t251 (t251)
t252 (t252)
t253 (t253)
t254 (t254)
t255 (t255)
t256 (t256)
t257 (t257)
t258 (t258)
t259 (t259)
t260 (t260)
t261 (t261)
t262 (t262)
t263 (t263)
t264 (t264)
t265 (t265)
t266 (t266)
t267 (t267)
t268 (t268)
t269 (t269)
t270 (t270)
t271 (t271)
t272 (t272)
t273 (t273)
t274 (t274)
t275 (t275)
t276 (t276)
t277 (t277)
t278 (t278)
t279 (t279)
t280 (t280)
t281 (t281)
t282 (t282)
t283 (t283)
t284 (t284)
t285 (t285)
t286 (t286)
t287 (t287)
t288 (t288)
t289 (t289)
t290 (t290)
t291 (t291)
t298 (t298)
t304 (t304)
t308 (t308)
t309 (t309)
t312 (t312)
t314 (t314)
t315 (t315)
t316 (t316)
t319 (t319)
t321 (t321)
t323 (t323)
t324 (t324)
t325 (t325)
t327 (t327)
t328 (t328)
t329 (t329)
t331 (t331)
t332 (t332)
t334 (t334)
t335 (t335)
t336 (t336)
t337 (t337)
t338 (t338)
t339 (t339)
t340 (t340)
t341 (t341)
t342 (t342)
t343 (t343)
t344 (t344)
t345 (t345)
t346 (t346)
t347 (t347)
t348 (t348)
t349 (t349)
t350 (t350)
t351 (t351)
t352 (t352)
t353 (t353)
t354 (t354)
t355 (t355)
t356 (t356)
t357 (t357)
t358 (t358)
t359 (t359)
t360 (t360)
t361 (t361)
t362 (t362)
t363 (t363)
t364 (t364)
t365 (t365)
t366 (t366)
t367 (t367)
t368 (t368)
t369 (t369)
t370 (t370)
t371 (t371)
t372 (t372)
t373 (t373)
t374 (t374)
t375 (t375)
t376 (t376)
t377 (t377)
t378 (t378)
t379 (t379)
t380 (t380)
t381 (t381)
t382 (t382)
t383 (t383)
t384 (t384)
t385 (t385)
t386 (t386)
t387 (t387)
t388 (t388)
t389 (t389)
t390 (t390)
t391 (t391)
t392 (t392)
t393 (t393)
t394 (t394)
t395 (t395)
t396 (t396)
t397 (t397)
t398 (t398)
t399 (t399)
t400 (t400)
t401 (t401)
t402 (t402)
t403 (t403)
t404 (t404)
t405 (t405)
t406 (t406)
t407 (t407)
t408 (t408)
t409 (t409)
t410 (t410)
t411 (t411)
t412 (t412)
t413 (t413)
t414 (t414)
t415 (t415)
t416 (t416)
t417 (t417)
t418 (t418)
t419 (t419)
t420 (t420)
t421 (t421)
t422 (t422)
t423 (t423)
t424 (t424)
t425 (t425)
t426 (t426)
t427 (t427)
t428 (t428)
t429 (t429)
t430 (t430)
t431 (t431)
t432 (t432)
t433 (t433)
t434 (t434)
t435 (t435)
t436 (t436)
t437 (t437)
t438 (t438)
t439 (t439)
t440 (t440)
t441 (t441)
t442 (t442)
t443 (t443)
t444 (t444)
t445 (t445)
t446 (t446)
t447 (t447)
t448 (t448)
t449 (t449)
t450 (t450)
t451 (t451)
t452 (t452)
t453 (t453)
t454 (t454)
t455 (t455)
t456 (t456)
t457 (t457)
t458 (t458)
t459 (t459)
t460 (t460)
t461 (t461)
t462 (t462)
t463 (t463)
t464 (t464)
t465 (t465)
t466 (t466)
t467 (t467)
t468 (t468)
t469 (t469)
t470 (t470)
t471 (t471)
t472 (t472)
t473 (t473)
t474 (t474)
t475 (t475)
t476 (t476)
t477 (t477)
t478 (t478)
t479 (t479)
t480 (t480)
t481 (t481)
t482 (t482)
t483 (t483)
t484 (t484)
t485 (t485)
t486 (t486)
t487 (t487)
t488 (t488)
t489 (t489)
t490 (t490)
t491 (t491)
t492 (t492)
t493 (t493)
t494 (t494)
t495 (t495)
t496 (t496)
t497 (t497)
t498 (t498)
t499 (t499)
t500 (t500)
t501 (t501)
t502 (t502)
t503 (t503)
t504 (t504)
t505 (t505)
t506 (t506)
t507 (t507)
t508 (t508)
t509 (t509)
t510 (t510)
t511 (t511)
t512 (t512)
t513 (t513)
t514 (t514)
t515 (t515)
t516 (t516)
t517 (t517)
t518 (t518)
t519 (t519)
t520 (t520)
t521 (t521)
t522 (t522)
t523 (t523)
t524 (t524)
t525 (t525)
t526 (t526)
t527 (t527)
t528 (t528)
t529 (t529)
t530 (t530)
t531 (t531)
t532 (t532)
t533 (t533)
t534 (t534)
t535 (t535)
t536 (t536)
t537 (t537)
t538 (t538)
t539 (t539)
t540 (t540)
t541 (t541)
t542 (t542)
t543 (t543)
t544 (t544)
t545 (t545)
t546 (t546)
t547 (t547)
t548 (t548)
t549 (t549)
t550 (t550)
t551 (t551)
t552 (t552)
t553 (t553)
t554 (t554)
t555 (t555)
t556 (t556)
t557 (t557)
t558 (t558)
t559 (t559)
t560 (t560)
t561 (t561)
t562 (t562)
t563 (t563)
t564 (t564)
t565 (t565)
t566 (t566)
t567 (t567)
t568 (t568)
t569 (t569)
t570 (t570)
t571 (t571)
t572 (t572)
t573 (t573)
t574 (t574)
t575 (t575)
t576 (t576)
t577 (t577)
t578 (t578)
t579 (t579)
t580 (t580)
t581 (t581)
t582 (t582)
t583 (t583)
t584 (t584)
t585 (t585)
t586 (t586)
t587 (t587)
t588 (t588)
t589 (t589)
t590 (t590)
t591 (t591)
t592 (t592)
t593 (t593)
t594 (t594)
t595 (t595)
t596 (t596)
t597 (t597)
t598 (t598)
t599 (t599)
t600 (t600)
t601 (t601)
t602 (t602)
t603 (t603)
t604 (t604)
t605 (t605)
t606 (t606)
t607 (t607)
t608 (t608)
t609 (t609)
t610 (t610)
t611 (t611)
t612 (t612)
t613 (t613)
t614 (t614)
t615 (t615)
t616 (t616)
t617 (t617)
t618 (t618)
t619 (t619)
t620 (t620)
t621 (t621)
t622 (t622)
t623 (t623)
t624 (t624)
t625 (t625)
t626 (t626)
t627 (t627)
t628 (t628)
t629 (t629)
t630 (t630)
t631 (t631)
t632 (t632)
t633 (t633)
t634 (t634)
t635 (t635)
t636 (t636)
t637 (t637)
t638 (t638)
t639 (t639)
t640 (t640)
t641 (t641)
t642 (t642)
t643 (t643)
t644 (t644)
t645 (t645)
t646 (t646)
t647 (t647)
t648 (t648)
t649 (t649)
t650 (t650)
t651 (t651)
t652 (t652)
t653 (t653)
t654 (t654)
t655 (t655)
t656 (t656)
t657 (t657)
t658 (t658)
t659 (t659)
t660 (t660)
t661 (t661)
t662 (t662)
t663 (t663)
t664 (t664)
t665 (t665)
t666 (t666)
t667 (t667)
t668 (t668)
t669 (t669)
t670 (t670)
t671 (t671)
t672 (t672)
t673 (t673)
t674 (t674)
t675 (t675)
t676 (t676)
t677 (t677)
t678 (t678)
t679 (t679)
t680 (t680)
t681 (t681)
t682 (t682)
t683 (t683)
t684 (t684)
t685 (t685)
t686 (t686)
t687 (t687)
t688 (t688)
t689 (t689)
t690 (t690)
t691 (t691)
t692 (t692)
t693 (t693)
t694 (t694)
t695 (t695)
t696 (t696)
t697 (t697)
t698 (t698)
t699 (t699)
t700 (t700)
t701 (t701)
t702 (t702)
t703 (t703)
t704 (t704)
t705 (t705)
t706 (t706)
t707 (t707)
t708 (t708)
t709 (t709)
t710 (t710)
t711 (t711)
t712 (t712)
t713 (t713)
t714 (t714)
t715 (t715)
t716 (t716)
t717 (t717)
t718 (t718)
t719 (t719)
t720 (t720)
t721 (t721)
t722 (t722)
t723 (t723)
t724 (t724)
t725 (t725)
t726 (t726)
t727 (t727)
t728 (t728)
t729 (t729)
t730 (t730)
t731 (t731)
t732 (t732)
t733 (t733)
t734 (t734)
t735 (t735)
t736 (t736)
t737 (t737)
t738 (t738)
t739 (t739)
t740 (t740)
t741 (t741)
t742 (t742)
t743 (t743)
t744 (t744)
t745 (t745)
t746 (t746)
t747 (t747)
t748 (t748)
t749 (t749)
t750 (t750)
t751 (t751)
t752 (t752)
t753 (t753)
t754 (t754)
t755 (t755)
t756 (t756)
t757 (t757)
t758 (t758)
t759 (t759)
t760 (t760)
t761 (t761)
t762 (t762)
t763 (t763)
t764 (t764)
t765 (t765)
t766 (t766)
t767 (t767)
t768 (t768)
t769 (t769)
t770 (t770)
t771 (t771)
t772 (t772)
t773 (t773)
t774 (t774)
t775 (t775)
t776 (t776)
t777 (t777)
t778 (t778)
t779 (t779)
t780 (t780)
t781 (t781)
t782 (t782)
t783 (t783)
t784 (t784)
t785 (t785)
t786 (t786)
t787 (t787)
t788 (t788)
t789 (t789)
t790 (t790)
t791 (t791)
t792 (t792)
t793 (t793)
t794 (t794)
t795 (t795)
t796 (t796)
t797 (t797)
t798 (t798)
t799 (t799)
t800 (t800)
t801 (t801)
t802 (t802)
t803 (t803)
t804 (t804)
t805 (t805)
t806 (t806)
t807 (t807)
t808 (t808)
t809 (t809)
t810 (t810)
t811 (t811)
t812 (t812)
t813 (t813)
t814 (t814)
t815 (t815)
t816 (t816)
t817 (t817)
t818 (t818)
t819 (t819)
t820 (t820)
t821 (t821)
t822 (t822)
t823 (t823)
t824 (t824)
t825 (t825)
t826 (t826)
t827 (t827)
t828 (t828)
t829 (t829)
t830 (t830)
t831 (t831)
t832 (t832)
t833 (t833)
t834 (t834)
t835 (t835)
t836 (t836)
t837 (t837)
t838 (t838)
t839 (t839)
t840 (t840)
t841 (t841)
t842 (t842)
t843 (t843)
t844 (t844)
t845 (t845)
t846 (t846)
t847 (t847)
t848 (t848)
t849 (t849)
t850 (t850)
t851 (t851)
t852 (t852)
t853 (t853)
t854 (t854)
t855 (t855)
t856 (t856)
t857 (t857)
t858 (t858)
t859 (t859)
t860 (t860)
t861 (t861)
t862 (t862)
t863 (t863)
t864 (t864)
t865 (t865)
t866 (t866)
t867 (t867)
t868 (t868)
t869 (t869)
t870 (t870)
t871 (t871)
t872 (t872)
t873 (t873)
t874 (t874)
t875 (t875)
t876 (t876)
t877 (t877)
t878 (t878)
t879 (t879)
t880 (t880)
t881 (t881)
t882 (t882)
t883 (t883)
t884 (t884)
t885 (t885)
t886 (t886)
t887 (t887)
t888 (t888)
t889 (t889)
t890 (t890)
t891 (t891)
t892 (t892)
t893 (t893)
t894 (t894)
t895 (t895)
t896 (t896)
t897 (t897)
t898 (t898)
t899 (t899)
t900 (t900)
t901 (t901)
t902 (t902)
t903 (t903)
t904 (t904)
t905 (t905)
t906 (t906)
t907 (t907)
t908 (t908)
t909 (t909)
t910 (t910)
t911 (t911)
t912 (t912)
t913 (t913)
t914 (t914)
t915 (t915)
t916 (t916)
t917 (t917)
t918 (t918)
t919 (t919)
t920 (t920)
t921 (t921)
t922 (t922)
t923 (t923)
t924 (t924)
t925 (t925)
t926 (t926)
t927 (t927)
t928 (t928)
t929 (t929)
t930 (t930)
t931 (t931)
t932 (t932)
t933 (t933)
t934 (t934)
t935 (t935)
t936 (t936)
t937 (t937)
t938 (t938)
t939 (t939)
t940 (t940)
t941 (t941)
t942 (t942)
t943 (t943)
t944 (t944)
t945 (t945)
t946 (t946)
t947 (t947)
t948 (t948)
t949 (t949)
t951 (t951)
t952 (t952)
t953 (t953)
t954 (t954)
t955 (t955)
t956 (t956)
t957 (t957)
t958 (t958)
t959 (t959)
t960 (t960)
t962 (t962)
t963 (t963)
t964 (t964)
t965 (t965)
t966 (t966)
t967 (t967)
t968 (t968)
t969 (t969)
t970 (t970)
t971 (t971)
t972 (t972)
t973 (t973)
t974 (t974)
t975 (t975)
t976 (t976)
t977 (t977)
t978 (t978)
t979 (t979)
t980 (t980)
t981 (t981)
t982 (t982)
t983 (t983)
t984 (t984)
t985 (t985)
t986 (t986)
t987 (t987)
t988 (t988)
t989 (t989)
t990 (t990)
t991 (t991)
t993 (t993)
t994 (t994)
t995 (t995)
t996 (t996)
t997 (t997)
t998 (t998)
t999 (t999)
t1000 (t1000)
t1001 (t1001)
t1002 (t1002)
t1003 (t1003)
t1004 (t1004)
t1005 (t1005)
t1006 (t1006)
t1007 (t1007)
t1008 (t1008)
t1009 (t1009)
t1013 (t1013)
t1014 (t1014)
t1015 (t1015)
t1016 (t1016)
t1017 (t1017)
t1018 (t1018)
t1019 (t1019)
t1020 (t1020)
t1021 (t1021)
t1022 (t1022)
t1027 (t1027)
t1029 (t1029)
t1030 (t1030)
t1031 (t1031)
t1032 (t1032)
t1033 (t1033)
t1036 (t1036)
t1038 (t1038)
t1039 (t1039)
t1040 (t1040)
t1041 (t1041)
t1042 (t1042)
t1043 (t1043)
t1044 (t1044)
t1045 (t1045)
t1046 (t1046)
t1047 (t1047)
t1057 (t1057)
t1059 (t1059)
t1060 (t1060)
t1061 (t1061)
t1062 (t1062)
t1063 (t1063)
t1064 (t1064)
t1065 (t1065)
t1066 (t1066)
t1067 (t1067)
t1068 (t1068)
t1073 (t1073)
t1074 (t1074)
t1075 (t1075)
t1076 (t1076)
t1077 (t1077)
t1078 (t1078)
t1079 (t1079)
t1080 (t1080)
t1081 (t1081)
t1082 (t1082)
t1091 (t1091)
t1092 (t1092)
t1093 (t1093)
t1094 (t1094)
t1095 (t1095)
t1096 (t1096)
t1097 (t1097)
t1098 (t1098)
t1099 (t1099)
t1100 (t1100)
t1101 (t1101)
t1102 (t1102)
t1103 (t1103)
t1104 (t1104)
t1105 (t1105)
t1112 (t1112)
t1113 (t1113)
t1114 (t1114)
t1115 (t1115)
t1116 (t1116)
t1120 (t1120)
t1121 (t1121)
t1122 (t1122)
t1123 (t1123)
t1124 (t1124)
t1125 (t1125)
t1126 (t1126)
t1127 (t1127)
t1128 (t1128)
t1129 (t1129)
t1130 (t1130)
t1131 (t1131)
t1132 (t1132)
t1133 (t1133)
t1134 (t1134)
t1138 (t1138)
t1139 (t1139)
t1140 (t1140)
t1141 (t1141)
t1142 (t1142)
t1143 (t1143)
t1144 (t1144)
t1145 (t1145)
t1146 (t1146)
t1147 (t1147)
t1148 (t1148)
t1149 (t1149)
t1150 (t1150)
t1151 (t1151)
t1152 (t1152)
t1153 (t1153)
t1154 (t1154)
t1155 (t1155)
t1156 (t1156)
t1157 (t1157)
t1158 (t1158)
t1159 (t1159)
t1160 (t1160)
t1161 (t1161)
t1162 (t1162)
t1163 (t1163)
t1164 (t1164)
t1165 (t1165)
t1166 (t1166)
t1167 (t1167)
t1168 (t1168)
t1169 (t1169)
t1170 (t1170)
t1171 (t1171)
t1172 (t1172)
t1173 (t1173)
t1174 (t1174)
t1175 (t1175)
t1176 (t1176)
t1177 (t1177)
t1178 (t1178)
t1179 (t1179)
t1180 (t1180)
t1181 (t1181)
t1182 (t1182)
t1183 (t1183)
t1184 (t1184)
t1185 (t1185)
t1186 (t1186)
t1187 (t1187)
t1188 (t1188)
t1189 (t1189)
t1190 (t1190)
t1191 (t1191)
t1192 (t1192)
t1193 (t1193)
t1194 (t1194)
t1195 (t1195)
t1196 (t1196)
t1197 (t1197)
t1198 (t1198)
t1199 (t1199)
t1200 (t1200)
t1201 (t1201)
t1202 (t1202)
t1203 (t1203)
t1204 (t1204)
t1205 (t1205)
t1206 (t1206)
t1207 (t1207)
t1208 (t1208)
t1209 (t1209)
t1210 (t1210)
t1211 (t1211)
t1212 (t1212)
t1213 (t1213)
t1214 (t1214)
t1215 (t1215)
t1216 (t1216)
t1217 (t1217)
t1218 (t1218)
t1219 (t1219)
t1220 (t1220)
t1221 (t1221)
t1222 (t1222)
t1223 (t1223)
t1224 (t1224)
t1225 (t1225)
t1226 (t1226)
t1227 (t1227)
t1228 (t1228)
t1229 (t1229)
t1230 (t1230)
t1231 (t1231)
t1232 (t1232)
t1233 (t1233)
t1234 (t1234)
t1235 (t1235)
t1236 (t1236)
t1237 (t1237)
t1238 (t1238)
t1239 (t1239)
t1240 (t1240)
t1241 (t1241)
t1242 (t1242)
t1243 (t1243)
t1244 (t1244)
t1245 (t1245)
t1246 (t1246)
t1247 (t1247)
t1248 (t1248)
t1249 (t1249)
t1250 (t1250)
t1251 (t1251)
t1252 (t1252)
t1253 (t1253)
t1254 (t1254)
t1255 (t1255)
t1256 (t1256)
t1257 (t1257)
t1258 (t1258)
t1259 (t1259)
t1260 (t1260)
t1261 (t1261)
t1262 (t1262)
t1263 (t1263)
t1264 (t1264)
t1265 (t1265)
t1266 (t1266)
t1267 (t1267)
t1268 (t1268)
t1269 (t1269)
t1270 (t1270)
t1271 (t1271)
t1272 (t1272)
t1273 (t1273)
t1274 (t1274)
t1275 (t1275)
t1276 (t1276)
t1277 (t1277)
t1278 (t1278)
t1279 (t1279)
t1280 (t1280)
t1281 (t1281)
t1282 (t1282)
t1283 (t1283)
ptnet_check.cc:63: Net check exception: Net check failed on the test:
"check if there are transitions without pre-places".
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SemanticWebServices-PT-S256P09"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool marcie"
echo " Input is SemanticWebServices-PT-S256P09, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r353-smll-167891801000425"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S256P09.tgz
mv SemanticWebServices-PT-S256P09 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;