DIMACS output