Tolerate missing edge counts in DIMACS files