/Main.lhs/1.1/Thu Aug  5 11:13:00 2004//Tnhc98-1-18-release
/fibheaps.stdout/1.1/Thu Aug  5 11:13:00 2004//Tnhc98-1-18-release
D
