.
casino b dnnf