(@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) 2B Automata 2023