docs/proof1.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="200mm"
   height="70mm"
   viewBox="0 0 200.00003 70.000003"
   version="1.1"
   id="svg8"
   inkscape:version="0.92.3 (2405546, 2018-03-11)"
   sodipodi:docname="proof1.svg">
  <defs
     id="defs2">
    <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="Arrow1Mend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow1Mend"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path885"
         d="M 0,0 5,-5 -12.5,0 5,5 Z"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;stroke-opacity:1"
         transform="matrix(-0.4,0,0,-0.4,-4,0)"
         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="path903"
         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-9-0"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         inkscape:connector-curvature="0"
         id="path909-6-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)" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send-2"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         inkscape:connector-curvature="0"
         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)" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Send"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Send-9-0-8"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         inkscape:connector-curvature="0"
         id="path909-6-4-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-2-4"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         inkscape:connector-curvature="0"
         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)" />
    </marker>
  </defs>
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="2"
     inkscape:cx="352.54725"
     inkscape:cy="94.9892"
     inkscape:document-units="mm"
     inkscape:current-layer="layer1"
     showgrid="false"
     inkscape:window-width="1920"
     inkscape:window-height="1029"
     inkscape:window-x="0"
     inkscape:window-y="25"
     inkscape:window-maximized="1"
     fit-margin-top="0"
     fit-margin-left="0"
     fit-margin-right="0"
     fit-margin-bottom="0" />
  <metadata
     id="metadata5">
    <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(-142.27293,0.28344)">
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0"
       cx="149.63712"
       cy="53.474537"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 145.5962,61.619856 3.95913,-7.886861"
       id="path2162"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 152.70182,61.856412 -2.51805,-7.997733"
       id="path2162-6"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-2-0"
       cx="155.91925"
       cy="46.121582"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 150.18377,53.858679 155.714,46.286033"
       id="path2162-64-8"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 161.05572,53.088848 156.4053,46.63167"
       id="path2162-6-8-1"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-2"
       cx="161.58691"
       cy="53.380936"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 157.546,61.526244 3.95918,-7.886853"
       id="path2162-7"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 165.27578,61.479123 162.1336,53.765077"
       id="path2162-6-5"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-7"
       cx="174.11214"
       cy="53.499088"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 170.07119,61.644398 3.9591,-7.886854"
       id="path2162-9"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 177.8009,61.59727 -3.14218,-7.714039"
       id="path2162-6-1"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-2-0-7"
       cx="180.39421"
       cy="46.14613"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 174.65872,53.883231 5.5302,-7.572648"
       id="path2162-64-8-0"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 185.53065,53.113396 -4.65044,-6.45717"
       id="path2162-6-8-1-6"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-2-8"
       cx="186.06197"
       cy="53.405483"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 182.02096,61.550802 3.95912,-7.886862"
       id="path2162-7-3"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 189.75069,61.503673 -3.14218,-7.714046"
       id="path2162-6-5-9"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-2-0-7-4"
       cx="168.33626"
       cy="36.943947"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 156.50595,45.662785 11.12929,-8.28364"
       id="path2162-64-8-6"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 179.56875,45.573908 169.10166,37.334706"
       id="path2162-64-8-6-3"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131"
       cx="146.08475"
       cy="62.078789"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-8"
       cx="152.62846"
       cy="62.208183"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-02"
       cx="157.83577"
       cy="61.986752"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-8-9"
       cx="165.17378"
       cy="62.002663"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-9"
       cx="170.1525"
       cy="62.102951"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-8-4"
       cx="177.49057"
       cy="62.118862"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-02-0"
       cx="181.90352"
       cy="62.010914"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-8-9-5"
       cx="189.24153"
       cy="62.026806"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-9"
       cx="198.71091"
       cy="53.49699"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 194.66999,61.642319 3.95916,-7.886862"
       id="path2162-94"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 201.77562,61.878879 199.25759,53.88114"
       id="path2162-6-9"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-2-0-0"
       cx="204.99306"
       cy="46.144043"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 199.25759,53.88114 5.53021,-7.572646"
       id="path2162-64-8-5"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 210.12951,53.111307 -4.6504,-6.457174"
       id="path2162-6-8-1-1"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-2-1"
       cx="210.66071"
       cy="53.403385"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 206.61983,61.548707 3.95915,-7.886855"
       id="path2162-7-7"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 214.34956,61.501587 -3.14218,-7.714052"
       id="path2162-6-5-8"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-7-2"
       cx="223.1859"
       cy="53.521542"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 219.14496,61.666862 3.95913,-7.886857"
       id="path2162-9-8"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 226.87467,61.619733 -3.14215,-7.714041"
       id="path2162-6-1-6"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-2-0-7-8"
       cx="229.46802"
       cy="46.168587"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 223.73252,53.905692 5.53021,-7.572648"
       id="path2162-64-8-0-0"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 234.60445,53.135854 -4.65044,-6.457171"
       id="path2162-6-8-1-6-5"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-2-8-8"
       cx="235.13577"
       cy="53.427937"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 231.09474,61.573266 235.05388,53.6864"
       id="path2162-7-3-4"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 238.82449,61.526136 -3.14218,-7.714047"
       id="path2162-6-5-9-1"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-2-0-7-4-5"
       cx="217.41005"
       cy="36.966412"
       r="0.97761589" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 205.57975,45.685247 11.12931,-8.28364"
       id="path2162-64-8-6-1"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 228.64254,45.596371 218.17546,37.357166"
       id="path2162-64-8-6-3-1"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-09"
       cx="195.15857"
       cy="62.101261"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-8-5"
       cx="201.70226"
       cy="62.230625"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-02-6"
       cx="206.90956"
       cy="62.009228"
       r="0.96134961" />
    <circle
       style="fill:#ff0000;fill-opacity:1;stroke:#ff0000;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-8-9-6"
       cx="214.24765"
       cy="62.02512"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-9-4"
       cx="219.22629"
       cy="62.125393"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-8-4-2"
       cx="226.56436"
       cy="62.141304"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-02-0-5"
       cx="230.97729"
       cy="62.033367"
       r="0.96134961" />
    <circle
       style="fill:#000000;fill-opacity:1;stroke:#0a0a0a;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-8-9-5-5"
       cx="238.31535"
       cy="62.049259"
       r="0.96134961" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 169.04349,36.578414 191.90013,25.651217"
       id="path2162-64-8-6-1-6"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 216.41363,36.551962 193.557,25.624765"
       id="path2162-64-8-6-1-6-0"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:7.46307087px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.18657675"
       x="170.55174"
       y="13.041834"
       id="text21453"><tspan
         sodipodi:role="line"
         id="tspan21451"
         x="170.55174"
         y="13.041834"
         style="stroke-width:0.18657675">Full data-set</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 286.58341,53.787233 -4.65042,-6.457171"
       id="path2162-6-8-1-1-8-5"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 290.80347,62.177519 -3.14221,-7.714051"
       id="path2162-6-5-8-3-4"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 282.03363,46.361176 11.1293,-8.28364"
       id="path2162-64-8-6-1-4-4"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <circle
       style="fill:#ff0000;fill-opacity:1;stroke:#ff0000;stroke-width:0.46243876;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-8-9-6-0-9"
       cx="290.70148"
       cy="62.701057"
       r="0.96134961" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.12442385px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 292.86752,37.227893 270.0109,26.300694"
       id="path2162-64-8-6-1-6-0-7-8"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="cc" />
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.10414314px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.12760361"
       x="277.83456"
       y="27.24431"
       id="text21697"><tspan
         sodipodi:role="line"
         id="tspan21695"
         x="277.83456"
         y="27.24431"
         style="stroke-width:0.12760361">root hash (trusted)</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.10414314px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.12760361"
       x="297.22858"
       y="64.050949"
       id="text21697-8"><tspan
         sodipodi:role="line"
         id="tspan21695-8"
         x="297.22858"
         y="64.050949"
         style="stroke-width:0.12760361">value (untrusted)</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:5.10414314px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.12760361"
       x="-58.061504"
       y="256.09247"
       id="text21697-8-7"
       transform="rotate(-90)"><tspan
         sodipodi:role="line"
         id="tspan21695-8-9"
         x="-58.061504"
         y="256.09247"
         style="stroke-width:0.12760361">path (known)</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:7.46307087px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.18657675"
       x="267.14221"
       y="12.958941"
       id="text21453-1"><tspan
         sodipodi:role="line"
         id="tspan21451-6"
         x="267.14221"
         y="12.958941"
         style="stroke-width:0.18657675">Remote user</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.70434713px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.16760868"
       x="259.44241"
       y="29.292194"
       id="text22863"><tspan
         sodipodi:role="line"
         id="tspan22861"
         x="259.44241"
         y="29.292194"
         style="stroke-width:0.16760868">1</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.70434761px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.16760868"
       x="259.53735"
       y="39.147415"
       id="text22863-7"><tspan
         sodipodi:role="line"
         id="tspan22861-2"
         x="259.53735"
         y="39.147415"
         style="stroke-width:0.16760868">0</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.70434761px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.16760868"
       x="259.56946"
       y="48.533947"
       id="text22863-8"><tspan
         sodipodi:role="line"
         id="tspan22861-9"
         x="259.56946"
         y="48.533947"
         style="stroke-width:0.16760868">1</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-weight:normal;font-size:6.70434761px;line-height:1.25;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.16760868"
       x="259.69235"
       y="57.637093"
       id="text22863-6"><tspan
         sodipodi:role="line"
         id="tspan22861-91"
         x="259.69235"
         y="57.637093"
         style="stroke-width:0.16760868">1</tspan></text>
    <circle
       style="fill:#008000;fill-opacity:1;stroke:#008000;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-2-0-7-4-5-1-3-3"
       cx="269.06058"
       cy="25.867653"
       r="0.97761607" />
    <circle
       style="fill:#008000;fill-opacity:1;stroke:#008000;stroke-width:0.47026336;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
       id="path2131-0-2-0-7-4-5-1"
       cx="192.62317"
       cy="25.142685"
       r="0.97761589" />
  </g>
</svg>