critical.svg

<?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: %0 Pages: 1 -->
<svg width="402pt" height="252pt" viewBox="0.00 0.00 401.64 252.40" 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 248.4023)">
<title>%0</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-248.4023 397.6423,-248.4023 397.6423,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<ellipse fill="none" stroke="#000000" cx="87.1606" cy="-226.4023" rx="27" ry="18"/>
<text text-anchor="middle" x="87.1606" y="-222.2023" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
</g>
<!-- 5 -->
<g id="node2" class="node">
<title>5</title>
<ellipse fill="none" stroke="#000000" cx="27" cy="-122.2012" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-118.0012" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
<!-- 0&#45;&gt;5 -->
<g id="edge1" class="edge">
<title>0-&gt;5</title>
<path fill="none" stroke="#000000" d="M77.2263,-209.1956C67.5896,-192.5045 52.8477,-166.9706 41.8238,-147.8768"/>
<polygon fill="#000000" stroke="#000000" points="44.7806,-145.9979 36.7494,-139.0877 38.7184,-149.498 44.7806,-145.9979"/>
<text text-anchor="middle" x="56.025" y="-182.7362" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<ellipse fill="none" stroke="#000000" cx="207.4817" cy="-226.4023" rx="27" ry="18"/>
<text text-anchor="middle" x="207.4817" y="-222.2023" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
</g>
<!-- 0&#45;&gt;2 -->
<g id="edge2" class="edge">
<title>0-&gt;2</title>
<path fill="none" stroke="#000000" d="M114.163,-226.4023C130.612,-226.4023 151.8705,-226.4023 169.9418,-226.4023"/>
<polygon fill="#000000" stroke="#000000" points="170.1532,-229.9024 180.1531,-226.4023 170.1531,-222.9024 170.1532,-229.9024"/>
<text text-anchor="middle" x="138.5524" y="-230.6023" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
</g>
<!-- 5&#45;&gt;2 -->
<g id="edge7" class="edge">
<title>5-&gt;2</title>
<path fill="none" stroke="#000000" d="M47.7035,-134.1544C79.798,-152.6841 141.6678,-188.4047 178.2871,-209.5468"/>
<polygon fill="#000000" stroke="#000000" points="176.6093,-212.6196 187.0196,-214.5885 180.1094,-206.5574 176.6093,-212.6196"/>
<text text-anchor="middle" x="109.4953" y="-176.0506" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<ellipse fill="none" stroke="#000000" cx="207.4817" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="207.4817" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
</g>
<!-- 3&#45;&gt;0 -->
<g id="edge5" class="edge">
<title>3-&gt;0</title>
<path fill="none" stroke="#000000" d="M197.6353,-35.0544C176.563,-71.5528 126.9895,-157.4166 102.0461,-200.6198"/>
<polygon fill="#000000" stroke="#000000" points="98.9432,-198.9942 96.9743,-209.4045 105.0054,-202.4943 98.9432,-198.9942"/>
<text text-anchor="middle" x="146.3407" y="-122.0371" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
</g>
<!-- 1 -->
<g id="node5" class="node">
<title>1</title>
<ellipse fill="none" stroke="#000000" cx="87.1606" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="87.1606" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
</g>
<!-- 3&#45;&gt;1 -->
<g id="edge3" class="edge">
<title>3-&gt;1</title>
<path fill="none" stroke="#000000" d="M180.4793,-18C164.0303,-18 142.7717,-18 124.7005,-18"/>
<polygon fill="#000000" stroke="#000000" points="124.4891,-14.4999 114.4892,-18 124.4892,-21.4999 124.4891,-14.4999"/>
<text text-anchor="middle" x="149.0899" y="-22.2" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
</g>
<!-- 1&#45;&gt;5 -->
<g id="edge8" class="edge">
<title>1-&gt;5</title>
<path fill="none" stroke="#000000" d="M77.2263,-35.2067C67.5896,-51.8978 52.8477,-77.4317 41.8238,-96.5256"/>
<polygon fill="#000000" stroke="#000000" points="38.7184,-94.9044 36.7494,-105.3146 44.7806,-98.4044 38.7184,-94.9044"/>
<text text-anchor="middle" x="56.025" y="-70.0661" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
</g>
<!-- 4 -->
<g id="node6" class="node">
<title>4</title>
<ellipse fill="none" stroke="#000000" cx="366.6423" cy="-122.2012" rx="27" ry="18"/>
<text text-anchor="middle" x="366.6423" y="-118.0012" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
</g>
<!-- 6 -->
<g id="node7" class="node">
<title>6</title>
<ellipse fill="none" stroke="#000000" cx="267.6423" cy="-122.2012" rx="27" ry="18"/>
<text text-anchor="middle" x="267.6423" y="-118.0012" font-family="Times,serif" font-size="14.00" fill="#000000">6</text>
</g>
<!-- 4&#45;&gt;6 -->
<g id="edge4" class="edge">
<title>4-&gt;6</title>
<path fill="none" stroke="#000000" d="M339.5901,-122.2012C328.895,-122.2012 316.4262,-122.2012 304.9019,-122.2012"/>
<polygon fill="#000000" stroke="#000000" points="304.6618,-118.7013 294.6618,-122.2012 304.6617,-125.7013 304.6618,-118.7013"/>
<text text-anchor="middle" x="318.746" y="-126.4012" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
</g>
<!-- 6&#45;&gt;0 -->
<g id="edge9" class="edge">
<title>6-&gt;0</title>
<path fill="none" stroke="#000000" d="M246.9387,-134.1544C214.8443,-152.6841 152.9745,-188.4047 116.3551,-209.5468"/>
<polygon fill="#000000" stroke="#000000" points="114.5329,-206.5574 107.6227,-214.5885 118.0329,-212.6196 114.5329,-206.5574"/>
<text text-anchor="middle" x="178.1469" y="-176.0506" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
</g>
<!-- 6&#45;&gt;2 -->
<g id="edge6" class="edge">
<title>6-&gt;2</title>
<path fill="none" stroke="#000000" d="M257.708,-139.4079C248.0713,-156.099 233.3294,-181.6328 222.3055,-200.7267"/>
<polygon fill="#000000" stroke="#000000" points="219.2001,-199.1055 217.2311,-209.5158 225.2623,-202.6055 219.2001,-199.1055"/>
<text text-anchor="middle" x="236.5067" y="-174.2673" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
</g>
</svg>