ack 0 y s y ack s x 0 ack x s 0 ack s x s y ack x ack s x y init ack s s s s s s s 0 0 run_again x run_again init ack 2 0 0 s 1 init 0 run_again 1 INNERMOST