PVS0/PVS0-zoomed.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 8.0.4 (20230421.1958)
 -->
<!-- Title: PVS0&#45;zoomed Pages: 1 -->
<svg width="2787pt" height="830pt"
 viewBox="0.00 0.00 2787.00 829.50" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 825.5)">
<title>PVS0&#45;zoomed</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-825.5 2783,-825.5 2783,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="2159,-156.5 2159,-233 2630,-233 2630,-156.5 2159,-156.5"/>
<text text-anchor="middle" x="2394.5" y="-215.7" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_NASALib/PVS0</title>
<polygon fill="none" stroke="black" points="8,-8 8,-813.5 2151,-813.5 2151,-8 8,-8"/>
<text text-anchor="middle" x="1079.5" y="-796.2" font-family="Times,serif" font-size="14.00">NASALib/PVS0</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_PVS Prelude</title>
<polygon fill="none" stroke="black" points="2159,-8 2159,-84.5 2247,-84.5 2247,-8 2159,-8"/>
<text text-anchor="middle" x="2203" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/CCG -->
<g id="node1" class="node">
<title>NASALib/CCG</title>
<polygon fill="#fcfcd7" stroke="black" points="2542,-200.5 2488,-200.5 2488,-164.5 2542,-164.5 2542,-200.5"/>
<text text-anchor="middle" x="2515" y="-177.45" font-family="Times,serif" font-size="14.00">CCG</text>
</g>
<!-- NASALib/PVS0@PVS0Bool -->
<g id="node2" class="node">
<title>NASALib/PVS0@PVS0Bool</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1948" cy="-182.5" rx="50.33" ry="18"/>
<text text-anchor="middle" x="1948" y="-177.45" font-family="Times,serif" font-size="14.00">PVS0Bool</text>
</g>
<!-- NASALib/PVS0@PVS0Expr -->
<g id="node3" class="node">
<title>NASALib/PVS0@PVS0Expr</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1948" cy="-34" rx="50.33" ry="18"/>
<text text-anchor="middle" x="1948" y="-28.95" font-family="Times,serif" font-size="14.00">PVS0Expr</text>
</g>
<!-- NASALib/PVS0@PVS0Bool&#45;&gt;NASALib/PVS0@PVS0Expr -->
<g id="edge1" class="edge">
<title>NASALib/PVS0@PVS0Bool&#45;&gt;NASALib/PVS0@PVS0Expr</title>
<path fill="none" stroke="black" d="M1948,-164.12C1948,-139.23 1948,-93.15 1948,-63.3"/>
<polygon fill="black" stroke="black" points="1951.5,-63.36 1948,-53.36 1944.5,-63.36 1951.5,-63.36"/>
</g>
<!-- NASALib/PVS0@ack_pvs -->
<g id="node4" class="node">
<title>NASALib/PVS0@ack_pvs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1605" cy="-763" rx="41.12" ry="18"/>
<text text-anchor="middle" x="1605" y="-757.95" font-family="Times,serif" font-size="14.00">ack_pvs</text>
</g>
<!-- NASALib/PVS0@ack_pvs0 -->
<g id="node5" class="node">
<title>NASALib/PVS0@ack_pvs0</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1596" cy="-691" rx="45.72" ry="18"/>
<text text-anchor="middle" x="1596" y="-685.95" font-family="Times,serif" font-size="14.00">ack_pvs0</text>
</g>
<!-- NASALib/PVS0@ack_pvs&#45;&gt;NASALib/PVS0@ack_pvs0 -->
<g id="edge7" class="edge">
<title>NASALib/PVS0@ack_pvs&#45;&gt;NASALib/PVS0@ack_pvs0</title>
<path fill="none" stroke="black" d="M1602.78,-744.7C1601.82,-737.24 1600.67,-728.32 1599.6,-719.97"/>
<polygon fill="black" stroke="black" points="1602.95,-719.58 1598.2,-710.1 1596,-720.47 1602.95,-719.58"/>
</g>
<!-- NASALib/PVS0@ack_pvs0&#45;&gt;NASALib/CCG -->
<g id="edge2" class="edge">
<title>NASALib/PVS0@ack_pvs0&#45;&gt;NASALib/CCG</title>
<path fill="none" stroke="black" d="M2589,-258C2589,-258 2551,-233 2551,-233 2551,-233 2542.56,-221.4 2533.86,-209.43"/>
<polygon fill="black" stroke="black" points="2536.3,-207.84 2527.59,-201.81 2530.64,-211.96 2536.3,-207.84"/>
<path fill="none" stroke="black" d="M1630.81,-679.04C1641.26,-675.75 1650,-673 1650,-673 1650,-673 2075,-637 2075,-637 2075,-637 2453,-493 2453,-493 2453,-493 2589,-260 2589,-260"/>
</g>
<!-- NASALib/PVS0@ccg_to_pvs0 -->
<g id="node6" class="node">
<title>NASALib/PVS0@ccg_to_pvs0</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1798" cy="-619" rx="57.49" ry="18"/>
<text text-anchor="middle" x="1798" y="-613.95" font-family="Times,serif" font-size="14.00">ccg_to_pvs0</text>
</g>
<!-- NASALib/PVS0@ack_pvs0&#45;&gt;NASALib/PVS0@ccg_to_pvs0 -->
<g id="edge3" class="edge">
<title>NASALib/PVS0@ack_pvs0&#45;&gt;NASALib/PVS0@ccg_to_pvs0</title>
<path fill="none" stroke="black" d="M1629.36,-678.44C1662.34,-667.01 1713.13,-649.41 1750.36,-636.51"/>
<polygon fill="black" stroke="black" points="1751.17,-639.59 1759.47,-633 1748.88,-632.97 1751.17,-639.59"/>
</g>
<!-- NASALib/PVS0@pvs0_cc -->
<g id="node32" class="node">
<title>NASALib/PVS0@pvs0_cc</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1831" cy="-259" rx="41.12" ry="18"/>
<text text-anchor="middle" x="1831" y="-253.95" font-family="Times,serif" font-size="14.00">pvs0_cc</text>
</g>
<!-- NASALib/PVS0@ack_pvs0&#45;&gt;NASALib/PVS0@pvs0_cc -->
<g id="edge4" class="edge">
<title>NASALib/PVS0@ack_pvs0&#45;&gt;NASALib/PVS0@pvs0_cc</title>
<path fill="none" stroke="black" d="M1596.49,-672.7C1597.09,-651.97 1598,-620 1598,-620"/>
<path fill="none" stroke="black" d="M1598,-618C1598,-618 1592,-421 1592,-421 1592,-421 1592,-385 1592,-385 1592,-385 1598,-332 1598,-332"/>
<path fill="none" stroke="black" d="M1598,-330C1598,-330 1719.81,-293.41 1787.28,-273.13"/>
<polygon fill="black" stroke="black" points="1788.05,-276.26 1796.62,-270.03 1786.03,-269.55 1788.05,-276.26"/>
</g>
<!-- NASALib/PVS0@pvs0_eval -->
<g id="node34" class="node">
<title>NASALib/PVS0@pvs0_eval</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1531" cy="-619" rx="48.28" ry="18"/>
<text text-anchor="middle" x="1531" y="-613.95" font-family="Times,serif" font-size="14.00">pvs0_eval</text>
</g>
<!-- NASALib/PVS0@ack_pvs0&#45;&gt;NASALib/PVS0@pvs0_eval -->
<g id="edge5" class="edge">
<title>NASALib/PVS0@ack_pvs0&#45;&gt;NASALib/PVS0@pvs0_eval</title>
<path fill="none" stroke="black" d="M1580.92,-673.76C1572.72,-664.93 1562.41,-653.83 1553.3,-644.01"/>
<polygon fill="black" stroke="black" points="1556.36,-642.09 1546.99,-637.15 1551.23,-646.86 1556.36,-642.09"/>
</g>
<!-- NASALib/PVS0@pvs0_prelude -->
<g id="node39" class="node">
<title>NASALib/PVS0@pvs0_prelude</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1678" cy="-403" rx="60.56" ry="18"/>
<text text-anchor="middle" x="1678" y="-397.95" font-family="Times,serif" font-size="14.00">pvs0_prelude</text>
</g>
<!-- NASALib/PVS0@ack_pvs0&#45;&gt;NASALib/PVS0@pvs0_prelude -->
<g id="edge6" class="edge">
<title>NASALib/PVS0@ack_pvs0&#45;&gt;NASALib/PVS0@pvs0_prelude</title>
<path fill="none" stroke="black" d="M1598,-618C1598,-618 1646.19,-489.08 1667.77,-431.37"/>
<polygon fill="black" stroke="black" points="1671.37,-432.74 1671.59,-422.15 1664.81,-430.29 1671.37,-432.74"/>
</g>
<!-- NASALib/PVS0@ccg_to_pvs0&#45;&gt;NASALib/CCG -->
<g id="edge8" class="edge">
<title>NASALib/PVS0@ccg_to_pvs0&#45;&gt;NASALib/CCG</title>
<path fill="none" stroke="black" d="M1842.56,-607.33C1856.83,-603.91 1869,-601 1869,-601 1869,-601 2431,-493 2431,-493 2431,-493 2475,-404 2475,-404"/>
</g>
<!-- NASALib/PVS0@scp_iff_pvs0 -->
<g id="node47" class="node">
<title>NASALib/PVS0@scp_iff_pvs0</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1820" cy="-547" rx="58.52" ry="18"/>
<text text-anchor="middle" x="1820" y="-541.95" font-family="Times,serif" font-size="14.00">scp_iff_pvs0</text>
</g>
<!-- NASALib/PVS0@ccg_to_pvs0&#45;&gt;NASALib/PVS0@scp_iff_pvs0 -->
<g id="edge9" class="edge">
<title>NASALib/PVS0@ccg_to_pvs0&#45;&gt;NASALib/PVS0@scp_iff_pvs0</title>
<path fill="none" stroke="black" d="M1803.44,-600.7C1805.84,-593.07 1808.71,-583.92 1811.39,-575.4"/>
<polygon fill="black" stroke="black" points="1814.97,-576.69 1814.62,-566.1 1808.29,-574.59 1814.97,-576.69"/>
</g>
<!-- NASALib/PVS0@chain_of_appends -->
<g id="node7" class="node">
<title>NASALib/PVS0@chain_of_appends</title>
<ellipse fill="#e6f3ff" stroke="black" cx="508" cy="-619" rx="77.97" ry="18"/>
<text text-anchor="middle" x="508" y="-613.95" font-family="Times,serif" font-size="14.00">chain_of_appends</text>
</g>
<!-- NASALib/PVS0@counting_pvs0_type -->
<g id="node8" class="node">
<title>NASALib/PVS0@counting_pvs0_type</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2053" cy="-110.5" rx="85.64" ry="18"/>
<text text-anchor="middle" x="2053" y="-105.45" font-family="Times,serif" font-size="14.00">counting_pvs0_type</text>
</g>
<!-- NASALib/PVS0@counting_pvs0_type&#45;&gt;NASALib/PVS0@PVS0Expr -->
<g id="edge10" class="edge">
<title>NASALib/PVS0@counting_pvs0_type&#45;&gt;NASALib/PVS0@PVS0Expr</title>
<path fill="none" stroke="black" d="M2029.44,-92.78C2014.44,-82.14 1994.86,-68.25 1978.65,-56.75"/>
<polygon fill="black" stroke="black" points="1981.23,-53.58 1971.05,-50.65 1977.18,-59.29 1981.23,-53.58"/>
</g>
<!-- NASALib/sets_aux -->
<g id="node53" class="node">
<title>NASALib/sets_aux</title>
<polygon fill="#fcfcd7" stroke="black" points="2398.25,-200.5 2335.75,-200.5 2335.75,-164.5 2398.25,-164.5 2398.25,-200.5"/>
<text text-anchor="middle" x="2367" y="-177.45" font-family="Times,serif" font-size="14.00">sets_aux</text>
</g>
<!-- NASALib/PVS0@counting_pvs0_type&#45;&gt;NASALib/sets_aux -->
<g id="edge11" class="edge">
<title>NASALib/PVS0@counting_pvs0_type&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M2118.74,-122.34C2199.52,-135.65 2326,-156.5 2326,-156.5 2326,-156.5 2327.21,-157.24 2329.23,-158.47"/>
<polygon fill="black" stroke="black" points="2327.16,-161.92 2337.52,-164.14 2330.81,-155.94 2327.16,-161.92"/>
</g>
<!-- lib/finite_sets -->
<g id="node55" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="2238.75,-52 2167.25,-52 2167.25,-16 2238.75,-16 2238.75,-52"/>
<text text-anchor="middle" x="2203" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/PVS0@counting_pvs0_type&#45;&gt;lib/finite_sets -->
<g id="edge12" class="edge">
<title>NASALib/PVS0@counting_pvs0_type&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M2107.29,-96.19C2131.64,-90.22 2155,-84.5 2155,-84.5 2155,-84.5 2166.91,-72.22 2178.87,-59.89"/>
<polygon fill="black" stroke="black" points="2180.76,-62.93 2185.21,-53.31 2175.74,-58.06 2180.76,-62.93"/>
</g>
<!-- NASALib/PVS0@dg_termination -->
<g id="node9" class="node">
<title>NASALib/PVS0@dg_termination</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2051" cy="-763" rx="67.73" ry="18"/>
<text text-anchor="middle" x="2051" y="-757.95" font-family="Times,serif" font-size="14.00">dg_termination</text>
</g>
<!-- NASALib/PVS0@dp_termination -->
<g id="node10" class="node">
<title>NASALib/PVS0@dp_termination</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1964" cy="-547" rx="67.73" ry="18"/>
<text text-anchor="middle" x="1964" y="-541.95" font-family="Times,serif" font-size="14.00">dp_termination</text>
</g>
<!-- NASALib/PVS0@dg_termination&#45;&gt;NASALib/PVS0@dp_termination -->
<g id="edge13" class="edge">
<title>NASALib/PVS0@dg_termination&#45;&gt;NASALib/PVS0@dp_termination</title>
<path fill="none" stroke="black" d="M2051,-744.59C2051,-706.67 2051,-620 2051,-620"/>
<path fill="none" stroke="black" d="M2051,-618C2051,-618 2018.18,-591.6 1992.86,-571.22"/>
<polygon fill="black" stroke="black" points="1995.6,-568.13 1985.62,-564.59 1991.21,-573.58 1995.6,-568.13"/>
</g>
<!-- NASALib/PVS0@pvs0_to_ccg -->
<g id="node44" class="node">
<title>NASALib/PVS0@pvs0_to_ccg</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1975" cy="-691" rx="57.49" ry="18"/>
<text text-anchor="middle" x="1975" y="-685.95" font-family="Times,serif" font-size="14.00">pvs0_to_ccg</text>
</g>
<!-- NASALib/PVS0@dg_termination&#45;&gt;NASALib/PVS0@pvs0_to_ccg -->
<g id="edge14" class="edge">
<title>NASALib/PVS0@dg_termination&#45;&gt;NASALib/PVS0@pvs0_to_ccg</title>
<path fill="none" stroke="black" d="M2032.99,-745.41C2023.43,-736.61 2011.51,-725.63 2000.97,-715.92"/>
<polygon fill="black" stroke="black" points="2003.61,-713.67 1993.88,-709.47 1998.87,-718.82 2003.61,-713.67"/>
</g>
<!-- NASALib/PVS0@pvs0_to_dg -->
<g id="node45" class="node">
<title>NASALib/PVS0@pvs0_to_dg</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1831" cy="-403" rx="53.91" ry="18"/>
<text text-anchor="middle" x="1831" y="-397.95" font-family="Times,serif" font-size="14.00">pvs0_to_dg</text>
</g>
<!-- NASALib/PVS0@dg_termination&#45;&gt;NASALib/PVS0@pvs0_to_dg -->
<g id="edge15" class="edge">
<title>NASALib/PVS0@dg_termination&#45;&gt;NASALib/PVS0@pvs0_to_dg</title>
<path fill="none" stroke="black" d="M2051,-618C2051,-618 2041,-529 2041,-529 2041,-529 1962,-493 1962,-493 1962,-493 1952,-476 1952,-476"/>
</g>
<!-- NASALib/digraphs -->
<g id="node50" class="node">
<title>NASALib/digraphs</title>
<polygon fill="#fcfcd7" stroke="black" points="2622.25,-200.5 2559.75,-200.5 2559.75,-164.5 2622.25,-164.5 2622.25,-200.5"/>
<text text-anchor="middle" x="2591" y="-177.45" font-family="Times,serif" font-size="14.00">digraphs</text>
</g>
<!-- NASALib/PVS0@dg_termination&#45;&gt;NASALib/digraphs -->
<g id="edge16" class="edge">
<title>NASALib/PVS0@dg_termination&#45;&gt;NASALib/digraphs</title>
<path fill="none" stroke="black" d="M2115.65,-757.13C2289.69,-744.03 2755,-709 2755,-709 2755,-709 2779,-620 2779,-620 2779,-620 2779,-620 2779,-330 2779,-330 2736,-241 2736,-241 2736,-241 2675.5,-217.01 2632.66,-200.02"/>
<polygon fill="black" stroke="black" points="2634.05,-196.41 2623.46,-195.98 2631.47,-202.92 2634.05,-196.41"/>
</g>
<!-- NASALib/PVS0@measure_termination_defs -->
<g id="node19" class="node">
<title>NASALib/PVS0@measure_termination_defs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2013" cy="-403" rx="109.7" ry="18"/>
<text text-anchor="middle" x="2013" y="-397.95" font-family="Times,serif" font-size="14.00">measure_termination_defs</text>
</g>
<!-- NASALib/PVS0@dp_termination&#45;&gt;NASALib/PVS0@measure_termination_defs -->
<g id="edge17" class="edge">
<title>NASALib/PVS0@dp_termination&#45;&gt;NASALib/PVS0@measure_termination_defs</title>
<path fill="none" stroke="black" d="M2006.39,-532.63C2056.16,-516.93 2132,-493 2132,-493 2132,-493 2132,-457 2132,-457 2132,-457 2092.77,-439.53 2059.36,-424.65"/>
<polygon fill="black" stroke="black" points="2061.23,-421.21 2050.67,-420.33 2058.39,-427.6 2061.23,-421.21"/>
</g>
<!-- NASALib/orders -->
<g id="node52" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="2470,-200.5 2416,-200.5 2416,-164.5 2470,-164.5 2470,-200.5"/>
<text text-anchor="middle" x="2443" y="-177.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/PVS0@dp_termination&#45;&gt;NASALib/orders -->
<g id="edge18" class="edge">
<title>NASALib/PVS0@dp_termination&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M2025.02,-538.8C2147.79,-524.31 2413,-493 2413,-493 2413,-493 2437,-404 2437,-404 2437,-404 2437,-404 2437,-330 2437,-330 2440.1,-254.22 2441.85,-211.66"/>
<polygon fill="black" stroke="black" points="2445.38,-212.02 2442.29,-201.88 2438.38,-211.73 2445.38,-212.02"/>
</g>
<!-- NASALib/PVS0@dp_to_tcc -->
<g id="node11" class="node">
<title>NASALib/PVS0@dp_to_tcc</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1952" cy="-619" rx="47.26" ry="18"/>
<text text-anchor="middle" x="1952" y="-613.95" font-family="Times,serif" font-size="14.00">dp_to_tcc</text>
</g>
<!-- NASALib/PVS0@dp_to_tcc&#45;&gt;NASALib/PVS0@dp_termination -->
<g id="edge19" class="edge">
<title>NASALib/PVS0@dp_to_tcc&#45;&gt;NASALib/PVS0@dp_termination</title>
<path fill="none" stroke="black" d="M1954.97,-600.7C1956.26,-593.15 1957.81,-584.12 1959.25,-575.68"/>
<polygon fill="black" stroke="black" points="1962.83,-576.55 1961.07,-566.1 1955.93,-575.37 1962.83,-576.55"/>
</g>
<!-- NASALib/PVS0@dp_to_tcc&#45;&gt;NASALib/PVS0@scp_iff_pvs0 -->
<g id="edge20" class="edge">
<title>NASALib/PVS0@dp_to_tcc&#45;&gt;NASALib/PVS0@scp_iff_pvs0</title>
<path fill="none" stroke="black" d="M1925.29,-603.83C1905.95,-593.58 1879.54,-579.57 1858.01,-568.16"/>
<polygon fill="black" stroke="black" points="1859.97,-564.71 1849.5,-563.11 1856.69,-570.89 1859.97,-564.71"/>
</g>
<!-- NASALib/PVS0@factorial_pvs -->
<g id="node12" class="node">
<title>NASALib/PVS0@factorial_pvs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1836" cy="-763" rx="59.03" ry="18"/>
<text text-anchor="middle" x="1836" y="-757.95" font-family="Times,serif" font-size="14.00">factorial_pvs</text>
</g>
<!-- NASALib/PVS0@factorial_pvs0 -->
<g id="node13" class="node">
<title>NASALib/PVS0@factorial_pvs0</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1836" cy="-691" rx="63.63" ry="18"/>
<text text-anchor="middle" x="1836" y="-685.95" font-family="Times,serif" font-size="14.00">factorial_pvs0</text>
</g>
<!-- NASALib/PVS0@factorial_pvs&#45;&gt;NASALib/PVS0@factorial_pvs0 -->
<g id="edge26" class="edge">
<title>NASALib/PVS0@factorial_pvs&#45;&gt;NASALib/PVS0@factorial_pvs0</title>
<path fill="none" stroke="black" d="M1836,-744.7C1836,-737.24 1836,-728.32 1836,-719.97"/>
<polygon fill="black" stroke="black" points="1839.5,-720.1 1836,-710.1 1832.5,-720.1 1839.5,-720.1"/>
</g>
<!-- NASALib/PVS0@factorial_pvs0&#45;&gt;NASALib/CCG -->
<g id="edge21" class="edge">
<title>NASALib/PVS0@factorial_pvs0&#45;&gt;NASALib/CCG</title>
<path fill="none" stroke="black" d="M2722,-258C2722,-258 2641,-241 2641,-241 2641,-241 2551,-233 2551,-233 2551,-233 2542.56,-221.4 2533.86,-209.43"/>
<polygon fill="black" stroke="black" points="2536.3,-207.84 2527.59,-201.81 2530.64,-211.96 2536.3,-207.84"/>
<path fill="none" stroke="black" d="M1883.88,-678.85C1897.64,-675.65 1909,-673 1909,-673 1909,-673 2603,-637 2603,-637 2603,-637 2665,-548 2665,-548 2665,-548 2665,-548 2665,-402 2665,-402 2722,-260 2722,-260"/>
</g>
<!-- NASALib/PVS0@factorial_pvs0&#45;&gt;NASALib/PVS0@ccg_to_pvs0 -->
<g id="edge22" class="edge">
<title>NASALib/PVS0@factorial_pvs0&#45;&gt;NASALib/PVS0@ccg_to_pvs0</title>
<path fill="none" stroke="black" d="M1826.8,-673.05C1822.46,-665.06 1817.18,-655.33 1812.33,-646.4"/>
<polygon fill="black" stroke="black" points="1814.96,-644.91 1807.11,-637.79 1808.81,-648.25 1814.96,-644.91"/>
</g>
<!-- NASALib/PVS0@factorial_pvs0&#45;&gt;NASALib/PVS0@pvs0_cc -->
<g id="edge23" class="edge">
<title>NASALib/PVS0@factorial_pvs0&#45;&gt;NASALib/PVS0@pvs0_cc</title>
<path fill="none" stroke="black" d="M1722,-546C1722,-546 1748,-421 1748,-421 1748,-421 1748,-385 1748,-385 1748,-385 1598,-332 1598,-332"/>
</g>
<!-- NASALib/PVS0@factorial_pvs0&#45;&gt;NASALib/PVS0@pvs0_eval -->
<g id="edge24" class="edge">
<title>NASALib/PVS0@factorial_pvs0&#45;&gt;NASALib/PVS0@pvs0_eval</title>
<path fill="none" stroke="black" d="M1788.38,-678.76C1774.99,-675.59 1764,-673 1764,-673 1764,-673 1593,-637 1593,-637 1593,-637 1587.42,-635.47 1579.61,-633.33"/>
<polygon fill="black" stroke="black" points="1580.78,-629.74 1570.21,-630.48 1578.92,-636.5 1580.78,-629.74"/>
</g>
<!-- NASALib/PVS0@factorial_pvs0&#45;&gt;NASALib/PVS0@pvs0_prelude -->
<g id="edge25" class="edge">
<title>NASALib/PVS0@factorial_pvs0&#45;&gt;NASALib/PVS0@pvs0_prelude</title>
<path fill="none" stroke="black" d="M1722,-546C1722,-546 1714,-476 1714,-476"/>
<path fill="none" stroke="black" d="M1805.92,-674.67C1775.2,-659.02 1732,-637 1732,-637 1732,-637 1722,-548 1722,-548"/>
<path fill="none" stroke="black" d="M1714,-474C1714,-474 1701.83,-450.33 1691.64,-430.52"/>
<polygon fill="black" stroke="black" points="1694.4,-429.24 1686.71,-421.95 1688.18,-432.44 1694.4,-429.24"/>
</g>
<!-- NASALib/PVS0@fibo_pvs -->
<g id="node14" class="node">
<title>NASALib/PVS0@fibo_pvs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1707" cy="-763" rx="43.16" ry="18"/>
<text text-anchor="middle" x="1707" y="-757.95" font-family="Times,serif" font-size="14.00">fibo_pvs</text>
</g>
<!-- NASALib/PVS0@fibo_pvs0 -->
<g id="node15" class="node">
<title>NASALib/PVS0@fibo_pvs0</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1707" cy="-691" rx="47.77" ry="18"/>
<text text-anchor="middle" x="1707" y="-685.95" font-family="Times,serif" font-size="14.00">fibo_pvs0</text>
</g>
<!-- NASALib/PVS0@fibo_pvs&#45;&gt;NASALib/PVS0@fibo_pvs0 -->
<g id="edge32" class="edge">
<title>NASALib/PVS0@fibo_pvs&#45;&gt;NASALib/PVS0@fibo_pvs0</title>
<path fill="none" stroke="black" d="M1707,-744.7C1707,-737.24 1707,-728.32 1707,-719.97"/>
<polygon fill="black" stroke="black" points="1710.5,-720.1 1707,-710.1 1703.5,-720.1 1710.5,-720.1"/>
</g>
<!-- NASALib/PVS0@fibo_pvs0&#45;&gt;NASALib/CCG -->
<g id="edge27" class="edge">
<title>NASALib/PVS0@fibo_pvs0&#45;&gt;NASALib/CCG</title>
<path fill="none" stroke="black" d="M1743.41,-678.95C1754.11,-675.7 1763,-673 1763,-673 1763,-673 2565,-637 2565,-637 2565,-637 2589,-548 2589,-548 2589,-548 2589,-548 2589,-402 2589,-402 2589,-260 2589,-260"/>
</g>
<!-- NASALib/PVS0@fibo_pvs0&#45;&gt;NASALib/PVS0@ccg_to_pvs0 -->
<g id="edge28" class="edge">
<title>NASALib/PVS0@fibo_pvs0&#45;&gt;NASALib/PVS0@ccg_to_pvs0</title>
<path fill="none" stroke="black" d="M1727.2,-674.46C1739.31,-665.15 1754.93,-653.13 1768.42,-642.76"/>
<polygon fill="black" stroke="black" points="1770.12,-645.09 1775.91,-636.22 1765.85,-639.54 1770.12,-645.09"/>
</g>
<!-- NASALib/PVS0@fibo_pvs0&#45;&gt;NASALib/PVS0@pvs0_cc -->
<g id="edge29" class="edge">
<title>NASALib/PVS0@fibo_pvs0&#45;&gt;NASALib/PVS0@pvs0_cc</title>
<path fill="none" stroke="black" d="M1704.68,-672.85C1697.79,-622.07 1678,-476 1678,-476"/>
<path fill="none" stroke="black" d="M1678,-474C1678,-474 1608,-421 1608,-421 1608,-421 1598,-332 1598,-332"/>
</g>
<!-- NASALib/PVS0@fibo_pvs0&#45;&gt;NASALib/PVS0@pvs0_eval -->
<g id="edge30" class="edge">
<title>NASALib/PVS0@fibo_pvs0&#45;&gt;NASALib/PVS0@pvs0_eval</title>
<path fill="none" stroke="black" d="M1675.13,-677.32C1646.65,-666 1604.71,-649.32 1573.4,-636.87"/>
<polygon fill="black" stroke="black" points="1574.82,-633.26 1564.23,-632.82 1572.23,-639.77 1574.82,-633.26"/>
</g>
<!-- NASALib/PVS0@fibo_pvs0&#45;&gt;NASALib/PVS0@pvs0_prelude -->
<g id="edge31" class="edge">
<title>NASALib/PVS0@fibo_pvs0&#45;&gt;NASALib/PVS0@pvs0_prelude</title>
<path fill="none" stroke="black" d="M1678,-474C1678,-474 1678,-451.66 1678,-432.22"/>
<polygon fill="black" stroke="black" points="1681.5,-432.3 1678,-422.3 1674.5,-432.3 1681.5,-432.3"/>
</g>
<!-- NASALib/PVS0@map_append -->
<g id="node16" class="node">
<title>NASALib/PVS0@map_append</title>
<ellipse fill="#e6f3ff" stroke="black" cx="411" cy="-403" rx="58.52" ry="18"/>
<text text-anchor="middle" x="411" y="-397.95" font-family="Times,serif" font-size="14.00">map_append</text>
</g>
<!-- NASALib/PVS0@map_identity -->
<g id="node17" class="node">
<title>NASALib/PVS0@map_identity</title>
<ellipse fill="#e6f3ff" stroke="black" cx="472" cy="-331" rx="60.05" ry="18"/>
<text text-anchor="middle" x="472" y="-325.95" font-family="Times,serif" font-size="14.00">map_identity</text>
</g>
<!-- NASALib/PVS0@measure_termination -->
<g id="node18" class="node">
<title>NASALib/PVS0@measure_termination</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1843" cy="-475" rx="89.74" ry="18"/>
<text text-anchor="middle" x="1843" y="-469.95" font-family="Times,serif" font-size="14.00">measure_termination</text>
</g>
<!-- NASALib/PVS0@measure_termination&#45;&gt;NASALib/PVS0@measure_termination_defs -->
<g id="edge33" class="edge">
<title>NASALib/PVS0@measure_termination&#45;&gt;NASALib/PVS0@measure_termination_defs</title>
<path fill="none" stroke="black" d="M1881.15,-458.29C1905.44,-448.29 1937.14,-435.24 1963.37,-424.43"/>
<polygon fill="black" stroke="black" points="1964.59,-427.31 1972.5,-420.26 1961.92,-420.84 1964.59,-427.31"/>
</g>
<!-- NASALib/PVS0@measure_termination&#45;&gt;NASALib/PVS0@pvs0_prelude -->
<g id="edge34" class="edge">
<title>NASALib/PVS0@measure_termination&#45;&gt;NASALib/PVS0@pvs0_prelude</title>
<path fill="none" stroke="black" d="M1805.97,-458.29C1781.06,-447.72 1748.1,-433.74 1721.87,-422.61"/>
<polygon fill="black" stroke="black" points="1723.39,-419.03 1712.82,-418.35 1720.66,-425.47 1723.39,-419.03"/>
</g>
<!-- NASALib/PVS0@measure_termination&#45;&gt;NASALib/PVS0@pvs0_to_dg -->
<g id="edge35" class="edge">
<title>NASALib/PVS0@measure_termination&#45;&gt;NASALib/PVS0@pvs0_to_dg</title>
<path fill="none" stroke="black" d="M1840.03,-456.7C1838.74,-449.15 1837.19,-440.12 1835.75,-431.68"/>
<polygon fill="black" stroke="black" points="1839.07,-431.37 1833.93,-422.1 1832.17,-432.55 1839.07,-431.37"/>
</g>
<!-- NASALib/PVS0@pvs0_props -->
<g id="node40" class="node">
<title>NASALib/PVS0@pvs0_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1831" cy="-331" rx="53.4" ry="18"/>
<text text-anchor="middle" x="1831" y="-325.95" font-family="Times,serif" font-size="14.00">pvs0_props</text>
</g>
<!-- NASALib/PVS0@measure_termination_defs&#45;&gt;NASALib/PVS0@pvs0_props -->
<g id="edge36" class="edge">
<title>NASALib/PVS0@measure_termination_defs&#45;&gt;NASALib/PVS0@pvs0_props</title>
<path fill="none" stroke="black" d="M1971.25,-385.94C1942.52,-374.89 1904.42,-360.24 1875.19,-348.99"/>
<polygon fill="black" stroke="black" points="1876.83,-345.49 1866.24,-345.17 1874.32,-352.03 1876.83,-345.49"/>
</g>
<!-- NASALib/PVS0@mf_PVS0Expr -->
<g id="node20" class="node">
<title>NASALib/PVS0@mf_PVS0Expr</title>
<ellipse fill="#e6f3ff" stroke="black" cx="92" cy="-182.5" rx="65.68" ry="18"/>
<text text-anchor="middle" x="92" y="-177.45" font-family="Times,serif" font-size="14.00">mf_PVS0Expr</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_Fixedpoint -->
<g id="node21" class="node">
<title>NASALib/PVS0@mf_pvs0_Fixedpoint</title>
<ellipse fill="#e6f3ff" stroke="black" cx="411" cy="-475" rx="88.2" ry="18"/>
<text text-anchor="middle" x="411" y="-469.95" font-family="Times,serif" font-size="14.00">mf_pvs0_Fixedpoint</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_Fixedpoint&#45;&gt;NASALib/PVS0@map_append -->
<g id="edge37" class="edge">
<title>NASALib/PVS0@mf_pvs0_Fixedpoint&#45;&gt;NASALib/PVS0@map_append</title>
<path fill="none" stroke="black" d="M411,-456.7C411,-449.24 411,-440.32 411,-431.97"/>
<polygon fill="black" stroke="black" points="414.5,-432.1 411,-422.1 407.5,-432.1 414.5,-432.1"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_computable -->
<g id="node27" class="node">
<title>NASALib/PVS0@mf_pvs0_computable</title>
<ellipse fill="#e6f3ff" stroke="black" cx="579" cy="-403" rx="91.78" ry="18"/>
<text text-anchor="middle" x="579" y="-397.95" font-family="Times,serif" font-size="14.00">mf_pvs0_computable</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_Fixedpoint&#45;&gt;NASALib/PVS0@mf_pvs0_computable -->
<g id="edge38" class="edge">
<title>NASALib/PVS0@mf_pvs0_Fixedpoint&#45;&gt;NASALib/PVS0@mf_pvs0_computable</title>
<path fill="none" stroke="black" d="M448.7,-458.29C473.04,-448.15 504.93,-434.86 531.06,-423.97"/>
<polygon fill="black" stroke="black" points="532.25,-426.85 540.13,-419.78 529.56,-420.39 532.25,-426.85"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_Recursion_Theorem -->
<g id="node22" class="node">
<title>NASALib/PVS0@mf_pvs0_Recursion_Theorem</title>
<ellipse fill="#e6f3ff" stroke="black" cx="748" cy="-547" rx="124.03" ry="18"/>
<text text-anchor="middle" x="748" y="-541.95" font-family="Times,serif" font-size="14.00">mf_pvs0_Recursion_Theorem</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_basic_programs -->
<g id="node26" class="node">
<title>NASALib/PVS0@mf_pvs0_basic_programs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="624" cy="-475" rx="107.14" ry="18"/>
<text text-anchor="middle" x="624" y="-469.95" font-family="Times,serif" font-size="14.00">mf_pvs0_basic_programs</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_Recursion_Theorem&#45;&gt;NASALib/PVS0@mf_pvs0_basic_programs -->
<g id="edge39" class="edge">
<title>NASALib/PVS0@mf_pvs0_Recursion_Theorem&#45;&gt;NASALib/PVS0@mf_pvs0_basic_programs</title>
<path fill="none" stroke="black" d="M717.98,-529.05C701.41,-519.7 680.64,-507.98 662.85,-497.93"/>
<polygon fill="black" stroke="black" points="664.74,-494.42 654.31,-492.55 661.3,-500.51 664.74,-494.42"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_Rices_Theorem -->
<g id="node23" class="node">
<title>NASALib/PVS0@mf_pvs0_Rices_Theorem</title>
<ellipse fill="#e6f3ff" stroke="black" cx="904" cy="-619" rx="107.14" ry="18"/>
<text text-anchor="middle" x="904" y="-613.95" font-family="Times,serif" font-size="14.00">mf_pvs0_Rices_Theorem</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_Rices_Theorem&#45;&gt;NASALib/PVS0@mf_pvs0_Recursion_Theorem -->
<g id="edge40" class="edge">
<title>NASALib/PVS0@mf_pvs0_Rices_Theorem&#45;&gt;NASALib/PVS0@mf_pvs0_Recursion_Theorem</title>
<path fill="none" stroke="black" d="M867.82,-601.76C846.08,-592.01 818.19,-579.5 794.79,-569"/>
<polygon fill="black" stroke="black" points="796.63,-565.53 786.07,-564.63 793.76,-571.92 796.63,-565.53"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_Rices_Theorem&#45;&gt;NASALib/PVS0@mf_pvs0_computable -->
<g id="edge41" class="edge">
<title>NASALib/PVS0@mf_pvs0_Rices_Theorem&#45;&gt;NASALib/PVS0@mf_pvs0_computable</title>
<path fill="none" stroke="black" d="M960,-474C960,-474 766.02,-438.36 654.88,-417.94"/>
<polygon fill="black" stroke="black" points="655.53,-414.32 645.06,-415.95 654.27,-421.2 655.53,-414.32"/>
<path fill="none" stroke="black" d="M960,-546C960,-546 960,-476 960,-476"/>
<path fill="none" stroke="black" d="M917.84,-600.7C934.43,-579.97 960,-548 960,-548"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_Rices_Theorem_Corollaries -->
<g id="node24" class="node">
<title>NASALib/PVS0@mf_pvs0_Rices_Theorem_Corollaries</title>
<ellipse fill="#e6f3ff" stroke="black" cx="881" cy="-691" rx="152.69" ry="18"/>
<text text-anchor="middle" x="881" y="-685.95" font-family="Times,serif" font-size="14.00">mf_pvs0_Rices_Theorem_Corollaries</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_Rices_Theorem_Corollaries&#45;&gt;NASALib/PVS0@mf_pvs0_Rices_Theorem -->
<g id="edge42" class="edge">
<title>NASALib/PVS0@mf_pvs0_Rices_Theorem_Corollaries&#45;&gt;NASALib/PVS0@mf_pvs0_Rices_Theorem</title>
<path fill="none" stroke="black" d="M886.69,-672.7C889.19,-665.07 892.2,-655.92 895,-647.4"/>
<polygon fill="black" stroke="black" points="898.58,-648.7 898.38,-638.1 891.93,-646.51 898.58,-648.7"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_Turing_Completeness -->
<g id="node25" class="node">
<title>NASALib/PVS0@mf_pvs0_Turing_Completeness</title>
<ellipse fill="#e6f3ff" stroke="black" cx="560" cy="-691" rx="130.17" ry="18"/>
<text text-anchor="middle" x="560" y="-685.95" font-family="Times,serif" font-size="14.00">mf_pvs0_Turing_Completeness</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_Turing_Completeness&#45;&gt;NASALib/PVS0@chain_of_appends -->
<g id="edge43" class="edge">
<title>NASALib/PVS0@mf_pvs0_Turing_Completeness&#45;&gt;NASALib/PVS0@chain_of_appends</title>
<path fill="none" stroke="black" d="M547.15,-672.7C541.1,-664.56 533.77,-654.69 527.09,-645.7"/>
<polygon fill="black" stroke="black" points="529.48,-644.04 520.71,-638.1 523.86,-648.22 529.48,-644.04"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_Turing_Completeness&#45;&gt;NASALib/PVS0@mf_pvs0_basic_programs -->
<g id="edge44" class="edge">
<title>NASALib/PVS0@mf_pvs0_Turing_Completeness&#45;&gt;NASALib/PVS0@mf_pvs0_basic_programs</title>
<path fill="none" stroke="black" d="M605,-546C605,-546 611.18,-523.24 616.49,-503.68"/>
<polygon fill="black" stroke="black" points="620.06,-504.87 619.3,-494.3 613.31,-503.04 620.06,-504.87"/>
<path fill="none" stroke="black" d="M571.46,-672.65C581.67,-657.19 595,-637 595,-637 595,-637 605,-548 605,-548"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_basic_programs&#45;&gt;NASALib/PVS0@map_append -->
<g id="edge45" class="edge">
<title>NASALib/PVS0@mf_pvs0_basic_programs&#45;&gt;NASALib/PVS0@map_append</title>
<path fill="none" stroke="black" d="M576.73,-458.46C542.04,-447.06 495.05,-431.62 459.97,-420.09"/>
<polygon fill="black" stroke="black" points="461.54,-416.6 450.95,-416.8 459.35,-423.25 461.54,-416.6"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_basic_programs&#45;&gt;NASALib/PVS0@mf_pvs0_computable -->
<g id="edge46" class="edge">
<title>NASALib/PVS0@mf_pvs0_basic_programs&#45;&gt;NASALib/PVS0@mf_pvs0_computable</title>
<path fill="none" stroke="black" d="M612.88,-456.7C607.75,-448.73 601.56,-439.1 595.88,-430.26"/>
<polygon fill="black" stroke="black" points="598.35,-428.62 590,-422.1 592.46,-432.41 598.35,-428.62"/>
</g>
<!-- NASALib/numbers -->
<g id="node51" class="node">
<title>NASALib/numbers</title>
<polygon fill="#fcfcd7" stroke="black" points="2230.62,-200.5 2167.38,-200.5 2167.38,-164.5 2230.62,-164.5 2230.62,-200.5"/>
<text text-anchor="middle" x="2199" y="-177.45" font-family="Times,serif" font-size="14.00">numbers</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_basic_programs&#45;&gt;NASALib/numbers -->
<g id="edge47" class="edge">
<title>NASALib/PVS0@mf_pvs0_basic_programs&#45;&gt;NASALib/numbers</title>
<path fill="none" stroke="black" d="M727.95,-470.35C1068.97,-458.36 2132,-421 2132,-421 2132,-421 2261,-349 2261,-349 2261,-349 2285,-260 2285,-260"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_computable&#45;&gt;NASALib/PVS0@map_identity -->
<g id="edge48" class="edge">
<title>NASALib/PVS0@mf_pvs0_computable&#45;&gt;NASALib/PVS0@map_identity</title>
<path fill="none" stroke="black" d="M553.37,-385.23C538.9,-375.77 520.65,-363.83 505.11,-353.66"/>
<polygon fill="black" stroke="black" points="507.6,-350.45 497.32,-347.91 503.77,-356.31 507.6,-350.45"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_lang -->
<g id="node30" class="node">
<title>NASALib/PVS0@mf_pvs0_lang</title>
<ellipse fill="#e6f3ff" stroke="black" cx="614" cy="-331" rx="64.15" ry="18"/>
<text text-anchor="middle" x="614" y="-325.95" font-family="Times,serif" font-size="14.00">mf_pvs0_lang</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_computable&#45;&gt;NASALib/PVS0@mf_pvs0_lang -->
<g id="edge49" class="edge">
<title>NASALib/PVS0@mf_pvs0_computable&#45;&gt;NASALib/PVS0@mf_pvs0_lang</title>
<path fill="none" stroke="black" d="M587.65,-384.7C591.55,-376.9 596.25,-367.51 600.59,-358.83"/>
<polygon fill="black" stroke="black" points="604.11,-360.61 605.45,-350.1 597.85,-357.48 604.11,-360.61"/>
</g>
<!-- NASALib/PVS0@subtype_length -->
<g id="node48" class="node">
<title>NASALib/PVS0@subtype_length</title>
<ellipse fill="#e6f3ff" stroke="black" cx="187" cy="-331" rx="67.22" ry="18"/>
<text text-anchor="middle" x="187" y="-325.95" font-family="Times,serif" font-size="14.00">subtype_length</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_computable&#45;&gt;NASALib/PVS0@subtype_length -->
<g id="edge50" class="edge">
<title>NASALib/PVS0@mf_pvs0_computable&#45;&gt;NASALib/PVS0@subtype_length</title>
<path fill="none" stroke="black" d="M511.19,-390.47C493.36,-387.44 479,-385 479,-385 479,-385 263,-349 263,-349 263,-349 256.75,-347.6 247.83,-345.61"/>
<polygon fill="black" stroke="black" points="248.79,-342.01 238.27,-343.24 247.26,-348.84 248.79,-342.01"/>
</g>
<!-- NASALib/PVS0@subtype_map -->
<g id="node49" class="node">
<title>NASALib/PVS0@subtype_map</title>
<ellipse fill="#e6f3ff" stroke="black" cx="333" cy="-331" rx="60.56" ry="18"/>
<text text-anchor="middle" x="333" y="-325.95" font-family="Times,serif" font-size="14.00">subtype_map</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_computable&#45;&gt;NASALib/PVS0@subtype_map -->
<g id="edge51" class="edge">
<title>NASALib/PVS0@mf_pvs0_computable&#45;&gt;NASALib/PVS0@subtype_map</title>
<path fill="none" stroke="black" d="M528.33,-387.58C486.83,-375.77 428.31,-359.12 386.16,-347.13"/>
<polygon fill="black" stroke="black" points="387.39,-343.55 376.81,-344.18 385.48,-350.29 387.39,-343.55"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_computable&#45;&gt;NASALib/numbers -->
<g id="edge52" class="edge">
<title>NASALib/PVS0@mf_pvs0_computable&#45;&gt;NASALib/numbers</title>
<path fill="none" stroke="black" d="M2285,-258C2285,-258 2240,-233 2240,-233 2240,-233 2230.21,-221.17 2220.19,-209.08"/>
<polygon fill="black" stroke="black" points="2222.41,-207.28 2213.34,-201.81 2217.02,-211.75 2222.41,-207.28"/>
<path fill="none" stroke="black" d="M668.28,-398.4C964.03,-386.47 1893,-349 1893,-349 1893,-349 2247,-332 2247,-332"/>
<path fill="none" stroke="black" d="M2247,-330C2247,-330 2285,-260 2285,-260"/>
</g>
<!-- NASALib/structures -->
<g id="node54" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="2317.25,-200.5 2248.75,-200.5 2248.75,-164.5 2317.25,-164.5 2317.25,-200.5"/>
<text text-anchor="middle" x="2283" y="-177.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_computable&#45;&gt;NASALib/structures -->
<g id="edge53" class="edge">
<title>NASALib/PVS0@mf_pvs0_computable&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M2323,-258C2323,-258 2308.91,-231.76 2297.46,-210.42"/>
<polygon fill="black" stroke="black" points="2300.09,-208.93 2292.28,-201.78 2293.92,-212.25 2300.09,-208.93"/>
<path fill="none" stroke="black" d="M2247,-330C2247,-330 2323,-260 2323,-260"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_expr -->
<g id="node28" class="node">
<title>NASALib/PVS0@mf_pvs0_expr</title>
<ellipse fill="#e6f3ff" stroke="black" cx="101" cy="-259" rx="64.66" ry="18"/>
<text text-anchor="middle" x="101" y="-253.95" font-family="Times,serif" font-size="14.00">mf_pvs0_expr</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_expr&#45;&gt;NASALib/PVS0@mf_PVS0Expr -->
<g id="edge54" class="edge">
<title>NASALib/PVS0@mf_pvs0_expr&#45;&gt;NASALib/PVS0@mf_PVS0Expr</title>
<path fill="none" stroke="black" d="M98.91,-240.72C97.88,-232.13 96.59,-221.53 95.42,-211.8"/>
<polygon fill="black" stroke="black" points="98.78,-211.45 94.11,-201.94 91.83,-212.29 98.78,-211.45"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_expr&#45;&gt;NASALib/structures -->
<g id="edge55" class="edge">
<title>NASALib/PVS0@mf_pvs0_expr&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M165.6,-257.24C522.79,-253.07 2240,-233 2240,-233 2240,-233 2250.27,-221.17 2260.78,-209.08"/>
<polygon fill="black" stroke="black" points="2264.04,-211.66 2267.96,-201.81 2258.76,-207.07 2264.04,-211.66"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_halting -->
<g id="node29" class="node">
<title>NASALib/PVS0@mf_pvs0_halting</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1053" cy="-547" rx="73.87" ry="18"/>
<text text-anchor="middle" x="1053" y="-541.95" font-family="Times,serif" font-size="14.00">mf_pvs0_halting</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_halting&#45;&gt;NASALib/PVS0@mf_pvs0_computable -->
<g id="edge56" class="edge">
<title>NASALib/PVS0@mf_pvs0_halting&#45;&gt;NASALib/PVS0@mf_pvs0_computable</title>
<path fill="none" stroke="black" d="M1030.96,-529.41C1003.46,-508.71 960,-476 960,-476"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_halting&#45;&gt;NASALib/structures -->
<g id="edge57" class="edge">
<title>NASALib/PVS0@mf_pvs0_halting&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1125.05,-542.46C1366.51,-530.6 2132,-493 2132,-493 2132,-493 2337,-421 2337,-421 2337,-421 2337,-385 2337,-385 2337,-385 2323,-332 2323,-332"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_lang&#45;&gt;NASALib/PVS0@mf_pvs0_expr -->
<g id="edge58" class="edge">
<title>NASALib/PVS0@mf_pvs0_lang&#45;&gt;NASALib/PVS0@mf_pvs0_expr</title>
<path fill="none" stroke="black" d="M565.71,-318.76C552.14,-315.59 541,-313 541,-313 541,-313 294.24,-283.28 170.3,-268.35"/>
<polygon fill="black" stroke="black" points="170.78,-264.76 160.43,-267.04 169.94,-271.71 170.78,-264.76"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_lang&#45;&gt;NASALib/structures -->
<g id="edge59" class="edge">
<title>NASALib/PVS0@mf_pvs0_lang&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M677.26,-327.35C933.56,-316.63 1881,-277 1881,-277 1881,-277 2240,-233 2240,-233 2240,-233 2250.27,-221.17 2260.78,-209.08"/>
<polygon fill="black" stroke="black" points="2264.04,-211.66 2267.96,-201.81 2258.76,-207.07 2264.04,-211.66"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top -->
<g id="node31" class="node">
<title>NASALib/PVS0@mf_pvs0_top</title>
<ellipse fill="#e6f3ff" stroke="black" cx="709" cy="-763" rx="60.05" ry="18"/>
<text text-anchor="middle" x="709" y="-757.95" font-family="Times,serif" font-size="14.00">mf_pvs0_top</text>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@chain_of_appends -->
<g id="edge60" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@chain_of_appends</title>
<path fill="none" stroke="black" d="M411,-690C411,-690 421,-673 421,-673 421,-673 448.15,-656.46 472.12,-641.86"/>
<polygon fill="black" stroke="black" points="473.71,-644.38 480.42,-636.19 470.06,-638.4 473.71,-644.38"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@map_identity -->
<g id="edge61" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@map_identity</title>
<path fill="none" stroke="black" d="M333,-402C333,-402 343,-385 343,-385 343,-385 390.65,-365.42 428.04,-350.06"/>
<polygon fill="black" stroke="black" points="428.85,-353.1 436.77,-346.06 426.19,-346.63 428.85,-353.1"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_PVS0Expr -->
<g id="edge62" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_PVS0Expr</title>
<path fill="none" stroke="black" d="M411,-690C411,-690 411,-548 411,-548"/>
<path fill="none" stroke="black" d="M333,-402C333,-402 111,-349 111,-349 111,-349 101,-332 101,-332"/>
<path fill="none" stroke="black" d="M411,-546C411,-546 314,-493 314,-493 314,-493 314,-457 314,-457 314,-457 333,-404 333,-404"/>
<path fill="none" stroke="black" d="M658.83,-752.77C576.32,-737.58 421,-709 421,-709 421,-709 411,-692 411,-692"/>
<path fill="none" stroke="black" d="M101,-330C101,-330 27,-277 27,-277 27,-277 27,-241 27,-241 27,-241 47.31,-223.04 65.22,-207.19"/>
<polygon fill="black" stroke="black" points="67.03,-210.38 72.2,-201.13 62.39,-205.14 67.03,-210.38"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_Fixedpoint -->
<g id="edge63" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_Fixedpoint</title>
<path fill="none" stroke="black" d="M411,-546C411,-546 411,-523.66 411,-504.22"/>
<polygon fill="black" stroke="black" points="414.5,-504.3 411,-494.3 407.5,-504.3 414.5,-504.3"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_Recursion_Theorem -->
<g id="edge64" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_Recursion_Theorem</title>
<path fill="none" stroke="black" d="M709,-618C709,-618 722.03,-594.61 733.03,-574.87"/>
<polygon fill="black" stroke="black" points="736.55,-576.74 738.36,-566.3 730.43,-573.34 736.55,-576.74"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_Rices_Theorem -->
<g id="edge65" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_Rices_Theorem</title>
<path fill="none" stroke="black" d="M761.19,-753.72C855.12,-738.81 1043,-709 1043,-709 1043,-709 1053,-692 1053,-692"/>
<path fill="none" stroke="black" d="M1053,-690C1053,-690 1043,-673 1043,-673 1043,-673 995.31,-654.82 955.8,-639.75"/>
<polygon fill="black" stroke="black" points="957.3,-636.19 946.7,-635.9 954.8,-642.73 957.3,-636.19"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_Rices_Theorem_Corollaries -->
<g id="edge66" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_Rices_Theorem_Corollaries</title>
<path fill="none" stroke="black" d="M743.39,-748C768.1,-737.95 801.83,-724.22 829.71,-712.87"/>
<polygon fill="black" stroke="black" points="830.75,-715.82 838.69,-708.81 828.11,-709.34 830.75,-715.82"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_Turing_Completeness -->
<g id="edge67" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_Turing_Completeness</title>
<path fill="none" stroke="black" d="M677.76,-747.33C656.78,-737.47 628.79,-724.32 605.37,-713.31"/>
<polygon fill="black" stroke="black" points="607.18,-709.83 596.64,-708.74 604.2,-716.16 607.18,-709.83"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_basic_programs -->
<g id="edge68" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_basic_programs</title>
<path fill="none" stroke="black" d="M709,-618C709,-618 615,-565 615,-565 615,-565 605,-548 605,-548"/>
<path fill="none" stroke="black" d="M709,-744.59C709,-706.67 709,-620 709,-620"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_computable -->
<g id="edge69" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_computable</title>
<path fill="none" stroke="black" d="M1053,-690C1053,-690 1053,-620 1053,-620"/>
<path fill="none" stroke="black" d="M1053,-618C1053,-618 970,-565 970,-565 970,-565 960,-548 960,-548"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_expr -->
<g id="edge70" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_expr</title>
<path fill="none" stroke="black" d="M101,-330C101,-330 101,-307.66 101,-288.22"/>
<polygon fill="black" stroke="black" points="104.5,-288.3 101,-278.3 97.5,-288.3 104.5,-288.3"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_halting -->
<g id="edge71" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_halting</title>
<path fill="none" stroke="black" d="M1053,-618C1053,-618 1053,-595.66 1053,-576.22"/>
<polygon fill="black" stroke="black" points="1056.5,-576.3 1053,-566.3 1049.5,-576.3 1056.5,-576.3"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_lang -->
<g id="edge72" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@mf_pvs0_lang</title>
<path fill="none" stroke="black" d="M1053,-618C1053,-618 1136,-565 1136,-565 1136,-565 1136,-529 1136,-529 1136,-529 965,-457 965,-457 965,-457 759.03,-383.65 662.65,-349.33"/>
<polygon fill="black" stroke="black" points="664.16,-345.79 653.57,-345.73 661.81,-352.39 664.16,-345.79"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@subtype_length -->
<g id="edge73" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@subtype_length</title>
<path fill="none" stroke="black" d="M333,-402C333,-402 271.56,-372.54 228.4,-351.85"/>
<polygon fill="black" stroke="black" points="230.21,-348.36 219.68,-347.19 227.18,-354.67 230.21,-348.36"/>
</g>
<!-- NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@subtype_map -->
<g id="edge74" class="edge">
<title>NASALib/PVS0@mf_pvs0_top&#45;&gt;NASALib/PVS0@subtype_map</title>
<path fill="none" stroke="black" d="M333,-402C333,-402 333,-379.66 333,-360.22"/>
<polygon fill="black" stroke="black" points="336.5,-360.3 333,-350.3 329.5,-360.3 336.5,-360.3"/>
</g>
<!-- NASALib/PVS0@pvs0_cc&#45;&gt;NASALib/PVS0@PVS0Bool -->
<g id="edge75" class="edge">
<title>NASALib/PVS0@pvs0_cc&#45;&gt;NASALib/PVS0@PVS0Bool</title>
<path fill="none" stroke="black" d="M1859.66,-245.65C1874.27,-239.35 1889,-233 1889,-233 1889,-233 1905.2,-219.41 1920.63,-206.47"/>
<polygon fill="black" stroke="black" points="1922.6,-208.54 1928.01,-199.43 1918.1,-203.18 1922.6,-208.54"/>
</g>
<!-- NASALib/PVS0@pvs0_lang -->
<g id="node38" class="node">
<title>NASALib/PVS0@pvs0_lang</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1831" cy="-182.5" rx="48.79" ry="18"/>
<text text-anchor="middle" x="1831" y="-177.45" font-family="Times,serif" font-size="14.00">pvs0_lang</text>
</g>
<!-- NASALib/PVS0@pvs0_cc&#45;&gt;NASALib/PVS0@pvs0_lang -->
<g id="edge76" class="edge">
<title>NASALib/PVS0@pvs0_cc&#45;&gt;NASALib/PVS0@pvs0_lang</title>
<path fill="none" stroke="black" d="M1831,-240.72C1831,-232.13 1831,-221.53 1831,-211.8"/>
<polygon fill="black" stroke="black" points="1834.5,-211.94 1831,-201.94 1827.5,-211.94 1834.5,-211.94"/>
</g>
<!-- NASALib/PVS0@pvs0_cc&#45;&gt;NASALib/structures -->
<g id="edge77" class="edge">
<title>NASALib/PVS0@pvs0_cc&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1871.71,-255.51C1975.16,-249.19 2240,-233 2240,-233 2240,-233 2250.27,-221.17 2260.78,-209.08"/>
<polygon fill="black" stroke="black" points="2264.04,-211.66 2267.96,-201.81 2258.76,-207.07 2264.04,-211.66"/>
</g>
<!-- NASALib/PVS0@pvs0_computable -->
<g id="node33" class="node">
<title>NASALib/PVS0@pvs0_computable</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1436" cy="-691" rx="76.43" ry="18"/>
<text text-anchor="middle" x="1436" y="-685.95" font-family="Times,serif" font-size="14.00">pvs0_computable</text>
</g>
<!-- NASALib/PVS0@pvs0_computable&#45;&gt;NASALib/PVS0@pvs0_eval -->
<g id="edge78" class="edge">
<title>NASALib/PVS0@pvs0_computable&#45;&gt;NASALib/PVS0@pvs0_eval</title>
<path fill="none" stroke="black" d="M1458.51,-673.41C1471.3,-663.99 1487.45,-652.09 1501.27,-641.91"/>
<polygon fill="black" stroke="black" points="1502.98,-644.26 1508.95,-635.51 1498.82,-638.63 1502.98,-644.26"/>
</g>
<!-- NASALib/PVS0@pvs0_computable&#45;&gt;NASALib/PVS0@pvs0_lang -->
<g id="edge79" class="edge">
<title>NASALib/PVS0@pvs0_computable&#45;&gt;NASALib/PVS0@pvs0_lang</title>
<path fill="none" stroke="black" d="M1316,-402C1316,-402 1306,-313 1306,-313 1306,-313 1278,-260 1278,-260"/>
</g>
<!-- NASALib/PVS0@pvs0_to_nat -->
<g id="node46" class="node">
<title>NASALib/PVS0@pvs0_to_nat</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1241" cy="-331" rx="55.96" ry="18"/>
<text text-anchor="middle" x="1241" y="-325.95" font-family="Times,serif" font-size="14.00">pvs0_to_nat</text>
</g>
<!-- NASALib/PVS0@pvs0_computable&#45;&gt;NASALib/PVS0@pvs0_to_nat -->
<g id="edge80" class="edge">
<title>NASALib/PVS0@pvs0_computable&#45;&gt;NASALib/PVS0@pvs0_to_nat</title>
<path fill="none" stroke="black" d="M1428.85,-672.97C1403.02,-611.4 1316,-404 1316,-404"/>
<path fill="none" stroke="black" d="M1316,-402C1316,-402 1288.13,-375.99 1266.37,-355.67"/>
<polygon fill="black" stroke="black" points="1269.09,-353.5 1259.4,-349.24 1264.32,-358.62 1269.09,-353.5"/>
</g>
<!-- NASALib/PVS0@pvs0_computable&#45;&gt;NASALib/structures -->
<g id="edge81" class="edge">
<title>NASALib/PVS0@pvs0_computable&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1497.69,-680.01C1520.54,-676.31 1541,-673 1541,-673 1541,-673 2008,-637 2008,-637 2008,-637 2453,-493 2453,-493 2453,-493 2489,-421 2489,-421 2489,-421 2489,-385 2489,-385 2489,-385 2337,-241 2337,-241 2337,-241 2327,-233 2327,-233 2327,-233 2316.29,-220.95 2305.43,-208.73"/>
<polygon fill="black" stroke="black" points="2308.65,-206.96 2299.39,-201.81 2303.42,-211.61 2308.65,-206.96"/>
</g>
<!-- NASALib/PVS0@pvs0_eval&#45;&gt;NASALib/PVS0@pvs0_props -->
<g id="edge82" class="edge">
<title>NASALib/PVS0@pvs0_eval&#45;&gt;NASALib/PVS0@pvs0_props</title>
<path fill="none" stroke="black" d="M1536.66,-600.87C1554.44,-547.06 1608,-385 1608,-385 1608,-385 1711.65,-360.36 1777.62,-344.69"/>
<polygon fill="black" stroke="black" points="1778.35,-347.87 1787.27,-342.16 1776.73,-341.06 1778.35,-347.87"/>
</g>
<!-- NASALib/PVS0@pvs0_eval&#45;&gt;NASALib/PVS0@scp_iff_pvs0 -->
<g id="edge83" class="edge">
<title>NASALib/PVS0@pvs0_eval&#45;&gt;NASALib/PVS0@scp_iff_pvs0</title>
<path fill="none" stroke="black" d="M1569.21,-607.52C1581.97,-604.03 1593,-601 1593,-601 1593,-601 1696.66,-576.8 1763.88,-561.1"/>
<polygon fill="black" stroke="black" points="1764.39,-564.34 1773.34,-558.66 1762.8,-557.53 1764.39,-564.34"/>
</g>
<!-- NASALib/PVS0@pvs0_expr -->
<g id="node35" class="node">
<title>NASALib/PVS0@pvs0_expr</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1880" cy="-110.5" rx="49.3" ry="18"/>
<text text-anchor="middle" x="1880" y="-105.45" font-family="Times,serif" font-size="14.00">pvs0_expr</text>
</g>
<!-- NASALib/PVS0@pvs0_expr&#45;&gt;NASALib/PVS0@PVS0Expr -->
<g id="edge84" class="edge">
<title>NASALib/PVS0@pvs0_expr&#45;&gt;NASALib/PVS0@PVS0Expr</title>
<path fill="none" stroke="black" d="M1895.09,-92.97C1904.07,-83.13 1915.63,-70.46 1925.65,-59.48"/>
<polygon fill="black" stroke="black" points="1927.79,-62.23 1931.95,-52.49 1922.62,-57.51 1927.79,-62.23"/>
</g>
<!-- NASALib/PVS0@pvs0_expr&#45;&gt;NASALib/structures -->
<g id="edge85" class="edge">
<title>NASALib/PVS0@pvs0_expr&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1921.28,-120.5C1939.99,-124.58 1958,-128.5 1958,-128.5 1958,-128.5 2240,-156.5 2240,-156.5 2240,-156.5 2241.45,-157.34 2243.82,-158.72"/>
<polygon fill="black" stroke="black" points="2241.73,-162.14 2252.14,-164.14 2245.25,-156.08 2241.73,-162.14"/>
</g>
<!-- NASALib/PVS0@pvs0_expressibility -->
<g id="node36" class="node">
<title>NASALib/PVS0@pvs0_expressibility</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1286" cy="-763" rx="82.57" ry="18"/>
<text text-anchor="middle" x="1286" y="-757.95" font-family="Times,serif" font-size="14.00">pvs0_expressibility</text>
</g>
<!-- NASALib/PVS0@pvs0_expressibility&#45;&gt;NASALib/PVS0@pvs0_eval -->
<g id="edge86" class="edge">
<title>NASALib/PVS0@pvs0_expressibility&#45;&gt;NASALib/PVS0@pvs0_eval</title>
<path fill="none" stroke="black" d="M1341.99,-749.37C1411.5,-733.7 1521,-709 1521,-709 1521,-709 1531,-692 1531,-692"/>
<path fill="none" stroke="black" d="M1531,-690C1531,-690 1531,-667.66 1531,-648.22"/>
<polygon fill="black" stroke="black" points="1534.5,-648.3 1531,-638.3 1527.5,-648.3 1534.5,-648.3"/>
</g>
<!-- NASALib/PVS0@pvs0_expressibility&#45;&gt;NASALib/PVS0@pvs0_lang -->
<g id="edge87" class="edge">
<title>NASALib/PVS0@pvs0_expressibility&#45;&gt;NASALib/PVS0@pvs0_lang</title>
<path fill="none" stroke="black" d="M1166,-618C1166,-618 1166,-476 1166,-476 1166,-476 1166,-476 1166,-402 1166,-402 1176,-313 1176,-313 1176,-313 1278,-260 1278,-260"/>
<path fill="none" stroke="black" d="M1278,-258C1278,-258 1634.84,-209.93 1775.22,-191.01"/>
<polygon fill="black" stroke="black" points="1775.3,-194.4 1784.75,-189.6 1774.37,-187.46 1775.3,-194.4"/>
<path fill="none" stroke="black" d="M1239.1,-747.8C1187.27,-732.1 1111,-709 1111,-709 1111,-709 1111,-673 1111,-673 1111,-673 1166,-620 1166,-620"/>
</g>
<!-- NASALib/PVS0@pvs0_pvs_T -->
<g id="node42" class="node">
<title>NASALib/PVS0@pvs0_pvs_T</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1286" cy="-691" rx="55.96" ry="18"/>
<text text-anchor="middle" x="1286" y="-685.95" font-family="Times,serif" font-size="14.00">pvs0_pvs_T</text>
</g>
<!-- NASALib/PVS0@pvs0_expressibility&#45;&gt;NASALib/PVS0@pvs0_pvs_T -->
<g id="edge88" class="edge">
<title>NASALib/PVS0@pvs0_expressibility&#45;&gt;NASALib/PVS0@pvs0_pvs_T</title>
<path fill="none" stroke="black" d="M1286,-744.7C1286,-737.24 1286,-728.32 1286,-719.97"/>
<polygon fill="black" stroke="black" points="1289.5,-720.1 1286,-710.1 1282.5,-720.1 1289.5,-720.1"/>
</g>
<!-- NASALib/PVS0@pvs0_halting -->
<g id="node37" class="node">
<title>NASALib/PVS0@pvs0_halting</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1487" cy="-763" rx="58.52" ry="18"/>
<text text-anchor="middle" x="1487" y="-757.95" font-family="Times,serif" font-size="14.00">pvs0_halting</text>
</g>
<!-- NASALib/PVS0@pvs0_halting&#45;&gt;NASALib/PVS0@pvs0_computable -->
<g id="edge89" class="edge">
<title>NASALib/PVS0@pvs0_halting&#45;&gt;NASALib/PVS0@pvs0_computable</title>
<path fill="none" stroke="black" d="M1474.65,-745.05C1468.64,-736.8 1461.28,-726.7 1454.61,-717.54"/>
<polygon fill="black" stroke="black" points="1456.95,-715.81 1448.23,-709.79 1451.29,-719.93 1456.95,-715.81"/>
</g>
<!-- NASALib/PVS0@pvs0_halting&#45;&gt;NASALib/PVS0@pvs0_eval -->
<g id="edge90" class="edge">
<title>NASALib/PVS0@pvs0_halting&#45;&gt;NASALib/PVS0@pvs0_eval</title>
<path fill="none" stroke="black" d="M1497.94,-744.94C1507.88,-729.45 1521,-709 1521,-709 1521,-709 1531,-692 1531,-692"/>
</g>
<!-- NASALib/PVS0@pvs0_halting&#45;&gt;NASALib/structures -->
<g id="edge91" class="edge">
<title>NASALib/PVS0@pvs0_halting&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1531.22,-750.95C1544.2,-747.7 1555,-745 1555,-745 1555,-745 2041,-709 2041,-709 2041,-709 2697,-637 2697,-637 2697,-637 2741,-620 2741,-620 2741,-620 2741,-620 2741,-474 2741,-474 2603,-385 2603,-385 2603,-385 2369,-241 2369,-241 2369,-241 2327,-233 2327,-233 2327,-233 2316.29,-220.95 2305.43,-208.73"/>
<polygon fill="black" stroke="black" points="2308.65,-206.96 2299.39,-201.81 2303.42,-211.61 2308.65,-206.96"/>
</g>
<!-- NASALib/PVS0@pvs0_lang&#45;&gt;NASALib/PVS0@pvs0_expr -->
<g id="edge92" class="edge">
<title>NASALib/PVS0@pvs0_lang&#45;&gt;NASALib/PVS0@pvs0_expr</title>
<path fill="none" stroke="black" d="M1842.86,-164.55C1848.64,-156.3 1855.71,-146.2 1862.12,-137.04"/>
<polygon fill="black" stroke="black" points="1865.38,-139.49 1868.25,-129.29 1859.65,-135.47 1865.38,-139.49"/>
</g>
<!-- NASALib/PVS0@pvs0_props&#45;&gt;NASALib/PVS0@pvs0_cc -->
<g id="edge93" class="edge">
<title>NASALib/PVS0@pvs0_props&#45;&gt;NASALib/PVS0@pvs0_cc</title>
<path fill="none" stroke="black" d="M1831,-312.7C1831,-305.24 1831,-296.32 1831,-287.97"/>
<polygon fill="black" stroke="black" points="1834.5,-288.1 1831,-278.1 1827.5,-288.1 1834.5,-288.1"/>
</g>
<!-- NASALib/PVS0@pvs0_props&#45;&gt;NASALib/structures -->
<g id="edge94" class="edge">
<title>NASALib/PVS0@pvs0_props&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1879.85,-323.39C1984.94,-309.19 2223,-277 2223,-277 2223,-277 2248.34,-237.5 2266.09,-209.85"/>
<polygon fill="black" stroke="black" points="2269.54,-211.96 2272,-201.65 2263.65,-208.18 2269.54,-211.96"/>
</g>
<!-- NASALib/PVS0@pvs0_pvs -->
<g id="node41" class="node">
<title>NASALib/PVS0@pvs0_pvs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1166" cy="-691" rx="45.72" ry="18"/>
<text text-anchor="middle" x="1166" y="-685.95" font-family="Times,serif" font-size="14.00">pvs0_pvs</text>
</g>
<!-- NASALib/PVS0@pvs0_pvs&#45;&gt;NASALib/PVS0@pvs0_eval -->
<g id="edge95" class="edge">
<title>NASALib/PVS0@pvs0_pvs&#45;&gt;NASALib/PVS0@pvs0_eval</title>
<path fill="none" stroke="black" d="M1201.14,-679.14C1211.92,-675.81 1221,-673 1221,-673 1221,-673 1388.46,-644.37 1477.22,-629.2"/>
<polygon fill="black" stroke="black" points="1477.63,-632.5 1486.9,-627.37 1476.45,-625.6 1477.63,-632.5"/>
</g>
<!-- NASALib/PVS0@pvs0_pvs&#45;&gt;NASALib/PVS0@pvs0_lang -->
<g id="edge96" class="edge">
<title>NASALib/PVS0@pvs0_pvs&#45;&gt;NASALib/PVS0@pvs0_lang</title>
<path fill="none" stroke="black" d="M1166,-672.7C1166,-651.97 1166,-620 1166,-620"/>
</g>
<!-- NASALib/PVS0@pvs0_pvs_T&#45;&gt;NASALib/PVS0@pvs0_eval -->
<g id="edge97" class="edge">
<title>NASALib/PVS0@pvs0_pvs_T&#45;&gt;NASALib/PVS0@pvs0_eval</title>
<path fill="none" stroke="black" d="M1326.73,-678.36C1369.69,-666.09 1437.33,-646.76 1482.88,-633.75"/>
<polygon fill="black" stroke="black" points="1483.74,-636.86 1492.39,-630.75 1481.81,-630.13 1483.74,-636.86"/>
</g>
<!-- NASALib/PVS0@pvs0_pvs_T&#45;&gt;NASALib/PVS0@pvs0_lang -->
<g id="edge98" class="edge">
<title>NASALib/PVS0@pvs0_pvs_T&#45;&gt;NASALib/PVS0@pvs0_lang</title>
<path fill="none" stroke="black" d="M1259.67,-674.64C1224.34,-654.03 1166,-620 1166,-620"/>
</g>
<!-- NASALib/PVS0@pvs0_termination -->
<g id="node43" class="node">
<title>NASALib/PVS0@pvs0_termination</title>
<ellipse fill="#e6f3ff" stroke="black" cx="2047" cy="-475" rx="75.92" ry="18"/>
<text text-anchor="middle" x="2047" y="-469.95" font-family="Times,serif" font-size="14.00">pvs0_termination</text>
</g>
<!-- NASALib/PVS0@pvs0_termination&#45;&gt;NASALib/PVS0@PVS0Bool -->
<g id="edge99" class="edge">
<title>NASALib/PVS0@pvs0_termination&#45;&gt;NASALib/PVS0@PVS0Bool</title>
<path fill="none" stroke="black" d="M2072.96,-457.81C2097.96,-442.22 2132,-421 2132,-421 2132,-421 2132,-385 2132,-385 2132,-385 2019.37,-261.66 1970.35,-207.98"/>
<polygon fill="black" stroke="black" points="1973.39,-206.01 1964.06,-200.99 1968.22,-210.73 1973.39,-206.01"/>
</g>
<!-- NASALib/PVS0@pvs0_termination&#45;&gt;NASALib/PVS0@measure_termination_defs -->
<g id="edge100" class="edge">
<title>NASALib/PVS0@pvs0_termination&#45;&gt;NASALib/PVS0@measure_termination_defs</title>
<path fill="none" stroke="black" d="M2038.6,-456.7C2034.81,-448.9 2030.25,-439.51 2026.03,-430.83"/>
<polygon fill="black" stroke="black" points="2028.83,-429.57 2021.31,-422.1 2022.53,-432.63 2028.83,-429.57"/>
</g>
<!-- NASALib/PVS0@pvs0_termination&#45;&gt;NASALib/PVS0@pvs0_to_dg -->
<g id="edge101" class="edge">
<title>NASALib/PVS0@pvs0_termination&#45;&gt;NASALib/PVS0@pvs0_to_dg</title>
<path fill="none" stroke="black" d="M2003.29,-459.83C1967.23,-448.15 1916.14,-431.59 1878.96,-419.54"/>
<polygon fill="black" stroke="black" points="1880.46,-416.03 1869.87,-416.27 1878.31,-422.69 1880.46,-416.03"/>
</g>
<!-- NASALib/PVS0@pvs0_termination&#45;&gt;NASALib/orders -->
<g id="edge102" class="edge">
<title>NASALib/PVS0@pvs0_termination&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M2399,-330C2399,-330 2423,-241 2423,-241 2423,-241 2428.35,-225.61 2433.52,-210.76"/>
<polygon fill="black" stroke="black" points="2437.02,-212.35 2437,-201.75 2430.41,-210.05 2437.02,-212.35"/>
<path fill="none" stroke="black" d="M2323,-402C2323,-402 2399,-332 2399,-332"/>
</g>
<!-- NASALib/PVS0@pvs0_termination&#45;&gt;NASALib/structures -->
<g id="edge103" class="edge">
<title>NASALib/PVS0@pvs0_termination&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M2323,-402C2323,-402 2323,-332 2323,-332"/>
<path fill="none" stroke="black" d="M2102.3,-462.37C2176.48,-446.77 2299,-421 2299,-421 2299,-421 2323,-404 2323,-404"/>
</g>
<!-- NASALib/PVS0@pvs0_to_ccg&#45;&gt;NASALib/CCG -->
<g id="edge104" class="edge">
<title>NASALib/PVS0@pvs0_to_ccg&#45;&gt;NASALib/CCG</title>
<path fill="none" stroke="black" d="M2030.54,-685.82C2196.77,-673.3 2679,-637 2679,-637 2679,-637 2703,-548 2703,-548 2703,-548 2703,-548 2703,-474 2703,-474 2722,-260 2722,-260"/>
</g>
<!-- NASALib/PVS0@pvs0_to_ccg&#45;&gt;NASALib/PVS0@ccg_to_pvs0 -->
<g id="edge105" class="edge">
<title>NASALib/PVS0@pvs0_to_ccg&#45;&gt;NASALib/PVS0@ccg_to_pvs0</title>
<path fill="none" stroke="black" d="M1940.45,-676.34C1912.52,-665.29 1873,-649.66 1842.67,-637.66"/>
<polygon fill="black" stroke="black" points="1844.35,-634.17 1833.76,-633.75 1841.77,-640.68 1844.35,-634.17"/>
</g>
<!-- NASALib/PVS0@pvs0_to_ccg&#45;&gt;NASALib/PVS0@pvs0_prelude -->
<g id="edge106" class="edge">
<title>NASALib/PVS0@pvs0_to_ccg&#45;&gt;NASALib/PVS0@pvs0_prelude</title>
<path fill="none" stroke="black" d="M1874,-618C1874,-618 1864,-601 1864,-601 1864,-601 1752,-565 1752,-565 1752,-565 1714,-476 1714,-476"/>
<path fill="none" stroke="black" d="M1951.72,-674.38C1928.42,-658.75 1896,-637 1896,-637 1896,-637 1874,-620 1874,-620"/>
</g>
<!-- NASALib/PVS0@pvs0_to_ccg&#45;&gt;NASALib/PVS0@scp_iff_pvs0 -->
<g id="edge107" class="edge">
<title>NASALib/PVS0@pvs0_to_ccg&#45;&gt;NASALib/PVS0@scp_iff_pvs0</title>
<path fill="none" stroke="black" d="M1874,-618C1874,-618 1864,-601 1864,-601 1864,-601 1852.21,-586.8 1840.84,-573.1"/>
<polygon fill="black" stroke="black" points="1843,-571.23 1833.92,-565.77 1837.62,-575.7 1843,-571.23"/>
</g>
<!-- NASALib/PVS0@pvs0_to_dg&#45;&gt;NASALib/CCG -->
<g id="edge108" class="edge">
<title>NASALib/PVS0@pvs0_to_dg&#45;&gt;NASALib/CCG</title>
<path fill="none" stroke="black" d="M1871.97,-390.95C1884,-387.7 1894,-385 1894,-385 1894,-385 2337,-349 2337,-349 2337,-349 2461,-241 2461,-241 2461,-241 2479,-233 2479,-233 2479,-233 2487.44,-221.4 2496.14,-209.43"/>
<polygon fill="black" stroke="black" points="2499.36,-211.96 2502.41,-201.81 2493.7,-207.84 2499.36,-211.96"/>
</g>
<!-- NASALib/PVS0@pvs0_to_dg&#45;&gt;NASALib/PVS0@pvs0_props -->
<g id="edge109" class="edge">
<title>NASALib/PVS0@pvs0_to_dg&#45;&gt;NASALib/PVS0@pvs0_props</title>
<path fill="none" stroke="black" d="M1831,-384.7C1831,-377.24 1831,-368.32 1831,-359.97"/>
<polygon fill="black" stroke="black" points="1834.5,-360.1 1831,-350.1 1827.5,-360.1 1834.5,-360.1"/>
</g>
<!-- NASALib/PVS0@pvs0_to_dg&#45;&gt;NASALib/digraphs -->
<g id="edge110" class="edge">
<title>NASALib/PVS0@pvs0_to_dg&#45;&gt;NASALib/digraphs</title>
<path fill="none" stroke="black" d="M1871.97,-390.95C1884,-387.7 1894,-385 1894,-385 1894,-385 2413,-349 2413,-349 2413,-349 2603,-277 2603,-277 2603,-277 2603,-241 2603,-241 2603,-241 2599.85,-225.91 2596.78,-211.18"/>
<polygon fill="black" stroke="black" points="2600.07,-210.83 2594.6,-201.75 2593.22,-212.26 2600.07,-210.83"/>
</g>
<!-- NASALib/PVS0@pvs0_to_dg&#45;&gt;NASALib/structures -->
<g id="edge111" class="edge">
<title>NASALib/PVS0@pvs0_to_dg&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M2323,-330C2323,-330 2323,-260 2323,-260"/>
<path fill="none" stroke="black" d="M1871.97,-390.95C1884,-387.7 1894,-385 1894,-385 1894,-385 2261,-349 2261,-349 2261,-349 2323,-332 2323,-332"/>
</g>
<!-- NASALib/PVS0@pvs0_to_nat&#45;&gt;NASALib/PVS0@pvs0_lang -->
<g id="edge112" class="edge">
<title>NASALib/PVS0@pvs0_to_nat&#45;&gt;NASALib/PVS0@pvs0_lang</title>
<path fill="none" stroke="black" d="M1249.96,-313.05C1260.91,-292.34 1278,-260 1278,-260"/>
</g>
<!-- NASALib/PVS0@pvs0_to_nat&#45;&gt;NASALib/numbers -->
<g id="edge113" class="edge">
<title>NASALib/PVS0@pvs0_to_nat&#45;&gt;NASALib/numbers</title>
<path fill="none" stroke="black" d="M1294.74,-325.55C1448.8,-312.79 1881,-277 1881,-277 1881,-277 2155,-233 2155,-233 2155,-233 2165.71,-220.95 2176.57,-208.73"/>
<polygon fill="black" stroke="black" points="2178.58,-211.61 2182.61,-201.81 2173.35,-206.96 2178.58,-211.61"/>
</g>
<!-- NASALib/PVS0@scp_iff_pvs0&#45;&gt;NASALib/CCG -->
<g id="edge114" class="edge">
<title>NASALib/PVS0@scp_iff_pvs0&#45;&gt;NASALib/CCG</title>
<path fill="none" stroke="black" d="M2399,-474C2399,-474 2475,-404 2475,-404"/>
<path fill="none" stroke="black" d="M2475,-402C2475,-402 2499.11,-270.3 2509.89,-211.4"/>
<polygon fill="black" stroke="black" points="2513.5,-212.11 2511.86,-201.65 2506.62,-210.85 2513.5,-212.11"/>
</g>
<!-- NASALib/PVS0@scp_iff_pvs0&#45;&gt;NASALib/PVS0@measure_termination -->
<g id="edge115" class="edge">
<title>NASALib/PVS0@scp_iff_pvs0&#45;&gt;NASALib/PVS0@measure_termination</title>
<path fill="none" stroke="black" d="M1825.69,-528.7C1828.19,-521.07 1831.2,-511.92 1834,-503.4"/>
<polygon fill="black" stroke="black" points="1837.58,-504.7 1837.38,-494.1 1830.93,-502.51 1837.58,-504.7"/>
</g>
<!-- NASALib/PVS0@scp_iff_pvs0&#45;&gt;NASALib/PVS0@pvs0_termination -->
<g id="edge116" class="edge">
<title>NASALib/PVS0@scp_iff_pvs0&#45;&gt;NASALib/PVS0@pvs0_termination</title>
<path fill="none" stroke="black" d="M1860.32,-533.57C1896.89,-522.29 1951.12,-505.57 1991.72,-493.05"/>
<polygon fill="black" stroke="black" points="1992.47,-496.17 2001,-489.88 1990.41,-489.48 1992.47,-496.17"/>
</g>
<!-- NASALib/PVS0@scp_iff_pvs0&#45;&gt;NASALib/PVS0@pvs0_to_dg -->
<g id="edge117" class="edge">
<title>NASALib/PVS0@scp_iff_pvs0&#45;&gt;NASALib/PVS0@pvs0_to_dg</title>
<path fill="none" stroke="black" d="M1952,-474C1952,-474 1942,-457 1942,-457 1942,-457 1902.51,-438.14 1870.63,-422.92"/>
<polygon fill="black" stroke="black" points="1872.57,-419.49 1862.04,-418.34 1869.55,-425.81 1872.57,-419.49"/>
<path fill="none" stroke="black" d="M1852.69,-531.8C1888.83,-516.1 1942,-493 1942,-493 1942,-493 1952,-476 1952,-476"/>
</g>
<!-- NASALib/PVS0@scp_iff_pvs0&#45;&gt;NASALib/orders -->
<g id="edge118" class="edge">
<title>NASALib/PVS0@scp_iff_pvs0&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M2399,-402C2399,-402 2399,-332 2399,-332"/>
</g>
<!-- NASALib/PVS0@scp_iff_pvs0&#45;&gt;NASALib/structures -->
<g id="edge119" class="edge">
<title>NASALib/PVS0@scp_iff_pvs0&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1863.94,-534.85C1876.57,-531.65 1887,-529 1887,-529 1887,-529 2375,-493 2375,-493 2375,-493 2399,-476 2399,-476"/>
<path fill="none" stroke="black" d="M2399,-474C2399,-474 2399,-404 2399,-404"/>
<path fill="none" stroke="black" d="M2399,-402C2399,-402 2323,-332 2323,-332"/>
</g>
</g>
</svg>