snapshots/fact-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.40.1 (20161225.0304)
 -->
<!-- Title: NSGraph Pages: 1 -->
<svg width="230pt" height="392pt"
 viewBox="0.00 0.00 230.25 392.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 388)">
<title>NSGraph</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-388 226.2463,-388 226.2463,4 -4,4"/>
<!-- 1 -->
<g id="node1" class="node">
<title>1</title>
<ellipse fill="none" stroke="#000000" cx="79" cy="-366" rx="46.2923" ry="18"/>
<text text-anchor="middle" x="79" y="-362.3" font-family="Times,serif" font-size="14.00" fill="#000000"> (10, 0, 2)</text>
</g>
<!-- 2 -->
<g id="node2" class="node">
<title>2</title>
<ellipse fill="none" stroke="#000000" cx="113" cy="-279" rx="42.4939" ry="18"/>
<text text-anchor="middle" x="113" y="-275.3" font-family="Times,serif" font-size="14.00" fill="#000000"> (7, 2, 2)</text>
</g>
<!-- 1&#45;&#45;2 -->
<g id="edge1" class="edge">
<title>1&#45;&#45;2</title>
<path fill="none" stroke="#ff0000" d="M86.0448,-347.9735C91.8801,-333.0422 100.1315,-311.9283 105.9642,-297.0034"/>
<text text-anchor="middle" x="101.5" y="-318.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
</g>
<!-- 3 -->
<g id="node3" class="node">
<title>3</title>
<ellipse fill="none" stroke="#000000" cx="113" cy="-192" rx="42.4939" ry="18"/>
<text text-anchor="middle" x="113" y="-188.3" font-family="Times,serif" font-size="14.00" fill="#000000"> (4, 4, 2)</text>
</g>
<!-- 1&#45;&#45;3 -->
<g id="edge4" class="edge">
<title>1&#45;&#45;3</title>
<path fill="none" stroke="#000000" d="M68.819,-348.1494C58.1042,-326.9405 44.1787,-290.6913 55,-261 62.6629,-239.9747 79.8625,-220.9087 93.5534,-208.1736"/>
<text text-anchor="middle" x="58.5" y="-275.3" font-family="Times,serif" font-size="14.00" fill="#000000">6</text>
</g>
<!-- 4 -->
<g id="node4" class="node">
<title>4</title>
<ellipse fill="none" stroke="#000000" cx="180" cy="-105" rx="42.4939" ry="18"/>
<text text-anchor="middle" x="180" y="-101.3" font-family="Times,serif" font-size="14.00" fill="#000000"> (1, 6, 2)</text>
</g>
<!-- 1&#45;&#45;4 -->
<g id="edge8" class="edge">
<title>1&#45;&#45;4</title>
<path fill="none" stroke="#000000" d="M105.5856,-350.9728C124.6733,-338.8228 149.4959,-319.9867 164,-297 198.0937,-242.9667 187.8848,-219.7577 192,-156 192.4294,-149.3472 193.0679,-147.5806 192,-141 191.0291,-135.0172 189.2063,-128.6852 187.2692,-123.0275"/>
<text text-anchor="middle" x="192.5" y="-231.8" font-family="Times,serif" font-size="14.00" fill="#000000">9</text>
</g>
<!-- 5 -->
<g id="node5" class="node">
<title>5</title>
<ellipse fill="none" stroke="#000000" cx="66" cy="-18" rx="42.4939" ry="18"/>
<text text-anchor="middle" x="66" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000"> (0, 0, 5)</text>
</g>
<!-- 1&#45;&#45;5 -->
<g id="edge10" class="edge">
<title>1&#45;&#45;5</title>
<path fill="none" stroke="#000000" d="M52.2542,-351.1151C29.3357,-336.1714 0,-310.8272 0,-279 0,-279 0,-279 0,-105 0,-75.235 24.8235,-49.2567 44.023,-33.6155"/>
<text text-anchor="middle" x="7" y="-188.3" font-family="Times,serif" font-size="14.00" fill="#000000">10</text>
</g>
<!-- 2&#45;&#45;3 -->
<g id="edge2" class="edge">
<title>2&#45;&#45;3</title>
<path fill="none" stroke="#ff0000" d="M113,-260.9735C113,-246.0422 113,-224.9283 113,-210.0034"/>
<text text-anchor="middle" x="116.5" y="-231.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
</g>
<!-- 2&#45;&#45;4 -->
<g id="edge5" class="edge">
<title>2&#45;&#45;4</title>
<path fill="none" stroke="#000000" d="M129.0168,-262.3093C140.6604,-249.1641 155.7682,-229.8081 164,-210 175.959,-181.2231 179.1013,-144.6811 179.8559,-123.1674"/>
<text text-anchor="middle" x="177.5" y="-188.3" font-family="Times,serif" font-size="14.00" fill="#000000">6</text>
</g>
<!-- 2&#45;&#45;5 -->
<g id="edge9" class="edge">
<title>2&#45;&#45;5</title>
<path fill="none" stroke="#000000" d="M95.858,-262.3626C83.7977,-249.3908 68.6654,-230.2319 62,-210 41.8652,-148.884 54.3634,-70.7916 61.7343,-36.0567"/>
<text text-anchor="middle" x="54.5" y="-144.8" font-family="Times,serif" font-size="14.00" fill="#000000">9</text>
</g>
<!-- 3&#45;&#45;4 -->
<g id="edge3" class="edge">
<title>3&#45;&#45;4</title>
<path fill="none" stroke="#ff0000" d="M126.237,-174.8116C137.9831,-159.5593 155.0528,-137.3942 166.7905,-122.1527"/>
<text text-anchor="middle" x="153.5" y="-144.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
</g>
<!-- 3&#45;&#45;5 -->
<g id="edge7" class="edge">
<title>3&#45;&#45;5</title>
<path fill="none" stroke="#000000" d="M108.1472,-174.0343C99.1409,-140.6918 79.9362,-69.5937 70.8968,-36.1286"/>
<text text-anchor="middle" x="97.5" y="-101.3" font-family="Times,serif" font-size="14.00" fill="#000000">8</text>
</g>
<!-- 4&#45;&#45;5 -->
<g id="edge6" class="edge">
<title>4&#45;&#45;5</title>
<path fill="none" stroke="#ff0000" d="M159.9254,-88.9833C147.144,-78.8519 130.1932,-65.537 115,-54 106.0886,-47.2331 96.156,-39.8979 87.5758,-33.6252"/>
<text text-anchor="middle" x="135.5" y="-57.8" font-family="Times,serif" font-size="14.00" fill="#000000">7</text>
</g>
</g>
</svg>