SCCD/test_files/features/history/test_deep.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.40.1 (20161225.0304)
 -->
<!-- Title: state transitions Pages: 1 -->
<svg width="730pt" height="1600pt"
 viewBox="0.00 0.00 730.00 1599.97" 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 1595.9656)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1595.9656 726,-1595.9656 726,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__parallel</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 702,-8 702,-8 708,-8 714,-14 714,-20 714,-20 714,-1540.9656 714,-1540.9656 714,-1546.9656 708,-1552.9656 702,-1552.9656 702,-1552.9656 20,-1552.9656 20,-1552.9656 14,-1552.9656 8,-1546.9656 8,-1540.9656 8,-1540.9656 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="341.6668" y="-1534.1656" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">parallel</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__parallel_orthogonal_tester</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="300,-740 300,-1502.4656 706,-1502.4656 706,-740 300,-740"/>
<text text-anchor="start" x="456.8176" y="-1483.6656" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">orthogonal_tester</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__parallel_orthogonal</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-16 24,-1514.9656 292,-1514.9656 292,-16 24,-16"/>
<text text-anchor="start" x="129.656" y="-1496.1656" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">orthogonal</text>
</g>
<g id="clust4" class="cluster">
<title>cluster__parallel_orthogonal_wrapper</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M44,-24C44,-24 272,-24 272,-24 278,-24 284,-30 284,-36 284,-36 284,-1346.9656 284,-1346.9656 284,-1352.9656 278,-1358.9656 272,-1358.9656 272,-1358.9656 44,-1358.9656 44,-1358.9656 38,-1358.9656 32,-1352.9656 32,-1346.9656 32,-1346.9656 32,-36 32,-36 32,-30 38,-24 44,-24"/>
<text text-anchor="start" x="136.8322" y="-1340.1656" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">wrapper</text>
</g>
<g id="clust5" class="cluster">
<title>cluster__parallel_orthogonal_wrapper_state_2</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M194,-32C194,-32 264,-32 264,-32 270,-32 276,-38 276,-44 276,-44 276,-797.5 276,-797.5 276,-803.5 270,-809.5 264,-809.5 264,-809.5 194,-809.5 194,-809.5 188,-809.5 182,-803.5 182,-797.5 182,-797.5 182,-44 182,-44 182,-38 188,-32 194,-32"/>
<text text-anchor="start" x="209.8236" y="-790.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state_2</text>
</g>
<g id="clust6" class="cluster">
<title>cluster__parallel_orthogonal_wrapper_state_1</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M52,-553C52,-553 162,-553 162,-553 168,-553 174,-559 174,-565 174,-565 174,-1071.5 174,-1071.5 174,-1077.5 168,-1083.5 162,-1083.5 162,-1083.5 52,-1083.5 52,-1083.5 46,-1083.5 40,-1077.5 40,-1071.5 40,-1071.5 40,-565 40,-565 40,-559 46,-553 52,-553"/>
<text text-anchor="start" x="87.8236" y="-1064.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state_1</text>
</g>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-1586.4656" rx="5.5" ry="5.5"/>
</g>
<!-- _parallel -->
<!-- __initial&#45;&gt;_parallel -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_parallel</title>
<path fill="none" stroke="#000000" d="M16,-1580.6559C16,-1576.58 16,-1570.5868 16,-1563.4116"/>
<polygon fill="#000000" stroke="#000000" points="19.5001,-1562.9638 16,-1552.9638 12.5001,-1562.9638 19.5001,-1562.9638"/>
<text text-anchor="middle" x="17.3895" y="-1563.9656" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _parallel_orthogonal_tester -->
<!-- _parallel_orthogonal_tester_initial -->
<g id="node4" class="node">
<title>_parallel_orthogonal_tester_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="336" cy="-1458.9656" rx="5.5" ry="5.5"/>
</g>
<!-- _parallel_orthogonal_tester_start -->
<g id="node9" class="node">
<title>_parallel_orthogonal_tester_start</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="364,-1320.2328 308,-1320.2328 308,-1284.2328 364,-1284.2328 364,-1320.2328"/>
<text text-anchor="start" x="324.3324" y="-1298.4328" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">start</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M320.3333,-1285.2328C320.3333,-1285.2328 351.6667,-1285.2328 351.6667,-1285.2328 357.3333,-1285.2328 363,-1290.8995 363,-1296.5661 363,-1296.5661 363,-1307.8995 363,-1307.8995 363,-1313.5661 357.3333,-1319.2328 351.6667,-1319.2328 351.6667,-1319.2328 320.3333,-1319.2328 320.3333,-1319.2328 314.6667,-1319.2328 309,-1313.5661 309,-1307.8995 309,-1307.8995 309,-1296.5661 309,-1296.5661 309,-1290.8995 314.6667,-1285.2328 320.3333,-1285.2328"/>
</g>
<!-- _parallel_orthogonal_tester_initial&#45;&gt;_parallel_orthogonal_tester_start -->
<g id="edge2" class="edge">
<title>_parallel_orthogonal_tester_initial&#45;&gt;_parallel_orthogonal_tester_start</title>
<path fill="none" stroke="#000000" d="M336,-1453.4315C336,-1446.4476 336,-1434.0663 336,-1423.4656 336,-1423.4656 336,-1423.4656 336,-1376.4656 336,-1361.3136 336,-1344.4219 336,-1330.5842"/>
<polygon fill="#000000" stroke="#000000" points="339.5001,-1330.2331 336,-1320.2331 332.5001,-1330.2331 339.5001,-1330.2331"/>
<text text-anchor="middle" x="337.3895" y="-1396.9656" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _parallel_orthogonal_tester_end -->
<g id="node5" class="node">
<title>_parallel_orthogonal_tester_end</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="364,-784 308,-784 308,-748 364,-748 364,-784"/>
<text text-anchor="start" x="325.9938" y="-762.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">end</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M320.3333,-749C320.3333,-749 351.6667,-749 351.6667,-749 357.3333,-749 363,-754.6667 363,-760.3333 363,-760.3333 363,-771.6667 363,-771.6667 363,-777.3333 357.3333,-783 351.6667,-783 351.6667,-783 320.3333,-783 320.3333,-783 314.6667,-783 309,-777.3333 309,-771.6667 309,-771.6667 309,-760.3333 309,-760.3333 309,-754.6667 314.6667,-749 320.3333,-749"/>
</g>
<!-- _parallel_orthogonal_tester_step3 -->
<g id="node6" class="node">
<title>_parallel_orthogonal_tester_step3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="364,-927.5 308,-927.5 308,-891.5 364,-891.5 364,-927.5"/>
<text text-anchor="start" x="321.3264" y="-905.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">step3</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M320.3333,-892.5C320.3333,-892.5 351.6667,-892.5 351.6667,-892.5 357.3333,-892.5 363,-898.1667 363,-903.8333 363,-903.8333 363,-915.1667 363,-915.1667 363,-920.8333 357.3333,-926.5 351.6667,-926.5 351.6667,-926.5 320.3333,-926.5 320.3333,-926.5 314.6667,-926.5 309,-920.8333 309,-915.1667 309,-915.1667 309,-903.8333 309,-903.8333 309,-898.1667 314.6667,-892.5 320.3333,-892.5"/>
</g>
<!-- _parallel_orthogonal_tester_step3&#45;&gt;_parallel_orthogonal_tester_end -->
<g id="edge3" class="edge">
<title>_parallel_orthogonal_tester_step3&#45;&gt;_parallel_orthogonal_tester_end</title>
<path fill="none" stroke="#000000" d="M336,-891.4402C336,-885.8497 336,-879.6701 336,-874 336,-874 336,-874 336,-827 336,-816.3104 336,-804.5672 336,-794.263"/>
<polygon fill="#000000" stroke="#000000" points="339.5001,-794.1503 336,-784.1503 332.5001,-794.1504 339.5001,-794.1503"/>
<text text-anchor="start" x="336" y="-847.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[INSTATE([&quot;/parallel/orthogonal/wrapper/state_2/inner_4&quot;])]^out.check3 &#160;&#160;</text>
</g>
<!-- _parallel_orthogonal_tester_step2 -->
<g id="node7" class="node">
<title>_parallel_orthogonal_tester_step2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="364,-1045.5 308,-1045.5 308,-1009.5 364,-1009.5 364,-1045.5"/>
<text text-anchor="start" x="321.3264" y="-1023.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">step2</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M320.3333,-1010.5C320.3333,-1010.5 351.6667,-1010.5 351.6667,-1010.5 357.3333,-1010.5 363,-1016.1667 363,-1021.8333 363,-1021.8333 363,-1033.1667 363,-1033.1667 363,-1038.8333 357.3333,-1044.5 351.6667,-1044.5 351.6667,-1044.5 320.3333,-1044.5 320.3333,-1044.5 314.6667,-1044.5 309,-1038.8333 309,-1033.1667 309,-1033.1667 309,-1021.8333 309,-1021.8333 309,-1016.1667 314.6667,-1010.5 320.3333,-1010.5"/>
</g>
<!-- _parallel_orthogonal_tester_step2&#45;&gt;_parallel_orthogonal_tester_step3 -->
<g id="edge4" class="edge">
<title>_parallel_orthogonal_tester_step2&#45;&gt;_parallel_orthogonal_tester_step3</title>
<path fill="none" stroke="#000000" d="M336,-1009.4402C336,-1003.8497 336,-997.6701 336,-992 336,-992 336,-992 336,-945 336,-942.6079 336,-940.1252 336,-937.6342"/>
<polygon fill="#000000" stroke="#000000" points="339.5001,-937.5597 336,-927.5598 332.5001,-937.5598 339.5001,-937.5597"/>
<text text-anchor="start" x="336" y="-965.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[INSTATE([&quot;/parallel/orthogonal/outer&quot;])]^out.check2 ^to_history &#160;&#160;</text>
</g>
<!-- _parallel_orthogonal_tester_step1 -->
<g id="node8" class="node">
<title>_parallel_orthogonal_tester_step1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="364,-1201.5 308,-1201.5 308,-1165.5 364,-1165.5 364,-1201.5"/>
<text text-anchor="start" x="321.3264" y="-1179.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">step1</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M320.3333,-1166.5C320.3333,-1166.5 351.6667,-1166.5 351.6667,-1166.5 357.3333,-1166.5 363,-1172.1667 363,-1177.8333 363,-1177.8333 363,-1189.1667 363,-1189.1667 363,-1194.8333 357.3333,-1200.5 351.6667,-1200.5 351.6667,-1200.5 320.3333,-1200.5 320.3333,-1200.5 314.6667,-1200.5 309,-1194.8333 309,-1189.1667 309,-1189.1667 309,-1177.8333 309,-1177.8333 309,-1172.1667 314.6667,-1166.5 320.3333,-1166.5"/>
</g>
<!-- _parallel_orthogonal_tester_step1&#45;&gt;_parallel_orthogonal_tester_step2 -->
<g id="edge5" class="edge">
<title>_parallel_orthogonal_tester_step1&#45;&gt;_parallel_orthogonal_tester_step2</title>
<path fill="none" stroke="#000000" d="M331.7033,-1165.1741C330.7416,-1159.6833 330,-1153.6255 330,-1148 330,-1148 330,-1148 330,-1101 330,-1086.0487 331.2486,-1069.4431 332.6066,-1055.8038"/>
<polygon fill="#000000" stroke="#000000" points="336.1156,-1055.9048 333.6974,-1045.5897 329.1552,-1055.1614 336.1156,-1055.9048"/>
<text text-anchor="start" x="330" y="-1121.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[INSTATE([&quot;/parallel/orthogonal/wrapper/state_2/inner_4&quot;])]^out.check1 ^to_outer &#160;&#160;</text>
</g>
<!-- _parallel_orthogonal_tester_start&#45;&gt;_parallel_orthogonal_tester_step1 -->
<g id="edge6" class="edge">
<title>_parallel_orthogonal_tester_start&#45;&gt;_parallel_orthogonal_tester_step1</title>
<path fill="none" stroke="#000000" d="M336,-1284.1715C336,-1278.3688 336,-1271.913 336,-1266 336,-1266 336,-1266 336,-1219 336,-1216.6079 336,-1214.1252 336,-1211.6342"/>
<polygon fill="#000000" stroke="#000000" points="339.5001,-1211.5597 336,-1201.5598 332.5001,-1211.5598 339.5001,-1211.5597"/>
<text text-anchor="start" x="336" y="-1239.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">^to_state_2 ^to_inner_4 &#160;&#160;</text>
</g>
<!-- _parallel_orthogonal -->
<!-- _parallel_orthogonal_initial -->
<g id="node11" class="node">
<title>_parallel_orthogonal_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="247" cy="-1458.9656" rx="5.5" ry="5.5"/>
</g>
<!-- _parallel_orthogonal_wrapper -->
<!-- _parallel_orthogonal_initial&#45;&gt;_parallel_orthogonal_wrapper -->
<g id="edge7" class="edge">
<title>_parallel_orthogonal_initial&#45;&gt;_parallel_orthogonal_wrapper</title>
<path fill="none" stroke="#000000" d="M247,-1453.4315C247,-1446.4476 247,-1434.0663 247,-1423.4656 247,-1423.4656 247,-1423.4656 247,-1376.4656 247,-1374.0264 246.8734,-1371.5662 246.6379,-1369.0998"/>
<polygon fill="#000000" stroke="#000000" points="250.0607,-1368.3257 245.1016,-1358.9632 243.1397,-1369.3748 250.0607,-1368.3257"/>
<text text-anchor="middle" x="248.3895" y="-1396.9656" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _parallel_orthogonal_outer -->
<g id="node12" class="node">
<title>_parallel_orthogonal_outer</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="139,-1476.9656 83,-1476.9656 83,-1440.9656 139,-1440.9656 139,-1476.9656"/>
<text text-anchor="start" x="97.329" y="-1455.1656" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">outer</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M95.3333,-1441.9656C95.3333,-1441.9656 126.6667,-1441.9656 126.6667,-1441.9656 132.3333,-1441.9656 138,-1447.6323 138,-1453.2989 138,-1453.2989 138,-1464.6323 138,-1464.6323 138,-1470.2989 132.3333,-1475.9656 126.6667,-1475.9656 126.6667,-1475.9656 95.3333,-1475.9656 95.3333,-1475.9656 89.6667,-1475.9656 84,-1470.2989 84,-1464.6323 84,-1464.6323 84,-1453.2989 84,-1453.2989 84,-1447.6323 89.6667,-1441.9656 95.3333,-1441.9656"/>
</g>
<!-- _parallel_orthogonal_wrapper_history -->
<g id="node15" class="node">
<title>_parallel_orthogonal_wrapper_history</title>
<ellipse fill="transparent" stroke="#000000" stroke-width="2" cx="62" cy="-1302.2328" rx="18.9685" ry="18.9685"/>
<text text-anchor="middle" x="62" y="-1298.6328" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">H*</text>
</g>
<!-- _parallel_orthogonal_outer&#45;&gt;_parallel_orthogonal_wrapper_history -->
<g id="edge8" class="edge">
<title>_parallel_orthogonal_outer&#45;&gt;_parallel_orthogonal_wrapper_history</title>
<path fill="none" stroke="#000000" d="M82.7804,-1441.2694C71.8881,-1433.9563 62,-1426.4858 62,-1423.4656 62,-1423.4656 62,-1423.4656 62,-1376.4656 62,-1361.6186 62,-1345.1014 62,-1331.4237"/>
<polygon fill="#000000" stroke="#000000" points="65.5001,-1331.1495 62,-1321.1495 58.5001,-1331.1496 65.5001,-1331.1495"/>
<text text-anchor="start" x="62" y="-1396.9656" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_history &#160;&#160;</text>
</g>
<!-- _parallel_orthogonal_wrapper&#45;&gt;_parallel_orthogonal_outer -->
<g id="edge14" class="edge">
<title>_parallel_orthogonal_wrapper&#45;&gt;_parallel_orthogonal_outer</title>
<path fill="none" stroke="#000000" d="M183,-1358.9656C173.5087,-1368.654 158,-1362.9028 158,-1376.4656 158,-1423.4656 158,-1423.4656 158,-1423.4656 158,-1431.4465 153.6315,-1437.8607 147.5582,-1442.9217"/>
<polygon fill="#000000" stroke="#000000" points="145.4635,-1440.1133 139.1541,-1448.6246 149.3941,-1445.9056 145.4635,-1440.1133"/>
<text text-anchor="start" x="158" y="-1396.9656" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_outer &#160;&#160;</text>
</g>
<!-- _parallel_orthogonal_wrapper_initial -->
<g id="node14" class="node">
<title>_parallel_orthogonal_wrapper_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="166" cy="-1302.2328" rx="5.5" ry="5.5"/>
</g>
<!-- _parallel_orthogonal_wrapper_state_1 -->
<!-- _parallel_orthogonal_wrapper_initial&#45;&gt;_parallel_orthogonal_wrapper_state_1 -->
<g id="edge9" class="edge">
<title>_parallel_orthogonal_wrapper_initial&#45;&gt;_parallel_orthogonal_wrapper_state_1</title>
<path fill="none" stroke="#000000" d="M166,-1296.5844C166,-1289.4564 166,-1276.8195 166,-1266 166,-1266 166,-1266 166,-1101 166,-1098.6063 166,-1096.1687 166,-1093.7066"/>
<polygon fill="#000000" stroke="#000000" points="169.5001,-1093.4956 166,-1083.4957 162.5001,-1093.4957 169.5001,-1093.4956"/>
<text text-anchor="middle" x="167.3895" y="-1180.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _parallel_orthogonal_wrapper_state_2 -->
<!-- _parallel_orthogonal_wrapper_state_2_initial -->
<g id="node17" class="node">
<title>_parallel_orthogonal_wrapper_state_2_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="204" cy="-766" rx="5.5" ry="5.5"/>
</g>
<!-- _parallel_orthogonal_wrapper_state_2_inner_3 -->
<g id="node19" class="node">
<title>_parallel_orthogonal_wrapper_state_2_inner_3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="252,-410 190,-410 190,-374 252,-374 252,-410"/>
<text text-anchor="start" x="200.9942" y="-388.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">inner_3</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M202.3333,-375C202.3333,-375 239.6667,-375 239.6667,-375 245.3333,-375 251,-380.6667 251,-386.3333 251,-386.3333 251,-397.6667 251,-397.6667 251,-403.3333 245.3333,-409 239.6667,-409 239.6667,-409 202.3333,-409 202.3333,-409 196.6667,-409 191,-403.3333 191,-397.6667 191,-397.6667 191,-386.3333 191,-386.3333 191,-380.6667 196.6667,-375 202.3333,-375"/>
</g>
<!-- _parallel_orthogonal_wrapper_state_2_initial&#45;&gt;_parallel_orthogonal_wrapper_state_2_inner_3 -->
<g id="edge10" class="edge">
<title>_parallel_orthogonal_wrapper_state_2_initial&#45;&gt;_parallel_orthogonal_wrapper_state_2_inner_3</title>
<path fill="none" stroke="#000000" d="M206.4284,-760.7712C209.9348,-752.7293 216,-736.7582 216,-722.5 216,-722.5 216,-722.5 216,-427.5 216,-425.2243 216.102,-422.8746 216.2768,-420.5183"/>
<polygon fill="#000000" stroke="#000000" points="219.7801,-420.6846 217.4194,-410.3561 212.8239,-419.9024 219.7801,-420.6846"/>
<text text-anchor="middle" x="217.3895" y="-576" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _parallel_orthogonal_wrapper_state_2_inner_4 -->
<g id="node18" class="node">
<title>_parallel_orthogonal_wrapper_state_2_inner_4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="252,-76 190,-76 190,-40 252,-40 252,-76"/>
<text text-anchor="start" x="200.9942" y="-54.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">inner_4</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M202.3333,-41C202.3333,-41 239.6667,-41 239.6667,-41 245.3333,-41 251,-46.6667 251,-52.3333 251,-52.3333 251,-63.6667 251,-63.6667 251,-69.3333 245.3333,-75 239.6667,-75 239.6667,-75 202.3333,-75 202.3333,-75 196.6667,-75 191,-69.3333 191,-63.6667 191,-63.6667 191,-52.3333 191,-52.3333 191,-46.6667 196.6667,-41 202.3333,-41"/>
</g>
<!-- _parallel_orthogonal_wrapper_state_2_inner_3&#45;&gt;_parallel_orthogonal_wrapper_state_2_inner_4 -->
<g id="edge11" class="edge">
<title>_parallel_orthogonal_wrapper_state_2_inner_3&#45;&gt;_parallel_orthogonal_wrapper_state_2_inner_4</title>
<path fill="none" stroke="#000000" d="M214.555,-373.7962C213.1124,-368.3088 212,-362.2224 212,-356.5 212,-356.5 212,-356.5 212,-93.5 212,-91.0859 212.198,-88.607 212.5352,-86.1355"/>
<polygon fill="#000000" stroke="#000000" points="215.9918,-86.7008 214.555,-76.2038 209.1322,-85.3057 215.9918,-86.7008"/>
<text text-anchor="start" x="212" y="-222" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_inner_4 &#160;&#160;</text>
</g>
<!-- _parallel_orthogonal_wrapper_state_1&#45;&gt;_parallel_orthogonal_wrapper_state_2 -->
<g id="edge13" class="edge">
<title>_parallel_orthogonal_wrapper_state_1&#45;&gt;_parallel_orthogonal_wrapper_state_2</title>
<path fill="none" stroke="#000000" d="M173.9989,-1023.7913C184.3297,-1018.3846 201,-1007.2911 201,-992 201,-992 201,-992 201,-827 201,-819.0643 207.2423,-818.4384 213.2106,-815.8277"/>
<polygon fill="#000000" stroke="#000000" points="215.4451,-818.5219 221,-809.5 211.0314,-813.0887 215.4451,-818.5219"/>
<text text-anchor="start" x="201" y="-906.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_state_2 &#160;&#160;</text>
</g>
<!-- _parallel_orthogonal_wrapper_state_1_initial -->
<g id="node21" class="node">
<title>_parallel_orthogonal_wrapper_state_1_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="138" cy="-1027.5" rx="5.5" ry="5.5"/>
</g>
<!-- _parallel_orthogonal_wrapper_state_1_inner_1 -->
<g id="node23" class="node">
<title>_parallel_orthogonal_wrapper_state_1_inner_1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="166,-597 104,-597 104,-561 166,-561 166,-597"/>
<text text-anchor="start" x="114.9942" y="-575.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">inner_1</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M116.3333,-562C116.3333,-562 153.6667,-562 153.6667,-562 159.3333,-562 165,-567.6667 165,-573.3333 165,-573.3333 165,-584.6667 165,-584.6667 165,-590.3333 159.3333,-596 153.6667,-596 153.6667,-596 116.3333,-596 116.3333,-596 110.6667,-596 105,-590.3333 105,-584.6667 105,-584.6667 105,-573.3333 105,-573.3333 105,-567.6667 110.6667,-562 116.3333,-562"/>
</g>
<!-- _parallel_orthogonal_wrapper_state_1_initial&#45;&gt;_parallel_orthogonal_wrapper_state_1_inner_1 -->
<g id="edge12" class="edge">
<title>_parallel_orthogonal_wrapper_state_1_initial&#45;&gt;_parallel_orthogonal_wrapper_state_1_inner_1</title>
<path fill="none" stroke="#000000" d="M137.4953,-1021.9713C136.9028,-1014.993 136,-1002.6175 136,-992 136,-992 136,-992 136,-614.5 136,-612.107 135.977,-609.6235 135.938,-607.1322"/>
<polygon fill="#000000" stroke="#000000" points="139.4354,-606.9735 135.7054,-597.057 132.4372,-607.1351 139.4354,-606.9735"/>
<text text-anchor="middle" x="137.3895" y="-763" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _parallel_orthogonal_wrapper_state_1_inner_2 -->
<g id="node22" class="node">
<title>_parallel_orthogonal_wrapper_state_1_inner_2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="110,-1045.5 48,-1045.5 48,-1009.5 110,-1009.5 110,-1045.5"/>
<text text-anchor="start" x="58.9942" y="-1023.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">inner_2</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M60.3333,-1010.5C60.3333,-1010.5 97.6667,-1010.5 97.6667,-1010.5 103.3333,-1010.5 109,-1016.1667 109,-1021.8333 109,-1021.8333 109,-1033.1667 109,-1033.1667 109,-1038.8333 103.3333,-1044.5 97.6667,-1044.5 97.6667,-1044.5 60.3333,-1044.5 60.3333,-1044.5 54.6667,-1044.5 49,-1038.8333 49,-1033.1667 49,-1033.1667 49,-1021.8333 49,-1021.8333 49,-1016.1667 54.6667,-1010.5 60.3333,-1010.5"/>
</g>
</g>
</svg>