Add pictures for choice section. Update section on function application
authorChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Mon, 22 Feb 2010 08:30:46 +0000 (09:30 +0100)
committerChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Mon, 22 Feb 2010 08:30:46 +0000 (09:30 +0100)
choice-case.svg [new file with mode: 0644]
choice-ifthenelse.svg [new file with mode: 0644]
cλash.lhs
mac-nocurry.svg
mac.svg

diff --git a/choice-case.svg b/choice-case.svg
new file mode 100644 (file)
index 0000000..7d6c9d6
--- /dev/null
@@ -0,0 +1,588 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+   xmlns:ns0="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="172.75"
+   height="124.93002"
+   id="svg2"
+   version="1.1"
+   inkscape:version="0.47 r22583"
+   sodipodi:docname="choice-case.svg">
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="2.1106557"
+     inkscape:cx="100.30358"
+     inkscape:cy="11.570164"
+     inkscape:document-units="px"
+     inkscape:current-layer="layer1"
+     showgrid="true"
+     inkscape:snap-grids="true"
+     inkscape:window-width="1091"
+     inkscape:window-height="778"
+     inkscape:window-x="174"
+     inkscape:window-y="23"
+     inkscape:window-maximized="0"
+     inkscape:snap-center="false">
+    <inkscape:grid
+       type="xygrid"
+       id="grid2818"
+       empspacing="5"
+       visible="true"
+       enabled="true"
+       snapvisiblegridlinesonly="true" />
+  </sodipodi:namedview>
+  <defs
+     id="defs4">
+    <marker
+       inkscape:stockid="Arrow1Mend"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mend"
+       style="overflow:visible">
+      <path
+         id="path3732"
+         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Send"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Send"
+       style="overflow:visible">
+      <path
+         id="path3738"
+         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.2,0,0,-0.2,-1.2,0)" />
+    </marker>
+    <inkscape:perspective
+       sodipodi:type="inkscape:persp3d"
+       inkscape:vp_x="0 : 526.18109 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_z="744.09448 : 526.18109 : 1"
+       inkscape:persp3d-origin="372.04724 : 350.78739 : 1"
+       id="perspective10" />
+    <inkscape:perspective
+       id="perspective3098"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 0.5 : 1"
+       sodipodi:type="inkscape:persp3d" />
+    <inkscape:perspective
+       id="perspective3128"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 0.5 : 1"
+       sodipodi:type="inkscape:persp3d" />
+  </defs>
+  <metadata
+     id="metadata7">
+    <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:label="Layer 1"
+     inkscape:groupmode="layer"
+     id="layer1"
+     transform="translate(-367.86,-538.2295)">
+    <rect
+       style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       id="rect6192"
+       width="140"
+       height="115"
+       x="20"
+       y="-0.58998108"
+       transform="translate(368.36,548.2495)" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 368.86,585.7295 82,0"
+       id="path2940"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 368.86,595.7295 82,0"
+       id="path2942"
+       sodipodi:nodetypes="cc" />
+    <g
+       ns0:preamble=""
+       ns0:text="$\\mathit{a}$\n"
+       word-spacing="normal"
+       letter-spacing="normal"
+       font-size-adjust="none"
+       font-stretch="normal"
+       font-weight="normal"
+       font-variant="normal"
+       font-style="normal"
+       stroke-miterlimit="10.433"
+       xml:space="preserve"
+       transform="matrix(1,0,0,-1,150.98988,1240.6404)"
+       id="content"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   id="path3817"
+   d="m 226.91,657.82 0.01,-0.04 0.01,-0.05 0.02,-0.04 0.01,-0.04 0.02,-0.04 0.02,-0.04 0.02,-0.03 0.02,-0.03 0.02,-0.04 0.02,-0.03 0.02,-0.03 0.03,-0.03 0.02,-0.02 0.03,-0.03 0.03,-0.02 0.02,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.01 0.03,-0.01 0.03,-0.02 0.04,-0.01 0.03,-0.01 0.03,0 0.03,-0.01 0.04,-0.01 0.03,0 0.03,0 0.03,-0.01 0.04,0 c 0.36,0 0.57,0.25 0.72,0.56 0.18,0.38 0.3,0.96 0.3,0.98 0,0.1 -0.08,0.1 -0.15,0.1 -0.12,0 -0.13,-0.01 -0.19,-0.23 -0.14,-0.56 -0.32,-1.19 -0.66,-1.19 -0.26,0 -0.26,0.27 -0.26,0.41 0,0.07 0,0.23 0.07,0.51 l 0.67,2.71 c 0.04,0.14 0.04,0.16 0.04,0.21 0,0.21 -0.16,0.26 -0.27,0.26 -0.31,0 -0.38,-0.34 -0.39,-0.39 -0.19,0.43 -0.51,0.59 -0.83,0.59 v -0.22 c 0.44,0 0.69,-0.52 0.69,-0.94 0,-0.02 -0.01,-0.07 -0.03,-0.13 h 0 l -0.47,-1.88 c -0.08,-0.32 -0.7,-1.13 -1.25,-1.13 -0.46,0 -0.54,0.59 -0.54,0.89 0,0.5 0.3,1.66 0.48,2.08 0.25,0.61 0.71,1.11 1.12,1.11 v 0.22 c -1.11,0 -2.28,-1.52 -2.28,-2.97 0,-0.85 0.46,-1.55 1.2,-1.55 0.36,0 0.8,0.21 1.2,0.7 z"
+   style="fill:#000000;stroke-width:0" />
+</g>    <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       id="g3863"
+       transform="matrix(1,0,0,-1,151.32988,1250.9995)"
+       xml:space="preserve"
+       stroke-miterlimit="10.433"
+       font-style="normal"
+       font-variant="normal"
+       font-weight="normal"
+       font-stretch="normal"
+       font-size-adjust="none"
+       letter-spacing="normal"
+       word-spacing="normal"
+       ns0:text="$\\mathit{b}$\n"
+       ns0:preamble="">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 226.45,663.9 0,0 0,0 0,0.01 0.01,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 0.01,0.01 0,0.01 0,0.01 0,0 0,0 0.01,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 c 0,0.09 -0.06,0.12 -0.14,0.12 -0.03,0 -0.13,-0.01 -0.16,-0.02 l -0.98,-0.08 c -0.12,-0.01 -0.23,-0.02 -0.23,-0.21 0,-0.11 0.1,-0.11 0.24,-0.11 0.47,0 0.49,-0.07 0.49,-0.17 0,-0.03 -0.03,-0.16 -0.03,-0.17 l -0.98,-3.94 c -0.01,-0.03 -0.11,-0.43 -0.11,-0.81 0,-0.84 0.42,-1.52 1.14,-1.52 v 0.22 c -0.24,0 -0.57,0.21 -0.57,0.96 0,0.44 0.09,0.79 0.37,1.92 0.07,0.24 0.07,0.26 0.22,0.46 0.29,0.4 0.67,0.74 1.05,0.74 0.45,0 0.55,-0.57 0.55,-0.89 0,-0.42 -0.27,-1.6 -0.56,-2.24 -0.12,-0.25 -0.55,-0.95 -1.06,-0.95 h 0 v -0.22 c 1.12,0 2.29,1.5 2.29,2.96 0,1.07 -0.6,1.56 -1.2,1.56 -0.38,0 -0.72,-0.21 -1.06,-0.53 z"
+   id="path3865" />
+</g>    <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       ns0:preamble=""
+       ns0:text="$\\mathit{pred}$\n\n"
+       word-spacing="normal"
+       letter-spacing="normal"
+       font-size-adjust="none"
+       font-stretch="normal"
+       font-weight="normal"
+       font-variant="normal"
+       font-style="normal"
+       stroke-miterlimit="10.433"
+       xml:space="preserve"
+       transform="matrix(1,0,0,-1,144.90488,1312.0082)"
+       id="g2979">
+<path
+   style="fill:#000000;stroke-width:0"
+   id="path2981"
+   d="m 224.33,655.96 -0.01,-0.03 -0.01,-0.03 0,-0.02 -0.01,-0.03 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.01 -0.01,-0.02 -0.01,-0.01 -0.01,-0.02 -0.01,-0.01 -0.01,-0.01 -0.01,-0.01 -0.02,-0.01 -0.01,-0.01 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,0 -0.03,0 -0.03,0 -0.03,-0.01 -0.03,0 -0.03,0 -0.03,0 -0.04,0 c -0.09,0 -0.21,0 -0.21,-0.19 0,-0.07 0.05,-0.12 0.12,-0.12 0.27,0 0.56,0.03 0.84,0.03 0.32,0 0.66,-0.03 0.96,-0.03 0.06,0 0.19,0 0.19,0.19 0,0.12 -0.1,0.12 -0.23,0.12 -0.51,0 -0.51,0.06 -0.51,0.16 0,0.06 0.07,0.32 0.11,0.48 l 0.35,1.45 c 0.08,-0.17 0.32,-0.58 0.84,-0.58 l -0.01,0.22 c -0.58,0 -0.68,0.85 -0.68,0.93 0,0.03 0.01,0.06 0.03,0.14 l 0.47,1.88 c 0.08,0.34 0.7,1.13 1.25,1.13 0.45,0 0.55,-0.57 0.55,-0.89 0,-0.42 -0.27,-1.6 -0.56,-2.24 -0.12,-0.25 -0.55,-0.95 -1.06,-0.95 l 0.01,-0.22 c 1.09,0 2.27,1.48 2.27,2.96 0,1.07 -0.59,1.56 -1.19,1.56 -0.49,0 -0.92,-0.36 -1.21,-0.7 -0.12,0.58 -0.57,0.7 -0.81,0.7 -0.36,0 -0.56,-0.23 -0.72,-0.53 -0.19,-0.4 -0.32,-0.99 -0.32,-1.01 0,-0.1 0.1,-0.1 0.15,-0.1 0.13,0 0.14,0.01 0.19,0.23 0.18,0.7 0.37,1.19 0.68,1.19 0.26,0 0.26,-0.29 0.26,-0.4 0,-0.06 0,-0.22 -0.08,-0.5 z" />
+<path
+   style="fill:#000000;stroke-width:0"
+   id="path2983"
+   d="m 231.1,660.1 0,0 0,0.01 0,0 0,0.01 0.01,0.01 0,0.01 0,0.01 0.01,0.02 0.01,0.01 0,0.02 0.01,0.02 0.01,0.01 0.01,0.05 0.02,0.04 0.03,0.05 0.02,0.05 0.03,0.05 0.03,0.06 0.03,0.06 0.04,0.06 0.04,0.06 0.04,0.06 0.04,0.06 0.04,0.06 0.05,0.06 0.05,0.06 0.05,0.05 0.06,0.06 0.06,0.05 0.05,0.05 0.07,0.04 0.06,0.04 0.03,0.02 0.04,0.01 0.03,0.02 0.04,0.01 0.03,0.01 0.04,0.02 0.04,0 0.03,0.01 0.04,0.01 0.04,0 0.04,0.01 0.04,0 c 0.05,0 0.33,0 0.53,-0.14 -0.35,-0.11 -0.38,-0.43 -0.38,-0.48 0,-0.13 0.09,-0.32 0.35,-0.32 0.18,0 0.49,0.14 0.49,0.53 0,0.52 -0.65,0.63 -0.98,0.63 -0.69,0 -1.05,-0.5 -1.21,-0.72 -0.11,0.53 -0.49,0.72 -0.82,0.72 -0.36,0 -0.56,-0.23 -0.72,-0.53 -0.19,-0.4 -0.32,-0.99 -0.32,-1.01 0,-0.1 0.1,-0.1 0.15,-0.1 0.13,0 0.14,0.01 0.19,0.23 0.18,0.7 0.37,1.19 0.68,1.19 0.26,0 0.26,-0.29 0.26,-0.4 0,-0.16 -0.03,-0.35 -0.07,-0.51 l -0.75,-2.99 c -0.02,-0.06 -0.03,-0.11 -0.03,-0.14 0,-0.11 0.08,-0.26 0.28,-0.26 0.3,0 0.37,0.29 0.39,0.37 z" />
+<path
+   style="fill:#000000;stroke-width:0"
+   id="path2985"
+   d="m 234.6,659.53 0.03,0 0.03,0 0.03,0 0.03,0.01 0.04,0 0.04,0 0.04,0 0.04,0 0.04,0 0.05,0.01 0.04,0 0.05,0 0.09,0.01 0.1,0.01 0.1,0.02 0.1,0.01 0.1,0.02 0.11,0.02 0.1,0.02 0.09,0.03 0.05,0.01 0.05,0.02 0.05,0.02 0.04,0.01 c 0.79,0.32 0.79,0.97 0.79,1.04 0,0.46 -0.37,0.85 -1.01,0.85 v -0.22 c 0.4,0 0.63,-0.27 0.63,-0.61 0,-1.06 -1.65,-1.06 -1.97,-1.06 h -0.21 c 0.43,1.64 1.45,1.67 1.55,1.67 v 0.22 c -1.05,0 -2.47,-1.01 -2.47,-2.77 0,-0.9 0.48,-1.75 1.42,-1.75 1.28,0 2.11,1 2.11,1.15 0,0.05 -0.08,0.16 -0.16,0.16 -0.04,0 -0.05,-0.01 -0.13,-0.11 -0.74,-0.94 -1.63,-0.98 -1.8,-0.98 -0.64,0 -0.75,0.71 -0.75,1.1 0,0.38 0.1,0.83 0.17,1.09 z" />
+<path
+   style="fill:#000000;stroke-width:0"
+   id="path2987"
+   d="m 241.84,663.9 0,0 0.01,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 0.01,0.01 0,0.01 0,0.01 0,0.01 0.01,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 c 0,0.09 -0.06,0.12 -0.13,0.12 -0.03,0 -0.14,-0.01 -0.17,-0.02 l -0.98,-0.08 c -0.12,-0.01 -0.23,-0.02 -0.23,-0.21 0,-0.11 0.1,-0.11 0.24,-0.11 0.48,0 0.5,-0.07 0.5,-0.17 0,-0.03 -0.03,-0.16 -0.03,-0.17 l -0.58,-2.33 c -0.15,0.31 -0.42,0.58 -0.84,0.58 v -0.22 c 0.08,0 0.31,-0.01 0.49,-0.29 0.1,-0.16 0.2,-0.45 0.2,-0.64 0,-0.03 -0.01,-0.07 -0.03,-0.13 l -0.48,-1.91 c -0.08,-0.31 -0.69,-1.11 -1.23,-1.11 -0.47,0 -0.55,0.59 -0.55,0.89 0,0.5 0.31,1.66 0.49,2.08 0.25,0.61 0.7,1.11 1.11,1.11 v 0.22 c -1.1,0 -2.28,-1.52 -2.28,-2.97 0,-0.85 0.46,-1.55 1.21,-1.55 0.35,0 0.79,0.21 1.19,0.7 0.11,-0.49 0.48,-0.7 0.83,-0.7 0.37,0 0.58,0.25 0.73,0.56 0.18,0.38 0.29,0.96 0.29,0.98 0,0.1 -0.08,0.1 -0.14,0.1 -0.12,0 -0.13,-0.01 -0.19,-0.23 -0.14,-0.56 -0.33,-1.19 -0.67,-1.19 -0.26,0 -0.26,0.27 -0.26,0.41 0,0.07 0,0.22 0.06,0.46 z" />
+</g>    <g
+       transform="translate(-75.34,-10)"
+       id="g5140">
+      <g
+         transform="translate(118.2,-6.1899623)"
+         id="g4445">
+        <path
+           sodipodi:type="arc"
+           style="fill:#ffffff;stroke:#000000"
+           id="path3641"
+           sodipodi:cx="40"
+           sodipodi:cy="26.984081"
+           sodipodi:rx="10"
+           sodipodi:ry="10"
+           d="m 50,26.984081 c 0,5.522848 -4.477153,10 -10,10 -5.522847,0 -10,-4.477152 -10,-10 0,-5.522847 4.477153,-10 10,-10 5.522847,0 10,4.477153 10,10 z"
+           transform="translate(379,551.3654)" />
+        <g
+           id="g3067"
+           transform="matrix(1,0,0,-1,191.89,1238.2695)"
+           xml:space="preserve"
+           stroke-miterlimit="10.433"
+           font-style="normal"
+           font-variant="normal"
+           font-weight="normal"
+           font-stretch="normal"
+           font-size-adjust="none"
+           letter-spacing="normal"
+           word-spacing="normal"
+           ns0:text="$\\mathbf{+}$\n\n"
+           ns0:preamble=""
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 227.51,659.52 h 2.78 c 0.14,0 0.33,0 0.33,0.2 0,0.2 -0.19,0.2 -0.33,0.2 h -2.78 v 2.79 c 0,0.14 0,0.33 -0.2,0.33 -0.2,0 -0.2,-0.19 -0.2,-0.33 v -2.79 h -2.79 c -0.14,0 -0.33,0 -0.33,-0.2 0,-0.2 0.19,-0.2 0.33,-0.2 h 2.79 v -2.79 c 0,-0.14 0,-0.32 0.2,-0.32 0.2,0 0.2,0.18 0.2,0.32 z"
+   id="path3069" />
+</g>      </g>
+    </g>
+    <g
+       transform="translate(-67.625,71.145019)"
+       id="g4438">
+      <path
+         transform="translate(489,516.3654)"
+         d="m 50,26.984081 c 0,5.522848 -4.477153,10 -10,10 -5.522847,0 -10,-4.477152 -10,-10 0,-5.522847 4.477153,-10 10,-10 5.522847,0 10,4.477153 10,10 z"
+         sodipodi:ry="10"
+         sodipodi:rx="10"
+         sodipodi:cy="26.984081"
+         sodipodi:cx="40"
+         id="path4429"
+         style="fill:#ffffff;stroke:#000000"
+         sodipodi:type="arc" />
+      <g
+         id="g3583"
+         transform="matrix(1,0,0,-1,301.695,1203.0745)"
+         xml:space="preserve"
+         stroke-miterlimit="10.433"
+         font-style="normal"
+         font-variant="normal"
+         font-weight="normal"
+         font-stretch="normal"
+         font-size-adjust="none"
+         letter-spacing="normal"
+         word-spacing="normal"
+         ns0:text="$\\neq$\n\n\n\n\n"
+         ns0:preamble=""
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 229.71,663.98 0,0 0.01,0.01 0,0.01 0,0 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0,0 0.01,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0.01,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 c 0,0.07 -0.06,0.2 -0.2,0.2 -0.12,0 -0.15,-0.06 -0.22,-0.2 l -4.47,-8.7 c -0.08,-0.14 -0.08,-0.16 -0.08,-0.19 0,-0.08 0.07,-0.2 0.2,-0.2 0.12,0 0.15,0.06 0.22,0.2 z"
+   id="path3585" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 230.28,660.49 0.03,0 0.02,0 0.03,0 0.02,0 0.01,0 0.02,0 0.01,0.01 0.02,0 0.01,0 0.01,0 0.02,0.01 0.01,0 0.01,0 0.01,0.01 0.02,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0,0.01 0.01,0.01 0,0.01 0,0 0.01,0.01 0,0 0,0.01 0.01,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.2 -0.19,0.2 -0.33,0.2 h -5.97 c -0.14,0 -0.33,0 -0.33,-0.2 0,-0.2 0.19,-0.2 0.34,-0.2 z"
+   id="path3587" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 230.29,658.56 0.01,0 0.01,0 0.03,0 0.03,0 0.01,0 0.02,0 0.01,0 0.01,0 0.02,0.01 0.01,0 0.02,0 0.01,0 0.01,0.01 0.01,0 0.02,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0,0.01 0,0 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0.01,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.2 -0.19,0.2 -0.34,0.2 h -5.95 c -0.15,0 -0.34,0 -0.34,-0.2 0,-0.2 0.19,-0.2 0.33,-0.2 z"
+   id="path3589" />
+</g>    </g>
+    <g
+       transform="translate(-12.14,57.380016)"
+       id="g4579">
+      <path
+         transform="translate(434,506.3654)"
+         d="m 50,26.984081 c 0,5.522848 -4.477153,10 -10,10 -5.522847,0 -10,-4.477152 -10,-10 0,-5.522847 4.477153,-10 10,-10 5.522847,0 10,4.477153 10,10 z"
+         sodipodi:ry="10"
+         sodipodi:rx="10"
+         sodipodi:cy="26.984081"
+         sodipodi:cx="40"
+         id="path4581"
+         style="fill:#ffffff;stroke:#000000"
+         sodipodi:type="arc" />
+      <g
+         id="g4583"
+         transform="matrix(1,0,0,-1,246.72,1192.8695)"
+         xml:space="preserve"
+         stroke-miterlimit="10.433"
+         font-style="normal"
+         font-variant="normal"
+         font-weight="normal"
+         font-stretch="normal"
+         font-size-adjust="none"
+         letter-spacing="normal"
+         word-spacing="normal"
+         ns0:text="$\\equiv$\n\n\n\n\n"
+         ns0:preamble=""
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   d="m 230.27,661.46 0.03,0 0.03,0 0.03,0 0.02,0 0.01,0 0.02,0 0.02,0 0.01,0.01 0.01,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.01,0.01 0.01,0 0.02,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0,0.01 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0.01,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.19 -0.18,0.19 -0.35,0.19 h -5.95 c -0.17,0 -0.35,0 -0.35,-0.19 0,-0.2 0.2,-0.2 0.36,-0.2 z"
+   id="path4585"
+   style="fill:#000000;stroke-width:0" />
+<path
+   d="m 230.28,657.59 0.03,0 0.03,0 0.03,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0.01 0.01,0 0.01,0.01 0.02,0 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0,0.01 0,0.01 0.01,0 0,0.01 0,0 0,0.01 0.01,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.2 -0.19,0.2 -0.36,0.2 h -5.93 c -0.16,0 -0.36,0 -0.36,-0.2 0,-0.2 0.18,-0.2 0.35,-0.2 z"
+   id="path4587"
+   style="fill:#000000;stroke-width:0" />
+<path
+   d="m 230.28,659.52 0.03,0 0.03,0 0.03,0.01 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.01,0 0.01,0.01 0.02,0 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0,0 0.01,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0.01 0.01,0 0,0.01 0,0.01 c 0,0.2 -0.18,0.2 -0.35,0.2 h -5.95 c -0.17,0 -0.35,0 -0.35,-0.2 0,-0.2 0.18,-0.2 0.35,-0.2 z"
+   id="path4589"
+   style="fill:#000000;stroke-width:0" />
+</g>    </g>
+    <g
+       id="g5038"
+       transform="matrix(1,0,0,-1,220.755,1202.4395)"
+       xml:space="preserve"
+       stroke-miterlimit="10.433"
+       font-style="normal"
+       font-variant="normal"
+       font-weight="normal"
+       font-stretch="normal"
+       font-size-adjust="none"
+       letter-spacing="normal"
+       word-spacing="normal"
+       ns0:text="$\\mathbf{sumif}$\n\n"
+       ns0:preamble=""
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 225.54,660.16 -0.04,0.01 -0.04,0 -0.04,0.01 -0.03,0.01 -0.04,0.01 -0.05,0.01 -0.08,0.02 -0.08,0.02 -0.05,0.01 -0.04,0.01 -0.04,0.02 -0.04,0.01 -0.04,0.02 -0.04,0.02 -0.04,0.01 -0.04,0.02 -0.03,0.02 -0.04,0.03 -0.03,0.02 -0.03,0.03 -0.03,0.02 -0.02,0.03 -0.03,0.03 -0.02,0.03 -0.02,0.03 -0.01,0.02 0,0.02 -0.01,0.02 -0.01,0.02 0,0.02 0,0.02 -0.01,0.02 0,0.02 0,0.02 0,0.02 c 0,0.62 0.93,0.62 1.11,0.62 0.75,0 1.13,-0.29 1.18,-0.84 0.01,-0.15 0.02,-0.2 0.23,-0.2 0.24,0 0.24,0.05 0.24,0.28 v 0.8 c 0,0.19 0,0.28 -0.18,0.28 -0.04,0 -0.06,0 -0.45,-0.19 -0.26,0.13 -0.61,0.19 -1.01,0.19 -0.29,0 -1.83,0 -1.83,-1.31 0,-0.4 0.2,-0.67 0.4,-0.84 0.4,-0.34 0.78,-0.4 1.54,-0.54 0.36,-0.06 1.11,-0.19 1.11,-0.78 0,-0.75 -0.92,-0.75 -1.14,-0.75 -1.05,0 -1.31,0.73 -1.43,1.16 -0.05,0.14 -0.1,0.14 -0.24,0.14 -0.24,0 -0.24,-0.06 -0.24,-0.29 v -1.09 c 0,-0.19 0,-0.28 0.18,-0.28 0.07,0 0.09,0 0.3,0.15 0.01,0 0.23,0.15 0.26,0.17 0.46,-0.32 0.97,-0.32 1.17,-0.32 0.31,0 1.85,0 1.85,1.46 0,0.43 -0.2,0.77 -0.55,1.05 -0.39,0.29 -0.71,0.35 -1.48,0.48 z"
+   id="path5040" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 232.31,657.95 v -0.78 l 1.76,0.06 v 0.47 c -0.61,0 -0.68,0 -0.68,0.39 v 3.63 l -1.83,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 v -1.9 c 0,-0.82 -0.51,-1.35 -1.23,-1.35 -0.77,0 -0.8,0.25 -0.8,0.79 v 3.4 l -1.82,-0.08 v -0.47 c 0.61,0 0.68,0 0.68,-0.39 v -2.32 c 0,-1.07 0.81,-1.29 1.8,-1.29 0.26,0 0.97,0 1.43,0.78 z"
+   id="path5042" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 235.45,660.78 v -3.08 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.26,0.03 0.39,0 0.97,-0.02 1.25,-0.03 v 0.47 h -0.68 v 2.08 c 0,1.09 0.86,1.58 1.48,1.58 0.34,0 0.56,-0.2 0.56,-0.97 v -2.69 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.26,0.03 0.39,0 0.97,-0.02 1.25,-0.03 v 0.47 h -0.69 v 2.08 c 0,1.09 0.87,1.58 1.49,1.58 0.34,0 0.56,-0.2 0.56,-0.97 v -2.69 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.26,0.03 0.38,0 0.97,-0.02 1.25,-0.03 v 0.47 h -0.69 v 2.58 c 0,1.03 -0.51,1.44 -1.53,1.44 -0.91,0 -1.43,-0.5 -1.68,-0.96 -0.21,0.93 -1.12,0.96 -1.5,0.96 -0.87,0 -1.43,-0.45 -1.75,-1.08 v 1.08 l -1.72,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 z"
+   id="path5044" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 246.09,661.72 -1.73,-0.08 v -0.47 c 0.59,0 0.66,0 0.66,-0.39 v -3.08 h -0.69 v -0.47 c 0.31,0.01 0.8,0.03 1.22,0.03 0.3,0 0.8,-0.02 1.16,-0.03 v 0.47 h -0.62 z"
+   id="path5046" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 246.19,663.38 0,0.04 0,0.04 -0.01,0.04 0,0.04 -0.01,0.04 -0.01,0.03 -0.01,0.04 -0.02,0.04 -0.01,0.03 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.02,0.03 -0.03,0.03 -0.02,0.03 -0.03,0.02 -0.02,0.03 -0.03,0.02 -0.03,0.02 -0.03,0.03 -0.04,0.02 -0.03,0.01 -0.03,0.02 -0.04,0.02 -0.03,0.01 -0.04,0.01 -0.03,0.01 -0.04,0.01 -0.04,0.01 -0.04,0 -0.03,0.01 -0.04,0 c -0.43,0 -0.78,-0.35 -0.78,-0.78 0,-0.43 0.35,-0.78 0.78,-0.78 0.42,0 0.77,0.34 0.77,0.78 z"
+   id="path5048" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 248.21,661.66 h -0.75 v -0.47 h 0.75 v -3.49 h -0.69 v -0.47 c 0.35,0.01 0.8,0.03 1.26,0.03 0.37,0 1.01,0 1.37,-0.03 v 0.47 h -0.87 v 3.49 h 1.15 v 0.47 h -1.21 v 1 c 0,1.1 0.76,1.19 1.01,1.19 0.05,0 0.1,0 0.17,-0.02 -0.15,-0.11 -0.23,-0.3 -0.23,-0.49 0,-0.43 0.35,-0.62 0.61,-0.62 0.3,0 0.62,0.21 0.62,0.62 0,0.42 -0.36,0.87 -1.14,0.87 -0.98,0 -2.05,-0.42 -2.05,-1.55 z"
+   id="path5050" />
+</g>    <path
+       id="path5134"
+       d="m 488.02,578.19451 10,-5 0,-10 -10,-5 0,20 z"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    <path
+       sodipodi:nodetypes="ccc"
+       id="path5136"
+       d="m 427.2,595.15952 0.16,-27.5 24,0"
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)"
+       d="m 421.2,585.15952 0.16,-27.5 29,0"
+       id="path5138"
+       sodipodi:nodetypes="ccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       id="path5148"
+       d="m 474.36,573.65952 10,0"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+    <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       ns0:preamble=""
+       ns0:text="$0$\n\n\n\n\n"
+       word-spacing="normal"
+       letter-spacing="normal"
+       font-size-adjust="none"
+       font-stretch="normal"
+       font-weight="normal"
+       font-variant="normal"
+       font-style="normal"
+       stroke-miterlimit="10.433"
+       xml:space="preserve"
+       transform="matrix(1,0,0,-1,245.53,1233.8495)"
+       id="g5245">
+<path
+   id="path5247"
+   d="m 228.01,660.42 0,0.15 0,0.15 0,0.15 -0.01,0.15 -0.01,0.15 -0.01,0.14 -0.01,0.15 -0.02,0.15 -0.03,0.15 -0.02,0.14 -0.04,0.15 -0.03,0.14 -0.05,0.14 -0.05,0.14 -0.05,0.14 -0.03,0.07 -0.03,0.07 c -0.46,0.96 -1.28,1.12 -1.7,1.12 -0.6,0 -1.32,-0.26 -1.73,-1.19 -0.32,-0.69 -0.37,-1.46 -0.37,-2.26 0,-0.75 0.04,-1.64 0.45,-2.4 0.43,-0.81 1.16,-1.01 1.64,-1.01 v 0.22 c -0.39,0 -0.97,0.25 -1.15,1.21 -0.11,0.6 -0.11,1.51 -0.11,2.1 0,0.64 0,1.3 0.08,1.83 0.19,1.19 0.93,1.28 1.18,1.28 0.33,0 0.99,-0.18 1.18,-1.17 0.1,-0.56 0.1,-1.31 0.1,-1.94 0,-0.75 0,-1.43 -0.11,-2.06 -0.15,-0.95 -0.72,-1.25 -1.17,-1.25 h 0 v -0.22 c 0.54,0 1.3,0.21 1.74,1.16 0.31,0.69 0.36,1.46 0.36,2.25 z"
+   style="fill:#000000;stroke-width:0" />
+</g>    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 471.36,562.65952 13,0"
+       id="path5338"
+       sodipodi:nodetypes="cc" />
+    <path
+       sodipodi:type="arc"
+       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       id="path5351"
+       sodipodi:cx="35.355339"
+       sodipodi:cy="33.558914"
+       sodipodi:rx="0.79549515"
+       sodipodi:ry="0.79549515"
+       d="m 36.150834,33.558914 c 0,0.43934 -0.356155,0.795495 -0.795495,0.795495 -0.43934,0 -0.795495,-0.356155 -0.795495,-0.795495 0,-0.43934 0.356155,-0.795495 0.795495,-0.795495 0.43934,0 0.795495,0.356155 0.795495,0.795495 z"
+       transform="matrix(1.44,0,0,1.44,370.16475,537.40097)" />
+    <path
+       transform="matrix(1.44,0,0,1.44,376.30016,547.21208)"
+       d="m 36.150834,33.558914 c 0,0.43934 -0.356155,0.795495 -0.795495,0.795495 -0.43934,0 -0.795495,-0.356155 -0.795495,-0.795495 0,-0.43934 0.356155,-0.795495 0.795495,-0.795495 0.43934,0 0.795495,0.356155 0.795495,0.795495 z"
+       sodipodi:ry="0.79549515"
+       sodipodi:rx="0.79549515"
+       sodipodi:cy="33.558914"
+       sodipodi:cx="35.355339"
+       id="path5353"
+       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       sodipodi:type="arc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)"
+       d="m 471.36,590.65952 23,0 0,-13"
+       id="path5378"
+       sodipodi:nodetypes="ccc" />
+    <g
+       id="g5380"
+       transform="matrix(1,0,0,-1,-74.24,1214.8191)">
+      <g
+         id="g5382"
+         transform="translate(118.2,-6.1899623)">
+        <path
+           transform="translate(379,551.3654)"
+           d="m 50,26.984081 c 0,5.522848 -4.477153,10 -10,10 -5.522847,0 -10,-4.477152 -10,-10 0,-5.522847 4.477153,-10 10,-10 5.522847,0 10,4.477153 10,10 z"
+           sodipodi:ry="10"
+           sodipodi:rx="10"
+           sodipodi:cy="26.984081"
+           sodipodi:cx="40"
+           id="path5384"
+           style="fill:#ffffff;stroke:#000000"
+           sodipodi:type="arc" />
+        <g
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+           ns0:preamble=""
+           ns0:text="$\\mathbf{+}$\n\n"
+           word-spacing="normal"
+           letter-spacing="normal"
+           font-size-adjust="none"
+           font-stretch="normal"
+           font-weight="normal"
+           font-variant="normal"
+           font-style="normal"
+           stroke-miterlimit="10.433"
+           xml:space="preserve"
+           transform="matrix(1,0,0,-1,191.89,1238.2695)"
+           id="g5386">
+<path
+   id="path5388"
+   d="m 227.51,659.52 h 2.78 c 0.14,0 0.33,0 0.33,0.2 0,0.2 -0.19,0.2 -0.33,0.2 h -2.78 v 2.79 c 0,0.14 0,0.33 -0.2,0.33 -0.2,0 -0.2,-0.19 -0.2,-0.33 v -2.79 h -2.79 c -0.14,0 -0.33,0 -0.33,-0.2 0,-0.2 0.19,-0.2 0.33,-0.2 h 2.79 v -2.79 c 0,-0.14 0,-0.32 0.2,-0.32 0.2,0 0.2,0.18 0.2,0.32 z"
+   style="fill:#000000;stroke-width:0" />
+</g>      </g>
+    </g>
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 488.02,626.62457 10,5 0,10 -10,5 0,-20 z"
+       id="path5402" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)"
+       d="m 403.02,595.65956 0,42 49,0"
+       id="path5404"
+       sodipodi:nodetypes="ccc" />
+    <path
+       sodipodi:nodetypes="ccc"
+       id="path5406"
+       d="m 395.02,585.65956 0,62 57,0"
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 476.18,631.15956 10,0"
+       id="path5408"
+       sodipodi:nodetypes="cc" />
+    <g
+       id="g5410"
+       transform="translate(247.35,-29.030423)"
+       xml:space="preserve"
+       stroke-miterlimit="10.433"
+       font-style="normal"
+       font-variant="normal"
+       font-weight="normal"
+       font-stretch="normal"
+       font-size-adjust="none"
+       letter-spacing="normal"
+       word-spacing="normal"
+       ns0:text="$0$\n\n\n\n\n"
+       ns0:preamble=""
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 228.01,660.42 0,0.15 0,0.15 0,0.15 -0.01,0.15 -0.01,0.15 -0.01,0.14 -0.01,0.15 -0.02,0.15 -0.03,0.15 -0.02,0.14 -0.04,0.15 -0.03,0.14 -0.05,0.14 -0.05,0.14 -0.05,0.14 -0.03,0.07 -0.03,0.07 c -0.46,0.96 -1.28,1.12 -1.7,1.12 -0.6,0 -1.32,-0.26 -1.73,-1.19 -0.32,-0.69 -0.37,-1.46 -0.37,-2.26 0,-0.75 0.04,-1.64 0.45,-2.4 0.43,-0.81 1.16,-1.01 1.64,-1.01 v 0.22 c -0.39,0 -0.97,0.25 -1.15,1.21 -0.11,0.6 -0.11,1.51 -0.11,2.1 0,0.64 0,1.3 0.08,1.83 0.19,1.19 0.93,1.28 1.18,1.28 0.33,0 0.99,-0.18 1.18,-1.17 0.1,-0.56 0.1,-1.31 0.1,-1.94 0,-0.75 0,-1.43 -0.11,-2.06 -0.15,-0.95 -0.72,-1.25 -1.17,-1.25 h 0 v -0.22 c 0.54,0 1.3,0.21 1.74,1.16 0.31,0.69 0.36,1.46 0.36,2.25 z"
+   id="path5412" />
+</g>    <path
+       sodipodi:nodetypes="cc"
+       id="path5414"
+       d="m 473.18,642.15956 13,0"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+    <path
+       sodipodi:type="arc"
+       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       id="path5418"
+       sodipodi:cx="35.355339"
+       sodipodi:cy="33.558914"
+       sodipodi:rx="0.79549515"
+       sodipodi:ry="0.79549515"
+       d="m 36.150834,33.558914 c 0,0.43934 -0.356155,0.795495 -0.795495,0.795495 -0.43934,0 -0.795495,-0.356155 -0.795495,-0.795495 0,-0.43934 0.356155,-0.795495 0.795495,-0.795495 0.43934,0 0.795495,0.356155 0.795495,0.795495 z"
+       transform="matrix(1.44,0,0,-1.44,364.49516,644.107)" />
+    <path
+       sodipodi:nodetypes="ccc"
+       id="path5420"
+       d="m 471.18,614.15956 23,0 0,13"
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)"
+       d="m 415.2,595.90952 0.16,13.5 36,0"
+       id="path5422"
+       sodipodi:nodetypes="ccc" />
+    <path
+       sodipodi:nodetypes="ccc"
+       id="path5424"
+       d="m 409.2,585.90952 0.16,33.5 41,0"
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" />
+    <path
+       transform="matrix(1.44,0,0,-1.44,358.24516,633.982)"
+       d="m 36.150834,33.558914 c 0,0.43934 -0.356155,0.795495 -0.795495,0.795495 -0.43934,0 -0.795495,-0.356155 -0.795495,-0.795495 0,-0.43934 0.356155,-0.795495 0.795495,-0.795495 0.43934,0 0.795495,0.356155 0.795495,0.795495 z"
+       sodipodi:ry="0.79549515"
+       sodipodi:rx="0.79549515"
+       sodipodi:cy="33.558914"
+       sodipodi:cx="35.355339"
+       id="path5426"
+       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       sodipodi:type="arc" />
+    <path
+       sodipodi:type="arc"
+       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       id="path5428"
+       sodipodi:cx="35.355339"
+       sodipodi:cy="33.558914"
+       sodipodi:rx="0.79549515"
+       sodipodi:ry="0.79549515"
+       d="m 36.150834,33.558914 c 0,0.43934 -0.356155,0.795495 -0.795495,0.795495 -0.43934,0 -0.795495,-0.356155 -0.795495,-0.795495 0,-0.43934 0.356155,-0.795495 0.795495,-0.795495 0.43934,0 0.795495,0.356155 0.795495,0.795495 z"
+       transform="matrix(1.44,0,0,-1.44,344.05766,633.9195)" />
+    <path
+       transform="matrix(1.44,0,0,-1.44,352.05766,644.107)"
+       d="m 36.150834,33.558914 c 0,0.43934 -0.356155,0.795495 -0.795495,0.795495 -0.43934,0 -0.795495,-0.356155 -0.795495,-0.795495 0,-0.43934 0.356155,-0.795495 0.795495,-0.795495 0.43934,0 0.795495,0.356155 0.795495,0.795495 z"
+       sodipodi:ry="0.79549515"
+       sodipodi:rx="0.79549515"
+       sodipodi:cy="33.558914"
+       sodipodi:cx="35.355339"
+       id="path5430"
+       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       sodipodi:type="arc" />
+    <path
+       sodipodi:nodetypes="ccc"
+       id="path5432"
+       d="m 368.36,657.65952 151,0 0,-46"
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" />
+    <path
+       id="path5434"
+       d="m 514.36,592.40953 10,5 0,10 -10,5 0,-20 z"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-end:url(#Arrow1Mend)"
+       d="m 130,88.410019 5,0 0,-29 0,0 9,0"
+       id="path5438"
+       transform="translate(368.36,548.2495)"
+       sodipodi:nodetypes="ccccc" />
+    <path
+       sodipodi:nodetypes="ccccc"
+       id="path6184"
+       d="m 498.36,567.90952 5,0 0,29 0,0 9,0"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-end:url(#Arrow1Mend)" />
+    <path
+       sodipodi:nodetypes="cc"
+       id="path6186"
+       d="m 524.36,602.65952 15,0"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+  </g>
+</svg>
diff --git a/choice-ifthenelse.svg b/choice-ifthenelse.svg
new file mode 100644 (file)
index 0000000..c08068c
--- /dev/null
@@ -0,0 +1,670 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+   xmlns:ns0="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="211.09"
+   height="134.41002"
+   id="svg2"
+   version="1.1"
+   inkscape:version="0.47 r22583"
+   sodipodi:docname="choice-ifthenelse.svg">
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="2"
+     inkscape:cx="110.13584"
+     inkscape:cy="93.191981"
+     inkscape:document-units="px"
+     inkscape:current-layer="layer1"
+     showgrid="false"
+     inkscape:snap-grids="true"
+     inkscape:window-width="1091"
+     inkscape:window-height="778"
+     inkscape:window-x="112"
+     inkscape:window-y="0"
+     inkscape:window-maximized="0"
+     inkscape:snap-center="false">
+    <inkscape:grid
+       type="xygrid"
+       id="grid2818"
+       empspacing="5"
+       visible="true"
+       enabled="true"
+       snapvisiblegridlinesonly="true" />
+  </sodipodi:namedview>
+  <defs
+     id="defs4">
+    <marker
+       inkscape:stockid="Arrow1Mend"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mend"
+       style="overflow:visible">
+      <path
+         id="path3732"
+         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Send"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Send"
+       style="overflow:visible">
+      <path
+         id="path3738"
+         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.2,0,0,-0.2,-1.2,0)" />
+    </marker>
+    <inkscape:perspective
+       sodipodi:type="inkscape:persp3d"
+       inkscape:vp_x="0 : 526.18109 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_z="744.09448 : 526.18109 : 1"
+       inkscape:persp3d-origin="372.04724 : 350.78739 : 1"
+       id="perspective10" />
+    <inkscape:perspective
+       id="perspective3098"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 0.5 : 1"
+       sodipodi:type="inkscape:persp3d" />
+    <inkscape:perspective
+       id="perspective3128"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 0.5 : 1"
+       sodipodi:type="inkscape:persp3d" />
+  </defs>
+  <metadata
+     id="metadata7">
+    <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 />
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     inkscape:label="Layer 1"
+     inkscape:groupmode="layer"
+     id="layer1"
+     transform="translate(-368.36,-548.2495)">
+    <rect
+       style="fill:#ffffff;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       id="rect5340"
+       width="175"
+       height="125"
+       x="391.20001"
+       y="557.15955" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 368.86,585.7295 82,0"
+       id="path2940"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 368.86,595.7295 82,0"
+       id="path2942"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 368.86,610.7295 47,0 35,0"
+       id="path2944"
+       sodipodi:nodetypes="ccc" />
+    <g
+       ns0:preamble=""
+       ns0:text="$\\mathit{a}$\n"
+       word-spacing="normal"
+       letter-spacing="normal"
+       font-size-adjust="none"
+       font-stretch="normal"
+       font-weight="normal"
+       font-variant="normal"
+       font-style="normal"
+       stroke-miterlimit="10.433"
+       xml:space="preserve"
+       transform="matrix(1,0,0,-1,152.63335,1240.6404)"
+       id="content"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   id="path3817"
+   d="m 226.91,657.82 0.01,-0.04 0.01,-0.05 0.02,-0.04 0.01,-0.04 0.02,-0.04 0.02,-0.04 0.02,-0.03 0.02,-0.03 0.02,-0.04 0.02,-0.03 0.02,-0.03 0.03,-0.03 0.02,-0.02 0.03,-0.03 0.03,-0.02 0.02,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.01 0.03,-0.01 0.03,-0.02 0.04,-0.01 0.03,-0.01 0.03,0 0.03,-0.01 0.04,-0.01 0.03,0 0.03,0 0.03,-0.01 0.04,0 c 0.36,0 0.57,0.25 0.72,0.56 0.18,0.38 0.3,0.96 0.3,0.98 0,0.1 -0.08,0.1 -0.15,0.1 -0.12,0 -0.13,-0.01 -0.19,-0.23 -0.14,-0.56 -0.32,-1.19 -0.66,-1.19 -0.26,0 -0.26,0.27 -0.26,0.41 0,0.07 0,0.23 0.07,0.51 l 0.67,2.71 c 0.04,0.14 0.04,0.16 0.04,0.21 0,0.21 -0.16,0.26 -0.27,0.26 -0.31,0 -0.38,-0.34 -0.39,-0.39 -0.19,0.43 -0.51,0.59 -0.83,0.59 v -0.22 c 0.44,0 0.69,-0.52 0.69,-0.94 0,-0.02 -0.01,-0.07 -0.03,-0.13 h 0 l -0.47,-1.88 c -0.08,-0.32 -0.7,-1.13 -1.25,-1.13 -0.46,0 -0.54,0.59 -0.54,0.89 0,0.5 0.3,1.66 0.48,2.08 0.25,0.61 0.71,1.11 1.12,1.11 v 0.22 c -1.11,0 -2.28,-1.52 -2.28,-2.97 0,-0.85 0.46,-1.55 1.2,-1.55 0.36,0 0.8,0.21 1.2,0.7 z"
+   style="fill:#000000;stroke-width:0" />
+</g>    <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       id="g3863"
+       transform="matrix(1,0,0,-1,152.97335,1250.9995)"
+       xml:space="preserve"
+       stroke-miterlimit="10.433"
+       font-style="normal"
+       font-variant="normal"
+       font-weight="normal"
+       font-stretch="normal"
+       font-size-adjust="none"
+       letter-spacing="normal"
+       word-spacing="normal"
+       ns0:text="$\\mathit{b}$\n"
+       ns0:preamble="">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 226.45,663.9 0,0 0,0 0,0.01 0.01,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 0.01,0.01 0,0.01 0,0.01 0,0 0,0 0.01,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 c 0,0.09 -0.06,0.12 -0.14,0.12 -0.03,0 -0.13,-0.01 -0.16,-0.02 l -0.98,-0.08 c -0.12,-0.01 -0.23,-0.02 -0.23,-0.21 0,-0.11 0.1,-0.11 0.24,-0.11 0.47,0 0.49,-0.07 0.49,-0.17 0,-0.03 -0.03,-0.16 -0.03,-0.17 l -0.98,-3.94 c -0.01,-0.03 -0.11,-0.43 -0.11,-0.81 0,-0.84 0.42,-1.52 1.14,-1.52 v 0.22 c -0.24,0 -0.57,0.21 -0.57,0.96 0,0.44 0.09,0.79 0.37,1.92 0.07,0.24 0.07,0.26 0.22,0.46 0.29,0.4 0.67,0.74 1.05,0.74 0.45,0 0.55,-0.57 0.55,-0.89 0,-0.42 -0.27,-1.6 -0.56,-2.24 -0.12,-0.25 -0.55,-0.95 -1.06,-0.95 h 0 v -0.22 c 1.12,0 2.29,1.5 2.29,2.96 0,1.07 -0.6,1.56 -1.2,1.56 -0.38,0 -0.72,-0.21 -1.06,-0.53 z"
+   id="path3865" />
+</g>    <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       ns0:preamble=""
+       ns0:text="$\\mathit{pred}$\n\n"
+       word-spacing="normal"
+       letter-spacing="normal"
+       font-size-adjust="none"
+       font-stretch="normal"
+       font-weight="normal"
+       font-variant="normal"
+       font-style="normal"
+       stroke-miterlimit="10.433"
+       xml:space="preserve"
+       transform="matrix(1,0,0,-1,146.54835,1264.8195)"
+       id="g2979">
+<path
+   style="fill:#000000;stroke-width:0"
+   id="path2981"
+   d="m 224.33,655.96 -0.01,-0.03 -0.01,-0.03 0,-0.02 -0.01,-0.03 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.01 -0.01,-0.02 -0.01,-0.01 -0.01,-0.02 -0.01,-0.01 -0.01,-0.01 -0.01,-0.01 -0.02,-0.01 -0.01,-0.01 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,0 -0.03,0 -0.03,0 -0.03,-0.01 -0.03,0 -0.03,0 -0.03,0 -0.04,0 c -0.09,0 -0.21,0 -0.21,-0.19 0,-0.07 0.05,-0.12 0.12,-0.12 0.27,0 0.56,0.03 0.84,0.03 0.32,0 0.66,-0.03 0.96,-0.03 0.06,0 0.19,0 0.19,0.19 0,0.12 -0.1,0.12 -0.23,0.12 -0.51,0 -0.51,0.06 -0.51,0.16 0,0.06 0.07,0.32 0.11,0.48 l 0.35,1.45 c 0.08,-0.17 0.32,-0.58 0.84,-0.58 l -0.01,0.22 c -0.58,0 -0.68,0.85 -0.68,0.93 0,0.03 0.01,0.06 0.03,0.14 l 0.47,1.88 c 0.08,0.34 0.7,1.13 1.25,1.13 0.45,0 0.55,-0.57 0.55,-0.89 0,-0.42 -0.27,-1.6 -0.56,-2.24 -0.12,-0.25 -0.55,-0.95 -1.06,-0.95 l 0.01,-0.22 c 1.09,0 2.27,1.48 2.27,2.96 0,1.07 -0.59,1.56 -1.19,1.56 -0.49,0 -0.92,-0.36 -1.21,-0.7 -0.12,0.58 -0.57,0.7 -0.81,0.7 -0.36,0 -0.56,-0.23 -0.72,-0.53 -0.19,-0.4 -0.32,-0.99 -0.32,-1.01 0,-0.1 0.1,-0.1 0.15,-0.1 0.13,0 0.14,0.01 0.19,0.23 0.18,0.7 0.37,1.19 0.68,1.19 0.26,0 0.26,-0.29 0.26,-0.4 0,-0.06 0,-0.22 -0.08,-0.5 z" />
+<path
+   style="fill:#000000;stroke-width:0"
+   id="path2983"
+   d="m 231.1,660.1 0,0 0,0.01 0,0 0,0.01 0.01,0.01 0,0.01 0,0.01 0.01,0.02 0.01,0.01 0,0.02 0.01,0.02 0.01,0.01 0.01,0.05 0.02,0.04 0.03,0.05 0.02,0.05 0.03,0.05 0.03,0.06 0.03,0.06 0.04,0.06 0.04,0.06 0.04,0.06 0.04,0.06 0.04,0.06 0.05,0.06 0.05,0.06 0.05,0.05 0.06,0.06 0.06,0.05 0.05,0.05 0.07,0.04 0.06,0.04 0.03,0.02 0.04,0.01 0.03,0.02 0.04,0.01 0.03,0.01 0.04,0.02 0.04,0 0.03,0.01 0.04,0.01 0.04,0 0.04,0.01 0.04,0 c 0.05,0 0.33,0 0.53,-0.14 -0.35,-0.11 -0.38,-0.43 -0.38,-0.48 0,-0.13 0.09,-0.32 0.35,-0.32 0.18,0 0.49,0.14 0.49,0.53 0,0.52 -0.65,0.63 -0.98,0.63 -0.69,0 -1.05,-0.5 -1.21,-0.72 -0.11,0.53 -0.49,0.72 -0.82,0.72 -0.36,0 -0.56,-0.23 -0.72,-0.53 -0.19,-0.4 -0.32,-0.99 -0.32,-1.01 0,-0.1 0.1,-0.1 0.15,-0.1 0.13,0 0.14,0.01 0.19,0.23 0.18,0.7 0.37,1.19 0.68,1.19 0.26,0 0.26,-0.29 0.26,-0.4 0,-0.16 -0.03,-0.35 -0.07,-0.51 l -0.75,-2.99 c -0.02,-0.06 -0.03,-0.11 -0.03,-0.14 0,-0.11 0.08,-0.26 0.28,-0.26 0.3,0 0.37,0.29 0.39,0.37 z" />
+<path
+   style="fill:#000000;stroke-width:0"
+   id="path2985"
+   d="m 234.6,659.53 0.03,0 0.03,0 0.03,0 0.03,0.01 0.04,0 0.04,0 0.04,0 0.04,0 0.04,0 0.05,0.01 0.04,0 0.05,0 0.09,0.01 0.1,0.01 0.1,0.02 0.1,0.01 0.1,0.02 0.11,0.02 0.1,0.02 0.09,0.03 0.05,0.01 0.05,0.02 0.05,0.02 0.04,0.01 c 0.79,0.32 0.79,0.97 0.79,1.04 0,0.46 -0.37,0.85 -1.01,0.85 v -0.22 c 0.4,0 0.63,-0.27 0.63,-0.61 0,-1.06 -1.65,-1.06 -1.97,-1.06 h -0.21 c 0.43,1.64 1.45,1.67 1.55,1.67 v 0.22 c -1.05,0 -2.47,-1.01 -2.47,-2.77 0,-0.9 0.48,-1.75 1.42,-1.75 1.28,0 2.11,1 2.11,1.15 0,0.05 -0.08,0.16 -0.16,0.16 -0.04,0 -0.05,-0.01 -0.13,-0.11 -0.74,-0.94 -1.63,-0.98 -1.8,-0.98 -0.64,0 -0.75,0.71 -0.75,1.1 0,0.38 0.1,0.83 0.17,1.09 z" />
+<path
+   style="fill:#000000;stroke-width:0"
+   id="path2987"
+   d="m 241.84,663.9 0,0 0.01,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 0.01,0.01 0,0.01 0,0.01 0,0.01 0.01,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 c 0,0.09 -0.06,0.12 -0.13,0.12 -0.03,0 -0.14,-0.01 -0.17,-0.02 l -0.98,-0.08 c -0.12,-0.01 -0.23,-0.02 -0.23,-0.21 0,-0.11 0.1,-0.11 0.24,-0.11 0.48,0 0.5,-0.07 0.5,-0.17 0,-0.03 -0.03,-0.16 -0.03,-0.17 l -0.58,-2.33 c -0.15,0.31 -0.42,0.58 -0.84,0.58 v -0.22 c 0.08,0 0.31,-0.01 0.49,-0.29 0.1,-0.16 0.2,-0.45 0.2,-0.64 0,-0.03 -0.01,-0.07 -0.03,-0.13 l -0.48,-1.91 c -0.08,-0.31 -0.69,-1.11 -1.23,-1.11 -0.47,0 -0.55,0.59 -0.55,0.89 0,0.5 0.31,1.66 0.49,2.08 0.25,0.61 0.7,1.11 1.11,1.11 v 0.22 c -1.1,0 -2.28,-1.52 -2.28,-2.97 0,-0.85 0.46,-1.55 1.21,-1.55 0.35,0 0.79,0.21 1.19,0.7 0.11,-0.49 0.48,-0.7 0.83,-0.7 0.37,0 0.58,0.25 0.73,0.56 0.18,0.38 0.29,0.96 0.29,0.98 0,0.1 -0.08,0.1 -0.14,0.1 -0.12,0 -0.13,-0.01 -0.19,-0.23 -0.14,-0.56 -0.33,-1.19 -0.67,-1.19 -0.26,0 -0.26,0.27 -0.26,0.41 0,0.07 0,0.22 0.06,0.46 z" />
+</g>    <g
+       transform="translate(-10.06,0)"
+       id="g5140">
+      <g
+         transform="translate(118.2,-6.1899623)"
+         id="g4445">
+        <path
+           sodipodi:type="arc"
+           style="fill:#ffffff;stroke:#000000"
+           id="path3641"
+           sodipodi:cx="40"
+           sodipodi:cy="26.984081"
+           sodipodi:rx="10"
+           sodipodi:ry="10"
+           d="m 50,26.984081 c 0,5.522848 -4.477153,10 -10,10 -5.522847,0 -10,-4.477152 -10,-10 0,-5.522847 4.477153,-10 10,-10 5.522847,0 10,4.477153 10,10 z"
+           transform="translate(379,551.3654)" />
+        <g
+           id="g3067"
+           transform="matrix(1,0,0,-1,191.89,1238.2695)"
+           xml:space="preserve"
+           stroke-miterlimit="10.433"
+           font-style="normal"
+           font-variant="normal"
+           font-weight="normal"
+           font-stretch="normal"
+           font-size-adjust="none"
+           letter-spacing="normal"
+           word-spacing="normal"
+           ns0:text="$\\mathbf{+}$\n\n"
+           ns0:preamble=""
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 227.51,659.52 h 2.78 c 0.14,0 0.33,0 0.33,0.2 0,0.2 -0.19,0.2 -0.33,0.2 h -2.78 v 2.79 c 0,0.14 0,0.33 -0.2,0.33 -0.2,0 -0.2,-0.19 -0.2,-0.33 v -2.79 h -2.79 c -0.14,0 -0.33,0 -0.33,-0.2 0,-0.2 0.19,-0.2 0.33,-0.2 h 2.79 v -2.79 c 0,-0.14 0,-0.32 0.2,-0.32 0.2,0 0.2,0.18 0.2,0.32 z"
+   id="path3069" />
+</g>      </g>
+    </g>
+    <g
+       id="g4431"
+       transform="translate(-12.14,82.690024)">
+      <path
+         sodipodi:type="arc"
+         style="fill:#ffffff;stroke:#000000"
+         id="path4427"
+         sodipodi:cx="40"
+         sodipodi:cy="26.984081"
+         sodipodi:rx="10"
+         sodipodi:ry="10"
+         d="m 50,26.984081 c 0,5.522848 -4.477153,10 -10,10 -5.522847,0 -10,-4.477152 -10,-10 0,-5.522847 4.477153,-10 10,-10 5.522847,0 10,4.477153 10,10 z"
+         transform="translate(434,506.3654)" />
+      <g
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+         ns0:preamble=""
+         ns0:text="$\\equiv$\n\n\n\n\n"
+         word-spacing="normal"
+         letter-spacing="normal"
+         font-size-adjust="none"
+         font-stretch="normal"
+         font-weight="normal"
+         font-variant="normal"
+         font-style="normal"
+         stroke-miterlimit="10.433"
+         xml:space="preserve"
+         transform="matrix(1,0,0,-1,246.72,1192.8695)"
+         id="g3478">
+<path
+   style="fill:#000000;stroke-width:0"
+   id="path3480"
+   d="m 230.27,661.46 0.03,0 0.03,0 0.03,0 0.02,0 0.01,0 0.02,0 0.02,0 0.01,0.01 0.01,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.01,0.01 0.01,0 0.02,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0,0.01 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0.01,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.19 -0.18,0.19 -0.35,0.19 h -5.95 c -0.17,0 -0.35,0 -0.35,-0.19 0,-0.2 0.2,-0.2 0.36,-0.2 z" />
+<path
+   style="fill:#000000;stroke-width:0"
+   id="path3482"
+   d="m 230.28,657.59 0.03,0 0.03,0 0.03,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0.01 0.01,0 0.01,0.01 0.02,0 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0,0.01 0,0.01 0.01,0 0,0.01 0,0 0,0.01 0.01,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.2 -0.19,0.2 -0.36,0.2 h -5.93 c -0.16,0 -0.36,0 -0.36,-0.2 0,-0.2 0.18,-0.2 0.35,-0.2 z" />
+<path
+   style="fill:#000000;stroke-width:0"
+   id="path3484"
+   d="m 230.28,659.52 0.03,0 0.03,0 0.03,0.01 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.01,0 0.01,0.01 0.02,0 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0,0 0.01,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0.01 0.01,0 0,0.01 0,0.01 c 0,0.2 -0.18,0.2 -0.35,0.2 h -5.95 c -0.17,0 -0.35,0 -0.35,-0.2 0,-0.2 0.18,-0.2 0.35,-0.2 z" />
+</g>    </g>
+    <g
+       transform="translate(-67.14,123.31004)"
+       id="g4438">
+      <path
+         transform="translate(489,516.3654)"
+         d="m 50,26.984081 c 0,5.522848 -4.477153,10 -10,10 -5.522847,0 -10,-4.477152 -10,-10 0,-5.522847 4.477153,-10 10,-10 5.522847,0 10,4.477153 10,10 z"
+         sodipodi:ry="10"
+         sodipodi:rx="10"
+         sodipodi:cy="26.984081"
+         sodipodi:cx="40"
+         id="path4429"
+         style="fill:#ffffff;stroke:#000000"
+         sodipodi:type="arc" />
+      <g
+         id="g3583"
+         transform="matrix(1,0,0,-1,301.695,1203.0745)"
+         xml:space="preserve"
+         stroke-miterlimit="10.433"
+         font-style="normal"
+         font-variant="normal"
+         font-weight="normal"
+         font-stretch="normal"
+         font-size-adjust="none"
+         letter-spacing="normal"
+         word-spacing="normal"
+         ns0:text="$\\neq$\n\n\n\n\n"
+         ns0:preamble=""
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 229.71,663.98 0,0 0.01,0.01 0,0.01 0,0 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0,0 0.01,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0.01,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 c 0,0.07 -0.06,0.2 -0.2,0.2 -0.12,0 -0.15,-0.06 -0.22,-0.2 l -4.47,-8.7 c -0.08,-0.14 -0.08,-0.16 -0.08,-0.19 0,-0.08 0.07,-0.2 0.2,-0.2 0.12,0 0.15,0.06 0.22,0.2 z"
+   id="path3585" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 230.28,660.49 0.03,0 0.02,0 0.03,0 0.02,0 0.01,0 0.02,0 0.01,0.01 0.02,0 0.01,0 0.01,0 0.02,0.01 0.01,0 0.01,0 0.01,0.01 0.02,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0,0.01 0.01,0.01 0,0.01 0,0 0.01,0.01 0,0 0,0.01 0.01,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.2 -0.19,0.2 -0.33,0.2 h -5.97 c -0.14,0 -0.33,0 -0.33,-0.2 0,-0.2 0.19,-0.2 0.34,-0.2 z"
+   id="path3587" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 230.29,658.56 0.01,0 0.01,0 0.03,0 0.03,0 0.01,0 0.02,0 0.01,0 0.01,0 0.02,0.01 0.01,0 0.02,0 0.01,0 0.01,0.01 0.01,0 0.02,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0,0.01 0,0 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0.01,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.2 -0.19,0.2 -0.34,0.2 h -5.95 c -0.15,0 -0.34,0 -0.34,-0.2 0,-0.2 0.19,-0.2 0.33,-0.2 z"
+   id="path3589" />
+</g>    </g>
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+       d="m 526.86,620.7295 c 7.2,0 10.28,7.5 10.28,7.5 0,0 -2.88,7.5 -10.08,7.5 -7.2,0 -7.2,0 -7.2,0 0,0 2.88,-1.5 2.88,-7.5 0,-6 -2.88,-7.5 -2.88,-7.5 l 7,0 z"
+       id="path4458"
+       sodipodi:nodetypes="ccscscc" />
+    <g
+       id="g4520"
+       transform="matrix(1,0,0,-1,203.72,1281.0295)"
+       xml:space="preserve"
+       stroke-miterlimit="10.433"
+       font-style="normal"
+       font-variant="normal"
+       font-weight="normal"
+       font-stretch="normal"
+       font-size-adjust="none"
+       letter-spacing="normal"
+       word-spacing="normal"
+       ns0:text="$\\mathit{Eq}$\n\n\n"
+       ns0:preamble=""
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 230.24,659.57 0,0 0,0.01 0,0 0,0 0,0 0,0 0,0.01 0,0 0.01,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0.01,0.01 0,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0 0.01,0 0,0.01 0,0 0,0 0,0 0,0 0,0 0,0 0,0 0,0 c 0,0.11 -0.12,0.11 -0.15,0.11 -0.11,0 -0.12,-0.01 -0.21,-0.24 -0.58,-1.37 -0.93,-2.02 -2.51,-2.02 h -1.22 c -0.31,0 -0.31,0.03 -0.31,0.1 0,0.06 0.03,0.16 0.04,0.22 l 0.69,2.74 h 0.87 c 0.67,0 0.75,-0.16 0.75,-0.43 0,-0.07 -0.02,-0.22 -0.1,-0.51 0,-0.02 -0.01,-0.08 -0.01,-0.11 0,-0.12 0.09,-0.12 0.15,-0.12 0.11,0 0.14,0.02 0.18,0.2 l 0.55,2.2 c 0.01,0.02 0.03,0.1 0.03,0.13 0,0.11 -0.12,0.11 -0.16,0.11 -0.13,0 -0.13,-0.03 -0.19,-0.23 -0.19,-0.71 -0.38,-0.93 -1.18,-0.93 h -0.81 l 0.61,2.45 c 0.08,0.33 0.15,0.34 0.48,0.34 h 1.24 c 1.08,0 1.33,-0.3 1.33,-1.01 0,-0.27 -0.02,-0.4 -0.05,-0.64 -0.01,-0.04 -0.02,-0.14 -0.02,-0.16 0,-0.12 0.11,-0.12 0.15,-0.12 0.14,0 0.15,0.03 0.17,0.21 l 0.22,1.77 c 0.03,0.26 -0.03,0.26 -0.23,0.26 h -4.66 c -0.17,0 -0.27,0 -0.27,-0.18 0,-0.13 0.07,-0.13 0.27,-0.13 0.58,0 0.58,-0.08 0.58,-0.17 0,-0.01 0,-0.08 -0.04,-0.23 l -1.33,-5.34 c -0.08,-0.34 -0.14,-0.42 -0.82,-0.42 -0.16,0 -0.27,0 -0.27,-0.19 0,-0.12 0.09,-0.12 0.25,-0.12 h 4.77 c 0.2,0 0.21,0.01 0.28,0.16 z"
+   id="path4522" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 235.11,661.39 0,0 0,0 0,0.01 0.01,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0.01,0.01 0,0.01 0,0.01 0,0.01 0,0 0,0 0.01,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 c 0,0.09 -0.08,0.11 -0.11,0.11 -0.11,0 -0.47,-0.35 -0.63,-0.63 -0.11,0.29 -0.37,0.64 -0.85,0.64 v -0.22 c 0.08,0 0.31,-0.01 0.49,-0.29 0.09,-0.16 0.2,-0.45 0.2,-0.64 0,-0.03 -0.01,-0.07 -0.03,-0.13 l -0.48,-1.91 c -0.08,-0.31 -0.69,-1.11 -1.24,-1.11 -0.47,0 -0.55,0.59 -0.55,0.89 0,0.5 0.31,1.66 0.49,2.08 0.25,0.61 0.71,1.11 1.12,1.11 v 0.22 c -1.11,0 -2.28,-1.52 -2.28,-2.97 0,-0.85 0.45,-1.55 1.2,-1.55 0.41,0 0.78,0.26 1.06,0.53 l -0.39,-1.56 c -0.11,-0.43 -0.12,-0.47 -0.76,-0.48 -0.13,0 -0.24,0 -0.24,-0.19 0,-0.09 0.06,-0.12 0.13,-0.12 0.32,0 0.67,0.03 1,0.03 0.33,0 0.69,-0.03 1,-0.03 0.06,0 0.19,0 0.19,0.19 0,0.12 -0.1,0.12 -0.23,0.12 -0.51,0 -0.51,0.06 -0.51,0.16 0,0.07 0.02,0.12 0.03,0.18 z"
+   id="path4524" />
+</g>    <path
+       sodipodi:nodetypes="cc"
+       id="path4577"
+       d="m 440.86,620.7295 10,0"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+    <g
+       transform="translate(-12.14,57.380016)"
+       id="g4579">
+      <path
+         transform="translate(434,506.3654)"
+         d="m 50,26.984081 c 0,5.522848 -4.477153,10 -10,10 -5.522847,0 -10,-4.477152 -10,-10 0,-5.522847 4.477153,-10 10,-10 5.522847,0 10,4.477153 10,10 z"
+         sodipodi:ry="10"
+         sodipodi:rx="10"
+         sodipodi:cy="26.984081"
+         sodipodi:cx="40"
+         id="path4581"
+         style="fill:#ffffff;stroke:#000000"
+         sodipodi:type="arc" />
+      <g
+         id="g4583"
+         transform="matrix(1,0,0,-1,246.72,1192.8695)"
+         xml:space="preserve"
+         stroke-miterlimit="10.433"
+         font-style="normal"
+         font-variant="normal"
+         font-weight="normal"
+         font-stretch="normal"
+         font-size-adjust="none"
+         letter-spacing="normal"
+         word-spacing="normal"
+         ns0:text="$\\equiv$\n\n\n\n\n"
+         ns0:preamble=""
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   d="m 230.27,661.46 0.03,0 0.03,0 0.03,0 0.02,0 0.01,0 0.02,0 0.02,0 0.01,0.01 0.01,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.01,0.01 0.01,0 0.02,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0,0.01 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0.01,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.19 -0.18,0.19 -0.35,0.19 h -5.95 c -0.17,0 -0.35,0 -0.35,-0.19 0,-0.2 0.2,-0.2 0.36,-0.2 z"
+   id="path4585"
+   style="fill:#000000;stroke-width:0" />
+<path
+   d="m 230.28,657.59 0.03,0 0.03,0 0.03,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0.01 0.01,0 0.01,0.01 0.02,0 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0,0.01 0,0.01 0.01,0 0,0.01 0,0 0,0.01 0.01,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.2 -0.19,0.2 -0.36,0.2 h -5.93 c -0.16,0 -0.36,0 -0.36,-0.2 0,-0.2 0.18,-0.2 0.35,-0.2 z"
+   id="path4587"
+   style="fill:#000000;stroke-width:0" />
+<path
+   d="m 230.28,659.52 0.03,0 0.03,0 0.03,0.01 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.01,0 0.01,0.01 0.02,0 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0,0 0.01,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0.01 0.01,0 0,0.01 0,0.01 c 0,0.2 -0.18,0.2 -0.35,0.2 h -5.95 c -0.17,0 -0.35,0 -0.35,-0.2 0,-0.2 0.18,-0.2 0.35,-0.2 z"
+   id="path4589"
+   style="fill:#000000;stroke-width:0" />
+</g>    </g>
+    <g
+       transform="translate(-12.14,108.00003)"
+       id="g4591">
+      <path
+         transform="translate(434,506.3654)"
+         d="m 50,26.984081 c 0,5.522848 -4.477153,10 -10,10 -5.522847,0 -10,-4.477152 -10,-10 0,-5.522847 4.477153,-10 10,-10 5.522847,0 10,4.477153 10,10 z"
+         sodipodi:ry="10"
+         sodipodi:rx="10"
+         sodipodi:cy="26.984081"
+         sodipodi:cx="40"
+         id="path4593"
+         style="fill:#ffffff;stroke:#000000"
+         sodipodi:type="arc" />
+      <g
+         id="g4595"
+         transform="matrix(1,0,0,-1,246.72,1192.8695)"
+         xml:space="preserve"
+         stroke-miterlimit="10.433"
+         font-style="normal"
+         font-variant="normal"
+         font-weight="normal"
+         font-stretch="normal"
+         font-size-adjust="none"
+         letter-spacing="normal"
+         word-spacing="normal"
+         ns0:text="$\\equiv$\n\n\n\n\n"
+         ns0:preamble=""
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   d="m 230.27,661.46 0.03,0 0.03,0 0.03,0 0.02,0 0.01,0 0.02,0 0.02,0 0.01,0.01 0.01,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.01,0.01 0.01,0 0.02,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0,0.01 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0.01,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.19 -0.18,0.19 -0.35,0.19 h -5.95 c -0.17,0 -0.35,0 -0.35,-0.19 0,-0.2 0.2,-0.2 0.36,-0.2 z"
+   id="path4597"
+   style="fill:#000000;stroke-width:0" />
+<path
+   d="m 230.28,657.59 0.03,0 0.03,0 0.03,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0.01 0.01,0 0.01,0.01 0.02,0 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0,0.01 0,0.01 0.01,0 0,0.01 0,0 0,0.01 0.01,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.2 -0.19,0.2 -0.36,0.2 h -5.93 c -0.16,0 -0.36,0 -0.36,-0.2 0,-0.2 0.18,-0.2 0.35,-0.2 z"
+   id="path4599"
+   style="fill:#000000;stroke-width:0" />
+<path
+   d="m 230.28,659.52 0.03,0 0.03,0 0.03,0.01 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.01,0 0.01,0.01 0.02,0 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0,0 0.01,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0.01 0.01,0 0,0.01 0,0.01 c 0,0.2 -0.18,0.2 -0.35,0.2 h -5.95 c -0.17,0 -0.35,0 -0.35,-0.2 0,-0.2 0.18,-0.2 0.35,-0.2 z"
+   id="path4601"
+   style="fill:#000000;stroke-width:0" />
+</g>    </g>
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 440.86,645.7295 10,0"
+       id="path4609"
+       sodipodi:nodetypes="cc" />
+    <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       ns0:preamble=""
+       ns0:text="$\\mathit{Neq}$\n\n\n\n"
+       word-spacing="normal"
+       letter-spacing="normal"
+       font-size-adjust="none"
+       font-stretch="normal"
+       font-weight="normal"
+       font-variant="normal"
+       font-style="normal"
+       stroke-miterlimit="10.433"
+       xml:space="preserve"
+       transform="matrix(1,0,0,-1,199.53,1304.4195)"
+       id="g4677">
+<path
+   id="path4679"
+   d="m 230.76,663.05 0.01,0.03 0.01,0.03 0.01,0.03 0.01,0.02 0.01,0.03 0.01,0.02 0.01,0.03 0.01,0.02 0.03,0.05 0.02,0.04 0.03,0.04 0.03,0.03 0.03,0.04 0.03,0.03 0.03,0.03 0.04,0.02 0.03,0.03 0.04,0.02 0.03,0.02 0.04,0.01 0.04,0.02 0.03,0.01 0.04,0.02 0.04,0.01 0.03,0.01 0.04,0 0.04,0.01 0.03,0.01 0.04,0 0.03,0.01 0.04,0 0.03,0 0.03,0 0.03,0.01 0.03,0 0.03,0 c 0.03,0 0.15,0.01 0.15,0.18 0,0.08 -0.04,0.13 -0.13,0.13 -0.31,0 -0.64,-0.03 -0.95,-0.03 -0.32,0 -0.66,0.03 -0.97,0.03 -0.05,0 -0.18,0 -0.18,-0.19 0,-0.11 0.09,-0.12 0.18,-0.12 0.52,-0.02 0.6,-0.22 0.6,-0.43 0,-0.09 -0.02,-0.16 -0.04,-0.24 l -1.1,-4.37 -1.86,5.18 c -0.06,0.16 -0.07,0.17 -0.28,0.17 h -1.25 c -0.16,0 -0.27,0 -0.27,-0.19 0,-0.12 0.08,-0.12 0.27,-0.12 0.07,0 0.61,0 0.61,-0.08 0,-0.01 0,-0.03 -0.03,-0.13 l -1.31,-5.28 c -0.14,-0.55 -0.51,-0.68 -0.97,-0.7 -0.08,0 -0.19,-0.01 -0.19,-0.19 0,-0.09 0.06,-0.12 0.13,-0.12 0.3,0 0.64,0.03 0.95,0.03 0.32,0 0.66,-0.03 0.97,-0.03 0.06,0 0.18,0 0.18,0.18 0,0.12 -0.07,0.13 -0.19,0.13 -0.57,0.02 -0.58,0.28 -0.58,0.43 0,0.03 0,0.09 0.03,0.25 l 1.29,5.13 2.14,-5.95 c 0.05,-0.15 0.06,-0.17 0.2,-0.17 0.11,0 0.15,0.01 0.2,0.2 z"
+   style="fill:#000000;stroke-width:0" />
+<path
+   id="path4681"
+   d="m 233.22,659.53 0.03,0 0.03,0 0.03,0 0.03,0.01 0.04,0 0.04,0 0.04,0 0.04,0 0.04,0 0.05,0.01 0.04,0 0.05,0 0.09,0.01 0.1,0.01 0.1,0.02 0.1,0.01 0.1,0.02 0.11,0.02 0.1,0.02 0.09,0.03 0.05,0.01 0.05,0.02 0.05,0.02 0.04,0.01 c 0.79,0.32 0.79,0.97 0.79,1.04 0,0.46 -0.37,0.85 -1.01,0.85 v -0.22 c 0.4,0 0.63,-0.27 0.63,-0.61 0,-1.06 -1.64,-1.06 -1.97,-1.06 h -0.21 c 0.43,1.64 1.45,1.67 1.55,1.67 v 0.22 c -1.04,0 -2.47,-1.01 -2.47,-2.77 0,-0.9 0.48,-1.75 1.43,-1.75 1.27,0 2.1,1 2.1,1.15 0,0.05 -0.08,0.16 -0.16,0.16 -0.04,0 -0.05,-0.01 -0.13,-0.11 -0.74,-0.94 -1.62,-0.98 -1.8,-0.98 -0.64,0 -0.75,0.71 -0.75,1.1 0,0.38 0.1,0.83 0.17,1.09 z"
+   style="fill:#000000;stroke-width:0" />
+<path
+   id="path4683"
+   d="m 239.84,661.39 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0.01,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0.01 0.01,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0 0.01,0.01 0,0 0,0 0,0 0,0.01 c 0,0.09 -0.08,0.11 -0.11,0.11 -0.11,0 -0.47,-0.35 -0.63,-0.63 -0.12,0.29 -0.38,0.64 -0.86,0.64 v -0.22 c 0.08,0 0.31,-0.01 0.49,-0.29 0.1,-0.16 0.2,-0.45 0.2,-0.64 0,-0.03 -0.01,-0.07 -0.03,-0.13 l -0.48,-1.91 c -0.08,-0.31 -0.69,-1.11 -1.23,-1.11 -0.47,0 -0.55,0.59 -0.55,0.89 0,0.5 0.31,1.66 0.49,2.08 0.25,0.61 0.7,1.11 1.11,1.11 v 0.22 c -1.1,0 -2.28,-1.52 -2.28,-2.97 0,-0.85 0.46,-1.55 1.21,-1.55 0.4,0 0.77,0.26 1.05,0.53 l -0.39,-1.56 c -0.11,-0.43 -0.12,-0.47 -0.75,-0.48 -0.13,0 -0.24,0 -0.24,-0.19 0,-0.09 0.06,-0.12 0.13,-0.12 0.32,0 0.66,0.03 0.99,0.03 0.33,0 0.69,-0.03 1.01,-0.03 0.06,0 0.19,0 0.19,0.19 0,0.12 -0.1,0.12 -0.24,0.12 -0.51,0 -0.51,0.06 -0.51,0.16 0,0.07 0.02,0.12 0.03,0.18 z"
+   style="fill:#000000;stroke-width:0" />
+</g>    <path
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)"
+       d="m 80,106.97462 0,25 35,0"
+       id="path4753"
+       transform="translate(335.86,503.75488)"
+       sodipodi:nodetypes="ccc" />
+    <path
+       sodipodi:nodetypes="ccc"
+       id="path4941"
+       d="m 405.86,585.7295 c 0,9 0,76 0,85 l 45,0"
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)"
+       d="m 410.86,595.7295 0,65 40,0"
+       id="path4943"
+       sodipodi:nodetypes="ccc" />
+    <path
+       id="path4945"
+       d="m 490.86,645.7295 9,0 c 0,0 7,1.5 7,7.5 0,6 -7,7.5 -7,7.5 l -9,0 0,-15 z"
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+       sodipodi:nodetypes="ccsccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 471.86,665.7295 7,0 0,-7 10,0"
+       id="path4949"
+       sodipodi:nodetypes="cccc" />
+    <path
+       sodipodi:nodetypes="cccc"
+       id="path4951"
+       d="m 471.86,640.7295 7,0 0,7 10,0"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+    <path
+       sodipodi:nodetypes="ccsccc"
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+       d="m 490.86,595.7295 9,0 c 0,0 7,1.5 7,7.5 0,6 -7,7.5 -7,7.5 l -9,0 0,-15 z"
+       id="path4953" />
+    <path
+       sodipodi:nodetypes="cccc"
+       id="path4955"
+       d="m 471.86,615.7295 7,0 0,-7 10,0"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 471.86,590.7295 7,0 0,7 10,0"
+       id="path4957"
+       sodipodi:nodetypes="cccc" />
+    <path
+       sodipodi:nodetypes="cccc"
+       id="path4959"
+       d="m 507.26612,603.19364 4.59388,0 0,19.53586 8,0"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 507.26612,652.4795 4.59388,0 0,-19.53586 8,0"
+       id="path4961"
+       sodipodi:nodetypes="cccc" />
+    <g
+       id="g5038"
+       transform="matrix(1,0,0,-1,241.095,1212.4595)"
+       xml:space="preserve"
+       stroke-miterlimit="10.433"
+       font-style="normal"
+       font-variant="normal"
+       font-weight="normal"
+       font-stretch="normal"
+       font-size-adjust="none"
+       letter-spacing="normal"
+       word-spacing="normal"
+       ns0:text="$\\mathbf{sumif}$\n\n"
+       ns0:preamble=""
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 225.54,660.16 -0.04,0.01 -0.04,0 -0.04,0.01 -0.03,0.01 -0.04,0.01 -0.05,0.01 -0.08,0.02 -0.08,0.02 -0.05,0.01 -0.04,0.01 -0.04,0.02 -0.04,0.01 -0.04,0.02 -0.04,0.02 -0.04,0.01 -0.04,0.02 -0.03,0.02 -0.04,0.03 -0.03,0.02 -0.03,0.03 -0.03,0.02 -0.02,0.03 -0.03,0.03 -0.02,0.03 -0.02,0.03 -0.01,0.02 0,0.02 -0.01,0.02 -0.01,0.02 0,0.02 0,0.02 -0.01,0.02 0,0.02 0,0.02 0,0.02 c 0,0.62 0.93,0.62 1.11,0.62 0.75,0 1.13,-0.29 1.18,-0.84 0.01,-0.15 0.02,-0.2 0.23,-0.2 0.24,0 0.24,0.05 0.24,0.28 v 0.8 c 0,0.19 0,0.28 -0.18,0.28 -0.04,0 -0.06,0 -0.45,-0.19 -0.26,0.13 -0.61,0.19 -1.01,0.19 -0.29,0 -1.83,0 -1.83,-1.31 0,-0.4 0.2,-0.67 0.4,-0.84 0.4,-0.34 0.78,-0.4 1.54,-0.54 0.36,-0.06 1.11,-0.19 1.11,-0.78 0,-0.75 -0.92,-0.75 -1.14,-0.75 -1.05,0 -1.31,0.73 -1.43,1.16 -0.05,0.14 -0.1,0.14 -0.24,0.14 -0.24,0 -0.24,-0.06 -0.24,-0.29 v -1.09 c 0,-0.19 0,-0.28 0.18,-0.28 0.07,0 0.09,0 0.3,0.15 0.01,0 0.23,0.15 0.26,0.17 0.46,-0.32 0.97,-0.32 1.17,-0.32 0.31,0 1.85,0 1.85,1.46 0,0.43 -0.2,0.77 -0.55,1.05 -0.39,0.29 -0.71,0.35 -1.48,0.48 z"
+   id="path5040" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 232.31,657.95 v -0.78 l 1.76,0.06 v 0.47 c -0.61,0 -0.68,0 -0.68,0.39 v 3.63 l -1.83,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 v -1.9 c 0,-0.82 -0.51,-1.35 -1.23,-1.35 -0.77,0 -0.8,0.25 -0.8,0.79 v 3.4 l -1.82,-0.08 v -0.47 c 0.61,0 0.68,0 0.68,-0.39 v -2.32 c 0,-1.07 0.81,-1.29 1.8,-1.29 0.26,0 0.97,0 1.43,0.78 z"
+   id="path5042" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 235.45,660.78 v -3.08 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.26,0.03 0.39,0 0.97,-0.02 1.25,-0.03 v 0.47 h -0.68 v 2.08 c 0,1.09 0.86,1.58 1.48,1.58 0.34,0 0.56,-0.2 0.56,-0.97 v -2.69 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.26,0.03 0.39,0 0.97,-0.02 1.25,-0.03 v 0.47 h -0.69 v 2.08 c 0,1.09 0.87,1.58 1.49,1.58 0.34,0 0.56,-0.2 0.56,-0.97 v -2.69 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.26,0.03 0.38,0 0.97,-0.02 1.25,-0.03 v 0.47 h -0.69 v 2.58 c 0,1.03 -0.51,1.44 -1.53,1.44 -0.91,0 -1.43,-0.5 -1.68,-0.96 -0.21,0.93 -1.12,0.96 -1.5,0.96 -0.87,0 -1.43,-0.45 -1.75,-1.08 v 1.08 l -1.72,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 z"
+   id="path5044" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 246.09,661.72 -1.73,-0.08 v -0.47 c 0.59,0 0.66,0 0.66,-0.39 v -3.08 h -0.69 v -0.47 c 0.31,0.01 0.8,0.03 1.22,0.03 0.3,0 0.8,-0.02 1.16,-0.03 v 0.47 h -0.62 z"
+   id="path5046" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 246.19,663.38 0,0.04 0,0.04 -0.01,0.04 0,0.04 -0.01,0.04 -0.01,0.03 -0.01,0.04 -0.02,0.04 -0.01,0.03 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.02,0.03 -0.03,0.03 -0.02,0.03 -0.03,0.02 -0.02,0.03 -0.03,0.02 -0.03,0.02 -0.03,0.03 -0.04,0.02 -0.03,0.01 -0.03,0.02 -0.04,0.02 -0.03,0.01 -0.04,0.01 -0.03,0.01 -0.04,0.01 -0.04,0.01 -0.04,0 -0.03,0.01 -0.04,0 c -0.43,0 -0.78,-0.35 -0.78,-0.78 0,-0.43 0.35,-0.78 0.78,-0.78 0.42,0 0.77,0.34 0.77,0.78 z"
+   id="path5048" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 248.21,661.66 h -0.75 v -0.47 h 0.75 v -3.49 h -0.69 v -0.47 c 0.35,0.01 0.8,0.03 1.26,0.03 0.37,0 1.01,0 1.37,-0.03 v 0.47 h -0.87 v 3.49 h 1.15 v 0.47 h -1.21 v 1 c 0,1.1 0.76,1.19 1.01,1.19 0.05,0 0.1,0 0.17,-0.02 -0.15,-0.11 -0.23,-0.3 -0.23,-0.49 0,-0.43 0.35,-0.62 0.61,-0.62 0.3,0 0.62,0.21 0.62,0.62 0,0.42 -0.36,0.87 -1.14,0.87 -0.98,0 -2.05,-0.42 -2.05,-1.55 z"
+   id="path5050" />
+</g>    <path
+       id="path5134"
+       d="m 552.2,610.19451 10,-5 0,-10 -10,-5 0,20 z"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    <path
+       sodipodi:nodetypes="ccc"
+       id="path5136"
+       d="m 427.2,595.15952 0,-18 89,0"
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)"
+       d="m 421.2,585.15952 0,-18 95,0"
+       id="path5138"
+       sodipodi:nodetypes="ccc" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 537.60612,572.15952 4.59388,0 0,23 8,0"
+       id="path5146"
+       sodipodi:nodetypes="cccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       id="path5148"
+       d="m 540.2,606.15952 10,0"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+    <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       ns0:preamble=""
+       ns0:text="$0$\n\n\n\n\n"
+       word-spacing="normal"
+       letter-spacing="normal"
+       font-size-adjust="none"
+       font-stretch="normal"
+       font-weight="normal"
+       font-variant="normal"
+       font-style="normal"
+       stroke-miterlimit="10.433"
+       xml:space="preserve"
+       transform="matrix(1,0,0,-1,311.19,1266.5795)"
+       id="g5245">
+<path
+   id="path5247"
+   d="m 228.01,660.42 0,0.15 0,0.15 0,0.15 -0.01,0.15 -0.01,0.15 -0.01,0.14 -0.01,0.15 -0.02,0.15 -0.03,0.15 -0.02,0.14 -0.04,0.15 -0.03,0.14 -0.05,0.14 -0.05,0.14 -0.05,0.14 -0.03,0.07 -0.03,0.07 c -0.46,0.96 -1.28,1.12 -1.7,1.12 -0.6,0 -1.32,-0.26 -1.73,-1.19 -0.32,-0.69 -0.37,-1.46 -0.37,-2.26 0,-0.75 0.04,-1.64 0.45,-2.4 0.43,-0.81 1.16,-1.01 1.64,-1.01 v 0.22 c -0.39,0 -0.97,0.25 -1.15,1.21 -0.11,0.6 -0.11,1.51 -0.11,2.1 0,0.64 0,1.3 0.08,1.83 0.19,1.19 0.93,1.28 1.18,1.28 0.33,0 0.99,-0.18 1.18,-1.17 0.1,-0.56 0.1,-1.31 0.1,-1.94 0,-0.75 0,-1.43 -0.11,-2.06 -0.15,-0.95 -0.72,-1.25 -1.17,-1.25 h 0 v -0.22 c 0.54,0 1.3,0.21 1.74,1.16 0.31,0.69 0.36,1.46 0.36,2.25 z"
+   style="fill:#000000;stroke-width:0" />
+</g>    <path
+       sodipodi:nodetypes="ccc"
+       id="path5336"
+       d="m 537.2,628.15952 20,0 0,-18"
+       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 562.2,600.15952 16,0"
+       id="path5338"
+       sodipodi:nodetypes="cc" />
+    <path
+       sodipodi:type="arc"
+       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       id="path5347"
+       sodipodi:cx="35.355339"
+       sodipodi:cy="33.558914"
+       sodipodi:rx="0.79549515"
+       sodipodi:ry="0.79549515"
+       d="m 36.150834,33.558914 a 0.79549515,0.79549515 0 1 1 -1.59099,0 0.79549515,0.79549515 0 1 1 1.59099,0 z"
+       transform="matrix(1.44,0,0,1.44,354.96217,537.40097)" />
+    <path
+       transform="matrix(1.44,0,0,1.44,360.00009,547.50915)"
+       d="m 36.150834,33.558914 a 0.79549515,0.79549515 0 1 1 -1.59099,0 0.79549515,0.79549515 0 1 1 1.59099,0 z"
+       sodipodi:ry="0.79549515"
+       sodipodi:rx="0.79549515"
+       sodipodi:cy="33.558914"
+       sodipodi:cx="35.355339"
+       id="path5349"
+       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       sodipodi:type="arc" />
+    <path
+       sodipodi:type="arc"
+       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       id="path5351"
+       sodipodi:cx="35.355339"
+       sodipodi:cy="33.558914"
+       sodipodi:rx="0.79549515"
+       sodipodi:ry="0.79549515"
+       d="m 36.150834,33.558914 a 0.79549515,0.79549515 0 1 1 -1.59099,0 0.79549515,0.79549515 0 1 1 1.59099,0 z"
+       transform="matrix(1.44,0,0,1.44,370.16475,537.40097)" />
+    <path
+       transform="matrix(1.44,0,0,1.44,376.17516,547.21208)"
+       d="m 36.150834,33.558914 a 0.79549515,0.79549515 0 1 1 -1.59099,0 0.79549515,0.79549515 0 1 1 1.59099,0 z"
+       sodipodi:ry="0.79549515"
+       sodipodi:rx="0.79549515"
+       sodipodi:cy="33.558914"
+       sodipodi:cx="35.355339"
+       id="path5353"
+       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       sodipodi:type="arc" />
+    <path
+       sodipodi:type="arc"
+       style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+       id="path5355"
+       sodipodi:cx="35.355339"
+       sodipodi:cy="33.558914"
+       sodipodi:rx="0.79549515"
+       sodipodi:ry="0.79549515"
+       d="m 36.150834,33.558914 a 0.79549515,0.79549515 0 1 1 -1.59099,0 0.79549515,0.79549515 0 1 1 1.59099,0 z"
+       transform="matrix(1.44,0,0,1.44,364.94984,562.2381)" />
+  </g>
+</svg>
index 6dd6520..a0ccb8e 100644 (file)
@@ -63,6 +63,7 @@
 % should be used if it is desired that the figures are to be displayed in
 % draft mode.
 %
+
 \documentclass[conference,pdf,a4paper,10pt,final,twoside,twocolumn]{IEEEtran}
 % Add the compsoc option for Computer Society conferences.
 %
@@ -93,9 +94,6 @@
 
 
 
-
-
-
 % *** CITATION PACKAGES ***
 %
 \usepackage{cite}
 \usepackage{xcolor}
 \def\comment#1{{\color[rgb]{1.0,0.0,0.0}{#1}}}
 
+\usepackage{cleveref}
+\crefname{figure}{figure}{figures}
+\newcommand{\fref}[1]{\cref{#1}} 
+\newcommand{\Fref}[1]{\Cref{#1}}
+
+
 %include polycode.fmt
 %include clash.fmt
 
@@ -526,43 +530,44 @@ by an optimizing \VHDL\ synthesis tools.
 
   \subsection{Function application}
     The basic syntactic elements of a functional program are functions
-    and function application. These have a single obvious \VHDL\
-    translation: each top level function becomes a hardware component,
-    where each argument is an input port and the result value is the
-    (single) output port. This output port can have a complex type (such
-    as a tuple), so having just a single output port does not create a
-    limitation.
-
-    Each function application in turn becomes a component instantiation.
-    Here, the result of each argument expression is assigned to a
-    signal, which is mapped to the corresponding input port. The output
-    port of the function is also mapped to a signal, which is used as
-    the result of the application itself.
+    and function application. These have a single obvious translation to a 
+    netlist: every function becomes a component, every function argument is an
+    input port and the result value is of a function is an output port. This 
+    output port can have a complex type (such as a tuple), so having just a 
+    single output port does not create a limitation. Each function application 
+    in turn becomes a component instantiation. Here, the result of each 
+    argument expression is assigned to a signal, which is mapped to the 
+    corresponding input port. The output port of the function is also mapped 
+    to a signal, which is used as the result of the application itself.
 
     Since every top level function generates its own component, the
-    hierarchy of function calls is reflected in the final \VHDL\
-    output as well, creating a hierarchical \VHDL\ description of the
-    hardware.  This separation in different components makes the
-    resulting \VHDL\ output easier to read and debug.
-
-    Example that defines the \texttt{mac} function by applying the
-    \texttt{add} and \texttt{mul} functions to calculate $a * b + c$:
-
-\begin{code}
-mac a b c = add (mul a b) c
-\end{code}
-
-\begin{figure}
-\centerline{\includegraphics{mac}}
-\caption{Combinatorial Multiply-Accumulate (curried)}
-\label{img:mac-comb}
-\end{figure}
-
-\begin{figure}
-\centerline{\includegraphics{mac-nocurry}}
-\caption{Combinatorial Multiply-Accumulate (uncurried)}
-\label{img:mac-comb-nocurry}
-\end{figure}
+    hierarchy of function calls is reflected in the final netlist aswell, 
+    creating a hierarchical description of the hardware. This separation in 
+    different components makes the resulting \VHDL\ output easier to read and 
+    debug.
+
+    As an example we can see the netlist of the |mac| function in
+    \Cref{img:mac-comb}; the |mac| function applies both the |mul| and |add|
+    function to calculate $a * b + c$:
+    \begin{code}
+    mac a b c = add (mul a b) c
+    \end{code}
+    \begin{figure}
+    \centerline{\includegraphics{mac}}
+    \caption{Combinatorial Multiply-Accumulate}
+    \label{img:mac-comb}
+    \end{figure}
+    The result of using a complex input type can be seen in 
+    \cref{img:mac-comb-nocurry} where the |mac| function now uses a single
+    input tuple for the |a|, |b|, and |c| arguments:
+    \begin{code}
+    mac (a, b, c) = add (mul a b) c
+    \end{code}
+    \begin{figure}
+    \centerline{\includegraphics{mac-nocurry}}
+    \caption{Combinatorial Multiply-Accumulate (complex input)}
+    \label{img:mac-comb-nocurry}
+    \end{figure}
 
   \subsection{Choices}
     Although describing components and connections allows describing a
@@ -613,7 +618,17 @@ mac a b c = add (mul a b) c
     sumif _ _ _     = 0
     \end{code}
 
-  \comment{TODO: Pretty picture}
+    \begin{figure}
+    \centerline{\includegraphics{choice-ifthenelse}}
+    \caption{Choice - \emph{if-then-else}}
+    \label{img:choice}
+    \end{figure}
+
+    \begin{figure}
+    \centerline{\includegraphics{choice-case}}
+    \caption{Choice - \emph{case-statement / pattern matching}}
+    \label{img:choice}
+    \end{figure}
 
   \subsection{Types}
     Translation of two most basic functional concepts has been
index 9da1b98..bc3450d 100644 (file)
      borderopacity="1.0"
      inkscape:pageopacity="0.0"
      inkscape:pageshadow="2"
-     inkscape:zoom="2.8284271"
-     inkscape:cx="74.06218"
-     inkscape:cy="49.956073"
+     inkscape:zoom="4.3338301"
+     inkscape:cx="83.875"
+     inkscape:cy="31.024985"
      inkscape:document-units="px"
      inkscape:current-layer="layer1"
-     showgrid="true"
+     showgrid="false"
      inkscape:snap-grids="true"
      inkscape:window-width="1091"
      inkscape:window-height="838"
-     inkscape:window-x="903"
-     inkscape:window-y="224"
+     inkscape:window-x="575"
+     inkscape:window-y="194"
      inkscape:window-maximized="0">
     <inkscape:grid
-       snapvisiblegridlinesonly="true"
-       enabled="true"
-       visible="true"
-       empspacing="5"
+       type="xygrid"
        id="grid2818"
-       type="xygrid" />
+       empspacing="5"
+       visible="true"
+       enabled="true"
+       snapvisiblegridlinesonly="true" />
   </sodipodi:namedview>
   <defs
      id="defs4">
     <marker
-       style="overflow:visible"
-       id="Arrow1Mend"
-       refX="0"
-       refY="0"
+       inkscape:stockid="Arrow1Mend"
        orient="auto"
-       inkscape:stockid="Arrow1Mend">
+       refY="0"
+       refX="0"
+       id="Arrow1Mend"
+       style="overflow:visible">
       <path
-         transform="matrix(-0.4,0,0,-0.4,-4,0)"
-         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         id="path3732"
          d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
-         id="path3732" />
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)" />
     </marker>
     <marker
-       style="overflow:visible"
-       id="Arrow1Send"
-       refX="0"
-       refY="0"
+       inkscape:stockid="Arrow1Send"
        orient="auto"
-       inkscape:stockid="Arrow1Send">
+       refY="0"
+       refX="0"
+       id="Arrow1Send"
+       style="overflow:visible">
       <path
-         transform="matrix(-0.2,0,0,-0.2,-1.2,0)"
-         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         id="path3738"
          d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
-         id="path3738" />
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.2,0,0,-0.2,-1.2,0)" />
     </marker>
     <inkscape:perspective
-       id="perspective10"
-       inkscape:persp3d-origin="372.04724 : 350.78739 : 1"
-       inkscape:vp_z="744.09448 : 526.18109 : 1"
-       inkscape:vp_y="0 : 1000 : 0"
+       sodipodi:type="inkscape:persp3d"
        inkscape:vp_x="0 : 526.18109 : 1"
-       sodipodi:type="inkscape:persp3d" />
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_z="744.09448 : 526.18109 : 1"
+       inkscape:persp3d-origin="372.04724 : 350.78739 : 1"
+       id="perspective10" />
   </defs>
   <metadata
      id="metadata7">
     </rdf:RDF>
   </metadata>
   <g
-     transform="translate(-342.5,-556.3198)"
-     id="layer1"
+     inkscape:label="Layer 1"
      inkscape:groupmode="layer"
-     inkscape:label="Layer 1">
+     id="layer1"
+     transform="translate(-342.5,-556.3198)">
     <rect
-       y="562.75385"
-       x="378.5"
-       height="55.315327"
-       width="115"
+       style="fill:#ffffff;stroke:#000000;stroke-width:0.60119492"
        id="rect2925"
-       style="fill:#ffffff;stroke:#000000;stroke-width:0.60119492" />
+       width="115"
+       height="55.315327"
+       x="378.5"
+       y="562.75385" />
     <rect
-       style="fill:#ffffff;stroke:#000000;stroke-width:0.54772252"
-       id="rect5226"
-       width="30"
-       height="29.999987"
+       y="583.06915"
        x="454"
-       y="583.06915" />
-    <rect
-       y="567.75385"
-       x="404.5"
        height="29.999987"
-       width="29.5"
+       width="30"
+       id="rect5226"
+       style="fill:#ffffff;stroke:#000000;stroke-width:0.54772252" />
+    <rect
+       style="fill:#ffffff;stroke:#000000;stroke-width:0.54313898"
        id="rect2879"
-       style="fill:#ffffff;stroke:#000000;stroke-width:0.54313898" />
+       width="29.5"
+       height="29.999987"
+       x="404.5"
+       y="567.75385" />
     <path
-       sodipodi:nodetypes="cc"
-       id="path2946"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
        d="m 484,598.06917 25,0"
-       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+       id="path2946"
+       sodipodi:nodetypes="cc" />
     <path
-       sodipodi:nodetypes="cccc"
-       id="path4172"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
        d="m 434,582.36977 9,0 0,6 9,0"
-       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+       id="path4172"
+       sodipodi:nodetypes="cccc" />
     <text
-       id="text5180"
-       y="585.34949"
-       x="350.5"
+       xml:space="preserve"
        style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Times New Roman;-inkscape-font-specification:'Times New Roman,'"
-       xml:space="preserve"><tspan
-         style="font-size:10px;font-style:italic;-inkscape-font-specification:Bitstream Vera Sans Oblique"
-         id="tspan5182"
-         y="0"
+       x="350.5"
+       y="585.34949"
+       id="text5180"><tspan
+         sodipodi:role="line"
          x="0"
-         sodipodi:role="line"><tspan
-           style="font-size:10px;font-style:italic;-inkscape-font-specification:Bitstream Vera Sans Oblique"
-           id="tspan5184"
+         y="0"
+         id="tspan5182"
+         style="font-size:10px;font-style:italic;-inkscape-font-specification:Bitstream Vera Sans Oblique"><tspan
+           x="350.5"
            y="585.34949"
-           x="350.5" /></tspan></text>
+           id="tspan5184"
+           style="font-size:10px;font-style:italic;-inkscape-font-specification:Bitstream Vera Sans Oblique" /></tspan></text>
     <path
-       sodipodi:nodetypes="cccc"
-       transform="translate(378.5,555.14935)"
-       id="path2874"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
        d="m -35.5,33.220423 45.5,-0.0203 0,-15 14.5,0.0203"
-       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
-    <path
+       id="path2874"
        transform="translate(378.5,555.14935)"
-       id="path2876"
-       d="m 10,33.200127 0,5 14.5,0.0203"
-       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
-       sodipodi:nodetypes="ccc" />
+       sodipodi:nodetypes="cccc" />
     <path
-       transform="translate(378.5,555.14935)"
-       id="path2878"
-       d="m 10,38.200127 0,15 63.5,0.0203"
+       sodipodi:nodetypes="ccc"
        style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
-       sodipodi:nodetypes="ccc" />
-    <g
-       id="g3024"
-       transform="translate(-2,0)">
-      <path
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-         id="path2918"
-         d="m 351.09,586.5698 0,-0.01 0,0 0,0 0,-0.01 0,0 0,0 0,-0.01 -0.01,0 0,0 0,-0.01 0,0 0,-0.01 -0.01,0 0,-0.01 -0.01,0 0,-0.01 -0.01,-0.01 0,0 0,-0.01 -0.01,0 0,-0.01 0,0 -0.01,-0.01 0,0 -0.01,0 0,-0.01 -0.01,0 0,-0.01 -0.01,0 0,-0.01 -0.01,-0.01 0,0 -0.01,-0.01 0,0 -0.01,-0.01 -0.01,-0.01 0,0 -0.01,-0.01 -0.01,-0.01 0,-0.01 -0.01,0 -0.01,-0.01 c -1.24,-1.26 -1.56,-3.14 -1.56,-4.66 0,-1.74 0.38,-3.47 1.6,-4.71 0.13,-0.12 0.13,-0.15 0.13,-0.17 0,-0.07 -0.04,-0.1 -0.1,-0.1 -0.1,0 -1,0.67 -1.58,1.94 -0.51,1.09 -0.63,2.2 -0.63,3.04 0,0.77 0.11,1.98 0.66,3.11 0.59,1.22 1.45,1.87 1.55,1.87 0.06,0 0.1,-0.03 0.1,-0.1 z" />
-      <path
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-         id="path2920"
-         d="m 355.38,580.4098 -0.02,-0.03 -0.02,-0.04 -0.01,-0.03 -0.02,-0.03 -0.02,-0.03 -0.02,-0.03 -0.03,-0.03 -0.02,-0.03 -0.02,-0.03 -0.02,-0.03 -0.03,-0.03 -0.02,-0.02 -0.03,-0.03 -0.02,-0.02 -0.03,-0.02 -0.03,-0.03 -0.03,-0.02 -0.03,-0.02 -0.03,-0.01 -0.03,-0.02 -0.03,-0.02 -0.03,-0.01 -0.04,-0.02 -0.03,-0.01 -0.04,-0.01 -0.03,-0.01 -0.04,-0.01 -0.04,0 -0.04,-0.01 -0.04,0 -0.04,-0.01 -0.04,0 0.01,0.22 c 0.65,0 0.79,0.82 0.79,0.88 0,0.06 -0.02,0.12 -0.03,0.17 l -0.5,1.95 c -0.05,0.18 -0.05,0.2 -0.2,0.37 -0.44,0.55 -0.85,0.71 -1.12,0.71 -0.5,0 -0.64,-0.55 -0.64,-0.94 0,-0.5 0.32,-1.72 0.55,-2.18 0.3,-0.59 0.75,-0.96 1.15,-0.96 l -0.01,-0.22 c -1.16,0 -2.4,1.47 -2.4,2.92 0,0.94 0.55,1.6 1.33,1.6 0.2,0 0.69,-0.04 1.29,-0.75 0.08,0.42 0.43,0.75 0.91,0.75 0.35,0 0.58,-0.23 0.73,-0.55 0.17,-0.36 0.3,-0.97 0.3,-0.99 0,-0.1 -0.09,-0.1 -0.12,-0.1 -0.1,0 -0.1,0.04 -0.13,0.18 -0.17,0.65 -0.35,1.24 -0.76,1.24 -0.27,0 -0.3,-0.26 -0.3,-0.46 0,-0.22 0.02,-0.3 0.13,-0.74 0.11,-0.42 0.13,-0.52 0.22,-0.89 l 0.36,-1.4 c 0.07,-0.28 0.07,-0.3 0.07,-0.34 0,-0.17 -0.12,-0.27 -0.29,-0.27 -0.24,0 -0.39,0.22 -0.42,0.44 z" />
-      <path
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-         id="path2922"
-         d="m 358.96,584.1698 0,-0.06 -0.01,-0.06 0,-0.06 0,-0.06 -0.01,-0.05 -0.01,-0.05 -0.01,-0.05 -0.01,-0.05 -0.01,-0.05 -0.01,-0.05 -0.02,-0.04 -0.01,-0.04 -0.02,-0.04 -0.02,-0.04 -0.02,-0.04 -0.02,-0.03 -0.02,-0.03 -0.02,-0.04 -0.02,-0.02 -0.03,-0.03 -0.02,-0.03 -0.03,-0.02 -0.03,-0.02 -0.03,-0.02 -0.03,-0.01 -0.03,-0.02 -0.03,-0.01 -0.03,-0.01 -0.03,-0.01 -0.04,0 -0.03,-0.01 -0.04,0 c -0.33,0 -0.53,0.25 -0.53,0.53 0,0.27 0.2,0.53 0.53,0.53 0.12,0 0.25,-0.04 0.35,-0.13 0.03,-0.02 0.04,-0.03 0.05,-0.03 0.01,0 0.02,0.01 0.02,0.15 0,0.73 -0.35,1.33 -0.68,1.66 -0.11,0.11 -0.11,0.13 -0.11,0.16 0,0.07 0.05,0.11 0.1,0.11 0.11,0 0.91,-0.77 0.91,-1.93 z" />
-      <path
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-         id="path2924"
-         d="m 363.74,577.3698 0,0 0,0 0,0 0,0 0,0 0,-0.01 0,0 0,0 0,-0.01 0,0 0,-0.01 0,0 -0.01,-0.01 0,0 0,-0.01 0,0 -0.01,-0.01 0,0 0,-0.01 -0.01,0 0,0 0,-0.01 -0.01,0 0,0 0,0 0,-0.01 -0.01,0 0,0 0,0 -0.01,0 0,0 0,-0.01 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 0,-0.01 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 c -0.23,0 -0.96,0.08 -1.21,0.1 -0.08,0.01 -0.19,0.02 -0.19,0.2 0,0.12 0.09,0.12 0.24,0.12 0.47,0 0.49,0.07 0.49,0.17 0,0.07 -0.09,0.41 -0.13,0.62 l -0.82,3.25 c -0.12,0.49 -0.16,0.65 -0.16,1 0,0.95 0.53,1.57 1.26,1.57 l 0,-0.22 c -0.33,0 -0.66,-0.27 -0.66,-1.01 0,-0.19 0,-0.38 0.16,-1 l 0.22,-0.92 c 0.05,-0.22 0.05,-0.24 0.14,-0.35 0.49,-0.65 0.94,-0.8 1.2,-0.8 0.36,0 0.63,0.3 0.63,0.94 0,0.59 -0.33,1.73 -0.51,2.11 -0.33,0.67 -0.79,1.03 -1.18,1.03 l 0,0.22 c 1.18,0 2.4,-1.49 2.4,-2.92 0,-0.91 -0.52,-1.6 -1.32,-1.6 -0.46,0 -0.87,0.29 -1.17,0.6 z" />
-      <path
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-         id="path2926"
-         d="m 367.66,584.1698 0,-0.06 0,-0.06 0,-0.06 -0.01,-0.06 0,-0.05 -0.01,-0.05 -0.01,-0.05 -0.01,-0.05 -0.01,-0.05 -0.01,-0.05 -0.02,-0.04 -0.01,-0.04 -0.02,-0.04 -0.02,-0.04 -0.02,-0.04 -0.02,-0.03 -0.02,-0.03 -0.02,-0.04 -0.03,-0.02 -0.02,-0.03 -0.03,-0.03 -0.02,-0.02 -0.03,-0.02 -0.03,-0.02 -0.03,-0.01 -0.03,-0.02 -0.03,-0.01 -0.03,-0.01 -0.04,-0.01 -0.03,0 -0.04,-0.01 -0.03,0 c -0.33,0 -0.53,0.25 -0.53,0.53 0,0.27 0.2,0.53 0.53,0.53 0.12,0 0.25,-0.04 0.35,-0.13 0.03,-0.02 0.04,-0.03 0.05,-0.03 0.01,0 0.02,0.01 0.02,0.15 0,0.73 -0.35,1.33 -0.68,1.66 -0.11,0.11 -0.11,0.13 -0.11,0.16 0,0.07 0.05,0.11 0.1,0.11 0.11,0 0.9,-0.77 0.9,-1.93 z" />
-      <path
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-         id="path2928"
-         d="m 374.01,580.3898 -0.03,0 -0.03,0 -0.03,0 -0.03,0 -0.03,0.01 -0.03,0 -0.01,0 -0.01,0 -0.02,0.01 -0.01,0 -0.02,0 -0.01,0.01 -0.01,0 -0.02,0.01 -0.01,0 -0.01,0.01 -0.02,0 -0.01,0.01 -0.01,0.01 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.01,0.01 c -0.16,0.15 -0.18,0.32 -0.18,0.39 0,0.24 0.18,0.35 0.37,0.35 0.28,0 0.55,-0.24 0.55,-0.64 0,-0.49 -0.46,-0.86 -1.17,-0.86 -1.35,0 -2.67,1.43 -2.67,2.83 0,0.9 0.58,1.69 1.61,1.69 1.43,0 2.26,-1.06 2.26,-1.18 0,-0.06 -0.06,-0.13 -0.12,-0.13 -0.04,0 -0.07,0.02 -0.12,0.1 -0.79,0.99 -1.88,0.99 -2,0.99 -0.62,0 -0.89,-0.49 -0.89,-1.09 0,-0.41 0.19,-1.37 0.53,-1.99 0.31,-0.57 0.86,-1 1.41,-1 0.34,0 0.72,0.13 0.86,0.4 z" />
-      <path
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-         id="path2930"
-         d="m 377.25,581.6898 0,-0.08 0,-0.07 0,-0.08 0,-0.08 -0.01,-0.17 -0.01,-0.18 -0.02,-0.18 -0.02,-0.19 -0.03,-0.2 -0.03,-0.2 -0.04,-0.2 -0.05,-0.21 -0.05,-0.21 -0.06,-0.21 -0.07,-0.21 -0.08,-0.22 -0.04,-0.1 -0.05,-0.11 -0.05,-0.11 -0.05,-0.1 c -0.59,-1.23 -1.45,-1.87 -1.55,-1.87 -0.06,0 -0.1,0.04 -0.1,0.1 0,0.02 0,0.05 0.19,0.22 0.98,0.99 1.54,2.58 1.54,4.66 0,1.7 -0.36,3.45 -1.6,4.71 -0.13,0.12 -0.13,0.14 -0.13,0.17 0,0.06 0.04,0.1 0.1,0.1 0.1,0 1,-0.68 1.58,-1.94 0.51,-1.1 0.63,-2.21 0.63,-3.04 z" />
-    </g>
-    <path
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-       id="path3084"
-       d="m 393.91,567.78977 -0.02,-0.03 -0.02,-0.04 -0.01,-0.03 -0.02,-0.03 -0.02,-0.03 -0.02,-0.03 -0.03,-0.03 -0.02,-0.03 -0.02,-0.03 -0.02,-0.03 -0.03,-0.03 -0.02,-0.02 -0.03,-0.03 -0.02,-0.02 -0.03,-0.02 -0.03,-0.03 -0.03,-0.02 -0.03,-0.02 -0.03,-0.01 -0.03,-0.02 -0.03,-0.02 -0.03,-0.01 -0.04,-0.02 -0.03,-0.01 -0.04,-0.01 -0.03,-0.01 -0.04,-0.01 -0.04,0 -0.04,-0.01 -0.04,0 -0.04,-0.01 -0.04,0 0.01,0.22 c 0.65,0 0.79,0.82 0.79,0.88 0,0.06 -0.02,0.12 -0.03,0.17 l -0.5,1.95 c -0.05,0.18 -0.05,0.2 -0.2,0.37 -0.44,0.55 -0.85,0.71 -1.12,0.71 -0.5,0 -0.64,-0.55 -0.64,-0.94 0,-0.5 0.32,-1.72 0.55,-2.18 0.3,-0.59 0.75,-0.96 1.15,-0.96 l -0.01,-0.22 c -1.16,0 -2.4,1.47 -2.4,2.92 0,0.94 0.55,1.6 1.33,1.6 0.2,0 0.69,-0.04 1.29,-0.75 0.08,0.42 0.43,0.75 0.91,0.75 0.35,0 0.58,-0.23 0.73,-0.55 0.17,-0.36 0.3,-0.97 0.3,-0.99 0,-0.1 -0.09,-0.1 -0.12,-0.1 -0.1,0 -0.1,0.04 -0.13,0.18 -0.17,0.65 -0.35,1.24 -0.76,1.24 -0.27,0 -0.3,-0.26 -0.3,-0.46 0,-0.22 0.02,-0.3 0.13,-0.74 0.11,-0.42 0.13,-0.52 0.22,-0.89 l 0.36,-1.4 c 0.07,-0.28 0.07,-0.3 0.07,-0.34 0,-0.17 -0.12,-0.27 -0.29,-0.27 -0.24,0 -0.39,0.22 -0.42,0.44 z" />
-    <path
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-       id="path3121"
-       d="m 393.74,584.36977 0,0 0,0 0,0 0,0 0,0 0,-0.01 0,0 0,0 0,-0.01 0,0 0,-0.01 0,0 -0.01,-0.01 0,0 0,-0.01 0,0 -0.01,-0.01 0,0 0,-0.01 -0.01,0 0,0 0,-0.01 -0.01,0 0,0 0,0 0,-0.01 -0.01,0 0,0 0,0 -0.01,0 0,0 0,-0.01 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 0,-0.01 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 c -0.23,0 -0.96,0.08 -1.21,0.1 -0.08,0.01 -0.19,0.02 -0.19,0.2 0,0.12 0.09,0.12 0.24,0.12 0.47,0 0.49,0.07 0.49,0.17 0,0.07 -0.09,0.41 -0.13,0.62 l -0.82,3.25 c -0.12,0.49 -0.16,0.65 -0.16,1 0,0.95 0.53,1.57 1.26,1.57 l 0,-0.22 c -0.33,0 -0.66,-0.27 -0.66,-1.01 0,-0.19 0,-0.38 0.16,-1 l 0.22,-0.92 c 0.05,-0.22 0.05,-0.24 0.14,-0.35 0.49,-0.65 0.94,-0.8 1.2,-0.8 0.36,0 0.63,0.3 0.63,0.94 0,0.59 -0.33,1.73 -0.51,2.11 -0.33,0.67 -0.79,1.03 -1.18,1.03 l 0,0.22 c 1.18,0 2.4,-1.49 2.4,-2.92 0,-0.91 -0.52,-1.6 -1.32,-1.6 -0.46,0 -0.87,0.29 -1.17,0.6 z" />
+       d="m 10,33.200127 0,5 14.5,0.0203"
+       id="path2876"
+       transform="translate(378.5,555.14935)" />
     <path
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-       id="path3123"
-       d="m 443.42,602.24977 -0.03,0 -0.03,0 -0.03,0 -0.03,0 -0.03,0.01 -0.03,0 -0.01,0 -0.01,0 -0.02,0.01 -0.01,0 -0.02,0 -0.01,0.01 -0.01,0 -0.02,0.01 -0.01,0 -0.01,0.01 -0.02,0 -0.01,0.01 -0.01,0.01 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.01,0.01 c -0.16,0.15 -0.18,0.32 -0.18,0.39 0,0.24 0.18,0.35 0.37,0.35 0.28,0 0.55,-0.24 0.55,-0.64 0,-0.49 -0.46,-0.86 -1.17,-0.86 -1.35,0 -2.67,1.43 -2.67,2.83 0,0.9 0.58,1.69 1.61,1.69 1.43,0 2.26,-1.06 2.26,-1.18 0,-0.06 -0.06,-0.13 -0.12,-0.13 -0.04,0 -0.07,0.02 -0.12,0.1 -0.79,0.99 -1.88,0.99 -2,0.99 -0.62,0 -0.89,-0.49 -0.89,-1.09 0,-0.41 0.19,-1.37 0.53,-1.99 0.31,-0.57 0.86,-1 1.41,-1 0.34,0 0.72,0.13 0.86,0.4 z" />
+       sodipodi:nodetypes="ccc"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
+       d="m 10,38.200127 0,15 63.5,0.0203"
+       id="path2878"
+       transform="translate(378.5,555.14935)" />
     <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       id="g2973"
+       transform="matrix(1,0,0,-1,167.15,1227.5798)"
+       xml:space="preserve"
+       stroke-miterlimit="10.433"
+       font-style="normal"
+       font-variant="normal"
+       font-weight="normal"
+       font-stretch="normal"
+       font-size-adjust="none"
+       letter-spacing="normal"
+       word-spacing="normal"
+       ns0:text="$\\mathit{a}$\n"
+       ns0:preamble="">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 226.91,657.82 0.01,-0.04 0.01,-0.05 0.02,-0.04 0.01,-0.04 0.02,-0.04 0.02,-0.04 0.02,-0.03 0.02,-0.03 0.02,-0.04 0.02,-0.03 0.02,-0.03 0.03,-0.03 0.02,-0.02 0.03,-0.03 0.03,-0.02 0.02,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.01 0.03,-0.01 0.03,-0.02 0.04,-0.01 0.03,-0.01 0.03,0 0.03,-0.01 0.04,-0.01 0.03,0 0.03,0 0.03,-0.01 0.04,0 c 0.36,0 0.57,0.25 0.72,0.56 0.18,0.38 0.3,0.96 0.3,0.98 0,0.1 -0.08,0.1 -0.15,0.1 -0.12,0 -0.13,-0.01 -0.19,-0.23 -0.14,-0.56 -0.32,-1.19 -0.66,-1.19 -0.26,0 -0.26,0.27 -0.26,0.41 0,0.07 0,0.23 0.07,0.51 l 0.67,2.71 c 0.04,0.14 0.04,0.16 0.04,0.21 0,0.21 -0.16,0.26 -0.27,0.26 -0.31,0 -0.38,-0.34 -0.39,-0.39 -0.19,0.43 -0.51,0.59 -0.83,0.59 v -0.22 c 0.44,0 0.69,-0.52 0.69,-0.94 0,-0.02 -0.01,-0.07 -0.03,-0.13 h 0 l -0.47,-1.88 c -0.08,-0.32 -0.7,-1.13 -1.25,-1.13 -0.46,0 -0.54,0.59 -0.54,0.89 0,0.5 0.3,1.66 0.48,2.08 0.25,0.61 0.71,1.11 1.12,1.11 v 0.22 c -1.11,0 -2.28,-1.52 -2.28,-2.97 0,-0.85 0.46,-1.55 1.2,-1.55 0.36,0 0.8,0.21 1.2,0.7 z"
+   id="path2975" />
+</g>    <g
+       ns0:preamble=""
+       ns0:text="$\\mathit{b}$\n"
+       word-spacing="normal"
+       letter-spacing="normal"
+       font-size-adjust="none"
+       font-stretch="normal"
+       font-weight="normal"
+       font-variant="normal"
+       font-style="normal"
+       stroke-miterlimit="10.433"
+       xml:space="preserve"
+       transform="matrix(1,0,0,-1,167.08,1247.2798)"
+       id="g3039"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   id="path3041"
+   d="m 226.45,663.9 0,0 0,0 0,0.01 0.01,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 0.01,0.01 0,0.01 0,0.01 0,0 0,0 0.01,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 c 0,0.09 -0.06,0.12 -0.14,0.12 -0.03,0 -0.13,-0.01 -0.16,-0.02 l -0.98,-0.08 c -0.12,-0.01 -0.23,-0.02 -0.23,-0.21 0,-0.11 0.1,-0.11 0.24,-0.11 0.47,0 0.49,-0.07 0.49,-0.17 0,-0.03 -0.03,-0.16 -0.03,-0.17 l -0.98,-3.94 c -0.01,-0.03 -0.11,-0.43 -0.11,-0.81 0,-0.84 0.42,-1.52 1.14,-1.52 v 0.22 c -0.24,0 -0.57,0.21 -0.57,0.96 0,0.44 0.09,0.79 0.37,1.92 0.07,0.24 0.07,0.26 0.22,0.46 0.29,0.4 0.67,0.74 1.05,0.74 0.45,0 0.55,-0.57 0.55,-0.89 0,-0.42 -0.27,-1.6 -0.56,-2.24 -0.12,-0.25 -0.55,-0.95 -1.06,-0.95 h 0 v -0.22 c 1.12,0 2.29,1.5 2.29,2.96 0,1.07 -0.6,1.56 -1.2,1.56 -0.38,0 -0.72,-0.21 -1.06,-0.53 z"
+   style="fill:#000000;stroke-width:0" />
+</g>    <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       ns0:preamble=""
+       ns0:text="$\\mathit{(a,b,c)}$\n\n"
+       word-spacing="normal"
+       letter-spacing="normal"
+       font-size-adjust="none"
+       font-stretch="normal"
+       font-weight="normal"
+       font-variant="normal"
+       font-style="normal"
+       stroke-miterlimit="10.433"
+       xml:space="preserve"
+       transform="matrix(1,0,0,-1,120.83,1241.3498)"
+       id="content">
+<path
+   id="path3175"
+   d="m 226.73,654.84 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0.01 -0.01,0 0,0 0,0.01 0,0 0,0.01 -0.01,0 0,0.01 -0.01,0 0,0.01 -0.01,0.01 0,0 0,0.01 -0.01,0 0,0.01 0,0 -0.01,0.01 0,0 -0.01,0 0,0.01 -0.01,0 0,0.01 -0.01,0 0,0.01 -0.01,0.01 0,0 -0.01,0.01 0,0 -0.01,0.01 -0.01,0.01 0,0 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0 -0.01,0.01 c -1.24,1.26 -1.56,3.14 -1.56,4.66 0,1.74 0.38,3.47 1.6,4.71 0.13,0.12 0.13,0.15 0.13,0.17 0,0.07 -0.04,0.1 -0.1,0.1 -0.1,0 -1,-0.67 -1.58,-1.94 -0.51,-1.09 -0.63,-2.2 -0.63,-3.04 0,-0.77 0.11,-1.98 0.66,-3.11 0.59,-1.22 1.45,-1.87 1.55,-1.87 0.06,0 0.1,0.03 0.1,0.1 z"
+   style="fill:#000000;stroke-width:0" />
+<path
+   id="path3177"
+   d="m 230.78,657.82 0.01,-0.04 0.01,-0.05 0.02,-0.04 0.01,-0.04 0.02,-0.04 0.02,-0.04 0.02,-0.03 0.02,-0.03 0.02,-0.04 0.02,-0.03 0.02,-0.03 0.03,-0.03 0.02,-0.02 0.03,-0.03 0.03,-0.02 0.02,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.01 0.03,-0.01 0.03,-0.02 0.04,-0.01 0.03,-0.01 0.03,0 0.03,-0.01 0.04,-0.01 0.03,0 0.03,0 0.03,-0.01 0.04,0 c 0.37,0 0.57,0.25 0.72,0.56 0.18,0.38 0.3,0.96 0.3,0.98 0,0.1 -0.08,0.1 -0.15,0.1 -0.12,0 -0.13,-0.01 -0.19,-0.23 -0.14,-0.56 -0.33,-1.19 -0.66,-1.19 -0.26,0 -0.26,0.27 -0.26,0.41 0,0.07 0,0.23 0.07,0.51 l 0.67,2.71 c 0.04,0.14 0.04,0.16 0.04,0.21 0,0.21 -0.16,0.26 -0.27,0.26 -0.31,0 -0.38,-0.34 -0.39,-0.39 -0.19,0.43 -0.51,0.59 -0.83,0.59 v -0.22 c 0.44,0 0.69,-0.52 0.69,-0.94 0,-0.02 -0.01,-0.07 -0.03,-0.13 h 0 l -0.47,-1.88 c -0.08,-0.32 -0.7,-1.13 -1.25,-1.13 -0.46,0 -0.54,0.59 -0.54,0.89 0,0.5 0.31,1.66 0.48,2.08 0.25,0.61 0.71,1.11 1.12,1.11 v 0.22 c -1.11,0 -2.28,-1.52 -2.28,-2.97 0,-0.85 0.46,-1.55 1.2,-1.55 0.36,0 0.8,0.21 1.2,0.7 z"
+   style="fill:#000000;stroke-width:0" />
+<path
+   id="path3179"
+   d="m 235.18,657.24 0,0.06 0,0.06 0,0.06 -0.01,0.06 -0.01,0.05 0,0.05 -0.01,0.05 -0.01,0.05 -0.01,0.05 -0.02,0.05 -0.01,0.04 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.03 -0.02,0.04 -0.03,0.02 -0.02,0.03 -0.03,0.03 -0.03,0.02 -0.02,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.02 -0.03,0.01 -0.04,0.01 -0.03,0.01 -0.03,0 -0.04,0.01 -0.04,0 c -0.32,0 -0.52,-0.25 -0.52,-0.53 0,-0.27 0.2,-0.53 0.52,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.15 0,-0.73 -0.34,-1.33 -0.67,-1.66 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.1,0 0.9,0.77 0.9,1.93 z"
+   style="fill:#000000;stroke-width:0" />
+<path
+   id="path3181"
+   d="m 240.61,663.9 0,0 0,0 0,0.01 0.01,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 0.01,0.01 0,0.01 0,0.01 0,0 0,0 0.01,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 c 0,0.09 -0.06,0.12 -0.14,0.12 -0.03,0 -0.13,-0.01 -0.16,-0.02 l -0.98,-0.08 c -0.12,-0.01 -0.23,-0.02 -0.23,-0.21 0,-0.11 0.1,-0.11 0.24,-0.11 0.47,0 0.49,-0.07 0.49,-0.17 0,-0.03 -0.03,-0.16 -0.03,-0.17 l -0.98,-3.94 c -0.01,-0.03 -0.11,-0.43 -0.11,-0.81 0,-0.84 0.42,-1.52 1.14,-1.52 v 0.22 c -0.25,0 -0.57,0.21 -0.57,0.96 0,0.44 0.09,0.79 0.37,1.92 0.07,0.24 0.07,0.26 0.22,0.46 0.29,0.4 0.67,0.74 1.05,0.74 0.45,0 0.55,-0.57 0.55,-0.89 0,-0.42 -0.27,-1.6 -0.56,-2.24 -0.12,-0.25 -0.55,-0.95 -1.06,-0.95 h 0 v -0.22 c 1.12,0 2.28,1.5 2.28,2.96 0,1.07 -0.59,1.56 -1.19,1.56 -0.38,0 -0.72,-0.21 -1.06,-0.53 z"
+   style="fill:#000000;stroke-width:0" />
+<path
+   id="path3183"
+   d="m 244.83,657.24 0,0.06 -0.01,0.06 0,0.06 0,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.05 -0.01,0.05 -0.01,0.05 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.03 -0.02,0.04 -0.02,0.02 -0.03,0.03 -0.02,0.03 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0 -0.03,0.01 -0.04,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.15 0,-0.73 -0.35,-1.33 -0.68,-1.66 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.91,0.77 0.91,1.93 z"
+   style="fill:#000000;stroke-width:0" />
+<path
+   id="path3185"
+   d="m 251.56,660.99 -0.02,-0.01 -0.02,0 -0.02,0 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,-0.01 -0.01,0 -0.02,-0.01 -0.02,-0.01 -0.01,-0.01 -0.02,0 -0.01,-0.01 -0.01,-0.01 -0.02,-0.01 -0.01,-0.01 -0.01,-0.01 -0.01,-0.01 -0.01,-0.01 -0.01,-0.01 -0.02,-0.02 -0.02,-0.02 -0.02,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 0,-0.02 -0.01,-0.02 0,-0.02 -0.01,-0.01 0,-0.02 0,-0.01 0,-0.01 0,-0.02 0,0 0,-0.01 0,0 0,-0.01 0,0 0,0 c 0,-0.16 0.11,-0.32 0.33,-0.32 0.27,0 0.51,0.22 0.51,0.6 0,0.49 -0.43,0.86 -1.06,0.86 -1.24,0 -2.52,-1.42 -2.52,-2.87 0,-0.99 0.58,-1.65 1.46,-1.65 1.28,0 2.1,1 2.1,1.15 0,0.05 -0.08,0.16 -0.16,0.16 -0.04,0 -0.05,-0.01 -0.13,-0.11 -0.73,-0.94 -1.62,-0.98 -1.79,-0.98 -0.54,0 -0.79,0.45 -0.79,1.03 0,0.53 0.27,1.57 0.53,2.05 0.36,0.65 0.86,1 1.31,1 0.11,0 0.55,-0.02 0.7,-0.43 z"
+   style="fill:#000000;stroke-width:0" />
+<path
+   id="path3187"
+   d="m 255.25,659.72 0,0.08 0,0.07 0,0.08 0,0.08 -0.01,0.17 -0.01,0.18 -0.02,0.18 -0.02,0.19 -0.03,0.2 -0.03,0.2 -0.04,0.2 -0.04,0.21 -0.06,0.21 -0.06,0.21 -0.07,0.21 -0.08,0.22 -0.04,0.1 -0.05,0.11 -0.04,0.11 -0.05,0.1 c -0.6,1.23 -1.46,1.87 -1.56,1.87 -0.06,0 -0.1,-0.04 -0.1,-0.1 0,-0.02 0,-0.05 0.19,-0.22 0.98,-0.99 1.55,-2.58 1.55,-4.66 0,-1.7 -0.37,-3.45 -1.61,-4.71 -0.13,-0.12 -0.13,-0.14 -0.13,-0.17 0,-0.06 0.04,-0.1 0.1,-0.1 0.1,0 1,0.68 1.59,1.94 0.5,1.1 0.62,2.21 0.62,3.04 z"
+   style="fill:#000000;stroke-width:0" />
+</g>    <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       id="g3255"
+       transform="matrix(1,0,0,-1,217.23,1261.8698)"
+       xml:space="preserve"
+       stroke-miterlimit="10.433"
+       font-style="normal"
+       font-variant="normal"
+       font-weight="normal"
+       font-stretch="normal"
+       font-size-adjust="none"
+       letter-spacing="normal"
+       word-spacing="normal"
+       ns0:text="$\\mathit{c}$\n"
+       ns0:preamble="">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 227.77,660.99 -0.03,-0.01 -0.02,0 -0.02,0 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,-0.01 -0.01,0 -0.02,-0.01 -0.01,-0.01 -0.02,-0.01 -0.01,0 -0.02,-0.01 -0.01,-0.01 -0.01,-0.01 -0.02,-0.01 -0.01,-0.01 -0.01,-0.01 -0.01,-0.01 -0.01,-0.01 -0.02,-0.02 -0.02,-0.02 -0.01,-0.02 -0.02,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 0,-0.02 -0.01,-0.02 0,-0.02 0,-0.01 -0.01,-0.02 0,-0.01 0,-0.01 0,-0.02 0,0 0,-0.01 0,0 0,-0.01 0,0 0,0 c 0,-0.16 0.11,-0.32 0.34,-0.32 0.27,0 0.51,0.22 0.51,0.6 0,0.49 -0.43,0.86 -1.07,0.86 -1.24,0 -2.52,-1.42 -2.52,-2.87 0,-0.99 0.59,-1.65 1.46,-1.65 1.28,0 2.11,1 2.11,1.15 0,0.05 -0.09,0.16 -0.16,0.16 -0.04,0 -0.05,-0.01 -0.13,-0.11 -0.74,-0.94 -1.63,-0.98 -1.8,-0.98 -0.53,0 -0.78,0.45 -0.78,1.03 0,0.53 0.26,1.57 0.52,2.05 0.36,0.65 0.86,1 1.31,1 0.11,0 0.56,-0.02 0.71,-0.43 z"
+   id="path3257" />
+</g>    <g
        ns0:preamble=""
-       ns0:text="\\textbf{mac}\n"
+       ns0:text="$\\mathbf{mul}$\n"
        word-spacing="normal"
        letter-spacing="normal"
        font-size-adjust="none"
        font-style="normal"
        stroke-miterlimit="10.433"
        xml:space="preserve"
-       transform="matrix(1,0,0,-1,200.94,1218.0698)"
-       id="content"
+       transform="matrix(1,0,0,-1,186.34,1243.4138)"
+       id="g3329"
        style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
 <path
-   id="path3167"
+   id="path3331"
    d="m 224.57,660.78 v -3.08 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.26,0.03 0.38,0 0.97,-0.02 1.25,-0.03 v 0.47 h -0.69 v 2.08 c 0,1.09 0.87,1.58 1.49,1.58 0.34,0 0.56,-0.2 0.56,-0.97 v -2.69 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.25,0.03 0.39,0 0.98,-0.02 1.26,-0.03 v 0.47 h -0.69 v 2.08 c 0,1.09 0.87,1.58 1.49,1.58 0.34,0 0.55,-0.2 0.55,-0.97 v -2.69 h -0.68 v -0.47 c 0.28,0.01 0.87,0.03 1.25,0.03 0.39,0 0.98,-0.02 1.26,-0.03 v 0.47 h -0.69 v 2.58 c 0,1.03 -0.51,1.44 -1.53,1.44 -0.91,0 -1.43,-0.5 -1.69,-0.96 -0.2,0.93 -1.11,0.96 -1.49,0.96 -0.87,0 -1.44,-0.45 -1.76,-1.08 v 1.08 l -1.71,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 z"
    style="fill:#000000;stroke-width:0" />
 <path
-   id="path3169"
-   d="m 236.71,658 0,-0.06 0,-0.06 0,-0.03 0,-0.04 0.01,-0.03 0,-0.03 0.01,-0.03 0.01,-0.03 0.01,-0.04 0.01,-0.03 0.02,-0.03 0.01,-0.03 0.02,-0.03 0.03,-0.03 0.02,-0.03 0.03,-0.02 0.03,-0.03 0.02,-0.01 0.02,-0.02 0.02,-0.01 0.02,-0.01 0.02,-0.01 0.02,-0.01 0.03,-0.01 0.02,-0.01 0.03,-0.01 0.02,-0.01 0.03,-0.01 0.03,-0.01 0.03,-0.01 0.03,0 0.03,-0.01 0.04,-0.01 0.03,0 0.04,-0.01 0.04,0 0.04,-0.01 0.04,0 0.04,0 0.04,0 0.05,-0.01 0.04,0 0.05,0 h 0.48 c 0.2,0 0.32,0 0.32,0.24 0,0.23 -0.13,0.23 -0.26,0.23 -0.61,0.01 -0.61,0.14 -0.61,0.37 v 2.14 c 0,0.89 -0.71,1.54 -2.19,1.54 -0.57,0 -1.78,-0.04 -1.78,-0.92 0,-0.44 0.35,-0.63 0.62,-0.63 0.3,0 0.62,0.21 0.62,0.63 0,0.3 -0.19,0.47 -0.22,0.49 0.28,0.06 0.6,0.07 0.72,0.07 0.75,0 1.1,-0.42 1.1,-1.18 v -0.34 -0.31 -0.94 c 0,-0.96 -0.92,-1.09 -1.17,-1.09 -0.51,0 -0.91,0.35 -0.91,0.79 0,1.07 1.58,1.21 2.08,1.24 h 0 v 0.31 c -0.71,-0.03 -3.24,-0.12 -3.24,-1.56 0,-0.96 1.23,-1.14 1.92,-1.14 0.8,0 1.27,0.41 1.49,0.83 z"
+   id="path3333"
+   d="m 237.02,657.95 v -0.78 l 1.77,0.06 v 0.47 c -0.62,0 -0.69,0 -0.69,0.39 v 3.63 l -1.83,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 v -1.9 c 0,-0.82 -0.51,-1.35 -1.23,-1.35 -0.77,0 -0.8,0.25 -0.8,0.79 v 3.4 l -1.82,-0.08 v -0.47 c 0.61,0 0.68,0 0.68,-0.39 v -2.32 c 0,-1.07 0.81,-1.29 1.8,-1.29 0.26,0 0.97,0 1.43,0.78 z"
    style="fill:#000000;stroke-width:0" />
 <path
-   id="path3171"
-   d="m 242.13,661.29 -0.01,-0.02 -0.02,-0.01 -0.01,-0.02 -0.02,-0.01 -0.01,-0.02 -0.01,-0.02 -0.01,-0.01 -0.02,-0.02 -0.01,-0.02 0,-0.01 -0.01,-0.02 -0.01,-0.01 -0.01,-0.02 0,-0.02 -0.01,-0.01 -0.01,-0.02 0,-0.01 0,-0.02 -0.01,-0.01 0,-0.02 -0.01,-0.01 0,-0.02 0,-0.01 0,-0.01 0,-0.02 0,-0.01 -0.01,-0.01 0,-0.01 0,-0.01 0,-0.01 0,-0.01 0,-0.01 c 0,-0.44 0.35,-0.63 0.62,-0.63 0.31,0 0.63,0.21 0.63,0.63 0,0.86 -1.16,0.92 -1.74,0.92 -1.78,0 -2.52,-1.15 -2.52,-2.31 0,-1.32 0.94,-2.27 2.47,-2.27 1.62,0 1.92,1.16 1.92,1.23 0,0.14 -0.14,0.14 -0.24,0.14 -0.18,0 -0.19,-0.02 -0.24,-0.15 -0.26,-0.63 -0.74,-0.82 -1.25,-0.82 -1.38,0 -1.38,1.47 -1.38,1.92 0,0.56 0,1.86 1.28,1.86 0.35,0 0.52,-0.03 0.65,-0.06 z"
+   id="path3335"
+   d="m 241.26,664.15 -1.77,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 v -5.51 h -0.69 v -0.47 c 0.32,0.01 0.8,0.03 1.23,0.03 0.43,0 0.88,-0.02 1.22,-0.03 v 0.47 h -0.68 z"
    style="fill:#000000;stroke-width:0" />
 </g>    <g
        style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-       id="g2888"
-       transform="matrix(1,0,0,-1,186.95,1243.4138)"
+       id="g3415"
+       transform="matrix(1,0,0,-1,236.45,1258.7291)"
        xml:space="preserve"
        stroke-miterlimit="10.433"
        font-style="normal"
        font-size-adjust="none"
        letter-spacing="normal"
        word-spacing="normal"
-       ns0:text="\\textbf{add}\n"
+       ns0:text="$\\mathbf{add}$\n"
        ns0:preamble="">
 <path
    style="fill:#000000;stroke-width:0"
    d="m 227.16,658 0,-0.06 0,-0.06 0,-0.03 0.01,-0.04 0,-0.03 0.01,-0.03 0,-0.03 0.01,-0.03 0.01,-0.04 0.01,-0.03 0.02,-0.03 0.02,-0.03 0.02,-0.03 0.02,-0.03 0.02,-0.03 0.03,-0.02 0.04,-0.03 0.01,-0.01 0.02,-0.02 0.02,-0.01 0.02,-0.01 0.02,-0.01 0.03,-0.01 0.02,-0.01 0.02,-0.01 0.03,-0.01 0.03,-0.01 0.02,-0.01 0.03,-0.01 0.03,-0.01 0.03,0 0.04,-0.01 0.03,-0.01 0.04,0 0.03,-0.01 0.04,0 0.04,-0.01 0.04,0 0.04,0 0.05,0 0.04,-0.01 0.05,0 0.05,0 h 0.47 c 0.2,0 0.32,0 0.32,0.24 0,0.23 -0.13,0.23 -0.26,0.23 -0.61,0.01 -0.61,0.14 -0.61,0.37 v 2.14 c 0,0.89 -0.7,1.54 -2.19,1.54 -0.56,0 -1.78,-0.04 -1.78,-0.92 0,-0.44 0.35,-0.63 0.62,-0.63 0.31,0 0.63,0.21 0.63,0.63 0,0.3 -0.19,0.47 -0.22,0.49 0.28,0.06 0.59,0.07 0.71,0.07 0.75,0 1.1,-0.42 1.1,-1.18 v -0.34 -0.31 -0.94 c 0,-0.96 -0.92,-1.09 -1.17,-1.09 -0.5,0 -0.9,0.35 -0.9,0.79 0,1.07 1.57,1.21 2.07,1.24 h 0 v 0.31 c -0.71,-0.03 -3.24,-0.12 -3.24,-1.56 0,-0.96 1.24,-1.14 1.92,-1.14 0.8,0 1.27,0.41 1.49,0.83 z"
-   id="path2890" />
+   id="path3417" />
 <path
    style="fill:#000000;stroke-width:0"
    d="m 233.16,657.66 v -0.49 l 1.83,0.06 v 0.47 c -0.62,0 -0.69,0 -0.69,0.39 v 6.06 l -1.77,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 v -1.94 c -0.5,0.39 -1.01,0.45 -1.34,0.45 -1.46,0 -2.5,-0.88 -2.5,-2.29 0,-1.31 0.91,-2.26 2.39,-2.26 l 0.1,0.36 c -1.22,0 -1.22,1.21 -1.22,1.9 0,0.48 0,1.02 0.26,1.41 0.29,0.42 0.76,0.52 1.07,0.52 0.56,0 0.96,-0.32 1.18,-0.61 h 0 v -2.49 c -0.13,-0.18 -0.54,-0.73 -1.29,-0.73 l -0.1,-0.36 c 0.61,0 1.08,0.24 1.39,0.49 z"
-   id="path2892" />
+   id="path3419" />
 <path
    style="fill:#000000;stroke-width:0"
    d="m 239.53,657.66 v -0.49 l 1.82,0.06 v 0.47 c -0.61,0 -0.69,0 -0.69,0.39 v 6.06 l -1.76,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 v -1.94 c -0.5,0.39 -1.02,0.45 -1.35,0.45 -1.45,0 -2.5,-0.88 -2.5,-2.29 0,-1.31 0.92,-2.26 2.39,-2.26 l 0.1,0.36 c -1.21,0 -1.21,1.21 -1.21,1.9 0,0.48 0,1.02 0.26,1.41 0.29,0.42 0.76,0.52 1.06,0.52 0.57,0 0.97,-0.32 1.19,-0.61 h 0 v -2.49 c -0.13,-0.18 -0.54,-0.73 -1.3,-0.73 l -0.1,-0.36 c 0.61,0 1.09,0.24 1.4,0.49 z"
-   id="path2894" />
+   id="path3421" />
 </g>    <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
        ns0:preamble=""
-       ns0:text="\\textbf{mul}\n"
+       ns0:text="$\\mathbf{mac}$\n\n\n"
        word-spacing="normal"
        letter-spacing="normal"
        font-size-adjust="none"
        font-style="normal"
        stroke-miterlimit="10.433"
        xml:space="preserve"
-       transform="matrix(1,0,0,-1,236.09,1258.7291)"
-       id="g2974"
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+       transform="matrix(1,0,0,-1,202.405,1218.0698)"
+       id="g3705">
 <path
-   id="path2976"
+   id="path3707"
    d="m 224.57,660.78 v -3.08 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.26,0.03 0.38,0 0.97,-0.02 1.25,-0.03 v 0.47 h -0.69 v 2.08 c 0,1.09 0.87,1.58 1.49,1.58 0.34,0 0.56,-0.2 0.56,-0.97 v -2.69 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.25,0.03 0.39,0 0.98,-0.02 1.26,-0.03 v 0.47 h -0.69 v 2.08 c 0,1.09 0.87,1.58 1.49,1.58 0.34,0 0.55,-0.2 0.55,-0.97 v -2.69 h -0.68 v -0.47 c 0.28,0.01 0.87,0.03 1.25,0.03 0.39,0 0.98,-0.02 1.26,-0.03 v 0.47 h -0.69 v 2.58 c 0,1.03 -0.51,1.44 -1.53,1.44 -0.91,0 -1.43,-0.5 -1.69,-0.96 -0.2,0.93 -1.11,0.96 -1.49,0.96 -0.87,0 -1.44,-0.45 -1.76,-1.08 v 1.08 l -1.71,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 z"
    style="fill:#000000;stroke-width:0" />
 <path
-   id="path2978"
-   d="m 237.02,657.95 v -0.78 l 1.77,0.06 v 0.47 c -0.62,0 -0.69,0 -0.69,0.39 v 3.63 l -1.83,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 v -1.9 c 0,-0.82 -0.51,-1.35 -1.23,-1.35 -0.77,0 -0.8,0.25 -0.8,0.79 v 3.4 l -1.82,-0.08 v -0.47 c 0.61,0 0.68,0 0.68,-0.39 v -2.32 c 0,-1.07 0.81,-1.29 1.8,-1.29 0.26,0 0.97,0 1.43,0.78 z"
+   id="path3709"
+   d="m 236.71,658 0,-0.06 0,-0.06 0,-0.03 0,-0.04 0.01,-0.03 0,-0.03 0.01,-0.03 0.01,-0.03 0.01,-0.04 0.01,-0.03 0.02,-0.03 0.01,-0.03 0.02,-0.03 0.03,-0.03 0.02,-0.03 0.03,-0.02 0.03,-0.03 0.02,-0.01 0.02,-0.02 0.02,-0.01 0.02,-0.01 0.02,-0.01 0.02,-0.01 0.03,-0.01 0.02,-0.01 0.03,-0.01 0.02,-0.01 0.03,-0.01 0.03,-0.01 0.03,-0.01 0.03,0 0.03,-0.01 0.04,-0.01 0.03,0 0.04,-0.01 0.04,0 0.04,-0.01 0.04,0 0.04,0 0.04,0 0.05,-0.01 0.04,0 0.05,0 h 0.48 c 0.2,0 0.32,0 0.32,0.24 0,0.23 -0.13,0.23 -0.26,0.23 -0.61,0.01 -0.61,0.14 -0.61,0.37 v 2.14 c 0,0.89 -0.71,1.54 -2.19,1.54 -0.57,0 -1.78,-0.04 -1.78,-0.92 0,-0.44 0.35,-0.63 0.62,-0.63 0.3,0 0.62,0.21 0.62,0.63 0,0.3 -0.19,0.47 -0.22,0.49 0.28,0.06 0.6,0.07 0.72,0.07 0.75,0 1.1,-0.42 1.1,-1.18 v -0.34 -0.31 -0.94 c 0,-0.96 -0.92,-1.09 -1.17,-1.09 -0.51,0 -0.91,0.35 -0.91,0.79 0,1.07 1.58,1.21 2.08,1.24 h 0 v 0.31 c -0.71,-0.03 -3.24,-0.12 -3.24,-1.56 0,-0.96 1.23,-1.14 1.92,-1.14 0.8,0 1.27,0.41 1.49,0.83 z"
    style="fill:#000000;stroke-width:0" />
 <path
-   id="path2980"
-   d="m 241.26,664.15 -1.77,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 v -5.51 h -0.69 v -0.47 c 0.32,0.01 0.8,0.03 1.23,0.03 0.43,0 0.88,-0.02 1.22,-0.03 v 0.47 h -0.68 z"
+   id="path3711"
+   d="m 242.13,661.29 -0.01,-0.02 -0.02,-0.01 -0.01,-0.02 -0.02,-0.01 -0.01,-0.02 -0.01,-0.02 -0.01,-0.01 -0.02,-0.02 -0.01,-0.02 0,-0.01 -0.01,-0.02 -0.01,-0.01 -0.01,-0.02 0,-0.02 -0.01,-0.01 -0.01,-0.02 0,-0.01 0,-0.02 -0.01,-0.01 0,-0.02 -0.01,-0.01 0,-0.02 0,-0.01 0,-0.01 0,-0.02 0,-0.01 -0.01,-0.01 0,-0.01 0,-0.01 0,-0.01 0,-0.01 0,-0.01 c 0,-0.44 0.35,-0.63 0.62,-0.63 0.31,0 0.63,0.21 0.63,0.63 0,0.86 -1.16,0.92 -1.74,0.92 -1.78,0 -2.52,-1.15 -2.52,-2.31 0,-1.32 0.94,-2.27 2.47,-2.27 1.62,0 1.92,1.16 1.92,1.23 0,0.14 -0.14,0.14 -0.24,0.14 -0.18,0 -0.19,-0.02 -0.24,-0.15 -0.26,-0.63 -0.74,-0.82 -1.25,-0.82 -1.38,0 -1.38,1.47 -1.38,1.92 0,0.56 0,1.86 1.28,1.86 0.35,0 0.52,-0.03 0.65,-0.06 z"
    style="fill:#000000;stroke-width:0" />
 </g>  </g>
 </svg>
diff --git a/mac.svg b/mac.svg
index 749b4d3..8adad81 100644 (file)
--- a/mac.svg
+++ b/mac.svg
@@ -2,6 +2,7 @@
 <!-- Created with Inkscape (http://www.inkscape.org/) -->
 
 <svg
+   xmlns:ns0="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#"
@@ -10,7 +11,7 @@
    xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
    xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
    width="131.25"
-   height="62.050003"
+   height="61.984081"
    id="svg2"
    version="1.1"
    inkscape:version="0.47 r22583"
      borderopacity="1.0"
      inkscape:pageopacity="0.0"
      inkscape:pageshadow="2"
-     inkscape:zoom="3.5188563"
-     inkscape:cx="60.13205"
-     inkscape:cy="37.003824"
+     inkscape:zoom="4.3090862"
+     inkscape:cx="81.397466"
+     inkscape:cy="60.202887"
      inkscape:document-units="px"
      inkscape:current-layer="layer1"
-     showgrid="true"
+     showgrid="false"
      inkscape:snap-grids="true"
      inkscape:window-width="1091"
      inkscape:window-height="838"
        type="xygrid" />
   </sodipodi:namedview>
   <defs
-     id="defs4"><marker
-   style="overflow:visible"
-   id="Arrow1Mend"
-   refX="0"
-   refY="0"
-   orient="auto"
-   inkscape:stockid="Arrow1Mend">
-  <path
-     transform="matrix(-0.4,0,0,-0.4,-4,0)"
-     style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
-     d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
-     id="path3732" />
-</marker>
-<marker
-   style="overflow:visible"
-   id="Arrow1Send"
-   refX="0"
-   refY="0"
-   orient="auto"
-   inkscape:stockid="Arrow1Send">
-  <path
-     transform="matrix(-0.2,0,0,-0.2,-1.2,0)"
-     style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
-     d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
-     id="path3738" />
-</marker>
-<inkscape:perspective
-   id="perspective10"
-   inkscape:persp3d-origin="372.04724 : 350.78739 : 1"
-   inkscape:vp_z="744.09448 : 526.18109 : 1"
-   inkscape:vp_y="0 : 1000 : 0"
-   inkscape:vp_x="0 : 526.18109 : 1"
-   sodipodi:type="inkscape:persp3d" />
-<inkscape:perspective
-   sodipodi:type="inkscape:persp3d"
-   inkscape:vp_x="0 : 0.5 : 1"
-   inkscape:vp_y="0 : 1000 : 0"
-   inkscape:vp_z="1 : 0.5 : 1"
-   inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
-   id="perspective3098" />
-<inkscape:perspective
-   sodipodi:type="inkscape:persp3d"
-   inkscape:vp_x="0 : 0.5 : 1"
-   inkscape:vp_y="0 : 1000 : 0"
-   inkscape:vp_z="1 : 0.5 : 1"
-   inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
-   id="perspective3128" />
-
-
-
-
-
-
-
-
-
-
-
-
-
-</defs>
+     id="defs4">
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mend"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mend">
+      <path
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+         id="path3732" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Send"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Send">
+      <path
+         transform="matrix(-0.2,0,0,-0.2,-1.2,0)"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+         id="path3738" />
+    </marker>
+    <inkscape:perspective
+       id="perspective10"
+       inkscape:persp3d-origin="372.04724 : 350.78739 : 1"
+       inkscape:vp_z="744.09448 : 526.18109 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_x="0 : 526.18109 : 1"
+       sodipodi:type="inkscape:persp3d" />
+    <inkscape:perspective
+       sodipodi:type="inkscape:persp3d"
+       inkscape:vp_x="0 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       id="perspective3098" />
+    <inkscape:perspective
+       sodipodi:type="inkscape:persp3d"
+       inkscape:vp_x="0 : 0.5 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_z="1 : 0.5 : 1"
+       inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+       id="perspective3128" />
+  </defs>
   <metadata
      id="metadata7">
     <rdf:RDF>
     </rdf:RDF>
   </metadata>
   <g
-     transform="translate(-379,-556.29948)"
+     transform="translate(-379,-556.3654)"
      id="layer1"
      inkscape:groupmode="layer"
      inkscape:label="Layer 1">
        id="path4172"
        d="m 434.5,583.34948 9,0 0,5 9,0"
        style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
-    <path
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-       d="m 385.2,567.21948 -0.02,-0.03 -0.02,-0.04 -0.01,-0.03 -0.02,-0.03 -0.02,-0.03 -0.02,-0.03 -0.03,-0.03 -0.02,-0.03 -0.02,-0.03 -0.02,-0.03 -0.03,-0.03 -0.02,-0.02 -0.03,-0.03 -0.02,-0.02 -0.03,-0.02 -0.03,-0.03 -0.03,-0.02 -0.03,-0.02 -0.03,-0.01 -0.03,-0.02 -0.03,-0.02 -0.03,-0.01 -0.04,-0.02 -0.03,-0.01 -0.04,-0.01 -0.03,-0.01 -0.04,-0.01 -0.04,0 -0.04,-0.01 -0.04,0 -0.04,-0.01 -0.04,0 0.01,0.22 c 0.65,0 0.79,0.82 0.79,0.88 0,0.06 -0.02,0.12 -0.03,0.17 l -0.5,1.95 c -0.05,0.18 -0.05,0.2 -0.2,0.37 -0.44,0.55 -0.84,0.71 -1.12,0.71 -0.5,0 -0.64,-0.55 -0.64,-0.94 0,-0.5 0.32,-1.72 0.55,-2.18 0.31,-0.59 0.75,-0.96 1.15,-0.96 l -0.01,-0.22 c -1.16,0 -2.4,1.47 -2.4,2.92 0,0.94 0.55,1.6 1.33,1.6 0.19,0 0.69,-0.04 1.29,-0.75 0.08,0.42 0.43,0.75 0.91,0.75 0.35,0 0.58,-0.23 0.74,-0.55 0.16,-0.36 0.29,-0.97 0.29,-0.99 0,-0.1 -0.09,-0.1 -0.12,-0.1 -0.09,0 -0.11,0.04 -0.14,0.18 -0.17,0.65 -0.34,1.24 -0.75,1.24 -0.27,0 -0.3,-0.26 -0.3,-0.46 0,-0.22 0.02,-0.3 0.13,-0.74 0.11,-0.42 0.13,-0.52 0.22,-0.89 l 0.36,-1.4 c 0.07,-0.28 0.07,-0.3 0.07,-0.34 0,-0.17 -0.12,-0.27 -0.29,-0.27 -0.24,0 -0.39,0.22 -0.42,0.44 z"
-       id="path3172" />
-    <path
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-       d="m 384.235,584.64948 0,0 0,0 0,0 0,0 0,0 0,-0.01 0,0 0,0 0,-0.01 0,0 0,-0.01 0,0 0,-0.01 0,0 -0.01,-0.01 0,0 0,-0.01 -0.01,0 0,-0.01 0,0 -0.01,0 0,-0.01 0,0 -0.01,0 0,0 0,-0.01 0,0 -0.01,0 0,0 0,0 -0.01,0 0,-0.01 -0.01,0 0,0 0,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,-0.01 0,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.22,0 -0.95,0.08 -1.21,0.1 -0.08,0.01 -0.19,0.02 -0.19,0.2 0,0.12 0.09,0.12 0.24,0.12 0.48,0 0.5,0.07 0.5,0.17 0,0.07 -0.09,0.41 -0.14,0.62 l -0.82,3.25 c -0.12,0.49 -0.16,0.65 -0.16,1 0,0.95 0.53,1.57 1.27,1.57 l 0,-0.22 c -0.34,0 -0.67,-0.27 -0.67,-1.01 0,-0.19 0,-0.38 0.16,-1 l 0.22,-0.92 c 0.06,-0.22 0.06,-0.24 0.15,-0.35 0.49,-0.65 0.93,-0.8 1.19,-0.8 0.36,0 0.63,0.3 0.63,0.94 0,0.59 -0.33,1.73 -0.51,2.11 -0.33,0.67 -0.79,1.03 -1.17,1.03 l 0,0.22 c 1.17,0 2.4,-1.49 2.4,-2.92 0,-0.91 -0.53,-1.6 -1.33,-1.6 -0.46,0 -0.86,0.29 -1.16,0.6 z"
-       id="path3174" />
-    <path
-       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
-       d="m 385.755,602.20948 -0.03,0 -0.03,0 -0.02,0 -0.03,0 -0.03,0.01 -0.03,0 -0.01,0 -0.02,0 -0.01,0.01 -0.01,0 -0.02,0 -0.01,0.01 -0.01,0 -0.02,0.01 -0.01,0 -0.01,0.01 -0.02,0 -0.01,0.01 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.01,0.01 -0.02,0.01 c -0.16,0.15 -0.17,0.32 -0.17,0.39 0,0.24 0.17,0.35 0.36,0.35 0.29,0 0.56,-0.24 0.56,-0.64 0,-0.49 -0.47,-0.86 -1.17,-0.86 -1.35,0 -2.67,1.43 -2.67,2.83 0,0.9 0.57,1.69 1.61,1.69 1.43,0 2.26,-1.06 2.26,-1.18 0,-0.06 -0.06,-0.13 -0.12,-0.13 -0.05,0 -0.07,0.02 -0.13,0.1 -0.78,0.99 -1.87,0.99 -1.99,0.99 -0.63,0 -0.9,-0.49 -0.9,-1.09 0,-0.41 0.2,-1.37 0.54,-1.99 0.31,-0.57 0.86,-1 1.41,-1 0.33,0 0.71,0.13 0.85,0.4 z"
-       id="path3176" />
-    <g
-       id="g3240"
-       transform="translate(19.5,22.579977)">
-      <path
-         id="path3178"
-         d="m 415.97,534.6895 0,3.08 -0.69,0 0,0.47 c 0.28,-0.01 0.88,-0.03 1.26,-0.03 0.39,0 0.98,0.02 1.25,0.03 l 0,-0.47 -0.68,0 0,-2.08 c 0,-1.09 0.86,-1.58 1.48,-1.58 0.34,0 0.56,0.2 0.56,0.97 l 0,2.69 -0.69,0 0,0.47 c 0.28,-0.01 0.88,-0.03 1.26,-0.03 0.38,0 0.97,0.02 1.25,0.03 l 0,-0.47 -0.68,0 0,-2.08 c 0,-1.09 0.86,-1.58 1.48,-1.58 0.34,0 0.56,0.2 0.56,0.97 l 0,2.69 -0.69,0 0,0.47 c 0.28,-0.01 0.88,-0.03 1.25,-0.03 0.39,0 0.98,0.02 1.26,0.03 l 0,-0.47 -0.69,0 0,-2.58 c 0,-1.03 -0.5,-1.44 -1.53,-1.44 -0.91,0 -1.43,0.5 -1.69,0.96 -0.19,-0.93 -1.11,-0.96 -1.49,-0.96 -0.87,0 -1.43,0.45 -1.75,1.08 l 0,-1.08 -1.72,0.08 0,0.47 c 0.62,0 0.69,0 0.69,0.39 z"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" />
-      <path
-         id="path3180"
-         d="m 428.11,537.4695 0,0.06 0,0.06 0,0.03 0.01,0.04 0,0.03 0.01,0.03 0,0.03 0.01,0.03 0.01,0.04 0.01,0.03 0.02,0.03 0.02,0.03 0.02,0.03 0.02,0.03 0.02,0.03 0.03,0.02 0.04,0.03 0.01,0.01 0.02,0.02 0.02,0.01 0.02,0.01 0.02,0.01 0.03,0.01 0.02,0.01 0.02,0.01 0.03,0.01 0.03,0.01 0.02,0.01 0.03,0.01 0.03,0.01 0.03,0 0.04,0.01 0.03,0.01 0.04,0 0.03,0.01 0.04,0 0.04,0.01 0.04,0 0.04,0 0.05,0 0.04,0.01 0.05,0 0.04,0 0.48,0 c 0.2,0 0.32,0 0.32,-0.24 0,-0.23 -0.13,-0.23 -0.26,-0.23 -0.61,-0.01 -0.61,-0.14 -0.61,-0.37 l 0,-2.14 c 0,-0.89 -0.7,-1.54 -2.19,-1.54 -0.56,0 -1.78,0.04 -1.78,0.92 0,0.44 0.35,0.63 0.62,0.63 0.31,0 0.63,-0.21 0.63,-0.63 0,-0.3 -0.19,-0.47 -0.22,-0.49 0.28,-0.06 0.59,-0.07 0.71,-0.07 0.75,0 1.1,0.42 1.1,1.18 l 0,0.34 0,0.31 0,0.94 c 0,0.96 -0.92,1.09 -1.17,1.09 -0.51,0 -0.9,-0.35 -0.9,-0.79 0,-1.07 1.57,-1.21 2.07,-1.24 l 0,0 0,-0.31 c -0.71,0.03 -3.24,0.12 -3.24,1.56 0,0.96 1.24,1.14 1.92,1.14 0.8,0 1.27,-0.41 1.49,-0.83 z"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" />
-      <path
-         id="path3182"
-         d="m 433.54,534.1795 -0.01,0.02 -0.02,0.01 -0.01,0.02 -0.02,0.01 -0.01,0.02 -0.01,0.02 -0.01,0.01 -0.02,0.02 -0.01,0.02 0,0.01 -0.01,0.02 -0.01,0.01 -0.01,0.02 0,0.02 -0.01,0.01 -0.01,0.02 0,0.01 0,0.02 -0.01,0.01 0,0.02 -0.01,0.01 0,0.02 0,0.01 0,0.01 0,0.02 0,0.01 -0.01,0.01 0,0.01 0,0.01 0,0.01 0,0.01 0,0.01 c 0,0.44 0.35,0.63 0.62,0.63 0.31,0 0.63,-0.21 0.63,-0.63 0,-0.86 -1.16,-0.92 -1.74,-0.92 -1.78,0 -2.52,1.15 -2.52,2.31 0,1.32 0.94,2.27 2.47,2.27 1.62,0 1.92,-1.16 1.92,-1.23 0,-0.14 -0.14,-0.14 -0.24,-0.14 -0.18,0 -0.19,0.02 -0.24,0.15 -0.26,0.63 -0.74,0.82 -1.25,0.82 -1.38,0 -1.38,-1.47 -1.38,-1.92 0,-0.56 0,-1.86 1.28,-1.86 0.35,0 0.52,0.03 0.65,0.06 z"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" />
-    </g>
     <g
-       id="g3245"
-       transform="translate(21.52,63.259646)">
-      <path
-         id="path3184"
-         d="m 442.09,537.4695 0,0.06 0,0.06 0,0.03 0.01,0.04 0,0.03 0.01,0.03 0,0.03 0.01,0.03 0.01,0.04 0.01,0.03 0.02,0.03 0.02,0.03 0.02,0.03 0.02,0.03 0.02,0.03 0.03,0.02 0.04,0.03 0.01,0.01 0.02,0.02 0.02,0.01 0.02,0.01 0.02,0.01 0.03,0.01 0.02,0.01 0.02,0.01 0.03,0.01 0.03,0.01 0.02,0.01 0.03,0.01 0.03,0.01 0.03,0 0.04,0.01 0.03,0.01 0.04,0 0.03,0.01 0.04,0 0.04,0.01 0.04,0 0.04,0 0.05,0 0.04,0.01 0.05,0 0.05,0 0.47,0 c 0.2,0 0.32,0 0.32,-0.24 0,-0.23 -0.13,-0.23 -0.26,-0.23 -0.61,-0.01 -0.61,-0.14 -0.61,-0.37 l 0,-2.14 c 0,-0.89 -0.7,-1.54 -2.19,-1.54 -0.57,0 -1.78,0.04 -1.78,0.92 0,0.44 0.35,0.63 0.62,0.63 0.31,0 0.62,-0.21 0.62,-0.63 0,-0.3 -0.18,-0.47 -0.21,-0.49 0.28,-0.06 0.59,-0.07 0.71,-0.07 0.75,0 1.1,0.42 1.1,1.18 l 0,0.34 0,0.31 0,0.94 c 0,0.96 -0.92,1.09 -1.17,1.09 -0.51,0 -0.9,-0.35 -0.9,-0.79 0,-1.07 1.57,-1.21 2.07,-1.24 l 0,0 0,-0.31 c -0.71,0.03 -3.24,0.12 -3.24,1.56 0,0.96 1.24,1.14 1.92,1.14 0.8,0 1.27,-0.41 1.49,-0.83 z"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" />
-      <path
-         id="path3186"
-         d="m 448.1,537.8095 0,0.49 1.82,-0.06 0,-0.47 c -0.62,0 -0.69,0 -0.69,-0.39 l 0,-6.06 -1.76,0.08 0,0.47 c 0.62,0 0.69,0 0.69,0.39 l 0,1.94 c -0.5,-0.39 -1.02,-0.45 -1.35,-0.45 -1.45,0 -2.5,0.88 -2.5,2.29 0,1.31 0.92,2.26 2.39,2.26 l 0.1,-0.36 c -1.21,0 -1.21,-1.21 -1.21,-1.9 0,-0.48 0,-1.02 0.26,-1.41 0.29,-0.42 0.76,-0.52 1.06,-0.52 0.57,0 0.97,0.32 1.19,0.61 l 0,0 0,2.49 c -0.13,0.18 -0.54,0.73 -1.3,0.73 l -0.1,0.36 c 0.61,0 1.09,-0.24 1.4,-0.49 z"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" />
-      <path
-         id="path3188"
-         d="m 454.46,537.8095 0,0.49 1.82,-0.06 0,-0.47 c -0.61,0 -0.68,0 -0.68,-0.39 l 0,-6.06 -1.77,0.08 0,0.47 c 0.62,0 0.69,0 0.69,0.39 l 0,1.94 c -0.5,-0.39 -1.02,-0.45 -1.35,-0.45 -1.45,0 -2.5,0.88 -2.5,2.29 0,1.31 0.92,2.26 2.4,2.26 l 0.09,-0.36 c -1.21,0 -1.21,-1.21 -1.21,-1.9 0,-0.48 0,-1.02 0.26,-1.41 0.29,-0.42 0.76,-0.52 1.06,-0.52 0.57,0 0.97,0.32 1.19,0.61 l 0,0 0,2.49 c -0.13,0.18 -0.54,0.73 -1.3,0.73 l -0.09,0.36 c 0.6,0 1.08,-0.24 1.39,-0.49 z"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" />
-    </g>
-    <g
-       id="g3250"
-       transform="translate(-49.97,47.944339)">
-      <path
-         id="path3190"
-         d="m 461.13,534.6895 0,3.08 -0.69,0 0,0.47 c 0.28,-0.01 0.88,-0.03 1.26,-0.03 0.38,0 0.97,0.02 1.25,0.03 l 0,-0.47 -0.69,0 0,-2.08 c 0,-1.09 0.87,-1.58 1.49,-1.58 0.34,0 0.56,0.2 0.56,0.97 l 0,2.69 -0.69,0 0,0.47 c 0.28,-0.01 0.88,-0.03 1.25,-0.03 0.39,0 0.98,0.02 1.26,0.03 l 0,-0.47 -0.69,0 0,-2.08 c 0,-1.09 0.87,-1.58 1.49,-1.58 0.33,0 0.55,0.2 0.55,0.97 l 0,2.69 -0.68,0 0,0.47 c 0.28,-0.01 0.87,-0.03 1.25,-0.03 0.39,0 0.98,0.02 1.26,0.03 l 0,-0.47 -0.69,0 0,-2.58 c 0,-1.03 -0.51,-1.44 -1.53,-1.44 -0.91,0 -1.43,0.5 -1.69,0.96 -0.2,-0.93 -1.11,-0.96 -1.49,-0.96 -0.87,0 -1.44,0.45 -1.76,1.08 l 0,-1.08 -1.71,0.08 0,0.47 c 0.62,0 0.69,0 0.69,0.39 z"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" />
-      <path
-         id="path3192"
-         d="m 473.58,537.5195 0,0.78 1.77,-0.06 0,-0.47 c -0.62,0 -0.69,0 -0.69,-0.39 l 0,-3.63 -1.83,0.08 0,0.47 c 0.62,0 0.69,0 0.69,0.39 l 0,1.9 c 0,0.82 -0.51,1.35 -1.23,1.35 -0.77,0 -0.8,-0.25 -0.8,-0.79 l 0,-3.4 -1.82,0.08 0,0.47 c 0.61,0 0.68,0 0.68,0.39 l 0,2.32 c 0,1.07 0.81,1.29 1.8,1.29 0.26,0 0.97,0 1.43,-0.78 z"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" />
-      <path
-         id="path3194"
-         d="m 477.82,531.3195 -1.77,0.08 0,0.47 c 0.62,0 0.69,0 0.69,0.39 l 0,5.51 -0.69,0 0,0.47 c 0.32,-0.01 0.8,-0.03 1.23,-0.03 0.43,0 0.89,0.02 1.22,0.03 l 0,-0.47 -0.68,0 z"
-         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:#000000;stroke:#000000;stroke-width:0;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" />
-    </g>
-  </g>
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       id="content"
+       transform="matrix(1,0,0,-1,159.63335,1229.1404)"
+       xml:space="preserve"
+       stroke-miterlimit="10.433"
+       font-style="normal"
+       font-variant="normal"
+       font-weight="normal"
+       font-stretch="normal"
+       font-size-adjust="none"
+       letter-spacing="normal"
+       word-spacing="normal"
+       ns0:text="$\\mathit{a}$\n"
+       ns0:preamble="">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 226.91,657.82 0.01,-0.04 0.01,-0.05 0.02,-0.04 0.01,-0.04 0.02,-0.04 0.02,-0.04 0.02,-0.03 0.02,-0.03 0.02,-0.04 0.02,-0.03 0.02,-0.03 0.03,-0.03 0.02,-0.02 0.03,-0.03 0.03,-0.02 0.02,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.01 0.03,-0.01 0.03,-0.02 0.04,-0.01 0.03,-0.01 0.03,0 0.03,-0.01 0.04,-0.01 0.03,0 0.03,0 0.03,-0.01 0.04,0 c 0.36,0 0.57,0.25 0.72,0.56 0.18,0.38 0.3,0.96 0.3,0.98 0,0.1 -0.08,0.1 -0.15,0.1 -0.12,0 -0.13,-0.01 -0.19,-0.23 -0.14,-0.56 -0.32,-1.19 -0.66,-1.19 -0.26,0 -0.26,0.27 -0.26,0.41 0,0.07 0,0.23 0.07,0.51 l 0.67,2.71 c 0.04,0.14 0.04,0.16 0.04,0.21 0,0.21 -0.16,0.26 -0.27,0.26 -0.31,0 -0.38,-0.34 -0.39,-0.39 -0.19,0.43 -0.51,0.59 -0.83,0.59 v -0.22 c 0.44,0 0.69,-0.52 0.69,-0.94 0,-0.02 -0.01,-0.07 -0.03,-0.13 h 0 l -0.47,-1.88 c -0.08,-0.32 -0.7,-1.13 -1.25,-1.13 -0.46,0 -0.54,0.59 -0.54,0.89 0,0.5 0.3,1.66 0.48,2.08 0.25,0.61 0.71,1.11 1.12,1.11 v 0.22 c -1.11,0 -2.28,-1.52 -2.28,-2.97 0,-0.85 0.46,-1.55 1.2,-1.55 0.36,0 0.8,0.21 1.2,0.7 z"
+   id="path3817" />
+</g>    <g
+       ns0:preamble=""
+       ns0:text="$\\mathit{b}$\n"
+       word-spacing="normal"
+       letter-spacing="normal"
+       font-size-adjust="none"
+       font-stretch="normal"
+       font-weight="normal"
+       font-variant="normal"
+       font-style="normal"
+       stroke-miterlimit="10.433"
+       xml:space="preserve"
+       transform="matrix(1,0,0,-1,159.97335,1248.9083)"
+       id="g3863"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   id="path3865"
+   d="m 226.45,663.9 0,0 0,0 0,0.01 0.01,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 0.01,0.01 0,0.01 0,0.01 0,0 0,0 0.01,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 c 0,0.09 -0.06,0.12 -0.14,0.12 -0.03,0 -0.13,-0.01 -0.16,-0.02 l -0.98,-0.08 c -0.12,-0.01 -0.23,-0.02 -0.23,-0.21 0,-0.11 0.1,-0.11 0.24,-0.11 0.47,0 0.49,-0.07 0.49,-0.17 0,-0.03 -0.03,-0.16 -0.03,-0.17 l -0.98,-3.94 c -0.01,-0.03 -0.11,-0.43 -0.11,-0.81 0,-0.84 0.42,-1.52 1.14,-1.52 v 0.22 c -0.24,0 -0.57,0.21 -0.57,0.96 0,0.44 0.09,0.79 0.37,1.92 0.07,0.24 0.07,0.26 0.22,0.46 0.29,0.4 0.67,0.74 1.05,0.74 0.45,0 0.55,-0.57 0.55,-0.89 0,-0.42 -0.27,-1.6 -0.56,-2.24 -0.12,-0.25 -0.55,-0.95 -1.06,-0.95 h 0 v -0.22 c 1.12,0 2.29,1.5 2.29,2.96 0,1.07 -0.6,1.56 -1.2,1.56 -0.38,0 -0.72,-0.21 -1.06,-0.53 z"
+   style="fill:#000000;stroke-width:0" />
+</g>    <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       id="g3915"
+       transform="matrix(1,0,0,-1,159.94335,1263.7863)"
+       xml:space="preserve"
+       stroke-miterlimit="10.433"
+       font-style="normal"
+       font-variant="normal"
+       font-weight="normal"
+       font-stretch="normal"
+       font-size-adjust="none"
+       letter-spacing="normal"
+       word-spacing="normal"
+       ns0:text="$\\mathit{c}$\n"
+       ns0:preamble="">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 227.77,660.99 -0.03,-0.01 -0.02,0 -0.02,0 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,-0.01 -0.01,0 -0.02,-0.01 -0.01,-0.01 -0.02,-0.01 -0.01,0 -0.02,-0.01 -0.01,-0.01 -0.01,-0.01 -0.02,-0.01 -0.01,-0.01 -0.01,-0.01 -0.01,-0.01 -0.01,-0.01 -0.02,-0.02 -0.02,-0.02 -0.01,-0.02 -0.02,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 0,-0.02 -0.01,-0.02 0,-0.02 0,-0.01 -0.01,-0.02 0,-0.01 0,-0.01 0,-0.02 0,0 0,-0.01 0,0 0,-0.01 0,0 0,0 c 0,-0.16 0.11,-0.32 0.34,-0.32 0.27,0 0.51,0.22 0.51,0.6 0,0.49 -0.43,0.86 -1.07,0.86 -1.24,0 -2.52,-1.42 -2.52,-2.87 0,-0.99 0.59,-1.65 1.46,-1.65 1.28,0 2.11,1 2.11,1.15 0,0.05 -0.09,0.16 -0.16,0.16 -0.04,0 -0.05,-0.01 -0.13,-0.11 -0.74,-0.94 -1.63,-0.98 -1.8,-0.98 -0.53,0 -0.78,0.45 -0.78,1.03 0,0.53 0.26,1.57 0.52,2.05 0.36,0.65 0.86,1 1.31,1 0.11,0 0.56,-0.02 0.71,-0.43 z"
+   id="path3917" />
+</g>    <g
+       ns0:preamble=""
+       ns0:text="$\\mathbf{mac}$\n"
+       word-spacing="normal"
+       letter-spacing="normal"
+       font-size-adjust="none"
+       font-stretch="normal"
+       font-weight="normal"
+       font-variant="normal"
+       font-style="normal"
+       stroke-miterlimit="10.433"
+       xml:space="preserve"
+       transform="matrix(1,0,0,-1,210.905,1218.1154)"
+       id="g3971"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   id="path3973"
+   d="m 224.57,660.78 v -3.08 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.26,0.03 0.38,0 0.97,-0.02 1.25,-0.03 v 0.47 h -0.69 v 2.08 c 0,1.09 0.87,1.58 1.49,1.58 0.34,0 0.56,-0.2 0.56,-0.97 v -2.69 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.25,0.03 0.39,0 0.98,-0.02 1.26,-0.03 v 0.47 h -0.69 v 2.08 c 0,1.09 0.87,1.58 1.49,1.58 0.34,0 0.55,-0.2 0.55,-0.97 v -2.69 h -0.68 v -0.47 c 0.28,0.01 0.87,0.03 1.25,0.03 0.39,0 0.98,-0.02 1.26,-0.03 v 0.47 h -0.69 v 2.58 c 0,1.03 -0.51,1.44 -1.53,1.44 -0.91,0 -1.43,-0.5 -1.69,-0.96 -0.2,0.93 -1.11,0.96 -1.49,0.96 -0.87,0 -1.44,-0.45 -1.76,-1.08 v 1.08 l -1.71,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 z"
+   style="fill:#000000;stroke-width:0" />
+<path
+   id="path3975"
+   d="m 236.71,658 0,-0.06 0,-0.06 0,-0.03 0,-0.04 0.01,-0.03 0,-0.03 0.01,-0.03 0.01,-0.03 0.01,-0.04 0.01,-0.03 0.02,-0.03 0.01,-0.03 0.02,-0.03 0.03,-0.03 0.02,-0.03 0.03,-0.02 0.03,-0.03 0.02,-0.01 0.02,-0.02 0.02,-0.01 0.02,-0.01 0.02,-0.01 0.02,-0.01 0.03,-0.01 0.02,-0.01 0.03,-0.01 0.02,-0.01 0.03,-0.01 0.03,-0.01 0.03,-0.01 0.03,0 0.03,-0.01 0.04,-0.01 0.03,0 0.04,-0.01 0.04,0 0.04,-0.01 0.04,0 0.04,0 0.04,0 0.05,-0.01 0.04,0 0.05,0 h 0.48 c 0.2,0 0.32,0 0.32,0.24 0,0.23 -0.13,0.23 -0.26,0.23 -0.61,0.01 -0.61,0.14 -0.61,0.37 v 2.14 c 0,0.89 -0.71,1.54 -2.19,1.54 -0.57,0 -1.78,-0.04 -1.78,-0.92 0,-0.44 0.35,-0.63 0.62,-0.63 0.3,0 0.62,0.21 0.62,0.63 0,0.3 -0.19,0.47 -0.22,0.49 0.28,0.06 0.6,0.07 0.72,0.07 0.75,0 1.1,-0.42 1.1,-1.18 v -0.34 -0.31 -0.94 c 0,-0.96 -0.92,-1.09 -1.17,-1.09 -0.51,0 -0.91,0.35 -0.91,0.79 0,1.07 1.58,1.21 2.08,1.24 h 0 v 0.31 c -0.71,-0.03 -3.24,-0.12 -3.24,-1.56 0,-0.96 1.23,-1.14 1.92,-1.14 0.8,0 1.27,0.41 1.49,0.83 z"
+   style="fill:#000000;stroke-width:0" />
+<path
+   id="path3977"
+   d="m 242.13,661.29 -0.01,-0.02 -0.02,-0.01 -0.01,-0.02 -0.02,-0.01 -0.01,-0.02 -0.01,-0.02 -0.01,-0.01 -0.02,-0.02 -0.01,-0.02 0,-0.01 -0.01,-0.02 -0.01,-0.01 -0.01,-0.02 0,-0.02 -0.01,-0.01 -0.01,-0.02 0,-0.01 0,-0.02 -0.01,-0.01 0,-0.02 -0.01,-0.01 0,-0.02 0,-0.01 0,-0.01 0,-0.02 0,-0.01 -0.01,-0.01 0,-0.01 0,-0.01 0,-0.01 0,-0.01 0,-0.01 c 0,-0.44 0.35,-0.63 0.62,-0.63 0.31,0 0.63,0.21 0.63,0.63 0,0.86 -1.16,0.92 -1.74,0.92 -1.78,0 -2.52,-1.15 -2.52,-2.31 0,-1.32 0.94,-2.27 2.47,-2.27 1.62,0 1.92,1.16 1.92,1.23 0,0.14 -0.14,0.14 -0.24,0.14 -0.18,0 -0.19,-0.02 -0.24,-0.15 -0.26,-0.63 -0.74,-0.82 -1.25,-0.82 -1.38,0 -1.38,1.47 -1.38,1.92 0,0.56 0,1.86 1.28,1.86 0.35,0 0.52,-0.03 0.65,-0.06 z"
+   style="fill:#000000;stroke-width:0" />
+</g>    <g
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+       id="g4039"
+       transform="matrix(1,0,0,-1,236.45,1258.7291)"
+       xml:space="preserve"
+       stroke-miterlimit="10.433"
+       font-style="normal"
+       font-variant="normal"
+       font-weight="normal"
+       font-stretch="normal"
+       font-size-adjust="none"
+       letter-spacing="normal"
+       word-spacing="normal"
+       ns0:text="$\\mathbf{add}$\n"
+       ns0:preamble="">
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 227.16,658 0,-0.06 0,-0.06 0,-0.03 0.01,-0.04 0,-0.03 0.01,-0.03 0,-0.03 0.01,-0.03 0.01,-0.04 0.01,-0.03 0.02,-0.03 0.02,-0.03 0.02,-0.03 0.02,-0.03 0.02,-0.03 0.03,-0.02 0.04,-0.03 0.01,-0.01 0.02,-0.02 0.02,-0.01 0.02,-0.01 0.02,-0.01 0.03,-0.01 0.02,-0.01 0.02,-0.01 0.03,-0.01 0.03,-0.01 0.02,-0.01 0.03,-0.01 0.03,-0.01 0.03,0 0.04,-0.01 0.03,-0.01 0.04,0 0.03,-0.01 0.04,0 0.04,-0.01 0.04,0 0.04,0 0.05,0 0.04,-0.01 0.05,0 0.05,0 h 0.47 c 0.2,0 0.32,0 0.32,0.24 0,0.23 -0.13,0.23 -0.26,0.23 -0.61,0.01 -0.61,0.14 -0.61,0.37 v 2.14 c 0,0.89 -0.7,1.54 -2.19,1.54 -0.56,0 -1.78,-0.04 -1.78,-0.92 0,-0.44 0.35,-0.63 0.62,-0.63 0.31,0 0.63,0.21 0.63,0.63 0,0.3 -0.19,0.47 -0.22,0.49 0.28,0.06 0.59,0.07 0.71,0.07 0.75,0 1.1,-0.42 1.1,-1.18 v -0.34 -0.31 -0.94 c 0,-0.96 -0.92,-1.09 -1.17,-1.09 -0.5,0 -0.9,0.35 -0.9,0.79 0,1.07 1.57,1.21 2.07,1.24 h 0 v 0.31 c -0.71,-0.03 -3.24,-0.12 -3.24,-1.56 0,-0.96 1.24,-1.14 1.92,-1.14 0.8,0 1.27,0.41 1.49,0.83 z"
+   id="path4041" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 233.16,657.66 v -0.49 l 1.83,0.06 v 0.47 c -0.62,0 -0.69,0 -0.69,0.39 v 6.06 l -1.77,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 v -1.94 c -0.5,0.39 -1.01,0.45 -1.34,0.45 -1.46,0 -2.5,-0.88 -2.5,-2.29 0,-1.31 0.91,-2.26 2.39,-2.26 l 0.1,0.36 c -1.22,0 -1.22,1.21 -1.22,1.9 0,0.48 0,1.02 0.26,1.41 0.29,0.42 0.76,0.52 1.07,0.52 0.56,0 0.96,-0.32 1.18,-0.61 h 0 v -2.49 c -0.13,-0.18 -0.54,-0.73 -1.29,-0.73 l -0.1,-0.36 c 0.61,0 1.08,0.24 1.39,0.49 z"
+   id="path4043" />
+<path
+   style="fill:#000000;stroke-width:0"
+   d="m 239.53,657.66 v -0.49 l 1.82,0.06 v 0.47 c -0.61,0 -0.69,0 -0.69,0.39 v 6.06 l -1.76,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 v -1.94 c -0.5,0.39 -1.02,0.45 -1.35,0.45 -1.45,0 -2.5,-0.88 -2.5,-2.29 0,-1.31 0.92,-2.26 2.39,-2.26 l 0.1,0.36 c -1.21,0 -1.21,1.21 -1.21,1.9 0,0.48 0,1.02 0.26,1.41 0.29,0.42 0.76,0.52 1.06,0.52 0.57,0 0.97,-0.32 1.19,-0.61 h 0 v -2.49 c -0.13,-0.18 -0.54,-0.73 -1.3,-0.73 l -0.1,-0.36 c 0.61,0 1.09,0.24 1.4,0.49 z"
+   id="path4045" />
+</g>    <g
+       ns0:preamble=""
+       ns0:text="$\\mathbf{mul}$\n"
+       word-spacing="normal"
+       letter-spacing="normal"
+       font-size-adjust="none"
+       font-stretch="normal"
+       font-weight="normal"
+       font-variant="normal"
+       font-style="normal"
+       stroke-miterlimit="10.433"
+       xml:space="preserve"
+       transform="matrix(1,0,0,-1,186.59,1243.4138)"
+       id="g4115"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+   id="path4117"
+   d="m 224.57,660.78 v -3.08 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.26,0.03 0.38,0 0.97,-0.02 1.25,-0.03 v 0.47 h -0.69 v 2.08 c 0,1.09 0.87,1.58 1.49,1.58 0.34,0 0.56,-0.2 0.56,-0.97 v -2.69 h -0.69 v -0.47 c 0.28,0.01 0.88,0.03 1.25,0.03 0.39,0 0.98,-0.02 1.26,-0.03 v 0.47 h -0.69 v 2.08 c 0,1.09 0.87,1.58 1.49,1.58 0.34,0 0.55,-0.2 0.55,-0.97 v -2.69 h -0.68 v -0.47 c 0.28,0.01 0.87,0.03 1.25,0.03 0.39,0 0.98,-0.02 1.26,-0.03 v 0.47 h -0.69 v 2.58 c 0,1.03 -0.51,1.44 -1.53,1.44 -0.91,0 -1.43,-0.5 -1.69,-0.96 -0.2,0.93 -1.11,0.96 -1.49,0.96 -0.87,0 -1.44,-0.45 -1.76,-1.08 v 1.08 l -1.71,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 z"
+   style="fill:#000000;stroke-width:0" />
+<path
+   id="path4119"
+   d="m 237.02,657.95 v -0.78 l 1.77,0.06 v 0.47 c -0.62,0 -0.69,0 -0.69,0.39 v 3.63 l -1.83,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 v -1.9 c 0,-0.82 -0.51,-1.35 -1.23,-1.35 -0.77,0 -0.8,0.25 -0.8,0.79 v 3.4 l -1.82,-0.08 v -0.47 c 0.61,0 0.68,0 0.68,-0.39 v -2.32 c 0,-1.07 0.81,-1.29 1.8,-1.29 0.26,0 0.97,0 1.43,0.78 z"
+   style="fill:#000000;stroke-width:0" />
+<path
+   id="path4121"
+   d="m 241.26,664.15 -1.77,-0.08 v -0.47 c 0.62,0 0.69,0 0.69,-0.39 v -5.51 h -0.69 v -0.47 c 0.32,0.01 0.8,0.03 1.23,0.03 0.43,0 0.88,-0.02 1.22,-0.03 v 0.47 h -0.68 z"
+   style="fill:#000000;stroke-width:0" />
+</g>  </g>
 </svg>