/sources/contrib/fernan/nhc98/tests/nofib/spectral/cryptarithm1/ 5517 2009-09-19 Main.hs 24 2009-09-19 cryptarithm1.stdout