<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: Extensions Pages: 1 -->
<svg width="242pt" height="98pt"
 viewBox="0.00 0.00 242.00 98.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 94)">
<title>Extensions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-94 238,-94 238,4 -4,4"/>
<!-- Node3 -->
<g id="node1" class="node">
<title>Node3</title>
<g id="a_node1"><a xlink:href="a01529.html" target="_top" xlink:title=" ">
<polygon fill="#ffffff" stroke="#000000" points="234,-90 98,-90 98,-72 234,-72 234,-90"/>
<text text-anchor="middle" x="166" y="-78.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Policy&#45;Based Data Structures</text>
</a>
</g>
</g>
<!-- Node1 -->
<g id="node2" class="node">
<title>Node1</title>
<g id="a_node2"><a xlink:href="a01462.html" target="_top" xlink:title=" ">
<polygon fill="#ffffff" stroke="#000000" points="182,-54 150,-54 150,-36 182,-36 182,-54"/>
<text text-anchor="middle" x="166" y="-42.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">SGI</text>
</a>
</g>
</g>
<!-- Node0 -->
<g id="node3" class="node">
<title>Node0</title>
<g id="a_node3"><a xlink:title=" ">
<polygon fill="#bfbfbf" stroke="#000000" points="62,-54 0,-54 0,-36 62,-36 62,-54"/>
<text text-anchor="middle" x="31" y="-42.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Extensions</text>
</a>
</g>
</g>
<!-- Node0&#45;&gt;Node3 -->
<g id="edge3" class="edge">
<title>Node0&#45;&gt;Node3</title>
<path fill="none" stroke="#000000" d="M71.884,-56.0095C80.5073,-58.3244 89.5518,-60.747 98,-63 108.9738,-65.9265 120.9486,-69.1022 131.7489,-71.9599"/>
<polygon fill="#000000" stroke="#000000" points="72.5812,-52.5727 62.0155,-53.3581 70.7649,-59.333 72.5812,-52.5727"/>
</g>
<!-- Node0&#45;&gt;Node1 -->
<g id="edge1" class="edge">
<title>Node0&#45;&gt;Node1</title>
<path fill="none" stroke="#000000" d="M72.3702,-45C98.5694,-45 130.9791,-45 149.9836,-45"/>
<polygon fill="#000000" stroke="#000000" points="72.3111,-41.5001 62.311,-45 72.311,-48.5001 72.3111,-41.5001"/>
</g>
<!-- Node2 -->
<g id="node4" class="node">
<title>Node2</title>
<g id="a_node4"><a xlink:href="a01512.html" target="_top" xlink:title=" ">
<polygon fill="#ffffff" stroke="#000000" points="206,-18 126,-18 126,0 206,0 206,-18"/>
<text text-anchor="middle" x="166" y="-6.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Dynamic Bitset.</text>
</a>
</g>
</g>
<!-- Node0&#45;&gt;Node2 -->
<g id="edge2" class="edge">
<title>Node0&#45;&gt;Node2</title>
<path fill="none" stroke="#000000" d="M71.884,-33.9905C80.5073,-31.6756 89.5518,-29.253 98,-27 108.9738,-24.0735 120.9486,-20.8978 131.7489,-18.0401"/>
<polygon fill="#000000" stroke="#000000" points="70.7649,-30.667 62.0155,-36.6419 72.5812,-37.4273 70.7649,-30.667"/>
</g>
</g>
</svg>