1138 lines
86 KiB
XML
1138 lines
86 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
|
|
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
|
|
<!-- Generated by graphviz version 12.2.1 (20241206.2353)
|
|
-->
|
|
<!-- Title: DiskGraph Pages: 1 -->
|
|
<svg width="3993pt" height="578pt"
|
|
viewBox="0.00 0.00 3993.00 578.42" 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 574.42)">
|
|
<title>DiskGraph</title>
|
|
<polygon fill="white" stroke="none" points="-4,4 -4,-574.42 3989,-574.42 3989,4 -4,4"/>
|
|
<g id="clust1" class="cluster">
|
|
<title>cluster_graph</title>
|
|
<polygon fill="none" stroke="white" points="8,-8 8,-523.91 3662,-523.91 3662,-8 8,-8"/>
|
|
</g>
|
|
<g id="clust7" class="cluster">
|
|
<title>cluster_legend</title>
|
|
<polygon fill="none" stroke="black" points="3670,-460.42 3670,-562.42 3977,-562.42 3977,-460.42 3670,-460.42"/>
|
|
<text text-anchor="middle" x="3823.5" y="-545.12" font-family="Times,serif" font-size="14.00">Next State Actions</text>
|
|
</g>
|
|
<!-- 7805088646335148114 -->
|
|
<g id="node1" class="node">
|
|
<title>7805088646335148114</title>
|
|
<ellipse fill="lightgrey" stroke="black" cx="1656" cy="-486.92" rx="166.7" ry="28.99"/>
|
|
<text text-anchor="middle" x="1656" y="-490.12" font-family="Times,serif" font-size="14.00">/\ flag = <<FALSE, FALSE, FALSE>></text>
|
|
<text text-anchor="middle" x="1656" y="-473.62" font-family="Times,serif" font-size="14.00">/\ turn = 1</text>
|
|
</g>
|
|
<!-- 7805088646335148114->7805088646335148114 -->
|
|
<g id="edge2" class="edge">
|
|
<title>7805088646335148114->7805088646335148114</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1815.03,-495.91C1834.75,-494.32 1847.7,-491.32 1847.7,-486.92 1847.7,-483.42 1839.48,-480.8 1826.15,-479.08"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1826.84,-475.63 1816.53,-478.09 1826.12,-482.59 1826.84,-475.63"/>
|
|
<text text-anchor="middle" x="1858.95" y="-481.87" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -3244215506152757262 -->
|
|
<g id="node2" class="node">
|
|
<title>-3244215506152757262</title>
|
|
<ellipse fill="none" stroke="black" cx="1266" cy="-376.44" rx="162.46" ry="28.99"/>
|
|
<text text-anchor="middle" x="1266" y="-379.64" font-family="Times,serif" font-size="14.00">/\ flag = <<TRUE, FALSE, FALSE>></text>
|
|
<text text-anchor="middle" x="1266" y="-363.14" font-family="Times,serif" font-size="14.00">/\ turn = 1</text>
|
|
</g>
|
|
<!-- 7805088646335148114->-3244215506152757262 -->
|
|
<g id="edge1" class="edge">
|
|
<title>7805088646335148114->-3244215506152757262</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1558.4,-463.13C1529.38,-456.05 1497.57,-447.98 1468.5,-439.93 1430.74,-429.48 1389.36,-416.92 1353.9,-405.8"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1355.13,-402.52 1344.54,-402.85 1353.03,-409.19 1355.13,-402.52"/>
|
|
<text text-anchor="middle" x="1478.25" y="-426.63" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -4241173743774891978 -->
|
|
<g id="node3" class="node">
|
|
<title>-4241173743774891978</title>
|
|
<ellipse fill="none" stroke="black" cx="2049" cy="-376.44" rx="161.93" ry="28.99"/>
|
|
<text text-anchor="middle" x="2049" y="-379.64" font-family="Times,serif" font-size="14.00">/\ flag = <<FALSE, TRUE, FALSE>></text>
|
|
<text text-anchor="middle" x="2049" y="-363.14" font-family="Times,serif" font-size="14.00">/\ turn = 1</text>
|
|
</g>
|
|
<!-- 7805088646335148114->-4241173743774891978 -->
|
|
<g id="edge3" class="edge">
|
|
<title>7805088646335148114->-4241173743774891978</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1743.22,-461.85C1804.89,-444.82 1887.62,-421.99 1951.48,-404.36"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1952.2,-407.79 1960.9,-401.76 1950.33,-401.04 1952.2,-407.79"/>
|
|
<text text-anchor="middle" x="1885.78" y="-426.63" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -6975205924971161133 -->
|
|
<g id="node4" class="node">
|
|
<title>-6975205924971161133</title>
|
|
<ellipse fill="none" stroke="black" cx="1656" cy="-376.44" rx="161.93" ry="28.99"/>
|
|
<text text-anchor="middle" x="1656" y="-379.64" font-family="Times,serif" font-size="14.00">/\ flag = <<FALSE, FALSE, TRUE>></text>
|
|
<text text-anchor="middle" x="1656" y="-363.14" font-family="Times,serif" font-size="14.00">/\ turn = 1</text>
|
|
</g>
|
|
<!-- 7805088646335148114->-6975205924971161133 -->
|
|
<g id="edge4" class="edge">
|
|
<title>7805088646335148114->-6975205924971161133</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1636.17,-457.85C1630.95,-447.27 1627.51,-435 1630.5,-423.43 1631.13,-420.99 1631.92,-418.54 1632.83,-416.11"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1635.99,-417.64 1636.84,-407.08 1629.59,-414.8 1635.99,-417.64"/>
|
|
<text text-anchor="middle" x="1640.25" y="-426.63" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -3244215506152757262->7805088646335148114 -->
|
|
<g id="edge8" class="edge">
|
|
<title>-3244215506152757262->7805088646335148114</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1380.51,-397.34C1415.9,-404.45 1454.82,-413.27 1490,-423.43 1520.82,-432.34 1554.05,-444.34 1582.63,-455.45"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1581.34,-458.71 1591.92,-459.11 1583.9,-452.19 1581.34,-458.71"/>
|
|
<text text-anchor="middle" x="1547.6" y="-426.63" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -3244215506152757262->-3244215506152757262 -->
|
|
<g id="edge5" class="edge">
|
|
<title>-3244215506152757262->-3244215506152757262</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1420.79,-385.49C1440.48,-383.91 1453.46,-380.89 1453.46,-376.44 1453.46,-372.89 1445.22,-370.26 1431.91,-368.53"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1432.61,-365.09 1422.3,-367.55 1431.89,-372.05 1432.61,-365.09"/>
|
|
<text text-anchor="middle" x="1464.71" y="-371.39" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 8669090914908599155 -->
|
|
<g id="node5" class="node">
|
|
<title>8669090914908599155</title>
|
|
<ellipse fill="none" stroke="black" cx="530" cy="-265.96" rx="162.46" ry="28.99"/>
|
|
<text text-anchor="middle" x="530" y="-269.16" font-family="Times,serif" font-size="14.00">/\ flag = <<TRUE, FALSE, FALSE>></text>
|
|
<text text-anchor="middle" x="530" y="-252.66" font-family="Times,serif" font-size="14.00">/\ turn = 2</text>
|
|
</g>
|
|
<!-- -3244215506152757262->8669090914908599155 -->
|
|
<g id="edge6" class="edge">
|
|
<title>-3244215506152757262->8669090914908599155</title>
|
|
<path fill="none" stroke="#33a02c" d="M1131.07,-359.96C1061.57,-351.63 975.51,-340.75 898.75,-329.45 816.89,-317.39 725.15,-301.85 653.66,-289.29"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="654.31,-285.85 643.85,-287.56 653.09,-292.74 654.31,-285.85"/>
|
|
<text text-anchor="middle" x="911.88" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -1812074875942984769 -->
|
|
<g id="node6" class="node">
|
|
<title>-1812074875942984769</title>
|
|
<ellipse fill="none" stroke="black" cx="2463" cy="-265.96" rx="162.46" ry="28.99"/>
|
|
<text text-anchor="middle" x="2463" y="-269.16" font-family="Times,serif" font-size="14.00">/\ flag = <<TRUE, FALSE, FALSE>></text>
|
|
<text text-anchor="middle" x="2463" y="-252.66" font-family="Times,serif" font-size="14.00">/\ turn = 3</text>
|
|
</g>
|
|
<!-- -3244215506152757262->-1812074875942984769 -->
|
|
<g id="edge7" class="edge">
|
|
<title>-3244215506152757262->-1812074875942984769</title>
|
|
<path fill="none" stroke="#33a02c" d="M1389.71,-357.26C1419.85,-353.42 1452.03,-349.82 1482,-347.45 1753.27,-325.94 1823.2,-356.23 2094,-329.45 2179.64,-320.98 2275.44,-304.54 2347.96,-290.66"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2348.3,-294.15 2357.45,-288.82 2346.97,-287.28 2348.3,-294.15"/>
|
|
<text text-anchor="middle" x="2229.52" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 8903430755944454038 -->
|
|
<g id="node7" class="node">
|
|
<title>8903430755944454038</title>
|
|
<ellipse fill="none" stroke="black" cx="1694" cy="-265.96" rx="157.68" ry="28.99"/>
|
|
<text text-anchor="middle" x="1694" y="-269.16" font-family="Times,serif" font-size="14.00">/\ flag = <<TRUE, TRUE, FALSE>></text>
|
|
<text text-anchor="middle" x="1694" y="-252.66" font-family="Times,serif" font-size="14.00">/\ turn = 1</text>
|
|
</g>
|
|
<!-- -3244215506152757262->8903430755944454038 -->
|
|
<g id="edge9" class="edge">
|
|
<title>-3244215506152757262->8903430755944454038</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1369.92,-353.85C1396.11,-347.18 1423.9,-339.02 1449,-329.45 1463.77,-323.82 1465.64,-318.33 1480.5,-312.95 1507.92,-303.02 1538.14,-294.91 1567,-288.41"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1567.49,-291.89 1576.51,-286.33 1565.99,-285.05 1567.49,-291.89"/>
|
|
<text text-anchor="middle" x="1490.25" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 2420705416077512307 -->
|
|
<g id="node8" class="node">
|
|
<title>2420705416077512307</title>
|
|
<ellipse fill="none" stroke="black" cx="1309" cy="-265.96" rx="157.68" ry="28.99"/>
|
|
<text text-anchor="middle" x="1309" y="-269.16" font-family="Times,serif" font-size="14.00">/\ flag = <<TRUE, FALSE, TRUE>></text>
|
|
<text text-anchor="middle" x="1309" y="-252.66" font-family="Times,serif" font-size="14.00">/\ turn = 1</text>
|
|
</g>
|
|
<!-- -3244215506152757262->2420705416077512307 -->
|
|
<g id="edge10" class="edge">
|
|
<title>-3244215506152757262->2420705416077512307</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1277.19,-347.22C1282.21,-334.54 1288.22,-319.37 1293.66,-305.65"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1296.88,-307.03 1297.31,-296.44 1290.37,-304.45 1296.88,-307.03"/>
|
|
<text text-anchor="middle" x="1299.82" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -4241173743774891978->7805088646335148114 -->
|
|
<g id="edge14" class="edge">
|
|
<title>-4241173743774891978->7805088646335148114</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1994.21,-404.09C1967,-416.45 1933.32,-430.47 1902,-439.93 1867.32,-450.41 1829.14,-458.94 1793.41,-465.68"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1793.1,-462.18 1783.9,-467.44 1794.37,-469.06 1793.1,-462.18"/>
|
|
<text text-anchor="middle" x="1958.75" y="-426.63" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -4241173743774891978->-4241173743774891978 -->
|
|
<g id="edge12" class="edge">
|
|
<title>-4241173743774891978->-4241173743774891978</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2203.36,-385.49C2222.99,-383.91 2235.93,-380.89 2235.93,-376.44 2235.93,-372.89 2227.71,-370.26 2214.44,-368.53"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="2215.17,-365.09 2204.86,-367.55 2214.45,-372.05 2215.17,-365.09"/>
|
|
<text text-anchor="middle" x="2247.18" y="-371.39" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -4241173743774891978->8903430755944454038 -->
|
|
<g id="edge11" class="edge">
|
|
<title>-4241173743774891978->8903430755944454038</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1972.76,-350.42C1936.82,-338.77 1893.29,-324.89 1854,-312.95 1833.28,-306.65 1810.98,-300.1 1789.8,-293.98"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1790.87,-290.65 1780.29,-291.25 1788.93,-297.38 1790.87,-290.65"/>
|
|
<text text-anchor="middle" x="1912.05" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -1079634258640452485 -->
|
|
<g id="node9" class="node">
|
|
<title>-1079634258640452485</title>
|
|
<ellipse fill="none" stroke="black" cx="2981" cy="-265.96" rx="161.93" ry="28.99"/>
|
|
<text text-anchor="middle" x="2981" y="-269.16" font-family="Times,serif" font-size="14.00">/\ flag = <<FALSE, TRUE, FALSE>></text>
|
|
<text text-anchor="middle" x="2981" y="-252.66" font-family="Times,serif" font-size="14.00">/\ turn = 3</text>
|
|
</g>
|
|
<!-- -4241173743774891978->-1079634258640452485 -->
|
|
<g id="edge13" class="edge">
|
|
<title>-4241173743774891978->-1079634258640452485</title>
|
|
<path fill="none" stroke="#33a02c" d="M2183.03,-359.84C2356.37,-339.66 2657.17,-304.65 2835.79,-283.86"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2836.08,-287.35 2845.61,-282.72 2835.27,-280.4 2836.08,-287.35"/>
|
|
<text text-anchor="middle" x="2583.93" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 3910948690638727607 -->
|
|
<g id="node10" class="node">
|
|
<title>3910948690638727607</title>
|
|
<ellipse fill="none" stroke="black" cx="2074" cy="-265.96" rx="157.15" ry="28.99"/>
|
|
<text text-anchor="middle" x="2074" y="-269.16" font-family="Times,serif" font-size="14.00">/\ flag = <<FALSE, TRUE, TRUE>></text>
|
|
<text text-anchor="middle" x="2074" y="-252.66" font-family="Times,serif" font-size="14.00">/\ turn = 1</text>
|
|
</g>
|
|
<!-- -4241173743774891978->3910948690638727607 -->
|
|
<g id="edge15" class="edge">
|
|
<title>-4241173743774891978->3910948690638727607</title>
|
|
<path fill="none" stroke="#1f78b4" d="M2039.9,-347.27C2037.73,-336.36 2036.94,-323.88 2040.5,-312.95 2041.4,-310.19 2042.53,-307.47 2043.83,-304.8"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="2046.84,-306.58 2048.78,-296.17 2040.77,-303.1 2046.84,-306.58"/>
|
|
<text text-anchor="middle" x="2050.25" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -6975205924971161133->7805088646335148114 -->
|
|
<g id="edge20" class="edge">
|
|
<title>-6975205924971161133->7805088646335148114</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1656,-405.89C1656,-418.26 1656,-432.95 1656,-446.35"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1652.5,-446.19 1656,-456.19 1659.5,-446.19 1652.5,-446.19"/>
|
|
<text text-anchor="middle" x="1667.25" y="-426.63" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -6975205924971161133->-6975205924971161133 -->
|
|
<g id="edge17" class="edge">
|
|
<title>-6975205924971161133->-6975205924971161133</title>
|
|
<path fill="none" stroke="#33a02c" d="M1810.36,-385.49C1829.99,-383.91 1842.93,-380.89 1842.93,-376.44 1842.93,-372.89 1834.71,-370.26 1821.44,-368.53"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1822.17,-365.09 1811.86,-367.55 1821.45,-372.05 1822.17,-365.09"/>
|
|
<text text-anchor="middle" x="1856.05" y="-371.39" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -6975205924971161133->2420705416077512307 -->
|
|
<g id="edge16" class="edge">
|
|
<title>-6975205924971161133->2420705416077512307</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1623.82,-347.68C1607.74,-335.22 1587.39,-321.43 1567,-312.95 1533.02,-298.81 1494.76,-289.02 1458.32,-282.23"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1459.02,-278.8 1448.56,-280.49 1457.79,-285.69 1459.02,-278.8"/>
|
|
<text text-anchor="middle" x="1605.7" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -6975205924971161133->3910948690638727607 -->
|
|
<g id="edge18" class="edge">
|
|
<title>-6975205924971161133->3910948690638727607</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1699.13,-348.03C1720.92,-335.4 1748.26,-321.39 1774.5,-312.95 1830.24,-295.02 1847.11,-303.73 1905,-294.95 1919.18,-292.8 1934.01,-290.46 1948.74,-288.09"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1949.17,-291.57 1958.48,-286.52 1948.05,-284.66 1949.17,-291.57"/>
|
|
<text text-anchor="middle" x="1784.25" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 3857298191995555154 -->
|
|
<g id="node11" class="node">
|
|
<title>3857298191995555154</title>
|
|
<ellipse fill="none" stroke="black" cx="920" cy="-265.96" rx="161.93" ry="28.99"/>
|
|
<text text-anchor="middle" x="920" y="-269.16" font-family="Times,serif" font-size="14.00">/\ flag = <<FALSE, FALSE, TRUE>></text>
|
|
<text text-anchor="middle" x="920" y="-252.66" font-family="Times,serif" font-size="14.00">/\ turn = 2</text>
|
|
</g>
|
|
<!-- -6975205924971161133->3857298191995555154 -->
|
|
<g id="edge19" class="edge">
|
|
<title>-6975205924971161133->3857298191995555154</title>
|
|
<path fill="none" stroke="#33a02c" d="M1540.87,-355.68C1520.94,-352.65 1500.4,-349.76 1481,-347.45 1379.96,-335.4 1353.62,-342.86 1252.75,-329.45 1178.94,-319.64 1096.71,-304.23 1032.45,-291.18"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1033.47,-287.81 1022.97,-289.24 1032.07,-294.67 1033.47,-287.81"/>
|
|
<text text-anchor="middle" x="1265.88" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 8669090914908599155->8669090914908599155 -->
|
|
<g id="edge21" class="edge">
|
|
<title>8669090914908599155->8669090914908599155</title>
|
|
<path fill="none" stroke="#b2df8a" d="M684.79,-275.01C704.48,-273.42 717.46,-270.41 717.46,-265.96 717.46,-262.41 709.22,-259.77 695.91,-258.05"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="696.61,-254.6 686.3,-257.06 695.89,-261.57 696.61,-254.6"/>
|
|
<text text-anchor="middle" x="728.71" y="-260.91" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 8669090914908599155->-1812074875942984769 -->
|
|
<g id="edge22" class="edge">
|
|
<title>8669090914908599155->-1812074875942984769</title>
|
|
<path fill="none" stroke="#33a02c" d="M654.83,-284.91C684.64,-288.82 716.4,-292.5 746,-294.95 746,-294.95 2288,-294.95 2288,-294.95 2304.34,-293.32 2321.46,-291.11 2338.34,-288.63"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2338.52,-292.14 2347.88,-287.19 2337.47,-285.22 2338.52,-292.14"/>
|
|
<text text-anchor="middle" x="1552" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -4114660946687843117 -->
|
|
<g id="node12" class="node">
|
|
<title>-4114660946687843117</title>
|
|
<ellipse fill="none" stroke="black" cx="210" cy="-155.47" rx="166.7" ry="28.99"/>
|
|
<text text-anchor="middle" x="210" y="-158.67" font-family="Times,serif" font-size="14.00">/\ flag = <<FALSE, FALSE, FALSE>></text>
|
|
<text text-anchor="middle" x="210" y="-142.17" font-family="Times,serif" font-size="14.00">/\ turn = 2</text>
|
|
</g>
|
|
<!-- 8669090914908599155->-4114660946687843117 -->
|
|
<g id="edge23" class="edge">
|
|
<title>8669090914908599155->-4114660946687843117</title>
|
|
<path fill="none" stroke="#b2df8a" d="M455.78,-239.8C407.88,-223.56 345.41,-202.38 295.43,-185.44"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="296.67,-182.16 286.08,-182.27 294.43,-188.79 296.67,-182.16"/>
|
|
<text text-anchor="middle" x="400.41" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -3369923460207131881 -->
|
|
<g id="node13" class="node">
|
|
<title>-3369923460207131881</title>
|
|
<ellipse fill="none" stroke="black" cx="985" cy="-155.47" rx="157.68" ry="28.99"/>
|
|
<text text-anchor="middle" x="985" y="-158.67" font-family="Times,serif" font-size="14.00">/\ flag = <<TRUE, TRUE, FALSE>></text>
|
|
<text text-anchor="middle" x="985" y="-142.17" font-family="Times,serif" font-size="14.00">/\ turn = 2</text>
|
|
</g>
|
|
<!-- 8669090914908599155->-3369923460207131881 -->
|
|
<g id="edge24" class="edge">
|
|
<title>8669090914908599155->-3369923460207131881</title>
|
|
<path fill="none" stroke="#1f78b4" d="M642.01,-244.58C673.71,-237.67 708.01,-229.08 739,-218.97 756.31,-213.31 759.19,-208.12 776.5,-202.47 804.31,-193.38 834.78,-185.53 863.64,-179.01"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="864.13,-182.48 873.14,-176.9 862.62,-175.65 864.13,-182.48"/>
|
|
<text text-anchor="middle" x="786.25" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -8418101067716748558 -->
|
|
<g id="node14" class="node">
|
|
<title>-8418101067716748558</title>
|
|
<ellipse fill="none" stroke="black" cx="600" cy="-155.47" rx="157.68" ry="28.99"/>
|
|
<text text-anchor="middle" x="600" y="-158.67" font-family="Times,serif" font-size="14.00">/\ flag = <<TRUE, FALSE, TRUE>></text>
|
|
<text text-anchor="middle" x="600" y="-142.17" font-family="Times,serif" font-size="14.00">/\ turn = 2</text>
|
|
</g>
|
|
<!-- 8669090914908599155->-8418101067716748558 -->
|
|
<g id="edge25" class="edge">
|
|
<title>8669090914908599155->-8418101067716748558</title>
|
|
<path fill="none" stroke="#1f78b4" d="M495.78,-237.24C486.51,-226.38 480.89,-213.83 488.5,-202.47 492.55,-196.41 497.56,-191.16 503.19,-186.59"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="505.15,-189.49 511.27,-180.85 501.09,-183.79 505.15,-189.49"/>
|
|
<text text-anchor="middle" x="498.25" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -1812074875942984769->8669090914908599155 -->
|
|
<g id="edge27" class="edge">
|
|
<title>-1812074875942984769->8669090914908599155</title>
|
|
<path fill="none" stroke="#33a02c" d="M2349.38,-286.97C2329,-290.11 2307.92,-292.96 2288,-294.95 2288,-294.95 746,-294.95 746,-294.95 720.1,-292.8 692.55,-289.72 666.1,-286.36"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="666.7,-282.91 656.34,-285.1 665.8,-289.85 666.7,-282.91"/>
|
|
<text text-anchor="middle" x="1552" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -1812074875942984769->-1812074875942984769 -->
|
|
<g id="edge26" class="edge">
|
|
<title>-1812074875942984769->-1812074875942984769</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2617.79,-275.01C2637.48,-273.42 2650.46,-270.41 2650.46,-265.96 2650.46,-262.41 2642.22,-259.77 2628.91,-258.05"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="2629.61,-254.6 2619.3,-257.06 2628.89,-261.57 2629.61,-254.6"/>
|
|
<text text-anchor="middle" x="2661.71" y="-260.91" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 6372930380849017887 -->
|
|
<g id="node15" class="node">
|
|
<title>6372930380849017887</title>
|
|
<ellipse fill="none" stroke="black" cx="3420" cy="-155.47" rx="166.7" ry="28.99"/>
|
|
<text text-anchor="middle" x="3420" y="-158.67" font-family="Times,serif" font-size="14.00">/\ flag = <<FALSE, FALSE, FALSE>></text>
|
|
<text text-anchor="middle" x="3420" y="-142.17" font-family="Times,serif" font-size="14.00">/\ turn = 3</text>
|
|
</g>
|
|
<!-- -1812074875942984769->6372930380849017887 -->
|
|
<g id="edge28" class="edge">
|
|
<title>-1812074875942984769->6372930380849017887</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2609.04,-252.96C2670.2,-247.97 2742.04,-242.14 2807,-236.97 2909.65,-228.79 2935.79,-231.48 3038,-218.97 3082.06,-213.57 3092.7,-209.69 3136.5,-202.47 3186.03,-194.3 3240.45,-185.44 3288.26,-177.7"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="3288.81,-181.16 3298.12,-176.1 3287.69,-174.25 3288.81,-181.16"/>
|
|
<text text-anchor="middle" x="3147.75" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 5741908888902046683 -->
|
|
<g id="node16" class="node">
|
|
<title>5741908888902046683</title>
|
|
<ellipse fill="none" stroke="black" cx="2124" cy="-155.47" rx="157.68" ry="28.99"/>
|
|
<text text-anchor="middle" x="2124" y="-158.67" font-family="Times,serif" font-size="14.00">/\ flag = <<TRUE, TRUE, FALSE>></text>
|
|
<text text-anchor="middle" x="2124" y="-142.17" font-family="Times,serif" font-size="14.00">/\ turn = 3</text>
|
|
</g>
|
|
<!-- -1812074875942984769->5741908888902046683 -->
|
|
<g id="edge29" class="edge">
|
|
<title>-1812074875942984769->5741908888902046683</title>
|
|
<path fill="none" stroke="#1f78b4" d="M2434.93,-237.11C2420.77,-224.62 2402.66,-210.85 2384,-202.47 2350.65,-187.49 2312.85,-177.38 2276.6,-170.56"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="2277.36,-167.14 2266.9,-168.81 2276.12,-174.03 2277.36,-167.14"/>
|
|
<text text-anchor="middle" x="2419.94" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 1565034336273254974 -->
|
|
<g id="node17" class="node">
|
|
<title>1565034336273254974</title>
|
|
<ellipse fill="none" stroke="black" cx="2505" cy="-155.47" rx="157.68" ry="28.99"/>
|
|
<text text-anchor="middle" x="2505" y="-158.67" font-family="Times,serif" font-size="14.00">/\ flag = <<TRUE, FALSE, TRUE>></text>
|
|
<text text-anchor="middle" x="2505" y="-142.17" font-family="Times,serif" font-size="14.00">/\ turn = 3</text>
|
|
</g>
|
|
<!-- -1812074875942984769->1565034336273254974 -->
|
|
<g id="edge30" class="edge">
|
|
<title>-1812074875942984769->1565034336273254974</title>
|
|
<path fill="none" stroke="#1f78b4" d="M2478.89,-236.67C2481.8,-230.91 2484.66,-224.82 2487,-218.97 2489.93,-211.64 2492.6,-203.66 2494.94,-195.93"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="2498.3,-196.91 2497.7,-186.33 2491.57,-194.98 2498.3,-196.91"/>
|
|
<text text-anchor="middle" x="2502.19" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 8903430755944454038->-3244215506152757262 -->
|
|
<g id="edge35" class="edge">
|
|
<title>8903430755944454038->-3244215506152757262</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1580.53,-286.39C1561.35,-289.43 1541.63,-292.4 1523,-294.95 1450.57,-304.86 1428.19,-287.92 1359.5,-312.95 1341.42,-319.54 1323.41,-330.31 1308.08,-341.08"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1306.17,-338.14 1300.14,-346.85 1310.29,-343.8 1306.17,-338.14"/>
|
|
<text text-anchor="middle" x="1370.75" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 8903430755944454038->-4241173743774891978 -->
|
|
<g id="edge34" class="edge">
|
|
<title>8903430755944454038->-4241173743774891978</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1817.19,-284.42C1853.45,-291.36 1892.81,-300.68 1928,-312.95 1950.35,-320.74 1973.71,-331.99 1993.89,-342.8"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1992.04,-345.78 2002.49,-347.5 1995.4,-339.64 1992.04,-345.78"/>
|
|
<text text-anchor="middle" x="1977.19" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 8903430755944454038->8903430755944454038 -->
|
|
<g id="edge31" class="edge">
|
|
<title>8903430755944454038->8903430755944454038</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1844.5,-275.03C1863.88,-273.46 1876.68,-270.43 1876.68,-265.96 1876.68,-262.42 1868.71,-259.79 1855.83,-258.07"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1856.32,-254.6 1846.01,-257.04 1855.59,-261.56 1856.32,-254.6"/>
|
|
<text text-anchor="middle" x="1887.93" y="-260.91" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 8903430755944454038->-3369923460207131881 -->
|
|
<g id="edge32" class="edge">
|
|
<title>8903430755944454038->-3369923460207131881</title>
|
|
<path fill="none" stroke="#33a02c" d="M1582.46,-245.11C1562.7,-242.05 1542.28,-239.17 1523,-236.97 1402.08,-223.12 1366.97,-251.72 1249.75,-218.97 1234.43,-214.69 1233.01,-207.73 1218,-202.47 1186.62,-191.47 1151.9,-182.84 1119.04,-176.17"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1119.95,-172.78 1109.47,-174.28 1118.6,-179.65 1119.95,-172.78"/>
|
|
<text text-anchor="middle" x="1262.88" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 8903430755944454038->5741908888902046683 -->
|
|
<g id="edge33" class="edge">
|
|
<title>8903430755944454038->5741908888902046683</title>
|
|
<path fill="none" stroke="#33a02c" d="M1816.55,-247.34C1845.21,-243.57 1875.64,-239.87 1904,-236.97 1931.93,-234.11 2136.87,-239.51 2156,-218.97 2162.7,-211.77 2162,-202.91 2157.9,-194.14"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2160.97,-192.45 2152.82,-185.68 2154.97,-196.05 2160.97,-192.45"/>
|
|
<text text-anchor="middle" x="2174.13" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -8580062119213253097 -->
|
|
<g id="node18" class="node">
|
|
<title>-8580062119213253097</title>
|
|
<ellipse fill="none" stroke="black" cx="1744" cy="-155.47" rx="152.91" ry="28.99"/>
|
|
<text text-anchor="middle" x="1744" y="-158.67" font-family="Times,serif" font-size="14.00">/\ flag = <<TRUE, TRUE, TRUE>></text>
|
|
<text text-anchor="middle" x="1744" y="-142.17" font-family="Times,serif" font-size="14.00">/\ turn = 1</text>
|
|
</g>
|
|
<!-- 8903430755944454038->-8580062119213253097 -->
|
|
<g id="edge36" class="edge">
|
|
<title>8903430755944454038->-8580062119213253097</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1684.86,-236.8C1682.8,-225.65 1682.49,-213.01 1687.5,-202.47 1689.21,-198.87 1691.35,-195.47 1693.79,-192.26"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1696.33,-194.68 1700.36,-184.88 1691.1,-190.03 1696.33,-194.68"/>
|
|
<text text-anchor="middle" x="1697.25" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 2420705416077512307->-3244215506152757262 -->
|
|
<g id="edge42" class="edge">
|
|
<title>2420705416077512307->-3244215506152757262</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1196.7,-286.67C1177.48,-289.69 1157.7,-292.59 1139,-294.95 1116.48,-297.79 950.83,-296.21 935.5,-312.95 908.59,-342.34 1004.3,-358.15 1099.53,-366.51"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1099.07,-369.99 1109.33,-367.34 1099.66,-363.01 1099.07,-369.99"/>
|
|
<text text-anchor="middle" x="946.75" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 2420705416077512307->-6975205924971161133 -->
|
|
<g id="edge40" class="edge">
|
|
<title>2420705416077512307->-6975205924971161133</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1351.98,-294.22C1373.12,-306.57 1399.41,-320.4 1424.5,-329.45 1454.67,-340.33 1488.03,-348.85 1519.82,-355.45"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1519.01,-358.85 1529.5,-357.4 1520.39,-351.99 1519.01,-358.85"/>
|
|
<text text-anchor="middle" x="1435.75" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 2420705416077512307->2420705416077512307 -->
|
|
<g id="edge37" class="edge">
|
|
<title>2420705416077512307->2420705416077512307</title>
|
|
<path fill="none" stroke="#33a02c" d="M1459.5,-275.03C1478.88,-273.46 1491.68,-270.43 1491.68,-265.96 1491.68,-262.42 1483.71,-259.79 1470.83,-258.07"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1471.32,-254.6 1461.01,-257.04 1470.59,-261.56 1471.32,-254.6"/>
|
|
<text text-anchor="middle" x="1504.81" y="-260.91" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 2420705416077512307->-8418101067716748558 -->
|
|
<g id="edge38" class="edge">
|
|
<title>2420705416077512307->-8418101067716748558</title>
|
|
<path fill="none" stroke="#33a02c" d="M1195.73,-245.46C1176.81,-242.45 1157.37,-239.5 1139,-236.97 1067.57,-227.1 1048.84,-231.07 977.75,-218.97 945.49,-213.47 938.15,-208.57 906,-202.47 851.06,-192.04 790.2,-182.48 737.33,-174.82"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="738.07,-171.39 727.67,-173.43 737.07,-178.32 738.07,-171.39"/>
|
|
<text text-anchor="middle" x="990.88" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 2420705416077512307->1565034336273254974 -->
|
|
<g id="edge39" class="edge">
|
|
<title>2420705416077512307->1565034336273254974</title>
|
|
<path fill="none" stroke="#33a02c" d="M1431.33,-247.36C1461.57,-243.47 1493.92,-239.7 1524,-236.97 1600.9,-229.98 1797.1,-241.35 1871,-218.97 1884.73,-214.81 1885,-206.55 1898.75,-202.47 1991.76,-174.83 2238.48,-194.37 2335,-184.47 2350.84,-182.84 2367.43,-180.68 2383.79,-178.28"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2384.2,-181.76 2393.57,-176.81 2383.16,-174.84 2384.2,-181.76"/>
|
|
<text text-anchor="middle" x="1911.88" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 2420705416077512307->-8580062119213253097 -->
|
|
<g id="edge41" class="edge">
|
|
<title>2420705416077512307->-8580062119213253097</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1434.19,-248.05C1470.28,-241.15 1509.26,-231.71 1544,-218.97 1558.1,-213.79 1559.59,-208.13 1573.5,-202.47 1593.33,-194.39 1615.02,-187.3 1636.09,-181.26"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1636.9,-184.67 1645.59,-178.6 1635.01,-177.92 1636.9,-184.67"/>
|
|
<text text-anchor="middle" x="1583.25" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -1079634258640452485->-4241173743774891978 -->
|
|
<g id="edge45" class="edge">
|
|
<title>-1079634258640452485->-4241173743774891978</title>
|
|
<path fill="none" stroke="#33a02c" d="M2870.94,-287.57C2795.7,-301.07 2693.6,-318.22 2603,-329.45 2471.97,-345.69 2322.78,-357.71 2212.25,-365.38"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2212.25,-361.87 2202.52,-366.05 2212.73,-368.85 2212.25,-361.87"/>
|
|
<text text-anchor="middle" x="2730.82" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -1079634258640452485->-1079634258640452485 -->
|
|
<g id="edge44" class="edge">
|
|
<title>-1079634258640452485->-1079634258640452485</title>
|
|
<path fill="none" stroke="#b2df8a" d="M3135.36,-275.01C3154.99,-273.42 3167.93,-270.41 3167.93,-265.96 3167.93,-262.41 3159.71,-259.77 3146.44,-258.05"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="3147.17,-254.61 3136.86,-257.06 3146.45,-261.57 3147.17,-254.61"/>
|
|
<text text-anchor="middle" x="3179.18" y="-260.91" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -1079634258640452485->6372930380849017887 -->
|
|
<g id="edge46" class="edge">
|
|
<title>-1079634258640452485->6372930380849017887</title>
|
|
<path fill="none" stroke="#b2df8a" d="M3109.78,-248.01C3154.84,-240.77 3205.53,-231.13 3251,-218.97 3283.03,-210.4 3317.5,-198.21 3346.91,-186.87"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="3348.04,-190.19 3356.09,-183.29 3345.5,-183.67 3348.04,-190.19"/>
|
|
<text text-anchor="middle" x="3314.25" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -1079634258640452485->5741908888902046683 -->
|
|
<g id="edge43" class="edge">
|
|
<title>-1079634258640452485->5741908888902046683</title>
|
|
<path fill="none" stroke="#1f78b4" d="M2856.86,-246.96C2763.72,-233.76 2633.01,-215.88 2518,-202.47 2436.82,-193 2416.19,-193.84 2335,-184.47 2310.54,-181.64 2284.51,-178.39 2259.4,-175.13"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="2260.19,-171.7 2249.82,-173.87 2259.28,-178.64 2260.19,-171.7"/>
|
|
<text text-anchor="middle" x="2655.1" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 172957247284817402 -->
|
|
<g id="node19" class="node">
|
|
<title>172957247284817402</title>
|
|
<ellipse fill="none" stroke="black" cx="3034" cy="-155.47" rx="157.15" ry="28.99"/>
|
|
<text text-anchor="middle" x="3034" y="-158.67" font-family="Times,serif" font-size="14.00">/\ flag = <<FALSE, TRUE, TRUE>></text>
|
|
<text text-anchor="middle" x="3034" y="-142.17" font-family="Times,serif" font-size="14.00">/\ turn = 3</text>
|
|
</g>
|
|
<!-- -1079634258640452485->172957247284817402 -->
|
|
<g id="edge47" class="edge">
|
|
<title>-1079634258640452485->172957247284817402</title>
|
|
<path fill="none" stroke="#1f78b4" d="M2995.93,-236.85C2998.98,-230.97 3002.13,-224.78 3005,-218.97 3008.82,-211.21 3012.8,-202.85 3016.54,-194.84"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="3019.62,-196.52 3020.65,-185.98 3013.27,-193.58 3019.62,-196.52"/>
|
|
<text text-anchor="middle" x="3022.14" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 3910948690638727607->-4241173743774891978 -->
|
|
<g id="edge53" class="edge">
|
|
<title>3910948690638727607->-4241173743774891978</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2069.08,-295.38C2067.08,-306.1 2064.62,-318.38 2062,-329.45 2061.46,-331.72 2060.89,-334.05 2060.29,-336.39"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="2056.95,-335.3 2057.75,-345.86 2063.72,-337.11 2056.95,-335.3"/>
|
|
<text text-anchor="middle" x="2076.64" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 3910948690638727607->-6975205924971161133 -->
|
|
<g id="edge51" class="edge">
|
|
<title>3910948690638727607->-6975205924971161133</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1960,-286.32C1901.07,-296.64 1838.73,-308.17 1825.5,-312.95 1811.37,-318.05 1809.76,-323.41 1796,-329.45 1781.25,-335.92 1765.28,-342 1749.6,-347.47"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1748.56,-344.13 1740.23,-350.68 1750.82,-350.75 1748.56,-344.13"/>
|
|
<text text-anchor="middle" x="1836.75" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 3910948690638727607->3910948690638727607 -->
|
|
<g id="edge49" class="edge">
|
|
<title>3910948690638727607->3910948690638727607</title>
|
|
<path fill="none" stroke="#33a02c" d="M2223.72,-275.06C2243.24,-273.5 2256.15,-270.46 2256.15,-265.96 2256.15,-262.4 2248.11,-259.76 2235.13,-258.04"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2235.53,-254.56 2225.22,-257.01 2234.81,-261.52 2235.53,-254.56"/>
|
|
<text text-anchor="middle" x="2269.28" y="-260.91" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 3910948690638727607->-8580062119213253097 -->
|
|
<g id="edge48" class="edge">
|
|
<title>3910948690638727607->-8580062119213253097</title>
|
|
<path fill="none" stroke="#1f78b4" d="M2067.42,-236.8C2063.09,-224.41 2056.1,-210.8 2045,-202.47 2037.92,-197.15 1955.89,-184.81 1879.25,-174.25"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1879.87,-170.81 1869.49,-172.91 1878.92,-177.74 1879.87,-170.81"/>
|
|
<text text-anchor="middle" x="2068.18" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 3910948690638727607->172957247284817402 -->
|
|
<g id="edge50" class="edge">
|
|
<title>3910948690638727607->172957247284817402</title>
|
|
<path fill="none" stroke="#33a02c" d="M2194.88,-247.11C2225.22,-243.19 2257.75,-239.47 2288,-236.97 2515.81,-218.12 2576.06,-253.63 2802,-218.97 2829.23,-214.79 2835.16,-209.69 2861.75,-202.47 2885.45,-196.03 2911.01,-189.16 2934.99,-182.75"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2935.67,-186.2 2944.43,-180.24 2933.86,-179.43 2935.67,-186.2"/>
|
|
<text text-anchor="middle" x="2874.88" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -7137488034415575754 -->
|
|
<g id="node20" class="node">
|
|
<title>-7137488034415575754</title>
|
|
<ellipse fill="none" stroke="black" cx="1365" cy="-155.47" rx="157.15" ry="28.99"/>
|
|
<text text-anchor="middle" x="1365" y="-158.67" font-family="Times,serif" font-size="14.00">/\ flag = <<FALSE, TRUE, TRUE>></text>
|
|
<text text-anchor="middle" x="1365" y="-142.17" font-family="Times,serif" font-size="14.00">/\ turn = 2</text>
|
|
</g>
|
|
<!-- 3910948690638727607->-7137488034415575754 -->
|
|
<g id="edge52" class="edge">
|
|
<title>3910948690638727607->-7137488034415575754</title>
|
|
<path fill="none" stroke="#33a02c" d="M1959.49,-245.78C1941.27,-242.79 1922.62,-239.77 1905,-236.97 1852.5,-228.62 1837.74,-233.99 1786.75,-218.97 1769.58,-213.91 1767.29,-207.13 1750,-202.47 1676.22,-182.57 1654.89,-193.42 1579,-184.47 1553.88,-181.5 1527.13,-178.15 1501.35,-174.83"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1501.84,-171.37 1491.48,-173.55 1500.94,-178.31 1501.84,-171.37"/>
|
|
<text text-anchor="middle" x="1799.88" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 3857298191995555154->-6975205924971161133 -->
|
|
<g id="edge57" class="edge">
|
|
<title>3857298191995555154->-6975205924971161133</title>
|
|
<path fill="none" stroke="#33a02c" d="M987.35,-292.72C1025.58,-306.15 1074.68,-321.41 1119.75,-329.45 1278.01,-357.67 1321.12,-330.73 1481,-347.45 1497.32,-349.15 1514.43,-351.36 1531.3,-353.79"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1530.43,-357.2 1540.84,-355.2 1531.45,-350.28 1530.43,-357.2"/>
|
|
<text text-anchor="middle" x="1132.88" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 3857298191995555154->3857298191995555154 -->
|
|
<g id="edge55" class="edge">
|
|
<title>3857298191995555154->3857298191995555154</title>
|
|
<path fill="none" stroke="#33a02c" d="M1074.36,-275.01C1093.99,-273.42 1106.93,-270.41 1106.93,-265.96 1106.93,-262.41 1098.71,-259.77 1085.44,-258.05"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1086.17,-254.61 1075.86,-257.06 1085.45,-261.57 1086.17,-254.61"/>
|
|
<text text-anchor="middle" x="1120.05" y="-260.91" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 3857298191995555154->-4114660946687843117 -->
|
|
<g id="edge58" class="edge">
|
|
<title>3857298191995555154->-4114660946687843117</title>
|
|
<path fill="none" stroke="#b2df8a" d="M804.38,-245.26C784.61,-242.24 764.24,-239.34 745,-236.97 653.57,-225.68 626.35,-246.71 538.5,-218.97 524.54,-214.56 523.81,-207.33 510,-202.47 481.57,-192.46 418.66,-182.21 357.75,-173.94"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="358.29,-170.48 347.91,-172.62 357.36,-177.42 358.29,-170.48"/>
|
|
<text text-anchor="middle" x="549.75" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 3857298191995555154->-8418101067716748558 -->
|
|
<g id="edge54" class="edge">
|
|
<title>3857298191995555154->-8418101067716748558</title>
|
|
<path fill="none" stroke="#1f78b4" d="M807.04,-244.87C777.44,-238.1 745.88,-229.52 717.5,-218.97 696.11,-211.01 673.73,-199.89 654.31,-189.23"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="656.21,-186.28 645.77,-184.46 652.79,-192.39 656.21,-186.28"/>
|
|
<text text-anchor="middle" x="727.25" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 3857298191995555154->-7137488034415575754 -->
|
|
<g id="edge56" class="edge">
|
|
<title>3857298191995555154->-7137488034415575754</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1001.53,-240.54C1051.21,-225.82 1109.91,-208.73 1135.5,-202.47 1170.49,-193.9 1208.77,-185.75 1243.87,-178.76"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1244.53,-182.2 1253.66,-176.82 1243.17,-175.33 1244.53,-182.2"/>
|
|
<text text-anchor="middle" x="1145.25" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -4114660946687843117->8669090914908599155 -->
|
|
<g id="edge59" class="edge">
|
|
<title>-4114660946687843117->8669090914908599155</title>
|
|
<path fill="none" stroke="#1f78b4" d="M253.63,-183.77C274.7,-195.98 300.74,-209.68 325.5,-218.97 350.58,-228.37 378.15,-236.16 404.69,-242.5"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="403.59,-245.84 414.13,-244.7 405.18,-239.02 403.59,-245.84"/>
|
|
<text text-anchor="middle" x="335.25" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -4114660946687843117->3857298191995555154 -->
|
|
<g id="edge62" class="edge">
|
|
<title>-4114660946687843117->3857298191995555154</title>
|
|
<path fill="none" stroke="#1f78b4" d="M342.54,-173.39C441.57,-186.09 560.31,-201.45 563,-202.47 575.28,-207.1 575.18,-214.42 587.5,-218.97 653.61,-243.34 675.2,-227.4 745,-236.97 760.36,-239.07 776.44,-241.43 792.38,-243.86"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="791.47,-247.26 801.89,-245.33 792.54,-240.35 791.47,-247.26"/>
|
|
<text text-anchor="middle" x="597.25" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -4114660946687843117->-4114660946687843117 -->
|
|
<g id="edge60" class="edge">
|
|
<title>-4114660946687843117->-4114660946687843117</title>
|
|
<path fill="none" stroke="#b2df8a" d="M369.03,-164.46C388.75,-162.87 401.7,-159.87 401.7,-155.47 401.7,-151.97 393.48,-149.36 380.15,-147.63"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="380.84,-144.18 370.53,-146.64 380.12,-151.15 380.84,-144.18"/>
|
|
<text text-anchor="middle" x="412.95" y="-150.42" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 8039107430528292023 -->
|
|
<g id="node21" class="node">
|
|
<title>8039107430528292023</title>
|
|
<ellipse fill="none" stroke="black" cx="971" cy="-44.99" rx="161.93" ry="28.99"/>
|
|
<text text-anchor="middle" x="971" y="-48.19" font-family="Times,serif" font-size="14.00">/\ flag = <<FALSE, TRUE, FALSE>></text>
|
|
<text text-anchor="middle" x="971" y="-31.69" font-family="Times,serif" font-size="14.00">/\ turn = 2</text>
|
|
</g>
|
|
<!-- -4114660946687843117->8039107430528292023 -->
|
|
<g id="edge61" class="edge">
|
|
<title>-4114660946687843117->8039107430528292023</title>
|
|
<path fill="none" stroke="#1f78b4" d="M336.95,-136.38C474.67,-116.74 693.73,-85.52 834.93,-65.39"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="835.32,-68.87 844.73,-63.99 834.33,-61.94 835.32,-68.87"/>
|
|
<text text-anchor="middle" x="645.81" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -3369923460207131881->8669090914908599155 -->
|
|
<g id="edge67" class="edge">
|
|
<title>-3369923460207131881->8669090914908599155</title>
|
|
<path fill="none" stroke="#b2df8a" d="M892.32,-179.28C870.38,-185.79 847.32,-193.58 826.5,-202.47 813.04,-208.21 811.76,-213.98 798,-218.97 760.85,-232.41 719.35,-241.99 680.32,-248.78"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="679.88,-245.3 670.6,-250.41 681.04,-252.2 679.88,-245.3"/>
|
|
<text text-anchor="middle" x="837.75" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -3369923460207131881->8903430755944454038 -->
|
|
<g id="edge66" class="edge">
|
|
<title>-3369923460207131881->8903430755944454038</title>
|
|
<path fill="none" stroke="#33a02c" d="M1108.48,-173.8C1180.98,-184.34 1261.57,-196.82 1278,-202.47 1292.3,-207.38 1293.28,-214.57 1307.75,-218.97 1399.61,-246.87 1427.72,-225.2 1523,-236.97 1538.4,-238.87 1554.54,-241.14 1570.5,-243.56"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1569.59,-246.96 1580.01,-245.02 1570.66,-240.04 1569.59,-246.96"/>
|
|
<text text-anchor="middle" x="1320.88" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -3369923460207131881->-3369923460207131881 -->
|
|
<g id="edge63" class="edge">
|
|
<title>-3369923460207131881->-3369923460207131881</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1135.5,-164.55C1154.88,-162.98 1167.68,-159.95 1167.68,-155.47 1167.68,-151.94 1159.71,-149.31 1146.83,-147.59"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1147.32,-144.12 1137.01,-146.55 1146.59,-151.08 1147.32,-144.12"/>
|
|
<text text-anchor="middle" x="1178.93" y="-150.42" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -3369923460207131881->5741908888902046683 -->
|
|
<g id="edge64" class="edge">
|
|
<title>-3369923460207131881->5741908888902046683</title>
|
|
<path fill="none" stroke="#33a02c" d="M1107.8,-173.99C1136.37,-177.87 1166.71,-181.63 1195,-184.47 1530.65,-218.1 1619.21,-225.8 1954,-184.47 1969.06,-182.61 1984.83,-180.35 2000.42,-177.92"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2000.92,-181.38 2010.24,-176.36 1999.82,-174.47 2000.92,-181.38"/>
|
|
<text text-anchor="middle" x="1612" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -3369923460207131881->8039107430528292023 -->
|
|
<g id="edge65" class="edge">
|
|
<title>-3369923460207131881->8039107430528292023</title>
|
|
<path fill="none" stroke="#b2df8a" d="M944.85,-127.16C939.44,-121.64 934.67,-115.38 931.5,-108.48 927.62,-100.02 929.1,-91.34 933.23,-83.25"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="936.08,-85.28 938.56,-74.98 930.2,-81.48 936.08,-85.28"/>
|
|
<text text-anchor="middle" x="942.75" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 2475160756711074454 -->
|
|
<g id="node22" class="node">
|
|
<title>2475160756711074454</title>
|
|
<ellipse fill="none" stroke="black" cx="1377" cy="-44.99" rx="152.91" ry="28.99"/>
|
|
<text text-anchor="middle" x="1377" y="-48.19" font-family="Times,serif" font-size="14.00">/\ flag = <<TRUE, TRUE, TRUE>></text>
|
|
<text text-anchor="middle" x="1377" y="-31.69" font-family="Times,serif" font-size="14.00">/\ turn = 2</text>
|
|
</g>
|
|
<!-- -3369923460207131881->2475160756711074454 -->
|
|
<g id="edge68" class="edge">
|
|
<title>-3369923460207131881->2475160756711074454</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1114.15,-138.45C1152.45,-131.54 1194.03,-121.87 1231,-108.48 1245.13,-103.37 1246.93,-98.42 1260.5,-91.98 1272.39,-86.34 1285.18,-80.79 1297.77,-75.61"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1298.92,-78.92 1306.87,-71.92 1296.29,-72.44 1298.92,-78.92"/>
|
|
<text text-anchor="middle" x="1270.25" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -8418101067716748558->8669090914908599155 -->
|
|
<g id="edge74" class="edge">
|
|
<title>-8418101067716748558->8669090914908599155</title>
|
|
<path fill="none" stroke="#b2df8a" d="M614.1,-184.64C617.71,-195.92 619.07,-208.65 613,-218.97 610.22,-223.68 606.76,-227.95 602.85,-231.81"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="600.73,-229.02 595.4,-238.18 605.27,-234.34 600.73,-229.02"/>
|
|
<text text-anchor="middle" x="628.43" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -8418101067716748558->2420705416077512307 -->
|
|
<g id="edge73" class="edge">
|
|
<title>-8418101067716748558->2420705416077512307</title>
|
|
<path fill="none" stroke="#33a02c" d="M722.61,-174.09C752.77,-177.97 785.01,-181.73 815,-184.47 890.79,-191.38 1084,-180.94 1157,-202.47 1171.13,-206.63 1172.41,-212.7 1185.75,-218.97 1198.31,-224.86 1211.85,-230.55 1225.2,-235.8"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1223.84,-239.03 1234.43,-239.36 1226.36,-232.5 1223.84,-239.03"/>
|
|
<text text-anchor="middle" x="1198.88" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -8418101067716748558->3857298191995555154 -->
|
|
<g id="edge71" class="edge">
|
|
<title>-8418101067716748558->3857298191995555154</title>
|
|
<path fill="none" stroke="#b2df8a" d="M744.41,-167.47C781.86,-174.29 821.15,-185.18 855,-202.47 867.87,-209.04 879.91,-219 890.05,-229.04"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="887.25,-231.18 896.7,-235.97 892.3,-226.33 887.25,-231.18"/>
|
|
<text text-anchor="middle" x="888.64" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -8418101067716748558->-8418101067716748558 -->
|
|
<g id="edge69" class="edge">
|
|
<title>-8418101067716748558->-8418101067716748558</title>
|
|
<path fill="none" stroke="#33a02c" d="M750.5,-164.55C769.88,-162.98 782.68,-159.95 782.68,-155.47 782.68,-151.94 774.71,-149.31 761.83,-147.59"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="762.32,-144.12 752.01,-146.55 761.59,-151.08 762.32,-144.12"/>
|
|
<text text-anchor="middle" x="795.81" y="-150.42" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -8418101067716748558->1565034336273254974 -->
|
|
<g id="edge70" class="edge">
|
|
<title>-8418101067716748558->1565034336273254974</title>
|
|
<path fill="none" stroke="#33a02c" d="M722.56,-174.11C752.72,-178.11 784.98,-181.91 815,-184.47 815,-184.47 2335,-184.47 2335,-184.47 2350.73,-182.88 2367.21,-180.72 2383.45,-178.28"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2383.8,-181.77 2393.15,-176.78 2382.74,-174.85 2383.8,-181.77"/>
|
|
<text text-anchor="middle" x="1528" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -8418101067716748558->2475160756711074454 -->
|
|
<g id="edge72" class="edge">
|
|
<title>-8418101067716748558->2475160756711074454</title>
|
|
<path fill="none" stroke="#1f78b4" d="M723.5,-137.12C753.41,-133.27 785.32,-129.46 815,-126.48 928.49,-115.12 961.27,-139.6 1071,-108.48 1086.2,-104.17 1087.52,-97.02 1102.5,-91.98 1116.98,-87.12 1184.11,-75.84 1248.36,-65.67"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1248.64,-69.17 1257.97,-64.15 1247.55,-62.25 1248.64,-69.17"/>
|
|
<text text-anchor="middle" x="1112.25" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 6372930380849017887->-1812074875942984769 -->
|
|
<g id="edge75" class="edge">
|
|
<title>6372930380849017887->-1812074875942984769</title>
|
|
<path fill="none" stroke="#1f78b4" d="M3302.74,-176.43C3282.21,-179.46 3261.01,-182.29 3241,-184.47 3110.63,-198.61 3075.45,-178.63 2946.5,-202.47 2922.45,-206.91 2917.94,-213.98 2894,-218.97 2806.93,-237.11 2708.39,-248.3 2627.53,-255.09"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="2627.43,-251.59 2617.75,-255.9 2628,-258.57 2627.43,-251.59"/>
|
|
<text text-anchor="middle" x="2956.25" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 6372930380849017887->-1079634258640452485 -->
|
|
<g id="edge77" class="edge">
|
|
<title>6372930380849017887->-1079634258640452485</title>
|
|
<path fill="none" stroke="#1f78b4" d="M3321.97,-179.29C3291.07,-186.58 3256.84,-194.76 3225.5,-202.47 3178.34,-214.07 3126.17,-227.34 3082.18,-238.66"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="3081.46,-235.23 3072.65,-241.12 3083.21,-242.01 3081.46,-235.23"/>
|
|
<text text-anchor="middle" x="3235.25" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 6372930380849017887->6372930380849017887 -->
|
|
<g id="edge76" class="edge">
|
|
<title>6372930380849017887->6372930380849017887</title>
|
|
<path fill="none" stroke="#b2df8a" d="M3579.03,-164.46C3598.75,-162.87 3611.7,-159.87 3611.7,-155.47 3611.7,-151.97 3603.48,-149.36 3590.15,-147.63"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="3590.84,-144.18 3580.53,-146.64 3590.12,-151.15 3590.84,-144.18"/>
|
|
<text text-anchor="middle" x="3622.95" y="-150.42" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -6119517210167370338 -->
|
|
<g id="node23" class="node">
|
|
<title>-6119517210167370338</title>
|
|
<ellipse fill="none" stroke="black" cx="3034" cy="-44.99" rx="161.93" ry="28.99"/>
|
|
<text text-anchor="middle" x="3034" y="-48.19" font-family="Times,serif" font-size="14.00">/\ flag = <<FALSE, FALSE, TRUE>></text>
|
|
<text text-anchor="middle" x="3034" y="-31.69" font-family="Times,serif" font-size="14.00">/\ turn = 3</text>
|
|
</g>
|
|
<!-- 6372930380849017887->-6119517210167370338 -->
|
|
<g id="edge78" class="edge">
|
|
<title>6372930380849017887->-6119517210167370338</title>
|
|
<path fill="none" stroke="#1f78b4" d="M3333.85,-130.26C3273.59,-113.33 3193.03,-90.69 3130.59,-73.14"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="3131.58,-69.78 3121.01,-70.44 3129.69,-76.52 3131.58,-69.78"/>
|
|
<text text-anchor="middle" x="3259.86" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 5741908888902046683->-1812074875942984769 -->
|
|
<g id="edge83" class="edge">
|
|
<title>5741908888902046683->-1812074875942984769</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2242.72,-174.88C2272.25,-181.61 2303.35,-190.59 2331,-202.47 2343.06,-207.65 2343.97,-212.69 2355.5,-218.97 2365.43,-224.37 2376.13,-229.6 2386.79,-234.48"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="2385.04,-237.53 2395.59,-238.42 2387.9,-231.14 2385.04,-237.53"/>
|
|
<text text-anchor="middle" x="2366.75" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 5741908888902046683->8903430755944454038 -->
|
|
<g id="edge82" class="edge">
|
|
<title>5741908888902046683->8903430755944454038</title>
|
|
<path fill="none" stroke="#33a02c" d="M2112.79,-184.76C2106.3,-197.35 2096.84,-211.08 2084,-218.97 2049.74,-240 1943.93,-232.31 1904,-236.97 1879.84,-239.78 1854.16,-243.01 1829.34,-246.25"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1828.97,-242.77 1819.51,-247.54 1829.88,-249.71 1828.97,-242.77"/>
|
|
<text text-anchor="middle" x="2114.62" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 5741908888902046683->-1079634258640452485 -->
|
|
<g id="edge81" class="edge">
|
|
<title>5741908888902046683->-1079634258640452485</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2245.71,-174.27C2274.91,-178.09 2306.02,-181.77 2335,-184.47 2483.91,-198.31 2522.64,-183.64 2671,-202.47 2739.45,-211.15 2815.41,-226.37 2875,-239.61"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="2873.93,-242.96 2884.45,-241.73 2875.46,-236.13 2873.93,-242.96"/>
|
|
<text text-anchor="middle" x="2785.23" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 5741908888902046683->-3369923460207131881 -->
|
|
<g id="edge80" class="edge">
|
|
<title>5741908888902046683->-3369923460207131881</title>
|
|
<path fill="none" stroke="#33a02c" d="M2011.74,-176.12C1992.52,-179.23 1972.72,-182.15 1954,-184.47 1619.21,-225.8 1530.65,-218.1 1195,-184.47 1170.36,-182 1144.16,-178.82 1118.93,-175.48"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1119.67,-172.05 1109.3,-174.19 1118.74,-178.99 1119.67,-172.05"/>
|
|
<text text-anchor="middle" x="1612" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 5741908888902046683->5741908888902046683 -->
|
|
<g id="edge79" class="edge">
|
|
<title>5741908888902046683->5741908888902046683</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2274.5,-164.55C2293.88,-162.98 2306.68,-159.95 2306.68,-155.47 2306.68,-151.94 2298.71,-149.31 2285.83,-147.59"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="2286.32,-144.12 2276.01,-146.55 2285.59,-151.08 2286.32,-144.12"/>
|
|
<text text-anchor="middle" x="2317.93" y="-150.42" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -4842088293674550694 -->
|
|
<g id="node24" class="node">
|
|
<title>-4842088293674550694</title>
|
|
<ellipse fill="none" stroke="black" cx="2124" cy="-44.99" rx="152.91" ry="28.99"/>
|
|
<text text-anchor="middle" x="2124" y="-48.19" font-family="Times,serif" font-size="14.00">/\ flag = <<TRUE, TRUE, TRUE>></text>
|
|
<text text-anchor="middle" x="2124" y="-31.69" font-family="Times,serif" font-size="14.00">/\ turn = 3</text>
|
|
</g>
|
|
<!-- 5741908888902046683->-4842088293674550694 -->
|
|
<g id="edge84" class="edge">
|
|
<title>5741908888902046683->-4842088293674550694</title>
|
|
<path fill="none" stroke="#1f78b4" d="M2104.17,-126.4C2098.95,-115.82 2095.51,-103.55 2098.5,-91.98 2099.13,-89.54 2099.92,-87.09 2100.83,-84.66"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="2103.99,-86.19 2104.84,-75.63 2097.59,-83.35 2103.99,-86.19"/>
|
|
<text text-anchor="middle" x="2108.25" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 1565034336273254974->-1812074875942984769 -->
|
|
<g id="edge90" class="edge">
|
|
<title>1565034336273254974->-1812074875942984769</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2470.26,-184.22C2465.47,-189.73 2461.26,-195.86 2458.5,-202.47 2455.52,-209.61 2454.54,-217.62 2454.69,-225.46"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="2451.18,-225.5 2455.48,-235.19 2458.16,-224.93 2451.18,-225.5"/>
|
|
<text text-anchor="middle" x="2469.75" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 1565034336273254974->2420705416077512307 -->
|
|
<g id="edge89" class="edge">
|
|
<title>1565034336273254974->2420705416077512307</title>
|
|
<path fill="none" stroke="#33a02c" d="M2394.6,-176.56C2374.81,-179.61 2354.33,-182.42 2335,-184.47 2250.87,-193.35 2035.77,-178.12 1954.75,-202.47 1941.01,-206.59 1940.75,-214.86 1927,-218.97 1841.11,-244.65 1613.31,-229.17 1524,-236.97 1497.47,-239.28 1469.18,-242.45 1442.13,-245.84"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1442.01,-242.32 1432.53,-247.05 1442.89,-249.27 1442.01,-242.32"/>
|
|
<text text-anchor="middle" x="1967.88" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 1565034336273254974->-8418101067716748558 -->
|
|
<g id="edge86" class="edge">
|
|
<title>1565034336273254974->-8418101067716748558</title>
|
|
<path fill="none" stroke="#33a02c" d="M2394.65,-176.55C2374.85,-179.69 2354.36,-182.52 2335,-184.47 2335,-184.47 815,-184.47 815,-184.47 788.73,-182.23 760.75,-179.04 733.96,-175.6"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="734.43,-172.13 724.06,-174.31 733.53,-179.07 734.43,-172.13"/>
|
|
<text text-anchor="middle" x="1528" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 1565034336273254974->1565034336273254974 -->
|
|
<g id="edge85" class="edge">
|
|
<title>1565034336273254974->1565034336273254974</title>
|
|
<path fill="none" stroke="#1f78b4" d="M2655.5,-164.55C2674.88,-162.98 2687.68,-159.95 2687.68,-155.47 2687.68,-151.94 2679.71,-149.31 2666.83,-147.59"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="2667.32,-144.12 2657.01,-146.55 2666.59,-151.08 2667.32,-144.12"/>
|
|
<text text-anchor="middle" x="2697.43" y="-150.42" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 1565034336273254974->-6119517210167370338 -->
|
|
<g id="edge87" class="edge">
|
|
<title>1565034336273254974->-6119517210167370338</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2554.14,-127.44C2579.51,-114.67 2611.38,-100.42 2641.5,-91.98 2713.93,-71.7 2796.31,-60.36 2866.84,-54.01"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="2866.88,-57.52 2876.54,-53.17 2866.28,-50.55 2866.88,-57.52"/>
|
|
<text text-anchor="middle" x="2652.75" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 1565034336273254974->-4842088293674550694 -->
|
|
<g id="edge88" class="edge">
|
|
<title>1565034336273254974->-4842088293674550694</title>
|
|
<path fill="none" stroke="#1f78b4" d="M2420.92,-130.53C2360.96,-113.46 2280.31,-90.5 2218.19,-72.81"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="2219.24,-69.47 2208.67,-70.1 2217.33,-76.2 2219.24,-69.47"/>
|
|
<text text-anchor="middle" x="2347.06" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -8580062119213253097->8903430755944454038 -->
|
|
<g id="edge96" class="edge">
|
|
<title>-8580062119213253097->8903430755944454038</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1731.06,-184.55C1725.16,-197.34 1718.09,-212.68 1711.72,-226.52"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1708.65,-224.82 1707.64,-235.36 1715,-227.75 1708.65,-224.82"/>
|
|
<text text-anchor="middle" x="1733.24" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -8580062119213253097->2420705416077512307 -->
|
|
<g id="edge95" class="edge">
|
|
<title>-8580062119213253097->2420705416077512307</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1633.13,-175.73C1615.05,-178.74 1596.51,-181.75 1579,-184.47 1522.01,-193.29 1505.96,-186.67 1450.5,-202.47 1423.49,-210.16 1394.94,-221.99 1370.61,-233.3"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1369.37,-230.02 1361.83,-237.46 1372.37,-236.34 1369.37,-230.02"/>
|
|
<text text-anchor="middle" x="1461.75" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -8580062119213253097->3910948690638727607 -->
|
|
<g id="edge94" class="edge">
|
|
<title>-8580062119213253097->3910948690638727607</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1787.7,-183.59C1814.06,-199.86 1843.18,-217.66 1846.5,-218.97 1865.92,-226.57 1906.82,-235.55 1948.66,-243.54"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1947.92,-246.96 1958.4,-245.38 1949.22,-240.08 1947.92,-246.96"/>
|
|
<text text-anchor="middle" x="1857.75" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -8580062119213253097->-8580062119213253097 -->
|
|
<g id="edge91" class="edge">
|
|
<title>-8580062119213253097->-8580062119213253097</title>
|
|
<path fill="none" stroke="#33a02c" d="M1889.54,-164.64C1908.99,-163.09 1921.91,-160.03 1921.91,-155.47 1921.91,-151.88 1913.87,-149.22 1900.92,-147.49"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1901.36,-144.02 1891.05,-146.47 1900.63,-150.98 1901.36,-144.02"/>
|
|
<text text-anchor="middle" x="1935.04" y="-150.42" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -8580062119213253097->2475160756711074454 -->
|
|
<g id="edge92" class="edge">
|
|
<title>-8580062119213253097->2475160756711074454</title>
|
|
<path fill="none" stroke="#33a02c" d="M1685.96,-128.35C1657.21,-116.11 1621.72,-102.05 1589,-91.98 1559.42,-82.88 1527,-74.89 1496.59,-68.23"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1497.49,-64.84 1486.97,-66.15 1496.01,-71.68 1497.49,-64.84"/>
|
|
<text text-anchor="middle" x="1645.51" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -8580062119213253097->-4842088293674550694 -->
|
|
<g id="edge93" class="edge">
|
|
<title>-8580062119213253097->-4842088293674550694</title>
|
|
<path fill="none" stroke="#33a02c" d="M1826.92,-130.8C1886.77,-113.72 1967.66,-90.62 2029.92,-72.85"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2030.82,-76.23 2039.47,-70.12 2028.89,-69.5 2030.82,-76.23"/>
|
|
<text text-anchor="middle" x="1969.88" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 172957247284817402->-1079634258640452485 -->
|
|
<g id="edge102" class="edge">
|
|
<title>172957247284817402->-1079634258640452485</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2990.62,-183.64C2984.91,-189.15 2979.88,-195.44 2976.5,-202.47 2973.11,-209.51 2971.98,-217.53 2972.11,-225.42"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="2968.61,-225.58 2972.95,-235.24 2975.58,-224.98 2968.61,-225.58"/>
|
|
<text text-anchor="middle" x="2987.75" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 172957247284817402->3910948690638727607 -->
|
|
<g id="edge99" class="edge">
|
|
<title>172957247284817402->3910948690638727607</title>
|
|
<path fill="none" stroke="#33a02c" d="M2923.01,-176.29C2901.51,-179.52 2879.1,-182.46 2858,-184.47 2610.44,-208.04 2544.58,-164.89 2298.75,-202.47 2251.34,-209.71 2199.7,-223.63 2157.89,-236.49"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2156.88,-233.14 2148.37,-239.46 2158.96,-239.82 2156.88,-233.14"/>
|
|
<text text-anchor="middle" x="2311.88" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 172957247284817402->172957247284817402 -->
|
|
<g id="edge98" class="edge">
|
|
<title>172957247284817402->172957247284817402</title>
|
|
<path fill="none" stroke="#1f78b4" d="M3183.72,-164.58C3203.24,-163.01 3216.15,-159.98 3216.15,-155.47 3216.15,-151.92 3208.11,-149.28 3195.13,-147.56"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="3195.53,-144.08 3185.22,-146.52 3194.81,-151.04 3195.53,-144.08"/>
|
|
<text text-anchor="middle" x="3225.9" y="-150.42" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 172957247284817402->-7137488034415575754 -->
|
|
<g id="edge101" class="edge">
|
|
<title>172957247284817402->-7137488034415575754</title>
|
|
<path fill="none" stroke="#33a02c" d="M2922.09,-176.18C2900.87,-179.46 2878.8,-182.44 2858,-184.47 2858,-184.47 1579,-184.47 1579,-184.47 1553.2,-181.98 1525.73,-178.72 1499.38,-175.29"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1500.03,-171.85 1489.66,-174.01 1499.12,-178.79 1500.03,-171.85"/>
|
|
<text text-anchor="middle" x="2031" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 172957247284817402->-6119517210167370338 -->
|
|
<g id="edge100" class="edge">
|
|
<title>172957247284817402->-6119517210167370338</title>
|
|
<path fill="none" stroke="#b2df8a" d="M3034,-126.25C3034,-113.92 3034,-99.24 3034,-85.82"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="3037.5,-85.96 3034,-75.96 3030.5,-85.96 3037.5,-85.96"/>
|
|
<text text-anchor="middle" x="3045.25" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 172957247284817402->-4842088293674550694 -->
|
|
<g id="edge97" class="edge">
|
|
<title>172957247284817402->-4842088293674550694</title>
|
|
<path fill="none" stroke="#1f78b4" d="M2946.6,-130.94C2923.05,-124.14 2897.68,-116.41 2874.5,-108.48 2855.72,-102.06 2852.36,-96.35 2833,-91.98 2732.77,-69.4 2462.74,-56.73 2286.36,-50.64"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="2286.5,-47.14 2276.39,-50.3 2286.26,-54.14 2286.5,-47.14"/>
|
|
<text text-anchor="middle" x="2884.25" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -7137488034415575754->3910948690638727607 -->
|
|
<g id="edge105" class="edge">
|
|
<title>-7137488034415575754->3910948690638727607</title>
|
|
<path fill="none" stroke="#33a02c" d="M1361.52,-184.79C1361.67,-197.07 1364.39,-210.54 1373.75,-218.97 1395.7,-238.72 1875.61,-234.05 1905,-236.97 1920.75,-238.53 1937.25,-240.65 1953.52,-243.04"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1952.82,-246.47 1963.23,-244.5 1953.87,-239.55 1952.82,-246.47"/>
|
|
<text text-anchor="middle" x="1386.88" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -7137488034415575754->3857298191995555154 -->
|
|
<g id="edge107" class="edge">
|
|
<title>-7137488034415575754->3857298191995555154</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1251.47,-175.94C1232.95,-178.92 1213.95,-181.87 1196,-184.47 1131.51,-193.79 1113.03,-184.16 1050.5,-202.47 1025.52,-209.78 999.38,-221.41 977.11,-232.67"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="975.8,-229.41 968.51,-237.1 979.01,-235.63 975.8,-229.41"/>
|
|
<text text-anchor="middle" x="1061.75" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -7137488034415575754->172957247284817402 -->
|
|
<g id="edge106" class="edge">
|
|
<title>-7137488034415575754->172957247284817402</title>
|
|
<path fill="none" stroke="#33a02c" d="M1488.16,-173.81C1517.85,-177.77 1549.52,-181.62 1579,-184.47 1579,-184.47 2858,-184.47 2858,-184.47 2875.15,-182.79 2893.15,-180.48 2910.84,-177.88"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2911.23,-181.36 2920.6,-176.41 2910.19,-174.44 2911.23,-181.36"/>
|
|
<text text-anchor="middle" x="2031" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -7137488034415575754->-7137488034415575754 -->
|
|
<g id="edge104" class="edge">
|
|
<title>-7137488034415575754->-7137488034415575754</title>
|
|
<path fill="none" stroke="#33a02c" d="M1514.72,-164.58C1534.24,-163.01 1547.15,-159.98 1547.15,-155.47 1547.15,-151.92 1539.11,-149.28 1526.13,-147.56"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1526.53,-144.08 1516.22,-146.52 1525.81,-151.04 1526.53,-144.08"/>
|
|
<text text-anchor="middle" x="1560.28" y="-150.42" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -7137488034415575754->8039107430528292023 -->
|
|
<g id="edge108" class="edge">
|
|
<title>-7137488034415575754->8039107430528292023</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1268.35,-132.24C1246.26,-125.77 1223.2,-117.85 1202.5,-108.48 1190.2,-102.92 1189.45,-97.2 1177,-91.98 1153.05,-81.94 1126.57,-73.93 1100.8,-67.61"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1101.82,-64.25 1091.28,-65.34 1100.2,-71.06 1101.82,-64.25"/>
|
|
<text text-anchor="middle" x="1213.75" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -7137488034415575754->2475160756711074454 -->
|
|
<g id="edge103" class="edge">
|
|
<title>-7137488034415575754->2475160756711074454</title>
|
|
<path fill="none" stroke="#1f78b4" d="M1381.51,-126.55C1384.19,-120.76 1386.56,-114.56 1388,-108.48 1389.75,-101.08 1389.75,-93.12 1388.83,-85.45"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1392.28,-84.85 1387.08,-75.62 1385.38,-86.08 1392.28,-84.85"/>
|
|
<text text-anchor="middle" x="1399.19" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 8039107430528292023->-4241173743774891978 -->
|
|
<g id="edge111" class="edge">
|
|
<title>8039107430528292023->-4241173743774891978</title>
|
|
<path fill="none" stroke="#33a02c" d="M809.61,-48.16C554.69,-53.28 82.37,-70.32 31,-126.48 13.61,-145.5 16,-163.51 31,-184.47 119.53,-308.19 205.57,-266.33 355,-294.95 430.61,-309.43 970.06,-326.69 1047,-329.45 1414.85,-342.61 1508.42,-314.14 1875,-347.45 1891.5,-348.95 1908.8,-351.06 1925.83,-353.47"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1925.07,-356.9 1935.47,-354.87 1926.08,-349.97 1925.07,-356.9"/>
|
|
<text text-anchor="middle" x="70.68" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 8039107430528292023->-1079634258640452485 -->
|
|
<g id="edge112" class="edge">
|
|
<title>8039107430528292023->-1079634258640452485</title>
|
|
<path fill="none" stroke="#33a02c" d="M1098.35,-63.29C1134.97,-67.58 1175.01,-71.62 1212,-73.98 1254.61,-76.7 2709.84,-74.98 2749,-91.98 2810.62,-118.74 2779.21,-176.17 2831,-218.97 2840.83,-227.08 2852.07,-233.77 2863.89,-239.28"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="2862.44,-242.47 2873.01,-243.22 2865.22,-236.04 2862.44,-242.47"/>
|
|
<text text-anchor="middle" x="2817.78" y="-150.42" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 8039107430528292023->-4114660946687843117 -->
|
|
<g id="edge113" class="edge">
|
|
<title>8039107430528292023->-4114660946687843117</title>
|
|
<path fill="none" stroke="#b2df8a" d="M823.15,-57.18C734.04,-64.86 618.43,-76.47 516.5,-91.98 450.8,-101.98 377.89,-116.7 319.66,-129.34"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="319.09,-125.88 310.07,-131.43 320.59,-132.72 319.09,-125.88"/>
|
|
<text text-anchor="middle" x="527.75" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 8039107430528292023->-3369923460207131881 -->
|
|
<g id="edge109" class="edge">
|
|
<title>8039107430528292023->-3369923460207131881</title>
|
|
<path fill="none" stroke="#1f78b4" d="M974.67,-74.45C976.27,-86.81 978.16,-101.5 979.89,-114.9"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="976.41,-115.28 981.16,-124.75 983.36,-114.39 976.41,-115.28"/>
|
|
<text text-anchor="middle" x="988.59" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 8039107430528292023->-7137488034415575754 -->
|
|
<g id="edge114" class="edge">
|
|
<title>8039107430528292023->-7137488034415575754</title>
|
|
<path fill="none" stroke="#1f78b4" d="M998.32,-73.96C1012.39,-86.63 1030.55,-100.53 1049.5,-108.48 1109.99,-133.87 1131.07,-117.12 1196,-126.48 1210.57,-128.58 1225.82,-130.92 1240.94,-133.32"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="1240,-136.71 1250.43,-134.83 1241.11,-129.8 1240,-136.71"/>
|
|
<text text-anchor="middle" x="1059.25" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- 8039107430528292023->8039107430528292023 -->
|
|
<g id="edge110" class="edge">
|
|
<title>8039107430528292023->8039107430528292023</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1125.36,-54.04C1144.99,-52.46 1157.93,-49.44 1157.93,-44.99 1157.93,-41.44 1149.71,-38.81 1136.44,-37.08"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1137.17,-33.64 1126.86,-36.1 1136.45,-40.6 1137.17,-33.64"/>
|
|
<text text-anchor="middle" x="1169.18" y="-39.94" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 2475160756711074454->-3369923460207131881 -->
|
|
<g id="edge120" class="edge">
|
|
<title>2475160756711074454->-3369923460207131881</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1342.89,-73.59C1325.62,-86.18 1303.74,-100.11 1282,-108.48 1266.4,-114.49 1192,-126.01 1121.58,-136.01"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1121.23,-132.53 1111.82,-137.39 1122.21,-139.46 1121.23,-132.53"/>
|
|
<text text-anchor="middle" x="1323.96" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 2475160756711074454->-8418101067716748558 -->
|
|
<g id="edge119" class="edge">
|
|
<title>2475160756711074454->-8418101067716748558</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1251.91,-61.98C1217.57,-68.81 1180.89,-78.45 1148.5,-91.98 1136.39,-97.04 1136.44,-104.29 1124,-108.48 1058.83,-130.47 883.48,-120.04 815,-126.48 788.85,-128.94 760.98,-132.14 734.27,-135.49"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="733.89,-132.02 724.41,-136.75 734.77,-138.96 733.89,-132.02"/>
|
|
<text text-anchor="middle" x="1159.75" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 2475160756711074454->-8580062119213253097 -->
|
|
<g id="edge118" class="edge">
|
|
<title>2475160756711074454->-8580062119213253097</title>
|
|
<path fill="none" stroke="#33a02c" d="M1445.22,-71.4C1478.6,-83.4 1519.53,-97.47 1556.75,-108.48 1582.45,-116.09 1610.39,-123.43 1636.65,-129.94"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1635.78,-133.33 1646.33,-132.31 1637.45,-126.53 1635.78,-133.33"/>
|
|
<text text-anchor="middle" x="1569.88" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 2475160756711074454->-7137488034415575754 -->
|
|
<g id="edge117" class="edge">
|
|
<title>2475160756711074454->-7137488034415575754</title>
|
|
<path fill="none" stroke="#b2df8a" d="M1364.42,-74.23C1362.38,-80 1360.58,-86.1 1359.5,-91.98 1358.15,-99.31 1357.92,-107.18 1358.3,-114.79"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="1354.79,-114.85 1359.15,-124.51 1361.76,-114.24 1354.79,-114.85"/>
|
|
<text text-anchor="middle" x="1370.75" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- 2475160756711074454->2475160756711074454 -->
|
|
<g id="edge115" class="edge">
|
|
<title>2475160756711074454->2475160756711074454</title>
|
|
<path fill="none" stroke="#33a02c" d="M1522.54,-54.15C1541.99,-52.6 1554.91,-49.55 1554.91,-44.99 1554.91,-41.39 1546.87,-38.73 1533.92,-37.01"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1534.36,-33.54 1524.05,-35.99 1533.63,-40.5 1534.36,-33.54"/>
|
|
<text text-anchor="middle" x="1568.04" y="-39.94" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- 2475160756711074454->-4842088293674550694 -->
|
|
<g id="edge116" class="edge">
|
|
<title>2475160756711074454->-4842088293674550694</title>
|
|
<path fill="none" stroke="#33a02c" d="M1529.97,-44.99C1654.89,-44.99 1831.1,-44.99 1959.14,-44.99"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1959.08,-48.49 1969.08,-44.99 1959.08,-41.49 1959.08,-48.49"/>
|
|
<text text-anchor="middle" x="1750.5" y="-51.19" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -6119517210167370338->-6975205924971161133 -->
|
|
<g id="edge124" class="edge">
|
|
<title>-6119517210167370338->-6975205924971161133</title>
|
|
<path fill="none" stroke="#33a02c" d="M3185.03,-55.79C3354.69,-68.37 3610.39,-92.68 3640,-126.48 3656.98,-145.87 3655.87,-164.16 3640,-184.47 3514.77,-344.68 3397.04,-264.36 3196,-294.95 2615.11,-383.33 2460.88,-302.88 1875,-347.45 1847.79,-349.52 1818.78,-352.6 1791.07,-355.97"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1790.7,-352.49 1781.2,-357.2 1791.56,-359.44 1790.7,-352.49"/>
|
|
<text text-anchor="middle" x="3635.82" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -6119517210167370338->3857298191995555154 -->
|
|
<g id="edge125" class="edge">
|
|
<title>-6119517210167370338->3857298191995555154</title>
|
|
<path fill="none" stroke="#33a02c" d="M2921.56,-66.23C2890.53,-73.09 2857.13,-81.68 2827,-91.98 2792.95,-103.62 2781.29,-103.32 2753.75,-126.48 2729.64,-146.75 2740.68,-169.44 2713,-184.47 2665.02,-210.51 2276.26,-196.42 2222,-202.47 2182.45,-206.87 2173.59,-214.92 2134,-218.97 1693.99,-263.88 1580.13,-204.88 1139,-236.97 1111.7,-238.95 1082.59,-242.01 1054.8,-245.38"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1054.4,-241.91 1044.9,-246.61 1055.26,-248.85 1054.4,-241.91"/>
|
|
<text text-anchor="middle" x="2766.88" y="-150.42" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -6119517210167370338->6372930380849017887 -->
|
|
<g id="edge126" class="edge">
|
|
<title>-6119517210167370338->6372930380849017887</title>
|
|
<path fill="none" stroke="#b2df8a" d="M3086.97,-72.86C3113.08,-85.2 3145.36,-99.13 3175.5,-108.48 3209.37,-118.99 3246.67,-127.49 3281.71,-134.19"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="3281.04,-137.63 3291.52,-136.03 3282.33,-130.75 3281.04,-137.63"/>
|
|
<text text-anchor="middle" x="3186.75" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -6119517210167370338->1565034336273254974 -->
|
|
<g id="edge121" class="edge">
|
|
<title>-6119517210167370338->1565034336273254974</title>
|
|
<path fill="none" stroke="#1f78b4" d="M2900.72,-61.79C2845.57,-69.35 2781.15,-79.5 2723.5,-91.98 2697.52,-97.61 2691.56,-101.16 2666,-108.48 2644.6,-114.61 2621.6,-121.18 2599.87,-127.39"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="2599.09,-123.98 2590.44,-130.09 2601.02,-130.71 2599.09,-123.98"/>
|
|
<text text-anchor="middle" x="2733.25" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -6119517210167370338->172957247284817402 -->
|
|
<g id="edge123" class="edge">
|
|
<title>-6119517210167370338->172957247284817402</title>
|
|
<path fill="none" stroke="#1f78b4" d="M3015.46,-74.25C3012.58,-79.91 3010.05,-85.97 3008.5,-91.98 3006.47,-99.85 3007.4,-108.04 3009.85,-115.8"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="3006.59,-117.06 3013.6,-125 3013.07,-114.42 3006.59,-117.06"/>
|
|
<text text-anchor="middle" x="3018.25" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- -6119517210167370338->-6119517210167370338 -->
|
|
<g id="edge122" class="edge">
|
|
<title>-6119517210167370338->-6119517210167370338</title>
|
|
<path fill="none" stroke="#fb9a99" d="M3188.36,-54.04C3207.99,-52.46 3220.93,-49.44 3220.93,-44.99 3220.93,-41.44 3212.71,-38.81 3199.44,-37.08"/>
|
|
<polygon fill="#fb9a99" stroke="#fb9a99" points="3200.17,-33.64 3189.86,-36.1 3199.45,-40.6 3200.17,-33.64"/>
|
|
<text text-anchor="middle" x="3235.55" y="-39.94" font-family="Times,serif" font-size="14.00" fill="#000000">Enter</text>
|
|
</g>
|
|
<!-- -4842088293674550694->5741908888902046683 -->
|
|
<g id="edge132" class="edge">
|
|
<title>-4842088293674550694->5741908888902046683</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2124,-74.45C2124,-86.81 2124,-101.5 2124,-114.9"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="2120.5,-114.74 2124,-124.74 2127.5,-114.74 2120.5,-114.74"/>
|
|
<text text-anchor="middle" x="2135.25" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -4842088293674550694->1565034336273254974 -->
|
|
<g id="edge131" class="edge">
|
|
<title>-4842088293674550694->1565034336273254974</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2175.87,-72.7C2201.66,-85.08 2233.63,-99.09 2263.5,-108.48 2285.6,-115.43 2332.37,-124.76 2378.93,-133.19"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="2378.16,-136.61 2388.62,-134.94 2379.4,-129.72 2378.16,-136.61"/>
|
|
<text text-anchor="middle" x="2274.75" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -4842088293674550694->-8580062119213253097 -->
|
|
<g id="edge130" class="edge">
|
|
<title>-4842088293674550694->-8580062119213253097</title>
|
|
<path fill="none" stroke="#33a02c" d="M2001.83,-62.74C1962.05,-69.82 1918.05,-79.4 1878.75,-91.98 1853.62,-100.03 1827.05,-111.63 1804.21,-122.65"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1802.79,-119.45 1795.35,-127 1805.87,-125.73 1802.79,-119.45"/>
|
|
<text text-anchor="middle" x="1891.88" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -4842088293674550694->172957247284817402 -->
|
|
<g id="edge129" class="edge">
|
|
<title>-4842088293674550694->172957247284817402</title>
|
|
<path fill="none" stroke="#b2df8a" d="M2275.98,-48.5C2466.71,-52.78 2782.6,-63.95 2896,-91.98 2923.37,-98.75 2952.01,-110.8 2976.06,-122.53"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="2974.21,-125.52 2984.72,-126.85 2977.33,-119.25 2974.21,-125.52"/>
|
|
<text text-anchor="middle" x="2954.46" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Exit</text>
|
|
</g>
|
|
<!-- -4842088293674550694->2475160756711074454 -->
|
|
<g id="edge128" class="edge">
|
|
<title>-4842088293674550694->2475160756711074454</title>
|
|
<path fill="none" stroke="#33a02c" d="M1984.48,-32.73C1910.99,-27.6 1819.34,-23.28 1737.38,-25.49 1670.31,-27.3 1596.31,-31.01 1532.9,-34.71"/>
|
|
<polygon fill="#33a02c" stroke="#33a02c" points="1532.88,-31.21 1523.1,-35.29 1533.29,-38.19 1532.88,-31.21"/>
|
|
<text text-anchor="middle" x="1750.5" y="-28.69" font-family="Times,serif" font-size="14.00" fill="#000000">Give</text>
|
|
</g>
|
|
<!-- -4842088293674550694->-4842088293674550694 -->
|
|
<g id="edge127" class="edge">
|
|
<title>-4842088293674550694->-4842088293674550694</title>
|
|
<path fill="none" stroke="#1f78b4" d="M2269.54,-54.15C2288.99,-52.6 2301.91,-49.55 2301.91,-44.99 2301.91,-41.39 2293.87,-38.73 2280.92,-37.01"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="2281.36,-33.54 2271.05,-35.99 2280.63,-40.5 2281.36,-33.54"/>
|
|
<text text-anchor="middle" x="2311.66" y="-39.94" font-family="Times,serif" font-size="14.00" fill="#000000">Try</text>
|
|
</g>
|
|
<!-- Give -->
|
|
<g id="node25" class="node">
|
|
<title>Give</title>
|
|
<polygon fill="#33a02c" stroke="black" points="3678,-468.92 3678,-504.92 3732,-504.92 3732,-468.92 3678,-468.92"/>
|
|
<text text-anchor="middle" x="3704.62" y="-481.87" font-family="Times,serif" font-size="14.00">Give</text>
|
|
</g>
|
|
<!-- Enter -->
|
|
<g id="node26" class="node">
|
|
<title>Enter</title>
|
|
<polygon fill="#fb9a99" stroke="black" points="3757,-468.92 3757,-504.92 3811,-504.92 3811,-468.92 3757,-468.92"/>
|
|
<text text-anchor="middle" x="3783.62" y="-481.87" font-family="Times,serif" font-size="14.00">Enter</text>
|
|
</g>
|
|
<!-- Try -->
|
|
<g id="node27" class="node">
|
|
<title>Try</title>
|
|
<polygon fill="#1f78b4" stroke="black" points="3836,-468.92 3836,-504.92 3890,-504.92 3890,-468.92 3836,-468.92"/>
|
|
<text text-anchor="middle" x="3862.75" y="-481.87" font-family="Times,serif" font-size="14.00">Try</text>
|
|
</g>
|
|
<!-- Exit -->
|
|
<g id="node28" class="node">
|
|
<title>Exit</title>
|
|
<polygon fill="#b2df8a" stroke="black" points="3915,-468.92 3915,-504.92 3969,-504.92 3969,-468.92 3915,-468.92"/>
|
|
<text text-anchor="middle" x="3941.75" y="-481.87" font-family="Times,serif" font-size="14.00">Exit</text>
|
|
</g>
|
|
</g>
|
|
</svg>
|
