Certify the exact grid of the complete #5413 caller: body ceil(9 lambda/2)+6, controller 74 bits (attained) (no new kappa) - #5438

Certify the exact grid of the complete #5413 caller: body ceil(9 lambda/2)+6, controller 74 bits (attained) (no new kappa)#5438

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Matarener:selected-grid-controllerMatarener/integer-mult-bounds:selected-grid-controllerCopy head branch name to clipboard