Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_upgradeability-problem_mancoosi-test-i2000d0u98-48.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i2000d0u98-48.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 31540812410
o 31540812410
o 7800962637
o 7800944468
o 7785936048
o 7785917879
o 7770909459
o 7770891290
o 7755882870
o 7755864701
o 7740856281
o 7740838112
o 7725829692
o 7725811523
o 7710803103
o 7710784934
o 7695776514
o 7695758345
o 7680749925
o 7680731756
o 7665723336
o 7665705167
o 7650696747
o 7650678578
o 7635670158
o 7635651989
o 7620643569
o 7620625400
o 7605616980
o 7605598811
o 7590590391
o 7590572222
o 7575563802
o 7575545633
o 7560537213
o 7560519044
o 7545510624
o 7545492455
o 7530484035
o 7530465866
o 7530465865
o 7515457445
o 7515439276
o 7515439275
o 7500430855
o 7500412686
o 7500412685
o 7485404265
o 7485386096
o 7470377676
o 7470359507
o 7470359506
o 7455351086
o 7455332917
o 7440324497
o 7440306328
o 7440306327
o 7425297907
o 7425279738
o 7425279737
o 7410271317
o 7410253148
o 7410253147
o 7395244727
o 7395226558
o 7380218138
o 7380199969
o 7365191549
o 7365173380
o 7350164960
o 7350146791
o 7335138371
o 7335120202
o 7320111782
o 7320093613
o 7305085193
o 7305067024
o 7290058604
o 7290040435
o 7275032015
o 7275013846
o 7260005426
o 7259987257
o 7244978837
o 7244960668
o 7229952248
o 7229934079
o 7214925659
o 7214907490
o 7199899070
o 7199880901
o 7184872481
o 7184854312
o 7169845892
o 7169827723
o 7154819303
o 7154801134
o 7139792714
o 7139774545
o 7124766125
o 7124747956
o 7109739536
o 7109721367
o 7094712947
o 7094694778
o 7079686358
o 7079668189
o 7064659769
o 7064641600
o 7049633180
o 7049615011
o 7034606591
o 7034588422
o 7034588421
o 7019580001
o 7019561832
o 7004553412
o 7004535243
o 6989526823
o 6989508654
o 6974500234
o 6974482065
o 6974482064
o 6959473644
o 6959455475
o 6944447055
o 6944428886
o 6929420466
o 6929402297
o 6914393877
o 6914375708
o 6899367288
o 6899349119
o 6884340699
o 6884322530
o 6869314110
o 6869295941
o 6854287521
o 6854269352
o 6839260932
o 6839242763
o 6824234343
o 6824216174
o 6809207754
o 6809189585
o 6809189584
o 6794181164
o 6794162995
o 6779154575
o 6779136406
o 6764127986
o 6764109817
o 6749101397
o 6749083228
o 6734074808
o 6734056639
o 6719048219
o 6719030050
o 6704021630
o 6704003461
o 6688995041
o 6688976872
o 6673968452
o 6673950283
o 6658941863
o 6658923694
o 6658923693
o 6643915273
o 6643897104
o 6628888684
o 6628870515
o 6613862095
o 6613843926
o 6598835506
o 6598817337
o 6583808917
o 6583790748
o 6568782328
o 6568764159
o 6553755739
o 6553737570
o 6538729150
o 6538710981
o 6523702561
o 6523684392
o 6508675972
o 6508657803
o 6493649383
o 6493631214
o 6493631213
o 6478622793
o 6478604624
o 6463596204
o 6463578035
o 6463578034
o 6448569614
o 6448551445
o 6433543025
o 6433524856
o 6418516436
o 6418498267
o 6403489847
o 6403471678
o 6388463258
o 6388445089
o 6373436669
o 6373418500
o 6358410080
o 6358391911
o 6343383491
o 6343365322
o 6328356902
o 6328338733
o 6313330313
o 6313312144
o 6298303724
o 6298285555
o 6283277135
o 6283258966
o 6268250546
o 6268232377
o 6253223957
o 6253205788
o 6238197368
o 6238179199
o 6223170779
o 6223152610
o 6208144190
o 6208126021
o 6193117601
o 6193099432
o 6178091012
o 6178072843
o 6163064423
o 6163046254
o 6148037834
o 6148019665
o 6133011245
o 6132993076
o 6117984656
o 6117966487
o 6102958067
o 6102939898
o 6087931478
o 6087913309
o 6072904889
o 6072886720
o 6057878300
o 6057860131
o 6042851711
o 6042833542
o 6027825122
o 6027806953
o 6012798533
o 6012780364
o 5997771944
o 5997753775
o 5982745355
o 5982727186
o 5967718766
o 5967700597
o 5952692177
o 5952674008
o 5937665588
o 5937647419
o 5922638999
o 5922620830
o 5907612410
o 5907594241
o 5892585821
o 5892567652
o 5877559232
o 5877541063
o 5862532643
o 5862514474
o 5847506054
o 5847487885
o 5847487884
o 5832479464
o 5832461295
o 5817452875
o 5817434706
o 5802426286
o 5802408117
o 5787399697
o 5787381528
o 5772373108
o 5772354939
o 5757346519
o 5757328350
o 5742319930
o 5742301761
o 5742301760
o 5727293340
o 5727275171
o 5712266751
o 5712248582
o 5697240162
o 5697221993
o 5682213573
o 5682195404
o 5667186984
o 5667168815
o 5652160395
o 5652142226
o 5637133806
o 5637115637
o 5622107217
o 5622089048
o 5607080628
o 5607062459
o 5592054039
o 5592035870
o 5577027450
o 5577009281
o 5562000861
o 5561982692
o 5546974272
o 5546956103
o 5531947683
o 5531929514
o 5516921094
o 5516902925
o 5501894505
o 5501876336
o 5486867916
o 5486849747
o 5471841327
o 5471823158
o 5456814738
o 5456796569
o 5441806318
o 5441788149
o 5441788148
o 5441769979
o 5426779728
o 5426761559
o 5426743390
o 5411753139
o 5411734970
o 5411716802
o 5396726551
o 5396708382
o 5396708381
o 5396690213
o 5381699962
o 5381681793
o 5381681792
o 5381663624
o 5366673373
o 5366655204
o 5366637036
o 5351646785
o 5351628616
o 5351628615
o 5351610447
o 5336620196
o 5336602027
o 5336583859
o 5321593608
o 5321575439
o 5321557271
o 5306567020
o 5306548851
o 5306530683
o 5291540432
o 5291522263
o 5291504095
o 5276513844
o 5276495675
o 5276477507
o 5261487256
o 5261469087
o 5261450919
o 5246460668
o 5246442499
o 5246424331
o 5231434080
o 5231415911
o 5231397743
o 5216407492
o 5216389323
o 5216371155
o 5201380904
o 5201362735
o 5201344568
o 5186354317
o 5186336148
o 5171345898
o 5171327729
o 5171309562
o 5156319312
o 5156301143
o 5156282976
o 5141292726
o 5141274557
o 5141274556
o 5126284306
o 5126266137
o 5126247976
o 5126247975
o 5111257725
o 5111239556
o 5111239547
o 5111221386
o 5111221385
o 5096231135
o 5096212966
o 5096212965
o 5096212956
o 5096194795
o 5096194794
o 5081204544
o 5081186375
o 5081186369
o 5081168208
o 5081168207
o 5066177957
o 5066159788
o 5066159787
o 5066159781
o 5066141620
o 5066141619
o 5051151369
o 5051133200
o 5051133199
o 5051133193
o 5051115032
o 5051115031
o 5036124781
o 5036106612
o 5036106611
o 5036088450
o 5036088449
o 5021098199
o 5021080030
o 5021080029
o 5021080024
o 5021080023
o 5021061862
o 5021061861
o 5006071611
o 5006053442
o 5006053436
o 5006053435
o 5006035274
o 5006035273
o 4991045023
o 4991026854
o 4991026853
o 4991026852
o 4991026847
o 4991026846
o 4991008685
o 4991008684
o 4976018434
o 4976000265
o 4976000264
o 4976000259
o 4976000258
o 4975982097
o 4975982096
o 4960991846
o 4960973677
o 4960973671
o 4960973670
o 4960955509
o 4960955508
o 4945965258
o 4945947089
o 4945947088
o 4945947087
o 4945947082
o 4945947081
o 4945928920
o 4945928919
o 4930938669
o 4930920500
o 4930920495
o 4930920494
o 4930902333
o 4930902332
o 4915912082
o 4915893913
o 4915893911
o 4915893910
o 4915875749
o 4915875748
o 4900885498
o 4900867329
o 4900867328
o 4900867325
o 4900867323
o 4900867322
o 4900849161
o 4900849160
o 4885858910
o 4885840741
o 4885840740
o 4885840737
o 4885840735
o 4885840734
o 4885822573
o 4885822572
o 4870832322
o 4870814153
o 4870814152
o 4870814149
o 4870814147
o 4870814146
o 4870795985
o 4870795984
o 4855805734
o 4855787565
o 4855787564
o 4855787560
o 4855787559
o 4855787557
o 4855769396
o 4855769395
o 4840779145
o 4840760976
o 4840760975
o 4840760972
o 4840760971
o 4840760969
o 4840742808
o 4840742807
o 4825752557
o 4825734388
o 4825734387
o 4825734384
o 4825734383
o 4825734381
o 4825716220
o 4825716219
o 4810725969
o 4810707800
o 4810707796
o 4810707795
o 4810707793
o 4810689632
o 4810689631
o 4795699381
o 4795681212
o 4795681211
o 4795681208
o 4795681207
o 4795681205
o 4795663044
o 4795663043
o 4780672793
o 4780654624
o 4780654620
o 4780654619
o 4780654617
o 4780636456
o 4780636455
o 4765646205
o 4765628036
o 4765628035
o 4765628032
o 4765628031
o 4765628029
o 4765609868
o 4765609867
o 4750619617
o 4750601448
o 4750601447
o 4750601444
o 4750601443
o 4750601441
o 4750583280
o 4750583279
o 4735593029
o 4735574860
o 4735574858
o 4735574857
o 4735574855
o 4735556694
o 4735556693
o 4720566443
o 4720548274
o 4720548272
o 4720548270
o 4720548269
o 4720548267
o 4720530106
o 4720530105
o 4705539855
o 4705521686
o 4705521684
o 4705521682
o 4705521681
o 4705521679
o 4705503518
o 4705503517
o 4690513267
o 4690495098
o 4690495096
o 4690495094
o 4690495093
o 4690495091
o 4690476930
o 4690476929
o 4675486679
o 4675468510
o 4675468508
o 4675468506
o 4675468505
o 4675468503
o 4675450342
o 4675450341
o 4660460091
o 4660441922
o 4660441920
o 4660441917
o 4660441915
o 4660423754
o 4660423753
o 4645433503
o 4645415334
o 4645415333
o 4645415331
o 4645397170
o 4645397169
o 4630406919
o 4630388750
o 4630388746
o 4630388745
o 4630388743
o 4630370582
o 4630370581
o 4615380331
o 4615362162
o 4615362159
o 4615362157
o 4615343996
o 4615343995
o 4600353745
o 4600335576
o 4600335573
o 4600335571
o 4600335569
o 4600335567
o 4600335566
o 4600317405
o 4600317404
o 4585327154
o 4585308985
o 4585308983
o 4585308981
o 4585308980
o 4585308978
o 4585308976
o 4570318735
o 4570300566
o 4570300563
o 4570300561
o 4570300559
o 4570300557
o 4570300555
o 4555328485
o 4555310316
o 4555310314
o 4555310312
o 4555310310
o 4555310309
o 4555310307
o 4555310305
o 4555292148
o 4555273979
o 4555273976
o 4555273974
o 4555273972
o 4555273970
o 4555273968
o 4540301898
o 4540283729
o 4540283727
o 4540283725
o 4540283723
o 4540283722
o 4540283720
o 4540283718
o 4540283717
o 4540265560
o 4540247391
o 4540247389
o 4540247387
o 4540247386
o 4540247384
o 4540247382
o 4540247380
o 4525275310
o 4525257141
o 4525257139
o 4525257138
o 4525257136
o 4525257134
o 4525257132
o 4525257130
o 4525238973
o 4525220804
o 4525220801
o 4525220799
o 4525220797
o 4525220795
o 4525220793
o 4510248723
o 4510230554
o 4510230551
o 4510230549
o 4510230547
o 4510230545
o 4510230543
o 4510230542
o 4510212385
o 4510194216
o 4510194214
o 4510194213
o 4510194211
o 4510194209
o 4510194207
o 4510194205
o 4495222135
o 4495203966
o 4495203964
o 4495203962
o 4495203960
o 4495203959
o 4495203957
o 4495203955
o 4495203954
o 4495185797
o 4495167628
o 4495167625
o 4495167623
o 4495167621
o 4495167619
o 4495167617
o 4480195547
o 4480177378
o 4480177376
o 4480177374
o 4480177372
o 4480177371
o 4480177369
o 4480177367
o 4480177366
o 4480159209
o 4480141040
o 4480141038
o 4480141037
o 4480141035
o 4480141033
o 4480141031
o 4480141029
o 4465168959
o 4465150790
o 4465150788
o 4465150786
o 4465150784
o 4465150783
o 4465150781
o 4465150779
o 4465132622
o 4465114453
o 4465114450
o 4465114448
o 4465114446
o 4465114444
o 4465114442
o 4450142372
o 4450124203
o 4450124201
o 4450124200
o 4450124198
o 4450124196
o 4450124194
o 4450124192
o 4450106035
o 4450087866
o 4450087864
o 4450087862
o 4450087860
o 4450087859
o 4450087857
o 4450087855
o 4435115785
o 4435097616
o 4435097613
o 4435097611
o 4435097609
o 4435097607
o 4435097605
o 4435079449
o 4435061280
o 4435061278
o 4435061276
o 4435061274
o 4435061273
o 4435061271
o 4435061269
o 4420089199
o 4420071030
o 4420071027
o 4420071025
o 4420071023
o 4420071021
o 4420071019
o 4420071017
o 4420052861
o 4420034692
o 4420034690
o 4420034688
o 4420034687
o 4420034685
o 4420034683
o 4420034681
o 4405062611
o 4405044442
o 4405044440
o 4405044438
o 4405044437
o 4405044435
o 4405044433
o 4405044431
o 4405044430
o 4405044429
o 4405026273
o 4405008104
o 4405008101
o 4405008099
o 4405008097
o 4405008095
o 4405008093
o 4390036023
o 4390017854
o 4390017852
o 4390017850
o 4390017848
o 4390017847
o 4390017845
o 4390017843
o 4390017841
o 4390017839
o 4390017838
o 4389999682
o 4389981513
o 4389981510
o 4389981508
o 4389981506
o 4389981504
o 4389981502
o 4375009432
o 4374991263
o 4374991261
o 4374991260
o 4374991258
o 4374991256
o 4374991254
o 4374991252
o 4374991251
o 4374991250
o 4374973094
o 4374954925
o 4374954922
o 4374954920
o 4374954918
o 4374954916
o 4374954914
o 4359982844
o 4359964675
o 4359964673
o 4359964671
o 4359964669
o 4359964668
o 4359964666
o 4359964664
o 4359964663
o 4359964661
o 4359964659
o 4359964658
o 4359946502
o 4359928333
o 4359928331
o 4359928329
o 4359928328
o 4359928326
o 4359928324
o 4359928322
o 4344956252
o 4344938083
o 4344938081
o 4344938080
o 4344938078
o 4344938076
o 4344938074
o 4344938072
o 4344938071
o 4344919915
o 4344901746
o 4344901743
o 4344901741
o 4344901739
o 4344901737
o 4344901735
o 4329929665
o 4329911496
o 4329911494
o 4329911492
o 4329911490
o 4329911489
o 4329911487
o 4329911485
o 4329911484
o 4329911482
o 4329911480
o 4329893324
o 4329875155
o 4329875153
o 4329875151
o 4329875150
o 4329875148
o 4329875146
o 4329875144
o 4314903074
o 4314884905
o 4314884903
o 4314884901
o 4314884900
o 4314884898
o 4314884896
o 4314884894
o 4314884893
o 4314866737
o 4314848568
o 4314848566
o 4314848564
o 4314848563
o 4314848561
o 4314848559
o 4314848557
o 4299876487
o 4299858318
o 4299858316
o 4299858315
o 4299858313
o 4299858311
o 4299858309
o 4299858307
o 4299858306
o 4299858304
o 4299858302
o 4299858301
o 4299840144
o 4299821975
o 4299821973
o 4299821972
o 4299821970
o 4299821968
o 4299821966
o 4299821964
o 4284849894
o 4284831725
o 4284831723
o 4284831721
o 4284831720
o 4284831718
o 4284831716
o 4284831714
o 4284813558
o 4284795389
o 4284795387
o 4284795385
o 4284795383
o 4284795382
o 4284795380
o 4284795378
o 4269823308
o 4269805139
o 4269805136
o 4269805134
o 4269805132
o 4269805130
o 4269805128
o 4269805127
o 4269805125
o 4269805123
o 4269786967
o 4269768798
o 4269768796
o 4269768795
o 4269768793
o 4269768791
o 4269768789
o 4269768787
o 4254796717
o 4254778548
o 4254778546
o 4254778544
o 4254778542
o 4254778541
o 4254778539
o 4254778537
o 4254778536
o 4254760380
o 4254742211
o 4254742208
o 4254742206
o 4254742204
o 4254742202
o 4254742200
o 4239770130
o 4239751961
o 4239751959
o 4239751957
o 4239751955
o 4239751954
o 4239751952
o 4239751950
o 4239751948
o 4239751946
o 4239751945
o 4239733789
o 4239715620
o 4239715618
o 4239715616
o 4239715615
o 4239715613
o 4239715611
o 4239715609
o 4224743539
o 4224725370
o 4224725368
o 4224725366
o 4224725365
o 4224725363
o 4224725361
o 4224725359
o 4224707212
o 4224689043
o 4224689041
o 4224689040
o 4224689038
o 4224689036
o 4224689034
o 4224689032
o 4209716962
o 4209698793
o 4209698791
o 4209698789
o 4209698787
o 4209698786
o 4209698784
o 4209698782
o 4209698781
o 4209698779
o 4209698778
o 4209698776
o 4209680624
o 4209680622
o 4209680620
o 4209680618
o 4209680617
o 4209680615
o 4209680613
o 4194708543
o 4194690374
o 4194690371
o 4194690369
o 4194690367
o 4194690365
o 4194690363
o 4194690362
o 4194690360
o 4194690359
o 4194690357
o 4194672193
o 4194672191
o 4194672190
o 4194672188
o 4194672186
o 4194672184
o 4194672182
o 4194654035
o 4194635866
o 4194635864
o 4194635862
o 4194635860
o 4194635859
o 4194635857
o 4194635855
o 4179663785
o 4179645616
o 4179645613
o 4179645611
o 4179645609
o 4179645607
o 4179645605
o 4179645604
o 4179645602
o 4179645601
o 4179645599
o 4179627447
o 4179627445
o 4179627444
o 4179627442
o 4179627440
o 4179627438
o 4179627436
o 4164655366
o 4164637197
o 4164637195
o 4164637193
o 4164637192
o 4164637190
o 4164637188
o 4164637186
o 4164637185
o 4164637183
o 4164637182
o 4164637180
o 4164619018
o 4164619016
o 4164619015
o 4164619013
o 4164619011
o 4164619009
o 4164619007
o 4164600860
o 4164582691
o 4164582689
o 4164582687
o 4164582685
o 4164582684
o 4164582682
o 4164582680
o 4149610610
o 4149592441
o 4149592438
o 4149592436
o 4149592434
o 4149592432
o 4149592430
o 4149592429
o 4149592427
o 4149592426
o 4149592424
o 4149574272
o 4149574270
o 4149574269
o 4149574267
o 4149574265
o 4149574263
o 4149574261
o 4134602191
o 4134584022
o 4134584020
o 4134584018
o 4134584017
o 4134584015
o 4134584013
o 4134584011
o 4134584010
o 4134584008
o 4134584007
o 4134584005
o 4134584003
o 4134584002
o 4134584000
o 4134565838
o 4134565836
o 4134565835
o 4134565833
o 4134565831
o 4134565829
o 4134565827
o 4134547680
o 4134529511
o 4134529509
o 4134529507
o 4134529506
o 4134529504
o 4134529502
o 4134529500
o 4119557430
o 4119539261
o 4119539259
o 4119539257
o 4119539256
o 4119539254
o 4119539252
o 4119539250
o 4119539249
o 4119539247
o 4119539246
o 4119539244
o 4119521092
o 4119521089
o 4119521087
o 4119521085
o 4119521083
o 4119521081
o 4104549011
o 4104530842
o 4104530840
o 4104530838
o 4104530836
o 4104530835
o 4104530833
o 4104530831
o 4104530830
o 4104530828
o 4104530827
o 4104530825
o 4104512676
o 4104512674
o 4104512672
o 4104512671
o 4104512669
o 4104512667
o 4104512665
o 4104512664
o 4104512662
o 4104512661
o 4104512659
o 4104494507
o 4104494505
o 4104494503
o 4104494501
o 4104494500
o 4104494498
o 4104494496
o 4089522426
o 4089504257
o 4089504254
o 4089504252
o 4089504250
o 4089504248
o 4089504246
o 4089504245
o 4089504243
o 4089504242
o 4089504240
o 4089486091
o 4089486089
o 4089486087
o 4089486086
o 4089486084
o 4089486082
o 4089486080
o 4089486079
o 4089486077
o 4089486076
o 4089486074
o 4089467922
o 4089467919
o 4089467917
o 4089467915
o 4089467913
o 4089467911
o 4074495841
o 4074477672
o 4074477670
o 4074477668
o 4074477666
o 4074477665
o 4074477663
o 4074477661
o 4074477660
o 4074477658
o 4074477657
o 4074477655
o 4074477653
o 4074459503
o 4074459501
o 4074459500
o 4074459498
o 4074459496
o 4074459494
o 4074459492
o 4059487422
o 4059469253
o 4059469251
o 4059469249
o 4059469248
o 4059469246
o 4059469244
o 4059469242
o 4059469241
o 4059469239
o 4059469238
o 4059469236
o 4059469234
o 4044497172
o 4044479003
o 4044479001
o 4044478999
o 4044478998
o 4044478996
o 4044478994
o 4044478992
o 4044478991
o 4044478989
o 4044478988
o 4044478986
o 4044478984
o 4044478983
o 4044478981
o 4044460831
o 4044442662
o 4044442660
o 4044442659
o 4044442657
o 4044442655
o 4044442653
o 4044442651
o 4044442650
o 4044442648
o 4044442647
o 4044442645
o 4044442643
o 4044442642
o 4044442640
o 4044442638
o 4044424491
o 4044424489
o 4044424488
o 4044424486
o 4044424484
o 4044424482
o 4044424480
o 4044424478
o 4044424477
o 4044424475
o 4044424474
o 4044424472
o 4044424470
o 4044424469
o 4044424467
o 4044406324
o 4044406322
o 4044406321
o 4044406319
o 4044406317
o 4044406315
o 4044406313
o 4029434243
o 4029416074
o 4029416072
o 4029416070
o 4029416069
o 4029416067
o 4029416065
o 4029416063
o 4029416062
o 4029416060
o 4029416059
o 4029416057
o 4029416055
o 4014443993
o 4014425824
o 4014425822
o 4014425821
o 4014425819
o 4014425817
o 4014425815
o 4014425813
o 4014425812
o 4014425810
o 4014425809
o 4014425807
o 4014425805
o 4014425804
o 4014425802
o 4014407652
o 4014389483
o 4014389481
o 4014389479
o 4014389478
o 4014389476
o 4014389474
o 4014389472
o 4014389471
o 4014389469
o 4014389468
o 4014389466
o 4014389464
o 4014389463
o 4014389461
o 4014389459
o 4014371312
o 4014371310
o 4014371308
o 4014371307
o 4014371305
o 4014371303
o 4014371301
o 4014371299
o 4014371298
o 4014371296
o 4014371295
o 4014371293
o 4014371291
o 4014371290
o 4014371288
o 4014353141
o 4014353139
o 4014353137
o 4014353136
o 4014353134
o 4014353132
o 4014353130
o 4014353128
o 4014353127
o 4014353125
o 4014353124
o 4014353122
o 4014353120
o 4014353119
o 4014353117
o 3999399232
o 3999381063
o 3999381060
o 3999381058
o 3999381056
o 3999381054
o 3999381052
o 3999381050
o 3999381049
o 3999381047
o 3999381046
o 3999381044
o 3999381042
o 3999381041
o 3999381039
o 3999362891
o 3999344722
o 3999344719
o 3999344717
o 3999344715
o 3999344713
o 3999344711
o 3999344709
o 3999344708
o 3999344706
o 3999344705
o 3999344703
o 3999344701
o 3999344700
o 3999344698
o 3984372641
o 3984354472
o 3984354470
o 3984354468
o 3984354466
o 3984354465
o 3984354463
o 3984354461
o 3984354459
o 3984354458
o 3984354456
o 3984354455
o 3984354453
o 3984354451
o 3984354450
o 3984354448
o 3984336314
o 3984336312
o 3984336310
o 3984336308
o 3984336307
o 3984336305
o 3984336303
o 3984336302
o 3984336300
o 3984336299
o 3984336297
o 3984336295
o 3969364233
o 3969346064
o 3969346062
o 3969346061
o 3969346059
o 3969346057
o 3969346055
o 3969346053
o 3969346052
o 3969346050
o 3969346049
o 3969346047
o 3969346045
o 3969346044
o 3969346042
o 3969327892
o 3969309723
o 3969309721
o 3969309720
o 3969309718
o 3969309716
o 3969309714
o 3969309712
o 3969309711
o 3969309709
o 3969309708
o 3969309706
o 3969309704
o 3969309703
o 3969309701
o 3969309699
o 3969291552
o 3969291549
o 3969291547
o 3969291545
o 3969291543
o 3969291541
o 3969291539
o 3969291538
o 3969291536
o 3969291535
o 3969291533
o 3969291531
o 3969291530
o 3969291528
o 3969273381
o 3969273379
o 3969273377
o 3969273376
o 3969273374
o 3969273372
o 3969273370
o 3969273368
o 3969273367
o 3969273365
o 3969273364
o 3969273362
o 3969273360
o 3969273359
o 3969273357
o 3954319472
o 3954301303
o 3954301301
o 3954301300
o 3954301298
o 3954301296
o 3954301294
o 3954301292
o 3954301290
o 3954301289
o 3954301287
o 3954301286
o 3954301284
o 3954301282
o 3954301281
o 3954301279
o 3954283131
o 3954264962
o 3954264960
o 3954264958
o 3954264957
o 3954264955
o 3954264953
o 3954264951
o 3954264949
o 3954264948
o 3954264946
o 3954264945
o 3954264943
o 3954264941
o 3954264940
o 3954264938
o 3939292881
o 3939274712
o 3939274709
o 3939274707
o 3939274705
o 3939274703
o 3939274701
o 3939274699
o 3939274698
o 3939274696
o 3939274695
o 3939274693
o 3939274691
o 3939274690
o 3939274688
o 3939256550
o 3939256547
o 3939256545
o 3939256543
o 3939256541
o 3939256539
o 3939256537
o 3939256536
o 3939256534
o 3939256533
o 3939256531
o 3939256529
o 3939256528
o 3939256526
o 3939238379
o 3939238377
o 3939238375
o 3939238373
o 3939238372
o 3939238370
o 3939238368
o 3939238366
o 3939238365
o 3939238363
o 3939238362
o 3939238360
o 3939238358
o 3939238357
o 3939238355
o 3924266298
o 3924248129
o 3924248127
o 3924248125
o 3924248123
o 3924248122
o 3924248120
o 3924248118
o 3924248116
o 3924248115
o 3924248113
o 3924248112
o 3924248110
o 3924248108
o 3924248107
o 3924248105
o 3924229958
o 3924229956
o 3924229954
o 3924229953
o 3924229951
o 3924229949
o 3924229947
o 3924229945
o 3924229944
o 3924229942
o 3924229941
o 3924229939
o 3924229937
o 3924229936
o 3924229934
o 3924229933
o 3924229932
o 3924229931
o 3924229929
o 3924229928
o 3924229926
o 3924229924
o 3924229923
o 3924229921
o 3924229919
o 3924211772
o 3924211770
o 3924211768
o 3924211767
o 3924211765
o 3924211763
o 3924211761
o 3924211759
o 3924211758
o 3924211756
o 3924211755
o 3924211753
o 3924211751
o 3924211750
o 3924211748
o 3924193601
o 3924193599
o 3924193597
o 3924193595
o 3924193594
o 3924193592
o 3924193590
o 3924193588
o 3924193587
o 3924193585
o 3924193584
o 3924193582
o 3924193580
o 3924193579
o 3924193577
o 3909239692
o 3909221523
o 3909221521
o 3909221519
o 3909221517
o 3909221516
o 3909221514
o 3909221512
o 3909221510
o 3909221509
o 3909221507
o 3909221506
o 3909221504
o 3909221502
o 3909221501
o 3909221499
o 3909203351
o 3909185182
o 3909185179
o 3909185177
o 3909185175
o 3909185173
o 3909185171
o 3909185169
o 3909185168
o 3909185166
o 3909185165
o 3909185163
o 3909185161
o 3909185160
o 3909185158
o 3894213101
o 3894194932
o 3894194930
o 3894194928
o 3894194927
o 3894194925
o 3894194923
o 3894194921
o 3894194919
o 3894194918
o 3894194916
o 3894194915
o 3894194913
o 3894194911
o 3894194910
o 3894194908
o 3894176774
o 3894176772
o 3894176770
o 3894176768
o 3894176767
o 3894176765
o 3894176763
o 3894176762
o 3894176760
o 3894176759
o 3894176757
o 3894176755
o 3879204693
o 3879186524
o 3879186522
o 3879186521
o 3879186519
o 3879186517
o 3879186515
o 3879186513
o 3879186512
o 3879186510
o 3879186509
o 3879186507
o 3879186505
o 3879186504
o 3879186502
o 3879168352
o 3879150183
o 3879150181
o 3879150180
o 3879150178
o 3879150176
o 3879150174
o 3879150172
o 3879150171
o 3879150169
o 3879150168
o 3879150166
o 3879150164
o 3879150163
o 3879150161
o 3879150159
o 3879132012
o 3879132009
o 3879132007
o 3879132005
o 3879132003
o 3879132001
o 3879131999
o 3879131998
o 3879131996
o 3879131995
o 3879131993
o 3879131991
o 3879131990
o 3879131988
o 3879113841
o 3879113839
o 3879113837
o 3879113835
o 3879113834
o 3879113832
o 3879113830
o 3879113828
o 3879113827
o 3879113825
o 3879113824
o 3879113822
o 3879113820
o 3879113819
o 3879113817
o 3864159932
o 3864141763
o 3864141761
o 3864141759
o 3864141757
o 3864141756
o 3864141754
o 3864141752
o 3864141750
o 3864141749
o 3864141747
o 3864141746
o 3864141744
o 3864141742
o 3864141741
o 3864141739
o 3864123591
o 3864105422
o 3864105420
o 3864105419
o 3864105417
o 3864105415
o 3864105413
o 3864105411
o 3864105409
o 3864105408
o 3864105406
o 3864105405
o 3864105403
o 3864105401
o 3864105400
o 3864105398
o 3849133341
o 3849115172
o 3849115170
o 3849115168
o 3849115167
o 3849115165
o 3849115163
o 3849115161
o 3849115159
o 3849115158
o 3849115156
o 3849115155
o 3849115153
o 3849115151
o 3849115150
o 3849115148
o 3849097010
o 3849097007
o 3849097005
o 3849097003
o 3849097001
o 3849096999
o 3849096997
o 3849096996
o 3849096994
o 3849096993
o 3849096991
o 3849096989
o 3849096988
o 3849096986
o 3849078839
o 3849078837
o 3849078836
o 3849078834
o 3849078832
o 3849078830
o 3849078828
o 3849078826
o 3849078825
o 3849078823
o 3849078822
o 3849078820
o 3849078818
o 3849078817
o 3849078815
o 3834106758
o 3834088589
o 3834088587
o 3834088586
o 3834088584
o 3834088582
o 3834088580
o 3834088578
o 3834088576
o 3834088575
o 3834088573
o 3834088572
o 3834088570
o 3834088568
o 3834088567
o 3834088565
o 3834070418
o 3834070416
o 3834070415
o 3834070413
o 3834070411
o 3834070409
o 3834070407
o 3834070405
o 3834070404
o 3834070402
o 3834070401
o 3834070399
o 3834070397
o 3834070396
o 3834070394
o 3834070393
o 3819152846
o 3819134677
o 3819134674
o 3819134672
o 3819134670
o 3819134668
o 3819134666
o 3819134665
o 3819134663
o 3819134662
o 3819134660
o 3819134658
o 3819134657
o 3819134655
o 3819116505
o 3819098336
o 3819098334
o 3819098332
o 3819098330
o 3819098329
o 3819098327
o 3819098325
o 3819098324
o 3819098322
o 3819098321
o 3819098319
o 3819098317
o 3819098316
o 3819098314
o 3819098312
o 3819080165
o 3819080162
o 3819080160
o 3819080158
o 3819080156
o 3819080154
o 3819080152
o 3819080151
o 3819080149
o 3819080148
o 3819080146
o 3819080144
o 3819080143
o 3819080141
o 3819061994
o 3819061992
o 3819061990
o 3819061989
o 3819061987
o 3819061985
o 3819061983
o 3819061981
o 3819061980
o 3819061978
o 3819061977
o 3819061975
o 3819061973
o 3819061972
o 3819061970
o 3804089913
o 3804071744
o 3804071742
o 3804071740
o 3804071739
o 3804071737
o 3804071735
o 3804071733
o 3804071731
o 3804071730
o 3804071728
o 3804071727
o 3804071725
o 3804071723
o 3804071722
o 3804071720
o 3804053582
o 3804053580
o 3804053578
o 3804053576
o 3804053575
o 3804053573
o 3804053571
o 3804053569
o 3804053568
o 3804053566
o 3804053565
o 3804053563
o 3804053561
o 3804053560
o 3804053558
o 3804035411
o 3804035409
o 3804035407
o 3804035405
o 3804035404
o 3804035402
o 3804035400
o 3804035398
o 3804035397
o 3804035395
o 3804035394
o 3804035392
o 3804035390
o 3804035389
o 3804035387
o 3789063330
o 3789045161
o 3789045159
o 3789045158
o 3789045156
o 3789045154
o 3789045152
o 3789045150
o 3789045148
o 3789045147
o 3789045145
o 3789045144
o 3789045142
o 3789045140
o 3789045139
o 3789045137
o 3789026990
o 3789026987
o 3789026985
o 3789026983
o 3789026981
o 3789026979
o 3789026977
o 3789026976
o 3789026974
o 3789026973
o 3789026971
o 3789026969
o 3789026968
o 3789026966
o 3789026965
o 3789008822
o 3789008820
o 3789008818
o 3789008816
o 3789008815
o 3789008813
o 3789008811
o 3789008809
o 3789008808
o 3789008806
o 3789008805
o 3789008803
o 3789008801
o 3789008800
o 3789008798
o 3788990651
o 3788990649
o 3788990648
o 3788990646
o 3788990644
o 3788990642
o 3788990640
o 3788990638
o 3788990637
o 3788990635
o 3788990634
o 3788990632
o 3788990630
o 3788990629
o 3788990627
o 3788990626