dimacs script edits