Research: certify the staged544 packing ceiling and reach it on PR3734's T360 clock (no new κ; same value as #3802) - #3815

Research: certify the staged544 packing ceiling and reach it on PR3734's T360 clock (no new κ; same value as #3802)#3815

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

ChaloupeMusic:staged544-clock-ceilingChaloupeMusic/integer-mult-bounds:staged544-clock-ceilingCopy head branch name to clipboard