The headers were mangled a little bit during reshuffle.
Comment on parsing dimacs header