/Makefile/1.7/Wed Mar  8 22:53:35 2017//
/position.in/1.6/Tue Jul  4 14:53:25 2017//
/position.out_ascii/1.7/Tue Jul  4 14:53:25 2017//
/position.out_lint/1.6/Tue Jul  4 14:53:25 2017//
/position.out_markdown/1.3/Tue Jul  4 14:53:25 2017//
/punct.in/1.4/Tue Jul  4 14:53:25 2017//
/punct.out_ascii/1.4/Tue Jul  4 14:53:26 2017//
/punct.out_markdown/1.2/Tue Jul  4 14:53:26 2017//
D
