/Main.hs/1.1/Thu Aug  5 11:10:52 2004//Tnhc98-1-18-release
/integerdouble.stdout/1.1/Thu Aug  5 11:10:52 2004//Tnhc98-1-18-release
D
