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_cap92.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap92.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 12972023
o 12972023
c first lower bound: 6766973
o 12971217
o 12970652
o 12969699
o 12967155
o 12965654
o 12962775
o 12961063
o 12960231
o 12959666
o 12958901
o 12956357
o 12954588
o 12952044
o 12951977
o 12951432
o 12949433
o 12948868
o 12948519
o 12947974
o 12945975
o 12945410
o 12944649
o 12943655
o 12941322
o 12936731
o 12935817
o 12933273
o 12932708
o 12931088
o 12930787
o 12929955
o 12929108
o 12929041
o 12926497
o 12925932
o 12925918
o 12925086
o 12924521
o 12924474
o 12923307
o 12922475
o 12921910
o 12920947
o 12919883
o 12919318
o 12919027
o 12918114
o 12915570
o 12915005
o 12913791
o 12912959
o 12912394
o 12910392
o 12909827
o 12909051
o 12908486
o 12908277
o 12905733
o 12903107
o 12902275
o 12901710
o 12899085
o 12898253
o 12897688
o 12896183
o 12895351
o 12894786
o 12893873
o 12891329
o 12890764
o 12888762
o 12888197
o 12887383
o 12886250
o 12882792
o 12880248
o 12879683
o 12878895
o 12878063
o 12876016
o 12873472
o 12872907
o 12870282
o 12869450
o 12868885
o 12867380
o 12866548
o 12865983
o 12865070
o 12862526
o 12861961
o 12861751
o 12859125
o 12858293
o 12857728
o 12856514
o 12855682
o 12855117
o 12855113
o 12853702
o 12853635
o 12853090
o 12851091
o 12850526
o 12848534
o 12848467
o 12845923
o 12845682
o 12844112
o 12843198
o 12840654
o 12837321
o 12836489
o 12836422
o 12835877
o 12833878
o 12833314
o 12832400
o 12829856
o 12829291
o 12828888
o 12827974
o 12825430
o 12824865
o 12824356
o 12822577
o 12821745
o 12821444
o 12820612
o 12820597
o 12819765
o 12817986
o 12817154
o 12814969
o 12813836
o 12812922
o 12810378
o 12809814
o 12808900
o 12806356
o 12805791
o 12803789
o 12803224
o 12802839
o 12801901
o 12800837
o 12800272
o 12798135
o 12796782
o 12795950
o 12794817
o 12791359
o 12790795
o 12788169
o 12787337
o 12786772
o 12784770
o 12784205
o 12784161
o 12782991
o 12782159
o 12781594
o 12781547
o 12781256
o 12778066
o 12777234
o 12777167
o 12776622
o 12774623
o 12774600
o 12772056
o 12771840
o 12770926
o 12768382
o 12766634
o 12765064
o 12764150
o 12763605
o 12761606
o 12761042
o 12760128
o 12757584
o 12757015
o 12755604
o 12753825
o 12752993
o 12751258
o 12750426
o 12749861
o 12748510
o 12746463
o 12743919
o 12742441
o 12740729
o 12739897
o 12739539
o 12737827
o 12736995
o 12736581
o 12735517
o 12734869
o 12733805
o 12732973
o 12732408
o 12730406
o 12729841
o 12728964
o 12727486
o 12724942
o 12724768
o 12723936
o 12723372
o 12722458
o 12719914
o 12719349
o 12719059
o 12715601
o 12715036
o 12712990
o 12712425
o 12710423
o 12709858
o 12707796
o 12706964
o 12706399
o 12702942
o 12702377
o 12700331
o 12699766
o 12698979
o 12698057
o 12694599
o 12692055
o 12691490
o 12690307
o 12689569
o 12686111
o 12685279
o 12684714
o 12681257
o 12680692
o 12678690
o 12678125
o 12676268
o 12672810
o 12670266
o 12668119
o 12665575
o 12662555
o 12660201
o 12656743
o 12654199
o 12653093
o 12649635
o 12647091
o 12645814
o 12644737
o 12641561
o 12639692
o 12634037
o 12633205
o 12632291
o 12629747
o 12624373
o 12621829
o 12619203
o 12618371
o 12617874
o 12616960
o 12614416
o 12614015
o 12610557
o 12609725
o 12606705
o 12604351
o 12600893
o 12598349
o 12597077
o 12594057
o 12589159
o 12585701
o 12585585
o 12584753
o 12584290
o 12581746
o 12581345
o 12577887
o 12577055
o 12574035
o 12571681
o 12568223
o 12565679
o 12565284
o 12564071
o 12563574
o 12561427
o 12558883
o 12555863
o 12550051
o 12547507
o 12546593
o 12544049
o 12543585
o 12543303
o 12540127
o 12536061
o 12532603
o 12531771
o 12531409
o 12527571
o 12524395
o 12524113
o 12520937
o 12516871
o 12513413
o 12512581
o 12509502
o 12507148
o 12503690
o 12501146
o 12499643
o 12497948
o 12497380
o 12491725
o 12488267
o 12485913
o 12482455
o 12479911
o 12477973
o 12473720
o 12470262
o 12467908
o 12464450
o 12461906
o 12458827
o 12456473
o 12453015
o 12450471
o 12449593
o 12448761
o 12447273
o 12441050
o 12439749
o 12433526
o 12432694
o 12431780
o 12429236
o 12428462
o 12425918
o 12425004
o 12422460
o 12421896
o 12420982
o 12419270
o 12418438
o 12416402
o 12415488
o 12412944
o 12411466
o 12408922
o 12408224
o 12405870
o 12402412
o 12399868
o 12399094
o 12395636
o 12393092
o 12391614
o 12389070
o 12386990
o 12385799
o 12383255
o 12382341
o 12379797
o 12378087
o 12377173
o 12374629
o 12373396
o 12370376
o 12362852
o 12362020
o 12359394
o 12358562
o 12356076
o 12355244
o 12352618
o 12351786
o 12351222
o 12350308
o 12347764
o 12345728
o 12343102
o 12342270
o 12341706
o 12340792
o 12338248
o 12337242
o 12336678
o 12334052
o 12333220
o 12332655
o 12331249
o 12328705
o 12327791
o 12325247
o 12324473
o 12321929
o 12321015
o 12318471
o 12317907
o 12316993
o 12315281
o 12314449
o 12313245
o 12312413
o 12308955
o 12308391
o 12305765
o 12304933
o 12304368
o 12302886
o 12300342
o 12299777
o 12296896
o 12296331
o 12294830
o 12290000
o 12286542
o 12283998
o 12283224
o 12280680
o 12279766
o 12277222
o 12276658
o 12275744
o 12273200
o 12272635
o 12272631
o 12272067
o 12269441
o 12268609
o 12268044
o 12266042
o 12265477
o 12264296
o 12263731
o 12261729
o 12261164
o 12261120
o 12259950
o 12259118
o 12258553
o 12257239
o 12256938
o 12256106
o 12253480
o 12252648
o 12252083
o 12251170
o 12248626
o 12248061
o 12247873
o 12247308
o 12246959
o 12244415
o 12243850
o 12243286
o 12242937
o 12240393
o 12239828
o 12239526
o 12236982
o 12236417
o 12236177
o 12235740
o 12231149
o 12230235
o 12227691
o 12227126
o 12226917
o 12224373
o 12223459
o 12220915
o 12220350
o 12219437
o 12216893
o 12216328
o 12214326
o 12213761
o 12213427
o 12212513
o 12209969
o 12209404
o 12207402
o 12206837
o 12206599
o 12205767
o 12204851
o 12204019
o 12203582
o 12202449
o 12201535
o 12198991
o 12198427
o 12194969
o 12194404
o 12193782
o 12192649
o 12190023
o 12189191
o 12188417
o 12185873
o 12183247
o 12182415
o 12180937
o 12178393
o 12176497
o 12176323
o 12175491
o 12174927
o 12172301
o 12171469
o 12170904
o 12168902
o 12168337
o 12166682
o 12166117
o 12165713
o 12162256
o 12161691
o 12161619
o 12159135
o 12156591
o 12156026
o 12153980
o 12153415
o 12152232
o 12151494
o 12150662
o 12148036
o 12147204
o 12146639
o 12145726
o 12143182
o 12142617
o 12140615
o 12140050
o 12139922
o 12138187
o 12137355
o 12136790
o 12136732
o 12135900
o 12135877
o 12133333
o 12132768
o 12132433
o 12131263
o 12130431
o 12129866
o 12128976
o 12128411
o 12126409
o 12125844
o 12125261
o 12124429
o 12123864
o 12123820
o 12122882
o 12121818
o 12121253
o 12120857
o 12120522
o 12119609
o 12117065
o 12116500
o 12114498
o 12113933
o 12113623
o 12111079
o 12110514
o 12108512
o 12107947
o 12107188
o 12106055
o 12104422
o 12102597
o 12102089
o 12100264
o 12099131
o 12097498
o 12095673
o 12094452
o 12093319
o 12091686
o 12089861
o 12089142
o 12087317
o 12086752
o 12086287
o 12084462
o 12080996
o 12077538
o 12076973
o 12075184
o 12074337
o 12073551
o 12071726
o 12071161
o 12071007
o 12069182
o 12068617
o 12067434
o 12066775
o 12064950
o 12064231
o 12062406
o 12061841
o 12060995
o 12060430
o 12059216
o 12058384
o 12057819
o 12056820
o 12056513
o 12052754
o 12051922
o 12051121
o 12049296
o 12048464
o 12046695
o 12045976
o 12044151
o 12042372
o 12041540
o 12040802
o 12039169
o 12037344
o 12036512
o 12035947
o 12035596
o 12034764
o 12034026
o 12033194
o 12032347
o 12032280
o 12031561
o 12029736
o 12029171
o 12028258
o 12027539
o 12025714
o 12025149
o 12024234
o 12023669
o 12022904
o 12020360
o 12019795
o 12018290
o 12017458
o 12016893
o 12014268
o 12013703
o 12013436
o 12012871
o 12012693
o 12010082
o 12006624
o 12005213
o 12004427
o 12002602
o 12001147
o 12000315
o 11997689
o 11996857
o 11995078
o 11994246
o 11994025
o 11990567
o 11989735
o 11989479
o 11987654
o 11987294
o 11985469
o 11984336
o 11982703
o 11980878
o 11980314
o 11978681
o 11976856
o 11976812
o 11975980
o 11975179
o 11973354
o 11972522
o 11971958
o 11971157
o 11970325
o 11969332
o 11968500
o 11968255
o 11966430
o 11965598
o 11964120
o 11962408
o 11961576
o 11961011
o 11959374
o 11958460
o 11957741
o 11955916
o 11955351
o 11954438
o 11953719
o 11951894
o 11951329
o 11949552
o 11947919
o 11946094
o 11945262
o 11944697
o 11944195
o 11942370
o 11940737
o 11938912
o 11936558
o 11933100
o 11932381
o 11930556
o 11929991
o 11929634
o 11926176
o 11923632
o 11923067
o 11922971
o 11922858
o 11921146
o 11919513
o 11919400
o 11917688
o 11916856
o 11916291
o 11914659
o 11912834
o 11912269
o 11911162
o 11910315
o 11909529
o 11907704
o 11906985
o 11905160
o 11904422
o 11902789
o 11900964
o 11900132
o 11899567
o 11898384
o 11897725
o 11895900
o 11893356
o 11892791
o 11891991
o 11890166
o 11889601
o 11889334
o 11888769
o 11888746
o 11888592
o 11886767
o 11886202
o 11885622
o 11883797
o 11883023
o 11881390
o 11879565
o 11877021
o 11873831
o 11872999
o 11872825
o 11871993
o 11871429
o 11870515
o 11869796
o 11867971
o 11867406
o 11866236
o 11865404
o 11864839
o 11864504
o 11863591
o 11861047
o 11860482
o 11858480
o 11857915
o 11857519
o 11857184
o 11856271
o 11855552
o 11853727
o 11853162
o 11851992
o 11851160
o 11850595
o 11849963
o 11849131
o 11848566
o 11848389
o 11846564
o 11845999
o 11845964
o 11845399
o 11844509
o 11842774
o 11841942
o 11841377
o 11839401
o 11837990
o 11837946
o 11837923
o 11836211
o 11835379
o 11833830
o 11833807
o 11831263
o 11830928
o 11829450
o 11826906
o 11826883
o 11824339
o 11822975
o 11822143
o 11820790
o 11820512
o 11816199
o 11815367
o 11813889
o 11811345
o 11810431
o 11807887
o 11807864
o 11807145
o 11805320
o 11805276
o 11805253
o 11804534
o 11802709
o 11802144
o 11801397
o 11799572
o 11798853
o 11797028
o 11795293
o 11794461
o 11792840
o 11792121
o 11790296
o 11790229
o 11789510
o 11787685
o 11786274
o 11786230
o 11785488
o 11784495
o 11783663
o 11783026
o 11781361
o 11780642
o 11778817
o 11778075
o 11776250
o 11774795
o 11773060
o 11772228
o 11771282
o 11771259
o 11770540
o 11768715
o 11768207
o 11766382
o 11765249
o 11765190
o 11764358
o 11764335
o 11763616
o 11761791
o 11761084
o 11760193
o 11760170
o 11757626
o 11757582
o 11757559
o 11755015
o 11754451
o 11753560
o 11753537
o 11750993
o 11750428
o 11750262
o 11749698
o 11747072
o 11746240
o 11743673
o 11743108
o 11742347
o 11741515
o 11739780
o 11738948
o 11738325
o 11737493
o 11735758
o 11734926
o 11734361
o 11734195
o 11733453
o 11731628
o 11730217
o 11730173
o 11729431
o 11728438
o 11727606
o 11727041
o 11725849
o 11725305
o 11724945
o 11723120
o 11722898
o 11721073
o 11720354
o 11718529
o 11716794
o 11715962
o 11715397
o 11714507
o 11713765
o 11711940
o 11711375
o 11710832
o 11710101
o 11709537
o 11708623
o 11706079
o 11706056
o 11703512
o 11703468
o 11701733
o 11700901
o 11698484
o 11698440
o 11696705
o 11695873
o 11695308
o 11693412
o 11691643
o 11689099
o 11689076
o 11686532
o 11685781
o 11682323
o 11682300
o 11679756
o 11678301
o 11675734
o 11675690
o 11675122
o 11673123
o 11672558
o 11672425
o 11671115
o 11668504
o 11667672
o 11667649
o 11665105
o 11664214
o 11664191
o 11661647
o 11661082
o 11660455
o 11659623
o 11657888
o 11657056
o 11656491
o 11655661
o 11655096
o 11653637
o 11653614
o 11651070
o 11650505
o 11650279
o 11650256
o 11647712
o 11647147
o 11646165
o 11645600
o 11645434
o 11644870
o 11643956
o 11641412
o 11640847
o 11638845
o 11638280
o 11637900
o 11635414
o 11634582
o 11633668
o 11631124
o 11630560
o 11629646
o 11627102
o 11626537
o 11624535
o 11623970
o 11622243
o 11619782
o 11619759
o 11618279
o 11617215
o 11616650
o 11615472
o 11614907
o 11614280
o 11613715
o 11611713
o 11611148
o 11610881
o 11610316
o 11609426
o 11608861
o 11608838
o 11606859
o 11606294
o 11606128
o 11605563
o 11603561
o 11602996
o 11602938
o 11602106
o 11601541
o 11600371
o 11599806
o 11599539
o 11598974
o 11598758
o 11596756
o 11596191
o 11595626
o 11593082
o 11591035
o 11588491
o 11587926
o 11587138
o 11586306
o 11586005
o 11582547
o 11581715
o 11581150
o 11580237
o 11577693
o 11577128
o 11575126
o 11574561
o 11574395
o 11573830
o 11572917
o 11570373
o 11569808
o 11567806
o 11567241
o 11566736
o 11566518
o 11565953
o 11564844
o 11563711
o 11560253
o 11557709
o 11557686
o 11555142
o 11554577
o 11552413
o 11551848
o 11551221
o 11550389
o 11547822
o 11547257
o 11545637
o 11545072
o 11543613
o 11543590
o 11542110
o 11541046
o 11540481
o 11539591
o 11537024
o 11536459
o 11536243
o 11534079
o 11533514
o 11533510
o 11532945
o 11532381
o 11532032
o 11529488
o 11528923
o 11527753
o 11526921
o 11526356
o 11525976
o 11525411
o 11525226
o 11524658
o 11524093
o 11521200
o 11520635
o 11518656
o 11518091
o 11518068
o 11516089
o 11515524
o 11514424
o 11513859
o 11511880
o 11511315
o 11511292
o 11509313
o 11508748
o 11507858
o 11507293
o 11505291
o 11504726
o 11502963
o 11502131
o 11499505
o 11498673
o 11498650
o 11496106
o 11495355
o 11493793
o 11492729
o 11491897
o 11491874
o 11490394
o 11489330
o 11487875
o 11487852
o 11485308
o 11484743
o 11483943
o 11481399
o 11480835
o 11478209
o 11477377
o 11475642
o 11474810
o 11474245
o 11474075
o 11471531
o 11471508
o 11468964
o 11467299
o 11464755
o 11464732
o 11462188
o 11460733
o 11460710
o 11458166
o 11456142
o 11454407
o 11453575
o 11453010
o 11452505
o 11450312
o 11448708
o 11447794
o 11445250
o 11442171
o 11439817
o 11436359
o 11433815
o 11433630
o 11431086
o 11429039
o 11427559
o 11426495
o 11423173
o 11420629
o 11416038
o 11415124
o 11412580
o 11411262
o 11409782
o 11408718
o 11405260
o 11404486
o 11402092
o 11401028
o 11398484
o 11397006
o 11394462
o 11393897
o 11393429
o 11390885
o 11390320
o 11388122
o 11387557
o 11384932
o 11384100
o 11383535
o 11383531
o 11382966
o 11382402
o 11382053
o 11379509
o 11378944
o 11378446
o 11378097
o 11375553
o 11374988
o 11374984
o 11374419
o 11373506
o 11370962
o 11370397
o 11368395
o 11367830
o 11367495
o 11366582
o 11366017
o 11364038
o 11363473
o 11363450
o 11361471
o 11360906
o 11357508
o 11356943
o 11354964
o 11354399
o 11351774
o 11351209
o 11350942
o 11350377
o 11348375
o 11347810
o 11346629
o 11346064
o 11346041
o 11345126
o 11344062
o 11343497
o 11343453
o 11341451
o 11340886
o 11340758
o 11340193
o 11336736
o 11336171
o 11336167
o 11335602
o 11334689
o 11332145
o 11331580
o 11331289
o 11328664
o 11327832
o 11327267
o 11325221
o 11324656
o 11322654
o 11322089
o 11321259
o 11320694
o 11319235
o 11318670
o 11318564
o 11317500
o 11316668
o 11316103
o 11315877
o 11315312
o 11313310
o 11312745
o 11312159
o 11311594
o 11309459
o 11308627
o 11308063
o 11307149
o 11304605
o 11303599
o 11303035
o 11302121
o 11299577
o 11299012
o 11299008
o 11298444
o 11295818
o 11294986
o 11294421
o 11291862
o 11291030
o 11290465
o 11290461
o 11289897
o 11286439
o 11285874
o 11283872
o 11283307
o 11281467
o 11278900
o 11278068
o 11275607
o 11273040
o 11272475
o 11272124
o 11271292
o 11270554
o 11269722
o 11268831
o 11267096
o 11266264
o 11265699
o 11265641
o 11264809
o 11264786
o 11263074
o 11262242
o 11261677
o 11260278
o 11259713
o 11258823
o 11257088
o 11256256
o 11255691
o 11255465
o 11254900
o 11252898
o 11252333
o 11251608
o 11251043
o 11249041
o 11248476
o 11248294
o 11247729
o 11247685
o 11245683
o 11245118
o 11244986
o 11242984
o 11242419
o 11242193
o 11242170
o 11239626
o 11239061
o 11239026
o 11238461
o 11238302
o 11237291
o 11236459
o 11235894
o 11235593
o 11234944
o 11234112
o 11233547
o 11233467
o 11232788
o 11231956
o 11231391
o 11230945
o 11230380
o 11230090
o 11230010
o 11227934
o 11226923
o 11226358
o 11225970
o 11224959
o 11224394
o 11224104
o 11221948
o 11220937
o 11220372
o 11220084
o 11218590
o 11217579
o 11217014
o 11216855
o 11216023
o 11215012
o 11214447
o 11214386
o 11213821
o 11213531
o 11212966
o 11211375
o 11211196
o 11210364
o 11209799
o 11208808
o 11207797
o 11207232
o 11206780
o 11206598
o 11205051
o 11203987
o 11203422
o 11202820
o 11202255
o 11202073
o 11202006
o 11199462
o 11198897
o 11198798
o 11198233
o 11198051
o 11195440
o 11194875
o 11193705
o 11192873
o 11192308
o 11192176
o 11191994
o 11190215
o 11189383
o 11188818
o 11186816
o 11186251
o 11186154
o 11184660
o 11184095
o 11183649
o 11183084
o 11181263
o 11180416
o 11180349
o 11177805
o 11175238
o 11174327
o 11174304
o 11171760
o 11171029
o 11170465
o 11169551
o 11167007
o 11166984
o 11164440
o 11163761
o 11162466
o 11161552
o 11159840
o 11159008
o 11157273
o 11156441
o 11155690
o 11153064
o 11152232
o 11150497
o 11149665
o 11148210
o 11148187
o 11145643
o 11144511
o 11143679
o 11143056
o 11142224
o 11140489
o 11139657
o 11138866
o 11137131
o 11136299
o 11135734
o 11135730
o 11135066
o 11134275
o 11131708
o 11131143
o 11130995
o 11130426
o 11129762
o 11128971
o 11127236
o 11126404
o 11125839
o 11125759
o 11125080
o 11124248
o 11123683
o 11123237
o 11122672
o 11122632
o 11121800
o 11121235
o 11121155
o 11120476
o 11119644
o 11119079
o 11118633
o 11118068
o 11117033
o 11116468
o 11116022
o 11115457
o 11115226
o 11114394
o 11113956
o 11113829
o 11113391
o 11113383
o 11112945
o 11112380
o 11112274
o 11111783
o 11111345
o 11111218
o 11110780
o 11110772
o 11110334
o 11110207
o 11109769
o 11109462
o 11108897
o 11107438
o 11106873
o 11105703
o 11104871
o 11104306
o 11101452
o 11099717
o 11098885
o 11098320
o 11098094
o 11095527
o 11094962
o 11094676
o 11094653
o 11092109
o 11091544
o 11091318
o 11091295
o 11088751
o 11088186
o 11088087
o 11087522
o 11087296
o 11087273
o 11085793
o 11084729
o 11084164
o 11082783
o 11082218
o 11081992
o 11080257
o 11079425
o 11078860
o 11078763
o 11078198
o 11077269
o 11076704
o 11076258
o 11075693
o 11075667
o 11075570
o 11075005
o 11074906
o 11074341
o 11074115
o 11073550
o 11072210
o 11071548
o 11070983
o 11070886
o 11070054
o 11069043
o 11068478
o 11068353
o 11065786
o 11064654
o 11063822
o 11062367
o 11062344
o 11059800
o 11059009
o 11057506
o 11056442
o 11055877
o 11054537
o 11053705
o 11053140
o 11053043
o 11052478
o 11052202
o 11051138
o 11050476
o 11049911
o 11049814
o 11048982
o 11048803
o 11047971
o 11047406
o 11047322
o 11046490
o 11045925
o 11044755
o 11043923
o 11043358
o 11043323
o 11042758
o 11041767
o 11041588
o 11040756
o 11040191
o 11039505
o 11039067
o 11038673
o 11038235
o 11038108
o 11037670
o 11037590
o 11037508
o 11037070
o 11036079
o 11035506
o 11035068
o 11034941
o 11034503
o 11034360
o 11033795
o 11033715
o 11032204
o 11031639
o 11031193
o 11030628
o 11030190
o 11029593
o 11029028
o 11028590
o 11028144
o 11027579
o 11025888
o 11025450
o 11025323
o 11024885
o 11024756
o 11023924
o 11023486
o 11021398
o 11020566
o 11020128
o 11020001
o 11019563
o 11019464
o 11016106
o 11015979
o 11015541
o 11014388
o 11013950
o 11013823
o 11013385
o 11013377
o 11012939
o 11012812
o 11012374
o 11012149
o 11011703
o 11011138
o 11010452
o 11009620
o 11009182
o 11009055
o 11008617
o 11008520
o 11008393
o 11007955
o 11007464
o 11007026
o 11006899
o 11006461
o 11006453
o 11006015
o 11005888
o 11005450
o 11004897
o 11004332
o 11003886
o 11003321
o 11002883
o 11002745
o 11002307
o 11001475
o 11000902
o 11000464
o 11000337
o 10999899
o 10999800
o 10999673
o 10999235
o 10999053
o 10997891
o 10997453
o 10997274
o 10996880
o 10996442
o 10996315
o 10995877
o 10995542
o 10994531
o 10994404
o 10993966
o 10992622
o 10992184
o 10991611
o 10991173
o 10991046
o 10990608
o 10990085
o 10989520
o 10988988
o 10988766
o 10987755
o 10987564
o 10987484
o 10986678
o 10986240
o 10985846
o 10985408
o 10984835
o 10984397
o 10984270
o 10983832
o 10983606
o 10983415
o 10981824
o 10980813
o 10980248
o 10979810
o 10979757
o 10979566
o 10979486
o 10979039
o 10977975
o 10977410
o 10976964
o 10976399
o 10975885
o 10975223
o 10974391
o 10973380
o 10972942
o 10972815
o 10972377
o 10971565
o 10971127
o 10970559
o 10970121
o 10969895
o 10969148
o 10967369
o 10966537
o 10966099
o 10965972
o 10965534
o 10965415
o 10964583
o 10964018
o 10963580
o 10963273
o 10960480
o 10959915
o 10959477
o 10959397
o 10959156
o 10958718
o 10958591
o 10958153
o 10957886
o 10957759
o 10957321
o 10957313
o 10956875
o 10956748
o 10956310
o 10955757
o 10955319
o 10955192
o 10954754
o 10954746
o 10954308
o 10954181
o 10953743
o 10953458
o 10953331
o 10952893
o 10952584
o 10951739
o 10950538
o 10949973
o 10949535
o 10949512
o 10949172
o 10947971
o 10947533
o 10947406
o 10946968
o 10946435
o 10945870
o 10945432
o 10943868
o 10943430
o 10943303
o 10942865
o 10942785
o 10942544
o 10941712
o 10941274
o 10941147
o 10940709
o 10940701
o 10940263
o 10940136
o 10939698
o 10938418
o 10937980
o 10937853
o 10937415
o 10936262
o 10935824
o 10935697
o 10935259
o 10935251
o 10934813
o 10934248
o 10934105
o 10933752
o 10933314
o 10931185
o 10930747
o 10930620
o 10930182
o 10930071
o 10929633
o 10929239
o 10928801
o 10928448
o 10928010
o 10927987
o 10925881
o 10925443
o 10925316
o 10924878
o 10924119
o 10923287
o 10923160
o 10922722
o 10922276
o 10922149
o 10921711
o 10921653
o 10920159
o 10919721
o 10919368
o 10918930
o 10917633
o 10916801
o 10916363
o 10916236
o 10915798
o 10915790
o 10915352
o 10915225
o 10914787
o 10913507
o 10913069
o 10912942
o 10912504
o 10912183
o 10911745
o 10911351
o 10910913
o 10910786
o 10910348
o 10910340
o 10909902
o 10909775
o 10909337
o 10909262
o 10909135
o 10908697
o 10908487
o 10908049
o 10907922
o 10907484
o 10907476
o 10907038
o 10906911
o 10906473
o 10904685
o 10904247
o 10904121
o 10903683
o 10900663
o 10900225
o 10898647
o 10898209
o 10897934
o 10897496
o 10896363
o 10894407
o 10893343
o 10892905
o 10892607
o 10892169
o 10891141
o 10890703
o 10890008
o 10889570
o 10886550
o 10886112
o 10883363
o 10883232
o 10882794
o 10880274
o 10879210
o 10878772
o 10875752
o 10875314
o 10872016
o 10871452
o 10868432
o 10867994
o 10867867
o 10867429
o 10866468
o 10866030
o 10865466
o 10862446
o 10862008
o 10861881
o 10861443
o 10859088
o 10858650
o 10858085
o 10858005
o 10856932
o 10856494
o 10856367
o 10855929