github.com/vipernet-xyz/tm@v0.34.24/spec/light-client/accountability/results/001indinv-apalache-mem-log.svg (about)

     1  <?xml version="1.0" encoding="utf-8" standalone="no"?>
     2  <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
     3    "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
     4  <!-- Created with matplotlib (https://matplotlib.org/) -->
     5  <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">
     6   <metadata>
     7    <rdf:RDF xmlns:cc="http://creativecommons.org/ns#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
     8     <cc:Work>
     9      <dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage"/>
    10      <dc:date>2020-12-11T20:07:39.617177</dc:date>
    11      <dc:format>image/svg+xml</dc:format>
    12      <dc:creator>
    13       <cc:Agent>
    14        <dc:title>Matplotlib v3.3.3, https://matplotlib.org/</dc:title>
    15       </cc:Agent>
    16      </dc:creator>
    17     </cc:Work>
    18    </rdf:RDF>
    19   </metadata>
    20   <defs>
    21    <style type="text/css">*{stroke-linecap:butt;stroke-linejoin:round;}</style>
    22   </defs>
    23   <g id="figure_1">
    24    <g id="patch_1">
    25     <path d="M 0 345.6 
    26  L 460.8 345.6 
    27  L 460.8 0 
    28  L 0 0 
    29  z
    30  " style="fill:#ffffff;"/>
    31    </g>
    32    <g id="axes_1">
    33     <g id="patch_2">
    34      <path d="M 57.6 307.584 
    35  L 414.72 307.584 
    36  L 414.72 41.472 
    37  L 57.6 41.472 
    38  z
    39  " style="fill:#ffffff;"/>
    40     </g>
    41     <g id="matplotlib.axis_1">
    42      <g id="xtick_1">
    43       <g id="line2d_1">
    44        <path clip-path="url(#p95eb0893f9)" d="M 103.346777 307.584 
    45  L 103.346777 41.472 
    46  " style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
    47       </g>
    48       <g id="line2d_2">
    49        <defs>
    50         <path d="M 0 0 
    51  L 0 3.5 
    52  " id="mbc2d3c386c" style="stroke:#000000;stroke-width:0.8;"/>
    53        </defs>
    54        <g>
    55         <use style="stroke:#000000;stroke-width:0.8;" x="103.346777" xlink:href="#mbc2d3c386c" y="307.584"/>
    56        </g>
    57       </g>
    58       <g id="text_1">
    59        <!-- 2 -->
    60        <g transform="translate(100.165527 322.182437)scale(0.1 -0.1)">
    61         <defs>
    62          <path d="M 19.1875 8.296875 
    63  L 53.609375 8.296875 
    64  L 53.609375 0 
    65  L 7.328125 0 
    66  L 7.328125 8.296875 
    67  Q 12.9375 14.109375 22.625 23.890625 
    68  Q 32.328125 33.6875 34.8125 36.53125 
    69  Q 39.546875 41.84375 41.421875 45.53125 
    70  Q 43.3125 49.21875 43.3125 52.78125 
    71  Q 43.3125 58.59375 39.234375 62.25 
    72  Q 35.15625 65.921875 28.609375 65.921875 
    73  Q 23.96875 65.921875 18.8125 64.3125 
    74  Q 13.671875 62.703125 7.8125 59.421875 
    75  L 7.8125 69.390625 
    76  Q 13.765625 71.78125 18.9375 73 
    77  Q 24.125 74.21875 28.421875 74.21875 
    78  Q 39.75 74.21875 46.484375 68.546875 
    79  Q 53.21875 62.890625 53.21875 53.421875 
    80  Q 53.21875 48.921875 51.53125 44.890625 
    81  Q 49.859375 40.875 45.40625 35.40625 
    82  Q 44.1875 33.984375 37.640625 27.21875 
    83  Q 31.109375 20.453125 19.1875 8.296875 
    84  z
    85  " id="DejaVuSans-50"/>
    86         </defs>
    87         <use xlink:href="#DejaVuSans-50"/>
    88        </g>
    89       </g>
    90      </g>
    91      <g id="xtick_2">
    92       <g id="line2d_3">
    93        <path clip-path="url(#p95eb0893f9)" d="M 162.374876 307.584 
    94  L 162.374876 41.472 
    95  " style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
    96       </g>
    97       <g id="line2d_4">
    98        <g>
    99         <use style="stroke:#000000;stroke-width:0.8;" x="162.374876" xlink:href="#mbc2d3c386c" y="307.584"/>
   100        </g>
   101       </g>
   102       <g id="text_2">
   103        <!-- 4 -->
   104        <g transform="translate(159.193626 322.182437)scale(0.1 -0.1)">
   105         <defs>
   106          <path d="M 37.796875 64.3125 
   107  L 12.890625 25.390625 
   108  L 37.796875 25.390625 
   109  z
   110  M 35.203125 72.90625 
   111  L 47.609375 72.90625 
   112  L 47.609375 25.390625 
   113  L 58.015625 25.390625 
   114  L 58.015625 17.1875 
   115  L 47.609375 17.1875 
   116  L 47.609375 0 
   117  L 37.796875 0 
   118  L 37.796875 17.1875 
   119  L 4.890625 17.1875 
   120  L 4.890625 26.703125 
   121  z
   122  " id="DejaVuSans-52"/>
   123         </defs>
   124         <use xlink:href="#DejaVuSans-52"/>
   125        </g>
   126       </g>
   127      </g>
   128      <g id="xtick_3">
   129       <g id="line2d_5">
   130        <path clip-path="url(#p95eb0893f9)" d="M 221.402975 307.584 
   131  L 221.402975 41.472 
   132  " style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
   133       </g>
   134       <g id="line2d_6">
   135        <g>
   136         <use style="stroke:#000000;stroke-width:0.8;" x="221.402975" xlink:href="#mbc2d3c386c" y="307.584"/>
   137        </g>
   138       </g>
   139       <g id="text_3">
   140        <!-- 6 -->
   141        <g transform="translate(218.221725 322.182437)scale(0.1 -0.1)">
   142         <defs>
   143          <path d="M 33.015625 40.375 
   144  Q 26.375 40.375 22.484375 35.828125 
   145  Q 18.609375 31.296875 18.609375 23.390625 
   146  Q 18.609375 15.53125 22.484375 10.953125 
   147  Q 26.375 6.390625 33.015625 6.390625 
   148  Q 39.65625 6.390625 43.53125 10.953125 
   149  Q 47.40625 15.53125 47.40625 23.390625 
   150  Q 47.40625 31.296875 43.53125 35.828125 
   151  Q 39.65625 40.375 33.015625 40.375 
   152  z
   153  M 52.59375 71.296875 
   154  L 52.59375 62.3125 
   155  Q 48.875 64.0625 45.09375 64.984375 
   156  Q 41.3125 65.921875 37.59375 65.921875 
   157  Q 27.828125 65.921875 22.671875 59.328125 
   158  Q 17.53125 52.734375 16.796875 39.40625 
   159  Q 19.671875 43.65625 24.015625 45.921875 
   160  Q 28.375 48.1875 33.59375 48.1875 
   161  Q 44.578125 48.1875 50.953125 41.515625 
   162  Q 57.328125 34.859375 57.328125 23.390625 
   163  Q 57.328125 12.15625 50.6875 5.359375 
   164  Q 44.046875 -1.421875 33.015625 -1.421875 
   165  Q 20.359375 -1.421875 13.671875 8.265625 
   166  Q 6.984375 17.96875 6.984375 36.375 
   167  Q 6.984375 53.65625 15.1875 63.9375 
   168  Q 23.390625 74.21875 37.203125 74.21875 
   169  Q 40.921875 74.21875 44.703125 73.484375 
   170  Q 48.484375 72.75 52.59375 71.296875 
   171  z
   172  " id="DejaVuSans-54"/>
   173         </defs>
   174         <use xlink:href="#DejaVuSans-54"/>
   175        </g>
   176       </g>
   177      </g>
   178      <g id="xtick_4">
   179       <g id="line2d_7">
   180        <path clip-path="url(#p95eb0893f9)" d="M 280.431074 307.584 
   181  L 280.431074 41.472 
   182  " style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
   183       </g>
   184       <g id="line2d_8">
   185        <g>
   186         <use style="stroke:#000000;stroke-width:0.8;" x="280.431074" xlink:href="#mbc2d3c386c" y="307.584"/>
   187        </g>
   188       </g>
   189       <g id="text_4">
   190        <!-- 8 -->
   191        <g transform="translate(277.249824 322.182437)scale(0.1 -0.1)">
   192         <defs>
   193          <path d="M 31.78125 34.625 
   194  Q 24.75 34.625 20.71875 30.859375 
   195  Q 16.703125 27.09375 16.703125 20.515625 
   196  Q 16.703125 13.921875 20.71875 10.15625 
   197  Q 24.75 6.390625 31.78125 6.390625 
   198  Q 38.8125 6.390625 42.859375 10.171875 
   199  Q 46.921875 13.96875 46.921875 20.515625 
   200  Q 46.921875 27.09375 42.890625 30.859375 
   201  Q 38.875 34.625 31.78125 34.625 
   202  z
   203  M 21.921875 38.8125 
   204  Q 15.578125 40.375 12.03125 44.71875 
   205  Q 8.5 49.078125 8.5 55.328125 
   206  Q 8.5 64.0625 14.71875 69.140625 
   207  Q 20.953125 74.21875 31.78125 74.21875 
   208  Q 42.671875 74.21875 48.875 69.140625 
   209  Q 55.078125 64.0625 55.078125 55.328125 
   210  Q 55.078125 49.078125 51.53125 44.71875 
   211  Q 48 40.375 41.703125 38.8125 
   212  Q 48.828125 37.15625 52.796875 32.3125 
   213  Q 56.78125 27.484375 56.78125 20.515625 
   214  Q 56.78125 9.90625 50.3125 4.234375 
   215  Q 43.84375 -1.421875 31.78125 -1.421875 
   216  Q 19.734375 -1.421875 13.25 4.234375 
   217  Q 6.78125 9.90625 6.78125 20.515625 
   218  Q 6.78125 27.484375 10.78125 32.3125 
   219  Q 14.796875 37.15625 21.921875 38.8125 
   220  z
   221  M 18.3125 54.390625 
   222  Q 18.3125 48.734375 21.84375 45.5625 
   223  Q 25.390625 42.390625 31.78125 42.390625 
   224  Q 38.140625 42.390625 41.71875 45.5625 
   225  Q 45.3125 48.734375 45.3125 54.390625 
   226  Q 45.3125 60.0625 41.71875 63.234375 
   227  Q 38.140625 66.40625 31.78125 66.40625 
   228  Q 25.390625 66.40625 21.84375 63.234375 
   229  Q 18.3125 60.0625 18.3125 54.390625 
   230  z
   231  " id="DejaVuSans-56"/>
   232         </defs>
   233         <use xlink:href="#DejaVuSans-56"/>
   234        </g>
   235       </g>
   236      </g>
   237      <g id="xtick_5">
   238       <g id="line2d_9">
   239        <path clip-path="url(#p95eb0893f9)" d="M 339.459174 307.584 
   240  L 339.459174 41.472 
   241  " style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
   242       </g>
   243       <g id="line2d_10">
   244        <g>
   245         <use style="stroke:#000000;stroke-width:0.8;" x="339.459174" xlink:href="#mbc2d3c386c" y="307.584"/>
   246        </g>
   247       </g>
   248       <g id="text_5">
   249        <!-- 10 -->
   250        <g transform="translate(333.096674 322.182437)scale(0.1 -0.1)">
   251         <defs>
   252          <path d="M 12.40625 8.296875 
   253  L 28.515625 8.296875 
   254  L 28.515625 63.921875 
   255  L 10.984375 60.40625 
   256  L 10.984375 69.390625 
   257  L 28.421875 72.90625 
   258  L 38.28125 72.90625 
   259  L 38.28125 8.296875 
   260  L 54.390625 8.296875 
   261  L 54.390625 0 
   262  L 12.40625 0 
   263  z
   264  " id="DejaVuSans-49"/>
   265          <path d="M 31.78125 66.40625 
   266  Q 24.171875 66.40625 20.328125 58.90625 
   267  Q 16.5 51.421875 16.5 36.375 
   268  Q 16.5 21.390625 20.328125 13.890625 
   269  Q 24.171875 6.390625 31.78125 6.390625 
   270  Q 39.453125 6.390625 43.28125 13.890625 
   271  Q 47.125 21.390625 47.125 36.375 
   272  Q 47.125 51.421875 43.28125 58.90625 
   273  Q 39.453125 66.40625 31.78125 66.40625 
   274  z
   275  M 31.78125 74.21875 
   276  Q 44.046875 74.21875 50.515625 64.515625 
   277  Q 56.984375 54.828125 56.984375 36.375 
   278  Q 56.984375 17.96875 50.515625 8.265625 
   279  Q 44.046875 -1.421875 31.78125 -1.421875 
   280  Q 19.53125 -1.421875 13.0625 8.265625 
   281  Q 6.59375 17.96875 6.59375 36.375 
   282  Q 6.59375 54.828125 13.0625 64.515625 
   283  Q 19.53125 74.21875 31.78125 74.21875 
   284  z
   285  " id="DejaVuSans-48"/>
   286         </defs>
   287         <use xlink:href="#DejaVuSans-49"/>
   288         <use x="63.623047" xlink:href="#DejaVuSans-48"/>
   289        </g>
   290       </g>
   291      </g>
   292      <g id="xtick_6">
   293       <g id="line2d_11">
   294        <path clip-path="url(#p95eb0893f9)" d="M 398.487273 307.584 
   295  L 398.487273 41.472 
   296  " style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
   297       </g>
   298       <g id="line2d_12">
   299        <g>
   300         <use style="stroke:#000000;stroke-width:0.8;" x="398.487273" xlink:href="#mbc2d3c386c" y="307.584"/>
   301        </g>
   302       </g>
   303       <g id="text_6">
   304        <!-- 12 -->
   305        <g transform="translate(392.124773 322.182437)scale(0.1 -0.1)">
   306         <use xlink:href="#DejaVuSans-49"/>
   307         <use x="63.623047" xlink:href="#DejaVuSans-50"/>
   308        </g>
   309       </g>
   310      </g>
   311      <g id="text_7">
   312       <!-- benchmark -->
   313       <g transform="translate(207.937344 335.860562)scale(0.1 -0.1)">
   314        <defs>
   315         <path d="M 48.6875 27.296875 
   316  Q 48.6875 37.203125 44.609375 42.84375 
   317  Q 40.53125 48.484375 33.40625 48.484375 
   318  Q 26.265625 48.484375 22.1875 42.84375 
   319  Q 18.109375 37.203125 18.109375 27.296875 
   320  Q 18.109375 17.390625 22.1875 11.75 
   321  Q 26.265625 6.109375 33.40625 6.109375 
   322  Q 40.53125 6.109375 44.609375 11.75 
   323  Q 48.6875 17.390625 48.6875 27.296875 
   324  z
   325  M 18.109375 46.390625 
   326  Q 20.953125 51.265625 25.265625 53.625 
   327  Q 29.59375 56 35.59375 56 
   328  Q 45.5625 56 51.78125 48.09375 
   329  Q 58.015625 40.1875 58.015625 27.296875 
   330  Q 58.015625 14.40625 51.78125 6.484375 
   331  Q 45.5625 -1.421875 35.59375 -1.421875 
   332  Q 29.59375 -1.421875 25.265625 0.953125 
   333  Q 20.953125 3.328125 18.109375 8.203125 
   334  L 18.109375 0 
   335  L 9.078125 0 
   336  L 9.078125 75.984375 
   337  L 18.109375 75.984375 
   338  z
   339  " id="DejaVuSans-98"/>
   340         <path d="M 56.203125 29.59375 
   341  L 56.203125 25.203125 
   342  L 14.890625 25.203125 
   343  Q 15.484375 15.921875 20.484375 11.0625 
   344  Q 25.484375 6.203125 34.421875 6.203125 
   345  Q 39.59375 6.203125 44.453125 7.46875 
   346  Q 49.3125 8.734375 54.109375 11.28125 
   347  L 54.109375 2.78125 
   348  Q 49.265625 0.734375 44.1875 -0.34375 
   349  Q 39.109375 -1.421875 33.890625 -1.421875 
   350  Q 20.796875 -1.421875 13.15625 6.1875 
   351  Q 5.515625 13.8125 5.515625 26.8125 
   352  Q 5.515625 40.234375 12.765625 48.109375 
   353  Q 20.015625 56 32.328125 56 
   354  Q 43.359375 56 49.78125 48.890625 
   355  Q 56.203125 41.796875 56.203125 29.59375 
   356  z
   357  M 47.21875 32.234375 
   358  Q 47.125 39.59375 43.09375 43.984375 
   359  Q 39.0625 48.390625 32.421875 48.390625 
   360  Q 24.90625 48.390625 20.390625 44.140625 
   361  Q 15.875 39.890625 15.1875 32.171875 
   362  z
   363  " id="DejaVuSans-101"/>
   364         <path d="M 54.890625 33.015625 
   365  L 54.890625 0 
   366  L 45.90625 0 
   367  L 45.90625 32.71875 
   368  Q 45.90625 40.484375 42.875 44.328125 
   369  Q 39.84375 48.1875 33.796875 48.1875 
   370  Q 26.515625 48.1875 22.3125 43.546875 
   371  Q 18.109375 38.921875 18.109375 30.90625 
   372  L 18.109375 0 
   373  L 9.078125 0 
   374  L 9.078125 54.6875 
   375  L 18.109375 54.6875 
   376  L 18.109375 46.1875 
   377  Q 21.34375 51.125 25.703125 53.5625 
   378  Q 30.078125 56 35.796875 56 
   379  Q 45.21875 56 50.046875 50.171875 
   380  Q 54.890625 44.34375 54.890625 33.015625 
   381  z
   382  " id="DejaVuSans-110"/>
   383         <path d="M 48.78125 52.59375 
   384  L 48.78125 44.1875 
   385  Q 44.96875 46.296875 41.140625 47.34375 
   386  Q 37.3125 48.390625 33.40625 48.390625 
   387  Q 24.65625 48.390625 19.8125 42.84375 
   388  Q 14.984375 37.3125 14.984375 27.296875 
   389  Q 14.984375 17.28125 19.8125 11.734375 
   390  Q 24.65625 6.203125 33.40625 6.203125 
   391  Q 37.3125 6.203125 41.140625 7.25 
   392  Q 44.96875 8.296875 48.78125 10.40625 
   393  L 48.78125 2.09375 
   394  Q 45.015625 0.34375 40.984375 -0.53125 
   395  Q 36.96875 -1.421875 32.421875 -1.421875 
   396  Q 20.0625 -1.421875 12.78125 6.34375 
   397  Q 5.515625 14.109375 5.515625 27.296875 
   398  Q 5.515625 40.671875 12.859375 48.328125 
   399  Q 20.21875 56 33.015625 56 
   400  Q 37.15625 56 41.109375 55.140625 
   401  Q 45.0625 54.296875 48.78125 52.59375 
   402  z
   403  " id="DejaVuSans-99"/>
   404         <path d="M 54.890625 33.015625 
   405  L 54.890625 0 
   406  L 45.90625 0 
   407  L 45.90625 32.71875 
   408  Q 45.90625 40.484375 42.875 44.328125 
   409  Q 39.84375 48.1875 33.796875 48.1875 
   410  Q 26.515625 48.1875 22.3125 43.546875 
   411  Q 18.109375 38.921875 18.109375 30.90625 
   412  L 18.109375 0 
   413  L 9.078125 0 
   414  L 9.078125 75.984375 
   415  L 18.109375 75.984375 
   416  L 18.109375 46.1875 
   417  Q 21.34375 51.125 25.703125 53.5625 
   418  Q 30.078125 56 35.796875 56 
   419  Q 45.21875 56 50.046875 50.171875 
   420  Q 54.890625 44.34375 54.890625 33.015625 
   421  z
   422  " id="DejaVuSans-104"/>
   423         <path d="M 52 44.1875 
   424  Q 55.375 50.25 60.0625 53.125 
   425  Q 64.75 56 71.09375 56 
   426  Q 79.640625 56 84.28125 50.015625 
   427  Q 88.921875 44.046875 88.921875 33.015625 
   428  L 88.921875 0 
   429  L 79.890625 0 
   430  L 79.890625 32.71875 
   431  Q 79.890625 40.578125 77.09375 44.375 
   432  Q 74.3125 48.1875 68.609375 48.1875 
   433  Q 61.625 48.1875 57.5625 43.546875 
   434  Q 53.515625 38.921875 53.515625 30.90625 
   435  L 53.515625 0 
   436  L 44.484375 0 
   437  L 44.484375 32.71875 
   438  Q 44.484375 40.625 41.703125 44.40625 
   439  Q 38.921875 48.1875 33.109375 48.1875 
   440  Q 26.21875 48.1875 22.15625 43.53125 
   441  Q 18.109375 38.875 18.109375 30.90625 
   442  L 18.109375 0 
   443  L 9.078125 0 
   444  L 9.078125 54.6875 
   445  L 18.109375 54.6875 
   446  L 18.109375 46.1875 
   447  Q 21.1875 51.21875 25.484375 53.609375 
   448  Q 29.78125 56 35.6875 56 
   449  Q 41.65625 56 45.828125 52.96875 
   450  Q 50 49.953125 52 44.1875 
   451  z
   452  " id="DejaVuSans-109"/>
   453         <path d="M 34.28125 27.484375 
   454  Q 23.390625 27.484375 19.1875 25 
   455  Q 14.984375 22.515625 14.984375 16.5 
   456  Q 14.984375 11.71875 18.140625 8.90625 
   457  Q 21.296875 6.109375 26.703125 6.109375 
   458  Q 34.1875 6.109375 38.703125 11.40625 
   459  Q 43.21875 16.703125 43.21875 25.484375 
   460  L 43.21875 27.484375 
   461  z
   462  M 52.203125 31.203125 
   463  L 52.203125 0 
   464  L 43.21875 0 
   465  L 43.21875 8.296875 
   466  Q 40.140625 3.328125 35.546875 0.953125 
   467  Q 30.953125 -1.421875 24.3125 -1.421875 
   468  Q 15.921875 -1.421875 10.953125 3.296875 
   469  Q 6 8.015625 6 15.921875 
   470  Q 6 25.140625 12.171875 29.828125 
   471  Q 18.359375 34.515625 30.609375 34.515625 
   472  L 43.21875 34.515625 
   473  L 43.21875 35.40625 
   474  Q 43.21875 41.609375 39.140625 45 
   475  Q 35.0625 48.390625 27.6875 48.390625 
   476  Q 23 48.390625 18.546875 47.265625 
   477  Q 14.109375 46.140625 10.015625 43.890625 
   478  L 10.015625 52.203125 
   479  Q 14.9375 54.109375 19.578125 55.046875 
   480  Q 24.21875 56 28.609375 56 
   481  Q 40.484375 56 46.34375 49.84375 
   482  Q 52.203125 43.703125 52.203125 31.203125 
   483  z
   484  " id="DejaVuSans-97"/>
   485         <path d="M 41.109375 46.296875 
   486  Q 39.59375 47.171875 37.8125 47.578125 
   487  Q 36.03125 48 33.890625 48 
   488  Q 26.265625 48 22.1875 43.046875 
   489  Q 18.109375 38.09375 18.109375 28.8125 
   490  L 18.109375 0 
   491  L 9.078125 0 
   492  L 9.078125 54.6875 
   493  L 18.109375 54.6875 
   494  L 18.109375 46.1875 
   495  Q 20.953125 51.171875 25.484375 53.578125 
   496  Q 30.03125 56 36.53125 56 
   497  Q 37.453125 56 38.578125 55.875 
   498  Q 39.703125 55.765625 41.0625 55.515625 
   499  z
   500  " id="DejaVuSans-114"/>
   501         <path d="M 9.078125 75.984375 
   502  L 18.109375 75.984375 
   503  L 18.109375 31.109375 
   504  L 44.921875 54.6875 
   505  L 56.390625 54.6875 
   506  L 27.390625 29.109375 
   507  L 57.625 0 
   508  L 45.90625 0 
   509  L 18.109375 26.703125 
   510  L 18.109375 0 
   511  L 9.078125 0 
   512  z
   513  " id="DejaVuSans-107"/>
   514        </defs>
   515        <use xlink:href="#DejaVuSans-98"/>
   516        <use x="63.476562" xlink:href="#DejaVuSans-101"/>
   517        <use x="125" xlink:href="#DejaVuSans-110"/>
   518        <use x="188.378906" xlink:href="#DejaVuSans-99"/>
   519        <use x="243.359375" xlink:href="#DejaVuSans-104"/>
   520        <use x="306.738281" xlink:href="#DejaVuSans-109"/>
   521        <use x="404.150391" xlink:href="#DejaVuSans-97"/>
   522        <use x="465.429688" xlink:href="#DejaVuSans-114"/>
   523        <use x="506.542969" xlink:href="#DejaVuSans-107"/>
   524       </g>
   525      </g>
   526     </g>
   527     <g id="matplotlib.axis_2">
   528      <g id="ytick_1">
   529       <g id="line2d_13">
   530        <path clip-path="url(#p95eb0893f9)" d="M 57.6 244.614939 
   531  L 414.72 244.614939 
   532  " style="fill:none;stroke:#b0b0b0;stroke-linecap:square;stroke-opacity:0.2;stroke-width:0.8;"/>
   533       </g>
   534       <g id="line2d_14">
   535        <defs>
   536         <path d="M 0 0 
   537  L -3.5 0 
   538  " id="mc41679048a" style="stroke:#000000;stroke-width:0.8;"/>
   539        </defs>
   540        <g>
   541         <use style="stroke:#000000;stroke-width:0.8;" x="57.6" xlink:href="#mc41679048a" y="244.614939"/>
   542        </g>
   543       </g>
   544       <g id="text_8">
   545        <!-- $\mathdefault{10^{6}}$ -->
   546        <g transform="translate(33 248.414158)scale(0.1 -0.1)">
   547         <use transform="translate(0 0.765625)" xlink:href="#DejaVuSans-49"/>
   548         <use transform="translate(63.623047 0.765625)" xlink:href="#DejaVuSans-48"/>
   549         <use transform="translate(128.203125 39.046875)scale(0.7)" xlink:href="#DejaVuSans-54"/>
   550        </g>
   551       </g>
   552      </g>
   553      <g id="ytick_2">
   554       <g id="line2d_15">
   555        <defs>
   556         <path d="M 0 0 
   557  L -2 0 
   558  " id="mfae5699b8b" style="stroke:#000000;stroke-width:0.6;"/>
   559        </defs>
   560        <g>
   561         <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#mfae5699b8b" y="291.886879"/>
   562        </g>
   563       </g>
   564      </g>
   565      <g id="ytick_3">
   566       <g id="line2d_16">
   567        <g>
   568         <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#mfae5699b8b" y="277.621734"/>
   569        </g>
   570       </g>
   571      </g>
   572      <g id="ytick_4">
   573       <g id="line2d_17">
   574        <g>
   575         <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#mfae5699b8b" y="265.264703"/>
   576        </g>
   577       </g>
   578      </g>
   579      <g id="ytick_5">
   580       <g id="line2d_18">
   581        <g>
   582         <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#mfae5699b8b" y="254.365029"/>
   583        </g>
   584       </g>
   585      </g>
   586      <g id="ytick_6">
   587       <g id="line2d_19">
   588        <g>
   589         <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#mfae5699b8b" y="180.470913"/>
   590        </g>
   591       </g>
   592      </g>
   593      <g id="ytick_7">
   594       <g id="line2d_20">
   595        <g>
   596         <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#mfae5699b8b" y="142.949063"/>
   597        </g>
   598       </g>
   599      </g>
   600      <g id="ytick_8">
   601       <g id="line2d_21">
   602        <g>
   603         <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#mfae5699b8b" y="116.326887"/>
   604        </g>
   605       </g>
   606      </g>
   607      <g id="ytick_9">
   608       <g id="line2d_22">
   609        <g>
   610         <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#mfae5699b8b" y="95.677123"/>
   611        </g>
   612       </g>
   613      </g>
   614      <g id="ytick_10">
   615       <g id="line2d_23">
   616        <g>
   617         <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#mfae5699b8b" y="78.805037"/>
   618        </g>
   619       </g>
   620      </g>
   621      <g id="ytick_11">
   622       <g id="line2d_24">
   623        <g>
   624         <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#mfae5699b8b" y="64.539892"/>
   625        </g>
   626       </g>
   627      </g>
   628      <g id="ytick_12">
   629       <g id="line2d_25">
   630        <g>
   631         <use style="stroke:#000000;stroke-width:0.6;" x="57.6" xlink:href="#mfae5699b8b" y="52.182861"/>
   632        </g>
   633       </g>
   634      </g>
   635      <g id="text_9">
   636       <!-- memory, KB, logscale -->
   637       <g transform="translate(26.920312 228.991281)rotate(-90)scale(0.1 -0.1)">
   638        <defs>
   639         <path d="M 30.609375 48.390625 
   640  Q 23.390625 48.390625 19.1875 42.75 
   641  Q 14.984375 37.109375 14.984375 27.296875 
   642  Q 14.984375 17.484375 19.15625 11.84375 
   643  Q 23.34375 6.203125 30.609375 6.203125 
   644  Q 37.796875 6.203125 41.984375 11.859375 
   645  Q 46.1875 17.53125 46.1875 27.296875 
   646  Q 46.1875 37.015625 41.984375 42.703125 
   647  Q 37.796875 48.390625 30.609375 48.390625 
   648  z
   649  M 30.609375 56 
   650  Q 42.328125 56 49.015625 48.375 
   651  Q 55.71875 40.765625 55.71875 27.296875 
   652  Q 55.71875 13.875 49.015625 6.21875 
   653  Q 42.328125 -1.421875 30.609375 -1.421875 
   654  Q 18.84375 -1.421875 12.171875 6.21875 
   655  Q 5.515625 13.875 5.515625 27.296875 
   656  Q 5.515625 40.765625 12.171875 48.375 
   657  Q 18.84375 56 30.609375 56 
   658  z
   659  " id="DejaVuSans-111"/>
   660         <path d="M 32.171875 -5.078125 
   661  Q 28.375 -14.84375 24.75 -17.8125 
   662  Q 21.140625 -20.796875 15.09375 -20.796875 
   663  L 7.90625 -20.796875 
   664  L 7.90625 -13.28125 
   665  L 13.1875 -13.28125 
   666  Q 16.890625 -13.28125 18.9375 -11.515625 
   667  Q 21 -9.765625 23.484375 -3.21875 
   668  L 25.09375 0.875 
   669  L 2.984375 54.6875 
   670  L 12.5 54.6875 
   671  L 29.59375 11.921875 
   672  L 46.6875 54.6875 
   673  L 56.203125 54.6875 
   674  z
   675  " id="DejaVuSans-121"/>
   676         <path d="M 11.71875 12.40625 
   677  L 22.015625 12.40625 
   678  L 22.015625 4 
   679  L 14.015625 -11.625 
   680  L 7.71875 -11.625 
   681  L 11.71875 4 
   682  z
   683  " id="DejaVuSans-44"/>
   684         <path id="DejaVuSans-32"/>
   685         <path d="M 9.8125 72.90625 
   686  L 19.671875 72.90625 
   687  L 19.671875 42.09375 
   688  L 52.390625 72.90625 
   689  L 65.09375 72.90625 
   690  L 28.90625 38.921875 
   691  L 67.671875 0 
   692  L 54.6875 0 
   693  L 19.671875 35.109375 
   694  L 19.671875 0 
   695  L 9.8125 0 
   696  z
   697  " id="DejaVuSans-75"/>
   698         <path d="M 19.671875 34.8125 
   699  L 19.671875 8.109375 
   700  L 35.5 8.109375 
   701  Q 43.453125 8.109375 47.28125 11.40625 
   702  Q 51.125 14.703125 51.125 21.484375 
   703  Q 51.125 28.328125 47.28125 31.5625 
   704  Q 43.453125 34.8125 35.5 34.8125 
   705  z
   706  M 19.671875 64.796875 
   707  L 19.671875 42.828125 
   708  L 34.28125 42.828125 
   709  Q 41.5 42.828125 45.03125 45.53125 
   710  Q 48.578125 48.25 48.578125 53.8125 
   711  Q 48.578125 59.328125 45.03125 62.0625 
   712  Q 41.5 64.796875 34.28125 64.796875 
   713  z
   714  M 9.8125 72.90625 
   715  L 35.015625 72.90625 
   716  Q 46.296875 72.90625 52.390625 68.21875 
   717  Q 58.5 63.53125 58.5 54.890625 
   718  Q 58.5 48.1875 55.375 44.234375 
   719  Q 52.25 40.28125 46.1875 39.3125 
   720  Q 53.46875 37.75 57.5 32.78125 
   721  Q 61.53125 27.828125 61.53125 20.40625 
   722  Q 61.53125 10.640625 54.890625 5.3125 
   723  Q 48.25 0 35.984375 0 
   724  L 9.8125 0 
   725  z
   726  " id="DejaVuSans-66"/>
   727         <path d="M 9.421875 75.984375 
   728  L 18.40625 75.984375 
   729  L 18.40625 0 
   730  L 9.421875 0 
   731  z
   732  " id="DejaVuSans-108"/>
   733         <path d="M 45.40625 27.984375 
   734  Q 45.40625 37.75 41.375 43.109375 
   735  Q 37.359375 48.484375 30.078125 48.484375 
   736  Q 22.859375 48.484375 18.828125 43.109375 
   737  Q 14.796875 37.75 14.796875 27.984375 
   738  Q 14.796875 18.265625 18.828125 12.890625 
   739  Q 22.859375 7.515625 30.078125 7.515625 
   740  Q 37.359375 7.515625 41.375 12.890625 
   741  Q 45.40625 18.265625 45.40625 27.984375 
   742  z
   743  M 54.390625 6.78125 
   744  Q 54.390625 -7.171875 48.1875 -13.984375 
   745  Q 42 -20.796875 29.203125 -20.796875 
   746  Q 24.46875 -20.796875 20.265625 -20.09375 
   747  Q 16.0625 -19.390625 12.109375 -17.921875 
   748  L 12.109375 -9.1875 
   749  Q 16.0625 -11.328125 19.921875 -12.34375 
   750  Q 23.78125 -13.375 27.78125 -13.375 
   751  Q 36.625 -13.375 41.015625 -8.765625 
   752  Q 45.40625 -4.15625 45.40625 5.171875 
   753  L 45.40625 9.625 
   754  Q 42.625 4.78125 38.28125 2.390625 
   755  Q 33.9375 0 27.875 0 
   756  Q 17.828125 0 11.671875 7.65625 
   757  Q 5.515625 15.328125 5.515625 27.984375 
   758  Q 5.515625 40.671875 11.671875 48.328125 
   759  Q 17.828125 56 27.875 56 
   760  Q 33.9375 56 38.28125 53.609375 
   761  Q 42.625 51.21875 45.40625 46.390625 
   762  L 45.40625 54.6875 
   763  L 54.390625 54.6875 
   764  z
   765  " id="DejaVuSans-103"/>
   766         <path d="M 44.28125 53.078125 
   767  L 44.28125 44.578125 
   768  Q 40.484375 46.53125 36.375 47.5 
   769  Q 32.28125 48.484375 27.875 48.484375 
   770  Q 21.1875 48.484375 17.84375 46.4375 
   771  Q 14.5 44.390625 14.5 40.28125 
   772  Q 14.5 37.15625 16.890625 35.375 
   773  Q 19.28125 33.59375 26.515625 31.984375 
   774  L 29.59375 31.296875 
   775  Q 39.15625 29.25 43.1875 25.515625 
   776  Q 47.21875 21.78125 47.21875 15.09375 
   777  Q 47.21875 7.46875 41.1875 3.015625 
   778  Q 35.15625 -1.421875 24.609375 -1.421875 
   779  Q 20.21875 -1.421875 15.453125 -0.5625 
   780  Q 10.6875 0.296875 5.421875 2 
   781  L 5.421875 11.28125 
   782  Q 10.40625 8.6875 15.234375 7.390625 
   783  Q 20.0625 6.109375 24.8125 6.109375 
   784  Q 31.15625 6.109375 34.5625 8.28125 
   785  Q 37.984375 10.453125 37.984375 14.40625 
   786  Q 37.984375 18.0625 35.515625 20.015625 
   787  Q 33.0625 21.96875 24.703125 23.78125 
   788  L 21.578125 24.515625 
   789  Q 13.234375 26.265625 9.515625 29.90625 
   790  Q 5.8125 33.546875 5.8125 39.890625 
   791  Q 5.8125 47.609375 11.28125 51.796875 
   792  Q 16.75 56 26.8125 56 
   793  Q 31.78125 56 36.171875 55.265625 
   794  Q 40.578125 54.546875 44.28125 53.078125 
   795  z
   796  " id="DejaVuSans-115"/>
   797        </defs>
   798        <use xlink:href="#DejaVuSans-109"/>
   799        <use x="97.412109" xlink:href="#DejaVuSans-101"/>
   800        <use x="158.935547" xlink:href="#DejaVuSans-109"/>
   801        <use x="256.347656" xlink:href="#DejaVuSans-111"/>
   802        <use x="317.529297" xlink:href="#DejaVuSans-114"/>
   803        <use x="358.642578" xlink:href="#DejaVuSans-121"/>
   804        <use x="417.822266" xlink:href="#DejaVuSans-44"/>
   805        <use x="449.609375" xlink:href="#DejaVuSans-32"/>
   806        <use x="481.396484" xlink:href="#DejaVuSans-75"/>
   807        <use x="546.972656" xlink:href="#DejaVuSans-66"/>
   808        <use x="615.576172" xlink:href="#DejaVuSans-44"/>
   809        <use x="647.363281" xlink:href="#DejaVuSans-32"/>
   810        <use x="679.150391" xlink:href="#DejaVuSans-108"/>
   811        <use x="706.933594" xlink:href="#DejaVuSans-111"/>
   812        <use x="768.115234" xlink:href="#DejaVuSans-103"/>
   813        <use x="831.591797" xlink:href="#DejaVuSans-115"/>
   814        <use x="883.691406" xlink:href="#DejaVuSans-99"/>
   815        <use x="938.671875" xlink:href="#DejaVuSans-97"/>
   816        <use x="999.951172" xlink:href="#DejaVuSans-108"/>
   817        <use x="1027.734375" xlink:href="#DejaVuSans-101"/>
   818       </g>
   819      </g>
   820     </g>
   821     <g id="line2d_26">
   822      <path clip-path="url(#p95eb0893f9)" d="M 73.832727 136.531678 
   823  L 103.346777 137.120779 
   824  L 132.860826 110.129327 
   825  L 162.374876 114.494074 
   826  L 191.888926 295.488 
   827  L 221.402975 281.155714 
   828  L 250.917025 284.336308 
   829  L 280.431074 279.871412 
   830  L 309.945124 141.302758 
   831  L 339.459174 72.478527 
   832  L 368.973223 115.669508 
   833  L 398.487273 53.568 
   834  " style="fill:none;stroke:#ff0000;stroke-linecap:square;stroke-opacity:0.7;stroke-width:1.5;"/>
   835      <defs>
   836       <path d="M -3 3 
   837  L 3 3 
   838  L 3 -3 
   839  L -3 -3 
   840  z
   841  " id="m49a28208b3" style="stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;"/>
   842      </defs>
   843      <g clip-path="url(#p95eb0893f9)">
   844       <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="73.832727" xlink:href="#m49a28208b3" y="136.531678"/>
   845       <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="103.346777" xlink:href="#m49a28208b3" y="137.120779"/>
   846       <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="132.860826" xlink:href="#m49a28208b3" y="110.129327"/>
   847       <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="162.374876" xlink:href="#m49a28208b3" y="114.494074"/>
   848       <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="191.888926" xlink:href="#m49a28208b3" y="295.488"/>
   849       <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="221.402975" xlink:href="#m49a28208b3" y="281.155714"/>
   850       <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="250.917025" xlink:href="#m49a28208b3" y="284.336308"/>
   851       <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="280.431074" xlink:href="#m49a28208b3" y="279.871412"/>
   852       <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="309.945124" xlink:href="#m49a28208b3" y="141.302758"/>
   853       <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="339.459174" xlink:href="#m49a28208b3" y="72.478527"/>
   854       <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="368.973223" xlink:href="#m49a28208b3" y="115.669508"/>
   855       <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="398.487273" xlink:href="#m49a28208b3" y="53.568"/>
   856      </g>
   857     </g>
   858     <g id="patch_3">
   859      <path d="M 57.6 307.584 
   860  L 57.6 41.472 
   861  " style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   862     </g>
   863     <g id="patch_4">
   864      <path d="M 414.72 307.584 
   865  L 414.72 41.472 
   866  " style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   867     </g>
   868     <g id="patch_5">
   869      <path d="M 57.6 307.584 
   870  L 414.72 307.584 
   871  " style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   872     </g>
   873     <g id="patch_6">
   874      <path d="M 57.6 41.472 
   875  L 414.72 41.472 
   876  " style="fill:none;stroke:#000000;stroke-linecap:square;stroke-linejoin:miter;stroke-width:0.8;"/>
   877     </g>
   878     <g id="legend_1">
   879      <g id="patch_7">
   880       <path d="M 64.6 64.150125 
   881  L 241.851562 64.150125 
   882  Q 243.851562 64.150125 243.851562 62.150125 
   883  L 243.851562 48.472 
   884  Q 243.851562 46.472 241.851562 46.472 
   885  L 64.6 46.472 
   886  Q 62.6 46.472 62.6 48.472 
   887  L 62.6 62.150125 
   888  Q 62.6 64.150125 64.6 64.150125 
   889  z
   890  " style="fill:#ffffff;opacity:0.8;stroke:#cccccc;stroke-linejoin:miter;"/>
   891      </g>
   892      <g id="line2d_27">
   893       <path d="M 66.6 54.570438 
   894  L 86.6 54.570438 
   895  " style="fill:none;stroke:#ff0000;stroke-linecap:square;stroke-opacity:0.7;stroke-width:1.5;"/>
   896      </g>
   897      <g id="line2d_28">
   898       <g>
   899        <use style="fill:#ff0000;fill-opacity:0.7;stroke:#ff0000;stroke-linejoin:miter;stroke-opacity:0.7;" x="76.6" xlink:href="#m49a28208b3" y="54.570438"/>
   900       </g>
   901      </g>
   902      <g id="text_10">
   903       <!-- 001indinv-apalache-unstable -->
   904       <g transform="translate(94.6 58.070438)scale(0.1 -0.1)">
   905        <defs>
   906         <path d="M 9.421875 54.6875 
   907  L 18.40625 54.6875 
   908  L 18.40625 0 
   909  L 9.421875 0 
   910  z
   911  M 9.421875 75.984375 
   912  L 18.40625 75.984375 
   913  L 18.40625 64.59375 
   914  L 9.421875 64.59375 
   915  z
   916  " id="DejaVuSans-105"/>
   917         <path d="M 45.40625 46.390625 
   918  L 45.40625 75.984375 
   919  L 54.390625 75.984375 
   920  L 54.390625 0 
   921  L 45.40625 0 
   922  L 45.40625 8.203125 
   923  Q 42.578125 3.328125 38.25 0.953125 
   924  Q 33.9375 -1.421875 27.875 -1.421875 
   925  Q 17.96875 -1.421875 11.734375 6.484375 
   926  Q 5.515625 14.40625 5.515625 27.296875 
   927  Q 5.515625 40.1875 11.734375 48.09375 
   928  Q 17.96875 56 27.875 56 
   929  Q 33.9375 56 38.25 53.625 
   930  Q 42.578125 51.265625 45.40625 46.390625 
   931  z
   932  M 14.796875 27.296875 
   933  Q 14.796875 17.390625 18.875 11.75 
   934  Q 22.953125 6.109375 30.078125 6.109375 
   935  Q 37.203125 6.109375 41.296875 11.75 
   936  Q 45.40625 17.390625 45.40625 27.296875 
   937  Q 45.40625 37.203125 41.296875 42.84375 
   938  Q 37.203125 48.484375 30.078125 48.484375 
   939  Q 22.953125 48.484375 18.875 42.84375 
   940  Q 14.796875 37.203125 14.796875 27.296875 
   941  z
   942  " id="DejaVuSans-100"/>
   943         <path d="M 2.984375 54.6875 
   944  L 12.5 54.6875 
   945  L 29.59375 8.796875 
   946  L 46.6875 54.6875 
   947  L 56.203125 54.6875 
   948  L 35.6875 0 
   949  L 23.484375 0 
   950  z
   951  " id="DejaVuSans-118"/>
   952         <path d="M 4.890625 31.390625 
   953  L 31.203125 31.390625 
   954  L 31.203125 23.390625 
   955  L 4.890625 23.390625 
   956  z
   957  " id="DejaVuSans-45"/>
   958         <path d="M 18.109375 8.203125 
   959  L 18.109375 -20.796875 
   960  L 9.078125 -20.796875 
   961  L 9.078125 54.6875 
   962  L 18.109375 54.6875 
   963  L 18.109375 46.390625 
   964  Q 20.953125 51.265625 25.265625 53.625 
   965  Q 29.59375 56 35.59375 56 
   966  Q 45.5625 56 51.78125 48.09375 
   967  Q 58.015625 40.1875 58.015625 27.296875 
   968  Q 58.015625 14.40625 51.78125 6.484375 
   969  Q 45.5625 -1.421875 35.59375 -1.421875 
   970  Q 29.59375 -1.421875 25.265625 0.953125 
   971  Q 20.953125 3.328125 18.109375 8.203125 
   972  z
   973  M 48.6875 27.296875 
   974  Q 48.6875 37.203125 44.609375 42.84375 
   975  Q 40.53125 48.484375 33.40625 48.484375 
   976  Q 26.265625 48.484375 22.1875 42.84375 
   977  Q 18.109375 37.203125 18.109375 27.296875 
   978  Q 18.109375 17.390625 22.1875 11.75 
   979  Q 26.265625 6.109375 33.40625 6.109375 
   980  Q 40.53125 6.109375 44.609375 11.75 
   981  Q 48.6875 17.390625 48.6875 27.296875 
   982  z
   983  " id="DejaVuSans-112"/>
   984         <path d="M 8.5 21.578125 
   985  L 8.5 54.6875 
   986  L 17.484375 54.6875 
   987  L 17.484375 21.921875 
   988  Q 17.484375 14.15625 20.5 10.265625 
   989  Q 23.53125 6.390625 29.59375 6.390625 
   990  Q 36.859375 6.390625 41.078125 11.03125 
   991  Q 45.3125 15.671875 45.3125 23.6875 
   992  L 45.3125 54.6875 
   993  L 54.296875 54.6875 
   994  L 54.296875 0 
   995  L 45.3125 0 
   996  L 45.3125 8.40625 
   997  Q 42.046875 3.421875 37.71875 1 
   998  Q 33.40625 -1.421875 27.6875 -1.421875 
   999  Q 18.265625 -1.421875 13.375 4.4375 
  1000  Q 8.5 10.296875 8.5 21.578125 
  1001  z
  1002  M 31.109375 56 
  1003  z
  1004  " id="DejaVuSans-117"/>
  1005         <path d="M 18.3125 70.21875 
  1006  L 18.3125 54.6875 
  1007  L 36.8125 54.6875 
  1008  L 36.8125 47.703125 
  1009  L 18.3125 47.703125 
  1010  L 18.3125 18.015625 
  1011  Q 18.3125 11.328125 20.140625 9.421875 
  1012  Q 21.96875 7.515625 27.59375 7.515625 
  1013  L 36.8125 7.515625 
  1014  L 36.8125 0 
  1015  L 27.59375 0 
  1016  Q 17.1875 0 13.234375 3.875 
  1017  Q 9.28125 7.765625 9.28125 18.015625 
  1018  L 9.28125 47.703125 
  1019  L 2.6875 47.703125 
  1020  L 2.6875 54.6875 
  1021  L 9.28125 54.6875 
  1022  L 9.28125 70.21875 
  1023  z
  1024  " id="DejaVuSans-116"/>
  1025        </defs>
  1026        <use xlink:href="#DejaVuSans-48"/>
  1027        <use x="63.623047" xlink:href="#DejaVuSans-48"/>
  1028        <use x="127.246094" xlink:href="#DejaVuSans-49"/>
  1029        <use x="190.869141" xlink:href="#DejaVuSans-105"/>
  1030        <use x="218.652344" xlink:href="#DejaVuSans-110"/>
  1031        <use x="282.03125" xlink:href="#DejaVuSans-100"/>
  1032        <use x="345.507812" xlink:href="#DejaVuSans-105"/>
  1033        <use x="373.291016" xlink:href="#DejaVuSans-110"/>
  1034        <use x="436.669922" xlink:href="#DejaVuSans-118"/>
  1035        <use x="493.224609" xlink:href="#DejaVuSans-45"/>
  1036        <use x="529.308594" xlink:href="#DejaVuSans-97"/>
  1037        <use x="590.587891" xlink:href="#DejaVuSans-112"/>
  1038        <use x="654.064453" xlink:href="#DejaVuSans-97"/>
  1039        <use x="715.34375" xlink:href="#DejaVuSans-108"/>
  1040        <use x="743.126953" xlink:href="#DejaVuSans-97"/>
  1041        <use x="804.40625" xlink:href="#DejaVuSans-99"/>
  1042        <use x="859.386719" xlink:href="#DejaVuSans-104"/>
  1043        <use x="922.765625" xlink:href="#DejaVuSans-101"/>
  1044        <use x="984.289062" xlink:href="#DejaVuSans-45"/>
  1045        <use x="1020.373047" xlink:href="#DejaVuSans-117"/>
  1046        <use x="1083.751953" xlink:href="#DejaVuSans-110"/>
  1047        <use x="1147.130859" xlink:href="#DejaVuSans-115"/>
  1048        <use x="1199.230469" xlink:href="#DejaVuSans-116"/>
  1049        <use x="1238.439453" xlink:href="#DejaVuSans-97"/>
  1050        <use x="1299.71875" xlink:href="#DejaVuSans-98"/>
  1051        <use x="1363.195312" xlink:href="#DejaVuSans-108"/>
  1052        <use x="1390.978516" xlink:href="#DejaVuSans-101"/>
  1053       </g>
  1054      </g>
  1055     </g>
  1056    </g>
  1057   </g>
  1058   <defs>
  1059    <clipPath id="p95eb0893f9">
  1060     <rect height="266.112" width="357.12" x="57.6" y="41.472"/>
  1061    </clipPath>
  1062   </defs>
  1063  </svg>