Making output DIMACS friendly