/Main.hs/1.1/Wed Jul 19 12:42:16 2000//
/integerdouble.stdout/1.1/Wed Oct 31 17:54:24 2001//
D
