2b 2B automata 9S 21O 2017-06