cdex_options([format=cd, gen=[d(_,_)], sol_after=[nodup_m]]).