/Main.hs/1.1/Thu Sep 19 10:19:32 2002//
/newtype.stdout/1.1/Mon Oct 16 16:17:16 2000//
D
