sets_aux/sets_aux-zoomed.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: sets_aux&#45;zoomed Pages: 1 -->
<svg width="6212pt" height="470pt"
 viewBox="0.00 0.00 6212.00 469.50" 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 465.5)">
<title>sets_aux&#45;zoomed</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-465.5 6208,-465.5 6208,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="5968,-80 5968,-156.5 6196,-156.5 6196,-80 5968,-80"/>
<text text-anchor="middle" x="6082" y="-139.2" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_NASALib/sets_aux</title>
<polygon fill="none" stroke="black" points="8,-8 8,-453.5 5960,-453.5 5960,-8 8,-8"/>
<text text-anchor="middle" x="2984" y="-436.2" font-family="Times,serif" font-size="14.00">NASALib/sets_aux</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_PVS Prelude</title>
<polygon fill="none" stroke="black" points="5968,-228.5 5968,-305 6056,-305 6056,-228.5 5968,-228.5"/>
<text text-anchor="middle" x="6012" y="-287.7" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/ints -->
<g id="node1" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="6030,-124 5976,-124 5976,-88 6030,-88 6030,-124"/>
<text text-anchor="middle" x="6003" y="-100.95" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/orders -->
<g id="node2" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="6188,-124 6134,-124 6134,-88 6188,-88 6188,-124"/>
<text text-anchor="middle" x="6161" y="-100.95" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/sets_aux@bits -->
<g id="node3" class="node">
<title>NASALib/sets_aux@bits</title>
<ellipse fill="#e6f3ff" stroke="black" cx="5005" cy="-254.5" rx="27" ry="18"/>
<text text-anchor="middle" x="5005" y="-249.45" font-family="Times,serif" font-size="14.00">bits</text>
</g>
<!-- NASALib/sets_aux@bits&#45;&gt;NASALib/orders -->
<g id="edge1" class="edge">
<title>NASALib/sets_aux@bits&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M5005,-236.2C5005,-215.47 5005,-183.5 5005,-183.5"/>
</g>
<!-- NASALib/sets_aux@cantor_bernstein_schroeder -->
<g id="node4" class="node">
<title>NASALib/sets_aux@cantor_bernstein_schroeder</title>
<ellipse fill="#e6f3ff" stroke="black" cx="5839" cy="-403" rx="112.77" ry="18"/>
<text text-anchor="middle" x="5839" y="-397.95" font-family="Times,serif" font-size="14.00">cantor_bernstein_schroeder</text>
</g>
<!-- NASALib/sets_aux@card_comp -->
<g id="node5" class="node">
<title>NASALib/sets_aux@card_comp</title>
<ellipse fill="#e6f3ff" stroke="black" cx="5221" cy="-254.5" rx="52.38" ry="18"/>
<text text-anchor="middle" x="5221" y="-249.45" font-family="Times,serif" font-size="14.00">card_comp</text>
</g>
<!-- NASALib/sets_aux@card_comp_props -->
<g id="node6" class="node">
<title>NASALib/sets_aux@card_comp_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="5128" cy="-331" rx="77.45" ry="18"/>
<text text-anchor="middle" x="5128" y="-325.95" font-family="Times,serif" font-size="14.00">card_comp_props</text>
</g>
<!-- NASALib/sets_aux@card_comp_props&#45;&gt;NASALib/orders -->
<g id="edge2" class="edge">
<title>NASALib/sets_aux@card_comp_props&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M5186.03,-318.66C5201.99,-315.54 5215,-313 5215,-313 5215,-313 5614,-305 5614,-305 5614,-305 5638,-255.5 5638,-255.5"/>
</g>
<!-- NASALib/sets_aux@card_comp_props&#45;&gt;NASALib/sets_aux@card_comp -->
<g id="edge3" class="edge">
<title>NASALib/sets_aux@card_comp_props&#45;&gt;NASALib/sets_aux@card_comp</title>
<path fill="none" stroke="black" d="M5148.64,-313.47C5161.58,-303.1 5178.44,-289.6 5192.63,-278.23"/>
<polygon fill="black" stroke="black" points="5194.44,-280.46 5200.06,-271.48 5190.06,-275 5194.44,-280.46"/>
</g>
<!-- NASALib/sets_aux@card_comp_set -->
<g id="node7" class="node">
<title>NASALib/sets_aux@card_comp_set</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3848" cy="-106" rx="67.22" ry="18"/>
<text text-anchor="middle" x="3848" y="-100.95" font-family="Times,serif" font-size="14.00">card_comp_set</text>
</g>
<!-- NASALib/sets_aux@card_comp_set_props -->
<g id="node8" class="node">
<title>NASALib/sets_aux@card_comp_set_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3956" cy="-182.5" rx="92.3" ry="18"/>
<text text-anchor="middle" x="3956" y="-177.45" font-family="Times,serif" font-size="14.00">card_comp_set_props</text>
</g>
<!-- NASALib/sets_aux@card_comp_set_props&#45;&gt;NASALib/orders -->
<g id="edge4" class="edge">
<title>NASALib/sets_aux@card_comp_set_props&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M4047.85,-179.99C4301.15,-175.83 4991,-164.5 4991,-164.5 4991,-164.5 6125,-156.5 6125,-156.5 6125,-156.5 6133.44,-144.9 6142.14,-132.93"/>
<polygon fill="black" stroke="black" points="6145.36,-135.46 6148.41,-125.31 6139.7,-131.34 6145.36,-135.46"/>
</g>
<!-- NASALib/sets_aux@card_comp_set_props&#45;&gt;NASALib/sets_aux@card_comp_set -->
<g id="edge5" class="edge">
<title>NASALib/sets_aux@card_comp_set_props&#45;&gt;NASALib/sets_aux@card_comp_set</title>
<path fill="none" stroke="black" d="M3931.76,-164.78C3916.55,-154.28 3896.74,-140.62 3880.21,-129.22"/>
<polygon fill="black" stroke="black" points="3882.63,-125.95 3872.41,-123.15 3878.66,-131.71 3882.63,-125.95"/>
</g>
<!-- NASALib/sets_aux@card_comp_set_transitive -->
<g id="node9" class="node">
<title>NASALib/sets_aux@card_comp_set_transitive</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3740" cy="-182.5" rx="106.11" ry="18"/>
<text text-anchor="middle" x="3740" y="-177.45" font-family="Times,serif" font-size="14.00">card_comp_set_transitive</text>
</g>
<!-- NASALib/sets_aux@card_comp_set_transitive&#45;&gt;NASALib/orders -->
<g id="edge6" class="edge">
<title>NASALib/sets_aux@card_comp_set_transitive&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M3817.98,-169.97C3838.49,-166.94 3855,-164.5 3855,-164.5 3855,-164.5 6125,-156.5 6125,-156.5 6125,-156.5 6133.44,-144.9 6142.14,-132.93"/>
<polygon fill="black" stroke="black" points="6145.36,-135.46 6148.41,-125.31 6139.7,-131.34 6145.36,-135.46"/>
</g>
<!-- NASALib/sets_aux@card_comp_set_transitive&#45;&gt;NASALib/sets_aux@card_comp_set -->
<g id="edge7" class="edge">
<title>NASALib/sets_aux@card_comp_set_transitive&#45;&gt;NASALib/sets_aux@card_comp_set</title>
<path fill="none" stroke="black" d="M3764.51,-164.59C3779.63,-154.16 3799.21,-140.66 3815.6,-129.35"/>
<polygon fill="black" stroke="black" points="3817.09,-131.89 3823.33,-123.33 3813.11,-126.12 3817.09,-131.89"/>
</g>
<!-- NASALib/sets_aux@card_comp_transitive -->
<g id="node10" class="node">
<title>NASALib/sets_aux@card_comp_transitive</title>
<ellipse fill="#e6f3ff" stroke="black" cx="5315" cy="-331" rx="91.27" ry="18"/>
<text text-anchor="middle" x="5315" y="-325.95" font-family="Times,serif" font-size="14.00">card_comp_transitive</text>
</g>
<!-- NASALib/sets_aux@card_comp_transitive&#45;&gt;NASALib/orders -->
<g id="edge8" class="edge">
<title>NASALib/sets_aux@card_comp_transitive&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M5382.93,-318.57C5401.2,-315.49 5416,-313 5416,-313 5416,-313 5614,-305 5614,-305 5614,-305 5638,-255.5 5638,-255.5"/>
</g>
<!-- NASALib/sets_aux@card_comp_transitive&#45;&gt;NASALib/sets_aux@card_comp -->
<g id="edge9" class="edge">
<title>NASALib/sets_aux@card_comp_transitive&#45;&gt;NASALib/sets_aux@card_comp</title>
<path fill="none" stroke="black" d="M5293.67,-313.09C5280.66,-302.78 5263.87,-289.47 5249.7,-278.25"/>
<polygon fill="black" stroke="black" points="5252.29,-275.04 5242.28,-271.57 5247.94,-280.53 5252.29,-275.04"/>
</g>
<!-- NASALib/sets_aux@card_extensions -->
<g id="node11" class="node">
<title>NASALib/sets_aux@card_extensions</title>
<ellipse fill="#e6f3ff" stroke="black" cx="5638" cy="-403" rx="70.29" ry="18"/>
<text text-anchor="middle" x="5638" y="-397.95" font-family="Times,serif" font-size="14.00">card_extensions</text>
</g>
<!-- NASALib/sets_aux@finite_sets_card_from -->
<g id="node28" class="node">
<title>NASALib/sets_aux@finite_sets_card_from</title>
<ellipse fill="#e6f3ff" stroke="black" cx="5680" cy="-331" rx="92.3" ry="18"/>
<text text-anchor="middle" x="5680" y="-325.95" font-family="Times,serif" font-size="14.00">finite_sets_card_from</text>
</g>
<!-- NASALib/sets_aux@card_extensions&#45;&gt;NASALib/sets_aux@finite_sets_card_from -->
<g id="edge10" class="edge">
<title>NASALib/sets_aux@card_extensions&#45;&gt;NASALib/sets_aux@finite_sets_card_from</title>
<path fill="none" stroke="black" d="M5648.17,-385.05C5652.95,-377.09 5658.75,-367.41 5664.09,-358.51"/>
<polygon fill="black" stroke="black" points="5667.49,-360.65 5669.63,-350.28 5661.49,-357.05 5667.49,-360.65"/>
</g>
<!-- NASALib/sets_aux@card_finite -->
<g id="node12" class="node">
<title>NASALib/sets_aux@card_finite</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4008" cy="-254.5" rx="50.84" ry="18"/>
<text text-anchor="middle" x="4008" y="-249.45" font-family="Times,serif" font-size="14.00">card_finite</text>
</g>
<!-- NASALib/sets_aux@card_finite&#45;&gt;NASALib/sets_aux@card_comp_set_props -->
<g id="edge11" class="edge">
<title>NASALib/sets_aux@card_finite&#45;&gt;NASALib/sets_aux@card_comp_set_props</title>
<path fill="none" stroke="black" d="M3995.68,-236.91C3989.55,-228.66 3982.01,-218.51 3975.15,-209.28"/>
<polygon fill="black" stroke="black" points="3977.37,-207.4 3968.6,-201.46 3971.75,-211.57 3977.37,-207.4"/>
</g>
<!-- NASALib/sets_aux@card_function -->
<g id="node13" class="node">
<title>NASALib/sets_aux@card_function</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4592" cy="-254.5" rx="62.1" ry="18"/>
<text text-anchor="middle" x="4592" y="-249.45" font-family="Times,serif" font-size="14.00">card_function</text>
</g>
<!-- NASALib/sets_aux@card_power -->
<g id="node14" class="node">
<title>NASALib/sets_aux@card_power</title>
<ellipse fill="#e6f3ff" stroke="black" cx="5128" cy="-403" rx="54.42" ry="18"/>
<text text-anchor="middle" x="5128" y="-397.95" font-family="Times,serif" font-size="14.00">card_power</text>
</g>
<!-- NASALib/sets_aux@card_power&#45;&gt;NASALib/sets_aux@card_comp_props -->
<g id="edge12" class="edge">
<title>NASALib/sets_aux@card_power&#45;&gt;NASALib/sets_aux@card_comp_props</title>
<path fill="none" stroke="black" d="M5128,-384.7C5128,-377.24 5128,-368.32 5128,-359.97"/>
<polygon fill="black" stroke="black" points="5131.5,-360.1 5128,-350.1 5124.5,-360.1 5131.5,-360.1"/>
</g>
<!-- NASALib/sets_aux@card_power_set -->
<g id="node15" class="node">
<title>NASALib/sets_aux@card_power_set</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3870" cy="-254.5" rx="69.26" ry="18"/>
<text text-anchor="middle" x="3870" y="-249.45" font-family="Times,serif" font-size="14.00">card_power_set</text>
</g>
<!-- NASALib/sets_aux@card_power_set&#45;&gt;NASALib/sets_aux@card_comp_set_props -->
<g id="edge13" class="edge">
<title>NASALib/sets_aux@card_power_set&#45;&gt;NASALib/sets_aux@card_comp_set_props</title>
<path fill="none" stroke="black" d="M3890.38,-236.91C3901.25,-228.06 3914.82,-217.02 3926.79,-207.27"/>
<polygon fill="black" stroke="black" points="3928.62,-209.48 3934.17,-200.46 3924.2,-204.05 3928.62,-209.48"/>
</g>
<!-- NASALib/sets_aux@card_sets_lemmas -->
<g id="node16" class="node">
<title>NASALib/sets_aux@card_sets_lemmas</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3870" cy="-331" rx="79.5" ry="18"/>
<text text-anchor="middle" x="3870" y="-325.95" font-family="Times,serif" font-size="14.00">card_sets_lemmas</text>
</g>
<!-- NASALib/sets_aux@card_single -->
<g id="node17" class="node">
<title>NASALib/sets_aux@card_single</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3729" cy="-254.5" rx="53.4" ry="18"/>
<text text-anchor="middle" x="3729" y="-249.45" font-family="Times,serif" font-size="14.00">card_single</text>
</g>
<!-- NASALib/sets_aux@card_sets_lemmas&#45;&gt;NASALib/sets_aux@card_single -->
<g id="edge14" class="edge">
<title>NASALib/sets_aux@card_sets_lemmas&#45;&gt;NASALib/sets_aux@card_single</title>
<path fill="none" stroke="black" d="M3825.53,-315.75C3808.02,-310.13 3792,-305 3792,-305 3792,-305 3774.38,-291.15 3757.77,-278.11"/>
<polygon fill="black" stroke="black" points="3760.31,-274.86 3750.28,-271.43 3755.98,-280.36 3760.31,-274.86"/>
</g>
<!-- NASALib/sets_aux@card_single&#45;&gt;NASALib/sets_aux@card_comp_set_props -->
<g id="edge15" class="edge">
<title>NASALib/sets_aux@card_single&#45;&gt;NASALib/sets_aux@card_comp_set_props</title>
<path fill="none" stroke="black" d="M3762.71,-240.12C3777.69,-234.18 3792,-228.5 3792,-228.5 3792,-228.5 3847.37,-213.31 3893.76,-200.58"/>
<polygon fill="black" stroke="black" points="3894.39,-203.76 3903.11,-197.74 3892.54,-197.01 3894.39,-203.76"/>
</g>
<!-- NASALib/sets_aux@card_single&#45;&gt;NASALib/sets_aux@card_comp_set_transitive -->
<g id="edge16" class="edge">
<title>NASALib/sets_aux@card_single&#45;&gt;NASALib/sets_aux@card_comp_set_transitive</title>
<path fill="none" stroke="black" d="M3731.72,-236.2C3732.89,-228.74 3734.29,-219.82 3735.61,-211.47"/>
<polygon fill="black" stroke="black" points="3739.22,-212.03 3737.31,-201.6 3732.3,-210.94 3739.22,-212.03"/>
</g>
<!-- NASALib/sets_aux@cardinal -->
<g id="node18" class="node">
<title>NASALib/sets_aux@cardinal</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4008" cy="-331" rx="40.6" ry="18"/>
<text text-anchor="middle" x="4008" y="-325.95" font-family="Times,serif" font-size="14.00">cardinal</text>
</g>
<!-- NASALib/sets_aux@cardinal&#45;&gt;NASALib/sets_aux@card_finite -->
<g id="edge17" class="edge">
<title>NASALib/sets_aux@cardinal&#45;&gt;NASALib/sets_aux@card_finite</title>
<path fill="none" stroke="black" d="M4008,-312.72C4008,-304.13 4008,-293.53 4008,-283.8"/>
<polygon fill="black" stroke="black" points="4011.5,-283.94 4008,-273.94 4004.5,-283.94 4011.5,-283.94"/>
</g>
<!-- NASALib/sets_aux@cardinal&#45;&gt;NASALib/sets_aux@card_single -->
<g id="edge18" class="edge">
<title>NASALib/sets_aux@cardinal&#45;&gt;NASALib/sets_aux@card_single</title>
<path fill="none" stroke="black" d="M3976.69,-319.14C3967.09,-315.81 3959,-313 3959,-313 3959,-313 3792,-305 3792,-305 3792,-305 3774.38,-291.15 3757.77,-278.11"/>
<polygon fill="black" stroke="black" points="3760.31,-274.86 3750.28,-271.43 3755.98,-280.36 3760.31,-274.86"/>
</g>
<!-- NASALib/sets_aux@countability -->
<g id="node19" class="node">
<title>NASALib/sets_aux@countability</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4727" cy="-254.5" rx="54.93" ry="18"/>
<text text-anchor="middle" x="4727" y="-249.45" font-family="Times,serif" font-size="14.00">countability</text>
</g>
<!-- NASALib/sets_aux@countability&#45;&gt;NASALib/orders -->
<g id="edge19" class="edge">
<title>NASALib/sets_aux@countability&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M4766.54,-241.73C4788.33,-235.25 4811,-228.5 4811,-228.5 4811,-228.5 5005,-183.5 5005,-183.5"/>
<path fill="none" stroke="black" d="M5005,-181.5C5005,-181.5 6125,-156.5 6125,-156.5 6125,-156.5 6133.44,-144.9 6142.14,-132.93"/>
<polygon fill="black" stroke="black" points="6145.36,-135.46 6148.41,-125.31 6139.7,-131.34 6145.36,-135.46"/>
</g>
<!-- NASALib/sets_aux@countability_aux -->
<g id="node20" class="node">
<title>NASALib/sets_aux@countability_aux</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4625" cy="-403" rx="72.85" ry="18"/>
<text text-anchor="middle" x="4625" y="-397.95" font-family="Times,serif" font-size="14.00">countability_aux</text>
</g>
<!-- NASALib/sets_aux@countability_aux&#45;&gt;NASALib/orders -->
<g id="edge20" class="edge">
<title>NASALib/sets_aux@countability_aux&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M6076,-253.5C6076,-253.5 6076,-183.5 6076,-183.5"/>
<path fill="none" stroke="black" d="M4679.24,-390.76C4694.49,-387.59 4707,-385 4707,-385 4707,-385 5781,-349 5781,-349 5781,-349 6060,-305 6060,-305 6060,-305 6076,-255.5 6076,-255.5"/>
</g>
<!-- NASALib/sets_aux@countability_aux&#45;&gt;NASALib/sets_aux@card_function -->
<g id="edge21" class="edge">
<title>NASALib/sets_aux@countability_aux&#45;&gt;NASALib/sets_aux@card_function</title>
<path fill="none" stroke="black" d="M4566.52,-391.97C4476.93,-376.6 4316,-349 4316,-349 4316,-349 4316,-313 4316,-313 4316,-313 4521,-305 4521,-305 4521,-305 4541.41,-290.77 4560.35,-277.57"/>
<polygon fill="black" stroke="black" points="4561.94,-280.02 4568.14,-271.43 4557.94,-274.28 4561.94,-280.02"/>
</g>
<!-- NASALib/sets_aux@countability_aux&#45;&gt;NASALib/sets_aux@countability -->
<g id="edge22" class="edge">
<title>NASALib/sets_aux@countability_aux&#45;&gt;NASALib/sets_aux@countability</title>
<path fill="none" stroke="black" d="M4647.7,-385.52C4669.13,-369.96 4698,-349 4698,-349 4698,-349 4709.93,-310.53 4718.49,-282.94"/>
<polygon fill="black" stroke="black" points="4722.06,-284.24 4721.68,-273.65 4715.38,-282.16 4722.06,-284.24"/>
</g>
<!-- NASALib/sets_aux@countable_props -->
<g id="node23" class="node">
<title>NASALib/sets_aux@countable_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4799" cy="-331" rx="71.82" ry="18"/>
<text text-anchor="middle" x="4799" y="-325.95" font-family="Times,serif" font-size="14.00">countable_props</text>
</g>
<!-- NASALib/sets_aux@countability_aux&#45;&gt;NASALib/sets_aux@countable_props -->
<g id="edge23" class="edge">
<title>NASALib/sets_aux@countability_aux&#45;&gt;NASALib/sets_aux@countable_props</title>
<path fill="none" stroke="black" d="M4661.9,-387.15C4688.2,-376.57 4723.76,-362.27 4752.08,-350.88"/>
<polygon fill="black" stroke="black" points="4753.18,-353.8 4761.15,-346.82 4750.57,-347.31 4753.18,-353.8"/>
</g>
<!-- NASALib/sets_aux@countable_image -->
<g id="node21" class="node">
<title>NASALib/sets_aux@countable_image</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4615" cy="-331" rx="74.38" ry="18"/>
<text text-anchor="middle" x="4615" y="-325.95" font-family="Times,serif" font-size="14.00">countable_image</text>
</g>
<!-- NASALib/sets_aux@countable_image&#45;&gt;NASALib/sets_aux@card_function -->
<g id="edge24" class="edge">
<title>NASALib/sets_aux@countable_image&#45;&gt;NASALib/sets_aux@card_function</title>
<path fill="none" stroke="black" d="M4609.67,-312.72C4606.94,-303.88 4603.55,-292.91 4600.48,-282.95"/>
<polygon fill="black" stroke="black" points="4603.6,-282.21 4597.31,-273.69 4596.91,-284.27 4603.6,-282.21"/>
</g>
<!-- NASALib/sets_aux@countable_image&#45;&gt;NASALib/sets_aux@countability -->
<g id="edge25" class="edge">
<title>NASALib/sets_aux@countable_image&#45;&gt;NASALib/sets_aux@countability</title>
<path fill="none" stroke="black" d="M4645.4,-314.17C4654.93,-309.21 4663,-305 4663,-305 4663,-305 4680.9,-291.15 4697.77,-278.11"/>
<polygon fill="black" stroke="black" points="4699.63,-280.32 4705.4,-271.43 4695.35,-274.78 4699.63,-280.32"/>
</g>
<!-- NASALib/sets_aux@infinite_image -->
<g id="node34" class="node">
<title>NASALib/sets_aux@infinite_image</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4313" cy="-254.5" rx="65.17" ry="18"/>
<text text-anchor="middle" x="4313" y="-249.45" font-family="Times,serif" font-size="14.00">infinite_image</text>
</g>
<!-- NASALib/sets_aux@countable_image&#45;&gt;NASALib/sets_aux@infinite_image -->
<g id="edge26" class="edge">
<title>NASALib/sets_aux@countable_image&#45;&gt;NASALib/sets_aux@infinite_image</title>
<path fill="none" stroke="black" d="M4559.64,-318.66C4544.41,-315.54 4532,-313 4532,-313 4532,-313 4387,-305 4387,-305 4387,-305 4365.53,-290.64 4345.72,-277.39"/>
<polygon fill="black" stroke="black" points="4348.08,-274.09 4337.82,-271.43 4344.19,-279.9 4348.08,-274.09"/>
</g>
<!-- NASALib/sets_aux@countable_indexed_sets -->
<g id="node22" class="node">
<title>NASALib/sets_aux@countable_indexed_sets</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4424" cy="-331" rx="98.95" ry="18"/>
<text text-anchor="middle" x="4424" y="-325.95" font-family="Times,serif" font-size="14.00">countable_indexed_sets</text>
</g>
<!-- NASALib/sets_aux@countable_indexed_sets&#45;&gt;NASALib/sets_aux@countability -->
<g id="edge27" class="edge">
<title>NASALib/sets_aux@countable_indexed_sets&#45;&gt;NASALib/sets_aux@countability</title>
<path fill="none" stroke="black" d="M4496.94,-318.52C4516.33,-315.47 4532,-313 4532,-313 4532,-313 4663,-305 4663,-305 4663,-305 4680.9,-291.15 4697.77,-278.11"/>
<polygon fill="black" stroke="black" points="4699.63,-280.32 4705.4,-271.43 4695.35,-274.78 4699.63,-280.32"/>
</g>
<!-- NASALib/sets_aux@indexed_sets_aux -->
<g id="node32" class="node">
<title>NASALib/sets_aux@indexed_sets_aux</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4153" cy="-254.5" rx="76.43" ry="18"/>
<text text-anchor="middle" x="4153" y="-249.45" font-family="Times,serif" font-size="14.00">indexed_sets_aux</text>
</g>
<!-- NASALib/sets_aux@countable_indexed_sets&#45;&gt;NASALib/sets_aux@indexed_sets_aux -->
<g id="edge28" class="edge">
<title>NASALib/sets_aux@countable_indexed_sets&#45;&gt;NASALib/sets_aux@indexed_sets_aux</title>
<path fill="none" stroke="black" d="M4346.35,-319.51C4295.72,-312.66 4239,-305 4239,-305 4239,-305 4213.69,-290.43 4190.54,-277.11"/>
<polygon fill="black" stroke="black" points="4192.57,-273.66 4182.16,-271.71 4189.08,-279.73 4192.57,-273.66"/>
</g>
<!-- NASALib/sets_aux@countable_props&#45;&gt;NASALib/sets_aux@card_comp_set_props -->
<g id="edge29" class="edge">
<title>NASALib/sets_aux@countable_props&#45;&gt;NASALib/sets_aux@card_comp_set_props</title>
<path fill="none" stroke="black" d="M4797.64,-312.78C4795.36,-283.82 4791,-228.5 4791,-228.5 4791,-228.5 4062,-200.5 4062,-200.5 4062,-200.5 4051.11,-198.75 4036.31,-196.38"/>
<polygon fill="black" stroke="black" points="4036.95,-192.78 4026.52,-194.65 4035.84,-199.69 4036.95,-192.78"/>
</g>
<!-- NASALib/sets_aux@countable_props&#45;&gt;NASALib/sets_aux@card_function -->
<g id="edge30" class="edge">
<title>NASALib/sets_aux@countable_props&#45;&gt;NASALib/sets_aux@card_function</title>
<path fill="none" stroke="black" d="M4742.51,-319.61C4705.14,-312.75 4663,-305 4663,-305 4663,-305 4642.59,-290.77 4623.65,-277.57"/>
<polygon fill="black" stroke="black" points="4626.06,-274.28 4615.86,-271.43 4622.06,-280.02 4626.06,-274.28"/>
</g>
<!-- NASALib/sets_aux@countable_props&#45;&gt;NASALib/sets_aux@countability -->
<g id="edge31" class="edge">
<title>NASALib/sets_aux@countable_props&#45;&gt;NASALib/sets_aux@countability</title>
<path fill="none" stroke="black" d="M4782.66,-313.09C4773.21,-303.31 4761.14,-290.82 4750.66,-279.98"/>
<polygon fill="black" stroke="black" points="4753.49,-277.84 4744.03,-273.08 4748.46,-282.7 4753.49,-277.84"/>
</g>
<!-- NASALib/sets_aux@infinite_nat_def -->
<g id="node35" class="node">
<title>NASALib/sets_aux@infinite_nat_def</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4890" cy="-254.5" rx="69.78" ry="18"/>
<text text-anchor="middle" x="4890" y="-249.45" font-family="Times,serif" font-size="14.00">infinite_nat_def</text>
</g>
<!-- NASALib/sets_aux@countable_props&#45;&gt;NASALib/sets_aux@infinite_nat_def -->
<g id="edge32" class="edge">
<title>NASALib/sets_aux@countable_props&#45;&gt;NASALib/sets_aux@infinite_nat_def</title>
<path fill="none" stroke="black" d="M4819.2,-313.47C4831.68,-303.24 4847.9,-289.97 4861.66,-278.7"/>
<polygon fill="black" stroke="black" points="4863.34,-281.03 4868.86,-271.99 4858.91,-275.61 4863.34,-281.03"/>
</g>
<!-- NASALib/sets_aux@countable_set -->
<g id="node24" class="node">
<title>NASALib/sets_aux@countable_set</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4971" cy="-331" rx="61.59" ry="18"/>
<text text-anchor="middle" x="4971" y="-325.95" font-family="Times,serif" font-size="14.00">countable_set</text>
</g>
<!-- NASALib/sets_aux@countable_set&#45;&gt;NASALib/orders -->
<g id="edge33" class="edge">
<title>NASALib/sets_aux@countable_set&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M6076,-181.5C6076,-181.5 6125,-156.5 6125,-156.5 6125,-156.5 6133.44,-144.9 6142.14,-132.93"/>
<polygon fill="black" stroke="black" points="6145.36,-135.46 6148.41,-125.31 6139.7,-131.34 6145.36,-135.46"/>
<path fill="none" stroke="black" d="M5017.57,-318.85C5030.95,-315.65 5042,-313 5042,-313 5042,-313 5614,-305 5614,-305 5614,-305 5638,-255.5 5638,-255.5"/>
<path fill="none" stroke="black" d="M5638,-253.5C5638,-253.5 6076,-183.5 6076,-183.5"/>
</g>
<!-- NASALib/sets_aux@countable_set&#45;&gt;NASALib/sets_aux@bits -->
<g id="edge34" class="edge">
<title>NASALib/sets_aux@countable_set&#45;&gt;NASALib/sets_aux@bits</title>
<path fill="none" stroke="black" d="M4978.89,-312.72C4983.06,-303.57 4988.29,-292.12 4992.96,-281.88"/>
<polygon fill="black" stroke="black" points="4996.42,-283.72 4997.39,-273.17 4990.05,-280.82 4996.42,-283.72"/>
</g>
<!-- NASALib/sets_aux@countable_setofsets -->
<g id="node25" class="node">
<title>NASALib/sets_aux@countable_setofsets</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4799" cy="-403" rx="83.08" ry="18"/>
<text text-anchor="middle" x="4799" y="-397.95" font-family="Times,serif" font-size="14.00">countable_setofsets</text>
</g>
<!-- NASALib/sets_aux@countable_setofsets&#45;&gt;NASALib/sets_aux@countable_props -->
<g id="edge35" class="edge">
<title>NASALib/sets_aux@countable_setofsets&#45;&gt;NASALib/sets_aux@countable_props</title>
<path fill="none" stroke="black" d="M4799,-384.7C4799,-377.24 4799,-368.32 4799,-359.97"/>
<polygon fill="black" stroke="black" points="4802.5,-360.1 4799,-350.1 4795.5,-360.1 4802.5,-360.1"/>
</g>
<!-- NASALib/sets_aux@countable_setofsets&#45;&gt;NASALib/sets_aux@countable_set -->
<g id="edge36" class="edge">
<title>NASALib/sets_aux@countable_setofsets&#45;&gt;NASALib/sets_aux@countable_set</title>
<path fill="none" stroke="black" d="M4836.75,-386.64C4863.08,-375.92 4898.34,-361.57 4926.11,-350.27"/>
<polygon fill="black" stroke="black" points="4927.04,-353.26 4934.98,-346.25 4924.4,-346.78 4927.04,-353.26"/>
</g>
<!-- NASALib/sets_aux@countable_types -->
<g id="node26" class="node">
<title>NASALib/sets_aux@countable_types</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4971" cy="-403" rx="70.8" ry="18"/>
<text text-anchor="middle" x="4971" y="-397.95" font-family="Times,serif" font-size="14.00">countable_types</text>
</g>
<!-- NASALib/sets_aux@countable_types&#45;&gt;NASALib/orders -->
<g id="edge37" class="edge">
<title>NASALib/sets_aux@countable_types&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M5027.58,-391.77C5047.49,-388.17 5065,-385 5065,-385 5065,-385 6014,-349 6014,-349 6014,-349 6060,-305 6060,-305 6060,-305 6076,-255.5 6076,-255.5"/>
</g>
<!-- NASALib/sets_aux@countable_types&#45;&gt;NASALib/sets_aux@countability -->
<g id="edge38" class="edge">
<title>NASALib/sets_aux@countable_types&#45;&gt;NASALib/sets_aux@countability</title>
<path fill="none" stroke="black" d="M4890,-330C4890,-330 4880,-313 4880,-313 4880,-313 4811,-305 4811,-305 4811,-305 4785.02,-289.69 4761.95,-276.1"/>
<polygon fill="black" stroke="black" points="4764.05,-272.68 4753.66,-270.62 4760.5,-278.71 4764.05,-272.68"/>
<path fill="none" stroke="black" d="M4948.92,-385.52C4928.08,-369.96 4900,-349 4900,-349 4900,-349 4890,-332 4890,-332"/>
</g>
<!-- NASALib/sets_aux@countable_types&#45;&gt;NASALib/sets_aux@countable_props -->
<g id="edge39" class="edge">
<title>NASALib/sets_aux@countable_types&#45;&gt;NASALib/sets_aux@countable_props</title>
<path fill="none" stroke="black" d="M4934.52,-387.15C4908.53,-376.57 4873.37,-362.27 4845.38,-350.88"/>
<polygon fill="black" stroke="black" points="4847.01,-347.35 4836.42,-346.82 4844.37,-353.84 4847.01,-347.35"/>
</g>
<!-- NASALib/sets_aux@countable_types&#45;&gt;NASALib/sets_aux@countable_set -->
<g id="edge40" class="edge">
<title>NASALib/sets_aux@countable_types&#45;&gt;NASALib/sets_aux@countable_set</title>
<path fill="none" stroke="black" d="M4971,-384.7C4971,-377.24 4971,-368.32 4971,-359.97"/>
<polygon fill="black" stroke="black" points="4974.5,-360.1 4971,-350.1 4967.5,-360.1 4974.5,-360.1"/>
</g>
<!-- NASALib/sets_aux@countable_types&#45;&gt;NASALib/sets_aux@infinite_nat_def -->
<g id="edge41" class="edge">
<title>NASALib/sets_aux@countable_types&#45;&gt;NASALib/sets_aux@infinite_nat_def</title>
<path fill="none" stroke="black" d="M4890,-330C4890,-330 4890,-304.7 4890,-283.59"/>
<polygon fill="black" stroke="black" points="4893.5,-283.78 4890,-273.78 4886.5,-283.78 4893.5,-283.78"/>
</g>
<!-- NASALib/sets_aux@finite_nats_trivial -->
<g id="node27" class="node">
<title>NASALib/sets_aux@finite_nats_trivial</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2548" cy="-254.5" rx="76.43" ry="18"/>
<text text-anchor="middle" x="2548" y="-249.45" font-family="Times,serif" font-size="14.00">finite_nats_trivial</text>
</g>
<!-- NASALib/sets_aux@finite_nats_trivial&#45;&gt;NASALib/ints -->
<g id="edge42" class="edge">
<title>NASALib/sets_aux@finite_nats_trivial&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M2594.77,-239.9C2614.95,-234.04 2634,-228.5 2634,-228.5 2634,-228.5 4057,-200.5 4057,-200.5 4057,-200.5 4076,-183.5 4076,-183.5"/>
<path fill="none" stroke="black" d="M4076,-181.5C4076,-181.5 4991,-164.5 4991,-164.5 4991,-164.5 5964,-156.5 5964,-156.5 5964,-156.5 5973.14,-144.9 5982.57,-132.93"/>
<polygon fill="black" stroke="black" points="5985.92,-135.33 5989.36,-125.31 5980.42,-131 5985.92,-135.33"/>
</g>
<!-- NASALib/sets_aux@rr_rel -->
<g id="node55" class="node">
<title>NASALib/sets_aux@rr_rel</title>
<ellipse fill="#e6f3ff" stroke="black" cx="723" cy="-182.5" rx="31.39" ry="18"/>
<text text-anchor="middle" x="723" y="-177.45" font-family="Times,serif" font-size="14.00">rr_rel</text>
</g>
<!-- NASALib/sets_aux@finite_nats_trivial&#45;&gt;NASALib/sets_aux@rr_rel -->
<g id="edge43" class="edge">
<title>NASALib/sets_aux@finite_nats_trivial&#45;&gt;NASALib/sets_aux@rr_rel</title>
<path fill="none" stroke="black" d="M2501.23,-239.9C2481.05,-234.04 2462,-228.5 2462,-228.5 2462,-228.5 1031.74,-191.49 765.42,-184.6"/>
<polygon fill="black" stroke="black" points="765.76,-181.08 755.67,-184.32 765.57,-188.08 765.76,-181.08"/>
</g>
<!-- lib/finite_sets -->
<g id="node63" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="6047.75,-272.5 5976.25,-272.5 5976.25,-236.5 6047.75,-236.5 6047.75,-272.5"/>
<text text-anchor="middle" x="6012" y="-249.45" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/sets_aux@finite_sets_card_from&#45;&gt;lib/finite_sets -->
<g id="edge44" class="edge">
<title>NASALib/sets_aux@finite_sets_card_from&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M5762.91,-322.7C5846.73,-315.32 5964,-305 5964,-305 5964,-305 5975.91,-292.72 5987.87,-280.39"/>
<polygon fill="black" stroke="black" points="5989.76,-283.43 5994.21,-273.81 5984.74,-278.56 5989.76,-283.43"/>
</g>
<!-- NASALib/sets_aux@finite_to_infinite -->
<g id="node29" class="node">
<title>NASALib/sets_aux@finite_to_infinite</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1469" cy="-254.5" rx="73.36" ry="18"/>
<text text-anchor="middle" x="1469" y="-249.45" font-family="Times,serif" font-size="14.00">finite_to_infinite</text>
</g>
<!-- NASALib/sets_aux@finite_to_infinite&#45;&gt;NASALib/sets_aux@rr_rel -->
<g id="edge45" class="edge">
<title>NASALib/sets_aux@finite_to_infinite&#45;&gt;NASALib/sets_aux@rr_rel</title>
<path fill="none" stroke="black" d="M1424.16,-239.83C1405.02,-233.99 1387,-228.5 1387,-228.5 1387,-228.5 910.56,-196.21 764.84,-186.34"/>
<polygon fill="black" stroke="black" points="765.35,-182.79 755.14,-185.61 764.88,-189.78 765.35,-182.79"/>
</g>
<!-- NASALib/sets_aux@finite_to_infinite_finite_equival_infinite_equival_classes -->
<g id="node30" class="node">
<title>NASALib/sets_aux@finite_to_infinite_finite_equival_infinite_equival_classes</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1783" cy="-254.5" rx="222.3" ry="18"/>
<text text-anchor="middle" x="1783" y="-249.45" font-family="Times,serif" font-size="14.00">finite_to_infinite_finite_equival_infinite_equival_classes</text>
</g>
<!-- NASALib/sets_aux@finite_to_infinite_finite_equival_infinite_equival_classes&#45;&gt;NASALib/sets_aux@rr_rel -->
<g id="edge46" class="edge">
<title>NASALib/sets_aux@finite_to_infinite_finite_equival_infinite_equival_classes&#45;&gt;NASALib/sets_aux@rr_rel</title>
<path fill="none" stroke="black" d="M1653.1,-239.5C1600.08,-233.79 1551,-228.5 1551,-228.5 1551,-228.5 934.35,-194.99 765.37,-185.8"/>
<polygon fill="black" stroke="black" points="765.62,-182.26 755.45,-185.21 765.24,-189.25 765.62,-182.26"/>
</g>
<!-- NASALib/sets_aux@fun_below_props -->
<g id="node31" class="node">
<title>NASALib/sets_aux@fun_below_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="5497" cy="-254.5" rx="75.41" ry="18"/>
<text text-anchor="middle" x="5497" y="-249.45" font-family="Times,serif" font-size="14.00">fun_below_props</text>
</g>
<!-- NASALib/sets_aux@infinite_card -->
<g id="node33" class="node">
<title>NASALib/sets_aux@infinite_card</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4454" cy="-254.5" rx="58" ry="18"/>
<text text-anchor="middle" x="4454" y="-249.45" font-family="Times,serif" font-size="14.00">infinite_card</text>
</g>
<!-- NASALib/sets_aux@infinite_card&#45;&gt;NASALib/sets_aux@card_comp_set_props -->
<g id="edge47" class="edge">
<title>NASALib/sets_aux@infinite_card&#45;&gt;NASALib/sets_aux@card_comp_set_props</title>
<path fill="none" stroke="black" d="M4418.15,-240.12C4402.22,-234.18 4387,-228.5 4387,-228.5 4387,-228.5 4062,-200.5 4062,-200.5 4062,-200.5 4051.11,-198.75 4036.31,-196.38"/>
<polygon fill="black" stroke="black" points="4036.95,-192.78 4026.52,-194.65 4035.84,-199.69 4036.95,-192.78"/>
</g>
<!-- NASALib/sets_aux@infinite_sets -->
<g id="node36" class="node">
<title>NASALib/sets_aux@infinite_sets</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4216" cy="-403" rx="55.96" ry="18"/>
<text text-anchor="middle" x="4216" y="-397.95" font-family="Times,serif" font-size="14.00">infinite_sets</text>
</g>
<!-- NASALib/sets_aux@infinite_sets&#45;&gt;NASALib/sets_aux@card_sets_lemmas -->
<g id="edge48" class="edge">
<title>NASALib/sets_aux@infinite_sets&#45;&gt;NASALib/sets_aux@card_sets_lemmas</title>
<path fill="none" stroke="black" d="M4169.7,-392.63C4110.35,-380.63 4006.99,-359.71 3938.52,-345.86"/>
<polygon fill="black" stroke="black" points="3939.34,-342.26 3928.84,-343.7 3937.95,-349.12 3939.34,-342.26"/>
</g>
<!-- NASALib/sets_aux@infinite_sets&#45;&gt;NASALib/sets_aux@countable_props -->
<g id="edge49" class="edge">
<title>NASALib/sets_aux@infinite_sets&#45;&gt;NASALib/sets_aux@countable_props</title>
<path fill="none" stroke="black" d="M4264.95,-394C4291.93,-389.59 4320,-385 4320,-385 4320,-385 4698,-349 4698,-349 4698,-349 4712.12,-346.62 4729.8,-343.65"/>
<polygon fill="black" stroke="black" points="4730.26,-346.95 4739.54,-341.84 4729.1,-340.05 4730.26,-346.95"/>
</g>
<!-- NASALib/sets_aux@infinite_to_finite_finite_equival_finite_equival_classes -->
<g id="node37" class="node">
<title>NASALib/sets_aux@infinite_to_finite_finite_equival_finite_equival_classes</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2238" cy="-254.5" rx="215.13" ry="18"/>
<text text-anchor="middle" x="2238" y="-249.45" font-family="Times,serif" font-size="14.00">infinite_to_finite_finite_equival_finite_equival_classes</text>
</g>
<!-- NASALib/sets_aux@infinite_to_finite_finite_equival_finite_equival_classes&#45;&gt;NASALib/sets_aux@rr_rel -->
<g id="edge50" class="edge">
<title>NASALib/sets_aux@infinite_to_finite_finite_equival_finite_equival_classes&#45;&gt;NASALib/sets_aux@rr_rel</title>
<path fill="none" stroke="black" d="M2112.58,-239.5C2061.39,-233.79 2014,-228.5 2014,-228.5 2014,-228.5 988.54,-192.76 765.49,-184.98"/>
<polygon fill="black" stroke="black" points="765.71,-181.45 755.59,-184.6 765.46,-188.45 765.71,-181.45"/>
</g>
<!-- NASALib/sets_aux@infinite_to_finite_infinite_equival_finite_equival_classes -->
<g id="node38" class="node">
<title>NASALib/sets_aux@infinite_to_finite_infinite_equival_finite_equival_classes</title>
<ellipse fill="#e6f3ff" stroke="black" cx="484" cy="-254.5" rx="222.3" ry="18"/>
<text text-anchor="middle" x="484" y="-249.45" font-family="Times,serif" font-size="14.00">infinite_to_finite_infinite_equival_finite_equival_classes</text>
</g>
<!-- NASALib/sets_aux@infinite_to_finite_infinite_equival_finite_equival_classes&#45;&gt;NASALib/sets_aux@rr_rel -->
<g id="edge51" class="edge">
<title>NASALib/sets_aux@infinite_to_finite_infinite_equival_finite_equival_classes&#45;&gt;NASALib/sets_aux@rr_rel</title>
<path fill="none" stroke="black" d="M541.55,-236.64C586.12,-223.59 646.58,-205.88 685.2,-194.57"/>
<polygon fill="black" stroke="black" points="685.87,-197.73 694.48,-191.56 683.9,-191.01 685.87,-197.73"/>
</g>
<!-- NASALib/sets_aux@infinite_to_infinite_infinite_equival_finite_equival_classes -->
<g id="node39" class="node">
<title>NASALib/sets_aux@infinite_to_infinite_infinite_equival_finite_equival_classes</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2872" cy="-254.5" rx="229.46" ry="18"/>
<text text-anchor="middle" x="2872" y="-249.45" font-family="Times,serif" font-size="14.00">infinite_to_infinite_infinite_equival_finite_equival_classes</text>
</g>
<!-- NASALib/sets_aux@infinite_to_infinite_infinite_equival_finite_equival_classes&#45;&gt;NASALib/ints -->
<g id="edge52" class="edge">
<title>NASALib/sets_aux@infinite_to_infinite_infinite_equival_finite_equival_classes&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M3005.82,-239.5C3060.44,-233.79 3111,-228.5 3111,-228.5 3111,-228.5 4057,-200.5 4057,-200.5 4057,-200.5 4076,-183.5 4076,-183.5"/>
</g>
<!-- NASALib/sets_aux@infinite_to_infinite_infinite_equival_finite_equival_classes&#45;&gt;NASALib/sets_aux@rr_rel -->
<g id="edge53" class="edge">
<title>NASALib/sets_aux@infinite_to_infinite_infinite_equival_finite_equival_classes&#45;&gt;NASALib/sets_aux@rr_rel</title>
<path fill="none" stroke="black" d="M2738.18,-239.5C2683.56,-233.79 2633,-228.5 2633,-228.5 2633,-228.5 1047.16,-191.14 765.51,-184.5"/>
<polygon fill="black" stroke="black" points="765.64,-180.98 755.56,-184.24 765.47,-187.98 765.64,-180.98"/>
</g>
<!-- NASALib/sets_aux@infinite_to_infinite_infinite_equival_infinite_equival_classes -->
<g id="node40" class="node">
<title>NASALib/sets_aux@infinite_to_infinite_infinite_equival_infinite_equival_classes</title>
<ellipse fill="#e6f3ff" stroke="black" cx="961" cy="-254.5" rx="236.63" ry="18"/>
<text text-anchor="middle" x="961" y="-249.45" font-family="Times,serif" font-size="14.00">infinite_to_infinite_infinite_equival_infinite_equival_classes</text>
</g>
<!-- NASALib/sets_aux@infinite_to_infinite_infinite_equival_infinite_equival_classes&#45;&gt;NASALib/sets_aux@rr_rel -->
<g id="edge54" class="edge">
<title>NASALib/sets_aux@infinite_to_infinite_infinite_equival_infinite_equival_classes&#45;&gt;NASALib/sets_aux@rr_rel</title>
<path fill="none" stroke="black" d="M903.39,-236.55C859.12,-223.54 799.26,-205.93 760.88,-194.64"/>
<polygon fill="black" stroke="black" points="762.23,-191.1 751.65,-191.63 760.26,-197.81 762.23,-191.1"/>
</g>
<!-- NASALib/sets_aux@infinite_to_infinite_trivial -->
<g id="node41" class="node">
<title>NASALib/sets_aux@infinite_to_infinite_trivial</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3227" cy="-254.5" rx="107.14" ry="18"/>
<text text-anchor="middle" x="3227" y="-249.45" font-family="Times,serif" font-size="14.00">infinite_to_infinite_trivial</text>
</g>
<!-- NASALib/sets_aux@infinite_to_infinite_trivial&#45;&gt;NASALib/ints -->
<g id="edge55" class="edge">
<title>NASALib/sets_aux@infinite_to_infinite_trivial&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M3313.95,-243.62C3375.44,-236.63 3447,-228.5 3447,-228.5 3447,-228.5 4057,-200.5 4057,-200.5 4057,-200.5 4076,-183.5 4076,-183.5"/>
</g>
<!-- NASALib/sets_aux@infinite_to_infinite_trivial&#45;&gt;NASALib/sets_aux@rr_rel -->
<g id="edge56" class="edge">
<title>NASALib/sets_aux@infinite_to_infinite_trivial&#45;&gt;NASALib/sets_aux@rr_rel</title>
<path fill="none" stroke="black" d="M3162.68,-239.76C3135.49,-233.95 3110,-228.5 3110,-228.5 3110,-228.5 1084.34,-190.31 765.12,-184.29"/>
<polygon fill="black" stroke="black" points="765.56,-180.78 755.49,-184.09 765.43,-187.78 765.56,-180.78"/>
</g>
<!-- NASALib/sets_aux@inverse_image_Union -->
<g id="node42" class="node">
<title>NASALib/sets_aux@inverse_image_Union</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4422" cy="-403" rx="92.81" ry="18"/>
<text text-anchor="middle" x="4422" y="-397.95" font-family="Times,serif" font-size="14.00">inverse_image_Union</text>
</g>
<!-- NASALib/sets_aux@more_set_defs -->
<g id="node43" class="node">
<title>NASALib/sets_aux@more_set_defs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3707" cy="-331" rx="65.17" ry="18"/>
<text text-anchor="middle" x="3707" y="-325.95" font-family="Times,serif" font-size="14.00">more_set_defs</text>
</g>
<!-- NASALib/sets_aux@more_set_props -->
<g id="node44" class="node">
<title>NASALib/sets_aux@more_set_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3831" cy="-403" rx="70.29" ry="18"/>
<text text-anchor="middle" x="3831" y="-397.95" font-family="Times,serif" font-size="14.00">more_set_props</text>
</g>
<!-- NASALib/sets_aux@more_set_props&#45;&gt;NASALib/sets_aux@more_set_defs -->
<g id="edge57" class="edge">
<title>NASALib/sets_aux@more_set_props&#45;&gt;NASALib/sets_aux@more_set_defs</title>
<path fill="none" stroke="black" d="M3802.86,-386.12C3785.46,-376.29 3762.92,-363.57 3744.07,-352.93"/>
<polygon fill="black" stroke="black" points="3746.03,-349.45 3735.6,-347.58 3742.59,-355.54 3746.03,-349.45"/>
</g>
<!-- NASALib/sets_aux@nat_indexed_sets -->
<g id="node45" class="node">
<title>NASALib/sets_aux@nat_indexed_sets</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4153" cy="-331" rx="74.38" ry="18"/>
<text text-anchor="middle" x="4153" y="-325.95" font-family="Times,serif" font-size="14.00">nat_indexed_sets</text>
</g>
<!-- NASALib/sets_aux@nat_indexed_sets&#45;&gt;NASALib/sets_aux@indexed_sets_aux -->
<g id="edge58" class="edge">
<title>NASALib/sets_aux@nat_indexed_sets&#45;&gt;NASALib/sets_aux@indexed_sets_aux</title>
<path fill="none" stroke="black" d="M4153,-312.72C4153,-304.13 4153,-293.53 4153,-283.8"/>
<polygon fill="black" stroke="black" points="4156.5,-283.94 4153,-273.94 4149.5,-283.94 4156.5,-283.94"/>
</g>
<!-- NASALib/structures -->
<g id="node62" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="6116.25,-124 6047.75,-124 6047.75,-88 6116.25,-88 6116.25,-124"/>
<text text-anchor="middle" x="6082" y="-100.95" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/sets_aux@nat_indexed_sets&#45;&gt;NASALib/structures -->
<g id="edge59" class="edge">
<title>NASALib/sets_aux@nat_indexed_sets&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M4220.24,-322.99C4265.14,-318.3 4316,-313 4316,-313 4316,-313 5581,-305 5581,-305 5581,-305 5624,-228.5 5624,-228.5 5624,-228.5 6039,-156.5 6039,-156.5 6039,-156.5 6049.27,-144.67 6059.78,-132.58"/>
<polygon fill="black" stroke="black" points="6063.04,-135.16 6066.96,-125.31 6057.76,-130.57 6063.04,-135.16"/>
</g>
<!-- NASALib/sets_aux@nat_surjection -->
<g id="node46" class="node">
<title>NASALib/sets_aux@nat_surjection</title>
<ellipse fill="#e6f3ff" stroke="black" cx="4002" cy="-403" rx="63.12" ry="18"/>
<text text-anchor="middle" x="4002" y="-397.95" font-family="Times,serif" font-size="14.00">nat_surjection</text>
</g>
<!-- NASALib/sets_aux@power_sets -->
<g id="node47" class="node">
<title>NASALib/sets_aux@power_sets</title>
<ellipse fill="#e6f3ff" stroke="black" cx="5497" cy="-403" rx="52.38" ry="18"/>
<text text-anchor="middle" x="5497" y="-397.95" font-family="Times,serif" font-size="14.00">power_sets</text>
</g>
<!-- NASALib/sets_aux@set_of_functions -->
<g id="node56" class="node">
<title>NASALib/sets_aux@set_of_functions</title>
<ellipse fill="#e6f3ff" stroke="black" cx="5497" cy="-331" rx="72.34" ry="18"/>
<text text-anchor="middle" x="5497" y="-325.95" font-family="Times,serif" font-size="14.00">set_of_functions</text>
</g>
<!-- NASALib/sets_aux@power_sets&#45;&gt;NASALib/sets_aux@set_of_functions -->
<g id="edge60" class="edge">
<title>NASALib/sets_aux@power_sets&#45;&gt;NASALib/sets_aux@set_of_functions</title>
<path fill="none" stroke="black" d="M5497,-384.7C5497,-377.24 5497,-368.32 5497,-359.97"/>
<polygon fill="black" stroke="black" points="5500.5,-360.1 5497,-350.1 5493.5,-360.1 5500.5,-360.1"/>
</g>
<!-- NASALib/sets_aux@power_sets&#45;&gt;lib/finite_sets -->
<g id="edge61" class="edge">
<title>NASALib/sets_aux@power_sets&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M5536.97,-391.04C5548.96,-387.75 5559,-385 5559,-385 5559,-385 5781,-349 5781,-349 5781,-349 5964,-305 5964,-305 5964,-305 5975.91,-292.72 5987.87,-280.39"/>
<polygon fill="black" stroke="black" points="5989.76,-283.43 5994.21,-273.81 5984.74,-278.56 5989.76,-283.43"/>
</g>
<!-- NASALib/sets_aux@relation_extension -->
<g id="node48" class="node">
<title>NASALib/sets_aux@relation_extension</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1684" cy="-34" rx="78.99" ry="18"/>
<text text-anchor="middle" x="1684" y="-28.95" font-family="Times,serif" font-size="14.00">relation_extension</text>
</g>
<!-- NASALib/sets_aux@relation_extension_props -->
<g id="node49" class="node">
<title>NASALib/sets_aux@relation_extension_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="120" cy="-182.5" rx="104.07" ry="18"/>
<text text-anchor="middle" x="120" y="-177.45" font-family="Times,serif" font-size="14.00">relation_extension_props</text>
</g>
<!-- NASALib/sets_aux@relation_extension_props&#45;&gt;NASALib/sets_aux@relation_extension -->
<g id="edge62" class="edge">
<title>NASALib/sets_aux@relation_extension_props&#45;&gt;NASALib/sets_aux@relation_extension</title>
<path fill="none" stroke="black" d="M147.6,-164.78C183.87,-142.82 243,-107 243,-107"/>
<path fill="none" stroke="black" d="M243,-105C243,-105 1284.19,-54.42 1596.49,-39.25"/>
<polygon fill="black" stroke="black" points="1596.47,-42.71 1606.29,-38.73 1596.13,-35.72 1596.47,-42.71"/>
</g>
<!-- NASALib/sets_aux@relation_implication -->
<g id="node50" class="node">
<title>NASALib/sets_aux@relation_implication</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3530" cy="-182.5" rx="86.15" ry="18"/>
<text text-anchor="middle" x="3530" y="-177.45" font-family="Times,serif" font-size="14.00">relation_implication</text>
</g>
<!-- NASALib/sets_aux@relation_inverse_extension -->
<g id="node51" class="node">
<title>NASALib/sets_aux@relation_inverse_extension</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1973" cy="-106" rx="110.21" ry="18"/>
<text text-anchor="middle" x="1973" y="-100.95" font-family="Times,serif" font-size="14.00">relation_inverse_extension</text>
</g>
<!-- NASALib/sets_aux@relation_inverse_extension&#45;&gt;NASALib/sets_aux@relation_extension -->
<g id="edge63" class="edge">
<title>NASALib/sets_aux@relation_inverse_extension&#45;&gt;NASALib/sets_aux@relation_extension</title>
<path fill="none" stroke="black" d="M1913.12,-90.5C1864.6,-78.74 1796.43,-62.23 1747.07,-50.28"/>
<polygon fill="black" stroke="black" points="1748.07,-46.68 1737.53,-47.72 1746.42,-53.48 1748.07,-46.68"/>
</g>
<!-- NASALib/sets_aux@relation_inverse_image -->
<g id="node52" class="node">
<title>NASALib/sets_aux@relation_inverse_image</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2070" cy="-34" rx="97.93" ry="18"/>
<text text-anchor="middle" x="2070" y="-28.95" font-family="Times,serif" font-size="14.00">relation_inverse_image</text>
</g>
<!-- NASALib/sets_aux@relation_inverse_extension&#45;&gt;NASALib/sets_aux@relation_inverse_image -->
<g id="edge64" class="edge">
<title>NASALib/sets_aux@relation_inverse_extension&#45;&gt;NASALib/sets_aux@relation_inverse_image</title>
<path fill="none" stroke="black" d="M1996.48,-88.05C2008.99,-79.03 2024.56,-67.79 2038.15,-57.99"/>
<polygon fill="black" stroke="black" points="2039.67,-60.48 2045.74,-51.79 2035.58,-54.8 2039.67,-60.48"/>
</g>
<!-- NASALib/sets_aux@relational_choice -->
<g id="node53" class="node">
<title>NASALib/sets_aux@relational_choice</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3530" cy="-254.5" rx="74.38" ry="18"/>
<text text-anchor="middle" x="3530" y="-249.45" font-family="Times,serif" font-size="14.00">relational_choice</text>
</g>
<!-- NASALib/sets_aux@relational_choice&#45;&gt;NASALib/sets_aux@relation_implication -->
<g id="edge65" class="edge">
<title>NASALib/sets_aux@relational_choice&#45;&gt;NASALib/sets_aux@relation_implication</title>
<path fill="none" stroke="black" d="M3530,-236.2C3530,-228.74 3530,-219.82 3530,-211.47"/>
<polygon fill="black" stroke="black" points="3533.5,-211.6 3530,-201.6 3526.5,-211.6 3533.5,-211.6"/>
</g>
<!-- NASALib/sets_aux@relational_choice_properties -->
<g id="node54" class="node">
<title>NASALib/sets_aux@relational_choice_properties</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3488" cy="-331" rx="115.84" ry="18"/>
<text text-anchor="middle" x="3488" y="-325.95" font-family="Times,serif" font-size="14.00">relational_choice_properties</text>
</g>
<!-- NASALib/sets_aux@relational_choice_properties&#45;&gt;NASALib/sets_aux@relational_choice -->
<g id="edge66" class="edge">
<title>NASALib/sets_aux@relational_choice_properties&#45;&gt;NASALib/sets_aux@relational_choice</title>
<path fill="none" stroke="black" d="M3497.74,-312.72C3502.88,-303.6 3509.3,-292.21 3515.06,-282"/>
<polygon fill="black" stroke="black" points="3518.45,-284.12 3520.31,-273.69 3512.35,-280.68 3518.45,-284.12"/>
</g>
<!-- NASALib/sets_aux@rr_rel&#45;&gt;NASALib/sets_aux@relation_extension -->
<g id="edge67" class="edge">
<title>NASALib/sets_aux@rr_rel&#45;&gt;NASALib/sets_aux@relation_extension</title>
<path fill="none" stroke="black" d="M692.97,-176.84C587.89,-160.53 243,-107 243,-107"/>
</g>
<!-- NASALib/sets_aux@rr_rel&#45;&gt;NASALib/sets_aux@relation_inverse_extension -->
<g id="edge68" class="edge">
<title>NASALib/sets_aux@rr_rel&#45;&gt;NASALib/sets_aux@relation_inverse_extension</title>
<path fill="none" stroke="black" d="M754.21,-179.64C907.97,-170.48 1588.41,-129.92 1860.25,-113.72"/>
<polygon fill="black" stroke="black" points="1860.15,-117.17 1869.93,-113.08 1859.74,-110.18 1860.15,-117.17"/>
</g>
<!-- NASALib/sets_aux@set_of_functions&#45;&gt;NASALib/sets_aux@fun_below_props -->
<g id="edge69" class="edge">
<title>NASALib/sets_aux@set_of_functions&#45;&gt;NASALib/sets_aux@fun_below_props</title>
<path fill="none" stroke="black" d="M5497,-312.72C5497,-304.13 5497,-293.53 5497,-283.8"/>
<polygon fill="black" stroke="black" points="5500.5,-283.94 5497,-273.94 5493.5,-283.94 5500.5,-283.94"/>
</g>
<!-- NASALib/sets_aux@set_of_functions&#45;&gt;lib/finite_sets -->
<g id="edge70" class="edge">
<title>NASALib/sets_aux@set_of_functions&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M5551.24,-318.76C5566.49,-315.59 5579,-313 5579,-313 5579,-313 5964,-305 5964,-305 5964,-305 5975.91,-292.72 5987.87,-280.39"/>
<polygon fill="black" stroke="black" points="5989.76,-283.43 5994.21,-273.81 5984.74,-278.56 5989.76,-283.43"/>
</g>
<!-- NASALib/sets_aux@sets_lemmas_extra -->
<g id="node57" class="node">
<title>NASALib/sets_aux@sets_lemmas_extra</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3661" cy="-403" rx="82.06" ry="18"/>
<text text-anchor="middle" x="3661" y="-397.95" font-family="Times,serif" font-size="14.00">sets_lemmas_extra</text>
</g>
<!-- NASALib/sets_aux@simplest_examples -->
<g id="node58" class="node">
<title>NASALib/sets_aux@simplest_examples</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1783" cy="-331" rx="82.06" ry="18"/>
<text text-anchor="middle" x="1783" y="-325.95" font-family="Times,serif" font-size="14.00">simplest_examples</text>
</g>
<!-- NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@finite_nats_trivial -->
<g id="edge71" class="edge">
<title>NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@finite_nats_trivial</title>
<path fill="none" stroke="black" d="M1863.56,-327.03C2043.42,-320.41 2462,-305 2462,-305 2462,-305 2487.31,-290.43 2510.46,-277.11"/>
<polygon fill="black" stroke="black" points="2511.92,-279.73 2518.84,-271.71 2508.43,-273.66 2511.92,-279.73"/>
</g>
<!-- NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@finite_to_infinite -->
<g id="edge72" class="edge">
<title>NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@finite_to_infinite</title>
<path fill="none" stroke="black" d="M1710.54,-322.16C1642.8,-314.83 1552,-305 1552,-305 1552,-305 1527.49,-290.38 1505.1,-277.03"/>
<polygon fill="black" stroke="black" points="1507.1,-273.55 1496.72,-271.43 1503.51,-279.56 1507.1,-273.55"/>
</g>
<!-- NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@finite_to_infinite_finite_equival_infinite_equival_classes -->
<g id="edge73" class="edge">
<title>NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@finite_to_infinite_finite_equival_infinite_equival_classes</title>
<path fill="none" stroke="black" d="M1783,-312.72C1783,-304.13 1783,-293.53 1783,-283.8"/>
<polygon fill="black" stroke="black" points="1786.5,-283.94 1783,-273.94 1779.5,-283.94 1786.5,-283.94"/>
</g>
<!-- NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@infinite_to_finite_finite_equival_finite_equival_classes -->
<g id="edge74" class="edge">
<title>NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@infinite_to_finite_finite_equival_finite_equival_classes</title>
<path fill="none" stroke="black" d="M1855.46,-322.16C1923.2,-314.83 2014,-305 2014,-305 2014,-305 2090.08,-288.19 2153.56,-274.16"/>
<polygon fill="black" stroke="black" points="2154.02,-277.42 2163.03,-271.85 2152.51,-270.59 2154.02,-277.42"/>
</g>
<!-- NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@infinite_to_finite_infinite_equival_finite_equival_classes -->
<g id="edge75" class="edge">
<title>NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@infinite_to_finite_infinite_equival_finite_equival_classes</title>
<path fill="none" stroke="black" d="M1701.85,-328.1C1452.62,-322.27 715,-305 715,-305 715,-305 636.22,-288.12 570.67,-274.07"/>
<polygon fill="black" stroke="black" points="571.79,-270.52 561.28,-271.85 570.32,-277.36 571.79,-270.52"/>
</g>
<!-- NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@infinite_to_infinite_infinite_equival_finite_equival_classes -->
<g id="edge76" class="edge">
<title>NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@infinite_to_infinite_infinite_equival_finite_equival_classes</title>
<path fill="none" stroke="black" d="M1864.12,-327.61C2076.58,-321.37 2633,-305 2633,-305 2633,-305 2714.51,-288.12 2782.33,-274.07"/>
<polygon fill="black" stroke="black" points="2783,-277.3 2792.08,-271.85 2781.58,-270.45 2783,-277.3"/>
</g>
<!-- NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@infinite_to_infinite_infinite_equival_infinite_equival_classes -->
<g id="edge77" class="edge">
<title>NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@infinite_to_infinite_infinite_equival_infinite_equival_classes</title>
<path fill="none" stroke="black" d="M1702.91,-326.52C1544.64,-319.65 1207,-305 1207,-305 1207,-305 1122.76,-288.05 1052.87,-273.99"/>
<polygon fill="black" stroke="black" points="1053.73,-270.39 1043.23,-271.85 1052.34,-277.25 1053.73,-270.39"/>
</g>
<!-- NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@infinite_to_infinite_trivial -->
<g id="edge78" class="edge">
<title>NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@infinite_to_infinite_trivial</title>
<path fill="none" stroke="black" d="M1864.51,-328.46C2153.22,-323.03 3110,-305 3110,-305 3110,-305 3146.6,-289.51 3178.86,-275.87"/>
<polygon fill="black" stroke="black" points="3179.84,-278.83 3187.69,-271.71 3177.12,-272.38 3179.84,-278.83"/>
</g>
<!-- NASALib/sets_aux@singleton_example -->
<g id="node59" class="node">
<title>NASALib/sets_aux@singleton_example</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1297" cy="-254.5" rx="81.04" ry="18"/>
<text text-anchor="middle" x="1297" y="-249.45" font-family="Times,serif" font-size="14.00">singleton_example</text>
</g>
<!-- NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@singleton_example -->
<g id="edge79" class="edge">
<title>NASALib/sets_aux@simplest_examples&#45;&gt;NASALib/sets_aux@singleton_example</title>
<path fill="none" stroke="black" d="M1705.24,-325.09C1589.91,-317.81 1387,-305 1387,-305 1387,-305 1360.28,-290.3 1335.96,-276.93"/>
<polygon fill="black" stroke="black" points="1337.92,-273.46 1327.47,-271.71 1334.54,-279.59 1337.92,-273.46"/>
</g>
<!-- NASALib/sets_aux@singleton_example&#45;&gt;NASALib/sets_aux@rr_rel -->
<g id="edge80" class="edge">
<title>NASALib/sets_aux@singleton_example&#45;&gt;NASALib/sets_aux@rr_rel</title>
<path fill="none" stroke="black" d="M1247.79,-239.83C1226.78,-233.99 1207,-228.5 1207,-228.5 1207,-228.5 882.13,-198.3 764.71,-187.38"/>
<polygon fill="black" stroke="black" points="765.29,-183.82 755.01,-186.38 764.65,-190.79 765.29,-183.82"/>
</g>
<!-- NASALib/sets_aux@top_choice_facts -->
<g id="node60" class="node">
<title>NASALib/sets_aux@top_choice_facts</title>
<ellipse fill="#e6f3ff" stroke="black" cx="3488" cy="-403" rx="73.36" ry="18"/>
<text text-anchor="middle" x="3488" y="-397.95" font-family="Times,serif" font-size="14.00">top_choice_facts</text>
</g>
<!-- NASALib/sets_aux@top_choice_facts&#45;&gt;NASALib/sets_aux@relation_implication -->
<g id="edge81" class="edge">
<title>NASALib/sets_aux@top_choice_facts&#45;&gt;NASALib/sets_aux@relation_implication</title>
<path fill="none" stroke="black" d="M3623,-330C3623,-330 3613,-228.5 3613,-228.5 3613,-228.5 3590.8,-216.46 3569.36,-204.84"/>
<polygon fill="black" stroke="black" points="3571.42,-201.44 3560.96,-199.75 3568.09,-207.59 3571.42,-201.44"/>
</g>
<!-- NASALib/sets_aux@top_choice_facts&#45;&gt;NASALib/sets_aux@relational_choice -->
<g id="edge82" class="edge">
<title>NASALib/sets_aux@top_choice_facts&#45;&gt;NASALib/sets_aux@relational_choice</title>
<path fill="none" stroke="black" d="M3623,-330C3623,-330 3613,-313 3613,-313 3613,-313 3585.8,-294.16 3562.54,-278.05"/>
<polygon fill="black" stroke="black" points="3564.78,-274.64 3554.56,-271.82 3560.79,-280.4 3564.78,-274.64"/>
<path fill="none" stroke="black" d="M3523.49,-386.95C3560.44,-371.28 3613,-349 3613,-349 3613,-349 3623,-332 3623,-332"/>
</g>
<!-- NASALib/sets_aux@top_choice_facts&#45;&gt;NASALib/sets_aux@relational_choice_properties -->
<g id="edge83" class="edge">
<title>NASALib/sets_aux@top_choice_facts&#45;&gt;NASALib/sets_aux@relational_choice_properties</title>
<path fill="none" stroke="black" d="M3488,-384.7C3488,-377.24 3488,-368.32 3488,-359.97"/>
<polygon fill="black" stroke="black" points="3491.5,-360.1 3488,-350.1 3484.5,-360.1 3491.5,-360.1"/>
</g>
<!-- NASALib/sets_aux@top_refinement_relations -->
<g id="node61" class="node">
<title>NASALib/sets_aux@top_refinement_relations</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1783" cy="-403" rx="104.07" ry="18"/>
<text text-anchor="middle" x="1783" y="-397.95" font-family="Times,serif" font-size="14.00">top_refinement_relations</text>
</g>
<!-- NASALib/sets_aux@top_refinement_relations&#45;&gt;NASALib/sets_aux@relation_extension -->
<g id="edge84" class="edge">
<title>NASALib/sets_aux@top_refinement_relations&#45;&gt;NASALib/sets_aux@relation_extension</title>
<path fill="none" stroke="black" d="M243,-253.5C243,-253.5 243,-107 243,-107"/>
</g>
<!-- NASALib/sets_aux@top_refinement_relations&#45;&gt;NASALib/sets_aux@relation_extension_props -->
<g id="edge85" class="edge">
<title>NASALib/sets_aux@top_refinement_relations&#45;&gt;NASALib/sets_aux@relation_extension_props</title>
<path fill="none" stroke="black" d="M1686.71,-395.9C1351.07,-374.62 253,-305 253,-305 253,-305 243,-255.5 243,-255.5"/>
<path fill="none" stroke="black" d="M243,-253.5C243,-253.5 194.57,-225.94 158.48,-205.4"/>
<polygon fill="black" stroke="black" points="160.57,-201.99 150.15,-200.09 157.11,-208.08 160.57,-201.99"/>
</g>
<!-- NASALib/sets_aux@top_refinement_relations&#45;&gt;NASALib/sets_aux@relation_inverse_extension -->
<g id="edge86" class="edge">
<title>NASALib/sets_aux@top_refinement_relations&#45;&gt;NASALib/sets_aux@relation_inverse_extension</title>
<path fill="none" stroke="black" d="M1879.7,-395.99C2220.17,-374.82 3343,-305 3343,-305 3343,-305 3353,-183.5 3353,-183.5"/>
<path fill="none" stroke="black" d="M3353,-181.5C3353,-181.5 2417.53,-131 2086.99,-113.15"/>
<polygon fill="black" stroke="black" points="2087.62,-109.63 2077.44,-112.58 2087.24,-116.62 2087.62,-109.63"/>
</g>
<!-- NASALib/sets_aux@top_refinement_relations&#45;&gt;NASALib/sets_aux@relation_inverse_image -->
<g id="edge87" class="edge">
<title>NASALib/sets_aux@top_refinement_relations&#45;&gt;NASALib/sets_aux@relation_inverse_image</title>
<path fill="none" stroke="black" d="M3353,-181.5C3353,-181.5 2455.58,-79.03 2161.84,-45.49"/>
<polygon fill="black" stroke="black" points="2162.56,-41.93 2152.23,-44.28 2161.77,-48.89 2162.56,-41.93"/>
</g>
<!-- NASALib/sets_aux@top_refinement_relations&#45;&gt;NASALib/sets_aux@rr_rel -->
<g id="edge88" class="edge">
<title>NASALib/sets_aux@top_refinement_relations&#45;&gt;NASALib/sets_aux@rr_rel</title>
<path fill="none" stroke="black" d="M243,-253.5C243,-253.5 253,-228.5 253,-228.5 253,-228.5 566.38,-198.5 681.36,-187.49"/>
<polygon fill="black" stroke="black" points="681.54,-190.89 691.16,-186.45 680.87,-183.92 681.54,-190.89"/>
</g>
<!-- NASALib/sets_aux@top_refinement_relations&#45;&gt;NASALib/sets_aux@simplest_examples -->
<g id="edge89" class="edge">
<title>NASALib/sets_aux@top_refinement_relations&#45;&gt;NASALib/sets_aux@simplest_examples</title>
<path fill="none" stroke="black" d="M1783,-384.7C1783,-377.24 1783,-368.32 1783,-359.97"/>
<polygon fill="black" stroke="black" points="1786.5,-360.1 1783,-350.1 1779.5,-360.1 1786.5,-360.1"/>
</g>
</g>
</svg>