/1x23.stdout/1.1/Tue May  9 15:30:22 2000//
/Main.hs/1.1/Thu Mar  9 12:48:45 2000//
D
