nokia_composer_dfa.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.26.3 (20100126.1600)
 -->
<!-- Title: Finite_Automata_Graph Pages: 1 -->
<svg width="989pt" height="626pt"
 viewBox="0.00 0.00 988.60 626.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph1" class="graph" transform="scale(1 1) rotate(0) translate(4 622)">
<title>Finite_Automata_Graph</title>
<polygon fill="white" stroke="white" points="-4,5 -4,-622 985.599,-622 985.599,5 -4,5"/>
<!-- 0 -->
<g id="node1" class="node"><title>0</title>
<ellipse fill="none" stroke="#000000" cx="555.599" cy="-600" rx="18" ry="18"/>
<text text-anchor="middle" x="555.599" y="-595.4" font-family="Times Roman,serif" font-size="14.00">0</text>
</g>
<!-- 1 -->
<g id="node2" class="node"><title>1</title>
<ellipse fill="none" stroke="#000000" cx="366.599" cy="-512" rx="18" ry="18"/>
<text text-anchor="middle" x="366.599" y="-507.4" font-family="Times Roman,serif" font-size="14.00">1</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge2" class="edge"><title>0&#45;&gt;1</title>
<path fill="none" stroke="black" d="M539.157,-592.345C506.205,-577.002 431.866,-542.389 392.379,-524.003"/>
<polygon fill="black" stroke="black" points="393.68,-520.749 383.137,-519.7 390.725,-527.094 393.68,-520.749"/>
<text text-anchor="middle" x="482.599" y="-551.4" font-family="Times Roman,serif" font-size="14.00">1</text>
</g>
<!-- 2 -->
<g id="node3" class="node"><title>2</title>
<ellipse fill="none" stroke="#000000" cx="666.599" cy="-419" rx="18" ry="18"/>
<text text-anchor="middle" x="666.599" y="-414.4" font-family="Times Roman,serif" font-size="14.00">2</text>
</g>
<!-- 0&#45;&gt;2 -->
<g id="edge4" class="edge"><title>0&#45;&gt;2</title>
<path fill="none" stroke="black" d="M565.062,-584.568C584.395,-553.044 628.548,-481.046 651.742,-443.226"/>
<polygon fill="black" stroke="black" points="654.915,-444.747 657.159,-434.393 648.947,-441.088 654.915,-444.747"/>
<text text-anchor="middle" x="624.599" y="-507.4" font-family="Times Roman,serif" font-size="14.00">2</text>
</g>
<!-- 3 -->
<g id="node4" class="node"><title>3</title>
<ellipse fill="none" stroke="#000000" cx="555.599" cy="-419" rx="18" ry="18"/>
<text text-anchor="middle" x="555.599" y="-414.4" font-family="Times Roman,serif" font-size="14.00">3</text>
</g>
<!-- 0&#45;&gt;3 -->
<g id="edge6" class="edge"><title>0&#45;&gt;3</title>
<path fill="none" stroke="black" d="M555.599,-581.983C555.599,-550.488 555.599,-485.191 555.599,-447.506"/>
<polygon fill="black" stroke="black" points="559.099,-447.212 555.599,-437.212 552.099,-447.212 559.099,-447.212"/>
<text text-anchor="middle" x="560.599" y="-507.4" font-family="Times Roman,serif" font-size="14.00">4</text>
</g>
<!-- 4 -->
<g id="node5" class="node"><title>4</title>
<ellipse fill="none" stroke="#000000" cx="822.599" cy="-419" rx="18" ry="18"/>
<text text-anchor="middle" x="822.599" y="-414.4" font-family="Times Roman,serif" font-size="14.00">4</text>
</g>
<!-- 0&#45;&gt;4 -->
<g id="edge8" class="edge"><title>0&#45;&gt;4</title>
<path fill="none" stroke="black" d="M570.719,-589.75C615.144,-559.634 745.506,-471.262 799.138,-434.904"/>
<polygon fill="black" stroke="black" points="801.331,-437.646 807.644,-429.138 797.403,-431.852 801.331,-437.646"/>
<text text-anchor="middle" x="715.599" y="-507.4" font-family="Times Roman,serif" font-size="14.00">8</text>
</g>
<!-- 5 -->
<g id="node6" class="node"><title>5</title>
<ellipse fill="none" stroke="#000000" cx="222.599" cy="-512" rx="18" ry="18"/>
<text text-anchor="middle" x="222.599" y="-507.4" font-family="Times Roman,serif" font-size="14.00">5</text>
</g>
<!-- 0&#45;&gt;5 -->
<g id="edge10" class="edge"><title>0&#45;&gt;5</title>
<path fill="none" stroke="black" d="M538.164,-595.393C483.669,-580.992 316.242,-536.747 249.993,-519.239"/>
<polygon fill="black" stroke="black" points="250.825,-515.839 240.262,-516.668 249.036,-522.607 250.825,-515.839"/>
<text text-anchor="middle" x="423.599" y="-551.4" font-family="Times Roman,serif" font-size="14.00">3</text>
</g>
<!-- 6 -->
<g id="node7" class="node"><title>6</title>
<ellipse fill="none" stroke="#000000" cx="271.599" cy="-419" rx="18" ry="18"/>
<text text-anchor="middle" x="271.599" y="-414.4" font-family="Times Roman,serif" font-size="14.00">6</text>
</g>
<!-- 1&#45;&gt;6 -->
<g id="edge12" class="edge"><title>1&#45;&gt;6</title>
<path fill="none" stroke="black" d="M349.006,-507.36C332.631,-502.206 308.566,-492.376 293.599,-476 286.085,-467.779 281.033,-456.713 277.689,-446.518"/>
<polygon fill="black" stroke="black" points="281.009,-445.398 274.885,-436.752 274.28,-447.33 281.009,-445.398"/>
<text text-anchor="middle" x="298.599" y="-463.4" font-family="Times Roman,serif" font-size="14.00">6</text>
</g>
<!-- 7 -->
<g id="node8" class="node"><title>7</title>
<ellipse fill="none" stroke="#000000" cx="426.599" cy="-326" rx="18" ry="18"/>
<text text-anchor="middle" x="426.599" y="-321.4" font-family="Times Roman,serif" font-size="14.00">7</text>
</g>
<!-- 1&#45;&gt;7 -->
<g id="edge14" class="edge"><title>1&#45;&gt;7</title>
<path fill="none" stroke="black" d="M372.136,-494.835C382.602,-462.39 405.358,-391.845 417.889,-352.999"/>
<polygon fill="black" stroke="black" points="421.249,-353.986 420.988,-343.394 414.587,-351.837 421.249,-353.986"/>
<text text-anchor="middle" x="416.099" y="-414.4" font-family="Times Roman,serif" font-size="14.00">/[.]/</text>
</g>
<!-- 8 -->
<g id="node9" class="node"><title>8</title>
<ellipse fill="none" stroke="#000000" cx="416.599" cy="-234" rx="18" ry="18"/>
<text text-anchor="middle" x="416.599" y="-229.4" font-family="Times Roman,serif" font-size="14.00">8</text>
</g>
<!-- 1&#45;&gt;8 -->
<g id="edge16" class="edge"><title>1&#45;&gt;8</title>
<path fill="none" stroke="black" d="M356.151,-497.135C338.8,-470.71 306.686,-413.488 314.599,-362 318.421,-337.131 317.622,-328.922 331.599,-308 351.576,-278.095 366.812,-279.998 393.599,-256 394.422,-255.263 395.257,-254.506 396.096,-253.738"/>
<polygon fill="black" stroke="black" points="398.691,-256.103 403.602,-246.715 393.909,-250.992 398.691,-256.103"/>
<text text-anchor="middle" x="331.599" y="-365.4" font-family="Times Roman,serif" font-size="14.00">/[#]/</text>
</g>
<!-- 9 -->
<g id="node10" class="node"><title>9</title>
<ellipse fill="none" stroke="#000000" cx="542.599" cy="-234" rx="18" ry="18"/>
<ellipse fill="none" stroke="#000000" cx="542.599" cy="-234" rx="22" ry="22"/>
<text text-anchor="middle" x="542.599" y="-229.4" font-family="Times Roman,serif" font-size="14.00">9</text>
</g>
<!-- 1&#45;&gt;9 -->
<g id="edge18" class="edge"><title>1&#45;&gt;9</title>
<path fill="none" stroke="black" d="M381.684,-501.714C414.795,-478.203 493.664,-416.895 528.599,-344 540.234,-319.721 543.335,-289.141 543.754,-266.39"/>
<polygon fill="black" stroke="black" points="547.254,-266.233 543.774,-256.226 540.254,-266.219 547.254,-266.233"/>
<text text-anchor="middle" x="531.099" y="-365.4" font-family="Times Roman,serif" font-size="14.00">/[&#45;]/</text>
</g>
<!-- 10 -->
<g id="node11" class="node"><title>10</title>
<ellipse fill="none" stroke="#000000" cx="363.599" cy="-133" rx="22.8079" ry="22.8079"/>
<ellipse fill="none" stroke="#000000" cx="363.599" cy="-133" rx="26.8079" ry="26.8079"/>
<text text-anchor="middle" x="363.599" y="-128.4" font-family="Times Roman,serif" font-size="14.00">10</text>
</g>
<!-- 1&#45;&gt;10 -->
<g id="edge20" class="edge"><title>1&#45;&gt;10</title>
<path fill="none" stroke="black" d="M349.231,-507.046C300.736,-492.123 164.371,-442.444 117.599,-344 69.0291,-241.773 248.658,-169.926 327.866,-143.83"/>
<polygon fill="black" stroke="black" points="329.012,-147.138 337.453,-140.734 326.861,-140.477 329.012,-147.138"/>
<text text-anchor="middle" x="140.099" y="-321.4" font-family="Times Roman,serif" font-size="14.00">/[a&#45;g]/</text>
</g>
<!-- 2&#45;&gt;7 -->
<g id="edge22" class="edge"><title>2&#45;&gt;7</title>
<path fill="none" stroke="black" d="M650.16,-411.15C624.899,-399.307 574.814,-376.698 530.599,-362 499.298,-351.595 489.247,-356.194 458.599,-344 456.022,-342.975 453.398,-341.778 450.815,-340.499"/>
<polygon fill="black" stroke="black" points="452.275,-337.31 441.811,-335.654 448.959,-343.474 452.275,-337.31"/>
<text text-anchor="middle" x="585.099" y="-365.4" font-family="Times Roman,serif" font-size="14.00">/[.]/</text>
</g>
<!-- 2&#45;&gt;8 -->
<g id="edge24" class="edge"><title>2&#45;&gt;8</title>
<path fill="none" stroke="black" d="M658.861,-402.317C647.187,-378.676 623.051,-335.274 591.599,-308 547.821,-270.038 481.726,-249.332 444.552,-240.074"/>
<polygon fill="black" stroke="black" points="444.978,-236.577 434.438,-237.661 443.353,-243.386 444.978,-236.577"/>
<text text-anchor="middle" x="639.599" y="-321.4" font-family="Times Roman,serif" font-size="14.00">/[#]/</text>
</g>
<!-- 2&#45;&gt;9 -->
<g id="edge26" class="edge"><title>2&#45;&gt;9</title>
<path fill="none" stroke="black" d="M680.236,-407.199C687.816,-399.704 696.52,-389.308 700.599,-378 707.708,-358.291 697.998,-318.987 689.599,-308 660.899,-270.458 607.926,-250.538 574.023,-241.139"/>
<polygon fill="black" stroke="black" points="574.722,-237.705 564.161,-238.553 572.946,-244.475 574.722,-237.705"/>
<text text-anchor="middle" x="714.099" y="-321.4" font-family="Times Roman,serif" font-size="14.00">/[&#45;]/</text>
</g>
<!-- 2&#45;&gt;10 -->
<g id="edge28" class="edge"><title>2&#45;&gt;10</title>
<path fill="none" stroke="black" d="M684.604,-415.847C733.907,-406.809 869.129,-379.191 894.599,-344 903.98,-331.039 903.34,-321.401 894.599,-308 815.208,-186.291 733.731,-219.932 594.599,-178 527.638,-157.819 446.951,-144.508 400.827,-137.901"/>
<polygon fill="black" stroke="black" points="401.091,-134.404 390.701,-136.479 400.117,-141.336 401.091,-134.404"/>
<text text-anchor="middle" x="904.099" y="-277.4" font-family="Times Roman,serif" font-size="14.00">/[a&#45;g]/</text>
</g>
<!-- 3&#45;&gt;7 -->
<g id="edge30" class="edge"><title>3&#45;&gt;7</title>
<path fill="none" stroke="black" d="M537.416,-416.184C514.533,-411.773 475.247,-401.209 450.599,-378 443.551,-371.364 438.393,-362.254 434.706,-353.512"/>
<polygon fill="black" stroke="black" points="437.915,-352.101 431.146,-343.95 431.355,-354.543 437.915,-352.101"/>
<text text-anchor="middle" x="464.099" y="-365.4" font-family="Times Roman,serif" font-size="14.00">/[.]/</text>
</g>
<!-- 3&#45;&gt;8 -->
<g id="edge32" class="edge"><title>3&#45;&gt;8</title>
<path fill="none" stroke="black" d="M548.645,-402.209C543.506,-390.538 535.97,-374.837 527.599,-362 500.486,-320.427 460.89,-278.048 437.047,-253.987"/>
<polygon fill="black" stroke="black" points="439.443,-251.434 429.895,-246.843 434.496,-256.386 439.443,-251.434"/>
<text text-anchor="middle" x="530.599" y="-321.4" font-family="Times Roman,serif" font-size="14.00">/[#]/</text>
</g>
<!-- 3&#45;&gt;9 -->
<g id="edge34" class="edge"><title>3&#45;&gt;9</title>
<path fill="none" stroke="black" d="M557.725,-400.98C560.531,-373.401 564.275,-319.169 556.599,-274 556.044,-270.736 555.252,-267.383 554.322,-264.074"/>
<polygon fill="black" stroke="black" points="557.61,-262.864 551.225,-254.41 550.944,-265.001 557.61,-262.864"/>
<text text-anchor="middle" x="574.099" y="-321.4" font-family="Times Roman,serif" font-size="14.00">/[&#45;]/</text>
</g>
<!-- 3&#45;&gt;10 -->
<g id="edge36" class="edge"><title>3&#45;&gt;10</title>
<path fill="none" stroke="black" d="M570.504,-408.686C589.471,-395.999 623.62,-374.599 655.599,-362 687.895,-349.276 710.067,-371.227 731.599,-344 741.523,-331.45 739.443,-321.945 731.599,-308 662.721,-185.555 479.262,-147.771 400.435,-136.982"/>
<polygon fill="black" stroke="black" points="400.837,-133.505 390.47,-135.687 399.935,-140.447 400.837,-133.505"/>
<text text-anchor="middle" x="740.099" y="-277.4" font-family="Times Roman,serif" font-size="14.00">/[a&#45;g]/</text>
</g>
<!-- 4&#45;&gt;7 -->
<g id="edge38" class="edge"><title>4&#45;&gt;7</title>
<path fill="none" stroke="black" d="M805.375,-413.724C768.52,-402.615 679.137,-376.635 602.599,-362 539.248,-349.886 519.855,-364.189 458.599,-344 455.965,-343.132 453.303,-342.039 450.697,-340.823"/>
<polygon fill="black" stroke="black" points="452.141,-337.628 441.663,-336.06 448.876,-343.82 452.141,-337.628"/>
<text text-anchor="middle" x="683.099" y="-365.4" font-family="Times Roman,serif" font-size="14.00">/[.]/</text>
</g>
<!-- 4&#45;&gt;8 -->
<g id="edge40" class="edge"><title>4&#45;&gt;8</title>
<path fill="none" stroke="black" d="M814.06,-402.955C800.17,-378.479 770.298,-332.123 731.599,-308 730.041,-307.029 520.749,-258.246 444.217,-240.427"/>
<polygon fill="black" stroke="black" points="444.868,-236.985 434.335,-238.127 443.281,-243.803 444.868,-236.985"/>
<text text-anchor="middle" x="788.599" y="-321.4" font-family="Times Roman,serif" font-size="14.00">/[#]/</text>
</g>
<!-- 4&#45;&gt;9 -->
<g id="edge42" class="edge"><title>4&#45;&gt;9</title>
<path fill="none" stroke="black" d="M832.863,-404.026C842.188,-389.448 855.274,-366.29 860.599,-344 868.384,-311.409 861.851,-290.342 832.599,-274 788.993,-249.639 641.387,-239.106 575.191,-235.528"/>
<polygon fill="black" stroke="black" points="575.093,-232.018 564.924,-234.994 574.729,-239.009 575.093,-232.018"/>
<text text-anchor="middle" x="877.099" y="-321.4" font-family="Times Roman,serif" font-size="14.00">/[&#45;]/</text>
</g>
<!-- 4&#45;&gt;10 -->
<g id="edge44" class="edge"><title>4&#45;&gt;10</title>
<path fill="none" stroke="black" d="M838.428,-410.165C875.57,-388.247 962.823,-329.153 930.599,-274 876.014,-180.576 518.632,-144.941 401.039,-135.659"/>
<polygon fill="black" stroke="black" points="400.983,-132.144 390.744,-134.865 400.445,-139.123 400.983,-132.144"/>
<text text-anchor="middle" x="958.099" y="-277.4" font-family="Times Roman,serif" font-size="14.00">/[a&#45;g]/</text>
</g>
<!-- 11 -->
<g id="node12" class="node"><title>11</title>
<ellipse fill="none" stroke="#000000" cx="70.5986" cy="-419" rx="22.8079" ry="22.8079"/>
<text text-anchor="middle" x="70.5986" y="-414.4" font-family="Times Roman,serif" font-size="14.00">11</text>
</g>
<!-- 5&#45;&gt;11 -->
<g id="edge46" class="edge"><title>5&#45;&gt;11</title>
<path fill="none" stroke="black" d="M204.736,-508.733C174.243,-502.856 113.861,-489.82 97.5986,-476 89.8579,-469.421 84.1816,-460.125 80.0902,-450.945"/>
<polygon fill="black" stroke="black" points="83.3052,-449.557 76.38,-441.539 76.7935,-452.125 83.3052,-449.557"/>
<text text-anchor="middle" x="102.599" y="-463.4" font-family="Times Roman,serif" font-size="14.00">2</text>
</g>
<!-- 6&#45;&gt;7 -->
<g id="edge48" class="edge"><title>6&#45;&gt;7</title>
<path fill="none" stroke="black" d="M288.105,-411.502C304.741,-403.749 330.976,-390.978 352.599,-378 353.937,-377.197 382.188,-357.312 403.386,-342.37"/>
<polygon fill="black" stroke="black" points="405.501,-345.162 411.658,-336.539 401.468,-339.44 405.501,-345.162"/>
<text text-anchor="middle" x="388.099" y="-365.4" font-family="Times Roman,serif" font-size="14.00">/[.]/</text>
</g>
<!-- 6&#45;&gt;8 -->
<g id="edge50" class="edge"><title>6&#45;&gt;8</title>
<path fill="none" stroke="black" d="M256.871,-408.27C230.971,-388.073 182.219,-343.271 206.599,-308 255.648,-237.037 316.818,-295.324 393.599,-256 394.582,-255.496 395.553,-254.937 396.506,-254.334"/>
<polygon fill="black" stroke="black" points="398.813,-256.972 404.512,-248.04 394.487,-251.468 398.813,-256.972"/>
<text text-anchor="middle" x="223.599" y="-321.4" font-family="Times Roman,serif" font-size="14.00">/[#]/</text>
</g>
<!-- 6&#45;&gt;9 -->
<g id="edge52" class="edge"><title>6&#45;&gt;9</title>
<path fill="none" stroke="black" d="M277.185,-401.77C281.666,-389.75 288.824,-373.81 298.599,-362 324.558,-330.635 336.312,-326.464 372.599,-308 395.899,-296.144 404.358,-299.789 428.599,-290 458.476,-277.935 491.388,-261.398 514.136,-249.425"/>
<polygon fill="black" stroke="black" points="516.033,-252.38 523.224,-244.599 512.751,-246.198 516.033,-252.38"/>
<text text-anchor="middle" x="386.099" y="-321.4" font-family="Times Roman,serif" font-size="14.00">/[&#45;]/</text>
</g>
<!-- 6&#45;&gt;10 -->
<g id="edge54" class="edge"><title>6&#45;&gt;10</title>
<path fill="none" stroke="black" d="M254.71,-412.595C239.584,-406.05 217.809,-394.501 204.599,-378 174.533,-340.446 153.03,-317.001 174.599,-274 206.832,-209.739 283.782,-167.29 328.93,-146.968"/>
<polygon fill="black" stroke="black" points="330.57,-150.071 338.324,-142.852 327.76,-143.66 330.57,-150.071"/>
<text text-anchor="middle" x="197.099" y="-277.4" font-family="Times Roman,serif" font-size="14.00">/[a&#45;g]/</text>
</g>
<!-- 7&#45;&gt;8 -->
<g id="edge56" class="edge"><title>7&#45;&gt;8</title>
<path fill="none" stroke="black" d="M422.618,-308.133C421.47,-302.372 420.332,-295.94 419.599,-290 418.497,-281.069 417.799,-271.288 417.358,-262.435"/>
<polygon fill="black" stroke="black" points="420.846,-262.062 416.937,-252.215 413.852,-262.35 420.846,-262.062"/>
<text text-anchor="middle" x="436.599" y="-277.4" font-family="Times Roman,serif" font-size="14.00">/[#]/</text>
</g>
<!-- 7&#45;&gt;9 -->
<g id="edge58" class="edge"><title>7&#45;&gt;9</title>
<path fill="none" stroke="black" d="M440.823,-314.719C459.789,-299.677 493.686,-272.792 517.12,-254.208"/>
<polygon fill="black" stroke="black" points="519.572,-256.73 525.232,-247.773 515.222,-251.245 519.572,-256.73"/>
<text text-anchor="middle" x="504.099" y="-277.4" font-family="Times Roman,serif" font-size="14.00">/[&#45;]/</text>
</g>
<!-- 7&#45;&gt;10 -->
<g id="edge60" class="edge"><title>7&#45;&gt;10</title>
<path fill="none" stroke="black" d="M411.793,-315.712C390.168,-300.323 351.732,-271.468 344.599,-256 331.658,-227.938 339.106,-192.842 348.201,-167.33"/>
<polygon fill="black" stroke="black" points="351.574,-168.306 351.866,-157.715 345.033,-165.813 351.574,-168.306"/>
<text text-anchor="middle" x="367.099" y="-229.4" font-family="Times Roman,serif" font-size="14.00">/[a&#45;g]/</text>
</g>
<!-- 8&#45;&gt;10 -->
<g id="edge62" class="edge"><title>8&#45;&gt;10</title>
<path fill="none" stroke="black" d="M408.083,-217.773C400.825,-203.94 390.157,-183.612 381.088,-166.329"/>
<polygon fill="black" stroke="black" points="383.992,-164.33 376.246,-157.102 377.794,-167.583 383.992,-164.33"/>
<text text-anchor="middle" x="417.099" y="-181.4" font-family="Times Roman,serif" font-size="14.00">/[a&#45;g]/</text>
</g>
<!-- 12 -->
<g id="node13" class="node"><title>12</title>
<ellipse fill="none" stroke="#000000" cx="363.599" cy="-27" rx="22.8079" ry="22.8079"/>
<ellipse fill="none" stroke="#000000" cx="363.599" cy="-27" rx="26.8079" ry="26.8079"/>
<text text-anchor="middle" x="363.599" y="-22.4" font-family="Times Roman,serif" font-size="14.00">12</text>
</g>
<!-- 10&#45;&gt;12 -->
<g id="edge64" class="edge"><title>10&#45;&gt;12</title>
<path fill="none" stroke="black" d="M363.599,-105.977C363.599,-93.3667 363.599,-78.1491 363.599,-64.4516"/>
<polygon fill="black" stroke="black" points="367.099,-64.3417 363.599,-54.3418 360.099,-64.3418 367.099,-64.3417"/>
<text text-anchor="middle" x="386.099" y="-75.4" font-family="Times Roman,serif" font-size="14.00">/[1&#45;3]/</text>
</g>
<!-- 11&#45;&gt;7 -->
<g id="edge66" class="edge"><title>11&#45;&gt;7</title>
<path fill="none" stroke="black" d="M92.6149,-411.576C128.901,-399.586 203.716,-375.904 268.599,-362 323.911,-350.147 341.03,-362.178 394.599,-344 397.224,-343.109 399.882,-342.001 402.484,-340.776"/>
<polygon fill="black" stroke="black" points="404.31,-343.769 411.514,-336 401.038,-337.581 404.31,-343.769"/>
<text text-anchor="middle" x="282.099" y="-365.4" font-family="Times Roman,serif" font-size="14.00">/[.]/</text>
</g>
<!-- 11&#45;&gt;8 -->
<g id="edge68" class="edge"><title>11&#45;&gt;8</title>
<path fill="none" stroke="black" d="M53.0434,-403.474C29.1344,-380.493 -7.93061,-337.022 17.5986,-308 38.3162,-284.448 126.797,-295.931 157.599,-290 185.544,-284.619 191.589,-279.034 219.599,-274 296.119,-260.248 323.032,-288.631 393.599,-256 394.602,-255.536 395.588,-255.011 396.555,-254.436"/>
<polygon fill="black" stroke="black" points="398.805,-257.121 404.622,-248.267 394.553,-251.561 398.805,-257.121"/>
<text text-anchor="middle" x="34.5986" y="-321.4" font-family="Times Roman,serif" font-size="14.00">/[#]/</text>
</g>
<!-- 11&#45;&gt;9 -->
<g id="edge70" class="edge"><title>11&#45;&gt;9</title>
<path fill="none" stroke="black" d="M92.0243,-409.947C134.655,-391.876 227.175,-352.346 240.599,-344 261.766,-330.84 260.87,-318.23 283.599,-308 332.776,-285.864 352.649,-307.68 403.599,-290 417.139,-285.301 418.586,-280.008 431.599,-274 457.887,-261.864 488.986,-250.935 511.568,-243.58"/>
<polygon fill="black" stroke="black" points="512.843,-246.847 521.297,-240.46 510.706,-240.181 512.843,-246.847"/>
<text text-anchor="middle" x="297.099" y="-321.4" font-family="Times Roman,serif" font-size="14.00">/[&#45;]/</text>
</g>
<!-- 11&#45;&gt;10 -->
<g id="edge72" class="edge"><title>11&#45;&gt;10</title>
<path fill="none" stroke="black" d="M50.4031,-407.883C39.0293,-400.698 25.3862,-390.384 16.5986,-378 7.40737,-365.047 8.0733,-359.688 5.59863,-344 -6.48986,-267.364 -2.64402,-224.314 59.5986,-178 101.126,-147.1 254.352,-137.189 326.092,-134.202"/>
<polygon fill="black" stroke="black" points="326.614,-137.684 336.469,-133.795 326.34,-130.689 326.614,-137.684"/>
<text text-anchor="middle" x="23.0986" y="-277.4" font-family="Times Roman,serif" font-size="14.00">/[a&#45;g]/</text>
</g>
</g>
</svg>