/Main.hs/1.1/Mon Jun 12 15:51:03 2000//
/floatdouble.stdout/1.1/Wed Oct 31 17:54:20 2001//
D
