/Main.lhs/1.1/Tue Nov  2 16:15:35 1999//
/fibheaps.stdout/1.1/Fri Jul 26 21:28:21 1996//
D
