<map id="proofs::MdocRevocationSpan&lt; LogicCircuit, Field, EC &gt;" name="proofs::MdocRevocationSpan&lt; LogicCircuit, Field, EC &gt;">
<area shape="rect" id="Node000001" title=" " alt="" coords="345,20,538,61"/>
<area shape="rect" id="Node000002" href="$classproofs_1_1_flat_s_h_a256_circuit.html" title=" " alt="" coords="5,5,261,76"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="276,38,344,38,344,43,276,43"/>
</map>
