Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-180-1_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2642732
o 524806
o 524018
o 523033
o 522270
o 522230
o 521285
o 521217
o 520703
o 520663
o 519718
o 519706
o 519354
o 519192
o 518369
o 518207
o 518105
o 517523
o 517511
o 517159
o 516997
o 516957
o 516756
o 516174
o 516012
o 515914
o 515752
o 515332
o 515170
o 515098
o 514936
o 514516
o 514354
o 514203
o 514052
o 513890
o 513883
o 513721
o 513649
o 513487
o 513067
o 512905
o 512671
o 512509
o 512358
o 512038
o 511876
o 511804
o 511642
o 511222
o 511060
o 511001
o 510871
o 510850
o 510720
o 510530
o 510368
o 510238
o 510134
o 510004
o 509714
o 509552
o 509422
o 509279
o 509169
o 509039
o 508749
o 508587
o 508457
o 508353
o 508223
o 507933
o 507771
o 507641
o 507254
o 507092
o 506962
o 506824
o 506694
o 506590
o 506460
o 506393
o 506170
o 506008
o 505878
o 505491
o 505329
o 505199
o 505184
o 504799
o 504637
o 504507
o 504498
o 504368
o 504120
o 503958
o 503828
o 503819
o 503689
o 503643
o 503481
o 503351
o 503340
o 503088
o 502926
o 502796
o 502787
o 502657
o 502562
o 502495
o 502272
o 502110
o 501980
o 501971
o 501841
o 501835
o 501705
o 501696
o 501566
o 501181
o 501019
o 500889
o 500880
o 500750
o 500657
o 500648
o 500518
o 500442
o 500440
o 500194
o 500064
o 500055
o 499925
o 499902
o 499893
o 499763
o 499733
o 499726
o 499596
o 499499
o 499432
o 499209
o 499047
o 498917
o 498908
o 498778
o 498772
o 498642
o 498633
o 498503
o 498118
o 497956
o 497826
o 497817
o 497687
o 497678
o 497605
o 497521
o 497359
o 497229
o 497220
o 497090
o 496995
o 496928
o 496705
o 496543
o 496413
o 496404
o 496274
o 496268
o 496138
o 496129
o 495999
o 495910
o 495904
o 495614
o 495452
o 495322
o 495313
o 495183
o 495143
o 495141
o 494895
o 494765
o 494756
o 494626
o 494603
o 494594
o 494464
o 494458
o 494328
o 494319
o 494189
o 494100
o 494094
o 493804
o 493642
o 493512
o 493503
o 493373
o 493272
o 493024
o 492885
o 492862
o 492723
o 492593
o 492587
o 492457
o 492448
o 492318
o 492229
o 492223
o 491933
o 491771
o 491641
o 491632
o 491502
o 491458
o 491374
o 491212
o 491082
o 491073
o 490943
o 490758
o 490596
o 490466
o 490457
o 490327
o 490238
o 490232
o 489942
o 489780
o 489650
o 489641
o 489511
o 489410
o 489162
o 489023
o 489000
o 488861
o 488731
o 488725
o 488595
o 488586
o 488456
o 488367
o 488361
o 488071
o 487909
o 487779
o 487770
o 487640
o 487611
o 487602
o 487472
o 487419
o 487413
o 487123
o 486961
o 486831
o 486822
o 486692
o 486686
o 486556
o 486547
o 486417
o 486328
o 486322
o 486032
o 485870
o 485740
o 485731
o 485601
o 485524
o 485522
o 485276
o 485146
o 485137
o 485007
o 484984
o 484975
o 484845
o 484838
o 484708
o 484460
o 484321
o 484298
o 484159
o 484029
o 484023
o 483893
o 483884
o 483754
o 483665
o 483659
o 483369
o 483207
o 483077
o 483068
o 482938
o 482784
o 482654
o 482645
o 482515
o 482400
o 482238
o 482108
o 482099
o 481969
o 481898
o 481889
o 481759
o 481584
o 481422
o 481292
o 481283
o 481153
o 481082
o 481073
o 480943
o 480937
o 480807
o 480798
o 480668
o 480579
o 480493
o 480331
o 480201
o 480153
o 480121
o 479991
o 479982
o 479852
o 479836
o 479827
o 479697
o 479668
o 479659
o 479529
o 479433
o 479414
o 479252
o 479122
o 479113
o 478983
o 478912
o 478903
o 478773
o 478747
o 478617
o 478598
o 478436
o 478306
o 478297
o 478167
o 478096
o 478087
o 477957
o 477951
o 477821
o 477812
o 477682
o 477593
o 477526
o 477507
o 477345
o 477215
o 477135
o 477005
o 476996
o 476866
o 476778
o 476648
o 476639
o 476509
o 476438
o 476429
o 476299
o 476273
o 476143
o 476124
o 475962
o 475832
o 475823
o 475693
o 475622
o 475613
o 475483
o 475384
o 475254
o 475235
o 475073
o 474943
o 474934
o 474804
o 474737
o 474593
o 474463
o 474454
o 474324
o 474253
o 474244
o 474114
o 474015
o 473885
o 473866
o 473704
o 473574
o 473565
o 473435
o 473429
o 473299
o 473281
o 473201
o 473071
o 472985
o 472823
o 472693
o 472613
o 472483
o 472474
o 472344
o 472292
o 472283
o 472153
o 472098
o 472033
o 472014
o 471852
o 471722
o 471713
o 471583
o 471577
o 471447
o 471438
o 471308
o 471219
o 471213
o 470923
o 470761
o 470631
o 470622
o 470492
o 470421
o 470412
o 470282
o 470215
o 470198
o 470189
o 470059
o 469992
o 469988
o 469979
o 469849
o 469782
o 469693
o 469674
o 469512
o 469382
o 469373
o 469243
o 469176
o 469163
o 469033
o 468966
o 468957
o 468827
o 468818
o 468688
o 468621
o 468617
o 468608
o 468478
o 468411
o 468322
o 468303
o 468141
o 468011
o 468002
o 467872
o 467805
o 467792
o 467662
o 467595
o 467519
o 467452
o 467361
o 467294
o 467225
o 467207
o 467127
o 466997
o 466930
o 466911
o 466749
o 466619
o 466539
o 466409
o 466400
o 466270
o 466203
o 466194
o 466064
o 466055
o 465925
o 465858
o 465854
o 465845
o 465715
o 465648
o 465559
o 465540
o 465378
o 465248
o 465239
o 465109
o 465042
o 465029
o 464899
o 464832
o 464717
o 464650
o 464578
o 464511
o 464480
o 464350
o 464283
o 464275
o 464212
o 464145
o 464126
o 464031
o 463964
o 463901
o 463834
o 463762
o 463695
o 463637
o 463628
o 463498
o 463431
o 463427
o 463418
o 463288
o 463221
o 463106
o 463039
o 463008
o 462878
o 462811
o 462744
o 462630
o 462500
o 462433
o 462420
o 462290
o 462223
o 462151
o 462084
o 461939
o 461809
o 461742
o 461670
o 461603
o 461506
o 461441
o 461422
o 461260
o 461130
o 461121
o 460991
o 460924
o 460809
o 460742
o 460724
o 460711
o 460581
o 460514
o 460447
o 460333
o 460203
o 460136
o 460123
o 459993
o 459926
o 459854
o 459787
o 459784
o 459717
o 459679
o 459660
o 459498
o 459368
o 459359
o 459229
o 459162
o 459073
o 459054
o 458892
o 458762
o 458753
o 458623
o 458556
o 458543
o 458413
o 458346
o 458309
o 458242
o 458201
o 458192
o 458062
o 457995
o 457986
o 457963
o 457824
o 457814
o 457675
o 457652
o 457513
o 457383
o 457316
o 457307
o 457177
o 457168
o 457038
o 456971
o 456967
o 456958
o 456828
o 456761
o 456672
o 456653
o 456491
o 456361
o 456352
o 456222
o 456155
o 456142
o 456012
o 455945
o 455935
o 455926
o 455796
o 455729
o 455710
o 455704
o 455637
o 455595
o 455284
o 455122
o 454992
o 454925
o 454853
o 454786
o 454773
o 454643
o 454576
o 454561
o 454431
o 454422
o 454292
o 454225
o 454216
o 454193
o 454054
o 454044
o 453905
o 453882
o 453743
o 453613
o 453546
o 453522
o 453518
o 453509
o 453379
o 453312
o 453266
o 453188
o 453058
o 452991
o 452965
o 452883
o 452721
o 452654
o 452606
o 452511
o 452444
o 452381
o 452314
o 452242
o 452175
o 452168
o 452149
o 451987
o 451857
o 451848
o 451718
o 451651
o 451629
o 451625
o 451616
o 451486
o 451419
o 451387
o 451368
o 451206
o 451076
o 451009
o 450942
o 450828
o 450698
o 450631
o 450618
o 450488
o 450421
o 450349
o 450282
o 450267
o 450137
o 450128
o 449998
o 449931
o 449922
o 449899
o 449760
o 449750
o 449611
o 449588
o 449449
o 449319
o 449252
o 449106
o 448976
o 448967
o 448837
o 448770
o 448766
o 448757
o 448627
o 448560
o 448528
o 448398
o 448379
o 448217
o 448087
o 448078
o 447948
o 447881
o 447779
o 447649
o 447640
o 447510
o 447443
o 447358
o 447340
o 447260
o 447130
o 447063
o 447044
o 446882
o 446752
o 446672
o 446542
o 446533
o 446403
o 446336
o 446280
o 446271
o 446141
o 446074
o 446037
o 445970
o 445895
o 445794
o 445746
o 445584
o 445454
o 445445
o 445315
o 445248
o 445241
o 445111
o 445044
o 444999
o 444898
o 444850
o 444688
o 444558
o 444549
o 444419
o 444352
o 444219
o 444089
o 444080
o 443950
o 443883
o 443879
o 443870
o 443740
o 443673
o 443658
o 443528
o 443509
o 443347
o 443217
o 443208
o 443078
o 443011
o 442972
o 442842
o 442833
o 442703
o 442636
o 442632
o 442623
o 442493
o 442426
o 442394
o 442264
o 442245
o 442083
o 441953
o 441944
o 441814
o 441747
o 441632
o 441565
o 441547
o 441534
o 441404
o 441337
o 441270
o 441156
o 441026
o 440959
o 440946
o 440816
o 440749
o 440677
o 440610
o 440554
o 440453
o 440405
o 440243
o 440113
o 440104
o 439974
o 439907
o 439885
o 439818
o 439779
o 439649
o 439640
o 439510
o 439443
o 439439
o 439430
o 439300
o 439233
o 439201
o 439071
o 439052
o 438890
o 438760
o 438751
o 438621
o 438554
o 438432
o 438302
o 438235
o 438163
o 438096
o 437999
o 437934
o 437915
o 437753
o 437623
o 437614
o 437484
o 437417
o 437361
o 437260
o 437212
o 437050
o 436920
o 436911
o 436781
o 436714
o 436683
o 436553
o 436486
o 436414
o 436347
o 436314
o 436142
o 436003
o 435980
o 435841
o 435711
o 435644
o 435627
o 435620
o 435490
o 435481
o 435351
o 435284
o 435280
o 435271
o 435141
o 435074
o 435066
o 435062
o 435053
o 434923
o 434856
o 434840
o 434816
o 434749
o 434697
o 434592
o 434453
o 434386
o 434323
o 434256
o 434252
o 434243
o 434113
o 434046
o 434039
o 433909
o 433842
o 433770
o 433703
o 433679
o 433636
o 433522
o 433392
o 433325
o 433277
o 433182
o 433115
o 433043
o 432976
o 432969
o 432830
o 432700
o 432633
o 432561
o 432552
o 432422
o 432355
o 432209
o 432079
o 432073
o 431986
o 431906
o 431776
o 431701
o 431621
o 431491
o 431482
o 431352
o 431285
o 431268
o 431261
o 431131
o 431122
o 430992
o 430925
o 430921
o 430912
o 430782
o 430715
o 430596
o 430587
o 430457
o 430390
o 430332
o 430253
o 430244
o 430114
o 430047
o 429991
o 429965
o 429890
o 429842
o 429680
o 429550
o 429541
o 429411
o 429344
o 429238
o 429108
o 428953
o 428823
o 428814
o 428684
o 428617
o 428610
o 428471
o 428341
o 428274
o 428203
o 428136
o 428008
o 427941
o 427827
o 427697
o 427630
o 427558
o 427491
o 427458
o 427286
o 427147
o 427124
o 426985
o 426855
o 426788
o 426727
o 426718
o 426588
o 426521
o 426514
o 426384
o 426375
o 426245
o 426178
o 426051
o 425984
o 425929
o 425799
o 425790
o 425660
o 425593
o 425542
o 425463
o 425454
o 425324
o 425257
o 425199
o 425120
o 425111
o 424981
o 424914
o 424890
o 424823
o 424741
o 424674
o 424611
o 424544
o 424456
o 424389
o 424326
o 424259
o 424250
o 424187
o 424120
o 424113
o 423974
o 423844
o 423777
o 423742
o 423671
o 423604
o 423580
o 423450
o 423295
o 423165
o 423156
o 423026
o 422959
o 422877
o 422747
o 422592
o 422462
o 422453
o 422323
o 422256
o 422195
o 422186
o 422056
o 421989
o 421982
o 421852
o 421843
o 421713
o 421646
o 421519
o 421452
o 421397
o 421267
o 421258
o 421128
o 421061
o 421010
o 420931
o 420922
o 420792
o 420725
o 420659
o 420592
o 420588
o 420579
o 420449
o 420382
o 420358
o 420291
o 420235
o 420168
o 420134
o 420067
o 420019
o 419924
o 419857
o 419794
o 419727
o 419718
o 419655
o 419588
o 419581
o 419442
o 419312
o 419245
o 419208
o 419193
o 419063
o 419054
o 418924
o 418857
o 418805
o 418742
o 418675
o 418587
o 418520
o 418457
o 418390
o 418386
o 418377
o 418247
o 418180
o 418173
o 418043
o 418034
o 417904
o 417837
o 417781
o 417772
o 417642
o 417575
o 417538
o 417471
o 417426
o 417321
o 417254
o 417159
o 417092
o 417085
o 416955
o 416946
o 416816
o 416749
o 416721
o 416654
o 416588
o 416521
o 416517
o 416508
o 416378
o 416311
o 416265
o 416261
o 416194
o 416099
o 416008
o 415853
o 415723
o 415714
o 415584
o 415517
o 415510
o 415443
o 415380
o 415313
o 415241
o 415174
o 415126
o 415059
o 415055
o 415046
o 414916
o 414849
o 414825
o 414758
o 414754
o 414745
o 414615
o 414548
o 414471
o 414309
o 414179
o 414024
o 413894
o 413885
o 413755
o 413688
o 413675
o 413545
o 413478
o 413412
o 413345
o 413341
o 413332
o 413202
o 413135
o 413098
o 413083
o 412953
o 412944
o 412814
o 412747
o 412695
o 412632
o 412565
o 412477
o 412410
o 412347
o 412280
o 412276
o 412267
o 412137
o 412070
o 412063
o 411933
o 411924
o 411794
o 411727
o 411671
o 411662
o 411532
o 411465
o 411428
o 411361
o 411316
o 411211
o 411144
o 411049
o 410982
o 410975
o 410845
o 410836
o 410706
o 410639
o 410611
o 410544
o 410478
o 410411
o 410407
o 410398
o 410268
o 410201
o 410155
o 410151
o 410084
o 409989
o 409898
o 409743
o 409613
o 409604
o 409474
o 409407
o 409400
o 409333
o 409270
o 409203
o 409131
o 409064
o 409001
o 408939
o 408930
o 408800
o 408733
o 408667
o 408600
o 408596
o 408587
o 408457
o 408390
o 408242
o 408112
o 408103
o 407973
o 407906
o 407902
o 407893
o 407763
o 407696
o 407565
o 407435
o 407426
o 407296
o 407229
o 407225
o 407216
o 407086
o 407019
o 406934
o 406925
o 406795
o 406728
o 406721
o 406591
o 406582
o 406452
o 406385
o 406329
o 406320
o 406190
o 406123
o 406113
o 406104
o 405974
o 405907
o 405839
o 405772
o 405728
o 405633
o 405566
o 405503
o 405436
o 405429
o 405299
o 405290
o 405160
o 405093
o 405078
o 404948
o 404939
o 404809
o 404742
o 404690
o 404686
o 404547
o 404480
o 404417
o 404350
o 404262
o 404195
o 404132
o 404065
o 404058
o 403928
o 403919
o 403789
o 403722
o 403696
o 403566
o 403557
o 403427
o 403360
o 403280
o 403213
o 403147
o 403084
o 403017
o 402937
o 402870
o 402793
o 402726
o 402646
o 402579
o 402450
o 402383
o 402303
o 402236
o 402188
o 402121
o 402041
o 401974
o 401972
o 401964
o 401955
o 401825
o 401758
o 401690
o 401623
o 401579
o 401564
o 401484
o 401417
o 401354
o 401287
o 401158
o 401091
o 401011
o 400944
o 400937
o 400807
o 400799
o 400790
o 400660
o 400593
o 400545
o 400478
o 400415
o 400348
o 400260
o 400193
o 400130
o 400063
o 400046
o 399983
o 399916
o 399787
o 399720
o 399640
o 399573
o 399505
o 399375
o 399366
o 399236
o 399169
o 399120
o 399041
o 399032
o 398902
o 398835
o 398769
o 398702
o 398698
o 398689
o 398559
o 398492
o 398466
o 398336
o 398327
o 398197
o 398130
o 398050
o 397983
o 397917
o 397854
o 397787
o 397707
o 397640
o 397563
o 397496
o 397416
o 397349
o 397220
o 397153
o 397073
o 397006
o 396958
o 396891
o 396811
o 396744
o 396742
o 396734
o 396725
o 396595
o 396528
o 396460
o 396393
o 396349
o 396334
o 396254
o 396187
o 396124
o 396057
o 395928
o 395861
o 395781
o 395714
o 395707
o 395577
o 395569
o 395560
o 395430
o 395363
o 395315
o 395248
o 395185
o 395118
o 395030
o 394963
o 394900
o 394833
o 394816
o 394753
o 394686
o 394557
o 394490
o 394410
o 394343
o 394262
o 394253
o 394123
o 394056
o 394049
o 393910
o 393780
o 393713
o 393687
o 393557
o 393548
o 393418
o 393351
o 393271
o 393204
o 393138
o 393075
o 393008
o 392928
o 392861
o 392784
o 392717
o 392637
o 392570
o 392441
o 392374
o 392294
o 392227
o 392179
o 392112
o 392032
o 391965
o 391963
o 391955
o 391946
o 391816
o 391749
o 391681
o 391614
o 391570
o 391555
o 391475
o 391408
o 391345
o 391278
o 391149
o 391082
o 391002
o 390935
o 390928
o 390798
o 390790
o 390781
o 390651
o 390584
o 390536
o 390469
o 390406
o 390339
o 390251
o 390184
o 390121
o 390054
o 390037
o 389974
o 389907
o 389778
o 389711
o 389631
o 389564
o 389483
o 389474
o 389344
o 389277
o 389197
o 389130
o 389084
o 389003
o 388994
o 388864
o 388797
o 388717
o 388650
o 388549
o 388540
o 388410
o 388343
o 388263
o 388196
o 388130
o 388067
o 388000
o 387920
o 387853
o 387851
o 387843
o 387834
o 387704
o 387637
o 387569
o 387502
o 387458
o 387443
o 387363
o 387296
o 387233
o 387166
o 387037
o 386970
o 386890
o 386823
o 386816
o 386686
o 386678
o 386669
o 386539
o 386472
o 386424
o 386357
o 386294
o 386227
o 386139
o 386072
o 386009
o 385942
o 385925
o 385862
o 385795
o 385666
o 385599
o 385519
o 385452
o 385428
o 385361
o 385232
o 385165
o 385085
o 385018
o 384895
o 384765
o 384756
o 384626
o 384559
o 384479
o 384412
o 384409
o 384346
o 384279
o 384216
o 384136
o 384069
o 384045
o 383978
o 383849
o 383782
o 383702
o 383635
o 383545
o 383478
o 383398
o 383331
o 383324
o 383194
o 383185
o 383055
o 382988
o 382964
o 382897
o 382768
o 382701
o 382621
o 382554
o 382443
o 382313
o 382304
o 382174
o 382107
o 382027
o 381960
o 381957
o 381894
o 381827
o 381764
o 381684
o 381617
o 381593
o 381526
o 381397
o 381330
o 381250
o 381183
o 381142
o 381133
o 381003
o 380936
o 380856
o 380789
o 380726
o 380646
o 380579
o 380540
o 380385
o 380255
o 380246
o 380116
o 380049
o 379969
o 379902
o 379836
o 379769
o 379706
o 379626
o 379559
o 379535
o 379468
o 379339
o 379272
o 379192
o 379125
o 379002
o 378872
o 378863
o 378733
o 378666
o 378586
o 378519
o 378516
o 378453
o 378386
o 378323
o 378243
o 378176
o 378152
o 378085
o 377956
o 377889
o 377809
o 377742
o 377652
o 377585
o 377505
o 377438
o 377431
o 377301
o 377292
o 377162
o 377095
o 377071
o 377004
o 376875
o 376808
o 376728
o 376661
o 376550
o 376420
o 376411
o 376281
o 376214
o 376134
o 376067
o 376064
o 376001
o 375934
o 375871
o 375791
o 375724
o 375700
o 375633
o 375504
o 375437
o 375357
o 375290
o 375258
o 375212
o 375145
o 375065
o 374998
o 374988
o 374921
o 374841
o 374774
o 374711
o 374631
o 374564
o 374535
o 374468
o 374388
o 374321
o 374311
o 374244
o 374164
o 374097
o 374034
o 373954
o 373887
o 373821
o 373754
o 373691
o 373611
o 373544
o 373532
o 373486
o 373419
o 373339
o 373272
o 373248
o 373181
o 373052
o 372985
o 372905
o 372838
o 372809
o 372742
o 372662
o 372595
o 372571
o 372504
o 372375
o 372308
o 372228
o 372161
o 372071
o 372004
o 371924
o 371857
o 371850
o 371720
o 371711
o 371581
o 371514
o 371490
o 371423
o 371294
o 371227
o 371147
o 371080
o 370969
o 370839
o 370830
o 370700
o 370633
o 370553
o 370486
o 370483
o 370420
o 370353
o 370290
o 370210
o 370143
o 370119
o 370052
o 369923
o 369856
o 369776
o 369709
o 369670
o 369603
o 369523
o 369456
o 369403
o 369336
o 369321
o 369241
o 369174
o 369111
o 369044
o 368993
o 368926
o 368846
o 368779
o 368760
o 368693
o 368642
o 368575
o 368495
o 368428
o 368417
o 368350
o 368295
o 368232
o 368152
o 368085
o 368026
o 368017
o 367887
o 367820
o 367740
o 367673
o 367622
o 367555
o 367475
o 367408
o 367361
o 367335
o 367268
o 367248
o 367181
o 367124
o 367019
o 367010
o 366880
o 366813
o 366718
o 366651
o 366571
o 366504
o 366375
o 366308
o 366228
o 366161
o 366071
o 366004
o 365924
o 365857
o 365850
o 365720
o 365711
o 365581
o 365514
o 365490
o 365423
o 365294
o 365227
o 365147
o 365080
o 364969
o 364839
o 364830
o 364700
o 364633
o 364553
o 364486
o 364483
o 364420
o 364353
o 364290
o 364210
o 364143
o 364119
o 364052
o 363923
o 363856
o 363776
o 363709
o 363670
o 363603
o 363523
o 363456
o 363403
o 363336
o 363321
o 363241
o 363174
o 363111
o 363044
o 362993
o 362926
o 362846
o 362779
o 362760
o 362693
o 362642
o 362575
o 362495
o 362428
o 362417
o 362350
o 362295
o 362232
o 362152
o 362085
o 362026
o 362017
o 361887
o 361820
o 361740
o 361673
o 361622
o 361555
o 361475
o 361408
o 361406
o 361339
o 361295
o 361280
o 361263
o 361133
o 361124
o 360994
o 360868
o 360859
o 360729
o 360662
o 360651
o 360584
o 360533
o 360466
o 360386
o 360319
o 360303
o 360236
o 360199
o 360119
o 360052
o 360026
o 359929
o 359862
o 359782
o 359715
o 359667
o 359652
o 359572
o 359505
o 359442
o 359375
o 359309
o 359242
o 359179
o 359099
o 359032
o 358964
o 358897
o 358853
o 358838
o 358758
o 358691
o 358628
o 358561
o 358432
o 358365
o 358285
o 358218
o 358194
o 358127
o 357998
o 357931
o 357851
o 357784
o 357769
o 357767
o 357700
o 357571
o 357504
o 357424
o 357357
o 357306
o 357239
o 357159
o 357092
o 357064
o 357001
o 356921
o 356854
o 356778
o 356769
o 356639
o 356572
o 356492
o 356425
o 356374
o 356307
o 356227
o 356160
o 356101
o 356092
o 355962
o 355895
o 355815
o 355748
o 355697
o 355630
o 355550
o 355483
o 355481
o 355414
o 355370
o 355355
o 355338
o 355208
o 355199
o 355069
o 354943
o 354934
o 354804
o 354737
o 354726
o 354659
o 354608
o 354541
o 354461
o 354394
o 354304
o 354237
o 354157
o 354090
o 354066
o 353999
o 353870
o 353803
o 353723
o 353656
o 353628
o 353565
o 353485
o 353418
o 353362
o 353295
o 353227
o 353160
o 353116
o 353101
o 353021
o 352954
o 352891
o 352824
o 352695
o 352628
o 352548
o 352481
o 352457
o 352390
o 352261
o 352194
o 352114
o 352047
o 352032
o 352030
o 351963
o 351834
o 351767
o 351687
o 351620
o 351569
o 351502
o 351422
o 351355
o 351327
o 351264
o 351184
o 351117
o 351083
o 350928
o 350798
o 350789
o 350659
o 350592
o 350512
o 350445
o 350394
o 350327
o 350247
o 350180
o 350158
o 350078
o 350011
o 349960
o 349893
o 349813
o 349746
o 349699
o 349648
o 349581
o 349501
o 349434
o 349423
o 349305
o 349297
o 349288
o 349158
o 349091
o 349069
o 348989
o 348922
o 348871
o 348804
o 348724
o 348657
o 348613
o 348590
o 348523
o 348443
o 348376
o 348247
o 348180
o 348100
o 348033
o 347982
o 347915
o 347835
o 347768
o 347702
o 347691
o 347624
o 347569
o 347506
o 347426
o 347359
o 347335
o 347268
o 347188
o 347121
o 347085
o 347030
o 346967
o 346887
o 346820
o 346778
o 346770
o 346761
o 346631
o 346564
o 346514
o 346447
o 346359
o 346292
o 346229
o 346162
o 346082
o 346015
o 345960
o 345897
o 345817
o 345750
o 345728
o 345648
o 345581
o 345530
o 345463
o 345383
o 345316
o 345309
o 345180
o 345113
o 345033
o 344966
o 344915
o 344848
o 344768
o 344701
o 344680
o 344613
o 344533
o 344466
o 344337
o 344270
o 344190
o 344123
o 344072
o 344005
o 343925
o 343858
o 343830
o 343767
o 343687
o 343620
o 343584
o 343529
o 343466
o 343386
o 343319
o 343277
o 343269
o 343260
o 343130
o 343063
o 343013
o 342946
o 342858
o 342791
o 342728
o 342661
o 342581
o 342514
o 342459
o 342396
o 342316
o 342249
o 342214
o 342134
o 342067
o 342016
o 341949
o 341869
o 341802
o 341783
o 341756
o 341689
o 341626
o 341559
o 341542
o 341479
o 341412
o 341361
o 341294
o 341214
o 341147
o 341125
o 341045
o 340978
o 340927
o 340860
o 340780
o 340713
o 340669
o 340646
o 340579
o 340499
o 340432
o 340303
o 340236
o 340156
o 340089
o 340038
o 339971
o 339891
o 339824
o 339758
o 339747
o 339680
o 339625
o 339562
o 339482
o 339415
o 339391
o 339324
o 339244
o 339177
o 339141
o 339086
o 339023
o 338943
o 338876
o 338834
o 338826
o 338817
o 338687
o 338620
o 338570
o 338503
o 338415
o 338348
o 338285
o 338218
o 338138
o 338071
o 338016
o 337953
o 337873
o 337806
o 337784
o 337704
o 337637
o 337586
o 337519
o 337439
o 337372
o 337365
o 337236
o 337169
o 337089
o 337022
o 336971
o 336904
o 336824
o 336757
o 336736
o 336669
o 336589
o 336522
o 336393
o 336326
o 336246
o 336179
o 336128
o 336061
o 335981
o 335914
o 335886
o 335823
o 335743
o 335676
o 335640
o 335585
o 335522
o 335442
o 335375
o 335333
o 335325
o 335316
o 335186
o 335119
o 335069
o 335002
o 334914
o 334847
o 334784
o 334717
o 334637
o 334570
o 334515
o 334452
o 334372
o 334305
o 334259
o 334192
o 334187
o 334069
o 334061
o 334052
o 333922
o 333855
o 333787
o 333720
o 333657
o 333590
o 333573
o 333510
o 333443
o 333388
o 333325
o 333245
o 333178
o 333167
o 333100
o 333045
o 332982
o 332902
o 332835
o 332791
o 332768
o 332701
o 332621
o 332554
o 332425
o 332358
o 332278
o 332211
o 332160
o 332093
o 332013
o 331946
o 331880
o 331869
o 331802
o 331747
o 331684
o 331604
o 331537
o 331513
o 331446
o 331366
o 331299
o 331263
o 331208
o 331145
o 331065
o 330998
o 330956
o 330948
o 330939
o 330809
o 330742
o 330692
o 330625
o 330537
o 330470
o 330407
o 330340
o 330260
o 330193
o 330138
o 330075
o 329995
o 329928
o 329906
o 329826
o 329759
o 329708
o 329641
o 329561
o 329494
o 329487
o 329358
o 329291
o 329211
o 329144
o 329093
o 329026
o 328946
o 328879
o 328858
o 328791
o 328711
o 328644
o 328515
o 328448
o 328368
o 328301
o 328250
o 328183
o 328103
o 328036
o 328008
o 327945
o 327865
o 327798
o 327762
o 327707
o 327644
o 327564
o 327497
o 327455
o 327447
o 327438
o 327308
o 327241
o 327191
o 327124
o 327036
o 326969
o 326906
o 326839
o 326759
o 326692
o 326637
o 326574
o 326494
o 326427
o 326381
o 326314
o 326303
o 326225
o 326158
o 326029
o 325962
o 325882
o 325815
o 325762
o 325695
o 325617
o 325550
o 325522
o 325457
o 325379
o 325312
o 325268
o 325138
o 325129
o 324999
o 324932
o 324854
o 324787
o 324707
o 324640
o 324587
o 324520
o 324442
o 324375
o 324351
o 324273
o 324206
o 324153
o 324086
o 324008
o 323941
o 323883
o 323803
o 323736
o 323658
o 323591
o 323538
o 323471
o 323393
o 323326
o 323303
o 323236
o 323158
o 323091
o 322962
o 322895
o 322815
o 322748
o 322695
o 322628
o 322550
o 322483
o 322455
o 322390
o 322312
o 322245
o 322209
o 322154
o 322089
o 322011
o 321944
o 321900
o 321894
o 321885
o 321755
o 321688
o 321628
o 321561
o 321498
o 321431
o 321416
o 321353
o 321286
o 321284
o 321206
o 321139
o 321084
o 321021
o 321019
o 320941
o 320874
o 320828
o 320761
o 320713
o 320633
o 320566
o 320561
o 320494
o 320446
o 320431
o 320351
o 320284
o 320267
o 320221
o 320154
o 320099
o 320036
o 319956
o 319889
o 319878
o 319811
o 319756
o 319693
o 319613
o 319546
o 319481
o 319428
o 319361
o 319283
o 319216
o 319205
o 319085
o 319079
o 319070
o 318940
o 318873
o 318849
o 318771
o 318704
o 318651
o 318584
o 318506
o 318439
o 318427
o 318360
o 318282
o 318215
o 318164
o 318097
o 318017
o 317950
o 317939
o 317872
o 317817
o 317752
o 317674
o 317607
o 317583
o 317505
o 317438
o 317385
o 317318
o 317240
o 317173
o 317115
o 317035
o 316968
o 316890
o 316823
o 316770
o 316703
o 316625
o 316558
o 316535
o 316468
o 316390
o 316323
o 316194
o 316127
o 316047
o 315980
o 315927
o 315860
o 315782
o 315715
o 315687
o 315622
o 315544
o 315477
o 315441
o 315386
o 315321
o 315243
o 315176
o 315132
o 315126
o 315117
o 314987
o 314920
o 314860
o 314793
o 314730
o 314663
o 314648
o 314585
o 314518
o 314516
o 314438
o 314371
o 314316
o 314253
o 314251
o 314173
o 314106
o 314060
o 313993
o 313976
o 313925
o 313858
o 313778
o 313711
o 313710
o 313693
o 313580
o 313574
o 313565
o 313548
o 313435
o 313368
o 313344
o 313266
o 313199
o 313192
o 313146
o 313079
o 313047
o 313001
o 312934
o 312886
o 312806
o 312739
o 312734
o 312667
o 312619
o 312604
o 312524
o 312457
o 312440
o 312394
o 312327
o 312272
o 312209
o 312129
o 312062
o 312051
o 311984
o 311929
o 311866
o 311786
o 311719
o 311654
o 311603
o 311536
o 311456
o 311389
o 311388
o 311258
o 311252
o 311243
o 311113
o 311046
o 311022
o 310944
o 310877
o 310824
o 310757
o 310679
o 310612
o 310600
o 310533
o 310455
o 310388
o 310337
o 310270
o 310190
o 310123
o 310112
o 310045
o 309990
o 309925
o 309847
o 309780
o 309756
o 309678
o 309611
o 309558
o 309491
o 309413
o 309346
o 309339
o 309210
o 309143
o 309063
o 308996
o 308943
o 308876
o 308798
o 308731
o 308710
o 308643
o 308563
o 308496
o 308445
o 308367
o 308300
o 308220
o 308153
o 308100
o 308033
o 307955
o 307888
o 307860
o 307795
o 307717
o 307650
o 307614
o 307559
o 307494
o 307416
o 307349
o 307305
o 307299
o 307290
o 307160
o 307093
o 307033
o 306966
o 306903
o 306836
o 306821
o 306758
o 306691
o 306689
o 306611
o 306544
o 306489
o 306426
o 306424
o 306346
o 306279
o 306233
o 306166
o 306141
o 306121
o 306075
o 306008
o 305978
o 305911
o 305865
o 305798
o 305747
o 305680
o 305600
o 305533
o 305468
o 305417
o 305350
o 305270
o 305203
o 305202
o 305072
o 305066
o 305057
o 304927
o 304860
o 304836
o 304758
o 304691
o 304638
o 304571
o 304493
o 304426
o 304414
o 304347
o 304269
o 304202
o 304151
o 304084
o 304004
o 303937
o 303926
o 303859
o 303804
o 303739
o 303661
o 303594
o 303570
o 303492
o 303425
o 303372
o 303305
o 303227
o 303160
o 303153
o 303024
o 302957
o 302877
o 302810
o 302757
o 302690
o 302612
o 302545
o 302468
o 302401
o 302350
o 302283
o 302203
o 302136
o 302125
o 302058
o 302003
o 301938
o 301860
o 301793
o 301769
o 301691
o 301624
o 301571
o 301504
o 301426
o 301359
o 301347
o 301280
o 301202
o 301135
o 301084
o 301017
o 300937
o 300870
o 300859
o 300792
o 300737
o 300672
o 300594
o 300527
o 300503
o 300425
o 300358
o 300305
o 300238
o 300160
o 300093
o 300047
o 299980
o 299962
o 299903
o 299894
o 299877
o 299764
o 299697
o 299644
o 299577
o 299562
o 299499
o 299432
o 299415
o 299352
o 299285
o 299232
o 299165
o 299087
o 299020
o 298959
o 298948
o 298828
o 298822
o 298813
o 298683
o 298616
o 298563
o 298496
o 298481
o 298418
o 298351
o 298334
o 298271
o 298204
o 298151
o 298084
o 298006
o 297939
o 297907
o 297840
o 297760
o 297693
o 297682
o 297615
o 297560
o 297495
o 297417
o 297350
o 297297
o 297230
o 297152
o 297085
o 297005
o 296938
o 296885
o 296818
o 296740
o 296673
o 296666
o 296537
o 296470
o 296390
o 296323
o 296270
o 296203
o 296125
o 296058
o 295981
o 295914
o 295863
o 295796
o 295716
o 295649
o 295638
o 295571
o 295516
o 295451
o 295373
o 295306
o 295282
o 295204
o 295137
o 295084
o 295017
o 294939
o 294872
o 294860
o 294793
o 294715
o 294648
o 294597
o 294530
o 294450
o 294383
o 294372
o 294305
o 294250
o 294185
o 294107
o 294040
o 294016
o 293938
o 293871
o 293818
o 293751
o 293673
o 293606
o 293560
o 293493
o 293475
o 293416
o 293407
o 293390
o 293277
o 293210
o 293203
o 293157
o 293090
o 293075
o 293012
o 292945
o 292928
o 292865
o 292798
o 292791
o 292745
o 292678
o 292646
o 292600
o 292533
o 292495
o 292488
o 292472
o 292359
o 292292
o 292290
o 292212
o 292145
o 292138
o 292092
o 292025
o 291993
o 291947
o 291880
o 291859
o 291792
o 291712
o 291645
o 291594
o 291516
o 291449
o 291369
o 291302
o 291295
o 291249
o 291182
o 291150
o 291104
o 291037
o 291009
o 290944
o 290866
o 290799
o 290763
o 290708
o 290643
o 290565
o 290498
o 290454
o 290448
o 290439
o 290422
o 290309
o 290242
o 290228
o 290182
o 290115
o 290098
o 290052
o 289985
o 289970
o 289907
o 289840
o 289838
o 289760
o 289693
o 289638
o 289575
o 289573
o 289495
o 289428
o 289410
o 289351
o 289342
o 289325
o 289212
o 289145
o 289138
o 289092
o 289025
o 289010
o 288947
o 288880
o 288863
o 288800
o 288733
o 288726
o 288680
o 288613
o 288581
o 288535
o 288468
o 288425
o 288374
o 288307
o 288227
o 288160
o 288149
o 288082
o 288027
o 287962
o 287884
o 287817
o 287750
o 287733
o 287620
o 287605
o 287588
o 287475
o 287466
o 287449
o 287336
o 287328
o 287319
o 287302
o 287189
o 287122
o 287067
o 287063
o 287054
o 287037
o 286924
o 286857
o 286819
o 286812
o 286796
o 286683
o 286616
o 286614
o 286536
o 286469
o 286416
o 286349
o 286271
o 286204
o 286183
o 286116
o 286036
o 285969
o 285918
o 285840
o 285773
o 285693
o 285626
o 285573
o 285506
o 285428
o 285361
o 285333
o 285268
o 285190
o 285123
o 285087
o 285032
o 284967
o 284889
o 284822
o 284778
o 284772
o 284763
o 284746
o 284633
o 284566
o 284552
o 284506
o 284439
o 284422
o 284376
o 284309
o 284294
o 284231
o 284164
o 284162
o 284084
o 284017
o 283962
o 283899
o 283897
o 283819
o 283752
o 283734
o 283675
o 283666
o 283649
o 283536
o 283469
o 283462
o 283416
o 283349
o 283334
o 283271
o 283204
o 283187
o 283124
o 283057
o 283002
o 282939
o 282937
o 282859
o 282792
o 282772
o 282705
o 282625
o 282558
o 282547
o 282480
o 282425
o 282360
o 282282
o 282215
o 282146
o 282137
o 282120
o 282007
o 282001
o 281992
o 281975
o 281862
o 281795
o 281715
o 281648
o 281595
o 281528
o 281450
o 281383
o 281359
o 281281
o 281214
o 281161
o 281094
o 281016
o 280949
o 280916
o 280857
o 280848
o 280831
o 280718
o 280651
o 280644
o 280581
o 280514
o 280499
o 280436
o 280369
o 280352
o 280289
o 280222
o 280169
o 280102
o 280024
o 279957
o 279897
o 279819
o 279752
o 279672
o 279605
o 279604
o 279587
o 279474
o 279468
o 279459
o 279442
o 279329
o 279262
o 279207
o 279203
o 279194
o 279177
o 279064
o 278997
o 278969
o 278937
o 278891
o 278824
o 278823
o 278756
o 278678
o 278611
o 278558
o 278491
o 278413
o 278346
o 278279
o 278262
o 278149
o 278134
o 278117
o 278004
o 277995
o 277978
o 277865
o 277857
o 277848
o 277831
o 277718
o 277651
o 277596
o 277592
o 277583
o 277566
o 277453
o 277386
o 277341
o 277325
o 277212
o 277145
o 277143
o 277065
o 276998
o 276945
o 276878
o 276800
o 276733
o 276712
o 276645
o 276565
o 276498
o 276447
o 276369
o 276302
o 276222
o 276155
o 276102
o 276035
o 275957
o 275890
o 275862
o 275797
o 275719
o 275652
o 275616
o 275561
o 275496
o 275418
o 275351
o 275307
o 275301
o 275292
o 275275
o 275162
o 275095
o 275081
o 275035
o 274968
o 274951
o 274905
o 274838
o 274823
o 274760
o 274693
o 274691
o 274613
o 274546
o 274491
o 274428
o 274426
o 274348
o 274281
o 274214
o 274197
o 274084
o 274069
o 274052
o 273939
o 273930
o 273913
o 273800
o 273792
o 273783
o 273766
o 273653
o 273586
o 273531
o 273527
o 273518
o 273501
o 273388
o 273321
o 273301
o 273234
o 273154
o 273087
o 273076
o 273009
o 272954
o 272889
o 272811
o 272744
o 272729
o 272651
o 272584
o 272504
o 272437
o 272384
o 272317
o 272239
o 272172
o 272102
o 272035
o 271957
o 271890
o 271810
o 271743
o 271690
o 271623
o 271545
o 271478
o 271449
o 271382
o 271357
o 271328
o 271261
o 271250
o 271191
o 271182
o 271165
o 271052
o 270985
o 270932
o 270865
o 270850
o 270787
o 270720
o 270703
o 270640
o 270573
o 270520
o 270453
o 270375
o 270308
o 270279
o 270212
o 270151
o 270125
o 270079
o 270012
o 269961
o 269955
o 269946
o 269929
o 269912
o 269816
o 269806
o 269800
o 269774
o 269757
o 269661
o 269644
o 269627
o 269531
o 269514
o 269497
o 269480
o 269384
o 269317
o 269268
o 269258
o 269249
o 269232
o 269215
o 269119
o 269052
o 269044
o 268998
o 268931
o 268859
o 268792
o 268782
o 268773
o 268756
o 268739
o 268643
o 268576
o 268569
o 268506
o 268439
o 268424
o 268361
o 268294
o 268277
o 268214
o 268147
o 268140
o 268094
o 268027
o 267995
o 267949
o 267882
o 267836
o 267769
o 267757
o 267746
o 267739
o 267722
o 267626
o 267620
o 267611
o 267594
o 267577
o 267481
o 267414
o 267407
o 267344
o 267277
o 267262
o 267199
o 267132
o 267115
o 267052
o 266985
o 266932
o 266865
o 266787
o 266720
o 266683
o 266670
o 266656
o 266603
o 266578
o 266525
o 266511
o 266458
o 266418
o 266405
o 266391
o 266338
o 266313
o 266260
o 266246
o 266193
o 266171
o 266111
o 266058
o 266044
o 265991
o 265990
o 265950
o 265937
o 265923
o 265870
o 265845
o 265792
o 265778
o 265725
o 265718
o 265708
o 265655
o 265641
o 265588
o Killed
1819.570u 0.152s 30:22.84 99.8%	0+0k 0+0io 0pf+0w