Started making DIMACS reader