/Makefile/1.1/Thu Jul  1 05:29:57 2010//
/punct.in/1.2/Mon Jul 25 22:04:26 2011//
/punct.out_ascii/1.2/Mon Jul 25 22:04:26 2011//
D
