2b 9s 9S automata 801S 32S 2018