/Makefile/1.2/Mon Jul  9 17:52:09 2012//
/basic.in/1.1/Sun Jul  8 18:38:07 2012//
/basic.out_ascii/1.1/Sun Jul  8 18:38:07 2012//
/font.in/1.1/Mon Jul  9 17:52:09 2012//
/font.out_ascii/1.1/Mon Jul  9 17:52:09 2012//
D
