scfg-induction/experiments/steps/expr-step001-before.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 16.0.0 (0)
 -->
<!-- Title: grammar Pages: 1 -->
<svg width="513pt" height="3547pt"
 viewBox="0.00 0.00 513.00 3547.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 3542.5)">
<title>grammar</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-3542.5 509.25,-3542.5 509.25,4 -4,4"/>
<text xml:space="preserve" text-anchor="middle" x="252.62" y="-3521.2" font-family="Times,serif" font-size="14.00">expr step 1 before: merge S,T_a</text>
<!-- nt_S -->
<g id="node1" class="node">
<title>nt_S</title>
<ellipse fill="none" stroke="red" stroke-width="2.5" cx="22" cy="-1618" rx="18" ry="18"/>
<ellipse fill="none" stroke="red" stroke-width="2.5" cx="22" cy="-1618" rx="22" ry="22"/>
<text xml:space="preserve" text-anchor="middle" x="22" y="-1614.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">S</text>
</g>
<!-- pr_1 -->
<g id="node9" class="node">
<title>pr_1</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="179.38,-3514 125.38,-3514 125.38,-3478 179.38,-3478 179.38,-3514"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-3498.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_a</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-3486.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.180</text>
</g>
<!-- nt_S&#45;&gt;pr_1 -->
<g id="edge3" class="edge">
<title>nt_S&#45;&gt;pr_1</title>
<path fill="none" stroke="black" d="M23.43,-1640.89C26,-1775.94 40.02,-2482.56 62,-3059 68.55,-3230.64 -0.81,-3293.97 81,-3445 88.5,-3458.85 101.59,-3469.88 114.46,-3478.1"/>
<polygon fill="black" stroke="black" points="112.46,-3480.99 122.85,-3483.06 116.02,-3474.96 112.46,-3480.99"/>
</g>
<!-- pr_5 -->
<g id="node13" class="node">
<title>pr_5</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="223.75,-2149 81,-2149 81,-2113 223.75,-2113 223.75,-2149"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-2133.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_a T_* T_b T_+ T_a T_* T_a</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-2121.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_5 -->
<g id="edge11" class="edge">
<title>nt_S&#45;&gt;pr_5</title>
<path fill="none" stroke="black" d="M25.28,-1640.77C31.12,-1695.54 48.49,-1838.62 81,-1954 96.05,-2007.42 121.62,-2066.87 137.44,-2101.49"/>
<polygon fill="black" stroke="black" points="134.2,-2102.83 141.57,-2110.44 140.56,-2099.89 134.2,-2102.83"/>
</g>
<!-- pr_8 -->
<g id="node16" class="node">
<title>pr_8</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="203.12,-687 101.62,-687 101.62,-651 203.12,-651 203.12,-687"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-671.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_( T_b T_) T_* T_b</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-659.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_8 -->
<g id="edge23" class="edge">
<title>nt_S&#45;&gt;pr_8</title>
<path fill="none" stroke="black" d="M27.55,-1595.71C36.23,-1552.17 54.97,-1452.67 63,-1368 69.19,-1302.71 61.5,-840.62 81,-778 90.41,-747.79 110.68,-717.91 127.07,-697.1"/>
<polygon fill="black" stroke="black" points="129.74,-699.35 133.31,-689.38 124.3,-694.95 129.74,-699.35"/>
</g>
<!-- pr_9 -->
<g id="node17" class="node">
<title>pr_9</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="179.38,-36 125.38,-36 125.38,0 179.38,0 179.38,-36"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-20.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_b</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-8.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.300</text>
</g>
<!-- nt_S&#45;&gt;pr_9 -->
<g id="edge29" class="edge">
<title>nt_S&#45;&gt;pr_9</title>
<path fill="none" stroke="black" d="M23,-1594.96C23.11,-1463.42 25.52,-794.06 62,-249 67.37,-168.74 40.72,-138.63 81,-69 88.83,-55.47 101.84,-44.54 114.57,-36.32"/>
<polygon fill="black" stroke="black" points="116.08,-39.49 122.85,-31.34 112.48,-33.49 116.08,-39.49"/>
</g>
<!-- pr_10 -->
<g id="node18" class="node">
<title>pr_10</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="185.12,-823 119.62,-823 119.62,-787 185.12,-787 185.12,-823"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-807.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_( T_b T_)</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-795.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_10 -->
<g id="edge31" class="edge">
<title>nt_S&#45;&gt;pr_10</title>
<path fill="none" stroke="black" d="M29.09,-1595.89C38.32,-1561.26 55.57,-1491.99 63,-1432 77.16,-1317.69 46.52,-1023.9 81,-914 90.47,-883.81 110.74,-853.93 127.11,-833.11"/>
<polygon fill="black" stroke="black" points="129.78,-835.37 133.34,-825.39 124.34,-830.97 129.78,-835.37"/>
</g>
<!-- pr_11 -->
<g id="node19" class="node">
<title>pr_11</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="206.88,-959 97.88,-959 97.88,-923 206.88,-923 206.88,-959"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-943.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_a T_+ T_a T_+ T_b</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-931.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_11 -->
<g id="edge35" class="edge">
<title>nt_S&#45;&gt;pr_11</title>
<path fill="none" stroke="black" d="M30.66,-1596.69C40.15,-1569.21 55.93,-1519.74 63,-1476 90.83,-1303.83 37.58,-1252.91 81,-1084 91.86,-1041.75 116.03,-997.31 133,-969.4"/>
<polygon fill="black" stroke="black" points="135.8,-971.53 138.09,-961.18 129.85,-967.84 135.8,-971.53"/>
</g>
<!-- pr_12 -->
<g id="node20" class="node">
<title>pr_12</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="187.75,-3436 117,-3436 117,-3400 187.75,-3400 187.75,-3436"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-3420.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_a T_+ T_a</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-3408.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_12 -->
<g id="edge41" class="edge">
<title>nt_S&#45;&gt;pr_12</title>
<path fill="none" stroke="black" d="M23.54,-1641.11C26.54,-1767.58 41.71,-2388.63 62,-2896 68.83,-3066.74 36.99,-3114.89 81,-3280 91.75,-3320.32 115.32,-3362.47 132.23,-3389.41"/>
<polygon fill="black" stroke="black" points="129.18,-3391.14 137.52,-3397.68 135.08,-3387.37 129.18,-3391.14"/>
</g>
<!-- pr_13 -->
<g id="node21" class="node">
<title>pr_13</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="203.12,-1945 101.62,-1945 101.62,-1909 203.12,-1909 203.12,-1945"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-1929.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_( T_a T_* T_a T_)</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-1917.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_13 -->
<g id="edge45" class="edge">
<title>nt_S&#45;&gt;pr_13</title>
<path fill="none" stroke="black" d="M31.62,-1638.75C53.9,-1692.37 113.41,-1835.62 139.19,-1897.67"/>
<polygon fill="black" stroke="black" points="135.8,-1898.64 142.87,-1906.53 142.27,-1895.95 135.8,-1898.64"/>
</g>
<!-- pr_14 -->
<g id="node22" class="node">
<title>pr_14</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="187.75,-211 117,-211 117,-175 187.75,-175 187.75,-211"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-195.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_b T_+ T_b</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-183.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.040</text>
</g>
<!-- nt_S&#45;&gt;pr_14 -->
<g id="edge51" class="edge">
<title>nt_S&#45;&gt;pr_14</title>
<path fill="none" stroke="black" d="M24.14,-1594.87C29.08,-1494.38 49,-1085.74 63,-750 65.23,-696.45 60.35,-317.46 81,-268 88.75,-249.44 103.3,-232.7 117.17,-219.76"/>
<polygon fill="black" stroke="black" points="119.37,-222.48 124.52,-213.22 114.72,-217.25 119.37,-222.48"/>
</g>
<!-- pr_15 -->
<g id="node23" class="node">
<title>pr_15</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="221.12,-1741 83.62,-1741 83.62,-1705 221.12,-1705 221.12,-1741"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-1725.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_( T_b T_) T_* T_b T_* T_a</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-1713.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_15 -->
<g id="edge55" class="edge">
<title>nt_S&#45;&gt;pr_15</title>
<path fill="none" stroke="black" d="M40.31,-1632.16C60.55,-1648.71 94.45,-1676.44 119.49,-1696.92"/>
<polygon fill="black" stroke="black" points="117.14,-1699.52 127.1,-1703.14 121.57,-1694.1 117.14,-1699.52"/>
</g>
<!-- pr_16 -->
<g id="node24" class="node">
<title>pr_16</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="223.75,-3271 81,-3271 81,-3235 223.75,-3235 223.75,-3271"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-3255.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_a T_* T_a T_* T_a T_+ T_a</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-3243.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_16 -->
<g id="edge63" class="edge">
<title>nt_S&#45;&gt;pr_16</title>
<path fill="none" stroke="black" d="M23.64,-1641.12C26.93,-1758.9 42.55,-2304.04 62,-2750 68.98,-2910.07 40.58,-2954.96 81,-3110 92,-3152.21 116.14,-3196.66 133.06,-3224.58"/>
<polygon fill="black" stroke="black" points="129.91,-3226.13 138.14,-3232.8 135.86,-3222.46 129.91,-3226.13"/>
</g>
<!-- pr_17 -->
<g id="node25" class="node">
<title>pr_17</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="205.75,-1129 99,-1129 99,-1093 205.75,-1093 205.75,-1129"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-1113.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_b T_* T_b T_+ T_a</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-1101.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_17 -->
<g id="edge71" class="edge">
<title>nt_S&#45;&gt;pr_17</title>
<path fill="none" stroke="black" d="M32.64,-1597.62C42.15,-1576.48 56.22,-1542.2 63,-1511 87.3,-1399.11 51.16,-1364.55 81,-1254 92.37,-1211.89 116.42,-1167.42 133.23,-1139.46"/>
<polygon fill="black" stroke="black" points="136.03,-1141.59 138.26,-1131.23 130.06,-1137.93 136.03,-1141.59"/>
</g>
<!-- pr_18 -->
<g id="node26" class="node">
<title>pr_18</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="203.12,-2353 101.62,-2353 101.62,-2317 203.12,-2317 203.12,-2353"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-2337.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_( T_a T_) T_* T_a</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-2325.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.060</text>
</g>
<!-- nt_S&#45;&gt;pr_18 -->
<g id="edge77" class="edge">
<title>nt_S&#45;&gt;pr_18</title>
<path fill="none" stroke="black" d="M23.26,-1641.02C24.56,-1716.38 32.5,-1962.14 81,-2158 94.34,-2211.87 120.44,-2271.19 136.83,-2305.65"/>
<polygon fill="black" stroke="black" points="133.63,-2307.08 141.13,-2314.56 139.94,-2304.04 133.63,-2307.08"/>
</g>
<!-- pr_19 -->
<g id="node27" class="node">
<title>pr_19</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="206.88,-1299 97.88,-1299 97.88,-1263 206.88,-1263 206.88,-1299"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-1283.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_a T_+ T_b T_+ T_a</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-1271.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_19 -->
<g id="edge83" class="edge">
<title>nt_S&#45;&gt;pr_19</title>
<path fill="none" stroke="black" d="M35.01,-1598.88C44.09,-1583.53 56.14,-1561.13 63,-1540 79.11,-1490.38 65.3,-1473.75 81,-1424 94.13,-1382.4 117.77,-1337.81 134,-1309.69"/>
<polygon fill="black" stroke="black" points="136.82,-1311.81 138.85,-1301.41 130.78,-1308.27 136.82,-1311.81"/>
</g>
<!-- pr_20 -->
<g id="node28" class="node">
<title>pr_20</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="206.88,-2727 97.88,-2727 97.88,-2691 206.88,-2691 206.88,-2727"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-2711.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_b T_+ T_a T_+ T_b</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-2699.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_20 -->
<g id="edge89" class="edge">
<title>nt_S&#45;&gt;pr_20</title>
<path fill="none" stroke="black" d="M23.86,-1640.86C27.42,-1733.52 41.72,-2090.14 62,-2383 68.69,-2479.58 49.6,-2508.42 81,-2600 91.33,-2630.12 111.71,-2660.21 127.89,-2681.12"/>
<polygon fill="black" stroke="black" points="125.08,-2683.21 134.03,-2688.86 130.56,-2678.85 125.08,-2683.21"/>
</g>
<!-- pr_21 -->
<g id="node29" class="node">
<title>pr_21</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="222.62,-2931 82.12,-2931 82.12,-2895 222.62,-2895 222.62,-2931"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-2915.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_a T_* T_a T_* T_a T_* T_a</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-2903.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_21 -->
<g id="edge95" class="edge">
<title>nt_S&#45;&gt;pr_21</title>
<path fill="none" stroke="black" d="M23.12,-1641.18C24.02,-1781.36 31.09,-2516.89 81,-2736 93.33,-2790.12 119.74,-2849.35 136.47,-2883.74"/>
<polygon fill="black" stroke="black" points="133.3,-2885.21 140.86,-2892.63 139.57,-2882.11 133.3,-2885.21"/>
</g>
<!-- pr_22 -->
<g id="node30" class="node">
<title>pr_22</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="187.75,-1605 117,-1605 117,-1569 187.75,-1569 187.75,-1605"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-1589.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_b T_+ T_a</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-1577.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_22 -->
<g id="edge103" class="edge">
<title>nt_S&#45;&gt;pr_22</title>
<path fill="none" stroke="black" d="M44.49,-1612.81C60.93,-1608.84 84.21,-1603.22 104.85,-1598.23"/>
<polygon fill="black" stroke="black" points="105.61,-1601.65 114.51,-1595.9 103.97,-1594.85 105.61,-1601.65"/>
</g>
<!-- pr_23 -->
<g id="node31" class="node">
<title>pr_23</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="205.75,-1469 99,-1469 99,-1433 205.75,-1433 205.75,-1469"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-1453.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_a T_+ T_a T_* T_b</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-1441.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_23 -->
<g id="edge107" class="edge">
<title>nt_S&#45;&gt;pr_23</title>
<path fill="none" stroke="black" d="M36.7,-1600.19C44.43,-1590.15 54.25,-1577.38 63,-1566 85.8,-1536.35 111.89,-1502.39 129.78,-1479.11"/>
<polygon fill="black" stroke="black" points="132.44,-1481.39 135.76,-1471.33 126.89,-1477.13 132.44,-1481.39"/>
</g>
<!-- pr_24 -->
<g id="node32" class="node">
<title>pr_24</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="186.62,-114 118.12,-114 118.12,-78 186.62,-78 186.62,-114"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-98.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_b T_* T_b</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-86.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.040</text>
</g>
<!-- nt_S&#45;&gt;pr_24 -->
<g id="edge113" class="edge">
<title>nt_S&#45;&gt;pr_24</title>
<path fill="none" stroke="black" d="M22.91,-1595.02C22.35,-1420.09 21.15,-302.2 81,-166 88.45,-149.05 102.05,-133.99 115.31,-122.23"/>
<polygon fill="black" stroke="black" points="117.36,-125.08 122.76,-115.96 112.86,-119.72 117.36,-125.08"/>
</g>
<!-- pr_25 -->
<g id="node33" class="node">
<title>pr_25</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="186.62,-2591 118.12,-2591 118.12,-2555 186.62,-2555 186.62,-2591"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-2575.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_a T_* T_b</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-2563.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_25 -->
<g id="edge117" class="edge">
<title>nt_S&#45;&gt;pr_25</title>
<path fill="none" stroke="black" d="M24.03,-1641.11C27.94,-1727.38 42.64,-2038.79 62,-2295 68.83,-2385.36 43.76,-2415.39 81,-2498 89.32,-2516.47 104.09,-2533.3 117.96,-2546.31"/>
<polygon fill="black" stroke="black" points="115.5,-2548.81 125.28,-2552.89 120.18,-2543.61 115.5,-2548.81"/>
</g>
<!-- pr_26 -->
<g id="node34" class="node">
<title>pr_26</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="186.62,-313 118.12,-313 118.12,-277 186.62,-277 186.62,-313"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-297.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_b T_* T_a</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-285.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_26 -->
<g id="edge121" class="edge">
<title>nt_S&#45;&gt;pr_26</title>
<path fill="none" stroke="black" d="M25.1,-1595.17C31.8,-1521.41 52.83,-1282.86 63,-1085 66.69,-1013.18 63.73,-507.81 81,-438 91.48,-395.66 115.74,-351.24 132.83,-323.36"/>
<polygon fill="black" stroke="black" points="135.63,-325.48 137.96,-315.15 129.69,-321.77 135.63,-325.48"/>
</g>
<!-- pr_27 -->
<g id="node35" class="node">
<title>pr_27</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="185.12,-2489 119.62,-2489 119.62,-2453 185.12,-2453 185.12,-2489"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-2473.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_( T_a T_)</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-2461.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_27 -->
<g id="edge125" class="edge">
<title>nt_S&#45;&gt;pr_27</title>
<path fill="none" stroke="black" d="M23.28,-1640.91C24.84,-1750.69 34.23,-2223.44 81,-2362 91.18,-2392.17 111.58,-2422.25 127.8,-2443.15"/>
<polygon fill="black" stroke="black" points="125,-2445.25 133.97,-2450.89 130.47,-2440.88 125,-2445.25"/>
</g>
<!-- pr_28 -->
<g id="node36" class="node">
<title>pr_28</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="223.75,-483 81,-483 81,-447 223.75,-447 223.75,-483"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-467.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_b T_+ T_b T_* T_a T_* T_b</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-455.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_28 -->
<g id="edge129" class="edge">
<title>nt_S&#45;&gt;pr_28</title>
<path fill="none" stroke="black" d="M26.24,-1595.35C34.08,-1539.41 54.11,-1390.2 63,-1265 72.81,-1126.85 52.99,-777.64 81,-642 92.2,-587.79 118.84,-528.8 135.94,-494.46"/>
<polygon fill="black" stroke="black" points="139.05,-496.06 140.44,-485.56 132.8,-492.9 139.05,-496.06"/>
</g>
<!-- pr_29 -->
<g id="node37" class="node">
<title>pr_29</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="186.62,-3101 118.12,-3101 118.12,-3065 186.62,-3065 186.62,-3101"/>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-3085.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_a T_* T_a</text>
<text xml:space="preserve" text-anchor="middle" x="152.38" y="-3073.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=0.020</text>
</g>
<!-- nt_S&#45;&gt;pr_29 -->
<g id="edge137" class="edge">
<title>nt_S&#45;&gt;pr_29</title>
<path fill="none" stroke="black" d="M23.7,-1641.11C27.1,-1751.09 42.41,-2232.61 62,-2627 68.91,-2766.2 45.31,-2805.28 81,-2940 92.17,-2982.16 116.27,-3026.62 133.14,-3054.56"/>
<polygon fill="black" stroke="black" points="129.98,-3056.1 138.2,-3062.79 135.94,-3052.44 129.98,-3056.1"/>
</g>
<!-- nt_T__ -->
<g id="node2" class="node">
<title>nt_T__</title>
<ellipse fill="none" stroke="black" cx="292" cy="-1791" rx="27" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="292" y="-1787.5" font-family="Helvetica,sans-Serif" font-size="10.00">T_+</text>
</g>
<!-- pr_2 -->
<g id="node10" class="node">
<title>pr_2</title>
<polygon fill="none" stroke="black" points="410,-1775 356,-1775 356,-1739 410,-1739 410,-1775"/>
<text xml:space="preserve" text-anchor="middle" x="383" y="-1759.5" font-family="Helvetica,sans-Serif" font-size="10.00">*</text>
<text xml:space="preserve" text-anchor="middle" x="383" y="-1747.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
</g>
<!-- nt_T__&#45;&gt;pr_2 -->
<g id="edge5" class="edge">
<title>nt_T__&#45;&gt;pr_2</title>
<path fill="none" stroke="black" d="M315.92,-1782.24C324.85,-1778.83 335.3,-1774.84 345.23,-1771.05"/>
<polygon fill="black" stroke="black" points="346.19,-1774.43 354.28,-1767.59 343.69,-1767.89 346.19,-1774.43"/>
</g>
<!-- pr_4 -->
<g id="node12" class="node">
<title>pr_4</title>
<polygon fill="none" stroke="black" points="410,-1721 356,-1721 356,-1685 410,-1685 410,-1721"/>
<text xml:space="preserve" text-anchor="middle" x="383" y="-1705.5" font-family="Helvetica,sans-Serif" font-size="10.00">+</text>
<text xml:space="preserve" text-anchor="middle" x="383" y="-1693.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
</g>
<!-- nt_T__&#45;&gt;pr_4 -->
<g id="edge9" class="edge">
<title>nt_T__&#45;&gt;pr_4</title>
<path fill="none" stroke="black" d="M308.1,-1776.07C320.99,-1763.33 339.83,-1744.7 355.26,-1729.44"/>
<polygon fill="black" stroke="black" points="357.7,-1731.95 362.35,-1722.43 352.78,-1726.97 357.7,-1731.95"/>
</g>
<!-- pr_6 -->
<g id="node14" class="node">
<title>pr_6</title>
<polygon fill="none" stroke="black" points="410,-1883 356,-1883 356,-1847 410,-1847 410,-1883"/>
<text xml:space="preserve" text-anchor="middle" x="383" y="-1867.5" font-family="Helvetica,sans-Serif" font-size="10.00">(</text>
<text xml:space="preserve" text-anchor="middle" x="383" y="-1855.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
</g>
<!-- nt_T__&#45;&gt;pr_6 -->
<g id="edge19" class="edge">
<title>nt_T__&#45;&gt;pr_6</title>
<path fill="none" stroke="black" d="M309.74,-1804.92C321.39,-1814.6 337.26,-1827.8 351.16,-1839.36"/>
<polygon fill="black" stroke="black" points="348.86,-1842 358.79,-1845.7 353.34,-1836.62 348.86,-1842"/>
</g>
<!-- pr_7 -->
<g id="node15" class="node">
<title>pr_7</title>
<polygon fill="none" stroke="black" points="410,-1829 356,-1829 356,-1793 410,-1793 410,-1829"/>
<text xml:space="preserve" text-anchor="middle" x="383" y="-1813.5" font-family="Helvetica,sans-Serif" font-size="10.00">)</text>
<text xml:space="preserve" text-anchor="middle" x="383" y="-1801.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
</g>
<!-- nt_T__&#45;&gt;pr_7 -->
<g id="edge21" class="edge">
<title>nt_T__&#45;&gt;pr_7</title>
<path fill="none" stroke="black" d="M317.79,-1796.57C326.11,-1798.44 335.58,-1800.57 344.64,-1802.6"/>
<polygon fill="black" stroke="black" points="343.79,-1806 354.31,-1804.78 345.32,-1799.17 343.79,-1806"/>
</g>
<!-- nt_T_a -->
<g id="node3" class="node">
<title>nt_T_a</title>
<ellipse fill="none" stroke="red" stroke-width="2.5" cx="292" cy="-2403" rx="27" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="292" y="-2399.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">T_a</text>
</g>
<!-- pr_0 -->
<g id="node8" class="node">
<title>pr_0</title>
<polygon fill="none" stroke="red" stroke-width="2.5" points="410,-2421 356,-2421 356,-2385 410,-2385 410,-2421"/>
<text xml:space="preserve" text-anchor="middle" x="383" y="-2405.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">a</text>
<text xml:space="preserve" text-anchor="middle" x="383" y="-2393.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="red">p=1.000</text>
</g>
<!-- nt_T_a&#45;&gt;pr_0 -->
<g id="edge1" class="edge">
<title>nt_T_a&#45;&gt;pr_0</title>
<path fill="none" stroke="black" d="M320.19,-2403C327.61,-2403 335.78,-2403 343.7,-2403"/>
<polygon fill="black" stroke="black" points="343.47,-2406.5 353.47,-2403 343.47,-2399.5 343.47,-2406.5"/>
</g>
<!-- nt_T_b -->
<g id="node4" class="node">
<title>nt_T_b</title>
<ellipse fill="none" stroke="black" cx="292" cy="-805" rx="27" ry="18"/>
<text xml:space="preserve" text-anchor="middle" x="292" y="-801.5" font-family="Helvetica,sans-Serif" font-size="10.00">T_b</text>
</g>
<!-- pr_3 -->
<g id="node11" class="node">
<title>pr_3</title>
<polygon fill="none" stroke="black" points="410,-823 356,-823 356,-787 410,-787 410,-823"/>
<text xml:space="preserve" text-anchor="middle" x="383" y="-807.5" font-family="Helvetica,sans-Serif" font-size="10.00">b</text>
<text xml:space="preserve" text-anchor="middle" x="383" y="-795.5" font-family="Helvetica,sans-Serif" font-size="10.00">p=1.000</text>
</g>
<!-- nt_T_b&#45;&gt;pr_3 -->
<g id="edge7" class="edge">
<title>nt_T_b&#45;&gt;pr_3</title>
<path fill="none" stroke="black" d="M319.22,-805C327.12,-805 335.94,-805 344.43,-805"/>
<polygon fill="black" stroke="black" points="344.14,-808.5 354.14,-805 344.14,-801.5 344.14,-808.5"/>
</g>
<!-- tm__ -->
<g id="node5" class="node">
<title>tm__</title>
<text xml:space="preserve" text-anchor="middle" x="478.25" y="-1780.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">+</text>
</g>
<!-- tm_a -->
<g id="node6" class="node">
<title>tm_a</title>
<text xml:space="preserve" text-anchor="middle" x="478.25" y="-2399.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">a</text>
</g>
<!-- tm_b -->
<g id="node7" class="node">
<title>tm_b</title>
<text xml:space="preserve" text-anchor="middle" x="478.25" y="-801.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#666666">b</text>
</g>
<!-- pr_0&#45;&gt;tm_a -->
<g id="edge2" class="edge">
<title>pr_0&#45;&gt;tm_a</title>
<path fill="none" stroke="black" d="M410.97,-2403C420,-2403 430.22,-2403 439.9,-2403"/>
<polygon fill="black" stroke="black" points="439.79,-2406.5 449.79,-2403 439.79,-2399.5 439.79,-2406.5"/>
<text xml:space="preserve" text-anchor="middle" x="430.62" y="-2404.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_1&#45;&gt;nt_T_a -->
<g id="edge4" class="edge">
<title>pr_1&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M180.53,-3491.74C202.44,-3486.74 232.01,-3476.12 247,-3454 276.36,-3410.67 288.42,-2602.02 290.62,-2433.58"/>
<polygon fill="black" stroke="black" points="294.12,-2433.72 290.75,-2423.67 287.12,-2433.63 294.12,-2433.72"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3462.39" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_2&#45;&gt;tm__ -->
<g id="edge6" class="edge">
<title>pr_2&#45;&gt;tm__</title>
<path fill="none" stroke="black" d="M410.47,-1764.66C419.78,-1767.36 430.42,-1770.44 440.43,-1773.34"/>
<polygon fill="black" stroke="black" points="439.32,-1776.66 449.9,-1776.08 441.27,-1769.94 439.32,-1776.66"/>
<text xml:space="preserve" text-anchor="middle" x="430.62" y="-1772.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_3&#45;&gt;tm_b -->
<g id="edge8" class="edge">
<title>pr_3&#45;&gt;tm_b</title>
<path fill="none" stroke="black" d="M410.47,-805C419.68,-805 430.19,-805 440.11,-805"/>
<polygon fill="black" stroke="black" points="439.84,-808.5 449.84,-805 439.84,-801.5 439.84,-808.5"/>
<text xml:space="preserve" text-anchor="middle" x="430.62" y="-806.95" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_4&#45;&gt;tm__ -->
<g id="edge10" class="edge">
<title>pr_4&#45;&gt;tm__</title>
<path fill="none" stroke="black" d="M405.16,-1721.38C417.98,-1732.51 434.49,-1746.86 448.49,-1759.01"/>
<polygon fill="black" stroke="black" points="445.83,-1761.34 455.67,-1765.26 450.42,-1756.06 445.83,-1761.34"/>
<text xml:space="preserve" text-anchor="middle" x="430.62" y="-1745.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_5&#45;&gt;nt_T__ -->
<g id="edge13" class="edge">
<title>pr_5&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M224.68,-2137.61C232.95,-2135.51 240.67,-2131.86 247,-2126 291.14,-2085.14 292.8,-1894.75 291.71,-1820.64"/>
<polygon fill="black" stroke="black" points="295.21,-1820.83 291.54,-1810.9 288.21,-1820.96 295.21,-1820.83"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2131.1" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_5&#45;&gt;nt_T__ -->
<g id="edge15" class="edge">
<title>pr_5&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M223.05,-2111.83C232.22,-2106.7 240.63,-2100.2 247,-2092 279.57,-2050.09 288.12,-1888.45 290.29,-1820.92"/>
<polygon fill="black" stroke="black" points="293.79,-1821.06 290.58,-1810.97 286.79,-1820.86 293.79,-1821.06"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2098.07" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_5&#45;&gt;nt_T__ -->
<g id="edge17" class="edge">
<title>pr_5&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M189.61,-2111.81C209.76,-2099.22 233.42,-2080.86 247,-2058 270.62,-2018.23 283.94,-1881.64 288.83,-1820.73"/>
<polygon fill="black" stroke="black" points="292.31,-1821.03 289.6,-1810.79 285.33,-1820.48 292.31,-1821.03"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2065.31" font-family="Helvetica,sans-Serif" font-size="9.00">6</text>
</g>
<!-- pr_5&#45;&gt;nt_T_a -->
<g id="edge12" class="edge">
<title>pr_5&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M205.53,-2150.19C221.01,-2158.26 236.59,-2169.18 247,-2183.5 268.74,-2213.39 282.46,-2320.01 288.08,-2372.86"/>
<polygon fill="black" stroke="black" points="284.58,-2373.08 289.09,-2382.67 291.55,-2372.36 284.58,-2373.08"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2185.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_5&#45;&gt;nt_T_a -->
<g id="edge16" class="edge">
<title>pr_5&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M171.79,-2149.87C192.78,-2172.35 226.78,-2211.85 247,-2251.5 267.19,-2291.09 279.46,-2341.36 285.74,-2372.87"/>
<polygon fill="black" stroke="black" points="282.27,-2373.31 287.58,-2382.47 289.14,-2372 282.27,-2373.31"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2253.45" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_5&#45;&gt;nt_T_a -->
<g id="edge18" class="edge">
<title>pr_5&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M177.35,-2149.95C198.74,-2168.13 229.33,-2197.48 247,-2229.5 272.42,-2275.58 283.47,-2336.62 288.03,-2372.66"/>
<polygon fill="black" stroke="black" points="284.53,-2372.84 289.16,-2382.37 291.48,-2372.03 284.53,-2372.84"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2231.45" font-family="Helvetica,sans-Serif" font-size="9.00">7</text>
</g>
<!-- pr_5&#45;&gt;nt_T_b -->
<g id="edge14" class="edge">
<title>pr_5&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M177.71,-2111.9C200.33,-2092.52 232.63,-2060.25 247,-2024 258.31,-1995.46 285.24,-1018.16 290.21,-834.57"/>
<polygon fill="black" stroke="black" points="293.7,-834.79 290.47,-824.7 286.7,-834.6 293.7,-834.79"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2036.4" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_6&#45;&gt;tm__ -->
<g id="edge20" class="edge">
<title>pr_6&#45;&gt;tm__</title>
<path fill="none" stroke="black" d="M405.16,-1846.62C417.98,-1835.49 434.49,-1821.14 448.49,-1808.99"/>
<polygon fill="black" stroke="black" points="450.42,-1811.94 455.67,-1802.74 445.83,-1806.66 450.42,-1811.94"/>
<text xml:space="preserve" text-anchor="middle" x="430.62" y="-1826.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_7&#45;&gt;tm__ -->
<g id="edge22" class="edge">
<title>pr_7&#45;&gt;tm__</title>
<path fill="none" stroke="black" d="M410.47,-1803.34C419.78,-1800.64 430.42,-1797.56 440.43,-1794.66"/>
<polygon fill="black" stroke="black" points="441.27,-1798.06 449.9,-1791.92 439.32,-1791.34 441.27,-1798.06"/>
<text xml:space="preserve" text-anchor="middle" x="430.62" y="-1799.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_8&#45;&gt;nt_T__ -->
<g id="edge24" class="edge">
<title>pr_8&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M190.17,-649.76C209.49,-642.58 232.16,-639.22 247,-653.5 267.57,-673.29 286.85,-1584.12 290.41,-1761.31"/>
<polygon fill="black" stroke="black" points="286.91,-1761.12 290.61,-1771.04 293.91,-1760.98 286.91,-1761.12"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-655.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_8&#45;&gt;nt_T__ -->
<g id="edge26" class="edge">
<title>pr_8&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M192.55,-688.2C212.59,-700.25 235.19,-717.83 247,-740.5 271.22,-786.99 287.41,-1596.15 290.47,-1761.6"/>
<polygon fill="black" stroke="black" points="286.97,-1761.34 290.65,-1771.27 293.96,-1761.21 286.97,-1761.34"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-742.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_8&#45;&gt;nt_T__ -->
<g id="edge27" class="edge">
<title>pr_8&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M204.35,-683.88C220.73,-691.28 237.17,-702.06 247,-717.5 275.8,-762.74 288.37,-1593.17 290.62,-1761.42"/>
<polygon fill="black" stroke="black" points="287.12,-1761.32 290.75,-1771.27 294.12,-1761.22 287.12,-1761.32"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-719.45" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_8&#45;&gt;nt_T_b -->
<g id="edge25" class="edge">
<title>pr_8&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M169.33,-649.8C188.85,-628.64 222.34,-600 247,-619.5 271.18,-638.62 283.47,-728.14 288.37,-775.48"/>
<polygon fill="black" stroke="black" points="284.87,-775.69 289.33,-785.3 291.84,-775 284.87,-775.69"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-621.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_8&#45;&gt;nt_T_b -->
<g id="edge28" class="edge">
<title>pr_8&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M165.24,-649.83C183.35,-622.95 218.75,-579.73 247,-602.5 273.58,-623.92 284.93,-724.88 289.03,-775.67"/>
<polygon fill="black" stroke="black" points="285.51,-775.63 289.76,-785.34 292.49,-775.1 285.51,-775.63"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-604.45" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_9&#45;&gt;nt_T_b -->
<g id="edge30" class="edge">
<title>pr_9&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M180.34,-11.99C201.54,-9 230.21,-9.13 247,-26.5 273.51,-53.93 287.45,-636.81 290.4,-775.55"/>
<polygon fill="black" stroke="black" points="286.9,-775.43 290.61,-785.36 293.9,-775.29 286.9,-775.43"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-28.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_10&#45;&gt;nt_T__ -->
<g id="edge32" class="edge">
<title>pr_10&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M186.03,-806.2C206.95,-808.85 232.76,-816 247,-834.5 275.96,-872.14 288.28,-1604.92 290.59,-1761.66"/>
<polygon fill="black" stroke="black" points="287.08,-1761.25 290.73,-1771.2 294.08,-1761.15 287.08,-1761.25"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-836.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_10&#45;&gt;nt_T__ -->
<g id="edge34" class="edge">
<title>pr_10&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M186.2,-798.62C206.64,-796.71 231.85,-798.47 247,-814.5 280.34,-849.77 289.23,-1601.94 290.74,-1761.44"/>
<polygon fill="black" stroke="black" points="287.24,-1761.2 290.83,-1771.17 294.24,-1761.13 287.24,-1761.2"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-816.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_10&#45;&gt;nt_T_b -->
<g id="edge33" class="edge">
<title>pr_10&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M179.3,-785.79C196.15,-774.54 219.12,-761.41 241.75,-755.5 256.95,-751.53 269.38,-764.26 277.95,-777.8"/>
<polygon fill="black" stroke="black" points="274.76,-779.28 282.74,-786.26 280.85,-775.83 274.76,-779.28"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-757.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_11&#45;&gt;nt_T__ -->
<g id="edge37" class="edge">
<title>pr_11&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M190.11,-921.83C209.4,-914.67 232.07,-911.31 247,-925.5 277.96,-954.93 288.62,-1613.35 290.63,-1761.55"/>
<polygon fill="black" stroke="black" points="287.13,-1761.35 290.76,-1771.31 294.12,-1761.26 287.13,-1761.35"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-927.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_11&#45;&gt;nt_T__ -->
<g id="edge39" class="edge">
<title>pr_11&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M175.34,-921.77C196.21,-905.87 227.24,-888.7 247,-907.5 278.62,-937.58 288.78,-1611.1 290.66,-1761.43"/>
<polygon fill="black" stroke="black" points="287.16,-1761.37 290.78,-1771.33 294.16,-1761.28 287.16,-1761.37"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-909.45" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_11&#45;&gt;nt_T_a -->
<g id="edge36" class="edge">
<title>pr_11&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M207.84,-939.76C222.67,-942.28 237.31,-947.95 247,-959.5 262.34,-977.77 264.22,-1794.16 265,-1818 271.94,-2030.31 284.87,-2285.76 289.39,-2372.49"/>
<polygon fill="black" stroke="black" points="285.89,-2372.5 289.9,-2382.31 292.88,-2372.14 285.89,-2372.5"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-961.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_11&#45;&gt;nt_T_a -->
<g id="edge38" class="edge">
<title>pr_11&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M208.01,-958.53C223.23,-966.18 238.04,-976.85 247,-991.5 270.96,-1030.68 263.48,-1772.1 265,-1818 272.03,-2030.31 284.9,-2285.76 289.4,-2372.49"/>
<polygon fill="black" stroke="black" points="285.9,-2372.5 289.91,-2382.31 292.89,-2372.14 285.9,-2372.5"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-993.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_11&#45;&gt;nt_T_b -->
<g id="edge40" class="edge">
<title>pr_11&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M172.8,-921.8C197.81,-897.09 241.2,-854.21 267.88,-827.85"/>
<polygon fill="black" stroke="black" points="270.18,-830.5 274.83,-820.98 265.26,-825.52 270.18,-830.5"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-854.82" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_12&#45;&gt;nt_T__ -->
<g id="edge43" class="edge">
<title>pr_12&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M188.56,-3409.31C209.41,-3402.17 234.18,-3389.76 247,-3369 261.5,-3345.53 264.14,-2403.57 265,-2376 271.66,-2162.93 284.86,-1906.42 289.41,-1820.59"/>
<polygon fill="black" stroke="black" points="292.9,-1820.87 289.94,-1810.7 285.91,-1820.5 292.9,-1820.87"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3377.81" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_12&#45;&gt;nt_T_a -->
<g id="edge42" class="edge">
<title>pr_12&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M188.92,-3428.79C208.57,-3432.39 231.97,-3432.39 247,-3418 283.47,-3383.08 289.9,-2598.32 290.85,-2433.28"/>
<polygon fill="black" stroke="black" points="294.35,-2433.61 290.91,-2423.59 287.35,-2433.57 294.35,-2433.61"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3423.13" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_12&#45;&gt;nt_T_a -->
<g id="edge44" class="edge">
<title>pr_12&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M186.89,-3437.22C206.83,-3445.86 231.23,-3451.12 247,-3436 284.14,-3400.41 290.05,-2600.08 290.88,-2433.29"/>
<polygon fill="black" stroke="black" points="294.37,-2433.51 290.92,-2423.49 287.37,-2433.47 294.37,-2433.51"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3441.11" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_13&#45;&gt;nt_T__ -->
<g id="edge46" class="edge">
<title>pr_13&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M204.25,-1934.64C219.3,-1934.33 234.95,-1931.16 247,-1922 278.19,-1898.29 287.49,-1851.51 290.14,-1820.75"/>
<polygon fill="black" stroke="black" points="293.62,-1821.16 290.78,-1810.95 286.64,-1820.7 293.62,-1821.16"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1926.76" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_13&#45;&gt;nt_T__ -->
<g id="edge48" class="edge">
<title>pr_13&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M204.12,-1913.75C219.34,-1907.84 235.12,-1899.52 247,-1888 266.05,-1869.54 277.56,-1841.31 284.01,-1820.06"/>
<polygon fill="black" stroke="black" points="287.35,-1821.11 286.67,-1810.54 280.61,-1819.22 287.35,-1821.11"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1893.6" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_13&#45;&gt;nt_T__ -->
<g id="edge50" class="edge">
<title>pr_13&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M182.23,-1907.92C201.75,-1894.24 227.42,-1874.63 247,-1854 257.55,-1842.89 267.48,-1829.06 275.24,-1817.2"/>
<polygon fill="black" stroke="black" points="277.99,-1819.4 280.39,-1809.08 272.08,-1815.65 277.99,-1819.4"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1860.52" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_13&#45;&gt;nt_T_a -->
<g id="edge47" class="edge">
<title>pr_13&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M203.9,-1944.38C220.24,-1952.51 236.76,-1963.93 247,-1979.5 289.52,-2044.18 291.92,-2286.45 291.38,-2372.47"/>
<polygon fill="black" stroke="black" points="287.89,-2372.22 291.3,-2382.25 294.89,-2372.28 287.89,-2372.22"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1981.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_13&#45;&gt;nt_T_a -->
<g id="edge49" class="edge">
<title>pr_13&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M183.64,-1946.18C205.17,-1961.59 232.7,-1985.27 247,-2013.5 278.87,-2076.45 287.98,-2292.96 290.29,-2372.97"/>
<polygon fill="black" stroke="black" points="286.78,-2372.76 290.55,-2382.66 293.78,-2372.57 286.78,-2372.76"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2015.45" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_14&#45;&gt;nt_T__ -->
<g id="edge53" class="edge">
<title>pr_14&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M188.6,-196.37C209.18,-200.34 233.66,-208.93 247,-227.5 248.45,-229.53 284.33,-1546.03 290.19,-1761.37"/>
<polygon fill="black" stroke="black" points="286.69,-1761.24 290.46,-1771.14 293.69,-1761.05 286.69,-1761.24"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-229.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_14&#45;&gt;nt_T_b -->
<g id="edge52" class="edge">
<title>pr_14&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M169.19,-173.91C189.18,-152.01 223.77,-121.77 247,-143.5 293.62,-187.12 292.48,-652.05 291.35,-775.2"/>
<polygon fill="black" stroke="black" points="287.85,-775.1 291.25,-785.14 294.85,-775.18 287.85,-775.1"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-145.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_14&#45;&gt;nt_T_b -->
<g id="edge54" class="edge">
<title>pr_14&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M188.62,-174.46C208.17,-166.99 231.58,-163.12 247,-177.5 291.12,-218.63 291.86,-656.13 291.23,-775.22"/>
<polygon fill="black" stroke="black" points="287.73,-775.1 291.17,-785.12 294.73,-775.14 287.73,-775.1"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-179.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_15&#45;&gt;nt_T__ -->
<g id="edge56" class="edge">
<title>pr_15&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M197.21,-1703.86C213.78,-1699.56 232.19,-1698.56 247,-1707.5 266.49,-1719.26 277.79,-1742.86 284.04,-1761.97"/>
<polygon fill="black" stroke="black" points="280.64,-1762.8 286.81,-1771.41 287.36,-1760.83 280.64,-1762.8"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1709.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_15&#45;&gt;nt_T__ -->
<g id="edge58" class="edge">
<title>pr_15&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M173.7,-1742.23C190.54,-1756.91 215.83,-1776.24 241.75,-1786 245.44,-1787.39 249.39,-1788.44 253.39,-1789.23"/>
<polygon fill="black" stroke="black" points="252.71,-1792.67 263.11,-1790.62 253.7,-1785.74 252.71,-1792.67"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1789.62" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_15&#45;&gt;nt_T__ -->
<g id="edge59" class="edge">
<title>pr_15&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M192.08,-1742.12C213.37,-1752.64 239.46,-1765.54 259.5,-1775.44"/>
<polygon fill="black" stroke="black" points="257.78,-1778.49 268.3,-1779.78 260.88,-1772.21 257.78,-1778.49"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1770.95" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_15&#45;&gt;nt_T__ -->
<g id="edge61" class="edge">
<title>pr_15&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M222.26,-1741.07C230.82,-1744.36 239.27,-1748.16 247,-1752.5 254.54,-1756.74 261.94,-1762.43 268.46,-1768.12"/>
<polygon fill="black" stroke="black" points="265.89,-1770.52 275.61,-1774.74 270.64,-1765.38 265.89,-1770.52"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1754.45" font-family="Helvetica,sans-Serif" font-size="9.00">6</text>
</g>
<!-- pr_15&#45;&gt;nt_T_a -->
<g id="edge62" class="edge">
<title>pr_15&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M174.47,-1742.01C196.89,-1763.64 231.22,-1801.22 247,-1841.5 285.43,-1939.59 290.34,-2270.4 290.93,-2372.64"/>
<polygon fill="black" stroke="black" points="287.43,-2372.45 290.98,-2382.43 294.43,-2372.41 287.43,-2372.45"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1843.45" font-family="Helvetica,sans-Serif" font-size="9.00">7</text>
</g>
<!-- pr_15&#45;&gt;nt_T_b -->
<g id="edge57" class="edge">
<title>pr_15&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M177.57,-1703.85C200.08,-1684.42 232.3,-1652.12 247,-1616 276.89,-1542.55 288.23,-971.93 290.53,-834.64"/>
<polygon fill="black" stroke="black" points="294.03,-834.99 290.69,-824.93 287.03,-834.87 294.03,-834.99"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1628.37" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_15&#45;&gt;nt_T_b -->
<g id="edge60" class="edge">
<title>pr_15&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M186.41,-1703.89C207.79,-1689.56 233.98,-1667.82 247,-1641 282.78,-1567.31 289.66,-975.06 290.8,-834.73"/>
<polygon fill="black" stroke="black" points="294.3,-834.83 290.87,-824.8 287.3,-834.78 294.3,-834.83"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1651.71" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_16&#45;&gt;nt_T__ -->
<g id="edge65" class="edge">
<title>pr_16&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M224.89,-3233.97C233.56,-3228.82 241.34,-3222.29 247,-3214 260.12,-3194.77 264.23,-2399.27 265,-2376 272.02,-2162.94 284.98,-1906.43 289.44,-1820.59"/>
<polygon fill="black" stroke="black" points="292.93,-1820.87 289.96,-1810.7 285.94,-1820.51 292.93,-1820.87"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3222.28" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_16&#45;&gt;nt_T__ -->
<g id="edge67" class="edge">
<title>pr_16&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M191.79,-3233.89C212.12,-3221.54 235.25,-3203.39 247,-3180 267.05,-3140.08 263.51,-2420.65 265,-2376 272.12,-2162.94 285.02,-1906.43 289.45,-1820.59"/>
<polygon fill="black" stroke="black" points="292.94,-1820.87 289.97,-1810.7 285.95,-1820.51 292.94,-1820.87"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3190.21" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_16&#45;&gt;nt_T__ -->
<g id="edge69" class="edge">
<title>pr_16&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M171.7,-3233.76C194.33,-3208.58 231.71,-3161.96 247,-3114 271.91,-3035.85 262.18,-2457.98 265,-2376 272.33,-2162.95 285.1,-1906.43 289.47,-1820.59"/>
<polygon fill="black" stroke="black" points="292.97,-1820.87 289.98,-1810.7 285.97,-1820.51 292.97,-1820.87"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3128.68" font-family="Helvetica,sans-Serif" font-size="9.00">6</text>
</g>
<!-- pr_16&#45;&gt;nt_T_a -->
<g id="edge64" class="edge">
<title>pr_16&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M177.49,-3272.02C198.38,-3286.08 228.14,-3299.94 247,-3282 278.43,-3252.11 288.72,-2583.51 290.65,-2432.93"/>
<polygon fill="black" stroke="black" points="294.14,-2433.42 290.77,-2423.38 287.14,-2433.33 294.14,-2433.42"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3287.13" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_16&#45;&gt;nt_T_a -->
<g id="edge66" class="edge">
<title>pr_16&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M224.66,-3260.19C233.03,-3258.04 240.79,-3254.22 247,-3248 276.37,-3218.59 288.21,-2580.39 290.55,-2433.13"/>
<polygon fill="black" stroke="black" points="294.04,-2433.46 290.7,-2423.41 287.05,-2433.35 294.04,-2433.46"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3253.23" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_16&#45;&gt;nt_T_a -->
<g id="edge68" class="edge">
<title>pr_16&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M161.05,-3271.99C176.75,-3308.36 213.9,-3381.6 247,-3350 280.94,-3317.6 289.33,-2591.37 290.75,-2433.22"/>
<polygon fill="black" stroke="black" points="294.25,-2433.59 290.84,-2423.56 287.25,-2433.53 294.25,-2433.59"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3356.07" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_16&#45;&gt;nt_T_a -->
<g id="edge70" class="edge">
<title>pr_16&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M170.04,-3272.2C190.27,-3293.27 224.48,-3321.45 247,-3300 279.09,-3269.45 288.88,-2585.74 290.68,-2433.05"/>
<polygon fill="black" stroke="black" points="294.17,-2433.39 290.79,-2423.36 287.17,-2433.31 294.17,-2433.39"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3305.28" font-family="Helvetica,sans-Serif" font-size="9.00">7</text>
</g>
<!-- pr_17&#45;&gt;nt_T__ -->
<g id="edge73" class="edge">
<title>pr_17&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M190.04,-1091.9C209.31,-1084.77 231.98,-1081.4 247,-1095.5 271.65,-1118.64 286.8,-1631.67 290.25,-1761.4"/>
<polygon fill="black" stroke="black" points="286.74,-1761.32 290.5,-1771.22 293.74,-1761.13 286.74,-1761.32"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1097.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_17&#45;&gt;nt_T__ -->
<g id="edge75" class="edge">
<title>pr_17&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M206.54,-1109.87C221.69,-1112.32 236.83,-1117.93 247,-1129.5 289.15,-1177.45 291.29,-1639.2 291.11,-1761.44"/>
<polygon fill="black" stroke="black" points="287.61,-1761.28 291.09,-1771.28 294.61,-1761.29 287.61,-1761.28"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1131.45" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_17&#45;&gt;nt_T_a -->
<g id="edge76" class="edge">
<title>pr_17&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M206.98,-1128.07C222.54,-1135.75 237.8,-1146.56 247,-1161.5 266.13,-1192.57 263.69,-1781.54 265,-1818 272.63,-2030.29 285.12,-2285.76 289.46,-2372.49"/>
<polygon fill="black" stroke="black" points="285.96,-2372.49 289.95,-2382.3 292.95,-2372.14 285.96,-2372.49"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1163.45" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_17&#45;&gt;nt_T_b -->
<g id="edge72" class="edge">
<title>pr_17&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M188.95,-1091.98C209.12,-1079.34 233.05,-1060.88 247,-1038 286.35,-973.47 291.89,-881.66 291.87,-834.89"/>
<polygon fill="black" stroke="black" points="295.38,-834.96 291.77,-824.99 288.38,-835.03 295.38,-834.96"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1045.27" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_17&#45;&gt;nt_T_b -->
<g id="edge74" class="edge">
<title>pr_17&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M175.48,-1092.01C197.06,-1072.23 229.18,-1039.24 247,-1004 275.15,-948.34 285.39,-874.99 289.05,-834.69"/>
<polygon fill="black" stroke="black" points="292.53,-835.06 289.86,-824.81 285.55,-834.49 292.53,-835.06"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1012.69" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_18&#45;&gt;nt_T__ -->
<g id="edge78" class="edge">
<title>pr_18&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M204.25,-2344.35C219.83,-2344.32 235.8,-2340.89 247,-2330 283.7,-2294.31 289.8,-1928.23 290.81,-1820.6"/>
<polygon fill="black" stroke="black" points="294.3,-1820.89 290.89,-1810.86 287.3,-1820.83 294.3,-1820.89"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2335.19" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_18&#45;&gt;nt_T__ -->
<g id="edge80" class="edge">
<title>pr_18&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M204.21,-2324.86C220.38,-2319.09 236.71,-2310.07 247,-2296 275.11,-2257.56 287.14,-1923.1 290.19,-1820.68"/>
<polygon fill="black" stroke="black" points="293.68,-1820.99 290.47,-1810.89 286.68,-1820.78 293.68,-1820.99"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2304.14" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_18&#45;&gt;nt_T__ -->
<g id="edge81" class="edge">
<title>pr_18&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M190.69,-2315.86C210.93,-2303.39 234.33,-2285.14 247,-2262 288.85,-2185.55 291.55,-1912.11 291.25,-1820.88"/>
<polygon fill="black" stroke="black" points="294.75,-1820.98 291.2,-1811 287.75,-1821.02 294.75,-1820.98"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2272.07" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_18&#45;&gt;nt_T_a -->
<g id="edge79" class="edge">
<title>pr_18&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M173.7,-2354.23C190.54,-2368.91 215.83,-2388.24 241.75,-2398 245.21,-2399.3 248.89,-2400.31 252.63,-2401.08"/>
<polygon fill="black" stroke="black" points="251.94,-2404.52 262.34,-2402.54 252.97,-2397.59 251.94,-2404.52"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2401.62" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_18&#45;&gt;nt_T_a -->
<g id="edge82" class="edge">
<title>pr_18&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M192.08,-2354.12C213.1,-2364.51 238.8,-2377.21 258.74,-2387.06"/>
<polygon fill="black" stroke="black" points="256.99,-2390.1 267.51,-2391.39 260.09,-2383.82 256.99,-2390.1"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2382.95" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_19&#45;&gt;nt_T__ -->
<g id="edge85" class="edge">
<title>pr_19&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M169.15,-1261.95C189.1,-1240.1 223.64,-1209.91 247,-1231.5 286.14,-1267.68 290.52,-1650.72 290.96,-1761.28"/>
<polygon fill="black" stroke="black" points="287.46,-1761.03 290.99,-1771.02 294.46,-1761.01 287.46,-1761.03"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1233.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_19&#45;&gt;nt_T__ -->
<g id="edge87" class="edge">
<title>pr_19&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M190.39,-1261.86C209.53,-1254.87 231.96,-1251.67 247,-1265.5 283.66,-1299.22 289.79,-1655.4 290.8,-1761.4"/>
<polygon fill="black" stroke="black" points="287.3,-1761.3 290.89,-1771.27 294.3,-1761.24 287.3,-1761.3"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1267.45" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_19&#45;&gt;nt_T_a -->
<g id="edge84" class="edge">
<title>pr_19&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M207.87,-1298.61C223.09,-1306.26 237.93,-1316.92 247,-1331.5 261.29,-1354.46 263.9,-1790.98 265,-1818 273.64,-2030.25 285.5,-2285.74 289.56,-2372.49"/>
<polygon fill="black" stroke="black" points="286.06,-2372.48 290.02,-2382.3 293.05,-2372.15 286.06,-2372.48"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1333.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_19&#45;&gt;nt_T_a -->
<g id="edge88" class="edge">
<title>pr_19&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M207.73,-1286.45C222.74,-1290.7 237.51,-1298.02 247,-1310.5 264.08,-1332.95 263.87,-1789.81 265,-1818 273.48,-2030.25 285.44,-2285.74 289.55,-2372.49"/>
<polygon fill="black" stroke="black" points="286.04,-2372.48 290.01,-2382.3 293.03,-2372.15 286.04,-2372.48"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1312.45" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_19&#45;&gt;nt_T_b -->
<g id="edge86" class="edge">
<title>pr_19&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M176.64,-1262C198.79,-1242.45 231.04,-1209.86 247,-1174 274.08,-1113.16 286.1,-910.46 289.74,-834.28"/>
<polygon fill="black" stroke="black" points="293.21,-834.84 290.18,-824.69 286.22,-834.52 293.21,-834.84"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1186.24" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_20&#45;&gt;nt_T__ -->
<g id="edge91" class="edge">
<title>pr_20&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M177.5,-2728.04C198.4,-2742.11 228.17,-2755.98 247,-2738 249.13,-2735.97 282.6,-1981.18 289.69,-1820.75"/>
<polygon fill="black" stroke="black" points="293.17,-1821.11 290.12,-1810.96 286.18,-1820.8 293.17,-1821.11"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2743.14" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_20&#45;&gt;nt_T__ -->
<g id="edge93" class="edge">
<title>pr_20&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M207.88,-2718.5C222.35,-2718 236.78,-2714.27 247,-2704 250.99,-2699.99 282.86,-1976.91 289.71,-1820.58"/>
<polygon fill="black" stroke="black" points="293.2,-1820.81 290.14,-1810.66 286.21,-1820.5 293.2,-1820.81"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2709.24" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_20&#45;&gt;nt_T_a -->
<g id="edge92" class="edge">
<title>pr_20&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M165.95,-2728.12C184.66,-2754.3 220.48,-2795.54 247,-2772 272.23,-2749.6 285.61,-2517.37 289.66,-2433.23"/>
<polygon fill="black" stroke="black" points="293.14,-2433.6 290.12,-2423.44 286.15,-2433.27 293.14,-2433.6"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2777.34" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_20&#45;&gt;nt_T_b -->
<g id="edge90" class="edge">
<title>pr_20&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M183.51,-2689.8C205.58,-2673.84 233.88,-2648.94 247,-2619 266.07,-2575.49 263.86,-1811.5 265,-1764 273.83,-1397.34 286.71,-951.89 290.14,-834.5"/>
<polygon fill="black" stroke="black" points="293.62,-834.89 290.42,-824.8 286.63,-834.69 293.62,-834.89"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2630.29" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_20&#45;&gt;nt_T_b -->
<g id="edge94" class="edge">
<title>pr_20&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M196.55,-2689.93C215.58,-2679.1 236.08,-2663.55 247,-2643 269.93,-2599.87 263.84,-1812.83 265,-1764 273.72,-1397.34 286.68,-951.89 290.13,-834.5"/>
<polygon fill="black" stroke="black" points="293.62,-834.89 290.41,-824.8 286.62,-834.69 293.62,-834.89"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2652.78" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_21&#45;&gt;nt_T__ -->
<g id="edge97" class="edge">
<title>pr_21&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M173.93,-2894.02C196.56,-2871.65 231.76,-2832.15 247,-2790 262.66,-2746.7 262.98,-2422 265,-2376 274.36,-2163.03 285.83,-1906.46 289.67,-1820.6"/>
<polygon fill="black" stroke="black" points="293.17,-1820.85 290.12,-1810.71 286.17,-1820.54 293.17,-1820.85"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2803.5" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_21&#45;&gt;nt_T__ -->
<g id="edge99" class="edge">
<title>pr_21&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M223.86,-2894.43C232.92,-2889.21 241.08,-2882.54 247,-2874 262.77,-2851.25 263.89,-2403.66 265,-2376 273.58,-2163 285.55,-1906.45 289.6,-1820.6"/>
<polygon fill="black" stroke="black" points="293.09,-1820.86 290.06,-1810.71 286.1,-1820.53 293.09,-1820.86"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2882.25" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_21&#45;&gt;nt_T__ -->
<g id="edge101" class="edge">
<title>pr_21&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M180.69,-2893.83C203.02,-2876.4 233.1,-2848.49 247,-2816 266.25,-2771.01 262.91,-2424.89 265,-2376 274.09,-2163.02 285.73,-1906.46 289.65,-1820.6"/>
<polygon fill="black" stroke="black" points="293.14,-1820.86 290.1,-1810.71 286.15,-1820.54 293.14,-1820.86"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2827.72" font-family="Helvetica,sans-Serif" font-size="9.00">6</text>
</g>
<!-- pr_21&#45;&gt;nt_T_a -->
<g id="edge96" class="edge">
<title>pr_21&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M165.76,-2931.82C184.55,-2958.17 220.84,-3000.23 247,-2976 287.04,-2938.92 290.78,-2546.73 291.02,-2433.47"/>
<polygon fill="black" stroke="black" points="294.52,-2433.74 291.03,-2423.74 287.52,-2433.74 294.52,-2433.74"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2981.42" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_21&#45;&gt;nt_T_a -->
<g id="edge98" class="edge">
<title>pr_21&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M177.76,-2932.15C198.54,-2946.02 227.98,-2959.53 247,-2942 284.56,-2907.38 290.06,-2542.14 290.86,-2433.39"/>
<polygon fill="black" stroke="black" points="294.36,-2433.53 290.93,-2423.5 287.36,-2433.48 294.36,-2433.53"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2947.08" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_21&#45;&gt;nt_T_a -->
<g id="edge100" class="edge">
<title>pr_21&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M223.52,-2920.22C232.28,-2918.14 240.45,-2914.34 247,-2908 281.19,-2874.94 289.01,-2537.57 290.62,-2433.44"/>
<polygon fill="black" stroke="black" points="294.12,-2433.76 290.76,-2423.71 287.12,-2433.66 294.12,-2433.76"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2913.18" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_21&#45;&gt;nt_T_a -->
<g id="edge102" class="edge">
<title>pr_21&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M163,-2932.17C180.19,-2964.01 217.15,-3021.71 247,-2994 288.33,-2955.63 291.14,-2549.45 291.1,-2433.65"/>
<polygon fill="black" stroke="black" points="294.6,-2433.69 291.08,-2423.7 287.6,-2433.7 294.6,-2433.69"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2999.71" font-family="Helvetica,sans-Serif" font-size="9.00">7</text>
</g>
<!-- pr_22&#45;&gt;nt_T__ -->
<g id="edge105" class="edge">
<title>pr_22&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M188.86,-1568.89C208.01,-1561.89 230.94,-1558.34 247,-1571.5 275.93,-1595.2 286.23,-1707.31 289.56,-1761.51"/>
<polygon fill="black" stroke="black" points="286.05,-1761.46 290.11,-1771.24 293.04,-1761.06 286.05,-1761.46"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1573.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_22&#45;&gt;nt_T_a -->
<g id="edge106" class="edge">
<title>pr_22&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M188.82,-1584.22C208.95,-1584.73 232.87,-1589.24 247,-1605.5 259.83,-1620.26 284.23,-2228.74 289.83,-2372.7"/>
<polygon fill="black" stroke="black" points="286.33,-2372.7 290.22,-2382.56 293.33,-2372.43 286.33,-2372.7"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1607.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_22&#45;&gt;nt_T_b -->
<g id="edge104" class="edge">
<title>pr_22&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M188.59,-1569.43C209.44,-1557 234.21,-1538.25 247,-1514 279.05,-1453.23 288.64,-961.08 290.59,-834.56"/>
<polygon fill="black" stroke="black" points="294.09,-834.74 290.74,-824.68 287.09,-834.63 294.09,-834.74"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1524.13" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_23&#45;&gt;nt_T__ -->
<g id="edge109" class="edge">
<title>pr_23&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M191.1,-1431.76C209.97,-1425.08 231.94,-1422.19 247,-1435.5 271.32,-1457 285.24,-1679.88 289.54,-1761.37"/>
<polygon fill="black" stroke="black" points="286.04,-1761.44 290.05,-1771.25 293.03,-1761.08 286.04,-1761.44"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1437.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_23&#45;&gt;nt_T__ -->
<g id="edge111" class="edge">
<title>pr_23&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M175.46,-1431.77C196.12,-1416.17 226.74,-1399.49 247,-1417.5 272.64,-1440.29 285.83,-1677.39 289.74,-1761.56"/>
<polygon fill="black" stroke="black" points="286.23,-1761.48 290.18,-1771.31 293.22,-1761.16 286.23,-1761.48"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1419.45" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_23&#45;&gt;nt_T_a -->
<g id="edge108" class="edge">
<title>pr_23&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M206.79,-1468.19C222.34,-1475.88 237.64,-1486.66 247,-1501.5 249.97,-1506.22 282.5,-2216.46 289.63,-2372.8"/>
<polygon fill="black" stroke="black" points="286.11,-2372.52 290.06,-2382.35 293.1,-2372.2 286.11,-2372.52"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1503.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_23&#45;&gt;nt_T_a -->
<g id="edge110" class="edge">
<title>pr_23&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M206.65,-1456.25C222,-1460.46 237.22,-1467.81 247,-1480.5 250.49,-1485.03 282.68,-2213.6 289.67,-2372.59"/>
<polygon fill="black" stroke="black" points="286.16,-2372.49 290.09,-2382.32 293.15,-2372.18 286.16,-2372.49"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1482.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_23&#45;&gt;nt_T_b -->
<g id="edge112" class="edge">
<title>pr_23&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M177.35,-1431.76C199.7,-1412.26 231.81,-1379.92 247,-1344 286.33,-1251.02 290.63,-933.89 291,-834.82"/>
<polygon fill="black" stroke="black" points="294.5,-834.86 291.03,-824.86 287.5,-834.85 294.5,-834.86"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-1356.32" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_24&#45;&gt;nt_T__ -->
<g id="edge115" class="edge">
<title>pr_24&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M187.54,-97.29C208.25,-100.03 233.26,-107.26 247,-125.5 258.81,-141.18 264.48,-812.38 265,-832 274.64,-1198.64 286.93,-1644.1 290.18,-1761.5"/>
<polygon fill="black" stroke="black" points="286.68,-1761.3 290.45,-1771.2 293.67,-1761.11 286.68,-1761.3"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-127.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_24&#45;&gt;nt_T_b -->
<g id="edge114" class="edge">
<title>pr_24&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M180.21,-76.91C205.88,-59.2 241.5,-36.3 247,-41.5 274.18,-67.16 287.59,-638.52 290.42,-775.62"/>
<polygon fill="black" stroke="black" points="286.92,-775.38 290.62,-785.31 293.92,-775.24 286.92,-775.38"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-43.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_24&#45;&gt;nt_T_b -->
<g id="edge116" class="edge">
<title>pr_24&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M184.06,-76.92C204.38,-66.95 230.28,-59.76 247,-75.5 272.89,-99.88 287.19,-641.31 290.33,-775.24"/>
<polygon fill="black" stroke="black" points="286.83,-775.14 290.56,-785.05 293.83,-774.98 286.83,-775.14"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-77.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_25&#45;&gt;nt_T__ -->
<g id="edge119" class="edge">
<title>pr_25&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M187.74,-2581.36C207.74,-2584.01 231.9,-2583.05 247,-2568 260.5,-2554.55 284.39,-1960.92 289.86,-1820.53"/>
<polygon fill="black" stroke="black" points="293.36,-1820.73 290.25,-1810.6 286.36,-1820.46 293.36,-1820.73"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2573.23" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_25&#45;&gt;nt_T_a -->
<g id="edge118" class="edge">
<title>pr_25&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M178,-2592.02C198.38,-2605.28 227.1,-2617.98 247,-2602 272.87,-2581.23 284.45,-2484.09 288.79,-2433.63"/>
<polygon fill="black" stroke="black" points="292.28,-2433.92 289.6,-2423.67 285.3,-2433.36 292.28,-2433.92"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2606.83" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_25&#45;&gt;nt_T_b -->
<g id="edge120" class="edge">
<title>pr_25&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M187.72,-2562.1C208.79,-2553.45 234.12,-2539.09 247,-2517 268.08,-2480.85 263.93,-1805.83 265,-1764 274.35,-1397.36 286.85,-951.89 290.17,-834.5"/>
<polygon fill="black" stroke="black" points="293.66,-834.89 290.44,-824.8 286.66,-834.69 293.66,-834.89"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2526.19" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_26&#45;&gt;nt_T__ -->
<g id="edge123" class="edge">
<title>pr_26&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M187.47,-276.77C207.36,-268.87 231.52,-264.46 247,-279.5 250.45,-282.85 284.56,-1550.5 290.21,-1761.42"/>
<polygon fill="black" stroke="black" points="286.7,-1761.33 290.47,-1771.23 293.7,-1761.14 286.7,-1761.33"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-281.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_26&#45;&gt;nt_T_a -->
<g id="edge124" class="edge">
<title>pr_26&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M187.51,-309.31C208.78,-320.22 234.41,-337.48 247,-361.5 265.78,-397.34 263.85,-1777.55 265,-1818 271.03,-2030.34 284.54,-2285.77 289.3,-2372.5"/>
<polygon fill="black" stroke="black" points="285.79,-2372.52 289.84,-2382.31 292.78,-2372.13 285.79,-2372.52"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-363.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_26&#45;&gt;nt_T_b -->
<g id="edge122" class="edge">
<title>pr_26&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M169.15,-275.95C189.1,-254.1 223.64,-223.91 247,-245.5 286.14,-281.68 290.52,-664.72 290.96,-775.28"/>
<polygon fill="black" stroke="black" points="287.46,-775.03 290.99,-785.02 294.46,-775.01 287.46,-775.03"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-247.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_27&#45;&gt;nt_T__ -->
<g id="edge126" class="edge">
<title>pr_27&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M186,-2460.13C207.2,-2451.24 233.34,-2436.43 247,-2414 278.13,-2362.91 288.29,-1936.92 290.5,-1820.37"/>
<polygon fill="black" stroke="black" points="293.99,-1820.77 290.67,-1810.7 286.99,-1820.64 293.99,-1820.77"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2423.16" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_27&#45;&gt;nt_T__ -->
<g id="edge128" class="edge">
<title>pr_27&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M186.05,-2467.7C206.98,-2463.74 232.79,-2455.06 247,-2436 284.09,-2386.24 289.93,-1941.02 290.84,-1820.8"/>
<polygon fill="black" stroke="black" points="294.34,-1820.83 290.91,-1810.81 287.34,-1820.78 294.34,-1820.83"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2443.98" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_27&#45;&gt;nt_T_a -->
<g id="edge127" class="edge">
<title>pr_27&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M179.22,-2490.17C198.98,-2502.29 226.26,-2513.37 247,-2500 269.77,-2485.33 280.88,-2455.69 286.23,-2433.02"/>
<polygon fill="black" stroke="black" points="289.62,-2433.9 288.23,-2423.39 282.77,-2432.48 289.62,-2433.9"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-2504.42" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_28&#45;&gt;nt_T__ -->
<g id="edge131" class="edge">
<title>pr_28&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M189.74,-445.9C209.17,-438.59 232.08,-435.06 247,-449.5 253.1,-455.41 284.61,-1564.19 290.16,-1761.23"/>
<polygon fill="black" stroke="black" points="286.66,-1761.22 290.44,-1771.12 293.66,-1761.03 286.66,-1761.22"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-451.45" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_28&#45;&gt;nt_T__ -->
<g id="edge133" class="edge">
<title>pr_28&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M208.43,-484.01C223.48,-491.96 238.08,-502.86 247,-517.5 255.37,-531.24 284.86,-1571.72 290.18,-1761.47"/>
<polygon fill="black" stroke="black" points="286.67,-1761.31 290.45,-1771.21 293.67,-1761.11 286.67,-1761.31"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-519.45" font-family="Helvetica,sans-Serif" font-size="9.00">4</text>
</g>
<!-- pr_28&#45;&gt;nt_T__ -->
<g id="edge135" class="edge">
<title>pr_28&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M224.98,-477.75C233.53,-482.09 241.25,-487.85 247,-495.5 256.84,-508.58 285.16,-1568.88 290.22,-1761.24"/>
<polygon fill="black" stroke="black" points="286.72,-1761.22 290.48,-1771.13 293.72,-1761.04 286.72,-1761.22"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-497.45" font-family="Helvetica,sans-Serif" font-size="9.00">6</text>
</g>
<!-- pr_28&#45;&gt;nt_T_a -->
<g id="edge134" class="edge">
<title>pr_28&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M174.96,-484.02C197.81,-505.71 232.51,-543.5 247,-584.5 269.83,-649.12 262.98,-1749.49 265,-1818 271.27,-2030.33 284.62,-2285.77 289.32,-2372.5"/>
<polygon fill="black" stroke="black" points="285.82,-2372.51 289.86,-2382.31 292.81,-2372.13 285.82,-2372.51"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-586.45" font-family="Helvetica,sans-Serif" font-size="9.00">5</text>
</g>
<!-- pr_28&#45;&gt;nt_T_b -->
<g id="edge130" class="edge">
<title>pr_28&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M169.04,-446.08C188.86,-424.36 223.28,-394.31 247,-415.5 273.75,-439.4 286.29,-688.17 289.87,-775.17"/>
<polygon fill="black" stroke="black" points="286.37,-775.19 290.27,-785.04 293.37,-774.91 286.37,-775.19"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-417.45" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_28&#45;&gt;nt_T_b -->
<g id="edge132" class="edge">
<title>pr_28&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M164.92,-446.14C183.2,-418.51 219.56,-372.87 247,-397.5 275.07,-422.7 286.82,-685.69 290.04,-775.29"/>
<polygon fill="black" stroke="black" points="286.54,-775.36 290.38,-785.23 293.53,-775.11 286.54,-775.36"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-399.45" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
<!-- pr_28&#45;&gt;nt_T_b -->
<g id="edge136" class="edge">
<title>pr_28&#45;&gt;nt_T_b</title>
<path fill="none" stroke="black" d="M162.38,-445.82C179.03,-412.79 215.78,-351.34 247,-379.5 276.39,-406.01 287.34,-683.43 290.19,-775.49"/>
<polygon fill="black" stroke="black" points="286.68,-775.33 290.48,-785.22 293.68,-775.12 286.68,-775.33"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-381.45" font-family="Helvetica,sans-Serif" font-size="9.00">7</text>
</g>
<!-- pr_29&#45;&gt;nt_T__ -->
<g id="edge139" class="edge">
<title>pr_29&#45;&gt;nt_T__</title>
<path fill="none" stroke="black" d="M187.44,-3067.09C208.68,-3055.17 234.31,-3036.67 247,-3012 263.17,-2980.57 263.72,-2411.32 265,-2376 272.75,-2162.97 285.25,-1906.44 289.52,-1820.59"/>
<polygon fill="black" stroke="black" points="293.01,-1820.87 290.01,-1810.7 286.02,-1820.52 293.01,-1820.87"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3022.07" font-family="Helvetica,sans-Serif" font-size="9.00">2</text>
</g>
<!-- pr_29&#45;&gt;nt_T_a -->
<g id="edge138" class="edge">
<title>pr_29&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M187.69,-3091.31C207.67,-3093.95 231.83,-3092.99 247,-3078 293.33,-3032.21 292.4,-2558.81 291.33,-2433.37"/>
<polygon fill="black" stroke="black" points="294.83,-2433.5 291.24,-2423.53 287.83,-2433.57 294.83,-2433.5"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3083.21" font-family="Helvetica,sans-Serif" font-size="9.00">1</text>
</g>
<!-- pr_29&#45;&gt;nt_T_a -->
<g id="edge140" class="edge">
<title>pr_29&#45;&gt;nt_T_a</title>
<path fill="none" stroke="black" d="M187.79,-3099.96C207.54,-3107.02 231.44,-3110.6 247,-3096 271.51,-3073 286.71,-2563.97 290.22,-2433.33"/>
<polygon fill="black" stroke="black" points="293.72,-2433.51 290.48,-2423.42 286.72,-2433.32 293.72,-2433.51"/>
<text xml:space="preserve" text-anchor="middle" x="244.38" y="-3101.07" font-family="Helvetica,sans-Serif" font-size="9.00">3</text>
</g>
</g>
</svg>