Completed DIMACS reader.