(@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) A2 automata