/Main.hs/1.1/Thu Mar  9 14:09:59 2000//
/succ.stdout/1.1/Wed Nov 21 12:12:07 2001//
D
