Files
configotron/tests/ref/build_number_upper_bound_42398.svg
2025-06-07 03:01:00 +02:00

293 lines
17 KiB
XML

<?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: root Pages: 1 -->
<svg width="943pt" height="533pt"
viewBox="0.00 0.00 942.59 533.45" 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 529.45)">
<title>root</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-529.45 938.59,-529.45 938.59,4 -4,4"/>
<!-- e -->
<g id="node1" class="node">
<title>e</title>
<ellipse fill="none" stroke="black" cx="916.09" cy="-268.45" rx="18" ry="18"/>
<text text-anchor="middle" x="916.09" y="-264.75" font-family="Times,serif" font-size="14.00">e</text>
</g>
<!-- e&#45;&gt;e -->
<g id="edge1" class="edge">
<title>e&#45;&gt;e</title>
<path fill="none" stroke="black" d="M906.85,-283.99C904.26,-294.36 907.33,-304.45 916.09,-304.45 921.83,-304.45 925.13,-300.1 925.99,-294.18"/>
<polygon fill="black" stroke="black" points="929.47,-293.74 925.32,-283.99 922.48,-294.2 929.47,-293.74"/>
<text text-anchor="middle" x="916.09" y="-308.25" font-family="Times,serif" font-size="14.00">00&#45;7f</text>
</g>
<!-- g -->
<g id="node2" class="node">
<title>g</title>
<ellipse fill="none" stroke="black" cx="787.59" cy="-409.45" rx="18" ry="18"/>
<ellipse fill="none" stroke="black" cx="787.59" cy="-409.45" rx="22" ry="22"/>
<text text-anchor="middle" x="787.59" y="-405.75" font-family="Times,serif" font-size="14.00">g</text>
</g>
<!-- g&#45;&gt;e -->
<g id="edge2" class="edge">
<title>g&#45;&gt;e</title>
<path fill="none" stroke="black" d="M809.61,-406.42C830.25,-402.37 861.29,-393.27 880.09,-373.45 900.04,-352.41 908.63,-319.69 912.32,-296.38"/>
<polygon fill="black" stroke="black" points="915.8,-296.78 913.7,-286.4 908.86,-295.83 915.8,-296.78"/>
<text text-anchor="middle" x="861.59" y="-399.25" font-family="Times,serif" font-size="14.00">00&#45;7f</text>
</g>
<!-- m0 -->
<g id="node3" class="node">
<title>m0</title>
<ellipse fill="none" stroke="black" cx="29.35" cy="-117.45" rx="25.22" ry="25.22"/>
<ellipse fill="none" stroke="black" cx="29.35" cy="-117.45" rx="29.2" ry="29.2"/>
<text text-anchor="middle" x="29.35" y="-113.75" font-family="Times,serif" font-size="14.00">m0</text>
</g>
<!-- m0&#45;&gt;e -->
<g id="edge4" class="edge">
<title>m0&#45;&gt;e</title>
<path fill="none" stroke="black" d="M33.65,-146.67C44.75,-237.74 84.38,-510.45 161.04,-510.45 161.04,-510.45 161.04,-510.45 788.59,-510.45 839.25,-510.45 852.95,-485.24 880.09,-442.45 908.72,-397.29 914.62,-333.39 915.44,-296.92"/>
<polygon fill="black" stroke="black" points="918.95,-296.57 915.56,-286.53 911.95,-296.49 918.95,-296.57"/>
<text text-anchor="middle" x="433.09" y="-514.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;/&#39;,&#39;:&#39;&#45;7f</text>
</g>
<!-- s1 -->
<g id="node4" class="node">
<title>s1</title>
<ellipse fill="none" stroke="black" cx="294.74" cy="-86.45" rx="21.4" ry="21.4"/>
<ellipse fill="none" stroke="black" cx="294.74" cy="-86.45" rx="25.4" ry="25.4"/>
<text text-anchor="middle" x="294.74" y="-82.75" font-family="Times,serif" font-size="14.00">s1</text>
</g>
<!-- m0&#45;&gt;s1 -->
<g id="edge3" class="edge">
<title>m0&#45;&gt;s1</title>
<path fill="none" stroke="black" d="M57.97,-110.68C78.47,-105.93 107.16,-99.84 132.7,-96.45 175.86,-90.71 225.97,-88.25 258.69,-87.21"/>
<polygon fill="black" stroke="black" points="259.19,-90.7 269.08,-86.91 258.98,-83.7 259.19,-90.7"/>
<text text-anchor="middle" x="162.04" y="-100.25" font-family="Times,serif" font-size="14.00">&#39;5&#39;&#45;&#39;9&#39;</text>
</g>
<!-- s0 -->
<g id="node5" class="node">
<title>s0</title>
<ellipse fill="none" stroke="black" cx="162.04" cy="-25.45" rx="21.4" ry="21.4"/>
<ellipse fill="none" stroke="black" cx="162.04" cy="-25.45" rx="25.4" ry="25.4"/>
<text text-anchor="middle" x="162.04" y="-21.75" font-family="Times,serif" font-size="14.00">s0</text>
</g>
<!-- m0&#45;&gt;s0 -->
<g id="edge5" class="edge">
<title>m0&#45;&gt;s0</title>
<path fill="none" stroke="black" d="M45.15,-92.3C53.21,-80.4 64.11,-66.78 76.7,-57.45 91.7,-46.33 111.03,-38.62 127.4,-33.57"/>
<polygon fill="black" stroke="black" points="128.5,-36.89 137.14,-30.75 126.56,-30.16 128.5,-36.89"/>
<text text-anchor="middle" x="95.7" y="-61.25" font-family="Times,serif" font-size="14.00">&#39;0&#39;&#45;&#39;3&#39;</text>
</g>
<!-- m1 -->
<g id="node6" class="node">
<title>m1</title>
<ellipse fill="none" stroke="black" cx="162.04" cy="-149.45" rx="25.22" ry="25.22"/>
<ellipse fill="none" stroke="black" cx="162.04" cy="-149.45" rx="29.2" ry="29.2"/>
<text text-anchor="middle" x="162.04" y="-145.75" font-family="Times,serif" font-size="14.00">m1</text>
</g>
<!-- m0&#45;&gt;m1 -->
<g id="edge6" class="edge">
<title>m0&#45;&gt;m1</title>
<path fill="none" stroke="black" d="M58.06,-124.23C77.13,-128.9 102.67,-135.15 123.54,-140.27"/>
<polygon fill="black" stroke="black" points="122.82,-143.69 133.37,-142.67 124.49,-136.89 122.82,-143.69"/>
<text text-anchor="middle" x="95.7" y="-140.25" font-family="Times,serif" font-size="14.00">&#39;4&#39;</text>
</g>
<!-- s1&#45;&gt;e -->
<g id="edge23" class="edge">
<title>s1&#45;&gt;e</title>
<path fill="none" stroke="black" d="M320.36,-85C347.66,-83.53 393,-81.45 432.09,-81.45 432.09,-81.45 432.09,-81.45 788.59,-81.45 831.52,-81.45 851.38,-80.52 880.09,-112.45 896.83,-131.07 907.36,-200.95 912.12,-240.58"/>
<polygon fill="black" stroke="black" points="908.66,-241.12 913.28,-250.65 915.61,-240.31 908.66,-241.12"/>
<text text-anchor="middle" x="609.09" y="-85.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;/&#39;,&#39;:&#39;&#45;7f</text>
</g>
<!-- s2 -->
<g id="node7" class="node">
<title>s2</title>
<ellipse fill="none" stroke="black" cx="433.09" cy="-190.45" rx="21.4" ry="21.4"/>
<ellipse fill="none" stroke="black" cx="433.09" cy="-190.45" rx="25.4" ry="25.4"/>
<text text-anchor="middle" x="433.09" y="-186.75" font-family="Times,serif" font-size="14.00">s2</text>
</g>
<!-- s1&#45;&gt;s2 -->
<g id="edge22" class="edge">
<title>s1&#45;&gt;s2</title>
<path fill="none" stroke="black" d="M315.56,-101.57C338.89,-119.36 377.78,-149.02 404.15,-169.14"/>
<polygon fill="black" stroke="black" points="402.16,-172.03 412.24,-175.31 406.41,-166.46 402.16,-172.03"/>
<text text-anchor="middle" x="361.09" y="-151.25" font-family="Times,serif" font-size="14.00">&#39;0&#39;&#45;&#39;9&#39;</text>
</g>
<!-- s0&#45;&gt;e -->
<g id="edge20" class="edge">
<title>s0&#45;&gt;e</title>
<path fill="none" stroke="black" d="M187.61,-24.85C213.88,-24.26 256.75,-23.45 293.74,-23.45 293.74,-23.45 293.74,-23.45 788.59,-23.45 837.22,-23.45 853.08,-43 880.09,-83.45 897.02,-108.8 907.86,-195.44 912.49,-240.58"/>
<polygon fill="black" stroke="black" points="909.02,-240.98 913.49,-250.59 915.98,-240.29 909.02,-240.98"/>
<text text-anchor="middle" x="521.09" y="-27.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;/&#39;,&#39;:&#39;&#45;7f</text>
</g>
<!-- s0&#45;&gt;s1 -->
<g id="edge21" class="edge">
<title>s0&#45;&gt;s1</title>
<path fill="none" stroke="black" d="M186.47,-32.95C203.7,-38.79 227.47,-47.56 247.39,-57.45 252.95,-60.21 258.69,-63.45 264.15,-66.74"/>
<polygon fill="black" stroke="black" points="262.68,-69.95 273.02,-72.27 266.38,-64.01 262.68,-69.95"/>
<text text-anchor="middle" x="228.39" y="-61.25" font-family="Times,serif" font-size="14.00">&#39;0&#39;&#45;&#39;9&#39;</text>
</g>
<!-- m1&#45;&gt;e -->
<g id="edge8" class="edge">
<title>m1&#45;&gt;e</title>
<path fill="none" stroke="black" d="M191.68,-149.31C245.75,-149.23 366.59,-149.89 468.09,-156.45 627.32,-166.73 667.57,-168.96 825.09,-194.45 849.78,-198.44 859.96,-191.59 880.09,-206.45 891.94,-215.19 900.34,-229.23 905.93,-241.74"/>
<polygon fill="black" stroke="black" points="902.82,-243.37 909.83,-251.31 909.3,-240.73 902.82,-243.37"/>
<text text-anchor="middle" x="521.09" y="-165.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;/&#39;,&#39;:&#39;&#45;7f</text>
</g>
<!-- m1&#45;&gt;s1 -->
<g id="edge9" class="edge">
<title>m1&#45;&gt;s1</title>
<path fill="none" stroke="black" d="M187.11,-133.27C194.15,-128.85 201.95,-124.24 209.39,-120.45 225.93,-112.02 245.08,-104.16 260.94,-98.13"/>
<polygon fill="black" stroke="black" points="262.2,-101.39 270.34,-94.62 259.75,-94.84 262.2,-101.39"/>
<text text-anchor="middle" x="228.39" y="-124.25" font-family="Times,serif" font-size="14.00">&#39;0&#39;&#45;&#39;1&#39;</text>
</g>
<!-- m1&#45;&gt;s2 -->
<g id="edge7" class="edge">
<title>m1&#45;&gt;s2</title>
<path fill="none" stroke="black" d="M190.29,-158.53C196.51,-160.37 203.14,-162.14 209.39,-163.45 275.06,-177.24 353.21,-184.7 397.29,-188.1"/>
<polygon fill="black" stroke="black" points="397.24,-191.61 407.48,-188.86 397.76,-184.62 397.24,-191.61"/>
<text text-anchor="middle" x="294.74" y="-184.25" font-family="Times,serif" font-size="14.00">&#39;3&#39;&#45;&#39;9&#39;</text>
</g>
<!-- m2 -->
<g id="node8" class="node">
<title>m2</title>
<ellipse fill="none" stroke="black" cx="294.74" cy="-253.45" rx="25.22" ry="25.22"/>
<ellipse fill="none" stroke="black" cx="294.74" cy="-253.45" rx="29.2" ry="29.2"/>
<text text-anchor="middle" x="294.74" y="-249.75" font-family="Times,serif" font-size="14.00">m2</text>
</g>
<!-- m1&#45;&gt;m2 -->
<g id="edge10" class="edge">
<title>m1&#45;&gt;m2</title>
<path fill="none" stroke="black" d="M179.94,-172.99C188.11,-183.39 198.49,-195.29 209.39,-204.45 224.35,-217.01 242.96,-228.2 258.89,-236.71"/>
<polygon fill="black" stroke="black" points="257.42,-239.89 267.91,-241.39 260.65,-233.68 257.42,-239.89"/>
<text text-anchor="middle" x="228.39" y="-233.25" font-family="Times,serif" font-size="14.00">&#39;2&#39;</text>
</g>
<!-- s2&#45;&gt;e -->
<g id="edge25" class="edge">
<title>s2&#45;&gt;e</title>
<path fill="none" stroke="black" d="M458.57,-189.56C520.48,-187.78 688.14,-185.72 825.09,-209.45 849.74,-213.72 859.06,-207.89 880.09,-221.45 888.75,-227.04 896.04,-235.57 901.69,-243.83"/>
<polygon fill="black" stroke="black" points="898.87,-245.94 907.15,-252.55 904.8,-242.22 898.87,-245.94"/>
<text text-anchor="middle" x="697.09" y="-200.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;/&#39;,&#39;:&#39;&#45;7f</text>
</g>
<!-- s3 -->
<g id="node10" class="node">
<title>s3</title>
<ellipse fill="none" stroke="black" cx="609.09" cy="-253.45" rx="21.4" ry="21.4"/>
<ellipse fill="none" stroke="black" cx="609.09" cy="-253.45" rx="25.4" ry="25.4"/>
<text text-anchor="middle" x="609.09" y="-249.75" font-family="Times,serif" font-size="14.00">s3</text>
</g>
<!-- s2&#45;&gt;s3 -->
<g id="edge24" class="edge">
<title>s2&#45;&gt;s3</title>
<path fill="none" stroke="black" d="M458.49,-195.46C483.53,-201.01 523.35,-210.98 556.09,-224.45 563.38,-227.45 570.95,-231.24 577.98,-235.08"/>
<polygon fill="black" stroke="black" points="576.72,-238.39 587.15,-240.28 580.18,-232.3 576.72,-238.39"/>
<text text-anchor="middle" x="521.09" y="-228.25" font-family="Times,serif" font-size="14.00">&#39;0&#39;&#45;&#39;9&#39;</text>
</g>
<!-- m2&#45;&gt;e -->
<g id="edge13" class="edge">
<title>m2&#45;&gt;e</title>
<path fill="none" stroke="black" d="M322.96,-262.68C329.18,-264.51 335.81,-266.23 342.09,-267.45 366.62,-272.2 373.19,-270.28 398.09,-272.45 554.5,-286.1 593.22,-295.78 750.09,-302.45 808.2,-304.92 826.11,-309.12 880.09,-287.45 883.7,-286 887.42,-284.27 891.02,-282.45"/>
<polygon fill="black" stroke="black" points="892.97,-285.37 900.12,-277.56 889.66,-279.2 892.97,-285.37"/>
<text text-anchor="middle" x="609.09" y="-299.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;/&#39;,&#39;:&#39;&#45;7f</text>
</g>
<!-- m2&#45;&gt;s2 -->
<g id="edge11" class="edge">
<title>m2&#45;&gt;s2</title>
<path fill="none" stroke="black" d="M319.75,-237.16C326.79,-232.74 334.6,-228.16 342.09,-224.45 360.35,-215.4 381.66,-207.25 398.95,-201.2"/>
<polygon fill="black" stroke="black" points="400.29,-204.44 408.62,-197.89 398.02,-197.82 400.29,-204.44"/>
<text text-anchor="middle" x="361.09" y="-228.25" font-family="Times,serif" font-size="14.00">&#39;0&#39;&#45;&#39;2&#39;</text>
</g>
<!-- m3 -->
<g id="node9" class="node">
<title>m3</title>
<ellipse fill="none" stroke="black" cx="433.09" cy="-356.45" rx="25.22" ry="25.22"/>
<ellipse fill="none" stroke="black" cx="433.09" cy="-356.45" rx="29.2" ry="29.2"/>
<text text-anchor="middle" x="433.09" y="-352.75" font-family="Times,serif" font-size="14.00">m3</text>
</g>
<!-- m2&#45;&gt;m3 -->
<g id="edge12" class="edge">
<title>m2&#45;&gt;m3</title>
<path fill="none" stroke="black" d="M311.84,-277.59C319.99,-288.57 330.59,-301.14 342.09,-310.45 358.2,-323.49 378.61,-334.29 395.91,-342.14"/>
<polygon fill="black" stroke="black" points="394.6,-345.38 405.16,-346.19 397.41,-338.97 394.6,-345.38"/>
<text text-anchor="middle" x="361.09" y="-337.25" font-family="Times,serif" font-size="14.00">&#39;3&#39;</text>
</g>
<!-- m2&#45;&gt;s3 -->
<g id="edge14" class="edge">
<title>m2&#45;&gt;s3</title>
<path fill="none" stroke="black" d="M324.29,-253.45C381.66,-253.45 510.77,-253.45 573.11,-253.45"/>
<polygon fill="black" stroke="black" points="573.23,-256.95 583.23,-253.45 573.23,-249.95 573.23,-256.95"/>
<text text-anchor="middle" x="433.09" y="-257.25" font-family="Times,serif" font-size="14.00">&#39;4&#39;&#45;&#39;9&#39;</text>
</g>
<!-- m3&#45;&gt;e -->
<g id="edge16" class="edge">
<title>m3&#45;&gt;e</title>
<path fill="none" stroke="black" d="M462.64,-358.7C549.8,-365.01 810.75,-379.72 880.09,-335.45 894.2,-326.44 902.93,-309.77 908.15,-295.32"/>
<polygon fill="black" stroke="black" points="911.49,-296.38 911.22,-285.78 904.83,-294.23 911.49,-296.38"/>
<text text-anchor="middle" x="697.09" y="-369.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;/&#39;,&#39;:&#39;&#45;7f</text>
</g>
<!-- m3&#45;&gt;s3 -->
<g id="edge15" class="edge">
<title>m3&#45;&gt;s3</title>
<path fill="none" stroke="black" d="M458.65,-341.91C489.99,-323.36 544.17,-291.28 577.97,-271.28"/>
<polygon fill="black" stroke="black" points="580.1,-274.08 586.93,-265.97 576.54,-268.06 580.1,-274.08"/>
<text text-anchor="middle" x="521.09" y="-326.25" font-family="Times,serif" font-size="14.00">&#39;0&#39;&#45;&#39;8&#39;</text>
</g>
<!-- m4 -->
<g id="node11" class="node">
<title>m4</title>
<ellipse fill="none" stroke="black" cx="609.09" cy="-416.45" rx="25.22" ry="25.22"/>
<ellipse fill="none" stroke="black" cx="609.09" cy="-416.45" rx="29.2" ry="29.2"/>
<text text-anchor="middle" x="609.09" y="-412.75" font-family="Times,serif" font-size="14.00">m4</text>
</g>
<!-- m3&#45;&gt;m4 -->
<g id="edge17" class="edge">
<title>m3&#45;&gt;m4</title>
<path fill="none" stroke="black" d="M461.27,-365.82C490.9,-376.04 538.46,-392.44 571.38,-403.79"/>
<polygon fill="black" stroke="black" points="570.5,-407.19 581.09,-407.14 572.78,-400.57 570.5,-407.19"/>
<text text-anchor="middle" x="521.09" y="-400.25" font-family="Times,serif" font-size="14.00">&#39;9&#39;</text>
</g>
<!-- s3&#45;&gt;e -->
<g id="edge26" class="edge">
<title>s3&#45;&gt;e</title>
<path fill="none" stroke="black" d="M632.96,-243.82C672.56,-228.47 756.24,-201.92 825.09,-219.45 849.9,-225.76 875.26,-240.46 892.7,-252.13"/>
<polygon fill="black" stroke="black" points="890.84,-255.09 901.06,-257.89 894.82,-249.33 890.84,-255.09"/>
<text text-anchor="middle" x="787.59" y="-223.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;/&#39;,&#39;:&#39;&#45;7f</text>
</g>
<!-- s4 -->
<g id="node12" class="node">
<title>s4</title>
<ellipse fill="none" stroke="black" cx="787.59" cy="-268.45" rx="21.4" ry="21.4"/>
<ellipse fill="none" stroke="black" cx="787.59" cy="-268.45" rx="25.4" ry="25.4"/>
<text text-anchor="middle" x="787.59" y="-264.75" font-family="Times,serif" font-size="14.00">s4</text>
</g>
<!-- s3&#45;&gt;s4 -->
<g id="edge27" class="edge">
<title>s3&#45;&gt;s4</title>
<path fill="none" stroke="black" d="M634.63,-255.53C665.1,-258.12 717.28,-262.56 751.85,-265.5"/>
<polygon fill="black" stroke="black" points="751.71,-269 761.97,-266.36 752.3,-262.02 751.71,-269"/>
<text text-anchor="middle" x="697.09" y="-267.25" font-family="Times,serif" font-size="14.00">&#39;0&#39;&#45;&#39;9&#39;</text>
</g>
<!-- m4&#45;&gt;e -->
<g id="edge18" class="edge">
<title>m4&#45;&gt;e</title>
<path fill="none" stroke="black" d="M636.37,-427.28C692.05,-448.29 821.56,-486.49 880.09,-414.45 907.55,-380.64 914.07,-328.76 915.29,-296.8"/>
<polygon fill="black" stroke="black" points="918.79,-296.86 915.52,-286.79 911.79,-296.7 918.79,-296.86"/>
<text text-anchor="middle" x="787.59" y="-459.25" font-family="Times,serif" font-size="14.00">00&#45;&#39;/&#39;,&#39;9&#39;&#45;7f</text>
</g>
<!-- m4&#45;&gt;g -->
<g id="edge19" class="edge">
<title>m4&#45;&gt;g</title>
<path fill="none" stroke="black" d="M638.44,-415.32C670.45,-414.05 722.36,-412 755.46,-410.68"/>
<polygon fill="black" stroke="black" points="755.65,-414.18 765.5,-410.28 755.37,-407.18 755.65,-414.18"/>
<text text-anchor="middle" x="697.09" y="-417.25" font-family="Times,serif" font-size="14.00">&#39;0&#39;&#45;&#39;8&#39;</text>
</g>
<!-- s4&#45;&gt;e -->
<g id="edge28" class="edge">
<title>s4&#45;&gt;e</title>
<path fill="none" stroke="black" d="M813.28,-268.45C834.66,-268.45 865.54,-268.45 887.68,-268.45"/>
<polygon fill="black" stroke="black" points="887.77,-271.95 897.77,-268.45 887.77,-264.95 887.77,-271.95"/>
<text text-anchor="middle" x="861.59" y="-272.25" font-family="Times,serif" font-size="14.00">00&#45;7f</text>
</g>
</g>
</svg>