doc/output.gv.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: %3 Pages: 1 -->
<svg width="638pt" height="260pt"
 viewBox="0.00 0.00 638.00 260.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 256)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-256 634,-256 634,4 -4,4"/>
<!-- a0 -->
<g id="node1" class="node">
<title>a0</title>
<ellipse fill="none" stroke="#000000" cx="27" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">a0</text>
</g>
<!-- a1 -->
<g id="node2" class="node">
<title>a1</title>
<ellipse fill="none" stroke="#000000" cx="99" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="99" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">a1</text>
</g>
<!-- a0&#45;&gt;a1 -->
<!-- b0 -->
<g id="node10" class="node">
<title>b0</title>
<ellipse fill="none" stroke="#000000" cx="99" cy="-162" rx="27" ry="18"/>
<text text-anchor="middle" x="99" y="-158.3" font-family="Times,serif" font-size="14.00" fill="#000000">b0</text>
</g>
<!-- a0&#45;&gt;b0 -->
<g id="edge9" class="edge">
<title>a0&#45;&gt;b0</title>
<path fill="none" stroke="#000000" d="M42.2693,-218.7307C52.197,-208.803 65.3153,-195.6847 76.4363,-184.5637"/>
<polygon fill="#000000" stroke="#000000" points="79.1564,-186.7933 83.7527,-177.2473 74.2067,-181.8436 79.1564,-186.7933"/>
</g>
<!-- a2 -->
<g id="node3" class="node">
<title>a2</title>
<ellipse fill="none" stroke="#000000" cx="171" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="171" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">a2</text>
</g>
<!-- a1&#45;&gt;a2 -->
<!-- a1&#45;&gt;b0 -->
<g id="edge10" class="edge">
<title>a1&#45;&gt;b0</title>
<path fill="none" stroke="#000000" d="M99,-215.8314C99,-208.131 99,-198.9743 99,-190.4166"/>
<polygon fill="#000000" stroke="#000000" points="102.5001,-190.4132 99,-180.4133 95.5001,-190.4133 102.5001,-190.4132"/>
</g>
<!-- a3 -->
<g id="node4" class="node">
<title>a3</title>
<ellipse fill="none" stroke="#000000" cx="243" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="243" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">a3</text>
</g>
<!-- a2&#45;&gt;a3 -->
<!-- b1 -->
<g id="node11" class="node">
<title>b1</title>
<ellipse fill="none" stroke="#000000" cx="207" cy="-162" rx="27" ry="18"/>
<text text-anchor="middle" x="207" y="-158.3" font-family="Times,serif" font-size="14.00" fill="#000000">b1</text>
</g>
<!-- a2&#45;&gt;b1 -->
<g id="edge11" class="edge">
<title>a2&#45;&gt;b1</title>
<path fill="none" stroke="#000000" d="M179.7146,-216.5708C183.9597,-208.0807 189.1536,-197.6929 193.8663,-188.2674"/>
<polygon fill="#000000" stroke="#000000" points="197.024,-189.7782 198.3657,-179.2687 190.763,-186.6477 197.024,-189.7782"/>
</g>
<!-- a4 -->
<g id="node5" class="node">
<title>a4</title>
<ellipse fill="none" stroke="#000000" cx="315" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="315" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">a4</text>
</g>
<!-- a3&#45;&gt;a4 -->
<!-- a3&#45;&gt;b1 -->
<g id="edge12" class="edge">
<title>a3&#45;&gt;b1</title>
<path fill="none" stroke="#000000" d="M234.2854,-216.5708C230.0403,-208.0807 224.8464,-197.6929 220.1337,-188.2674"/>
<polygon fill="#000000" stroke="#000000" points="223.237,-186.6477 215.6343,-179.2687 216.976,-189.7782 223.237,-186.6477"/>
</g>
<!-- a5 -->
<g id="node6" class="node">
<title>a5</title>
<ellipse fill="none" stroke="#000000" cx="387" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="387" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">a5</text>
</g>
<!-- a4&#45;&gt;a5 -->
<!-- b2 -->
<g id="node12" class="node">
<title>b2</title>
<ellipse fill="none" stroke="#000000" cx="387" cy="-162" rx="27" ry="18"/>
<text text-anchor="middle" x="387" y="-158.3" font-family="Times,serif" font-size="14.00" fill="#000000">b2</text>
</g>
<!-- a4&#45;&gt;b2 -->
<g id="edge13" class="edge">
<title>a4&#45;&gt;b2</title>
<path fill="none" stroke="#000000" d="M330.2693,-218.7307C340.197,-208.803 353.3153,-195.6847 364.4363,-184.5637"/>
<polygon fill="#000000" stroke="#000000" points="367.1564,-186.7933 371.7527,-177.2473 362.2067,-181.8436 367.1564,-186.7933"/>
</g>
<!-- a6 -->
<g id="node7" class="node">
<title>a6</title>
<ellipse fill="none" stroke="#000000" cx="459" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="459" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">a6</text>
</g>
<!-- a5&#45;&gt;a6 -->
<!-- a5&#45;&gt;b2 -->
<g id="edge14" class="edge">
<title>a5&#45;&gt;b2</title>
<path fill="none" stroke="#000000" d="M387,-215.8314C387,-208.131 387,-198.9743 387,-190.4166"/>
<polygon fill="#000000" stroke="#000000" points="390.5001,-190.4132 387,-180.4133 383.5001,-190.4133 390.5001,-190.4132"/>
</g>
<!-- a7 -->
<g id="node8" class="node">
<title>a7</title>
<ellipse fill="none" stroke="#000000" cx="531" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="531" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">a7</text>
</g>
<!-- a6&#45;&gt;a7 -->
<!-- b3 -->
<g id="node13" class="node">
<title>b3</title>
<ellipse fill="none" stroke="#000000" cx="459" cy="-162" rx="27" ry="18"/>
<text text-anchor="middle" x="459" y="-158.3" font-family="Times,serif" font-size="14.00" fill="#000000">b3</text>
</g>
<!-- a6&#45;&gt;b3 -->
<g id="edge15" class="edge">
<title>a6&#45;&gt;b3</title>
<path fill="none" stroke="#000000" d="M459,-215.8314C459,-208.131 459,-198.9743 459,-190.4166"/>
<polygon fill="#000000" stroke="#000000" points="462.5001,-190.4132 459,-180.4133 455.5001,-190.4133 462.5001,-190.4132"/>
</g>
<!-- a8 -->
<g id="node9" class="node">
<title>a8</title>
<ellipse fill="none" stroke="#000000" cx="603" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="603" y="-230.3" font-family="Times,serif" font-size="14.00" fill="#000000">a8</text>
</g>
<!-- a7&#45;&gt;a8 -->
<!-- a7&#45;&gt;b3 -->
<g id="edge16" class="edge">
<title>a7&#45;&gt;b3</title>
<path fill="none" stroke="#000000" d="M515.7307,-218.7307C505.803,-208.803 492.6847,-195.6847 481.5637,-184.5637"/>
<polygon fill="#000000" stroke="#000000" points="483.7933,-181.8436 474.2473,-177.2473 478.8436,-186.7933 483.7933,-181.8436"/>
</g>
<!-- b4 -->
<g id="node14" class="node">
<title>b4</title>
<ellipse fill="none" stroke="#000000" cx="567" cy="-162" rx="27" ry="18"/>
<text text-anchor="middle" x="567" y="-158.3" font-family="Times,serif" font-size="14.00" fill="#000000">b4</text>
</g>
<!-- a8&#45;&gt;b4 -->
<g id="edge17" class="edge">
<title>a8&#45;&gt;b4</title>
<path fill="none" stroke="#000000" d="M594.2854,-216.5708C590.0403,-208.0807 584.8464,-197.6929 580.1337,-188.2674"/>
<polygon fill="#000000" stroke="#000000" points="583.237,-186.6477 575.6343,-179.2687 576.976,-189.7782 583.237,-186.6477"/>
</g>
<!-- c0 -->
<g id="node15" class="node">
<title>c0</title>
<ellipse fill="none" stroke="#000000" cx="207" cy="-90" rx="27" ry="18"/>
<text text-anchor="middle" x="207" y="-86.3" font-family="Times,serif" font-size="14.00" fill="#000000">c0</text>
</g>
<!-- b0&#45;&gt;c0 -->
<g id="edge18" class="edge">
<title>b0&#45;&gt;c0</title>
<path fill="none" stroke="#000000" d="M118.3082,-149.1278C135.3555,-137.763 160.4019,-121.0654 179.5344,-108.3104"/>
<polygon fill="#000000" stroke="#000000" points="181.4799,-111.2199 187.8589,-102.7607 177.5969,-105.3956 181.4799,-111.2199"/>
</g>
<!-- b1&#45;&gt;c0 -->
<g id="edge19" class="edge">
<title>b1&#45;&gt;c0</title>
<path fill="none" stroke="#000000" d="M207,-143.8314C207,-136.131 207,-126.9743 207,-118.4166"/>
<polygon fill="#000000" stroke="#000000" points="210.5001,-118.4132 207,-108.4133 203.5001,-118.4133 210.5001,-118.4132"/>
</g>
<!-- c1 -->
<g id="node16" class="node">
<title>c1</title>
<ellipse fill="none" stroke="#000000" cx="423" cy="-90" rx="27" ry="18"/>
<text text-anchor="middle" x="423" y="-86.3" font-family="Times,serif" font-size="14.00" fill="#000000">c1</text>
</g>
<!-- b2&#45;&gt;c1 -->
<g id="edge20" class="edge">
<title>b2&#45;&gt;c1</title>
<path fill="none" stroke="#000000" d="M395.7146,-144.5708C399.9597,-136.0807 405.1536,-125.6929 409.8663,-116.2674"/>
<polygon fill="#000000" stroke="#000000" points="413.024,-117.7782 414.3657,-107.2687 406.763,-114.6477 413.024,-117.7782"/>
</g>
<!-- b3&#45;&gt;c1 -->
<g id="edge21" class="edge">
<title>b3&#45;&gt;c1</title>
<path fill="none" stroke="#000000" d="M450.2854,-144.5708C446.0403,-136.0807 440.8464,-125.6929 436.1337,-116.2674"/>
<polygon fill="#000000" stroke="#000000" points="439.237,-114.6477 431.6343,-107.2687 432.976,-117.7782 439.237,-114.6477"/>
</g>
<!-- c2 -->
<g id="node17" class="node">
<title>c2</title>
<ellipse fill="none" stroke="#000000" cx="513" cy="-90" rx="27" ry="18"/>
<text text-anchor="middle" x="513" y="-86.3" font-family="Times,serif" font-size="14.00" fill="#000000">c2</text>
</g>
<!-- b4&#45;&gt;c2 -->
<g id="edge22" class="edge">
<title>b4&#45;&gt;c2</title>
<path fill="none" stroke="#000000" d="M554.7466,-145.6621C547.8423,-136.4564 539.0823,-124.7764 531.3715,-114.4953"/>
<polygon fill="#000000" stroke="#000000" points="534.005,-112.1733 525.2049,-106.2733 528.405,-116.3733 534.005,-112.1733"/>
</g>
<!-- d0 -->
<g id="node18" class="node">
<title>d0</title>
<ellipse fill="none" stroke="#000000" cx="423" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="423" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">d0</text>
</g>
<!-- c0&#45;&gt;d0 -->
<g id="edge23" class="edge">
<title>c0&#45;&gt;d0</title>
<path fill="none" stroke="#000000" d="M231.3581,-81.8806C269.947,-69.0177 345.2439,-43.9187 389.0896,-29.3035"/>
<polygon fill="#000000" stroke="#000000" points="390.3509,-32.5724 398.7309,-26.0897 388.1373,-25.9316 390.3509,-32.5724"/>
</g>
<!-- c1&#45;&gt;d0 -->
<g id="edge24" class="edge">
<title>c1&#45;&gt;d0</title>
<path fill="none" stroke="#000000" d="M423,-71.8314C423,-64.131 423,-54.9743 423,-46.4166"/>
<polygon fill="#000000" stroke="#000000" points="426.5001,-46.4132 423,-36.4133 419.5001,-46.4133 426.5001,-46.4132"/>
</g>
<!-- c2&#45;&gt;d0 -->
<g id="edge25" class="edge">
<title>c2&#45;&gt;d0</title>
<path fill="none" stroke="#000000" d="M495.6471,-76.1177C482.2003,-65.3602 463.3761,-50.3009 448.259,-38.2072"/>
<polygon fill="#000000" stroke="#000000" points="450.2948,-35.3536 440.2996,-31.8397 445.9219,-40.8197 450.2948,-35.3536"/>
</g>
</g>
</svg>