/punct.in/1.2/Sun Nov 20 23:49:46 2011//
/punct.out_ascii/1.2/Sun Nov 20 23:49:46 2011//
/spacing.in/1.2/Sun Nov 20 23:49:46 2011//
/spacing.out_ascii/1.2/Sun Nov 20 23:49:46 2011//
/Makefile/1.3/Tue Jul 17 23:03:43 2012//
D
