2%2C2 busy beaver