| <?xml version="1.0" encoding="UTF-8" standalone="no"?> | |
| <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" | |
| id="svg8" | |
| version="1.1" | |
| viewBox="0 0 220 210" | |
| height="210mm" | |
| width="220mm"> | |
| <defs | |
| id="defs2"> | |
| <marker | |
| inkscape:isstock="true" | |
| style="overflow:visible" | |
| id="Arrow2Lend" | |
| refX="0" | |
| refY="0" | |
| orient="auto" | |
| inkscape:stockid="Arrow2Lend"> | |
| <path | |
| transform="matrix(-1.1,0,0,-1.1,-1.1,0)" | |
| 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:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" | |
| id="path1109" /> | |
| </marker> | |
| <marker | |
| inkscape:isstock="true" | |
| style="overflow:visible" | |
| id="Arrow1Lend" | |
| refX="0" | |
| refY="0" | |
| orient="auto" | |
| inkscape:stockid="Arrow1Lend"> | |
| <path | |
| transform="matrix(-0.8,0,0,-0.8,-10,0)" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1" | |
| d="M 0,0 5,-5 -12.5,0 5,5 Z" | |
| id="path1091" /> | |
| </marker> | |
| <marker | |
| inkscape:stockid="Arrow2Lend" | |
| orient="auto" | |
| refY="0" | |
| refX="0" | |
| id="Arrow2Lend-5" | |
| style="overflow:visible" | |
| inkscape:isstock="true"> | |
| <path | |
| id="path1109-7" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;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="matrix(-1.1,0,0,-1.1,-1.1,0)" /> | |
| </marker> | |
| <marker | |
| inkscape:stockid="Arrow2Lend" | |
| orient="auto" | |
| refY="0" | |
| refX="0" | |
| id="Arrow2Lend-6" | |
| style="overflow:visible" | |
| inkscape:isstock="true"> | |
| <path | |
| id="path1109-77" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;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="matrix(-1.1,0,0,-1.1,-1.1,0)" /> | |
| </marker> | |
| <marker | |
| inkscape:stockid="Arrow2Lend" | |
| orient="auto" | |
| refY="0" | |
| refX="0" | |
| id="Arrow2Lend-1" | |
| style="overflow:visible" | |
| inkscape:isstock="true"> | |
| <path | |
| id="path1109-0" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;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="matrix(-1.1,0,0,-1.1,-1.1,0)" /> | |
| </marker> | |
| <marker | |
| inkscape:stockid="Arrow2Lend" | |
| orient="auto" | |
| refY="0" | |
| refX="0" | |
| id="Arrow2Lend-8" | |
| style="overflow:visible" | |
| inkscape:isstock="true"> | |
| <path | |
| id="path1109-73" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;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="matrix(-1.1,0,0,-1.1,-1.1,0)" /> | |
| </marker> | |
| <marker | |
| inkscape:stockid="Arrow2Lend" | |
| orient="auto" | |
| refY="0" | |
| refX="0" | |
| id="Arrow2Lend-81" | |
| style="overflow:visible" | |
| inkscape:isstock="true"> | |
| <path | |
| id="path1109-8" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;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="matrix(-1.1,0,0,-1.1,-1.1,0)" /> | |
| </marker> | |
| <marker | |
| inkscape:stockid="Arrow2Lend" | |
| orient="auto" | |
| refY="0" | |
| refX="0" | |
| id="Arrow2Lend-7" | |
| style="overflow:visible" | |
| inkscape:isstock="true"> | |
| <path | |
| id="path1109-5" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;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="matrix(-1.1,0,0,-1.1,-1.1,0)" /> | |
| </marker> | |
| <marker | |
| inkscape:stockid="Arrow2Lend" | |
| orient="auto" | |
| refY="0" | |
| refX="0" | |
| id="Arrow2Lend-2" | |
| style="overflow:visible" | |
| inkscape:isstock="true"> | |
| <path | |
| id="path1109-6" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;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="matrix(-1.1,0,0,-1.1,-1.1,0)" /> | |
| </marker> | |
| <marker | |
| inkscape:stockid="Arrow2Lend" | |
| orient="auto" | |
| refY="0" | |
| refX="0" | |
| id="Arrow2Lend-83" | |
| style="overflow:visible" | |
| inkscape:isstock="true"> | |
| <path | |
| id="path1109-88" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;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="matrix(-1.1,0,0,-1.1,-1.1,0)" /> | |
| </marker> | |
| <marker | |
| inkscape:stockid="Arrow2Lend" | |
| orient="auto" | |
| refY="0" | |
| refX="0" | |
| id="Arrow2Lend-0" | |
| style="overflow:visible" | |
| inkscape:isstock="true"> | |
| <path | |
| id="path1109-81" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;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="matrix(-1.1,0,0,-1.1,-1.1,0)" /> | |
| </marker> | |
| <marker | |
| inkscape:stockid="Arrow2Lend" | |
| orient="auto" | |
| refY="0" | |
| refX="0" | |
| id="Arrow2Lend-15" | |
| style="overflow:visible" | |
| inkscape:isstock="true"> | |
| <path | |
| id="path1109-67" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;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="matrix(-1.1,0,0,-1.1,-1.1,0)" /> | |
| </marker> | |
| </defs> | |
| <g | |
| id="layer1" | |
| inkscape:groupmode="layer" | |
| inkscape:label="Layer 1"> | |
| <rect | |
| y="2.6458333" | |
| x="55.5625" | |
| height="10.583333" | |
| width="42.333332" | |
| id="rect12" | |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> | |
| <text | |
| id="text839" | |
| y="9.2361279" | |
| x="76.561562" | |
| style="font-size:4.93889px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" | |
| xml:space="preserve"><tspan | |
| style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583" | |
| y="9.2361279" | |
| x="76.561562" | |
| id="tspan837" | |
| sodipodi:role="line">Entry</tspan></text> | |
| <rect | |
| style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" | |
| id="rect12-8" | |
| width="52.916668" | |
| height="26.458334" | |
| x="50.270832" | |
| y="23.812498" /> | |
| <text | |
| xml:space="preserve" | |
| style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583" | |
| x="54.303524" | |
| y="30.288889" | |
| id="text839-6"><tspan | |
| sodipodi:role="line" | |
| id="tspan837-3" | |
| x="54.303524" | |
| y="30.288889" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583">// Pre: x is ⊥</tspan><tspan | |
| id="tspan876" | |
| sodipodi:role="line" | |
| x="54.303524" | |
| y="35.772423" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583">int x;</tspan><tspan | |
| id="tspan878" | |
| sodipodi:role="line" | |
| x="54.303524" | |
| y="41.255955" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583">if (n > 0)</tspan><tspan | |
| id="tspan874" | |
| sodipodi:role="line" | |
| x="54.303524" | |
| y="47.197174" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583">// Post: x is ⊥</tspan></text> | |
| <rect | |
| y="92.604164" | |
| x="2.6458302" | |
| height="21.166666" | |
| width="52.916668" | |
| id="rect12-8-6" | |
| style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> | |
| <text | |
| id="text839-6-0" | |
| y="99.405327" | |
| x="6.154747" | |
| style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583" | |
| xml:space="preserve"><tspan | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583" | |
| y="99.405327" | |
| x="6.154747" | |
| id="tspan837-3-1" | |
| sodipodi:role="line">// Pre: x is ⊥</tspan><tspan | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583" | |
| y="104.88886" | |
| x="6.154747" | |
| sodipodi:role="line" | |
| id="tspan878-2">x = n;</tspan><tspan | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583" | |
| y="110.37239" | |
| x="6.154747" | |
| sodipodi:role="line" | |
| id="tspan874-3">// Post: x is ⊤</tspan></text> | |
| <rect | |
| y="60.854168" | |
| x="121.70833" | |
| height="21.166666" | |
| width="52.916668" | |
| id="rect12-8-3" | |
| style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> | |
| <text | |
| id="text839-6-3" | |
| y="67.426483" | |
| x="125.74102" | |
| style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583" | |
| xml:space="preserve"><tspan | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583" | |
| y="67.426483" | |
| x="125.74102" | |
| id="tspan837-3-7" | |
| sodipodi:role="line">// Pre: x is ⊥</tspan><tspan | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583" | |
| y="72.910019" | |
| x="125.74102" | |
| sodipodi:role="line" | |
| id="tspan878-1">if (n == 42)</tspan><tspan | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583" | |
| y="78.851234" | |
| x="125.74102" | |
| sodipodi:role="line" | |
| id="tspan874-8">// Post: x is ⊥</tspan></text> | |
| <rect | |
| style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" | |
| id="rect12-8-3-3" | |
| width="58.208344" | |
| height="21.16667" | |
| x="84.666664" | |
| y="92.604164" /> | |
| <text | |
| xml:space="preserve" | |
| style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583" | |
| x="88.860504" | |
| y="99.025513" | |
| id="text839-6-3-7"><tspan | |
| sodipodi:role="line" | |
| id="tspan837-3-7-6" | |
| x="88.860504" | |
| y="99.025513" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Pre: x is ⊥</tspan><tspan | |
| id="tspan878-1-1" | |
| sodipodi:role="line" | |
| x="88.860504" | |
| y="104.50905" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">x = 5;</tspan><tspan | |
| id="tspan874-8-5" | |
| sodipodi:role="line" | |
| x="88.860504" | |
| y="109.99258" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Post: x is {5}</tspan></text> | |
| <rect | |
| y="92.604164" | |
| x="153.45834" | |
| height="21.166677" | |
| width="58.208328" | |
| id="rect12-8-3-3-3" | |
| style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> | |
| <text | |
| id="text839-6-3-7-8" | |
| y="99.025513" | |
| x="156.17146" | |
| style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583" | |
| xml:space="preserve"><tspan | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583" | |
| y="99.025513" | |
| x="156.17146" | |
| id="tspan837-3-7-6-0" | |
| sodipodi:role="line">// Pre: x is ⊥</tspan><tspan | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583" | |
| y="104.50905" | |
| x="156.17146" | |
| sodipodi:role="line" | |
| id="tspan878-1-1-7">x = 44;</tspan><tspan | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583" | |
| y="109.99258" | |
| x="156.17146" | |
| sodipodi:role="line" | |
| id="tspan874-8-5-9">// Post: x is {44}</tspan></text> | |
| <rect | |
| style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" | |
| id="rect12-8-3-35" | |
| width="68.791672" | |
| height="21.166672" | |
| x="113.77083" | |
| y="124.35416" /> | |
| <text | |
| xml:space="preserve" | |
| style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583" | |
| x="117.2491" | |
| y="130.77551" | |
| id="text839-6-3-8"><tspan | |
| sodipodi:role="line" | |
| id="tspan837-3-7-7" | |
| x="117.2491" | |
| y="130.77551" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Pre: x is {5; 44}</tspan><tspan | |
| id="tspan878-1-2" | |
| sodipodi:role="line" | |
| x="117.2491" | |
| y="136.25905" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">print(x);</tspan><tspan | |
| id="tspan874-8-54" | |
| sodipodi:role="line" | |
| x="117.2491" | |
| y="141.74258" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Post: x is {5; 44}</tspan></text> | |
| <rect | |
| style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" | |
| id="rect12-8-6-3" | |
| width="52.916668" | |
| height="21.166666" | |
| x="50.270832" | |
| y="156.10417" /> | |
| <text | |
| xml:space="preserve" | |
| style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583" | |
| x="53.695339" | |
| y="162.79588" | |
| id="text839-6-0-3"><tspan | |
| sodipodi:role="line" | |
| id="tspan837-3-1-7" | |
| x="53.695339" | |
| y="162.79588" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Pre: x is ⊤</tspan><tspan | |
| id="tspan878-2-0" | |
| sodipodi:role="line" | |
| x="53.695339" | |
| y="168.49834" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">print(x);</tspan><tspan | |
| id="tspan874-3-8" | |
| sodipodi:role="line" | |
| x="53.695339" | |
| y="173.98187" | |
| style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Post: x is ⊤</tspan></text> | |
| <path | |
| id="path1086" | |
| d="M 76.729166,13.229166 V 23.812499" | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend)" /> | |
| <path | |
| sodipodi:nodetypes="cc" | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-6)" | |
| d="M 95.249999,50.270833 129.64583,60.854166" | |
| id="path1086-0" /> | |
| <path | |
| sodipodi:nodetypes="cc" | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-1)" | |
| d="M 58.208333,50.270833 29.104166,92.604166" | |
| id="path1086-08" /> | |
| <path | |
| sodipodi:nodetypes="cc" | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-8)" | |
| d="M 129.64583,82.020833 111.125,92.604166" | |
| id="path1086-2" /> | |
| <path | |
| sodipodi:nodetypes="cc" | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-81)" | |
| d="m 166.6875,82.020833 15.875,10.583333" | |
| id="path1086-5" /> | |
| <path | |
| sodipodi:nodetypes="cc" | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-7)" | |
| d="m 111.125,113.77084 10.58333,10.58333" | |
| id="path1086-9" /> | |
| <path | |
| sodipodi:nodetypes="cc" | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-2)" | |
| d="m 182.5625,113.77084 -7.9375,10.58333" | |
| id="path1086-6" /> | |
| <path | |
| sodipodi:nodetypes="cc" | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-83)" | |
| d="M 148.16667,145.52084 95.249999,156.10417" | |
| id="path1086-59" /> | |
| <path | |
| sodipodi:nodetypes="cc" | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-0)" | |
| d="m 29.104166,113.77084 29.104167,42.33333" | |
| id="path1086-8" /> | |
| <rect | |
| style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" | |
| id="rect12-3" | |
| width="42.333332" | |
| height="10.583333" | |
| x="55.5625" | |
| y="187.85417" /> | |
| <text | |
| xml:space="preserve" | |
| style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" | |
| x="76.561569" | |
| y="194.44447" | |
| id="text839-3"><tspan | |
| sodipodi:role="line" | |
| id="tspan837-6" | |
| x="76.561569" | |
| y="194.44447" | |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">Exit</tspan></text> | |
| <path | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-15)" | |
| d="m 76.729166,177.27084 v 10.58334" | |
| id="path1086-1" /> | |
| <text | |
| xml:space="preserve" | |
| style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" | |
| x="119.0625" | |
| y="55.562504" | |
| id="text839-1"><tspan | |
| sodipodi:role="line" | |
| id="tspan837-4" | |
| x="119.0625" | |
| y="55.562504" | |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">True</tspan></text> | |
| <text | |
| id="text839-1-4" | |
| y="87.3125" | |
| x="179.91667" | |
| style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" | |
| xml:space="preserve"><tspan | |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" | |
| y="87.3125" | |
| x="179.91667" | |
| id="tspan837-4-2" | |
| sodipodi:role="line">True</tspan></text> | |
| <text | |
| id="text839-1-5" | |
| y="87.3125" | |
| x="113.77083" | |
| style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" | |
| xml:space="preserve"><tspan | |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" | |
| y="87.3125" | |
| x="113.77083" | |
| id="tspan837-4-7" | |
| sodipodi:role="line">False</tspan></text> | |
| <text | |
| xml:space="preserve" | |
| style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" | |
| x="44.979164" | |
| y="58.208332" | |
| id="text839-1-5-5"><tspan | |
| sodipodi:role="line" | |
| id="tspan837-4-7-4" | |
| x="44.979164" | |
| y="58.208332" | |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">False</tspan></text> | |
| </g> | |
| </svg> |
