úÎÙ5 &The filename. Used to report errors. The contents of the CNF file.       parse-dimacs-1.0.1Language.CNF.Parse.ParseDIMACSCNFnumVars numClausesclausesparseCNFcnf skipCommentsint nonZeroDigitclause manyClause