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_cap61.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap61.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 55748489
o 18174221
o 18159019
o 18145295
o 18137215
o 18131636
o 18131038
o 18084642
o 18069440
o 18055716
o 18047636
o 18042057
o 18041459
o 18032531
o 18031933
o 18025994
o 18025396
o 18024334
o 17882905
o 17867703
o 17853979
o 17845899
o 17840320
o 17839722
o 17830794
o 17830196
o 17824257
o 17823659
o 17822597
o 17821572
o 17817298
o 17816700
o 17815638
o 17814508
o 17811398
o 17810800
o 17810336
o 17809738
o 17809206
o 17808608
o 17805376
o 16800873
o 16785671
o 16771947
o 16763867
o 16758288
o 16757690
o 16748762
o 16748164
o 16742225
o 16741627
o 16740565
o 16599136
o 16583934
o 16570210
o 16562130
o 16556551
o 16555953
o 16547025
o 16546427
o 16540488
o 16539890
o 16538828
o 16537803
o 16533529
o 16532931
o 16531869
o 16530739
o 16527629
o 16527031
o 16526567
o 16525969
o 16525437
o 16524839
o 16521607
o 16506589
o 16491387
o 16482937
o 16477663
o 16469583
o 16464004
o 16463406
o 16454478
o 16453880
o 16447941
o 16447343
o 16446281
o 16445256
o 16440982
o 16440384
o 16439322
o 16438192
o 16435082
o 16434484
o 16434020
o 16433422
o 16432890
o 16432292
o 16429060
o 16410956
o 16405682
o 16397602
o 16392023
o 16391425
o 16382497
o 16381899
o 16375960
o 16375362
o 16374300
o 16373275
o 16369001
o 16368403
o 16367341
o 16366211
o 16363101
o 16362503
o 16362039
o 16361441
o 16360909
o 16360311
o 16357079
o 16346640
o 16331438
o 16322988
o 16317714
o 16309634
o 16304055
o 16303457
o 16294529
o 16293931
o 16287992
o 16287394
o 16286332
o 16285307
o 16281033
o 16280435
o 16279373
o 16278243
o 16275133
o 16274535
o 16274071
o 16273473
o 16272941
o 16272343
o 16269111
o 16205729
o 16190527
o 16176803
o 16168723
o 16163144
o 16162546
o 16153618
o 16153020
o 16147081
o 16146483
o 16145421
o 16144396
o 16140122
o 16139524
o 16138462
o 16137332
o 16134222
o 16133624
o 16133160
o 16132562
o 16132030
o 16131432
o 16128200
o 16104391
o 16089189
o 16080739
o 16075465
o 16067385
o 16061806
o 16061208
o 16052280
o 16051682
o 16045743
o 16045145
o 16044083
o 16043058
o 16038784
o 16038186
o 16037124
o 16035994
o 16032884
o 16032286
o 16031822
o 16031224
o 16030692
o 16030094
o 16026862
o 16024044
o 16023446
o 16022982
o 16022384
o 16021852
o 16021254
o 16018022
o 16017822
o 16014462
o 16013930
o 16013332
o 15990482
o 15982032
o 15976758
o 15968678
o 15963099
o 15962501
o 15953573
o 15952975
o 15947036
o 15946438
o 15945376
o 15944351
o 15940077
o 15939479
o 15938417
o 15937287
o 15934177
o 15933579
o 15933115
o 15932517
o 15931985
o 15931387
o 15928155
o 15925274
o 15924676
o 15924212
o 15923614
o 15923082
o 15922484
o 15919252
o 15906914
o 15891712
o 15883262
o 15877988
o 15869908
o 15864329
o 15863731
o 15854803
o 15854205
o 15848266
o 15847668
o 15846606
o 15845581
o 15841307
o 15840709
o 15839647
o 15838517
o 15835407
o 15834809
o 15834345
o 15833747
o 15833215
o 15832617
o 15829385
o 15806981
o 15801707
o 15793627
o 15788048
o 15787450
o 15778522
o 15777924
o 15771985
o 15771387
o 15770325
o 15769300
o 15765026
o 15764428
o 15763366
o 15762236
o 15759126
o 15758528
o 15758064
o 15757466
o 15756934
o 15756336
o 15753104
o 15749936
o 15744486
o 15741528
o 15739212
o 15733633
o 15733035
o 15727096
o 15726498
o 15725436
o 15724411
o 15720137
o 15719539
o 15718477
o 15717347
o 15714237
o 15713639
o 15713175
o 15712577
o 15712045
o 15711447
o 15708215
o 15657715
o 15642513
o 15628789
o 15620709
o 15615130
o 15614532
o 15605604
o 15605006
o 15599067
o 15598469
o 15597407
o 15596382
o 15592108
o 15591510
o 15590448
o 15589318
o 15586208
o 15585610
o 15585146
o 15584548
o 15584016
o 15583418
o 15580186
o 15570658
o 15565384
o 15557304
o 15551725
o 15551127
o 15542199
o 15541601
o 15535662
o 15535064
o 15534002
o 15532977
o 15528703
o 15528105
o 15527043
o 15525913
o 15522803
o 15522205
o 15521741
o 15521143
o 15520611
o 15520013
o 15516781
o 15516301
o 15512941
o 15512409
o 15511811
o 15509273
o 15508675
o 15508211
o 15507613
o 15507081
o 15506483
o 15503251
o 15480401
o 15471951
o 15466677
o 15458597
o 15453018
o 15452420
o 15443492
o 15442894
o 15436955
o 15436357
o 15435295
o 15434270
o 15429996
o 15429398
o 15428336
o 15427206
o 15424096
o 15423498
o 15423034
o 15422436
o 15421904
o 15421306
o 15418074
o 15415193
o 15414595
o 15414131
o 15413533
o 15413001
o 15412403
o 15409171
o 15396833
o 15381631
o 15373181
o 15367907
o 15359827
o 15354248
o 15353650
o 15344722
o 15344124
o 15338185
o 15337587
o 15336525
o 15335500
o 15331226
o 15330628
o 15329566
o 15328436
o 15325326
o 15324728
o 15324264
o 15323666
o 15323134
o 15322536
o 15319304
o 15296900
o 15291626
o 15283546
o 15277967
o 15277369
o 15268441
o 15267843
o 15261904
o 15261306
o 15260244
o 15259219
o 15254945
o 15254347
o 15253285
o 15252155
o 15249045
o 15248447
o 15247983
o 15247385
o 15246853
o 15246255
o 15243023
o 15239855
o 15234405
o 15231447
o 15229131
o 15223552
o 15222954
o 15217015
o 15216417
o 15215355
o 15214330
o 15210056
o 15209458
o 15208396
o 15207266
o 15204156
o 15203558
o 15203094
o 15202496
o 15201964
o 15201366
o 15198134
o 15193830
o 15188380
o 15187338
o 15185022
o 15179443
o 15178845
o 15172906
o 15172308
o 15171246
o 15170221
o 15165947
o 15165349
o 15164287
o 15163157
o 15160047
o 15159449
o 15158985
o 15158387
o 15157855
o 15157257
o 15154025
o 15137865
o 15129415
o 15124141
o 15116061
o 15110482
o 15109884
o 15100956
o 15100358
o 15094419
o 15093821
o 15092759
o 15091734
o 15087460
o 15086862
o 15085800
o 15084670
o 15081560
o 15080962
o 15080498
o 15079900
o 15079368
o 15078770
o 15075538
o 15072135
o 15066685
o 15063327
o 15062729
o 15056790
o 15056192
o 15055130
o 15054105
o 15049831
o 15049233
o 15048171
o 15047041
o 15043931
o 15043333
o 15042869
o 15042271
o 15041739
o 15041141
o 15037909
o 15027405
o 15019325
o 15013746
o 15013148
o 15004220
o 15003622
o 14997683
o 14997085
o 14996023
o 14994998
o 14990724
o 14990126
o 14989064
o 14987934
o 14984824
o 14984226
o 14983762
o 14983164
o 14982632
o 14982034
o 14978802
o 14978422
o 14975062
o 14974530
o 14973932
o 14971394
o 14970796
o 14970332
o 14969734
o 14969202
o 14968604
o 14965372
o 14959427
o 14958829
o 14957767
o 14956637
o 14953527
o 14952929
o 14952465
o 14951867
o 14951335
o 14950737
o 14947505
o 14944650
o 14944052
o 14943588
o 14942990
o 14942458
o 14941860
o 14938628
o 14932734
o 14927284
o 14921705
o 14921107
o 14915168
o 14914570
o 14913508
o 14912483
o 14908209
o 14907611
o 14906549
o 14905419
o 14902309
o 14901711
o 14901247
o 14900649
o 14900117
o 14899519
o 14896287
o 14895907
o 14892547
o 14892015
o 14891417
o 14888879
o 14888281
o 14887817
o 14887219
o 14886687
o 14886089
o 14882857
o 14876912
o 14876314
o 14875252
o 14874122
o 14871012
o 14870414
o 14869950
o 14869352
o 14868820
o 14868222
o 14864990
o 14862135
o 14861537
o 14861073
o 14860475
o 14859943
o 14859345
o 14856113
o 14855781
o 14851507
o 14850909
o 14849703
o 14849105
o 14846345
o 14845747
o 14844685
o 14843660
o 14839386
o 14838788
o 14837726
o 14836596
o 14833486
o 14832888
o 14832424
o 14831826
o 14831294
o 14830696
o 14827464
o 14824609
o 14824011
o 14823547
o 14822949
o 14822417
o 14821819
o 14818587
o 14812352
o 14806902
o 14801323
o 14800725
o 14794786
o 14794188
o 14793126
o 14792101
o 14787827
o 14787229
o 14786167
o 14785037
o 14781927
o 14781329
o 14780865
o 14780267
o 14779735
o 14779137
o 14775905
o 14775525
o 14772165
o 14771633
o 14771035
o 14768497
o 14767899
o 14767435
o 14766837
o 14766305
o 14765707
o 14762475
o 14756530
o 14755932
o 14754870
o 14753740
o 14750630
o 14750032
o 14749568
o 14748970
o 14748438
o 14747840
o 14744608
o 14741753
o 14741155
o 14740691
o 14740093
o 14739561
o 14738963
o 14735731
o 14735719
o 14735121
o 14732583
o 14731985
o 14731521
o 14730923
o 14730391
o 14729793
o 14726561
o 14724435
o 14722426
o 14721962
o 14721364
o 14720234
o 14718747
o 14715389
o 14714791
o 14713729
o 14712599
o 14710061
o 14709463
o 14708999
o 14708401
o 14707869
o 14707271
o 14704039
o 14701913
o 14699904
o 14699440
o 14698842
o 14697712
o 14695082
o 14693876
o 14693278
o 14690518
o 14689920
o 14688858
o 14688431
o 14687833
o 14685073
o 14684475
o 14684011
o 14683413
o 14682283
o 14679173
o 14678575
o 14678111
o 14677513
o 14676981
o 14676383
o 14673151
o 14670296
o 14669698
o 14669234
o 14668636
o 14668104
o 14667506
o 14664274
o 14661138
o 14655688
o 14655090
o 14649151
o 14648553
o 14647491
o 14646466
o 14642192
o 14641594
o 14640532
o 14639402
o 14636292
o 14635694
o 14635230
o 14634632
o 14634100
o 14633502
o 14630270
o 14629890
o 14626530
o 14625998
o 14625400
o 14622862
o 14622264
o 14621800
o 14621202
o 14620670
o 14620072
o 14616840
o 14610895
o 14610297
o 14609235
o 14608105
o 14604995
o 14604397
o 14603933
o 14603335
o 14602803
o 14602205
o 14598973
o 14596118
o 14595520
o 14595056
o 14594458
o 14593926
o 14593328
o 14590096
o 14588609
o 14585251
o 14584653
o 14583591
o 14582461
o 14579923
o 14579325
o 14578861
o 14578263
o 14577731
o 14577133
o 14573901
o 14571775
o 14569766
o 14569302
o 14568704
o 14567574
o 14566017
o 14560567
o 14559969
o 14554807
o 14553745
o 14552720
o 14548446
o 14547848
o 14546786
o 14545656
o 14542546
o 14541948
o 14541484
o 14540886
o 14540354
o 14539756
o 14536524
o 14530579
o 14529981
o 14528919
o 14527789
o 14524679
o 14524081
o 14523617
o 14523019
o 14522487
o 14521889
o 14518657
o 14515802
o 14515204
o 14514740
o 14514142
o 14513610
o 14513012
o 14509780
o 14506629
o 14504091
o 14503493
o 14503029
o 14502431
o 14501899
o 14501301
o 14498069
o 14495493
o 14494895
o 14494431
o 14493833
o 14493406
o 14492808
o 14490048
o 14489450
o 14488986
o 14488388
o 14487258
o 14484148
o 14483550
o 14483086
o 14482488
o 14481956
o 14481358
o 14478126
o 14477746
o 14474386
o 14473854
o 14473256
o 14470718
o 14470120
o 14469656
o 14469058
o 14468526
o 14467928
o 14464696
o 14458751
o 14458153
o 14457091
o 14455961
o 14452851
o 14452253
o 14451789
o 14451191
o 14450659
o 14450061
o 14446829
o 14443974
o 14443376
o 14442912
o 14442314
o 14441782
o 14441184
o 14437952
o 14436465
o 14433107
o 14432509
o 14431447
o 14430317
o 14427779
o 14427181
o 14426717
o 14426119
o 14425587
o 14424989
o 14421757
o 14419631
o 14417622
o 14417158
o 14416560
o 14415430
o 14412800
o 14411594
o 14410996
o 14408236
o 14407638
o 14406576
o 14406149
o 14405551
o 14402791
o 14402193
o 14401729
o 14401131
o 14400001
o 14396891
o 14396293
o 14395829
o 14395231
o 14394699
o 14394101
o 14390869
o 14388014
o 14387416
o 14386952
o 14386354
o 14385822
o 14385224
o 14381992
o 14378856
o 14373406
o 14372808
o 14366869
o 14366271
o 14365209
o 14364184
o 14359910
o 14359312
o 14358250
o 14357120
o 14354010
o 14353412
o 14352948
o 14352350
o 14351818
o 14351220
o 14347988
o 14347608
o 14344248
o 14343716
o 14343118
o 14340580
o 14339982
o 14339518
o 14338920
o 14338388
o 14337790
o 14334558
o 14328613
o 14328015
o 14326953
o 14325823
o 14322713
o 14322115
o 14321651
o 14321053
o 14320521
o 14319923
o 14316691
o 14313836
o 14313238
o 14312774
o 14312176
o 14311644
o 14311046
o 14307814
o 14306327
o 14302969
o 14302371
o 14301309
o 14300179
o 14297641
o 14297043
o 14296579
o 14295981
o 14295449
o 14294851
o 14291619
o 14289493
o 14287484
o 14287020
o 14286422
o 14285292
o 14284695
o 14281335
o 14280803
o 14280205
o 14277687
o 14276481
o 14275883
o 14273123
o 14272525
o 14271463
o 14270438
o 14266164
o 14265566
o 14264504
o 14263374
o 14260264
o 14259666
o 14259202
o 14258604
o 14258072
o 14257474
o 14254242
o 14248297
o 14247699
o 14246637
o 14245507
o 14242397
o 14241799
o 14241335
o 14240737
o 14240205
o 14239607
o 14236375
o 14233520
o 14232922
o 14232458
o 14231860
o 14231328
o 14230730
o 14227498
o 14224347
o 14221809
o 14221211
o 14220747
o 14220149
o 14219617
o 14219019
o 14215787
o 14215456
o 14211182
o 14210584
o 14209522
o 14209095
o 14208497
o 14205737
o 14205139
o 14204675
o 14204077
o 14202947
o 14199837
o 14199239
o 14198775
o 14198177
o 14197645
o 14197047
o 14193815
o 14188138
o 14182688
o 14177109
o 14176511
o 14170572
o 14169974
o 14168912
o 14167887
o 14163613
o 14163015
o 14161953
o 14160823
o 14157713
o 14157115
o 14156651
o 14156053
o 14155521
o 14154923
o 14151691
o 14151311
o 14147951
o 14147419
o 14146821
o 14144283
o 14143685
o 14143221
o 14142623
o 14142091
o 14141493
o 14138261
o 14132316
o 14131718
o 14130656
o 14129526
o 14126416
o 14125818
o 14125354
o 14124756
o 14124224
o 14123626
o 14120394
o 14117539
o 14116941
o 14116477
o 14115879
o 14115347
o 14114749
o 14111517
o 14111288
o 14105282
o 14099832
o 14094253
o 14093655
o 14087716
o 14087118
o 14086056
o 14085031
o 14080757
o 14080159
o 14079097
o 14077967
o 14074857
o 14074259
o 14073795
o 14073197
o 14072665
o 14072067
o 14068835
o 14068455
o 14065095
o 14064563
o 14063965
o 14061427
o 14060829
o 14060365
o 14059767
o 14059235
o 14058637
o 14055405
o 14049460
o 14048862
o 14047800
o 14046670
o 14043560
o 14042962
o 14042498
o 14041900
o 14041368
o 14040770
o 14037538
o 14034683
o 14034085
o 14033621
o 14033023
o 14032491
o 14031893
o 14028661
o 14028649
o 14028051
o 14025513
o 14024915
o 14024451
o 14023853
o 14023321
o 14022723
o 14019491
o 14017365
o 14015356
o 14014892
o 14014294
o 14013164
o 14011677
o 14008319
o 14007721
o 14006659
o 14005529
o 14002991
o 14002393
o 14001929
o 14001331
o 14000799
o 14000201
o 13996969
o 13994843
o 13992834
o 13992370
o 13991772
o 13990642
o 13988012
o 13986806
o 13986208
o 13983448
o 13982850
o 13981788
o 13981361
o 13980763
o 13978003
o 13977405
o 13976941
o 13976343
o 13975213
o 13972103
o 13971505
o 13971041
o 13970443
o 13969911
o 13969313
o 13966081
o 13963226
o 13962628
o 13962164
o 13961566
o 13961034
o 13960436
o 13957204
o 13954068
o 13948618
o 13948020
o 13942081
o 13941483
o 13940421
o 13939396
o 13935122
o 13934524
o 13933462
o 13932332
o 13929222
o 13928624
o 13928160
o 13927562
o 13927030
o 13926432
o 13923200
o 13922820
o 13919460
o 13918928
o 13918330
o 13915792
o 13915194
o 13914730
o 13914132
o 13913600
o 13913002
o 13909770
o 13903825
o 13903227
o 13902165
o 13901035
o 13897925
o 13897327
o 13896863
o 13896265
o 13895733
o 13895135
o 13891903
o 13889048
o 13888450
o 13887986
o 13887388
o 13886856
o 13886258
o 13883026
o 13881539
o 13878181
o 13877583
o 13876521
o 13875391
o 13872853
o 13872255
o 13871791
o 13871193
o 13870661
o 13870063
o 13866831
o 13864705
o 13862696
o 13862232
o 13861634
o 13860504
o 13859907
o 13856547
o 13856015
o 13855417
o 13852899
o 13851693
o 13851095
o 13848335
o 13847737
o 13846675
o 13845650
o 13841376
o 13840778
o 13839716
o 13838586
o 13835476
o 13834878
o 13834414
o 13833816
o 13833284
o 13832686
o 13829454
o 13823509
o 13822911
o 13821849
o 13820719
o 13817609
o 13817011
o 13816547
o 13815949
o 13815417
o 13814819
o 13811587
o 13808732
o 13808134
o 13807670
o 13807072
o 13806540
o 13805942
o 13802710
o 13799559
o 13797021
o 13796423
o 13795959
o 13795361
o 13794829
o 13794231
o 13790999
o 13768682
o 13760232
o 13754958
o 13746878
o 13741299
o 13740701
o 13731773
o 13731175
o 13725236
o 13724638
o 13723576
o 13722551
o 13718277
o 13717679
o 13716617
o 13715487
o 13712377
o 13711779
o 13711315
o 13710717
o 13710185
o 13709587
o 13706355
o 13683951
o 13678677
o 13670597
o 13665018
o 13664420
o 13655492
o 13654894
o 13648955
o 13648357
o 13647295
o 13646270
o 13641996
o 13641398
o 13640336
o 13639206
o 13636096
o 13635498
o 13635034
o 13634436
o 13633904
o 13633306
o 13630074
o 13626906
o 13621456
o 13618498
o 13616182
o 13610603
o 13610005
o 13604066
o 13603468
o 13602406
o 13601381
o 13597107
o 13596509
o 13595447
o 13594317
o 13591207
o 13590609
o 13590145
o 13589547
o 13589015
o 13588417
o 13585185
o 13563747
o 13555297
o 13550023
o 13541943
o 13536364
o 13535766
o 13526838
o 13526240
o 13520301
o 13519703
o 13518641
o 13517616
o 13513342
o 13512744
o 13511682
o 13510552
o 13507442
o 13506844
o 13506380
o 13505782
o 13505250
o 13504652
o 13501420
o 13498017
o 13492567
o 13489209
o 13488611
o 13482672
o 13482074
o 13481012
o 13479987
o 13475713
o 13475115
o 13474053
o 13472923
o 13469813
o 13469215
o 13468751
o 13468153
o 13467621
o 13467023
o 13463791
o 13453287
o 13445207
o 13439628
o 13439030
o 13430102
o 13429504
o 13423565
o 13422967
o 13421905
o 13420880
o 13416606
o 13416008
o 13414946
o 13413816
o 13410706
o 13410108
o 13409644
o 13409046
o 13408514
o 13407916
o 13404684
o 13404304
o 13400944
o 13400412
o 13399814
o 13397276
o 13396678
o 13396214
o 13395616
o 13395084
o 13394486
o 13391254
o 13385309
o 13384711
o 13383649
o 13382519
o 13379409
o 13378811
o 13378347
o 13377749
o 13377217
o 13376619
o 13373387
o 13370532
o 13369934
o 13369470
o 13368872
o 13368340
o 13367742
o 13364510
o 13358616
o 13353166
o 13347587
o 13346989
o 13341050
o 13340452
o 13339390
o 13338365
o 13334091
o 13333493
o 13332431
o 13331301
o 13328191
o 13327593
o 13327129
o 13326531
o 13325999
o 13325401
o 13322169
o 13321789
o 13318429
o 13317897
o 13317299
o 13314761
o 13314163
o 13313699
o 13313101
o 13312569
o 13311971
o 13308739
o 13302794
o 13302196
o 13301134
o 13300004
o 13296894
o 13296296
o 13295832
o 13295234
o 13294702
o 13294104
o 13290872
o 13288017
o 13287419
o 13286955
o 13286357
o 13285825
o 13285227
o 13281995
o 13281663
o 13277389
o 13276791
o 13275585
o 13274987
o 13272227
o 13271629
o 13270567
o 13269542
o 13265268
o 13264670
o 13263608
o 13262478
o 13259368
o 13258770
o 13258306
o 13257708
o 13257176
o 13256578
o 13253346
o 13250491
o 13249893
o 13249429
o 13248831
o 13248299
o 13247701
o 13244469
o 13238234
o 13232784
o 13227205
o 13226607
o 13220668
o 13220070
o 13219008
o 13217983
o 13213709
o 13213111
o 13212049
o 13210919
o 13207809
o 13207211
o 13206747
o 13206149
o 13205617
o 13205019
o 13201787
o 13201407
o 13198047
o 13197515
o 13196917
o 13194379
o 13193781
o 13193317
o 13192719
o 13192187
o 13191589
o 13188357
o 13182412
o 13181814
o 13180752
o 13179622
o 13176512
o 13175914
o 13175450
o 13174852
o 13174320
o 13173722
o 13170490
o 13167635
o 13167037
o 13166573
o 13165975
o 13165443
o 13164845
o 13161613
o 13161601
o 13161003
o 13158465
o 13157867
o 13157403
o 13156805
o 13156273
o 13155675
o 13152443
o 13150317
o 13148308
o 13147844
o 13147246
o 13146116
o 13144629
o 13141271
o 13140673
o 13139611
o 13138481
o 13135943
o 13135345
o 13134881
o 13134283
o 13133751
o 13133153
o 13129921
o 13127795
o 13125786
o 13125322
o 13124724
o 13123594
o 13120964
o 13119758
o 13119160
o 13116400
o 13115802
o 13114740
o 13114313
o 13113715
o 13110955
o 13110357
o 13109893
o 13109295
o 13108165
o 13105055
o 13104457
o 13103993
o 13103395
o 13102863
o 13102265
o 13099033
o 13096178
o 13095580
o 13095116
o 13094518
o 13093986
o 13093388
o 13090156
o 13087020
o 13081570
o 13080972
o 13075033
o 13074435
o 13073373
o 13072348
o 13068074
o 13067476
o 13066414
o 13065284
o 13062174
o 13061576
o 13061112
o 13060514
o 13059982
o 13059384
o 13056152
o 13055772
o 13052412
o 13051880
o 13051282
o 13048744
o 13048146
o 13047682
o 13047084
o 13046552
o 13045954
o 13042722
o 13036777
o 13036179
o 13035117
o 13033987
o 13030877
o 13030279
o 13029815
o 13029217
o 13028685
o 13028087
o 13024855
o 13022000
o 13021402
o 13020938
o 13020340
o 13019808
o 13019210
o 13015978
o 13014491
o 13011133
o 13010535
o 13009473
o 13008343
o 13005805
o 13005207
o 13004743
o 13004145
o 13003613
o 13003015
o 12999783
o 12997657
o 12995648
o 12995184
o 12994586
o 12993456
o 12991899
o 12986449
o 12985851
o 12980689
o 12979627
o 12978602
o 12974328
o 12973730
o 12972668
o 12971538
o 12968428
o 12967830
o 12967366
o 12966768
o 12966236
o 12965638
o 12962406
o 12956461
o 12955863
o 12954801
o 12953671
o 12950561
o 12949963
o 12949499
o 12948901
o 12948369
o 12947771
o 12944539
o 12941684
o 12941086
o 12940622
o 12940024
o 12939492
o 12938894
o 12935662
o 12932511
o 12929973
o 12929375
o 12928911
o 12928313
o 12927781
o 12927183
o 12923951
o 12922371
o 12919013
o 12918415
o 12917353
o 12916223
o 12913685
o 12913087
o 12912623
o 12912025
o 12911493
o 12910895
o 12907663
o 12901718
o 12901120
o 12900058
o 12898928
o 12895818
o 12895220
o 12894756
o 12894158
o 12893626
o 12893028
o 12889796
o 12886941
o 12886343
o 12885879
o 12885281
o 12884749
o 12884151
o 12880919
o 12877768
o 12875230
o 12874632
o 12874168
o 12873570
o 12873038
o 12872440
o 12869208
o 12867292
o 12863934
o 12863336
o 12862274
o 12861847
o 12861249
o 12858489
o 12857891
o 12857427
o 12856829
o 12855699
o 12852589
o 12851991
o 12851527
o 12850929
o 12850397
o 12849799
o 12846567
o 12843712
o 12843114
o 12842650
o 12842052
o 12841520
o 12840922
o 12837690
o 12835569
o 12833757
o 12833225
o 12832627
o 12829395
o 12826688
o 12824150
o 12823552
o 12823088
o 12822490
o 12821958
o 12821360
o 12818128
o 12815655
o 12815057
o 12814593
o 12813995
o 12813463
o 12812865
o 12809633
o 12807748
o 12805936
o 12802704
o 12799365
o 12798767
o 12798303
o 12797705
o 12797278
o 12796680
o 12793920
o 12793322
o 12792858
o 12792260
o 12791130
o 12788020
o 12787422
o 12786958
o 12786360
o 12785828
o 12785230
o 12781998
o 12779143
o 12778545
o 12778081
o 12777483
o 12776951
o 12776353
o 12773121
o 12770698
o 12770271
o 12769673
o 12766913
o 12766315
o 12765851
o 12765253
o 12764123
o 12761585
o 12760987
o 12760523
o 12759925
o 12759393
o 12758795
o 12755563
o 12749618
o 12749020
o 12747958
o 12746828
o 12743718
o 12743120
o 12742656
o 12742058
o 12741526
o 12740928
o 12737696
o 12734841
o 12734243
o 12733779
o 12733181
o 12732649
o 12732051
o 12728819
o 12728473
o 12727761
o 12724401
o 12724338
o 12721854
o 12720980
o 12718920
o 12716382
o 12715784
o 12715320
o 12714722
o 12714190
o 12713592
o 12710360
o 12709648
o 12706288
o 12705732
o 12705020
o 12701660
o 12698768
o 12698170
o 12697706
o 12697108
o 12696576
o 12695978
o 12692675
o 12692143
o 12691545
o 12689007
o 12688409
o 12687945
o 12687347
o 12686815
o 12686217
o 12682985
o 12680859
o 12678850
o 12678386
o 12677788
o 12676658
o 12673716
o 12673118
o 12672654
o 12672056
o 12671524
o 12670926
o 12667694
o 12665568
o 12663559
o 12663095
o 12662497
o 12661367
o 12658216
o 12655678
o 12655080
o 12654616
o 12654018
o 12653486
o 12652888
o 12649656
o 12646368
o 12645836
o 12645238
o 12645100
o 12641740
o 12641208
o 12640610
o 12638694
o 12635336
o 12634738
o 12633532
o 12632934
o 12630174
o 12629576
o 12628514
o 12627489
o 12623215
o 12622617
o 12621555
o 12620425
o 12617315
o 12616717
o 12616253
o 12615655
o 12615123
o 12614525
o 12611293
o 12608438
o 12607840
o 12607376
o 12606778
o 12606246
o 12605648
o 12602416
o 12600929
o 12597571
o 12596973
o 12595911
o 12594781
o 12592243
o 12591645
o 12591181
o 12590583
o 12590051
o 12589453
o 12586221
o 12584095
o 12582086
o 12581622
o 12581024
o 12579894
o 12576743
o 12574205
o 12573607
o 12573143
o 12572545
o 12572013
o 12571415
o 12568183
o 12566062
o 12564250
o 12563718
o 12563120
o 12559888
o 12557415
o 12556817
o 12556353
o 12555755
o 12555223
o 12554625
o 12551393
o 12549508
o 12547696
o 12544464
o 12541125
o 12540527
o 12540063
o 12539465
o 12539038
o 12538440
o 12535680
o 12535082
o 12534618
o 12534020
o 12532890
o 12529780
o 12529182
o 12528718
o 12528120
o 12527588
o 12526990
o 12523758
o 12520903
o 12520305
o 12519841
o 12519243
o 12518711
o 12518113
o 12514881
o 12512458
o 12512031
o 12511433
o 12508673
o 12508075
o 12507611
o 12507013
o 12505883
o 12503345
o 12502747
o 12502283
o 12501685
o 12501153
o 12500555
o 12497323
o 12491378
o 12490780
o 12489718
o 12488588
o 12485478
o 12484880
o 12484416
o 12483818
o 12483286
o 12482688
o 12479456
o 12476601
o 12476003
o 12475539
o 12474941
o 12474409
o 12473811
o 12470579
o 12470233
o 12469521
o 12466161
o 12462935
o 12460397
o 12459799
o 12459335
o 12458737
o 12458205
o 12457607
o 12454375
o 12452249
o 12450240
o 12449776
o 12449178
o 12448048
o 12447910
o 12444550
o 12444018
o 12443420
o 12440528
o 12439930
o 12439466
o 12438868
o 12438336
o 12437738
o 12434435
o 12433903
o 12433305
o 12430767
o 12430169
o 12429705
o 12429107
o 12428575
o 12427977
o 12424745
o 12422619
o 12420610
o 12420146
o 12419548
o 12418418
o 12415476
o 12414878
o 12414414
o 12413816
o 12413284
o 12412686
o 12409454
o 12407328
o 12405319
o 12404855
o 12404257
o 12403127
o 12399976
o 12397438
o 12396840
o 12396376
o 12395778
o 12395246
o 12394648
o 12391416
o 12388128
o 12387596
o 12386998
o 12386860
o 12383500
o 12382968
o 12382370
o 12380419
o 12378410
o 12377946
o 12377348
o 12376816
o 12376218
o 12372915
o 12372383
o 12371785
o 12369247
o 12368649
o 12368185
o 12367587
o 12367055
o 12366457
o 12363225
o 12361099
o 12359090
o 12358626
o 12358028
o 12356898
o 12355221
o 12353409
o 12352877
o 12352279
o 12349047
o 12346921
o 12344912
o 12344448
o 12343850
o 12342720
o 12340150
o 12338024
o 12336015
o 12335551
o 12334953
o 12333823
o 12330785
o 12329579
o 12328981
o 12326221
o 12325623
o 12324561
o 12323536
o 12319262
o 12318664
o 12317602
o 12316472
o 12313362
o 12312764
o 12312300
o 12311702
o 12311170
o 12310572
o 12307340
o 12304485
o 12303887
o 12303423
o 12302825
o 12302293
o 12301695
o 12298463
o 12295175
o 12294643
o 12294045
o 12293907
o 12290547
o 12290015
o 12289417
o 12287740
o 12285928
o 12285396
o 12284798
o 12281566
o 12279440
o 12277431
o 12276967
o 12276369
o 12275239
o 12272669
o 12270543
o 12268534
o 12268070
o 12267472
o 12266342
o 12263373
o 12260835
o 12260237
o 12259773
o 12259175
o 12258643
o 12258045
o 12254813
o 12254666
o 12251906
o 12251308
o 12250102
o 12249504
o 12246744
o 12246146
o 12245084
o 12244059
o 12239785
o 12239187
o 12238125
o 12236995
o 12233885
o 12233287
o 12232823
o 12232225
o 12231693
o 12231095
o 12227863
o 12225008
o 12224410
o 12223946
o 12223348
o 12222816
o 12222218
o 12218986
o 12215698
o 12215166
o 12214568
o 12214430
o 12211070
o 12210538
o 12209940
o 12208263
o 12206451
o 12205919
o 12205321
o 12202089
o 12199963
o 12197954
o 12197490
o 12196892
o 12195762
o 12193192
o 12191066
o 12189057
o 12188593
o 12187995
o 12186865
o 12184645
o 12182107
o 12181509
o 12181045
o 12180447
o 12179915
o 12179317
o 12176085
o 12173959
o 12171950
o 12171486
o 12170888
o 12169758
o 12166607
o 12164069
o 12163471
o 12163007
o 12162409
o 12161877
o 12161279
o 12158047
o 12154759
o 12154227
o 12153629
o 12153491
o 12150131
o 12149599
o 12149001
o 12147324
o 12145512
o 12144980
o 12144382
o 12141150
o 12139024
o 12137015
o 12136551
o 12135953
o 12134823
o 12132253
o 12130127
o 12128118
o 12127654
o 12127056
o 12125926
o 12122957
o 12120419
o 12119821
o 12119357
o 12118759
o 12118227
o 12117629
o 12114397
o 12111457
o 12110859
o 12110395
o 12109797
o 12109265
o 12108667
o 12106097
o 12103971
o 12101962
o 12101498
o 12100900
o 12099770
o 12096801
o 12094263
o 12093665
o 12093201
o 12092603
o 12092071
o 12091473
o 12088241
o 12084841
o 12084243
o 12083779
o 12083181
o 12082754
o 12082156
o 12079396
o 12078798
o 12078334
o 12077736
o 12076606
o 12073496
o 12072898
o 12072434
o 12071836
o 12071304
o 12070706
o 12067474
o 12061529
o 12060931
o 12059869
o 12058739
o 12055629
o 12055031
o 12054567
o 12053969
o 12053437
o 12052839
o 12049607
o 12046752
o 12046154
o 12045690
o 12045092
o 12044560
o 12043962
o 12040730
o 12038257
o 12037659
o 12037195
o 12036597
o 12036065
o 12035467
o 12032235
o 12030350
o 12028538
o 12025306
o 12021967
o 12021369
o 12020905
o 12020307
o 12019880
o 12019282
o 12016522
o 12015924
o 12015460
o 12014862
o 12013732
o 12010622
o 12010024
o 12009560
o 12008962
o 12008430
o 12007832
o 12004600
o 12001745
o 12001147
o 12000683
o 12000085
o 11999553
o 11998955
o 11995723
o 11995377
o 11994665
o 11991305
o 11991242
o 11988758
o 11987884
o 11985693
o 11983881
o 11983349
o 11982751
o 11979519
o 11977393
o 11975384
o 11974920
o 11974322
o 11973192
o 11973054
o 11969694
o 11969162
o 11968564
o 11965481
o 11964275
o 11963677
o 11960917
o 11960319
o 11959257
o 11958830
o 11958232
o 11955472
o 11954874
o 11954410
o 11953812
o 11952682
o 11949572
o 11948974
o 11948510
o 11947912
o 11947380
o 11946782
o 11943550
o 11940695
o 11940097
o 11939633
o 11939035
o 11938503
o 11937905
o 11934673
o 11931385
o 11930853
o 11930255
o 11927029
o 11924491
o 11923893
o 11923429
o 11922831
o 11922299
o 11921701
o 11918469
o 11916343
o 11914334
o 11913870
o 11913272
o 11912142
o 11912004
o 11908644
o 11908112
o 11907514
o 11905563
o 11903554
o 11903090
o 11902492
o 11901960
o 11901362
o 11898059
o 11897527
o 11896929
o 11894391
o 11893793
o 11893329
o 11892731
o 11892199
o 11891601
o 11888369
o 11886243
o 11884234
o 11883770
o 11883172
o 11882042
o 11880365
o 11878553
o 11878021
o 11877423
o 11874191
o 11872065
o 11870056
o 11869592
o 11868994
o 11867864
o 11865294
o 11863168
o 11861159
o 11860695
o 11860097
o 11858967
o 11855929
o 11854723
o 11854125
o 11851365
o 11850767
o 11849705
o 11848680
o 11844406
o 11843808
o 11842746
o 11841616
o 11838506
o 11837908
o 11837444
o 11836846
o 11836314
o 11835716
o 11832484
o 11829629
o 11829031
o 11828567
o 11827969
o 11827437
o 11826839
o 11823607
o 11820319
o 11819787
o 11819189
o 11819051
o 11815691
o 11815159
o 11814561
o 11812884
o 11811072
o 11810540
o 11809942
o 11806710
o 11804584
o 11802575
o 11802111
o 11801513
o 11800383
o 11797813
o 11795687
o 11793678
o 11793214
o 11792616
o 11791486
o 11788517
o 11785979
o 11785381
o 11784917
o 11784319
o 11783787
o 11783189
o 11779957
o 11777017
o 11776419
o 11775955
o 11775357
o 11774825
o 11774227
o 11771657
o 11769531
o 11767522
o 11767058
o 11766460
o 11765330
o 11762361
o 11759823
o 11759225
o 11758761
o 11758163
o 11757631
o 11757033
o 11753801
o 11753730
o 11753132
o 11750594
o 11749996
o 11749532
o 11748934
o 11748402
o 11747804
o 11744572
o 11742446
o 11740437
o 11739973
o 11739375
o 11738245
o 11735094
o 11732556
o 11731958
o 11731494
o 11730896
o 11730364
o 11729766
o 11726534
o 11723246
o 11722714
o 11722116
o 11721978
o 11718618
o 11718086
o 11717488
o 11715537
o 11713528
o 11713064
o 11712466
o 11711934
o 11711336
o 11708033
o 11707501
o 11706903
o 11704365
o 11703767
o 11703303
o 11702705
o 11702173
o 11701575
o 11698343
o 11696217
o 11694208
o 11693744
o 11693146
o 11692016
o 11690339
o 11688527
o 11687995
o 11687397
o 11684165
o 11682039
o 11680030
o 11679566
o 11678968
o 11677838
o 11675268
o 11673142
o 11671133
o 11670669
o 11670071
o 11668941
o 11665972
o 11663434
o 11662836
o 11662372
o 11661774
o 11661242
o 11660644
o 11657412
o 11654472
o 11653874
o 11653410
o 11652812
o 11652280
o 11651682
o 11649112
o 11646986
o 11644977
o 11644513
o 11643915
o 11642785
o 11639816
o 11637278
o 11636680
o 11636216
o 11635618
o 11635086
o 11634488
o 11631256
o 11629003
o 11627191
o 11623959
o 11620656
o 11620124
o 11619526
o 11616988
o 11616390
o 11615926
o 11615328
o 11614796
o 11614198
o 11610966
o 11608840
o 11606831
o 11606367
o 11605769
o 11604639
o 11602688
o 11600679
o 11600215
o 11599617
o 11599085
o 11598487
o 11595184
o 11594652
o 11594054
o 11591516
o 11590918
o 11590454
o 11589856
o 11589324
o 11588726
o 11585494
o 11583368
o 11581359
o 11580895
o 11580297
o 11579167
o 11577490
o 11575678
o 11575146
o 11574548
o 11571316
o 11569190
o 11567181
o 11566717
o 11566119
o 11564989
o 11562419
o 11560293
o 11558284
o 11557820
o 11557222
o 11556092
o 11553123
o 11550585
o 11549987
o 11549523
o 11548925
o 11548393
o 11547795
o 11544563
o 11543401
o 11542803
o 11540043
o 11539445
o 11538383
o 11537253
o 11534715
o 11534117
o 11533653
o 11533055
o 11532523
o 11531925
o 11528693
o 11525838
o 11525240
o 11524776
o 11524178
o 11523646
o 11523048
o 11519816
o 11516528
o 11515996
o 11515398
o 11515260
o 11511900
o 11511368
o 11510770
o 11508200
o 11506074
o 11504065
o 11503601
o 11503003
o 11501873
o 11498904
o 11496366
o 11495768
o 11495304
o 11494706
o 11494174
o 11493576
o 11490344
o 11489035
o 11487223
o 11483991
o 11480688
o 11480156
o 11479558
o 11477020
o 11476422
o 11475958
o 11475360
o 11474828
o 11474230
o 11470998
o 11468872
o 11466863
o 11466399
o 11465801
o 11464671
o 11462994
o 11461182
o 11460650
o 11460052
o 11456820
o 11454694
o 11452685
o 11452221
o 11451623
o 11450493
o 11447923
o 11445797
o 11443788
o 11443324
o 11442726
o 11441596
o 11438627
o 11436089
o 11435491
o 11435027
o 11434429
o 11433897
o 11433299
o 11430067
o 11427936
o 11426124
o 11422892
o 11419275
o 11416737
o 11416139
o 11415675
o 11415077
o 11414545
o 11413947
o 11410715
o 11407436
o 11404898
o 11404300
o 11403836
o 11403238
o 11402706
o 11402108
o 11398876
o 11396306
o 11394180
o 11392171
o 11391707
o 11391109
o 11389979
o 11387010
o 11384472
o 11383874
o 11383410
o 11382812
o 11382280
o 11381682
o 11378450
o 11375179
o 11372641
o 11372043
o 11371579
o 11370981
o 11370449
o 11369851
o 11366619
o 11363316
o 11362784
o 11362186
o 11359648
o 11359050
o 11358586
o 11357988
o 11357456
o 11356858
o 11353626
o 11351500
o 11349491
o 11349027
o 11348429
o 11347299
o 11345348
o 11343339
o 11342875
o 11342277
o 11341745
o 11341147
o 11337844
o 11337312
o 11336714
o 11334176
o 11333578
o 11333114
o 11332516
o 11331984
o 11331386
o 11328154
o 11326028
o 11324019
o 11323555
o 11322957
o 11321827
o 11320150
o 11318338
o 11317806
o 11317208
o 11313976
o 11311850
o 11309841
o 11309377
o 11308779
o 11307649
o 11305079
o 11302953
o 11300944
o 11300480
o 11299882
o 11298752
o 11295783
o 11293245
o 11292647
o 11292183
o 11291585
o 11291053
o 11290455
o 11287223
o 11284283
o 11283685
o 11283221
o 11282623
o 11282091
o 11281493
o 11278923
o 11276797
o 11274788
o 11274324
o 11273726
o 11272596
o 11269627
o 11267089
o 11266491
o 11266027
o 11265429
o 11264897
o 11264299
o 11261067
o 11259758
o 11257946
o 11254714
o 11251411
o 11250879
o 11250281
o 11247743
o 11247145
o 11246681
o 11246083
o 11245551
o 11244953
o 11241721
o 11239595
o 11237586
o 11237122
o 11236524
o 11235394
o 11233717
o 11231905
o 11231373
o 11230775
o 11227543
o 11225417
o 11223408
o 11222944
o 11222346
o 11221216
o 11218646
o 11216520
o 11214511
o 11214047
o 11213449
o 11212319
o 11209350
o 11206812
o 11206214
o 11205750
o 11205152
o 11204620
o 11204022
o 11200790
o 11197173
o 11194635
o 11194037
o 11193573
o 11192975
o 11192443
o 11191845
o 11188613
o 11186172
o 11185574
o 11185110
o 11184512
o 11183980
o 11183382
o 11180079
o 11179547
o 11178949
o 11176411
o 11175813
o 11175349
o 11174751
o 11174219
o 11173621
o 11170389
o 11168263
o 11166254
o 11165790
o 11165192
o 11164062
o 11161492
o 11159366
o 11157357
o 11156893
o 11156295
o 11155165
o 11152196
o 11149658
o 11149060
o 11148596
o 11147998
o 11147466
o 11146868
o 11143636
o 11140019
o 11137481
o 11136883
o 11136419
o 11135821
o 11135289
o 11134691
o 11131459
o 11128785
o 11127579
o 11126981
o 11124221
o 11123623
o 11122561
o 11122134
o 11121536
o 11118776
o 11118178
o 11117714
o 11117116
o 11115986
o 11112876
o 11112278
o 11111814
o 11111216
o 11110684
o 11110086
o 11106854
o 11103999
o 11103401
o 11102937
o 11102339
o 11101807
o 11101209
o 11097977
o 11094689
o 11094157
o 11093559
o 11093421
o 11090061
o 11089529
o 11088931
o 11087254
o 11085442
o 11084910
o 11084312
o 11081080
o 11078954
o 11076945
o 11076481
o 11075883
o 11074753
o 11072183
o 11070057
o 11068048
o 11067584
o 11066986
o 11065856
o 11062887
o 11060349
o 11059751
o 11059287
o 11058689
o 11058157
o 11057559
o 11054327
o 11053165
o 11052567
o 11049807
o 11049209
o 11048147
o 11047017
o 11044479
o 11043881
o 11043417
o 11042819
o 11042287
o 11041689
o 11038457
o 11035602
o 11035004
o 11034540
o 11033942
o 11033410
o 11032812
o 11029580
o 11026292
o 11025760
o 11025162
o 11025024
o 11021664
o 11021132
o 11020534
o 11017964
o 11015838
o 11013829
o 11013365
o 11012767
o 11011637
o 11008668
o 11006130
o 11005532
o 11005068
o 11004470
o 11003938
o 11003340
o 11000108
o 10998799
o 10996987
o 10993755
o 10990452
o 10989920
o 10989322
o 10986784
o 10986186
o 10985722
o 10985124
o 10984592
o 10983994
o 10980762
o 10978636
o 10976627
o 10976163
o 10975565
o 10974435
o 10972758
o 10970946
o 10970414
o 10969816
o 10966584
o 10964458
o 10962449
o 10961985
o 10961387
o 10960257
o 10957687
o 10955561
o 10953552
o 10953088
o 10952490
o 10951360
o 10948391
o 10945853
o 10945255
o 10944791
o 10944193
o 10943661
o 10943063
o 10939831
o 10936214
o 10933676
o 10933078
o 10932614
o 10932016
o 10931484
o 10930886
o 10927654
o 10925213
o 10924615
o 10924151
o 10923553
o 10923021
o 10922423
o 10919120
o 10918588
o 10917990
o 10915452
o 10914854
o 10914390
o 10913792
o 10913260
o 10912662
o 10909430
o 10907304
o 10905295
o 10904831
o 10904233
o 10903103
o 10900533
o 10898407
o 10896398
o 10895934
o 10895336
o 10894206
o 10891237
o 10888699
o 10888101
o 10887637
o 10887039
o 10886507
o 10885909
o 10882677
o 10879060
o 10876522
o 10875924
o 10875460
o 10874862
o 10874330
o 10873732
o 10870500
o 10867287
o 10864749
o 10864151
o 10863687
o 10863089
o 10862557
o 10861959
o 10858727
o 10856601
o 10854592
o 10854128
o 10853530
o 10852400
o 10849830
o 10847704
o 10845695
o 10845231
o 10844633
o 10843503
o 10840534
o 10837996
o 10837398
o 10836934
o 10836336
o 10835804
o 10835206
o 10831974
o 10828357
o 10825819
o 10825221
o 10824757
o 10824159
o 10823627
o 10823029
o 10819797
o 10818121
o 10816309
o 10815777
o 10815179
o 10811947
o 10808978
o 10806440
o 10805842
o 10805378
o 10804780
o 10804248
o 10803650
o 10800418
o 10796801
o 10794263
o 10793665
o 10793201
o 10792603
o 10792071
o 10791473
o 10788241
o 10785973
o 10784161
o 10780929
o 10779258
o 10776720
o 10776122
o 10775658
o 10775060
o 10774528
o 10773930
o 10770698
o 10768572
o 10766563
o 10766099
o 10765501
o 10764371
o 10761801
o 10759675
o 10757666
o 10757202
o 10756604
o 10755474
o 10751857
o 10749319
o 10748721
o 10748257
o 10747659
o 10747127
o 10746529
o 10743297
o 10741375
o 10738837
o 10738239
o 10737775
o 10737177
o 10736645
o 10736047
o 10732815
o 10730245
o 10728119
o 10726110
o 10725646
o 10725048
o 10723918
o 10720301
o 10717763
o 10717165
o 10716701
o 10716103
o 10715571
o 10714973
o 10711741
o 10708836
o 10707630
o 10707032
o 10704272
o 10703674
o 10702612
o 10701587
o 10697313
o 10696715
o 10695653
o 10694523
o 10691413
o 10690815
o 10690351
o 10689753
o 10689221
o 10688623
o 10685391
o 10682536
o 10681938
o 10681474
o 10680876
o 10680344
o 10679746
o 10676514
o 10673226
o 10672694
o 10672096
o 10671958
o 10668598
o 10668066
o 10667468
o 10665791
o 10663979
o 10663447
o 10662849
o 10659617
o 10657491
o 10655482
o 10655018
o 10654420
o 10653290
o 10650720
o 10648594
o 10646585
o 10646121
o 10645523
o 10644393
o 10641424
o 10638886
o 10638288
o 10637824
o 10637226
o 10636694
o 10636096
o 10632864
o 10631555
o 10629743
o 10626511
o 10623208
o 10622676
o 10622078
o 10619540
o 10618942
o 10618478
o 10617880
o 10617348
o 10616750
o 10613518
o 10611392
o 10609383
o 10608919
o 10608321
o 10607191
o 10605514
o 10603702
o 10603170
o 10602572
o 10599340
o 10597214
o 10595205
o 10594741
o 10594143
o 10593013
o 10590443
o 10588317
o 10586308
o 10585844
o 10585246
o 10584116
o 10581147
o 10578609
o 10578011
o 10577547
o 10576949
o 10576417
o 10575819
o 10572587
o 10568970
o 10566432
o 10565834
o 10565370
o 10564772
o 10564240
o 10563642
o 10560410
o 10557969
o 10557371
o 10556907
o 10556309
o 10555777
o 10555179
o 10551876
o 10551344
o 10550746
o 10548208
o 10547610
o 10547146
o 10546548
o 10546016
o 10545418
o 10542186
o 10540060
o 10538051
o 10537587
o 10536989
o 10535859
o 10533289
o 10531163
o 10529154
o 10528690
o 10528092
o 10526962
o 10523993
o 10521455
o 10520857
o 10520393
o 10519795
o 10519263
o 10518665
o 10515433
o 10511816
o 10509278
o 10508680
o 10508216
o 10507618
o 10507086
o 10506488
o 10503256
o 10500043
o 10497505
o 10496907
o 10496443
o 10495845
o 10495313
o 10494715
o 10491483
o 10489357
o 10487348
o 10486884
o 10486286
o 10485156
o 10482586
o 10480460
o 10478451
o 10477987
o 10477389
o 10476259
o 10473290
o 10470752
o 10470154
o 10469690
o 10469092
o 10468560
o 10467962
o 10464730
o 10461113
o 10458575
o 10457977
o 10457513
o 10456915
o 10456383
o 10455785
o 10452553
o 10450877
o 10449065
o 10448533
o 10447935
o 10444703
o 10441734
o 10439196
o 10438598
o 10438134
o 10437536
o 10437004
o 10436406
o 10433174
o 10429557
o 10427019
o 10426421
o 10425957
o 10425359
o 10424827
o 10424229
o 10420997
o 10418729
o 10416917
o 10413685
o 10412014
o 10409476
o 10408878
o 10408414
o 10407816
o 10407284
o 10406686
o 10403454
o 10401328
o 10399319
o 10398855
o 10398257
o 10397127
o 10394557
o 10392431
o 10390422
o 10389958
o 10389360
o 10388230
o 10384613
o 10382075
o 10381477
o 10381013
o 10380415
o 10379883
o 10379285
o 10376053
o 10374131
o 10371593
o 10370995
o 10370531
o 10369933
o 10369401
o 10368803
o 10365571
o 10363001
o 10360875
o 10358866
o 10358402
o 10357804
o 10356674
o 10353057
o 10350519
o 10349921
o 10349457
o 10348859
o 10348327
o 10347729
o 10344497
o 10343145
o 10341333
o 10338101
o 10334798
o 10334266
o 10333668
o 10331130
o 10330532
o 10330068
o 10329470
o 10328938
o 10328340
o 10325108
o 10322982
o 10320973
o 10320509
o 10319911
o 10318781
o 10317104
o 10315292
o 10314760
o 10314162
o 10310930
o 10308804
o 10306795
o 10306331
o 10305733
o 10304603
o 10302033
o 10299907
o 10297898
o 10297434
o 10296836
o 10295706
o 10292737
o 10290199
o 10289601
o 10289137
o 10288539
o 10288007
o 10287409
o 10284177
o 10280560
o 10278022
o 10277424
o 10276960
o 10276362
o 10275830
o 10275232
o 10272000
o 10270186
o 10268374
o 10265142
o 10263016
o 10261007
o 10260543
o 10259945
o 10258815
o 10256245
o 10254119
o 10252110
o 10251646
o 10251048
o 10249918
o 10246949
o 10244411
o 10243813
o 10243349
o 10242751
o 10242219
o 10241621
o 10238389
o 10234772
o 10232234
o 10231636
o 10231172
o 10230574
o 10230042
o 10229444
o 10226212
o 10224536
o 10222724
o 10222192
o 10221594
o 10218362
o 10215393
o 10212855
o 10212257
o 10211793
o 10211195
o 10210663
o 10210065
o 10206833
o 10203216
o 10200678
o 10200080
o 10199616
o 10199018
o 10198486
o 10197888
o 10194656
o 10192388
o 10190576
o 10187344
o 10185673
o 10183135
o 10182537
o 10182073
o 10181475
o 10180943
o 10180345
o 10177113
o 10174987
o 10172978
o 10172514
o 10171916
o 10170786
o 10168216
o 10166090
o 10164081
o 10163617
o 10163019
o 10161889
o 10158272
o 10155734
o 10155136
o 10154672
o 10154074
o 10153542
o 10152944
o 10149712
o 10147790
o 10145252
o 10144654
o 10144190
o 10143592
o 10143060
o 10142462
o 10139230
o 10136660
o 10134534
o 10132525
o 10132061
o 10131463
o 10130333
o 10126716
o 10124178
o 10123580
o 10123116
o 10122518
o 10121986
o 10121388
o 10118156
o 10114675
o 10112137
o 10111539
o 10111075
o 10110477
o 10109945
o 10109347
o 10106115
o 10103989
o 10101980
o 10101516
o 10100918
o 10099788
o 10097218
o 10095092
o 10093083
o 10092619
o 10092021
o 10090891
o 10087274
o 10084736
o 10084138
o 10083674
o 10083076
o 10082544
o 10081946
o 10078714
o 10076900
o 10075088
o 10071856
o 10069730
o 10067721
o 10067257
o 10066659
o 10065529
o 10062959
o 10060833
o 10058824
o 10058360
o 10057762
o 10056632
o 10053663
o 10051125
o 10050527
o 10050063
o 10049465
o 10048933
o 10048335
o 10045103
o 10041486
o 10038948
o 10038350
o 10037886
o 10037288
o 10036756
o 10036158
o 10032926
o 10031250
o 10029438
o 10028906
o 10028308
o 10025076
o 10022107
o 10019569
o 10018971
o 10018507
o 10017909
o 10017377
o 10016779
o 10013547
o 10009930
o 10007392
o 10006794
o 10006330
o 10005732
o 10005200
o 10004602
o 10001370
o 9999102
o 9997290
o 9994058
o 9992387
o 9989849
o 9989251
o 9988787
o 9988189
o 9987657
o 9987059
o 9983827
o 9981701
o 9979692
o 9979228
o 9978630
o 9977500
o 9974930
o 9972804
o 9970795
o 9970331
o 9969733
o 9968603
o 9964986
o 9962448
o 9961850
o 9961386
o 9960788
o 9960256
o 9959658
o 9956426
o 9954504
o 9951966
o 9951368
o 9950904
o 9950306
o 9949774
o 9949176
o 9945944
o 9943374
o 9941248
o 9939239
o 9938775
o 9938177
o 9937047
o 9933430
o 9930892
o 9930294
o 9929830
o 9929232
o 9928700
o 9928102
o 9924870
o 9922987
o 9921175
o 9920643
o 9920045
o 9916813
o 9914999
o 9913187
o 9909955
o 9907829
o 9905820
o 9905356
o 9904758
o 9903628
o 9901058
o 9898932
o 9896923
o 9896459
o 9895861
o 9894731
o 9891762
o 9889224
o 9888626
o 9888162
o 9887564
o 9887032
o 9886434
o 9883202
o 9879585
o 9877047
o 9876449
o 9875985
o 9875387
o 9874855
o 9874257
o 9871025
o 9869103
o 9866565
o 9865967
o 9865503
o 9864905
o 9864373
o 9863775
o 9860543
o 9857973
o 9855847
o 9853838
o 9853374
o 9852776
o 9851646
o 9848029
o 9845491
o 9844893
o 9844429
o 9843831
o 9843299
o 9842701
o 9839469
o 9837201
o 9835389
o 9832157
o 9830486
o 9827948
o 9827350
o 9826886
o 9826288
o 9825756
o 9825158
o 9821926
o 9819800
o 9817791
o 9817327
o 9816729
o 9815599
o 9813029
o 9810903
o 9808894
o 9808430
o 9807832
o 9806702
o 9803085
o 9800547
o 9799949
o 9799485
o 9798887
o 9798355
o 9797757
o 9794525
o 9792603
o 9790065
o 9789467
o 9789003
o 9788405
o 9787873
o 9787275
o 9784043
o 9781473
o 9779347
o 9777338
o 9776874
o 9776276
o 9775146
o 9771529
o 9768991
o 9768393
o 9767929
o 9767331
o 9766799
o 9766201
o 9762969
o 9760850
o 9759038
o 9755806
o 9752837
o 9750299
o 9749701
o 9749237
o 9748639
o 9748107
o 9747509
o 9744277
o 9741718
o 9741120
o 9740656
o 9740058
o 9739526
o 9738928
o 9735696
o 9733126
o 9731000
o 9728991
o 9728527
o 9727929
o 9726799
o 9724877
o 9722339
o 9721741
o 9721277
o 9720679
o 9720147
o 9719549
o 9716317
o 9713747
o 9711621
o 9709612
o 9709148
o 9708550
o 9707420
o 9703803
o 9701265
o 9700667
o 9700203
o 9699605
o 9699073
o 9698475
o 9695243
o 9692650
o 9692052
o 9691588
o 9690990
o 9690458
o 9689860
o 9689844
o 9687360
o 9686486
o 9683126
o 9682594
o 9681996
o 9680105
o 9678293
o 9675061
o 9672935
o 9670926
o 9670462
o 9669864
o 9668734
o 9666164
o 9664038
o 9662029
o 9661565
o 9660967
o 9659837
o 9656868
o 9654330
o 9653732
o 9653268
o 9652670
o 9652138
o 9651540
o 9648308
o 9644691
o 9642153
o 9641555
o 9641091
o 9640493
o 9639961
o 9639363
o 9636131
o 9635726
o 9635129
o 9632591
o 9631993
o 9631529
o 9630931
o 9630399
o 9629801
o 9626569
o 9624443
o 9622434
o 9621970
o 9621372
o 9620242
o 9617672
o 9615546
o 9613537
o 9613073
o 9612475
o 9611345
o 9607728
o 9605190
o 9604592
o 9604128
o 9603530
o 9602998
o 9602400
o 9599168
o 9596575
o 9595977
o 9595513
o 9594915
o 9594383
o 9593785
o 9593769
o 9591285
o 9590411
o 9587051
o 9586519
o 9585921
o 9584149
o 9582337
o 9581805
o 9581207
o 9577975
o 9575849
o 9573840
o 9573376
o 9572778
o 9571648
o 9569078
o 9566952
o 9564943
o 9564479
o 9563881
o 9562751
o 9560158
o 9559560
o 9559096
o 9558498
o 9557966
o 9557368
o 9557352
o 9554868
o 9553994
o 9550634
o 9550102
o 9549504
o 9545771
o 9543233
o 9542635
o 9542171
o 9541573
o 9541041
o 9540443
o 9537211
o 9534641
o 9532515
o 9530506
o 9530042
o 9529444
o 9528314
o 9528298
o 9525814
o 9524940
o 9521580
o 9521048
o 9520450
o 9518726
o 9516914
o 9516382
o 9515784
o 9512552
o 9510052
o 9509178
o 9505818
o 9505286
o 9504688
o 9504194
o 9501116
o 9500584
o 9499986
o 9496192
o 9495867
o 9491593
o 9490995
o 9489865
o 9487295
o 9486970
o 9483570
o 9482696
o 9482098
o 9480968
o 9476997
o 9476123
o 9473765
o 9472891
o 9470391
o 9469517
o 9465901
o 9465027
o 9463140
o 9463062
o 9462464
o 9459065
o 9458191
o 9457727
o 9457129
o 9453371
o 9452497
o 9450139
o 9449265
o 9447317
o 9445614
o 9445015
o 9441616
o 9440742
o 9440022
o 9439423
o 9436024
o 9435150
o 9434855
o 9434258
o 9433889
o 9431739
o 9431140
o 9427741
o 9426867
o 9426147
o 9425548
o 9422149
o 9421275
o 9420980
o 9420383
o 9420014
o 9415897
o 9415023
o 9412665
o 9411791
o 9407954
o 9407080
o 9404445
o 9403848
o 9399559
o 9396924
o 9396327
o 9391130
o 9390000
o 9387500
o 9386626
o 9383010
o 9382136
o 9380249
o 9379573
o 9376174
o 9375300
o 9374238
o 9371738
o 9370864
o 9367248
o 9366374
o 9363742
o 9359419
o 9358545
o 9357415
o 9354915
o 9354041
o 9350425
o 9349551
o 9348875
o 9345476
o 9344602
o 9343540
o 9341040
o 9340166
o 9336550
o 9335676
o 9333732
o 9332858
o 9330634
o 9328368
o 9326144
s OPTIMUM FOUND
c Optimal Solution = 9326144
v -1 2 -3 4 -5 6 -7 8 9 -10 -11 12 -13 14 -15 16 -17 18 19 -20 -21 22 -23 24 -25 26 27 -28 29 -30 31 -32 -33 -34 -35 -36 -37 -38 -39 40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 60 -61 -62 -63 -64 65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 104 -105 -106 -107 -108 -109 -110 -111 -112 113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 395 -396 -397 -398 -399 -400 401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 491 -492 -493 -494 -495 -496 497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 539 -540 -541 -542 -543 -544 545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 683 -684 -685 -686 -687 -688 -689 -690 -691 692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 828 -829 -830 -831 -832 833 834 835 836 837 838 839 840 841 -842 843 844 845 846 847 848 849 850 851 -852 853 854 855 856 857 858 859 -860 861 -862 863 -864 865 866 867 868 869 870 871 872 -873 -874 -875 -876 -877 -878 -879 -880 881 882 883 884 885 886 887 888 889 890 891 892 -893 -894 -895 -896 897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 913 914 915 916 917 918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 929 930 931 932 933 934 935 936 -937 -938 -939 -940 -941 -942 -943 -944 945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 961 962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 977 978 979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 993 994 995 996 997 998 999 1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 1009 1010 1011 1012 1013 1014 1015 1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 1025 1026 1027 1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 -1052 -1053 -1054 -1055 -1056 1057 1058 1059 1060 1061 1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 1089 1090 1091 1092 1093 1094 1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 1105 1106 1107 1108 1109 1110 1111 1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 1121 1122 1123 1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 1153 1154 1155 1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 1169 1170 1171 1172 1173 1174 1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 1185 1186 1187 1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 1201 1202 1203 1204 1205 1206 1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 -1228 -1229 -1230 -1231 -1232 1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 -1261 -1262 -1263 -1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 -1276 -1277 -1278 -1279 -1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 -1294 -1295 -1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 -1308 -1309 -1310 -1311 -1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 -1324 -1325 -1326 -1327 -1328 1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 -1372 -1373 -1374 -1375 -1376 1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 1393 1394 1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 -1421 -1422 -1423 -1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 -1437 -1438 -1439 -1440 1441 1442 1443 1444 1445 1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 1457 1458 1459 1460 1461 1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 1473 1474 1475 1476 1477 1478 1479 1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 1489 1490 1491 1492 1493 1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 -1516 -1517 -1518 -1519 -1520 1521 1522 1523 1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 1537 1538 1539 1540 1541 1542 1543 1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 1553 1554 1555 1556 1557 1558 1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 -1582 -1583 -1584 1585 1586 1587 1588 1589 1590 1591 1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 1601 1602 1603 1604 1605 1606 1607 1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 1617 1618 1619 1620 1621 1622 1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 1633 1634 1635 1636 1637 1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 -1661 -1662 -1663 -1664
c Program terminated in 4.240 seconds.
4.247u 0.003s 0:04.26 99.5%	0+0k 0+0io 0pf+0w