Mercurial > hg > Gears > GearsAgda

changeset 607:b78dc85d76d6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 03 Nov 2021 16:16:14 +0900
parents 61a0491a627b
children 8df36383ced0
files fig/tree-invariant.svg
diffstat 1 files changed, 179 insertions(+), 145 deletions(-) [+]
line wrap: on
line diff
--- a/fig/tree-invariant.svg	Wed Nov 03 16:14:09 2021 +0900
+++ b/fig/tree-invariant.svg	Wed Nov 03 16:16:14 2021 +0900
@@ -1,336 +1,370 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" xmlns:dc="http://purl.org/dc/elements/1.1/" version="1.1" viewBox="-73 -35 644 1383" width="644" height="1383">
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" xmlns:dc="http://purl.org/dc/elements/1.1/" version="1.1" viewBox="-244 -179 810 1558" width="810" height="1558">
   <defs>
+    <font-face font-family="Helvetica Neue" font-size="16" panose-1="2 0 5 3 0 0 0 2 0 4" units-per-em="1000" underline-position="-100" underline-thickness="50" slope="0" x-height="517" cap-height="714" ascent="951.9958" descent="-212.99744" font-weight="400">
+      <font-face-src>
+        <font-face-name name="HelveticaNeue"/>
+      </font-face-src>
+    </font-face>
     <marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" stroke-linejoin="miter" stroke-miterlimit="10" viewBox="-1 -3 7 6" markerWidth="7" markerHeight="6" color="black">
       <g>
         <path d="M 4.8 0 L 0 -1.8 L 0 1.8 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/>
       </g>
     </marker>
+    <font-face font-family="Helvetica Neue" font-size="14" panose-1="2 0 5 3 0 0 0 2 0 4" units-per-em="1000" underline-position="-100" underline-thickness="50" slope="0" x-height="517" cap-height="714" ascent="951.9958" descent="-212.99744" font-weight="400">
+      <font-face-src>
+        <font-face-name name="HelveticaNeue"/>
+      </font-face-src>
+    </font-face>
   </defs>
-  <metadata> Produced by OmniGraffle 7.18.5\n2021-11-02 10:28:31 +0000</metadata>
+  <metadata> Produced by OmniGraffle 7.18.5\n2021-11-03 06:50:44 +0000</metadata>
   <g id="Canvas_1" stroke-opacity="1" stroke-dasharray="none" stroke="none" fill="none" fill-opacity="1">
     <title>Canvas 1</title>
-    <rect fill="white" x="-73" y="-35" width="644" height="1383"/>
+    <rect fill="white" x="-244" y="-179" width="810" height="1558"/>
     <g id="Canvas_1_Layer_1">
       <title>Layer 1</title>
+      <g id="Graphic_123">
+        <rect x="-238" y="414" width="803" height="254" fill="white"/>
+        <rect x="-238" y="414" width="803" height="254" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
+      </g>
+      <g id="Graphic_119">
+        <rect x="231" y="954.25" width="323" height="238.75" fill="white"/>
+        <rect x="231" y="954.25" width="323" height="238.75" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
+      </g>
+      <g id="Graphic_118">
+        <rect x="-43" y="675" width="603" height="254" fill="white"/>
+        <rect x="-43" y="675" width="603" height="254" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
+      </g>
       <g id="Graphic_3">
-        <circle cx="47.5" cy="-18.5" r="15.5000247674794" fill="black"/>
-        <circle cx="47.5" cy="-18.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="401.5" cy="-48.5" r="15.5000247674794" fill="black"/>
+        <circle cx="401.5" cy="-48.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(394.1 -57.724)" fill="white">
+          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="white" x="2.952" y="15">5</tspan>
+        </text>
       </g>
       <g id="Graphic_5">
-        <circle cx="1.5" cy="63.5" r="15.5000247674794" fill="black"/>
-        <circle cx="1.5" cy="63.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="355.5" cy="33.5" r="15.5000247674794" fill="black"/>
+        <circle cx="355.5" cy="33.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(348.1 24.276)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="2.952" y="15">3</tspan>
+        </text>
       </g>
       <g id="Graphic_6">
-        <circle cx="-44.5" cy="145.5" r="15.5000247674794" fill="black"/>
-        <circle cx="-44.5" cy="145.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="309.5" cy="115.5" r="15.5000247674794" fill="black"/>
+        <circle cx="309.5" cy="115.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_7">
-        <circle cx="104.5" cy="63.5" r="15.5000247674794" fill="black"/>
-        <circle cx="104.5" cy="63.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="458.5" cy="33.5" r="15.5000247674794" fill="black"/>
+        <circle cx="458.5" cy="33.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_8">
-        <circle cx="161.5" cy="145.5" r="15.5000247674794" fill="black"/>
-        <circle cx="161.5" cy="145.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="515.5" cy="115.5" r="15.5000247674794" fill="black"/>
+        <circle cx="515.5" cy="115.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_9">
-        <circle cx="52.5" cy="145.5" r="15.5000247674794" fill="black"/>
-        <circle cx="52.5" cy="145.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="406.5" cy="115.5" r="15.5000247674794" fill="black"/>
+        <circle cx="406.5" cy="115.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_10">
-        <line x1="39.4253" y1="-4.105971" x2="15.886036" y2="37.855327" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="393.4253" y1="-34.10597" x2="369.88604" y2="7.855327" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_11">
-        <line x1="-6.574699" y1="77.89403" x2="-30.113964" y2="119.85533" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="347.4253" y1="47.89403" x2="323.88604" y2="89.85533" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_12">
-        <line x1="10.216185" y1="77.51426" x2="36.97086" y2="120.53158" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="364.2162" y1="47.51426" x2="390.97086" y2="90.53158" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_13">
-        <line x1="56.91932" y1="-4.949395" x2="87.71773" y2="39.357086" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="410.9193" y1="-34.949395" x2="441.71773" y2="9.357086" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_14">
-        <line x1="113.91932" y1="77.050605" x2="144.71773" y2="121.35709" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="467.9193" y1="47.050605" x2="498.71773" y2="91.35709" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_27">
-        <circle cx="47.5" cy="229.5" r="15.5000247674794" fill="black"/>
-        <circle cx="47.5" cy="229.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="396.5" cy="212.5" r="15.5000247674794" fill="black"/>
+        <circle cx="396.5" cy="212.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_26">
-        <circle cx="1.5" cy="311.5" r="15.5000247674794" fill="black"/>
-        <circle cx="1.5" cy="311.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="350.5" cy="294.5" r="15.5000247674794" fill="black"/>
+        <circle cx="350.5" cy="294.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_25">
-        <circle cx="-44.5" cy="393.5" r="15.5000247674794" fill="black"/>
-        <circle cx="-44.5" cy="393.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="304.5" cy="376.5" r="15.5000247674794" fill="black"/>
+        <circle cx="304.5" cy="376.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_24">
-        <circle cx="104.5" cy="311.5" r="15.5000247674794" fill="black"/>
-        <circle cx="104.5" cy="311.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="453.5" cy="294.5" r="15.5000247674794" fill="black"/>
+        <circle cx="453.5" cy="294.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_23">
-        <circle cx="161.5" cy="393.5" r="15.5000247674794" fill="black"/>
-        <circle cx="161.5" cy="393.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="510.5" cy="376.5" r="15.5000247674794" fill="black"/>
+        <circle cx="510.5" cy="376.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_22">
-        <circle cx="52.5" cy="393.5" r="15.5000247674794" fill="black"/>
-        <circle cx="52.5" cy="393.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="401.5" cy="376.5" r="15.5000247674794" fill="black"/>
+        <circle cx="401.5" cy="376.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_21">
-        <line x1="39.4253" y1="243.89403" x2="15.886036" y2="285.85533" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="388.4253" y1="226.89403" x2="364.88604" y2="268.85533" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_20">
-        <line x1="-6.574699" y1="325.89403" x2="-30.113964" y2="367.85533" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="342.4253" y1="308.89403" x2="318.88604" y2="350.85533" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_19">
-        <line x1="10.216185" y1="325.51426" x2="36.97086" y2="368.5316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="359.2162" y1="308.51426" x2="385.97086" y2="351.5316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_18">
-        <line x1="56.91932" y1="243.0506" x2="87.71773" y2="287.3571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="405.9193" y1="226.0506" x2="436.71773" y2="270.3571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_17">
-        <line x1="113.91932" y1="325.0506" x2="144.71773" y2="369.3571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="462.9193" y1="308.0506" x2="493.71773" y2="352.3571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_32">
-        <circle cx="353.5" cy="305.5" r="15.5000247674794" fill="black"/>
-        <circle cx="353.5" cy="305.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="45" cy="301" r="15.5000247674794" fill="black"/>
+        <circle cx="45" cy="301" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_31">
-        <circle cx="307.5" cy="387.5" r="15.5000247674794" fill="black"/>
-        <circle cx="307.5" cy="387.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="-1" cy="383" r="15.5000247674794" fill="black"/>
+        <circle cx="-1" cy="383" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_30">
-        <circle cx="404.5" cy="387.5" r="15.5000247674794" fill="black"/>
-        <circle cx="404.5" cy="387.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="96" cy="383" r="15.5000247674794" fill="black"/>
+        <circle cx="96" cy="383" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_29">
-        <line x1="345.4253" y1="319.89403" x2="321.88604" y2="361.85533" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="36.9253" y1="315.39403" x2="13.386036" y2="357.35533" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_28">
-        <line x1="362.2162" y1="319.51426" x2="388.97086" y2="362.5316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="53.716185" y1="315.01426" x2="80.47086" y2="358.0316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_48">
-        <circle cx="57.5" cy="456.5" r="15.5000247674794" fill="black"/>
-        <circle cx="57.5" cy="456.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="396.5" cy="448.5" r="15.5000247674794" fill="black"/>
+        <circle cx="396.5" cy="448.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_47">
-        <circle cx="11.5" cy="538.5" r="15.5000247674794" fill="black"/>
-        <circle cx="11.5" cy="538.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="350.5" cy="530.5" r="15.5000247674794" fill="black"/>
+        <circle cx="350.5" cy="530.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_46">
-        <circle cx="-34.5" cy="620.5" r="15.5000247674794" fill="black"/>
-        <circle cx="-34.5" cy="620.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="304.5" cy="612.5" r="15.5000247674794" fill="black"/>
+        <circle cx="304.5" cy="612.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_45">
-        <circle cx="114.5" cy="538.5" r="15.5000247674794" fill="black"/>
-        <circle cx="114.5" cy="538.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="453.5" cy="530.5" r="15.5000247674794" fill="black"/>
+        <circle cx="453.5" cy="530.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_44">
-        <circle cx="171.5" cy="620.5" r="15.5000247674794" fill="black"/>
-        <circle cx="171.5" cy="620.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="510.5" cy="612.5" r="15.5000247674794" fill="black"/>
+        <circle cx="510.5" cy="612.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_43">
-        <circle cx="62.5" cy="620.5" r="15.5000247674794" fill="black"/>
-        <circle cx="62.5" cy="620.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="401.5" cy="612.5" r="15.5000247674794" fill="black"/>
+        <circle cx="401.5" cy="612.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_42">
-        <line x1="49.4253" y1="470.89403" x2="25.886036" y2="512.8553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="388.4253" y1="462.89403" x2="364.88604" y2="504.8553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_41">
-        <line x1="3.425301" y1="552.894" x2="-20.113964" y2="594.8553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="342.4253" y1="544.894" x2="318.88604" y2="586.8553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_40">
-        <line x1="20.216185" y1="552.51426" x2="46.97086" y2="595.5316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="359.2162" y1="544.51426" x2="385.97086" y2="587.5316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_39">
-        <line x1="66.91932" y1="470.0506" x2="97.71773" y2="514.3571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="405.9193" y1="462.0506" x2="436.71773" y2="506.3571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_38">
-        <line x1="123.91932" y1="552.0506" x2="154.71773" y2="596.3571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="462.9193" y1="544.0506" x2="493.71773" y2="588.3571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_37">
-        <circle cx="363.5" cy="532.5" r="15.5000247674794" fill="black"/>
-        <circle cx="363.5" cy="532.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="58.5" cy="511.25" r="15.5000247674794" fill="black"/>
+        <circle cx="58.5" cy="511.25" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_36">
-        <circle cx="317.5" cy="614.5" r="15.5000247674794" fill="black"/>
-        <circle cx="317.5" cy="614.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="12.5" cy="593.25" r="15.5000247674794" fill="black"/>
+        <circle cx="12.5" cy="593.25" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_35">
-        <circle cx="414.5" cy="614.5" r="15.5000247674794" fill="black"/>
-        <circle cx="414.5" cy="614.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="109.5" cy="593.25" r="15.5000247674794" fill="black"/>
+        <circle cx="109.5" cy="593.25" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_34">
-        <line x1="355.4253" y1="546.894" x2="331.88604" y2="588.8553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="50.4253" y1="525.644" x2="26.886036" y2="567.6053" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_33">
-        <line x1="372.2162" y1="546.51426" x2="398.97086" y2="589.5316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="67.216185" y1="525.26426" x2="93.97086" y2="568.2816" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_49">
-        <circle cx="554.5" cy="614.5" r="15.5000247674793" fill="black"/>
-        <circle cx="554.5" cy="614.5" r="15.5000247674793" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="-142.5" cy="593.25" r="15.5000247674794" fill="black"/>
+        <circle cx="-142.5" cy="593.25" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_83">
-        <circle cx="35.5" cy="721.5" r="15.5000247674794" fill="black"/>
-        <circle cx="35.5" cy="721.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="375.5" cy="721.5" r="15.5000247674794" fill="black"/>
+        <circle cx="375.5" cy="721.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_82">
-        <circle cx="-10.5" cy="803.5" r="15.5000247674794" fill="black"/>
-        <circle cx="-10.5" cy="803.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="329.5" cy="803.5" r="15.5000247674794" fill="black"/>
+        <circle cx="329.5" cy="803.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_81">
-        <circle cx="-56.5" cy="885.5" r="15.5000247674793" fill="black"/>
-        <circle cx="-56.5" cy="885.5" r="15.5000247674793" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="283.5" cy="885.5" r="15.5000247674794" fill="black"/>
+        <circle cx="283.5" cy="885.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_80">
-        <circle cx="92.5" cy="803.5" r="15.5000247674794" fill="black"/>
-        <circle cx="92.5" cy="803.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="432.5" cy="803.5" r="15.5000247674794" fill="black"/>
+        <circle cx="432.5" cy="803.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_79">
-        <circle cx="149.5" cy="885.5" r="15.5000247674793" fill="black"/>
-        <circle cx="149.5" cy="885.5" r="15.5000247674793" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="489.5" cy="885.5" r="15.5000247674793" fill="black"/>
+        <circle cx="489.5" cy="885.5" r="15.5000247674793" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_78">
-        <circle cx="40.5" cy="885.5" r="15.5000247674793" fill="black"/>
-        <circle cx="40.5" cy="885.5" r="15.5000247674793" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="380.5" cy="885.5" r="15.5000247674793" fill="black"/>
+        <circle cx="380.5" cy="885.5" r="15.5000247674793" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_77">
-        <line x1="27.4253" y1="735.894" x2="3.8860363" y2="777.8553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="367.4253" y1="735.894" x2="343.88604" y2="777.8553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_76">
-        <line x1="-18.5747" y1="817.894" x2="-42.113964" y2="859.8553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="321.4253" y1="817.894" x2="297.88604" y2="859.8553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_75">
-        <line x1="-1.7838154" y1="817.5143" x2="24.97086" y2="860.5316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="338.2162" y1="817.5143" x2="364.97086" y2="860.5316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_74">
-        <line x1="44.919323" y1="735.0506" x2="75.71773" y2="779.3571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="384.91932" y1="735.0506" x2="415.71773" y2="779.3571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_73">
-        <line x1="101.91932" y1="817.0506" x2="132.71773" y2="861.3571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="441.9193" y1="817.0506" x2="472.71773" y2="861.3571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_72">
-        <circle cx="341.5" cy="797.5" r="15.5000247674794" fill="black"/>
-        <circle cx="341.5" cy="797.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="56" cy="803.5" r="15.5000247674794" fill="black"/>
+        <circle cx="56" cy="803.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_71">
-        <circle cx="295.5" cy="879.5" r="15.5000247674794" fill="black"/>
-        <circle cx="295.5" cy="879.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="10" cy="885.5" r="15.5000247674793" fill="black"/>
+        <circle cx="10" cy="885.5" r="15.5000247674793" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_70">
-        <circle cx="392.5" cy="879.5" r="15.5000247674794" fill="black"/>
-        <circle cx="392.5" cy="879.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="107" cy="885.5" r="15.5000247674794" fill="black"/>
+        <circle cx="107" cy="885.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_69">
-        <line x1="333.4253" y1="811.894" x2="309.88604" y2="853.8553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="47.9253" y1="817.894" x2="24.386036" y2="859.8553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_68">
-        <line x1="350.2162" y1="811.5143" x2="376.97086" y2="854.5316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="64.716185" y1="817.5143" x2="91.47086" y2="860.5316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_67">
-        <circle cx="532.5" cy="879.5" r="15.5000247674794" fill="white"/>
-        <circle cx="532.5" cy="879.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="-153.5" cy="879.5" r="15.5000247674794" fill="white"/>
+        <circle cx="-153.5" cy="879.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_99">
-        <circle cx="-10.5" cy="1020" r="15.5000247674794" fill="black"/>
-        <circle cx="-10.5" cy="1020" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="323.5" cy="1063" r="15.5000247674794" fill="black"/>
+        <circle cx="323.5" cy="1063" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_98">
-        <circle cx="-56.5" cy="1102" r="15.5000247674794" fill="black"/>
-        <circle cx="-56.5" cy="1102" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="277.5" cy="1145" r="15.5000247674794" fill="black"/>
+        <circle cx="277.5" cy="1145" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_97">
-        <circle cx="92.5" cy="1020" r="15.5000247674794" fill="black"/>
-        <circle cx="92.5" cy="1020" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="426.5" cy="1063" r="15.5000247674794" fill="black"/>
+        <circle cx="426.5" cy="1063" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_96">
-        <circle cx="149.5" cy="1102" r="15.5000247674794" fill="black"/>
-        <circle cx="149.5" cy="1102" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="483.5" cy="1145" r="15.5000247674794" fill="black"/>
+        <circle cx="483.5" cy="1145" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_95">
-        <circle cx="40.5" cy="1102" r="15.5000247674794" fill="black"/>
-        <circle cx="40.5" cy="1102" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="374.5" cy="1145" r="15.5000247674794" fill="black"/>
+        <circle cx="374.5" cy="1145" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_94">
-        <line x1="35.5" y1="938" x2="2.9072846" y2="996.1" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="369.5" y1="981" x2="336.9073" y2="1039.1" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_93">
-        <line x1="-18.5747" y1="1034.394" x2="-42.113964" y2="1076.3553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="315.4253" y1="1077.394" x2="291.88604" y2="1119.3553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_92">
-        <line x1="-1.7838154" y1="1034.0143" x2="24.97086" y2="1077.0316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="332.2162" y1="1077.0143" x2="358.97086" y2="1120.0316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_91">
-        <line x1="35.5" y1="938" x2="76.85947" y2="997.4996" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="369.5" y1="981" x2="410.85947" y2="1040.4996" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_90">
-        <line x1="101.91932" y1="1033.5506" x2="132.71773" y2="1077.8571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="435.9193" y1="1076.5506" x2="466.71773" y2="1120.8571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_89">
-        <circle cx="341.5" cy="1014" r="15.5000247674794" fill="black"/>
-        <circle cx="341.5" cy="1014" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="-151.5" cy="1015.5" r="15.5000247674794" fill="black"/>
+        <circle cx="-151.5" cy="1015.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_88">
-        <circle cx="295.5" cy="1096" r="15.5000247674795" fill="black"/>
-        <circle cx="295.5" cy="1096" r="15.5000247674795" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="-197.5" cy="1097.5" r="15.5000247674794" fill="black"/>
+        <circle cx="-197.5" cy="1097.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_87">
-        <circle cx="392.5" cy="1096" r="15.5000247674795" fill="white"/>
-        <circle cx="392.5" cy="1096" r="15.5000247674795" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="-100.5" cy="1097.5" r="15.5000247674795" fill="white"/>
+        <circle cx="-100.5" cy="1097.5" r="15.5000247674795" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_86">
-        <line x1="333.4253" y1="1028.394" x2="309.88604" y2="1070.3553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="-159.5747" y1="1029.894" x2="-183.11396" y2="1071.8553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_85">
-        <line x1="350.2162" y1="1028.0143" x2="376.97086" y2="1071.0316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-      </g>
-      <g id="Graphic_84">
-        <circle cx="532.5" cy="1096" r="15.5000247674794" fill="white"/>
-        <circle cx="532.5" cy="1096" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="-142.78382" y1="1029.5143" x2="-116.02914" y2="1072.5316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_115">
-        <circle cx=".5" cy="1249" r="15.5000247674795" fill="black"/>
-        <circle cx=".5" cy="1249" r="15.5000247674795" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="-181.5" cy="1280" r="15.5000247674795" fill="black"/>
+        <circle cx="-181.5" cy="1280" r="15.5000247674795" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_114">
-        <circle cx="-45.5" cy="1331" r="15.5000247674795" fill="black"/>
-        <circle cx="-45.5" cy="1331" r="15.5000247674795" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="-227.5" cy="1362" r="15.5000247674794" fill="black"/>
+        <circle cx="-227.5" cy="1362" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_113">
-        <circle cx="103.5" cy="1249" r="15.5000247674794" fill="black"/>
-        <circle cx="103.5" cy="1249" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="-78.5" cy="1280" r="15.5000247674795" fill="black"/>
+        <circle cx="-78.5" cy="1280" r="15.5000247674795" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_112">
-        <circle cx="160.5" cy="1331" r="15.5000247674794" fill="white"/>
-        <circle cx="160.5" cy="1331" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="-21.5" cy="1362" r="15.5000247674794" fill="black"/>
+        <circle cx="-21.5" cy="1362" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_111">
-        <circle cx="51.5" cy="1331" r="15.5000247674795" fill="black"/>
-        <circle cx="51.5" cy="1331" r="15.5000247674795" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="-124.5" cy="1362" r="15.5000247674794" fill="white"/>
+        <circle cx="-124.5" cy="1362" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_110">
-        <line x1="46.5" y1="1167" x2="13.907285" y2="1225.1" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="-135.5" y1="1198" x2="-168.09272" y2="1256.1" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_109">
-        <line x1="-7.574699" y1="1263.394" x2="-31.113964" y2="1305.3553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="-189.5747" y1="1294.394" x2="-213.11396" y2="1336.3553" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_108">
-        <line x1="9.216185" y1="1263.0143" x2="35.97086" y2="1306.0316" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="-172.08068" y1="1293.5506" x2="-141.28227" y2="1337.8571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_107">
-        <line x1="46.5" y1="1167" x2="87.85947" y2="1226.4996" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="-135.5" y1="1198" x2="-94.14053" y2="1257.4996" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Line_106">
-        <line x1="112.91932" y1="1262.5506" x2="143.71773" y2="1306.8571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <line x1="-69.08068" y1="1293.5506" x2="-38.28227" y2="1337.8571" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_116">
-        <circle cx="35.5" cy="941.5" r="15.5000247674793" fill="black"/>
-        <circle cx="35.5" cy="941.5" r="15.5000247674793" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="369.5" cy="984.5" r="15.5000247674794" fill="black"/>
+        <circle cx="369.5" cy="984.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_117">
-        <circle cx="45.5" cy="1169.5" r="15.5000247674794" fill="black"/>
-        <circle cx="45.5" cy="1169.5" r="15.5000247674794" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <circle cx="-136.5" cy="1200.5" r="15.5000247674795" fill="black"/>
+        <circle cx="-136.5" cy="1200.5" r="15.5000247674795" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Graphic_120">
+        <text transform="translate(360.91 1307)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="14" font-weight="400" fill="black" x="20383695e-20" y="13">[]</tspan>
+        </text>
+      </g>
+      <g id="Graphic_122">
+        <text transform="translate(397.874 -174)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="14" font-weight="400" fill="black" x="20383695e-20" y="13">[]</tspan>
+        </text>
       </g>
     </g>
   </g>