.. DO NOT EDIT.
.. THIS FILE WAS AUTOMATICALLY GENERATED BY SPHINX-GALLERY.
.. TO MAKE CHANGES, EDIT THE SOURCE PYTHON FILE:
.. "auto_examples/schedule_demo.py"
.. LINE NUMBERS ARE GIVEN BELOW.

.. only:: html

    .. note::
        :class: sphx-glr-download-link-note

        :ref:`Go to the end <sphx_glr_download_auto_examples_schedule_demo.py>`
        to download the full example code.

.. rst-class:: sphx-glr-example-title

.. _sphx_glr_auto_examples_schedule_demo.py:


Schedule demo
=============

.. GENERATED FROM PYTHON SOURCE LINES 5-35





.. raw:: html

    <div class="output_subarea output_html rendered_html output_result">
    <?xml version="1.0" encoding="UTF-8" standalone="no"?>
    <?xml-stylesheet href="/tmp/graphviz-styles.css" type="text/css"?>
    <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
     "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
    <!-- Generated by graphviz version 2.43.0 (0)
     -->
    <!-- Title: %3 Pages: 1 -->
    <svg width="2628pt" height="151pt"
     viewBox="0.00 0.00 2628.00 151.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
    <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 147)">
    <title>%3</title>
    <polygon fill="white" stroke="#000000" points="-4,4 -4,-147 2624,-147 2624,4 -4,4"/>
    <g id="clust1" class="cluster">
    <title>outer_cluster_right&#45;10080759905092916392&#45;value</title>
    </g>
    <g id="clust2" class="cluster">
    <title>cluster_right&#45;10080759905092916392&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M23,-90C23,-90 117,-90 117,-90 123,-90 129,-96 129,-102 129,-102 129,-120 129,-120 129,-126 123,-132 117,-132 117,-132 23,-132 23,-132 17,-132 11,-126 11,-120 11,-120 11,-102 11,-102 11,-96 17,-90 23,-90"/>
    </g>
    <g id="clust4" class="cluster">
    <title>outer_cluster_right&#45;5871781006564002453&#45;value</title>
    </g>
    <g id="clust5" class="cluster">
    <title>cluster_right&#45;5871781006564002453&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M271,-90C271,-90 365,-90 365,-90 371,-90 377,-96 377,-102 377,-102 377,-120 377,-120 377,-126 371,-132 365,-132 365,-132 271,-132 271,-132 265,-132 259,-126 259,-120 259,-120 259,-102 259,-102 259,-96 265,-90 271,-90"/>
    </g>
    <g id="clust7" class="cluster">
    <title>outer_cluster_left&#45;15952540911656918845&#45;value</title>
    </g>
    <g id="clust8" class="cluster">
    <title>cluster_left&#45;15952540911656918845&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M519,-90C519,-90 613,-90 613,-90 619,-90 625,-96 625,-102 625,-102 625,-120 625,-120 625,-126 619,-132 613,-132 613,-132 519,-132 519,-132 513,-132 507,-126 507,-120 507,-120 507,-102 507,-102 507,-96 513,-90 519,-90"/>
    </g>
    <g id="clust10" class="cluster">
    <title>outer_cluster_left&#45;11743562013128004906&#45;value</title>
    </g>
    <g id="clust11" class="cluster">
    <title>cluster_left&#45;11743562013128004906&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M767,-90C767,-90 861,-90 861,-90 867,-90 873,-96 873,-102 873,-102 873,-120 873,-120 873,-126 867,-132 861,-132 861,-132 767,-132 767,-132 761,-132 755,-126 755,-120 755,-120 755,-102 755,-102 755,-96 761,-90 767,-90"/>
    </g>
    <g id="clust13" class="cluster">
    <title>outer_cluster_right&#45;4208978898528913939&#45;value</title>
    </g>
    <g id="clust14" class="cluster">
    <title>cluster_right&#45;4208978898528913939&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M1015,-90C1015,-90 1109,-90 1109,-90 1115,-90 1121,-96 1121,-102 1121,-102 1121,-120 1121,-120 1121,-126 1115,-132 1109,-132 1109,-132 1015,-132 1015,-132 1009,-132 1003,-126 1003,-120 1003,-120 1003,-102 1003,-102 1003,-96 1009,-90 1015,-90"/>
    </g>
    <g id="clust16" class="cluster">
    <title>outer_cluster_left&#45;10912160959110460649&#45;value</title>
    </g>
    <g id="clust17" class="cluster">
    <title>cluster_left&#45;10912160959110460649&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M1263,-90C1263,-90 1357,-90 1357,-90 1363,-90 1369,-96 1369,-102 1369,-102 1369,-120 1369,-120 1369,-126 1363,-132 1357,-132 1357,-132 1263,-132 1263,-132 1257,-132 1251,-126 1251,-120 1251,-120 1251,-102 1251,-102 1251,-96 1257,-90 1263,-90"/>
    </g>
    <g id="clust19" class="cluster">
    <title>outer_cluster_right&#45;11743562013128004906&#45;value</title>
    </g>
    <g id="clust20" class="cluster">
    <title>cluster_right&#45;11743562013128004906&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M891,-90C891,-90 985,-90 985,-90 991,-90 997,-96 997,-102 997,-102 997,-120 997,-120 997,-126 991,-132 985,-132 985,-132 891,-132 891,-132 885,-132 879,-126 879,-120 879,-120 879,-102 879,-102 879,-96 885,-90 891,-90"/>
    </g>
    <g id="clust22" class="cluster">
    <title>outer_cluster_left&#45;5871781006564002453&#45;value</title>
    </g>
    <g id="clust23" class="cluster">
    <title>cluster_left&#45;5871781006564002453&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M395,-90C395,-90 489,-90 489,-90 495,-90 501,-96 501,-102 501,-102 501,-120 501,-120 501,-126 495,-132 489,-132 489,-132 395,-132 395,-132 389,-132 383,-126 383,-120 383,-120 383,-102 383,-102 383,-96 389,-90 395,-90"/>
    </g>
    <g id="clust25" class="cluster">
    <title>outer_cluster_right&#45;17615343019692007359&#45;value</title>
    </g>
    <g id="clust26" class="cluster">
    <title>cluster_right&#45;17615343019692007359&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M1511,-90C1511,-90 1605,-90 1605,-90 1611,-90 1617,-96 1617,-102 1617,-102 1617,-120 1617,-120 1617,-126 1611,-132 1605,-132 1605,-132 1511,-132 1511,-132 1505,-132 1499,-126 1499,-120 1499,-120 1499,-102 1499,-102 1499,-96 1505,-90 1511,-90"/>
    </g>
    <g id="clust28" class="cluster">
    <title>outer_cluster_left&#45;10080759905092916392&#45;value</title>
    </g>
    <g id="clust29" class="cluster">
    <title>cluster_left&#45;10080759905092916392&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M147,-90C147,-90 241,-90 241,-90 247,-90 253,-96 253,-102 253,-102 253,-120 253,-120 253,-126 247,-132 241,-132 241,-132 147,-132 147,-132 141,-132 135,-126 135,-120 135,-120 135,-102 135,-102 135,-96 141,-90 147,-90"/>
    </g>
    <g id="clust31" class="cluster">
    <title>outer_cluster_right&#45;10912160959110460649&#45;value</title>
    </g>
    <g id="clust32" class="cluster">
    <title>cluster_right&#45;10912160959110460649&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M1387,-90C1387,-90 1481,-90 1481,-90 1487,-90 1493,-96 1493,-102 1493,-102 1493,-120 1493,-120 1493,-126 1487,-132 1481,-132 1481,-132 1387,-132 1387,-132 1381,-132 1375,-126 1375,-120 1375,-120 1375,-102 1375,-102 1375,-96 1381,-90 1387,-90"/>
    </g>
    <g id="clust34" class="cluster">
    <title>outer_cluster_left&#45;5040379952546458196&#45;value</title>
    </g>
    <g id="clust35" class="cluster">
    <title>cluster_left&#45;5040379952546458196&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M1759,-90C1759,-90 1853,-90 1853,-90 1859,-90 1865,-96 1865,-102 1865,-102 1865,-120 1865,-120 1865,-126 1859,-132 1853,-132 1853,-132 1759,-132 1759,-132 1753,-132 1747,-126 1747,-120 1747,-120 1747,-102 1747,-102 1747,-96 1753,-90 1759,-90"/>
    </g>
    <g id="clust37" class="cluster">
    <title>outer_cluster_left&#45;3377577844511369682&#45;value</title>
    </g>
    <g id="clust38" class="cluster">
    <title>cluster_left&#45;3377577844511369682&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M2007,-90C2007,-90 2101,-90 2101,-90 2107,-90 2113,-96 2113,-102 2113,-102 2113,-120 2113,-120 2113,-126 2107,-132 2101,-132 2101,-132 2007,-132 2007,-132 2001,-132 1995,-126 1995,-120 1995,-120 1995,-102 1995,-102 1995,-96 2001,-90 2007,-90"/>
    </g>
    <g id="clust40" class="cluster">
    <title>outer_cluster_left&#45;0&#45;value</title>
    </g>
    <g id="clust41" class="cluster">
    <title>cluster_left&#45;0&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M2131,-90C2131,-90 2225,-90 2225,-90 2231,-90 2237,-96 2237,-102 2237,-102 2237,-120 2237,-120 2237,-126 2231,-132 2225,-132 2225,-132 2131,-132 2131,-132 2125,-132 2119,-126 2119,-120 2119,-120 2119,-102 2119,-102 2119,-96 2125,-90 2131,-90"/>
    </g>
    <g id="clust43" class="cluster">
    <title>outer_cluster_right&#45;5040379952546458196&#45;value</title>
    </g>
    <g id="clust44" class="cluster">
    <title>cluster_right&#45;5040379952546458196&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M1883,-90C1883,-90 1977,-90 1977,-90 1983,-90 1989,-96 1989,-102 1989,-102 1989,-120 1989,-120 1989,-126 1983,-132 1977,-132 1977,-132 1883,-132 1883,-132 1877,-132 1871,-126 1871,-120 1871,-120 1871,-102 1871,-102 1871,-96 1877,-90 1883,-90"/>
    </g>
    <g id="clust46" class="cluster">
    <title>outer_cluster_left&#45;16783941965674463102&#45;value</title>
    </g>
    <g id="clust47" class="cluster">
    <title>cluster_left&#45;16783941965674463102&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M2379,-90C2379,-90 2473,-90 2473,-90 2479,-90 2485,-96 2485,-102 2485,-102 2485,-120 2485,-120 2485,-126 2479,-132 2473,-132 2473,-132 2379,-132 2379,-132 2373,-132 2367,-126 2367,-120 2367,-120 2367,-102 2367,-102 2367,-96 2373,-90 2379,-90"/>
    </g>
    <g id="clust49" class="cluster">
    <title>outer_cluster_right&#45;0&#45;value</title>
    </g>
    <g id="clust50" class="cluster">
    <title>cluster_right&#45;0&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M2255,-90C2255,-90 2349,-90 2349,-90 2355,-90 2361,-96 2361,-102 2361,-102 2361,-120 2361,-120 2361,-126 2355,-132 2349,-132 2349,-132 2255,-132 2255,-132 2249,-132 2243,-126 2243,-120 2243,-120 2243,-102 2243,-102 2243,-96 2249,-90 2255,-90"/>
    </g>
    <g id="clust52" class="cluster">
    <title>outer_cluster_right&#45;16783941965674463102&#45;value</title>
    </g>
    <g id="clust53" class="cluster">
    <title>cluster_right&#45;16783941965674463102&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M2503,-90C2503,-90 2597,-90 2597,-90 2603,-90 2609,-96 2609,-102 2609,-102 2609,-120 2609,-120 2609,-126 2603,-132 2597,-132 2597,-132 2503,-132 2503,-132 2497,-132 2491,-126 2491,-120 2491,-120 2491,-102 2491,-102 2491,-96 2497,-90 2503,-90"/>
    </g>
    <g id="clust55" class="cluster">
    <title>outer_cluster_right&#45;15952540911656918845&#45;value</title>
    </g>
    <g id="clust56" class="cluster">
    <title>cluster_right&#45;15952540911656918845&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M643,-90C643,-90 737,-90 737,-90 743,-90 749,-96 749,-102 749,-102 749,-120 749,-120 749,-126 743,-132 737,-132 737,-132 643,-132 643,-132 637,-132 631,-126 631,-120 631,-120 631,-102 631,-102 631,-96 637,-90 643,-90"/>
    </g>
    <g id="clust58" class="cluster">
    <title>outer_cluster_left&#45;17615343019692007359&#45;value</title>
    </g>
    <g id="clust59" class="cluster">
    <title>cluster_left&#45;17615343019692007359&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M1635,-90C1635,-90 1729,-90 1729,-90 1735,-90 1741,-96 1741,-102 1741,-102 1741,-120 1741,-120 1741,-126 1735,-132 1729,-132 1729,-132 1635,-132 1635,-132 1629,-132 1623,-126 1623,-120 1623,-120 1623,-102 1623,-102 1623,-96 1629,-90 1635,-90"/>
    </g>
    <g id="clust61" class="cluster">
    <title>outer_cluster_left&#45;4208978898528913939&#45;value</title>
    </g>
    <g id="clust62" class="cluster">
    <title>cluster_left&#45;4208978898528913939&#45;value</title>
    <path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M1139,-90C1139,-90 1233,-90 1233,-90 1239,-90 1245,-96 1245,-102 1245,-102 1245,-120 1245,-120 1245,-126 1239,-132 1233,-132 1233,-132 1139,-132 1139,-132 1133,-132 1127,-126 1127,-120 1127,-120 1127,-102 1127,-102 1127,-96 1133,-90 1139,-90"/>
    </g>
    <g id="clust64" class="cluster">
    <title>outer_cluster_i64&#45;17615343019692007359</title>
    </g>
    <g id="clust65" class="cluster">
    <title>cluster_i64&#45;17615343019692007359</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M1631,-11C1631,-11 1667,-11 1667,-11 1673,-11 1679,-17 1679,-23 1679,-23 1679,-41 1679,-41 1679,-47 1673,-53 1667,-53 1667,-53 1631,-53 1631,-53 1625,-53 1619,-47 1619,-41 1619,-41 1619,-23 1619,-23 1619,-17 1625,-11 1631,-11"/>
    </g>
    <g id="clust67" class="cluster">
    <title>outer_cluster_i64&#45;3377577844511369682</title>
    </g>
    <g id="clust68" class="cluster">
    <title>cluster_i64&#45;3377577844511369682</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M2065,-11C2065,-11 2101,-11 2101,-11 2107,-11 2113,-17 2113,-23 2113,-23 2113,-41 2113,-41 2113,-47 2107,-53 2101,-53 2101,-53 2065,-53 2065,-53 2059,-53 2053,-47 2053,-41 2053,-41 2053,-23 2053,-23 2053,-17 2059,-11 2065,-11"/>
    </g>
    <g id="clust70" class="cluster">
    <title>outer_cluster_i64&#45;10080759905092916392</title>
    </g>
    <g id="clust71" class="cluster">
    <title>cluster_i64&#45;10080759905092916392</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M143,-11C143,-11 179,-11 179,-11 185,-11 191,-17 191,-23 191,-23 191,-41 191,-41 191,-47 185,-53 179,-53 179,-53 143,-53 143,-53 137,-53 131,-47 131,-41 131,-41 131,-23 131,-23 131,-17 137,-11 143,-11"/>
    </g>
    <g id="clust73" class="cluster">
    <title>outer_cluster_i64&#45;5040379952546458196</title>
    </g>
    <g id="clust74" class="cluster">
    <title>cluster_i64&#45;5040379952546458196</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M1879,-11C1879,-11 1915,-11 1915,-11 1921,-11 1927,-17 1927,-23 1927,-23 1927,-41 1927,-41 1927,-47 1921,-53 1915,-53 1915,-53 1879,-53 1879,-53 1873,-53 1867,-47 1867,-41 1867,-41 1867,-23 1867,-23 1867,-17 1873,-11 1879,-11"/>
    </g>
    <g id="clust76" class="cluster">
    <title>outer_cluster_i64&#45;15952540911656918845</title>
    </g>
    <g id="clust77" class="cluster">
    <title>cluster_i64&#45;15952540911656918845</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M639,-11C639,-11 675,-11 675,-11 681,-11 687,-17 687,-23 687,-23 687,-41 687,-41 687,-47 681,-53 675,-53 675,-53 639,-53 639,-53 633,-53 627,-47 627,-41 627,-41 627,-23 627,-23 627,-17 633,-11 639,-11"/>
    </g>
    <g id="clust79" class="cluster">
    <title>outer_cluster_i64&#45;10912160959110460649</title>
    </g>
    <g id="clust80" class="cluster">
    <title>cluster_i64&#45;10912160959110460649</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M1383,-11C1383,-11 1419,-11 1419,-11 1425,-11 1431,-17 1431,-23 1431,-23 1431,-41 1431,-41 1431,-47 1425,-53 1419,-53 1419,-53 1383,-53 1383,-53 1377,-53 1371,-47 1371,-41 1371,-41 1371,-23 1371,-23 1371,-17 1377,-11 1383,-11"/>
    </g>
    <g id="clust82" class="cluster">
    <title>outer_cluster_i64&#45;16783941965674463102</title>
    </g>
    <g id="clust83" class="cluster">
    <title>cluster_i64&#45;16783941965674463102</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M2499,-11C2499,-11 2535,-11 2535,-11 2541,-11 2547,-17 2547,-23 2547,-23 2547,-41 2547,-41 2547,-47 2541,-53 2535,-53 2535,-53 2499,-53 2499,-53 2493,-53 2487,-47 2487,-41 2487,-41 2487,-23 2487,-23 2487,-17 2493,-11 2499,-11"/>
    </g>
    <g id="clust85" class="cluster">
    <title>outer_cluster_i64&#45;4208978898528913939</title>
    </g>
    <g id="clust86" class="cluster">
    <title>cluster_i64&#45;4208978898528913939</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M1135,-11C1135,-11 1171,-11 1171,-11 1177,-11 1183,-17 1183,-23 1183,-23 1183,-41 1183,-41 1183,-47 1177,-53 1171,-53 1171,-53 1135,-53 1135,-53 1129,-53 1123,-47 1123,-41 1123,-41 1123,-23 1123,-23 1123,-17 1129,-11 1135,-11"/>
    </g>
    <g id="clust88" class="cluster">
    <title>outer_cluster_i64&#45;5871781006564002453</title>
    </g>
    <g id="clust89" class="cluster">
    <title>cluster_i64&#45;5871781006564002453</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M391,-11C391,-11 427,-11 427,-11 433,-11 439,-17 439,-23 439,-23 439,-41 439,-41 439,-47 433,-53 427,-53 427,-53 391,-53 391,-53 385,-53 379,-47 379,-41 379,-41 379,-23 379,-23 379,-17 385,-11 391,-11"/>
    </g>
    <g id="clust91" class="cluster">
    <title>outer_cluster_i64&#45;11743562013128004906</title>
    </g>
    <g id="clust92" class="cluster">
    <title>cluster_i64&#45;11743562013128004906</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M887,-11C887,-11 923,-11 923,-11 929,-11 935,-17 935,-23 935,-23 935,-41 935,-41 935,-47 929,-53 923,-53 923,-53 887,-53 887,-53 881,-53 875,-47 875,-41 875,-41 875,-23 875,-23 875,-17 881,-11 887,-11"/>
    </g>
    <g id="clust94" class="cluster">
    <title>outer_cluster_i64&#45;0</title>
    </g>
    <g id="clust95" class="cluster">
    <title>cluster_i64&#45;0</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M2251,-11C2251,-11 2287,-11 2287,-11 2293,-11 2299,-17 2299,-23 2299,-23 2299,-41 2299,-41 2299,-47 2293,-53 2287,-53 2287,-53 2251,-53 2251,-53 2245,-53 2239,-47 2239,-41 2239,-41 2239,-23 2239,-23 2239,-17 2245,-11 2251,-11"/>
    </g>
    <!-- right&#45;10080759905092916392&#45;&gt;i64&#45;10080759905092916392 -->
    <g id="edge1" class="edge">
    <title>right&#45;10080759905092916392:s&#45;&gt;i64&#45;10080759905092916392</title>
    <path fill="none" stroke="black" d="M99,-95C99,-75.66 114.27,-60.24 129.66,-49.62"/>
    <polygon fill="black" stroke="black" points="129.5,-52.84 131,-47.75 126.66,-50.79 129.5,-52.84"/>
    </g>
    <!-- right&#45;5871781006564002453&#45;&gt;i64&#45;5871781006564002453 -->
    <g id="edge2" class="edge">
    <title>right&#45;5871781006564002453:s&#45;&gt;i64&#45;5871781006564002453</title>
    <path fill="none" stroke="black" d="M347,-95C347,-75.66 362.27,-60.24 377.66,-49.62"/>
    <polygon fill="black" stroke="black" points="377.5,-52.84 379,-47.75 374.66,-50.79 377.5,-52.84"/>
    </g>
    <!-- left&#45;15952540911656918845&#45;&gt;i64&#45;15952540911656918845 -->
    <g id="edge3" class="edge">
    <title>left&#45;15952540911656918845:s&#45;&gt;i64&#45;15952540911656918845</title>
    <path fill="none" stroke="black" d="M595,-95C595,-75.66 610.27,-60.24 625.66,-49.62"/>
    <polygon fill="black" stroke="black" points="625.5,-52.84 627,-47.75 622.66,-50.79 625.5,-52.84"/>
    </g>
    <!-- left&#45;11743562013128004906&#45;&gt;i64&#45;11743562013128004906 -->
    <g id="edge4" class="edge">
    <title>left&#45;11743562013128004906:s&#45;&gt;i64&#45;11743562013128004906</title>
    <path fill="none" stroke="black" d="M843,-95C843,-75.66 858.27,-60.24 873.66,-49.62"/>
    <polygon fill="black" stroke="black" points="873.5,-52.84 875,-47.75 870.66,-50.79 873.5,-52.84"/>
    </g>
    <!-- right&#45;4208978898528913939&#45;&gt;i64&#45;4208978898528913939 -->
    <g id="edge5" class="edge">
    <title>right&#45;4208978898528913939:s&#45;&gt;i64&#45;4208978898528913939</title>
    <path fill="none" stroke="black" d="M1091,-95C1091,-75.66 1106.27,-60.24 1121.66,-49.62"/>
    <polygon fill="black" stroke="black" points="1121.5,-52.84 1123,-47.75 1118.66,-50.79 1121.5,-52.84"/>
    </g>
    <!-- left&#45;10912160959110460649&#45;&gt;i64&#45;10912160959110460649 -->
    <g id="edge6" class="edge">
    <title>left&#45;10912160959110460649:s&#45;&gt;i64&#45;10912160959110460649</title>
    <path fill="none" stroke="black" d="M1339,-95C1339,-75.66 1354.27,-60.24 1369.66,-49.62"/>
    <polygon fill="black" stroke="black" points="1369.5,-52.84 1371,-47.75 1366.66,-50.79 1369.5,-52.84"/>
    </g>
    <!-- right&#45;11743562013128004906&#45;&gt;i64&#45;11743562013128004906 -->
    <g id="edge7" class="edge">
    <title>right&#45;11743562013128004906:s&#45;&gt;i64&#45;11743562013128004906</title>
    <path fill="none" stroke="black" d="M967,-95C967,-75.66 951.73,-60.24 936.34,-49.62"/>
    <polygon fill="black" stroke="black" points="939.34,-50.79 935,-47.75 936.5,-52.84 939.34,-50.79"/>
    </g>
    <!-- left&#45;5871781006564002453&#45;&gt;i64&#45;5871781006564002453 -->
    <g id="edge8" class="edge">
    <title>left&#45;5871781006564002453:s&#45;&gt;i64&#45;5871781006564002453</title>
    <path fill="none" stroke="black" d="M471,-95C471,-75.66 455.73,-60.24 440.34,-49.62"/>
    <polygon fill="black" stroke="black" points="443.34,-50.79 439,-47.75 440.5,-52.84 443.34,-50.79"/>
    </g>
    <!-- right&#45;17615343019692007359&#45;&gt;i64&#45;17615343019692007359 -->
    <g id="edge9" class="edge">
    <title>right&#45;17615343019692007359:s&#45;&gt;i64&#45;17615343019692007359</title>
    <path fill="none" stroke="black" d="M1587,-95C1587,-75.66 1602.27,-60.24 1617.66,-49.62"/>
    <polygon fill="black" stroke="black" points="1617.5,-52.84 1619,-47.75 1614.66,-50.79 1617.5,-52.84"/>
    </g>
    <!-- left&#45;10080759905092916392&#45;&gt;i64&#45;10080759905092916392 -->
    <g id="edge10" class="edge">
    <title>left&#45;10080759905092916392:s&#45;&gt;i64&#45;10080759905092916392</title>
    <path fill="none" stroke="black" d="M223,-95C223,-75.66 207.73,-60.24 192.34,-49.62"/>
    <polygon fill="black" stroke="black" points="195.34,-50.79 191,-47.75 192.5,-52.84 195.34,-50.79"/>
    </g>
    <!-- right&#45;10912160959110460649&#45;&gt;i64&#45;10912160959110460649 -->
    <g id="edge11" class="edge">
    <title>right&#45;10912160959110460649:s&#45;&gt;i64&#45;10912160959110460649</title>
    <path fill="none" stroke="black" d="M1463,-95C1463,-75.66 1447.73,-60.24 1432.34,-49.62"/>
    <polygon fill="black" stroke="black" points="1435.34,-50.79 1431,-47.75 1432.5,-52.84 1435.34,-50.79"/>
    </g>
    <!-- left&#45;5040379952546458196&#45;&gt;i64&#45;5040379952546458196 -->
    <g id="edge12" class="edge">
    <title>left&#45;5040379952546458196:s&#45;&gt;i64&#45;5040379952546458196</title>
    <path fill="none" stroke="black" d="M1835,-95C1835,-75.66 1850.27,-60.24 1865.66,-49.62"/>
    <polygon fill="black" stroke="black" points="1865.5,-52.84 1867,-47.75 1862.66,-50.79 1865.5,-52.84"/>
    </g>
    <!-- left&#45;3377577844511369682&#45;&gt;i64&#45;3377577844511369682 -->
    <g id="edge13" class="edge">
    <title>left&#45;3377577844511369682:s&#45;&gt;i64&#45;3377577844511369682</title>
    <path fill="none" stroke="black" d="M2083,-95C2083,-81.84 2083,-67.11 2083,-55.3"/>
    <polygon fill="black" stroke="black" points="2084.75,-58 2083,-53 2081.25,-58 2084.75,-58"/>
    </g>
    <!-- left&#45;0&#45;&gt;i64&#45;0 -->
    <g id="edge14" class="edge">
    <title>left&#45;0:s&#45;&gt;i64&#45;0</title>
    <path fill="none" stroke="black" d="M2207,-95C2207,-75.66 2222.27,-60.24 2237.66,-49.62"/>
    <polygon fill="black" stroke="black" points="2237.5,-52.84 2239,-47.75 2234.66,-50.79 2237.5,-52.84"/>
    </g>
    <!-- right&#45;5040379952546458196&#45;&gt;i64&#45;5040379952546458196 -->
    <g id="edge15" class="edge">
    <title>right&#45;5040379952546458196:s&#45;&gt;i64&#45;5040379952546458196</title>
    <path fill="none" stroke="black" d="M1959,-95C1959,-75.66 1943.73,-60.24 1928.34,-49.62"/>
    <polygon fill="black" stroke="black" points="1931.34,-50.79 1927,-47.75 1928.5,-52.84 1931.34,-50.79"/>
    </g>
    <!-- left&#45;16783941965674463102&#45;&gt;i64&#45;16783941965674463102 -->
    <g id="edge16" class="edge">
    <title>left&#45;16783941965674463102:s&#45;&gt;i64&#45;16783941965674463102</title>
    <path fill="none" stroke="black" d="M2455,-95C2455,-75.66 2470.27,-60.24 2485.66,-49.62"/>
    <polygon fill="black" stroke="black" points="2485.5,-52.84 2487,-47.75 2482.66,-50.79 2485.5,-52.84"/>
    </g>
    <!-- right&#45;0&#45;&gt;i64&#45;0 -->
    <g id="edge17" class="edge">
    <title>right&#45;0:s&#45;&gt;i64&#45;0</title>
    <path fill="none" stroke="black" d="M2331,-95C2331,-75.66 2315.73,-60.24 2300.34,-49.62"/>
    <polygon fill="black" stroke="black" points="2303.34,-50.79 2299,-47.75 2300.5,-52.84 2303.34,-50.79"/>
    </g>
    <!-- right&#45;16783941965674463102&#45;&gt;i64&#45;16783941965674463102 -->
    <g id="edge18" class="edge">
    <title>right&#45;16783941965674463102:s&#45;&gt;i64&#45;16783941965674463102</title>
    <path fill="none" stroke="black" d="M2579,-95C2579,-75.66 2563.73,-60.24 2548.34,-49.62"/>
    <polygon fill="black" stroke="black" points="2551.34,-50.79 2547,-47.75 2548.5,-52.84 2551.34,-50.79"/>
    </g>
    <!-- right&#45;15952540911656918845&#45;&gt;i64&#45;15952540911656918845 -->
    <g id="edge19" class="edge">
    <title>right&#45;15952540911656918845:s&#45;&gt;i64&#45;15952540911656918845</title>
    <path fill="none" stroke="black" d="M719,-95C719,-75.66 703.73,-60.24 688.34,-49.62"/>
    <polygon fill="black" stroke="black" points="691.34,-50.79 687,-47.75 688.5,-52.84 691.34,-50.79"/>
    </g>
    <!-- left&#45;17615343019692007359&#45;&gt;i64&#45;17615343019692007359 -->
    <g id="edge20" class="edge">
    <title>left&#45;17615343019692007359:s&#45;&gt;i64&#45;17615343019692007359</title>
    <path fill="none" stroke="black" d="M1711,-95C1711,-75.66 1695.73,-60.24 1680.34,-49.62"/>
    <polygon fill="black" stroke="black" points="1683.34,-50.79 1679,-47.75 1680.5,-52.84 1683.34,-50.79"/>
    </g>
    <!-- left&#45;4208978898528913939&#45;&gt;i64&#45;4208978898528913939 -->
    <g id="edge21" class="edge">
    <title>left&#45;4208978898528913939:s&#45;&gt;i64&#45;4208978898528913939</title>
    <path fill="none" stroke="black" d="M1215,-95C1215,-75.66 1199.73,-60.24 1184.34,-49.62"/>
    <polygon fill="black" stroke="black" points="1187.34,-50.79 1183,-47.75 1184.5,-52.84 1187.34,-50.79"/>
    </g>
    <!-- right&#45;10080759905092916392 -->
    <g id="node1" class="node">
    <title>right&#45;10080759905092916392</title>
    <g id="a_node1"><a xlink:title="right&#45;10080759905092916392&#45;value: right&#45;10080759905092916392">
    <path fill="white" stroke="transparent" d="M87.67,-95C87.67,-95 110.33,-95 110.33,-95 115.67,-95 121,-100.33 121,-105.67 121,-105.67 121,-116.33 121,-116.33 121,-121.67 115.67,-127 110.33,-127 110.33,-127 87.67,-127 87.67,-127 82.33,-127 77,-121.67 77,-116.33 77,-116.33 77,-105.67 77,-105.67 77,-100.33 82.33,-95 87.67,-95"/>
    <text text-anchor="start" x="82" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M87.67,-95C87.67,-95 110.33,-95 110.33,-95 115.67,-95 121,-100.33 121,-105.67 121,-105.67 121,-116.33 121,-116.33 121,-121.67 115.67,-127 110.33,-127 110.33,-127 87.67,-127 87.67,-127 82.33,-127 77,-121.67 77,-116.33 77,-116.33 77,-105.67 77,-105.67 77,-100.33 82.33,-95 87.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;10080759905092916392 -->
    <g id="node2" class="node">
    <title>i64&#45;10080759905092916392</title>
    <g id="a_node2"><a xlink:title="i64&#45;10080759905092916392: i64&#45;10080759905092916392">
    <path fill="white" stroke="transparent" d="M155.67,-16C155.67,-16 166.33,-16 166.33,-16 171.67,-16 177,-21.33 177,-26.67 177,-26.67 177,-37.33 177,-37.33 177,-42.67 171.67,-48 166.33,-48 166.33,-48 155.67,-48 155.67,-48 150.33,-48 145,-42.67 145,-37.33 145,-37.33 145,-26.67 145,-26.67 145,-21.33 150.33,-16 155.67,-16"/>
    <text text-anchor="start" x="156" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">8</text>
    <path fill="none" stroke="black" d="M155.67,-16C155.67,-16 166.33,-16 166.33,-16 171.67,-16 177,-21.33 177,-26.67 177,-26.67 177,-37.33 177,-37.33 177,-42.67 171.67,-48 166.33,-48 166.33,-48 155.67,-48 155.67,-48 150.33,-48 145,-42.67 145,-37.33 145,-37.33 145,-26.67 145,-26.67 145,-21.33 150.33,-16 155.67,-16"/>
    </a>
    </g>
    </g>
    <!-- right&#45;10080759905092916392&#45;value -->
    <g id="node3" class="node">
    <title>right&#45;10080759905092916392&#45;value</title>
    <g id="a_node3"><a xlink:title="right&#45;10080759905092916392&#45;value: right&#45;10080759905092916392&#45;value">
    <path fill="white" stroke="transparent" d="M35.67,-95C35.67,-95 46.33,-95 46.33,-95 51.67,-95 57,-100.33 57,-105.67 57,-105.67 57,-116.33 57,-116.33 57,-121.67 51.67,-127 46.33,-127 46.33,-127 35.67,-127 35.67,-127 30.33,-127 25,-121.67 25,-116.33 25,-116.33 25,-105.67 25,-105.67 25,-100.33 30.33,-95 35.67,-95"/>
    <text text-anchor="start" x="35.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M35.67,-95C35.67,-95 46.33,-95 46.33,-95 51.67,-95 57,-100.33 57,-105.67 57,-105.67 57,-116.33 57,-116.33 57,-121.67 51.67,-127 46.33,-127 46.33,-127 35.67,-127 35.67,-127 30.33,-127 25,-121.67 25,-116.33 25,-116.33 25,-105.67 25,-105.67 25,-100.33 30.33,-95 35.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;5871781006564002453 -->
    <g id="node4" class="node">
    <title>right&#45;5871781006564002453</title>
    <g id="a_node4"><a xlink:title="right&#45;5871781006564002453&#45;value: right&#45;5871781006564002453">
    <path fill="white" stroke="transparent" d="M335.67,-95C335.67,-95 358.33,-95 358.33,-95 363.67,-95 369,-100.33 369,-105.67 369,-105.67 369,-116.33 369,-116.33 369,-121.67 363.67,-127 358.33,-127 358.33,-127 335.67,-127 335.67,-127 330.33,-127 325,-121.67 325,-116.33 325,-116.33 325,-105.67 325,-105.67 325,-100.33 330.33,-95 335.67,-95"/>
    <text text-anchor="start" x="330" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M335.67,-95C335.67,-95 358.33,-95 358.33,-95 363.67,-95 369,-100.33 369,-105.67 369,-105.67 369,-116.33 369,-116.33 369,-121.67 363.67,-127 358.33,-127 358.33,-127 335.67,-127 335.67,-127 330.33,-127 325,-121.67 325,-116.33 325,-116.33 325,-105.67 325,-105.67 325,-100.33 330.33,-95 335.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;5871781006564002453 -->
    <g id="node5" class="node">
    <title>i64&#45;5871781006564002453</title>
    <g id="a_node5"><a xlink:title="i64&#45;5871781006564002453: i64&#45;5871781006564002453">
    <path fill="white" stroke="transparent" d="M403.67,-16C403.67,-16 414.33,-16 414.33,-16 419.67,-16 425,-21.33 425,-26.67 425,-26.67 425,-37.33 425,-37.33 425,-42.67 419.67,-48 414.33,-48 414.33,-48 403.67,-48 403.67,-48 398.33,-48 393,-42.67 393,-37.33 393,-37.33 393,-26.67 393,-26.67 393,-21.33 398.33,-16 403.67,-16"/>
    <text text-anchor="start" x="404" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">1</text>
    <path fill="none" stroke="black" d="M403.67,-16C403.67,-16 414.33,-16 414.33,-16 419.67,-16 425,-21.33 425,-26.67 425,-26.67 425,-37.33 425,-37.33 425,-42.67 419.67,-48 414.33,-48 414.33,-48 403.67,-48 403.67,-48 398.33,-48 393,-42.67 393,-37.33 393,-37.33 393,-26.67 393,-26.67 393,-21.33 398.33,-16 403.67,-16"/>
    </a>
    </g>
    </g>
    <!-- right&#45;5871781006564002453&#45;value -->
    <g id="node6" class="node">
    <title>right&#45;5871781006564002453&#45;value</title>
    <g id="a_node6"><a xlink:title="right&#45;5871781006564002453&#45;value: right&#45;5871781006564002453&#45;value">
    <path fill="white" stroke="transparent" d="M283.67,-95C283.67,-95 294.33,-95 294.33,-95 299.67,-95 305,-100.33 305,-105.67 305,-105.67 305,-116.33 305,-116.33 305,-121.67 299.67,-127 294.33,-127 294.33,-127 283.67,-127 283.67,-127 278.33,-127 273,-121.67 273,-116.33 273,-116.33 273,-105.67 273,-105.67 273,-100.33 278.33,-95 283.67,-95"/>
    <text text-anchor="start" x="283.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M283.67,-95C283.67,-95 294.33,-95 294.33,-95 299.67,-95 305,-100.33 305,-105.67 305,-105.67 305,-116.33 305,-116.33 305,-121.67 299.67,-127 294.33,-127 294.33,-127 283.67,-127 283.67,-127 278.33,-127 273,-121.67 273,-116.33 273,-116.33 273,-105.67 273,-105.67 273,-100.33 278.33,-95 283.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;15952540911656918845 -->
    <g id="node7" class="node">
    <title>left&#45;15952540911656918845</title>
    <g id="a_node7"><a xlink:title="left&#45;15952540911656918845&#45;value: left&#45;15952540911656918845">
    <path fill="white" stroke="transparent" d="M589.67,-95C589.67,-95 600.33,-95 600.33,-95 605.67,-95 611,-100.33 611,-105.67 611,-105.67 611,-116.33 611,-116.33 611,-121.67 605.67,-127 600.33,-127 600.33,-127 589.67,-127 589.67,-127 584.33,-127 579,-121.67 579,-116.33 579,-116.33 579,-105.67 579,-105.67 579,-100.33 584.33,-95 589.67,-95"/>
    <text text-anchor="start" x="584" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M589.67,-95C589.67,-95 600.33,-95 600.33,-95 605.67,-95 611,-100.33 611,-105.67 611,-105.67 611,-116.33 611,-116.33 611,-121.67 605.67,-127 600.33,-127 600.33,-127 589.67,-127 589.67,-127 584.33,-127 579,-121.67 579,-116.33 579,-116.33 579,-105.67 579,-105.67 579,-100.33 584.33,-95 589.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;15952540911656918845 -->
    <g id="node8" class="node">
    <title>i64&#45;15952540911656918845</title>
    <g id="a_node8"><a xlink:title="i64&#45;15952540911656918845: i64&#45;15952540911656918845">
    <path fill="white" stroke="transparent" d="M651.67,-16C651.67,-16 662.33,-16 662.33,-16 667.67,-16 673,-21.33 673,-26.67 673,-26.67 673,-37.33 673,-37.33 673,-42.67 667.67,-48 662.33,-48 662.33,-48 651.67,-48 651.67,-48 646.33,-48 641,-42.67 641,-37.33 641,-37.33 641,-26.67 641,-26.67 641,-21.33 646.33,-16 651.67,-16"/>
    <text text-anchor="start" x="652" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">9</text>
    <path fill="none" stroke="black" d="M651.67,-16C651.67,-16 662.33,-16 662.33,-16 667.67,-16 673,-21.33 673,-26.67 673,-26.67 673,-37.33 673,-37.33 673,-42.67 667.67,-48 662.33,-48 662.33,-48 651.67,-48 651.67,-48 646.33,-48 641,-42.67 641,-37.33 641,-37.33 641,-26.67 641,-26.67 641,-21.33 646.33,-16 651.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;15952540911656918845&#45;value -->
    <g id="node9" class="node">
    <title>left&#45;15952540911656918845&#45;value</title>
    <g id="a_node9"><a xlink:title="left&#45;15952540911656918845&#45;value: left&#45;15952540911656918845&#45;value">
    <path fill="white" stroke="transparent" d="M531.67,-95C531.67,-95 542.33,-95 542.33,-95 547.67,-95 553,-100.33 553,-105.67 553,-105.67 553,-116.33 553,-116.33 553,-121.67 547.67,-127 542.33,-127 542.33,-127 531.67,-127 531.67,-127 526.33,-127 521,-121.67 521,-116.33 521,-116.33 521,-105.67 521,-105.67 521,-100.33 526.33,-95 531.67,-95"/>
    <text text-anchor="start" x="531.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M531.67,-95C531.67,-95 542.33,-95 542.33,-95 547.67,-95 553,-100.33 553,-105.67 553,-105.67 553,-116.33 553,-116.33 553,-121.67 547.67,-127 542.33,-127 542.33,-127 531.67,-127 531.67,-127 526.33,-127 521,-121.67 521,-116.33 521,-116.33 521,-105.67 521,-105.67 521,-100.33 526.33,-95 531.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;11743562013128004906 -->
    <g id="node10" class="node">
    <title>left&#45;11743562013128004906</title>
    <g id="a_node10"><a xlink:title="left&#45;11743562013128004906&#45;value: left&#45;11743562013128004906">
    <path fill="white" stroke="transparent" d="M837.67,-95C837.67,-95 848.33,-95 848.33,-95 853.67,-95 859,-100.33 859,-105.67 859,-105.67 859,-116.33 859,-116.33 859,-121.67 853.67,-127 848.33,-127 848.33,-127 837.67,-127 837.67,-127 832.33,-127 827,-121.67 827,-116.33 827,-116.33 827,-105.67 827,-105.67 827,-100.33 832.33,-95 837.67,-95"/>
    <text text-anchor="start" x="832" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M837.67,-95C837.67,-95 848.33,-95 848.33,-95 853.67,-95 859,-100.33 859,-105.67 859,-105.67 859,-116.33 859,-116.33 859,-121.67 853.67,-127 848.33,-127 848.33,-127 837.67,-127 837.67,-127 832.33,-127 827,-121.67 827,-116.33 827,-116.33 827,-105.67 827,-105.67 827,-100.33 832.33,-95 837.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;11743562013128004906 -->
    <g id="node11" class="node">
    <title>i64&#45;11743562013128004906</title>
    <g id="a_node11"><a xlink:title="i64&#45;11743562013128004906: i64&#45;11743562013128004906">
    <path fill="white" stroke="transparent" d="M899.67,-16C899.67,-16 910.33,-16 910.33,-16 915.67,-16 921,-21.33 921,-26.67 921,-26.67 921,-37.33 921,-37.33 921,-42.67 915.67,-48 910.33,-48 910.33,-48 899.67,-48 899.67,-48 894.33,-48 889,-42.67 889,-37.33 889,-37.33 889,-26.67 889,-26.67 889,-21.33 894.33,-16 899.67,-16"/>
    <text text-anchor="start" x="900" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">2</text>
    <path fill="none" stroke="black" d="M899.67,-16C899.67,-16 910.33,-16 910.33,-16 915.67,-16 921,-21.33 921,-26.67 921,-26.67 921,-37.33 921,-37.33 921,-42.67 915.67,-48 910.33,-48 910.33,-48 899.67,-48 899.67,-48 894.33,-48 889,-42.67 889,-37.33 889,-37.33 889,-26.67 889,-26.67 889,-21.33 894.33,-16 899.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;11743562013128004906&#45;value -->
    <g id="node12" class="node">
    <title>left&#45;11743562013128004906&#45;value</title>
    <g id="a_node12"><a xlink:title="left&#45;11743562013128004906&#45;value: left&#45;11743562013128004906&#45;value">
    <path fill="white" stroke="transparent" d="M779.67,-95C779.67,-95 790.33,-95 790.33,-95 795.67,-95 801,-100.33 801,-105.67 801,-105.67 801,-116.33 801,-116.33 801,-121.67 795.67,-127 790.33,-127 790.33,-127 779.67,-127 779.67,-127 774.33,-127 769,-121.67 769,-116.33 769,-116.33 769,-105.67 769,-105.67 769,-100.33 774.33,-95 779.67,-95"/>
    <text text-anchor="start" x="779.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M779.67,-95C779.67,-95 790.33,-95 790.33,-95 795.67,-95 801,-100.33 801,-105.67 801,-105.67 801,-116.33 801,-116.33 801,-121.67 795.67,-127 790.33,-127 790.33,-127 779.67,-127 779.67,-127 774.33,-127 769,-121.67 769,-116.33 769,-116.33 769,-105.67 769,-105.67 769,-100.33 774.33,-95 779.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;4208978898528913939 -->
    <g id="node13" class="node">
    <title>right&#45;4208978898528913939</title>
    <g id="a_node13"><a xlink:title="right&#45;4208978898528913939&#45;value: right&#45;4208978898528913939">
    <path fill="white" stroke="transparent" d="M1079.67,-95C1079.67,-95 1102.33,-95 1102.33,-95 1107.67,-95 1113,-100.33 1113,-105.67 1113,-105.67 1113,-116.33 1113,-116.33 1113,-121.67 1107.67,-127 1102.33,-127 1102.33,-127 1079.67,-127 1079.67,-127 1074.33,-127 1069,-121.67 1069,-116.33 1069,-116.33 1069,-105.67 1069,-105.67 1069,-100.33 1074.33,-95 1079.67,-95"/>
    <text text-anchor="start" x="1074" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M1079.67,-95C1079.67,-95 1102.33,-95 1102.33,-95 1107.67,-95 1113,-100.33 1113,-105.67 1113,-105.67 1113,-116.33 1113,-116.33 1113,-121.67 1107.67,-127 1102.33,-127 1102.33,-127 1079.67,-127 1079.67,-127 1074.33,-127 1069,-121.67 1069,-116.33 1069,-116.33 1069,-105.67 1069,-105.67 1069,-100.33 1074.33,-95 1079.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;4208978898528913939 -->
    <g id="node14" class="node">
    <title>i64&#45;4208978898528913939</title>
    <g id="a_node14"><a xlink:title="i64&#45;4208978898528913939: i64&#45;4208978898528913939">
    <path fill="white" stroke="transparent" d="M1147.67,-16C1147.67,-16 1158.33,-16 1158.33,-16 1163.67,-16 1169,-21.33 1169,-26.67 1169,-26.67 1169,-37.33 1169,-37.33 1169,-42.67 1163.67,-48 1158.33,-48 1158.33,-48 1147.67,-48 1147.67,-48 1142.33,-48 1137,-42.67 1137,-37.33 1137,-37.33 1137,-26.67 1137,-26.67 1137,-21.33 1142.33,-16 1147.67,-16"/>
    <text text-anchor="start" x="1148" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">7</text>
    <path fill="none" stroke="black" d="M1147.67,-16C1147.67,-16 1158.33,-16 1158.33,-16 1163.67,-16 1169,-21.33 1169,-26.67 1169,-26.67 1169,-37.33 1169,-37.33 1169,-42.67 1163.67,-48 1158.33,-48 1158.33,-48 1147.67,-48 1147.67,-48 1142.33,-48 1137,-42.67 1137,-37.33 1137,-37.33 1137,-26.67 1137,-26.67 1137,-21.33 1142.33,-16 1147.67,-16"/>
    </a>
    </g>
    </g>
    <!-- right&#45;4208978898528913939&#45;value -->
    <g id="node15" class="node">
    <title>right&#45;4208978898528913939&#45;value</title>
    <g id="a_node15"><a xlink:title="right&#45;4208978898528913939&#45;value: right&#45;4208978898528913939&#45;value">
    <path fill="white" stroke="transparent" d="M1027.67,-95C1027.67,-95 1038.33,-95 1038.33,-95 1043.67,-95 1049,-100.33 1049,-105.67 1049,-105.67 1049,-116.33 1049,-116.33 1049,-121.67 1043.67,-127 1038.33,-127 1038.33,-127 1027.67,-127 1027.67,-127 1022.33,-127 1017,-121.67 1017,-116.33 1017,-116.33 1017,-105.67 1017,-105.67 1017,-100.33 1022.33,-95 1027.67,-95"/>
    <text text-anchor="start" x="1027.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M1027.67,-95C1027.67,-95 1038.33,-95 1038.33,-95 1043.67,-95 1049,-100.33 1049,-105.67 1049,-105.67 1049,-116.33 1049,-116.33 1049,-121.67 1043.67,-127 1038.33,-127 1038.33,-127 1027.67,-127 1027.67,-127 1022.33,-127 1017,-121.67 1017,-116.33 1017,-116.33 1017,-105.67 1017,-105.67 1017,-100.33 1022.33,-95 1027.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;10912160959110460649 -->
    <g id="node16" class="node">
    <title>left&#45;10912160959110460649</title>
    <g id="a_node16"><a xlink:title="left&#45;10912160959110460649&#45;value: left&#45;10912160959110460649">
    <path fill="white" stroke="transparent" d="M1333.67,-95C1333.67,-95 1344.33,-95 1344.33,-95 1349.67,-95 1355,-100.33 1355,-105.67 1355,-105.67 1355,-116.33 1355,-116.33 1355,-121.67 1349.67,-127 1344.33,-127 1344.33,-127 1333.67,-127 1333.67,-127 1328.33,-127 1323,-121.67 1323,-116.33 1323,-116.33 1323,-105.67 1323,-105.67 1323,-100.33 1328.33,-95 1333.67,-95"/>
    <text text-anchor="start" x="1328" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M1333.67,-95C1333.67,-95 1344.33,-95 1344.33,-95 1349.67,-95 1355,-100.33 1355,-105.67 1355,-105.67 1355,-116.33 1355,-116.33 1355,-121.67 1349.67,-127 1344.33,-127 1344.33,-127 1333.67,-127 1333.67,-127 1328.33,-127 1323,-121.67 1323,-116.33 1323,-116.33 1323,-105.67 1323,-105.67 1323,-100.33 1328.33,-95 1333.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;10912160959110460649 -->
    <g id="node17" class="node">
    <title>i64&#45;10912160959110460649</title>
    <g id="a_node17"><a xlink:title="i64&#45;10912160959110460649: i64&#45;10912160959110460649">
    <path fill="white" stroke="transparent" d="M1395.67,-16C1395.67,-16 1406.33,-16 1406.33,-16 1411.67,-16 1417,-21.33 1417,-26.67 1417,-26.67 1417,-37.33 1417,-37.33 1417,-42.67 1411.67,-48 1406.33,-48 1406.33,-48 1395.67,-48 1395.67,-48 1390.33,-48 1385,-42.67 1385,-37.33 1385,-37.33 1385,-26.67 1385,-26.67 1385,-21.33 1390.33,-16 1395.67,-16"/>
    <text text-anchor="start" x="1396" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">5</text>
    <path fill="none" stroke="black" d="M1395.67,-16C1395.67,-16 1406.33,-16 1406.33,-16 1411.67,-16 1417,-21.33 1417,-26.67 1417,-26.67 1417,-37.33 1417,-37.33 1417,-42.67 1411.67,-48 1406.33,-48 1406.33,-48 1395.67,-48 1395.67,-48 1390.33,-48 1385,-42.67 1385,-37.33 1385,-37.33 1385,-26.67 1385,-26.67 1385,-21.33 1390.33,-16 1395.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;10912160959110460649&#45;value -->
    <g id="node18" class="node">
    <title>left&#45;10912160959110460649&#45;value</title>
    <g id="a_node18"><a xlink:title="left&#45;10912160959110460649&#45;value: left&#45;10912160959110460649&#45;value">
    <path fill="white" stroke="transparent" d="M1275.67,-95C1275.67,-95 1286.33,-95 1286.33,-95 1291.67,-95 1297,-100.33 1297,-105.67 1297,-105.67 1297,-116.33 1297,-116.33 1297,-121.67 1291.67,-127 1286.33,-127 1286.33,-127 1275.67,-127 1275.67,-127 1270.33,-127 1265,-121.67 1265,-116.33 1265,-116.33 1265,-105.67 1265,-105.67 1265,-100.33 1270.33,-95 1275.67,-95"/>
    <text text-anchor="start" x="1275.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M1275.67,-95C1275.67,-95 1286.33,-95 1286.33,-95 1291.67,-95 1297,-100.33 1297,-105.67 1297,-105.67 1297,-116.33 1297,-116.33 1297,-121.67 1291.67,-127 1286.33,-127 1286.33,-127 1275.67,-127 1275.67,-127 1270.33,-127 1265,-121.67 1265,-116.33 1265,-116.33 1265,-105.67 1265,-105.67 1265,-100.33 1270.33,-95 1275.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;11743562013128004906 -->
    <g id="node19" class="node">
    <title>right&#45;11743562013128004906</title>
    <g id="a_node19"><a xlink:title="right&#45;11743562013128004906&#45;value: right&#45;11743562013128004906">
    <path fill="white" stroke="transparent" d="M955.67,-95C955.67,-95 978.33,-95 978.33,-95 983.67,-95 989,-100.33 989,-105.67 989,-105.67 989,-116.33 989,-116.33 989,-121.67 983.67,-127 978.33,-127 978.33,-127 955.67,-127 955.67,-127 950.33,-127 945,-121.67 945,-116.33 945,-116.33 945,-105.67 945,-105.67 945,-100.33 950.33,-95 955.67,-95"/>
    <text text-anchor="start" x="950" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M955.67,-95C955.67,-95 978.33,-95 978.33,-95 983.67,-95 989,-100.33 989,-105.67 989,-105.67 989,-116.33 989,-116.33 989,-121.67 983.67,-127 978.33,-127 978.33,-127 955.67,-127 955.67,-127 950.33,-127 945,-121.67 945,-116.33 945,-116.33 945,-105.67 945,-105.67 945,-100.33 950.33,-95 955.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;11743562013128004906&#45;value -->
    <g id="node20" class="node">
    <title>right&#45;11743562013128004906&#45;value</title>
    <g id="a_node20"><a xlink:title="right&#45;11743562013128004906&#45;value: right&#45;11743562013128004906&#45;value">
    <path fill="white" stroke="transparent" d="M903.67,-95C903.67,-95 914.33,-95 914.33,-95 919.67,-95 925,-100.33 925,-105.67 925,-105.67 925,-116.33 925,-116.33 925,-121.67 919.67,-127 914.33,-127 914.33,-127 903.67,-127 903.67,-127 898.33,-127 893,-121.67 893,-116.33 893,-116.33 893,-105.67 893,-105.67 893,-100.33 898.33,-95 903.67,-95"/>
    <text text-anchor="start" x="903.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M903.67,-95C903.67,-95 914.33,-95 914.33,-95 919.67,-95 925,-100.33 925,-105.67 925,-105.67 925,-116.33 925,-116.33 925,-121.67 919.67,-127 914.33,-127 914.33,-127 903.67,-127 903.67,-127 898.33,-127 893,-121.67 893,-116.33 893,-116.33 893,-105.67 893,-105.67 893,-100.33 898.33,-95 903.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;5871781006564002453 -->
    <g id="node21" class="node">
    <title>left&#45;5871781006564002453</title>
    <g id="a_node21"><a xlink:title="left&#45;5871781006564002453&#45;value: left&#45;5871781006564002453">
    <path fill="white" stroke="transparent" d="M465.67,-95C465.67,-95 476.33,-95 476.33,-95 481.67,-95 487,-100.33 487,-105.67 487,-105.67 487,-116.33 487,-116.33 487,-121.67 481.67,-127 476.33,-127 476.33,-127 465.67,-127 465.67,-127 460.33,-127 455,-121.67 455,-116.33 455,-116.33 455,-105.67 455,-105.67 455,-100.33 460.33,-95 465.67,-95"/>
    <text text-anchor="start" x="460" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M465.67,-95C465.67,-95 476.33,-95 476.33,-95 481.67,-95 487,-100.33 487,-105.67 487,-105.67 487,-116.33 487,-116.33 487,-121.67 481.67,-127 476.33,-127 476.33,-127 465.67,-127 465.67,-127 460.33,-127 455,-121.67 455,-116.33 455,-116.33 455,-105.67 455,-105.67 455,-100.33 460.33,-95 465.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;5871781006564002453&#45;value -->
    <g id="node22" class="node">
    <title>left&#45;5871781006564002453&#45;value</title>
    <g id="a_node22"><a xlink:title="left&#45;5871781006564002453&#45;value: left&#45;5871781006564002453&#45;value">
    <path fill="white" stroke="transparent" d="M407.67,-95C407.67,-95 418.33,-95 418.33,-95 423.67,-95 429,-100.33 429,-105.67 429,-105.67 429,-116.33 429,-116.33 429,-121.67 423.67,-127 418.33,-127 418.33,-127 407.67,-127 407.67,-127 402.33,-127 397,-121.67 397,-116.33 397,-116.33 397,-105.67 397,-105.67 397,-100.33 402.33,-95 407.67,-95"/>
    <text text-anchor="start" x="407.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M407.67,-95C407.67,-95 418.33,-95 418.33,-95 423.67,-95 429,-100.33 429,-105.67 429,-105.67 429,-116.33 429,-116.33 429,-121.67 423.67,-127 418.33,-127 418.33,-127 407.67,-127 407.67,-127 402.33,-127 397,-121.67 397,-116.33 397,-116.33 397,-105.67 397,-105.67 397,-100.33 402.33,-95 407.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;17615343019692007359 -->
    <g id="node23" class="node">
    <title>right&#45;17615343019692007359</title>
    <g id="a_node23"><a xlink:title="right&#45;17615343019692007359&#45;value: right&#45;17615343019692007359">
    <path fill="white" stroke="transparent" d="M1575.67,-95C1575.67,-95 1598.33,-95 1598.33,-95 1603.67,-95 1609,-100.33 1609,-105.67 1609,-105.67 1609,-116.33 1609,-116.33 1609,-121.67 1603.67,-127 1598.33,-127 1598.33,-127 1575.67,-127 1575.67,-127 1570.33,-127 1565,-121.67 1565,-116.33 1565,-116.33 1565,-105.67 1565,-105.67 1565,-100.33 1570.33,-95 1575.67,-95"/>
    <text text-anchor="start" x="1570" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M1575.67,-95C1575.67,-95 1598.33,-95 1598.33,-95 1603.67,-95 1609,-100.33 1609,-105.67 1609,-105.67 1609,-116.33 1609,-116.33 1609,-121.67 1603.67,-127 1598.33,-127 1598.33,-127 1575.67,-127 1575.67,-127 1570.33,-127 1565,-121.67 1565,-116.33 1565,-116.33 1565,-105.67 1565,-105.67 1565,-100.33 1570.33,-95 1575.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;17615343019692007359 -->
    <g id="node24" class="node">
    <title>i64&#45;17615343019692007359</title>
    <g id="a_node24"><a xlink:title="i64&#45;17615343019692007359: i64&#45;17615343019692007359">
    <path fill="white" stroke="transparent" d="M1643.67,-16C1643.67,-16 1654.33,-16 1654.33,-16 1659.67,-16 1665,-21.33 1665,-26.67 1665,-26.67 1665,-37.33 1665,-37.33 1665,-42.67 1659.67,-48 1654.33,-48 1654.33,-48 1643.67,-48 1643.67,-48 1638.33,-48 1633,-42.67 1633,-37.33 1633,-37.33 1633,-26.67 1633,-26.67 1633,-21.33 1638.33,-16 1643.67,-16"/>
    <text text-anchor="start" x="1644" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">3</text>
    <path fill="none" stroke="black" d="M1643.67,-16C1643.67,-16 1654.33,-16 1654.33,-16 1659.67,-16 1665,-21.33 1665,-26.67 1665,-26.67 1665,-37.33 1665,-37.33 1665,-42.67 1659.67,-48 1654.33,-48 1654.33,-48 1643.67,-48 1643.67,-48 1638.33,-48 1633,-42.67 1633,-37.33 1633,-37.33 1633,-26.67 1633,-26.67 1633,-21.33 1638.33,-16 1643.67,-16"/>
    </a>
    </g>
    </g>
    <!-- right&#45;17615343019692007359&#45;value -->
    <g id="node25" class="node">
    <title>right&#45;17615343019692007359&#45;value</title>
    <g id="a_node25"><a xlink:title="right&#45;17615343019692007359&#45;value: right&#45;17615343019692007359&#45;value">
    <path fill="white" stroke="transparent" d="M1523.67,-95C1523.67,-95 1534.33,-95 1534.33,-95 1539.67,-95 1545,-100.33 1545,-105.67 1545,-105.67 1545,-116.33 1545,-116.33 1545,-121.67 1539.67,-127 1534.33,-127 1534.33,-127 1523.67,-127 1523.67,-127 1518.33,-127 1513,-121.67 1513,-116.33 1513,-116.33 1513,-105.67 1513,-105.67 1513,-100.33 1518.33,-95 1523.67,-95"/>
    <text text-anchor="start" x="1523.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M1523.67,-95C1523.67,-95 1534.33,-95 1534.33,-95 1539.67,-95 1545,-100.33 1545,-105.67 1545,-105.67 1545,-116.33 1545,-116.33 1545,-121.67 1539.67,-127 1534.33,-127 1534.33,-127 1523.67,-127 1523.67,-127 1518.33,-127 1513,-121.67 1513,-116.33 1513,-116.33 1513,-105.67 1513,-105.67 1513,-100.33 1518.33,-95 1523.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;10080759905092916392 -->
    <g id="node26" class="node">
    <title>left&#45;10080759905092916392</title>
    <g id="a_node26"><a xlink:title="left&#45;10080759905092916392&#45;value: left&#45;10080759905092916392">
    <path fill="white" stroke="transparent" d="M217.67,-95C217.67,-95 228.33,-95 228.33,-95 233.67,-95 239,-100.33 239,-105.67 239,-105.67 239,-116.33 239,-116.33 239,-121.67 233.67,-127 228.33,-127 228.33,-127 217.67,-127 217.67,-127 212.33,-127 207,-121.67 207,-116.33 207,-116.33 207,-105.67 207,-105.67 207,-100.33 212.33,-95 217.67,-95"/>
    <text text-anchor="start" x="212" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M217.67,-95C217.67,-95 228.33,-95 228.33,-95 233.67,-95 239,-100.33 239,-105.67 239,-105.67 239,-116.33 239,-116.33 239,-121.67 233.67,-127 228.33,-127 228.33,-127 217.67,-127 217.67,-127 212.33,-127 207,-121.67 207,-116.33 207,-116.33 207,-105.67 207,-105.67 207,-100.33 212.33,-95 217.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;10080759905092916392&#45;value -->
    <g id="node27" class="node">
    <title>left&#45;10080759905092916392&#45;value</title>
    <g id="a_node27"><a xlink:title="left&#45;10080759905092916392&#45;value: left&#45;10080759905092916392&#45;value">
    <path fill="white" stroke="transparent" d="M159.67,-95C159.67,-95 170.33,-95 170.33,-95 175.67,-95 181,-100.33 181,-105.67 181,-105.67 181,-116.33 181,-116.33 181,-121.67 175.67,-127 170.33,-127 170.33,-127 159.67,-127 159.67,-127 154.33,-127 149,-121.67 149,-116.33 149,-116.33 149,-105.67 149,-105.67 149,-100.33 154.33,-95 159.67,-95"/>
    <text text-anchor="start" x="159.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M159.67,-95C159.67,-95 170.33,-95 170.33,-95 175.67,-95 181,-100.33 181,-105.67 181,-105.67 181,-116.33 181,-116.33 181,-121.67 175.67,-127 170.33,-127 170.33,-127 159.67,-127 159.67,-127 154.33,-127 149,-121.67 149,-116.33 149,-116.33 149,-105.67 149,-105.67 149,-100.33 154.33,-95 159.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;10912160959110460649 -->
    <g id="node28" class="node">
    <title>right&#45;10912160959110460649</title>
    <g id="a_node28"><a xlink:title="right&#45;10912160959110460649&#45;value: right&#45;10912160959110460649">
    <path fill="white" stroke="transparent" d="M1451.67,-95C1451.67,-95 1474.33,-95 1474.33,-95 1479.67,-95 1485,-100.33 1485,-105.67 1485,-105.67 1485,-116.33 1485,-116.33 1485,-121.67 1479.67,-127 1474.33,-127 1474.33,-127 1451.67,-127 1451.67,-127 1446.33,-127 1441,-121.67 1441,-116.33 1441,-116.33 1441,-105.67 1441,-105.67 1441,-100.33 1446.33,-95 1451.67,-95"/>
    <text text-anchor="start" x="1446" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M1451.67,-95C1451.67,-95 1474.33,-95 1474.33,-95 1479.67,-95 1485,-100.33 1485,-105.67 1485,-105.67 1485,-116.33 1485,-116.33 1485,-121.67 1479.67,-127 1474.33,-127 1474.33,-127 1451.67,-127 1451.67,-127 1446.33,-127 1441,-121.67 1441,-116.33 1441,-116.33 1441,-105.67 1441,-105.67 1441,-100.33 1446.33,-95 1451.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;10912160959110460649&#45;value -->
    <g id="node29" class="node">
    <title>right&#45;10912160959110460649&#45;value</title>
    <g id="a_node29"><a xlink:title="right&#45;10912160959110460649&#45;value: right&#45;10912160959110460649&#45;value">
    <path fill="white" stroke="transparent" d="M1399.67,-95C1399.67,-95 1410.33,-95 1410.33,-95 1415.67,-95 1421,-100.33 1421,-105.67 1421,-105.67 1421,-116.33 1421,-116.33 1421,-121.67 1415.67,-127 1410.33,-127 1410.33,-127 1399.67,-127 1399.67,-127 1394.33,-127 1389,-121.67 1389,-116.33 1389,-116.33 1389,-105.67 1389,-105.67 1389,-100.33 1394.33,-95 1399.67,-95"/>
    <text text-anchor="start" x="1399.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M1399.67,-95C1399.67,-95 1410.33,-95 1410.33,-95 1415.67,-95 1421,-100.33 1421,-105.67 1421,-105.67 1421,-116.33 1421,-116.33 1421,-121.67 1415.67,-127 1410.33,-127 1410.33,-127 1399.67,-127 1399.67,-127 1394.33,-127 1389,-121.67 1389,-116.33 1389,-116.33 1389,-105.67 1389,-105.67 1389,-100.33 1394.33,-95 1399.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;5040379952546458196 -->
    <g id="node30" class="node">
    <title>left&#45;5040379952546458196</title>
    <g id="a_node30"><a xlink:title="left&#45;5040379952546458196&#45;value: left&#45;5040379952546458196">
    <path fill="white" stroke="transparent" d="M1829.67,-95C1829.67,-95 1840.33,-95 1840.33,-95 1845.67,-95 1851,-100.33 1851,-105.67 1851,-105.67 1851,-116.33 1851,-116.33 1851,-121.67 1845.67,-127 1840.33,-127 1840.33,-127 1829.67,-127 1829.67,-127 1824.33,-127 1819,-121.67 1819,-116.33 1819,-116.33 1819,-105.67 1819,-105.67 1819,-100.33 1824.33,-95 1829.67,-95"/>
    <text text-anchor="start" x="1824" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M1829.67,-95C1829.67,-95 1840.33,-95 1840.33,-95 1845.67,-95 1851,-100.33 1851,-105.67 1851,-105.67 1851,-116.33 1851,-116.33 1851,-121.67 1845.67,-127 1840.33,-127 1840.33,-127 1829.67,-127 1829.67,-127 1824.33,-127 1819,-121.67 1819,-116.33 1819,-116.33 1819,-105.67 1819,-105.67 1819,-100.33 1824.33,-95 1829.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;5040379952546458196 -->
    <g id="node31" class="node">
    <title>i64&#45;5040379952546458196</title>
    <g id="a_node31"><a xlink:title="i64&#45;5040379952546458196: i64&#45;5040379952546458196">
    <path fill="white" stroke="transparent" d="M1891.67,-16C1891.67,-16 1902.33,-16 1902.33,-16 1907.67,-16 1913,-21.33 1913,-26.67 1913,-26.67 1913,-37.33 1913,-37.33 1913,-42.67 1907.67,-48 1902.33,-48 1902.33,-48 1891.67,-48 1891.67,-48 1886.33,-48 1881,-42.67 1881,-37.33 1881,-37.33 1881,-26.67 1881,-26.67 1881,-21.33 1886.33,-16 1891.67,-16"/>
    <text text-anchor="start" x="1892" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">4</text>
    <path fill="none" stroke="black" d="M1891.67,-16C1891.67,-16 1902.33,-16 1902.33,-16 1907.67,-16 1913,-21.33 1913,-26.67 1913,-26.67 1913,-37.33 1913,-37.33 1913,-42.67 1907.67,-48 1902.33,-48 1902.33,-48 1891.67,-48 1891.67,-48 1886.33,-48 1881,-42.67 1881,-37.33 1881,-37.33 1881,-26.67 1881,-26.67 1881,-21.33 1886.33,-16 1891.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;5040379952546458196&#45;value -->
    <g id="node32" class="node">
    <title>left&#45;5040379952546458196&#45;value</title>
    <g id="a_node32"><a xlink:title="left&#45;5040379952546458196&#45;value: left&#45;5040379952546458196&#45;value">
    <path fill="white" stroke="transparent" d="M1771.67,-95C1771.67,-95 1782.33,-95 1782.33,-95 1787.67,-95 1793,-100.33 1793,-105.67 1793,-105.67 1793,-116.33 1793,-116.33 1793,-121.67 1787.67,-127 1782.33,-127 1782.33,-127 1771.67,-127 1771.67,-127 1766.33,-127 1761,-121.67 1761,-116.33 1761,-116.33 1761,-105.67 1761,-105.67 1761,-100.33 1766.33,-95 1771.67,-95"/>
    <text text-anchor="start" x="1771.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M1771.67,-95C1771.67,-95 1782.33,-95 1782.33,-95 1787.67,-95 1793,-100.33 1793,-105.67 1793,-105.67 1793,-116.33 1793,-116.33 1793,-121.67 1787.67,-127 1782.33,-127 1782.33,-127 1771.67,-127 1771.67,-127 1766.33,-127 1761,-121.67 1761,-116.33 1761,-116.33 1761,-105.67 1761,-105.67 1761,-100.33 1766.33,-95 1771.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;3377577844511369682 -->
    <g id="node33" class="node">
    <title>left&#45;3377577844511369682</title>
    <g id="a_node33"><a xlink:title="left&#45;3377577844511369682&#45;value: left&#45;3377577844511369682">
    <path fill="white" stroke="transparent" d="M2077.67,-95C2077.67,-95 2088.33,-95 2088.33,-95 2093.67,-95 2099,-100.33 2099,-105.67 2099,-105.67 2099,-116.33 2099,-116.33 2099,-121.67 2093.67,-127 2088.33,-127 2088.33,-127 2077.67,-127 2077.67,-127 2072.33,-127 2067,-121.67 2067,-116.33 2067,-116.33 2067,-105.67 2067,-105.67 2067,-100.33 2072.33,-95 2077.67,-95"/>
    <text text-anchor="start" x="2072" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M2077.67,-95C2077.67,-95 2088.33,-95 2088.33,-95 2093.67,-95 2099,-100.33 2099,-105.67 2099,-105.67 2099,-116.33 2099,-116.33 2099,-121.67 2093.67,-127 2088.33,-127 2088.33,-127 2077.67,-127 2077.67,-127 2072.33,-127 2067,-121.67 2067,-116.33 2067,-116.33 2067,-105.67 2067,-105.67 2067,-100.33 2072.33,-95 2077.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;3377577844511369682 -->
    <g id="node34" class="node">
    <title>i64&#45;3377577844511369682</title>
    <g id="a_node34"><a xlink:title="i64&#45;3377577844511369682: i64&#45;3377577844511369682">
    <path fill="white" stroke="transparent" d="M2077.67,-16C2077.67,-16 2088.33,-16 2088.33,-16 2093.67,-16 2099,-21.33 2099,-26.67 2099,-26.67 2099,-37.33 2099,-37.33 2099,-42.67 2093.67,-48 2088.33,-48 2088.33,-48 2077.67,-48 2077.67,-48 2072.33,-48 2067,-42.67 2067,-37.33 2067,-37.33 2067,-26.67 2067,-26.67 2067,-21.33 2072.33,-16 2077.67,-16"/>
    <text text-anchor="start" x="2073.5" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">10</text>
    <path fill="none" stroke="black" d="M2077.67,-16C2077.67,-16 2088.33,-16 2088.33,-16 2093.67,-16 2099,-21.33 2099,-26.67 2099,-26.67 2099,-37.33 2099,-37.33 2099,-42.67 2093.67,-48 2088.33,-48 2088.33,-48 2077.67,-48 2077.67,-48 2072.33,-48 2067,-42.67 2067,-37.33 2067,-37.33 2067,-26.67 2067,-26.67 2067,-21.33 2072.33,-16 2077.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;3377577844511369682&#45;value -->
    <g id="node35" class="node">
    <title>left&#45;3377577844511369682&#45;value</title>
    <g id="a_node35"><a xlink:title="left&#45;3377577844511369682&#45;value: left&#45;3377577844511369682&#45;value">
    <path fill="white" stroke="transparent" d="M2019.67,-95C2019.67,-95 2030.33,-95 2030.33,-95 2035.67,-95 2041,-100.33 2041,-105.67 2041,-105.67 2041,-116.33 2041,-116.33 2041,-121.67 2035.67,-127 2030.33,-127 2030.33,-127 2019.67,-127 2019.67,-127 2014.33,-127 2009,-121.67 2009,-116.33 2009,-116.33 2009,-105.67 2009,-105.67 2009,-100.33 2014.33,-95 2019.67,-95"/>
    <text text-anchor="start" x="2019.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M2019.67,-95C2019.67,-95 2030.33,-95 2030.33,-95 2035.67,-95 2041,-100.33 2041,-105.67 2041,-105.67 2041,-116.33 2041,-116.33 2041,-121.67 2035.67,-127 2030.33,-127 2030.33,-127 2019.67,-127 2019.67,-127 2014.33,-127 2009,-121.67 2009,-116.33 2009,-116.33 2009,-105.67 2009,-105.67 2009,-100.33 2014.33,-95 2019.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;0 -->
    <g id="node36" class="node">
    <title>left&#45;0</title>
    <g id="a_node36"><a xlink:title="left&#45;0&#45;value: left&#45;0">
    <path fill="white" stroke="transparent" d="M2201.67,-95C2201.67,-95 2212.33,-95 2212.33,-95 2217.67,-95 2223,-100.33 2223,-105.67 2223,-105.67 2223,-116.33 2223,-116.33 2223,-121.67 2217.67,-127 2212.33,-127 2212.33,-127 2201.67,-127 2201.67,-127 2196.33,-127 2191,-121.67 2191,-116.33 2191,-116.33 2191,-105.67 2191,-105.67 2191,-100.33 2196.33,-95 2201.67,-95"/>
    <text text-anchor="start" x="2196" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M2201.67,-95C2201.67,-95 2212.33,-95 2212.33,-95 2217.67,-95 2223,-100.33 2223,-105.67 2223,-105.67 2223,-116.33 2223,-116.33 2223,-121.67 2217.67,-127 2212.33,-127 2212.33,-127 2201.67,-127 2201.67,-127 2196.33,-127 2191,-121.67 2191,-116.33 2191,-116.33 2191,-105.67 2191,-105.67 2191,-100.33 2196.33,-95 2201.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;0 -->
    <g id="node37" class="node">
    <title>i64&#45;0</title>
    <g id="a_node37"><a xlink:title="i64&#45;0: i64&#45;0">
    <path fill="white" stroke="transparent" d="M2263.67,-16C2263.67,-16 2274.33,-16 2274.33,-16 2279.67,-16 2285,-21.33 2285,-26.67 2285,-26.67 2285,-37.33 2285,-37.33 2285,-42.67 2279.67,-48 2274.33,-48 2274.33,-48 2263.67,-48 2263.67,-48 2258.33,-48 2253,-42.67 2253,-37.33 2253,-37.33 2253,-26.67 2253,-26.67 2253,-21.33 2258.33,-16 2263.67,-16"/>
    <text text-anchor="start" x="2264" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">0</text>
    <path fill="none" stroke="black" d="M2263.67,-16C2263.67,-16 2274.33,-16 2274.33,-16 2279.67,-16 2285,-21.33 2285,-26.67 2285,-26.67 2285,-37.33 2285,-37.33 2285,-42.67 2279.67,-48 2274.33,-48 2274.33,-48 2263.67,-48 2263.67,-48 2258.33,-48 2253,-42.67 2253,-37.33 2253,-37.33 2253,-26.67 2253,-26.67 2253,-21.33 2258.33,-16 2263.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;0&#45;value -->
    <g id="node38" class="node">
    <title>left&#45;0&#45;value</title>
    <g id="a_node38"><a xlink:title="left&#45;0&#45;value: left&#45;0&#45;value">
    <path fill="white" stroke="transparent" d="M2143.67,-95C2143.67,-95 2154.33,-95 2154.33,-95 2159.67,-95 2165,-100.33 2165,-105.67 2165,-105.67 2165,-116.33 2165,-116.33 2165,-121.67 2159.67,-127 2154.33,-127 2154.33,-127 2143.67,-127 2143.67,-127 2138.33,-127 2133,-121.67 2133,-116.33 2133,-116.33 2133,-105.67 2133,-105.67 2133,-100.33 2138.33,-95 2143.67,-95"/>
    <text text-anchor="start" x="2143.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M2143.67,-95C2143.67,-95 2154.33,-95 2154.33,-95 2159.67,-95 2165,-100.33 2165,-105.67 2165,-105.67 2165,-116.33 2165,-116.33 2165,-121.67 2159.67,-127 2154.33,-127 2154.33,-127 2143.67,-127 2143.67,-127 2138.33,-127 2133,-121.67 2133,-116.33 2133,-116.33 2133,-105.67 2133,-105.67 2133,-100.33 2138.33,-95 2143.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;5040379952546458196 -->
    <g id="node39" class="node">
    <title>right&#45;5040379952546458196</title>
    <g id="a_node39"><a xlink:title="right&#45;5040379952546458196&#45;value: right&#45;5040379952546458196">
    <path fill="white" stroke="transparent" d="M1947.67,-95C1947.67,-95 1970.33,-95 1970.33,-95 1975.67,-95 1981,-100.33 1981,-105.67 1981,-105.67 1981,-116.33 1981,-116.33 1981,-121.67 1975.67,-127 1970.33,-127 1970.33,-127 1947.67,-127 1947.67,-127 1942.33,-127 1937,-121.67 1937,-116.33 1937,-116.33 1937,-105.67 1937,-105.67 1937,-100.33 1942.33,-95 1947.67,-95"/>
    <text text-anchor="start" x="1942" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M1947.67,-95C1947.67,-95 1970.33,-95 1970.33,-95 1975.67,-95 1981,-100.33 1981,-105.67 1981,-105.67 1981,-116.33 1981,-116.33 1981,-121.67 1975.67,-127 1970.33,-127 1970.33,-127 1947.67,-127 1947.67,-127 1942.33,-127 1937,-121.67 1937,-116.33 1937,-116.33 1937,-105.67 1937,-105.67 1937,-100.33 1942.33,-95 1947.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;5040379952546458196&#45;value -->
    <g id="node40" class="node">
    <title>right&#45;5040379952546458196&#45;value</title>
    <g id="a_node40"><a xlink:title="right&#45;5040379952546458196&#45;value: right&#45;5040379952546458196&#45;value">
    <path fill="white" stroke="transparent" d="M1895.67,-95C1895.67,-95 1906.33,-95 1906.33,-95 1911.67,-95 1917,-100.33 1917,-105.67 1917,-105.67 1917,-116.33 1917,-116.33 1917,-121.67 1911.67,-127 1906.33,-127 1906.33,-127 1895.67,-127 1895.67,-127 1890.33,-127 1885,-121.67 1885,-116.33 1885,-116.33 1885,-105.67 1885,-105.67 1885,-100.33 1890.33,-95 1895.67,-95"/>
    <text text-anchor="start" x="1895.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M1895.67,-95C1895.67,-95 1906.33,-95 1906.33,-95 1911.67,-95 1917,-100.33 1917,-105.67 1917,-105.67 1917,-116.33 1917,-116.33 1917,-121.67 1911.67,-127 1906.33,-127 1906.33,-127 1895.67,-127 1895.67,-127 1890.33,-127 1885,-121.67 1885,-116.33 1885,-116.33 1885,-105.67 1885,-105.67 1885,-100.33 1890.33,-95 1895.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;16783941965674463102 -->
    <g id="node41" class="node">
    <title>left&#45;16783941965674463102</title>
    <g id="a_node41"><a xlink:title="left&#45;16783941965674463102&#45;value: left&#45;16783941965674463102">
    <path fill="white" stroke="transparent" d="M2449.67,-95C2449.67,-95 2460.33,-95 2460.33,-95 2465.67,-95 2471,-100.33 2471,-105.67 2471,-105.67 2471,-116.33 2471,-116.33 2471,-121.67 2465.67,-127 2460.33,-127 2460.33,-127 2449.67,-127 2449.67,-127 2444.33,-127 2439,-121.67 2439,-116.33 2439,-116.33 2439,-105.67 2439,-105.67 2439,-100.33 2444.33,-95 2449.67,-95"/>
    <text text-anchor="start" x="2444" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M2449.67,-95C2449.67,-95 2460.33,-95 2460.33,-95 2465.67,-95 2471,-100.33 2471,-105.67 2471,-105.67 2471,-116.33 2471,-116.33 2471,-121.67 2465.67,-127 2460.33,-127 2460.33,-127 2449.67,-127 2449.67,-127 2444.33,-127 2439,-121.67 2439,-116.33 2439,-116.33 2439,-105.67 2439,-105.67 2439,-100.33 2444.33,-95 2449.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;16783941965674463102 -->
    <g id="node42" class="node">
    <title>i64&#45;16783941965674463102</title>
    <g id="a_node42"><a xlink:title="i64&#45;16783941965674463102: i64&#45;16783941965674463102">
    <path fill="white" stroke="transparent" d="M2511.67,-16C2511.67,-16 2522.33,-16 2522.33,-16 2527.67,-16 2533,-21.33 2533,-26.67 2533,-26.67 2533,-37.33 2533,-37.33 2533,-42.67 2527.67,-48 2522.33,-48 2522.33,-48 2511.67,-48 2511.67,-48 2506.33,-48 2501,-42.67 2501,-37.33 2501,-37.33 2501,-26.67 2501,-26.67 2501,-21.33 2506.33,-16 2511.67,-16"/>
    <text text-anchor="start" x="2512" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">6</text>
    <path fill="none" stroke="black" d="M2511.67,-16C2511.67,-16 2522.33,-16 2522.33,-16 2527.67,-16 2533,-21.33 2533,-26.67 2533,-26.67 2533,-37.33 2533,-37.33 2533,-42.67 2527.67,-48 2522.33,-48 2522.33,-48 2511.67,-48 2511.67,-48 2506.33,-48 2501,-42.67 2501,-37.33 2501,-37.33 2501,-26.67 2501,-26.67 2501,-21.33 2506.33,-16 2511.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;16783941965674463102&#45;value -->
    <g id="node43" class="node">
    <title>left&#45;16783941965674463102&#45;value</title>
    <g id="a_node43"><a xlink:title="left&#45;16783941965674463102&#45;value: left&#45;16783941965674463102&#45;value">
    <path fill="white" stroke="transparent" d="M2391.67,-95C2391.67,-95 2402.33,-95 2402.33,-95 2407.67,-95 2413,-100.33 2413,-105.67 2413,-105.67 2413,-116.33 2413,-116.33 2413,-121.67 2407.67,-127 2402.33,-127 2402.33,-127 2391.67,-127 2391.67,-127 2386.33,-127 2381,-121.67 2381,-116.33 2381,-116.33 2381,-105.67 2381,-105.67 2381,-100.33 2386.33,-95 2391.67,-95"/>
    <text text-anchor="start" x="2391.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M2391.67,-95C2391.67,-95 2402.33,-95 2402.33,-95 2407.67,-95 2413,-100.33 2413,-105.67 2413,-105.67 2413,-116.33 2413,-116.33 2413,-121.67 2407.67,-127 2402.33,-127 2402.33,-127 2391.67,-127 2391.67,-127 2386.33,-127 2381,-121.67 2381,-116.33 2381,-116.33 2381,-105.67 2381,-105.67 2381,-100.33 2386.33,-95 2391.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;0 -->
    <g id="node44" class="node">
    <title>right&#45;0</title>
    <g id="a_node44"><a xlink:title="right&#45;0&#45;value: right&#45;0">
    <path fill="white" stroke="transparent" d="M2319.67,-95C2319.67,-95 2342.33,-95 2342.33,-95 2347.67,-95 2353,-100.33 2353,-105.67 2353,-105.67 2353,-116.33 2353,-116.33 2353,-121.67 2347.67,-127 2342.33,-127 2342.33,-127 2319.67,-127 2319.67,-127 2314.33,-127 2309,-121.67 2309,-116.33 2309,-116.33 2309,-105.67 2309,-105.67 2309,-100.33 2314.33,-95 2319.67,-95"/>
    <text text-anchor="start" x="2314" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M2319.67,-95C2319.67,-95 2342.33,-95 2342.33,-95 2347.67,-95 2353,-100.33 2353,-105.67 2353,-105.67 2353,-116.33 2353,-116.33 2353,-121.67 2347.67,-127 2342.33,-127 2342.33,-127 2319.67,-127 2319.67,-127 2314.33,-127 2309,-121.67 2309,-116.33 2309,-116.33 2309,-105.67 2309,-105.67 2309,-100.33 2314.33,-95 2319.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;0&#45;value -->
    <g id="node45" class="node">
    <title>right&#45;0&#45;value</title>
    <g id="a_node45"><a xlink:title="right&#45;0&#45;value: right&#45;0&#45;value">
    <path fill="white" stroke="transparent" d="M2267.67,-95C2267.67,-95 2278.33,-95 2278.33,-95 2283.67,-95 2289,-100.33 2289,-105.67 2289,-105.67 2289,-116.33 2289,-116.33 2289,-121.67 2283.67,-127 2278.33,-127 2278.33,-127 2267.67,-127 2267.67,-127 2262.33,-127 2257,-121.67 2257,-116.33 2257,-116.33 2257,-105.67 2257,-105.67 2257,-100.33 2262.33,-95 2267.67,-95"/>
    <text text-anchor="start" x="2267.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M2267.67,-95C2267.67,-95 2278.33,-95 2278.33,-95 2283.67,-95 2289,-100.33 2289,-105.67 2289,-105.67 2289,-116.33 2289,-116.33 2289,-121.67 2283.67,-127 2278.33,-127 2278.33,-127 2267.67,-127 2267.67,-127 2262.33,-127 2257,-121.67 2257,-116.33 2257,-116.33 2257,-105.67 2257,-105.67 2257,-100.33 2262.33,-95 2267.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;16783941965674463102 -->
    <g id="node46" class="node">
    <title>right&#45;16783941965674463102</title>
    <g id="a_node46"><a xlink:title="right&#45;16783941965674463102&#45;value: right&#45;16783941965674463102">
    <path fill="white" stroke="transparent" d="M2567.67,-95C2567.67,-95 2590.33,-95 2590.33,-95 2595.67,-95 2601,-100.33 2601,-105.67 2601,-105.67 2601,-116.33 2601,-116.33 2601,-121.67 2595.67,-127 2590.33,-127 2590.33,-127 2567.67,-127 2567.67,-127 2562.33,-127 2557,-121.67 2557,-116.33 2557,-116.33 2557,-105.67 2557,-105.67 2557,-100.33 2562.33,-95 2567.67,-95"/>
    <text text-anchor="start" x="2562" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M2567.67,-95C2567.67,-95 2590.33,-95 2590.33,-95 2595.67,-95 2601,-100.33 2601,-105.67 2601,-105.67 2601,-116.33 2601,-116.33 2601,-121.67 2595.67,-127 2590.33,-127 2590.33,-127 2567.67,-127 2567.67,-127 2562.33,-127 2557,-121.67 2557,-116.33 2557,-116.33 2557,-105.67 2557,-105.67 2557,-100.33 2562.33,-95 2567.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;16783941965674463102&#45;value -->
    <g id="node47" class="node">
    <title>right&#45;16783941965674463102&#45;value</title>
    <g id="a_node47"><a xlink:title="right&#45;16783941965674463102&#45;value: right&#45;16783941965674463102&#45;value">
    <path fill="white" stroke="transparent" d="M2515.67,-95C2515.67,-95 2526.33,-95 2526.33,-95 2531.67,-95 2537,-100.33 2537,-105.67 2537,-105.67 2537,-116.33 2537,-116.33 2537,-121.67 2531.67,-127 2526.33,-127 2526.33,-127 2515.67,-127 2515.67,-127 2510.33,-127 2505,-121.67 2505,-116.33 2505,-116.33 2505,-105.67 2505,-105.67 2505,-100.33 2510.33,-95 2515.67,-95"/>
    <text text-anchor="start" x="2515.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M2515.67,-95C2515.67,-95 2526.33,-95 2526.33,-95 2531.67,-95 2537,-100.33 2537,-105.67 2537,-105.67 2537,-116.33 2537,-116.33 2537,-121.67 2531.67,-127 2526.33,-127 2526.33,-127 2515.67,-127 2515.67,-127 2510.33,-127 2505,-121.67 2505,-116.33 2505,-116.33 2505,-105.67 2505,-105.67 2505,-100.33 2510.33,-95 2515.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;15952540911656918845 -->
    <g id="node48" class="node">
    <title>right&#45;15952540911656918845</title>
    <g id="a_node48"><a xlink:title="right&#45;15952540911656918845&#45;value: right&#45;15952540911656918845">
    <path fill="white" stroke="transparent" d="M707.67,-95C707.67,-95 730.33,-95 730.33,-95 735.67,-95 741,-100.33 741,-105.67 741,-105.67 741,-116.33 741,-116.33 741,-121.67 735.67,-127 730.33,-127 730.33,-127 707.67,-127 707.67,-127 702.33,-127 697,-121.67 697,-116.33 697,-116.33 697,-105.67 697,-105.67 697,-100.33 702.33,-95 707.67,-95"/>
    <text text-anchor="start" x="702" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M707.67,-95C707.67,-95 730.33,-95 730.33,-95 735.67,-95 741,-100.33 741,-105.67 741,-105.67 741,-116.33 741,-116.33 741,-121.67 735.67,-127 730.33,-127 730.33,-127 707.67,-127 707.67,-127 702.33,-127 697,-121.67 697,-116.33 697,-116.33 697,-105.67 697,-105.67 697,-100.33 702.33,-95 707.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;15952540911656918845&#45;value -->
    <g id="node49" class="node">
    <title>right&#45;15952540911656918845&#45;value</title>
    <g id="a_node49"><a xlink:title="right&#45;15952540911656918845&#45;value: right&#45;15952540911656918845&#45;value">
    <path fill="white" stroke="transparent" d="M655.67,-95C655.67,-95 666.33,-95 666.33,-95 671.67,-95 677,-100.33 677,-105.67 677,-105.67 677,-116.33 677,-116.33 677,-121.67 671.67,-127 666.33,-127 666.33,-127 655.67,-127 655.67,-127 650.33,-127 645,-121.67 645,-116.33 645,-116.33 645,-105.67 645,-105.67 645,-100.33 650.33,-95 655.67,-95"/>
    <text text-anchor="start" x="655.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M655.67,-95C655.67,-95 666.33,-95 666.33,-95 671.67,-95 677,-100.33 677,-105.67 677,-105.67 677,-116.33 677,-116.33 677,-121.67 671.67,-127 666.33,-127 666.33,-127 655.67,-127 655.67,-127 650.33,-127 645,-121.67 645,-116.33 645,-116.33 645,-105.67 645,-105.67 645,-100.33 650.33,-95 655.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;17615343019692007359 -->
    <g id="node50" class="node">
    <title>left&#45;17615343019692007359</title>
    <g id="a_node50"><a xlink:title="left&#45;17615343019692007359&#45;value: left&#45;17615343019692007359">
    <path fill="white" stroke="transparent" d="M1705.67,-95C1705.67,-95 1716.33,-95 1716.33,-95 1721.67,-95 1727,-100.33 1727,-105.67 1727,-105.67 1727,-116.33 1727,-116.33 1727,-121.67 1721.67,-127 1716.33,-127 1716.33,-127 1705.67,-127 1705.67,-127 1700.33,-127 1695,-121.67 1695,-116.33 1695,-116.33 1695,-105.67 1695,-105.67 1695,-100.33 1700.33,-95 1705.67,-95"/>
    <text text-anchor="start" x="1700" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M1705.67,-95C1705.67,-95 1716.33,-95 1716.33,-95 1721.67,-95 1727,-100.33 1727,-105.67 1727,-105.67 1727,-116.33 1727,-116.33 1727,-121.67 1721.67,-127 1716.33,-127 1716.33,-127 1705.67,-127 1705.67,-127 1700.33,-127 1695,-121.67 1695,-116.33 1695,-116.33 1695,-105.67 1695,-105.67 1695,-100.33 1700.33,-95 1705.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;17615343019692007359&#45;value -->
    <g id="node51" class="node">
    <title>left&#45;17615343019692007359&#45;value</title>
    <g id="a_node51"><a xlink:title="left&#45;17615343019692007359&#45;value: left&#45;17615343019692007359&#45;value">
    <path fill="white" stroke="transparent" d="M1647.67,-95C1647.67,-95 1658.33,-95 1658.33,-95 1663.67,-95 1669,-100.33 1669,-105.67 1669,-105.67 1669,-116.33 1669,-116.33 1669,-121.67 1663.67,-127 1658.33,-127 1658.33,-127 1647.67,-127 1647.67,-127 1642.33,-127 1637,-121.67 1637,-116.33 1637,-116.33 1637,-105.67 1637,-105.67 1637,-100.33 1642.33,-95 1647.67,-95"/>
    <text text-anchor="start" x="1647.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M1647.67,-95C1647.67,-95 1658.33,-95 1658.33,-95 1663.67,-95 1669,-100.33 1669,-105.67 1669,-105.67 1669,-116.33 1669,-116.33 1669,-121.67 1663.67,-127 1658.33,-127 1658.33,-127 1647.67,-127 1647.67,-127 1642.33,-127 1637,-121.67 1637,-116.33 1637,-116.33 1637,-105.67 1637,-105.67 1637,-100.33 1642.33,-95 1647.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;4208978898528913939 -->
    <g id="node52" class="node">
    <title>left&#45;4208978898528913939</title>
    <g id="a_node52"><a xlink:title="left&#45;4208978898528913939&#45;value: left&#45;4208978898528913939">
    <path fill="white" stroke="transparent" d="M1209.67,-95C1209.67,-95 1220.33,-95 1220.33,-95 1225.67,-95 1231,-100.33 1231,-105.67 1231,-105.67 1231,-116.33 1231,-116.33 1231,-121.67 1225.67,-127 1220.33,-127 1220.33,-127 1209.67,-127 1209.67,-127 1204.33,-127 1199,-121.67 1199,-116.33 1199,-116.33 1199,-105.67 1199,-105.67 1199,-100.33 1204.33,-95 1209.67,-95"/>
    <text text-anchor="start" x="1204" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M1209.67,-95C1209.67,-95 1220.33,-95 1220.33,-95 1225.67,-95 1231,-100.33 1231,-105.67 1231,-105.67 1231,-116.33 1231,-116.33 1231,-121.67 1225.67,-127 1220.33,-127 1220.33,-127 1209.67,-127 1209.67,-127 1204.33,-127 1199,-121.67 1199,-116.33 1199,-116.33 1199,-105.67 1199,-105.67 1199,-100.33 1204.33,-95 1209.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;4208978898528913939&#45;value -->
    <g id="node53" class="node">
    <title>left&#45;4208978898528913939&#45;value</title>
    <g id="a_node53"><a xlink:title="left&#45;4208978898528913939&#45;value: left&#45;4208978898528913939&#45;value">
    <path fill="white" stroke="transparent" d="M1151.67,-95C1151.67,-95 1162.33,-95 1162.33,-95 1167.67,-95 1173,-100.33 1173,-105.67 1173,-105.67 1173,-116.33 1173,-116.33 1173,-121.67 1167.67,-127 1162.33,-127 1162.33,-127 1151.67,-127 1151.67,-127 1146.33,-127 1141,-121.67 1141,-116.33 1141,-116.33 1141,-105.67 1141,-105.67 1141,-100.33 1146.33,-95 1151.67,-95"/>
    <text text-anchor="start" x="1151.5" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">()</text>
    <path fill="none" stroke="black" d="M1151.67,-95C1151.67,-95 1162.33,-95 1162.33,-95 1167.67,-95 1173,-100.33 1173,-105.67 1173,-105.67 1173,-116.33 1173,-116.33 1173,-121.67 1167.67,-127 1162.33,-127 1162.33,-127 1151.67,-127 1151.67,-127 1146.33,-127 1141,-121.67 1141,-116.33 1141,-116.33 1141,-105.67 1141,-105.67 1141,-100.33 1146.33,-95 1151.67,-95"/>
    </a>
    </g>
    </g>
    </g>
    </svg>

    </div>
    <br />
    <br />

.. code-block:: Python


    from __future__ import annotations

    from egglog import *

    left = relation("left", i64)
    right = relation("right", i64)


    x, y = vars_("x y", i64)
    step_left = ruleset(
        rule(
            left(x),
            right(x),
        ).then(left(x + 1)),
    )
    step_right = ruleset(
        rule(
            left(x),
            right(y),
            eq(x).to(y + 1),
        ).then(right(x)),
    )

    egraph = EGraph()
    egraph.register(left(i64(0)), right(i64(0)))
    egraph.run((step_right.saturate() + step_left.saturate()) * 10)
    egraph.check(left(i64(10)), right(i64(9)))
    egraph.check_fail(left(i64(11)), right(i64(10)))
    egraph


.. rst-class:: sphx-glr-timing

   **Total running time of the script:** (0 minutes 0.552 seconds)


.. _sphx_glr_download_auto_examples_schedule_demo.py:

.. only:: html

  .. container:: sphx-glr-footer sphx-glr-footer-example

    .. container:: sphx-glr-download sphx-glr-download-jupyter

      :download:`Download Jupyter notebook: schedule_demo.ipynb <schedule_demo.ipynb>`

    .. container:: sphx-glr-download sphx-glr-download-python

      :download:`Download Python source code: schedule_demo.py <schedule_demo.py>`


.. only:: html

 .. rst-class:: sphx-glr-signature

    `Gallery generated by Sphinx-Gallery <https://sphinx-gallery.github.io>`_