Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_min-enc_warehouses_cap102.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap102.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 60591777
o 20049221
o 20020167
o 20004405
o 19953146
o 19924092
o 19908330
o 19896768
o 19885788
o 19882893
o 19871913
o 19828157
o 19799103
o 19783341
o 19782692
o 19775477
o 19750069
o 19734307
o 19733658
o 19726443
o 19719944
o 19717726
o 19715454
o 19709304
o 19708655
o 19701440
o 19666256
o 19637202
o 19621440
o 19620791
o 19613576
o 19588168
o 19572406
o 19571757
o 19564542
o 19558043
o 19555825
o 19553553
o 19547403
o 19546754
o 19539539
o 19530739
o 19522875
o 19518334
o 19511119
o 19510470
o 19503255
o 19470087
o 19441033
o 19425271
o 19424622
o 19417407
o 19391999
o 19376237
o 19375588
o 19368373
o 19361874
o 19359656
o 19357384
o 19351234
o 19350585
o 19343370
o 19338686
o 19336468
o 19334196
o 19299012
o 19269958
o 19254196
o 19253547
o 19246332
o 19220924
o 19205162
o 19204513
o 19197298
o 19190799
o 19188581
o 19186309
o 19180159
o 19179510
o 19172295
o 19163495
o 19155631
o 19151090
o 19143875
o 19143226
o 19136011
o 19102843
o 19073789
o 19058027
o 19057378
o 19050163
o 19024755
o 19008993
o 19008344
o 19001129
o 18994630
o 18992412
o 18990140
o 18983990
o 18983341
o 18976126
o 18974004
o 18960129
o 18959480
o 18952265
o 18945766
o 18943548
o 18941276
o 18935126
o 18927262
o 18913515
o 18905651
o 18901110
o 18893895
o 18893246
o 18886031
o 18876502
o 18847448
o 18831686
o 18831037
o 18823822
o 18798414
o 18782652
o 18782003
o 18774788
o 18768289
o 18766071
o 18763799
o 18757649
o 18757000
o 18749785
o 18749251
o 18743868
o 18736004
o 18731463
o 18724248
o 18723599
o 18716384
o 18683216
o 18654162
o 18638400
o 18637751
o 18630536
o 18605128
o 18589366
o 18588717
o 18581502
o 18575003
o 18572785
o 18570513
o 18564363
o 18563714
o 18556499
o 18547505
o 18546856
o 18539641
o 18533142
o 18530924
o 18528652
o 18522502
o 18514638
o 18500891
o 18493027
o 18488486
o 18481271
o 18480622
o 18473407
o 18463878
o 18434824
o 18419062
o 18418413
o 18411198
o 18385790
o 18370028
o 18369379
o 18362164
o 18355665
o 18353447
o 18351175
o 18345025
o 18344376
o 18337161
o 18330491
o 18329842
o 18322627
o 18307403
o 18293528
o 18292879
o 18285664
o 18279165
o 18276947
o 18274675
o 18268525
o 18260661
o 18258825
o 18256700
o 18250040
o 18242825
o 18237086
o 18234961
o 18230587
o 18228462
o 18226097
o 18223972
o 18217822
o 18209958
o 18204038
o 18190163
o 18182299
o 18175800
o 18173582
o 18171310
o 18165160
o 18157296
o 18150239
o 18124831
o 18109069
o 18108420
o 18101205
o 18094706
o 18092488
o 18090216
o 18084066
o 18083417
o 18076202
o 18069532
o 18068883
o 18061668
o 18046444
o 18032569
o 18031920
o 18024705
o 18018206
o 18015988
o 18013716
o 18007566
o 17999702
o 17995741
o 17981866
o 17974002
o 17967503
o 17965285
o 17963013
o 17956863
o 17948999
o 17943079
o 17929204
o 17921340
o 17914841
o 17912623
o 17910351
o 17904201
o 17896337
o 17887787
o 17873912
o 17866048
o 17859549
o 17857331
o 17855059
o 17848909
o 17841045
o 17824342
o 17810467
o 17802603
o 17796104
o 17793886
o 17791614
o 17785464
o 17777600
o 17773639
o 17759764
o 17751900
o 17745401
o 17743183
o 17740911
o 17734761
o 17726897
o 17720977
o 17707102
o 17699238
o 17692739
o 17690521
o 17688249
o 17682099
o 17674235
o 17665685
o 17651810
o 17643946
o 17637447
o 17635229
o 17632957
o 17626807
o 17618943
o 17614299
o 17612081
o 17609809
o 17605380
o 17591505
o 17583641
o 17571885
o 17564021
o 17558101
o 17544226
o 17536362
o 17529863
o 17527645
o 17525373
o 17519223
o 17511359
o 17504184
o 17501996
o 17499871
o 17498232
o 17496107
o 17494132
o 17492007
o 17491342
o 17484127
o 17476263
o 17474606
o 17472481
o 17465821
o 17458606
o 17452867
o 17450742
o 17446368
o 17444243
o 17441878
o 17439753
o 17433603
o 17425739
o 17417189
o 17403314
o 17395450
o 17388951
o 17386733
o 17384461
o 17378311
o 17370447
o 17367234
o 17365109
o 17358959
o 17351095
o 17345340
o 17343215
o 17335351
o 17335173
o 17330799
o 17328674
o 17326309
o 17324184
o 17318034
o 17310170
o 17306957
o 17304832
o 17298682
o 17290818
o 17285063
o 17282938
o 17275074
o 17272428
o 17270303
o 17264153
o 17256289
o 17250369
o 17236494
o 17228630
o 17222131
o 17219913
o 17217641
o 17211491
o 17203627
o 17200414
o 17198289
o 17192139
o 17184275
o 17178520
o 17176395
o 17168531
o 17167556
o 17165431
o 17163792
o 17161667
o 17159692
o 17157567
o 17156902
o 17149687
o 17141823
o 17140166
o 17138041
o 17131381
o 17124166
o 17118427
o 17116302
o 17111928
o 17109803
o 17107438
o 17105313
o 17099163
o 17091299
o 17082749
o 17068874
o 17061010
o 17054511
o 17052293
o 17050021
o 17043871
o 17036007
o 17032794
o 17030669
o 17024519
o 17016655
o 17010900
o 17008775
o 17000911
o 17000733
o 16996359
o 16994234
o 16991869
o 16989744
o 16983594
o 16975730
o 16972517
o 16970392
o 16964242
o 16956378
o 16950623
o 16948498
o 16940634
o 16937988
o 16935863
o 16929713
o 16921849
o 16915929
o 16902054
o 16894190
o 16887691
o 16885473
o 16883201
o 16877051
o 16869187
o 16865974
o 16863849
o 16857699
o 16849835
o 16844080
o 16841955
o 16834091
o 16831066
o 16830055
o 16825681
o 16823556
o 16821191
o 16819066
o 16812916
o 16805052
o 16801839
o 16799714
o 16793564
o 16785700
o 16779945
o 16777820
o 16769956
o 16767310
o 16765185
o 16759035
o 16751171
o 16745251
o 16731376
o 16723512
o 16717013
o 16714795
o 16712523
o 16706373
o 16698509
o 16695296
o 16693171
o 16687021
o 16679157
o 16673402
o 16671277
o 16663413
o 16661423
o 16659298
o 16653148
o 16645284
o 16639529
o 16637404
o 16629540
o 16626894
o 16624769
o 16618619
o 16610755
o 16604835
o 16590960
o 16583096
o 16576597
o 16574379
o 16572107
o 16565957
o 16558093
o 16554880
o 16552755
o 16546605
o 16538741
o 16532986
o 16530861
o 16522997
o 16521466
o 16519341
o 16513191
o 16505327
o 16499572
o 16497447
o 16489583
o 16486937
o 16484812
o 16478662
o 16470798
o 16464878
o 16451003
o 16443139
o 16436640
o 16434422
o 16432150
o 16426000
o 16418136
o 16414923
o 16412798
o 16406648
o 16398784
o 16393029
o 16390904
o 16383040
o 16379923
o 16378912
o 16369281
o 16367156
o 16359292
o 16356079
o 16353954
o 16347804
o 16339940
o 16334185
o 16332060
o 16324196
o 16319889
o 16312025
o 16300269
o 16292405
o 16289192
o 16287067
o 16280917
o 16273053
o 16267298
o 16265173
o 16257309
o 16252408
o 16244544
o 16232788
o 16224924
o 16221711
o 16219586
o 16213436
o 16205572
o 16199817
o 16197692
o 16189828
o 16184914
o 16182789
o 16180571
o 16178299
o 16174345
o 16172220
o 16164356
o 16159442
o 16157317
o 16155099
o 16152827
o 16148638
o 16146513
o 16145969
o 16140774
o 16138649
o 16134242
o 16132024
o 16129752
o 16127066
o 16126055
o 16121681
o 16119556
o 16117191
o 16115066
o 16108916
o 16101052
o 16097839
o 16095714
o 16089564
o 16081700
o 16075945
o 16073820
o 16065956
o 16061649
o 16053785
o 16042029
o 16034165
o 16030952
o 16028827
o 16022677
o 16014813
o 16009058
o 16006933
o 15999069
o 15994168
o 15986304
o 15974548
o 15966684
o 15963471
o 15961346
o 15955196
o 15947332
o 15941577
o 15939452
o 15931588
o 15926674
o 15924549
o 15922331
o 15920059
o 15917671
o 15915546
o 15909807
o 15907682
o 15899802
o 15891938
o 15887024
o 15884899
o 15882681
o 15880409
o 15878127
o 15876002
o 15873784
o 15871512
o 15866902
o 15864777
o 15859029
o 15851165
o 15848140
o 15847129
o 15842755
o 15840630
o 15838265
o 15836140
o 15829990
o 15822126
o 15818913
o 15816788
o 15810638
o 15802774
o 15797019
o 15794894
o 15787030
o 15784384
o 15782259
o 15776109
o 15768245
o 15762325
o 15748450
o 15740586
o 15734087
o 15731869
o 15729597
o 15723447
o 15715583
o 15712370
o 15710245
o 15704095
o 15696231
o 15690476
o 15688351
o 15680487
o 15678497
o 15676372
o 15670222
o 15662358
o 15656603
o 15654478
o 15646614
o 15643968
o 15641843
o 15635693
o 15627829
o 15621909
o 15608034
o 15600170
o 15593671
o 15591453
o 15589181
o 15583031
o 15575167
o 15571954
o 15569829
o 15563679
o 15555815
o 15550060
o 15547935
o 15540071
o 15538540
o 15536415
o 15530265
o 15522401
o 15516646
o 15514521
o 15506657
o 15504011
o 15501886
o 15495736
o 15487872
o 15481952
o 15468077
o 15460213
o 15453714
o 15451496
o 15449224
o 15443074
o 15435210
o 15431997
o 15429872
o 15423722
o 15415858
o 15410103
o 15407978
o 15400114
o 15396997
o 15395986
o 15386355
o 15384230
o 15376366
o 15373153
o 15371028
o 15364878
o 15357014
o 15351259
o 15349134
o 15341270
o 15336963
o 15329099
o 15317343
o 15309479
o 15306266
o 15304141
o 15297991
o 15290127
o 15284372
o 15282247
o 15274383
o 15269482
o 15261618
o 15249862
o 15241998
o 15238785
o 15236660
o 15230510
o 15222646
o 15216891
o 15214766
o 15206902
o 15201988
o 15199863
o 15197645
o 15195373
o 15192985
o 15190860
o 15185121
o 15182996
o 15175116
o 15167252
o 15162338
o 15160213
o 15157995
o 15155723
o 15153441
o 15151316
o 15149098
o 15146826
o 15146113
o 15143988
o 15142349
o 15140224
o 15138249
o 15136124
o 15128244
o 15120380
o 15115466
o 15113341
o 15111123
o 15108851
o 15104662
o 15102537
o 15101993
o 15096798
o 15094673
o 15090266
o 15088048
o 15085776
o 15083366
o 15082355
o 15078547
o 15076422
o 15074057
o 15071932
o 15067525
o 15065307
o 15063035
o 15060742
o 15058617
o 15053565
o 15051440
o 15049075
o 15046950
o 15042543
o 15040325
o 15038053
o 15034245
o 15032120
o 15029755
o 15027630
o 15023223
o 15021005
o 15018733
o 15016440
o 15014315
o 15012341
o 15009591
o 15007466
o 15005173
o 15003048
o 14997291
o 14995166
o 14992801
o 14990676
o 14986269
o 14984051
o 14981779
o 14977971
o 14975846
o 14973481
o 14971356
o 14966949
o 14964731
o 14962459
o 14960166
o 14958041
o 14956867
o 14952795
o 14952377
o 14950577
o 14948305
o 14947743
o 14942548
o 14940423
o 14938058
o 14935933
o 14931526
o 14929308
o 14927036
o 14923228
o 14921103
o 14918738
o 14916613
o 14912206
o 14909988
o 14907716
o 14905423
o 14903298
o 14898245
o 14896120
o 14891713
o 14889495
o 14887223
o 14883415
o 14881290
o 14878925
o 14876800
o 14872393
o 14870175
o 14867903
o 14865610
o 14863485
o 14862432
o 14860457
o 14858332
o 14857942
o 14855967
o 14853842
o 14853177
o 14845962
o 14838098
o 14833184
o 14831059
o 14828841
o 14826569
o 14822380
o 14820255
o 14814516
o 14812391
o 14807984
o 14805766
o 14803494
o 14802142
o 14799639
o 14797514
o 14791775
o 14789650
o 14785243
o 14783025
o 14780753
o 14778460
o 14776335
o 14771283
o 14769158
o 14766793
o 14764668
o 14760261
o 14758043
o 14755771
o 14751963
o 14749838
o 14747473
o 14745348
o 14740941
o 14738723
o 14736451
o 14734158
o 14732033
o 14726538
o 14724413
o 14722048
o 14719923
o 14712884
o 14710666
o 14708394
o 14706112
o 14703987
o 14701769
o 14699497
o 14695689
o 14693564
o 14691199
o 14689074
o 14684667
o 14682449
o 14680177
o 14677884
o 14675759
o 14673755
o 14671630
o 14669265
o 14667140
o 14662733
o 14660515
o 14658243
o 14654435
o 14652310
o 14649945
o 14647820
o 14643413
o 14641195
o 14638923
o 14636630
o 14634505
o 14633943
o 14628748
o 14626623
o 14624258
o 14622133
o 14617726
o 14615508
o 14613236
o 14609428
o 14607303
o 14604938
o 14602813
o 14598406
o 14596188
o 14593916
o 14591623
o 14589498
o 14587818
o 14585693
o 14585275
o 14583475
o 14581203
o 14576508
o 14574383
o 14568635
o 14566777
o 14560771
o 14559931
o 14555557
o 14553432
o 14551067
o 14548942
o 14548798
o 14542792
o 14540934
o 14534928
o 14531715
o 14529590
o 14529446
o 14523440
o 14521582
o 14515576
o 14509821
o 14507696
o 14505838
o 14499832
o 14494918
o 14492793
o 14490575
o 14488303
o 14485915
o 14483790
o 14478051
o 14475926
o 14474052
o 14468046
o 14466188
o 14460182
o 14455268
o 14453143
o 14450925
o 14448653
o 14446371
o 14444246
o 14442028
o 14439756
o 14439043
o 14436918
o 14435279
o 14433154
o 14431179
o 14429054
o 14427180
o 14421174
o 14419316
o 14413310
o 14408396
o 14406271
o 14404053
o 14401781
o 14397592
o 14395467
o 14394923
o 14389728
o 14387603
o 14383196
o 14380978
o 14378706
o 14377354
o 14374851
o 14372726
o 14366987
o 14364862
o 14360455
o 14358237
o 14355965
o 14353672
o 14351547
o 14346495
o 14344370
o 14342005
o 14339880
o 14335473
o 14333255
o 14330983
o 14327175
o 14325050
o 14322685
o 14320560
o 14316153
o 14313935
o 14311663
o 14309370
o 14307245
o 14301750
o 14299625
o 14297260
o 14295135
o 14294102
o 14288096
o 14285878
o 14283606
o 14281324
o 14279199
o 14276981
o 14274709
o 14270901
o 14268776
o 14266411
o 14264286
o 14259879
o 14257661
o 14255389
o 14253096
o 14250971
o 14248967
o 14246842
o 14244477
o 14242352
o 14237945
o 14235727
o 14233455
o 14229647
o 14227522
o 14225157
o 14223032
o 14218625
o 14216407
o 14214135
o 14211842
o 14209717
o 14209155
o 14203960
o 14201835
o 14199470
o 14197345
o 14192938
o 14190720
o 14188448
o 14184640
o 14182515
o 14180150
o 14178025
o 14173618
o 14171400
o 14169128
o 14166835
o 14164710
o 14163030
o 14160905
o 14160487
o 14158687
o 14156415
o 14152368
o 14150243
o 14144495
o 14136631
o 14133606
o 14132595
o 14128221
o 14126096
o 14123731
o 14121606
o 14115456
o 14107592
o 14104379
o 14102254
o 14096104
o 14088240
o 14082485
o 14080360
o 14072496
o 14069850
o 14067725
o 14061575
o 14053711
o 14047791
o 14033916
o 14026052
o 14019553
o 14017335
o 14015063
o 14008913
o 14001049
o 13997836
o 13995711
o 13989561
o 13981697
o 13975942
o 13973817
o 13965953
o 13964422
o 13962297
o 13956147
o 13948283
o 13942528
o 13940403
o 13932539
o 13929893
o 13927768
o 13921618
o 13913754
o 13907834
o 13893959
o 13886095
o 13879596
o 13877378
o 13875106
o 13868956
o 13861092
o 13857879
o 13855754
o 13849604
o 13841740
o 13835985
o 13833860
o 13825996
o 13822879
o 13821868
o 13812237
o 13810112
o 13802248
o 13799035
o 13796910
o 13790760
o 13782896
o 13777141
o 13775016
o 13767152
o 13762845
o 13754981
o 13743225
o 13735361
o 13732148
o 13730023
o 13723873
o 13716009
o 13710254
o 13708129
o 13700265
o 13695364
o 13687500
o 13675744
o 13667880
o 13664667
o 13662542
o 13656392
o 13648528
o 13642773
o 13640648
o 13632784
o 13627870
o 13625745
o 13623527
o 13621255
o 13618867
o 13616742
o 13611003
o 13608878
o 13600998
o 13593134
o 13588220
o 13586095
o 13583877
o 13581605
o 13579323
o 13577198
o 13574980
o 13572708
o 13571995
o 13569870
o 13568231
o 13566106
o 13564131
o 13562006
o 13554126
o 13546262
o 13541348
o 13539223
o 13537005
o 13534733
o 13530544
o 13528419
o 13527875
o 13522680
o 13520555
o 13516148
o 13513930
o 13511658
o 13510306
o 13507803
o 13505678
o 13499939
o 13497814
o 13493407
o 13491189
o 13488917
o 13486624
o 13484499
o 13479447
o 13477322
o 13474957
o 13472832
o 13468425
o 13466207
o 13463935
o 13460127
o 13458002
o 13455637
o 13453512
o 13449105
o 13446887
o 13444615
o 13442322
o 13440197
o 13434702
o 13432577
o 13430212
o 13428087
o 13421048
o 13418830
o 13416558
o 13414276
o 13412151
o 13409933
o 13407661
o 13403853
o 13401728
o 13399363
o 13397238
o 13392831
o 13390613
o 13388341
o 13386048
o 13383923
o 13381919
o 13379794
o 13377429
o 13375304
o 13370897
o 13368679
o 13366407
o 13362599
o 13360474
o 13358109
o 13355984
o 13351577
o 13349359
o 13347087
o 13344794
o 13342669
o 13342107
o 13336912
o 13334787
o 13332422
o 13330297
o 13325890
o 13323672
o 13321400
o 13317592
o 13315467
o 13313102
o 13310977
o 13306570
o 13304352
o 13302080
o 13299787
o 13297662
o 13295982
o 13293857
o 13293439
o 13291639
o 13289367
o 13287431
o 13285306
o 13284271
o 13282146
o 13281728
o 13279928
o 13277656
o 13277595
o 13277177
o 13275230
o 13273105
o 13271244
o 13267172
o 13266754
o 13264954
o 13262682
o 13258275
o 13257857
o 13256057
o 13253785
o 13251781
o 13249656
o 13247291
o 13245166
o 13240759
o 13238541
o 13236269
o 13232461
o 13230336
o 13227971
o 13225846
o 13221439
o 13219221
o 13216949
o 13214656
o 13212531
o 13211969
o 13206774
o 13204649
o 13202284
o 13200159
o 13195752
o 13193534
o 13191262
o 13187454
o 13185329
o 13182964
o 13180839
o 13176432
o 13174214
o 13171942
o 13169649
o 13167524
o 13165844
o 13163719
o 13163301
o 13161501
o 13159229
o 13157293
o 13155168
o 13154133
o 13152008
o 13151590
o 13149790
o 13147518
o 13144059
o 13141934
o 13136195
o 13134070
o 13129663
o 13127445
o 13125173
o 13121365
o 13119240
o 13116875
o 13114750
o 13110343
o 13108125
o 13105853
o 13103560
o 13101435
o 13099499
o 13097374
o 13096339
o 13094214
o 13093796
o 13091996
o 13089724
o 13088745
o 13086798
o 13084673
o 13084255
o 13082308
o 13080183
o 13079848
o 13077901
o 13075776
o 13075358
o 13073411
o 13071286
o 13068940
o 13067225
o 13064065
o 13063647
o 13061847
o 13059575
o 13057829
o 13055704
o 13053339
o 13051214
o 13046807
o 13044589
o 13042317
o 13038509
o 13036384
o 13034019
o 13031894
o 13027487
o 13025269
o 13022997
o 13020704
o 13018579
o 13018358
o 13016233
o 13014518
o 13013483
o 13011358
o 13010940
o 13009140
o 13006868
o 13006367
o 13003864
o 13001739
o 12996000
o 12993875
o 12991593
o 12989468
o 12987103
o 12984978
o 12982832
o 12980560
o 12978624
o 12976499
o 12975464
o 12973339
o 12972921
o 12971121
o 12968849
o 12968704
o 12966757
o 12964632
o 12964214
o 12962267
o 12960142
o 12959807
o 12957860
o 12955735
o 12955317
o 12953370
o 12951245
o 12948899
o 12947184
o 12944024
o 12943606
o 12941806
o 12939534
o 12937788
o 12935663
o 12933298
o 12931173
o 12926766
o 12924548
o 12922276
o 12918468
o 12916343
o 12913978
o 12911853
o 12907446
o 12905228
o 12902956
o 12900663
o 12898538
o 12898317
o 12896192
o 12894477
o 12893442
o 12891317
o 12890899
o 12889099
o 12886827
o 12886326
o 12883823
o 12881698
o 12875959
o 12873834
o 12871552
o 12869427
o 12867062
o 12864937
o 12862791
o 12860519
o 12858583
o 12856458
o 12855423
o 12853298
o 12852880
o 12851080
o 12848808
o 12847581
o 12846546
o 12844421
o 12844003
o 12842203
o 12839931
o 12838050
o 12837503
o 12835378
o 12834151
o 12830991
o 12829661
o 12826501
o 12824620
o 12823658
o 12821533
o 12820671
o 12819636
o 12817511
o 12817146
o 12816284
o 12813124
o 12811794
o 12808634
o 12806753
o 12806248
o 12803088
o 12802670
o 12800870
o 12798598
o 12797351
o 12794191
o 12793773
o 12791973
o 12789701
o 12788474
o 12787439
o 12785314
o 12783984
o 12782949
o 12780824
o 12778943
o 12777076
o 12774951
o 12773916
o 12771791
o 12771373
o 12769426
o 12767301
o 12766054
o 12765019
o 12762894
o 12762476
o 12760529
o 12758404
o 12757177
o 12756142
o 12754017
o 12752687
o 12751652
o 12749527
o 12747646
o 12746085
o 12745223
o 12744188
o 12742063
o 12740182
o 12737210
o 12735085
o 12730678
o 12728460
o 12726188
o 12722380
o 12720255
o 12717890
o 12715765
o 12711358
o 12709140
o 12706868
o 12704575
o 12702450
o 12701888
o 12696693
o 12694568
o 12692203
o 12690078
o 12685671
o 12683453
o 12681181
o 12677373
o 12675248
o 12672883
o 12670758
o 12666351
o 12664133
o 12661861
o 12659568
o 12657443
o 12655763
o 12653638
o 12653220
o 12651420
o 12649148
o 12647212
o 12645087
o 12644052
o 12641927
o 12641509
o 12639709
o 12637437
o 12633978
o 12631853
o 12626114
o 12623989
o 12619582
o 12617364
o 12615092
o 12611284
o 12609159
o 12606794
o 12604669
o 12600262
o 12598044
o 12595772
o 12593479
o 12591354
o 12589418
o 12587293
o 12586258
o 12584133
o 12583715
o 12581915
o 12579643
o 12578664
o 12576717
o 12574592
o 12574174
o 12572227
o 12570102
o 12569767
o 12567820
o 12565695
o 12565277
o 12563330
o 12561205
o 12558859
o 12557144
o 12553984
o 12553566
o 12551766
o 12549494
o 12547748
o 12545623
o 12543258
o 12541133
o 12536726
o 12534508
o 12532236
o 12528428
o 12526303
o 12523938
o 12521813
o 12517406
o 12515188
o 12512916
o 12510623
o 12508498
o 12508277
o 12506152
o 12504437
o 12503402
o 12501277
o 12500859
o 12499059
o 12496787
o 12496286
o 12493783
o 12491658
o 12485919
o 12483794
o 12481512
o 12479387
o 12477022
o 12474897
o 12472751
o 12470479
o 12468543
o 12466418
o 12465383
o 12463258
o 12462840
o 12461040
o 12458768
o 12458623
o 12456676
o 12454551
o 12454133
o 12452186
o 12450061
o 12449726
o 12447779
o 12445654
o 12445236
o 12443289
o 12441164
o 12438818
o 12437103
o 12433943
o 12433525
o 12431725
o 12429453
o 12427707
o 12425582
o 12423217
o 12421092
o 12416685
o 12414467
o 12412195
o 12408387
o 12406262
o 12403897
o 12401772
o 12397365
o 12395147
o 12392875
o 12390582
o 12388457
o 12388236
o 12386111
o 12384396
o 12383361
o 12381236
o 12380818
o 12379018
o 12376746
o 12376245
o 12373742
o 12371617
o 12365878
o 12363753
o 12361471
o 12359346
o 12356981
o 12354856
o 12352710
o 12350438
o 12348502
o 12346377
o 12345342
o 12343217
o 12342799
o 12340999
o 12338727
o 12337500
o 12336465
o 12334340
o 12333010
o 12331975
o 12329850
o 12327969
o 12326102
o 12323977
o 12322942
o 12320817
o 12320399
o 12318452
o 12316327
o 12315080
o 12314045
o 12311920
o 12311502
o 12309555
o 12307430
o 12306203
o 12305168
o 12303043
o 12301713
o 12300678
o 12298553
o 12296672
o 12296167
o 12293007
o 12292589
o 12290789
o 12288517
o 12287270
o 12284110
o 12283692
o 12281892
o 12279620
o 12278393
o 12277358
o 12275233
o 12273903
o 12272868
o 12270743
o 12268862
o 12266995
o 12264870
o 12263835
o 12261710
o 12261292
o 12259345
o 12257220
o 12255973
o 12254938
o 12252813
o 12252395
o 12250448
o 12248323
o 12247096
o 12246061
o 12243936
o 12242606
o 12241571
o 12239446
o 12237565
o 12236004
o 12235142
o 12234107
o 12231982
o 12230101
o 12228247
o 12226122
o 12225704
o 12223757
o 12221632
o 12221297
o 12219350
o 12217225
o 12216807
o 12214860
o 12212735
o 12212514
o 12210389
o 12208674
o 12207639
o 12205514
o 12205096
o 12203149
o 12201024
o 12200548
o 12198423
o 12197388
o 12195263
o 12194631
o 12192684
o 12190559
o 12189524
o 12187399
o 12186152
o 12182992
o 12182574
o 12180774
o 12178502
o 12177275
o 12176240
o 12174115
o 12172785
o 12171750
o 12169625
o 12167744
o 12165877
o 12163752
o 12162717
o 12160592
o 12160174
o 12158227
o 12156102
o 12154855
o 12153820
o 12151695
o 12151277
o 12149330
o 12147205
o 12145978
o 12144943
o 12142818
o 12141488
o 12140453
o 12138328
o 12136447
o 12135942
o 12132782
o 12132364
o 12130564
o 12128292
o 12127045
o 12123885
o 12123467
o 12121667
o 12119395
o 12118168
o 12117133
o 12115008
o 12113678
o 12112643
o 12110518
o 12108637
o 12106770
o 12104645
o 12103610
o 12101485
o 12101067
o 12099120
o 12096995
o 12095748
o 12094713
o 12092588
o 12092170
o 12090223
o 12088098
o 12086871
o 12085836
o 12083711
o 12082381
o 12081346
o 12079221
o 12077340
o 12075779
o 12074917
o 12073882
o 12071757
o 12069876
o 12068726
o 12067691
o 12065566
o 12065148
o 12063201
o 12061076
o 12059849
o 12056689
o 12055359
o 12052199
o 12050318
o 12049356
o 12047231
o 12046369
o 12045334
o 12043209
o 12042844
o 12041982
o 12038822
o 12037492
o 12034332
o 12032451
o 12030890
o 12030028
o 12028993
o 12026868
o 12024987
o 12024352
o 12022637
o 12021602
o 12019477
o 12016898
o 12014773
o 12013738
o 12011613
o 12010355
o 12007195
o 12005968
o 12004933
o 12002808
o 12001478
o 12000443
o 11998318
o 11996437
o 11995475
o 11993350
o 11992488
o 11991453
o 11989328
o 11988963
o 11988101
o 11984941
o 11983611
o 11980451
o 11978570
o 11977009
o 11976147
o 11975112
o 11972987
o 11971106
o 11969956
o 11968921
o 11966796
o 11966378
o 11964431
o 11962306
o 11961079
o 11957919
o 11956589
o 11953429
o 11951548
o 11950586
o 11948461
o 11947599
o 11946564
o 11944439
o 11944074
o 11943212
o 11940052
o 11938722
o 11935562
o 11933681
o 11932120
o 11931258
o 11930223
o 11928098
o 11926217
o 11924459
o 11922334
o 11921299
o 11919174
o 11918756
o 11916809
o 11914684
o 11913437
o 11912402
o 11910277
o 11907912
o 11905787
o 11904560
o 11903525
o 11901400
o 11900070
o 11899035
o 11896910
o 11895029
o 11893468
o 11892606
o 11891571
o 11889446
o 11887565
o 11886066
o 11883941
o 11881994
o 11879869
o 11879648
o 11877523
o 11875808
o 11874773
o 11872648
o 11872230
o 11870283
o 11868158
o 11866931
o 11865896
o 11863771
o 11862441
o 11861406
o 11859281
o 11857400
o 11855839
o 11854977
o 11853942
o 11851817
o 11849936
o 11849124
o 11846999
o 11846137
o 11845102
o 11842977
o 11841096
o 11839857
o 11838822
o 11836697
o 11836279
o 11834332
o 11832207
o 11830980
o 11827820
o 11826490
o 11823330
o 11821449
o 11820487
o 11818362
o 11817500
o 11816465
o 11814340
o 11813975
o 11813113
o 11809953
o 11808623
o 11805463
o 11803582
o 11802021
o 11801159
o 11800124
o 11797999
o 11796118
o 11794968
o 11793933
o 11791808
o 11791390
o 11789443
o 11787318
o 11786091
o 11782931
o 11781601
o 11778441
o 11776560
o 11775598
o 11773473
o 11772611
o 11771576
o 11769451
o 11769086
o 11768224
o 11765064
o 11763734
o 11760574
o 11758693
o 11757132
o 11756270
o 11755235
o 11753110
o 11751229
o 11750459
o 11748334
o 11747472
o 11746437
o 11744312
o 11742431
o 11740870
o 11740008
o 11738973
o 11736848
o 11734967
o 11733468
o 11731343
o 11729396
o 11727271
o 11727050
o 11724925
o 11723210
o 11722175
o 11720050
o 11719632
o 11717685
o 11715560
o 11714333
o 11713298
o 11711173
o 11709843
o 11708808
o 11706683
o 11704802
o 11703241
o 11702379
o 11701344
o 11699219
o 11697338
o 11695580
o 11693455
o 11692420
o 11690295
o 11689877
o 11687930
o 11685805
o 11684558
o 11683523
o 11681398
o 11679033
o 11676908
o 11675681
o 11674646
o 11672521
o 11671191
o 11670156
o 11668031
o 11666150
o 11664589
o 11663727
o 11662692
o 11660567
o 11658686
o 11657187
o 11655062
o 11653115
o 11650990
o 11650769
o 11648644
o 11646929
o 11645894
o 11643769
o 11643351
o 11641404
o 11639279
o 11638052
o 11637017
o 11634892
o 11633562
o 11632527
o 11630402
o 11628521
o 11626960
o 11626098
o 11625063
o 11622938
o 11621057
o 11620485
o 11618770
o 11617735
o 11615610
o 11613031
o 11610906
o 11609871
o 11607746
o 11606488
o 11603328
o 11602101
o 11601066
o 11598941
o 11597611
o 11596576
o 11594451
o 11592570
o 11591608
o 11589483
o 11588621
o 11587586
o 11585461
o 11585096
o 11584234
o 11581074
o 11579744
o 11576584
o 11574703
o 11573142
o 11572280
o 11571245
o 11569120
o 11567239
o 11566089
o 11565054
o 11562929
o 11562511
o 11560564
o 11558439
o 11557212
o 11554052
o 11552722
o 11549562
o 11547681
o 11546719
o 11544594
o 11543732
o 11542697
o 11540572
o 11540207
o 11539345
o 11536185
o 11534855
o 11531695
o 11529814
o 11528253
o 11527391
o 11526356
o 11524231
o 11522350
o 11522247
o 11521212
o 11519087
o 11518907
o 11516782
o 11515920
o 11514885
o 11512760
o 11510879
o 11509640
o 11508605
o 11506480
o 11506062
o 11504115
o 11501990
o 11500763
o 11497603
o 11496273
o 11493113
o 11491232
o 11490270
o 11488145
o 11487283
o 11486248
o 11484123
o 11483758
o 11482896
o 11479736
o 11478406
o 11475246
o 11473365
o 11471804
o 11470942
o 11469907
o 11467782
o 11465901
o 11464751
o 11463716
o 11461591
o 11461173
o 11459226
o 11457101
o 11455874
o 11452714
o 11451384
o 11448224
o 11446343
o 11445381
o 11443256
o 11442394
o 11441359
o 11439234
o 11438869
o 11438007
o 11434847
o 11433517
o 11430357
o 11428476
o 11426915
o 11426053
o 11425018
o 11422893
o 11421012
o 11420465
o 11418340
o 11417093
o 11416058
o 11413933
o 11413515
o 11411568
o 11409443
o 11408216
o 11405056
o 11403726
o 11400566
o 11398685
o 11397723
o 11395598
o 11394736
o 11393701
o 11391576
o 11391211
o 11390349
o 11387189
o 11385859
o 11382699
o 11380818
o 11379257
o 11378395
o 11377360
o 11375235
o 11373354
o 11372204
o 11371169
o 11369044
o 11368626
o 11366679
o 11364554
o 11363327
o 11360167
o 11358837
o 11355677
o 11353796
o 11352834
o 11350709
o 11349847
o 11348812
o 11346687
o 11346322
o 11345460
o 11342300
o 11340970
o 11337810
o 11335929
o 11334368
o 11333506
o 11332471
o 11330346
o 11328465
o 11326517
o 11324392
o 11323357
o 11321232
o 11319985
o 11318950
o 11316825
o 11314460
o 11312335
o 11311108
o 11310073
o 11307948
o 11306618
o 11305583
o 11303458
o 11301577
o 11300016
o 11299154
o 11298119
o 11295994
o 11294113
o 11292614
o 11290489
o 11288542
o 11286417
o 11286196
o 11284071
o 11282356
o 11281321
o 11279196
o 11278778
o 11276831
o 11274706
o 11273479
o 11272444
o 11270319
o 11268989
o 11267954
o 11265829
o 11263948
o 11262387
o 11261525
o 11260490
o 11258365
o 11256484
o 11255513
o 11253388
o 11252353
o 11250228
o 11248482
o 11246357
o 11243992
o 11241867
o 11237460
o 11235242
o 11232970
o 11229162
o 11227037
o 11224672
o 11222547
o 11218140
o 11215922
o 11213650
o 11211357
o 11209232
o 11209011
o 11206886
o 11205171
o 11204136
o 11202011
o 11201593
o 11199793
o 11197521
o 11197045
o 11194920
o 11193885
o 11191760
o 11191128
o 11189181
o 11187056
o 11186021
o 11183896
o 11182649
o 11179489
o 11179071
o 11177271
o 11174999
o 11174854
o 11172907
o 11170782
o 11170364
o 11168417
o 11166292
o 11165957
o 11164010
o 11161885
o 11161467
o 11159520
o 11157395
o 11155049
o 11153334
o 11150174
o 11149756
o 11147956
o 11145684
o 11143938
o 11141813
o 11139448
o 11137323
o 11132916
o 11130698
o 11128426
o 11124618
o 11122493
o 11120128
o 11118003
o 11113596
o 11111378
o 11109106
o 11106813
o 11104688
o 11104467
o 11102342
o 11100627
o 11099592
o 11097467
o 11097049
o 11095249
o 11092977
o 11092476
o 11089973
o 11087848
o 11082109
o 11079984
o 11077702
o 11075577
o 11073212
o 11071087
o 11068941
o 11066669
o 11064733
o 11062608
o 11061573
o 11059448
o 11059030
o 11057230
o 11054958
o 11053731
o 11052696
o 11050571
o 11049241
o 11048206
o 11046081
o 11044200
o 11042333
o 11040208
o 11039173
o 11037048
o 11036630
o 11034683
o 11032558
o 11031311
o 11030276
o 11028151
o 11027733
o 11025786
o 11023661
o 11022434
o 11021399
o 11019274
o 11017944
o 11016909
o 11014784
o 11012903
o 11012398
o 11009238
o 11008820
o 11007020
o 11004748
o 11003501
o 11000341
o 10999923
o 10998123
o 10995851
o 10994624
o 10993589
o 10991464
o 10990134
o 10989099
o 10986974
o 10985093
o 10983226
o 10981101
o 10980066
o 10977941
o 10977523
o 10975576
o 10973451
o 10972204
o 10971169
o 10969044
o 10968626
o 10966679
o 10964554
o 10963327
o 10962292
o 10960167
o 10958837
o 10957802
o 10955677
o 10953796
o 10952235
o 10951373
o 10950338
o 10948213
o 10946332
o 10944478
o 10942353
o 10941935
o 10939988
o 10937863
o 10937528
o 10935581
o 10933456
o 10933038
o 10931091
o 10928966
o 10928745
o 10926620
o 10924905
o 10923870
o 10921745
o 10921327
o 10919380
o 10917255
o 10916779
o 10914654
o 10913619
o 10911494
o 10910862
o 10908915
o 10906790
o 10905755
o 10903630
o 10902383
o 10899223
o 10898805
o 10897005
o 10894733
o 10893506
o 10892471
o 10890346
o 10889016
o 10887981
o 10885856
o 10883975
o 10882108
o 10879983
o 10878948
o 10876823
o 10876405
o 10874458
o 10872333
o 10871086
o 10870051
o 10867926
o 10867508
o 10865561
o 10863436
o 10862209
o 10861174
o 10859049
o 10857719
o 10856684
o 10854559
o 10852678
o 10852173
o 10849013
o 10848595
o 10846795
o 10844523
o 10843276
o 10840116
o 10839698
o 10837898
o 10835626
o 10834399
o 10833364
o 10831239
o 10829909
o 10828874
o 10826749
o 10824868
o 10823001
o 10820876
o 10819841
o 10817716
o 10817298
o 10815351
o 10813226
o 10811979
o 10810944
o 10808819
o 10808401
o 10806454
o 10804329
o 10803102
o 10802067
o 10799942
o 10798612
o 10797577
o 10795452
o 10793571
o 10792010
o 10791148
o 10790113
o 10787988
o 10786107
o 10784957
o 10783922
o 10781797
o 10781379
o 10779432
o 10777307
o 10776080
o 10772920
o 10771590
o 10768430
o 10766549
o 10765587
o 10763462
o 10762600
o 10761565
o 10759440
o 10759075
o 10758213
o 10755053
o 10753723
o 10750563
o 10748682
o 10747121
o 10746259
o 10745224
o 10743099
o 10741218
o 10740583
o 10738868
o 10737833
o 10735708
o 10733129
o 10731004
o 10729969
o 10727844
o 10726586
o 10723426
o 10722199
o 10721164
o 10719039
o 10717709
o 10716674
o 10714549
o 10712668
o 10711706
o 10709581
o 10708719
o 10707684
o 10705559
o 10705194
o 10704332
o 10701172
o 10699842
o 10696682
o 10694801
o 10693240
o 10692378
o 10691343
o 10689218
o 10687337
o 10686187
o 10685152
o 10683027
o 10682609
o 10680662
o 10678537
o 10677310
o 10674150
o 10672820
o 10669660
o 10667779
o 10666817
o 10664692
o 10663830
o 10662795
o 10660670
o 10660305
o 10659443
o 10656283
o 10654953
o 10651793
o 10649912
o 10648351
o 10647489
o 10646454
o 10644329
o 10642448
o 10640690
o 10638565
o 10637530
o 10635405
o 10634987
o 10633040
o 10630915
o 10629668
o 10628633
o 10626508
o 10624143
o 10622018
o 10620791
o 10619756
o 10617631
o 10616301
o 10615266
o 10613141
o 10611260
o 10609699
o 10608837
o 10607802
o 10605677
o 10603796
o 10602297
o 10600172
o 10598225
o 10596100
o 10595879
o 10593754
o 10592039
o 10591004
o 10588879
o 10588461
o 10586514
o 10584389
o 10583162
o 10582127
o 10580002
o 10578672
o 10577637
o 10575512
o 10573631
o 10572070
o 10571208
o 10570173
o 10568048
o 10566167
o 10565595
o 10563880
o 10562845
o 10560720
o 10558141
o 10556016
o 10554981
o 10552856
o 10551598
o 10548438
o 10547211
o 10546176
o 10544051
o 10542721
o 10541686
o 10539561
o 10537680
o 10536718
o 10534593
o 10533731
o 10532696
o 10530571
o 10530206
o 10529344
o 10526184
o 10524854
o 10521694
o 10519813
o 10518252
o 10517390
o 10516355
o 10514230
o 10512349
o 10511199
o 10510164
o 10508039
o 10507621
o 10505674
o 10503549
o 10502322
o 10499162
o 10497832
o 10494672
o 10492791
o 10491829
o 10489704
o 10488842
o 10487807
o 10485682
o 10485317
o 10484455
o 10481295
o 10479965
o 10476805
o 10474924
o 10473363
o 10472501
o 10471466
o 10469341
o 10467460
o 10466690
o 10464565
o 10463703
o 10462668
o 10460543
o 10458662
o 10457101
o 10456239
o 10455204
o 10453079
o 10451198
o 10449699
o 10447574
o 10445627
o 10443502
o 10443281
o 10441156
o 10439441
o 10438406
o 10436281
o 10435863
o 10433916
o 10431791
o 10430564
o 10429529
o 10427404
o 10426074
o 10425039
o 10422914
o 10421033
o 10419472
o 10418610
o 10417575
o 10415450
o 10413569
o 10411811
o 10409686
o 10408651
o 10406526
o 10406108
o 10404161
o 10402036
o 10400789
o 10399754
o 10397629
o 10395264
o 10393139
o 10391912
o 10390877
o 10388752
o 10387422
o 10386387
o 10384262
o 10382381
o 10380820
o 10379958
o 10378923
o 10376798
o 10374917
o 10373418
o 10371293
o 10369346
o 10367221
o 10367000
o 10364875
o 10363160
o 10362125
o 10360000
o 10359582
o 10357635
o 10355510
o 10354283
o 10353248
o 10351123
o 10349793
o 10348758
o 10346633
o 10344752
o 10343191
o 10342329
o 10341294
o 10339169
o 10337288
o 10336716
o 10335001
o 10333966
o 10331841
o 10329262
o 10327137
o 10326102
o 10323977
o 10322719
o 10319559
o 10318332
o 10317297
o 10315172
o 10313842
o 10312807
o 10310682
o 10308801
o 10307839
o 10305714
o 10304852
o 10303817
o 10301692
o 10301327
o 10300465
o 10297305
o 10295975
o 10292815
o 10290934
o 10289373
o 10288511
o 10287476
o 10285351
o 10283470
o 10282320
o 10281285
o 10279160
o 10278742
o 10276795
o 10274670
o 10273443
o 10270283
o 10268953
o 10265793
o 10263912
o 10262950
o 10260825
o 10259963
o 10258928
o 10256803
o 10256438
o 10255576
o 10252416
o 10251086
o 10247926
o 10246045
o 10244484
o 10243622
o 10242587
o 10240462
o 10238581
o 10238478
o 10237443
o 10235318
o 10235138
o 10233013
o 10232151
o 10231116
o 10228991
o 10227110
o 10225871
o 10224836
o 10222711
o 10222293
o 10220346
o 10218221
o 10216994
o 10213834
o 10212504
o 10209344
o 10207463
o 10206501
o 10204376
o 10203514
o 10202479
o 10200354
o 10199989
o 10199127
o 10195967
o 10194637
o 10191477
o 10189596
o 10188035
o 10187173
o 10186138
o 10184013
o 10182132
o 10180982
o 10179947
o 10177822
o 10177404
o 10175457
o 10173332
o 10172105
o 10168945
o 10167615
o 10164455
o 10162574
o 10161612
o 10159487
o 10158625
o 10157590
o 10155465
o 10155100
o 10154238
o 10151078
o 10149748
o 10146588
o 10144707
o 10143146
o 10142284
o 10141249
o 10139124
o 10137243
o 10136696
o 10134571
o 10133324
o 10132289
o 10130164
o 10129746
o 10127799
o 10125674
o 10124447
o 10121287
o 10119957
o 10116797
o 10114916
o 10113954
o 10111829
o 10110967
o 10109932
o 10107807
o 10107442
o 10106580
o 10103420
o 10102090
o 10098930
o 10097049
o 10095488
o 10094626
o 10093591
o 10091466
o 10089585
o 10088435
o 10087400
o 10085275
o 10084857
o 10082910
o 10080785
o 10079558
o 10076398
o 10075068
o 10071908
o 10070027
o 10069065
o 10066940
o 10066078
o 10065043
o 10062918
o 10062553
o 10061691
o 10058531
o 10057201
o 10054041
o 10052160
o 10050599
o 10049737
o 10048702
o 10046577
o 10044696
o 10042748
o 10040623
o 10039588
o 10037463
o 10036216
o 10035181
o 10033056
o 10030691
o 10028566
o 10027339
o 10026304
o 10024179
o 10022849
o 10021814
o 10019689
o 10017808
o 10016247
o 10015385
o 10014350
o 10012225
o 10010344
o 10008845
o 10006720
o 10004773
o 10002648
o 10002427
o 10000302
o 9998587
o 9997552
o 9995427
o 9995009
o 9993062
o 9990937
o 9989710
o 9988675
o 9986550
o 9985220
o 9984185
o 9982060
o 9980179
o 9978618
o 9977756
o 9976721
o 9974596
o 9972715
o 9972056
o 9971856
o 9970821
o 9968696
o 9966815
o 9966447
o 9965807
o 9965464
o 9965278
o 9964148
o 9963583
o 9963432
o 9963176
o 9962302
o 9961737
o 9961551
o 9960421
o 9959856
o 9958848
o 9957189
o 9956624
o 9955952
o 9954941
o 9954888
o 9953877
o 9953263
o 9951138
o 9950103
o 9947978
o 9946751
o 9943591
o 9942261
o 9939101
o 9937220
o 9936258
o 9934133
o 9933271
o 9932236
o 9930111
o 9929746
o 9928884
o 9925724
o 9924394
o 9921234
o 9919353
o 9917792
o 9916930
o 9915895
o 9913770
o 9911889
o 9910530
o 9908405
o 9907178
o 9904018
o 9902688
o 9899528
o 9897647
o 9896685
o 9894560
o 9893698
o 9892663
o 9890538
o 9890173
o 9889311
o 9886151
o 9884821
o 9881661
o 9879780
o 9878219
o 9877357
o 9876322
o 9874197
o 9872316
o 9872213
o 9871178
o 9869053
o 9868873
o 9866748
o 9865886
o 9864851
o 9862726
o 9860845
o 9859606
o 9858571
o 9856446
o 9856028
o 9854081
o 9851956
o 9850729
o 9847569
o 9846239
o 9843079
o 9841198
o 9840236
o 9838111
o 9837249
o 9836214
o 9834089
o 9833724
o 9832862
o 9829702
o 9828372
o 9825212
o 9823331
o 9821770
o 9820908
o 9819873
o 9817748
o 9815867
o 9814717
o 9813682
o 9811557
o 9811139
o 9809192
o 9807067
o 9805840
o 9802680
o 9801350
o 9798190
o 9796309
o 9795347
o 9793222
o 9792360
o 9791325
o 9789200
o 9788835
o 9787973
o 9784813
o 9783483
o 9780323
o 9778442
o 9776881
o 9776019
o 9774984
o 9772859
o 9770978
o 9770319
o 9770119
o 9769084
o 9766959
o 9765078
o 9764070
o 9762411
o 9761846
o 9761439
o 9760565
o 9760000
o 9758684
o 9758119
o 9757111
o 9755452
o 9754887
o 9754215
o 9753204
o 9753151
o 9752140
o 9751710
o 9751040
o 9748915
o 9748350
o 9747678
o 9746667
o 9746614
o 9745603
o 9745138
o 9745080
o 9744069
o 9743397
o 9741272
o 9740410
o 9739375
o 9737250
o 9736885
o 9736023
o 9732863
o 9731533
o 9728373
o 9726492
o 9724931
o 9724069
o 9723034
o 9720909
o 9719028
o 9717529
o 9715404
o 9713457
o 9711332
o 9711111
o 9708986
o 9707271
o 9706236
o 9704111
o 9703693
o 9701746
o 9699621
o 9698394
o 9697359
o 9695234
o 9693904
o 9692869
o 9690744
o 9688863
o 9687302
o 9686440
o 9685405
o 9683280
o 9681399
o 9680740
o 9680540
o 9679505
o 9677380
o 9675499
o 9674491
o 9672832
o 9672267
o 9671860
o 9670986
o 9670421
o 9669105
o 9668540
o 9667532
o 9665873
o 9665308
o 9664636
o 9663625
o 9663572
o 9662561
o 9662131
o 9661461
o 9659336
o 9658771
o 9658099
o 9657088
o 9657035
o 9656024
o 9655559
o 9655501
o 9654490
o 9654202
o 9652543
o 9651978
o 9651372
o 9650361
o 9649931
o 9649261
o 9647136
o 9646571
o 9645899
o 9644888
o 9644835
o 9643824
o 9643359
o 9643301
o 9642290
o 9640838
o 9639964
o 9638083
o 9636522
o 9635660
o 9634625
o 9632500
o 9630619
o 9629120
o 9626995
o 9625048
o 9622923
o 9622702
o 9620577
o 9618862
o 9617827
o 9615702
o 9615284
o 9613337
o 9611212
o 9609985
o 9608950
o 9606825
o 9605495
o 9604460
o 9602335
o 9600454
o 9598893
o 9598031
o 9596996
o 9594871
o 9592990
o 9592331
o 9592131
o 9591096
o 9588971
o 9587090
o 9586082
o 9584423
o 9583858
o 9583451
o 9582577
o 9582012
o 9580696
o 9580131
o 9579123
o 9577464
o 9576899
o 9576227
o 9575216
o 9575163
o 9574152
o 9573722
o 9573052
o 9570927
o 9570362
o 9569690
o 9568679
o 9568626
o 9567615
o 9567150
o 9567092
o 9566081
o 9566072
o 9565642
o 9563858
o 9562847
o 9562282
o 9561610
o 9560599
o 9560546
o 9559535
o 9559070
o 9559012
o 9558001
o 9556138
o 9555573
o 9554967
o 9553956
o 9553433
o 9552422
o 9551824
o 9550879
o 9549354
o 9548789
o 9547473
o 9546908
o 9545291
o 9544861
o 9543077
o 9542066
o 9541501
o 9539818
o 9538754
o 9538289
o 9538231
o 9537220
o 9536622
o 9536542
o 9535408
o 9533749
o 9533184
o 9532578
o 9531567
o 9531135
o 9530467
o 9528342
o 9527777
o 9526094
o 9525030
o 9524565
o 9524507
o 9523496
o 9522898
o 9522151
o 9520703
o 9519695
o 9519352
o 9518919
o 9517471
o 9516706
o 9515258
o 9514250
o 9513474
o 9512026
o 9511791
o 9510343
o 9509908
o 9509279
o 9507958
o 9507182
o 9505734
o 9505128
o 9504117
o 9503652
o 9503594
o 9502583
o 9502220
o 9501783
o 9500772
o 9499764
o 9498988
o 9497540
o 9497305
o 9495857
o 9495422
o 9494793
o 9493472
o 9492696
o 9491248
o 9490642
o 9489631
o 9489166
o 9489108
o 9488097
o 9487893
o 9487117
o 9485669
o 9484681
o 9484052
o 9483529
o 9482518
o 9481920
o 9481595
o 9480250
o 9479685
o 9478237
o 9478002
o 9476554
o 9476119
o 9475490
o 9475303
o 9474169
o 9473393
o 9471945
o 9471339
o 9470328
o 9469863
o 9469805
o 9468794
o 9468196
o 9467966
o 9467013
o 9464888
o 9463440
o 9463007
o 9462570
o 9461559
o 9460551
o 9459775
o 9458327
o 9458092
o 9456644
o 9456209
o 9455580
o 9455115
o 9455057
o 9454046
o 9453842
o 9453066
o 9451618
o 9450630
o 9450001
o 9449478
o 9448467
o 9447869
o 9447495
o 9445585
o 9444137
o 9443267
o 9442256
o 9441248
o 9440472
o 9439024
o 9438789
o 9437341
o 9436906
o 9436277
o 9435812
o 9435754
o 9434743
o 9434145
o 9433610
o 9431485
o 9430920
o 9429912
o 9428253
o 9427688
o 9427016
o 9426005
o 9425952
o 9424941
o 9424476
o 9424418
o 9423407
o 9422809
o 9420599
o 9420429
o 9417351
o 9416357
o 9413279
o 9412811
o 9411867
o 9408789
o 9407919
o 9406908
o 9406418
o 9403340
o 9401892
o 9398850
o 9397402
o 9396969
o 9396532
o 9395521
o 9394513
o 9394170
o 9393737
o 9392289
o 9392054
o 9390606
o 9390171
o 9389542
o 9389077
o 9389019
o 9388008
o 9387028
o 9385580
o 9384592
o 9383963
o 9383440
o 9382429
o 9381831
o 9381457
o 9379547
o 9378099
o 9377229
o 9376218
o 9375210
o 9374434
o 9372986
o 9372751
o 9371303
o 9370868
o 9370239
o 9369774
o 9369716
o 9368705
o 9368107
o 9367877
o 9366924
o 9364799
o 9363351
o 9362918
o 9362481
o 9361470
o 9360462
o 9359686
o 9358238
o 9358003
o 9356555
o 9356120
o 9355491
o 9355026
o 9354968
o 9353957
o 9353753
o 9352977
o 9351529
o 9350541
o 9349912
o 9349389
o 9348378
o 9347780
o 9347406
o 9345496
o 9344048
o 9343178
o 9342167
o 9341159
o 9340383
o 9338935
o 9338700
o 9337252
o 9336817
o 9336188
o 9335723
o 9335665
o 9334654
o 9334056
o 9332815
o 9332250
o 9331242
o 9329583
o 9329018
o 9327335
o 9326271
o 9325806
o 9325748
o 9324737
o 9323471
o 9321812
o 9321247
o 9319630
o 9319158
o 9318560
o 9318197
o 9316538
o 9315973
o 9314356
o 9313884
o 9313286
o 9312552
o 9309404
o 9308530
o 9306649
o 9305641
o 9305298
o 9303982
o 9303417
o 9301734
o 9300670
o 9300205
o 9300147
o 9299136
o 9297870
o 9296211
o 9295646
o 9294029
o 9293557
o 9292959
o 9292585
o 9292226
o 9290101
o 9289227
o 9287346
o 9286338
o 9285995
o 9284679
o 9284114
o 9282431
o 9281367
o 9280902
o 9280844
o 9279833
o 9279235
o 9279016
o 9278902
o 9278657
o 9276532
o 9276418
o 9275658
o 9275544
o 9273777
o 9273663
o 9273057
o 9272046
o 9271581
o 9271523
o 9270512
o 9270479
o 9269914
o 9269294
o 9269180
o 9266146
o 9266032
o 9265272
o 9265158
o 9264288
o 9263277
o 9262383
o 9262269
o 9260724
o 9260610
o 9260159
o 9260045
o 9259105
o 9258991
o 9258476
o 9258362
o 9257927
o 9257298
o 9256833
o 9256775
o 9255764
o 9254612
o 9254498
o 9252953
o 9252839
o 9252388
o 9252274
o 9250771
o 9250657
o 9250299
o 9250185
o 9249587
o 9249327
o 9249213
o 9247854
o 9246843
o 9246729
o 9245969
o 9245855
o 9244088
o 9243974
o 9243080
o 9242966
o 9241421
o 9241307
o 9240856
o 9240742
o 9239173
o 9239059
o 9239006
o 9237995
o 9237530
o 9237472
o 9236461
o 9235863
o 9235650
o 9233525
o 9232960
o 9231644
o 9231079
o 9230473
o 9229462
o 9228997
o 9228939
o 9227928
o 9227330
o 9227111
o 9226997
o 9225638
o 9224627
o 9224513
o 9223753
o 9223639
o 9221872
o 9221758
o 9221152
o 9220141
o 9219676
o 9219618
o 9218607
o 9218009
o 9208121
o 9199224
o 9198354
o 9197343
o 9196449
o 9196335
o 9196106
o 9195992
o 9194790
o 9194676
o 9194225
o 9194111
o 9192542
o 9192428
o 9191993
o 9191364
o 9190899
o 9190841
o 9189830
o 9189232
o 9188983
o 9188869
o 9187324
o 9187210
o 9186759
o 9186645
o 9185142
o 9185028
o 9184670
o 9184556
o 9183958
o 9182756
o 9179508
o 9175436
o 9171736
o 9170475
o 9168708
o 9168594
o 9165568
o 9165454
o 9164202
o 9163573
o 9162070
o 9161956
o 9161484
o 9161382
o 9161268
o 9161039
o 9160925
o 9159380
o 9159266
o 9158815
o 9158701
o 9157198
o 9157084
o 9156612
o 9155052
o 9154487
o 9153423
o 9152951
o 9152735
o 9152392
o 9150733
o 9150168
o 9149116
o 9148551
o 9148079
o 9148057
o 9147943
o 9146398
o 9146284
o 9145833
o 9145719
o 9144216
o 9144102
o 9143630
o 9142155
o 9142041
o 9141590
o 9141476
o 9140961
o 9140847
o 9139973
o 9139859
o 9139344
o 9139230
o 9138758
o 9131360
o 9130728
o 9130099
o 9127486
o 9123903
o 9123414
o 9119831
o 9119199
o 9118570
o 9116803
o 9116689
o 9113663
o 9113549
o 9112297
o 9111668
o 9110165
o 9110051
o 9109579
o 9109477
o 9109363
o 9109134
o 9109020
o 9107475
o 9107361
o 9106910
o 9106796
o 9105293
o 9105179
o 9104707
o 9103978
o 9103864
o 9102970
o 9102856
o 9102181
o 9101173
o 9100109
o 9099958
o 9099844
o 9099318
o 9099204
o 9098689
o 9098575
o 9097801
o 9097687
o 9096793
o 9096679
o 9096118
o 9096004
o 9095110
o 9094996
o 9094046
o 9093932
o 9093667
o 9093027
o 9092398
o 9090921
o 9090807
o 9089743
o 9088323
o 9088209
o 9088064
o 9087950
o 9087435
o 9087321
o 9087056
o 9086942
o 9086427
o 9086313
o 9086267
o 9085752
o 9085638
o 9085373
o 9085259
o 9084744
o 9084630
o 9084309
o 9084195
o 9083680
o 9083566
o 9083301
o 9082661
o 9082032
o 9081850
o 9081210
o 9081170
o 9079676
o 9078788
o 9077780
o 9077105
o 9076097
o 9075033
o 9074993
o 9073499
o 9073011
o 9072897
o 9072003
o 9071889
o 9071849
o 9070355
o 9070210
o 9070096
o 9069581
o 9069467
o 9069202
o 9069088
o 9068573
o 9068459
o 9068413
o 9067898
o 9067784
o 9067519
o 9067405
o 9066890
o 9066776
o 9066455
o 9066341
o 9065826
o 9065712
o 9065447
o 9064807
o 9064178
o 9064095
o 9058193
o 9057319
o 9056002
o 9053840
o 9053453
o 9051959
o 9051580
o 9050951
o 9050390
o 9050276
o 9049382
o 9049268
o 9048833
o 9048204
o 9046784
o 9046670
o 9045896
o 9045782
o 9044888
o 9044774
o 9044213
o 9044099
o 9043205
o 9043091
o 9042141
o 9042027
o 9041762
o 9041122
o 9040493
o 9039016
o 9038902
o 9037838
o 9036418
o 9036304
o 9036159
o 9036045
o 9035530
o 9035416
o 9035151
o 9035037
o 9034522
o 9034408
o 9034362
o 9033847
o 9033733
o 9033468
o 9033354
o 9032839
o 9032725
o 9032404
o 9032290
o 9031775
o 9031661
o 9031396
o 9030756
o 9030127
o 9029028
o 9028590
o 9027964
o 9027526
o 9027486
o 9025992
o 9025627
o 9024616
o 9024502
o 9024150
o 9024036
o 9023552
o 9023438
o 9023173
o 9022533
o 9021904
o 9021066
o 9020952
o 9020391
o 9020277
o 9019383
o 9019269
o 9018319
o 9018205
o 9017940
o 9017300
o 9016671
o 9011394
o 9010520
o 9009928
o 9009218
o 9008505
o 9006484
o 9006046
o 9005771
o 9005333
o 9005060
o 9003566
o 9003452
o 9003198
o 9003084
o 9002558
o 9002444
o 9001883
o 9001769
o 9000875
o 9000761
o 9000326
o 8999697
o 8998277
o 8998163
o 8997381
o 8997267
o 8996706
o 8996592
o 8995698
o 8995584
o 8994634
o 8994520
o 8994255
o 8993615
o 8992986
o 8992192
o 8992078
o 8991403
o 8990395
o 8989331
o 8987911
o 8987797
o 8987644
o 8987530
o 8987015
o 8986901
o 8986855
o 8986340
o 8986226
o 8985961
o 8985847
o 8985332
o 8985218
o 8984897
o 8984783
o 8984268
o 8984154
o 8983889
o 8983249
o 8982620
o 8982428
o 8979923
o 8978828
o 8977954
o 8976727
o 8975853
o 8974758
o 8973884
o 8973308
o 8972716
o 8972595
o 8972003
o 8971635
o 8969631
o 8969517
o 8969002
o 8968888
o 8967468
o 8967354
o 8963590
o 8962716
o 8962151
o 8961559
o 8960849
o 8960846
o 8960136
o 8959507
o 8956533
o 8955659
o 8955067
o 8954357
o 8953644
o 8953015
o 8951248
o 8951134
o 8950766
o 8949210
o 8949096
o 8948133
o 8948019
o 8947181
o 8946599
o 8946485
o 8945648
o 8945066
o 8944952
o 8944492
o 8944378
o 8944027
o 8943913
o 8943590
o 8943008
o 8942379
o 8941367
o 8941327
o 8939833
o 8939430
o 8938522
o 8937847
o 8936839
o 8935775
o 8935735
o 8934241
o 8933345
o 8932670
o 8931662
o 8930598
o 8930558
o 8929064
o 8927038
o 8926473
o 8925763
o 8925050
o 8924042
o 8923367
o 8922359
o 8921295
o 8920772
o 8919761
o 8919163
o 8916702
o 8915828
o 8915236
o 8914526
o 8913813
o 8912848
o 8911354
o 8910641
o 8908760
o 8908392
o 8907752
o 8907077
o 8906069
o 8905005
o 8904965
o 8903471
o 8902575
o 8901900
o 8900892
o 8899828
o 8899788
o 8898294
o 8897386
o 8896711
o 8895703
o 8894639
o 8894599
o 8893105
o 8892209
o 8891534
o 8890526
o 8889462
o 8889422
o 8887928
o 8885424
o 8884714
o 8884001
o 8881807
o 8881215
o 8880505
o 8879792
o 8879422
o 8877228
o 8876636
o 8875926
o 8875213
o 8874586
o 8873712
o 8872730
o 8871856
o 8871735
o 8871143
o 8870685
o 8870567
o 8869975
o 8869972
o 8869854
o 8869262
o 8868894
o 8868716
o 8866860
o 8866147
o 8864613
o 8864150
o 8863655
o 8862993
o 8862294
o 8861632
o 8861137
o 8861086
o 8860424
o 8860246
o 8858390
o 8857677
o 8856143
o 8854777
o 8854312
o 8853440
o 8852778
o 8851507
o 8851467
o 8849973
o 8848604
o 8847708
o 8847033
o 8846025
o 8844961
o 8844921
o 8843427
o 8843162
o 8843044
o 8842452
o 8842449
o 8842331
o 8841739
o 8841467
o 8841432
o 8840558
o 8839966
o 8839576
o 8838702
o 8838110
o 8837989
o 8837397
o 8837258
o 8837223
o 8836349
o 8835757
o 8835367
o 8834493
o 8833901
o 8833780
o 8833188
o 8832730
o 8832612
o 8832020
o 8832017
o 8831899
o 8831307
o 8830939
o 8830761
o 8828905
o 8828192
o 8826658
o 8826195
o 8825700
o 8825038
o 8824339
o 8823677
o 8823182
o 8823131
o 8822469
o 8822291
o 8820435
o 8820384
o 8819722
o 8818188
o 8817793
o 8817298
o 8816636
o 8816585
o 8815923
o 8815745
o 8813889
o 8813838
o 8813176
o 8811642
o 8810261
o 8809796
o 8808262
o 8807922
o 8807427
o 8805953
o 8805458
o 8804680
o 8802711
o 8801177
o 8799383
o 8798791
o 8798670
o 8798078
o 8795884
o 8795292
o 8794582
o 8794461
o 8793869
o 8793240
o 8792648
o 8791384
o 8790792
o 8790671
o 8790079
o 8788977
o 8788385
o 8788267
o 8787675
o 8786372
o 8785842
o 8783867
o 8783157
o 8781633
o 8779658
o 8778948
o 8778945
o 8778827
o 8778235
o 8777054
o 8775079
o 8774369
o 8774248
o 8773656
o 8773198
o 8773080
o 8772488
o 8772485
o 8772367
o 8771775
o 8771407
o 8771229
o 8769373
o 8768660
o 8767126
o 8767069
o 8766572
o 8765698
o 8764597
o 8763723
o 8763013
o 8762166
o 8760106
o 8759514
o 8758804
o 8758717
o 8757843
o 8755868
o 8755158
o 8755155
o 8755037
o 8754445
o 8753294
o 8751234
o 8750642
o 8749932
o 8749811
o 8749219
o 8748408
o 8746433
o 8745723
o 8745602
o 8745010
o 8744640
o 8743829
o 8741854
o 8741144
o 8741023
o 8740431
o 8739973
o 8739855
o 8739263
o 8739260
o 8739142
o 8738550
o 8738182
o 8738004
o 8736148
o 8735435
o 8733901
o 8733394
o 8732929
o 8731395
o 8729747
o 8725538
o 8725257
o 8723553
o 8721048
o 8719167
o 8718799
o 8718557
o 8716052
o 8714518
o 8714180
o 8713685
o 8713220
o 8710938
o 8710473
o 8708939
o 8707293
o 8704788
o 8702819
o 8702451
o 8702209
o 8699704
o 8698170
o 8697883
o 8696872
o 8696790
o 8695373
o 8694909
o 8694309
o 8693845
o 8693685
o 8691990
o 8690982
o 8690307
o 8689299
o 8688235
o 8686701
o 8686103
o 8686021
o 8684604
o 8684140
o 8683668
o 8683540
o 8683076
o 8681762
o 8678388
o 8677823
o 8672309
o 8671744
o 8670467
o 8669759
o 8667254
o 8666886
o 8665013
o 8664139
o 8663507
o 8661771
o 8660897
o 8659802
o 8658928
o 8658560
o 8657295
o 8656604
o 8654099
o 8653225
o 8652857
o 8652447
o 8652079
o 8651070
o 8650110
o 8648495
o 8647400
o 8646526
o 8645299
o 8644425
o 8643330
o 8642456
o 8642088
o 8641678
o 8641310
o 8640301
o 8639341
o 8638917
o 8638043
o 8637578
o 8636603
o 8635729
o 8635016
o 8634032
o 8632337
o 8631627
o 8630619
o 8630575
o 8629754
o 8628880
o 8627872
o 8627407
o 8626809
o 8626134
o 8624960
o 8624247
o 8623132
o 8621437
o 8620727
o 8619719
o 8619044
o 8618036
o 8616502
o 8615904
o 8613569
o 8611874
o 8610866
o 8610191
o 8609183
o 8607649
o 8607051
o 8606143
o 8605733
o 8605135
o 8604656
o 8604288
o 8603742
o 8603527
o 8603032
o 8602784
o 8602687
o 8602319
o 8602295
o 8602227
o 8602039
o 8601165
o 8600971
o 8600723
o 8600326
o 8599196
o 8597943
o 8595077
o 8594980
o 8591864
o 8591168
o 8587794
o 8587374
o 8585809
o 8583304
o 8582936
o 8580568
o 8579694
o 8578599
o 8577725
o 8577357
o 8575516
o 8574820
o 8571446
o 8571026
o 8569461
o 8566956
o 8566588
o 8563975
o 8562280
o 8561272
o 8560777
o 8560312
o 8560209
o 8560179
o 8559714
o 8559632
o 8558758
o 8558263
o 8557798
o 8557590
o 8556319
o 8552385
o 8551511
o 8550503
o 8550008
o 8549543
o 8548945
o 8548863
o 8547989
o 8547494
o 8547029
s OPTIMUM FOUND
c Optimal Solution = 8547029
v -1 2 3 -4 5 -6 -7 8 9 -10 -11 12 -13 14 15 -16 17 -18 19 -20 -21 22 -23 24 -25 26 27 -28 29 -30 31 -32 -33 34 35 -36 37 -38 39 -40 41 -42 43 -44 -45 46 -47 48 -49 50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 975 -976 -977 -978 -979 -980 981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 1301 1302 1303 -1304 1305 -1306 1307 1308 1309 -1310 1311 1312 1313 1314 1315 -1316 1317 -1318 1319 -1320 1321 1322 1323 1324 1325 1326 1327 -1328 1329 -1330 1331 -1332 1333 1334 1335 -1336 1337 -1338 1339 -1340 1341 -1342 1343 -1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 1526 1527 1528 1529 1530 1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 1601 1602 1603 1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 1651 1652 1653 1654 1655 1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 1701 1702 1703 1704 1705 1706 1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 1751 1752 1753 1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 1801 1802 1803 1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 1826 1827 1828 1829 1830 1831 1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 1851 1852 1853 1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 1876 1877 1878 1879 1880 1881 1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 2301 2302 2303 2304 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316 2317 2318 2319 2320 2321 2322 2323 2324 -2325 2326 2327 2328 2329 2330 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 2376 2377 2378 2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 2401 2402 2403 2404 2405 2406 2407 2408 2409 2410 2411 2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 2426 2427 2428 2429 2430 2431 2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 -2474 -2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 -2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2516 2517 2518 2519 2520 2521 2522 2523 2524 -2525 2526 2527 2528 2529 2530 2531 2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 2551 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586 2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600
c Program terminated in 5.090 seconds.
5.096u 0.006s 0:05.11 99.6%	0+0k 0+0io 0pf+0w