<?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: graph_42_12 Pages: 1 -->
<svg width="80pt" height="152pt"
viewBox="0.00 0.00 80.00 152.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 148)">
<title>graph_42_12</title>
<polygon fill="white" stroke="white" points="-4,4 -4,-148 76,-148 76,4 -4,4"/>
<!-- node_42_12 -->
<g id="node1" class="node"><title>node_42_12</title>
<ellipse fill="none" stroke="black" cx="36" cy="-72" rx="36" ry="72"/>
<text text-anchor="middle" x="36" y="-68.3" font-family="Times,serif" font-size="14.00">node_42_12</text>
</g>
</g>
</svg>