521 lines · plain
1<?xml version="1.0" encoding="UTF-8" standalone="no"?>2<svg3 xmlns:dc="http://purl.org/dc/elements/1.1/"4 xmlns:cc="http://creativecommons.org/ns#"5 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"6 xmlns:svg="http://www.w3.org/2000/svg"7 xmlns="http://www.w3.org/2000/svg"8 xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"9 xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"10 id="svg8"11 version="1.1"12 viewBox="0 0 220 210"13 height="210mm"14 width="220mm">15 <defs16 id="defs2">17 <marker18 inkscape:isstock="true"19 style="overflow:visible"20 id="Arrow2Lend"21 refX="0"22 refY="0"23 orient="auto"24 inkscape:stockid="Arrow2Lend">25 <path26 transform="matrix(-1.1,0,0,-1.1,-1.1,0)"27 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"28 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"29 id="path1109" />30 </marker>31 <marker32 inkscape:isstock="true"33 style="overflow:visible"34 id="Arrow1Lend"35 refX="0"36 refY="0"37 orient="auto"38 inkscape:stockid="Arrow1Lend">39 <path40 transform="matrix(-0.8,0,0,-0.8,-10,0)"41 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"42 d="M 0,0 5,-5 -12.5,0 5,5 Z"43 id="path1091" />44 </marker>45 <marker46 inkscape:stockid="Arrow2Lend"47 orient="auto"48 refY="0"49 refX="0"50 id="Arrow2Lend-5"51 style="overflow:visible"52 inkscape:isstock="true">53 <path54 id="path1109-7"55 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"56 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"57 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />58 </marker>59 <marker60 inkscape:stockid="Arrow2Lend"61 orient="auto"62 refY="0"63 refX="0"64 id="Arrow2Lend-6"65 style="overflow:visible"66 inkscape:isstock="true">67 <path68 id="path1109-77"69 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"70 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"71 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />72 </marker>73 <marker74 inkscape:stockid="Arrow2Lend"75 orient="auto"76 refY="0"77 refX="0"78 id="Arrow2Lend-1"79 style="overflow:visible"80 inkscape:isstock="true">81 <path82 id="path1109-0"83 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"84 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"85 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />86 </marker>87 <marker88 inkscape:stockid="Arrow2Lend"89 orient="auto"90 refY="0"91 refX="0"92 id="Arrow2Lend-8"93 style="overflow:visible"94 inkscape:isstock="true">95 <path96 id="path1109-73"97 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"98 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"99 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />100 </marker>101 <marker102 inkscape:stockid="Arrow2Lend"103 orient="auto"104 refY="0"105 refX="0"106 id="Arrow2Lend-81"107 style="overflow:visible"108 inkscape:isstock="true">109 <path110 id="path1109-8"111 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"112 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"113 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />114 </marker>115 <marker116 inkscape:stockid="Arrow2Lend"117 orient="auto"118 refY="0"119 refX="0"120 id="Arrow2Lend-7"121 style="overflow:visible"122 inkscape:isstock="true">123 <path124 id="path1109-5"125 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"126 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"127 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />128 </marker>129 <marker130 inkscape:stockid="Arrow2Lend"131 orient="auto"132 refY="0"133 refX="0"134 id="Arrow2Lend-2"135 style="overflow:visible"136 inkscape:isstock="true">137 <path138 id="path1109-6"139 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"140 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"141 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />142 </marker>143 <marker144 inkscape:stockid="Arrow2Lend"145 orient="auto"146 refY="0"147 refX="0"148 id="Arrow2Lend-83"149 style="overflow:visible"150 inkscape:isstock="true">151 <path152 id="path1109-88"153 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"154 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"155 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />156 </marker>157 <marker158 inkscape:stockid="Arrow2Lend"159 orient="auto"160 refY="0"161 refX="0"162 id="Arrow2Lend-0"163 style="overflow:visible"164 inkscape:isstock="true">165 <path166 id="path1109-81"167 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"168 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"169 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />170 </marker>171 <marker172 inkscape:stockid="Arrow2Lend"173 orient="auto"174 refY="0"175 refX="0"176 id="Arrow2Lend-15"177 style="overflow:visible"178 inkscape:isstock="true">179 <path180 id="path1109-67"181 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"182 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"183 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />184 </marker>185 </defs>186 <g187 id="layer1"188 inkscape:groupmode="layer"189 inkscape:label="Layer 1">190 <rect191 y="2.6458333"192 x="55.5625"193 height="10.583333"194 width="42.333332"195 id="rect12"196 style="fill:none;stroke:#000000;stroke-width:0.265;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />197 <text198 id="text839"199 y="9.2361279"200 x="76.561562"201 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"202 xml:space="preserve"><tspan203 style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583"204 y="9.2361279"205 x="76.561562"206 id="tspan837"207 sodipodi:role="line">Entry</tspan></text>208 <rect209 style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"210 id="rect12-8"211 width="52.916668"212 height="26.458334"213 x="50.270832"214 y="23.812498" />215 <text216 xml:space="preserve"217 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"218 x="54.303524"219 y="30.288889"220 id="text839-6"><tspan221 sodipodi:role="line"222 id="tspan837-3"223 x="54.303524"224 y="30.288889"225 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><tspan226 id="tspan876"227 sodipodi:role="line"228 x="54.303524"229 y="35.772423"230 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><tspan231 id="tspan878"232 sodipodi:role="line"233 x="54.303524"234 y="41.255955"235 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><tspan236 id="tspan874"237 sodipodi:role="line"238 x="54.303524"239 y="47.197174"240 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>241 <rect242 y="92.604164"243 x="2.6458302"244 height="21.166666"245 width="52.916668"246 id="rect12-8-6"247 style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />248 <text249 id="text839-6-0"250 y="99.405327"251 x="6.154747"252 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"253 xml:space="preserve"><tspan254 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"255 y="99.405327"256 x="6.154747"257 id="tspan837-3-1"258 sodipodi:role="line">// Pre: x is ⊥</tspan><tspan259 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"260 y="104.88886"261 x="6.154747"262 sodipodi:role="line"263 id="tspan878-2">x = n;</tspan><tspan264 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"265 y="110.37239"266 x="6.154747"267 sodipodi:role="line"268 id="tspan874-3">// Post: x is ⊤</tspan></text>269 <rect270 y="60.854168"271 x="121.70833"272 height="21.166666"273 width="52.916668"274 id="rect12-8-3"275 style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />276 <text277 id="text839-6-3"278 y="67.426483"279 x="125.74102"280 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"281 xml:space="preserve"><tspan282 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"283 y="67.426483"284 x="125.74102"285 id="tspan837-3-7"286 sodipodi:role="line">// Pre: x is ⊥</tspan><tspan287 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"288 y="72.910019"289 x="125.74102"290 sodipodi:role="line"291 id="tspan878-1">if (n == 42)</tspan><tspan292 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"293 y="78.851234"294 x="125.74102"295 sodipodi:role="line"296 id="tspan874-8">// Post: x is ⊥</tspan></text>297 <rect298 style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"299 id="rect12-8-3-3"300 width="58.208344"301 height="21.16667"302 x="84.666664"303 y="92.604164" />304 <text305 xml:space="preserve"306 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"307 x="88.860504"308 y="99.025513"309 id="text839-6-3-7"><tspan310 sodipodi:role="line"311 id="tspan837-3-7-6"312 x="88.860504"313 y="99.025513"314 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><tspan315 id="tspan878-1-1"316 sodipodi:role="line"317 x="88.860504"318 y="104.50905"319 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><tspan320 id="tspan874-8-5"321 sodipodi:role="line"322 x="88.860504"323 y="109.99258"324 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>325 <rect326 y="92.604164"327 x="153.45834"328 height="21.166677"329 width="58.208328"330 id="rect12-8-3-3-3"331 style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />332 <text333 id="text839-6-3-7-8"334 y="99.025513"335 x="156.17146"336 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"337 xml:space="preserve"><tspan338 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"339 y="99.025513"340 x="156.17146"341 id="tspan837-3-7-6-0"342 sodipodi:role="line">// Pre: x is ⊥</tspan><tspan343 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"344 y="104.50905"345 x="156.17146"346 sodipodi:role="line"347 id="tspan878-1-1-7">x = 44;</tspan><tspan348 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"349 y="109.99258"350 x="156.17146"351 sodipodi:role="line"352 id="tspan874-8-5-9">// Post: x is {44}</tspan></text>353 <rect354 style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"355 id="rect12-8-3-35"356 width="68.791672"357 height="21.166672"358 x="113.77083"359 y="124.35416" />360 <text361 xml:space="preserve"362 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"363 x="117.2491"364 y="130.77551"365 id="text839-6-3-8"><tspan366 sodipodi:role="line"367 id="tspan837-3-7-7"368 x="117.2491"369 y="130.77551"370 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><tspan371 id="tspan878-1-2"372 sodipodi:role="line"373 x="117.2491"374 y="136.25905"375 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><tspan376 id="tspan874-8-54"377 sodipodi:role="line"378 x="117.2491"379 y="141.74258"380 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>381 <rect382 style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"383 id="rect12-8-6-3"384 width="52.916668"385 height="21.166666"386 x="50.270832"387 y="156.10417" />388 <text389 xml:space="preserve"390 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"391 x="53.695339"392 y="162.79588"393 id="text839-6-0-3"><tspan394 sodipodi:role="line"395 id="tspan837-3-1-7"396 x="53.695339"397 y="162.79588"398 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><tspan399 id="tspan878-2-0"400 sodipodi:role="line"401 x="53.695339"402 y="168.49834"403 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><tspan404 id="tspan874-3-8"405 sodipodi:role="line"406 x="53.695339"407 y="173.98187"408 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>409 <path410 id="path1086"411 d="M 76.729166,13.229166 V 23.812499"412 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend)" />413 <path414 sodipodi:nodetypes="cc"415 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-6)"416 d="M 95.249999,50.270833 129.64583,60.854166"417 id="path1086-0" />418 <path419 sodipodi:nodetypes="cc"420 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-1)"421 d="M 58.208333,50.270833 29.104166,92.604166"422 id="path1086-08" />423 <path424 sodipodi:nodetypes="cc"425 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-8)"426 d="M 129.64583,82.020833 111.125,92.604166"427 id="path1086-2" />428 <path429 sodipodi:nodetypes="cc"430 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-81)"431 d="m 166.6875,82.020833 15.875,10.583333"432 id="path1086-5" />433 <path434 sodipodi:nodetypes="cc"435 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-7)"436 d="m 111.125,113.77084 10.58333,10.58333"437 id="path1086-9" />438 <path439 sodipodi:nodetypes="cc"440 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-2)"441 d="m 182.5625,113.77084 -7.9375,10.58333"442 id="path1086-6" />443 <path444 sodipodi:nodetypes="cc"445 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-83)"446 d="M 148.16667,145.52084 95.249999,156.10417"447 id="path1086-59" />448 <path449 sodipodi:nodetypes="cc"450 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-0)"451 d="m 29.104166,113.77084 29.104167,42.33333"452 id="path1086-8" />453 <rect454 style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"455 id="rect12-3"456 width="42.333332"457 height="10.583333"458 x="55.5625"459 y="187.85417" />460 <text461 xml:space="preserve"462 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"463 x="76.561569"464 y="194.44447"465 id="text839-3"><tspan466 sodipodi:role="line"467 id="tspan837-6"468 x="76.561569"469 y="194.44447"470 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">Exit</tspan></text>471 <path472 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-15)"473 d="m 76.729166,177.27084 v 10.58334"474 id="path1086-1" />475 <text476 xml:space="preserve"477 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"478 x="119.0625"479 y="55.562504"480 id="text839-1"><tspan481 sodipodi:role="line"482 id="tspan837-4"483 x="119.0625"484 y="55.562504"485 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">True</tspan></text>486 <text487 id="text839-1-4"488 y="87.3125"489 x="179.91667"490 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"491 xml:space="preserve"><tspan492 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"493 y="87.3125"494 x="179.91667"495 id="tspan837-4-2"496 sodipodi:role="line">True</tspan></text>497 <text498 id="text839-1-5"499 y="87.3125"500 x="113.77083"501 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"502 xml:space="preserve"><tspan503 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"504 y="87.3125"505 x="113.77083"506 id="tspan837-4-7"507 sodipodi:role="line">False</tspan></text>508 <text509 xml:space="preserve"510 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"511 x="44.979164"512 y="58.208332"513 id="text839-1-5-5"><tspan514 sodipodi:role="line"515 id="tspan837-4-7-4"516 x="44.979164"517 y="58.208332"518 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">False</tspan></text>519 </g>520</svg>521