/Main.lhs/1.1/Thu Aug  5 11:12:47 2004//Tnhc98-1-18-release
/boyer.stdout/1.1/Thu Aug  5 11:12:48 2004//Tnhc98-1-18-release
D
