cardano-ledger-update/images/test-intra-deps.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: G Pages: 1 -->
<svg width="1362pt" height="823pt"
 viewBox="0.00 0.00 1361.89 823.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 819)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-819 1357.89,-819 1357.89,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_0</title>
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="8,-8 8,-771 1012,-771 1012,-8 8,-8"/>
<text text-anchor="middle" x="510" y="-755.8" font-family="Times,serif" font-size="14.00">Test</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_1</title>
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="16,-16 16,-740 1004,-740 1004,-16 16,-16"/>
<text text-anchor="middle" x="510" y="-724.8" font-family="Times,serif" font-size="14.00">Cardano</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_2</title>
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="24,-24 24,-709 996,-709 996,-24 24,-24"/>
<text text-anchor="middle" x="510" y="-693.8" font-family="Times,serif" font-size="14.00">Ledger</text>
</g>
<g id="clust4" class="cluster">
<title>cluster_3</title>
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="176,-32 176,-678 988,-678 988,-32 176,-32"/>
<text text-anchor="middle" x="582" y="-662.8" font-family="Times,serif" font-size="14.00">Update</text>
</g>
<g id="clust5" class="cluster">
<title>cluster_4</title>
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="404,-40 404,-187 572,-187 572,-40 404,-40"/>
<text text-anchor="middle" x="488" y="-171.8" font-family="Times,serif" font-size="14.00">Data</text>
</g>
<g id="clust6" class="cluster">
<title>cluster_5</title>
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="324,-278 324,-572 884,-572 884,-278 324,-278"/>
<text text-anchor="middle" x="604" y="-556.8" font-family="Times,serif" font-size="14.00">Properties</text>
</g>
<g id="clust7" class="cluster">
<title>cluster_6</title>
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="184,-350 184,-647 316,-647 316,-350 184,-350"/>
<text text-anchor="middle" x="250" y="-631.8" font-family="Times,serif" font-size="14.00">UnitTests</text>
</g>
<g id="clust8" class="cluster">
<title>cluster_7</title>
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="1150,-112 1150,-425 1338,-425 1338,-112 1150,-112"/>
<text text-anchor="middle" x="1244" y="-409.8" font-family="Times,serif" font-size="14.00">Trace</text>
</g>
<g id="clust9" class="cluster">
<title>cluster_8</title>
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="1020,-195 1020,-270 1142,-270 1142,-195 1020,-195"/>
<text text-anchor="middle" x="1081" y="-254.8" font-family="Times,serif" font-size="14.00">Util</text>
</g>
<!-- u22 -->
<g id="node1" class="node">
<title>u22</title>
<ellipse fill="#bbffbb" stroke="black" stroke-width="0" cx="164" cy="-797" rx="34.39" ry="18"/>
<text text-anchor="middle" x="164" y="-793.3" font-family="Times,serif" font-size="14.00">Main</text>
</g>
<!-- u18 -->
<g id="node9" class="node">
<title>u18</title>
<ellipse fill="#bbffff" stroke="black" stroke-width="2" cx="494" cy="-523" rx="59.59" ry="18"/>
<text text-anchor="middle" x="494" y="-519.3" font-family="Times,serif" font-size="14.00">Properties</text>
</g>
<!-- u22&#45;&gt;u18 -->
<g id="edge36" class="edge">
<title>u22&#45;&gt;u18</title>
<path fill="none" stroke="black" d="M153.41,-779.83C152,-776.99 150.78,-773.98 150,-771 128.57,-688.86 91.4,-641.42 150,-580 156.53,-573.16 310.66,-573.49 320,-572 363.52,-565.06 411.73,-551.26 446.34,-540.23"/>
<polygon fill="black" stroke="black" points="447.74,-543.46 456.18,-537.06 445.59,-536.8 447.74,-543.46"/>
</g>
<!-- u5 -->
<g id="node11" class="node">
<title>u5</title>
<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="692" cy="-523" rx="54.69" ry="18"/>
<text text-anchor="middle" x="692" y="-519.3" font-family="Times,serif" font-size="14.00">Coverage</text>
</g>
<!-- u22&#45;&gt;u5 -->
<g id="edge34" class="edge">
<title>u22&#45;&gt;u5</title>
<path fill="none" stroke="black" d="M162.48,-778.9C158.8,-732.68 151.62,-606.91 180,-580 187.72,-572.68 552.55,-573.99 563,-572 594.43,-566 628.27,-553.15 653.4,-542.25"/>
<polygon fill="black" stroke="black" points="654.86,-545.43 662.59,-538.19 652.02,-539.03 654.86,-545.43"/>
</g>
<!-- u14 -->
<g id="node19" class="node">
<title>u14</title>
<ellipse fill="#ffff77" stroke="black" stroke-width="0" cx="250" cy="-598" rx="57.69" ry="18"/>
<text text-anchor="middle" x="250" y="-594.3" font-family="Times,serif" font-size="14.00">Activation</text>
</g>
<!-- u22&#45;&gt;u14 -->
<g id="edge35" class="edge">
<title>u22&#45;&gt;u14</title>
<path fill="none" stroke="black" d="M173.61,-779.47C175.13,-776.67 176.65,-773.77 178,-771 202.42,-720.89 226.56,-660.38 239.75,-626.12"/>
<polygon fill="black" stroke="black" points="243.18,-626.97 243.48,-616.38 236.64,-624.47 243.18,-626.97"/>
</g>
<!-- u23 -->
<g id="node2" class="node">
<title>u23</title>
<ellipse fill="#bbffbb" stroke="black" stroke-width="0" cx="1161" cy="-66" rx="94.48" ry="18"/>
<text text-anchor="middle" x="1161" y="-62.3" font-family="Times,serif" font-size="14.00">SystemUnderTest</text>
</g>
<!-- u3 -->
<g id="node3" class="node">
<title>u3</title>
<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="100" cy="-376" rx="67.69" ry="18"/>
<text text-anchor="middle" x="100" y="-372.3" font-family="Times,serif" font-size="14.00">UpdateSpec</text>
</g>
<!-- u16 -->
<g id="node4" class="node">
<title>u16</title>
<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="258" cy="-304" rx="52.79" ry="18"/>
<text text-anchor="middle" x="258" y="-300.3" font-family="Times,serif" font-size="14.00">TestCase</text>
</g>
<!-- u3&#45;&gt;u16 -->
<g id="edge4" class="edge">
<title>u3&#45;&gt;u16</title>
<path fill="none" stroke="black" d="M133.51,-360.15C158.19,-349.22 191.87,-334.3 217.98,-322.73"/>
<polygon fill="black" stroke="black" points="219.49,-325.89 227.22,-318.64 216.66,-319.49 219.49,-325.89"/>
</g>
<!-- u20 -->
<g id="node6" class="node">
<title>u20</title>
<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="488" cy="-221" rx="52.79" ry="18"/>
<text text-anchor="middle" x="488" y="-217.3" font-family="Times,serif" font-size="14.00">Interface</text>
</g>
<!-- u16&#45;&gt;u20 -->
<g id="edge25" class="edge">
<title>u16&#45;&gt;u20</title>
<path fill="none" stroke="black" d="M290.03,-289.65C299.62,-285.77 310.2,-281.61 320,-278 360.44,-263.12 406.96,-247.75 440.78,-236.88"/>
<polygon fill="black" stroke="black" points="441.95,-240.18 450.4,-233.8 439.81,-233.52 441.95,-240.18"/>
</g>
<!-- u21 -->
<g id="node25" class="node">
<title>u21</title>
<ellipse fill="#ff7777" stroke="black" stroke-width="0" cx="1081" cy="-221" rx="52.79" ry="18"/>
<text text-anchor="middle" x="1081" y="-217.3" font-family="Times,serif" font-size="14.00">TestCase</text>
</g>
<!-- u16&#45;&gt;u21 -->
<g id="edge26" class="edge">
<title>u16&#45;&gt;u21</title>
<path fill="none" stroke="black" d="M286.64,-288.87C296.91,-284.51 308.73,-280.26 320,-278 393.22,-263.34 919.71,-288.71 992,-270 1012.79,-264.62 1034.04,-253.42 1050.56,-243.19"/>
<polygon fill="black" stroke="black" points="1052.68,-245.99 1059.21,-237.65 1048.9,-240.09 1052.68,-245.99"/>
</g>
<!-- u17 -->
<g id="node5" class="node">
<title>u17</title>
<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="937" cy="-451" rx="42.79" ry="18"/>
<text text-anchor="middle" x="937" y="-447.3" font-family="Times,serif" font-size="14.00">Events</text>
</g>
<!-- u4 -->
<g id="node10" class="node">
<title>u4</title>
<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="595" cy="-376" rx="83.39" ry="18"/>
<text text-anchor="middle" x="595" y="-372.3" font-family="Times,serif" font-size="14.00">SimpleScenario</text>
</g>
<!-- u17&#45;&gt;u4 -->
<g id="edge27" class="edge">
<title>u17&#45;&gt;u4</title>
<path fill="none" stroke="black" d="M905.84,-438.43C899.96,-436.47 893.83,-434.56 888,-433 815.4,-413.58 730.97,-398.18 671.44,-388.49"/>
<polygon fill="black" stroke="black" points="671.8,-385 661.37,-386.86 670.68,-391.91 671.8,-385"/>
</g>
<!-- u24 -->
<g id="node21" class="node">
<title>u24</title>
<ellipse fill="#bbffbb" stroke="black" stroke-width="2" cx="1226" cy="-221" rx="36.29" ry="18"/>
<text text-anchor="middle" x="1226" y="-217.3" font-family="Times,serif" font-size="14.00">Trace</text>
</g>
<!-- u17&#45;&gt;u24 -->
<g id="edge28" class="edge">
<title>u17&#45;&gt;u24</title>
<path fill="none" stroke="black" d="M967.68,-438.38C974.3,-436.27 981.32,-434.32 988,-433 1013.79,-427.91 1084.39,-439.96 1106,-425 1165.04,-384.14 1132.89,-337.55 1173,-278 1181.03,-266.09 1191.64,-254.32 1201.25,-244.67"/>
<polygon fill="black" stroke="black" points="1203.97,-246.91 1208.69,-237.43 1199.08,-241.9 1203.97,-246.91"/>
</g>
<!-- u19 -->
<g id="node7" class="node">
<title>u19</title>
<ellipse fill="#bbffff" stroke="black" stroke-width="2" cx="488" cy="-138" rx="32.49" ry="18"/>
<text text-anchor="middle" x="488" y="-134.3" font-family="Times,serif" font-size="14.00">Data</text>
</g>
<!-- u20&#45;&gt;u19 -->
<g id="edge33" class="edge">
<title>u20&#45;&gt;u19</title>
<path fill="none" stroke="black" d="M488,-202.82C488,-192.19 488,-178.31 488,-166.2"/>
<polygon fill="black" stroke="black" points="491.5,-166.15 488,-156.15 484.5,-166.15 491.5,-166.15"/>
</g>
<!-- u11 -->
<g id="node8" class="node">
<title>u11</title>
<ellipse fill="#ffbbff" stroke="black" stroke-width="0" cx="488" cy="-66" rx="76.09" ry="18"/>
<text text-anchor="middle" x="488" y="-62.3" font-family="Times,serif" font-size="14.00">MockProposal</text>
</g>
<!-- u19&#45;&gt;u11 -->
<g id="edge32" class="edge">
<title>u19&#45;&gt;u11</title>
<path fill="none" stroke="black" d="M488,-119.7C488,-111.98 488,-102.71 488,-94.11"/>
<polygon fill="black" stroke="black" points="491.5,-94.1 488,-84.1 484.5,-94.1 491.5,-94.1"/>
</g>
<!-- u7 -->
<g id="node13" class="node">
<title>u7</title>
<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="595" cy="-451" rx="51.19" ry="18"/>
<text text-anchor="middle" x="595" y="-447.3" font-family="Times,serif" font-size="14.00">Liveness</text>
</g>
<!-- u18&#45;&gt;u7 -->
<g id="edge29" class="edge">
<title>u18&#45;&gt;u7</title>
<path fill="none" stroke="black" d="M516.67,-506.29C530.67,-496.59 548.82,-484 564.13,-473.4"/>
<polygon fill="black" stroke="black" points="566.53,-475.99 572.76,-467.42 562.54,-470.24 566.53,-475.99"/>
</g>
<!-- u8 -->
<g id="node14" class="node">
<title>u8</title>
<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="770" cy="-451" rx="105.88" ry="18"/>
<text text-anchor="middle" x="770" y="-447.3" font-family="Times,serif" font-size="14.00">StateChangeValidity</text>
</g>
<!-- u18&#45;&gt;u8 -->
<g id="edge30" class="edge">
<title>u18&#45;&gt;u8</title>
<path fill="none" stroke="black" d="M538.34,-510.75C582.92,-499.45 652.17,-481.89 703.35,-468.9"/>
<polygon fill="black" stroke="black" points="704.5,-472.22 713.34,-466.37 702.78,-465.44 704.5,-472.22"/>
</g>
<!-- u10 -->
<g id="node16" class="node">
<title>u10</title>
<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="429" cy="-451" rx="96.68" ry="18"/>
<text text-anchor="middle" x="429" y="-447.3" font-family="Times,serif" font-size="14.00">CBORSerialisation</text>
</g>
<!-- u18&#45;&gt;u10 -->
<g id="edge31" class="edge">
<title>u18&#45;&gt;u10</title>
<path fill="none" stroke="black" d="M478.6,-505.41C470.54,-496.73 460.52,-485.95 451.6,-476.34"/>
<polygon fill="black" stroke="black" points="454.11,-473.9 444.75,-468.96 448.98,-478.67 454.11,-473.9"/>
</g>
<!-- u4&#45;&gt;u3 -->
<g id="edge6" class="edge">
<title>u4&#45;&gt;u3</title>
<path fill="none" stroke="black" d="M539.65,-389.47C482.72,-402.58 391.28,-421.57 311,-429 284,-431.5 215.52,-434.63 189,-429 166.83,-424.29 144.92,-411.38 128.38,-399.47"/>
<polygon fill="black" stroke="black" points="130.36,-396.58 120.25,-393.39 126.16,-402.18 130.36,-396.58"/>
</g>
<!-- u6 -->
<g id="node12" class="node">
<title>u6</title>
<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="595" cy="-304" rx="64.99" ry="18"/>
<text text-anchor="middle" x="595" y="-300.3" font-family="Times,serif" font-size="14.00">UpdateSUT</text>
</g>
<!-- u4&#45;&gt;u6 -->
<g id="edge7" class="edge">
<title>u4&#45;&gt;u6</title>
<path fill="none" stroke="black" d="M595,-357.7C595,-349.98 595,-340.71 595,-332.11"/>
<polygon fill="black" stroke="black" points="598.5,-332.1 595,-322.1 591.5,-332.1 598.5,-332.1"/>
</g>
<!-- u1 -->
<g id="node23" class="node">
<title>u1</title>
<ellipse fill="#7777ff" stroke="black" stroke-width="0" cx="1209" cy="-138" rx="51.19" ry="18"/>
<text text-anchor="middle" x="1209" y="-134.3" font-family="Times,serif" font-size="14.00">Scenario</text>
</g>
<!-- u4&#45;&gt;u1 -->
<g id="edge5" class="edge">
<title>u4&#45;&gt;u1</title>
<path fill="none" stroke="black" d="M650.15,-362.41C739.58,-342.33 921.95,-302.81 1078,-278 1093.03,-275.61 1133.67,-278.91 1146,-270 1175.82,-248.46 1165,-228.12 1181,-195 1185.7,-185.27 1190.98,-174.64 1195.67,-165.29"/>
<polygon fill="black" stroke="black" points="1198.93,-166.6 1200.3,-156.1 1192.68,-163.45 1198.93,-166.6"/>
</g>
<!-- u5&#45;&gt;u17 -->
<g id="edge9" class="edge">
<title>u5&#45;&gt;u17</title>
<path fill="none" stroke="black" d="M733.07,-510.91C789.98,-495.55 886.11,-469.58 888,-469 890.57,-468.21 893.21,-467.37 895.87,-466.5"/>
<polygon fill="black" stroke="black" points="897.1,-469.78 905.48,-463.3 894.88,-463.14 897.1,-469.78"/>
</g>
<!-- u0 -->
<g id="node22" class="node">
<title>u0</title>
<ellipse fill="#7777ff" stroke="black" stroke-width="0" cx="1244" cy="-376" rx="85.59" ry="18"/>
<text text-anchor="middle" x="1244" y="-372.3" font-family="Times,serif" font-size="14.00">PropertyTesting</text>
</g>
<!-- u5&#45;&gt;u0 -->
<g id="edge8" class="edge">
<title>u5&#45;&gt;u0</title>
<path fill="none" stroke="black" d="M731.83,-510.52C739.48,-508.53 747.46,-506.58 755,-505 859.26,-483.09 887.94,-491.86 992,-469 1060.69,-453.91 1078.3,-450.08 1144,-425 1164.53,-417.16 1186.63,-406.78 1204.81,-397.67"/>
<polygon fill="black" stroke="black" points="1206.6,-400.69 1213.94,-393.04 1203.44,-394.44 1206.6,-400.69"/>
</g>
<!-- u6&#45;&gt;u23 -->
<g id="edge11" class="edge">
<title>u6&#45;&gt;u23</title>
<path fill="none" stroke="black" d="M634.58,-289.59C651.17,-283.8 670.61,-276.81 688,-270 847.84,-207.41 1034.13,-124.45 1117.17,-86.93"/>
<polygon fill="black" stroke="black" points="1118.64,-90.11 1126.31,-82.8 1115.76,-83.73 1118.64,-90.11"/>
</g>
<!-- u6&#45;&gt;u20 -->
<g id="edge10" class="edge">
<title>u6&#45;&gt;u20</title>
<path fill="none" stroke="black" d="M573.6,-286.8C557.36,-274.5 534.84,-257.46 516.98,-243.94"/>
<polygon fill="black" stroke="black" points="518.72,-240.86 508.63,-237.62 514.49,-246.44 518.72,-240.86"/>
</g>
<!-- u7&#45;&gt;u4 -->
<g id="edge12" class="edge">
<title>u7&#45;&gt;u4</title>
<path fill="none" stroke="black" d="M595,-432.7C595,-424.25 595,-413.87 595,-404.37"/>
<polygon fill="black" stroke="black" points="598.5,-404.18 595,-394.18 591.5,-404.18 598.5,-404.18"/>
</g>
<!-- u7&#45;&gt;u24 -->
<g id="edge13" class="edge">
<title>u7&#45;&gt;u24</title>
<path fill="none" stroke="black" d="M633.36,-438.94C640.54,-436.92 647.99,-434.87 655,-433 669.17,-429.22 672.9,-429 687,-425 894.29,-366.17 942.72,-340.27 1149,-278 1161.39,-274.26 1165.81,-276.51 1177,-270 1187.99,-263.61 1198.33,-254.21 1206.66,-245.41"/>
<polygon fill="black" stroke="black" points="1209.31,-247.69 1213.42,-237.93 1204.12,-243 1209.31,-247.69"/>
</g>
<!-- u8&#45;&gt;u17 -->
<g id="edge15" class="edge">
<title>u8&#45;&gt;u17</title>
<path fill="none" stroke="black" d="M876.01,-451C878.49,-451 880.96,-451 883.44,-451"/>
<polygon fill="black" stroke="black" points="883.64,-454.5 893.64,-451 883.64,-447.5 883.64,-454.5"/>
</g>
<!-- u8&#45;&gt;u0 -->
<g id="edge14" class="edge">
<title>u8&#45;&gt;u0</title>
<path fill="none" stroke="black" d="M841.44,-437.71C854.25,-435.86 867.5,-434.18 880,-433 930.03,-428.27 1056.6,-434.25 1106,-425 1138.09,-418.99 1172.79,-406.9 1199.37,-396.35"/>
<polygon fill="black" stroke="black" points="1200.81,-399.54 1208.77,-392.55 1198.19,-393.05 1200.81,-399.54"/>
</g>
<!-- u9 -->
<g id="node15" class="node">
<title>u9</title>
<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="820" cy="-523" rx="55.79" ry="18"/>
<text text-anchor="middle" x="820" y="-519.3" font-family="Times,serif" font-size="14.00">Examples</text>
</g>
<!-- u9&#45;&gt;u7 -->
<g id="edge17" class="edge">
<title>u9&#45;&gt;u7</title>
<path fill="none" stroke="black" d="M781.32,-509.97C742.59,-497.92 682.95,-479.36 641.62,-466.5"/>
<polygon fill="black" stroke="black" points="642.64,-463.16 632.05,-463.53 640.56,-469.84 642.64,-463.16"/>
</g>
<!-- u2 -->
<g id="node24" class="node">
<title>u2</title>
<ellipse fill="#7777ff" stroke="black" stroke-width="0" cx="1244" cy="-304" rx="62.29" ry="18"/>
<text text-anchor="middle" x="1244" y="-300.3" font-family="Times,serif" font-size="14.00">Generation</text>
</g>
<!-- u9&#45;&gt;u2 -->
<g id="edge16" class="edge">
<title>u9&#45;&gt;u2</title>
<path fill="none" stroke="black" d="M875.23,-520.23C996.61,-515.06 1280.44,-495.52 1339,-425 1360.3,-399.36 1356.82,-378.17 1339,-350 1330.19,-336.08 1315.78,-326.38 1300.82,-319.66"/>
<polygon fill="black" stroke="black" points="1302.06,-316.38 1291.48,-315.85 1299.41,-322.86 1302.06,-316.38"/>
</g>
<!-- u10&#45;&gt;u4 -->
<g id="edge19" class="edge">
<title>u10&#45;&gt;u4</title>
<path fill="none" stroke="black" d="M465.02,-434.16C490.18,-423.09 523.94,-408.25 550.74,-396.46"/>
<polygon fill="black" stroke="black" points="552.16,-399.66 559.91,-392.43 549.34,-393.26 552.16,-399.66"/>
</g>
<!-- u10&#45;&gt;u0 -->
<g id="edge18" class="edge">
<title>u10&#45;&gt;u0</title>
<path fill="none" stroke="black" d="M495.55,-437.91C508.59,-435.94 522.19,-434.17 535,-433 691.28,-418.76 731.55,-437.28 888,-425 985.48,-417.35 1097.09,-401.06 1168.96,-389.59"/>
<polygon fill="black" stroke="black" points="1169.95,-392.98 1179.27,-387.94 1168.84,-386.07 1169.95,-392.98"/>
</g>
<!-- u12 -->
<g id="node17" class="node">
<title>u12</title>
<ellipse fill="#ffff77" stroke="black" stroke-width="0" cx="253" cy="-376" rx="51.99" ry="18"/>
<text text-anchor="middle" x="253" y="-372.3" font-family="Times,serif" font-size="14.00">Common</text>
</g>
<!-- u12&#45;&gt;u16 -->
<g id="edge20" class="edge">
<title>u12&#45;&gt;u16</title>
<path fill="none" stroke="black" d="M254.24,-357.7C254.79,-349.98 255.45,-340.71 256.06,-332.11"/>
<polygon fill="black" stroke="black" points="259.56,-332.33 256.78,-322.1 252.57,-331.83 259.56,-332.33"/>
</g>
<!-- u13 -->
<g id="node18" class="node">
<title>u13</title>
<ellipse fill="#ffff77" stroke="black" stroke-width="0" cx="250" cy="-451" rx="48.99" ry="18"/>
<text text-anchor="middle" x="250" y="-447.3" font-family="Times,serif" font-size="14.00">Ideation</text>
</g>
<!-- u13&#45;&gt;u3 -->
<g id="edge21" class="edge">
<title>u13&#45;&gt;u3</title>
<path fill="none" stroke="black" d="M214.2,-438.74C203.05,-434.83 190.85,-430.13 180,-425 163.75,-417.32 146.56,-407.27 132.29,-398.36"/>
<polygon fill="black" stroke="black" points="134.14,-395.39 123.82,-392.99 130.39,-401.3 134.14,-395.39"/>
</g>
<!-- u13&#45;&gt;u12 -->
<g id="edge22" class="edge">
<title>u13&#45;&gt;u12</title>
<path fill="none" stroke="black" d="M250.71,-432.7C251.06,-424.25 251.48,-413.87 251.88,-404.37"/>
<polygon fill="black" stroke="black" points="255.38,-404.31 252.29,-394.18 248.39,-404.02 255.38,-404.31"/>
</g>
<!-- u15 -->
<g id="node20" class="node">
<title>u15</title>
<ellipse fill="#ffff77" stroke="black" stroke-width="0" cx="250" cy="-523" rx="51.99" ry="18"/>
<text text-anchor="middle" x="250" y="-519.3" font-family="Times,serif" font-size="14.00">Approval</text>
</g>
<!-- u14&#45;&gt;u15 -->
<g id="edge23" class="edge">
<title>u14&#45;&gt;u15</title>
<path fill="none" stroke="black" d="M250,-579.7C250,-571.25 250,-560.87 250,-551.37"/>
<polygon fill="black" stroke="black" points="253.5,-551.18 250,-541.18 246.5,-551.18 253.5,-551.18"/>
</g>
<!-- u15&#45;&gt;u13 -->
<g id="edge24" class="edge">
<title>u15&#45;&gt;u13</title>
<path fill="none" stroke="black" d="M250,-504.7C250,-496.98 250,-487.71 250,-479.11"/>
<polygon fill="black" stroke="black" points="253.5,-479.1 250,-469.1 246.5,-479.1 253.5,-479.1"/>
</g>
<!-- u24&#45;&gt;u1 -->
<g id="edge37" class="edge">
<title>u24&#45;&gt;u1</title>
<path fill="none" stroke="black" d="M1222.39,-202.82C1220.16,-192.19 1217.25,-178.31 1214.71,-166.2"/>
<polygon fill="black" stroke="black" points="1218.08,-165.22 1212.6,-156.15 1211.23,-166.66 1218.08,-165.22"/>
</g>
<!-- u0&#45;&gt;u2 -->
<g id="edge1" class="edge">
<title>u0&#45;&gt;u2</title>
<path fill="none" stroke="black" d="M1244,-357.7C1244,-349.98 1244,-340.71 1244,-332.11"/>
<polygon fill="black" stroke="black" points="1247.5,-332.1 1244,-322.1 1240.5,-332.1 1247.5,-332.1"/>
</g>
<!-- u1&#45;&gt;u23 -->
<g id="edge2" class="edge">
<title>u1&#45;&gt;u23</title>
<path fill="none" stroke="black" d="M1197.62,-120.41C1191.91,-112.08 1184.86,-101.8 1178.48,-92.49"/>
<polygon fill="black" stroke="black" points="1181.17,-90.22 1172.63,-83.96 1175.4,-94.18 1181.17,-90.22"/>
</g>
<!-- u2&#45;&gt;u24 -->
<g id="edge3" class="edge">
<title>u2&#45;&gt;u24</title>
<path fill="none" stroke="black" d="M1240.18,-285.82C1237.82,-275.19 1234.73,-261.31 1232.05,-249.2"/>
<polygon fill="black" stroke="black" points="1235.4,-248.16 1229.81,-239.15 1228.56,-249.67 1235.4,-248.16"/>
</g>
</g>
</svg>