dimacs dedup