Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-100-2_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 278 2043 3812772
WARNING: Ubcsat not found.
o 3812772
o 331266
o 331130
o 331048
o 330876
o 330740
o 330658
o 330656
o 330520
o 330438
o 330410
o 330263
o 330127
o 330045
o 329873
o 329737
o 329655
o 329653
o 329517
o 329435
o 329407
o 329381
o 329379
o 329243
o 329161
o 329133
o 329096
o 329014
o 328986
o 327764
o 327628
o 327546
o 327374
o 327238
o 327156
o 327154
o 327018
o 326936
o 326908
o 326761
o 326625
o 326543
o 326371
o 326235
o 326153
o 326151
o 326015
o 325933
o 325905
o 325879
o 325877
o 325741
o 325659
o 325631
o 325552
o 325524
o 325377
o 325241
o 325159
o 324987
o 324851
o 324769
o 324767
o 324631
o 324549
o 324521
o 324495
o 324493
o 324357
o 324275
o 324247
o 323977
o 323841
o 323759
o 323587
o 323451
o 323369
o 323367
o 323231
o 323149
o 323121
o 322974
o 322838
o 322756
o 322584
o 322448
o 322366
o 322364
o 322228
o 322146
o 322118
o 322092
o 322090
o 321954
o 321872
o 321844
o 321820
o 321738
o 321736
o 321600
o 321518
o 321490
o 321464
o 321462
o 321326
o 321244
o 321216
o 321186
o 321158
o 321132
o 321130
o 320994
o 320912
o 320884
o 320847
o 320675
o 320539
o 320457
o 320455
o 320319
o 320237
o 320209
o 320183
o 320181
o 320045
o 319963
o 319935
o 319807
o 319725
o 319553
o 319417
o 319335
o 319333
o 319197
o 319115
o 319087
o 319061
o 319059
o 318923
o 318841
o 318813
o 318783
o 318755
o 318729
o 318727
o 318591
o 318509
o 318481
o 318392
o 318310
o 318282
o 318252
o 318224
o 318198
o 318196
o 318060
o 317978
o 317950
o 317927
o 317845
o 317673
o 317537
o 317455
o 317453
o 317317
o 317235
o 317207
o 317181
o 317179
o 317043
o 316961
o 316933
o 316909
o 316827
o 316825
o 316689
o 316607
o 316579
o 316553
o 316551
o 316415
o 316333
o 316305
o 316275
o 316247
o 316221
o 316219
o 316083
o 316001
o 315973
o 315936
o 315764
o 315628
o 315546
o 315544
o 315408
o 315326
o 315298
o 315272
o 315270
o 315134
o 315052
o 315024
o 314896
o 314814
o 314642
o 314506
o 314424
o 314422
o 314286
o 314204
o 314176
o 314150
o 314148
o 314012
o 313930
o 313902
o 313872
o 313844
o 313818
o 313816
o 313680
o 313598
o 313570
o 313493
o 313411
o 313383
o 313360
o 313278
o 313106
o 312970
o 312888
o 312886
o 312750
o 312668
o 312640
o 312614
o 312612
o 312476
o 312394
o 312366
o 312342
o 312260
o 312258
o 312122
o 312040
o 312012
o 311986
o 311984
o 311848
o 311766
o 311738
o 311708
o 311680
o 311654
o 311652
o 311516
o 311434
o 311406
o 311369
o 311197
o 311061
o 310979
o 310977
o 310841
o 310759
o 310731
o 310705
o 310703
o 310567
o 310485
o 310457
o 310411
o 310383
o 310329
o 310247
o 310075
o 309939
o 309857
o 309855
o 309719
o 309637
o 309609
o 309583
o 309581
o 309445
o 309363
o 309335
o 309305
o 309277
o 309251
o 309249
o 309113
o 309031
o 309003
o 308975
o 308945
o 308917
o 308891
o 308889
o 308753
o 308671
o 308643
o 308538
o 308456
o 308454
o 308318
o 308236
o 308208
o 308182
o 308180
o 308044
o 307962
o 307934
o 307904
o 307876
o 307850
o 307848
o 307712
o 307630
o 307602
o 307453
o 307317
o 307235
o 307233
o 307097
o 307015
o 306987
o 306961
o 306959
o 306823
o 306741
o 306713
o 306683
o 306655
o 306629
o 306627
o 306491
o 306409
o 306381
o 306353
o 306323
o 306295
o 306269
o 306267
o 306131
o 306049
o 306021
o 305916
o 305834
o 305832
o 305696
o 305614
o 305586
o 305560
o 305558
o 305422
o 305340
o 305312
o 305282
o 305254
o 305228
o 305226
o 305090
o 305008
o 304980
o 304953
o 304927
o 304925
o 304789
o 304707
o 304679
o 304659
o 304607
o 304579
o 304510
o 304374
o 304292
o 304290
o 304154
o 304072
o 304044
o 304018
o 304016
o 303880
o 303798
o 303770
o 303740
o 303712
o 303686
o 303684
o 303548
o 303466
o 303438
o 303386
o 303358
o 303352
o 303326
o 303324
o 303188
o 303106
o 303078
o 303026
o 302998
o 302973
o 302891
o 302889
o 302753
o 302671
o 302643
o 302617
o 302615
o 302479
o 302397
o 302369
o 302339
o 302311
o 302285
o 302283
o 302147
o 302065
o 302037
o 301985
o 301957
o 301846
o 301764
o 301736
o 301684
o 301656
o 301581
o 301499
o 301471
o 301441
o 301413
o 301387
o 301385
o 301249
o 301167
o 301139
o 301134
o 301106
o 301080
o 301078
o 300942
o 300860
o 300832
o 300802
o 300774
o 300748
o 300746
o 300610
o 300528
o 300500
o 300473
o 300447
o 300445
o 300309
o 300227
o 300199
o 300179
o 300127
o 300099
o 300039
o 299957
o 299929
o 299899
o 299871
o 299845
o 299843
o 299707
o 299625
o 299597
o 299545
o 299517
o 299511
o 299485
o 299483
o 299347
o 299265
o 299237
o 299185
o 299157
o 299132
o 299050
o 299048
o 298912
o 298830
o 298802
o 298776
o 298774
o 298638
o 298556
o 298528
o 298498
o 298470
o 298444
o 298442
o 298306
o 298224
o 298196
o 298144
o 298116
o 297999
o 297917
o 297889
o 297859
o 297831
o 297805
o 297803
o 297667
o 297585
o 297557
o 297505
o 297477
o 297366
o 297284
o 297256
o 297204
o 297176
o 297117
o 297089
o 297037
o 297009
o 296925
o 296843
o 296815
o 296788
o 296762
o 296760
o 296624
o 296542
o 296514
o 296494
o 296442
o 296414
o 296354
o 296272
o 296244
o 296214
o 296186
o 296160
o 296158
o 296022
o 295940
o 295912
o 295860
o 295832
o 295826
o 295800
o 295798
o 295662
o 295580
o 295552
o 295500
o 295472
o 295447
o 295365
o 295363
o 295227
o 295145
o 295117
o 295091
o 295089
o 294953
o 294871
o 294843
o 294813
o 294785
o 294759
o 294757
o 294621
o 294539
o 294511
o 294459
o 294431
o 294314
o 294232
o 294204
o 294174
o 294146
o 294120
o 294118
o 293982
o 293900
o 293872
o 293820
o 293792
o 293681
o 293599
o 293571
o 293519
o 293491
o 293470
o 293468
o 293332
o 293250
o 293222
o 293170
o 293142
o 293117
o 293035
o 293033
o 292897
o 292815
o 292787
o 292761
o 292759
o 292623
o 292541
o 292513
o 292483
o 292455
o 292429
o 292427
o 292291
o 292209
o 292181
o 292129
o 292101
o 291984
o 291902
o 291874
o 291844
o 291816
o 291790
o 291788
o 291652
o 291570
o 291542
o 291490
o 291462
o 291351
o 291269
o 291241
o 291189
o 291161
o 291114
o 291086
o 291034
o 291006
o 290982
o 290930
o 290902
o 290895
o 290813
o 290785
o 290733
o 290705
o 290661
o 290633
o 290581
o 290553
o 290546
o 290464
o 290436
o 290384
o 290356
o 290232
o 290150
o 290122
o 290070
o 290042
o 290034
o 289952
o 289924
o 289894
o 289866
o 289840
o 289838
o 289702
o 289620
o 289592
o 289540
o 289512
o 289505
o 289423
o 289395
o 289343
o 289315
o 289313
o 289285
o 289255
o 289227
o 289201
o 289199
o 289063
o 288981
o 288953
o 288901
o 288873
o 288866
o 288784
o 288756
o 288704
o 288676
o 288652
o 288600
o 288572
o 288565
o 288483
o 288455
o 288403
o 288375
o 288295
o 288267
o 288215
o 288187
o 288076
o 287994
o 287966
o 287914
o 287886
o 287873
o 287845
o 287819
o 287817
o 287681
o 287599
o 287571
o 287519
o 287491
o 287374
o 287292
o 287264
o 287234
o 287206
o 287180
o 287178
o 287042
o 286960
o 286932
o 286880
o 286852
o 286741
o 286659
o 286631
o 286579
o 286551
o 286524
o 286496
o 286379
o 286297
o 286269
o 286239
o 286211
o 286185
o 286183
o 286047
o 285965
o 285937
o 285885
o 285857
o 285746
o 285664
o 285636
o 285584
o 285556
o 285509
o 285481
o 285429
o 285401
o 285377
o 285325
o 285297
o 285290
o 285208
o 285180
o 285128
o 285100
o 285092
o 285010
o 284982
o 284930
o 284902
o 284895
o 284813
o 284785
o 284733
o 284705
o 284703
o 284675
o 284645
o 284617
o 284591
o 284589
o 284453
o 284371
o 284343
o 284291
o 284263
o 284256
o 284174
o 284146
o 284094
o 284066
o 284042
o 283990
o 283962
o 283955
o 283873
o 283845
o 283793
o 283765
o 283738
o 283710
o 283708
o 283680
o 283650
o 283622
o 283596
o 283594
o 283458
o 283376
o 283348
o 283296
o 283268
o 283261
o 283179
o 283151
o 283099
o 283071
o 283047
o 282995
o 282967
o 282960
o 282878
o 282850
o 282798
o 282770
o 282769
o 282687
o 282659
o 282607
o 282579
o 282549
o 282467
o 282439
o 282387
o 282359
o 282346
o 282318
o 282292
o 282290
o 282154
o 282072
o 282044
o 281992
o 281964
o 281847
o 281765
o 281737
o 281707
o 281679
o 281653
o 281651
o 281515
o 281433
o 281405
o 281353
o 281325
o 281214
o 281132
o 281104
o 281052
o 281024
o 280997
o 280969
o 280852
o 280770
o 280742
o 280712
o 280684
o 280658
o 280656
o 280520
o 280438
o 280410
o 280358
o 280330
o 280219
o 280137
o 280109
o 280057
o 280029
o 279982
o 279954
o 279902
o 279874
o 279850
o 279798
o 279770
o 279763
o 279681
o 279653
o 279601
o 279573
o 279565
o 279483
o 279455
o 279403
o 279375
o 279368
o 279286
o 279258
o 279206
o 279178
o 279176
o 279148
o 279118
o 279090
o 279064
o 279062
o 278926
o 278844
o 278816
o 278764
o 278736
o 278729
o 278647
o 278619
o 278567
o 278539
o 278515
o 278463
o 278435
o 278428
o 278346
o 278318
o 278266
o 278238
o 278211
o 278183
o 278181
o 278153
o 278123
o 278095
o 278069
o 278067
o 277931
o 277849
o 277821
o 277769
o 277741
o 277734
o 277652
o 277624
o 277572
o 277544
o 277520
o 277468
o 277440
o 277433
o 277351
o 277323
o 277271
o 277243
o 277177
o 277095
o 277067
o 277015
o 276987
o 276980
o 276898
o 276870
o 276818
o 276790
o 276766
o 276714
o 276686
o 276679
o 276597
o 276569
o 276517
o 276489
o 276462
o 276434
o 276432
o 276404
o 276374
o 276346
o 276320
o 276318
o 276182
o 276100
o 276072
o 276020
o 275992
o 275985
o 275903
o 275875
o 275823
o 275795
o 275771
o 275719
o 275691
o 275684
o 275602
o 275574
o 275522
o 275494
o 275493
o 275411
o 275383
o 275331
o 275303
o 275273
o 275191
o 275163
o 275111
o 275083
o 275070
o 275042
o 275016
o 275014
o 274878
o 274796
o 274768
o 274716
o 274688
o 274571
o 274489
o 274461
o 274431
o 274403
o 274377
o 274375
o 274239
o 274157
o 274129
o 274077
o 274049
o 273938
o 273856
o 273828
o 273776
o 273748
o 273721
o 273693
o 273576
o 273494
o 273466
o 273436
o 273408
o 273382
o 273380
o 273244
o 273162
o 273134
o 273082
o 273054
o 272943
o 272861
o 272833
o 272781
o 272753
o 272706
o 272678
o 272626
o 272598
o 272574
o 272522
o 272494
o 272487
o 272405
o 272377
o 272325
o 272297
o 272289
o 272207
o 272179
o 272127
o 272099
o 272092
o 272010
o 271982
o 271930
o 271902
o 271900
o 271872
o 271842
o 271814
o 271788
o 271786
o 271650
o 271568
o 271540
o 271488
o 271460
o 271453
o 271371
o 271343
o 271291
o 271263
o 271239
o 271187
o 271159
o 271152
o 271070
o 271042
o 270990
o 270962
o 270935
o 270907
o 270905
o 270877
o 270847
o 270819
o 270793
o 270791
o 270655
o 270573
o 270545
o 270493
o 270465
o 270458
o 270376
o 270348
o 270296
o 270268
o 270244
o 270192
o 270164
o 270157
o 270075
o 270047
o 269995
o 269967
o 269885
o 269857
o 269805
o 269777
o 269750
o 269749
o 269667
o 269639
o 269587
o 269559
o 269529
o 269447
o 269419
o 269367
o 269339
o 269326
o 269298
o 269272
o 269270
o 269134
o 269052
o 269024
o 268972
o 268944
o 268827
o 268745
o 268717
o 268687
o 268659
o 268633
o 268631
o 268495
o 268413
o 268385
o 268333
o 268305
o 268194
o 268112
o 268084
o 268032
o 268004
o 267977
o 267949
o 267832
o 267750
o 267722
o 267692
o 267664
o 267638
o 267636
o 267500
o 267418
o 267390
o 267338
o 267310
o 267199
o 267117
o 267089
o 267037
o 267009
o 266962
o 266934
o 266882
o 266854
o 266830
o 266778
o 266750
o 266743
o 266661
o 266633
o 266581
o 266553
o 266545
o 266463
o 266435
o 266383
o 266355
o 266348
o 266266
o 266238
o 266186
o 266158
o 266156
o 266128
o 266098
o 266070
o 266044
o 266042
o 265906
o 265824
o 265796
o 265744
o 265716
o 265709
o 265627
o 265599
o 265547
o 265519
o 265495
o 265443
o 265415
o 265408
o 265326
o 265298
o 265246
o 265218
o 265191
o 265163
o 265161
o 265133
o 265103
o 265075
o 265049
o 265047
o 264911
o 264829
o 264801
o 264749
o 264721
o 264714
o 264632
o 264604
o 264552
o 264524
o 264500
o 264448
o 264420
o 264413
o 264331
o 264303
o 264251
o 264223
o 264141
o 264113
o 264061
o 264033
o 263969
o 263941
o 263889
o 263861
o 263854
o 263772
o 263744
o 263692
o 263664
o 263640
o 263588
o 263560
o 263553
o 263471
o 263443
o 263391
o 263363
o 263281
o 263253
o 263201
o 263173
o 263146
o 263094
o 263066
o 263036
o 262954
o 262926
o 262874
o 262846
o 262833
o 262805
o 262779
o 262777
o 262641
o 262559
o 262531
o 262479
o 262451
o 262334
o 262252
o 262224
o 262194
o 262166
o 262140
o 262138
o 262002
o 261920
o 261892
o 261840
o 261812
o 261701
o 261619
o 261591
o 261539
o 261511
o 261484
o 261456
o 261339
o 261257
o 261229
o 261199
o 261171
o 261145
o 261143
o 261007
o 260925
o 260897
o 260845
o 260817
o 260706
o 260624
o 260596
o 260544
o 260516
o 260469
o 260441
o 260389
o 260361
o 260337
o 260285
o 260257
o 260250
o 260168
o 260140
o 260088
o 260060
o 260052
o 259970
o 259942
o 259890
o 259862
o 259855
o 259773
o 259745
o 259693
o 259665
o 259663
o 259635
o 259605
o 259577
o 259551
o 259549
o 259413
o 259331
o 259303
o 259251
o 259223
o 259216
o 259134
o 259106
o 259054
o 259026
o 259002
o 258950
o 258922
o 258915
o 258833
o 258805
o 258753
o 258725
o 258698
o 258670
o 258668
o 258640
o 258610
o 258582
o 258556
o 258554
o 258418
o 258336
o 258308
o 258256
o 258228
o 258221
o 258139
o 258111
o 258059
o 258031
o 258007
o 257955
o 257927
o 257920
o 257838
o 257810
o 257758
o 257730
o 257648
o 257620
o 257568
o 257540
o 257477
o 257395
o 257367
o 257315
o 257287
o 257280
o 257198
o 257170
o 257118
o 257090
o 257066
o 257014
o 256986
o 256979
o 256897
o 256869
o 256817
o 256789
o 256762
o 256734
o 256732
o 256704
o 256674
o 256646
o 256620
o 256618
o 256482
o 256400
o 256372
o 256320
o 256292
o 256285
o 256203
o 256175
o 256123
o 256095
o 256071
o 256019
o 255991
o 255984
o 255902
o 255874
o 255822
o 255794
o 255784
o 255716
o 255634
o 255606
o 255554
o 255526
o 255415
o 255333
o 255305
o 255253
o 255225
o 255178
o 255150
o 255098
o 255070
o 255046
o 254994
o 254966
o 254959
o 254877
o 254849
o 254797
o 254769
o 254761
o 254679
o 254651
o 254599
o 254571
o 254564
o 254482
o 254454
o 254402
o 254374
o 254372
o 254344
o 254314
o 254286
o 254260
o 254258
o 254122
o 254040
o 254012
o 253960
o 253932
o 253925
o 253843
o 253815
o 253763
o 253735
o 253711
o 253659
o 253631
o 253624
o 253542
o 253514
o 253462
o 253434
o 253407
o 253379
o 253377
o 253349
o 253319
o 253291
o 253265
o 253263
o 253127
o 253045
o 253017
o 252965
o 252937
o 252930
o 252848
o 252820
o 252768
o 252740
o 252716
o 252664
o 252636
o 252629
o 252547
o 252519
o 252467
o 252439
o 252357
o 252329
o 252277
o 252249
o 252142
o 252060
o 252032
o 251980
o 251952
o 251945
o 251863
o 251835
o 251783
o 251755
o 251731
o 251679
o 251651
o 251644
o 251562
o 251534
o 251482
o 251454
o 251366
o 251284
o 251256
o 251204
o 251176
o 251169
o 251087
o 251059
o 251007
o 250979
o 250955
o 250903
o 250875
o 250868
o 250786
o 250758
o 250706
o 250678
o 250596
o 250568
o 250516
o 250488
o 250486
o 250458
o 250456
o 250428
o 250398
o 250370
o 250344
o 250342
o 250206
o 250124
o 250096
o 250044
o 250016
o 250009
o 249927
o 249899
o 249847
o 249819
o 249795
o 249743
o 249715
o 249708
o 249626
o 249598
o 249546
o 249518
o 249430
o 249348
o 249320
o 249268
o 249240
o 249233
o 249151
o 249123
o 249071
o 249043
o 249019
o 248967
o 248939
o 248932
o 248850
o 248822
o 248770
o 248742
o 248732
o 248664
o 248582
o 248554
o 248502
o 248474
o 248363
o 248281
o 248253
o 248201
o 248173
o 248126
o 248098
o 248096
o 248068
o 248038
o 248010
o 247984
o 247982
o 247846
o 247764
o 247736
o 247684
o 247656
o 247649
o 247567
o 247539
o 247487
o 247459
o 247435
o 247383
o 247355
o 247348
o 247266
o 247238
o 247186
o 247158
o 247131
o 247103
o 247101
o 247073
o 247043
o 247015
o 246989
o 246987
o 246851
o 246769
o 246741
o 246689
o 246661
o 246654
o 246572
o 246544
o 246492
o 246464
o 246440
o 246388
o 246360
o 246353
o 246271
o 246243
o 246191
o 246163
o 246075
o 245993
o 245965
o 245913
o 245885
o 245878
o 245796
o 245768
o 245716
o 245688
o 245664
o 245612
o 245584
o 245577
o 245495
o 245467
o 245415
o 245387
o 245305
o 245277
o 245225
o 245197
o 245196
o 245168
o 245144
o 245092
o 245064
o 245057
o 244975
o 244947
o 244895
o 244867
o 244840
o 244812
o 244810
o 244782
o 244752
o 244724
o 244698
o 244696
o 244560
o 244478
o 244450
o 244398
o 244370
o 244363
o 244281
o 244253
o 244201
o 244173
o 244149
o 244097
o 244069
o 244062
o 243980
o 243952
o 243900
o 243872
o 243790
o 243762
o 243710
o 243682
o 243575
o 243493
o 243465
o 243413
o 243385
o 243378
o 243296
o 243268
o 243216
o 243188
o 243164
o 243112
o 243084
o 243077
o 242995
o 242967
o 242915
o 242887
o 242799
o 242717
o 242689
o 242637
o 242609
o 242602
o 242520
o 242492
o 242440
o 242412
o 242388
o 242336
o 242308
o 242301
o 242219
o 242191
o 242139
o 242111
o 242029
o 242001
o 241949
o 241921
o 241919
o 241891
o 241889
o 241861
o 241831
o 241803
o 241777
o 241775
o 241639
o 241557
o 241529
o 241477
o 241449
o 241442
o 241360
o 241332
o 241280
o 241252
o 241228
o 241176
o 241148
o 241141
o 241059
o 241031
o 240979
o 240951
o 240863
o 240781
o 240753
o 240701
o 240673
o 240666
o 240584
o 240556
o 240504
o 240476
o 240452
o 240400
o 240372
o 240365
o 240283
o 240255
o 240203
o 240175
o 240165
o 240097
o 240015
o 239987
o 239935
o 239907
o 239796
o 239714
o 239686
o 239634
o 239606
o 239589
o 239582
o 239500
o 239472
o 239420
o 239392
o 239368
o 239316
o 239288
o 239281
o 239199
o 239171
o 239119
o 239091
o 239089
o 239082
o 239000
o 238972
o 238920
o 238892
o 238868
o 238816
o 238788
o 238781
o 238699
o 238671
o 238619
o 238591
o 238564
o 238536
o 238534
o 238506
o 238476
o 238448
o 238422
o 238420
o 238284
o 238202
o 238174
o 238122
o 238094
o 238087
o 238005
o 237977
o 237925
o 237897
o 237873
o 237821
o 237793
o 237786
o 237704
o 237676
o 237624
o 237596
o 237508
o 237426
o 237398
o 237346
o 237318
o 237311
o 237229
o 237201
o 237149
o 237121
o 237097
o 237045
o 237017
o 237010
o 236928
o 236900
o 236848
o 236820
o 236738
o 236710
o 236658
o 236630
o 236591
o 236563
o 236511
o 236483
o 236476
o 236394
o 236366
o 236314
o 236286
o 236262
o 236210
o 236182
o 236175
o 236093
o 236065
o 236013
o 235985
o 235897
o 235815
o 235787
o 235735
o 235707
o 235700
o 235618
o 235590
o 235538
o 235510
o 235486
o 235434
o 235406
o 235399
o 235317
o 235289
o 235237
o 235209
o 235127
o 235099
o 235047
o 235019
o 235017
o 234989
o 234987
o 234959
o 234929
o 234901
o 234875
o 234873
o 234737
o 234655
o 234627
o 234575
o 234547
o 234540
o 234458
o 234430
o 234378
o 234350
o 234326
o 234274
o 234246
o 234239
o 234157
o 234129
o 234077
o 234049
o 233961
o 233879
o 233851
o 233799
o 233771
o 233764
o 233682
o 233654
o 233602
o 233574
o 233550
o 233498
o 233470
o 233463
o 233381
o 233353
o 233301
o 233273
o 233263
o 233195
o 233113
o 233085
o 233033
o 233005
o 232894
o 232812
o 232784
o 232732
o 232704
o 232687
o 232680
o 232598
o 232570
o 232518
o 232490
o 232466
o 232414
o 232386
o 232379
o 232297
o 232269
o 232217
o 232189
o 232187
o 232180
o 232098
o 232070
o 232018
o 231990
o 231966
o 231914
o 231886
o 231879
o 231797
o 231769
o 231717
o 231689
o 231662
o 231634
o 231632
o 231604
o 231574
o 231546
o 231520
o 231518
o 231382
o 231300
o 231272
o 231220
o 231192
o 231185
o 231103
o 231075
o 231023
o 230995
o 230971
o 230919
o 230891
o 230884
o 230802
o 230774
o 230722
o 230694
o 230606
o 230524
o 230496
o 230444
o 230416
o 230409
o 230327
o 230299
o 230247
o 230219
o 230195
o 230143
o 230115
o 230108
o 230026
o 229998
o 229946
o 229918
o 229836
o 229808
o 229756
o 229728
o 229699
o 229671
o 229664
o 229582
o 229554
o 229502
o 229474
o 229447
o 229419
o 229417
o 229389
o 229359
o 229331
o 229305
o 229303
o 229167
o 229085
o 229057
o 229005
o 228977
o 228970
o 228888
o 228860
o 228808
o 228780
o 228756
o 228704
o 228676
o 228669
o 228587
o 228559
o 228507
o 228479
o 228391
o 228309
o 228281
o 228229
o 228201
o 228194
o 228112
o 228084
o 228032
o 228004
o 227980
o 227928
o 227900
o 227893
o 227811
o 227783
o 227731
o 227703
o 227621
o 227593
o 227541
o 227513
o 227475
o 227447
o 227395
o 227367
o 227279
o 227197
o 227169
o 227117
o 227089
o 227082
o 227000
o 226972
o 226920
o 226892
o 226868
o 226816
o 226788
o 226781
o 226699
o 226671
o 226619
o 226591
o 226509
o 226481
o 226429
o 226401
o 226399
o 226371
o 226369
o 226341
o 226311
o 226283
o 226257
o 226255
o 226119
o 226037
o 226009
o 225957
o 225929
o 225922
o 225840
o 225812
o 225760
o 225732
o 225708
o 225656
o 225628
o 225621
o 225539
o 225511
o 225459
o 225431
o 225343
o 225261
o 225233
o 225181
o 225153
o 225146
o 225064
o 225036
o 224984
o 224956
o 224932
o 224880
o 224852
o 224845
o 224763
o 224735
o 224683
o 224655
o 224645
o 224577
o 224495
o 224467
o 224415
o 224387
o 224276
o 224194
o 224166
o 224114
o 224086
o 224069
o 224062
o 223980
o 223952
o 223900
o 223872
o 223848
o 223796
o 223768
o 223761
o 223679
o 223651
o 223599
o 223571
o 223569
o 223562
o 223480
o 223452
o 223400
o 223372
o 223348
o 223296
o 223268
o 223261
o 223179
o 223151
o 223099
o 223071
o 223044
o 223016
o 223014
o 222986
o 222956
o 222928
o 222902
o 222900
o 222764
o 222682
o 222654
o 222602
o 222574
o 222567
o 222485
o 222457
o 222405
o 222377
o 222353
o 222301
o 222273
o 222266
o 222184
o 222156
o 222104
o 222076
o 221988
o 221906
o 221878
o 221826
o 221798
o 221791
o 221709
o 221681
o 221629
o 221601
o 221577
o 221525
o 221497
o 221490
o 221408
o 221380
o 221328
o 221300
o 221218
o 221190
o 221138
o 221110
o 221081
o 221053
o 221046
o 220964
o 220936
o 220884
o 220856
o 220829
o 220801
o 220799
o 220771
o 220741
o 220713
o 220687
o 220685
o 220549
o 220467
o 220439
o 220387
o 220359
o 220352
o 220270
o 220242
o 220190
o 220162
o 220138
o 220086
o 220058
o 220051
o 219969
o 219941
o 219889
o 219861
o 219773
o 219691
o 219663
o 219611
o 219583
o 219576
o 219494
o 219466
o 219414
o 219386
o 219362
o 219310
o 219282
o 219275
o 219193
o 219165
o 219113
o 219085
o 219003
o 218975
o 218923
o 218895
o 218849
o 218821
o 218797
o 218745
o 218717
o 218710
o 218628
o 218600
o 218548
o 218520
o 218432
o 218350
o 218322
o 218270
o 218242
o 218235
o 218153
o 218125
o 218073
o 218045
o 218021
o 217969
o 217941
o 217934
o 217852
o 217824
o 217772
o 217744
o 217662
o 217634
o 217582
o 217554
o 217516
o 217488
o 217436
o 217408
o 217320
o 217238
o 217210
o 217158
o 217130
o 217123
o 217041
o 217013
o 216961
o 216933
o 216909
o 216857
o 216829
o 216822
o 216740
o 216712
o 216660
o 216632
o 216550
o 216522
o 216470
o 216442
o 216440
o 216412
o 216410
o 216382
o 216352
o 216324
o 216298
o 216296
o 216160
o 216078
o 216050
o 215998
o 215970
o 215963
o 215881
o 215853
o 215801
o 215773
o 215749
o 215697
o 215669
o 215662
o 215580
o 215552
o 215500
o 215472
o 215384
o 215302
o 215274
o 215222
o 215194
o 215187
o 215105
o 215077
o 215025
o 214997
o 214973
o 214921
o 214893
o 214886
o 214804
o 214776
o 214724
o 214696
o 214686
o 214618
o 214536
o 214508
o 214456
o 214428
o 214317
o 214235
o 214207
o 214155
o 214127
o 214110
o 214103
o 214021
o 213993
o 213941
o 213913
o 213889
o 213837
o 213809
o 213802
o 213720
o 213692
o 213640
o 213612
o 213610
o 213603
o 213521
o 213493
o 213441
o 213413
o 213389
o 213337
o 213309
o 213302
o 213220
o 213192
o 213140
o 213112
o 213085
o 213057
o 213055
o 213027
o 212997
o 212969
o 212943
o 212941
o 212805
o 212723
o 212695
o 212643
o 212615
o 212608
o 212526
o 212498
o 212446
o 212418
o 212394
o 212342
o 212314
o 212307
o 212225
o 212197
o 212145
o 212117
o 212029
o 211947
o 211919
o 211867
o 211839
o 211832
o 211750
o 211722
o 211670
o 211642
o 211618
o 211566
o 211538
o 211531
o 211449
o 211421
o 211369
o 211341
o 211259
o 211231
o 211179
o 211151
o 211122
o 211094
o 211087
o 211005
o 210977
o 210925
o 210897
o 210870
o 210842
o 210840
o 210812
o 210782
o 210754
o 210728
o 210726
o 210590
o 210508
o 210480
o 210428
o 210400
o 210393
o 210311
o 210283
o 210231
o 210203
o 210179
o 210127
o 210099
o 210092
o 210010
o 209982
o 209930
o 209902
o 209814
o 209732
o 209704
o 209652
o 209624
o 209617
o 209535
o 209507
o 209455
o 209427
o 209403
o 209351
o 209323
o 209316
o 209234
o 209206
o 209154
o 209126
o 209044
o 209016
o 208964
o 208936
o 208890
o 208862
o 208838
o 208786
o 208758
o 208751
o 208669
o 208641
o 208589
o 208561
o 208479
o 208451
o 208399
o 208371
o 208363
o 208335
o 208253
o 208225
o 208173
o 208145
o 208144
o 208062
o 208034
o 207982
o 207954
o 207930
o 207878
o 207850
o 207843
o 207761
o 207733
o 207681
o 207653
o 207651
o 207644
o 207562
o 207534
o 207482
o 207454
o 207430
o 207378
o 207350
o 207343
o 207261
o 207233
o 207181
o 207153
o 207126
o 207098
o 207096
o 207068
o 207038
o 207010
o 206984
o 206982
o 206846
o 206764
o 206736
o 206684
o 206656
o 206649
o 206567
o 206539
o 206487
o 206459
o 206435
o 206383
o 206355
o 206348
o 206266
o 206238
o 206186
o 206158
o 206070
o 205988
o 205960
o 205908
o 205880
o 205873
o 205791
o 205763
o 205711
o 205683
o 205659
o 205607
o 205579
o 205572
o 205490
o 205462
o 205410
o 205382
o 205300
o 205272
o 205220
o 205192
o 205190
o 205162
o 205155
o 205073
o 205045
o 204993
o 204965
o 204941
o 204889
o 204861
o 204854
o 204772
o 204744
o 204692
o 204664
o 204582
o 204554
o 204502
o 204474
o 204469
o 204441
o 204434
o 204352
o 204324
o 204272
o 204244
o 204220
o 204168
o 204140
o 204133
o 204051
o 204023
o 203971
o 203943
o 203855
o 203773
o 203745
o 203693
o 203665
o 203658
o 203576
o 203548
o 203496
o 203468
o 203444
o 203392
o 203364
o 203357
o 203275
o 203247
o 203195
o 203167
o 203085
o 203057
o 203005
o 202977
o 202975
o 202947
o 202940
o 202858
o 202830
o 202778
o 202750
o 202726
o 202674
o 202646
o 202639
o 202557
o 202529
o 202477
o 202449
o 202367
o 202339
o 202287
o 202259
o 202213
o 202185
o 202161
o 202109
o 202081
o 202074
o 201992
o 201964
o 201912
o 201884
o 201802
o 201774
o 201722
o 201694
o 201693
o 201665
o 201641
o 201589
o 201561
o 201554
o 201472
o 201444
o 201392
o 201364
o 201282
o 201254
o 201202
o 201174
o 201172
o 201144
o 201137
o 201055
o 201027
o 200975
o 200947
o 200923
o 200871
o 200843
o 200836
o 200754
o 200726
o 200674
o 200646
o 200564
o 200536
o 200484
o 200456
o 200451
o 200423
o 200416
o 200334
o 200306
o 200254
o 200226
o 200202
o 200150
o 200122
o 200115
o 200033
o 200005
o 199953
o 199925
o 199837
o 199755
o 199727
o 199675
o 199647
o 199640
o 199558
o 199530
o 199478
o 199450
o 199426
o 199374
o 199346
o 199339
o 199257
o 199229
o 199177
o 199149
o 199067
o 199039
o 198987
o 198959
o 198957
o 198929
o 198922
o 198840
o 198812
o 198760
o 198732
o 198708
o 198656
o 198628
o 198621
o 198539
o 198511
o 198459
o 198431
o 198349
o 198321
o 198269
o 198241
o 198195
o 198167
o 198143
o 198091
o 198063
o 198056
o 197974
o 197946
o 197894
o 197866
o 197784
o 197756
o 197704
o 197676
o 197674
o 197667
o 197585
o 197557
o 197505
o 197477
o 197395
o 197367
o 197315
o 197287
o 197241
o 197213
o 197189
o 197137
o 197109
o 197102
o 197020
o 196992
o 196940
o 196912
o 196830
o 196802
o 196750
o 196722
o 196656
o 196628
o 196576
o 196548
o 196524
o 196472
o 196444
o 196355
o 196327
o 196275
o 196247
o 196165
o 196137
o 196085
o 196057
o 196055
o 196027
o 195938
o 195910
o 195858
o 195830
o 195806
o 195754
o 195726
o 195637
o 195609
o 195557
o 195529
o 195447
o 195419
o 195367
o 195339
o 195293
o 195265
o 195241
o 195189
o 195161
o 195072
o 195044
o 194992
o 194964
o 194882
o 194854
o 194802
o 194774
o 194741
o 194713
o 194631
o 194603
o 194551
o 194523
o 194521
o 194493
o 194404
o 194376
o 194324
o 194296
o 194272
o 194220
o 194192
o 194103
o 194075
o 194023
o 193995
o 193913
o 193885
o 193833
o 193805
o 193759
o 193731
o 193707
o 193655
o 193627
o 193538
o 193510
o 193458
o 193430
o 193348
o 193320
o 193268
o 193240
o 193230
o 193202
o 193113
o 193085
o 193033
o 193005
o 192835
o 192807
o 192755
o 192727
o 192638
o 192610
o 192558
o 192530
o 192506
o 192454
o 192426
o 192337
o 192309
o 192257
o 192229
o 192147
o 192119
o 192067
o 192039
o 192037
o 192009
o 191920
o 191892
o 191840
o 191812
o 191788
o 191736
o 191708
o 191619
o 191591
o 191539
o 191511
o 191429
o 191401
o 191349
o 191321
o 191275
o 191247
o 191223
o 191171
o 191143
o 191054
o 191026
o 190974
o 190946
o 190864
o 190836
o 190784
o 190756
o 190754
o 190665
o 190637
o 190585
o 190557
o 190475
o 190447
o 190395
o 190367
o 190321
o 190293
o 190269
o 190217
o 190189
o 190100
o 190072
o 190020
o 189992
o 189910
o 189882
o 189830
o 189802
o 189798
o 189716
o 189688
o 189636
o 189608
o 189526
o 189498
o 189446
o 189418
o 189358
o 189330
o 189278
o 189250
o 189168
o 189140
o 189088
o 189060
o 189014
o 188986
o 188962
o 188910
o 188882
o 188875
o 188793
o 188765
o 188713
o 188685
o 188603
o 188575
o 188523
o 188495
o 188478
o 188450
o 188398
o 188370
o 188288
o 188260
o 188208
o 188180
o 188175
o 188147
o 188140
o 188058
o 188030
o 187978
o 187950
o 187926
o 187874
o 187846
o 187839
o 187757
o 187729
o 187677
o 187649
o 187561
o 187479
o 187451
o 187399
o 187371
o 187364
o 187282
o 187254
o 187202
o 187174
o 187150
o 187098
o 187070
o 187063
o 186981
o 186953
o 186901
o 186873
o 186791
o 186763
o 186711
o 186683
o 186681
o 186653
o 186646
o 186564
o 186536
o 186484
o 186456
o 186432
o 186380
o 186352
o 186345
o 186263
o 186235
o 186183
o 186155
o 186073
o 186045
o 185993
o 185965
o 185919
o 185891
o 185867
o 185815
o 185787
o 185780
o 185698
o 185670
o 185618
o 185590
o 185508
o 185480
o 185428
o 185400
o 185340
o 185312
o 185260
o 185232
o 185150
o 185122
o 185070
o 185042
o 184996
o 184968
o 184944
o 184892
o 184864
o 184857
o 184775
o 184747
o 184695
o 184667
o 184585
o 184557
o 184505
o 184477
o 184474
o 184446
o 184386
o 184358
o 184306
o 184278
o 184196
o 184168
o 184116
o 184088
o 184042
o 184014
o 183990
o 183938
o 183910
o 183903
o 183821
o 183793
o 183741
o 183713
o 183631
o 183603
o 183551
o 183523
o 183478
o 183450
o 183361
o 183333
o 183281
o 183253
o 183171
o 183143
o 183091
o 183063
o 183017
o 182989
o 182965
o 182913
o 182885
o 182796
o 182768
o 182716
o 182688
o 182606
o 182578
o 182526
o 182498
o 182438
o 182410
o 182358
o 182330
o 182248
o 182220
o 182168
o 182140
o 182094
o 182066
o 182042
o 181990
o 181962
o 181873
o 181845
o 181793
o 181765
o 181683
o 181655
o 181603
o 181575
o 181557
o 181529
o 181483
o 181455
o 181431
o 181379
o 181351
o 181262
o 181234
o 181182
o 181154
o 181072
o 181044
o 180992
o 180964
o 180904
o 180876
o 180824
o 180796
o 180714
o 180686
o 180634
o 180606
o 180560
o 180532
o 180508
o 180456
o 180428
o 180339
o 180311
o 180259
o 180231
o 180149
o 180121
o 180069
o 180041
o 180033
o 179981
o 179953
o 179871
o 179843
o 179791
o 179763
o 179761
o 179733
o 179644
o 179616
o 179564
o 179536
o 179512
o 179460
o 179432
o 179343
o 179315
o 179263
o 179235
o 179153
o 179125
o 179073
o 179045
o 178999
o 178971
o 178947
o 178895
o 178867
o 178778
o 178750
o 178698
o 178670
o 178588
o 178560
o 178508
o 178480
o 178420
o 178392
o 178340
o 178312
o 178230
o 178202
o 178150
o 178122
o 178076
o 178048
o 178024
o 177972
o 177944
o 177855
o 177827
o 177775
o 177747
o 177665
o 177637
o 177585
o 177557
o 177554
o 177526
o 177466
o 177438
o 177386
o 177358
o 177276
o 177248
o 177196
o 177168
o 177122
o 177094
o 177070
o 177018
o 176990
o 176901
o 176873
o 176821
o 176793
o 176711
o 176683
o 176631
o 176603
o 176556
o 176528
o 176504
o 176452
o 176424
o 176335
o 176307
o 176255
o 176227
o 176183
o 176155
o 176103
o 176075
o 176036
o 176008
o 175919
o 175891
o 175839
o 175811
o 175787
o 175735
o 175707
o 175618
o 175590
o 175538
o 175510
o 175451
o 175423
o 175371
o 175343
o 175340
o 175312
o 175252
o 175224
o 175172
o 175144
o 175062
o 175034
o 174982
o 174954
o 174884
o 174856
o 174804
o 174776
o 174687
o 174659
o 174607
o 174579
o 174497
o 174469
o 174417
o 174389
o 174375
o 174347
o 174343
o 174258
o 174230
o 174226
o 174178
o 174150
o 174146
o 174068
o 174040
o 174036
o 173988
o 173960
o 173956
o 173750
o 173722
o 173670
o 173642
o 173553
o 173525
o 173473
o 173445
o 173363
o 173335
o 173283
o 173255
o 173185
o 173157
o 173105
o 173077
o 172988
o 172960
o 172908
o 172880
o 172798
o 172770
o 172718
o 172690
o 172630
o 172602
o 172550
o 172522
o 172440
o 172412
o 172360
o 172332
o 172262
o 172234
o 172182
o 172154
o 172065
o 172037
o 171985
o 171957
o 171875
o 171847
o 171795
o 171767
o 171764
o 171736
o 171676
o 171648
o 171596
o 171568
o 171486
o 171458
o 171406
o 171378
o 171308
o 171280
o 171228
o 171200
o 171111
o 171083
o 171031
o 171003
o 170921
o 170893
o 170841
o 170813
o 170742
o 170714
o 170662
o 170634
o 170545
o 170517
o 170465
o 170437
o 170393
o 170365
o 170313
o 170285
o 170271
o 170268
o 170240
o 170025
o 169997
o 169945
o 169917
o 169828
o 169800
o 169748
o 169720
o 169665
o 169585
o 169468
o 169388
o 169316
o 169236
o 169222
o 169191
o 168948
o 168868
o 168751
o 168671
o 168660
o 168580
o 168470
o 168390
o 168292
o 168212
o 168095
o 168015
o 167905
o 167825
o 167726
o 167646
o 167529
o 167449
o 167377
o 167297
o 167283
o 167252
o 167009
o 166929
o 166812
o 166732
o 166663
o 166583
o 166505
o 166475
o 166386
o 166143
o 166063
o 165946
o 165866
o 165846
o 165774
o 165694
o 165680
o 165649
o 165406
o 165326
o 165209
o 165129
o 165060
o 164980
o 164902
o 164783
o 164540
o 164460
o 164343
o 164263
o 164200
o 164120
o 164003
o 163923
o 163854
o 163774
o 163696
o 163577
o 163334
o 163254
o 163137
o 163057
o 162987
o 162973
o 162942
o 162699
o 162619Killed
1819.708u 0.015s 30:20.17 99.9%	0+0k 0+0io 0pf+0w