Hydras map

hydras-map.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: interval_deps Pages: 1 -->
<svg width="7371pt" height="1988pt"
 viewBox="0.00 0.00 7370.54 1988.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 1984)">
<title>interval_deps</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-1984 7366.54,-1984 7366.54,4 -4,4"/>
<!-- ordinals.OrdinalNotations.ON_Omega -->
<g id="node1" class="node">
<title>ordinals.OrdinalNotations.ON_Omega</title>
<g id="a_node1"><a xlink:href="ordinals.OrdinalNotations.ON_Omega.svg" xlink:title="ordinals.OrdinalNotations.ON_Omega">
<ellipse fill="white" stroke="black" cx="919.39" cy="-954" rx="147.57" ry="18"/>
<text text-anchor="middle" x="919.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.OrdinalNotations.ON_Omega</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_Finite -->
<g id="node2" class="node">
<title>ordinals.OrdinalNotations.ON_Finite</title>
<g id="a_node2"><a xlink:href="ordinals.OrdinalNotations.ON_Finite.svg" xlink:title="ordinals.OrdinalNotations.ON_Finite">
<ellipse fill="white" stroke="black" cx="508.39" cy="-666" rx="142.17" ry="18"/>
<text text-anchor="middle" x="508.39" y="-662.3" font-family="Times,serif" font-size="14.00">ordinals.OrdinalNotations.ON_Finite</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_Omega&#45;&gt;ordinals.OrdinalNotations.ON_Finite -->
<g id="edge1" class="edge">
<title>ordinals.OrdinalNotations.ON_Omega&#45;&gt;ordinals.OrdinalNotations.ON_Finite</title>
<path fill="none" stroke="black" d="M885.64,-936.44C841.25,-914.09 761.49,-871.99 698.39,-828 635.58,-784.21 568.74,-723.95 533.51,-690.97"/>
<polygon fill="black" stroke="black" points="535.75,-688.28 526.07,-683.97 530.96,-693.38 535.75,-688.28"/>
</g>
<!-- ordinals.Schutte.Schutte -->
<g id="node3" class="node">
<title>ordinals.Schutte.Schutte</title>
<g id="a_node3"><a xlink:href="ordinals.Schutte.Schutte.svg" xlink:title="ordinals.Schutte.Schutte">
<ellipse fill="white" stroke="black" cx="982.39" cy="-882" rx="96.68" ry="18"/>
<text text-anchor="middle" x="982.39" y="-878.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.Schutte</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_Omega&#45;&gt;ordinals.Schutte.Schutte -->
<g id="edge2" class="edge">
<title>ordinals.OrdinalNotations.ON_Omega&#45;&gt;ordinals.Schutte.Schutte</title>
<path fill="none" stroke="black" d="M934.64,-936.05C942.38,-927.46 951.92,-916.86 960.43,-907.4"/>
<polygon fill="black" stroke="black" points="963.19,-909.56 967.28,-899.79 957.99,-904.88 963.19,-909.56"/>
</g>
<!-- ordinals.OrdinalNotations.ON_Generic -->
<g id="node4" class="node">
<title>ordinals.OrdinalNotations.ON_Generic</title>
<g id="a_node4"><a xlink:href="ordinals.OrdinalNotations.ON_Generic.svg" xlink:title="ordinals.OrdinalNotations.ON_Generic">
<ellipse fill="white" stroke="black" cx="1078.39" cy="-378" rx="149.47" ry="18"/>
<text text-anchor="middle" x="1078.39" y="-374.3" font-family="Times,serif" font-size="14.00">ordinals.OrdinalNotations.ON_Generic</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_Finite&#45;&gt;ordinals.OrdinalNotations.ON_Generic -->
<g id="edge6" class="edge">
<title>ordinals.OrdinalNotations.ON_Finite&#45;&gt;ordinals.OrdinalNotations.ON_Generic</title>
<path fill="none" stroke="black" d="M471.21,-648.5C390.12,-610.4 210.53,-513.36 287.39,-432 335.69,-380.87 849.29,-401.74 919.39,-396 933.67,-394.83 948.65,-393.44 963.47,-391.97"/>
<polygon fill="black" stroke="black" points="964.09,-395.43 973.69,-390.94 963.39,-388.46 964.09,-395.43"/>
</g>
<!-- ordinals.Schutte.Critical -->
<g id="node8" class="node">
<title>ordinals.Schutte.Critical</title>
<g id="a_node8"><a xlink:href="ordinals.Schutte.Critical.svg" xlink:title="ordinals.Schutte.Critical">
<ellipse fill="white" stroke="black" cx="804.39" cy="-810" rx="96.68" ry="18"/>
<text text-anchor="middle" x="804.39" y="-806.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.Critical</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.Schutte&#45;&gt;ordinals.Schutte.Critical -->
<g id="edge7" class="edge">
<title>ordinals.Schutte.Schutte&#45;&gt;ordinals.Schutte.Critical</title>
<path fill="none" stroke="black" d="M942.89,-865.46C916.5,-855.09 881.6,-841.36 853.44,-830.29"/>
<polygon fill="black" stroke="black" points="854.37,-826.89 843.78,-826.49 851.81,-833.41 854.37,-826.89"/>
</g>
<!-- ordinals.Schutte.Correctness_E0 -->
<g id="node9" class="node">
<title>ordinals.Schutte.Correctness_E0</title>
<g id="a_node9"><a xlink:href="ordinals.Schutte.Correctness_E0.svg" xlink:title="ordinals.Schutte.Correctness_E0">
<ellipse fill="white" stroke="black" cx="1045.39" cy="-810" rx="126.18" ry="18"/>
<text text-anchor="middle" x="1045.39" y="-806.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.Correctness_E0</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.Schutte&#45;&gt;ordinals.Schutte.Correctness_E0 -->
<g id="edge8" class="edge">
<title>ordinals.Schutte.Schutte&#45;&gt;ordinals.Schutte.Correctness_E0</title>
<path fill="none" stroke="black" d="M997.64,-864.05C1005.27,-855.58 1014.64,-845.17 1023.06,-835.82"/>
<polygon fill="black" stroke="black" points="1025.76,-838.05 1029.84,-828.28 1020.55,-833.37 1025.76,-838.05"/>
</g>
<!-- ordinals.Prelude.OrdNotations -->
<g id="node5" class="node">
<title>ordinals.Prelude.OrdNotations</title>
<g id="a_node5"><a xlink:href="ordinals.Prelude.OrdNotations.svg" xlink:title="ordinals.Prelude.OrdNotations">
<ellipse fill="white" stroke="black" cx="1221.39" cy="-234" rx="118.08" ry="18"/>
<text text-anchor="middle" x="1221.39" y="-230.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.OrdNotations</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_Generic&#45;&gt;ordinals.Prelude.OrdNotations -->
<g id="edge3" class="edge">
<title>ordinals.OrdinalNotations.ON_Generic&#45;&gt;ordinals.Prelude.OrdNotations</title>
<path fill="none" stroke="black" d="M1095.64,-359.87C1120.87,-334.82 1167.97,-288.05 1196.81,-259.41"/>
<polygon fill="black" stroke="black" points="1199.45,-261.72 1204.08,-252.19 1194.52,-256.75 1199.45,-261.72"/>
</g>
<!-- ordinals.Schutte.Schutte_basics -->
<g id="node6" class="node">
<title>ordinals.Schutte.Schutte_basics</title>
<g id="a_node6"><a xlink:href="ordinals.Schutte.Schutte_basics.svg" xlink:title="ordinals.Schutte.Schutte_basics">
<ellipse fill="white" stroke="black" cx="769.39" cy="-306" rx="122.38" ry="18"/>
<text text-anchor="middle" x="769.39" y="-302.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.Schutte_basics</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_Generic&#45;&gt;ordinals.Schutte.Schutte_basics -->
<g id="edge4" class="edge">
<title>ordinals.OrdinalNotations.ON_Generic&#45;&gt;ordinals.Schutte.Schutte_basics</title>
<path fill="none" stroke="black" d="M1011.34,-361.81C961.67,-350.56 894.02,-335.23 842.88,-323.65"/>
<polygon fill="black" stroke="black" points="843.41,-320.18 832.88,-321.38 841.86,-327.01 843.41,-320.18"/>
</g>
<!-- ordinals.Prelude.Comparable -->
<g id="node7" class="node">
<title>ordinals.Prelude.Comparable</title>
<g id="a_node7"><a xlink:href="ordinals.Prelude.Comparable.svg" xlink:title="ordinals.Prelude.Comparable">
<ellipse fill="white" stroke="black" cx="1749.39" cy="-234" rx="114.28" ry="18"/>
<text text-anchor="middle" x="1749.39" y="-230.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.Comparable</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_Generic&#45;&gt;ordinals.Prelude.Comparable -->
<g id="edge5" class="edge">
<title>ordinals.OrdinalNotations.ON_Generic&#45;&gt;ordinals.Prelude.Comparable</title>
<path fill="none" stroke="black" d="M1222.93,-373.3C1358.24,-367.95 1549.44,-355.01 1617.39,-324 1638.56,-314.34 1636.67,-301.82 1655.39,-288 1671.42,-276.17 1690.34,-265.03 1707,-256.04"/>
<polygon fill="black" stroke="black" points="1708.79,-259.05 1715.98,-251.28 1705.51,-252.87 1708.79,-259.05"/>
</g>
<!-- ordinals.Schutte.Countable -->
<g id="node10" class="node">
<title>ordinals.Schutte.Countable</title>
<g id="a_node10"><a xlink:href="ordinals.Schutte.Countable.svg" xlink:title="ordinals.Schutte.Countable">
<ellipse fill="white" stroke="black" cx="973.39" cy="-234" rx="106.68" ry="18"/>
<text text-anchor="middle" x="973.39" y="-230.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.Countable</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.Schutte_basics&#45;&gt;ordinals.Schutte.Countable -->
<g id="edge9" class="edge">
<title>ordinals.Schutte.Schutte_basics&#45;&gt;ordinals.Schutte.Countable</title>
<path fill="none" stroke="black" d="M815.17,-289.29C845.83,-278.77 886.35,-264.87 918.7,-253.76"/>
<polygon fill="black" stroke="black" points="920.14,-256.97 928.46,-250.42 917.87,-250.35 920.14,-256.97"/>
</g>
<!-- ordinals.Schutte.Well_Orders -->
<g id="node11" class="node">
<title>ordinals.Schutte.Well_Orders</title>
<g id="a_node11"><a xlink:href="ordinals.Schutte.Well_Orders.svg" xlink:title="ordinals.Schutte.Well_Orders">
<ellipse fill="white" stroke="black" cx="456.39" cy="-162" rx="115.88" ry="18"/>
<text text-anchor="middle" x="456.39" y="-158.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.Well_Orders</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.Schutte_basics&#45;&gt;ordinals.Schutte.Well_Orders -->
<g id="edge10" class="edge">
<title>ordinals.Schutte.Schutte_basics&#45;&gt;ordinals.Schutte.Well_Orders</title>
<path fill="none" stroke="black" d="M733.49,-288.71C676.21,-262.73 564.25,-211.93 501.6,-183.51"/>
<polygon fill="black" stroke="black" points="502.91,-180.26 492.36,-179.32 500.02,-186.64 502.91,-180.26"/>
</g>
<!-- ordinals.Schutte.Lub -->
<g id="node12" class="node">
<title>ordinals.Schutte.Lub</title>
<g id="a_node12"><a xlink:href="ordinals.Schutte.Lub.svg" xlink:title="ordinals.Schutte.Lub">
<ellipse fill="white" stroke="black" cx="764.39" cy="-234" rx="84.49" ry="18"/>
<text text-anchor="middle" x="764.39" y="-230.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.Lub</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.Schutte_basics&#45;&gt;ordinals.Schutte.Lub -->
<g id="edge11" class="edge">
<title>ordinals.Schutte.Schutte_basics&#45;&gt;ordinals.Schutte.Lub</title>
<path fill="none" stroke="black" d="M768.16,-287.7C767.6,-279.98 766.94,-270.71 766.33,-262.11"/>
<polygon fill="black" stroke="black" points="769.82,-261.83 765.61,-252.1 762.83,-262.33 769.82,-261.83"/>
</g>
<!-- ordinals.Prelude.MoreOrders -->
<g id="node13" class="node">
<title>ordinals.Prelude.MoreOrders</title>
<g id="a_node13"><a xlink:href="ordinals.Prelude.MoreOrders.svg" xlink:title="ordinals.Prelude.MoreOrders">
<ellipse fill="white" stroke="black" cx="1678.39" cy="-162" rx="114.28" ry="18"/>
<text text-anchor="middle" x="1678.39" y="-158.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.MoreOrders</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.Comparable&#45;&gt;ordinals.Prelude.MoreOrders -->
<g id="edge12" class="edge">
<title>ordinals.Prelude.Comparable&#45;&gt;ordinals.Prelude.MoreOrders</title>
<path fill="none" stroke="black" d="M1732.2,-216.05C1723.53,-207.5 1712.84,-196.96 1703.28,-187.54"/>
<polygon fill="black" stroke="black" points="1705.49,-184.8 1695.91,-180.28 1700.58,-189.79 1705.49,-184.8"/>
</g>
<!-- ordinals.Prelude.STDPP_compat -->
<g id="node14" class="node">
<title>ordinals.Prelude.STDPP_compat</title>
<g id="a_node14"><a xlink:href="ordinals.Prelude.STDPP_compat.svg" xlink:title="ordinals.Prelude.STDPP_compat">
<ellipse fill="white" stroke="black" cx="1820.39" cy="-18" rx="128.08" ry="18"/>
<text text-anchor="middle" x="1820.39" y="-14.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.STDPP_compat</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.Comparable&#45;&gt;ordinals.Prelude.STDPP_compat -->
<g id="edge13" class="edge">
<title>ordinals.Prelude.Comparable&#45;&gt;ordinals.Prelude.STDPP_compat</title>
<path fill="none" stroke="black" d="M1771.63,-216.3C1782.47,-206.89 1794.6,-194.18 1801.39,-180 1822.04,-136.9 1823.65,-80.14 1822.4,-46.81"/>
<polygon fill="black" stroke="black" points="1825.88,-46.27 1821.89,-36.45 1818.89,-46.61 1825.88,-46.27"/>
</g>
<!-- ordinals.Schutte.CNF -->
<g id="node68" class="node">
<title>ordinals.Schutte.CNF</title>
<g id="a_node68"><a xlink:href="ordinals.Schutte.CNF.svg" xlink:title="ordinals.Schutte.CNF">
<ellipse fill="white" stroke="black" cx="804.39" cy="-738" rx="87.18" ry="18"/>
<text text-anchor="middle" x="804.39" y="-734.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.CNF</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.Critical&#45;&gt;ordinals.Schutte.CNF -->
<g id="edge96" class="edge">
<title>ordinals.Schutte.Critical&#45;&gt;ordinals.Schutte.CNF</title>
<path fill="none" stroke="black" d="M804.39,-791.7C804.39,-783.98 804.39,-774.71 804.39,-766.11"/>
<polygon fill="black" stroke="black" points="807.89,-766.1 804.39,-756.1 800.89,-766.1 807.89,-766.1"/>
</g>
<!-- ordinals.Epsilon0.Epsilon0 -->
<g id="node53" class="node">
<title>ordinals.Epsilon0.Epsilon0</title>
<g id="a_node53"><a xlink:href="ordinals.Epsilon0.Epsilon0.svg" xlink:title="ordinals.Epsilon0.Epsilon0">
<ellipse fill="white" stroke="black" cx="2583.39" cy="-738" rx="106.68" ry="18"/>
<text text-anchor="middle" x="2583.39" y="-734.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.Epsilon0</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.Correctness_E0&#45;&gt;ordinals.Epsilon0.Epsilon0 -->
<g id="edge97" class="edge">
<title>ordinals.Schutte.Correctness_E0&#45;&gt;ordinals.Epsilon0.Epsilon0</title>
<path fill="none" stroke="black" d="M1152.12,-800.36C1190.92,-797.42 1235.12,-794.3 1275.39,-792 1672.4,-769.34 1772.06,-772.16 2169.39,-756 2271.51,-751.85 2387.79,-747.07 2471.07,-743.64"/>
<polygon fill="black" stroke="black" points="2471.46,-747.12 2481.31,-743.21 2471.17,-740.13 2471.46,-747.12"/>
</g>
<!-- ordinals.Schutte.Correctness_E0&#45;&gt;ordinals.Schutte.CNF -->
<g id="edge98" class="edge">
<title>ordinals.Schutte.Correctness_E0&#45;&gt;ordinals.Schutte.CNF</title>
<path fill="none" stroke="black" d="M992.5,-793.64C954.05,-782.47 902.03,-767.36 862.44,-755.86"/>
<polygon fill="black" stroke="black" points="863.23,-752.45 852.65,-753.02 861.28,-759.17 863.23,-752.45"/>
</g>
<!-- ordinals.Prelude.More_Arith -->
<g id="node27" class="node">
<title>ordinals.Prelude.More_Arith</title>
<g id="a_node27"><a xlink:href="ordinals.Prelude.More_Arith.svg" xlink:title="ordinals.Prelude.More_Arith">
<ellipse fill="white" stroke="black" cx="1309.39" cy="-162" rx="113.18" ry="18"/>
<text text-anchor="middle" x="1309.39" y="-158.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.More_Arith</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.Countable&#45;&gt;ordinals.Prelude.More_Arith -->
<g id="edge89" class="edge">
<title>ordinals.Schutte.Countable&#45;&gt;ordinals.Prelude.More_Arith</title>
<path fill="none" stroke="black" d="M1037.78,-219.59C1093.71,-207.93 1174.78,-191.04 1233.78,-178.75"/>
<polygon fill="black" stroke="black" points="1234.71,-182.13 1243.79,-176.67 1233.29,-175.28 1234.71,-182.13"/>
</g>
<!-- ordinals.Schutte.GRelations -->
<g id="node72" class="node">
<title>ordinals.Schutte.GRelations</title>
<g id="a_node72"><a xlink:href="ordinals.Schutte.GRelations.svg" xlink:title="ordinals.Schutte.GRelations">
<ellipse fill="white" stroke="black" cx="863.39" cy="-162" rx="109.68" ry="18"/>
<text text-anchor="middle" x="863.39" y="-158.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.GRelations</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.Countable&#45;&gt;ordinals.Schutte.GRelations -->
<g id="edge90" class="edge">
<title>ordinals.Schutte.Countable&#45;&gt;ordinals.Schutte.GRelations</title>
<path fill="none" stroke="black" d="M947.32,-216.41C932.63,-207.06 914.1,-195.27 898.18,-185.14"/>
<polygon fill="black" stroke="black" points="899.97,-182.13 889.65,-179.71 896.21,-188.03 899.97,-182.13"/>
</g>
<!-- ordinals.Schutte.PartialFun -->
<g id="node71" class="node">
<title>ordinals.Schutte.PartialFun</title>
<g id="a_node71"><a xlink:href="ordinals.Schutte.PartialFun.svg" xlink:title="ordinals.Schutte.PartialFun">
<ellipse fill="white" stroke="black" cx="461.39" cy="-90" rx="106.68" ry="18"/>
<text text-anchor="middle" x="461.39" y="-86.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.PartialFun</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.Well_Orders&#45;&gt;ordinals.Schutte.PartialFun -->
<g id="edge94" class="edge">
<title>ordinals.Schutte.Well_Orders&#45;&gt;ordinals.Schutte.PartialFun</title>
<path fill="none" stroke="black" d="M457.63,-143.7C458.18,-135.98 458.84,-126.71 459.45,-118.11"/>
<polygon fill="black" stroke="black" points="462.95,-118.33 460.17,-108.1 455.97,-117.83 462.95,-118.33"/>
</g>
<!-- ordinals.OrdinalNotations.ON_mult -->
<g id="node15" class="node">
<title>ordinals.OrdinalNotations.ON_mult</title>
<g id="a_node15"><a xlink:href="ordinals.OrdinalNotations.ON_mult.svg" xlink:title="ordinals.OrdinalNotations.ON_mult">
<ellipse fill="white" stroke="black" cx="2165.39" cy="-882" rx="138.38" ry="18"/>
<text text-anchor="middle" x="2165.39" y="-878.3" font-family="Times,serif" font-size="14.00">ordinals.OrdinalNotations.ON_mult</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_mult&#45;&gt;ordinals.OrdinalNotations.ON_Generic -->
<g id="edge14" class="edge">
<title>ordinals.OrdinalNotations.ON_mult&#45;&gt;ordinals.OrdinalNotations.ON_Generic</title>
<path fill="none" stroke="black" d="M2036.61,-875.29C1793.49,-864.25 1289.82,-840 1275.39,-828 1244.07,-801.94 1253.39,-779.75 1253.39,-739 1253.39,-739 1253.39,-739 1253.39,-521 1253.39,-480.55 1261.27,-462.23 1234.39,-432 1219.41,-415.15 1198.86,-403.65 1177.59,-395.81"/>
<polygon fill="black" stroke="black" points="1178.72,-392.49 1168.12,-392.56 1176.44,-399.11 1178.72,-392.49"/>
</g>
<!-- ordinals.Prelude.Simple_LexProd -->
<g id="node16" class="node">
<title>ordinals.Prelude.Simple_LexProd</title>
<g id="a_node16"><a xlink:href="ordinals.Prelude.Simple_LexProd.svg" xlink:title="ordinals.Prelude.Simple_LexProd">
<ellipse fill="white" stroke="black" cx="2213.39" cy="-810" rx="130.78" ry="18"/>
<text text-anchor="middle" x="2213.39" y="-806.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.Simple_LexProd</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_mult&#45;&gt;ordinals.Prelude.Simple_LexProd -->
<g id="edge15" class="edge">
<title>ordinals.OrdinalNotations.ON_mult&#45;&gt;ordinals.Prelude.Simple_LexProd</title>
<path fill="none" stroke="black" d="M2177.01,-864.05C2182.65,-855.84 2189.53,-845.79 2195.8,-836.66"/>
<polygon fill="black" stroke="black" points="2198.78,-838.5 2201.55,-828.28 2193,-834.54 2198.78,-838.5"/>
</g>
<!-- ordinals.OrdinalNotations.ON_Omega_plus_omega -->
<g id="node17" class="node">
<title>ordinals.OrdinalNotations.ON_Omega_plus_omega</title>
<g id="a_node17"><a xlink:href="ordinals.OrdinalNotations.ON_Omega_plus_omega.svg" xlink:title="ordinals.OrdinalNotations.ON_Omega_plus_omega">
<ellipse fill="white" stroke="black" cx="1322.39" cy="-1026" rx="194.97" ry="18"/>
<text text-anchor="middle" x="1322.39" y="-1022.3" font-family="Times,serif" font-size="14.00">ordinals.OrdinalNotations.ON_Omega_plus_omega</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_Omega_plus_omega&#45;&gt;ordinals.OrdinalNotations.ON_Omega -->
<g id="edge16" class="edge">
<title>ordinals.OrdinalNotations.ON_Omega_plus_omega&#45;&gt;ordinals.OrdinalNotations.ON_Omega</title>
<path fill="none" stroke="black" d="M1234.95,-1009.81C1168.67,-998.3 1077.84,-982.52 1010.65,-970.85"/>
<polygon fill="black" stroke="black" points="1010.94,-967.35 1000.49,-969.09 1009.75,-974.25 1010.94,-967.35"/>
</g>
<!-- ordinals.OrdinalNotations.ON_Omega_plus_omega&#45;&gt;ordinals.Prelude.Simple_LexProd -->
<g id="edge17" class="edge">
<title>ordinals.OrdinalNotations.ON_Omega_plus_omega&#45;&gt;ordinals.Prelude.Simple_LexProd</title>
<path fill="none" stroke="black" d="M1506.04,-1019.91C1685.91,-1013.37 1938.29,-999.42 1975.39,-972 2016.94,-941.29 1979.84,-898.4 2018.39,-864 2040.97,-843.85 2070.46,-831.26 2099.66,-823.43"/>
<polygon fill="black" stroke="black" points="2100.69,-826.78 2109.54,-820.95 2098.99,-819.99 2100.69,-826.78"/>
</g>
<!-- ordinals.OrdinalNotations.ON_plus -->
<g id="node18" class="node">
<title>ordinals.OrdinalNotations.ON_plus</title>
<g id="a_node18"><a xlink:href="ordinals.OrdinalNotations.ON_plus.svg" xlink:title="ordinals.OrdinalNotations.ON_plus">
<ellipse fill="white" stroke="black" cx="617.39" cy="-954" rx="136.48" ry="18"/>
<text text-anchor="middle" x="617.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.OrdinalNotations.ON_plus</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_Omega_plus_omega&#45;&gt;ordinals.OrdinalNotations.ON_plus -->
<g id="edge18" class="edge">
<title>ordinals.OrdinalNotations.ON_Omega_plus_omega&#45;&gt;ordinals.OrdinalNotations.ON_plus</title>
<path fill="none" stroke="black" d="M1186.8,-1013.02C1073.33,-1002.79 907.21,-987.34 762.39,-972 750.16,-970.7 737.36,-969.29 724.63,-967.85"/>
<polygon fill="black" stroke="black" points="724.8,-964.34 714.46,-966.68 724,-971.3 724.8,-964.34"/>
</g>
<!-- ordinals.Prelude.Compat815 -->
<g id="node19" class="node">
<title>ordinals.Prelude.Compat815</title>
<g id="a_node19"><a xlink:href="ordinals.Prelude.Compat815.svg" xlink:title="ordinals.Prelude.Compat815">
<ellipse fill="white" stroke="black" cx="2910.39" cy="-666" rx="112.38" ry="18"/>
<text text-anchor="middle" x="2910.39" y="-662.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.Compat815</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_Omega_plus_omega&#45;&gt;ordinals.Prelude.Compat815 -->
<g id="edge19" class="edge">
<title>ordinals.OrdinalNotations.ON_Omega_plus_omega&#45;&gt;ordinals.Prelude.Compat815</title>
<path fill="none" stroke="black" d="M1386.84,-1008.97C1427.75,-998.68 1481.76,-984.87 1529.39,-972 1755.11,-911 1832.23,-943.74 2035.39,-828 2055.61,-816.48 2052.77,-802.78 2073.39,-792 2142.99,-755.61 2341.81,-732.23 2419.39,-720 2550.19,-699.38 2701.88,-684.35 2801.64,-675.67"/>
<polygon fill="black" stroke="black" points="2802.08,-679.15 2811.74,-674.8 2801.47,-672.17 2802.08,-679.15"/>
</g>
<!-- ordinals.OrdinalNotations.ON_plus&#45;&gt;ordinals.OrdinalNotations.ON_Generic -->
<g id="edge20" class="edge">
<title>ordinals.OrdinalNotations.ON_plus&#45;&gt;ordinals.OrdinalNotations.ON_Generic</title>
<path fill="none" stroke="black" d="M533.89,-939.66C420.13,-919.08 230.39,-875.14 230.39,-811 230.39,-811 230.39,-811 230.39,-521 230.39,-478.5 230.94,-456.89 265.39,-432 324.39,-389.39 846.85,-401.87 919.39,-396 933.78,-394.84 948.88,-393.44 963.82,-391.96"/>
<polygon fill="black" stroke="black" points="964.52,-395.41 974.12,-390.93 963.82,-388.44 964.52,-395.41"/>
</g>
<!-- ordinals.OrdinalNotations.ON_O -->
<g id="node20" class="node">
<title>ordinals.OrdinalNotations.ON_O</title>
<g id="a_node20"><a xlink:href="ordinals.OrdinalNotations.ON_O.svg" xlink:title="ordinals.OrdinalNotations.ON_O">
<ellipse fill="white" stroke="black" cx="424.39" cy="-450" rx="128.08" ry="18"/>
<text text-anchor="middle" x="424.39" y="-446.3" font-family="Times,serif" font-size="14.00">ordinals.OrdinalNotations.ON_O</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_O&#45;&gt;ordinals.OrdinalNotations.ON_Generic -->
<g id="edge21" class="edge">
<title>ordinals.OrdinalNotations.ON_O&#45;&gt;ordinals.OrdinalNotations.ON_Generic</title>
<path fill="none" stroke="black" d="M515.74,-437.37C530.97,-435.51 546.62,-433.66 561.39,-432 720.31,-414.15 760.33,-412.5 919.39,-396 932.83,-394.61 946.91,-393.13 960.9,-391.65"/>
<polygon fill="black" stroke="black" points="961.49,-395.1 971.06,-390.57 960.75,-388.14 961.49,-395.1"/>
</g>
<!-- ordinals.OrdinalNotations.ON_Omega2 -->
<g id="node21" class="node">
<title>ordinals.OrdinalNotations.ON_Omega2</title>
<g id="a_node21"><a xlink:href="ordinals.OrdinalNotations.ON_Omega2.svg" xlink:title="ordinals.OrdinalNotations.ON_Omega2">
<ellipse fill="white" stroke="black" cx="1933.39" cy="-1026" rx="152.17" ry="18"/>
<text text-anchor="middle" x="1933.39" y="-1022.3" font-family="Times,serif" font-size="14.00">ordinals.OrdinalNotations.ON_Omega2</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.ON_Omega2&#45;&gt;ordinals.OrdinalNotations.ON_Omega -->
<g id="edge22" class="edge">
<title>ordinals.OrdinalNotations.ON_Omega2&#45;&gt;ordinals.OrdinalNotations.ON_Omega</title>
<path fill="none" stroke="black" d="M1795.04,-1018.45C1625.33,-1009.96 1328.93,-993.63 1075.39,-972 1061.5,-970.81 1046.92,-969.42 1032.49,-967.96"/>
<polygon fill="black" stroke="black" points="1032.84,-964.47 1022.54,-966.93 1032.13,-971.44 1032.84,-964.47"/>
</g>
<!-- ordinals.OrdinalNotations.ON_Omega2&#45;&gt;ordinals.OrdinalNotations.ON_mult -->
<g id="edge23" class="edge">
<title>ordinals.OrdinalNotations.ON_Omega2&#45;&gt;ordinals.OrdinalNotations.ON_mult</title>
<path fill="none" stroke="black" d="M1959.59,-1008.19C1975.34,-997.96 1995.69,-984.48 2013.39,-972 2035.18,-956.63 2038.76,-950.11 2061.39,-936 2080.08,-924.35 2101.63,-913.05 2120.26,-903.89"/>
<polygon fill="black" stroke="black" points="2121.95,-906.96 2129.42,-899.44 2118.89,-900.66 2121.95,-906.96"/>
</g>
<!-- ordinals.OrdinalNotations.ON_Omega2&#45;&gt;ordinals.Prelude.Compat815 -->
<g id="edge24" class="edge">
<title>ordinals.OrdinalNotations.ON_Omega2&#45;&gt;ordinals.Prelude.Compat815</title>
<path fill="none" stroke="black" d="M1975.75,-1008.66C1998.74,-999.13 2027.31,-986.2 2051.39,-972 2074.36,-958.45 2074.89,-946.52 2099.39,-936 2187.62,-898.13 2228.77,-947.18 2312.39,-900 2404.34,-848.12 2374.21,-769.64 2467.39,-720 2521.93,-690.95 2680.58,-677.52 2792.37,-671.53"/>
<polygon fill="black" stroke="black" points="2792.56,-675.02 2802.36,-671.01 2792.19,-668.03 2792.56,-675.02"/>
</g>
<!-- ordinals.OrdinalNotations.Example_3PlusOmega -->
<g id="node22" class="node">
<title>ordinals.OrdinalNotations.Example_3PlusOmega</title>
<g id="a_node22"><a xlink:href="ordinals.OrdinalNotations.Example_3PlusOmega.svg" xlink:title="ordinals.OrdinalNotations.Example_3PlusOmega">
<ellipse fill="white" stroke="black" cx="768.39" cy="-1026" rx="186.57" ry="18"/>
<text text-anchor="middle" x="768.39" y="-1022.3" font-family="Times,serif" font-size="14.00">ordinals.OrdinalNotations.Example_3PlusOmega</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.Example_3PlusOmega&#45;&gt;ordinals.OrdinalNotations.ON_Omega -->
<g id="edge25" class="edge">
<title>ordinals.OrdinalNotations.Example_3PlusOmega&#45;&gt;ordinals.OrdinalNotations.ON_Omega</title>
<path fill="none" stroke="black" d="M804.56,-1008.23C825.55,-998.5 852.18,-986.16 874.5,-975.81"/>
<polygon fill="black" stroke="black" points="876.18,-978.89 883.78,-971.51 873.23,-972.54 876.18,-978.89"/>
</g>
<!-- ordinals.OrdinalNotations.Example_3PlusOmega&#45;&gt;ordinals.OrdinalNotations.ON_plus -->
<g id="edge26" class="edge">
<title>ordinals.OrdinalNotations.Example_3PlusOmega&#45;&gt;ordinals.OrdinalNotations.ON_plus</title>
<path fill="none" stroke="black" d="M732.22,-1008.23C711.15,-998.47 684.41,-986.07 662.04,-975.7"/>
<polygon fill="black" stroke="black" points="663.29,-972.42 652.74,-971.39 660.34,-978.77 663.29,-972.42"/>
</g>
<!-- ordinals.OrdinalNotations.OmegaOmega -->
<g id="node23" class="node">
<title>ordinals.OrdinalNotations.OmegaOmega</title>
<g id="a_node23"><a xlink:href="ordinals.OrdinalNotations.OmegaOmega.svg" xlink:title="ordinals.OrdinalNotations.OmegaOmega">
<ellipse fill="white" stroke="black" cx="2260.39" cy="-522" rx="156.77" ry="18"/>
<text text-anchor="middle" x="2260.39" y="-518.3" font-family="Times,serif" font-size="14.00">ordinals.OrdinalNotations.OmegaOmega</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.E0 -->
<g id="node24" class="node">
<title>ordinals.Epsilon0.E0</title>
<g id="a_node24"><a xlink:href="ordinals.Epsilon0.E0.svg" xlink:title="ordinals.Epsilon0.E0">
<ellipse fill="white" stroke="black" cx="2223.39" cy="-450" rx="85.29" ry="18"/>
<text text-anchor="middle" x="2223.39" y="-446.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.E0</text>
</a>
</g>
</g>
<!-- ordinals.OrdinalNotations.OmegaOmega&#45;&gt;ordinals.Epsilon0.E0 -->
<g id="edge27" class="edge">
<title>ordinals.OrdinalNotations.OmegaOmega&#45;&gt;ordinals.Epsilon0.E0</title>
<path fill="none" stroke="black" d="M2251.24,-503.7C2246.99,-495.64 2241.84,-485.89 2237.12,-476.98"/>
<polygon fill="black" stroke="black" points="2240.2,-475.31 2232.43,-468.1 2234.01,-478.58 2240.2,-475.31"/>
</g>
<!-- ordinals.Epsilon0.E0&#45;&gt;ordinals.OrdinalNotations.ON_Generic -->
<g id="edge33" class="edge">
<title>ordinals.Epsilon0.E0&#45;&gt;ordinals.OrdinalNotations.ON_Generic</title>
<path fill="none" stroke="black" d="M2142.88,-444.08C1950.3,-432.3 1461.13,-402.4 1218.82,-387.59"/>
<polygon fill="black" stroke="black" points="1218.73,-384.07 1208.53,-386.96 1218.3,-391.06 1218.73,-384.07"/>
</g>
<!-- ordinals.Epsilon0.Hessenberg -->
<g id="node29" class="node">
<title>ordinals.Epsilon0.Hessenberg</title>
<g id="a_node29"><a xlink:href="ordinals.Epsilon0.Hessenberg.svg" xlink:title="ordinals.Epsilon0.Hessenberg">
<ellipse fill="white" stroke="black" cx="2223.39" cy="-378" rx="116.18" ry="18"/>
<text text-anchor="middle" x="2223.39" y="-374.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.Hessenberg</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.E0&#45;&gt;ordinals.Epsilon0.Hessenberg -->
<g id="edge34" class="edge">
<title>ordinals.Epsilon0.E0&#45;&gt;ordinals.Epsilon0.Hessenberg</title>
<path fill="none" stroke="black" d="M2223.39,-431.7C2223.39,-423.98 2223.39,-414.71 2223.39,-406.11"/>
<polygon fill="black" stroke="black" points="2226.89,-406.1 2223.39,-396.1 2219.89,-406.1 2226.89,-406.1"/>
</g>
<!-- ordinals.Epsilon0.T1 -->
<g id="node25" class="node">
<title>ordinals.Epsilon0.T1</title>
<g id="a_node25"><a xlink:href="ordinals.Epsilon0.T1.svg" xlink:title="ordinals.Epsilon0.T1">
<ellipse fill="white" stroke="black" cx="1749.39" cy="-306" rx="85.29" ry="18"/>
<text text-anchor="middle" x="1749.39" y="-302.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.T1</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.T1&#45;&gt;ordinals.Prelude.OrdNotations -->
<g id="edge28" class="edge">
<title>ordinals.Epsilon0.T1&#45;&gt;ordinals.Prelude.OrdNotations</title>
<path fill="none" stroke="black" d="M1679.28,-295.7C1586.34,-283.38 1421.95,-261.59 1317.49,-247.74"/>
<polygon fill="black" stroke="black" points="1317.95,-244.27 1307.58,-246.43 1317.03,-251.21 1317.95,-244.27"/>
</g>
<!-- ordinals.Epsilon0.T1&#45;&gt;ordinals.Prelude.Comparable -->
<g id="edge29" class="edge">
<title>ordinals.Epsilon0.T1&#45;&gt;ordinals.Prelude.Comparable</title>
<path fill="none" stroke="black" d="M1749.39,-287.7C1749.39,-279.98 1749.39,-270.71 1749.39,-262.11"/>
<polygon fill="black" stroke="black" points="1752.89,-262.1 1749.39,-252.1 1745.89,-262.1 1752.89,-262.1"/>
</g>
<!-- ordinals.Prelude.DecPreOrder -->
<g id="node26" class="node">
<title>ordinals.Prelude.DecPreOrder</title>
<g id="a_node26"><a xlink:href="ordinals.Prelude.DecPreOrder.svg" xlink:title="ordinals.Prelude.DecPreOrder">
<ellipse fill="white" stroke="black" cx="2223.39" cy="-90" rx="116.98" ry="18"/>
<text text-anchor="middle" x="2223.39" y="-86.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.DecPreOrder</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.T1&#45;&gt;ordinals.Prelude.DecPreOrder -->
<g id="edge30" class="edge">
<title>ordinals.Epsilon0.T1&#45;&gt;ordinals.Prelude.DecPreOrder</title>
<path fill="none" stroke="black" d="M1787.59,-289.87C1812.14,-279.82 1844.53,-265.95 1872.39,-252 1958.56,-208.86 1972.32,-183.11 2060.39,-144 2091.8,-130.05 2128.05,-117.9 2158.38,-108.77"/>
<polygon fill="black" stroke="black" points="2159.41,-112.11 2168,-105.91 2157.42,-105.4 2159.41,-112.11"/>
</g>
<!-- ordinals.Epsilon0.T1&#45;&gt;ordinals.Prelude.More_Arith -->
<g id="edge31" class="edge">
<title>ordinals.Epsilon0.T1&#45;&gt;ordinals.Prelude.More_Arith</title>
<path fill="none" stroke="black" d="M1706.4,-290.43C1681.96,-281.2 1651.35,-267.99 1626.39,-252 1606.25,-239.1 1607.81,-226.64 1586.39,-216 1535.82,-190.89 1474.6,-177.64 1422.59,-170.67"/>
<polygon fill="black" stroke="black" points="1423.02,-167.2 1412.66,-169.4 1422.13,-174.14 1423.02,-167.2"/>
</g>
<!-- ordinals.Prelude.Restriction -->
<g id="node28" class="node">
<title>ordinals.Prelude.Restriction</title>
<g id="a_node28"><a xlink:href="ordinals.Prelude.Restriction.svg" xlink:title="ordinals.Prelude.Restriction">
<ellipse fill="white" stroke="black" cx="1468.39" cy="-234" rx="109.38" ry="18"/>
<text text-anchor="middle" x="1468.39" y="-230.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.Restriction</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.T1&#45;&gt;ordinals.Prelude.Restriction -->
<g id="edge32" class="edge">
<title>ordinals.Epsilon0.T1&#45;&gt;ordinals.Prelude.Restriction</title>
<path fill="none" stroke="black" d="M1696.54,-291.83C1651.02,-280.5 1585.08,-264.07 1535.78,-251.79"/>
<polygon fill="black" stroke="black" points="1536.39,-248.33 1525.84,-249.31 1534.7,-255.13 1536.39,-248.33"/>
</g>
<!-- ordinals.Prelude.DecPreOrder&#45;&gt;ordinals.Prelude.STDPP_compat -->
<g id="edge36" class="edge">
<title>ordinals.Prelude.DecPreOrder&#45;&gt;ordinals.Prelude.STDPP_compat</title>
<path fill="none" stroke="black" d="M2149,-76.08C2080.69,-64.21 1979.43,-46.62 1907.39,-34.11"/>
<polygon fill="black" stroke="black" points="1907.88,-30.64 1897.43,-32.38 1906.68,-37.54 1907.88,-30.64"/>
</g>
<!-- ordinals.Epsilon0.Hessenberg&#45;&gt;ordinals.Epsilon0.T1 -->
<g id="edge43" class="edge">
<title>ordinals.Epsilon0.Hessenberg&#45;&gt;ordinals.Epsilon0.T1</title>
<path fill="none" stroke="black" d="M2142.45,-365.05C2054.19,-352.01 1913.96,-331.3 1827.03,-318.46"/>
<polygon fill="black" stroke="black" points="1827.36,-314.98 1816.96,-316.98 1826.34,-321.9 1827.36,-314.98"/>
</g>
<!-- ordinals.Prelude.Merge_Sort -->
<g id="node34" class="node">
<title>ordinals.Prelude.Merge_Sort</title>
<g id="a_node34"><a xlink:href="ordinals.Prelude.Merge_Sort.svg" xlink:title="ordinals.Prelude.Merge_Sort">
<ellipse fill="white" stroke="black" cx="2223.39" cy="-306" rx="113.18" ry="18"/>
<text text-anchor="middle" x="2223.39" y="-302.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.Merge_Sort</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.Hessenberg&#45;&gt;ordinals.Prelude.Merge_Sort -->
<g id="edge44" class="edge">
<title>ordinals.Epsilon0.Hessenberg&#45;&gt;ordinals.Prelude.Merge_Sort</title>
<path fill="none" stroke="black" d="M2223.39,-359.7C2223.39,-351.98 2223.39,-342.71 2223.39,-334.11"/>
<polygon fill="black" stroke="black" points="2226.89,-334.1 2223.39,-324.1 2219.89,-334.1 2226.89,-334.1"/>
</g>
<!-- ordinals.Prelude.First_toggle -->
<g id="node30" class="node">
<title>ordinals.Prelude.First_toggle</title>
<g id="a_node30"><a xlink:href="ordinals.Prelude.First_toggle.svg" xlink:title="ordinals.Prelude.First_toggle">
<ellipse fill="white" stroke="black" cx="2714.39" cy="-378" rx="113.18" ry="18"/>
<text text-anchor="middle" x="2714.39" y="-374.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.First_toggle</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.First_toggle&#45;&gt;ordinals.Prelude.DecPreOrder -->
<g id="edge35" class="edge">
<title>ordinals.Prelude.First_toggle&#45;&gt;ordinals.Prelude.DecPreOrder</title>
<path fill="none" stroke="black" d="M2704.85,-359.76C2679.48,-315.7 2605.68,-198.65 2509.39,-144 2460.29,-116.13 2399.54,-102.5 2346.67,-95.98"/>
<polygon fill="black" stroke="black" points="2346.88,-92.48 2336.55,-94.81 2346.08,-99.43 2346.88,-92.48"/>
</g>
<!-- ordinals.Prelude.Exp2 -->
<g id="node31" class="node">
<title>ordinals.Prelude.Exp2</title>
<g id="a_node31"><a xlink:href="ordinals.Prelude.Exp2.svg" xlink:title="ordinals.Prelude.Exp2">
<ellipse fill="white" stroke="black" cx="3859.39" cy="-522" rx="89.08" ry="18"/>
<text text-anchor="middle" x="3859.39" y="-518.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.Exp2</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.Sort_spec -->
<g id="node32" class="node">
<title>ordinals.Prelude.Sort_spec</title>
<g id="a_node32"><a xlink:href="ordinals.Prelude.Sort_spec.svg" xlink:title="ordinals.Prelude.Sort_spec">
<ellipse fill="white" stroke="black" cx="2223.39" cy="-234" rx="105.08" ry="18"/>
<text text-anchor="middle" x="2223.39" y="-230.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.Sort_spec</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.DecPreOrder_Instances -->
<g id="node33" class="node">
<title>ordinals.Prelude.DecPreOrder_Instances</title>
<g id="a_node33"><a xlink:href="ordinals.Prelude.DecPreOrder_Instances.svg" xlink:title="ordinals.Prelude.DecPreOrder_Instances">
<ellipse fill="white" stroke="black" cx="2223.39" cy="-162" rx="154.07" ry="18"/>
<text text-anchor="middle" x="2223.39" y="-158.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.DecPreOrder_Instances</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.Sort_spec&#45;&gt;ordinals.Prelude.DecPreOrder_Instances -->
<g id="edge37" class="edge">
<title>ordinals.Prelude.Sort_spec&#45;&gt;ordinals.Prelude.DecPreOrder_Instances</title>
<path fill="none" stroke="black" d="M2223.39,-215.7C2223.39,-207.98 2223.39,-198.71 2223.39,-190.11"/>
<polygon fill="black" stroke="black" points="2226.89,-190.1 2223.39,-180.1 2219.89,-190.1 2226.89,-190.1"/>
</g>
<!-- ordinals.Prelude.DecPreOrder_Instances&#45;&gt;ordinals.Prelude.DecPreOrder -->
<g id="edge38" class="edge">
<title>ordinals.Prelude.DecPreOrder_Instances&#45;&gt;ordinals.Prelude.DecPreOrder</title>
<path fill="none" stroke="black" d="M2223.39,-143.7C2223.39,-135.98 2223.39,-126.71 2223.39,-118.11"/>
<polygon fill="black" stroke="black" points="2226.89,-118.1 2223.39,-108.1 2219.89,-118.1 2226.89,-118.1"/>
</g>
<!-- ordinals.Prelude.Merge_Sort&#45;&gt;ordinals.Prelude.Sort_spec -->
<g id="edge39" class="edge">
<title>ordinals.Prelude.Merge_Sort&#45;&gt;ordinals.Prelude.Sort_spec</title>
<path fill="none" stroke="black" d="M2223.39,-287.7C2223.39,-279.98 2223.39,-270.71 2223.39,-262.11"/>
<polygon fill="black" stroke="black" points="2226.89,-262.1 2223.39,-252.1 2219.89,-262.1 2226.89,-262.1"/>
</g>
<!-- ordinals.Prelude.WfVariant -->
<g id="node35" class="node">
<title>ordinals.Prelude.WfVariant</title>
<g id="a_node35"><a xlink:href="ordinals.Prelude.WfVariant.svg" xlink:title="ordinals.Prelude.WfVariant">
<ellipse fill="white" stroke="black" cx="6115.39" cy="-1962" rx="107.78" ry="18"/>
<text text-anchor="middle" x="6115.39" y="-1958.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.WfVariant</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.Fuel -->
<g id="node36" class="node">
<title>ordinals.Prelude.Fuel</title>
<g id="a_node36"><a xlink:href="ordinals.Prelude.Fuel.svg" xlink:title="ordinals.Prelude.Fuel">
<ellipse fill="white" stroke="black" cx="2413.39" cy="-450" rx="86.38" ry="18"/>
<text text-anchor="middle" x="2413.39" y="-446.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.Fuel</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.Iterates -->
<g id="node37" class="node">
<title>ordinals.Prelude.Iterates</title>
<g id="a_node37"><a xlink:href="ordinals.Prelude.Iterates.svg" xlink:title="ordinals.Prelude.Iterates">
<ellipse fill="white" stroke="black" cx="3859.39" cy="-594" rx="96.68" ry="18"/>
<text text-anchor="middle" x="3859.39" y="-590.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.Iterates</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.Iterates&#45;&gt;ordinals.Prelude.Exp2 -->
<g id="edge40" class="edge">
<title>ordinals.Prelude.Iterates&#45;&gt;ordinals.Prelude.Exp2</title>
<path fill="none" stroke="black" d="M3859.39,-575.7C3859.39,-567.98 3859.39,-558.71 3859.39,-550.11"/>
<polygon fill="black" stroke="black" points="3862.89,-550.1 3859.39,-540.1 3855.89,-550.1 3862.89,-550.1"/>
</g>
<!-- ordinals.Prelude.MoreLibHyps -->
<g id="node38" class="node">
<title>ordinals.Prelude.MoreLibHyps</title>
<g id="a_node38"><a xlink:href="ordinals.Prelude.MoreLibHyps.svg" xlink:title="ordinals.Prelude.MoreLibHyps">
<ellipse fill="white" stroke="black" cx="3612.39" cy="-522" rx="120.78" ry="18"/>
<text text-anchor="middle" x="3612.39" y="-518.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.MoreLibHyps</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.Iterates&#45;&gt;ordinals.Prelude.MoreLibHyps -->
<g id="edge41" class="edge">
<title>ordinals.Prelude.Iterates&#45;&gt;ordinals.Prelude.MoreLibHyps</title>
<path fill="none" stroke="black" d="M3808.51,-578.58C3770.07,-567.69 3717.08,-552.67 3675.87,-540.99"/>
<polygon fill="black" stroke="black" points="3676.77,-537.61 3666.2,-538.25 3674.86,-544.34 3676.77,-537.61"/>
</g>
<!-- ordinals.Prelude.MoreLists -->
<g id="node39" class="node">
<title>ordinals.Prelude.MoreLists</title>
<g id="a_node39"><a xlink:href="ordinals.Prelude.MoreLists.svg" xlink:title="ordinals.Prelude.MoreLists">
<ellipse fill="white" stroke="black" cx="2935.39" cy="-522" rx="107.48" ry="18"/>
<text text-anchor="middle" x="2935.39" y="-518.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.MoreLists</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.MoreVectors -->
<g id="node40" class="node">
<title>ordinals.Prelude.MoreVectors</title>
<g id="a_node40"><a xlink:href="ordinals.Prelude.MoreVectors.svg" xlink:title="ordinals.Prelude.MoreVectors">
<ellipse fill="white" stroke="black" cx="3981.39" cy="-882" rx="116.18" ry="18"/>
<text text-anchor="middle" x="3981.39" y="-878.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.MoreVectors</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.LibHyps_Experiments -->
<g id="node41" class="node">
<title>ordinals.Prelude.LibHyps_Experiments</title>
<g id="a_node41"><a xlink:href="ordinals.Prelude.LibHyps_Experiments.svg" xlink:title="ordinals.Prelude.LibHyps_Experiments">
<ellipse fill="white" stroke="black" cx="3593.39" cy="-594" rx="150.57" ry="18"/>
<text text-anchor="middle" x="3593.39" y="-590.3" font-family="Times,serif" font-size="14.00">ordinals.Prelude.LibHyps_Experiments</text>
</a>
</g>
</g>
<!-- ordinals.Prelude.LibHyps_Experiments&#45;&gt;ordinals.Prelude.MoreLibHyps -->
<g id="edge42" class="edge">
<title>ordinals.Prelude.LibHyps_Experiments&#45;&gt;ordinals.Prelude.MoreLibHyps</title>
<path fill="none" stroke="black" d="M3598.09,-575.7C3600.2,-567.9 3602.75,-558.51 3605.11,-549.83"/>
<polygon fill="black" stroke="black" points="3608.51,-550.67 3607.75,-540.1 3601.75,-548.84 3608.51,-550.67"/>
</g>
<!-- ordinals.Epsilon0.Large_Sets -->
<g id="node42" class="node">
<title>ordinals.Epsilon0.Large_Sets</title>
<g id="a_node42"><a xlink:href="ordinals.Epsilon0.Large_Sets.svg" xlink:title="ordinals.Epsilon0.Large_Sets">
<ellipse fill="white" stroke="black" cx="3435.39" cy="-666" rx="114.28" ry="18"/>
<text text-anchor="middle" x="3435.39" y="-662.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.Large_Sets</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.Large_Sets&#45;&gt;ordinals.Prelude.Iterates -->
<g id="edge45" class="edge">
<title>ordinals.Epsilon0.Large_Sets&#45;&gt;ordinals.Prelude.Iterates</title>
<path fill="none" stroke="black" d="M3511.19,-652.49C3586.76,-640.01 3702.37,-620.92 3779.39,-608.21"/>
<polygon fill="black" stroke="black" points="3780.22,-611.62 3789.52,-606.54 3779.08,-604.71 3780.22,-611.62"/>
</g>
<!-- ordinals.Epsilon0.Paths -->
<g id="node43" class="node">
<title>ordinals.Epsilon0.Paths</title>
<g id="a_node43"><a xlink:href="ordinals.Epsilon0.Paths.svg" xlink:title="ordinals.Epsilon0.Paths">
<ellipse fill="white" stroke="black" cx="2867.39" cy="-594" rx="94.48" ry="18"/>
<text text-anchor="middle" x="2867.39" y="-590.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.Paths</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.Large_Sets&#45;&gt;ordinals.Epsilon0.Paths -->
<g id="edge46" class="edge">
<title>ordinals.Epsilon0.Large_Sets&#45;&gt;ordinals.Epsilon0.Paths</title>
<path fill="none" stroke="black" d="M3351.41,-653.7C3336.74,-651.77 3321.62,-649.8 3307.39,-648 3185.57,-632.57 3044.63,-615.78 2955.75,-605.32"/>
<polygon fill="black" stroke="black" points="2956.06,-601.84 2945.72,-604.14 2955.24,-608.79 2956.06,-601.84"/>
</g>
<!-- ordinals.Epsilon0.Paths&#45;&gt;ordinals.Prelude.First_toggle -->
<g id="edge49" class="edge">
<title>ordinals.Epsilon0.Paths&#45;&gt;ordinals.Prelude.First_toggle</title>
<path fill="none" stroke="black" d="M2850.67,-575.94C2841.09,-565.83 2829.09,-552.58 2819.39,-540 2784.34,-494.54 2748.98,-437.48 2729.56,-404.94"/>
<polygon fill="black" stroke="black" points="2732.4,-402.86 2724.29,-396.05 2726.38,-406.43 2732.4,-402.86"/>
</g>
<!-- ordinals.Epsilon0.Paths&#45;&gt;ordinals.Prelude.MoreLists -->
<g id="edge50" class="edge">
<title>ordinals.Epsilon0.Paths&#45;&gt;ordinals.Prelude.MoreLists</title>
<path fill="none" stroke="black" d="M2883.85,-576.05C2892.16,-567.5 2902.4,-556.96 2911.56,-547.54"/>
<polygon fill="black" stroke="black" points="2914.15,-549.89 2918.61,-540.28 2909.13,-545.01 2914.15,-549.89"/>
</g>
<!-- ordinals.Epsilon0.Canon -->
<g id="node44" class="node">
<title>ordinals.Epsilon0.Canon</title>
<g id="a_node44"><a xlink:href="ordinals.Epsilon0.Canon.svg" xlink:title="ordinals.Epsilon0.Canon">
<ellipse fill="white" stroke="black" cx="2674.39" cy="-522" rx="98.28" ry="18"/>
<text text-anchor="middle" x="2674.39" y="-518.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.Canon</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.Paths&#45;&gt;ordinals.Epsilon0.Canon -->
<g id="edge51" class="edge">
<title>ordinals.Epsilon0.Paths&#45;&gt;ordinals.Epsilon0.Canon</title>
<path fill="none" stroke="black" d="M2825.51,-577.81C2796.4,-567.25 2757.4,-553.11 2726.31,-541.83"/>
<polygon fill="black" stroke="black" points="2727.11,-538.4 2716.52,-538.28 2724.73,-544.98 2727.11,-538.4"/>
</g>
<!-- ordinals.Epsilon0.Canon&#45;&gt;ordinals.Epsilon0.E0 -->
<g id="edge47" class="edge">
<title>ordinals.Epsilon0.Canon&#45;&gt;ordinals.Epsilon0.E0</title>
<path fill="none" stroke="black" d="M2603.33,-509.57C2591.34,-507.68 2579.01,-505.76 2567.39,-504 2456.84,-487.23 2428.77,-485.85 2318.39,-468 2310.97,-466.8 2303.24,-465.5 2295.53,-464.17"/>
<polygon fill="black" stroke="black" points="2295.88,-460.68 2285.43,-462.41 2294.68,-467.57 2295.88,-460.68"/>
</g>
<!-- ordinals.Epsilon0.Canon&#45;&gt;ordinals.Prelude.Fuel -->
<g id="edge48" class="edge">
<title>ordinals.Epsilon0.Canon&#45;&gt;ordinals.Prelude.Fuel</title>
<path fill="none" stroke="black" d="M2621.26,-506.75C2578.58,-495.3 2518.62,-479.22 2474.06,-467.27"/>
<polygon fill="black" stroke="black" points="2474.8,-463.84 2464.23,-464.63 2472.98,-470.61 2474.8,-463.84"/>
</g>
<!-- ordinals.Epsilon0.Epsilon0rpo -->
<g id="node45" class="node">
<title>ordinals.Epsilon0.Epsilon0rpo</title>
<g id="a_node45"><a xlink:href="ordinals.Epsilon0.Epsilon0rpo.svg" xlink:title="ordinals.Epsilon0.Epsilon0rpo">
<ellipse fill="white" stroke="black" cx="1402.39" cy="-810" rx="118.08" ry="18"/>
<text text-anchor="middle" x="1402.39" y="-806.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.Epsilon0rpo</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.Epsilon0rpo&#45;&gt;ordinals.Epsilon0.T1 -->
<g id="edge52" class="edge">
<title>ordinals.Epsilon0.Epsilon0rpo&#45;&gt;ordinals.Epsilon0.T1</title>
<path fill="none" stroke="black" d="M1470.96,-795.31C1531.52,-779.4 1617.05,-746.86 1662.39,-684 1703.5,-627.01 1735.52,-411.38 1745.85,-334.47"/>
<polygon fill="black" stroke="black" points="1749.38,-334.53 1747.22,-324.16 1742.44,-333.61 1749.38,-334.53"/>
</g>
<!-- ordinals.rpo.rpo -->
<g id="node46" class="node">
<title>ordinals.rpo.rpo</title>
<g id="a_node46"><a xlink:href="ordinals.rpo.rpo.svg" xlink:title="ordinals.rpo.rpo">
<ellipse fill="white" stroke="black" cx="1467.39" cy="-738" rx="67.69" ry="18"/>
<text text-anchor="middle" x="1467.39" y="-734.3" font-family="Times,serif" font-size="14.00">ordinals.rpo.rpo</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.Epsilon0rpo&#45;&gt;ordinals.rpo.rpo -->
<g id="edge53" class="edge">
<title>ordinals.Epsilon0.Epsilon0rpo&#45;&gt;ordinals.rpo.rpo</title>
<path fill="none" stroke="black" d="M1418.13,-792.05C1426.11,-783.46 1435.95,-772.86 1444.74,-763.4"/>
<polygon fill="black" stroke="black" points="1447.56,-765.5 1451.8,-755.79 1442.43,-760.74 1447.56,-765.5"/>
</g>
<!-- ordinals.rpo.term -->
<g id="node47" class="node">
<title>ordinals.rpo.term</title>
<g id="a_node47"><a xlink:href="ordinals.rpo.term.svg" xlink:title="ordinals.rpo.term">
<ellipse fill="white" stroke="black" cx="1581.39" cy="-666" rx="72.29" ry="18"/>
<text text-anchor="middle" x="1581.39" y="-662.3" font-family="Times,serif" font-size="14.00">ordinals.rpo.term</text>
</a>
</g>
</g>
<!-- ordinals.rpo.rpo&#45;&gt;ordinals.rpo.term -->
<g id="edge55" class="edge">
<title>ordinals.rpo.rpo&#45;&gt;ordinals.rpo.term</title>
<path fill="none" stroke="black" d="M1492.97,-721.29C1508.85,-711.54 1529.46,-698.89 1546.78,-688.25"/>
<polygon fill="black" stroke="black" points="1548.81,-691.11 1555.5,-682.9 1545.14,-685.15 1548.81,-691.11"/>
</g>
<!-- ordinals.rpo.dickson -->
<g id="node49" class="node">
<title>ordinals.rpo.dickson</title>
<g id="a_node49"><a xlink:href="ordinals.rpo.dickson.svg" xlink:title="ordinals.rpo.dickson">
<ellipse fill="white" stroke="black" cx="1405.39" cy="-666" rx="83.39" ry="18"/>
<text text-anchor="middle" x="1405.39" y="-662.3" font-family="Times,serif" font-size="14.00">ordinals.rpo.dickson</text>
</a>
</g>
</g>
<!-- ordinals.rpo.rpo&#45;&gt;ordinals.rpo.dickson -->
<g id="edge56" class="edge">
<title>ordinals.rpo.rpo&#45;&gt;ordinals.rpo.dickson</title>
<path fill="none" stroke="black" d="M1452.7,-720.41C1445.09,-711.82 1435.65,-701.16 1427.2,-691.63"/>
<polygon fill="black" stroke="black" points="1429.66,-689.12 1420.41,-683.96 1424.42,-693.76 1429.66,-689.12"/>
</g>
<!-- ordinals.rpo.list_set -->
<g id="node48" class="node">
<title>ordinals.rpo.list_set</title>
<g id="a_node48"><a xlink:href="ordinals.rpo.list_set.svg" xlink:title="ordinals.rpo.list_set">
<ellipse fill="white" stroke="black" cx="1585.39" cy="-594" rx="80.69" ry="18"/>
<text text-anchor="middle" x="1585.39" y="-590.3" font-family="Times,serif" font-size="14.00">ordinals.rpo.list_set</text>
</a>
</g>
</g>
<!-- ordinals.rpo.term&#45;&gt;ordinals.rpo.list_set -->
<g id="edge54" class="edge">
<title>ordinals.rpo.term&#45;&gt;ordinals.rpo.list_set</title>
<path fill="none" stroke="black" d="M1582.38,-647.7C1582.82,-639.98 1583.35,-630.71 1583.84,-622.11"/>
<polygon fill="black" stroke="black" points="1587.34,-622.29 1584.41,-612.1 1580.35,-621.89 1587.34,-622.29"/>
</g>
<!-- ordinals.rpo.list_permut -->
<g id="node65" class="node">
<title>ordinals.rpo.list_permut</title>
<g id="a_node65"><a xlink:href="ordinals.rpo.list_permut.svg" xlink:title="ordinals.rpo.list_permut">
<ellipse fill="white" stroke="black" cx="1483.39" cy="-522" rx="96.38" ry="18"/>
<text text-anchor="middle" x="1483.39" y="-518.3" font-family="Times,serif" font-size="14.00">ordinals.rpo.list_permut</text>
</a>
</g>
</g>
<!-- ordinals.rpo.list_set&#45;&gt;ordinals.rpo.list_permut -->
<g id="edge85" class="edge">
<title>ordinals.rpo.list_set&#45;&gt;ordinals.rpo.list_permut</title>
<path fill="none" stroke="black" d="M1561.73,-576.76C1548.16,-567.45 1530.91,-555.61 1516.05,-545.41"/>
<polygon fill="black" stroke="black" points="1517.85,-542.41 1507.63,-539.63 1513.89,-548.18 1517.85,-542.41"/>
</g>
<!-- ordinals.rpo.closure -->
<g id="node64" class="node">
<title>ordinals.rpo.closure</title>
<g id="a_node64"><a xlink:href="ordinals.rpo.closure.svg" xlink:title="ordinals.rpo.closure">
<ellipse fill="white" stroke="black" cx="1405.39" cy="-594" rx="81.49" ry="18"/>
<text text-anchor="middle" x="1405.39" y="-590.3" font-family="Times,serif" font-size="14.00">ordinals.rpo.closure</text>
</a>
</g>
</g>
<!-- ordinals.rpo.dickson&#45;&gt;ordinals.rpo.closure -->
<g id="edge81" class="edge">
<title>ordinals.rpo.dickson&#45;&gt;ordinals.rpo.closure</title>
<path fill="none" stroke="black" d="M1405.39,-647.7C1405.39,-639.98 1405.39,-630.71 1405.39,-622.11"/>
<polygon fill="black" stroke="black" points="1408.89,-622.1 1405.39,-612.1 1401.89,-622.1 1408.89,-622.1"/>
</g>
<!-- ordinals.rpo.dickson&#45;&gt;ordinals.rpo.list_permut -->
<g id="edge82" class="edge">
<title>ordinals.rpo.dickson&#45;&gt;ordinals.rpo.list_permut</title>
<path fill="none" stroke="black" d="M1362.04,-650.52C1344.29,-642.2 1325.56,-629.79 1315.39,-612 1307.45,-598.11 1305.93,-588.9 1315.39,-576 1332.14,-553.15 1358.76,-539.9 1385.92,-532.29"/>
<polygon fill="black" stroke="black" points="1387.11,-535.6 1395.93,-529.74 1385.38,-528.82 1387.11,-535.6"/>
</g>
<!-- ordinals.Epsilon0.Hprime -->
<g id="node50" class="node">
<title>ordinals.Epsilon0.Hprime</title>
<g id="a_node50"><a xlink:href="ordinals.Epsilon0.Hprime.svg" xlink:title="ordinals.Epsilon0.Hprime">
<ellipse fill="white" stroke="black" cx="3253.39" cy="-882" rx="102.88" ry="18"/>
<text text-anchor="middle" x="3253.39" y="-878.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.Hprime</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.Hprime&#45;&gt;ordinals.Prelude.Simple_LexProd -->
<g id="edge57" class="edge">
<title>ordinals.Epsilon0.Hprime&#45;&gt;ordinals.Prelude.Simple_LexProd</title>
<path fill="none" stroke="black" d="M3158.28,-875.2C3005.73,-865.82 2696.95,-846.49 2435.39,-828 2402.46,-825.67 2366.79,-823.01 2333.87,-820.48"/>
<polygon fill="black" stroke="black" points="2333.99,-816.98 2323.75,-819.71 2333.45,-823.96 2333.99,-816.98"/>
</g>
<!-- ordinals.Epsilon0.Hprime&#45;&gt;ordinals.Prelude.Compat815 -->
<g id="edge58" class="edge">
<title>ordinals.Epsilon0.Hprime&#45;&gt;ordinals.Prelude.Compat815</title>
<path fill="none" stroke="black" d="M3227.05,-864.56C3166.09,-826.53 3015.29,-732.44 2946.11,-689.28"/>
<polygon fill="black" stroke="black" points="2947.64,-686.11 2937.3,-683.79 2943.93,-692.05 2947.64,-686.11"/>
</g>
<!-- ordinals.Epsilon0.Hprime&#45;&gt;ordinals.Prelude.Iterates -->
<g id="edge59" class="edge">
<title>ordinals.Epsilon0.Hprime&#45;&gt;ordinals.Prelude.Iterates</title>
<path fill="none" stroke="black" d="M3332.89,-870.57C3462.49,-852.21 3711.73,-810.82 3780.39,-756 3823.35,-721.7 3844.63,-658.12 3853.7,-621.97"/>
<polygon fill="black" stroke="black" points="3857.14,-622.66 3856.04,-612.12 3850.33,-621.05 3857.14,-622.66"/>
</g>
<!-- ordinals.Epsilon0.Hprime&#45;&gt;ordinals.Epsilon0.Paths -->
<g id="edge60" class="edge">
<title>ordinals.Epsilon0.Hprime&#45;&gt;ordinals.Epsilon0.Paths</title>
<path fill="none" stroke="black" d="M3241.8,-863.89C3211.98,-821.14 3128.13,-708.8 3031.39,-648 3003.74,-630.62 2969.85,-618.43 2940.07,-610.15"/>
<polygon fill="black" stroke="black" points="2940.71,-606.7 2930.14,-607.5 2938.9,-613.46 2940.71,-606.7"/>
</g>
<!-- ordinals.Epsilon0.Large_Sets_Examples -->
<g id="node51" class="node">
<title>ordinals.Epsilon0.Large_Sets_Examples</title>
<g id="a_node51"><a xlink:href="ordinals.Epsilon0.Large_Sets_Examples.svg" xlink:title="ordinals.Epsilon0.Large_Sets_Examples">
<ellipse fill="white" stroke="black" cx="3617.39" cy="-738" rx="154.07" ry="18"/>
<text text-anchor="middle" x="3617.39" y="-734.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.Large_Sets_Examples</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.Large_Sets_Examples&#45;&gt;ordinals.Epsilon0.Large_Sets -->
<g id="edge61" class="edge">
<title>ordinals.Epsilon0.Large_Sets_Examples&#45;&gt;ordinals.Epsilon0.Large_Sets</title>
<path fill="none" stroke="black" d="M3574.72,-720.59C3548.22,-710.39 3514.01,-697.24 3486.12,-686.51"/>
<polygon fill="black" stroke="black" points="3487.13,-683.15 3476.54,-682.83 3484.62,-689.68 3487.13,-683.15"/>
</g>
<!-- ordinals.Epsilon0.L_alpha -->
<g id="node52" class="node">
<title>ordinals.Epsilon0.L_alpha</title>
<g id="a_node52"><a xlink:href="ordinals.Epsilon0.L_alpha.svg" xlink:title="ordinals.Epsilon0.L_alpha">
<ellipse fill="white" stroke="black" cx="2724.39" cy="-1026" rx="103.98" ry="18"/>
<text text-anchor="middle" x="2724.39" y="-1022.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.L_alpha</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.L_alpha&#45;&gt;ordinals.Epsilon0.Large_Sets -->
<g id="edge62" class="edge">
<title>ordinals.Epsilon0.L_alpha&#45;&gt;ordinals.Epsilon0.Large_Sets</title>
<path fill="none" stroke="black" d="M2814.21,-1016.79C2846.71,-1013.9 2883.69,-1010.7 2917.39,-1008 2972.8,-1003.56 3374.46,-1008.5 3416.39,-972 3446.9,-945.44 3435.39,-923.45 3435.39,-883 3435.39,-883 3435.39,-883 3435.39,-809 3435.39,-769 3435.39,-722.65 3435.39,-694.08"/>
<polygon fill="black" stroke="black" points="3438.89,-694.05 3435.39,-684.05 3431.89,-694.05 3438.89,-694.05"/>
</g>
<!-- ordinals.Epsilon0.L_alpha&#45;&gt;ordinals.Epsilon0.Hprime -->
<g id="edge63" class="edge">
<title>ordinals.Epsilon0.L_alpha&#45;&gt;ordinals.Epsilon0.Hprime</title>
<path fill="none" stroke="black" d="M2814.15,-1016.84C2946.04,-1004.58 3178.4,-981.78 3194.39,-972 3217.87,-957.64 3233.97,-930 3243.34,-909.31"/>
<polygon fill="black" stroke="black" points="3246.57,-910.66 3247.29,-900.09 3240.13,-907.9 3246.57,-910.66"/>
</g>
<!-- ordinals.Epsilon0.Epsilon0&#45;&gt;ordinals.Epsilon0.Large_Sets -->
<g id="edge64" class="edge">
<title>ordinals.Epsilon0.Epsilon0&#45;&gt;ordinals.Epsilon0.Large_Sets</title>
<path fill="none" stroke="black" d="M2677.01,-729.31C2835.97,-716.25 3157.81,-689.81 3326.56,-675.94"/>
<polygon fill="black" stroke="black" points="3327.02,-679.42 3336.7,-675.11 3326.45,-672.44 3327.02,-679.42"/>
</g>
<!-- ordinals.Epsilon0.F_alpha -->
<g id="node54" class="node">
<title>ordinals.Epsilon0.F_alpha</title>
<g id="a_node54"><a xlink:href="ordinals.Epsilon0.F_alpha.svg" xlink:title="ordinals.Epsilon0.F_alpha">
<ellipse fill="white" stroke="black" cx="3604.39" cy="-954" rx="103.18" ry="18"/>
<text text-anchor="middle" x="3604.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.F_alpha</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.F_alpha&#45;&gt;ordinals.Epsilon0.Hprime -->
<g id="edge65" class="edge">
<title>ordinals.Epsilon0.F_alpha&#45;&gt;ordinals.Epsilon0.Hprime</title>
<path fill="none" stroke="black" d="M3539.19,-940C3479.44,-928.08 3391.01,-910.45 3328.36,-897.95"/>
<polygon fill="black" stroke="black" points="3329.03,-894.52 3318.54,-895.99 3327.66,-901.38 3329.03,-894.52"/>
</g>
<!-- ordinals.Ackermann.primRec -->
<g id="node55" class="node">
<title>ordinals.Ackermann.primRec</title>
<g id="a_node55"><a xlink:href="ordinals.Ackermann.primRec.svg" xlink:title="ordinals.Ackermann.primRec">
<ellipse fill="white" stroke="black" cx="5088.39" cy="-882" rx="116.18" ry="18"/>
<text text-anchor="middle" x="5088.39" y="-878.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.primRec</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.F_alpha&#45;&gt;ordinals.Ackermann.primRec -->
<g id="edge66" class="edge">
<title>ordinals.Epsilon0.F_alpha&#45;&gt;ordinals.Ackermann.primRec</title>
<path fill="none" stroke="black" d="M3700.78,-947.36C3763.59,-943.81 3847.34,-939.28 3921.39,-936 4378.56,-915.75 4494.2,-936.01 4950.39,-900 4964.66,-898.87 4979.73,-897.36 4994.46,-895.69"/>
<polygon fill="black" stroke="black" points="4995.06,-899.14 5004.59,-894.52 4994.25,-892.19 4995.06,-899.14"/>
</g>
<!-- ordinals.Ackermann.primRec&#45;&gt;ordinals.Prelude.Compat815 -->
<g id="edge67" class="edge">
<title>ordinals.Ackermann.primRec&#45;&gt;ordinals.Prelude.Compat815</title>
<path fill="none" stroke="black" d="M5002.7,-869.76C4985.4,-867.69 4967.33,-865.65 4950.39,-864 4286.93,-799.23 4116.44,-833.89 3454.39,-756 3287.97,-736.42 3094.7,-701.99 2989.17,-682.18"/>
<polygon fill="black" stroke="black" points="2989.71,-678.72 2979.24,-680.31 2988.42,-685.6 2989.71,-678.72"/>
</g>
<!-- ordinals.Ackermann.extEqualNat -->
<g id="node56" class="node">
<title>ordinals.Ackermann.extEqualNat</title>
<g id="a_node56"><a xlink:href="ordinals.Ackermann.extEqualNat.svg" xlink:title="ordinals.Ackermann.extEqualNat">
<ellipse fill="white" stroke="black" cx="5112.39" cy="-810" rx="129.18" ry="18"/>
<text text-anchor="middle" x="5112.39" y="-806.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.extEqualNat</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.primRec&#45;&gt;ordinals.Ackermann.extEqualNat -->
<g id="edge68" class="edge">
<title>ordinals.Ackermann.primRec&#45;&gt;ordinals.Ackermann.extEqualNat</title>
<path fill="none" stroke="black" d="M5094.32,-863.7C5097,-855.9 5100.22,-846.51 5103.19,-837.83"/>
<polygon fill="black" stroke="black" points="5106.59,-838.7 5106.53,-828.1 5099.97,-836.43 5106.59,-838.7"/>
</g>
<!-- ordinals.Ackermann.misc -->
<g id="node57" class="node">
<title>ordinals.Ackermann.misc</title>
<g id="a_node57"><a xlink:href="ordinals.Ackermann.misc.svg" xlink:title="ordinals.Ackermann.misc">
<ellipse fill="white" stroke="black" cx="4594.39" cy="-666" rx="102.88" ry="18"/>
<text text-anchor="middle" x="4594.39" y="-662.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.misc</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.primRec&#45;&gt;ordinals.Ackermann.misc -->
<g id="edge69" class="edge">
<title>ordinals.Ackermann.primRec&#45;&gt;ordinals.Ackermann.misc</title>
<path fill="none" stroke="black" d="M5034.32,-865.96C5013.21,-857.73 4990.31,-845.54 4974.39,-828 4940.19,-790.32 4975.53,-752.51 4936.39,-720 4901.6,-691.1 4789.46,-677.87 4702.98,-671.86"/>
<polygon fill="black" stroke="black" points="4703.04,-668.36 4692.83,-671.18 4702.58,-675.34 4703.04,-668.36"/>
</g>
<!-- ordinals.Epsilon0.F_omega -->
<g id="node58" class="node">
<title>ordinals.Epsilon0.F_omega</title>
<g id="a_node58"><a xlink:href="ordinals.Epsilon0.F_omega.svg" xlink:title="ordinals.Epsilon0.F_omega">
<ellipse fill="white" stroke="black" cx="3438.39" cy="-1170" rx="108.58" ry="18"/>
<text text-anchor="middle" x="3438.39" y="-1166.3" font-family="Times,serif" font-size="14.00">ordinals.Epsilon0.F_omega</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.F_omega&#45;&gt;ordinals.Epsilon0.F_alpha -->
<g id="edge70" class="edge">
<title>ordinals.Epsilon0.F_omega&#45;&gt;ordinals.Epsilon0.F_alpha</title>
<path fill="none" stroke="black" d="M3485.1,-1153.62C3502.5,-1145.36 3520.43,-1133.24 3530.39,-1116 3538.4,-1102.15 3539.31,-1093.28 3530.39,-1080 3506.84,-1044.92 3465.94,-1079.08 3442.39,-1044 3433.47,-1030.72 3433,-1020.95 3442.39,-1008 3457.65,-986.96 3481.51,-974.11 3506.27,-966.32"/>
<polygon fill="black" stroke="black" points="3507.52,-969.6 3516.16,-963.48 3505.58,-962.88 3507.52,-969.6"/>
</g>
<!-- ordinals.MoreAck.AckNotPR -->
<g id="node59" class="node">
<title>ordinals.MoreAck.AckNotPR</title>
<g id="a_node59"><a xlink:href="ordinals.MoreAck.AckNotPR.svg" xlink:title="ordinals.MoreAck.AckNotPR">
<ellipse fill="white" stroke="black" cx="4046.39" cy="-954" rx="116.18" ry="18"/>
<text text-anchor="middle" x="4046.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.MoreAck.AckNotPR</text>
</a>
</g>
</g>
<!-- ordinals.Epsilon0.F_omega&#45;&gt;ordinals.MoreAck.AckNotPR -->
<g id="edge71" class="edge">
<title>ordinals.Epsilon0.F_omega&#45;&gt;ordinals.MoreAck.AckNotPR</title>
<path fill="none" stroke="black" d="M3472.13,-1152.84C3493.92,-1142.38 3522.86,-1128.45 3548.39,-1116 3580.91,-1100.15 3586.51,-1089.58 3621.39,-1080 3670.83,-1066.42 4046.58,-1081.64 4081.39,-1044 4097.96,-1026.08 4083.96,-999.4 4069.04,-979.92"/>
<polygon fill="black" stroke="black" points="4071.68,-977.63 4062.67,-972.06 4066.24,-982.03 4071.68,-977.63"/>
</g>
<!-- ordinals.MoreAck.AckNotPR&#45;&gt;ordinals.Prelude.MoreVectors -->
<g id="edge73" class="edge">
<title>ordinals.MoreAck.AckNotPR&#45;&gt;ordinals.Prelude.MoreVectors</title>
<path fill="none" stroke="black" d="M4030.66,-936.05C4022.79,-927.58 4013.12,-917.17 4004.43,-907.82"/>
<polygon fill="black" stroke="black" points="4006.8,-905.22 3997.43,-900.28 4001.67,-909.98 4006.8,-905.22"/>
</g>
<!-- ordinals.MoreAck.AckNotPR&#45;&gt;ordinals.Ackermann.primRec -->
<g id="edge74" class="edge">
<title>ordinals.MoreAck.AckNotPR&#45;&gt;ordinals.Ackermann.primRec</title>
<path fill="none" stroke="black" d="M4157.9,-948.76C4328.74,-941.75 4665.43,-925.88 4950.39,-900 4964.36,-898.73 4979.09,-897.16 4993.53,-895.5"/>
<polygon fill="black" stroke="black" points="4993.93,-898.97 5003.46,-894.33 4993.12,-892.02 4993.93,-898.97"/>
</g>
<!-- ordinals.MoreAck.Ack -->
<g id="node60" class="node">
<title>ordinals.MoreAck.Ack</title>
<g id="a_node60"><a xlink:href="ordinals.MoreAck.Ack.svg" xlink:title="ordinals.MoreAck.Ack">
<ellipse fill="white" stroke="black" cx="3950.39" cy="-666" rx="92.88" ry="18"/>
<text text-anchor="middle" x="3950.39" y="-662.3" font-family="Times,serif" font-size="14.00">ordinals.MoreAck.Ack</text>
</a>
</g>
</g>
<!-- ordinals.MoreAck.AckNotPR&#45;&gt;ordinals.MoreAck.Ack -->
<g id="edge75" class="edge">
<title>ordinals.MoreAck.AckNotPR&#45;&gt;ordinals.MoreAck.Ack</title>
<path fill="none" stroke="black" d="M4074.02,-936.43C4086.37,-927.38 4099.65,-914.95 4106.39,-900 4112.97,-885.41 4111.65,-879.11 4106.39,-864 4080.89,-790.72 4015.53,-724.18 3978,-690.38"/>
<polygon fill="black" stroke="black" points="3980.24,-687.69 3970.44,-683.67 3975.6,-692.93 3980.24,-687.69"/>
</g>
<!-- ordinals.MoreAck.Ack&#45;&gt;ordinals.Prelude.Iterates -->
<g id="edge72" class="edge">
<title>ordinals.MoreAck.Ack&#45;&gt;ordinals.Prelude.Iterates</title>
<path fill="none" stroke="black" d="M3928.83,-648.41C3917.01,-639.32 3902.19,-627.92 3889.28,-617.99"/>
<polygon fill="black" stroke="black" points="3891.18,-615.04 3881.12,-611.71 3886.91,-620.58 3891.18,-615.04"/>
</g>
<!-- ordinals.Gamma0.T2 -->
<g id="node61" class="node">
<title>ordinals.Gamma0.T2</title>
<g id="a_node61"><a xlink:href="ordinals.Gamma0.T2.svg" xlink:title="ordinals.Gamma0.T2">
<ellipse fill="white" stroke="black" cx="1740.39" cy="-738" rx="87.18" ry="18"/>
<text text-anchor="middle" x="1740.39" y="-734.3" font-family="Times,serif" font-size="14.00">ordinals.Gamma0.T2</text>
</a>
</g>
</g>
<!-- ordinals.Gamma0.T2&#45;&gt;ordinals.Prelude.Compat815 -->
<g id="edge76" class="edge">
<title>ordinals.Gamma0.T2&#45;&gt;ordinals.Prelude.Compat815</title>
<path fill="none" stroke="black" d="M1801.16,-725.04C1812.82,-723.09 1824.95,-721.28 1836.39,-720 2165.82,-683.02 2250.31,-700.55 2581.39,-684 2652.42,-680.45 2732.07,-676.34 2795.21,-673.05"/>
<polygon fill="black" stroke="black" points="2795.39,-676.54 2805.2,-672.53 2795.03,-669.55 2795.39,-676.54"/>
</g>
<!-- ordinals.Gamma0.T2&#45;&gt;ordinals.Epsilon0.T1 -->
<g id="edge77" class="edge">
<title>ordinals.Gamma0.T2&#45;&gt;ordinals.Epsilon0.T1</title>
<path fill="none" stroke="black" d="M1740.75,-719.88C1742.13,-653.94 1747.11,-416.06 1748.81,-334.59"/>
<polygon fill="black" stroke="black" points="1752.32,-334.24 1749.03,-324.17 1745.32,-334.1 1752.32,-334.24"/>
</g>
<!-- ordinals.Gamma0.Gamma0 -->
<g id="node62" class="node">
<title>ordinals.Gamma0.Gamma0</title>
<g id="a_node62"><a xlink:href="ordinals.Gamma0.Gamma0.svg" xlink:title="ordinals.Gamma0.Gamma0">
<ellipse fill="white" stroke="black" cx="1686.39" cy="-810" rx="110.48" ry="18"/>
<text text-anchor="middle" x="1686.39" y="-806.3" font-family="Times,serif" font-size="14.00">ordinals.Gamma0.Gamma0</text>
</a>
</g>
</g>
<!-- ordinals.Gamma0.Gamma0&#45;&gt;ordinals.rpo.rpo -->
<g id="edge78" class="edge">
<title>ordinals.Gamma0.Gamma0&#45;&gt;ordinals.rpo.rpo</title>
<path fill="none" stroke="black" d="M1638.6,-793.72C1603.17,-782.4 1554.94,-766.98 1518.69,-755.4"/>
<polygon fill="black" stroke="black" points="1519.4,-751.95 1508.81,-752.24 1517.27,-758.62 1519.4,-751.95"/>
</g>
<!-- ordinals.Gamma0.Gamma0&#45;&gt;ordinals.Epsilon0.Epsilon0 -->
<g id="edge79" class="edge">
<title>ordinals.Gamma0.Gamma0&#45;&gt;ordinals.Epsilon0.Epsilon0</title>
<path fill="none" stroke="black" d="M1763.74,-797.1C1777.59,-795.22 1791.9,-793.42 1805.39,-792 2041.97,-767.08 2320.31,-751.4 2471.63,-744.02"/>
<polygon fill="black" stroke="black" points="2472.04,-747.5 2481.86,-743.52 2471.7,-740.51 2472.04,-747.5"/>
</g>
<!-- ordinals.Gamma0.Gamma0&#45;&gt;ordinals.Gamma0.T2 -->
<g id="edge80" class="edge">
<title>ordinals.Gamma0.Gamma0&#45;&gt;ordinals.Gamma0.T2</title>
<path fill="none" stroke="black" d="M1699.46,-792.05C1705.87,-783.75 1713.71,-773.58 1720.81,-764.38"/>
<polygon fill="black" stroke="black" points="1723.73,-766.33 1727.06,-756.28 1718.19,-762.06 1723.73,-766.33"/>
</g>
<!-- ordinals.rpo.decidable_set -->
<g id="node63" class="node">
<title>ordinals.rpo.decidable_set</title>
<g id="a_node63"><a xlink:href="ordinals.rpo.decidable_set.svg" xlink:title="ordinals.rpo.decidable_set">
<ellipse fill="white" stroke="black" cx="1384.39" cy="-450" rx="103.18" ry="18"/>
<text text-anchor="middle" x="1384.39" y="-446.3" font-family="Times,serif" font-size="14.00">ordinals.rpo.decidable_set</text>
</a>
</g>
</g>
<!-- ordinals.rpo.list_permut&#45;&gt;ordinals.rpo.decidable_set -->
<g id="edge83" class="edge">
<title>ordinals.rpo.list_permut&#45;&gt;ordinals.rpo.decidable_set</title>
<path fill="none" stroke="black" d="M1459.93,-504.41C1446.96,-495.24 1430.64,-483.7 1416.5,-473.71"/>
<polygon fill="black" stroke="black" points="1418.21,-470.63 1408.03,-467.71 1414.17,-476.34 1418.21,-470.63"/>
</g>
<!-- ordinals.rpo.more_list -->
<g id="node66" class="node">
<title>ordinals.rpo.more_list</title>
<g id="a_node66"><a xlink:href="ordinals.rpo.more_list.svg" xlink:title="ordinals.rpo.more_list">
<ellipse fill="white" stroke="black" cx="1594.39" cy="-450" rx="89.08" ry="18"/>
<text text-anchor="middle" x="1594.39" y="-446.3" font-family="Times,serif" font-size="14.00">ordinals.rpo.more_list</text>
</a>
</g>
</g>
<!-- ordinals.rpo.list_permut&#45;&gt;ordinals.rpo.more_list -->
<g id="edge84" class="edge">
<title>ordinals.rpo.list_permut&#45;&gt;ordinals.rpo.more_list</title>
<path fill="none" stroke="black" d="M1509.42,-504.59C1524.45,-495.11 1543.54,-483.07 1559.82,-472.8"/>
<polygon fill="black" stroke="black" points="1561.94,-475.6 1568.53,-467.31 1558.2,-469.68 1561.94,-475.6"/>
</g>
<!-- ordinals.Schutte.MoreEpsilonIota -->
<g id="node67" class="node">
<title>ordinals.Schutte.MoreEpsilonIota</title>
<g id="a_node67"><a xlink:href="ordinals.Schutte.MoreEpsilonIota.svg" xlink:title="ordinals.Schutte.MoreEpsilonIota">
<ellipse fill="white" stroke="black" cx="461.39" cy="-18" rx="129.98" ry="18"/>
<text text-anchor="middle" x="461.39" y="-14.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.MoreEpsilonIota</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.AP -->
<g id="node69" class="node">
<title>ordinals.Schutte.AP</title>
<g id="a_node69"><a xlink:href="ordinals.Schutte.AP.svg" xlink:title="ordinals.Schutte.AP">
<ellipse fill="white" stroke="black" cx="777.39" cy="-666" rx="81.49" ry="18"/>
<text text-anchor="middle" x="777.39" y="-662.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.AP</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.CNF&#45;&gt;ordinals.Schutte.AP -->
<g id="edge86" class="edge">
<title>ordinals.Schutte.CNF&#45;&gt;ordinals.Schutte.AP</title>
<path fill="none" stroke="black" d="M797.72,-719.7C794.68,-711.81 791.01,-702.3 787.63,-693.55"/>
<polygon fill="black" stroke="black" points="790.85,-692.17 783.99,-684.1 784.32,-694.69 790.85,-692.17"/>
</g>
<!-- ordinals.Schutte.Addition -->
<g id="node73" class="node">
<title>ordinals.Schutte.Addition</title>
<g id="a_node73"><a xlink:href="ordinals.Schutte.Addition.svg" xlink:title="ordinals.Schutte.Addition">
<ellipse fill="white" stroke="black" cx="101.39" cy="-450" rx="101.28" ry="18"/>
<text text-anchor="middle" x="101.39" y="-446.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.Addition</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.AP&#45;&gt;ordinals.Schutte.Addition -->
<g id="edge93" class="edge">
<title>ordinals.Schutte.AP&#45;&gt;ordinals.Schutte.Addition</title>
<path fill="none" stroke="black" d="M732.78,-650.88C614.05,-613.29 290.46,-510.85 158.53,-469.09"/>
<polygon fill="black" stroke="black" points="159.58,-465.75 148.99,-466.07 157.47,-472.42 159.58,-465.75"/>
</g>
<!-- ordinals.Schutte.Ordering_Functions -->
<g id="node70" class="node">
<title>ordinals.Schutte.Ordering_Functions</title>
<g id="a_node70"><a xlink:href="ordinals.Schutte.Ordering_Functions.svg" xlink:title="ordinals.Schutte.Ordering_Functions">
<ellipse fill="white" stroke="black" cx="769.39" cy="-378" rx="141.07" ry="18"/>
<text text-anchor="middle" x="769.39" y="-374.3" font-family="Times,serif" font-size="14.00">ordinals.Schutte.Ordering_Functions</text>
</a>
</g>
</g>
<!-- ordinals.Schutte.Ordering_Functions&#45;&gt;ordinals.Schutte.Schutte_basics -->
<g id="edge87" class="edge">
<title>ordinals.Schutte.Ordering_Functions&#45;&gt;ordinals.Schutte.Schutte_basics</title>
<path fill="none" stroke="black" d="M769.39,-359.7C769.39,-351.98 769.39,-342.71 769.39,-334.11"/>
<polygon fill="black" stroke="black" points="772.89,-334.1 769.39,-324.1 765.89,-334.1 772.89,-334.1"/>
</g>
<!-- ordinals.Schutte.PartialFun&#45;&gt;ordinals.Schutte.MoreEpsilonIota -->
<g id="edge88" class="edge">
<title>ordinals.Schutte.PartialFun&#45;&gt;ordinals.Schutte.MoreEpsilonIota</title>
<path fill="none" stroke="black" d="M461.39,-71.7C461.39,-63.98 461.39,-54.71 461.39,-46.11"/>
<polygon fill="black" stroke="black" points="464.89,-46.1 461.39,-36.1 457.89,-46.1 464.89,-46.1"/>
</g>
<!-- ordinals.Schutte.GRelations&#45;&gt;ordinals.Schutte.PartialFun -->
<g id="edge95" class="edge">
<title>ordinals.Schutte.GRelations&#45;&gt;ordinals.Schutte.PartialFun</title>
<path fill="none" stroke="black" d="M791.06,-148.4C721.21,-136.24 615.62,-117.86 542.85,-105.18"/>
<polygon fill="black" stroke="black" points="543.26,-101.7 532.81,-103.44 542.06,-108.6 543.26,-101.7"/>
</g>
<!-- ordinals.Schutte.Addition&#45;&gt;ordinals.Prelude.STDPP_compat -->
<g id="edge91" class="edge">
<title>ordinals.Schutte.Addition&#45;&gt;ordinals.Prelude.STDPP_compat</title>
<path fill="none" stroke="black" d="M169.99,-436.68C306.77,-411.15 600.39,-351.22 600.39,-307 600.39,-307 600.39,-307 600.39,-161 600.39,-52.99 1364.6,-27 1683.34,-20.86"/>
<polygon fill="black" stroke="black" points="1683.64,-24.35 1693.57,-20.67 1683.5,-17.36 1683.64,-24.35"/>
</g>
<!-- ordinals.Schutte.Addition&#45;&gt;ordinals.Schutte.Ordering_Functions -->
<g id="edge92" class="edge">
<title>ordinals.Schutte.Addition&#45;&gt;ordinals.Schutte.Ordering_Functions</title>
<path fill="none" stroke="black" d="M174.62,-437.54C188.47,-435.55 202.86,-433.61 216.39,-432 392.76,-411 437.66,-413.68 614.39,-396 628.29,-394.61 642.88,-393.09 657.32,-391.55"/>
<polygon fill="black" stroke="black" points="657.72,-395.03 667.28,-390.48 656.97,-388.07 657.72,-395.03"/>
</g>
<!-- ordinals.Hydra.Battle_length -->
<g id="node74" class="node">
<title>ordinals.Hydra.Battle_length</title>
<g id="a_node74"><a xlink:href="ordinals.Hydra.Battle_length.svg" xlink:title="ordinals.Hydra.Battle_length">
<ellipse fill="white" stroke="black" cx="3087.39" cy="-1170" rx="113.18" ry="18"/>
<text text-anchor="middle" x="3087.39" y="-1166.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.Battle_length</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Battle_length&#45;&gt;ordinals.Epsilon0.L_alpha -->
<g id="edge99" class="edge">
<title>ordinals.Hydra.Battle_length&#45;&gt;ordinals.Epsilon0.L_alpha</title>
<path fill="none" stroke="black" d="M2980.21,-1164.25C2849.79,-1157.34 2643.95,-1142.38 2620.39,-1116 2609.73,-1104.07 2612.03,-1093.64 2620.39,-1080 2629.73,-1064.76 2644.98,-1053.73 2660.95,-1045.82"/>
<polygon fill="black" stroke="black" points="2662.75,-1048.85 2670.4,-1041.51 2659.85,-1042.48 2662.75,-1048.85"/>
</g>
<!-- ordinals.Hydra.Epsilon0_Needed_Free -->
<g id="node75" class="node">
<title>ordinals.Hydra.Epsilon0_Needed_Free</title>
<g id="a_node75"><a xlink:href="ordinals.Hydra.Epsilon0_Needed_Free.svg" xlink:title="ordinals.Hydra.Epsilon0_Needed_Free">
<ellipse fill="white" stroke="black" cx="2777.39" cy="-1098" rx="148.37" ry="18"/>
<text text-anchor="middle" x="2777.39" y="-1094.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.Epsilon0_Needed_Free</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Battle_length&#45;&gt;ordinals.Hydra.Epsilon0_Needed_Free -->
<g id="edge100" class="edge">
<title>ordinals.Hydra.Battle_length&#45;&gt;ordinals.Hydra.Epsilon0_Needed_Free</title>
<path fill="none" stroke="black" d="M3025.03,-1154.92C2975.78,-1143.8 2906.82,-1128.23 2854.18,-1116.34"/>
<polygon fill="black" stroke="black" points="2854.74,-1112.88 2844.21,-1114.09 2853.2,-1119.71 2854.74,-1112.88"/>
</g>
<!-- ordinals.Hydra.Epsilon0_Needed_Std -->
<g id="node76" class="node">
<title>ordinals.Hydra.Epsilon0_Needed_Std</title>
<g id="a_node76"><a xlink:href="ordinals.Hydra.Epsilon0_Needed_Std.svg" xlink:title="ordinals.Hydra.Epsilon0_Needed_Std">
<ellipse fill="white" stroke="black" cx="3087.39" cy="-1098" rx="144.07" ry="18"/>
<text text-anchor="middle" x="3087.39" y="-1094.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.Epsilon0_Needed_Std</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Battle_length&#45;&gt;ordinals.Hydra.Epsilon0_Needed_Std -->
<g id="edge101" class="edge">
<title>ordinals.Hydra.Battle_length&#45;&gt;ordinals.Hydra.Epsilon0_Needed_Std</title>
<path fill="none" stroke="black" d="M3087.39,-1151.7C3087.39,-1143.98 3087.39,-1134.71 3087.39,-1126.11"/>
<polygon fill="black" stroke="black" points="3090.89,-1126.1 3087.39,-1116.1 3083.89,-1126.1 3090.89,-1126.1"/>
</g>
<!-- ordinals.Hydra.Hydra_Termination -->
<g id="node77" class="node">
<title>ordinals.Hydra.Hydra_Termination</title>
<g id="a_node77"><a xlink:href="ordinals.Hydra.Hydra_Termination.svg" xlink:title="ordinals.Hydra.Hydra_Termination">
<ellipse fill="white" stroke="black" cx="3385.39" cy="-1098" rx="135.68" ry="18"/>
<text text-anchor="middle" x="3385.39" y="-1094.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.Hydra_Termination</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Battle_length&#45;&gt;ordinals.Hydra.Hydra_Termination -->
<g id="edge102" class="edge">
<title>ordinals.Hydra.Battle_length&#45;&gt;ordinals.Hydra.Hydra_Termination</title>
<path fill="none" stroke="black" d="M3148.05,-1154.75C3195.44,-1143.62 3261.48,-1128.11 3311.87,-1116.27"/>
<polygon fill="black" stroke="black" points="3312.79,-1119.65 3321.72,-1113.96 3311.19,-1112.83 3312.79,-1119.65"/>
</g>
<!-- ordinals.Hydra.Epsilon0_Needed_Generic -->
<g id="node80" class="node">
<title>ordinals.Hydra.Epsilon0_Needed_Generic</title>
<g id="a_node80"><a xlink:href="ordinals.Hydra.Epsilon0_Needed_Generic.svg" xlink:title="ordinals.Hydra.Epsilon0_Needed_Generic">
<ellipse fill="white" stroke="black" cx="3087.39" cy="-1026" rx="160.57" ry="18"/>
<text text-anchor="middle" x="3087.39" y="-1022.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.Epsilon0_Needed_Generic</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Epsilon0_Needed_Free&#45;&gt;ordinals.Hydra.Epsilon0_Needed_Generic -->
<g id="edge105" class="edge">
<title>ordinals.Hydra.Epsilon0_Needed_Free&#45;&gt;ordinals.Hydra.Epsilon0_Needed_Generic</title>
<path fill="none" stroke="black" d="M2844.27,-1081.9C2892.83,-1070.93 2958.67,-1056.07 3009.58,-1044.57"/>
<polygon fill="black" stroke="black" points="3010.57,-1047.93 3019.56,-1042.32 3009.03,-1041.11 3010.57,-1047.93"/>
</g>
<!-- ordinals.Hydra.Epsilon0_Needed_Std&#45;&gt;ordinals.Hydra.Epsilon0_Needed_Generic -->
<g id="edge106" class="edge">
<title>ordinals.Hydra.Epsilon0_Needed_Std&#45;&gt;ordinals.Hydra.Epsilon0_Needed_Generic</title>
<path fill="none" stroke="black" d="M3087.39,-1079.7C3087.39,-1071.98 3087.39,-1062.71 3087.39,-1054.11"/>
<polygon fill="black" stroke="black" points="3090.89,-1054.1 3087.39,-1044.1 3083.89,-1054.1 3090.89,-1054.1"/>
</g>
<!-- ordinals.Hydra.Hydra_Lemmas -->
<g id="node78" class="node">
<title>ordinals.Hydra.Hydra_Lemmas</title>
<g id="a_node78"><a xlink:href="ordinals.Hydra.Hydra_Lemmas.svg" xlink:title="ordinals.Hydra.Hydra_Lemmas">
<ellipse fill="white" stroke="black" cx="2576.39" cy="-882" rx="123.48" ry="18"/>
<text text-anchor="middle" x="2576.39" y="-878.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.Hydra_Lemmas</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Hydra_Termination&#45;&gt;ordinals.Hydra.Hydra_Lemmas -->
<g id="edge107" class="edge">
<title>ordinals.Hydra.Hydra_Termination&#45;&gt;ordinals.Hydra.Hydra_Lemmas</title>
<path fill="none" stroke="black" d="M3396.93,-1079.82C3417.28,-1047.22 3453.99,-976.05 3416.39,-936 3392.51,-910.56 2936.51,-893.58 2706.61,-886.59"/>
<polygon fill="black" stroke="black" points="2706.61,-883.09 2696.51,-886.29 2706.4,-890.09 2706.61,-883.09"/>
</g>
<!-- ordinals.Hydra.Hydra_Lemmas&#45;&gt;ordinals.Prelude.Simple_LexProd -->
<g id="edge103" class="edge">
<title>ordinals.Hydra.Hydra_Lemmas&#45;&gt;ordinals.Prelude.Simple_LexProd</title>
<path fill="none" stroke="black" d="M2505.11,-867.25C2445.04,-855.67 2359.04,-839.09 2295.98,-826.93"/>
<polygon fill="black" stroke="black" points="2296.55,-823.47 2286.07,-825.01 2295.22,-830.34 2296.55,-823.47"/>
</g>
<!-- ordinals.Hydra.Hydra_Definitions -->
<g id="node79" class="node">
<title>ordinals.Hydra.Hydra_Definitions</title>
<g id="a_node79"><a xlink:href="ordinals.Hydra.Hydra_Definitions.svg" xlink:title="ordinals.Hydra.Hydra_Definitions">
<ellipse fill="white" stroke="black" cx="2576.39" cy="-810" rx="131.88" ry="18"/>
<text text-anchor="middle" x="2576.39" y="-806.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.Hydra_Definitions</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Hydra_Lemmas&#45;&gt;ordinals.Hydra.Hydra_Definitions -->
<g id="edge104" class="edge">
<title>ordinals.Hydra.Hydra_Lemmas&#45;&gt;ordinals.Hydra.Hydra_Definitions</title>
<path fill="none" stroke="black" d="M2576.39,-863.7C2576.39,-855.98 2576.39,-846.71 2576.39,-838.11"/>
<polygon fill="black" stroke="black" points="2579.89,-838.1 2576.39,-828.1 2572.89,-838.1 2579.89,-838.1"/>
</g>
<!-- ordinals.Hydra.Hydra_Definitions&#45;&gt;ordinals.Epsilon0.Epsilon0 -->
<g id="edge111" class="edge">
<title>ordinals.Hydra.Hydra_Definitions&#45;&gt;ordinals.Epsilon0.Epsilon0</title>
<path fill="none" stroke="black" d="M2578.12,-791.7C2578.89,-783.98 2579.82,-774.71 2580.68,-766.11"/>
<polygon fill="black" stroke="black" points="2584.17,-766.4 2581.68,-756.1 2577.2,-765.71 2584.17,-766.4"/>
</g>
<!-- ordinals.Hydra.O2H -->
<g id="node81" class="node">
<title>ordinals.Hydra.O2H</title>
<g id="a_node81"><a xlink:href="ordinals.Hydra.O2H.svg" xlink:title="ordinals.Hydra.O2H">
<ellipse fill="white" stroke="black" cx="3324.39" cy="-954" rx="83.39" ry="18"/>
<text text-anchor="middle" x="3324.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.O2H</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Epsilon0_Needed_Generic&#45;&gt;ordinals.Hydra.O2H -->
<g id="edge112" class="edge">
<title>ordinals.Hydra.Epsilon0_Needed_Generic&#45;&gt;ordinals.Hydra.O2H</title>
<path fill="none" stroke="black" d="M3141.47,-1009.03C3179.09,-997.92 3229.16,-983.13 3267.41,-971.83"/>
<polygon fill="black" stroke="black" points="3268.76,-975.08 3277.36,-968.89 3266.78,-968.37 3268.76,-975.08"/>
</g>
<!-- ordinals.Hydra.O2H&#45;&gt;ordinals.Hydra.Hydra_Lemmas -->
<g id="edge108" class="edge">
<title>ordinals.Hydra.O2H&#45;&gt;ordinals.Hydra.Hydra_Lemmas</title>
<path fill="none" stroke="black" d="M3256.32,-943.52C3236.38,-940.9 3214.53,-938.18 3194.39,-936 3020.75,-917.21 2819.07,-900.96 2694.58,-891.57"/>
<polygon fill="black" stroke="black" points="2694.5,-888.05 2684.26,-890.79 2693.97,-895.03 2694.5,-888.05"/>
</g>
<!-- ordinals.Hydra.Omega_Small -->
<g id="node82" class="node">
<title>ordinals.Hydra.Omega_Small</title>
<g id="a_node82"><a xlink:href="ordinals.Hydra.Omega_Small.svg" xlink:title="ordinals.Hydra.Omega_Small">
<ellipse fill="white" stroke="black" cx="2576.39" cy="-954" rx="116.98" ry="18"/>
<text text-anchor="middle" x="2576.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.Omega_Small</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Omega_Small&#45;&gt;ordinals.Hydra.Hydra_Lemmas -->
<g id="edge109" class="edge">
<title>ordinals.Hydra.Omega_Small&#45;&gt;ordinals.Hydra.Hydra_Lemmas</title>
<path fill="none" stroke="black" d="M2576.39,-935.7C2576.39,-927.98 2576.39,-918.71 2576.39,-910.11"/>
<polygon fill="black" stroke="black" points="2579.89,-910.1 2576.39,-900.1 2572.89,-910.1 2579.89,-910.1"/>
</g>
<!-- ordinals.Hydra.BigBattle -->
<g id="node83" class="node">
<title>ordinals.Hydra.BigBattle</title>
<g id="a_node83"><a xlink:href="ordinals.Hydra.BigBattle.svg" xlink:title="ordinals.Hydra.BigBattle">
<ellipse fill="white" stroke="black" cx="2810.39" cy="-954" rx="99.38" ry="18"/>
<text text-anchor="middle" x="2810.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.BigBattle</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.BigBattle&#45;&gt;ordinals.Hydra.Hydra_Lemmas -->
<g id="edge110" class="edge">
<title>ordinals.Hydra.BigBattle&#45;&gt;ordinals.Hydra.Hydra_Lemmas</title>
<path fill="none" stroke="black" d="M2761.34,-938.33C2725.41,-927.58 2676.41,-912.92 2637.88,-901.39"/>
<polygon fill="black" stroke="black" points="2638.39,-897.89 2627.81,-898.38 2636.39,-904.6 2638.39,-897.89"/>
</g>
<!-- ordinals.Hydra.Hydra_Extraction -->
<g id="node84" class="node">
<title>ordinals.Hydra.Hydra_Extraction</title>
<g id="a_node84"><a xlink:href="ordinals.Hydra.Hydra_Extraction.svg" xlink:title="ordinals.Hydra.Hydra_Extraction">
<ellipse fill="white" stroke="black" cx="3056.39" cy="-954" rx="128.88" ry="18"/>
<text text-anchor="middle" x="3056.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.Hydra_Extraction</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Hydra_Extraction&#45;&gt;ordinals.Hydra.Hydra_Lemmas -->
<g id="edge113" class="edge">
<title>ordinals.Hydra.Hydra_Extraction&#45;&gt;ordinals.Hydra.Hydra_Lemmas</title>
<path fill="none" stroke="black" d="M2970.85,-940.53C2886.38,-928.21 2757.51,-909.41 2670.25,-896.69"/>
<polygon fill="black" stroke="black" points="2670.76,-893.22 2660.36,-895.24 2669.75,-900.15 2670.76,-893.22"/>
</g>
<!-- ordinals.Hydra.KP_example -->
<g id="node85" class="node">
<title>ordinals.Hydra.KP_example</title>
<g id="a_node85"><a xlink:href="ordinals.Hydra.KP_example.svg" xlink:title="ordinals.Hydra.KP_example">
<ellipse fill="white" stroke="black" cx="2291.39" cy="-954" rx="111.58" ry="18"/>
<text text-anchor="middle" x="2291.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.KP_example</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.KP_example&#45;&gt;ordinals.Hydra.Hydra_Lemmas -->
<g id="edge114" class="edge">
<title>ordinals.Hydra.KP_example&#45;&gt;ordinals.Hydra.Hydra_Lemmas</title>
<path fill="none" stroke="black" d="M2350.1,-938.58C2395.43,-927.45 2458.31,-912 2506.29,-900.22"/>
<polygon fill="black" stroke="black" points="2507.41,-903.55 2516.29,-897.76 2505.74,-896.75 2507.41,-903.55"/>
</g>
<!-- ordinals.Hydra.Hydra_Theorems -->
<g id="node86" class="node">
<title>ordinals.Hydra.Hydra_Theorems</title>
<g id="a_node86"><a xlink:href="ordinals.Hydra.Hydra_Theorems.svg" xlink:title="ordinals.Hydra.Hydra_Theorems">
<ellipse fill="white" stroke="black" cx="3359.39" cy="-1242" rx="128.08" ry="18"/>
<text text-anchor="middle" x="3359.39" y="-1238.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.Hydra_Theorems</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Hydra_Theorems&#45;&gt;ordinals.Epsilon0.F_omega -->
<g id="edge115" class="edge">
<title>ordinals.Hydra.Hydra_Theorems&#45;&gt;ordinals.Epsilon0.F_omega</title>
<path fill="none" stroke="black" d="M3378.51,-1224.05C3388.51,-1215.2 3400.9,-1204.22 3411.81,-1194.55"/>
<polygon fill="black" stroke="black" points="3414.28,-1197.04 3419.44,-1187.79 3409.64,-1191.8 3414.28,-1197.04"/>
</g>
<!-- ordinals.Hydra.Hydra_Theorems&#45;&gt;ordinals.Hydra.Battle_length -->
<g id="edge116" class="edge">
<title>ordinals.Hydra.Hydra_Theorems&#45;&gt;ordinals.Hydra.Battle_length</title>
<path fill="none" stroke="black" d="M3300.71,-1225.9C3257.58,-1214.8 3198.93,-1199.71 3154.04,-1188.15"/>
<polygon fill="black" stroke="black" points="3154.66,-1184.7 3144.11,-1185.6 3152.92,-1191.48 3154.66,-1184.7"/>
</g>
<!-- ordinals.MoreAck.PrimRecExamples -->
<g id="node87" class="node">
<title>ordinals.MoreAck.PrimRecExamples</title>
<g id="a_node87"><a xlink:href="ordinals.MoreAck.PrimRecExamples.svg" xlink:title="ordinals.MoreAck.PrimRecExamples">
<ellipse fill="white" stroke="black" cx="4553.39" cy="-1098" rx="144.07" ry="18"/>
<text text-anchor="middle" x="4553.39" y="-1094.3" font-family="Times,serif" font-size="14.00">ordinals.MoreAck.PrimRecExamples</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Hydra_Theorems&#45;&gt;ordinals.MoreAck.PrimRecExamples -->
<g id="edge117" class="edge">
<title>ordinals.Hydra.Hydra_Theorems&#45;&gt;ordinals.MoreAck.PrimRecExamples</title>
<path fill="none" stroke="black" d="M3453.58,-1229.8C3671.43,-1203.89 4209.27,-1139.93 4442.52,-1112.19"/>
<polygon fill="black" stroke="black" points="4443.2,-1115.63 4452.72,-1110.97 4442.37,-1108.68 4443.2,-1115.63"/>
</g>
<!-- ordinals.Ackermann.cPair -->
<g id="node88" class="node">
<title>ordinals.Ackermann.cPair</title>
<g id="a_node88"><a xlink:href="ordinals.Ackermann.cPair.svg" xlink:title="ordinals.Ackermann.cPair">
<ellipse fill="white" stroke="black" cx="5476.39" cy="-1026" rx="103.18" ry="18"/>
<text text-anchor="middle" x="5476.39" y="-1022.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.cPair</text>
</a>
</g>
</g>
<!-- ordinals.MoreAck.PrimRecExamples&#45;&gt;ordinals.Ackermann.cPair -->
<g id="edge118" class="edge">
<title>ordinals.MoreAck.PrimRecExamples&#45;&gt;ordinals.Ackermann.cPair</title>
<path fill="none" stroke="black" d="M4665.72,-1086.69C4691.56,-1084.41 4718.92,-1082.06 4744.39,-1080 4967.79,-1061.97 5229.79,-1043.7 5371.87,-1034.02"/>
<polygon fill="black" stroke="black" points="5372.15,-1037.51 5381.89,-1033.34 5371.67,-1030.53 5372.15,-1037.51"/>
</g>
<!-- ordinals.Ackermann.cPair&#45;&gt;ordinals.Ackermann.primRec -->
<g id="edge125" class="edge">
<title>ordinals.Ackermann.cPair&#45;&gt;ordinals.Ackermann.primRec</title>
<path fill="none" stroke="black" d="M5372.88,-1025.47C5271.05,-1023.47 5125.73,-1013.19 5089.39,-972 5074.75,-955.4 5076.18,-929.51 5080.28,-909.92"/>
<polygon fill="black" stroke="black" points="5083.72,-910.61 5082.67,-900.07 5076.91,-908.96 5083.72,-910.61"/>
</g>
<!-- ordinals.Hydra.Omega2_Small -->
<g id="node89" class="node">
<title>ordinals.Hydra.Omega2_Small</title>
<g id="a_node89"><a xlink:href="ordinals.Hydra.Omega2_Small.svg" xlink:title="ordinals.Hydra.Omega2_Small">
<ellipse fill="white" stroke="black" cx="2263.39" cy="-1098" rx="121.58" ry="18"/>
<text text-anchor="middle" x="2263.39" y="-1094.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.Omega2_Small</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Omega2_Small&#45;&gt;ordinals.OrdinalNotations.ON_Omega2 -->
<g id="edge119" class="edge">
<title>ordinals.Hydra.Omega2_Small&#45;&gt;ordinals.OrdinalNotations.ON_Omega2</title>
<path fill="none" stroke="black" d="M2197.01,-1082.92C2144.19,-1071.71 2070.07,-1055.99 2013.87,-1044.07"/>
<polygon fill="black" stroke="black" points="2014.45,-1040.62 2003.95,-1041.97 2013,-1047.47 2014.45,-1040.62"/>
</g>
<!-- ordinals.Hydra.Omega2_Small&#45;&gt;ordinals.Hydra.Hydra_Lemmas -->
<g id="edge120" class="edge">
<title>ordinals.Hydra.Omega2_Small&#45;&gt;ordinals.Hydra.Hydra_Lemmas</title>
<path fill="none" stroke="black" d="M2240.58,-1080.09C2201.5,-1049.15 2129.71,-982.33 2170.39,-936 2175.39,-930.31 2353.63,-908.71 2472.26,-894.9"/>
<polygon fill="black" stroke="black" points="2472.95,-898.35 2482.48,-893.72 2472.14,-891.39 2472.95,-898.35"/>
</g>
<!-- ordinals.Hydra.Hydra_Examples -->
<g id="node90" class="node">
<title>ordinals.Hydra.Hydra_Examples</title>
<g id="a_node90"><a xlink:href="ordinals.Hydra.Hydra_Examples.svg" xlink:title="ordinals.Hydra.Hydra_Examples">
<ellipse fill="white" stroke="black" cx="2431.39" cy="-1170" rx="127.28" ry="18"/>
<text text-anchor="middle" x="2431.39" y="-1166.3" font-family="Times,serif" font-size="14.00">ordinals.Hydra.Hydra_Examples</text>
</a>
</g>
</g>
<!-- ordinals.Hydra.Hydra_Examples&#45;&gt;ordinals.Hydra.Hydra_Lemmas -->
<g id="edge121" class="edge">
<title>ordinals.Hydra.Hydra_Examples&#45;&gt;ordinals.Hydra.Hydra_Lemmas</title>
<path fill="none" stroke="black" d="M2427.28,-1151.75C2418.43,-1110.14 2402.05,-1002.72 2450.39,-936 2462.12,-919.81 2479.78,-908.53 2498.2,-900.69"/>
<polygon fill="black" stroke="black" points="2499.55,-903.92 2507.57,-897 2496.98,-897.41 2499.55,-903.92"/>
</g>
<!-- ordinals.Ackermann.codeNatToTerm -->
<g id="node91" class="node">
<title>ordinals.Ackermann.codeNatToTerm</title>
<g id="a_node91"><a xlink:href="ordinals.Ackermann.codeNatToTerm.svg" xlink:title="ordinals.Ackermann.codeNatToTerm">
<ellipse fill="white" stroke="black" cx="5094.39" cy="-1530" rx="143.77" ry="18"/>
<text text-anchor="middle" x="5094.39" y="-1526.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.codeNatToTerm</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.code -->
<g id="node92" class="node">
<title>ordinals.Ackermann.code</title>
<g id="a_node92"><a xlink:href="ordinals.Ackermann.code.svg" xlink:title="ordinals.Ackermann.code">
<ellipse fill="white" stroke="black" cx="5733.39" cy="-1458" rx="102.08" ry="18"/>
<text text-anchor="middle" x="5733.39" y="-1454.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.code</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.codeNatToTerm&#45;&gt;ordinals.Ackermann.code -->
<g id="edge122" class="edge">
<title>ordinals.Ackermann.codeNatToTerm&#45;&gt;ordinals.Ackermann.code</title>
<path fill="none" stroke="black" d="M5198.84,-1517.56C5320.9,-1504.19 5521.12,-1482.25 5638.79,-1469.36"/>
<polygon fill="black" stroke="black" points="5639.3,-1472.83 5648.86,-1468.26 5638.54,-1465.87 5639.3,-1472.83"/>
</g>
<!-- ordinals.Ackermann.LNN -->
<g id="node93" class="node">
<title>ordinals.Ackermann.LNN</title>
<g id="a_node93"><a xlink:href="ordinals.Ackermann.LNN.svg" xlink:title="ordinals.Ackermann.LNN">
<ellipse fill="white" stroke="black" cx="4739.39" cy="-1458" rx="103.18" ry="18"/>
<text text-anchor="middle" x="4739.39" y="-1454.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.LNN</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.codeNatToTerm&#45;&gt;ordinals.Ackermann.LNN -->
<g id="edge123" class="edge">
<title>ordinals.Ackermann.codeNatToTerm&#45;&gt;ordinals.Ackermann.LNN</title>
<path fill="none" stroke="black" d="M5020.83,-1514.5C4960.62,-1502.62 4875.76,-1485.89 4815,-1473.91"/>
<polygon fill="black" stroke="black" points="4815.57,-1470.45 4805.08,-1471.95 4814.22,-1477.32 4815.57,-1470.45"/>
</g>
<!-- ordinals.Ackermann.LNT -->
<g id="node94" class="node">
<title>ordinals.Ackermann.LNT</title>
<g id="a_node94"><a xlink:href="ordinals.Ackermann.LNT.svg" xlink:title="ordinals.Ackermann.LNT">
<ellipse fill="white" stroke="black" cx="5076.39" cy="-1458" rx="102.88" ry="18"/>
<text text-anchor="middle" x="5076.39" y="-1454.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.LNT</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.codeNatToTerm&#45;&gt;ordinals.Ackermann.LNT -->
<g id="edge124" class="edge">
<title>ordinals.Ackermann.codeNatToTerm&#45;&gt;ordinals.Ackermann.LNT</title>
<path fill="none" stroke="black" d="M5089.94,-1511.7C5087.94,-1503.9 5085.52,-1494.51 5083.29,-1485.83"/>
<polygon fill="black" stroke="black" points="5086.67,-1484.92 5080.79,-1476.1 5079.89,-1486.66 5086.67,-1484.92"/>
</g>
<!-- ordinals.Ackermann.code&#45;&gt;ordinals.Ackermann.cPair -->
<g id="edge126" class="edge">
<title>ordinals.Ackermann.code&#45;&gt;ordinals.Ackermann.cPair</title>
<path fill="none" stroke="black" d="M5762.09,-1440.67C5853.84,-1386.54 6127.34,-1209.13 6010.39,-1080 5982.59,-1049.31 5735.85,-1035.68 5587.68,-1030.22"/>
<polygon fill="black" stroke="black" points="5587.74,-1026.72 5577.62,-1029.86 5587.49,-1033.72 5587.74,-1026.72"/>
</g>
<!-- ordinals.Ackermann.folProof -->
<g id="node95" class="node">
<title>ordinals.Ackermann.folProof</title>
<g id="a_node95"><a xlink:href="ordinals.Ackermann.folProof.svg" xlink:title="ordinals.Ackermann.folProof">
<ellipse fill="white" stroke="black" cx="4827.39" cy="-882" rx="114.28" ry="18"/>
<text text-anchor="middle" x="4827.39" y="-878.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.folProof</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.code&#45;&gt;ordinals.Ackermann.folProof -->
<g id="edge127" class="edge">
<title>ordinals.Ackermann.code&#45;&gt;ordinals.Ackermann.folProof</title>
<path fill="none" stroke="black" d="M5701.6,-1440.78C5625.78,-1401.54 5429.46,-1296.69 5279.39,-1188 5141.65,-1088.23 5139.35,-1019.88 4991.39,-936 4963.44,-920.16 4930.09,-908.28 4900.79,-899.83"/>
<polygon fill="black" stroke="black" points="4901.59,-896.42 4891.02,-897.1 4899.7,-903.16 4901.59,-896.42"/>
</g>
<!-- ordinals.Ackermann.Languages -->
<g id="node99" class="node">
<title>ordinals.Ackermann.Languages</title>
<g id="a_node99"><a xlink:href="ordinals.Ackermann.Languages.svg" xlink:title="ordinals.Ackermann.Languages">
<ellipse fill="white" stroke="black" cx="4570.39" cy="-1026" rx="123.48" ry="18"/>
<text text-anchor="middle" x="4570.39" y="-1022.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.Languages</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.LNN&#45;&gt;ordinals.Ackermann.Languages -->
<g id="edge133" class="edge">
<title>ordinals.Ackermann.LNN&#45;&gt;ordinals.Ackermann.Languages</title>
<path fill="none" stroke="black" d="M4736.63,-1440C4732.55,-1413.42 4725.39,-1360.33 4725.39,-1315 4725.39,-1315 4725.39,-1315 4725.39,-1169 4725.39,-1128.55 4732.59,-1110.81 4706.39,-1080 4692.29,-1063.42 4672.34,-1052 4652.05,-1044.14"/>
<polygon fill="black" stroke="black" points="4653.01,-1040.76 4642.41,-1040.67 4650.64,-1047.35 4653.01,-1040.76"/>
</g>
<!-- ordinals.Ackermann.folLogic3 -->
<g id="node100" class="node">
<title>ordinals.Ackermann.folLogic3</title>
<g id="a_node100"><a xlink:href="ordinals.Ackermann.folLogic3.svg" xlink:title="ordinals.Ackermann.folLogic3">
<ellipse fill="white" stroke="black" cx="4873.39" cy="-1386" rx="120.48" ry="18"/>
<text text-anchor="middle" x="4873.39" y="-1382.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.folLogic3</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.LNN&#45;&gt;ordinals.Ackermann.folLogic3 -->
<g id="edge134" class="edge">
<title>ordinals.Ackermann.LNN&#45;&gt;ordinals.Ackermann.folLogic3</title>
<path fill="none" stroke="black" d="M4770.47,-1440.76C4789.11,-1431.03 4813.01,-1418.54 4833.09,-1408.05"/>
<polygon fill="black" stroke="black" points="4834.77,-1411.12 4842.02,-1403.39 4831.53,-1404.92 4834.77,-1411.12"/>
</g>
<!-- ordinals.Ackermann.LNT&#45;&gt;ordinals.Ackermann.Languages -->
<g id="edge135" class="edge">
<title>ordinals.Ackermann.LNT&#45;&gt;ordinals.Ackermann.Languages</title>
<path fill="none" stroke="black" d="M5061.66,-1440.07C5053.96,-1430.22 5045.16,-1417.18 5040.39,-1404 4991.11,-1267.95 5109.75,-1183.27 5008.39,-1080 4960.43,-1031.14 4770.35,-1052.37 4702.39,-1044 4691.68,-1042.68 4680.49,-1041.28 4669.34,-1039.86"/>
<polygon fill="black" stroke="black" points="4669.49,-1036.35 4659.13,-1038.56 4668.61,-1043.3 4669.49,-1036.35"/>
</g>
<!-- ordinals.Ackermann.LNT&#45;&gt;ordinals.Ackermann.folLogic3 -->
<g id="edge136" class="edge">
<title>ordinals.Ackermann.LNT&#45;&gt;ordinals.Ackermann.folLogic3</title>
<path fill="none" stroke="black" d="M5032.09,-1441.72C5001.75,-1431.26 4961.28,-1417.31 4928.8,-1406.11"/>
<polygon fill="black" stroke="black" points="4929.6,-1402.68 4919,-1402.73 4927.31,-1409.3 4929.6,-1402.68"/>
</g>
<!-- ordinals.Ackermann.folProp -->
<g id="node96" class="node">
<title>ordinals.Ackermann.folProp</title>
<g id="a_node96"><a xlink:href="ordinals.Ackermann.folProp.svg" xlink:title="ordinals.Ackermann.folProp">
<ellipse fill="white" stroke="black" cx="4815.39" cy="-810" rx="111.58" ry="18"/>
<text text-anchor="middle" x="4815.39" y="-806.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.folProp</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.folProof&#45;&gt;ordinals.Ackermann.folProp -->
<g id="edge130" class="edge">
<title>ordinals.Ackermann.folProof&#45;&gt;ordinals.Ackermann.folProp</title>
<path fill="none" stroke="black" d="M4824.42,-863.7C4823.1,-855.98 4821.51,-846.71 4820.04,-838.11"/>
<polygon fill="black" stroke="black" points="4823.46,-837.37 4818.32,-828.1 4816.56,-838.55 4823.46,-837.37"/>
</g>
<!-- ordinals.Ackermann.fol -->
<g id="node97" class="node">
<title>ordinals.Ackermann.fol</title>
<g id="a_node97"><a xlink:href="ordinals.Ackermann.fol.svg" xlink:title="ordinals.Ackermann.fol">
<ellipse fill="white" stroke="black" cx="4190.39" cy="-738" rx="94.78" ry="18"/>
<text text-anchor="middle" x="4190.39" y="-734.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.fol</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.folProp&#45;&gt;ordinals.Ackermann.fol -->
<g id="edge128" class="edge">
<title>ordinals.Ackermann.folProp&#45;&gt;ordinals.Ackermann.fol</title>
<path fill="none" stroke="black" d="M4726.51,-799.05C4607.96,-785.77 4399.26,-762.39 4280.24,-749.06"/>
<polygon fill="black" stroke="black" points="4280.39,-745.56 4270.06,-747.92 4279.61,-752.51 4280.39,-745.56"/>
</g>
<!-- ordinals.Ackermann.ListExt -->
<g id="node98" class="node">
<title>ordinals.Ackermann.ListExt</title>
<g id="a_node98"><a xlink:href="ordinals.Ackermann.ListExt.svg" xlink:title="ordinals.Ackermann.ListExt">
<ellipse fill="white" stroke="black" cx="4816.39" cy="-738" rx="111.28" ry="18"/>
<text text-anchor="middle" x="4816.39" y="-734.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.ListExt</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.folProp&#45;&gt;ordinals.Ackermann.ListExt -->
<g id="edge129" class="edge">
<title>ordinals.Ackermann.folProp&#45;&gt;ordinals.Ackermann.ListExt</title>
<path fill="none" stroke="black" d="M4815.64,-791.7C4815.75,-783.98 4815.88,-774.71 4816,-766.11"/>
<polygon fill="black" stroke="black" points="4819.5,-766.15 4816.15,-756.1 4812.5,-766.05 4819.5,-766.15"/>
</g>
<!-- ordinals.Ackermann.fol&#45;&gt;ordinals.Prelude.Compat815 -->
<g id="edge137" class="edge">
<title>ordinals.Ackermann.fol&#45;&gt;ordinals.Prelude.Compat815</title>
<path fill="none" stroke="black" d="M4100.64,-732.09C3873.67,-719.68 3277.02,-687.05 3025.17,-673.28"/>
<polygon fill="black" stroke="black" points="3025.08,-669.77 3014.9,-672.72 3024.69,-676.76 3025.08,-669.77"/>
</g>
<!-- ordinals.Ackermann.fol&#45;&gt;ordinals.Ackermann.misc -->
<g id="edge138" class="edge">
<title>ordinals.Ackermann.fol&#45;&gt;ordinals.Ackermann.misc</title>
<path fill="none" stroke="black" d="M4258.01,-725.28C4328.63,-713.05 4439.35,-693.86 4514.3,-680.88"/>
<polygon fill="black" stroke="black" points="4514.92,-684.32 4524.17,-679.17 4513.72,-677.43 4514.92,-684.32"/>
</g>
<!-- ordinals.Ackermann.Languages&#45;&gt;ordinals.Ackermann.primRec -->
<g id="edge131" class="edge">
<title>ordinals.Ackermann.Languages&#45;&gt;ordinals.Ackermann.primRec</title>
<path fill="none" stroke="black" d="M4588.34,-1007.99C4611.38,-987.24 4653.52,-952.86 4696.39,-936 4709.98,-930.66 4878.61,-909.01 4990.22,-895.09"/>
<polygon fill="black" stroke="black" points="4990.68,-898.56 5000.17,-893.85 4989.81,-891.61 4990.68,-898.56"/>
</g>
<!-- ordinals.Ackermann.Languages&#45;&gt;ordinals.Ackermann.fol -->
<g id="edge132" class="edge">
<title>ordinals.Ackermann.Languages&#45;&gt;ordinals.Ackermann.fol</title>
<path fill="none" stroke="black" d="M4548.04,-1008.18C4483.09,-959.29 4294.31,-817.22 4220.49,-761.65"/>
<polygon fill="black" stroke="black" points="4222.57,-758.84 4212.48,-755.62 4218.36,-764.43 4222.57,-758.84"/>
</g>
<!-- ordinals.Ackermann.subAll -->
<g id="node103" class="node">
<title>ordinals.Ackermann.subAll</title>
<g id="a_node103"><a xlink:href="ordinals.Ackermann.subAll.svg" xlink:title="ordinals.Ackermann.subAll">
<ellipse fill="white" stroke="black" cx="4873.39" cy="-1314" rx="108.58" ry="18"/>
<text text-anchor="middle" x="4873.39" y="-1310.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.subAll</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.folLogic3&#45;&gt;ordinals.Ackermann.subAll -->
<g id="edge141" class="edge">
<title>ordinals.Ackermann.folLogic3&#45;&gt;ordinals.Ackermann.subAll</title>
<path fill="none" stroke="black" d="M4873.39,-1367.7C4873.39,-1359.98 4873.39,-1350.71 4873.39,-1342.11"/>
<polygon fill="black" stroke="black" points="4876.89,-1342.1 4873.39,-1332.1 4869.89,-1342.1 4876.89,-1342.1"/>
</g>
<!-- ordinals.Ackermann.folLogic -->
<g id="node101" class="node">
<title>ordinals.Ackermann.folLogic</title>
<g id="a_node101"><a xlink:href="ordinals.Ackermann.folLogic.svg" xlink:title="ordinals.Ackermann.folLogic">
<ellipse fill="white" stroke="black" cx="4827.39" cy="-1026" rx="115.88" ry="18"/>
<text text-anchor="middle" x="4827.39" y="-1022.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.folLogic</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.Deduction -->
<g id="node102" class="node">
<title>ordinals.Ackermann.Deduction</title>
<g id="a_node102"><a xlink:href="ordinals.Ackermann.Deduction.svg" xlink:title="ordinals.Ackermann.Deduction">
<ellipse fill="white" stroke="black" cx="4827.39" cy="-954" rx="122.38" ry="18"/>
<text text-anchor="middle" x="4827.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.Deduction</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.folLogic&#45;&gt;ordinals.Ackermann.Deduction -->
<g id="edge139" class="edge">
<title>ordinals.Ackermann.folLogic&#45;&gt;ordinals.Ackermann.Deduction</title>
<path fill="none" stroke="black" d="M4827.39,-1007.7C4827.39,-999.98 4827.39,-990.71 4827.39,-982.11"/>
<polygon fill="black" stroke="black" points="4830.89,-982.1 4827.39,-972.1 4823.89,-982.1 4830.89,-982.1"/>
</g>
<!-- ordinals.Ackermann.Deduction&#45;&gt;ordinals.Ackermann.folProof -->
<g id="edge140" class="edge">
<title>ordinals.Ackermann.Deduction&#45;&gt;ordinals.Ackermann.folProof</title>
<path fill="none" stroke="black" d="M4827.39,-935.7C4827.39,-927.98 4827.39,-918.71 4827.39,-910.11"/>
<polygon fill="black" stroke="black" points="4830.89,-910.1 4827.39,-900.1 4823.89,-910.1 4830.89,-910.1"/>
</g>
<!-- ordinals.Ackermann.folLogic2 -->
<g id="node111" class="node">
<title>ordinals.Ackermann.folLogic2</title>
<g id="a_node111"><a xlink:href="ordinals.Ackermann.folLogic2.svg" xlink:title="ordinals.Ackermann.folLogic2">
<ellipse fill="white" stroke="black" cx="4874.39" cy="-1242" rx="120.48" ry="18"/>
<text text-anchor="middle" x="4874.39" y="-1238.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.folLogic2</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.subAll&#45;&gt;ordinals.Ackermann.folLogic2 -->
<g id="edge150" class="edge">
<title>ordinals.Ackermann.subAll&#45;&gt;ordinals.Ackermann.folLogic2</title>
<path fill="none" stroke="black" d="M4873.64,-1295.7C4873.75,-1287.98 4873.88,-1278.71 4874,-1270.11"/>
<polygon fill="black" stroke="black" points="4877.5,-1270.15 4874.15,-1260.1 4870.5,-1270.05 4877.5,-1270.15"/>
</g>
<!-- ordinals.Ackermann.NN2PA -->
<g id="node104" class="node">
<title>ordinals.Ackermann.NN2PA</title>
<g id="a_node104"><a xlink:href="ordinals.Ackermann.NN2PA.svg" xlink:title="ordinals.Ackermann.NN2PA">
<ellipse fill="white" stroke="black" cx="4971.39" cy="-1746" rx="113.98" ry="18"/>
<text text-anchor="middle" x="4971.39" y="-1742.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.NN2PA</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.PAtheory -->
<g id="node105" class="node">
<title>ordinals.Ackermann.PAtheory</title>
<g id="a_node105"><a xlink:href="ordinals.Ackermann.PAtheory.svg" xlink:title="ordinals.Ackermann.PAtheory">
<ellipse fill="white" stroke="black" cx="4976.39" cy="-1674" rx="118.88" ry="18"/>
<text text-anchor="middle" x="4976.39" y="-1670.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.PAtheory</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.NN2PA&#45;&gt;ordinals.Ackermann.PAtheory -->
<g id="edge142" class="edge">
<title>ordinals.Ackermann.NN2PA&#45;&gt;ordinals.Ackermann.PAtheory</title>
<path fill="none" stroke="black" d="M4972.63,-1727.7C4973.18,-1719.98 4973.84,-1710.71 4974.45,-1702.11"/>
<polygon fill="black" stroke="black" points="4977.95,-1702.33 4975.17,-1692.1 4970.97,-1701.83 4977.95,-1702.33"/>
</g>
<!-- ordinals.Ackermann.NN -->
<g id="node108" class="node">
<title>ordinals.Ackermann.NN</title>
<g id="a_node108"><a xlink:href="ordinals.Ackermann.NN.svg" xlink:title="ordinals.Ackermann.NN">
<ellipse fill="white" stroke="black" cx="4796.39" cy="-1530" rx="98.28" ry="18"/>
<text text-anchor="middle" x="4796.39" y="-1526.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.NN</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.PAtheory&#45;&gt;ordinals.Ackermann.NN -->
<g id="edge146" class="edge">
<title>ordinals.Ackermann.PAtheory&#45;&gt;ordinals.Ackermann.NN</title>
<path fill="none" stroke="black" d="M4954.61,-1656.1C4941.24,-1645.72 4923.8,-1632.13 4908.39,-1620 4880.06,-1597.7 4847.84,-1572.07 4825.26,-1554.06"/>
<polygon fill="black" stroke="black" points="4827.4,-1551.29 4817.4,-1547.79 4823.03,-1556.76 4827.4,-1551.29"/>
</g>
<!-- ordinals.Ackermann.LNN2LNT -->
<g id="node109" class="node">
<title>ordinals.Ackermann.LNN2LNT</title>
<g id="a_node109"><a xlink:href="ordinals.Ackermann.LNN2LNT.svg" xlink:title="ordinals.Ackermann.LNN2LNT">
<ellipse fill="white" stroke="black" cx="5042.39" cy="-1602" rx="124.58" ry="18"/>
<text text-anchor="middle" x="5042.39" y="-1598.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.LNN2LNT</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.PAtheory&#45;&gt;ordinals.Ackermann.LNN2LNT -->
<g id="edge147" class="edge">
<title>ordinals.Ackermann.PAtheory&#45;&gt;ordinals.Ackermann.LNN2LNT</title>
<path fill="none" stroke="black" d="M4992.37,-1656.05C5000.36,-1647.58 5010.18,-1637.17 5018.99,-1627.82"/>
<polygon fill="black" stroke="black" points="5021.79,-1629.95 5026.1,-1620.28 5016.7,-1625.15 5021.79,-1629.95"/>
</g>
<!-- ordinals.Ackermann.PA -->
<g id="node110" class="node">
<title>ordinals.Ackermann.PA</title>
<g id="a_node110"><a xlink:href="ordinals.Ackermann.PA.svg" xlink:title="ordinals.Ackermann.PA">
<ellipse fill="white" stroke="black" cx="5282.39" cy="-1602" rx="96.68" ry="18"/>
<text text-anchor="middle" x="5282.39" y="-1598.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.PA</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.PAtheory&#45;&gt;ordinals.Ackermann.PA -->
<g id="edge148" class="edge">
<title>ordinals.Ackermann.PAtheory&#45;&gt;ordinals.Ackermann.PA</title>
<path fill="none" stroke="black" d="M5039.05,-1658.67C5089.98,-1647.02 5161.7,-1630.61 5214.08,-1618.63"/>
<polygon fill="black" stroke="black" points="5214.99,-1622.01 5223.96,-1616.37 5213.43,-1615.18 5214.99,-1622.01"/>
</g>
<!-- ordinals.Ackermann.subProp -->
<g id="node106" class="node">
<title>ordinals.Ackermann.subProp</title>
<g id="a_node106"><a xlink:href="ordinals.Ackermann.subProp.svg" xlink:title="ordinals.Ackermann.subProp">
<ellipse fill="white" stroke="black" cx="4875.39" cy="-1170" rx="114.28" ry="18"/>
<text text-anchor="middle" x="4875.39" y="-1166.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.subProp</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.folReplace -->
<g id="node107" class="node">
<title>ordinals.Ackermann.folReplace</title>
<g id="a_node107"><a xlink:href="ordinals.Ackermann.folReplace.svg" xlink:title="ordinals.Ackermann.folReplace">
<ellipse fill="white" stroke="black" cx="4876.39" cy="-1098" rx="123.48" ry="18"/>
<text text-anchor="middle" x="4876.39" y="-1094.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.folReplace</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.subProp&#45;&gt;ordinals.Ackermann.folReplace -->
<g id="edge143" class="edge">
<title>ordinals.Ackermann.subProp&#45;&gt;ordinals.Ackermann.folReplace</title>
<path fill="none" stroke="black" d="M4875.64,-1151.7C4875.75,-1143.98 4875.88,-1134.71 4876,-1126.11"/>
<polygon fill="black" stroke="black" points="4879.5,-1126.15 4876.15,-1116.1 4872.5,-1126.05 4879.5,-1126.15"/>
</g>
<!-- ordinals.Ackermann.folReplace&#45;&gt;ordinals.Ackermann.folLogic -->
<g id="edge144" class="edge">
<title>ordinals.Ackermann.folReplace&#45;&gt;ordinals.Ackermann.folLogic</title>
<path fill="none" stroke="black" d="M4864.53,-1080.05C4858.78,-1071.84 4851.74,-1061.79 4845.35,-1052.66"/>
<polygon fill="black" stroke="black" points="4848.09,-1050.46 4839.48,-1044.28 4842.35,-1054.47 4848.09,-1050.46"/>
</g>
<!-- ordinals.Ackermann.NN&#45;&gt;ordinals.Ackermann.LNN -->
<g id="edge145" class="edge">
<title>ordinals.Ackermann.NN&#45;&gt;ordinals.Ackermann.LNN</title>
<path fill="none" stroke="black" d="M4782.59,-1512.05C4775.76,-1503.67 4767.38,-1493.38 4759.83,-1484.1"/>
<polygon fill="black" stroke="black" points="4762.49,-1481.82 4753.46,-1476.28 4757.06,-1486.24 4762.49,-1481.82"/>
</g>
<!-- ordinals.Ackermann.LNN2LNT&#45;&gt;ordinals.Ackermann.codeNatToTerm -->
<g id="edge149" class="edge">
<title>ordinals.Ackermann.LNN2LNT&#45;&gt;ordinals.Ackermann.codeNatToTerm</title>
<path fill="none" stroke="black" d="M5054.98,-1584.05C5061.15,-1575.75 5068.7,-1565.58 5075.54,-1556.38"/>
<polygon fill="black" stroke="black" points="5078.4,-1558.39 5081.56,-1548.28 5072.79,-1554.22 5078.4,-1558.39"/>
</g>
<!-- ordinals.Ackermann.PA&#45;&gt;ordinals.Ackermann.LNT -->
<g id="edge151" class="edge">
<title>ordinals.Ackermann.PA&#45;&gt;ordinals.Ackermann.LNT</title>
<path fill="none" stroke="black" d="M5280.14,-1583.76C5276.62,-1563.76 5267.95,-1531.09 5247.39,-1512 5225.59,-1491.76 5196.19,-1479.24 5167.91,-1471.51"/>
<polygon fill="black" stroke="black" points="5168.53,-1468.05 5157.98,-1468.97 5166.8,-1474.83 5168.53,-1468.05"/>
</g>
<!-- ordinals.Ackermann.folLogic2&#45;&gt;ordinals.Ackermann.subProp -->
<g id="edge168" class="edge">
<title>ordinals.Ackermann.folLogic2&#45;&gt;ordinals.Ackermann.subProp</title>
<path fill="none" stroke="black" d="M4874.64,-1223.7C4874.75,-1215.98 4874.88,-1206.71 4875,-1198.11"/>
<polygon fill="black" stroke="black" points="4878.5,-1198.15 4875.15,-1188.1 4871.5,-1198.05 4878.5,-1198.15"/>
</g>
<!-- ordinals.Ackermann.prLogic -->
<g id="node112" class="node">
<title>ordinals.Ackermann.prLogic</title>
<g id="a_node112"><a xlink:href="ordinals.Ackermann.prLogic.svg" xlink:title="ordinals.Ackermann.prLogic">
<ellipse fill="white" stroke="black" cx="5858.39" cy="-1602" rx="113.18" ry="18"/>
<text text-anchor="middle" x="5858.39" y="-1598.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.prLogic</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.prLogic&#45;&gt;ordinals.Ackermann.code -->
<g id="edge152" class="edge">
<title>ordinals.Ackermann.prLogic&#45;&gt;ordinals.Ackermann.code</title>
<path fill="none" stroke="black" d="M5806.71,-1585.96C5786.98,-1577.75 5765.99,-1565.57 5752.39,-1548 5738.83,-1530.48 5734.42,-1505.44 5733.21,-1486.38"/>
<polygon fill="black" stroke="black" points="5736.7,-1486.09 5732.83,-1476.23 5729.71,-1486.35 5736.7,-1486.09"/>
</g>
<!-- ordinals.Ackermann.wellFormed -->
<g id="node113" class="node">
<title>ordinals.Ackermann.wellFormed</title>
<g id="a_node113"><a xlink:href="ordinals.Ackermann.wellFormed.svg" xlink:title="ordinals.Ackermann.wellFormed">
<ellipse fill="white" stroke="black" cx="6167.39" cy="-1530" rx="128.08" ry="18"/>
<text text-anchor="middle" x="6167.39" y="-1526.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.wellFormed</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.wellFormed&#45;&gt;ordinals.Ackermann.code -->
<g id="edge153" class="edge">
<title>ordinals.Ackermann.wellFormed&#45;&gt;ordinals.Ackermann.code</title>
<path fill="none" stroke="black" d="M6086.78,-1516C6009.71,-1503.57 5894.05,-1484.91 5816.24,-1472.36"/>
<polygon fill="black" stroke="black" points="5816.43,-1468.85 5806,-1470.71 5815.31,-1475.76 5816.43,-1468.85"/>
</g>
<!-- ordinals.Ackermann.codeList -->
<g id="node114" class="node">
<title>ordinals.Ackermann.codeList</title>
<g id="a_node114"><a xlink:href="ordinals.Ackermann.codeList.svg" xlink:title="ordinals.Ackermann.codeList">
<ellipse fill="white" stroke="black" cx="6118.39" cy="-1386" rx="115.88" ry="18"/>
<text text-anchor="middle" x="6118.39" y="-1382.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.codeList</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.wellFormed&#45;&gt;ordinals.Ackermann.codeList -->
<g id="edge154" class="edge">
<title>ordinals.Ackermann.wellFormed&#45;&gt;ordinals.Ackermann.codeList</title>
<path fill="none" stroke="black" d="M6161.48,-1511.87C6153.09,-1487.56 6137.65,-1442.82 6127.71,-1414.01"/>
<polygon fill="black" stroke="black" points="6130.89,-1412.5 6124.32,-1404.19 6124.28,-1414.78 6130.89,-1412.5"/>
</g>
<!-- ordinals.Ackermann.codeList&#45;&gt;ordinals.Ackermann.cPair -->
<g id="edge155" class="edge">
<title>ordinals.Ackermann.codeList&#45;&gt;ordinals.Ackermann.cPair</title>
<path fill="none" stroke="black" d="M6086.81,-1368.68C6012.45,-1329.62 5821.8,-1225.83 5678.39,-1116 5659.92,-1101.85 5660.4,-1091.87 5640.39,-1080 5612.53,-1063.47 5578.9,-1051.44 5549.37,-1043.07"/>
<polygon fill="black" stroke="black" points="5550.1,-1039.64 5539.53,-1040.36 5548.24,-1046.39 5550.1,-1039.64"/>
</g>
<!-- ordinals.Ackermann.codeList&#45;&gt;ordinals.Ackermann.ListExt -->
<g id="edge156" class="edge">
<title>ordinals.Ackermann.codeList&#45;&gt;ordinals.Ackermann.ListExt</title>
<path fill="none" stroke="black" d="M6220.56,-1377.55C6370.45,-1363.77 6632.39,-1327.59 6632.39,-1243 6632.39,-1243 6632.39,-1243 6632.39,-881 6632.39,-795.61 5339.4,-753.22 4935.47,-742.06"/>
<polygon fill="black" stroke="black" points="4935.32,-738.56 4925.23,-741.78 4935.13,-745.55 4935.32,-738.56"/>
</g>
<!-- ordinals.Ackermann.checkPrf -->
<g id="node115" class="node">
<title>ordinals.Ackermann.checkPrf</title>
<g id="a_node115"><a xlink:href="ordinals.Ackermann.checkPrf.svg" xlink:title="ordinals.Ackermann.checkPrf">
<ellipse fill="white" stroke="black" cx="5848.39" cy="-1674" rx="116.18" ry="18"/>
<text text-anchor="middle" x="5848.39" y="-1670.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.checkPrf</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.checkPrf&#45;&gt;ordinals.Ackermann.prLogic -->
<g id="edge157" class="edge">
<title>ordinals.Ackermann.checkPrf&#45;&gt;ordinals.Ackermann.prLogic</title>
<path fill="none" stroke="black" d="M5850.86,-1655.7C5851.96,-1647.98 5853.29,-1638.71 5854.52,-1630.11"/>
<polygon fill="black" stroke="black" points="5858,-1630.5 5855.95,-1620.1 5851.07,-1629.51 5858,-1630.5"/>
</g>
<!-- ordinals.Ackermann.checkPrf&#45;&gt;ordinals.Ackermann.wellFormed -->
<g id="edge158" class="edge">
<title>ordinals.Ackermann.checkPrf&#45;&gt;ordinals.Ackermann.wellFormed</title>
<path fill="none" stroke="black" d="M5889.99,-1657.07C5916.11,-1646.87 5950.42,-1633.13 5980.39,-1620 6030.63,-1597.98 6087.41,-1570.6 6125.09,-1552.06"/>
<polygon fill="black" stroke="black" points="6126.82,-1555.11 6134.24,-1547.55 6123.72,-1548.83 6126.82,-1555.11"/>
</g>
<!-- ordinals.Ackermann.codeSubFormula -->
<g id="node116" class="node">
<title>ordinals.Ackermann.codeSubFormula</title>
<g id="a_node116"><a xlink:href="ordinals.Ackermann.codeSubFormula.svg" xlink:title="ordinals.Ackermann.codeSubFormula">
<ellipse fill="white" stroke="black" cx="5581.39" cy="-1602" rx="145.67" ry="18"/>
<text text-anchor="middle" x="5581.39" y="-1598.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.codeSubFormula</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.checkPrf&#45;&gt;ordinals.Ackermann.codeSubFormula -->
<g id="edge159" class="edge">
<title>ordinals.Ackermann.checkPrf&#45;&gt;ordinals.Ackermann.codeSubFormula</title>
<path fill="none" stroke="black" d="M5792.09,-1658.24C5750.7,-1647.39 5694.22,-1632.58 5650.16,-1621.03"/>
<polygon fill="black" stroke="black" points="5650.95,-1617.62 5640.39,-1618.47 5649.17,-1624.39 5650.95,-1617.62"/>
</g>
<!-- ordinals.Ackermann.codeFreeVar -->
<g id="node117" class="node">
<title>ordinals.Ackermann.codeFreeVar</title>
<g id="a_node117"><a xlink:href="ordinals.Ackermann.codeFreeVar.svg" xlink:title="ordinals.Ackermann.codeFreeVar">
<ellipse fill="white" stroke="black" cx="5891.39" cy="-1530" rx="129.98" ry="18"/>
<text text-anchor="middle" x="5891.39" y="-1526.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.codeFreeVar</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.codeSubFormula&#45;&gt;ordinals.Ackermann.codeFreeVar -->
<g id="edge162" class="edge">
<title>ordinals.Ackermann.codeSubFormula&#45;&gt;ordinals.Ackermann.codeFreeVar</title>
<path fill="none" stroke="black" d="M5647.89,-1585.98C5697.43,-1574.8 5765.1,-1559.52 5816.53,-1547.9"/>
<polygon fill="black" stroke="black" points="5817.61,-1551.25 5826.59,-1545.63 5816.07,-1544.42 5817.61,-1551.25"/>
</g>
<!-- ordinals.Ackermann.codeSubTerm -->
<g id="node118" class="node">
<title>ordinals.Ackermann.codeSubTerm</title>
<g id="a_node118"><a xlink:href="ordinals.Ackermann.codeSubTerm.svg" xlink:title="ordinals.Ackermann.codeSubTerm">
<ellipse fill="white" stroke="black" cx="5570.39" cy="-1530" rx="135.38" ry="18"/>
<text text-anchor="middle" x="5570.39" y="-1526.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.codeSubTerm</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.codeSubFormula&#45;&gt;ordinals.Ackermann.codeSubTerm -->
<g id="edge163" class="edge">
<title>ordinals.Ackermann.codeSubFormula&#45;&gt;ordinals.Ackermann.codeSubTerm</title>
<path fill="none" stroke="black" d="M5578.67,-1583.7C5577.46,-1575.98 5576,-1566.71 5574.65,-1558.11"/>
<polygon fill="black" stroke="black" points="5578.09,-1557.44 5573.08,-1548.1 5571.17,-1558.53 5578.09,-1557.44"/>
</g>
<!-- ordinals.Ackermann.codeFreeVar&#45;&gt;ordinals.Ackermann.code -->
<g id="edge160" class="edge">
<title>ordinals.Ackermann.codeFreeVar&#45;&gt;ordinals.Ackermann.code</title>
<path fill="none" stroke="black" d="M5854.35,-1512.59C5831.72,-1502.56 5802.62,-1489.67 5778.64,-1479.05"/>
<polygon fill="black" stroke="black" points="5779.95,-1475.8 5769.39,-1474.95 5777.11,-1482.2 5779.95,-1475.8"/>
</g>
<!-- ordinals.Ackermann.codeFreeVar&#45;&gt;ordinals.Ackermann.codeList -->
<g id="edge161" class="edge">
<title>ordinals.Ackermann.codeFreeVar&#45;&gt;ordinals.Ackermann.codeList</title>
<path fill="none" stroke="black" d="M5918.32,-1512.15C5959.39,-1486.46 6037.69,-1437.49 6083.2,-1409.01"/>
<polygon fill="black" stroke="black" points="6085.22,-1411.88 6091.85,-1403.61 6081.51,-1405.94 6085.22,-1411.88"/>
</g>
<!-- ordinals.Ackermann.codeSubTerm&#45;&gt;ordinals.Ackermann.code -->
<g id="edge169" class="edge">
<title>ordinals.Ackermann.codeSubTerm&#45;&gt;ordinals.Ackermann.code</title>
<path fill="none" stroke="black" d="M5608.61,-1512.59C5632.14,-1502.48 5662.45,-1489.47 5687.3,-1478.79"/>
<polygon fill="black" stroke="black" points="5688.73,-1481.99 5696.54,-1474.83 5685.97,-1475.56 5688.73,-1481.99"/>
</g>
<!-- ordinals.Ackermann.codePA -->
<g id="node119" class="node">
<title>ordinals.Ackermann.codePA</title>
<g id="a_node119"><a xlink:href="ordinals.Ackermann.codePA.svg" xlink:title="ordinals.Ackermann.codePA">
<ellipse fill="white" stroke="black" cx="5594.39" cy="-1674" rx="113.18" ry="18"/>
<text text-anchor="middle" x="5594.39" y="-1670.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.codePA</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.codePA&#45;&gt;ordinals.Ackermann.PA -->
<g id="edge164" class="edge">
<title>ordinals.Ackermann.codePA&#45;&gt;ordinals.Ackermann.PA</title>
<path fill="none" stroke="black" d="M5531.63,-1658.92C5479.45,-1647.21 5405.28,-1630.57 5351.43,-1618.49"/>
<polygon fill="black" stroke="black" points="5352.14,-1615.06 5341.62,-1616.29 5350.61,-1621.89 5352.14,-1615.06"/>
</g>
<!-- ordinals.Ackermann.codePA&#45;&gt;ordinals.Ackermann.prLogic -->
<g id="edge165" class="edge">
<title>ordinals.Ackermann.codePA&#45;&gt;ordinals.Ackermann.prLogic</title>
<path fill="none" stroke="black" d="M5650.06,-1658.24C5691.83,-1647.16 5749.14,-1631.97 5793.07,-1620.32"/>
<polygon fill="black" stroke="black" points="5794.03,-1623.69 5802.8,-1617.74 5792.24,-1616.92 5794.03,-1623.69"/>
</g>
<!-- ordinals.Ackermann.codePA&#45;&gt;ordinals.Ackermann.codeSubFormula -->
<g id="edge166" class="edge">
<title>ordinals.Ackermann.codePA&#45;&gt;ordinals.Ackermann.codeSubFormula</title>
<path fill="none" stroke="black" d="M5591.18,-1655.7C5589.74,-1647.98 5588.02,-1638.71 5586.43,-1630.11"/>
<polygon fill="black" stroke="black" points="5589.83,-1629.3 5584.57,-1620.1 5582.95,-1630.58 5589.83,-1629.3"/>
</g>
<!-- ordinals.Ackermann.NNtheory -->
<g id="node120" class="node">
<title>ordinals.Ackermann.NNtheory</title>
<g id="a_node120"><a xlink:href="ordinals.Ackermann.NNtheory.svg" xlink:title="ordinals.Ackermann.NNtheory">
<ellipse fill="white" stroke="black" cx="4703.39" cy="-1602" rx="120.48" ry="18"/>
<text text-anchor="middle" x="4703.39" y="-1598.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.NNtheory</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.NNtheory&#45;&gt;ordinals.Ackermann.NN -->
<g id="edge167" class="edge">
<title>ordinals.Ackermann.NNtheory&#45;&gt;ordinals.Ackermann.NN</title>
<path fill="none" stroke="black" d="M4725.9,-1584.05C4737.99,-1574.96 4753.04,-1563.63 4766.14,-1553.77"/>
<polygon fill="black" stroke="black" points="4768.52,-1556.36 4774.41,-1547.55 4764.31,-1550.76 4768.52,-1556.36"/>
</g>
<!-- ordinals.Ackermann.expressible -->
<g id="node121" class="node">
<title>ordinals.Ackermann.expressible</title>
<g id="a_node121"><a xlink:href="ordinals.Ackermann.expressible.svg" xlink:title="ordinals.Ackermann.expressible">
<ellipse fill="white" stroke="black" cx="4555.39" cy="-1530" rx="124.58" ry="18"/>
<text text-anchor="middle" x="4555.39" y="-1526.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.expressible</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.expressible&#45;&gt;ordinals.Ackermann.LNN -->
<g id="edge170" class="edge">
<title>ordinals.Ackermann.expressible&#45;&gt;ordinals.Ackermann.LNN</title>
<path fill="none" stroke="black" d="M4597.6,-1512.94C4624.77,-1502.61 4660.23,-1489.12 4688.89,-1478.21"/>
<polygon fill="black" stroke="black" points="4690.22,-1481.45 4698.32,-1474.62 4687.73,-1474.91 4690.22,-1481.45"/>
</g>
<!-- ordinals.Ackermann.model -->
<g id="node122" class="node">
<title>ordinals.Ackermann.model</title>
<g id="a_node122"><a xlink:href="ordinals.Ackermann.model.svg" xlink:title="ordinals.Ackermann.model">
<ellipse fill="white" stroke="black" cx="5157.39" cy="-1386" rx="107.78" ry="18"/>
<text text-anchor="middle" x="5157.39" y="-1382.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.model</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.model&#45;&gt;ordinals.Ackermann.folProof -->
<g id="edge171" class="edge">
<title>ordinals.Ackermann.model&#45;&gt;ordinals.Ackermann.folProof</title>
<path fill="none" stroke="black" d="M5136.97,-1368.05C5109.87,-1343.51 5065.39,-1295.29 5065.39,-1243 5065.39,-1243 5065.39,-1243 5065.39,-1169 5065.39,-1055.05 5043.35,-1011.94 4958.39,-936 4940.86,-920.33 4918.1,-908.97 4896.49,-900.88"/>
<polygon fill="black" stroke="black" points="4897.58,-897.56 4886.98,-897.5 4895.23,-904.15 4897.58,-897.56"/>
</g>
<!-- ordinals.Ackermann.PAconsistent -->
<g id="node123" class="node">
<title>ordinals.Ackermann.PAconsistent</title>
<g id="a_node123"><a xlink:href="ordinals.Ackermann.PAconsistent.svg" xlink:title="ordinals.Ackermann.PAconsistent">
<ellipse fill="white" stroke="black" cx="5293.39" cy="-1674" rx="131.88" ry="18"/>
<text text-anchor="middle" x="5293.39" y="-1670.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.PAconsistent</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.PAconsistent&#45;&gt;ordinals.Ackermann.PA -->
<g id="edge172" class="edge">
<title>ordinals.Ackermann.PAconsistent&#45;&gt;ordinals.Ackermann.PA</title>
<path fill="none" stroke="black" d="M5290.67,-1655.7C5289.46,-1647.98 5288,-1638.71 5286.65,-1630.11"/>
<polygon fill="black" stroke="black" points="5290.09,-1629.44 5285.08,-1620.1 5283.17,-1630.53 5290.09,-1629.44"/>
</g>
<!-- ordinals.Ackermann.PAconsistent&#45;&gt;ordinals.Ackermann.model -->
<g id="edge173" class="edge">
<title>ordinals.Ackermann.PAconsistent&#45;&gt;ordinals.Ackermann.model</title>
<path fill="none" stroke="black" d="M5343.08,-1657.28C5360.56,-1649.09 5378.35,-1637.1 5388.39,-1620 5396.49,-1606.2 5395.09,-1598.53 5388.39,-1584 5349.48,-1499.68 5254.71,-1438.11 5199.4,-1407.92"/>
<polygon fill="black" stroke="black" points="5201.01,-1404.81 5190.55,-1403.17 5197.7,-1410.98 5201.01,-1404.81"/>
</g>
<!-- ordinals.Ackermann.wConsistent -->
<g id="node124" class="node">
<title>ordinals.Ackermann.wConsistent</title>
<g id="a_node124"><a xlink:href="ordinals.Ackermann.wConsistent.svg" xlink:title="ordinals.Ackermann.wConsistent">
<ellipse fill="white" stroke="black" cx="4596.39" cy="-1818" rx="128.88" ry="18"/>
<text text-anchor="middle" x="4596.39" y="-1814.3" font-family="Times,serif" font-size="14.00">ordinals.Ackermann.wConsistent</text>
</a>
</g>
</g>
<!-- ordinals.Ackermann.wConsistent&#45;&gt;ordinals.Ackermann.LNN -->
<g id="edge174" class="edge">
<title>ordinals.Ackermann.wConsistent&#45;&gt;ordinals.Ackermann.LNN</title>
<path fill="none" stroke="black" d="M4539.5,-1801.77C4482.25,-1782.6 4402.39,-1743.56 4402.39,-1675 4402.39,-1675 4402.39,-1675 4402.39,-1601 4402.39,-1560.55 4392.15,-1539.95 4421.39,-1512 4450.98,-1483.72 4550.54,-1470.46 4630.47,-1464.28"/>
<polygon fill="black" stroke="black" points="4630.9,-1467.76 4640.61,-1463.52 4630.38,-1460.78 4630.9,-1467.76"/>
</g>
<!-- ordinals.MoreAck.fol_Examples -->
<g id="node125" class="node">
<title>ordinals.MoreAck.fol_Examples</title>
<g id="a_node125"><a xlink:href="ordinals.MoreAck.fol_Examples.svg" xlink:title="ordinals.MoreAck.fol_Examples">
<ellipse fill="white" stroke="black" cx="3757.39" cy="-1098" rx="127.28" ry="18"/>
<text text-anchor="middle" x="3757.39" y="-1094.3" font-family="Times,serif" font-size="14.00">ordinals.MoreAck.fol_Examples</text>
</a>
</g>
</g>
<!-- ordinals.MoreAck.fol_Examples&#45;&gt;ordinals.Ackermann.folProof -->
<g id="edge175" class="edge">
<title>ordinals.MoreAck.fol_Examples&#45;&gt;ordinals.Ackermann.folProof</title>
<path fill="none" stroke="black" d="M3846.65,-1085.05C3939.97,-1072.25 4076.08,-1052.63 4099.39,-1044 4127.84,-1033.47 4129.1,-1018.97 4157.39,-1008 4345.2,-935.16 4579.51,-903.92 4715.43,-891.16"/>
<polygon fill="black" stroke="black" points="4715.81,-894.64 4725.44,-890.24 4715.16,-887.67 4715.81,-894.64"/>
</g>
<!-- ordinals.MoreAck.fol_Examples&#45;&gt;ordinals.Ackermann.Languages -->
<g id="edge176" class="edge">
<title>ordinals.MoreAck.fol_Examples&#45;&gt;ordinals.Ackermann.Languages</title>
<path fill="none" stroke="black" d="M3857.18,-1086.79C3881.46,-1084.44 3907.35,-1082.03 3931.39,-1080 4156.05,-1061.04 4213.04,-1066.3 4437.39,-1044 4449.06,-1042.84 4461.29,-1041.48 4473.41,-1040.04"/>
<polygon fill="black" stroke="black" points="4474.04,-1043.49 4483.55,-1038.81 4473.2,-1036.54 4474.04,-1043.49"/>
</g>
<!-- ordinals.MoreAck.FOL_notations -->
<g id="node126" class="node">
<title>ordinals.MoreAck.FOL_notations</title>
<g id="a_node126"><a xlink:href="ordinals.MoreAck.FOL_notations.svg" xlink:title="ordinals.MoreAck.FOL_notations">
<ellipse fill="white" stroke="black" cx="4297.39" cy="-1026" rx="131.08" ry="18"/>
<text text-anchor="middle" x="4297.39" y="-1022.3" font-family="Times,serif" font-size="14.00">ordinals.MoreAck.FOL_notations</text>
</a>
</g>
</g>
<!-- ordinals.MoreAck.fol_Examples&#45;&gt;ordinals.MoreAck.FOL_notations -->
<g id="edge177" class="edge">
<title>ordinals.MoreAck.fol_Examples&#45;&gt;ordinals.MoreAck.FOL_notations</title>
<path fill="none" stroke="black" d="M3847.77,-1085.28C3943.71,-1072.85 4095.02,-1053.23 4195.22,-1040.24"/>
<polygon fill="black" stroke="black" points="4195.89,-1043.69 4205.36,-1038.93 4194.99,-1036.75 4195.89,-1043.69"/>
</g>
<!-- ordinals.MoreAck.FOL_notations&#45;&gt;ordinals.Ackermann.fol -->
<g id="edge178" class="edge">
<title>ordinals.MoreAck.FOL_notations&#45;&gt;ordinals.Ackermann.fol</title>
<path fill="none" stroke="black" d="M4181.7,-1017.35C4088.27,-1009.59 3965.35,-995.35 3921.39,-972 3883.32,-951.78 3871.87,-940.24 3856.39,-900 3816.69,-796.77 3980.73,-759.59 4092.91,-746.29"/>
<polygon fill="black" stroke="black" points="4093.38,-749.76 4102.92,-745.15 4092.58,-742.81 4093.38,-749.76"/>
</g>
<!-- ordinals.MoreAck.LNN_Examples -->
<g id="node127" class="node">
<title>ordinals.MoreAck.LNN_Examples</title>
<g id="a_node127"><a xlink:href="ordinals.MoreAck.LNN_Examples.svg" xlink:title="ordinals.MoreAck.LNN_Examples">
<ellipse fill="white" stroke="black" cx="4142.39" cy="-1818" rx="135.68" ry="18"/>
<text text-anchor="middle" x="4142.39" y="-1814.3" font-family="Times,serif" font-size="14.00">ordinals.MoreAck.LNN_Examples</text>
</a>
</g>
</g>
<!-- ordinals.MoreAck.LNN_Examples&#45;&gt;ordinals.MoreAck.FOL_notations -->
<g id="edge179" class="edge">
<title>ordinals.MoreAck.LNN_Examples&#45;&gt;ordinals.MoreAck.FOL_notations</title>
<path fill="none" stroke="black" d="M4066.76,-1803.02C3999.73,-1785.74 3912.39,-1749.03 3912.39,-1675 3912.39,-1675 3912.39,-1675 3912.39,-1169 3912.39,-1128.55 3901.86,-1107.63 3931.39,-1080 3940.93,-1071.08 4086.27,-1052.08 4190.88,-1039.42"/>
<polygon fill="black" stroke="black" points="4191.36,-1042.89 4200.87,-1038.22 4190.52,-1035.94 4191.36,-1042.89"/>
</g>
<!-- ordinals.MoreAck.LNN_notations -->
<g id="node128" class="node">
<title>ordinals.MoreAck.LNN_notations</title>
<g id="a_node128"><a xlink:href="ordinals.MoreAck.LNN_notations.svg" xlink:title="ordinals.MoreAck.LNN_notations">
<ellipse fill="white" stroke="black" cx="4604.39" cy="-1746" rx="132.68" ry="18"/>
<text text-anchor="middle" x="4604.39" y="-1742.3" font-family="Times,serif" font-size="14.00">ordinals.MoreAck.LNN_notations</text>
</a>
</g>
</g>
<!-- ordinals.MoreAck.LNN_Examples&#45;&gt;ordinals.MoreAck.LNN_notations -->
<g id="edge180" class="edge">
<title>ordinals.MoreAck.LNN_Examples&#45;&gt;ordinals.MoreAck.LNN_notations</title>
<path fill="none" stroke="black" d="M4228.21,-1804C4308.07,-1791.9 4426.88,-1773.9 4509.53,-1761.37"/>
<polygon fill="black" stroke="black" points="4510.06,-1764.83 4519.43,-1759.87 4509.01,-1757.91 4510.06,-1764.83"/>
</g>
<!-- ordinals.MoreAck.LNN_notations&#45;&gt;ordinals.Ackermann.PAtheory -->
<g id="edge181" class="edge">
<title>ordinals.MoreAck.LNN_notations&#45;&gt;ordinals.Ackermann.PAtheory</title>
<path fill="none" stroke="black" d="M4678.78,-1731C4741.27,-1719.24 4830.43,-1702.46 4894.86,-1690.34"/>
<polygon fill="black" stroke="black" points="4895.8,-1693.73 4904.98,-1688.44 4894.5,-1686.85 4895.8,-1693.73"/>
</g>
<!-- ordinals.MoreAck.Iterate_compat -->
<g id="node129" class="node">
<title>ordinals.MoreAck.Iterate_compat</title>
<g id="a_node129"><a xlink:href="ordinals.MoreAck.Iterate_compat.svg" xlink:title="ordinals.MoreAck.Iterate_compat">
<ellipse fill="white" stroke="black" cx="6473.39" cy="-954" rx="131.08" ry="18"/>
<text text-anchor="middle" x="6473.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.MoreAck.Iterate_compat</text>
</a>
</g>
</g>
<!-- ordinals.MoreAck.Iterate_compat&#45;&gt;ordinals.Prelude.Iterates -->
<g id="edge182" class="edge">
<title>ordinals.MoreAck.Iterate_compat&#45;&gt;ordinals.Prelude.Iterates</title>
<path fill="none" stroke="black" d="M6531.7,-937.87C6589.79,-918.85 6670.39,-880.04 6670.39,-811 6670.39,-811 6670.39,-811 6670.39,-737 6670.39,-599 4480.81,-593.98 3966.57,-594.71"/>
<polygon fill="black" stroke="black" points="3966.55,-591.21 3956.56,-594.72 3966.57,-598.21 3966.55,-591.21"/>
</g>
<!-- ordinals.MoreAck.Iterate_compat&#45;&gt;ordinals.Ackermann.primRec -->
<g id="edge183" class="edge">
<title>ordinals.MoreAck.Iterate_compat&#45;&gt;ordinals.Ackermann.primRec</title>
<path fill="none" stroke="black" d="M6382.48,-940.99C6365.84,-939.09 6348.61,-937.32 6332.39,-936 5923.92,-902.72 5438.19,-889.67 5213.65,-885.13"/>
<polygon fill="black" stroke="black" points="5213.55,-881.63 5203.48,-884.93 5213.41,-888.63 5213.55,-881.63"/>
</g>
<!-- ordinals.MoreAck.folPeirce -->
<g id="node130" class="node">
<title>ordinals.MoreAck.folPeirce</title>
<g id="a_node130"><a xlink:href="ordinals.MoreAck.folPeirce.svg" xlink:title="ordinals.MoreAck.folPeirce">
<ellipse fill="white" stroke="black" cx="4281.39" cy="-1098" rx="109.68" ry="18"/>
<text text-anchor="middle" x="4281.39" y="-1094.3" font-family="Times,serif" font-size="14.00">ordinals.MoreAck.folPeirce</text>
</a>
</g>
</g>
<!-- ordinals.MoreAck.folPeirce&#45;&gt;ordinals.Ackermann.Languages -->
<g id="edge184" class="edge">
<title>ordinals.MoreAck.folPeirce&#45;&gt;ordinals.Ackermann.Languages</title>
<path fill="none" stroke="black" d="M4340.22,-1082.75C4386.39,-1071.57 4450.81,-1055.96 4499.76,-1044.11"/>
<polygon fill="black" stroke="black" points="4500.76,-1047.47 4509.65,-1041.71 4499.11,-1040.66 4500.76,-1047.47"/>
</g>
<!-- ordinals.MoreAck.folPeirce&#45;&gt;ordinals.Ackermann.folLogic -->
<g id="edge185" class="edge">
<title>ordinals.MoreAck.folPeirce&#45;&gt;ordinals.Ackermann.folLogic</title>
<path fill="none" stroke="black" d="M4360.41,-1085.45C4373.75,-1083.57 4387.46,-1081.69 4400.39,-1080 4534.42,-1062.44 4568.31,-1061.11 4702.39,-1044 4712.6,-1042.7 4723.27,-1041.3 4733.89,-1039.89"/>
<polygon fill="black" stroke="black" points="4734.59,-1043.32 4744.04,-1038.53 4733.67,-1036.39 4734.59,-1043.32"/>
</g>
<!-- ordinals.MoreAck.folPeirce&#45;&gt;ordinals.MoreAck.FOL_notations -->
<g id="edge186" class="edge">
<title>ordinals.MoreAck.folPeirce&#45;&gt;ordinals.MoreAck.FOL_notations</title>
<path fill="none" stroke="black" d="M4285.35,-1079.7C4287.11,-1071.98 4289.23,-1062.71 4291.19,-1054.11"/>
<polygon fill="black" stroke="black" points="4294.67,-1054.63 4293.48,-1044.1 4287.84,-1053.07 4294.67,-1054.63"/>
</g>
<!-- ordinals.MoreAck.drinkers -->
<g id="node131" class="node">
<title>ordinals.MoreAck.drinkers</title>
<g id="a_node131"><a xlink:href="ordinals.MoreAck.drinkers.svg" xlink:title="ordinals.MoreAck.drinkers">
<ellipse fill="white" stroke="black" cx="4047.39" cy="-1098" rx="106.68" ry="18"/>
<text text-anchor="middle" x="4047.39" y="-1094.3" font-family="Times,serif" font-size="14.00">ordinals.MoreAck.drinkers</text>
</a>
</g>
</g>
<!-- ordinals.MoreAck.drinkers&#45;&gt;ordinals.Ackermann.Languages -->
<g id="edge187" class="edge">
<title>ordinals.MoreAck.drinkers&#45;&gt;ordinals.Ackermann.Languages</title>
<path fill="none" stroke="black" d="M4124.07,-1085.47C4136.86,-1083.61 4150,-1081.72 4162.39,-1080 4220.08,-1071.99 4369.82,-1052.68 4470.94,-1039.72"/>
<polygon fill="black" stroke="black" points="4471.4,-1043.18 4480.87,-1038.44 4470.51,-1036.24 4471.4,-1043.18"/>
</g>
<!-- ordinals.MoreAck.drinkers&#45;&gt;ordinals.Ackermann.folLogic -->
<g id="edge188" class="edge">
<title>ordinals.MoreAck.drinkers&#45;&gt;ordinals.Ackermann.folLogic</title>
<path fill="none" stroke="black" d="M4121.82,-1085.11C4135.3,-1083.21 4149.25,-1081.41 4162.39,-1080 4401.56,-1054.39 4463.08,-1068.22 4702.39,-1044 4713.35,-1042.89 4724.82,-1041.56 4736.18,-1040.14"/>
<polygon fill="black" stroke="black" points="4736.65,-1043.61 4746.13,-1038.87 4735.76,-1036.67 4736.65,-1043.61"/>
</g>
<!-- ordinals.MoreAck.drinkers&#45;&gt;ordinals.MoreAck.FOL_notations -->
<g id="edge189" class="edge">
<title>ordinals.MoreAck.drinkers&#45;&gt;ordinals.MoreAck.FOL_notations</title>
<path fill="none" stroke="black" d="M4099.8,-1082.33C4138.5,-1071.49 4191.42,-1056.67 4232.75,-1045.1"/>
<polygon fill="black" stroke="black" points="4233.77,-1048.45 4242.45,-1042.38 4231.88,-1041.71 4233.77,-1048.45"/>
</g>
<!-- ordinals.solutions_exercises.MinPR -->
<g id="node132" class="node">
<title>ordinals.solutions_exercises.MinPR</title>
<g id="a_node132"><a xlink:href="ordinals.solutions_exercises.MinPR.svg" xlink:title="ordinals.solutions_exercises.MinPR">
<ellipse fill="white" stroke="black" cx="5510.39" cy="-954" rx="137.58" ry="18"/>
<text text-anchor="middle" x="5510.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.MinPR</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.MinPR&#45;&gt;ordinals.Ackermann.primRec -->
<g id="edge190" class="edge">
<title>ordinals.solutions_exercises.MinPR&#45;&gt;ordinals.Ackermann.primRec</title>
<path fill="none" stroke="black" d="M5428.78,-939.46C5355.89,-927.37 5249.46,-909.72 5175.07,-897.38"/>
<polygon fill="black" stroke="black" points="5175.23,-893.86 5164.8,-895.67 5174.09,-900.76 5175.23,-893.86"/>
</g>
<!-- ordinals.solutions_exercises.MinPR2 -->
<g id="node133" class="node">
<title>ordinals.solutions_exercises.MinPR2</title>
<g id="a_node133"><a xlink:href="ordinals.solutions_exercises.MinPR2.svg" xlink:title="ordinals.solutions_exercises.MinPR2">
<ellipse fill="white" stroke="black" cx="5808.39" cy="-954" rx="142.17" ry="18"/>
<text text-anchor="middle" x="5808.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.MinPR2</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.MinPR2&#45;&gt;ordinals.Ackermann.primRec -->
<g id="edge191" class="edge">
<title>ordinals.solutions_exercises.MinPR2&#45;&gt;ordinals.Ackermann.primRec</title>
<path fill="none" stroke="black" d="M5706.89,-941.3C5690.35,-939.47 5673.4,-937.65 5657.39,-936 5497.28,-919.53 5311.6,-902.65 5197.05,-892.5"/>
<polygon fill="black" stroke="black" points="5197.14,-888.99 5186.87,-891.59 5196.53,-895.96 5197.14,-888.99"/>
</g>
<!-- ordinals.solutions_exercises.FibonacciPR -->
<g id="node134" class="node">
<title>ordinals.solutions_exercises.FibonacciPR</title>
<g id="a_node134"><a xlink:href="ordinals.solutions_exercises.FibonacciPR.svg" xlink:title="ordinals.solutions_exercises.FibonacciPR">
<ellipse fill="white" stroke="black" cx="5844.39" cy="-1098" rx="157.07" ry="18"/>
<text text-anchor="middle" x="5844.39" y="-1094.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.FibonacciPR</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.FibonacciPR&#45;&gt;ordinals.Ackermann.cPair -->
<g id="edge192" class="edge">
<title>ordinals.solutions_exercises.FibonacciPR&#45;&gt;ordinals.Ackermann.cPair</title>
<path fill="none" stroke="black" d="M5766.8,-1082.24C5703.95,-1070.28 5615.86,-1053.53 5553.21,-1041.61"/>
<polygon fill="black" stroke="black" points="5553.86,-1038.17 5543.38,-1039.74 5552.55,-1045.05 5553.86,-1038.17"/>
</g>
<!-- ordinals.solutions_exercises.MorePRExamples -->
<g id="node135" class="node">
<title>ordinals.solutions_exercises.MorePRExamples</title>
<g id="a_node135"><a xlink:href="ordinals.solutions_exercises.MorePRExamples.svg" xlink:title="ordinals.solutions_exercises.MorePRExamples">
<ellipse fill="white" stroke="black" cx="6146.39" cy="-954" rx="177.37" ry="18"/>
<text text-anchor="middle" x="6146.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.MorePRExamples</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.MorePRExamples&#45;&gt;ordinals.Ackermann.primRec -->
<g id="edge193" class="edge">
<title>ordinals.solutions_exercises.MorePRExamples&#45;&gt;ordinals.Ackermann.primRec</title>
<path fill="none" stroke="black" d="M6021.96,-941.16C6001.08,-939.33 5979.63,-937.54 5959.39,-936 5690.7,-915.62 5374.92,-897.97 5207.19,-889.1"/>
<polygon fill="black" stroke="black" points="5207.26,-885.6 5197.09,-888.57 5206.89,-892.59 5207.26,-885.6"/>
</g>
<!-- ordinals.solutions_exercises.isqrt -->
<g id="node136" class="node">
<title>ordinals.solutions_exercises.isqrt</title>
<g id="a_node136"><a xlink:href="ordinals.solutions_exercises.isqrt.svg" xlink:title="ordinals.solutions_exercises.isqrt">
<ellipse fill="white" stroke="black" cx="5226.39" cy="-954" rx="128.08" ry="18"/>
<text text-anchor="middle" x="5226.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.isqrt</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.isqrt&#45;&gt;ordinals.Ackermann.primRec -->
<g id="edge194" class="edge">
<title>ordinals.solutions_exercises.isqrt&#45;&gt;ordinals.Ackermann.primRec</title>
<path fill="none" stroke="black" d="M5193.69,-936.41C5174.61,-926.73 5150.36,-914.43 5129.94,-904.08"/>
<polygon fill="black" stroke="black" points="5131.36,-900.87 5120.86,-899.47 5128.2,-907.12 5131.36,-900.87"/>
</g>
<!-- ordinals.solutions_exercises.T1_ltNotWf -->
<g id="node137" class="node">
<title>ordinals.solutions_exercises.T1_ltNotWf</title>
<g id="a_node137"><a xlink:href="ordinals.solutions_exercises.T1_ltNotWf.svg" xlink:title="ordinals.solutions_exercises.T1_ltNotWf">
<ellipse fill="white" stroke="black" cx="1933.39" cy="-378" rx="155.97" ry="18"/>
<text text-anchor="middle" x="1933.39" y="-374.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.T1_ltNotWf</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.T1_ltNotWf&#45;&gt;ordinals.Epsilon0.T1 -->
<g id="edge195" class="edge">
<title>ordinals.solutions_exercises.T1_ltNotWf&#45;&gt;ordinals.Epsilon0.T1</title>
<path fill="none" stroke="black" d="M1890.25,-360.59C1862.67,-350.1 1826.84,-336.46 1798.22,-325.57"/>
<polygon fill="black" stroke="black" points="1799.4,-322.28 1788.81,-322 1796.91,-328.82 1799.4,-322.28"/>
</g>
<!-- ordinals.solutions_exercises.predSuccUnicity -->
<g id="node138" class="node">
<title>ordinals.solutions_exercises.predSuccUnicity</title>
<g id="a_node138"><a xlink:href="ordinals.solutions_exercises.predSuccUnicity.svg" xlink:title="ordinals.solutions_exercises.predSuccUnicity">
<ellipse fill="white" stroke="black" cx="741.39" cy="-450" rx="170.87" ry="18"/>
<text text-anchor="middle" x="741.39" y="-446.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.predSuccUnicity</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.predSuccUnicity&#45;&gt;ordinals.OrdinalNotations.ON_Generic -->
<g id="edge196" class="edge">
<title>ordinals.solutions_exercises.predSuccUnicity&#45;&gt;ordinals.OrdinalNotations.ON_Generic</title>
<path fill="none" stroke="black" d="M814.93,-433.72C868.74,-422.55 941.72,-407.39 997.23,-395.86"/>
<polygon fill="black" stroke="black" points="997.95,-399.28 1007.03,-393.82 996.53,-392.43 997.95,-399.28"/>
</g>
<!-- ordinals.solutions_exercises.lt_succ_le -->
<g id="node139" class="node">
<title>ordinals.solutions_exercises.lt_succ_le</title>
<g id="a_node139"><a xlink:href="ordinals.solutions_exercises.lt_succ_le.svg" xlink:title="ordinals.solutions_exercises.lt_succ_le">
<ellipse fill="white" stroke="black" cx="1077.39" cy="-450" rx="147.57" ry="18"/>
<text text-anchor="middle" x="1077.39" y="-446.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.lt_succ_le</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.lt_succ_le&#45;&gt;ordinals.OrdinalNotations.ON_Generic -->
<g id="edge197" class="edge">
<title>ordinals.solutions_exercises.lt_succ_le&#45;&gt;ordinals.OrdinalNotations.ON_Generic</title>
<path fill="none" stroke="black" d="M1077.64,-431.7C1077.75,-423.98 1077.88,-414.71 1078,-406.11"/>
<polygon fill="black" stroke="black" points="1081.5,-406.15 1078.15,-396.1 1074.5,-406.05 1081.5,-406.15"/>
</g>
<!-- ordinals.solutions_exercises.Limit_Infinity -->
<g id="node140" class="node">
<title>ordinals.solutions_exercises.Limit_Infinity</title>
<g id="a_node140"><a xlink:href="ordinals.solutions_exercises.Limit_Infinity.svg" xlink:title="ordinals.solutions_exercises.Limit_Infinity">
<ellipse fill="white" stroke="black" cx="2889.39" cy="-810" rx="163.27" ry="18"/>
<text text-anchor="middle" x="2889.39" y="-806.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.Limit_Infinity</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.Limit_Infinity&#45;&gt;ordinals.Epsilon0.Epsilon0 -->
<g id="edge198" class="edge">
<title>ordinals.solutions_exercises.Limit_Infinity&#45;&gt;ordinals.Epsilon0.Epsilon0</title>
<path fill="none" stroke="black" d="M2821.86,-793.55C2772.03,-782.15 2704.39,-766.68 2653.87,-755.12"/>
<polygon fill="black" stroke="black" points="2654.54,-751.68 2644.01,-752.87 2652.98,-758.51 2654.54,-751.68"/>
</g>
<!-- ordinals.solutions_exercises.ge_omega_iff -->
<g id="node141" class="node">
<title>ordinals.solutions_exercises.ge_omega_iff</title>
<g id="a_node141"><a xlink:href="ordinals.solutions_exercises.ge_omega_iff.svg" xlink:title="ordinals.solutions_exercises.ge_omega_iff">
<ellipse fill="white" stroke="black" cx="1924.39" cy="-522" rx="161.37" ry="18"/>
<text text-anchor="middle" x="1924.39" y="-518.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.ge_omega_iff</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.ge_omega_iff&#45;&gt;ordinals.Epsilon0.E0 -->
<g id="edge199" class="edge">
<title>ordinals.solutions_exercises.ge_omega_iff&#45;&gt;ordinals.Epsilon0.E0</title>
<path fill="none" stroke="black" d="M1990.38,-505.55C2040.42,-493.84 2108.83,-477.82 2158.58,-466.17"/>
<polygon fill="black" stroke="black" points="2159.64,-469.52 2168.58,-463.83 2158.05,-462.7 2159.64,-469.52"/>
</g>
<!-- ordinals.solutions_exercises.schutte_cnf_counter_example -->
<g id="node142" class="node">
<title>ordinals.solutions_exercises.schutte_cnf_counter_example</title>
<g id="a_node142"><a xlink:href="ordinals.solutions_exercises.schutte_cnf_counter_example.svg" xlink:title="ordinals.solutions_exercises.schutte_cnf_counter_example">
<ellipse fill="white" stroke="black" cx="1302.39" cy="-954" rx="217.96" ry="18"/>
<text text-anchor="middle" x="1302.39" y="-950.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.schutte_cnf_counter_example</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.schutte_cnf_counter_example&#45;&gt;ordinals.Schutte.Schutte -->
<g id="edge200" class="edge">
<title>ordinals.solutions_exercises.schutte_cnf_counter_example&#45;&gt;ordinals.Schutte.Schutte</title>
<path fill="none" stroke="black" d="M1229.38,-937.03C1176.26,-925.41 1104.77,-909.77 1052.38,-898.31"/>
<polygon fill="black" stroke="black" points="1053.01,-894.87 1042.49,-896.15 1051.51,-901.7 1053.01,-894.87"/>
</g>
<!-- ordinals.solutions_exercises.F_3 -->
<g id="node143" class="node">
<title>ordinals.solutions_exercises.F_3</title>
<g id="a_node143"><a xlink:href="ordinals.solutions_exercises.F_3.svg" xlink:title="ordinals.solutions_exercises.F_3">
<ellipse fill="white" stroke="black" cx="3577.39" cy="-1026" rx="126.18" ry="18"/>
<text text-anchor="middle" x="3577.39" y="-1022.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.F_3</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.F_3&#45;&gt;ordinals.Epsilon0.F_alpha -->
<g id="edge201" class="edge">
<title>ordinals.solutions_exercises.F_3&#45;&gt;ordinals.Epsilon0.F_alpha</title>
<path fill="none" stroke="black" d="M3584.07,-1007.7C3587.11,-999.81 3590.77,-990.3 3594.15,-981.55"/>
<polygon fill="black" stroke="black" points="3597.46,-982.69 3597.79,-972.1 3590.93,-980.17 3597.46,-982.69"/>
</g>
<!-- ordinals.solutions_exercises.is_F_monotonous -->
<g id="node144" class="node">
<title>ordinals.solutions_exercises.is_F_monotonous</title>
<g id="a_node144"><a xlink:href="ordinals.solutions_exercises.is_F_monotonous.svg" xlink:title="ordinals.solutions_exercises.is_F_monotonous">
<ellipse fill="white" stroke="black" cx="3897.39" cy="-1026" rx="175.47" ry="18"/>
<text text-anchor="middle" x="3897.39" y="-1022.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.is_F_monotonous</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.is_F_monotonous&#45;&gt;ordinals.Epsilon0.F_alpha -->
<g id="edge202" class="edge">
<title>ordinals.solutions_exercises.is_F_monotonous&#45;&gt;ordinals.Epsilon0.F_alpha</title>
<path fill="none" stroke="black" d="M3831.64,-1009.29C3784.38,-998 3720.82,-982.82 3672.94,-971.38"/>
<polygon fill="black" stroke="black" points="3673.51,-967.92 3662.97,-969 3671.89,-974.72 3673.51,-967.92"/>
</g>
<!-- ordinals.solutions_exercises.MultisetWf -->
<g id="node145" class="node">
<title>ordinals.solutions_exercises.MultisetWf</title>
<g id="a_node145"><a xlink:href="ordinals.solutions_exercises.MultisetWf.svg" xlink:title="ordinals.solutions_exercises.MultisetWf">
<ellipse fill="white" stroke="black" cx="1455.39" cy="-306" rx="153.27" ry="18"/>
<text text-anchor="middle" x="1455.39" y="-302.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.MultisetWf</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.MultisetWf&#45;&gt;ordinals.Prelude.Restriction -->
<g id="edge203" class="edge">
<title>ordinals.solutions_exercises.MultisetWf&#45;&gt;ordinals.Prelude.Restriction</title>
<path fill="none" stroke="black" d="M1458.6,-287.7C1460.04,-279.98 1461.76,-270.71 1463.36,-262.11"/>
<polygon fill="black" stroke="black" points="1466.83,-262.58 1465.21,-252.1 1459.95,-261.3 1466.83,-262.58"/>
</g>
<!-- ordinals.solutions_exercises.OnCodeList -->
<g id="node146" class="node">
<title>ordinals.solutions_exercises.OnCodeList</title>
<g id="a_node146"><a xlink:href="ordinals.solutions_exercises.OnCodeList.svg" xlink:title="ordinals.solutions_exercises.OnCodeList">
<ellipse fill="white" stroke="black" cx="5476.39" cy="-1098" rx="155.17" ry="18"/>
<text text-anchor="middle" x="5476.39" y="-1094.3" font-family="Times,serif" font-size="14.00">ordinals.solutions_exercises.OnCodeList</text>
</a>
</g>
</g>
<!-- ordinals.solutions_exercises.OnCodeList&#45;&gt;ordinals.Ackermann.cPair -->
<g id="edge204" class="edge">
<title>ordinals.solutions_exercises.OnCodeList&#45;&gt;ordinals.Ackermann.cPair</title>
<path fill="none" stroke="black" d="M5476.39,-1079.7C5476.39,-1071.98 5476.39,-1062.71 5476.39,-1054.11"/>
<polygon fill="black" stroke="black" points="5479.89,-1054.1 5476.39,-1044.1 5472.89,-1054.1 5479.89,-1054.1"/>
</g>
<!-- additions.AM -->
<g id="node147" class="node">
<title>additions.AM</title>
<g id="a_node147"><a xlink:href="additions.AM.svg" xlink:title="additions.AM">
<ellipse fill="white" stroke="black" cx="6553.39" cy="-1890" rx="59.59" ry="18"/>
<text text-anchor="middle" x="6553.39" y="-1886.3" font-family="Times,serif" font-size="14.00">additions.AM</text>
</a>
</g>
</g>
<!-- additions.Euclidean_Chains -->
<g id="node148" class="node">
<title>additions.Euclidean_Chains</title>
<g id="a_node148"><a xlink:href="additions.Euclidean_Chains.svg" xlink:title="additions.Euclidean_Chains">
<ellipse fill="white" stroke="black" cx="6553.39" cy="-1818" rx="109.38" ry="18"/>
<text text-anchor="middle" x="6553.39" y="-1814.3" font-family="Times,serif" font-size="14.00">additions.Euclidean_Chains</text>
</a>
</g>
</g>
<!-- additions.AM&#45;&gt;additions.Euclidean_Chains -->
<g id="edge205" class="edge">
<title>additions.AM&#45;&gt;additions.Euclidean_Chains</title>
<path fill="none" stroke="black" d="M6553.39,-1871.7C6553.39,-1863.98 6553.39,-1854.71 6553.39,-1846.11"/>
<polygon fill="black" stroke="black" points="6556.89,-1846.1 6553.39,-1836.1 6549.89,-1846.1 6556.89,-1846.1"/>
</g>
<!-- additions.Dichotomy -->
<g id="node156" class="node">
<title>additions.Dichotomy</title>
<g id="a_node156"><a xlink:href="additions.Dichotomy.svg" xlink:title="additions.Dichotomy">
<ellipse fill="white" stroke="black" cx="6373.39" cy="-1746" rx="85.29" ry="18"/>
<text text-anchor="middle" x="6373.39" y="-1742.3" font-family="Times,serif" font-size="14.00">additions.Dichotomy</text>
</a>
</g>
</g>
<!-- additions.Euclidean_Chains&#45;&gt;additions.Dichotomy -->
<g id="edge211" class="edge">
<title>additions.Euclidean_Chains&#45;&gt;additions.Dichotomy</title>
<path fill="none" stroke="black" d="M6512.55,-1801.12C6485.52,-1790.61 6449.97,-1776.78 6421.56,-1765.73"/>
<polygon fill="black" stroke="black" points="6422.81,-1762.46 6412.22,-1762.1 6420.27,-1768.99 6422.81,-1762.46"/>
</g>
<!-- additions.BinaryStrat -->
<g id="node157" class="node">
<title>additions.BinaryStrat</title>
<g id="a_node157"><a xlink:href="additions.BinaryStrat.svg" xlink:title="additions.BinaryStrat">
<ellipse fill="white" stroke="black" cx="6562.39" cy="-1746" rx="85.59" ry="18"/>
<text text-anchor="middle" x="6562.39" y="-1742.3" font-family="Times,serif" font-size="14.00">additions.BinaryStrat</text>
</a>
</g>
</g>
<!-- additions.Euclidean_Chains&#45;&gt;additions.BinaryStrat -->
<g id="edge212" class="edge">
<title>additions.Euclidean_Chains&#45;&gt;additions.BinaryStrat</title>
<path fill="none" stroke="black" d="M6555.62,-1799.7C6556.61,-1791.98 6557.8,-1782.71 6558.91,-1774.11"/>
<polygon fill="black" stroke="black" points="6562.39,-1774.47 6560.19,-1764.1 6555.45,-1773.58 6562.39,-1774.47"/>
</g>
<!-- additions.Addition_Chains -->
<g id="node158" class="node">
<title>additions.Addition_Chains</title>
<g id="a_node158"><a xlink:href="additions.Addition_Chains.svg" xlink:title="additions.Addition_Chains">
<ellipse fill="white" stroke="black" cx="6771.39" cy="-1746" rx="105.08" ry="18"/>
<text text-anchor="middle" x="6771.39" y="-1742.3" font-family="Times,serif" font-size="14.00">additions.Addition_Chains</text>
</a>
</g>
</g>
<!-- additions.Euclidean_Chains&#45;&gt;additions.Addition_Chains -->
<g id="edge213" class="edge">
<title>additions.Euclidean_Chains&#45;&gt;additions.Addition_Chains</title>
<path fill="none" stroke="black" d="M6600.96,-1801.72C6634.4,-1790.99 6679.29,-1776.57 6714.61,-1765.23"/>
<polygon fill="black" stroke="black" points="6715.84,-1768.51 6724.3,-1762.12 6713.7,-1761.85 6715.84,-1768.51"/>
</g>
<!-- additions.Monoid_def -->
<g id="node149" class="node">
<title>additions.Monoid_def</title>
<g id="a_node149"><a xlink:href="additions.Monoid_def.svg" xlink:title="additions.Monoid_def">
<ellipse fill="white" stroke="black" cx="6606.39" cy="-1386" rx="89.08" ry="18"/>
<text text-anchor="middle" x="6606.39" y="-1382.3" font-family="Times,serif" font-size="14.00">additions.Monoid_def</text>
</a>
</g>
</g>
<!-- additions.Monoid_instances -->
<g id="node150" class="node">
<title>additions.Monoid_instances</title>
<g id="a_node150"><a xlink:href="additions.Monoid_instances.svg" xlink:title="additions.Monoid_instances">
<ellipse fill="white" stroke="black" cx="6606.39" cy="-1458" rx="110.48" ry="18"/>
<text text-anchor="middle" x="6606.39" y="-1454.3" font-family="Times,serif" font-size="14.00">additions.Monoid_instances</text>
</a>
</g>
</g>
<!-- additions.Monoid_instances&#45;&gt;additions.Monoid_def -->
<g id="edge206" class="edge">
<title>additions.Monoid_instances&#45;&gt;additions.Monoid_def</title>
<path fill="none" stroke="black" d="M6606.39,-1439.7C6606.39,-1431.98 6606.39,-1422.71 6606.39,-1414.11"/>
<polygon fill="black" stroke="black" points="6609.89,-1414.1 6606.39,-1404.1 6602.89,-1414.1 6609.89,-1414.1"/>
</g>
<!-- additions.Strategies -->
<g id="node151" class="node">
<title>additions.Strategies</title>
<g id="a_node151"><a xlink:href="additions.Strategies.svg" xlink:title="additions.Strategies">
<ellipse fill="white" stroke="black" cx="6562.39" cy="-1674" rx="79.89" ry="18"/>
<text text-anchor="middle" x="6562.39" y="-1670.3" font-family="Times,serif" font-size="14.00">additions.Strategies</text>
</a>
</g>
</g>
<!-- additions.More_on_positive -->
<g id="node152" class="node">
<title>additions.More_on_positive</title>
<g id="a_node152"><a xlink:href="additions.More_on_positive.svg" xlink:title="additions.More_on_positive">
<ellipse fill="white" stroke="black" cx="6617.39" cy="-1602" rx="110.48" ry="18"/>
<text text-anchor="middle" x="6617.39" y="-1598.3" font-family="Times,serif" font-size="14.00">additions.More_on_positive</text>
</a>
</g>
</g>
<!-- additions.Strategies&#45;&gt;additions.More_on_positive -->
<g id="edge207" class="edge">
<title>additions.Strategies&#45;&gt;additions.More_on_positive</title>
<path fill="none" stroke="black" d="M6575.7,-1656.05C6582.23,-1647.75 6590.22,-1637.58 6597.45,-1628.38"/>
<polygon fill="black" stroke="black" points="6600.39,-1630.3 6603.82,-1620.28 6594.89,-1625.98 6600.39,-1630.3"/>
</g>
<!-- additions.Compatibility -->
<g id="node153" class="node">
<title>additions.Compatibility</title>
<g id="a_node153"><a xlink:href="additions.Compatibility.svg" xlink:title="additions.Compatibility">
<ellipse fill="white" stroke="black" cx="6408.39" cy="-1530" rx="94.78" ry="18"/>
<text text-anchor="middle" x="6408.39" y="-1526.3" font-family="Times,serif" font-size="14.00">additions.Compatibility</text>
</a>
</g>
</g>
<!-- additions.More_on_positive&#45;&gt;additions.Compatibility -->
<g id="edge208" class="edge">
<title>additions.More_on_positive&#45;&gt;additions.Compatibility</title>
<path fill="none" stroke="black" d="M6571.27,-1585.55C6539.21,-1574.81 6496.36,-1560.46 6462.66,-1549.18"/>
<polygon fill="black" stroke="black" points="6463.56,-1545.79 6452.96,-1545.93 6461.33,-1552.42 6463.56,-1545.79"/>
</g>
<!-- additions.Wf_transparent -->
<g id="node154" class="node">
<title>additions.Wf_transparent</title>
<g id="a_node154"><a xlink:href="additions.Wf_transparent.svg" xlink:title="additions.Wf_transparent">
<ellipse fill="white" stroke="black" cx="6826.39" cy="-1530" rx="100.98" ry="18"/>
<text text-anchor="middle" x="6826.39" y="-1526.3" font-family="Times,serif" font-size="14.00">additions.Wf_transparent</text>
</a>
</g>
</g>
<!-- additions.More_on_positive&#45;&gt;additions.Wf_transparent -->
<g id="edge209" class="edge">
<title>additions.More_on_positive&#45;&gt;additions.Wf_transparent</title>
<path fill="none" stroke="black" d="M6663.52,-1585.55C6695.35,-1574.89 6737.84,-1560.66 6771.43,-1549.41"/>
<polygon fill="black" stroke="black" points="6772.73,-1552.66 6781.1,-1546.17 6770.51,-1546.03 6772.73,-1552.66"/>
</g>
<!-- additions.Compatibility&#45;&gt;additions.Monoid_instances -->
<g id="edge217" class="edge">
<title>additions.Compatibility&#45;&gt;additions.Monoid_instances</title>
<path fill="none" stroke="black" d="M6451.35,-1513.81C6481.14,-1503.28 6521.02,-1489.18 6552.88,-1477.92"/>
<polygon fill="black" stroke="black" points="6554.22,-1481.16 6562.48,-1474.52 6551.89,-1474.56 6554.22,-1481.16"/>
</g>
<!-- additions.Pow -->
<g id="node155" class="node">
<title>additions.Pow</title>
<g id="a_node155"><a xlink:href="additions.Pow.svg" xlink:title="additions.Pow">
<ellipse fill="white" stroke="black" cx="6416.39" cy="-1458" rx="61.19" ry="18"/>
<text text-anchor="middle" x="6416.39" y="-1454.3" font-family="Times,serif" font-size="14.00">additions.Pow</text>
</a>
</g>
</g>
<!-- additions.Compatibility&#45;&gt;additions.Pow -->
<g id="edge218" class="edge">
<title>additions.Compatibility&#45;&gt;additions.Pow</title>
<path fill="none" stroke="black" d="M6410.37,-1511.7C6411.25,-1503.98 6412.31,-1494.71 6413.29,-1486.11"/>
<polygon fill="black" stroke="black" points="6416.78,-1486.44 6414.44,-1476.1 6409.82,-1485.64 6416.78,-1486.44"/>
</g>
<!-- additions.Pow&#45;&gt;additions.Monoid_def -->
<g id="edge210" class="edge">
<title>additions.Pow&#45;&gt;additions.Monoid_def</title>
<path fill="none" stroke="black" d="M6453.02,-1443.5C6482.24,-1432.74 6523.49,-1417.54 6555.85,-1405.62"/>
<polygon fill="black" stroke="black" points="6557.41,-1408.77 6565.59,-1402.03 6554.99,-1402.21 6557.41,-1408.77"/>
</g>
<!-- additions.Dichotomy&#45;&gt;additions.Strategies -->
<g id="edge214" class="edge">
<title>additions.Dichotomy&#45;&gt;additions.Strategies</title>
<path fill="none" stroke="black" d="M6413.94,-1729.98C6442.91,-1719.25 6482.05,-1704.76 6512.87,-1693.34"/>
<polygon fill="black" stroke="black" points="6514.4,-1696.51 6522.56,-1689.75 6511.97,-1689.94 6514.4,-1696.51"/>
</g>
<!-- additions.BinaryStrat&#45;&gt;additions.Strategies -->
<g id="edge215" class="edge">
<title>additions.BinaryStrat&#45;&gt;additions.Strategies</title>
<path fill="none" stroke="black" d="M6562.39,-1727.7C6562.39,-1719.98 6562.39,-1710.71 6562.39,-1702.11"/>
<polygon fill="black" stroke="black" points="6565.89,-1702.1 6562.39,-1692.1 6558.89,-1702.1 6565.89,-1702.1"/>
</g>
<!-- additions.Addition_Chains&#45;&gt;additions.More_on_positive -->
<g id="edge216" class="edge">
<title>additions.Addition_Chains&#45;&gt;additions.More_on_positive</title>
<path fill="none" stroke="black" d="M6753.12,-1728.15C6725.8,-1702.96 6674.18,-1655.37 6643.08,-1626.68"/>
<polygon fill="black" stroke="black" points="6645.36,-1624.03 6635.64,-1619.82 6640.62,-1629.18 6645.36,-1624.03"/>
</g>
<!-- additions.Demo -->
<g id="node159" class="node">
<title>additions.Demo</title>
<g id="a_node159"><a xlink:href="additions.Demo.svg" xlink:title="additions.Demo">
<ellipse fill="white" stroke="black" cx="6700.39" cy="-1962" rx="67.69" ry="18"/>
<text text-anchor="middle" x="6700.39" y="-1958.3" font-family="Times,serif" font-size="14.00">additions.Demo</text>
</a>
</g>
</g>
<!-- additions.Demo_power -->
<g id="node160" class="node">
<title>additions.Demo_power</title>
<g id="a_node160"><a xlink:href="additions.Demo_power.svg" xlink:title="additions.Demo_power">
<ellipse fill="white" stroke="black" cx="6614.39" cy="-1530" rx="93.68" ry="18"/>
<text text-anchor="middle" x="6614.39" y="-1526.3" font-family="Times,serif" font-size="14.00">additions.Demo_power</text>
</a>
</g>
</g>
<!-- additions.Demo_power&#45;&gt;additions.Monoid_instances -->
<g id="edge219" class="edge">
<title>additions.Demo_power&#45;&gt;additions.Monoid_instances</title>
<path fill="none" stroke="black" d="M6612.41,-1511.7C6611.53,-1503.98 6610.47,-1494.71 6609.49,-1486.11"/>
<polygon fill="black" stroke="black" points="6612.96,-1485.64 6608.35,-1476.1 6606,-1486.44 6612.96,-1485.64"/>
</g>
<!-- additions.Demo_power&#45;&gt;additions.Pow -->
<g id="edge220" class="edge">
<title>additions.Demo_power&#45;&gt;additions.Pow</title>
<path fill="none" stroke="black" d="M6571.43,-1513.81C6539.68,-1502.59 6496.47,-1487.31 6463.73,-1475.74"/>
<polygon fill="black" stroke="black" points="6464.53,-1472.31 6453.93,-1472.27 6462.19,-1478.91 6464.53,-1472.31"/>
</g>
<!-- additions.fib -->
<g id="node161" class="node">
<title>additions.fib</title>
<g id="a_node161"><a xlink:href="additions.fib.svg" xlink:title="additions.fib">
<ellipse fill="white" stroke="black" cx="6841.39" cy="-1962" rx="55.49" ry="18"/>
<text text-anchor="middle" x="6841.39" y="-1958.3" font-family="Times,serif" font-size="14.00">additions.fib</text>
</a>
</g>
</g>
<!-- additions.Fib2 -->
<g id="node162" class="node">
<title>additions.Fib2</title>
<g id="a_node162"><a xlink:href="additions.Fib2.svg" xlink:title="additions.Fib2">
<ellipse fill="white" stroke="black" cx="6553.39" cy="-1962" rx="61.99" ry="18"/>
<text text-anchor="middle" x="6553.39" y="-1958.3" font-family="Times,serif" font-size="14.00">additions.Fib2</text>
</a>
</g>
</g>
<!-- additions.Fib2&#45;&gt;additions.AM -->
<g id="edge221" class="edge">
<title>additions.Fib2&#45;&gt;additions.AM</title>
<path fill="none" stroke="black" d="M6553.39,-1943.7C6553.39,-1935.98 6553.39,-1926.71 6553.39,-1918.11"/>
<polygon fill="black" stroke="black" points="6556.89,-1918.1 6553.39,-1908.1 6549.89,-1918.1 6556.89,-1918.1"/>
</g>
<!-- additions.FirstSteps -->
<g id="node163" class="node">
<title>additions.FirstSteps</title>
<g id="a_node163"><a xlink:href="additions.FirstSteps.svg" xlink:title="additions.FirstSteps">
<ellipse fill="white" stroke="black" cx="6995.39" cy="-1962" rx="80.69" ry="18"/>
<text text-anchor="middle" x="6995.39" y="-1958.3" font-family="Times,serif" font-size="14.00">additions.FirstSteps</text>
</a>
</g>
</g>
<!-- additions.Naive -->
<g id="node164" class="node">
<title>additions.Naive</title>
<g id="a_node164"><a xlink:href="additions.Naive.svg" xlink:title="additions.Naive">
<ellipse fill="white" stroke="black" cx="7160.39" cy="-1962" rx="66.09" ry="18"/>
<text text-anchor="middle" x="7160.39" y="-1958.3" font-family="Times,serif" font-size="14.00">additions.Naive</text>
</a>
</g>
</g>
<!-- additions.Pow_variant -->
<g id="node165" class="node">
<title>additions.Pow_variant</title>
<g id="a_node165"><a xlink:href="additions.Pow_variant.svg" xlink:title="additions.Pow_variant">
<ellipse fill="white" stroke="black" cx="6824.39" cy="-1458" rx="89.88" ry="18"/>
<text text-anchor="middle" x="6824.39" y="-1454.3" font-family="Times,serif" font-size="14.00">additions.Pow_variant</text>
</a>
</g>
</g>
<!-- additions.Pow_variant&#45;&gt;additions.Monoid_def -->
<g id="edge222" class="edge">
<title>additions.Pow_variant&#45;&gt;additions.Monoid_def</title>
<path fill="none" stroke="black" d="M6778.96,-1442.41C6744.85,-1431.46 6697.99,-1416.41 6661.7,-1404.76"/>
<polygon fill="black" stroke="black" points="6662.36,-1401.3 6651.77,-1401.57 6660.22,-1407.96 6662.36,-1401.3"/>
</g>
<!-- additions.Trace_exercise -->
<g id="node166" class="node">
<title>additions.Trace_exercise</title>
<g id="a_node166"><a xlink:href="additions.Trace_exercise.svg" xlink:title="additions.Trace_exercise">
<ellipse fill="white" stroke="black" cx="6779.39" cy="-1818" rx="98.58" ry="18"/>
<text text-anchor="middle" x="6779.39" y="-1814.3" font-family="Times,serif" font-size="14.00">additions.Trace_exercise</text>
</a>
</g>
</g>
<!-- additions.Trace_exercise&#45;&gt;additions.Addition_Chains -->
<g id="edge223" class="edge">
<title>additions.Trace_exercise&#45;&gt;additions.Addition_Chains</title>
<path fill="none" stroke="black" d="M6777.41,-1799.7C6776.53,-1791.98 6775.47,-1782.71 6774.49,-1774.11"/>
<polygon fill="black" stroke="black" points="6777.96,-1773.64 6773.35,-1764.1 6771,-1774.44 6777.96,-1773.64"/>
</g>
<!-- gaia.T1Bridge -->
<g id="node167" class="node">
<title>gaia.T1Bridge</title>
<g id="a_node167"><a xlink:href="gaia.T1Bridge.svg" xlink:title="gaia.T1Bridge">
<ellipse fill="white" stroke="black" cx="2496.39" cy="-522" rx="61.99" ry="18"/>
<text text-anchor="middle" x="2496.39" y="-518.3" font-family="Times,serif" font-size="14.00">gaia.T1Bridge</text>
</a>
</g>
</g>
<!-- gaia.T1Bridge&#45;&gt;ordinals.Epsilon0.E0 -->
<g id="edge224" class="edge">
<title>gaia.T1Bridge&#45;&gt;ordinals.Epsilon0.E0</title>
<path fill="none" stroke="black" d="M2451.62,-509.52C2406.38,-497.92 2336.12,-479.91 2285.51,-466.93"/>
<polygon fill="black" stroke="black" points="2286.22,-463.5 2275.66,-464.4 2284.48,-470.28 2286.22,-463.5"/>
</g>
<!-- gaia.GaiaToHydra -->
<g id="node168" class="node">
<title>gaia.GaiaToHydra</title>
<g id="a_node168"><a xlink:href="gaia.GaiaToHydra.svg" xlink:title="gaia.GaiaToHydra">
<ellipse fill="white" stroke="black" cx="2229.39" cy="-594" rx="76.09" ry="18"/>
<text text-anchor="middle" x="2229.39" y="-590.3" font-family="Times,serif" font-size="14.00">gaia.GaiaToHydra</text>
</a>
</g>
</g>
<!-- gaia.GaiaToHydra&#45;&gt;gaia.T1Bridge -->
<g id="edge225" class="edge">
<title>gaia.GaiaToHydra&#45;&gt;gaia.T1Bridge</title>
<path fill="none" stroke="black" d="M2278.36,-580.16C2324.74,-568 2394.25,-549.78 2442.26,-537.19"/>
<polygon fill="black" stroke="black" points="2443.38,-540.52 2452.16,-534.6 2441.6,-533.75 2443.38,-540.52"/>
</g>
<!-- gaia.nfwfgaia -->
<g id="node169" class="node">
<title>gaia.nfwfgaia</title>
<g id="a_node169"><a xlink:href="gaia.nfwfgaia.svg" xlink:title="gaia.nfwfgaia">
<ellipse fill="white" stroke="black" cx="7303.39" cy="-1962" rx="59.29" ry="18"/>
<text text-anchor="middle" x="7303.39" y="-1958.3" font-family="Times,serif" font-size="14.00">gaia.nfwfgaia</text>
</a>
</g>
</g>
<!-- gaia.GCanon -->
<g id="node170" class="node">
<title>gaia.GCanon</title>
<g id="a_node170"><a xlink:href="gaia.GCanon.svg" xlink:title="gaia.GCanon">
<ellipse fill="white" stroke="black" cx="2650.39" cy="-594" rx="57.39" ry="18"/>
<text text-anchor="middle" x="2650.39" y="-590.3" font-family="Times,serif" font-size="14.00">gaia.GCanon</text>
</a>
</g>
</g>
<!-- gaia.GCanon&#45;&gt;ordinals.Epsilon0.Canon -->
<g id="edge226" class="edge">
<title>gaia.GCanon&#45;&gt;ordinals.Epsilon0.Canon</title>
<path fill="none" stroke="black" d="M2656.2,-576.05C2658.9,-568.18 2662.18,-558.62 2665.2,-549.79"/>
<polygon fill="black" stroke="black" points="2668.54,-550.87 2668.47,-540.28 2661.91,-548.6 2668.54,-550.87"/>
</g>
<!-- gaia.GCanon&#45;&gt;gaia.T1Bridge -->
<g id="edge227" class="edge">
<title>gaia.GCanon&#45;&gt;gaia.T1Bridge</title>
<path fill="none" stroke="black" d="M2619.23,-578.83C2595.67,-568.12 2563.1,-553.32 2537.42,-541.65"/>
<polygon fill="black" stroke="black" points="2538.85,-538.46 2528.3,-537.51 2535.96,-544.83 2538.85,-538.46"/>
</g>
<!-- gaia.GF_alpha -->
<g id="node171" class="node">
<title>gaia.GF_alpha</title>
<g id="a_node171"><a xlink:href="gaia.GF_alpha.svg" xlink:title="gaia.GF_alpha">
<ellipse fill="white" stroke="black" cx="2883.39" cy="-1242" rx="62.29" ry="18"/>
<text text-anchor="middle" x="2883.39" y="-1238.3" font-family="Times,serif" font-size="14.00">gaia.GF_alpha</text>
</a>
</g>
</g>
<!-- gaia.GF_alpha&#45;&gt;ordinals.Epsilon0.F_omega -->
<g id="edge228" class="edge">
<title>gaia.GF_alpha&#45;&gt;ordinals.Epsilon0.F_omega</title>
<path fill="none" stroke="black" d="M2939.4,-1233.94C3034.61,-1221.93 3228.94,-1197.42 3344.99,-1182.78"/>
<polygon fill="black" stroke="black" points="3345.45,-1186.25 3354.94,-1181.53 3344.58,-1179.3 3345.45,-1186.25"/>
</g>
<!-- gaia.GHprime -->
<g id="node172" class="node">
<title>gaia.GHprime</title>
<g id="a_node172"><a xlink:href="gaia.GHprime.svg" xlink:title="gaia.GHprime">
<ellipse fill="white" stroke="black" cx="2638.39" cy="-1170" rx="61.99" ry="18"/>
<text text-anchor="middle" x="2638.39" y="-1166.3" font-family="Times,serif" font-size="14.00">gaia.GHprime</text>
</a>
</g>
</g>
<!-- gaia.GF_alpha&#45;&gt;gaia.GHprime -->
<g id="edge229" class="edge">
<title>gaia.GF_alpha&#45;&gt;gaia.GHprime</title>
<path fill="none" stroke="black" d="M2840.72,-1228.81C2799.04,-1216.9 2735.52,-1198.75 2690.8,-1185.97"/>
<polygon fill="black" stroke="black" points="2691.56,-1182.55 2680.99,-1183.17 2689.64,-1189.28 2691.56,-1182.55"/>
</g>
<!-- gaia.GHprime&#45;&gt;ordinals.Epsilon0.L_alpha -->
<g id="edge230" class="edge">
<title>gaia.GHprime&#45;&gt;ordinals.Epsilon0.L_alpha</title>
<path fill="none" stroke="black" d="M2617.72,-1152.78C2597.08,-1134.57 2570.68,-1104.38 2587.39,-1080 2599.89,-1061.76 2619.65,-1049.79 2640.3,-1041.95"/>
<polygon fill="black" stroke="black" points="2641.54,-1045.22 2649.83,-1038.62 2639.24,-1038.61 2641.54,-1045.22"/>
</g>
<!-- gaia.GHprime&#45;&gt;ordinals.MoreAck.PrimRecExamples -->
<g id="edge231" class="edge">
<title>gaia.GHprime&#45;&gt;ordinals.MoreAck.PrimRecExamples</title>
<path fill="none" stroke="black" d="M2698.34,-1165.4C2763.9,-1161.57 2872.09,-1155.6 2965.39,-1152 3602.9,-1127.44 3763.88,-1159.27 4400.39,-1116 4414.69,-1115.03 4429.71,-1113.72 4444.53,-1112.25"/>
<polygon fill="black" stroke="black" points="4445.14,-1115.71 4454.74,-1111.22 4444.44,-1108.74 4445.14,-1115.71"/>
</g>
<!-- gaia.GPaths -->
<g id="node173" class="node">
<title>gaia.GPaths</title>
<g id="a_node173"><a xlink:href="gaia.GPaths.svg" xlink:title="gaia.GPaths">
<ellipse fill="white" stroke="black" cx="2519.39" cy="-666" rx="53.09" ry="18"/>
<text text-anchor="middle" x="2519.39" y="-662.3" font-family="Times,serif" font-size="14.00">gaia.GPaths</text>
</a>
</g>
</g>
<!-- gaia.GHprime&#45;&gt;gaia.GPaths -->
<g id="edge232" class="edge">
<title>gaia.GHprime&#45;&gt;gaia.GPaths</title>
<path fill="none" stroke="black" d="M2594.29,-1157.34C2585.43,-1155.31 2576.15,-1153.4 2567.39,-1152 2519.5,-1144.33 2165.24,-1151.68 2132.39,-1116 2116.24,-1098.46 2104.91,-989.2 2154.39,-936 2203.44,-883.26 2250.69,-937.15 2312.39,-900 2402.84,-845.54 2395.94,-797.72 2467.39,-720 2476.39,-710.21 2486.57,-699.71 2495.53,-690.66"/>
<polygon fill="black" stroke="black" points="2498.14,-693 2502.71,-683.44 2493.18,-688.06 2498.14,-693"/>
</g>
<!-- gaia.GPaths&#45;&gt;ordinals.Epsilon0.Paths -->
<g id="edge234" class="edge">
<title>gaia.GPaths&#45;&gt;ordinals.Epsilon0.Paths</title>
<path fill="none" stroke="black" d="M2564.17,-655.99C2622.61,-644.24 2725.6,-623.52 2795.15,-609.53"/>
<polygon fill="black" stroke="black" points="2796.05,-612.92 2805.16,-607.52 2794.67,-606.06 2796.05,-612.92"/>
</g>
<!-- gaia.GPaths&#45;&gt;gaia.GCanon -->
<g id="edge235" class="edge">
<title>gaia.GPaths&#45;&gt;gaia.GCanon</title>
<path fill="none" stroke="black" d="M2546.53,-650.5C2565.86,-640.17 2592.06,-626.17 2613.31,-614.82"/>
<polygon fill="black" stroke="black" points="2615.21,-617.77 2622.38,-609.97 2611.91,-611.59 2615.21,-617.77"/>
</g>
<!-- gaia.GL_alpha -->
<g id="node174" class="node">
<title>gaia.GL_alpha</title>
<g id="a_node174"><a xlink:href="gaia.GL_alpha.svg" xlink:title="gaia.GL_alpha">
<ellipse fill="white" stroke="black" cx="2580.39" cy="-1242" rx="63.09" ry="18"/>
<text text-anchor="middle" x="2580.39" y="-1238.3" font-family="Times,serif" font-size="14.00">gaia.GL_alpha</text>
</a>
</g>
</g>
<!-- gaia.GL_alpha&#45;&gt;gaia.GHprime -->
<g id="edge233" class="edge">
<title>gaia.GL_alpha&#45;&gt;gaia.GHprime</title>
<path fill="none" stroke="black" d="M2594.14,-1224.41C2601.18,-1215.91 2609.91,-1205.37 2617.75,-1195.91"/>
<polygon fill="black" stroke="black" points="2620.66,-1197.89 2624.34,-1187.96 2615.27,-1193.42 2620.66,-1197.89"/>
</g>
<!-- gaia.ON_gfinite -->
<g id="node175" class="node">
<title>gaia.ON_gfinite</title>
<g id="a_node175"><a xlink:href="gaia.ON_gfinite.svg" xlink:title="gaia.ON_gfinite">
<ellipse fill="white" stroke="black" cx="2585.39" cy="-450" rx="67.69" ry="18"/>
<text text-anchor="middle" x="2585.39" y="-446.3" font-family="Times,serif" font-size="14.00">gaia.ON_gfinite</text>
</a>
</g>
</g>
<!-- gaia.ON_gfinite&#45;&gt;ordinals.OrdinalNotations.ON_Generic -->
<g id="edge236" class="edge">
<title>gaia.ON_gfinite&#45;&gt;ordinals.OrdinalNotations.ON_Generic</title>
<path fill="none" stroke="black" d="M2537.98,-437.13C2528.25,-435.09 2518.03,-433.23 2508.39,-432 2384.74,-416.19 1575.98,-392.59 1232.4,-383.14"/>
<polygon fill="black" stroke="black" points="1232.46,-379.64 1222.37,-382.86 1232.27,-386.63 1232.46,-379.64"/>
</g>
<!-- gaia.ON_gfinite&#45;&gt;ordinals.Prelude.DecPreOrder -->
<g id="edge237" class="edge">
<title>gaia.ON_gfinite&#45;&gt;ordinals.Prelude.DecPreOrder</title>
<path fill="none" stroke="black" d="M2565.86,-432.37C2539.39,-407.85 2495.39,-359.25 2495.39,-307 2495.39,-307 2495.39,-307 2495.39,-233 2495.39,-153.6 2403.18,-118.52 2326.13,-103.07"/>
<polygon fill="black" stroke="black" points="2326.34,-99.54 2315.86,-101.1 2325.02,-106.42 2326.34,-99.54"/>
</g>
<!-- gaia.GLarge_Sets -->
<g id="node176" class="node">
<title>gaia.GLarge_Sets</title>
<g id="a_node176"><a xlink:href="gaia.GLarge_Sets.svg" xlink:title="gaia.GLarge_Sets">
<ellipse fill="white" stroke="black" cx="2087.39" cy="-738" rx="73.39" ry="18"/>
<text text-anchor="middle" x="2087.39" y="-734.3" font-family="Times,serif" font-size="14.00">gaia.GLarge_Sets</text>
</a>
</g>
</g>
<!-- gaia.GLarge_Sets&#45;&gt;ordinals.Epsilon0.Large_Sets -->
<g id="edge238" class="edge">
<title>gaia.GLarge_Sets&#45;&gt;ordinals.Epsilon0.Large_Sets</title>
<path fill="none" stroke="black" d="M2158.44,-733.31C2377.85,-721.92 3046.22,-687.21 3318.3,-673.08"/>
<polygon fill="black" stroke="black" points="3318.79,-676.56 3328.6,-672.55 3318.43,-669.57 3318.79,-676.56"/>
</g>
<!-- gaia.GLarge_Sets&#45;&gt;gaia.GPaths -->
<g id="edge239" class="edge">
<title>gaia.GLarge_Sets&#45;&gt;gaia.GPaths</title>
<path fill="none" stroke="black" d="M2142.09,-725.96C2152.79,-723.9 2163.93,-721.82 2174.39,-720 2274.9,-702.47 2392.42,-685.07 2461.11,-675.22"/>
<polygon fill="black" stroke="black" points="2461.89,-678.64 2471.29,-673.76 2460.9,-671.71 2461.89,-678.64"/>
</g>
<!-- gaia.GHessenberg -->
<g id="node177" class="node">
<title>gaia.GHessenberg</title>
<g id="a_node177"><a xlink:href="gaia.GHessenberg.svg" xlink:title="gaia.GHessenberg">
<ellipse fill="white" stroke="black" cx="1920.39" cy="-738" rx="75.29" ry="18"/>
<text text-anchor="middle" x="1920.39" y="-734.3" font-family="Times,serif" font-size="14.00">gaia.GHessenberg</text>
</a>
</g>
</g>
<!-- gaia.GHessenberg&#45;&gt;gaia.T1Bridge -->
<g id="edge240" class="edge">
<title>gaia.GHessenberg&#45;&gt;gaia.T1Bridge</title>
<path fill="none" stroke="black" d="M1937.14,-720.28C1972.14,-686.49 2057.05,-610.39 2144.39,-576 2261.96,-529.71 2302.14,-562.94 2426.39,-540 2431.41,-539.07 2436.61,-538.01 2441.81,-536.88"/>
<polygon fill="black" stroke="black" points="2442.76,-540.25 2451.74,-534.63 2441.21,-533.42 2442.76,-540.25"/>
</g>
<!-- gaia.HydraGaia_Examples -->
<g id="node178" class="node">
<title>gaia.HydraGaia_Examples</title>
<g id="a_node178"><a xlink:href="gaia.HydraGaia_Examples.svg" xlink:title="gaia.HydraGaia_Examples">
<ellipse fill="white" stroke="black" cx="1920.39" cy="-810" rx="105.88" ry="18"/>
<text text-anchor="middle" x="1920.39" y="-806.3" font-family="Times,serif" font-size="14.00">gaia.HydraGaia_Examples</text>
</a>
</g>
</g>
<!-- gaia.HydraGaia_Examples&#45;&gt;gaia.GLarge_Sets -->
<g id="edge241" class="edge">
<title>gaia.HydraGaia_Examples&#45;&gt;gaia.GLarge_Sets</title>
<path fill="none" stroke="black" d="M1958.29,-793.12C1983.31,-782.63 2016.22,-768.83 2042.55,-757.79"/>
<polygon fill="black" stroke="black" points="2044.06,-760.96 2051.93,-753.86 2041.35,-754.5 2044.06,-760.96"/>
</g>
<!-- gaia.HydraGaia_Examples&#45;&gt;gaia.GHessenberg -->
<g id="edge242" class="edge">
<title>gaia.HydraGaia_Examples&#45;&gt;gaia.GHessenberg</title>
<path fill="none" stroke="black" d="M1920.39,-791.7C1920.39,-783.98 1920.39,-774.71 1920.39,-766.11"/>
<polygon fill="black" stroke="black" points="1923.89,-766.1 1920.39,-756.1 1916.89,-766.1 1923.89,-766.1"/>
</g>
<!-- gaia.GHydra -->
<g id="node179" class="node">
<title>gaia.GHydra</title>
<g id="a_node179"><a xlink:href="gaia.GHydra.svg" xlink:title="gaia.GHydra">
<ellipse fill="white" stroke="black" cx="2460.39" cy="-1314" rx="55.79" ry="18"/>
<text text-anchor="middle" x="2460.39" y="-1310.3" font-family="Times,serif" font-size="14.00">gaia.GHydra</text>
</a>
</g>
</g>
<!-- gaia.GHydra&#45;&gt;ordinals.Hydra.Hydra_Theorems -->
<g id="edge243" class="edge">
<title>gaia.GHydra&#45;&gt;ordinals.Hydra.Hydra_Theorems</title>
<path fill="none" stroke="black" d="M2513.94,-1308.83C2655.59,-1297.8 3042.78,-1267.65 3240.21,-1252.28"/>
<polygon fill="black" stroke="black" points="3240.64,-1255.76 3250.34,-1251.49 3240.1,-1248.78 3240.64,-1255.76"/>
</g>
<!-- gaia.GHydra&#45;&gt;ordinals.Hydra.Hydra_Examples -->
<g id="edge244" class="edge">
<title>gaia.GHydra&#45;&gt;ordinals.Hydra.Hydra_Examples</title>
<path fill="none" stroke="black" d="M2456.89,-1295.87C2451.93,-1271.56 2442.79,-1226.82 2436.91,-1198.01"/>
<polygon fill="black" stroke="black" points="2440.33,-1197.29 2434.9,-1188.19 2433.47,-1198.69 2440.33,-1197.29"/>
</g>
<!-- gaia.GHydra&#45;&gt;gaia.GL_alpha -->
<g id="edge245" class="edge">
<title>gaia.GHydra&#45;&gt;gaia.GL_alpha</title>
<path fill="none" stroke="black" d="M2486.13,-1297.98C2503.37,-1287.93 2526.29,-1274.56 2545.21,-1263.52"/>
<polygon fill="black" stroke="black" points="2546.99,-1266.54 2553.86,-1258.48 2543.46,-1260.49 2546.99,-1266.54"/>
</g>
<!-- gaia.GHydra&#45;&gt;gaia.GHessenberg -->
<g id="edge246" class="edge">
<title>gaia.GHydra&#45;&gt;gaia.GHessenberg</title>
<path fill="none" stroke="black" d="M2405.4,-1310.28C2208.22,-1299.8 1548.39,-1258.23 1548.39,-1171 1548.39,-1171 1548.39,-1171 1548.39,-881 1548.39,-840.55 1537.71,-819.47 1567.39,-792 1611.65,-751.03 1776.91,-765.99 1836.39,-756 1842.65,-754.95 1849.16,-753.78 1855.65,-752.55"/>
<polygon fill="black" stroke="black" points="1856.66,-755.92 1865.81,-750.59 1855.33,-749.05 1856.66,-755.92"/>
</g>
<!-- gaia.GPrelude -->
<g id="node180" class="node">
<title>gaia.GPrelude</title>
<g id="a_node180"><a xlink:href="gaia.GPrelude.svg" xlink:title="gaia.GPrelude">
<ellipse fill="white" stroke="black" cx="2371.39" cy="-1242" rx="61.19" ry="18"/>
<text text-anchor="middle" x="2371.39" y="-1238.3" font-family="Times,serif" font-size="14.00">gaia.GPrelude</text>
</a>
</g>
</g>
<!-- gaia.GHydra&#45;&gt;gaia.GPrelude -->
<g id="edge247" class="edge">
<title>gaia.GHydra&#45;&gt;gaia.GPrelude</title>
<path fill="none" stroke="black" d="M2440.2,-1297.12C2428.22,-1287.7 2412.85,-1275.61 2399.68,-1265.25"/>
<polygon fill="black" stroke="black" points="2401.84,-1262.49 2391.81,-1259.06 2397.51,-1268 2401.84,-1262.49"/>
</g>
<!-- gaia.T2Bridge -->
<g id="node181" class="node">
<title>gaia.T2Bridge</title>
<g id="a_node181"><a xlink:href="gaia.T2Bridge.svg" xlink:title="gaia.T2Bridge">
<ellipse fill="white" stroke="black" cx="1686.39" cy="-882" rx="61.99" ry="18"/>
<text text-anchor="middle" x="1686.39" y="-878.3" font-family="Times,serif" font-size="14.00">gaia.T2Bridge</text>
</a>
</g>
</g>
<!-- gaia.T2Bridge&#45;&gt;ordinals.Gamma0.Gamma0 -->
<g id="edge248" class="edge">
<title>gaia.T2Bridge&#45;&gt;ordinals.Gamma0.Gamma0</title>
<path fill="none" stroke="black" d="M1686.39,-863.7C1686.39,-855.98 1686.39,-846.71 1686.39,-838.11"/>
<polygon fill="black" stroke="black" points="1689.89,-838.1 1686.39,-828.1 1682.89,-838.1 1689.89,-838.1"/>
</g>
<!-- gaia.T1Choice -->
<g id="node182" class="node">
<title>gaia.T1Choice</title>
<g id="a_node182"><a xlink:href="gaia.T1Choice.svg" xlink:title="gaia.T1Choice">
<ellipse fill="white" stroke="black" cx="2385.39" cy="-594" rx="62.29" ry="18"/>
<text text-anchor="middle" x="2385.39" y="-590.3" font-family="Times,serif" font-size="14.00">gaia.T1Choice</text>
</a>
</g>
</g>
<!-- gaia.T1Choice&#45;&gt;gaia.T1Bridge -->
<g id="edge249" class="edge">
<title>gaia.T1Choice&#45;&gt;gaia.T1Bridge</title>
<path fill="none" stroke="black" d="M2410.3,-577.29C2425.87,-567.47 2446.11,-554.71 2463.05,-544.03"/>
<polygon fill="black" stroke="black" points="2464.97,-546.95 2471.56,-538.66 2461.24,-541.03 2464.97,-546.95"/>
</g>
<!-- gaia.onType -->
<g id="node183" class="node">
<title>gaia.onType</title>
<g id="a_node183"><a xlink:href="gaia.onType.svg" xlink:title="gaia.onType">
<ellipse fill="white" stroke="black" cx="2520.39" cy="-594" rx="54.69" ry="18"/>
<text text-anchor="middle" x="2520.39" y="-590.3" font-family="Times,serif" font-size="14.00">gaia.onType</text>
</a>
</g>
</g>
<!-- gaia.onType&#45;&gt;gaia.T1Bridge -->
<g id="edge250" class="edge">
<title>gaia.onType&#45;&gt;gaia.T1Bridge</title>
<path fill="none" stroke="black" d="M2514.58,-576.05C2511.88,-568.18 2508.6,-558.62 2505.58,-549.79"/>
<polygon fill="black" stroke="black" points="2508.87,-548.6 2502.31,-540.28 2502.25,-550.87 2508.87,-548.6"/>
</g>
<!-- goedel.rosser -->
<g id="node184" class="node">
<title>goedel.rosser</title>
<g id="a_node184"><a xlink:href="goedel.rosser.svg" xlink:title="goedel.rosser">
<ellipse fill="white" stroke="black" cx="5148.39" cy="-1890" rx="57.69" ry="18"/>
<text text-anchor="middle" x="5148.39" y="-1886.3" font-family="Times,serif" font-size="14.00">goedel.rosser</text>
</a>
</g>
</g>
<!-- goedel.fixPoint -->
<g id="node185" class="node">
<title>goedel.fixPoint</title>
<g id="a_node185"><a xlink:href="goedel.fixPoint.svg" xlink:title="goedel.fixPoint">
<ellipse fill="white" stroke="black" cx="5013.39" cy="-1818" rx="64.99" ry="18"/>
<text text-anchor="middle" x="5013.39" y="-1814.3" font-family="Times,serif" font-size="14.00">goedel.fixPoint</text>
</a>
</g>
</g>
<!-- goedel.rosser&#45;&gt;goedel.fixPoint -->
<g id="edge251" class="edge">
<title>goedel.rosser&#45;&gt;goedel.fixPoint</title>
<path fill="none" stroke="black" d="M5119.76,-1874.15C5099.99,-1863.9 5073.46,-1850.15 5051.84,-1838.94"/>
<polygon fill="black" stroke="black" points="5053.4,-1835.8 5042.91,-1834.31 5050.18,-1842.02 5053.4,-1835.8"/>
</g>
<!-- goedel.codeSysPrf -->
<g id="node186" class="node">
<title>goedel.codeSysPrf</title>
<g id="a_node186"><a xlink:href="goedel.codeSysPrf.svg" xlink:title="goedel.codeSysPrf">
<ellipse fill="white" stroke="black" cx="5183.39" cy="-1818" rx="76.89" ry="18"/>
<text text-anchor="middle" x="5183.39" y="-1814.3" font-family="Times,serif" font-size="14.00">goedel.codeSysPrf</text>
</a>
</g>
</g>
<!-- goedel.rosser&#45;&gt;goedel.codeSysPrf -->
<g id="edge252" class="edge">
<title>goedel.rosser&#45;&gt;goedel.codeSysPrf</title>
<path fill="none" stroke="black" d="M5156.86,-1872.05C5160.89,-1864.01 5165.79,-1854.2 5170.28,-1845.23"/>
<polygon fill="black" stroke="black" points="5173.41,-1846.78 5174.75,-1836.28 5167.15,-1843.65 5173.41,-1846.78"/>
</g>
<!-- goedel.fixPoint&#45;&gt;ordinals.Ackermann.NN2PA -->
<g id="edge253" class="edge">
<title>goedel.fixPoint&#45;&gt;ordinals.Ackermann.NN2PA</title>
<path fill="none" stroke="black" d="M5003.22,-1800.05C4998.34,-1791.92 4992.39,-1782 4986.96,-1772.94"/>
<polygon fill="black" stroke="black" points="4989.9,-1771.05 4981.76,-1764.28 4983.9,-1774.65 4989.9,-1771.05"/>
</g>
<!-- goedel.fixPoint&#45;&gt;ordinals.Ackermann.codeSubFormula -->
<g id="edge254" class="edge">
<title>goedel.fixPoint&#45;&gt;ordinals.Ackermann.codeSubFormula</title>
<path fill="none" stroke="black" d="M5061.26,-1805.77C5157.27,-1782.78 5369.68,-1729.35 5434.39,-1692 5454.54,-1680.37 5453.26,-1669.24 5472.39,-1656 5490.53,-1643.44 5512.09,-1632.28 5531.24,-1623.48"/>
<polygon fill="black" stroke="black" points="5532.73,-1626.65 5540.41,-1619.35 5529.86,-1620.26 5532.73,-1626.65"/>
</g>
<!-- goedel.PRrepresentable -->
<g id="node187" class="node">
<title>goedel.PRrepresentable</title>
<g id="a_node187"><a xlink:href="goedel.PRrepresentable.svg" xlink:title="goedel.PRrepresentable">
<ellipse fill="white" stroke="black" cx="4745.39" cy="-1674" rx="94.48" ry="18"/>
<text text-anchor="middle" x="4745.39" y="-1670.3" font-family="Times,serif" font-size="14.00">goedel.PRrepresentable</text>
</a>
</g>
</g>
<!-- goedel.fixPoint&#45;&gt;goedel.PRrepresentable -->
<g id="edge255" class="edge">
<title>goedel.fixPoint&#45;&gt;goedel.PRrepresentable</title>
<path fill="none" stroke="black" d="M4963.25,-1806.47C4929.39,-1798.04 4884.46,-1784.26 4848.39,-1764 4817.51,-1746.66 4787.49,-1719.12 4767.9,-1699.27"/>
<polygon fill="black" stroke="black" points="4770.4,-1696.82 4760.93,-1692.07 4765.38,-1701.69 4770.4,-1696.82"/>
</g>
<!-- goedel.codeSysPrf&#45;&gt;ordinals.Ackermann.PA -->
<g id="edge256" class="edge">
<title>goedel.codeSysPrf&#45;&gt;ordinals.Ackermann.PA</title>
<path fill="none" stroke="black" d="M5172.54,-1799.86C5154.24,-1768.53 5122.06,-1701.12 5152.39,-1656 5164.48,-1638.01 5183.86,-1626.13 5204,-1618.28"/>
<polygon fill="black" stroke="black" points="5205.36,-1621.5 5213.6,-1614.84 5203,-1614.91 5205.36,-1621.5"/>
</g>
<!-- goedel.codeSysPrf&#45;&gt;ordinals.Ackermann.checkPrf -->
<g id="edge257" class="edge">
<title>goedel.codeSysPrf&#45;&gt;ordinals.Ackermann.checkPrf</title>
<path fill="none" stroke="black" d="M5238.09,-1805.32C5356.76,-1779.98 5638,-1719.92 5773.23,-1691.05"/>
<polygon fill="black" stroke="black" points="5774.05,-1694.45 5783.1,-1688.94 5772.59,-1687.61 5774.05,-1694.45"/>
</g>
<!-- goedel.codeSysPrf&#45;&gt;goedel.PRrepresentable -->
<g id="edge258" class="edge">
<title>goedel.codeSysPrf&#45;&gt;goedel.PRrepresentable</title>
<path fill="none" stroke="black" d="M5171.78,-1799.99C5156.61,-1779.24 5127.98,-1744.87 5094.39,-1728 4995.64,-1678.42 4957.57,-1709 4848.39,-1692 4840.43,-1690.76 4832.14,-1689.44 4823.86,-1688.1"/>
<polygon fill="black" stroke="black" points="4824.22,-1684.62 4813.79,-1686.47 4823.1,-1691.53 4824.22,-1684.62"/>
</g>
<!-- goedel.PRrepresentable&#45;&gt;ordinals.Ackermann.cPair -->
<g id="edge259" class="edge">
<title>goedel.PRrepresentable&#45;&gt;ordinals.Ackermann.cPair</title>
<path fill="none" stroke="black" d="M4775.93,-1656.73C4793.15,-1646.99 4814.7,-1633.84 4832.39,-1620 4839.1,-1614.75 4933.76,-1515.81 4941.39,-1512 5040.66,-1462.48 5087.13,-1521.32 5188.39,-1476 5266.36,-1441.1 5293.39,-1400.43 5293.39,-1315 5293.39,-1315 5293.39,-1315 5293.39,-1169 5293.39,-1128.55 5285.29,-1110.02 5312.39,-1080 5330.7,-1059.71 5356.82,-1047.16 5382.85,-1039.4"/>
<polygon fill="black" stroke="black" points="5384.09,-1042.68 5392.8,-1036.65 5382.23,-1035.93 5384.09,-1042.68"/>
</g>
<!-- goedel.PRrepresentable&#45;&gt;ordinals.Ackermann.NNtheory -->
<g id="edge260" class="edge">
<title>goedel.PRrepresentable&#45;&gt;ordinals.Ackermann.NNtheory</title>
<path fill="none" stroke="black" d="M4735.22,-1656.05C4730.34,-1647.92 4724.39,-1638 4718.96,-1628.94"/>
<polygon fill="black" stroke="black" points="4721.9,-1627.05 4713.76,-1620.28 4715.9,-1630.65 4721.9,-1627.05"/>
</g>
<!-- goedel.PRrepresentable&#45;&gt;ordinals.Ackermann.expressible -->
<g id="edge261" class="edge">
<title>goedel.PRrepresentable&#45;&gt;ordinals.Ackermann.expressible</title>
<path fill="none" stroke="black" d="M4662.72,-1665.19C4631,-1658.09 4597.03,-1644.78 4574.39,-1620 4559.2,-1603.37 4555.03,-1577.65 4554.33,-1558.13"/>
<polygon fill="black" stroke="black" points="4557.83,-1557.99 4554.24,-1548.02 4550.83,-1558.05 4557.83,-1557.99"/>
</g>
<!-- goedel.goedel1 -->
<g id="node188" class="node">
<title>goedel.goedel1</title>
<g id="a_node188"><a xlink:href="goedel.goedel1.svg" xlink:title="goedel.goedel1">
<ellipse fill="white" stroke="black" cx="5008.39" cy="-1890" rx="64.19" ry="18"/>
<text text-anchor="middle" x="5008.39" y="-1886.3" font-family="Times,serif" font-size="14.00">goedel.goedel1</text>
</a>
</g>
</g>
<!-- goedel.goedel1&#45;&gt;ordinals.Ackermann.wConsistent -->
<g id="edge262" class="edge">
<title>goedel.goedel1&#45;&gt;ordinals.Ackermann.wConsistent</title>
<path fill="none" stroke="black" d="M4954.95,-1879.92C4886.5,-1868.29 4766.92,-1847.97 4684.81,-1834.02"/>
<polygon fill="black" stroke="black" points="4685.18,-1830.54 4674.74,-1832.31 4684.01,-1837.44 4685.18,-1830.54"/>
</g>
<!-- goedel.goedel1&#45;&gt;goedel.fixPoint -->
<g id="edge263" class="edge">
<title>goedel.goedel1&#45;&gt;goedel.fixPoint</title>
<path fill="none" stroke="black" d="M5009.63,-1871.7C5010.18,-1863.98 5010.84,-1854.71 5011.45,-1846.11"/>
<polygon fill="black" stroke="black" points="5014.95,-1846.33 5012.17,-1836.1 5007.97,-1845.83 5014.95,-1846.33"/>
</g>
<!-- goedel.goedel1&#45;&gt;goedel.codeSysPrf -->
<g id="edge264" class="edge">
<title>goedel.goedel1&#45;&gt;goedel.codeSysPrf</title>
<path fill="none" stroke="black" d="M5043.8,-1874.83C5070.54,-1864.14 5107.49,-1849.36 5136.65,-1837.7"/>
<polygon fill="black" stroke="black" points="5138.23,-1840.83 5146.22,-1833.87 5135.63,-1834.33 5138.23,-1840.83"/>
</g>
<!-- goedel.rosserPA -->
<g id="node189" class="node">
<title>goedel.rosserPA</title>
<g id="a_node189"><a xlink:href="goedel.rosserPA.svg" xlink:title="goedel.rosserPA">
<ellipse fill="white" stroke="black" cx="5293.39" cy="-1890" rx="68.79" ry="18"/>
<text text-anchor="middle" x="5293.39" y="-1886.3" font-family="Times,serif" font-size="14.00">goedel.rosserPA</text>
</a>
</g>
</g>
<!-- goedel.rosserPA&#45;&gt;ordinals.Ackermann.codePA -->
<g id="edge265" class="edge">
<title>goedel.rosserPA&#45;&gt;ordinals.Ackermann.codePA</title>
<path fill="none" stroke="black" d="M5316.01,-1872.92C5368.92,-1835.3 5500.87,-1741.49 5562.16,-1697.91"/>
<polygon fill="black" stroke="black" points="5564.55,-1700.51 5570.67,-1691.86 5560.5,-1694.8 5564.55,-1700.51"/>
</g>
<!-- goedel.rosserPA&#45;&gt;ordinals.Ackermann.PAconsistent -->
<g id="edge266" class="edge">
<title>goedel.rosserPA&#45;&gt;ordinals.Ackermann.PAconsistent</title>
<path fill="none" stroke="black" d="M5293.39,-1871.85C5293.39,-1834.83 5293.39,-1747.18 5293.39,-1702.39"/>
<polygon fill="black" stroke="black" points="5296.89,-1702.23 5293.39,-1692.23 5289.89,-1702.23 5296.89,-1702.23"/>
</g>
<!-- goedel.rosserPA&#45;&gt;goedel.fixPoint -->
<g id="edge267" class="edge">
<title>goedel.rosserPA&#45;&gt;goedel.fixPoint</title>
<path fill="none" stroke="black" d="M5245.26,-1876.97C5196.59,-1864.8 5121.41,-1846 5069.93,-1833.13"/>
<polygon fill="black" stroke="black" points="5070.52,-1829.67 5059.97,-1830.64 5068.82,-1836.46 5070.52,-1829.67"/>
</g>
<!-- goedel.rosserPA&#45;&gt;goedel.codeSysPrf -->
<g id="edge268" class="edge">
<title>goedel.rosserPA&#45;&gt;goedel.codeSysPrf</title>
<path fill="none" stroke="black" d="M5268.43,-1873.12C5253.35,-1863.52 5233.92,-1851.15 5217.44,-1840.67"/>
<polygon fill="black" stroke="black" points="5218.95,-1837.48 5208.63,-1835.06 5215.19,-1843.39 5218.95,-1837.48"/>
</g>
<!-- goedel.goedel2 -->
<g id="node190" class="node">
<title>goedel.goedel2</title>
<g id="a_node190"><a xlink:href="goedel.goedel2.svg" xlink:title="goedel.goedel2">
<ellipse fill="white" stroke="black" cx="5293.39" cy="-1962" rx="64.19" ry="18"/>
<text text-anchor="middle" x="5293.39" y="-1958.3" font-family="Times,serif" font-size="14.00">goedel.goedel2</text>
</a>
</g>
</g>
<!-- goedel.goedel2&#45;&gt;goedel.rosserPA -->
<g id="edge269" class="edge">
<title>goedel.goedel2&#45;&gt;goedel.rosserPA</title>
<path fill="none" stroke="black" d="M5293.39,-1943.7C5293.39,-1935.98 5293.39,-1926.71 5293.39,-1918.11"/>
<polygon fill="black" stroke="black" points="5296.89,-1918.1 5293.39,-1908.1 5289.89,-1918.1 5296.89,-1918.1"/>
</g>
</g>
</svg>