/QuickCheck.hs/1.5/Thu May  9 13:16:31 2002//
/Trace.hs/1.9/Mon Jan  6 14:30:12 2003//
D/QuickCheck////
