while/while.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 8.0.4 (20230421.1958)
 -->
<!-- Title: while Pages: 1 -->
<svg width="447pt" height="833pt"
 viewBox="0.00 0.00 447.00 833.00" 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 829)">
<title>while</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-829 443,-829 443,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-817 419,-817 419,-92.5 8,-92.5"/>
<text text-anchor="middle" x="213.5" y="-799.7" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_PVS Prelude</title>
<polygon fill="none" stroke="black" points="246,-8 246,-84.5 334,-84.5 334,-8 246,-8"/>
<text text-anchor="middle" x="290" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/algebra -->
<g id="node1" class="node">
<title>NASALib/algebra</title>
<polygon fill="#fcfcd7" stroke="black" points="288.88,-640.5 233.12,-640.5 233.12,-604.5 288.88,-604.5 288.88,-640.5"/>
<text text-anchor="middle" x="261" y="-617.45" font-family="Times,serif" font-size="14.00">algebra</text>
</g>
<!-- NASALib/ints -->
<g id="node3" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="232,-136.5 178,-136.5 178,-100.5 232,-100.5 232,-136.5"/>
<text text-anchor="middle" x="205" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/ints -->
<g id="edge1" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M146,-189.5C146,-189.5 166.63,-165.02 183.49,-145.02"/>
<polygon fill="black" stroke="black" points="186.65,-147.71 190.42,-137.8 181.29,-143.19 186.65,-147.71"/>
<path fill="none" stroke="black" d="M68,-549.5C68,-549.5 68,-407.5 68,-407.5"/>
<path fill="none" stroke="black" d="M68,-405.5C68,-405.5 27,-352.5 27,-352.5 27,-352.5 17,-335.5 17,-335.5"/>
<path fill="none" stroke="black" d="M232.96,-613.33C181.91,-598.47 79,-568.5 79,-568.5 79,-568.5 68,-551.5 68,-551.5"/>
<path fill="none" stroke="black" d="M17,-333.5C17,-333.5 68,-244.5 68,-244.5 68,-244.5 146,-191.5 146,-191.5"/>
</g>
<!-- NASALib/numbers -->
<g id="node4" class="node">
<title>NASALib/numbers</title>
<polygon fill="#fcfcd7" stroke="black" points="99.62,-352.5 36.38,-352.5 36.38,-316.5 99.62,-316.5 99.62,-352.5"/>
<text text-anchor="middle" x="68" y="-329.45" font-family="Times,serif" font-size="14.00">numbers</text>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/numbers -->
<g id="edge2" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/numbers</title>
<path fill="none" stroke="black" d="M68,-405.5C68,-405.5 68,-383.16 68,-363.72"/>
<polygon fill="black" stroke="black" points="71.5,-363.8 68,-353.8 64.5,-363.8 71.5,-363.8"/>
</g>
<!-- NASALib/orders -->
<g id="node5" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="350,-280.5 296,-280.5 296,-244.5 350,-244.5 350,-280.5"/>
<text text-anchor="middle" x="323" y="-257.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/orders -->
<g id="edge3" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M288,-405.5C288,-405.5 297,-335.5 297,-335.5"/>
</g>
<!-- NASALib/reals -->
<g id="node6" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="166,-280.5 112,-280.5 112,-244.5 166,-244.5 166,-280.5"/>
<text text-anchor="middle" x="139" y="-257.45" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/reals -->
<g id="edge4" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M68,-549.5C68,-549.5 108,-479.5 108,-479.5"/>
<path fill="none" stroke="black" d="M139,-333.5C139,-333.5 139,-311.16 139,-291.72"/>
<polygon fill="black" stroke="black" points="142.5,-291.8 139,-281.8 135.5,-291.8 142.5,-291.8"/>
<path fill="none" stroke="black" d="M108,-477.5C108,-477.5 123,-388.5 123,-388.5 123,-388.5 139,-335.5 139,-335.5"/>
</g>
<!-- NASALib/sigma_set -->
<g id="node10" class="node">
<title>NASALib/sigma_set</title>
<polygon fill="#fcfcd7" stroke="black" points="269.38,-496.5 198.62,-496.5 198.62,-460.5 269.38,-460.5 269.38,-496.5"/>
<text text-anchor="middle" x="234" y="-473.45" font-family="Times,serif" font-size="14.00">sigma_set</text>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/sigma_set -->
<g id="edge5" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M288,-549.5C288,-549.5 269.29,-525.24 253.89,-505.29"/>
<polygon fill="black" stroke="black" points="256.23,-503.58 247.35,-497.8 250.69,-507.86 256.23,-503.58"/>
</g>
<!-- NASALib/structures -->
<g id="node11" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="239.25,-208.5 170.75,-208.5 170.75,-172.5 239.25,-172.5 239.25,-208.5"/>
<text text-anchor="middle" x="205" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/structures -->
<g id="edge6" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M288,-405.5C288,-405.5 238,-276.58 215.62,-218.87"/>
<polygon fill="black" stroke="black" points="218.53,-217.71 211.65,-209.65 212,-220.24 218.53,-217.71"/>
<path fill="none" stroke="black" d="M288,-549.5C288,-549.5 288,-407.5 288,-407.5"/>
</g>
<!-- NASALib/trig -->
<g id="node13" class="node">
<title>NASALib/trig</title>
<polygon fill="#fcfcd7" stroke="black" points="181,-496.5 127,-496.5 127,-460.5 181,-460.5 181,-496.5"/>
<text text-anchor="middle" x="154" y="-473.45" font-family="Times,serif" font-size="14.00">trig</text>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/trig -->
<g id="edge7" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M288,-549.5C288,-549.5 230.76,-519.6 191.1,-498.88"/>
<polygon fill="black" stroke="black" points="192.92,-495.36 182.44,-493.83 189.68,-501.57 192.92,-495.36"/>
<path fill="none" stroke="black" d="M267.67,-604.2C275.67,-583.47 288,-551.5 288,-551.5"/>
</g>
<!-- NASALib/vectors -->
<g id="node14" class="node">
<title>NASALib/vectors</title>
<polygon fill="#fcfcd7" stroke="black" points="142.5,-568.5 87.5,-568.5 87.5,-532.5 142.5,-532.5 142.5,-568.5"/>
<text text-anchor="middle" x="115" y="-545.45" font-family="Times,serif" font-size="14.00">vectors</text>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/vectors -->
<g id="edge8" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M232.85,-608C209.98,-597.04 177.53,-581.48 152.46,-569.46"/>
<polygon fill="black" stroke="black" points="154.1,-565.89 143.57,-564.72 151.07,-572.2 154.1,-565.89"/>
</g>
<!-- lib/finite_sets -->
<g id="node16" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="325.75,-52 254.25,-52 254.25,-16 325.75,-16 325.75,-52"/>
<text text-anchor="middle" x="290" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/algebra&#45;&gt;lib/finite_sets -->
<g id="edge9" class="edge">
<title>NASALib/algebra&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M282.83,-604.09C330.36,-566.17 439,-479.5 439,-479.5 439,-479.5 439,-479.5 439,-405.5 439,-405.5 439,-263.5 439,-263.5"/>
</g>
<!-- NASALib/analysis -->
<g id="node2" class="node">
<title>NASALib/analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="237.75,-352.5 178.25,-352.5 178.25,-316.5 237.75,-316.5 237.75,-352.5"/>
<text text-anchor="middle" x="208" y="-329.45" font-family="Times,serif" font-size="14.00">analysis</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/ints -->
<g id="edge10" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M205,-261.5C205,-261.5 146,-191.5 146,-191.5"/>
<path fill="none" stroke="black" d="M207.26,-316.2C206.37,-295.47 205,-263.5 205,-263.5"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/orders -->
<g id="edge11" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M236.72,-316.02C251.85,-306.81 270.56,-295.42 286.68,-285.61"/>
<polygon fill="black" stroke="black" points="288.11,-288.23 294.83,-280.04 284.47,-282.25 288.11,-288.23"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/reals -->
<g id="edge12" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M190.94,-316.2C182.67,-307.8 172.58,-297.57 163.51,-288.36"/>
<polygon fill="black" stroke="black" points="166.37,-286.27 156.86,-281.6 161.39,-291.18 166.37,-286.27"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/structures -->
<g id="edge13" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M205,-261.5C205,-261.5 205,-239.16 205,-219.72"/>
<polygon fill="black" stroke="black" points="208.5,-219.8 205,-209.8 201.5,-219.8 208.5,-219.8"/>
</g>
<!-- NASALib/analysis&#45;&gt;lib/finite_sets -->
<g id="edge14" class="edge">
<title>NASALib/analysis&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M439,-261.5C439,-261.5 439,-191.5 439,-191.5"/>
<path fill="none" stroke="black" d="M237.89,-326.13C296.97,-311.57 423,-280.5 423,-280.5 423,-280.5 439,-263.5 439,-263.5"/>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge15" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M223.03,-100C234.97,-88.41 250.83,-73.02 264.12,-60.12"/>
<polygon fill="black" stroke="black" points="266.26,-62.95 271,-53.47 261.39,-57.92 266.26,-62.95"/>
</g>
<!-- NASALib/numbers&#45;&gt;NASALib/ints -->
<g id="edge16" class="edge">
<title>NASALib/numbers&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M69.24,-316.2C70.72,-295.47 73,-263.5 73,-263.5"/>
<path fill="none" stroke="black" d="M73,-261.5C73,-261.5 88,-244.5 88,-244.5 88,-244.5 146,-191.5 146,-191.5"/>
</g>
<!-- NASALib/numbers&#45;&gt;NASALib/reals -->
<g id="edge17" class="edge">
<title>NASALib/numbers&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M85.55,-316.2C94.15,-307.72 104.65,-297.36 114.07,-288.08"/>
<polygon fill="black" stroke="black" points="115.99,-291.12 120.65,-281.6 111.07,-286.13 115.99,-291.12"/>
</g>
<!-- NASALib/numbers&#45;&gt;NASALib/structures -->
<g id="edge18" class="edge">
<title>NASALib/numbers&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M73,-261.5C73,-261.5 88,-244.5 88,-244.5 88,-244.5 127.44,-226.64 160.52,-211.65"/>
<polygon fill="black" stroke="black" points="161.86,-214.43 169.53,-207.12 158.98,-208.05 161.86,-214.43"/>
</g>
<!-- NASALib/orders&#45;&gt;NASALib/structures -->
<g id="edge19" class="edge">
<title>NASALib/orders&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M295.63,-245.26C280.12,-236.06 260.47,-224.41 243.43,-214.3"/>
<polygon fill="black" stroke="black" points="245.67,-210.96 235.28,-208.87 242.1,-216.98 245.67,-210.96"/>
</g>
<!-- NASALib/orders&#45;&gt;lib/finite_sets -->
<g id="edge20" class="edge">
<title>NASALib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M350.33,-247.02C379.93,-231.33 423,-208.5 423,-208.5 423,-208.5 439,-191.5 439,-191.5"/>
<path fill="none" stroke="black" d="M439,-189.5C439,-189.5 439,-119.5 439,-119.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/ints -->
<g id="edge21" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M140.73,-244.2C142.8,-223.47 146,-191.5 146,-191.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/structures -->
<g id="edge22" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M155.31,-244.2C163.23,-235.8 172.88,-225.57 181.56,-216.36"/>
<polygon fill="black" stroke="black" points="183.56,-219.28 187.87,-209.6 178.47,-214.48 183.56,-219.28"/>
</g>
<!-- NASALib/scott -->
<g id="node7" class="node">
<title>NASALib/scott</title>
<polygon fill="#fcfcd7" stroke="black" points="381,-712.5 327,-712.5 327,-676.5 381,-676.5 381,-712.5"/>
<text text-anchor="middle" x="354" y="-689.45" font-family="Times,serif" font-size="14.00">scott</text>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/algebra -->
<g id="edge23" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/algebra</title>
<path fill="none" stroke="black" d="M331.01,-676.2C319.39,-667.45 305.1,-656.69 292.47,-647.19"/>
<polygon fill="black" stroke="black" points="295.14,-644.06 285.05,-640.85 290.93,-649.66 295.14,-644.06"/>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/orders -->
<g id="edge24" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M354.4,-676.35C355.59,-625.57 359,-479.5 359,-479.5"/>
<path fill="none" stroke="black" d="M359,-477.5C359,-477.5 318,-424.5 318,-424.5 318,-424.5 308,-407.5 308,-407.5"/>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/structures -->
<g id="edge25" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M359,-477.5C359,-477.5 400,-424.5 400,-424.5 400,-424.5 410,-335.5 410,-335.5"/>
</g>
<!-- NASALib/topology -->
<g id="node12" class="node">
<title>NASALib/topology</title>
<polygon fill="#fcfcd7" stroke="black" points="391,-424.5 327,-424.5 327,-388.5 391,-388.5 391,-424.5"/>
<text text-anchor="middle" x="359" y="-401.45" font-family="Times,serif" font-size="14.00">topology</text>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/topology -->
<g id="edge26" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M359,-477.5C359,-477.5 359,-455.16 359,-435.72"/>
<polygon fill="black" stroke="black" points="362.5,-435.8 359,-425.8 355.5,-435.8 362.5,-435.8"/>
</g>
<!-- NASALib/series -->
<g id="node8" class="node">
<title>NASALib/series</title>
<polygon fill="#fcfcd7" stroke="black" points="221,-424.5 167,-424.5 167,-388.5 221,-388.5 221,-424.5"/>
<text text-anchor="middle" x="194" y="-401.45" font-family="Times,serif" font-size="14.00">series</text>
</g>
<!-- NASALib/series&#45;&gt;NASALib/analysis -->
<g id="edge27" class="edge">
<title>NASALib/series&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M197.46,-388.2C198.97,-380.65 200.78,-371.62 202.46,-363.18"/>
<polygon fill="black" stroke="black" points="206.05,-364.1 204.58,-353.6 199.19,-362.72 206.05,-364.1"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/ints -->
<g id="edge28" class="edge">
<title>NASALib/series&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M185.81,-388.15C178.52,-372.69 169,-352.5 169,-352.5 169,-352.5 169,-316.5 169,-316.5 169,-316.5 175,-280.5 175,-280.5 175,-280.5 175,-244.5 175,-244.5 175,-244.5 146,-191.5 146,-191.5"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/orders -->
<g id="edge29" class="edge">
<title>NASALib/series&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M211.35,-388.15C226.81,-372.69 247,-352.5 247,-352.5 247,-352.5 278.97,-315.06 301.44,-288.75"/>
<polygon fill="black" stroke="black" points="304.51,-291.54 308.35,-281.66 299.19,-286.99 304.51,-291.54"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/reals -->
<g id="edge30" class="edge">
<title>NASALib/series&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M180.4,-388.2C164.12,-367.47 139,-335.5 139,-335.5"/>
</g>
<!-- NASALib/sets_aux -->
<g id="node9" class="node">
<title>NASALib/sets_aux</title>
<polygon fill="#fcfcd7" stroke="black" points="390.25,-352.5 327.75,-352.5 327.75,-316.5 390.25,-316.5 390.25,-352.5"/>
<text text-anchor="middle" x="359" y="-329.45" font-family="Times,serif" font-size="14.00">sets_aux</text>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/ints -->
<g id="edge31" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M370.79,-316.15C381.29,-300.69 395,-280.5 395,-280.5 395,-280.5 395,-244.5 395,-244.5 395,-244.5 295.47,-179.02 240.49,-142.85"/>
<polygon fill="black" stroke="black" points="242.7,-139.45 232.42,-136.88 238.85,-145.3 242.7,-139.45"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/orders -->
<g id="edge32" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M350.1,-316.2C346.09,-308.4 341.26,-299.01 336.8,-290.33"/>
<polygon fill="black" stroke="black" points="339.48,-288.9 331.8,-281.6 333.26,-292.1 339.48,-288.9"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/structures -->
<g id="edge33" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M390,-261.5C390,-261.5 359,-244.5 359,-244.5 359,-244.5 295.28,-222.57 249.81,-206.92"/>
<polygon fill="black" stroke="black" points="251.16,-203.34 240.56,-203.39 248.88,-209.96 251.16,-203.34"/>
<path fill="none" stroke="black" d="M366.66,-316.2C375.84,-295.47 390,-263.5 390,-263.5"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;lib/finite_sets -->
<g id="edge34" class="edge">
<title>NASALib/sets_aux&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M379.96,-316.15C398.62,-300.69 423,-280.5 423,-280.5 423,-280.5 439,-263.5 439,-263.5"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/analysis -->
<g id="edge35" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M268,-405.5C268,-405.5 247.02,-381.02 229.87,-361.02"/>
<polygon fill="black" stroke="black" points="232,-359.12 222.83,-353.8 226.68,-363.67 232,-359.12"/>
<path fill="none" stroke="black" d="M242.4,-460.2C252.47,-439.47 268,-407.5 268,-407.5"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/orders -->
<g id="edge36" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M297,-333.5C297,-333.5 305.53,-310.53 312.82,-290.91"/>
<polygon fill="black" stroke="black" points="316.37,-292.4 316.57,-281.8 309.81,-289.96 316.37,-292.4"/>
<path fill="none" stroke="black" d="M268,-405.5C268,-405.5 297,-335.5 297,-335.5"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/reals -->
<g id="edge37" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M209.11,-460.15C186.95,-444.69 158,-424.5 158,-424.5 158,-424.5 139,-335.5 139,-335.5"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/series -->
<g id="edge38" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M224.11,-460.2C219.61,-452.31 214.17,-442.8 209.17,-434.05"/>
<polygon fill="black" stroke="black" points="211.77,-432.55 203.77,-425.6 205.7,-436.02 211.77,-432.55"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/sets_aux -->
<g id="edge39" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M268,-405.5C268,-405.5 283,-388.5 283,-388.5 283,-388.5 304.97,-373.18 325.28,-359.01"/>
<polygon fill="black" stroke="black" points="326.91,-361.45 333.11,-352.85 322.91,-355.7 326.91,-361.45"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge40" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M205,-172.2C205,-164.74 205,-155.82 205,-147.47"/>
<polygon fill="black" stroke="black" points="208.5,-147.6 205,-137.6 201.5,-147.6 208.5,-147.6"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge41" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M239.53,-179.17C304.62,-159.7 439,-119.5 439,-119.5"/>
<path fill="none" stroke="black" d="M439,-117.5C439,-117.5 375.06,-82.1 330.96,-57.68"/>
<polygon fill="black" stroke="black" points="333.04,-54.28 322.6,-52.5 329.65,-60.4 333.04,-54.28"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/reals -->
<g id="edge42" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M326.77,-396.51C272.56,-381.39 169,-352.5 169,-352.5 169,-352.5 139,-335.5 139,-335.5"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/sets_aux -->
<g id="edge43" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M359,-388.2C359,-380.74 359,-371.82 359,-363.47"/>
<polygon fill="black" stroke="black" points="362.5,-363.6 359,-353.6 355.5,-363.6 362.5,-363.6"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/structures -->
<g id="edge44" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M410,-333.5C410,-333.5 390,-263.5 390,-263.5"/>
<path fill="none" stroke="black" d="M372.1,-388.15C383.76,-372.69 399,-352.5 399,-352.5 399,-352.5 410,-335.5 410,-335.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/analysis -->
<g id="edge45" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M178.89,-460.15C201.05,-444.69 230,-424.5 230,-424.5 230,-424.5 230,-388.5 230,-388.5 230,-388.5 224.68,-375.68 219.27,-362.65"/>
<polygon fill="black" stroke="black" points="222.27,-361.75 215.2,-353.85 215.8,-364.43 222.27,-361.75"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/ints -->
<g id="edge46" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M128,-405.5C128,-405.5 27,-352.5 27,-352.5 27,-352.5 17,-335.5 17,-335.5"/>
<path fill="none" stroke="black" d="M147.57,-460.2C139.87,-439.47 128,-407.5 128,-407.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/reals -->
<g id="edge47" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M128,-405.5C128,-405.5 139,-335.5 139,-335.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/series -->
<g id="edge48" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M163.89,-460.2C168.39,-452.31 173.83,-442.8 178.83,-434.05"/>
<polygon fill="black" stroke="black" points="182.3,-436.02 184.23,-425.6 176.23,-432.55 182.3,-436.02"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/reals -->
<g id="edge49" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M113.27,-532.2C111.2,-511.47 108,-479.5 108,-479.5"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/structures -->
<g id="edge50" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M111.07,-532.15C107.57,-516.69 103,-496.5 103,-496.5 103,-496.5 103,-388.5 103,-388.5 103,-388.5 109,-352.5 109,-352.5 109,-352.5 109,-316.5 109,-316.5 109,-316.5 103,-280.5 103,-280.5 103,-280.5 103,-244.5 103,-244.5 103,-244.5 134.09,-228.35 161.94,-213.87"/>
<polygon fill="black" stroke="black" points="163.34,-216.57 170.6,-208.85 160.11,-210.36 163.34,-216.57"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/trig -->
<g id="edge51" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M124.64,-532.2C129.03,-524.31 134.33,-514.8 139.21,-506.05"/>
<polygon fill="black" stroke="black" points="142.66,-508.04 144.47,-497.6 136.55,-504.64 142.66,-508.04"/>
</g>
<!-- NASALib/while -->
<g id="node15" class="node">
<title>NASALib/while</title>
<polygon fill="#f7e28d" stroke="black" points="358,-784.5 304,-784.5 304,-748.5 358,-748.5 358,-784.5"/>
<text text-anchor="middle" x="331" y="-761.45" font-family="Times,serif" font-size="14.00">while</text>
</g>
<!-- NASALib/while&#45;&gt;NASALib/orders -->
<g id="edge52" class="edge">
<title>NASALib/while&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M308,-405.5C308,-405.5 297,-335.5 297,-335.5"/>
<path fill="none" stroke="black" d="M326.74,-748.15C322.95,-732.69 318,-712.5 318,-712.5 318,-712.5 308,-623.5 308,-623.5 308,-623.5 308,-623.5 308,-549.5 308,-549.5 308,-407.5 308,-407.5"/>
</g>
<!-- NASALib/while&#45;&gt;NASALib/scott -->
<g id="edge53" class="edge">
<title>NASALib/while&#45;&gt;NASALib/scott</title>
<path fill="none" stroke="black" d="M336.69,-748.2C339.19,-740.57 342.2,-731.42 345,-722.9"/>
<polygon fill="black" stroke="black" points="348.58,-724.2 348.38,-713.6 341.93,-722.01 348.58,-724.2"/>
</g>
</g>
</svg>