dimacs generator added