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-i3000d0u98-58.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-58.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 46567402410
o 46567402410
o 10205217077
o 10205198908
o 10190190488
o 10190172319
o 10175163899
o 10175145730
o 10160137310
o 10160119141
o 10145110721
o 10145092552
o 10130084132
o 10130065963
o 10115057543
o 10115039374
o 10100030954
o 10100012785
o 10085004365
o 10084986196
o 10069977776
o 10069959607
o 10054951187
o 10054933018
o 10039924598
o 10039906429
o 10024898009
o 10024879840
o 10009871420
o 10009853251
o 9994844831
o 9994826662
o 9979818242
o 9979800073
o 9964791653
o 9964773484
o 9949765064
o 9949746895
o 9949746894
o 9934738474
o 9934720305
o 9919711885
o 9919693716
o 9904685296
o 9904667127
o 9889658707
o 9889640538
o 9874632118
o 9874613949
o 9859605529
o 9859587360
o 9844578940
o 9844560771
o 9829552351
o 9829534182
o 9814525762
o 9814507593
o 9799499173
o 9799481004
o 9784472584
o 9784454415
o 9769445995
o 9769427826
o 9754419406
o 9754401237
o 9739392817
o 9739374648
o 9724366228
o 9724348059
o 9709339639
o 9709321470
o 9694313050
o 9694294881
o 9679286461
o 9679268292
o 9664259872
o 9664241703
o 9664241702
o 9649233282
o 9649215113
o 9634206693
o 9634188524
o 9619180104
o 9619161935
o 9604153515
o 9604135346
o 9589126926
o 9589108757
o 9574100337
o 9574082168
o 9559073748
o 9559055579
o 9544047159
o 9544028990
o 9529020570
o 9529002401
o 9513993981
o 9513975812
o 9498967392
o 9498949223
o 9483940803
o 9483922634
o 9468914214
o 9468896045
o 9453887625
o 9453869456
o 9438861036
o 9438842867
o 9438842866
o 9423834446
o 9423816277
o 9408807857
o 9408789688
o 9393781268
o 9393763099
o 9393763098
o 9378754678
o 9378736509
o 9363728089
o 9363709920
o 9348701500
o 9348683331
o 9333674911
o 9333656742
o 9318648322
o 9318630153
o 9303621733
o 9303603564
o 9288595144
o 9288576975
o 9273568555
o 9273550386
o 9258541966
o 9258523797
o 9243515377
o 9243497208
o 9228488788
o 9228470619
o 9213462199
o 9213444030
o 9198435610
o 9198417441
o 9183409021
o 9183390852
o 9168382432
o 9168364263
o 9153355843
o 9153337674
o 9138329254
o 9138311085
o 9123302665
o 9123284496
o 9108276076
o 9108257907
o 9093249487
o 9093231318
o 9078222898
o 9078204729
o 9063196309
o 9063178140
o 9048169720
o 9048151551
o 9033143131
o 9033124962
o 9018116542
o 9018098373
o 9003089953
o 9003071784
o 8988063364
o 8988045195
o 8988045194
o 8973036774
o 8973018605
o 8958010185
o 8957992016
o 8942983596
o 8942965427
o 8927957007
o 8927938838
o 8912930418
o 8912912249
o 8897903829
o 8897885660
o 8882877240
o 8882859071
o 8867850651
o 8867832482
o 8852824062
o 8852805893
o 8852805892
o 8837797472
o 8837779303
o 8822770883
o 8822752714
o 8807744294
o 8807726125
o 8792717705
o 8792699536
o 8792699535
o 8777691115
o 8777672946
o 8762664526
o 8762646357
o 8747637937
o 8747619768
o 8732611348
o 8732593179
o 8717584759
o 8717566590
o 8702558170
o 8702540001
o 8687531581
o 8687513412
o 8672504992
o 8672486823
o 8657478403
o 8657460234
o 8642451814
o 8642433645
o 8627425225
o 8627407056
o 8612398636
o 8612380467
o 8597372047
o 8597353878
o 8582345458
o 8582327289
o 8567318869
o 8567300700
o 8552292280
o 8552274111
o 8537265691
o 8537247522
o 8522239102
o 8522220933
o 8507212513
o 8507194344
o 8492185924
o 8492167755
o 8477159335
o 8477141166
o 8462132746
o 8462114577
o 8447106157
o 8447087988
o 8432079568
o 8432061399
o 8417052979
o 8417034810
o 8402026390
o 8402008221
o 8386999801
o 8386981632
o 8371973212
o 8371955043
o 8356946623
o 8356928454
o 8341920034
o 8341901865
o 8326893445
o 8326875276
o 8326875275
o 8311866855
o 8311848686
o 8296840266
o 8296822097
o 8281813677
o 8281795508
o 8266787088
o 8266768919
o 8251760499
o 8251742330
o 8236733910
o 8236715741
o 8221707321
o 8221689152
o 8206680732
o 8206662563
o 8191654143
o 8191635974
o 8176627554
o 8176609385
o 8161600965
o 8161582796
o 8146574376
o 8146556207
o 8131547787
o 8131529618
o 8116521198
o 8116503029
o 8101512778
o 8101494609
o 8101494608
o 8101476439
o 8086486188
o 8086468019
o 8086449850
o 8071459599
o 8071441430
o 8071423261
o 8056433010
o 8056414841
o 8056396673
o 8041406422
o 8041388253
o 8041370084
o 8026379833
o 8026361664
o 8026343496
o 8011353245
o 8011335076
o 8011335075
o 8011316907
o 7996326656
o 7996308487
o 7996290319
o 7981300068
o 7981281899
o 7981263731
o 7966273480
o 7966255311
o 7966237143
o 7951246892
o 7951228723
o 7951210555
o 7936220304
o 7936202135
o 7936183967
o 7921193716
o 7921175547
o 7921157379
o 7906167128
o 7906148959
o 7906148958
o 7906148957
o 7906130789
o 7891140538
o 7891122369
o 7876132118
o 7876113949
o 7876095782
o 7861105531
o 7861087362
o 7861069196
o 7846078945
o 7846060776
o 7846060774
o 7846042605
o 7831052354
o 7831034185
o 7831034183
o 7831016014
o 7816025766
o 7816007597
o 7816007595
o 7815989426
o 7800999178
o 7800981009
o 7800981007
o 7800962838
o 7785972590
o 7785954421
o 7785954419
o 7785936250
o 7770946002
o 7770927833
o 7770927831
o 7770909662
o 7755919414
o 7755901245
o 7755901243
o 7755883074
o 7740892826
o 7740874657
o 7740874655
o 7740856486
o 7725866238
o 7725848069
o 7725848067
o 7725829898
o 7710839650
o 7710821481
o 7710821479
o 7710803310
o 7695813062
o 7695794893
o 7695794891
o 7695776722
o 7680786474
o 7680768305
o 7680768303
o 7680750134
o 7665759886
o 7665741717
o 7665741715
o 7665723546
o 7650733299
o 7650715130
o 7650715128
o 7650696959
o 7650696957
o 7635706710
o 7635688541
o 7635688539
o 7635670370
o 7620680123
o 7620661954
o 7620661952
o 7620643783
o 7620643782
o 7605653535
o 7605635366
o 7605635364
o 7605617195
o 7590626948
o 7590608779
o 7590608777
o 7590590608
o 7590590606
o 7575600359
o 7575582190
o 7575582188
o 7575564019
o 7575545856
o 7560555605
o 7560537436
o 7560537435
o 7560537431
o 7560519268
o 7545529017
o 7545510848
o 7545510843
o 7545492680
o 7530502429
o 7530484260
o 7530484259
o 7530484255
o 7530466092
o 7515475841
o 7515457672
o 7515457667
o 7515439504
o 7500449253
o 7500431084
o 7500431083
o 7500431081
o 7500431079
o 7500431077
o 7500412915
o 7485422664
o 7485404495
o 7485404493
o 7485404491
o 7485404489
o 7485404487
o 7485386324
o 7470396073
o 7470377904
o 7470377902
o 7470377900
o 7470377898
o 7470377896
o 7470359738
o 7455369487
o 7455351318
o 7455351316
o 7455351314
o 7455351312
o 7455351310
o 7455351309
o 7455333151
o 7440342900
o 7440324731
o 7440324729
o 7440324727
o 7440324725
o 7440324723
o 7440324722
o 7440324721
o 7440306563
o 7425316312
o 7425298143
o 7425298141
o 7425298139
o 7425298137
o 7425298135
o 7425298134
o 7425298133
o 7425298132
o 7425279974
o 7410289723
o 7410271554
o 7410271552
o 7410271550
o 7410271548
o 7410271546
o 7410271545
o 7410271543
o 7410253385
o 7395263134
o 7395244965
o 7395244963
o 7395244961
o 7395244959
o 7395244957
o 7395226800
o 7380236549
o 7380218380
o 7380218378
o 7380218376
o 7380218374
o 7380218372
o 7380218370
o 7380200213
o 7365209962
o 7365191793
o 7365191791
o 7365191789
o 7365191787
o 7365191785
o 7365191784
o 7365191782
o 7365191780
o 7365173623
o 7350183372
o 7350165203
o 7350165201
o 7350165199
o 7350165197
o 7350165195
o 7350165194
o 7350165192
o 7350147035
o 7335156784
o 7335138615
o 7335138613
o 7335138611
o 7335138609
o 7335138607
o 7335138606
o 7335138604
o 7335138602
o 7335120445
o 7320130194
o 7320112025
o 7320112023
o 7320112021
o 7320112019
o 7320112017
o 7320112016
o 7320112015
o 7320112013
o 7320093856
o 7305103605
o 7305085436
o 7305085434
o 7305085432
o 7305085430
o 7305085428
o 7305085427
o 7305085425
o 7305085423
o 7305067266
o 7290077015
o 7290058846
o 7290058844
o 7290058842
o 7290058840
o 7290058838
o 7290058837
o 7290058836
o 7290058834
o 7290040677
o 7275050426
o 7275032257
o 7275032255
o 7275032253
o 7275032251
o 7275032249
o 7275032248
o 7275032246
o 7275032244
o 7275014087
o 7260023836
o 7260005667
o 7260005665
o 7260005663
o 7260005661
o 7260005659
o 7260005658
o 7260005657
o 7260005656
o 7260005654
o 7259987497
o 7244997246
o 7244979077
o 7244979075
o 7244979073
o 7244979071
o 7244979069
o 7244979068
o 7244979066
o 7244979064
o 7244960907
o 7229970656
o 7229952487
o 7229952485
o 7229952483
o 7229952481
o 7229952479
o 7229952478
o 7229952477
o 7229952475
o 7229952473
o 7229934316
o 7214944065
o 7214925896
o 7214925894
o 7214925892
o 7214925890
o 7214925888
o 7214925887
o 7214907730
o 7199917479
o 7199899310
o 7199899308
o 7199899306
o 7199899304
o 7199899302
o 7184909060
o 7184890891
o 7184890889
o 7184890887
o 7184890885
o 7184890883
o 7184872719
o 7184872717
o 7184872715
o 7184872713
o 7184872711
o 7169882469
o 7169864300
o 7169864298
o 7169864296
o 7169864294
o 7169864292
o 7169846129
o 7169846127
o 7169846125
o 7169846123
o 7169846121
o 7154855879
o 7154837710
o 7154837708
o 7154837706
o 7154837704
o 7154837702
o 7154819540
o 7154819538
o 7154819536
o 7154819534
o 7154819532
o 7139829290
o 7139811121
o 7139811119
o 7139811117
o 7139811115
o 7139811113
o 7139792951
o 7139792949
o 7139792947
o 7139792945
o 7139792943
o 7124802701
o 7124784532
o 7124784530
o 7124784528
o 7124784526
o 7124784524
o 7109812450
o 7109794281
o 7109794279
o 7109794277
o 7109794275
o 7109794273
o 7109776111
o 7109776109
o 7109776107
o 7109776105
o 7109776103
o 7094785861
o 7094767692
o 7094767690
o 7094767688
o 7094767686
o 7094767684
o 7094749527
o 7094749525
o 7094749523
o 7094749521
o 7094749519
o 7079759277
o 7079741108
o 7079741106
o 7079741104
o 7079741102
o 7079741100
o 7079741098
o 7079741096
o 7079722939
o 7079722937
o 7079722935
o 7079722933
o 7079722931
o 7064732689
o 7064714520
o 7064714518
o 7064714516
o 7064714514
o 7064714512
o 7064696349
o 7064696347
o 7064696345
o 7064696343
o 7064696341
o 7064696340
o 7049706098
o 7049687929
o 7049687927
o 7049687925
o 7049687923
o 7049687921
o 7049669758
o 7049669756
o 7049669754
o 7049669752
o 7049669750
o 7034679513
o 7034661344
o 7034661342
o 7034661340
o 7034661338
o 7034661336
o 7034643173
o 7034643171
o 7034643169
o 7034643167
o 7034643165
o 7034643164
o 7019652922
o 7019634753
o 7019634751
o 7019634749
o 7019634747
o 7019634745
o 7019616582
o 7019616580
o 7019616578
o 7019616576
o 7019616574
o 7019616572
o 7019616570
o 7019598407
o 7019598405
o 7019598403
o 7019598401
o 7019598399
o 7004608162
o 7004589993
o 7004589991
o 7004589989
o 7004589987
o 7004589985
o 7004571822
o 7004571820
o 7004571818
o 7004571816
o 7004571814
o 7004571813
o 6989581571
o 6989563402
o 6989563400
o 6989563398
o 6989563396
o 6989563394
o 6989545231
o 6989545229
o 6989545227
o 6989545225
o 6989545223
o 6989545222
o 6989527064
o 6989527062
o 6989527060
o 6989527058
o 6989527056
o 6989508893
o 6989508891
o 6989508889
o 6989508887
o 6989508885
o 6989508884
o 6974518642
o 6974500473
o 6974500471
o 6974500469
o 6974500467
o 6974500465
o 6974482302
o 6974482300
o 6974482298
o 6974482296
o 6974482294
o 6974482293
o 6974482291
o 6974482289
o 6959546558
o 6959528389
o 6959528387
o 6959528385
o 6959528383
o 6959528381
o 6959510218
o 6959510216
o 6959510214
o 6959510212
o 6959510210
o 6944519973
o 6944501804
o 6944501802
o 6944501800
o 6944501798
o 6944501796
o 6944483633
o 6944483631
o 6944483629
o 6944483627
o 6944483625
o 6944483624
o 6929493382
o 6929475213
o 6929475211
o 6929475209
o 6929475207
o 6929475205
o 6929457042
o 6929457040
o 6929457038
o 6929457036
o 6929457034
o 6929457032
o 6929457030
o 6929438867
o 6929438865
o 6929438863
o 6929438861
o 6929438859
o 6914448622
o 6914430453
o 6914430451
o 6914430449
o 6914430447
o 6914430445
o 6914412282
o 6914412280
o 6914412278
o 6914412276
o 6914412274
o 6914412273
o 6899422031
o 6899403862
o 6899403860
o 6899403858
o 6899403856
o 6899403854
o 6899385691
o 6899385689
o 6899385687
o 6899385685
o 6899385683
o 6899385682
o 6899367524
o 6899367522
o 6899367520
o 6899367518
o 6899367516
o 6899349353
o 6899349351
o 6899349349
o 6899349347
o 6899349345
o 6899349344
o 6884359102
o 6884340933
o 6884340931
o 6884340929
o 6884340927
o 6884340925
o 6884322762
o 6884322760
o 6884322758
o 6884322756
o 6884322754
o 6884322753
o 6884322751
o 6884322749
o 6884304586
o 6884304584
o 6884304582
o 6884304580
o 6884304578
o 6884286415
o 6884286413
o 6884286411
o 6884286409
o 6884286407
o 6869332512
o 6869314343
o 6869314341
o 6869314339
o 6869314337
o 6869314335
o 6869296172
o 6869296170
o 6869296168
o 6869296166
o 6869296164
o 6869296163
o 6869296161
o 6869296159
o 6869277996
o 6869277994
o 6869277992
o 6869277990
o 6869277988
o 6869259825
o 6869259823
o 6869259821
o 6869259819
o 6869259817
o 6854305922
o 6854287753
o 6854287751
o 6854287749
o 6854287747
o 6854287745
o 6854269582
o 6854269580
o 6854269578
o 6854269576
o 6854269574
o 6854269573
o 6854269571
o 6854269569
o 6854251406
o 6854251404
o 6854251402
o 6854251400
o 6854251398
o 6854233235
o 6854233233
o 6854233231
o 6854233229
o 6854233227
o 6839279332
o 6839261163
o 6839261161
o 6839261159
o 6839261157
o 6839261155
o 6839242992
o 6839242990
o 6839242988
o 6839242986
o 6839242984
o 6839242983
o 6839242981
o 6839242979
o 6839224816
o 6839224814
o 6839224812
o 6839224810
o 6839224808
o 6839206645
o 6839206643
o 6839206641
o 6839206639
o 6839206637
o 6824252742
o 6824234573
o 6824234571
o 6824234569
o 6824234567
o 6824234565
o 6824216402
o 6824216400
o 6824216398
o 6824216396
o 6824216394
o 6824216393
o 6824216391
o 6824216389
o 6824198226
o 6824198224
o 6824198222
o 6824198220
o 6824198218
o 6824180055
o 6824180053
o 6824180051
o 6824180049
o 6824180047
o 6809262497
o 6809244328
o 6809244326
o 6809244324
o 6809244322
o 6809244320
o 6809226157
o 6809226155
o 6809226153
o 6809226151
o 6809226149
o 6809226148
o 6794235906
o 6794217737
o 6794217735
o 6794217733
o 6794217731
o 6794217729
o 6794199566
o 6794199564
o 6794199562
o 6794199560
o 6794199558
o 6794199557
o 6794181399
o 6794181397
o 6794181395
o 6794181393
o 6794181391
o 6794163228
o 6794163226
o 6794163224
o 6794163222
o 6794163220
o 6794163219
o 6779172977
o 6779154808
o 6779154806
o 6779154804
o 6779154802
o 6779154800
o 6779136637
o 6779136635
o 6779136633
o 6779136631
o 6779136629
o 6779136628
o 6779136626
o 6779136624
o 6779118461
o 6779118459
o 6779118457
o 6779118455
o 6779118453
o 6779100290
o 6779100288
o 6779100286
o 6779100284
o 6779100282
o 6764146394
o 6764128225
o 6764128223
o 6764128221
o 6764128219
o 6764128217
o 6764110054
o 6764110052
o 6764110050
o 6764110048
o 6764110046
o 6764110045
o 6764110043
o 6764110041
o 6764091878
o 6764091876
o 6764091874
o 6764091872
o 6764091870
o 6764073707
o 6764073705
o 6764073703
o 6764073701
o 6764073699
o 6749119806
o 6749101637
o 6749101635
o 6749101633
o 6749101631
o 6749101629
o 6749083466
o 6749083464
o 6749083462
o 6749083460
o 6749083458
o 6749083457
o 6749083455
o 6749083453
o 6749065290
o 6749065288
o 6749065286
o 6749065284
o 6749065282
o 6749047119
o 6749047117
o 6749047115
o 6749047113
o 6749047111
o 6749028954
o 6749028952
o 6749028950
o 6749028948
o 6749028946
o 6749028945
o 6749028943
o 6749028941
o 6749010784
o 6749010782
o 6749010780
o 6749010778
o 6749010776
o 6749010775
o 6749010773
o 6749010771
o 6749010770
o 6734056875
o 6734038706
o 6734038704
o 6734038702
o 6734038700
o 6734038698
o 6734020535
o 6734020533
o 6734020531
o 6734020529
o 6734020527
o 6734020525
o 6734020523
o 6734002360
o 6734002358
o 6734002356
o 6734002354
o 6734002352
o 6733984189
o 6733984187
o 6733984185
o 6733984183
o 6733984181
o 6719030286
o 6719012117
o 6719012115
o 6719012113
o 6719012111
o 6719012109
o 6718993946
o 6718993944
o 6718993942
o 6718993940
o 6718993938
o 6718993937
o 6718993935
o 6718993933
o 6718975770
o 6718975768
o 6718975766
o 6718975764
o 6718975762
o 6718957599
o 6718957597
o 6718957595
o 6718957593
o 6718957591
o 6704003696
o 6703985527
o 6703985525
o 6703985523
o 6703985521
o 6703985519
o 6703967356
o 6703967354
o 6703967352
o 6703967350
o 6703967348
o 6703967347
o 6703967345
o 6703967343
o 6703949180
o 6703949178
o 6703949176
o 6703949174
o 6703949172
o 6703931009
o 6703931007
o 6703931005
o 6703931003
o 6703931001
o 6689013448
o 6688995279
o 6688995277
o 6688995275
o 6688995273
o 6688995271
o 6688977108
o 6688977106
o 6688977104
o 6688977102
o 6688977100
o 6688977099
o 6688958941
o 6688958939
o 6688958937
o 6688958935
o 6688958933
o 6688940770
o 6688940768
o 6688940766
o 6688940764
o 6688940762
o 6688940761
o 6673950519
o 6673932350
o 6673932348
o 6673932346
o 6673932344
o 6673932342
o 6673914179
o 6673914177
o 6673914175
o 6673914173
o 6673914171
o 6673914170
o 6673914168
o 6673914166
o 6673896003
o 6673896001
o 6673895999
o 6673895997
o 6673895995
o 6673877832
o 6673877830
o 6673877828
o 6673877826
o 6673877824
o 6658923934
o 6658905765
o 6658905763
o 6658905761
o 6658905759
o 6658905757
o 6658887594
o 6658887592
o 6658887590
o 6658887588
o 6658887586
o 6658887585
o 6658887583
o 6658887581
o 6658869418
o 6658869416
o 6658869414
o 6658869412
o 6658869410
o 6658851247
o 6658851245
o 6658851243
o 6658851241
o 6658851239
o 6658851238
o 6643897348
o 6643879179
o 6643879177
o 6643879175
o 6643879173
o 6643879171
o 6643861008
o 6643861006
o 6643861004
o 6643861002
o 6643861000
o 6643860999
o 6643860997
o 6643860995
o 6643842832
o 6643842830
o 6643842828
o 6643842826
o 6643842824
o 6643824661
o 6643824659
o 6643824657
o 6643824655
o 6643824653
o 6628925272
o 6628907103
o 6628907101
o 6628907099
o 6628907097
o 6628907095
o 6628888932
o 6628888930
o 6628888928
o 6628888926
o 6628888924
o 6628888923
o 6613898681
o 6613880512
o 6613880510
o 6613880508
o 6613880506
o 6613880504
o 6613862341
o 6613862339
o 6613862337
o 6613862335
o 6613862333
o 6613862332
o 6613862331
o 6613844173
o 6613844171
o 6613844169
o 6613844167
o 6613844165
o 6613826002
o 6613826000
o 6613825998
o 6613825996
o 6613825994
o 6613825993
o 6598835751
o 6598817582
o 6598817580
o 6598817578
o 6598817576
o 6598817574
o 6598799411
o 6598799409
o 6598799407
o 6598799405
o 6598799403
o 6598799402
o 6598799400
o 6598799398
o 6598781235
o 6598781233
o 6598781231
o 6598781229
o 6598781227
o 6598763064
o 6598763062
o 6598763060
o 6598763058
o 6598763056
o 6598744898
o 6598744896
o 6598744894
o 6598744892
o 6598744890
o 6598744888
o 6598744886
o 6598726729
o 6598726727
o 6598726725
o 6598726723
o 6598726721
o 6598726720
o 6598726718
o 6598726716
o 6583809162
o 6583790993
o 6583790991
o 6583790989
o 6583790987
o 6583790985
o 6583772822
o 6583772820
o 6583772818
o 6583772816
o 6583772814
o 6583772813
o 6583772811
o 6583772809
o 6583754646
o 6583754644
o 6583754642
o 6583754640
o 6583754638
o 6583736475
o 6583736473
o 6583736471
o 6583736469
o 6583736467
o 6583718310
o 6583718308
o 6583718306
o 6583718304
o 6583718302
o 6583718301
o 6583718299
o 6583718297
o 6583700139
o 6583700137
o 6583700135
o 6583700133
o 6583700131
o 6583700130
o 6583700128
o 6583700126
o 6583681969
o 6583681967
o 6583681965
o 6583681963
o 6583681961
o 6583681960
o 6583681958
o 6583681956
o 6583663799
o 6583663797
o 6583663795
o 6583663793
o 6583663791
o 6583663790
o 6583663788
o 6583663786
o 6568746233
o 6568746231
o 6568746229
o 6568746227
o 6568746225
o 6568728062
o 6568728060
o 6568728058
o 6568728056
o 6568728054
o 6568728053
o 6568728052
o 6568728050
o 6568728048
o 6568709892
o 6568709890
o 6568709888
o 6568709886
o 6568709884
o 6553701473
o 6553701471
o 6553701469
o 6553701467
o 6553701465
o 6553683302
o 6553683300
o 6553683298
o 6553683296
o 6553683294
o 6553683293
o 6538674882
o 6538674880
o 6538674878
o 6538674876
o 6538674874
o 6538656711
o 6538656709
o 6538656707
o 6538656705
o 6538656703
o 6538656702
o 6538656701
o 6538638543
o 6538638541
o 6538638539
o 6538638537
o 6538638535
o 6538620372
o 6538620370
o 6538620368
o 6538620366
o 6538620364
o 6538620363
o 6523611952
o 6523611950
o 6523611948
o 6523611946
o 6523611944
o 6523593781
o 6523593779
o 6523593777
o 6523593775
o 6523593773
o 6523593772
o 6523593770
o 6523593768
o 6523575605
o 6523575603
o 6523575601
o 6523575599
o 6523575597
o 6523557434
o 6523557432
o 6523557430
o 6523557428
o 6523557426
o 6508585362
o 6508585360
o 6508585358
o 6508585356
o 6508585354
o 6508567191
o 6508567189
o 6508567187
o 6508567185
o 6508567183
o 6508567182
o 6508567180
o 6508567178
o 6508549015
o 6508549013
o 6508549011
o 6508549009
o 6508549007
o 6508530844
o 6508530842
o 6508530840
o 6508530838
o 6508530836