/Main.hs/1.1/Mon Jun  5 17:13:44 2000//
/operator.stdout/1.1/Wed Jun  7 13:39:42 2000//
D
