/Main.lhs/1.1/Tue Nov 26 14:39:02 1996//
/boyer.stdout/1.1/Mon Jan  8 20:04:28 1996//
D
