Chapter 7: While Statementlinear-chapter07

Co-authored-by: Cliff Click <cliffc@acm.org>
Co-authored-by: Thalia Archibald <thalia@archibald.dev>
Co-authored-by: XmiliaH <45106915+XmiliaH@users.noreply.github.com>
Co-authored-by: Robert Obkircher <robert.obkircher@gmail.com>

1 files changed, 329 insertions, 0 deletions

diff --git a/docs/chapter07/07-graph4.svg b/docs/chapter07/07-graph4.svg
new file mode 100644
index 00000000..cf42453d
--- /dev/null
+++ b/docs/chapter07/07-graph4.svg
@@ -0,0 +1,329 @@
+<?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.43.0 (0)
+ -->
+<!-- Title: chapter07 Pages: 1 -->
+<svg width="394pt" height="545pt"
+ viewBox="0.00 0.00 394.00 545.35" 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 541.35)">
+<title>chapter07</title>
+<polygon fill="white" stroke="transparent" points="-4,4 -4,-541.35 390,-541.35 390,4 -4,4"/>
+<g id="clust1" class="cluster">
+<title>cluster_Nodes</title>
+<polygon fill="none" stroke="black" points="8,-33.35 8,-529.35 378,-529.35 378,-33.35 8,-33.35"/>
+</g>
+<!-- Start2 -->
+<g id="node1" class="node">
+<title>Start2</title>
+<polygon fill="yellow" stroke="transparent" points="312,-492.35 312,-517.35 362,-517.35 362,-492.35 312,-492.35"/>
+<polygon fill="none" stroke="black" points="312,-492.35 312,-517.35 362,-517.35 362,-492.35 312,-492.35"/>
+<text text-anchor="start" x="318.5" y="-501.15" font-family="Times,serif" font-size="14.00">Start</text>
+<polygon fill="none" stroke="black" points="312,-461.35 312,-492.35 362,-492.35 362,-461.35 312,-461.35"/>
+<polygon fill="yellow" stroke="transparent" points="317,-466.35 317,-487.35 357,-487.35 357,-466.35 317,-466.35"/>
+<polygon fill="none" stroke="black" points="317,-466.35 317,-487.35 357,-487.35 357,-466.35 317,-466.35"/>
+<text text-anchor="start" x="320" y="-473.15" font-family="Times,serif" font-size="14.00">$ctrl</text>
+</g>
+<!-- Stop3 -->
+<g id="node2" class="node">
+<title>Stop3</title>
+<polygon fill="yellow" stroke="black" points="370,-77.35 316,-77.35 316,-41.35 370,-41.35 370,-77.35"/>
+<text text-anchor="middle" x="343" y="-55.65" font-family="Times,serif" font-size="14.00">Stop</text>
+</g>
+<!-- Return30 -->
+<g id="node19" class="node">
+<title>Return30</title>
+<polygon fill="yellow" stroke="black" points="370,-163.35 304,-163.35 304,-127.35 370,-127.35 370,-163.35"/>
+<text text-anchor="middle" x="337" y="-141.65" font-family="Times,serif" font-size="14.00">Return</text>
+</g>
+<!-- Stop3&#45;&gt;Return30 -->
+<g id="edge1" class="edge">
+<title>Stop3&#45;&gt;Return30</title>
+<path fill="none" stroke="red" d="M341.76,-77.75C340.95,-89.09 339.87,-104.12 338.95,-117.03"/>
+<polygon fill="red" stroke="red" points="335.44,-117.03 338.22,-127.25 342.42,-117.53 335.44,-117.03"/>
+<text text-anchor="middle" x="338.76" y="-80.35" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
+</g>
+<!-- Con_6 -->
+<g id="node3" class="node">
+<title>Con_6</title>
+<ellipse fill="none" stroke="black" cx="196" cy="-489.35" rx="27" ry="18"/>
+<text text-anchor="middle" x="196" y="-485.65" font-family="Times,serif" font-size="14.00">1</text>
+</g>
+<!-- Con_7 -->
+<g id="node4" class="node">
+<title>Con_7</title>
+<ellipse fill="none" stroke="black" cx="124" cy="-489.35" rx="27" ry="18"/>
+<text text-anchor="middle" x="124" y="-485.65" font-family="Times,serif" font-size="14.00">2</text>
+</g>
+<!-- Loop8 -->
+<g id="node5" class="node">
+<title>Loop8</title>
+<polygon fill="yellow" stroke="black" points="367,-421.35 313,-421.35 313,-385.35 367,-385.35 367,-421.35"/>
+<text text-anchor="middle" x="340" y="-399.65" font-family="Times,serif" font-size="14.00">Loop</text>
+</g>
+<!-- Loop8&#45;&gt;Start2 -->
+<g id="edge2" class="edge">
+<title>Loop8&#45;&gt;Start2:p0</title>
+<path fill="none" stroke="red" d="M338.71,-421.43C338.08,-430.88 337.4,-443.1 337.13,-455.02"/>
+<polygon fill="red" stroke="red" points="333.62,-455.3 337,-465.35 340.62,-455.39 333.62,-455.3"/>
+<text text-anchor="middle" x="335.71" y="-424.03" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Region27 -->
+<g id="node16" class="node">
+<title>Region27</title>
+<polygon fill="yellow" stroke="black" points="298,-77.35 232,-77.35 232,-41.35 298,-41.35 298,-77.35"/>
+<text text-anchor="middle" x="265" y="-55.65" font-family="Times,serif" font-size="14.00">Region</text>
+</g>
+<!-- Loop8&#45;&gt;Region27 -->
+<g id="edge3" class="edge">
+<title>Loop8&#45;&gt;Region27</title>
+<path fill="none" stroke="red" d="M312.6,-389.27C286.36,-376.62 248.79,-358.1 235,-349.35 191.17,-321.51 165.74,-324.02 143,-277.35 130.54,-251.78 139.66,-241.59 143,-213.35 145.69,-190.65 153.07,-131.47 167,-113.35 174.64,-103.41 199.67,-89.94 222.53,-79.07"/>
+<polygon fill="red" stroke="red" points="224.22,-82.15 231.8,-74.74 221.25,-75.8 224.22,-82.15"/>
+<text text-anchor="middle" x="309.6" y="-382.87" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
+</g>
+<!-- Phi_a11 -->
+<g id="node6" class="node">
+<title>Phi_a11</title>
+<ellipse fill="lightyellow" stroke="black" cx="196" cy="-403.35" rx="27" ry="18"/>
+<text text-anchor="middle" x="196" y="-399.65" font-family="Times,serif" font-size="14.00">φ_a</text>
+</g>
+<!-- Phi_a11&#45;&gt;Con_6 -->
+<g id="edge5" class="edge">
+<title>Phi_a11&#45;&gt;Con_6</title>
+<path fill="none" stroke="black" d="M196,-421.75C196,-433.09 196,-448.12 196,-461.03"/>
+<polygon fill="black" stroke="black" points="192.5,-461.25 196,-471.25 199.5,-461.25 192.5,-461.25"/>
+<text text-anchor="middle" x="193" y="-424.35" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Phi_a11&#45;&gt;Loop8 -->
+<g id="edge4" class="edge">
+<title>Phi_a11&#45;&gt;Loop8</title>
+<path fill="none" stroke="black" stroke-dasharray="1,5" d="M210.22,-387.78C218.37,-380.03 229.29,-371.45 241,-367.35 263.65,-359.4 272.35,-359.4 295,-367.35 302.14,-369.85 308.99,-374.02 315.09,-378.65"/>
+<polygon fill="black" stroke="black" points="312.99,-381.44 322.92,-385.13 317.45,-376.05 312.99,-381.44"/>
+<text text-anchor="middle" x="207.22" y="-381.38" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
+</g>
+<!-- Phi_a28 -->
+<g id="node17" class="node">
+<title>Phi_a28</title>
+<ellipse fill="lightyellow" stroke="black" cx="187" cy="-59.35" rx="27" ry="18"/>
+<text text-anchor="middle" x="187" y="-55.65" font-family="Times,serif" font-size="14.00">φ_a</text>
+</g>
+<!-- Phi_b12 -->
+<g id="node7" class="node">
+<title>Phi_b12</title>
+<ellipse fill="lightyellow" stroke="black" cx="124" cy="-403.35" rx="27.1" ry="18"/>
+<text text-anchor="middle" x="124" y="-399.65" font-family="Times,serif" font-size="14.00">φ_b</text>
+</g>
+<!-- Phi_b12&#45;&gt;Con_7 -->
+<g id="edge8" class="edge">
+<title>Phi_b12&#45;&gt;Con_7</title>
+<path fill="none" stroke="black" d="M124,-421.75C124,-433.09 124,-448.12 124,-461.03"/>
+<polygon fill="black" stroke="black" points="120.5,-461.25 124,-471.25 127.5,-461.25 120.5,-461.25"/>
+<text text-anchor="middle" x="121" y="-424.35" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Phi_b12&#45;&gt;Loop8 -->
+<g id="edge7" class="edge">
+<title>Phi_b12&#45;&gt;Loop8</title>
+<path fill="none" stroke="black" stroke-dasharray="1,5" d="M138.22,-387.78C146.37,-380.03 157.29,-371.45 169,-367.35 221.84,-348.81 242.16,-348.81 295,-367.35 302.14,-369.85 308.99,-374.02 315.09,-378.65"/>
+<polygon fill="black" stroke="black" points="312.99,-381.44 322.92,-385.13 317.45,-376.05 312.99,-381.44"/>
+<text text-anchor="middle" x="135.22" y="-381.38" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
+</g>
+<!-- Phi_b29 -->
+<g id="node18" class="node">
+<title>Phi_b29</title>
+<ellipse fill="lightyellow" stroke="black" cx="43" cy="-59.35" rx="27.1" ry="18"/>
+<text text-anchor="middle" x="43" y="-55.65" font-family="Times,serif" font-size="14.00">φ_b</text>
+</g>
+<!-- Con_13 -->
+<g id="node8" class="node">
+<title>Con_13</title>
+<ellipse fill="none" stroke="black" cx="268" cy="-403.35" rx="27" ry="18"/>
+<text text-anchor="middle" x="268" y="-399.65" font-family="Times,serif" font-size="14.00">10</text>
+</g>
+<!-- LT14 -->
+<g id="node9" class="node">
+<title>LT14</title>
+<ellipse fill="none" stroke="black" cx="271" cy="-331.35" rx="27" ry="18"/>
+<text text-anchor="middle" x="271" y="-327.65" font-family="Times,serif" font-size="14.00">&lt;</text>
+</g>
+<!-- LT14&#45;&gt;Phi_a11 -->
+<g id="edge10" class="edge">
+<title>LT14&#45;&gt;Phi_a11</title>
+<path fill="none" stroke="black" d="M255.82,-346.51C245.15,-356.47 230.68,-369.98 218.65,-381.21"/>
+<polygon fill="black" stroke="black" points="216.08,-378.82 211.15,-388.2 220.85,-383.94 216.08,-378.82"/>
+<text text-anchor="middle" x="252.82" y="-349.11" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- LT14&#45;&gt;Con_13 -->
+<g id="edge11" class="edge">
+<title>LT14&#45;&gt;Con_13</title>
+<path fill="none" stroke="black" d="M270.26,-349.65C269.93,-357.36 269.53,-366.63 269.16,-375.23"/>
+<polygon fill="black" stroke="black" points="265.66,-375.1 268.73,-385.24 272.66,-375.4 265.66,-375.1"/>
+<text text-anchor="middle" x="267.26" y="-352.25" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
+</g>
+<!-- If15 -->
+<g id="node10" class="node">
+<title>If15</title>
+<polygon fill="yellow" stroke="transparent" points="260,-248.35 260,-273.35 354,-273.35 354,-248.35 260,-248.35"/>
+<polygon fill="none" stroke="black" points="260,-248.35 260,-273.35 354,-273.35 354,-248.35 260,-248.35"/>
+<text text-anchor="start" x="301.5" y="-257.15" font-family="Times,serif" font-size="14.00">If</text>
+<polygon fill="none" stroke="black" points="260,-217.35 260,-248.35 354,-248.35 354,-217.35 260,-217.35"/>
+<polygon fill="yellow" stroke="transparent" points="265,-222.35 265,-243.35 305,-243.35 305,-222.35 265,-222.35"/>
+<polygon fill="none" stroke="black" points="265,-222.35 265,-243.35 305,-243.35 305,-222.35 265,-222.35"/>
+<text text-anchor="start" x="268" y="-229.15" font-family="Times,serif" font-size="14.00">True</text>
+<polygon fill="yellow" stroke="transparent" points="305,-222.35 305,-243.35 349,-243.35 349,-222.35 305,-222.35"/>
+<polygon fill="none" stroke="black" points="305,-222.35 305,-243.35 349,-243.35 349,-222.35 305,-222.35"/>
+<text text-anchor="start" x="308" y="-229.15" font-family="Times,serif" font-size="14.00">False</text>
+</g>
+<!-- If15&#45;&gt;Loop8 -->
+<g id="edge12" class="edge">
+<title>If15&#45;&gt;Loop8</title>
+<path fill="none" stroke="red" d="M314.79,-277.64C317.5,-288.87 320.49,-301.65 323,-313.35 327.43,-333.98 331.89,-357.43 335.12,-375.08"/>
+<polygon fill="red" stroke="red" points="331.74,-376.02 336.97,-385.24 338.63,-374.77 331.74,-376.02"/>
+<text text-anchor="middle" x="311.79" y="-280.24" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
+</g>
+<!-- If15&#45;&gt;LT14 -->
+<g id="edge13" class="edge">
+<title>If15&#45;&gt;LT14</title>
+<path fill="none" stroke="black" d="M293.59,-277.62C289.8,-286.48 285.72,-296.01 282.08,-304.5"/>
+<polygon fill="black" stroke="black" points="278.78,-303.32 278.05,-313.89 285.21,-306.08 278.78,-303.32"/>
+<text text-anchor="middle" x="290.59" y="-280.22" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Con_19 -->
+<g id="node11" class="node">
+<title>Con_19</title>
+<ellipse fill="none" stroke="black" cx="130" cy="-331.35" rx="27" ry="18"/>
+<text text-anchor="middle" x="130" y="-327.65" font-family="Times,serif" font-size="14.00">2</text>
+</g>
+<!-- EQ20 -->
+<g id="node12" class="node">
+<title>EQ20</title>
+<ellipse fill="none" stroke="black" cx="179" cy="-245.35" rx="27" ry="18"/>
+<text text-anchor="middle" x="179" y="-241.65" font-family="Times,serif" font-size="14.00">==</text>
+</g>
+<!-- EQ20&#45;&gt;Phi_a11 -->
+<g id="edge14" class="edge">
+<title>EQ20&#45;&gt;Phi_a11</title>
+<path fill="none" stroke="black" d="M180.85,-263.34C183.79,-290.3 189.54,-343.11 193.05,-375.31"/>
+<polygon fill="black" stroke="black" points="189.59,-375.81 194.15,-385.38 196.55,-375.06 189.59,-375.81"/>
+<text text-anchor="middle" x="177.85" y="-265.94" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- EQ20&#45;&gt;Con_19 -->
+<g id="edge15" class="edge">
+<title>EQ20&#45;&gt;Con_19</title>
+<path fill="none" stroke="black" d="M169.55,-262.54C162.5,-274.63 152.74,-291.37 144.67,-305.19"/>
+<polygon fill="black" stroke="black" points="141.43,-303.8 139.42,-314.2 147.48,-307.33 141.43,-303.8"/>
+<text text-anchor="middle" x="166.55" y="-265.14" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
+</g>
+<!-- If21 -->
+<g id="node13" class="node">
+<title>If21</title>
+<polygon fill="yellow" stroke="transparent" points="184,-148.35 184,-173.35 278,-173.35 278,-148.35 184,-148.35"/>
+<polygon fill="none" stroke="black" points="184,-148.35 184,-173.35 278,-173.35 278,-148.35 184,-148.35"/>
+<text text-anchor="start" x="225.5" y="-157.15" font-family="Times,serif" font-size="14.00">If</text>
+<polygon fill="none" stroke="black" points="184,-117.35 184,-148.35 278,-148.35 278,-117.35 184,-117.35"/>
+<polygon fill="yellow" stroke="transparent" points="189,-122.35 189,-143.35 229,-143.35 229,-122.35 189,-122.35"/>
+<polygon fill="none" stroke="black" points="189,-122.35 189,-143.35 229,-143.35 229,-122.35 189,-122.35"/>
+<text text-anchor="start" x="192" y="-129.15" font-family="Times,serif" font-size="14.00">True</text>
+<polygon fill="yellow" stroke="transparent" points="229,-122.35 229,-143.35 273,-143.35 273,-122.35 229,-122.35"/>
+<polygon fill="none" stroke="black" points="229,-122.35 229,-143.35 273,-143.35 273,-122.35 229,-122.35"/>
+<text text-anchor="start" x="232" y="-129.15" font-family="Times,serif" font-size="14.00">False</text>
+</g>
+<!-- If21&#45;&gt;If15 -->
+<g id="edge16" class="edge">
+<title>If21&#45;&gt;If15:p0</title>
+<path fill="none" stroke="red" d="M266.11,-177.35C274.25,-187.13 281.31,-198.68 283.92,-211.16"/>
+<polygon fill="red" stroke="red" points="280.47,-211.77 285,-221.35 287.43,-211.03 280.47,-211.77"/>
+<text text-anchor="middle" x="263.11" y="-179.95" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
+</g>
+<!-- If21&#45;&gt;EQ20 -->
+<g id="edge17" class="edge">
+<title>If21&#45;&gt;EQ20</title>
+<path fill="none" stroke="black" d="M214.55,-177.35C207.43,-190.76 199.21,-206.25 192.47,-218.96"/>
+<polygon fill="black" stroke="black" points="189.24,-217.58 187.65,-228.05 195.42,-220.86 189.24,-217.58"/>
+<text text-anchor="middle" x="211.55" y="-179.95" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Con_25 -->
+<g id="node14" class="node">
+<title>Con_25</title>
+<ellipse fill="none" stroke="black" cx="111" cy="-145.35" rx="27" ry="18"/>
+<text text-anchor="middle" x="111" y="-141.65" font-family="Times,serif" font-size="14.00">3</text>
+</g>
+<!-- Con_26 -->
+<g id="node15" class="node">
+<title>Con_26</title>
+<ellipse fill="none" stroke="black" cx="115" cy="-59.35" rx="27" ry="18"/>
+<text text-anchor="middle" x="115" y="-55.65" font-family="Times,serif" font-size="14.00">4</text>
+</g>
+<!-- Region27&#45;&gt;If21 -->
+<g id="edge18" class="edge">
+<title>Region27&#45;&gt;If21:p0</title>
+<path fill="none" stroke="red" d="M236.34,-77.55C225.26,-86.1 214.31,-97.52 210.45,-111.09"/>
+<polygon fill="red" stroke="red" points="206.94,-110.95 209,-121.35 213.87,-111.94 206.94,-110.95"/>
+<text text-anchor="middle" x="233.34" y="-80.15" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Region27&#45;&gt;If21 -->
+<g id="edge19" class="edge">
+<title>Region27&#45;&gt;If21:p1</title>
+<path fill="none" stroke="red" d="M258.9,-77.46C255.95,-86.91 252.79,-99.16 251.55,-111.27"/>
+<polygon fill="red" stroke="red" points="248.05,-111.17 251,-121.35 255.04,-111.55 248.05,-111.17"/>
+<text text-anchor="middle" x="255.9" y="-80.06" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
+</g>
+<!-- Phi_a28&#45;&gt;Phi_a11 -->
+<g id="edge22" class="edge">
+<title>Phi_a28&#45;&gt;Phi_a11</title>
+<path fill="none" stroke="black" d="M156.38,-74.81C123.24,-90.46 75.08,-113.23 75,-113.35 59.78,-137.38 66.63,-150.16 75,-177.35 90.81,-228.71 98.49,-247.23 143,-277.35 204.81,-319.16 260.23,-255.2 307,-313.35 317.03,-325.81 315.54,-335.81 307,-349.35 306.7,-349.82 259.29,-372.35 226.54,-387.88"/>
+<polygon fill="black" stroke="black" points="158.14,-77.85 165.69,-70.41 155.15,-71.52 158.14,-77.85"/>
+<polygon fill="black" stroke="black" points="224.86,-384.81 217.32,-392.25 227.86,-391.13 224.86,-384.81"/>
+<text text-anchor="middle" x="162.69" y="-73.01" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
+</g>
+<!-- Phi_a28&#45;&gt;Con_25 -->
+<g id="edge21" class="edge">
+<title>Phi_a28&#45;&gt;Con_25</title>
+<path fill="none" stroke="black" d="M173.41,-75.36C161.74,-88.26 144.74,-107.05 131.43,-121.77"/>
+<polygon fill="black" stroke="black" points="128.58,-119.7 124.47,-129.46 133.77,-124.39 128.58,-119.7"/>
+<text text-anchor="middle" x="170.41" y="-77.96" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Phi_a28&#45;&gt;Region27 -->
+<g id="edge20" class="edge">
+<title>Phi_a28&#45;&gt;Region27</title>
+<path fill="none" stroke="black" stroke-dasharray="1,5" d="M214.12,-59.35C216.58,-59.35 219.04,-59.35 221.5,-59.35"/>
+<polygon fill="black" stroke="black" points="221.61,-62.85 231.61,-59.35 221.61,-55.85 221.61,-62.85"/>
+<text text-anchor="middle" x="217.12" y="-52.95" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
+</g>
+<!-- Phi_b29&#45;&gt;Phi_b12 -->
+<g id="edge24" class="edge">
+<title>Phi_b29&#45;&gt;Phi_b12</title>
+<path fill="none" stroke="black" d="M44.59,-87.64C48.34,-139.92 60.11,-257.16 94,-349.35 97.54,-358.97 102.7,-368.9 107.74,-377.53"/>
+<polygon fill="black" stroke="black" points="48.07,-87.25 43.91,-77.51 41.09,-87.72 48.07,-87.25"/>
+<polygon fill="black" stroke="black" points="104.9,-379.59 113.09,-386.31 110.88,-375.95 104.9,-379.59"/>
+<text text-anchor="middle" x="40.91" y="-80.11" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Phi_b29&#45;&gt;Con_26 -->
+<g id="edge25" class="edge">
+<title>Phi_b29&#45;&gt;Con_26</title>
+<path fill="none" stroke="black" d="M70.56,-59.35C73,-59.35 75.44,-59.35 77.89,-59.35"/>
+<polygon fill="black" stroke="black" points="77.92,-62.85 87.92,-59.35 77.92,-55.85 77.92,-62.85"/>
+<text text-anchor="middle" x="73.56" y="-52.95" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
+</g>
+<!-- Phi_b29&#45;&gt;Region27 -->
+<g id="edge23" class="edge">
+<title>Phi_b29&#45;&gt;Region27</title>
+<path fill="none" stroke="black" stroke-dasharray="1,5" d="M54.68,-42.66C62.75,-32.67 74.44,-20.87 88,-15.35 139.86,5.79 161.51,4.17 214,-15.35 224.63,-19.3 234.53,-26.57 242.72,-34.08"/>
+<polygon fill="black" stroke="black" points="240.44,-36.75 250.02,-41.26 245.34,-31.75 240.44,-36.75"/>
+<text text-anchor="middle" x="51.68" y="-36.26" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
+</g>
+<!-- Return30&#45;&gt;Phi_b12 -->
+<g id="edge27" class="edge">
+<title>Return30&#45;&gt;Phi_b12</title>
+<path fill="none" stroke="black" d="M313.98,-163.53C307.84,-168.06 301.19,-172.92 295,-177.35 272.13,-193.69 260.87,-191.65 243,-213.35 223.27,-237.31 230.02,-250.17 215,-277.35 196.27,-311.22 188.92,-318.16 166,-349.35 158.65,-359.34 150.22,-370.11 142.84,-379.32"/>
+<polygon fill="black" stroke="black" points="139.98,-377.29 136.43,-387.27 145.43,-381.68 139.98,-377.29"/>
+<text text-anchor="middle" x="310.98" y="-166.13" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
+</g>
+<!-- Return30&#45;&gt;If15 -->
+<g id="edge26" class="edge">
+<title>Return30&#45;&gt;If15:p1</title>
+<path fill="none" stroke="red" d="M333.39,-163.54C331,-176.2 328.14,-194.14 327.27,-211.34"/>
+<polygon fill="red" stroke="red" points="323.77,-211.26 327,-221.35 330.76,-211.44 323.77,-211.26"/>
+<text text-anchor="middle" x="330.39" y="-166.14" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
+</g>
+</g>
+</svg>