busy beaver problem completely