<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
id="svg8"
version="1.1"
viewBox="0 0 170 110"
height="110mm"
width="170mm">
<defs
id="defs2" />
<g
id="layer1"
inkscape:groupmode="layer"
inkscape:label="Layer 1">
<text
id="text1921"
y="105.83334"
x="89.958336"
style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
xml:space="preserve"><tspan
style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="105.83334"
x="89.958336"
id="tspan1919"
sodipodi:role="line">⊥ = {}</tspan></text>
<text
id="text1925"
y="76.729172"
x="4.0951862"
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"
xml:space="preserve"><tspan
style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="76.729172"
x="4.0951862"
id="tspan1923"
sodipodi:role="line">…</tspan></text>
<text
xml:space="preserve"
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"
x="27.907686"
y="76.729172"
id="text1925-6"><tspan
sodipodi:role="line"
id="tspan1923-9"
x="27.907686"
y="76.729172"
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
<text
xml:space="preserve"
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"
x="16.001438"
y="76.729172"
id="text1925-7"><tspan
sodipodi:role="line"
id="tspan1923-8"
x="16.001438"
y="76.729172"
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−9}</tspan></text>
<text
id="text1925-7-7"
y="76.729172"
x="39.813934"
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"
xml:space="preserve"><tspan
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="76.729172"
x="39.813934"
id="tspan1923-8-1"
sodipodi:role="line">{−5}</tspan></text>
<text
id="text1925-6-4"
y="76.729172"
x="51.720184"
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"
xml:space="preserve"><tspan
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="76.729172"
x="51.720184"
id="tspan1923-9-4"
sodipodi:role="line">…</tspan></text>
<text
xml:space="preserve"
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"
x="63.626438"
y="76.729172"
id="text1925-7-7-6"><tspan
sodipodi:role="line"
id="tspan1923-8-1-9"
x="63.626438"
y="76.729172"
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−3}</tspan></text>
<text
xml:space="preserve"
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"
x="79.501442"
y="76.729172"
id="text1925-7-7-67"><tspan
sodipodi:role="line"
id="tspan1923-8-1-8"
x="79.501442"
y="76.729172"
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−2}</tspan></text>
<text
xml:space="preserve"
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"
x="95.37645"
y="76.729172"
id="text1925-7-7-9"><tspan
sodipodi:role="line"
id="tspan1923-8-1-1"
x="95.37645"
y="76.729172"
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−1}</tspan></text>
<text
xml:space="preserve"
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"
x="109.92851"
y="76.729172"
id="text1925-7-7-7"><tspan
sodipodi:role="line"
id="tspan1923-8-1-0"
x="109.92851"
y="76.729172"
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{0}</tspan></text>
<text
xml:space="preserve"
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"
x="123.15768"
y="76.729172"
id="text1925-7-7-3"><tspan
sodipodi:role="line"
id="tspan1923-8-1-6"
x="123.15768"
y="76.729172"
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{1}</tspan></text>
<text
id="text1925-7-7-3-3"
y="76.729172"
x="136.38686"
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"
xml:space="preserve"><tspan
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="76.729172"
x="136.38686"
id="tspan1923-8-1-6-8"
sodipodi:role="line">{2}</tspan></text>
<text
id="text1925-7-7-3-31"
y="76.729172"
x="149.61603"
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"
xml:space="preserve"><tspan
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="76.729172"
x="149.61603"
id="tspan1923-8-1-6-5"
sodipodi:role="line">{3}</tspan></text>
<text
xml:space="preserve"
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"
x="160.19936"
y="76.729172"
id="text1925-6-4-0"><tspan
sodipodi:role="line"
id="tspan1923-9-4-8"
x="160.19936"
y="76.729172"
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
<path
sodipodi:nodetypes="cc"
id="path2089"
d="M 16.001436,78.052083 90.084773,100.54166"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
sodipodi:nodetypes="cc"
id="path2091"
d="M 39.813936,78.052083 90.084773,100.54166"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
sodipodi:nodetypes="cc"
id="path2093"
d="M 63.626436,78.052083 90.084773,100.54166"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
sodipodi:nodetypes="cc"
id="path2095"
d="M 79.501436,78.052083 90.084773,100.54166"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
sodipodi:nodetypes="cc"
id="path2097"
d="m 95.376433,78.052083 -5.29166,22.489577"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
sodipodi:nodetypes="cc"
id="path2099"
d="M 109.92852,78.052083 90.084773,100.54166"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
sodipodi:nodetypes="cc"
id="path2101"
d="M 123.15768,78.052083 90.084773,100.54166"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
id="path2121"
d="M 136.38685,78.052082 90.084773,100.54166"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
id="path2123"
d="M 149.61601,78.052082 90.084773,100.54166"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<text
xml:space="preserve"
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"
x="9.3868532"
y="50.270832"
id="text1925-62"><tspan
sodipodi:role="line"
id="tspan1923-98"
x="9.3868532"
y="50.270832"
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
<text
id="text1925-6-6"
y="50.270832"
x="53.043102"
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"
xml:space="preserve"><tspan
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="50.270832"
x="53.043102"
id="tspan1923-9-0"
sodipodi:role="line">…</tspan></text>
<text
id="text1925-7-6"
y="50.270832"
x="29.230604"
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"
xml:space="preserve"><tspan
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="50.270832"
x="29.230604"
id="tspan1923-8-18"
sodipodi:role="line">{−9, −5}</tspan></text>
<text
xml:space="preserve"
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"
x="79.501442"
y="50.270832"
id="text1925-7-7-31"><tspan
sodipodi:role="line"
id="tspan1923-8-1-87"
x="79.501442"
y="50.270832"
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−3, −1}</tspan></text>
<text
xml:space="preserve"
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"
x="108.60561"
y="50.270832"
id="text1925-6-4-5"><tspan
sodipodi:role="line"
id="tspan1923-9-4-85"
x="108.60561"
y="50.270832"
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
<text
id="text1925-7-7-6-0"
y="50.270832"
x="129.77228"
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"
xml:space="preserve"><tspan
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="50.270832"
x="129.77228"
id="tspan1923-8-1-9-0"
sodipodi:role="line">{1, 2}</tspan></text>
<text
id="text1925-6-4-5-3"
y="50.270832"
x="149.61603"
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"
xml:space="preserve"><tspan
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="50.270832"
x="149.61603"
id="tspan1923-9-4-85-4"
sodipodi:role="line">…</tspan></text>
<path
id="path2191"
d="M 16.001436,71.437499 29.230603,51.59375"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
sodipodi:nodetypes="cc" />
<path
id="path2193"
d="M 39.813936,71.437499 29.230603,51.59375"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
sodipodi:nodetypes="cc" />
<path
id="path2195"
d="M 63.626435,71.437499 79.501436,51.59375"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
sodipodi:nodetypes="cc" />
<path
id="path2197"
d="M 95.376433,71.437499 79.501436,51.59375"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
sodipodi:nodetypes="cc" />
<path
id="path2199"
d="M 124.4806,71.437499 129.77227,51.59375"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
sodipodi:nodetypes="cc" />
<path
id="path2201"
d="M 135.06393,71.437499 129.77227,51.59375"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
sodipodi:nodetypes="cc" />
<path
sodipodi:nodetypes="cc"
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 129.77226,44.979165 128.44935,25.135416"
id="path2201-1" />
<text
xml:space="preserve"
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"
x="128.44936"
y="23.812502"
id="text1925-7-7-6-0-2"><tspan
sodipodi:role="line"
id="tspan1923-8-1-9-0-9"
x="128.44936"
y="23.812502"
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{1, 2, 3}</tspan></text>
<path
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 149.61601,71.437499 128.44935,25.135416"
id="path205" />
<text
id="text1925-6-4-5-0"
y="23.812502"
x="112.57436"
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"
xml:space="preserve"><tspan
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="23.812502"
x="112.57436"
id="tspan1923-9-4-85-5"
sodipodi:role="line">…</tspan></text>
<text
id="text1925-6-4-5-7"
y="23.812502"
x="143.00143"
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"
xml:space="preserve"><tspan
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="23.812502"
x="143.00143"
id="tspan1923-9-4-85-0"
sodipodi:role="line">…</tspan></text>
<text
id="text1925-7-7-6-0-2-0"
y="6.6145835"
x="90.084763"
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"
xml:space="preserve"><tspan
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
y="6.6145835"
x="90.084763"
id="tspan1923-8-1-9-0-9-0"
sodipodi:role="line">⊤ = ℤ</tspan></text>
<path
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"
d="M 90.084773,7.9374993 128.44935,18.520833"
id="path253" />
<path
id="path253-2"
d="M 90.084773,7.9375003 108.6056,44.979166"
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"
sodipodi:nodetypes="cc" />
<path
id="path253-8"
d="M 90.084773,7.9375003 79.501436,44.979166"
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"
sodipodi:nodetypes="cc" />
<path
id="path253-6"
d="M 90.084773,7.9375003 53.043103,44.979166"
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"
sodipodi:nodetypes="cc" />
<path
id="path253-4"
d="M 90.084773,7.9375003 29.230603,44.979166"
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"
sodipodi:nodetypes="cc" />
</g>
</svg>
Codebase Browser
llvm