Major project file restructuring

2024-10-15 22:17:02 -03:00
parent dcafbce924
commit caac7b03f9
6256 changed files with 2997579 additions and 0 deletions
--- a/test/reduced/1002_80000_DI_49.txt
+++ b/test/reduced/1002_80000_DI_49.txt
--- a/test/reduced/1002_80000_NR_19.txt
+++ b/test/reduced/1002_80000_NR_19.txt
--- a/test/reduced/201_2500_DI_22.txt
+++ b/test/reduced/201_2500_DI_22.txt
@@ -0,0 +1,204 @@
+202
+2036
+1826
+1818
+1815
+1814
+1813
+1810
+1802
+1787
+1785
+1767
+1765
+1762
+1750
+1742
+1741
+1734
+1729
+1726
+1719
+1698
+1697
+1690
+1685
+1682
+1664
+1662
+1651
+1646
+1645
+1620
+1617
+1609
+1605
+1602
+1571
+1566
+1549
+1514
+1507
+1506
+1481
+1475
+1450
+1408
+1401
+1394
+1393
+1389
+1366
+1355
+1291
+1290
+1289
+1276
+1238
+1178
+1171
+1167
+1165
+1066
+1023
+1022
+1021
+1019
+989
+890
+847
+845
+820
+810
+743
+727
+721
+718
+692
+666
+657
+623
+622
+569
+562
+541
+538
+537
+531
+525
+490
+468
+463
+442
+441
+438
+424
+407
+407
+394
+389
+367
+362
+361
+348
+327
+326
+321
+316
+316
+314
+298
+293
+290
+283
+282
+265
+262
+257
+254
+247
+246
+242
+230
+227
+225
+224
+224
+211
+209
+198
+190
+190
+187
+185
+182
+178
+168
+168
+160
+144
+144
+140
+132
+126
+124
+124
+124
+112
+108
+106
+106
+104
+104
+96
+92
+88
+88
+88
+84
+80
+76
+76
+76
+76
+72
+70
+68
+64
+64
+64
+60
+58
+56
+56
+56
+56
+56
+52
+52
+52
+50
+48
+48
+48
+48
+44
+44
+44
+44
+40
+40
+36
+36
+36
+36
+36
+36
+32
+32
+28
+20
+20
+16
+8
+8
--- a/test/reduced/201_2500_NR_3.txt
+++ b/test/reduced/201_2500_NR_3.txt
@@ -0,0 +1,203 @@
+201
+2456
+2202
+2196
+2192
+2186
+2180
+2166
+2146
+2124
+2108
+2106
+2074
+2039
+2036
+2034
+2028
+2003
+1993
+1986
+1974
+1947
+1940
+1935
+1931
+1924
+1922
+1897
+1890
+1887
+1836
+1822
+1821
+1807
+1804
+1770
+1754
+1748
+1729
+1713
+1696
+1678
+1660
+1646
+1611
+1599
+1595
+1588
+1571
+1570
+1555
+1536
+1514
+1500
+1468
+1450
+1421
+1409
+1405
+1364
+1334
+1238
+1236
+1231
+1230
+1229
+1142
+1023
+1022
+1021
+1020
+976
+938
+916
+884
+877
+873
+863
+844
+842
+840
+833
+786
+751
+742
+724
+719
+715
+705
+678
+668
+650
+650
+621
+607
+596
+574
+568
+548
+541
+531
+530
+524
+512
+497
+478
+474
+467
+446
+444
+439
+436
+435
+425
+394
+389
+387
+384
+364
+356
+354
+349
+322
+314
+292
+284
+280
+272
+262
+242
+236
+232
+226
+220
+214
+204
+204
+204
+200
+184
+176
+174
+174
+172
+164
+156
+150
+144
+144
+142
+142
+140
+132
+128
+128
+122
+120
+112
+112
+112
+108
+104
+104
+104
+104
+96
+92
+92
+88
+88
+88
+88
+86
+86
+84
+80
+76
+76
+76
+72
+68
+68
+64
+64
+64
+60
+56
+52
+52
+48
+48
+48
+48
+48
+44
+40
+40
+40
+36
+32
+16
+16
+4
--- a/test/reduced/402_10000_DI_32.txt
+++ b/test/reduced/402_10000_DI_32.txt
@@ -0,0 +1,405 @@
+403
+8064
+7242
+7234
+7210
+7160
+7148
+7144
+7134
+7128
+7102
+7092
+7090
+7060
+7050
+7028
+7024
+7014
+6995
+6971
+6968
+6964
+6958
+6944
+6931
+6908
+6904
+6894
+6883
+6870
+6858
+6847
+6844
+6824
+6799
+6798
+6775
+6774
+6772
+6761
+6744
+6714
+6700
+6697
+6682
+6648
+6641
+6612
+6606
+6586
+6567
+6552
+6535
+6492
+6478
+6454
+6447
+6440
+6391
+6348
+6347
+6344
+6323
+6314
+6298
+6290
+6203
+6188
+6184
+6181
+6126
+6125
+6102
+6047
+6023
+6004
+5992
+5935
+5915
+5898
+5874
+5866
+5780
+5768
+5756
+5753
+5663
+5646
+5640
+5639
+5590
+5568
+5550
+5526
+5484
+5418
+5371
+5363
+5339
+5336
+5182
+5156
+5072
+5070
+5046
+5011
+5003
+4979
+4968
+4941
+4910
+4854
+4764
+4724
+4612
+4579
+4536
+4533
+4506
+4378
+4226
+4084
+4068
+4052
+4050
+4045
+4042
+4041
+4040
+4037
+4036
+4034
+4033
+3666
+3428
+3384
+3364
+3362
+3361
+3357
+3354
+3353
+3351
+3348
+3332
+3324
+3248
+3202
+3148
+3074
+2966
+2952
+2943
+2905
+2756
+2746
+2720
+2678
+2630
+2603
+2584
+2571
+2551
+2545
+2518
+2428
+2402
+2280
+2271
+2251
+2245
+2243
+2206
+2156
+2152
+2150
+2148
+2118
+2081
+2062
+2018
+2001
+1928
+1927
+1908
+1872
+1834
+1826
+1806
+1791
+1759
+1736
+1724
+1703
+1701
+1681
+1664
+1638
+1618
+1595
+1576
+1571
+1564
+1496
+1482
+1474
+1462
+1451
+1436
+1395
+1368
+1349
+1342
+1322
+1316
+1275
+1272
+1270
+1249
+1248
+1218
+1212
+1192
+1187
+1171
+1154
+1141
+1140
+1126
+1112
+1084
+1078
+1075
+1058
+1055
+1048
+1020
+1015
+1006
+1002
+998
+993
+985
+978
+968
+964
+960
+952
+945
+924
+922
+911
+896
+896
+880
+868
+846
+844
+814
+812
+802
+792
+778
+776
+764
+760
+714
+694
+686
+670
+670
+670
+668
+668
+668
+664
+664
+664
+656
+640
+636
+612
+592
+588
+580
+576
+544
+532
+524
+520
+514
+512
+510
+508
+500
+480
+480
+454
+450
+448
+448
+440
+424
+420
+412
+400
+400
+384
+376
+368
+364
+364
+364
+360
+358
+348
+336
+336
+336
+324
+320
+312
+312
+304
+304
+292
+292
+290
+288
+282
+280
+278
+272
+268
+268
+264
+256
+256
+256
+254
+248
+248
+240
+240
+240
+236
+236
+228
+226
+224
+224
+224
+224
+214
+212
+210
+208
+208
+208
+208
+202
+200
+200
+196
+196
+192
+192
+192
+192
+192
+188
+184
+182
+182
+176
+176
+176
+168
+168
+160
+160
+160
+160
+160
+160
+160
+160
+152
+152
+144
+144
+144
+144
+140
+136
+136
+132
+122
+76
+64
+48
+48
+24
+16
+16
--- a/test/reduced/402_10000_NR_21.txt
+++ b/test/reduced/402_10000_NR_21.txt
@@ -0,0 +1,404 @@
+402
+8360
+7524
+7474
+7466
+7460
+7406
+7402
+7396
+7393
+7388
+7369
+7353
+7334
+7333
+7329
+7326
+7316
+7299
+7270
+7255
+7238
+7235
+7230
+7222
+7220
+7191
+7188
+7180
+7166
+7157
+7127
+7110
+7078
+7070
+7063
+7060
+7027
+6998
+6988
+6985
+6980
+6962
+6945
+6937
+6932
+6877
+6866
+6865
+6842
+6834
+6832
+6815
+6812
+6802
+6794
+6765
+6738
+6720
+6705
+6692
+6684
+6661
+6614
+6612
+6609
+6598
+6575
+6572
+6546
+6532
+6505
+6465
+6396
+6370
+6362
+6335
+6333
+6306
+6276
+6228
+6175
+6134
+6125
+6116
+6078
+5993
+5988
+5937
+5932
+5885
+5821
+5806
+5781
+5764
+5742
+5702
+5700
+5646
+5644
+5551
+5511
+5380
+5322
+5292
+5286
+5187
+5180
+5179
+5155
+5140
+5052
+4965
+4854
+4830
+4822
+4782
+4726
+4725
+4724
+4713
+4673
+4604
+4532
+4496
+4458
+4220
+4188
+4186
+4183
+4182
+4181
+4128
+3750
+3640
+3500
+3484
+3483
+3482
+3481
+3450
+3300
+3254
+3224
+3191
+3144
+3132
+3073
+3041
+3036
+3030
+2950
+2942
+2922
+2856
+2831
+2764
+2684
+2671
+2652
+2651
+2645
+2564
+2562
+2534
+2516
+2508
+2466
+2375
+2341
+2293
+2271
+2262
+2220
+2182
+2181
+2164
+2130
+2031
+2028
+2021
+1980
+1902
+1876
+1863
+1858
+1821
+1780
+1740
+1714
+1691
+1689
+1666
+1662
+1644
+1606
+1601
+1581
+1547
+1524
+1492
+1489
+1470
+1461
+1460
+1458
+1438
+1435
+1404
+1396
+1381
+1379
+1354
+1331
+1306
+1305
+1292
+1289
+1288
+1274
+1266
+1258
+1246
+1196
+1184
+1181
+1166
+1156
+1148
+1147
+1111
+1108
+1084
+1081
+1078
+1070
+1042
+1032
+1029
+1003
+998
+988
+975
+956
+950
+942
+939
+938
+921
+910
+885
+885
+876
+862
+861
+858
+857
+841
+827
+812
+804
+802
+798
+756
+746
+742
+704
+700
+696
+696
+696
+688
+648
+640
+640
+624
+614
+606
+604
+600
+588
+588
+584
+564
+544
+536
+534
+530
+528
+528
+528
+512
+512
+504
+504
+474
+472
+468
+452
+448
+444
+440
+436
+432
+424
+424
+402
+400
+398
+392
+380
+372
+368
+368
+364
+352
+352
+344
+340
+336
+336
+336
+332
+328
+320
+314
+308
+304
+296
+296
+292
+290
+288
+288
+274
+272
+272
+268
+268
+264
+260
+256
+256
+252
+252
+248
+240
+234
+232
+232
+228
+224
+224
+222
+216
+216
+212
+212
+208
+208
+204
+200
+200
+196
+194
+192
+192
+188
+188
+186
+184
+184
+184
+182
+180
+176
+172
+170
+170
+168
+168
+166
+164
+160
+160
+156
+156
+148
+144
+144
+136
+128
+128
+120
+120
+118
+104
+104
+98
+82
+72
+64
+60
+40
--- a/test/reduced/600_20000_DI_31.txt
+++ b/test/reduced/600_20000_DI_31.txt
@@ -0,0 +1,603 @@
+601
+16608
+14946
+14908
+14888
+14886
+14849
+14844
+14824
+14817
+14814
+14812
+14800
+14773
+14769
+14765
+14742
+14740
+14728
+14727
+14714
+14712
+14697
+14665
+14644
+14638
+14616
+14601
+14596
+14581
+14558
+14556
+14525
+14522
+14488
+14470
+14452
+14423
+14396
+14390
+14374
+14335
+14328
+14319
+14310
+14292
+14290
+14248
+14228
+14212
+14186
+14164
+14152
+14132
+14127
+14123
+14122
+14119
+14115
+14114
+14102
+14099
+14091
+14081
+14068
+14056
+14004
+13958
+13957
+13944
+13942
+13940
+13924
+13901
+13894
+13878
+13866
+13808
+13800
+13741
+13724
+13723
+13710
+13694
+13660
+13649
+13640
+13588
+13562
+13486
+13437
+13432
+13397
+13393
+13373
+13345
+13329
+13324
+13321
+13296
+13276
+13272
+13265
+13260
+13238
+13236
+13222
+13192
+13174
+13158
+13146
+13000
+12977
+12921
+12883
+12860
+12846
+12836
+12830
+12760
+12565
+12519
+12472
+12466
+12450
+12380
+12356
+12344
+12270
+12232
+12137
+12081
+11994
+11848
+11826
+11804
+11780
+11778
+11762
+11640
+11557
+11501
+11447
+11384
+11344
+11170
+11154
+11116
+11092
+11086
+10861
+10792
+10712
+10709
+10681
+10613
+10609
+10545
+10442
+10434
+10358
+10260
+10212
+10196
+10156
+10024
+9791
+9784
+9655
+9635
+9531
+9507
+9496
+9486
+9483
+9478
+9470
+9467
+9463
+9459
+9394
+9188
+9140
+9124
+8808
+8681
+8330
+8328
+8322
+8317
+8316
+8314
+8313
+8312
+8309
+8308
+8306
+8305
+8224
+8056
+7603
+7296
+7260
+6922
+6921
+6917
+6916
+6914
+6913
+6906
+6904
+6902
+6607
+6504
+6244
+6228
+6188
+6187
+6144
+6103
+6014
+5959
+5955
+5951
+5950
+5942
+5939
+5938
+5928
+5919
+5854
+5811
+5763
+5688
+5681
+5496
+5431
+5380
+5348
+5332
+5292
+5210
+5142
+5001
+4997
+4941
+4920
+4856
+4791
+4604
+4602
+4580
+4546
+4534
+4400
+4360
+4318
+4301
+4257
+4211
+4152
+4056
+4042
+4028
+4026
+4004
+3846
+3816
+3773
+3727
+3656
+3618
+3548
+3524
+3466
+3454
+3448
+3409
+3371
+3208
+3168
+3150
+3148
+3144
+3138
+3124
+3105
+3073
+3027
+3016
+2988
+2983
+2886
+2878
+2862
+2856
+2833
+2822
+2812
+2810
+2796
+2776
+2741
+2740
+2733
+2703
+2697
+2681
+2677
+2648
+2643
+2606
+2602
+2594
+2524
+2496
+2460
+2430
+2423
+2418
+2405
+2404
+2391
+2352
+2344
+2288
+2286
+2278
+2276
+2262
+2260
+2257
+2244
+2232
+2228
+2211
+2210
+2194
+2180
+2136
+2126
+2107
+2099
+2091
+2090
+2082
+2079
+2075
+2074
+2071
+2068
+2056
+2048
+2022
+2004
+1995
+1988
+1976
+1934
+1932
+1912
+1895
+1862
+1844
+1826
+1821
+1804
+1800
+1768
+1742
+1737
+1716
+1710
+1699
+1691
+1691
+1684
+1673
+1672
+1651
+1649
+1644
+1642
+1621
+1582
+1576
+1564
+1558
+1532
+1531
+1520
+1498
+1496
+1493
+1476
+1467
+1448
+1438
+1420
+1386
+1382
+1382
+1382
+1380
+1380
+1380
+1376
+1376
+1376
+1320
+1312
+1296
+1240
+1240
+1232
+1200
+1190
+1190
+1190
+1188
+1188
+1186
+1184
+1184
+1182
+1162
+1136
+1136
+1088
+1072
+1064
+1064
+1056
+1040
+1040
+1040
+1024
+998
+998
+986
+976
+960
+956
+920
+912
+912
+912
+908
+904
+890
+864
+864
+860
+850
+850
+840
+816
+804
+804
+800
+800
+784
+768
+754
+744
+720
+720
+704
+704
+704
+692
+688
+688
+688
+680
+672
+640
+628
+624
+624
+624
+620
+614
+604
+592
+576
+572
+572
+564
+560
+560
+560
+552
+546
+546
+544
+538
+534
+534
+528
+528
+520
+510
+496
+488
+484
+480
+480
+480
+476
+468
+464
+464
+456
+452
+452
+450
+448
+448
+440
+440
+440
+440
+440
+432
+420
+418
+418
+416
+416
+414
+414
+414
+412
+412
+408
+400
+400
+392
+392
+384
+384
+384
+378
+372
+368
+368
+364
+352
+352
+346
+344
+344
+344
+340
+336
+336
+334
+328
+328
+322
+320
+320
+320
+312
+312
+308
+304
+304
+304
+300
+298
+296
+294
+292
+288
+288
+288
+288
+284
+280
+280
+276
+272
+264
+264
+264
+256
+256
+240
+232
+212
+192
+192
+192
+176
+172
+148
+96
+96
+72
+58
+24
--- a/test/reduced/600_20000_NR_21.txt
+++ b/test/reduced/600_20000_NR_21.txt
@@ -0,0 +1,602 @@
+600
+15792
+14202
+14192
+14158
+14146
+14140
+14122
+14116
+14084
+14072
+14052
+14040
+14020
+14014
+13974
+13964
+13940
+13918
+13908
+13902
+13896
+13878
+13873
+13868
+13864
+13844
+13829
+13806
+13785
+13782
+13767
+13756
+13732
+13720
+13697
+13695
+13694
+13660
+13658
+13656
+13636
+13607
+13587
+13582
+13566
+13563
+13548
+13544
+13539
+13516
+13510
+13503
+13495
+13475
+13451
+13439
+13427
+13399
+13386
+13372
+13368
+13340
+13336
+13326
+13318
+13308
+13284
+13272
+13254
+13245
+13229
+13224
+13214
+13160
+13084
+13082
+13052
+13049
+13033
+13020
+13017
+13010
+13009
+13001
+12993
+12965
+12961
+12952
+12945
+12913
+12868
+12846
+12824
+12780
+12758
+12726
+12709
+12677
+12638
+12616
+12614
+12608
+12495
+12492
+12476
+12460
+12444
+12440
+12425
+12408
+12380
+12348
+12330
+12296
+12220
+12210
+12207
+12188
+12159
+12156
+12120
+12085
+12058
+12018
+11912
+11838
+11820
+11812
+11803
+11747
+11715
+11706
+11704
+11653
+11560
+11528
+11462
+11340
+11324
+11302
+11272
+11271
+11252
+11197
+11056
+11000
+10970
+10882
+10824
+10660
+10649
+10648
+10641
+10628
+10610
+10604
+10585
+10561
+10545
+10537
+10497
+10481
+10472
+10449
+10296
+10178
+10008
+9908
+9876
+9844
+9836
+9783
+9762
+9751
+9674
+9592
+9320
+9288
+9160
+8964
+8956
+8945
+8913
+8870
+8866
+8520
+8312
+8072
+7912
+7909
+7908
+7905
+7902
+7901
+7900
+7898
+7897
+7808
+6944
+6664
+6582
+6581
+6580
+6578
+6577
+6573
+6572
+6571
+6568
+6440
+6072
+6056
+5874
+5872
+5774
+5770
+5733
+5707
+5700
+5692
+5528
+5440
+5432
+5256
+5176
+5087
+5035
+5026
+5009
+4964
+4964
+4932
+4908
+4824
+4682
+4681
+4514
+4488
+4453
+4440
+4381
+4373
+4361
+4341
+4324
+4322
+4308
+4296
+4293
+4287
+4284
+4152
+4022
+3952
+3831
+3788
+3769
+3768
+3742
+3724
+3716
+3681
+3610
+3560
+3528
+3518
+3451
+3416
+3399
+3380
+3349
+3325
+3324
+3298
+3240
+3188
+3146
+3114
+3091
+3064
+3036
+3004
+2989
+2986
+2920
+2886
+2876
+2844
+2824
+2808
+2807
+2796
+2780
+2764
+2756
+2750
+2750
+2749
+2648
+2630
+2597
+2595
+2571
+2558
+2516
+2488
+2458
+2444
+2401
+2382
+2376
+2373
+2361
+2357
+2333
+2322
+2321
+2316
+2313
+2301
+2287
+2284
+2262
+2260
+2200
+2168
+2150
+2137
+2128
+2123
+2104
+2092
+2091
+2087
+2076
+2062
+2058
+2056
+2044
+2024
+2020
+2006
+1995
+1971
+1952
+1951
+1931
+1915
+1902
+1902
+1900
+1880
+1879
+1876
+1859
+1842
+1839
+1821
+1804
+1784
+1782
+1780
+1754
+1750
+1749
+1749
+1747
+1736
+1724
+1700
+1689
+1678
+1673
+1658
+1628
+1628
+1608
+1604
+1601
+1598
+1592
+1574
+1572
+1564
+1562
+1548
+1524
+1518
+1484
+1482
+1464
+1448
+1428
+1404
+1374
+1362
+1360
+1326
+1314
+1314
+1314
+1312
+1312
+1312
+1312
+1312
+1312
+1280
+1248
+1200
+1152
+1152
+1146
+1140
+1136
+1136
+1104
+1072
+1024
+1008
+1006
+1004
+1000
+992
+984
+984
+976
+960
+932
+896
+890
+880
+874
+874
+870
+866
+864
+860
+858
+856
+856
+848
+848
+816
+816
+800
+784
+764
+752
+752
+752
+752
+748
+744
+736
+720
+704
+704
+688
+678
+672
+664
+656
+656
+640
+630
+628
+620
+616
+608
+600
+600
+596
+596
+592
+576
+576
+568
+568
+568
+560
+560
+552
+552
+552
+548
+544
+544
+528
+524
+518
+512
+508
+496
+488
+480
+480
+478
+474
+470
+470
+466
+464
+462
+462
+460
+458
+456
+456
+456
+448
+448
+432
+428
+428
+426
+424
+416
+416
+416
+412
+408
+408
+408
+400
+400
+400
+400
+400
+398
+396
+394
+390
+386
+384
+382
+380
+376
+374
+370
+368
+368
+368
+366
+364
+364
+352
+352
+352
+352
+348
+348
+348
+336
+336
+336
+336
+334
+332
+328
+324
+320
+320
+320
+318
+316
+312
+312
+304
+304
+304
+304
+300
+296
+288
+288
+284
+284
+280
+272
+272
+272
+272
+266
+264
+244
+240
+240
+240
+214
+208
+208
+198
+196
+176
+156
+136
+112
+96
+96
+88
--- a/test/reduced/801_40000_DI_33.txt
+++ b/test/reduced/801_40000_DI_33.txt
@@ -0,0 +1,804 @@
+802
+30080
+27058
+27036
+27006
+26954
+26952
+26936
+26908
+26906
+26864
+26860
+26832
+26824
+26812
+26784
+26766
+26760
+26746
+26714
+26696
+26692
+26682
+26660
+26632
+26616
+26593
+26558
+26544
+26537
+26536
+26514
+26504
+26492
+26471
+26466
+26464
+26450
+26448
+26440
+26380
+26366
+26360
+26348
+26327
+26284
+26254
+26227
+26200
+26165
+26160
+26130
+26128
+26116
+26080
+26072
+26066
+26021
+25990
+25932
+25903
+25900
+25857
+25848
+25831
+25794
+25776
+25758
+25752
+25744
+25716
+25696
+25653
+25640
+25636
+25576
+25548
+25543
+25514
+25483
+25470
+25427
+25376
+25345
+25328
+25284
+25280
+25264
+25256
+25245
+25220
+25200
+25192
+25178
+25160
+25156
+25138
+25136
+25135
+25120
+25030
+24988
+24924
+24863
+24855
+24854
+24851
+24824
+24804
+24800
+24783
+24765
+24730
+24664
+24652
+24606
+24600
+24592
+24560
+24476
+24416
+24408
+24383
+24344
+24331
+24310
+24276
+24254
+24217
+24134
+24088
+24024
+23960
+23894
+23888
+23856
+23842
+23832
+23761
+23745
+23740
+23712
+23697
+23692
+23640
+23564
+23454
+23394
+23180
+23160
+23137
+23121
+23108
+23073
+23072
+23024
+23000
+22960
+22926
+22896
+22884
+22858
+22808
+22744
+22628
+22576
+22512
+22496
+22389
+22337
+22300
+22294
+22223
+22214
+22168
+22104
+22044
+21928
+21672
+21608
+21600
+21588
+21522
+21456
+21442
+21392
+21367
+21351
+21348
+21328
+21303
+21264
+21232
+20808
+20758
+20744
+20736
+20696
+20636
+20576
+20514
+20263
+20247
+20232
+20204
+20199
+20188
+20168
+20104
+19932
+19920
+19856
+19792
+19728
+19696
+19694
+19464
+19402
+19400
+19360
+19336
+19028
+18939
+18883
+18880
+18812
+18811
+18680
+18656
+18552
+18536
+18414
+18066
+18064
+18032
+17652
+17592
+17576
+17349
+17273
+17156
+17121
+17056
+17001
+16962
+16953
+16951
+16882
+16868
+16804
+16440
+16424
+16080
+16016
+15088
+15072
+15068
+15064
+15056
+15052
+15048
+15046
+15045
+15044
+15042
+15041
+13744
+13596
+12536
+12534
+12533
+12531
+12530
+12524
+12520
+12516
+12512
+12496
+12116
+12032
+11728
+11696
+11601
+11384
+11368
+11350
+11129
+11012
+11002
+10912
+10901
+10801
+10772
+10673
+10611
+10424
+10408
+10364
+10208
+10112
+10064
+10032
+10014
+9722
+9688
+9624
+9512
+9396
+9391
+9331
+9285
+9212
+9164
+8992
+8968
+8904
+8902
+8856
+8658
+8656
+8656
+8592
+8528
+8496
+8460
+8328
+8264
+8236
+8235
+8216
+8195
+8181
+7974
+7968
+7944
+7876
+7864
+7784
+7770
+7736
+7496
+7376
+7376
+7315
+7312
+7284
+7275
+7261
+7248
+7216
+7202
+7134
+7084
+7072
+6976
+6932
+6808
+6744
+6700
+6648
+6600
+6558
+6549
+6496
+6490
+6484
+6453
+6444
+6411
+6336
+6320
+6256
+6212
+6072
+6022
+6000
+5962
+5936
+5912
+5904
+5856
+5850
+5841
+5801
+5787
+5768
+5756
+5644
+5574
+5522
+5368
+5344
+5324
+5321
+5284
+5281
+5267
+5208
+5200
+5168
+5158
+5112
+5106
+5048
+5000
+4990
+4958
+4887
+4844
+4810
+4792
+4791
+4768
+4749
+4728
+4676
+4672
+4628
+4624
+4592
+4568
+4562
+4524
+4521
+4520
+4462
+4455
+4448
+4431
+4428
+4404
+4392
+4359
+4355
+4349
+4244
+4210
+4192
+4192
+4156
+4144
+4122
+4121
+4111
+4108
+4104
+4088
+4086
+4080
+4052
+4032
+4024
+4016
+3984
+3947
+3879
+3842
+3831
+3819
+3806
+3781
+3780
+3768
+3704
+3696
+3691
+3680
+3653
+3644
+3608
+3602
+3600
+3574
+3528
+3484
+3460
+3410
+3392
+3392
+3383
+3360
+3352
+3346
+3312
+3308
+3306
+3294
+3294
+3280
+3263
+3240
+3211
+3190
+3164
+3129
+3116
+3114
+3112
+3112
+3098
+3084
+3056
+3048
+3040
+3009
+2996
+2974
+2968
+2960
+2953
+2952
+2938
+2907
+2888
+2860
+2852
+2834
+2828
+2824
+2784
+2782
+2776
+2762
+2736
+2728
+2704
+2684
+2646
+2644
+2632
+2616
+2606
+2562
+2540
+2522
+2506
+2504
+2504
+2504
+2504
+2496
+2496
+2496
+2496
+2496
+2336
+2304
+2272
+2272
+2200
+2196
+2178
+2158
+2152
+2134
+2120
+2112
+2080
+2080
+2064
+2000
+2000
+1984
+1984
+1944
+1920
+1888
+1878
+1872
+1866
+1856
+1840
+1840
+1776
+1776
+1776
+1768
+1760
+1728
+1728
+1728
+1696
+1696
+1696
+1688
+1664
+1648
+1648
+1646
+1640
+1638
+1636
+1632
+1592
+1568
+1552
+1552
+1536
+1536
+1526
+1472
+1462
+1454
+1452
+1448
+1440
+1440
+1440
+1440
+1440
+1436
+1424
+1408
+1408
+1408
+1344
+1336
+1328
+1312
+1308
+1308
+1296
+1296
+1290
+1280
+1280
+1248
+1248
+1240
+1216
+1200
+1200
+1192
+1184
+1184
+1168
+1166
+1160
+1158
+1156
+1152
+1152
+1152
+1152
+1144
+1112
+1104
+1088
+1072
+1064
+1062
+1056
+1054
+1052
+1040
+1028
+1024
+1024
+1024
+1008
+1008
+992
+988
+976
+976
+960
+960
+958
+948
+944
+944
+928
+912
+912
+904
+896
+896
+896
+896
+896
+888
+884
+872
+872
+870
+870
+868
+864
+848
+842
+840
+836
+832
+824
+820
+816
+816
+816
+808
+800
+800
+800
+800
+800
+788
+774
+768
+768
+768
+768
+766
+760
+756
+752
+736
+736
+736
+728
+728
+720
+720
+720
+712
+704
+704
+704
+696
+688
+680
+676
+668
+656
+656
+656
+652
+642
+640
+640
+640
+640
+640
+640
+636
+632
+624
+616
+616
+616
+608
+600
+592
+592
+592
+592
+590
+584
+580
+576
+576
+576
+576
+576
+570
+568
+564
+560
+560
+560
+552
+552
+544
+544
+536
+528
+528
+528
+528
+520
+512
+512
+512
+512
+512
+512
+512
+512
+504
+500
+464
+430
+408
+388
+324
+320
+314
+288
+264
+252
+192
+192
+168
+120
+66
+64
--- a/test/reduced/801_40000_NR_5.txt
+++ b/test/reduced/801_40000_NR_5.txt
@@ -0,0 +1,803 @@
+801
+32256
+29014
+29008
+29004
+28960
+28940
+28936
+28914
+28880
+28874
+28860
+28828
+28826
+28812
+28746
+28728
+28722
+28714
+28704
+28676
+28628
+28624
+28600
+28590
+28560
+28558
+28518
+28512
+28496
+28490
+28472
+28459
+28432
+28412
+28404
+28302
+28296
+28288
+28287
+28283
+28272
+28254
+28238
+28220
+28154
+28140
+28084
+28075
+28074
+28071
+28043
+28039
+28018
+28008
+28002
+27995
+27984
+27971
+27947
+27943
+27938
+27888
+27872
+27828
+27810
+27783
+27748
+27747
+27736
+27682
+27680
+27679
+27655
+27630
+27591
+27563
+27559
+27536
+27515
+27466
+27463
+27446
+27428
+27424
+27408
+27396
+27368
+27364
+27300
+27280
+27270
+27207
+27203
+27188
+27172
+27104
+27054
+27052
+26998
+26984
+26982
+26950
+26934
+26895
+26888
+26883
+26867
+26839
+26835
+26806
+26800
+26791
+26767
+26760
+26743
+26739
+26704
+26660
+26596
+26592
+26570
+26504
+26458
+26427
+26387
+26340
+26325
+26250
+26184
+26120
+26110
+26096
+26000
+25992
+25952
+25880
+25841
+25810
+25788
+25761
+25713
+25662
+25660
+25644
+25617
+25589
+25580
+25541
+25493
+25489
+25425
+25320
+25312
+25282
+25264
+25192
+25184
+25136
+25106
+25012
+24874
+24837
+24828
+24793
+24773
+24745
+24725
+24709
+24504
+24376
+24360
+24352
+24334
+24112
+24068
+24032
+23995
+23984
+23979
+23966
+23856
+23828
+23760
+23540
+23370
+23368
+23304
+23240
+23196
+23192
+23132
+23105
+23103
+23072
+22810
+22576
+22496
+22480
+22336
+22138
+22051
+22035
+22024
+21960
+21956
+21892
+21515
+21467
+21445
+21330
+21216
+21040
+20912
+20536
+20488
+20404
+20372
+20362
+20356
+20292
+20256
+20224
+20061
+20045
+20035
+19198
+19104
+19056
+18992
+18776
+18648
+18640
+18520
+18484
+18452
+18436
+18381
+18372
+18213
+18197
+18193
+18177
+17802
+17800
+17760
+16336
+16272
+16232
+16208
+16200
+16180
+16168
+16164
+16160
+16148
+16146
+16144
+16141
+16138
+16137
+16136
+16133
+16132
+16130
+16129
+15746
+15638
+13976
+13472
+13461
+13456
+13448
+13444
+13442
+13441
+13437
+13431
+13428
+13416
+13412
+13404
+13392
+13384
+13372
+13328
+13296
+13243
+12992
+12128
+12056
+12046
+11733
+11721
+11717
+11572
+11563
+11524
+11484
+11448
+11376
+11352
+11240
+11056
+11024
+10976
+10944
+10882
+10185
+10177
+10163
+10016
+9972
+9924
+9914
+9908
+9884
+9816
+9768
+9573
+9456
+9360
+9248
+9106
+9011
+8991
+8644
+8620
+8584
+8536
+8519
+8505
+8444
+8434
+8176
+8160
+8080
+7874
+7712
+7629
+7627
+7560
+7556
+7528
+7464
+7424
+7416
+7406
+7268
+7235
+7088
+7028
+7024
+7000
+6910
+6899
+6896
+6885
+6880
+6828
+6800
+6720
+6717
+6691
+6624
+6624
+6602
+6584
+6472
+6261
+6237
+6221
+6196
+6183
+6154
+6044
+5963
+5962
+5936
+5896
+5864
+5840
+5814
+5792
+5784
+5641
+5637
+5597
+5564
+5557
+5516
+5500
+5498
+5453
+5413
+5396
+5374
+5347
+5320
+5320
+5280
+5232
+5224
+5136
+5128
+5122
+5080
+5048
+5034
+4992
+4970
+4943
+4933
+4932
+4891
+4834
+4768
+4742
+4724
+4668
+4656
+4599
+4595
+4575
+4560
+4555
+4542
+4519
+4515
+4512
+4491
+4479
+4469
+4438
+4422
+4408
+4382
+4340
+4338
+4244
+4228
+4211
+4209
+4176
+4158
+4132
+4104
+4101
+4084
+4064
+4052
+4048
+4028
+4021
+4010
+3995
+3994
+3952
+3951
+3915
+3911
+3888
+3872
+3858
+3835
+3815
+3814
+3768
+3764
+3759
+3729
+3706
+3692
+3680
+3677
+3664
+3602
+3598
+3595
+3591
+3584
+3571
+3551
+3546
+3544
+3520
+3515
+3511
+3488
+3486
+3485
+3484
+3436
+3422
+3364
+3350
+3344
+3338
+3328
+3311
+3309
+3304
+3298
+3226
+3216
+3212
+3204
+3176
+3170
+3152
+3142
+3120
+3118
+3088
+3082
+3058
+3056
+3048
+3028
+2988
+2976
+2954
+2952
+2946
+2876
+2860
+2836
+2832
+2826
+2822
+2784
+2776
+2764
+2716
+2702
+2686
+2686
+2684
+2684
+2680
+2680
+2680
+2672
+2672
+2672
+2672
+2658
+2656
+2656
+2656
+2624
+2624
+2408
+2400
+2368
+2346
+2342
+2342
+2312
+2312
+2296
+2288
+2288
+2256
+2240
+2240
+2208
+2176
+2176
+2176
+2048
+2036
+2034
+2032
+1992
+1984
+1980
+1976
+1976
+1968
+1952
+1952
+1888
+1856
+1820
+1800
+1798
+1792
+1720
+1712
+1702
+1700
+1696
+1684
+1680
+1600
+1600
+1600
+1572
+1524
+1524
+1504
+1504
+1488
+1488
+1480
+1472
+1472
+1448
+1408
+1400
+1380
+1378
+1376
+1376
+1376
+1360
+1344
+1344
+1320
+1312
+1280
+1280
+1250
+1246
+1242
+1236
+1232
+1228
+1216
+1200
+1188
+1184
+1168
+1168
+1160
+1152
+1152
+1152
+1152
+1126
+1126
+1118
+1112
+1110
+1096
+1096
+1096
+1090
+1082
+1072
+1072
+1068
+1056
+1040
+1024
+1024
+1024
+1024
+1008
+988
+984
+978
+972
+964
+944
+936
+928
+918
+918
+914
+910
+908
+902
+902
+898
+896
+896
+896
+896
+894
+892
+884
+884
+880
+876
+864
+864
+864
+842
+840
+840
+840
+832
+830
+828
+824
+808
+808
+800
+800
+800
+800
+800
+798
+796
+790
+784
+782
+782
+768
+768
+768
+766
+762
+760
+752
+750
+744
+744
+740
+736
+718
+718
+716
+714
+710
+708
+704
+704
+704
+704
+702
+702
+696
+696
+688
+680
+680
+680
+676
+672
+672
+668
+664
+662
+660
+656
+656
+644
+640
+640
+640
+640
+640
+640
+624
+620
+616
+608
+608
+608
+608
+608
+608
+600
+592
+588
+588
+576
+576
+576
+576
+568
+568
+560
+560
+552
+544
+544
+540
+536
+516
+512
+480
+448
+432
+384
+364
+340
+320
+304
+296
+256
+208
+204
+176
+140
+128
+128
+128
+120
+84
--- a/test/reduced/BPP_1000_1000_0.2_0.8_5.txt
+++ b/test/reduced/BPP_1000_1000_0.2_0.8_5.txt
--- a/test/reduced/BPP_1000_50_0.1_0.7_5.txt
+++ b/test/reduced/BPP_1000_50_0.1_0.7_5.txt
--- a/test/reduced/BPP_1000_750_0.1_0.8_3.txt
+++ b/test/reduced/BPP_1000_750_0.1_0.8_3.txt
--- a/test/reduced/BPP_100_1000_0.2_0.8_7.txt
+++ b/test/reduced/BPP_100_1000_0.2_0.8_7.txt
@@ -0,0 +1,102 @@
+100
+1000
+796
+779
+778
+764
+757
+747
+745
+737
+724
+712
+706
+698
+692
+685
+678
+673
+655
+647
+642
+641
+638
+627
+618
+614
+595
+592
+590
+590
+588
+580
+563
+560
+560
+557
+554
+548
+544
+541
+528
+523
+521
+518
+517
+513
+510
+510
+505
+499
+497
+478
+473
+467
+432
+427
+422
+421
+417
+416
+414
+411
+408
+407
+402
+402
+401
+401
+398
+396
+394
+390
+377
+374
+368
+364
+363
+359
+358
+351
+342
+342
+342
+337
+334
+318
+315
+310
+300
+294
+285
+283
+275
+250
+248
+246
+236
+236
+228
+215
+215
+207
--- a/test/reduced/BPP_100_100_0.1_0.8_0.txt
+++ b/test/reduced/BPP_100_100_0.1_0.8_0.txt
@@ -0,0 +1,102 @@
+100
+100
+80
+80
+78
+77
+77
+76
+76
+75
+74
+74
+73
+73
+73
+71
+70
+70
+70
+69
+69
+69
+69
+69
+68
+68
+68
+68
+66
+66
+66
+64
+64
+62
+60
+59
+58
+57
+57
+56
+56
+52
+52
+51
+50
+49
+49
+48
+47
+45
+45
+45
+43
+42
+42
+42
+41
+41
+41
+40
+39
+39
+37
+36
+35
+34
+34
+34
+33
+32
+31
+31
+30
+30
+29
+29
+28
+27
+27
+26
+26
+25
+24
+24
+24
+23
+21
+21
+20
+19
+18
+17
+16
+15
+14
+13
+13
+12
+12
+11
+10
+10
--- a/test/reduced/BPP_100_120_0.2_0.8_6.txt
+++ b/test/reduced/BPP_100_120_0.2_0.8_6.txt
@@ -0,0 +1,102 @@
+100
+120
+96
+96
+94
+94
+93
+93
+93
+92
+89
+89
+89
+85
+85
+85
+85
+85
+83
+82
+82
+81
+80
+80
+80
+80
+80
+80
+79
+79
+78
+78
+77
+77
+77
+77
+76
+75
+74
+74
+73
+69
+69
+68
+68
+67
+67
+66
+65
+65
+64
+63
+63
+62
+61
+59
+58
+58
+57
+57
+57
+54
+53
+53
+49
+49
+48
+48
+47
+46
+46
+46
+45
+45
+44
+43
+41
+40
+38
+38
+37
+37
+37
+37
+36
+36
+35
+34
+34
+34
+33
+32
+32
+31
+30
+29
+28
+28
+27
+27
+24
+24
--- a/test/reduced/BPP_100_500_0.1_0.8_7.txt
+++ b/test/reduced/BPP_100_500_0.1_0.8_7.txt
@@ -0,0 +1,102 @@
+100
+500
+397
+393
+392
+381
+375
+372
+367
+366
+365
+359
+356
+351
+346
+341
+340
+337
+335
+334
+331
+330
+329
+318
+318
+310
+310
+307
+306
+305
+297
+295
+290
+285
+285
+284
+278
+277
+274
+270
+270
+264
+257
+257
+256
+255
+253
+248
+247
+241
+240
+238
+230
+227
+222
+220
+215
+211
+209
+208
+208
+207
+201
+196
+193
+193
+190
+190
+189
+182
+182
+176
+175
+174
+171
+168
+167
+163
+162
+161
+157
+146
+134
+120
+119
+113
+110
+107
+106
+100
+97
+90
+87
+82
+78
+78
+74
+73
+66
+66
+64
+50
--- a/test/reduced/BPP_100_75_0.1_0.7_8.txt
+++ b/test/reduced/BPP_100_75_0.1_0.7_8.txt
@@ -0,0 +1,102 @@
+100
+75
+52
+52
+52
+51
+51
+50
+49
+49
+49
+49
+48
+48
+47
+47
+47
+47
+47
+46
+45
+44
+44
+43
+42
+41
+41
+39
+39
+39
+38
+38
+38
+38
+37
+37
+35
+34
+33
+33
+32
+32
+31
+31
+30
+29
+28
+28
+26
+26
+26
+26
+25
+25
+24
+24
+24
+24
+24
+24
+23
+23
+23
+23
+23
+22
+21
+21
+20
+20
+19
+19
+19
+18
+17
+17
+17
+16
+16
+16
+15
+15
+15
+15
+15
+14
+14
+13
+13
+12
+11
+11
+10
+10
+10
+9
+8
+8
+8
+7
+7
+7
--- a/test/reduced/BPP_200_150_0.1_0.7_4.txt
+++ b/test/reduced/BPP_200_150_0.1_0.7_4.txt
@@ -0,0 +1,202 @@
+200
+150
+105
+105
+105
+104
+102
+102
+102
+101
+101
+100
+100
+100
+99
+99
+98
+98
+97
+97
+96
+96
+96
+96
+95
+95
+95
+95
+95
+94
+94
+94
+93
+93
+93
+92
+92
+91
+91
+90
+89
+89
+87
+87
+86
+86
+85
+85
+84
+84
+83
+83
+83
+83
+82
+82
+81
+81
+81
+81
+81
+80
+79
+79
+79
+79
+79
+79
+78
+78
+77
+77
+76
+76
+75
+74
+74
+74
+74
+74
+73
+73
+73
+73
+72
+71
+70
+70
+70
+69
+69
+69
+69
+68
+68
+68
+68
+67
+67
+66
+66
+66
+66
+66
+65
+65
+64
+64
+63
+63
+63
+63
+62
+62
+61
+60
+59
+59
+58
+57
+57
+57
+56
+55
+55
+55
+54
+54
+54
+53
+52
+52
+52
+51
+51
+51
+51
+50
+49
+49
+49
+49
+48
+48
+48
+47
+46
+45
+45
+45
+44
+43
+43
+43
+42
+42
+41
+40
+40
+39
+38
+38
+37
+36
+36
+35
+34
+34
+33
+33
+33
+33
+32
+32
+32
+32
+31
+31
+30
+30
+30
+27
+27
+26
+25
+24
+24
+24
+24
+23
+23
+23
+23
+22
+22
+21
+20
+19
+18
+16
+15
+15
--- a/test/reduced/BPP_300_200_0.1_0.7_5.txt
+++ b/test/reduced/BPP_300_200_0.1_0.7_5.txt
@@ -0,0 +1,302 @@
+300
+200
+140
+140
+140
+139
+139
+139
+138
+138
+138
+137
+137
+136
+136
+136
+136
+136
+136
+136
+135
+134
+133
+132
+132
+132
+132
+131
+131
+131
+129
+129
+129
+128
+128
+128
+128
+128
+126
+124
+124
+123
+123
+123
+123
+122
+122
+120
+118
+118
+117
+117
+116
+115
+115
+115
+115
+114
+114
+114
+113
+113
+113
+113
+113
+113
+112
+112
+112
+110
+110
+110
+110
+110
+110
+110
+110
+110
+109
+108
+108
+108
+108
+107
+107
+107
+106
+106
+106
+106
+106
+106
+105
+105
+104
+104
+104
+103
+102
+102
+101
+101
+101
+101
+101
+100
+100
+99
+99
+99
+99
+98
+98
+98
+98
+98
+98
+98
+97
+97
+97
+97
+97
+96
+96
+96
+96
+94
+93
+93
+92
+90
+90
+90
+90
+90
+90
+89
+89
+89
+88
+88
+88
+88
+88
+87
+87
+87
+86
+86
+86
+86
+84
+82
+82
+82
+81
+80
+79
+79
+78
+78
+78
+77
+76
+76
+75
+75
+75
+74
+73
+73
+73
+73
+73
+73
+72
+72
+72
+71
+71
+71
+71
+71
+70
+70
+69
+68
+67
+67
+67
+66
+66
+65
+64
+62
+62
+61
+61
+60
+60
+59
+59
+59
+58
+58
+57
+57
+56
+56
+55
+55
+55
+55
+54
+54
+53
+53
+53
+53
+52
+52
+52
+51
+51
+51
+49
+49
+49
+49
+48
+48
+47
+47
+47
+47
+46
+46
+46
+46
+46
+46
+45
+43
+43
+43
+42
+42
+42
+42
+41
+40
+40
+40
+39
+39
+39
+39
+38
+37
+37
+37
+37
+37
+36
+36
+36
+36
+36
+35
+35
+35
+35
+34
+34
+34
+34
+33
+33
+33
+33
+31
+31
+31
+31
+30
+30
+30
+29
+29
+29
+28
+28
+27
+27
+25
+25
+24
+24
+23
+23
+20
--- a/test/reduced/BPP_300_75_0.2_0.8_6.txt
+++ b/test/reduced/BPP_300_75_0.2_0.8_6.txt
@@ -0,0 +1,302 @@
+300
+75
+60
+60
+60
+60
+60
+60
+60
+59
+59
+59
+59
+58
+58
+57
+57
+57
+57
+57
+56
+56
+56
+56
+56
+56
+55
+55
+55
+55
+55
+55
+55
+55
+55
+54
+54
+54
+54
+54
+54
+54
+54
+54
+54
+54
+53
+53
+53
+53
+53
+53
+53
+53
+53
+53
+53
+52
+52
+52
+52
+52
+52
+52
+52
+51
+51
+51
+51
+51
+50
+50
+50
+50
+50
+50
+50
+50
+50
+49
+49
+49
+49
+49
+49
+49
+49
+49
+49
+48
+48
+48
+48
+48
+47
+47
+47
+47
+46
+46
+46
+46
+46
+46
+46
+46
+46
+46
+46
+46
+46
+45
+45
+45
+45
+45
+44
+44
+44
+43
+43
+43
+43
+43
+42
+42
+42
+42
+42
+42
+42
+42
+41
+41
+41
+41
+41
+41
+41
+40
+40
+40
+40
+40
+40
+39
+39
+39
+39
+38
+38
+38
+38
+38
+38
+37
+37
+37
+37
+37
+37
+37
+37
+37
+36
+36
+35
+35
+35
+35
+34
+34
+34
+34
+33
+33
+33
+33
+33
+33
+33
+33
+33
+33
+33
+32
+32
+32
+32
+32
+32
+32
+31
+31
+31
+31
+31
+31
+30
+30
+30
+30
+30
+29
+29
+29
+29
+29
+29
+29
+28
+28
+28
+28
+27
+27
+27
+27
+27
+27
+27
+27
+26
+26
+26
+26
+26
+26
+26
+26
+26
+25
+25
+25
+25
+24
+24
+24
+24
+24
+23
+23
+23
+23
+23
+23
+22
+22
+22
+22
+22
+22
+21
+21
+21
+20
+20
+20
+20
+20
+20
+20
+20
+20
+19
+19
+19
+19
+19
+19
+19
+19
+19
+19
+19
+18
+18
+18
+18
+18
+17
+17
+17
+17
+17
+17
+16
+16
+16
+16
+16
+16
+16
+16
+15
+15
+15
+15
+15
+15
+15
+15
--- a/test/reduced/BPP_500_125_0.1_0.7_9.txt
+++ b/test/reduced/BPP_500_125_0.1_0.7_9.txt
@@ -0,0 +1,502 @@
+500
+125
+87
+87
+87
+87
+87
+86
+86
+86
+86
+86
+86
+86
+85
+85
+85
+85
+85
+85
+84
+84
+84
+84
+84
+84
+84
+84
+84
+83
+83
+83
+83
+83
+83
+83
+83
+83
+83
+83
+82
+82
+82
+82
+82
+82
+82
+82
+81
+81
+81
+81
+81
+81
+81
+80
+80
+80
+80
+80
+80
+80
+80
+80
+79
+79
+78
+78
+78
+78
+78
+78
+78
+77
+77
+77
+77
+77
+77
+76
+75
+75
+75
+75
+75
+75
+75
+74
+74
+74
+74
+74
+74
+74
+74
+74
+74
+73
+73
+73
+73
+73
+73
+73
+72
+72
+72
+72
+72
+72
+71
+71
+71
+71
+71
+71
+71
+71
+71
+71
+70
+70
+70
+69
+69
+69
+69
+69
+69
+68
+68
+68
+68
+68
+68
+68
+68
+67
+67
+67
+67
+67
+66
+66
+66
+66
+66
+66
+65
+65
+65
+65
+65
+64
+64
+64
+64
+64
+64
+64
+64
+64
+63
+63
+63
+63
+63
+63
+63
+62
+62
+62
+62
+61
+61
+61
+61
+61
+61
+61
+61
+61
+61
+60
+60
+60
+59
+59
+59
+59
+59
+59
+59
+59
+59
+59
+59
+59
+58
+58
+58
+58
+58
+58
+58
+57
+57
+57
+57
+57
+57
+57
+57
+56
+56
+56
+56
+56
+56
+56
+55
+55
+55
+55
+55
+55
+55
+55
+54
+54
+54
+54
+54
+54
+54
+54
+54
+54
+54
+53
+53
+53
+53
+52
+52
+52
+52
+51
+51
+51
+50
+50
+50
+50
+49
+49
+49
+49
+49
+49
+49
+48
+48
+48
+48
+48
+48
+48
+48
+48
+48
+48
+48
+47
+47
+47
+47
+47
+47
+47
+46
+46
+46
+46
+46
+45
+45
+44
+44
+44
+44
+44
+44
+44
+44
+44
+44
+43
+43
+43
+43
+43
+43
+42
+42
+42
+42
+42
+42
+41
+41
+41
+41
+41
+41
+40
+40
+40
+40
+40
+40
+39
+39
+39
+39
+38
+38
+38
+38
+38
+38
+38
+38
+37
+37
+37
+37
+37
+36
+36
+35
+35
+35
+35
+35
+35
+35
+35
+35
+35
+35
+35
+34
+34
+34
+34
+34
+33
+33
+33
+33
+33
+32
+32
+32
+32
+32
+31
+31
+31
+31
+31
+31
+31
+31
+31
+30
+30
+30
+30
+30
+30
+29
+29
+29
+28
+28
+28
+28
+28
+28
+27
+27
+27
+27
+27
+27
+27
+27
+26
+26
+26
+26
+26
+26
+26
+25
+25
+25
+25
+24
+24
+24
+24
+23
+23
+23
+23
+23
+23
+23
+23
+23
+23
+23
+23
+22
+22
+22
+22
+22
+22
+22
+22
+22
+22
+21
+21
+21
+21
+21
+21
+21
+20
+20
+20
+20
+20
+20
+20
+20
+20
+20
+20
+19
+19
+19
+19
+18
+18
+18
+18
+18
+17
+16
+16
+16
+16
+16
+16
+16
+16
+16
+16
+15
+15
+15
+15
+15
+15
+15
+14
+14
+14
+14
+14
+14
+14
+14
+13
+13
+13
+13
+13
+12
+12
+12
+12
+12
+12
+12
+12
--- a/test/reduced/BPP_50_100_0.2_0.7_9.txt
+++ b/test/reduced/BPP_50_100_0.2_0.7_9.txt
@@ -0,0 +1,52 @@
+50
+100
+67
+67
+66
+63
+63
+62
+62
+61
+61
+58
+58
+57
+56
+55
+54
+54
+51
+50
+49
+48
+48
+48
+48
+47
+46
+46
+45
+42
+42
+41
+41
+40
+40
+40
+39
+39
+38
+37
+35
+31
+31
+31
+28
+27
+26
+26
+24
+24
+21
+20
--- a/test/reduced/BPP_50_120_0.2_0.8_9.txt
+++ b/test/reduced/BPP_50_120_0.2_0.8_9.txt
@@ -0,0 +1,52 @@
+50
+120
+95
+95
+94
+92
+92
+91
+90
+88
+87
+85
+85
+82
+79
+77
+77
+76
+72
+70
+68
+66
+66
+65
+64
+64
+62
+60
+58
+56
+56
+52
+52
+50
+49
+43
+43
+38
+36
+35
+35
+34
+33
+33
+31
+31
+30
+30
+28
+27
+27
+26
--- a/test/reduced/BPP_50_150_0.1_0.8_4.txt
+++ b/test/reduced/BPP_50_150_0.1_0.8_4.txt
@@ -0,0 +1,52 @@
+50
+150
+117
+117
+117
+117
+111
+109
+108
+100
+98
+87
+84
+74
+74
+71
+71
+71
+68
+68
+64
+63
+62
+61
+61
+60
+57
+54
+52
+50
+50
+44
+43
+40
+39
+37
+37
+37
+35
+35
+33
+30
+28
+28
+26
+25
+22
+21
+19
+19
+15
+15
--- a/test/reduced/BPP_50_300_0.1_0.8_8.txt
+++ b/test/reduced/BPP_50_300_0.1_0.8_8.txt
@@ -0,0 +1,52 @@
+50
+300
+235
+232
+230
+225
+216
+212
+211
+210
+208
+204
+191
+190
+189
+187
+187
+185
+177
+176
+174
+173
+171
+168
+168
+164
+163
+161
+157
+155
+149
+148
+141
+127
+123
+120
+118
+115
+108
+106
+88
+82
+76
+73
+66
+60
+58
+56
+52
+43
+39
+34
--- a/test/reduced/BPP_50_50_0.1_0.7_0.txt
+++ b/test/reduced/BPP_50_50_0.1_0.7_0.txt
@@ -0,0 +1,52 @@
+50
+50
+35
+35
+34
+34
+34
+33
+33
+33
+32
+31
+31
+30
+30
+29
+28
+28
+28
+27
+26
+26
+26
+26
+25
+25
+22
+22
+21
+20
+18
+18
+16
+16
+16
+16
+16
+13
+13
+13
+12
+11
+11
+10
+10
+9
+9
+7
+7
+7
+7
+5
--- a/test/reduced/BPP_50_50_0.2_0.7_0.txt
+++ b/test/reduced/BPP_50_50_0.2_0.7_0.txt
@@ -0,0 +1,52 @@
+50
+50
+35
+35
+34
+33
+32
+32
+30
+30
+29
+29
+29
+29
+28
+28
+28
+27
+27
+26
+26
+25
+24
+23
+23
+22
+22
+22
+21
+20
+20
+19
+17
+17
+17
+17
+16
+16
+15
+15
+14
+13
+13
+13
+12
+12
+12
+11
+11
+11
+11
+10
--- a/test/reduced/BPP_50_50_0.2_0.8_0.txt
+++ b/test/reduced/BPP_50_50_0.2_0.8_0.txt
@@ -0,0 +1,52 @@
+50
+50
+40
+40
+37
+37
+37
+35
+35
+34
+33
+33
+32
+31
+29
+29
+29
+29
+27
+27
+27
+26
+25
+24
+24
+24
+24
+22
+21
+21
+20
+20
+19
+18
+18
+16
+16
+16
+15
+15
+15
+14
+12
+12
+12
+11
+11
+11
+11
+11
+11
+10
--- a/test/reduced/BPP_50_75_0.2_0.8_7.txt
+++ b/test/reduced/BPP_50_75_0.2_0.8_7.txt
@@ -0,0 +1,52 @@
+50
+75
+59
+57
+57
+56
+56
+51
+51
+51
+49
+49
+49
+48
+48
+47
+45
+45
+44
+44
+43
+41
+41
+40
+37
+37
+35
+35
+35
+34
+34
+34
+30
+30
+29
+29
+29
+28
+28
+27
+26
+26
+26
+26
+25
+25
+24
+24
+23
+21
+17
+17
--- a/test/reduced/Falkenauer_t120_01.txt
+++ b/test/reduced/Falkenauer_t120_01.txt
@@ -0,0 +1,122 @@
+120
+1000
+498
+496
+493
+491
+491
+485
+483
+465
+448
+444
+433
+432
+429
+427
+424
+421
+421
+414
+408
+406
+403
+402
+399
+398
+396
+393
+392
+389
+389
+383
+381
+380
+375
+372
+372
+368
+367
+366
+365
+365
+363
+363
+363
+357
+353
+353
+351
+347
+340
+338
+336
+335
+331
+330
+329
+328
+328
+325
+324
+322
+317
+316
+316
+313
+311
+311
+308
+308
+303
+303
+303
+298
+296
+296
+295
+295
+294
+292
+289
+289
+283
+282
+280
+279
+277
+276
+275
+271
+268
+268
+268
+266
+265
+265
+265
+262
+262
+260
+260
+260
+259
+259
+259
+259
+257
+256
+255
+254
+254
+253
+253
+252
+252
+251
+251
+251
+250
+250
+250
+250
--- a/test/reduced/Falkenauer_t249_00.txt
+++ b/test/reduced/Falkenauer_t249_00.txt
@@ -0,0 +1,251 @@
+249
+1000
+498
+497
+497
+497
+496
+495
+495
+492
+491
+491
+490
+488
+485
+485
+485
+485
+481
+480
+480
+479
+478
+474
+473
+473
+472
+471
+470
+469
+466
+464
+462
+450
+446
+446
+445
+445
+444
+441
+441
+439
+437
+434
+430
+426
+426
+422
+421
+420
+419
+419
+415
+414
+412
+410
+407
+406
+405
+404
+400
+397
+395
+393
+392
+392
+392
+386
+385
+382
+376
+372
+370
+370
+367
+367
+366
+366
+366
+366
+366
+365
+363
+363
+362
+361
+359
+357
+357
+357
+356
+356
+355
+355
+352
+351
+351
+350
+350
+350
+350
+347
+346
+344
+342
+337
+336
+333
+333
+330
+329
+325
+320
+318
+318
+315
+314
+314
+313
+312
+310
+308
+308
+307
+305
+303
+302
+301
+299
+298
+298
+298
+297
+295
+294
+294
+294
+293
+293
+292
+291
+290
+288
+287
+287
+287
+283
+282
+282
+281
+281
+280
+278
+277
+276
+276
+276
+275
+275
+275
+274
+274
+274
+274
+273
+273
+272
+272
+272
+271
+271
+271
+271
+271
+269
+269
+269
+269
+268
+267
+267
+266
+265
+264
+264
+264
+263
+263
+263
+262
+262
+262
+261
+261
+260
+260
+260
+259
+259
+259
+259
+259
+259
+258
+258
+258
+258
+258
+257
+256
+255
+255
+255
+255
+255
+255
+254
+254
+254
+254
+254
+253
+253
+253
+253
+253
+253
+253
+252
+252
+252
+252
+252
+252
+252
+251
+251
+251
+251
+251
+251
+250
+250
+250
+250
+250
+250
+250
+250
+250
+250
--- a/test/reduced/Falkenauer_t501_01.txt
+++ b/test/reduced/Falkenauer_t501_01.txt
@@ -0,0 +1,503 @@
+501
+1000
+498
+496
+495
+494
+494
+493
+491
+490
+490
+488
+488
+488
+488
+487
+486
+486
+485
+485
+485
+483
+482
+482
+482
+481
+477
+476
+476
+476
+475
+475
+475
+475
+474
+474
+472
+469
+469
+468
+467
+467
+466
+465
+464
+463
+462
+462
+461
+461
+461
+460
+459
+458
+457
+456
+455
+455
+455
+453
+453
+452
+451
+451
+451
+449
+449
+448
+447
+447
+445
+444
+443
+443
+443
+442
+442
+440
+440
+440
+437
+435
+435
+435
+434
+434
+433
+432
+432
+431
+428
+428
+426
+426
+426
+424
+424
+424
+424
+424
+424
+423
+422
+422
+419
+419
+417
+417
+416
+415
+414
+413
+413
+411
+411
+411
+407
+407
+407
+407
+407
+406
+405
+404
+404
+404
+401
+398
+398
+397
+396
+396
+395
+393
+392
+392
+391
+390
+389
+387
+386
+386
+386
+385
+385
+384
+383
+378
+374
+374
+373
+371
+371
+370
+370
+369
+367
+366
+365
+364
+362
+361
+360
+360
+360
+360
+360
+360
+359
+359
+359
+359
+358
+357
+357
+356
+355
+354
+353
+353
+353
+353
+352
+352
+351
+351
+350
+350
+347
+345
+341
+340
+339
+337
+336
+335
+334
+332
+331
+331
+331
+330
+329
+329
+329
+327
+327
+326
+326
+325
+324
+323
+323
+323
+322
+321
+321
+321
+321
+320
+320
+319
+319
+319
+318
+316
+316
+315
+314
+314
+313
+312
+312
+312
+312
+310
+309
+307
+307
+307
+307
+306
+305
+305
+303
+303
+303
+302
+302
+302
+302
+301
+301
+300
+300
+299
+299
+299
+298
+298
+298
+298
+297
+297
+296
+296
+296
+296
+296
+296
+296
+295
+294
+293
+293
+292
+291
+291
+291
+290
+290
+289
+289
+289
+288
+288
+287
+287
+286
+286
+286
+286
+286
+286
+286
+286
+285
+285
+285
+285
+284
+284
+284
+284
+284
+283
+283
+283
+282
+282
+282
+282
+282
+281
+281
+281
+281
+281
+280
+280
+280
+280
+280
+279
+279
+279
+279
+279
+279
+278
+278
+278
+278
+278
+278
+277
+277
+277
+277
+276
+276
+276
+276
+276
+275
+275
+274
+274
+274
+274
+273
+273
+273
+272
+272
+272
+272
+272
+272
+271
+271
+271
+271
+271
+271
+271
+271
+270
+270
+270
+270
+270
+269
+269
+269
+269
+268
+267
+267
+267
+267
+267
+267
+267
+266
+266
+266
+266
+265
+265
+264
+264
+264
+264
+264
+264
+264
+264
+264
+264
+264
+263
+263
+263
+262
+262
+262
+262
+262
+262
+262
+261
+261
+261
+261
+261
+261
+261
+261
+261
+261
+261
+260
+260
+260
+260
+260
+259
+258
+258
+258
+258
+258
+258
+258
+258
+258
+257
+257
+257
+257
+257
+257
+257
+257
+257
+256
+256
+256
+255
+255
+255
+255
+255
+255
+255
+255
+254
+254
+254
+254
+254
+254
+254
+254
+254
+254
+253
+253
+253
+253
+253
+253
+252
+252
+252
+252
+252
+252
+252
+252
+252
+252
+252
+252
+252
+252
+251
+251
+251
+251
+251
+251
+251
+251
+251
+251
+251
+250
+250
+250
+250
+250
--- a/test/reduced/Falkenauer_t501_09.txt
+++ b/test/reduced/Falkenauer_t501_09.txt
@@ -0,0 +1,503 @@
+501
+1000
+499
+498
+498
+495
+495
+495
+493
+492
+491
+490
+490
+489
+487
+486
+484
+483
+483
+481
+480
+480
+480
+479
+477
+477
+475
+475
+473
+473
+472
+471
+469
+468
+467
+467
+465
+465
+464
+464
+464
+464
+463
+462
+461
+461
+460
+459
+459
+458
+458
+456
+456
+455
+455
+454
+450
+445
+444
+442
+442
+442
+441
+441
+438
+438
+437
+437
+437
+436
+436
+435
+434
+432
+432
+431
+431
+430
+430
+428
+425
+425
+425
+424
+423
+419
+418
+417
+417
+416
+416
+414
+414
+413
+413
+412
+412
+411
+409
+409
+407
+406
+406
+406
+404
+402
+402
+402
+401
+401
+396
+396
+395
+393
+393
+391
+391
+390
+390
+389
+389
+387
+386
+386
+385
+384
+383
+383
+383
+381
+381
+381
+381
+379
+379
+378
+378
+378
+378
+376
+376
+375
+374
+374
+373
+372
+372
+372
+372
+372
+371
+371
+371
+371
+371
+370
+370
+370
+369
+369
+369
+369
+368
+368
+367
+367
+366
+366
+365
+365
+364
+364
+362
+362
+361
+360
+360
+360
+359
+359
+359
+359
+358
+357
+357
+357
+357
+357
+355
+354
+354
+353
+353
+353
+351
+351
+351
+351
+351
+350
+347
+345
+343
+342
+341
+339
+338
+337
+337
+337
+335
+335
+333
+333
+332
+331
+330
+328
+327
+327
+327
+326
+325
+325
+324
+324
+324
+323
+323
+323
+322
+320
+319
+318
+318
+318
+318
+317
+317
+317
+317
+315
+315
+315
+313
+312
+312
+311
+310
+310
+310
+309
+308
+308
+308
+308
+307
+307
+306
+306
+306
+305
+305
+305
+303
+303
+302
+302
+302
+301
+301
+301
+300
+300
+299
+299
+299
+298
+298
+298
+298
+298
+298
+297
+297
+297
+296
+296
+296
+295
+294
+294
+294
+292
+292
+292
+291
+291
+290
+290
+290
+290
+289
+289
+289
+288
+288
+288
+286
+286
+286
+286
+285
+285
+285
+285
+285
+284
+284
+283
+283
+283
+283
+283
+283
+282
+281
+280
+280
+280
+279
+278
+278
+278
+278
+277
+277
+277
+277
+277
+276
+276
+276
+276
+276
+276
+276
+275
+275
+274
+274
+274
+274
+274
+273
+273
+273
+272
+272
+272
+271
+271
+271
+271
+270
+270
+270
+270
+270
+270
+270
+269
+269
+269
+269
+268
+268
+268
+268
+268
+268
+268
+267
+267
+267
+267
+267
+266
+266
+266
+266
+266
+266
+266
+265
+265
+265
+265
+265
+264
+264
+264
+264
+264
+263
+262
+262
+262
+262
+262
+262
+262
+262
+262
+262
+262
+262
+261
+261
+261
+261
+261
+261
+260
+260
+260
+260
+259
+259
+259
+259
+259
+258
+258
+258
+258
+258
+257
+257
+257
+257
+257
+257
+257
+257
+256
+256
+256
+256
+256
+256
+256
+256
+256
+256
+256
+256
+256
+255
+255
+255
+255
+255
+254
+254
+254
+254
+254
+253
+253
+252
+252
+252
+252
+252
+252
+252
+252
+252
+252
+251
+251
+251
+251
+251
+251
+251
+251
+251
+251
+251
+251
+251
+250
+250
+250
+250
+250
+250
+250
+250
+250
+250
--- a/test/reduced/Falkenauer_t60_00.txt
+++ b/test/reduced/Falkenauer_t60_00.txt
@@ -0,0 +1,62 @@
+60
+1000
+495
+474
+473
+472
+466
+450
+445
+444
+439
+430
+419
+414
+410
+395
+372
+370
+366
+366
+366
+363
+361
+357
+355
+351
+350
+350
+347
+320
+315
+307
+303
+299
+298
+298
+292
+288
+287
+283
+275
+275
+274
+273
+273
+272
+272
+271
+269
+269
+268
+263
+262
+261
+259
+258
+255
+254
+252
+252
+252
+251
--- a/test/reduced/Falkenauer_u1000_09.txt
+++ b/test/reduced/Falkenauer_u1000_09.txt
--- a/test/reduced/Falkenauer_u120_14.txt
+++ b/test/reduced/Falkenauer_u120_14.txt
@@ -0,0 +1,122 @@
+120
+150
+100
+100
+100
+99
+99
+97
+97
+96
+96
+93
+93
+93
+93
+92
+90
+90
+89
+89
+87
+87
+86
+86
+85
+85
+84
+84
+83
+82
+82
+81
+80
+79
+78
+78
+78
+76
+75
+74
+74
+74
+74
+73
+73
+72
+72
+71
+71
+70
+69
+68
+68
+68
+68
+66
+66
+65
+65
+65
+64
+64
+64
+63
+63
+63
+62
+61
+61
+59
+57
+54
+54
+54
+53
+51
+51
+50
+49
+49
+49
+48
+48
+47
+47
+46
+46
+46
+46
+45
+45
+44
+44
+43
+42
+41
+40
+39
+39
+39
+35
+35
+34
+34
+33
+31
+31
+31
+31
+28
+28
+27
+27
+25
+25
+24
+24
+24
+23
+22
+22
+21
--- a/test/reduced/Falkenauer_u250_00.txt
+++ b/test/reduced/Falkenauer_u250_00.txt
@@ -0,0 +1,252 @@
+250
+150
+100
+100
+100
+99
+99
+98
+98
+98
+98
+98
+98
+98
+98
+97
+97
+97
+96
+96
+95
+95
+95
+94
+94
+93
+93
+92
+92
+92
+91
+91
+90
+90
+90
+88
+88
+87
+86
+85
+85
+85
+84
+84
+84
+84
+84
+83
+83
+82
+82
+82
+81
+81
+81
+81
+80
+80
+80
+80
+80
+80
+79
+79
+79
+79
+78
+78
+78
+78
+78
+78
+76
+76
+75
+75
+74
+74
+74
+73
+73
+73
+73
+72
+72
+72
+71
+71
+70
+70
+70
+70
+70
+70
+69
+69
+69
+69
+68
+67
+67
+67
+67
+67
+66
+66
+66
+65
+65
+64
+64
+62
+62
+62
+61
+61
+60
+60
+60
+60
+60
+60
+59
+59
+58
+58
+58
+58
+57
+57
+57
+57
+57
+57
+57
+55
+55
+55
+55
+55
+53
+53
+53
+53
+53
+53
+52
+52
+50
+50
+49
+49
+49
+49
+49
+48
+48
+47
+47
+47
+47
+46
+46
+46
+46
+45
+45
+45
+45
+45
+44
+44
+44
+43
+43
+43
+43
+43
+43
+43
+42
+42
+42
+42
+42
+42
+41
+41
+41
+41
+39
+39
+39
+39
+39
+38
+38
+38
+38
+38
+38
+37
+37
+36
+36
+36
+36
+36
+36
+35
+35
+33
+33
+33
+33
+32
+32
+32
+32
+30
+30
+30
+30
+30
+29
+29
+29
+28
+27
+27
+27
+27
+27
+26
+25
+25
+25
+24
+24
+24
+23
+23
+23
+23
+23
+22
+22
+22
+20
+20
+20
+20
--- a/test/reduced/Falkenauer_u250_08.txt
+++ b/test/reduced/Falkenauer_u250_08.txt
@@ -0,0 +1,252 @@
+250
+150
+100
+100
+100
+100
+100
+99
+98
+98
+98
+97
+97
+95
+95
+95
+95
+95
+95
+94
+94
+94
+94
+93
+92
+92
+92
+92
+92
+91
+91
+90
+90
+90
+89
+89
+89
+89
+89
+88
+88
+87
+87
+87
+86
+86
+86
+86
+86
+85
+85
+85
+85
+85
+84
+84
+83
+83
+82
+82
+81
+81
+80
+80
+80
+80
+79
+79
+79
+79
+79
+79
+79
+78
+77
+77
+77
+76
+76
+76
+76
+75
+75
+75
+75
+74
+74
+74
+73
+73
+73
+73
+73
+73
+73
+72
+72
+72
+72
+72
+72
+72
+72
+71
+71
+70
+70
+70
+70
+69
+69
+68
+68
+68
+68
+68
+67
+67
+66
+66
+66
+65
+65
+65
+64
+64
+64
+64
+63
+63
+63
+63
+62
+62
+62
+62
+62
+61
+61
+61
+60
+60
+59
+59
+59
+58
+58
+58
+58
+57
+56
+56
+56
+56
+56
+55
+55
+55
+55
+55
+54
+54
+54
+53
+53
+53
+53
+53
+52
+51
+51
+51
+51
+51
+51
+51
+51
+50
+50
+50
+50
+49
+49
+49
+48
+48
+47
+47
+47
+47
+46
+46
+45
+45
+45
+44
+44
+44
+44
+43
+43
+42
+42
+42
+41
+40
+40
+40
+40
+40
+39
+38
+38
+37
+37
+37
+36
+36
+36
+35
+35
+34
+34
+34
+34
+33
+33
+32
+31
+30
+30
+30
+30
+30
+29
+28
+28
+27
+27
+27
+26
+26
+26
+24
+23
+23
+22
+22
+22
+22
+22
+21
--- a/test/reduced/Falkenauer_u500_00.txt
+++ b/test/reduced/Falkenauer_u500_00.txt
@@ -0,0 +1,502 @@
+500
+150
+100
+100
+100
+100
+100
+100
+99
+99
+99
+98
+98
+98
+98
+98
+98
+98
+98
+98
+98
+97
+97
+97
+97
+97
+97
+97
+97
+97
+96
+96
+96
+96
+96
+96
+95
+95
+95
+95
+95
+95
+95
+94
+94
+94
+94
+93
+93
+92
+92
+92
+92
+92
+92
+91
+91
+91
+91
+91
+91
+91
+90
+90
+90
+90
+90
+90
+90
+90
+90
+89
+89
+88
+88
+88
+88
+87
+87
+87
+86
+86
+86
+86
+85
+85
+85
+85
+85
+84
+84
+84
+84
+84
+84
+84
+84
+84
+84
+84
+84
+83
+83
+83
+83
+82
+82
+82
+82
+82
+81
+81
+81
+81
+81
+81
+81
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+80
+79
+79
+79
+79
+79
+79
+79
+79
+78
+78
+78
+78
+78
+78
+78
+78
+77
+76
+76
+76
+76
+76
+76
+75
+75
+75
+75
+75
+74
+74
+74
+74
+74
+74
+73
+73
+73
+73
+73
+73
+73
+73
+72
+72
+72
+71
+71
+71
+71
+71
+71
+70
+70
+70
+70
+70
+70
+70
+70
+70
+69
+69
+69
+69
+69
+68
+68
+68
+68
+67
+67
+67
+67
+67
+67
+67
+67
+67
+67
+66
+66
+66
+66
+66
+66
+66
+65
+65
+65
+65
+64
+64
+64
+64
+64
+64
+64
+63
+63
+63
+62
+62
+62
+62
+62
+62
+61
+61
+61
+61
+61
+60
+60
+60
+60
+60
+60
+60
+60
+59
+59
+59
+59
+59
+58
+58
+58
+58
+58
+58
+57
+57
+57
+57
+57
+57
+57
+57
+57
+57
+56
+56
+55
+55
+55
+55
+55
+54
+54
+54
+53
+53
+53
+53
+53
+53
+53
+53
+53
+52
+52
+52
+51
+51
+50
+50
+50
+50
+49
+49
+49
+49
+49
+49
+48
+48
+48
+48
+48
+48
+47
+47
+47
+47
+47
+47
+47
+46
+46
+46
+46
+46
+46
+46
+46
+46
+46
+45
+45
+45
+45
+45
+45
+45
+45
+45
+45
+44
+44
+44
+44
+44
+43
+43
+43
+43
+43
+43
+43
+43
+43
+42
+42
+42
+42
+42
+42
+42
+42
+42
+42
+42
+41
+41
+41
+41
+41
+41
+40
+40
+40
+40
+39
+39
+39
+39
+39
+39
+38
+38
+38
+38
+38
+38
+38
+38
+37
+37
+37
+37
+37
+37
+37
+37
+36
+36
+36
+36
+36
+36
+36
+36
+35
+35
+35
+35
+35
+35
+35
+35
+35
+34
+34
+34
+34
+33
+33
+33
+33
+33
+33
+32
+32
+32
+32
+32
+32
+32
+32
+31
+31
+31
+30
+30
+30
+30
+30
+30
+30
+30
+29
+29
+29
+29
+29
+29
+29
+29
+29
+28
+28
+28
+28
+27
+27
+27
+27
+27
+27
+27
+27
+27
+26
+26
+26
+26
+26
+26
+25
+25
+25
+25
+25
+25
+25
+25
+24
+24
+24
+24
+24
+24
+23
+23
+23
+23
+23
+23
+22
+22
+22
+22
+22
+21
+21
+21
+21
+20
+20
+20
+20
+20
--- a/test/reduced/Falkenauer_u500_18.txt
+++ b/test/reduced/Falkenauer_u500_18.txt
@@ -0,0 +1,502 @@
+500
+150
+100
+100
+100
+100
+99
+99
+99
+99
+99
+98
+98
+98
+97
+97
+97
+97
+97
+97
+96
+96
+96
+95
+95
+95
+95
+95
+95
+95
+95
+95
+95
+95
+94
+94
+94
+94
+94
+93
+93
+93
+93
+93
+93
+93
+93
+93
+93
+92
+92
+92
+92
+91
+91
+91
+91
+91
+91
+91
+91
+90
+90
+90
+90
+90
+90
+90
+89
+89
+89
+89
+89
+89
+88
+88
+88
+88
+88
+88
+88
+88
+87
+87
+87
+87
+87
+87
+86
+86
+86
+86
+86
+86
+86
+86
+86
+86
+85
+85
+85
+85
+85
+85
+85
+85
+85
+85
+84
+84
+84
+84
+84
+84
+84
+84
+83
+83
+83
+83
+83
+83
+83
+83
+82
+82
+82
+82
+82
+82
+81
+81
+81
+81
+80
+80
+80
+79
+79
+79
+79
+79
+79
+78
+78
+78
+78
+77
+77
+77
+77
+77
+77
+77
+77
+77
+76
+76
+76
+76
+76
+76
+76
+76
+76
+76
+76
+75
+75
+75
+75
+74
+74
+74
+74
+74
+74
+74
+73
+73
+73
+73
+72
+72
+71
+71
+71
+71
+70
+70
+70
+70
+70
+70
+69
+69
+69
+69
+69
+69
+68
+68
+68
+68
+68
+67
+67
+67
+67
+67
+67
+67
+66
+66
+66
+66
+66
+66
+66
+66
+66
+66
+65
+65
+65
+65
+65
+65
+65
+64
+64
+64
+64
+64
+63
+63
+63
+63
+62
+62
+62
+61
+61
+61
+61
+61
+60
+60
+60
+60
+60
+59
+59
+59
+59
+59
+59
+59
+58
+58
+58
+58
+58
+58
+57
+57
+57
+57
+57
+57
+57
+57
+56
+56
+56
+56
+56
+56
+56
+56
+55
+55
+55
+55
+55
+55
+55
+55
+55
+55
+54
+54
+54
+54
+54
+54
+54
+53
+53
+53
+53
+53
+53
+52
+52
+52
+52
+52
+52
+52
+52
+52
+52
+51
+51
+51
+51
+51
+51
+51
+50
+50
+50
+50
+50
+50
+50
+49
+49
+49
+49
+48
+48
+48
+48
+48
+48
+47
+47
+47
+47
+46
+46
+46
+46
+46
+46
+46
+45
+45
+45
+45
+45
+45
+45
+45
+45
+44
+44
+44
+44
+44
+43
+43
+43
+43
+43
+43
+43
+43
+42
+42
+42
+42
+42
+42
+42
+41
+41
+41
+40
+40
+40
+40
+40
+40
+40
+40
+39
+39
+39
+39
+39
+39
+39
+38
+38
+38
+38
+38
+38
+37
+37
+36
+36
+36
+35
+35
+35
+34
+34
+34
+34
+34
+34
+33
+33
+33
+33
+33
+33
+32
+32
+32
+32
+32
+32
+31
+31
+31
+31
+31
+30
+30
+30
+30
+30
+29
+29
+29
+29
+29
+29
+28
+28
+28
+28
+28
+28
+28
+28
+28
+27
+27
+27
+27
+27
+27
+27
+27
+26
+26
+26
+26
+26
+26
+25
+25
+25
+25
+24
+24
+24
+24
+24
+23
+23
+23
+23
+23
+23
+22
+22
+22
+22
+22
+22
+22
+22
+22
+22
+21
+21
+21
+21
+21
+21
+21
+20
+20
+20
+20
--- a/test/reduced/HARD0.txt
+++ b/test/reduced/HARD0.txt
@@ -0,0 +1,202 @@
+200
+100000
+34978
+34849
+34703
+34608
+34598
+34524
+34356
+34308
+34069
+34049
+33895
+33842
+33806
+33738
+33716
+33590
+33546
+33507
+33468
+33465
+33383
+33190
+33075
+32976
+32897
+32762
+32696
+32638
+32553
+32398
+32230
+32176
+31967
+31954
+31903
+31782
+31724
+31686
+31597
+31561
+31532
+31499
+31346
+30943
+30915
+30869
+30766
+30683
+30678
+30644
+30559
+30448
+30315
+30238
+30125
+29974
+29947
+29890
+29886
+29858
+29856
+29783
+29697
+29438
+29427
+29301
+29174
+29173
+29123
+29117
+29116
+29095
+29094
+29063
+29041
+29038
+28977
+28946
+28921
+28910
+28842
+28703
+28360
+28350
+28305
+28302
+28225
+28160
+28094
+28040
+28020
+27901
+27775
+27765
+27688
+27439
+27425
+27394
+27365
+27349
+27284
+27180
+26935
+26881
+26867
+26795
+26703
+26651
+26550
+26432
+26375
+26368
+26244
+26204
+26192
+26181
+26158
+26133
+26067
+25945
+25906
+25759
+25698
+25688
+25652
+25615
+25530
+25528
+25366
+25324
+25273
+25142
+24852
+24846
+24658
+24592
+24564
+24463
+24457
+24374
+24359
+24332
+23987
+23956
+23952
+23932
+23895
+23837
+23795
+23774
+23663
+23621
+23502
+23453
+23430
+23366
+23178
+23090
+22991
+22942
+22743
+22442
+22432
+22415
+22338
+22134
+22081
+22014
+21950
+21948
+21796
+21784
+21727
+21722
+21557
+21498
+21480
+21315
+21193
+21127
+21060
+20997
+20837
+20813
+20693
+20693
+20686
+20677
+20676
+20664
+20663
+20634
+20616
+20570
+20566
+20496
+20441
+20307
+20226
+20114
--- a/test/reduced/HARD4.txt
+++ b/test/reduced/HARD4.txt
@@ -0,0 +1,202 @@
+200
+100000
+35000
+34970
+34839
+34733
+34369
+34328
+34237
+34229
+34225
+34197
+34154
+34002
+33988
+33977
+33958
+33934
+33891
+33839
+33471
+33218
+33149
+32979
+32940
+32936
+32912
+32902
+32900
+32885
+32802
+32802
+32802
+32708
+32637
+32415
+32403
+32200
+32110
+32068
+32067
+32058
+31950
+31946
+31923
+31919
+31690
+31624
+31562
+31482
+31475
+31450
+31432
+31405
+31363
+31187
+31107
+31088
+30940
+30873
+30866
+30750
+30538
+30527
+30497
+30370
+30347
+30290
+30156
+30140
+30118
+30051
+29845
+29750
+29654
+29646
+29552
+29512
+29415
+29403
+29382
+29300
+29271
+29151
+29131
+28998
+28951
+28937
+28867
+28821
+28820
+28724
+28696
+28489
+28380
+28267
+28252
+28225
+28223
+28105
+28104
+28044
+27900
+27864
+27699
+27668
+27661
+27593
+27589
+27570
+27497
+27416
+27322
+27287
+27271
+27221
+26975
+26881
+26813
+26692
+26591
+26520
+26432
+26337
+26290
+26289
+26219
+25966
+25822
+25563
+25546
+25461
+25442
+25361
+25356
+25281
+25259
+25122
+25078
+25024
+24793
+24790
+24789
+24721
+24714
+24424
+24413
+24341
+24325
+24234
+24198
+24149
+24092
+23920
+23907
+23864
+23811
+23799
+23781
+23671
+23662
+23493
+23299
+23206
+23162
+23139
+23119
+23013
+22984
+22983
+22872
+22846
+22771
+22533
+22467
+22246
+22237
+22217
+22166
+22143
+22140
+22095
+22045
+21930
+21774
+21753
+21744
+21500
+21369
+21289
+20986
+20971
+20920
+20899
+20897
+20892
+20788
+20774
+20738
+20368
+20299
+20139
--- a/test/reduced/HARD7.txt
+++ b/test/reduced/HARD7.txt
@@ -0,0 +1,202 @@
+200
+100000
+34808
+34689
+34603
+34583
+34336
+34297
+34244
+34192
+34092
+34045
+34030
+33976
+33959
+33872
+33820
+33736
+33641
+33592
+33405
+33362
+33333
+33299
+33253
+33242
+33223
+33120
+33093
+33067
+32733
+32256
+32193
+32094
+32003
+31894
+31788
+31746
+31734
+31720
+31675
+31651
+31648
+31618
+31611
+31599
+31598
+31312
+31095
+31062
+30853
+30793
+30691
+30599
+30567
+30537
+30462
+30436
+30264
+30246
+30218
+30053
+30037
+29942
+29941
+29879
+29779
+29746
+29688
+29682
+29641
+29633
+29563
+29462
+29461
+29450
+29356
+29299
+29288
+29280
+29235
+29169
+29129
+28955
+28954
+28671
+28437
+28336
+28269
+28200
+28000
+27973
+27968
+27914
+27885
+27759
+27741
+27653
+27567
+27563
+26904
+26550
+26402
+26366
+26361
+26348
+26225
+26139
+26108
+25991
+25718
+25683
+25639
+25462
+25290
+25228
+25136
+25043
+25038
+24962
+24892
+24823
+24803
+24768
+24621
+24559
+24441
+24419
+24381
+24250
+24235
+24093
+24083
+24065
+24060
+23974
+23868
+23833
+23636
+23633
+23581
+23523
+23445
+23413
+23317
+23202
+23160
+23150
+23117
+22977
+22959
+22955
+22947
+22915
+22833
+22755
+22739
+22603
+22592
+22557
+22554
+22530
+22354
+22313
+22306
+22095
+22092
+22021
+21948
+21934
+21913
+21855
+21594
+21564
+21543
+21518
+21440
+21389
+21370
+21205
+21174
+21027
+20984
+20969
+20932
+20900
+20844
+20816
+20721
+20694
+20584
+20533
+20490
+20476
+20343
+20332
+20260
+20173
+20162
+20157
+20131
+20017
--- a/test/reduced/N1W4B1R7.txt
+++ b/test/reduced/N1W4B1R7.txt
@@ -0,0 +1,52 @@
+50
+1000
+132
+130
+130
+130
+130
+130
+128
+128
+127
+126
+126
+124
+124
+122
+121
+120
+118
+117
+115
+113
+112
+112
+112
+111
+111
+111
+111
+110
+109
+109
+108
+108
+105
+105
+105
+101
+100
+99
+99
+98
+96
+95
+94
+94
+94
+93
+92
+92
+92
+90
--- a/test/reduced/N1W4B1R9.txt
+++ b/test/reduced/N1W4B1R9.txt
@@ -0,0 +1,52 @@
+50
+1000
+132
+130
+130
+128
+125
+124
+123
+121
+121
+121
+120
+119
+117
+116
+116
+115
+113
+112
+111
+111
+111
+110
+110
+109
+109
+107
+107
+106
+106
+105
+104
+102
+102
+101
+101
+100
+99
+98
+97
+96
+96
+95
+95
+94
+92
+92
+92
+91
+91
+90
--- a/test/reduced/N1W4B2R3.txt
+++ b/test/reduced/N1W4B2R3.txt
@@ -0,0 +1,52 @@
+50
+1000
+165
+164
+164
+159
+155
+155
+155
+150
+146
+141
+138
+138
+137
+135
+131
+130
+130
+127
+126
+125
+122
+122
+121
+120
+119
+119
+118
+114
+113
+112
+111
+108
+104
+104
+100
+97
+96
+89
+83
+79
+76
+75
+75
+73
+70
+67
+65
+64
+62
+60
--- a/test/reduced/N2W3B1R2.txt
+++ b/test/reduced/N2W3B1R2.txt
@@ -0,0 +1,102 @@
+100
+1000
+168
+168
+167
+167
+167
+167
+167
+166
+166
+165
+165
+165
+164
+163
+163
+162
+160
+160
+160
+159
+159
+159
+158
+158
+158
+158
+158
+158
+157
+157
+156
+156
+155
+155
+154
+154
+154
+154
+154
+154
+154
+153
+153
+152
+151
+150
+150
+149
+148
+148
+148
+147
+145
+144
+144
+143
+142
+142
+141
+140
+139
+138
+138
+138
+137
+136
+136
+136
+136
+136
+135
+135
+135
+134
+132
+131
+131
+129
+126
+126
+126
+126
+125
+124
+124
+123
+122
+122
+121
+120
+120
+119
+119
+118
+117
+117
+116
+116
+114
+114
--- a/test/reduced/N2W3B2R0.txt
+++ b/test/reduced/N2W3B2R0.txt
@@ -0,0 +1,102 @@
+100
+1000
+209
+207
+205
+204
+202
+199
+199
+199
+196
+194
+194
+194
+193
+190
+188
+186
+184
+183
+182
+182
+179
+178
+178
+178
+176
+176
+176
+173
+173
+172
+169
+167
+167
+167
+164
+163
+163
+162
+160
+160
+156
+156
+156
+154
+152
+150
+146
+145
+145
+145
+142
+141
+139
+139
+136
+136
+135
+134
+133
+133
+129
+127
+127
+127
+126
+123
+122
+120
+119
+117
+113
+113
+112
+112
+108
+106
+104
+97
+96
+95
+95
+95
+94
+94
+90
+90
+90
+87
+87
+85
+84
+83
+82
+80
+79
+77
+77
+75
+74
+73
--- a/test/reduced/N2W3B2R3.txt
+++ b/test/reduced/N2W3B2R3.txt
@@ -0,0 +1,102 @@
+100
+1000
+210
+208
+206
+200
+199
+198
+198
+197
+195
+195
+194
+193
+190
+186
+186
+186
+182
+181
+181
+180
+178
+175
+175
+173
+173
+172
+170
+169
+168
+168
+167
+166
+165
+164
+164
+163
+159
+159
+156
+152
+149
+149
+148
+145
+143
+143
+143
+142
+141
+141
+141
+140
+139
+139
+138
+136
+135
+135
+132
+131
+130
+128
+126
+126
+125
+125
+123
+123
+123
+122
+120
+120
+115
+115
+114
+111
+108
+108
+108
+103
+100
+99
+98
+98
+96
+96
+92
+91
+90
+87
+86
+85
+85
+84
+83
+82
+80
+76
+75
+74
--- a/test/reduced/N3W2B3R3.txt
+++ b/test/reduced/N3W2B3R3.txt
@@ -0,0 +1,202 @@
+200
+1000
+378
+375
+370
+368
+364
+364
+364
+361
+360
+360
+350
+349
+349
+347
+345
+340
+340
+339
+339
+339
+335
+332
+330
+321
+321
+321
+317
+316
+313
+312
+311
+310
+307
+304
+303
+298
+295
+294
+292
+292
+279
+277
+277
+274
+271
+267
+267
+267
+265
+263
+262
+261
+259
+256
+255
+254
+253
+251
+251
+250
+248
+247
+246
+245
+245
+243
+242
+242
+241
+239
+238
+238
+236
+236
+235
+234
+232
+231
+230
+229
+225
+223
+223
+222
+221
+220
+216
+216
+216
+216
+215
+213
+213
+212
+210
+209
+203
+200
+198
+197
+197
+192
+191
+190
+187
+187
+186
+185
+185
+178
+178
+175
+174
+174
+172
+170
+169
+165
+165
+157
+156
+154
+154
+154
+154
+148
+148
+147
+145
+144
+142
+142
+139
+136
+136
+135
+134
+133
+129
+129
+128
+128
+127
+127
+125
+124
+124
+124
+123
+122
+118
+113
+112
+111
+108
+108
+107
+106
+101
+98
+96
+96
+94
+94
+91
+89
+88
+86
+82
+79
+76
+72
+71
+70
+67
+65
+65
+63
+63
+62
+61
+60
+58
+57
+55
+47
+47
+47
+45
+36
+35
+31
+28
+28
+28
+28
+28
+25
+24
+23
--- a/test/reduced/N3W3B1R0.txt
+++ b/test/reduced/N3W3B1R0.txt
@@ -0,0 +1,202 @@
+200
+1000
+168
+168
+167
+167
+166
+166
+166
+166
+165
+164
+163
+163
+163
+163
+163
+163
+162
+162
+162
+162
+162
+161
+160
+160
+160
+160
+160
+159
+159
+159
+159
+159
+159
+159
+159
+159
+158
+158
+157
+157
+157
+157
+157
+157
+156
+156
+156
+156
+156
+155
+155
+155
+155
+154
+154
+154
+154
+153
+153
+152
+152
+152
+152
+152
+152
+151
+150
+150
+148
+148
+148
+148
+148
+148
+147
+147
+147
+147
+146
+146
+146
+145
+144
+144
+143
+143
+143
+143
+143
+142
+142
+141
+141
+141
+140
+140
+140
+139
+139
+139
+139
+139
+139
+139
+138
+138
+137
+137
+137
+136
+136
+136
+136
+135
+135
+135
+134
+134
+134
+133
+133
+133
+133
+132
+132
+132
+132
+132
+131
+131
+131
+130
+130
+130
+130
+130
+130
+130
+129
+129
+129
+129
+128
+128
+128
+127
+127
+127
+126
+126
+126
+126
+125
+125
+125
+125
+124
+124
+124
+124
+124
+124
+123
+123
+123
+122
+122
+122
+122
+122
+121
+120
+120
+119
+119
+119
+119
+119
+118
+118
+118
+118
+117
+117
+117
+116
+116
+116
+116
+115
+115
+115
+115
+115
+115
+115
+115
+114
+114
+114
--- a/test/reduced/N3W3B1R8.txt
+++ b/test/reduced/N3W3B1R8.txt
@@ -0,0 +1,202 @@
+200
+1000
+168
+168
+167
+167
+166
+166
+165
+165
+165
+165
+165
+165
+165
+164
+163
+163
+163
+163
+163
+162
+162
+161
+161
+160
+160
+160
+160
+160
+160
+159
+159
+159
+158
+158
+157
+157
+156
+156
+156
+156
+155
+155
+155
+155
+155
+155
+154
+154
+154
+153
+153
+153
+152
+152
+152
+152
+152
+152
+151
+151
+151
+150
+150
+150
+149
+149
+149
+149
+148
+148
+148
+148
+148
+148
+147
+147
+147
+147
+147
+147
+146
+146
+146
+146
+145
+144
+143
+142
+142
+142
+142
+142
+142
+142
+141
+141
+141
+140
+140
+140
+140
+140
+139
+139
+139
+139
+139
+138
+138
+138
+138
+138
+138
+137
+136
+136
+136
+136
+135
+134
+134
+134
+134
+133
+133
+133
+133
+133
+132
+132
+132
+132
+132
+131
+131
+131
+131
+130
+130
+130
+130
+130
+130
+130
+130
+130
+130
+129
+129
+129
+129
+128
+128
+127
+127
+127
+127
+127
+127
+127
+126
+126
+126
+126
+125
+125
+125
+124
+124
+124
+123
+123
+123
+122
+122
+122
+121
+121
+121
+120
+120
+120
+120
+119
+119
+118
+118
+118
+118
+117
+117
+116
+116
+116
+116
+115
+115
+115
+114
+114