/sources/contrib/fernan/nhc98/tests/nofib/spectral/clausify/ 5149 2009-09-19 Main.hs 42 2009-09-19 clausify.stdout