(@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) automata EVE 2017