Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_warehouses_cap62.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap62.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 13141282
o 13141282
c first lower bound: 8807013
o 13140859
o 13140582
o 13139985
o 13139654
o 13139057
o 13138643
o 13138046
o 13137516
o 13136919
o 13136881
o 13136284
o 13136086
o 13135655
o 13135058
o 13133960
o 13133363
o 13133325
o 13132728
o 13131690
o 13130196
o 13129561
o 13128964
o 13127972
o 13127337
o 13126740
o 13126326
o 13125729
o 13125662
o 13125065
o 13124566
o 13124528
o 13123931
o 13122939
o 13122304
o 13121707
o 13121468
o 13121430
o 13120833
o 13120775
o 13120178
o 13119916
o 13119281
o 13118684
o 13118308
o 13118270
o 13117673
o 13115793
o 13114783
o 13114345
o 13113965
o 13111423
o 13110985
o 13109728
o 13109290
o 13109032
o 13108366
o 13105824
o 13105386
o 13102714
o 13100979
o 13100541
o 13100451
o 13097333
o 13096895
o 13095885
o 13095447
o 13095067
o 13094629
o 13092525
o 13092087
o 13090830
o 13090392
o 13089997
o 13087075
o 13086637
o 13085380
o 13084942
o 13083317
o 13082879
o 13082306
o 13081868
o 13080858
o 13080420
o 13080040
o 13077498
o 13077060
o 13075803
o 13075365
o 13074970
o 13071610
o 13070353
o 13069915
o 13069631
o 13068856
o 13066314
o 13064619
o 13064181
o 13063608
o 13062160
o 13061722
o 13060495
o 13060057
o 13058800
o 13058362
o 13057598
o 13057160
o 13055903
o 13055465
o 13054455
o 13054017
o 13052790
o 13052352
o 13051095
o 13050657
o 13050617
o 13050179
o 13048922
o 13048484
o 13048198
o 13046971
o 13046533
o 13045276
o 13044838
o 13043922
o 13043484
o 13043280
o 13042842
o 13041832
o 13041394
o 13040167
o 13039729
o 13038472
o 13038034
o 13037902
o 13037464
o 13036207
o 13035769
o 13035196
o 13034758
o 13033748
o 13033310
o 13032083
o 13031645
o 13029950
o 13029000
o 13027773
o 13027335
o 13026078
o 13025640
o 13025067
o 13024629
o 13023619
o 13023181
o 13021954
o 13021516
o 13020259
o 13019821
o 13019598
o 13017056
o 13016618
o 13015361
o 13014923
o 13012746
o 13012308
o 13011297
o 13010287
o 13009849
o 13009469
o 13006927
o 13006489
o 13005232
o 13004794
o 13004399
o 13004152
o 13003142
o 13002704
o 13001477
o 13001039
o 12999782
o 12999344
o 12999058
o 12997831
o 12997393
o 12996136
o 12995698
o 12992887
o 12992449
o 12991192
o 12990754
o 12990215
o 12989777
o 12988520
o 12988082
o 12987952
o 12986938
o 12984396
o 12983958
o 12982701
o 12982263
o 12980718
o 12979704
o 12977162
o 12976724
o 12975268
o 12974254
o 12971712
o 12971274
o 12969101
o 12966559
o 12966121
o 12963651
o 12961109
o 12960671
o 12960302
o 12955290
o 12954852
o 12953595
o 12953157
o 12952618
o 12952180
o 12951811
o 12946799
o 12946361
o 12945104
o 12944666
o 12944624
o 12941973
o 12941535
o 12938696
o 12936154
o 12935716
o 12934459
o 12934021
o 12930111
o 12927569
o 12927131
o 12924292
o 12921750
o 12921312
o 12917521
o 12914979
o 12914541
o 12913597
o 12911702
o 12909160
o 12908722
o 12906918
o 12904376
o 12903938
o 12898557
o 12898119
o 12896862
o 12896424
o 12893107
o 12892669
o 12891412
o 12890974
o 12889964
o 12889526
o 12889113
o 12886571
o 12886133
o 12884876
o 12884438
o 12883530
o 12883092
o 12881835
o 12881397
o 12878080
o 12877642
o 12876385
o 12875947
o 12874937
o 12874499
o 12873272
o 12872834
o 12871577
o 12871139
o 12870853
o 12869626
o 12869188
o 12867931
o 12867493
o 12867298
o 12866860
o 12865850
o 12865412
o 12864185
o 12863747
o 12862490
o 12862052
o 12861552
o 12861114
o 12859857
o 12859419
o 12859215
o 12858777
o 12857767
o 12857329
o 12856102
o 12855664
o 12854407
o 12853969
o 12853422
o 12852984
o 12852615
o 12852411
o 12851973
o 12850963
o 12850525
o 12849298
o 12847603
o 12847165
o 12846119
o 12844424
o 12841712
o 12838066
o 12837628
o 12836371
o 12835933
o 12833258
o 12832820
o 12831563
o 12831125
o 12831092
o 12829835
o 12829397
o 12826685
o 12826247
o 12826157
o 12822601
o 12820906
o 12819896
o 12819458
o 12818231
o 12817793
o 12816536
o 12816098
o 12815525
o 12815087
o 12814077
o 12813639
o 12812412
o 12811974
o 12810717
o 12810279
o 12810170
o 12808913
o 12808475
o 12808189
o 12806524
o 12805267
o 12804829
o 12804701
o 12804263
o 12803990
o 12803552
o 12802295
o 12801857
o 12800603
o 12800165
o 12798908
o 12798470
o 12798430
o 12797992
o 12796735
o 12796297
o 12794784
o 12794346
o 12793089
o 12792651
o 12792112
o 12791674
o 12789939
o 12789849
o 12788835
o 12786293
o 12785855
o 12784845
o 12784407
o 12784027
o 12781485
o 12781047
o 12779790
o 12779352
o 12778957
o 12778577
o 12776035
o 12775597
o 12774340
o 12773902
o 12773236
o 12772798
o 12771541
o 12771103
o 12770994
o 12770708
o 12770328
o 12767786
o 12767348
o 12766091
o 12765653
o 12765284
o 12765080
o 12764642
o 12764509
o 12761967
o 12761529
o 12760272
o 12759834
o 12759421
o 12758983
o 12758614
o 12758410
o 12757972
o 12756962
o 12756524
o 12755297
o 12754859
o 12753602
o 12753164
o 12751613
o 12750356
o 12749918
o 12749592
o 12749154
o 12748774
o 12746232
o 12745794
o 12744537
o 12744099
o 12744093
o 12743655
o 12742645
o 12742207
o 12740447
o 12740009
o 12738999
o 12738561
o 12735639
o 12735201
o 12733506
o 12733180
o 12732742
o 12732362
o 12729820
o 12729382
o 12728125
o 12727687
o 12727292
o 12726474
o 12723932
o 12722237
o 12718786
o 12716244
o 12714987
o 12714549
o 12713387
o 12713101
o 12711874
o 12710179
o 12709741
o 12709701
o 12709415
o 12708597
o 12706055
o 12705617
o 12703922
o 12703527
o 12703147
o 12700605
o 12700167
o 12698910
o 12698472
o 12698305
o 12697295
o 12696857
o 12696477
o 12693935
o 12693497
o 12692240
o 12691802
o 12691476
o 12691038
o 12690220
o 12687678
o 12686421
o 12685983
o 12685588
o 12682666
o 12682228
o 12680971
o 12680533
o 12680402
o 12679964
o 12678707
o 12678269
o 12677943
o 12677505
o 12674583
o 12674145
o 12672888
o 12672450
o 12672194
o 12669272
o 12668834
o 12667544
o 12667106
o 12664065
o 12662171
o 12658615
o 12657605
o 12657167
o 12654245
o 12653807
o 12652550
o 12652112
o 12650599
o 12650161
o 12648904
o 12648466
o 12648426
o 12647988
o 12646731
o 12646293
o 12646007
o 12644780
o 12643085
o 12642647
o 12642641
o 12641628
o 12640747
o 12637191
o 12635496
o 12635058
o 12634048
o 12633610
o 12632383
o 12630688
o 12630250
o 12629964
o 12628737
o 12627042
o 12626604
o 12626235
o 12626031
o 12625593
o 12624583
o 12624145
o 12622918
o 12621223
o 12620785
o 12620668
o 12618818
o 12617308
o 12616434
o 12615613
o 12615177
o 12614739
o 12612833
o 12612395
o 12612109
o 12611729
o 12609187
o 12608749
o 12608313
o 12607875
o 12607492
o 12607054
o 12606618
o 12606180
o 12605829
o 12605391
o 12604134
o 12603696
o 12603260
o 12602822
o 12602769
o 12602331
o 12601895
o 12601457
o 12600668
o 12598973
o 12598099
o 12597802
o 12597419
o 12596981
o 12596545
o 12596107
o 12595533
o 12595097
o 12594659
o 12594306
o 12593868
o 12593432
o 12592994
o 12592173
o 12591299
o 12591190
o 12590807
o 12590369
o 12589933
o 12589495
o 12588856
o 12588418
o 12587982
o 12587544
o 12587161
o 12586723
o 12585849
o 12585480
o 12583037
o 12582599
o 12582163
o 12581725
o 12581342
o 12580904
o 12580468
o 12580030
o 12579954
o 12579518
o 12579080
o 12578711
o 12577716
o 12577278
o 12576842
o 12576404
o 12576268
o 12575830
o 12575394
o 12574956
o 12574709
o 12574573
o 12574135
o 12573699
o 12573261
o 12572908
o 12572470
o 12571596
o 12571213
o 12570775
o 12570339
o 12569901
o 12569157
o 12568719
o 12567462
o 12567024
o 12566588
o 12566150
o 12565576
o 12565140
o 12564702
o 12564164
o 12563726
o 12562654
o 12562216
o 12561780
o 12561342
o 12560991
o 12559296
o 12558858
o 12558422
o 12557984
o 12557933
o 12557495
o 12556268
o 12555830
o 12554573
o 12554135
o 12553699
o 12553261
o 12552604
o 12552166
o 12550909
o 12550471
o 12550035
o 12549597
o 12549246
o 12548808
o 12547113
o 12546677
o 12546239
o 12544949
o 12544041
o 12543603
o 12542346
o 12541908
o 12541799
o 12540695
o 12538153
o 12536896
o 12536458
o 12535010
o 12533345
o 12532088
o 12531650
o 12531077
o 12530639
o 12529629
o 12529191
o 12527964
o 12527526
o 12526269
o 12525831
o 12525580
o 12525142
o 12524759
o 12524321
o 12523447
o 12521497
o 12521059
o 12519802
o 12519364
o 12519247
o 12519000
o 12517990
o 12517552
o 12516325
o 12515887
o 12514630
o 12514192
o 12513756
o 12513318
o 12512938
o 12512500
o 12511243
o 12510805
o 12509431
o 12507766
o 12506071
o 12505633
o 12505197
o 12504759
o 12504223
o 12502713
o 12502275
o 12501839
o 12501401
o 12500183
o 12498488
o 12497263
o 12496825
o 12495568
o 12495130
o 12495011
o 12494633
o 12492091
o 12491653
o 12491217
o 12490779
o 12490396
o 12489958
o 12489522
o 12489084
o 12487148
o 12486710
o 12485453
o 12485015
o 12484896
o 12484518
o 12481976
o 12481538
o 12480281
o 12479843
o 12479407
o 12478969
o 12478736
o 12478298
o 12477071
o 12476633
o 12475376
o 12474938
o 12474502
o 12474064
o 12473713
o 12473275
o 12472018
o 12471580
o 12471144
o 12470706
o 12470480
o 12470042
o 12469691
o 12469253
o 12467996
o 12467558
o 12467122
o 12466684
o 12466143
o 12465269
o 12463806
o 12462871
o 12460329
o 12458634
o 12457186
o 12455521
o 12453826
o 12452952
o 12452163
o 12450468
o 12449594
o 12448768
o 12447073
o 12445563
o 12444689
o 12443900
o 12442205
o 12441331
o 12440955
o 12440667
o 12439878
o 12439004
o 12438183
o 12437309
o 12436058
o 12435184
o 12434808
o 12434255
o 12434008
o 12432560
o 12432498
o 12431050
o 12429622
o 12429246
o 12428805
o 12428743
o 12427295
o 12427048
o 12425600
o 12424953
o 12423803
o 12422986
o 12422924
o 12421914
o 12421476
o 12421291
o 12421229
o 12420219
o 12419781
o 12419628
o 12419381
o 12417933
o 12417871
o 12416423
o 12415549
o 12414758
o 12413063
o 12412189
o 12411643
o 12410769
o 12410215
o 12409341
o 12407888
o 12407014
o 12406193
o 12405319
o 12404132
o 12402437
o 12401563
o 12400345
o 12400192
o 12398497
o 12396987
o 12396113
o 12395641
o 12395456
o 12393946
o 12393072
o 12391701
o 12390191
o 12390006
o 12388496
o 12387622
o 12387048
o 12386174
o 12385497
o 12384923
o 12384049
o 12383258
o 12383073
o 12381563
o 12380689
o 12379186
o 12377676
o 12376802
o 12376364
o 12375791
o 12375179
o 12373516
o 12371821
o 12370475
o 12368780
o 12367352
o 12366688
o 12365025
o 12363330
o 12361882
o 12360217
o 12358522
o 12355876
o 12354181
o 12352733
o 12351068
o 12349373
o 12347863
o 12346989
o 12345738
o 12344864
o 12344582
o 12343708
o 12342879
o 12340754
o 12339059
o 12338154
o 12336459
o 12336029
o 12334334
o 12332671
o 12330976
o 12329466
o 12328592
o 12328515
o 12327282
o 12326852
o 12325157
o 12323647
o 12322773
o 12321750
o 12321320
o 12319625
o 12318751
o 12318710
o 12317836
o 12316862
o 12315352
o 12314478
o 12313518
o 12312644
o 12311886
o 12311522
o 12310074
o 12308839
o 12306714
o 12305840
o 12305397
o 12304523
o 12304154
o 12303512
o 12302938
o 12302064
o 12301703
o 12299578
o 12298704
o 12298449
o 12298088
o 12295963
o 12295089
o 12293936
o 12292488
o 12291253
o 12289128
o 12287400
o 12286853
o 12284728
o 12283280
o 12282045
o 12279920
o 12279273
o 12278909
o 12277461
o 12276226
o 12274101
o 12273227
o 12270776
o 12268651
o 12267777
o 12266503
o 12264378
o 12263504
o 12263145
o 12262530
o 12261020
o 12260146
o 12259225
o 12258351
o 12258048
o 12257174
o 12256923
o 12255285
o 12253775
o 12252901
o 12252542
o 12250417
o 12249543
o 12248146
o 12247272
o 12246298
o 12244788
o 12243914
o 12243888
o 12242653
o 12242038
o 12240528
o 12239866
o 12238631
o 12236506
o 12234358
o 12232233
o 12231846
o 12230336
o 12228211
o 12227428
o 12224886
o 12224271
o 12222761
o 12222392
o 12222114
o 12221812
o 12220577
o 12218452
o 12216942
o 12215094
o 12213584
o 12213184
o 12212007
o 12211756
o 12211380
o 12211094
o 12209859
o 12207734
o 12206501
o 12204376
o 12204040
o 12201915
o 12200682
o 12198557
o 12197683
o 12196855
o 12195981
o 12195234
o 12193109
o 12192196
o 12190961
o 12188836
o 12188502
o 12187684
o 12185142
o 12183017
o 12180856
o 12178731
o 12176583
o 12174458
o 12173225
o 12171100
o 12169286
o 12168053
o 12167438
o 12165928
o 12165054
o 12164160
o 12162035
o 12159887
o 12157762
o 12156888
o 12156698
o 12156696
o 12155463
o 12153338
o 12152464
o 12151553
o 12150654
o 12150016
o 12148506
o 12147891
o 12146381
o 12145507
o 12144860
o 12142735
o 12141861
o 12141040
o 12140166
o 12139037
o 12138163
o 12137804
o 12135679
o 12134805
o 12134126
o 12133252
o 12130801
o 12128676
o 12127802
o 12127763
o 12126889
o 12126528
o 12124403
o 12123529
o 12122242
o 12121368
o 12119479
o 12117969
o 12117095
o 12115844
o 12114970
o 12114611
o 12113737
o 12112486
o 12111612
o 12110791
o 12109917
o 12108604
o 12106909
o 12106035
o 12105400
o 12104886
o 12103191
o 12101528
o 12099833
o 12098323
o 12097449
o 12096739
o 12096691
o 12093045
o 12090920
o 12089225
o 12088248
o 12088200
o 12086075
o 12084554
o 12082429
o 12080734
o 12079286
o 12077621
o 12075926
o 12074263
o 12072568
o 12072449
o 12070754
o 12069091
o 12067396
o 12066522
o 12066031
o 12065157
o 12064368
o 12063494
o 12062673
o 12061799
o 12061275
o 12060486
o 12058791
o 12057917
o 12057282
o 12057152
o 12056517
o 12055027
o 12054392
o 12054153
o 12053518
o 12052803
o 12051929
o 12051294
o 12050627
o 12049392
o 12048962
o 12048777
o 12047267
o 12045507
o 12043997
o 12043812
o 12042302
o 12041942
o 12040247
o 12039778
o 12038178
o 12038083
o 12036483
o 12035363
o 12035012
o 12033502
o 12031807
o 12031248
o 12029738
o 12029553
o 12028043
o 12026907
o 12025212
o 12024036
o 12022526
o 12020831
o 12020154
o 12018644
o 12016949
o 12016691
o 12014622
o 12012927
o 12012825
o 12012730
o 12011130
o 12010872
o 12010754
o 12010403
o 12008803
o 12008708
o 12007108
o 12006678
o 12004983
o 12003578
o 12001251
o 12001066
o 11999556
o 11998733
o 11998006
o 11997916
o 11996406
o 11996221
o 11994711
o 11992760
o 11991065
o 11990635
o 11990450
o 11988940
o 11988462
o 11988451
o 11986326
o 11984816
o 11984631
o 11983121
o 11982404
o 11981379
o 11979254
o 11977559
o 11975608
o 11973913
o 11973514
o 11971914
o 11971729
o 11970219
o 11969789
o 11968094
o 11967816
o 11966464
o 11964339
o 11962644
o 11962612
o 11961012
o 11959317
o 11958670
o 11957380
o 11957144
o 11957133
o 11955623
o 11955193
o 11953498
o 11953158
o 11951466
o 11951281
o 11949771
o 11947772
o 11945647
o 11943952
o 11942975
o 11942790
o 11941280
o 11940791
o 11939281
o 11937156
o 11935461
o 11933696
o 11933578
o 11933042
o 11931442
o 11929932
o 11928237
o 11925910
o 11924215
o 11923785
o 11922090
o 11921441
o 11919316
o 11917621
o 11917419
o 11915294
o 11913599
o 11912171
o 11911969
o 11911784
o 11910274
o 11909844
o 11908149
o 11907363
o 11907161
o 11905466
o 11905036
o 11903341
o 11902938
o 11901428
o 11899733
o 11899551
o 11898041
o 11896346
o 11896244
o 11896059
o 11894549
o 11894347
o 11892222
o 11890527
o 11889980
o 11889550
o 11887855
o 11885856
o 11885671
o 11884161
o 11883731
o 11882036
o 11880588
o 11880523
o 11878923
o 11877228
o 11876315
o 11876250
o 11874650
o 11874465
o 11872955
o 11872425
o 11870977
o 11870822
o 11869312
o 11869127
o 11867617
o 11866431
o 11864801
o 11864706
o 11863106
o 11862676
o 11860981
o 11860605
o 11859084
o 11858654
o 11856959
o 11856506
o 11854811
o 11854381
o 11852686
o 11851334
o 11850719
o 11849209
o 11849024
o 11847514
o 11846066
o 11845911
o 11844401
o 11842706
o 11842160
o 11840650
o 11838955
o 11837967
o 11835842
o 11834147
o 11832484
o 11830789
o 11829939
o 11828704
o 11828274
o 11828089
o 11826579
o 11826565
o 11826135
o 11824440
o 11822992
o 11821757
o 11821327
o 11819632
o 11818111
o 11817681
o 11817586
o 11815986
o 11815938
o 11815652
o 11815497
o 11813802
o 11812292
o 11811862
o 11810167
o 11810137
o 11808537
o 11807922
o 11806412
o 11804717
o 11804478
o 11803660
o 11801118
o 11798993
o 11798957
o 11797447
o 11796820
o 11795299
o 11794684
o 11793174
o 11792896
o 11791997
o 11791359
o 11789849
o 11789234
o 11787724
o 11786029
o 11785876
o 11784181
o 11782671
o 11781187
o 11780010
o 11779557
o 11777432
o 11775737
o 11773237
o 11771112
o 11769417
o 11767418
o 11765293
o 11763598
o 11763145
o 11761450
o 11761020
o 11760925
o 11759325
o 11758148
o 11757695
o 11756000
o 11755570
o 11753875
o 11752445
o 11752413
o 11752033
o 11749491
o 11747796
o 11745845
o 11744150
o 11743488
o 11741823
o 11740128
o 11739698
o 11738003
o 11737392
o 11737090
o 11735425
o 11733730
o 11733534
o 11731869
o 11730174
o 11728535
o 11728105
o 11726410
o 11726301
o 11724606
o 11723085
o 11722655
o 11720960
o 11720591
o 11719163
o 11718961
o 11717266
o 11716836
o 11715141
o 11713329
o 11711634
o 11711455
o 11710778
o 11709330
o 11708881
o 11707433
o 11706756
o 11705308
o 11705235
o 11703787
o 11703110
o 11701662
o 11701415
o 11699967
o 11698732
o 11698302
o 11696607
o 11695965
o 11694517
o 11694452
o 11692852
o 11691157
o 11690788
o 11690146
o 11688698
o 11687033
o 11686938
o 11685338
o 11685156
o 11683461
o 11682799
o 11682734
o 11681134
o 11681039
o 11679439
o 11677918
o 11677488
o 11675793
o 11674980
o 11673285
o 11672855
o 11671160
o 11670958
o 11668833
o 11667138
o 11665171
o 11663476
o 11661966
o 11661929
o 11661282
o 11659930
o 11657805
o 11656110
o 11655657
o 11655132
o 11653532
o 11653437
o 11651837
o 11651186
o 11650756
o 11649061
o 11648608
o 11646913
o 11646483
o 11644788
o 11643278
o 11641615
o 11639920
o 11638165
o 11636470
o 11636017
o 11633892
o 11632197
o 11632051
o 11631765
o 11630530
o 11628405
o 11626710
o 11626260
o 11625807
o 11623682
o 11621987
o 11621925
o 11619800
o 11618105
o 11617636
o 11616036
o 11615941
o 11614341
o 11612933
o 11612464
o 11610864
o 11610769
o 11609169
o 11607907
o 11607477
o 11605782
o 11604883
o 11604430
o 11602735
o 11602305
o 11600610
o 11598947
o 11598762
o 11597252
o 11596075
o 11595622
o 11593497
o 11591802
o 11591545
o 11589882
o 11588187
o 11587010
o 11586501
o 11586383
o 11584432
o 11582737
o 11582000
o 11580337
o 11578642
o 11577465
o 11577012
o 11576827
o 11575317
o 11574887
o 11573192
o 11572293
o 11570598
o 11570203
o 11570201
o 11568968
o 11566843
o 11565148
o 11564695
o 11564080
o 11562570
o 11562385
o 11560875
o 11560001
o 11558927
o 11557232
o 11556835
o 11556740
o 11555140
o 11553907
o 11553477
o 11551782
o 11550272
o 11549398
o 11548048
o 11547174
o 11546539
o 11545807
o 11544933
o 11544574
o 11543700
o 11542449
o 11541575
o 11540105
o 11539231
o 11537980
o 11537106
o 11535653
o 11533958
o 11533084
o 11532510
o 11531636
o 11531275
o 11530401
o 11529150
o 11528276
o 11527641
o 11527523
o 11526888
o 11526649
o 11526014
o 11525626
o 11524991
o 11524752
o 11524117
o 11523501
o 11522866
o 11522627
o 11521992
o 11521452
o 11521213
o 11520578
o 11520392
o 11519518
o 11518883
o 11518729
o 11517855
o 11517220
o 11517034
o 11516160
o 11515525
o 11515404
o 11514530
o 11513895
o 11513279
o 11512644
o 11512405
o 11511770
o 11511584
o 11510949
o 11510710
o 11510075
o 11509515
o 11508641
o 11508006
o 11507820
o 11507185
o 11506946
o 11506311
o 11505596
o 11504722
o 11504087
o 11503616
o 11502126
o 11501491
o 11501240
o 11499978
o 11499343
o 11497853
o 11497218
o 11496158
o 11495523
o 11494944
o 11494309
o 11493682
o 11492366
o 11491731
o 11490671
o 11490036
o 11489772
o 11489137
o 11488886
o 11488684
o 11487194
o 11486559
o 11485499
o 11484864
o 11484625
o 11483990
o 11483631
o 11483201
o 11482141
o 11481506
o 11481267
o 11480632
o 11480226
o 11479867
o 11479628
o 11478993
o 11478563
o 11478377
o 11477742
o 11477503
o 11476868
o 11476769
o 11476339
o 11476153
o 11475518
o 11475279
o 11474644
o 11474456
o 11474217
o 11473582
o 11473152
o 11472966
o 11472331
o 11472092
o 11471457
o 11471418
o 11471179
o 11470544
o 11470388
o 11469753
o 11469514
o 11468879
o 11468693
o 11468058
o 11467819
o 11467184
o 11466601
o 11465966
o 11465727
o 11465092
o 11464938
o 11463243
o 11462608
o 11462369
o 11461734
o 11461328
o 11461174
o 11460684
o 11459479
o 11458844
o 11458605
o 11457970
o 11457255
o 11456381
o 11455746
o 11455213
o 11454339
o 11454077
o 11453548
o 11451853
o 11450979
o 11449728
o 11448854
o 11448554
o 11448025
o 11447204
o 11446330
o 11445966
o 11445124
o 11442900
o 11441390
o 11440516
o 11439695
o 11438821
o 11438247
o 11437373
o 11436582
o 11435708
o 11434887
o 11434013
o 11433753
o 11432879
o 11432350
o 11431529
o 11430655
o 11430225
o 11429404
o 11428530
o 11428524
o 11427650
o 11427609
o 11426735
o 11426475
o 11425601
o 11425072
o 11424251
o 11423377
o 11423150
o 11422276
o 11421747
o 11420926
o 11420052
o 11419622
o 11418801
o 11417927
o 11417403
o 11417044
o 11416170
o 11415740
o 11414919
o 11414045
o 11413410
o 11413234
o 11412445
o 11411571
o 11410750
o 11409876
o 11409212
o 11408423
o 11407549
o 11406728
o 11405854
o 11405197
o 11404323
o 11403502
o 11402628
o 11401278
o 11400404
o 11398779
o 11397905
o 11396555
o 11395681
o 11395393
o 11395133
o 11394259
o 11392909
o 11392035
o 11391605
o 11390784
o 11389910
o 11389848
o 11389027
o 11388153
o 11387723
o 11386902
o 11386028
o 11385393
o 11384419
o 11383545
o 11382724
o 11381850
o 11381215
o 11380617
o 11379982
o 11379366
o 11378492
o 11377857
o 11377400
o 11376526
o 11375891
o 11375602
o 11374728
o 11374093
o 11373994
o 11373378
o 11372743
o 11372504
o 11371869
o 11371382
o 11371023
o 11370149
o 11368898
o 11368024
o 11367947
o 11366685
o 11365175
o 11364301
o 11363871
o 11363050
o 11362176
o 11361817
o 11361387
o 11359692
o 11358818
o 11358379
o 11356254
o 11355380
o 11354559
o 11353685
o 11352896
o 11352022
o 11351201
o 11350327
o 11349751
o 11348877
o 11348088
o 11346393
o 11345519
o 11344754
o 11343880
o 11343450
o 11342629
o 11341755
o 11341656
o 11341226
o 11340405
o 11339531
o 11338977
o 11338547
o 11338300
o 11337726
o 11336852
o 11336753
o 11336323
o 11336076
o 11335502
o 11334628
o 11333964
o 11333605
o 11332731
o 11332301
o 11331480
o 11330606
o 11330344
o 11329470
o 11328941
o 11328120
o 11327246
o 11326724
o 11325933
o 11325059
o 11324238
o 11323364
o 11322729
o 11322622
o 11321987
o 11321833
o 11321198
o 11320959
o 11320324
o 11320138
o 11319503
o 11319264
o 11318629
o 11318248
o 11318062
o 11317427
o 11317188
o 11316553
o 11316177
o 11315542
o 11315369
o 11315266
o 11313677
o 11313042
o 11311982
o 11311347
o 11311108
o 11310473
o 11310097
o 11309462
o 11309348
o 11309226
o 11308702
o 11307913
o 11307039
o 11306218
o 11305344
o 11304709
o 11304429
o 11303608
o 11302734
o 11302672
o 11301421
o 11300547
o 11299726
o 11298852
o 11298217
o 11297811
o 11297657
o 11297472
o 11297167
o 11295962
o 11295327
o 11295088
o 11294453
o 11294117
o 11293987
o 11293352
o 11293113
o 11292478
o 11292048
o 11291862
o 11291227
o 11290988
o 11290353
o 11290254
o 11289638
o 11289003
o 11288764
o 11288129
o 11287753
o 11287118
o 11286246
o 11285611
o 11284551
o 11283916
o 11283802
o 11283510
o 11283396
o 11282912
o 11282798
o 11282482
o 11282368
o 11282281
o 11280787
o 11280673
o 11280152
o 11280038
o 11278563
o 11278449
o 11277928
o 11277814
o 11277595
o 11276960
o 11276861
o 11276812
o 11275371
o 11274736
o 11274520
o 11273885
o 11273488
o 11272890
o 11270765
o 11270130
o 11269070
o 11268435
o 11267620
o 11266985
o 11265957
o 11265322
o 11264262
o 11263627
o 11263251
o 11262616
o 11261803
o 11261168
o 11261166
o 11260138
o 11259503
o 11258443
o 11257808
o 11257279
o 11256219
o 11255584
o 11255069
o 11254407
o 11254236
o 11252742
o 11251047
o 11250412
o 11250173
o 11249538
o 11249401
o 11249162
o 11248527
o 11248093
o 11246915
o 11246280
o 11245405
o 11244770
o 11244531
o 11243896
o 11243151
o 11242516
o 11241641
o 11241006
o 11240767
o 11240132
o 11240037
o 11239402
o 11238782
o 11238543
o 11237908
o 11237771
o 11237532
o 11236897
o 11236846
o 11236211
o 11235972
o 11235337
o 11234592
o 11233957
o 11233082
o 11232447
o 11232208
o 11231573
o 11230858
o 11230223
o 11229984
o 11229349
o 11229212
o 11228973
o 11228338
o 11227500
o 11226865
o 11226489
o 11225854
o 11225615
o 11224980
o 11224960
o 11224340
o 11223466
o 11223329
o 11222455
o 11221820
o 11221323
o 11220688
o 11220449
o 11219814
o 11219684
o 11219049
o 11218619
o 11217559
o 11216924
o 11216685
o 11216050
o 11215335
o 11214700
o 11214461
o 11213826
o 11213689
o 11213450
o 11212815
o 11212192
o 11211260
o 11210249
o 11209614
o 11209565
o 11208930
o 11208554
o 11207919
o 11207321
o 11206686
o 11206207
o 11205196
o 11204561
o 11204322
o 11203687
o 11203503
o 11203127
o 11202492
o 11202443
o 11201808
o 11201432
o 11200797
o 11200558
o 11199923
o 11199394
o 11199345
o 11198710
o 11198334
o 11197699
o 11197684
o 11197308
o 11196673
o 11196624
o 11195989
o 11195613
o 11194978
o 11194739
o 11194104
o 11193526
o 11193389
o 11192515
o 11191880
o 11191807
o 11191240
o 11190366
o 11189731
o 11189594
o 11189355
o 11188720
o 11188493
o 11187858
o 11187785
o 11187218
o 11186583
o 11186344
o 11185709
o 11185572
o 11185333
o 11184698
o 11184132
o 11184033
o 11183554
o 11182919
o 11182543
o 11181908
o 11181422
o 11181121
o 11180486
o 11179908
o 11179273
o 11178897
o 11178262
o 11177810
o 11176750
o 11176115
o 11175739
o 11175104
o 11174618
o 11174317
o 11173682
o 11173104
o 11172469
o 11172093
o 11171458
o 11169971
o 11168549
o 11168450
o 11168401
o 11166325
o 11165698
o 11164276
o 11164177
o 11163546
o 11162052
o 11160357
o 11159346
o 11158727
o 11157716
o 11156602
o 11155591
o 11154907
o 11153896
o 11152960
o 11152861
o 11152431
o 11151747
o 11150736
o 11150163
o 11149479
o 11148468
o 11147354
o 11146343
o 11145923
o 11145493
o 11143798
o 11142787
o 11142083
o 11141072
o 11140034
o 11139023
o 11138988
o 11137810
o 11136799
o 11135863
o 11135764
o 11134650
o 11133639
o 11132992
o 11131981
o 11131882
o 11130768
o 11129757
o 11129122
o 11128611
o 11128082
o 11126387
o 11124729
o 11124200
o 11122505
o 11121870
o 11121494
o 11120859
o 11120588
o 11120207
o 11119147
o 11118512
o 11118136
o 11117501
o 11116902
o 11116267
o 11116002
o 11115367
o 11115268
o 11114838
o 11113778
o 11113143
o 11112284
o 11111649
o 11111273
o 11110638
o 11110515
o 11110139
o 11109504
o 11108926
o 11107915
o 11107280
o 11106826
o 11105648
o 11105013
o 11103632
o 11101937
o 11101507
o 11099812
o 11099177
o 11097813
o 11096118
o 11095483
o 11095053
o 11093993
o 11093358
o 11092958
o 11092323
o 11090833
o 11090198
o 11089589
o 11089475
o 11089189
o 11088554
o 11087064
o 11086429
o 11086315
o 11086297
o 11085768
o 11084708
o 11084073
o 11083643
o 11082583
o 11081948
o 11081767
o 11081668
o 11080178
o 11079543
o 11078483
o 11077848
o 11077249
o 11076614
o 11076515
o 11075025
o 11074390
o 11073330
o 11072695
o 11071799
o 11071164
o 11071065
o 11070780
o 11070753
o 11069575
o 11068940
o 11067880
o 11067245
o 11066415
o 11065780
o 11064720
o 11064085
o 11063607
o 11062972
o 11062142
o 11061507
o 11060447
o 11059812
o 11059389
o 11058754
o 11057924
o 11057289
o 11056229
o 11055594
o 11055116
o 11054481
o 11053651
o 11053016
o 11051956
o 11051321
o 11051215
o 11050580
o 11049520
o 11048885
o 11048175
o 11046997
o 11046362
o 11045884
o 11045249
o 11044849
o 11043929
o 11043902
o 11042724
o 11042089
o 11041029
o 11040394
o 11040089
o 11039454
o 11039153
o 11038518
o 11037989
o 11036929
o 11036294
o 11035435
o 11034800
o 11034424
o 11033789
o 11033591
o 11033567
o 11033191
o 11032556
o 11032077
o 11031066
o 11030431
o 11030344
o 11029968
o 11029333
o 11028903
o 11028854
o 11028219
o 11027843
o 11027208
o 11026944
o 11026309
o 11026260
o 11025625
o 11025249
o 11024614
o 11024019
o 11023999
o 11023364
o 11022505
o 11021870
o 11021494
o 11020859
o 11020810
o 11020175
o 11019799
o 11019164
o 11018662
o 11018027
o 11017597
o 11016537
o 11015902
o 11015526
o 11014891
o 11014673
o 11014038
o 11013179
o 11012544
o 11012168
o 11011533
o 11010953
o 11010904
o 11010269
o 11009893
o 11009258