xref: /openbsd-src/gnu/llvm/clang/docs/DataFlowAnalysisIntroImages/IntegerSetsFiniteLattice.svg (revision 12c855180aad702bbcca06e0398d774beeafb155) 
1*12c85518Srobert<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2*12c85518Srobert<svg
3*12c85518Srobert   xmlns:dc="http://purl.org/dc/elements/1.1/"
4*12c85518Srobert   xmlns:cc="http://creativecommons.org/ns#"
5*12c85518Srobert   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
6*12c85518Srobert   xmlns:svg="http://www.w3.org/2000/svg"
7*12c85518Srobert   xmlns="http://www.w3.org/2000/svg"
8*12c85518Srobert   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
9*12c85518Srobert   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
10*12c85518Srobert   id="svg8"
11*12c85518Srobert   version="1.1"
12*12c85518Srobert   viewBox="0 0 170 110"
13*12c85518Srobert   height="110mm"
14*12c85518Srobert   width="170mm">
15*12c85518Srobert  <defs
16*12c85518Srobert     id="defs2" />
17*12c85518Srobert  <g
18*12c85518Srobert     id="layer1"
19*12c85518Srobert     inkscape:groupmode="layer"
20*12c85518Srobert     inkscape:label="Layer 1">
21*12c85518Srobert    <text
22*12c85518Srobert       id="text1921"
23*12c85518Srobert       y="105.83334"
24*12c85518Srobert       x="89.958336"
25*12c85518Srobert       style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
26*12c85518Srobert       xml:space="preserve"><tspan
27*12c85518Srobert         style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583"
28*12c85518Srobert         y="105.83334"
29*12c85518Srobert         x="89.958336"
30*12c85518Srobert         id="tspan1919"
31*12c85518Srobert         sodipodi:role="line">⊥ = {}</tspan></text>
32*12c85518Srobert    <text
33*12c85518Srobert       id="text1925"
34*12c85518Srobert       y="76.729172"
35*12c85518Srobert       x="4.0951862"
36*12c85518Srobert       style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
37*12c85518Srobert       xml:space="preserve"><tspan
38*12c85518Srobert         style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583"
39*12c85518Srobert         y="76.729172"
40*12c85518Srobert         x="4.0951862"
41*12c85518Srobert         id="tspan1923"
42*12c85518Srobert         sodipodi:role="line">…</tspan></text>
43*12c85518Srobert    <text
44*12c85518Srobert       xml:space="preserve"
45*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
46*12c85518Srobert       x="27.907686"
47*12c85518Srobert       y="76.729172"
48*12c85518Srobert       id="text1925-6"><tspan
49*12c85518Srobert         sodipodi:role="line"
50*12c85518Srobert         id="tspan1923-9"
51*12c85518Srobert         x="27.907686"
52*12c85518Srobert         y="76.729172"
53*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
54*12c85518Srobert    <text
55*12c85518Srobert       xml:space="preserve"
56*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
57*12c85518Srobert       x="16.001438"
58*12c85518Srobert       y="76.729172"
59*12c85518Srobert       id="text1925-7"><tspan
60*12c85518Srobert         sodipodi:role="line"
61*12c85518Srobert         id="tspan1923-8"
62*12c85518Srobert         x="16.001438"
63*12c85518Srobert         y="76.729172"
64*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−9}</tspan></text>
65*12c85518Srobert    <text
66*12c85518Srobert       id="text1925-7-7"
67*12c85518Srobert       y="76.729172"
68*12c85518Srobert       x="39.813934"
69*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
70*12c85518Srobert       xml:space="preserve"><tspan
71*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
72*12c85518Srobert         y="76.729172"
73*12c85518Srobert         x="39.813934"
74*12c85518Srobert         id="tspan1923-8-1"
75*12c85518Srobert         sodipodi:role="line">{−5}</tspan></text>
76*12c85518Srobert    <text
77*12c85518Srobert       id="text1925-6-4"
78*12c85518Srobert       y="76.729172"
79*12c85518Srobert       x="51.720184"
80*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
81*12c85518Srobert       xml:space="preserve"><tspan
82*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
83*12c85518Srobert         y="76.729172"
84*12c85518Srobert         x="51.720184"
85*12c85518Srobert         id="tspan1923-9-4"
86*12c85518Srobert         sodipodi:role="line">…</tspan></text>
87*12c85518Srobert    <text
88*12c85518Srobert       xml:space="preserve"
89*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
90*12c85518Srobert       x="63.626438"
91*12c85518Srobert       y="76.729172"
92*12c85518Srobert       id="text1925-7-7-6"><tspan
93*12c85518Srobert         sodipodi:role="line"
94*12c85518Srobert         id="tspan1923-8-1-9"
95*12c85518Srobert         x="63.626438"
96*12c85518Srobert         y="76.729172"
97*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−3}</tspan></text>
98*12c85518Srobert    <text
99*12c85518Srobert       xml:space="preserve"
100*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
101*12c85518Srobert       x="79.501442"
102*12c85518Srobert       y="76.729172"
103*12c85518Srobert       id="text1925-7-7-67"><tspan
104*12c85518Srobert         sodipodi:role="line"
105*12c85518Srobert         id="tspan1923-8-1-8"
106*12c85518Srobert         x="79.501442"
107*12c85518Srobert         y="76.729172"
108*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−2}</tspan></text>
109*12c85518Srobert    <text
110*12c85518Srobert       xml:space="preserve"
111*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
112*12c85518Srobert       x="95.37645"
113*12c85518Srobert       y="76.729172"
114*12c85518Srobert       id="text1925-7-7-9"><tspan
115*12c85518Srobert         sodipodi:role="line"
116*12c85518Srobert         id="tspan1923-8-1-1"
117*12c85518Srobert         x="95.37645"
118*12c85518Srobert         y="76.729172"
119*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−1}</tspan></text>
120*12c85518Srobert    <text
121*12c85518Srobert       xml:space="preserve"
122*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
123*12c85518Srobert       x="109.92851"
124*12c85518Srobert       y="76.729172"
125*12c85518Srobert       id="text1925-7-7-7"><tspan
126*12c85518Srobert         sodipodi:role="line"
127*12c85518Srobert         id="tspan1923-8-1-0"
128*12c85518Srobert         x="109.92851"
129*12c85518Srobert         y="76.729172"
130*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{0}</tspan></text>
131*12c85518Srobert    <text
132*12c85518Srobert       xml:space="preserve"
133*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
134*12c85518Srobert       x="123.15768"
135*12c85518Srobert       y="76.729172"
136*12c85518Srobert       id="text1925-7-7-3"><tspan
137*12c85518Srobert         sodipodi:role="line"
138*12c85518Srobert         id="tspan1923-8-1-6"
139*12c85518Srobert         x="123.15768"
140*12c85518Srobert         y="76.729172"
141*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{1}</tspan></text>
142*12c85518Srobert    <text
143*12c85518Srobert       id="text1925-7-7-3-3"
144*12c85518Srobert       y="76.729172"
145*12c85518Srobert       x="136.38686"
146*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
147*12c85518Srobert       xml:space="preserve"><tspan
148*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
149*12c85518Srobert         y="76.729172"
150*12c85518Srobert         x="136.38686"
151*12c85518Srobert         id="tspan1923-8-1-6-8"
152*12c85518Srobert         sodipodi:role="line">{2}</tspan></text>
153*12c85518Srobert    <text
154*12c85518Srobert       id="text1925-7-7-3-31"
155*12c85518Srobert       y="76.729172"
156*12c85518Srobert       x="149.61603"
157*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
158*12c85518Srobert       xml:space="preserve"><tspan
159*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
160*12c85518Srobert         y="76.729172"
161*12c85518Srobert         x="149.61603"
162*12c85518Srobert         id="tspan1923-8-1-6-5"
163*12c85518Srobert         sodipodi:role="line">{3}</tspan></text>
164*12c85518Srobert    <text
165*12c85518Srobert       xml:space="preserve"
166*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
167*12c85518Srobert       x="160.19936"
168*12c85518Srobert       y="76.729172"
169*12c85518Srobert       id="text1925-6-4-0"><tspan
170*12c85518Srobert         sodipodi:role="line"
171*12c85518Srobert         id="tspan1923-9-4-8"
172*12c85518Srobert         x="160.19936"
173*12c85518Srobert         y="76.729172"
174*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
175*12c85518Srobert    <path
176*12c85518Srobert       sodipodi:nodetypes="cc"
177*12c85518Srobert       id="path2089"
178*12c85518Srobert       d="M 16.001436,78.052083 90.084773,100.54166"
179*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
180*12c85518Srobert    <path
181*12c85518Srobert       sodipodi:nodetypes="cc"
182*12c85518Srobert       id="path2091"
183*12c85518Srobert       d="M 39.813936,78.052083 90.084773,100.54166"
184*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
185*12c85518Srobert    <path
186*12c85518Srobert       sodipodi:nodetypes="cc"
187*12c85518Srobert       id="path2093"
188*12c85518Srobert       d="M 63.626436,78.052083 90.084773,100.54166"
189*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
190*12c85518Srobert    <path
191*12c85518Srobert       sodipodi:nodetypes="cc"
192*12c85518Srobert       id="path2095"
193*12c85518Srobert       d="M 79.501436,78.052083 90.084773,100.54166"
194*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
195*12c85518Srobert    <path
196*12c85518Srobert       sodipodi:nodetypes="cc"
197*12c85518Srobert       id="path2097"
198*12c85518Srobert       d="m 95.376433,78.052083 -5.29166,22.489577"
199*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
200*12c85518Srobert    <path
201*12c85518Srobert       sodipodi:nodetypes="cc"
202*12c85518Srobert       id="path2099"
203*12c85518Srobert       d="M 109.92852,78.052083 90.084773,100.54166"
204*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
205*12c85518Srobert    <path
206*12c85518Srobert       sodipodi:nodetypes="cc"
207*12c85518Srobert       id="path2101"
208*12c85518Srobert       d="M 123.15768,78.052083 90.084773,100.54166"
209*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
210*12c85518Srobert    <path
211*12c85518Srobert       id="path2121"
212*12c85518Srobert       d="M 136.38685,78.052082 90.084773,100.54166"
213*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
214*12c85518Srobert    <path
215*12c85518Srobert       id="path2123"
216*12c85518Srobert       d="M 149.61601,78.052082 90.084773,100.54166"
217*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
218*12c85518Srobert    <text
219*12c85518Srobert       xml:space="preserve"
220*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
221*12c85518Srobert       x="9.3868532"
222*12c85518Srobert       y="50.270832"
223*12c85518Srobert       id="text1925-62"><tspan
224*12c85518Srobert         sodipodi:role="line"
225*12c85518Srobert         id="tspan1923-98"
226*12c85518Srobert         x="9.3868532"
227*12c85518Srobert         y="50.270832"
228*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
229*12c85518Srobert    <text
230*12c85518Srobert       id="text1925-6-6"
231*12c85518Srobert       y="50.270832"
232*12c85518Srobert       x="53.043102"
233*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
234*12c85518Srobert       xml:space="preserve"><tspan
235*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
236*12c85518Srobert         y="50.270832"
237*12c85518Srobert         x="53.043102"
238*12c85518Srobert         id="tspan1923-9-0"
239*12c85518Srobert         sodipodi:role="line">…</tspan></text>
240*12c85518Srobert    <text
241*12c85518Srobert       id="text1925-7-6"
242*12c85518Srobert       y="50.270832"
243*12c85518Srobert       x="29.230604"
244*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
245*12c85518Srobert       xml:space="preserve"><tspan
246*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
247*12c85518Srobert         y="50.270832"
248*12c85518Srobert         x="29.230604"
249*12c85518Srobert         id="tspan1923-8-18"
250*12c85518Srobert         sodipodi:role="line">{−9, −5}</tspan></text>
251*12c85518Srobert    <text
252*12c85518Srobert       xml:space="preserve"
253*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
254*12c85518Srobert       x="79.501442"
255*12c85518Srobert       y="50.270832"
256*12c85518Srobert       id="text1925-7-7-31"><tspan
257*12c85518Srobert         sodipodi:role="line"
258*12c85518Srobert         id="tspan1923-8-1-87"
259*12c85518Srobert         x="79.501442"
260*12c85518Srobert         y="50.270832"
261*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−3, −1}</tspan></text>
262*12c85518Srobert    <text
263*12c85518Srobert       xml:space="preserve"
264*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
265*12c85518Srobert       x="108.60561"
266*12c85518Srobert       y="50.270832"
267*12c85518Srobert       id="text1925-6-4-5"><tspan
268*12c85518Srobert         sodipodi:role="line"
269*12c85518Srobert         id="tspan1923-9-4-85"
270*12c85518Srobert         x="108.60561"
271*12c85518Srobert         y="50.270832"
272*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
273*12c85518Srobert    <text
274*12c85518Srobert       id="text1925-7-7-6-0"
275*12c85518Srobert       y="50.270832"
276*12c85518Srobert       x="129.77228"
277*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
278*12c85518Srobert       xml:space="preserve"><tspan
279*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
280*12c85518Srobert         y="50.270832"
281*12c85518Srobert         x="129.77228"
282*12c85518Srobert         id="tspan1923-8-1-9-0"
283*12c85518Srobert         sodipodi:role="line">{1, 2}</tspan></text>
284*12c85518Srobert    <text
285*12c85518Srobert       id="text1925-6-4-5-3"
286*12c85518Srobert       y="50.270832"
287*12c85518Srobert       x="149.61603"
288*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
289*12c85518Srobert       xml:space="preserve"><tspan
290*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
291*12c85518Srobert         y="50.270832"
292*12c85518Srobert         x="149.61603"
293*12c85518Srobert         id="tspan1923-9-4-85-4"
294*12c85518Srobert         sodipodi:role="line">…</tspan></text>
295*12c85518Srobert    <path
296*12c85518Srobert       id="path2191"
297*12c85518Srobert       d="M 16.001436,71.437499 29.230603,51.59375"
298*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
299*12c85518Srobert       sodipodi:nodetypes="cc" />
300*12c85518Srobert    <path
301*12c85518Srobert       id="path2193"
302*12c85518Srobert       d="M 39.813936,71.437499 29.230603,51.59375"
303*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
304*12c85518Srobert       sodipodi:nodetypes="cc" />
305*12c85518Srobert    <path
306*12c85518Srobert       id="path2195"
307*12c85518Srobert       d="M 63.626435,71.437499 79.501436,51.59375"
308*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
309*12c85518Srobert       sodipodi:nodetypes="cc" />
310*12c85518Srobert    <path
311*12c85518Srobert       id="path2197"
312*12c85518Srobert       d="M 95.376433,71.437499 79.501436,51.59375"
313*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
314*12c85518Srobert       sodipodi:nodetypes="cc" />
315*12c85518Srobert    <path
316*12c85518Srobert       id="path2199"
317*12c85518Srobert       d="M 124.4806,71.437499 129.77227,51.59375"
318*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
319*12c85518Srobert       sodipodi:nodetypes="cc" />
320*12c85518Srobert    <path
321*12c85518Srobert       id="path2201"
322*12c85518Srobert       d="M 135.06393,71.437499 129.77227,51.59375"
323*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
324*12c85518Srobert       sodipodi:nodetypes="cc" />
325*12c85518Srobert    <path
326*12c85518Srobert       sodipodi:nodetypes="cc"
327*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
328*12c85518Srobert       d="M 129.77226,44.979165 128.44935,25.135416"
329*12c85518Srobert       id="path2201-1" />
330*12c85518Srobert    <text
331*12c85518Srobert       xml:space="preserve"
332*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
333*12c85518Srobert       x="128.44936"
334*12c85518Srobert       y="23.812502"
335*12c85518Srobert       id="text1925-7-7-6-0-2"><tspan
336*12c85518Srobert         sodipodi:role="line"
337*12c85518Srobert         id="tspan1923-8-1-9-0-9"
338*12c85518Srobert         x="128.44936"
339*12c85518Srobert         y="23.812502"
340*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{1, 2, 3}</tspan></text>
341*12c85518Srobert    <path
342*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
343*12c85518Srobert       d="M 149.61601,71.437499 128.44935,25.135416"
344*12c85518Srobert       id="path205" />
345*12c85518Srobert    <text
346*12c85518Srobert       id="text1925-6-4-5-0"
347*12c85518Srobert       y="23.812502"
348*12c85518Srobert       x="112.57436"
349*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
350*12c85518Srobert       xml:space="preserve"><tspan
351*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
352*12c85518Srobert         y="23.812502"
353*12c85518Srobert         x="112.57436"
354*12c85518Srobert         id="tspan1923-9-4-85-5"
355*12c85518Srobert         sodipodi:role="line">…</tspan></text>
356*12c85518Srobert    <text
357*12c85518Srobert       id="text1925-6-4-5-7"
358*12c85518Srobert       y="23.812502"
359*12c85518Srobert       x="143.00143"
360*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
361*12c85518Srobert       xml:space="preserve"><tspan
362*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
363*12c85518Srobert         y="23.812502"
364*12c85518Srobert         x="143.00143"
365*12c85518Srobert         id="tspan1923-9-4-85-0"
366*12c85518Srobert         sodipodi:role="line">…</tspan></text>
367*12c85518Srobert    <text
368*12c85518Srobert       id="text1925-7-7-6-0-2-0"
369*12c85518Srobert       y="6.6145835"
370*12c85518Srobert       x="90.084763"
371*12c85518Srobert       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
372*12c85518Srobert       xml:space="preserve"><tspan
373*12c85518Srobert         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
374*12c85518Srobert         y="6.6145835"
375*12c85518Srobert         x="90.084763"
376*12c85518Srobert         id="tspan1923-8-1-9-0-9-0"
377*12c85518Srobert         sodipodi:role="line">⊤ = ℤ</tspan></text>
378*12c85518Srobert    <path
379*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
380*12c85518Srobert       d="M 90.084773,7.9374993 128.44935,18.520833"
381*12c85518Srobert       id="path253" />
382*12c85518Srobert    <path
383*12c85518Srobert       id="path253-2"
384*12c85518Srobert       d="M 90.084773,7.9375003 108.6056,44.979166"
385*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
386*12c85518Srobert       sodipodi:nodetypes="cc" />
387*12c85518Srobert    <path
388*12c85518Srobert       id="path253-8"
389*12c85518Srobert       d="M 90.084773,7.9375003 79.501436,44.979166"
390*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
391*12c85518Srobert       sodipodi:nodetypes="cc" />
392*12c85518Srobert    <path
393*12c85518Srobert       id="path253-6"
394*12c85518Srobert       d="M 90.084773,7.9375003 53.043103,44.979166"
395*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
396*12c85518Srobert       sodipodi:nodetypes="cc" />
397*12c85518Srobert    <path
398*12c85518Srobert       id="path253-4"
399*12c85518Srobert       d="M 90.084773,7.9375003 29.230603,44.979166"
400*12c85518Srobert       style="fill:none;stroke:#000000;stroke-width:0.26499901;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
401*12c85518Srobert       sodipodi:nodetypes="cc" />
402*12c85518Srobert  </g>
403*12c85518Srobert</svg>
404