Mercurial > hg > Members > kono > Proof > automaton

diff a04/fig/concat.svg @ 331:9324852d3a17

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, 07 Dec 2022 14:51:25 +0900
parents b3f05cd08d24
children
line wrap: on
line diff
--- a/a04/fig/concat.svg	Wed Nov 16 17:43:10 2022 +0900
+++ b/a04/fig/concat.svg	Wed Dec 07 14:51:25 2022 +0900
@@ -1,122 +1,90 @@
 <?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 version="1.1" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" viewBox="96 65 681 696" width="681" height="696">
-  <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>
-    <font-face font-family="Helvetica Neue" font-size="32" 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>
-    <font-face font-family="Helvetica Neue" font-size="26" 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\n2020-12-09 05:54:46 +0000</metadata>
-  <g id="Canvas_1" stroke="none" fill-opacity="1" fill="none" stroke-dasharray="none" stroke-opacity="1">
+<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="95 115 682 604" width="682" height="604">
+  <defs/>
+  <g id="Canvas_1" stroke-dasharray="none" stroke-opacity="1" stroke="none" fill="none" fill-opacity="1">
     <title>Canvas 1</title>
-    <rect fill="white" x="96" y="65" width="681" height="696"/>
+    <rect fill="white" x="95" y="115" width="682" height="604"/>
     <g id="Canvas_1_Layer_1">
       <title>Layer 1</title>
       <g id="Graphic_3">
-        <rect x="103" y="110" width="44" height="40" fill="white"/>
-        <rect x="103" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-        <text transform="translate(108 120.776)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.704" y="15">a</tspan>
+        <rect x="97" y="200.8562" width="44" height="40" fill="white"/>
+        <rect x="97" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(102 211.6322)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.704" y="15">a</tspan>
         </text>
       </g>
       <g id="Graphic_4">
-        <rect x="163" y="110" width="44" height="40" fill="white"/>
-        <rect x="163" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-        <text transform="translate(168 120.776)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.256" y="15">b</tspan>
+        <rect x="157" y="200.8562" width="44" height="40" fill="white"/>
+        <rect x="157" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(162 211.6322)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.256" y="15">b</tspan>
         </text>
       </g>
       <g id="Graphic_5">
-        <rect x="223" y="110" width="44" height="40" fill="white"/>
-        <rect x="223" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-        <text transform="translate(228 120.776)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.704" y="15">c</tspan>
+        <rect x="217" y="200.8562" width="44" height="40" fill="white"/>
+        <rect x="217" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(222 211.6322)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.704" y="15">c</tspan>
         </text>
       </g>
       <g id="Graphic_6">
-        <rect x="283" y="110" width="44" height="40" fill="white"/>
-        <rect x="283" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-        <text transform="translate(288 120.776)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="14.632" y="15">f</tspan>
+        <rect x="277" y="200.8562" width="44" height="40" fill="white"/>
+        <rect x="277" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(282 211.6322)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="14.632" y="15">f</tspan>
         </text>
       </g>
       <g id="Graphic_7">
-        <rect x="343" y="110" width="44" height="40" fill="white"/>
-        <rect x="343" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-        <text transform="translate(348 120.776)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.256" y="15">b</tspan>
+        <rect x="337" y="200.8562" width="44" height="40" fill="white"/>
+        <rect x="337" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(342 211.6322)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.256" y="15">b</tspan>
         </text>
       </g>
       <g id="Graphic_8">
-        <rect x="403" y="110" width="44" height="40" fill="white"/>
-        <rect x="403" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-        <text transform="translate(408 120.776)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="14.632" y="15">f</tspan>
+        <rect x="397" y="200.8562" width="44" height="40" fill="white"/>
+        <rect x="397" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(402 211.6322)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="14.632" y="15">f</tspan>
         </text>
       </g>
       <g id="Graphic_9">
-        <rect x="463" y="110" width="44" height="40" fill="white"/>
-        <rect x="463" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-        <text transform="translate(468 120.776)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="14.632" y="15">f</tspan>
+        <rect x="457" y="200.8562" width="44" height="40" fill="white"/>
+        <rect x="457" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(462 211.6322)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="14.632" y="15">f</tspan>
         </text>
       </g>
       <g id="Graphic_10">
-        <rect x="523" y="110" width="44" height="40" fill="white"/>
-        <rect x="523" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-        <text transform="translate(528 120.776)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.256" y="15">b</tspan>
+        <rect x="517" y="200.8562" width="44" height="40" fill="white"/>
+        <rect x="517" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(522 211.6322)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.256" y="15">b</tspan>
         </text>
       </g>
       <g id="Graphic_11">
-        <rect x="583" y="110" width="44" height="40" fill="white"/>
-        <rect x="583" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-        <text transform="translate(588 120.776)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.704" y="15">c</tspan>
+        <rect x="577" y="200.8562" width="44" height="40" fill="white"/>
+        <rect x="577" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(582 211.6322)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.704" y="15">c</tspan>
         </text>
       </g>
       <g id="Graphic_12">
-        <rect x="643" y="110" width="44" height="40" fill="white"/>
-        <rect x="643" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-        <text transform="translate(648 120.776)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.256" y="15">d</tspan>
+        <rect x="637" y="200.8562" width="44" height="40" fill="white"/>
+        <rect x="637" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(642 211.6322)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.256" y="15">d</tspan>
         </text>
       </g>
       <g id="Graphic_13">
-        <rect x="703" y="110" width="44" height="40" fill="white"/>
-        <rect x="703" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-        <text transform="translate(708 120.776)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="14.632" y="15">f</tspan>
-        </text>
-      </g>
-      <g id="Graphic_14">
-        <text transform="translate(197 211.5122)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="4.804" y="30">(a.*f)</tspan>
+        <rect x="697" y="200.8562" width="44" height="40" fill="white"/>
+        <rect x="697" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(702 211.6322)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="14.632" y="15">f</tspan>
         </text>
       </g>
-      <g id="Graphic_15">
-        <text transform="translate(579 211.5122)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="3.908" y="30">(b.*f)</tspan>
-        </text>
-      </g>
-      <g id="Line_16">
-        <line x1="103" y1="180" x2="507" y2="180" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-      </g>
-      <g id="Line_17">
-        <line x1="518" y1="180" x2="753" y2="180" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
-      </g>
+      <g id="Graphic_14"/>
       <g id="Line_18">
         <line x1="97" y1="495.1482" x2="321" y2="495.1482" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
@@ -124,24 +92,23 @@
         <line x1="343" y1="495.1482" x2="747" y2="495.1482" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_20">
-        <text transform="translate(104.816 297.9602)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">a0</tspan>
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x=".304" y="67.896">ae</tspan>
+        <text transform="translate(105.12 297.9602)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">ae</tspan>
         </text>
       </g>
       <g id="Graphic_21">
         <text transform="translate(233.28 297.9602)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="14210855e-21" y="30">b1</tspan>
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b1</tspan>
         </text>
       </g>
       <g id="Graphic_22">
         <text transform="translate(350.384 283.5122)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">…</tspan>
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">…</tspan>
         </text>
       </g>
       <g id="Graphic_23">
-        <text transform="translate(721.816 297.9602)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">be</tspan>
+        <text transform="translate(711.34 297.9602)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">be</tspan>
         </text>
       </g>
       <g id="Line_25">
@@ -151,24 +118,23 @@
         <line x1="163" y1="278.5122" x2="747" y2="278.5122" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
       </g>
       <g id="Graphic_31">
-        <text transform="translate(109.82 402.2102)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">a0   a1</tspan>
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="44.48" y="67.896">  ae</tspan>
+        <text transform="translate(114.572 402.2102)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">a0  ae</tspan>
         </text>
       </g>
       <g id="Graphic_30">
         <text transform="translate(231.588 402.2102)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="14210855e-21" y="30">b0</tspan>
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b0</tspan>
         </text>
       </g>
       <g id="Graphic_29">
         <text transform="translate(350.384 384.4082)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">…</tspan>
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">…</tspan>
         </text>
       </g>
       <g id="Graphic_28">
-        <text transform="translate(729 402.2102)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">be</tspan>
+        <text transform="translate(711.34 403.5852)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">be</tspan>
         </text>
       </g>
       <g id="Line_27">
@@ -179,22 +145,22 @@
       </g>
       <g id="Graphic_32">
         <text transform="translate(168 297.9602)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="14210855e-21" y="30">b0</tspan>
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b0</tspan>
         </text>
       </g>
       <g id="Graphic_37">
         <text transform="translate(666 610.4082)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="14210855e-21" y="30">b0</tspan>
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b0</tspan>
         </text>
       </g>
       <g id="Graphic_36">
         <text transform="translate(352.896 606.4602)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">…</tspan>
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">…</tspan>
         </text>
       </g>
       <g id="Graphic_35">
-        <text transform="translate(729 610.4082)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">be</tspan>
+        <text transform="translate(721.816 610.4082)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">be</tspan>
         </text>
       </g>
       <g id="Line_34">
@@ -205,45 +171,96 @@
       </g>
       <g id="Graphic_39">
         <text transform="translate(610.2 610.4082)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">ae</tspan>
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">ae</tspan>
         </text>
       </g>
       <g id="Graphic_40">
         <text transform="translate(499.923 681.6162)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="26" font-weight="400" fill="black" x="0" y="25">success at one of them</tspan>
+          <tspan font-family="Helvetica Neue" font-size="26" fill="black" x="0" y="25">success at one of them</tspan>
         </text>
       </g>
-      <g id="Line_41">
-        <line x1="334.5" y1="132.51221" x2="334.5" y2="760.3286" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
-      </g>
       <g id="Graphic_42">
         <text transform="translate(108 610.4082)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">a0   a1</tspan>
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">a0   a1</tspan>
         </text>
       </g>
       <g id="Graphic_56">
-        <text transform="translate(108.584 510.4082)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="3836931e-19" y="30">a0   a1   a2   a3</tspan>
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="167.808" y="67.896">  ae</tspan>
+        <text transform="translate(108.888 510.4082)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="29842795e-20" y="30">a0   a1   a2   ae</tspan>
         </text>
       </g>
       <g id="Graphic_55"/>
       <g id="Graphic_54">
         <text transform="translate(423 491.4082)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">…</tspan>
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">…</tspan>
         </text>
       </g>
       <g id="Graphic_53">
-        <text transform="translate(729 509.2102)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">be</tspan>
+        <text transform="translate(711.34 510.4082)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">be</tspan>
         </text>
       </g>
-      <g id="Line_50">
-        <path d="M 335.692 66 L 335.92247 95.50391 L 335.692 693.8164" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
-      </g>
       <g id="Graphic_57">
         <text transform="translate(350.384 509.2102)" fill="black">
-          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="14210855e-21" y="30">b0</tspan>
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b0</tspan>
+        </text>
+      </g>
+      <g id="Line_59">
+        <line x1="99.816" y1="261.5" x2="99.816" y2="288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_60">
+        <line x1="147" y1="261.5" x2="147" y2="288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_61">
+        <line x1="163" y1="261.5" x2="163" y2="288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_62">
+        <line x1="747" y1="261.5" x2="747" y2="288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_63">
+        <line x1="99.816" y1="363.33617" x2="99.816" y2="389.83617" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_64">
+        <line x1="96" y1="482.3982" x2="96" y2="508.8982" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_65">
+        <line x1="96" y1="584.5" x2="96" y2="611" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_66">
+        <line x1="217" y1="363.33617" x2="218" y2="389.67797" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_67">
+        <line x1="228.28" y1="363.33617" x2="228.28" y2="389.83617" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_68">
+        <line x1="747" y1="363.33617" x2="747" y2="389.83617" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_69">
+        <line x1="321" y1="478.9082" x2="321" y2="505.4082" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_70">
+        <line x1="345.384" y1="482.3982" x2="345.384" y2="508.8982" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_71">
+        <line x1="751.5" y1="477.7102" x2="751.5" y2="504.2102" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_72">
+        <line x1="762.976" y1="588.7102" x2="762.976" y2="615.2102" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_74">
+        <line x1="643.768" y1="584.5" x2="643.768" y2="611" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_75">
+        <line x1="666.916" y1="584.5" x2="666.916" y2="611" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Graphic_76">
+        <text transform="translate(214.16 120.3042)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">a0 a1 .. ae</tspan>
+        </text>
+      </g>
+      <g id="Graphic_77">
+        <text transform="translate(424.832 120.3042)" fill="black">
+          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">b0 b1 .. be</tspan>
         </text>
       </g>
     </g>