Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_warehouses_cap91.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap91.wcsp.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 59391777
o 18849221
o 18820167
o 18804405
o 18753146
o 18724092
o 18708330
o 18696768
o 18685788
o 18682893
o 18671913
o 18628157
o 18599103
o 18583341
o 18582692
o 18575477
o 18550069
o 18534307
o 18533658
o 18526443
o 18519944
o 18517726
o 18515454
o 18509304
o 18508655
o 18501440
o 18466256
o 18437202
o 18421440
o 18420791
o 18413576
o 18388168
o 18372406
o 18371757
o 18364542
o 18358043
o 18355825
o 18353553
o 18347403
o 18346754
o 18339539
o 18330739
o 18322875
o 18318334
o 18311119
o 18310470
o 18303255
o 18270087
o 18241033
o 18225271
o 18224622
o 18217407
o 18191999
o 18176237
o 18175588
o 18168373
o 18161874
o 18159656
o 18157384
o 18151234
o 18150585
o 18143370
o 18138686
o 18136468
o 18134196
o 18099012
o 18069958
o 18054196
o 18053547
o 18046332
o 18020924
o 18005162
o 18004513
o 17997298
o 17990799
o 17988581
o 17986309
o 17980159
o 17979510
o 17972295
o 17963495
o 17955631
o 17951090
o 17943875
o 17943226
o 17936011
o 17902843
o 17873789
o 17858027
o 17857378
o 17850163
o 17824755
o 17808993
o 17808344
o 17801129
o 17794630
o 17792412
o 17790140
o 17783990
o 17783341
o 17776126
o 17774004
o 17760129
o 17759480
o 17752265
o 17745766
o 17743548
o 17741276
o 17735126
o 17727262
o 17713515
o 17705651
o 17701110
o 17693895
o 17693246
o 17686031
o 17676502
o 17647448
o 17631686
o 17631037
o 17623822
o 17598414
o 17582652
o 17582003
o 17574788
o 17568289
o 17566071
o 17563799
o 17557649
o 17557000
o 17549785
o 17549251
o 17543868
o 17536004
o 17531463
o 17524248
o 17523599
o 17516384
o 17483216
o 17454162
o 17438400
o 17437751
o 17430536
o 17405128
o 17389366
o 17388717
o 17381502
o 17375003
o 17372785
o 17370513
o 17364363
o 17363714
o 17356499
o 17347505
o 17346856
o 17339641
o 17333142
o 17330924
o 17328652
o 17322502
o 17314638
o 17300891
o 17293027
o 17288486
o 17281271
o 17280622
o 17273407
o 17263878
o 17234824
o 17219062
o 17218413
o 17211198
o 17185790
o 17170028
o 17169379
o 17162164
o 17155665
o 17153447
o 17151175
o 17145025
o 17144376
o 17137161
o 17137064
o 17129849
o 17109290
o 17093528
o 17092879
o 17085664
o 17079165
o 17076947
o 17074675
o 17068525
o 17067876
o 17060661
o 17058825
o 17056700
o 17050040
o 17042825
o 17037086
o 17034961
o 17030587
o 17028462
o 17026097
o 17023972
o 17017822
o 17009958
o 17004038
o 16990163
o 16982299
o 16975800
o 16973582
o 16971310
o 16965160
o 16957296
o 16950239
o 16924831
o 16909069
o 16908420
o 16901205
o 16894706
o 16892488
o 16890216
o 16884066
o 16883417
o 16876202
o 16869532
o 16868883
o 16861668
o 16846444
o 16832569
o 16831920
o 16824705
o 16818206
o 16815988
o 16813716
o 16807566
o 16799702
o 16795741
o 16781866
o 16774002
o 16767503
o 16765285
o 16763013
o 16756863
o 16748999
o 16743079
o 16729204
o 16721340
o 16714841
o 16712623
o 16710351
o 16704201
o 16696337
o 16687787
o 16673912
o 16666048
o 16659549
o 16657331
o 16655059
o 16648909
o 16641045
o 16624342
o 16610467
o 16602603
o 16596104
o 16593886
o 16591614
o 16585464
o 16577600
o 16573639
o 16559764
o 16551900
o 16545401
o 16543183
o 16540911
o 16534761
o 16526897
o 16520977
o 16507102
o 16499238
o 16492739
o 16490521
o 16488249
o 16482099
o 16474235
o 16465685
o 16451810
o 16443946
o 16437447
o 16435229
o 16432957
o 16426807
o 16418943
o 16414299
o 16412081
o 16409809
o 16405380
o 16391505
o 16383641
o 16371885
o 16364021
o 16358101
o 16344226
o 16336362
o 16329863
o 16327645
o 16325373
o 16319223
o 16311359
o 16304184
o 16301996
o 16299871
o 16298232
o 16296107
o 16294132
o 16292007
o 16291342
o 16284127
o 16276263
o 16274606
o 16272481
o 16265821
o 16258606
o 16252867
o 16250742
o 16246368
o 16244243
o 16241878
o 16239753
o 16233603
o 16225739
o 16217189
o 16203314
o 16195450
o 16188951
o 16186733
o 16184461
o 16178311
o 16170447
o 16167234
o 16165109
o 16158959
o 16151095
o 16145340
o 16143215
o 16135351
o 16135173
o 16130799
o 16128674
o 16126309
o 16124184
o 16118034
o 16110170
o 16106957
o 16104832
o 16098682
o 16090818
o 16085063
o 16082938
o 16075074
o 16072428
o 16070303
o 16064153
o 16056289
o 16050369
o 16036494
o 16028630
o 16022131
o 16019913
o 16017641
o 16011491
o 16003627
o 16000414
o 15998289
o 15992139
o 15984275
o 15978520
o 15976395
o 15968531
o 15967556
o 15965431
o 15963792
o 15961667
o 15959692
o 15957567
o 15956902
o 15949687
o 15941823
o 15940166
o 15938041
o 15931381
o 15924166
o 15918427
o 15916302
o 15911928
o 15909803
o 15907438
o 15905313
o 15899163
o 15891299
o 15882749
o 15868874
o 15861010
o 15854511
o 15852293
o 15850021
o 15843871
o 15836007
o 15832794
o 15830669
o 15824519
o 15816655
o 15810900
o 15808775
o 15800911
o 15800733
o 15796359
o 15794234
o 15791869
o 15789744
o 15783594
o 15775730
o 15772517
o 15770392
o 15764242
o 15756378
o 15750623
o 15748498
o 15740634
o 15737988
o 15735863
o 15729713
o 15721849
o 15715929
o 15702054
o 15694190
o 15687691
o 15685473
o 15683201
o 15677051
o 15669187
o 15665974
o 15663849
o 15657699
o 15649835
o 15644080
o 15641955
o 15634091
o 15631066
o 15630055
o 15625681
o 15623556
o 15621191
o 15619066
o 15612916
o 15605052
o 15601839
o 15599714
o 15593564
o 15585700
o 15579945
o 15577820
o 15569956
o 15567310
o 15565185
o 15559035
o 15551171
o 15545251
o 15531376
o 15523512
o 15517013
o 15514795
o 15512523
o 15506373
o 15498509
o 15495296
o 15493171
o 15487021
o 15479157
o 15473402
o 15471277
o 15463413
o 15461423
o 15459298
o 15453148
o 15445284
o 15439529
o 15437404
o 15429540
o 15426894
o 15424769
o 15418619
o 15410755
o 15404835
o 15390960
o 15383096
o 15376597
o 15374379
o 15372107
o 15365957
o 15358093
o 15354880
o 15352755
o 15346605
o 15338741
o 15332986
o 15330861
o 15322997
o 15321466
o 15319341
o 15313191
o 15305327
o 15299572
o 15297447
o 15289583
o 15286937
o 15284812
o 15278662
o 15270798
o 15264878
o 15251003
o 15243139
o 15236640
o 15234422
o 15232150
o 15226000
o 15218136
o 15214923
o 15212798
o 15206648
o 15198784
o 15193029
o 15190904
o 15183040
o 15179923
o 15178912
o 15169281
o 15167156
o 15159292
o 15156079
o 15153954
o 15147804
o 15139940
o 15134185
o 15132060
o 15124196
o 15119889
o 15112025
o 15100269
o 15092405
o 15089192
o 15087067
o 15080917
o 15073053
o 15067298
o 15065173
o 15057309
o 15052408
o 15044544
o 15032788
o 15024924
o 15021711
o 15019586
o 15013436
o 15005572
o 14999817
o 14997692
o 14989828
o 14984914
o 14982789
o 14980571
o 14978299
o 14974345
o 14972220
o 14964356
o 14959442
o 14957317
o 14955099
o 14952827
o 14948638
o 14946513
o 14945969
o 14940774
o 14938649
o 14934242
o 14932024
o 14929752
o 14927066
o 14926055
o 14921681
o 14919556
o 14917191
o 14915066
o 14908916
o 14901052
o 14897839
o 14895714
o 14889564
o 14881700
o 14875945
o 14873820
o 14865956
o 14861649
o 14853785
o 14842029
o 14834165
o 14830952
o 14828827
o 14822677
o 14814813
o 14809058
o 14806933
o 14799069
o 14794168
o 14786304
o 14774548
o 14766684
o 14763471
o 14761346
o 14755196
o 14747332
o 14741577
o 14739452
o 14731588
o 14726674
o 14724549
o 14722331
o 14720059
o 14717671
o 14715546
o 14709807
o 14707682
o 14699802
o 14691938
o 14687024
o 14684899
o 14682681
o 14680409
o 14678127
o 14676002
o 14673784
o 14671512
o 14666902
o 14664777
o 14659029
o 14651165
o 14648140
o 14647129
o 14642755
o 14640630
o 14638265
o 14636140
o 14629990
o 14622126
o 14618913
o 14616788
o 14610638
o 14602774
o 14597019
o 14594894
o 14587030
o 14584384
o 14582259
o 14576109
o 14568245
o 14562325
o 14548450
o 14540586
o 14534087
o 14531869
o 14529597
o 14523447
o 14515583
o 14512370
o 14510245
o 14504095
o 14496231
o 14490476
o 14488351
o 14480487
o 14478497
o 14476372
o 14470222
o 14462358
o 14456603
o 14454478
o 14446614
o 14443968
o 14441843
o 14435693
o 14427829
o 14421909
o 14408034
o 14400170
o 14393671
o 14391453
o 14389181
o 14383031
o 14375167
o 14371954
o 14369829
o 14363679
o 14355815
o 14350060
o 14347935
o 14340071
o 14338540
o 14336415
o 14330265
o 14322401
o 14316646
o 14314521
o 14306657
o 14304011
o 14301886
o 14295736
o 14287872
o 14281952
o 14268077
o 14260213
o 14253714
o 14251496
o 14249224
o 14243074
o 14235210
o 14231997
o 14229872
o 14223722
o 14215858
o 14210103
o 14207978
o 14200114
o 14196997
o 14195986
o 14186355
o 14184230
o 14176366
o 14173153
o 14171028
o 14164878
o 14157014
o 14151259
o 14149134
o 14141270
o 14136963
o 14129099
o 14117343
o 14109479
o 14106266
o 14104141
o 14097991
o 14090127
o 14084372
o 14082247
o 14074383
o 14069482
o 14061618
o 14049862
o 14041998
o 14038785
o 14036660
o 14030510
o 14022646
o 14016891
o 14014766
o 14006902
o 14001988
o 13999863
o 13997645
o 13995373
o 13992985
o 13990860
o 13985121
o 13982996
o 13975116
o 13967252
o 13962338
o 13960213
o 13957995
o 13955723
o 13953441
o 13951316
o 13949098
o 13946826
o 13946113
o 13943988
o 13942349
o 13940224
o 13938249
o 13936124
o 13928244
o 13920380
o 13915466
o 13913341
o 13911123
o 13908851
o 13904662
o 13902537
o 13901993
o 13896798
o 13894673
o 13890266
o 13888048
o 13885776
o 13883366
o 13882355
o 13878547
o 13876422
o 13874057
o 13871932
o 13867525
o 13865307
o 13863035
o 13860742
o 13858617
o 13853565
o 13851440
o 13849075
o 13846950
o 13842543
o 13840325
o 13838053
o 13834245
o 13832120
o 13829755
o 13827630
o 13823223
o 13821005
o 13818733
o 13816440
o 13814315
o 13812341
o 13809591
o 13807466
o 13805173
o 13803048
o 13797291
o 13795166
o 13792801
o 13790676
o 13786269
o 13784051
o 13781779
o 13777971
o 13775846
o 13773481
o 13771356
o 13766949
o 13764731
o 13762459
o 13760166
o 13758041
o 13756867
o 13752795
o 13752377
o 13750577
o 13748305
o 13747743
o 13742548
o 13740423
o 13738058
o 13735933
o 13731526
o 13729308
o 13727036
o 13723228
o 13721103
o 13718738
o 13716613
o 13712206
o 13709988
o 13707716
o 13705423
o 13703298
o 13698245
o 13696120
o 13691713
o 13689495
o 13687223
o 13683415
o 13681290
o 13678925
o 13676800
o 13672393
o 13670175
o 13667903
o 13665610
o 13663485
o 13662432
o 13660457
o 13658332
o 13657942
o 13655967
o 13653842
o 13653177
o 13645962
o 13638098
o 13633184
o 13631059
o 13628841
o 13626569
o 13622380
o 13620255
o 13614516
o 13612391
o 13607984
o 13605766
o 13603494
o 13602142
o 13599639
o 13597514
o 13591775
o 13589650
o 13585243
o 13583025
o 13580753
o 13578460
o 13576335
o 13571283
o 13569158
o 13566793
o 13564668
o 13560261
o 13558043
o 13555771
o 13551963
o 13549838
o 13547473
o 13545348
o 13540941
o 13538723
o 13536451
o 13534158
o 13532033
o 13526538
o 13524413
o 13522048
o 13519923
o 13512884
o 13510666
o 13508394
o 13506112
o 13503987
o 13501769
o 13499497
o 13495689
o 13493564
o 13491199
o 13489074
o 13484667
o 13482449
o 13480177
o 13477884
o 13475759
o 13473755
o 13471630
o 13469265
o 13467140
o 13462733
o 13460515
o 13458243
o 13454435
o 13452310
o 13449945
o 13447820
o 13443413
o 13441195
o 13438923
o 13436630
o 13434505
o 13433943
o 13428748
o 13426623
o 13424258
o 13422133
o 13417726
o 13415508
o 13413236
o 13409428
o 13407303
o 13404938
o 13402813
o 13398406
o 13396188
o 13393916
o 13391623
o 13389498
o 13387818
o 13385693
o 13385275
o 13383475
o 13381203
o 13376508
o 13374383
o 13368635
o 13366777
o 13360771
o 13359931
o 13355557
o 13353432
o 13351067
o 13348942
o 13348798
o 13342792
o 13340934
o 13334928
o 13331715
o 13329590
o 13329446
o 13323440
o 13321582
o 13315576
o 13309821
o 13307696
o 13305838
o 13299832
o 13294918
o 13292793
o 13290575
o 13288303
o 13285915
o 13283790
o 13278051
o 13275926
o 13274052
o 13268046
o 13266188
o 13260182
o 13255268
o 13253143
o 13250925
o 13248653
o 13246371
o 13244246
o 13242028
o 13239756
o 13239043
o 13236918
o 13235279
o 13233154
o 13231179
o 13229054
o 13227180
o 13221174
o 13219316
o 13213310
o 13208396
o 13206271
o 13204053
o 13201781
o 13197592
o 13195467
o 13194923
o 13189728
o 13187603
o 13183196
o 13180978
o 13178706
o 13177354
o 13174851
o 13172726
o 13166987
o 13164862
o 13160455
o 13158237
o 13155965
o 13153672
o 13151547
o 13146495
o 13144370
o 13142005
o 13139880
o 13135473
o 13133255
o 13130983
o 13127175
o 13125050
o 13122685
o 13120560
o 13116153
o 13113935
o 13111663
o 13109370
o 13107245
o 13101750
o 13099625
o 13097260
o 13095135
o 13094102
o 13088096
o 13085878
o 13083606
o 13081324
o 13079199
o 13076981
o 13074709
o 13070901
o 13068776
o 13066411
o 13064286
o 13059879
o 13057661
o 13055389
o 13053096
o 13050971
o 13048967
o 13046842
o 13044477
o 13042352
o 13037945
o 13035727
o 13033455
o 13029647
o 13027522
o 13025157
o 13023032
o 13018625
o 13016407
o 13014135
o 13011842
o 13009717
o 13009155
o 13003960
o 13001835
o 12999470
o 12997345
o 12992938
o 12990720
o 12988448
o 12984640
o 12982515
o 12980150
o 12978025
o 12973618
o 12971400
o 12969128
o 12966835
o 12964710
o 12963030
o 12960905
o 12960487
o 12958687
o 12956415
o 12952368
o 12950243
o 12944495
o 12936631
o 12933606
o 12932595
o 12928221
o 12926096
o 12923731
o 12921606
o 12915456
o 12907592
o 12904379
o 12902254
o 12896104
o 12888240
o 12882485
o 12880360
o 12872496
o 12869850
o 12867725
o 12861575
o 12853711
o 12847791
o 12833916
o 12826052
o 12819553
o 12817335
o 12815063
o 12808913
o 12801049
o 12797836
o 12795711
o 12789561
o 12781697
o 12775942
o 12773817
o 12765953
o 12764422
o 12762297
o 12756147
o 12748283
o 12742528
o 12740403
o 12732539
o 12729893
o 12727768
o 12721618
o 12713754
o 12707834
o 12693959
o 12686095
o 12679596
o 12677378
o 12675106
o 12668956
o 12661092
o 12657879
o 12655754
o 12649604
o 12641740
o 12635985
o 12633860
o 12625996
o 12622879
o 12621868
o 12612237
o 12610112
o 12602248
o 12599035
o 12596910
o 12590760
o 12582896
o 12577141
o 12575016
o 12567152
o 12562845
o 12554981
o 12543225
o 12535361
o 12532148
o 12530023
o 12523873
o 12516009
o 12510254
o 12508129
o 12500265
o 12495364
o 12487500
o 12475744
o 12467880
o 12464667
o 12462542
o 12456392
o 12448528
o 12442773
o 12440648
o 12432784
o 12427870
o 12425745
o 12423527
o 12421255
o 12418867
o 12416742
o 12411003
o 12408878
o 12400998
o 12393134
o 12388220
o 12386095
o 12383877
o 12381605
o 12379323
o 12377198
o 12374980
o 12372708
o 12371995
o 12369870
o 12368231
o 12366106
o 12364131
o 12362006
o 12354126
o 12346262
o 12341348
o 12339223
o 12337005
o 12334733
o 12330544
o 12328419
o 12327875
o 12322680
o 12320555
o 12316148
o 12313930
o 12311658
o 12310306
o 12307803
o 12305678
o 12299939
o 12297814
o 12293407
o 12291189
o 12288917
o 12286624
o 12284499
o 12279447
o 12277322
o 12274957
o 12272832
o 12268425
o 12266207
o 12263935
o 12260127
o 12258002
o 12255637
o 12253512
o 12249105
o 12246887
o 12244615
o 12242322
o 12240197
o 12234702
o 12232577
o 12230212
o 12228087
o 12221048
o 12218830
o 12216558
o 12214276
o 12212151
o 12209933
o 12207661
o 12203853
o 12201728
o 12199363
o 12197238
o 12192831
o 12190613
o 12188341
o 12186048
o 12183923
o 12181919
o 12179794
o 12177429
o 12175304
o 12170897
o 12168679
o 12166407
o 12162599
o 12160474
o 12158109
o 12155984
o 12151577
o 12149359
o 12147087
o 12144794
o 12142669
o 12142107
o 12136912
o 12134787
o 12132422
o 12130297
o 12125890
o 12123672
o 12121400
o 12117592
o 12115467
o 12113102
o 12110977
o 12106570
o 12104352
o 12102080
o 12099787
o 12097662
o 12095982
o 12093857
o 12093439
o 12091639
o 12089367
o 12087431
o 12085306
o 12084271
o 12082146
o 12081728
o 12079928
o 12077656
o 12077595
o 12077177
o 12075230
o 12073105
o 12071244
o 12067172
o 12066754
o 12064954
o 12062682
o 12058275
o 12057857
o 12056057
o 12053785
o 12051781
o 12049656
o 12047291
o 12045166
o 12040759
o 12038541
o 12036269
o 12032461
o 12030336
o 12027971
o 12025846
o 12021439
o 12019221
o 12016949
o 12014656
o 12012531
o 12011969
o 12006774
o 12004649
o 12002284
o 12000159
o 11995752
o 11993534
o 11991262
o 11987454
o 11985329
o 11982964
o 11980839
o 11976432
o 11974214
o 11971942
o 11969649
o 11967524
o 11965844
o 11963719
o 11963301
o 11961501
o 11959229
o 11957293
o 11955168
o 11954133
o 11952008
o 11951590
o 11949790
o 11947518
o 11944059
o 11941934
o 11936195
o 11934070
o 11929663
o 11927445
o 11925173
o 11921365
o 11919240
o 11916875
o 11914750
o 11910343
o 11908125
o 11905853
o 11903560
o 11901435
o 11899499
o 11897374
o 11896339
o 11894214
o 11893796
o 11891996
o 11889724
o 11888745
o 11886798
o 11884673
o 11884255
o 11882308
o 11880183
o 11879848
o 11877901
o 11875776
o 11875358
o 11873411
o 11871286
o 11868940
o 11867225
o 11864065
o 11863647
o 11861847
o 11859575
o 11857829
o 11855704
o 11853339
o 11851214
o 11846807
o 11844589
o 11842317
o 11838509
o 11836384
o 11834019
o 11831894
o 11827487
o 11825269
o 11822997
o 11820704
o 11818579
o 11818358
o 11816233
o 11814518
o 11813483
o 11811358
o 11810940
o 11809140
o 11806868
o 11806367
o 11803864
o 11801739
o 11796000
o 11793875
o 11791593
o 11789468
o 11787103
o 11784978
o 11782832
o 11780560
o 11778624
o 11776499
o 11775464
o 11773339
o 11772921
o 11771121
o 11768849
o 11768704
o 11766757
o 11764632
o 11764214
o 11762267
o 11760142
o 11759807
o 11757860
o 11755735
o 11755317
o 11753370
o 11751245
o 11748899
o 11747184
o 11744024
o 11743606
o 11741806
o 11739534
o 11737788
o 11735663
o 11733298
o 11731173
o 11726766
o 11724548
o 11722276
o 11718468
o 11716343
o 11713978
o 11711853
o 11707446
o 11705228
o 11702956
o 11700663
o 11698538
o 11698317
o 11696192
o 11694477
o 11693442
o 11691317
o 11690899
o 11689099
o 11686827
o 11686326
o 11683823
o 11681698
o 11675959
o 11673834
o 11671552
o 11669427
o 11667062
o 11664937
o 11662791
o 11660519
o 11658583
o 11656458
o 11655423
o 11653298
o 11652880
o 11651080
o 11648808
o 11647581
o 11646546
o 11644421
o 11644003
o 11642203
o 11639931
o 11638050
o 11637503
o 11635378
o 11634151
o 11630991
o 11629661
o 11626501
o 11624620
o 11623658
o 11621533
o 11620671
o 11619636
o 11617511
o 11617146
o 11616284
o 11613124
o 11611794
o 11608634
o 11606753
o 11606248
o 11603088
o 11602670
o 11600870
o 11598598
o 11597351
o 11594191
o 11593773
o 11591973
o 11589701
o 11588474
o 11587439
o 11585314
o 11583984
o 11582949
o 11580824
o 11578943
o 11577076
o 11574951
o 11573916
o 11571791
o 11571373
o 11569426
o 11567301
o 11566054
o 11565019
o 11562894
o 11562476
o 11560529
o 11558404
o 11557177
o 11556142
o 11554017
o 11552687
o 11551652
o 11549527
o 11547646
o 11546085
o 11545223
o 11544188
o 11542063
o 11540182
o 11537210
o 11535085
o 11530678
o 11528460
o 11526188
o 11522380
o 11520255
o 11517890
o 11515765
o 11511358
o 11509140
o 11506868
o 11504575
o 11502450
o 11501888
o 11496693
o 11494568
o 11492203
o 11490078
o 11485671
o 11483453
o 11481181
o 11477373
o 11475248
o 11472883
o 11470758
o 11466351
o 11464133
o 11461861
o 11459568
o 11457443
o 11455763
o 11453638
o 11453220
o 11451420
o 11449148
o 11447212
o 11445087
o 11444052
o 11441927
o 11441509
o 11439709
o 11437437
o 11433978
o 11431853
o 11426114
o 11423989
o 11419582
o 11417364
o 11415092
o 11411284
o 11409159
o 11406794
o 11404669
o 11400262
o 11398044
o 11395772
o 11393479
o 11391354
o 11389418
o 11387293
o 11386258
o 11384133
o 11383715
o 11381915
o 11379643
o 11378664
o 11376717
o 11374592
o 11374174
o 11372227
o 11370102
o 11369767
o 11367820
o 11365695
o 11365277
o 11363330
o 11361205
o 11358859
o 11357144
o 11353984
o 11353566
o 11351766
o 11349494
o 11347748
o 11345623
o 11343258
o 11341133
o 11336726
o 11334508
o 11332236
o 11328428
o 11326303
o 11323938
o 11321813
o 11317406
o 11315188
o 11312916
o 11310623
o 11308498
o 11308277
o 11306152
o 11304437
o 11303402
o 11301277
o 11300859
o 11299059
o 11296787
o 11296286
o 11293783
o 11291658
o 11285919
o 11283794
o 11281512
o 11279387
o 11277022
o 11274897
o 11272751
o 11270479
o 11268543
o 11266418
o 11265383
o 11263258
o 11262840
o 11261040
o 11258768
o 11258623
o 11256676
o 11254551
o 11254133
o 11252186
o 11250061
o 11249726
o 11247779
o 11245654
o 11245236
o 11243289
o 11241164
o 11238818
o 11237103
o 11233943
o 11233525
o 11231725
o 11229453
o 11227707
o 11225582
o 11223217
o 11221092
o 11216685
o 11214467
o 11212195
o 11208387
o 11206262
o 11203897
o 11201772
o 11197365
o 11195147
o 11192875
o 11190582
o 11188457
o 11188236
o 11186111
o 11184396
o 11183361
o 11181236
o 11180818
o 11179018
o 11176746
o 11176245
o 11173742
o 11171617
o 11165878
o 11163753
o 11161471
o 11159346
o 11156981
o 11154856
o 11152710
o 11150438
o 11148502
o 11146377
o 11145342
o 11143217
o 11142799
o 11140999
o 11138727
o 11137500
o 11136465
o 11134340
o 11133010
o 11131975
o 11129850
o 11127969
o 11126102
o 11123977
o 11122942
o 11120817
o 11120399
o 11118452
o 11116327
o 11115080
o 11114045
o 11111920
o 11111502
o 11109555
o 11107430
o 11106203
o 11105168
o 11103043
o 11101713
o 11100678
o 11098553
o 11096672
o 11096167
o 11093007
o 11092589
o 11090789
o 11088517
o 11087270
o 11084110
o 11083692
o 11081892
o 11079620
o 11078393
o 11077358
o 11075233
o 11073903
o 11072868
o 11070743
o 11068862
o 11066995
o 11064870
o 11063835
o 11061710
o 11061292
o 11059345
o 11057220
o 11055973
o 11054938
o 11052813
o 11052395
o 11050448
o 11048323
o 11047096
o 11046061
o 11043936
o 11042606
o 11041571
o 11039446
o 11037565
o 11036004
o 11035142
o 11034107
o 11031982
o 11030101
o 11028247
o 11026122
o 11025704
o 11023757
o 11021632
o 11021297
o 11019350
o 11017225
o 11016807
o 11014860
o 11012735
o 11012514
o 11010389
o 11008674
o 11007639
o 11005514
o 11005096
o 11003149
o 11001024
o 11000548
o 10998423
o 10997388
o 10995263
o 10994631
o 10992684
o 10990559
o 10989524
o 10987399
o 10986152
o 10982992
o 10982574
o 10980774
o 10978502
o 10977275
o 10976240
o 10974115
o 10972785
o 10971750
o 10969625
o 10967744
o 10965877
o 10963752
o 10962717
o 10960592
o 10960174
o 10958227
o 10956102
o 10954855
o 10953820
o 10951695
o 10951277
o 10949330
o 10947205
o 10945978
o 10944943
o 10942818
o 10941488
o 10940453
o 10938328
o 10936447
o 10935942
o 10932782
o 10932364
o 10930564
o 10928292
o 10927045
o 10923885
o 10923467
o 10921667
o 10919395
o 10918168
o 10917133
o 10915008
o 10913678
o 10912643
o 10910518
o 10908637
o 10906770
o 10904645
o 10903610
o 10901485
o 10901067
o 10899120
o 10896995
o 10895748
o 10894713
o 10892588
o 10892170
o 10890223
o 10888098
o 10886871
o 10885836
o 10883711
o 10882381
o 10881346
o 10879221
o 10877340
o 10875779
o 10874917
o 10873882
o 10871757
o 10869876
o 10868726
o 10867691
o 10865566
o 10865148
o 10863201
o 10861076
o 10859849
o 10856689
o 10855359
o 10852199
o 10850318
o 10849356
o 10847231
o 10846369
o 10845334
o 10843209
o 10842844
o 10841982
o 10838822
o 10837492
o 10834332
o 10832451
o 10830890
o 10830028
o 10828993
o 10826868
o 10824987
o 10824352
o 10822637
o 10821602
o 10819477
o 10816898
o 10814773
o 10813738
o 10811613
o 10810355
o 10807195
o 10805968
o 10804933
o 10802808
o 10801478
o 10800443
o 10798318
o 10796437
o 10795475
o 10793350
o 10792488
o 10791453
o 10789328
o 10788963
o 10788101
o 10784941
o 10783611
o 10780451
o 10778570
o 10777009
o 10776147
o 10775112
o 10772987
o 10771106
o 10769956
o 10768921
o 10766796
o 10766378
o 10764431
o 10762306
o 10761079
o 10757919
o 10756589
o 10753429
o 10751548
o 10750586
o 10748461
o 10747599
o 10746564
o 10744439
o 10744074
o 10743212
o 10740052
o 10738722
o 10735562
o 10733681
o 10732120
o 10731258
o 10730223
o 10728098
o 10726217
o 10724459
o 10722334
o 10721299
o 10719174
o 10718756
o 10716809
o 10714684
o 10713437
o 10712402
o 10710277
o 10707912
o 10705787
o 10704560
o 10703525
o 10701400
o 10700070
o 10699035
o 10696910
o 10695029
o 10693468
o 10692606
o 10691571
o 10689446
o 10687565
o 10686066
o 10683941
o 10681994
o 10679869
o 10679648
o 10677523
o 10675808
o 10674773
o 10672648
o 10672230
o 10670283
o 10668158
o 10666931
o 10665896
o 10663771
o 10662441
o 10661406
o 10659281
o 10657400
o 10655839
o 10654977
o 10653942
o 10651817
o 10649936
o 10649124
o 10646999
o 10646137
o 10645102
o 10642977
o 10641096
o 10639857
o 10638822
o 10636697
o 10636279
o 10634332
o 10632207
o 10630980
o 10627820
o 10626490
o 10623330
o 10621449
o 10620487
o 10618362
o 10617500
o 10616465
o 10614340
o 10613975
o 10613113
o 10609953
o 10608623
o 10605463
o 10603582
o 10602021
o 10601159
o 10600124
o 10597999
o 10596118
o 10594968
o 10593933
o 10591808
o 10591390
o 10589443
o 10587318
o 10586091
o 10582931
o 10581601
o 10578441
o 10576560
o 10575598
o 10573473
o 10572611
o 10571576
o 10569451
o 10569086
o 10568224
o 10565064
o 10563734
o 10560574
o 10558693
o 10557132
o 10556270
o 10555235
o 10553110
o 10551229
o 10550459
o 10548334
o 10547472
o 10546437
o 10544312
o 10542431
o 10540870
o 10540008
o 10538973
o 10536848
o 10534967
o 10533468
o 10531343
o 10529396
o 10527271
o 10527050
o 10524925
o 10523210
o 10522175
o 10520050
o 10519632
o 10517685
o 10515560
o 10514333
o 10513298
o 10511173
o 10509843
o 10508808
o 10506683
o 10504802
o 10503241
o 10502379
o 10501344
o 10499219
o 10497338
o 10495580
o 10493455
o 10492420
o 10490295
o 10489877
o 10487930
o 10485805
o 10484558
o 10483523
o 10481398
o 10479033
o 10476908
o 10475681
o 10474646
o 10472521
o 10471191
o 10470156
o 10468031
o 10466150
o 10464589
o 10463727
o 10462692
o 10460567
o 10458686
o 10457187
o 10455062
o 10453115
o 10450990
o 10450769
o 10448644
o 10446929
o 10445894
o 10443769
o 10443351
o 10441404
o 10439279
o 10438052
o 10437017
o 10434892
o 10433562
o 10432527
o 10430402
o 10428521
o 10426960
o 10426098
o 10425063
o 10422938
o 10421057
o 10420485
o 10418770
o 10417735
o 10415610
o 10413031
o 10410906
o 10409871
o 10407746
o 10406488
o 10403328
o 10402101
o 10401066
o 10398941
o 10397611
o 10396576
o 10394451
o 10392570
o 10391608
o 10389483
o 10388621
o 10387586
o 10385461
o 10385096
o 10384234
o 10381074
o 10379744
o 10376584
o 10374703
o 10373142
o 10372280
o 10371245
o 10369120
o 10367239
o 10366089
o 10365054
o 10362929
o 10362511
o 10360564
o 10358439
o 10357212
o 10354052
o 10352722
o 10349562
o 10347681
o 10346719
o 10344594
o 10343732
o 10342697
o 10340572
o 10340207
o 10339345
o 10336185
o 10334855
o 10331695
o 10329814
o 10328253
o 10327391
o 10326356
o 10324231
o 10322350
o 10322247
o 10321212
o 10319087
o 10318907
o 10316782
o 10315920
o 10314885
o 10312760
o 10310879
o 10309640
o 10308605
o 10306480
o 10306062
o 10304115
o 10301990
o 10300763
o 10297603
o 10296273
o 10293113
o 10291232
o 10290270
o 10288145
o 10287283
o 10286248
o 10284123
o 10283758
o 10282896
o 10279736
o 10278406
o 10275246
o 10273365
o 10271804
o 10270942
o 10269907
o 10267782
o 10265901
o 10264751
o 10263716
o 10261591
o 10261173
o 10259226
o 10257101
o 10255874
o 10252714
o 10251384
o 10248224
o 10246343
o 10245381
o 10243256
o 10242394
o 10241359
o 10239234
o 10238869
o 10238007
o 10234847
o 10233517
o 10230357
o 10228476
o 10226915
o 10226053
o 10225018
o 10222893
o 10221012
o 10220465
o 10218340
o 10217093
o 10216058
o 10213933
o 10213515
o 10211568
o 10209443
o 10208216
o 10205056
o 10203726
o 10200566
o 10198685
o 10197723
o 10195598
o 10194736
o 10193701
o 10191576
o 10191211
o 10190349
o 10187189
o 10185859
o 10182699
o 10180818
o 10179257
o 10178395
o 10177360
o 10175235
o 10173354
o 10172204
o 10171169
o 10169044
o 10168626
o 10166679
o 10164554
o 10163327
o 10160167
o 10158837
o 10155677
o 10153796
o 10152834
o 10150709
o 10149847
o 10148812
o 10146687
o 10146322
o 10145460
o 10142300
o 10140970
o 10137810
o 10135929
o 10134368
o 10133506
o 10132471
o 10130346
o 10128465
o 10126517
o 10124392
o 10123357
o 10121232
o 10119985
o 10118950
o 10116825
o 10114460
o 10112335
o 10111108
o 10110073
o 10107948
o 10106618
o 10105583
o 10103458
o 10101577
o 10100016
o 10099154
o 10098119
o 10095994
o 10094113
o 10092614
o 10090489
o 10088542
o 10086417
o 10086196
o 10084071
o 10082356
o 10081321
o 10079196
o 10078778
o 10076831
o 10074706
o 10073479
o 10072444
o 10070319
o 10068989
o 10067954
o 10065829
o 10063948
o 10062387
o 10061525
o 10060490
o 10058365
o 10056484
o 10055513
o 10053388
o 10052353
o 10050228
o 10048482
o 10046357
o 10043992
o 10041867
o 10037460
o 10035242
o 10032970
o 10029162
o 10027037
o 10024672
o 10022547
o 10018140
o 10015922
o 10013650
o 10011357
o 10009232
o 10009011
o 10006886
o 10005171
o 10004136
o 10002011
o 10001593
o 9999793
o 9997521
o 9997045
o 9994920
o 9993885
o 9991760
o 9991128
o 9989181
o 9987056
o 9986021
o 9983896
o 9982649
o 9979489
o 9979071
o 9977271
o 9974999
o 9974854
o 9972907
o 9970782
o 9970364
o 9968417
o 9966292
o 9965957
o 9964010
o 9961885
o 9961467
o 9959520
o 9957395
o 9955049
o 9953334
o 9950174
o 9949756
o 9947956
o 9945684
o 9943938
o 9941813
o 9939448
o 9937323
o 9932916
o 9930698
o 9928426
o 9924618
o 9922493
o 9920128
o 9918003
o 9913596
o 9911378
o 9909106
o 9906813
o 9904688
o 9904467
o 9902342
o 9900627
o 9899592
o 9897467
o 9897049
o 9895249
o 9892977
o 9892476
o 9889973
o 9887848
o 9882109
o 9879984
o 9877702
o 9875577
o 9873212
o 9871087
o 9868941
o 9866669
o 9864733
o 9862608
o 9861573
o 9859448
o 9859030
o 9857230
o 9854958
o 9853731
o 9852696
o 9850571
o 9849241
o 9848206
o 9846081
o 9844200
o 9842333
o 9840208
o 9839173
o 9837048
o 9836630
o 9834683
o 9832558
o 9831311
o 9830276
o 9828151
o 9827733
o 9825786
o 9823661
o 9822434
o 9821399
o 9819274
o 9817944
o 9816909
o 9814784
o 9812903
o 9812398
o 9809238
o 9808820
o 9807020
o 9804748
o 9803501
o 9800341
o 9799923
o 9798123
o 9795851
o 9794624
o 9793589
o 9791464
o 9790134
o 9789099
o 9786974
o 9785093
o 9783226
o 9781101
o 9780066
o 9777941
o 9777523
o 9775576
o 9773451
o 9772204
o 9771169
o 9769044
o 9768626
o 9766679
o 9764554
o 9763327
o 9762292
o 9760167
o 9758837
o 9757802
o 9755677
o 9753796
o 9752235
o 9751373
o 9750338
o 9748213
o 9746332
o 9744478
o 9742353
o 9741935
o 9739988
o 9737863
o 9737528
o 9735581
o 9733456
o 9733038
o 9731091
o 9728966
o 9728745
o 9726620
o 9724905
o 9723870
o 9721745
o 9721327
o 9719380
o 9717255
o 9716779
o 9714654
o 9713619
o 9711494
o 9710862
o 9708915
o 9706790
o 9705755
o 9703630
o 9702383
o 9699223
o 9698805
o 9697005
o 9694733
o 9693506
o 9692471
o 9690346
o 9689016
o 9687981
o 9685856
o 9683975
o 9682108
o 9679983
o 9678948
o 9676823
o 9676405
o 9674458
o 9672333
o 9671086
o 9670051
o 9667926
o 9667508
o 9665561
o 9663436
o 9662209
o 9661174
o 9659049
o 9657719
o 9656684
o 9654559
o 9652678
o 9652173
o 9649013
o 9648595
o 9646795
o 9644523
o 9643276
o 9640116
o 9639698
o 9637898
o 9635626
o 9634399
o 9633364
o 9631239
o 9629909
o 9628874
o 9626749
o 9624868
o 9623001
o 9620876
o 9619841
o 9617716
o 9617298
o 9615351
o 9613226
o 9611979
o 9610944
o 9608819
o 9608401
o 9606454
o 9604329
o 9603102
o 9602067
o 9599942
o 9598612
o 9597577
o 9595452
o 9593571
o 9592010
o 9591148
o 9590113
o 9587988
o 9586107
o 9584957
o 9583922
o 9581797
o 9581379
o 9579432
o 9577307
o 9576080
o 9572920
o 9571590
o 9568430
o 9566549
o 9565587
o 9563462
o 9562600
o 9561565
o 9559440
o 9559075
o 9558213
o 9555053
o 9553723
o 9550563
o 9548682
o 9547121
o 9546259
o 9545224
o 9543099
o 9541218
o 9540583
o 9538868
o 9537833
o 9535708
o 9533129
o 9531004
o 9529969
o 9527844
o 9526586
o 9523426
o 9522199
o 9521164
o 9519039
o 9517709
o 9516674
o 9514549
o 9512668
o 9511706
o 9509581
o 9508719
o 9507684
o 9505559
o 9505194
o 9504332
o 9501172
o 9499842
o 9496682
o 9494801
o 9493240
o 9492378
o 9491343
o 9489218
o 9487337
o 9486187
o 9485152
o 9483027
o 9482609
o 9480662
o 9478537
o 9477310
o 9474150
o 9472820
o 9469660
o 9467779
o 9466817
o 9464692
o 9463830
o 9462795
o 9460670
o 9460305
o 9459443
o 9456283
o 9454953
o 9451793
o 9449912
o 9448351
o 9447489
o 9446454
o 9444329
o 9442448
o 9440690
o 9438565
o 9437530
o 9435405
o 9434987
o 9433040
o 9430915
o 9429668
o 9428633
o 9426508
o 9424143
o 9422018
o 9420791
o 9419756
o 9417631
o 9416301
o 9415266
o 9413141
o 9411260
o 9409699
o 9408837
o 9407802
o 9405677
o 9403796
o 9402297
o 9400172
o 9398225
o 9396100
o 9395879
o 9393754
o 9392039
o 9391004
o 9388879
o 9388461
o 9386514
o 9384389
o 9383162
o 9382127
o 9380002
o 9378672
o 9377637
o 9375512
o 9373631
o 9372070
o 9371208
o 9370173
o 9368048
o 9366167
o 9365595
o 9363880
o 9362845
o 9360720
o 9358141
o 9356016
o 9354981
o 9352856
o 9351598
o 9348438
o 9347211
o 9346176
o 9344051
o 9342721
o 9341686
o 9339561
o 9337680
o 9336718
o 9334593
o 9333731
o 9332696
o 9330571
o 9330206
o 9329344
o 9326184
o 9324854
o 9321694
o 9319813
o 9318252
o 9317390
o 9316355
o 9314230
o 9312349
o 9311199
o 9310164
o 9308039
o 9307621
o 9305674
o 9303549
o 9302322
o 9299162
o 9297832
o 9294672
o 9292791
o 9291829
o 9289704
o 9288842
o 9287807
o 9285682
o 9285317
o 9284455
o 9281295
o 9279965
o 9276805
o 9274924
o 9273363
o 9272501
o 9271466
o 9269341
o 9267460
o 9266690
o 9264565
o 9263703
o 9262668
o 9260543
o 9258662
o 9257101
o 9256239
o 9255204
o 9253079
o 9251198
o 9249699
o 9247574
o 9245627
o 9243502
o 9243281
o 9241156
o 9239441
o 9238406
o 9236281
o 9235863
o 9233916
o 9231791
o 9230564
o 9229529
o 9227404
o 9226074
o 9225039
o 9222914
o 9221033
o 9219472
o 9218610
o 9217575
o 9215450
o 9213569
o 9211811
o 9209686
o 9208651
o 9206526
o 9206108
o 9204161
o 9202036
o 9200789
o 9199754
o 9197629
o 9195264
o 9193139
o 9191912
o 9190877
o 9188752
o 9187422
o 9186387
o 9184262
o 9182381
o 9180820
o 9179958
o 9178923
o 9176798
o 9174917
o 9173418
o 9171293
o 9169346
o 9167221
o 9167000
o 9164875
o 9163160
o 9162125
o 9160000
o 9159582
o 9157635
o 9155510
o 9154283
o 9153248
o 9151123
o 9149793
o 9148758
o 9146633
o 9144752
o 9143191
o 9142329
o 9141294
o 9139169
o 9137288
o 9136716
o 9135001
o 9133966
o 9131841
o 9129262
o 9127137
o 9126102
o 9123977
o 9122719
o 9119559
o 9118332
o 9117297
o 9115172
o 9113842
o 9112807
o 9110682
o 9108801
o 9107839
o 9105714
o 9104852
o 9103817
o 9101692
o 9101327
o 9100465
o 9097305
o 9095975
o 9092815
o 9090934
o 9089373
o 9088511
o 9087476
o 9085351
o 9083470
o 9082320
o 9081285
o 9079160
o 9078742
o 9076795
o 9074670
o 9073443
o 9070283
o 9068953
o 9065793
o 9063912
o 9062950
o 9060825
o 9059963
o 9058928
o 9056803
o 9056438
o 9055576
o 9052416
o 9051086
o 9047926
o 9046045
o 9044484
o 9043622
o 9042587
o 9040462
o 9038581
o 9038478
o 9037443
o 9035318
o 9035138
o 9033013
o 9032151
o 9031116
o 9028991
o 9027110
o 9025871
o 9024836
o 9022711
o 9022293
o 9020346
o 9018221
o 9016994
o 9013834
o 9012504
o 9009344
o 9007463
o 9006501
o 9004376
o 9003514
o 9002479
o 9000354
o 8999989
o 8999127
o 8995967
o 8994637
o 8991477
o 8989596
o 8988035
o 8987173
o 8986138
o 8984013
o 8982132
o 8980982
o 8979947
o 8977822
o 8977404
o 8975457
o 8973332
o 8972105
o 8968945
o 8967615
o 8964455
o 8962574
o 8961612
o 8959487
o 8958625
o 8957590
o 8955465
o 8955100
o 8954238
o 8951078
o 8949748
o 8946588
o 8944707
o 8943146
o 8942284
o 8941249
o 8939124
o 8937243
o 8936696
o 8934571
o 8933324
o 8932289
o 8930164
o 8929746
o 8927799
o 8925674
o 8924447
o 8921287
o 8919957
o 8916797
o 8914916
o 8913954
o 8911829
o 8910967
o 8909932
o 8907807
o 8907442
o 8906580
o 8903420
o 8902090
o 8898930
o 8897049
o 8895488
o 8894626
o 8893591
o 8891466
o 8889585
o 8888435
o 8887400
o 8885275
o 8884857
o 8882910
o 8880785
o 8879558
o 8876398
o 8875068
o 8871908
o 8870027
o 8869065
o 8866940
o 8866078
o 8865043
o 8862918
o 8862553
o 8861691
o 8858531
o 8857201
o 8854041
o 8852160
o 8850599
o 8849737
o 8848702
o 8846577
o 8844696
o 8842748
o 8840623
o 8839588
o 8837463
o 8836216
o 8835181
o 8833056
o 8830691
o 8828566
o 8827339
o 8826304
o 8824179
o 8822849
o 8821814
o 8819689
o 8817808
o 8816247
o 8815385
o 8814350
o 8812225
o 8810344
o 8808845
o 8806720
o 8804773
o 8802648
o 8802427
o 8800302
o 8798587
o 8797552
o 8795427
o 8795009
o 8793062
o 8790937
o 8789710
o 8788675
o 8786550
o 8785220
o 8784185
o 8782060
o 8780179
o 8778618
o 8777756
o 8776721
o 8774596
o 8772715
o 8772056
o 8771856
o 8770821
o 8768696
o 8766815
o 8766447
o 8765807
o 8765464
o 8765278
o 8764148
o 8763583
o 8763432
o 8763176
o 8762302
o 8761737
o 8761551
o 8760421
o 8759856
o 8758848
o 8757189
o 8756624
o 8755952
o 8754941
o 8754888
o 8753877
o 8753263
o 8751138
o 8750103
o 8747978
o 8746751
o 8743591
o 8742261
o 8739101
o 8737220
o 8736258
o 8734133
o 8733271
o 8732236
o 8730111
o 8729746
o 8728884
o 8725724
o 8724394
o 8721234
o 8719353
o 8717792
o 8716930
o 8715895
o 8713770
o 8711889
o 8710530
o 8708405
o 8707178
o 8704018
o 8702688
o 8699528
o 8697647
o 8696685
o 8694560
o 8693698
o 8692663
o 8690538
o 8690173
o 8689311
o 8686151
o 8684821
o 8681661
o 8679780
o 8678219
o 8677357
o 8676322
o 8674197
o 8672316
o 8672213
o 8671178
o 8669053
o 8668873
o 8666748
o 8665886
o 8664851
o 8662726
o 8660845
o 8659606
o 8658571
o 8656446
o 8656028
o 8654081
o 8651956
o 8650729
o 8647569
o 8646239
o 8643079
o 8641198
o 8640236
o 8638111
o 8637249
o 8636214
o 8634089
o 8633724
o 8632862
o 8629702
o 8628372
o 8625212
o 8623331
o 8621770
o 8620908
o 8619873
o 8617748
o 8615867
o 8614717
o 8613682
o 8611557
o 8611139
o 8609192
o 8607067
o 8605840
o 8602680
o 8601350
o 8598190
o 8596309
o 8595347
o 8593222
o 8592360
o 8591325
o 8589200
o 8588835
o 8587973
o 8584813
o 8583483
o 8580323
o 8578442
o 8576881
o 8576019
o 8574984
o 8572859
o 8570978
o 8570319
o 8570119
o 8569084
o 8566959
o 8565078
o 8564070
o 8562411
o 8561846
o 8561439
o 8560565
o 8560000
o 8558684
o 8558119
o 8557111
o 8555452
o 8554887
o 8554215
o 8553204
o 8553151
o 8552140
o 8551710
o 8551040
o 8548915
o 8548350
o 8547678
o 8546667
o 8546614
o 8545603
o 8545138
o 8545080
o 8544069
o 8543397
o 8541272
o 8540410
o 8539375
o 8537250
o 8536885
o 8536023
o 8532863
o 8531533
o 8528373
o 8526492
o 8524931
o 8524069
o 8523034
o 8520909
o 8519028
o 8517529
o 8515404
o 8513457
o 8511332
o 8511111
o 8508986
o 8507271
o 8506236
o 8504111
o 8503693
o 8501746
o 8499621
o 8498394
o 8497359
o 8495234
o 8493904
o 8492869
o 8490744
o 8488863
o 8487302
o 8486440
o 8485405
o 8483280
o 8481399
o 8480740
o 8480540
o 8479505
o 8477380
o 8475499
o 8474491
o 8472832
o 8472267
o 8471860
o 8470986
o 8470421
o 8469105
o 8468540
o 8467532
o 8465873
o 8465308
o 8464636
o 8463625
o 8463572
o 8462561
o 8462131
o 8461461
o 8459336
o 8458771
o 8458099
o 8457088
o 8457035
o 8456024
o 8455559
o 8455501
o 8454490
o 8454202
o 8452543
o 8451978
o 8451372
o 8450361
o 8449931
o 8449261
o 8447136
o 8446571
o 8445899
o 8444888
o 8444835
o 8443824
o 8443359
o 8443301
o 8442290
o 8440838
o 8439964
o 8438083
o 8436522
o 8435660
o 8434625
o 8432500
o 8430619
o 8429120
o 8426995
o 8425048
o 8422923
o 8422702
o 8420577
o 8418862
o 8417827
o 8415702
o 8415284
o 8413337
o 8411212
o 8409985
o 8408950
o 8406825
o 8405495
o 8404460
o 8402335
o 8400454
o 8398893
o 8398031
o 8396996
o 8394871
o 8392990
o 8392331
o 8392131
o 8391096
o 8388971
o 8387090
o 8386082
o 8384423
o 8383858
o 8383451
o 8382577
o 8382012
o 8380696
o 8380131
o 8379123
o 8377464
o 8376899
o 8376227
o 8375216
o 8375163
o 8374152
o 8373722
o 8373052
o 8370927
o 8370362
o 8369690
o 8368679
o 8368626
o 8367615
o 8367150
o 8367092
o 8366081
o 8366072
o 8365642
o 8363858
o 8362847
o 8362282
o 8361610
o 8360599
o 8360546
o 8359535
o 8359070
o 8359012
o 8358001
o 8356138
o 8355573
o 8354967
o 8353956
o 8353433
o 8352422
o 8351824
o 8350879
o 8349354
o 8348789
o 8347473
o 8346908
o 8345291
o 8344861
o 8343077
o 8342066
o 8341501
o 8339818
o 8338754
o 8338289
o 8338231
o 8337220
o 8336622
o 8336542
o 8335408
o 8333749
o 8333184
o 8332578
o 8331567
o 8331135
o 8330467
o 8328342
o 8327777
o 8326094
o 8325030
o 8324565
o 8324507
o 8323496
o 8322898
o 8322510
o 8322333
o 8321322
o 8319788
o 8318914
o 8318349
o 8317033
o 8316468
o 8315973
o 8315796
o 8314785
o 8314320
o 8314262
o 8313251
o 8311792
o 8311227
o 8309911
o 8309346
o 8308851
o 8307663
o 8306129
o 8305255
o 8304690
o 8303374
o 8302809
o 8302314
o 8302137
o 8301126
o 8300661
o 8300603
o 8299592
o 8298994
o 8298049
o 8296590
o 8296025
o 8294709
o 8294144
o 8293649
o 8292461
o 8290927
o 8290053
o 8289488
o 8288172
o 8287607
o 8287112
o 8286935
o 8285924
o 8285459
o 8285401
o 8284390
o 8283792
o 8283778
o 8281996
o 8280985
o 8280420
o 8279925
o 8278737
o 8277203
o 8276329
o 8275764
o 8274448
o 8273883
o 8273388
o 8273211
o 8272200
o 8271735
o 8271677
o 8270666
o 8270068
o 8269556
o 8268682
o 8268187
o 8267552
o 8266878
o 8266752
o 8266210
o 8264085
o 8263520
o 8263025
o 8262390
o 8261925
o 8261328
o 8261327
o 8260730
o 8259749
o 8259254
o 8258066
o 8257947
o 8256282
o 8254587
o 8254092
o 8252904
o 8252439
o 8251370
o 8250772
o 8250407
o 8249878
o 8248183
o 8247630
o 8246096
o 8245498
o 8244986
o 8244112
o 8243617
o 8242982
o 8242308
o 8242182
o 8240645
o 8238950
o 8238455
o 8237820
o 8237355
o 8236758
o 8236160
o 8236087
o 8234428
o 8233863
o 8232882
o 8232387
o 8231199
o 8231080
o 8229415
o 8227720
o 8227225
o 8226037
o 8225572
o 8224503
o 8223905
o 8223540
o 8223011
o 8221316
o 8220763
o 8219229
o 8218631
o 8218119
o 8217245
o 8216750
o 8216115
o 8215441
o 8215315
o 8213778
o 8212083
o 8211588
o 8210953
o 8210488
o 8209891
o 8209293
o 8207428
o 8207302
o 8207230
o 8206195
o 8204070
o 8203575
o 8202940
o 8202821
o 8202224
o 8201878
o 8201626
o 8201280
o 8201207
o 8199548
o 8198983
o 8198348
o 8198002
o 8197853
o 8197676
o 8196665
o 8196319
o 8196200
o 8194535
o 8192840
o 8192345
o 8191157
o 8190994
o 8190522
o 8190441
o 8189969
o 8189623
o 8189371
o 8189025
o 8188660
o 8188131
o 8186436
o 8185883
o 8184349
o 8184097
o 8183751
o 8183585
o 8182711
o 8182365
o 8182216
o 8181581
o 8181235
o 8180561
o 8180435
o 8178898
o 8177203
o 8176708
o 8176073
o 8175954
o 8175357
o 8175011
o 8174759
o 8174413
o 8173940
o 8173814
o 8172277
o 8170582
o 8170509
o 8168850
o 8168285
o 8167650
o 8167304
o 8167155
o 8166978
o 8165967
o 8165621
o 8165502
o 8163837
o 8162142
o 8161647
o 8160459
o 8160296
o 8159824
o 8159743
o 8159271
o 8158925
o 8158673
o 8158327
o 8157962
o 8157433
o 8155738
o 8155185
o 8153651
o 8153399
o 8153053
o 8152887
o 8152013
o 8151667
o 8151518
o 8150883
o 8150537
o 8149863
o 8149737
o 8148200
o 8146505
o 8146010
o 8145375
o 8145256
o 8144659
o 8144313
o 8144061
o 8143715
o 8143621
o 8142487
o 8140828
o 8140263
o 8139326
o 8139200
o 8137663
o 8135968
o 8135473
o 8134838
o 8134373
o 8133776
o 8133178
o 8132984
o 8132472
o 8131598
o 8131103
o 8130468
o 8129794
o 8129668
o 8128131
o 8126436
o 8125941
o 8125306
o 8124841
o 8124244
o 8123646
o 8122896
o 8121786
o 8120912
o 8119782
o 8118614
o 8118022
o 8115750
o 8114620
o 8113558
o 8113195
o 8112321
o 8112127
o 8111615
o 8110741
o 8110246
o 8109611
o 8108937
o 8108811
o 8107155
o 8106144
o 8105579
o 8105084
o 8104449
o 8103984
o 8103387
o 8103386
o 8102789
o 8102683
o 8101020
o 8099325
o 8098830
o 8097642
o 8096108
o 8095510
o 8094998
o 8094124
o 8093629
o 8092994
o 8092320
o 8092194
o 8090657
o 8088962
o 8088467
o 8087832
o 8087367
o 8086770
o 8086172
o 8085422
o 8084312
o 8083438
o 8082308
o 8081140
o 8080548
o 8078276
o 8077146
o 8076084
o 8075539
o 8071605
o 8070731
o 8070730
o 8070133
o 8069986
o 8069112
o 8068647
o 8067249
o 8066657
o 8064385
o 8063832
o 8062298
o 8061188
o 8060314
o 8059184
o 8057760
o 8056886
o 8054896
o 8054022
o 8052960
o 8052766
o 8051656
o 8050782
o 8049652
o 8048228
o 8047354
o 8045364
o 8044490
o 8043428
o 8043266
o 8042843
o 8042740
o 8042245
o 8041780
o 8040382
o 8039790
o 8037518
o 8036965
o 8035431
o 8034321
o 8033447
o 8032317
o 8030893
o 8030019
o 8028029
o 8027155
o 8026093
o 8025899
o 8024789
o 8023915
o 8022785
o 8021361
o 8020487
o 8018497
o 8017623
o 8016561
o 8016333
o 8015203
o 8015115
o 8014859
o 8013234
o 8012681
o 8012209
o 8011508
o 8009169
o 8008295
o 8008276
o 8005937
o 8005063
o 8003933
o 8003745
o 8002871
o 8002677
o 8001976
o 7999637
o 7998763
o 7998744
o 7996405
o 7995531
o 7994401
o 7994213
o 7993339
o 7993177
o 7993030
o 7992156
o 7991691
o 7990293
o 7989701
o 7987429
o 7986876
o 7985342
o 7984641
o 7982302
o 7981428
o 7981409
o 7979070
o 7978196
o 7977066
o 7976878
o 7976004
o 7975810
o 7975109
o 7972770
o 7971896
o 7971877
o 7969538
o 7968664
o 7967534
o 7967346
o 7966472
s OPTIMUM FOUND
c Optimal Solution = 7966472
v -1 2 -3 4 5 -6 -7 8 9 -10 -11 12 -13 14 -15 16 -17 18 19 -20 -21 22 23 -24 -25 26 27 -28 29 -30 31 -32 -33 34 -35 36 37 -38 -39 40 41 -42 43 -44 -45 46 -47 48 -49 50 -51 -52 -53 -54 -55 -56 -57 58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 150 -151 -152 -153 -154 -155 -156 -157 158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 770 -771 -772 -773 -774 -775 776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 -1107 1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 1295 -1296 -1297 -1298 -1299 -1300 1301 1302 1303 1304 1305 -1306 1307 1308 1309 -1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 -1320 1321 1322 1323 -1324 1325 1326 1327 -1328 1329 -1330 1331 -1332 1333 1334 1335 1336 1337 -1338 1339 1340 1341 -1342 1343 -1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 1376 1377 1378 1379 1380 1381 1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 1501 1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 1526 1527 1528 1529 1530 1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 1551 1552 1553 1554 1555 1556 1557 1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 1576 1577 1578 1579 1580 1581 1582 1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 1601 1602 1603 1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 1651 1652 1653 1654 1655 1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 1701 1702 1703 1704 1705 1706 1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 1726 1727 1728 1729 1730 1731 1732 1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 1751 1752 1753 1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 1801 1802 1803 1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 1826 1827 1828 1829 1830 1831 1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 1851 1852 1853 1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 1876 1877 1878 1879 1880 1881 1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 -1971 -1972 -1973 -1974 -1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 -2071 -2072 -2073 -2074 -2075 2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 -2221 -2222 -2223 -2224 -2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241 2242 2243 2244 2245 -2246 -2247 -2248 -2249 -2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 2276 2277 2278 2279 2280 2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 2301 2302 2303 2304 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316 2317 2318 2319 2320 2321 2322 2323 2324 -2325 2326 2327 2328 2329 2330 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 -2371 -2372 -2373 -2374 -2375 2376 2377 2378 2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 2401 2402 2403 2404 2405 2406 2407 2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 2426 2427 2428 2429 2430 2431 2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 -2474 -2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 -2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2516 2517 2518 2519 2520 2521 2522 2523 2524 -2525 2526 2527 2528 2529 2530 2531 2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 2551 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586 2587 2588 2589 2590 2591 2592 2593 2594 2595 -2596 -2597 -2598 -2599 -2600
c Program terminated in 3.920 seconds.
3.927u 0.006s 0:03.97 98.7%	0+0k 0+0io 0pf+0w