/Main.hs/1.1/Thu Sep 19 10:21:08 2002//
/exportio.stdout/1.1/Wed May 10 13:49:50 2000//
D
