SCCD/test_files/features/history/test_parallel_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="913pt" height="1195pt"
 viewBox="0.00 0.00 913.00 1195.23" 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 1191.2328)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1191.2328 909,-1191.2328 909,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__P</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 885,-8 885,-8 891,-8 897,-14 897,-20 897,-20 897,-1136.2328 897,-1136.2328 897,-1142.2328 891,-1148.2328 885,-1148.2328 885,-1148.2328 20,-1148.2328 20,-1148.2328 14,-1148.2328 8,-1142.2328 8,-1136.2328 8,-1136.2328 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="448.4986" y="-1129.4328" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">P</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__P_orthogonal_tester</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="328,-374 328,-1097.7328 889,-1097.7328 889,-374 328,-374"/>
<text text-anchor="start" x="562.3176" y="-1078.9328" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">orthogonal_tester</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__P_orthogonal</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-16 24,-1110.2328 320,-1110.2328 320,-16 24,-16"/>
<text text-anchor="start" x="143.656" y="-1091.4328" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">orthogonal</text>
</g>
<g id="clust4" class="cluster">
<title>cluster__P_orthogonal_wrapper</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M44,-24C44,-24 300,-24 300,-24 306,-24 312,-30 312,-36 312,-36 312,-942.2328 312,-942.2328 312,-948.2328 306,-954.2328 300,-954.2328 300,-954.2328 44,-954.2328 44,-954.2328 38,-954.2328 32,-948.2328 32,-942.2328 32,-942.2328 32,-36 32,-36 32,-30 38,-24 44,-24"/>
<text text-anchor="start" x="150.8322" y="-935.4328" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">wrapper</text>
</g>
<g id="clust5" class="cluster">
<title>cluster__P_orthogonal_wrapper_state_2</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="210,-32 210,-916.2328 304,-916.2328 304,-32 210,-32"/>
<text text-anchor="start" x="237.8236" y="-897.4328" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state_2</text>
</g>
<g id="clust6" class="cluster">
<title>cluster__P_orthogonal_wrapper_state_1</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="108,-32 108,-916.2328 202,-916.2328 202,-32 108,-32"/>
<text text-anchor="start" x="135.8236" y="-897.4328" 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="-1181.7328" rx="5.5" ry="5.5"/>
</g>
<!-- _P -->
<!-- __initial&#45;&gt;_P -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_P</title>
<path fill="none" stroke="#000000" d="M16,-1175.9231C16,-1171.8472 16,-1165.854 16,-1158.6788"/>
<polygon fill="#000000" stroke="#000000" points="19.5001,-1158.231 16,-1148.231 12.5001,-1158.231 19.5001,-1158.231"/>
<text text-anchor="middle" x="17.3895" y="-1159.2328" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_orthogonal_tester -->
<!-- _P_orthogonal_tester_initial -->
<g id="node4" class="node">
<title>_P_orthogonal_tester_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="364" cy="-1054.2328" rx="5.5" ry="5.5"/>
</g>
<!-- _P_orthogonal_tester_start -->
<g id="node9" class="node">
<title>_P_orthogonal_tester_start</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="392,-890.7328 336,-890.7328 336,-854.7328 392,-854.7328 392,-890.7328"/>
<text text-anchor="start" x="352.3324" y="-868.9328" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">start</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M348.3333,-855.7328C348.3333,-855.7328 379.6667,-855.7328 379.6667,-855.7328 385.3333,-855.7328 391,-861.3995 391,-867.0661 391,-867.0661 391,-878.3995 391,-878.3995 391,-884.0661 385.3333,-889.7328 379.6667,-889.7328 379.6667,-889.7328 348.3333,-889.7328 348.3333,-889.7328 342.6667,-889.7328 337,-884.0661 337,-878.3995 337,-878.3995 337,-867.0661 337,-867.0661 337,-861.3995 342.6667,-855.7328 348.3333,-855.7328"/>
</g>
<!-- _P_orthogonal_tester_initial&#45;&gt;_P_orthogonal_tester_start -->
<g id="edge2" class="edge">
<title>_P_orthogonal_tester_initial&#45;&gt;_P_orthogonal_tester_start</title>
<path fill="none" stroke="#000000" d="M364,-1048.6987C364,-1041.7148 364,-1029.3335 364,-1018.7328 364,-1018.7328 364,-1018.7328 364,-971.7328 364,-947.9496 364,-920.9525 364,-901.1647"/>
<polygon fill="#000000" stroke="#000000" points="367.5001,-900.9793 364,-890.9793 360.5001,-900.9794 367.5001,-900.9793"/>
<text text-anchor="middle" x="365.3895" y="-992.2328" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_orthogonal_tester_end -->
<g id="node5" class="node">
<title>_P_orthogonal_tester_end</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="392,-418 336,-418 336,-382 392,-382 392,-418"/>
<text text-anchor="start" x="353.9938" y="-396.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">end</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M348.3333,-383C348.3333,-383 379.6667,-383 379.6667,-383 385.3333,-383 391,-388.6667 391,-394.3333 391,-394.3333 391,-405.6667 391,-405.6667 391,-411.3333 385.3333,-417 379.6667,-417 379.6667,-417 348.3333,-417 348.3333,-417 342.6667,-417 337,-411.3333 337,-405.6667 337,-405.6667 337,-394.3333 337,-394.3333 337,-388.6667 342.6667,-383 348.3333,-383"/>
</g>
<!-- _P_orthogonal_tester_step3 -->
<g id="node6" class="node">
<title>_P_orthogonal_tester_step3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="392,-536 336,-536 336,-500 392,-500 392,-536"/>
<text text-anchor="start" x="349.3264" y="-514.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">step3</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M348.3333,-501C348.3333,-501 379.6667,-501 379.6667,-501 385.3333,-501 391,-506.6667 391,-512.3333 391,-512.3333 391,-523.6667 391,-523.6667 391,-529.3333 385.3333,-535 379.6667,-535 379.6667,-535 348.3333,-535 348.3333,-535 342.6667,-535 337,-529.3333 337,-523.6667 337,-523.6667 337,-512.3333 337,-512.3333 337,-506.6667 342.6667,-501 348.3333,-501"/>
</g>
<!-- _P_orthogonal_tester_step3&#45;&gt;_P_orthogonal_tester_end -->
<g id="edge3" class="edge">
<title>_P_orthogonal_tester_step3&#45;&gt;_P_orthogonal_tester_end</title>
<path fill="none" stroke="#000000" d="M364,-499.9402C364,-494.3497 364,-488.1701 364,-482.5 364,-482.5 364,-482.5 364,-435.5 364,-433.1079 364,-430.6252 364,-428.1342"/>
<polygon fill="#000000" stroke="#000000" points="367.5001,-428.0597 364,-418.0598 360.5001,-428.0598 367.5001,-428.0597"/>
<text text-anchor="start" x="364" y="-456" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[INSTATE([&quot;/P/orthogonal/wrapper/state_2/inner_4&quot;,&quot;/P/orthogonal/wrapper/state_1/inner_2&quot;])]^out.check3 &#160;&#160;</text>
</g>
<!-- _P_orthogonal_tester_step2 -->
<g id="node7" class="node">
<title>_P_orthogonal_tester_step2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="392,-654 336,-654 336,-618 392,-618 392,-654"/>
<text text-anchor="start" x="349.3264" y="-632.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">step2</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M348.3333,-619C348.3333,-619 379.6667,-619 379.6667,-619 385.3333,-619 391,-624.6667 391,-630.3333 391,-630.3333 391,-641.6667 391,-641.6667 391,-647.3333 385.3333,-653 379.6667,-653 379.6667,-653 348.3333,-653 348.3333,-653 342.6667,-653 337,-647.3333 337,-641.6667 337,-641.6667 337,-630.3333 337,-630.3333 337,-624.6667 342.6667,-619 348.3333,-619"/>
</g>
<!-- _P_orthogonal_tester_step2&#45;&gt;_P_orthogonal_tester_step3 -->
<g id="edge4" class="edge">
<title>_P_orthogonal_tester_step2&#45;&gt;_P_orthogonal_tester_step3</title>
<path fill="none" stroke="#000000" d="M364,-617.9402C364,-612.3497 364,-606.1701 364,-600.5 364,-600.5 364,-600.5 364,-553.5 364,-551.1079 364,-548.6252 364,-546.1342"/>
<polygon fill="#000000" stroke="#000000" points="367.5001,-546.0597 364,-536.0598 360.5001,-546.0598 367.5001,-546.0597"/>
<text text-anchor="start" x="364" y="-574" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[INSTATE([&quot;/P/orthogonal/outer&quot;])]^out.check2 ^to_history &#160;&#160;</text>
</g>
<!-- _P_orthogonal_tester_step1 -->
<g id="node8" class="node">
<title>_P_orthogonal_tester_step1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="392,-772 336,-772 336,-736 392,-736 392,-772"/>
<text text-anchor="start" x="349.3264" y="-750.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">step1</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M348.3333,-737C348.3333,-737 379.6667,-737 379.6667,-737 385.3333,-737 391,-742.6667 391,-748.3333 391,-748.3333 391,-759.6667 391,-759.6667 391,-765.3333 385.3333,-771 379.6667,-771 379.6667,-771 348.3333,-771 348.3333,-771 342.6667,-771 337,-765.3333 337,-759.6667 337,-759.6667 337,-748.3333 337,-748.3333 337,-742.6667 342.6667,-737 348.3333,-737"/>
</g>
<!-- _P_orthogonal_tester_step1&#45;&gt;_P_orthogonal_tester_step2 -->
<g id="edge5" class="edge">
<title>_P_orthogonal_tester_step1&#45;&gt;_P_orthogonal_tester_step2</title>
<path fill="none" stroke="#000000" d="M359.7033,-735.6741C358.7416,-730.1833 358,-724.1255 358,-718.5 358,-718.5 358,-718.5 358,-671.5 358,-669.2146 358.1224,-666.8579 358.3322,-664.4969"/>
<polygon fill="#000000" stroke="#000000" points="361.8359,-664.7039 359.7033,-654.3259 354.8986,-663.7687 361.8359,-664.7039"/>
<text text-anchor="start" x="358" y="-692" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[INSTATE([&quot;/P/orthogonal/wrapper/state_2/inner_4&quot;,&quot;/P/orthogonal/wrapper/state_1/inner_2&quot;])]^out.check1 ^to_outer &#160;&#160;</text>
</g>
<!-- _P_orthogonal_tester_start&#45;&gt;_P_orthogonal_tester_step1 -->
<g id="edge6" class="edge">
<title>_P_orthogonal_tester_start&#45;&gt;_P_orthogonal_tester_step1</title>
<path fill="none" stroke="#000000" d="M364,-854.6715C364,-848.8688 364,-842.413 364,-836.5 364,-836.5 364,-836.5 364,-789.5 364,-787.1079 364,-784.6252 364,-782.1342"/>
<polygon fill="#000000" stroke="#000000" points="367.5001,-782.0597 364,-772.0598 360.5001,-782.0598 367.5001,-782.0597"/>
<text text-anchor="start" x="364" y="-810" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">^to_inner_2 ^to_inner_4 &#160;&#160;</text>
</g>
<!-- _P_orthogonal -->
<!-- _P_orthogonal_initial -->
<g id="node11" class="node">
<title>_P_orthogonal_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="239" cy="-1054.2328" rx="5.5" ry="5.5"/>
</g>
<!-- _P_orthogonal_wrapper -->
<!-- _P_orthogonal_initial&#45;&gt;_P_orthogonal_wrapper -->
<g id="edge7" class="edge">
<title>_P_orthogonal_initial&#45;&gt;_P_orthogonal_wrapper</title>
<path fill="none" stroke="#000000" d="M239,-1048.6987C239,-1041.7148 239,-1029.3335 239,-1018.7328 239,-1018.7328 239,-1018.7328 239,-971.7328 239,-944.5542 146.5926,-970.0283 112.9413,-959.3633"/>
<polygon fill="#000000" stroke="#000000" points="114.4155,-956.174 104,-954.2328 110.9316,-962.2455 114.4155,-956.174"/>
<text text-anchor="middle" x="240.3895" y="-992.2328" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_orthogonal_outer -->
<g id="node12" class="node">
<title>_P_orthogonal_outer</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="136,-1072.2328 80,-1072.2328 80,-1036.2328 136,-1036.2328 136,-1072.2328"/>
<text text-anchor="start" x="94.329" y="-1050.4328" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">outer</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M92.3333,-1037.2328C92.3333,-1037.2328 123.6667,-1037.2328 123.6667,-1037.2328 129.3333,-1037.2328 135,-1042.8995 135,-1048.5661 135,-1048.5661 135,-1059.8995 135,-1059.8995 135,-1065.5661 129.3333,-1071.2328 123.6667,-1071.2328 123.6667,-1071.2328 92.3333,-1071.2328 92.3333,-1071.2328 86.6667,-1071.2328 81,-1065.5661 81,-1059.8995 81,-1059.8995 81,-1048.5661 81,-1048.5661 81,-1042.8995 86.6667,-1037.2328 92.3333,-1037.2328"/>
</g>
<!-- _P_orthogonal_wrapper_history -->
<g id="node14" class="node">
<title>_P_orthogonal_wrapper_history</title>
<ellipse fill="transparent" stroke="#000000" stroke-width="2" cx="59" cy="-872.7328" rx="18.9685" ry="18.9685"/>
<text text-anchor="middle" x="59" y="-869.1328" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">H*</text>
</g>
<!-- _P_orthogonal_outer&#45;&gt;_P_orthogonal_wrapper_history -->
<g id="edge8" class="edge">
<title>_P_orthogonal_outer&#45;&gt;_P_orthogonal_wrapper_history</title>
<path fill="none" stroke="#000000" d="M79.7348,-1038.4251C66.6694,-1030.6485 54,-1022.2108 54,-1018.7328 54,-1018.7328 54,-1018.7328 54,-971.7328 54,-948.2097 55.4254,-921.5826 56.7541,-901.8723"/>
<polygon fill="#000000" stroke="#000000" points="60.2594,-901.9191 57.4727,-891.6974 53.2768,-901.426 60.2594,-901.9191"/>
<text text-anchor="start" x="54" y="-992.2328" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_history &#160;&#160;</text>
</g>
<!-- _P_orthogonal_wrapper&#45;&gt;_P_orthogonal_outer -->
<g id="edge13" class="edge">
<title>_P_orthogonal_wrapper&#45;&gt;_P_orthogonal_outer</title>
<path fill="none" stroke="#000000" d="M104,-954.2328C116.8543,-971.9313 150,-949.8589 150,-971.7328 150,-1018.7328 150,-1018.7328 150,-1018.7328 150,-1024.7268 147.474,-1029.9159 143.661,-1034.3344"/>
<polygon fill="#000000" stroke="#000000" points="141.3098,-1031.7418 136.2476,-1041.0491 146.009,-1036.93 141.3098,-1031.7418"/>
<text text-anchor="start" x="150" y="-992.2328" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_outer &#160;&#160;</text>
</g>
<!-- _P_orthogonal_wrapper_state_2 -->
<!-- _P_orthogonal_wrapper_state_2_initial -->
<g id="node16" class="node">
<title>_P_orthogonal_wrapper_state_2_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="249" cy="-872.7328" rx="5.5" ry="5.5"/>
</g>
<!-- _P_orthogonal_wrapper_state_2_inner_3 -->
<g id="node18" class="node">
<title>_P_orthogonal_wrapper_state_2_inner_3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="280,-418 218,-418 218,-382 280,-382 280,-418"/>
<text text-anchor="start" x="228.9942" y="-396.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">inner_3</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M230.3333,-383C230.3333,-383 267.6667,-383 267.6667,-383 273.3333,-383 279,-388.6667 279,-394.3333 279,-394.3333 279,-405.6667 279,-405.6667 279,-411.3333 273.3333,-417 267.6667,-417 267.6667,-417 230.3333,-417 230.3333,-417 224.6667,-417 219,-411.3333 219,-405.6667 219,-405.6667 219,-394.3333 219,-394.3333 219,-388.6667 224.6667,-383 230.3333,-383"/>
</g>
<!-- _P_orthogonal_wrapper_state_2_initial&#45;&gt;_P_orthogonal_wrapper_state_2_inner_3 -->
<g id="edge9" class="edge">
<title>_P_orthogonal_wrapper_state_2_initial&#45;&gt;_P_orthogonal_wrapper_state_2_inner_3</title>
<path fill="none" stroke="#000000" d="M249,-867.0844C249,-859.9564 249,-847.3195 249,-836.5 249,-836.5 249,-836.5 249,-435.5 249,-433.1079 249,-430.6252 249,-428.1342"/>
<polygon fill="#000000" stroke="#000000" points="252.5001,-428.0597 249,-418.0598 245.5001,-428.0598 252.5001,-428.0597"/>
<text text-anchor="middle" x="250.3895" y="-633" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_orthogonal_wrapper_state_2_inner_4 -->
<g id="node17" class="node">
<title>_P_orthogonal_wrapper_state_2_inner_4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="280,-76 218,-76 218,-40 280,-40 280,-76"/>
<text text-anchor="start" x="228.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="M230.3333,-41C230.3333,-41 267.6667,-41 267.6667,-41 273.3333,-41 279,-46.6667 279,-52.3333 279,-52.3333 279,-63.6667 279,-63.6667 279,-69.3333 273.3333,-75 267.6667,-75 267.6667,-75 230.3333,-75 230.3333,-75 224.6667,-75 219,-69.3333 219,-63.6667 219,-63.6667 219,-52.3333 219,-52.3333 219,-46.6667 224.6667,-41 230.3333,-41"/>
</g>
<!-- _P_orthogonal_wrapper_state_2_inner_3&#45;&gt;_P_orthogonal_wrapper_state_2_inner_4 -->
<g id="edge10" class="edge">
<title>_P_orthogonal_wrapper_state_2_inner_3&#45;&gt;_P_orthogonal_wrapper_state_2_inner_4</title>
<path fill="none" stroke="#000000" d="M243.557,-381.97C241.6617,-374.2076 240,-364.9832 240,-356.5 240,-356.5 240,-356.5 240,-93.5 240,-91.0859 240.198,-88.607 240.5352,-86.1355"/>
<polygon fill="#000000" stroke="#000000" points="243.9918,-86.7008 242.555,-76.2038 237.1322,-85.3057 243.9918,-86.7008"/>
<text text-anchor="start" x="240" y="-222" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_inner_4 &#160;&#160;</text>
</g>
<!-- _P_orthogonal_wrapper_state_1 -->
<!-- _P_orthogonal_wrapper_state_1_initial -->
<g id="node20" class="node">
<title>_P_orthogonal_wrapper_state_1_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="147" cy="-872.7328" rx="5.5" ry="5.5"/>
</g>
<!-- _P_orthogonal_wrapper_state_1_inner_1 -->
<g id="node22" class="node">
<title>_P_orthogonal_wrapper_state_1_inner_1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="178,-418 116,-418 116,-382 178,-382 178,-418"/>
<text text-anchor="start" x="126.9942" y="-396.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">inner_1</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M128.3333,-383C128.3333,-383 165.6667,-383 165.6667,-383 171.3333,-383 177,-388.6667 177,-394.3333 177,-394.3333 177,-405.6667 177,-405.6667 177,-411.3333 171.3333,-417 165.6667,-417 165.6667,-417 128.3333,-417 128.3333,-417 122.6667,-417 117,-411.3333 117,-405.6667 117,-405.6667 117,-394.3333 117,-394.3333 117,-388.6667 122.6667,-383 128.3333,-383"/>
</g>
<!-- _P_orthogonal_wrapper_state_1_initial&#45;&gt;_P_orthogonal_wrapper_state_1_inner_1 -->
<g id="edge11" class="edge">
<title>_P_orthogonal_wrapper_state_1_initial&#45;&gt;_P_orthogonal_wrapper_state_1_inner_1</title>
<path fill="none" stroke="#000000" d="M147,-867.0844C147,-859.9564 147,-847.3195 147,-836.5 147,-836.5 147,-836.5 147,-435.5 147,-433.1079 147,-430.6252 147,-428.1342"/>
<polygon fill="#000000" stroke="#000000" points="150.5001,-428.0597 147,-418.0598 143.5001,-428.0598 150.5001,-428.0597"/>
<text text-anchor="middle" x="148.3895" y="-633" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_orthogonal_wrapper_state_1_inner_2 -->
<g id="node21" class="node">
<title>_P_orthogonal_wrapper_state_1_inner_2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="178,-76 116,-76 116,-40 178,-40 178,-76"/>
<text text-anchor="start" x="126.9942" y="-54.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">inner_2</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M128.3333,-41C128.3333,-41 165.6667,-41 165.6667,-41 171.3333,-41 177,-46.6667 177,-52.3333 177,-52.3333 177,-63.6667 177,-63.6667 177,-69.3333 171.3333,-75 165.6667,-75 165.6667,-75 128.3333,-75 128.3333,-75 122.6667,-75 117,-69.3333 117,-63.6667 117,-63.6667 117,-52.3333 117,-52.3333 117,-46.6667 122.6667,-41 128.3333,-41"/>
</g>
<!-- _P_orthogonal_wrapper_state_1_inner_1&#45;&gt;_P_orthogonal_wrapper_state_1_inner_2 -->
<g id="edge12" class="edge">
<title>_P_orthogonal_wrapper_state_1_inner_1&#45;&gt;_P_orthogonal_wrapper_state_1_inner_2</title>
<path fill="none" stroke="#000000" d="M141.557,-381.97C139.6617,-374.2076 138,-364.9832 138,-356.5 138,-356.5 138,-356.5 138,-93.5 138,-91.0859 138.198,-88.607 138.5352,-86.1355"/>
<polygon fill="#000000" stroke="#000000" points="141.9918,-86.7008 140.555,-76.2038 135.1322,-85.3057 141.9918,-86.7008"/>
<text text-anchor="start" x="138" y="-222" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_inner_2 &#160;&#160;</text>
</g>
</g>
</svg>