Busy beaver function