/Main.hs/1.1/Tue Jun 27 09:53:58 2000//
/random.stdout/1.1/Tue Jun 27 09:54:40 2000//
D
