/all.T/1.1/Tue Jun 19 14:03:39 2001//
/list.expected.stdout/1.1/Fri Mar  9 14:59:55 2001//
/list.hs/1.1/Thu Mar  8 16:33:03 2001//
/succ.expect.stdout/1.1/Thu Mar  8 17:01:31 2001//
/succ.hs/1.1/Thu Mar  8 16:33:03 2001//
D
