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

   1 <?xml version="1.0" ?>
   2 <!--Created by PyChart 1.39 Copyright 1999-2006 Yasushi Saito-->
   3 <svg viewBox="178 -544 620 496" 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 -315.8178001679261 L 337.3863636363636 -325.8178001679261 L 349.8863636363636 -325.8178001679261 Z"/>
  16     </clipPath>
  17     <clipPath id="clip4">
  18       <path d="M 387.27272727272725 -337.6809403862301 L 381.02272727272725 -347.6809403862301 L 393.52272727272725 -347.6809403862301 Z"/>
  19     </clipPath>
  20     <clipPath id="clip5">
  21       <path d="M 430.9090909090909 -360.25188916876573 L 424.6590909090909 -370.25188916876573 L 437.1590909090909 -370.25188916876573 Z"/>
  22     </clipPath>
  23     <clipPath id="clip6">
  24       <path d="M 474.5454545454545 -383.1842522623379 L 468.2954545454545 -393.1842522623379 L 480.7954545454545 -393.1842522623379 Z"/>
  25     </clipPath>
  26     <clipPath id="clip7">
  27       <path d="M 518.1818181818182 -406.11017818826383 L 511.9318181818182 -416.11017818826383 L 524.4318181818182 -416.11017818826383 Z"/>
  28     </clipPath>
  29     <clipPath id="clip8">
  30       <path d="M 561.8181818181818 -429.3082377087415 L 555.5681818181818 -439.3082377087415 L 568.0681818181818 -439.3082377087415 Z"/>
  31     </clipPath>
  32     <clipPath id="clip9">
  33       <path d="M 605.4545454545455 -447.03843642130795 L 599.2045454545455 -457.03843642130795 L 611.7045454545455 -457.03843642130795 Z"/>
  34     </clipPath>
  35     <clipPath id="clip10">
  36       <path d="M 649.090909090909 -470.81957272133593 L 642.840909090909 -480.81957272133593 L 655.340909090909 -480.81957272133593 Z"/>
  37     </clipPath>
  38     <clipPath id="clip11">
  39       <path d="M 692.7272727272727 -493.63699972012313 L 686.4772727272727 -503.63699972012313 L 698.9772727272727 -503.63699972012313 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 -296.3074167366359 L 349.8863636363636 -296.3074167366359 L 343.6363636363636 -306.3074167366359 Z"/>
  52     </clipPath>
  53     <clipPath id="clip16">
  54       <path d="M 381.02272727272725 -297.5376714245732 L 393.52272727272725 -297.5376714245732 L 387.27272727272725 -307.5376714245732 Z"/>
  55     </clipPath>
  56     <clipPath id="clip17">
  57       <path d="M 424.6590909090909 -298.76567776844854 L 437.1590909090909 -298.76567776844854 L 430.9090909090909 -308.76567776844854 Z"/>
  58     </clipPath>
  59     <clipPath id="clip18">
  60       <path d="M 468.2954545454545 -300.2796995988432 L 480.7954545454545 -300.2796995988432 L 474.5454545454545 -310.2796995988432 Z"/>
  61     </clipPath>
  62     <clipPath id="clip19">
  63       <path d="M 511.9318181818182 -302.20873215785053 L 524.4318181818182 -302.20873215785053 L 518.1818181818182 -312.20873215785053 Z"/>
  64     </clipPath>
  65     <clipPath id="clip20">
  66       <path d="M 555.5681818181818 -303.84382871536525 L 568.0681818181818 -303.84382871536525 L 561.8181818181818 -313.84382871536525 Z"/>
  67     </clipPath>
  68     <clipPath id="clip21">
  69       <path d="M 599.2045454545455 -305.666200205243 L 611.7045454545455 -305.666200205243 L 605.4545454545455 -315.666200205243 Z"/>
  70     </clipPath>
  71     <clipPath id="clip22">
  72       <path d="M 642.840909090909 -307.39901110178187 L 655.340909090909 -307.39901110178187 L 649.090909090909 -317.39901110178187 Z"/>
  73     </clipPath>
  74     <clipPath id="clip23">
  75       <path d="M 686.4772727272727 -309.03106633081444 L 698.9772727272727 -309.03106633081444 L 692.7272727272727 -319.03106633081444 Z"/>
  76     </clipPath>
  77     <clipPath id="clip24">
  78       <path d="M 730.1136363636364 -310.728985912865 L 742.6136363636364 -310.728985912865 L 736.3636363636364 -320.728985912865 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.1829088534378 L 337.3863636363636 -306.1829088534378 L 349.8863636363636 -306.1829088534378 Z"/>
  88     </clipPath>
  89     <clipPath id="clip28">
  90       <path d="M 387.27272727272725 -297.31474018098703 L 381.02272727272725 -307.31474018098703 L 393.52272727272725 -307.31474018098703 Z"/>
  91     </clipPath>
  92     <clipPath id="clip29">
  93       <path d="M 430.9090909090909 -298.5415430543894 L 424.6590909090909 -308.5415430543894 L 437.1590909090909 -308.5415430543894 Z"/>
  94     </clipPath>
  95     <clipPath id="clip30">
  96       <path d="M 474.5454545454545 -300.2289206082657 L 468.2954545454545 -310.2289206082657 L 480.7954545454545 -310.2289206082657 Z"/>
  97     </clipPath>
  98     <clipPath id="clip31">
  99       <path d="M 518.1818181818182 -301.5996268308611 L 511.9318181818182 -311.5996268308611 L 524.4318181818182 -311.5996268308611 Z"/>
 100     </clipPath>
 101     <clipPath id="clip32">
 102       <path d="M 561.8181818181818 -303.0672357496035 L 555.5681818181818 -313.0672357496035 L 568.0681818181818 -313.0672357496035 Z"/>
 103     </clipPath>
 104     <clipPath id="clip33">
 105       <path d="M 605.4545454545455 -304.12840750069967 L 599.2045454545455 -314.12840750069967 L 611.7045454545455 -314.12840750069967 Z"/>
 106     </clipPath>
 107     <clipPath id="clip34">
 108       <path d="M 649.090909090909 -305.51338744285846 L 642.840909090909 -315.51338744285846 L 655.340909090909 -315.51338744285846 Z"/>
 109     </clipPath>
 110     <clipPath id="clip35">
 111       <path d="M 692.7272727272727 -306.60322791305157 L 686.4772727272727 -316.60322791305157 L 698.9772727272727 -316.60322791305157 Z"/>
 112     </clipPath>
 113     <clipPath id="clip36">
 114       <path d="M 736.3636363636364 -308.3463942531953 L 730.1136363636364 -318.3463942531953 L 742.6136363636364 -318.3463942531953 Z"/>
 115     </clipPath>
 116     <clipPath id="clip37">
 117       <path d="M 294 -294 L 294 -526 L 786 -526 L 786 -294 Z"/>
 118     </clipPath>
 119     <clipPath id="clip38">
 120       <path d="M 280 -280 L 280 -540 L 800 -540 L 800 -280 Z"/>
 121     </clipPath>
 122     <clipPath id="clip39">
 123       <path d="M 290 -54 L 290 -136 L 434.496 -136 L 434.496 -54 Z"/>
 124     </clipPath>
 125     <clipPath id="clip40">
 126       <path d="M 308.0 -120.33333333333334 L 301.75 -130.33333333333334 L 314.25 -130.33333333333334 Z"/>
 127     </clipPath>
 128     <clipPath id="clip41">
 129       <path d="M 301.75 -100.33333333333334 L 314.25 -100.33333333333334 L 308.0 -110.33333333333334 Z"/>
 130     </clipPath>
 131     <clipPath id="clip42">
 132       <path d="M 308.0 -80.33333333333334 L 301.75 -90.33333333333334 L 314.25 -90.33333333333334 Z"/>
 133     </clipPath>
 134   </defs>
 135   <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;">
 136     <path d="M 300 -300 L 780 -300"/>
 137     <path d="M 300 -300 L 780 -300"/>
 138     <path d="M 300.0 -300 L 300.0 -288"/>
 139     <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">
 140       0
 141     </text>
 142     <path d="M 343.6363636363636 -300 L 343.6363636363636 -288"/>
 143     <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">
 144       200
 145     </text>
 146     <path d="M 387.27272727272725 -300 L 387.27272727272725 -288"/>
 147     <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">
 148       400
 149     </text>
 150     <path d="M 430.9090909090909 -300 L 430.9090909090909 -288"/>
 151     <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">
 152       600
 153     </text>
 154     <path d="M 474.5454545454545 -300 L 474.5454545454545 -288"/>
 155     <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">
 156       800
 157     </text>
 158     <path d="M 518.1818181818182 -300 L 518.1818181818182 -288"/>
 159     <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">
 160       1000
 161     </text>
 162     <path d="M 561.8181818181818 -300 L 561.8181818181818 -288"/>
 163     <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">
 164       1200
 165     </text>
 166     <path d="M 605.4545454545455 -300 L 605.4545454545455 -288"/>
 167     <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">
 168       1400
 169     </text>
 170     <path d="M 649.090909090909 -300 L 649.090909090909 -288"/>
 171     <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">
 172       1600
 173     </text>
 174     <path d="M 692.7272727272727 -300 L 692.7272727272727 -288"/>
 175     <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">
 176       1800
 177     </text>
 178     <path d="M 736.3636363636364 -300 L 736.3636363636364 -288"/>
 179     <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">
 180       2000
 181     </text>
 182     <path d="M 780.0 -300 L 780.0 -288"/>
 183     <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">
 184       2200
 185     </text>
 186     <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" x="524.44" y="-220.0">
 187       Size
 188     </text>
 189     <path d="M 300 -300 L 300 -520"/>
 190     <path d="M 300 -300.0 L 288 -300.0"/>
 191     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-294.0">
 192       0.00e+00
 193     </text>
 194     <path d="M 300 -344.0 L 288 -344.0"/>
 195     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-338.0">
 196       4.72e-05
 197     </text>
 198     <path d="M 300 -388.0 L 288 -388.0"/>
 199     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-382.0">
 200       9.43e-05
 201     </text>
 202     <path d="M 300 -432.0 L 288 -432.0"/>
 203     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-426.0">
 204       1.41e-04
 205     </text>
 206     <path d="M 300 -476.0 L 288 -476.0"/>
 207     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-470.0">
 208       1.89e-04
 209     </text>
 210     <path d="M 300 -520.0 L 288 -520.0"/>
 211     <text style="font-size:12;font-style:italic;stroke:none;fill:rgb(0,0,0);" x="238.0" y="-514.0">
 212       2.36e-04
 213     </text>
 214     <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" transform="rotate(-90,200,-340.648)" x="200.0" y="-340.648">
 215       Average time (sec.)
 216     </text>
 217     <g style="clip-path:url(#clip0);">
 218       <g style="clip-path:url(#clip1);">
 219         <path d="M 343.6363636363636 -320.8178001679261 L 387.27272727272725 -342.6809403862301 L 430.9090909090909 -365.25188916876573 L 474.5454545454545 -388.1842522623379 L 518.1818181818182 -411.11017818826383 L 561.8181818181818 -434.3082377087415 L 605.4545454545455 -452.03843642130795 L 649.090909090909 -475.81957272133593 L 692.7272727272727 -498.63699972012313 L 736.3636363636364 -520.0" style="stroke:rgb(126,126,126);stroke-width:0.4;stroke-dasharray:1.5,1.5;"/>
 220       </g>
 221       <g style="clip-path:url(#clip2);">
 222         <g style="fill:rgb(0,0,0);clip-path:url(#clip3);">
 223           <path d="M 337.3863636363636 -315.8178001679261 L 337.3863636363636 -325.8178001679261 L 349.8863636363636 -325.8178001679261 L 349.8863636363636 -315.8178001679261 Z" style="stroke:none;"/>
 224         </g>
 225         <g>
 226           <path d="M 343.6363636363636 -315.8178001679261 L 337.3863636363636 -325.8178001679261 L 349.8863636363636 -325.8178001679261 Z"/>
 227           <g style="fill:rgb(0,0,0);clip-path:url(#clip4);">
 228             <path d="M 381.02272727272725 -337.6809403862301 L 381.02272727272725 -347.6809403862301 L 393.52272727272725 -347.6809403862301 L 393.52272727272725 -337.6809403862301 Z" style="stroke:none;"/>
 229           </g>
 230           <g>
 231             <path d="M 387.27272727272725 -337.6809403862301 L 381.02272727272725 -347.6809403862301 L 393.52272727272725 -347.6809403862301 Z"/>
 232             <g style="fill:rgb(0,0,0);clip-path:url(#clip5);">
 233               <path d="M 424.6590909090909 -360.25188916876573 L 424.6590909090909 -370.25188916876573 L 437.1590909090909 -370.25188916876573 L 437.1590909090909 -360.25188916876573 Z" style="stroke:none;"/>
 234             </g>
 235             <g>
 236               <path d="M 430.9090909090909 -360.25188916876573 L 424.6590909090909 -370.25188916876573 L 437.1590909090909 -370.25188916876573 Z"/>
 237               <g style="fill:rgb(0,0,0);clip-path:url(#clip6);">
 238                 <path d="M 468.2954545454545 -383.1842522623379 L 468.2954545454545 -393.1842522623379 L 480.7954545454545 -393.1842522623379 L 480.7954545454545 -383.1842522623379 Z" style="stroke:none;"/>
 239               </g>
 240               <g>
 241                 <path d="M 474.5454545454545 -383.1842522623379 L 468.2954545454545 -393.1842522623379 L 480.7954545454545 -393.1842522623379 Z"/>
 242                 <g style="fill:rgb(0,0,0);clip-path:url(#clip7);">
 243                   <path d="M 511.9318181818182 -406.11017818826383 L 511.9318181818182 -416.11017818826383 L 524.4318181818182 -416.11017818826383 L 524.4318181818182 -406.11017818826383 Z" style="stroke:none;"/>
 244                 </g>
 245                 <g>
 246                   <path d="M 518.1818181818182 -406.11017818826383 L 511.9318181818182 -416.11017818826383 L 524.4318181818182 -416.11017818826383 Z"/>
 247                   <g style="fill:rgb(0,0,0);clip-path:url(#clip8);">
 248                     <path d="M 555.5681818181818 -429.3082377087415 L 555.5681818181818 -439.3082377087415 L 568.0681818181818 -439.3082377087415 L 568.0681818181818 -429.3082377087415 Z" style="stroke:none;"/>
 249                   </g>
 250                   <g>
 251                     <path d="M 561.8181818181818 -429.3082377087415 L 555.5681818181818 -439.3082377087415 L 568.0681818181818 -439.3082377087415 Z"/>
 252                     <g style="fill:rgb(0,0,0);clip-path:url(#clip9);">
 253                       <path d="M 599.2045454545455 -447.03843642130795 L 599.2045454545455 -457.03843642130795 L 611.7045454545455 -457.03843642130795 L 611.7045454545455 -447.03843642130795 Z" style="stroke:none;"/>
 254                     </g>
 255                     <g>
 256                       <path d="M 605.4545454545455 -447.03843642130795 L 599.2045454545455 -457.03843642130795 L 611.7045454545455 -457.03843642130795 Z"/>
 257                       <g style="fill:rgb(0,0,0);clip-path:url(#clip10);">
 258                         <path d="M 642.840909090909 -470.81957272133593 L 642.840909090909 -480.81957272133593 L 655.340909090909 -480.81957272133593 L 655.340909090909 -470.81957272133593 Z" style="stroke:none;"/>
 259                       </g>
 260                       <g>
 261                         <path d="M 649.090909090909 -470.81957272133593 L 642.840909090909 -480.81957272133593 L 655.340909090909 -480.81957272133593 Z"/>
 262                         <g style="fill:rgb(0,0,0);clip-path:url(#clip11);">
 263                           <path d="M 686.4772727272727 -493.63699972012313 L 686.4772727272727 -503.63699972012313 L 698.9772727272727 -503.63699972012313 L 698.9772727272727 -493.63699972012313 Z" style="stroke:none;"/>
 264                         </g>
 265                         <g>
 266                           <path d="M 692.7272727272727 -493.63699972012313 L 686.4772727272727 -503.63699972012313 L 698.9772727272727 -503.63699972012313 Z"/>
 267                           <g style="fill:rgb(0,0,0);clip-path:url(#clip12);">
 268                             <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;"/>
 269                           </g>
 270                           <g>
 271                             <path d="M 736.3636363636364 -515.0 L 730.1136363636364 -525.0 L 742.6136363636364 -525.0 Z"/>
 272                           </g>
 273                         </g>
 274                       </g>
 275                     </g>
 276                   </g>
 277                 </g>
 278               </g>
 279             </g>
 280           </g>
 281         </g>
 282       </g>
 283       <g style="clip-path:url(#clip13);">
 284         <path d="M 343.6363636363636 -301.3074167366359 L 387.27272727272725 -302.5376714245732 L 430.9090909090909 -303.76567776844854 L 474.5454545454545 -305.2796995988432 L 518.1818181818182 -307.20873215785053 L 561.8181818181818 -308.84382871536525 L 605.4545454545455 -310.666200205243 L 649.090909090909 -312.39901110178187 L 692.7272727272727 -314.03106633081444 L 736.3636363636364 -315.728985912865" style="stroke:rgb(147,147,147);stroke-width:2;"/>
 285       </g>
 286       <g style="clip-path:url(#clip14);">
 287         <g style="fill:rgb(255,255,255);clip-path:url(#clip15);">
 288           <path d="M 337.3863636363636 -296.3074167366359 L 337.3863636363636 -306.3074167366359 L 349.8863636363636 -306.3074167366359 L 349.8863636363636 -296.3074167366359 Z" style="stroke:none;"/>
 289         </g>
 290         <g>
 291           <path d="M 337.3863636363636 -296.3074167366359 L 349.8863636363636 -296.3074167366359 L 343.6363636363636 -306.3074167366359 Z"/>
 292           <g style="fill:rgb(255,255,255);clip-path:url(#clip16);">
 293             <path d="M 381.02272727272725 -297.5376714245732 L 381.02272727272725 -307.5376714245732 L 393.52272727272725 -307.5376714245732 L 393.52272727272725 -297.5376714245732 Z" style="stroke:none;"/>
 294           </g>
 295           <g>
 296             <path d="M 381.02272727272725 -297.5376714245732 L 393.52272727272725 -297.5376714245732 L 387.27272727272725 -307.5376714245732 Z"/>
 297             <g style="fill:rgb(255,255,255);clip-path:url(#clip17);">
 298               <path d="M 424.6590909090909 -298.76567776844854 L 424.6590909090909 -308.76567776844854 L 437.1590909090909 -308.76567776844854 L 437.1590909090909 -298.76567776844854 Z" style="stroke:none;"/>
 299             </g>
 300             <g>
 301               <path d="M 424.6590909090909 -298.76567776844854 L 437.1590909090909 -298.76567776844854 L 430.9090909090909 -308.76567776844854 Z"/>
 302               <g style="fill:rgb(255,255,255);clip-path:url(#clip18);">
 303                 <path d="M 468.2954545454545 -300.2796995988432 L 468.2954545454545 -310.2796995988432 L 480.7954545454545 -310.2796995988432 L 480.7954545454545 -300.2796995988432 Z" style="stroke:none;"/>
 304               </g>
 305               <g>
 306                 <path d="M 468.2954545454545 -300.2796995988432 L 480.7954545454545 -300.2796995988432 L 474.5454545454545 -310.2796995988432 Z"/>
 307                 <g style="fill:rgb(255,255,255);clip-path:url(#clip19);">
 308                   <path d="M 511.9318181818182 -302.20873215785053 L 511.9318181818182 -312.20873215785053 L 524.4318181818182 -312.20873215785053 L 524.4318181818182 -302.20873215785053 Z" style="stroke:none;"/>
 309                 </g>
 310                 <g>
 311                   <path d="M 511.9318181818182 -302.20873215785053 L 524.4318181818182 -302.20873215785053 L 518.1818181818182 -312.20873215785053 Z"/>
 312                   <g style="fill:rgb(255,255,255);clip-path:url(#clip20);">
 313                     <path d="M 555.5681818181818 -303.84382871536525 L 555.5681818181818 -313.84382871536525 L 568.0681818181818 -313.84382871536525 L 568.0681818181818 -303.84382871536525 Z" style="stroke:none;"/>
 314                   </g>
 315                   <g>
 316                     <path d="M 555.5681818181818 -303.84382871536525 L 568.0681818181818 -303.84382871536525 L 561.8181818181818 -313.84382871536525 Z"/>
 317                     <g style="fill:rgb(255,255,255);clip-path:url(#clip21);">
 318                       <path d="M 599.2045454545455 -305.666200205243 L 599.2045454545455 -315.666200205243 L 611.7045454545455 -315.666200205243 L 611.7045454545455 -305.666200205243 Z" style="stroke:none;"/>
 319                     </g>
 320                     <g>
 321                       <path d="M 599.2045454545455 -305.666200205243 L 611.7045454545455 -305.666200205243 L 605.4545454545455 -315.666200205243 Z"/>
 322                       <g style="fill:rgb(255,255,255);clip-path:url(#clip22);">
 323                         <path d="M 642.840909090909 -307.39901110178187 L 642.840909090909 -317.39901110178187 L 655.340909090909 -317.39901110178187 L 655.340909090909 -307.39901110178187 Z" style="stroke:none;"/>
 324                       </g>
 325                       <g>
 326                         <path d="M 642.840909090909 -307.39901110178187 L 655.340909090909 -307.39901110178187 L 649.090909090909 -317.39901110178187 Z"/>
 327                         <g style="fill:rgb(255,255,255);clip-path:url(#clip23);">
 328                           <path d="M 686.4772727272727 -309.03106633081444 L 686.4772727272727 -319.03106633081444 L 698.9772727272727 -319.03106633081444 L 698.9772727272727 -309.03106633081444 Z" style="stroke:none;"/>
 329                         </g>
 330                         <g>
 331                           <path d="M 686.4772727272727 -309.03106633081444 L 698.9772727272727 -309.03106633081444 L 692.7272727272727 -319.03106633081444 Z"/>
 332                           <g style="fill:rgb(255,255,255);clip-path:url(#clip24);">
 333                             <path d="M 730.1136363636364 -310.728985912865 L 730.1136363636364 -320.728985912865 L 742.6136363636364 -320.728985912865 L 742.6136363636364 -310.728985912865 Z" style="stroke:none;"/>
 334                           </g>
 335                           <g>
 336                             <path d="M 730.1136363636364 -310.728985912865 L 742.6136363636364 -310.728985912865 L 736.3636363636364 -320.728985912865 Z"/>
 337                           </g>
 338                         </g>
 339                       </g>
 340                     </g>
 341                   </g>
 342                 </g>
 343               </g>
 344             </g>
 345           </g>
 346         </g>
 347       </g>
 348       <g style="clip-path:url(#clip25);">
 349         <path d="M 343.6363636363636 -301.1829088534378 L 387.27272727272725 -302.31474018098703 L 430.9090909090909 -303.5415430543894 L 474.5454545454545 -305.2289206082657 L 518.1818181818182 -306.5996268308611 L 561.8181818181818 -308.0672357496035 L 605.4545454545455 -309.12840750069967 L 649.090909090909 -310.51338744285846 L 692.7272727272727 -311.60322791305157 L 736.3636363636364 -313.3463942531953" style="stroke:rgb(205,0,0);stroke-width:2;"/>
 350       </g>
 351       <g style="clip-path:url(#clip26);">
 352         <g style="fill:rgb(255,255,255);clip-path:url(#clip27);">
 353           <path d="M 337.3863636363636 -296.1829088534378 L 337.3863636363636 -306.1829088534378 L 349.8863636363636 -306.1829088534378 L 349.8863636363636 -296.1829088534378 Z" style="stroke:none;"/>
 354         </g>
 355         <g>
 356           <path d="M 343.6363636363636 -296.1829088534378 L 337.3863636363636 -306.1829088534378 L 349.8863636363636 -306.1829088534378 Z"/>
 357           <g style="fill:rgb(255,255,255);clip-path:url(#clip28);">
 358             <path d="M 381.02272727272725 -297.31474018098703 L 381.02272727272725 -307.31474018098703 L 393.52272727272725 -307.31474018098703 L 393.52272727272725 -297.31474018098703 Z" style="stroke:none;"/>
 359           </g>
 360           <g>
 361             <path d="M 387.27272727272725 -297.31474018098703 L 381.02272727272725 -307.31474018098703 L 393.52272727272725 -307.31474018098703 Z"/>
 362             <g style="fill:rgb(255,255,255);clip-path:url(#clip29);">
 363               <path d="M 424.6590909090909 -298.5415430543894 L 424.6590909090909 -308.5415430543894 L 437.1590909090909 -308.5415430543894 L 437.1590909090909 -298.5415430543894 Z" style="stroke:none;"/>
 364             </g>
 365             <g>
 366               <path d="M 430.9090909090909 -298.5415430543894 L 424.6590909090909 -308.5415430543894 L 437.1590909090909 -308.5415430543894 Z"/>
 367               <g style="fill:rgb(255,255,255);clip-path:url(#clip30);">
 368                 <path d="M 468.2954545454545 -300.2289206082657 L 468.2954545454545 -310.2289206082657 L 480.7954545454545 -310.2289206082657 L 480.7954545454545 -300.2289206082657 Z" style="stroke:none;"/>
 369               </g>
 370               <g>
 371                 <path d="M 474.5454545454545 -300.2289206082657 L 468.2954545454545 -310.2289206082657 L 480.7954545454545 -310.2289206082657 Z"/>
 372                 <g style="fill:rgb(255,255,255);clip-path:url(#clip31);">
 373                   <path d="M 511.9318181818182 -301.5996268308611 L 511.9318181818182 -311.5996268308611 L 524.4318181818182 -311.5996268308611 L 524.4318181818182 -301.5996268308611 Z" style="stroke:none;"/>
 374                 </g>
 375                 <g>
 376                   <path d="M 518.1818181818182 -301.5996268308611 L 511.9318181818182 -311.5996268308611 L 524.4318181818182 -311.5996268308611 Z"/>
 377                   <g style="fill:rgb(255,255,255);clip-path:url(#clip32);">
 378                     <path d="M 555.5681818181818 -303.0672357496035 L 555.5681818181818 -313.0672357496035 L 568.0681818181818 -313.0672357496035 L 568.0681818181818 -303.0672357496035 Z" style="stroke:none;"/>
 379                   </g>
 380                   <g>
 381                     <path d="M 561.8181818181818 -303.0672357496035 L 555.5681818181818 -313.0672357496035 L 568.0681818181818 -313.0672357496035 Z"/>
 382                     <g style="fill:rgb(255,255,255);clip-path:url(#clip33);">
 383                       <path d="M 599.2045454545455 -304.12840750069967 L 599.2045454545455 -314.12840750069967 L 611.7045454545455 -314.12840750069967 L 611.7045454545455 -304.12840750069967 Z" style="stroke:none;"/>
 384                     </g>
 385                     <g>
 386                       <path d="M 605.4545454545455 -304.12840750069967 L 599.2045454545455 -314.12840750069967 L 611.7045454545455 -314.12840750069967 Z"/>
 387                       <g style="fill:rgb(255,255,255);clip-path:url(#clip34);">
 388                         <path d="M 642.840909090909 -305.51338744285846 L 642.840909090909 -315.51338744285846 L 655.340909090909 -315.51338744285846 L 655.340909090909 -305.51338744285846 Z" style="stroke:none;"/>
 389                       </g>
 390                       <g>
 391                         <path d="M 649.090909090909 -305.51338744285846 L 642.840909090909 -315.51338744285846 L 655.340909090909 -315.51338744285846 Z"/>
 392                         <g style="fill:rgb(255,255,255);clip-path:url(#clip35);">
 393                           <path d="M 686.4772727272727 -306.60322791305157 L 686.4772727272727 -316.60322791305157 L 698.9772727272727 -316.60322791305157 L 698.9772727272727 -306.60322791305157 Z" style="stroke:none;"/>
 394                         </g>
 395                         <g>
 396                           <path d="M 692.7272727272727 -306.60322791305157 L 686.4772727272727 -316.60322791305157 L 698.9772727272727 -316.60322791305157 Z"/>
 397                           <g style="fill:rgb(255,255,255);clip-path:url(#clip36);">
 398                             <path d="M 730.1136363636364 -308.3463942531953 L 730.1136363636364 -318.3463942531953 L 742.6136363636364 -318.3463942531953 L 742.6136363636364 -308.3463942531953 Z" style="stroke:none;"/>
 399                           </g>
 400                           <g>
 401                             <path d="M 736.3636363636364 -308.3463942531953 L 730.1136363636364 -318.3463942531953 L 742.6136363636364 -318.3463942531953 Z"/>
 402                           </g>
 403                         </g>
 404                       </g>
 405                     </g>
 406                   </g>
 407                 </g>
 408               </g>
 409             </g>
 410           </g>
 411         </g>
 412       </g>
 413       <g style="clip-path:url(#clip37);">
 414         <path d="M 343.6363636363636 -300.60568989644554 L 387.27272727272725 -300.95946450228564 L 430.9090909090909 -301.30347980222035 L 474.5454545454545 -301.69613769941225 L 518.1818181818182 -302.10041981528127 L 561.8181818181818 -302.55161862114005 L 605.4545454545455 -302.95075100289205 L 649.090909090909 -303.3317007183506 L 692.7272727272727 -303.64468700438476 L 736.3636363636364 -304.0407407407407" style="stroke:rgb(255,68,0);stroke-width:2;"/>
 415       </g>
 416       <g style="clip-path:url(#clip38);">
 417         <path d="M 338.6363636363636 -295.60568989644554 L 348.6363636363636 -305.60568989644554" style="stroke-width:1;"/>
 418         <path d="M 348.6363636363636 -295.60568989644554 L 338.6363636363636 -305.60568989644554" style="stroke-width:1;"/>
 419         <path d="M 343.6363636363636 -293.53568989644555 L 343.6363636363636 -307.6756898964456" style="stroke-width:1;"/>
 420         <path d="M 336.56636363636363 -300.60568989644554 L 350.7063636363636 -300.60568989644554" style="stroke-width:1;"/>
 421         <path d="M 382.27272727272725 -295.95946450228564 L 392.27272727272725 -305.95946450228564" style="stroke-width:1;"/>
 422         <path d="M 392.27272727272725 -295.95946450228564 L 382.27272727272725 -305.95946450228564" style="stroke-width:1;"/>
 423         <path d="M 387.27272727272725 -293.88946450228565 L 387.27272727272725 -308.02946450228563" style="stroke-width:1;"/>
 424         <path d="M 380.20272727272726 -300.95946450228564 L 394.34272727272725 -300.95946450228564" style="stroke-width:1;"/>
 425         <path d="M 425.9090909090909 -296.30347980222035 L 435.9090909090909 -306.30347980222035" style="stroke-width:1;"/>
 426         <path d="M 435.9090909090909 -296.30347980222035 L 425.9090909090909 -306.30347980222035" style="stroke-width:1;"/>
 427         <path d="M 430.9090909090909 -294.23347980222036 L 430.9090909090909 -308.37347980222034" style="stroke-width:1;"/>
 428         <path d="M 423.83909090909094 -301.30347980222035 L 437.9790909090909 -301.30347980222035" style="stroke-width:1;"/>
 429         <path d="M 469.5454545454545 -296.69613769941225 L 479.5454545454545 -306.69613769941225" style="stroke-width:1;"/>
 430         <path d="M 479.5454545454545 -296.69613769941225 L 469.5454545454545 -306.69613769941225" style="stroke-width:1;"/>
 431         <path d="M 474.5454545454545 -294.62613769941225 L 474.5454545454545 -308.76613769941224" style="stroke-width:1;"/>
 432         <path d="M 467.47545454545457 -301.69613769941225 L 481.61545454545455 -301.69613769941225" style="stroke-width:1;"/>
 433         <path d="M 513.1818181818182 -297.10041981528127 L 523.1818181818182 -307.10041981528127" style="stroke-width:1;"/>
 434         <path d="M 523.1818181818182 -297.10041981528127 L 513.1818181818182 -307.10041981528127" style="stroke-width:1;"/>
 435         <path d="M 518.1818181818182 -295.0304198152813 L 518.1818181818182 -309.17041981528126" style="stroke-width:1;"/>
 436         <path d="M 511.1118181818182 -302.10041981528127 L 525.2518181818182 -302.10041981528127" style="stroke-width:1;"/>
 437         <path d="M 556.8181818181818 -297.55161862114005 L 566.8181818181818 -307.55161862114005" style="stroke-width:1;"/>
 438         <path d="M 566.8181818181818 -297.55161862114005 L 556.8181818181818 -307.55161862114005" style="stroke-width:1;"/>
 439         <path d="M 561.8181818181818 -295.48161862114006 L 561.8181818181818 -309.62161862114004" style="stroke-width:1;"/>
 440         <path d="M 554.7481818181818 -302.55161862114005 L 568.8881818181818 -302.55161862114005" style="stroke-width:1;"/>
 441         <path d="M 600.4545454545455 -297.95075100289205 L 610.4545454545455 -307.95075100289205" style="stroke-width:1;"/>
 442         <path d="M 610.4545454545455 -297.95075100289205 L 600.4545454545455 -307.95075100289205" style="stroke-width:1;"/>
 443         <path d="M 605.4545454545455 -295.88075100289205 L 605.4545454545455 -310.02075100289204" style="stroke-width:1;"/>
 444         <path d="M 598.3845454545454 -302.95075100289205 L 612.5245454545454 -302.95075100289205" style="stroke-width:1;"/>
 445         <path d="M 644.090909090909 -298.3317007183506 L 654.090909090909 -308.3317007183506" style="stroke-width:1;"/>
 446         <path d="M 654.090909090909 -298.3317007183506 L 644.090909090909 -308.3317007183506" style="stroke-width:1;"/>
 447         <path d="M 649.090909090909 -296.2617007183506 L 649.090909090909 -310.4017007183506" style="stroke-width:1;"/>
 448         <path d="M 642.0209090909091 -303.3317007183506 L 656.1609090909091 -303.3317007183506" style="stroke-width:1;"/>
 449         <path d="M 687.7272727272727 -298.64468700438476 L 697.7272727272727 -308.64468700438476" style="stroke-width:1;"/>
 450         <path d="M 697.7272727272727 -298.64468700438476 L 687.7272727272727 -308.64468700438476" style="stroke-width:1;"/>
 451         <path d="M 692.7272727272727 -296.5746870043847 L 692.7272727272727 -310.71468700438476" style="stroke-width:1;"/>
 452         <path d="M 685.6572727272728 -303.64468700438476 L 699.7972727272727 -303.64468700438476" style="stroke-width:1;"/>
 453         <path d="M 731.3636363636364 -299.0407407407407 L 741.3636363636364 -309.0407407407407" style="stroke-width:1;"/>
 454         <path d="M 741.3636363636364 -299.0407407407407 L 731.3636363636364 -309.0407407407407" style="stroke-width:1;"/>
 455         <path d="M 736.3636363636364 -296.9707407407407 L 736.3636363636364 -311.11074074074077" style="stroke-width:1;"/>
 456         <path d="M 729.2936363636363 -304.0407407407407 L 743.4336363636364 -304.0407407407407" style="stroke-width:1;"/>
 457       </g>
 458     </g>
 459     <g style="fill:rgb(255,255,255);clip-path:url(#clip39);">
 460       <path d="M 290 -54 L 290 -136 L 434.496 -136 L 434.496 -54 Z" style="stroke:none;"/>
 461     </g>
 462     <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;"/>
 463     <g style="fill:rgb(0,0,0);clip-path:url(#clip40);">
 464       <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;"/>
 465     </g>
 466     <g>
 467       <path d="M 308.0 -120.33333333333334 L 301.75 -130.33333333333334 L 314.25 -130.33333333333334 Z"/>
 468       <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" x="316.0" y="-120.0">
 469         n_set
 470       </text>
 471       <path d="M 300 -105.33333333333334 L 316 -105.33333333333334" style="stroke:rgb(147,147,147);stroke-width:2;"/>
 472       <g style="fill:rgb(255,255,255);clip-path:url(#clip41);">
 473         <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;"/>
 474       </g>
 475       <g>
 476         <path d="M 301.75 -100.33333333333334 L 314.25 -100.33333333333334 L 308.0 -110.33333333333334 Z"/>
 477         <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" x="316.0" y="-100.0">
 478           splay_tree_set
 479         </text>
 480         <path d="M 300 -85.33333333333334 L 316 -85.33333333333334" style="stroke:rgb(205,0,0);stroke-width:2;"/>
 481         <g style="fill:rgb(255,255,255);clip-path:url(#clip42);">
 482           <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;"/>
 483         </g>
 484         <g>
 485           <path d="M 308.0 -80.33333333333334 L 301.75 -90.33333333333334 L 314.25 -90.33333333333334 Z"/>
 486           <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" x="316.0" y="-80.0">
 487             rb_tree_set
 488           </text>
 489           <path d="M 300 -65.33333333333334 L 316 -65.33333333333334" style="stroke:rgb(255,68,0);stroke-width:2;"/>
 490           <path d="M 303.0 -60.33333333333334 L 313.0 -70.33333333333334" style="stroke-width:1;"/>
 491           <path d="M 313.0 -60.33333333333334 L 303.0 -70.33333333333334" style="stroke-width:1;"/>
 492           <path d="M 308.0 -58.26333333333335 L 308.0 -72.40333333333334" style="stroke-width:1;"/>
 493           <path d="M 300.93 -65.33333333333334 L 315.07 -65.33333333333334" style="stroke-width:1;"/>
 494           <text style="font-size:16;stroke:none;fill:rgb(0,0,0);" x="316.0" y="-60.0">
 495             ov_tree_set
 496           </text>
 497         </g>
 498       </g>
 499     </g>
 500   </g>
 501 </svg>