2b 9s automata 9S