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