Redirecting to Alternating Turing machine