Automata from Jan 16, 2019
Last modified: Sat Jun 16 23:07:51 EDT 2012