1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
3
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
4
<!-- Generated by graphviz version 2.30.1 (20130810.1534)
6
<!-- Title: %3 Pages: 1 -->
7
<svg width="62pt" height="44pt"
8
viewBox="0.00 0.00 62.00 44.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
9
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 40)">
12
<g id="node1" class="node"><title>b</title>
13
<polygon fill="#f8f8f8" stroke="#444444" points="42.7685,-36 11.2315,-36 7.10543e-15,-1.06581e-14 54,-0 42.7685,-36"/>