<?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.34.0 (20131125.0033)
 -->
<!-- Title: states Pages: 1 -->
<svg width="216pt" height="53pt"
 viewBox="0.00 0.00 216.00 52.70" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(0.432 0.432) rotate(0) translate(4 118)">
<title>states</title>
<polygon fill="white" stroke="white" points="-4,4 -4,-118 496,-118 496,4 -4,4"/>
<!-- empty -->
<g id="node1" class="node"><title>empty</title>
<ellipse fill="none" stroke="black" cx="35" cy="-18" rx="34.394" ry="18"/>
<text text-anchor="middle" x="35" y="-14.3" font-family="Times,serif" font-size="14.00">Empty</text>
</g>
<!-- stolen -->
<g id="node2" class="node"><title>stolen</title>
<ellipse fill="none" stroke="black" cx="185" cy="-45" rx="33.2948" ry="18"/>
<text text-anchor="middle" x="185" y="-41.3" font-family="Times,serif" font-size="14.00">Stolen</text>
</g>
<!-- empty&#45;&gt;stolen -->
<g id="edge2" class="edge"><title>empty&#45;&gt;stolen</title>
<path fill="none" stroke="black" d="M67.7497,-23.7922C89.7979,-27.8145 119.372,-33.2097 143.172,-37.5517"/>
<polygon fill="black" stroke="black" points="142.85,-41.0506 153.316,-39.4023 144.107,-34.1643 142.85,-41.0506"/>
<text text-anchor="middle" x="111" y="-38.8" font-family="Times,serif" font-size="14.00">dispatch</text>
</g>
<!-- full -->
<g id="node4" class="node"><title>full</title>
<ellipse fill="none" stroke="black" cx="465" cy="-45" rx="27" ry="18"/>
<text text-anchor="middle" x="465" y="-41.3" font-family="Times,serif" font-size="14.00">Full</text>
</g>
<!-- empty&#45;&gt;full -->
<g id="edge1" class="edge"><title>empty&#45;&gt;full</title>
<path fill="none" stroke="black" d="M69.5741,-16.9031C106.118,-15.9652 166.258,-15.169 218,-18 293.182,-22.1135 380.711,-33.2478 428.451,-39.863"/>
<polygon fill="black" stroke="black" points="428.189,-43.3603 438.578,-41.2814 429.16,-36.428 428.189,-43.3603"/>
<text text-anchor="middle" x="253" y="-24.8" font-family="Times,serif" font-size="14.00">return</text>
</g>
<!-- waiting -->
<g id="node3" class="node"><title>waiting</title>
<ellipse fill="none" stroke="black" cx="328" cy="-96" rx="39.7935" ry="18"/>
<text text-anchor="middle" x="328" y="-92.3" font-family="Times,serif" font-size="14.00">Waiting</text>
</g>
<!-- stolen&#45;&gt;waiting -->
<g id="edge4" class="edge"><title>stolen&#45;&gt;waiting</title>
<path fill="none" stroke="black" d="M213.186,-54.8333C234.053,-62.3808 263.185,-72.9179 286.751,-81.442"/>
<polygon fill="black" stroke="black" points="285.876,-84.8472 296.47,-84.9573 288.257,-78.2646 285.876,-84.8472"/>
<text text-anchor="middle" x="253" y="-78.8" font-family="Times,serif" font-size="14.00">touch</text>
</g>
<!-- stolen&#45;&gt;full -->
<g id="edge3" class="edge"><title>stolen&#45;&gt;full</title>
<path fill="none" stroke="black" d="M218.162,-45C270.285,-45 372.88,-45 427.602,-45"/>
<polygon fill="black" stroke="black" points="427.879,-48.5001 437.879,-45 427.879,-41.5001 427.879,-48.5001"/>
<text text-anchor="middle" x="328" y="-48.8" font-family="Times,serif" font-size="14.00">return</text>
</g>
<!-- waiting&#45;&gt;full -->
<g id="edge5" class="edge"><title>waiting&#45;&gt;full</title>
<path fill="none" stroke="black" d="M358.961,-84.6814C380.517,-76.538 409.562,-65.5653 431.647,-57.2224"/>
<polygon fill="black" stroke="black" points="433.134,-60.402 441.252,-53.5938 430.66,-53.8537 433.134,-60.402"/>
<text text-anchor="middle" x="403" y="-76.8" font-family="Times,serif" font-size="14.00">return</text>
</g>
</g>
</svg>