Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Python script which extracts PDFs from inkscape layers annotated by LaTeX overlay specifications, for the use in LaTeX beamer presentations. The attached SVG file is an example Inkscape SVG for seeing how it works.
#!/usr/bin/python3
import xml.etree.ElementTree as ET
import re
import sys
import os
import pyperclip
from pathlib import Path
from subprocess import call
###########################################################################
# This script extracts "layers" for usage in LaTeX presentations #
# from inkscape SVG files. For this, append a LaTeX overlay specification #
# to the label of the layer, e.g., "1,2-5,3,17-", which you surround by #
# either angle or square brackets. Then, call this script with the name #
# of the SVG file as argument (works also with a path). It will export #
# multiple PDF files "...-step-N.pdf" in the same directory as the SVG #
# file. After execution, the script shows instructions of how to use the #
# generated PDF animation slides in LaTeX and copies the for loop doing #
# the task to the system clipboard. #
# #
# Requirements: #
# - inkscape #
# - pyperclip library ("pip3 install pyperclip") #
###########################################################################
ns = {'svg': 'http://www.w3.org/2000/svg',
'inkscape': 'http://www.inkscape.org/namespaces/inkscape'}
class OverlayRange:
def __init__(self, start, end):
self.start = int(start)
self.end = int(end)
def __str__(self):
if (self.end == -1):
return "range(" + str(self.start) + "-" + ")"
else:
return "range(" + str(self.start) + "-" + str(self.end) + ")"
def max(self):
if (self.end > self.start):
return self.end
else:
return self.start
def setMax(self, max):
if (self.end == -1):
self.end = max
def visibleAt(self, step):
return (self.start <= step and step <= self.end)
@classmethod
def fromStartOnly(cls, start):
return cls(start, -1)
def parseOverlayRange(string):
arr = string.split('-')
if (len(arr) == 1):
return OverlayRange(arr[0], arr[0])
elif (len(arr) == 2 and arr[1] == ''):
return OverlayRange.fromStartOnly(arr[0])
elif (len(arr) == 2):
return OverlayRange(arr[0], arr[1])
class Layer:
def __init__(self, label, element):
self.label = label
self.element = element
self.ranges = []
def addRange(self, therange):
self.ranges.append(therange)
def maxRange(self):
return max(map(lambda r: r.max(), self.ranges))
def visibleAt(self, step):
for therange in self.ranges:
if (therange.visibleAt(step)):
return True
return False
def toNS(elem, namespace):
return '{' + ns.get(namespace) + '}' + elem
if (len(sys.argv) < 2):
print('Expecting input SVG file as argument')
inputfile = sys.argv[1]
outprefix = inputfile.split('.svg')[0]
tree = ET.parse(inputfile)
root = tree.getroot()
layers = []
for elem in tree.iter():
if (elem.tag != toNS('g', 'svg')):
continue
label = elem.get(toNS('label', 'inkscape'))
if (label == None):
continue
groupmode = elem.get(toNS('groupmode', 'inkscape'))
if (groupmode == None or groupmode != 'layer'):
continue
regex = r"^([^(<\[)]*)\W+(?:<|\[)([0-9]+(?:-(?:[0-9]+)?)?(?:,[0-9]+(?:-(?:[0-9]+)?)?)*)(?:>|\])$"
m = re.search(regex, label)
if (m == None):
continue
layer = Layer(m.group(1), elem)
for theRange in m.group(2).split(','):
layer.addRange(parseOverlayRange(theRange))
layers.append(layer)
maxLayer = max(map(lambda l: l.maxRange(), layers))
print("Maximum overlay number: " + str(maxLayer))
for layer in layers:
for therange in layer.ranges:
therange.setMax(maxLayer)
for i in range(1,maxLayer+1):
print("Animation step " + str(i))
for layer in layers:
if (layer.visibleAt(i)):
print (" Layer " + layer.label + " visible")
layer.element.set('style', 'display:inline')
elif (not layer.visibleAt(i)):
print (" Layer " + layer.label + " hidden")
layer.element.set('style', 'display:none')
layerOutPrefix = outprefix + '-step-' + str(i)
svgoutfile = layerOutPrefix + '.svg'
pdfoutfile = layerOutPrefix + '.pdf'
if Path(svgoutfile).exists():
print("Step SVG file " + svgoutfile + " already exists, won't override but cancel")
quit()
print(" Exporting layer " + str(i) + " to file " + pdfoutfile)
tree.write(svgoutfile)
call(['inkscape', '-z', '-C', '--export-pdf=' + pdfoutfile, svgoutfile])
os.remove(svgoutfile)
latexinclude = " \\usepackage{pgffor}\n" +\
" \\usepackage{tikz}"
latexMacro = " \\newcommand<>{\\fullsizegraphic}[1]{\n" +\
" \\begin{tikzpicture}[remember picture,overlay]\n" +\
" \\node[at=(current page.center)] {\n" +\
" \includegraphics{#1}\n" +\
" };\n" +\
" \\end{tikzpicture}\n" +\
" }"
latexForLoop = " \\foreach \\n in {1,...," + str(maxLayer) + "}{\n" +\
" \\only<\\n>{\\fullsizegraphic{" + outprefix + "-step-\\n.pdf}}\n" +\
" }"
print("\nDone. Usage in Latex:")
print(" Include in preamble:\n")
print(latexinclude)
print("")
print(latexMacro)
print("\n Use in frame:\n")
print(latexForLoop)
pyperclip.copy(latexForLoop)
print("\nCopied for loop to clipboard.")
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:ns1="http://www.iki.fi/pav/software/textext/"
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"
width="128mm"
height="96mm"
viewBox="0 0 128 96"
version="1.1"
id="svg8"
inkscape:version="0.92.3 (2405546, 2018-03-11)"
sodipodi:docname="dual-se-state.svg"
enable-background="new">
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="2.8"
inkscape:cx="240.98018"
inkscape:cy="146.13751"
inkscape:document-units="mm"
inkscape:current-layer="layer43"
showgrid="false"
inkscape:window-width="1869"
inkscape:window-height="1025"
inkscape:window-x="51"
inkscape:window-y="27"
inkscape:window-maximized="1"
showguides="true"
inkscape:guide-bbox="true"
inkscape:snap-global="false"
inkscape:measure-start="0,0"
inkscape:measure-end="0,0">
<sodipodi:guide
inkscape:locked="false"
id="guide22225"
orientation="0,1"
position="68.220545,45.636271" />
<sodipodi:guide
inkscape:locked="false"
id="guide22227"
orientation="0,1"
position="50.046218,39.622706" />
<sodipodi:guide
inkscape:locked="false"
id="guide22229"
orientation="0,1"
position="58.86979,49.892856" />
<sodipodi:guide
inkscape:locked="false"
id="guide22231"
orientation="0,1"
position="56.790921,56.318451" />
</sodipodi:namedview>
<defs
id="defs2">
<marker
inkscape:stockid="Arrow1Mend"
orient="auto"
refY="0.0"
refX="0.0"
id="Arrow1Mend"
style="overflow:visible;"
inkscape:isstock="true">
<path
id="path1392"
d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1"
transform="scale(0.4) rotate(180) translate(10,0)" />
</marker>
<marker
inkscape:stockid="Arrow2Mend"
orient="auto"
refY="0.0"
refX="0.0"
id="Arrow2Mend"
style="overflow:visible;"
inkscape:isstock="true">
<path
id="path1410"
style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#23373b;stroke-opacity:1;fill:#23373b;fill-opacity:1"
d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z "
transform="scale(0.6) rotate(180) translate(0,0)" />
</marker>
<marker
inkscape:stockid="Arrow1Send"
orient="auto"
refY="0.0"
refX="0.0"
id="Arrow1Send"
style="overflow:visible;"
inkscape:isstock="true">
<path
id="path1398"
d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z "
style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1"
transform="scale(0.2) rotate(180) translate(6,0)" />
</marker>
<marker
inkscape:stockid="Arrow2Mend"
orient="auto"
refY="0"
refX="0"
id="Arrow2Mend-7"
style="overflow:visible"
inkscape:isstock="true">
<path
inkscape:connector-curvature="0"
id="path1410-5"
style="fill:#23373b;fill-opacity:1;fill-rule:evenodd;stroke:#23373b;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
transform="scale(-0.6)" />
</marker>
</defs>
<metadata
id="metadata5">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
<dc:title></dc:title>
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:groupmode="layer"
id="layer39"
inkscape:label="Highlights">
<g
inkscape:groupmode="layer"
id="layer43"
inkscape:label="HL-Obs [5]"
style="display:none">
<rect
style="display:inline;opacity:0.4;fill:#00ff00;fill-opacity:1;stroke:none;stroke-width:0.46499994;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
id="rect22862"
width="6.4028335"
height="4.3467264"
x="74.732933"
y="45.960266" />
</g>
<g
inkscape:groupmode="layer"
id="layer42"
inkscape:label="HL-Prog [4]"
style="display:none">
<rect
y="45.960266"
x="55.602333"
height="4.3467264"
width="14.420919"
id="rect22854"
style="display:inline;opacity:0.4;fill:#00ff00;fill-opacity:1;stroke:none;stroke-width:0.46499994;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
</g>
<g
inkscape:groupmode="layer"
id="layer41"
inkscape:label="HL-C [3]"
style="display:none">
<rect
transform="translate(0,-201)"
style="display:inline;opacity:0.4;fill:#00ff00;fill-opacity:1;stroke:none;stroke-width:0.46499994;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
id="rect22845"
width="3.9974084"
height="4.3467264"
x="51.368999"
y="246.96027" />
</g>
<g
inkscape:groupmode="layer"
id="layer40"
inkscape:label="HL-U [2]"
style="display:none">
<rect
transform="translate(0,-201)"
y="246.96027"
x="46.935368"
height="4.3467264"
width="3.9974084"
id="rect22842"
style="display:inline;opacity:0.4;fill:#00ff00;fill-opacity:1;stroke:none;stroke-width:0.46499994;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
</g>
</g>
<g
inkscape:groupmode="layer"
id="layer33"
inkscape:label="Legend"
style="display:inline">
<g
inkscape:groupmode="layer"
id="layer38"
inkscape:label="Legend-Obs [5-]"
style="display:inline">
<g
id="g22458"
ns1:jacobian_sqrt="0.352778"
inkscapeversion="0.92.3"
ns1:alignment="middle center"
ns1:scale="1.00000014175"
ns1:preamble="/home/dscheurer/tmp/CorrectnessCompilationRules/Presentation/images/inkscape-preable.tex"
ns1:text="Observable Variables"
ns1:pdfconverter="pdf2svg"
ns1:texconverter="pdflatex"
ns1:version="0.8.1"
transform="matrix(0.35277801,0,0,0.35277801,25.970477,-8.2484661)"
style="display:inline;fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1">
<g
id="surface1"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1">
<g
id="g22429"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1">
<path
id="path22409"
transform="translate(148.712,134.765)"
d="m 6.765625,-3.4375 c 0,-2.09375 -1.4375,-3.703125 -3.09375,-3.703125 -1.703125,0 -3.109375,1.625 -3.109375,3.703125 0,2.109375 1.46875,3.65625 3.09375,3.65625 1.671875,0 3.109375,-1.5625 3.109375,-3.65625 z M 5.875,-3.59375 c 0,1.953125 -1.0625,3.171875 -2.203125,3.171875 -1.171875,0 -2.21875,-1.25 -2.21875,-3.171875 0,-1.8125 1.09375,-2.90625 2.203125,-2.90625 1.15625,0 2.21875,1.125 2.21875,2.90625 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22411"
transform="translate(156.04547,134.765)"
d="m 4.78125,-2.21875 c 0,-1.234375 -0.671875,-2.3125 -1.609375,-2.3125 -0.390625,0 -1.015625,0.09375 -1.609375,0.578125 v -2.96875 h -0.75 V 0 h 0.78125 v -0.453125 c 0.234375,0.21875 0.671875,0.5625 1.34375,0.5625 0.984375,0 1.84375,-1 1.84375,-2.328125 z M 4,-2.21875 C 4,-0.921875 3.171875,-0.5 2.5625,-0.5 2.171875,-0.5 1.84375,-0.671875 1.59375,-1.140625 V -3.34375 C 1.75,-3.578125 2.109375,-3.921875 2.65625,-3.921875 3.25,-3.921875 4,-3.5 4,-2.21875 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22413"
transform="translate(161.19314,134.765)"
d="m 3.59375,-1.28125 c 0,-0.546875 -0.375,-0.875 -0.390625,-0.90625 C 2.8125,-2.546875 2.546875,-2.609375 2.046875,-2.6875 1.5,-2.796875 1.03125,-2.90625 1.03125,-3.390625 1.03125,-4 1.75,-4 1.890625,-4 c 0.3125,0 0.84375,0.03125 1.40625,0.375 l 0.125,-0.65625 C 2.90625,-4.515625 2.5,-4.59375 1.984375,-4.59375 c -0.25,0 -1.65625,0 -1.65625,1.296875 0,0.5 0.296875,0.8125 0.546875,1 0.296875,0.21875 0.515625,0.265625 1.0625,0.375 0.359375,0.0625 0.9375,0.1875 0.9375,0.71875 0,0.6875 -0.78125,0.6875 -0.9375,0.6875 -0.796875,0 -1.359375,-0.375 -1.53125,-0.484375 l -0.125,0.671875 c 0.3125,0.15625 0.859375,0.4375 1.671875,0.4375 0.1875,0 0.734375,0 1.15625,-0.3125 0.3125,-0.25 0.484375,-0.640625 0.484375,-1.078125 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22415"
transform="translate(165.01181,134.765)"
d="M 4.125,-2.1875 C 4.125,-2.515625 4.109375,-3.265625 3.734375,-3.875 3.3125,-4.484375 2.71875,-4.59375 2.359375,-4.59375 1.25,-4.59375 0.34375,-3.53125 0.34375,-2.25 c 0,1.3125 0.96875,2.359375 2.15625,2.359375 0.625,0 1.203125,-0.234375 1.59375,-0.515625 L 4.03125,-1.0625 C 3.40625,-0.53125 2.734375,-0.5 2.515625,-0.5 1.71875,-0.5 1.078125,-1.203125 1.046875,-2.1875 Z M 3.5625,-2.734375 H 1.09375 c 0.15625,-0.75 0.6875,-1.25 1.265625,-1.25 0.515625,0 1.0625,0.328125 1.203125,1.25 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22417"
transform="translate(169.44019,134.765)"
d="m 3.265625,-3.875 v -0.65625 c -0.890625,0 -1.4375,0.5 -1.75,0.953125 v -0.90625 H 0.8125 V 0 h 0.75 V -2.140625 C 1.5625,-3.125 2.28125,-3.84375 3.265625,-3.875 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22419"
transform="translate(172.84441,134.765)"
d="m 4.453125,-4.421875 h -0.75 l -0.796875,2.0625 C 2.703125,-1.796875 2.390625,-1 2.3125,-0.53125 H 2.296875 C 2.25,-0.890625 1.984375,-1.578125 1.890625,-1.84375 L 0.921875,-4.421875 H 0.140625 L 1.859375,0 h 0.875 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22421"
transform="translate(177.43816,134.765)"
d="m 4.078125,0 v -2.875 c 0,-1.015625 -0.734375,-1.71875 -1.640625,-1.71875 -0.65625,0 -1.109375,0.15625 -1.5625,0.421875 l 0.046875,0.65625 C 1.453125,-3.875 1.9375,-4 2.4375,-4 c 0.46875,0 0.859375,0.390625 0.859375,1.125 v 0.4375 C 1.796875,-2.421875 0.53125,-2 0.53125,-1.125 c 0,0.421875 0.28125,1.234375 1.140625,1.234375 0.140625,0 1.078125,-0.015625 1.65625,-0.46875 V 0 Z m -0.78125,-1.3125 c 0,0.1875 0,0.4375 -0.34375,0.625 C 2.671875,-0.515625 2.296875,-0.5 2.1875,-0.5 1.703125,-0.5 1.25,-0.734375 1.25,-1.140625 1.25,-1.84375 2.875,-1.90625 3.296875,-1.9375 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22423"
transform="translate(182.22619,134.765)"
d="m 4.78125,-2.21875 c 0,-1.234375 -0.671875,-2.3125 -1.609375,-2.3125 -0.390625,0 -1.015625,0.09375 -1.609375,0.578125 v -2.96875 h -0.75 V 0 h 0.78125 v -0.453125 c 0.234375,0.21875 0.671875,0.5625 1.34375,0.5625 0.984375,0 1.84375,-1 1.84375,-2.328125 z M 4,-2.21875 C 4,-0.921875 3.171875,-0.5 2.5625,-0.5 2.171875,-0.5 1.84375,-0.671875 1.59375,-1.140625 V -3.34375 C 1.75,-3.578125 2.109375,-3.921875 2.65625,-3.921875 3.25,-3.921875 4,-3.5 4,-2.21875 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22425"
transform="translate(187.37386,134.765)"
d="m 1.5625,0 v -6.921875 h -0.75 V 0 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22427"
transform="translate(189.75393,134.765)"
d="M 4.125,-2.1875 C 4.125,-2.515625 4.109375,-3.265625 3.734375,-3.875 3.3125,-4.484375 2.71875,-4.59375 2.359375,-4.59375 1.25,-4.59375 0.34375,-3.53125 0.34375,-2.25 c 0,1.3125 0.96875,2.359375 2.15625,2.359375 0.625,0 1.203125,-0.234375 1.59375,-0.515625 L 4.03125,-1.0625 C 3.40625,-0.53125 2.734375,-0.5 2.515625,-0.5 1.71875,-0.5 1.078125,-1.203125 1.046875,-2.1875 Z M 3.5625,-2.734375 H 1.09375 c 0.15625,-0.75 0.6875,-1.25 1.265625,-1.25 0.515625,0 1.0625,0.328125 1.203125,1.25 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
</g>
<g
id="g22433"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1">
<path
id="path22431"
transform="translate(197.49985,134.765)"
d="M 6.5,-6.921875 H 5.71875 l -1.328125,3.40625 C 4.234375,-3.09375 3.484375,-1.171875 3.40625,-0.71875 H 3.390625 C 3.3125,-1.109375 2.875,-2.21875 2.796875,-2.453125 L 1.0625,-6.921875 H 0.140625 L 2.859375,0 H 3.78125 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
</g>
<g
id="g22437"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1">
<path
id="path22435"
transform="translate(203.86296,134.765)"
d="m 4.078125,0 v -2.875 c 0,-1.015625 -0.734375,-1.71875 -1.640625,-1.71875 -0.65625,0 -1.109375,0.15625 -1.5625,0.421875 l 0.046875,0.65625 C 1.453125,-3.875 1.9375,-4 2.4375,-4 c 0.46875,0 0.859375,0.390625 0.859375,1.125 v 0.4375 C 1.796875,-2.421875 0.53125,-2 0.53125,-1.125 c 0,0.421875 0.28125,1.234375 1.140625,1.234375 0.140625,0 1.078125,-0.015625 1.65625,-0.46875 V 0 Z m -0.78125,-1.3125 c 0,0.1875 0,0.4375 -0.34375,0.625 C 2.671875,-0.515625 2.296875,-0.5 2.1875,-0.5 1.703125,-0.5 1.25,-0.734375 1.25,-1.140625 1.25,-1.84375 2.875,-1.90625 3.296875,-1.9375 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
</g>
<g
id="g22445"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1">
<path
id="path22439"
transform="translate(208.382,134.765)"
d="m 3.265625,-3.875 v -0.65625 c -0.890625,0 -1.4375,0.5 -1.75,0.953125 v -0.90625 H 0.8125 V 0 h 0.75 V -2.140625 C 1.5625,-3.125 2.28125,-3.84375 3.265625,-3.875 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22441"
transform="translate(211.78622,134.765)"
d="m 1.5625,0 v -4.421875 h -0.75 V 0 Z M 1.640625,-5.640625 V -6.53125 H 0.75 v 0.890625 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22443"
transform="translate(214.16628,134.765)"
d="m 4.078125,0 v -2.875 c 0,-1.015625 -0.734375,-1.71875 -1.640625,-1.71875 -0.65625,0 -1.109375,0.15625 -1.5625,0.421875 l 0.046875,0.65625 C 1.453125,-3.875 1.9375,-4 2.4375,-4 c 0.46875,0 0.859375,0.390625 0.859375,1.125 v 0.4375 C 1.796875,-2.421875 0.53125,-2 0.53125,-1.125 c 0,0.421875 0.28125,1.234375 1.140625,1.234375 0.140625,0 1.078125,-0.015625 1.65625,-0.46875 V 0 Z m -0.78125,-1.3125 c 0,0.1875 0,0.4375 -0.34375,0.625 C 2.671875,-0.515625 2.296875,-0.5 2.1875,-0.5 1.703125,-0.5 1.25,-0.734375 1.25,-1.140625 1.25,-1.84375 2.875,-1.90625 3.296875,-1.9375 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
</g>
<g
id="g22455"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1">
<path
id="path22447"
transform="translate(218.94434,134.765)"
d="m 4.78125,-2.21875 c 0,-1.234375 -0.671875,-2.3125 -1.609375,-2.3125 -0.390625,0 -1.015625,0.09375 -1.609375,0.578125 v -2.96875 h -0.75 V 0 h 0.78125 v -0.453125 c 0.234375,0.21875 0.671875,0.5625 1.34375,0.5625 0.984375,0 1.84375,-1 1.84375,-2.328125 z M 4,-2.21875 C 4,-0.921875 3.171875,-0.5 2.5625,-0.5 2.171875,-0.5 1.84375,-0.671875 1.59375,-1.140625 V -3.34375 C 1.75,-3.578125 2.109375,-3.921875 2.65625,-3.921875 3.25,-3.921875 4,-3.5 4,-2.21875 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22449"
transform="translate(224.09202,134.765)"
d="m 1.5625,0 v -6.921875 h -0.75 V 0 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22451"
transform="translate(226.47209,134.765)"
d="M 4.125,-2.1875 C 4.125,-2.515625 4.109375,-3.265625 3.734375,-3.875 3.3125,-4.484375 2.71875,-4.59375 2.359375,-4.59375 1.25,-4.59375 0.34375,-3.53125 0.34375,-2.25 c 0,1.3125 0.96875,2.359375 2.15625,2.359375 0.625,0 1.203125,-0.234375 1.59375,-0.515625 L 4.03125,-1.0625 C 3.40625,-0.53125 2.734375,-0.5 2.515625,-0.5 1.71875,-0.5 1.078125,-1.203125 1.046875,-2.1875 Z M 3.5625,-2.734375 H 1.09375 c 0.15625,-0.75 0.6875,-1.25 1.265625,-1.25 0.515625,0 1.0625,0.328125 1.203125,1.25 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path22453"
transform="translate(230.90046,134.765)"
d="m 3.59375,-1.28125 c 0,-0.546875 -0.375,-0.875 -0.390625,-0.90625 C 2.8125,-2.546875 2.546875,-2.609375 2.046875,-2.6875 1.5,-2.796875 1.03125,-2.90625 1.03125,-3.390625 1.03125,-4 1.75,-4 1.890625,-4 c 0.3125,0 0.84375,0.03125 1.40625,0.375 l 0.125,-0.65625 C 2.90625,-4.515625 2.5,-4.59375 1.984375,-4.59375 c -0.25,0 -1.65625,0 -1.65625,1.296875 0,0.5 0.296875,0.8125 0.546875,1 0.296875,0.21875 0.515625,0.265625 1.0625,0.375 0.359375,0.0625 0.9375,0.1875 0.9375,0.71875 0,0.6875 -0.78125,0.6875 -0.9375,0.6875 -0.796875,0 -1.359375,-0.375 -1.53125,-0.484375 l -0.125,0.671875 c 0.3125,0.15625 0.859375,0.4375 1.671875,0.4375 0.1875,0 0.734375,0 1.15625,-0.3125 0.3125,-0.25 0.484375,-0.640625 0.484375,-1.078125 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
</g>
</g>
</g>
<path
style="display:inline;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#eb811b;stroke-width:0.26499999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:0.265, 0.265;stroke-dashoffset:0;stroke-opacity:1"
d="M 77.885521,46.0824 95.37195,39.744779"
id="path12483-4-4-7"
inkscape:connector-curvature="0"
sodipodi:nodetypes="cc" />
</g>
<g
inkscape:groupmode="layer"
id="layer37"
inkscape:label="Legend-ProgC [4-]"
style="display:inline">
<g
id="g12222"
ns1:jacobian_sqrt="0.352778"
inkscapeversion="0.92.3"
ns1:alignment="middle center"
ns1:scale="1.0000001134"
ns1:preamble="/home/dscheurer/tmp/CorrectnessCompilationRules/Presentation/images/inkscape-preable.tex"
ns1:text="Program Counter"
ns1:pdfconverter="pdf2svg"
ns1:texconverter="pdflatex"
ns1:version="0.8.1"
transform="matrix(0.35277801,0,0,0.35277801,-1.8458282,-8.2870524)"
style="display:inline;fill:#eb811b;fill-opacity:1">
<g
id="g12220"
style="fill:#eb811b;fill-opacity:1">
<g
id="g12202"
style="fill:#eb811b;fill-opacity:1">
<path
id="path12188"
transform="translate(148.712,134.765)"
d="m 5.796875,-4.90625 c 0,-1.0625 -0.984375,-2.015625 -2.359375,-2.015625 H 0.953125 V 0 H 1.84375 v -2.875 h 1.671875 c 1.234375,0 2.28125,-0.90625 2.28125,-2.03125 z M 5,-4.90625 c 0,0.796875 -0.640625,1.453125 -1.78125,1.453125 H 1.8125 v -2.90625 H 3.21875 C 4.3125,-6.359375 5,-5.75 5,-4.90625 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
<path
id="path12190"
transform="translate(155.0771,134.765)"
d="m 3.265625,-3.875 v -0.65625 c -0.890625,0 -1.4375,0.5 -1.75,0.953125 v -0.90625 H 0.8125 V 0 h 0.75 V -2.140625 C 1.5625,-3.125 2.28125,-3.84375 3.265625,-3.875 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
<path
id="path12192"
transform="translate(158.48133,134.765)"
d="m 4.671875,-2.1875 c 0,-1.34375 -1,-2.40625 -2.171875,-2.40625 -1.234375,0 -2.203125,1.09375 -2.203125,2.40625 0,1.3125 1.015625,2.296875 2.1875,2.296875 1.1875,0 2.1875,-1 2.1875,-2.296875 z m -0.78125,-0.109375 c 0,1.1875 -0.671875,1.765625 -1.40625,1.765625 -0.6875,0 -1.40625,-0.5625 -1.40625,-1.765625 0,-1.203125 0.75,-1.6875 1.40625,-1.6875 0.703125,0 1.40625,0.515625 1.40625,1.6875 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
<path
id="path12194"
transform="translate(163.46263,134.765)"
d="m 4.828125,-3.90625 -0.109375,-0.625 c -0.6875,0 -1.265625,0.1875 -1.5625,0.3125 -0.21875,-0.171875 -0.546875,-0.3125 -0.953125,-0.3125 -0.859375,0 -1.578125,0.71875 -1.578125,1.625 0,0.359375 0.125,0.71875 0.328125,0.984375 C 0.65625,-1.515625 0.65625,-1.125 0.65625,-1.078125 0.65625,-0.8125 0.75,-0.53125 0.921875,-0.3125 0.40625,-0.015625 0.28125,0.453125 0.28125,0.703125 c 0,0.75 0.984375,1.34375 2.203125,1.34375 1.21875,0 2.203125,-0.578125 2.203125,-1.34375 C 4.6875,-0.6875 3.03125,-0.6875 2.640625,-0.6875 h -0.875 c -0.125,0 -0.578125,0 -0.578125,-0.53125 0,-0.109375 0.03125,-0.265625 0.109375,-0.359375 0.203125,0.15625 0.53125,0.296875 0.90625,0.296875 0.890625,0 1.59375,-0.75 1.59375,-1.625 0,-0.484375 -0.21875,-0.859375 -0.328125,-1 l 0.046875,0.015625 C 3.734375,-3.890625 4,-3.9375 4.25,-3.9375 c 0.171875,0 0.578125,0.03125 0.578125,0.03125 z m -1.734375,1 c 0,0.765625 -0.46875,1.046875 -0.890625,1.046875 -0.375,0 -0.890625,-0.21875 -0.890625,-1.046875 0,-0.828125 0.515625,-1.0625 0.890625,-1.0625 0.421875,0 0.890625,0.28125 0.890625,1.0625 z M 4,0.71875 c 0,0.4375 -0.6875,0.765625 -1.5,0.765625 -0.8125,0 -1.515625,-0.3125 -1.515625,-0.78125 0,-0.03125 0,-0.671875 0.765625,-0.671875 H 2.65625 C 2.875,0.03125 4,0.03125 4,0.71875 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
<path
id="path12196"
transform="translate(168.44393,134.765)"
d="m 3.265625,-3.875 v -0.65625 c -0.890625,0 -1.4375,0.5 -1.75,0.953125 v -0.90625 H 0.8125 V 0 h 0.75 V -2.140625 C 1.5625,-3.125 2.28125,-3.84375 3.265625,-3.875 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
<path
id="path12198"
transform="translate(171.84815,134.765)"
d="m 4.078125,0 v -2.875 c 0,-1.015625 -0.734375,-1.71875 -1.640625,-1.71875 -0.65625,0 -1.109375,0.15625 -1.5625,0.421875 l 0.046875,0.65625 C 1.453125,-3.875 1.9375,-4 2.4375,-4 c 0.46875,0 0.859375,0.390625 0.859375,1.125 v 0.4375 C 1.796875,-2.421875 0.53125,-2 0.53125,-1.125 c 0,0.421875 0.28125,1.234375 1.140625,1.234375 0.140625,0 1.078125,-0.015625 1.65625,-0.46875 V 0 Z m -0.78125,-1.3125 c 0,0.1875 0,0.4375 -0.34375,0.625 C 2.671875,-0.515625 2.296875,-0.5 2.1875,-0.5 1.703125,-0.5 1.25,-0.734375 1.25,-1.140625 1.25,-1.84375 2.875,-1.90625 3.296875,-1.9375 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
<path
id="path12200"
transform="translate(176.63617,134.765)"
d="m 7.109375,0 v -2.96875 c 0,-0.671875 -0.15625,-1.5625 -1.375,-1.5625 -0.59375,0 -1.109375,0.28125 -1.484375,0.8125 -0.25,-0.75 -0.953125,-0.8125 -1.265625,-0.8125 -0.71875,0 -1.1875,0.40625 -1.453125,0.765625 v -0.71875 H 0.8125 V 0 h 0.765625 v -2.4375 c 0,-0.6875 0.28125,-1.484375 1.015625,-1.484375 0.921875,0 0.96875,0.640625 0.96875,1.015625 V 0 h 0.78125 v -2.4375 c 0,-0.6875 0.265625,-1.484375 1.015625,-1.484375 0.921875,0 0.96875,0.640625 0.96875,1.015625 V 0 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
</g>
<g
id="g12218"
style="fill:#eb811b;fill-opacity:1">
<path
id="path12204"
transform="translate(187.869,134.765)"
d="m 5.859375,-0.453125 -0.0625,-0.6875 C 5.5,-0.9375 5.21875,-0.75 4.875,-0.640625 c -0.3125,0.109375 -0.671875,0.109375 -1,0.109375 -0.65625,0 -1.25,-0.34375 -1.65625,-0.859375 -0.453125,-0.578125 -0.671875,-1.328125 -0.671875,-2.0625 0,-0.75 0.21875,-1.5 0.671875,-2.09375 0.40625,-0.5 1,-0.859375 1.65625,-0.859375 0.296875,0 0.59375,0.03125 0.890625,0.125 0.296875,0.09375 0.578125,0.234375 0.84375,0.421875 l 0.125,-0.8125 C 5.4375,-6.796875 5.140625,-6.890625 4.8125,-6.953125 4.5,-7.015625 4.1875,-7.03125 3.875,-7.03125 c -0.890625,0 -1.6875,0.390625 -2.28125,1.046875 -0.609375,0.6875 -0.9375,1.59375 -0.9375,2.53125 0,0.921875 0.328125,1.828125 0.9375,2.515625 C 2.1875,-0.296875 2.984375,0.109375 3.875,0.109375 4.21875,0.109375 4.5625,0.09375 4.90625,0 5.25,-0.09375 5.546875,-0.265625 5.859375,-0.453125 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
<path
id="path12206"
transform="translate(194.23411,134.765)"
d="m 4.671875,-2.1875 c 0,-1.34375 -1,-2.40625 -2.171875,-2.40625 -1.234375,0 -2.203125,1.09375 -2.203125,2.40625 0,1.3125 1.015625,2.296875 2.1875,2.296875 1.1875,0 2.1875,-1 2.1875,-2.296875 z m -0.78125,-0.109375 c 0,1.1875 -0.671875,1.765625 -1.40625,1.765625 -0.6875,0 -1.40625,-0.5625 -1.40625,-1.765625 0,-1.203125 0.75,-1.6875 1.40625,-1.6875 0.703125,0 1.40625,0.515625 1.40625,1.6875 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
<path
id="path12208"
transform="translate(199.21541,134.765)"
d="M 4.34375,0 V -4.421875 H 3.5625 v 2.890625 c 0,0.75 -0.5625,1.09375 -1.203125,1.09375 -0.703125,0 -0.78125,-0.265625 -0.78125,-0.6875 V -4.421875 H 0.8125 v 3.328125 c 0,0.71875 0.21875,1.203125 1.046875,1.203125 0.53125,0 1.234375,-0.15625 1.734375,-0.59375 V 0 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
<path
id="path12210"
transform="translate(204.36308,134.765)"
d="m 4.34375,0 v -2.96875 c 0,-0.65625 -0.15625,-1.5625 -1.375,-1.5625 -0.890625,0 -1.390625,0.671875 -1.4375,0.75 V -4.484375 H 0.8125 V 0 h 0.765625 v -2.4375 c 0,-0.65625 0.25,-1.484375 1.015625,-1.484375 0.953125,0 0.96875,0.703125 0.96875,1.015625 V 0 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
<path
id="path12212"
transform="translate(209.51076,134.765)"
d="M 3.3125,-0.265625 3.15625,-0.859375 C 2.890625,-0.640625 2.578125,-0.53125 2.25,-0.53125 c -0.359375,0 -0.5,-0.296875 -0.5,-0.828125 V -3.84375 H 3.15625 V -4.421875 H 1.75 V -5.6875 H 1.0625 v 1.265625 h -0.875 v 0.578125 h 0.84375 v 2.65625 c 0,0.59375 0.140625,1.296875 0.828125,1.296875 0.6875,0 1.203125,-0.25 1.453125,-0.375 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
<path
id="path12214"
transform="translate(213.10825,134.765)"
d="M 4.125,-2.1875 C 4.125,-2.515625 4.109375,-3.265625 3.734375,-3.875 3.3125,-4.484375 2.71875,-4.59375 2.359375,-4.59375 1.25,-4.59375 0.34375,-3.53125 0.34375,-2.25 c 0,1.3125 0.96875,2.359375 2.15625,2.359375 0.625,0 1.203125,-0.234375 1.59375,-0.515625 L 4.03125,-1.0625 C 3.40625,-0.53125 2.734375,-0.5 2.515625,-0.5 1.71875,-0.5 1.078125,-1.203125 1.046875,-2.1875 Z M 3.5625,-2.734375 H 1.09375 c 0.15625,-0.75 0.6875,-1.25 1.265625,-1.25 0.515625,0 1.0625,0.328125 1.203125,1.25 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
<path
id="path12216"
transform="translate(217.53663,134.765)"
d="m 3.265625,-3.875 v -0.65625 c -0.890625,0 -1.4375,0.5 -1.75,0.953125 v -0.90625 H 0.8125 V 0 h 0.75 V -2.140625 C 1.5625,-3.125 2.28125,-3.84375 3.265625,-3.875 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
inkscape:connector-curvature="0" />
</g>
</g>
</g>
<path
style="display:inline;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#eb811b;stroke-width:0.26499999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:0.265, 0.265;stroke-dashoffset:0;stroke-opacity:1"
d="M 61.725754,46.060419 62.70829,39.789615"
id="path12483-4-4"
inkscape:connector-curvature="0"
sodipodi:nodetypes="cc" />
</g>
<g
inkscape:groupmode="layer"
id="layer36"
inkscape:label="Legend-PC [3-]"
style="display:inline">
<g
style="display:inline;fill:#eb811b;fill-opacity:1"
transform="matrix(0.35277801,0,0,0.35277801,1.1319663,11.635456)"
ns1:version="0.8.1"
ns1:texconverter="pdflatex"
ns1:pdfconverter="pdf2svg"
ns1:text="Path Condition"
ns1:preamble="/home/dscheurer/tmp/CorrectnessCompilationRules/Presentation/images/inkscape-preable.tex"
ns1:scale="1.0000001134"
ns1:alignment="middle center"
inkscapeversion="0.92.3"
ns1:jacobian_sqrt="0.352778"
id="g11687">
<g
style="fill:#eb811b;fill-opacity:1"
id="g11685">
<g
style="fill:#eb811b;fill-opacity:1"
id="g11653">
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="m 5.796875,-4.90625 c 0,-1.0625 -0.984375,-2.015625 -2.359375,-2.015625 H 0.953125 V 0 H 1.84375 v -2.875 h 1.671875 c 1.234375,0 2.28125,-0.90625 2.28125,-2.03125 z M 5,-4.90625 c 0,0.796875 -0.640625,1.453125 -1.78125,1.453125 H 1.8125 v -2.90625 H 3.21875 C 4.3125,-6.359375 5,-5.75 5,-4.90625 Z m 0,0"
transform="translate(148.712,134.765)"
id="path11651"
inkscape:connector-curvature="0" />
</g>
<g
style="fill:#eb811b;fill-opacity:1"
id="g11661">
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="m 4.078125,0 v -2.875 c 0,-1.015625 -0.734375,-1.71875 -1.640625,-1.71875 -0.65625,0 -1.109375,0.15625 -1.5625,0.421875 l 0.046875,0.65625 C 1.453125,-3.875 1.9375,-4 2.4375,-4 c 0.46875,0 0.859375,0.390625 0.859375,1.125 v 0.4375 C 1.796875,-2.421875 0.53125,-2 0.53125,-1.125 c 0,0.421875 0.28125,1.234375 1.140625,1.234375 0.140625,0 1.078125,-0.015625 1.65625,-0.46875 V 0 Z m -0.78125,-1.3125 c 0,0.1875 0,0.4375 -0.34375,0.625 C 2.671875,-0.515625 2.296875,-0.5 2.1875,-0.5 1.703125,-0.5 1.25,-0.734375 1.25,-1.140625 1.25,-1.84375 2.875,-1.90625 3.296875,-1.9375 Z m 0,0"
transform="translate(154.79815,134.765)"
id="path11655"
inkscape:connector-curvature="0" />
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="M 3.3125,-0.265625 3.15625,-0.859375 C 2.890625,-0.640625 2.578125,-0.53125 2.25,-0.53125 c -0.359375,0 -0.5,-0.296875 -0.5,-0.828125 V -3.84375 H 3.15625 V -4.421875 H 1.75 V -5.6875 H 1.0625 v 1.265625 h -0.875 v 0.578125 h 0.84375 v 2.65625 c 0,0.59375 0.140625,1.296875 0.828125,1.296875 0.6875,0 1.203125,-0.25 1.453125,-0.375 z m 0,0"
transform="translate(159.58618,134.765)"
id="path11657"
inkscape:connector-curvature="0" />
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="m 4.34375,0 v -2.96875 c 0,-0.65625 -0.15625,-1.5625 -1.375,-1.5625 -0.609375,0 -1.09375,0.296875 -1.40625,0.71875 v -3.109375 h -0.75 V 0 h 0.765625 v -2.4375 c 0,-0.65625 0.25,-1.484375 1.015625,-1.484375 0.953125,0 0.96875,0.703125 0.96875,1.015625 V 0 Z m 0,0"
transform="translate(163.18367,134.765)"
id="path11659"
inkscape:connector-curvature="0" />
</g>
<g
style="fill:#eb811b;fill-opacity:1"
id="g11669">
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="m 5.859375,-0.453125 -0.0625,-0.6875 C 5.5,-0.9375 5.21875,-0.75 4.875,-0.640625 c -0.3125,0.109375 -0.671875,0.109375 -1,0.109375 -0.65625,0 -1.25,-0.34375 -1.65625,-0.859375 -0.453125,-0.578125 -0.671875,-1.328125 -0.671875,-2.0625 0,-0.75 0.21875,-1.5 0.671875,-2.09375 0.40625,-0.5 1,-0.859375 1.65625,-0.859375 0.296875,0 0.59375,0.03125 0.890625,0.125 0.296875,0.09375 0.578125,0.234375 0.84375,0.421875 l 0.125,-0.8125 C 5.4375,-6.796875 5.140625,-6.890625 4.8125,-6.953125 4.5,-7.015625 4.1875,-7.03125 3.875,-7.03125 c -0.890625,0 -1.6875,0.390625 -2.28125,1.046875 -0.609375,0.6875 -0.9375,1.59375 -0.9375,2.53125 0,0.921875 0.328125,1.828125 0.9375,2.515625 C 2.1875,-0.296875 2.984375,0.109375 3.875,0.109375 4.21875,0.109375 4.5625,0.09375 4.90625,0 5.25,-0.09375 5.546875,-0.265625 5.859375,-0.453125 Z m 0,0"
transform="translate(171.65886,134.765)"
id="path11663"
inkscape:connector-curvature="0" />
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="m 4.671875,-2.1875 c 0,-1.34375 -1,-2.40625 -2.171875,-2.40625 -1.234375,0 -2.203125,1.09375 -2.203125,2.40625 0,1.3125 1.015625,2.296875 2.1875,2.296875 1.1875,0 2.1875,-1 2.1875,-2.296875 z m -0.78125,-0.109375 c 0,1.1875 -0.671875,1.765625 -1.40625,1.765625 -0.6875,0 -1.40625,-0.5625 -1.40625,-1.765625 0,-1.203125 0.75,-1.6875 1.40625,-1.6875 0.703125,0 1.40625,0.515625 1.40625,1.6875 z m 0,0"
transform="translate(178.02396,134.765)"
id="path11665"
inkscape:connector-curvature="0" />
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="m 4.34375,0 v -2.96875 c 0,-0.65625 -0.15625,-1.5625 -1.375,-1.5625 -0.890625,0 -1.390625,0.671875 -1.4375,0.75 V -4.484375 H 0.8125 V 0 h 0.765625 v -2.4375 c 0,-0.65625 0.25,-1.484375 1.015625,-1.484375 0.953125,0 0.96875,0.703125 0.96875,1.015625 V 0 Z m 0,0"
transform="translate(183.00526,134.765)"
id="path11667"
inkscape:connector-curvature="0" />
</g>
<g
style="fill:#eb811b;fill-opacity:1"
id="g11683">
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="m 4.328125,0 v -6.921875 h -0.75 v 2.9375 C 3.046875,-4.421875 2.5,-4.53125 2.125,-4.53125 c -0.984375,0 -1.765625,1.03125 -1.765625,2.3125 0,1.3125 0.765625,2.328125 1.71875,2.328125 0.328125,0 0.90625,-0.09375 1.46875,-0.625 V 0 Z M 3.546875,-1.390625 C 3.546875,-1.25 3.53125,-1.0625 3.21875,-0.78125 2.984375,-0.578125 2.734375,-0.5 2.484375,-0.5 c -0.625,0 -1.34375,-0.46875 -1.34375,-1.703125 0,-1.3125 0.859375,-1.71875 1.4375,-1.71875 0.453125,0 0.75,0.21875 0.96875,0.546875 z m 0,0"
transform="translate(188.14297,134.765)"
id="path11671"
inkscape:connector-curvature="0" />
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="m 1.5625,0 v -4.421875 h -0.75 V 0 Z M 1.640625,-5.640625 V -6.53125 H 0.75 v 0.890625 z m 0,0"
transform="translate(193.29065,134.765)"
id="path11673"
inkscape:connector-curvature="0" />
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="M 3.3125,-0.265625 3.15625,-0.859375 C 2.890625,-0.640625 2.578125,-0.53125 2.25,-0.53125 c -0.359375,0 -0.5,-0.296875 -0.5,-0.828125 V -3.84375 H 3.15625 V -4.421875 H 1.75 V -5.6875 H 1.0625 v 1.265625 h -0.875 v 0.578125 h 0.84375 v 2.65625 c 0,0.59375 0.140625,1.296875 0.828125,1.296875 0.6875,0 1.203125,-0.25 1.453125,-0.375 z m 0,0"
transform="translate(195.67071,134.765)"
id="path11675"
inkscape:connector-curvature="0" />
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="m 1.5625,0 v -4.421875 h -0.75 V 0 Z M 1.640625,-5.640625 V -6.53125 H 0.75 v 0.890625 z m 0,0"
transform="translate(199.26821,134.765)"
id="path11677"
inkscape:connector-curvature="0" />
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="m 4.671875,-2.1875 c 0,-1.34375 -1,-2.40625 -2.171875,-2.40625 -1.234375,0 -2.203125,1.09375 -2.203125,2.40625 0,1.3125 1.015625,2.296875 2.1875,2.296875 1.1875,0 2.1875,-1 2.1875,-2.296875 z m -0.78125,-0.109375 c 0,1.1875 -0.671875,1.765625 -1.40625,1.765625 -0.6875,0 -1.40625,-0.5625 -1.40625,-1.765625 0,-1.203125 0.75,-1.6875 1.40625,-1.6875 0.703125,0 1.40625,0.515625 1.40625,1.6875 z m 0,0"
transform="translate(201.64827,134.765)"
id="path11679"
inkscape:connector-curvature="0" />
<path
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0"
d="m 4.34375,0 v -2.96875 c 0,-0.65625 -0.15625,-1.5625 -1.375,-1.5625 -0.890625,0 -1.390625,0.671875 -1.4375,0.75 V -4.484375 H 0.8125 V 0 h 0.765625 v -2.4375 c 0,-0.65625 0.25,-1.484375 1.015625,-1.484375 0.953125,0 0.96875,0.703125 0.96875,1.015625 V 0 Z m 0,0"
transform="translate(206.62957,134.765)"
id="path11681"
inkscape:connector-curvature="0" />
</g>
</g>
</g>
<path
style="display:inline;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#eb811b;stroke-width:0.26499999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:0.265, 0.265;stroke-dashoffset:0;stroke-opacity:1"
d="M 64.965189,56.350296 53.485173,50.36373"
id="path12483-4"
inkscape:connector-curvature="0"
sodipodi:nodetypes="cc" />
</g>
<g
inkscape:groupmode="layer"
id="layer35"
inkscape:label="Legend-Store [2-]"
style="display:inline">
<g
id="g11050"
ns1:jacobian_sqrt="0.352778"
inkscapeversion="0.92.3"
ns1:alignment="middle center"
ns1:scale="1.00000008505"
ns1:preamble="/home/dscheurer/tmp/CorrectnessCompilationRules/Presentation/images/inkscape-preable.tex"
ns1:text="Symbolic Store"
ns1:pdfconverter="pdf2svg"
ns1:texconverter="pdflatex"
ns1:version="0.8.1"
transform="matrix(0.35277801,0,0,0.35277801,-23.367713,11.674045)"
style="display:inline;fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-opacity:1">
<g
id="g11048"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-opacity:1">
<g
id="g11022"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-opacity:1">
<path
id="path11014"
transform="translate(148.712,134.765)"
d="M 4.96875,-1.890625 C 4.96875,-2.53125 4.671875,-3.015625 4.453125,-3.25 3.984375,-3.75 3.65625,-3.84375 2.734375,-4.0625 2.15625,-4.203125 2,-4.25 1.6875,-4.5 1.625,-4.5625 1.34375,-4.859375 1.34375,-5.296875 c 0,-0.578125 0.546875,-1.1875 1.453125,-1.1875 0.84375,0 1.3125,0.328125 1.6875,0.640625 l 0.15625,-0.796875 c -0.546875,-0.328125 -1.109375,-0.5 -1.828125,-0.5 -1.390625,0 -2.25,0.984375 -2.25,1.96875 0,0.421875 0.140625,0.84375 0.53125,1.265625 0.421875,0.453125 0.859375,0.5625 1.453125,0.703125 0.84375,0.21875 0.9375,0.25 1.21875,0.484375 0.203125,0.171875 0.421875,0.5 0.421875,0.9375 0,0.65625 -0.546875,1.3125 -1.453125,1.3125 -0.40625,0 -1.3125,-0.09375 -2.140625,-0.8125 l -0.15625,0.8125 c 0.875,0.546875 1.671875,0.6875 2.296875,0.6875 1.328125,0 2.234375,-1 2.234375,-2.109375 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path11016"
transform="translate(154.24722,134.765)"
d="m 4.453125,-4.421875 h -0.75 C 2.40625,-1.25 2.375,-0.796875 2.375,-0.5625 H 2.359375 C 2.296875,-1.234375 1.5,-3.09375 1.46875,-3.1875 L 0.921875,-4.421875 H 0.140625 L 2.078125,0 1.71875,0.890625 C 1.453125,1.46875 1.28125,1.46875 1.140625,1.46875 0.984375,1.46875 0.671875,1.4375 0.375,1.3125 l 0.046875,0.65625 c 0.21875,0.046875 0.5,0.078125 0.71875,0.078125 0.359375,0 0.71875,-0.125 1.125,-1.140625 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path11018"
transform="translate(158.84097,134.765)"
d="m 7.109375,0 v -2.96875 c 0,-0.671875 -0.15625,-1.5625 -1.375,-1.5625 -0.59375,0 -1.109375,0.28125 -1.484375,0.8125 -0.25,-0.75 -0.953125,-0.8125 -1.265625,-0.8125 -0.71875,0 -1.1875,0.40625 -1.453125,0.765625 v -0.71875 H 0.8125 V 0 h 0.765625 v -2.4375 c 0,-0.6875 0.28125,-1.484375 1.015625,-1.484375 0.921875,0 0.96875,0.640625 0.96875,1.015625 V 0 h 0.78125 v -2.4375 c 0,-0.6875 0.265625,-1.484375 1.015625,-1.484375 0.921875,0 0.96875,0.640625 0.96875,1.015625 V 0 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path11020"
transform="translate(166.75626,134.765)"
d="m 4.78125,-2.21875 c 0,-1.234375 -0.671875,-2.3125 -1.609375,-2.3125 -0.390625,0 -1.015625,0.09375 -1.609375,0.578125 v -2.96875 h -0.75 V 0 h 0.78125 v -0.453125 c 0.234375,0.21875 0.671875,0.5625 1.34375,0.5625 0.984375,0 1.84375,-1 1.84375,-2.328125 z M 4,-2.21875 C 4,-0.921875 3.171875,-0.5 2.5625,-0.5 2.171875,-0.5 1.84375,-0.671875 1.59375,-1.140625 V -3.34375 C 1.75,-3.578125 2.109375,-3.921875 2.65625,-3.921875 3.25,-3.921875 4,-3.5 4,-2.21875 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
</g>
<g
id="g11032"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-opacity:1">
<path
id="path11024"
transform="translate(172.18289,134.765)"
d="m 4.671875,-2.1875 c 0,-1.34375 -1,-2.40625 -2.171875,-2.40625 -1.234375,0 -2.203125,1.09375 -2.203125,2.40625 0,1.3125 1.015625,2.296875 2.1875,2.296875 1.1875,0 2.1875,-1 2.1875,-2.296875 z m -0.78125,-0.109375 c 0,1.1875 -0.671875,1.765625 -1.40625,1.765625 -0.6875,0 -1.40625,-0.5625 -1.40625,-1.765625 0,-1.203125 0.75,-1.6875 1.40625,-1.6875 0.703125,0 1.40625,0.515625 1.40625,1.6875 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path11026"
transform="translate(177.16419,134.765)"
d="m 1.5625,0 v -6.921875 h -0.75 V 0 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path11028"
transform="translate(179.54425,134.765)"
d="m 1.5625,0 v -4.421875 h -0.75 V 0 Z M 1.640625,-5.640625 V -6.53125 H 0.75 v 0.890625 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path11030"
transform="translate(181.92432,134.765)"
d="m 4.140625,-0.40625 -0.0625,-0.65625 c -0.515625,0.390625 -1.046875,0.53125 -1.5625,0.53125 -0.828125,0 -1.375,-0.71875 -1.375,-1.6875 C 1.140625,-3 1.5,-3.953125 2.5625,-3.953125 c 0.515625,0 0.859375,0.078125 1.40625,0.4375 l 0.125,-0.65625 C 3.5,-4.5 3.15625,-4.59375 2.546875,-4.59375 c -1.375,0 -2.1875,1.203125 -2.1875,2.375 0,1.234375 0.90625,2.328125 2.15625,2.328125 0.53125,0 1.078125,-0.140625 1.625,-0.515625 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
</g>
<g
id="g11040"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-opacity:1">
<path
id="path11034"
transform="translate(189.67024,134.765)"
d="M 4.96875,-1.890625 C 4.96875,-2.53125 4.671875,-3.015625 4.453125,-3.25 3.984375,-3.75 3.65625,-3.84375 2.734375,-4.0625 2.15625,-4.203125 2,-4.25 1.6875,-4.5 1.625,-4.5625 1.34375,-4.859375 1.34375,-5.296875 c 0,-0.578125 0.546875,-1.1875 1.453125,-1.1875 0.84375,0 1.3125,0.328125 1.6875,0.640625 l 0.15625,-0.796875 c -0.546875,-0.328125 -1.109375,-0.5 -1.828125,-0.5 -1.390625,0 -2.25,0.984375 -2.25,1.96875 0,0.421875 0.140625,0.84375 0.53125,1.265625 0.421875,0.453125 0.859375,0.5625 1.453125,0.703125 0.84375,0.21875 0.9375,0.25 1.21875,0.484375 0.203125,0.171875 0.421875,0.5 0.421875,0.9375 0,0.65625 -0.546875,1.3125 -1.453125,1.3125 -0.40625,0 -1.3125,-0.09375 -2.140625,-0.8125 l -0.15625,0.8125 c 0.875,0.546875 1.671875,0.6875 2.296875,0.6875 1.328125,0 2.234375,-1 2.234375,-2.109375 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path11036"
transform="translate(195.20546,134.765)"
d="M 3.3125,-0.265625 3.15625,-0.859375 C 2.890625,-0.640625 2.578125,-0.53125 2.25,-0.53125 c -0.359375,0 -0.5,-0.296875 -0.5,-0.828125 V -3.84375 H 3.15625 V -4.421875 H 1.75 V -5.6875 H 1.0625 v 1.265625 h -0.875 v 0.578125 h 0.84375 v 2.65625 c 0,0.59375 0.140625,1.296875 0.828125,1.296875 0.6875,0 1.203125,-0.25 1.453125,-0.375 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path11038"
transform="translate(198.80296,134.765)"
d="m 4.671875,-2.1875 c 0,-1.34375 -1,-2.40625 -2.171875,-2.40625 -1.234375,0 -2.203125,1.09375 -2.203125,2.40625 0,1.3125 1.015625,2.296875 2.1875,2.296875 1.1875,0 2.1875,-1 2.1875,-2.296875 z m -0.78125,-0.109375 c 0,1.1875 -0.671875,1.765625 -1.40625,1.765625 -0.6875,0 -1.40625,-0.5625 -1.40625,-1.765625 0,-1.203125 0.75,-1.6875 1.40625,-1.6875 0.703125,0 1.40625,0.515625 1.40625,1.6875 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
</g>
<g
id="g11046"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-opacity:1">
<path
id="path11042"
transform="translate(203.5053,134.765)"
d="m 3.265625,-3.875 v -0.65625 c -0.890625,0 -1.4375,0.5 -1.75,0.953125 v -0.90625 H 0.8125 V 0 h 0.75 V -2.140625 C 1.5625,-3.125 2.28125,-3.84375 3.265625,-3.875 Z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
<path
id="path11044"
transform="translate(206.90952,134.765)"
d="M 4.125,-2.1875 C 4.125,-2.515625 4.109375,-3.265625 3.734375,-3.875 3.3125,-4.484375 2.71875,-4.59375 2.359375,-4.59375 1.25,-4.59375 0.34375,-3.53125 0.34375,-2.25 c 0,1.3125 0.96875,2.359375 2.15625,2.359375 0.625,0 1.203125,-0.234375 1.59375,-0.515625 L 4.03125,-1.0625 C 3.40625,-0.53125 2.734375,-0.5 2.515625,-0.5 1.71875,-0.5 1.078125,-1.203125 1.046875,-2.1875 Z M 3.5625,-2.734375 H 1.09375 c 0.15625,-0.75 0.6875,-1.25 1.265625,-1.25 0.515625,0 1.0625,0.328125 1.203125,1.25 z m 0,0"
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1"
inkscape:connector-curvature="0" />
</g>
</g>
</g>
<path
style="display:inline;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#eb811b;stroke-width:0.26499999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:0.265, 0.265;stroke-dashoffset:0;stroke-opacity:1"
d="M 38.022074,56.350296 48.744229,50.36373"
id="path12483"
inkscape:connector-curvature="0"
sodipodi:nodetypes="cc" />
</g>
</g>
<g
transform="translate(0,-201)"
id="layer1"
inkscape:groupmode="layer"
inkscape:label="SE Rule [1-]"
style="display:inline">
<rect
transform="translate(0,201)"
style="display:inline;opacity:0.4;fill:#00ff00;fill-opacity:1;stroke:none;stroke-width:0.46499994;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
id="rect19048-4"
width="7.5387297"
height="4.3467264"
x="-13.956141"
y="34.855072" />
<rect
y="226.19778"
x="-31.174852"
height="8.598958"
width="24.757441"
id="rect11515"
style="display:inline;opacity:0.4;fill:#00ff00;fill-opacity:1;stroke:none;stroke-width:0.46499994;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
<g
transform="matrix(0.352778,0,0,0.352778,-6.1531464,202.57525)"
ns1:version="0.8.1"
ns1:texconverter="pdflatex"
ns1:pdfconverter="pdf2svg"
ns1:text="$\\dualSESt{\\U}{C}{p}{q^{(n)}}{\\obs}$"
ns1:preamble="/home/dscheurer/tmp/CorrectnessCompilationRules/Presentation/images/inkscape-preable.tex"
ns1:scale="1.00000008505"
ns1:alignment="middle center"
inkscapeversion="0.92.3"
ns1:jacobian_sqrt="0.352778"
id="g22113">
<g
id="g22496">
<g
style="fill:#21353a;fill-opacity:1"
id="g22048">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 3.296875,2.390625 c 0,-0.03125 0,-0.046875 -0.171875,-0.21875 C 1.890625,0.921875 1.5625,-0.96875 1.5625,-2.5 c 0,-1.734375 0.375,-3.46875 1.609375,-4.703125 0.125,-0.125 0.125,-0.140625 0.125,-0.171875 0,-0.078125 -0.03125,-0.109375 -0.09375,-0.109375 -0.109375,0 -1,0.6875 -1.59375,1.953125 -0.5,1.09375 -0.625,2.203125 -0.625,3.03125 0,0.78125 0.109375,1.984375 0.65625,3.125 C 2.25,1.84375 3.09375,2.5 3.203125,2.5 c 0.0625,0 0.09375,-0.03125 0.09375,-0.109375 z m 0,0"
transform="translate(148.712,134.765)"
id="path22046" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22052">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 5.890625,-0.34375 c 0,-0.0625 -0.046875,-0.078125 -0.09375,-0.078125 -0.109375,0 -0.296875,0.078125 -0.40625,0.15625 C 5.25,-0.296875 5.1875,-0.390625 5.1875,-0.53125 c 0,-0.796875 0.421875,-2.234375 0.546875,-2.703125 L 6.09375,-4.4375 c 0.171875,-0.59375 0.25,-0.875 0.453125,-1.34375 0.234375,-0.625 0.3125,-0.90625 0.3125,-0.953125 0,-0.0625 -0.046875,-0.078125 -0.09375,-0.078125 -0.1875,0 -0.640625,0.234375 -0.75,0.484375 C 6,-6.296875 5.90625,-6.03125 5.75,-5.59375 5.15625,-3.875 2.65625,-0.328125 1.46875,-0.328125 c -0.59375,0 -0.796875,-0.5625 -0.796875,-1.0625 0,-0.71875 0.40625,-1.625 1.015625,-3 0.421875,-1 0.640625,-1.5625 0.640625,-1.9375 0,-0.40625 -0.234375,-0.484375 -0.5,-0.484375 -0.765625,0 -1.734375,0.609375 -1.734375,0.828125 0,0.0625 0.078125,0.0625 0.109375,0.0625 0.109375,0 0.3125,-0.078125 0.5,-0.203125 0.1875,-0.140625 0.46875,-0.140625 0.46875,-0.140625 0.203125,0 0.296875,0.125 0.296875,0.359375 0,0.4375 -0.359375,1.28125 -0.703125,2.046875 -0.671875,1.515625 -0.9375,2.25 -0.9375,2.875 0,0.59375 0.21875,1.203125 0.984375,1.203125 0.984375,0 2.546875,-1 4.09375,-3.171875 H 4.921875 C 4.6875,-2.109375 4.34375,-0.875 4.34375,-0.109375 c 0,0.09375 0,0.390625 0.40625,0.390625 0.390625,0 1.140625,-0.4375 1.140625,-0.625 z m 0,0"
transform="translate(152.587,134.765)"
id="path22050" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22056">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 1.796875,-0.015625 v -0.8125 H 0.96875 V 0 h 0.25 l -0.25,1.25 H 1.375 Z m 0,0"
transform="translate(159.811,134.765)"
id="path22054" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22060">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="M 7.171875,-6.6875 C 6.5625,-6.953125 6.015625,-7.03125 5.40625,-7.03125 c -2.171875,0 -4.09375,2.203125 -4.09375,4.421875 0,1.46875 0.984375,2.71875 2.515625,2.71875 0.9375,0 1.3125,-0.109375 2.125,-0.5625 l 0.09375,-0.6875 C 5.265625,-0.671875 4.8125,-0.53125 4.0625,-0.53125 c -1.265625,0 -1.859375,-1.03125 -1.859375,-2.15625 0,-1.875 1.453125,-3.703125 3.0625,-3.703125 0.65625,0 1.046875,0.15625 1.59375,0.515625 z m 0,0"
transform="translate(164.239,134.765)"
id="path22058" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22064">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 1.796875,-0.015625 v -0.8125 H 0.96875 V 0 h 0.25 l -0.25,1.25 H 1.375 Z m 0,0"
transform="translate(171.798,134.765)"
id="path22062" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22068">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 1.6875,-0.453125 c 0.15625,0.15625 0.515625,0.5625 1.21875,0.5625 1.1875,0 2.421875,-1.375 2.421875,-3.03125 0,-0.84375 -0.375,-1.609375 -1.15625,-1.609375 -0.625,0 -1.296875,0.25 -1.765625,0.59375 L 2.5,-4.421875 H 1.75 L 0.40625,1.9375 H 1.1875 Z m 0.578125,-2.71875 C 2.3125,-3.34375 2.328125,-3.34375 2.4375,-3.46875 c 0.4375,-0.375 0.84375,-0.421875 1.046875,-0.421875 0.609375,0 1.046875,0.5 1.046875,1.25 0,1.125 -0.953125,2.140625 -1.875,2.140625 -0.671875,0 -0.8125,-0.609375 -0.8125,-0.65625 0,-0.015625 0.03125,-0.125 0.03125,-0.140625 z m 0,0"
transform="translate(176.226,134.765)"
id="path22066" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22074">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="M 5.515625,-0.328125 V -6.59375 c 0,-0.140625 0,-0.328125 -0.1875,-0.328125 C 5.125,-6.921875 5.125,-6.71875 5.125,-6.578125 V -3.65625 H 0.890625 c -0.140625,0 -0.328125,0 -0.328125,0.203125 0,0.1875 0.1875,0.1875 0.328125,0.1875 H 5.125 V -0.34375 C 5.125,-0.203125 5.125,0 5.328125,0 c 0.1875,0 0.1875,-0.1875 0.1875,-0.328125 z m 0,0"
transform="translate(184.528,134.765)"
id="path22070" />
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 5.515625,-3.453125 c 0,-0.203125 -0.1875,-0.203125 -0.328125,-0.203125 H 0.953125 v -2.9375 c 0,-0.140625 0,-0.328125 -0.203125,-0.328125 -0.1875,0 -0.1875,0.203125 -0.1875,0.34375 V -0.34375 C 0.5625,-0.203125 0.5625,0 0.75,0 0.953125,0 0.953125,-0.1875 0.953125,-0.328125 v -2.9375 H 5.1875 c 0.140625,0 0.328125,0 0.328125,-0.1875 z m 0,0"
transform="translate(190.61614,134.765)"
id="path22072" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22078">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 5.296875,-4.53125 h -0.75 L 4.40625,-3.875 C 4.265625,-4.09375 3.875,-4.53125 3.171875,-4.53125 2,-4.53125 0.75,-3.15625 0.75,-1.546875 c 0,0.9375 0.46875,1.65625 1.28125,1.65625 0.6875,0 1.296875,-0.359375 1.625,-0.59375 L 3.140625,1.9375 h 0.78125 z M 3.875,-1.359375 C 3.8125,-1.125 3.59375,-0.921875 3.390625,-0.78125 3.109375,-0.578125 2.828125,-0.5 2.609375,-0.5 1.921875,-0.5 1.5625,-1.09375 1.5625,-1.765625 c 0,-1.15625 0.953125,-2.125 1.84375,-2.125 0.796875,0 0.796875,0.90625 0.796875,0.921875 l -0.03125,0.171875 z m 0,0"
transform="translate(199.472,134.765)"
id="path22076" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22082">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 2.609375,1.65625 c 0,-0.046875 -0.015625,-0.0625 -0.0625,-0.109375 C 1.609375,0.703125 1.28125,-0.46875 1.28125,-1.734375 1.28125,-3.625 2,-4.546875 2.5625,-5.0625 2.59375,-5.09375 2.609375,-5.109375 2.609375,-5.140625 2.609375,-5.21875 2.53125,-5.21875 2.46875,-5.21875 1.15625,-4.296875 0.796875,-2.8125 0.796875,-1.75 c 0,0.984375 0.296875,2.515625 1.671875,3.484375 0.0625,0 0.140625,0 0.140625,-0.078125 z m 0,0"
transform="translate(205.034,131.149)"
id="path22080" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22086">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 3.6875,-2.078125 c 0.03125,-0.125 0.046875,-0.203125 0.046875,-0.375 0,-0.59375 -0.453125,-0.703125 -0.84375,-0.703125 -0.390625,0 -0.8125,0.15625 -1.1875,0.515625 l 0.109375,-0.5 H 1.25 L 0.578125,0 H 1.1875 L 1.484375,-1.453125 C 1.59375,-1.875 1.625,-2.09375 1.859375,-2.375 2.03125,-2.59375 2.25,-2.703125 2.5,-2.703125 c 0.34375,0 0.59375,0.125 0.59375,0.453125 0,0.109375 0,0.125 -0.015625,0.171875 L 2.640625,0 h 0.59375 z m 0,0"
transform="translate(208.148,131.149)"
id="path22084" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22090">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="M 2.296875,-1.734375 C 2.296875,-2.71875 2,-4.25 0.625,-5.21875 c -0.046875,0 -0.125,0 -0.125,0.078125 0,0.03125 0.015625,0.046875 0.0625,0.109375 0.59375,0.546875 1.265625,1.484375 1.265625,3.28125 0,1.453125 -0.453125,2.5625 -1.203125,3.234375 -0.125,0.125 -0.125,0.125 -0.125,0.171875 0,0.03125 0.015625,0.078125 0.078125,0.078125 0.09375,0 0.75,-0.453125 1.21875,-1.328125 0.296875,-0.578125 0.5,-1.328125 0.5,-2.140625 z m 0,0"
transform="translate(212.09,131.149)"
id="path22088" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22098">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 2.875,-2.5 c 0,-0.765625 -0.109375,-1.96875 -0.65625,-3.109375 -0.59375,-1.21875 -1.453125,-1.875 -1.546875,-1.875 -0.0625,0 -0.109375,0.046875 -0.109375,0.109375 0,0.03125 0,0.046875 0.1875,0.234375 0.984375,0.984375 1.546875,2.5625 1.546875,4.640625 0,1.71875 -0.359375,3.46875 -1.59375,4.71875 C 0.5625,2.34375 0.5625,2.359375 0.5625,2.390625 0.5625,2.453125 0.609375,2.5 0.671875,2.5 0.765625,2.5 1.671875,1.8125 2.25,0.546875 2.765625,-0.546875 2.875,-1.65625 2.875,-2.5 Z m 0,0"
transform="translate(215.701,134.765)"
id="path22092" />
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 7.1875,-3.375 c 0,-2.328125 -1.703125,-3.65625 -3.3125,-3.65625 -1.828125,0 -3.3125,1.59375 -3.3125,3.578125 0,1.875 1.375,3.5625 3.359375,3.5625 0.53125,0 1.15625,-0.0625 1.796875,-0.21875 0.265625,-0.0625 1.453125,-0.40625 1.453125,-0.5625 0,-0.109375 -0.0625,-0.109375 -0.21875,-0.109375 h -0.09375 c -0.15625,0 -0.1875,0 -0.234375,0.03125 -0.84375,0.40625 -1.765625,0.640625 -2.703125,0.640625 -1.8125,0 -3.109375,-1.5625 -3.109375,-3.34375 0,-1.90625 1.421875,-3.359375 3.0625,-3.359375 1.359375,0 3.0625,1.09375 3.0625,3.5 0,0.921875 -0.0625,1.8125 -0.734375,1.8125 -0.34375,0 -0.34375,-0.5 -0.34375,-0.65625 V -4.5625 c 0,-0.21875 0,-0.234375 -0.234375,-0.234375 H 5.453125 C 5.296875,-4.796875 5.28125,-4.8125 5.21875,-4.875 4.765625,-5.5 4.25,-5.640625 3.859375,-5.640625 c -1.03125,0 -1.96875,0.921875 -1.96875,2.1875 0,1.25 0.9375,2.171875 1.96875,2.171875 0.53125,0 1.015625,-0.28125 1.3125,-0.703125 0.109375,0.515625 0.625,0.703125 1,0.703125 0.875,0 1.015625,-1.015625 1.015625,-2.09375 z m -2.015625,0.765625 c 0,0.171875 0,0.21875 -0.140625,0.421875 -0.4375,0.625 -0.9375,0.6875 -1.140625,0.6875 -0.71875,0 -1.3125,-0.859375 -1.3125,-1.953125 0,-1.109375 0.578125,-1.96875 1.3125,-1.96875 0.3125,0 0.796875,0.15625 1.15625,0.71875 0.125,0.1875 0.125,0.21875 0.125,0.390625 z m 0,0"
transform="translate(219.57545,134.765)"
id="path22094" />
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 3.296875,2.390625 c 0,-0.03125 0,-0.046875 -0.171875,-0.21875 C 1.890625,0.921875 1.5625,-0.96875 1.5625,-2.5 c 0,-1.734375 0.375,-3.46875 1.609375,-4.703125 0.125,-0.125 0.125,-0.140625 0.125,-0.171875 0,-0.078125 -0.03125,-0.109375 -0.09375,-0.109375 -0.109375,0 -1,0.6875 -1.59375,1.953125 -0.5,1.09375 -0.625,2.203125 -0.625,3.03125 0,0.78125 0.109375,1.984375 0.65625,3.125 C 2.25,1.84375 3.09375,2.5 3.203125,2.5 c 0.0625,0 0.09375,-0.03125 0.09375,-0.109375 z m 0,0"
transform="translate(227.32436,134.765)"
id="path22096" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22106">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="M 5.140625,-2.1875 C 5.421875,-3.53125 4.65625,-4.59375 3.46875,-4.59375 2.25,-4.59375 1.046875,-3.5 0.765625,-2.1875 c -0.28125,1.3125 0.53125,2.296875 1.703125,2.296875 1.1875,0 2.390625,-1 2.671875,-2.296875 z m -0.75,-0.109375 c -0.25,1.1875 -1.0625,1.765625 -1.796875,1.765625 -0.6875,0 -1.28125,-0.5625 -1.03125,-1.765625 0.265625,-1.203125 1.125,-1.6875 1.765625,-1.6875 0.703125,0 1.3125,0.515625 1.0625,1.6875 z m 0,0"
transform="translate(231.199,134.765)"
id="path22100" />
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 5.25,-2.21875 c 0.265625,-1.234375 -0.171875,-2.3125 -1.109375,-2.3125 -0.390625,0 -1.03125,0.09375 -1.734375,0.578125 l 0.640625,-2.96875 h -0.75 L 0.8125,0 H 1.59375 L 1.6875,-0.453125 c 0.203125,0.21875 0.5625,0.5625 1.21875,0.5625 1,0 2.0625,-1 2.34375,-2.328125 z m -0.78125,0 C 4.203125,-0.921875 3.28125,-0.5 2.671875,-0.5 2.28125,-0.5 1.984375,-0.671875 1.828125,-1.140625 L 2.296875,-3.34375 C 2.515625,-3.578125 2.953125,-3.921875 3.5,-3.921875 c 0.59375,0 1.25,0.421875 0.96875,1.703125 z m 0,0"
transform="translate(236.1803,134.765)"
id="path22102" />
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 3.859375,-1.28125 c 0.125,-0.546875 -0.1875,-0.875 -0.1875,-0.90625 C 3.34375,-2.546875 3.09375,-2.609375 2.609375,-2.6875 2.09375,-2.796875 1.65625,-2.90625 1.75,-3.390625 1.890625,-4 2.609375,-4 2.734375,-4 c 0.3125,0 0.84375,0.03125 1.328125,0.375 l 0.265625,-0.65625 c -0.46875,-0.234375 -0.859375,-0.3125 -1.375,-0.3125 -0.234375,0 -1.640625,0 -1.921875,1.296875 -0.109375,0.5 0.109375,0.8125 0.328125,1 0.25,0.21875 0.46875,0.265625 1,0.375 0.34375,0.0625 0.890625,0.1875 0.78125,0.71875 -0.15625,0.6875 -0.9375,0.6875 -1.09375,0.6875 -0.796875,0 -1.28125,-0.375 -1.4375,-0.484375 L 0.34375,-0.328125 c 0.296875,0.15625 0.78125,0.4375 1.59375,0.4375 0.171875,0 0.71875,0 1.21875,-0.3125 0.359375,-0.25 0.609375,-0.640625 0.703125,-1.078125 z m 0,0"
transform="translate(241.32797,134.765)"
id="path22104" />
</g>
<g
style="fill:#21353a;fill-opacity:1"
id="g22110">
<path
inkscape:connector-curvature="0"
style="stroke:none;stroke-width:0"
d="m 2.875,-2.5 c 0,-0.765625 -0.109375,-1.96875 -0.65625,-3.109375 -0.59375,-1.21875 -1.453125,-1.875 -1.546875,-1.875 -0.0625,0 -0.109375,0.046875 -0.109375,0.109375 0,0.03125 0,0.046875 0.1875,0.234375 0.984375,0.984375 1.546875,2.5625 1.546875,4.640625 0,1.71875 -0.359375,3.46875 -1.59375,4.71875 C 0.5625,2.34375 0.5625,2.359375 0.5625,2.390625 0.5625,2.453125 0.609375,2.5 0.671875,2.5 0.765625,2.5 1.671875,1.8125 2.25,0.546875 2.765625,-0.546875 2.875,-1.65625 2.875,-2.5 Z m 0,0"
transform="translate(245.147,134.765)"
id="path22108" />
</g>
</g>
</g>
</g>
</svg>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.