X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=counter.svg;fp=counter.svg;h=19050b2961dca765b416363aec0ac91144b21113;hp=16d2edf56fcd6f5bd1f33bc78982c2c0fdf9e86d;hb=dd16450ad2713c889ba05562210dd909f107b0d9;hpb=e06e91ad5367d1c1f4453223921bd60b5eadfc28 diff --git a/counter.svg b/counter.svg index 16d2edf..19050b2 100644 --- a/counter.svg +++ b/counter.svg @@ -10,7 +10,7 @@ xmlns="http://www.w3.org/2000/svg" xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" - width="172.75" + width="168.75" height="142.6393" id="svg2" version="1.1" @@ -23,9 +23,9 @@ borderopacity="1.0" inkscape:pageopacity="0.0" inkscape:pageshadow="2" - inkscape:zoom="2.5858452" - inkscape:cx="69.577315" - inkscape:cy="49.983004" + inkscape:zoom="4" + inkscape:cx="40.360778" + inkscape:cy="80.566278" inkscape:document-units="px" inkscape:current-layer="layer1" showgrid="false" @@ -37,62 +37,62 @@ inkscape:window-maximized="0" inkscape:snap-center="false"> + visible="true" + empspacing="5" + id="grid2818" + type="xygrid" /> + refX="0" + refY="0" + orient="auto" + inkscape:stockid="Arrow1Mend"> + d="M 0,0 5,-5 -12.5,0 5,5 0,0 z" + id="path3732" /> + refX="0" + refY="0" + orient="auto" + inkscape:stockid="Arrow1Send"> + d="M 0,0 5,-5 -12.5,0 5,5 0,0 z" + id="path3738" /> - + + inkscape:vp_y="0 : 1000 : 0" + inkscape:vp_z="1 : 0.5 : 1" + inkscape:persp3d-origin="0.5 : 0.33333333 : 1" + id="perspective3128" /> @@ -107,94 +107,137 @@ + inkscape:groupmode="layer" + inkscape:label="Layer 1"> + style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none" /> + d="m 372.36,585.7295 78.5,0" + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" /> + id="g5140" + transform="translate(-75.428753,-10)"> + id="g4445" + transform="translate(118.2,-6.1899623)"> + sodipodi:ry="10" + sodipodi:rx="10" + sodipodi:cy="26.984081" + sodipodi:cx="40" + id="path3641" + style="fill:#ffffff;stroke:#000000" + sodipodi:type="arc" /> + ns0:text="$\\mathbf{+}$\n\n" + word-spacing="normal" + letter-spacing="normal" + font-size-adjust="none" + font-stretch="normal" + font-weight="normal" + font-variant="normal" + font-style="normal" + stroke-miterlimit="10.433" + xml:space="preserve" + transform="matrix(1,0,0,-1,191.89,1238.2695)" + id="g3067"> + style="fill:#000000;stroke-width:0" /> - + + sodipodi:ry="10" + sodipodi:rx="10" + sodipodi:cy="26.984081" + sodipodi:cx="40" + id="path4581" + style="fill:#ffffff;stroke:#000000" + sodipodi:type="arc" /> + id="path5134" /> + d="m 429.2,585.15952 0.16,-28.2 21.8,0" + style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + + + + + + + - + transform="translate(247.35,-29.030423)" + id="g5410"> + - - - - - - - + sodipodi:type="arc" + style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none" + id="path5426" + sodipodi:cx="35.355339" + sodipodi:cy="33.558914" + sodipodi:rx="0.79549515" + sodipodi:ry="0.79549515" + d="m 36.150834,33.558914 a 0.79549515,0.79549515 0 1 1 -1.59099,0 0.79549515,0.79549515 0 1 1 1.59099,0 z" + transform="matrix(1.44,0,0,-1.44,378.44482,657.58212)" /> - + transform="matrix(1.44,0,0,-1.44,369.95782,671.10712)" /> + id="path5432" + sodipodi:nodetypes="ccc" /> + id="path5434" /> + id="path5438" + d="m 130,95.810023 5,0 0,-36.400004 0,0 9,0" + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-end:url(#Arrow1Mend)" /> + id="path6184" + sodipodi:nodetypes="ccccc" /> + id="path6186" + sodipodi:nodetypes="cc" /> + transform="translate(-12.228753,133.38002)" + id="g2899"> + sodipodi:ry="10" + sodipodi:rx="10" + sodipodi:cy="26.984081" + sodipodi:cx="40" + id="path2901" + style="fill:#ffffff;stroke:#000000" + sodipodi:type="arc" /> + xml:space="preserve" + stroke-miterlimit="10.433" + font-style="normal" + font-variant="normal" + font-weight="normal" + font-stretch="normal" + font-size-adjust="none" + letter-spacing="normal" + word-spacing="normal" + ns0:text="$\\equiv$\n\n\n\n\n" + ns0:preamble="" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"> + style="fill:#000000;stroke-width:0" /> + style="fill:#000000;stroke-width:0" /> + style="fill:#000000;stroke-width:0" /> + d="m 372.36,660.85952 79.7,0" + style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + id="path2913" + sodipodi:nodetypes="cc" /> + stroke-miterlimit="10.433" + font-style="normal" + font-variant="normal" + font-weight="normal" + font-stretch="normal" + font-size-adjust="none" + letter-spacing="normal" + word-spacing="normal" + ns0:text="$\\mathit{direction}$\n\n\n" + ns0:preamble="" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"> + id="path3008" /> + id="path3010" /> + id="path3012" /> + id="path3014" /> + id="path3016" /> + id="path3018" /> + id="path3020" /> + id="path3022" /> + id="path3024" /> + id="path3026" /> + id="path3028" /> + ns0:text="$\\mathit{Up}$\n\n\n\n\n\n\n\n\n" + word-spacing="normal" + letter-spacing="normal" + font-size-adjust="none" + font-stretch="normal" + font-weight="normal" + font-variant="normal" + font-style="normal" + stroke-miterlimit="10.433" + xml:space="preserve" + transform="matrix(1,0,0,-1,202.995,1331.6142)" + id="g3230"> + d="m 230.76,663.05 0.01,0.03 0.01,0.03 0.01,0.03 0.01,0.02 0.01,0.03 0.01,0.02 0.01,0.03 0.01,0.02 0.03,0.05 0.02,0.04 0.03,0.04 0.03,0.03 0.03,0.04 0.03,0.03 0.03,0.03 0.04,0.02 0.03,0.03 0.04,0.02 0.03,0.02 0.04,0.01 0.04,0.02 0.03,0.01 0.04,0.02 0.04,0.01 0.03,0.01 0.04,0 0.04,0.01 0.03,0.01 0.04,0 0.03,0.01 0.04,0 0.03,0 0.03,0 0.03,0.01 0.03,0 0.03,0 c 0.03,0 0.15,0.01 0.15,0.18 0,0.08 -0.04,0.13 -0.13,0.13 -0.3,0 -0.63,-0.03 -0.94,-0.03 -0.31,0 -0.64,0.03 -0.95,0.03 -0.05,0 -0.18,0 -0.18,-0.19 0,-0.11 0.09,-0.12 0.18,-0.12 0.52,-0.02 0.6,-0.22 0.6,-0.43 0,-0.09 -0.02,-0.16 -0.04,-0.24 l -0.89,-3.55 c -0.32,-1.28 -1.37,-2.19 -2.31,-2.19 -0.52,0 -1.07,0.34 -1.07,1.25 0,0.22 0.05,0.53 0.1,0.76 l 1,4 c 0.08,0.32 0.16,0.4 0.78,0.4 0.21,0 0.3,0 0.3,0.18 0,0.11 -0.07,0.13 -0.14,0.13 -0.37,0 -0.78,-0.03 -1.17,-0.03 -0.4,0 -0.81,0.03 -1.2,0.03 -0.06,0 -0.19,0 -0.19,-0.19 0,-0.12 0.08,-0.12 0.27,-0.12 0.31,0 0.58,0 0.58,-0.17 0,-0.03 0,-0.05 -0.04,-0.19 l -0.96,-3.85 c -0.07,-0.31 -0.07,-0.53 -0.07,-0.63 0,-1.2 0.83,-1.88 1.77,-1.88 1.26,0 2.37,1.3 2.64,2.39 z" /> + d="m 231.73,655.96 -0.01,-0.03 0,-0.03 -0.01,-0.02 -0.01,-0.03 -0.01,-0.02 -0.01,-0.02 0,-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.01,-0.01 -0.02,-0.01 -0.01,-0.01 -0.02,-0.01 -0.01,0 -0.02,-0.01 -0.02,0 -0.02,-0.01 -0.02,0 -0.03,-0.01 -0.02,0 -0.03,0 -0.03,0 -0.02,-0.01 -0.03,0 -0.04,0 -0.03,0 -0.04,0 c -0.09,0 -0.21,0 -0.21,-0.19 0,-0.07 0.05,-0.12 0.12,-0.12 0.27,0 0.56,0.03 0.84,0.03 0.32,0 0.66,-0.03 0.97,-0.03 0.06,0 0.19,0 0.19,0.19 0,0.12 -0.1,0.12 -0.24,0.12 -0.51,0 -0.51,0.06 -0.51,0.16 0,0.06 0.07,0.32 0.11,0.48 l 0.36,1.45 c 0.07,-0.17 0.32,-0.58 0.83,-0.58 l -0.01,0.22 c -0.57,0 -0.67,0.85 -0.67,0.93 0,0.03 0.01,0.06 0.03,0.14 l 0.47,1.88 c 0.08,0.34 0.69,1.13 1.24,1.13 0.45,0 0.55,-0.57 0.55,-0.89 0,-0.42 -0.27,-1.6 -0.56,-2.24 -0.12,-0.25 -0.55,-0.95 -1.06,-0.95 l 0.01,-0.22 c 1.09,0 2.28,1.48 2.28,2.96 0,1.07 -0.6,1.56 -1.2,1.56 -0.49,0 -0.92,-0.36 -1.21,-0.7 -0.11,0.58 -0.56,0.7 -0.81,0.7 -0.36,0 -0.56,-0.23 -0.72,-0.53 -0.19,-0.4 -0.32,-0.99 -0.32,-1.01 0,-0.1 0.1,-0.1 0.15,-0.1 0.13,0 0.14,0.01 0.19,0.23 0.18,0.7 0.37,1.19 0.68,1.19 0.26,0 0.26,-0.29 0.26,-0.4 0,-0.06 0,-0.22 -0.07,-0.5 z" /> - - + transform="matrix(1,0,0,-1,166,1240.6404)" + id="content"> - + style="fill:#000000;stroke-width:0" + id="path3649" + d="m 228.15,661.28 -0.01,-0.01 -0.02,0 -0.02,-0.01 -0.02,0 -0.01,-0.01 -0.02,-0.01 -0.01,0 -0.02,-0.01 -0.01,-0.01 -0.01,-0.01 -0.02,0 -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.01 -0.01,-0.02 -0.02,-0.02 -0.02,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.02 -0.01,-0.01 -0.01,-0.02 0,-0.02 -0.01,-0.02 0,-0.02 -0.01,-0.01 0,-0.02 0,-0.01 0,-0.01 0,-0.01 0,-0.01 0,-0.01 0,0 0,-0.01 0,0 0,0 0,0 0,0 c 0,-0.13 0.09,-0.32 0.34,-0.32 0.18,0 0.49,0.14 0.49,0.53 0,0.51 -0.58,0.63 -0.86,0.63 -0.55,0 -0.88,-0.49 -0.98,-0.68 -0.22,0.6 -0.71,0.68 -0.96,0.68 -0.99,0 -1.53,-1.31 -1.53,-1.54 0,-0.1 0.1,-0.1 0.15,-0.1 0.13,0 0.13,0.01 0.18,0.17 0.27,0.86 0.79,1.25 1.18,1.25 0.29,0 0.48,-0.23 0.48,-0.63 0,-0.24 -0.12,-0.73 -0.21,-1.1 -0.11,-0.41 -0.12,-0.45 -0.23,-0.9 -0.16,-0.65 -0.36,-1.45 -0.96,-1.45 -0.03,0 -0.27,0 -0.44,0.14 0.3,0.08 0.39,0.33 0.39,0.48 0,0.26 -0.21,0.32 -0.34,0.32 -0.25,0 -0.5,-0.21 -0.5,-0.54 0,-0.39 0.42,-0.62 0.88,-0.62 0.48,0 0.8,0.38 0.97,0.68 0.2,-0.57 0.69,-0.68 0.95,-0.68 1.03,0 1.53,1.34 1.53,1.54 0,0.1 -0.08,0.1 -0.14,0.1 -0.13,0 -0.14,-0.01 -0.19,-0.17 -0.26,-0.86 -0.76,-1.25 -1.18,-1.25 -0.2,0 -0.47,0.12 -0.47,0.64 0,0.24 0.11,0.67 0.19,1.01 0.11,0.41 0.26,1.03 0.34,1.36 0.14,0.52 0.41,1.07 0.88,1.07 0.03,0 0.27,0 0.43,-0.14 z" /> - - + id="path3852" /> + id="path3854" /> + id="path3856" /> + id="path3858" /> + id="path3860" /> + id="path3862" /> + id="path3864" /> + + + + - - - + - - + id="g5280"> + style="fill:#000000;stroke-width:0" /> + d="m 439.06,619.65952 12,0" + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" /> + ns0:text="$0$\n\n\n\n\n" + word-spacing="normal" + letter-spacing="normal" + font-size-adjust="none" + font-stretch="normal" + font-weight="normal" + font-variant="normal" + font-style="normal" + stroke-miterlimit="10.433" + xml:space="preserve" + transform="matrix(1,0,0,-1,210.23,1279.8495)" + id="g5385"> + style="fill:#000000;stroke-width:0" /> + id="path5389" + sodipodi:nodetypes="cc" /> + ns0:text="$1$\n\n\n\n\n\n" + word-spacing="normal" + letter-spacing="normal" + font-size-adjust="none" + font-stretch="normal" + font-weight="normal" + font-variant="normal" + font-style="normal" + stroke-miterlimit="10.433" + xml:space="preserve" + transform="matrix(1,0,0,-1,210.73,1303.9495)" + id="g5391"> + style="fill:#000000;stroke-width:0" /> + transform="translate(0,2)" + id="g5602"> + sodipodi:ry="10" + sodipodi:rx="10" + sodipodi:cy="26.984081" + sodipodi:cx="40" + id="path5384" + style="fill:#ffffff;stroke:#000000" + sodipodi:type="arc" /> + ns0:text="$\\mathbf{-}$\n\n\n" + word-spacing="normal" + letter-spacing="normal" + font-size-adjust="none" + font-stretch="normal" + font-weight="normal" + font-variant="normal" + font-style="normal" + stroke-miterlimit="10.433" + xml:space="preserve" + transform="translate(234.46625,-23.060381)" + id="g5500"> + style="fill:#000000;stroke-width:0" /> - + + + + + + +