Created
April 9, 2013 16:38
-
-
Save vchahun/5347247 to your computer and use it in GitHub Desktop.
Banana lattices.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "metadata": { | |
| "name": "pyfst-banana" | |
| }, | |
| "nbformat": 3, | |
| "nbformat_minor": 0, | |
| "worksheets": [ | |
| { | |
| "cells": [ | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "execfile('/Users/vchahun/Sandbox/pyfst/env/bin/activate_this.py', {'__file__': '/Users/vchahun/Sandbox/pyfst/env/bin/activate_this.py'})\nimport os\nos.environ.update({'PATH':os.environ.get('PATH')+':/usr/local/bin'})", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [], | |
| "prompt_number": 1 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "import fst\nimport random\nimport math", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [], | |
| "prompt_number": 15 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "def substrings(word):\n for i in range(len(word)+1):\n for j in range(i+1, len(word)+1):\n yield word[i:j]", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [], | |
| "prompt_number": 4 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "def linear_chain(s, syms, w):\n t = fst.SimpleFst(syms, syms)\n for i, c in enumerate(s):\n t.add_arc(i, i+1, c, c)\n t[i+1].final = w\n return t", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [], | |
| "prompt_number": 28 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "t = fst.Acceptor()\nfor sub in substrings('banana'):\n t.set_union(linear_chain(sub, t.isyms, -math.log(random.random())))", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [], | |
| "prompt_number": 29 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "t", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [ | |
| { | |
| "output_type": "pyout", | |
| "prompt_number": 30, | |
| "svg": "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n<!-- Generated by graphviz version 2.28.0 (20111028.1807)\n -->\n<!-- Title: FST Pages: 1 -->\n<svg width=\"559pt\" height=\"792pt\"\n viewBox=\"0.00 0.00 559.17 792.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph1\" class=\"graph\" transform=\"scale(0.467532 0.467532) rotate(0) translate(4 1690)\">\n<title>FST</title>\n<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-1690 1193,-1690 1193,5 -4,5\"/>\n<!-- 0 -->\n<g id=\"node1\" class=\"node\"><title>0</title>\n<ellipse fill=\"none\" stroke=\"black\" stroke-width=\"2\" cx=\"18\" cy=\"-934\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"18\" y=\"-928.4\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n</g>\n<!-- 1 -->\n<g id=\"node3\" class=\"node\"><title>1</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-1581\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-1575.4\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n</g>\n<!-- 0->1 -->\n<g id=\"edge2\" class=\"edge\"><title>0->1</title>\n<path fill=\"none\" stroke=\"black\" d=\"M19.3971,-951.992C21.2573,-1031.24 29.9214,-1349.53 51,-1447 59.4912,-1486.26 77.5444,-1529.28 89.7293,-1555.71\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"86.6647,-1557.42 94.0798,-1564.98 93.0022,-1554.44 86.6647,-1557.42\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-1501.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 3 -->\n<g id=\"node5\" class=\"node\"><title>3</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-1481\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-1475.4\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n</g>\n<!-- 0->3 -->\n<g id=\"edge4\" class=\"edge\"><title>0->3</title>\n<path fill=\"none\" stroke=\"black\" d=\"M19.3364,-952.029C20.8579,-1025.95 28.0495,-1305.96 51,-1391 57.7342,-1415.95 73.0144,-1441.29 85.1039,-1458.7\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"82.405,-1460.94 91.0729,-1467.03 88.0961,-1456.87 82.405,-1460.94\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-1429.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 6 -->\n<g id=\"node7\" class=\"node\"><title>6</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-1427\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-1421.4\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n</g>\n<!-- 0->6 -->\n<g id=\"edge6\" class=\"edge\"><title>0->6</title>\n<path fill=\"none\" stroke=\"black\" d=\"M19.6695,-952.208C22.2759,-1019.69 32.5255,-1255.34 51,-1328 59.384,-1360.98 65.38,-1368.31 82,-1398 83.1408,-1400.04 84.3863,-1402.11 85.6799,-1404.17\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"83.0275,-1406.5 91.4829,-1412.89 88.8542,-1402.62 83.0275,-1406.5\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-1373.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 10 -->\n<g id=\"node9\" class=\"node\"><title>10</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-1369\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-1363.4\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n</g>\n<!-- 0->10 -->\n<g id=\"edge8\" class=\"edge\"><title>0->10</title>\n<path fill=\"none\" stroke=\"black\" d=\"M18.8696,-952.209C18.9114,-1002.61 21.7638,-1147.9 51,-1264 59.7075,-1298.58 65.381,-1306.45 82,-1338 83.0429,-1339.98 84.1737,-1342 85.3489,-1344\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"82.4196,-1345.92 90.6509,-1352.59 88.3761,-1342.24 82.4196,-1345.92\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-1310.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 15 -->\n<g id=\"node11\" class=\"node\"><title>15</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-1309\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-1303.4\" font-family=\"Times,serif\" font-size=\"14.00\">15</text>\n</g>\n<!-- 0->15 -->\n<g id=\"edge10\" class=\"edge\"><title>0->15</title>\n<path fill=\"none\" stroke=\"black\" d=\"M19.5974,-952.221C21.3628,-995.502 27.9758,-1107.63 51,-1198 60.2097,-1234.15 65.3861,-1242.6 82,-1276 83.2167,-1278.45 84.5534,-1280.95 85.9408,-1283.43\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"82.9898,-1285.32 91.0649,-1292.18 89.0295,-1281.78 82.9898,-1285.32\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-1246.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 21 -->\n<g id=\"node13\" class=\"node\"><title>21</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-1247\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-1241.4\" font-family=\"Times,serif\" font-size=\"14.00\">21</text>\n</g>\n<!-- 0->21 -->\n<g id=\"edge12\" class=\"edge\"><title>0->21</title>\n<path fill=\"none\" stroke=\"black\" d=\"M20.4742,-952.041C23.6837,-987.592 32.5446,-1068.98 51,-1135 60.8212,-1170.13 66.2248,-1178.11 82,-1211 83.5305,-1214.19 85.2168,-1217.49 86.9416,-1220.75\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"83.9378,-1222.55 91.8064,-1229.64 90.0795,-1219.19 83.9378,-1222.55\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-1180.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 28 -->\n<g id=\"node15\" class=\"node\"><title>28</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-1182\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-1176.4\" font-family=\"Times,serif\" font-size=\"14.00\">28</text>\n</g>\n<!-- 0->28 -->\n<g id=\"edge14\" class=\"edge\"><title>0->28</title>\n<path fill=\"none\" stroke=\"black\" d=\"M21.6472,-951.981C25.9966,-979.453 35.7271,-1033.29 51,-1077 60.7389,-1104.87 75.9103,-1135.03 87.1769,-1155.84\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"84.1631,-1157.62 92.0451,-1164.7 90.2986,-1154.25 84.1631,-1157.62\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-1117.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 30 -->\n<g id=\"node17\" class=\"node\"><title>30</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-1111\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-1105.4\" font-family=\"Times,serif\" font-size=\"14.00\">30</text>\n</g>\n<!-- 0->30 -->\n<g id=\"edge16\" class=\"edge\"><title>0->30</title>\n<path fill=\"none\" stroke=\"black\" d=\"M23.8399,-951.175C29.4248,-970.129 39.3509,-1001.35 51,-1027 62.4423,-1052.2 67.4277,-1057.47 82,-1081 82.9291,-1082.5 83.8961,-1084.03 84.8813,-1085.57\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"82.1883,-1087.85 90.5874,-1094.31 88.0487,-1084.02 82.1883,-1087.85\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-1059.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 33 -->\n<g id=\"node19\" class=\"node\"><title>33</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-1052\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-1046.4\" font-family=\"Times,serif\" font-size=\"14.00\">33</text>\n</g>\n<!-- 0->33 -->\n<g id=\"edge18\" class=\"edge\"><title>0->33</title>\n<path fill=\"none\" stroke=\"black\" d=\"M27.7575,-949.621C33.9324,-960.346 42.5729,-974.793 51,-987 60.8656,-1001.29 72.8057,-1016.6 82.6519,-1028.77\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"80.0459,-1031.11 89.0828,-1036.64 85.4671,-1026.69 80.0459,-1031.11\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-1009.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 37 -->\n<g id=\"node21\" class=\"node\"><title>37</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-993\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-987.4\" font-family=\"Times,serif\" font-size=\"14.00\">37</text>\n</g>\n<!-- 0->37 -->\n<g id=\"edge20\" class=\"edge\"><title>0->37</title>\n<path fill=\"none\" stroke=\"black\" d=\"M33.0798,-944.009C45.183,-952.612 62.9183,-965.219 77.3666,-975.49\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"75.6799,-978.585 85.8583,-981.526 79.7355,-972.879 75.6799,-978.585\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-969.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 42 -->\n<g id=\"node23\" class=\"node\"><title>42</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-934\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-928.4\" font-family=\"Times,serif\" font-size=\"14.00\">42</text>\n</g>\n<!-- 0->42 -->\n<g id=\"edge22\" class=\"edge\"><title>0->42</title>\n<path fill=\"none\" stroke=\"black\" d=\"M36.1977,-934C46.5541,-934 60.0282,-934 72.0844,-934\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"72.2002,-937.5 82.2002,-934 72.2001,-930.5 72.2002,-937.5\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-936.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 48 -->\n<g id=\"node25\" class=\"node\"><title>48</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-875\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-869.4\" font-family=\"Times,serif\" font-size=\"14.00\">48</text>\n</g>\n<!-- 0->48 -->\n<g id=\"edge24\" class=\"edge\"><title>0->48</title>\n<path fill=\"none\" stroke=\"black\" d=\"M33.0798,-923.991C45.183,-915.388 62.9183,-902.781 77.3666,-892.51\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"79.7355,-895.121 85.8583,-886.474 75.6799,-889.415 79.7355,-895.121\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-911.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 50 -->\n<g id=\"node27\" class=\"node\"><title>50</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-815\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-809.4\" font-family=\"Times,serif\" font-size=\"14.00\">50</text>\n</g>\n<!-- 0->50 -->\n<g id=\"edge26\" class=\"edge\"><title>0->50</title>\n<path fill=\"none\" stroke=\"black\" d=\"M27.3927,-918.284C33.538,-907.126 42.2919,-891.931 51,-879.2 60.7293,-864.976 72.662,-849.848 82.5383,-837.852\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"85.2864,-840.021 88.9948,-830.096 79.9067,-835.542 85.2864,-840.021\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-881.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 53 -->\n<g id=\"node29\" class=\"node\"><title>53</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-755\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-749.4\" font-family=\"Times,serif\" font-size=\"14.00\">53</text>\n</g>\n<!-- 0->53 -->\n<g id=\"edge28\" class=\"edge\"><title>0->53</title>\n<path fill=\"none\" stroke=\"black\" d=\"M23.4693,-916.789C28.8596,-897.096 38.7426,-864.098 51,-837.2 62.189,-812.647 67.6226,-807.833 82,-785 82.9402,-783.507 83.9158,-781.979 84.9076,-780.442\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"88.072,-781.999 90.632,-771.718 82.2195,-778.159 88.072,-781.999\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-840.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 57 -->\n<g id=\"node31\" class=\"node\"><title>57</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-694\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-688.4\" font-family=\"Times,serif\" font-size=\"14.00\">57</text>\n</g>\n<!-- 0->57 -->\n<g id=\"edge30\" class=\"edge\"><title>0->57</title>\n<path fill=\"none\" stroke=\"black\" d=\"M21.4554,-915.981C25.6079,-887.894 35.1489,-832.226 51,-787.2 61.2567,-758.065 66.7153,-751.841 82,-725 83.1073,-723.056 84.2849,-721.064 85.4929,-719.076\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"88.5093,-720.854 90.8607,-710.523 82.5802,-717.132 88.5093,-720.854\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-790.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 62 -->\n<g id=\"node33\" class=\"node\"><title>62</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-631\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-625.4\" font-family=\"Times,serif\" font-size=\"14.00\">62</text>\n</g>\n<!-- 0->62 -->\n<g id=\"edge32\" class=\"edge\"><title>0->62</title>\n<path fill=\"none\" stroke=\"black\" d=\"M20.1706,-915.998C22.8642,-880.142 30.8862,-797.546 51,-731.2 59.1155,-704.431 74.1264,-676.233 85.7698,-656.594\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"88.8201,-658.314 91.0076,-647.948 82.8329,-654.687 88.8201,-658.314\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-734.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 64 -->\n<g id=\"node35\" class=\"node\"><title>64</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-563\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-557.4\" font-family=\"Times,serif\" font-size=\"14.00\">64</text>\n</g>\n<!-- 0->64 -->\n<g id=\"edge34\" class=\"edge\"><title>0->64</title>\n<path fill=\"none\" stroke=\"black\" d=\"M19.4632,-915.957C20.9387,-873.109 26.9704,-762.159 51,-673.2 59.141,-643.062 74.929,-610.916 86.7929,-589.17\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"89.9584,-590.68 91.7645,-580.24 83.8423,-587.275 89.9584,-590.68\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-676.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 67 -->\n<g id=\"node37\" class=\"node\"><title>67</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-486\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-480.4\" font-family=\"Times,serif\" font-size=\"14.00\">67</text>\n</g>\n<!-- 0->67 -->\n<g id=\"edge36\" class=\"edge\"><title>0->67</title>\n<path fill=\"none\" stroke=\"black\" d=\"M18.973,-915.734C19.2879,-865.837 22.791,-723.339 51,-609.2 59.5316,-574.679 76.1869,-537.229 88.1451,-512.793\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"91.305,-514.299 92.6289,-503.787 85.0387,-511.179 91.305,-514.299\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-612.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 71 -->\n<g id=\"node39\" class=\"node\"><title>71</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-392\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-386.4\" font-family=\"Times,serif\" font-size=\"14.00\">71</text>\n</g>\n<!-- 0->71 -->\n<g id=\"edge38\" class=\"edge\"><title>0->71</title>\n<path fill=\"none\" stroke=\"black\" d=\"M18.8717,-915.713C18.8173,-859.192 21.2185,-682.536 51,-540.2 59.9727,-497.316 77.834,-449.75 89.8529,-420.356\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"93.2371,-421.332 93.8364,-410.754 86.7715,-418.649 93.2371,-421.332\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-543.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 73 -->\n<g id=\"node41\" class=\"node\"><title>73</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-263\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-257.4\" font-family=\"Times,serif\" font-size=\"14.00\">73</text>\n</g>\n<!-- 0->73 -->\n<g id=\"edge40\" class=\"edge\"><title>0->73</title>\n<path fill=\"none\" stroke=\"black\" d=\"M19.0409,-915.868C19.4348,-852.797 22.8913,-637.29 51,-462.2 60.8533,-400.824 80.898,-330.781 92.7112,-292.258\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"96.192,-292.849 95.8095,-282.261 89.5058,-290.777 96.192,-292.849\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-465.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 76 -->\n<g id=\"node43\" class=\"node\"><title>76</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"103\" cy=\"-64\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"103\" y=\"-58.4\" font-family=\"Times,serif\" font-size=\"14.00\">76</text>\n</g>\n<!-- 0->76 -->\n<g id=\"edge42\" class=\"edge\"><title>0->76</title>\n<path fill=\"none\" stroke=\"black\" d=\"M19.314,-915.928C20.6849,-845.678 27.19,-584.075 51,-370.2 62.3479,-268.266 85.009,-148.666 95.8912,-94.0005\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"99.3705,-94.4505 97.9037,-83.9577 92.507,-93.075 99.3705,-94.4505\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 2 -->\n<g id=\"node45\" class=\"node\"><title>2</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-1628\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-1628\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-1622.4\" font-family=\"Times,serif\" font-size=\"14.00\">2/0.109378</text>\n</g>\n<!-- 1->2 -->\n<g id=\"edge44\" class=\"edge\"><title>1->2</title>\n<path fill=\"none\" stroke=\"black\" d=\"M120.063,-1586.76C132.98,-1591.4 152.029,-1598.23 170.921,-1605.01\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"169.858,-1608.35 180.452,-1608.43 172.221,-1601.76 169.858,-1608.35\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-1600.8\" font-family=\"Times,serif\" font-size=\"14.00\">b:b</text>\n</g>\n<!-- 4 -->\n<g id=\"node47\" class=\"node\"><title>4</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-1533\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-1527.4\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n</g>\n<!-- 3->4 -->\n<g id=\"edge46\" class=\"edge\"><title>3->4</title>\n<path fill=\"none\" stroke=\"black\" d=\"M120.063,-1487.38C142.357,-1496.23 182.92,-1512.33 209.41,-1522.84\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"208.22,-1526.14 218.805,-1526.57 210.802,-1519.63 208.22,-1526.14\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-1502.8\" font-family=\"Times,serif\" font-size=\"14.00\">b:b</text>\n</g>\n<!-- 7 -->\n<g id=\"node51\" class=\"node\"><title>7</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-1479\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-1473.4\" font-family=\"Times,serif\" font-size=\"14.00\">7</text>\n</g>\n<!-- 6->7 -->\n<g id=\"edge50\" class=\"edge\"><title>6->7</title>\n<path fill=\"none\" stroke=\"black\" d=\"M120.063,-1433.38C142.357,-1442.23 182.92,-1458.33 209.41,-1468.84\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"208.22,-1472.14 218.805,-1472.57 210.802,-1465.63 208.22,-1472.14\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-1448.8\" font-family=\"Times,serif\" font-size=\"14.00\">b:b</text>\n</g>\n<!-- 11 -->\n<g id=\"node57\" class=\"node\"><title>11</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-1423\" rx=\"20.1809\" ry=\"20.1809\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-1417.4\" font-family=\"Times,serif\" font-size=\"14.00\">11</text>\n</g>\n<!-- 10->11 -->\n<g id=\"edge56\" class=\"edge\"><title>10->11</title>\n<path fill=\"none\" stroke=\"black\" d=\"M122.491,-1376.62C144.657,-1385.76 182.003,-1401.15 207.541,-1411.68\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"206.444,-1415.01 217.023,-1415.59 209.112,-1408.54 206.444,-1415.01\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-1391.8\" font-family=\"Times,serif\" font-size=\"14.00\">b:b</text>\n</g>\n<!-- 16 -->\n<g id=\"node65\" class=\"node\"><title>16</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-1364\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-1358.4\" font-family=\"Times,serif\" font-size=\"14.00\">16</text>\n</g>\n<!-- 15->16 -->\n<g id=\"edge64\" class=\"edge\"><title>15->16</title>\n<path fill=\"none\" stroke=\"black\" d=\"M122.215,-1316.65C144.186,-1325.87 181.355,-1341.48 206.984,-1352.24\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"205.942,-1355.6 216.517,-1356.24 208.652,-1349.14 205.942,-1355.6\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-1331.8\" font-family=\"Times,serif\" font-size=\"14.00\">b:b</text>\n</g>\n<!-- 22 -->\n<g id=\"node75\" class=\"node\"><title>22</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-1305\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-1299.4\" font-family=\"Times,serif\" font-size=\"14.00\">22</text>\n</g>\n<!-- 21->22 -->\n<g id=\"edge74\" class=\"edge\"><title>21->22</title>\n<path fill=\"none\" stroke=\"black\" d=\"M122.215,-1255.06C144.408,-1264.89 182.108,-1281.58 207.757,-1292.94\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"206.379,-1296.16 216.94,-1297 209.213,-1289.76 206.379,-1296.16\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-1271.8\" font-family=\"Times,serif\" font-size=\"14.00\">b:b</text>\n</g>\n<!-- 29 -->\n<g id=\"node87\" class=\"node\"><title>29</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-1208\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-1208\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-1202.4\" font-family=\"Times,serif\" font-size=\"14.00\">29/2.55307</text>\n</g>\n<!-- 28->29 -->\n<g id=\"edge86\" class=\"edge\"><title>28->29</title>\n<path fill=\"none\" stroke=\"black\" d=\"M123.33,-1185.84C135.353,-1188.22 151.6,-1191.45 167.974,-1194.7\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"167.659,-1198.2 178.149,-1196.72 169.021,-1191.34 167.659,-1198.2\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-1193.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 31 -->\n<g id=\"node89\" class=\"node\"><title>31</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-1111\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-1105.4\" font-family=\"Times,serif\" font-size=\"14.00\">31</text>\n</g>\n<!-- 30->31 -->\n<g id=\"edge88\" class=\"edge\"><title>30->31</title>\n<path fill=\"none\" stroke=\"black\" d=\"M123.896,-1111C145.344,-1111 179.744,-1111 204.588,-1111\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"204.917,-1114.5 214.917,-1111 204.917,-1107.5 204.917,-1114.5\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-1113.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 34 -->\n<g id=\"node93\" class=\"node\"><title>34</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-1052\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-1046.4\" font-family=\"Times,serif\" font-size=\"14.00\">34</text>\n</g>\n<!-- 33->34 -->\n<g id=\"edge92\" class=\"edge\"><title>33->34</title>\n<path fill=\"none\" stroke=\"black\" d=\"M123.896,-1052C145.344,-1052 179.744,-1052 204.588,-1052\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"204.917,-1055.5 214.917,-1052 204.917,-1048.5 204.917,-1055.5\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-1054.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 38 -->\n<g id=\"node99\" class=\"node\"><title>38</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-993\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-987.4\" font-family=\"Times,serif\" font-size=\"14.00\">38</text>\n</g>\n<!-- 37->38 -->\n<g id=\"edge98\" class=\"edge\"><title>37->38</title>\n<path fill=\"none\" stroke=\"black\" d=\"M123.896,-993C145.344,-993 179.744,-993 204.588,-993\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"204.917,-996.5 214.917,-993 204.917,-989.5 204.917,-996.5\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-995.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 43 -->\n<g id=\"node107\" class=\"node\"><title>43</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-934\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-928.4\" font-family=\"Times,serif\" font-size=\"14.00\">43</text>\n</g>\n<!-- 42->43 -->\n<g id=\"edge106\" class=\"edge\"><title>42->43</title>\n<path fill=\"none\" stroke=\"black\" d=\"M123.896,-934C145.344,-934 179.744,-934 204.588,-934\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"204.917,-937.5 214.917,-934 204.917,-930.5 204.917,-937.5\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-936.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 49 -->\n<g id=\"node117\" class=\"node\"><title>49</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-832\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-832\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-826.4\" font-family=\"Times,serif\" font-size=\"14.00\">49/0.509086</text>\n</g>\n<!-- 48->49 -->\n<g id=\"edge116\" class=\"edge\"><title>48->49</title>\n<path fill=\"none\" stroke=\"black\" d=\"M122.769,-868.839C134.252,-865.07 149.734,-859.988 165.525,-854.805\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"166.954,-858.019 175.364,-851.575 164.771,-851.369 166.954,-858.019\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-865.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 51 -->\n<g id=\"node119\" class=\"node\"><title>51</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-730\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-724.4\" font-family=\"Times,serif\" font-size=\"14.00\">51</text>\n</g>\n<!-- 50->51 -->\n<g id=\"edge118\" class=\"edge\"><title>50->51</title>\n<path fill=\"none\" stroke=\"black\" d=\"M118.539,-801.137C131.76,-789.007 152.177,-771.433 172,-759 182.966,-752.122 195.833,-745.907 207.069,-741.01\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"208.579,-744.172 216.435,-737.063 205.861,-737.721 208.579,-744.172\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-786.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 54 -->\n<g id=\"node123\" class=\"node\"><title>54</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-671\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-665.4\" font-family=\"Times,serif\" font-size=\"14.00\">54</text>\n</g>\n<!-- 53->54 -->\n<g id=\"edge122\" class=\"edge\"><title>53->54</title>\n<path fill=\"none\" stroke=\"black\" d=\"M118.582,-741.406C131.83,-729.508 152.265,-712.256 172,-700 182.997,-693.171 195.868,-686.963 207.1,-682.059\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"208.612,-685.22 216.46,-678.102 205.886,-678.772 208.612,-685.22\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-726.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 58 -->\n<g id=\"node129\" class=\"node\"><title>58</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-612\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-606.4\" font-family=\"Times,serif\" font-size=\"14.00\">58</text>\n</g>\n<!-- 57->58 -->\n<g id=\"edge128\" class=\"edge\"><title>57->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M118.927,-680.722C132.237,-669.295 152.565,-652.828 172,-641 183.058,-634.27 195.939,-628.078 207.161,-623.159\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"208.677,-626.318 216.509,-619.183 205.937,-619.877 208.677,-626.318\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-667.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 63 -->\n<g id=\"node137\" class=\"node\"><title>63</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-515\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-515\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-509.4\" font-family=\"Times,serif\" font-size=\"14.00\">63/0.23403</text>\n</g>\n<!-- 62->63 -->\n<g id=\"edge136\" class=\"edge\"><title>62->63</title>\n<path fill=\"none\" stroke=\"black\" d=\"M119.027,-617.693C134.847,-603.685 160.633,-580.851 183.878,-560.268\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"186.48,-562.64 191.646,-553.39 181.839,-557.399 186.48,-562.64\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-602.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 65 -->\n<g id=\"node139\" class=\"node\"><title>65</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-418\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-412.4\" font-family=\"Times,serif\" font-size=\"14.00\">65</text>\n</g>\n<!-- 64->65 -->\n<g id=\"edge138\" class=\"edge\"><title>64->65</title>\n<path fill=\"none\" stroke=\"black\" d=\"M112.863,-544.993C127.304,-516.206 155.909,-461.574 172,-447 181.732,-438.185 194.605,-431.618 206.177,-426.983\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"207.728,-430.141 215.9,-423.399 205.307,-423.573 207.728,-430.141\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-496.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 68 -->\n<g id=\"node143\" class=\"node\"><title>68</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-359\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-353.4\" font-family=\"Times,serif\" font-size=\"14.00\">68</text>\n</g>\n<!-- 67->68 -->\n<g id=\"edge142\" class=\"edge\"><title>67->68</title>\n<path fill=\"none\" stroke=\"black\" d=\"M109.268,-466.277C114.571,-449.353 124.12,-425.093 139,-408.2 156.846,-387.939 185.038,-374.895 206.263,-367.365\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"207.378,-370.682 215.754,-364.195 205.161,-364.043 207.378,-370.682\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-411.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 72 -->\n<g id=\"node149\" class=\"node\"><title>72</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-262\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-262\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-256.4\" font-family=\"Times,serif\" font-size=\"14.00\">72/1.30235</text>\n</g>\n<!-- 71->72 -->\n<g id=\"edge148\" class=\"edge\"><title>71->72</title>\n<path fill=\"none\" stroke=\"black\" d=\"M118.269,-377.84C134.555,-361.678 162.075,-334.368 186.305,-310.323\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"189.07,-312.51 193.703,-302.982 184.14,-307.541 189.07,-312.51\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-360.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 74 -->\n<g id=\"node151\" class=\"node\"><title>74</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-165\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-159.4\" font-family=\"Times,serif\" font-size=\"14.00\">74</text>\n</g>\n<!-- 73->74 -->\n<g id=\"edge150\" class=\"edge\"><title>73->74</title>\n<path fill=\"none\" stroke=\"black\" d=\"M116.864,-247.476C123.299,-239.946 131.334,-230.889 139,-223.2 152.827,-209.331 155.596,-204.698 172,-194 182.843,-186.929 195.689,-180.682 206.944,-175.815\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"208.448,-178.98 216.335,-171.906 205.758,-172.518 208.448,-178.98\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-226.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 77 -->\n<g id=\"node155\" class=\"node\"><title>77</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-63\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"236\" cy=\"-63\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"236\" y=\"-57.4\" font-family=\"Times,serif\" font-size=\"14.00\">77/0.176504</text>\n</g>\n<!-- 76->77 -->\n<g id=\"edge154\" class=\"edge\"><title>76->77</title>\n<path fill=\"none\" stroke=\"black\" d=\"M123.896,-63.8481C134.379,-63.7681 147.955,-63.6645 161.997,-63.5573\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"162.294,-67.0552 172.267,-63.4789 162.24,-60.0554 162.294,-67.0552\"/>\n<text text-anchor=\"middle\" x=\"148\" y=\"-66.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 5 -->\n<g id=\"node49\" class=\"node\"><title>5</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-1575\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-1575\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-1569.4\" font-family=\"Times,serif\" font-size=\"14.00\">5/0.166822</text>\n</g>\n<!-- 4->5 -->\n<g id=\"edge48\" class=\"edge\"><title>4->5</title>\n<path fill=\"none\" stroke=\"black\" d=\"M253.684,-1537.03C274.574,-1542.07 311.62,-1551.01 344.516,-1558.95\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"344.027,-1562.43 354.569,-1561.38 345.67,-1555.63 344.027,-1562.43\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-1557.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 8 -->\n<g id=\"node53\" class=\"node\"><title>8</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-1480\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-1474.4\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n</g>\n<!-- 7->8 -->\n<g id=\"edge52\" class=\"edge\"><title>7->8</title>\n<path fill=\"none\" stroke=\"black\" d=\"M254.001,-1479.1C284.147,-1479.27 347.21,-1479.63 383.57,-1479.84\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"383.91,-1483.34 393.93,-1479.9 383.951,-1476.34 383.91,-1483.34\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-1481.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 9 -->\n<g id=\"node55\" class=\"node\"><title>9</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-1520\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-1520\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"593\" y=\"-1514.4\" font-family=\"Times,serif\" font-size=\"14.00\">9/0.735152</text>\n</g>\n<!-- 8->9 -->\n<g id=\"edge54\" class=\"edge\"><title>8->9</title>\n<path fill=\"none\" stroke=\"black\" d=\"M429.84,-1483.76C451.623,-1488.63 490.861,-1497.4 525.283,-1505.09\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"524.792,-1508.57 535.314,-1507.33 526.318,-1501.74 524.792,-1508.57\"/>\n<text text-anchor=\"middle\" x=\"500\" y=\"-1503.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 12 -->\n<g id=\"node59\" class=\"node\"><title>12</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-1423\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-1417.4\" font-family=\"Times,serif\" font-size=\"14.00\">12</text>\n</g>\n<!-- 11->12 -->\n<g id=\"edge58\" class=\"edge\"><title>11->12</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.622,-1423C286.907,-1423 345.259,-1423 380.905,-1423\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"381.183,-1426.5 391.183,-1423 381.183,-1419.5 381.183,-1426.5\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-1425.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 13 -->\n<g id=\"node61\" class=\"node\"><title>13</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-1423\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"593\" y=\"-1417.4\" font-family=\"Times,serif\" font-size=\"14.00\">13</text>\n</g>\n<!-- 12->13 -->\n<g id=\"edge60\" class=\"edge\"><title>12->13</title>\n<path fill=\"none\" stroke=\"black\" d=\"M432.84,-1423C464.156,-1423 525.25,-1423 561.964,-1423\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"562.071,-1426.5 572.071,-1423 562.071,-1419.5 562.071,-1426.5\"/>\n<text text-anchor=\"middle\" x=\"500\" y=\"-1425.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 14 -->\n<g id=\"node63\" class=\"node\"><title>14</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"774\" cy=\"-1466\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"774\" cy=\"-1466\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"774\" y=\"-1460.4\" font-family=\"Times,serif\" font-size=\"14.00\">14/0.587952</text>\n</g>\n<!-- 13->14 -->\n<g id=\"edge62\" class=\"edge\"><title>13->14</title>\n<path fill=\"none\" stroke=\"black\" d=\"M613.497,-1427.68C634.765,-1432.79 670.055,-1441.27 702.04,-1448.95\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"701.3,-1452.38 711.841,-1451.31 702.936,-1445.57 701.3,-1452.38\"/>\n<text text-anchor=\"middle\" x=\"686\" y=\"-1449.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 17 -->\n<g id=\"node67\" class=\"node\"><title>17</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-1364\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-1358.4\" font-family=\"Times,serif\" font-size=\"14.00\">17</text>\n</g>\n<!-- 16->17 -->\n<g id=\"edge66\" class=\"edge\"><title>16->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.96,-1364C287.377,-1364 345.536,-1364 381.038,-1364\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"381.273,-1367.5 391.273,-1364 381.273,-1360.5 381.273,-1367.5\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-1366.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 18 -->\n<g id=\"node69\" class=\"node\"><title>18</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-1364\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"593\" y=\"-1358.4\" font-family=\"Times,serif\" font-size=\"14.00\">18</text>\n</g>\n<!-- 17->18 -->\n<g id=\"edge68\" class=\"edge\"><title>17->18</title>\n<path fill=\"none\" stroke=\"black\" d=\"M432.84,-1364C464.156,-1364 525.25,-1364 561.964,-1364\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"562.071,-1367.5 572.071,-1364 562.071,-1360.5 562.071,-1367.5\"/>\n<text text-anchor=\"middle\" x=\"500\" y=\"-1366.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 19 -->\n<g id=\"node71\" class=\"node\"><title>19</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"774\" cy=\"-1364\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"774\" y=\"-1358.4\" font-family=\"Times,serif\" font-size=\"14.00\">19</text>\n</g>\n<!-- 18->19 -->\n<g id=\"edge70\" class=\"edge\"><title>18->19</title>\n<path fill=\"none\" stroke=\"black\" d=\"M613.84,-1364C645.156,-1364 706.25,-1364 742.964,-1364\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"743.071,-1367.5 753.071,-1364 743.071,-1360.5 743.071,-1367.5\"/>\n<text text-anchor=\"middle\" x=\"686\" y=\"-1366.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 20 -->\n<g id=\"node73\" class=\"node\"><title>20</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"950\" cy=\"-1366\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"950\" cy=\"-1366\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"950\" y=\"-1360.4\" font-family=\"Times,serif\" font-size=\"14.00\">20/2.57214</text>\n</g>\n<!-- 19->20 -->\n<g id=\"edge72\" class=\"edge\"><title>19->20</title>\n<path fill=\"none\" stroke=\"black\" d=\"M794.96,-1364.23C815.892,-1364.47 849.962,-1364.86 880.744,-1365.22\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"880.994,-1368.72 891.034,-1365.33 881.075,-1361.72 880.994,-1368.72\"/>\n<text text-anchor=\"middle\" x=\"862\" y=\"-1367.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 23 -->\n<g id=\"node77\" class=\"node\"><title>23</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-1305\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-1299.4\" font-family=\"Times,serif\" font-size=\"14.00\">23</text>\n</g>\n<!-- 22->23 -->\n<g id=\"edge76\" class=\"edge\"><title>22->23</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.96,-1305C287.377,-1305 345.536,-1305 381.038,-1305\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"381.273,-1308.5 391.273,-1305 381.273,-1301.5 381.273,-1308.5\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-1307.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 24 -->\n<g id=\"node79\" class=\"node\"><title>24</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-1296\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"593\" y=\"-1290.4\" font-family=\"Times,serif\" font-size=\"14.00\">24</text>\n</g>\n<!-- 23->24 -->\n<g id=\"edge78\" class=\"edge\"><title>23->24</title>\n<path fill=\"none\" stroke=\"black\" d=\"M432.84,-1304C464.156,-1302.43 525.25,-1299.36 561.964,-1297.51\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"562.259,-1301 572.071,-1297 561.908,-1294.01 562.259,-1301\"/>\n<text text-anchor=\"middle\" x=\"500\" y=\"-1303.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 25 -->\n<g id=\"node81\" class=\"node\"><title>25</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"774\" cy=\"-1272\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"774\" y=\"-1266.4\" font-family=\"Times,serif\" font-size=\"14.00\">25</text>\n</g>\n<!-- 24->25 -->\n<g id=\"edge80\" class=\"edge\"><title>24->25</title>\n<path fill=\"none\" stroke=\"black\" d=\"M613.84,-1293.34C645.239,-1289.13 706.574,-1280.91 743.255,-1275.99\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"743.898,-1279.43 753.344,-1274.64 742.967,-1272.5 743.898,-1279.43\"/>\n<text text-anchor=\"middle\" x=\"686\" y=\"-1286.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 26 -->\n<g id=\"node83\" class=\"node\"><title>26</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"950\" cy=\"-1269\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"950\" y=\"-1263.4\" font-family=\"Times,serif\" font-size=\"14.00\">26</text>\n</g>\n<!-- 25->26 -->\n<g id=\"edge82\" class=\"edge\"><title>25->26</title>\n<path fill=\"none\" stroke=\"black\" d=\"M794.96,-1271.66C825.377,-1271.13 883.536,-1270.13 919.038,-1269.52\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"919.335,-1273.01 929.273,-1269.34 919.214,-1266.01 919.335,-1273.01\"/>\n<text text-anchor=\"middle\" x=\"862\" y=\"-1272.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 27 -->\n<g id=\"node85\" class=\"node\"><title>27</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1124\" cy=\"-1269\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1124\" cy=\"-1269\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"1124\" y=\"-1263.4\" font-family=\"Times,serif\" font-size=\"14.00\">27/0.518394</text>\n</g>\n<!-- 26->27 -->\n<g id=\"edge84\" class=\"edge\"><title>26->27</title>\n<path fill=\"none\" stroke=\"black\" d=\"M970.731,-1269C990.227,-1269 1021.25,-1269 1050.23,-1269\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1050.37,-1272.5 1060.37,-1269 1050.37,-1265.5 1050.37,-1272.5\"/>\n<text text-anchor=\"middle\" x=\"1037\" y=\"-1271.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 32 -->\n<g id=\"node91\" class=\"node\"><title>32</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-1149\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-1149\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-1143.4\" font-family=\"Times,serif\" font-size=\"14.00\">32/1.02322</text>\n</g>\n<!-- 31->32 -->\n<g id=\"edge90\" class=\"edge\"><title>31->32</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.286,-1115.21C277.524,-1119.85 312.851,-1127.57 344.389,-1134.45\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"343.957,-1137.94 354.473,-1136.66 345.45,-1131.1 343.957,-1137.94\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-1133.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 35 -->\n<g id=\"node95\" class=\"node\"><title>35</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-1052\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-1046.4\" font-family=\"Times,serif\" font-size=\"14.00\">35</text>\n</g>\n<!-- 34->35 -->\n<g id=\"edge94\" class=\"edge\"><title>34->35</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.96,-1052C287.377,-1052 345.536,-1052 381.038,-1052\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"381.273,-1055.5 391.273,-1052 381.273,-1048.5 381.273,-1055.5\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-1054.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 36 -->\n<g id=\"node97\" class=\"node\"><title>36</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-1090\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-1090\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"593\" y=\"-1084.4\" font-family=\"Times,serif\" font-size=\"14.00\">36/3.04587</text>\n</g>\n<!-- 35->36 -->\n<g id=\"edge96\" class=\"edge\"><title>35->36</title>\n<path fill=\"none\" stroke=\"black\" d=\"M432.497,-1056.14C454.668,-1060.85 492.077,-1068.79 525.096,-1075.8\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"524.672,-1079.28 535.181,-1077.94 526.126,-1072.44 524.672,-1079.28\"/>\n<text text-anchor=\"middle\" x=\"500\" y=\"-1074.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 39 -->\n<g id=\"node101\" class=\"node\"><title>39</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-993\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-987.4\" font-family=\"Times,serif\" font-size=\"14.00\">39</text>\n</g>\n<!-- 38->39 -->\n<g id=\"edge100\" class=\"edge\"><title>38->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.96,-993C287.377,-993 345.536,-993 381.038,-993\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"381.273,-996.5 391.273,-993 381.273,-989.5 381.273,-996.5\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-995.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 40 -->\n<g id=\"node103\" class=\"node\"><title>40</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-993\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"593\" y=\"-987.4\" font-family=\"Times,serif\" font-size=\"14.00\">40</text>\n</g>\n<!-- 39->40 -->\n<g id=\"edge102\" class=\"edge\"><title>39->40</title>\n<path fill=\"none\" stroke=\"black\" d=\"M432.84,-993C464.156,-993 525.25,-993 561.964,-993\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"562.071,-996.5 572.071,-993 562.071,-989.5 562.071,-996.5\"/>\n<text text-anchor=\"middle\" x=\"500\" y=\"-995.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 41 -->\n<g id=\"node105\" class=\"node\"><title>41</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"774\" cy=\"-994\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"774\" cy=\"-994\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"774\" y=\"-988.4\" font-family=\"Times,serif\" font-size=\"14.00\">41/5.89355</text>\n</g>\n<!-- 40->41 -->\n<g id=\"edge104\" class=\"edge\"><title>40->41</title>\n<path fill=\"none\" stroke=\"black\" d=\"M613.84,-993.111C635.688,-993.233 672.03,-993.436 704.475,-993.617\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"704.83,-997.119 714.849,-993.675 704.869,-990.119 704.83,-997.119\"/>\n<text text-anchor=\"middle\" x=\"686\" y=\"-995.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 44 -->\n<g id=\"node109\" class=\"node\"><title>44</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-924\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-918.4\" font-family=\"Times,serif\" font-size=\"14.00\">44</text>\n</g>\n<!-- 43->44 -->\n<g id=\"edge108\" class=\"edge\"><title>43->44</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.96,-932.853C287.377,-931.105 345.536,-927.762 381.038,-925.722\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"381.49,-929.202 391.273,-925.134 381.088,-922.213 381.49,-929.202\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-931.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 45 -->\n<g id=\"node111\" class=\"node\"><title>45</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-917\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"593\" y=\"-911.4\" font-family=\"Times,serif\" font-size=\"14.00\">45</text>\n</g>\n<!-- 44->45 -->\n<g id=\"edge110\" class=\"edge\"><title>44->45</title>\n<path fill=\"none\" stroke=\"black\" d=\"M432.84,-923.224C464.156,-921.999 525.25,-919.61 561.964,-918.175\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"562.216,-921.668 572.071,-917.779 561.942,-914.673 562.216,-921.668\"/>\n<text text-anchor=\"middle\" x=\"500\" y=\"-922.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 46 -->\n<g id=\"node113\" class=\"node\"><title>46</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"774\" cy=\"-897\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"774\" y=\"-891.4\" font-family=\"Times,serif\" font-size=\"14.00\">46</text>\n</g>\n<!-- 45->46 -->\n<g id=\"edge112\" class=\"edge\"><title>45->46</title>\n<path fill=\"none\" stroke=\"black\" d=\"M613.84,-914.783C645.239,-911.275 706.574,-904.422 743.255,-900.324\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"743.794,-903.785 753.344,-899.196 743.017,-896.828 743.794,-903.785\"/>\n<text text-anchor=\"middle\" x=\"686\" y=\"-909.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 47 -->\n<g id=\"node115\" class=\"node\"><title>47</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"950\" cy=\"-897\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"950\" cy=\"-897\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"950\" y=\"-891.4\" font-family=\"Times,serif\" font-size=\"14.00\">47/0.443444</text>\n</g>\n<!-- 46->47 -->\n<g id=\"edge114\" class=\"edge\"><title>46->47</title>\n<path fill=\"none\" stroke=\"black\" d=\"M794.96,-897C814.763,-897 846.325,-897 875.737,-897\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"876.028,-900.5 886.028,-897 876.028,-893.5 876.028,-900.5\"/>\n<text text-anchor=\"middle\" x=\"862\" y=\"-899.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 52 -->\n<g id=\"node121\" class=\"node\"><title>52</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-773\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-773\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-767.4\" font-family=\"Times,serif\" font-size=\"14.00\">52/0.609319</text>\n</g>\n<!-- 51->52 -->\n<g id=\"edge120\" class=\"edge\"><title>51->52</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.286,-734.766C276.566,-739.778 309.692,-747.964 340.099,-755.479\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"339.309,-758.889 349.857,-757.89 340.988,-752.093 339.309,-758.889\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-755.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 55 -->\n<g id=\"node125\" class=\"node\"><title>55</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-671\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-665.4\" font-family=\"Times,serif\" font-size=\"14.00\">55</text>\n</g>\n<!-- 54->55 -->\n<g id=\"edge124\" class=\"edge\"><title>54->55</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.96,-671C287.377,-671 345.536,-671 381.038,-671\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"381.273,-674.5 391.273,-671 381.273,-667.5 381.273,-674.5\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-673.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 56 -->\n<g id=\"node127\" class=\"node\"><title>56</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-695\" rx=\"64.3418\" ry=\"64.3418\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-695\" rx=\"68.337\" ry=\"68.337\"/>\n<text text-anchor=\"middle\" x=\"593\" y=\"-689.4\" font-family=\"Times,serif\" font-size=\"14.00\">56/0.0632042</text>\n</g>\n<!-- 55->56 -->\n<g id=\"edge126\" class=\"edge\"><title>55->56</title>\n<path fill=\"none\" stroke=\"black\" d=\"M432.84,-673.66C452.794,-676.336 484.839,-680.632 514.963,-684.671\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"514.708,-688.168 525.085,-686.028 515.638,-681.23 514.708,-688.168\"/>\n<text text-anchor=\"middle\" x=\"500\" y=\"-686.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 59 -->\n<g id=\"node131\" class=\"node\"><title>59</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-597\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-591.4\" font-family=\"Times,serif\" font-size=\"14.00\">59</text>\n</g>\n<!-- 58->59 -->\n<g id=\"edge130\" class=\"edge\"><title>58->59</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.96,-610.279C287.377,-607.657 345.536,-602.643 381.038,-599.583\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"381.61,-603.047 391.273,-598.701 381.009,-596.073 381.61,-603.047\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-607.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 60 -->\n<g id=\"node133\" class=\"node\"><title>60</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-588\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"593\" y=\"-582.4\" font-family=\"Times,serif\" font-size=\"14.00\">60</text>\n</g>\n<!-- 59->60 -->\n<g id=\"edge132\" class=\"edge\"><title>59->60</title>\n<path fill=\"none\" stroke=\"black\" d=\"M432.84,-596.002C464.156,-594.428 525.25,-591.356 561.964,-589.51\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"562.259,-593 572.071,-589.002 561.908,-586.009 562.259,-593\"/>\n<text text-anchor=\"middle\" x=\"500\" y=\"-596.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 61 -->\n<g id=\"node135\" class=\"node\"><title>61</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"774\" cy=\"-588\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"774\" cy=\"-588\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"774\" y=\"-582.4\" font-family=\"Times,serif\" font-size=\"14.00\">61/0.260881</text>\n</g>\n<!-- 60->61 -->\n<g id=\"edge134\" class=\"edge\"><title>60->61</title>\n<path fill=\"none\" stroke=\"black\" d=\"M613.84,-588C634.703,-588 668.781,-588 700.062,-588\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"700.1,-591.5 710.1,-588 700.1,-584.5 700.1,-591.5\"/>\n<text text-anchor=\"middle\" x=\"686\" y=\"-590.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 66 -->\n<g id=\"node141\" class=\"node\"><title>66</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-429\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-429\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-423.4\" font-family=\"Times,serif\" font-size=\"14.00\">66/0.372935</text>\n</g>\n<!-- 65->66 -->\n<g id=\"edge140\" class=\"edge\"><title>65->66</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.96,-419.262C276.843,-420.519 308.579,-422.525 338.093,-424.391\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"338.215,-427.906 348.416,-425.044 338.657,-420.92 338.215,-427.906\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-426.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 69 -->\n<g id=\"node145\" class=\"node\"><title>69</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-327\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-321.4\" font-family=\"Times,serif\" font-size=\"14.00\">69</text>\n</g>\n<!-- 68->69 -->\n<g id=\"edge144\" class=\"edge\"><title>68->69</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.622,-355.391C286.987,-349.807 345.57,-339.033 381.189,-332.482\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"382.248,-335.847 391.45,-330.595 380.982,-328.962 382.248,-335.847\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-346.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 70 -->\n<g id=\"node147\" class=\"node\"><title>70</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-327\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"593\" cy=\"-327\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"593\" y=\"-321.4\" font-family=\"Times,serif\" font-size=\"14.00\">70/0.980618</text>\n</g>\n<!-- 69->70 -->\n<g id=\"edge146\" class=\"edge\"><title>69->70</title>\n<path fill=\"none\" stroke=\"black\" d=\"M432.84,-327C453.703,-327 487.781,-327 519.062,-327\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"519.1,-330.5 529.1,-327 519.1,-323.5 519.1,-330.5\"/>\n<text text-anchor=\"middle\" x=\"500\" y=\"-329.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 75 -->\n<g id=\"node153\" class=\"node\"><title>75</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-165\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"412\" cy=\"-165\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"412\" y=\"-159.4\" font-family=\"Times,serif\" font-size=\"14.00\">75/0.209033</text>\n</g>\n<!-- 74->75 -->\n<g id=\"edge152\" class=\"edge\"><title>74->75</title>\n<path fill=\"none\" stroke=\"black\" d=\"M256.96,-165C276.763,-165 308.325,-165 337.737,-165\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"338.028,-168.5 348.028,-165 338.028,-161.5 338.028,-168.5\"/>\n<text text-anchor=\"middle\" x=\"324\" y=\"-167.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n</g>\n</svg>\n", | |
| "text": "<StdVectorFst with 78 states>" | |
| } | |
| ], | |
| "prompt_number": 30 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "nt = t.determinize()\nnt", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [ | |
| { | |
| "output_type": "pyout", | |
| "prompt_number": 48, | |
| "svg": "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n<!-- Generated by graphviz version 2.28.0 (20111028.1807)\n -->\n<!-- Title: FST Pages: 1 -->\n<svg width=\"612pt\" height=\"221pt\"\n viewBox=\"0.00 0.00 612.00 221.26\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph1\" class=\"graph\" transform=\"scale(0.523077 0.523077) rotate(0) translate(4 419)\">\n<title>FST</title>\n<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-419 1167,-419 1167,5 -4,5\"/>\n<!-- 0 -->\n<g id=\"node1\" class=\"node\"><title>0</title>\n<ellipse fill=\"none\" stroke=\"black\" stroke-width=\"2\" cx=\"18\" cy=\"-213\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"18\" y=\"-207.4\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n</g>\n<!-- 1 -->\n<g id=\"node3\" class=\"node\"><title>1</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"100\" cy=\"-213\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"100\" y=\"-207.4\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n</g>\n<!-- 0->1 -->\n<g id=\"edge2\" class=\"edge\"><title>0->1</title>\n<path fill=\"none\" stroke=\"black\" d=\"M36.3588,-213C46.7029,-213 60.059,-213 71.7794,-213\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"71.9499,-216.5 81.9499,-213 71.9499,-209.5 71.9499,-216.5\"/>\n<text text-anchor=\"middle\" x=\"59\" y=\"-215.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 2 -->\n<g id=\"node5\" class=\"node\"><title>2</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"225\" cy=\"-349\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"225\" cy=\"-349\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"225\" y=\"-343.4\" font-family=\"Times,serif\" font-size=\"14.00\">2/0.109378</text>\n</g>\n<!-- 1->2 -->\n<g id=\"edge4\" class=\"edge\"><title>1->2</title>\n<path fill=\"none\" stroke=\"black\" d=\"M112.794,-226.04C127.789,-242.62 154.559,-272.22 178.077,-298.223\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"175.628,-300.733 184.932,-305.802 180.82,-296.038 175.628,-300.733\"/>\n<text text-anchor=\"middle\" x=\"142\" y=\"-267.8\" font-family=\"Times,serif\" font-size=\"14.00\">b:b</text>\n</g>\n<!-- 3 -->\n<g id=\"node7\" class=\"node\"><title>3</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"225\" cy=\"-213\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"225\" cy=\"-213\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"225\" y=\"-207.4\" font-family=\"Times,serif\" font-size=\"14.00\">3/0.176504</text>\n</g>\n<!-- 1->3 -->\n<g id=\"edge6\" class=\"edge\"><title>1->3</title>\n<path fill=\"none\" stroke=\"black\" d=\"M118.103,-213C128.248,-213 141.845,-213 155.907,-213\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"156.186,-216.5 166.186,-213 156.186,-209.5 156.186,-216.5\"/>\n<text text-anchor=\"middle\" x=\"142\" y=\"-215.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 4 -->\n<g id=\"node9\" class=\"node\"><title>4</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"225\" cy=\"-77\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"225\" cy=\"-77\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"225\" y=\"-71.4\" font-family=\"Times,serif\" font-size=\"14.00\">4/0.509086</text>\n</g>\n<!-- 1->4 -->\n<g id=\"edge8\" class=\"edge\"><title>1->4</title>\n<path fill=\"none\" stroke=\"black\" d=\"M112.794,-199.96C127.789,-183.38 154.559,-153.78 178.077,-127.777\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"180.82,-129.962 184.932,-120.198 175.628,-125.267 180.82,-129.962\"/>\n<text text-anchor=\"middle\" x=\"142\" y=\"-179.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 5 -->\n<g id=\"node11\" class=\"node\"><title>5</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"391\" cy=\"-349\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"391\" cy=\"-349\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"391\" y=\"-343.4\" font-family=\"Times,serif\" font-size=\"14.00\">5/0.166822</text>\n</g>\n<!-- 2->5 -->\n<g id=\"edge10\" class=\"edge\"><title>2->5</title>\n<path fill=\"none\" stroke=\"black\" d=\"M283.82,-349C296.191,-349 309.367,-349 322.079,-349\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"322.149,-352.5 332.149,-349 322.149,-345.5 322.149,-352.5\"/>\n<text text-anchor=\"middle\" x=\"308\" y=\"-351.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 6 -->\n<g id=\"node13\" class=\"node\"><title>6</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"391\" cy=\"-213\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"391\" cy=\"-213\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"391\" y=\"-207.4\" font-family=\"Times,serif\" font-size=\"14.00\">6/0.372935</text>\n</g>\n<!-- 3->6 -->\n<g id=\"edge12\" class=\"edge\"><title>3->6</title>\n<path fill=\"none\" stroke=\"black\" d=\"M283.82,-213C296.191,-213 309.367,-213 322.079,-213\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"322.149,-216.5 332.149,-213 322.149,-209.5 322.149,-216.5\"/>\n<text text-anchor=\"middle\" x=\"308\" y=\"-215.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 7 -->\n<g id=\"node15\" class=\"node\"><title>7</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"391\" cy=\"-75\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"391\" cy=\"-75\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"391\" y=\"-69.4\" font-family=\"Times,serif\" font-size=\"14.00\">7/0.209033</text>\n</g>\n<!-- 4->7 -->\n<g id=\"edge14\" class=\"edge\"><title>4->7</title>\n<path fill=\"none\" stroke=\"black\" d=\"M283.82,-76.2949C296.191,-76.144 309.367,-75.9833 322.079,-75.8283\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"322.193,-79.3273 332.149,-75.7055 322.107,-72.3278 322.193,-79.3273\"/>\n<text text-anchor=\"middle\" x=\"308\" y=\"-79.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 8 -->\n<g id=\"node17\" class=\"node\"><title>8</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"567\" cy=\"-349\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"567\" cy=\"-349\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"567\" y=\"-343.4\" font-family=\"Times,serif\" font-size=\"14.00\">8/0.735152</text>\n</g>\n<!-- 5->8 -->\n<g id=\"edge16\" class=\"edge\"><title>5->8</title>\n<path fill=\"none\" stroke=\"black\" d=\"M449.939,-349C465.267,-349 481.954,-349 497.771,-349\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"498.017,-352.5 508.017,-349 498.017,-345.5 498.017,-352.5\"/>\n<text text-anchor=\"middle\" x=\"474\" y=\"-351.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 9 -->\n<g id=\"node19\" class=\"node\"><title>9</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"567\" cy=\"-213\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"567\" cy=\"-213\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"567\" y=\"-207.4\" font-family=\"Times,serif\" font-size=\"14.00\">9/0.980618</text>\n</g>\n<!-- 6->9 -->\n<g id=\"edge18\" class=\"edge\"><title>6->9</title>\n<path fill=\"none\" stroke=\"black\" d=\"M449.939,-213C465.267,-213 481.954,-213 497.771,-213\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"498.017,-216.5 508.017,-213 498.017,-209.5 498.017,-216.5\"/>\n<text text-anchor=\"middle\" x=\"474\" y=\"-215.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 10 -->\n<g id=\"node21\" class=\"node\"><title>10</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"567\" cy=\"-68\" rx=\"64.3418\" ry=\"64.3418\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"567\" cy=\"-68\" rx=\"68.337\" ry=\"68.337\"/>\n<text text-anchor=\"middle\" x=\"567\" y=\"-62.4\" font-family=\"Times,serif\" font-size=\"14.00\">10/0.0632042</text>\n</g>\n<!-- 7->10 -->\n<g id=\"edge20\" class=\"edge\"><title>7->10</title>\n<path fill=\"none\" stroke=\"black\" d=\"M449.939,-72.6691C462.187,-72.1764 475.302,-71.6488 488.148,-71.132\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"488.52,-74.6199 498.371,-70.7207 488.238,-67.6256 488.52,-74.6199\"/>\n<text text-anchor=\"middle\" x=\"474\" y=\"-74.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 11 -->\n<g id=\"node23\" class=\"node\"><title>11</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"748\" cy=\"-352\" rx=\"59.4586\" ry=\"59.4586\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"748\" cy=\"-352\" rx=\"63.4736\" ry=\"63.4736\"/>\n<text text-anchor=\"middle\" x=\"748\" y=\"-346.4\" font-family=\"Times,serif\" font-size=\"14.00\">11/0.587952</text>\n</g>\n<!-- 8->11 -->\n<g id=\"edge22\" class=\"edge\"><title>8->11</title>\n<path fill=\"none\" stroke=\"black\" d=\"M626.116,-349.974C641.441,-350.231 658.171,-350.511 674.165,-350.779\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"674.489,-354.285 684.547,-350.953 674.607,-347.286 674.489,-354.285\"/>\n<text text-anchor=\"middle\" x=\"660\" y=\"-352.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 12 -->\n<g id=\"node25\" class=\"node\"><title>12</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"748\" cy=\"-212\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"748\" cy=\"-212\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"748\" y=\"-206.4\" font-family=\"Times,serif\" font-size=\"14.00\">12/5.89355</text>\n</g>\n<!-- 9->12 -->\n<g id=\"edge24\" class=\"edge\"><title>9->12</title>\n<path fill=\"none\" stroke=\"black\" d=\"M626.116,-212.675C643.013,-212.581 661.618,-212.477 679.061,-212.38\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"679.195,-215.879 689.175,-212.323 679.156,-208.879 679.195,-215.879\"/>\n<text text-anchor=\"middle\" x=\"660\" y=\"-215.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 13 -->\n<g id=\"node27\" class=\"node\"><title>13</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"748\" cy=\"-68\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"748\" cy=\"-68\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"748\" y=\"-62.4\" font-family=\"Times,serif\" font-size=\"14.00\">13/0.260881</text>\n</g>\n<!-- 10->13 -->\n<g id=\"edge26\" class=\"edge\"><title>10->13</title>\n<path fill=\"none\" stroke=\"black\" d=\"M635.672,-68C648.25,-68 661.439,-68 674.163,-68\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"674.247,-71.5001 684.247,-68 674.247,-64.5001 674.247,-71.5001\"/>\n<text text-anchor=\"middle\" x=\"660\" y=\"-70.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 14 -->\n<g id=\"node29\" class=\"node\"><title>14</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"924\" cy=\"-352\" rx=\"54.5402\" ry=\"54.5402\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"924\" cy=\"-352\" rx=\"58.524\" ry=\"58.524\"/>\n<text text-anchor=\"middle\" x=\"924\" y=\"-346.4\" font-family=\"Times,serif\" font-size=\"14.00\">14/2.57214</text>\n</g>\n<!-- 11->14 -->\n<g id=\"edge28\" class=\"edge\"><title>11->14</title>\n<path fill=\"none\" stroke=\"black\" d=\"M811.327,-352C825.451,-352 840.521,-352 854.872,-352\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"855.17,-355.5 865.17,-352 855.17,-348.5 855.17,-355.5\"/>\n<text text-anchor=\"middle\" x=\"836\" y=\"-354.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 15 -->\n<g id=\"node31\" class=\"node\"><title>15</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"924\" cy=\"-212\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"924\" cy=\"-212\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"924\" y=\"-206.4\" font-family=\"Times,serif\" font-size=\"14.00\">15/0.443444</text>\n</g>\n<!-- 12->15 -->\n<g id=\"edge30\" class=\"edge\"><title>12->15</title>\n<path fill=\"none\" stroke=\"black\" d=\"M806.939,-212C820.702,-212 835.561,-212 849.902,-212\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"850.23,-215.5 860.23,-212 850.23,-208.5 850.23,-215.5\"/>\n<text text-anchor=\"middle\" x=\"836\" y=\"-214.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 16 -->\n<g id=\"node33\" class=\"node\"><title>16</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1098\" cy=\"-352\" rx=\"59.6745\" ry=\"59.6745\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1098\" cy=\"-352\" rx=\"63.6801\" ry=\"63.6801\"/>\n<text text-anchor=\"middle\" x=\"1098\" y=\"-346.4\" font-family=\"Times,serif\" font-size=\"14.00\">16/0.518394</text>\n</g>\n<!-- 14->16 -->\n<g id=\"edge32\" class=\"edge\"><title>14->16</title>\n<path fill=\"none\" stroke=\"black\" d=\"M983.231,-352C996.356,-352 1010.45,-352 1024.09,-352\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1024.41,-355.5 1034.41,-352 1024.41,-348.5 1024.41,-355.5\"/>\n<text text-anchor=\"middle\" x=\"1011\" y=\"-354.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n</g>\n</svg>\n", | |
| "text": "<StdVectorFst with 17 states>" | |
| } | |
| ], | |
| "prompt_number": 48 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "def boundary(b, syms):\n t = fst.SimpleFst(syms, syms)\n t.add_arc(0, 1, fst.EPSILON, b)\n t[1].final = True\n return t", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [], | |
| "prompt_number": 45 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "mb = boundary('^', nt.isyms)\npb = boundary('<', nt.isyms)\nsb = boundary('>', nt.isyms)\ngrammar = (nt + mb).closure() + pb + nt + sb + (nt + mb).closure()", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [], | |
| "prompt_number": 49 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "grammar", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [ | |
| { | |
| "output_type": "pyout", | |
| "prompt_number": 50, | |
| "svg": "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n<!-- Generated by graphviz version 2.28.0 (20111028.1807)\n -->\n<!-- Title: FST Pages: 1 -->\n<svg width=\"612pt\" height=\"178pt\"\n viewBox=\"0.00 0.00 612.00 177.57\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph1\" class=\"graph\" transform=\"scale(0.161307 0.161307) rotate(0) translate(4 1096.8)\">\n<title>FST</title>\n<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-1096.8 3791,-1096.8 3791,5 -4,5\"/>\n<!-- 19 -->\n<g id=\"node1\" class=\"node\"><title>19</title>\n<ellipse fill=\"none\" stroke=\"black\" stroke-width=\"2\" cx=\"21\" cy=\"-356\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"21\" y=\"-350.4\" font-family=\"Times,serif\" font-size=\"14.00\">19</text>\n</g>\n<!-- 0 -->\n<g id=\"node3\" class=\"node\"><title>0</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"106\" cy=\"-383\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"106\" y=\"-377.4\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n</g>\n<!-- 19->0 -->\n<g id=\"edge2\" class=\"edge\"><title>19->0</title>\n<path fill=\"none\" stroke=\"black\" d=\"M40.834,-362.127C52.1187,-365.798 66.6287,-370.518 78.9953,-374.541\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"78.1689,-377.952 88.7612,-377.717 80.3344,-371.296 78.1689,-377.952\"/>\n<text text-anchor=\"middle\" x=\"65\" y=\"-374.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 20 -->\n<g id=\"node5\" class=\"node\"><title>20</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1243\" cy=\"-357\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1243\" y=\"-351.4\" font-family=\"Times,serif\" font-size=\"14.00\">20</text>\n</g>\n<!-- 19->20 -->\n<g id=\"edge4\" class=\"edge\"><title>19->20</title>\n<path fill=\"none\" stroke=\"black\" d=\"M40.84,-349.141C57.4829,-343.698 82.5307,-337 105,-337 105,-337 105,-337 1156,-337 1175.68,-337 1197.24,-342.028 1213.86,-347.042\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1212.91,-350.414 1223.5,-350.117 1215.03,-343.744 1212.91,-350.414\"/>\n<text text-anchor=\"middle\" x=\"481\" y=\"-339.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 1 -->\n<g id=\"node7\" class=\"node\"><title>1</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"188\" cy=\"-625\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"188\" y=\"-619.4\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n</g>\n<!-- 0->1 -->\n<g id=\"edge6\" class=\"edge\"><title>0->1</title>\n<path fill=\"none\" stroke=\"black\" d=\"M112.625,-400.017C126.339,-441.5 161.577,-548.096 178.144,-598.209\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"174.919,-599.606 181.381,-608.002 181.565,-597.409 174.919,-599.606\"/>\n<text text-anchor=\"middle\" x=\"147\" y=\"-528.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 21 -->\n<g id=\"node59\" class=\"node\"><title>21</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1333\" cy=\"-357\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1333\" y=\"-351.4\" font-family=\"Times,serif\" font-size=\"14.00\">21</text>\n</g>\n<!-- 20->21 -->\n<g id=\"edge74\" class=\"edge\"><title>20->21</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1263.97,-357C1275.22,-357 1289.5,-357 1302.06,-357\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1302.11,-360.5 1312.11,-357 1302.11,-353.5 1302.11,-360.5\"/>\n<text text-anchor=\"middle\" x=\"1288\" y=\"-359.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:<</text>\n</g>\n<!-- 2 -->\n<g id=\"node9\" class=\"node\"><title>2</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"272\" cy=\"-835\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"272\" y=\"-829.4\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n</g>\n<!-- 1->2 -->\n<g id=\"edge8\" class=\"edge\"><title>1->2</title>\n<path fill=\"none\" stroke=\"black\" d=\"M194.969,-641.741C201.275,-659.305 211.59,-687.686 221,-712 234.09,-745.82 249.974,-784.525 260.275,-809.339\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"257.12,-810.866 264.193,-818.755 263.583,-808.177 257.12,-810.866\"/>\n<text text-anchor=\"middle\" x=\"230\" y=\"-759.8\" font-family=\"Times,serif\" font-size=\"14.00\">b:b</text>\n</g>\n<!-- 3 -->\n<g id=\"node11\" class=\"node\"><title>3</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"356\" cy=\"-724\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"356\" y=\"-718.4\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n</g>\n<!-- 1->3 -->\n<g id=\"edge10\" class=\"edge\"><title>1->3</title>\n<path fill=\"none\" stroke=\"black\" d=\"M203.731,-633.786C232.453,-650.915 296.169,-688.914 331.044,-709.713\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"329.682,-712.976 340.063,-715.092 333.267,-706.964 329.682,-712.976\"/>\n<text text-anchor=\"middle\" x=\"272\" y=\"-687.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 4 -->\n<g id=\"node13\" class=\"node\"><title>4</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"440\" cy=\"-577\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"440\" y=\"-571.4\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n</g>\n<!-- 1->4 -->\n<g id=\"edge12\" class=\"edge\"><title>1->4</title>\n<path fill=\"none\" stroke=\"black\" d=\"M205.791,-621.776C248.31,-613.612 360.51,-592.07 412.214,-582.143\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"413.121,-585.533 422.282,-580.21 411.801,-578.658 413.121,-585.533\"/>\n<text text-anchor=\"middle\" x=\"314\" y=\"-605.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 5 -->\n<g id=\"node15\" class=\"node\"><title>5</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"356\" cy=\"-1015\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"356\" y=\"-1009.4\" font-family=\"Times,serif\" font-size=\"14.00\">5</text>\n</g>\n<!-- 2->5 -->\n<g id=\"edge14\" class=\"edge\"><title>2->5</title>\n<path fill=\"none\" stroke=\"black\" d=\"M280.422,-851.291C294.753,-882.75 326.328,-952.061 343.437,-989.617\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"340.323,-991.226 347.654,-998.875 346.694,-988.324 340.323,-991.226\"/>\n<text text-anchor=\"middle\" x=\"314\" y=\"-944.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 17 -->\n<g id=\"node17\" class=\"node\"><title>17</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1065\" cy=\"-739\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1065\" y=\"-733.4\" font-family=\"Times,serif\" font-size=\"14.00\">17</text>\n</g>\n<!-- 2->17 -->\n<g id=\"edge16\" class=\"edge\"><title>2->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M290.277,-835C306.872,-835 332.649,-835 355,-835 355,-835 355,-835 482,-835 686.052,-835 738.317,-834.003 940,-803 980.071,-796.84 994.649,-804.533 1029,-783 1036.33,-778.407 1042.77,-771.723 1048.07,-764.946\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1051.17,-766.63 1054.15,-756.462 1045.48,-762.553 1051.17,-766.63\"/>\n<text text-anchor=\"middle\" x=\"541\" y=\"-837.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.109378</text>\n</g>\n<!-- 3->17 -->\n<g id=\"edge20\" class=\"edge\"><title>3->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M371.081,-734.288C376.465,-737.814 382.804,-741.498 389,-744 410.42,-752.65 484.182,-760.717 504,-763 735.807,-789.703 805.693,-826.688 1029,-759 1032.21,-758.026 1035.45,-756.713 1038.6,-755.224\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1040.45,-758.201 1047.61,-750.388 1037.14,-752.033 1040.45,-758.201\"/>\n<text text-anchor=\"middle\" x=\"630\" y=\"-788.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.176504</text>\n</g>\n<!-- 6 -->\n<g id=\"node19\" class=\"node\"><title>6</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"440\" cy=\"-724\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"440\" y=\"-718.4\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n</g>\n<!-- 3->6 -->\n<g id=\"edge18\" class=\"edge\"><title>3->6</title>\n<path fill=\"none\" stroke=\"black\" d=\"M374.39,-724C385.226,-724 399.399,-724 411.709,-724\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"411.916,-727.5 421.916,-724 411.916,-720.5 411.916,-727.5\"/>\n<text text-anchor=\"middle\" x=\"398\" y=\"-726.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 4->17 -->\n<g id=\"edge24\" class=\"edge\"><title>4->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M458.38,-575.75C522.721,-571.469 753.307,-559.186 940,-588 980.727,-594.286 1000.02,-584.698 1029,-614 1053.73,-639.008 1061.31,-679.98 1063.47,-708.158\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1059.98,-708.489 1064.05,-718.271 1066.97,-708.086 1059.98,-708.489\"/>\n<text text-anchor=\"middle\" x=\"719\" y=\"-574.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.509086</text>\n</g>\n<!-- 7 -->\n<g id=\"node22\" class=\"node\"><title>7</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"541\" cy=\"-531\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"541\" y=\"-525.4\" font-family=\"Times,serif\" font-size=\"14.00\">7</text>\n</g>\n<!-- 4->7 -->\n<g id=\"edge22\" class=\"edge\"><title>4->7</title>\n<path fill=\"none\" stroke=\"black\" d=\"M452.18,-563.251C457.819,-557.169 465.128,-550.447 473,-546.2 485.22,-539.608 500.18,-535.868 512.861,-533.75\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"513.461,-537.2 522.868,-532.324 512.474,-530.27 513.461,-537.2\"/>\n<text text-anchor=\"middle\" x=\"481\" y=\"-549.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 5->17 -->\n<g id=\"edge28\" class=\"edge\"><title>5->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M367.107,-1029.46C381.032,-1047.49 407.949,-1076 439,-1076 439,-1076 439,-1076 901,-1076 964.804,-1076 992.217,-1063.13 1029,-1011 1056.05,-972.661 1062.19,-832.125 1063.59,-769.484\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1067.09,-769.496 1063.79,-759.429 1060.09,-769.358 1067.09,-769.496\"/>\n<text text-anchor=\"middle\" x=\"630\" y=\"-1078.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.166822</text>\n</g>\n<!-- 8 -->\n<g id=\"node25\" class=\"node\"><title>8</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"440\" cy=\"-1015\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"440\" y=\"-1009.4\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n</g>\n<!-- 5->8 -->\n<g id=\"edge26\" class=\"edge\"><title>5->8</title>\n<path fill=\"none\" stroke=\"black\" d=\"M374.39,-1015C385.226,-1015 399.399,-1015 411.709,-1015\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"411.916,-1018.5 421.916,-1015 411.916,-1011.5 411.916,-1018.5\"/>\n<text text-anchor=\"middle\" x=\"398\" y=\"-1017.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 18 -->\n<g id=\"node55\" class=\"node\"><title>18</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1155\" cy=\"-386\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1155\" y=\"-380.4\" font-family=\"Times,serif\" font-size=\"14.00\">18</text>\n</g>\n<!-- 17->18 -->\n<g id=\"edge68\" class=\"edge\"><title>17->18</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1070.92,-719.265C1085.59,-660.432 1129.07,-485.989 1146.58,-415.774\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1150.04,-416.363 1149.06,-405.814 1143.25,-414.67 1150.04,-416.363\"/>\n<text text-anchor=\"middle\" x=\"1110\" y=\"-597.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^</text>\n</g>\n<!-- 6->17 -->\n<g id=\"edge32\" class=\"edge\"><title>6->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M456.589,-731.682C461.694,-733.829 467.476,-735.879 473,-737 682.966,-779.606 740.761,-742.444 955,-744 987.888,-744.239 996.194,-746.331 1029,-744 1030.73,-743.877 1032.5,-743.721 1034.28,-743.54\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1034.93,-746.987 1044.43,-742.295 1034.08,-740.039 1034.93,-746.987\"/>\n<text text-anchor=\"middle\" x=\"719\" y=\"-760.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.372935</text>\n</g>\n<!-- 9 -->\n<g id=\"node28\" class=\"node\"><title>9</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"541\" cy=\"-705\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"541\" y=\"-699.4\" font-family=\"Times,serif\" font-size=\"14.00\">9</text>\n</g>\n<!-- 6->9 -->\n<g id=\"edge30\" class=\"edge\"><title>6->9</title>\n<path fill=\"none\" stroke=\"black\" d=\"M457.794,-720.777C472.87,-717.884 495.272,-713.584 512.885,-710.204\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"513.963,-713.561 523.124,-708.239 512.643,-706.687 513.963,-713.561\"/>\n<text text-anchor=\"middle\" x=\"481\" y=\"-720.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 7->17 -->\n<g id=\"edge36\" class=\"edge\"><title>7->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M559.078,-529.135C636.989,-521.016 957.949,-491.907 1029,-555 1051.39,-574.881 1059.68,-661.374 1062.57,-708.356\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1059.09,-708.78 1063.15,-718.565 1066.07,-708.382 1059.09,-708.78\"/>\n<text text-anchor=\"middle\" x=\"808\" y=\"-518.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.209033</text>\n</g>\n<!-- 10 -->\n<g id=\"node31\" class=\"node\"><title>10</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"719\" cy=\"-482\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"719\" y=\"-476.4\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n</g>\n<!-- 7->10 -->\n<g id=\"edge34\" class=\"edge\"><title>7->10</title>\n<path fill=\"none\" stroke=\"black\" d=\"M555.952,-520.469C565.792,-513.587 579.562,-505.013 593,-500.2 624.072,-489.071 661.812,-484.737 687.641,-483.055\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"688.136,-486.533 697.927,-482.484 687.749,-479.544 688.136,-486.533\"/>\n<text text-anchor=\"middle\" x=\"630\" y=\"-503.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 8->17 -->\n<g id=\"edge40\" class=\"edge\"><title>8->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M457.683,-1019.37C477.255,-1024.11 510.75,-1031 540,-1031 540,-1031 540,-1031 901,-1031 964.604,-1031 991.542,-1018.4 1029,-967 1051.55,-936.051 1059.94,-824.094 1062.74,-769.44\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1066.25,-769.471 1063.23,-759.314 1059.25,-769.134 1066.25,-769.471\"/>\n<text text-anchor=\"middle\" x=\"719\" y=\"-1033.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.735152</text>\n</g>\n<!-- 11 -->\n<g id=\"node34\" class=\"node\"><title>11</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"541\" cy=\"-983\" rx=\"20.1809\" ry=\"20.1809\"/>\n<text text-anchor=\"middle\" x=\"541\" y=\"-977.4\" font-family=\"Times,serif\" font-size=\"14.00\">11</text>\n</g>\n<!-- 8->11 -->\n<g id=\"edge38\" class=\"edge\"><title>8->11</title>\n<path fill=\"none\" stroke=\"black\" d=\"M456.388,-1007.19C461.581,-1004.75 467.465,-1002.17 473,-1000.2 485.249,-995.836 499.123,-992.086 511.056,-989.212\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"512.001,-992.586 520.953,-986.919 510.421,-985.767 512.001,-992.586\"/>\n<text text-anchor=\"middle\" x=\"481\" y=\"-1003.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 9->17 -->\n<g id=\"edge44\" class=\"edge\"><title>9->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M559.086,-706.057C605.212,-708.918 736.124,-717.072 845,-724.2 912.513,-728.62 991.718,-734.028 1033.92,-736.927\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1033.86,-740.431 1044.07,-737.625 1034.34,-733.447 1033.86,-740.431\"/>\n<text text-anchor=\"middle\" x=\"808\" y=\"-727.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.980618</text>\n</g>\n<!-- 12 -->\n<g id=\"node37\" class=\"node\"><title>12</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"719\" cy=\"-656\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"719\" y=\"-650.4\" font-family=\"Times,serif\" font-size=\"14.00\">12</text>\n</g>\n<!-- 9->12 -->\n<g id=\"edge42\" class=\"edge\"><title>9->12</title>\n<path fill=\"none\" stroke=\"black\" d=\"M555.952,-694.469C565.792,-687.587 579.562,-679.013 593,-674.2 624.072,-663.071 661.812,-658.737 687.641,-657.055\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"688.136,-660.533 697.927,-656.484 687.749,-653.544 688.136,-660.533\"/>\n<text text-anchor=\"middle\" x=\"630\" y=\"-677.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 10->17 -->\n<g id=\"edge48\" class=\"edge\"><title>10->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M739.836,-481.138C801.636,-478.907 988.961,-475.733 1029,-517 1054.92,-543.712 1061.64,-653.905 1063.39,-708.317\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1059.89,-708.518 1063.68,-718.415 1066.89,-708.319 1059.89,-708.518\"/>\n<text text-anchor=\"middle\" x=\"900\" y=\"-489.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.0632042</text>\n</g>\n<!-- 13 -->\n<g id=\"node40\" class=\"node\"><title>13</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"900\" cy=\"-429\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"900\" y=\"-423.4\" font-family=\"Times,serif\" font-size=\"14.00\">13</text>\n</g>\n<!-- 10->13 -->\n<g id=\"edge46\" class=\"edge\"><title>10->13</title>\n<path fill=\"none\" stroke=\"black\" d=\"M736.915,-471.564C746.591,-465.995 759.131,-459.437 771,-455.2 803.482,-443.605 842.534,-436.541 868.893,-432.716\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"869.588,-436.153 879.014,-431.316 868.629,-429.219 869.588,-436.153\"/>\n<text text-anchor=\"middle\" x=\"808\" y=\"-458.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 11->17 -->\n<g id=\"edge52\" class=\"edge\"><title>11->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M561.511,-984.468C644.885,-990.258 969.696,-1007.76 1029,-934 1048.99,-909.142 1058.38,-817.947 1062.05,-769.586\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1065.55,-769.621 1062.78,-759.395 1058.57,-769.118 1065.55,-769.621\"/>\n<text text-anchor=\"middle\" x=\"808\" y=\"-992.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.587952</text>\n</g>\n<!-- 14 -->\n<g id=\"node43\" class=\"node\"><title>14</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"719\" cy=\"-936\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"719\" y=\"-930.4\" font-family=\"Times,serif\" font-size=\"14.00\">14</text>\n</g>\n<!-- 11->14 -->\n<g id=\"edge50\" class=\"edge\"><title>11->14</title>\n<path fill=\"none\" stroke=\"black\" d=\"M558.263,-971.757C567.934,-965.609 580.684,-958.409 593,-954.2 624.231,-943.526 661.943,-939.112 687.722,-937.287\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"688.221,-940.763 697.986,-936.652 687.789,-933.776 688.221,-940.763\"/>\n<text text-anchor=\"middle\" x=\"630\" y=\"-957.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 12->17 -->\n<g id=\"edge56\" class=\"edge\"><title>12->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M739.681,-658.473C803.645,-666.607 1003.04,-692.769 1029,-706 1034.21,-708.654 1039.19,-712.324 1043.67,-716.256\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1041.51,-719.041 1051.15,-723.453 1046.37,-713.997 1041.51,-719.041\"/>\n<text text-anchor=\"middle\" x=\"900\" y=\"-689.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/5.89355</text>\n</g>\n<!-- 15 -->\n<g id=\"node46\" class=\"node\"><title>15</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"900\" cy=\"-618\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"900\" y=\"-612.4\" font-family=\"Times,serif\" font-size=\"14.00\">15</text>\n</g>\n<!-- 12->15 -->\n<g id=\"edge54\" class=\"edge\"><title>12->15</title>\n<path fill=\"none\" stroke=\"black\" d=\"M739.348,-651.401C748.868,-649.17 760.522,-646.484 771,-644.2 804.698,-636.854 843.522,-628.992 869.494,-623.818\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"870.324,-627.221 879.451,-621.841 868.96,-620.355 870.324,-627.221\"/>\n<text text-anchor=\"middle\" x=\"808\" y=\"-647.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 13->17 -->\n<g id=\"edge58\" class=\"edge\"><title>13->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M920.82,-426.627C949.269,-424.44 1001.29,-425.209 1029,-455.2 1062.51,-491.47 1065.07,-642.735 1064.55,-708.379\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1061.05,-708.474 1064.44,-718.512 1068.05,-708.551 1061.05,-708.474\"/>\n<text text-anchor=\"middle\" x=\"992\" y=\"-458.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.260881</text>\n</g>\n<!-- 14->17 -->\n<g id=\"edge62\" class=\"edge\"><title>14->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M739.445,-940.657C793.413,-952.32 946.495,-976.639 1029,-900 1047.7,-882.629 1057.34,-811.233 1061.46,-769.58\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1064.96,-769.717 1062.41,-759.433 1057.99,-769.062 1064.96,-769.717\"/>\n<text text-anchor=\"middle\" x=\"900\" y=\"-956.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/2.57214</text>\n</g>\n<!-- 16 -->\n<g id=\"node50\" class=\"node\"><title>16</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"900\" cy=\"-883\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"900\" y=\"-877.4\" font-family=\"Times,serif\" font-size=\"14.00\">16</text>\n</g>\n<!-- 14->16 -->\n<g id=\"edge60\" class=\"edge\"><title>14->16</title>\n<path fill=\"none\" stroke=\"black\" d=\"M736.915,-925.564C746.591,-919.995 759.131,-913.437 771,-909.2 803.482,-897.605 842.534,-890.541 868.893,-886.716\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"869.588,-890.153 879.014,-885.316 868.629,-883.219 869.588,-890.153\"/>\n<text text-anchor=\"middle\" x=\"808\" y=\"-912.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 15->17 -->\n<g id=\"edge64\" class=\"edge\"><title>15->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M920.876,-616.489C948.451,-615.505 998.368,-617.897 1029,-644.2 1047.79,-660.333 1056.5,-687.496 1060.53,-708.621\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1057.12,-709.433 1062.2,-718.729 1064.02,-708.292 1057.12,-709.433\"/>\n<text text-anchor=\"middle\" x=\"992\" y=\"-647.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.443444</text>\n</g>\n<!-- 16->17 -->\n<g id=\"edge66\" class=\"edge\"><title>16->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M921.157,-883.129C949.065,-882.2 999.375,-876.355 1029,-848 1050.39,-827.529 1058.74,-793.977 1061.98,-769.498\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1065.49,-769.622 1063.11,-759.298 1058.53,-768.852 1065.49,-769.622\"/>\n<text text-anchor=\"middle\" x=\"992\" y=\"-882.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.518394</text>\n</g>\n<!-- 18->0 -->\n<g id=\"edge70\" class=\"edge\"><title>18->0</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1134.1,-383.868C1116.29,-382.143 1089.43,-380 1066,-380 187,-380 187,-380 187,-380 169.553,-380 149.98,-380.721 134.562,-381.457\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"133.969,-377.982 124.159,-381.984 134.324,-384.973 133.969,-377.982\"/>\n<text text-anchor=\"middle\" x=\"481\" y=\"-382.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 18->20 -->\n<g id=\"edge72\" class=\"edge\"><title>18->20</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1175.09,-379.564C1186.41,-375.746 1200.98,-370.833 1213.63,-366.567\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1214.91,-369.83 1223.26,-363.318 1212.67,-363.197 1214.91,-369.83\"/>\n<text text-anchor=\"middle\" x=\"1199\" y=\"-377.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 22 -->\n<g id=\"node61\" class=\"node\"><title>22</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1421\" cy=\"-357\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1421\" y=\"-351.4\" font-family=\"Times,serif\" font-size=\"14.00\">22</text>\n</g>\n<!-- 21->22 -->\n<g id=\"edge76\" class=\"edge\"><title>21->22</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1353.95,-357C1364.69,-357 1378.16,-357 1390.14,-357\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1390.16,-360.5 1400.16,-357 1390.16,-353.5 1390.16,-360.5\"/>\n<text text-anchor=\"middle\" x=\"1377\" y=\"-359.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 23 -->\n<g id=\"node63\" class=\"node\"><title>23</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1509\" cy=\"-357\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1509\" y=\"-351.4\" font-family=\"Times,serif\" font-size=\"14.00\">23</text>\n</g>\n<!-- 22->23 -->\n<g id=\"edge78\" class=\"edge\"><title>22->23</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1441.95,-357C1452.69,-357 1466.16,-357 1478.14,-357\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1478.16,-360.5 1488.16,-357 1478.16,-353.5 1478.16,-360.5\"/>\n<text text-anchor=\"middle\" x=\"1465\" y=\"-359.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 24 -->\n<g id=\"node65\" class=\"node\"><title>24</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1599\" cy=\"-433\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1599\" y=\"-427.4\" font-family=\"Times,serif\" font-size=\"14.00\">24</text>\n</g>\n<!-- 23->24 -->\n<g id=\"edge80\" class=\"edge\"><title>23->24</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1525.33,-370.238C1539.08,-382.117 1559.46,-399.713 1575.14,-413.254\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1572.99,-416.026 1582.85,-419.914 1577.57,-410.728 1572.99,-416.026\"/>\n<text text-anchor=\"middle\" x=\"1554\" y=\"-404.8\" font-family=\"Times,serif\" font-size=\"14.00\">b:b</text>\n</g>\n<!-- 25 -->\n<g id=\"node67\" class=\"node\"><title>25</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1689\" cy=\"-357\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1689\" y=\"-351.4\" font-family=\"Times,serif\" font-size=\"14.00\">25</text>\n</g>\n<!-- 23->25 -->\n<g id=\"edge82\" class=\"edge\"><title>23->25</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1529.73,-357C1560.87,-357 1621.62,-357 1658.13,-357\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1658.18,-360.5 1668.18,-357 1658.18,-353.5 1658.18,-360.5\"/>\n<text text-anchor=\"middle\" x=\"1599\" y=\"-359.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 26 -->\n<g id=\"node69\" class=\"node\"><title>26</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1779\" cy=\"-168\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1779\" y=\"-162.4\" font-family=\"Times,serif\" font-size=\"14.00\">26</text>\n</g>\n<!-- 23->26 -->\n<g id=\"edge84\" class=\"edge\"><title>23->26</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1526.36,-345.462C1571.68,-313.5 1699.07,-223.664 1753.18,-185.502\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1755.36,-188.251 1761.51,-179.627 1751.32,-182.53 1755.36,-188.251\"/>\n<text text-anchor=\"middle\" x=\"1644\" y=\"-269.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 27 -->\n<g id=\"node71\" class=\"node\"><title>27</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1689\" cy=\"-598\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1689\" y=\"-592.4\" font-family=\"Times,serif\" font-size=\"14.00\">27</text>\n</g>\n<!-- 24->27 -->\n<g id=\"edge86\" class=\"edge\"><title>24->27</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1609.42,-450.658C1624.86,-479.611 1655.65,-537.346 1673.77,-571.313\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1670.72,-573.043 1678.52,-580.22 1676.9,-569.749 1670.72,-573.043\"/>\n<text text-anchor=\"middle\" x=\"1644\" y=\"-533.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 39 -->\n<g id=\"node73\" class=\"node\"><title>39</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2407\" cy=\"-351\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2407\" y=\"-345.4\" font-family=\"Times,serif\" font-size=\"14.00\">39</text>\n</g>\n<!-- 24->39 -->\n<g id=\"edge88\" class=\"edge\"><title>24->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1619.92,-433C1637.76,-433 1664.62,-433 1688,-433 1688,-433 1688,-433 1824,-433 2028.22,-433 2078.96,-417.874 2282,-396 2321.68,-391.725 2334.97,-401.181 2371,-384 2376.28,-381.484 2381.28,-377.876 2385.78,-373.962\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2388.48,-376.216 2393.25,-366.756 2383.62,-371.177 2388.48,-376.216\"/>\n<text text-anchor=\"middle\" x=\"1883\" y=\"-435.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.109378</text>\n</g>\n<!-- 25->39 -->\n<g id=\"edge92\" class=\"edge\"><title>25->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1708.18,-365.144C1713.5,-367.14 1719.39,-368.991 1725,-370 1732.87,-371.415 1735,-370.038 1743,-370 2022.12,-368.667 2096.52,-414.684 2371,-364 2373.37,-363.563 2375.78,-362.979 2378.18,-362.301\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2379.42,-365.578 2387.81,-359.109 2377.22,-358.934 2379.42,-365.578\"/>\n<text text-anchor=\"middle\" x=\"1972\" y=\"-385.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.176504</text>\n</g>\n<!-- 28 -->\n<g id=\"node75\" class=\"node\"><title>28</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1779\" cy=\"-338\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1779\" y=\"-332.4\" font-family=\"Times,serif\" font-size=\"14.00\">28</text>\n</g>\n<!-- 25->28 -->\n<g id=\"edge90\" class=\"edge\"><title>25->28</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1709.53,-352.783C1721.04,-350.299 1735.82,-347.107 1748.7,-344.326\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1749.49,-347.737 1758.52,-342.205 1748.01,-340.894 1749.49,-347.737\"/>\n<text text-anchor=\"middle\" x=\"1734\" y=\"-352.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 26->39 -->\n<g id=\"edge96\" class=\"edge\"><title>26->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1799.74,-165.935C1893.27,-156.625 2290.56,-122.526 2371,-206 2386.58,-222.166 2397.11,-282.947 2402.28,-320.494\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2398.88,-321.416 2403.66,-330.869 2405.82,-320.495 2398.88,-321.416\"/>\n<text text-anchor=\"middle\" x=\"2061\" y=\"-154.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.509086</text>\n</g>\n<!-- 29 -->\n<g id=\"node78\" class=\"node\"><title>29</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1883\" cy=\"-119\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1883\" y=\"-113.4\" font-family=\"Times,serif\" font-size=\"14.00\">29</text>\n</g>\n<!-- 26->29 -->\n<g id=\"edge94\" class=\"edge\"><title>26->29</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1793.52,-153.488C1799.59,-147.697 1807.16,-141.417 1815,-137.2 1826.49,-131.018 1840.25,-126.809 1852.3,-124.011\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1853.28,-127.381 1862.35,-121.901 1851.85,-120.531 1853.28,-127.381\"/>\n<text text-anchor=\"middle\" x=\"1823\" y=\"-140.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 27->39 -->\n<g id=\"edge100\" class=\"edge\"><title>27->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1700.79,-615.187C1715.46,-636.2 1743.84,-669 1778,-669 1778,-669 1778,-669 2243,-669 2307.01,-669 2334,-655.228 2371,-603 2395.82,-567.967 2403.13,-440.824 2405.21,-381.665\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2408.71,-381.556 2405.54,-371.448 2401.72,-381.329 2408.71,-381.556\"/>\n<text text-anchor=\"middle\" x=\"1972\" y=\"-671.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.166822</text>\n</g>\n<!-- 30 -->\n<g id=\"node81\" class=\"node\"><title>30</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1779\" cy=\"-598\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1779\" y=\"-592.4\" font-family=\"Times,serif\" font-size=\"14.00\">30</text>\n</g>\n<!-- 27->30 -->\n<g id=\"edge98\" class=\"edge\"><title>27->30</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1709.97,-598C1721.22,-598 1735.5,-598 1748.06,-598\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1748.11,-601.5 1758.11,-598 1748.11,-594.5 1748.11,-601.5\"/>\n<text text-anchor=\"middle\" x=\"1734\" y=\"-600.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 40 -->\n<g id=\"node111\" class=\"node\"><title>40</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2497\" cy=\"-351\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2497\" y=\"-345.4\" font-family=\"Times,serif\" font-size=\"14.00\">40</text>\n</g>\n<!-- 39->40 -->\n<g id=\"edge140\" class=\"edge\"><title>39->40</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2427.97,-351C2439.22,-351 2453.5,-351 2466.06,-351\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2466.11,-354.5 2476.11,-351 2466.11,-347.5 2466.11,-354.5\"/>\n<text text-anchor=\"middle\" x=\"2452\" y=\"-353.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:></text>\n</g>\n<!-- 28->39 -->\n<g id=\"edge104\" class=\"edge\"><title>28->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1799.77,-338.411C1890.39,-340.292 2266.33,-348.099 2375.9,-350.375\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2376.16,-353.881 2386.23,-350.589 2376.3,-346.882 2376.16,-353.881\"/>\n<text text-anchor=\"middle\" x=\"2061\" y=\"-347.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.372935</text>\n</g>\n<!-- 31 -->\n<g id=\"node84\" class=\"node\"><title>31</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1883\" cy=\"-297\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1883\" y=\"-291.4\" font-family=\"Times,serif\" font-size=\"14.00\">31</text>\n</g>\n<!-- 28->31 -->\n<g id=\"edge102\" class=\"edge\"><title>28->31</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1796.13,-325.987C1801.87,-322.129 1808.51,-318.106 1815,-315.2 1826.83,-309.901 1840.53,-305.842 1852.46,-302.918\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1853.43,-306.287 1862.39,-300.636 1851.86,-299.465 1853.43,-306.287\"/>\n<text text-anchor=\"middle\" x=\"1823\" y=\"-318.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 29->39 -->\n<g id=\"edge108\" class=\"edge\"><title>29->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1903.82,-117.044C1986.33,-109.35 2301.58,-84.5955 2371,-148 2395.84,-170.686 2403.07,-269.649 2405.16,-320.536\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2401.67,-320.756 2405.53,-330.62 2408.66,-320.498 2401.67,-320.756\"/>\n<text text-anchor=\"middle\" x=\"2150\" y=\"-109.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.209033</text>\n</g>\n<!-- 32 -->\n<g id=\"node87\" class=\"node\"><title>32</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2061\" cy=\"-73\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2061\" y=\"-67.4\" font-family=\"Times,serif\" font-size=\"14.00\">32</text>\n</g>\n<!-- 29->32 -->\n<g id=\"edge106\" class=\"edge\"><title>29->32</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1900.77,-107.883C1910.4,-102.016 1922.95,-95.2189 1935,-91.2 1966.31,-80.7605 2004.01,-76.3054 2029.76,-74.4063\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2030.26,-77.8812 2040.02,-73.739 2029.81,-70.896 2030.26,-77.8812\"/>\n<text text-anchor=\"middle\" x=\"1972\" y=\"-94.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 30->39 -->\n<g id=\"edge112\" class=\"edge\"><title>30->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1798.44,-605.66C1818.6,-613.33 1852.03,-624 1882,-624 1882,-624 1882,-624 2243,-624 2306.6,-624 2333.19,-611.148 2371,-560 2391.57,-532.172 2400.81,-432.385 2404.26,-381.422\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2407.76,-381.536 2404.91,-371.331 2400.78,-381.085 2407.76,-381.536\"/>\n<text text-anchor=\"middle\" x=\"2061\" y=\"-626.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.735152</text>\n</g>\n<!-- 33 -->\n<g id=\"node90\" class=\"node\"><title>33</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1883\" cy=\"-575\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1883\" y=\"-569.4\" font-family=\"Times,serif\" font-size=\"14.00\">33</text>\n</g>\n<!-- 30->33 -->\n<g id=\"edge110\" class=\"edge\"><title>30->33</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1799.67,-593.565C1814.72,-590.171 1835.72,-585.436 1852.74,-581.597\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1853.75,-584.957 1862.74,-579.343 1852.21,-578.128 1853.75,-584.957\"/>\n<text text-anchor=\"middle\" x=\"1823\" y=\"-592.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 31->39 -->\n<g id=\"edge116\" class=\"edge\"><title>31->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1903.85,-296.361C1970.81,-294.681 2194,-292.963 2371,-337 2373.36,-337.587 2375.77,-338.298 2378.17,-339.084\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2377.19,-342.455 2387.78,-342.622 2379.61,-335.885 2377.19,-342.455\"/>\n<text text-anchor=\"middle\" x=\"2150\" y=\"-309.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.980618</text>\n</g>\n<!-- 34 -->\n<g id=\"node93\" class=\"node\"><title>34</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2061\" cy=\"-251\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2061\" y=\"-245.4\" font-family=\"Times,serif\" font-size=\"14.00\">34</text>\n</g>\n<!-- 31->34 -->\n<g id=\"edge114\" class=\"edge\"><title>31->34</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1900.77,-285.883C1910.4,-280.016 1922.95,-273.219 1935,-269.2 1966.31,-258.76 2004.01,-254.305 2029.76,-252.406\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2030.26,-255.881 2040.02,-251.739 2029.81,-248.896 2030.26,-255.881\"/>\n<text text-anchor=\"middle\" x=\"1972\" y=\"-272.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 32->39 -->\n<g id=\"edge120\" class=\"edge\"><title>32->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2081.86,-72.1154C2143.73,-69.8181 2331.24,-66.4677 2371,-108 2399.58,-137.853 2404.95,-261.925 2405.87,-320.336\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2402.37,-320.485 2405.99,-330.441 2409.37,-320.398 2402.37,-320.485\"/>\n<text text-anchor=\"middle\" x=\"2242\" y=\"-80.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.0632042</text>\n</g>\n<!-- 35 -->\n<g id=\"node96\" class=\"node\"><title>35</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2242\" cy=\"-20\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2242\" y=\"-14.4\" font-family=\"Times,serif\" font-size=\"14.00\">35</text>\n</g>\n<!-- 32->35 -->\n<g id=\"edge118\" class=\"edge\"><title>32->35</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2078.92,-62.5637C2088.59,-56.9954 2101.13,-50.4369 2113,-46.2 2145.48,-34.605 2184.53,-27.541 2210.89,-23.716\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2211.59,-27.1532 2221.01,-22.3161 2210.63,-20.2192 2211.59,-27.1532\"/>\n<text text-anchor=\"middle\" x=\"2150\" y=\"-49.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 33->39 -->\n<g id=\"edge124\" class=\"edge\"><title>33->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1903.76,-576.505C1987.44,-582.392 2311.09,-600.102 2371,-527 2388.92,-505.129 2399.03,-425.777 2403.39,-381.462\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2406.9,-381.551 2404.35,-371.266 2399.93,-380.893 2406.9,-381.551\"/>\n<text text-anchor=\"middle\" x=\"2150\" y=\"-585.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.587952</text>\n</g>\n<!-- 36 -->\n<g id=\"node99\" class=\"node\"><title>36</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2061\" cy=\"-529\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2061\" y=\"-523.4\" font-family=\"Times,serif\" font-size=\"14.00\">36</text>\n</g>\n<!-- 33->36 -->\n<g id=\"edge122\" class=\"edge\"><title>33->36</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1900.77,-563.883C1910.4,-558.016 1922.95,-551.219 1935,-547.2 1966.31,-536.76 2004.01,-532.305 2029.76,-530.406\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2030.26,-533.881 2040.02,-529.739 2029.81,-526.896 2030.26,-533.881\"/>\n<text text-anchor=\"middle\" x=\"1972\" y=\"-550.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 34->39 -->\n<g id=\"edge128\" class=\"edge\"><title>34->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2081.81,-253.113C2146.18,-260.109 2346.69,-282.986 2371,-299 2380.2,-305.061 2387.6,-314.462 2393.18,-323.613\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2390.23,-325.513 2398.16,-332.547 2396.35,-322.107 2390.23,-325.513\"/>\n<text text-anchor=\"middle\" x=\"2242\" y=\"-281.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/5.89355</text>\n</g>\n<!-- 37 -->\n<g id=\"node102\" class=\"node\"><title>37</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2242\" cy=\"-211\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2242\" y=\"-205.4\" font-family=\"Times,serif\" font-size=\"14.00\">37</text>\n</g>\n<!-- 34->37 -->\n<g id=\"edge126\" class=\"edge\"><title>34->37</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2081.3,-245.472C2090.81,-242.827 2102.47,-239.7 2113,-237.2 2146.56,-229.234 2185.41,-221.488 2211.42,-216.511\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2212.23,-219.921 2221.4,-214.618 2210.92,-213.044 2212.23,-219.921\"/>\n<text text-anchor=\"middle\" x=\"2150\" y=\"-240.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 35->39 -->\n<g id=\"edge130\" class=\"edge\"><title>35->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2262.85,-17.596C2291.34,-15.3712 2343.42,-16.0933 2371,-46.2 2389.3,-66.1809 2400.62,-246.985 2404.5,-320.314\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2401,-320.515 2405.01,-330.321 2407.99,-320.153 2401,-320.515\"/>\n<text text-anchor=\"middle\" x=\"2334\" y=\"-49.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.260881</text>\n</g>\n<!-- 36->39 -->\n<g id=\"edge134\" class=\"edge\"><title>36->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2081.34,-533.539C2135.02,-544.895 2287.45,-568.493 2371,-493 2387.29,-478.282 2397.54,-418.652 2402.48,-381.503\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2406,-381.586 2403.79,-371.224 2399.06,-380.702 2406,-381.586\"/>\n<text text-anchor=\"middle\" x=\"2242\" y=\"-549.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/2.57214</text>\n</g>\n<!-- 38 -->\n<g id=\"node106\" class=\"node\"><title>38</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2242\" cy=\"-476\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2242\" y=\"-470.4\" font-family=\"Times,serif\" font-size=\"14.00\">38</text>\n</g>\n<!-- 36->38 -->\n<g id=\"edge132\" class=\"edge\"><title>36->38</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2078.92,-518.564C2088.59,-512.995 2101.13,-506.437 2113,-502.2 2145.48,-490.605 2184.53,-483.541 2210.89,-479.716\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2211.59,-483.153 2221.01,-478.316 2210.63,-476.219 2211.59,-483.153\"/>\n<text text-anchor=\"middle\" x=\"2150\" y=\"-505.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 37->39 -->\n<g id=\"edge136\" class=\"edge\"><title>37->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2263.08,-209.256C2290.9,-207.995 2341.11,-210.06 2371,-237.2 2394.27,-258.326 2402.24,-294.503 2404.88,-320.398\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2401.4,-320.765 2405.7,-330.45 2408.38,-320.2 2401.4,-320.765\"/>\n<text text-anchor=\"middle\" x=\"2334\" y=\"-240.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.443444</text>\n</g>\n<!-- 38->39 -->\n<g id=\"edge138\" class=\"edge\"><title>38->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2262.92,-475.877C2290.55,-474.649 2340.54,-468.451 2371,-441 2388.1,-425.589 2396.93,-400.815 2401.44,-381.157\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2404.91,-381.635 2403.47,-371.138 2398.05,-380.242 2404.91,-381.635\"/>\n<text text-anchor=\"middle\" x=\"2334\" y=\"-475.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.518394</text>\n</g>\n<!-- 60 -->\n<g id=\"node113\" class=\"node\"><title>60</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2589\" cy=\"-351\" rx=\"20.8568\" ry=\"20.8568\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2589\" cy=\"-351\" rx=\"24.8884\" ry=\"24.8884\"/>\n<text text-anchor=\"middle\" x=\"2589\" y=\"-345.4\" font-family=\"Times,serif\" font-size=\"14.00\">60</text>\n</g>\n<!-- 40->60 -->\n<g id=\"edge142\" class=\"edge\"><title>40->60</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2517.97,-351C2528.55,-351 2541.83,-351 2553.97,-351\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2554.25,-354.5 2564.25,-351 2554.25,-347.5 2554.25,-354.5\"/>\n<text text-anchor=\"middle\" x=\"2541\" y=\"-353.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 41 -->\n<g id=\"node114\" class=\"node\"><title>41</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2681\" cy=\"-351\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2681\" y=\"-345.4\" font-family=\"Times,serif\" font-size=\"14.00\">41</text>\n</g>\n<!-- 60->41 -->\n<g id=\"edge210\" class=\"edge\"><title>60->41</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2614.12,-351C2625.12,-351 2638.26,-351 2649.91,-351\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2650.07,-354.5 2660.07,-351 2650.07,-347.5 2650.07,-354.5\"/>\n<text text-anchor=\"middle\" x=\"2637\" y=\"-353.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 42 -->\n<g id=\"node116\" class=\"node\"><title>42</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2769\" cy=\"-594\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2769\" y=\"-588.4\" font-family=\"Times,serif\" font-size=\"14.00\">42</text>\n</g>\n<!-- 41->42 -->\n<g id=\"edge144\" class=\"edge\"><title>41->42</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2688.75,-370.068C2703.79,-412.565 2740.13,-515.251 2757.89,-565.433\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2754.65,-566.761 2761.28,-575.021 2761.25,-564.426 2754.65,-566.761\"/>\n<text text-anchor=\"middle\" x=\"2725\" y=\"-497.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n<!-- 43 -->\n<g id=\"node118\" class=\"node\"><title>43</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2859\" cy=\"-790\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2859\" y=\"-784.4\" font-family=\"Times,serif\" font-size=\"14.00\">43</text>\n</g>\n<!-- 42->43 -->\n<g id=\"edge146\" class=\"edge\"><title>42->43</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2778.28,-612.439C2793.81,-647.038 2827.4,-721.852 2845.63,-762.45\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2842.52,-764.063 2849.81,-771.753 2848.9,-761.196 2842.52,-764.063\"/>\n<text text-anchor=\"middle\" x=\"2814\" y=\"-712.8\" font-family=\"Times,serif\" font-size=\"14.00\">b:b</text>\n</g>\n<!-- 44 -->\n<g id=\"node120\" class=\"node\"><title>44</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2949\" cy=\"-680\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2949\" y=\"-674.4\" font-family=\"Times,serif\" font-size=\"14.00\">44</text>\n</g>\n<!-- 42->44 -->\n<g id=\"edge148\" class=\"edge\"><title>42->44</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2788.05,-602.719C2819.45,-617.89 2884.28,-649.214 2921.03,-666.971\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2919.64,-670.186 2930.17,-671.385 2922.69,-663.884 2919.64,-670.186\"/>\n<text text-anchor=\"middle\" x=\"2859\" y=\"-649.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 45 -->\n<g id=\"node122\" class=\"node\"><title>45</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3039\" cy=\"-532\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3039\" y=\"-526.4\" font-family=\"Times,serif\" font-size=\"14.00\">45</text>\n</g>\n<!-- 42->45 -->\n<g id=\"edge150\" class=\"edge\"><title>42->45</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2789.27,-589.541C2835.62,-578.82 2953.52,-551.545 3008.69,-538.781\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3009.59,-542.166 3018.54,-536.502 3008.01,-535.346 3009.59,-542.166\"/>\n<text text-anchor=\"middle\" x=\"2904\" y=\"-567.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 46 -->\n<g id=\"node124\" class=\"node\"><title>46</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"2949\" cy=\"-968\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"2949\" y=\"-962.4\" font-family=\"Times,serif\" font-size=\"14.00\">46</text>\n</g>\n<!-- 43->46 -->\n<g id=\"edge152\" class=\"edge\"><title>43->46</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2868.92,-808.047C2884.41,-839.365 2916.33,-903.944 2934.53,-940.748\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2931.48,-942.492 2939.05,-949.905 2937.76,-939.39 2931.48,-942.492\"/>\n<text text-anchor=\"middle\" x=\"2904\" y=\"-897.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 58 -->\n<g id=\"node126\" class=\"node\"><title>58</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3667\" cy=\"-694\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3667\" y=\"-688.4\" font-family=\"Times,serif\" font-size=\"14.00\">58</text>\n</g>\n<!-- 43->58 -->\n<g id=\"edge154\" class=\"edge\"><title>43->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2879.92,-790C2897.76,-790 2924.62,-790 2948,-790 2948,-790 2948,-790 3084,-790 3288.12,-790 3339.79,-783.842 3542,-756 3581.98,-750.495 3596.58,-759.066 3631,-738 3638.38,-733.486 3644.84,-726.827 3650.14,-720.048\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3653.24,-721.721 3656.21,-711.549 3647.55,-717.653 3653.24,-721.721\"/>\n<text text-anchor=\"middle\" x=\"3143\" y=\"-792.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.109378</text>\n</g>\n<!-- 44->58 -->\n<g id=\"edge158\" class=\"edge\"><title>44->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2966.65,-690.659C2972.32,-693.974 2978.79,-697.429 2985,-700 3035.12,-720.759 3051.92,-711.723 3106,-716 3338.61,-734.399 3407.33,-780.464 3631,-714 3634.22,-713.043 3637.46,-711.742 3640.61,-710.259\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3642.46,-713.237 3649.62,-705.429 3639.15,-707.067 3642.46,-713.237\"/>\n<text text-anchor=\"middle\" x=\"3232\" y=\"-737.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.176504</text>\n</g>\n<!-- 47 -->\n<g id=\"node128\" class=\"node\"><title>47</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3039\" cy=\"-680\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3039\" y=\"-674.4\" font-family=\"Times,serif\" font-size=\"14.00\">47</text>\n</g>\n<!-- 44->47 -->\n<g id=\"edge156\" class=\"edge\"><title>44->47</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2969.97,-680C2981.22,-680 2995.5,-680 3008.06,-680\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3008.11,-683.5 3018.11,-680 3008.11,-676.5 3008.11,-683.5\"/>\n<text text-anchor=\"middle\" x=\"2994\" y=\"-682.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 45->58 -->\n<g id=\"edge162\" class=\"edge\"><title>45->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3059.78,-530.588C3127.53,-526.142 3356.34,-514.357 3542,-543 3582.73,-549.283 3602.02,-539.698 3631,-569 3655.73,-594.008 3663.31,-634.98 3665.47,-663.158\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3661.98,-663.489 3666.05,-673.271 3668.97,-663.086 3661.98,-663.489\"/>\n<text text-anchor=\"middle\" x=\"3321\" y=\"-529.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.509086</text>\n</g>\n<!-- 48 -->\n<g id=\"node131\" class=\"node\"><title>48</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3143\" cy=\"-483\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3143\" y=\"-477.4\" font-family=\"Times,serif\" font-size=\"14.00\">48</text>\n</g>\n<!-- 45->48 -->\n<g id=\"edge160\" class=\"edge\"><title>45->48</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3053.52,-517.488C3059.59,-511.697 3067.16,-505.417 3075,-501.2 3086.49,-495.018 3100.25,-490.809 3112.3,-488.011\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3113.28,-491.381 3122.35,-485.901 3111.85,-484.531 3113.28,-491.381\"/>\n<text text-anchor=\"middle\" x=\"3083\" y=\"-504.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 46->58 -->\n<g id=\"edge166\" class=\"edge\"><title>46->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2962.04,-984.224C2977.4,-1002.89 3005.87,-1031 3038,-1031 3038,-1031 3038,-1031 3503,-1031 3566.8,-1031 3594.22,-1018.13 3631,-966 3658.05,-927.661 3664.19,-787.125 3665.59,-724.484\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3669.09,-724.496 3665.79,-714.429 3662.09,-724.358 3669.09,-724.496\"/>\n<text text-anchor=\"middle\" x=\"3232\" y=\"-1033.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.166822</text>\n</g>\n<!-- 49 -->\n<g id=\"node134\" class=\"node\"><title>49</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3039\" cy=\"-968\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3039\" y=\"-962.4\" font-family=\"Times,serif\" font-size=\"14.00\">49</text>\n</g>\n<!-- 46->49 -->\n<g id=\"edge164\" class=\"edge\"><title>46->49</title>\n<path fill=\"none\" stroke=\"black\" d=\"M2969.97,-968C2981.22,-968 2995.5,-968 3008.06,-968\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3008.11,-971.5 3018.11,-968 3008.11,-964.5 3008.11,-971.5\"/>\n<text text-anchor=\"middle\" x=\"2994\" y=\"-970.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 59 -->\n<g id=\"node164\" class=\"node\"><title>59</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3761\" cy=\"-433\" rx=\"20.8568\" ry=\"20.8568\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3761\" cy=\"-433\" rx=\"24.8884\" ry=\"24.8884\"/>\n<text text-anchor=\"middle\" x=\"3761\" y=\"-427.4\" font-family=\"Times,serif\" font-size=\"14.00\">59</text>\n</g>\n<!-- 58->59 -->\n<g id=\"edge206\" class=\"edge\"><title>58->59</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3674.76,-674.808C3690.39,-630.478 3729.14,-520.556 3748.54,-465.503\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3751.91,-466.485 3751.93,-455.89 3745.31,-464.158 3751.91,-466.485\"/>\n<text text-anchor=\"middle\" x=\"3712\" y=\"-597.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^</text>\n</g>\n<!-- 47->58 -->\n<g id=\"edge170\" class=\"edge\"><title>47->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3058.6,-687.593C3063.82,-689.387 3069.56,-691.052 3075,-692 3286.07,-728.755 3342.76,-697.444 3557,-699 3589.89,-699.239 3598.19,-701.331 3631,-699 3632.73,-698.877 3634.5,-698.721 3636.28,-698.54\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3636.93,-701.987 3646.43,-697.295 3636.08,-695.039 3636.93,-701.987\"/>\n<text text-anchor=\"middle\" x=\"3321\" y=\"-712.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.372935</text>\n</g>\n<!-- 50 -->\n<g id=\"node137\" class=\"node\"><title>50</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3143\" cy=\"-657\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3143\" y=\"-651.4\" font-family=\"Times,serif\" font-size=\"14.00\">50</text>\n</g>\n<!-- 47->50 -->\n<g id=\"edge168\" class=\"edge\"><title>47->50</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3059.67,-675.565C3074.72,-672.171 3095.72,-667.436 3112.74,-663.597\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3113.75,-666.957 3122.74,-661.343 3112.21,-660.128 3113.75,-666.957\"/>\n<text text-anchor=\"middle\" x=\"3083\" y=\"-674.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 48->58 -->\n<g id=\"edge174\" class=\"edge\"><title>48->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3163.77,-481C3246.1,-473.118 3560.72,-447.59 3631,-510 3653.39,-529.881 3661.68,-616.374 3664.57,-663.356\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3661.09,-663.78 3665.15,-673.565 3668.07,-663.382 3661.09,-663.78\"/>\n<text text-anchor=\"middle\" x=\"3410\" y=\"-472.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.209033</text>\n</g>\n<!-- 51 -->\n<g id=\"node140\" class=\"node\"><title>51</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3321\" cy=\"-437\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3321\" y=\"-431.4\" font-family=\"Times,serif\" font-size=\"14.00\">51</text>\n</g>\n<!-- 48->51 -->\n<g id=\"edge172\" class=\"edge\"><title>48->51</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3160.77,-471.883C3170.4,-466.016 3182.95,-459.219 3195,-455.2 3226.31,-444.76 3264.01,-440.305 3289.76,-438.406\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3290.26,-441.881 3300.02,-437.739 3289.81,-434.896 3290.26,-441.881\"/>\n<text text-anchor=\"middle\" x=\"3232\" y=\"-458.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 49->58 -->\n<g id=\"edge178\" class=\"edge\"><title>49->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3059,-973.401C3079.35,-978.703 3112.69,-986 3142,-986 3142,-986 3142,-986 3503,-986 3566.6,-986 3593.54,-973.404 3631,-922 3653.55,-891.051 3661.94,-779.094 3664.74,-724.44\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3668.25,-724.471 3665.23,-714.314 3661.25,-724.134 3668.25,-724.471\"/>\n<text text-anchor=\"middle\" x=\"3321\" y=\"-988.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.735152</text>\n</g>\n<!-- 52 -->\n<g id=\"node143\" class=\"node\"><title>52</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3143\" cy=\"-937\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3143\" y=\"-931.4\" font-family=\"Times,serif\" font-size=\"14.00\">52</text>\n</g>\n<!-- 49->52 -->\n<g id=\"edge176\" class=\"edge\"><title>49->52</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3058.43,-960.927C3063.74,-958.977 3069.57,-956.926 3075,-955.2 3087.35,-951.273 3101.14,-947.434 3112.99,-944.302\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3114.02,-947.652 3122.81,-941.748 3112.25,-940.877 3114.02,-947.652\"/>\n<text text-anchor=\"middle\" x=\"3083\" y=\"-958.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 50->58 -->\n<g id=\"edge182\" class=\"edge\"><title>50->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3163.83,-658.405C3243.44,-664.049 3540.23,-685.085 3636,-691.874\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3635.93,-695.377 3646.15,-692.593 3636.43,-688.395 3635.93,-695.377\"/>\n<text text-anchor=\"middle\" x=\"3410\" y=\"-681.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.980618</text>\n</g>\n<!-- 53 -->\n<g id=\"node146\" class=\"node\"><title>53</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3321\" cy=\"-611\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3321\" y=\"-605.4\" font-family=\"Times,serif\" font-size=\"14.00\">53</text>\n</g>\n<!-- 50->53 -->\n<g id=\"edge180\" class=\"edge\"><title>50->53</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3160.77,-645.883C3170.4,-640.016 3182.95,-633.219 3195,-629.2 3226.31,-618.76 3264.01,-614.305 3289.76,-612.406\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3290.26,-615.881 3300.02,-611.739 3289.81,-608.896 3290.26,-615.881\"/>\n<text text-anchor=\"middle\" x=\"3232\" y=\"-632.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 51->58 -->\n<g id=\"edge186\" class=\"edge\"><title>51->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3341.84,-436.138C3403.64,-433.907 3590.96,-430.733 3631,-472 3656.92,-498.712 3663.64,-608.905 3665.39,-663.317\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3661.89,-663.518 3665.68,-673.415 3668.89,-663.319 3661.89,-663.518\"/>\n<text text-anchor=\"middle\" x=\"3502\" y=\"-444.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.0632042</text>\n</g>\n<!-- 54 -->\n<g id=\"node149\" class=\"node\"><title>54</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3502\" cy=\"-384\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3502\" y=\"-378.4\" font-family=\"Times,serif\" font-size=\"14.00\">54</text>\n</g>\n<!-- 51->54 -->\n<g id=\"edge184\" class=\"edge\"><title>51->54</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3338.92,-426.564C3348.59,-420.995 3361.13,-414.437 3373,-410.2 3405.48,-398.605 3444.53,-391.541 3470.89,-387.716\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3471.59,-391.153 3481.01,-386.316 3470.63,-384.219 3471.59,-391.153\"/>\n<text text-anchor=\"middle\" x=\"3410\" y=\"-413.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 52->58 -->\n<g id=\"edge190\" class=\"edge\"><title>52->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3163.79,-938.533C3247.62,-944.537 3571.77,-962.659 3631,-889 3650.99,-864.142 3660.38,-772.947 3664.05,-724.586\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3667.55,-724.621 3664.78,-714.395 3660.57,-724.118 3667.55,-724.621\"/>\n<text text-anchor=\"middle\" x=\"3410\" y=\"-947.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.587952</text>\n</g>\n<!-- 55 -->\n<g id=\"node152\" class=\"node\"><title>55</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3321\" cy=\"-891\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3321\" y=\"-885.4\" font-family=\"Times,serif\" font-size=\"14.00\">55</text>\n</g>\n<!-- 52->55 -->\n<g id=\"edge188\" class=\"edge\"><title>52->55</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3160.77,-925.883C3170.4,-920.016 3182.95,-913.219 3195,-909.2 3226.31,-898.76 3264.01,-894.305 3289.76,-892.406\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3290.26,-895.881 3300.02,-891.739 3289.81,-888.896 3290.26,-895.881\"/>\n<text text-anchor=\"middle\" x=\"3232\" y=\"-912.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 53->58 -->\n<g id=\"edge194\" class=\"edge\"><title>53->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3341.68,-613.473C3405.64,-621.607 3605.04,-647.769 3631,-661 3636.21,-663.654 3641.19,-667.324 3645.67,-671.256\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3643.51,-674.041 3653.15,-678.453 3648.37,-668.997 3643.51,-674.041\"/>\n<text text-anchor=\"middle\" x=\"3502\" y=\"-644.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/5.89355</text>\n</g>\n<!-- 56 -->\n<g id=\"node155\" class=\"node\"><title>56</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3502\" cy=\"-573\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3502\" y=\"-567.4\" font-family=\"Times,serif\" font-size=\"14.00\">56</text>\n</g>\n<!-- 53->56 -->\n<g id=\"edge192\" class=\"edge\"><title>53->56</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3341.35,-606.401C3350.87,-604.17 3362.52,-601.484 3373,-599.2 3406.7,-591.854 3445.52,-583.992 3471.49,-578.818\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3472.32,-582.221 3481.45,-576.841 3470.96,-575.355 3472.32,-582.221\"/>\n<text text-anchor=\"middle\" x=\"3410\" y=\"-602.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 54->58 -->\n<g id=\"edge196\" class=\"edge\"><title>54->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3522.82,-381.627C3551.27,-379.44 3603.29,-380.209 3631,-410.2 3664.51,-446.47 3667.07,-597.735 3666.55,-663.379\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3663.05,-663.474 3666.44,-673.512 3670.05,-663.551 3663.05,-663.474\"/>\n<text text-anchor=\"middle\" x=\"3594\" y=\"-413.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.260881</text>\n</g>\n<!-- 55->58 -->\n<g id=\"edge200\" class=\"edge\"><title>55->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3341.45,-895.657C3395.41,-907.32 3548.5,-931.639 3631,-855 3649.7,-837.629 3659.34,-766.233 3663.46,-724.58\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3666.96,-724.717 3664.41,-714.433 3659.99,-724.062 3666.96,-724.717\"/>\n<text text-anchor=\"middle\" x=\"3502\" y=\"-911.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/2.57214</text>\n</g>\n<!-- 57 -->\n<g id=\"node159\" class=\"node\"><title>57</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"3502\" cy=\"-838\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"3502\" y=\"-832.4\" font-family=\"Times,serif\" font-size=\"14.00\">57</text>\n</g>\n<!-- 55->57 -->\n<g id=\"edge198\" class=\"edge\"><title>55->57</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3338.92,-880.564C3348.59,-874.995 3361.13,-868.437 3373,-864.2 3405.48,-852.605 3444.53,-845.541 3470.89,-841.716\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3471.59,-845.153 3481.01,-840.316 3470.63,-838.219 3471.59,-845.153\"/>\n<text text-anchor=\"middle\" x=\"3410\" y=\"-867.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 56->58 -->\n<g id=\"edge202\" class=\"edge\"><title>56->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3522.88,-571.489C3550.45,-570.505 3600.37,-572.897 3631,-599.2 3649.79,-615.333 3658.5,-642.496 3662.53,-663.621\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3659.12,-664.433 3664.2,-673.729 3666.02,-663.292 3659.12,-664.433\"/>\n<text text-anchor=\"middle\" x=\"3594\" y=\"-602.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.443444</text>\n</g>\n<!-- 57->58 -->\n<g id=\"edge204\" class=\"edge\"><title>57->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3523.16,-838.129C3551.06,-837.2 3601.38,-831.355 3631,-803 3652.39,-782.529 3660.74,-748.977 3663.98,-724.498\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"3667.49,-724.622 3665.11,-714.298 3660.53,-723.852 3667.49,-724.622\"/>\n<text text-anchor=\"middle\" x=\"3594\" y=\"-837.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5/0.518394</text>\n</g>\n<!-- 59->41 -->\n<g id=\"edge208\" class=\"edge\"><title>59->41</title>\n<path fill=\"none\" stroke=\"black\" d=\"M3750.92,-410.762C3737.47,-381.848 3709.31,-335 3668,-335 2768,-335 2768,-335 2768,-335 2748.81,-335 2727.62,-338.896 2711.08,-342.843\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"2709.78,-339.561 2700.94,-345.404 2711.49,-346.348 2709.78,-339.561\"/>\n<text text-anchor=\"middle\" x=\"3083\" y=\"-337.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:\u03b5</text>\n</g>\n</g>\n</svg>\n", | |
| "text": "<StdVectorFst with 61 states>" | |
| } | |
| ], | |
| "prompt_number": 50 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "lattice = fst.linear_chain('banana', grammar.isyms) >> grammar", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [], | |
| "prompt_number": 51 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "lattice.remove_epsilon()", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [], | |
| "prompt_number": 53 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "lattice", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [ | |
| { | |
| "output_type": "pyout", | |
| "prompt_number": 54, | |
| "svg": "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n<!-- Generated by graphviz version 2.28.0 (20111028.1807)\n -->\n<!-- Title: FST Pages: 1 -->\n<svg width=\"612pt\" height=\"292pt\"\n viewBox=\"0.00 0.00 612.00 292.03\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n<g id=\"graph1\" class=\"graph\" transform=\"scale(0.317427 0.317427) rotate(0) translate(4 916)\">\n<title>FST</title>\n<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-916 1925,-916 1925,5 -4,5\"/>\n<!-- 0 -->\n<g id=\"node1\" class=\"node\"><title>0</title>\n<ellipse fill=\"none\" stroke=\"black\" stroke-width=\"2\" cx=\"18\" cy=\"-440\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"18\" y=\"-434.4\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n</g>\n<!-- 2 -->\n<g id=\"node3\" class=\"node\"><title>2</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"102\" cy=\"-391\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"102\" y=\"-385.4\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n</g>\n<!-- 0->2 -->\n<g id=\"edge2\" class=\"edge\"><title>0->2</title>\n<path fill=\"none\" stroke=\"black\" d=\"M34.0401,-431.013C46.1769,-423.76 63.4696,-413.427 77.4412,-405.078\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"79.2665,-408.064 86.0553,-399.93 75.6758,-402.056 79.2665,-408.064\"/>\n<text text-anchor=\"middle\" x=\"60\" y=\"-422.8\" font-family=\"Times,serif\" font-size=\"14.00\">b:b</text>\n</g>\n<!-- 1 -->\n<g id=\"node5\" class=\"node\"><title>1</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"102\" cy=\"-478\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"102\" y=\"-472.4\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n</g>\n<!-- 0->1 -->\n<g id=\"edge4\" class=\"edge\"><title>0->1</title>\n<path fill=\"none\" stroke=\"black\" d=\"M34.8104,-447.327C46.4948,-452.741 62.6354,-460.221 76.0524,-466.439\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"74.6934,-469.667 85.2381,-470.696 77.6366,-463.315 74.6934,-469.667\"/>\n<text text-anchor=\"middle\" x=\"60\" y=\"-465.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:<</text>\n</g>\n<!-- 5 -->\n<g id=\"node9\" class=\"node\"><title>5</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"242\" cy=\"-391\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"242\" y=\"-385.4\" font-family=\"Times,serif\" font-size=\"14.00\">5</text>\n</g>\n<!-- 2->5 -->\n<g id=\"edge8\" class=\"edge\"><title>2->5</title>\n<path fill=\"none\" stroke=\"black\" d=\"M120.199,-391C143.544,-391 185.534,-391 213.338,-391\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"213.585,-394.5 223.584,-391 213.584,-387.5 213.585,-394.5\"/>\n<text text-anchor=\"middle\" x=\"172\" y=\"-393.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.109378</text>\n</g>\n<!-- 3 -->\n<g id=\"node11\" class=\"node\"><title>3</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"385\" cy=\"-249\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"385\" y=\"-243.4\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n</g>\n<!-- 2->3 -->\n<g id=\"edge10\" class=\"edge\"><title>2->3</title>\n<path fill=\"none\" stroke=\"black\" d=\"M118.508,-383.163C164.95,-359.694 303.178,-289.843 359.602,-261.329\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"361.193,-264.447 368.54,-256.813 358.036,-258.199 361.193,-264.447\"/>\n<text text-anchor=\"middle\" x=\"242\" y=\"-332.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 6 -->\n<g id=\"node7\" class=\"node\"><title>6</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"242\" cy=\"-585\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"242\" y=\"-579.4\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n</g>\n<!-- 1->6 -->\n<g id=\"edge6\" class=\"edge\"><title>1->6</title>\n<path fill=\"none\" stroke=\"black\" d=\"M116.736,-488.651C140.708,-507.238 190.363,-545.738 219.118,-568.033\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"217.272,-571.031 227.319,-574.392 221.561,-565.499 217.272,-571.031\"/>\n<text text-anchor=\"middle\" x=\"172\" y=\"-562.8\" font-family=\"Times,serif\" font-size=\"14.00\">b:b</text>\n</g>\n<!-- 14 -->\n<g id=\"node25\" class=\"node\"><title>14</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"385\" cy=\"-655\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"385\" y=\"-649.4\" font-family=\"Times,serif\" font-size=\"14.00\">14</text>\n</g>\n<!-- 6->14 -->\n<g id=\"edge24\" class=\"edge\"><title>6->14</title>\n<path fill=\"none\" stroke=\"black\" d=\"M258.358,-592.624C281.956,-604.34 327.469,-626.935 356.754,-641.474\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"355.495,-644.756 366.008,-646.068 358.607,-638.486 355.495,-644.756\"/>\n<text text-anchor=\"middle\" x=\"312\" y=\"-639.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.109378</text>\n</g>\n<!-- 9 -->\n<g id=\"node27\" class=\"node\"><title>9</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"531\" cy=\"-585\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"531\" y=\"-579.4\" font-family=\"Times,serif\" font-size=\"14.00\">9</text>\n</g>\n<!-- 6->9 -->\n<g id=\"edge26\" class=\"edge\"><title>6->9</title>\n<path fill=\"none\" stroke=\"black\" d=\"M260.094,-585C308.049,-585 444.157,-585 502.69,-585\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"502.996,-588.5 512.996,-585 502.996,-581.5 502.996,-588.5\"/>\n<text text-anchor=\"middle\" x=\"385\" y=\"-587.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 17 -->\n<g id=\"node21\" class=\"node\"><title>17</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"385\" cy=\"-334\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"385\" y=\"-328.4\" font-family=\"Times,serif\" font-size=\"14.00\">17</text>\n</g>\n<!-- 5->17 -->\n<g id=\"edge20\" class=\"edge\"><title>5->17</title>\n<path fill=\"none\" stroke=\"black\" d=\"M258.9,-384.572C282.48,-375.04 327.057,-357.02 356.135,-345.264\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"357.755,-348.385 365.715,-341.392 355.132,-341.895 357.755,-348.385\"/>\n<text text-anchor=\"middle\" x=\"312\" y=\"-380.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 12 -->\n<g id=\"node23\" class=\"node\"><title>12</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"385\" cy=\"-428\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"385\" y=\"-422.4\" font-family=\"Times,serif\" font-size=\"14.00\">12</text>\n</g>\n<!-- 5->12 -->\n<g id=\"edge22\" class=\"edge\"><title>5->12</title>\n<path fill=\"none\" stroke=\"black\" d=\"M259.728,-395.39C283.117,-401.527 325.946,-412.766 354.696,-420.31\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"354.028,-423.753 364.589,-422.906 355.805,-416.983 354.028,-423.753\"/>\n<text text-anchor=\"middle\" x=\"312\" y=\"-421.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:<</text>\n</g>\n<!-- 8 -->\n<g id=\"node13\" class=\"node\"><title>8</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"531\" cy=\"-334\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"531\" y=\"-328.4\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n</g>\n<!-- 3->8 -->\n<g id=\"edge12\" class=\"edge\"><title>3->8</title>\n<path fill=\"none\" stroke=\"black\" d=\"M400.82,-257.704C421.8,-270.032 461.355,-293.294 495,-313.2 498.593,-315.326 502.391,-317.578 506.108,-319.785\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"504.635,-322.98 515.02,-325.08 508.211,-316.963 504.635,-322.98\"/>\n<text text-anchor=\"middle\" x=\"458\" y=\"-316.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.166822</text>\n</g>\n<!-- 4 -->\n<g id=\"node15\" class=\"node\"><title>4</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"677\" cy=\"-165\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"677\" y=\"-159.4\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n</g>\n<!-- 3->4 -->\n<g id=\"edge14\" class=\"edge\"><title>3->4</title>\n<path fill=\"none\" stroke=\"black\" d=\"M402.423,-244.243C450.462,-230.328 591.019,-189.615 649.743,-172.605\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"650.767,-175.953 659.398,-169.809 648.819,-169.229 650.767,-175.953\"/>\n<text text-anchor=\"middle\" x=\"531\" y=\"-215.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 22 -->\n<g id=\"node33\" class=\"node\"><title>22</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"677\" cy=\"-312\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"677\" y=\"-306.4\" font-family=\"Times,serif\" font-size=\"14.00\">22</text>\n</g>\n<!-- 8->22 -->\n<g id=\"edge32\" class=\"edge\"><title>8->22</title>\n<path fill=\"none\" stroke=\"black\" d=\"M549.084,-331.39C572.971,-327.741 616.711,-321.058 646.072,-316.572\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"646.819,-319.999 656.176,-315.029 645.762,-313.079 646.819,-319.999\"/>\n<text text-anchor=\"middle\" x=\"604\" y=\"-331.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 16 -->\n<g id=\"node35\" class=\"node\"><title>16</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"677\" cy=\"-384\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"677\" y=\"-378.4\" font-family=\"Times,serif\" font-size=\"14.00\">16</text>\n</g>\n<!-- 8->16 -->\n<g id=\"edge34\" class=\"edge\"><title>8->16</title>\n<path fill=\"none\" stroke=\"black\" d=\"M547.902,-341.19C553.845,-343.778 560.684,-346.638 567,-349 593.839,-359.035 625.018,-368.867 647.136,-375.543\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"646.327,-378.954 656.91,-378.465 648.332,-372.247 646.327,-378.954\"/>\n<text text-anchor=\"middle\" x=\"604\" y=\"-376.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:<</text>\n</g>\n<!-- 11 -->\n<g id=\"node17\" class=\"node\"><title>11</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"823\" cy=\"-252\" rx=\"20.1809\" ry=\"20.1809\"/>\n<text text-anchor=\"middle\" x=\"823\" y=\"-246.4\" font-family=\"Times,serif\" font-size=\"14.00\">11</text>\n</g>\n<!-- 4->11 -->\n<g id=\"edge16\" class=\"edge\"><title>4->11</title>\n<path fill=\"none\" stroke=\"black\" d=\"M694.065,-170.727C716.167,-179.03 756.658,-195.786 787,-217.2 792.113,-220.808 797.157,-225.19 801.755,-229.61\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"799.491,-232.298 809.007,-236.956 804.472,-227.38 799.491,-232.298\"/>\n<text text-anchor=\"middle\" x=\"750\" y=\"-220.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.735152</text>\n</g>\n<!-- 7 -->\n<g id=\"node19\" class=\"node\"><title>7</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"969\" cy=\"-99\" rx=\"18\" ry=\"18\"/>\n<text text-anchor=\"middle\" x=\"969\" y=\"-93.4\" font-family=\"Times,serif\" font-size=\"14.00\">7</text>\n</g>\n<!-- 4->7 -->\n<g id=\"edge18\" class=\"edge\"><title>4->7</title>\n<path fill=\"none\" stroke=\"black\" d=\"M694.845,-161.166C743.097,-150.185 882.132,-118.542 941.075,-105.128\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"942.134,-108.476 951.108,-102.844 940.581,-101.651 942.134,-108.476\"/>\n<text text-anchor=\"middle\" x=\"823\" y=\"-139.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 27 -->\n<g id=\"node43\" class=\"node\"><title>27</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"969\" cy=\"-227\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"969\" y=\"-221.4\" font-family=\"Times,serif\" font-size=\"14.00\">27</text>\n</g>\n<!-- 11->27 -->\n<g id=\"edge42\" class=\"edge\"><title>11->27</title>\n<path fill=\"none\" stroke=\"black\" d=\"M840.956,-242.298C846.535,-239.537 852.879,-236.837 859,-235.2 884.995,-228.248 915.635,-226.482 937.798,-226.289\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"937.934,-229.789 947.939,-226.305 937.945,-222.789 937.934,-229.789\"/>\n<text text-anchor=\"middle\" x=\"896\" y=\"-238.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 21 -->\n<g id=\"node45\" class=\"node\"><title>21</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"969\" cy=\"-356\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"969\" y=\"-350.4\" font-family=\"Times,serif\" font-size=\"14.00\">21</text>\n</g>\n<!-- 11->21 -->\n<g id=\"edge44\" class=\"edge\"><title>11->21</title>\n<path fill=\"none\" stroke=\"black\" d=\"M839.961,-263.527C865.154,-281.722 914.302,-317.218 943.837,-338.549\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"941.812,-341.404 951.968,-344.421 945.91,-335.729 941.812,-341.404\"/>\n<text text-anchor=\"middle\" x=\"896\" y=\"-331.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:<</text>\n</g>\n<!-- 15 -->\n<g id=\"node29\" class=\"node\"><title>15</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1115\" cy=\"-150\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1115\" y=\"-144.4\" font-family=\"Times,serif\" font-size=\"14.00\">15</text>\n</g>\n<!-- 7->15 -->\n<g id=\"edge28\" class=\"edge\"><title>7->15</title>\n<path fill=\"none\" stroke=\"black\" d=\"M986.852,-101.317C1008.8,-104.752 1048.02,-112.335 1079,-126.2 1082.67,-127.842 1086.37,-129.868 1089.91,-132.04\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1088.05,-135.003 1098.32,-137.602 1091.91,-129.165 1088.05,-135.003\"/>\n<text text-anchor=\"middle\" x=\"1042\" y=\"-129.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.587952</text>\n</g>\n<!-- 10 -->\n<g id=\"node31\" class=\"node\"><title>10</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1188\" cy=\"-20\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-14.4\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n</g>\n<!-- 7->10 -->\n<g id=\"edge30\" class=\"edge\"><title>7->10</title>\n<path fill=\"none\" stroke=\"black\" d=\"M973.404,-81.3418C977.664,-64.543 986.744,-40.1176 1005,-28.2 1051.36,2.06487 1119.41,-5.22443 1157.82,-12.8614\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1157.31,-16.332 1167.82,-14.9938 1158.77,-9.4858 1157.31,-16.332\"/>\n<text text-anchor=\"middle\" x=\"1042\" y=\"-31.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 17->8 -->\n<g id=\"edge60\" class=\"edge\"><title>17->8</title>\n<path fill=\"none\" stroke=\"black\" d=\"M405.721,-334C430.856,-334 474.433,-334 502.735,-334\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"502.764,-337.5 512.764,-334 502.764,-330.5 502.764,-337.5\"/>\n<text text-anchor=\"middle\" x=\"458\" y=\"-336.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.176504</text>\n</g>\n<!-- 23 -->\n<g id=\"node62\" class=\"node\"><title>23</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"677\" cy=\"-240\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"677\" y=\"-234.4\" font-family=\"Times,serif\" font-size=\"14.00\">23</text>\n</g>\n<!-- 17->23 -->\n<g id=\"edge62\" class=\"edge\"><title>17->23</title>\n<path fill=\"none\" stroke=\"black\" d=\"M404.815,-327.051C429.033,-318.177 472.465,-302.497 510,-290.2 557.763,-274.552 613.82,-257.966 647.046,-248.319\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"648.358,-251.582 656.991,-245.44 646.412,-244.858 648.358,-251.582\"/>\n<text text-anchor=\"middle\" x=\"531\" y=\"-293.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 30 -->\n<g id=\"node47\" class=\"node\"><title>30</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"531\" cy=\"-499\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"531\" y=\"-493.4\" font-family=\"Times,serif\" font-size=\"14.00\">30</text>\n</g>\n<!-- 12->30 -->\n<g id=\"edge46\" class=\"edge\"><title>12->30</title>\n<path fill=\"none\" stroke=\"black\" d=\"M403.947,-436.849C428.874,-449.139 474.171,-471.473 503.136,-485.755\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"501.763,-488.98 512.28,-490.263 504.858,-482.701 501.763,-488.98\"/>\n<text text-anchor=\"middle\" x=\"458\" y=\"-482.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 41 -->\n<g id=\"node53\" class=\"node\"><title>41</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"531\" cy=\"-692\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"531\" y=\"-686.4\" font-family=\"Times,serif\" font-size=\"14.00\">41</text>\n</g>\n<!-- 14->41 -->\n<g id=\"edge52\" class=\"edge\"><title>14->41</title>\n<path fill=\"none\" stroke=\"black\" d=\"M405.122,-659.913C429.652,-666.216 472.431,-677.208 500.983,-684.544\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"500.242,-687.968 510.799,-687.066 501.984,-681.188 500.242,-687.968\"/>\n<text text-anchor=\"middle\" x=\"458\" y=\"-685.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 19 -->\n<g id=\"node37\" class=\"node\"><title>19</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"677\" cy=\"-633\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"677\" y=\"-627.4\" font-family=\"Times,serif\" font-size=\"14.00\">19</text>\n</g>\n<!-- 9->19 -->\n<g id=\"edge36\" class=\"edge\"><title>9->19</title>\n<path fill=\"none\" stroke=\"black\" d=\"M548.239,-590.413C572.189,-598.396 617.348,-613.449 647.054,-623.351\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"646.263,-626.777 656.857,-626.619 648.477,-620.136 646.263,-626.777\"/>\n<text text-anchor=\"middle\" x=\"604\" y=\"-623.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.166822</text>\n</g>\n<!-- 13 -->\n<g id=\"node39\" class=\"node\"><title>13</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"823\" cy=\"-581\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"823\" y=\"-575.4\" font-family=\"Times,serif\" font-size=\"14.00\">13</text>\n</g>\n<!-- 9->13 -->\n<g id=\"edge38\" class=\"edge\"><title>9->13</title>\n<path fill=\"none\" stroke=\"black\" d=\"M549.272,-584.762C597.125,-584.102 731.846,-582.243 792.157,-581.412\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"792.231,-584.911 802.181,-581.273 792.134,-577.912 792.231,-584.911\"/>\n<text text-anchor=\"middle\" x=\"677\" y=\"-586.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 34 -->\n<g id=\"node55\" class=\"node\"><title>34</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1280\" cy=\"-128\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-122.4\" font-family=\"Times,serif\" font-size=\"14.00\">34</text>\n</g>\n<!-- 15->34 -->\n<g id=\"edge54\" class=\"edge\"><title>15->34</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1135.15,-144.658C1140.27,-143.376 1145.82,-142.114 1151,-141.2 1184.26,-135.335 1222.87,-131.794 1248.92,-129.877\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1249.19,-133.367 1258.92,-129.176 1248.7,-126.384 1249.19,-133.367\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-144.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 26 -->\n<g id=\"node57\" class=\"node\"><title>26</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1280\" cy=\"-293\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-287.4\" font-family=\"Times,serif\" font-size=\"14.00\">26</text>\n</g>\n<!-- 15->26 -->\n<g id=\"edge56\" class=\"edge\"><title>15->26</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1115.9,-170.611C1116.95,-197.398 1123.04,-243.727 1151,-269 1177.62,-293.066 1220.44,-296.516 1249.13,-295.662\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1249.56,-299.146 1259.37,-295.159 1249.21,-292.154 1249.56,-299.146\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-298.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:<</text>\n</g>\n<!-- 20 -->\n<g id=\"node41\" class=\"node\"><title>20</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1445\" cy=\"-136\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1445\" y=\"-130.4\" font-family=\"Times,serif\" font-size=\"14.00\">20</text>\n</g>\n<!-- 10->20 -->\n<g id=\"edge40\" class=\"edge\"><title>10->20</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1208.9,-20.6315C1250.46,-22.9244 1347.7,-33.4891 1409,-82 1417.96,-89.0926 1425.35,-99.1403 1430.99,-108.649\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1427.97,-110.415 1435.86,-117.485 1434.1,-107.038 1427.97,-110.415\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-41.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/2.57214</text>\n</g>\n<!-- 22->11 -->\n<g id=\"edge74\" class=\"edge\"><title>22->11</title>\n<path fill=\"none\" stroke=\"black\" d=\"M691.508,-297.475C697.585,-291.681 705.151,-285.404 713,-281.2 726.782,-273.819 765.749,-264.291 793.139,-258.162\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"793.981,-261.561 802.994,-255.992 792.475,-254.725 793.981,-261.561\"/>\n<text text-anchor=\"middle\" x=\"750\" y=\"-284.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.509086</text>\n</g>\n<!-- 28 -->\n<g id=\"node75\" class=\"node\"><title>28</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"969\" cy=\"-297\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"969\" y=\"-291.4\" font-family=\"Times,serif\" font-size=\"14.00\">28</text>\n</g>\n<!-- 22->28 -->\n<g id=\"edge76\" class=\"edge\"><title>22->28</title>\n<path fill=\"none\" stroke=\"black\" d=\"M697.933,-310.969C747.928,-308.383 878.872,-301.61 938.119,-298.546\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"938.505,-302.03 948.311,-298.018 938.144,-295.04 938.505,-302.03\"/>\n<text text-anchor=\"middle\" x=\"823\" y=\"-308.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 37 -->\n<g id=\"node59\" class=\"node\"><title>37</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"823\" cy=\"-415\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"823\" y=\"-409.4\" font-family=\"Times,serif\" font-size=\"14.00\">37</text>\n</g>\n<!-- 16->37 -->\n<g id=\"edge58\" class=\"edge\"><title>16->37</title>\n<path fill=\"none\" stroke=\"black\" d=\"M697.42,-388.181C721.898,-393.45 764.202,-402.557 792.637,-408.679\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"791.915,-412.103 802.427,-410.786 793.388,-405.26 791.915,-412.103\"/>\n<text text-anchor=\"middle\" x=\"750\" y=\"-409.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 46 -->\n<g id=\"node68\" class=\"node\"><title>46</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"823\" cy=\"-680\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"823\" y=\"-674.4\" font-family=\"Times,serif\" font-size=\"14.00\">46</text>\n</g>\n<!-- 19->46 -->\n<g id=\"edge68\" class=\"edge\"><title>19->46</title>\n<path fill=\"none\" stroke=\"black\" d=\"M697.627,-637.328C719.71,-642.451 756.48,-651.751 787,-663.2 789.721,-664.221 792.519,-665.375 795.29,-666.587\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"793.915,-669.807 804.46,-670.831 796.855,-663.455 793.915,-669.807\"/>\n<text text-anchor=\"middle\" x=\"750\" y=\"-666.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 25 -->\n<g id=\"node49\" class=\"node\"><title>25</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"969\" cy=\"-549\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"969\" y=\"-543.4\" font-family=\"Times,serif\" font-size=\"14.00\">25</text>\n</g>\n<!-- 13->25 -->\n<g id=\"edge48\" class=\"edge\"><title>13->25</title>\n<path fill=\"none\" stroke=\"black\" d=\"M843.398,-577.564C865.275,-573.579 901.862,-566.578 933,-559 935.015,-558.51 937.088,-557.981 939.172,-557.431\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"940.104,-560.805 948.817,-554.777 938.247,-554.056 940.104,-560.805\"/>\n<text text-anchor=\"middle\" x=\"896\" y=\"-577.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.735152</text>\n</g>\n<!-- 18 -->\n<g id=\"node51\" class=\"node\"><title>18</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1115\" cy=\"-613\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1115\" y=\"-607.4\" font-family=\"Times,serif\" font-size=\"14.00\">18</text>\n</g>\n<!-- 13->18 -->\n<g id=\"edge50\" class=\"edge\"><title>13->18</title>\n<path fill=\"none\" stroke=\"black\" d=\"M842.184,-589.511C847.497,-591.656 853.387,-593.712 859,-595 938.829,-613.312 1036.08,-614.577 1084.15,-613.856\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1084.25,-617.355 1094.18,-613.665 1084.12,-610.356 1084.25,-617.355\"/>\n<text text-anchor=\"middle\" x=\"969\" y=\"-614.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 33 -->\n<g id=\"node70\" class=\"node\"><title>33</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1599\" cy=\"-141\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1599\" y=\"-135.4\" font-family=\"Times,serif\" font-size=\"14.00\">33</text>\n</g>\n<!-- 20->33 -->\n<g id=\"edge70\" class=\"edge\"><title>20->33</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1465.87,-136.654C1491.82,-137.507 1537.48,-139.009 1567.74,-140.005\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1568.01,-143.515 1578.12,-140.346 1568.24,-136.519 1568.01,-143.515\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-142.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:<</text>\n</g>\n<!-- 27->15 -->\n<g id=\"edge90\" class=\"edge\"><title>27->15</title>\n<path fill=\"none\" stroke=\"black\" d=\"M981.692,-210.37C987.849,-202.675 995.99,-193.98 1005,-188.2 1034.01,-169.591 1046.67,-176.96 1079,-165 1081.53,-164.065 1084.14,-163.046 1086.74,-161.996\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1088.1,-165.223 1095.97,-158.138 1085.4,-158.764 1088.1,-165.223\"/>\n<text text-anchor=\"middle\" x=\"1042\" y=\"-191.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.176504</text>\n</g>\n<!-- 35 -->\n<g id=\"node89\" class=\"node\"><title>35</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1188\" cy=\"-188\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-182.4\" font-family=\"Times,serif\" font-size=\"14.00\">35</text>\n</g>\n<!-- 27->35 -->\n<g id=\"edge92\" class=\"edge\"><title>27->35</title>\n<path fill=\"none\" stroke=\"black\" d=\"M989.64,-223.47C1027.89,-216.596 1112.55,-201.38 1157.55,-193.293\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1158.34,-196.707 1167.56,-191.494 1157.1,-189.818 1158.34,-196.707\"/>\n<text text-anchor=\"middle\" x=\"1042\" y=\"-223.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 42 -->\n<g id=\"node72\" class=\"node\"><title>42</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1115\" cy=\"-356\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1115\" y=\"-350.4\" font-family=\"Times,serif\" font-size=\"14.00\">42</text>\n</g>\n<!-- 21->42 -->\n<g id=\"edge72\" class=\"edge\"><title>21->42</title>\n<path fill=\"none\" stroke=\"black\" d=\"M989.721,-356C1014.04,-356 1055.61,-356 1083.92,-356\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1084.06,-359.5 1094.06,-356 1084.06,-352.5 1084.06,-359.5\"/>\n<text text-anchor=\"middle\" x=\"1042\" y=\"-358.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 30->19 -->\n<g id=\"edge102\" class=\"edge\"><title>30->19</title>\n<path fill=\"none\" stroke=\"black\" d=\"M549.449,-508.612C572.402,-521.862 613.089,-547.499 641,-577.2 645.68,-582.18 653.62,-594.675 660.756,-606.581\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"657.888,-608.608 665.988,-615.437 663.915,-605.047 657.888,-608.608\"/>\n<text text-anchor=\"middle\" x=\"604\" y=\"-580.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.176504</text>\n</g>\n<!-- 39 -->\n<g id=\"node98\" class=\"node\"><title>39</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"823\" cy=\"-499\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"823\" y=\"-493.4\" font-family=\"Times,serif\" font-size=\"14.00\">39</text>\n</g>\n<!-- 30->39 -->\n<g id=\"edge104\" class=\"edge\"><title>30->39</title>\n<path fill=\"none\" stroke=\"black\" d=\"M551.933,-499C601.807,-499 732.241,-499 791.689,-499\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"791.928,-502.5 801.928,-499 791.928,-495.5 791.928,-502.5\"/>\n<text text-anchor=\"middle\" x=\"677\" y=\"-501.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 52 -->\n<g id=\"node84\" class=\"node\"><title>52</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1115\" cy=\"-674\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1115\" y=\"-668.4\" font-family=\"Times,serif\" font-size=\"14.00\">52</text>\n</g>\n<!-- 25->52 -->\n<g id=\"edge86\" class=\"edge\"><title>25->52</title>\n<path fill=\"none\" stroke=\"black\" d=\"M985.138,-562.141C1010.35,-584.028 1061.11,-628.087 1090.84,-653.897\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1088.78,-656.747 1098.63,-660.659 1093.37,-651.46 1088.78,-656.747\"/>\n<text text-anchor=\"middle\" x=\"1042\" y=\"-643.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 32 -->\n<g id=\"node64\" class=\"node\"><title>32</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1280\" cy=\"-541\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-535.4\" font-family=\"Times,serif\" font-size=\"14.00\">32</text>\n</g>\n<!-- 18->32 -->\n<g id=\"edge64\" class=\"edge\"><title>18->32</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1129.93,-598.32C1135.96,-592.64 1143.38,-586.488 1151,-582.2 1181.04,-565.292 1192.2,-569.606 1225,-559 1233.29,-556.319 1242.27,-553.35 1250.49,-550.61\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1251.66,-553.908 1260.03,-547.414 1249.44,-547.27 1251.66,-553.908\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-585.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.587952</text>\n</g>\n<!-- 24 -->\n<g id=\"node66\" class=\"node\"><title>24</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1445\" cy=\"-580\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1445\" y=\"-574.4\" font-family=\"Times,serif\" font-size=\"14.00\">24</text>\n</g>\n<!-- 18->24 -->\n<g id=\"edge66\" class=\"edge\"><title>18->24</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1135.64,-614.795C1183.42,-618.566 1309.16,-624.889 1409,-598 1412,-597.191 1415.05,-596.1 1418.02,-594.854\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1419.63,-597.964 1427.14,-590.495 1416.61,-591.648 1419.63,-597.964\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-621.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 55 -->\n<g id=\"node118\" class=\"node\"><title>55</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"677\" cy=\"-692\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"677\" y=\"-686.4\" font-family=\"Times,serif\" font-size=\"14.00\">55</text>\n</g>\n<!-- 41->55 -->\n<g id=\"edge130\" class=\"edge\"><title>41->55</title>\n<path fill=\"none\" stroke=\"black\" d=\"M551.721,-692C576.036,-692 617.611,-692 645.919,-692\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"646.055,-695.5 656.055,-692 646.055,-688.5 646.055,-695.5\"/>\n<text text-anchor=\"middle\" x=\"604\" y=\"-694.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.176504</text>\n</g>\n<!-- 47 -->\n<g id=\"node120\" class=\"node\"><title>47</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"823\" cy=\"-767\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"823\" y=\"-761.4\" font-family=\"Times,serif\" font-size=\"14.00\">47</text>\n</g>\n<!-- 41->47 -->\n<g id=\"edge132\" class=\"edge\"><title>41->47</title>\n<path fill=\"none\" stroke=\"black\" d=\"M548.573,-702.856C554.236,-706.184 560.726,-709.597 567,-712 645.245,-741.97 743.577,-757.347 792.097,-763.571\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"791.866,-767.069 802.221,-764.829 792.729,-760.123 791.866,-767.069\"/>\n<text text-anchor=\"middle\" x=\"677\" y=\"-750.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 34->20 -->\n<g id=\"edge112\" class=\"edge\"><title>34->20</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1300.99,-128.981C1329.17,-130.364 1380.82,-132.899 1413.72,-134.514\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1413.95,-138.029 1424.1,-135.024 1414.29,-131.037 1413.95,-138.029\"/>\n<text text-anchor=\"middle\" x=\"1372\" y=\"-137.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.509086</text>\n</g>\n<!-- 48 -->\n<g id=\"node86\" class=\"node\"><title>48</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1445\" cy=\"-287\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1445\" y=\"-281.4\" font-family=\"Times,serif\" font-size=\"14.00\">48</text>\n</g>\n<!-- 26->48 -->\n<g id=\"edge88\" class=\"edge\"><title>26->48</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1300.99,-292.264C1329.17,-291.227 1380.82,-289.326 1413.72,-288.114\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1414.24,-291.598 1424.1,-287.732 1413.98,-284.603 1414.24,-291.598\"/>\n<text text-anchor=\"middle\" x=\"1372\" y=\"-293.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 37->25 -->\n<g id=\"edge118\" class=\"edge\"><title>37->25</title>\n<path fill=\"none\" stroke=\"black\" d=\"M840.815,-425.408C863.419,-439.913 904.102,-467.861 933,-498.2 940.052,-505.604 946.712,-514.55 952.291,-522.859\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"949.522,-525.023 957.889,-531.522 955.401,-521.223 949.522,-525.023\"/>\n<text text-anchor=\"middle\" x=\"896\" y=\"-501.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.509086</text>\n</g>\n<!-- 43 -->\n<g id=\"node110\" class=\"node\"><title>43</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1115\" cy=\"-415\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1115\" y=\"-409.4\" font-family=\"Times,serif\" font-size=\"14.00\">43</text>\n</g>\n<!-- 37->43 -->\n<g id=\"edge120\" class=\"edge\"><title>37->43</title>\n<path fill=\"none\" stroke=\"black\" d=\"M843.933,-415C893.807,-415 1024.24,-415 1083.69,-415\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1083.93,-418.5 1093.93,-415 1083.93,-411.5 1083.93,-418.5\"/>\n<text text-anchor=\"middle\" x=\"969\" y=\"-417.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 23->11 -->\n<g id=\"edge78\" class=\"edge\"><title>23->11</title>\n<path fill=\"none\" stroke=\"black\" d=\"M697.833,-238.518C719.786,-237.271 756.149,-236.375 787,-241.2 789.246,-241.551 791.547,-242.015 793.845,-242.553\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"793.137,-245.988 803.707,-245.268 794.995,-239.24 793.137,-245.988\"/>\n<text text-anchor=\"middle\" x=\"750\" y=\"-244.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.372935</text>\n</g>\n<!-- 29 -->\n<g id=\"node78\" class=\"node\"><title>29</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"969\" cy=\"-156\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"969\" y=\"-150.4\" font-family=\"Times,serif\" font-size=\"14.00\">29</text>\n</g>\n<!-- 23->29 -->\n<g id=\"edge80\" class=\"edge\"><title>23->29</title>\n<path fill=\"none\" stroke=\"black\" d=\"M697.028,-234.489C746.598,-220.13 879.956,-181.502 939.088,-164.374\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"940.271,-167.676 948.902,-161.532 938.323,-160.952 940.271,-167.676\"/>\n<text text-anchor=\"middle\" x=\"823\" y=\"-206.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 61 -->\n<g id=\"node102\" class=\"node\"><title>61</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1445\" cy=\"-719\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1445\" y=\"-713.4\" font-family=\"Times,serif\" font-size=\"14.00\">61</text>\n</g>\n<!-- 32->61 -->\n<g id=\"edge108\" class=\"edge\"><title>32->61</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1294.62,-555.87C1323.21,-587.098 1389.66,-659.656 1423.46,-696.568\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1421.2,-699.286 1430.54,-704.297 1426.36,-694.559 1421.2,-699.286\"/>\n<text text-anchor=\"middle\" x=\"1372\" y=\"-683.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 40 -->\n<g id=\"node80\" class=\"node\"><title>40</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1599\" cy=\"-443\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1599\" y=\"-437.4\" font-family=\"Times,serif\" font-size=\"14.00\">40</text>\n</g>\n<!-- 24->40 -->\n<g id=\"edge82\" class=\"edge\"><title>24->40</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1458.67,-564.644C1465.06,-557.25 1473.12,-548.441 1481,-541.2 1514.69,-510.259 1528.74,-509.307 1563,-479 1567.88,-474.679 1572.9,-469.809 1577.56,-465.08\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1580.09,-467.495 1584.51,-457.864 1575.05,-462.639 1580.09,-467.495\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-544.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/2.57214</text>\n</g>\n<!-- 31 -->\n<g id=\"node82\" class=\"node\"><title>31</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1656\" cy=\"-578\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1656\" y=\"-572.4\" font-family=\"Times,serif\" font-size=\"14.00\">31</text>\n</g>\n<!-- 24->31 -->\n<g id=\"edge84\" class=\"edge\"><title>24->31</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1466.04,-579.808C1502.87,-579.456 1581.5,-578.703 1624.82,-578.289\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1625.05,-581.787 1635.02,-578.191 1624.99,-574.787 1625.05,-581.787\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-582.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 64 -->\n<g id=\"node131\" class=\"node\"><title>64</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"969\" cy=\"-677\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"969\" y=\"-671.4\" font-family=\"Times,serif\" font-size=\"14.00\">64</text>\n</g>\n<!-- 46->64 -->\n<g id=\"edge146\" class=\"edge\"><title>46->64</title>\n<path fill=\"none\" stroke=\"black\" d=\"M843.721,-679.589C868.036,-679.083 909.611,-678.216 937.919,-677.627\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"938.131,-681.123 948.055,-677.416 937.985,-674.125 938.131,-681.123\"/>\n<text text-anchor=\"middle\" x=\"896\" y=\"-682.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.509086</text>\n</g>\n<!-- 53 -->\n<g id=\"node133\" class=\"node\"><title>53</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1115\" cy=\"-738\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1115\" y=\"-732.4\" font-family=\"Times,serif\" font-size=\"14.00\">53</text>\n</g>\n<!-- 46->53 -->\n<g id=\"edge148\" class=\"edge\"><title>46->53</title>\n<path fill=\"none\" stroke=\"black\" d=\"M840.486,-691.094C846.143,-694.438 852.652,-697.8 859,-700 937.245,-727.111 1035.58,-734.883 1084.1,-737.109\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1084.09,-740.611 1094.22,-737.524 1084.37,-733.617 1084.09,-740.611\"/>\n<text text-anchor=\"middle\" x=\"969\" y=\"-731.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 56 -->\n<g id=\"node104\" class=\"node\"><title>56</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1729\" cy=\"-144\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1729\" y=\"-138.4\" font-family=\"Times,serif\" font-size=\"14.00\">56</text>\n</g>\n<!-- 33->56 -->\n<g id=\"edge110\" class=\"edge\"><title>33->56</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1619.72,-141.462C1640.61,-141.952 1673.85,-142.731 1698,-143.297\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1697.97,-146.797 1708.05,-143.532 1698.13,-139.799 1697.97,-146.797\"/>\n<text text-anchor=\"middle\" x=\"1656\" y=\"-145.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 42->32 -->\n<g id=\"edge134\" class=\"edge\"><title>42->32</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1131.55,-368.519C1153.76,-386.829 1195.17,-422.618 1225,-458.2 1239.79,-475.843 1253.91,-497.733 1264,-514.574\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1261.08,-516.511 1269.17,-523.352 1267.11,-512.959 1261.08,-516.511\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-461.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.176504</text>\n</g>\n<!-- 49 -->\n<g id=\"node123\" class=\"node\"><title>49</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1445\" cy=\"-346\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1445\" y=\"-340.4\" font-family=\"Times,serif\" font-size=\"14.00\">49</text>\n</g>\n<!-- 42->49 -->\n<g id=\"edge136\" class=\"edge\"><title>42->49</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1136.02,-355.39C1191.62,-353.694 1348.14,-348.923 1414.1,-346.912\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1414.35,-350.406 1424.24,-346.603 1414.14,-343.409 1414.35,-350.406\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-355.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 28->15 -->\n<g id=\"edge94\" class=\"edge\"><title>28->15</title>\n<path fill=\"none\" stroke=\"black\" d=\"M984.412,-283.014C990.403,-277.791 997.665,-272.171 1005,-268.2 1035.31,-251.792 1054.04,-268.765 1079,-245 1096.86,-227.997 1105.66,-201.098 1109.96,-180.256\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1113.43,-180.754 1111.78,-170.288 1106.54,-179.498 1113.43,-180.754\"/>\n<text text-anchor=\"middle\" x=\"1042\" y=\"-271.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.209033</text>\n</g>\n<!-- 36 -->\n<g id=\"node92\" class=\"node\"><title>36</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1188\" cy=\"-243\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-237.4\" font-family=\"Times,serif\" font-size=\"14.00\">36</text>\n</g>\n<!-- 28->36 -->\n<g id=\"edge96\" class=\"edge\"><title>28->36</title>\n<path fill=\"none\" stroke=\"black\" d=\"M989.962,-296.363C1012.03,-295.299 1048.49,-292.475 1079,-285 1107.47,-278.025 1138.51,-265.387 1159.98,-255.79\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1161.47,-258.955 1169.13,-251.626 1158.57,-252.584 1161.47,-258.955\"/>\n<text text-anchor=\"middle\" x=\"1042\" y=\"-298.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 29->15 -->\n<g id=\"edge98\" class=\"edge\"><title>29->15</title>\n<path fill=\"none\" stroke=\"black\" d=\"M989.129,-150.943C994.247,-149.809 999.802,-148.772 1005,-148.2 1031.68,-145.264 1062.24,-146.132 1084.2,-147.492\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1084.02,-150.988 1094.24,-148.184 1084.5,-144.004 1084.02,-150.988\"/>\n<text text-anchor=\"middle\" x=\"1042\" y=\"-151.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.980618</text>\n</g>\n<!-- 38 -->\n<g id=\"node95\" class=\"node\"><title>38</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1188\" cy=\"-70\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-64.4\" font-family=\"Times,serif\" font-size=\"14.00\">38</text>\n</g>\n<!-- 29->38 -->\n<g id=\"edge100\" class=\"edge\"><title>29->38</title>\n<path fill=\"none\" stroke=\"black\" d=\"M981.752,-139.931C984.67,-135.541 987.636,-130.697 990,-126 998.873,-108.369 989.312,-96.1774 1005,-84.2 1049.21,-50.4473 1118.34,-56.2991 1157.44,-63.3168\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1157.15,-66.8246 1167.63,-65.2951 1158.48,-59.9529 1157.15,-66.8246\"/>\n<text text-anchor=\"middle\" x=\"1042\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 66 -->\n<g id=\"node116\" class=\"node\"><title>66</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1729\" cy=\"-651\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1729\" y=\"-645.4\" font-family=\"Times,serif\" font-size=\"14.00\">66</text>\n</g>\n<!-- 40->66 -->\n<g id=\"edge128\" class=\"edge\"><title>40->66</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1615.23,-456.029C1632.85,-471.955 1661.41,-500.587 1677,-531.2 1690.61,-557.93 1680.15,-569.444 1692,-597 1696.52,-607.511 1703.12,-618.18 1709.43,-627.228\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1706.62,-629.31 1715.33,-635.347 1712.29,-625.199 1706.62,-629.31\"/>\n<text text-anchor=\"middle\" x=\"1656\" y=\"-534.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 45 -->\n<g id=\"node100\" class=\"node\"><title>45</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1895\" cy=\"-292\" rx=\"20.8568\" ry=\"20.8568\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1895\" cy=\"-292\" rx=\"24.8884\" ry=\"24.8884\"/>\n<text text-anchor=\"middle\" x=\"1895\" y=\"-286.4\" font-family=\"Times,serif\" font-size=\"14.00\">45</text>\n</g>\n<!-- 31->45 -->\n<g id=\"edge106\" class=\"edge\"><title>31->45</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1674.42,-568.534C1712.83,-546.776 1805.34,-489.385 1855,-416 1873.42,-388.775 1883.51,-352.385 1888.78,-326.075\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1892.23,-326.649 1890.63,-316.176 1885.35,-325.361 1892.23,-326.649\"/>\n<text text-anchor=\"middle\" x=\"1729\" y=\"-560.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.518394</text>\n</g>\n<!-- 69 -->\n<g id=\"node150\" class=\"node\"><title>69</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1280\" cy=\"-720\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-714.4\" font-family=\"Times,serif\" font-size=\"14.00\">69</text>\n</g>\n<!-- 52->69 -->\n<g id=\"edge170\" class=\"edge\"><title>52->69</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1135.02,-679.367C1163.28,-687.344 1216.61,-702.392 1249.83,-711.768\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1249.28,-715.249 1259.85,-714.596 1251.18,-708.512 1249.28,-715.249\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-706.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.176504</text>\n</g>\n<!-- 62 -->\n<g id=\"node152\" class=\"node\"><title>62</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1445\" cy=\"-660\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1445\" y=\"-654.4\" font-family=\"Times,serif\" font-size=\"14.00\">62</text>\n</g>\n<!-- 52->62 -->\n<g id=\"edge172\" class=\"edge\"><title>52->62</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1136.02,-673.145C1191.62,-670.772 1348.14,-664.092 1414.1,-661.276\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1414.4,-664.767 1424.24,-660.844 1414.1,-657.773 1414.4,-664.767\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-671.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 48->40 -->\n<g id=\"edge154\" class=\"edge\"><title>48->40</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1458.54,-302.501C1464.66,-309.117 1472.53,-316.366 1481,-321 1513.84,-338.96 1535.27,-315.063 1563,-340.2 1583.35,-358.646 1591.87,-389.39 1595.44,-412.461\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1591.98,-412.992 1596.76,-422.45 1598.92,-412.079 1591.98,-412.992\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-343.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.509086</text>\n</g>\n<!-- 57 -->\n<g id=\"node139\" class=\"node\"><title>57</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1599\" cy=\"-201\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1599\" y=\"-195.4\" font-family=\"Times,serif\" font-size=\"14.00\">57</text>\n</g>\n<!-- 48->57 -->\n<g id=\"edge156\" class=\"edge\"><title>48->57</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1452.43,-267.979C1457.95,-254.572 1467.21,-237.274 1481,-227.2 1506.45,-208.616 1542.71,-202.849 1568.1,-201.239\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1568.42,-204.729 1578.25,-200.779 1568.1,-197.736 1568.42,-204.729\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-230.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 35->20 -->\n<g id=\"edge114\" class=\"edge\"><title>35->20</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1208.96,-187.317C1248.24,-185.475 1337.95,-178.791 1409,-155 1411.99,-154 1415.02,-152.755 1417.98,-151.384\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1419.79,-154.39 1427.1,-146.717 1416.6,-148.159 1419.79,-154.39\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-188.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.372935</text>\n</g>\n<!-- 36->20 -->\n<g id=\"edge116\" class=\"edge\"><title>36->20</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1208.92,-241.261C1249.69,-236.881 1344.26,-222.446 1409,-179 1415.97,-174.323 1422.25,-167.845 1427.5,-161.334\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1430.4,-163.307 1433.58,-153.202 1424.79,-159.115 1430.4,-163.307\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-239.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.0632042</text>\n</g>\n<!-- 38->20 -->\n<g id=\"edge122\" class=\"edge\"><title>38->20</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1208.87,-69.6783C1234.83,-69.7135 1281.52,-71.3465 1320,-81.2 1355.23,-90.221 1393.09,-108.312 1417.59,-121.24\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1416.13,-124.431 1426.6,-126.082 1419.45,-118.265 1416.13,-124.431\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-84.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/5.89355</text>\n</g>\n<!-- 39->25 -->\n<g id=\"edge124\" class=\"edge\"><title>39->25</title>\n<path fill=\"none\" stroke=\"black\" d=\"M840.633,-509.704C846.299,-513.022 852.777,-516.467 859,-519 890.471,-531.808 900.313,-528.922 933,-538.2 935.137,-538.807 937.343,-539.449 939.559,-540.106\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"938.571,-543.463 949.156,-543.013 940.6,-536.764 938.571,-543.463\"/>\n<text text-anchor=\"middle\" x=\"896\" y=\"-541.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.372935</text>\n</g>\n<!-- 44 -->\n<g id=\"node114\" class=\"node\"><title>44</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1115\" cy=\"-474\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1115\" y=\"-468.4\" font-family=\"Times,serif\" font-size=\"14.00\">44</text>\n</g>\n<!-- 39->44 -->\n<g id=\"edge126\" class=\"edge\"><title>39->44</title>\n<path fill=\"none\" stroke=\"black\" d=\"M841.259,-488.841C846.749,-486.102 852.966,-483.488 859,-482 938.362,-462.431 1035.82,-466.918 1084.04,-470.948\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1083.83,-474.443 1094.1,-471.844 1084.45,-467.471 1083.83,-474.443\"/>\n<text text-anchor=\"middle\" x=\"969\" y=\"-471.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 72 -->\n<g id=\"node166\" class=\"node\"><title>72</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1599\" cy=\"-691\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1599\" y=\"-685.4\" font-family=\"Times,serif\" font-size=\"14.00\">72</text>\n</g>\n<!-- 61->72 -->\n<g id=\"edge194\" class=\"edge\"><title>61->72</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1462.91,-708.755C1468.48,-705.831 1474.84,-702.963 1481,-701.2 1509.73,-692.979 1543.91,-690.828 1567.88,-690.491\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1568.14,-693.99 1578.12,-690.449 1568.11,-686.99 1568.14,-693.99\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-704.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.509086</text>\n</g>\n<!-- 67 -->\n<g id=\"node168\" class=\"node\"><title>67</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1656\" cy=\"-741\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1656\" y=\"-735.4\" font-family=\"Times,serif\" font-size=\"14.00\">67</text>\n</g>\n<!-- 61->67 -->\n<g id=\"edge196\" class=\"edge\"><title>61->67</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1465.66,-721.07C1502.46,-724.943 1581.93,-733.308 1625.29,-737.873\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1624.93,-741.354 1635.24,-738.92 1625.66,-734.392 1624.93,-741.354\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-733.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 56->45 -->\n<g id=\"edge184\" class=\"edge\"><title>56->45</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1750.04,-142.629C1777.27,-141.903 1825.87,-144.799 1855,-171.2 1879.07,-193.021 1888.35,-229.773 1891.9,-257.021\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1888.45,-257.754 1893.02,-267.313 1895.41,-256.991 1888.45,-257.754\"/>\n<text text-anchor=\"middle\" x=\"1818\" y=\"-174.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.176504</text>\n</g>\n<!-- 43->32 -->\n<g id=\"edge138\" class=\"edge\"><title>43->32</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1128.01,-431.2C1130.8,-435.278 1133.64,-439.716 1136,-444 1144.18,-458.817 1138.16,-467.97 1151,-479 1176.77,-501.145 1194.58,-483.054 1225,-498.2 1236.43,-503.892 1247.72,-512.277 1256.99,-520.121\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1254.76,-522.817 1264.58,-526.793 1259.38,-517.561 1254.76,-522.817\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-501.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.209033</text>\n</g>\n<!-- 50 -->\n<g id=\"node126\" class=\"node\"><title>50</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1445\" cy=\"-405\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1445\" y=\"-399.4\" font-family=\"Times,serif\" font-size=\"14.00\">50</text>\n</g>\n<!-- 43->50 -->\n<g id=\"edge140\" class=\"edge\"><title>43->50</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1136.02,-414.39C1191.62,-412.694 1348.14,-407.923 1414.1,-405.912\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1414.35,-409.406 1424.24,-405.603 1414.14,-402.409 1414.35,-409.406\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-414.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 44->32 -->\n<g id=\"edge142\" class=\"edge\"><title>44->32</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1125.64,-492.067C1131.66,-501.587 1140.3,-512.589 1151,-519 1181.05,-537.012 1221.77,-541.264 1249.15,-541.824\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1249.27,-545.324 1259.28,-541.875 1249.3,-538.324 1249.27,-545.324\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-543.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.980618</text>\n</g>\n<!-- 51 -->\n<g id=\"node129\" class=\"node\"><title>51</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1445\" cy=\"-464\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1445\" y=\"-458.4\" font-family=\"Times,serif\" font-size=\"14.00\">51</text>\n</g>\n<!-- 44->51 -->\n<g id=\"edge144\" class=\"edge\"><title>44->51</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1128.6,-458.184C1134.63,-451.88 1142.4,-445.337 1151,-442 1198.41,-423.593 1349.73,-447.208 1414.32,-458.55\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1413.81,-462.014 1424.27,-460.321 1415.03,-455.122 1413.81,-462.014\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-446.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 73 -->\n<g id=\"node180\" class=\"node\"><title>73</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1895\" cy=\"-761\" rx=\"20.8568\" ry=\"20.8568\"/>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1895\" cy=\"-761\" rx=\"24.8884\" ry=\"24.8884\"/>\n<text text-anchor=\"middle\" x=\"1895\" y=\"-755.4\" font-family=\"Times,serif\" font-size=\"14.00\">73</text>\n</g>\n<!-- 66->73 -->\n<g id=\"edge212\" class=\"edge\"><title>66->73</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1750.04,-649.969C1776.81,-649.653 1824.43,-652.939 1855,-677.2 1870.66,-689.626 1880.31,-709.798 1886.09,-727.237\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1882.83,-728.545 1889.07,-737.109 1889.54,-726.525 1882.83,-728.545\"/>\n<text text-anchor=\"middle\" x=\"1818\" y=\"-680.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.176504</text>\n</g>\n<!-- 55->46 -->\n<g id=\"edge182\" class=\"edge\"><title>55->46</title>\n<path fill=\"none\" stroke=\"black\" d=\"M697.721,-690.357C722.036,-688.33 763.611,-684.866 791.919,-682.507\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"792.381,-685.981 802.055,-681.662 791.799,-679.005 792.381,-685.981\"/>\n<text text-anchor=\"middle\" x=\"750\" y=\"-691.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 47->64 -->\n<g id=\"edge150\" class=\"edge\"><title>47->64</title>\n<path fill=\"none\" stroke=\"black\" d=\"M841.091,-756.713C862.637,-743.696 900.758,-720.497 933,-700 936.195,-697.969 939.537,-695.813 942.836,-693.667\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"944.885,-696.508 951.332,-688.1 941.049,-690.653 944.885,-696.508\"/>\n<text text-anchor=\"middle\" x=\"896\" y=\"-747.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.372935</text>\n</g>\n<!-- 54 -->\n<g id=\"node136\" class=\"node\"><title>54</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1115\" cy=\"-810\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1115\" y=\"-804.4\" font-family=\"Times,serif\" font-size=\"14.00\">54</text>\n</g>\n<!-- 47->54 -->\n<g id=\"edge152\" class=\"edge\"><title>47->54</title>\n<path fill=\"none\" stroke=\"black\" d=\"M843.933,-769.956C893.928,-777.369 1024.87,-796.784 1084.12,-805.569\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1083.91,-809.076 1094.31,-807.081 1084.93,-802.152 1083.91,-809.076\"/>\n<text text-anchor=\"middle\" x=\"969\" y=\"-794.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 49->40 -->\n<g id=\"edge158\" class=\"edge\"><title>49->40</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1464.08,-354.003C1469.49,-356.331 1475.46,-358.829 1481,-361 1517.02,-375.115 1532.53,-366.366 1563,-390.2 1571.71,-397.009 1578.97,-406.61 1584.58,-415.76\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1581.65,-417.681 1589.64,-424.641 1587.73,-414.219 1581.65,-417.681\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-393.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.372935</text>\n</g>\n<!-- 58 -->\n<g id=\"node142\" class=\"node\"><title>58</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1729\" cy=\"-257\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1729\" y=\"-251.4\" font-family=\"Times,serif\" font-size=\"14.00\">58</text>\n</g>\n<!-- 49->58 -->\n<g id=\"edge160\" class=\"edge\"><title>49->58</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1457.68,-329.894C1460.6,-325.505 1463.58,-320.67 1466,-316 1474.54,-299.507 1466.47,-288.568 1481,-277 1513.79,-250.888 1639.78,-252.941 1698.08,-255.41\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1698,-258.909 1708.15,-255.869 1698.32,-251.917 1698,-258.909\"/>\n<text text-anchor=\"middle\" x=\"1599\" y=\"-258.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 50->40 -->\n<g id=\"edge162\" class=\"edge\"><title>50->40</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1465.76,-407.658C1489.27,-411.108 1529.54,-417.928 1563,-428.2 1565.48,-428.962 1568.03,-429.841 1570.56,-430.781\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1569.51,-434.129 1580.1,-434.6 1572.12,-427.632 1569.51,-434.129\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-431.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.0632042</text>\n</g>\n<!-- 59 -->\n<g id=\"node145\" class=\"node\"><title>59</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1656\" cy=\"-308\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1656\" y=\"-302.4\" font-family=\"Times,serif\" font-size=\"14.00\">59</text>\n</g>\n<!-- 50->59 -->\n<g id=\"edge164\" class=\"edge\"><title>50->59</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1458.23,-389.148C1461.14,-384.757 1463.99,-379.857 1466,-375 1478.98,-343.678 1454.77,-321.689 1481,-300.2 1522.26,-266.39 1589.29,-282.882 1626.97,-296.404\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1626.18,-299.848 1636.77,-300.095 1628.65,-293.297 1626.18,-299.848\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-303.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 51->40 -->\n<g id=\"edge166\" class=\"edge\"><title>51->40</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1465.56,-461.298C1491.52,-457.71 1537.62,-451.342 1568,-447.145\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1568.61,-450.594 1578.03,-445.759 1567.65,-443.66 1568.61,-450.594\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-461.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/5.89355</text>\n</g>\n<!-- 60 -->\n<g id=\"node148\" class=\"node\"><title>60</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1729\" cy=\"-445\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1729\" y=\"-439.4\" font-family=\"Times,serif\" font-size=\"14.00\">60</text>\n</g>\n<!-- 51->60 -->\n<g id=\"edge168\" class=\"edge\"><title>51->60</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1452.19,-483.334C1457.54,-496.526 1466.71,-513.006 1481,-521 1557.02,-563.53 1600.13,-561.988 1677,-521 1682.34,-518.154 1699.36,-491.812 1712.29,-470.928\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1715.28,-472.749 1717.53,-462.396 1709.31,-469.084 1715.28,-472.749\"/>\n<text text-anchor=\"middle\" x=\"1599\" y=\"-555.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 64->52 -->\n<g id=\"edge206\" class=\"edge\"><title>64->52</title>\n<path fill=\"none\" stroke=\"black\" d=\"M989.721,-676.589C1014.04,-676.083 1055.61,-675.216 1083.92,-674.627\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1084.13,-678.123 1094.06,-674.416 1083.98,-671.125 1084.13,-678.123\"/>\n<text text-anchor=\"middle\" x=\"1042\" y=\"-679.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 53->69 -->\n<g id=\"edge174\" class=\"edge\"><title>53->69</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1135.66,-735.829C1163.93,-732.707 1216.28,-726.926 1249.29,-723.281\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1249.71,-726.755 1259.27,-722.179 1248.94,-719.798 1249.71,-726.755\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-737.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.209033</text>\n</g>\n<!-- 63 -->\n<g id=\"node155\" class=\"node\"><title>63</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1445\" cy=\"-780\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1445\" y=\"-774.4\" font-family=\"Times,serif\" font-size=\"14.00\">63</text>\n</g>\n<!-- 53->63 -->\n<g id=\"edge176\" class=\"edge\"><title>53->63</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1133.31,-747.961C1138.8,-750.691 1145.01,-753.35 1151,-755 1244.25,-780.671 1359.94,-782.038 1413.8,-781.014\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1414.1,-784.508 1424.02,-780.776 1413.94,-777.51 1414.1,-784.508\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-782.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 54->69 -->\n<g id=\"edge178\" class=\"edge\"><title>54->69</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1134.06,-801.624C1155.94,-791.308 1193.75,-772.942 1225,-755 1234.59,-749.493 1244.84,-743.011 1253.8,-737.132\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1255.87,-739.959 1262.27,-731.512 1252,-734.128 1255.87,-739.959\"/>\n<text text-anchor=\"middle\" x=\"1188\" y=\"-795.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.980618</text>\n</g>\n<!-- 65 -->\n<g id=\"node158\" class=\"node\"><title>65</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1445\" cy=\"-842\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1445\" y=\"-836.4\" font-family=\"Times,serif\" font-size=\"14.00\">65</text>\n</g>\n<!-- 54->65 -->\n<g id=\"edge180\" class=\"edge\"><title>54->65</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1136.02,-811.954C1191.62,-817.378 1348.14,-832.648 1414.1,-839.083\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1413.95,-842.584 1424.24,-840.072 1414.63,-835.617 1413.95,-842.584\"/>\n<text text-anchor=\"middle\" x=\"1280\" y=\"-832.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 57->45 -->\n<g id=\"edge186\" class=\"edge\"><title>57->45</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1619.72,-199.026C1651.39,-196.527 1715.18,-194.278 1766,-210.2 1805.12,-222.456 1843.92,-249.983 1868.37,-269.72\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1866.15,-272.424 1876.09,-276.082 1870.6,-267.022 1866.15,-272.424\"/>\n<text text-anchor=\"middle\" x=\"1729\" y=\"-213.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.209033</text>\n</g>\n<!-- 58->45 -->\n<g id=\"edge188\" class=\"edge\"><title>58->45</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1749.51,-260.992C1774.12,-266.051 1817.73,-275.091 1855,-283.2 1856.73,-283.575 1858.49,-283.963 1860.28,-284.357\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1859.98,-287.877 1870.5,-286.637 1861.5,-281.044 1859.98,-287.877\"/>\n<text text-anchor=\"middle\" x=\"1818\" y=\"-286.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.980618</text>\n</g>\n<!-- 59->45 -->\n<g id=\"edge190\" class=\"edge\"><title>59->45</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1676.76,-308.257C1712.48,-308.487 1790.11,-307.913 1855,-300 1856.75,-299.787 1858.53,-299.538 1860.33,-299.261\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1861.35,-302.633 1870.59,-297.442 1860.13,-295.74 1861.35,-302.633\"/>\n<text text-anchor=\"middle\" x=\"1729\" y=\"-311.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.260881</text>\n</g>\n<!-- 60->45 -->\n<g id=\"edge192\" class=\"edge\"><title>60->45</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1744.55,-431.422C1772.61,-405.245 1834.48,-347.53 1869.17,-315.166\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1871.62,-317.663 1876.55,-308.282 1866.85,-312.544 1871.62,-317.663\"/>\n<text text-anchor=\"middle\" x=\"1818\" y=\"-398.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:>/0.443444</text>\n</g>\n<!-- 69->61 -->\n<g id=\"edge218\" class=\"edge\"><title>69->61</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1300.99,-719.877C1329.17,-719.704 1380.82,-719.388 1413.72,-719.186\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1414.13,-722.683 1424.1,-719.122 1414.08,-715.684 1414.13,-722.683\"/>\n<text text-anchor=\"middle\" x=\"1372\" y=\"-722.8\" font-family=\"Times,serif\" font-size=\"14.00\">n:n</text>\n</g>\n<!-- 62->72 -->\n<g id=\"edge198\" class=\"edge\"><title>62->72</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1465.99,-659.073C1489.72,-658.575 1530.2,-659.636 1563,-670.2 1566.33,-671.273 1569.68,-672.708 1572.92,-674.326\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1571.21,-677.379 1581.64,-679.219 1574.63,-671.274 1571.21,-677.379\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-673.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.372935</text>\n</g>\n<!-- 68 -->\n<g id=\"node171\" class=\"node\"><title>68</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1656\" cy=\"-630\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1656\" y=\"-624.4\" font-family=\"Times,serif\" font-size=\"14.00\">68</text>\n</g>\n<!-- 62->68 -->\n<g id=\"edge200\" class=\"edge\"><title>62->68</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1461.96,-648.309C1467.69,-644.73 1474.37,-641.211 1481,-639.2 1529.8,-624.398 1589.77,-625.1 1625.05,-627.306\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1624.94,-630.808 1635.16,-628.024 1625.44,-623.825 1624.94,-630.808\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-642.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 63->72 -->\n<g id=\"edge202\" class=\"edge\"><title>63->72</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1465.86,-781.274C1490.94,-781.849 1534.27,-779.286 1563,-758 1575.56,-748.696 1584.01,-733.549 1589.45,-720.008\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1592.77,-721.133 1592.9,-710.539 1586.19,-718.737 1592.77,-721.133\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-784.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.0632042</text>\n</g>\n<!-- 70 -->\n<g id=\"node174\" class=\"node\"><title>70</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1729\" cy=\"-825\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1729\" y=\"-819.4\" font-family=\"Times,serif\" font-size=\"14.00\">70</text>\n</g>\n<!-- 63->70 -->\n<g id=\"edge204\" class=\"edge\"><title>63->70</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1456.7,-796.871C1459.74,-801.732 1463.03,-807.058 1466,-812 1472.87,-823.436 1469.45,-831.328 1481,-838 1550.95,-878.402 1651.47,-852.406 1699.87,-835.779\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1701.12,-839.048 1709.37,-832.401 1698.78,-832.452 1701.12,-839.048\"/>\n<text text-anchor=\"middle\" x=\"1599\" y=\"-862.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 65->72 -->\n<g id=\"edge208\" class=\"edge\"><title>65->72</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1465.84,-839.812C1491.71,-835.921 1536.74,-825.433 1563,-798 1582.81,-777.309 1591.41,-745.241 1595.14,-721.603\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1598.65,-721.789 1596.53,-711.407 1591.71,-720.84 1598.65,-721.789\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-839.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/5.89355</text>\n</g>\n<!-- 71 -->\n<g id=\"node178\" class=\"node\"><title>71</title>\n<ellipse fill=\"none\" stroke=\"black\" cx=\"1656\" cy=\"-892\" rx=\"20.8887\" ry=\"20.8887\"/>\n<text text-anchor=\"middle\" x=\"1656\" y=\"-886.4\" font-family=\"Times,serif\" font-size=\"14.00\">71</text>\n</g>\n<!-- 65->71 -->\n<g id=\"edge210\" class=\"edge\"><title>65->71</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1461.51,-854.871C1467.3,-859.051 1474.14,-863.303 1481,-866 1529.04,-884.894 1589.49,-890.173 1625.03,-891.579\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1625.11,-895.083 1635.21,-891.901 1625.33,-888.086 1625.11,-895.083\"/>\n<text text-anchor=\"middle\" x=\"1522\" y=\"-888.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 72->66 -->\n<g id=\"edge224\" class=\"edge\"><title>72->66</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1618.89,-685.098C1640.06,-678.481 1674.64,-667.674 1699.2,-660.001\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1700.53,-663.25 1709.04,-656.926 1698.45,-656.568 1700.53,-663.25\"/>\n<text text-anchor=\"middle\" x=\"1656\" y=\"-682.8\" font-family=\"Times,serif\" font-size=\"14.00\">a:a</text>\n</g>\n<!-- 67->73 -->\n<g id=\"edge214\" class=\"edge\"><title>67->73</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1676.8,-742.671C1717.31,-746.089 1810.04,-753.915 1860.24,-758.151\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1860.01,-761.644 1870.27,-758.998 1860.6,-754.669 1860.01,-761.644\"/>\n<text text-anchor=\"middle\" x=\"1729\" y=\"-753.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.209033</text>\n</g>\n<!-- 68->73 -->\n<g id=\"edge216\" class=\"edge\"><title>68->73</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1667.48,-647.098C1675.41,-659.606 1685.94,-675.192 1692,-680 1705.9,-691.031 1808.21,-729.503 1861.67,-749.193\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1860.76,-752.589 1871.36,-752.753 1863.18,-746.019 1860.76,-752.589\"/>\n<text text-anchor=\"middle\" x=\"1729\" y=\"-714.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.980618</text>\n</g>\n<!-- 70->73 -->\n<g id=\"edge220\" class=\"edge\"><title>70->73</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1748.49,-817.783C1776.09,-807.012 1828.43,-786.589 1862.23,-773.397\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1863.62,-776.614 1871.66,-769.718 1861.07,-770.093 1863.62,-776.614\"/>\n<text text-anchor=\"middle\" x=\"1818\" y=\"-807.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.260881</text>\n</g>\n<!-- 71->73 -->\n<g id=\"edge222\" class=\"edge\"><title>71->73</title>\n<path fill=\"none\" stroke=\"black\" d=\"M1676.84,-889.815C1715.11,-884.702 1800.17,-868.875 1855,-825 1865.74,-816.404 1874.26,-803.991 1880.57,-792.38\"/>\n<polygon fill=\"black\" stroke=\"black\" points=\"1883.75,-793.832 1885.15,-783.329 1877.51,-790.672 1883.75,-793.832\"/>\n<text text-anchor=\"middle\" x=\"1729\" y=\"-890.8\" font-family=\"Times,serif\" font-size=\"14.00\">\u03b5:^/0.443444</text>\n</g>\n</g>\n</svg>\n", | |
| "text": "<StdVectorFst with 74 states>" | |
| } | |
| ], | |
| "prompt_number": 54 | |
| }, | |
| { | |
| "cell_type": "code", | |
| "collapsed": false, | |
| "input": "", | |
| "language": "python", | |
| "metadata": {}, | |
| "outputs": [] | |
| } | |
| ], | |
| "metadata": {} | |
| } | |
| ] | |
| } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment