No such list dimacs-barcode