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_cap62.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap62.wcsp.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 56498489
o 18924221
o 18895167
o 18879405
o 18828146
o 18799092
o 18783330
o 18771768
o 18760788
o 18757893
o 18746913
o 18739049
o 18722734
o 18708859
o 18697879
o 18690015
o 18688905
o 18684632
o 18640808
o 18611754
o 18595992
o 18585012
o 18577148
o 18560833
o 18546958
o 18535978
o 18528114
o 18527004
o 18522731
o 18511903
o 18504039
o 18460902
o 18431848
o 18416086
o 18404524
o 18393544
o 18390649
o 18379669
o 18371805
o 18355490
o 18341615
o 18330635
o 18322771
o 18321661
o 18317388
o 18273564
o 18244510
o 18228748
o 18217768
o 18209904
o 18193589
o 18179714
o 18168734
o 18160870
o 18159760
o 18155487
o 18144659
o 18136795
o 18127346
o 18124451
o 18113471
o 18105607
o 18089292
o 18075417
o 18064437
o 18056573
o 18055463
o 18051190
o 18018169
o 18002407
o 17991427
o 17983563
o 17967248
o 17953373
o 17942393
o 17934529
o 17933419
o 17929146
o 17918318
o 17910454
o 17896006
o 17882131
o 17871151
o 17863287
o 17862177
o 17857904
o 17824883
o 17809121
o 17798141
o 17790277
o 17773962
o 17760087
o 17749107
o 17741243
o 17740133
o 17735860
o 17725032
o 17717168
o 17715733
o 17704753
o 17701858
o 17690878
o 17683014
o 17678770
o 17667790
o 17664895
o 17653915
o 17646051
o 17644941
o 17640668
o 17630192
o 17628067
o 17614192
o 17603212
o 17597473
o 17595348
o 17592090
o 17589965
o 17587656
o 17585531
o 17573781
o 17571656
o 17563792
o 17560534
o 17558409
o 17551057
o 17548162
o 17537182
o 17529318
o 17513003
o 17499128
o 17488148
o 17480284
o 17479174
o 17474901
o 17464073
o 17456209
o 17454774
o 17443794
o 17440899
o 17429919
o 17422055
o 17417811
o 17406831
o 17403936
o 17392956
o 17385092
o 17383982
o 17379709
o 17369233
o 17367108
o 17353233
o 17342253
o 17336514
o 17334389
o 17331131
o 17329006
o 17326697
o 17324572
o 17312822
o 17310697
o 17302833
o 17299575
o 17297450
o 17290901
o 17277026
o 17266046
o 17258182
o 17257072
o 17252799
o 17241971
o 17234107
o 17232672
o 17221692
o 17218797
o 17207817
o 17199953
o 17195709
o 17184729
o 17181834
o 17170854
o 17162990
o 17161880
o 17157607
o 17147131
o 17145006
o 17131131
o 17120151
o 17114412
o 17112287
o 17109029
o 17106904
o 17104595
o 17102470
o 17090720
o 17088595
o 17080731
o 17077473
o 17075348
o 17073614
o 17071489
o 17059739
o 17057614
o 17051875
o 17049750
o 17047441
o 17045316
o 17033566
o 17031441
o 17023577
o 17020319
o 17018194
o 17014214
o 17008831
o 17006706
o 17000967
o 16998842
o 16994853
o 16992728
o 16978853
o 16967873
o 16962134
o 16960009
o 16956751
o 16954626
o 16949065
o 16946940
o 16933065
o 16922085
o 16916346
o 16914221
o 16910963
o 16908838
o 16906529
o 16904404
o 16892654
o 16890529
o 16882665
o 16879407
o 16877282
o 16873302
o 16867919
o 16865794
o 16860055
o 16857930
o 16855176
o 16853051
o 16850833
o 16848561
o 16846252
o 16844127
o 16832377
o 16830252
o 16822388
o 16819130
o 16817005
o 16813025
o 16807642
o 16805517
o 16799778
o 16797653
o 16790345
o 16788220
o 16787450
o 16785325
o 16776470
o 16774345
o 16766481
o 16763223
o 16761098
o 16755537
o 16753412
o 16739537
o 16728557
o 16722818
o 16720693
o 16717435
o 16715310
o 16713001
o 16710876
o 16699126
o 16697001
o 16689137
o 16685879
o 16683754
o 16679774
o 16674391
o 16672266
o 16666527
o 16664402
o 16660413
o 16658288
o 16644413
o 16633433
o 16627694
o 16625569
o 16622311
o 16620186
o 16614625
o 16612500
o 16598625
o 16587645
o 16581906
o 16579781
o 16576523
o 16574398
o 16572089
o 16569964
o 16558214
o 16556089
o 16548225
o 16544967
o 16542842
o 16538862
o 16533479
o 16531354
o 16525615
o 16523490
o 16520736
o 16518611
o 16516393
o 16514121
o 16511812
o 16509687
o 16497937
o 16495812
o 16487948
o 16484690
o 16482565
o 16478585
o 16473202
o 16471077
o 16465338
o 16463213
o 16459103
o 16445228
o 16437364
o 16431803
o 16429678
o 16415803
o 16404823
o 16399084
o 16396959
o 16393701
o 16391576
o 16389267
o 16387142
o 16375392
o 16373267
o 16365403
o 16362145
o 16360020
o 16356040
o 16350657
o 16348532
o 16342793
o 16340668
o 16334626
o 16332501
o 16320751
o 16318626
o 16310762
o 16307504
o 16305379
o 16303070
o 16300945
o 16289195
o 16287070
o 16279206
o 16275948
o 16273823
o 16269843
o 16264460
o 16262335
o 16256596
o 16254471
o 16253285
o 16251160
o 16248851
o 16246726
o 16234976
o 16232851
o 16224987
o 16221729
o 16219604
o 16215624
o 16210241
o 16208116
o 16202377
o 16200252
o 16196262
o 16194137
o 16188398
o 16186273
o 16183969
o 16182686
o 16178586
o 16178196
o 16176368
o 16174096
o 16172895
o 16170770
o 16167512
o 16165387
o 16159648
o 16157523
o 16155214
o 16153089
o 16141339
o 16139214
o 16131350
o 16128092
o 16125967
o 16121987
o 16116604
o 16114479
o 16108740
o 16106615
o 16104959
o 16103676
o 16101701
o 16099576
o 16099186
o 16097211
o 16095086
o 16091132
o 16089007
o 16083268
o 16081143
o 16079487
o 16078204
o 16076229
o 16074104
o 16073714
o 16071739
o 16069614
o 16065425
o 16063300
o 16057561
o 16055436
o 16055129
o 16051029
o 16050639
o 16048811
o 16046539
o 16038708
o 16033147
o 16031022
o 16017147
o 16006167
o 16000428
o 15998303
o 15995045
o 15992920
o 15990611
o 15988486
o 15976736
o 15974611
o 15966747
o 15963489
o 15961364
o 15957384
o 15952001
o 15949876
o 15944137
o 15942012
o 15938022
o 15935897
o 15930158
o 15928033
o 15925729
o 15924446
o 15920346
o 15919956
o 15918128
o 15915856
o 15914655
o 15912530
o 15909272
o 15907147
o 15901408
o 15899283
o 15896974
o 15894849
o 15883099
o 15880974
o 15873110
o 15869852
o 15867727
o 15863747
o 15858364
o 15856239
o 15850500
o 15848375
o 15846719
o 15845436
o 15843461
o 15841336
o 15840946
o 15838971
o 15836846
o 15836274
o 15830891
o 15828766
o 15823027
o 15820902
o 15818598
o 15817315
o 15813215
o 15812825
o 15810997
o 15808725
o 15807069
o 15805786
o 15803811
o 15801686
o 15801296
o 15799321
o 15797196
o 15796889
o 15794914
o 15792789
o 15792399
o 15790571
o 15788299
o 15784019
o 15781894
o 15776155
o 15774030
o 15771726
o 15770443
o 15766343
o 15765953
o 15764125
o 15761853
o 15760197
o 15758914
o 15756939
o 15754814
o 15754424
o 15752449
o 15750324
o 15746135
o 15744010
o 15738271
o 15736146
o 15736012
o 15731739
o 15731349
o 15729521
o 15727249
o 15724839
o 15723828
o 15721995
o 15720020
o 15717895
o 15717505
o 15715530
o 15713405
o 15713098
o 15708998
o 15708608
o 15706780
o 15704508
o 15704190
o 15702215
o 15700090
o 15698296
o 15697013
o 15695038
o 15692913
o 15692523
o 15690548
o 15688423
o 15688289
o 15684016
o 15683626
o 15681798
o 15679526
o 15677693
o 15675718
o 15673593
o 15673203
o 15671228
o 15669103
o 15668969
o 15664696
o 15664306
o 15662478
o 15660206
o 15659888
o 15657913
o 15655788
o 15655164
o 15653039
o 15651064
o 15648939
o 15648621
o 15646793
o 15644521
o 15638764
o 15636639
o 15634274
o 15632149
o 15632015
o 15627742
o 15627352
o 15625524
o 15623252
o 15621419
o 15619444
o 15617319
o 15616929
o 15614954
o 15612829
o 15612695
o 15608422
o 15608032
o 15606204
o 15603932
o 15603614
o 15601639
o 15599514
o 15598675
o 15598368
o 15594268
o 15593878
o 15592050
o 15589778
o 15584021
o 15581896
o 15579531
o 15577406
o 15577272
o 15572999
o 15572609
o 15570781
o 15568509
o 15566676
o 15564701
o 15562576
o 15562186
o 15560211
o 15558086
o 15557952
o 15553679
o 15553289
o 15551461
o 15549189
o 15548871
o 15546896
o 15544771
o 15543818
o 15541693
o 15539718
o 15537593
o 15537459
o 15533186
o 15532796
o 15530968
o 15528696
o 15526863
o 15524888
o 15522763
o 15522373
o 15520398
o 15518273
o 15518139
o 15513866
o 15513476
o 15511648
o 15509376
o 15509058
o 15507083
o 15504958
o 15503435
o 15501310
o 15489560
o 15487435
o 15481696
o 15479571
o 15477915
o 15476632
o 15474657
o 15472532
o 15472142
o 15470167
o 15468042
o 15463853
o 15461728
o 15455989
o 15453864
o 15453557
o 15449457
o 15449067
o 15447239
o 15444967
o 15444370
o 15438987
o 15433248
o 15431123
o 15430816
o 15426716
o 15426326
o 15424498
o 15422226
o 15421908
o 15419933
o 15417808
o 15416014
o 15414731
o 15412756
o 15410631
o 15410241
o 15408266
o 15406141
o 15406007
o 15401734
o 15401344
o 15399516
o 15397244
o 15395411
o 15393436
o 15391311
o 15390921
o 15388946
o 15386821
o 15386687
o 15382414
o 15382024
o 15380196
o 15377924
o 15377606
o 15375631
o 15373506
o 15373394
o 15371269
o 15369986
o 15368011
o 15365886
o 15365496
o 15363521
o 15361396
o 15359740
o 15358457
o 15356482
o 15354357
o 15353967
o 15352139
o 15349867
o 15349560
o 15347585
o 15345460
o 15345070
o 15343242
o 15340970
o 15339137
o 15337162
o 15335037
o 15334647
o 15332672
o 15330547
o 15330413
o 15326140
o 15325750
o 15323922
o 15321650
o 15321332
o 15319357
o 15317232
o 15317203
o 15315228
o 15313103
o 15312713
o 15310738
o 15308613
o 15308479
o 15304206
o 15303816
o 15301988
o 15299716
o 15297883
o 15295908
o 15293783
o 15293393
o 15291418
o 15289293
o 15289159
o 15284886
o 15284496
o 15282668
o 15280396
o 15280078
o 15278103
o 15275978
o 15270221
o 15268096
o 15265731
o 15263606
o 15263472
o 15259199
o 15258809
o 15256981
o 15254709
o 15252876
o 15250901
o 15248776
o 15248386
o 15246411
o 15244286
o 15244152
o 15239879
o 15239489
o 15237661
o 15235389
o 15235071
o 15233096
o 15230971
o 15229291
o 15227166
o 15226776
o 15224948
o 15222676
o 15221596
o 15217616
o 15212233
o 15210108
o 15204369
o 15202244
o 15198828
o 15196703
o 15194485
o 15192213
o 15189904
o 15187779
o 15182035
o 15176029
o 15173904
o 15172046
o 15166040
o 15162782
o 15160657
o 15156677
o 15151294
o 15149169
o 15143430
o 15141305
o 15139649
o 15138366
o 15136391
o 15134266
o 15133876
o 15131901
o 15129776
o 15129204
o 15123821
o 15121696
o 15115957
o 15113832
o 15111528
o 15110245
o 15106145
o 15105755
o 15103927
o 15101655
o 15099999
o 15098716
o 15096741
o 15094616
o 15094226
o 15092251
o 15090126
o 15089819
o 15087844
o 15085719
o 15085329
o 15083501
o 15081229
o 15076949
o 15074824
o 15069085
o 15066960
o 15064656
o 15063373
o 15059273
o 15058883
o 15057055
o 15054783
o 15053127
o 15051844
o 15049869
o 15047744
o 15047354
o 15045379
o 15043254
o 15039065
o 15036940
o 15031201
o 15029076
o 15028942
o 15024669
o 15024279
o 15022451
o 15020179
o 15019582
o 15014199
o 15008460
o 15006335
o 15006028
o 15001928
o 15001538
o 14999710
o 14997438
o 14997120
o 14995145
o 14993020
o 14991226
o 14989943
o 14987968
o 14985843
o 14985453
o 14983478
o 14981353
o 14981219
o 14976946
o 14976556
o 14974728
o 14972456
o 14970623
o 14968648
o 14966523
o 14966133
o 14964158
o 14962033
o 14961899
o 14957626
o 14957236
o 14955408
o 14953136
o 14952818
o 14950843
o 14948718
o 14948606
o 14946481
o 14945198
o 14943223
o 14941098
o 14940708
o 14938733
o 14936608
o 14934952
o 14933669
o 14931694
o 14929569
o 14929179
o 14927351
o 14925079
o 14924772
o 14922797
o 14920672
o 14920282
o 14918454
o 14916182
o 14914349
o 14912374
o 14910249
o 14909859
o 14907884
o 14905759
o 14905625
o 14901352
o 14900962
o 14899134
o 14896862
o 14896544
o 14894569
o 14892444
o 14892415
o 14890440
o 14888315
o 14887925
o 14885950
o 14883825
o 14883691
o 14879418
o 14879028
o 14877200
o 14874928
o 14873095
o 14871120
o 14868995
o 14868605
o 14866630
o 14864505
o 14864371
o 14860098
o 14859708
o 14857880
o 14855608
o 14855290
o 14853315
o 14851190
o 14845433
o 14843308
o 14840943
o 14838818
o 14838684
o 14834411
o 14834021
o 14832193
o 14829921
o 14828088
o 14826113
o 14823988
o 14823598
o 14821623
o 14819498
o 14819364
o 14815091
o 14814701
o 14812873
o 14810601
o 14810283
o 14808308
o 14806183
o 14804503
o 14802378
o 14801988
o 14800160
o 14797888
o 14792318
o 14792101
o 14790100
o 14787828
o 14782267
o 14780142
o 14766267
o 14755287
o 14749548
o 14747423
o 14744165
o 14742040
o 14739731
o 14737606
o 14725856
o 14723731
o 14715867
o 14712609
o 14710484
o 14706504
o 14701121
o 14698996
o 14693257
o 14691132
o 14688378
o 14686253
o 14684035
o 14681763
o 14679454
o 14677329
o 14665579
o 14663454
o 14655590
o 14652332
o 14650207
o 14646227
o 14640844
o 14638719
o 14632980
o 14630855
o 14626745
o 14612870
o 14605006
o 14599445
o 14597320
o 14583445
o 14572465
o 14566726
o 14564601
o 14561343
o 14559218
o 14556909
o 14554784
o 14543034
o 14540909
o 14533045
o 14529787
o 14527662
o 14523682
o 14518299
o 14516174
o 14510435
o 14508310
o 14502268
o 14500143
o 14488393
o 14486268
o 14478404
o 14475146
o 14473021
o 14470712
o 14468587
o 14456837
o 14454712
o 14446848
o 14443590
o 14441465
o 14437485
o 14432102
o 14429977
o 14424238
o 14422113
o 14420927
o 14418802
o 14416493
o 14414368
o 14402618
o 14400493
o 14392629
o 14389371
o 14387246
o 14383266
o 14377883
o 14375758
o 14370019
o 14367894
o 14363904
o 14361779
o 14356040
o 14353915
o 14351611
o 14350328
o 14346228
o 14345838
o 14344010
o 14341738
o 14340537
o 14338412
o 14335154
o 14333029
o 14327290
o 14325165
o 14322856
o 14320731
o 14308981
o 14306856
o 14298992
o 14295734
o 14293609
o 14289629
o 14284246
o 14282121
o 14276382
o 14274257
o 14272601
o 14271318
o 14269343
o 14267218
o 14266828
o 14264853
o 14262728
o 14262156
o 14256773
o 14254648
o 14248909
o 14246784
o 14244480
o 14243197
o 14239097
o 14238707
o 14236879
o 14234607
o 14232951
o 14231668
o 14229693
o 14227568
o 14227178
o 14225203
o 14223078
o 14222771
o 14220796
o 14218671
o 14218281
o 14216453
o 14214181
o 14209901
o 14207776
o 14202037
o 14199912
o 14197608
o 14196325
o 14192225
o 14191835
o 14190007
o 14187735
o 14186079
o 14184796
o 14182821
o 14180696
o 14180306
o 14178331
o 14176206
o 14172017
o 14169892
o 14164153
o 14162028
o 14161894
o 14157621
o 14157231
o 14155403
o 14153131
o 14152534
o 14147151
o 14141412
o 14139287
o 14138980
o 14134880
o 14134490
o 14132662
o 14130390
o 14130072
o 14128097
o 14125972
o 14124178
o 14122895
o 14120920
o 14118795
o 14118405
o 14116430
o 14114305
o 14114171
o 14109898
o 14109508
o 14107680
o 14105408
o 14103575
o 14101600
o 14099475
o 14099085
o 14097110
o 14094985
o 14094851
o 14090578
o 14090188
o 14088360
o 14086088
o 14085770
o 14083795
o 14081670
o 14081558
o 14079433
o 14078150
o 14076175
o 14074050
o 14073660
o 14071685
o 14069560
o 14067904
o 14066621
o 14064646
o 14062521
o 14062131
o 14060303
o 14058031
o 14057724
o 14055749
o 14053624
o 14053234
o 14051406
o 14049134
o 14047301
o 14045326
o 14043201
o 14042811
o 14040836
o 14038711
o 14038577
o 14034304
o 14033914
o 14032086
o 14029814
o 14029496
o 14027521
o 14025396
o 14025367
o 14023392
o 14021267
o 14020877
o 14018902
o 14016777
o 14016643
o 14012370
o 14011980
o 14010152
o 14007880
o 14006047
o 14004072
o 14001947
o 14001557
o 13999582
o 13997457
o 13997323
o 13993050
o 13992660
o 13990832
o 13988560
o 13988242
o 13986267
o 13984142
o 13978385
o 13976260
o 13973895
o 13971770
o 13971636
o 13967363
o 13966973
o 13965145
o 13962873
o 13961040
o 13959065
o 13956940
o 13956550
o 13954575
o 13952450
o 13952316
o 13948043
o 13947653
o 13945825
o 13943553
o 13943235
o 13941260
o 13939135
o 13937455
o 13935330
o 13934940
o 13933112
o 13930840
o 13929002
o 13928904
o 13926779
o 13925744
o 13923619
o 13922289
o 13921254
o 13919129
o 13919068
o 13918678
o 13916703
o 13914578
o 13912745
o 13908645
o 13908255
o 13906427
o 13904155
o 13904021
o 13899748
o 13899358
o 13897530
o 13895258
o 13895229
o 13893254
o 13891129
o 13890739
o 13888764
o 13886639
o 13886505
o 13882232
o 13881842
o 13880014
o 13877742
o 13875909
o 13873934
o 13871809
o 13871419
o 13869444
o 13867319
o 13867185
o 13862912
o 13862522
o 13860694
o 13858422
o 13858104
o 13856129
o 13854004
o 13848247
o 13846122
o 13843757
o 13841632
o 13841498
o 13837225
o 13836835
o 13835007
o 13832735
o 13830902
o 13828927
o 13826802
o 13826412
o 13824437
o 13822312
o 13822178
o 13817905
o 13817515
o 13815687
o 13813415
o 13813097
o 13811122
o 13808997
o 13807317
o 13805192
o 13804802
o 13802974
o 13800702
o 13798864
o 13798766
o 13796641
o 13795606
o 13793481
o 13792151
o 13791116
o 13788991
o 13785532
o 13783407
o 13777668
o 13775543
o 13775409
o 13771136
o 13770746
o 13768918
o 13766646
o 13764813
o 13762838
o 13760713
o 13760323
o 13758348
o 13756223
o 13756089
o 13751816
o 13751426
o 13749598
o 13747326
o 13747008
o 13745033
o 13742908
o 13741070
o 13740972
o 13738847
o 13737812
o 13735687
o 13734357
o 13733322
o 13731197
o 13730419
o 13726146
o 13725756
o 13723928
o 13721656
o 13721522
o 13717249
o 13716859
o 13715031
o 13712759
o 13710921
o 13710823
o 13708698
o 13707663
o 13705538
o 13705148
o 13703320
o 13701048
o 13699302
o 13697177
o 13696787
o 13694812
o 13692687
o 13692553
o 13688280
o 13687890
o 13686062
o 13683790
o 13681957
o 13679982
o 13677857
o 13677467
o 13675492
o 13673367
o 13673233
o 13668960
o 13668570
o 13666742
o 13664470
o 13664152
o 13662177
o 13660052
o 13658214
o 13658116
o 13655991
o 13654956
o 13652831
o 13651501
o 13650466
o 13648341
o 13647485
o 13643212
o 13637473
o 13635348
o 13635214
o 13630941
o 13630551
o 13628576
o 13626451
o 13626133
o 13624305
o 13622033
o 13620195
o 13618912
o 13616937
o 13614812
o 13614422
o 13612447
o 13610322
o 13608230
o 13606105
o 13605715
o 13603887
o 13601615
o 13601481
o 13597208
o 13596818
o 13594990
o 13592718
o 13590880
o 13590782
o 13588657
o 13587622
o 13585497
o 13585107
o 13583279
o 13581007
o 13579261
o 13577136
o 13576746
o 13574771
o 13572646
o 13572512
o 13568239
o 13567849
o 13566021
o 13563749
o 13561916
o 13559941
o 13557816
o 13557426
o 13555451
o 13553326
o 13553192
o 13548919
o 13548529
o 13546701
o 13544429
o 13544111
o 13542136
o 13540011
o 13538173
o 13538075
o 13535950
o 13534915
o 13532790
o 13531460
o 13530425
o 13528300
o 13527444
o 13523171
o 13517432
o 13515307
o 13515173
o 13510900
o 13510510
o 13508535
o 13506410
o 13506092
o 13504264
o 13501992
o 13500154
o 13498871
o 13496896
o 13494771
o 13494381
o 13492406
o 13490281
o 13489054
o 13488019
o 13485894
o 13485504
o 13483676
o 13481404
o 13480011
o 13478976
o 13476851
o 13476737
o 13472464
o 13472074
o 13470246
o 13467974
o 13467881
o 13467496
o 13466634
o 13465599
o 13463474
o 13463084
o 13461256
o 13458984
o 13458870
o 13454597
o 13454207
o 13452379
o 13450107
o 13449854
o 13445581
o 13443456
o 13437717
o 13435592
o 13434334
o 13431174
o 13429947
o 13428912
o 13426787
o 13425457
o 13424422
o 13422297
o 13419798
o 13416638
o 13408774
o 13407527
o 13404367
o 13403977
o 13402149
o 13399877
o 13398650
o 13397615
o 13395490
o 13395100
o 13393272
o 13391000
o 13389277
o 13387302
o 13385177
o 13385148
o 13383173
o 13381048
o 13380658
o 13378683
o 13376558
o 13376424
o 13372151
o 13371761
o 13369933
o 13367661
o 13365828
o 13363853
o 13361728
o 13361338
o 13359363
o 13357238
o 13357104
o 13352831
o 13352441
o 13350613
o 13348341
o 13348023
o 13346048
o 13343923
o 13338166
o 13336041
o 13333676
o 13331551
o 13331417
o 13327144
o 13326754
o 13324926
o 13322654
o 13320821
o 13318846
o 13316721
o 13316331
o 13314356
o 13312231
o 13312097
o 13307824
o 13307434
o 13305606
o 13303334
o 13303016
o 13301041
o 13298916
o 13297236
o 13295111
o 13294721
o 13292893
o 13290621
o 13288783
o 13288685
o 13286560
o 13285525
o 13283400
o 13282070
o 13281035
o 13278910
o 13275451
o 13273326
o 13267587
o 13265462
o 13265328
o 13261055
o 13260665
o 13258837
o 13256565
o 13254732
o 13252757
o 13250632
o 13250242
o 13248267
o 13246142
o 13246008
o 13241735
o 13241345
o 13239517
o 13237245
o 13236927
o 13234952
o 13232827
o 13230989
o 13230891
o 13228766
o 13227731
o 13225606
o 13224276
o 13223241
o 13221116
o 13220338
o 13216065
o 13215675
o 13213847
o 13211575
o 13211441
o 13207168
o 13206778
o 13204950
o 13202678
o 13200840
o 13200742
o 13198617
o 13197582
o 13195457
o 13195067
o 13193239
o 13190967
o 13189221
o 13187096
o 13186706
o 13184731
o 13182606
o 13182472
o 13178199
o 13177809
o 13175981
o 13173709
o 13171876
o 13169901
o 13167776
o 13167386
o 13165411
o 13163286
o 13163152
o 13158879
o 13158489
o 13156661
o 13154389
o 13154071
o 13152096
o 13149971
o 13148133
o 13148035
o 13145910
o 13144875
o 13142750
o 13141420
o 13140385
o 13138260
o 13137404
o 13133131
o 13127392
o 13125267
o 13125133
o 13120860
o 13120470
o 13118495
o 13116370
o 13116052
o 13114224
o 13111952
o 13110114
o 13108831
o 13106856
o 13104731
o 13104341
o 13102366
o 13100241
o 13098149
o 13096024
o 13095634
o 13093806
o 13091534
o 13091400
o 13087127
o 13086737
o 13084909
o 13082637
o 13080799
o 13080701
o 13078576
o 13077541
o 13075416
o 13075026
o 13073198
o 13070926
o 13069180
o 13067055
o 13066665
o 13064690
o 13062565
o 13062431
o 13058158
o 13057768
o 13055940
o 13053668
o 13051835
o 13049860
o 13047735
o 13047345
o 13045370
o 13043245
o 13043111
o 13038838
o 13038448
o 13036620
o 13034348
o 13034030
o 13032055
o 13029930
o 13028092
o 13027994
o 13025869
o 13024834
o 13022709
o 13021379
o 13020344
o 13018219
o 13017363
o 13013090
o 13007351
o 13005226
o 13005092
o 13000819
o 13000429
o 12998454
o 12996329
o 12996011
o 12994183
o 12991911
o 12990073
o 12988790
o 12986815
o 12984690
o 12984300
o 12982325
o 12980200
o 12978973
o 12977938
o 12975813
o 12974483
o 12973448
o 12971323
o 12968824
o 12965664
o 12957800
o 12956553
o 12953393
o 12953003
o 12951175
o 12948903
o 12947676
o 12946641
o 12944516
o 12944126
o 12942298
o 12940026
o 12939773
o 12935500
o 12933375
o 12927636
o 12925511
o 12924253
o 12921093
o 12919866
o 12918831
o 12916706
o 12915376
o 12914341
o 12912216
o 12909717
o 12906557
o 12898693
o 12897446
o 12894286
o 12893896
o 12892068
o 12889796
o 12888569
o 12887534
o 12885409
o 12885019
o 12883191
o 12880919
o 12877512
o 12875387
o 12869648
o 12867523
o 12867389
o 12863116
o 12862726
o 12860751
o 12858626
o 12858308
o 12856480
o 12854208
o 12852370
o 12851087
o 12849112
o 12846987
o 12846597
o 12844622
o 12842497
o 12842119
o 12836736
o 12828872
o 12827625
o 12824465
o 12824075
o 12822247
o 12819975
o 12818748
o 12817713
o 12815588
o 12814258
o 12813223
o 12811098
o 12808599
o 12805439
o 12797575
o 12796328
o 12793168
o 12792778
o 12790950
o 12788678
o 12787451
o 12786416
o 12784291
o 12783901
o 12782073
o 12779801
o 12779548
o 12775275
o 12773150
o 12767411
o 12765286
o 12764028
o 12760868
o 12759641
o 12758606
o 12756481
o 12755151
o 12754116
o 12751991
o 12749492
o 12746332
o 12738468
o 12737221
o 12734061
o 12733671
o 12731843
o 12729571
o 12728344
o 12727309
o 12725184
o 12724794
o 12722966
o 12720694
o 12720209
o 12715936
o 12715546
o 12713718
o 12711446
o 12711312
o 12707039
o 12706649
o 12704821
o 12702549
o 12701322
o 12700287
o 12698162
o 12697772
o 12695797
o 12693672
o 12693579
o 12693194
o 12691297
o 12689172
o 12688782
o 12686954
o 12684682
o 12684568
o 12680295
o 12679905
o 12678077
o 12675805
o 12674155
o 12673120
o 12670995
o 12670861
o 12666588
o 12666198
o 12664370
o 12662098
o 12660871
o 12659836
o 12657711
o 12657321
o 12655346
o 12653221
o 12650722
o 12647562
o 12639698
o 12638451
o 12635291
o 12634901
o 12633073
o 12630801
o 12629574
o 12628539
o 12626414
o 12626024
o 12624196
o 12621924
o 12621439
o 12617166
o 12616776
o 12614948
o 12612676
o 12612542
o 12608269
o 12607879
o 12606051
o 12603779
o 12602552
o 12601517
o 12599392
o 12599002
o 12597027
o 12594902
o 12594809
o 12594424
o 12592527
o 12590402
o 12590012
o 12588184
o 12585912
o 12585798
o 12581525
o 12581135
o 12579307
o 12577035
o 12576149
o 12574024
o 12572777
o 12571742
o 12569617
o 12569227
o 12567399
o 12565127
o 12565013
o 12560740
o 12560350
o 12558522
o 12556250
o 12556157
o 12555772
o 12553875
o 12551750
o 12551360
o 12549532
o 12547260
o 12547146
o 12542873
o 12542483
o 12540655
o 12538383
o 12536395
o 12535148
o 12534113
o 12531988
o 12531598
o 12529770
o 12527498
o 12527384
o 12523111
o 12522721
o 12520893
o 12518621
o 12518528
o 12518143
o 12516246
o 12514121
o 12513731
o 12511903
o 12509631
o 12509517
o 12505244
o 12504854
o 12503026
o 12500754
o 12500677
o 12496404
o 12495074
o 12491914
o 12489934
o 12489060
o 12487862
o 12485737
o 12484702
o 12482577
o 12482443
o 12478170
o 12477780
o 12475952
o 12473680
o 12472453
o 12471418
o 12469293
o 12468903
o 12466928
o 12464803
o 12464710
o 12464325
o 12462428
o 12460303
o 12459913
o 12458085
o 12455813
o 12455699
o 12451426
o 12451036
o 12449208
o 12446936
o 12446451
o 12442178
o 12441788
o 12439960
o 12437688
o 12437554
o 12433281
o 12432891
o 12431063
o 12428791
o 12427564
o 12426529
o 12424404
o 12424014
o 12422039
o 12419914
o 12419821
o 12419436
o 12417539
o 12415414
o 12415024
o 12413196
o 12410924
o 12410810
o 12406537
o 12406147
o 12404319
o 12402047
o 12400809
o 12398684
o 12396787
o 12394662
o 12394548
o 12390275
o 12389885
o 12388057
o 12385785
o 12383797
o 12382550
o 12381515
o 12379390
o 12379000
o 12377172
o 12374900
o 12374786
o 12370513
o 12370123
o 12368295
o 12366023
o 12365930
o 12365545
o 12363648
o 12361523
o 12361133
o 12359305
o 12357033
o 12356919
o 12352646
o 12352256
o 12350428
o 12348156
o 12347270
o 12345145
o 12343898
o 12342863
o 12340738
o 12340348
o 12338520
o 12336248
o 12336134
o 12331861
o 12331471
o 12329643
o 12327371
o 12327278
o 12326893
o 12324996
o 12322871
o 12322481
o 12320653
o 12318381
o 12318267
o 12313994
o 12313604
o 12311776
o 12309504
o 12307516
o 12306269
o 12305234
o 12303109
o 12302719
o 12300891
o 12298619
o 12298505
o 12294232
o 12293842
o 12292014
o 12289742
o 12289649
o 12289264
o 12287367
o 12285242
o 12284852
o 12283024
o 12280752
o 12280638
o 12276365
o 12275975
o 12274147
o 12271875
o 12270288
o 12269253
o 12267128
o 12266994
o 12262721
o 12262331
o 12260503
o 12258231
o 12257004
o 12255969
o 12253844
o 12253454
o 12251479
o 12249354
o 12246855
o 12243695
o 12235831
o 12234584
o 12231424
o 12231034
o 12229206
o 12226934
o 12225707
o 12224672
o 12222547
o 12222157
o 12220329
o 12218057
o 12217572
o 12213299
o 12212909
o 12211081
o 12208809
o 12208675
o 12204402
o 12204012
o 12202184
o 12199912
o 12198685
o 12197650
o 12195525
o 12195135
o 12193160
o 12191035
o 12190942
o 12190557
o 12188660
o 12186535
o 12186145
o 12184317
o 12182045
o 12181931
o 12177658
o 12177268
o 12175440
o 12173168
o 12172514
o 12172124
o 12170296
o 12168024
o 12165797
o 12161697
o 12159717
o 12158843
o 12157645
o 12155520
o 12154485
o 12152360
o 12152226
o 12147953
o 12147563
o 12145735
o 12143463
o 12142236
o 12141201
o 12139076
o 12138686
o 12136711
o 12134586
o 12134493
o 12134108
o 12132211
o 12130086
o 12129696
o 12127868
o 12125596
o 12125482
o 12121209
o 12120819
o 12118991
o 12116719
o 12116234
o 12111961
o 12111571
o 12109743
o 12107471
o 12107337
o 12103064
o 12102674
o 12100846
o 12098574
o 12097347
o 12096312
o 12094187
o 12093797
o 12091822
o 12089697
o 12089604
o 12089219
o 12087322
o 12085197
o 12084807
o 12082979
o 12080707
o 12080593
o 12076320
o 12075930
o 12074102
o 12071830
o 12070318
o 12069456
o 12068421
o 12066296
o 12065098
o 12062973
o 12061938
o 12059813
o 12059679
o 12055406
o 12055016
o 12053188
o 12050916
o 12049689
o 12048654
o 12046529
o 12046139
o 12044164
o 12042039
o 12041946
o 12041561
o 12039664
o 12037539
o 12037149
o 12035321
o 12033049
o 12032935
o 12028662
o 12028272
o 12026444
o 12024172
o 12023687
o 12019414
o 12019024
o 12017196
o 12014924
o 12014790
o 12010517
o 12010127
o 12008299
o 12006027
o 12004800
o 12003765
o 12001640
o 12001250
o 11999275
o 11997150
o 11997057
o 11996672
o 11994775
o 11992650
o 11992260
o 11990432
o 11988160
o 11988046
o 11983773
o 11983383
o 11981555
o 11979283
o 11973800
o 11971675
o 11971561
o 11967288
o 11966898
o 11965070
o 11962798
o 11962705
o 11962320
o 11960423
o 11958298
o 11957908
o 11956080
o 11953808
o 11953694
o 11949421
o 11949031
o 11947203
o 11944931
o 11942943
o 11941696
o 11940661
o 11938536
o 11938146
o 11936318
o 11934046
o 11933932
o 11929659
o 11929269
o 11927441
o 11925169
o 11925076
o 11924691
o 11922794
o 11920669
o 11920279
o 11918451
o 11916179
o 11916065
o 11911792
o 11911402
o 11909574
o 11907302
o 11905883
o 11903758
o 11902723
o 11900598
o 11899351
o 11896191
o 11895801
o 11893973
o 11891701
o 11889955
o 11887830
o 11887440
o 11885465
o 11883340
o 11883206
o 11878933
o 11878543
o 11876715
o 11874443
o 11872610
o 11870635
o 11868510
o 11868120
o 11866145
o 11864020
o 11863886
o 11859613
o 11859223
o 11857395
o 11855123
o 11854805
o 11852830
o 11850705
o 11848867
o 11848769
o 11846644
o 11845609
o 11843484
o 11842154
o 11841119
o 11838994
o 11838616
o 11833233
o 11825369
o 11824122
o 11820962
o 11820572
o 11818744
o 11816472
o 11814380
o 11812255
o 11811865
o 11810037
o 11807765
o 11807631
o 11803358
o 11802968
o 11801140
o 11798868
o 11797030
o 11796932
o 11794807
o 11793772
o 11791647
o 11791257
o 11789429
o 11787157
o 11785411
o 11783286
o 11782896
o 11780921
o 11778796
o 11778662
o 11774389
o 11773999
o 11772171
o 11769899
o 11768066
o 11766091
o 11763966
o 11763576
o 11761601
o 11759476
o 11759342
o 11755069
o 11754679
o 11752851
o 11750579
o 11750261
o 11748286
o 11746161
o 11744323
o 11744225
o 11742100
o 11741065
o 11738940
o 11737610
o 11736575
o 11734450
o 11733594
o 11729321
o 11723582
o 11721457
o 11721323
o 11717050
o 11716660
o 11714685
o 11712560
o 11712242
o 11710414
o 11708142
o 11706304
o 11705021
o 11703046
o 11700921
o 11700531
o 11698556
o 11696431
o 11695204
o 11694169
o 11692044
o 11690714
o 11689679
o 11687554
o 11685055
o 11681895
o 11674031
o 11672784
o 11669624
o 11669234
o 11667406
o 11665134
o 11663907
o 11662872
o 11660747
o 11660357
o 11658529
o 11656257
o 11656004
o 11651731
o 11649606
o 11643867
o 11641742
o 11640484
o 11637324
o 11636097
o 11635062
o 11632937
o 11631607
o 11630572
o 11628447
o 11625948
o 11622788
o 11614924
o 11613677
o 11610517
o 11610127
o 11608299
o 11606027
o 11604800
o 11603765
o 11601640
o 11601250
o 11599422
o 11597150
o 11593743
o 11591618
o 11585879
o 11583754
o 11583620
o 11579347
o 11578957
o 11576982
o 11574857
o 11574539
o 11572711
o 11570439
o 11568601
o 11567318
o 11565343
o 11563218
o 11562828
o 11560853
o 11558728
o 11558350
o 11552967
o 11545103
o 11543856
o 11540696
o 11540306
o 11538478
o 11536206
o 11534979
o 11533944
o 11531819
o 11530489
o 11529454
o 11527329
o 11524830
o 11521670
o 11513806
o 11512559
o 11509399
o 11509009
o 11507181
o 11504909
o 11503682
o 11502647
o 11500522
o 11500132
o 11498304
o 11496032
o 11495779
o 11491506
o 11489381
o 11483642
o 11481517
o 11480259
o 11477099
o 11475872
o 11474837
o 11472712
o 11471382
o 11470347
o 11468222
o 11465723
o 11462563
o 11454699
o 11453452
o 11450292
o 11449902
o 11448074
o 11445802
o 11444575
o 11443540
o 11441415
o 11441025
o 11439197
o 11436925
o 11436440
o 11432167
o 11431777
o 11429949
o 11427677
o 11427543
o 11423270
o 11422880
o 11421052
o 11418780
o 11417553
o 11416518
o 11414393
o 11414003
o 11412028
o 11409903
o 11409810
o 11409425
o 11407528
o 11405403
o 11405013
o 11403185
o 11400913
o 11400799
o 11396526
o 11396136
o 11394308
o 11392036
o 11390386
o 11389351
o 11387226
o 11387092
o 11382819
o 11382429
o 11380601
o 11378329
o 11377102
o 11376067
o 11373942
o 11373552
o 11371577
o 11369452
o 11366953
o 11363793
o 11355929
o 11354682
o 11351522
o 11351132
o 11349304
o 11347032
o 11345805
o 11344770
o 11342645
o 11342255
o 11340427
o 11338155
o 11337670
o 11333397
o 11333007
o 11331179
o 11328907
o 11328773
o 11324500
o 11324110
o 11322282
o 11320010
o 11318783
o 11317748
o 11315623
o 11315233
o 11313258
o 11311133
o 11311040
o 11310655
o 11308758
o 11306633
o 11306243
o 11304415
o 11302143
o 11302029
o 11297756
o 11297366
o 11295538
o 11293266
o 11292380
o 11290255
o 11289008
o 11287973
o 11285848
o 11285458
o 11283630
o 11281358
o 11281244
o 11276971
o 11276581
o 11274753
o 11272481
o 11272388
o 11272003
o 11270106
o 11267981
o 11267591
o 11265763
o 11263491
o 11263377
o 11259104
o 11258714
o 11256886
o 11254614
o 11252626
o 11251379
o 11250344
o 11248219
o 11247829
o 11246001
o 11243729
o 11243615
o 11239342
o 11238952
o 11237124
o 11234852
o 11234759
o 11234374
o 11232477
o 11230352
o 11229962
o 11228134
o 11225862
o 11225748
o 11221475
o 11221085
o 11219257
o 11216985
o 11215398
o 11214363
o 11212238
o 11212104
o 11207831
o 11207441
o 11205613
o 11203341
o 11202114
o 11201079
o 11198954
o 11198564
o 11196589
o 11194464
o 11191965
o 11188805
o 11180941
o 11179694
o 11176534
o 11176144
o 11174316
o 11172044
o 11170817
o 11169782
o 11167657
o 11167267
o 11165439
o 11163167
o 11162682
o 11158409
o 11158019
o 11156191
o 11153919
o 11153785
o 11149512
o 11149122
o 11147294
o 11145022
o 11143795
o 11142760
o 11140635
o 11140245
o 11138270
o 11136145
o 11136052
o 11135667
o 11133770
o 11131645
o 11131255
o 11129427
o 11127155
o 11127041
o 11122768
o 11122378
o 11120550
o 11118278
o 11117040
o 11114915
o 11113018
o 11110893
o 11110779
o 11106506
o 11106116
o 11104288
o 11102016
o 11100028
o 11098781
o 11097746
o 11095621
o 11095231
o 11093403
o 11091131
o 11091017
o 11086744
o 11086354
o 11084526
o 11082254
o 11082161
o 11081776
o 11079879
o 11077754
o 11077364
o 11075536
o 11073264
o 11073150
o 11068877
o 11068487
o 11066659
o 11064387
o 11063501
o 11061376
o 11060129
o 11059094
o 11056969
o 11056579
o 11054751
o 11052479
o 11052365
o 11048092
o 11047702
o 11045874
o 11043602
o 11043509
o 11043124
o 11041227
o 11039102
o 11038712
o 11036884
o 11034612
o 11034498
o 11030225
o 11029835
o 11028007
o 11025735
o 11023747
o 11022500
o 11021465
o 11019340
o 11018950
o 11017122
o 11014850
o 11014736
o 11010463
o 11010073
o 11008245
o 11005973
o 11005880
o 11005495
o 11003598
o 11001473
o 11001083
o 10999255
o 10996983
o 10996869
o 10992596
o 10992206
o 10990378
o 10988106
o 10986519
o 10985484
o 10983359
o 10983225
o 10978952
o 10978562
o 10976734
o 10974462
o 10973235
o 10972200
o 10970075
o 10969685
o 10967710
o 10965585
o 10963086
o 10959926
o 10952062
o 10950815
o 10947655
o 10947265
o 10945437
o 10943165
o 10941938
o 10940903
o 10938778
o 10938388
o 10936560
o 10934288
o 10933803
o 10929530
o 10929140
o 10927312
o 10925040
o 10924906
o 10920633
o 10920243
o 10918415
o 10916143
o 10914916
o 10913881
o 10911756
o 10911366
o 10909391
o 10907266
o 10907173
o 10906788
o 10904891
o 10902766
o 10902376
o 10900548
o 10898276
o 10898162
o 10893889
o 10893499
o 10891671
o 10889399
o 10888745
o 10888355
o 10886527
o 10884255
o 10882028
o 10877928
o 10875948
o 10875074
o 10873876
o 10871751
o 10870716
o 10868591
o 10868457
o 10864184
o 10863794
o 10861966
o 10859694
o 10858467
o 10857432
o 10855307
o 10854917
o 10852942
o 10850817
o 10850724
o 10850339
o 10848442
o 10846317
o 10845927
o 10844099
o 10841827
o 10841713
o 10837440
o 10837050
o 10835222
o 10832950
o 10832465
o 10828192
o 10827802
o 10825974
o 10823702
o 10823568
o 10819295
o 10818905
o 10817077
o 10814805
o 10813578
o 10812543
o 10810418
o 10810028
o 10808053
o 10805928
o 10805835
o 10805450
o 10803553
o 10801428
o 10801038
o 10799210
o 10796938
o 10796824
o 10792551
o 10792161
o 10790333
o 10788061
o 10786549
o 10785687
o 10784652
o 10782527
o 10781329
o 10779204
o 10778169
o 10776044
o 10775910
o 10771637
o 10771247
o 10769419
o 10767147
o 10765920
o 10764885
o 10762760
o 10762370
o 10760395
o 10758270
o 10758177
o 10757792
o 10755895
o 10753770
o 10753380
o 10751552
o 10749280
o 10749166
o 10744893
o 10744503
o 10742675
o 10740403
o 10739918
o 10735645
o 10735255
o 10733427
o 10731155
o 10731021
o 10726748
o 10726358
o 10724530
o 10722258
o 10721031
o 10719996
o 10717871
o 10717481
o 10715506
o 10713381
o 10713288
o 10712903
o 10711006
o 10708881
o 10708491
o 10706663
o 10704391
o 10704277
o 10700004
o 10699614
o 10697786
o 10695514
o 10690031
o 10687906
o 10687792
o 10683519
o 10683129
o 10681301
o 10679029
o 10678936
o 10678551
o 10676654
o 10674529
o 10674139
o 10672311
o 10670039
o 10669925
o 10665652
o 10665262
o 10663434
o 10661162
o 10659174
o 10657927
o 10656892
o 10654767
o 10654377
o 10652549
o 10650277
o 10650163
o 10645890
o 10645500
o 10643672
o 10641400
o 10641307
o 10640922
o 10639025
o 10636900
o 10636510
o 10634682
o 10632410
o 10632296
o 10628023
o 10627633
o 10625805
o 10623533
o 10623118
o 10620993
o 10620793
o 10619758
o 10617633
o 10616625
o 10616096
o 10614401
o 10614034
o 10613834
o 10612799
o 10610674
o 10609327
o 10608316
o 10607442
o 10606947
o 10606312
o 10602838
o 10602448
o 10600620
o 10598348
o 10598214
o 10593941
o 10593551
o 10591723
o 10589451
o 10588224
o 10587189
o 10585064
o 10584674
o 10582699
o 10580574
o 10580481
o 10580096
o 10578199
o 10576074
o 10575684
o 10573856
o 10571584
o 10571470
o 10567197
o 10566807
o 10564979
o 10562707
o 10561935
o 10560900
o 10558775
o 10557528
o 10556493
o 10554368
o 10553978
o 10552150
o 10549878
o 10549764
o 10545491
o 10545101
o 10543273
o 10541001
o 10540908
o 10540523
o 10538626
o 10536501
o 10536111
o 10534283
o 10532011
o 10531897
o 10527624
o 10527234
o 10525406
o 10523134
o 10522480
o 10522090
o 10520262
o 10517990
o 10515763
o 10511663
o 10509683
o 10508809
o 10507611
o 10505486
o 10504451
o 10502326
o 10502192
o 10497919
o 10497529
o 10495701
o 10493429
o 10492202
o 10491167
o 10489042
o 10488652
o 10486677
o 10484552
o 10484459
o 10484074
o 10482177
o 10480052
o 10479662
o 10477834
o 10475562
o 10475448
o 10471175
o 10470785
o 10468957
o 10466685
o 10466200
o 10461927
o 10461537
o 10459709
o 10457437
o 10457303
o 10453030
o 10452640
o 10450812
o 10448540
o 10447313
o 10446278
o 10444153
o 10443763
o 10441788
o 10439663
o 10439570
o 10439185
o 10437288
o 10435163
o 10434773
o 10432945
o 10430673
o 10430559
o 10426286
o 10425896
o 10424068
o 10421796
o 10421381
o 10419256
o 10418021
o 10415896
o 10414549
o 10413538
o 10412664
o 10412297
o 10411062
o 10408937
o 10407590
o 10406579
o 10405705
o 10405210
o 10404575
o 10402528
o 10399168
o 10398673
o 10398038
o 10397573
o 10396976
o 10396383
o 10392110
o 10391720
o 10389892
o 10387620
o 10387486
o 10383213
o 10382823
o 10380995
o 10378723
o 10377496
o 10374336
o 10373946
o 10372118
o 10369846
o 10367858
o 10366611
o 10365576
o 10363451
o 10363061
o 10361233
o 10358961
o 10358847
o 10354574
o 10354184
o 10352356
o 10350084
o 10349991
o 10349606
o 10347709
o 10345584
o 10345194
o 10343366
o 10341094
o 10340980
o 10336707
o 10336317
o 10334489
o 10332217
o 10331802
o 10329677
o 10328442
o 10326317
o 10324970
o 10323959
o 10323085
o 10322718
o 10321483
o 10319358
o 10318011
o 10317000
o 10316126
o 10315631
o 10314996
o 10312949
o 10309589
o 10309094
o 10308459
o 10307994
o 10307397
o 10305980
o 10304969
o 10304095
o 10303423
o 10301074
o 10300063
o 10299568
o 10298933
o 10298468
o 10297871
o 10297145
o 10296650
o 10296015
o 10295343
o 10292994
o 10291983
o 10291488
o 10290853
o 10290388
o 10289791
o 10289764
o 10288289
o 10287278
o 10286404
o 10286148
o 10285274
o 10284809
o 10284212
o 10283614
o 10283266
o 10282669
o 10280472
o 10279598
o 10279133
o 10278536
o 10277119
o 10276108
o 10275234
o 10274562
o 10272213
o 10271202
o 10270707
o 10270072
o 10269607
o 10269010
o 10268412
o 10266697
o 10265686
o 10264812
o 10263395
o 10262384
o 10261510
o 10260838
o 10258489
o 10257478
o 10256983
o 10256348
o 10255883
o 10255286
o 10254688
o 10252787
o 10250697
o 10247337
o 10244797
o 10241437
o 10240090
o 10239079
o 10238205
o 10237838
o 10235489
o 10234478
o 10233131
o 10232120
o 10231246
o 10230751
o 10230116
o 10228069
o 10224709
o 10224214
o 10223579
o 10223114
o 10222517
o 10221100
o 10220089
o 10219215
o 10218543
o 10216194
o 10215183
o 10214688
o 10214053
o 10213588
o 10212991
o 10210794
o 10209920
o 10209732
o 10208858
o 10207441
o 10206430
o 10205556
o 10204884
o 10202535
o 10201524
o 10201029
o 10200394
o 10199929
o 10199332
o 10198734
o 10198386
o 10197789
o 10195592
o 10194718
o 10194530
o 10193656
o 10192239
o 10191228
o 10190354
o 10189682
o 10187333
o 10186322
o 10185827
o 10185192
o 10184727
o 10184130
o 10183532
o 10181817
o 10180806
o 10179932
o 10178515
o 10177504
o 10176630
o 10175958
o 10173609
o 10172598
o 10172103
o 10171468
o 10171003
o 10170406
o 10169808
o 10168524
o 10167513
o 10166639
o 10164099
o 10160739
o 10159392
o 10158381
o 10157507
o 10157140
o 10154791
o 10153780
o 10152433
o 10151422
o 10150548
o 10150053
o 10149418
o 10147371
o 10144011
o 10143516
o 10142881
o 10142416
o 10141819
o 10140402
o 10139391
o 10138517
o 10137845
o 10135496
o 10134485
o 10133990
o 10133355
o 10132890
o 10132293
o 10130096
o 10129222
o 10129034
o 10128160
o 10126743
o 10125732
o 10124858
o 10124186
o 10121837
o 10120826
o 10120331
o 10119696
o 10119231
o 10118634
o 10118036
o 10117688
o 10117091
o 10114894
o 10114020
o 10113832
o 10112958
o 10111541
o 10110530
o 10109656
o 10108984
o 10106635
o 10105624
o 10105129
o 10104494
o 10104029
o 10103432
o 10102834
o 10101119
o 10100108
o 10099234
o 10097817
o 10096806
o 10095932
o 10095260
o 10092911
o 10091900
o 10091405
o 10090770
o 10090305
o 10089708
o 10089110
o 10088755
o 10086406
o 10085395
o 10084723
o 10082374
o 10081363
o 10080868
o 10080233
o 10079768
o 10079171
o 10078573
o 10076166
o 10073942
o 10072812
o 10071750
o 10070333
o 10069322
o 10068448
o 10066640
o 10064416
o 10063286
o 10062224
o 10062012
o 10061377
o 10059788
o 10059153
o 10058091
o 10056674
o 10055663
o 10054789
o 10052981
o 10050757
o 10049627
o 10048565
o 10047967
o 10047022
o 10046810
o 10046175
o 10044586
o 10043951
o 10042889
o 10041472
o 10040461
o 10039587
o 10037779
o 10035555
o 10034425
o 10033363
o 10032765
o 10032024
o 10029800
o 10029165
o 10027748
o 10026737
o 10025863
o 10024055
o 10021831
o 10020701
o 10019639
o 10019041
o 10018556
o 10017258
o 10016384
o 10016128
o 10015254
o 10014582
o 10013727
o 10013494
o 10011222
o 10010092
o 10009030
o 10006833
o 10005959
o 10004897
o 10003599
o 10002725
o 10002469
o 10001595
o 10000923
o 10000068
o 9999835
o 9997563
o 9996433
o 9995371
o 9994580
o 9993450
o 9992778
o 9991923
o 9991690
o 9989418
o 9988288
o 9987226
o 9987199
o 9984713
o 9983839
o 9982709
o 9981647
o 9979166
o 9976942
o 9975812
o 9974750
o 9974538
o 9973903
o 9972314
o 9971679
o 9970617
o 9969200
o 9968189
o 9967315
o 9965507
o 9963283
o 9962153
o 9961091
o 9960493
o 9959548
o 9959336
o 9958701
o 9957112
o 9956477
o 9955415
o 9953998
o 9952987
o 9952113
o 9950305
o 9948081
o 9946951
o 9945889
o 9945291
o 9944550
o 9942326
o 9941691
o 9940274
o 9939263
o 9938389
o 9936581
o 9934357
o 9933227
o 9932165
o 9931567
o 9931082
o 9929784
o 9928910
o 9928654
o 9927780
o 9927108
o 9926020
o 9923748
o 9922618
o 9921556
o 9919359
o 9918485
o 9917423
o 9916125
o 9915251
o 9914995
o 9914121
o 9913449
o 9912361
o 9910089
o 9908959
o 9907897
o 9907106
o 9905976
o 9905304
o 9904216
o 9901944
o 9900814
o 9899752
o 9899597
o 9897239
o 9896365
o 9895235
o 9894173
o 9893990
o 9891632
o 9890758
o 9889628
o 9888956
o 9887868
o 9885596
o 9884466
o 9883404
o 9882533
o 9879652
o 9878778
o 9877083
o 9876127
o 9875822
o 9873085
o 9872211
o 9870950
o 9869327
o 9867495
o 9866621
o 9864397
o 9863267
o 9860958
o 9860084
o 9857860
o 9856730
o 9855668
o 9855070
o 9854494
o 9854125
o 9852293
o 9851419
o 9849195
o 9848065
o 9845756
o 9844882
o 9842658
o 9841528
o 9840466
o 9840237
o 9839868
o 9837439
o 9836565
o 9834341
o 9832032
o 9831158
o 9828934
o 9827804
o 9826742
o 9826144
o 9824101
o 9823732
o 9819199
o 9818325
o 9818069
o 9817195
o 9817007
o 9816133
o 9812077
o 9811203
o 9810073
o 9805540
o 9804666
o 9804410
o 9803536
o 9803348
o 9802474
o 9798353
o 9797479
o 9796349
o 9791816
o 9790942
o 9790686
o 9789812
o 9789624
o 9788750
o 9786092
o 9784205
o 9779917
o 9779043
o 9778855
o 9777981
s OPTIMUM FOUND
c Optimal Solution = 9777981
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.950 seconds.
1.957u 0.002s 0:01.97 98.9%	0+0k 0+0io 0pf+0w