docs/graph.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.44.0 (20200518.1210)
 -->
<!-- Pages: 1 -->
<svg width="543pt" height="525pt"
 viewBox="0.00 0.00 543.28 525.28" 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 521.28)">
<polygon fill="white" stroke="transparent" points="-4,4 -4,-521.28 539.28,-521.28 539.28,4 -4,4"/>
<!-- 9 -->
<g id="node1" class="node">
<title>9</title>
<ellipse fill="none" stroke="black" cx="27" cy="-258.64" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-254.44" font-family="Times,serif" font-size="14.00">9</text>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<ellipse fill="none" stroke="black" cx="59.24" cy="-138.32" rx="27" ry="18"/>
<text text-anchor="middle" x="59.24" y="-134.12" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 9&#45;&#45;1 -->
<g id="edge1" class="edge">
<title>9&#45;&#45;1</title>
<path fill="none" stroke="red" d="M31.76,-240.89C37.85,-218.14 48.36,-178.93 54.46,-156.15"/>
</g>
<!-- 10 -->
<g id="node5" class="node">
<title>10</title>
<ellipse fill="none" stroke="black" cx="476.04" cy="-138.32" rx="27" ry="18"/>
<text text-anchor="middle" x="476.04" y="-134.12" font-family="Times,serif" font-size="14.00">10</text>
</g>
<!-- 9&#45;&#45;10 -->
<g id="edge2" class="edge">
<title>9&#45;&#45;10</title>
<path fill="none" stroke="red" d="M52.1,-251.92C130.79,-230.83 372.02,-166.19 450.84,-145.07"/>
</g>
<!-- 4 -->
<g id="node10" class="node">
<title>4</title>
<ellipse fill="none" stroke="black" cx="59.24" cy="-378.96" rx="27" ry="18"/>
<text text-anchor="middle" x="59.24" y="-374.76" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 9&#45;&#45;4 -->
<g id="edge3" class="edge">
<title>9&#45;&#45;4</title>
<path fill="none" stroke="red" d="M31.76,-276.4C37.85,-299.14 48.36,-338.35 54.46,-361.14"/>
</g>
<!-- 12 -->
<g id="node3" class="node">
<title>12</title>
<ellipse fill="none" stroke="black" cx="508.28" cy="-258.64" rx="27" ry="18"/>
<text text-anchor="middle" x="508.28" y="-254.44" font-family="Times,serif" font-size="14.00">12</text>
</g>
<!-- 1&#45;&#45;12 -->
<g id="edge4" class="edge">
<title>1&#45;&#45;12</title>
<path fill="none" stroke="red" d="M84.34,-145.05C163.03,-166.13 404.26,-230.77 483.08,-251.89"/>
</g>
<!-- 2 -->
<g id="node4" class="node">
<title>2</title>
<ellipse fill="none" stroke="black" cx="267.64" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="267.64" y="-13.8" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 1&#45;&#45;2 -->
<g id="edge5" class="edge">
<title>1&#45;&#45;2</title>
<path fill="none" stroke="red" d="M79.98,-126.34C119.93,-103.28 207.1,-52.95 246.98,-29.93"/>
</g>
<!-- 5 -->
<g id="node7" class="node">
<title>5</title>
<ellipse fill="none" stroke="black" cx="147.32" cy="-50.24" rx="27" ry="18"/>
<text text-anchor="middle" x="147.32" y="-46.04" font-family="Times,serif" font-size="14.00">5</text>
</g>
<!-- 1&#45;&#45;5 -->
<g id="edge6" class="edge">
<title>1&#45;&#45;5</title>
<path fill="none" stroke="red" d="M74.58,-122.98C90.75,-106.81 116.05,-81.51 132.15,-65.41"/>
</g>
<!-- 1&#45;&#45;4 -->
<g id="edge7" class="edge">
<title>1&#45;&#45;4</title>
<path fill="none" stroke="black" d="M59.24,-156.41C59.24,-201 59.24,-315.85 59.24,-360.67"/>
</g>
<!-- 6 -->
<g id="node12" class="node">
<title>6</title>
<ellipse fill="none" stroke="black" cx="387.96" cy="-50.24" rx="27" ry="18"/>
<text text-anchor="middle" x="387.96" y="-46.04" font-family="Times,serif" font-size="14.00">6</text>
</g>
<!-- 1&#45;&#45;6 -->
<g id="edge8" class="edge">
<title>1&#45;&#45;6</title>
<path fill="none" stroke="red" d="M84.49,-131.56C145.68,-115.16 301.35,-73.45 362.63,-57.03"/>
</g>
<!-- 11 -->
<g id="node6" class="node">
<title>11</title>
<ellipse fill="none" stroke="black" cx="476.04" cy="-378.96" rx="27" ry="18"/>
<text text-anchor="middle" x="476.04" y="-374.76" font-family="Times,serif" font-size="14.00">11</text>
</g>
<!-- 12&#45;&#45;11 -->
<g id="edge9" class="edge">
<title>12&#45;&#45;11</title>
<path fill="none" stroke="red" d="M503.53,-276.4C497.43,-299.14 486.93,-338.35 480.82,-361.14"/>
</g>
<!-- 3 -->
<g id="node8" class="node">
<title>3</title>
<ellipse fill="none" stroke="black" cx="387.96" cy="-467.04" rx="27" ry="18"/>
<text text-anchor="middle" x="387.96" y="-462.84" font-family="Times,serif" font-size="14.00">3</text>
</g>
<!-- 12&#45;&#45;3 -->
<g id="edge10" class="edge">
<title>12&#45;&#45;3</title>
<path fill="none" stroke="red" d="M498.44,-275.7C475.82,-314.87 420.36,-410.93 397.78,-450.05"/>
</g>
<!-- 2&#45;&#45;10 -->
<g id="edge11" class="edge">
<title>2&#45;&#45;10</title>
<path fill="none" stroke="black" d="M288.39,-29.98C328.33,-53.04 415.5,-103.37 455.38,-126.39"/>
</g>
<!-- 2&#45;&#45;11 -->
<g id="edge12" class="edge">
<title>2&#45;&#45;11</title>
<path fill="none" stroke="black" d="M277.41,-34.93C312.42,-95.56 431.32,-301.5 466.29,-362.07"/>
</g>
<!-- 2&#45;&#45;5 -->
<g id="edge13" class="edge">
<title>2&#45;&#45;5</title>
<path fill="none" stroke="black" d="M242.42,-24.76C221.88,-30.26 193.04,-37.99 172.51,-43.49"/>
</g>
<!-- 8 -->
<g id="node9" class="node">
<title>8</title>
<ellipse fill="none" stroke="black" cx="267.64" cy="-499.28" rx="27" ry="18"/>
<text text-anchor="middle" x="267.64" y="-495.08" font-family="Times,serif" font-size="14.00">8</text>
</g>
<!-- 2&#45;&#45;8 -->
<g id="edge14" class="edge">
<title>2&#45;&#45;8</title>
<path fill="none" stroke="red" d="M267.64,-36.28C267.64,-112.6 267.64,-405.37 267.64,-481.24"/>
</g>
<!-- 2&#45;&#45;6 -->
<g id="edge15" class="edge">
<title>2&#45;&#45;6</title>
<path fill="none" stroke="black" d="M292.87,-24.76C313.4,-30.26 342.25,-37.99 362.77,-43.49"/>
</g>
<!-- 10&#45;&#45;5 -->
<g id="edge16" class="edge">
<title>10&#45;&#45;5</title>
<path fill="none" stroke="black" d="M450.8,-131.56C389.61,-115.16 233.93,-73.45 172.66,-57.03"/>
</g>
<!-- 10&#45;&#45;6 -->
<g id="edge17" class="edge">
<title>10&#45;&#45;6</title>
<path fill="none" stroke="black" d="M460.7,-122.98C444.54,-106.81 419.23,-81.51 403.13,-65.41"/>
</g>
<!-- 11&#45;&#45;3 -->
<g id="edge18" class="edge">
<title>11&#45;&#45;3</title>
<path fill="none" stroke="black" d="M460.7,-394.31C444.54,-410.47 419.23,-435.78 403.13,-451.88"/>
</g>
<!-- 7 -->
<g id="node11" class="node">
<title>7</title>
<ellipse fill="none" stroke="black" cx="147.32" cy="-467.04" rx="27" ry="18"/>
<text text-anchor="middle" x="147.32" y="-462.84" font-family="Times,serif" font-size="14.00">7</text>
</g>
<!-- 11&#45;&#45;7 -->
<g id="edge19" class="edge">
<title>11&#45;&#45;7</title>
<path fill="none" stroke="red" d="M450.8,-385.73C389.61,-402.12 233.93,-443.84 172.66,-460.26"/>
</g>
<!-- 11&#45;&#45;6 -->
<g id="edge20" class="edge">
<title>11&#45;&#45;6</title>
<path fill="none" stroke="black" d="M471.18,-360.82C455.78,-303.35 408.19,-125.72 392.81,-68.33"/>
</g>
<!-- 5&#45;&#45;3 -->
<g id="edge21" class="edge">
<title>5&#45;&#45;3</title>
<path fill="none" stroke="black" d="M157.05,-67.1C195.83,-134.26 339.12,-382.44 378.11,-449.98"/>
</g>
<!-- 5&#45;&#45;7 -->
<g id="edge22" class="edge">
<title>5&#45;&#45;7</title>
<path fill="none" stroke="black" d="M147.32,-68.42C147.32,-137.05 147.32,-379.98 147.32,-448.77"/>
</g>
<!-- 3&#45;&#45;8 -->
<g id="edge23" class="edge">
<title>3&#45;&#45;8</title>
<path fill="none" stroke="black" d="M362.74,-473.8C342.2,-479.31 313.36,-487.03 292.83,-492.53"/>
</g>
<!-- 3&#45;&#45;4 -->
<g id="edge24" class="edge">
<title>3&#45;&#45;4</title>
<path fill="none" stroke="black" d="M362.71,-460.28C301.53,-443.88 145.85,-402.17 84.57,-385.75"/>
</g>
<!-- 8&#45;&#45;4 -->
<g id="edge25" class="edge">
<title>8&#45;&#45;4</title>
<path fill="none" stroke="black" d="M246.9,-487.31C206.95,-464.24 119.78,-413.92 79.9,-390.89"/>
</g>
<!-- 8&#45;&#45;7 -->
<g id="edge26" class="edge">
<title>8&#45;&#45;7</title>
<path fill="none" stroke="black" d="M242.42,-492.53C221.88,-487.02 193.04,-479.29 172.51,-473.79"/>
</g>
<!-- 4&#45;&#45;7 -->
<g id="edge27" class="edge">
<title>4&#45;&#45;7</title>
<path fill="none" stroke="black" d="M74.58,-394.31C90.75,-410.47 116.05,-435.78 132.15,-451.88"/>
</g>
</g>
</svg>