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_cap71.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap71.wcsp.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 55748489
o 18174221
o 18145167
o 18129405
o 18078146
o 18049092
o 18033330
o 18021768
o 18010788
o 18007893
o 17996913
o 17989049
o 17972734
o 17958859
o 17947879
o 17940015
o 17938905
o 17934632
o 17890808
o 17861754
o 17845992
o 17835012
o 17827148
o 17810833
o 17796958
o 17785978
o 17778114
o 17777004
o 17772731
o 17761903
o 17754039
o 17710902
o 17681848
o 17666086
o 17654524
o 17643544
o 17640649
o 17629669
o 17621805
o 17605490
o 17591615
o 17580635
o 17572771
o 17571661
o 17567388
o 17523564
o 17494510
o 17478748
o 17467768
o 17459904
o 17443589
o 17429714
o 17418734
o 17410870
o 17409760
o 17405487
o 17394659
o 17386795
o 17377346
o 17374451
o 17363471
o 17355607
o 17339292
o 17325417
o 17314437
o 17306573
o 17305463
o 17301190
o 17268169
o 17252407
o 17241427
o 17233563
o 17217248
o 17203373
o 17192393
o 17184529
o 17183419
o 17179146
o 17168318
o 17160454
o 17146006
o 17132131
o 17121151
o 17113287
o 17112177
o 17107904
o 17074883
o 17059121
o 17048141
o 17040277
o 17023962
o 17010087
o 16999107
o 16991243
o 16990133
o 16985860
o 16975032
o 16967168
o 16965733
o 16954753
o 16951858
o 16940878
o 16933014
o 16928770
o 16917790
o 16914895
o 16903915
o 16896051
o 16894941
o 16890668
o 16880192
o 16878067
o 16864192
o 16853212
o 16847473
o 16845348
o 16842090
o 16839965
o 16837656
o 16835531
o 16823781
o 16821656
o 16813792
o 16810534
o 16808409
o 16801057
o 16798162
o 16787182
o 16779318
o 16763003
o 16749128
o 16738148
o 16730284
o 16729174
o 16724901
o 16714073
o 16706209
o 16704774
o 16693794
o 16690899
o 16679919
o 16672055
o 16667811
o 16656831
o 16653936
o 16642956
o 16635092
o 16633982
o 16629709
o 16619233
o 16617108
o 16603233
o 16592253
o 16586514
o 16584389
o 16581131
o 16579006
o 16576697
o 16574572
o 16562822
o 16560697
o 16552833
o 16549575
o 16547450
o 16540901
o 16527026
o 16516046
o 16508182
o 16507072
o 16502799
o 16491971
o 16484107
o 16482672
o 16471692
o 16468797
o 16457817
o 16449953
o 16445709
o 16434729
o 16431834
o 16420854
o 16412990
o 16411880
o 16407607
o 16397131
o 16395006
o 16381131
o 16370151
o 16364412
o 16362287
o 16359029
o 16356904
o 16354595
o 16352470
o 16340720
o 16338595
o 16330731
o 16327473
o 16325348
o 16323614
o 16321489
o 16309739
o 16307614
o 16301875
o 16299750
o 16297441
o 16295316
o 16283566
o 16281441
o 16273577
o 16270319
o 16268194
o 16263144
o 16261019
o 16260840
o 16258715
o 16257432
o 16255457
o 16253332
o 16252942
o 16250967
o 16248842
o 16244853
o 16242728
o 16228853
o 16217873
o 16212134
o 16210009
o 16206751
o 16204626
o 16199065
o 16196940
o 16183065
o 16172085
o 16166346
o 16164221
o 16160963
o 16158838
o 16156529
o 16154404
o 16142654
o 16140529
o 16132665
o 16129407
o 16127282
o 16123302
o 16117919
o 16115794
o 16110055
o 16107930
o 16105176
o 16103051
o 16100833
o 16098561
o 16096252
o 16094127
o 16082377
o 16080252
o 16072388
o 16069130
o 16067005
o 16063025
o 16057642
o 16055517
o 16049778
o 16047653
o 16040345
o 16038220
o 16037450
o 16035325
o 16026470
o 16024345
o 16016481
o 16013223
o 16011098
o 16005537
o 16003412
o 15989537
o 15978557
o 15972818
o 15970693
o 15967435
o 15965310
o 15963001
o 15960876
o 15949126
o 15947001
o 15939137
o 15935879
o 15933754
o 15929774
o 15924391
o 15922266
o 15916527
o 15914402
o 15910413
o 15908288
o 15894413
o 15883433
o 15877694
o 15875569
o 15872311
o 15870186
o 15864625
o 15862500
o 15848625
o 15837645
o 15831906
o 15829781
o 15826523
o 15824398
o 15822089
o 15819964
o 15808214
o 15806089
o 15798225
o 15794967
o 15792842
o 15788862
o 15783479
o 15781354
o 15775615
o 15773490
o 15770736
o 15768611
o 15766393
o 15764121
o 15761812
o 15759687
o 15747937
o 15745812
o 15737948
o 15734690
o 15732565
o 15728585
o 15723202
o 15721077
o 15715338
o 15713213
o 15709103
o 15695228
o 15687364
o 15681803
o 15679678
o 15665803
o 15654823
o 15649084
o 15646959
o 15643701
o 15641576
o 15639267
o 15637142
o 15625392
o 15623267
o 15615403
o 15612145
o 15610020
o 15606040
o 15600657
o 15598532
o 15592793
o 15590668
o 15584626
o 15582501
o 15570751
o 15568626
o 15560762
o 15557504
o 15555379
o 15553070
o 15550945
o 15539195
o 15537070
o 15529206
o 15525948
o 15523823
o 15519843
o 15514460
o 15512335
o 15506596
o 15504471
o 15503285
o 15501160
o 15498851
o 15496726
o 15484976
o 15482851
o 15474987
o 15471729
o 15469604
o 15465624
o 15460241
o 15458116
o 15452377
o 15450252
o 15446262
o 15444137
o 15438398
o 15436273
o 15433969
o 15432686
o 15428586
o 15428196
o 15426368
o 15424096
o 15422895
o 15420770
o 15417512
o 15415387
o 15409648
o 15407523
o 15405214
o 15403089
o 15391339
o 15389214
o 15381350
o 15378092
o 15375967
o 15371987
o 15366604
o 15364479
o 15358740
o 15356615
o 15354959
o 15353676
o 15351701
o 15349576
o 15349186
o 15347211
o 15345086
o 15341132
o 15339007
o 15333268
o 15331143
o 15329487
o 15328204
o 15326229
o 15324104
o 15323714
o 15321739
o 15319614
o 15315425
o 15313300
o 15307561
o 15305436
o 15305129
o 15301029
o 15300639
o 15298811
o 15296539
o 15288708
o 15283147
o 15281022
o 15267147
o 15256167
o 15250428
o 15248303
o 15245045
o 15242920
o 15240611
o 15238486
o 15226736
o 15224611
o 15216747
o 15213489
o 15211364
o 15207384
o 15202001
o 15199876
o 15194137
o 15192012
o 15188022
o 15185897
o 15180158
o 15178033
o 15175729
o 15174446
o 15170346
o 15169956
o 15168128
o 15165856
o 15164655
o 15162530
o 15159272
o 15157147
o 15151408
o 15149283
o 15146974
o 15144849
o 15133099
o 15130974
o 15123110
o 15119852
o 15117727
o 15113747
o 15108364
o 15106239
o 15100500
o 15098375
o 15096719
o 15095436
o 15093461
o 15091336
o 15090946
o 15088971
o 15086846
o 15086274
o 15080891
o 15078766
o 15073027
o 15070902
o 15068598
o 15067315
o 15063215
o 15062825
o 15060997
o 15058725
o 15057069
o 15055786
o 15053811
o 15051686
o 15051296
o 15049321
o 15047196
o 15046889
o 15044914
o 15042789
o 15042399
o 15040571
o 15038299
o 15034019
o 15031894
o 15026155
o 15024030
o 15021726
o 15020443
o 15016343
o 15015953
o 15014125
o 15011853
o 15010197
o 15008914
o 15006939
o 15004814
o 15004424
o 15002449
o 15000324
o 14996135
o 14994010
o 14988271
o 14986146
o 14986012
o 14981739
o 14981349
o 14979521
o 14977249
o 14974839
o 14973828
o 14971995
o 14970020
o 14967895
o 14967505
o 14965530
o 14963405
o 14963098
o 14958998
o 14958608
o 14956780
o 14954508
o 14954190
o 14952215
o 14950090
o 14948296
o 14947013
o 14945038
o 14942913
o 14942523
o 14940548
o 14938423
o 14938289
o 14934016
o 14933626
o 14931798
o 14929526
o 14927693
o 14925718
o 14923593
o 14923203
o 14921228
o 14919103
o 14918969
o 14914696
o 14914306
o 14912478
o 14910206
o 14909888
o 14907913
o 14905788
o 14905164
o 14903039
o 14901064
o 14898939
o 14898621
o 14896793
o 14894521
o 14888764
o 14886639
o 14884274
o 14882149
o 14882015
o 14877742
o 14877352
o 14875524
o 14873252
o 14871419
o 14869444
o 14867319
o 14866929
o 14864954
o 14862829
o 14862695
o 14858422
o 14858032
o 14856204
o 14853932
o 14853614
o 14851639
o 14849514
o 14848675
o 14848368
o 14844268
o 14843878
o 14842050
o 14839778
o 14834021
o 14831896
o 14829531
o 14827406
o 14827272
o 14822999
o 14822609
o 14820781
o 14818509
o 14816676
o 14814701
o 14812576
o 14812186
o 14810211
o 14808086
o 14807952
o 14803679
o 14803289
o 14801461
o 14799189
o 14798871
o 14796896
o 14794771
o 14793818
o 14791693
o 14789718
o 14787593
o 14787459
o 14783186
o 14782796
o 14780968
o 14778696
o 14776863
o 14774888
o 14772763
o 14772373
o 14770398
o 14768273
o 14768139
o 14763866
o 14763476
o 14761648
o 14759376
o 14759058
o 14757083
o 14754958
o 14753435
o 14751310
o 14739560
o 14737435
o 14731696
o 14729571
o 14727915
o 14726632
o 14724657
o 14722532
o 14722142
o 14720167
o 14718042
o 14713853
o 14711728
o 14705989
o 14703864
o 14703557
o 14699457
o 14699067
o 14697239
o 14694967
o 14694370
o 14688987
o 14683248
o 14681123
o 14680816
o 14676716
o 14676326
o 14674498
o 14672226
o 14671908
o 14669933
o 14667808
o 14666014
o 14664731
o 14662756
o 14660631
o 14660241
o 14658266
o 14656141
o 14656007
o 14651734
o 14651344
o 14649516
o 14647244
o 14645411
o 14643436
o 14641311
o 14640921
o 14638946
o 14636821
o 14636687
o 14632414
o 14632024
o 14630196
o 14627924
o 14627606
o 14625631
o 14623506
o 14623394
o 14621269
o 14619986
o 14618011
o 14615886
o 14615496
o 14613521
o 14611396
o 14609740
o 14608457
o 14606482
o 14604357
o 14603967
o 14602139
o 14599867
o 14599560
o 14597585
o 14595460
o 14595070
o 14593242
o 14590970
o 14589137
o 14587162
o 14585037
o 14584647
o 14582672
o 14580547
o 14580413
o 14576140
o 14575750
o 14573922
o 14571650
o 14571332
o 14569357
o 14567232
o 14567203
o 14565228
o 14563103
o 14562713
o 14560738
o 14558613
o 14558479
o 14554206
o 14553816
o 14551988
o 14549716
o 14547883
o 14545908
o 14543783
o 14543393
o 14541418
o 14539293
o 14539159
o 14534886
o 14534496
o 14532668
o 14530396
o 14530078
o 14528103
o 14525978
o 14520221
o 14518096
o 14515731
o 14513606
o 14513472
o 14509199
o 14508809
o 14506981
o 14504709
o 14502876
o 14500901
o 14498776
o 14498386
o 14496411
o 14494286
o 14494152
o 14489879
o 14489489
o 14487661
o 14485389
o 14485071
o 14483096
o 14480971
o 14479291
o 14477166
o 14476776
o 14474948
o 14472676
o 14471596
o 14467616
o 14462233
o 14460108
o 14454369
o 14452244
o 14448828
o 14446703
o 14444485
o 14442213
o 14439904
o 14437779
o 14432035
o 14426029
o 14423904
o 14422046
o 14416040
o 14412782
o 14410657
o 14406677
o 14401294
o 14399169
o 14393430
o 14391305
o 14389649
o 14388366
o 14386391
o 14384266
o 14383876
o 14381901
o 14379776
o 14379204
o 14373821
o 14371696
o 14365957
o 14363832
o 14361528
o 14360245
o 14356145
o 14355755
o 14353927
o 14351655
o 14349999
o 14348716
o 14346741
o 14344616
o 14344226
o 14342251
o 14340126
o 14339819
o 14337844
o 14335719
o 14335329
o 14333501
o 14331229
o 14326949
o 14324824
o 14319085
o 14316960
o 14314656
o 14313373
o 14309273
o 14308883
o 14307055
o 14304783
o 14303127
o 14301844
o 14299869
o 14297744
o 14297354
o 14295379
o 14293254
o 14289065
o 14286940
o 14281201
o 14279076
o 14278942
o 14274669
o 14274279
o 14272451
o 14270179
o 14269582
o 14264199
o 14258460
o 14256335
o 14256028
o 14251928
o 14251538
o 14249710
o 14247438
o 14247120
o 14245145
o 14243020
o 14241226
o 14239943
o 14237968
o 14235843
o 14235453
o 14233478
o 14231353
o 14231219
o 14226946
o 14226556
o 14224728
o 14222456
o 14220623
o 14218648
o 14216523
o 14216133
o 14214158
o 14212033
o 14211899
o 14207626
o 14207236
o 14205408
o 14203136
o 14202818
o 14200843
o 14198718
o 14198606
o 14196481
o 14195198
o 14193223
o 14191098
o 14190708
o 14188733
o 14186608
o 14184952
o 14183669
o 14181694
o 14179569
o 14179179
o 14177351
o 14175079
o 14174772
o 14172797
o 14170672
o 14170282
o 14168454
o 14166182
o 14164349
o 14162374
o 14160249
o 14159859
o 14157884
o 14155759
o 14155625
o 14151352
o 14150962
o 14149134
o 14146862
o 14146544
o 14144569
o 14142444
o 14142415
o 14140440
o 14138315
o 14137925
o 14135950
o 14133825
o 14133691
o 14129418
o 14129028
o 14127200
o 14124928
o 14123095
o 14121120
o 14118995
o 14118605
o 14116630
o 14114505
o 14114371
o 14110098
o 14109708
o 14107880
o 14105608
o 14105290
o 14103315
o 14101190
o 14095433
o 14093308
o 14090943
o 14088818
o 14088684
o 14084411
o 14084021
o 14082193
o 14079921
o 14078088
o 14076113
o 14073988
o 14073598
o 14071623
o 14069498
o 14069364
o 14065091
o 14064701
o 14062873
o 14060601
o 14060283
o 14058308
o 14056183
o 14054503
o 14052378
o 14051988
o 14050160
o 14047888
o 14042318
o 14042101
o 14040100
o 14037828
o 14032267
o 14030142
o 14016267
o 14005287
o 13999548
o 13997423
o 13994165
o 13992040
o 13989731
o 13987606
o 13975856
o 13973731
o 13965867
o 13962609
o 13960484
o 13956504
o 13951121
o 13948996
o 13943257
o 13941132
o 13938378
o 13936253
o 13934035
o 13931763
o 13929454
o 13927329
o 13915579
o 13913454
o 13905590
o 13902332
o 13900207
o 13896227
o 13890844
o 13888719
o 13882980
o 13880855
o 13876745
o 13862870
o 13855006
o 13849445
o 13847320
o 13833445
o 13822465
o 13816726
o 13814601
o 13811343
o 13809218
o 13806909
o 13804784
o 13793034
o 13790909
o 13783045
o 13779787
o 13777662
o 13773682
o 13768299
o 13766174
o 13760435
o 13758310
o 13752268
o 13750143
o 13738393
o 13736268
o 13728404
o 13725146
o 13723021
o 13720712
o 13718587
o 13706837
o 13704712
o 13696848
o 13693590
o 13691465
o 13687485
o 13682102
o 13679977
o 13674238
o 13672113
o 13670927
o 13668802
o 13666493
o 13664368
o 13652618
o 13650493
o 13642629
o 13639371
o 13637246
o 13633266
o 13627883
o 13625758
o 13620019
o 13617894
o 13613904
o 13611779
o 13606040
o 13603915
o 13601611
o 13600328
o 13596228
o 13595838
o 13594010
o 13591738
o 13590537
o 13588412
o 13585154
o 13583029
o 13577290
o 13575165
o 13572856
o 13570731
o 13558981
o 13556856
o 13548992
o 13545734
o 13543609
o 13539629
o 13534246
o 13532121
o 13526382
o 13524257
o 13522601
o 13521318
o 13519343
o 13517218
o 13516828
o 13514853
o 13512728
o 13512156
o 13506773
o 13504648
o 13498909
o 13496784
o 13494480
o 13493197
o 13489097
o 13488707
o 13486879
o 13484607
o 13482951
o 13481668
o 13479693
o 13477568
o 13477178
o 13475203
o 13473078
o 13472771
o 13470796
o 13468671
o 13468281
o 13466453
o 13464181
o 13459901
o 13457776
o 13452037
o 13449912
o 13447608
o 13446325
o 13442225
o 13441835
o 13440007
o 13437735
o 13436079
o 13434796
o 13432821
o 13430696
o 13430306
o 13428331
o 13426206
o 13422017
o 13419892
o 13414153
o 13412028
o 13411894
o 13407621
o 13407231
o 13405403
o 13403131
o 13402534
o 13397151
o 13391412
o 13389287
o 13388980
o 13384880
o 13384490
o 13382662
o 13380390
o 13380072
o 13378097
o 13375972
o 13374178
o 13372895
o 13370920
o 13368795
o 13368405
o 13366430
o 13364305
o 13364171
o 13359898
o 13359508
o 13357680
o 13355408
o 13353575
o 13351600
o 13349475
o 13349085
o 13347110
o 13344985
o 13344851
o 13340578
o 13340188
o 13338360
o 13336088
o 13335770
o 13333795
o 13331670
o 13331558
o 13329433
o 13328150
o 13326175
o 13324050
o 13323660
o 13321685
o 13319560
o 13317904
o 13316621
o 13314646
o 13312521
o 13312131
o 13310303
o 13308031
o 13307724
o 13305749
o 13303624
o 13303234
o 13301406
o 13299134
o 13297301
o 13295326
o 13293201
o 13292811
o 13290836
o 13288711
o 13288577
o 13284304
o 13283914
o 13282086
o 13279814
o 13279496
o 13277521
o 13275396
o 13275367
o 13273392
o 13271267
o 13270877
o 13268902
o 13266777
o 13266643
o 13262370
o 13261980
o 13260152
o 13257880
o 13256047
o 13254072
o 13251947
o 13251557
o 13249582
o 13247457
o 13247323
o 13243050
o 13242660
o 13240832
o 13238560
o 13238242
o 13236267
o 13234142
o 13228385
o 13226260
o 13223895
o 13221770
o 13221636
o 13217363
o 13216973
o 13215145
o 13212873
o 13211040
o 13209065
o 13206940
o 13206550
o 13204575
o 13202450
o 13202316
o 13198043
o 13197653
o 13195825
o 13193553
o 13193235
o 13191260
o 13189135
o 13187455
o 13185330
o 13184940
o 13183112
o 13180840
o 13179002
o 13178904
o 13176779
o 13175744
o 13173619
o 13172289
o 13171254
o 13169129
o 13169068
o 13168678
o 13166703
o 13164578
o 13162745
o 13158645
o 13158255
o 13156427
o 13154155
o 13154021
o 13149748
o 13149358
o 13147530
o 13145258
o 13145229
o 13143254
o 13141129
o 13140739
o 13138764
o 13136639
o 13136505
o 13132232
o 13131842
o 13130014
o 13127742
o 13125909
o 13123934
o 13121809
o 13121419
o 13119444
o 13117319
o 13117185
o 13112912
o 13112522
o 13110694
o 13108422
o 13108104
o 13106129
o 13104004
o 13098247
o 13096122
o 13093757
o 13091632
o 13091498
o 13087225
o 13086835
o 13085007
o 13082735
o 13080902
o 13078927
o 13076802
o 13076412
o 13074437
o 13072312
o 13072178
o 13067905
o 13067515
o 13065687
o 13063415
o 13063097
o 13061122
o 13058997
o 13057317
o 13055192
o 13054802
o 13052974
o 13050702
o 13048864
o 13048766
o 13046641
o 13045606
o 13043481
o 13042151
o 13041116
o 13038991
o 13035532
o 13033407
o 13027668
o 13025543
o 13025409
o 13021136
o 13020746
o 13018918
o 13016646
o 13014813
o 13012838
o 13010713
o 13010323
o 13008348
o 13006223
o 13006089
o 13001816
o 13001426
o 12999598
o 12997326
o 12997008
o 12995033
o 12992908
o 12991070
o 12990972
o 12988847
o 12987812
o 12985687
o 12984357
o 12983322
o 12981197
o 12980419
o 12976146
o 12975756
o 12973928
o 12971656
o 12971522
o 12967249
o 12966859
o 12965031
o 12962759
o 12960921
o 12960823
o 12958698
o 12957663
o 12955538
o 12955148
o 12953320
o 12951048
o 12949302
o 12947177
o 12946787
o 12944812
o 12942687
o 12942553
o 12938280
o 12937890
o 12936062
o 12933790
o 12931957
o 12929982
o 12927857
o 12927467
o 12925492
o 12923367
o 12923233
o 12918960
o 12918570
o 12916742
o 12914470
o 12914152
o 12912177
o 12910052
o 12908214
o 12908116
o 12905991
o 12904956
o 12902831
o 12901501
o 12900466
o 12898341
o 12897485
o 12893212
o 12887473
o 12885348
o 12885214
o 12880941
o 12880551
o 12878576
o 12876451
o 12876133
o 12874305
o 12872033
o 12870195
o 12868912
o 12866937
o 12864812
o 12864422
o 12862447
o 12860322
o 12858230
o 12856105
o 12855715
o 12853887
o 12851615
o 12851481
o 12847208
o 12846818
o 12844990
o 12842718
o 12840880
o 12840782
o 12838657
o 12837622
o 12835497
o 12835107
o 12833279
o 12831007
o 12829261
o 12827136
o 12826746
o 12824771
o 12822646
o 12822512
o 12818239
o 12817849
o 12816021
o 12813749
o 12811916
o 12809941
o 12807816
o 12807426
o 12805451
o 12803326
o 12803192
o 12798919
o 12798529
o 12796701
o 12794429
o 12794111
o 12792136
o 12790011
o 12788173
o 12788075
o 12785950
o 12784915
o 12782790
o 12781460
o 12780425
o 12778300
o 12777444
o 12773171
o 12767432
o 12765307
o 12765173
o 12760900
o 12760510
o 12758535
o 12756410
o 12756092
o 12754264
o 12751992
o 12750154
o 12748871
o 12746896
o 12744771
o 12744381
o 12742406
o 12740281
o 12739054
o 12738019
o 12735894
o 12735504
o 12733676
o 12731404
o 12730011
o 12728976
o 12726851
o 12726737
o 12722464
o 12722074
o 12720246
o 12717974
o 12717881
o 12717496
o 12716634
o 12715599
o 12713474
o 12713084
o 12711256
o 12708984
o 12708870
o 12704597
o 12704207
o 12702379
o 12700107
o 12699854
o 12695581
o 12693456
o 12687717
o 12685592
o 12684334
o 12681174
o 12679947
o 12678912
o 12676787
o 12675457
o 12674422
o 12672297
o 12669798
o 12666638
o 12658774
o 12657527
o 12654367
o 12653977
o 12652149
o 12649877
o 12648650
o 12647615
o 12645490
o 12645100
o 12643272
o 12641000
o 12639277
o 12637302
o 12635177
o 12635148
o 12633173
o 12631048
o 12630658
o 12628683
o 12626558
o 12626424
o 12622151
o 12621761
o 12619933
o 12617661
o 12615828
o 12613853
o 12611728
o 12611338
o 12609363
o 12607238
o 12607104
o 12602831
o 12602441
o 12600613
o 12598341
o 12598023
o 12596048
o 12593923
o 12588166
o 12586041
o 12583676
o 12581551
o 12581417
o 12577144
o 12576754
o 12574926
o 12572654
o 12570821
o 12568846
o 12566721
o 12566331
o 12564356
o 12562231
o 12562097
o 12557824
o 12557434
o 12555606
o 12553334
o 12553016
o 12551041
o 12548916
o 12547236
o 12545111
o 12544721
o 12542893
o 12540621
o 12538783
o 12538685
o 12536560
o 12535525
o 12533400
o 12532070
o 12531035
o 12528910
o 12525451
o 12523326
o 12517587
o 12515462
o 12515328
o 12511055
o 12510665
o 12508837
o 12506565
o 12504732
o 12502757
o 12500632
o 12500242
o 12498267
o 12496142
o 12496008
o 12491735
o 12491345
o 12489517
o 12487245
o 12486927
o 12484952
o 12482827
o 12480989
o 12480891
o 12478766
o 12477731
o 12475606
o 12474276
o 12473241
o 12471116
o 12470338
o 12466065
o 12465675
o 12463847
o 12461575
o 12461441
o 12457168
o 12456778
o 12454950
o 12452678
o 12450840
o 12450742
o 12448617
o 12447582
o 12445457
o 12445067
o 12443239
o 12440967
o 12439221
o 12437096
o 12436706
o 12434731
o 12432606
o 12432472
o 12428199
o 12427809
o 12425981
o 12423709
o 12421876
o 12419901
o 12417776
o 12417386
o 12415411
o 12413286
o 12413152
o 12408879
o 12408489
o 12406661
o 12404389
o 12404071
o 12402096
o 12399971
o 12398133
o 12398035
o 12395910
o 12394875
o 12392750
o 12391420
o 12390385
o 12388260
o 12387404
o 12383131
o 12377392
o 12375267
o 12375133
o 12370860
o 12370470
o 12368495
o 12366370
o 12366052
o 12364224
o 12361952
o 12360114
o 12358831
o 12356856
o 12354731
o 12354341
o 12352366
o 12350241
o 12348149
o 12346024
o 12345634
o 12343806
o 12341534
o 12341400
o 12337127
o 12336737
o 12334909
o 12332637
o 12330799
o 12330701
o 12328576
o 12327541
o 12325416
o 12325026
o 12323198
o 12320926
o 12319180
o 12317055
o 12316665
o 12314690
o 12312565
o 12312431
o 12308158
o 12307768
o 12305940
o 12303668
o 12301835
o 12299860
o 12297735
o 12297345
o 12295370
o 12293245
o 12293111
o 12288838
o 12288448
o 12286620
o 12284348
o 12284030
o 12282055
o 12279930
o 12278092
o 12277994
o 12275869
o 12274834
o 12272709
o 12271379
o 12270344
o 12268219
o 12267363
o 12263090
o 12257351
o 12255226
o 12255092
o 12250819
o 12250429
o 12248454
o 12246329
o 12246011
o 12244183
o 12241911
o 12240073
o 12238790
o 12236815
o 12234690
o 12234300
o 12232325
o 12230200
o 12228973
o 12227938
o 12225813
o 12224483
o 12223448
o 12221323
o 12218824
o 12215664
o 12207800
o 12206553
o 12203393
o 12203003
o 12201175
o 12198903
o 12197676
o 12196641
o 12194516
o 12194126
o 12192298
o 12190026
o 12189773
o 12185500
o 12183375
o 12177636
o 12175511
o 12174253
o 12171093
o 12169866
o 12168831
o 12166706
o 12165376
o 12164341
o 12162216
o 12159717
o 12156557
o 12148693
o 12147446
o 12144286
o 12143896
o 12142068
o 12139796
o 12138569
o 12137534
o 12135409
o 12135019
o 12133191
o 12130919
o 12127512
o 12125387
o 12119648
o 12117523
o 12117389
o 12113116
o 12112726
o 12110751
o 12108626
o 12108308
o 12106480
o 12104208
o 12102370
o 12101087
o 12099112
o 12096987
o 12096597
o 12094622
o 12092497
o 12092119
o 12086736
o 12078872
o 12077625
o 12074465
o 12074075
o 12072247
o 12069975
o 12068748
o 12067713
o 12065588
o 12064258
o 12063223
o 12061098
o 12058599
o 12055439
o 12047575
o 12046328
o 12043168
o 12042778
o 12040950
o 12038678
o 12037451
o 12036416
o 12034291
o 12033901
o 12032073
o 12029801
o 12029548
o 12025275
o 12023150
o 12017411
o 12015286
o 12014028
o 12010868
o 12009641
o 12008606
o 12006481
o 12005151
o 12004116
o 12001991
o 11999492
o 11996332
o 11988468
o 11987221
o 11984061
o 11983671
o 11981843
o 11979571
o 11978344
o 11977309
o 11975184
o 11974794
o 11972966
o 11970694
o 11970209
o 11965936
o 11965546
o 11963718
o 11961446
o 11961312
o 11957039
o 11956649
o 11954821
o 11952549
o 11951322
o 11950287
o 11948162
o 11947772
o 11945797
o 11943672
o 11943579
o 11943194
o 11941297
o 11939172
o 11938782
o 11936954
o 11934682
o 11934568
o 11930295
o 11929905
o 11928077
o 11925805
o 11924155
o 11923120
o 11920995
o 11920861
o 11916588
o 11916198
o 11914370
o 11912098
o 11910871
o 11909836
o 11907711
o 11907321
o 11905346
o 11903221
o 11900722
o 11897562
o 11889698
o 11888451
o 11885291
o 11884901
o 11883073
o 11880801
o 11879574
o 11878539
o 11876414
o 11876024
o 11874196
o 11871924
o 11871439
o 11867166
o 11866776
o 11864948
o 11862676
o 11862542
o 11858269
o 11857879
o 11856051
o 11853779
o 11852552
o 11851517
o 11849392
o 11849002
o 11847027
o 11844902
o 11844809
o 11844424
o 11842527
o 11840402
o 11840012
o 11838184
o 11835912
o 11835798
o 11831525
o 11831135
o 11829307
o 11827035
o 11826149
o 11824024
o 11822777
o 11821742
o 11819617
o 11819227
o 11817399
o 11815127
o 11815013
o 11810740
o 11810350
o 11808522
o 11806250
o 11806157
o 11805772
o 11803875
o 11801750
o 11801360
o 11799532
o 11797260
o 11797146
o 11792873
o 11792483
o 11790655
o 11788383
o 11786395
o 11785148
o 11784113
o 11781988
o 11781598
o 11779770
o 11777498
o 11777384
o 11773111
o 11772721
o 11770893
o 11768621
o 11768528
o 11768143
o 11766246
o 11764121
o 11763731
o 11761903
o 11759631
o 11759517
o 11755244
o 11754854
o 11753026
o 11750754
o 11750677
o 11746404
o 11745074
o 11741914
o 11739934
o 11739060
o 11737862
o 11735737
o 11734702
o 11732577
o 11732443
o 11728170
o 11727780
o 11725952
o 11723680
o 11722453
o 11721418
o 11719293
o 11718903
o 11716928
o 11714803
o 11714710
o 11714325
o 11712428
o 11710303
o 11709913
o 11708085
o 11705813
o 11705699
o 11701426
o 11701036
o 11699208
o 11696936
o 11696451
o 11692178
o 11691788
o 11689960
o 11687688
o 11687554
o 11683281
o 11682891
o 11681063
o 11678791
o 11677564
o 11676529
o 11674404
o 11674014
o 11672039
o 11669914
o 11669821
o 11669436
o 11667539
o 11665414
o 11665024
o 11663196
o 11660924
o 11660810
o 11656537
o 11656147
o 11654319
o 11652047
o 11650809
o 11648684
o 11646787
o 11644662
o 11644548
o 11640275
o 11639885
o 11638057
o 11635785
o 11633797
o 11632550
o 11631515
o 11629390
o 11629000
o 11627172
o 11624900
o 11624786
o 11620513
o 11620123
o 11618295
o 11616023
o 11615930
o 11615545
o 11613648
o 11611523
o 11611133
o 11609305
o 11607033
o 11606919
o 11602646
o 11602256
o 11600428
o 11598156
o 11597270
o 11595145
o 11593898
o 11592863
o 11590738
o 11590348
o 11588520
o 11586248
o 11586134
o 11581861
o 11581471
o 11579643
o 11577371
o 11577278
o 11576893
o 11574996
o 11572871
o 11572481
o 11570653
o 11568381
o 11568267
o 11563994
o 11563604
o 11561776
o 11559504
o 11557516
o 11556269
o 11555234
o 11553109
o 11552719
o 11550891
o 11548619
o 11548505
o 11544232
o 11543842
o 11542014
o 11539742
o 11539649
o 11539264
o 11537367
o 11535242
o 11534852
o 11533024
o 11530752
o 11530638
o 11526365
o 11525975
o 11524147
o 11521875
o 11520288
o 11519253
o 11517128
o 11516994
o 11512721
o 11512331
o 11510503
o 11508231
o 11507004
o 11505969
o 11503844
o 11503454
o 11501479
o 11499354
o 11496855
o 11493695
o 11485831
o 11484584
o 11481424
o 11481034
o 11479206
o 11476934
o 11475707
o 11474672
o 11472547
o 11472157
o 11470329
o 11468057
o 11467572
o 11463299
o 11462909
o 11461081
o 11458809
o 11458675
o 11454402
o 11454012
o 11452184
o 11449912
o 11448685
o 11447650
o 11445525
o 11445135
o 11443160
o 11441035
o 11440942
o 11440557
o 11438660
o 11436535
o 11436145
o 11434317
o 11432045
o 11431931
o 11427658
o 11427268
o 11425440
o 11423168
o 11422514
o 11422124
o 11420296
o 11418024
o 11415797
o 11411697
o 11409717
o 11408843
o 11407645
o 11405520
o 11404485
o 11402360
o 11402226
o 11397953
o 11397563
o 11395735
o 11393463
o 11392236
o 11391201
o 11389076
o 11388686
o 11386711
o 11384586
o 11384493
o 11384108
o 11382211
o 11380086
o 11379696
o 11377868
o 11375596
o 11375482
o 11371209
o 11370819
o 11368991
o 11366719
o 11366234
o 11361961
o 11361571
o 11359743
o 11357471
o 11357337
o 11353064
o 11352674
o 11350846
o 11348574
o 11347347
o 11346312
o 11344187
o 11343797
o 11341822
o 11339697
o 11339604
o 11339219
o 11337322
o 11335197
o 11334807
o 11332979
o 11330707
o 11330593
o 11326320
o 11325930
o 11324102
o 11321830
o 11320318
o 11319456
o 11318421
o 11316296
o 11315098
o 11312973
o 11311938
o 11309813
o 11309679
o 11305406
o 11305016
o 11303188
o 11300916
o 11299689
o 11298654
o 11296529
o 11296139
o 11294164
o 11292039
o 11291946
o 11291561
o 11289664
o 11287539
o 11287149
o 11285321
o 11283049
o 11282935
o 11278662
o 11278272
o 11276444
o 11274172
o 11273687
o 11269414
o 11269024
o 11267196
o 11264924
o 11264790
o 11260517
o 11260127
o 11258299
o 11256027
o 11254800
o 11253765
o 11251640
o 11251250
o 11249275
o 11247150
o 11247057
o 11246672
o 11244775
o 11242650
o 11242260
o 11240432
o 11238160
o 11238046
o 11233773
o 11233383
o 11231555
o 11229283
o 11223800
o 11221675
o 11221561
o 11217288
o 11216898
o 11215070
o 11212798
o 11212705
o 11212320
o 11210423
o 11208298
o 11207908
o 11206080
o 11203808
o 11203694
o 11199421
o 11199031
o 11197203
o 11194931
o 11192943
o 11191696
o 11190661
o 11188536
o 11188146
o 11186318
o 11184046
o 11183932
o 11179659
o 11179269
o 11177441
o 11175169
o 11175076
o 11174691
o 11172794
o 11170669
o 11170279
o 11168451
o 11166179
o 11166065
o 11161792
o 11161402
o 11159574
o 11157302
o 11155883
o 11153758
o 11152723
o 11150598
o 11149351
o 11146191
o 11145801
o 11143973
o 11141701
o 11139955
o 11137830
o 11137440
o 11135465
o 11133340
o 11133206
o 11128933
o 11128543
o 11126715
o 11124443
o 11122610
o 11120635
o 11118510
o 11118120
o 11116145
o 11114020
o 11113886
o 11109613
o 11109223
o 11107395
o 11105123
o 11104805
o 11102830
o 11100705
o 11098867
o 11098769
o 11096644
o 11095609
o 11093484
o 11092154
o 11091119
o 11088994
o 11088616
o 11083233
o 11075369
o 11074122
o 11070962
o 11070572
o 11068744
o 11066472
o 11064380
o 11062255
o 11061865
o 11060037
o 11057765
o 11057631
o 11053358
o 11052968
o 11051140
o 11048868
o 11047030
o 11046932
o 11044807
o 11043772
o 11041647
o 11041257
o 11039429
o 11037157
o 11035411
o 11033286
o 11032896
o 11030921
o 11028796
o 11028662
o 11024389
o 11023999
o 11022171
o 11019899
o 11018066
o 11016091
o 11013966
o 11013576
o 11011601
o 11009476
o 11009342
o 11005069
o 11004679
o 11002851
o 11000579
o 11000261
o 10998286
o 10996161
o 10994323
o 10994225
o 10992100
o 10991065
o 10988940
o 10987610
o 10986575
o 10984450
o 10983594
o 10979321
o 10973582
o 10971457
o 10971323
o 10967050
o 10966660
o 10964685
o 10962560
o 10962242
o 10960414
o 10958142
o 10956304
o 10955021
o 10953046
o 10950921
o 10950531
o 10948556
o 10946431
o 10945204
o 10944169
o 10942044
o 10940714
o 10939679
o 10937554
o 10935055
o 10931895
o 10924031
o 10922784
o 10919624
o 10919234
o 10917406
o 10915134
o 10913907
o 10912872
o 10910747
o 10910357
o 10908529
o 10906257
o 10906004
o 10901731
o 10899606
o 10893867
o 10891742
o 10890484
o 10887324
o 10886097
o 10885062
o 10882937
o 10881607
o 10880572
o 10878447
o 10875948
o 10872788
o 10864924
o 10863677
o 10860517
o 10860127
o 10858299
o 10856027
o 10854800
o 10853765
o 10851640
o 10851250
o 10849422
o 10847150
o 10843743
o 10841618
o 10835879
o 10833754
o 10833620
o 10829347
o 10828957
o 10826982
o 10824857
o 10824539
o 10822711
o 10820439
o 10818601
o 10817318
o 10815343
o 10813218
o 10812828
o 10810853
o 10808728
o 10808350
o 10802967
o 10795103
o 10793856
o 10790696
o 10790306
o 10788478
o 10786206
o 10784979
o 10783944
o 10781819
o 10780489
o 10779454
o 10777329
o 10774830
o 10771670
o 10763806
o 10762559
o 10759399
o 10759009
o 10757181
o 10754909
o 10753682
o 10752647
o 10750522
o 10750132
o 10748304
o 10746032
o 10745779
o 10741506
o 10739381
o 10733642
o 10731517
o 10730259
o 10727099
o 10725872
o 10724837
o 10722712
o 10721382
o 10720347
o 10718222
o 10715723
o 10712563
o 10704699
o 10703452
o 10700292
o 10699902
o 10698074
o 10695802
o 10694575
o 10693540
o 10691415
o 10691025
o 10689197
o 10686925
o 10686440
o 10682167
o 10681777
o 10679949
o 10677677
o 10677543
o 10673270
o 10672880
o 10671052
o 10668780
o 10667553
o 10666518
o 10664393
o 10664003
o 10662028
o 10659903
o 10659810
o 10659425
o 10657528
o 10655403
o 10655013
o 10653185
o 10650913
o 10650799
o 10646526
o 10646136
o 10644308
o 10642036
o 10640386
o 10639351
o 10637226
o 10637092
o 10632819
o 10632429
o 10630601
o 10628329
o 10627102
o 10626067
o 10623942
o 10623552
o 10621577
o 10619452
o 10616953
o 10613793
o 10605929
o 10604682
o 10601522
o 10601132
o 10599304
o 10597032
o 10595805
o 10594770
o 10592645
o 10592255
o 10590427
o 10588155
o 10587670
o 10583397
o 10583007
o 10581179
o 10578907
o 10578773
o 10574500
o 10574110
o 10572282
o 10570010
o 10568783
o 10567748
o 10565623
o 10565233
o 10563258
o 10561133
o 10561040
o 10560655
o 10558758
o 10556633
o 10556243
o 10554415
o 10552143
o 10552029
o 10547756
o 10547366
o 10545538
o 10543266
o 10542380
o 10540255
o 10539008
o 10537973
o 10535848
o 10535458
o 10533630
o 10531358
o 10531244
o 10526971
o 10526581
o 10524753
o 10522481
o 10522388
o 10522003
o 10520106
o 10517981
o 10517591
o 10515763
o 10513491
o 10513377
o 10509104
o 10508714
o 10506886
o 10504614
o 10502626
o 10501379
o 10500344
o 10498219
o 10497829
o 10496001
o 10493729
o 10493615
o 10489342
o 10488952
o 10487124
o 10484852
o 10484759
o 10484374
o 10482477
o 10480352
o 10479962
o 10478134
o 10475862
o 10475748
o 10471475
o 10471085
o 10469257
o 10466985
o 10465398
o 10464363
o 10462238
o 10462104
o 10457831
o 10457441
o 10455613
o 10453341
o 10452114
o 10451079
o 10448954
o 10448564
o 10446589
o 10444464
o 10441965
o 10438805
o 10430941
o 10429694
o 10426534
o 10426144
o 10424316
o 10422044
o 10420817
o 10419782
o 10417657
o 10417267
o 10415439
o 10413167
o 10412682
o 10408409
o 10408019
o 10406191
o 10403919
o 10403785
o 10399512
o 10399122
o 10397294
o 10395022
o 10393795
o 10392760
o 10390635
o 10390245
o 10388270
o 10386145
o 10386052
o 10385667
o 10383770
o 10381645
o 10381255
o 10379427
o 10377155
o 10377041
o 10372768
o 10372378
o 10370550
o 10368278
o 10367040
o 10364915
o 10363018
o 10360893
o 10360779
o 10356506
o 10356116
o 10354288
o 10352016
o 10350028
o 10348781
o 10347746
o 10345621
o 10345231
o 10343403
o 10341131
o 10341017
o 10336744
o 10336354
o 10334526
o 10332254
o 10332161
o 10331776
o 10329879
o 10327754
o 10327364
o 10325536
o 10323264
o 10323150
o 10318877
o 10318487
o 10316659
o 10314387
o 10313501
o 10311376
o 10310129
o 10309094
o 10306969
o 10306579
o 10304751
o 10302479
o 10302365
o 10298092
o 10297702
o 10295874
o 10293602
o 10293509
o 10293124
o 10291227
o 10289102
o 10288712
o 10286884
o 10284612
o 10284498
o 10280225
o 10279835
o 10278007
o 10275735
o 10273747
o 10272500
o 10271465
o 10269340
o 10268950
o 10267122
o 10264850
o 10264736
o 10260463
o 10260073
o 10258245
o 10255973
o 10255880
o 10255495
o 10253598
o 10251473
o 10251083
o 10249255
o 10246983
o 10246869
o 10242596
o 10242206
o 10240378
o 10238106
o 10236519
o 10235484
o 10233359
o 10233225
o 10228952
o 10228562
o 10226734
o 10224462
o 10223235
o 10222200
o 10220075
o 10219685
o 10217710
o 10215585
o 10213086
o 10209926
o 10202062
o 10200815
o 10197655
o 10197265
o 10195437
o 10193165
o 10191938
o 10190903
o 10188778
o 10188388
o 10186560
o 10184288
o 10183803
o 10179530
o 10179140
o 10177312
o 10175040
o 10174906
o 10170633
o 10170243
o 10168415
o 10166143
o 10164916
o 10163881
o 10161756
o 10161366
o 10159391
o 10157266
o 10157173
o 10156788
o 10154891
o 10152766
o 10152376
o 10150548
o 10148276
o 10148162
o 10143889
o 10143499
o 10141671
o 10139399
o 10138745
o 10138355
o 10136527
o 10134255
o 10132028
o 10127928
o 10125948
o 10125074
o 10123876
o 10121751
o 10120716
o 10118591
o 10118457
o 10114184
o 10113794
o 10111966
o 10109694
o 10108467
o 10107432
o 10105307
o 10104917
o 10102942
o 10100817
o 10100724
o 10100339
o 10098442
o 10096317
o 10095927
o 10094099
o 10091827
o 10091713
o 10087440
o 10087050
o 10085222
o 10082950
o 10082465
o 10078192
o 10077802
o 10075974
o 10073702
o 10073568
o 10069295
o 10068905
o 10067077
o 10064805
o 10063578
o 10062543
o 10060418
o 10060028
o 10058053
o 10055928
o 10055835
o 10055450
o 10053553
o 10051428
o 10051038
o 10049210
o 10046938
o 10046824
o 10042551
o 10042161
o 10040333
o 10038061
o 10036549
o 10035687
o 10034652
o 10032527
o 10031329
o 10029204
o 10028169
o 10026044
o 10025910
o 10021637
o 10021247
o 10019419
o 10017147
o 10015920
o 10014885
o 10012760
o 10012370
o 10010395
o 10008270
o 10008177
o 10007792
o 10005895
o 10003770
o 10003380
o 10001552
o 9999280
o 9999166
o 9994893
o 9994503
o 9992675
o 9990403
o 9989918
o 9985645
o 9985255
o 9983427
o 9981155
o 9981021
o 9976748
o 9976358
o 9974530
o 9972258
o 9971031
o 9969996
o 9967871
o 9967481
o 9965506
o 9963381
o 9963288
o 9962903
o 9961006
o 9958881
o 9958491
o 9956663
o 9954391
o 9954277
o 9950004
o 9949614
o 9947786
o 9945514
o 9940031
o 9937906
o 9937792
o 9933519
o 9933129
o 9931301
o 9929029
o 9928936
o 9928551
o 9926654
o 9924529
o 9924139
o 9922311
o 9920039
o 9919925
o 9915652
o 9915262
o 9913434
o 9911162
o 9909174
o 9907927
o 9906892
o 9904767
o 9904377
o 9902549
o 9900277
o 9900163
o 9895890
o 9895500
o 9893672
o 9891400
o 9891307
o 9890922
o 9889025
o 9886900
o 9886510
o 9884682
o 9882410
o 9882296
o 9878023
o 9877633
o 9875805
o 9873533
o 9873118
o 9870993
o 9870793
o 9869758
o 9867633
o 9866625
o 9866096
o 9864401
o 9864034
o 9863834
o 9862799
o 9860674
o 9859327
o 9858316
o 9857442
o 9856947
o 9856312
o 9852838
o 9852448
o 9850620
o 9848348
o 9848214
o 9843941
o 9843551
o 9841723
o 9839451
o 9838224
o 9837189
o 9835064
o 9834674
o 9832699
o 9830574
o 9830481
o 9830096
o 9828199
o 9826074
o 9825684
o 9823856
o 9821584
o 9821470
o 9817197
o 9816807
o 9814979
o 9812707
o 9811935
o 9810900
o 9808775
o 9807528
o 9806493
o 9804368
o 9803978
o 9802150
o 9799878
o 9799764
o 9795491
o 9795101
o 9793273
o 9791001
o 9790908
o 9790523
o 9788626
o 9786501
o 9786111
o 9784283
o 9782011
o 9781897
o 9777624
o 9777234
o 9775406
o 9773134
o 9772480
o 9772090
o 9770262
o 9767990
o 9765763
o 9761663
o 9759683
o 9758809
o 9757611
o 9755486
o 9754451
o 9752326
o 9752192
o 9747919
o 9747529
o 9745701
o 9743429
o 9742202
o 9741167
o 9739042
o 9738652
o 9736677
o 9734552
o 9734459
o 9734074
o 9732177
o 9730052
o 9729662
o 9727834
o 9725562
o 9725448
o 9721175
o 9720785
o 9718957
o 9716685
o 9716200
o 9711927
o 9711537
o 9709709
o 9707437
o 9707303
o 9703030
o 9702640
o 9700812
o 9698540
o 9697313
o 9696278
o 9694153
o 9693763
o 9691788
o 9689663
o 9689570
o 9689185
o 9687288
o 9685163
o 9684773
o 9682945
o 9680673
o 9680559
o 9676286
o 9675896
o 9674068
o 9671796
o 9671381
o 9669256
o 9668021
o 9665896
o 9664549
o 9663538
o 9662664
o 9662297
o 9661062
o 9658937
o 9657590
o 9656579
o 9655705
o 9655210
o 9654575
o 9652528
o 9649168
o 9648673
o 9648038
o 9647573
o 9646976
o 9646383
o 9642110
o 9641720
o 9639892
o 9637620
o 9637486
o 9633213
o 9632823
o 9630995
o 9628723
o 9627496
o 9624336
o 9623946
o 9622118
o 9619846
o 9617858
o 9616611
o 9615576
o 9613451
o 9613061
o 9611233
o 9608961
o 9608847
o 9604574
o 9604184
o 9602356
o 9600084
o 9599991
o 9599606
o 9597709
o 9595584
o 9595194
o 9593366
o 9591094
o 9590980
o 9586707
o 9586317
o 9584489
o 9582217
o 9581802
o 9579677
o 9578442
o 9576317
o 9574970
o 9573959
o 9573085
o 9572718
o 9571483
o 9569358
o 9568011
o 9567000
o 9566126
o 9565631
o 9564996
o 9562949
o 9559589
o 9559094
o 9558459
o 9557994
o 9557397
o 9555980
o 9554969
o 9554095
o 9553423
o 9551074
o 9550063
o 9549568
o 9548933
o 9548468
o 9547871
o 9547145
o 9546650
o 9546015
o 9545343
o 9542994
o 9541983
o 9541488
o 9540853
o 9540388
o 9539791
o 9539764
o 9538289
o 9537278
o 9536404
o 9536148
o 9535274
o 9534809
o 9534212
o 9533614
o 9533266
o 9532669
o 9530472
o 9529598
o 9529133
o 9528536
o 9527119
o 9526108
o 9525234
o 9524562
o 9522213
o 9521202
o 9520707
o 9520072
o 9519607
o 9519010
o 9518412
o 9516697
o 9515686
o 9514812
o 9513395
o 9512384
o 9511510
o 9510838
o 9508489
o 9507478
o 9506983
o 9506348
o 9505883
o 9505286
o 9504688
o 9503341
o 9499981
o 9499486
o 9498851
o 9498386
o 9497789
o 9495592
o 9494718
o 9494530
o 9493656
o 9492239
o 9491228
o 9490354
o 9489682
o 9487333
o 9486322
o 9485827
o 9485192
o 9484727
o 9484130
o 9483532
o 9481817
o 9480806
o 9479932
o 9478515
o 9477504
o 9476630
o 9475958
o 9473609
o 9472598
o 9472103
o 9471468
o 9471003
o 9470406
o 9469808
o 9467965
o 9467091
o 9464894
o 9464020
o 9463832
o 9462958
o 9461541
o 9460530
o 9459656
o 9458984
o 9456635
o 9455624
o 9455129
o 9454494
o 9454029
o 9453432
o 9452834
o 9451119
o 9450108
o 9449234
o 9447817
o 9446806
o 9445932
o 9445260
o 9442911
o 9441900
o 9441405
o 9440770
o 9440305
o 9439708
o 9439110
o 9438755
o 9436406
o 9435395
o 9434723
o 9432374
o 9431363
o 9430868
o 9430233
o 9429768
o 9429171
o 9428573
o 9427867
o 9426993
o 9426737
o 9425863
o 9424055
o 9421831
o 9420701
o 9420513
o 9419639
o 9419041
o 9418222
o 9415873
o 9414862
o 9414367
o 9413732
o 9413060
o 9410711
o 9409700
o 9409205
o 9408570
o 9408105
o 9407508
o 9406910
o 9406656
o 9405181
o 9404170
o 9403296
o 9402831
o 9402234
o 9401636
o 9401281
o 9398932
o 9397921
o 9397249
o 9394900
o 9393889
o 9393394
o 9392759
o 9392294
o 9391697
o 9391099
o 9390393
o 9389519
o 9389263
o 9388389
o 9386581
o 9384357
o 9383227
o 9383039
o 9382165
o 9381567
o 9381093
o 9378796
o 9377785
o 9376911
o 9375068
o 9374194
o 9370138
o 9369264
o 9368769
o 9368134
o 9365296
o 9364422
o 9362727
o 9362232
o 9361597
o 9361132
o 9360535
o 9360306
o 9359937
o 9356979
o 9356105
o 9354410
o 9351572
o 9350698
o 9349003
o 9348508
o 9347873
o 9347408
o 9346811
o 9346582
o 9346213
o 9344383
o 9343372
o 9342498
o 9338210
o 9337336
o 9336871
o 9336274
o 9336273
o 9335676
o 9334096
o 9332966
o 9330902
o 9330028
o 9327804
o 9326742
o 9326741
o 9326144
s OPTIMUM FOUND
c Optimal Solution = 9326144
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
c Program terminated in 1.840 seconds.
1.840u 0.004s 0:01.86 98.9%	0+0k 0+0io 0pf+0w