Research: exclude five P112 beta shapes with a coordinate budget - #3169

Research: exclude five P112 beta shapes with a coordinate budget#3169

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/frontier-result-20261017ipetalas/integer-mult-bounds:research/frontier-result-20261017iCopy head branch name to clipboard