results/004SetAddDel-time-log.svg

<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Created with matplotlib (https://matplotlib.org/) -->
<svg height="345.6pt" version="1.1" viewBox="0 0 460.8 345.6" width="460.8pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
 <defs>
  <style type="text/css">
*{stroke-linecap:butt;stroke-linejoin:round;}
  </style>
 </defs>
 <g id="figure_1">
  <g id="patch_1">
   <path d="M 0 345.6 
L 460.8 345.6 
L 460.8 0 
L 0 0 
z
" style="fill:#ffffff;"/>
  </g>
  <g id="axes_1">
   <g id="patch_2">
    <path d="M 57.6 307.584 
L 414.72 307.584 
L 414.72 41.472 
L 57.6 41.472 
z
" style="fill:#ffffff;"/>
   </g>
   <g id="matplotlib.axis_1">
    <g id="xtick_1">
     <g id="line2d_1">
      <path clip-path="url(#pdf19c88976)" d="M 100.887273 307.584 
L 100.887273 41.472 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
     </g>
     <g id="line2d_2">
      <defs>
       <path d="M 0 0 
L 0 3.5 
" id="md963facb99" style="stroke:#000000;stroke-width:0.8;"/>
      </defs>
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="100.887273" xlink:href="#md963facb99" y="307.584"/>
      </g>
     </g>
     <g id="text_1">
      <!-- 2.5 -->
      <defs>
       <path d="M 19.1875 8.296875 
L 53.609375 8.296875 
L 53.609375 0 
L 7.328125 0 
L 7.328125 8.296875 
Q 12.9375 14.109375 22.625 23.890625 
Q 32.328125 33.6875 34.8125 36.53125 
Q 39.546875 41.84375 41.421875 45.53125 
Q 43.3125 49.21875 43.3125 52.78125 
Q 43.3125 58.59375 39.234375 62.25 
Q 35.15625 65.921875 28.609375 65.921875 
Q 23.96875 65.921875 18.8125 64.3125 
Q 13.671875 62.703125 7.8125 59.421875 
L 7.8125 69.390625 
Q 13.765625 71.78125 18.9375 73 
Q 24.125 74.21875 28.421875 74.21875 
Q 39.75 74.21875 46.484375 68.546875 
Q 53.21875 62.890625 53.21875 53.421875 
Q 53.21875 48.921875 51.53125 44.890625 
Q 49.859375 40.875 45.40625 35.40625 
Q 44.1875 33.984375 37.640625 27.21875 
Q 31.109375 20.453125 19.1875 8.296875 
z
" id="DejaVuSans-50"/>
       <path d="M 10.6875 12.40625 
L 21 12.40625 
L 21 0 
L 10.6875 0 
z
" id="DejaVuSans-46"/>
       <path d="M 10.796875 72.90625 
L 49.515625 72.90625 
L 49.515625 64.59375 
L 19.828125 64.59375 
L 19.828125 46.734375 
Q 21.96875 47.46875 24.109375 47.828125 
Q 26.265625 48.1875 28.421875 48.1875 
Q 40.625 48.1875 47.75 41.5 
Q 54.890625 34.8125 54.890625 23.390625 
Q 54.890625 11.625 47.5625 5.09375 
Q 40.234375 -1.421875 26.90625 -1.421875 
Q 22.3125 -1.421875 17.546875 -0.640625 
Q 12.796875 0.140625 7.71875 1.703125 
L 7.71875 11.625 
Q 12.109375 9.234375 16.796875 8.0625 
Q 21.484375 6.890625 26.703125 6.890625 
Q 35.15625 6.890625 40.078125 11.328125 
Q 45.015625 15.765625 45.015625 23.390625 
Q 45.015625 31 40.078125 35.4375 
Q 35.15625 39.890625 26.703125 39.890625 
Q 22.75 39.890625 18.8125 39.015625 
Q 14.890625 38.140625 10.796875 36.28125 
z
" id="DejaVuSans-53"/>
      </defs>
      <g transform="translate(92.93571 322.182437)scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-50"/>
       <use x="63.623047" xlink:href="#DejaVuSans-46"/>
       <use x="95.410156" xlink:href="#DejaVuSans-53"/>
      </g>
     </g>
    </g>
    <g id="xtick_2">
     <g id="line2d_3">
      <path clip-path="url(#pdf19c88976)" d="M 145.978182 307.584 
L 145.978182 41.472 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
     </g>
     <g id="line2d_4">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="145.978182" xlink:href="#md963facb99" y="307.584"/>
      </g>
     </g>
     <g id="text_2">
      <!-- 5.0 -->
      <defs>
       <path d="M 31.78125 66.40625 
Q 24.171875 66.40625 20.328125 58.90625 
Q 16.5 51.421875 16.5 36.375 
Q 16.5 21.390625 20.328125 13.890625 
Q 24.171875 6.390625 31.78125 6.390625 
Q 39.453125 6.390625 43.28125 13.890625 
Q 47.125 21.390625 47.125 36.375 
Q 47.125 51.421875 43.28125 58.90625 
Q 39.453125 66.40625 31.78125 66.40625 
z
M 31.78125 74.21875 
Q 44.046875 74.21875 50.515625 64.515625 
Q 56.984375 54.828125 56.984375 36.375 
Q 56.984375 17.96875 50.515625 8.265625 
Q 44.046875 -1.421875 31.78125 -1.421875 
Q 19.53125 -1.421875 13.0625 8.265625 
Q 6.59375 17.96875 6.59375 36.375 
Q 6.59375 54.828125 13.0625 64.515625 
Q 19.53125 74.21875 31.78125 74.21875 
z
" id="DejaVuSans-48"/>
      </defs>
      <g transform="translate(138.026619 322.182437)scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-53"/>
       <use x="63.623047" xlink:href="#DejaVuSans-46"/>
       <use x="95.410156" xlink:href="#DejaVuSans-48"/>
      </g>
     </g>
    </g>
    <g id="xtick_3">
     <g id="line2d_5">
      <path clip-path="url(#pdf19c88976)" d="M 191.069091 307.584 
L 191.069091 41.472 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
     </g>
     <g id="line2d_6">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="191.069091" xlink:href="#md963facb99" y="307.584"/>
      </g>
     </g>
     <g id="text_3">
      <!-- 7.5 -->
      <defs>
       <path d="M 8.203125 72.90625 
L 55.078125 72.90625 
L 55.078125 68.703125 
L 28.609375 0 
L 18.3125 0 
L 43.21875 64.59375 
L 8.203125 64.59375 
z
" id="DejaVuSans-55"/>
      </defs>
      <g transform="translate(183.117528 322.182437)scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-55"/>
       <use x="63.623047" xlink:href="#DejaVuSans-46"/>
       <use x="95.410156" xlink:href="#DejaVuSans-53"/>
      </g>
     </g>
    </g>
    <g id="xtick_4">
     <g id="line2d_7">
      <path clip-path="url(#pdf19c88976)" d="M 236.16 307.584 
L 236.16 41.472 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
     </g>
     <g id="line2d_8">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="236.16" xlink:href="#md963facb99" y="307.584"/>
      </g>
     </g>
     <g id="text_4">
      <!-- 10.0 -->
      <defs>
       <path d="M 12.40625 8.296875 
L 28.515625 8.296875 
L 28.515625 63.921875 
L 10.984375 60.40625 
L 10.984375 69.390625 
L 28.421875 72.90625 
L 38.28125 72.90625 
L 38.28125 8.296875 
L 54.390625 8.296875 
L 54.390625 0 
L 12.40625 0 
z
" id="DejaVuSans-49"/>
      </defs>
      <g transform="translate(225.027188 322.182437)scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-49"/>
       <use x="63.623047" xlink:href="#DejaVuSans-48"/>
       <use x="127.246094" xlink:href="#DejaVuSans-46"/>
       <use x="159.033203" xlink:href="#DejaVuSans-48"/>
      </g>
     </g>
    </g>
    <g id="xtick_5">
     <g id="line2d_9">
      <path clip-path="url(#pdf19c88976)" d="M 281.250909 307.584 
L 281.250909 41.472 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
     </g>
     <g id="line2d_10">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="281.250909" xlink:href="#md963facb99" y="307.584"/>
      </g>
     </g>
     <g id="text_5">
      <!-- 12.5 -->
      <g transform="translate(270.118097 322.182437)scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-49"/>
       <use x="63.623047" xlink:href="#DejaVuSans-50"/>
       <use x="127.246094" xlink:href="#DejaVuSans-46"/>
       <use x="159.033203" xlink:href="#DejaVuSans-53"/>
      </g>
     </g>
    </g>
    <g id="xtick_6">
     <g id="line2d_11">
      <path clip-path="url(#pdf19c88976)" d="M 326.341818 307.584 
L 326.341818 41.472 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
     </g>
     <g id="line2d_12">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="326.341818" xlink:href="#md963facb99" y="307.584"/>
      </g>
     </g>
     <g id="text_6">
      <!-- 15.0 -->
      <g transform="translate(315.209006 322.182437)scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-49"/>
       <use x="63.623047" xlink:href="#DejaVuSans-53"/>
       <use x="127.246094" xlink:href="#DejaVuSans-46"/>
       <use x="159.033203" xlink:href="#DejaVuSans-48"/>
      </g>
     </g>
    </g>
    <g id="xtick_7">
     <g id="line2d_13">
      <path clip-path="url(#pdf19c88976)" d="M 371.432727 307.584 
L 371.432727 41.472 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
     </g>
     <g id="line2d_14">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="371.432727" xlink:href="#md963facb99" y="307.584"/>
      </g>
     </g>
     <g id="text_7">
      <!-- 17.5 -->
      <g transform="translate(360.299915 322.182437)scale(0.1 -0.1)">
       <use xlink:href="#DejaVuSans-49"/>
       <use x="63.623047" xlink:href="#DejaVuSans-55"/>
       <use x="127.246094" xlink:href="#DejaVuSans-46"/>
       <use x="159.033203" xlink:href="#DejaVuSans-53"/>
      </g>
     </g>
    </g>
    <g id="text_8">
     <!-- benchmark -->
     <defs>
      <path d="M 48.6875 27.296875 
Q 48.6875 37.203125 44.609375 42.84375 
Q 40.53125 48.484375 33.40625 48.484375 
Q 26.265625 48.484375 22.1875 42.84375 
Q 18.109375 37.203125 18.109375 27.296875 
Q 18.109375 17.390625 22.1875 11.75 
Q 26.265625 6.109375 33.40625 6.109375 
Q 40.53125 6.109375 44.609375 11.75 
Q 48.6875 17.390625 48.6875 27.296875 
z
M 18.109375 46.390625 
Q 20.953125 51.265625 25.265625 53.625 
Q 29.59375 56 35.59375 56 
Q 45.5625 56 51.78125 48.09375 
Q 58.015625 40.1875 58.015625 27.296875 
Q 58.015625 14.40625 51.78125 6.484375 
Q 45.5625 -1.421875 35.59375 -1.421875 
Q 29.59375 -1.421875 25.265625 0.953125 
Q 20.953125 3.328125 18.109375 8.203125 
L 18.109375 0 
L 9.078125 0 
L 9.078125 75.984375 
L 18.109375 75.984375 
z
" id="DejaVuSans-98"/>
      <path d="M 56.203125 29.59375 
L 56.203125 25.203125 
L 14.890625 25.203125 
Q 15.484375 15.921875 20.484375 11.0625 
Q 25.484375 6.203125 34.421875 6.203125 
Q 39.59375 6.203125 44.453125 7.46875 
Q 49.3125 8.734375 54.109375 11.28125 
L 54.109375 2.78125 
Q 49.265625 0.734375 44.1875 -0.34375 
Q 39.109375 -1.421875 33.890625 -1.421875 
Q 20.796875 -1.421875 13.15625 6.1875 
Q 5.515625 13.8125 5.515625 26.8125 
Q 5.515625 40.234375 12.765625 48.109375 
Q 20.015625 56 32.328125 56 
Q 43.359375 56 49.78125 48.890625 
Q 56.203125 41.796875 56.203125 29.59375 
z
M 47.21875 32.234375 
Q 47.125 39.59375 43.09375 43.984375 
Q 39.0625 48.390625 32.421875 48.390625 
Q 24.90625 48.390625 20.390625 44.140625 
Q 15.875 39.890625 15.1875 32.171875 
z
" id="DejaVuSans-101"/>
      <path d="M 54.890625 33.015625 
L 54.890625 0 
L 45.90625 0 
L 45.90625 32.71875 
Q 45.90625 40.484375 42.875 44.328125 
Q 39.84375 48.1875 33.796875 48.1875 
Q 26.515625 48.1875 22.3125 43.546875 
Q 18.109375 38.921875 18.109375 30.90625 
L 18.109375 0 
L 9.078125 0 
L 9.078125 54.6875 
L 18.109375 54.6875 
L 18.109375 46.1875 
Q 21.34375 51.125 25.703125 53.5625 
Q 30.078125 56 35.796875 56 
Q 45.21875 56 50.046875 50.171875 
Q 54.890625 44.34375 54.890625 33.015625 
z
" id="DejaVuSans-110"/>
      <path d="M 48.78125 52.59375 
L 48.78125 44.1875 
Q 44.96875 46.296875 41.140625 47.34375 
Q 37.3125 48.390625 33.40625 48.390625 
Q 24.65625 48.390625 19.8125 42.84375 
Q 14.984375 37.3125 14.984375 27.296875 
Q 14.984375 17.28125 19.8125 11.734375 
Q 24.65625 6.203125 33.40625 6.203125 
Q 37.3125 6.203125 41.140625 7.25 
Q 44.96875 8.296875 48.78125 10.40625 
L 48.78125 2.09375 
Q 45.015625 0.34375 40.984375 -0.53125 
Q 36.96875 -1.421875 32.421875 -1.421875 
Q 20.0625 -1.421875 12.78125 6.34375 
Q 5.515625 14.109375 5.515625 27.296875 
Q 5.515625 40.671875 12.859375 48.328125 
Q 20.21875 56 33.015625 56 
Q 37.15625 56 41.109375 55.140625 
Q 45.0625 54.296875 48.78125 52.59375 
z
" id="DejaVuSans-99"/>
      <path d="M 54.890625 33.015625 
L 54.890625 0 
L 45.90625 0 
L 45.90625 32.71875 
Q 45.90625 40.484375 42.875 44.328125 
Q 39.84375 48.1875 33.796875 48.1875 
Q 26.515625 48.1875 22.3125 43.546875 
Q 18.109375 38.921875 18.109375 30.90625 
L 18.109375 0 
L 9.078125 0 
L 9.078125 75.984375 
L 18.109375 75.984375 
L 18.109375 46.1875 
Q 21.34375 51.125 25.703125 53.5625 
Q 30.078125 56 35.796875 56 
Q 45.21875 56 50.046875 50.171875 
Q 54.890625 44.34375 54.890625 33.015625 
z
" id="DejaVuSans-104"/>
      <path d="M 52 44.1875 
Q 55.375 50.25 60.0625 53.125 
Q 64.75 56 71.09375 56 
Q 79.640625 56 84.28125 50.015625 
Q 88.921875 44.046875 88.921875 33.015625 
L 88.921875 0 
L 79.890625 0 
L 79.890625 32.71875 
Q 79.890625 40.578125 77.09375 44.375 
Q 74.3125 48.1875 68.609375 48.1875 
Q 61.625 48.1875 57.5625 43.546875 
Q 53.515625 38.921875 53.515625 30.90625 
L 53.515625 0 
L 44.484375 0 
L 44.484375 32.71875 
Q 44.484375 40.625 41.703125 44.40625 
Q 38.921875 48.1875 33.109375 48.1875 
Q 26.21875 48.1875 22.15625 43.53125 
Q 18.109375 38.875 18.109375 30.90625 
L 18.109375 0 
L 9.078125 0 
L 9.078125 54.6875 
L 18.109375 54.6875 
L 18.109375 46.1875 
Q 21.1875 51.21875 25.484375 53.609375 
Q 29.78125 56 35.6875 56 
Q 41.65625 56 45.828125 52.96875 
Q 50 49.953125 52 44.1875 
z
" id="DejaVuSans-109"/>
      <path d="M 34.28125 27.484375 
Q 23.390625 27.484375 19.1875 25 
Q 14.984375 22.515625 14.984375 16.5 
Q 14.984375 11.71875 18.140625 8.90625 
Q 21.296875 6.109375 26.703125 6.109375 
Q 34.1875 6.109375 38.703125 11.40625 
Q 43.21875 16.703125 43.21875 25.484375 
L 43.21875 27.484375 
z
M 52.203125 31.203125 
L 52.203125 0 
L 43.21875 0 
L 43.21875 8.296875 
Q 40.140625 3.328125 35.546875 0.953125 
Q 30.953125 -1.421875 24.3125 -1.421875 
Q 15.921875 -1.421875 10.953125 3.296875 
Q 6 8.015625 6 15.921875 
Q 6 25.140625 12.171875 29.828125 
Q 18.359375 34.515625 30.609375 34.515625 
L 43.21875 34.515625 
L 43.21875 35.40625 
Q 43.21875 41.609375 39.140625 45 
Q 35.0625 48.390625 27.6875 48.390625 
Q 23 48.390625 18.546875 47.265625 
Q 14.109375 46.140625 10.015625 43.890625 
L 10.015625 52.203125 
Q 14.9375 54.109375 19.578125 55.046875 
Q 24.21875 56 28.609375 56 
Q 40.484375 56 46.34375 49.84375 
Q 52.203125 43.703125 52.203125 31.203125 
z
" id="DejaVuSans-97"/>
      <path d="M 41.109375 46.296875 
Q 39.59375 47.171875 37.8125 47.578125 
Q 36.03125 48 33.890625 48 
Q 26.265625 48 22.1875 43.046875 
Q 18.109375 38.09375 18.109375 28.8125 
L 18.109375 0 
L 9.078125 0 
L 9.078125 54.6875 
L 18.109375 54.6875 
L 18.109375 46.1875 
Q 20.953125 51.171875 25.484375 53.578125 
Q 30.03125 56 36.53125 56 
Q 37.453125 56 38.578125 55.875 
Q 39.703125 55.765625 41.0625 55.515625 
z
" id="DejaVuSans-114"/>
      <path d="M 9.078125 75.984375 
L 18.109375 75.984375 
L 18.109375 31.109375 
L 44.921875 54.6875 
L 56.390625 54.6875 
L 27.390625 29.109375 
L 57.625 0 
L 45.90625 0 
L 18.109375 26.703125 
L 18.109375 0 
L 9.078125 0 
z
" id="DejaVuSans-107"/>
     </defs>
     <g transform="translate(207.937344 335.860562)scale(0.1 -0.1)">
      <use xlink:href="#DejaVuSans-98"/>
      <use x="63.476562" xlink:href="#DejaVuSans-101"/>
      <use x="125" xlink:href="#DejaVuSans-110"/>
      <use x="188.378906" xlink:href="#DejaVuSans-99"/>
      <use x="243.359375" xlink:href="#DejaVuSans-104"/>
      <use x="306.738281" xlink:href="#DejaVuSans-109"/>
      <use x="404.150391" xlink:href="#DejaVuSans-97"/>
      <use x="465.429688" xlink:href="#DejaVuSans-114"/>
      <use x="506.542969" xlink:href="#DejaVuSans-107"/>
     </g>
    </g>
   </g>
   <g id="matplotlib.axis_2">
    <g id="ytick_1">
     <g id="line2d_15">
      <path clip-path="url(#pdf19c88976)" d="M 57.6 295.488 
L 414.72 295.488 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
     </g>
     <g id="line2d_16">
      <defs>
       <path d="M 0 0 
L -3.5 0 
" id="m99c495eb95" style="stroke:#000000;stroke-width:0.8;"/>
      </defs>
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="57.6" xlink:href="#m99c495eb95" y="295.488"/>
      </g>
     </g>
     <g id="text_9">
      <!-- $\mathdefault{10^{0}}$ -->
      <g transform="translate(33 299.287219)scale(0.1 -0.1)">
       <use transform="translate(0 0.765625)" xlink:href="#DejaVuSans-49"/>
       <use transform="translate(63.623047 0.765625)" xlink:href="#DejaVuSans-48"/>
       <use transform="translate(128.203125 39.046875)scale(0.7)" xlink:href="#DejaVuSans-48"/>
      </g>
     </g>
    </g>
    <g id="ytick_2">
     <g id="line2d_17">
      <path clip-path="url(#pdf19c88976)" d="M 57.6 227.462291 
L 414.72 227.462291 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
     </g>
     <g id="line2d_18">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="57.6" xlink:href="#m99c495eb95" y="227.462291"/>
      </g>
     </g>
     <g id="text_10">
      <!-- $\mathdefault{10^{1}}$ -->
      <g transform="translate(33 231.261509)scale(0.1 -0.1)">
       <use transform="translate(0 0.684375)" xlink:href="#DejaVuSans-49"/>
       <use transform="translate(63.623047 0.684375)" xlink:href="#DejaVuSans-48"/>
       <use transform="translate(128.203125 38.965625)scale(0.7)" xlink:href="#DejaVuSans-49"/>
      </g>
     </g>
    </g>
    <g id="ytick_3">
     <g id="line2d_19">
      <path clip-path="url(#pdf19c88976)" d="M 57.6 159.436581 
L 414.72 159.436581 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
     </g>
     <g id="line2d_20">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="57.6" xlink:href="#m99c495eb95" y="159.436581"/>
      </g>
     </g>
     <g id="text_11">
      <!-- $\mathdefault{10^{2}}$ -->
      <g transform="translate(33 163.2358)scale(0.1 -0.1)">
       <use transform="translate(0 0.765625)" xlink:href="#DejaVuSans-49"/>
       <use transform="translate(63.623047 0.765625)" xlink:href="#DejaVuSans-48"/>
       <use transform="translate(128.203125 39.046875)scale(0.7)" xlink:href="#DejaVuSans-50"/>
      </g>
     </g>
    </g>
    <g id="ytick_4">
     <g id="line2d_21">
      <path clip-path="url(#pdf19c88976)" d="M 57.6 91.410872 
L 414.72 91.410872 
" style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
     </g>
     <g id="line2d_22">
      <g>
       <use style="stroke:#000000;stroke-width:0.8;" x="57.6" xlink:href="#m99c495eb95" y="91.410872"/>
      </g>
     </g>
     <g id="text_12">
      <!-- $\mathdefault{10^{3}}$ -->
      <defs>
       <path d="M 40.578125 39.3125 
Q 47.65625 37.796875 51.625 33 
Q 55.609375 28.21875 55.609375 21.1875 
Q 55.609375 10.40625 48.1875 4.484375 
Q 40.765625 -1.421875 27.09375 -1.421875 
Q 22.515625 -1.421875 17.65625 -0.515625 
Q 12.796875 0.390625 7.625 2.203125 
L 7.625 11.71875 
Q 11.71875 9.328125 16.59375 8.109375 
Q 21.484375 6.890625 26.8125 6.890625 
Q 36.078125 6.890625 40.9375 10.546875 
Q 45.796875 14.203125 45.796875 21.1875 
Q 45.796875 27.640625 41.28125 31.265625 
Q 36.765625 34.90625 28.71875 34.90625 
L 20.21875 34.90625 
L 20.21875 43.015625 
L 29.109375 43.015625 
Q 36.375 43.015625 40.234375 45.921875 
Q 44.09375 48.828125 44.09375 54.296875 
Q 44.09375 59.90625 40.109375 62.90625 
Q 36.140625 65.921875 28.71875 65.921875 
Q 24.65625 65.921875 20.015625 65.03125 
Q 15.375 64.15625 9.8125 62.3125 
L 9.8125 71.09375 
Q 15.4375 72.65625 20.34375 73.4375 
Q 25.25 74.21875 29.59375 74.21875 
Q 40.828125 74.21875 47.359375 69.109375 
Q 53.90625 64.015625 53.90625 55.328125 
Q 53.90625 49.265625 50.4375 45.09375 
Q 46.96875 40.921875 40.578125 39.3125 
z
" id="DejaVuSans-51"/>
      </defs>
      <g transform="translate(33 95.210091)scale(0.1 -0.1)">
       <use transform="translate(0 0.765625)" xlink:href="#DejaVuSans-49"/>
       <use transform="translate(63.623047 0.765625)" xlink:href="#DejaVuSans-48"/>
       <use transform="translate(128.203125 39.046875)scale(0.7)" xlink:href="#DejaVuSans-51"/>
      </g>
     </g>
    </g>
    <g id="ytick_5">
     <g id="line2d_23">
      <defs>
       <path d="M 0 0 
L -2 0 
" id="m8ebb9b9d33" style="stroke:#000000;stroke-width:0.6;"/>
      </defs>
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="306.025316"/>
      </g>
     </g>
    </g>
    <g id="ytick_6">
     <g id="line2d_24">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="302.080372"/>
      </g>
     </g>
    </g>
    <g id="ytick_7">
     <g id="line2d_25">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="298.600686"/>
      </g>
     </g>
    </g>
    <g id="ytick_8">
     <g id="line2d_26">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="275.010221"/>
      </g>
     </g>
    </g>
    <g id="ytick_9">
     <g id="line2d_27">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="263.031488"/>
      </g>
     </g>
    </g>
    <g id="ytick_10">
     <g id="line2d_28">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="254.532442"/>
      </g>
     </g>
    </g>
    <g id="ytick_11">
     <g id="line2d_29">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="247.94007"/>
      </g>
     </g>
    </g>
    <g id="ytick_12">
     <g id="line2d_30">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="242.553709"/>
      </g>
     </g>
    </g>
    <g id="ytick_13">
     <g id="line2d_31">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="237.999606"/>
      </g>
     </g>
    </g>
    <g id="ytick_14">
     <g id="line2d_32">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="234.054663"/>
      </g>
     </g>
    </g>
    <g id="ytick_15">
     <g id="line2d_33">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="230.574976"/>
      </g>
     </g>
    </g>
    <g id="ytick_16">
     <g id="line2d_34">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="206.984512"/>
      </g>
     </g>
    </g>
    <g id="ytick_17">
     <g id="line2d_35">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="195.005779"/>
      </g>
     </g>
    </g>
    <g id="ytick_18">
     <g id="line2d_36">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="186.506733"/>
      </g>
     </g>
    </g>
    <g id="ytick_19">
     <g id="line2d_37">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="179.91436"/>
      </g>
     </g>
    </g>
    <g id="ytick_20">
     <g id="line2d_38">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="174.528"/>
      </g>
     </g>
    </g>
    <g id="ytick_21">
     <g id="line2d_39">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="169.973897"/>
      </g>
     </g>
    </g>
    <g id="ytick_22">
     <g id="line2d_40">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="166.028954"/>
      </g>
     </g>
    </g>
    <g id="ytick_23">
     <g id="line2d_41">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="162.549267"/>
      </g>
     </g>
    </g>
    <g id="ytick_24">
     <g id="line2d_42">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="138.958802"/>
      </g>
     </g>
    </g>
    <g id="ytick_25">
     <g id="line2d_43">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="126.98007"/>
      </g>
     </g>
    </g>
    <g id="ytick_26">
     <g id="line2d_44">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="118.481024"/>
      </g>
     </g>
    </g>
    <g id="ytick_27">
     <g id="line2d_45">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="111.888651"/>
      </g>
     </g>
    </g>
    <g id="ytick_28">
     <g id="line2d_46">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="106.502291"/>
      </g>
     </g>
    </g>
    <g id="ytick_29">
     <g id="line2d_47">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="101.948188"/>
      </g>
     </g>
    </g>
    <g id="ytick_30">
     <g id="line2d_48">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="98.003245"/>
      </g>
     </g>
    </g>
    <g id="ytick_31">
     <g id="line2d_49">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="94.523558"/>
      </g>
     </g>
    </g>
    <g id="ytick_32">
     <g id="line2d_50">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="70.933093"/>
      </g>
     </g>
    </g>
    <g id="ytick_33">
     <g id="line2d_51">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="58.95436"/>
      </g>
     </g>
    </g>
    <g id="ytick_34">
     <g id="line2d_52">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="50.455314"/>
      </g>
     </g>
    </g>
    <g id="ytick_35">
     <g id="line2d_53">
      <g>
       <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#m8ebb9b9d33" y="43.862942"/>
      </g>
     </g>
    </g>
    <g id="text_13">
     <!-- time, sec, logscale -->
     <defs>
      <path d="M 18.3125 70.21875 
L 18.3125 54.6875 
L 36.8125 54.6875 
L 36.8125 47.703125 
L 18.3125 47.703125 
L 18.3125 18.015625 
Q 18.3125 11.328125 20.140625 9.421875 
Q 21.96875 7.515625 27.59375 7.515625 
L 36.8125 7.515625 
L 36.8125 0 
L 27.59375 0 
Q 17.1875 0 13.234375 3.875 
Q 9.28125 7.765625 9.28125 18.015625 
L 9.28125 47.703125 
L 2.6875 47.703125 
L 2.6875 54.6875 
L 9.28125 54.6875 
L 9.28125 70.21875 
z
" id="DejaVuSans-116"/>
      <path d="M 9.421875 54.6875 
L 18.40625 54.6875 
L 18.40625 0 
L 9.421875 0 
z
M 9.421875 75.984375 
L 18.40625 75.984375 
L 18.40625 64.59375 
L 9.421875 64.59375 
z
" id="DejaVuSans-105"/>
      <path d="M 11.71875 12.40625 
L 22.015625 12.40625 
L 22.015625 4 
L 14.015625 -11.625 
L 7.71875 -11.625 
L 11.71875 4 
z
" id="DejaVuSans-44"/>
      <path id="DejaVuSans-32"/>
      <path d="M 44.28125 53.078125 
L 44.28125 44.578125 
Q 40.484375 46.53125 36.375 47.5 
Q 32.28125 48.484375 27.875 48.484375 
Q 21.1875 48.484375 17.84375 46.4375 
Q 14.5 44.390625 14.5 40.28125 
Q 14.5 37.15625 16.890625 35.375 
Q 19.28125 33.59375 26.515625 31.984375 
L 29.59375 31.296875 
Q 39.15625 29.25 43.1875 25.515625 
Q 47.21875 21.78125 47.21875 15.09375 
Q 47.21875 7.46875 41.1875 3.015625 
Q 35.15625 -1.421875 24.609375 -1.421875 
Q 20.21875 -1.421875 15.453125 -0.5625 
Q 10.6875 0.296875 5.421875 2 
L 5.421875 11.28125 
Q 10.40625 8.6875 15.234375 7.390625 
Q 20.0625 6.109375 24.8125 6.109375 
Q 31.15625 6.109375 34.5625 8.28125 
Q 37.984375 10.453125 37.984375 14.40625 
Q 37.984375 18.0625 35.515625 20.015625 
Q 33.0625 21.96875 24.703125 23.78125 
L 21.578125 24.515625 
Q 13.234375 26.265625 9.515625 29.90625 
Q 5.8125 33.546875 5.8125 39.890625 
Q 5.8125 47.609375 11.28125 51.796875 
Q 16.75 56 26.8125 56 
Q 31.78125 56 36.171875 55.265625 
Q 40.578125 54.546875 44.28125 53.078125 
z
" id="DejaVuSans-115"/>
      <path d="M 9.421875 75.984375 
L 18.40625 75.984375 
L 18.40625 0 
L 9.421875 0 
z
" id="DejaVuSans-108"/>
      <path d="M 30.609375 48.390625 
Q 23.390625 48.390625 19.1875 42.75 
Q 14.984375 37.109375 14.984375 27.296875 
Q 14.984375 17.484375 19.15625 11.84375 
Q 23.34375 6.203125 30.609375 6.203125 
Q 37.796875 6.203125 41.984375 11.859375 
Q 46.1875 17.53125 46.1875 27.296875 
Q 46.1875 37.015625 41.984375 42.703125 
Q 37.796875 48.390625 30.609375 48.390625 
z
M 30.609375 56 
Q 42.328125 56 49.015625 48.375 
Q 55.71875 40.765625 55.71875 27.296875 
Q 55.71875 13.875 49.015625 6.21875 
Q 42.328125 -1.421875 30.609375 -1.421875 
Q 18.84375 -1.421875 12.171875 6.21875 
Q 5.515625 13.875 5.515625 27.296875 
Q 5.515625 40.765625 12.171875 48.375 
Q 18.84375 56 30.609375 56 
z
" id="DejaVuSans-111"/>
      <path d="M 45.40625 27.984375 
Q 45.40625 37.75 41.375 43.109375 
Q 37.359375 48.484375 30.078125 48.484375 
Q 22.859375 48.484375 18.828125 43.109375 
Q 14.796875 37.75 14.796875 27.984375 
Q 14.796875 18.265625 18.828125 12.890625 
Q 22.859375 7.515625 30.078125 7.515625 
Q 37.359375 7.515625 41.375 12.890625 
Q 45.40625 18.265625 45.40625 27.984375 
z
M 54.390625 6.78125 
Q 54.390625 -7.171875 48.1875 -13.984375 
Q 42 -20.796875 29.203125 -20.796875 
Q 24.46875 -20.796875 20.265625 -20.09375 
Q 16.0625 -19.390625 12.109375 -17.921875 
L 12.109375 -9.1875 
Q 16.0625 -11.328125 19.921875 -12.34375 
Q 23.78125 -13.375 27.78125 -13.375 
Q 36.625 -13.375 41.015625 -8.765625 
Q 45.40625 -4.15625 45.40625 5.171875 
L 45.40625 9.625 
Q 42.625 4.78125 38.28125 2.390625 
Q 33.9375 0 27.875 0 
Q 17.828125 0 11.671875 7.65625 
Q 5.515625 15.328125 5.515625 27.984375 
Q 5.515625 40.671875 11.671875 48.328125 
Q 17.828125 56 27.875 56 
Q 33.9375 56 38.28125 53.609375 
Q 42.625 51.21875 45.40625 46.390625 
L 45.40625 54.6875 
L 54.390625 54.6875 
z
" id="DejaVuSans-103"/>
     </defs>
     <g transform="translate(26.920312 221.117063)rotate(-90)scale(0.1 -0.1)">
      <use xlink:href="#DejaVuSans-116"/>
      <use x="39.208984" xlink:href="#DejaVuSans-105"/>
      <use x="66.992188" xlink:href="#DejaVuSans-109"/>
      <use x="164.404297" xlink:href="#DejaVuSans-101"/>
      <use x="225.927734" xlink:href="#DejaVuSans-44"/>
      <use x="257.714844" xlink:href="#DejaVuSans-32"/>
      <use x="289.501953" xlink:href="#DejaVuSans-115"/>
      <use x="341.601562" xlink:href="#DejaVuSans-101"/>
      <use x="403.125" xlink:href="#DejaVuSans-99"/>
      <use x="458.105469" xlink:href="#DejaVuSans-44"/>
      <use x="489.892578" xlink:href="#DejaVuSans-32"/>
      <use x="521.679688" xlink:href="#DejaVuSans-108"/>
      <use x="549.462891" xlink:href="#DejaVuSans-111"/>
      <use x="610.644531" xlink:href="#DejaVuSans-103"/>
      <use x="674.121094" xlink:href="#DejaVuSans-115"/>
      <use x="726.220703" xlink:href="#DejaVuSans-99"/>
      <use x="781.201172" xlink:href="#DejaVuSans-97"/>
      <use x="842.480469" xlink:href="#DejaVuSans-108"/>
      <use x="870.263672" xlink:href="#DejaVuSans-101"/>
     </g>
    </g>
   </g>
   <g id="line2d_54">
    <path clip-path="url(#pdf19c88976)" d="M 73.832727 263.031488 
L 91.869091 263.031488 
L 109.905455 263.031488 
L 127.941818 254.532442 
L 145.978182 237.999606 
L 164.014545 188.809965 
L 182.050909 108.173559 
L 200.087273 54.722766 
L 218.123636 53.568 
L 236.16 53.568 
L 254.196364 53.568 
" style="fill:none;stroke:#ff0000;stroke-linecap:square;stroke-opacity:0.7;stroke-width:1.5;"/>
    <defs>
     <path d="M -3 3 
L 3 3 
L 3 -3 
L -3 -3 
z
" id="m3e08f1ab31" style="stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;"/>
    </defs>
    <g clip-path="url(#pdf19c88976)">
     <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="73.832727" xlink:href="#m3e08f1ab31" y="263.031488"/>
     <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="91.869091" xlink:href="#m3e08f1ab31" y="263.031488"/>
     <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="109.905455" xlink:href="#m3e08f1ab31" y="263.031488"/>
     <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="127.941818" xlink:href="#m3e08f1ab31" y="254.532442"/>
     <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="145.978182" xlink:href="#m3e08f1ab31" y="237.999606"/>
     <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="164.014545" xlink:href="#m3e08f1ab31" y="188.809965"/>
     <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="182.050909" xlink:href="#m3e08f1ab31" y="108.173559"/>
     <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="200.087273" xlink:href="#m3e08f1ab31" y="54.722766"/>
     <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="218.123636" xlink:href="#m3e08f1ab31" y="53.568"/>
     <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="236.16" xlink:href="#m3e08f1ab31" y="53.568"/>
     <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="254.196364" xlink:href="#m3e08f1ab31" y="53.568"/>
    </g>
   </g>
   <g id="line2d_55">
    <path clip-path="url(#pdf19c88976)" d="M 73.832727 295.488 
L 91.869091 295.488 
L 109.905455 295.488 
L 127.941818 295.488 
L 145.978182 295.488 
L 164.014545 275.010221 
L 182.050909 275.010221 
L 200.087273 275.010221 
L 218.123636 275.010221 
L 236.16 275.010221 
L 254.196364 275.010221 
L 272.232727 275.010221 
L 290.269091 263.031488 
L 308.305455 242.553709 
L 326.341818 224.646524 
L 344.378182 204.168745 
L 362.414545 184.37015 
L 380.450909 163.550827 
L 398.487273 142.236075 
" style="fill:none;stroke:#0000ff;stroke-linecap:square;stroke-opacity:0.7;stroke-width:1.5;"/>
    <defs>
     <path d="M 0 3 
C 0.795609 3 1.55874 2.683901 2.12132 2.12132 
C 2.683901 1.55874 3 0.795609 3 0 
C 3 -0.795609 2.683901 -1.55874 2.12132 -2.12132 
C 1.55874 -2.683901 0.795609 -3 0 -3 
C -0.795609 -3 -1.55874 -2.683901 -2.12132 -2.12132 
C -2.683901 -1.55874 -3 -0.795609 -3 0 
C -3 0.795609 -2.683901 1.55874 -2.12132 2.12132 
C -1.55874 2.683901 -0.795609 3 0 3 
z
" id="mb8e74e12c9" style="stroke:#0000ff;stroke-opacity:0.7;"/>
    </defs>
    <g clip-path="url(#pdf19c88976)">
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="73.832727" xlink:href="#mb8e74e12c9" y="295.488"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="91.869091" xlink:href="#mb8e74e12c9" y="295.488"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="109.905455" xlink:href="#mb8e74e12c9" y="295.488"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="127.941818" xlink:href="#mb8e74e12c9" y="295.488"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="145.978182" xlink:href="#mb8e74e12c9" y="295.488"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="164.014545" xlink:href="#mb8e74e12c9" y="275.010221"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="182.050909" xlink:href="#mb8e74e12c9" y="275.010221"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="200.087273" xlink:href="#mb8e74e12c9" y="275.010221"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="218.123636" xlink:href="#mb8e74e12c9" y="275.010221"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="236.16" xlink:href="#mb8e74e12c9" y="275.010221"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="254.196364" xlink:href="#mb8e74e12c9" y="275.010221"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="272.232727" xlink:href="#mb8e74e12c9" y="275.010221"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="290.269091" xlink:href="#mb8e74e12c9" y="263.031488"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="308.305455" xlink:href="#mb8e74e12c9" y="242.553709"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="326.341818" xlink:href="#mb8e74e12c9" y="224.646524"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="344.378182" xlink:href="#mb8e74e12c9" y="204.168745"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="362.414545" xlink:href="#mb8e74e12c9" y="184.37015"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="380.450909" xlink:href="#mb8e74e12c9" y="163.550827"/>
     <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="398.487273" xlink:href="#mb8e74e12c9" y="142.236075"/>
    </g>
   </g>
   <g id="line2d_56">
    <path clip-path="url(#pdf19c88976)" d="M 73.832727 295.488 
L 91.869091 295.488 
L 109.905455 295.488 
L 127.941818 295.488 
L 145.978182 263.031488 
L 164.014545 234.054663 
L 182.050909 219.711213 
L 200.087273 191.30806 
L 218.123636 162.22282 
L 236.16 123.808357 
L 254.196364 82.002733 
" style="fill:none;stroke:#008000;stroke-linecap:square;stroke-opacity:0.7;stroke-width:1.5;"/>
    <defs>
     <path d="M 0 -3 
L -3 3 
L 3 3 
z
" id="m3f90034329" style="stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;"/>
    </defs>
    <g clip-path="url(#pdf19c88976)">
     <use style="fill:#008000;fill-opacity:0.7;stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;" x="73.832727" xlink:href="#m3f90034329" y="295.488"/>
     <use style="fill:#008000;fill-opacity:0.7;stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;" x="91.869091" xlink:href="#m3f90034329" y="295.488"/>
     <use style="fill:#008000;fill-opacity:0.7;stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;" x="109.905455" xlink:href="#m3f90034329" y="295.488"/>
     <use style="fill:#008000;fill-opacity:0.7;stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;" x="127.941818" xlink:href="#m3f90034329" y="295.488"/>
     <use style="fill:#008000;fill-opacity:0.7;stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;" x="145.978182" xlink:href="#m3f90034329" y="263.031488"/>
     <use style="fill:#008000;fill-opacity:0.7;stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;" x="164.014545" xlink:href="#m3f90034329" y="234.054663"/>
     <use style="fill:#008000;fill-opacity:0.7;stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;" x="182.050909" xlink:href="#m3f90034329" y="219.711213"/>
     <use style="fill:#008000;fill-opacity:0.7;stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;" x="200.087273" xlink:href="#m3f90034329" y="191.30806"/>
     <use style="fill:#008000;fill-opacity:0.7;stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;" x="218.123636" xlink:href="#m3f90034329" y="162.22282"/>
     <use style="fill:#008000;fill-opacity:0.7;stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;" x="236.16" xlink:href="#m3f90034329" y="123.808357"/>
     <use style="fill:#008000;fill-opacity:0.7;stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;" x="254.196364" xlink:href="#m3f90034329" y="82.002733"/>
    </g>
   </g>
   <g id="patch_3">
    <path d="M 57.6 307.584 
L 57.6 41.472 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   </g>
   <g id="patch_4">
    <path d="M 414.72 307.584 
L 414.72 41.472 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   </g>
   <g id="patch_5">
    <path d="M 57.6 307.584 
L 414.72 307.584 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   </g>
   <g id="patch_6">
    <path d="M 57.6 41.472 
L 414.72 41.472 
" style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   </g>
   <g id="legend_1">
    <g id="patch_7">
     <path d="M 226.0575 198.045187 
L 407.72 198.045187 
Q 409.72 198.045187 409.72 196.045187 
L 409.72 153.010812 
Q 409.72 151.010812 407.72 151.010812 
L 226.0575 151.010812 
Q 224.0575 151.010812 224.0575 153.010812 
L 224.0575 196.045187 
Q 224.0575 198.045187 226.0575 198.045187 
z
" style="fill:#ffffff;opacity:0.8;stroke:#cccccc;stroke-linejoin:miter;"/>
    </g>
    <g id="line2d_57">
     <path d="M 228.0575 159.10925 
L 248.0575 159.10925 
" style="fill:none;stroke:#ff0000;stroke-linecap:square;stroke-opacity:0.7;stroke-width:1.5;"/>
    </g>
    <g id="line2d_58">
     <g>
      <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="238.0575" xlink:href="#m3e08f1ab31" y="159.10925"/>
     </g>
    </g>
    <g id="text_14">
     <!-- 004SetAddDel-apalache-0.7.0 -->
     <defs>
      <path d="M 37.796875 64.3125 
L 12.890625 25.390625 
L 37.796875 25.390625 
z
M 35.203125 72.90625 
L 47.609375 72.90625 
L 47.609375 25.390625 
L 58.015625 25.390625 
L 58.015625 17.1875 
L 47.609375 17.1875 
L 47.609375 0 
L 37.796875 0 
L 37.796875 17.1875 
L 4.890625 17.1875 
L 4.890625 26.703125 
z
" id="DejaVuSans-52"/>
      <path d="M 53.515625 70.515625 
L 53.515625 60.890625 
Q 47.90625 63.578125 42.921875 64.890625 
Q 37.9375 66.21875 33.296875 66.21875 
Q 25.25 66.21875 20.875 63.09375 
Q 16.5 59.96875 16.5 54.203125 
Q 16.5 49.359375 19.40625 46.890625 
Q 22.3125 44.4375 30.421875 42.921875 
L 36.375 41.703125 
Q 47.40625 39.59375 52.65625 34.296875 
Q 57.90625 29 57.90625 20.125 
Q 57.90625 9.515625 50.796875 4.046875 
Q 43.703125 -1.421875 29.984375 -1.421875 
Q 24.8125 -1.421875 18.96875 -0.25 
Q 13.140625 0.921875 6.890625 3.21875 
L 6.890625 13.375 
Q 12.890625 10.015625 18.65625 8.296875 
Q 24.421875 6.59375 29.984375 6.59375 
Q 38.421875 6.59375 43.015625 9.90625 
Q 47.609375 13.234375 47.609375 19.390625 
Q 47.609375 24.75 44.3125 27.78125 
Q 41.015625 30.8125 33.5 32.328125 
L 27.484375 33.5 
Q 16.453125 35.6875 11.515625 40.375 
Q 6.59375 45.0625 6.59375 53.421875 
Q 6.59375 63.09375 13.40625 68.65625 
Q 20.21875 74.21875 32.171875 74.21875 
Q 37.3125 74.21875 42.625 73.28125 
Q 47.953125 72.359375 53.515625 70.515625 
z
" id="DejaVuSans-83"/>
      <path d="M 34.1875 63.1875 
L 20.796875 26.90625 
L 47.609375 26.90625 
z
M 28.609375 72.90625 
L 39.796875 72.90625 
L 67.578125 0 
L 57.328125 0 
L 50.6875 18.703125 
L 17.828125 18.703125 
L 11.1875 0 
L 0.78125 0 
z
" id="DejaVuSans-65"/>
      <path d="M 45.40625 46.390625 
L 45.40625 75.984375 
L 54.390625 75.984375 
L 54.390625 0 
L 45.40625 0 
L 45.40625 8.203125 
Q 42.578125 3.328125 38.25 0.953125 
Q 33.9375 -1.421875 27.875 -1.421875 
Q 17.96875 -1.421875 11.734375 6.484375 
Q 5.515625 14.40625 5.515625 27.296875 
Q 5.515625 40.1875 11.734375 48.09375 
Q 17.96875 56 27.875 56 
Q 33.9375 56 38.25 53.625 
Q 42.578125 51.265625 45.40625 46.390625 
z
M 14.796875 27.296875 
Q 14.796875 17.390625 18.875 11.75 
Q 22.953125 6.109375 30.078125 6.109375 
Q 37.203125 6.109375 41.296875 11.75 
Q 45.40625 17.390625 45.40625 27.296875 
Q 45.40625 37.203125 41.296875 42.84375 
Q 37.203125 48.484375 30.078125 48.484375 
Q 22.953125 48.484375 18.875 42.84375 
Q 14.796875 37.203125 14.796875 27.296875 
z
" id="DejaVuSans-100"/>
      <path d="M 19.671875 64.796875 
L 19.671875 8.109375 
L 31.59375 8.109375 
Q 46.6875 8.109375 53.6875 14.9375 
Q 60.6875 21.78125 60.6875 36.53125 
Q 60.6875 51.171875 53.6875 57.984375 
Q 46.6875 64.796875 31.59375 64.796875 
z
M 9.8125 72.90625 
L 30.078125 72.90625 
Q 51.265625 72.90625 61.171875 64.09375 
Q 71.09375 55.28125 71.09375 36.53125 
Q 71.09375 17.671875 61.125 8.828125 
Q 51.171875 0 30.078125 0 
L 9.8125 0 
z
" id="DejaVuSans-68"/>
      <path d="M 4.890625 31.390625 
L 31.203125 31.390625 
L 31.203125 23.390625 
L 4.890625 23.390625 
z
" id="DejaVuSans-45"/>
      <path d="M 18.109375 8.203125 
L 18.109375 -20.796875 
L 9.078125 -20.796875 
L 9.078125 54.6875 
L 18.109375 54.6875 
L 18.109375 46.390625 
Q 20.953125 51.265625 25.265625 53.625 
Q 29.59375 56 35.59375 56 
Q 45.5625 56 51.78125 48.09375 
Q 58.015625 40.1875 58.015625 27.296875 
Q 58.015625 14.40625 51.78125 6.484375 
Q 45.5625 -1.421875 35.59375 -1.421875 
Q 29.59375 -1.421875 25.265625 0.953125 
Q 20.953125 3.328125 18.109375 8.203125 
z
M 48.6875 27.296875 
Q 48.6875 37.203125 44.609375 42.84375 
Q 40.53125 48.484375 33.40625 48.484375 
Q 26.265625 48.484375 22.1875 42.84375 
Q 18.109375 37.203125 18.109375 27.296875 
Q 18.109375 17.390625 22.1875 11.75 
Q 26.265625 6.109375 33.40625 6.109375 
Q 40.53125 6.109375 44.609375 11.75 
Q 48.6875 17.390625 48.6875 27.296875 
z
" id="DejaVuSans-112"/>
     </defs>
     <g transform="translate(256.0575 162.60925)scale(0.1 -0.1)">
      <use xlink:href="#DejaVuSans-48"/>
      <use x="63.623047" xlink:href="#DejaVuSans-48"/>
      <use x="127.246094" xlink:href="#DejaVuSans-52"/>
      <use x="190.869141" xlink:href="#DejaVuSans-83"/>
      <use x="254.345703" xlink:href="#DejaVuSans-101"/>
      <use x="315.869141" xlink:href="#DejaVuSans-116"/>
      <use x="355.078125" xlink:href="#DejaVuSans-65"/>
      <use x="421.736328" xlink:href="#DejaVuSans-100"/>
      <use x="485.212891" xlink:href="#DejaVuSans-100"/>
      <use x="548.689453" xlink:href="#DejaVuSans-68"/>
      <use x="625.691406" xlink:href="#DejaVuSans-101"/>
      <use x="687.214844" xlink:href="#DejaVuSans-108"/>
      <use x="714.998047" xlink:href="#DejaVuSans-45"/>
      <use x="751.082031" xlink:href="#DejaVuSans-97"/>
      <use x="812.361328" xlink:href="#DejaVuSans-112"/>
      <use x="875.837891" xlink:href="#DejaVuSans-97"/>
      <use x="937.117188" xlink:href="#DejaVuSans-108"/>
      <use x="964.900391" xlink:href="#DejaVuSans-97"/>
      <use x="1026.179688" xlink:href="#DejaVuSans-99"/>
      <use x="1081.160156" xlink:href="#DejaVuSans-104"/>
      <use x="1144.539062" xlink:href="#DejaVuSans-101"/>
      <use x="1206.0625" xlink:href="#DejaVuSans-45"/>
      <use x="1242.146484" xlink:href="#DejaVuSans-48"/>
      <use x="1305.769531" xlink:href="#DejaVuSans-46"/>
      <use x="1337.556641" xlink:href="#DejaVuSans-55"/>
      <use x="1401.179688" xlink:href="#DejaVuSans-46"/>
      <use x="1432.966797" xlink:href="#DejaVuSans-48"/>
     </g>
    </g>
    <g id="line2d_59">
     <path d="M 228.0575 173.787375 
L 248.0575 173.787375 
" style="fill:none;stroke:#0000ff;stroke-linecap:square;stroke-opacity:0.7;stroke-width:1.5;"/>
    </g>
    <g id="line2d_60">
     <g>
      <use style="fill:#0000ff;fill-opacity:0.7;stroke:#0000ff;stroke-opacity:0.7;" x="238.0575" xlink:href="#mb8e74e12c9" y="173.787375"/>
     </g>
    </g>
    <g id="text_15">
     <!-- 004SetAddDel-tlc-0.7.0 -->
     <g transform="translate(256.0575 177.287375)scale(0.1 -0.1)">
      <use xlink:href="#DejaVuSans-48"/>
      <use x="63.623047" xlink:href="#DejaVuSans-48"/>
      <use x="127.246094" xlink:href="#DejaVuSans-52"/>
      <use x="190.869141" xlink:href="#DejaVuSans-83"/>
      <use x="254.345703" xlink:href="#DejaVuSans-101"/>
      <use x="315.869141" xlink:href="#DejaVuSans-116"/>
      <use x="355.078125" xlink:href="#DejaVuSans-65"/>
      <use x="421.736328" xlink:href="#DejaVuSans-100"/>
      <use x="485.212891" xlink:href="#DejaVuSans-100"/>
      <use x="548.689453" xlink:href="#DejaVuSans-68"/>
      <use x="625.691406" xlink:href="#DejaVuSans-101"/>
      <use x="687.214844" xlink:href="#DejaVuSans-108"/>
      <use x="714.998047" xlink:href="#DejaVuSans-45"/>
      <use x="751.082031" xlink:href="#DejaVuSans-116"/>
      <use x="790.291016" xlink:href="#DejaVuSans-108"/>
      <use x="818.074219" xlink:href="#DejaVuSans-99"/>
      <use x="873.054688" xlink:href="#DejaVuSans-45"/>
      <use x="909.138672" xlink:href="#DejaVuSans-48"/>
      <use x="972.761719" xlink:href="#DejaVuSans-46"/>
      <use x="1004.548828" xlink:href="#DejaVuSans-55"/>
      <use x="1068.171875" xlink:href="#DejaVuSans-46"/>
      <use x="1099.958984" xlink:href="#DejaVuSans-48"/>
     </g>
    </g>
    <g id="line2d_61">
     <path d="M 228.0575 188.4655 
L 248.0575 188.4655 
" style="fill:none;stroke:#008000;stroke-linecap:square;stroke-opacity:0.7;stroke-width:1.5;"/>
    </g>
    <g id="line2d_62">
     <g>
      <use style="fill:#008000;fill-opacity:0.7;stroke:#008000;stroke-linejoin:miter;stroke-opacity:0.7;" x="238.0575" xlink:href="#m3f90034329" y="188.4655"/>
     </g>
    </g>
    <g id="text_16">
     <!-- 004SetAddDel-z3-0.7.0 -->
     <defs>
      <path d="M 5.515625 54.6875 
L 48.1875 54.6875 
L 48.1875 46.484375 
L 14.40625 7.171875 
L 48.1875 7.171875 
L 48.1875 0 
L 4.296875 0 
L 4.296875 8.203125 
L 38.09375 47.515625 
L 5.515625 47.515625 
z
" id="DejaVuSans-122"/>
     </defs>
     <g transform="translate(256.0575 191.9655)scale(0.1 -0.1)">
      <use xlink:href="#DejaVuSans-48"/>
      <use x="63.623047" xlink:href="#DejaVuSans-48"/>
      <use x="127.246094" xlink:href="#DejaVuSans-52"/>
      <use x="190.869141" xlink:href="#DejaVuSans-83"/>
      <use x="254.345703" xlink:href="#DejaVuSans-101"/>
      <use x="315.869141" xlink:href="#DejaVuSans-116"/>
      <use x="355.078125" xlink:href="#DejaVuSans-65"/>
      <use x="421.736328" xlink:href="#DejaVuSans-100"/>
      <use x="485.212891" xlink:href="#DejaVuSans-100"/>
      <use x="548.689453" xlink:href="#DejaVuSans-68"/>
      <use x="625.691406" xlink:href="#DejaVuSans-101"/>
      <use x="687.214844" xlink:href="#DejaVuSans-108"/>
      <use x="714.998047" xlink:href="#DejaVuSans-45"/>
      <use x="751.082031" xlink:href="#DejaVuSans-122"/>
      <use x="803.572266" xlink:href="#DejaVuSans-51"/>
      <use x="867.195312" xlink:href="#DejaVuSans-45"/>
      <use x="903.279297" xlink:href="#DejaVuSans-48"/>
      <use x="966.902344" xlink:href="#DejaVuSans-46"/>
      <use x="998.689453" xlink:href="#DejaVuSans-55"/>
      <use x="1062.3125" xlink:href="#DejaVuSans-46"/>
      <use x="1094.099609" xlink:href="#DejaVuSans-48"/>
     </g>
    </g>
   </g>
  </g>
 </g>
 <defs>
  <clipPath id="pdf19c88976">
   <rect height="266.112" width="357.12" x="57.6" y="41.472"/>
  </clipPath>
 </defs>
</svg>