/Makefile/1.2/Thu Nov 17 16:28:45 2011//
/basic.in/1.3/Tue Jul  4 14:53:23 2017//
/basic.out_ascii/1.5/Mon Jun 28 19:59:09 2021//
D
