misc/tree_tmp_0_5_dot.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: G Pages: 1 -->
<svg width="278pt" height="476pt"
 viewBox="0.00 0.00 278.00 476.50" 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 472.5)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-472.5 274,-472.5 274,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<ellipse fill="none" stroke="black" stroke-width="2" cx="207" cy="-444.46" rx="27" ry="24.08"/>
<text text-anchor="middle" x="207" y="-438.26" font-family="Times,serif" font-size="24.00">0</text>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<ellipse fill="none" stroke="black" cx="171" cy="-360.37" rx="27" ry="24.08"/>
<text text-anchor="middle" x="171" y="-354.17" font-family="Times,serif" font-size="24.00">1</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>0&#45;&gt;1</title>
<path fill="none" stroke="black" d="M197.54,-421.89C193.6,-412.91 188.96,-402.32 184.66,-392.52"/>
<polygon fill="black" stroke="black" points="187.74,-390.83 180.52,-383.08 181.33,-393.65 187.74,-390.83"/>
</g>
<!-- 7 -->
<g id="node8" class="node">
<title>7</title>
<ellipse fill="none" stroke="black" cx="243" cy="-360.37" rx="27" ry="24.08"/>
<text text-anchor="middle" x="243" y="-354.17" font-family="Times,serif" font-size="24.00">4</text>
</g>
<!-- 0&#45;&gt;7 -->
<g id="edge2" class="edge">
<title>0&#45;&gt;7</title>
<path fill="none" stroke="black" d="M216.46,-421.89C220.4,-412.91 225.04,-402.32 229.34,-392.52"/>
<polygon fill="black" stroke="black" points="232.67,-393.65 233.48,-383.08 226.26,-390.83 232.67,-393.65"/>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<ellipse fill="none" stroke="black" cx="171" cy="-276.29" rx="27" ry="24.08"/>
<text text-anchor="middle" x="171" y="-270.09" font-family="Times,serif" font-size="24.00">2</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge3" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M171,-336.07C171,-328.12 171,-319.07 171,-310.49"/>
<polygon fill="black" stroke="black" points="174.5,-310.37 171,-300.37 167.5,-310.37 174.5,-310.37"/>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<ellipse fill="none" stroke="black" cx="99" cy="-192.21" rx="27" ry="24.08"/>
<text text-anchor="middle" x="99" y="-186.01" font-family="Times,serif" font-size="24.00">3</text>
</g>
<!-- 2&#45;&gt;3 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;3</title>
<path fill="none" stroke="black" d="M154.66,-256.67C145,-245.65 132.6,-231.52 121.96,-219.39"/>
<polygon fill="black" stroke="black" points="124.5,-216.97 115.27,-211.76 119.24,-221.59 124.5,-216.97"/>
</g>
<!-- 5 -->
<g id="node6" class="node">
<title>5</title>
<ellipse fill="none" stroke="black" cx="171" cy="-192.21" rx="27" ry="24.08"/>
<text text-anchor="middle" x="171" y="-186.01" font-family="Times,serif" font-size="24.00">7</text>
</g>
<!-- 2&#45;&gt;5 -->
<g id="edge5" class="edge">
<title>2&#45;&gt;5</title>
<path fill="none" stroke="black" d="M171,-251.99C171,-244.04 171,-234.98 171,-226.41"/>
<polygon fill="black" stroke="black" points="174.5,-226.28 171,-216.28 167.5,-226.28 174.5,-226.28"/>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<ellipse fill="none" stroke="black" cx="27" cy="-108.12" rx="27" ry="24.08"/>
<text text-anchor="middle" x="27" y="-101.92" font-family="Times,serif" font-size="24.00">4</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge6" class="edge">
<title>3&#45;&gt;4</title>
<path fill="none" stroke="black" d="M82.66,-172.58C73,-161.56 60.6,-147.43 49.96,-135.31"/>
<polygon fill="black" stroke="black" points="52.5,-132.89 43.27,-127.68 47.24,-137.5 52.5,-132.89"/>
</g>
<!-- 12 -->
<g id="node13" class="node">
<title>12</title>
<ellipse fill="none" stroke="black" cx="99" cy="-108.12" rx="27" ry="24.08"/>
<text text-anchor="middle" x="99" y="-101.92" font-family="Times,serif" font-size="24.00">8</text>
</g>
<!-- 3&#45;&gt;12 -->
<g id="edge7" class="edge">
<title>3&#45;&gt;12</title>
<path fill="none" stroke="black" d="M99,-167.91C99,-159.95 99,-150.9 99,-142.32"/>
<polygon fill="black" stroke="black" points="102.5,-142.2 99,-132.2 95.5,-142.2 102.5,-142.2"/>
</g>
<!-- 6 -->
<g id="node7" class="node">
<title>6</title>
<ellipse fill="none" stroke="black" cx="171" cy="-108.12" rx="27" ry="24.08"/>
<text text-anchor="middle" x="171" y="-101.92" font-family="Times,serif" font-size="24.00">5</text>
</g>
<!-- 5&#45;&gt;6 -->
<g id="edge8" class="edge">
<title>5&#45;&gt;6</title>
<path fill="none" stroke="black" d="M171,-167.91C171,-159.95 171,-150.9 171,-142.32"/>
<polygon fill="black" stroke="black" points="174.5,-142.2 171,-132.2 167.5,-142.2 174.5,-142.2"/>
</g>
<!-- 8 -->
<g id="node9" class="node">
<title>8</title>
<ellipse fill="none" stroke="black" cx="243" cy="-276.29" rx="27" ry="24.08"/>
<text text-anchor="middle" x="243" y="-270.09" font-family="Times,serif" font-size="24.00">3</text>
</g>
<!-- 7&#45;&gt;8 -->
<g id="edge9" class="edge">
<title>7&#45;&gt;8</title>
<path fill="none" stroke="black" d="M243,-336.07C243,-328.12 243,-319.07 243,-310.49"/>
<polygon fill="black" stroke="black" points="246.5,-310.37 243,-300.37 239.5,-310.37 246.5,-310.37"/>
</g>
<!-- 9 -->
<g id="node10" class="node">
<title>9</title>
<ellipse fill="none" stroke="black" cx="243" cy="-192.21" rx="27" ry="24.08"/>
<text text-anchor="middle" x="243" y="-186.01" font-family="Times,serif" font-size="24.00">2</text>
</g>
<!-- 8&#45;&gt;9 -->
<g id="edge10" class="edge">
<title>8&#45;&gt;9</title>
<path fill="none" stroke="black" d="M243,-251.99C243,-244.04 243,-234.98 243,-226.41"/>
<polygon fill="black" stroke="black" points="246.5,-226.28 243,-216.28 239.5,-226.28 246.5,-226.28"/>
</g>
<!-- 10 -->
<g id="node11" class="node">
<title>10</title>
<ellipse fill="none" stroke="black" cx="243" cy="-108.12" rx="27" ry="24.08"/>
<text text-anchor="middle" x="243" y="-101.92" font-family="Times,serif" font-size="24.00">7</text>
</g>
<!-- 9&#45;&gt;10 -->
<g id="edge11" class="edge">
<title>9&#45;&gt;10</title>
<path fill="none" stroke="black" d="M243,-167.91C243,-159.95 243,-150.9 243,-142.32"/>
<polygon fill="black" stroke="black" points="246.5,-142.2 243,-132.2 239.5,-142.2 246.5,-142.2"/>
</g>
<!-- 11 -->
<g id="node12" class="node">
<title>11</title>
<ellipse fill="none" stroke="black" cx="243" cy="-24.04" rx="27" ry="24.08"/>
<text text-anchor="middle" x="243" y="-17.84" font-family="Times,serif" font-size="24.00">5</text>
</g>
<!-- 10&#45;&gt;11 -->
<g id="edge12" class="edge">
<title>10&#45;&gt;11</title>
<path fill="none" stroke="black" d="M243,-83.82C243,-75.87 243,-66.82 243,-58.24"/>
<polygon fill="black" stroke="black" points="246.5,-58.12 243,-48.12 239.5,-58.12 246.5,-58.12"/>
</g>
<!-- 13 -->
<g id="node14" class="node">
<title>13</title>
<ellipse fill="none" stroke="black" cx="99" cy="-24.04" rx="27" ry="24.08"/>
<text text-anchor="middle" x="99" y="-17.84" font-family="Times,serif" font-size="24.00">5</text>
</g>
<!-- 12&#45;&gt;13 -->
<g id="edge13" class="edge">
<title>12&#45;&gt;13</title>
<path fill="none" stroke="black" d="M99,-83.82C99,-75.87 99,-66.82 99,-58.24"/>
<polygon fill="black" stroke="black" points="102.5,-58.12 99,-48.12 95.5,-58.12 102.5,-58.12"/>
</g>
</g>
</svg>