Clean up parts on user-defined ADT's
[matthijs/master-project/dsd-paper.git] / mac-nocurry.svg
index 9da1b98f2e1d54a1ed670ca2e19b6980d5feb0f3..2b9653b0651093bf2c3a94484f3c2dcf5edf160e 100644 (file)
@@ -11,7 +11,7 @@
    xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
    xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
    width="167.75"
-   height="62.049969"
+   height="62.249371"
    id="svg2"
    version="1.1"
    inkscape:version="0.47 r22583"
      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="41.187586"
+     inkscape:cy="31.224388"
      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="253"
+     inkscape:window-y="212"
      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:1;stroke-miterlimit:4;stroke-dasharray:none"
        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>