/Makefile/1.3/Fri Mar 20 14:47:20 2015//
/args.in/1.4/Tue Jul  4 14:53:23 2017//
/args.out_ascii/1.4/Tue Dec 23 09:31:17 2014//
/args.out_lint/1.4/Tue Jul  4 14:53:23 2017//
/nextline.in/1.2/Tue Jul  4 14:53:23 2017//
/nextline.out_ascii/1.1/Fri Mar 20 14:47:20 2015//
/spacing.in/1.2/Tue Jul  4 14:53:23 2017//
/spacing.out_ascii/1.2/Tue Aug 26 11:32:54 2014//
D
