úÎÆ/ &The filename. Used to report errors. The contents of the CNF file.      parse-dimacs-1.1Language.CNF.Parse.ParseDIMACSCNFnumVars numClausesclausesparseCNFcnfcommentclauseintposDigit