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