Mercurial > hg > Gears > GearsAgda

changeset 603:41e1c9e9718d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add fig
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 02 Nov 2021 19:32:10 +0900
parents 0dbbcab02864
children 2075785a124a
files fig/tree-invariant.graffle fig/tree-invariant.svg
diffstat 2 files changed, 337 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
Binary file fig/tree-invariant.graffle has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/fig/tree-invariant.svg	Tue Nov 02 19:32:10 2021 +0900
@@ -0,0 +1,337 @@
+<?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">
+  <defs>
+    <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>
+  </defs>
+  <metadata> Produced by OmniGraffle 7.18.5\n2021-11-02 10:28:31 +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"/>
+    <g id="Canvas_1_Layer_1">
+      <title>Layer 1</title>
+      <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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </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"/>
+      </g>
+    </g>
+  </g>
+</svg>