Get rid of DIMACS parsing input