CurryInfo: dimacs-3.0.0 / Dimacs.Scanner