/Main.hs/1.1/Thu Jul 25 21:30:25 1996//
/banner.stdin/1.1/Mon Jan  8 20:05:36 1996//
/banner.stdout/1.1/Mon Jan  8 20:05:36 1996//
D
