files / problems / c7-shannon / compute / q2 / coset_exact_log.txt
good=1 sub=701 best_cosets=3 best_total=0 best_res=0 n8=0 n8_unk=0 nres>0=0 t=0.0s good=2 sub=702 best_cosets=3 best_total=0 best_res=0 n8=0 n8_unk=0 nres>0=0 t=0.0s good=3 sub=703 best_cosets=3 best_total=0 best_res=0 n8=0 n8_unk=0 nres>0=0 t=0.0s good=200 sub=928 best_cosets=4 best_total=0 best_res=0 n8=0 n8_unk=0 nres>0=0 t=0.6s good=400 sub=1191 best_cosets=4 best_total=0 best_res=0 n8=0 n8_unk=0 nres>0=0 t=1.1s good=600 sub=1447 best_cosets=4 best_total=0 best_res=0 n8=0 n8_unk=0 nres>0=0 t=1.8s good=800 sub=1654 best_cosets=4 best_total=0 best_res=0 n8=0 n8_unk=0 nres>0=0 t=2.4s good=1000 sub=1917 best_cosets=4 best_total=0 best_res=0 n8=0 n8_unk=0 nres>0=0 t=3.0s good #1192 pack=7 verts=343 residual=0 extra=0 total=343 good=1200 sub=3213 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=31 nres>0=0 t=3.8s good=1400 sub=3452 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=67 nres>0=0 t=4.8s good=1600 sub=3686 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=74 nres>0=0 t=5.3s good=1800 sub=3961 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=84 nres>0=0 t=5.9s good=2000 sub=4232 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=117 nres>0=0 t=6.6s good=2200 sub=4450 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=148 nres>0=0 t=7.5s good=2400 sub=5040 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=152 nres>0=0 t=8.2s good=2600 sub=5307 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=189 nres>0=0 t=9.0s good=2800 sub=5569 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=226 nres>0=0 t=9.9s good=3000 sub=5780 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=226 nres>0=0 t=10.4s good=3200 sub=6059 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=230 nres>0=0 t=10.9s good=3400 sub=6340 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=232 nres>0=0 t=11.4s good=3600 sub=6617 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=240 nres>0=0 t=11.9s good=3800 sub=6822 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=240 nres>0=0 t=12.4s good=4000 sub=7088 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=287 nres>0=0 t=13.3s good=4200 sub=7353 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=308 nres>0=0 t=14.1s good=4400 sub=7601 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=314 nres>0=0 t=14.7s good=4600 sub=7824 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=316 nres>0=0 t=15.2s good=4800 sub=8103 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=320 nres>0=0 t=15.7s good=5000 sub=8376 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=354 nres>0=0 t=16.5s good=5200 sub=8621 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=399 nres>0=0 t=17.5s good=5400 sub=8845 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=436 nres>0=0 t=18.4s good=5600 sub=9122 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=454 nres>0=0 t=19.1s good=5800 sub=9399 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=462 nres>0=0 t=19.6s good=6000 sub=9638 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=464 nres>0=0 t=20.1s good=6200 sub=9866 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=464 nres>0=0 t=20.7s good=6400 sub=10137 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=472 nres>0=0 t=21.3s good=6600 sub=10416 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=476 nres>0=0 t=21.8s good=6800 sub=10649 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=480 nres>0=0 t=22.3s good=7000 sub=10889 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=525 nres>0=0 t=23.3s good=7200 sub=11158 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=581 nres>0=0 t=24.3s good=7400 sub=11435 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=610 nres>0=0 t=25.2s good=7600 sub=11661 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=610 nres>0=0 t=25.7s good=7800 sub=11912 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=618 nres>0=0 t=26.2s good=8000 sub=12179 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=620 nres>0=0 t=26.7s good=8200 sub=12445 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=648 nres>0=0 t=27.5s good=8400 sub=12648 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=672 nres>0=0 t=28.4s good=8600 sub=12919 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=694 nres>0=0 t=29.0s good=8800 sub=13198 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=698 nres>0=0 t=29.5s good=9000 sub=13479 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=700 nres>0=0 t=30.0s good=9200 sub=13691 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=700 nres>0=0 t=30.5s good=9400 sub=13956 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=708 nres>0=0 t=31.0s good=9600 sub=14227 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=747 nres>0=0 t=31.8s good=9800 sub=15174 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=800 nres>0=0 t=32.8s good=10000 sub=15382 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=828 nres>0=0 t=33.8s good=10200 sub=15655 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=850 nres>0=0 t=34.4s good=10400 sub=15930 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=860 nres>0=0 t=35.0s good=10600 sub=16193 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=880 nres>0=0 t=35.6s good=10800 sub=16401 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=911 nres>0=0 t=36.5s good=11000 sub=17698 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=964 nres>0=0 t=37.6s good=11200 sub=17967 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=997 nres>0=0 t=38.4s good=11400 sub=18211 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1004 nres>0=0 t=38.9s good=11600 sub=18451 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1011 nres>0=0 t=39.4s good=11800 sub=18717 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1047 nres>0=0 t=40.3s good=12000 sub=20018 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1102 nres>0=0 t=41.4s good=12200 sub=20259 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1123 nres>0=0 t=42.3s good=12400 sub=20498 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1132 nres>0=0 t=42.9s good=12600 sub=20774 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1142 nres>0=0 t=43.5s good=12800 sub=21049 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1168 nres>0=0 t=44.4s good=13000 sub=21622 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1188 nres>0=0 t=45.3s good=13200 sub=21862 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1237 nres>0=0 t=46.3s good=13400 sub=22134 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1280 nres>0=0 t=47.3s good=13600 sub=22401 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1306 nres>0=0 t=48.2s good=13800 sub=22628 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1316 nres>0=0 t=49.0s good=14000 sub=22890 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1319 nres>0=0 t=49.6s good=14200 sub=23171 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1323 nres>0=0 t=50.3s good=14400 sub=23446 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1334 nres>0=0 t=51.1s good=14600 sub=23683 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1346 nres>0=0 t=51.8s good=14800 sub=23923 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1376 nres>0=0 t=52.8s good=15000 sub=24196 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1390 nres>0=0 t=53.4s good=15200 sub=24469 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1402 nres>0=0 t=54.0s good=15400 sub=24707 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1409 nres>0=0 t=54.6s good=15600 sub=24956 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1411 nres>0=0 t=55.3s good=15800 sub=25233 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1426 nres>0=0 t=56.0s good=16000 sub=25504 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1444 nres>0=0 t=56.8s good=16200 sub=25743 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1453 nres>0=0 t=57.6s good=16400 sub=25991 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1455 nres>0=0 t=58.2s good=16600 sub=26270 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1464 nres>0=0 t=58.9s good=16800 sub=26541 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1471 nres>0=0 t=59.4s good=17000 sub=26794 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1481 nres>0=0 t=60.0s good=17200 sub=27031 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1488 nres>0=0 t=60.6s good=17400 sub=27305 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1493 nres>0=0 t=61.3s good=17600 sub=27582 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1507 nres>0=0 t=62.0s good=17800 sub=27831 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1524 nres>0=0 t=62.8s good=18000 sub=28068 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1532 nres>0=0 t=63.6s good=18200 sub=28340 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1537 nres>0=0 t=64.3s good=18400 sub=28619 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1544 nres>0=0 t=65.0s good=18600 sub=28872 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1552 nres>0=0 t=65.6s good=18800 sub=29100 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1602 nres>0=0 t=66.6s good=19000 sub=29363 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1642 nres>0=0 t=67.6s good=19200 sub=29636 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1668 nres>0=0 t=68.5s good=19400 sub=29894 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1680 nres>0=0 t=69.3s good=19600 sub=30128 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1681 nres>0=0 t=69.9s good=19800 sub=30400 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1685 nres>0=0 t=70.6s good=20000 sub=30678 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1696 nres>0=0 t=71.4s good=20200 sub=30932 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1717 nres>0=0 t=72.2s good=20400 sub=31161 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1740 nres>0=0 t=73.1s good=20600 sub=32111 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1776 nres>0=0 t=74.2s good=20800 sub=32388 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1796 nres>0=0 t=75.0s good=21000 sub=32649 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1807 nres>0=0 t=75.6s good=21200 sub=32876 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1812 nres>0=0 t=76.2s good=21400 sub=33142 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1842 nres>0=0 t=77.1s good=21600 sub=33734 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1856 nres>0=0 t=77.9s good=21800 sub=33979 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1858 nres>0=0 t=78.5s good=22000 sub=34227 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1911 nres>0=0 t=79.5s good=22200 sub=34481 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1926 nres>0=0 t=80.1s good=22400 sub=34747 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1933 nres>0=0 t=80.6s good=22600 sub=35004 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1934 nres>0=0 t=81.1s good=22800 sub=35258 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1936 nres>0=0 t=81.5s good=23000 sub=35518 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1940 nres>0=0 t=82.0s good=23200 sub=35779 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=1965 nres>0=0 t=82.7s good=23400 sub=36028 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2014 nres>0=0 t=83.7s good=23600 sub=36274 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2063 nres>0=0 t=84.6s good=23800 sub=36533 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2096 nres>0=0 t=85.5s good=24000 sub=36787 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2123 nres>0=0 t=86.4s good=24200 sub=37034 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2140 nres>0=0 t=87.2s good=24400 sub=37299 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2143 nres>0=0 t=87.8s good=24600 sub=37568 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2146 nres>0=0 t=88.5s good=24800 sub=37829 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2151 nres>0=0 t=89.1s good=25000 sub=38086 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2169 nres>0=0 t=89.9s good=25200 sub=38334 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2205 nres>0=0 t=90.9s good=25400 sub=38596 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2214 nres>0=0 t=91.5s good=25600 sub=38853 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2223 nres>0=0 t=92.1s good=25800 sub=39108 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2240 nres>0=0 t=92.9s good=26000 sub=39359 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2250 nres>0=0 t=93.5s good=26200 sub=39630 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2254 nres>0=0 t=94.2s good=26400 sub=39893 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2256 nres>0=0 t=94.8s good=26600 sub=40153 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2260 nres>0=0 t=95.5s good=26800 sub=40400 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2270 nres>0=0 t=96.1s good=27000 sub=40669 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2283 nres>0=0 t=96.8s good=27200 sub=40932 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2293 nres>0=0 t=97.5s good=27400 sub=41190 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2294 nres>0=0 t=97.9s good=27600 sub=41445 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2296 nres>0=0 t=98.5s good=27800 sub=41710 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2301 nres>0=0 t=99.2s good=28000 sub=41982 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2305 nres>0=0 t=99.9s good=28200 sub=42235 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2308 nres>0=0 t=100.5s good=28400 sub=42495 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2310 nres>0=0 t=101.2s good=28600 sub=42756 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2313 nres>0=0 t=101.9s good=28800 sub=43025 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2316 nres>0=0 t=102.5s good=29000 sub=43285 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2318 nres>0=0 t=103.1s good=29200 sub=43548 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2320 nres>0=0 t=103.5s good=29400 sub=43805 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2322 nres>0=0 t=104.1s good=29600 sub=44068 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2326 nres>0=0 t=104.8s good=29800 sub=44337 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2330 nres>0=0 t=105.4s good=30000 sub=44596 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2332 nres>0=0 t=106.1s good=30200 sub=44848 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2336 nres>0=0 t=106.8s good=30400 sub=45117 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2338 nres>0=0 t=107.4s good=30600 sub=45383 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2341 nres>0=0 t=108.0s good=30800 sub=45643 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2344 nres>0=0 t=108.7s good=31000 sub=45897 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2352 nres>0=0 t=109.2s good=31200 sub=46155 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2365 nres>0=0 t=109.9s good=31400 sub=46415 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2376 nres>0=0 t=110.7s good=31600 sub=46674 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2386 nres>0=0 t=111.3s good=31800 sub=46931 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2390 nres>0=0 t=112.0s good=32000 sub=47194 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2392 nres>0=0 t=112.6s good=32200 sub=47456 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2397 nres>0=0 t=113.3s good=32400 sub=47715 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2407 nres>0=0 t=113.9s good=32600 sub=47970 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2425 nres>0=0 t=114.7s good=32800 sub=48233 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2463 nres>0=0 t=115.6s good=33000 sub=48481 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2503 nres>0=0 t=116.4s good=33200 sub=48734 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2535 nres>0=0 t=117.4s good=33400 sub=48989 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2552 nres>0=0 t=118.2s good=33600 sub=49253 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2556 nres>0=0 t=118.8s good=33800 sub=49516 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2560 nres>0=0 t=119.5s good=34000 sub=49773 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2563 nres>0=0 t=120.1s good=34200 sub=50028 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2581 nres>0=0 t=121.0s good=34400 sub=50294 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2608 nres>0=0 t=121.8s good=34600 sub=50541 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2624 nres>0=0 t=122.6s good=34800 sub=50786 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2624 nres>0=0 t=123.2s good=35000 sub=51043 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2632 nres>0=0 t=123.7s good=35200 sub=51294 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2635 nres>0=0 t=124.2s good=35400 sub=51557 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2659 nres>0=0 t=124.9s good=35600 sub=51811 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2703 nres>0=0 t=125.9s good=35800 sub=52062 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2752 nres>0=0 t=126.9s good=36000 sub=52313 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2769 nres>0=0 t=127.5s good=36200 sub=52570 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2771 nres>0=0 t=128.0s good=36400 sub=52835 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2780 nres>0=0 t=128.5s good=36600 sub=53090 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2789 nres>0=0 t=129.0s good=36800 sub=53343 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2796 nres>0=0 t=129.6s good=37000 sub=53599 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2803 nres>0=0 t=130.2s good=37200 sub=53871 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2806 nres>0=0 t=130.8s good=37400 sub=54127 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2822 nres>0=0 t=131.6s good=37600 sub=54382 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2837 nres>0=0 t=132.4s good=37800 sub=54637 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2847 nres>0=0 t=133.2s good=38000 sub=54906 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2850 nres>0=0 t=133.8s good=38200 sub=55167 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2861 nres>0=0 t=134.4s good=38400 sub=55424 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2863 nres>0=0 t=134.9s good=38600 sub=55684 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2865 nres>0=0 t=135.4s good=38800 sub=55947 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2870 nres>0=0 t=136.0s good=39000 sub=56219 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2871 nres>0=0 t=136.7s good=39200 sub=56476 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2875 nres>0=0 t=137.3s good=39400 sub=56730 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2877 nres>0=0 t=138.0s good=39600 sub=56998 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2882 nres>0=0 t=138.7s good=39800 sub=57262 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2883 nres>0=0 t=139.3s good=40000 sub=57528 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2886 nres>0=0 t=140.0s good=40200 sub=57773 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2918 nres>0=0 t=140.8s good=40400 sub=58029 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2958 nres>0=0 t=141.8s good=40600 sub=58289 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2972 nres>0=0 t=142.6s good=40800 sub=58555 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2977 nres>0=0 t=143.3s good=41000 sub=58800 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=2999 nres>0=0 t=144.2s good=41200 sub=59061 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3027 nres>0=0 t=145.1s good=41400 sub=59316 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3057 nres>0=0 t=146.2s good=41600 sub=59582 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3065 nres>0=0 t=146.9s good=41800 sub=59827 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3076 nres>0=0 t=147.6s good=42000 sub=60092 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3098 nres>0=0 t=148.4s good=42200 sub=60343 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3148 nres>0=0 t=149.5s good=42400 sub=60605 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3164 nres>0=0 t=150.3s good=42600 sub=60850 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3173 nres>0=0 t=151.0s good=42800 sub=61119 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3181 nres>0=0 t=151.8s good=43000 sub=61374 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3217 nres>0=0 t=152.8s good=43200 sub=61629 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3243 nres>0=0 t=153.8s good=43400 sub=61874 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3261 nres>0=0 t=154.6s good=43600 sub=62145 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3267 nres>0=0 t=155.3s good=43800 sub=62405 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3283 nres>0=0 t=156.1s good=44000 sub=62670 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3285 nres>0=0 t=156.6s good=44200 sub=62916 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3288 nres>0=0 t=157.1s good=44400 sub=63185 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3292 nres>0=0 t=157.8s good=44600 sub=63448 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3294 nres>0=0 t=158.4s good=44800 sub=63717 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3297 nres>0=0 t=159.1s good=45000 sub=63965 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3300 nres>0=0 t=159.8s good=45200 sub=64228 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3304 nres>0=0 t=160.4s good=45400 sub=64500 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3306 nres>0=0 t=161.1s good=45600 sub=64766 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3308 nres>0=0 t=161.7s good=45800 sub=65013 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3315 nres>0=0 t=162.2s good=46000 sub=65267 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3321 nres>0=0 t=162.7s good=46200 sub=65535 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3332 nres>0=0 t=163.3s good=46400 sub=65801 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3334 nres>0=0 t=164.0s good=46600 sub=66053 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3347 nres>0=0 t=164.7s good=46800 sub=66308 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3365 nres>0=0 t=165.6s good=47000 sub=66570 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3376 nres>0=0 t=166.3s good=47200 sub=66836 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3379 nres>0=0 t=167.0s good=47400 sub=67100 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3387 nres>0=0 t=167.6s good=47600 sub=67348 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3392 nres>0=0 t=168.2s good=47800 sub=67593 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3392 nres>0=0 t=168.8s good=48000 sub=67850 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3400 nres>0=0 t=169.3s good=48200 sub=68101 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3403 nres>0=0 t=169.8s good=48400 sub=68364 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3427 nres>0=0 t=170.4s good=48600 sub=68618 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3471 nres>0=0 t=171.4s good=48800 sub=68869 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3521 nres>0=0 t=172.5s good=49000 sub=69120 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3537 nres>0=0 t=173.1s good=49200 sub=69377 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3539 nres>0=0 t=173.6s good=49400 sub=69642 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3548 nres>0=0 t=174.1s good=49600 sub=69903 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3554 nres>0=0 t=174.6s good=49800 sub=70150 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3564 nres>0=0 t=175.1s good=50000 sub=70406 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3571 nres>0=0 t=175.8s good=50200 sub=70678 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3574 nres>0=0 t=176.4s good=50400 sub=70940 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3589 nres>0=0 t=177.2s good=50600 sub=71189 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3605 nres>0=0 t=178.0s good=50800 sub=71447 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3615 nres>0=0 t=178.8s good=51000 sub=71713 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3618 nres>0=0 t=179.4s good=51200 sub=71977 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3629 nres>0=0 t=180.0s good=51400 sub=72231 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3631 nres>0=0 t=180.5s good=51600 sub=72485 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3634 nres>0=0 t=181.0s good=51800 sub=72754 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3638 nres>0=0 t=181.6s good=52000 sub=73026 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3639 nres>0=0 t=182.3s good=52200 sub=73283 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3643 nres>0=0 t=182.9s good=52400 sub=73528 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3645 nres>0=0 t=183.6s good=52600 sub=73805 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3650 nres>0=0 t=184.3s good=52800 sub=74069 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3652 nres>0=0 t=184.9s good=53000 sub=74335 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3654 nres>0=0 t=185.5s good=53200 sub=74580 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3686 nres>0=0 t=186.4s good=53400 sub=74836 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3725 nres>0=0 t=187.3s good=53600 sub=75096 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3741 nres>0=0 t=188.2s good=53800 sub=75362 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3745 nres>0=0 t=188.8s good=54000 sub=75607 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3767 nres>0=0 t=189.7s good=54200 sub=75868 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3793 nres>0=0 t=190.7s good=54400 sub=76123 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3829 nres>0=0 t=191.7s good=54600 sub=76389 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3833 nres>0=0 t=192.4s good=54800 sub=76634 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3844 nres>0=0 t=193.2s good=55000 sub=76899 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3866 nres>0=0 t=193.9s good=55200 sub=77150 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3914 nres>0=0 t=195.0s good=55400 sub=77412 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3932 nres>0=0 t=195.8s good=55600 sub=77657 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3941 nres>0=0 t=196.5s good=55800 sub=77926 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3951 nres>0=0 t=197.2s good=56000 sub=78181 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=3981 nres>0=0 t=198.3s good=56200 sub=78436 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4010 nres>0=0 t=199.2s good=56400 sub=78684 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4029 nres>0=0 t=200.1s good=56600 sub=78952 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4036 nres>0=0 t=200.8s good=56800 sub=79212 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4050 nres>0=0 t=201.6s good=57000 sub=79477 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4053 nres>0=0 t=202.0s good=57200 sub=79723 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4056 nres>0=0 t=202.6s good=57400 sub=79992 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4061 nres>0=0 t=203.3s good=57600 sub=80255 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4062 nres>0=0 t=203.9s good=57800 sub=80521 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4065 nres>0=0 t=204.5s good=58000 sub=80772 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4068 nres>0=0 t=205.2s good=58200 sub=81035 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4073 nres>0=0 t=205.9s good=58400 sub=81307 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4074 nres>0=0 t=206.5s good=58600 sub=81564 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4077 nres>0=0 t=207.1s good=58800 sub=81820 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4083 nres>0=0 t=207.7s good=59000 sub=82074 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4089 nres>0=0 t=208.2s good=59200 sub=82342 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4100 nres>0=0 t=208.8s good=59400 sub=82605 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4103 nres>0=0 t=209.4s good=59600 sub=82860 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4115 nres>0=0 t=210.2s good=59800 sub=83118 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4133 nres>0=0 t=211.0s good=60000 sub=83377 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4144 nres>0=0 t=211.8s good=60200 sub=83640 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4147 nres>0=0 t=212.5s good=60400 sub=83907 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4155 nres>0=0 t=213.0s good=60600 sub=84155 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4160 nres>0=0 t=213.6s good=60800 sub=84400 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4162 nres>0=0 t=214.2s good=61000 sub=84648 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4215 nres>0=0 t=215.2s good=61200 sub=84902 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4230 nres>0=0 t=215.9s good=61400 sub=85165 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4236 nres>0=0 t=216.4s good=61600 sub=85425 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4238 nres>0=0 t=216.9s good=61800 sub=85679 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4240 nres>0=0 t=217.3s good=62000 sub=85939 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4244 nres>0=0 t=217.8s good=62200 sub=86202 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4269 nres>0=0 t=218.5s good=62400 sub=86449 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4318 nres>0=0 t=219.5s good=62600 sub=86700 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4366 nres>0=0 t=220.4s good=62800 sub=86948 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4403 nres>0=0 t=221.3s good=63000 sub=87203 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4427 nres>0=0 t=222.2s good=63200 sub=87462 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4444 nres>0=0 t=223.0s good=63400 sub=87723 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4447 nres>0=0 t=223.7s good=63600 sub=87983 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4450 nres>0=0 t=224.3s good=63800 sub=88250 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4455 nres>0=0 t=225.0s good=64000 sub=88507 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4473 nres>0=0 t=225.8s good=64200 sub=88761 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4507 nres>0=0 t=226.8s good=64400 sub=89008 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4518 nres>0=0 t=227.4s good=64600 sub=89269 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4527 nres>0=0 t=228.0s good=64800 sub=89529 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4544 nres>0=0 t=228.8s good=65000 sub=89783 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4553 nres>0=0 t=229.4s good=65200 sub=90042 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4558 nres>0=0 t=230.0s good=65400 sub=90314 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4560 nres>0=0 t=230.7s good=65600 sub=90574 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4564 nres>0=0 t=231.4s good=65800 sub=90830 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4573 nres>0=0 t=232.0s good=66000 sub=91090 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4587 nres>0=0 t=232.7s good=66200 sub=91351 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4596 nres>0=0 t=233.4s good=66400 sub=91611 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4598 nres>0=0 t=233.8s good=66600 sub=91868 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4601 nres>0=0 t=234.5s good=66800 sub=92131 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4605 nres>0=0 t=235.1s good=67000 sub=92400 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4608 nres>0=0 t=235.8s good=67200 sub=92656 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4612 nres>0=0 t=236.5s good=67400 sub=92916 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4614 nres>0=0 t=237.1s good=67600 sub=93180 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4617 nres>0=0 t=237.8s good=67800 sub=93446 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4620 nres>0=0 t=238.4s good=68000 sub=93708 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4622 nres>0=0 t=239.0s good=68200 sub=93965 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4624 nres>0=0 t=239.5s good=68400 sub=94226 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4626 nres>0=0 t=240.1s good=68600 sub=94489 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4630 nres>0=0 t=240.8s good=68800 sub=94758 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4634 nres>0=0 t=241.4s good=69000 sub=95017 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4636 nres>0=0 t=242.1s good=69200 sub=95269 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4639 nres>0=0 t=242.8s good=69400 sub=95541 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4642 nres>0=0 t=243.4s good=69600 sub=95804 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4646 nres>0=0 t=244.1s good=69800 sub=96064 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4648 nres>0=0 t=244.7s good=70000 sub=96309 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4657 nres>0=0 t=245.2s good=70200 sub=96576 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4669 nres>0=0 t=245.9s good=70400 sub=96839 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4680 nres>0=0 t=246.6s good=70600 sub=97095 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4690 nres>0=0 t=247.2s good=70800 sub=97343 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4693 nres>0=0 t=247.9s good=71000 sub=97615 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4696 nres>0=0 t=248.6s good=71200 sub=97886 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4700 nres>0=0 t=249.2s good=71400 sub=98136 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4711 nres>0=0 t=249.8s good=71600 sub=98389 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4729 nres>0=0 t=250.7s good=71800 sub=98649 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4769 nres>0=0 t=251.5s good=72000 sub=98908 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4805 nres>0=0 t=252.4s good=72200 sub=99155 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4839 nres>0=0 t=253.3s good=72400 sub=99404 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4856 nres>0=0 t=254.2s good=72600 sub=99674 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4860 nres>0=0 t=254.8s good=72800 sub=99943 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4864 nres>0=0 t=255.4s good=73000 sub=100194 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4867 nres>0=0 t=256.1s good=73200 sub=100446 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4885 nres>0=0 t=256.9s good=73400 sub=100709 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4915 nres>0=0 t=257.8s good=73600 sub=101666 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4944 nres>0=0 t=258.8s good=73800 sub=101907 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=4994 nres>0=0 t=259.7s good=74000 sub=102147 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5001 nres>0=0 t=260.3s good=74200 sub=102416 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5011 nres>0=0 t=260.8s good=74400 sub=102685 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5030 nres>0=0 t=261.5s good=74600 sub=103956 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5085 nres>0=0 t=262.6s good=74800 sub=104198 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5114 nres>0=0 t=263.6s good=75000 sub=104466 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5130 nres>0=0 t=264.3s good=75200 sub=104739 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5140 nres>0=0 t=265.0s good=75400 sub=104987 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5151 nres>0=0 t=265.6s good=75600 sub=105229 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5180 nres>0=0 t=266.6s good=75800 sub=105833 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5221 nres>0=0 t=267.6s good=76000 sub=106096 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5274 nres>0=0 t=268.6s good=76200 sub=106329 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5296 nres>0=0 t=269.6s good=76400 sub=106581 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5312 nres>0=0 t=270.4s good=76600 sub=106861 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5319 nres>0=0 t=271.1s good=76800 sub=107133 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5323 nres>0=0 t=271.8s good=77000 sub=107377 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5326 nres>0=0 t=272.4s good=77200 sub=107626 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5340 nres>0=0 t=273.2s good=77400 sub=107894 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5370 nres>0=0 t=274.2s good=77600 sub=108158 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5389 nres>0=0 t=274.9s good=77800 sub=108399 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5396 nres>0=0 t=275.5s good=78000 sub=108646 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5406 nres>0=0 t=276.1s good=78200 sub=108927 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5411 nres>0=0 t=276.7s good=78400 sub=109195 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5425 nres>0=0 t=277.5s good=78600 sub=109440 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5437 nres>0=0 t=278.4s good=78800 sub=109684 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5450 nres>0=0 t=279.3s good=79000 sub=109962 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5455 nres>0=0 t=280.0s good=79200 sub=110241 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5462 nres>0=0 t=280.7s good=79400 sub=110485 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5468 nres>0=0 t=281.2s good=79600 sub=110718 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5475 nres>0=0 t=281.8s good=79800 sub=110995 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5486 nres>0=0 t=282.4s good=80000 sub=111276 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5493 nres>0=0 t=283.1s good=80200 sub=111528 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5504 nres>0=0 t=283.7s good=80400 sub=111762 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5513 nres>0=0 t=284.5s good=80600 sub=112030 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5530 nres>0=0 t=285.3s good=80800 sub=112311 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5537 nres>0=0 t=286.0s good=81000 sub=112572 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5542 nres>0=0 t=286.7s good=81200 sub=112801 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5548 nres>0=0 t=287.2s good=81400 sub=113062 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5587 nres>0=0 t=288.2s good=81600 sub=113334 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5638 nres>0=0 t=289.2s good=81800 sub=113586 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5664 nres>0=0 t=290.2s good=82000 sub=113813 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5674 nres>0=0 t=290.9s good=82200 sub=114090 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5681 nres>0=0 t=291.6s good=82400 sub=114371 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5685 nres>0=0 t=292.3s good=82600 sub=114637 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5694 nres>0=0 t=293.0s good=82800 sub=114860 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5702 nres>0=0 t=293.7s good=83000 sub=115123 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5733 nres>0=0 t=294.7s good=83200 sub=116082 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5770 nres>0=0 t=295.7s good=83400 sub=116347 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5796 nres>0=0 t=296.6s good=83600 sub=116565 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5800 nres>0=0 t=297.2s good=83800 sub=116838 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5811 nres>0=0 t=297.8s good=84000 sub=117113 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5836 nres>0=0 t=298.7s good=84200 sub=118390 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5856 nres>0=0 t=299.5s good=84400 sub=118609 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5856 nres>0=0 t=300.1s good=84600 sub=118872 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5856 nres>0=0 t=300.7s good=84800 sub=119135 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5856 nres>0=0 t=301.4s good=85000 sub=119349 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5856 nres>0=0 t=302.0s good=85200 sub=119598 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5856 nres>0=0 t=302.6s good=85400 sub=120893 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5876 nres>0=0 t=303.4s good=85600 sub=121146 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5922 nres>0=0 t=304.3s good=85800 sub=121376 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5929 nres>0=0 t=304.8s good=86000 sub=121640 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5938 nres>0=0 t=305.3s good=86200 sub=121911 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=5960 nres>0=0 t=306.1s good=86400 sub=122485 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6008 nres>0=0 t=307.0s good=86600 sub=122730 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6008 nres>0=0 t=307.6s good=86800 sub=122981 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6042 nres>0=0 t=308.4s good=87000 sub=123234 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6075 nres>0=0 t=309.2s good=87200 sub=123491 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6084 nres>0=0 t=309.7s good=87400 sub=123740 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6085 nres>0=0 t=310.2s good=87600 sub=124011 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6087 nres>0=0 t=310.6s good=87800 sub=124272 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6090 nres>0=0 t=311.1s good=88000 sub=124529 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6100 nres>0=0 t=311.6s good=88200 sub=124780 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6150 nres>0=0 t=312.5s good=88400 sub=125025 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6164 nres>0=0 t=313.2s good=88600 sub=125270 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6164 nres>0=0 t=313.8s good=88800 sub=125527 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6174 nres>0=0 t=314.3s good=89000 sub=125793 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6175 nres>0=0 t=314.7s good=89200 sub=126038 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6210 nres>0=0 t=315.5s good=89400 sub=126295 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6255 nres>0=0 t=316.5s good=89600 sub=126546 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6305 nres>0=0 t=317.5s good=89800 sub=126811 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6309 nres>0=0 t=318.0s good=90000 sub=127056 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6314 nres>0=0 t=318.5s good=90200 sub=127320 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6320 nres>0=0 t=319.0s good=90400 sub=127565 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6320 nres>0=0 t=319.6s good=90600 sub=127819 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6326 nres>0=0 t=320.1s good=90800 sub=128061 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6331 nres>0=0 t=320.6s good=91000 sub=128335 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6341 nres>0=0 t=321.1s good=91200 sub=128589 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6389 nres>0=0 t=322.1s good=91400 sub=128832 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6437 nres>0=0 t=323.1s good=91600 sub=129085 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6465 nres>0=0 t=323.9s good=91800 sub=129349 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6466 nres>0=0 t=324.3s good=92000 sub=129611 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6475 nres>0=0 t=324.8s good=92200 sub=129856 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6476 nres>0=0 t=325.4s good=92400 sub=130105 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6493 nres>0=0 t=326.1s good=92600 sub=130356 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6542 nres>0=0 t=327.0s good=92800 sub=130609 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6550 nres>0=0 t=327.5s good=93000 sub=130869 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6553 nres>0=0 t=328.0s good=93200 sub=131133 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6555 nres>0=0 t=328.4s good=93400 sub=131393 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6556 nres>0=0 t=328.9s good=93600 sub=131638 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6565 nres>0=0 t=329.4s good=93800 sub=131901 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6600 nres>0=0 t=330.2s good=94000 sub=132853 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6647 nres>0=0 t=331.2s good=94200 sub=133088 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6698 nres>0=0 t=332.2s good=94400 sub=133334 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6705 nres>0=0 t=332.7s good=94600 sub=133609 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6712 nres>0=0 t=333.2s good=94800 sub=133872 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6730 nres>0=0 t=333.9s good=95000 sub=134098 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6780 nres>0=0 t=334.9s good=95200 sub=135376 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6784 nres>0=0 t=335.5s good=95400 sub=135621 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6784 nres>0=0 t=336.1s good=95600 sub=135866 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6784 nres>0=0 t=336.7s good=95800 sub=136111 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6784 nres>0=0 t=337.3s good=96000 sub=136356 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6784 nres>0=0 t=337.9s good=96200 sub=137426 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6784 nres>0=0 t=338.4s good=96400 sub=137997 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6839 nres>0=0 t=339.0s good=96600 sub=138399 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6883 nres>0=0 t=339.6s good=96800 sub=138797 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6941 nres>0=0 t=340.3s good=97000 sub=139199 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=6985 nres>0=0 t=341.0s good=97200 sub=139824 best_cosets=7 best_total=343 best_res=0 n8=0 n8_unk=7040 nres>0=0 t=341.6s DONE subspaces=140050 good=97240 has8=0 n8_unk=7040 best_cosets=7 best_total=343 best_res=0 max_res_n=0 n_res_pos=0 t=341.6s