/Main.hs/1.1/Thu Jul 25 21:30:44 1996//
/clausify.stdout/1.1/Mon Jan  8 20:04:10 1996//
D
