2B automata 9s 9S a2