Of related interest is this functional equivalent of the Busy Beaver function https://oeis.org/A333479 https://oeis.org/A333479 that is more fine grained cour

Of related interest is this functional equivalent of the Busy Beaver function https://oeis.org/A333479 https://oeis.org/A333479 that is more fine grained courtesy of being indexed by number of bits instead of number of states.