/Main.hs/1.1/Thu Jun 29 11:29:51 2000//
/chr.stdout/1.1/Fri Jun 30 12:13:59 2000//
D
