Research: no 15-call two-target UT4 word on two roles; with #1680, exactly 16 calls for every r (no new kappa) - #1816

Research: no 15-call two-target UT4 word on two roles; with #1680, exactly 16 calls for every r (no new kappa)#1816

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JosieElliston:research/ut4-fifteen-call-search-s23JosieElliston/integer-mult-bounds:research/ut4-fifteen-call-search-s23Copy head branch name to clipboard