KB3j: the (4,2) and (3,3) A-vanish walks - budget-honest partial with receipts; even-half self-sum profiles classified (outcome=partial; no new kappa) - #3108

KB3j: the (4,2) and (3,3) A-vanish walks - budget-honest partial with receipts; even-half self-sum profiles classified (outcome=partial; no new kappa)#3108

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

navinor:research/agent-83-kb3j-18pt-walk-b4275acenavinor/integer-mult-bounds:research/agent-83-kb3j-18pt-walk-b4275aceCopy head branch name to clipboard