Zero suppressed binary decision diagrams are the best