busy beaver 5-state 2-color