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-120-1_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1748362
o 358793
o 358697
o 357491
o 356885
o 356789
o 355583
o 355181
o 355159
o 353953
o 353551
o 353340
o 352938
o 352885
o 352563
o 352483
o 352352
o 351950
o 351870
o 351730
o 351328
o 351248
o 351069
o 350989
o 350456
o 350376
o 350054
o 349974
o 349779
o 349699
o 349622
o 349009
o 348929
o 348607
o 348527
o 348443
o 348363
o 348321
o 348126
o 348046
o 347567
o 347487
o 346954
o 346874
o 346552
o 346472
o 346366
o 346286
o 346272
o 346192
o 346178
o 346098
o 345713
o 345633
o 345565
o 345485
o 345100
o 345020
o 344698
o 344618
o 344512
o 344432
o 344332
o 344252
o 344238
o 344158
o 343959
o 343773
o 343693
o 343562
o 343482
o 343346
o 343160
o 343080
o 343020
o 342940
o 342926
o 342846
o 342647
o 342461
o 342381
o 342313
o 342233
o 342034
o 341848
o 341768
o 341632
o 341446
o 341366
o 341351
o 341271
o 341072
o 340886
o 340806
o 340654
o 340574
o 340375
o 340189
o 340109
o 340060
o 339997
o 339917
o 339908
o 339765
o 339685
o 339629
o 339486
o 339443
o 339300
o 339220
o 338971
o 338891
o 338785
o 338705
o 338675
o 338506
o 338320
o 338240
o 338162
o 338082
o 337946
o 337760
o 337680
o 337528
o 337448
o 337418
o 337249
o 337063
o 336983
o 336977
o 336934
o 336871
o 336791
o 336782
o 336639
o 336559
o 336503
o 336360
o 336280
o 336237
o 336174
o 336094
o 336079
o 335948
o 335868
o 335732
o 335546
o 335466
o 335403
o 335267
o 335081
o 335001
o 334979
o 334949
o 334923
o 334780
o 334737
o 334594
o 334514
o 334378
o 334335
o 334192
o 334112
o 334053
o 334023
o 333997
o 333854
o 333811
o 333668
o 333588
o 333452
o 333409
o 333266
o 333186
o 333154
o 333011
o 332931
o 332888
o 332825
o 332745
o 332715
o 332689
o 332546
o 332503
o 332360
o 332280
o 332144
o 332101
o 331958
o 331878
o 331819
o 331789
o 331763
o 331620
o 331577
o 331434
o 331354
o 331218
o 331175
o 331032
o 330952
o 330813
o 330770
o 330627
o 330547
o 330411
o 330368
o 330225
o 330145
o 330065
o 329993
o 329850
o 329770
o 329697
o 329634
o 329554
o 329511
o 329448
o 329368
o 329338
o 329258
o 329249
o 329106
o 329026
o 328970
o 328827
o 328747
o 328704
o 328641
o 328561
o 328504
o 328424
o 328394
o 328368
o 328225
o 328182
o 328039
o 327959
o 327907
o 327764
o 327684
o 327641
o 327578
o 327498
o 327468
o 327442
o 327299
o 327256
o 327113
o 327033
o 327003
o 326923
o 326914
o 326771
o 326691
o 326635
o 326492
o 326412
o 326369
o 326306
o 326226
o 326166
o 326094
o 325951
o 325871
o 325798
o 325735
o 325655
o 325612
o 325549
o 325469
o 325448
o 325368
o 325338
o 325312
o 325169
o 325126
o 324983
o 324903
o 324864
o 324784
o 324754
o 324674
o 324665
o 324522
o 324442
o 324386
o 324243
o 324163
o 324120
o 324057
o 323977
o 323948
o 323918
o 323838
o 323807
o 323671
o 323628
o 323485
o 323405
o 323364
o 323221
o 323141
o 323081
o 323050
o 322914
o 322871
o 322728
o 322648
o 322607
o 322464
o 322384
o 322348
o 322305
o 322162
o 322082
o 322041
o 321898
o 321818
o 321779
o 321699
o 321669
o 321589
o 321565
o 321422
o 321379
o 321236
o 321156
o 321078
o 320972
o 320892
o 320841
o 320811
o 320731
o 320700
o 320564
o 320521
o 320378
o 320298
o 320257
o 320114
o 320034
o 319962
o 319899
o 319819
o 319759
o 319728
o 319592
o 319549
o 319406
o 319326
o 319285
o 319142
o 319062
o 319026
o 318983
o 318840
o 318760
o 318719
o 318576
o 318496
o 318457
o 318377
o 318347
o 318267
o 318243
o 318100
o 318057
o 317914
o 317834
o 317756
o 317650
o 317570
o 317427
o 317347
o 317306
o 317167
o 317094
o 316951
o 316871
o 316828
o 316765
o 316685
o 316644
o 316501
o 316421
o 316389
o 316358
o 316222
o 316179
o 316036
o 315956
o 315915
o 315772
o 315692
o 315668
o 315525
o 315445
o 315404
o 315261
o 315181
o 315142
o 315062
o 315032
o 314952
o 314921
o 314785
o 314742
o 314599
o 314519
o 314478
o 314335
o 314255
o 314112
o 314032
o 313991
o 313852
o 313779
o 313636
o 313556
o 313513
o 313450
o 313370
o 313329
o 313186
o 313106
o 313074
o 313043
o 312907
o 312864
o 312721
o 312641
o 312600
o 312457
o 312377
o 312282
o 312239
o 312096
o 312016
o 311975
o 311832
o 311752
o 311720
o 311689
o 311553
o 311510
o 311367
o 311287
o 311246
o 311103
o 311023
o 311017
o 310954
o 310874
o 310850
o 310707
o 310627
o 310586
o 310443
o 310363
o 310324
o 310244
o 310214
o 310134
o 310103
o 309967
o 309924
o 309781
o 309701
o 309660
o 309517
o 309437
o 309294
o 309214
o 309175
o 309095
o 309065
o 308985
o 308961
o 308818
o 308775
o 308632
o 308552
o 308474
o 308368
o 308288
o 308256
o 308232
o 308089
o 308046
o 307903
o 307823
o 307745
o 307639
o 307559
o 307464
o 307421
o 307278
o 307198
o 307157
o 307014
o 306934
o 306902
o 306871
o 306735
o 306692
o 306549
o 306469
o 306428
o 306285
o 306205
o 306172
o 306113
o 306033
o 306010
o 305867
o 305787
o 305746
o 305607
o 305534
o 305391
o 305311
o 305268
o 305205
o 305125
o 305084
o 304941
o 304861
o 304718
o 304638
o 304599
o 304519
o 304489
o 304409
o 304378
o 304242
o 304199
o 304056
o 303976
o 303935
o 303792
o 303712
o 303680
o 303649
o 303513
o 303470
o 303327
o 303247
o 303206
o 303063
o 302983
o 302888
o 302845
o 302702
o 302622
o 302581
o 302438
o 302358
o 302326
o 302295
o 302159
o 302116
o 301973
o 301893
o 301852
o 301709
o 301629
o 301596
o 301582
o 301502
o 301461
o 301318
o 301238
o 301206
o 301175
o 301039
o 300996
o 300853
o 300773
o 300732
o 300589
o 300509
o 300476
o 300376
o 300296
o 300255
o 300112
o 300032
o 299993
o 299913
o 299835
o 299779
o 299636
o 299556
o 299513
o 299450
o 299370
o 299292
o 299186
o 299106
o 299011
o 298968
o 298825
o 298745
o 298704
o 298561
o 298481
o 298449
o 298418
o 298282
o 298239
o 298096
o 298016
o 297975
o 297832
o 297752
o 297719
o 297708
o 297700
o 297565
o 297485
o 297453
o 297429
o 297421
o 297286
o 297243
o 297235
o 297100
o 297020
o 296979
o 296971
o 296836
o 296756
o 296723
o 296709
o 296629
o 296588
o 296580
o 296445
o 296365
o 296333
o 296309
o 296301
o 296166
o 296123
o 296115
o 295980
o 295900
o 295859
o 295851
o 295716
o 295636
o 295603
o 295503
o 295423
o 295382
o 295374
o 295239
o 295159
o 295120
o 295040
o 294962
o 294930
o 294906
o 294898
o 294763
o 294720
o 294712
o 294577
o 294497
o 294456
o 294448
o 294313
o 294233
o 294138
o 294095
o 294087
o 293952
o 293872
o 293831
o 293823
o 293688
o 293608
o 293576
o 293552
o 293544
o 293409
o 293366
o 293358
o 293223
o 293143
o 293102
o 293094
o 292959
o 292879
o 292846
o 292821
o 292789
o 292679
o 292646
o 292599
o 292566
o 292558
o 292525
o 292415
o 292382
o 292335
o 292302
o 292268
o 292235
o 292205
o 292172
o 292125
o 292092
o 291993
o 291913
o 291846
o 291783
o 291703
o 291693
o 291650
o 291587
o 291507
o 291475
o 291467
o 291332
o 291252
o 291211
o 291203
o 291068
o 290988
o 290921
o 290858
o 290778
o 290651
o 290571
o 290530
o 290522
o 290387
o 290307
o 290240
o 290177
o 290097
o 290065
o 290057
o 289922
o 289842
o 289801
o 289793
o 289658
o 289578
o 289511
o 289448
o 289368
o 289335
o 289328
o 289194
o 289151
o 289143
o 289008
o 288928
o 288887
o 288879
o 288744
o 288664
o 288631
o 288587
o 288507
o 288466
o 288458
o 288323
o 288243
o 288204
o 288124
o 288094
o 288014
o 287990
o 287982
o 287847
o 287804
o 287796
o 287661
o 287583
o 287540
o 287532
o 287397
o 287317
o 287312
o 287177
o 287097
o 287056
o 287048
o 286913
o 286833
o 286794
o 286714
o 286684
o 286604
o 286580
o 286572
o 286437
o 286394
o 286386
o 286251
o 286173
o 286130
o 286122
o 285987
o 285907
o 285874
o 285849
o 285817
o 285770
o 285707
o 285627
o 285586
o 285578
o 285443
o 285363
o 285296
o 285233
o 285153
o 285120
o 285022
o 284942
o 284875
o 284812
o 284732
o 284693
o 284613
o 284583
o 284503
o 284495
o 284360
o 284293
o 284285
o 284150
o 284070
o 284029
o 284021
o 283886
o 283806
o 283796
o 283755
o 283747
o 283612
o 283532
o 283465
o 283402
o 283322
o 283283
o 283203
o 283173
o 283093
o 283085
o 282950
o 282883
o 282875
o 282740
o 282660
o 282619
o 282611
o 282476
o 282396
o 282363
o 282349
o 282269
o 282228
o 282220
o 282085
o 282005
o 281954
o 281891
o 281811
o 281779
o 281763
o 281755
o 281620
o 281540
o 281489
o 281426
o 281346
o 281276
o 281225
o 281162
o 281082
o 281049
o 281025
o 280996
o 280945
o 280882
o 280802
o 280732
o 280681
o 280618
o 280538
o 280471
o 280408
o 280328
o 280311
o 280197
o 280117
o 280050
o 279987
o 279907
o 279868
o 279788
o 279758
o 279678
o 279670
o 279535
o 279468
o 279460
o 279325
o 279245
o 279204
o 279196
o 279061
o 278981
o 278971
o 278901
o 278787
o 278707
o 278640
o 278577
o 278497
o 278458
o 278378
o 278348
o 278268
o 278260
o 278125
o 278058
o 278050
o 277915
o 277835
o 277794
o 277786
o 277651
o 277571
o 277538
o 277480
o 277447
o 277400
o 277367
o 277359
o 277326
o 277216
o 277183
o 277136
o 277103
o 277069
o 277036
o 277006
o 276973
o 276926
o 276893
o 276879
o 276846
o 276799
o 276766
o 276685
o 276652
o 276605
o 276572
o 276535
o 276502
o 276484
o 276451
o 276421
o 276388
o 276341
o 276308
o 276276
o 276260
o 276150
o 276117
o 276070
o 276037
o 276019
o 275986
o 275956
o 275923
o 275876
o 275843
o 275806
o 275773
o 275755
o 275722
o 275692
o 275659
o 275612
o 275579
o 275555
o 275526
o 275475
o 275412
o 275332
o 275262
o 275211
o 275148
o 275068
o 275001
o 274938
o 274858
o 274841
o 274727
o 274647
o 274580
o 274517
o 274437
o 274398
o 274318
o 274288
o 274208
o 274200
o 274065
o 273998
o 273990
o 273855
o 273775
o 273734
o 273726
o 273591
o 273511
o 273501
o 273431
o 273317
o 273237
o 273170
o 273107
o 273027
o 272988
o 272908
o 272878
o 272798
o 272790
o 272655
o 272588
o 272580
o 272445
o 272365
o 272324
o 272316
o 272181
o 272101
o 272068
o 272053
o 272020
o 271986
o 271953
o 271923
o 271890
o 271843
o 271810
o 271752
o 271719
o 271672
o 271639
o 271631
o 271598
o 271488
o 271455
o 271408
o 271375
o 271341
o 271308
o 271278
o 271245
o 271198
o 271165
o 271151
o 271118
o 271071
o 271038
o 270957
o 270924
o 270877
o 270844
o 270807
o 270774
o 270756
o 270723
o 270693
o 270660
o 270613
o 270580
o 270548
o 270532
o 270422
o 270389
o 270342
o 270309
o 270291
o 270258
o 270228
o 270195
o 270148
o 270115
o 270078
o 270045
o 270027
o 269994
o 269964
o 269931
o 269884
o 269851
o 269827
o 269798
o 269747
o 269684
o 269604
o 269534
o 269483
o 269420
o 269340
o 269273
o 269210
o 269130
o 269113
o 268999
o 268919
o 268852
o 268789
o 268709
o 268670
o 268590
o 268560
o 268480
o 268472
o 268337
o 268270
o 268262
o 268127
o 268047
o 268006
o 267998
o 267863
o 267783
o 267773
o 267703
o 267589
o 267509
o 267442
o 267379
o 267299
o 267260
o 267180
o 267150
o 267070
o 267062
o 266927
o 266860
o 266852
o 266717
o 266637
o 266596
o 266588
o 266453
o 266373
o 266340
o 266326
o 266296
o 266263
o 266216
o 266183
o 266168
o 266135
o 266101
o 266068
o 266038
o 266005
o 265958
o 265925
o 265867
o 265834
o 265787
o 265754
o 265746
o 265713
o 265603
o 265570
o 265523
o 265490
o 265456
o 265423
o 265393
o 265360
o 265313
o 265280
o 265266
o 265233
o 265186
o 265153
o 265072
o 265039
o 264992
o 264959
o 264922
o 264889
o 264871
o 264838
o 264808
o 264775
o 264728
o 264695
o 264663
o 264635
o 264602
o 264600
o 264567
o 264537
o 264504
o 264457
o 264424
o 264406
o 264373
o 264343
o 264310
o 264263
o 264230
o 264193
o 264160
o 264142
o 264109
o 264079
o 264046
o 263999
o 263966
o 263942
o 263907
o 263827
o 263799
o 263719
o 263649
o 263598
o 263535
o 263455
o 263388
o 263325
o 263245
o 263228
o 263114
o 263034
o 262967
o 262904
o 262824
o 262785
o 262705
o 262675
o 262595
o 262587
o 262452
o 262385
o 262377
o 262242
o 262162
o 262121
o 262113
o 261978
o 261898
o 261888
o 261818
o 261704
o 261624
o 261557
o 261494
o 261414
o 261375
o 261295
o 261265
o 261185
o 261177
o 261042
o 260975
o 260967
o 260832
o 260752
o 260711
o 260703
o 260568
o 260488
o 260455
o 260452
o 260442
o 260372
o 260258
o 260178
o 260111
o 260048
o 259968
o 259929
o 259849
o 259819
o 259739
o 259731
o 259596
o 259529
o 259521
o 259386
o 259306
o 259265
o 259257
o 259122
o 259042
o 259009
o 258995
o 258965
o 258932
o 258885
o 258852
o 258837
o 258804
o 258770
o 258737
o 258707
o 258674
o 258627
o 258594
o 258536
o 258503
o 258456
o 258423
o 258415
o 258382
o 258272
o 258239
o 258192
o 258159
o 258125
o 258092
o 258062
o 258029
o 257982
o 257949
o 257927
o 257890
o 257857
o 257776
o 257743
o 257696
o 257663
o 257661
o 257591
o 257540
o 257477
o 257397
o 257364
o 257332
o 257304
o 257271
o 257269
o 257236
o 257206
o 257173
o 257126
o 257093
o 257075
o 257042
o 257012
o 256979
o 256932
o 256899
o 256862
o 256829
o 256811
o 256778
o 256748
o 256715
o 256668
o 256635
o 256610
o 256578
o 256576
o 256496
o 256468
o 256388
o 256318
o 256267
o 256204
o 256124
o 256057
o 255994
o 255914
o 255881
o 255864
o 255783
o 255750
o 255703
o 255670
o 255636
o 255603
o 255573
o 255540
o 255493
o 255460
o 255454
o 255421
o 255374
o 255341
o 255311
o 255264
o 255231
o 255121
o 255088
o 255054
o 255021
o 254911
o 254878
o 254831
o 254798
o 254790
o 254757
o 254647
o 254614
o 254567
o 254534
o 254524
o 254487
o 254454
o 254373
o 254340
o 254293
o 254260
o 254226
o 254193
o 254163
o 254130
o 254083
o 254050
o 254044
o 254011
o 253964
o 253931
o 253901
o 253854
o 253821
o 253711
o 253678
o 253644
o 253611
o 253501
o 253468
o 253421
o 253388
o 253380
o 253347
o 253237
o 253204
o 253157
o 253124
o 253080
o 253047
o 253000
o 252967
o 252949
o 252916
o 252886
o 252853
o 252806
o 252773
o 252759
o 252729
o 252696
o 252649
o 252616
o 252585
o 252552
o 252534
o 252501
o 252471
o 252438
o 252391
o 252358
o 252230
o 252197
o 252150
o 252117
o 252020
o 251987
o 251940
o 251907
o 251889
o 251856
o 251826
o 251793
o 251746
o 251713
o 251690
o 251610
o 251540
o 251426
o 251346
o 251279
o 251216
o 251136
o 251104
o 251069
o 250989
o 250961
o 250881
o 250811
o 250760
o 250697
o 250617
o 250550
o 250487
o 250407
o 250346
o 250276
o 250162
o 250082
o 250015
o 249952
o 249872
o 249855
o 249741
o 249661
o 249594
o 249531
o 249451
o 249412
o 249332
o 249302
o 249222
o 249214
o 249079
o 249012
o 249004
o 248869
o 248789
o 248748
o 248740
o 248605
o 248525
o 248515
o 248445
o 248331
o 248251
o 248184
o 248121
o 248041
o 248002
o 247922
o 247892
o 247812
o 247804
o 247669
o 247602
o 247594
o 247459
o 247379
o 247338
o 247330
o 247195
o 247115
o 247064
o 247001
o 246921
o 246888
o 246885
o 246852
o 246822
o 246742
o 246709
o 246611
o 246531
o 246464
o 246401
o 246321
o 246282
o 246202
o 246172
o 246092
o 246084
o 245949
o 245882
o 245874
o 245739
o 245659
o 245618
o 245610
o 245475
o 245395
o 245385
o 245315
o 245201
o 245121
o 245054
o 244991
o 244911
o 244872
o 244792
o 244762
o 244682
o 244674
o 244539
o 244472
o 244464
o 244329
o 244249
o 244208
o 244200
o 244065
o 243985
o 243952
o 243908
o 243875
o 243828
o 243795
o 243777
o 243744
o 243714
o 243681
o 243634
o 243601
o 243587
o 243557
o 243524
o 243477
o 243444
o 243413
o 243380
o 243362
o 243329
o 243299
o 243266
o 243219
o 243186
o 243058
o 243025
o 242978
o 242945
o 242848
o 242815
o 242768
o 242735
o 242717
o 242684
o 242654
o 242621
o 242574
o 242541
o 242518
o 242438
o 242368
o 242254
o 242174
o 242107
o 242044
o 241964
o 241932
o 241897
o 241817
o 241789
o 241709
o 241639
o 241588
o 241525
o 241445
o 241378
o 241315
o 241235
o 241174
o 241104
o 240990
o 240910
o 240843
o 240780
o 240700
o 240683
o 240569
o 240489
o 240422
o 240359
o 240279
o 240240
o 240160
o 240130
o 240050
o 240042
o 239907
o 239840
o 239832
o 239697
o 239617
o 239576
o 239568
o 239433
o 239353
o 239343
o 239273
o 239159
o 239079
o 239012
o 238949
o 238869
o 238830
o 238750
o 238720
o 238640
o 238632
o 238497
o 238430
o 238422
o 238287
o 238207
o 238166
o 238158
o 238023
o 237943
o 237892
o 237829
o 237749
o 237716
o 237684
o 237651
o 237570
o 237537
o 237490
o 237457
o 237423
o 237360
o 237280
o 237247
o 237241
o 237161
o 237128
o 237098
o 237051
o 237018
o 236908
o 236841
o 236833
o 236698
o 236665
o 236618
o 236585
o 236577
o 236569
o 236434
o 236401
o 236354
o 236321
o 236277
o 236244
o 236197
o 236164
o 236146
o 236113
o 236083
o 236050
o 236003
o 235970
o 235956
o 235926
o 235893
o 235846
o 235813
o 235782
o 235749
o 235731
o 235698
o 235668
o 235635
o 235588
o 235555
o 235427
o 235394
o 235347
o 235314
o 235217
o 235184
o 235137
o 235104
o 235086
o 235053
o 235023
o 234990
o 234943
o 234910
o 234887
o 234807
o 234737
o 234623
o 234543
o 234476
o 234413
o 234333
o 234301
o 234266
o 234186
o 234158
o 234078
o 234008
o 233957
o 233894
o 233814
o 233747
o 233684
o 233604
o 233543
o 233473
o 233359
o 233279
o 233212
o 233149
o 233069
o 233052
o 232938
o 232858
o 232791
o 232728
o 232648
o 232609
o 232529
o 232499
o 232419
o 232411
o 232276
o 232209
o 232201
o 232066
o 231986
o 231945
o 231937
o 231802
o 231722
o 231712
o 231642
o 231528
o 231448
o 231381
o 231318
o 231238
o 231199
o 231119
o 231089
o 231009
o 231001
o 230866
o 230799
o 230791
o 230656
o 230576
o 230535
o 230527
o 230392
o 230312
o 230261
o 230198
o 230118
o 230085
o 230074
o 230041
o 230003
o 229923
o 229907
o 229793
o 229713
o 229662
o 229599
o 229519
o 229502
o 229486
o 229372
o 229292
o 229241
o 229178
o 229098
o 229059
o 228979
o 228949
o 228869
o 228853
o 228845
o 228710
o 228659
o 228651
o 228516
o 228436
o 228395
o 228387
o 228252
o 228172
o 228092
o 228076
o 227962
o 227882
o 227831
o 227768
o 227688
o 227649
o 227569
o 227539
o 227459
o 227443
o 227435
o 227300
o 227249
o 227241
o 227106
o 227026
o 226985
o 226977
o 226842
o 226762
o 226729
o 226650
o 226617
o 226570
o 226537
o 226500
o 226467
o 226386
o 226353
o 226306
o 226273
o 226239
o 226206
o 226176
o 226143
o 226096
o 226063
o 226031
o 226029
o 225996
o 225949
o 225916
o 225888
o 225841
o 225808
o 225771
o 225738
o 225720
o 225687
o 225657
o 225624
o 225577
o 225544
o 225510
o 225477
o 225447
o 225414
o 225367
o 225334
o 225290
o 225257
o 225210
o 225177
o 225159
o 225126
o 225096
o 225063
o 225016
o 224983
o 224969
o 224939
o 224906
o 224859
o 224826
o 224795
o 224762
o 224744
o 224711
o 224681
o 224648
o 224601
o 224568
o 224440
o 224407
o 224360
o 224327
o 224230
o 224197
o 224150
o 224117
o 224099
o 224066
o 224036
o 224003
o 223956
o 223923
o 223900
o 223820
o 223750
o 223636
o 223556
o 223489
o 223426
o 223346
o 223314
o 223279
o 223199
o 223171
o 223091
o 223021
o 222970
o 222907
o 222827
o 222760
o 222697
o 222617
o 222556
o 222486
o 222372
o 222292
o 222225
o 222162
o 222082
o 222001
o 221921
o 221851
o 221737
o 221657
o 221590
o 221527
o 221447
o 221371
o 221291
o 221221
o 221107
o 221027
o 220960
o 220897
o 220817
o 220802
o 220722
o 220608
o 220528
o 220458
o 220344
o 220264
o 220197
o 220134
o 220054
o 220022
o 219987
o 219907
o 219879
o 219799
o 219729
o 219678
o 219615
o 219535
o 219468
o 219405
o 219325
o 219274
o 219211
o 219131
o 219098
o 219087
o 219054
o 219023
o 218942
o 218909
o 218862
o 218829
o 218792
o 218759
o 218678
o 218645
o 218598
o 218565
o 218549
o 218541
o 218531
o 218498
o 218468
o 218435
o 218388
o 218355
o 218337
o 218304
o 218274
o 218241
o 218194
o 218161
o 218117
o 218084
o 218003
o 217970
o 217923
o 217890
o 217853
o 217820
o 217739
o 217706
o 217659
o 217626
o 217608
o 217575
o 217545
o 217512
o 217465
o 217432
o 217409
o 217328
o 217295
o 217248
o 217215
o 217199
o 217118
o 217085
o 217038
o 217005
o 216987
o 216954
o 216924
o 216891
o 216844
o 216811
o 216803
o 216756
o 216723
o 216705
o 216642
o 216562
o 216529
o 216512
o 216496
o 216415
o 216382
o 216335
o 216302
o 216284
o 216251
o 216221
o 216188
o 216141
o 216108
o 216105
o 216097
o 216087
o 216054
o 216024
o 215991
o 215944
o 215911
o 215896
o 215863
o 215753
o 215720
o 215673
o 215640
o 215632
o 215599
o 215489
o 215456
o 215409
o 215376
o 215358
o 215325
o 215295
o 215262
o 215215
o 215182
o 215135
o 215102
o 215086
o 215005
o 214972
o 214925
o 214892
o 214874
o 214841
o 214811
o 214778
o 214731
o 214698
o 214695
o 214687
o 214677
o 214644
o 214614
o 214581
o 214534
o 214501
o 214486
o 214453
o 214343
o 214310
o 214263
o 214230
o 214222
o 214189
o 214079
o 214046
o 213999
o 213966
o 213948
o 213915
o 213885
o 213852
o 213805
o 213772
o 213692
o 213673
o 213610
o 213530
o 213463
o 213400
o 213320
o 213259
o 213189
o 213075
o 212995
o 212928
o 212865
o 212785
o 212704
o 212624
o 212554
o 212440
o 212360
o 212293
o 212230
o 212150
o 212074
o 211994
o 211924
o 211810
o 211730
o 211663
o 211600
o 211520
o 211505
o 211425
o 211311
o 211231
o 211161
o 211047
o 210967
o 210900
o 210837
o 210757
o 210725
o 210690
o 210610
o 210582
o 210502
o 210432
o 210381
o 210318
o 210238
o 210171
o 210108
o 210028
o 209977
o 209914
o 209834
o 209801
o 209790
o 209757
o 209747
o 209714
o 209667
o 209634
o 209623
o 209590
o 209583
o 209553
o 209520
o 209473
o 209440
o 209429
o 209396
o 209362
o 209329
o 209306
o 209273
o 209212
o 209168
o 209135
o 209133
o 209086
o 209053
o 209035
o 208972
o 208892
o 208859
o 208842
o 208826
o 208745
o 208712
o 208665
o 208632
o 208592
o 208559
o 208551
o 208518
o 208471
o 208438
o 208435
o 208427
o 208417
o 208384
o 208354
o 208321
o 208274
o 208241
o 208226
o 208193
o 208171
o 208083
o 208050
o 208003
o 207970
o 207962
o 207929
o 207907
o 207819
o 207786
o 207739
o 207706
o 207688
o 207655
o 207625
o 207592
o 207545
o 207512
o 207465
o 207432
o 207416
o 207335
o 207302
o 207255
o 207222
o 207182
o 207149
o 207141
o 207108
o 207061
o 207028
o 207025
o 207017
o 207007
o 206974
o 206944
o 206911
o 206864
o 206831
o 206816
o 206783
o 206761
o 206673
o 206640
o 206593
o 206560
o 206552
o 206519
o 206497
o 206409
o 206376
o 206329
o 206296
o 206278
o 206245
o 206215
o 206182
o 206135
o 206102
o 206091
o 206058
o 206045
o 206012
o 205968
o 205924
o 205891
o 205851
o 205818
o 205774
o 205730
o 205697
o 205674
o 205663
o 205630
o 205601
o 205590
o 205557
o 205513
o 205480
o 205469
o 205436
o 205391
o 205347
o 205314
o 205291
o 205280
o 205247
o 205235
o 205224
o 205191
o 205177
o 205130
o 205097
o 205086
o 205053
o 205049
o 205019
o 204986
o 204939
o 204906
o 204895
o 204862
o 204839
o 204828
o 204795
o 204783
o 204772
o 204739
o 204725
o 204678
o 204645
o 204634
o 204601
o 204594
o 204583
o 204550
o 204536
o 204489
o 204456
o 204445
o 204412
o 204400
o 204389
o 204356
o 204342
o 204295
o 204262
o 204251
o 204218
o 204202
o 204191
o 204158
o 204146
o 204135
o 204102
o 204088
o 204041
o 204008
o 203997
o 203964
o 203904
o 203860
o 203827
o 203804
o 203790
o 203710
o 203666
o 203633
o 203589
o 203545
o 203512
o 203505
o 203494
o 203461
o 203447
o 203400
o 203367
o 203356
o 203323
o 203311
o 203300
o 203267
o 203253
o 203206
o 203173
o 203162
o 203129
o 203128
o 203117
o 203084
o 203070
o 203023
o 202990
o 202979
o 202946
o 202933
o 202886
o 202853
o 202842
o 202809
o 202797
o 202786
o 202753
o 202739
o 202692
o 202659
o 202648
o 202615
o 202571
o 202538
o 202527
o 202494
o 202487
o 202476
o 202443
o 202429
o 202382
o 202349
o 202338
o 202305
o 202293
o 202282
o 202249
o 202235
o 202188
o 202155
o 202144
o 202111
o 202095
o 202084
o 202051
o 202039
o 202028
o 201995
o 201981
o 201934
o 201901
o 201890
o 201857
o 201844
o 201797
o 201764
o 201753
o 201720
o 201708
o 201697
o 201664
o 201650
o 201603
o 201570
o 201559
o 201526
o 201482
o 201449
o 201438
o 201405
o 201398
o 201387
o 201354
o 201340
o 201293
o 201260
o 201249
o 201216
o 201204
o 201193
o 201160
o 201146
o 201099
o 201066
o 201055
o 201022
o 201006
o 200973
o 200962
o 200929
o 200883
o 200850
o 200839
o 200806
o 200792
o 200745
o 200712
o 200701
o 200668
o 200623
o 200590
o 200579
o 200546
o 200500
o 200467
o 200456
o 200423
o 200409
o 200362
o 200329
o 200318
o 200285
o 200242
o 200209
o 200198
o 200165
o 200155
o 200111
o 200078
o 200067
o 200034
o 200005
o 199994
o 199961
o 199917
o 199884
o 199873
o 199840
o 199828
o 199795
o 199784
o 199751
o 199707
o 199674
o 199663
o 199630
o 199601
o 199590
o 199557
o 199513
o 199480
o 199469
o 199436
o 199413
o 199402
o 199369
o 199357
o 199346
o 199313
o 199299
o 199252
o 199219
o 199208
o 199175
o 199168
o 199157
o 199124
o 199110
o 199063
o 199030
o 199019
o 198986
o 198974
o 198963
o 198930
o 198916
o 198869
o 198836
o 198825
o 198792
o 198779
o 198732
o 198699
o 198688
o 198655
o 198643
o 198632
o 198599
o 198585
o 198538
o 198505
o 198494
o 198461
o 198417
o 198384
o 198373
o 198340
o 198333
o 198322
o 198289
o 198275
o 198228
o 198195
o 198184
o 198151
o 198139
o 198128
o 198095
o 198081
o 198034
o 198001
o 197990
o 197957
o 197904
o 197860
o 197790
o 197710
o 197666
o 197643
o 197599
o 197587
o 197543
o 197529
o 197449
o 197405
o 197372
o 197328
o 197284
o 197251
o 197244
o 197233
o 197200
o 197186
o 197139
o 197106
o 197095
o 197062
o 197050
o 197039
o 197006
o 196992
o 196945
o 196912
o 196901
o 196868
o 196842
o 196772
o 196692
o 196648
o 196625
o 196581
o 196569
o 196525
o 196511
o 196431
o 196387
o 196354
o 196310
o 196266
o 196233
o 196215
o 196201
o 196121
o 196077
o 196044
o 196021
o 196007
o 195927
o 195883
o 195850
o 195844
o 195797
o 195764
o 195753
o 195720
o 195683
o 195650
o 195603
o 195570
o 195559
o 195526
o 195503
o 195492
o 195459
o 195447
o 195436
o 195403
o 195389
o 195342
o 195309
o 195298
o 195265
o 195221
o 195188
o 195177
o 195144
o 195137
o 195126
o 195093
o 195079
o 195032
o 194999
o 194988
o 194955
o 194943
o 194932
o 194899
o 194885
o 194838
o 194805
o 194794
o 194761
o 194755
o 194722
o 194710
o 194699
o 194666
o 194652
o 194605
o 194572
o 194561
o 194528
o 194484
o 194451
o 194440
o 194407
o 194362
o 194329
o 194318
o 194285
o 194239
o 194206
o 194195
o 194162
o 194148
o 194101
o 194068
o 194057
o 194024
o 193997
o 193953
o 193920
o 193875
o 193842
o 193831
o 193798
o 193752
o 193719
o 193708
o 193675
o 193661
o 193614
o 193581
o 193570
o 193537
o 193534
o 193501
o 193487
o 193440
o 193407
o 193396
o 193363
o 193319
o 193286
o 193275
o 193242
o 193197
o 193164
o 193153
o 193120
o 193074
o 193041
o 193030
o 192997
o 192983
o 192936
o 192903
o 192892
o 192859
o 192832
o 192788
o 192755
o 192710
o 192666
o 192587
o 192543
o 192529
o 192449
o 192405
o 192372
o 192367
o 192334
o 192317
o 192306
o 192273
o 192259
o 192248
o 192215
o 192194
o 192178
o 192141
o 192108
o 192061
o 192028
o 192017
o 191984
o 191947
o 191914
o 191867
o 191834
o 191823
o 191790
o 191767
o 191756
o 191723
o 191711
o 191700
o 191667
o 191653
o 191606
o 191573
o 191562
o 191529
o 191485
o 191452
o 191441
o 191408
o 191401
o 191390
o 191357
o 191343
o 191296
o 191263
o 191252
o 191219
o 191207
o 191196
o 191163
o 191149
o 191102
o 191069
o 191058
o 191025
o 191019
o 190972
o 190939
o 190928
o 190895
o 190858
o 190825
o 190778
o 190745
o 190734
o 190701
o 190678
o 190667
o 190634
o 190622
o 190611
o 190578
o 190564
o 190517
o 190484
o 190473
o 190440
o 190396
o 190363
o 190352
o 190319
o 190312
o 190301
o 190268
o 190254
o 190207
o 190174
o 190163
o 190130
o 190118
o 190107
o 190074
o 190060
o 190013
o 189980
o 189969
o 189936
o 189921
o 189910
o 189877
o 189840
o 189807
o 189760
o 189727
o 189716
o 189683
o 189660
o 189649
o 189616
o 189604
o 189593
o 189560
o 189546
o 189499
o 189466
o 189455
o 189422
o 189378
o 189345
o 189334
o 189301
o 189294
o 189283
o 189250
o 189236
o 189189
o 189156
o 189145
o 189112
o 189100
o 189089
o 189056
o 189042
o 188995
o 188962
o 188951
o 188918
o 188912
o 188865
o 188832
o 188821
o 188788
o 188751
o 188718
o 188671
o 188638
o 188627
o 188594
o 188571
o 188560
o 188527
o 188515
o 188504
o 188471
o 188457
o 188410
o 188377
o 188366
o 188333
o 188289
o 188256
o 188245
o 188212
o 188205
o 188194
o 188161
o 188147
o 188100
o 188067
o 188056
o 188023
o 188011
o 188000
o 187967
o 187953
o 187906
o 187873
o 187862
o 187829
o 187823
o 187811
o 187767
o 187753
o 187731
o 187673
o 187629
o 187610
o 187552
o 187508
o 187475
o 187455
o 187444
o 187411
o 187397
o 187386
o 187353
o 187307
o 187274
o 187263
o 187230
o 187216
o 187169
o 187136
o 187125
o 187092
o 187065
o 187021
o 186988
o 186957
o 186943
o 186899
o 186878
o 186820
o 186776
o 186762
o 186740
o 186682
o 186638
o 186605
o 186602
o 186569
o 186555
o 186508
o 186475
o 186464
o 186431
o 186387
o 186354
o 186343
o 186310
o 186290
o 186279
o 186246
o 186232
o 186221
o 186188
o 186142
o 186109
o 186098
o 186065
o 186051
o 186004
o 185971
o 185960
o 185927
o 185900
o 185867
o 185856
o 185823
o 185803
o 185792
o 185759
o 185745
o 185734
o 185701
o 185655
o 185622
o 185611
o 185578
o 185564
o 185517
o 185484
o 185473
o 185440
o 185426
o 185411
o 185400
o 185367
o 185330
o 185297
o 185250
o 185217
o 185206
o 185173
o 185150
o 185139
o 185106
o 185094
o 185083
o 185050
o 185036
o 184989
o 184956
o 184945
o 184912
o 184868
o 184835
o 184824
o 184791
o 184784
o 184773
o 184740
o 184726
o 184679
o 184646
o 184635
o 184602
o 184590
o 184579
o 184546
o 184532
o 184485
o 184452
o 184441
o 184408
o 184402
o 184355
o 184322
o 184311
o 184278
o 184241
o 184208
o 184161
o 184128
o 184117
o 184084
o 184061
o 184050
o 184017
o 184005
o 183994
o 183961
o 183947
o 183900
o 183867
o 183856
o 183823
o 183779
o 183746
o 183735
o 183702
o 183695
o 183684
o 183651
o 183637
o 183590
o 183557
o 183546
o 183513
o 183501
o 183490
o 183457
o 183443
o 183396
o 183363
o 183352
o 183319
o 183313
o 183301
o 183257
o 183243
o 183221
o 183163
o 183119
o 183100
o 183042
o 182998
o 182965
o 182945
o 182934
o 182901
o 182887
o 182876
o 182843
o 182797
o 182764
o 182753
o 182720
o 182706
o 182659
o 182626
o 182615
o 182582
o 182555
o 182511
o 182478
o 182447
o 182433
o 182389
o 182368
o 182310
o 182266
o 182252
o 182230
o 182172
o 182128
o 182095
o 182092
o 182059
o 182045
o 181998
o 181965
o 181954
o 181921
o 181877
o 181844
o 181833
o 181800
o 181780
o 181769
o 181736
o 181722
o 181711
o 181678
o 181632
o 181599
o 181588
o 181555
o 181541
o 181494
o 181461
o 181450
o 181417
o 181390
o 181357
o 181346
o 181313
o 181293
o 181282
o 181249
o 181235
o 181224
o 181191
o 181145
o 181112
o 181101
o 181068
o 181054
o 181007
o 180974
o 180963
o 180930
o 180928
o 180881
o 180848
o 180837
o 180804
o 180760
o 180727
o 180716
o 180683
o 180654
o 180643
o 180610
o 180566
o 180533
o 180522
o 180489
o 180482
o 180471
o 180438
o 180424
o 180377
o 180344
o 180333
o 180300
o 180288
o 180277
o 180244
o 180230
o 180183
o 180150
o 180139
o 180106
o 180104
o 180071
o 180057
o 180046
o 180013
o 179967
o 179934
o 179923
o 179890
o 179876
o 179829
o 179796
o 179785
o 179752
o 179732
o 179721
o 179688
o 179674
o 179663
o 179630
o 179584
o 179551
o 179540
o 179507
o 179493
o 179446
o 179413
o 179402
o 179369
o 179342
o 179298
o 179265
o 179234
o 179220
o 179176
o 179155
o 179097
o 179053
o 179039
o 179017
o 178959
o 178915
o 178882
o 178879
o 178846
o 178832
o 178785
o 178752
o 178741
o 178708
o 178664
o 178631
o 178620
o 178587
o 178567
o 178556
o 178523
o 178509
o 178498
o 178465
o 178419
o 178386
o 178375
o 178342
o 178328
o 178281
o 178248
o 178237
o 178204
o 178177
o 178144
o 178133
o 178100
o 178080
o 178069
o 178036
o 178022
o 178011
o 177978
o 177932
o 177899
o 177888
o 177855
o 177841
o 177794
o 177761
o 177750
o 177717
o 177686
o 177683
o 177625
o 177592
o 177581
o 177548
o 177516
o 177502
o 177496
o 177491
o 177458
o 177450
o 177417
o 177412
o 177379
o 177373
o 177368
o 177335
o 177312
o 177279
o 177274
o 177241
o 177235
o 177230
o 177197
o 177196
o 177138
o 177105
o 177094
o 177061
o 177029
o 177015
o 177009
o 177004
o 176971
o 176963
o 176930
o 176925
o 176892
o 176886
o 176881
o 176848
o 176825
o 176792
o 176787
o 176754
o 176748
o 176743
o 176710
o 176696
o 176689
o 176630
o 176597
o 176586
o 176553
o 176539
o 176528
o 176495
o 176470
o 176456
o 176445
o 176412
o 176405
o 176394
o 176361
o 176358
o 176300
o 176267
o 176256
o 176223
o 176211
o 176200
o 176167
o 176164
o 176106
o 176073
o 176062
o 176029
o 176010
o 175987
o 175954
o 175949
o 175916
o 175910
o 175905
o 175872
o 175860
o 175854
o 175849
o 175816
o 175793
o 175760
o 175755
o 175722
o 175716
o 175711
o 175678
o 175658
o 175644
o 175633
o 175600
o 175541
o 175508
o 175497
o 175464
o 175450
o 175439
o 175406
o 175381
o 175367
o 175356
o 175323
o 175316
o 175305
o 175272
o 175269
o 175211
o 175178
o 175167
o 175134
o 175122
o 175111
o 175078
o 175075
o 175017
o 174984
o 174973
o 174940
o 174921
o 174898
o 174865
o 174860
o 174827
o 174821
o 174816
o 174783
o 174771
o 174765
o 174760
o 174727
o 174704
o 174671
o 174666
o 174633
o 174627
o 174622
o 174589
o 174586
o 174566
o 174555
o 174522
o 174508
o 174497
o 174464
o 174418
o 174385
o 174374
o 174341
o 174338
o 174280
o 174247
o 174236
o 174203
o 174171
o 174157
o 174151
o 174146
o 174113
o 174105
o 174072
o 174067
o 174034
o 174028
o 174023
o 173990
o 173967
o 173934
o 173929
o 173896
o 173890
o 173885
o 173852
o 173851
o 173793
o 173760
o 173749
o 173716
o 173684
o 173670
o 173664
o 173659
o 173626
o 173618
o 173585
o 173580
o 173547
o 173541
o 173536
o 173503
o 173480
o 173447
o 173442
o 173409
o 173403
o 173398
o 173365
o 173357
o 173343
o 173332
o 173299
o 173276
o 173265
o 173232
o 173220
o 173209
o 173176
o 173173
o 173115
o 173082
o 173071
o 173038
o 173006
o 172992
o 172986
o 172981
o 172948
o 172940
o 172907
o 172902
o 172869
o Killed
1819.680u 0.042s 30:21.21 99.9%	0+0k 0+0io 0pf+0w