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 cc x y x cc x y y f aa f cc aa init ack 2 0 0 s 1 init 0 cc 2 f 1 aa 0 INNERMOST