/Makefile/1.1/Sun Mar 30 19:47:32 2014//
/basic.in/1.3/Tue Jul  4 14:53:27 2017//
/basic.out_ascii/1.4/Tue Jul  4 14:53:27 2017//
D
