Close the length-22 seven-label word census: all splits excluded, f(7) = 24 in the prefix-walk model (no new κ) - #4221

Close the length-22 seven-label word census: all splits excluded, f(7) = 24 in the prefix-walk model (no new κ)#4221

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w8-1020a-l22-census-closurepetalas/integer-mult-bounds:research/w8-1020a-l22-census-closureCopy head branch name to clipboard