dist/dotProdOpt.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 2.43.0 (0)
 -->
<!-- Title: Program_ Pages: 1 -->
<svg width="905pt" height="435pt"
 viewBox="0.00 0.00 904.81 435.34" 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 431.34)">
<title>Program_</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-431.34 900.81,-431.34 900.81,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_dfg_Block0</title>
<polygon fill="none" stroke="black" points="154.81,-311.34 154.81,-419.34 526.81,-419.34 526.81,-311.34 154.81,-311.34"/>
<text text-anchor="start" x="319.2" y="-406.74" font-family="Monaco" font-size="12.00">Block0</text>
<text text-anchor="start" x="295.2" y="-394.74" font-family="Monaco" font-size="12.00">(acc</text>
<text text-anchor="start" x="324" y="-394.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">S64</text>
<text text-anchor="start" x="338.41" y="-394.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r1</text>
<text text-anchor="start" x="348.01" y="-394.74" font-family="Monaco" font-size="12.00">,i</text>
<text text-anchor="start" x="362.41" y="-394.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">U10</text>
<text text-anchor="start" x="376.81" y="-394.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r0</text>
<text text-anchor="start" x="333.6" y="-382.74" font-family="Monaco" font-size="12.00">=&gt;</text>
<text text-anchor="start" x="251.99" y="-370.74" font-family="Monaco" font-size="12.00">acc</text>
<text text-anchor="start" x="273.6" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">S64</text>
<text text-anchor="start" x="288" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r1</text>
<text text-anchor="start" x="297.6" y="-370.74" font-family="Monaco" font-size="12.00">,i1</text>
<text text-anchor="start" x="319.2" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">U10</text>
<text text-anchor="start" x="333.6" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r2</text>
<text text-anchor="start" x="343.21" y="-370.74" font-family="Monaco" font-size="12.00">,i</text>
<text text-anchor="start" x="357.61" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">U10</text>
<text text-anchor="start" x="372.01" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r0</text>
<text text-anchor="start" x="381.61" y="-370.74" font-family="Monaco" font-size="12.00">,@e</text>
<text text-anchor="start" x="403.22" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">U1</text>
<text text-anchor="start" x="412.82" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r3</text>
<text text-anchor="start" x="422.42" y="-370.74" font-family="Monaco" font-size="12.00">)</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_dfg_Block1</title>
<polygon fill="none" stroke="black" points="534.81,-311.34 534.81,-419.34 608.81,-419.34 608.81,-311.34 534.81,-311.34"/>
<text text-anchor="start" x="550.2" y="-406.74" font-family="Monaco" font-size="12.00">Block1</text>
<text text-anchor="start" x="545.4" y="-394.74" font-family="Monaco" font-size="12.00">(acc</text>
<text text-anchor="start" x="574.21" y="-394.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">S64</text>
<text text-anchor="start" x="588.61" y="-394.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r1</text>
<text text-anchor="start" x="564.6" y="-382.74" font-family="Monaco" font-size="12.00">=&gt;</text>
<text text-anchor="start" x="545.4" y="-370.74" font-family="Monaco" font-size="12.00">acc</text>
<text text-anchor="start" x="567.01" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">S64</text>
<text text-anchor="start" x="581.41" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r1</text>
<text text-anchor="start" x="591.01" y="-370.74" font-family="Monaco" font-size="12.00">)</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_dfg_Block2</title>
<polygon fill="none" stroke="black" points="616.81,-78.67 616.81,-419.34 888.81,-419.34 888.81,-78.67 616.81,-78.67"/>
<text text-anchor="start" x="731.2" y="-406.74" font-family="Monaco" font-size="12.00">Block2</text>
<text text-anchor="start" x="684.4" y="-394.74" font-family="Monaco" font-size="12.00">(i1</text>
<text text-anchor="start" x="706" y="-394.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">U10</text>
<text text-anchor="start" x="720.4" y="-394.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r2</text>
<text text-anchor="start" x="730" y="-394.74" font-family="Monaco" font-size="12.00">,acc</text>
<text text-anchor="start" x="758.81" y="-394.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">S64</text>
<text text-anchor="start" x="773.21" y="-394.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r1</text>
<text text-anchor="start" x="782.81" y="-394.74" font-family="Monaco" font-size="12.00">,i</text>
<text text-anchor="start" x="797.21" y="-394.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">U10</text>
<text text-anchor="start" x="811.62" y="-394.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r0</text>
<text text-anchor="start" x="745.6" y="-382.74" font-family="Monaco" font-size="12.00">=&gt;</text>
<text text-anchor="start" x="707.2" y="-370.74" font-family="Monaco" font-size="12.00">i1</text>
<text text-anchor="start" x="721.6" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">U10</text>
<text text-anchor="start" x="736" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r2</text>
<text text-anchor="start" x="745.6" y="-370.74" font-family="Monaco" font-size="12.00">,@m</text>
<text text-anchor="start" x="767.21" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">S64</text>
<text text-anchor="start" x="781.61" y="-370.74" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r1</text>
<text text-anchor="start" x="791.21" y="-370.74" font-family="Monaco" font-size="12.00">)</text>
</g>
<!-- Jump0 -->
<g id="node1" class="node">
<title>Jump0</title>
<polygon fill="none" stroke="black" points="145.32,-355.34 48.29,-355.34 48.29,-351.34 44.29,-351.34 44.29,-347.34 48.29,-347.34 48.29,-327.34 44.29,-327.34 44.29,-323.34 48.29,-323.34 48.29,-319.34 145.32,-319.34 145.32,-355.34"/>
<polyline fill="none" stroke="black" points="48.29,-351.34 52.29,-351.34 52.29,-347.34 48.29,-347.34 "/>
<polyline fill="none" stroke="black" points="48.29,-327.34 52.29,-327.34 52.29,-323.34 48.29,-323.34 "/>
<text text-anchor="start" x="59" y="-340.54" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q0</text>
<text text-anchor="start" x="68.6" y="-340.54" font-family="Monaco" font-size="11.00">StartFun.0</text>
<text text-anchor="start" x="56.3" y="-329.54" font-family="Monaco" font-size="11.00">i</text>
<text text-anchor="start" x="62.9" y="-329.54" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">U10</text>
<text text-anchor="start" x="77.3" y="-329.54" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r0</text>
<text text-anchor="start" x="86.9" y="-329.54" font-family="Monaco" font-size="11.00">,acc</text>
<text text-anchor="start" x="113.31" y="-329.54" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">S64</text>
<text text-anchor="start" x="127.71" y="-329.54" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r1</text>
</g>
<!-- Block0 -->
<g id="node2" class="node">
<title>Block0</title>
<polygon fill="none" stroke="black" points="124.41,-282.34 69.2,-282.34 69.2,-246.34 124.41,-246.34 124.41,-282.34"/>
<text text-anchor="middle" x="96.81" y="-262.87" font-family="Monaco" font-size="11.00">Block0</text>
</g>
<!-- Jump0&#45;&gt;Block0 -->
<g id="edge1" class="edge">
<title>Jump0&#45;&gt;Block0</title>
<path fill="none" stroke="black" d="M96.81,-319.15C96.81,-311.13 96.81,-301.38 96.81,-292.41"/>
<polygon fill="black" stroke="black" points="100.31,-292.37 96.81,-282.37 93.31,-292.37 100.31,-292.37"/>
</g>
<!-- Jump1 -->
<g id="node3" class="node">
<title>Jump1</title>
<path fill="none" stroke="black" d="M126.41,-209.34C126.41,-209.34 67.2,-209.34 67.2,-209.34 61.2,-209.34 51.39,-204.7 47.57,-200.07 47.57,-200.07 33.19,-182.6 33.19,-182.6 29.38,-177.97 31.57,-173.34 37.57,-173.34 37.57,-173.34 156.05,-173.34 156.05,-173.34 162.05,-173.34 164.23,-177.97 160.42,-182.6 160.42,-182.6 146.04,-200.07 146.04,-200.07 142.23,-204.7 132.41,-209.34 126.41,-209.34"/>
<text text-anchor="start" x="65.6" y="-190.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q1</text>
<text text-anchor="start" x="75.2" y="-190.87" font-family="Monaco" font-size="11.00">Branch.1</text>
</g>
<!-- Block0&#45;&gt;Jump1 -->
<g id="edge2" class="edge">
<title>Block0&#45;&gt;Jump1</title>
<path fill="none" stroke="black" d="M96.81,-246.15C96.81,-238.13 96.81,-228.38 96.81,-219.41"/>
<polygon fill="black" stroke="black" points="100.31,-219.37 96.81,-209.37 93.31,-219.37 100.31,-219.37"/>
</g>
<!-- Block1 -->
<g id="node4" class="node">
<title>Block1</title>
<polygon fill="none" stroke="black" points="87.41,-122.67 32.2,-122.67 32.2,-86.67 87.41,-86.67 87.41,-122.67"/>
<text text-anchor="middle" x="59.81" y="-103.2" font-family="Monaco" font-size="11.00">Block1</text>
</g>
<!-- Jump1&#45;&gt;Block1 -->
<g id="edge3" class="edge">
<title>Jump1&#45;&gt;Block1</title>
<path fill="none" stroke="black" d="M89.32,-173.2C84.15,-161.38 77.19,-145.44 71.32,-132.01"/>
<polygon fill="black" stroke="black" points="74.49,-130.54 67.28,-122.78 68.08,-133.34 74.49,-130.54"/>
<text text-anchor="start" x="80.81" y="-146.54" font-family="Monaco" font-size="11.00">@e</text>
</g>
<!-- Block2 -->
<g id="node5" class="node">
<title>Block2</title>
<polygon fill="none" stroke="black" points="188.41,-122.67 133.2,-122.67 133.2,-86.67 188.41,-86.67 188.41,-122.67"/>
<text text-anchor="middle" x="160.81" y="-103.2" font-family="Monaco" font-size="11.00">Block2</text>
</g>
<!-- Jump1&#45;&gt;Block2 -->
<g id="edge4" class="edge">
<title>Jump1&#45;&gt;Block2</title>
<path fill="none" stroke="black" d="M109.76,-173.2C118.95,-161.04 131.45,-144.51 141.77,-130.85"/>
<polygon fill="black" stroke="black" points="144.64,-132.86 147.87,-122.78 139.05,-128.64 144.64,-132.86"/>
<text text-anchor="start" x="132.81" y="-146.54" font-family="Monaco" font-size="11.00">!@e</text>
</g>
<!-- Jump2_4 -->
<g id="node6" class="node">
<title>Jump2_4</title>
<polygon fill="none" stroke="black" points="91.42,-30 18.19,-30 18.19,-36 0.19,-18 18.19,0 18.19,-6 73.42,-6 73.42,0 91.42,0 91.42,-30"/>
<text text-anchor="start" x="8" y="-17.53" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q2</text>
<text text-anchor="start" x="17.6" y="-17.53" font-family="Monaco" font-size="11.00">Return.2_4</text>
</g>
<!-- Block1&#45;&gt;Jump2_4 -->
<g id="edge5" class="edge">
<title>Block1&#45;&gt;Jump2_4</title>
<path fill="none" stroke="black" d="M56.97,-86.53C55.06,-74.94 52.48,-59.39 50.29,-46.13"/>
<polygon fill="black" stroke="black" points="53.72,-45.4 48.64,-36.11 46.81,-46.55 53.72,-45.4"/>
<text text-anchor="start" x="53.81" y="-59.87" font-family="Monaco" font-size="11.00">acc</text>
</g>
<!-- Jump2_5_6 -->
<g id="node7" class="node">
<title>Jump2_5_6</title>
<polygon fill="none" stroke="black" points="238.02,-36 109.59,-36 109.59,-32 105.59,-32 105.59,-28 109.59,-28 109.59,-8 105.59,-8 105.59,-4 109.59,-4 109.59,0 238.02,0 238.02,-36"/>
<polyline fill="none" stroke="black" points="109.59,-32 113.59,-32 113.59,-28 109.59,-28 "/>
<polyline fill="none" stroke="black" points="109.59,-8 113.59,-8 113.59,-4 109.59,-4 "/>
<text text-anchor="start" x="122.8" y="-21.2" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q6</text>
<text text-anchor="start" x="132.4" y="-21.2" font-family="Monaco" font-size="11.00">TailCall.2_5_6</text>
<text text-anchor="start" x="117.7" y="-10.2" font-family="Monaco" font-size="11.00">dotProdOpt(i1,@m)</text>
</g>
<!-- Block2&#45;&gt;Jump2_5_6 -->
<g id="edge6" class="edge">
<title>Block2&#45;&gt;Jump2_5_6</title>
<path fill="none" stroke="black" d="M163.44,-86.53C165.22,-74.94 167.6,-59.39 169.64,-46.13"/>
<polygon fill="black" stroke="black" points="173.12,-46.52 171.18,-36.11 166.2,-45.46 173.12,-46.52"/>
</g>
<!-- 1 -->
<g id="node8" class="node">
<title>1</title>
<ellipse fill="none" stroke="black" cx="442.81" cy="-337.34" rx="75.92" ry="18"/>
<text text-anchor="start" x="391.8" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q1</text>
<text text-anchor="start" x="401.4" y="-336.87" font-family="Monaco" font-size="11.00">i1</text>
<text text-anchor="start" x="414.6" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">U10</text>
<text text-anchor="start" x="429" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r2</text>
<text text-anchor="start" x="438.61" y="-336.87" font-family="Monaco" font-size="11.00">:i+</text>
<text text-anchor="start" x="458.41" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">Bin0</text>
<text text-anchor="start" x="477.61" y="-336.87" font-family="Monaco" font-size="11.00">1</text>
<text text-anchor="start" x="484.21" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">U1</text>
</g>
<!-- 3 -->
<g id="node9" class="node">
<title>3</title>
<ellipse fill="none" stroke="black" cx="255.81" cy="-337.34" rx="92.9" ry="18"/>
<text text-anchor="start" x="191.6" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q1</text>
<text text-anchor="start" x="201.2" y="-336.87" font-family="Monaco" font-size="11.00">@e</text>
<text text-anchor="start" x="214.4" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">U1</text>
<text text-anchor="start" x="224" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r3</text>
<text text-anchor="start" x="233.6" y="-336.87" font-family="Monaco" font-size="11.00">:i==</text>
<text text-anchor="start" x="260.01" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">Bin1</text>
<text text-anchor="start" x="279.21" y="-336.87" font-family="Monaco" font-size="11.00">1000</text>
<text text-anchor="start" x="305.61" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">U10</text>
</g>
<!-- 4 -->
<g id="node10" class="node">
<title>4</title>
<ellipse fill="none" stroke="black" cx="571.81" cy="-337.34" rx="29.45" ry="18"/>
<text text-anchor="start" x="557.1" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q2</text>
<text text-anchor="start" x="566.71" y="-336.87" font-family="Monaco" font-size="11.00">nop</text>
</g>
<!-- 5 -->
<g id="node11" class="node">
<title>5</title>
<ellipse fill="none" stroke="black" cx="818.81" cy="-337.34" rx="50.43" ry="18"/>
<text text-anchor="start" x="787.6" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q3</text>
<text text-anchor="start" x="797.2" y="-336.87" font-family="Monaco" font-size="11.00">req a[i]</text>
</g>
<!-- 6 -->
<g id="node13" class="node">
<title>6</title>
<ellipse fill="none" stroke="black" cx="818.81" cy="-264.34" rx="61.83" ry="18"/>
<text text-anchor="start" x="778.9" y="-263.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q4</text>
<text text-anchor="start" x="788.5" y="-263.87" font-family="Monaco" font-size="11.00">a64</text>
<text text-anchor="start" x="808.3" y="-263.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">S64</text>
<text text-anchor="start" x="822.71" y="-263.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r3</text>
<text text-anchor="start" x="832.31" y="-263.87" font-family="Monaco" font-size="11.00">:a[]</text>
</g>
<!-- 5&#45;&gt;6 -->
<g id="edge10" class="edge">
<title>5&#45;&gt;6</title>
<path fill="none" stroke="black" d="M818.81,-319.15C818.81,-311.13 818.81,-301.38 818.81,-292.41"/>
<polygon fill="black" stroke="black" points="822.31,-292.37 818.81,-282.37 815.31,-292.37 822.31,-292.37"/>
</g>
<!-- 10 -->
<g id="node12" class="node">
<title>10</title>
<ellipse fill="none" stroke="black" cx="752.81" cy="-104.67" rx="82.55" ry="18"/>
<text text-anchor="start" x="696.7" y="-104.2" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q6</text>
<text text-anchor="start" x="706.3" y="-104.2" font-family="Monaco" font-size="11.00">@m</text>
<text text-anchor="start" x="719.5" y="-104.2" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">S64</text>
<text text-anchor="start" x="733.9" y="-104.2" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r1</text>
<text text-anchor="start" x="743.5" y="-104.2" font-family="Monaco" font-size="11.00">:acc+</text>
<text text-anchor="start" x="776.51" y="-104.2" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">Bin3</text>
<text text-anchor="start" x="795.71" y="-104.2" font-family="Monaco" font-size="11.00">@l</text>
</g>
<!-- 9 -->
<g id="node14" class="node">
<title>9</title>
<ellipse fill="none" stroke="black" cx="752.81" cy="-191.34" rx="82.55" ry="18"/>
<text text-anchor="start" x="696.7" y="-190.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q5</text>
<text text-anchor="start" x="706.3" y="-190.87" font-family="Monaco" font-size="11.00">@l</text>
<text text-anchor="start" x="719.5" y="-190.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">S64</text>
<text text-anchor="start" x="733.9" y="-190.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r0</text>
<text text-anchor="start" x="743.5" y="-190.87" font-family="Monaco" font-size="11.00">:a64*</text>
<text text-anchor="start" x="776.51" y="-190.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">Bin2</text>
<text text-anchor="start" x="795.71" y="-190.87" font-family="Monaco" font-size="11.00">@k</text>
</g>
<!-- 6&#45;&gt;9 -->
<g id="edge7" class="edge">
<title>6&#45;&gt;9</title>
<path fill="none" stroke="black" d="M803.5,-246.87C795.21,-237.95 784.8,-226.75 775.57,-216.83"/>
<polygon fill="black" stroke="black" points="777.86,-214.15 768.49,-209.21 772.73,-218.92 777.86,-214.15"/>
</g>
<!-- 9&#45;&gt;10 -->
<g id="edge9" class="edge">
<title>9&#45;&gt;10</title>
<path fill="none" stroke="black" d="M752.81,-173.2C752.81,-161.61 752.81,-146.06 752.81,-132.8"/>
<polygon fill="black" stroke="black" points="756.31,-132.78 752.81,-122.78 749.31,-132.78 756.31,-132.78"/>
</g>
<!-- 7 -->
<g id="node15" class="node">
<title>7</title>
<ellipse fill="none" stroke="black" cx="681.81" cy="-337.34" rx="50.43" ry="18"/>
<text text-anchor="start" x="650.6" y="-336.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q3</text>
<text text-anchor="start" x="660.2" y="-336.87" font-family="Monaco" font-size="11.00">req b[i]</text>
</g>
<!-- 8 -->
<g id="node16" class="node">
<title>8</title>
<ellipse fill="none" stroke="black" cx="681.81" cy="-264.34" rx="57.34" ry="18"/>
<text text-anchor="start" x="645.2" y="-263.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#ff4411">q4</text>
<text text-anchor="start" x="654.8" y="-263.87" font-family="Monaco" font-size="11.00">@k</text>
<text text-anchor="start" x="668" y="-263.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#00aa11">S27</text>
<text text-anchor="start" x="682.41" y="-263.87" font-family="Monaco" baseline-shift="super" font-size="8.00" fill="#3311ff">r0</text>
<text text-anchor="start" x="692.01" y="-263.87" font-family="Monaco" font-size="11.00">:b[]</text>
</g>
<!-- 7&#45;&gt;8 -->
<g id="edge11" class="edge">
<title>7&#45;&gt;8</title>
<path fill="none" stroke="black" d="M681.81,-319.15C681.81,-311.13 681.81,-301.38 681.81,-292.41"/>
<polygon fill="black" stroke="black" points="685.31,-292.37 681.81,-282.37 678.31,-292.37 685.31,-292.37"/>
</g>
<!-- 8&#45;&gt;9 -->
<g id="edge8" class="edge">
<title>8&#45;&gt;9</title>
<path fill="none" stroke="black" d="M698.27,-246.87C707.28,-237.86 718.62,-226.53 728.61,-216.53"/>
<polygon fill="black" stroke="black" points="731.34,-218.75 735.94,-209.21 726.39,-213.8 731.34,-218.75"/>
</g>
</g>
</svg>