Mercurial > hg > Members > kono > Proof > automaton

annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
3 <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">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
4 <defs/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
5 <g id="Canvas_1" stroke-dasharray="none" stroke-opacity="1" stroke="none" fill="none" fill-opacity="1">
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 <title>Canvas 1</title>
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
7 <rect fill="white" x="95" y="115" width="682" height="604"/>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 <g id="Canvas_1_Layer_1">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 <title>Layer 1</title>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 <g id="Graphic_3">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
11 <rect x="97" y="200.8562" width="44" height="40" fill="white"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
12 <rect x="97" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
13 <text transform="translate(102 211.6322)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
14 <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.704" y="15">a</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 <g id="Graphic_4">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
18 <rect x="157" y="200.8562" width="44" height="40" fill="white"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
19 <rect x="157" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
20 <text transform="translate(162 211.6322)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
21 <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.256" y="15">b</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 <g id="Graphic_5">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
25 <rect x="217" y="200.8562" width="44" height="40" fill="white"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
26 <rect x="217" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
27 <text transform="translate(222 211.6322)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
28 <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.704" y="15">c</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 <g id="Graphic_6">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
32 <rect x="277" y="200.8562" width="44" height="40" fill="white"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
33 <rect x="277" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
34 <text transform="translate(282 211.6322)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
35 <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="14.632" y="15">f</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 <g id="Graphic_7">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
39 <rect x="337" y="200.8562" width="44" height="40" fill="white"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
40 <rect x="337" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
41 <text transform="translate(342 211.6322)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
42 <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.256" y="15">b</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 <g id="Graphic_8">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
46 <rect x="397" y="200.8562" width="44" height="40" fill="white"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
47 <rect x="397" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
48 <text transform="translate(402 211.6322)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
49 <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="14.632" y="15">f</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 <g id="Graphic_9">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
53 <rect x="457" y="200.8562" width="44" height="40" fill="white"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
54 <rect x="457" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
55 <text transform="translate(462 211.6322)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
56 <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="14.632" y="15">f</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 <g id="Graphic_10">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
60 <rect x="517" y="200.8562" width="44" height="40" fill="white"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
61 <rect x="517" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
62 <text transform="translate(522 211.6322)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
63 <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.256" y="15">b</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 <g id="Graphic_11">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
67 <rect x="577" y="200.8562" width="44" height="40" fill="white"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
68 <rect x="577" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
69 <text transform="translate(582 211.6322)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
70 <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.704" y="15">c</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 <g id="Graphic_12">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
74 <rect x="637" y="200.8562" width="44" height="40" fill="white"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
75 <rect x="637" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
76 <text transform="translate(642 211.6322)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
77 <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.256" y="15">d</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 <g id="Graphic_13">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
81 <rect x="697" y="200.8562" width="44" height="40" fill="white"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
82 <rect x="697" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
83 <text transform="translate(702 211.6322)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
84 <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="14.632" y="15">f</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 </g>
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
87 <g id="Graphic_14"/>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 <g id="Line_18">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 <line x1="97" y1="495.1482" x2="321" y2="495.1482" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 <g id="Line_19">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 <line x1="343" y1="495.1482" x2="747" y2="495.1482" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 <g id="Graphic_20">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
95 <text transform="translate(105.12 297.9602)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
96 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">ae</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 <g id="Graphic_21">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 <text transform="translate(233.28 297.9602)" fill="black">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
101 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b1</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 <g id="Graphic_22">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 <text transform="translate(350.384 283.5122)" fill="black">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
106 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">…</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 <g id="Graphic_23">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
110 <text transform="translate(711.34 297.9602)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
111 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">be</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 <g id="Line_25">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 <line x1="97" y1="278.5122" x2="147" y2="278.5122" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
116 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 <g id="Line_24">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 <line x1="163" y1="278.5122" x2="747" y2="278.5122" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
120 <g id="Graphic_31">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
121 <text transform="translate(114.572 402.2102)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
122 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">a0 ae</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
124 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
125 <g id="Graphic_30">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
126 <text transform="translate(231.588 402.2102)" fill="black">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
127 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b0</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
128 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
129 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
130 <g id="Graphic_29">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 <text transform="translate(350.384 384.4082)" fill="black">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
132 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">…</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
134 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
135 <g id="Graphic_28">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
136 <text transform="translate(711.34 403.5852)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
137 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">be</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
138 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
139 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
140 <g id="Line_27">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
141 <path d="M 97 379.4082 L 211.46 379.4082 L 193.06 379.4082" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
142 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
143 <g id="Line_26">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
144 <line x1="226.588" y1="379.4082" x2="747" y2="379.4082" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
145 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
146 <g id="Graphic_32">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
147 <text transform="translate(168 297.9602)" fill="black">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
148 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b0</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
149 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
150 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
151 <g id="Graphic_37">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
152 <text transform="translate(666 610.4082)" fill="black">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
153 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b0</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
154 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
155 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
156 <g id="Graphic_36">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
157 <text transform="translate(352.896 606.4602)" fill="black">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
158 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">…</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
159 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
160 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
161 <g id="Graphic_35">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
162 <text transform="translate(721.816 610.4082)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
163 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">be</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
164 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
165 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
166 <g id="Line_34">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
167 <line x1="666.916" y1="601.4602" x2="762.976" y2="601.4602" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
168 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
169 <g id="Line_33">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
170 <line x1="97" y1="601.4602" x2="641.056" y2="601.4602" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
171 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
172 <g id="Graphic_39">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
173 <text transform="translate(610.2 610.4082)" fill="black">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
174 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">ae</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
175 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
176 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
177 <g id="Graphic_40">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
178 <text transform="translate(499.923 681.6162)" fill="black">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
179 <tspan font-family="Helvetica Neue" font-size="26" fill="black" x="0" y="25">success at one of them</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
180 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
181 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
182 <g id="Graphic_42">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
183 <text transform="translate(108 610.4082)" fill="black">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
184 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">a0 a1</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
185 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
186 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
187 <g id="Graphic_56">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
188 <text transform="translate(108.888 510.4082)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
189 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="29842795e-20" y="30">a0 a1 a2 ae</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
190 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
191 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
192 <g id="Graphic_55"/>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
193 <g id="Graphic_54">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
194 <text transform="translate(423 491.4082)" fill="black">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
195 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">…</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
196 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
197 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
198 <g id="Graphic_53">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
199 <text transform="translate(711.34 510.4082)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
200 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">be</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
201 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
202 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
203 <g id="Graphic_57">
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
204 <text transform="translate(350.384 509.2102)" fill="black">
331
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
205 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b0</tspan>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
206 </text>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
207 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
208 <g id="Line_59">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
209 <line x1="99.816" y1="261.5" x2="99.816" y2="288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
210 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
211 <g id="Line_60">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
212 <line x1="147" y1="261.5" x2="147" y2="288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
213 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
214 <g id="Line_61">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
215 <line x1="163" y1="261.5" x2="163" y2="288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
216 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
217 <g id="Line_62">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
218 <line x1="747" y1="261.5" x2="747" y2="288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
219 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
220 <g id="Line_63">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
221 <line x1="99.816" y1="363.33617" x2="99.816" y2="389.83617" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
222 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
223 <g id="Line_64">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
224 <line x1="96" y1="482.3982" x2="96" y2="508.8982" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
225 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
226 <g id="Line_65">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
227 <line x1="96" y1="584.5" x2="96" y2="611" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
228 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
229 <g id="Line_66">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
230 <line x1="217" y1="363.33617" x2="218" y2="389.67797" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
231 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
232 <g id="Line_67">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
233 <line x1="228.28" y1="363.33617" x2="228.28" y2="389.83617" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
234 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
235 <g id="Line_68">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
236 <line x1="747" y1="363.33617" x2="747" y2="389.83617" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
237 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
238 <g id="Line_69">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
239 <line x1="321" y1="478.9082" x2="321" y2="505.4082" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
240 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
241 <g id="Line_70">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
242 <line x1="345.384" y1="482.3982" x2="345.384" y2="508.8982" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
243 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
244 <g id="Line_71">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
245 <line x1="751.5" y1="477.7102" x2="751.5" y2="504.2102" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
246 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
247 <g id="Line_72">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
248 <line x1="762.976" y1="588.7102" x2="762.976" y2="615.2102" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
249 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
250 <g id="Line_74">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
251 <line x1="643.768" y1="584.5" x2="643.768" y2="611" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
252 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
253 <g id="Line_75">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
254 <line x1="666.916" y1="584.5" x2="666.916" y2="611" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
255 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
256 <g id="Graphic_76">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
257 <text transform="translate(214.16 120.3042)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
258 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">a0 a1 .. ae</tspan>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
259 </text>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
260 </g>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
261 <g id="Graphic_77">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
262 <text transform="translate(424.832 120.3042)" fill="black">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 141
diff changeset
263 <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">b0 b1 .. be</tspan>
141
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
264 </text>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
265 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
266 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
267 </g>
b3f05cd08d24 clean up
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
268 </svg>