Dimacs graph format parser