uploaded finished automata