Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-100-2_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 314356
o 311930
o 311860
o 310809
o 310739
o 310514
o 310444
o 309689
o 309619
o 309021
o 308951
o 308156
o 308086
o 307900
o 307830
o 307035
o 306965
o 306740
o 306670
o 306574
o 306504
o 306279
o 306209
o 306191
o 306121
o 305535
o 305465
o 305279
o 305209
o 304414
o 304344
o 304119
o 304049
o 303684
o 303614
o 303428
o 303358
o 302563
o 302493
o 302268
o 302198
o 302175
o 302105
o 302085
o 301574
o 301504
o 301279
o 301209
o 301186
o 301116
o 301113
o 301043
o 300818
o 300748
o 300725
o 300655
o 300637
o 300567
o 300509
o 300439
o 300074
o 300004
o 299534
o 299464
o 298953
o 298883
o 298658
o 298588
o 298565
o 298495
o 298439
o 298369
o 298346
o 298276
o 298258
o 298188
o 297728
o 297658
o 297147
o 297077
o 296852
o 296782
o 296759
o 296689
o 296574
o 296504
o 296279
o 296209
o 296186
o 296116
o 296084
o 296014
o 295991
o 295921
o 295845
o 295775
o 295550
o 295480
o 295457
o 295387
o 295007
o 294937
o 294712
o 294642
o 294619
o 294549
o 294434
o 294364
o 294139
o 294069
o 294046
o 293976
o 293973
o 293903
o 293678
o 293608
o 293585
o 293515
o 293497
o 293427
o 293393
o 293370
o 293300
o 293224
o 293154
o 292929
o 292859
o 292836
o 292766
o 292386
o 292316
o 292091
o 292021
o 291998
o 291928
o 291813
o 291743
o 291518
o 291448
o 291425
o 291355
o 291151
o 291081
o 290570
o 290500
o 290275
o 290205
o 290182
o 290112
o 289997
o 289927
o 289702
o 289632
o 289609
o 289539
o 289507
o 289437
o 289414
o 289344
o 289268
o 289198
o 288973
o 288903
o 288880
o 288810
o 288430
o 288360
o 288135
o 288065
o 288042
o 287972
o 287857
o 287787
o 287562
o 287492
o 287469
o 287399
o 287396
o 287326
o 287101
o 287031
o 287008
o 286938
o 286920
o 286850
o 286816
o 286793
o 286723
o 286647
o 286577
o 286352
o 286282
o 286259
o 286189
o 285809
o 285739
o 285514
o 285444
o 285421
o 285351
o 285236
o 285166
o 284941
o 284871
o 284848
o 284778
o 284729
o 284715
o 284645
o 284614
o 284544
o 284420
o 284350
o 284319
o 284249
o 284226
o 284156
o 284153
o 284083
o 283959
o 283889
o 283858
o 283788
o 283765
o 283695
o 283677
o 283607
o 283573
o 283550
o 283480
o 283435
o 283404
o 283334
o 283210
o 283140
o 283109
o 283039
o 283016
o 282946
o 282667
o 282597
o 282566
o 282496
o 282372
o 282302
o 282271
o 282201
o 282178
o 282108
o 282094
o 282024
o 281993
o 281923
o 281799
o 281729
o 281698
o 281628
o 281605
o 281535
o 281350
o 281280
o 281249
o 281179
o 281055
o 280985
o 280954
o 280884
o 280861
o 280791
o 280777
o 280707
o 280676
o 280606
o 280482
o 280412
o 280381
o 280311
o 280288
o 280218
o 280215
o 280145
o 280021
o 279951
o 279920
o 279850
o 279827
o 279757
o 279739
o 279669
o 279635
o 279612
o 279542
o 279497
o 279466
o 279396
o 279272
o 279202
o 279171
o 279101
o 279078
o 279008
o 278729
o 278659
o 278628
o 278558
o 278434
o 278364
o 278333
o 278263
o 278240
o 278170
o 278156
o 278086
o 278055
o 277985
o 277861
o 277791
o 277760
o 277690
o 277667
o 277597
o 277563
o 277540
o 277470
o 277191
o 277121
o 277090
o 277020
o 276896
o 276826
o 276795
o 276725
o 276702
o 276632
o 276618
o 276548
o 276517
o 276447
o 276323
o 276253
o 276222
o 276152
o 276129
o 276059
o 276023
o 275992
o 275922
o 275899
o 275829
o 275550
o 275480
o 275449
o 275379
o 275255
o 275185
o 275154
o 275084
o 275061
o 274991
o 274977
o 274907
o 274876
o 274806
o 274682
o 274612
o 274581
o 274511
o 274488
o 274418
o 274415
o 274345
o 274221
o 274151
o 274120
o 274050
o 274027
o 273957
o 273939
o 273869
o 273835
o 273812
o 273742
o 273697
o 273666
o 273596
o 273472
o 273402
o 273371
o 273301
o 273278
o 273208
o 272929
o 272859
o 272828
o 272758
o 272634
o 272564
o 272533
o 272463
o 272440
o 272370
o 272356
o 272286
o 272255
o 272185
o 272061
o 271991
o 271960
o 271890
o 271867
o 271797
o 271794
o 271724
o 271710
o 271640
o 271230
o 271160
o 271129
o 271059
o 270935
o 270865
o 270834
o 270764
o 270741
o 270671
o 270657
o 270587
o 270556
o 270486
o 270362
o 270292
o 270261
o 270191
o 270168
o 270098
o 270073
o 270042
o 269972
o 269848
o 269778
o 269747
o 269677
o 269654
o 269584
o 269563
o 269532
o 269462
o 269439
o 269369
o 269090
o 269020
o 268989
o 268919
o 268795
o 268725
o 268694
o 268624
o 268601
o 268531
o 268517
o 268447
o 268416
o 268346
o 268222
o 268152
o 268121
o 268051
o 268028
o 267958
o 267955
o 267885
o 267761
o 267691
o 267660
o 267590
o 267567
o 267497
o 267479
o 267409
o 267351
o 267227
o 267157
o 267126
o 267056
o 267033
o 266963
o 266942
o 266911
o 266841
o 266818
o 266748
o 266469
o 266399
o 266368
o 266298
o 266174
o 266104
o 266073
o 266003
o 265980
o 265910
o 265896
o 265826
o 265795
o 265725
o 265601
o 265531
o 265500
o 265430
o 265407
o 265337
o 265299
o 265255
o 265224
o 265154
o 265131
o 265061
o 264990
o 264920
o 264889
o 264819
o 264796
o 264726
o 264693
o 264670
o 264600
o 264529
o 264459
o 264428
o 264358
o 264335
o 264265
o 264247
o 264177
o 264159
o 264136
o 264066
o 263995
o 263925
o 263894
o 263824
o 263801
o 263731
o 263572
o 263502
o 263471
o 263401
o 263277
o 263207
o 263176
o 263106
o 263083
o 263013
o 262942
o 262872
o 262841
o 262771
o 262748
o 262678
o 262634
o 262603
o 262533
o 262510
o 262440
o 262369
o 262299
o 262268
o 262198
o 262175
o 262105
o 262087
o 262017
o 262003
o 261933
o 261902
o 261832
o 261708
o 261638
o 261607
o 261537
o 261514
o 261444
o 261441
o 261371
o 261247
o 261177
o 261146
o 261076
o 261053
o 260983
o 260965
o 260895
o 260837
o 260713
o 260643
o 260612
o 260542
o 260519
o 260449
o 260428
o 260397
o 260327
o 260304
o 260234
o 260220
o 259955
o 259885
o 259854
o 259784
o 259660
o 259590
o 259559
o 259489
o 259466
o 259396
o 259382
o 259312
o 259281
o 259211
o 259087
o 259017
o 258986
o 258916
o 258893
o 258823
o 258764
o 258694
o 258663
o 258593
o 258570
o 258500
o 258494
o 258424
o 258410
o 258145
o 258075
o 258044
o 257974
o 257850
o 257780
o 257749
o 257679
o 257656
o 257586
o 257572
o 257502
o 257471
o 257401
o 257277
o 257207
o 257176
o 257106
o 257083
o 257013
o 256994
o 256924
o 256901
o 256831
o 256785
o 256762
o 256692
o 256686
o 256616
o 256602
o 256337
o 256267
o 256236
o 256166
o 256042
o 255972
o 255941
o 255871
o 255848
o 255778
o 255764
o 255694
o 255663
o 255593
o 255469
o 255399
o 255368
o 255298
o 255275
o 255205
o 255202
o 255132
o 255008
o 254938
o 254907
o 254837
o 254814
o 254744
o 254726
o 254656
o 254598
o 254474
o 254404
o 254373
o 254303
o 254280
o 254210
o 254164
o 254141
o 254071
o 254065
o 253995
o 253981
o 253716
o 253646
o 253615
o 253545
o 253421
o 253351
o 253320
o 253250
o 253227
o 253157
o 253143
o 253073
o 253042
o 252972
o 252848
o 252778
o 252747
o 252677
o 252654
o 252584
o 252570
o 252500
o 252477
o 252407
o 252401
o 252331
o 252317
o 252052
o 251982
o 251951
o 251881
o 251757
o 251687
o 251656
o 251586
o 251563
o 251493
o 251479
o 251409
o 251378
o 251308
o 251184
o 251114
o 251083
o 251013
o 250990
o 250920
o 250873
o 250859
o 250594
o 250524
o 250493
o 250423
o 250299
o 250229
o 250198
o 250128
o 250105
o 250035
o 250021
o 249951
o 249920
o 249850
o 249726
o 249656
o 249625
o 249555
o 249532
o 249462
o 249459
o 249389
o 249265
o 249195
o 249164
o 249094
o 249071
o 249001
o 248983
o 248913
o 248855
o 248731
o 248661
o 248630
o 248560
o 248537
o 248467
o 248421
o 248398
o 248328
o 248322
o 248252
o 248238
o 247973
o 247903
o 247872
o 247802
o 247678
o 247608
o 247577
o 247507
o 247484
o 247414
o 247400
o 247330
o 247299
o 247229
o 247105
o 247035
o 247004
o 246934
o 246911
o 246841
o 246793
o 246669
o 246599
o 246568
o 246498
o 246475
o 246405
o 246350
o 246280
o 246249
o 246179
o 246156
o 246086
o 246040
o 246017
o 245947
o 245941
o 245871
o 245857
o 245592
o 245522
o 245491
o 245421
o 245297
o 245227
o 245196
o 245126
o 245103
o 245033
o 245019
o 244949
o 244918
o 244848
o 244724
o 244654
o 244623
o 244553
o 244530
o 244460
o 244405
o 244391
o 244321
o 244290
o 244220
o 244096
o 244026
o 243995
o 243925
o 243902
o 243832
o 243785
o 243771
o 243506
o 243436
o 243405
o 243335
o 243211
o 243141
o 243110
o 243040
o 243017
o 242947
o 242933
o 242863
o 242832
o 242762
o 242638
o 242568
o 242537
o 242467
o 242444
o 242374
o 242371
o 242301
o 242177
o 242107
o 242076
o 242006
o 241983
o 241913
o 241895
o 241825
o 241767
o 241643
o 241573
o 241542
o 241472
o 241449
o 241379
o 241318
o 241295
o 241225
o 241164
o 241150
o 240885
o 240815
o 240784
o 240714
o 240590
o 240520
o 240489
o 240419
o 240396
o 240326
o 240312
o 240242
o 240211
o 240141
o 240017
o 239947
o 239916
o 239846
o 239823
o 239753
o 239705
o 239581
o 239511
o 239480
o 239410
o 239387
o 239317
o 239262
o 239192
o 239161
o 239091
o 239068
o 238998
o 238937
o 238914
o 238844
o 238783
o 238769
o 238504
o 238434
o 238403
o 238333
o 238209
o 238139
o 238108
o 238038
o 238015
o 237945
o 237931
o 237861
o 237830
o 237760
o 237636
o 237566
o 237535
o 237465
o 237442
o 237372
o 237343
o 237219
o 237149
o 237118
o 237048
o 237025
o 236955
o 236952
o 236882
o 236758
o 236688
o 236657
o 236587
o 236564
o 236494
o 236476
o 236406
o 236348
o 236224
o 236154
o 236123
o 236053
o 236030
o 235960
o 235899
o 235876
o 235806
o 235745
o 235731
o 235466
o 235396
o 235365
o 235295
o 235171
o 235101
o 235070
o 235000
o 234977
o 234907
o 234893
o 234823
o 234792
o 234722
o 234598
o 234528
o 234497
o 234427
o 234404
o 234334
o 234286
o 234162
o 234092
o 234061
o 233991
o 233968
o 233898
o 233843
o 233773
o 233742
o 233672
o 233649
o 233579
o 233518
o 233495
o 233425
o 233364
o 233350
o 233085
o 233015
o 232984
o 232914
o 232790
o 232720
o 232689
o 232619
o 232596
o 232526
o 232512
o 232442
o 232411
o 232341
o 232217
o 232147
o 232116
o 232046
o 232023
o 231953
o 231784
o 231714
o 231683
o 231613
o 231489
o 231419
o 231388
o 231318
o 231295
o 231225
o 231211
o 231141
o 231110
o 231040
o 230916
o 230846
o 230815
o 230745
o 230722
o 230652
o 230604
o 230480
o 230410
o 230379
o 230309
o 230286
o 230216
o 230161
o 230091
o 230060
o 229990
o 229967
o 229897
o 229836
o 229813
o 229743
o 229682
o 229668
o 229403
o 229333
o 229302
o 229232
o 229108
o 229038
o 229007
o 228937
o 228914
o 228844
o 228830
o 228760
o 228729
o 228659
o 228535
o 228465
o 228434
o 228364
o 228341
o 228271
o 228253
o 228192
o 228178
o 227913
o 227843
o 227812
o 227742
o 227618
o 227548
o 227517
o 227447
o 227424
o 227354
o 227340
o 227270
o 227239
o 227169
o 227045
o 226975
o 226944
o 226874
o 226851
o 226781
o 226733
o 226609
o 226539
o 226508
o 226438
o 226415
o 226345
o 226290
o 226220
o 226189
o 226119
o 226096
o 226026
o 225965
o 225942
o 225872
o 225811
o 225797
o 225532
o 225462
o 225431
o 225361
o 225237
o 225167
o 225136
o 225066
o 225043
o 224973
o 224959
o 224889
o 224858
o 224788
o 224664
o 224594
o 224563
o 224493
o 224470
o 224400
o 224393
o 224370
o 224300
o 224286
o 224216
o 224185
o 224115
o 223991
o 223921
o 223890
o 223820
o 223797
o 223727
o 223679
o 223555
o 223485
o 223454
o 223384
o 223361
o 223291
o 223236
o 223166
o 223135
o 223065
o 223042
o 222972
o 222911
o 222888
o 222818
o 222757
o 222743
o 222478
o 222408
o 222377
o 222307
o 222183
o 222113
o 222082
o 222012
o 221989
o 221919
o 221905
o 221835
o 221804
o 221734
o 221610
o 221540
o 221509
o 221439
o 221416
o 221346
o 221282
o 221221
o 221198
o 221128
o 221067
o 221053
o 220788
o 220718
o 220687
o 220617
o 220493
o 220423
o 220392
o 220322
o 220299
o 220229
o 220215
o 220145
o 220114
o 220044
o 219920
o 219850
o 219819
o 219749
o 219726
o 219656
o 219608
o 219484
o 219414
o 219383
o 219313
o 219290
o 219220
o 219165
o 219095
o 219064
o 218994
o 218971
o 218901
o 218840
o 218817
o 218747
o 218686
o 218672
o 218407
o 218337
o 218306
o 218236
o 218112
o 218042
o 218011
o 217941
o 217918
o 217848
o 217834
o 217764
o 217733
o 217663
o 217539
o 217469
o 217438
o 217368
o 217345
o 217275
o 217235
o 217180
o 217110
o 217079
o 217009
o 216986
o 216916
o 216855
o 216832
o 216762
o 216701
o 216687
o 216422
o 216352
o 216321
o 216251
o 216127
o 216057
o 216026
o 215956
o 215933
o 215863
o 215849
o 215779
o 215748
o 215678
o 215554
o 215484
o 215453
o 215383
o 215360
o 215290
o 215260
o 215220
o 215165
o 215095
o 215064
o 214994
o 214971
o 214901
o 214840
o 214817
o 214747
o 214686
o 214672
o 214407
o 214337
o 214306
o 214236
o 214112
o 214042
o 214011
o 213941
o 213918
o 213848
o 213834
o 213764
o 213733
o 213663
o 213539
o 213469
o 213438
o 213368
o 213345
o 213275
o 213249
o 213218
o 213148
o 213024
o 212954
o 212923
o 212853
o 212830
o 212760
o 212720
o 212665
o 212595
o 212564
o 212494
o 212471
o 212401
o 212340
o 212317
o 212247
o 212186
o 212172
o 211907
o 211837
o 211806
o 211736
o 211612
o 211542
o 211511
o 211441
o 211418
o 211348
o 211334
o 211264
o 211233
o 211163
o 211039
o 210969
o 210938
o 210868
o 210845
o 210775
o 210761
o 210739
o 210708
o 210638
o 210615
o 210545
o 210535
o 210512
o 210442
o 210391
o 210381
o 210358
o 210288
o 210051
o 209981
o 209950
o 209880
o 209756
o 209686
o 209655
o 209585
o 209562
o 209492
o 209482
o 209459
o 209389
o 209377
o 209307
o 209183
o 209113
o 209082
o 209012
o 208989
o 208919
o 208909
o 208886
o 208816
o 208776
o 208754
o 208723
o 208653
o 208630
o 208560
o 208550
o 208527
o 208457
o 208406
o 208396
o 208373
o 208303
o 208066
o 207996
o 207965
o 207895
o 207771
o 207701
o 207670
o 207600
o 207577
o 207507
o 207497
o 207474
o 207404
o 207392
o 207322
o 207198
o 207128
o 207097
o 207027
o 207004
o 206934
o 206924
o 206901
o 206831
o 206770
o 206760
o 206737
o 206667
o 206655
o 206585
o 206461
o 206391
o 206360
o 206290
o 206267
o 206197
o 206187
o 206164
o 206094
o 206083
o 206073
o 206050
o 205980
o 205886
o 205816
o 205785
o 205715
o 205692
o 205622
o 205612
o 205589
o 205519
o 205501
o 205431
o 205352
o 205282
o 205251
o 205181
o 205158
o 205088
o 205078
o 205055
o 204985
o 204934
o 204924
o 204901
o 204831
o 204594
o 204524
o 204493
o 204423
o 204299
o 204229
o 204198
o 204128
o 204105
o 204035
o 204025
o 204002
o 203932
o 203920
o 203850
o 203726
o 203656
o 203625
o 203555
o 203532
o 203462
o 203452
o 203429
o 203359
o 203290
o 203220
o 203189
o 203119
o 203096
o 203026
o 203016
o 202993
o 202923
o 202901
o 202870
o 202800
o 202777
o 202707
o 202697
o 202674
o 202604
o 202553
o 202543
o 202520
o 202450
o 202213
o 202143
o 202112
o 202042
o 201918
o 201848
o 201817
o 201747
o 201724
o 201654
o 201644
o 201621
o 201551
o 201539
o 201469
o 201345
o 201275
o 201244
o 201174
o 201151
o 201081
o 201071
o 201048
o 200978
o 200953
o 200922
o 200852
o 200829
o 200759
o 200749
o 200726
o 200656
o 200616
o 200594
o 200563
o 200493
o 200470
o 200400
o 200390
o 200367
o 200297
o 200246
o 200236
o 200213
o 200143
o 199906
o 199836
o 199805
o 199735
o 199611
o 199541
o 199510
o 199440
o 199417
o 199347
o 199337
o 199314
o 199244
o 199232
o 199162
o 199038
o 198968
o 198937
o 198867
o 198844
o 198774
o 198764
o 198741
o 198671
o 198667
o 198597
o 198587
o 198564
o 198494
o 198482
o 198412
o 198288
o 198218
o 198187
o 198117
o 198094
o 198024
o 198014
o 197991
o 197921
o 197852
o 197782
o 197751
o 197681
o 197658
o 197588
o 197578
o 197555
o 197485
o 197463
o 197432
o 197362
o 197339
o 197269
o 197259
o 197236
o 197166
o 197115
o 197105
o 197082
o 197012
o 196775
o 196705
o 196674
o 196604
o 196480
o 196410
o 196379
o 196309
o 196286
o 196216
o 196206
o 196183
o 196113
o 196101
o 196031
o 195907
o 195837
o 195806
o 195736
o 195713
o 195643
o 195633
o 195610
o 195540
o 195500
o 195478
o 195447
o 195377
o 195354
o 195284
o 195274
o 195251
o 195181
o 195130
o 195120
o 195097
o 195027
o 194790
o 194720
o 194689
o 194619
o 194495
o 194425
o 194394
o 194324
o 194301
o 194231
o 194221
o 194198
o 194128
o 194116
o 194046
o 193922
o 193852
o 193821
o 193751
o 193728
o 193658
o 193648
o 193625
o 193555
o 193431
o 193361
o 193330
o 193260
o 193136
o 193066
o 193035
o 192965
o 192942
o 192872
o 192862
o 192839
o 192769
o 192757
o 192687
o 192563
o 192493
o 192462
o 192392
o 192369
o 192299
o 192289
o 192266
o 192196
o 192156
o 192134
o 192103
o 192033
o 192010
o 191940
o 191930
o 191907
o 191837
o 191786
o 191776
o 191753
o 191683
o 191446
o 191376
o 191345
o 191275
o 191151
o 191081
o 191050
o 190980
o 190957
o 190887
o 190877
o 190854
o 190784
o 190772
o 190702
o 190578
o 190508
o 190477
o 190407
o 190384
o 190314
o 190304
o 190281
o 190211
o 190180
o 190110
o 189986
o 189916
o 189885
o 189815
o 189792
o 189722
o 189712
o 189689
o 189619
o 189607
o 189537
o 189413
o 189343
o 189312
o 189242
o 189219
o 189149
o 189139
o 189116
o 189046
o 189006
o 188984
o 188953
o 188883
o 188860
o 188790
o 188780
o 188757
o 188687
o 188636
o 188626
o 188603
o 188533
o 188296
o 188226
o 188195
o 188125
o 188001
o 187931
o 187900
o 187830
o 187807
o 187737
o 187727
o 187704
o 187634
o 187622
o 187552
o 187428
o 187358
o 187327
o 187257
o 187234
o 187164
o 187154
o 187131
o 187061
o 187002
o 186979
o 186909
o 186899
o 186876
o 186806
o 186756
o 186686
o 186655
o 186585
o 186562
o 186492
o 186482
o 186459
o 186389
o 186343
o 186312
o 186242
o 186219
o 186149
o 186139
o 186116
o 186046
o 186024
o 185993
o 185923
o 185900
o 185830
o 185820
o 185797
o 185727
o 185676
o 185666
o 185643
o 185573
o 185336
o 185266
o 185235
o 185165
o 185041
o 184971
o 184940
o 184870
o 184847
o 184777
o 184767
o 184744
o 184674
o 184662
o 184592
o 184468
o 184398
o 184367
o 184297
o 184274
o 184204
o 184194
o 184171
o 184101
o 184061
o 184039
o 184008
o 183938
o 183915
o 183845
o 183835
o 183812
o 183742
o 183691
o 183681
o 183658
o 183588
o 183351
o 183281
o 183250
o 183180
o 183056
o 182986
o 182955
o 182885
o 182862
o 182792
o 182782
o 182759
o 182689
o 182677
o 182607
o 182483
o 182413
o 182382
o 182312
o 182289
o 182219
o 182209
o 182186
o 182116
o 182085
o 182015
o 181891
o 181821
o 181790
o 181720
o 181697
o 181627
o 181617
o 181594
o 181524
o 181512
o 181442
o 181318
o 181248
o 181217
o 181147
o 181124
o 181054
o 181044
o 181021
o 180951
o 180911
o 180889
o 180858
o 180788
o 180765
o 180695
o 180685
o 180662
o 180592
o 180541
o 180531
o 180508
o 180438
o 180201
o 180131
o 180100
o 180030
o 179906
o 179836
o 179805
o 179735
o 179712
o 179642
o 179632
o 179609
o 179539
o 179527
o 179457
o 179333
o 179263
o 179232
o 179162
o 179139
o 179069
o 179059
o 179036
o 178966
o 178907
o 178884
o 178814
o 178804
o 178781
o 178711
o 178709
o 178639
o 178629
o 178606
o 178536
o 178524
o 178454
o 178330
o 178260
o 178229
o 178159
o 178136
o 178066
o 178056
o 178033
o 177963
o 177951
o 177881
o 177858
o 177788
o 177778
o 177755
o 177685
o 177674
o 177604
o 177553
o 177543
o 177520
o 177450
o 177213
o 177143
o 177112
o 177042
o 176918
o 176848
o 176817
o 176747
o 176724
o 176654
o 176644
o 176621
o 176551
o 176539
o 176469
o 176345
o 176275
o 176244
o 176174
o 176151
o 176081
o 176071
o 176048
o 175978
o 175937
o 175813
o 175743
o 175712
o 175642
o 175619
o 175549
o 175539
o 175516
o 175446
o 175434
o 175364
o 175240
o 175170
o 175139
o 175069
o 175046
o 174976
o 174966
o 174943
o 174873
o 174825
o 174802
o 174732
o 174722
o 174699
o 174629
o 174618
o 174548
o 174497
o 174487
o 174464
o 174394
o 174157
o 174087
o 174056
o 173986
o 173862
o 173792
o 173761
o 173691
o 173668
o 173598
o 173588
o 173565
o 173495
o 173483
o 173413
o 173289
o 173219
o 173188
o 173118
o 173095
o 173025
o 173015
o 172992
o 172922
o 172806
o 172736
o 172705
o 172635
o 172612
o 172542
o 172532
o 172509
o 172439
o 172427
o 172357
o 172233
o 172163
o 172132
o 172062
o 172039
o 171969
o 171959
o 171936
o 171866
o 171807
o 171784
o 171714
o 171704
o 171681
o 171611
o 171602
o 171532
o 171408
o 171338
o 171307
o 171237
o 171214
o 171144
o 171134
o 171111
o 171041
o 170987
o 170917
o 170886
o 170816
o 170793
o 170723
o 170713
o 170690
o 170620
o 170561
o 170538
o 170468
o 170458
o 170435
o 170365
o 170305
o 170304
o 170234
o 170191
o 170160
o 170090
o 169966
o 169896
o 169865
o 169795
o 169772
o 169702
o 169692
o 169669
o 169599
o 169545
o 169475
o 169444
o 169374
o 169351
o 169281
o 169271
o 169248
o 169178
o 169141
o 169071
o 169040
o 168970
o 168947
o 168877
o 168867
o 168844
o 168774
o 168731
o 168700
o 168630
o 168506
o 168436
o 168405
o 168335
o 168312
o 168242
o 168232
o 168209
o 168139
o 168085
o 168015
o 167984
o 167914
o 167891
o 167821
o 167811
o 167788
o 167718
o 167659
o 167636
o 167566
o 167556
o 167533
o 167463
o 167421
o 167411
o 167388
o 167318
o 167259
o 167236
o 167166
o 167156
o 167133
o 167063
o 167030
o 166999
o 166929
o 166906
o 166836
o 166826
o 166803
o 166733
o 166728
o 166679
o 166609
o 166578
o 166508
o 166485
o 166415
o 166405
o 166382
o 166312
o 166253
o 166230
o 166160
o 166150
o 166127
o 166057
o 166015
o 166005
o 165982
o 165912
o 165853
o 165830
o 165760
o 165750
o 165727
o 165657
o 165599
o 165557
o 165547
o 165524
o 165454
o 165395
o 165372
o 165302
o 165292
o 165269
o 165199
o 165176
o 165145
o 165075
o 165052
o 164982
o 164972
o 164949
o 164879
o 164870
o 164800
o 164769
o 164699
o 164676
o 164606
o 164596
o 164573
o 164503
o 164444
o 164421
o 164351
o 164341
o 164318
o 164248
o 164206
o 164196
o 164173
o 164103
o 164044
o 164021
o 163951
o 163941
o 163918
o 163848
o 163790
o 163748
o 163738
o 163715
o 163645
o 163586
o 163563
o 163493
o 163483
o 163460
o 163390
o 163382
o 163374
o 163364
o 163341
o 163271
o 163229
o 163219
o 163196
o 163126
o 163067
o 163044
o 162974
o 162964
o 162941
o 162871
o 162813
o 162771
o 162761
o 162738
o 162668
o 162609
o 162586
o 162516
o 162506
o 162483
o 162413
o 162405
o 162316
o 162306
o 162213
o 162132
o 162081
o 162071
o 161978
o 161895
o 161794
o 161600
o 161499
o 161406
o 161396
o 161303
o 161179
o 161078
o 160985
o 160975
o 160882
o 160803
o 160702
o 160609
o 160599
o 160506
o 160435
o 160334
o 160241
o 160231
o 160138
o 160014
o 159913
o 159820
o 159810
o 159717
o 159638
o 159537
o 159444
o 159434
o 159341
o 159259
o 159166
o 159156
o 159063
o 158982
o 158931
o 158921
o 158828
o 158745
o 158644
o 158450
o 158349
o 158256
o 158246
o 158153
o 158029
o 157928
o 157835
o 157825
o 157732
o 157653
o 157552
o 157459
o 157449
o 157356
o 157345
o 157244
o 157151
o 157141
o 157048
o 156924
o 156823
o 156730
o 156720
o 156627
o 156548
o 156447
o 156354
o 156344
o 156251
o 156203
o 156110
o 156100
o 156007
o 155926
o 155875
o 155865
o 155772
o 155689
o 155588
o 155394
o 155293
o 155200
o 155190
o 155097
o 154973
o 154872
o 154779
o 154769
o 154676
o 154597
o 154496
o 154403
o 154393
o 154300
o 154237
o 154144
o 154134
o 154041
o 153917
o 153816
o 153723
o 153713
o 153620
o 153541
o 153440
o 153347
o 153337
o 153244
o 153185
o 153092
o 153082
o 152989
o 152954
o 152944
o 152851
o 152772
o 152671
o 152578
o 152568
o 152475
o 152416
o 152323
o 152313
o 152220
o 152130
o 152051
o 151950
o 151857
o 151847
o 151754
o 151695
o 151602
o 151592
o 151499
o 151457
o 151447
o 151354
o 151295
o 151202
o 151192
o 151099
o 151069
o 151010
o 150917
o 150907
o 150814
o 150724
o 150645
o 150544
o 150451
o 150441
o 150348
o 150289
o 150196
o 150186
o 150093
o 150051
o 150041
o 149948
o 149889
o 149796
o 149786
o 149693
o 149635
o 149593
o 149583
o 149490
o 149431
o 149338
o 149328
o 149235
o 149219
o 149209
o 149116
o 149074
o 149064
o 148971
o 148912
o 148819
o 148809
o 148716
o 148658
o 148616
o 148606
o 148513
o 148454
o 148361
o 148351
o 148258
o 148250
o 148210
o 148168
o 148158
o 148065
o 148006
o 147913
o 147903
o 147810
o 147752
o 147710
o 147700
o 147607
o 147548
o 147455
o 147445
o 147352
o 147344
o 147343
o 147250
o 147192
o 147150
o 147140
o 147047
o 146988
o 146895
o 146885
o 146792
o 146784
o 146725
o 146632
o 146622
o 146529
o 146477
o 146467
o 146374
o 146336
o 146277
o 146184
o 146174
o 146081
o 146029
o 146019
o 145926
o 145878
o 145819
o 145726
o 145716
o 145623
o 145571
o 145561
o 145468
o 145459
o 145366
o 145318
o 145259
o 145166
o 145156
o 145063
o 145011
o 145001
o 144908
o 144901
o 144842
o 144749
o 144739
o 144646
o 144594
o 144584
o 144491
o 144482
o 144389
o 144341
o 144282
o 144189
o 144179
o 144086
o 144034
o 144024
o 143931
o 143923
o 143872
o 143862
o 143769
o 143762
o 143703
o 143610
o 143600
o 143507
o 143498
o 143405
o 143347
o 143305
o 143295
o 143202
o 143143
o 143050
o 143040
o 142947
o 142895
o 142885
o 142792
o 142720
o 142696
o 142686
o 142593
o 142561
o 142551
o 142458
o 142433
o 142391
o 142381
o 142288
o 142229
o 142136
o 142126
o 142033
o 142001
o 141991
o 141898
o 141878
o 141846
o 141836
o 141743
o 141687
o 141662
o 141620
o 141610
o 141517
o 141458
o 141365
o 141355
o 141262
o 141230
o 141220
o 141127
o 141107
o 141075
o 141065
o 140972
o 140964
o 140888
o 140878
o 140785
o 140753
o 140743
o 140650
o 140625
o 140583
o 140573
o 140480
o 140421
o 140328
o 140318
o 140225
o 140193
o 140183
o 140090
o 140070
o 140038
o 140028
o 139935
o 139911
o 139901
o 139808
o 139776
o 139766
o 139673
o 139648
o 139606
o 139596
o 139503
o 139444
o 139351
o 139341
o 139248
o 139216
o 139206
o 139113
o 139093
o 139061
o 139051
o 138958
o 138950
o 138931
o 138899
o 138889
o 138796
o 138772
o 138762
o 138669
o 138637
o 138627
o 138534
o 138509
o 138467
o 138457
o 138364
o 138305
o 138212
o 138202
o 138109
o 138077
o 138067
o 137974
o 137954
o 137922
o 137912
o 137819
o 137777
o 137743
o 137623
o 137522
o 137488
o 137387
o 137367
o 137333
o 137232
o 137224
o 137143
o 137042
o 137008
o 136907
o 136887
o 136853
o 136752
o 136739
o 136638
o 136604
o 136484
o 136383
o 136349
o 136248
o 136228
o 136194
o 136093
o 136018
o 135962
o 135916
o 135896
o 135807
o 135761
o 135753
o 135717
o 135671
o 135590
o 135544
o 135455
o 135409
o 135384
o 135285
o 135239
o 135131
o 135030
o 134984
o 134895
o 134849
o 134829
o 134740
o 134694
o 134626
o 134580
o 134472
o 134371
o 134325
o 134236
o 134190
o 134170
o 134081
o 134035
o 134027
o 134006
o 133960
o 133952
o 133891
o 133845
o 133756
o 133710
o 133690
o 133601
o 133555
o 133487
o 133441
o 133333
o 133232
o 133186
o 133097
o 133051
o 133031
o 132942
o 132896
o 132867
o 132821
o 132804
o 132703
o 132683
o 132649
o 132548
o 132473
o 132406
o 132398
o 132331
o 132323
o 132320
o 132274
o 132206
o 132160
o 132052
o 131951
o 131905
o 131816
o 131770
o 131750
o 131661
o 131615
o 131557
o 131523
o 131422
o 131402
o 131368
o 131267
o 131192
o 131167
o 131133
o 131032
o 131018
o 130998
o 130897
o 130883
o 130875
o 130822
o 130808
o 130800
o 130765
o 130751
o 130677
o 130631
o 130542
o 130496
o 130422
o 130376
o 130287
o 130241
o 130227
o 130152
o 130106
o 130092
o 130028
o 129994
o 129893
o 129879
o 129859
o 129758
o 129744
o 129683
o 129669
o 129590
o 129572
o 129544
o 129526
o 129436
o 129335
o 129317
o 129289
o 129271
o 129200
o 129182
o 129154
o 129136
o 129128
o 129042
o 128941
o 128923
o 128907
o 128806
o 128788
o 128780
o 128731
o 128713
o 128705
o 128702
o 128674
o 128656
o 128621
o 128603
o 128575
o 128557
o 128550
o 128532
o 128451
o 128433
o 128405
o 128387
o 128297
o 128196
o 128178
o 128150
o 128132
o 128061
o 128043
o 128015
o 127997
o 127903
o 127802
o 127784
o 127768
o 127667
o 127649
o 127592
o 127574
o 127485
o 127467
o 127439
o 127421
o 127350
o 127332
o 127304
o 127286
o 127279
o 127251
o 127233
o 127205
o 127187
o 127180
o 127162
o 127081
o 127063
o 127035
o 127017
o 126927
o 126826
o 126808
o 126780
o 126762
o 126691
o 126673
o 126645
o 126627
o 126620
o 126592
o 126574
o 126566
o 126533
o 126432
o 126414
o 126398
o 126297
o 126279
o 126244
o 126226
o 126218
o 126204
o 126169
o 126151
o 126143
o 126140
o 126112
o 126094
o 126066
o 126048
o 126041
o 126023
o 125942
o 125924
o 125896
o 125878
o 125788
o 125687
o 125669
o 125641
o 125623
o 125552
o 125534
o 125506
o 125488
o 125481
o 125453
o 125435
o 125394
o 125293
o 125275
o 125259
o 125158
o 125140
o 125105
o 125087
o 125083
o 125065
o 125030
o 125012
o 124982
o 124964
o 124957
o 124939
o 124913
o 124812
o 124794
o 124778
o 124658
o 124557
o 124539
o 124523
o 124422
o 124404
o 124400
o 124382
o 124347
o 124329
o 124318
o 124283
o 124265
o 124261
o 124243
o 124208
o 124190
o 124173
o 124114
o 124096
o 124092
o 124074
o 124039
o 124021
o 123951
o 123933
o 123917
o 123916
o 123797
o 123696
o 123678
o 123619
o 123601
o 123561
o 123543
o 123484
o 123466
o 123431
o 123413
o 123356
o 123338
o 123327
o 123292
o 123274
o 123270
o 123252
o 123217
o 123199
o 123099
o 123081
o 123069
o 123022
o 123004
o 122992
o 122964
o 122946
o 122934
o 122887
o 122869
o 122857
o 122834
o 122816
o 122804
o 122789
o 122730
o 122712
o 122672
o 122654
o 122595
o 122577
o 122542
o 122524
o 122515
o 122456
o 122438
o 122403
o 122385
o 122330
o 122312
o 122277
o 122259
o 122225
o 122124
o 122047
o 121989
o 121912
o 121859
o 121837
o 121784
o 121773
o 121720
o 121698
o 121645
o 121604
o 121527
o 121457
o 121364
o 121329
o 121210
o 121109
o 121032
o 120974
o 120897
o 120844
o 120835
o 120758
o 120705
o 120669
o 120611
o 120534
o 120481
o 120472
o 120395
o 120342
o 120293
o 120216
o 120162
o 120144
o 120109
o 120091
o 120087
o 120069
o 120034
o 120016
o 120005
o 119970
o 119952
o 119895
o 119877
o 119833
o 119802
o 119756
o 119744
o 119698
o 119667
o 119621
o 119614
o 119568
o 119485
o 119408
o 119350
o 119273
o 119220
o 119198
o 119145
o 119057
o 119023
o 119022
o 118903
o 118802
o 118725
o 118667
o 118590
o 118537
o 118515
o 118462
o 118451
o 118398
o 118376
o 118323
o 118313
o 118236
o 118178
o 118101
o 118048
o 118026
o 117973
o 117962
o 117909
o 117887
o 117834
o 117778
o 117701
o 117648
o 117639
o 117562
o 117509
o 117504
o 117492
o 117451
o 117439
o 117424
o 117347
o 117289
o 117212
o 117159
o 117150
o 117073
o 117020
o 116947
o 116894
o 116844
o 116834
o 116743
o 116733
o 116725
o 116715
o 116666
o 116656
o 116648
o 116638
o 116613
o 116603
o 116595
o 116585
o 116581
o 116573
o 116563
o 116538
o 116528
o 116520
o 116510
o 116491
o 116473
o 116416
o 116406
o 116315
o 116305
o 116297
o 116287
o 116281
o 116271
o 116161
o 116151
o 116060
o 116050
o 116042
o 116032
o 115983
o 115973
o 115965
o 115955
o 115930
o 115920
o 115912
o 115902
o 115855
o 115845
o 115837
o 115827
o 115826
o 115816
o 115791
o 115781
o 115773
o 115763
o 115759
o 115751
o 115741
o 115716
o 115706
o 115698
o 115688
o 115666
o 115656
o 115565
o 115555
o 115519
o 115509
o 115488
o 115478
o 115442
o 115432
o 115425
o 115389
o 115379
o 115272
o 115262
o 115171
o 115161
o 115094
o 115084
o 115041
o 115031
o 115019
o 115009
o 114966
o 114956
o 114919
o 114844
o 114834
o 114743
o 114733
o 114709
o 114699
o 114589
o 114579
o 114488
o 114478
o 114411
o 114401
o 114358
o 114348
o 114336
o 114326
o 114283
o 114273
o 114272
o 114262
o 114219
o 114209
o 114197
o 114187
o 114144
o 114134
o 114124
o 114100
o 114090
o 113999
o 113989
o 113922
o 113912
o 113869
o 113859
o 113847
o 113837
o 113794
o 113784
o 113783
o 113773
o 113730
o 113720
o 113708
o 113698
o 113655
o 113645
o 113599
o 113589
o 113522
o 113512
o 113469
o 113459
o 113450
o 113383
o 113373
o 113330
o 113320
o 113315
o 113313
o 113303
o 113272
o 113262
o 113260
o 113250
o 113245
o 113235
o 113211
o 113201
o 113110
o 113100
o 113033
o 113023
o 112980
o 112970
o 112961
o 112894
o 112884
o 112841
o 112831
o 112768
o 112758
o 112715
o 112705
o 112699
o 112689
o 112582
o 112572
o 112462
o 112452
o 112444
o 112434
o 112385
o 112375
o 112367
o 112357
o 112310
o 112300
o 112292
o 112282
o 112262
o 112252
o 112185
o 112175
o 112132
o 112122
o 112110
o 112100
o 112057
o 112047
o 112010
o 111954
o 111944
o 111834
o 111824
o 111818
o 111699
o 111689
o 111579
o 111569
o 111502
o 111492
o 111449
o 111439
o 111427
o 111417
o 111374
o 111364
o 111318
o 111308
o 111198
o 111188
o 111182
o 111063
o 111053
o 110943
o 110933
o 110866
o 110856
o 110813
o 110803
o 110791
o 110781
o 110738
o 110728
o 110709
o 110699
o 110589
o 110579
o 110574
o 110564
o 110454
o 110444
o 110377
o 110367
o 110324
o 110314
o 110302
o 110292
o 110249
o 110239
o 110216
o 110206
o 110204
o 110194
o 110173
o 110169
o 110054
o 110044
o 109977
o 109967
o 109924
o 109914
o 109857
o 109847
o 109845
o 109835
o 109780
o 109770
o 109768
o 109758
o 109727
o 109717
o 109715
o 109705
o 109700
o 109690
o 109684
o 109680
o 109565
o 109555
o 109488
o 109478
o 109435
o 109425
o 109362
o 109352
o 109309
o 109299
o 109212
o 109202
o 109135
o 109125
o 109015
o 109005
o 109003
o 108993
o 108938
o 108928
o 108926
o 108916
o 108858
o 108848
o 108842
o 108838
o 108723
o 108713
o 108646
o 108636
o 108597
o 108587
o 108520
o 108510
o 108451
o 108441
o 108374
o 108364
o 108325
o 108315
o 108248
o 108238
o 108174
o 108164
o 108125
o 108115
o 108048
o 108038
o 107979
o 107969
o 107902
o 107892
o 107853
o 107843
o 107776
o 107766
o 107765
o 107759
o 107640
o 107630
o 107563
o 107553
o 107494
o 107484
o 107417
o 107407
o 107368
o 107358
o 107291
o 107281
o 107252
o 107175
o 107168
o 107158
o 107091
o 107081
o 107031
o 107021
o 107015
o 106896
o 106886
o 106819
o 106809
o 106717
o 106707
o 106591
o 106581
o 106580
o 106570
o 106560
o 106445
o 106435
o 106319
o 106309
o 106245
o 106235
o 106119
o 106109
o 106102
o 106092
o 105982
o 105972
o 105847
o 105837
o 105760
o 105750
o 105634
o 105624
o 105623
o 105613
o 105603
o 105488
o 105478
o 105362
o 105352
o 105288
o 105278
o 105162
o 105152
o 105151
o 105141
o 105131
o 105016
o 105006
o 104890
o 104880
o 104860
o 104850
o 104773
o 104763
o 104742
o 104627
o 104617
o 104501
o 104491
o 104469
o 104324
o 104314
o 104259
o 104172
o 104141
o 104026
o 103900
o 103893
o 103816
o 103806
o 103785
o 103670
o 103660
o 103544
o 103534
o 103493
o 103483
o 103367
o 103357
Killed
1979.654u 0.044s 33:01.76 99.8%	0+0k 0+0io 0pf+0w