<map id="spot/kripke" name="spot/kripke">
<area shape="rect" id="node1" href="dir_23a86271b32d8d348801e565fb2252c0.html" title="kripke" alt="" coords="27,52,99,100"/>
<area shape="rect" id="node2" href="dir_93fd705537400b58c3342a07c12364b4.html" title="tl" alt="" coords="27,148,99,196"/>
<area shape="rect" id="edge1-headlabel" href="dir_000002_000010.html" title="1" alt="" coords="67,122,75,137"/>
<area shape="rect" id="clust1" href="dir_62559c1653fb310d0d3a445c9a87ebba.html" title="spot" alt="" coords="16,16,109,111"/>
</map>
