<map id="ystdex::path::has_leaf_nonempty" name="ystdex::path::has_leaf_nonempty">
<area shape="rect" id="node1" title=" " alt="" coords="5,23,159,65"/>
<area shape="rect" id="node2" href="$d3/d7b/a01249.xhtml#ab29cf105eb4597fd9e43fc3d45b2fd57" title=" " alt="" coords="207,5,371,32"/>
<area shape="rect" id="node3" href="$d3/d7b/a01249.xhtml#a71ea5842d73ee663300c24e979b7a0c6" title=" " alt="" coords="213,56,364,83"/>
</map>
