libstdc++-v3/doc/xml/images/pbds_tree_order_statistics.svg

   1 <?xml version="1.0" ?>
   2 <!--Created by PyChart 1.39 Copyright 1999-2006 Yasushi Saito-->
   3 <svg viewBox="178 -544 620 476" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
   4   <defs>
   5     <clipPath id="clip0">
   6       <path d="M 294 -294 L 294 -526 L 786 -526 L 786 -294 Z"/>
   7     </clipPath>
   8     <clipPath id="clip1">
   9       <path d="M 294 -294 L 294 -526 L 786 -526 L 786 -294 Z"/>
  10     </clipPath>
  11     <clipPath id="clip2">
  12       <path d="M 280 -280 L 280 -540 L 800 -540 L 800 -280 Z"/>
  13     </clipPath>
  14     <clipPath id="clip3">
  15       <path d="M 343.6363636363636 -316.5437748370624 L 337.3863636363636 -326.5437748370624 L 349.8863636363636 -326.5437748370624 Z"/>
  16     </clipPath>
  17     <clipPath id="clip4">
  18       <path d="M 387.27272727272725 -338.0876439598728 L 381.02272727272725 -348.0876439598728 L 393.52272727272725 -348.0876439598728 Z"/>
  19     </clipPath>
  20     <clipPath id="clip5">
  21       <path d="M 430.9090909090909 -358.43497979820705 L 424.6590909090909 -368.4349797982071 L 437.1590909090909 -368.4349797982071 Z"/>
  22     </clipPath>
  23     <clipPath id="clip6">
  24       <path d="M 474.5454545454545 -380.3337876192099 L 468.2954545454545 -390.3337876192099 L 480.7954545454545 -390.3337876192099 Z"/>
  25     </clipPath>
  26     <clipPath id="clip7">
  27       <path d="M 518.1818181818182 -400.28583045922517 L 511.9318181818182 -410.28583045922517 L 524.4318181818182 -410.28583045922517 Z"/>
  28     </clipPath>
  29     <clipPath id="clip8">
  30       <path d="M 561.8181818181818 -425.62512522325903 L 555.5681818181818 -435.62512522325903 L 568.0681818181818 -435.62512522325903 Z"/>
  31     </clipPath>
  32     <clipPath id="clip9">
  33       <path d="M 605.4545454545455 -445.8291467246953 L 599.2045454545455 -455.8291467246953 L 611.7045454545455 -455.8291467246953 Z"/>
  34     </clipPath>
  35     <clipPath id="clip10">
  36       <path d="M 649.090909090909 -466.8751399554071 L 642.840909090909 -476.8751399554071 L 655.340909090909 -476.8751399554071 Z"/>
  37     </clipPath>
  38     <clipPath id="clip11">
  39       <path d="M 692.7272727272727 -491.4285630102011 L 686.4772727272727 -501.4285630102011 L 698.9772727272727 -501.4285630102011 Z"/>
  40     </clipPath>
  41     <clipPath id="clip12">
  42       <path d="M 736.3636363636364 -515.0 L 730.1136363636364 -525.0 L 742.6136363636364 -525.0 Z"/>
  43     </clipPath>
  44     <clipPath id="clip13">
  45       <path d="M 294 -294 L 294 -526 L 786 -526 L 786 -294 Z"/>
  46     </clipPath>
  47     <clipPath id="clip14">
  48       <path d="M 280 -280 L 280 -540 L 800 -540 L 800 -280 Z"/>
  49     </clipPath>
  50     <clipPath id="clip15">
  51       <path d="M 337.3863636363636 -298.6778984563923 L 349.8863636363636 -298.6778984563923 L 343.6363636363636 -308.6778984563923 Z"/>
  52     </clipPath>
  53     <clipPath id="clip16">
  54       <path d="M 381.02272727272725 -301.9311810468504 L 393.52272727272725 -301.9311810468504 L 387.27272727272725 -311.9311810468504 Z"/>
  55     </clipPath>
  56     <clipPath id="clip17">
  57       <path d="M 424.6590909090909 -305.13826362080846 L 437.1590909090909 -305.13826362080846 L 430.9090909090909 -315.13826362080846 Z"/>
  58     </clipPath>
  59     <clipPath id="clip18">
  60       <path d="M 468.2954545454545 -311.8510788753853 L 480.7954545454545 -311.8510788753853 L 474.5454545454545 -321.8510788753853 Z"/>
  61     </clipPath>
  62     <clipPath id="clip19">
  63       <path d="M 511.9318181818182 -321.61804522073044 L 524.4318181818182 -321.61804522073044 L 518.1818181818182 -331.61804522073044 Z"/>
  64     </clipPath>
  65     <clipPath id="clip20">
  66       <path d="M 555.5681818181818 -330.3767197773999 L 568.0681818181818 -330.3767197773999 L 561.8181818181818 -340.3767197773999 Z"/>
  67     </clipPath>
  68     <clipPath id="clip21">
  69       <path d="M 599.2045454545455 -338.877522813401 L 611.7045454545455 -338.877522813401 L 605.4545454545455 -348.877522813401 Z"/>
  70     </clipPath>
  71     <clipPath id="clip22">
  72       <path d="M 642.840909090909 -347.380918707471 L 655.340909090909 -347.380918707471 L 649.090909090909 -357.380918707471 Z"/>
  73     </clipPath>
  74     <clipPath id="clip23">
  75       <path d="M 686.4772727272727 -355.23822151365056 L 698.9772727272727 -355.23822151365056 L 692.7272727272727 -365.23822151365056 Z"/>
  76     </clipPath>
  77     <clipPath id="clip24">
  78       <path d="M 730.1136363636364 -361.2946665338095 L 742.6136363636364 -361.2946665338095 L 736.3636363636364 -371.2946665338095 Z"/>
  79     </clipPath>
  80     <clipPath id="clip25">
  81       <path d="M 294 -294 L 294 -526 L 786 -526 L 786 -294 Z"/>
  82     </clipPath>
  83     <clipPath id="clip26">
  84       <path d="M 280 -280 L 280 -540 L 800 -540 L 800 -280 Z"/>
  85     </clipPath>
  86     <clipPath id="clip27">
  87       <path d="M 343.6363636363636 -296.12794983141066 L 337.3863636363636 -306.12794983141066 L 349.8863636363636 -306.12794983141066 Z"/>
  88     </clipPath>
  89     <clipPath id="clip28">
  90       <path d="M 387.27272727272725 -296.14112626468795 L 381.02272727272725 -306.14112626468795 L 393.52272727272725 -306.14112626468795 Z"/>
  91     </clipPath>
  92     <clipPath id="clip29">
  93       <path d="M 430.9090909090909 -296.2265114380398 L 424.6590909090909 -306.2265114380398 L 437.1590909090909 -306.2265114380398 Z"/>
  94     </clipPath>
  95     <clipPath id="clip30">
  96       <path d="M 474.5454545454545 -296.28001388571926 L 468.2954545454545 -306.28001388571926 L 480.7954545454545 -306.28001388571926 Z"/>
  97     </clipPath>
  98     <clipPath id="clip31">
  99       <path d="M 518.1818181818182 -296.303632465583 L 511.9318181818182 -306.303632465583 L 524.4318181818182 -306.303632465583 Z"/>
 100     </clipPath>
 101     <clipPath id="clip32">
 102       <path d="M 561.8181818181818 -296.326145545052 L 555.5681818181818 -306.326145545052 L 568.0681818181818 -306.326145545052 Z"/>
 103     </clipPath>
 104     <clipPath id="clip33">
 105       <path d="M 605.4545454545455 -296.31326611188075 L 599.2045454545455 -306.31326611188075 L 611.7045454545455 -306.31326611188075 Z"/>
 106     </clipPath>
 107     <clipPath id="clip34">
 108       <path d="M 649.090909090909 -296.34661733807764 L 642.840909090909 -306.34661733807764 L 655.340909090909 -306.34661733807764 Z"/>
 109     </clipPath>
 110     <clipPath id="clip35">
 111       <path d="M 692.7272727272727 -296.33220104721465 L 686.4772727272727 -306.33220104721465 L 698.9772727272727 -306.33220104721465 Z"/>
 112     </clipPath>
 113     <clipPath id="clip36">
 114       <path d="M 736.3636363636364 -296.33794069212166 L 730.1136363636364 -306.33794069212166 L 742.6136363636364 -306.33794069212166 Z"/>
 115     </clipPath>
 116     <clipPath id="clip37">
 117       <path d="M 290 -74 L 290 -136 L 464.736 -136 L 464.736 -74 Z"/>
 118     </clipPath>
 119     <clipPath id="clip38">
 120       <path d="M 308.0 -120.33333333333334 L 301.75 -130.33333333333334 L 314.25 -130.33333333333334 Z"/>
 121     </clipPath>
 122     <clipPath id="clip39">
 123       <path d="M 301.75 -100.33333333333334 L 314.25 -100.33333333333334 L 308.0 -110.33333333333334 Z"/>
 124     </clipPath>
 125     <clipPath id="clip40">
 126       <path d="M 308.0 -80.33333333333334 L 301.75 -90.33333333333334 L 314.25 -90.33333333333334 Z"/>
 127     </clipPath>
 128   </defs>
 129   <g style="stroke-linejoin:miter;font-size:8;font-family:Helvetica;fill:none;stroke-linecap:butt;stroke:rgb(0,0,0);font-stretch:normal;stroke-dasharray:none;font-weight:normal;font-style:normal;stroke-width:0.5;">
 130     <path d="M 300 -300 L 780 -300"/>
 131     <path d="M 300 -300 L 780 -300"/>
 132     <path d="M 300.0 -300 L 300.0 -288"/>
 133     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,300,-288)" x="300.0" y="-288.0">
 134       0
 135     </text>
 136     <path d="M 343.6363636363636 -300 L 343.6363636363636 -288"/>
 137     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,343.636,-288)" x="343.6363636363636" y="-288.0">
 138       200
 139     </text>
 140     <path d="M 387.27272727272725 -300 L 387.27272727272725 -288"/>
 141     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,387.273,-288)" x="387.27272727272725" y="-288.0">
 142       400
 143     </text>
 144     <path d="M 430.9090909090909 -300 L 430.9090909090909 -288"/>
 145     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,430.909,-288)" x="430.9090909090909" y="-288.0">
 146       600
 147     </text>
 148     <path d="M 474.5454545454545 -300 L 474.5454545454545 -288"/>
 149     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,474.545,-288)" x="474.5454545454545" y="-288.0">
 150       800
 151     </text>
 152     <path d="M 518.1818181818182 -300 L 518.1818181818182 -288"/>
 153     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,518.182,-288)" x="518.1818181818182" y="-288.0">
 154       1000
 155     </text>
 156     <path d="M 561.8181818181818 -300 L 561.8181818181818 -288"/>
 157     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,561.818,-288)" x="561.8181818181818" y="-288.0">
 158       1200
 159     </text>
 160     <path d="M 605.4545454545455 -300 L 605.4545454545455 -288"/>
 161     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,605.455,-288)" x="605.4545454545455" y="-288.0">
 162       1400
 163     </text>
 164     <path d="M 649.090909090909 -300 L 649.090909090909 -288"/>
 165     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,649.091,-288)" x="649.090909090909" y="-288.0">
 166       1600
 167     </text>
 168     <path d="M 692.7272727272727 -300 L 692.7272727272727 -288"/>
 169     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,692.727,-288)" x="692.7272727272727" y="-288.0">
 170       1800
 171     </text>
 172     <path d="M 736.3636363636364 -300 L 736.3636363636364 -288"/>
 173     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,736.364,-288)" x="736.3636363636364" y="-288.0">
 174       2000
 175     </text>
 176     <path d="M 780.0 -300 L 780.0 -288"/>
 177     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" transform="rotate(90,780,-288)" x="780.0" y="-288.0">
 178       2200
 179     </text>
 180     <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" x="524.44" y="-220.0">
 181       Size
 182     </text>
 183     <path d="M 300 -300 L 300 -520"/>
 184     <path d="M 300 -300.0 L 288 -300.0"/>
 185     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-294.0">
 186       0.00e+00
 187     </text>
 188     <path d="M 300 -344.0 L 288 -344.0"/>
 189     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-338.0">
 190       1.87e-06
 191     </text>
 192     <path d="M 300 -388.0 L 288 -388.0"/>
 193     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-382.0">
 194       3.73e-06
 195     </text>
 196     <path d="M 300 -432.0 L 288 -432.0"/>
 197     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-426.0">
 198       5.60e-06
 199     </text>
 200     <path d="M 300 -476.0 L 288 -476.0"/>
 201     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-470.0">
 202       7.47e-06
 203     </text>
 204     <path d="M 300 -520.0 L 288 -520.0"/>
 205     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-514.0">
 206       9.33e-06
 207     </text>
 208     <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" transform="rotate(-90,200,-340.648)" x="200.0" y="-340.648">
 209       Average time (sec.)
 210     </text>
 211     <g style="clip-path:url(#clip0);">
 212       <g style="clip-path:url(#clip1);">
 213         <path d="M 343.6363636363636 -321.5437748370624 L 387.27272727272725 -343.0876439598728 L 430.9090909090909 -363.43497979820705 L 474.5454545454545 -385.3337876192099 L 518.1818181818182 -405.28583045922517 L 561.8181818181818 -430.62512522325903 L 605.4545454545455 -450.8291467246953 L 649.090909090909 -471.8751399554071 L 692.7272727272727 -496.4285630102011 L 736.3636363636364 -520.0" style="stroke:rgb(126,126,126);stroke-width:0.4;stroke-dasharray:1.5,1.5;"/>
 214       </g>
 215       <g style="clip-path:url(#clip2);">
 216         <g style="fill:rgb(0,0,0);clip-path:url(#clip3);">
 217           <path d="M 337.3863636363636 -316.5437748370624 L 337.3863636363636 -326.5437748370624 L 349.8863636363636 -326.5437748370624 L 349.8863636363636 -316.5437748370624 Z" style="stroke:none;"/>
 218         </g>
 219         <g>
 220           <path d="M 343.6363636363636 -316.5437748370624 L 337.3863636363636 -326.5437748370624 L 349.8863636363636 -326.5437748370624 Z"/>
 221           <g style="fill:rgb(0,0,0);clip-path:url(#clip4);">
 222             <path d="M 381.02272727272725 -338.0876439598728 L 381.02272727272725 -348.0876439598728 L 393.52272727272725 -348.0876439598728 L 393.52272727272725 -338.0876439598728 Z" style="stroke:none;"/>
 223           </g>
 224           <g>
 225             <path d="M 387.27272727272725 -338.0876439598728 L 381.02272727272725 -348.0876439598728 L 393.52272727272725 -348.0876439598728 Z"/>
 226             <g style="fill:rgb(0,0,0);clip-path:url(#clip5);">
 227               <path d="M 424.6590909090909 -358.43497979820705 L 424.6590909090909 -368.4349797982071 L 437.1590909090909 -368.4349797982071 L 437.1590909090909 -358.43497979820705 Z" style="stroke:none;"/>
 228             </g>
 229             <g>
 230               <path d="M 430.9090909090909 -358.43497979820705 L 424.6590909090909 -368.4349797982071 L 437.1590909090909 -368.4349797982071 Z"/>
 231               <g style="fill:rgb(0,0,0);clip-path:url(#clip6);">
 232                 <path d="M 468.2954545454545 -380.3337876192099 L 468.2954545454545 -390.3337876192099 L 480.7954545454545 -390.3337876192099 L 480.7954545454545 -380.3337876192099 Z" style="stroke:none;"/>
 233               </g>
 234               <g>
 235                 <path d="M 474.5454545454545 -380.3337876192099 L 468.2954545454545 -390.3337876192099 L 480.7954545454545 -390.3337876192099 Z"/>
 236                 <g style="fill:rgb(0,0,0);clip-path:url(#clip7);">
 237                   <path d="M 511.9318181818182 -400.28583045922517 L 511.9318181818182 -410.28583045922517 L 524.4318181818182 -410.28583045922517 L 524.4318181818182 -400.28583045922517 Z" style="stroke:none;"/>
 238                 </g>
 239                 <g>
 240                   <path d="M 518.1818181818182 -400.28583045922517 L 511.9318181818182 -410.28583045922517 L 524.4318181818182 -410.28583045922517 Z"/>
 241                   <g style="fill:rgb(0,0,0);clip-path:url(#clip8);">
 242                     <path d="M 555.5681818181818 -425.62512522325903 L 555.5681818181818 -435.62512522325903 L 568.0681818181818 -435.62512522325903 L 568.0681818181818 -425.62512522325903 Z" style="stroke:none;"/>
 243                   </g>
 244                   <g>
 245                     <path d="M 561.8181818181818 -425.62512522325903 L 555.5681818181818 -435.62512522325903 L 568.0681818181818 -435.62512522325903 Z"/>
 246                     <g style="fill:rgb(0,0,0);clip-path:url(#clip9);">
 247                       <path d="M 599.2045454545455 -445.8291467246953 L 599.2045454545455 -455.8291467246953 L 611.7045454545455 -455.8291467246953 L 611.7045454545455 -445.8291467246953 Z" style="stroke:none;"/>
 248                     </g>
 249                     <g>
 250                       <path d="M 605.4545454545455 -445.8291467246953 L 599.2045454545455 -455.8291467246953 L 611.7045454545455 -455.8291467246953 Z"/>
 251                       <g style="fill:rgb(0,0,0);clip-path:url(#clip10);">
 252                         <path d="M 642.840909090909 -466.8751399554071 L 642.840909090909 -476.8751399554071 L 655.340909090909 -476.8751399554071 L 655.340909090909 -466.8751399554071 Z" style="stroke:none;"/>
 253                       </g>
 254                       <g>
 255                         <path d="M 649.090909090909 -466.8751399554071 L 642.840909090909 -476.8751399554071 L 655.340909090909 -476.8751399554071 Z"/>
 256                         <g style="fill:rgb(0,0,0);clip-path:url(#clip11);">
 257                           <path d="M 686.4772727272727 -491.4285630102011 L 686.4772727272727 -501.4285630102011 L 698.9772727272727 -501.4285630102011 L 698.9772727272727 -491.4285630102011 Z" style="stroke:none;"/>
 258                         </g>
 259                         <g>
 260                           <path d="M 692.7272727272727 -491.4285630102011 L 686.4772727272727 -501.4285630102011 L 698.9772727272727 -501.4285630102011 Z"/>
 261                           <g style="fill:rgb(0,0,0);clip-path:url(#clip12);">
 262                             <path d="M 730.1136363636364 -515.0 L 730.1136363636364 -525.0 L 742.6136363636364 -525.0 L 742.6136363636364 -515.0 Z" style="stroke:none;"/>
 263                           </g>
 264                           <g>
 265                             <path d="M 736.3636363636364 -515.0 L 730.1136363636364 -525.0 L 742.6136363636364 -525.0 Z"/>
 266                           </g>
 267                         </g>
 268                       </g>
 269                     </g>
 270                   </g>
 271                 </g>
 272               </g>
 273             </g>
 274           </g>
 275         </g>
 276       </g>
 277       <g style="clip-path:url(#clip13);">
 278         <path d="M 343.6363636363636 -303.6778984563923 L 387.27272727272725 -306.9311810468504 L 430.9090909090909 -310.13826362080846 L 474.5454545454545 -316.8510788753853 L 518.1818181818182 -326.61804522073044 L 561.8181818181818 -335.3767197773999 L 605.4545454545455 -343.877522813401 L 649.090909090909 -352.380918707471 L 692.7272727272727 -360.23822151365056 L 736.3636363636364 -366.2946665338095" style="stroke:rgb(147,147,147);stroke-width:2;"/>
 279       </g>
 280       <g style="clip-path:url(#clip14);">
 281         <g style="fill:rgb(255,255,255);clip-path:url(#clip15);">
 282           <path d="M 337.3863636363636 -298.6778984563923 L 337.3863636363636 -308.6778984563923 L 349.8863636363636 -308.6778984563923 L 349.8863636363636 -298.6778984563923 Z" style="stroke:none;"/>
 283         </g>
 284         <g>
 285           <path d="M 337.3863636363636 -298.6778984563923 L 349.8863636363636 -298.6778984563923 L 343.6363636363636 -308.6778984563923 Z"/>
 286           <g style="fill:rgb(255,255,255);clip-path:url(#clip16);">
 287             <path d="M 381.02272727272725 -301.9311810468504 L 381.02272727272725 -311.9311810468504 L 393.52272727272725 -311.9311810468504 L 393.52272727272725 -301.9311810468504 Z" style="stroke:none;"/>
 288           </g>
 289           <g>
 290             <path d="M 381.02272727272725 -301.9311810468504 L 393.52272727272725 -301.9311810468504 L 387.27272727272725 -311.9311810468504 Z"/>
 291             <g style="fill:rgb(255,255,255);clip-path:url(#clip17);">
 292               <path d="M 424.6590909090909 -305.13826362080846 L 424.6590909090909 -315.13826362080846 L 437.1590909090909 -315.13826362080846 L 437.1590909090909 -305.13826362080846 Z" style="stroke:none;"/>
 293             </g>
 294             <g>
 295               <path d="M 424.6590909090909 -305.13826362080846 L 437.1590909090909 -305.13826362080846 L 430.9090909090909 -315.13826362080846 Z"/>
 296               <g style="fill:rgb(255,255,255);clip-path:url(#clip18);">
 297                 <path d="M 468.2954545454545 -311.8510788753853 L 468.2954545454545 -321.8510788753853 L 480.7954545454545 -321.8510788753853 L 480.7954545454545 -311.8510788753853 Z" style="stroke:none;"/>
 298               </g>
 299               <g>
 300                 <path d="M 468.2954545454545 -311.8510788753853 L 480.7954545454545 -311.8510788753853 L 474.5454545454545 -321.8510788753853 Z"/>
 301                 <g style="fill:rgb(255,255,255);clip-path:url(#clip19);">
 302                   <path d="M 511.9318181818182 -321.61804522073044 L 511.9318181818182 -331.61804522073044 L 524.4318181818182 -331.61804522073044 L 524.4318181818182 -321.61804522073044 Z" style="stroke:none;"/>
 303                 </g>
 304                 <g>
 305                   <path d="M 511.9318181818182 -321.61804522073044 L 524.4318181818182 -321.61804522073044 L 518.1818181818182 -331.61804522073044 Z"/>
 306                   <g style="fill:rgb(255,255,255);clip-path:url(#clip20);">
 307                     <path d="M 555.5681818181818 -330.3767197773999 L 555.5681818181818 -340.3767197773999 L 568.0681818181818 -340.3767197773999 L 568.0681818181818 -330.3767197773999 Z" style="stroke:none;"/>
 308                   </g>
 309                   <g>
 310                     <path d="M 555.5681818181818 -330.3767197773999 L 568.0681818181818 -330.3767197773999 L 561.8181818181818 -340.3767197773999 Z"/>
 311                     <g style="fill:rgb(255,255,255);clip-path:url(#clip21);">
 312                       <path d="M 599.2045454545455 -338.877522813401 L 599.2045454545455 -348.877522813401 L 611.7045454545455 -348.877522813401 L 611.7045454545455 -338.877522813401 Z" style="stroke:none;"/>
 313                     </g>
 314                     <g>
 315                       <path d="M 599.2045454545455 -338.877522813401 L 611.7045454545455 -338.877522813401 L 605.4545454545455 -348.877522813401 Z"/>
 316                       <g style="fill:rgb(255,255,255);clip-path:url(#clip22);">
 317                         <path d="M 642.840909090909 -347.380918707471 L 642.840909090909 -357.380918707471 L 655.340909090909 -357.380918707471 L 655.340909090909 -347.380918707471 Z" style="stroke:none;"/>
 318                       </g>
 319                       <g>
 320                         <path d="M 642.840909090909 -347.380918707471 L 655.340909090909 -347.380918707471 L 649.090909090909 -357.380918707471 Z"/>
 321                         <g style="fill:rgb(255,255,255);clip-path:url(#clip23);">
 322                           <path d="M 686.4772727272727 -355.23822151365056 L 686.4772727272727 -365.23822151365056 L 698.9772727272727 -365.23822151365056 L 698.9772727272727 -355.23822151365056 Z" style="stroke:none;"/>
 323                         </g>
 324                         <g>
 325                           <path d="M 686.4772727272727 -355.23822151365056 L 698.9772727272727 -355.23822151365056 L 692.7272727272727 -365.23822151365056 Z"/>
 326                           <g style="fill:rgb(255,255,255);clip-path:url(#clip24);">
 327                             <path d="M 730.1136363636364 -361.2946665338095 L 730.1136363636364 -371.2946665338095 L 742.6136363636364 -371.2946665338095 L 742.6136363636364 -361.2946665338095 Z" style="stroke:none;"/>
 328                           </g>
 329                           <g>
 330                             <path d="M 730.1136363636364 -361.2946665338095 L 742.6136363636364 -361.2946665338095 L 736.3636363636364 -371.2946665338095 Z"/>
 331                           </g>
 332                         </g>
 333                       </g>
 334                     </g>
 335                   </g>
 336                 </g>
 337               </g>
 338             </g>
 339           </g>
 340         </g>
 341       </g>
 342       <g style="clip-path:url(#clip25);">
 343         <path d="M 343.6363636363636 -301.12794983141066 L 387.27272727272725 -301.14112626468795 L 430.9090909090909 -301.2265114380398 L 474.5454545454545 -301.28001388571926 L 518.1818181818182 -301.303632465583 L 561.8181818181818 -301.326145545052 L 605.4545454545455 -301.31326611188075 L 649.090909090909 -301.34661733807764 L 692.7272727272727 -301.33220104721465 L 736.3636363636364 -301.33794069212166" style="stroke:rgb(205,0,0);stroke-width:2;"/>
 344       </g>
 345       <g style="clip-path:url(#clip26);">
 346         <g style="fill:rgb(255,255,255);clip-path:url(#clip27);">
 347           <path d="M 337.3863636363636 -296.12794983141066 L 337.3863636363636 -306.12794983141066 L 349.8863636363636 -306.12794983141066 L 349.8863636363636 -296.12794983141066 Z" style="stroke:none;"/>
 348         </g>
 349         <g>
 350           <path d="M 343.6363636363636 -296.12794983141066 L 337.3863636363636 -306.12794983141066 L 349.8863636363636 -306.12794983141066 Z"/>
 351           <g style="fill:rgb(255,255,255);clip-path:url(#clip28);">
 352             <path d="M 381.02272727272725 -296.14112626468795 L 381.02272727272725 -306.14112626468795 L 393.52272727272725 -306.14112626468795 L 393.52272727272725 -296.14112626468795 Z" style="stroke:none;"/>
 353           </g>
 354           <g>
 355             <path d="M 387.27272727272725 -296.14112626468795 L 381.02272727272725 -306.14112626468795 L 393.52272727272725 -306.14112626468795 Z"/>
 356             <g style="fill:rgb(255,255,255);clip-path:url(#clip29);">
 357               <path d="M 424.6590909090909 -296.2265114380398 L 424.6590909090909 -306.2265114380398 L 437.1590909090909 -306.2265114380398 L 437.1590909090909 -296.2265114380398 Z" style="stroke:none;"/>
 358             </g>
 359             <g>
 360               <path d="M 430.9090909090909 -296.2265114380398 L 424.6590909090909 -306.2265114380398 L 437.1590909090909 -306.2265114380398 Z"/>
 361               <g style="fill:rgb(255,255,255);clip-path:url(#clip30);">
 362                 <path d="M 468.2954545454545 -296.28001388571926 L 468.2954545454545 -306.28001388571926 L 480.7954545454545 -306.28001388571926 L 480.7954545454545 -296.28001388571926 Z" style="stroke:none;"/>
 363               </g>
 364               <g>
 365                 <path d="M 474.5454545454545 -296.28001388571926 L 468.2954545454545 -306.28001388571926 L 480.7954545454545 -306.28001388571926 Z"/>
 366                 <g style="fill:rgb(255,255,255);clip-path:url(#clip31);">
 367                   <path d="M 511.9318181818182 -296.303632465583 L 511.9318181818182 -306.303632465583 L 524.4318181818182 -306.303632465583 L 524.4318181818182 -296.303632465583 Z" style="stroke:none;"/>
 368                 </g>
 369                 <g>
 370                   <path d="M 518.1818181818182 -296.303632465583 L 511.9318181818182 -306.303632465583 L 524.4318181818182 -306.303632465583 Z"/>
 371                   <g style="fill:rgb(255,255,255);clip-path:url(#clip32);">
 372                     <path d="M 555.5681818181818 -296.326145545052 L 555.5681818181818 -306.326145545052 L 568.0681818181818 -306.326145545052 L 568.0681818181818 -296.326145545052 Z" style="stroke:none;"/>
 373                   </g>
 374                   <g>
 375                     <path d="M 561.8181818181818 -296.326145545052 L 555.5681818181818 -306.326145545052 L 568.0681818181818 -306.326145545052 Z"/>
 376                     <g style="fill:rgb(255,255,255);clip-path:url(#clip33);">
 377                       <path d="M 599.2045454545455 -296.31326611188075 L 599.2045454545455 -306.31326611188075 L 611.7045454545455 -306.31326611188075 L 611.7045454545455 -296.31326611188075 Z" style="stroke:none;"/>
 378                     </g>
 379                     <g>
 380                       <path d="M 605.4545454545455 -296.31326611188075 L 599.2045454545455 -306.31326611188075 L 611.7045454545455 -306.31326611188075 Z"/>
 381                       <g style="fill:rgb(255,255,255);clip-path:url(#clip34);">
 382                         <path d="M 642.840909090909 -296.34661733807764 L 642.840909090909 -306.34661733807764 L 655.340909090909 -306.34661733807764 L 655.340909090909 -296.34661733807764 Z" style="stroke:none;"/>
 383                       </g>
 384                       <g>
 385                         <path d="M 649.090909090909 -296.34661733807764 L 642.840909090909 -306.34661733807764 L 655.340909090909 -306.34661733807764 Z"/>
 386                         <g style="fill:rgb(255,255,255);clip-path:url(#clip35);">
 387                           <path d="M 686.4772727272727 -296.33220104721465 L 686.4772727272727 -306.33220104721465 L 698.9772727272727 -306.33220104721465 L 698.9772727272727 -296.33220104721465 Z" style="stroke:none;"/>
 388                         </g>
 389                         <g>
 390                           <path d="M 692.7272727272727 -296.33220104721465 L 686.4772727272727 -306.33220104721465 L 698.9772727272727 -306.33220104721465 Z"/>
 391                           <g style="fill:rgb(255,255,255);clip-path:url(#clip36);">
 392                             <path d="M 730.1136363636364 -296.33794069212166 L 730.1136363636364 -306.33794069212166 L 742.6136363636364 -306.33794069212166 L 742.6136363636364 -296.33794069212166 Z" style="stroke:none;"/>
 393                           </g>
 394                           <g>
 395                             <path d="M 736.3636363636364 -296.33794069212166 L 730.1136363636364 -306.33794069212166 L 742.6136363636364 -306.33794069212166 Z"/>
 396                           </g>
 397                         </g>
 398                       </g>
 399                     </g>
 400                   </g>
 401                 </g>
 402               </g>
 403             </g>
 404           </g>
 405         </g>
 406       </g>
 407     </g>
 408     <g style="fill:rgb(255,255,255);clip-path:url(#clip37);">
 409       <path d="M 290 -74 L 290 -136 L 464.736 -136 L 464.736 -74 Z" style="stroke:none;"/>
 410     </g>
 411     <path d="M 300 -125.33333333333334 L 316 -125.33333333333334" style="stroke:rgb(126,126,126);stroke-width:0.4;stroke-dasharray:1.5,1.5;"/>
 412     <g style="fill:rgb(0,0,0);clip-path:url(#clip38);">
 413       <path d="M 301.75 -120.33333333333334 L 301.75 -130.33333333333334 L 314.25 -130.33333333333334 L 314.25 -120.33333333333334 Z" style="stroke:none;"/>
 414     </g>
 415     <g>
 416       <path d="M 308.0 -120.33333333333334 L 301.75 -130.33333333333334 L 314.25 -130.33333333333334 Z"/>
 417       <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" x="316.0" y="-120.0">
 418         n_set
 419       </text>
 420       <path d="M 300 -105.33333333333334 L 316 -105.33333333333334" style="stroke:rgb(147,147,147);stroke-width:2;"/>
 421       <g style="fill:rgb(255,255,255);clip-path:url(#clip39);">
 422         <path d="M 301.75 -100.33333333333334 L 301.75 -110.33333333333334 L 314.25 -110.33333333333334 L 314.25 -100.33333333333334 Z" style="stroke:none;"/>
 423       </g>
 424       <g>
 425         <path d="M 301.75 -100.33333333333334 L 314.25 -100.33333333333334 L 308.0 -110.33333333333334 Z"/>
 426         <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" x="316.0" y="-100.0">
 427           splay_tree_ost_set
 428         </text>
 429         <path d="M 300 -85.33333333333334 L 316 -85.33333333333334" style="stroke:rgb(205,0,0);stroke-width:2;"/>
 430         <g style="fill:rgb(255,255,255);clip-path:url(#clip40);">
 431           <path d="M 301.75 -80.33333333333334 L 301.75 -90.33333333333334 L 314.25 -90.33333333333334 L 314.25 -80.33333333333334 Z" style="stroke:none;"/>
 432         </g>
 433         <g>
 434           <path d="M 308.0 -80.33333333333334 L 301.75 -90.33333333333334 L 314.25 -90.33333333333334 Z"/>
 435           <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" x="316.0" y="-80.0">
 436             rb_tree_ost_set
 437           </text>
 438         </g>
 439       </g>
 440     </g>
 441   </g>
 442 </svg>