HEVM-overview.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
   version="1.1"
   id="svg1"
   width="966.32678"
   height="331.00049"
   viewBox="0 0 966.32679 331.00049"
   sodipodi:docname="HEVM-overview.svg"
   inkscape:version="1.3.2 (091e20ef0f, 2023-11-25, custom)"
   xml:space="preserve"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:svg="http://www.w3.org/2000/svg"><defs
     id="defs1"><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath2"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path2" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath4"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path4" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath6"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path6" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath8"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path8" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath10"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path10" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath12"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path12" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath14"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path14" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath16"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path16" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath18"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path18" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath20"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path20" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath22"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path22" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath24"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path24" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath26"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path26" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath28"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path28" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath29"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-68.428001,607.23802)"
         clip-rule="evenodd"
         id="path29" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath31"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path31" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath32"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-88.809002,518.57002)"
         clip-rule="evenodd"
         id="path32" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath33"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-88.809002,498.38701)"
         clip-rule="evenodd"
         id="path33" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath34"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-88.809002,488.29601)"
         clip-rule="evenodd"
         id="path34" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath35"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-88.809002,478.20501)"
         clip-rule="evenodd"
         id="path35" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath37"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path37" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath38"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-89.093005,433.27601)"
         clip-rule="evenodd"
         id="path38" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath39"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-89.093005,413.09301)"
         clip-rule="evenodd"
         id="path39" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath40"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-89.093005,403.00201)"
         clip-rule="evenodd"
         id="path40" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath41"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-89.093005,392.91001)"
         clip-rule="evenodd"
         id="path41" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath43"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path43" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath45"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path45" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath47"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path47" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath49"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path49" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath51"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path51" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath53"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path53" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath55"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path55" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath57"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path57" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath59"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path59" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath61"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path61" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath63"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path63" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath65"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path65" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath67"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path67" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath69"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path69" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath71"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path71" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath73"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path73" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath75"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path75" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath77"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path77" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath79"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path79" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath81"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path81" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath83"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path83" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath85"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path85" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath87"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path87" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath89"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path89" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath91"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path91" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath93"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path93" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath95"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path95" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath97"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path97" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath99"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path99" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath101"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path101" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath103"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path103" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath105"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path105" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath107"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path107" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath109"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path109" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath111"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path111" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath113"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path113" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath115"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path115" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath117"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path117" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath119"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path119" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath121"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path121" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath123"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path123" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath125"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path125" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath127"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path127" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath129"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path129" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath131"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path131" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath133"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path133" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath135"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path135" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath137"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path137" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath139"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path139" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath141"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path141" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath143"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path143" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath145"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path145" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath147"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path147" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath149"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path149" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath151"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path151" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath153"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path153" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath155"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path155" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath157"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path157" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath159"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path159" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath161"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path161" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath163"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path163" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath165"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path165" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath167"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path167" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath169"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path169" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath171"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path171" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath173"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path173" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath175"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path175" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath177"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path177" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath179"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path179" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath181"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path181" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath183"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path183" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath185"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path185" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath187"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path187" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath189"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path189" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath191"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path191" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath193"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path193" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath195"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path195" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath197"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path197" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath199"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path199" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath201"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path201" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath203"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path203" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath205"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path205" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath206"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-301.03901,518.82502)"
         clip-rule="evenodd"
         id="path206" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath207"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-301.03901,498.64301)"
         clip-rule="evenodd"
         id="path207" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath208"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-301.03901,488.55101)"
         clip-rule="evenodd"
         id="path208" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath210"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path210" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath211"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-301.06801,435.43001)"
         clip-rule="evenodd"
         id="path211" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath212"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-301.06801,415.24701)"
         clip-rule="evenodd"
         id="path212" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath213"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-301.06801,405.15601)"
         clip-rule="evenodd"
         id="path213" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath214"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-301.06801,395.06501)"
         clip-rule="evenodd"
         id="path214" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath216"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path216" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath218"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path218" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath220"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path220" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath222"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path222" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath224"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path224" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath226"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path226" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath228"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path228" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath230"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path230" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath232"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path232" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath234"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path234" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath236"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path236" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath238"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path238" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath240"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path240" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath242"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path242" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath244"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path244" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath246"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path246" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath248"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path248" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath250"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path250" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath252"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path252" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath254"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path254" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath256"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path256" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath258"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path258" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath260"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path260" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath262"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path262" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath264"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path264" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath266"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path266" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath268"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path268" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath270"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path270" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath272"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path272" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath274"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path274" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath276"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path276" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath278"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path278" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath280"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path280" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath282"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path282" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath284"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path284" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath286"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path286" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath288"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path288" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath290"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path290" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath292"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path292" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath294"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path294" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath296"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path296" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath298"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path298" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath294-9"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path294-3" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath298-6"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path298-0" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath296-6"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path296-2" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath220-2"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path220-3" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath220-2-8"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path220-3-9" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath205-7"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path205-5" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath206-3"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-301.03901,518.82502)"
         clip-rule="evenodd"
         id="path206-5" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath207-6"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-301.03901,498.64301)"
         clip-rule="evenodd"
         id="path207-2" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath208-9"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-301.03901,488.55101)"
         clip-rule="evenodd"
         id="path208-1" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath222-2"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path222-7" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath224-0"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path224-9" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath206-37"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         transform="matrix(1,0,0,-1,-301.03901,518.82502)"
         clip-rule="evenodd"
         id="path206-59" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath205-6"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path205-1" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath220-4"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path220-7" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath222-8"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path222-4" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath220-6"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path220-32" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath222-0"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path222-6" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath220-4-7"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path220-7-5" /></clipPath><clipPath
       clipPathUnits="userSpaceOnUse"
       id="clipPath222-8-3"><path
         d="M 0,0.028 H 539.971 V 719.999 H 0 Z"
         clip-rule="evenodd"
         id="path222-4-5" /></clipPath></defs><sodipodi:namedview
     id="namedview1"
     pagecolor="#ffffff"
     bordercolor="#000000"
     borderopacity="0.25"
     inkscape:showpageshadow="2"
     inkscape:pageopacity="0.0"
     inkscape:pagecheckerboard="0"
     inkscape:deskcolor="#d1d1d1"
     inkscape:zoom="2.5321399"
     inkscape:cx="328.37838"
     inkscape:cy="239.32327"
     inkscape:window-width="3840"
     inkscape:window-height="2160"
     inkscape:window-x="3840"
     inkscape:window-y="0"
     inkscape:window-maximized="1"
     inkscape:current-layer="g1"
     showguides="false"><inkscape:page
       x="0"
       y="0"
       inkscape:label="1"
       id="page1"
       width="966.32678"
       height="331.00049"
       margin="0"
       bleed="0"
       inkscape:export-filename="HEVM-overview.pdf"
       inkscape:export-xdpi="96"
       inkscape:export-ydpi="96" /></sodipodi:namedview><g
     id="g1"
     inkscape:groupmode="layer"
     inkscape:label="1"
     transform="translate(-6.5197817,-132.87998)"><path
       id="path204-3"
       d="m 389.48,468.369 h -96.264 v 62.9 h 192.501 v -62.9 z"
       style="fill:#bee3f9;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(0.9928585,0,0,-1.2480082,35.47439,923.3049)"
       clip-path="url(#clipPath205-6)" /><path
       id="path3"
       d="M 26.362,475.313 H 6.548 l -0.907,50.344 h 39.628 l 0.907,-50.344 z"
       style="fill:#bee3f9;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath4)" /><path
       id="path5"
       d="m 16.781,507.458 -0.113,6.208 h 4.705 l 0.029,-0.68 h -3.856 l 0.029,-2.013 h 3.6 v -0.68 h -3.6 l 0.056,-2.154 h 4.026 l 0.028,-0.681 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath6)" /><path
       id="path7"
       d="m 25.512,507.458 h -0.879 l -2.636,6.18 h 0.879 l 1.785,-4.337 0.397,-1.106 0.34,1.106 1.645,4.337 h 0.878 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath8)" /><path
       id="path9"
       d="m 34.044,507.458 -0.057,4.139 c -0.028,0.453 0,0.879 0,1.304 -0.113,-0.51 -0.255,-0.936 -0.368,-1.219 l -1.502,-4.224 h -0.596 l -1.701,4.224 -0.255,0.737 -0.17,0.482 0.029,-0.482 0.028,-0.822 0.085,-4.139 h -0.765 l -0.114,6.18 h 1.106 l 1.729,-4.281 c 0.085,-0.17 0.142,-0.368 0.198,-0.566 0.057,-0.199 0.085,-0.341 0.114,-0.426 0,0.114 0.056,0.312 0.141,0.539 0.057,0.255 0.114,0.397 0.142,0.453 l 1.531,4.281 h 1.077 l 0.113,-6.18 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath10)" /><path
       id="path11"
       d="m 22.422,499.124 c 0,-0.567 -0.198,-0.992 -0.595,-1.304 -0.397,-0.311 -0.936,-0.453 -1.673,-0.453 H 17.66 l -0.114,6.208 h 2.24 c 1.474,0 2.211,-0.51 2.211,-1.503 0,-0.368 -0.085,-0.68 -0.284,-0.935 -0.198,-0.255 -0.482,-0.397 -0.878,-0.482 0.51,-0.057 0.878,-0.227 1.162,-0.51 0.283,-0.284 0.397,-0.624 0.425,-1.021 z m -1.276,2.835 c 0,0.34 -0.113,0.567 -0.34,0.709 -0.226,0.141 -0.567,0.226 -0.992,0.226 h -1.417 l 0.028,-1.955 h 1.418 c 0.453,0 0.765,0.085 0.992,0.255 0.226,0.17 0.34,0.425 0.311,0.765 z m 0.426,-2.778 c -0.029,0.737 -0.539,1.106 -1.559,1.106 h -1.588 l 0.057,-2.24 h 1.616 c 0.51,0 0.907,0.085 1.133,0.284 0.227,0.198 0.341,0.482 0.341,0.85 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath12)" /><path
       id="path13"
       d="m 23.783,495.496 c -0.199,0 -0.397,0.028 -0.539,0.057 v 0.595 c 0.113,-0.028 0.227,-0.028 0.369,-0.028 0.481,0 0.878,0.368 1.133,1.077 l 0.085,0.198 -1.984,4.734 h 0.851 l 1.048,-2.636 c 0.029,-0.028 0.029,-0.085 0.057,-0.142 0.028,-0.057 0.085,-0.255 0.199,-0.567 0.141,-0.34 0.198,-0.51 0.198,-0.538 l 0.283,0.85 0.993,3.033 h 0.85 l -1.757,-4.762 c -0.171,-0.51 -0.369,-0.879 -0.539,-1.134 -0.142,-0.255 -0.34,-0.425 -0.539,-0.567 -0.198,-0.113 -0.453,-0.17 -0.708,-0.17 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath14)" /><path
       id="path15"
       d="m 29.906,497.424 c -0.256,-0.085 -0.511,-0.114 -0.794,-0.114 -0.624,0 -0.964,0.369 -0.964,1.077 l -0.057,3.175 h -0.538 l -0.029,0.567 h 0.596 l 0.198,1.077 h 0.539 l 0.028,-1.077 h 0.879 v -0.567 h -0.879 l 0.057,-3.005 c 0,-0.226 0.028,-0.396 0.113,-0.481 0.085,-0.085 0.199,-0.142 0.397,-0.142 0.113,0 0.255,0.028 0.454,0.057 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath16)" /><path
       id="path17"
       d="m 31.153,499.578 c 0,-0.539 0.113,-0.964 0.368,-1.247 0.227,-0.312 0.567,-0.454 0.992,-0.454 0.341,0 0.624,0.057 0.822,0.199 0.199,0.141 0.341,0.311 0.397,0.538 l 0.709,-0.198 c -0.284,-0.766 -0.907,-1.134 -1.928,-1.134 -0.708,0 -1.247,0.198 -1.615,0.624 -0.369,0.425 -0.567,1.048 -0.596,1.87 0,0.794 0.17,1.389 0.539,1.815 0.368,0.425 0.879,0.623 1.559,0.623 1.389,0 2.126,-0.85 2.154,-2.523 v -0.113 z m 2.579,0.595 c -0.056,0.51 -0.198,0.879 -0.425,1.106 -0.198,0.227 -0.51,0.34 -0.907,0.34 -0.397,0 -0.68,-0.113 -0.907,-0.369 -0.227,-0.255 -0.34,-0.623 -0.34,-1.077 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath18)" /><path
       id="path19"
       d="m 18.709,492.888 c -0.681,0 -1.219,-0.227 -1.588,-0.68 -0.368,-0.425 -0.567,-1.021 -0.538,-1.814 0,-0.737 0.226,-1.361 0.623,-1.814 0.397,-0.454 0.964,-0.709 1.616,-0.709 0.879,0 1.531,0.453 1.956,1.304 l 0.68,-0.34 c -0.227,-0.539 -0.595,-0.936 -1.049,-1.219 -0.453,-0.284 -0.992,-0.425 -1.587,-0.425 -0.652,0 -1.191,0.141 -1.644,0.396 -0.454,0.256 -0.822,0.624 -1.049,1.106 -0.255,0.482 -0.397,1.049 -0.397,1.701 -0.028,0.992 0.227,1.786 0.766,2.324 0.51,0.567 1.247,0.851 2.182,0.851 0.681,0 1.219,-0.142 1.673,-0.397 0.453,-0.255 0.793,-0.624 0.992,-1.134 l -0.794,-0.255 c -0.142,0.34 -0.368,0.623 -0.708,0.822 -0.312,0.17 -0.681,0.283 -1.134,0.283 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath20)" /><path
       id="path21"
       d="m 26.419,489.657 c 0,-0.822 -0.17,-1.446 -0.539,-1.843 -0.34,-0.425 -0.878,-0.623 -1.587,-0.623 -0.68,0 -1.219,0.198 -1.587,0.623 -0.341,0.425 -0.539,1.049 -0.539,1.843 -0.028,1.644 0.652,2.466 2.069,2.466 0.737,0 1.276,-0.199 1.616,-0.595 0.368,-0.397 0.539,-1.021 0.567,-1.871 z m -0.85,0 c 0,0.652 -0.114,1.134 -0.312,1.445 -0.199,0.284 -0.539,0.426 -0.992,0.426 -0.454,0 -0.794,-0.142 -0.993,-0.454 -0.198,-0.283 -0.311,-0.765 -0.283,-1.417 0,-0.624 0.113,-1.106 0.34,-1.418 0.199,-0.311 0.51,-0.453 0.964,-0.453 0.482,0 0.794,0.142 0.992,0.453 0.198,0.312 0.312,0.766 0.284,1.418 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath22)" /><path
       id="path23"
       d="m 30.444,488.041 c -0.142,-0.312 -0.34,-0.539 -0.595,-0.68 -0.227,-0.114 -0.539,-0.199 -0.879,-0.199 -0.595,0 -1.049,0.227 -1.332,0.624 -0.312,0.397 -0.454,1.02 -0.454,1.842 -0.028,1.644 0.539,2.495 1.701,2.495 0.369,0 0.652,-0.085 0.907,-0.199 0.227,-0.141 0.425,-0.34 0.595,-0.652 v 0 l -0.028,0.539 -0.028,1.984 h 0.793 l 0.085,-5.556 c 0.029,-0.482 0.029,-0.822 0.057,-0.963 h -0.765 c 0,0.028 0,0.141 -0.029,0.311 0,0.17 -0.028,0.312 -0.028,0.454 z m -2.438,1.616 c 0,-0.681 0.114,-1.163 0.284,-1.446 0.17,-0.283 0.482,-0.425 0.879,-0.425 0.425,0 0.765,0.142 0.963,0.453 0.199,0.312 0.284,0.794 0.284,1.474 -0.029,0.624 -0.142,1.078 -0.34,1.361 -0.199,0.312 -0.539,0.454 -0.964,0.454 -0.397,0 -0.709,-0.142 -0.879,-0.454 -0.17,-0.283 -0.255,-0.765 -0.227,-1.417 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath24)" /><path
       id="path25"
       d="m 33.052,489.487 c 0,-0.539 0.142,-0.964 0.368,-1.248 0.227,-0.311 0.567,-0.453 0.993,-0.453 0.34,0 0.623,0.057 0.822,0.198 0.198,0.142 0.34,0.312 0.425,0.539 l 0.68,-0.199 c -0.255,-0.765 -0.907,-1.133 -1.927,-1.133 -0.681,0 -1.219,0.198 -1.616,0.623 -0.369,0.425 -0.567,1.049 -0.567,1.871 -0.028,0.794 0.142,1.389 0.51,1.814 0.369,0.425 0.879,0.624 1.559,0.624 1.418,0 2.126,-0.851 2.155,-2.523 v -0.113 z m 2.579,0.595 c -0.056,0.51 -0.198,0.879 -0.396,1.105 -0.227,0.227 -0.539,0.341 -0.936,0.341 -0.368,0 -0.68,-0.114 -0.907,-0.369 -0.227,-0.255 -0.34,-0.624 -0.34,-1.077 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath26)" /><path
       id="path27"
       d="M 280.63,374.343 H 60.605 V 619.682 H 500.627 V 374.343 Z"
       style="fill:none;stroke:#000000;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(1.6855914,0,0,-1.3409443,-21.253391,964.8463)"
       clip-path="url(#clipPath28)" /><text
       id="text28"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,92.234569,160.2779)"
       clip-path="url(#clipPath29)"><tspan
         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:16px;font-family:'Liberation Sans';-inkscape-font-specification:'Liberation Sans, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         sodipodi:role="line"
         id="tspan28"
         x="0"
         y="0">HEVM</tspan></text><path
       id="path30"
       d="M 156.614,471.657 H 80.986 v 59.357 h 151.257 v -59.357 z"
       style="fill:#bee3f9;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(1.2373411,0,0,-1.3345559,7.7377414,968.61292)"
       clip-path="url(#clipPath31)" /><text
       id="text31"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,118.412,276.57333)"
       clip-path="url(#clipPath32)"
       style="fill:#800000"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#800000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 6.0123382 10.573422 18.009972 23.057812 28.105652 30.142817 32.179981 36.714024 39.228928 45.241264 49.802349 54.850189 59.411274 64.423058 66.937965 71.985802"
         y="0"
         sodipodi:role="line"
         id="tspan31">Symbolic Executor</tspan></text><text
       id="text32"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,118.412,303.484)"
       clip-path="url(#clipPath33)"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 6.9858499 11.997634 17.045473 22.093313 25.094976 30.142817 32.639694 37.687534 42.248619 44.763523 49.324608 53.885693 61.322243 66.370079 71.417923 73.455086 75.492249 80.053337 82.568237 87.580025 92.141106 97.18895 100.19061 105.23845 109.79954 114.33357 116.37074 121.41858 126.46642"
         y="0"
         sodipodi:role="line"
         id="tspan32">Generates symbolic expression </tspan></text><text
       id="text33"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,118.412,316.93867)"
       clip-path="url(#clipPath34)"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 2.5149059 5.5165682 10.564408 18.000957 20.515863 26.528202 32.522511 39.986103 42.501011 47.512794 52.073879 54.588783 59.636623 64.197708 69.245544 74.257332 79.305176 81.820076 87.832413 90.347321 94.908409 97.405281 102.45312 105.45479 107.96969 110.00686 115.0547 120.10254"
         y="0"
         sodipodi:role="line"
         id="tspan33">from EVM bytecode &amp; starting </tspan></text><text
       id="text34"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,118.412,330.39333)"
       clip-path="url(#clipPath35)"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 4.5610838 7.0759902 12.12383 14.620708"
         y="0"
         sodipodi:role="line"
         id="tspan34">state</tspan></text><path
       id="path36"
       d="M 156.898,389.112 H 81.269 v 56.608 h 151.257 v -56.608 z"
       style="fill:#bee3f9;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(1.2495222,0,0,-1.4901762,226.38233,1033.0428)"
       clip-path="url(#clipPath37)" /><text
       id="text37"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,338.33614,385.41002)"
       clip-path="url(#clipPath38)"
       style="fill:#800000"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#800000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 6.0123382 11.024122 15.585206 20.14629 25.19413 29.755215 32.270119 38.742172 43.790012 48.837852 53.398937 55.913841 58.915504 63.927288 65.964455 71.012291 73.527199 76.042107 83.000916 88.048752 93.096596 98.144432 101.1461 106.19393 108.69081 113.73866"
         y="0"
         sodipodi:role="line"
         id="tspan37">Keccak Constraint Generator</tspan></text><text
       id="text38"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,338.33614,412.32068)"
       clip-path="url(#clipPath39)"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 6.9858499 11.997634 17.045473 22.093313 25.094976 30.142817 32.639694 37.687534 42.248619 44.763523 50.775864 55.823704 60.357742 64.918831 69.966667 74.527756 77.042656 81.603745 86.615524 91.663368 96.224449 98.739357 101.74102 106.78886 108.82602 113.83781 116.35271 120.9138 123.4287 125.94361 130.99146"
         y="0"
         sodipodi:role="line"
         id="tspan38">Generates Keccak constraints to </tspan></text><text
       id="text39"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,338.33614,425.77535)"
       clip-path="url(#clipPath40)"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 3.001662 8.0495024 13.061286 17.62237 22.67021 27.71805 30.232956 33.234619 38.246403 40.283566 45.331406 47.846313 49.883476 54.444561 59.492401 61.529564 66.090645 68.587524 73.635368 76.637032 81.684868 86.245949 88.283119 92.8442 97.855988 99.89315 104.45423 106.96914 112.01698 117.06482 122.11266 127.12444 129.63934"
         y="0"
         sodipodi:role="line"
         id="tspan39">reason relatively precisely about </tspan></text><text
       id="text40"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,338.33614,439.23135)"
       clip-path="url(#clipPath41)"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 6.0123382 12.48439 18.496729"
         y="0"
         sodipodi:role="line"
         id="tspan40">SHA3</tspan></text><path
       id="path42"
       d="M 156.869,544.195 H 81.241 l -0.964,56.608 h 151.257 l 0.964,-56.608 z"
       style="fill:#bee3f9;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(1.2466517,0,0,-1.3344894,227.2429,960.62111)"
       clip-path="url(#clipPath43)" /><path
       id="path44"
       d="m 93.458,588.359 -0.737,1.814 h -2.834 l -0.681,-1.814 h -0.878 l 2.437,6.18 h 0.964 l 2.58,-6.18 z m -2.211,5.556 -0.056,-0.113 c -0.057,-0.256 -0.171,-0.567 -0.284,-0.936 l -0.765,-2.041 h 2.324 l -0.85,2.041 c -0.085,0.199 -0.17,0.425 -0.255,0.68 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath45)" /><path
       id="path46"
       d="m 94.961,588.359 -0.057,3.657 c -0.028,0.34 -0.028,0.708 -0.057,1.105 h 0.737 c 0.057,-0.538 0.057,-0.878 0.057,-0.964 h 0.028 c 0.114,0.397 0.255,0.681 0.425,0.823 0.142,0.141 0.397,0.226 0.681,0.226 0.113,0 0.227,-0.028 0.34,-0.056 v -0.709 c -0.113,0.028 -0.255,0.028 -0.425,0.028 -0.34,0 -0.567,-0.141 -0.737,-0.425 -0.17,-0.283 -0.255,-0.68 -0.255,-1.19 l 0.056,-2.495 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath47)" /><path
       id="path48"
       d="m 97.965,588.359 -0.056,3.657 c -0.029,0.34 -0.029,0.708 -0.057,1.105 h 0.737 c 0.057,-0.538 0.057,-0.878 0.057,-0.964 h 0.028 c 0.113,0.397 0.255,0.681 0.425,0.823 0.142,0.141 0.397,0.226 0.681,0.226 0.113,0 0.226,-0.028 0.34,-0.056 v -0.709 c -0.114,0.028 -0.255,0.028 -0.426,0.028 -0.34,0 -0.566,-0.141 -0.737,-0.425 -0.17,-0.283 -0.255,-0.68 -0.255,-1.19 l 0.057,-2.495 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath49)" /><path
       id="path50"
       d="m 102.132,588.274 c -0.482,0 -0.85,0.113 -1.077,0.369 -0.255,0.255 -0.368,0.595 -0.397,1.048 0,0.482 0.17,0.879 0.482,1.134 0.312,0.255 0.851,0.397 1.559,0.425 h 1.077 v 0.284 c -0.028,0.368 -0.113,0.652 -0.283,0.822 -0.142,0.17 -0.425,0.255 -0.765,0.255 -0.369,0 -0.624,-0.057 -0.766,-0.198 -0.17,-0.114 -0.255,-0.312 -0.283,-0.567 l -0.822,0.085 c 0.113,0.85 0.737,1.275 1.871,1.275 0.595,0 1.048,-0.141 1.36,-0.425 0.312,-0.255 0.482,-0.652 0.482,-1.19 l 0.028,-2.041 c 0,-0.227 0.029,-0.426 0.114,-0.539 0.057,-0.113 0.17,-0.17 0.34,-0.17 0.085,0 0.17,0 0.255,0.028 l 0.028,-0.482 c -0.198,-0.056 -0.425,-0.085 -0.623,-0.085 -0.284,0 -0.51,0.085 -0.652,0.227 -0.142,0.17 -0.199,0.425 -0.227,0.737 h -0.028 c -0.199,-0.368 -0.425,-0.623 -0.709,-0.765 -0.255,-0.142 -0.567,-0.227 -0.964,-0.227 z m 0.17,0.595 c 0.284,0 0.539,0.057 0.766,0.199 0.226,0.113 0.397,0.312 0.538,0.538 0.114,0.227 0.17,0.454 0.17,0.709 v 0.368 h -0.85 c -0.397,0 -0.68,-0.028 -0.85,-0.085 -0.199,-0.085 -0.341,-0.198 -0.454,-0.34 -0.085,-0.141 -0.142,-0.34 -0.142,-0.567 0,-0.255 0.085,-0.482 0.227,-0.623 0.142,-0.142 0.34,-0.199 0.595,-0.199 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath51)" /><path
       id="path52"
       d="m 106.214,586.488 c -0.198,0 -0.397,0.029 -0.538,0.057 v 0.595 c 0.113,-0.028 0.226,-0.028 0.368,-0.028 0.482,0 0.879,0.368 1.162,1.077 l 0.057,0.198 -1.956,4.734 h 0.85 l 1.021,-2.636 c 0.028,-0.028 0.057,-0.085 0.057,-0.142 0.028,-0.056 0.113,-0.255 0.226,-0.567 0.114,-0.34 0.17,-0.51 0.17,-0.538 l 0.312,0.85 0.992,3.033 h 0.822 L 108,588.359 c -0.17,-0.51 -0.34,-0.879 -0.51,-1.134 -0.17,-0.255 -0.369,-0.425 -0.567,-0.567 -0.199,-0.113 -0.425,-0.17 -0.709,-0.17 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath53)" /><path
       id="path54"
       d="m 118.006,590.06 c 0.029,-0.567 -0.198,-0.992 -0.652,-1.304 -0.425,-0.312 -1.048,-0.482 -1.871,-0.482 -1.502,0 -2.409,0.539 -2.664,1.587 l 0.822,0.142 c 0.085,-0.368 0.312,-0.623 0.624,-0.822 0.283,-0.17 0.708,-0.255 1.247,-0.255 0.538,0 0.935,0.085 1.247,0.283 0.284,0.199 0.425,0.454 0.425,0.822 0,0.199 -0.056,0.369 -0.141,0.482 -0.114,0.142 -0.227,0.227 -0.397,0.312 -0.17,0.085 -0.369,0.17 -0.596,0.227 -0.255,0.057 -0.51,0.113 -0.793,0.17 -0.482,0.113 -0.851,0.227 -1.106,0.312 -0.255,0.113 -0.453,0.255 -0.623,0.368 -0.142,0.142 -0.256,0.284 -0.341,0.482 -0.085,0.17 -0.113,0.369 -0.113,0.596 -0.028,0.538 0.17,0.963 0.567,1.247 0.425,0.283 0.992,0.425 1.757,0.425 0.709,0 1.248,-0.113 1.616,-0.312 0.369,-0.227 0.652,-0.595 0.794,-1.105 l -0.822,-0.142 c -0.085,0.312 -0.284,0.567 -0.539,0.709 -0.255,0.141 -0.595,0.226 -1.049,0.226 -0.51,0 -0.878,-0.085 -1.133,-0.255 -0.256,-0.17 -0.397,-0.397 -0.369,-0.737 0,-0.198 0.057,-0.34 0.142,-0.482 0.113,-0.113 0.255,-0.226 0.453,-0.311 0.199,-0.086 0.567,-0.199 1.134,-0.312 0.199,-0.057 0.397,-0.085 0.567,-0.142 0.199,-0.028 0.397,-0.085 0.567,-0.17 0.17,-0.057 0.34,-0.113 0.482,-0.199 0.142,-0.085 0.283,-0.198 0.397,-0.311 0.113,-0.142 0.198,-0.284 0.283,-0.454 0.057,-0.17 0.085,-0.368 0.085,-0.595 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath55)" /><path
       id="path56"
       d="m 118.97,594.113 -0.028,0.766 h 0.793 l 0.029,-0.766 z m 0.085,-5.754 -0.085,4.762 h 0.794 l 0.085,-4.762 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath57)" /><path
       id="path58"
       d="m 123.874,588.359 -0.057,3.005 c 0,0.482 -0.056,0.793 -0.198,0.964 -0.142,0.17 -0.369,0.255 -0.68,0.255 -0.341,0 -0.624,-0.114 -0.794,-0.369 -0.199,-0.255 -0.284,-0.623 -0.284,-1.105 l 0.057,-2.75 h -0.794 l -0.056,3.742 c -0.029,0.567 -0.029,0.907 -0.057,1.02 h 0.737 c 0.028,-0.028 0.028,-0.056 0.028,-0.113 0,-0.085 0,-0.142 0,-0.227 0.029,-0.085 0.029,-0.255 0.029,-0.482 h 0.028 c 0.142,0.34 0.34,0.567 0.567,0.709 0.227,0.142 0.482,0.198 0.794,0.198 0.368,0 0.652,-0.085 0.85,-0.226 0.227,-0.142 0.369,-0.369 0.454,-0.681 h 0.028 c 0.142,0.312 0.34,0.567 0.567,0.709 0.255,0.142 0.51,0.198 0.85,0.198 0.482,0 0.851,-0.141 1.049,-0.397 0.227,-0.255 0.34,-0.68 0.369,-1.275 l 0.056,-3.175 h -0.793 l -0.057,3.005 c 0,0.482 -0.057,0.793 -0.198,0.964 -0.142,0.17 -0.369,0.255 -0.681,0.255 -0.34,0 -0.623,-0.114 -0.794,-0.369 -0.198,-0.255 -0.283,-0.623 -0.283,-1.105 l 0.057,-2.75 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath59)" /><path
       id="path60"
       d="m 132.52,590.769 c 0.028,-1.673 -0.539,-2.495 -1.729,-2.495 -0.709,0 -1.219,0.283 -1.474,0.822 h -0.029 c 0,-0.028 0.029,-0.255 0.029,-0.737 l 0.028,-1.871 h -0.794 l -0.085,5.669 c 0,0.482 -0.028,0.794 -0.057,0.964 h 0.766 c 0.028,0 0.028,-0.056 0.028,-0.113 0,-0.085 0.028,-0.199 0.028,-0.34 0,-0.142 0,-0.255 0,-0.312 h 0.029 c 0.142,0.283 0.312,0.51 0.538,0.652 0.227,0.142 0.539,0.198 0.936,0.198 0.567,0 1.02,-0.198 1.304,-0.595 0.312,-0.397 0.453,-0.992 0.482,-1.842 z m -0.851,-0.029 c 0,0.68 -0.085,1.134 -0.283,1.417 -0.17,0.284 -0.454,0.426 -0.851,0.426 -0.311,0 -0.566,-0.057 -0.737,-0.199 -0.17,-0.113 -0.311,-0.312 -0.396,-0.595 -0.085,-0.283 -0.142,-0.652 -0.114,-1.106 0,-0.623 0.114,-1.077 0.312,-1.389 0.198,-0.283 0.539,-0.425 0.992,-0.425 0.397,0 0.68,0.142 0.851,0.425 0.17,0.284 0.255,0.766 0.226,1.446 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath61)" /><path
       id="path62"
       d="m 133.569,588.331 -0.114,6.548 h 0.794 l 0.113,-6.548 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath63)" /><path
       id="path64"
       d="m 135.524,594.113 -0.028,0.766 h 0.794 l 0.028,-0.766 z m 0.085,-5.754 -0.085,4.762 h 0.794 l 0.085,-4.762 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath65)" /><path
       id="path66"
       d="m 138.557,592.554 0.086,-4.195 h -0.794 l -0.085,4.195 h -0.652 l -0.029,0.567 h 0.681 v 0.539 c -0.029,0.425 0.085,0.737 0.255,0.935 0.198,0.199 0.482,0.284 0.879,0.284 0.226,0 0.396,-0.029 0.567,-0.057 v -0.595 c -0.142,0.028 -0.256,0.028 -0.341,0.028 -0.198,0 -0.368,-0.057 -0.453,-0.142 -0.085,-0.113 -0.114,-0.283 -0.114,-0.567 v -0.425 h 0.936 v -0.567 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath67)" /><path
       id="path68"
       d="m 140.088,594.113 -0.028,0.766 h 0.794 l 0.028,-0.766 z m 0.085,-5.754 -0.085,4.762 h 0.794 l 0.085,-4.762 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath69)" /><path
       id="path70"
       d="m 142.781,590.57 c 0.028,-0.539 0.142,-0.964 0.369,-1.247 0.226,-0.312 0.567,-0.454 0.992,-0.454 0.34,0 0.623,0.057 0.822,0.199 0.198,0.141 0.34,0.312 0.425,0.538 l 0.68,-0.198 c -0.255,-0.765 -0.907,-1.134 -1.899,-1.134 -0.709,0 -1.247,0.198 -1.644,0.624 -0.369,0.425 -0.567,1.048 -0.567,1.871 -0.028,0.793 0.142,1.388 0.51,1.814 0.369,0.425 0.879,0.623 1.588,0.623 1.389,0 2.097,-0.85 2.126,-2.523 v -0.113 z m 2.58,0.595 c -0.057,0.511 -0.199,0.879 -0.397,1.106 -0.227,0.227 -0.539,0.34 -0.936,0.34 -0.368,0 -0.68,-0.113 -0.907,-0.368 -0.198,-0.256 -0.312,-0.624 -0.34,-1.078 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath71)" /><path
       id="path72"
       d="m 147.26,588.359 -0.057,3.657 c -0.028,0.34 -0.028,0.708 -0.057,1.105 h 0.737 c 0.057,-0.538 0.057,-0.878 0.057,-0.964 h 0.029 c 0.113,0.397 0.255,0.681 0.425,0.823 0.141,0.141 0.397,0.226 0.68,0.226 0.113,0 0.227,-0.028 0.34,-0.056 v -0.709 c -0.113,0.028 -0.255,0.028 -0.425,0.028 -0.34,0 -0.567,-0.141 -0.737,-0.425 -0.17,-0.283 -0.255,-0.68 -0.255,-1.19 l 0.057,-2.495 z"
       style="fill:#800000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath73)" /><path
       id="path74"
       d="m 94.677,571.351 c 0,-0.652 -0.113,-1.219 -0.34,-1.701 -0.255,-0.481 -0.595,-0.822 -1.049,-1.105 -0.453,-0.255 -0.964,-0.369 -1.587,-0.369 h -2.296 l -0.114,6.208 h 2.041 c 1.049,0 1.871,-0.283 2.466,-0.793 0.567,-0.539 0.879,-1.276 0.879,-2.24 z m -0.85,0 c 0,0.766 -0.227,1.332 -0.652,1.758 -0.425,0.397 -1.049,0.595 -1.843,0.595 h -1.19 l 0.085,-4.847 h 1.389 c 0.453,0 0.85,0.085 1.19,0.283 0.34,0.199 0.596,0.482 0.766,0.879 0.198,0.368 0.283,0.822 0.255,1.332 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath75)" /><path
       id="path76"
       d="m 99.751,570.557 c 0,-0.822 -0.17,-1.445 -0.538,-1.842 -0.341,-0.425 -0.879,-0.624 -1.588,-0.624 -0.68,0 -1.219,0.199 -1.587,0.624 -0.34,0.425 -0.539,1.049 -0.567,1.842 0,1.645 0.68,2.467 2.098,2.467 0.737,0 1.275,-0.199 1.615,-0.596 0.369,-0.397 0.539,-1.02 0.567,-1.871 z m -0.85,0 c 0,0.652 -0.114,1.134 -0.312,1.446 -0.198,0.284 -0.539,0.425 -0.992,0.425 -0.454,0 -0.794,-0.141 -0.992,-0.453 -0.199,-0.284 -0.312,-0.766 -0.284,-1.418 0,-0.623 0.114,-1.105 0.312,-1.417 0.227,-0.312 0.539,-0.453 0.992,-0.453 0.454,0 0.794,0.141 0.992,0.453 0.199,0.312 0.312,0.766 0.284,1.417 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath77)" /><path
       id="path78"
       d="m 101.339,570.387 c 0,-0.538 0.141,-0.963 0.368,-1.247 0.227,-0.312 0.567,-0.453 0.992,-0.453 0.34,0 0.624,0.056 0.822,0.198 0.199,0.142 0.34,0.312 0.397,0.539 l 0.709,-0.199 c -0.255,-0.765 -0.907,-1.134 -1.928,-1.134 -0.708,0 -1.247,0.199 -1.616,0.624 -0.368,0.425 -0.566,1.049 -0.566,1.871 -0.029,0.794 0.141,1.389 0.51,1.814 0.368,0.425 0.879,0.624 1.559,0.624 1.417,0 2.126,-0.851 2.154,-2.523 v -0.114 z m 2.579,0.596 c -0.057,0.51 -0.198,0.878 -0.397,1.105 -0.227,0.227 -0.538,0.34 -0.935,0.34 -0.369,0 -0.68,-0.113 -0.907,-0.368 -0.227,-0.255 -0.34,-0.624 -0.34,-1.077 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath79)" /><path
       id="path80"
       d="m 109.361,569.509 c 0.028,-0.454 -0.142,-0.794 -0.482,-1.049 -0.34,-0.255 -0.822,-0.369 -1.418,-0.369 -0.595,0 -1.048,0.085 -1.389,0.284 -0.311,0.198 -0.538,0.51 -0.623,0.935 l 0.68,0.114 c 0.085,-0.255 0.227,-0.426 0.425,-0.539 0.227,-0.142 0.511,-0.198 0.907,-0.198 0.397,0 0.681,0.056 0.879,0.198 0.17,0.113 0.255,0.312 0.255,0.539 0,0.198 -0.056,0.34 -0.198,0.482 -0.142,0.113 -0.34,0.198 -0.624,0.283 l -0.567,0.142 c -0.453,0.113 -0.793,0.226 -0.992,0.34 -0.198,0.113 -0.34,0.255 -0.453,0.425 -0.114,0.17 -0.17,0.369 -0.17,0.595 0,0.426 0.141,0.766 0.453,0.992 0.312,0.227 0.737,0.341 1.332,0.341 0.539,0 0.964,-0.085 1.276,-0.284 0.312,-0.17 0.51,-0.482 0.595,-0.879 l -0.708,-0.085 c -0.057,0.199 -0.17,0.369 -0.369,0.482 -0.198,0.114 -0.453,0.17 -0.765,0.17 -0.369,0 -0.624,-0.056 -0.794,-0.17 -0.17,-0.113 -0.255,-0.283 -0.255,-0.482 0,-0.141 0.028,-0.255 0.113,-0.34 0.085,-0.085 0.17,-0.17 0.312,-0.227 0.142,-0.056 0.425,-0.141 0.879,-0.255 0.425,-0.113 0.737,-0.198 0.907,-0.283 0.198,-0.114 0.34,-0.199 0.453,-0.312 0.114,-0.113 0.199,-0.227 0.256,-0.368 0.056,-0.142 0.085,-0.312 0.085,-0.482 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath81)" /><path
       id="path82"
       d="m 114.123,568.091 c -0.482,0 -0.851,0.114 -1.077,0.369 -0.255,0.255 -0.369,0.595 -0.397,1.049 0,0.482 0.142,0.878 0.482,1.134 0.312,0.255 0.822,0.396 1.559,0.425 h 1.077 l -0.028,0.283 c 0,0.369 -0.085,0.652 -0.256,0.822 -0.17,0.17 -0.425,0.255 -0.765,0.255 -0.368,0 -0.624,-0.056 -0.765,-0.198 -0.17,-0.113 -0.255,-0.312 -0.284,-0.567 l -0.85,0.085 c 0.142,0.85 0.765,1.276 1.899,1.276 0.595,0 1.049,-0.142 1.361,-0.426 0.312,-0.255 0.453,-0.652 0.482,-1.19 l 0.028,-2.041 c 0,-0.227 0.028,-0.425 0.085,-0.539 0.085,-0.113 0.198,-0.17 0.369,-0.17 0.085,0 0.17,0 0.255,0.029 v -0.482 c -0.199,-0.057 -0.397,-0.085 -0.596,-0.085 -0.311,0 -0.51,0.085 -0.652,0.226 -0.141,0.171 -0.226,0.426 -0.226,0.737 h -0.029 c -0.198,-0.368 -0.425,-0.623 -0.708,-0.765 -0.256,-0.142 -0.596,-0.227 -0.964,-0.227 z m 0.17,0.596 c 0.283,0 0.538,0.056 0.765,0.198 0.227,0.113 0.397,0.312 0.539,0.539 0.113,0.226 0.17,0.453 0.17,0.708 v 0.369 h -0.879 c -0.368,0 -0.652,-0.029 -0.85,-0.085 -0.17,-0.085 -0.312,-0.199 -0.425,-0.34 -0.085,-0.142 -0.142,-0.341 -0.142,-0.567 0,-0.255 0.085,-0.482 0.227,-0.624 0.141,-0.142 0.34,-0.198 0.595,-0.198 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath83)" /><path
       id="path84"
       d="m 117.978,568.176 -0.085,3.657 c 0,0.34 0,0.709 -0.028,1.106 h 0.737 c 0.028,-0.539 0.056,-0.879 0.056,-0.964 h 0.029 c 0.113,0.397 0.255,0.68 0.425,0.822 0.142,0.142 0.368,0.227 0.68,0.227 0.114,0 0.199,-0.029 0.312,-0.057 l 0.028,-0.709 c -0.113,0.029 -0.255,0.029 -0.425,0.029 -0.34,0 -0.595,-0.142 -0.737,-0.426 -0.17,-0.283 -0.255,-0.68 -0.255,-1.19 l 0.057,-2.495 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath85)" /><path
       id="path86"
       d="m 120.983,568.176 -0.085,3.657 c 0,0.34 0,0.709 -0.029,1.106 h 0.737 c 0.029,-0.539 0.057,-0.879 0.057,-0.964 h 0.028 c 0.114,0.397 0.255,0.68 0.426,0.822 0.141,0.142 0.368,0.227 0.68,0.227 0.113,0 0.198,-0.029 0.312,-0.057 l 0.028,-0.709 c -0.113,0.029 -0.255,0.029 -0.425,0.029 -0.34,0 -0.595,-0.142 -0.737,-0.426 -0.17,-0.283 -0.255,-0.68 -0.255,-1.19 l 0.056,-2.495 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath87)" /><path
       id="path88"
       d="m 125.15,568.091 c -0.482,0 -0.851,0.114 -1.078,0.369 -0.255,0.255 -0.368,0.595 -0.396,1.049 0,0.482 0.141,0.878 0.481,1.134 0.312,0.255 0.823,0.396 1.56,0.425 h 1.077 l -0.029,0.283 c 0,0.369 -0.085,0.652 -0.255,0.822 -0.17,0.17 -0.425,0.255 -0.765,0.255 -0.369,0 -0.624,-0.056 -0.765,-0.198 -0.171,-0.113 -0.256,-0.312 -0.284,-0.567 l -0.85,0.085 c 0.141,0.85 0.765,1.276 1.899,1.276 0.595,0 1.049,-0.142 1.361,-0.426 0.311,-0.255 0.453,-0.652 0.481,-1.19 l 0.029,-2.041 c 0,-0.227 0.028,-0.425 0.085,-0.539 0.085,-0.113 0.198,-0.17 0.368,-0.17 0.085,0 0.17,0 0.255,0.029 v -0.482 c -0.198,-0.057 -0.396,-0.085 -0.595,-0.085 -0.312,0 -0.51,0.085 -0.652,0.226 -0.142,0.171 -0.227,0.426 -0.227,0.737 h -0.028 c -0.198,-0.368 -0.425,-0.623 -0.709,-0.765 -0.255,-0.142 -0.595,-0.227 -0.963,-0.227 z m 0.17,0.596 c 0.283,0 0.538,0.056 0.765,0.198 0.227,0.113 0.397,0.312 0.539,0.539 0.113,0.226 0.17,0.453 0.17,0.708 v 0.369 h -0.879 c -0.369,0 -0.652,-0.029 -0.85,-0.085 -0.171,-0.085 -0.312,-0.199 -0.426,-0.34 -0.085,-0.142 -0.141,-0.341 -0.141,-0.567 0,-0.255 0.085,-0.482 0.226,-0.624 0.142,-0.142 0.341,-0.198 0.596,-0.198 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath89)" /><path
       id="path90"
       d="m 129.231,566.306 c -0.198,0 -0.396,0.028 -0.538,0.056 v 0.595 c 0.113,-0.028 0.227,-0.028 0.368,-0.028 0.482,0 0.879,0.369 1.134,1.077 l 0.085,0.199 -1.956,4.734 h 0.822 l 1.049,-2.637 c 0.029,-0.028 0.029,-0.085 0.057,-0.141 0.028,-0.057 0.085,-0.255 0.227,-0.567 0.113,-0.34 0.17,-0.511 0.17,-0.539 l 0.312,0.851 0.992,3.033 h 0.822 l -1.758,-4.763 c -0.17,-0.51 -0.368,-0.878 -0.51,-1.133 -0.17,-0.256 -0.368,-0.426 -0.567,-0.567 -0.198,-0.114 -0.453,-0.17 -0.709,-0.17 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath91)" /><path
       id="path92"
       d="m 133.285,570.217 v 0.709 h 2.211 v -0.709 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath93)" /><path
       id="path94"
       d="m 140.088,569.509 c 0.029,-0.454 -0.142,-0.794 -0.482,-1.049 -0.34,-0.255 -0.822,-0.369 -1.417,-0.369 -0.595,0 -1.049,0.085 -1.389,0.284 -0.312,0.198 -0.539,0.51 -0.624,0.935 l 0.681,0.114 c 0.085,-0.255 0.226,-0.426 0.425,-0.539 0.227,-0.142 0.51,-0.198 0.907,-0.198 0.397,0 0.68,0.056 0.879,0.198 0.17,0.113 0.255,0.312 0.255,0.539 0,0.198 -0.057,0.34 -0.199,0.482 -0.141,0.113 -0.34,0.198 -0.623,0.283 l -0.567,0.142 c -0.454,0.113 -0.794,0.226 -0.992,0.34 -0.199,0.113 -0.34,0.255 -0.454,0.425 -0.113,0.17 -0.17,0.369 -0.17,0.595 0,0.426 0.142,0.766 0.454,0.992 0.311,0.227 0.737,0.341 1.332,0.341 0.539,0 0.964,-0.085 1.276,-0.284 0.311,-0.17 0.51,-0.482 0.595,-0.879 l -0.709,-0.085 c -0.057,0.199 -0.17,0.369 -0.368,0.482 -0.199,0.114 -0.454,0.17 -0.766,0.17 -0.368,0 -0.623,-0.056 -0.793,-0.17 -0.17,-0.113 -0.256,-0.283 -0.256,-0.482 0,-0.141 0.029,-0.255 0.114,-0.34 0.085,-0.085 0.17,-0.17 0.312,-0.227 0.141,-0.056 0.425,-0.141 0.878,-0.255 0.426,-0.113 0.737,-0.198 0.907,-0.283 0.199,-0.114 0.341,-0.199 0.454,-0.312 0.113,-0.113 0.198,-0.227 0.255,-0.368 0.057,-0.142 0.085,-0.312 0.085,-0.482 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath95)" /><path
       id="path96"
       d="m 145.106,570.586 c 0.028,-1.673 -0.567,-2.495 -1.73,-2.495 -0.737,0 -1.219,0.284 -1.474,0.822 h -0.028 c 0,-0.028 0.028,-0.255 0.028,-0.737 l 0.029,-1.87 h -0.794 l -0.085,5.669 c -0.028,0.482 -0.028,0.794 -0.057,0.964 h 0.766 c 0,0 0.028,-0.057 0.028,-0.114 0,-0.085 0,-0.198 0.028,-0.34 0,-0.142 0,-0.255 0,-0.312 h 0.029 c 0.141,0.284 0.311,0.51 0.538,0.652 0.227,0.142 0.539,0.199 0.907,0.199 0.596,0 1.049,-0.199 1.333,-0.596 0.311,-0.397 0.453,-0.992 0.482,-1.842 z m -0.851,-0.029 c 0,0.681 -0.113,1.134 -0.283,1.418 -0.199,0.283 -0.482,0.425 -0.851,0.425 -0.312,0 -0.567,-0.057 -0.737,-0.198 -0.17,-0.114 -0.312,-0.312 -0.397,-0.596 -0.085,-0.283 -0.141,-0.652 -0.113,-1.105 0,-0.624 0.113,-1.077 0.312,-1.389 0.198,-0.284 0.538,-0.425 0.964,-0.425 0.396,0 0.68,0.141 0.878,0.425 0.17,0.283 0.255,0.765 0.227,1.445 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath97)" /><path
       id="path98"
       d="m 146.721,570.387 c 0,-0.538 0.142,-0.963 0.369,-1.247 0.227,-0.312 0.567,-0.453 0.992,-0.453 0.34,0 0.624,0.056 0.822,0.198 0.198,0.142 0.34,0.312 0.397,0.539 l 0.708,-0.199 c -0.255,-0.765 -0.907,-1.134 -1.927,-1.134 -0.709,0 -1.247,0.199 -1.616,0.624 -0.368,0.425 -0.567,1.049 -0.567,1.871 -0.028,0.794 0.142,1.389 0.51,1.814 0.369,0.425 0.879,0.624 1.56,0.624 1.417,0 2.125,-0.851 2.154,-2.523 v -0.114 z m 2.58,0.596 c -0.057,0.51 -0.199,0.878 -0.397,1.105 -0.227,0.227 -0.539,0.34 -0.935,0.34 -0.369,0 -0.681,-0.113 -0.908,-0.368 -0.226,-0.255 -0.34,-0.624 -0.34,-1.077 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath99)" /><path
       id="path100"
       d="m 151.739,570.586 c 0,-0.652 0.113,-1.106 0.311,-1.417 0.199,-0.312 0.511,-0.454 0.907,-0.454 0.284,0 0.511,0.085 0.709,0.227 0.199,0.141 0.312,0.397 0.34,0.708 l 0.794,-0.056 c -0.057,-0.454 -0.227,-0.822 -0.567,-1.106 -0.312,-0.255 -0.737,-0.397 -1.247,-0.397 -0.652,0 -1.162,0.199 -1.531,0.624 -0.34,0.425 -0.538,1.049 -0.538,1.842 -0.029,0.794 0.141,1.418 0.481,1.843 0.341,0.425 0.851,0.624 1.503,0.624 0.482,0 0.907,-0.114 1.219,-0.369 0.34,-0.255 0.538,-0.595 0.623,-1.049 l -0.822,-0.056 c -0.028,0.255 -0.141,0.453 -0.312,0.623 -0.17,0.142 -0.396,0.227 -0.708,0.227 -0.425,0 -0.737,-0.142 -0.907,-0.425 -0.199,-0.255 -0.284,-0.737 -0.255,-1.389 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath101)" /><path
       id="path102"
       d="m 155.622,573.931 v 0.765 h 0.794 v -0.765 z m 0.113,-5.755 -0.085,4.763 h 0.794 l 0.085,-4.763 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath103)" /><path
       id="path104"
       d="m 158.683,572.372 0.086,-4.196 h -0.794 l -0.085,4.196 h -0.652 l -0.029,0.567 h 0.681 v 0.538 c -0.029,0.425 0.056,0.737 0.255,0.936 0.198,0.198 0.482,0.283 0.879,0.283 0.226,0 0.396,-0.028 0.567,-0.057 v -0.595 c -0.142,0.028 -0.256,0.028 -0.369,0.028 -0.198,0 -0.34,-0.056 -0.425,-0.141 -0.085,-0.114 -0.142,-0.284 -0.114,-0.567 v -0.425 h 0.936 v -0.567 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath105)" /><path
       id="path106"
       d="m 160.186,573.931 v 0.765 h 0.794 v -0.765 z m 0.113,-5.755 -0.085,4.763 h 0.794 l 0.085,-4.763 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath107)" /><path
       id="path108"
       d="m 162.907,570.586 c 0,-0.652 0.113,-1.106 0.312,-1.417 0.198,-0.312 0.51,-0.454 0.907,-0.454 0.283,0 0.51,0.085 0.709,0.227 0.198,0.141 0.311,0.397 0.34,0.708 l 0.794,-0.056 c -0.057,-0.454 -0.227,-0.822 -0.567,-1.106 -0.312,-0.255 -0.737,-0.397 -1.248,-0.397 -0.652,0 -1.162,0.199 -1.53,0.624 -0.341,0.425 -0.539,1.049 -0.539,1.842 -0.028,0.794 0.142,1.418 0.482,1.843 0.34,0.425 0.85,0.624 1.502,0.624 0.482,0 0.907,-0.114 1.219,-0.369 0.34,-0.255 0.539,-0.595 0.624,-1.049 l -0.822,-0.056 c -0.029,0.255 -0.142,0.453 -0.312,0.623 -0.17,0.142 -0.397,0.227 -0.709,0.227 -0.425,0 -0.737,-0.142 -0.907,-0.425 -0.198,-0.255 -0.283,-0.737 -0.255,-1.389 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath109)" /><path
       id="path110"
       d="m 92.976,559.417 c 0,-0.453 -0.141,-0.793 -0.482,-1.048 -0.34,-0.256 -0.822,-0.369 -1.417,-0.369 -0.595,0 -1.049,0.085 -1.389,0.283 -0.312,0.199 -0.538,0.511 -0.623,0.936 l 0.68,0.113 c 0.085,-0.255 0.227,-0.425 0.425,-0.538 0.227,-0.142 0.51,-0.199 0.879,-0.199 0.425,0 0.708,0.057 0.879,0.199 0.198,0.113 0.283,0.312 0.283,0.538 0,0.199 -0.057,0.34 -0.198,0.482 -0.142,0.114 -0.341,0.199 -0.624,0.284 l -0.567,0.141 c -0.482,0.114 -0.794,0.227 -0.992,0.341 -0.199,0.113 -0.34,0.255 -0.454,0.425 -0.113,0.17 -0.17,0.368 -0.17,0.595 0,0.425 0.142,0.765 0.454,0.992 0.283,0.227 0.737,0.34 1.332,0.34 0.539,0 0.964,-0.085 1.276,-0.283 0.312,-0.17 0.51,-0.482 0.595,-0.879 l -0.709,-0.085 c -0.056,0.198 -0.17,0.369 -0.368,0.482 -0.199,0.113 -0.454,0.17 -0.766,0.17 -0.368,0 -0.623,-0.057 -0.793,-0.17 -0.17,-0.113 -0.255,-0.284 -0.255,-0.482 0,-0.142 0.028,-0.255 0.113,-0.34 0.057,-0.085 0.17,-0.17 0.312,-0.227 0.142,-0.057 0.425,-0.142 0.879,-0.255 0.425,-0.113 0.737,-0.198 0.907,-0.283 0.198,-0.114 0.34,-0.199 0.453,-0.312 0.114,-0.114 0.199,-0.227 0.255,-0.369 0.057,-0.142 0.085,-0.312 0.085,-0.482 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath111)" /><path
       id="path112"
       d="m 93.883,563.839 v 0.766 h 0.794 v -0.766 z m 0.114,-5.754 -0.085,4.762 h 0.794 l 0.085,-4.762 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath113)" /><path
       id="path114"
       d="m 98.816,558.085 -0.057,3.005 c 0,0.482 -0.085,0.793 -0.198,0.964 -0.142,0.17 -0.369,0.255 -0.709,0.255 -0.312,0 -0.595,-0.114 -0.794,-0.369 -0.17,-0.255 -0.283,-0.623 -0.255,-1.105 l 0.028,-2.75 h -0.793 l -0.057,3.742 c 0,0.567 -0.028,0.907 -0.028,1.02 h 0.737 c 0,-0.028 0,-0.056 0.028,-0.113 0,-0.085 0,-0.142 0,-0.227 0,-0.085 0.028,-0.255 0.028,-0.482 v 0 c 0.171,0.34 0.369,0.567 0.596,0.709 0.198,0.142 0.482,0.198 0.793,0.198 0.369,0 0.652,-0.085 0.851,-0.226 0.227,-0.142 0.368,-0.369 0.453,-0.681 h 0.029 c 0.141,0.312 0.34,0.567 0.567,0.709 0.226,0.142 0.51,0.198 0.85,0.198 0.482,0 0.822,-0.141 1.049,-0.397 0.227,-0.255 0.34,-0.68 0.34,-1.275 l 0.057,-3.175 h -0.766 l -0.056,3.005 c 0,0.482 -0.085,0.793 -0.199,0.964 -0.141,0.17 -0.368,0.255 -0.708,0.255 -0.341,0 -0.596,-0.114 -0.794,-0.369 -0.17,-0.255 -0.284,-0.623 -0.255,-1.105 l 0.028,-2.75 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath115)" /><path
       id="path116"
       d="m 107.461,560.494 c 0,-1.672 -0.567,-2.494 -1.729,-2.494 -0.737,0 -1.219,0.283 -1.474,0.822 h -0.028 c 0,-0.028 0.028,-0.255 0.028,-0.737 l 0.029,-1.871 h -0.794 l -0.085,5.669 c -0.028,0.482 -0.028,0.794 -0.057,0.964 h 0.766 c 0,0 0,-0.056 0.028,-0.113 0,-0.085 0,-0.199 0.028,-0.34 0,-0.142 0,-0.255 0,-0.312 h 0.029 c 0.141,0.283 0.311,0.51 0.538,0.652 0.227,0.142 0.539,0.198 0.907,0.198 0.596,0 1.049,-0.198 1.333,-0.595 0.311,-0.397 0.453,-0.992 0.481,-1.843 z m -0.85,-0.028 c 0,0.68 -0.113,1.134 -0.283,1.417 -0.199,0.284 -0.482,0.426 -0.879,0.426 -0.312,0 -0.539,-0.057 -0.709,-0.199 -0.198,-0.113 -0.312,-0.312 -0.397,-0.595 -0.085,-0.284 -0.141,-0.652 -0.141,-1.106 0.028,-0.623 0.141,-1.077 0.34,-1.389 0.198,-0.283 0.538,-0.425 0.964,-0.425 0.396,0 0.68,0.142 0.85,0.425 0.198,0.284 0.283,0.766 0.255,1.446 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath117)" /><path
       id="path118"
       d="m 108.51,558.057 -0.113,6.548 h 0.794 l 0.113,-6.548 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath119)" /><path
       id="path120"
       d="m 110.438,563.839 v 0.766 h 0.793 v -0.766 z m 0.113,-5.754 -0.085,4.762 h 0.794 l 0.085,-4.762 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath121)" /><path
       id="path122"
       d="m 113.499,562.28 0.057,-4.195 h -0.765 l -0.085,4.195 h -0.681 v 0.567 h 0.681 l -0.029,0.539 c 0,0.425 0.085,0.737 0.284,0.935 0.198,0.199 0.482,0.284 0.878,0.284 0.199,0 0.397,-0.029 0.539,-0.057 l 0.028,-0.595 c -0.141,0.028 -0.255,0.028 -0.368,0.028 -0.199,0 -0.34,-0.057 -0.425,-0.142 -0.085,-0.113 -0.142,-0.283 -0.142,-0.567 l 0.028,-0.425 h 0.907 l 0.029,-0.567 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath123)" /><path
       id="path124"
       d="m 115.002,563.839 v 0.766 h 0.793 v -0.766 z m 0.113,-5.754 -0.085,4.762 h 0.794 l 0.085,-4.762 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath125)" /><path
       id="path126"
       d="m 117.723,560.494 c 0,-0.651 0.113,-1.105 0.312,-1.417 0.198,-0.312 0.51,-0.453 0.907,-0.453 0.283,0 0.51,0.085 0.708,0.226 0.199,0.142 0.312,0.397 0.341,0.709 l 0.793,-0.057 c -0.056,-0.453 -0.227,-0.822 -0.567,-1.105 -0.311,-0.255 -0.737,-0.397 -1.247,-0.397 -0.652,0 -1.162,0.198 -1.531,0.624 -0.34,0.425 -0.538,1.048 -0.538,1.842 -0.029,0.794 0.142,1.417 0.482,1.843 0.34,0.425 0.85,0.623 1.502,0.623 0.482,0 0.907,-0.113 1.219,-0.368 0.34,-0.255 0.539,-0.595 0.624,-1.049 l -0.822,-0.057 c -0.029,0.255 -0.142,0.454 -0.312,0.624 -0.17,0.142 -0.397,0.227 -0.709,0.227 -0.425,0 -0.737,-0.142 -0.907,-0.426 -0.198,-0.255 -0.284,-0.737 -0.255,-1.389 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath127)" /><path
       id="path128"
       d="m 122.939,558 c -0.482,0 -0.851,0.113 -1.106,0.369 -0.227,0.255 -0.368,0.595 -0.368,1.048 0,0.482 0.141,0.879 0.481,1.134 0.312,0.255 0.823,0.397 1.56,0.425 h 1.048 v 0.284 c 0,0.368 -0.085,0.652 -0.255,0.822 -0.17,0.17 -0.425,0.255 -0.765,0.255 -0.369,0 -0.624,-0.057 -0.794,-0.198 -0.142,-0.114 -0.227,-0.312 -0.255,-0.567 l -0.85,0.085 c 0.141,0.85 0.765,1.275 1.899,1.275 0.595,0 1.049,-0.141 1.36,-0.425 0.312,-0.255 0.454,-0.652 0.482,-1.19 l 0.029,-2.041 c 0,-0.227 0.028,-0.426 0.085,-0.539 0.085,-0.113 0.198,-0.17 0.368,-0.17 0.085,0 0.17,0 0.255,0.028 v -0.482 c -0.198,-0.056 -0.396,-0.085 -0.595,-0.085 -0.312,0 -0.51,0.085 -0.652,0.227 -0.142,0.17 -0.227,0.425 -0.227,0.737 h -0.028 c -0.198,-0.368 -0.425,-0.623 -0.709,-0.765 -0.255,-0.142 -0.595,-0.227 -0.963,-0.227 z m 0.17,0.595 c 0.283,0 0.538,0.057 0.765,0.199 0.227,0.113 0.397,0.312 0.539,0.538 0.113,0.227 0.17,0.454 0.17,0.709 v 0.368 h -0.879 c -0.369,0 -0.652,-0.028 -0.85,-0.085 -0.171,-0.085 -0.312,-0.198 -0.426,-0.34 -0.113,-0.141 -0.141,-0.34 -0.141,-0.567 0,-0.255 0.085,-0.482 0.226,-0.623 0.142,-0.142 0.341,-0.199 0.596,-0.199 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath129)" /><path
       id="path130"
       d="m 128.58,558.142 c -0.256,-0.085 -0.511,-0.114 -0.794,-0.114 -0.624,0 -0.964,0.369 -0.964,1.078 l -0.057,3.174 h -0.538 l -0.029,0.567 h 0.596 l 0.226,1.077 h 0.511 l 0.028,-1.077 h 0.879 v -0.567 h -0.879 l 0.057,-3.004 c 0,-0.227 0.028,-0.397 0.113,-0.482 0.085,-0.085 0.199,-0.142 0.397,-0.142 0.113,0 0.255,0.028 0.454,0.057 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath131)" /><path
       id="path132"
       d="m 129.146,563.839 v 0.766 h 0.794 v -0.766 z m 0.114,-5.754 -0.085,4.762 h 0.794 l 0.085,-4.762 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath133)" /><path
       id="path134"
       d="m 135.298,560.466 c 0,-0.822 -0.17,-1.446 -0.539,-1.842 -0.34,-0.426 -0.879,-0.624 -1.587,-0.624 -0.681,0 -1.219,0.198 -1.588,0.624 -0.368,0.425 -0.538,1.048 -0.567,1.842 -0.028,1.644 0.681,2.466 2.098,2.466 0.737,0 1.276,-0.198 1.616,-0.595 0.368,-0.397 0.538,-1.02 0.567,-1.871 z m -0.851,0 c 0,0.652 -0.113,1.134 -0.312,1.446 -0.198,0.283 -0.538,0.425 -0.992,0.425 -0.453,0 -0.793,-0.142 -0.992,-0.454 -0.198,-0.283 -0.312,-0.765 -0.283,-1.417 0,-0.623 0.113,-1.105 0.312,-1.417 0.226,-0.312 0.538,-0.454 0.992,-0.454 0.453,0 0.793,0.142 0.992,0.454 0.198,0.312 0.312,0.765 0.283,1.417 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath135)" /><path
       id="path136"
       d="m 139.38,558.085 -0.057,3.005 c 0,0.34 -0.057,0.567 -0.114,0.737 -0.056,0.17 -0.17,0.312 -0.311,0.368 -0.114,0.085 -0.312,0.114 -0.596,0.114 -0.368,0 -0.68,-0.114 -0.878,-0.369 -0.227,-0.283 -0.312,-0.623 -0.312,-1.105 l 0.028,-2.75 h -0.794 l -0.056,3.742 c 0,0.567 -0.029,0.907 -0.029,1.02 h 0.737 c 0,-0.028 0,-0.056 0.029,-0.113 0,-0.085 0,-0.142 0,-0.227 0,-0.085 0.028,-0.255 0.028,-0.482 v 0 c 0.199,0.34 0.397,0.567 0.624,0.709 0.255,0.142 0.538,0.198 0.907,0.198 0.51,0 0.879,-0.141 1.134,-0.397 0.255,-0.255 0.368,-0.68 0.397,-1.275 l 0.056,-3.175 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath137)" /><path
       id="path138"
       d="m 144.935,559.417 c 0,-0.453 -0.141,-0.793 -0.481,-1.048 -0.341,-0.256 -0.823,-0.369 -1.418,-0.369 -0.595,0 -1.049,0.085 -1.389,0.283 -0.312,0.199 -0.538,0.511 -0.623,0.936 l 0.68,0.113 c 0.085,-0.255 0.227,-0.425 0.425,-0.538 0.227,-0.142 0.51,-0.199 0.879,-0.199 0.425,0 0.709,0.057 0.879,0.199 0.198,0.113 0.283,0.312 0.283,0.538 0,0.199 -0.057,0.34 -0.198,0.482 -0.142,0.114 -0.341,0.199 -0.624,0.284 l -0.567,0.141 c -0.482,0.114 -0.794,0.227 -0.992,0.341 -0.198,0.113 -0.34,0.255 -0.454,0.425 -0.113,0.17 -0.17,0.368 -0.17,0.595 0,0.425 0.142,0.765 0.454,0.992 0.283,0.227 0.737,0.34 1.332,0.34 0.539,0 0.964,-0.085 1.276,-0.283 0.312,-0.17 0.51,-0.482 0.595,-0.879 l -0.709,-0.085 c -0.056,0.198 -0.17,0.369 -0.368,0.482 -0.199,0.113 -0.454,0.17 -0.765,0.17 -0.369,0 -0.624,-0.057 -0.794,-0.17 -0.17,-0.113 -0.255,-0.284 -0.255,-0.482 0,-0.142 0.028,-0.255 0.113,-0.34 0.057,-0.085 0.17,-0.17 0.312,-0.227 0.142,-0.057 0.425,-0.142 0.879,-0.255 0.425,-0.113 0.737,-0.198 0.907,-0.283 0.198,-0.114 0.34,-0.199 0.453,-0.312 0.114,-0.114 0.199,-0.227 0.255,-0.369 0.057,-0.142 0.085,-0.312 0.085,-0.482 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath139)" /><path
       id="path140"
       d="m 150.293,558.142 c -0.255,-0.085 -0.51,-0.114 -0.794,-0.114 -0.623,0 -0.964,0.369 -0.964,1.078 l -0.056,3.174 h -0.539 l -0.028,0.567 h 0.595 l 0.227,1.077 h 0.51 l 0.028,-1.077 h 0.879 v -0.567 h -0.879 l 0.057,-3.004 c 0,-0.227 0.028,-0.397 0.114,-0.482 0.085,-0.085 0.198,-0.142 0.396,-0.142 0.114,0 0.255,0.028 0.454,0.057 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath141)" /><path
       id="path142"
       d="m 154.998,560.466 c 0,-0.822 -0.17,-1.446 -0.538,-1.842 -0.34,-0.426 -0.879,-0.624 -1.588,-0.624 -0.68,0 -1.218,0.198 -1.587,0.624 -0.368,0.425 -0.539,1.048 -0.567,1.842 -0.028,1.644 0.68,2.466 2.098,2.466 0.737,0 1.275,-0.198 1.615,-0.595 0.369,-0.397 0.539,-1.02 0.567,-1.871 z m -0.85,0 c 0,0.652 -0.113,1.134 -0.312,1.446 -0.198,0.283 -0.538,0.425 -0.992,0.425 -0.453,0 -0.794,-0.142 -0.992,-0.454 -0.198,-0.283 -0.312,-0.765 -0.283,-1.417 0,-0.623 0.113,-1.105 0.311,-1.417 0.227,-0.312 0.539,-0.454 0.992,-0.454 0.454,0 0.794,0.142 0.993,0.454 0.198,0.312 0.311,0.765 0.283,1.417 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath143)" /><path
       id="path144"
       d="m 161.32,558.085 -0.057,3.005 c 0,0.482 -0.085,0.793 -0.198,0.964 -0.142,0.17 -0.369,0.255 -0.709,0.255 -0.312,0 -0.595,-0.114 -0.794,-0.369 -0.17,-0.255 -0.283,-0.623 -0.255,-1.105 l 0.028,-2.75 h -0.793 l -0.057,3.742 c 0,0.567 -0.028,0.907 -0.028,1.02 h 0.737 c 0,-0.028 0,-0.056 0.028,-0.113 0,-0.085 0,-0.142 0,-0.227 0,-0.085 0.028,-0.255 0.028,-0.482 v 0 c 0.17,0.34 0.369,0.567 0.596,0.709 0.198,0.142 0.482,0.198 0.793,0.198 0.369,0 0.652,-0.085 0.851,-0.226 0.227,-0.142 0.368,-0.369 0.453,-0.681 h 0.029 c 0.141,0.312 0.34,0.567 0.567,0.709 0.226,0.142 0.51,0.198 0.85,0.198 0.482,0 0.822,-0.141 1.049,-0.397 0.227,-0.255 0.34,-0.68 0.34,-1.275 l 0.057,-3.175 h -0.766 l -0.056,3.005 c 0,0.482 -0.085,0.793 -0.199,0.964 -0.142,0.17 -0.368,0.255 -0.708,0.255 -0.341,0 -0.596,-0.114 -0.794,-0.369 -0.17,-0.255 -0.284,-0.623 -0.255,-1.105 l 0.028,-2.75 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath145)" /><path
       id="path146"
       d="m 167.216,558 c -0.482,0 -0.851,0.113 -1.106,0.369 -0.227,0.255 -0.368,0.595 -0.368,1.048 0,0.482 0.141,0.879 0.482,1.134 0.311,0.255 0.822,0.397 1.559,0.425 h 1.048 v 0.284 c 0,0.368 -0.085,0.652 -0.255,0.822 -0.17,0.17 -0.425,0.255 -0.765,0.255 -0.368,0 -0.624,-0.057 -0.794,-0.198 -0.141,-0.114 -0.226,-0.312 -0.255,-0.567 l -0.85,0.085 c 0.142,0.85 0.765,1.275 1.899,1.275 0.595,0 1.049,-0.141 1.361,-0.425 0.311,-0.255 0.453,-0.652 0.482,-1.19 l 0.028,-2.041 c 0,-0.227 0.028,-0.426 0.085,-0.539 0.085,-0.113 0.198,-0.17 0.368,-0.17 0.085,0 0.171,0 0.256,0.028 v -0.482 c -0.199,-0.056 -0.397,-0.085 -0.596,-0.085 -0.312,0 -0.51,0.085 -0.652,0.227 -0.141,0.17 -0.226,0.425 -0.226,0.737 h -0.029 c -0.198,-0.368 -0.425,-0.623 -0.708,-0.765 -0.256,-0.142 -0.596,-0.227 -0.964,-0.227 z m 0.17,0.595 c 0.283,0 0.538,0.057 0.765,0.199 0.227,0.113 0.397,0.312 0.539,0.538 0.113,0.227 0.17,0.454 0.17,0.709 v 0.368 h -0.879 c -0.368,0 -0.652,-0.028 -0.85,-0.085 -0.17,-0.085 -0.312,-0.198 -0.425,-0.34 -0.114,-0.141 -0.142,-0.34 -0.142,-0.567 0,-0.255 0.085,-0.482 0.227,-0.623 0.141,-0.142 0.34,-0.199 0.595,-0.199 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath147)" /><path
       id="path148"
       d="m 174.019,558.085 -1.644,2.183 -0.567,-0.482 0.028,-1.701 h -0.793 l -0.114,6.52 h 0.794 l 0.057,-4.082 2.069,2.324 h 0.935 l -1.899,-2.041 2.069,-2.721 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath149)" /><path
       id="path150"
       d="m 176.173,560.296 c 0,-0.539 0.142,-0.964 0.369,-1.247 0.227,-0.312 0.567,-0.454 0.992,-0.454 0.34,0 0.623,0.057 0.822,0.199 0.198,0.141 0.34,0.312 0.397,0.538 l 0.708,-0.198 c -0.283,-0.765 -0.907,-1.134 -1.927,-1.134 -0.709,0 -1.247,0.198 -1.616,0.624 -0.368,0.425 -0.567,1.048 -0.567,1.87 -0.028,0.794 0.142,1.389 0.51,1.815 0.369,0.425 0.879,0.623 1.559,0.623 1.418,0 2.126,-0.85 2.155,-2.523 v -0.113 z m 2.58,0.595 c -0.057,0.511 -0.199,0.879 -0.425,1.106 -0.199,0.227 -0.511,0.34 -0.908,0.34 -0.368,0 -0.68,-0.113 -0.907,-0.368 -0.226,-0.256 -0.34,-0.624 -0.34,-1.078 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath151)" /><path
       id="path152"
       d="m 186.69,559.417 c 0,-0.453 -0.142,-0.793 -0.482,-1.048 -0.34,-0.256 -0.822,-0.369 -1.417,-0.369 -0.596,0 -1.049,0.085 -1.389,0.283 -0.312,0.199 -0.539,0.511 -0.624,0.936 l 0.68,0.113 c 0.085,-0.255 0.227,-0.425 0.425,-0.538 0.227,-0.142 0.511,-0.199 0.879,-0.199 0.425,0 0.709,0.057 0.879,0.199 0.198,0.113 0.283,0.312 0.283,0.538 0,0.199 -0.056,0.34 -0.198,0.482 -0.142,0.114 -0.34,0.199 -0.624,0.284 l -0.567,0.141 c -0.481,0.114 -0.793,0.227 -0.992,0.341 -0.198,0.113 -0.34,0.255 -0.453,0.425 -0.114,0.17 -0.17,0.368 -0.17,0.595 0,0.425 0.141,0.765 0.453,0.992 0.284,0.227 0.737,0.34 1.333,0.34 0.538,0 0.963,-0.085 1.275,-0.283 0.312,-0.17 0.51,-0.482 0.595,-0.879 l -0.708,-0.085 c -0.057,0.198 -0.17,0.369 -0.369,0.482 -0.198,0.113 -0.453,0.17 -0.765,0.17 -0.369,0 -0.624,-0.057 -0.794,-0.17 -0.17,-0.113 -0.255,-0.284 -0.255,-0.482 0,-0.142 0.028,-0.255 0.113,-0.34 0.057,-0.085 0.171,-0.17 0.312,-0.227 0.142,-0.057 0.425,-0.142 0.879,-0.255 0.425,-0.113 0.737,-0.198 0.907,-0.283 0.198,-0.114 0.34,-0.199 0.454,-0.312 0.113,-0.114 0.198,-0.227 0.255,-0.369 0.056,-0.142 0.085,-0.312 0.085,-0.482 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath153)" /><path
       id="path154"
       d="m 189.524,558.142 c -0.255,-0.085 -0.51,-0.114 -0.793,-0.114 -0.624,0 -0.964,0.369 -0.964,1.078 l -0.057,3.174 h -0.538 l -0.029,0.567 h 0.596 l 0.226,1.077 h 0.511 l 0.028,-1.077 h 0.879 v -0.567 h -0.879 l 0.057,-3.004 c 0,-0.227 0.028,-0.397 0.113,-0.482 0.085,-0.085 0.198,-0.142 0.397,-0.142 0.113,0 0.255,0.028 0.453,0.057 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath155)" /><path
       id="path156"
       d="m 194.23,560.466 c 0,-0.822 -0.17,-1.446 -0.539,-1.842 -0.34,-0.426 -0.878,-0.624 -1.587,-0.624 -0.68,0 -1.219,0.198 -1.587,0.624 -0.369,0.425 -0.539,1.048 -0.567,1.842 -0.029,1.644 0.68,2.466 2.097,2.466 0.737,0 1.276,-0.198 1.616,-0.595 0.368,-0.397 0.539,-1.02 0.567,-1.871 z m -0.85,0 c 0,0.652 -0.114,1.134 -0.312,1.446 -0.199,0.283 -0.539,0.425 -0.992,0.425 -0.454,0 -0.794,-0.142 -0.993,-0.454 -0.198,-0.283 -0.311,-0.765 -0.283,-1.417 0,-0.623 0.113,-1.105 0.312,-1.417 0.227,-0.312 0.538,-0.454 0.992,-0.454 0.453,0 0.794,0.142 0.992,0.454 0.198,0.312 0.312,0.765 0.284,1.417 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath157)" /><path
       id="path158"
       d="m 195.279,558.085 -0.057,3.657 c 0,0.34 0,0.708 -0.028,1.105 h 0.737 c 0.028,-0.538 0.056,-0.878 0.056,-0.964 h 0.029 c 0.113,0.397 0.255,0.681 0.397,0.823 0.17,0.141 0.396,0.226 0.708,0.226 0.114,0 0.199,-0.028 0.312,-0.056 l 0.028,-0.709 c -0.113,0.028 -0.255,0.028 -0.425,0.028 -0.34,0 -0.595,-0.141 -0.765,-0.425 -0.17,-0.283 -0.227,-0.68 -0.227,-1.19 l 0.028,-2.495 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath159)" /><path
       id="path160"
       d="m 199.502,558 c -0.482,0 -0.85,0.113 -1.105,0.369 -0.227,0.255 -0.369,0.595 -0.369,1.048 0,0.482 0.142,0.879 0.482,1.134 0.312,0.255 0.822,0.397 1.559,0.425 h 1.049 v 0.284 c 0,0.368 -0.085,0.652 -0.255,0.822 -0.17,0.17 -0.425,0.255 -0.765,0.255 -0.369,0 -0.624,-0.057 -0.794,-0.198 -0.142,-0.114 -0.227,-0.312 -0.255,-0.567 l -0.851,0.085 c 0.142,0.85 0.766,1.275 1.9,1.275 0.595,0 1.048,-0.141 1.36,-0.425 0.312,-0.255 0.454,-0.652 0.482,-1.19 l 0.029,-2.041 c 0,-0.227 0.028,-0.426 0.085,-0.539 0.085,-0.113 0.198,-0.17 0.368,-0.17 0.085,0 0.17,0 0.255,0.028 v -0.482 c -0.198,-0.056 -0.397,-0.085 -0.595,-0.085 -0.312,0 -0.51,0.085 -0.652,0.227 -0.142,0.17 -0.227,0.425 -0.227,0.737 h -0.028 c -0.199,-0.368 -0.425,-0.623 -0.709,-0.765 -0.255,-0.142 -0.595,-0.227 -0.964,-0.227 z m 0.17,0.595 c 0.284,0 0.539,0.057 0.766,0.199 0.227,0.113 0.397,0.312 0.538,0.538 0.114,0.227 0.17,0.454 0.17,0.709 v 0.368 h -0.878 c -0.369,0 -0.652,-0.028 -0.851,-0.085 -0.17,-0.085 -0.311,-0.198 -0.425,-0.34 -0.113,-0.141 -0.142,-0.34 -0.142,-0.567 0,-0.255 0.085,-0.482 0.227,-0.623 0.142,-0.142 0.34,-0.199 0.595,-0.199 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath161)" /><path
       id="path162"
       d="m 205.143,556.214 c -0.538,0 -0.935,0.114 -1.247,0.312 -0.312,0.198 -0.539,0.482 -0.624,0.879 l 0.794,0.113 c 0.057,-0.227 0.17,-0.397 0.369,-0.51 0.17,-0.142 0.425,-0.199 0.708,-0.199 0.794,0 1.191,0.482 1.163,1.389 v 0.766 h -0.029 c -0.142,-0.284 -0.34,-0.51 -0.595,-0.681 -0.255,-0.141 -0.567,-0.226 -0.907,-0.226 -0.595,0 -1.021,0.198 -1.304,0.567 -0.284,0.396 -0.425,1.02 -0.454,1.842 0,0.851 0.142,1.446 0.426,1.871 0.283,0.397 0.737,0.595 1.332,0.595 0.34,0 0.623,-0.085 0.879,-0.226 0.255,-0.171 0.453,-0.397 0.595,-0.681 v 0 c 0,0.114 0,0.255 0,0.482 0.028,0.227 0.028,0.34 0.028,0.34 h 0.766 c -0.029,-0.17 -0.029,-0.51 0,-0.992 l 0.056,-3.628 c 0.029,-1.333 -0.652,-2.013 -1.956,-2.013 z m 1.134,4.252 c -0.028,0.397 -0.085,0.737 -0.198,0.992 -0.085,0.284 -0.255,0.511 -0.454,0.652 -0.198,0.142 -0.397,0.227 -0.652,0.227 -0.397,0 -0.68,-0.142 -0.879,-0.454 -0.17,-0.283 -0.255,-0.765 -0.255,-1.417 0.029,-0.652 0.114,-1.105 0.284,-1.389 0.198,-0.283 0.482,-0.425 0.907,-0.425 0.255,0 0.453,0.057 0.652,0.198 0.198,0.17 0.34,0.369 0.453,0.652 0.085,0.255 0.142,0.596 0.142,0.964 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath163)" /><path
       id="path164"
       d="m 208.913,560.296 c 0,-0.539 0.142,-0.964 0.369,-1.247 0.227,-0.312 0.567,-0.454 0.992,-0.454 0.34,0 0.624,0.057 0.822,0.199 0.198,0.141 0.34,0.312 0.397,0.538 l 0.709,-0.198 c -0.284,-0.765 -0.908,-1.134 -1.928,-1.134 -0.709,0 -1.247,0.198 -1.616,0.624 -0.368,0.425 -0.567,1.048 -0.567,1.87 -0.028,0.794 0.142,1.389 0.511,1.815 0.368,0.425 0.878,0.623 1.559,0.623 1.417,0 2.126,-0.85 2.154,-2.523 v -0.113 z m 2.58,0.595 c -0.057,0.511 -0.199,0.879 -0.425,1.106 -0.199,0.227 -0.511,0.34 -0.907,0.34 -0.369,0 -0.681,-0.113 -0.907,-0.368 -0.227,-0.256 -0.341,-0.624 -0.341,-1.078 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath165)" /><path
       id="path166"
       d="m 90.17,550.205 c 0,-0.539 0.113,-0.964 0.369,-1.248 0.226,-0.311 0.538,-0.453 0.992,-0.453 0.34,0 0.623,0.057 0.822,0.198 0.198,0.142 0.34,0.312 0.397,0.539 l 0.708,-0.198 c -0.283,-0.766 -0.907,-1.134 -1.927,-1.134 -0.709,0 -1.248,0.198 -1.616,0.623 -0.369,0.425 -0.567,1.049 -0.595,1.871 0,0.794 0.17,1.389 0.538,1.814 0.369,0.426 0.879,0.624 1.559,0.624 1.418,0 2.126,-0.85 2.155,-2.523 v -0.113 z m 2.58,0.595 c -0.057,0.51 -0.199,0.879 -0.426,1.106 -0.198,0.226 -0.51,0.34 -0.907,0.34 -0.397,0 -0.68,-0.114 -0.907,-0.369 -0.227,-0.255 -0.34,-0.623 -0.34,-1.077 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath167)" /><path
       id="path168"
       d="m 95.868,547.909 c -0.482,0 -0.851,0.113 -1.106,0.368 -0.227,0.255 -0.368,0.595 -0.368,1.049 0,0.482 0.141,0.879 0.482,1.134 0.311,0.255 0.822,0.397 1.559,0.425 h 1.048 v 0.284 c 0,0.368 -0.085,0.651 -0.255,0.822 -0.17,0.17 -0.425,0.255 -0.765,0.255 -0.369,0 -0.624,-0.057 -0.794,-0.199 -0.141,-0.113 -0.255,-0.312 -0.283,-0.567 l -0.822,0.085 c 0.113,0.851 0.765,1.276 1.899,1.276 0.595,0 1.049,-0.142 1.361,-0.425 0.311,-0.255 0.453,-0.652 0.453,-1.191 l 0.057,-2.041 c 0,-0.227 0.028,-0.425 0.085,-0.538 0.057,-0.114 0.198,-0.17 0.368,-0.17 0.057,0 0.142,0 0.256,0.028 v -0.482 c -0.199,-0.057 -0.397,-0.085 -0.596,-0.085 -0.312,0 -0.51,0.085 -0.652,0.227 -0.141,0.17 -0.226,0.425 -0.255,0.737 v 0 c -0.198,-0.369 -0.453,-0.624 -0.709,-0.766 -0.255,-0.141 -0.595,-0.226 -0.963,-0.226 z m 0.17,0.595 c 0.283,0 0.538,0.057 0.765,0.198 0.227,0.114 0.397,0.312 0.51,0.539 0.142,0.227 0.199,0.453 0.199,0.709 v 0.368 h -0.879 c -0.368,0 -0.652,-0.028 -0.85,-0.085 -0.17,-0.085 -0.34,-0.198 -0.426,-0.34 -0.113,-0.142 -0.141,-0.34 -0.141,-0.567 0,-0.255 0.085,-0.482 0.227,-0.624 0.141,-0.141 0.34,-0.198 0.595,-0.198 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath169)" /><path
       id="path170"
       d="m 103.238,549.326 c 0,-0.454 -0.142,-0.794 -0.482,-1.049 -0.34,-0.255 -0.822,-0.368 -1.417,-0.368 -0.596,0 -1.049,0.085 -1.389,0.283 -0.312,0.199 -0.539,0.51 -0.624,0.936 l 0.68,0.113 c 0.085,-0.255 0.227,-0.425 0.425,-0.539 0.227,-0.141 0.511,-0.198 0.879,-0.198 0.425,0 0.709,0.057 0.879,0.198 0.198,0.114 0.283,0.312 0.283,0.539 0,0.198 -0.085,0.34 -0.198,0.482 -0.142,0.113 -0.34,0.198 -0.624,0.283 l -0.595,0.142 c -0.453,0.113 -0.765,0.227 -0.964,0.34 -0.198,0.114 -0.34,0.255 -0.453,0.425 -0.114,0.17 -0.17,0.369 -0.17,0.596 0,0.425 0.141,0.765 0.453,0.992 0.284,0.227 0.737,0.34 1.333,0.34 0.538,0 0.935,-0.085 1.247,-0.284 0.34,-0.17 0.538,-0.481 0.623,-0.878 l -0.708,-0.085 c -0.057,0.198 -0.17,0.368 -0.369,0.482 -0.198,0.113 -0.453,0.17 -0.793,0.17 -0.341,0 -0.596,-0.057 -0.766,-0.17 -0.17,-0.114 -0.255,-0.284 -0.255,-0.482 0,-0.142 0.028,-0.255 0.113,-0.34 0.057,-0.085 0.171,-0.171 0.312,-0.227 0.142,-0.057 0.425,-0.142 0.879,-0.255 0.425,-0.114 0.709,-0.199 0.907,-0.284 0.199,-0.113 0.34,-0.198 0.454,-0.312 0.113,-0.113 0.198,-0.226 0.255,-0.368 0.056,-0.142 0.085,-0.312 0.085,-0.482 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath171)" /><path
       id="path172"
       d="m 104.117,553.748 v 0.765 h 0.793 v -0.765 z m 0.113,-5.754 -0.085,4.762 h 0.794 l 0.085,-4.762 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath173)" /><path
       id="path174"
       d="m 106.838,550.205 c 0,-0.539 0.113,-0.964 0.368,-1.248 0.227,-0.311 0.539,-0.453 0.992,-0.453 0.341,0 0.624,0.057 0.822,0.198 0.199,0.142 0.341,0.312 0.397,0.539 l 0.709,-0.198 c -0.283,-0.766 -0.907,-1.134 -1.928,-1.134 -0.708,0 -1.247,0.198 -1.615,0.623 -0.369,0.425 -0.567,1.049 -0.596,1.871 0,0.794 0.17,1.389 0.539,1.814 0.368,0.426 0.879,0.624 1.559,0.624 1.417,0 2.126,-0.85 2.154,-2.523 v -0.113 z m 2.579,0.595 c -0.056,0.51 -0.198,0.879 -0.425,1.106 -0.198,0.226 -0.51,0.34 -0.907,0.34 -0.397,0 -0.68,-0.114 -0.907,-0.369 -0.227,-0.255 -0.34,-0.623 -0.34,-1.077 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath175)" /><path
       id="path176"
       d="m 111.317,547.994 -0.057,3.656 c 0,0.341 0,0.709 -0.029,1.106 h 0.738 c 0.028,-0.539 0.056,-0.879 0.056,-0.964 v 0 c 0.142,0.397 0.284,0.68 0.425,0.822 0.17,0.142 0.397,0.227 0.709,0.227 0.085,0 0.198,-0.028 0.312,-0.057 l 0.028,-0.708 c -0.113,0.028 -0.255,0.028 -0.425,0.028 -0.34,0 -0.595,-0.142 -0.765,-0.425 -0.17,-0.284 -0.227,-0.681 -0.227,-1.191 l 0.028,-2.494 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath177)" /><path
       id="path178"
       d="m 118.658,548.05 c -0.255,-0.085 -0.51,-0.113 -0.793,-0.113 -0.624,0 -0.964,0.369 -0.964,1.077 l -0.057,3.175 h -0.538 l -0.029,0.567 h 0.595 l 0.199,1.077 h 0.538 l 0.029,-1.077 h 0.879 v -0.567 h -0.879 l 0.056,-3.005 c 0,-0.227 0.029,-0.397 0.114,-0.482 0.085,-0.085 0.198,-0.141 0.397,-0.141 0.113,0 0.255,0.028 0.453,0.056 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath179)" /><path
       id="path180"
       d="m 123.335,550.375 c 0.029,-0.822 -0.141,-1.446 -0.51,-1.843 -0.368,-0.425 -0.879,-0.623 -1.587,-0.623 -0.681,0 -1.219,0.198 -1.588,0.623 -0.368,0.425 -0.538,1.049 -0.567,1.843 -0.028,1.644 0.681,2.466 2.098,2.466 0.737,0 1.276,-0.198 1.616,-0.595 0.368,-0.397 0.538,-1.021 0.538,-1.871 z m -0.822,0 c 0,0.652 -0.113,1.134 -0.311,1.445 -0.199,0.284 -0.539,0.426 -0.993,0.426 -0.453,0 -0.793,-0.142 -0.992,-0.454 -0.198,-0.283 -0.311,-0.765 -0.283,-1.417 0,-0.624 0.113,-1.106 0.312,-1.418 0.226,-0.311 0.538,-0.453 0.963,-0.453 0.482,0 0.822,0.142 1.021,0.453 0.198,0.312 0.283,0.766 0.283,1.418 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath181)" /><path
       id="path182"
       d="m 126.935,547.994 -0.056,3.656 c 0,0.341 0,0.709 -0.029,1.106 h 0.737 c 0.029,-0.539 0.057,-0.879 0.057,-0.964 v 0 c 0.142,0.397 0.284,0.68 0.425,0.822 0.17,0.142 0.397,0.227 0.709,0.227 0.085,0 0.198,-0.028 0.312,-0.057 l 0.028,-0.708 c -0.113,0.028 -0.255,0.028 -0.425,0.028 -0.34,0 -0.595,-0.142 -0.765,-0.425 -0.171,-0.284 -0.227,-0.681 -0.227,-1.191 l 0.028,-2.494 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath183)" /><path
       id="path184"
       d="m 130.479,550.205 c 0,-0.539 0.113,-0.964 0.368,-1.248 0.227,-0.311 0.539,-0.453 0.992,-0.453 0.341,0 0.624,0.057 0.822,0.198 0.199,0.142 0.341,0.312 0.397,0.539 l 0.709,-0.198 c -0.284,-0.766 -0.907,-1.134 -1.928,-1.134 -0.708,0 -1.247,0.198 -1.615,0.623 -0.369,0.425 -0.567,1.049 -0.596,1.871 0,0.794 0.17,1.389 0.539,1.814 0.368,0.426 0.879,0.624 1.559,0.624 1.417,0 2.126,-0.85 2.154,-2.523 v -0.113 z m 2.579,0.595 c -0.056,0.51 -0.198,0.879 -0.425,1.106 -0.198,0.226 -0.51,0.34 -0.907,0.34 -0.397,0 -0.68,-0.114 -0.907,-0.369 -0.227,-0.255 -0.34,-0.623 -0.34,-1.077 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath185)" /><path
       id="path186"
       d="m 136.176,547.909 c -0.482,0 -0.85,0.113 -1.105,0.368 -0.227,0.255 -0.369,0.595 -0.369,1.049 0,0.482 0.142,0.879 0.482,1.134 0.312,0.255 0.822,0.397 1.559,0.425 h 1.049 v 0.284 c 0,0.368 -0.085,0.651 -0.255,0.822 -0.17,0.17 -0.425,0.255 -0.765,0.255 -0.369,0 -0.624,-0.057 -0.794,-0.199 -0.142,-0.113 -0.255,-0.312 -0.284,-0.567 l -0.822,0.085 c 0.114,0.851 0.766,1.276 1.9,1.276 0.595,0 1.048,-0.142 1.36,-0.425 0.312,-0.255 0.454,-0.652 0.454,-1.191 l 0.057,-2.041 c 0,-0.227 0.028,-0.425 0.085,-0.538 0.056,-0.114 0.198,-0.17 0.368,-0.17 0.057,0 0.142,0 0.255,0.028 v -0.482 c -0.198,-0.057 -0.397,-0.085 -0.595,-0.085 -0.312,0 -0.51,0.085 -0.652,0.227 -0.142,0.17 -0.227,0.425 -0.255,0.737 v 0 c -0.199,-0.369 -0.454,-0.624 -0.709,-0.766 -0.255,-0.141 -0.595,-0.226 -0.964,-0.226 z m 0.17,0.595 c 0.284,0 0.539,0.057 0.766,0.198 0.227,0.114 0.397,0.312 0.51,0.539 0.142,0.227 0.198,0.453 0.198,0.709 v 0.368 h -0.878 c -0.369,0 -0.652,-0.028 -0.851,-0.085 -0.17,-0.085 -0.34,-0.198 -0.425,-0.34 -0.113,-0.142 -0.142,-0.34 -0.142,-0.567 0,-0.255 0.085,-0.482 0.227,-0.624 0.142,-0.141 0.34,-0.198 0.595,-0.198 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath187)" /><path
       id="path188"
       d="m 143.546,549.326 c 0,-0.454 -0.141,-0.794 -0.481,-1.049 -0.341,-0.255 -0.822,-0.368 -1.418,-0.368 -0.595,0 -1.049,0.085 -1.389,0.283 -0.312,0.199 -0.538,0.51 -0.623,0.936 l 0.68,0.113 c 0.085,-0.255 0.227,-0.425 0.425,-0.539 0.227,-0.141 0.51,-0.198 0.879,-0.198 0.425,0 0.709,0.057 0.879,0.198 0.198,0.114 0.283,0.312 0.283,0.539 0,0.198 -0.085,0.34 -0.198,0.482 -0.142,0.113 -0.34,0.198 -0.624,0.283 l -0.595,0.142 c -0.454,0.113 -0.766,0.227 -0.964,0.34 -0.198,0.114 -0.34,0.255 -0.454,0.425 -0.113,0.17 -0.17,0.369 -0.17,0.596 0,0.425 0.142,0.765 0.454,0.992 0.283,0.227 0.737,0.34 1.332,0.34 0.539,0 0.936,-0.085 1.247,-0.284 0.341,-0.17 0.539,-0.481 0.624,-0.878 l -0.709,-0.085 c -0.056,0.198 -0.17,0.368 -0.368,0.482 -0.199,0.113 -0.454,0.17 -0.794,0.17 -0.34,0 -0.595,-0.057 -0.765,-0.17 -0.17,-0.114 -0.255,-0.284 -0.255,-0.482 0,-0.142 0.028,-0.255 0.113,-0.34 0.057,-0.085 0.17,-0.171 0.312,-0.227 0.142,-0.057 0.425,-0.142 0.879,-0.255 0.425,-0.114 0.708,-0.199 0.907,-0.284 0.198,-0.113 0.34,-0.198 0.453,-0.312 0.114,-0.113 0.199,-0.226 0.255,-0.368 0.057,-0.142 0.085,-0.312 0.085,-0.482 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath189)" /><path
       id="path190"
       d="m 148.535,550.375 c 0.029,-0.822 -0.141,-1.446 -0.51,-1.843 -0.368,-0.425 -0.879,-0.623 -1.587,-0.623 -0.681,0 -1.219,0.198 -1.588,0.623 -0.368,0.425 -0.538,1.049 -0.567,1.843 -0.028,1.644 0.681,2.466 2.098,2.466 0.737,0 1.276,-0.198 1.616,-0.595 0.368,-0.397 0.538,-1.021 0.538,-1.871 z m -0.822,0 c 0,0.652 -0.113,1.134 -0.311,1.445 -0.199,0.284 -0.539,0.426 -0.993,0.426 -0.453,0 -0.793,-0.142 -0.992,-0.454 -0.198,-0.283 -0.311,-0.765 -0.283,-1.417 0,-0.624 0.113,-1.106 0.312,-1.418 0.226,-0.311 0.538,-0.453 0.963,-0.453 0.482,0 0.822,0.142 1.021,0.453 0.198,0.312 0.283,0.766 0.283,1.418 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath191)" /><path
       id="path192"
       d="m 152.617,547.994 -0.028,3.004 c -0.028,0.341 -0.057,0.567 -0.113,0.737 -0.057,0.171 -0.17,0.312 -0.312,0.369 -0.114,0.085 -0.312,0.113 -0.595,0.113 -0.369,0 -0.681,-0.113 -0.879,-0.368 -0.227,-0.284 -0.34,-0.624 -0.312,-1.106 l 0.028,-2.749 h -0.793 l -0.057,3.741 c 0,0.567 -0.028,0.908 -0.028,1.021 h 0.737 c 0,-0.028 0,-0.057 0,-0.113 0.028,-0.086 0.028,-0.142 0.028,-0.227 0,-0.085 0,-0.255 0.028,-0.482 v 0 c 0.17,0.34 0.397,0.567 0.624,0.709 0.227,0.141 0.538,0.198 0.879,0.198 0.538,0 0.907,-0.142 1.162,-0.397 0.255,-0.255 0.368,-0.68 0.397,-1.275 l 0.056,-3.175 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath193)" /><path
       id="path194"
       d="m 158.372,547.909 c -0.482,0 -0.851,0.113 -1.106,0.368 -0.227,0.255 -0.368,0.595 -0.368,1.049 0,0.482 0.141,0.879 0.482,1.134 0.311,0.255 0.822,0.397 1.559,0.425 h 1.048 v 0.284 c 0,0.368 -0.085,0.651 -0.255,0.822 -0.17,0.17 -0.425,0.255 -0.765,0.255 -0.369,0 -0.624,-0.057 -0.794,-0.199 -0.142,-0.113 -0.255,-0.312 -0.283,-0.567 l -0.822,0.085 c 0.113,0.851 0.765,1.276 1.899,1.276 0.595,0 1.049,-0.142 1.361,-0.425 0.311,-0.255 0.453,-0.652 0.453,-1.191 l 0.057,-2.041 c 0,-0.227 0.028,-0.425 0.085,-0.538 0.057,-0.114 0.198,-0.17 0.368,-0.17 0.057,0 0.142,0 0.255,0.028 v -0.482 c -0.198,-0.057 -0.396,-0.085 -0.595,-0.085 -0.312,0 -0.51,0.085 -0.652,0.227 -0.142,0.17 -0.227,0.425 -0.255,0.737 v 0 c -0.198,-0.369 -0.453,-0.624 -0.709,-0.766 -0.255,-0.141 -0.595,-0.226 -0.963,-0.226 z m 0.17,0.595 c 0.283,0 0.538,0.057 0.765,0.198 0.227,0.114 0.397,0.312 0.51,0.539 0.142,0.227 0.199,0.453 0.199,0.709 v 0.368 h -0.879 c -0.368,0 -0.652,-0.028 -0.85,-0.085 -0.17,-0.085 -0.341,-0.198 -0.426,-0.34 -0.113,-0.142 -0.141,-0.34 -0.141,-0.567 0,-0.255 0.085,-0.482 0.226,-0.624 0.142,-0.141 0.341,-0.198 0.596,-0.198 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath195)" /><path
       id="path196"
       d="m 166.167,550.375 c 0.028,-1.644 -0.539,-2.495 -1.701,-2.495 -0.368,0 -0.652,0.085 -0.907,0.199 -0.227,0.141 -0.425,0.34 -0.595,0.652 v 0 c 0,-0.114 0,-0.255 0,-0.425 -0.029,-0.199 -0.029,-0.312 -0.029,-0.341 h -0.765 c 0,0.17 0,0.511 0,0.992 l -0.085,5.556 h 0.794 l 0.028,-1.87 c 0,-0.171 0,-0.397 0,-0.681 v 0 c 0.142,0.312 0.34,0.539 0.595,0.681 0.227,0.113 0.539,0.198 0.879,0.198 0.595,0 1.049,-0.227 1.332,-0.624 0.312,-0.397 0.454,-1.02 0.454,-1.842 z m -0.822,-0.029 c 0,0.681 -0.114,1.163 -0.284,1.446 -0.17,0.284 -0.481,0.425 -0.878,0.425 -0.426,0 -0.766,-0.141 -0.964,-0.453 -0.199,-0.312 -0.284,-0.794 -0.284,-1.446 0.029,-0.624 0.114,-1.105 0.341,-1.389 0.198,-0.312 0.51,-0.453 0.963,-0.453 0.397,0 0.681,0.141 0.879,0.453 0.17,0.284 0.227,0.765 0.227,1.417 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath197)" /><path
       id="path198"
       d="m 171.213,550.375 c 0.028,-0.822 -0.142,-1.446 -0.511,-1.843 -0.368,-0.425 -0.878,-0.623 -1.587,-0.623 -0.68,0 -1.219,0.198 -1.587,0.623 -0.369,0.425 -0.539,1.049 -0.567,1.843 -0.029,1.644 0.68,2.466 2.097,2.466 0.737,0 1.276,-0.198 1.616,-0.595 0.369,-0.397 0.539,-1.021 0.539,-1.871 z m -0.822,0 c 0,0.652 -0.114,1.134 -0.312,1.445 -0.199,0.284 -0.539,0.426 -0.992,0.426 -0.454,0 -0.794,-0.142 -0.993,-0.454 -0.198,-0.283 -0.311,-0.765 -0.283,-1.417 0,-0.624 0.113,-1.106 0.312,-1.418 0.227,-0.311 0.538,-0.453 0.964,-0.453 0.482,0 0.822,0.142 1.02,0.453 0.199,0.312 0.284,0.766 0.284,1.418 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath199)" /><path
       id="path200"
       d="m 172.97,552.756 0.057,-3.005 c 0,-0.34 0.028,-0.567 0.113,-0.737 0.057,-0.17 0.17,-0.312 0.284,-0.368 0.141,-0.085 0.34,-0.114 0.595,-0.114 0.397,0 0.68,0.114 0.907,0.369 0.227,0.283 0.312,0.623 0.312,1.105 l -0.057,2.75 h 0.794 l 0.085,-3.742 c 0,-0.567 0,-0.907 0.028,-1.02 h -0.737 c 0,0.028 -0.028,0.056 -0.028,0.113 0,0.085 0,0.142 0,0.227 0,0.085 -0.029,0.255 -0.029,0.482 h -0.028 c -0.17,-0.34 -0.368,-0.567 -0.595,-0.709 -0.255,-0.142 -0.539,-0.198 -0.907,-0.198 -0.51,0 -0.907,0.141 -1.134,0.397 -0.255,0.255 -0.397,0.68 -0.397,1.275 l -0.057,3.175 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath201)" /><path
       id="path202"
       d="m 179.15,548.05 c -0.256,-0.085 -0.511,-0.113 -0.794,-0.113 -0.624,0 -0.964,0.369 -0.964,1.077 l -0.057,3.175 h -0.538 l -0.028,0.567 h 0.595 l 0.198,1.077 h 0.539 l 0.028,-1.077 h 0.879 v -0.567 h -0.879 l 0.057,-3.005 c 0,-0.227 0.028,-0.397 0.113,-0.482 0.085,-0.085 0.199,-0.141 0.397,-0.141 0.113,0 0.255,0.028 0.454,0.056 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,217.92193,959.95928)"
       clip-path="url(#clipPath203)" /><path
       id="path204"
       d="m 389.48,468.369 h -96.264 v 62.9 h 192.501 v -62.9 z"
       style="fill:#bee3f9;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(1.3336555,0,0,-1.251712,161.85001,925.41047)"
       clip-path="url(#clipPath205)" /><text
       id="text205"
       xml:space="preserve"
       transform="matrix(1.3334515,0,0,1.3030922,563.3504,276.64937)"
       clip-path="url(#clipPath206)"
       style="fill:#800000"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#800000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 6.0123382 13.448888 18.731092 21.245998 26.293839 31.341679 36.389519 41.437359 44.420994 49.46883 51.983738 57.031578 60.033241 62.548145 68.542458 71.057365 75.618446 80.666283 82.703453 87.264534 92.276321 95.277977 97.792885 100.79455 105.84238 110.89023 115.90202 120.94985"
         y="0"
         sodipodi:role="line"
         id="tspan205">SMT generator &amp; solver runner</tspan></text><text
       id="text206"
       xml:space="preserve"
       transform="matrix(1.3334515,0,0,1.3030922,563.3504,302.94838)"
       clip-path="url(#clipPath207)"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 5.1650219 8.1666842 13.214524 18.226309 22.787392 24.824556 29.872396 32.387302 37.435143 41.996227 44.511131 50.505444 55.066525 60.114365 63.116028 65.630936 68.145844 73.157623 75.672531 81.684868 89.121422 94.430664 96.945572 101.95735 107.0052 112.05303 115.0547 117.09186 122.1397 126.67374 129.18864 134.23648 139.28433 144.33217 146.84708 149.8307 154.87856 159.92639 164.48747"
         y="0"
         sodipodi:role="line"
         id="tspan206">Translates Expr to SMT queries and runs </tspan></text><text
       id="text207"
       xml:space="preserve"
       transform="matrix(1.3334515,0,0,1.3030922,563.3504,316.09919)"
       clip-path="url(#clipPath208)"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 2.5149059 7.562746 12.610586 20.047136 22.562042 27.609882 32.621666"
         y="0"
         sodipodi:role="line"
         id="tspan207">them on an SMT solver</tspan></text><path
       id="path209"
       d="m 389.509,384.973 h -96.265 v 62.901 h 192.501 v -62.901 z"
       style="fill:#bee3f9;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(1.3333333,0,0,-1.3333333,163.40181,965.8201)"
       clip-path="url(#clipPath210)" /><text
       id="text210"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,564.82581,385.24677)"
       clip-path="url(#clipPath211)"
       style="fill:#800000"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#800000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 6.499094 11.510878 16.558718 21.606558 24.121464 29.169304 32.170967 37.182751 41.743835 46.791676 54.228226 59.276066 61.313229 66.361069 68.875977 74.888313 79.422356 81.937263 84.938919 89.986763 94.547844 97.062752 102.1106"
         y="0"
         sodipodi:role="line"
         id="tspan210">Counterexample Extractor</tspan></text><text
       id="text211"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,564.82581,412.15743)"
       clip-path="url(#clipPath212)"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 6.499094 9.482728 14.530568 19.578407 22.093313 27.141153 31.702238 34.217144 40.211452 46.223793 53.660343 56.175247 60.736332 65.784172 67.821335 69.858498 74.419586 76.934486 79.431366 82.433029 87.480873 94.944466 97.441338 99.956245 105.00409 110.05193 112.56683 117.12791 122.17576 124.21292 129.2247 131.73961 133.77678 138.82462 143.87245 146.38736 148.90227 153.91405 158.96188 164.00974 169.05757"
         y="0"
         sodipodi:role="line"
         id="tspan211">Creates EVM calls from the solution found </tspan></text><text
       id="text212"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,564.82581,425.6121)"
       clip-path="url(#clipPath213)"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 5.0478401 9.6089239 12.12383 14.620708 19.668549 24.716389 27.231295 33.243633 40.680183 45.962387 48.477291 53.038376 58.086216 60.123379 64.684464 69.732307 72.715935 75.230843 77.74575 82.793587 85.308495 87.823402 90.825066 92.862228 97.874016 102.92185 107.96969 110.97135 113.48626 116.00117 121.01295 126.06079 128.5757 133.62354 138.18462 142.7457 147.75749 150.75916 153.27406 155.31122 160.35905 165.40691"
         y="0"
         sodipodi:role="line"
         id="tspan212">by the SMT solver to trigger the assertion </tspan></text><text
       id="text213"
       xml:space="preserve"
       transform="matrix(1.3333333,0,0,1.3333333,564.82581,439.06677)"
       clip-path="url(#clipPath214)"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         x="0 4.5610838 6.598248 11.646088 13.683252 18.695036 21.209942 23.247107 28.294947"
         y="0"
         sodipodi:role="line"
         id="tspan213">violation</tspan></text><path
       id="path215"
       d="m 46.176,500.485 24.775,0.595"
       style="fill:none;stroke:#3465a4;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath216)" /><path
       id="path217"
       d="m 70.101,506.438 10.885,-5.103 -10.602,-5.641 z"
       style="fill:#3465a4;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,0,968)"
       clip-path="url(#clipPath218)" /><path
       id="path223"
       d="m 389.48,468.34 0.029,-10.431"
       style="fill:none;stroke:#3465a4;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(1.3300783,0,0,-1.4589046,164.66962,1023.3227)"
       clip-path="url(#clipPath224)" /><path
       id="path225"
       d="m 394.866,458.617 -5.357,-10.771 -5.415,10.771 z"
       style="fill:#3465a4;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,163.40181,965.8201)"
       clip-path="url(#clipPath226)" /><path
       id="path231"
       d="m 390.671,324 h -47.906 l -0.68,37.757 h 95.811 L 438.576,324 Z"
       style="fill:#bee3f9;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath232)" /><path
       id="path233"
       d="m 361.247,350.334 0.029,-2.296 h 3.458 v -0.709 h -3.458 l 0.056,-2.523 h -0.85 l -0.113,6.208 h 4.422 v -0.68 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath234)" /><path
       id="path235"
       d="m 366.576,349.569 0.057,-3.005 c 0,-0.34 0.028,-0.567 0.113,-0.737 0.057,-0.17 0.142,-0.312 0.284,-0.369 0.142,-0.085 0.34,-0.113 0.595,-0.113 0.397,0 0.681,0.113 0.907,0.368 0.199,0.284 0.312,0.624 0.312,1.106 l -0.057,2.75 h 0.794 l 0.057,-3.742 c 0.028,-0.567 0.028,-0.907 0.056,-1.021 h -0.737 c 0,0.029 -0.028,0.057 -0.028,0.114 0,0.085 0,0.141 0,0.226 -0.028,0.085 -0.028,0.256 -0.028,0.482 h -0.029 c -0.17,-0.34 -0.368,-0.567 -0.595,-0.708 -0.255,-0.142 -0.538,-0.199 -0.907,-0.199 -0.51,0 -0.907,0.142 -1.134,0.397 -0.255,0.255 -0.397,0.68 -0.397,1.276 l -0.056,3.175 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath236)" /><path
       id="path237"
       d="m 373.946,344.806 -0.056,3.005 c 0,0.34 -0.029,0.567 -0.085,0.737 -0.085,0.17 -0.17,0.312 -0.312,0.369 -0.142,0.085 -0.34,0.113 -0.595,0.113 -0.369,0 -0.681,-0.113 -0.907,-0.369 -0.199,-0.283 -0.312,-0.623 -0.284,-1.105 l 0.028,-2.75 h -0.793 l -0.057,3.742 c 0,0.567 -0.028,0.907 -0.057,1.021 h 0.766 c 0,-0.029 0,-0.057 0,-0.114 0,-0.085 0,-0.142 0.028,-0.227 0,-0.085 0,-0.255 0.028,-0.482 v 0 c 0.17,0.341 0.369,0.567 0.624,0.709 0.227,0.142 0.539,0.199 0.879,0.199 0.538,0 0.907,-0.142 1.162,-0.397 0.255,-0.255 0.368,-0.681 0.368,-1.276 l 0.057,-3.175 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath238)" /><path
       id="path239"
       d="m 376.498,347.216 c 0.028,-0.652 0.141,-1.106 0.34,-1.418 0.198,-0.311 0.51,-0.453 0.907,-0.453 0.283,0 0.51,0.085 0.709,0.227 0.17,0.141 0.283,0.397 0.34,0.708 l 0.793,-0.056 c -0.056,-0.454 -0.255,-0.822 -0.567,-1.106 -0.311,-0.255 -0.737,-0.397 -1.247,-0.397 -0.652,0 -1.162,0.199 -1.53,0.624 -0.369,0.425 -0.539,1.049 -0.567,1.842 0,0.794 0.17,1.418 0.51,1.843 0.34,0.425 0.85,0.624 1.502,0.624 0.482,0 0.879,-0.114 1.219,-0.369 0.312,-0.255 0.539,-0.595 0.624,-1.049 l -0.822,-0.056 c -0.057,0.255 -0.142,0.453 -0.312,0.623 -0.17,0.142 -0.425,0.227 -0.737,0.227 -0.397,0 -0.709,-0.142 -0.879,-0.425 -0.198,-0.255 -0.283,-0.737 -0.283,-1.389 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath240)" /><path
       id="path241"
       d="m 382.337,344.863 c -0.255,-0.085 -0.51,-0.113 -0.794,-0.113 -0.623,0 -0.963,0.368 -0.963,1.077 l -0.057,3.175 h -0.567 v 0.567 h 0.595 l 0.199,1.077 h 0.538 v -1.077 h 0.879 l 0.028,-0.567 h -0.878 l 0.056,-3.005 c 0,-0.227 0.029,-0.397 0.114,-0.482 0.085,-0.085 0.198,-0.142 0.396,-0.142 0.114,0 0.256,0.029 0.454,0.057 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath242)" /><path
       id="path243"
       d="m 382.932,350.561 -0.028,0.765 h 0.794 l 0.028,-0.765 z m 0.114,-5.755 -0.085,4.763 h 0.765 l 0.085,-4.763 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath244)" /><path
       id="path245"
       d="m 389.055,347.187 c 0.028,-0.822 -0.142,-1.445 -0.51,-1.842 -0.369,-0.425 -0.879,-0.624 -1.588,-0.624 -0.68,0 -1.218,0.199 -1.587,0.624 -0.368,0.425 -0.539,1.049 -0.567,1.842 -0.028,1.644 0.68,2.467 2.098,2.467 0.737,0 1.275,-0.199 1.616,-0.596 0.34,-0.397 0.538,-1.02 0.538,-1.871 z m -0.822,0 c 0,0.652 -0.113,1.134 -0.312,1.446 -0.198,0.284 -0.538,0.425 -0.992,0.425 -0.482,0 -0.794,-0.141 -0.992,-0.453 -0.227,-0.284 -0.312,-0.766 -0.312,-1.418 0.029,-0.623 0.142,-1.105 0.34,-1.417 0.227,-0.312 0.539,-0.453 0.964,-0.453 0.482,0 0.822,0.141 1.021,0.453 0.198,0.312 0.283,0.765 0.283,1.417 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath246)" /><path
       id="path247"
       d="m 393.137,344.806 -0.057,3.005 c 0,0.34 -0.028,0.567 -0.085,0.737 -0.085,0.17 -0.17,0.312 -0.312,0.369 -0.141,0.085 -0.34,0.113 -0.595,0.113 -0.368,0 -0.68,-0.113 -0.907,-0.369 -0.198,-0.283 -0.312,-0.623 -0.283,-1.105 l 0.028,-2.75 h -0.794 l -0.056,3.742 c 0,0.567 -0.029,0.907 -0.057,1.021 h 0.765 c 0,-0.029 0,-0.057 0,-0.114 0,-0.085 0,-0.142 0.029,-0.227 0,-0.085 0,-0.255 0.028,-0.482 v 0 c 0.17,0.341 0.368,0.567 0.624,0.709 0.226,0.142 0.538,0.199 0.878,0.199 0.539,0 0.907,-0.142 1.163,-0.397 0.255,-0.255 0.368,-0.681 0.368,-1.276 l 0.057,-3.175 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath248)" /><path
       id="path249"
       d="m 398.239,347.216 c 0.029,-0.652 0.142,-1.106 0.341,-1.418 0.198,-0.311 0.51,-0.453 0.907,-0.453 0.283,0 0.51,0.085 0.708,0.227 0.17,0.141 0.284,0.397 0.34,0.708 l 0.794,-0.056 c -0.057,-0.454 -0.255,-0.822 -0.567,-1.106 -0.312,-0.255 -0.737,-0.397 -1.247,-0.397 -0.652,0 -1.162,0.199 -1.531,0.624 -0.368,0.425 -0.538,1.049 -0.567,1.842 0,0.794 0.17,1.418 0.511,1.843 0.34,0.425 0.85,0.624 1.502,0.624 0.482,0 0.879,-0.114 1.219,-0.369 0.312,-0.255 0.538,-0.595 0.623,-1.049 l -0.822,-0.056 c -0.056,0.255 -0.141,0.453 -0.311,0.623 -0.17,0.142 -0.426,0.227 -0.737,0.227 -0.397,0 -0.709,-0.142 -0.879,-0.425 -0.199,-0.255 -0.284,-0.737 -0.284,-1.389 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath250)" /><path
       id="path251"
       d="m 403.455,344.721 c -0.482,0 -0.85,0.114 -1.105,0.369 -0.227,0.255 -0.369,0.595 -0.369,1.049 0,0.481 0.142,0.878 0.454,1.133 0.34,0.256 0.85,0.397 1.559,0.426 h 1.077 v 0.283 c 0,0.369 -0.085,0.652 -0.255,0.822 -0.17,0.17 -0.425,0.255 -0.794,0.255 -0.34,0 -0.595,-0.056 -0.765,-0.198 -0.17,-0.114 -0.255,-0.312 -0.284,-0.567 l -0.822,0.085 c 0.114,0.85 0.737,1.276 1.899,1.276 0.596,0 1.049,-0.142 1.333,-0.426 0.311,-0.255 0.482,-0.652 0.482,-1.19 l 0.056,-2.041 c 0,-0.227 0.029,-0.425 0.085,-0.539 0.057,-0.113 0.199,-0.17 0.369,-0.17 0.056,0 0.142,0 0.255,0.029 v -0.482 c -0.199,-0.057 -0.397,-0.085 -0.595,-0.085 -0.312,0 -0.511,0.085 -0.652,0.226 -0.142,0.17 -0.227,0.426 -0.255,0.737 h -0.029 c -0.17,-0.368 -0.425,-0.623 -0.68,-0.765 -0.255,-0.142 -0.595,-0.227 -0.964,-0.227 z m 0.17,0.596 c 0.284,0 0.539,0.056 0.766,0.198 0.226,0.113 0.396,0.312 0.51,0.539 0.142,0.226 0.198,0.453 0.198,0.708 v 0.369 h -0.879 c -0.368,0 -0.651,-0.029 -0.85,-0.085 -0.198,-0.085 -0.34,-0.199 -0.425,-0.34 -0.114,-0.142 -0.142,-0.341 -0.142,-0.567 0,-0.256 0.057,-0.482 0.199,-0.624 0.141,-0.142 0.368,-0.198 0.623,-0.198 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath252)" /><path
       id="path253"
       d="m 407.282,344.778 -0.113,6.548 h 0.793 l 0.114,-6.548 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath254)" /><path
       id="path255"
       d="m 409.323,344.778 -0.114,6.548 h 0.794 l 0.114,-6.548 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath256)" /><path
       id="path257"
       d="m 415.701,344.863 c -0.255,-0.085 -0.51,-0.113 -0.794,-0.113 -0.624,0 -0.964,0.368 -0.964,1.077 l -0.056,3.175 h -0.567 v 0.567 h 0.595 l 0.198,1.077 h 0.539 v -1.077 h 0.879 l 0.028,-0.567 h -0.879 l 0.057,-3.005 c 0,-0.227 0.028,-0.397 0.113,-0.482 0.085,-0.085 0.199,-0.142 0.397,-0.142 0.114,0 0.255,0.029 0.454,0.057 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath258)" /><path
       id="path259"
       d="m 420.378,347.187 c 0.028,-0.822 -0.142,-1.445 -0.51,-1.842 -0.369,-0.425 -0.879,-0.624 -1.588,-0.624 -0.68,0 -1.219,0.199 -1.587,0.624 -0.369,0.425 -0.539,1.049 -0.567,1.842 -0.028,1.644 0.68,2.467 2.098,2.467 0.737,0 1.275,-0.199 1.615,-0.596 0.341,-0.397 0.539,-1.02 0.539,-1.871 z m -0.822,0 c 0,0.652 -0.113,1.134 -0.312,1.446 -0.198,0.284 -0.538,0.425 -0.992,0.425 -0.482,0 -0.794,-0.141 -0.992,-0.453 -0.227,-0.284 -0.312,-0.766 -0.312,-1.418 0.028,-0.623 0.142,-1.105 0.34,-1.417 0.227,-0.312 0.539,-0.453 0.964,-0.453 0.482,0 0.822,0.141 1.02,0.453 0.199,0.312 0.284,0.765 0.284,1.417 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath260)" /><path
       id="path261"
       d="m 362.126,334.772 c -0.255,-0.085 -0.539,-0.114 -0.822,-0.114 -0.624,0 -0.935,0.369 -0.964,1.077 l -0.057,3.175 h -0.538 l -0.028,0.567 h 0.595 l 0.227,1.077 h 0.51 l 0.028,-1.077 h 0.879 v -0.567 h -0.879 l 0.057,-3.004 c 0,-0.227 0.057,-0.397 0.113,-0.482 0.085,-0.085 0.227,-0.142 0.397,-0.142 0.113,0 0.255,0.028 0.454,0.057 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath262)" /><path
       id="path263"
       d="m 362.835,334.715 -0.085,3.657 c 0,0.34 0,0.708 -0.029,1.105 h 0.737 c 0.029,-0.538 0.057,-0.879 0.057,-0.964 h 0.028 c 0.114,0.397 0.255,0.681 0.397,0.822 0.17,0.142 0.397,0.227 0.709,0.227 0.113,0 0.198,-0.028 0.312,-0.056 l 0.028,-0.709 c -0.113,0.028 -0.255,0.028 -0.425,0.028 -0.34,0 -0.595,-0.142 -0.766,-0.425 -0.141,-0.283 -0.226,-0.68 -0.226,-1.191 l 0.056,-2.494 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath264)" /><path
       id="path265"
       d="m 365.698,340.469 v 0.766 h 0.793 v -0.766 z m 0.113,-5.754 -0.085,4.762 h 0.794 l 0.085,-4.762 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath266)" /><path
       id="path267"
       d="m 369.694,332.844 c -0.51,0 -0.935,0.113 -1.247,0.312 -0.312,0.198 -0.51,0.482 -0.623,0.879 l 0.793,0.113 c 0.057,-0.227 0.199,-0.397 0.369,-0.51 0.198,-0.142 0.425,-0.199 0.708,-0.199 0.794,0 1.191,0.482 1.163,1.389 v 0.766 h -0.029 c -0.141,-0.284 -0.34,-0.511 -0.595,-0.681 -0.255,-0.141 -0.567,-0.226 -0.907,-0.226 -0.595,0 -1.02,0.198 -1.304,0.567 -0.283,0.396 -0.425,1.02 -0.425,1.842 -0.028,0.85 0.113,1.446 0.397,1.871 0.283,0.397 0.737,0.595 1.332,0.595 0.34,0 0.624,-0.085 0.879,-0.227 0.255,-0.17 0.453,-0.396 0.595,-0.68 v 0 c 0,0.114 0,0.255 0,0.482 0.028,0.227 0.028,0.34 0.028,0.34 h 0.766 c 0,-0.17 -0.029,-0.51 0,-0.992 l 0.056,-3.628 c 0.029,-1.333 -0.623,-2.013 -1.956,-2.013 z m 1.134,4.252 c 0,0.397 -0.085,0.737 -0.17,0.992 -0.113,0.284 -0.283,0.51 -0.482,0.652 -0.17,0.142 -0.396,0.227 -0.652,0.227 -0.396,0 -0.68,-0.142 -0.878,-0.454 -0.17,-0.283 -0.255,-0.765 -0.255,-1.417 0.028,-0.652 0.113,-1.105 0.283,-1.389 0.198,-0.283 0.482,-0.425 0.907,-0.425 0.255,0 0.482,0.057 0.652,0.198 0.198,0.17 0.34,0.369 0.454,0.652 0.085,0.255 0.141,0.596 0.141,0.964 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath268)" /><path
       id="path269"
       d="m 374.74,332.844 c -0.51,0 -0.935,0.113 -1.247,0.312 -0.312,0.198 -0.51,0.482 -0.624,0.879 l 0.794,0.113 c 0.057,-0.227 0.198,-0.397 0.368,-0.51 0.199,-0.142 0.426,-0.199 0.709,-0.199 0.794,0 1.191,0.482 1.162,1.389 v 0.766 h -0.028 c -0.142,-0.284 -0.34,-0.511 -0.595,-0.681 -0.255,-0.141 -0.567,-0.226 -0.907,-0.226 -0.596,0 -1.021,0.198 -1.304,0.567 -0.284,0.396 -0.425,1.02 -0.425,1.842 -0.029,0.85 0.113,1.446 0.396,1.871 0.284,0.397 0.737,0.595 1.333,0.595 0.34,0 0.623,-0.085 0.878,-0.227 0.256,-0.17 0.454,-0.396 0.596,-0.68 v 0 c 0,0.114 0,0.255 0,0.482 0.028,0.227 0.028,0.34 0.028,0.34 h 0.765 c 0,-0.17 -0.028,-0.51 0,-0.992 l 0.057,-3.628 c 0.028,-1.333 -0.624,-2.013 -1.956,-2.013 z m 1.134,4.252 c 0,0.397 -0.085,0.737 -0.17,0.992 -0.113,0.284 -0.284,0.51 -0.482,0.652 -0.17,0.142 -0.397,0.227 -0.652,0.227 -0.397,0 -0.68,-0.142 -0.879,-0.454 -0.17,-0.283 -0.255,-0.765 -0.255,-1.417 0.029,-0.652 0.114,-1.105 0.284,-1.389 0.198,-0.283 0.482,-0.425 0.907,-0.425 0.255,0 0.482,0.057 0.652,0.198 0.198,0.17 0.34,0.369 0.453,0.652 0.085,0.255 0.142,0.596 0.142,0.964 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath270)" /><path
       id="path271"
       d="m 378.482,336.926 c 0,-0.539 0.142,-0.964 0.368,-1.247 0.227,-0.312 0.567,-0.454 0.993,-0.454 0.34,0 0.623,0.057 0.822,0.199 0.198,0.141 0.34,0.311 0.425,0.538 l 0.68,-0.198 c -0.255,-0.766 -0.907,-1.134 -1.927,-1.134 -0.681,0 -1.219,0.198 -1.616,0.624 -0.369,0.425 -0.567,1.048 -0.567,1.87 -0.029,0.794 0.142,1.389 0.51,1.815 0.369,0.425 0.879,0.623 1.559,0.623 1.417,0 2.126,-0.85 2.154,-2.523 v -0.113 z m 2.579,0.595 c -0.056,0.51 -0.198,0.879 -0.396,1.106 -0.227,0.227 -0.539,0.34 -0.936,0.34 -0.368,0 -0.68,-0.113 -0.907,-0.369 -0.227,-0.255 -0.34,-0.623 -0.34,-1.077 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath272)" /><path
       id="path273"
       d="m 382.989,334.715 -0.085,3.657 c 0,0.34 0,0.708 -0.028,1.105 h 0.737 c 0.028,-0.538 0.056,-0.879 0.056,-0.964 h 0.029 c 0.113,0.397 0.255,0.681 0.396,0.822 0.171,0.142 0.397,0.227 0.709,0.227 0.114,0 0.199,-0.028 0.312,-0.056 l 0.028,-0.709 c -0.113,0.028 -0.255,0.028 -0.425,0.028 -0.34,0 -0.595,-0.142 -0.765,-0.425 -0.142,-0.283 -0.227,-0.68 -0.227,-1.191 l 0.057,-2.494 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath274)" /><path
       id="path275"
       d="m 390.586,334.715 h -0.936 l -1.814,4.762 h 0.851 l 1.077,-3.09 c 0.056,-0.113 0.17,-0.481 0.34,-1.048 l 0.142,0.51 0.17,0.51 1.02,3.118 h 0.851 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath276)" /><path
       id="path277"
       d="m 392.939,340.469 v 0.766 h 0.793 v -0.766 z m 0.113,-5.754 -0.085,4.762 h 0.794 l 0.085,-4.762 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath278)" /><path
       id="path279"
       d="m 399.09,337.096 c 0,-0.822 -0.17,-1.446 -0.539,-1.842 -0.34,-0.426 -0.879,-0.624 -1.587,-0.624 -0.681,0 -1.219,0.198 -1.588,0.624 -0.34,0.425 -0.538,1.048 -0.538,1.842 -0.057,1.644 0.652,2.466 2.069,2.466 0.737,0 1.276,-0.198 1.616,-0.595 0.368,-0.397 0.538,-1.021 0.567,-1.871 z m -0.851,0 c 0,0.652 -0.113,1.134 -0.311,1.446 -0.199,0.283 -0.539,0.425 -0.993,0.425 -0.453,0 -0.793,-0.142 -0.992,-0.454 -0.198,-0.283 -0.312,-0.765 -0.283,-1.417 0,-0.624 0.113,-1.105 0.34,-1.417 0.198,-0.312 0.51,-0.454 0.964,-0.454 0.482,0 0.793,0.142 0.992,0.454 0.198,0.312 0.312,0.765 0.283,1.417 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath280)" /><path
       id="path281"
       d="m 400.11,334.687 -0.113,6.548 h 0.794 l 0.113,-6.548 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath282)" /><path
       id="path283"
       d="m 403.37,334.63 c -0.482,0 -0.85,0.113 -1.077,0.368 -0.255,0.256 -0.369,0.596 -0.397,1.049 0,0.482 0.17,0.879 0.482,1.134 0.312,0.255 0.822,0.397 1.559,0.425 h 1.077 l -0.028,0.284 c 0,0.368 -0.085,0.652 -0.255,0.822 -0.17,0.17 -0.425,0.255 -0.766,0.255 -0.368,0 -0.623,-0.057 -0.793,-0.198 -0.142,-0.114 -0.227,-0.312 -0.255,-0.567 l -0.851,0.085 c 0.142,0.85 0.765,1.275 1.899,1.275 0.596,0 1.049,-0.142 1.361,-0.425 0.312,-0.255 0.454,-0.652 0.482,-1.191 l 0.028,-2.04 c 0,-0.227 0.029,-0.426 0.114,-0.539 0.056,-0.113 0.17,-0.17 0.34,-0.17 0.085,0 0.17,0 0.255,0.028 l 0.028,-0.482 c -0.198,-0.056 -0.425,-0.085 -0.623,-0.085 -0.284,0 -0.511,0.085 -0.652,0.227 -0.142,0.17 -0.199,0.425 -0.227,0.737 h -0.028 c -0.199,-0.368 -0.426,-0.624 -0.709,-0.765 -0.255,-0.142 -0.567,-0.227 -0.964,-0.227 z m 0.17,0.595 c 0.284,0 0.539,0.057 0.766,0.199 0.226,0.113 0.396,0.311 0.538,0.538 0.113,0.227 0.17,0.454 0.17,0.709 v 0.368 h -0.879 c -0.368,0 -0.652,-0.028 -0.822,-0.085 -0.198,-0.085 -0.34,-0.198 -0.453,-0.34 -0.085,-0.142 -0.142,-0.34 -0.142,-0.567 0,-0.255 0.085,-0.482 0.227,-0.623 0.142,-0.142 0.34,-0.199 0.595,-0.199 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath284)" /><path
       id="path285"
       d="m 409.039,334.772 c -0.255,-0.085 -0.538,-0.114 -0.822,-0.114 -0.623,0 -0.935,0.369 -0.963,1.077 l -0.057,3.175 h -0.539 l -0.028,0.567 h 0.595 l 0.227,1.077 h 0.51 l 0.029,-1.077 h 0.878 v -0.567 h -0.878 l 0.056,-3.004 c 0,-0.227 0.057,-0.397 0.114,-0.482 0.085,-0.085 0.226,-0.142 0.396,-0.142 0.114,0 0.256,0.028 0.454,0.057 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath286)" /><path
       id="path287"
       d="m 409.606,340.469 v 0.766 h 0.794 v -0.766 z m 0.114,-5.754 -0.085,4.762 h 0.793 l 0.085,-4.762 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath288)" /><path
       id="path289"
       d="m 415.757,337.096 c 0,-0.822 -0.17,-1.446 -0.538,-1.842 -0.34,-0.426 -0.879,-0.624 -1.588,-0.624 -0.68,0 -1.218,0.198 -1.587,0.624 -0.34,0.425 -0.538,1.048 -0.538,1.842 -0.057,1.644 0.651,2.466 2.069,2.466 0.737,0 1.275,-0.198 1.616,-0.595 0.368,-0.397 0.538,-1.021 0.566,-1.871 z m -0.85,0 c 0,0.652 -0.113,1.134 -0.312,1.446 -0.198,0.283 -0.538,0.425 -0.992,0.425 -0.453,0 -0.794,-0.142 -0.992,-0.454 -0.198,-0.283 -0.312,-0.765 -0.283,-1.417 0,-0.624 0.113,-1.105 0.34,-1.417 0.198,-0.312 0.51,-0.454 0.963,-0.454 0.482,0 0.794,0.142 0.993,0.454 0.198,0.312 0.311,0.765 0.283,1.417 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath290)" /><path
       id="path291"
       d="m 419.839,334.715 -0.056,3.005 c 0,0.34 -0.057,0.567 -0.114,0.737 -0.056,0.17 -0.17,0.312 -0.283,0.368 -0.142,0.085 -0.34,0.114 -0.624,0.114 -0.368,0 -0.68,-0.114 -0.879,-0.369 -0.226,-0.283 -0.311,-0.624 -0.311,-1.105 l 0.056,-2.75 h -0.793 l -0.085,3.742 c 0,0.567 -0.029,0.907 -0.029,1.02 h 0.737 c 0,-0.028 0,-0.057 0.029,-0.113 0,-0.085 0,-0.142 0,-0.227 0,-0.085 0.028,-0.255 0.028,-0.482 v 0 c 0.198,0.34 0.397,0.567 0.624,0.709 0.255,0.142 0.538,0.198 0.907,0.198 0.51,0 0.907,-0.142 1.134,-0.397 0.255,-0.255 0.368,-0.68 0.396,-1.275 l 0.057,-3.175 z"
       style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,387.07703,870.3231)"
       clip-path="url(#clipPath292)" /><path
       id="path295"
       d="m 152.362,463.153 4.252,8.504 4.252,-8.504 z"
       style="fill:#3465a4;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,211.88295,968.24838)"
       clip-path="url(#clipPath296)" /><path
       id="path297"
       d="m 161.15,454.195 -4.252,-8.504 -4.252,8.504 z"
       style="fill:#3465a4;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,211.57526,962.19263)"
       clip-path="url(#clipPath298)" /><path
       id="path295-7"
       d="m 152.362,463.153 4.252,8.504 4.252,-8.504 z"
       style="fill:#3465a4;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,212.60974,863.0732)"
       clip-path="url(#clipPath296-6)" /><path
       id="path297-9"
       d="m 161.15,454.195 -4.252,-8.504 -4.252,8.504 z"
       style="fill:#3465a4;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,212.34732,853.92518)"
       clip-path="url(#clipPath298-6)" /><path
       id="path219-9"
       d="m 232.243,501.335 50.938,-1.275"
       style="fill:none;stroke:#3465a4;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(0.02564997,0.2292561,1.3870389,-0.00423954,-279.76726,189.81649)"
       clip-path="url(#clipPath220-2)" /><path
       id="path219-9-6"
       d="m 232.243,501.335 50.938,-1.275"
       style="fill:none;stroke:#3465a4;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(0.02540071,0.42066292,1.3735603,-0.00777915,-273.51089,248.74118)"
       clip-path="url(#clipPath220-2-8)" /><text
       id="text205-8"
       xml:space="preserve"
       transform="matrix(1.3520392,0,0,1.4102927,365.71146,302.03453)"
       clip-path="url(#clipPath206-37)"
       style="fill:#800000"><tspan
         style="font-variant:normal;font-weight:normal;font-size:9.014px;font-family:'Liberation Sans';writing-mode:lr-tb;fill:#800000;fill-opacity:1;fill-rule:nonzero;stroke:none"
         sodipodi:role="line"
         id="tspan205-9"
         x="0"
         y="0">Expression Simplifier</tspan></text><path
       id="path219-3"
       d="m 232.243,501.335 50.938,-1.275"
       style="fill:none;stroke:#3465a4;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(0.3913935,-0.02993649,-0.00858413,-1.3649553,431.80333,989.02858)"
       clip-path="url(#clipPath220-4)" /><path
       id="path221-6"
       d="m 282.614,505.446 10.63,-5.641 -10.913,-5.103 z"
       style="fill:#3465a4;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3329754,-0.03089272,-0.03089272,-1.3329754,176.41145,973.478)"
       clip-path="url(#clipPath222-8)" /><path
       id="path219-5"
       d="m 232.243,501.335 50.938,-1.275"
       style="fill:none;stroke:#3465a4;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(0.3617265,-0.02997059,-0.00793346,-1.3665104,215.49669,990.05511)"
       clip-path="url(#clipPath220-6)" /><path
       id="path221-4"
       d="m 282.614,505.446 10.63,-5.641 -10.913,-5.103 z"
       style="fill:#3465a4;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3333333,0,0,-1.3333333,-64.829538,964.77982)"
       clip-path="url(#clipPath222-0)" /><path
       id="path219-3-9"
       d="m 232.243,501.335 50.938,-1.275"
       style="fill:none;stroke:#3465a4;stroke-width:1.50233;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
       transform="matrix(0.3913935,-0.02993649,-0.00858413,-1.3649553,723.38601,1102.0679)"
       clip-path="url(#clipPath220-4-7)" /><path
       id="path221-6-1"
       d="m 282.614,505.446 10.63,-5.641 -10.913,-5.103 z"
       style="fill:#3465a4;fill-opacity:1;fill-rule:evenodd;stroke:none"
       transform="matrix(1.3329754,-0.03089272,-0.03089272,-1.3329754,467.99413,1086.5173)"
       clip-path="url(#clipPath222-8-3)" /></g></svg>