examples/Figs_edited/test_dot_x43.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Generated by graphviz version 2.38.0 (20140413.2041)
 -->

<!-- Title: 4.0 Pages: 1 -->

<svg
   xmlns:dc="http://purl.org/dc/elements/1.1/"
   xmlns:cc="http://creativecommons.org/ns#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:svg="http://www.w3.org/2000/svg"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="622.27997pt"
   height="593.46014pt"
   viewBox="0 0 622.27997 593.46014"
   version="1.1"
   id="svg412"
   sodipodi:docname="test_dot_x43.svg"
   inkscape:version="0.92.2 5c3e80d, 2017-08-06">
  <metadata
     id="metadata418">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title></dc:title>
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <defs
     id="defs416">
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker4789"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow2Mstart"
       inkscape:collect="always">
      <path
         transform="scale(0.6)"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         style="fill:#ee0000;fill-opacity:1;fill-rule:evenodd;stroke:#ee0000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         id="path4791"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Mstart"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Mstart"
       style="overflow:visible"
       inkscape:isstock="true"
       inkscape:collect="always">
      <path
         id="path4531"
         style="fill:#ee0000;fill-opacity:1;fill-rule:evenodd;stroke:#ee0000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="scale(0.6)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Mstart"
       orient="auto"
       refY="0"
       refX="0"
       id="marker5325"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path5327"
         style="fill:#204a87;fill-opacity:1;fill-rule:evenodd;stroke:#204a87;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="scale(0.6)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:isstock="true"
       style="overflow:visible"
       id="marker5285"
       refX="0"
       refY="0"
       orient="auto"
       inkscape:stockid="Arrow2Mstart">
      <path
         transform="scale(0.6)"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         style="fill:#204a87;fill-opacity:1;fill-rule:evenodd;stroke:#204a87;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         id="path5287"
         inkscape:connector-curvature="0" />
    </marker>
  </defs>
  <sodipodi:namedview
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1"
     objecttolerance="10"
     gridtolerance="10"
     guidetolerance="10"
     inkscape:pageopacity="0"
     inkscape:pageshadow="2"
     inkscape:window-width="1213"
     inkscape:window-height="956"
     id="namedview414"
     showgrid="false"
     inkscape:zoom="0.60358817"
     inkscape:cx="449.29983"
     inkscape:cy="242.58857"
     inkscape:window-x="341"
     inkscape:window-y="0"
     inkscape:window-maximized="0"
     inkscape:current-layer="svg412"
     fit-margin-top="0"
     fit-margin-left="0"
     fit-margin-right="0"
     fit-margin-bottom="0" />
  <g
     id="graph0"
     class="graph"
     transform="translate(4,589.46013)">
    <title
       id="title2">4.0</title>
    <polygon
       points="390,-580 390,4 -4,4 -4,-580 "
       id="polygon4"
       style="fill:#ffffff;stroke:none" />
    <!-- node_1 -->
    <g
       id="node1"
       class="node">
      <title
         id="title6">node_1</title>
      <polygon
         points="355.5,-576 355.5,-551 300.5,-551 300.5,-576 "
         id="polygon8"
         style="fill:none;stroke:#000000" />
      <text
         x="324.5"
         y="-559.79999"
         font-size="14.00"
         id="text10"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">4</text>
      <polygon
         points="329.5,-551 329.5,-522 300.5,-522 300.5,-551 "
         id="polygon12"
         style="fill:none;stroke:#000000" />
      <text
         x="307.5"
         y="-532.79999"
         font-size="14.00"
         id="text14"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">3</text>
      <polygon
         points="355.5,-551 355.5,-522 329.5,-522 329.5,-551 "
         id="polygon16"
         style="fill:none;stroke:#000000" />
      <text
         x="334.5"
         y="-532.79999"
         font-size="14.00"
         id="text18"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">ϕ</text>
    </g>
    <!-- node_2 -->
    <g
       id="node2"
       class="node">
      <title
         id="title21">node_2</title>
      <polygon
         points="343.5,-486 343.5,-461 285.5,-461 285.5,-486 "
         id="polygon23"
         style="fill:none;stroke:#000000" />
      <text
         x="311"
         y="-469.79999"
         font-size="14.00"
         id="text25"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">3</text>
      <polygon
         points="314.5,-461 314.5,-432 285.5,-432 285.5,-461 "
         id="polygon27"
         style="fill:none;stroke:#000000" />
      <text
         x="292.5"
         y="-442.79999"
         font-size="14.00"
         id="text29"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">2</text>
      <polygon
         points="343.5,-461 343.5,-432 314.5,-432 314.5,-461 "
         id="polygon31"
         style="fill:none;stroke:#000000" />
      <text
         x="321.5"
         y="-442.79999"
         font-size="14.00"
         id="text33"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">4</text>
    </g>
    <!-- node_1&#45;&gt;node_2 -->
    <g
       id="edge1"
       class="edge">
      <title
         id="title36">node_1:3-&gt;node_2</title>
      <path
         d="m 314.5,-528 c 0,10.251 0,21.372 0,31.593"
         id="path38"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="311,-496.156 318,-496.156 314.5,-486.156 "
         id="polygon40"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_3 -->
    <g
       id="node3"
       class="node">
      <title
         id="title43">node_3</title>
      <polygon
         points="299.5,-396 299.5,-371 241.5,-371 241.5,-396 "
         id="polygon45"
         style="fill:none;stroke:#000000" />
      <text
         x="267"
         y="-379.79999"
         font-size="14.00"
         id="text47"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">2</text>
      <polygon
         points="270.5,-371 270.5,-342 241.5,-342 241.5,-371 "
         id="polygon49"
         style="fill:none;stroke:#000000" />
      <text
         x="248.5"
         y="-352.79999"
         font-size="14.00"
         id="text51"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">1</text>
      <polygon
         points="299.5,-371 299.5,-342 270.5,-342 270.5,-371 "
         id="polygon53"
         style="fill:none;stroke:#000000" />
      <text
         x="277.5"
         y="-352.79999"
         font-size="14.00"
         id="text55"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">3</text>
    </g>
    <!-- node_2&#45;&gt;node_3 -->
    <g
       id="edge2"
       class="edge">
      <title
         id="title58">node_2:2-&gt;node_3</title>
      <path
         d="m 299.5,-438 c 0,11.202 -3.371,22.67 -7.814,32.92"
         id="path60"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="288.525,-406.583 294.84,-403.563 287.369,-396.051 "
         id="polygon62"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_17 -->
    <g
       id="node17"
       class="node">
      <title
         id="title65">node_17</title>
      <polygon
         points="386.5,-396 386.5,-371 331.5,-371 331.5,-396 "
         id="polygon67"
         style="fill:none;stroke:#000000" />
      <text
         x="355.5"
         y="-379.79999"
         font-size="14.00"
         id="text69"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">4</text>
      <polygon
         points="360.5,-371 360.5,-342 331.5,-342 331.5,-371 "
         id="polygon71"
         style="fill:none;stroke:#000000" />
      <text
         x="338.5"
         y="-352.79999"
         font-size="14.00"
         id="text73"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">3</text>
      <polygon
         points="386.5,-371 386.5,-342 360.5,-342 360.5,-371 "
         id="polygon75"
         style="fill:none;stroke:#000000" />
      <text
         x="365.5"
         y="-352.79999"
         font-size="14.00"
         id="text77"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">ϕ</text>
    </g>
    <!-- node_2&#45;&gt;node_17 -->
    <g
       id="edge16"
       class="edge">
      <title
         id="title80">node_2:4-&gt;node_17</title>
      <path
         d="m 329.5,-438 c 0,11.202 3.371,22.67 7.814,32.92"
         id="path82"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="334.16,-403.563 340.475,-406.583 341.631,-396.051 "
         id="polygon84"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_4 -->
    <g
       id="node4"
       class="node">
      <title
         id="title87">node_4</title>
      <polygon
         points="213.5,-306 213.5,-281 155.5,-281 155.5,-306 "
         id="polygon89"
         style="fill:none;stroke:#000000" />
      <text
         x="181"
         y="-289.79999"
         font-size="14.00"
         id="text91"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">1</text>
      <polygon
         points="184.5,-281 184.5,-252 155.5,-252 155.5,-281 "
         id="polygon93"
         style="fill:none;stroke:#000000" />
      <text
         x="162.5"
         y="-262.79999"
         font-size="14.00"
         id="text95"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">0</text>
      <polygon
         points="213.5,-281 213.5,-252 184.5,-252 184.5,-281 "
         id="polygon97"
         style="fill:none;stroke:#000000" />
      <text
         x="191.5"
         y="-262.79999"
         font-size="14.00"
         id="text99"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">2</text>
    </g>
    <!-- node_3&#45;&gt;node_4 -->
    <g
       id="edge3"
       class="edge">
      <title
         id="title102">node_3:1-&gt;node_4</title>
      <path
         d="m 255.5,-348 c 0,20.784 -16.065,37.181 -32.912,48.663"
         id="path104"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="220.378,-302.081 224.113,-296.161 213.788,-293.784 "
         id="polygon106"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_13 -->
    <g
       id="node13"
       class="node">
      <title
         id="title109">node_13</title>
      <polygon
         points="313.5,-306 313.5,-281 258.5,-281 258.5,-306 "
         id="polygon111"
         style="fill:none;stroke:#000000" />
      <text
         x="282.5"
         y="-289.79999"
         font-size="14.00"
         id="text113"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">3</text>
      <polygon
         points="287.5,-281 287.5,-252 258.5,-252 258.5,-281 "
         id="polygon115"
         style="fill:none;stroke:#000000" />
      <text
         x="265.5"
         y="-262.79999"
         font-size="14.00"
         id="text117"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">2</text>
      <polygon
         points="313.5,-281 313.5,-252 287.5,-252 287.5,-281 "
         id="polygon119"
         style="fill:none;stroke:#000000" />
      <text
         x="292.5"
         y="-262.79999"
         font-size="14.00"
         id="text121"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">ϕ</text>
    </g>
    <!-- node_3&#45;&gt;node_13 -->
    <g
       id="edge12"
       class="edge">
      <title
         id="title124">node_3:3-&gt;node_13</title>
      <path
         d="m 285.5,-348 c 0,10.251 0,21.372 0,31.593"
         id="path126"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="282,-316.156 289,-316.156 285.5,-306.156 "
         id="polygon128"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_5 -->
    <g
       id="node5"
       class="node">
      <title
         id="title131">node_5</title>
      <polygon
         points="127.5,-216 127.5,-191 65.5,-191 65.5,-216 "
         id="polygon133"
         style="fill:none;stroke:#000000" />
      <text
         x="93"
         y="-199.8"
         font-size="14.00"
         id="text135"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">0</text>
      <polygon
         points="98.5,-191 98.5,-162 65.5,-162 65.5,-191 "
         id="polygon137"
         style="fill:none;stroke:#000000" />
      <text
         x="72.5"
         y="-172.8"
         font-size="14.00"
         id="text139"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">-1</text>
      <polygon
         points="127.5,-191 127.5,-162 98.5,-162 98.5,-191 "
         id="polygon141"
         style="fill:none;stroke:#000000" />
      <text
         x="105.5"
         y="-172.8"
         font-size="14.00"
         id="text143"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">1</text>
    </g>
    <!-- node_4&#45;&gt;node_5 -->
    <g
       id="edge4"
       class="edge">
      <title
         id="title146">node_4:0-&gt;node_5</title>
      <path
         d="m 169.5,-258 c 0,20.649 -15.832,36.813 -32.75,48.191"
         id="path148"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="134.528,-212.548 138.223,-206.603 127.882,-204.297 "
         id="polygon150"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_10 -->
    <g
       id="node10"
       class="node">
      <title
         id="title153">node_10</title>
      <polygon
         points="227.5,-216 227.5,-191 172.5,-191 172.5,-216 "
         id="polygon155"
         style="fill:none;stroke:#000000" />
      <text
         x="196.5"
         y="-199.8"
         font-size="14.00"
         id="text157"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">2</text>
      <polygon
         points="201.5,-191 201.5,-162 172.5,-162 172.5,-191 "
         id="polygon159"
         style="fill:none;stroke:#000000" />
      <text
         x="179.5"
         y="-172.8"
         font-size="14.00"
         id="text161"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">1</text>
      <polygon
         points="227.5,-191 227.5,-162 201.5,-162 201.5,-191 "
         id="polygon163"
         style="fill:none;stroke:#000000" />
      <text
         x="206.5"
         y="-172.8"
         font-size="14.00"
         id="text165"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">ϕ</text>
    </g>
    <!-- node_4&#45;&gt;node_10 -->
    <g
       id="edge9"
       class="edge">
      <title
         id="title168">node_4:2-&gt;node_10</title>
      <path
         d="m 199.5,-258 c 0,10.251 0,21.372 0,31.593"
         id="path170"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="196,-226.156 203,-226.156 199.5,-216.156 "
         id="polygon172"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_6 -->
    <g
       id="node6"
       class="node">
      <title
         id="title175">node_6</title>
      <polygon
         points="55.5,-126 55.5,-101 0.5,-101 0.5,-126 "
         id="polygon177"
         style="fill:none;stroke:#000000" />
      <text
         x="22"
         y="-109.8"
         font-size="14.00"
         id="text179"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">-1</text>
      <polygon
         points="26.5,-101 26.5,-72 0.5,-72 0.5,-101 "
         id="polygon181"
         style="fill:none;stroke:#000000" />
      <text
         x="5.5"
         y="-82.800003"
         font-size="14.00"
         id="text183"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">ϕ</text>
      <polygon
         points="55.5,-101 55.5,-72 26.5,-72 26.5,-101 "
         id="polygon185"
         style="fill:none;stroke:#000000" />
      <text
         x="33.5"
         y="-82.800003"
         font-size="14.00"
         id="text187"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">0</text>
    </g>
    <!-- node_5&#45;&gt;node_6 -->
    <g
       id="edge5"
       class="edge">
      <title
         id="title190">node_5:-1-&gt;node_6</title>
      <path
         d="m 81.5,-168 c 0,15.433 -8.6358,29.398 -19.0004,40.6"
         id="path192"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="59.7736,-129.626 64.7002,-124.654 55.1328,-120.102 "
         id="polygon194"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_8 -->
    <g
       id="node8"
       class="node">
      <title
         id="title197">node_8</title>
      <polygon
         points="141.5,-126 141.5,-101 86.5,-101 86.5,-126 "
         id="polygon199"
         style="fill:none;stroke:#000000" />
      <text
         x="110.5"
         y="-109.8"
         font-size="14.00"
         id="text201"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">1</text>
      <polygon
         points="115.5,-101 115.5,-72 86.5,-72 86.5,-101 "
         id="polygon203"
         style="fill:none;stroke:#000000" />
      <text
         x="93.5"
         y="-82.800003"
         font-size="14.00"
         id="text205"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">0</text>
      <polygon
         points="141.5,-101 141.5,-72 115.5,-72 115.5,-101 "
         id="polygon207"
         style="fill:none;stroke:#000000" />
      <text
         x="120.5"
         y="-82.800003"
         font-size="14.00"
         id="text209"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">ϕ</text>
    </g>
    <!-- node_5&#45;&gt;node_8 -->
    <g
       id="edge7"
       class="edge">
      <title
         id="title212">node_5:1-&gt;node_8</title>
      <path
         d="m 113.5,-168 c 0,10.251 0,21.372 0,31.593"
         id="path214"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="110,-136.156 117,-136.156 113.5,-126.156 "
         id="polygon216"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_7 -->
    <g
       id="node7"
       class="node">
      <title
         id="title219">node_7</title>
      <text
         x="26"
         y="-15.3"
         font-weight="bold"
         font-size="14.00"
         id="text221"
         style="font-weight:bold;font-size:14px;font-family:Times, serif;text-anchor:start">0</text>
    </g>
    <!-- node_6&#45;&gt;node_7 -->
    <g
       id="edge6"
       class="edge">
      <title
         id="title224">node_6:0-&gt;node_7</title>
      <path
         d="m 41.5,-78 c 0,10.6283 -1.8931,22.1215 -4.1754,32.1158"
         id="path226"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="33.9113,-46.6624 40.7002,-44.9561 34.8682,-36.1108 "
         id="polygon228"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_9 -->
    <g
       id="node9"
       class="node">
      <title
         id="title231">node_9</title>
      <text
         x="98"
         y="-15.3"
         font-weight="bold"
         font-size="14.00"
         id="text233"
         style="font-weight:bold;font-size:14px;font-family:Times, serif;text-anchor:start">0</text>
    </g>
    <!-- node_8&#45;&gt;node_9 -->
    <g
       id="edge8"
       class="edge">
      <title
         id="title236">node_8:0-&gt;node_9</title>
      <path
         d="m 100.5,-78 c 0,10.3822 0.157,21.7906 0.346,31.7856"
         id="path238"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="97.3504,-45.9637 104.349,-46.1098 101.058,-36.0389 "
         id="polygon240"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_11 -->
    <g
       id="node11"
       class="node">
      <title
         id="title243">node_11</title>
      <polygon
         points="214.5,-126 214.5,-101 159.5,-101 159.5,-126 "
         id="polygon245"
         style="fill:none;stroke:#000000" />
      <text
         x="183.5"
         y="-109.8"
         font-size="14.00"
         id="text247"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">1</text>
      <polygon
         points="188.5,-101 188.5,-72 159.5,-72 159.5,-101 "
         id="polygon249"
         style="fill:none;stroke:#000000" />
      <text
         x="166.5"
         y="-82.800003"
         font-size="14.00"
         id="text251"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">0</text>
      <polygon
         points="214.5,-101 214.5,-72 188.5,-72 188.5,-101 "
         id="polygon253"
         style="fill:none;stroke:#000000" />
      <text
         x="193.5"
         y="-82.800003"
         font-size="14.00"
         id="text255"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">ϕ</text>
    </g>
    <!-- node_10&#45;&gt;node_11 -->
    <g
       id="edge10"
       class="edge">
      <title
         id="title258">node_10:1-&gt;node_11</title>
      <path
         d="m 186.5,-168 c 0,10.251 0,21.372 0,31.593"
         id="path260"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="183,-136.156 190,-136.156 186.5,-126.156 "
         id="polygon262"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_12 -->
    <g
       id="node12"
       class="node">
      <title
         id="title265">node_12</title>
      <text
         x="170"
         y="-15.3"
         font-weight="bold"
         font-size="14.00"
         id="text267"
         style="font-weight:bold;font-size:14px;font-family:Times, serif;text-anchor:start">0</text>
    </g>
    <!-- node_11&#45;&gt;node_12 -->
    <g
       id="edge11"
       class="edge">
      <title
         id="title270">node_11:0-&gt;node_12</title>
      <path
         d="m 173.5,-78 c 0,10.3807 0,21.7888 0,31.7839"
         id="path272"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="170,-46.0403 177,-46.0402 173.5,-36.0402 "
         id="polygon274"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_14 -->
    <g
       id="node14"
       class="node">
      <title
         id="title277">node_14</title>
      <polygon
         points="300.5,-216 300.5,-191 245.5,-191 245.5,-216 "
         id="polygon279"
         style="fill:none;stroke:#000000" />
      <text
         x="269.5"
         y="-199.8"
         font-size="14.00"
         id="text281"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">2</text>
      <polygon
         points="274.5,-191 274.5,-162 245.5,-162 245.5,-191 "
         id="polygon283"
         style="fill:none;stroke:#000000" />
      <text
         x="252.5"
         y="-172.8"
         font-size="14.00"
         id="text285"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">1</text>
      <polygon
         points="300.5,-191 300.5,-162 274.5,-162 274.5,-191 "
         id="polygon287"
         style="fill:none;stroke:#000000" />
      <text
         x="279.5"
         y="-172.8"
         font-size="14.00"
         id="text289"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">ϕ</text>
    </g>
    <!-- node_13&#45;&gt;node_14 -->
    <g
       id="edge13"
       class="edge">
      <title
         id="title292">node_13:2-&gt;node_14</title>
      <path
         d="m 272.5,-258 c 0,10.251 0,21.372 0,31.593"
         id="path294"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="269,-226.156 276,-226.156 272.5,-216.156 "
         id="polygon296"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_15 -->
    <g
       id="node15"
       class="node">
      <title
         id="title299">node_15</title>
      <polygon
         points="287.5,-126 287.5,-101 232.5,-101 232.5,-126 "
         id="polygon301"
         style="fill:none;stroke:#000000" />
      <text
         x="256.5"
         y="-109.8"
         font-size="14.00"
         id="text303"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">1</text>
      <polygon
         points="261.5,-101 261.5,-72 232.5,-72 232.5,-101 "
         id="polygon305"
         style="fill:none;stroke:#000000" />
      <text
         x="239.5"
         y="-82.800003"
         font-size="14.00"
         id="text307"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">0</text>
      <polygon
         points="287.5,-101 287.5,-72 261.5,-72 261.5,-101 "
         id="polygon309"
         style="fill:none;stroke:#000000" />
      <text
         x="266.5"
         y="-82.800003"
         font-size="14.00"
         id="text311"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">ϕ</text>
    </g>
    <!-- node_14&#45;&gt;node_15 -->
    <g
       id="edge14"
       class="edge">
      <title
         id="title314">node_14:1-&gt;node_15</title>
      <path
         d="m 259.5,-168 c 0,10.251 0,21.372 0,31.593"
         id="path316"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="256,-136.156 263,-136.156 259.5,-126.156 "
         id="polygon318"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_16 -->
    <g
       id="node16"
       class="node">
      <title
         id="title321">node_16</title>
      <text
         x="243"
         y="-15.3"
         font-weight="bold"
         font-size="14.00"
         id="text323"
         style="font-weight:bold;font-size:14px;font-family:Times, serif;text-anchor:start">0</text>
    </g>
    <!-- node_15&#45;&gt;node_16 -->
    <g
       id="edge15"
       class="edge">
      <title
         id="title326">node_15:0-&gt;node_16</title>
      <path
         d="m 246.5,-78 c 0,10.3807 0,21.7888 0,31.7839"
         id="path328"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="243,-46.0403 250,-46.0402 246.5,-36.0402 "
         id="polygon330"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_18 -->
    <g
       id="node18"
       class="node">
      <title
         id="title333">node_18</title>
      <polygon
         points="386.5,-306 386.5,-281 331.5,-281 331.5,-306 "
         id="polygon335"
         style="fill:none;stroke:#000000" />
      <text
         x="355.5"
         y="-289.79999"
         font-size="14.00"
         id="text337"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">3</text>
      <polygon
         points="360.5,-281 360.5,-252 331.5,-252 331.5,-281 "
         id="polygon339"
         style="fill:none;stroke:#000000" />
      <text
         x="338.5"
         y="-262.79999"
         font-size="14.00"
         id="text341"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">2</text>
      <polygon
         points="386.5,-281 386.5,-252 360.5,-252 360.5,-281 "
         id="polygon343"
         style="fill:none;stroke:#000000" />
      <text
         x="365.5"
         y="-262.79999"
         font-size="14.00"
         id="text345"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">ϕ</text>
    </g>
    <!-- node_17&#45;&gt;node_18 -->
    <g
       id="edge17"
       class="edge">
      <title
         id="title348">node_17:3-&gt;node_18</title>
      <path
         d="m 345.5,-348 c 0,10.457 1.501,21.66 3.484,31.894"
         id="path350"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="345.576,-315.305 352.421,-316.769 351.089,-306.258 "
         id="polygon352"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_19 -->
    <g
       id="node19"
       class="node">
      <title
         id="title355">node_19</title>
      <polygon
         points="373.5,-216 373.5,-191 318.5,-191 318.5,-216 "
         id="polygon357"
         style="fill:none;stroke:#000000" />
      <text
         x="342.5"
         y="-199.8"
         font-size="14.00"
         id="text359"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">2</text>
      <polygon
         points="347.5,-191 347.5,-162 318.5,-162 318.5,-191 "
         id="polygon361"
         style="fill:none;stroke:#000000" />
      <text
         x="325.5"
         y="-172.8"
         font-size="14.00"
         id="text363"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">1</text>
      <polygon
         points="373.5,-191 373.5,-162 347.5,-162 347.5,-191 "
         id="polygon365"
         style="fill:none;stroke:#000000" />
      <text
         x="352.5"
         y="-172.8"
         font-size="14.00"
         id="text367"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">ϕ</text>
    </g>
    <!-- node_18&#45;&gt;node_19 -->
    <g
       id="edge18"
       class="edge">
      <title
         id="title370">node_18:2-&gt;node_19</title>
      <path
         d="m 345.5,-258 c 0,10.251 0,21.372 0,31.593"
         id="path372"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="342,-226.156 349,-226.156 345.5,-216.156 "
         id="polygon374"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_20 -->
    <g
       id="node20"
       class="node">
      <title
         id="title377">node_20</title>
      <polygon
         points="360.5,-126 360.5,-101 305.5,-101 305.5,-126 "
         id="polygon379"
         style="fill:none;stroke:#000000" />
      <text
         x="329.5"
         y="-109.8"
         font-size="14.00"
         id="text381"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">1</text>
      <polygon
         points="334.5,-101 334.5,-72 305.5,-72 305.5,-101 "
         id="polygon383"
         style="fill:none;stroke:#000000" />
      <text
         x="312.5"
         y="-82.800003"
         font-size="14.00"
         id="text385"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">0</text>
      <polygon
         points="360.5,-101 360.5,-72 334.5,-72 334.5,-101 "
         id="polygon387"
         style="fill:none;stroke:#000000" />
      <text
         x="339.5"
         y="-82.800003"
         font-size="14.00"
         id="text389"
         style="font-size:14px;font-family:Times, serif;text-anchor:start">ϕ</text>
    </g>
    <!-- node_19&#45;&gt;node_20 -->
    <g
       id="edge19"
       class="edge">
      <title
         id="title392">node_19:1-&gt;node_20</title>
      <path
         d="m 332.5,-168 c 0,10.251 0,21.372 0,31.593"
         id="path394"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="329,-136.156 336,-136.156 332.5,-126.156 "
         id="polygon396"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- node_21 -->
    <g
       id="node21"
       class="node">
      <title
         id="title399">node_21</title>
      <text
         x="316"
         y="-15.3"
         font-weight="bold"
         font-size="14.00"
         id="text401"
         style="font-weight:bold;font-size:14px;font-family:Times, serif;text-anchor:start">0</text>
    </g>
    <!-- node_20&#45;&gt;node_21 -->
    <g
       id="edge20"
       class="edge">
      <title
         id="title404">node_20:0-&gt;node_21</title>
      <path
         d="m 319.5,-78 c 0,10.3807 0,21.7888 0,31.7839"
         id="path406"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="316,-46.0403 323,-46.0402 319.5,-36.0402 "
         id="polygon408"
         style="fill:#000000;stroke:#000000" />
    </g>
  </g>
  <g
     transform="translate(99.061485,-19.357308)"
     id="g1112">
    <g
       transform="translate(-0.2500001,27.99661)"
       id="g5249">
      <ellipse
         style="opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#ee0000;stroke-width:1.60000002;stroke-linecap:butt;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
         id="path4468"
         cx="232.69073"
         cy="30.84774"
         rx="40.874279"
         ry="38.687042" />
      <ellipse
         ry="38.687042"
         rx="40.874279"
         cy="211.49181"
         cx="263.62292"
         id="ellipse4489"
         style="opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#ee0000;stroke-width:1.60000002;stroke-linecap:butt;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
      <path
         style="opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#ee0000;stroke-width:1.60000002;stroke-linecap:butt;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-start:url(#marker4789)"
         d="m 269.62248,51.647674 74.71226,50.790986"
         id="path4491"
         inkscape:connector-curvature="0"
         sodipodi:nodetypes="cc" />
      <path
         style="opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#ee0000;stroke-width:1.60000002;stroke-linecap:butt;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-start:url(#Arrow2Mstart)"
         d="m 295.7492,184.16186 48.14809,-60.46414"
         id="path4493"
         inkscape:connector-curvature="0"
         sodipodi:nodetypes="cc" />
      <text
         xml:space="preserve"
         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:'FreeSans, Normal';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#ee0000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         x="345.31577"
         y="107.16909"
         id="text4495"><tspan
           sodipodi:role="line"
           id="tspan4497"
           x="345.31577"
           y="107.16909"
           style="font-size:12px;line-height:1.14999998;fill:#ee0000;fill-opacity:1">These two forms are</tspan><tspan
           style="font-size:16px;line-height:1.14999998"
           sodipodi:role="line"
           x="345.31577"
           y="120.96909"
           id="tspan4499"><tspan
             style="font-size:12px;fill:#ee0000;fill-opacity:1"
             id="tspan4501">equivalent, but not equa</tspan><tspan
             id="tspan5957"
             style="font-size:12px">l</tspan></tspan></text>
    </g>
    <g
       id="g1068">
      <ellipse
         ry="38.687042"
         rx="40.874279"
         cy="329.1918"
         cx="190.37292"
         id="ellipse5261"
         style="opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#204a87;stroke-width:1.60000002;stroke-linecap:butt;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
      <ellipse
         style="opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#204a87;stroke-width:1.60000002;stroke-linecap:butt;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
         id="ellipse5263"
         cx="263.99158"
         cy="329.81046"
         rx="40.874279"
         ry="38.687042" />
      <path
         sodipodi:nodetypes="cc"
         inkscape:connector-curvature="0"
         id="path5265"
         d="m 219.88095,299.57225 c 27.91768,-15.2854 57.32989,-28.10922 112.75887,1.9181"
         style="opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#204a87;stroke-width:1.60000002;stroke-linecap:butt;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-start:url(#marker5325)" />
      <path
         sodipodi:nodetypes="cc"
         inkscape:connector-curvature="0"
         id="path5267"
         d="m 305.08818,320.42118 28.35148,-14.06584"
         style="opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#204a87;stroke-width:1.60000002;stroke-linecap:butt;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-start:url(#marker5285)" />
      <text
         id="text5269"
         y="304.67416"
         x="333.62085"
         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:'FreeSans, Normal';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#204a87;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
         xml:space="preserve"><tspan
           id="tspan5273"
           y="304.67416"
           x="333.62085"
           sodipodi:role="line"
           style="font-size:12px;line-height:1.14999998;fill:#204a87;fill-opacity:1">These two forms are equal</tspan><tspan
           y="318.47415"
           x="333.62085"
           sodipodi:role="line"
           style="font-size:12px;line-height:1.14999998;fill:#204a87;fill-opacity:1"
           id="tspan5955">as they have the same subtree.</tspan></text>
    </g>
  </g>
</svg>