docs/non-inclusion-witnessleaf.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
   xmlns:dc="http://purl.org/dc/elements/1.1/"
   xmlns:cc="http://creativecommons.org/ns#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:svg="http://www.w3.org/2000/svg"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="184.75072mm"
   height="87.079323mm"
   viewBox="0 0 184.75072 87.079323"
   version="1.1"
   id="svg1738"
   inkscape:version="0.92.3 (2405546, 2018-03-11)"
   sodipodi:docname="non-inclusion-witnessleaf.svg">
  <defs
     id="defs1732">
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker37596"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow2Send">
      <path
         inkscape:connector-curvature="0"
         transform="matrix(-0.3,0,0,-0.3,0.69,0)"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         id="path37594" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker4474"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow2Send">
      <path
         transform="matrix(-0.3,0,0,-0.3,0.69,0)"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         id="path4472"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Mend"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path4151"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="scale(-0.6)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send-9"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         inkscape:connector-curvature="0"
         id="path909-6"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-0.3,0,0,-0.3,0.69,0)" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path909"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-0.3,0,0,-0.3,0.69,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send-9-7"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         inkscape:connector-curvature="0"
         id="path909-6-6"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-0.3,0,0,-0.3,0.69,0)" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send-8"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path909-2"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-0.3,0,0,-0.3,0.69,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send-9-7-8"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         inkscape:connector-curvature="0"
         id="path909-6-6-5"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-0.3,0,0,-0.3,0.69,0)" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send-8-5"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path909-2-0"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-0.3,0,0,-0.3,0.69,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send-9-1"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         inkscape:connector-curvature="0"
         id="path909-6-2"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-0.3,0,0,-0.3,0.69,0)" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send-6"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path909-4"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-0.3,0,0,-0.3,0.69,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send-9-7-8-7"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         inkscape:connector-curvature="0"
         id="path909-6-6-5-0"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-0.3,0,0,-0.3,0.69,0)" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send-8-5-6"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path909-2-0-0"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-0.3,0,0,-0.3,0.69,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send-8-5-9"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path909-2-0-1"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-0.3,0,0,-0.3,0.69,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Mend-7"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path4151-9"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="scale(-0.6)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Mend-4"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path4151-5"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="scale(-0.6)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Mend-4-4"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path4151-5-2"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="scale(-0.6)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Mend-76"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path4151-51"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="scale(-0.6)"
         inkscape:connector-curvature="0" />
    </marker>
  </defs>
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="1.4"
     inkscape:cx="390.41623"
     inkscape:cy="132.35932"
     inkscape:document-units="mm"
     inkscape:current-layer="layer1"
     showgrid="false"
     fit-margin-top="0"
     fit-margin-left="0"
     fit-margin-right="0"
     fit-margin-bottom="0"
     inkscape:window-width="1920"
     inkscape:window-height="1029"
     inkscape:window-x="0"
     inkscape:window-y="25"
     inkscape:window-maximized="1" />
  <metadata
     id="metadata1735">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title></dc:title>
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <g
     inkscape:label="Layer 1"
     inkscape:groupmode="layer"
     id="layer1"
     transform="translate(-45.288704,-25.875561)">
    <rect
       style="fill:#ffd42a;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="rect823-85"
       width="24.9737"
       height="9.9186335"
       x="141.05774"
       y="30.80043" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.0910306px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.15227576"
       x="143.19212"
       y="37.892838"
       id="text821-6"><tspan
         sodipodi:role="line"
         id="tspan819-2"
         x="143.19212"
         y="37.892838"
         style="stroke-width:0.15227576">branch</tspan></text>
    <rect
       style="fill:#00ffff;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="rect823-7-5"
       width="24.9737"
       height="9.9186335"
       x="121.17537"
       y="48.393776" />
    <rect
       style="fill:#ffd42a;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="rect823-8-2"
       width="24.9737"
       height="9.9186335"
       x="160.7554"
       y="48.438053" />
    <path
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Send-6)"
       d="m 144.58895,41.231772 -10.26981,6.13684"
       id="path874-6"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Send-9-1)"
       d="m 162.12612,41.199033 10.26982,6.13684"
       id="path874-1-9"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.0910306px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.15227576"
       x="162.61421"
       y="55.680214"
       id="text821-1-1"><tspan
         sodipodi:role="line"
         id="tspan819-9-3"
         x="162.61421"
         y="55.680214"
         style="stroke-width:0.15227576">branch</tspan></text>
    <rect
       style="fill:#ff8080;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="rect823-8-3-1"
       width="24.9737"
       height="9.9186335"
       x="179.86388"
       y="65.501167" />
    <path
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Send-8-5)"
       d="M 163.69742,58.294888 153.4276,64.431727"
       id="path874-3-5"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Send-9-7-8)"
       d="m 181.23458,58.262149 10.26982,6.136838"
       id="path874-1-6-2"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.0910306px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.15227576"
       x="185.78831"
       y="70.719498"
       id="text821-0-5-6"><tspan
         sodipodi:role="line"
         id="tspan819-4-1-94"
         x="185.78831"
         y="70.719498"
         style="stroke-width:0.15227576">Leaf</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:4.26840115px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.10671002"
       x="180.67123"
       y="74.781364"
       id="text3644-4"><tspan
         sodipodi:role="line"
         id="tspan3642-6"
         x="180.67123"
         y="74.781364"
         style="fill:#ff0000;stroke-width:0.10671002">11<tspan
   style="fill:#000000;stroke-width:0.10671002"
   id="tspan3646-0">01101...</tspan></tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.0910306px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.15227576"
       x="127.10275"
       y="53.528549"
       id="text821-0-5-2-0-0"><tspan
         sodipodi:role="line"
         id="tspan819-4-1-9-9-0"
         x="127.10275"
         y="53.528549"
         style="stroke-width:0.15227576">Leaf</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:4.26840115px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.10671002"
       x="121.98563"
       y="57.590416"
       id="text3644-7-2-2"><tspan
         sodipodi:role="line"
         id="tspan3642-3-3-2"
         x="121.98563"
         y="57.590416"
         style="fill:#ff0000;stroke-width:0.10671002">0<tspan
   style="fill:#000000;stroke-width:0.10671002"
   id="tspan3646-8-1-6">110011...</tspan></tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:4.80709553px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.12017741"
       x="169.44894"
       y="41.194008"
       id="text1481-3-9"><tspan
         sodipodi:role="line"
         id="tspan1479-7-0"
         x="169.44894"
         y="41.194008"
         style="fill:#ff0000;stroke-width:0.12017741">1</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:4.80709553px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.12017741"
       x="188.38556"
       y="59.457497"
       id="text1481-3-8-3"><tspan
         sodipodi:role="line"
         id="tspan1479-7-7-5"
         x="188.38556"
         y="59.457497"
         style="fill:#ff0000;stroke-width:0.12017741">1</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:4.80709553px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.12017741"
       x="154.19762"
       y="59.287407"
       id="text1481-3-4-5"><tspan
         sodipodi:role="line"
         id="tspan1479-7-1-8"
         x="154.19762"
         y="59.287407"
         style="fill:#ff0000;stroke-width:0.12017741">0</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:4.80709553px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.12017741"
       x="134.11382"
       y="41.350082"
       id="text1481-3-4-6-7"><tspan
         sodipodi:role="line"
         id="tspan1479-7-1-3-1"
         x="134.11382"
         y="41.350082"
         style="fill:#ff0000;stroke-width:0.12017741">0</tspan></text>
    <rect
       style="fill:#00ffff;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="rect823-8-2-4"
       width="24.9737"
       height="9.9186335"
       x="139.97586"
       y="65.571251" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.0910306px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.15227576"
       x="141.83466"
       y="72.813408"
       id="text821-1-1-1"><tspan
         sodipodi:role="line"
         id="tspan819-9-3-3"
         x="141.83466"
         y="72.813408"
         style="stroke-width:0.15227576">branch</tspan></text>
    <rect
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="rect823-7-0-3-0"
       width="24.9737"
       height="9.9186335"
       x="98.715355"
       y="100.54393" />
    <rect
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="rect823-8-3-1-2"
       width="24.9737"
       height="9.9186335"
       x="138.29565"
       y="100.58825" />
    <path
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Send-8-5-6)"
       d="m 122.12917,93.381956 -10.26982,6.136827"
       id="path874-3-5-9"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Send-9-7-8-7)"
       d="m 139.66633,93.349216 10.26982,6.136817"
       id="path874-1-6-2-6"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.0910306px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.15227576"
       x="144.22006"
       y="105.80657"
       id="text821-0-5-6-0"><tspan
         sodipodi:role="line"
         id="tspan819-4-1-94-9"
         x="144.22006"
         y="105.80657"
         style="stroke-width:0.15227576">Leaf</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:4.26840115px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.10671002"
       x="139.103"
       y="109.86842"
       id="text3644-4-3"><tspan
         sodipodi:role="line"
         id="tspan3642-6-5"
         x="139.103"
         y="109.86842"
         style="fill:#ff0000;stroke-width:0.10671002">1001<tspan
   style="fill:#000000;stroke-width:0.10671002"
   id="tspan3646-0-4">111...</tspan></tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.0910306px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.15227576"
       x="104.84449"
       y="105.65405"
       id="text821-0-5-2-7-3"><tspan
         sodipodi:role="line"
         id="tspan819-4-1-9-4-6"
         x="104.84449"
         y="105.65405"
         style="stroke-width:0.15227576">Leaf</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:4.26840115px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.10671002"
       x="99.727409"
       y="109.71591"
       id="text3644-7-3-4"><tspan
         sodipodi:role="line"
         id="tspan3642-3-7-3"
         x="99.727409"
         y="109.71591"
         style="fill:#ff0000;stroke-width:0.10671002">1000<tspan
   style="fill:#000000;stroke-width:0.10671002"
   id="tspan3646-8-9-1">110...</tspan></tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:4.80709553px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.12017741"
       x="146.28816"
       y="93.486221"
       id="text1481-3-8-3-9"><tspan
         sodipodi:role="line"
         id="tspan1479-7-7-5-1"
         x="146.28816"
         y="93.486221"
         style="fill:#ff0000;stroke-width:0.12017741">1</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:4.80709553px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.12017741"
       x="113.15828"
       y="93.845306"
       id="text1481-3-4-5-0"><tspan
         sodipodi:role="line"
         id="tspan1479-7-1-8-9"
         x="113.15828"
         y="93.845306"
         style="fill:#ff0000;stroke-width:0.12017741">0</tspan></text>
    <path
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Send-8-5-9)"
       d="m 142.77793,75.997186 -10.26982,6.136839"
       id="path874-3-5-7"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:4.80709553px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.12017741"
       x="133.27808"
       y="76.460541"
       id="text1481-3-4-5-7"><tspan
         sodipodi:role="line"
         id="tspan1479-7-1-8-4"
         x="133.27808"
         y="76.460541"
         style="fill:#ff0000;stroke-width:0.12017741">0</tspan></text>
    <rect
       style="fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.662696;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="rect823-8-2-4-1"
       width="24.9737"
       height="9.9186335"
       x="119.05618"
       y="83.273552" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.0910306px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.15227576"
       x="120.91508"
       y="90.515709"
       id="text821-1-1-1-1"><tspan
         sodipodi:role="line"
         id="tspan819-9-3-3-9"
         x="120.91508"
         y="90.515709"
         style="stroke-width:0.15227576">branch</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.94163036px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.17354076"
       x="51.981895"
       y="38.86393"
       id="text37542"><tspan
         sodipodi:role="line"
         x="51.981895"
         y="38.86393"
         style="stroke-width:0.17354076"
         id="tspan37544">Proof that leaf</tspan><tspan
         sodipodi:role="line"
         x="51.981895"
         y="47.540966"
         style="stroke-width:0.17354076"
         id="tspan37546">11100... is not</tspan><tspan
         sodipodi:role="line"
         x="51.981895"
         y="56.218006"
         style="stroke-width:0.17354076"
         id="tspan37554">in the tree</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.0731535px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.12682883"
       x="180.31638"
       y="94.40535"
       id="text37558"><tspan
         sodipodi:role="line"
         id="tspan37556"
         x="180.31638"
         y="94.40535"
         style="stroke-width:0.12682883">untrusted value</tspan><tspan
         sodipodi:role="line"
         x="180.31638"
         y="100.74679"
         style="stroke-width:0.12682883"
         id="tspan41925">(witness leaf)</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.0731535px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.12682883"
       x="75.757599"
       y="72.475037"
       id="text37558-2"><tspan
         sodipodi:role="line"
         id="tspan37556-7"
         x="75.757599"
         y="72.475037"
         style="stroke-width:0.12682883">witnesses</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.0731535px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.12682883"
       x="198.59987"
       y="41.140812"
       id="text37558-9"><tspan
         sodipodi:role="line"
         id="tspan37556-8"
         x="198.59987"
         y="41.140812"
         style="stroke-width:0.12682883">computed</tspan></text>
    <path
       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.5;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Mend)"
       d="M 102.5521,69.865598 119.47448,58.690384"
       id="path37586"
       inkscape:connector-curvature="0" />
    <path
       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.5;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Mend-7)"
       d="m 102.96699,71.778787 35.44322,-1.725809"
       id="path37586-7"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.5;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Mend-4)"
       d="M 196.32711,38.516881 167.51437,35.090179"
       id="path37586-1"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.5;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Mend-4-4)"
       d="m 196.54483,40.94816 -9.15797,11.503358"
       id="path37586-1-0"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.5;stroke-linecap:round;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Mend-76)"
       d="m 192.16937,88.598727 -0.0865,-12.120155"
       id="path37586-0"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
  </g>
</svg>