/Makefile/1.2/Sun Feb 12 14:13:23 2017//
/basic.in/1.3/Tue Jul  4 14:53:23 2017//
/basic.out_ascii/1.4/Wed Aug 23 20:02:48 2017//
/basic.out_html/1.2/Mon Jun 26 20:11:23 2017//
/empty.in/1.2/Tue Jul  4 14:53:23 2017//
/empty.out_ascii/1.2/Tue Jul  4 14:53:23 2017//
/empty.out_html/1.1/Sun Feb 12 14:13:23 2017//
D
