graph02.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.36.0 (20140111.2315)
 -->
<!-- Title: steno Pages: 1 -->
<svg width="360pt" height="70pt"
 viewBox="0.00 0.00 360.00 69.97" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(0.460358 0.460358) rotate(0) translate(4 148)">
<title>steno</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-148 778,-148 778,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node"><title>0</title>
<ellipse fill="none" stroke="black" cx="27" cy="-72" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-68.3" font-family="Times,serif" font-size="14.00">a</text>
</g>
<!-- 1 -->
<g id="node2" class="node"><title>1</title>
<ellipse fill="none" stroke="black" cx="117" cy="-72" rx="27" ry="18"/>
<text text-anchor="middle" x="117" y="-68.3" font-family="Times,serif" font-size="14.00">b</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge1" class="edge"><title>0&#45;&gt;1</title>
<path fill="none" stroke="black" d="M54.4029,-72C62.3932,-72 71.3106,-72 79.8241,-72"/>
<polygon fill="black" stroke="black" points="79.919,-75.5001 89.919,-72 79.919,-68.5001 79.919,-75.5001"/>
</g>
<!-- 2 -->
<g id="node3" class="node"><title>2</title>
<ellipse fill="none" stroke="black" cx="207" cy="-72" rx="27" ry="18"/>
<text text-anchor="middle" x="207" y="-68.3" font-family="Times,serif" font-size="14.00">[</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge2" class="edge"><title>1&#45;&gt;2</title>
<path fill="none" stroke="black" d="M144.403,-72C152.393,-72 161.311,-72 169.824,-72"/>
<polygon fill="black" stroke="black" points="169.919,-75.5001 179.919,-72 169.919,-68.5001 169.919,-75.5001"/>
</g>
<!-- 3 -->
<g id="node4" class="node"><title>3</title>
<ellipse fill="none" stroke="black" cx="297" cy="-126" rx="27" ry="18"/>
<text text-anchor="middle" x="297" y="-122.3" font-family="Times,serif" font-size="14.00">(</text>
</g>
<!-- 2&#45;&gt;3 -->
<g id="edge3" class="edge"><title>2&#45;&gt;3</title>
<path fill="none" stroke="black" d="M227.53,-83.9844C239.379,-91.2552 254.699,-100.656 267.842,-108.721"/>
<polygon fill="black" stroke="black" points="266.171,-111.802 276.525,-114.049 269.832,-105.836 266.171,-111.802"/>
</g>
<!-- 7 -->
<g id="node8" class="node"><title>7</title>
<ellipse fill="none" stroke="black" cx="297" cy="-72" rx="27" ry="18"/>
<text text-anchor="middle" x="297" y="-68.3" font-family="Times,serif" font-size="14.00">(</text>
</g>
<!-- 2&#45;&gt;7 -->
<g id="edge7" class="edge"><title>2&#45;&gt;7</title>
<path fill="none" stroke="black" d="M234.403,-72C242.393,-72 251.311,-72 259.824,-72"/>
<polygon fill="black" stroke="black" points="259.919,-75.5001 269.919,-72 259.919,-68.5001 259.919,-75.5001"/>
</g>
<!-- 11 -->
<g id="node12" class="node"><title>11</title>
<ellipse fill="none" stroke="black" cx="297" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="297" y="-14.3" font-family="Times,serif" font-size="14.00">(</text>
</g>
<!-- 2&#45;&gt;11 -->
<g id="edge11" class="edge"><title>2&#45;&gt;11</title>
<path fill="none" stroke="black" d="M227.53,-60.0156C239.379,-52.7448 254.699,-43.3438 267.842,-35.2785"/>
<polygon fill="black" stroke="black" points="269.832,-38.1642 276.525,-29.9508 266.171,-32.1979 269.832,-38.1642"/>
</g>
<!-- 4 -->
<g id="node5" class="node"><title>4</title>
<ellipse fill="none" stroke="black" cx="387" cy="-126" rx="27" ry="18"/>
<text text-anchor="middle" x="387" y="-122.3" font-family="Times,serif" font-size="14.00">a</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge4" class="edge"><title>3&#45;&gt;4</title>
<path fill="none" stroke="black" d="M324.403,-126C332.393,-126 341.311,-126 349.824,-126"/>
<polygon fill="black" stroke="black" points="349.919,-129.5 359.919,-126 349.919,-122.5 349.919,-129.5"/>
</g>
<!-- 5 -->
<g id="node6" class="node"><title>5</title>
<ellipse fill="none" stroke="black" cx="477" cy="-126" rx="27" ry="18"/>
<text text-anchor="middle" x="477" y="-122.3" font-family="Times,serif" font-size="14.00">b</text>
</g>
<!-- 4&#45;&gt;5 -->
<g id="edge5" class="edge"><title>4&#45;&gt;5</title>
<path fill="none" stroke="black" d="M414.403,-126C422.393,-126 431.311,-126 439.824,-126"/>
<polygon fill="black" stroke="black" points="439.919,-129.5 449.919,-126 439.919,-122.5 439.919,-129.5"/>
</g>
<!-- 6 -->
<g id="node7" class="node"><title>6</title>
<ellipse fill="none" stroke="black" cx="567" cy="-126" rx="27" ry="18"/>
<text text-anchor="middle" x="567" y="-122.3" font-family="Times,serif" font-size="14.00">)</text>
</g>
<!-- 5&#45;&gt;6 -->
<g id="edge6" class="edge"><title>5&#45;&gt;6</title>
<path fill="none" stroke="black" d="M504.403,-126C512.393,-126 521.311,-126 529.824,-126"/>
<polygon fill="black" stroke="black" points="529.919,-129.5 539.919,-126 529.919,-122.5 529.919,-129.5"/>
</g>
<!-- 15 -->
<g id="node16" class="node"><title>15</title>
<ellipse fill="none" stroke="black" cx="657" cy="-72" rx="27" ry="18"/>
<text text-anchor="middle" x="657" y="-68.3" font-family="Times,serif" font-size="14.00">]</text>
</g>
<!-- 6&#45;&gt;15 -->
<g id="edge15" class="edge"><title>6&#45;&gt;15</title>
<path fill="none" stroke="black" d="M587.53,-114.016C599.379,-106.745 614.699,-97.3438 627.842,-89.2785"/>
<polygon fill="black" stroke="black" points="629.832,-92.1642 636.525,-83.9508 626.171,-86.1979 629.832,-92.1642"/>
</g>
<!-- 8 -->
<g id="node9" class="node"><title>8</title>
<ellipse fill="none" stroke="black" cx="387" cy="-72" rx="27" ry="18"/>
<text text-anchor="middle" x="387" y="-68.3" font-family="Times,serif" font-size="14.00">a</text>
</g>
<!-- 7&#45;&gt;8 -->
<g id="edge8" class="edge"><title>7&#45;&gt;8</title>
<path fill="none" stroke="black" d="M324.403,-72C332.393,-72 341.311,-72 349.824,-72"/>
<polygon fill="black" stroke="black" points="349.919,-75.5001 359.919,-72 349.919,-68.5001 349.919,-75.5001"/>
</g>
<!-- 9 -->
<g id="node10" class="node"><title>9</title>
<ellipse fill="none" stroke="black" cx="477" cy="-72" rx="27" ry="18"/>
<text text-anchor="middle" x="477" y="-68.3" font-family="Times,serif" font-size="14.00">b</text>
</g>
<!-- 8&#45;&gt;9 -->
<g id="edge9" class="edge"><title>8&#45;&gt;9</title>
<path fill="none" stroke="black" d="M414.403,-72C422.393,-72 431.311,-72 439.824,-72"/>
<polygon fill="black" stroke="black" points="439.919,-75.5001 449.919,-72 439.919,-68.5001 439.919,-75.5001"/>
</g>
<!-- 10 -->
<g id="node11" class="node"><title>10</title>
<ellipse fill="none" stroke="black" cx="567" cy="-72" rx="27" ry="18"/>
<text text-anchor="middle" x="567" y="-68.3" font-family="Times,serif" font-size="14.00">)</text>
</g>
<!-- 9&#45;&gt;10 -->
<g id="edge10" class="edge"><title>9&#45;&gt;10</title>
<path fill="none" stroke="black" d="M504.403,-72C512.393,-72 521.311,-72 529.824,-72"/>
<polygon fill="black" stroke="black" points="529.919,-75.5001 539.919,-72 529.919,-68.5001 529.919,-75.5001"/>
</g>
<!-- 10&#45;&gt;15 -->
<g id="edge16" class="edge"><title>10&#45;&gt;15</title>
<path fill="none" stroke="black" d="M594.403,-72C602.393,-72 611.311,-72 619.824,-72"/>
<polygon fill="black" stroke="black" points="619.919,-75.5001 629.919,-72 619.919,-68.5001 619.919,-75.5001"/>
</g>
<!-- 12 -->
<g id="node13" class="node"><title>12</title>
<ellipse fill="none" stroke="black" cx="387" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="387" y="-14.3" font-family="Times,serif" font-size="14.00">a</text>
</g>
<!-- 11&#45;&gt;12 -->
<g id="edge12" class="edge"><title>11&#45;&gt;12</title>
<path fill="none" stroke="black" d="M324.403,-18C332.393,-18 341.311,-18 349.824,-18"/>
<polygon fill="black" stroke="black" points="349.919,-21.5001 359.919,-18 349.919,-14.5001 349.919,-21.5001"/>
</g>
<!-- 13 -->
<g id="node14" class="node"><title>13</title>
<ellipse fill="none" stroke="black" cx="477" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="477" y="-14.3" font-family="Times,serif" font-size="14.00">b</text>
</g>
<!-- 12&#45;&gt;13 -->
<g id="edge13" class="edge"><title>12&#45;&gt;13</title>
<path fill="none" stroke="black" d="M414.403,-18C422.393,-18 431.311,-18 439.824,-18"/>
<polygon fill="black" stroke="black" points="439.919,-21.5001 449.919,-18 439.919,-14.5001 439.919,-21.5001"/>
</g>
<!-- 14 -->
<g id="node15" class="node"><title>14</title>
<ellipse fill="none" stroke="black" cx="567" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="567" y="-14.3" font-family="Times,serif" font-size="14.00">)</text>
</g>
<!-- 13&#45;&gt;14 -->
<g id="edge14" class="edge"><title>13&#45;&gt;14</title>
<path fill="none" stroke="black" d="M504.403,-18C512.393,-18 521.311,-18 529.824,-18"/>
<polygon fill="black" stroke="black" points="529.919,-21.5001 539.919,-18 529.919,-14.5001 529.919,-21.5001"/>
</g>
<!-- 14&#45;&gt;15 -->
<g id="edge17" class="edge"><title>14&#45;&gt;15</title>
<path fill="none" stroke="black" d="M587.53,-29.9844C599.379,-37.2552 614.699,-46.6562 627.842,-54.7215"/>
<polygon fill="black" stroke="black" points="626.171,-57.8021 636.525,-60.0492 629.832,-51.8358 626.171,-57.8021"/>
</g>
<!-- 16 -->
<g id="node17" class="node"><title>16</title>
<ellipse fill="none" stroke="black" cx="747" cy="-72" rx="27" ry="18"/>
<text text-anchor="middle" x="747" y="-68.3" font-family="Times,serif" font-size="14.00">c</text>
</g>
<!-- 15&#45;&gt;16 -->
<g id="edge18" class="edge"><title>15&#45;&gt;16</title>
<path fill="none" stroke="black" d="M684.403,-72C692.393,-72 701.311,-72 709.824,-72"/>
<polygon fill="black" stroke="black" points="709.919,-75.5001 719.919,-72 709.919,-68.5001 709.919,-75.5001"/>
</g>
</g>
</svg>