Script to parse DIMACS output