busy beaver functions and TREE() grow much faster than up arrows