res/img/scc/after.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.43.0 (0)
 -->
<!-- Title: %3 Pages: 1 -->
<svg width="551pt" height="325pt"
 viewBox="0.00 0.00 550.80 324.80" 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(14.4 310.4)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-14.4,14.4 -14.4,-310.4 536.4,-310.4 536.4,14.4 -14.4,14.4"/>
<!-- q -->
<g id="node1" class="node">
<title>q</title>
<path fill="#7289da" stroke="#ffffff" stroke-width="1.1" d="M128,-249.5C128,-249.5 161,-249.5 161,-249.5 167,-249.5 173,-255.5 173,-261.5 173,-261.5 173,-283.5 173,-283.5 173,-289.5 167,-295.5 161,-295.5 161,-295.5 128,-295.5 128,-295.5 122,-295.5 116,-289.5 116,-283.5 116,-283.5 116,-261.5 116,-261.5 116,-255.5 122,-249.5 128,-249.5"/>
<text text-anchor="middle" x="144.5" y="-280.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">q</text>
<polyline fill="none" stroke="#ffffff" stroke-width="1.1" points="116,-272.5 173,-272.5 "/>
<text text-anchor="middle" x="144.5" y="-257.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">cc #3</text>
</g>
<!-- s -->
<g id="node2" class="node">
<title>s</title>
<path fill="#7289da" stroke="#ffffff" stroke-width="1.1" d="M70,-166.5C70,-166.5 103,-166.5 103,-166.5 109,-166.5 115,-172.5 115,-178.5 115,-178.5 115,-200.5 115,-200.5 115,-206.5 109,-212.5 103,-212.5 103,-212.5 70,-212.5 70,-212.5 64,-212.5 58,-206.5 58,-200.5 58,-200.5 58,-178.5 58,-178.5 58,-172.5 64,-166.5 70,-166.5"/>
<text text-anchor="middle" x="86.5" y="-197.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">s</text>
<polyline fill="none" stroke="#ffffff" stroke-width="1.1" points="58,-189.5 115,-189.5 "/>
<text text-anchor="middle" x="86.5" y="-174.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">cc #5</text>
</g>
<!-- q&#45;&gt;s -->
<g id="edge1" class="edge">
<title>q&#45;&gt;s</title>
<path fill="none" stroke="black" stroke-width="0.5" stroke-dasharray="1,5" d="M128.65,-249.37C122,-240.08 114.18,-229.16 107.1,-219.26"/>
<polygon fill="black" stroke="black" stroke-width="0.5" points="109.26,-217.48 102.33,-212.61 104.71,-220.74 109.26,-217.48"/>
</g>
<!-- t -->
<g id="node3" class="node">
<title>t</title>
<path fill="#7289da" stroke="#ffffff" stroke-width="1.1" d="M185,-166.5C185,-166.5 218,-166.5 218,-166.5 224,-166.5 230,-172.5 230,-178.5 230,-178.5 230,-200.5 230,-200.5 230,-206.5 224,-212.5 218,-212.5 218,-212.5 185,-212.5 185,-212.5 179,-212.5 173,-206.5 173,-200.5 173,-200.5 173,-178.5 173,-178.5 173,-172.5 179,-166.5 185,-166.5"/>
<text text-anchor="middle" x="201.5" y="-197.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">t</text>
<polyline fill="none" stroke="#ffffff" stroke-width="1.1" points="173,-189.5 230,-189.5 "/>
<text text-anchor="middle" x="201.5" y="-174.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">cc #3</text>
</g>
<!-- q&#45;&gt;t -->
<g id="edge2" class="edge">
<title>q&#45;&gt;t</title>
<path fill="none" stroke="black" stroke-width="2" d="M160.08,-249.37C166.61,-240.08 174.3,-229.16 181.26,-219.26"/>
<polygon fill="black" stroke="black" stroke-width="2" points="183.63,-220.76 185.94,-212.61 179.05,-217.54 183.63,-220.76"/>
</g>
<!-- w -->
<g id="node4" class="node">
<title>w</title>
<path fill="#7289da" stroke="#ffffff" stroke-width="1.1" d="M12,-0.5C12,-0.5 45,-0.5 45,-0.5 51,-0.5 57,-6.5 57,-12.5 57,-12.5 57,-34.5 57,-34.5 57,-40.5 51,-46.5 45,-46.5 45,-46.5 12,-46.5 12,-46.5 6,-46.5 0,-40.5 0,-34.5 0,-34.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5"/>
<text text-anchor="middle" x="28.5" y="-31.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">w</text>
<polyline fill="none" stroke="#ffffff" stroke-width="1.1" points="0,-23.5 57,-23.5 "/>
<text text-anchor="middle" x="28.5" y="-8.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">cc #5</text>
</g>
<!-- q&#45;&gt;w -->
<g id="edge3" class="edge">
<title>q&#45;&gt;w</title>
<path fill="none" stroke="black" stroke-width="0.5" stroke-dasharray="1,5" d="M115.78,-265.95C88,-258.9 47.42,-243.73 28.5,-213 -1.53,-164.22 9.51,-94.01 19.49,-54.49"/>
<polygon fill="black" stroke="black" stroke-width="0.5" points="22.25,-54.99 21.59,-46.54 16.84,-53.56 22.25,-54.99"/>
</g>
<!-- v -->
<g id="node8" class="node">
<title>v</title>
<path fill="#7289da" stroke="#ffffff" stroke-width="1.1" d="M129,-83.5C129,-83.5 162,-83.5 162,-83.5 168,-83.5 174,-89.5 174,-95.5 174,-95.5 174,-117.5 174,-117.5 174,-123.5 168,-129.5 162,-129.5 162,-129.5 129,-129.5 129,-129.5 123,-129.5 117,-123.5 117,-117.5 117,-117.5 117,-95.5 117,-95.5 117,-89.5 123,-83.5 129,-83.5"/>
<text text-anchor="middle" x="145.5" y="-114.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">v</text>
<polyline fill="none" stroke="#ffffff" stroke-width="1.1" points="117,-106.5 174,-106.5 "/>
<text text-anchor="middle" x="145.5" y="-91.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">cc #5</text>
</g>
<!-- s&#45;&gt;v -->
<g id="edge6" class="edge">
<title>s&#45;&gt;v</title>
<path fill="none" stroke="black" stroke-width="2" d="M102.62,-166.37C109.39,-157.08 117.34,-146.16 124.55,-136.26"/>
<polygon fill="black" stroke="black" stroke-width="2" points="126.95,-137.72 129.4,-129.61 122.42,-134.42 126.95,-137.72"/>
</g>
<!-- y -->
<g id="node7" class="node">
<title>y</title>
<path fill="#7289da" stroke="#ffffff" stroke-width="1.1" d="M360,-83.5C360,-83.5 393,-83.5 393,-83.5 399,-83.5 405,-89.5 405,-95.5 405,-95.5 405,-117.5 405,-117.5 405,-123.5 399,-129.5 393,-129.5 393,-129.5 360,-129.5 360,-129.5 354,-129.5 348,-123.5 348,-117.5 348,-117.5 348,-95.5 348,-95.5 348,-89.5 354,-83.5 360,-83.5"/>
<text text-anchor="middle" x="376.5" y="-114.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">y</text>
<polyline fill="none" stroke="#ffffff" stroke-width="1.1" points="348,-106.5 405,-106.5 "/>
<text text-anchor="middle" x="376.5" y="-91.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">cc #3</text>
</g>
<!-- t&#45;&gt;y -->
<g id="edge8" class="edge">
<title>t&#45;&gt;y</title>
<path fill="none" stroke="black" stroke-width="2" d="M230.01,-175.31C260.04,-161.4 307.44,-139.46 340.15,-124.33"/>
<polygon fill="black" stroke="black" stroke-width="2" points="341.63,-126.72 347.71,-120.82 339.28,-121.64 341.63,-126.72"/>
</g>
<!-- x -->
<g id="node9" class="node">
<title>x</title>
<path fill="#7289da" stroke="#ffffff" stroke-width="1.1" d="M244,-83.5C244,-83.5 277,-83.5 277,-83.5 283,-83.5 289,-89.5 289,-95.5 289,-95.5 289,-117.5 289,-117.5 289,-123.5 283,-129.5 277,-129.5 277,-129.5 244,-129.5 244,-129.5 238,-129.5 232,-123.5 232,-117.5 232,-117.5 232,-95.5 232,-95.5 232,-89.5 238,-83.5 244,-83.5"/>
<text text-anchor="middle" x="260.5" y="-114.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">x</text>
<polyline fill="none" stroke="#ffffff" stroke-width="1.1" points="232,-106.5 289,-106.5 "/>
<text text-anchor="middle" x="260.5" y="-91.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">cc #4</text>
</g>
<!-- t&#45;&gt;x -->
<g id="edge7" class="edge">
<title>t&#45;&gt;x</title>
<path fill="none" stroke="black" stroke-width="0.5" stroke-dasharray="1,5" d="M217.62,-166.37C224.39,-157.08 232.34,-146.16 239.55,-136.26"/>
<polygon fill="black" stroke="black" stroke-width="0.5" points="241.95,-137.72 244.4,-129.61 237.42,-134.42 241.95,-137.72"/>
</g>
<!-- w&#45;&gt;s -->
<g id="edge11" class="edge">
<title>w&#45;&gt;s</title>
<path fill="none" stroke="black" stroke-width="2" d="M36.29,-46.53C46.51,-75.42 64.48,-126.23 75.92,-158.58"/>
<polygon fill="black" stroke="black" stroke-width="2" points="73.37,-159.77 78.68,-166.38 78.65,-157.91 73.37,-159.77"/>
</g>
<!-- r -->
<g id="node5" class="node">
<title>r</title>
<path fill="#7289da" stroke="#ffffff" stroke-width="1.1" d="M477,-249.5C477,-249.5 510,-249.5 510,-249.5 516,-249.5 522,-255.5 522,-261.5 522,-261.5 522,-283.5 522,-283.5 522,-289.5 516,-295.5 510,-295.5 510,-295.5 477,-295.5 477,-295.5 471,-295.5 465,-289.5 465,-283.5 465,-283.5 465,-261.5 465,-261.5 465,-255.5 471,-249.5 477,-249.5"/>
<text text-anchor="middle" x="493.5" y="-280.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">r</text>
<polyline fill="none" stroke="#ffffff" stroke-width="1.1" points="465,-272.5 522,-272.5 "/>
<text text-anchor="middle" x="493.5" y="-257.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">cc #1</text>
</g>
<!-- u -->
<g id="node6" class="node">
<title>u</title>
<path fill="#7289da" stroke="#ffffff" stroke-width="1.1" d="M419,-166.5C419,-166.5 452,-166.5 452,-166.5 458,-166.5 464,-172.5 464,-178.5 464,-178.5 464,-200.5 464,-200.5 464,-206.5 458,-212.5 452,-212.5 452,-212.5 419,-212.5 419,-212.5 413,-212.5 407,-206.5 407,-200.5 407,-200.5 407,-178.5 407,-178.5 407,-172.5 413,-166.5 419,-166.5"/>
<text text-anchor="middle" x="435.5" y="-197.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">u</text>
<polyline fill="none" stroke="#ffffff" stroke-width="1.1" points="407,-189.5 464,-189.5 "/>
<text text-anchor="middle" x="435.5" y="-174.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">cc #2</text>
</g>
<!-- r&#45;&gt;u -->
<g id="edge4" class="edge">
<title>r&#45;&gt;u</title>
<path fill="none" stroke="black" stroke-width="0.5" stroke-dasharray="1,5" d="M477.65,-249.37C471,-240.08 463.18,-229.16 456.1,-219.26"/>
<polygon fill="black" stroke="black" stroke-width="0.5" points="458.26,-217.48 451.33,-212.61 453.71,-220.74 458.26,-217.48"/>
</g>
<!-- r&#45;&gt;y -->
<g id="edge5" class="edge">
<title>r&#45;&gt;y</title>
<path fill="none" stroke="black" stroke-width="0.5" stroke-dasharray="1,5" d="M499.54,-249.46C504.41,-226.75 508.18,-191.19 492.5,-166 475.15,-138.11 440,-123.02 412.92,-115.19"/>
<polygon fill="black" stroke="black" stroke-width="0.5" points="413.61,-112.48 405.16,-113.08 412.14,-117.89 413.61,-112.48"/>
</g>
<!-- u&#45;&gt;y -->
<g id="edge9" class="edge">
<title>u&#45;&gt;y</title>
<path fill="none" stroke="black" stroke-width="0.5" stroke-dasharray="1,5" d="M419.38,-166.37C412.61,-157.08 404.66,-146.16 397.45,-136.26"/>
<polygon fill="black" stroke="black" stroke-width="0.5" points="399.58,-134.42 392.6,-129.61 395.05,-137.72 399.58,-134.42"/>
</g>
<!-- y&#45;&gt;q -->
<g id="edge13" class="edge">
<title>y&#45;&gt;q</title>
<path fill="none" stroke="black" stroke-width="2" d="M355.3,-129.53C332.7,-152.24 295.2,-187.8 258.5,-213 233.95,-229.86 203.91,-245.08 180.82,-255.77"/>
<polygon fill="black" stroke="black" stroke-width="2" points="179.39,-253.35 173.28,-259.22 181.72,-258.44 179.39,-253.35"/>
</g>
<!-- v&#45;&gt;w -->
<g id="edge10" class="edge">
<title>v&#45;&gt;w</title>
<path fill="none" stroke="black" stroke-width="2" d="M116.88,-85.69C100.87,-74.6 80.79,-60.7 63.81,-48.95"/>
<polygon fill="black" stroke="black" stroke-width="2" points="65.4,-46.64 57.23,-44.39 62.22,-51.25 65.4,-46.64"/>
</g>
<!-- z -->
<g id="node10" class="node">
<title>z</title>
<path fill="#7289da" stroke="#ffffff" stroke-width="1.1" d="M244,-0.5C244,-0.5 277,-0.5 277,-0.5 283,-0.5 289,-6.5 289,-12.5 289,-12.5 289,-34.5 289,-34.5 289,-40.5 283,-46.5 277,-46.5 277,-46.5 244,-46.5 244,-46.5 238,-46.5 232,-40.5 232,-34.5 232,-34.5 232,-12.5 232,-12.5 232,-6.5 238,-0.5 244,-0.5"/>
<text text-anchor="middle" x="260.5" y="-31.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">z</text>
<polyline fill="none" stroke="#ffffff" stroke-width="1.1" points="232,-23.5 289,-23.5 "/>
<text text-anchor="middle" x="260.5" y="-8.3" font-family="Times,serif" font-size="14.00" fill="#ffffff">cc #4</text>
</g>
<!-- x&#45;&gt;z -->
<g id="edge12" class="edge">
<title>x&#45;&gt;z</title>
<path fill="none" stroke="black" stroke-width="2" d="M240.87,-83.37C238.68,-74.53 238.19,-64.21 239.39,-54.7"/>
<polygon fill="black" stroke="black" stroke-width="2" points="242.18,-54.98 240.88,-46.61 236.68,-53.97 242.18,-54.98"/>
</g>
<!-- z&#45;&gt;x -->
<g id="edge14" class="edge">
<title>z&#45;&gt;x</title>
<path fill="none" stroke="black" stroke-width="2" d="M280.12,-46.61C282.31,-55.44 282.81,-65.76 281.62,-75.27"/>
<polygon fill="black" stroke="black" stroke-width="2" points="278.82,-74.99 280.13,-83.37 284.33,-76.01 278.82,-74.99"/>
</g>
</g>
</svg>