<map id="include/pico/platform" name="include/pico/platform">
<area shape="rect" id="node1" href="dir_dd64b89e449588bd5aaae41078033820.html" title="platform" alt="" coords="27,52,106,100"/>
<area shape="rect" id="clust1" href="dir_d94313ff006d852715a907c4faa41eb1.html" title="pico" alt="" coords="16,16,117,111"/>
</map>
