/Main.lhs/1.1/Thu Jul 25 21:33:01 1996//
/rewrite.stdout/1.1/Thu Jul 25 21:33:02 1996//
D
