<?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: Invalidation Guarantees Pages: 1 -->
<svg width="195pt" height="26pt"
 viewBox="0.00 0.00 195.00 26.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 22)">
<title>Invalidation Guarantees</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-22 191,-22 191,4 -4,4"/>
<!-- Node1 -->
<g id="node1" class="node">
<title>Node1</title>
<g id="a_node1"><a xlink:href="a01527.html" target="_top" xlink:title=" ">
<polygon fill="#ffffff" stroke="#000000" points="37,-18 0,-18 0,0 37,0 37,-18"/>
<text text-anchor="middle" x="18.5" y="-6.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Tags</text>
</a>
</g>
</g>
<!-- Node0 -->
<g id="node2" class="node">
<title>Node0</title>
<g id="a_node2"><a xlink:title=" ">
<polygon fill="#bfbfbf" stroke="#000000" points="187,-18 73,-18 73,0 187,0 187,-18"/>
<text text-anchor="middle" x="130" y="-6.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Invalidation Guarantees</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node0 -->
<g id="edge1" class="edge">
<title>Node1&#45;&gt;Node0</title>
<path fill="none" stroke="#000000" d="M47.2174,-9C55.0833,-9 63.8964,-9 72.7598,-9"/>
<polygon fill="#000000" stroke="#000000" points="47.1626,-5.5001 37.1626,-9 47.1626,-12.5001 47.1626,-5.5001"/>
</g>
</g>
</svg>