files / problems / c7-shannon / compute / q1 / coset_log.txt

41 KB · on GitHub

good #1 pivots 01 V=(10020/01200) cosets=3 total=147
  good=1 checked=701 best_cosets=3
  good=2 checked=702 best_cosets=3
  good=3 checked=703 best_cosets=3
  good=4 checked=704 best_cosets=3
  good=5 checked=705 best_cosets=3
good #29 pivots 01 V=(10021/01200) cosets=4 total=196
  good=50 checked=771 best_cosets=4
  good=100 checked=828 best_cosets=4
  good=150 checked=878 best_cosets=4
  good=200 checked=928 best_cosets=4
  good=250 checked=978 best_cosets=4
  good=300 checked=1063 best_cosets=4
  good=350 checked=1141 best_cosets=4
  good=400 checked=1191 best_cosets=4
  good=450 checked=1241 best_cosets=4
  good=500 checked=1291 best_cosets=4
  good=550 checked=1355 best_cosets=4
  good=600 checked=1447 best_cosets=4
  good=650 checked=1504 best_cosets=4
  good=700 checked=1554 best_cosets=4
  good=750 checked=1604 best_cosets=4
  good=800 checked=1654 best_cosets=4
  good=850 checked=1739 best_cosets=4
  good=900 checked=1817 best_cosets=4
  good=950 checked=1867 best_cosets=4
  good=1000 checked=1917 best_cosets=4
  good=1050 checked=1967 best_cosets=4
  good=1100 checked=2031 best_cosets=4
good #1121 pivots 01 V=(10410/01210) cosets=6 total=294
  good=1150 checked=3155 best_cosets=6
  good=1200 checked=3213 best_cosets=6
good #1210 pivots 01 V=(10252/01210) cosets=7 total=343
  good=1250 checked=3263 best_cosets=7
  good=1300 checked=3313 best_cosets=7
  good=1350 checked=3363 best_cosets=7
  good=1400 checked=3452 best_cosets=7
  good=1450 checked=3536 best_cosets=7
  good=1500 checked=3586 best_cosets=7
  good=1550 checked=3636 best_cosets=7
  good=1600 checked=3686 best_cosets=7
  good=1650 checked=3752 best_cosets=7
  good=1700 checked=3852 best_cosets=7
  good=1750 checked=3911 best_cosets=7
  good=1800 checked=3961 best_cosets=7
  good=1850 checked=4011 best_cosets=7
  good=1900 checked=4061 best_cosets=7
  good=1950 checked=4151 best_cosets=7
  good=2000 checked=4232 best_cosets=7
  good=2050 checked=4282 best_cosets=7
  good=2100 checked=4332 best_cosets=7
  good=2150 checked=4382 best_cosets=7
  good=2200 checked=4450 best_cosets=7
  good=2250 checked=4883 best_cosets=7
  good=2300 checked=4940 best_cosets=7
  good=2350 checked=4990 best_cosets=7
  good=2400 checked=5040 best_cosets=7
  good=2450 checked=5090 best_cosets=7
  good=2500 checked=5175 best_cosets=7
  good=2550 checked=5257 best_cosets=7
  good=2600 checked=5307 best_cosets=7
  good=2650 checked=5357 best_cosets=7
  good=2700 checked=5407 best_cosets=7
  good=2750 checked=5471 best_cosets=7
  good=2800 checked=5569 best_cosets=7
  good=2850 checked=5630 best_cosets=7
  good=2900 checked=5680 best_cosets=7
  good=2950 checked=5730 best_cosets=7
  good=3000 checked=5780 best_cosets=7
  good=3050 checked=5884 best_cosets=7
  good=3100 checked=5959 best_cosets=7
  good=3150 checked=6009 best_cosets=7
  good=3200 checked=6059 best_cosets=7
  good=3250 checked=6109 best_cosets=7
  good=3300 checked=6198 best_cosets=7
  good=3350 checked=6290 best_cosets=7
  good=3400 checked=6340 best_cosets=7
  good=3450 checked=6390 best_cosets=7
  good=3500 checked=6440 best_cosets=7
  good=3550 checked=6516 best_cosets=7
  good=3600 checked=6617 best_cosets=7
  good=3650 checked=6667 best_cosets=7
  good=3700 checked=6717 best_cosets=7
  good=3750 checked=6767 best_cosets=7
  good=3800 checked=6822 best_cosets=7
  good=3850 checked=6920 best_cosets=7
  good=3900 checked=6988 best_cosets=7
  good=3950 checked=7038 best_cosets=7
  good=4000 checked=7088 best_cosets=7
  good=4050 checked=7138 best_cosets=7
  good=4100 checked=7216 best_cosets=7
  good=4150 checked=7303 best_cosets=7
  good=4200 checked=7353 best_cosets=7
  good=4250 checked=7403 best_cosets=7
  good=4300 checked=7453 best_cosets=7
  good=4350 checked=7508 best_cosets=7
  good=4400 checked=7601 best_cosets=7
  good=4450 checked=7674 best_cosets=7
  good=4500 checked=7724 best_cosets=7
  good=4550 checked=7774 best_cosets=7
  good=4600 checked=7824 best_cosets=7
  good=4650 checked=7908 best_cosets=7
  good=4700 checked=8003 best_cosets=7
  good=4750 checked=8053 best_cosets=7
  good=4800 checked=8103 best_cosets=7
  good=4850 checked=8153 best_cosets=7
  good=4900 checked=8229 best_cosets=7
  good=4950 checked=8323 best_cosets=7
  good=5000 checked=8376 best_cosets=7
  good=5050 checked=8426 best_cosets=7
  good=5100 checked=8476 best_cosets=7
  good=5150 checked=8526 best_cosets=7
  good=5200 checked=8621 best_cosets=7
  good=5250 checked=8695 best_cosets=7
  good=5300 checked=8745 best_cosets=7
  good=5350 checked=8795 best_cosets=7
  good=5400 checked=8845 best_cosets=7
  good=5450 checked=8917 best_cosets=7
  good=5500 checked=9022 best_cosets=7
  good=5550 checked=9072 best_cosets=7
  good=5600 checked=9122 best_cosets=7
  good=5650 checked=9172 best_cosets=7
  good=5700 checked=9228 best_cosets=7
  good=5750 checked=9336 best_cosets=7
  good=5800 checked=9399 best_cosets=7
  good=5850 checked=9449 best_cosets=7
  good=5900 checked=9499 best_cosets=7
  good=5950 checked=9549 best_cosets=7
  good=6000 checked=9638 best_cosets=7
  good=6050 checked=9716 best_cosets=7
  good=6100 checked=9766 best_cosets=7
  good=6150 checked=9816 best_cosets=7
  good=6200 checked=9866 best_cosets=7
  good=6250 checked=9930 best_cosets=7
  good=6300 checked=10029 best_cosets=7
  good=6350 checked=10087 best_cosets=7
  good=6400 checked=10137 best_cosets=7
  good=6450 checked=10187 best_cosets=7
  good=6500 checked=10237 best_cosets=7
  good=6550 checked=10338 best_cosets=7
  good=6600 checked=10416 best_cosets=7
  good=6650 checked=10466 best_cosets=7
  good=6700 checked=10516 best_cosets=7
  good=6750 checked=10566 best_cosets=7
  good=6800 checked=10649 best_cosets=7
  good=6850 checked=10739 best_cosets=7
  good=6900 checked=10789 best_cosets=7
  good=6950 checked=10839 best_cosets=7
  good=7000 checked=10889 best_cosets=7
  good=7050 checked=10948 best_cosets=7
  good=7100 checked=11041 best_cosets=7
  good=7150 checked=11108 best_cosets=7
  good=7200 checked=11158 best_cosets=7
  good=7250 checked=11208 best_cosets=7
  good=7300 checked=11258 best_cosets=7
  good=7350 checked=11340 best_cosets=7
  good=7400 checked=11435 best_cosets=7
  good=7450 checked=11485 best_cosets=7
  good=7500 checked=11535 best_cosets=7
  good=7550 checked=11585 best_cosets=7
  good=7600 checked=11661 best_cosets=7
  good=7650 checked=11762 best_cosets=7
  good=7700 checked=11812 best_cosets=7
  good=7750 checked=11862 best_cosets=7
  good=7800 checked=11912 best_cosets=7
  good=7850 checked=11967 best_cosets=7
  good=7900 checked=12060 best_cosets=7
  good=7950 checked=12129 best_cosets=7
  good=8000 checked=12179 best_cosets=7
  good=8050 checked=12229 best_cosets=7
  good=8100 checked=12279 best_cosets=7
  good=8150 checked=12352 best_cosets=7
  good=8200 checked=12445 best_cosets=7
  good=8250 checked=12496 best_cosets=7
  good=8300 checked=12546 best_cosets=7
  good=8350 checked=12596 best_cosets=7
  good=8400 checked=12648 best_cosets=7
  good=8450 checked=12746 best_cosets=7
  good=8500 checked=12819 best_cosets=7
  good=8550 checked=12869 best_cosets=7
  good=8600 checked=12919 best_cosets=7
  good=8650 checked=12969 best_cosets=7
  good=8700 checked=13056 best_cosets=7
  good=8750 checked=13148 best_cosets=7
  good=8800 checked=13198 best_cosets=7
  good=8850 checked=13248 best_cosets=7
  good=8900 checked=13298 best_cosets=7
  good=8950 checked=13369 best_cosets=7
  good=9000 checked=13479 best_cosets=7
  good=9050 checked=13529 best_cosets=7
  good=9100 checked=13579 best_cosets=7
  good=9150 checked=13629 best_cosets=7
  good=9200 checked=13691 best_cosets=7
  good=9250 checked=13795 best_cosets=7
  good=9300 checked=13856 best_cosets=7
  good=9350 checked=13906 best_cosets=7
  good=9400 checked=13956 best_cosets=7
  good=9450 checked=14006 best_cosets=7
  good=9500 checked=14095 best_cosets=7
  good=9550 checked=14177 best_cosets=7
  good=9600 checked=14227 best_cosets=7
  good=9650 checked=14277 best_cosets=7
  good=9700 checked=14327 best_cosets=7
  good=9750 checked=14394 best_cosets=7
  good=9800 checked=15174 best_cosets=7
  good=9850 checked=15232 best_cosets=7
  good=9900 checked=15282 best_cosets=7
  good=9950 checked=15332 best_cosets=7
  good=10000 checked=15382 best_cosets=7
  good=10050 checked=15471 best_cosets=7
  good=10100 checked=15555 best_cosets=7
  good=10150 checked=15605 best_cosets=7
  good=10200 checked=15655 best_cosets=7
  good=10250 checked=15705 best_cosets=7
  good=10300 checked=15793 best_cosets=7
  good=10350 checked=15880 best_cosets=7
  good=10400 checked=15930 best_cosets=7
  good=10450 checked=15980 best_cosets=7
  good=10500 checked=16030 best_cosets=7
  good=10550 checked=16096 best_cosets=7
  good=10600 checked=16193 best_cosets=7
  good=10650 checked=16251 best_cosets=7
  good=10700 checked=16301 best_cosets=7
  good=10750 checked=16351 best_cosets=7
  good=10800 checked=16401 best_cosets=7
  good=10850 checked=17517 best_cosets=7
  good=10900 checked=17584 best_cosets=7
  good=10950 checked=17648 best_cosets=7
  good=11000 checked=17698 best_cosets=7
  good=11050 checked=17754 best_cosets=7
  good=11100 checked=17817 best_cosets=7
  good=11150 checked=17905 best_cosets=7
  good=11200 checked=17967 best_cosets=7
  good=11250 checked=18020 best_cosets=7
  good=11300 checked=18070 best_cosets=7
  good=11350 checked=18126 best_cosets=7
  good=11400 checked=18211 best_cosets=7
  good=11450 checked=18292 best_cosets=7
  good=11500 checked=18345 best_cosets=7
  good=11550 checked=18395 best_cosets=7
  good=11600 checked=18451 best_cosets=7
  good=11650 checked=18521 best_cosets=7
  good=11700 checked=18603 best_cosets=7
  good=11750 checked=18664 best_cosets=7
  good=11800 checked=18717 best_cosets=7
  good=11850 checked=18767 best_cosets=7
  good=11900 checked=18836 best_cosets=7
  good=11950 checked=19940 best_cosets=7
  good=12000 checked=20018 best_cosets=7
  good=12050 checked=20068 best_cosets=7
  good=12100 checked=20118 best_cosets=7
  good=12150 checked=20171 best_cosets=7
  good=12200 checked=20259 best_cosets=7
  good=12250 checked=20336 best_cosets=7
  good=12300 checked=20395 best_cosets=7
  good=12350 checked=20445 best_cosets=7
  good=12400 checked=20498 best_cosets=7
  good=12450 checked=20563 best_cosets=7
  good=12500 checked=20662 best_cosets=7
  good=12550 checked=20724 best_cosets=7
  good=12600 checked=20774 best_cosets=7
  good=12650 checked=20824 best_cosets=7
  good=12700 checked=20892 best_cosets=7
  good=12750 checked=20976 best_cosets=7
  good=12800 checked=21049 best_cosets=7
  good=12850 checked=21099 best_cosets=7
  good=12900 checked=21149 best_cosets=7
  good=12950 checked=21202 best_cosets=7
  good=13000 checked=21622 best_cosets=7
  good=13050 checked=21700 best_cosets=7
  good=13100 checked=21762 best_cosets=7
  good=13150 checked=21812 best_cosets=7
  good=13200 checked=21862 best_cosets=7
  good=13250 checked=21927 best_cosets=7
  good=13300 checked=22019 best_cosets=7
  good=13350 checked=22084 best_cosets=7
  good=13400 checked=22134 best_cosets=7
  good=13450 checked=22184 best_cosets=7
  good=13500 checked=22241 best_cosets=7
  good=13550 checked=22323 best_cosets=7
  good=13600 checked=22401 best_cosets=7
  good=13650 checked=22460 best_cosets=7
  good=13700 checked=22510 best_cosets=7
  good=13750 checked=22560 best_cosets=7
  good=13800 checked=22628 best_cosets=7
  good=13850 checked=22728 best_cosets=7
  good=13900 checked=22790 best_cosets=7
  good=13950 checked=22840 best_cosets=7
  good=14000 checked=22890 best_cosets=7
  good=14050 checked=22955 best_cosets=7
  good=14100 checked=23059 best_cosets=7
  good=14150 checked=23121 best_cosets=7
  good=14200 checked=23171 best_cosets=7
  good=14250 checked=23221 best_cosets=7
  good=14300 checked=23285 best_cosets=7
  good=14350 checked=23372 best_cosets=7
  good=14400 checked=23446 best_cosets=7
  good=14450 checked=23499 best_cosets=7
  good=14500 checked=23549 best_cosets=7
  good=14550 checked=23602 best_cosets=7
  good=14600 checked=23683 best_cosets=7
  good=14650 checked=23763 best_cosets=7
  good=14700 checked=23823 best_cosets=7
  good=14750 checked=23873 best_cosets=7
  good=14800 checked=23923 best_cosets=7
  good=14850 checked=23988 best_cosets=7
  good=14900 checked=24077 best_cosets=7
  good=14950 checked=24146 best_cosets=7
  good=15000 checked=24196 best_cosets=7
  good=15050 checked=24246 best_cosets=7
  good=15100 checked=24307 best_cosets=7
  good=15150 checked=24393 best_cosets=7
  good=15200 checked=24469 best_cosets=7
  good=15250 checked=24525 best_cosets=7
  good=15300 checked=24575 best_cosets=7
  good=15350 checked=24629 best_cosets=7
  good=15400 checked=24707 best_cosets=7
  good=15450 checked=24797 best_cosets=7
  good=15500 checked=24856 best_cosets=7
  good=15550 checked=24906 best_cosets=7
  good=15600 checked=24956 best_cosets=7
  good=15650 checked=25027 best_cosets=7
  good=15700 checked=25118 best_cosets=7
  good=15750 checked=25183 best_cosets=7
  good=15800 checked=25233 best_cosets=7
  good=15850 checked=25283 best_cosets=7
  good=15900 checked=25348 best_cosets=7
  good=15950 checked=25435 best_cosets=7
  good=16000 checked=25504 best_cosets=7
  good=16050 checked=25560 best_cosets=7
  good=16100 checked=25610 best_cosets=7
  good=16150 checked=25669 best_cosets=7
  good=16200 checked=25743 best_cosets=7
  good=16250 checked=25832 best_cosets=7
  good=16300 checked=25891 best_cosets=7
  good=16350 checked=25941 best_cosets=7
  good=16400 checked=25991 best_cosets=7
  good=16450 checked=26067 best_cosets=7
  good=16500 checked=26158 best_cosets=7
  good=16550 checked=26220 best_cosets=7
  good=16600 checked=26270 best_cosets=7
  good=16650 checked=26320 best_cosets=7
  good=16700 checked=26388 best_cosets=7
  good=16750 checked=26473 best_cosets=7
  good=16800 checked=26541 best_cosets=7
  good=16850 checked=26595 best_cosets=7
  good=16900 checked=26645 best_cosets=7
  good=16950 checked=26704 best_cosets=7
  good=17000 checked=26794 best_cosets=7
  good=17050 checked=26865 best_cosets=7
  good=17100 checked=26924 best_cosets=7
  good=17150 checked=26974 best_cosets=7
  good=17200 checked=27031 best_cosets=7
  good=17250 checked=27103 best_cosets=7
  good=17300 checked=27196 best_cosets=7
  good=17350 checked=27255 best_cosets=7
  good=17400 checked=27305 best_cosets=7
  good=17450 checked=27355 best_cosets=7
  good=17500 checked=27429 best_cosets=7
  good=17550 checked=27511 best_cosets=7
  good=17600 checked=27582 best_cosets=7
  good=17650 checked=27632 best_cosets=7
  good=17700 checked=27682 best_cosets=7
  good=17750 checked=27746 best_cosets=7
  good=17800 checked=27831 best_cosets=7
  good=17850 checked=27900 best_cosets=7
  good=17900 checked=27959 best_cosets=7
  good=17950 checked=28009 best_cosets=7
  good=18000 checked=28068 best_cosets=7
  good=18050 checked=28145 best_cosets=7
  good=18100 checked=28231 best_cosets=7
  good=18150 checked=28290 best_cosets=7
  good=18200 checked=28340 best_cosets=7
  good=18250 checked=28393 best_cosets=7
  good=18300 checked=28466 best_cosets=7
  good=18350 checked=28555 best_cosets=7
  good=18400 checked=28619 best_cosets=7
  good=18450 checked=28669 best_cosets=7
  good=18500 checked=28719 best_cosets=7
  good=18550 checked=28790 best_cosets=7
  good=18600 checked=28872 best_cosets=7
  good=18650 checked=28932 best_cosets=7
  good=18700 checked=28991 best_cosets=7
  good=18750 checked=29041 best_cosets=7
  good=18800 checked=29100 best_cosets=7
  good=18850 checked=29173 best_cosets=7
  good=18900 checked=29254 best_cosets=7
  good=18950 checked=29313 best_cosets=7
  good=19000 checked=29363 best_cosets=7
  good=19050 checked=29417 best_cosets=7
  good=19100 checked=29485 best_cosets=7
  good=19150 checked=29569 best_cosets=7
  good=19200 checked=29636 best_cosets=7
  good=19250 checked=29689 best_cosets=7
  good=19300 checked=29739 best_cosets=7
  good=19350 checked=29803 best_cosets=7
  good=19400 checked=29894 best_cosets=7
  good=19450 checked=29960 best_cosets=7
  good=19500 checked=30019 best_cosets=7
  good=19550 checked=30069 best_cosets=7
  good=19600 checked=30128 best_cosets=7
  good=19650 checked=30211 best_cosets=7
  good=19700 checked=30291 best_cosets=7
  good=19750 checked=30350 best_cosets=7
  good=19800 checked=30400 best_cosets=7
  good=19850 checked=30459 best_cosets=7
  good=19900 checked=30526 best_cosets=7
  good=19950 checked=30608 best_cosets=7
  good=20000 checked=30678 best_cosets=7
  good=20050 checked=30728 best_cosets=7
  good=20100 checked=30778 best_cosets=7
  good=20150 checked=30851 best_cosets=7
  good=20200 checked=30932 best_cosets=7
  good=20250 checked=30993 best_cosets=7
  good=20300 checked=31052 best_cosets=7
  good=20350 checked=31102 best_cosets=7
  good=20400 checked=31161 best_cosets=7
  good=20450 checked=31928 best_cosets=7
  good=20500 checked=32005 best_cosets=7
  good=20550 checked=32061 best_cosets=7
  good=20600 checked=32111 best_cosets=7
  good=20650 checked=32170 best_cosets=7
  good=20700 checked=32233 best_cosets=7
  good=20750 checked=32320 best_cosets=7
  good=20800 checked=32388 best_cosets=7
  good=20850 checked=32438 best_cosets=7
  good=20900 checked=32488 best_cosets=7
  good=20950 checked=32562 best_cosets=7
  good=21000 checked=32649 best_cosets=7
  good=21050 checked=32711 best_cosets=7
  good=21100 checked=32767 best_cosets=7
  good=21150 checked=32817 best_cosets=7
  good=21200 checked=32876 best_cosets=7
  good=21250 checked=32959 best_cosets=7
  good=21300 checked=33036 best_cosets=7
  good=21350 checked=33092 best_cosets=7
  good=21400 checked=33142 best_cosets=7
  good=21450 checked=33201 best_cosets=7
  good=21500 checked=33264 best_cosets=7
  good=21550 checked=33674 best_cosets=7
  good=21600 checked=33734 best_cosets=7
  good=21650 checked=33793 best_cosets=7
  good=21700 checked=33852 best_cosets=7
  good=21750 checked=33919 best_cosets=7
  good=21800 checked=33979 best_cosets=7
  good=21850 checked=34040 best_cosets=7
  good=21900 checked=34103 best_cosets=7
  good=21950 checked=34168 best_cosets=7
  good=22000 checked=34227 best_cosets=7
  good=22050 checked=34288 best_cosets=7
  good=22100 checked=34355 best_cosets=7
  good=22150 checked=34422 best_cosets=7
  good=22200 checked=34481 best_cosets=7
  good=22250 checked=34540 best_cosets=7
  good=22300 checked=34612 best_cosets=7
  good=22350 checked=34673 best_cosets=7
  good=22400 checked=34747 best_cosets=7
  good=22450 checked=34809 best_cosets=7
  good=22500 checked=34868 best_cosets=7
  good=22550 checked=34927 best_cosets=7
  good=22600 checked=35004 best_cosets=7
  good=22650 checked=35069 best_cosets=7
  good=22700 checked=35134 best_cosets=7
  good=22750 checked=35199 best_cosets=7
  good=22800 checked=35258 best_cosets=7
  good=22850 checked=35328 best_cosets=7
  good=22900 checked=35398 best_cosets=7
  good=22950 checked=35459 best_cosets=7
  good=23000 checked=35518 best_cosets=7
  good=23050 checked=35586 best_cosets=7
  good=23100 checked=35649 best_cosets=7
  good=23150 checked=35710 best_cosets=7
  good=23200 checked=35779 best_cosets=7
  good=23250 checked=35840 best_cosets=7
  good=23300 checked=35899 best_cosets=7
  good=23350 checked=35958 best_cosets=7
  good=23400 checked=36028 best_cosets=7
  good=23450 checked=36091 best_cosets=7
  good=23500 checked=36153 best_cosets=7
  good=23550 checked=36214 best_cosets=7
  good=23600 checked=36274 best_cosets=7
  good=23650 checked=36336 best_cosets=7
  good=23700 checked=36398 best_cosets=7
  good=23750 checked=36474 best_cosets=7
  good=23800 checked=36533 best_cosets=7
  good=23850 checked=36586 best_cosets=7
  good=23900 checked=36649 best_cosets=7
  good=23950 checked=36721 best_cosets=7
  good=24000 checked=36787 best_cosets=7
  good=24050 checked=36849 best_cosets=7
  good=24100 checked=36911 best_cosets=7
  good=24150 checked=36970 best_cosets=7
  good=24200 checked=37034 best_cosets=7
  good=24250 checked=37116 best_cosets=7
  good=24300 checked=37178 best_cosets=7
  good=24350 checked=37237 best_cosets=7
  good=24400 checked=37299 best_cosets=7
  good=24450 checked=37364 best_cosets=7
  good=24500 checked=37429 best_cosets=7
  good=24550 checked=37509 best_cosets=7
  good=24600 checked=37568 best_cosets=7
  good=24650 checked=37624 best_cosets=7
  good=24700 checked=37694 best_cosets=7
  good=24750 checked=37760 best_cosets=7
  good=24800 checked=37829 best_cosets=7
  good=24850 checked=37894 best_cosets=7
  good=24900 checked=37950 best_cosets=7
  good=24950 checked=38009 best_cosets=7
  good=25000 checked=38086 best_cosets=7
  good=25050 checked=38151 best_cosets=7
  good=25100 checked=38213 best_cosets=7
  good=25150 checked=38275 best_cosets=7
  good=25200 checked=38334 best_cosets=7
  good=25250 checked=38397 best_cosets=7
  good=25300 checked=38462 best_cosets=7
  good=25350 checked=38533 best_cosets=7
  good=25400 checked=38596 best_cosets=7
  good=25450 checked=38651 best_cosets=7
  good=25500 checked=38716 best_cosets=7
  good=25550 checked=38785 best_cosets=7
  good=25600 checked=38853 best_cosets=7
  good=25650 checked=38913 best_cosets=7
  good=25700 checked=38972 best_cosets=7
  good=25750 checked=39031 best_cosets=7
  good=25800 checked=39108 best_cosets=7
  good=25850 checked=39179 best_cosets=7
  good=25900 checked=39241 best_cosets=7
  good=25950 checked=39300 best_cosets=7
  good=26000 checked=39359 best_cosets=7
  good=26050 checked=39424 best_cosets=7
  good=26100 checked=39493 best_cosets=7
  good=26150 checked=39571 best_cosets=7
  good=26200 checked=39630 best_cosets=7
  good=26250 checked=39686 best_cosets=7
  good=26300 checked=39754 best_cosets=7
  good=26350 checked=39822 best_cosets=7
  good=26400 checked=39893 best_cosets=7
  good=26450 checked=39958 best_cosets=7
  good=26500 checked=40011 best_cosets=7
  good=26550 checked=40076 best_cosets=7
  good=26600 checked=40153 best_cosets=7
  good=26650 checked=40220 best_cosets=7
  good=26700 checked=40282 best_cosets=7
  good=26750 checked=40341 best_cosets=7
  good=26800 checked=40400 best_cosets=7
  good=26850 checked=40478 best_cosets=7
  good=26900 checked=40546 best_cosets=7
  good=26950 checked=40610 best_cosets=7
  good=27000 checked=40669 best_cosets=7
  good=27050 checked=40728 best_cosets=7
  good=27100 checked=40793 best_cosets=7
  good=27150 checked=40859 best_cosets=7
  good=27200 checked=40932 best_cosets=7
  good=27250 checked=40997 best_cosets=7
  good=27300 checked=41057 best_cosets=7
  good=27350 checked=41121 best_cosets=7
  good=27400 checked=41190 best_cosets=7
  good=27450 checked=41261 best_cosets=7
  good=27500 checked=41320 best_cosets=7
  good=27550 checked=41380 best_cosets=7
  good=27600 checked=41445 best_cosets=7
  good=27650 checked=41521 best_cosets=7
  good=27700 checked=41589 best_cosets=7
  good=27750 checked=41651 best_cosets=7
  good=27800 checked=41710 best_cosets=7
  good=27850 checked=41769 best_cosets=7
  good=27900 checked=41845 best_cosets=7
  good=27950 checked=41911 best_cosets=7
  good=28000 checked=41982 best_cosets=7
  good=28050 checked=42041 best_cosets=7
  good=28100 checked=42100 best_cosets=7
  good=28150 checked=42168 best_cosets=7
  good=28200 checked=42235 best_cosets=7
  good=28250 checked=42304 best_cosets=7
  good=28300 checked=42372 best_cosets=7
  good=28350 checked=42431 best_cosets=7
  good=28400 checked=42495 best_cosets=7
  good=28450 checked=42564 best_cosets=7
  good=28500 checked=42635 best_cosets=7
  good=28550 checked=42694 best_cosets=7
  good=28600 checked=42756 best_cosets=7
  good=28650 checked=42821 best_cosets=7
  good=28700 checked=42895 best_cosets=7
  good=28750 checked=42963 best_cosets=7
  good=28800 checked=43025 best_cosets=7
  good=28850 checked=43084 best_cosets=7
  good=28900 checked=43146 best_cosets=7
  good=28950 checked=43222 best_cosets=7
  good=29000 checked=43285 best_cosets=7
  good=29050 checked=43355 best_cosets=7
  good=29100 checked=43415 best_cosets=7
  good=29150 checked=43474 best_cosets=7
  good=29200 checked=43548 best_cosets=7
  good=29250 checked=43609 best_cosets=7
  good=29300 checked=43678 best_cosets=7
  good=29350 checked=43743 best_cosets=7
  good=29400 checked=43805 best_cosets=7
  good=29450 checked=43871 best_cosets=7
  good=29500 checked=43938 best_cosets=7
  good=29550 checked=44009 best_cosets=7
  good=29600 checked=44068 best_cosets=7
  good=29650 checked=44136 best_cosets=7
  good=29700 checked=44195 best_cosets=7
  good=29750 checked=44269 best_cosets=7
  good=29800 checked=44337 best_cosets=7
  good=29850 checked=44399 best_cosets=7
  good=29900 checked=44458 best_cosets=7
  good=29950 checked=44523 best_cosets=7
  good=30000 checked=44596 best_cosets=7
  good=30050 checked=44659 best_cosets=7
  good=30100 checked=44730 best_cosets=7
  good=30150 checked=44789 best_cosets=7
  good=30200 checked=44848 best_cosets=7
  good=30250 checked=44922 best_cosets=7
  good=30300 checked=44986 best_cosets=7
  good=30350 checked=45052 best_cosets=7
  good=30400 checked=45117 best_cosets=7
  good=30450 checked=45179 best_cosets=7
  good=30500 checked=45247 best_cosets=7
  good=30550 checked=45312 best_cosets=7
  good=30600 checked=45383 best_cosets=7
  good=30650 checked=45442 best_cosets=7
  good=30700 checked=45510 best_cosets=7
  good=30750 checked=45569 best_cosets=7
  good=30800 checked=45643 best_cosets=7
  good=30850 checked=45707 best_cosets=7
  good=30900 checked=45770 best_cosets=7
  good=30950 checked=45834 best_cosets=7
  good=31000 checked=45897 best_cosets=7
  good=31050 checked=45961 best_cosets=7
  good=31100 checked=46027 best_cosets=7
  good=31150 checked=46087 best_cosets=7
  good=31200 checked=46155 best_cosets=7
  good=31250 checked=46214 best_cosets=7
  good=31300 checked=46286 best_cosets=7
  good=31350 checked=46345 best_cosets=7
  good=31400 checked=46415 best_cosets=7
  good=31450 checked=46474 best_cosets=7
  good=31500 checked=46542 best_cosets=7
  good=31550 checked=46603 best_cosets=7
  good=31600 checked=46674 best_cosets=7
  good=31650 checked=46739 best_cosets=7
  good=31700 checked=46804 best_cosets=7
  good=31750 checked=46872 best_cosets=7
  good=31800 checked=46931 best_cosets=7
  good=31850 checked=47004 best_cosets=7
  good=31900 checked=47064 best_cosets=7
  good=31950 checked=47132 best_cosets=7
  good=32000 checked=47194 best_cosets=7
  good=32050 checked=47259 best_cosets=7
  good=32100 checked=47327 best_cosets=7
  good=32150 checked=47394 best_cosets=7
  good=32200 checked=47456 best_cosets=7
  good=32250 checked=47518 best_cosets=7
  good=32300 checked=47583 best_cosets=7
  good=32350 checked=47656 best_cosets=7
  good=32400 checked=47715 best_cosets=7
  good=32450 checked=47784 best_cosets=7
  good=32500 checked=47843 best_cosets=7
  good=32550 checked=47911 best_cosets=7
  good=32600 checked=47970 best_cosets=7
  good=32650 checked=48042 best_cosets=7
  good=32700 checked=48101 best_cosets=7
  good=32750 checked=48165 best_cosets=7
  good=32800 checked=48233 best_cosets=7
  good=32850 checked=48293 best_cosets=7
  good=32900 checked=48352 best_cosets=7
  good=32950 checked=48417 best_cosets=7
  good=33000 checked=48481 best_cosets=7
  good=33050 checked=48540 best_cosets=7
  good=33100 checked=48605 best_cosets=7
  good=33150 checked=48673 best_cosets=7
  good=33200 checked=48734 best_cosets=7
  good=33250 checked=48802 best_cosets=7
  good=33300 checked=48865 best_cosets=7
  good=33350 checked=48930 best_cosets=7
  good=33400 checked=48989 best_cosets=7
  good=33450 checked=49060 best_cosets=7
  good=33500 checked=49123 best_cosets=7
  good=33550 checked=49188 best_cosets=7
  good=33600 checked=49253 best_cosets=7
  good=33650 checked=49318 best_cosets=7
  good=33700 checked=49383 best_cosets=7
  good=33750 checked=49453 best_cosets=7
  good=33800 checked=49516 best_cosets=7
  good=33850 checked=49575 best_cosets=7
  good=33900 checked=49643 best_cosets=7
  good=33950 checked=49714 best_cosets=7
  good=34000 checked=49773 best_cosets=7
  good=34050 checked=49845 best_cosets=7
  good=34100 checked=49904 best_cosets=7
  good=34150 checked=49969 best_cosets=7
  good=34200 checked=50028 best_cosets=7
  good=34250 checked=50100 best_cosets=7
  good=34300 checked=50160 best_cosets=7
  good=34350 checked=50227 best_cosets=7
  good=34400 checked=50294 best_cosets=7
  good=34450 checked=50353 best_cosets=7
  good=34500 checked=50414 best_cosets=7
  good=34550 checked=50481 best_cosets=7
  good=34600 checked=50541 best_cosets=7
  good=34650 checked=50600 best_cosets=7
  good=34700 checked=50659 best_cosets=7
  good=34750 checked=50726 best_cosets=7
  good=34800 checked=50786 best_cosets=7
  good=34850 checked=50845 best_cosets=7
  good=34900 checked=50904 best_cosets=7
  good=34950 checked=50982 best_cosets=7
  good=35000 checked=51043 best_cosets=7
  good=35050 checked=51104 best_cosets=7
  good=35100 checked=51169 best_cosets=7
  good=35150 checked=51229 best_cosets=7
  good=35200 checked=51294 best_cosets=7
  good=35250 checked=51374 best_cosets=7
  good=35300 checked=51433 best_cosets=7
  good=35350 checked=51492 best_cosets=7
  good=35400 checked=51557 best_cosets=7
  good=35450 checked=51621 best_cosets=7
  good=35500 checked=51683 best_cosets=7
  good=35550 checked=51748 best_cosets=7
  good=35600 checked=51811 best_cosets=7
  good=35650 checked=51870 best_cosets=7
  good=35700 checked=51929 best_cosets=7
  good=35750 checked=51998 best_cosets=7
  good=35800 checked=52062 best_cosets=7
  good=35850 checked=52121 best_cosets=7
  good=35900 checked=52182 best_cosets=7
  good=35950 checked=52245 best_cosets=7
  good=36000 checked=52313 best_cosets=7
  good=36050 checked=52393 best_cosets=7
  good=36100 checked=52452 best_cosets=7
  good=36150 checked=52511 best_cosets=7
  good=36200 checked=52570 best_cosets=7
  good=36250 checked=52642 best_cosets=7
  good=36300 checked=52707 best_cosets=7
  good=36350 checked=52771 best_cosets=7
  good=36400 checked=52835 best_cosets=7
  good=36450 checked=52895 best_cosets=7
  good=36500 checked=52957 best_cosets=7
  good=36550 checked=53024 best_cosets=7
  good=36600 checked=53090 best_cosets=7
  good=36650 checked=53152 best_cosets=7
  good=36700 checked=53213 best_cosets=7
  good=36750 checked=53282 best_cosets=7
  good=36800 checked=53343 best_cosets=7
  good=36850 checked=53419 best_cosets=7
  good=36900 checked=53481 best_cosets=7
  good=36950 checked=53540 best_cosets=7
  good=37000 checked=53599 best_cosets=7
  good=37050 checked=53670 best_cosets=7
  good=37100 checked=53741 best_cosets=7
  good=37150 checked=53808 best_cosets=7
  good=37200 checked=53871 best_cosets=7
  good=37250 checked=53930 best_cosets=7
  good=37300 checked=53992 best_cosets=7
  good=37350 checked=54068 best_cosets=7
  good=37400 checked=54127 best_cosets=7
  good=37450 checked=54191 best_cosets=7
  good=37500 checked=54256 best_cosets=7
  good=37550 checked=54319 best_cosets=7
  good=37600 checked=54382 best_cosets=7
  good=37650 checked=54454 best_cosets=7
  good=37700 checked=54516 best_cosets=7
  good=37750 checked=54575 best_cosets=7
  good=37800 checked=54637 best_cosets=7
  good=37850 checked=54708 best_cosets=7
  good=37900 checked=54782 best_cosets=7
  good=37950 checked=54847 best_cosets=7
  good=38000 checked=54906 best_cosets=7
  good=38050 checked=54965 best_cosets=7
  good=38100 checked=55027 best_cosets=7
  good=38150 checked=55105 best_cosets=7
  good=38200 checked=55167 best_cosets=7
  good=38250 checked=55234 best_cosets=7
  good=38300 checked=55294 best_cosets=7
  good=38350 checked=55356 best_cosets=7
  good=38400 checked=55424 best_cosets=7
  good=38450 checked=55492 best_cosets=7
  good=38500 checked=55557 best_cosets=7
  good=38550 checked=55621 best_cosets=7
  good=38600 checked=55684 best_cosets=7
  good=38650 checked=55750 best_cosets=7
  good=38700 checked=55823 best_cosets=7
  good=38750 checked=55888 best_cosets=7
  good=38800 checked=55947 best_cosets=7
  good=38850 checked=56009 best_cosets=7
  good=38900 checked=56071 best_cosets=7
  good=38950 checked=56151 best_cosets=7
  good=39000 checked=56219 best_cosets=7
  good=39050 checked=56278 best_cosets=7
  good=39100 checked=56337 best_cosets=7
  good=39150 checked=56399 best_cosets=7
  good=39200 checked=56476 best_cosets=7
  good=39250 checked=56541 best_cosets=7
  good=39300 checked=56608 best_cosets=7
  good=39350 checked=56668 best_cosets=7
  good=39400 checked=56730 best_cosets=7
  good=39450 checked=56798 best_cosets=7
  good=39500 checked=56866 best_cosets=7
  good=39550 checked=56931 best_cosets=7
  good=39600 checked=56998 best_cosets=7
  good=39650 checked=57058 best_cosets=7
  good=39700 checked=57126 best_cosets=7
  good=39750 checked=57197 best_cosets=7
  good=39800 checked=57262 best_cosets=7
  good=39850 checked=57321 best_cosets=7
  good=39900 checked=57383 best_cosets=7
  good=39950 checked=57446 best_cosets=7
  good=40000 checked=57528 best_cosets=7
  good=40050 checked=57593 best_cosets=7
  good=40100 checked=57652 best_cosets=7
  good=40150 checked=57711 best_cosets=7
  good=40200 checked=57773 best_cosets=7
  good=40250 checked=57837 best_cosets=7
  good=40300 checked=57902 best_cosets=7
  good=40350 checked=57964 best_cosets=7
  good=40400 checked=58029 best_cosets=7
  good=40450 checked=58086 best_cosets=7
  good=40500 checked=58158 best_cosets=7
  good=40550 checked=58224 best_cosets=7
  good=40600 checked=58289 best_cosets=7
  good=40650 checked=58348 best_cosets=7
  good=40700 checked=58410 best_cosets=7
  good=40750 checked=58469 best_cosets=7
  good=40800 checked=58555 best_cosets=7
  good=40850 checked=58620 best_cosets=7
  good=40900 checked=58679 best_cosets=7
  good=40950 checked=58738 best_cosets=7
  good=41000 checked=58800 best_cosets=7
  good=41050 checked=58864 best_cosets=7
  good=41100 checked=58934 best_cosets=7
  good=41150 checked=58995 best_cosets=7
  good=41200 checked=59061 best_cosets=7
  good=41250 checked=59117 best_cosets=7
  good=41300 checked=59187 best_cosets=7
  good=41350 checked=59251 best_cosets=7
  good=41400 checked=59316 best_cosets=7
  good=41450 checked=59375 best_cosets=7
  good=41500 checked=59436 best_cosets=7
  good=41550 checked=59496 best_cosets=7
  good=41600 checked=59582 best_cosets=7
  good=41650 checked=59646 best_cosets=7
  good=41700 checked=59706 best_cosets=7
  good=41750 checked=59765 best_cosets=7
  good=41800 checked=59827 best_cosets=7
  good=41850 checked=59894 best_cosets=7
  good=41900 checked=59968 best_cosets=7
  good=41950 checked=60029 best_cosets=7
  good=42000 checked=60092 best_cosets=7
  good=42050 checked=60147 best_cosets=7
  good=42100 checked=60216 best_cosets=7
  good=42150 checked=60278 best_cosets=7
  good=42200 checked=60343 best_cosets=7
  good=42250 checked=60402 best_cosets=7
  good=42300 checked=60463 best_cosets=7
  good=42350 checked=60523 best_cosets=7
  good=42400 checked=60605 best_cosets=7
  good=42450 checked=60666 best_cosets=7
  good=42500 checked=60729 best_cosets=7
  good=42550 checked=60788 best_cosets=7
  good=42600 checked=60850 best_cosets=7
  good=42650 checked=60918 best_cosets=7
  good=42700 checked=60995 best_cosets=7
  good=42750 checked=61053 best_cosets=7
  good=42800 checked=61119 best_cosets=7
  good=42850 checked=61172 best_cosets=7
  good=42900 checked=61245 best_cosets=7
  good=42950 checked=61309 best_cosets=7
  good=43000 checked=61374 best_cosets=7
  good=43050 checked=61433 best_cosets=7
  good=43100 checked=61494 best_cosets=7
  good=43150 checked=61554 best_cosets=7
  good=43200 checked=61629 best_cosets=7
  good=43250 checked=61691 best_cosets=7
  good=43300 checked=61756 best_cosets=7
  good=43350 checked=61815 best_cosets=7
  good=43400 checked=61874 best_cosets=7
  good=43450 checked=61945 best_cosets=7
  good=43500 checked=62022 best_cosets=7
  good=43550 checked=62080 best_cosets=7
  good=43600 checked=62145 best_cosets=7
  good=43650 checked=62199 best_cosets=7
  good=43700 checked=62274 best_cosets=7
  good=43750 checked=62340 best_cosets=7
  good=43800 checked=62405 best_cosets=7
  good=43850 checked=62464 best_cosets=7
  good=43900 checked=62526 best_cosets=7
  good=43950 checked=62590 best_cosets=7
  good=44000 checked=62670 best_cosets=7
  good=44050 checked=62736 best_cosets=7
  good=44100 checked=62795 best_cosets=7
  good=44150 checked=62854 best_cosets=7
  good=44200 checked=62916 best_cosets=7
  good=44250 checked=62991 best_cosets=7
  good=44300 checked=63061 best_cosets=7
  good=44350 checked=63125 best_cosets=7
  good=44400 checked=63185 best_cosets=7
  good=44450 checked=63238 best_cosets=7
  good=44500 checked=63315 best_cosets=7
  good=44550 checked=63392 best_cosets=7
  good=44600 checked=63448 best_cosets=7
  good=44650 checked=63515 best_cosets=7
  good=44700 checked=63569 best_cosets=7
  good=44750 checked=63643 best_cosets=7
  good=44800 checked=63717 best_cosets=7
  good=44850 checked=63779 best_cosets=7
  good=44900 checked=63838 best_cosets=7
  good=44950 checked=63900 best_cosets=7
  good=45000 checked=63965 best_cosets=7
  good=45050 checked=64045 best_cosets=7
  good=45100 checked=64110 best_cosets=7
  good=45150 checked=64169 best_cosets=7
  good=45200 checked=64228 best_cosets=7
  good=45250 checked=64290 best_cosets=7
  good=45300 checked=64367 best_cosets=7
  good=45350 checked=64435 best_cosets=7
  good=45400 checked=64500 best_cosets=7
  good=45450 checked=64559 best_cosets=7
  good=45500 checked=64613 best_cosets=7
  good=45550 checked=64692 best_cosets=7
  good=45600 checked=64766 best_cosets=7
  good=45650 checked=64824 best_cosets=7
  good=45700 checked=64889 best_cosets=7
  good=45750 checked=64946 best_cosets=7
  good=45800 checked=65013 best_cosets=7
  good=45850 checked=65090 best_cosets=7
  good=45900 checked=65147 best_cosets=7
  good=45950 checked=65206 best_cosets=7
  good=46000 checked=65267 best_cosets=7
  good=46050 checked=65336 best_cosets=7
  good=46100 checked=65408 best_cosets=7
  good=46150 checked=65475 best_cosets=7
  good=46200 checked=65535 best_cosets=7
  good=46250 checked=65594 best_cosets=7
  good=46300 checked=65653 best_cosets=7
  good=46350 checked=65736 best_cosets=7
  good=46400 checked=65801 best_cosets=7
  good=46450 checked=65862 best_cosets=7
  good=46500 checked=65925 best_cosets=7
  good=46550 checked=65981 best_cosets=7
  good=46600 checked=66053 best_cosets=7
  good=46650 checked=66128 best_cosets=7
  good=46700 checked=66184 best_cosets=7
  good=46750 checked=66245 best_cosets=7
  good=46800 checked=66308 best_cosets=7
  good=46850 checked=66374 best_cosets=7
  good=46900 checked=66446 best_cosets=7
  good=46950 checked=66511 best_cosets=7
  good=47000 checked=66570 best_cosets=7
  good=47050 checked=66629 best_cosets=7
  good=47100 checked=66697 best_cosets=7
  good=47150 checked=66771 best_cosets=7
  good=47200 checked=66836 best_cosets=7
  good=47250 checked=66901 best_cosets=7
  good=47300 checked=66960 best_cosets=7
  good=47350 checked=67016 best_cosets=7
  good=47400 checked=67100 best_cosets=7
  good=47450 checked=67165 best_cosets=7
  good=47500 checked=67221 best_cosets=7
  good=47550 checked=67288 best_cosets=7
  good=47600 checked=67348 best_cosets=7
  good=47650 checked=67407 best_cosets=7
  good=47700 checked=67466 best_cosets=7
  good=47750 checked=67533 best_cosets=7
  good=47800 checked=67593 best_cosets=7
  good=47850 checked=67652 best_cosets=7
  good=47900 checked=67711 best_cosets=7
  good=47950 checked=67789 best_cosets=7
  good=48000 checked=67850 best_cosets=7
  good=48050 checked=67911 best_cosets=7
  good=48100 checked=67976 best_cosets=7
  good=48150 checked=68036 best_cosets=7
  good=48200 checked=68101 best_cosets=7
  good=48250 checked=68181 best_cosets=7
  good=48300 checked=68240 best_cosets=7
  good=48350 checked=68299 best_cosets=7
  good=48400 checked=68364 best_cosets=7
  good=48450 checked=68428 best_cosets=7
  good=48500 checked=68490 best_cosets=7
  good=48550 checked=68555 best_cosets=7
  good=48600 checked=68618 best_cosets=7
  good=48650 checked=68677 best_cosets=7
  good=48700 checked=68736 best_cosets=7
  good=48750 checked=68805 best_cosets=7
  good=48800 checked=68869 best_cosets=7
  good=48850 checked=68928 best_cosets=7
  good=48900 checked=68989 best_cosets=7
  good=48950 checked=69055 best_cosets=7
  good=49000 checked=69120 best_cosets=7
  good=49050 checked=69197 best_cosets=7
  good=49100 checked=69259 best_cosets=7
  good=49150 checked=69318 best_cosets=7
  good=49200 checked=69377 best_cosets=7
  good=49250 checked=69449 best_cosets=7
  good=49300 checked=69514 best_cosets=7
  good=49350 checked=69576 best_cosets=7
  good=49400 checked=69642 best_cosets=7
  good=49450 checked=69702 best_cosets=7
  good=49500 checked=69758 best_cosets=7
  good=49550 checked=69831 best_cosets=7
  good=49600 checked=69903 best_cosets=7
  good=49650 checked=69959 best_cosets=7
  good=49700 checked=70020 best_cosets=7
  good=49750 checked=70083 best_cosets=7
  good=49800 checked=70150 best_cosets=7
  good=49850 checked=70229 best_cosets=7
  good=49900 checked=70288 best_cosets=7
  good=49950 checked=70347 best_cosets=7
  good=50000 checked=70406 best_cosets=7
  good=50050 checked=70477 best_cosets=7
  good=50100 checked=70548 best_cosets=7
  good=50150 checked=70615 best_cosets=7
  good=50200 checked=70678 best_cosets=7
  good=50250 checked=70737 best_cosets=7
  good=50300 checked=70793 best_cosets=7
  good=50350 checked=70875 best_cosets=7
  good=50400 checked=70940 best_cosets=7
  good=50450 checked=70998 best_cosets=7
  good=50500 checked=71063 best_cosets=7
  good=50550 checked=71120 best_cosets=7
  good=50600 checked=71189 best_cosets=7
  good=50650 checked=71267 best_cosets=7
  good=50700 checked=71323 best_cosets=7
  good=50750 checked=71382 best_cosets=7
  good=50800 checked=71447 best_cosets=7
  good=50850 checked=71515 best_cosets=7
  good=50900 checked=71589 best_cosets=7
  good=50950 checked=71654 best_cosets=7
  good=51000 checked=71713 best_cosets=7
  good=51050 checked=71772 best_cosets=7
  good=51100 checked=71834 best_cosets=7
  good=51150 checked=71912 best_cosets=7
  good=51200 checked=71977 best_cosets=7
  good=51250 checked=72041 best_cosets=7
  good=51300 checked=72101 best_cosets=7
  good=51350 checked=72154 best_cosets=7
  good=51400 checked=72231 best_cosets=7
  good=51450 checked=72308 best_cosets=7
  good=51500 checked=72364 best_cosets=7
  good=51550 checked=72428 best_cosets=7
  good=51600 checked=72485 best_cosets=7