/00readme-ja.txt/1.1/Thu Oct  2 08:23:46 2008//
/00readme.txt/1.1/Thu Oct  2 08:23:46 2008//
/Makefile.in/1.7/Fri Jul 27 08:44:48 2012//
/dfa_minimize.c/1.4/Fri Jul 27 08:44:48 2012//
D