<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!--
  Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation

  See the NOTICE file(s) distributed with this work for additional
  information regarding copyright ownership.

  This program and the accompanying materials are made available under the terms
  of the MIT License which is available at https://opensource.org/licenses/MIT

  SPDX-License-Identifier: MIT
-->
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
   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="850"
   height="120"
   id="svg2"
   version="1.1"
   inkscape:version="0.47 r22583"
   sodipodi:docname="trace_extended.png.svg">
  <defs
     id="defs4">
    <marker
       inkscape:stockid="Arrow1Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow1Lend"
       style="overflow:visible">
      <path
         id="path3813"
         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
         transform="matrix(-0.8,0,0,-0.8,-10,0)" />
    </marker>
    <inkscape:perspective
       sodipodi:type="inkscape:persp3d"
       inkscape:vp_x="0 : 526.18109 : 1"
       inkscape:vp_y="0 : 1000 : 0"
       inkscape:vp_z="744.09448 : 526.18109 : 1"
       inkscape:persp3d-origin="372.04724 : 350.78739 : 1"
       id="perspective10" />
  </defs>
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="1"
     inkscape:cx="497.52518"
     inkscape:cy="115.33604"
     inkscape:document-units="px"
     inkscape:current-layer="layer1"
     showgrid="false"
     inkscape:window-width="1912"
     inkscape:window-height="1080"
     inkscape:window-x="0"
     inkscape:window-y="0"
     inkscape:window-maximized="1" />
  <metadata
     id="metadata7">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title />
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <g
     inkscape:label="Layer 1"
     inkscape:groupmode="layer"
     id="layer1"
     transform="translate(0,-80)">
    <path
       sodipodi:type="arc"
       style="fill:#dcdcdc;fill-opacity:1;stroke:#000000;stroke-width:0.89873415;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:5.39240485, 5.39240485;stroke-dashoffset:0"
       id="path2839"
       sodipodi:cx="105.5"
       sodipodi:cy="65.5"
       sodipodi:rx="35.5"
       sodipodi:ry="35.5"
       d="M 141,65.5 C 141,85.106109 125.10611,101 105.5,101 85.893891,101 70,85.106109 70,65.5 70,45.893891 85.893891,30 105.5,30 125.10611,30 141,45.893891 141,65.5 z"
       transform="matrix(1.1126761,0,0,1.1126761,-67.387327,77.119714)" />
    <path
       transform="matrix(1.1126761,0,0,1.1126761,682.61267,77.119714)"
       d="M 141,65.5 C 141,85.106109 125.10611,101 105.5,101 85.893891,101 70,85.106109 70,65.5 70,45.893891 85.893891,30 105.5,30 125.10611,30 141,45.893891 141,65.5 z"
       sodipodi:ry="35.5"
       sodipodi:rx="35.5"
       sodipodi:cy="65.5"
       sodipodi:cx="105.5"
       id="path3613"
       style="fill:#dcdcdc;fill-opacity:1;stroke:#000000;stroke-width:0.89873427;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:5.3924055, 5.3924055;stroke-dashoffset:0"
       sodipodi:type="arc" />
    <path
       sodipodi:type="arc"
       style="fill:#dcdcdc;fill-opacity:1;stroke:#000000;stroke-width:0.89873421;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
       id="path3615"
       sodipodi:cx="105.5"
       sodipodi:cy="65.5"
       sodipodi:rx="35.5"
       sodipodi:ry="35.5"
       d="M 141,65.5 C 141,85.106109 125.10611,101 105.5,101 85.893891,101 70,85.106109 70,65.5 70,45.893891 85.893891,30 105.5,30 125.10611,30 141,45.893891 141,65.5 z"
       transform="matrix(1.1126761,0,0,1.1126761,382.61267,77.119714)" />
    <path
       transform="matrix(1.1126761,0,0,1.1126761,532.61267,77.119714)"
       d="M 141,65.5 C 141,85.106109 125.10611,101 105.5,101 85.893891,101 70,85.106109 70,65.5 70,45.893891 85.893891,30 105.5,30 125.10611,30 141,45.893891 141,65.5 z"
       sodipodi:ry="35.5"
       sodipodi:rx="35.5"
       sodipodi:cy="65.5"
       sodipodi:cx="105.5"
       id="path3617"
       style="fill:#dcdcdc;fill-opacity:1;stroke:#000000;stroke-width:0.89873421;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
       sodipodi:type="arc" />
    <path
       sodipodi:type="arc"
       style="fill:#dcdcdc;fill-opacity:1;stroke:#000000;stroke-width:0.89873421;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
       id="path3619"
       sodipodi:cx="105.5"
       sodipodi:cy="65.5"
       sodipodi:rx="35.5"
       sodipodi:ry="35.5"
       d="M 141,65.5 C 141,85.106109 125.10611,101 105.5,101 85.893891,101 70,85.106109 70,65.5 70,45.893891 85.893891,30 105.5,30 125.10611,30 141,45.893891 141,65.5 z"
       transform="matrix(1.1126761,0,0,1.1126761,82.612673,77.119714)" />
    <path
       transform="matrix(1.1126761,0,0,1.1126761,232.61267,77.119714)"
       d="M 141,65.5 C 141,85.106109 125.10611,101 105.5,101 85.893891,101 70,85.106109 70,65.5 70,45.893891 85.893891,30 105.5,30 125.10611,30 141,45.893891 141,65.5 z"
       sodipodi:ry="35.5"
       sodipodi:rx="35.5"
       sodipodi:cy="65.5"
       sodipodi:cx="105.5"
       id="path3621"
       style="fill:#dcdcdc;fill-opacity:1;stroke:#000000;stroke-width:0.89873421;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
       sodipodi:type="arc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:6, 6;stroke-dashoffset:0;marker-start:none;marker-end:url(#Arrow1Lend)"
       d="m 89.500003,49.999999 70.999997,0"
       id="path3623"
       transform="translate(0,100)"
       inkscape:connector-type="polyline"
       inkscape:connection-start="#path2839"
       inkscape:connection-end="#path3619" />
    <text
       xml:space="preserve"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       x="102.99219"
       y="140"
       id="text4255"><tspan
         sodipodi:role="line"
         id="tspan4257"
         x="102.99219"
         y="140"
         style="font-style:italic;-inkscape-font-specification:Bitstream Vera Sans Oblique">initial</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend)"
       d="m 239.5,49.999999 71,0"
       id="path4259"
       transform="translate(0,100)"
       inkscape:connector-type="polyline"
       inkscape:connection-start="#path3619"
       inkscape:connection-end="#path3621" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend)"
       d="m 389.5,49.999999 71,0"
       id="path4261"
       transform="translate(0,100)"
       inkscape:connector-type="polyline"
       inkscape:connection-start="#path3621"
       inkscape:connection-end="#path3615" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Lend)"
       d="m 539.5,49.999999 71,0"
       id="path4263"
       transform="translate(0,100)"
       inkscape:connector-type="polyline"
       inkscape:connection-start="#path3615"
       inkscape:connection-end="#path3617" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:6, 6;stroke-dashoffset:0;marker-end:url(#Arrow1Lend)"
       d="m 689.5,49.999999 71,0"
       id="path4265"
       transform="translate(0,100)"
       inkscape:connector-type="polyline"
       inkscape:connection-start="#path3617"
       inkscape:connection-end="#path3613" />
    <text
       xml:space="preserve"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       x="20.785158"
       y="155.71875"
       id="text4267"><tspan
         sodipodi:role="line"
         id="tspan4269"
         x="20.785158"
         y="155.71875">cnt = 5</tspan></text>
    <text
       id="text4455"
       y="155.71875"
       x="170.78516"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       xml:space="preserve"><tspan
         y="155.71875"
         x="170.78516"
         id="tspan4457"
         sodipodi:role="line">cnt = 5</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       x="320.78516"
       y="155.71875"
       id="text4459"><tspan
         sodipodi:role="line"
         id="tspan4461"
         x="320.78516"
         y="155.71875">cnt = 6</tspan></text>
    <text
       id="text4463"
       y="155.71875"
       x="470.73047"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       xml:space="preserve"><tspan
         y="155.71875"
         x="470.73047"
         id="tspan4465"
         sodipodi:role="line">cnt = 7</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       x="620.78516"
       y="155.71875"
       id="text4467"><tspan
         sodipodi:role="line"
         id="tspan4469"
         x="620.78516"
         y="155.71875">cnt = 6</tspan></text>
    <text
       id="text4471"
       y="155.71875"
       x="770.78516"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       xml:space="preserve"><tspan
         y="155.71875"
         x="770.78516"
         id="tspan4473"
         sodipodi:role="line">cnt = 6</tspan></text>
    <text
       id="text4475"
       y="140"
       x="260.18359"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       xml:space="preserve"><tspan
         y="140"
         x="260.18359"
         id="tspan4477"
         sodipodi:role="line">add</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       x="410.18359"
       y="140"
       id="text4479"><tspan
         sodipodi:role="line"
         id="tspan4481"
         x="410.18359"
         y="140">add</tspan></text>
    <text
       id="text4483"
       y="140"
       x="544.30859"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       xml:space="preserve"><tspan
         y="140"
         x="544.30859"
         id="tspan4485"
         sodipodi:role="line">remove</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       x="708.32812"
       y="140"
       id="text4487"><tspan
         sodipodi:role="line"
         id="tspan4489"
         x="708.32812"
         y="140"
         style="font-style:italic;-inkscape-font-specification:Bitstream Vera Sans Oblique">final</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       x="190.04297"
       y="100"
       id="text4491"><tspan
         sodipodi:role="line"
         id="tspan4493"
         x="190.04297"
         y="100">S1</tspan></text>
    <text
       id="text4495"
       y="100"
       x="11.773439"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       xml:space="preserve"><tspan
         y="100"
         x="11.773439"
         id="tspan4497"
         sodipodi:role="line"
         style="font-style:normal;-inkscape-font-specification:Bitstream Vera Sans">S0 (= S1)</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       x="340.10547"
       y="100"
       id="text4499"><tspan
         sodipodi:role="line"
         id="tspan4501"
         x="340.10547"
         y="100">S2</tspan></text>
    <text
       id="text4503"
       y="100"
       x="489.94531"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       xml:space="preserve"><tspan
         y="100"
         x="489.94531"
         id="tspan4505"
         sodipodi:role="line">S3</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       x="639.75391"
       y="100"
       id="text4507"><tspan
         sodipodi:role="line"
         id="tspan4509"
         x="639.75391"
         y="100">S4</tspan></text>
    <text
       id="text4511"
       y="100"
       x="762.38281"
       style="font-size:16px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
       xml:space="preserve"><tspan
         y="100"
         x="762.38281"
         id="tspan4513"
         sodipodi:role="line"
         style="font-style:normal;-inkscape-font-specification:Bitstream Vera Sans">S5 (= S4)</tspan></text>
  </g>
</svg>