DIMACS format input complete