2B automata 2b 9s 9S