Wrote .aut files for simple test automata.