r"><img src="classproofs_1_1_nat__coll__graph.png" border="0" usemap="#aproofs_1_1_nat_3_01_w64_01_4_coll__map" loading="lazy" alt="Collaboration graph"/></div>
<map name="aproofs_1_1_nat_3_01_w64_01_4_coll__map" id="aproofs_1_1_nat_3_01_w64_01_4_coll__map">
<area shape="rect" title=" " alt="" coords="9,79,146,105"/>
<area shape="rect" href="classproofs_1_1_limb.html" title=" " alt="" coords="5,5,150,31"/>
<area shape="poly" title=" " alt="" coords="80,46,80,79,75,79,75,46"/>
</map>
<center><span class="leg