Mercurial > hg > Members > Moririn
changeset 607:b78dc85d76d6
...
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>