Initial dimacs parser