mine_zdd
(0)