/Main.hs/1.1/Wed Jun 30 13:04:06 1999//
/operator.stdout/1.1/Tue May  9 15:29:53 2000//
D
