[pypy-commit] extradoc extradoc: add a diagram to show loop peeling. first step in trying to convey they intuition better, more to come tomorrow.
cfbolz
noreply at buildbot.pypy.org
Wed Jun 15 16:53:36 CEST 2011
Author: Carl Friedrich Bolz <cfbolz at gmx.de>
Branch: extradoc
Changeset: r3690:57afa9bc0065
Date: 2011-06-15 16:56 +0200
http://bitbucket.org/pypy/extradoc/changeset/57afa9bc0065/
Log: add a diagram to show loop peeling. first step in trying to convey
they intuition better, more to come tomorrow.
diff --git a/talk/iwtc11/figures/overview.pdf b/talk/iwtc11/figures/overview.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..0d731b6cbf10f163429669e04cc2676b6f08693e
GIT binary patch
[cut]
diff --git a/talk/iwtc11/figures/overview.svg b/talk/iwtc11/figures/overview.svg
new file mode 100644
--- /dev/null
+++ b/talk/iwtc11/figures/overview.svg
@@ -0,0 +1,1020 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+ xmlns:ns0="http://www.iki.fi/pav/software/textext/"
+ xmlns:dc="http://purl.org/dc/elements/1.1/"
+ xmlns:cc="http://creativecommons.org/ns#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:svg="http://www.w3.org/2000/svg"
+ xmlns="http://www.w3.org/2000/svg"
+ xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+ xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+ width="235.24512"
+ height="508.50427"
+ id="svg2"
+ version="1.1"
+ inkscape:version="0.48.1 r9760"
+ sodipodi:docname="overview.svg">
+ <sodipodi:namedview
+ id="base"
+ pagecolor="#ffffff"
+ bordercolor="#666666"
+ borderopacity="1.0"
+ inkscape:pageopacity="0.0"
+ inkscape:pageshadow="2"
+ inkscape:zoom="0.98994949"
+ inkscape:cx="-187.78127"
+ inkscape:cy="289.2345"
+ inkscape:document-units="px"
+ inkscape:current-layer="layer1"
+ showgrid="false"
+ inkscape:window-width="1920"
+ inkscape:window-height="1176"
+ inkscape:window-x="0"
+ inkscape:window-y="24"
+ inkscape:window-maximized="1"
+ showguides="false"
+ inkscape:snap-global="false"
+ fit-margin-top="30"
+ fit-margin-left="30"
+ fit-margin-right="30"
+ fit-margin-bottom="30">
+ <inkscape:grid
+ snapvisiblegridlinesonly="true"
+ enabled="true"
+ visible="true"
+ empspacing="5"
+ type="xygrid"
+ id="grid3557" />
+ </sodipodi:namedview>
+ <defs
+ id="defs4">
+ <marker
+ style="overflow:visible"
+ id="Arrow1Lend"
+ refX="0"
+ refY="0"
+ orient="auto"
+ inkscape:stockid="Arrow1Lend">
+ <path
+ inkscape:connector-curvature="0"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ id="path5512" />
+ </marker>
+ <marker
+ style="overflow:visible"
+ id="Arrow1Lend-1"
+ refX="0"
+ refY="0"
+ orient="auto"
+ inkscape:stockid="Arrow1Lend">
+ <path
+ inkscape:connector-curvature="0"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ id="path5512-3" />
+ </marker>
+ <marker
+ style="overflow:visible"
+ id="Arrow1Lend-6"
+ refX="0"
+ refY="0"
+ orient="auto"
+ inkscape:stockid="Arrow1Lend">
+ <path
+ inkscape:connector-curvature="0"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ id="path5512-0" />
+ </marker>
+ <marker
+ style="overflow:visible"
+ id="Arrow1Lend-60"
+ refX="0"
+ refY="0"
+ orient="auto"
+ inkscape:stockid="Arrow1Lend">
+ <path
+ inkscape:connector-curvature="0"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ id="path5512-8" />
+ </marker>
+ <marker
+ style="overflow:visible"
+ id="Arrow1Lend-66"
+ refX="0"
+ refY="0"
+ orient="auto"
+ inkscape:stockid="Arrow1Lend">
+ <path
+ inkscape:connector-curvature="0"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ id="path5512-4" />
+ </marker>
+ </defs>
+ <metadata
+ id="metadata7">
+ <rdf:RDF>
+ <cc:Work
+ rdf:about="">
+ <dc:format>image/svg+xml</dc:format>
+ <dc:type
+ rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+ <dc:title />
+ </cc:Work>
+ </rdf:RDF>
+ </metadata>
+ <g
+ transform="translate(5.6959095,-25.699821)"
+ id="layer1"
+ inkscape:groupmode="layer"
+ inkscape:label="Layer 1">
+ <rect
+ y="90.326416"
+ x="24.653536"
+ height="78.076286"
+ width="146.41783"
+ id="rect2985"
+ style="color:#000000;fill:none;stroke:#000000;stroke-width:0.46976614;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate" />
+ <path
+ style="fill:none;stroke:#000000;stroke-width:0.43990937;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Lend)"
+ d="m 130.36039,169.05518 c 24.45165,27.09473 70.14646,10.06275 68.94565,-36.70102 -1.72092,-67.018489 -57.92237,-58.980562 -68.34439,-42.846894"
+ id="path3559"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="csc" />
+ <g
+ ns0:preamble=""
+ ns0:text="$\\mathtt{jump}\\left(l_1, J_1, \\cdots, J_{|J|}\\right)$"
+ word-spacing="normal"
+ letter-spacing="normal"
+ font-size-adjust="none"
+ font-stretch="normal"
+ font-weight="normal"
+ font-variant="normal"
+ font-style="normal"
+ stroke-miterlimit="10.433"
+ xml:space="preserve"
+ transform="matrix(1,0,0,-1,-194.64286,869.21428)"
+ id="g3680"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+ id="path3682"
+ d="m 227.1,711.01 0,0.02 0,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 0,0.02 0,0.02 -0.01,0.02 0,0.02 -0.01,0.01 -0.01,0.02 0,0.02 -0.01,0.01 -0.01,0.01 -0.01,0.02 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.01,0.01 -0.02,0 -0.02,0.01 -0.01,0.01 -0.02,0 -0.02,0.01 -0.03,0 -0.02,0.01 -0.02,0 -0.03,0 -0.03,0 -0.03,0 -0.01,0 -0.02,0 h -1.57 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.25,-0.3 0.4,-0.3 h 1.29 v -4.07 c 0,-0.17 0,-0.55 -0.26,-0.9 -0.27,-0.38 -0.58,-0.38 -0.8,-0.38 -0.29,0 -0.41,0.02 -0.56,0.04 0.01,0.03 0.01,0.05 0.01,0.12 0,0.28 -0.23,0.45 -0.44,0.45 -0.23,0 -0.45,-0.17 -0.45,-0.46 0,-0.75 0.98,-0.75 1.39,-0.75 1.44,0 1.8,1.19 1.8,1.83 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3684"
+ d="m 227.1,712.72 0,0.02 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.01 -0.01,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0 -0.02,0.01 -0.03,0.01 -0.02,0 -0.03,0 -0.02,0.01 -0.03,0 c -0.28,0 -0.5,-0.22 -0.5,-0.5 0,-0.28 0.22,-0.5 0.5,-0.5 0.28,0 0.5,0.22 0.5,0.5 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3686"
+ d="m 232.23,707.44 0,-0.01 0,-0.02 0,-0.01 0.01,-0.01 0,-0.02 0,-0.01 0,-0.01 0,-0.01 0.01,-0.01 0,-0.01 0,-0.01 0.01,-0.01 0,-0.01 0,-0.01 0.01,-0.01 0,-0.01 0.01,-0.01 0,-0.01 0.01,0 0,-0.01 0.01,-0.02 0.01,-0.01 0.02,-0.01 0.01,-0.01 0.01,-0.01 0.02,-0.01 0.01,0 0.02,-0.01 0.01,0 0.02,-0.01 0.01,0 0.02,-0.01 0.02,0 0.01,0 0.02,0 0.02,0 0.03,0 0.04,0 0.03,-0.01 h 0.73 c 0.16,0 0.41,0 0.41,0.31 0,0.3 -0.26,0.3 -0.4,0.3 h -0.45 v 3.28 c 0,0.31 -0.06,0.4 -0.4,0.4 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -2.12 c 0,-0.9 -0.81,-1.02 -1.13,-1.02 -0.78,0 -0.78,0.33 -0.78,0.65 v 2.69 c 0,0.31 -0.06,0.4 -0.4,0.4 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -2.55 c 0,-0.96 0.69,-1.19 1.41,-1.19 0.41,0 0.82,0.09 1.19,0.37 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3688"
+ d="m 234.98,711.12 0,0.01 0,0.01 0,0.02 -0.01,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.02 -0.01,0 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0 -0.01,0.02 -0.01,0.01 -0.01,0.01 -0.01,0.01 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.01,0 -0.02,0.01 -0.01,0 -0.02,0.01 -0.02,0 -0.01,0 -0.02,0.01 -0.01,0 -0.02,0 -0.02,0 -0.03,0 -0.04,0 -0.03,0 h -0.32 c -0.15,0 -0.41,0 -0.41,-0.29 0,-0.31 0.21,-0.31 0.57,-0.31 v -3.08 c -0.36,0 -0.57,0 -0.57,-0.31 0,-0.3 0.27,-0.3 0.41,-0.3 h 0.88 c 0.15,0 0.41,0 0.41,0.3 0,0.31 -0.21,0.31 -0.57,0.31 v 1.78 c 0,0.89 0.41,1.36 0.82,1.36 0.23,0 0.36,-0.17 0.36,-0.82 v -2.32 c -0.18,0 -0.43,0 -0.43,-0.31 0,-0.3 0.27,-0.3 0.41,-0.3 h 0.74 c 0.15,0 0.41,0 0.41,0.3 0,0.31 -0.21,0.31 -0.57,0.31 v 1.78 c 0,0.89 0.41,1.36 0.82,1.36 0.23,0 0.37,-0.17 0.37,-0.82 v -2.32 c -0.19,0 -0.44,0 -0.44,-0.31 0,-0.3 0.27,-0.3 0.41,-0.3 h 0.75 c 0.15,0 0.41,0 0.41,0.3 0,0.31 -0.21,0.31 -0.57,0.31 v 2.41 c 0,0.2 0,1.33 -0.89,1.33 -0.3,0 -0.71,-0.13 -0.99,-0.51 -0.14,0.33 -0.43,0.51 -0.75,0.51 -0.32,0 -0.62,-0.13 -0.86,-0.35 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3690"
+ d="m 240.78,707.57 0.04,-0.04 0.03,-0.03 0.04,-0.04 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.04,-0.02 0.03,-0.03 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.03,-0.02 0.04,-0.01 0.04,-0.02 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.03,-0.01 0.04,0 0.03,-0.01 0.03,0 0.07,-0.01 0.06,0 0.06,0 -0.03,0.6 c -0.77,0 -1.12,0.88 -1.12,1.36 v 0.72 c 0,0.59 0.58,1.12 1.2,1.12 0.74,0 1.32,-0.73 1.32,-1.59 0,-0.96 -0.7,-1.61 -1.4,-1.61 l 0.03,-0.6 c 1.09,0 2.06,0.94 2.06,2.21 0,1.22 -0.89,2.19 -1.95,2.19 -0.47,0 -0.92,-0.18 -1.26,-0.48 0,0.29 -0.02,0.42 -0.4,0.42 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -5.29 h -0.44 c -0.16,0 -0.41,0 -0.41,-0.31 0,-0.29 0.26,-0.29 0.4,-0.29 h 1.59 c 0.14,0 0.39,0 0.39,0.29 0,0.31 -0.24,0.31 -0.4,0.31 h -0.44 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3692"
+ d="m 250.13,703.76 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 -0.01,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 -0.01,0.01 0,0 0,0.01 -0.01,0 0,0.01 -0.01,0 0,0.01 c -0.46,0.49 -1.13,1.29 -1.55,2.92 -0.23,0.9 -0.32,1.93 -0.32,2.85 0,2.62 0.63,4.45 1.82,5.74 0.09,0.09 0.09,0.11 0.09,0.13 0,0.1 -0.08,0.1 -0.12,0.1 -0.15,0 -0.69,-0.59 -0.82,-0.74 -1.01,-1.21 -1.66,-3 -1.66,-5.22 0,-1.41 0.25,-3.41 1.55,-5.09 0.1,-0.12 0.75,-0.88 0.93,-0.88 0.04,0 0.12,0 0.12,0.1 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3694"
+ d="m 253.15,713.92 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 -0.01,0.01 0,0 0,0.01 0,0 -0.01,0.01 0,0 -0.01,0.01 0,0 0,0 0,0 -0.01,0.01 0,0 0,0 -0.01,0 0,0 0,0.01 -0.01,0 0,0 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 c -0.23,0 -0.95,-0.08 -1.21,-0.1 -0.08,-0.01 -0.19,-0.02 -0.19,-0.21 0,-0.11 0.1,-0.11 0.25,-0.11 0.47,0 0.48,-0.09 0.48,-0.16 l -0.03,-0.2 -1.25,-4.98 c -0.03,-0.11 -0.05,-0.18 -0.05,-0.34 0,-0.57 0.44,-0.91 0.91,-0.91 0.33,0 0.57,0.2 0.74,0.55 0.18,0.38 0.3,0.96 0.3,0.98 0,0.1 -0.09,0.1 -0.12,0.1 -0.1,0 -0.11,-0.04 -0.14,-0.18 -0.17,-0.65 -0.36,-1.24 -0.75,-1.24 -0.3,0 -0.3,0.32 -0.3,0.46 0,0.24 0.01,0.29 0.06,0.48 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3696"
+ d="m 255.89,710.05 0,0.01 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 -0.01,0 0,0.01 0,0 0,0.01 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 -0.01,0.01 0,0.01 0,0 -0.01,0.01 0,0.01 -0.01,0 0,0.01 -0.01,0 0,0 -0.01,0.01 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 c -0.45,-0.44 -1.08,-0.45 -1.37,-0.45 v -0.25 c 0.17,0 0.63,0 1.01,0.2 v -3.55 c 0,-0.23 0,-0.32 -0.69,-0.32 h -0.27 v -0.25 c 0.13,0.01 0.98,0.03 1.24,0.03 0.22,0 1.09,-0.02 1.25,-0.03 v 0.25 h -0.27 c -0.69,0 -0.69,0.09 -0.69,0.32 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3698"
+ d="m 260.05,707.14 0,0.06 -0.01,0.06 0,0.05 -0.01,0.06 0,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.02,0.03 -0.03,0.02 -0.03,0.03 -0.02,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0.01 -0.04,0 -0.03,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.14 0,-0.74 -0.35,-1.34 -0.68,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.91,0.77 0.91,1.94 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3700"
+ d="m 267.85,713.2 0,0.03 0.01,0.02 0.01,0.03 0,0.03 0.01,0.02 0.01,0.03 0.01,0.02 0,0.02 0.01,0.02 0.01,0.02 0.01,0.02 0.01,0.01 0.01,0.02 0.02,0.01 0.01,0.02 0.01,0.01 0.02,0.01 0.02,0.01 0.02,0.01 0.02,0.01 0.02,0.01 0.03,0 0.02,0.01 0.02,0 0.01,0 0.02,0.01 0.01,0 0.02,0 0.02,0 0.02,0.01 0.01,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.03,0 0.02,0 0.02,0 0.03,0 0.02,0 c 0.16,0 0.27,0 0.27,0.19 0,0.09 -0.06,0.12 -0.14,0.12 -0.24,0 -0.85,-0.03 -1.1,-0.03 -0.33,0 -1.14,0.03 -1.47,0.03 -0.09,0 -0.21,0 -0.21,-0.2 0,-0.11 0.08,-0.11 0.34,-0.11 0.23,0 0.33,0 0.58,-0.02 0.24,-0.03 0.31,-0.06 0.31,-0.19 0,-0.06 -0.02,-0.13 -0.04,-0.21 l -1.15,-4.57 c -0.24,-0.97 -0.92,-1.5 -1.43,-1.5 -0.26,0 -0.79,0.1 -0.95,0.62 0.03,-0.01 0.1,-0.01 0.12,-0.01 0.39,0 0.65,0.34 0.65,0.64 0,0.32 -0.27,0.42 -0.44,0.42 -0.18,0 -0.67,-0.12 -0.67,-0.8 0,-0.62 0.53,-1.08 1.32,-1.08 0.91,0 1.95,0.65 2.2,1.64 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3702"
+ d="m 270.31,710.05 0,0.01 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 -0.01,0 0,0.01 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 -0.01,0.01 0,0 -0.01,0.01 0,0.01 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0.01 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.45,-0.44 -1.08,-0.45 -1.37,-0.45 v -0.25 c 0.17,0 0.63,0 1.01,0.2 v -3.55 c 0,-0.23 0,-0.32 -0.69,-0.32 h -0.27 v -0.25 c 0.13,0.01 0.98,0.03 1.24,0.03 0.22,0 1.09,-0.02 1.25,-0.03 v 0.25 H 271 c -0.69,0 -0.69,0.09 -0.69,0.32 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3704"
+ d="m 274.47,707.14 0,0.06 0,0.06 -0.01,0.05 0,0.06 -0.01,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.02,0.03 -0.03,0.02 -0.02,0.03 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0 -0.04,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.14 0,-0.74 -0.35,-1.34 -0.68,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.91,0.77 0.91,1.94 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3706"
+ d="m 278.79,709.61 0,0.03 -0.01,0.03 0,0.02 0,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.03,0.01 -0.02,0 -0.03,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3708"
+ d="m 283.22,709.61 0,0.03 -0.01,0.03 0,0.02 0,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 0,0.03 -0.02,0.02 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0 -0.03,0.01 -0.02,0 -0.03,0.01 -0.02,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3710"
+ d="m 287.64,709.61 0,0.03 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.01,0.02 -0.02,0.02 -0.03,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0.01 -0.02,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3712"
+ d="m 292.18,707.14 0,0.06 0,0.06 -0.01,0.05 0,0.06 -0.01,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.01,0.04 -0.02,0.03 -0.03,0.04 -0.02,0.03 -0.02,0.03 -0.03,0.02 -0.02,0.03 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0 -0.04,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.14 0,-0.74 -0.35,-1.34 -0.68,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.91,0.77 0.91,1.94 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3714"
+ d="m 299.98,713.2 0.01,0.03 0,0.02 0.01,0.03 0.01,0.03 0,0.02 0.01,0.03 0.01,0.02 0.01,0.02 0.01,0.02 0,0.02 0.01,0.02 0.01,0.01 0.02,0.02 0.01,0.01 0.01,0.02 0.02,0.01 0.01,0.01 0.02,0.01 0.02,0.01 0.02,0.01 0.03,0.01 0.02,0 0.03,0.01 0.01,0 0.02,0 0.01,0.01 0.02,0 0.01,0 0.02,0 0.02,0.01 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.03,0 0.02,0 0.03,0 c 0.16,0 0.27,0 0.27,0.19 0,0.09 -0.06,0.12 -0.14,0.12 -0.25,0 -0.86,-0.03 -1.11,-0.03 -0.33,0 -1.14,0.03 -1.47,0.03 -0.08,0 -0.2,0 -0.2,-0.2 0,-0.11 0.07,-0.11 0.34,-0.11 0.22,0 0.32,0 0.57,-0.02 0.24,-0.03 0.31,-0.06 0.31,-0.19 0,-0.06 -0.02,-0.13 -0.04,-0.21 l -1.14,-4.57 c -0.24,-0.97 -0.92,-1.5 -1.44,-1.5 -0.26,0 -0.79,0.1 -0.95,0.62 0.03,-0.01 0.1,-0.01 0.12,-0.01 0.39,0 0.65,0.34 0.65,0.64 0,0.32 -0.27,0.42 -0.44,0.42 -0.18,0 -0.67,-0.12 -0.67,-0.8 0,-0.62 0.53,-1.08 1.32,-1.08 0.92,0 1.95,0.65 2.2,1.64 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3716"
+ d="m 301.46,710.27 0,0.01 0,0.01 0,0.01 0,0.01 0,0.02 0,0.01 0,0.02 -0.01,0.01 0,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.17,0 -0.17,-0.16 -0.17,-0.27 v -6.41 c 0,-0.1 0,-0.27 0.16,-0.27 0.18,0 0.18,0.16 0.18,0.27 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3718"
+ d="m 306.63,709.54 0.01,0.02 0,0.02 0.01,0.02 0,0.02 0.01,0.02 0,0.02 0.01,0.01 0,0.02 0.01,0.01 0.01,0.01 0,0.02 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.02,0 0.01,0.01 0.02,0 0.01,0.01 0.02,0 0.01,0 0.01,0 0.01,0.01 0.01,0 0.02,0 0.01,0 0.01,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.02,0.01 c 0.08,0 0.18,0 0.18,0.14 0,0.08 -0.05,0.11 -0.1,0.11 -0.17,0 -0.59,-0.03 -0.75,-0.03 -0.15,0 -0.39,0 -0.54,0 -0.18,0.01 -0.38,0.03 -0.55,0.03 -0.05,0 -0.16,0 -0.16,-0.15 0,-0.1 0.07,-0.1 0.28,-0.1 0.16,0 0.19,0 0.36,-0.02 0.2,-0.02 0.22,-0.04 0.22,-0.12 0,-0.05 0,-0.07 -0.03,-0.16 l -0.8,-3.19 c -0.13,-0.52 -0.58,-0.96 -1.03,-0.96 -0.09,0 -0.53,0.02 -0.69,0.36 0.4,0 0.49,0.33 0.49,0.46 0,0.19 -0.17,0.29 -0.32,0.29 -0.19,0 -0.47,-0.15 -0.47,-0.54 0,-0.45 0.43,-0.76 1.01,-0.76 0.69,0 1.46,0.43 1.63,1.13 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3720"
+ d="m 308.89,710.27 0,0.01 0,0.01 0,0.01 0,0.01 0,0.02 0,0.01 0,0.02 0,0.01 -0.01,0.01 0,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0 0,0 0,0.01 -0.01,0 0,0 -0.01,0 0,0.01 -0.01,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 c -0.17,0 -0.17,-0.16 -0.17,-0.27 v -6.41 c 0,-0.1 0,-0.27 0.17,-0.27 0.17,0 0.17,0.16 0.17,0.27 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path3722"
+ d="m 313.44,709.62 0,0.27 -0.01,0.29 -0.02,0.29 -0.03,0.31 -0.03,0.31 -0.05,0.32 -0.07,0.33 -0.07,0.33 -0.05,0.17 -0.05,0.16 -0.05,0.17 -0.06,0.17 -0.06,0.17 -0.06,0.16 -0.07,0.17 -0.08,0.17 -0.08,0.17 -0.08,0.16 -0.09,0.17 -0.1,0.16 -0.1,0.17 -0.11,0.16 -0.11,0.16 -0.12,0.16 c -0.1,0.12 -0.75,0.87 -0.93,0.87 -0.05,0 -0.12,-0.02 -0.12,-0.1 0,-0.04 0.02,-0.07 0.06,-0.1 0.48,-0.51 1.13,-1.32 1.54,-2.9 0.23,-0.91 0.32,-1.93 0.32,-2.86 0,-1 -0.09,-2.02 -0.35,-2.99 -0.38,-1.4 -0.97,-2.19 -1.48,-2.75 -0.09,-0.09 -0.09,-0.11 -0.09,-0.13 0,-0.08 0.07,-0.1 0.12,-0.1 0.15,0 0.7,0.61 0.82,0.75 1.02,1.2 1.66,2.99 1.66,5.21 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+</g> <g
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="g4025"
+ transform="matrix(1,0,0,-1,-192.85714,790.28571)"
+ xml:space="preserve"
+ stroke-miterlimit="10.433"
+ font-style="normal"
+ font-variant="normal"
+ font-weight="normal"
+ font-stretch="normal"
+ font-size-adjust="none"
+ letter-spacing="normal"
+ word-spacing="normal"
+ ns0:text="$l_1 \\left(I_1, \\cdots, I_{|I|}\\right)$"
+ ns0:preamble="">
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 226,713.92 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 -0.01,0 0,0.01 0,0 -0.01,0.01 0,0 0,0.01 -0.01,0 0,0 0,0 -0.01,0.01 0,0 0,0 0,0 -0.01,0 0,0.01 0,0 -0.01,0 0,0 -0.01,0 0,0 0,0.01 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.22,0 -0.95,-0.08 -1.21,-0.1 -0.08,-0.01 -0.19,-0.02 -0.19,-0.21 0,-0.11 0.1,-0.11 0.25,-0.11 0.48,0 0.49,-0.09 0.49,-0.16 l -0.03,-0.2 -1.26,-4.98 c -0.03,-0.11 -0.05,-0.18 -0.05,-0.34 0,-0.57 0.44,-0.91 0.91,-0.91 0.33,0 0.58,0.2 0.74,0.55 0.19,0.38 0.3,0.96 0.3,0.98 0,0.1 -0.08,0.1 -0.11,0.1 -0.11,0 -0.11,-0.04 -0.14,-0.18 -0.17,-0.65 -0.36,-1.24 -0.76,-1.24 -0.3,0 -0.3,0.32 -0.3,0.46 0,0.24 0.01,0.29 0.06,0.48 z"
+ id="path4027" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 228.74,710.05 0,0.01 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0 0,0.01 -0.01,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 -0.01,0.01 0,0 0,0.01 -0.01,0.01 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0.01 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 c -0.45,-0.44 -1.08,-0.45 -1.37,-0.45 v -0.25 c 0.17,0 0.63,0 1.01,0.2 v -3.55 c 0,-0.23 0,-0.32 -0.69,-0.32 h -0.27 v -0.25 c 0.13,0.01 0.99,0.03 1.24,0.03 0.22,0 1.1,-0.02 1.25,-0.03 v 0.25 h -0.27 c -0.69,0 -0.69,0.09 -0.69,0.32 z"
+ id="path4029" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 236.65,703.76 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0 -0.01,0.01 0,0 0,0 0,0.01 0,0 0,0 -0.01,0.01 0,0 0,0.01 -0.01,0 0,0.01 0,0 -0.01,0.01 c -0.46,0.49 -1.13,1.29 -1.55,2.92 -0.23,0.9 -0.32,1.93 -0.32,2.85 0,2.62 0.63,4.45 1.82,5.74 0.09,0.09 0.09,0.11 0.09,0.13 0,0.1 -0.08,0.1 -0.12,0.1 -0.15,0 -0.68,-0.59 -0.82,-0.74 -1.01,-1.21 -1.66,-3 -1.66,-5.22 0,-1.41 0.25,-3.41 1.55,-5.09 0.11,-0.12 0.75,-0.88 0.93,-0.88 0.04,0 0.12,0 0.12,0.1 z"
+ id="path4031" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 240.83,713.16 0.01,0.03 0.01,0.03 0,0.03 0.01,0.03 0.01,0.03 0.01,0.02 0.01,0.03 0.01,0.02 0.01,0.02 0.01,0.02 0.01,0.02 0.02,0.02 0.01,0.02 0.02,0.01 0.02,0.02 0.02,0.01 0.02,0.01 0.03,0.01 0.03,0.01 0.03,0.01 0.03,0.01 0.02,0.01 0.02,0 0.01,0 0.02,0.01 0.02,0 0.02,0 0.03,0.01 0.02,0 0.02,0 0.03,0 0.02,0 0.03,0.01 0.03,0 0.02,0 0.03,0 0.03,0 0.04,0 0.03,0 0.03,0 0.03,0 0.04,0 0.04,0 c 0.24,0 0.31,0 0.31,0.19 0,0.12 -0.1,0.12 -0.14,0.12 -0.29,0 -1.03,-0.03 -1.32,-0.03 -0.3,0 -1.03,0.03 -1.33,0.03 -0.07,0 -0.19,0 -0.19,-0.2 0,-0.11 0.08,-0.11 0.27,-0.11 0.42,0 0.69,0 0.69,-0.19 0,-0.04 0,-0.07 -0.02,-0.15 l -1.34,-5.37 c -0.09,-0.37 -0.12,-0.47 -0.91,-0.47 -0.23,0 -0.32,0 -0.32,-0.2 0,-0.11 0.12,-0.11 0.15,-0.11 0.29,0 1.02,0.04 1.31,0.04 0.29,0 1.03,-0.04 1.33,-0.04 0.08,0 0.2,0 0.2,0.19 0,0.12 -0.08,0.12 -0.3,0.12 -0.18,0 -0.23,0 -0.43,0.02 -0.21,0.02 -0.25,0.06 -0.25,0.17 0,0.08 0.02,0.16 0.04,0.23 z"
+ id="path4033" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 243.81,710.05 0,0.01 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0 -0.01,0.01 0,0.01 0,0.01 -0.01,0 0,0.01 0,0.01 -0.01,0 0,0.01 -0.01,0 -0.01,0 0,0.01 -0.01,0 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 0,0.01 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 -0.01,0 -0.01,0 c -0.44,-0.44 -1.08,-0.45 -1.36,-0.45 v -0.25 c 0.17,0 0.63,0 1.01,0.2 v -3.55 c 0,-0.23 0,-0.32 -0.7,-0.32 h -0.26 v -0.25 c 0.12,0.01 0.98,0.03 1.24,0.03 0.21,0 1.09,-0.02 1.24,-0.03 v 0.25 h -0.26 c -0.7,0 -0.7,0.09 -0.7,0.32 z"
+ id="path4035" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 247.97,707.14 0,0.06 0,0.06 0,0.05 -0.01,0.06 0,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.02,0.05 -0.01,0.04 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.03,0.03 -0.02,0.02 -0.03,0.03 -0.02,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0.01 -0.03,0.01 -0.04,0 -0.03,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.34,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.14 0,-0.74 -0.35,-1.34 -0.67,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.9,0.77 0.9,1.94 z"
+ id="path4037" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 252.29,709.61 0,0.03 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path4039" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 256.72,709.61 0,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0 c -0.29,0 -0.52,-0.24 -0.52,-0.53 0,-0.29 0.23,-0.52 0.52,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path4041" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 261.14,709.61 0,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.03 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0 c -0.28,0 -0.52,-0.24 -0.52,-0.53 0,-0.29 0.24,-0.52 0.52,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path4043" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 265.68,707.14 0,0.06 0,0.06 0,0.05 -0.01,0.06 0,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.03,0.03 -0.02,0.02 -0.03,0.03 -0.02,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0.01 -0.04,0 -0.03,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.02,0.02 0.03,0.03 0.05,0.03 0,0 0.01,-0.01 0.01,-0.14 0,-0.74 -0.34,-1.34 -0.67,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.9,0.77 0.9,1.94 z"
+ id="path4045" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 271.82,713.16 0.01,0.03 0.01,0.03 0.01,0.03 0,0.03 0.01,0.03 0.01,0.02 0.01,0.03 0.01,0.02 0.01,0.02 0.01,0.02 0.02,0.02 0.01,0.02 0.02,0.02 0.01,0.01 0.02,0.02 0.02,0.01 0.03,0.01 0.02,0.01 0.03,0.01 0.03,0.01 0.03,0.01 0.02,0.01 0.02,0 0.02,0 0.01,0.01 0.03,0 0.02,0 0.02,0.01 0.02,0 0.02,0 0.03,0 0.02,0 0.03,0.01 0.03,0 0.03,0 0.03,0 0.03,0 0.03,0 0.03,0 0.03,0 0.04,0 0.03,0 0.04,0 c 0.24,0 0.32,0 0.32,0.19 0,0.12 -0.11,0.12 -0.15,0.12 -0.29,0 -1.03,-0.03 -1.32,-0.03 -0.3,0 -1.03,0.03 -1.32,0.03 -0.07,0 -0.2,0 -0.2,-0.2 0,-0.11 0.09,-0.11 0.27,-0.11 0.42,0 0.69,0 0.69,-0.19 0,-0.04 0,-0.07 -0.02,-0.15 l -1.34,-5.37 c -0.09,-0.37 -0.12,-0.47 -0.91,-0.47 -0.23,0 -0.32,0 -0.32,-0.2 0,-0.11 0.12,-0.11 0.15,-0.11 0.29,0 1.02,0.04 1.31,0.04 0.3,0 1.03,-0.04 1.33,-0.04 0.08,0 0.2,0 0.2,0.19 0,0.12 -0.08,0.12 -0.3,0.12 -0.18,0 -0.23,0 -0.43,0.02 -0.21,0.02 -0.24,0.06 -0.24,0.17 0,0.08 0.01,0.16 0.03,0.23 z"
+ id="path4047" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 273.82,710.27 0,0.01 0,0.01 0,0.01 0,0.01 0,0.02 0,0.01 0,0.02 0,0.01 -0.01,0.01 0,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.17,0 -0.17,-0.16 -0.17,-0.27 v -6.41 c 0,-0.1 0,-0.27 0.16,-0.27 0.18,0 0.18,0.16 0.18,0.27 z"
+ id="path4049" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 277.71,709.53 0.01,0.02 0,0.02 0.01,0.02 0,0.02 0.01,0.01 0,0.02 0.01,0.02 0.01,0.01 0,0.02 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0.02 0.01,0.01 0.01,0.01 0.02,0 0.01,0.01 0.02,0.01 0.02,0.01 0.02,0 0.02,0.01 0.01,0 0.01,0 0.01,0.01 0.02,0 0.01,0 0.01,0 0.02,0 0.01,0 0.02,0.01 0.02,0 0.01,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.03,0.01 c 0.17,0 0.26,0 0.26,0.14 0,0.06 -0.05,0.11 -0.11,0.11 -0.15,0 -0.32,-0.03 -0.47,-0.03 -0.15,0 -0.32,0 -0.47,0 0,0 -0.48,0 -0.48,0 -0.16,0 -0.33,0.03 -0.49,0.03 -0.04,0 -0.14,0 -0.14,-0.16 0,-0.09 0.07,-0.09 0.23,-0.09 0,0 0.14,0 0.26,-0.02 0.14,-0.01 0.19,-0.02 0.19,-0.1 0,-0.04 -0.01,-0.09 -0.03,-0.14 l -0.92,-3.69 c -0.06,-0.23 -0.08,-0.3 -0.6,-0.3 -0.19,0 -0.26,0 -0.26,-0.16 0,0 0,-0.09 0.11,-0.09 0.21,0 0.73,0.02 0.94,0.02 l 0.48,0 c 0.15,0 0.33,-0.02 0.48,-0.02 0.04,0 0.15,0 0.15,0.15 0,0.1 -0.08,0.1 -0.22,0.1 -0.02,0 -0.16,0 -0.3,0.01 -0.16,0.01 -0.16,0.04 -0.16,0.11 0,0 0,0.04 0.02,0.15 z"
+ id="path4051" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 280.26,710.27 0,0.01 0,0.01 0,0.01 0,0.01 0,0.02 0,0.01 0,0.02 -0.01,0.01 0,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.17,0 -0.17,-0.16 -0.17,-0.27 v -6.41 c 0,-0.1 0,-0.27 0.16,-0.27 0.18,0 0.18,0.16 0.18,0.27 z"
+ id="path4053" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 284.81,709.62 0,0.27 -0.01,0.29 -0.02,0.29 -0.03,0.31 -0.04,0.31 -0.05,0.32 -0.06,0.33 -0.08,0.33 -0.04,0.17 -0.05,0.16 -0.05,0.17 -0.06,0.17 -0.06,0.17 -0.06,0.16 -0.07,0.17 -0.08,0.17 -0.08,0.17 -0.09,0.16 -0.09,0.17 -0.09,0.16 -0.1,0.17 -0.11,0.16 -0.11,0.16 -0.12,0.16 c -0.1,0.12 -0.75,0.87 -0.93,0.87 -0.05,0 -0.12,-0.02 -0.12,-0.1 0,-0.04 0.02,-0.07 0.06,-0.1 0.48,-0.51 1.13,-1.32 1.53,-2.9 0.23,-0.91 0.32,-1.93 0.32,-2.86 0,-1 -0.09,-2.02 -0.35,-2.99 -0.37,-1.4 -0.96,-2.19 -1.47,-2.75 -0.09,-0.09 -0.09,-0.11 -0.09,-0.13 0,-0.08 0.07,-0.1 0.12,-0.1 0.15,0 0.7,0.61 0.82,0.75 1.01,1.2 1.66,2.99 1.66,5.21 z"
+ id="path4055" />
+</g> <g
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="g4683"
+ transform="matrix(1,0,0,-1,-194.6967,832.84394)"
+ xml:space="preserve"
+ stroke-miterlimit="10.433"
+ font-style="normal"
+ font-variant="normal"
+ font-weight="normal"
+ font-stretch="normal"
+ font-size-adjust="none"
+ letter-spacing="normal"
+ word-spacing="normal"
+ ns0:text="$\\mathtt{ops}~\\cdots$"
+ ns0:preamble="">
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 228.09,709.28 -0.01,0.11 0,0.12 -0.02,0.11 -0.02,0.11 -0.02,0.11 -0.03,0.1 -0.03,0.11 -0.04,0.1 -0.04,0.1 -0.04,0.09 -0.05,0.1 -0.06,0.09 -0.05,0.08 -0.06,0.09 -0.07,0.08 -0.07,0.08 -0.07,0.07 -0.07,0.07 -0.08,0.07 -0.08,0.06 -0.08,0.05 -0.09,0.06 -0.09,0.05 -0.09,0.04 -0.09,0.04 -0.09,0.03 -0.1,0.03 -0.1,0.03 -0.1,0.02 -0.1,0.01 -0.1,0.01 -0.11,0 c -1.11,0 -2.04,-0.98 -2.04,-2.22 0,-1.27 0.95,-2.21 2.04,-2.21 v 0.6 c -0.73,0 -1.35,0.75 -1.35,1.67 0,0.91 0.65,1.56 1.35,1.56 0.72,0 1.36,-0.65 1.36,-1.56 0,-0.92 -0.62,-1.67 -1.36,-1.67 h 0 v -0.6 c 1.1,0 2.05,0.95 2.05,2.21 z"
+ id="path4685" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 230.32,707.57 0.04,-0.04 0.03,-0.03 0.04,-0.04 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.04,-0.02 0.03,-0.03 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.03,-0.02 0.04,-0.01 0.04,-0.02 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.04,-0.01 0.03,-0.01 0.04,0 0.03,-0.01 0.03,0 0.07,-0.01 0.06,0 0.06,0 -0.03,0.6 c -0.77,0 -1.12,0.88 -1.12,1.36 v 0.72 c 0,0.59 0.58,1.12 1.2,1.12 0.74,0 1.32,-0.73 1.32,-1.59 0,-0.96 -0.7,-1.61 -1.4,-1.61 l 0.03,-0.6 c 1.09,0 2.06,0.94 2.06,2.21 0,1.22 -0.89,2.19 -1.95,2.19 -0.48,0 -0.92,-0.18 -1.26,-0.48 0,0.29 -0.02,0.42 -0.4,0.42 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -5.29 h -0.44 c -0.16,0 -0.41,0 -0.41,-0.31 0,-0.29 0.26,-0.29 0.4,-0.29 h 1.59 c 0.13,0 0.39,0 0.39,0.29 0,0.31 -0.25,0.31 -0.4,0.31 h -0.44 z"
+ id="path4687" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 236.86,709.66 -0.04,0.01 -0.04,0.01 -0.08,0.01 -0.09,0.02 -0.08,0.01 -0.04,0.01 -0.04,0 -0.04,0.01 -0.05,0.01 -0.04,0.01 -0.04,0 -0.05,0.01 -0.05,0.01 c -0.28,0.04 -0.96,0.16 -0.96,0.55 0,0.26 0.32,0.57 1.26,0.57 0.83,0 0.97,-0.3 1,-0.56 0.01,-0.17 0.03,-0.34 0.34,-0.34 0.35,0 0.35,0.21 0.35,0.41 v 0.69 c 0,0.16 0,0.4 -0.3,0.4 -0.24,0 -0.28,-0.14 -0.3,-0.21 -0.44,0.21 -0.88,0.21 -1.07,0.21 -1.66,0 -1.89,-0.81 -1.89,-1.17 0,-0.92 1.05,-1.09 1.96,-1.22 0.49,-0.08 1.29,-0.21 1.29,-0.74 0,-0.37 -0.37,-0.7 -1.28,-0.7 -0.46,0 -1.02,0.11 -1.27,0.89 -0.05,0.18 -0.09,0.29 -0.35,0.29 -0.35,0 -0.35,-0.21 -0.35,-0.41 v -0.97 c 0,-0.16 0,-0.4 0.3,-0.4 0.09,0 0.25,0.01 0.37,0.37 0.49,-0.35 1.01,-0.37 1.29,-0.37 1.58,0 1.9,0.82 1.9,1.3 0,1.03 -1.29,1.24 -1.61,1.29 z"
+ id="path4689" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 246.02,709.61 0,0.03 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0.01 -0.02,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path4691" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 250.45,709.61 0,0.03 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.01,0.02 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0.01 -0.02,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path4693" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 254.87,709.61 0,0.03 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path4695" />
+</g> <path
+ style="fill:none;stroke:#000000;stroke-width:0.56020665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Lend)"
+ d="m 130.34688,360.24472 c -4.34571,33.35282 -2.53599,27.89002 -4.9355,51.3554"
+ id="path3559-7"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="cc" />
+ <g
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="g4025-5"
+ transform="matrix(1,0,0,-1,-192.9308,981.7528)"
+ xml:space="preserve"
+ stroke-miterlimit="10.433"
+ font-style="normal"
+ font-variant="normal"
+ font-weight="normal"
+ font-stretch="normal"
+ font-size-adjust="none"
+ letter-spacing="normal"
+ word-spacing="normal"
+ ns0:text="$l_1 \\left(I_1, \\cdots, I_{|I|}\\right)$"
+ ns0:preamble="">
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 226,713.92 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 -0.01,0 0,0.01 0,0 -0.01,0.01 0,0 0,0.01 -0.01,0 0,0 0,0 -0.01,0.01 0,0 0,0 0,0 -0.01,0 0,0.01 0,0 -0.01,0 0,0 -0.01,0 0,0 0,0.01 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.22,0 -0.95,-0.08 -1.21,-0.1 -0.08,-0.01 -0.19,-0.02 -0.19,-0.21 0,-0.11 0.1,-0.11 0.25,-0.11 0.48,0 0.49,-0.09 0.49,-0.16 l -0.03,-0.2 -1.26,-4.98 c -0.03,-0.11 -0.05,-0.18 -0.05,-0.34 0,-0.57 0.44,-0.91 0.91,-0.91 0.33,0 0.58,0.2 0.74,0.55 0.19,0.38 0.3,0.96 0.3,0.98 0,0.1 -0.08,0.1 -0.11,0.1 -0.11,0 -0.11,-0.04 -0.14,-0.18 -0.17,-0.65 -0.36,-1.24 -0.76,-1.24 -0.3,0 -0.3,0.32 -0.3,0.46 0,0.24 0.01,0.29 0.06,0.48 z"
+ id="path4027-8" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 228.74,710.05 0,0.01 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0 0,0.01 -0.01,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 -0.01,0.01 0,0 0,0.01 -0.01,0.01 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0.01 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 c -0.45,-0.44 -1.08,-0.45 -1.37,-0.45 v -0.25 c 0.17,0 0.63,0 1.01,0.2 v -3.55 c 0,-0.23 0,-0.32 -0.69,-0.32 h -0.27 v -0.25 c 0.13,0.01 0.99,0.03 1.24,0.03 0.22,0 1.1,-0.02 1.25,-0.03 v 0.25 h -0.27 c -0.69,0 -0.69,0.09 -0.69,0.32 z"
+ id="path4029-4" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 236.65,703.76 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0 -0.01,0.01 0,0 0,0 0,0.01 0,0 0,0 -0.01,0.01 0,0 0,0.01 -0.01,0 0,0.01 0,0 -0.01,0.01 c -0.46,0.49 -1.13,1.29 -1.55,2.92 -0.23,0.9 -0.32,1.93 -0.32,2.85 0,2.62 0.63,4.45 1.82,5.74 0.09,0.09 0.09,0.11 0.09,0.13 0,0.1 -0.08,0.1 -0.12,0.1 -0.15,0 -0.68,-0.59 -0.82,-0.74 -1.01,-1.21 -1.66,-3 -1.66,-5.22 0,-1.41 0.25,-3.41 1.55,-5.09 0.11,-0.12 0.75,-0.88 0.93,-0.88 0.04,0 0.12,0 0.12,0.1 z"
+ id="path4031-3" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 240.83,713.16 0.01,0.03 0.01,0.03 0,0.03 0.01,0.03 0.01,0.03 0.01,0.02 0.01,0.03 0.01,0.02 0.01,0.02 0.01,0.02 0.01,0.02 0.02,0.02 0.01,0.02 0.02,0.01 0.02,0.02 0.02,0.01 0.02,0.01 0.03,0.01 0.03,0.01 0.03,0.01 0.03,0.01 0.02,0.01 0.02,0 0.01,0 0.02,0.01 0.02,0 0.02,0 0.03,0.01 0.02,0 0.02,0 0.03,0 0.02,0 0.03,0.01 0.03,0 0.02,0 0.03,0 0.03,0 0.04,0 0.03,0 0.03,0 0.03,0 0.04,0 0.04,0 c 0.24,0 0.31,0 0.31,0.19 0,0.12 -0.1,0.12 -0.14,0.12 -0.29,0 -1.03,-0.03 -1.32,-0.03 -0.3,0 -1.03,0.03 -1.33,0.03 -0.07,0 -0.19,0 -0.19,-0.2 0,-0.11 0.08,-0.11 0.27,-0.11 0.42,0 0.69,0 0.69,-0.19 0,-0.04 0,-0.07 -0.02,-0.15 l -1.34,-5.37 c -0.09,-0.37 -0.12,-0.47 -0.91,-0.47 -0.23,0 -0.32,0 -0.32,-0.2 0,-0.11 0.12,-0.11 0.15,-0.11 0.29,0 1.02,0.04 1.31,0.04 0.29,0 1.03,-0.04 1.33,-0.04 0.08,0 0.2,0 0.2,0.19 0,0.12 -0.08,0.12 -0.3,0.12 -0.18,0 -0.23,0 -0.43,0.02 -0.21,0.02 -0.25,0.06 -0.25,0.17 0,0.08 0.02,0.16 0.04,0.23 z"
+ id="path4033-7" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 243.81,710.05 0,0.01 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0 -0.01,0.01 0,0.01 0,0.01 -0.01,0 0,0.01 0,0.01 -0.01,0 0,0.01 -0.01,0 -0.01,0 0,0.01 -0.01,0 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 0,0.01 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 -0.01,0 -0.01,0 c -0.44,-0.44 -1.08,-0.45 -1.36,-0.45 v -0.25 c 0.17,0 0.63,0 1.01,0.2 v -3.55 c 0,-0.23 0,-0.32 -0.7,-0.32 h -0.26 v -0.25 c 0.12,0.01 0.98,0.03 1.24,0.03 0.21,0 1.09,-0.02 1.24,-0.03 v 0.25 h -0.26 c -0.7,0 -0.7,0.09 -0.7,0.32 z"
+ id="path4035-1" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 247.97,707.14 0,0.06 0,0.06 0,0.05 -0.01,0.06 0,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.02,0.05 -0.01,0.04 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.03,0.03 -0.02,0.02 -0.03,0.03 -0.02,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0.01 -0.03,0.01 -0.04,0 -0.03,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.34,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.14 0,-0.74 -0.35,-1.34 -0.67,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.9,0.77 0.9,1.94 z"
+ id="path4037-3" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 252.29,709.61 0,0.03 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path4039-8" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 256.72,709.61 0,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0 c -0.29,0 -0.52,-0.24 -0.52,-0.53 0,-0.29 0.23,-0.52 0.52,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path4041-0" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 261.14,709.61 0,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.03 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0 c -0.28,0 -0.52,-0.24 -0.52,-0.53 0,-0.29 0.24,-0.52 0.52,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path4043-9" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 265.68,707.14 0,0.06 0,0.06 0,0.05 -0.01,0.06 0,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.03,0.03 -0.02,0.02 -0.03,0.03 -0.02,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0.01 -0.04,0 -0.03,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.02,0.02 0.03,0.03 0.05,0.03 0,0 0.01,-0.01 0.01,-0.14 0,-0.74 -0.34,-1.34 -0.67,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.9,0.77 0.9,1.94 z"
+ id="path4045-7" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 271.82,713.16 0.01,0.03 0.01,0.03 0.01,0.03 0,0.03 0.01,0.03 0.01,0.02 0.01,0.03 0.01,0.02 0.01,0.02 0.01,0.02 0.02,0.02 0.01,0.02 0.02,0.02 0.01,0.01 0.02,0.02 0.02,0.01 0.03,0.01 0.02,0.01 0.03,0.01 0.03,0.01 0.03,0.01 0.02,0.01 0.02,0 0.02,0 0.01,0.01 0.03,0 0.02,0 0.02,0.01 0.02,0 0.02,0 0.03,0 0.02,0 0.03,0.01 0.03,0 0.03,0 0.03,0 0.03,0 0.03,0 0.03,0 0.03,0 0.04,0 0.03,0 0.04,0 c 0.24,0 0.32,0 0.32,0.19 0,0.12 -0.11,0.12 -0.15,0.12 -0.29,0 -1.03,-0.03 -1.32,-0.03 -0.3,0 -1.03,0.03 -1.32,0.03 -0.07,0 -0.2,0 -0.2,-0.2 0,-0.11 0.09,-0.11 0.27,-0.11 0.42,0 0.69,0 0.69,-0.19 0,-0.04 0,-0.07 -0.02,-0.15 l -1.34,-5.37 c -0.09,-0.37 -0.12,-0.47 -0.91,-0.47 -0.23,0 -0.32,0 -0.32,-0.2 0,-0.11 0.12,-0.11 0.15,-0.11 0.29,0 1.02,0.04 1.31,0.04 0.3,0 1.03,-0.04 1.33,-0.04 0.08,0 0.2,0 0.2,0.19 0,0.12 -0.08,0.12 -0.3,0.12 -0.18,0 -0.23,0 -0.43,0.02 -0.21,0.02 -0.24,0.06 -0.24,0.17 0,0.08 0.01,0.16 0.03,0.23 z"
+ id="path4047-9" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 273.82,710.27 0,0.01 0,0.01 0,0.01 0,0.01 0,0.02 0,0.01 0,0.02 0,0.01 -0.01,0.01 0,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.17,0 -0.17,-0.16 -0.17,-0.27 v -6.41 c 0,-0.1 0,-0.27 0.16,-0.27 0.18,0 0.18,0.16 0.18,0.27 z"
+ id="path4049-9" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 277.71,709.53 0.01,0.02 0,0.02 0.01,0.02 0,0.02 0.01,0.01 0,0.02 0.01,0.02 0.01,0.01 0,0.02 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0.02 0.01,0.01 0.01,0.01 0.02,0 0.01,0.01 0.02,0.01 0.02,0.01 0.02,0 0.02,0.01 0.01,0 0.01,0 0.01,0.01 0.02,0 0.01,0 0.01,0 0.02,0 0.01,0 0.02,0.01 0.02,0 0.01,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.03,0.01 c 0.17,0 0.26,0 0.26,0.14 0,0.06 -0.05,0.11 -0.11,0.11 -0.15,0 -0.32,-0.03 -0.47,-0.03 -0.15,0 -0.32,0 -0.47,0 0,0 -0.48,0 -0.48,0 -0.16,0 -0.33,0.03 -0.49,0.03 -0.04,0 -0.14,0 -0.14,-0.16 0,-0.09 0.07,-0.09 0.23,-0.09 0,0 0.14,0 0.26,-0.02 0.14,-0.01 0.19,-0.02 0.19,-0.1 0,-0.04 -0.01,-0.09 -0.03,-0.14 l -0.92,-3.69 c -0.06,-0.23 -0.08,-0.3 -0.6,-0.3 -0.19,0 -0.26,0 -0.26,-0.16 0,0 0,-0.09 0.11,-0.09 0.21,0 0.73,0.02 0.94,0.02 l 0.48,0 c 0.15,0 0.33,-0.02 0.48,-0.02 0.04,0 0.15,0 0.15,0.15 0,0.1 -0.08,0.1 -0.22,0.1 -0.02,0 -0.16,0 -0.3,0.01 -0.16,0.01 -0.16,0.04 -0.16,0.11 0,0 0,0.04 0.02,0.15 z"
+ id="path4051-3" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 280.26,710.27 0,0.01 0,0.01 0,0.01 0,0.01 0,0.02 0,0.01 0,0.02 -0.01,0.01 0,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.17,0 -0.17,-0.16 -0.17,-0.27 v -6.41 c 0,-0.1 0,-0.27 0.16,-0.27 0.18,0 0.18,0.16 0.18,0.27 z"
+ id="path4053-2" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 284.81,709.62 0,0.27 -0.01,0.29 -0.02,0.29 -0.03,0.31 -0.04,0.31 -0.05,0.32 -0.06,0.33 -0.08,0.33 -0.04,0.17 -0.05,0.16 -0.05,0.17 -0.06,0.17 -0.06,0.17 -0.06,0.16 -0.07,0.17 -0.08,0.17 -0.08,0.17 -0.09,0.16 -0.09,0.17 -0.09,0.16 -0.1,0.17 -0.11,0.16 -0.11,0.16 -0.12,0.16 c -0.1,0.12 -0.75,0.87 -0.93,0.87 -0.05,0 -0.12,-0.02 -0.12,-0.1 0,-0.04 0.02,-0.07 0.06,-0.1 0.48,-0.51 1.13,-1.32 1.53,-2.9 0.23,-0.91 0.32,-1.93 0.32,-2.86 0,-1 -0.09,-2.02 -0.35,-2.99 -0.37,-1.4 -0.96,-2.19 -1.47,-2.75 -0.09,-0.09 -0.09,-0.11 -0.09,-0.13 0,-0.08 0.07,-0.1 0.12,-0.1 0.15,0 0.7,0.61 0.82,0.75 1.01,1.2 1.66,2.99 1.66,5.21 z"
+ id="path4055-4" />
+</g> <g
+ id="g5949"
+ transform="matrix(1,0,0,-1,-194.77036,1154.311)"
+ xml:space="preserve"
+ stroke-miterlimit="10.433"
+ font-style="normal"
+ font-variant="normal"
+ font-weight="normal"
+ font-stretch="normal"
+ font-size-adjust="none"
+ letter-spacing="normal"
+ word-spacing="normal"
+ ns0:text="$\\mathtt{copy~of~ops}~\\cdots$"
+ ns0:preamble=""
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+ d="m 228.08,708.21 0,0.01 0,0.02 0,0.01 -0.01,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 -0.01,0.01 0,0 -0.01,0.01 0,0.01 -0.01,0 -0.01,0.01 0,0.01 -0.01,0 0,0.01 -0.02,0.01 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.02,0 -0.01,0.01 -0.02,0 -0.01,0.01 -0.02,0 -0.01,0.01 -0.01,0 -0.02,0 -0.01,0 -0.02,0.01 -0.01,0 -0.01,0 -0.01,0 -0.01,0 -0.01,0 -0.01,0 0,0 0,0 c -0.16,0 -0.26,-0.02 -0.33,-0.22 -0.06,-0.13 -0.25,-0.6 -0.99,-0.6 -0.84,0 -1.56,0.7 -1.56,1.61 0,0.47 0.28,1.62 1.62,1.62 0.21,0 0.6,0 0.6,-0.09 0.01,-0.35 0.2,-0.49 0.44,-0.49 0.24,0 0.45,0.17 0.45,0.46 0,0.72 -1.04,0.72 -1.49,0.72 -1.71,0 -2.31,-1.35 -2.31,-2.22 0,-1.2 0.94,-2.21 2.19,-2.21 1.39,0 1.73,0.97 1.73,1.14 z"
+ id="path5951"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 233.32,709.28 0,0.11 -0.01,0.12 -0.02,0.11 -0.01,0.11 -0.03,0.11 -0.02,0.1 -0.04,0.11 -0.03,0.1 -0.05,0.1 -0.04,0.09 -0.05,0.1 -0.05,0.09 -0.06,0.08 -0.06,0.09 -0.07,0.08 -0.07,0.08 -0.07,0.07 -0.07,0.07 -0.08,0.07 -0.08,0.06 -0.08,0.05 -0.09,0.06 -0.09,0.05 -0.09,0.04 -0.09,0.04 -0.09,0.03 -0.1,0.03 -0.1,0.03 -0.1,0.02 -0.1,0.01 -0.1,0.01 -0.11,0 c -1.11,0 -2.04,-0.98 -2.04,-2.22 0,-1.27 0.95,-2.21 2.04,-2.21 v 0.6 c -0.73,0 -1.35,0.75 -1.35,1.67 0,0.91 0.65,1.56 1.35,1.56 0.72,0 1.36,-0.65 1.36,-1.56 0,-0.92 -0.62,-1.67 -1.36,-1.67 h 0 v -0.6 c 1.1,0 2.05,0.95 2.05,2.21 z"
+ id="path5953"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 235.55,707.57 0.04,-0.04 0.03,-0.03 0.04,-0.04 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.04,-0.02 0.03,-0.03 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.03,-0.02 0.04,-0.01 0.04,-0.02 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.03,-0.01 0.04,0 0.03,-0.01 0.03,0 0.07,-0.01 0.06,0 0.06,0 -0.03,0.6 c -0.77,0 -1.12,0.88 -1.12,1.36 v 0.72 c 0,0.59 0.58,1.12 1.2,1.12 0.74,0 1.32,-0.73 1.32,-1.59 0,-0.96 -0.7,-1.61 -1.4,-1.61 l 0.03,-0.6 c 1.09,0 2.06,0.94 2.06,2.21 0,1.22 -0.89,2.19 -1.95,2.19 -0.47,0 -0.92,-0.18 -1.26,-0.48 0,0.29 -0.02,0.42 -0.4,0.42 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -5.29 h -0.44 c -0.16,0 -0.41,0 -0.41,-0.31 0,-0.29 0.26,-0.29 0.4,-0.29 H 236 c 0.14,0 0.4,0 0.4,0.29 0,0.31 -0.25,0.31 -0.41,0.31 h -0.44 z"
+ id="path5955"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 243.41,710.81 h 0.3 c 0.15,0 0.4,0 0.4,0.3 0,0.3 -0.24,0.3 -0.4,0.3 h -1.17 c -0.15,0 -0.4,0 -0.4,-0.29 0,-0.31 0.24,-0.31 0.4,-0.31 h 0.28 l -0.72,-2.12 c -0.13,-0.37 -0.19,-0.55 -0.26,-0.86 h -0.01 c -0.04,0.19 -0.13,0.4 -0.21,0.59 l -0.92,2.39 h 0.25 c 0.15,0 0.4,0 0.4,0.3 0,0.3 -0.24,0.3 -0.4,0.3 h -1.17 c -0.16,0 -0.4,0 -0.4,-0.3 0,-0.3 0.25,-0.3 0.4,-0.3 h 0.31 l 1.42,-3.56 c 0.03,-0.09 0.03,-0.11 0.03,-0.13 0,-0.02 -0.24,-0.83 -0.37,-1.08 -0.29,-0.55 -0.65,-0.57 -0.8,-0.58 0,0.01 0.05,0.09 0.05,0.22 0,0.25 -0.18,0.43 -0.43,0.43 -0.27,0 -0.44,-0.18 -0.44,-0.44 0,-0.42 0.34,-0.81 0.83,-0.81 1,0 1.44,1.31 1.48,1.42 z"
+ id="path5957"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 252.33,709.28 -0.01,0.11 0,0.12 -0.02,0.11 -0.02,0.11 -0.02,0.11 -0.03,0.1 -0.03,0.11 -0.04,0.1 -0.04,0.1 -0.04,0.09 -0.05,0.1 -0.06,0.09 -0.05,0.08 -0.06,0.09 -0.07,0.08 -0.07,0.08 -0.07,0.07 -0.07,0.07 -0.08,0.07 -0.08,0.06 -0.08,0.05 -0.09,0.06 -0.09,0.05 -0.09,0.04 -0.09,0.04 -0.09,0.03 -0.1,0.03 -0.1,0.03 -0.1,0.02 -0.1,0.01 -0.1,0.01 -0.11,0 c -1.11,0 -2.04,-0.98 -2.04,-2.22 0,-1.27 0.95,-2.21 2.04,-2.21 v 0.6 c -0.74,0 -1.35,0.75 -1.35,1.67 0,0.91 0.64,1.56 1.35,1.56 0.72,0 1.36,-0.65 1.36,-1.56 0,-0.92 -0.62,-1.67 -1.36,-1.67 h 0 v -0.6 c 1.1,0 2.05,0.95 2.05,2.21 z"
+ id="path5959"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 255.42,710.81 h 1.22 c 0.15,0 0.4,0 0.4,0.3 0,0.3 -0.24,0.3 -0.4,0.3 h -1.22 v 0.47 c 0,0.78 0.67,0.78 0.97,0.78 0,-0.04 0.09,-0.43 0.44,-0.43 0.2,0 0.43,0.16 0.43,0.44 0,0.6 -0.8,0.6 -0.96,0.6 -0.8,0 -1.56,-0.46 -1.56,-1.33 v -0.53 h -1 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.25,-0.3 0.4,-0.3 h 1.01 v -3.08 h -1.01 c -0.15,0 -0.41,0 -0.41,-0.3 0,-0.31 0.26,-0.31 0.41,-0.31 h 2.7 c 0.15,0 0.41,0 0.41,0.3 0,0.31 -0.26,0.31 -0.41,0.31 h -1.01 z"
+ id="path5961"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 266.11,709.28 0,0.11 -0.01,0.12 -0.01,0.11 -0.02,0.11 -0.02,0.11 -0.03,0.1 -0.03,0.11 -0.04,0.1 -0.04,0.1 -0.05,0.09 -0.04,0.1 -0.06,0.09 -0.06,0.08 -0.06,0.09 -0.06,0.08 -0.07,0.08 -0.07,0.07 -0.07,0.07 -0.08,0.07 -0.08,0.06 -0.09,0.05 -0.08,0.06 -0.09,0.05 -0.09,0.04 -0.09,0.04 -0.1,0.03 -0.09,0.03 -0.1,0.03 -0.1,0.02 -0.1,0.01 -0.1,0.01 -0.11,0 c -1.12,0 -2.04,-0.98 -2.04,-2.22 0,-1.27 0.94,-2.21 2.04,-2.21 v 0.6 c -0.74,0 -1.36,0.75 -1.36,1.67 0,0.91 0.65,1.56 1.36,1.56 0.72,0 1.36,-0.65 1.36,-1.56 0,-0.92 -0.62,-1.67 -1.36,-1.67 h 0 v -0.6 c 1.1,0 2.04,0.95 2.04,2.21 z"
+ id="path5963"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 268.34,707.57 0.04,-0.04 0.04,-0.03 0.04,-0.04 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.03,-0.03 0.04,-0.02 0.04,-0.03 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.03,-0.02 0.04,-0.02 0.04,-0.01 0.04,-0.02 0.03,-0.01 0.04,-0.01 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.03,0 0.04,-0.01 0.03,0 0.07,-0.01 0.06,0 0.06,0 -0.03,0.6 c -0.78,0 -1.13,0.88 -1.13,1.36 v 0.72 c 0,0.59 0.58,1.12 1.21,1.12 0.74,0 1.32,-0.73 1.32,-1.59 0,-0.96 -0.7,-1.61 -1.4,-1.61 l 0.03,-0.6 c 1.09,0 2.05,0.94 2.05,2.21 0,1.22 -0.88,2.19 -1.94,2.19 -0.48,0 -0.93,-0.18 -1.27,-0.48 0,0.29 -0.02,0.42 -0.39,0.42 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -5.29 h -0.44 c -0.16,0 -0.41,0 -0.41,-0.31 0,-0.29 0.26,-0.29 0.4,-0.29 h 1.58 c 0.14,0 0.4,0 0.4,0.29 0,0.31 -0.25,0.31 -0.41,0.31 h -0.44 z"
+ id="path5965"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 274.89,709.66 -0.04,0.01 -0.04,0.01 -0.09,0.01 -0.08,0.02 -0.08,0.01 -0.08,0.01 -0.05,0.01 -0.04,0.01 -0.04,0.01 -0.05,0 -0.04,0.01 -0.05,0.01 c -0.29,0.04 -0.96,0.16 -0.96,0.55 0,0.26 0.32,0.57 1.26,0.57 0.83,0 0.97,-0.3 1,-0.56 0.01,-0.17 0.03,-0.34 0.34,-0.34 0.35,0 0.35,0.21 0.35,0.41 v 0.69 c 0,0.16 0,0.4 -0.3,0.4 -0.24,0 -0.28,-0.14 -0.3,-0.21 -0.44,0.21 -0.88,0.21 -1.07,0.21 -1.66,0 -1.89,-0.81 -1.89,-1.17 0,-0.92 1.04,-1.09 1.96,-1.22 0.49,-0.08 1.29,-0.21 1.29,-0.74 0,-0.37 -0.37,-0.7 -1.28,-0.7 -0.47,0 -1.03,0.11 -1.28,0.89 -0.04,0.18 -0.08,0.29 -0.34,0.29 -0.35,0 -0.35,-0.21 -0.35,-0.41 v -0.97 c 0,-0.16 0,-0.4 0.3,-0.4 0.09,0 0.25,0.01 0.36,0.37 0.49,-0.35 1.02,-0.37 1.3,-0.37 1.58,0 1.89,0.82 1.89,1.3 0,1.03 -1.28,1.24 -1.6,1.29 z"
+ id="path5967"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 284.04,709.61 0,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0 c -0.28,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.25,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path5969"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 288.47,709.61 0,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.03 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.02,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.28,0 0.52,0.23 0.52,0.52 z"
+ id="path5971"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 292.89,709.61 0,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.03 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0 -0.03,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.28,0 0.52,0.23 0.52,0.52 z"
+ id="path5973"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+</g> <g
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ ns0:preamble=""
+ ns0:text="$\\mathtt{jump}\\left(l_2, J_1, \\cdots, J_{|J|}\\right)$"
+ word-spacing="normal"
+ letter-spacing="normal"
+ font-size-adjust="none"
+ font-stretch="normal"
+ font-weight="normal"
+ font-variant="normal"
+ font-style="normal"
+ stroke-miterlimit="10.433"
+ xml:space="preserve"
+ transform="matrix(1,0,0,-1,-194.71652,1060.6814)"
+ id="g6469">
+<path
+ id="path6471"
+ d="m 227.1,711.01 0,0.02 0,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 0,0.02 0,0.02 -0.01,0.02 0,0.02 -0.01,0.01 -0.01,0.02 0,0.02 -0.01,0.01 -0.01,0.01 -0.01,0.02 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.01,0.01 -0.02,0 -0.02,0.01 -0.01,0.01 -0.02,0 -0.02,0.01 -0.03,0 -0.02,0.01 -0.02,0 -0.03,0 -0.03,0 -0.03,0 -0.01,0 -0.02,0 h -1.57 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.25,-0.3 0.4,-0.3 h 1.29 v -4.07 c 0,-0.17 0,-0.55 -0.26,-0.9 -0.27,-0.38 -0.58,-0.38 -0.8,-0.38 -0.29,0 -0.41,0.02 -0.56,0.04 0.01,0.03 0.01,0.05 0.01,0.12 0,0.28 -0.23,0.45 -0.44,0.45 -0.23,0 -0.45,-0.17 -0.45,-0.46 0,-0.75 0.98,-0.75 1.39,-0.75 1.44,0 1.8,1.19 1.8,1.83 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6473"
+ d="m 227.1,712.72 0,0.02 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.01 -0.01,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0 -0.02,0.01 -0.03,0.01 -0.02,0 -0.03,0 -0.02,0.01 -0.03,0 c -0.28,0 -0.5,-0.22 -0.5,-0.5 0,-0.28 0.22,-0.5 0.5,-0.5 0.28,0 0.5,0.22 0.5,0.5 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6475"
+ d="m 232.23,707.44 0,-0.01 0,-0.02 0,-0.01 0.01,-0.01 0,-0.02 0,-0.01 0,-0.01 0,-0.01 0.01,-0.01 0,-0.01 0,-0.01 0.01,-0.01 0,-0.01 0,-0.01 0.01,-0.01 0,-0.01 0.01,-0.01 0,-0.01 0.01,0 0,-0.01 0.01,-0.02 0.01,-0.01 0.02,-0.01 0.01,-0.01 0.01,-0.01 0.02,-0.01 0.01,0 0.02,-0.01 0.01,0 0.02,-0.01 0.01,0 0.02,-0.01 0.02,0 0.01,0 0.02,0 0.02,0 0.03,0 0.04,0 0.03,-0.01 h 0.73 c 0.16,0 0.41,0 0.41,0.31 0,0.3 -0.26,0.3 -0.4,0.3 h -0.45 v 3.28 c 0,0.31 -0.06,0.4 -0.4,0.4 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -2.12 c 0,-0.9 -0.81,-1.02 -1.13,-1.02 -0.78,0 -0.78,0.33 -0.78,0.65 v 2.69 c 0,0.31 -0.06,0.4 -0.4,0.4 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -2.55 c 0,-0.96 0.69,-1.19 1.41,-1.19 0.41,0 0.82,0.09 1.19,0.37 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6477"
+ d="m 234.98,711.12 0,0.01 0,0.01 0,0.02 -0.01,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.02 -0.01,0 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0 -0.01,0.02 -0.01,0.01 -0.01,0.01 -0.01,0.01 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.01,0 -0.02,0.01 -0.01,0 -0.02,0.01 -0.02,0 -0.01,0 -0.02,0.01 -0.01,0 -0.02,0 -0.02,0 -0.03,0 -0.04,0 -0.03,0 h -0.32 c -0.15,0 -0.41,0 -0.41,-0.29 0,-0.31 0.21,-0.31 0.57,-0.31 v -3.08 c -0.36,0 -0.57,0 -0.57,-0.31 0,-0.3 0.27,-0.3 0.41,-0.3 h 0.88 c 0.15,0 0.41,0 0.41,0.3 0,0.31 -0.21,0.31 -0.57,0.31 v 1.78 c 0,0.89 0.41,1.36 0.82,1.36 0.23,0 0.36,-0.17 0.36,-0.82 v -2.32 c -0.18,0 -0.43,0 -0.43,-0.31 0,-0.3 0.27,-0.3 0.41,-0.3 h 0.74 c 0.15,0 0.41,0 0.41,0.3 0,0.31 -0.21,0.31 -0.57,0.31 v 1.78 c 0,0.89 0.41,1.36 0.82,1.36 0.23,0 0.37,-0.17 0.37,-0.82 v -2.32 c -0.19,0 -0.44,0 -0.44,-0.31 0,-0.3 0.27,-0.3 0.41,-0.3 h 0.75 c 0.15,0 0.41,0 0.41,0.3 0,0.31 -0.21,0.31 -0.57,0.31 v 2.41 c 0,0.2 0,1.33 -0.89,1.33 -0.3,0 -0.71,-0.13 -0.99,-0.51 -0.14,0.33 -0.43,0.51 -0.75,0.51 -0.32,0 -0.62,-0.13 -0.86,-0.35 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6479"
+ d="m 240.78,707.57 0.04,-0.04 0.03,-0.03 0.04,-0.04 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.04,-0.02 0.03,-0.03 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.03,-0.02 0.04,-0.01 0.04,-0.02 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.03,-0.01 0.04,0 0.03,-0.01 0.03,0 0.07,-0.01 0.06,0 0.06,0 -0.03,0.6 c -0.77,0 -1.12,0.88 -1.12,1.36 v 0.72 c 0,0.59 0.58,1.12 1.2,1.12 0.74,0 1.32,-0.73 1.32,-1.59 0,-0.96 -0.7,-1.61 -1.4,-1.61 l 0.03,-0.6 c 1.09,0 2.06,0.94 2.06,2.21 0,1.22 -0.89,2.19 -1.95,2.19 -0.47,0 -0.92,-0.18 -1.26,-0.48 0,0.29 -0.02,0.42 -0.4,0.42 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -5.29 h -0.44 c -0.16,0 -0.41,0 -0.41,-0.31 0,-0.29 0.26,-0.29 0.4,-0.29 h 1.59 c 0.14,0 0.39,0 0.39,0.29 0,0.31 -0.24,0.31 -0.4,0.31 h -0.44 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6481"
+ d="m 250.13,703.76 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 -0.01,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 -0.01,0.01 0,0 0,0.01 -0.01,0 0,0.01 -0.01,0 0,0.01 c -0.46,0.49 -1.13,1.29 -1.55,2.92 -0.23,0.9 -0.32,1.93 -0.32,2.85 0,2.62 0.63,4.45 1.82,5.74 0.09,0.09 0.09,0.11 0.09,0.13 0,0.1 -0.08,0.1 -0.12,0.1 -0.15,0 -0.69,-0.59 -0.82,-0.74 -1.01,-1.21 -1.66,-3 -1.66,-5.22 0,-1.41 0.25,-3.41 1.55,-5.09 0.1,-0.12 0.75,-0.88 0.93,-0.88 0.04,0 0.12,0 0.12,0.1 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6483"
+ d="m 253.15,713.92 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 -0.01,0.01 0,0 0,0.01 0,0 -0.01,0.01 0,0 -0.01,0.01 0,0 0,0 0,0 -0.01,0.01 0,0 0,0 -0.01,0 0,0 0,0.01 -0.01,0 0,0 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 c -0.23,0 -0.95,-0.08 -1.21,-0.1 -0.08,-0.01 -0.19,-0.02 -0.19,-0.21 0,-0.11 0.1,-0.11 0.25,-0.11 0.47,0 0.48,-0.09 0.48,-0.16 l -0.03,-0.2 -1.25,-4.98 c -0.03,-0.11 -0.05,-0.18 -0.05,-0.34 0,-0.57 0.44,-0.91 0.91,-0.91 0.33,0 0.57,0.2 0.74,0.55 0.18,0.38 0.3,0.96 0.3,0.98 0,0.1 -0.09,0.1 -0.12,0.1 -0.1,0 -0.11,-0.04 -0.14,-0.18 -0.17,-0.65 -0.36,-1.24 -0.75,-1.24 -0.3,0 -0.3,0.32 -0.3,0.46 0,0.24 0.01,0.29 0.06,0.48 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6485"
+ d="m 257.07,706.9 h -0.24 c -0.02,-0.16 -0.09,-0.57 -0.18,-0.64 -0.05,-0.04 -0.59,-0.04 -0.69,-0.04 h -1.28 c 0.73,0.65 0.98,0.84 1.39,1.17 0.52,0.41 1,0.84 1,1.5 0,0.84 -0.74,1.36 -1.63,1.36 -0.86,0 -1.45,-0.61 -1.45,-1.25 0,-0.35 0.3,-0.39 0.37,-0.39 0.17,0 0.37,0.12 0.37,0.37 0,0.13 -0.05,0.37 -0.41,0.37 0.22,0.49 0.69,0.65 1.02,0.65 0.69,0 1.05,-0.54 1.05,-1.11 0,-0.6 -0.43,-1.08 -0.65,-1.33 l -1.68,-1.66 c -0.07,-0.06 -0.07,-0.07 -0.07,-0.27 h 2.87 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6487"
+ d="m 260.05,707.14 0,0.06 -0.01,0.06 0,0.05 -0.01,0.06 0,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.02,0.03 -0.03,0.02 -0.03,0.03 -0.02,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0.01 -0.04,0 -0.03,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.14 0,-0.74 -0.35,-1.34 -0.68,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.91,0.77 0.91,1.94 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6489"
+ d="m 267.85,713.2 0,0.03 0.01,0.02 0.01,0.03 0,0.03 0.01,0.02 0.01,0.03 0.01,0.02 0,0.02 0.01,0.02 0.01,0.02 0.01,0.02 0.01,0.01 0.01,0.02 0.02,0.01 0.01,0.02 0.01,0.01 0.02,0.01 0.02,0.01 0.02,0.01 0.02,0.01 0.02,0.01 0.03,0 0.02,0.01 0.02,0 0.01,0 0.02,0.01 0.01,0 0.02,0 0.02,0 0.02,0.01 0.01,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.03,0 0.02,0 0.02,0 0.03,0 0.02,0 c 0.16,0 0.27,0 0.27,0.19 0,0.09 -0.06,0.12 -0.14,0.12 -0.24,0 -0.85,-0.03 -1.1,-0.03 -0.33,0 -1.14,0.03 -1.47,0.03 -0.09,0 -0.21,0 -0.21,-0.2 0,-0.11 0.08,-0.11 0.34,-0.11 0.23,0 0.33,0 0.58,-0.02 0.24,-0.03 0.31,-0.06 0.31,-0.19 0,-0.06 -0.02,-0.13 -0.04,-0.21 l -1.15,-4.57 c -0.24,-0.97 -0.92,-1.5 -1.43,-1.5 -0.26,0 -0.79,0.1 -0.95,0.62 0.03,-0.01 0.1,-0.01 0.12,-0.01 0.39,0 0.65,0.34 0.65,0.64 0,0.32 -0.27,0.42 -0.44,0.42 -0.18,0 -0.67,-0.12 -0.67,-0.8 0,-0.62 0.53,-1.08 1.32,-1.08 0.91,0 1.95,0.65 2.2,1.64 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6491"
+ d="m 270.31,710.05 0,0.01 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 -0.01,0 0,0.01 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 -0.01,0.01 0,0 -0.01,0.01 0,0.01 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0.01 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.45,-0.44 -1.08,-0.45 -1.37,-0.45 v -0.25 c 0.17,0 0.63,0 1.01,0.2 v -3.55 c 0,-0.23 0,-0.32 -0.69,-0.32 h -0.27 v -0.25 c 0.13,0.01 0.98,0.03 1.24,0.03 0.22,0 1.09,-0.02 1.25,-0.03 v 0.25 H 271 c -0.69,0 -0.69,0.09 -0.69,0.32 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6493"
+ d="m 274.47,707.14 0,0.06 0,0.06 -0.01,0.05 0,0.06 -0.01,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.02,0.03 -0.03,0.02 -0.02,0.03 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0 -0.04,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.14 0,-0.74 -0.35,-1.34 -0.68,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.91,0.77 0.91,1.94 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6495"
+ d="m 278.79,709.61 0,0.03 -0.01,0.03 0,0.02 0,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.03,0.01 -0.02,0 -0.03,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6497"
+ d="m 283.22,709.61 0,0.03 -0.01,0.03 0,0.02 0,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 0,0.03 -0.02,0.02 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0 -0.03,0.01 -0.02,0 -0.03,0.01 -0.02,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6499"
+ d="m 287.64,709.61 0,0.03 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.01,0.02 -0.02,0.02 -0.03,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0.01 -0.02,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6501"
+ d="m 292.18,707.14 0,0.06 0,0.06 -0.01,0.05 0,0.06 -0.01,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.01,0.04 -0.02,0.03 -0.03,0.04 -0.02,0.03 -0.02,0.03 -0.03,0.02 -0.02,0.03 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0 -0.04,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.14 0,-0.74 -0.35,-1.34 -0.68,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.91,0.77 0.91,1.94 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6503"
+ d="m 299.98,713.2 0.01,0.03 0,0.02 0.01,0.03 0.01,0.03 0,0.02 0.01,0.03 0.01,0.02 0.01,0.02 0.01,0.02 0,0.02 0.01,0.02 0.01,0.01 0.02,0.02 0.01,0.01 0.01,0.02 0.02,0.01 0.01,0.01 0.02,0.01 0.02,0.01 0.02,0.01 0.03,0.01 0.02,0 0.03,0.01 0.01,0 0.02,0 0.01,0.01 0.02,0 0.01,0 0.02,0 0.02,0.01 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.03,0 0.02,0 0.03,0 c 0.16,0 0.27,0 0.27,0.19 0,0.09 -0.06,0.12 -0.14,0.12 -0.25,0 -0.86,-0.03 -1.11,-0.03 -0.33,0 -1.14,0.03 -1.47,0.03 -0.08,0 -0.2,0 -0.2,-0.2 0,-0.11 0.07,-0.11 0.34,-0.11 0.22,0 0.32,0 0.57,-0.02 0.24,-0.03 0.31,-0.06 0.31,-0.19 0,-0.06 -0.02,-0.13 -0.04,-0.21 l -1.14,-4.57 c -0.24,-0.97 -0.92,-1.5 -1.44,-1.5 -0.26,0 -0.79,0.1 -0.95,0.62 0.03,-0.01 0.1,-0.01 0.12,-0.01 0.39,0 0.65,0.34 0.65,0.64 0,0.32 -0.27,0.42 -0.44,0.42 -0.18,0 -0.67,-0.12 -0.67,-0.8 0,-0.62 0.53,-1.08 1.32,-1.08 0.92,0 1.95,0.65 2.2,1.64 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6505"
+ d="m 301.46,710.27 0,0.01 0,0.01 0,0.01 0,0.01 0,0.02 0,0.01 0,0.02 -0.01,0.01 0,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.17,0 -0.17,-0.16 -0.17,-0.27 v -6.41 c 0,-0.1 0,-0.27 0.16,-0.27 0.18,0 0.18,0.16 0.18,0.27 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6507"
+ d="m 306.63,709.54 0.01,0.02 0,0.02 0.01,0.02 0,0.02 0.01,0.02 0,0.02 0.01,0.01 0,0.02 0.01,0.01 0.01,0.01 0,0.02 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.02,0 0.01,0.01 0.02,0 0.01,0.01 0.02,0 0.01,0 0.01,0 0.01,0.01 0.01,0 0.02,0 0.01,0 0.01,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.02,0.01 c 0.08,0 0.18,0 0.18,0.14 0,0.08 -0.05,0.11 -0.1,0.11 -0.17,0 -0.59,-0.03 -0.75,-0.03 -0.15,0 -0.39,0 -0.54,0 -0.18,0.01 -0.38,0.03 -0.55,0.03 -0.05,0 -0.16,0 -0.16,-0.15 0,-0.1 0.07,-0.1 0.28,-0.1 0.16,0 0.19,0 0.36,-0.02 0.2,-0.02 0.22,-0.04 0.22,-0.12 0,-0.05 0,-0.07 -0.03,-0.16 l -0.8,-3.19 c -0.13,-0.52 -0.58,-0.96 -1.03,-0.96 -0.09,0 -0.53,0.02 -0.69,0.36 0.4,0 0.49,0.33 0.49,0.46 0,0.19 -0.17,0.29 -0.32,0.29 -0.19,0 -0.47,-0.15 -0.47,-0.54 0,-0.45 0.43,-0.76 1.01,-0.76 0.69,0 1.46,0.43 1.63,1.13 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6509"
+ d="m 308.89,710.27 0,0.01 0,0.01 0,0.01 0,0.01 0,0.02 0,0.01 0,0.02 0,0.01 -0.01,0.01 0,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0 0,0 0,0.01 -0.01,0 0,0 -0.01,0 0,0.01 -0.01,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 c -0.17,0 -0.17,-0.16 -0.17,-0.27 v -6.41 c 0,-0.1 0,-0.27 0.17,-0.27 0.17,0 0.17,0.16 0.17,0.27 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path6511"
+ d="m 313.44,709.62 0,0.27 -0.01,0.29 -0.02,0.29 -0.03,0.31 -0.03,0.31 -0.05,0.32 -0.07,0.33 -0.07,0.33 -0.05,0.17 -0.05,0.16 -0.05,0.17 -0.06,0.17 -0.06,0.17 -0.06,0.16 -0.07,0.17 -0.08,0.17 -0.08,0.17 -0.08,0.16 -0.09,0.17 -0.1,0.16 -0.1,0.17 -0.11,0.16 -0.11,0.16 -0.12,0.16 c -0.1,0.12 -0.75,0.87 -0.93,0.87 -0.05,0 -0.12,-0.02 -0.12,-0.1 0,-0.04 0.02,-0.07 0.06,-0.1 0.48,-0.51 1.13,-1.32 1.54,-2.9 0.23,-0.91 0.32,-1.93 0.32,-2.86 0,-1 -0.09,-2.02 -0.35,-2.99 -0.38,-1.4 -0.97,-2.19 -1.48,-2.75 -0.09,-0.09 -0.09,-0.11 -0.09,-0.13 0,-0.08 0.07,-0.1 0.12,-0.1 0.15,0 0.7,0.61 0.82,0.75 1.02,1.2 1.66,2.99 1.66,5.21 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+</g> <g
+ id="g7013"
+ transform="matrix(1,0,0,-1,-192.9308,1111.7528)"
+ xml:space="preserve"
+ stroke-miterlimit="10.433"
+ font-style="normal"
+ font-variant="normal"
+ font-weight="normal"
+ font-stretch="normal"
+ font-size-adjust="none"
+ letter-spacing="normal"
+ word-spacing="normal"
+ ns0:text="$l_2 \\left(J_1, \\cdots, J_{|J|}\\right)$"
+ ns0:preamble=""
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+<path
+ d="m 226,713.92 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 -0.01,0 0,0.01 0,0 -0.01,0.01 0,0 0,0.01 -0.01,0 0,0 0,0 -0.01,0.01 0,0 0,0 0,0 -0.01,0 0,0.01 0,0 -0.01,0 0,0 -0.01,0 0,0 0,0.01 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.22,0 -0.95,-0.08 -1.21,-0.1 -0.08,-0.01 -0.19,-0.02 -0.19,-0.21 0,-0.11 0.1,-0.11 0.25,-0.11 0.48,0 0.49,-0.09 0.49,-0.16 l -0.03,-0.2 -1.26,-4.98 c -0.03,-0.11 -0.05,-0.18 -0.05,-0.34 0,-0.57 0.44,-0.91 0.91,-0.91 0.33,0 0.58,0.2 0.74,0.55 0.19,0.38 0.3,0.96 0.3,0.98 0,0.1 -0.08,0.1 -0.11,0.1 -0.11,0 -0.11,-0.04 -0.14,-0.18 -0.17,-0.65 -0.36,-1.24 -0.76,-1.24 -0.3,0 -0.3,0.32 -0.3,0.46 0,0.24 0.01,0.29 0.06,0.48 z"
+ id="path7015"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 229.92,706.9 h -0.24 c -0.02,-0.16 -0.08,-0.57 -0.18,-0.64 -0.05,-0.04 -0.59,-0.04 -0.68,-0.04 h -1.29 c 0.73,0.65 0.98,0.84 1.4,1.17 0.51,0.41 0.99,0.84 0.99,1.5 0,0.84 -0.74,1.36 -1.63,1.36 -0.86,0 -1.45,-0.61 -1.45,-1.25 0,-0.35 0.3,-0.39 0.37,-0.39 0.17,0 0.37,0.12 0.37,0.37 0,0.13 -0.05,0.37 -0.41,0.37 0.22,0.49 0.69,0.65 1.02,0.65 0.69,0 1.06,-0.54 1.06,-1.11 0,-0.6 -0.43,-1.08 -0.66,-1.33 l -1.68,-1.66 c -0.07,-0.06 -0.07,-0.07 -0.07,-0.27 h 2.87 z"
+ id="path7017"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 236.65,703.76 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0 -0.01,0.01 0,0 0,0 0,0.01 0,0 0,0 -0.01,0.01 0,0 0,0.01 -0.01,0 0,0.01 0,0 -0.01,0.01 c -0.46,0.49 -1.13,1.29 -1.55,2.92 -0.23,0.9 -0.32,1.93 -0.32,2.85 0,2.62 0.63,4.45 1.82,5.74 0.09,0.09 0.09,0.11 0.09,0.13 0,0.1 -0.08,0.1 -0.12,0.1 -0.15,0 -0.68,-0.59 -0.82,-0.74 -1.01,-1.21 -1.66,-3 -1.66,-5.22 0,-1.41 0.25,-3.41 1.55,-5.09 0.11,-0.12 0.75,-0.88 0.93,-0.88 0.04,0 0.12,0 0.12,0.1 z"
+ id="path7019"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 242.49,713.2 0.01,0.03 0.01,0.02 0.01,0.03 0,0.03 0.01,0.02 0.01,0.03 0,0.02 0.01,0.02 0.01,0.02 0.01,0.02 0.01,0.02 0.01,0.01 0.01,0.02 0.01,0.01 0.02,0.02 0.01,0.01 0.02,0.01 0.02,0.01 0.02,0.01 0.02,0.01 0.02,0.01 0.02,0 0.03,0.01 0.02,0 0.01,0 0.02,0.01 0.01,0 0.02,0 0.02,0 0.01,0.01 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.03,0 0.02,0 0.02,0 0.03,0 0.02,0 c 0.16,0 0.27,0 0.27,0.19 0,0.09 -0.06,0.12 -0.14,0.12 -0.25,0 -0.86,-0.03 -1.11,-0.03 -0.32,0 -1.13,0.03 -1.46,0.03 -0.09,0 -0.21,0 -0.21,-0.2 0,-0.11 0.08,-0.11 0.34,-0.11 0.23,0 0.33,0 0.58,-0.02 0.24,-0.03 0.31,-0.06 0.31,-0.19 0,-0.06 -0.02,-0.13 -0.04,-0.21 l -1.15,-4.57 c -0.24,-0.97 -0.92,-1.5 -1.43,-1.5 -0.26,0 -0.79,0.1 -0.95,0.62 0.03,-0.01 0.1,-0.01 0.12,-0.01 0.39,0 0.64,0.34 0.64,0.64 0,0.32 -0.26,0.42 -0.43,0.42 -0.18,0 -0.67,-0.12 -0.67,-0.8 0,-0.62 0.53,-1.08 1.31,-1.08 0.92,0 1.96,0.65 2.21,1.64 z"
+ id="path7021"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 244.96,710.05 0,0.01 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0 0,0.01 -0.01,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 -0.01,0.01 0,0 0,0.01 -0.01,0.01 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0.01 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 c -0.45,-0.44 -1.08,-0.45 -1.37,-0.45 v -0.25 c 0.17,0 0.63,0 1.01,0.2 v -3.55 c 0,-0.23 0,-0.32 -0.69,-0.32 h -0.27 v -0.25 c 0.13,0.01 0.98,0.03 1.24,0.03 0.22,0 1.1,-0.02 1.25,-0.03 v 0.25 h -0.27 c -0.69,0 -0.69,0.09 -0.69,0.32 z"
+ id="path7023"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 249.12,707.14 0,0.06 0,0.06 -0.01,0.05 0,0.06 -0.01,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.01,0.04 -0.02,0.03 -0.03,0.04 -0.02,0.03 -0.02,0.03 -0.03,0.02 -0.02,0.03 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0 -0.04,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.14 0,-0.74 -0.35,-1.34 -0.68,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.91,0.77 0.91,1.94 z"
+ id="path7025"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 253.44,709.61 0,0.03 -0.01,0.03 0,0.02 0,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.03,0.01 -0.02,0 -0.03,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path7027"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 257.87,709.61 0,0.03 -0.01,0.03 0,0.02 0,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 0,0.03 -0.02,0.02 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0 -0.03,0.01 -0.02,0 -0.03,0.01 -0.02,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path7029"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 262.29,709.61 0,0.03 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.01,0.02 -0.02,0.02 -0.03,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0.01 -0.02,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path7031"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 266.83,707.14 0,0.06 0,0.06 -0.01,0.05 0,0.06 -0.01,0.05 -0.01,0.06 0,0.05 -0.02,0.05 -0.01,0.04 -0.01,0.05 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.04 -0.03,0.03 -0.02,0.03 -0.03,0.02 -0.02,0.03 -0.03,0.02 -0.03,0.02 -0.02,0.02 -0.03,0.02 -0.04,0.01 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0 -0.04,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.14 0,-0.74 -0.35,-1.34 -0.68,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.91,0.77 0.91,1.94 z"
+ id="path7033"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 274.63,713.2 0.01,0.03 0,0.02 0.01,0.03 0.01,0.03 0.01,0.02 0,0.03 0.01,0.02 0.01,0.02 0.01,0.02 0.01,0.02 0.01,0.02 0.01,0.01 0.01,0.02 0.01,0.01 0.01,0.02 0.02,0.01 0.01,0.01 0.02,0.01 0.02,0.01 0.02,0.01 0.03,0.01 0.02,0 0.03,0.01 0.01,0 0.02,0 0.01,0.01 0.02,0 0.01,0 0.02,0 0.02,0.01 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.02,0 0.03,0 0.02,0 0.03,0 c 0.16,0 0.27,0 0.27,0.19 0,0.09 -0.06,0.12 -0.14,0.12 -0.25,0 -0.86,-0.03 -1.11,-0.03 -0.33,0 -1.13,0.03 -1.46,0.03 -0.09,0 -0.21,0 -0.21,-0.2 0,-0.11 0.08,-0.11 0.34,-0.11 0.23,0 0.32,0 0.57,-0.02 0.24,-0.03 0.31,-0.06 0.31,-0.19 0,-0.06 -0.02,-0.13 -0.04,-0.21 l -1.14,-4.57 c -0.24,-0.97 -0.92,-1.5 -1.44,-1.5 -0.26,0 -0.79,0.1 -0.95,0.62 0.03,-0.01 0.1,-0.01 0.12,-0.01 0.39,0 0.65,0.34 0.65,0.64 0,0.32 -0.27,0.42 -0.44,0.42 -0.18,0 -0.66,-0.12 -0.66,-0.8 0,-0.62 0.52,-1.08 1.31,-1.08 0.92,0 1.95,0.65 2.2,1.64 z"
+ id="path7035"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 276.11,710.27 0,0.01 0,0.01 0,0.01 0,0.01 0,0.02 0,0.01 0,0.02 0,0.01 -0.01,0.01 0,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 -0.01,0.01 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 c -0.17,0 -0.17,-0.16 -0.17,-0.27 v -6.41 c 0,-0.1 0,-0.27 0.16,-0.27 0.18,0 0.18,0.16 0.18,0.27 z"
+ id="path7037"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 281.28,709.54 0.01,0.02 0,0.02 0.01,0.02 0,0.02 0.01,0.02 0,0.02 0.01,0.01 0.01,0.02 0,0.01 0.01,0.01 0,0.02 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.02,0 0.01,0.01 0.02,0 0.01,0.01 0.02,0 0.01,0 0.01,0 0.01,0.01 0.02,0 0.01,0 0.01,0 0.01,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.02,0 0.01,0 0.02,0.01 c 0.09,0 0.18,0 0.18,0.14 0,0.08 -0.05,0.11 -0.1,0.11 -0.17,0 -0.59,-0.03 -0.75,-0.03 -0.15,0 -0.39,0 -0.54,0 -0.17,0.01 -0.38,0.03 -0.55,0.03 -0.05,0 -0.15,0 -0.15,-0.15 0,-0.1 0.06,-0.1 0.27,-0.1 0.16,0 0.19,0 0.36,-0.02 0.2,-0.02 0.22,-0.04 0.22,-0.12 0,-0.05 0,-0.07 -0.03,-0.16 l -0.8,-3.19 c -0.13,-0.52 -0.57,-0.96 -1.03,-0.96 -0.09,0 -0.53,0.02 -0.69,0.36 0.4,0 0.49,0.33 0.49,0.46 0,0.19 -0.17,0.29 -0.32,0.29 -0.19,0 -0.47,-0.15 -0.47,-0.54 0,-0.45 0.43,-0.76 1.01,-0.76 0.69,0 1.46,0.43 1.63,1.13 z"
+ id="path7039"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 283.54,710.27 0,0.01 0,0.01 0,0.01 0,0.01 0,0.02 0,0.01 0,0.02 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0 0,0 0,0.01 -0.01,0 0,0 -0.01,0 0,0.01 -0.01,0 0,0 -0.01,0 -0.01,0.01 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 c -0.17,0 -0.17,-0.16 -0.17,-0.27 v -6.41 c 0,-0.1 0,-0.27 0.17,-0.27 0.17,0 0.17,0.16 0.17,0.27 z"
+ id="path7041"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ d="m 288.09,709.62 0,0.27 -0.01,0.29 -0.02,0.29 -0.03,0.31 -0.03,0.31 -0.05,0.32 -0.07,0.33 -0.07,0.33 -0.05,0.17 -0.05,0.16 -0.05,0.17 -0.06,0.17 -0.06,0.17 -0.06,0.16 -0.07,0.17 -0.08,0.17 -0.08,0.17 -0.08,0.16 -0.09,0.17 -0.1,0.16 -0.1,0.17 -0.11,0.16 -0.11,0.16 -0.12,0.16 c -0.1,0.12 -0.75,0.87 -0.93,0.87 -0.05,0 -0.12,-0.02 -0.12,-0.1 0,-0.04 0.02,-0.07 0.06,-0.1 0.48,-0.51 1.13,-1.32 1.54,-2.9 0.23,-0.91 0.32,-1.93 0.32,-2.86 0,-1 -0.09,-2.02 -0.35,-2.99 -0.38,-1.4 -0.97,-2.19 -1.48,-2.75 -0.09,-0.09 -0.09,-0.11 -0.09,-0.13 0,-0.08 0.07,-0.1 0.12,-0.1 0.15,0 0.7,0.61 0.82,0.75 1.02,1.2 1.66,2.99 1.66,5.21 z"
+ id="path7043"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+</g> <g
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ ns0:preamble=""
+ ns0:text="$\\mathtt{jump}\\left(l_2, K_1, \\cdots, K_{|K|}\\right)$"
+ word-spacing="normal"
+ letter-spacing="normal"
+ font-size-adjust="none"
+ font-stretch="normal"
+ font-weight="normal"
+ font-variant="normal"
+ font-style="normal"
+ stroke-miterlimit="10.433"
+ xml:space="preserve"
+ transform="matrix(1,0,0,-1,-194.71652,1192.6814)"
+ id="g7539">
+<path
+ id="path7541"
+ d="m 227.1,711.01 0,0.02 0,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 0,0.02 0,0.02 -0.01,0.02 0,0.02 -0.01,0.01 -0.01,0.02 0,0.02 -0.01,0.01 -0.01,0.01 -0.01,0.02 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.01,0.01 -0.02,0 -0.02,0.01 -0.01,0.01 -0.02,0 -0.02,0.01 -0.03,0 -0.02,0.01 -0.02,0 -0.03,0 -0.03,0 -0.03,0 -0.01,0 -0.02,0 h -1.57 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.25,-0.3 0.4,-0.3 h 1.29 v -4.07 c 0,-0.17 0,-0.55 -0.26,-0.9 -0.27,-0.38 -0.58,-0.38 -0.8,-0.38 -0.29,0 -0.41,0.02 -0.56,0.04 0.01,0.03 0.01,0.05 0.01,0.12 0,0.28 -0.23,0.45 -0.44,0.45 -0.23,0 -0.45,-0.17 -0.45,-0.46 0,-0.75 0.98,-0.75 1.39,-0.75 1.44,0 1.8,1.19 1.8,1.83 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7543"
+ d="m 227.1,712.72 0,0.02 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.01 -0.01,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0 -0.02,0.01 -0.03,0.01 -0.02,0 -0.03,0 -0.02,0.01 -0.03,0 c -0.28,0 -0.5,-0.22 -0.5,-0.5 0,-0.28 0.22,-0.5 0.5,-0.5 0.28,0 0.5,0.22 0.5,0.5 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7545"
+ d="m 232.23,707.44 0,-0.01 0,-0.02 0,-0.01 0.01,-0.01 0,-0.02 0,-0.01 0,-0.01 0,-0.01 0.01,-0.01 0,-0.01 0,-0.01 0.01,-0.01 0,-0.01 0,-0.01 0.01,-0.01 0,-0.01 0.01,-0.01 0,-0.01 0.01,0 0,-0.01 0.01,-0.02 0.01,-0.01 0.02,-0.01 0.01,-0.01 0.01,-0.01 0.02,-0.01 0.01,0 0.02,-0.01 0.01,0 0.02,-0.01 0.01,0 0.02,-0.01 0.02,0 0.01,0 0.02,0 0.02,0 0.03,0 0.04,0 0.03,-0.01 h 0.73 c 0.16,0 0.41,0 0.41,0.31 0,0.3 -0.26,0.3 -0.4,0.3 h -0.45 v 3.28 c 0,0.31 -0.06,0.4 -0.4,0.4 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -2.12 c 0,-0.9 -0.81,-1.02 -1.13,-1.02 -0.78,0 -0.78,0.33 -0.78,0.65 v 2.69 c 0,0.31 -0.06,0.4 -0.4,0.4 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -2.55 c 0,-0.96 0.69,-1.19 1.41,-1.19 0.41,0 0.82,0.09 1.19,0.37 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7547"
+ d="m 234.98,711.12 0,0.01 0,0.01 0,0.02 -0.01,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.02 -0.01,0 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0 -0.01,0.02 -0.01,0.01 -0.01,0.01 -0.01,0.01 -0.01,0.01 -0.02,0.01 -0.01,0.01 -0.01,0 -0.02,0.01 -0.01,0 -0.02,0.01 -0.02,0 -0.01,0 -0.02,0.01 -0.01,0 -0.02,0 -0.02,0 -0.03,0 -0.04,0 -0.03,0 h -0.32 c -0.15,0 -0.41,0 -0.41,-0.29 0,-0.31 0.21,-0.31 0.57,-0.31 v -3.08 c -0.36,0 -0.57,0 -0.57,-0.31 0,-0.3 0.27,-0.3 0.41,-0.3 h 0.88 c 0.15,0 0.41,0 0.41,0.3 0,0.31 -0.21,0.31 -0.57,0.31 v 1.78 c 0,0.89 0.41,1.36 0.82,1.36 0.23,0 0.36,-0.17 0.36,-0.82 v -2.32 c -0.18,0 -0.43,0 -0.43,-0.31 0,-0.3 0.27,-0.3 0.41,-0.3 h 0.74 c 0.15,0 0.41,0 0.41,0.3 0,0.31 -0.21,0.31 -0.57,0.31 v 1.78 c 0,0.89 0.41,1.36 0.82,1.36 0.23,0 0.37,-0.17 0.37,-0.82 v -2.32 c -0.19,0 -0.44,0 -0.44,-0.31 0,-0.3 0.27,-0.3 0.41,-0.3 h 0.75 c 0.15,0 0.41,0 0.41,0.3 0,0.31 -0.21,0.31 -0.57,0.31 v 2.41 c 0,0.2 0,1.33 -0.89,1.33 -0.3,0 -0.71,-0.13 -0.99,-0.51 -0.14,0.33 -0.43,0.51 -0.75,0.51 -0.32,0 -0.62,-0.13 -0.86,-0.35 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7549"
+ d="m 240.78,707.57 0.04,-0.04 0.03,-0.03 0.04,-0.04 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.04,-0.02 0.03,-0.03 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.03,-0.02 0.04,-0.01 0.04,-0.02 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.03,-0.01 0.04,0 0.03,-0.01 0.03,0 0.07,-0.01 0.06,0 0.06,0 -0.03,0.6 c -0.77,0 -1.12,0.88 -1.12,1.36 v 0.72 c 0,0.59 0.58,1.12 1.2,1.12 0.74,0 1.32,-0.73 1.32,-1.59 0,-0.96 -0.7,-1.61 -1.4,-1.61 l 0.03,-0.6 c 1.09,0 2.06,0.94 2.06,2.21 0,1.22 -0.89,2.19 -1.95,2.19 -0.47,0 -0.92,-0.18 -1.26,-0.48 0,0.29 -0.02,0.42 -0.4,0.42 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -5.29 h -0.44 c -0.16,0 -0.41,0 -0.41,-0.31 0,-0.29 0.26,-0.29 0.4,-0.29 h 1.59 c 0.14,0 0.39,0 0.39,0.29 0,0.31 -0.24,0.31 -0.4,0.31 h -0.44 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7551"
+ d="m 250.13,703.76 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 -0.01,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0 -0.01,0.01 0,0 0,0.01 -0.01,0 0,0.01 -0.01,0 0,0.01 c -0.46,0.49 -1.13,1.29 -1.55,2.92 -0.23,0.9 -0.32,1.93 -0.32,2.85 0,2.62 0.63,4.45 1.82,5.74 0.09,0.09 0.09,0.11 0.09,0.13 0,0.1 -0.08,0.1 -0.12,0.1 -0.15,0 -0.69,-0.59 -0.82,-0.74 -1.01,-1.21 -1.66,-3 -1.66,-5.22 0,-1.41 0.25,-3.41 1.55,-5.09 0.1,-0.12 0.75,-0.88 0.93,-0.88 0.04,0 0.12,0 0.12,0.1 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7553"
+ d="m 253.15,713.92 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0.01 0,0 0,0 0,0.01 0,0 0,0.01 0,0 -0.01,0.01 0,0 0,0.01 0,0 -0.01,0.01 0,0 -0.01,0.01 0,0 0,0 0,0 -0.01,0.01 0,0 0,0 -0.01,0 0,0 0,0.01 -0.01,0 0,0 0,0 -0.01,0 0,0 -0.01,0.01 0,0 -0.01,0 0,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 0,0 -0.01,0 c -0.23,0 -0.95,-0.08 -1.21,-0.1 -0.08,-0.01 -0.19,-0.02 -0.19,-0.21 0,-0.11 0.1,-0.11 0.25,-0.11 0.47,0 0.48,-0.09 0.48,-0.16 l -0.03,-0.2 -1.25,-4.98 c -0.03,-0.11 -0.05,-0.18 -0.05,-0.34 0,-0.57 0.44,-0.91 0.91,-0.91 0.33,0 0.57,0.2 0.74,0.55 0.18,0.38 0.3,0.96 0.3,0.98 0,0.1 -0.09,0.1 -0.12,0.1 -0.1,0 -0.11,-0.04 -0.14,-0.18 -0.17,-0.65 -0.36,-1.24 -0.75,-1.24 -0.3,0 -0.3,0.32 -0.3,0.46 0,0.24 0.01,0.29 0.06,0.48 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7555"
+ d="m 257.07,706.9 h -0.24 c -0.02,-0.16 -0.09,-0.57 -0.18,-0.64 -0.05,-0.04 -0.59,-0.04 -0.69,-0.04 h -1.28 c 0.73,0.65 0.98,0.84 1.39,1.17 0.52,0.41 1,0.84 1,1.5 0,0.84 -0.74,1.36 -1.63,1.36 -0.86,0 -1.45,-0.61 -1.45,-1.25 0,-0.35 0.3,-0.39 0.37,-0.39 0.17,0 0.37,0.12 0.37,0.37 0,0.13 -0.05,0.37 -0.41,0.37 0.22,0.49 0.69,0.65 1.02,0.65 0.69,0 1.05,-0.54 1.05,-1.11 0,-0.6 -0.43,-1.08 -0.65,-1.33 l -1.68,-1.66 c -0.07,-0.06 -0.07,-0.07 -0.07,-0.27 h 2.87 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7557"
+ d="m 260.05,707.14 0,0.06 -0.01,0.06 0,0.05 -0.01,0.06 0,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.02,0.03 -0.03,0.02 -0.03,0.03 -0.02,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0.01 -0.04,0 -0.03,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.14 0,-0.74 -0.35,-1.34 -0.68,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.91,0.77 0.91,1.94 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7559"
+ d="m 267.53,711.15 0,0 -0.01,0 0,0.01 0,0 0,0 0,0.01 0,0 -0.01,0.01 0,0 0,0.01 0,0 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 0,0 0,0.01 -0.01,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0 0,0 c 0,0.01 0.18,0.15 0.29,0.23 l 1.74,1.35 c 0.94,0.68 1.33,0.72 1.63,0.75 0.08,0.01 0.18,0.02 0.18,0.2 0,0.04 -0.03,0.11 -0.12,0.11 -0.21,0 -0.46,-0.03 -0.7,-0.03 -0.36,0 -0.75,0.03 -1.11,0.03 -0.07,0 -0.19,0 -0.19,-0.2 0,-0.07 0.05,-0.1 0.12,-0.11 0.22,-0.02 0.31,-0.07 0.31,-0.2 0,-0.18 -0.3,-0.41 -0.36,-0.46 l -3.89,-2.99 0.8,3.2 c 0.09,0.36 0.11,0.45 0.84,0.45 0.25,0 0.34,0 0.34,0.2 0,0.09 -0.08,0.11 -0.14,0.11 -0.28,0 -1,-0.03 -1.28,-0.03 -0.29,0 -0.99,0.03 -1.28,0.03 -0.07,0 -0.2,0 -0.2,-0.19 0,-0.12 0.09,-0.12 0.29,-0.12 0.13,0 0.3,-0.01 0.42,-0.02 0.16,-0.02 0.22,-0.05 0.22,-0.16 0,-0.03 -0.01,-0.07 -0.04,-0.18 l -1.33,-5.35 c -0.1,-0.39 -0.12,-0.47 -0.91,-0.47 -0.17,0 -0.28,0 -0.28,-0.19 0,-0.12 0.12,-0.12 0.15,-0.12 0.28,0 0.99,0.04 1.27,0.04 0.21,0 0.43,-0.01 0.64,-0.01 0.22,0 0.43,-0.03 0.64,-0.03 0.07,0 0.2,0 0.2,0.2 0,0.11 -0.09,0.11 -0.28,0.11 -0.37,0 -0.64,0 -0.64,0.18 0,0.07 0.06,0.29 0.09,0.44 0.14,0.52 0.27,1.05 0.39,1.56 l 1.49,1.16 1.16,-2.68 c 0.12,-0.27 0.12,-0.29 0.12,-0.35 0,-0.3 -0.43,-0.31 -0.52,-0.31 -0.11,0 -0.22,0 -0.22,-0.2 0,-0.11 0.12,-0.11 0.14,-0.11 0.4,0 0.81,0.04 1.21,0.04 0.22,0 0.76,-0.04 0.98,-0.04 0.05,0 0.18,0 0.18,0.2 0,0.11 -0.11,0.11 -0.2,0.11 -0.41,0.01 -0.54,0.1 -0.69,0.45 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7561"
+ d="m 273.24,710.05 0,0.01 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0 -0.01,0.01 0,0.01 0,0.01 0,0 -0.01,0.01 0,0.01 -0.01,0 0,0.01 -0.01,0 -0.01,0 0,0.01 -0.01,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 0,0.01 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 -0.01,0 -0.01,0 0,0 c -0.45,-0.44 -1.08,-0.45 -1.37,-0.45 v -0.25 c 0.17,0 0.63,0 1.01,0.2 v -3.55 c 0,-0.23 0,-0.32 -0.7,-0.32 h -0.26 v -0.25 c 0.12,0.01 0.98,0.03 1.24,0.03 0.21,0 1.09,-0.02 1.24,-0.03 v 0.25 h -0.26 c -0.7,0 -0.7,0.09 -0.7,0.32 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7563"
+ d="m 277.4,707.14 0,0.06 0,0.06 0,0.05 -0.01,0.06 0,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.03,0.03 -0.02,0.02 -0.03,0.03 -0.02,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0.01 -0.04,0 -0.03,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.02,0.02 0.03,0.03 0.05,0.03 0,0 0.01,-0.01 0.01,-0.14 0,-0.74 -0.34,-1.34 -0.67,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.9,0.77 0.9,1.94 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7565"
+ d="m 281.72,709.61 0,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0 c -0.29,0 -0.52,-0.24 -0.52,-0.53 0,-0.29 0.23,-0.52 0.52,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7567"
+ d="m 286.15,709.61 0,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.03 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0 c -0.28,0 -0.52,-0.24 -0.52,-0.53 0,-0.29 0.24,-0.52 0.52,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7569"
+ d="m 290.58,709.61 -0.01,0.03 0,0.03 0,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.01,0.03 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0 -0.03,0.01 -0.02,0 -0.03,0.01 -0.03,0 -0.02,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.28,0 0.53,0.23 0.53,0.52 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7571"
+ d="m 295.12,707.14 0,0.06 -0.01,0.06 0,0.05 -0.01,0.06 0,0.05 -0.01,0.06 -0.01,0.05 -0.01,0.05 -0.01,0.04 -0.01,0.05 -0.02,0.04 -0.01,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.04 -0.02,0.03 -0.02,0.04 -0.02,0.03 -0.02,0.03 -0.03,0.02 -0.03,0.03 -0.02,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.02 -0.03,0.01 -0.03,0.01 -0.03,0.01 -0.04,0.01 -0.03,0.01 -0.04,0 -0.03,0 c -0.33,0 -0.53,-0.25 -0.53,-0.53 0,-0.27 0.2,-0.53 0.53,-0.53 0.12,0 0.25,0.04 0.35,0.13 0.03,0.02 0.04,0.03 0.05,0.03 0.01,0 0.02,-0.01 0.02,-0.14 0,-0.74 -0.35,-1.34 -0.68,-1.67 -0.11,-0.11 -0.11,-0.13 -0.11,-0.16 0,-0.07 0.05,-0.11 0.1,-0.11 0.11,0 0.91,0.77 0.91,1.94 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7573"
+ d="m 302.6,711.15 0,0 -0.01,0 0,0.01 0,0 0,0 0,0.01 0,0 -0.01,0.01 0,0 0,0.01 0,0 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0.01 0,0 0,0.01 -0.01,0 0,0 0,0.01 0,0 0,0.01 0,0 0,0.01 0,0 0,0 0,0 c 0,0.01 0.18,0.15 0.29,0.23 l 1.74,1.35 c 0.94,0.68 1.33,0.72 1.63,0.75 0.08,0.01 0.18,0.02 0.18,0.2 0,0.04 -0.03,0.11 -0.12,0.11 -0.21,0 -0.46,-0.03 -0.7,-0.03 -0.36,0 -0.75,0.03 -1.11,0.03 -0.07,0 -0.19,0 -0.19,-0.2 0,-0.07 0.05,-0.1 0.12,-0.11 0.22,-0.02 0.31,-0.07 0.31,-0.2 0,-0.18 -0.3,-0.41 -0.36,-0.46 l -3.89,-2.99 0.8,3.2 c 0.09,0.36 0.11,0.45 0.84,0.45 0.25,0 0.34,0 0.34,0.2 0,0.09 -0.08,0.11 -0.14,0.11 -0.28,0 -1,-0.03 -1.28,-0.03 -0.29,0 -0.99,0.03 -1.28,0.03 -0.07,0 -0.2,0 -0.2,-0.19 0,-0.12 0.09,-0.12 0.29,-0.12 0.13,0 0.3,-0.01 0.42,-0.02 0.16,-0.02 0.22,-0.05 0.22,-0.16 0,-0.03 -0.01,-0.07 -0.04,-0.18 l -1.33,-5.35 c -0.1,-0.39 -0.12,-0.47 -0.91,-0.47 -0.17,0 -0.28,0 -0.28,-0.19 0,-0.12 0.12,-0.12 0.15,-0.12 0.28,0 0.99,0.04 1.27,0.04 0.21,0 0.43,-0.01 0.64,-0.01 0.21,0 0.43,-0.03 0.64,-0.03 0.07,0 0.2,0 0.2,0.2 0,0.11 -0.09,0.11 -0.28,0.11 -0.37,0 -0.64,0 -0.64,0.18 0,0.07 0.06,0.29 0.09,0.44 0.14,0.52 0.26,1.05 0.39,1.56 l 1.49,1.16 1.16,-2.68 c 0.12,-0.27 0.12,-0.29 0.12,-0.35 0,-0.3 -0.43,-0.31 -0.52,-0.31 -0.11,0 -0.22,0 -0.22,-0.2 0,-0.11 0.12,-0.11 0.14,-0.11 0.4,0 0.82,0.04 1.21,0.04 0.22,0 0.76,-0.04 0.98,-0.04 0.05,0 0.18,0 0.18,0.2 0,0.11 -0.11,0.11 -0.2,0.11 -0.41,0.01 -0.54,0.1 -0.69,0.45 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7575"
+ d="m 307.33,710.27 0,0.01 0,0.01 0,0.01 0,0.01 0,0.02 0,0.01 0,0.02 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0.01 0,0 -0.01,0 0,0.01 -0.01,0 0,0 -0.01,0 0,0.01 -0.01,0 0,0 -0.01,0 -0.01,0.01 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 0,0 c -0.18,0 -0.18,-0.16 -0.18,-0.27 v -6.41 c 0,-0.1 0,-0.27 0.17,-0.27 0.17,0 0.17,0.16 0.17,0.27 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7577"
+ d="m 312.33,708.12 0,0.01 0,0 -0.01,0.01 0,0 0,0 0,0.01 -0.01,0 0,0.01 0,0 0,0 0,0.01 0,0 -0.01,0 0,0.01 0,0 0,0 0,0 0,0.01 0,0 -0.01,0 0,0 0,0 0,0.01 0,0 0,0 0,0 0,0 0,0 0,0 0,0 0,0 0,0.01 c 0,0.01 0.01,0.02 0.17,0.13 l 0.7,0.49 c 0.92,0.65 1.35,0.95 1.85,1 0.07,0 0.16,0.01 0.16,0.15 0,0.05 -0.05,0.09 -0.09,0.09 -0.15,0 -0.33,-0.02 -0.49,-0.02 -0.18,0 -0.65,0.03 -0.84,0.03 -0.04,0 -0.14,0 -0.14,-0.16 0,-0.01 0,-0.09 0.1,-0.09 0.08,-0.01 0.17,-0.03 0.17,-0.1 0,-0.13 -0.21,-0.28 -0.3,-0.34 l -2.91,-2.05 0.55,2.19 c 0.07,0.24 0.07,0.3 0.62,0.3 0.11,0 0.21,0 0.21,0.14 0,0.06 -0.05,0.11 -0.12,0.11 -0.2,0 -0.71,-0.03 -0.91,-0.03 -0.12,0 -0.36,0 -0.48,0 -0.14,0.01 -0.31,0.03 -0.44,0.03 -0.04,0 -0.14,0 -0.14,-0.16 0,-0.09 0.07,-0.09 0.23,-0.09 0.11,0 0.14,0 0.26,-0.02 0.14,-0.01 0.15,-0.03 0.15,-0.1 0,-0.01 0,-0.05 -0.02,-0.15 l -0.93,-3.69 c -0.06,-0.24 -0.07,-0.29 -0.61,-0.29 -0.13,0 -0.21,0 -0.21,-0.16 0,0 0,-0.09 0.11,-0.09 0.2,0 0.7,0.02 0.9,0.02 0.12,0 0.37,0 0.49,0 0.13,-0.01 0.31,-0.02 0.44,-0.02 0.04,0 0.15,0 0.15,0.15 0,0.1 -0.09,0.1 -0.23,0.1 0,0 -0.14,0 -0.26,0.01 -0.16,0.01 -0.16,0.03 -0.16,0.11 0,0.05 0.07,0.31 0.33,1.33 l 1.15,0.81 1.01,-1.95 c 0.05,-0.09 0.05,-0.1 0.05,-0.13 0,-0.16 -0.19,-0.18 -0.32,-0.18 -0.08,0 -0.18,0 -0.18,-0.16 0,0 0.01,-0.09 0.12,-0.09 0.19,0 0.69,0.02 0.89,0.02 0.21,0 0.49,-0.02 0.68,-0.02 0.09,0 0.14,0.05 0.14,0.14 0,0.11 -0.09,0.11 -0.16,0.11 -0.12,0 -0.34,0 -0.46,0.23 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7579"
+ d="m 316.88,710.27 0,0.01 0,0.01 0,0.01 0,0.01 0,0.02 0,0.01 0,0.02 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 0,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0.01 0,0.01 -0.01,0.01 -0.01,0 0,0 0,0.01 -0.01,0 0,0 -0.01,0 0,0.01 -0.01,0 0,0 -0.01,0 -0.01,0.01 0,0 -0.01,0 -0.01,0 0,0 -0.01,0 -0.01,0 -0.01,0 c -0.17,0 -0.17,-0.16 -0.17,-0.27 v -6.41 c 0,-0.1 0,-0.27 0.17,-0.27 0.17,0 0.17,0.16 0.17,0.27 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+<path
+ id="path7581"
+ d="m 321.43,709.62 0,0.27 -0.01,0.29 -0.02,0.29 -0.03,0.31 -0.03,0.31 -0.05,0.32 -0.07,0.33 -0.07,0.33 -0.05,0.17 -0.05,0.16 -0.05,0.17 -0.06,0.17 -0.06,0.17 -0.06,0.16 -0.07,0.17 -0.08,0.17 -0.08,0.17 -0.08,0.16 -0.09,0.17 -0.1,0.16 -0.1,0.17 -0.11,0.16 -0.11,0.16 -0.12,0.16 c -0.1,0.12 -0.75,0.87 -0.93,0.87 -0.05,0 -0.12,-0.02 -0.12,-0.1 0,-0.04 0.02,-0.07 0.06,-0.1 0.48,-0.51 1.13,-1.32 1.54,-2.9 0.23,-0.91 0.32,-1.93 0.32,-2.86 0,-1 -0.09,-2.02 -0.35,-2.99 -0.38,-1.4 -0.97,-2.19 -1.48,-2.75 -0.09,-0.09 -0.09,-0.11 -0.09,-0.13 0,-0.08 0.07,-0.1 0.12,-0.1 0.15,0 0.7,0.61 0.82,0.75 1.02,1.2 1.66,2.99 1.66,5.21 z"
+ inkscape:connector-curvature="0"
+ style="fill:#000000;stroke-width:0" />
+</g> <text
+ xml:space="preserve"
+ style="font-size:11px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="24.218153"
+ y="64.057243"
+ id="text7840"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan7842"
+ x="24.218153"
+ y="64.057243">Original Loop:</tspan></text>
+ <text
+ xml:space="preserve"
+ style="font-size:11px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="24.218153"
+ y="254.05722"
+ id="text7840-9"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan7842-5"
+ x="24.218153"
+ y="254.05722">After Loop Peeling:</tspan></text>
+ <text
+ xml:space="preserve"
+ style="font-size:9px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="117.34223"
+ y="294.81015"
+ id="text7840-9-7"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan7842-5-0"
+ x="117.34223"
+ y="294.81015">Preamble</tspan></text>
+ <text
+ xml:space="preserve"
+ style="font-size:9px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:DejaVu Sans;-inkscape-font-specification:DejaVu Sans"
+ x="102.34222"
+ y="424.81018"
+ id="text7840-9-8"
+ sodipodi:linespacing="125%"><tspan
+ sodipodi:role="line"
+ id="tspan7842-5-8"
+ x="102.34222"
+ y="424.81018">Peeled Loop</tspan></text>
+ <rect
+ y="282.32642"
+ x="24.653536"
+ height="78.076286"
+ width="146.41783"
+ id="rect2985-1"
+ style="color:#000000;fill:none;stroke:#000000;stroke-width:0.46976614;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate" />
+ <g
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="g4683-0"
+ transform="matrix(1,0,0,-1,-194.6967,1024.8439)"
+ xml:space="preserve"
+ stroke-miterlimit="10.433"
+ font-style="normal"
+ font-variant="normal"
+ font-weight="normal"
+ font-stretch="normal"
+ font-size-adjust="none"
+ letter-spacing="normal"
+ word-spacing="normal"
+ ns0:text="$\\mathtt{ops}~\\cdots$"
+ ns0:preamble="">
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 228.09,709.28 -0.01,0.11 0,0.12 -0.02,0.11 -0.02,0.11 -0.02,0.11 -0.03,0.1 -0.03,0.11 -0.04,0.1 -0.04,0.1 -0.04,0.09 -0.05,0.1 -0.06,0.09 -0.05,0.08 -0.06,0.09 -0.07,0.08 -0.07,0.08 -0.07,0.07 -0.07,0.07 -0.08,0.07 -0.08,0.06 -0.08,0.05 -0.09,0.06 -0.09,0.05 -0.09,0.04 -0.09,0.04 -0.09,0.03 -0.1,0.03 -0.1,0.03 -0.1,0.02 -0.1,0.01 -0.1,0.01 -0.11,0 c -1.11,0 -2.04,-0.98 -2.04,-2.22 0,-1.27 0.95,-2.21 2.04,-2.21 v 0.6 c -0.73,0 -1.35,0.75 -1.35,1.67 0,0.91 0.65,1.56 1.35,1.56 0.72,0 1.36,-0.65 1.36,-1.56 0,-0.92 -0.62,-1.67 -1.36,-1.67 h 0 v -0.6 c 1.1,0 2.05,0.95 2.05,2.21 z"
+ id="path4685-75" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 230.32,707.57 0.04,-0.04 0.03,-0.03 0.04,-0.04 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.04,-0.03 0.04,-0.02 0.03,-0.03 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.04,-0.02 0.03,-0.02 0.04,-0.01 0.04,-0.02 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.03,-0.01 0.04,-0.01 0.04,-0.01 0.03,-0.01 0.04,0 0.03,-0.01 0.03,0 0.07,-0.01 0.06,0 0.06,0 -0.03,0.6 c -0.77,0 -1.12,0.88 -1.12,1.36 v 0.72 c 0,0.59 0.58,1.12 1.2,1.12 0.74,0 1.32,-0.73 1.32,-1.59 0,-0.96 -0.7,-1.61 -1.4,-1.61 l 0.03,-0.6 c 1.09,0 2.06,0.94 2.06,2.21 0,1.22 -0.89,2.19 -1.95,2.19 -0.48,0 -0.92,-0.18 -1.26,-0.48 0,0.29 -0.02,0.42 -0.4,0.42 h -0.73 c -0.16,0 -0.41,0 -0.41,-0.3 0,-0.3 0.26,-0.3 0.4,-0.3 h 0.45 v -5.29 h -0.44 c -0.16,0 -0.41,0 -0.41,-0.31 0,-0.29 0.26,-0.29 0.4,-0.29 h 1.59 c 0.13,0 0.39,0 0.39,0.29 0,0.31 -0.25,0.31 -0.4,0.31 h -0.44 z"
+ id="path4687-8" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 236.86,709.66 -0.04,0.01 -0.04,0.01 -0.08,0.01 -0.09,0.02 -0.08,0.01 -0.04,0.01 -0.04,0 -0.04,0.01 -0.05,0.01 -0.04,0.01 -0.04,0 -0.05,0.01 -0.05,0.01 c -0.28,0.04 -0.96,0.16 -0.96,0.55 0,0.26 0.32,0.57 1.26,0.57 0.83,0 0.97,-0.3 1,-0.56 0.01,-0.17 0.03,-0.34 0.34,-0.34 0.35,0 0.35,0.21 0.35,0.41 v 0.69 c 0,0.16 0,0.4 -0.3,0.4 -0.24,0 -0.28,-0.14 -0.3,-0.21 -0.44,0.21 -0.88,0.21 -1.07,0.21 -1.66,0 -1.89,-0.81 -1.89,-1.17 0,-0.92 1.05,-1.09 1.96,-1.22 0.49,-0.08 1.29,-0.21 1.29,-0.74 0,-0.37 -0.37,-0.7 -1.28,-0.7 -0.46,0 -1.02,0.11 -1.27,0.89 -0.05,0.18 -0.09,0.29 -0.35,0.29 -0.35,0 -0.35,-0.21 -0.35,-0.41 v -0.97 c 0,-0.16 0,-0.4 0.3,-0.4 0.09,0 0.25,0.01 0.37,0.37 0.49,-0.35 1.01,-0.37 1.29,-0.37 1.58,0 1.9,0.82 1.9,1.3 0,1.03 -1.29,1.24 -1.61,1.29 z"
+ id="path4689-7" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 246.02,709.61 0,0.03 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.03 0,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0.01 -0.02,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path4691-0" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 250.45,709.61 0,0.03 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.01,0.02 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0.01 -0.02,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path4693-4" />
+<path
+ style="fill:#000000;stroke-width:0"
+ inkscape:connector-curvature="0"
+ d="m 254.87,709.61 0,0.03 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 0,0.03 -0.01,0.02 -0.01,0.03 -0.01,0.02 -0.01,0.02 -0.02,0.03 -0.01,0.02 -0.02,0.02 -0.01,0.02 -0.02,0.02 -0.02,0.02 -0.01,0.01 -0.02,0.02 -0.02,0.02 -0.02,0.01 -0.03,0.01 -0.02,0.02 -0.02,0.01 -0.02,0.01 -0.03,0.01 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.02,0.01 -0.03,0 -0.03,0 c -0.29,0 -0.53,-0.24 -0.53,-0.53 0,-0.29 0.24,-0.52 0.53,-0.52 0.29,0 0.53,0.23 0.53,0.52 z"
+ id="path4695-8" />
+</g> <rect
+ y="412.32642"
+ x="24.653536"
+ height="78.076286"
+ width="146.41783"
+ id="rect2985-9"
+ style="color:#000000;fill:none;stroke:#000000;stroke-width:0.46976614;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate" />
+ <path
+ style="fill:none;stroke:#000000;stroke-width:0.43990937;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Lend)"
+ d="m 130.36039,491.05518 c 24.45164,27.09473 70.14646,10.06275 68.94564,-36.70102 -1.72091,-67.01849 -57.92236,-58.98056 -68.34438,-42.8469"
+ id="path3559-6"
+ inkscape:connector-curvature="0"
+ sodipodi:nodetypes="csc" />
+ </g>
+</svg>
diff --git a/talk/iwtc11/paper.tex b/talk/iwtc11/paper.tex
--- a/talk/iwtc11/paper.tex
+++ b/talk/iwtc11/paper.tex
@@ -320,6 +320,12 @@
\subsection{Loop Peeling}
+\begin{figure}
+\begin{center}
+\includegraphics[scale=1]{figures/overview}
+\end{center}
+\end{figure}
+
XXX find reference
Loop peeling is achieved by appending a copy of the traced iteration at
More information about the pypy-commit
mailing list