examples/track_RC2020.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.44.1 (20200629.0846)
 -->
<!-- Title: track Pages: 1 -->
<svg width="1742pt" height="490pt"
 viewBox="0.00 0.00 1742.00 490.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 486)">
<title>track</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-486 1738,-486 1738,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<polygon fill="none" stroke="black" stroke-width="2" points="14.5,-312 14.5,-370 49.5,-370 49.5,-312 14.5,-312"/>
<text text-anchor="start" x="21.5" y="-331" font-family="Times,serif" font-size="40.00">0</text>
<polygon fill="none" stroke="black" stroke-width="2" points="51.5,-312 51.5,-370 173.5,-370 173.5,-312 51.5,-312"/>
<text text-anchor="start" x="58.5" y="-331" font-family="Times,serif" font-size="40.00">MAIN</text>
<polygon fill="none" stroke="black" stroke-width="2" points="14.5,-252 14.5,-310 173.5,-310 173.5,-252 14.5,-252"/>
<text text-anchor="start" x="39.5" y="-271" font-family="Times,serif" font-size="40.00">L0 0&#45;0</text>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<polygon fill="none" stroke="black" stroke-width="2" points="9.5,-166 9.5,-224 44.5,-224 44.5,-166 9.5,-166"/>
<text text-anchor="start" x="16.5" y="-185" font-family="Times,serif" font-size="40.00">1</text>
<polygon fill="none" stroke="black" stroke-width="2" points="46.5,-166 46.5,-224 178.5,-224 178.5,-166 46.5,-166"/>
<text text-anchor="start" x="53.5" y="-185" font-family="Times,serif" font-size="40.00">[|{|a|}|]</text>
<polygon fill="none" stroke="black" stroke-width="2" points="9.5,-106 9.5,-164 178.5,-164 178.5,-106 9.5,-106"/>
<text text-anchor="start" x="19" y="-125" font-family="Times,serif" font-size="40.00">L3 10&#45;19</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>0:p&#45;&gt;1:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M93.5,-235.55C93.5,-240.58 93.5,-245.63 93.5,-250.6"/>
<polygon fill="black" stroke="black" stroke-width="5" points="97.88,-235.27 93.5,-225.27 89.13,-235.27 97.88,-235.27"/>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<polygon fill="none" stroke="black" stroke-width="2" points="253,-240 253,-298 312,-298 312,-240 253,-240"/>
<text text-anchor="start" x="272" y="-259" font-family="Times,serif" font-size="40.00">2</text>
<polygon fill="none" stroke="black" stroke-width="2" points="314,-240 314,-298 376,-298 376,-240 314,-240"/>
<text text-anchor="start" x="333.5" y="-259" font-family="Times,serif" font-size="40.00">P</text>
<polygon fill="none" stroke="black" stroke-width="2" points="253,-180 253,-238 376,-238 376,-180 253,-180"/>
<text text-anchor="start" x="260" y="-199" font-family="Times,serif" font-size="40.00">L3 8&#45;9</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge8" class="edge">
<title>1:p&#45;&gt;2:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M179.29,-193.72C199.91,-200.7 221.75,-208.1 241.67,-214.84"/>
<polygon fill="black" stroke="black" stroke-width="5" points="240.41,-219.03 251.29,-218.1 243.22,-210.75 240.41,-219.03"/>
</g>
<!-- 5 -->
<g id="node6" class="node">
<title>5</title>
<polygon fill="none" stroke="black" stroke-width="2" points="232,-93 232,-151 308,-151 308,-93 232,-93"/>
<text text-anchor="start" x="259.5" y="-112" font-family="Times,serif" font-size="40.00">5</text>
<polygon fill="none" stroke="black" stroke-width="2" points="310,-93 310,-151 396,-151 396,-93 310,-93"/>
<text text-anchor="start" x="338" y="-112" font-family="Times,serif" font-size="40.00">Q</text>
<polygon fill="none" stroke="black" stroke-width="2" points="232,-33 232,-91 396,-91 396,-33 232,-33"/>
<text text-anchor="start" x="239" y="-52" font-family="Times,serif" font-size="40.00">L3 20&#45;21</text>
</g>
<!-- 1&#45;&gt;5 -->
<g id="edge2" class="edge">
<title>1:p&#45;&gt;5:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M179.29,-136.67C193.03,-132.08 207.32,-127.31 221.22,-122.66"/>
<polygon fill="black" stroke="black" stroke-width="5" points="222.67,-126.79 230.77,-119.47 219.9,-118.49 222.67,-126.79"/>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<polygon fill="none" stroke="black" stroke-width="2" points="450.5,-261 450.5,-319 485.5,-319 485.5,-261 450.5,-261"/>
<text text-anchor="start" x="457.5" y="-280" font-family="Times,serif" font-size="40.00">3</text>
<polygon fill="none" stroke="black" stroke-width="2" points="487.5,-261 487.5,-319 619.5,-319 619.5,-261 487.5,-261"/>
<text text-anchor="start" x="494.5" y="-280" font-family="Times,serif" font-size="40.00">[|{|a|}|]</text>
<polygon fill="none" stroke="black" stroke-width="2" points="450.5,-201 450.5,-259 619.5,-259 619.5,-201 450.5,-201"/>
<text text-anchor="start" x="470" y="-220" font-family="Times,serif" font-size="40.00">L4 7&#45;16</text>
</g>
<!-- 2&#45;&gt;3 -->
<g id="edge9" class="edge">
<title>2:p&#45;&gt;3:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M376.74,-244.93C395.93,-246.78 417.56,-248.86 438.48,-250.87"/>
<polygon fill="black" stroke="black" stroke-width="5" points="438.3,-255.25 448.68,-251.85 439.14,-246.54 438.3,-255.25"/>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<polygon fill="none" stroke="black" stroke-width="2" points="697,-413 697,-471 754,-471 754,-413 697,-413"/>
<text text-anchor="start" x="715" y="-432" font-family="Times,serif" font-size="40.00">4</text>
<polygon fill="none" stroke="black" stroke-width="2" points="756,-413 756,-471 820,-471 820,-413 756,-413"/>
<text text-anchor="start" x="774" y="-432" font-family="Times,serif" font-size="40.00">R</text>
<polygon fill="none" stroke="black" stroke-width="2" points="697,-353 697,-411 820,-411 820,-353 697,-353"/>
<text text-anchor="start" x="704" y="-372" font-family="Times,serif" font-size="40.00">L4 5&#45;6</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge10" class="edge">
<title>3:p&#45;&gt;4:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M620.19,-318.12C642.29,-333.28 665.86,-349.46 687.1,-364.03"/>
<polygon fill="black" stroke="black" stroke-width="5" points="684.71,-367.7 695.43,-369.75 689.66,-360.48 684.71,-367.7"/>
</g>
<!-- 9 -->
<g id="node10" class="node">
<title>9</title>
<polygon fill="none" stroke="black" stroke-width="5" points="674.5,-262.5 674.5,-323.5 756.5,-323.5 756.5,-262.5 674.5,-262.5"/>
<text text-anchor="start" x="705" y="-283" font-family="Times,serif" font-size="40.00">6</text>
<polygon fill="none" stroke="black" stroke-width="5" points="761.5,-262.5 761.5,-323.5 841.5,-323.5 841.5,-262.5 761.5,-262.5"/>
<text text-anchor="start" x="792" y="-283" font-family="Times,serif" font-size="40.00">a</text>
<polygon fill="none" stroke="black" stroke-width="5" points="674.5,-196.5 674.5,-257.5 841.5,-257.5 841.5,-196.5 674.5,-196.5"/>
<text text-anchor="start" x="683" y="-217" font-family="Times,serif" font-size="40.00">L4 17&#45;18</text>
</g>
<!-- 3&#45;&gt;9 -->
<g id="edge14" class="edge">
<title>3:p&#45;&gt;9:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M620.19,-260C633.85,-260 648.07,-260 661.95,-260"/>
<polygon fill="black" stroke="black" stroke-width="5" points="661.99,-264.38 671.99,-260 661.99,-255.63 661.99,-264.38"/>
</g>
<!-- 6 -->
<g id="node7" class="node">
<title>6</title>
<polygon fill="none" stroke="black" stroke-width="5" points="918.5,-414.5 918.5,-475.5 979.5,-475.5 979.5,-414.5 918.5,-414.5"/>
<text text-anchor="start" x="938.5" y="-435" font-family="Times,serif" font-size="40.00">6</text>
<polygon fill="none" stroke="black" stroke-width="5" points="984.5,-414.5 984.5,-475.5 1044.5,-475.5 1044.5,-414.5 984.5,-414.5"/>
<text text-anchor="start" x="1005" y="-435" font-family="Times,serif" font-size="40.00">a</text>
<polygon fill="none" stroke="black" stroke-width="5" points="918.5,-348.5 918.5,-409.5 1044.5,-409.5 1044.5,-348.5 918.5,-348.5"/>
<text text-anchor="start" x="927" y="-369" font-family="Times,serif" font-size="40.00">L5 5&#45;6</text>
</g>
<!-- 4&#45;&gt;6 -->
<g id="edge11" class="edge">
<title>4:p&#45;&gt;6:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M820.56,-412C846.72,-412 877.47,-412 904.95,-412"/>
<polygon fill="black" stroke="black" stroke-width="5" points="905.3,-416.38 915.3,-412 905.3,-407.63 905.3,-416.38"/>
</g>
<!-- 11 -->
<g id="node12" class="node">
<title>11</title>
<polygon fill="none" stroke="black" stroke-width="5" points="472,-91.5 472,-152.5 533,-152.5 533,-91.5 472,-91.5"/>
<text text-anchor="start" x="492" y="-112" font-family="Times,serif" font-size="40.00">6</text>
<polygon fill="none" stroke="black" stroke-width="5" points="538,-91.5 538,-152.5 598,-152.5 598,-91.5 538,-91.5"/>
<text text-anchor="start" x="558.5" y="-112" font-family="Times,serif" font-size="40.00">a</text>
<polygon fill="none" stroke="black" stroke-width="5" points="472,-25.5 472,-86.5 598,-86.5 598,-25.5 472,-25.5"/>
<text text-anchor="start" x="480.5" y="-46" font-family="Times,serif" font-size="40.00">L6 5&#45;6</text>
</g>
<!-- 5&#45;&gt;11 -->
<g id="edge3" class="edge">
<title>5:p&#45;&gt;11:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M397.29,-90.87C417.49,-90.59 438.99,-90.3 458.8,-90.03"/>
<polygon fill="black" stroke="black" stroke-width="5" points="459.05,-94.4 468.99,-89.89 458.93,-85.65 459.05,-94.4"/>
</g>
<!-- 7 -->
<g id="node8" class="node">
<title>7</title>
<polygon fill="none" stroke="black" stroke-width="2" points="1140,-413 1140,-471 1191,-471 1191,-413 1140,-413"/>
<text text-anchor="start" x="1155" y="-432" font-family="Times,serif" font-size="40.00">7</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1193,-413 1193,-471 1263,-471 1263,-413 1193,-413"/>
<text text-anchor="start" x="1208" y="-432" font-family="Times,serif" font-size="40.00">→</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1140,-353 1140,-411 1263,-411 1263,-353 1140,-353"/>
<text text-anchor="start" x="1147" y="-372" font-family="Times,serif" font-size="40.00">L5 7&#45;9</text>
</g>
<!-- 6&#45;&gt;7 -->
<g id="edge12" class="edge">
<title>6:p&#45;&gt;7:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M1046.52,-412C1072.13,-412 1101.68,-412 1127.98,-412"/>
<polygon fill="black" stroke="black" stroke-width="5" points="1128.26,-416.38 1138.26,-412 1128.26,-407.63 1128.26,-416.38"/>
</g>
<!-- 6&#45;&gt;11 -->
<g id="edge20" class="edge">
<title>6:p&#45;&gt;11:p</title>
<path fill="none" stroke="red" stroke-width="6" stroke-dasharray="5,2" d="M915.13,-365.66C904.84,-355.87 895.23,-344.87 888,-333 851.9,-273.7 901.9,-229.27 852,-181 790.73,-121.73 745.47,-168.08 664,-143 642.84,-136.49 620.39,-127.73 600.27,-119.17"/>
</g>
<!-- 8 -->
<g id="node9" class="node">
<title>8</title>
<polygon fill="none" stroke="black" stroke-width="2" points="1340,-413 1340,-471 1387,-471 1387,-413 1340,-413"/>
<text text-anchor="start" x="1353" y="-432" font-family="Times,serif" font-size="40.00">8</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1389,-413 1389,-471 1504,-471 1504,-413 1389,-413"/>
<text text-anchor="start" x="1402.5" y="-432" font-family="Times,serif" font-size="40.00">SKIP</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1340,-353 1340,-411 1504,-411 1504,-353 1340,-353"/>
<text text-anchor="start" x="1347" y="-372" font-family="Times,serif" font-size="40.00">L5 10&#45;14</text>
</g>
<!-- 7&#45;&gt;8 -->
<g id="edge13" class="edge">
<title>7:p&#45;&gt;8:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M1263.59,-412C1283.77,-412 1306.67,-412 1328.62,-412"/>
<polygon fill="black" stroke="black" stroke-width="5" points="1328.62,-416.38 1338.62,-412 1328.62,-407.63 1328.62,-416.38"/>
</g>
<!-- 9&#45;&gt;6 -->
<g id="edge22" class="edge">
<title>9:p&#45;&gt;6:p</title>
<path fill="none" stroke="red" stroke-width="6" stroke-dasharray="5,2" d="M844.13,-318.55C867.72,-334.77 892.94,-352.12 915.17,-367.41"/>
</g>
<!-- 10 -->
<g id="node11" class="node">
<title>10</title>
<polygon fill="none" stroke="black" stroke-width="2" points="899,-261 899,-319 970,-319 970,-261 899,-261"/>
<text text-anchor="start" x="924" y="-280" font-family="Times,serif" font-size="40.00">7</text>
<polygon fill="none" stroke="black" stroke-width="2" points="972,-261 972,-319 1063,-319 1063,-261 972,-261"/>
<text text-anchor="start" x="997.5" y="-280" font-family="Times,serif" font-size="40.00">→</text>
<polygon fill="none" stroke="black" stroke-width="2" points="899,-201 899,-259 1063,-259 1063,-201 899,-201"/>
<text text-anchor="start" x="906" y="-220" font-family="Times,serif" font-size="40.00">L4 19&#45;22</text>
</g>
<!-- 9&#45;&gt;10 -->
<g id="edge15" class="edge">
<title>9:p&#45;&gt;10:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M844.13,-260C858.32,-260 873.09,-260 887.46,-260"/>
<polygon fill="black" stroke="black" stroke-width="5" points="887.82,-264.38 897.82,-260 887.82,-255.63 887.82,-264.38"/>
</g>
<!-- 13 -->
<g id="node14" class="node">
<title>13</title>
<polygon fill="none" stroke="black" stroke-width="2" points="1119,-261 1119,-319 1159,-319 1159,-261 1119,-261"/>
<text text-anchor="start" x="1128.5" y="-280" font-family="Times,serif" font-size="40.00">9</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1161,-261 1161,-319 1283,-319 1283,-261 1161,-261"/>
<text text-anchor="start" x="1170.5" y="-280" font-family="Times,serif" font-size="40.00">|~|.left</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1119,-201 1119,-259 1283,-259 1283,-201 1119,-201"/>
<text text-anchor="start" x="1126" y="-220" font-family="Times,serif" font-size="40.00">L4 34&#45;42</text>
</g>
<!-- 10&#45;&gt;13 -->
<g id="edge16" class="edge">
<title>10:p&#45;&gt;13:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M1064.11,-260C1078.42,-260 1093.4,-260 1107.96,-260"/>
<polygon fill="black" stroke="black" stroke-width="5" points="1107.97,-264.38 1117.97,-260 1107.97,-255.63 1107.97,-264.38"/>
</g>
<!-- 11&#45;&gt;9 -->
<g id="edge21" class="edge">
<title>11:p&#45;&gt;9:p</title>
<path fill="none" stroke="red" stroke-width="6" stroke-dasharray="5,2" d="M600.16,-138.92C622.51,-156.17 647.9,-175.78 671.65,-194.11"/>
</g>
<!-- 12 -->
<g id="node13" class="node">
<title>12</title>
<polygon fill="none" stroke="black" stroke-width="2" points="697,-71 697,-129 748,-129 748,-71 697,-71"/>
<text text-anchor="start" x="712" y="-90" font-family="Times,serif" font-size="40.00">7</text>
<polygon fill="none" stroke="black" stroke-width="2" points="750,-71 750,-129 820,-129 820,-71 750,-71"/>
<text text-anchor="start" x="765" y="-90" font-family="Times,serif" font-size="40.00">→</text>
<polygon fill="none" stroke="black" stroke-width="2" points="697,-11 697,-69 820,-69 820,-11 697,-11"/>
<text text-anchor="start" x="704" y="-30" font-family="Times,serif" font-size="40.00">L6 7&#45;9</text>
</g>
<!-- 11&#45;&gt;12 -->
<g id="edge4" class="edge">
<title>11:p&#45;&gt;12:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M600.16,-83.45C626.77,-81.17 657.7,-78.52 685.02,-76.17"/>
<polygon fill="black" stroke="black" stroke-width="5" points="685.71,-80.51 695.3,-75.29 684.97,-71.79 685.71,-80.51"/>
</g>
<!-- 14 -->
<g id="node15" class="node">
<title>14</title>
<polygon fill="none" stroke="black" stroke-width="5" points="898.5,-72.5 898.5,-133.5 988.5,-133.5 988.5,-72.5 898.5,-72.5"/>
<text text-anchor="start" x="923" y="-93" font-family="Times,serif" font-size="40.00">10</text>
<polygon fill="none" stroke="black" stroke-width="5" points="993.5,-72.5 993.5,-133.5 1063.5,-133.5 1063.5,-72.5 993.5,-72.5"/>
<text text-anchor="start" x="1018" y="-93" font-family="Times,serif" font-size="40.00">b</text>
<polygon fill="none" stroke="black" stroke-width="5" points="898.5,-6.5 898.5,-67.5 1063.5,-67.5 1063.5,-6.5 898.5,-6.5"/>
<text text-anchor="start" x="907" y="-27" font-family="Times,serif" font-size="40.00">L6 10&#45;11</text>
</g>
<!-- 12&#45;&gt;14 -->
<g id="edge5" class="edge">
<title>12:p&#45;&gt;14:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M820.56,-70C840.72,-70 863.6,-70 885.61,-70"/>
<polygon fill="black" stroke="black" stroke-width="5" points="885.65,-74.38 895.65,-70 885.65,-65.63 885.65,-74.38"/>
</g>
<!-- 17 -->
<g id="node18" class="node">
<title>17</title>
<polygon fill="none" stroke="black" stroke-width="5" points="1338.5,-262.5 1338.5,-323.5 1429.5,-323.5 1429.5,-262.5 1338.5,-262.5"/>
<text text-anchor="start" x="1363.5" y="-283" font-family="Times,serif" font-size="40.00">13</text>
<polygon fill="none" stroke="black" stroke-width="5" points="1434.5,-262.5 1434.5,-323.5 1505.5,-323.5 1505.5,-262.5 1434.5,-262.5"/>
<text text-anchor="start" x="1459.5" y="-283" font-family="Times,serif" font-size="40.00">b</text>
<polygon fill="none" stroke="black" stroke-width="5" points="1338.5,-196.5 1338.5,-257.5 1505.5,-257.5 1505.5,-196.5 1338.5,-196.5"/>
<text text-anchor="start" x="1347" y="-217" font-family="Times,serif" font-size="40.00">L4 24&#45;25</text>
</g>
<!-- 13&#45;&gt;17 -->
<g id="edge17" class="edge">
<title>13:p&#45;&gt;17:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M1284.17,-260C1297.75,-260 1311.92,-260 1325.78,-260"/>
<polygon fill="black" stroke="black" stroke-width="5" points="1325.81,-264.38 1335.81,-260 1325.81,-255.63 1325.81,-264.38"/>
</g>
<!-- 15 -->
<g id="node16" class="node">
<title>15</title>
<polygon fill="none" stroke="black" stroke-width="2" points="1119,-71 1119,-129 1200,-129 1200,-71 1119,-71"/>
<text text-anchor="start" x="1139.5" y="-90" font-family="Times,serif" font-size="40.00">11</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1202,-71 1202,-129 1283,-129 1283,-71 1202,-71"/>
<text text-anchor="start" x="1222.5" y="-90" font-family="Times,serif" font-size="40.00">→</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1119,-11 1119,-69 1283,-69 1283,-11 1119,-11"/>
<text text-anchor="start" x="1126" y="-30" font-family="Times,serif" font-size="40.00">L6 12&#45;14</text>
</g>
<!-- 14&#45;&gt;15 -->
<g id="edge6" class="edge">
<title>14:p&#45;&gt;15:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M1066.28,-70C1079.75,-70 1093.74,-70 1107.38,-70"/>
<polygon fill="black" stroke="black" stroke-width="5" points="1107.73,-74.38 1117.73,-70 1107.73,-65.63 1107.73,-74.38"/>
</g>
<!-- 16 -->
<g id="node17" class="node">
<title>16</title>
<polygon fill="none" stroke="black" stroke-width="2" points="1340,-71 1340,-129 1397,-129 1397,-71 1340,-71"/>
<text text-anchor="start" x="1348" y="-90" font-family="Times,serif" font-size="40.00">12</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1399,-71 1399,-129 1504,-129 1504,-71 1399,-71"/>
<text text-anchor="start" x="1407.5" y="-90" font-family="Times,serif" font-size="40.00">SKIP</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1340,-11 1340,-69 1504,-69 1504,-11 1340,-11"/>
<text text-anchor="start" x="1347" y="-30" font-family="Times,serif" font-size="40.00">L6 15&#45;19</text>
</g>
<!-- 15&#45;&gt;16 -->
<g id="edge7" class="edge">
<title>15:p&#45;&gt;16:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M1284.17,-70C1298.67,-70 1313.85,-70 1328.6,-70"/>
<polygon fill="black" stroke="black" stroke-width="5" points="1328.73,-74.38 1338.73,-70 1328.73,-65.63 1328.73,-74.38"/>
</g>
<!-- 18 -->
<g id="node19" class="node">
<title>18</title>
<polygon fill="none" stroke="black" stroke-width="2" points="1561,-261 1561,-319 1642,-319 1642,-261 1561,-261"/>
<text text-anchor="start" x="1581" y="-280" font-family="Times,serif" font-size="40.00">14</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1644,-261 1644,-319 1725,-319 1725,-261 1644,-261"/>
<text text-anchor="start" x="1664.5" y="-280" font-family="Times,serif" font-size="40.00">→</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1561,-201 1561,-259 1725,-259 1725,-201 1561,-201"/>
<text text-anchor="start" x="1568" y="-220" font-family="Times,serif" font-size="40.00">L4 26&#45;28</text>
</g>
<!-- 17&#45;&gt;18 -->
<g id="edge18" class="edge">
<title>17:p&#45;&gt;18:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M1508.3,-260C1521.79,-260 1535.8,-260 1549.45,-260"/>
<polygon fill="black" stroke="black" stroke-width="5" points="1549.81,-264.38 1559.81,-260 1549.81,-255.63 1549.81,-264.38"/>
</g>
<!-- 19 -->
<g id="node20" class="node">
<title>19</title>
<polygon fill="none" stroke="black" stroke-width="2" points="1561,-115 1561,-173 1618,-173 1618,-115 1561,-115"/>
<text text-anchor="start" x="1569" y="-134" font-family="Times,serif" font-size="40.00">15</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1620,-115 1620,-173 1725,-173 1725,-115 1620,-115"/>
<text text-anchor="start" x="1628.5" y="-134" font-family="Times,serif" font-size="40.00">SKIP</text>
<polygon fill="none" stroke="black" stroke-width="2" points="1561,-55 1561,-113 1725,-113 1725,-55 1561,-55"/>
<text text-anchor="start" x="1568" y="-74" font-family="Times,serif" font-size="40.00">L4 29&#45;33</text>
</g>
<!-- 18&#45;&gt;19 -->
<g id="edge19" class="edge">
<title>18:p&#45;&gt;19:p</title>
<path fill="none" stroke="black" stroke-width="5" d="M1643,-184.55C1643,-189.58 1643,-194.63 1643,-199.6"/>
<polygon fill="black" stroke="black" stroke-width="5" points="1647.38,-184.27 1643,-174.27 1638.63,-184.27 1647.38,-184.27"/>
</g>
</g>
</svg>