No such list dimacs-cci-edu