.. 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-34





.. 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_left&#45;3377577844511369682&#45;value</title>
    </g>
    <g id="clust2" class="cluster">
    <title>cluster_left&#45;3377577844511369682&#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;16783941965674463102&#45;value</title>
    </g>
    <g id="clust5" class="cluster">
    <title>cluster_right&#45;16783941965674463102&#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="clust7" class="cluster">
    <title>outer_cluster_left&#45;11743562013128004906&#45;value</title>
    </g>
    <g id="clust8" class="cluster">
    <title>cluster_left&#45;11743562013128004906&#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="clust10" class="cluster">
    <title>outer_cluster_right&#45;15952540911656918845&#45;value</title>
    </g>
    <g id="clust11" 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="clust13" class="cluster">
    <title>outer_cluster_left&#45;5871781006564002453&#45;value</title>
    </g>
    <g id="clust14" class="cluster">
    <title>cluster_left&#45;5871781006564002453&#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="clust16" class="cluster">
    <title>outer_cluster_left&#45;4208978898528913939&#45;value</title>
    </g>
    <g id="clust17" 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="clust19" class="cluster">
    <title>outer_cluster_right&#45;0&#45;value</title>
    </g>
    <g id="clust20" class="cluster">
    <title>cluster_right&#45;0&#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="clust22" class="cluster">
    <title>outer_cluster_right&#45;5871781006564002453&#45;value</title>
    </g>
    <g id="clust23" class="cluster">
    <title>cluster_right&#45;5871781006564002453&#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="clust25" class="cluster">
    <title>outer_cluster_left&#45;10912160959110460649&#45;value</title>
    </g>
    <g id="clust26" class="cluster">
    <title>cluster_left&#45;10912160959110460649&#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="clust28" class="cluster">
    <title>outer_cluster_left&#45;17615343019692007359&#45;value</title>
    </g>
    <g id="clust29" class="cluster">
    <title>cluster_left&#45;17615343019692007359&#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="clust31" class="cluster">
    <title>outer_cluster_right&#45;4208978898528913939&#45;value</title>
    </g>
    <g id="clust32" class="cluster">
    <title>cluster_right&#45;4208978898528913939&#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="clust34" class="cluster">
    <title>outer_cluster_right&#45;17615343019692007359&#45;value</title>
    </g>
    <g id="clust35" class="cluster">
    <title>cluster_right&#45;17615343019692007359&#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="clust37" class="cluster">
    <title>outer_cluster_right&#45;5040379952546458196&#45;value</title>
    </g>
    <g id="clust38" class="cluster">
    <title>cluster_right&#45;5040379952546458196&#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="clust40" class="cluster">
    <title>outer_cluster_left&#45;5040379952546458196&#45;value</title>
    </g>
    <g id="clust41" class="cluster">
    <title>cluster_left&#45;5040379952546458196&#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="clust43" class="cluster">
    <title>outer_cluster_left&#45;16783941965674463102&#45;value</title>
    </g>
    <g id="clust44" class="cluster">
    <title>cluster_left&#45;16783941965674463102&#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="clust46" class="cluster">
    <title>outer_cluster_right&#45;10080759905092916392&#45;value</title>
    </g>
    <g id="clust47" class="cluster">
    <title>cluster_right&#45;10080759905092916392&#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_left&#45;10080759905092916392&#45;value</title>
    </g>
    <g id="clust50" class="cluster">
    <title>cluster_left&#45;10080759905092916392&#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="clust52" class="cluster">
    <title>outer_cluster_left&#45;0&#45;value</title>
    </g>
    <g id="clust53" class="cluster">
    <title>cluster_left&#45;0&#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="clust55" class="cluster">
    <title>outer_cluster_right&#45;10912160959110460649&#45;value</title>
    </g>
    <g id="clust56" class="cluster">
    <title>cluster_right&#45;10912160959110460649&#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="clust58" class="cluster">
    <title>outer_cluster_left&#45;15952540911656918845&#45;value</title>
    </g>
    <g id="clust59" class="cluster">
    <title>cluster_left&#45;15952540911656918845&#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="clust61" class="cluster">
    <title>outer_cluster_right&#45;11743562013128004906&#45;value</title>
    </g>
    <g id="clust62" class="cluster">
    <title>cluster_right&#45;11743562013128004906&#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="clust64" class="cluster">
    <title>outer_cluster_i64&#45;15952540911656918845</title>
    </g>
    <g id="clust65" class="cluster">
    <title>cluster_i64&#45;15952540911656918845</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M763,-11C763,-11 799,-11 799,-11 805,-11 811,-17 811,-23 811,-23 811,-41 811,-41 811,-47 805,-53 799,-53 799,-53 763,-53 763,-53 757,-53 751,-47 751,-41 751,-41 751,-23 751,-23 751,-17 757,-11 763,-11"/>
    </g>
    <g id="clust67" class="cluster">
    <title>outer_cluster_i64&#45;4208978898528913939</title>
    </g>
    <g id="clust68" class="cluster">
    <title>cluster_i64&#45;4208978898528913939</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M1259,-11C1259,-11 1295,-11 1295,-11 1301,-11 1307,-17 1307,-23 1307,-23 1307,-41 1307,-41 1307,-47 1301,-53 1295,-53 1295,-53 1259,-53 1259,-53 1253,-53 1247,-47 1247,-41 1247,-41 1247,-23 1247,-23 1247,-17 1253,-11 1259,-11"/>
    </g>
    <g id="clust70" class="cluster">
    <title>outer_cluster_i64&#45;5040379952546458196</title>
    </g>
    <g id="clust71" class="cluster">
    <title>cluster_i64&#45;5040379952546458196</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>
    <g id="clust73" class="cluster">
    <title>outer_cluster_i64&#45;3377577844511369682</title>
    </g>
    <g id="clust74" class="cluster">
    <title>cluster_i64&#45;3377577844511369682</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M81,-11C81,-11 117,-11 117,-11 123,-11 129,-17 129,-23 129,-23 129,-41 129,-41 129,-47 123,-53 117,-53 117,-53 81,-53 81,-53 75,-53 69,-47 69,-41 69,-41 69,-23 69,-23 69,-17 75,-11 81,-11"/>
    </g>
    <g id="clust76" class="cluster">
    <title>outer_cluster_i64&#45;11743562013128004906</title>
    </g>
    <g id="clust77" class="cluster">
    <title>cluster_i64&#45;11743562013128004906</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M515,-11C515,-11 551,-11 551,-11 557,-11 563,-17 563,-23 563,-23 563,-41 563,-41 563,-47 557,-53 551,-53 551,-53 515,-53 515,-53 509,-53 503,-47 503,-41 503,-41 503,-23 503,-23 503,-17 509,-11 515,-11"/>
    </g>
    <g id="clust79" class="cluster">
    <title>outer_cluster_i64&#45;10080759905092916392</title>
    </g>
    <g id="clust80" class="cluster">
    <title>cluster_i64&#45;10080759905092916392</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="clust82" class="cluster">
    <title>outer_cluster_i64&#45;0</title>
    </g>
    <g id="clust83" class="cluster">
    <title>cluster_i64&#45;0</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M1507,-11C1507,-11 1543,-11 1543,-11 1549,-11 1555,-17 1555,-23 1555,-23 1555,-41 1555,-41 1555,-47 1549,-53 1543,-53 1543,-53 1507,-53 1507,-53 1501,-53 1495,-47 1495,-41 1495,-41 1495,-23 1495,-23 1495,-17 1501,-11 1507,-11"/>
    </g>
    <g id="clust85" class="cluster">
    <title>outer_cluster_i64&#45;5871781006564002453</title>
    </g>
    <g id="clust86" class="cluster">
    <title>cluster_i64&#45;5871781006564002453</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M1011,-11C1011,-11 1047,-11 1047,-11 1053,-11 1059,-17 1059,-23 1059,-23 1059,-41 1059,-41 1059,-47 1053,-53 1047,-53 1047,-53 1011,-53 1011,-53 1005,-53 999,-47 999,-41 999,-41 999,-23 999,-23 999,-17 1005,-11 1011,-11"/>
    </g>
    <g id="clust88" class="cluster">
    <title>outer_cluster_i64&#45;17615343019692007359</title>
    </g>
    <g id="clust89" class="cluster">
    <title>cluster_i64&#45;17615343019692007359</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M2003,-11C2003,-11 2039,-11 2039,-11 2045,-11 2051,-17 2051,-23 2051,-23 2051,-41 2051,-41 2051,-47 2045,-53 2039,-53 2039,-53 2003,-53 2003,-53 1997,-53 1991,-47 1991,-41 1991,-41 1991,-23 1991,-23 1991,-17 1997,-11 2003,-11"/>
    </g>
    <g id="clust91" class="cluster">
    <title>outer_cluster_i64&#45;16783941965674463102</title>
    </g>
    <g id="clust92" class="cluster">
    <title>cluster_i64&#45;16783941965674463102</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M267,-11C267,-11 303,-11 303,-11 309,-11 315,-17 315,-23 315,-23 315,-41 315,-41 315,-47 309,-53 303,-53 303,-53 267,-53 267,-53 261,-53 255,-47 255,-41 255,-41 255,-23 255,-23 255,-17 261,-11 267,-11"/>
    </g>
    <g id="clust94" class="cluster">
    <title>outer_cluster_i64&#45;10912160959110460649</title>
    </g>
    <g id="clust95" class="cluster">
    <title>cluster_i64&#45;10912160959110460649</title>
    <path fill="#bebada" stroke="black" stroke-dasharray="5,2" d="M1755,-11C1755,-11 1791,-11 1791,-11 1797,-11 1803,-17 1803,-23 1803,-23 1803,-41 1803,-41 1803,-47 1797,-53 1791,-53 1791,-53 1755,-53 1755,-53 1749,-53 1743,-47 1743,-41 1743,-41 1743,-23 1743,-23 1743,-17 1749,-11 1755,-11"/>
    </g>
    <!-- left&#45;3377577844511369682&#45;&gt;i64&#45;3377577844511369682 -->
    <g id="edge1" class="edge">
    <title>left&#45;3377577844511369682:s&#45;&gt;i64&#45;3377577844511369682</title>
    <path fill="none" stroke="black" d="M99,-95C99,-81.84 99,-67.11 99,-55.3"/>
    <polygon fill="black" stroke="black" points="100.75,-58 99,-53 97.25,-58 100.75,-58"/>
    </g>
    <!-- right&#45;16783941965674463102&#45;&gt;i64&#45;16783941965674463102 -->
    <g id="edge2" class="edge">
    <title>right&#45;16783941965674463102:s&#45;&gt;i64&#45;16783941965674463102</title>
    <path fill="none" stroke="black" d="M223,-95C223,-75.66 238.27,-60.24 253.66,-49.62"/>
    <polygon fill="black" stroke="black" points="253.5,-52.84 255,-47.75 250.66,-50.79 253.5,-52.84"/>
    </g>
    <!-- left&#45;11743562013128004906&#45;&gt;i64&#45;11743562013128004906 -->
    <g id="edge3" class="edge">
    <title>left&#45;11743562013128004906:s&#45;&gt;i64&#45;11743562013128004906</title>
    <path fill="none" stroke="black" d="M471,-95C471,-75.66 486.27,-60.24 501.66,-49.62"/>
    <polygon fill="black" stroke="black" points="501.5,-52.84 503,-47.75 498.66,-50.79 501.5,-52.84"/>
    </g>
    <!-- right&#45;15952540911656918845&#45;&gt;i64&#45;15952540911656918845 -->
    <g id="edge4" class="edge">
    <title>right&#45;15952540911656918845:s&#45;&gt;i64&#45;15952540911656918845</title>
    <path fill="none" stroke="black" d="M719,-95C719,-75.66 734.27,-60.24 749.66,-49.62"/>
    <polygon fill="black" stroke="black" points="749.5,-52.84 751,-47.75 746.66,-50.79 749.5,-52.84"/>
    </g>
    <!-- left&#45;5871781006564002453&#45;&gt;i64&#45;5871781006564002453 -->
    <g id="edge5" class="edge">
    <title>left&#45;5871781006564002453:s&#45;&gt;i64&#45;5871781006564002453</title>
    <path fill="none" stroke="black" d="M967,-95C967,-75.66 982.27,-60.24 997.66,-49.62"/>
    <polygon fill="black" stroke="black" points="997.5,-52.84 999,-47.75 994.66,-50.79 997.5,-52.84"/>
    </g>
    <!-- left&#45;4208978898528913939&#45;&gt;i64&#45;4208978898528913939 -->
    <g id="edge6" class="edge">
    <title>left&#45;4208978898528913939:s&#45;&gt;i64&#45;4208978898528913939</title>
    <path fill="none" stroke="black" d="M1215,-95C1215,-75.66 1230.27,-60.24 1245.66,-49.62"/>
    <polygon fill="black" stroke="black" points="1245.5,-52.84 1247,-47.75 1242.66,-50.79 1245.5,-52.84"/>
    </g>
    <!-- right&#45;0&#45;&gt;i64&#45;0 -->
    <g id="edge7" class="edge">
    <title>right&#45;0:s&#45;&gt;i64&#45;0</title>
    <path fill="none" stroke="black" d="M1463,-95C1463,-75.66 1478.27,-60.24 1493.66,-49.62"/>
    <polygon fill="black" stroke="black" points="1493.5,-52.84 1495,-47.75 1490.66,-50.79 1493.5,-52.84"/>
    </g>
    <!-- right&#45;5871781006564002453&#45;&gt;i64&#45;5871781006564002453 -->
    <g id="edge8" class="edge">
    <title>right&#45;5871781006564002453:s&#45;&gt;i64&#45;5871781006564002453</title>
    <path fill="none" stroke="black" d="M1091,-95C1091,-75.66 1075.73,-60.24 1060.34,-49.62"/>
    <polygon fill="black" stroke="black" points="1063.34,-50.79 1059,-47.75 1060.5,-52.84 1063.34,-50.79"/>
    </g>
    <!-- left&#45;10912160959110460649&#45;&gt;i64&#45;10912160959110460649 -->
    <g id="edge9" class="edge">
    <title>left&#45;10912160959110460649:s&#45;&gt;i64&#45;10912160959110460649</title>
    <path fill="none" stroke="black" d="M1711,-95C1711,-75.66 1726.27,-60.24 1741.66,-49.62"/>
    <polygon fill="black" stroke="black" points="1741.5,-52.84 1743,-47.75 1738.66,-50.79 1741.5,-52.84"/>
    </g>
    <!-- left&#45;17615343019692007359&#45;&gt;i64&#45;17615343019692007359 -->
    <g id="edge10" class="edge">
    <title>left&#45;17615343019692007359:s&#45;&gt;i64&#45;17615343019692007359</title>
    <path fill="none" stroke="black" d="M1959,-95C1959,-75.66 1974.27,-60.24 1989.66,-49.62"/>
    <polygon fill="black" stroke="black" points="1989.5,-52.84 1991,-47.75 1986.66,-50.79 1989.5,-52.84"/>
    </g>
    <!-- right&#45;4208978898528913939&#45;&gt;i64&#45;4208978898528913939 -->
    <g id="edge11" class="edge">
    <title>right&#45;4208978898528913939:s&#45;&gt;i64&#45;4208978898528913939</title>
    <path fill="none" stroke="black" d="M1339,-95C1339,-75.66 1323.73,-60.24 1308.34,-49.62"/>
    <polygon fill="black" stroke="black" points="1311.34,-50.79 1307,-47.75 1308.5,-52.84 1311.34,-50.79"/>
    </g>
    <!-- right&#45;17615343019692007359&#45;&gt;i64&#45;17615343019692007359 -->
    <g id="edge12" class="edge">
    <title>right&#45;17615343019692007359:s&#45;&gt;i64&#45;17615343019692007359</title>
    <path fill="none" stroke="black" d="M2083,-95C2083,-75.66 2067.73,-60.24 2052.34,-49.62"/>
    <polygon fill="black" stroke="black" points="2055.34,-50.79 2051,-47.75 2052.5,-52.84 2055.34,-50.79"/>
    </g>
    <!-- right&#45;5040379952546458196&#45;&gt;i64&#45;5040379952546458196 -->
    <g id="edge13" class="edge">
    <title>right&#45;5040379952546458196:s&#45;&gt;i64&#45;5040379952546458196</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>
    <!-- left&#45;5040379952546458196&#45;&gt;i64&#45;5040379952546458196 -->
    <g id="edge14" class="edge">
    <title>left&#45;5040379952546458196:s&#45;&gt;i64&#45;5040379952546458196</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>
    <!-- left&#45;16783941965674463102&#45;&gt;i64&#45;16783941965674463102 -->
    <g id="edge15" class="edge">
    <title>left&#45;16783941965674463102:s&#45;&gt;i64&#45;16783941965674463102</title>
    <path fill="none" stroke="black" d="M347,-95C347,-75.66 331.73,-60.24 316.34,-49.62"/>
    <polygon fill="black" stroke="black" points="319.34,-50.79 315,-47.75 316.5,-52.84 319.34,-50.79"/>
    </g>
    <!-- right&#45;10080759905092916392&#45;&gt;i64&#45;10080759905092916392 -->
    <g id="edge16" class="edge">
    <title>right&#45;10080759905092916392:s&#45;&gt;i64&#45;10080759905092916392</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>
    <!-- left&#45;10080759905092916392&#45;&gt;i64&#45;10080759905092916392 -->
    <g id="edge17" class="edge">
    <title>left&#45;10080759905092916392:s&#45;&gt;i64&#45;10080759905092916392</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>
    <!-- left&#45;0&#45;&gt;i64&#45;0 -->
    <g id="edge18" class="edge">
    <title>left&#45;0:s&#45;&gt;i64&#45;0</title>
    <path fill="none" stroke="black" d="M1587,-95C1587,-75.66 1571.73,-60.24 1556.34,-49.62"/>
    <polygon fill="black" stroke="black" points="1559.34,-50.79 1555,-47.75 1556.5,-52.84 1559.34,-50.79"/>
    </g>
    <!-- right&#45;10912160959110460649&#45;&gt;i64&#45;10912160959110460649 -->
    <g id="edge19" class="edge">
    <title>right&#45;10912160959110460649:s&#45;&gt;i64&#45;10912160959110460649</title>
    <path fill="none" stroke="black" d="M1835,-95C1835,-75.66 1819.73,-60.24 1804.34,-49.62"/>
    <polygon fill="black" stroke="black" points="1807.34,-50.79 1803,-47.75 1804.5,-52.84 1807.34,-50.79"/>
    </g>
    <!-- left&#45;15952540911656918845&#45;&gt;i64&#45;15952540911656918845 -->
    <g id="edge20" class="edge">
    <title>left&#45;15952540911656918845:s&#45;&gt;i64&#45;15952540911656918845</title>
    <path fill="none" stroke="black" d="M843,-95C843,-75.66 827.73,-60.24 812.34,-49.62"/>
    <polygon fill="black" stroke="black" points="815.34,-50.79 811,-47.75 812.5,-52.84 815.34,-50.79"/>
    </g>
    <!-- right&#45;11743562013128004906&#45;&gt;i64&#45;11743562013128004906 -->
    <g id="edge21" class="edge">
    <title>right&#45;11743562013128004906:s&#45;&gt;i64&#45;11743562013128004906</title>
    <path fill="none" stroke="black" d="M595,-95C595,-75.66 579.73,-60.24 564.34,-49.62"/>
    <polygon fill="black" stroke="black" points="567.34,-50.79 563,-47.75 564.5,-52.84 567.34,-50.79"/>
    </g>
    <!-- left&#45;3377577844511369682 -->
    <g id="node1" class="node">
    <title>left&#45;3377577844511369682</title>
    <g id="a_node1"><a xlink:title="left&#45;3377577844511369682&#45;value: left&#45;3377577844511369682">
    <path fill="white" stroke="transparent" d="M93.67,-95C93.67,-95 104.33,-95 104.33,-95 109.67,-95 115,-100.33 115,-105.67 115,-105.67 115,-116.33 115,-116.33 115,-121.67 109.67,-127 104.33,-127 104.33,-127 93.67,-127 93.67,-127 88.33,-127 83,-121.67 83,-116.33 83,-116.33 83,-105.67 83,-105.67 83,-100.33 88.33,-95 93.67,-95"/>
    <text text-anchor="start" x="88" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M93.67,-95C93.67,-95 104.33,-95 104.33,-95 109.67,-95 115,-100.33 115,-105.67 115,-105.67 115,-116.33 115,-116.33 115,-121.67 109.67,-127 104.33,-127 104.33,-127 93.67,-127 93.67,-127 88.33,-127 83,-121.67 83,-116.33 83,-116.33 83,-105.67 83,-105.67 83,-100.33 88.33,-95 93.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;3377577844511369682 -->
    <g id="node2" class="node">
    <title>i64&#45;3377577844511369682</title>
    <g id="a_node2"><a xlink:title="i64&#45;3377577844511369682: i64&#45;3377577844511369682">
    <path fill="white" stroke="transparent" d="M93.67,-16C93.67,-16 104.33,-16 104.33,-16 109.67,-16 115,-21.33 115,-26.67 115,-26.67 115,-37.33 115,-37.33 115,-42.67 109.67,-48 104.33,-48 104.33,-48 93.67,-48 93.67,-48 88.33,-48 83,-42.67 83,-37.33 83,-37.33 83,-26.67 83,-26.67 83,-21.33 88.33,-16 93.67,-16"/>
    <text text-anchor="start" x="89.5" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">10</text>
    <path fill="none" stroke="black" d="M93.67,-16C93.67,-16 104.33,-16 104.33,-16 109.67,-16 115,-21.33 115,-26.67 115,-26.67 115,-37.33 115,-37.33 115,-42.67 109.67,-48 104.33,-48 104.33,-48 93.67,-48 93.67,-48 88.33,-48 83,-42.67 83,-37.33 83,-37.33 83,-26.67 83,-26.67 83,-21.33 88.33,-16 93.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;3377577844511369682&#45;value -->
    <g id="node3" class="node">
    <title>left&#45;3377577844511369682&#45;value</title>
    <g id="a_node3"><a xlink:title="left&#45;3377577844511369682&#45;value: left&#45;3377577844511369682&#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;16783941965674463102 -->
    <g id="node4" class="node">
    <title>right&#45;16783941965674463102</title>
    <g id="a_node4"><a xlink:title="right&#45;16783941965674463102&#45;value: right&#45;16783941965674463102">
    <path fill="white" stroke="transparent" d="M211.67,-95C211.67,-95 234.33,-95 234.33,-95 239.67,-95 245,-100.33 245,-105.67 245,-105.67 245,-116.33 245,-116.33 245,-121.67 239.67,-127 234.33,-127 234.33,-127 211.67,-127 211.67,-127 206.33,-127 201,-121.67 201,-116.33 201,-116.33 201,-105.67 201,-105.67 201,-100.33 206.33,-95 211.67,-95"/>
    <text text-anchor="start" x="206" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M211.67,-95C211.67,-95 234.33,-95 234.33,-95 239.67,-95 245,-100.33 245,-105.67 245,-105.67 245,-116.33 245,-116.33 245,-121.67 239.67,-127 234.33,-127 234.33,-127 211.67,-127 211.67,-127 206.33,-127 201,-121.67 201,-116.33 201,-116.33 201,-105.67 201,-105.67 201,-100.33 206.33,-95 211.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;16783941965674463102 -->
    <g id="node5" class="node">
    <title>i64&#45;16783941965674463102</title>
    <g id="a_node5"><a xlink:title="i64&#45;16783941965674463102: i64&#45;16783941965674463102">
    <path fill="white" stroke="transparent" d="M279.67,-16C279.67,-16 290.33,-16 290.33,-16 295.67,-16 301,-21.33 301,-26.67 301,-26.67 301,-37.33 301,-37.33 301,-42.67 295.67,-48 290.33,-48 290.33,-48 279.67,-48 279.67,-48 274.33,-48 269,-42.67 269,-37.33 269,-37.33 269,-26.67 269,-26.67 269,-21.33 274.33,-16 279.67,-16"/>
    <text text-anchor="start" x="280" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">6</text>
    <path fill="none" stroke="black" d="M279.67,-16C279.67,-16 290.33,-16 290.33,-16 295.67,-16 301,-21.33 301,-26.67 301,-26.67 301,-37.33 301,-37.33 301,-42.67 295.67,-48 290.33,-48 290.33,-48 279.67,-48 279.67,-48 274.33,-48 269,-42.67 269,-37.33 269,-37.33 269,-26.67 269,-26.67 269,-21.33 274.33,-16 279.67,-16"/>
    </a>
    </g>
    </g>
    <!-- right&#45;16783941965674463102&#45;value -->
    <g id="node6" class="node">
    <title>right&#45;16783941965674463102&#45;value</title>
    <g id="a_node6"><a xlink:title="right&#45;16783941965674463102&#45;value: right&#45;16783941965674463102&#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>
    <!-- left&#45;11743562013128004906 -->
    <g id="node7" class="node">
    <title>left&#45;11743562013128004906</title>
    <g id="a_node7"><a xlink:title="left&#45;11743562013128004906&#45;value: left&#45;11743562013128004906">
    <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>
    <!-- i64&#45;11743562013128004906 -->
    <g id="node8" class="node">
    <title>i64&#45;11743562013128004906</title>
    <g id="a_node8"><a xlink:title="i64&#45;11743562013128004906: i64&#45;11743562013128004906">
    <path fill="white" stroke="transparent" d="M527.67,-16C527.67,-16 538.33,-16 538.33,-16 543.67,-16 549,-21.33 549,-26.67 549,-26.67 549,-37.33 549,-37.33 549,-42.67 543.67,-48 538.33,-48 538.33,-48 527.67,-48 527.67,-48 522.33,-48 517,-42.67 517,-37.33 517,-37.33 517,-26.67 517,-26.67 517,-21.33 522.33,-16 527.67,-16"/>
    <text text-anchor="start" x="528" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">2</text>
    <path fill="none" stroke="black" d="M527.67,-16C527.67,-16 538.33,-16 538.33,-16 543.67,-16 549,-21.33 549,-26.67 549,-26.67 549,-37.33 549,-37.33 549,-42.67 543.67,-48 538.33,-48 538.33,-48 527.67,-48 527.67,-48 522.33,-48 517,-42.67 517,-37.33 517,-37.33 517,-26.67 517,-26.67 517,-21.33 522.33,-16 527.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;11743562013128004906&#45;value -->
    <g id="node9" class="node">
    <title>left&#45;11743562013128004906&#45;value</title>
    <g id="a_node9"><a xlink:title="left&#45;11743562013128004906&#45;value: left&#45;11743562013128004906&#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;15952540911656918845 -->
    <g id="node10" class="node">
    <title>right&#45;15952540911656918845</title>
    <g id="a_node10"><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>
    <!-- i64&#45;15952540911656918845 -->
    <g id="node11" class="node">
    <title>i64&#45;15952540911656918845</title>
    <g id="a_node11"><a xlink:title="i64&#45;15952540911656918845: i64&#45;15952540911656918845">
    <path fill="white" stroke="transparent" d="M775.67,-16C775.67,-16 786.33,-16 786.33,-16 791.67,-16 797,-21.33 797,-26.67 797,-26.67 797,-37.33 797,-37.33 797,-42.67 791.67,-48 786.33,-48 786.33,-48 775.67,-48 775.67,-48 770.33,-48 765,-42.67 765,-37.33 765,-37.33 765,-26.67 765,-26.67 765,-21.33 770.33,-16 775.67,-16"/>
    <text text-anchor="start" x="776" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">9</text>
    <path fill="none" stroke="black" d="M775.67,-16C775.67,-16 786.33,-16 786.33,-16 791.67,-16 797,-21.33 797,-26.67 797,-26.67 797,-37.33 797,-37.33 797,-42.67 791.67,-48 786.33,-48 786.33,-48 775.67,-48 775.67,-48 770.33,-48 765,-42.67 765,-37.33 765,-37.33 765,-26.67 765,-26.67 765,-21.33 770.33,-16 775.67,-16"/>
    </a>
    </g>
    </g>
    <!-- right&#45;15952540911656918845&#45;value -->
    <g id="node12" class="node">
    <title>right&#45;15952540911656918845&#45;value</title>
    <g id="a_node12"><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;5871781006564002453 -->
    <g id="node13" class="node">
    <title>left&#45;5871781006564002453</title>
    <g id="a_node13"><a xlink:title="left&#45;5871781006564002453&#45;value: left&#45;5871781006564002453">
    <path fill="white" stroke="transparent" d="M961.67,-95C961.67,-95 972.33,-95 972.33,-95 977.67,-95 983,-100.33 983,-105.67 983,-105.67 983,-116.33 983,-116.33 983,-121.67 977.67,-127 972.33,-127 972.33,-127 961.67,-127 961.67,-127 956.33,-127 951,-121.67 951,-116.33 951,-116.33 951,-105.67 951,-105.67 951,-100.33 956.33,-95 961.67,-95"/>
    <text text-anchor="start" x="956" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M961.67,-95C961.67,-95 972.33,-95 972.33,-95 977.67,-95 983,-100.33 983,-105.67 983,-105.67 983,-116.33 983,-116.33 983,-121.67 977.67,-127 972.33,-127 972.33,-127 961.67,-127 961.67,-127 956.33,-127 951,-121.67 951,-116.33 951,-116.33 951,-105.67 951,-105.67 951,-100.33 956.33,-95 961.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;5871781006564002453 -->
    <g id="node14" class="node">
    <title>i64&#45;5871781006564002453</title>
    <g id="a_node14"><a xlink:title="i64&#45;5871781006564002453: i64&#45;5871781006564002453">
    <path fill="white" stroke="transparent" d="M1023.67,-16C1023.67,-16 1034.33,-16 1034.33,-16 1039.67,-16 1045,-21.33 1045,-26.67 1045,-26.67 1045,-37.33 1045,-37.33 1045,-42.67 1039.67,-48 1034.33,-48 1034.33,-48 1023.67,-48 1023.67,-48 1018.33,-48 1013,-42.67 1013,-37.33 1013,-37.33 1013,-26.67 1013,-26.67 1013,-21.33 1018.33,-16 1023.67,-16"/>
    <text text-anchor="start" x="1024" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">1</text>
    <path fill="none" stroke="black" d="M1023.67,-16C1023.67,-16 1034.33,-16 1034.33,-16 1039.67,-16 1045,-21.33 1045,-26.67 1045,-26.67 1045,-37.33 1045,-37.33 1045,-42.67 1039.67,-48 1034.33,-48 1034.33,-48 1023.67,-48 1023.67,-48 1018.33,-48 1013,-42.67 1013,-37.33 1013,-37.33 1013,-26.67 1013,-26.67 1013,-21.33 1018.33,-16 1023.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;5871781006564002453&#45;value -->
    <g id="node15" class="node">
    <title>left&#45;5871781006564002453&#45;value</title>
    <g id="a_node15"><a xlink:title="left&#45;5871781006564002453&#45;value: left&#45;5871781006564002453&#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;4208978898528913939 -->
    <g id="node16" class="node">
    <title>left&#45;4208978898528913939</title>
    <g id="a_node16"><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>
    <!-- i64&#45;4208978898528913939 -->
    <g id="node17" class="node">
    <title>i64&#45;4208978898528913939</title>
    <g id="a_node17"><a xlink:title="i64&#45;4208978898528913939: i64&#45;4208978898528913939">
    <path fill="white" stroke="transparent" d="M1271.67,-16C1271.67,-16 1282.33,-16 1282.33,-16 1287.67,-16 1293,-21.33 1293,-26.67 1293,-26.67 1293,-37.33 1293,-37.33 1293,-42.67 1287.67,-48 1282.33,-48 1282.33,-48 1271.67,-48 1271.67,-48 1266.33,-48 1261,-42.67 1261,-37.33 1261,-37.33 1261,-26.67 1261,-26.67 1261,-21.33 1266.33,-16 1271.67,-16"/>
    <text text-anchor="start" x="1272" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">7</text>
    <path fill="none" stroke="black" d="M1271.67,-16C1271.67,-16 1282.33,-16 1282.33,-16 1287.67,-16 1293,-21.33 1293,-26.67 1293,-26.67 1293,-37.33 1293,-37.33 1293,-42.67 1287.67,-48 1282.33,-48 1282.33,-48 1271.67,-48 1271.67,-48 1266.33,-48 1261,-42.67 1261,-37.33 1261,-37.33 1261,-26.67 1261,-26.67 1261,-21.33 1266.33,-16 1271.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;4208978898528913939&#45;value -->
    <g id="node18" class="node">
    <title>left&#45;4208978898528913939&#45;value</title>
    <g id="a_node18"><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>
    <!-- right&#45;0 -->
    <g id="node19" class="node">
    <title>right&#45;0</title>
    <g id="a_node19"><a xlink:title="right&#45;0&#45;value: right&#45;0">
    <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>
    <!-- i64&#45;0 -->
    <g id="node20" class="node">
    <title>i64&#45;0</title>
    <g id="a_node20"><a xlink:title="i64&#45;0: i64&#45;0">
    <path fill="white" stroke="transparent" d="M1519.67,-16C1519.67,-16 1530.33,-16 1530.33,-16 1535.67,-16 1541,-21.33 1541,-26.67 1541,-26.67 1541,-37.33 1541,-37.33 1541,-42.67 1535.67,-48 1530.33,-48 1530.33,-48 1519.67,-48 1519.67,-48 1514.33,-48 1509,-42.67 1509,-37.33 1509,-37.33 1509,-26.67 1509,-26.67 1509,-21.33 1514.33,-16 1519.67,-16"/>
    <text text-anchor="start" x="1520" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">0</text>
    <path fill="none" stroke="black" d="M1519.67,-16C1519.67,-16 1530.33,-16 1530.33,-16 1535.67,-16 1541,-21.33 1541,-26.67 1541,-26.67 1541,-37.33 1541,-37.33 1541,-42.67 1535.67,-48 1530.33,-48 1530.33,-48 1519.67,-48 1519.67,-48 1514.33,-48 1509,-42.67 1509,-37.33 1509,-37.33 1509,-26.67 1509,-26.67 1509,-21.33 1514.33,-16 1519.67,-16"/>
    </a>
    </g>
    </g>
    <!-- right&#45;0&#45;value -->
    <g id="node21" class="node">
    <title>right&#45;0&#45;value</title>
    <g id="a_node21"><a xlink:title="right&#45;0&#45;value: right&#45;0&#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>
    <!-- right&#45;5871781006564002453 -->
    <g id="node22" class="node">
    <title>right&#45;5871781006564002453</title>
    <g id="a_node22"><a xlink:title="right&#45;5871781006564002453&#45;value: right&#45;5871781006564002453">
    <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>
    <!-- right&#45;5871781006564002453&#45;value -->
    <g id="node23" class="node">
    <title>right&#45;5871781006564002453&#45;value</title>
    <g id="a_node23"><a xlink:title="right&#45;5871781006564002453&#45;value: right&#45;5871781006564002453&#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="node24" class="node">
    <title>left&#45;10912160959110460649</title>
    <g id="a_node24"><a xlink:title="left&#45;10912160959110460649&#45;value: left&#45;10912160959110460649">
    <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>
    <!-- i64&#45;10912160959110460649 -->
    <g id="node25" class="node">
    <title>i64&#45;10912160959110460649</title>
    <g id="a_node25"><a xlink:title="i64&#45;10912160959110460649: i64&#45;10912160959110460649">
    <path fill="white" stroke="transparent" d="M1767.67,-16C1767.67,-16 1778.33,-16 1778.33,-16 1783.67,-16 1789,-21.33 1789,-26.67 1789,-26.67 1789,-37.33 1789,-37.33 1789,-42.67 1783.67,-48 1778.33,-48 1778.33,-48 1767.67,-48 1767.67,-48 1762.33,-48 1757,-42.67 1757,-37.33 1757,-37.33 1757,-26.67 1757,-26.67 1757,-21.33 1762.33,-16 1767.67,-16"/>
    <text text-anchor="start" x="1768" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">5</text>
    <path fill="none" stroke="black" d="M1767.67,-16C1767.67,-16 1778.33,-16 1778.33,-16 1783.67,-16 1789,-21.33 1789,-26.67 1789,-26.67 1789,-37.33 1789,-37.33 1789,-42.67 1783.67,-48 1778.33,-48 1778.33,-48 1767.67,-48 1767.67,-48 1762.33,-48 1757,-42.67 1757,-37.33 1757,-37.33 1757,-26.67 1757,-26.67 1757,-21.33 1762.33,-16 1767.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;10912160959110460649&#45;value -->
    <g id="node26" class="node">
    <title>left&#45;10912160959110460649&#45;value</title>
    <g id="a_node26"><a xlink:title="left&#45;10912160959110460649&#45;value: left&#45;10912160959110460649&#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;17615343019692007359 -->
    <g id="node27" class="node">
    <title>left&#45;17615343019692007359</title>
    <g id="a_node27"><a xlink:title="left&#45;17615343019692007359&#45;value: left&#45;17615343019692007359">
    <path fill="white" stroke="transparent" d="M1953.67,-95C1953.67,-95 1964.33,-95 1964.33,-95 1969.67,-95 1975,-100.33 1975,-105.67 1975,-105.67 1975,-116.33 1975,-116.33 1975,-121.67 1969.67,-127 1964.33,-127 1964.33,-127 1953.67,-127 1953.67,-127 1948.33,-127 1943,-121.67 1943,-116.33 1943,-116.33 1943,-105.67 1943,-105.67 1943,-100.33 1948.33,-95 1953.67,-95"/>
    <text text-anchor="start" x="1948" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M1953.67,-95C1953.67,-95 1964.33,-95 1964.33,-95 1969.67,-95 1975,-100.33 1975,-105.67 1975,-105.67 1975,-116.33 1975,-116.33 1975,-121.67 1969.67,-127 1964.33,-127 1964.33,-127 1953.67,-127 1953.67,-127 1948.33,-127 1943,-121.67 1943,-116.33 1943,-116.33 1943,-105.67 1943,-105.67 1943,-100.33 1948.33,-95 1953.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;17615343019692007359 -->
    <g id="node28" class="node">
    <title>i64&#45;17615343019692007359</title>
    <g id="a_node28"><a xlink:title="i64&#45;17615343019692007359: i64&#45;17615343019692007359">
    <path fill="white" stroke="transparent" d="M2015.67,-16C2015.67,-16 2026.33,-16 2026.33,-16 2031.67,-16 2037,-21.33 2037,-26.67 2037,-26.67 2037,-37.33 2037,-37.33 2037,-42.67 2031.67,-48 2026.33,-48 2026.33,-48 2015.67,-48 2015.67,-48 2010.33,-48 2005,-42.67 2005,-37.33 2005,-37.33 2005,-26.67 2005,-26.67 2005,-21.33 2010.33,-16 2015.67,-16"/>
    <text text-anchor="start" x="2016" y="-28.3" font-family="Helvetica,sans-Serif" font-size="14.00">3</text>
    <path fill="none" stroke="black" d="M2015.67,-16C2015.67,-16 2026.33,-16 2026.33,-16 2031.67,-16 2037,-21.33 2037,-26.67 2037,-26.67 2037,-37.33 2037,-37.33 2037,-42.67 2031.67,-48 2026.33,-48 2026.33,-48 2015.67,-48 2015.67,-48 2010.33,-48 2005,-42.67 2005,-37.33 2005,-37.33 2005,-26.67 2005,-26.67 2005,-21.33 2010.33,-16 2015.67,-16"/>
    </a>
    </g>
    </g>
    <!-- left&#45;17615343019692007359&#45;value -->
    <g id="node29" class="node">
    <title>left&#45;17615343019692007359&#45;value</title>
    <g id="a_node29"><a xlink:title="left&#45;17615343019692007359&#45;value: left&#45;17615343019692007359&#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>
    <!-- right&#45;4208978898528913939 -->
    <g id="node30" class="node">
    <title>right&#45;4208978898528913939</title>
    <g id="a_node30"><a xlink:title="right&#45;4208978898528913939&#45;value: right&#45;4208978898528913939">
    <path fill="white" stroke="transparent" d="M1327.67,-95C1327.67,-95 1350.33,-95 1350.33,-95 1355.67,-95 1361,-100.33 1361,-105.67 1361,-105.67 1361,-116.33 1361,-116.33 1361,-121.67 1355.67,-127 1350.33,-127 1350.33,-127 1327.67,-127 1327.67,-127 1322.33,-127 1317,-121.67 1317,-116.33 1317,-116.33 1317,-105.67 1317,-105.67 1317,-100.33 1322.33,-95 1327.67,-95"/>
    <text text-anchor="start" x="1322" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M1327.67,-95C1327.67,-95 1350.33,-95 1350.33,-95 1355.67,-95 1361,-100.33 1361,-105.67 1361,-105.67 1361,-116.33 1361,-116.33 1361,-121.67 1355.67,-127 1350.33,-127 1350.33,-127 1327.67,-127 1327.67,-127 1322.33,-127 1317,-121.67 1317,-116.33 1317,-116.33 1317,-105.67 1317,-105.67 1317,-100.33 1322.33,-95 1327.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;4208978898528913939&#45;value -->
    <g id="node31" class="node">
    <title>right&#45;4208978898528913939&#45;value</title>
    <g id="a_node31"><a xlink:title="right&#45;4208978898528913939&#45;value: right&#45;4208978898528913939&#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;17615343019692007359 -->
    <g id="node32" class="node">
    <title>right&#45;17615343019692007359</title>
    <g id="a_node32"><a xlink:title="right&#45;17615343019692007359&#45;value: right&#45;17615343019692007359">
    <path fill="white" stroke="transparent" d="M2071.67,-95C2071.67,-95 2094.33,-95 2094.33,-95 2099.67,-95 2105,-100.33 2105,-105.67 2105,-105.67 2105,-116.33 2105,-116.33 2105,-121.67 2099.67,-127 2094.33,-127 2094.33,-127 2071.67,-127 2071.67,-127 2066.33,-127 2061,-121.67 2061,-116.33 2061,-116.33 2061,-105.67 2061,-105.67 2061,-100.33 2066.33,-95 2071.67,-95"/>
    <text text-anchor="start" x="2066" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M2071.67,-95C2071.67,-95 2094.33,-95 2094.33,-95 2099.67,-95 2105,-100.33 2105,-105.67 2105,-105.67 2105,-116.33 2105,-116.33 2105,-121.67 2099.67,-127 2094.33,-127 2094.33,-127 2071.67,-127 2071.67,-127 2066.33,-127 2061,-121.67 2061,-116.33 2061,-116.33 2061,-105.67 2061,-105.67 2061,-100.33 2066.33,-95 2071.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;17615343019692007359&#45;value -->
    <g id="node33" class="node">
    <title>right&#45;17615343019692007359&#45;value</title>
    <g id="a_node33"><a xlink:title="right&#45;17615343019692007359&#45;value: right&#45;17615343019692007359&#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>
    <!-- right&#45;5040379952546458196 -->
    <g id="node34" class="node">
    <title>right&#45;5040379952546458196</title>
    <g id="a_node34"><a xlink:title="right&#45;5040379952546458196&#45;value: right&#45;5040379952546458196">
    <path fill="white" stroke="transparent" d="M2195.67,-95C2195.67,-95 2218.33,-95 2218.33,-95 2223.67,-95 2229,-100.33 2229,-105.67 2229,-105.67 2229,-116.33 2229,-116.33 2229,-121.67 2223.67,-127 2218.33,-127 2218.33,-127 2195.67,-127 2195.67,-127 2190.33,-127 2185,-121.67 2185,-116.33 2185,-116.33 2185,-105.67 2185,-105.67 2185,-100.33 2190.33,-95 2195.67,-95"/>
    <text text-anchor="start" x="2190" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M2195.67,-95C2195.67,-95 2218.33,-95 2218.33,-95 2223.67,-95 2229,-100.33 2229,-105.67 2229,-105.67 2229,-116.33 2229,-116.33 2229,-121.67 2223.67,-127 2218.33,-127 2218.33,-127 2195.67,-127 2195.67,-127 2190.33,-127 2185,-121.67 2185,-116.33 2185,-116.33 2185,-105.67 2185,-105.67 2185,-100.33 2190.33,-95 2195.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;5040379952546458196 -->
    <g id="node35" class="node">
    <title>i64&#45;5040379952546458196</title>
    <g id="a_node35"><a xlink:title="i64&#45;5040379952546458196: i64&#45;5040379952546458196">
    <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">4</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>
    <!-- right&#45;5040379952546458196&#45;value -->
    <g id="node36" class="node">
    <title>right&#45;5040379952546458196&#45;value</title>
    <g id="a_node36"><a xlink:title="right&#45;5040379952546458196&#45;value: right&#45;5040379952546458196&#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>
    <!-- left&#45;5040379952546458196 -->
    <g id="node37" class="node">
    <title>left&#45;5040379952546458196</title>
    <g id="a_node37"><a xlink:title="left&#45;5040379952546458196&#45;value: left&#45;5040379952546458196">
    <path fill="white" stroke="transparent" d="M2325.67,-95C2325.67,-95 2336.33,-95 2336.33,-95 2341.67,-95 2347,-100.33 2347,-105.67 2347,-105.67 2347,-116.33 2347,-116.33 2347,-121.67 2341.67,-127 2336.33,-127 2336.33,-127 2325.67,-127 2325.67,-127 2320.33,-127 2315,-121.67 2315,-116.33 2315,-116.33 2315,-105.67 2315,-105.67 2315,-100.33 2320.33,-95 2325.67,-95"/>
    <text text-anchor="start" x="2320" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M2325.67,-95C2325.67,-95 2336.33,-95 2336.33,-95 2341.67,-95 2347,-100.33 2347,-105.67 2347,-105.67 2347,-116.33 2347,-116.33 2347,-121.67 2341.67,-127 2336.33,-127 2336.33,-127 2325.67,-127 2325.67,-127 2320.33,-127 2315,-121.67 2315,-116.33 2315,-116.33 2315,-105.67 2315,-105.67 2315,-100.33 2320.33,-95 2325.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;5040379952546458196&#45;value -->
    <g id="node38" class="node">
    <title>left&#45;5040379952546458196&#45;value</title>
    <g id="a_node38"><a xlink:title="left&#45;5040379952546458196&#45;value: left&#45;5040379952546458196&#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>
    <!-- left&#45;16783941965674463102 -->
    <g id="node39" class="node">
    <title>left&#45;16783941965674463102</title>
    <g id="a_node39"><a xlink:title="left&#45;16783941965674463102&#45;value: left&#45;16783941965674463102">
    <path fill="white" stroke="transparent" d="M341.67,-95C341.67,-95 352.33,-95 352.33,-95 357.67,-95 363,-100.33 363,-105.67 363,-105.67 363,-116.33 363,-116.33 363,-121.67 357.67,-127 352.33,-127 352.33,-127 341.67,-127 341.67,-127 336.33,-127 331,-121.67 331,-116.33 331,-116.33 331,-105.67 331,-105.67 331,-100.33 336.33,-95 341.67,-95"/>
    <text text-anchor="start" x="336" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M341.67,-95C341.67,-95 352.33,-95 352.33,-95 357.67,-95 363,-100.33 363,-105.67 363,-105.67 363,-116.33 363,-116.33 363,-121.67 357.67,-127 352.33,-127 352.33,-127 341.67,-127 341.67,-127 336.33,-127 331,-121.67 331,-116.33 331,-116.33 331,-105.67 331,-105.67 331,-100.33 336.33,-95 341.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;16783941965674463102&#45;value -->
    <g id="node40" class="node">
    <title>left&#45;16783941965674463102&#45;value</title>
    <g id="a_node40"><a xlink:title="left&#45;16783941965674463102&#45;value: left&#45;16783941965674463102&#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>
    <!-- right&#45;10080759905092916392 -->
    <g id="node41" class="node">
    <title>right&#45;10080759905092916392</title>
    <g id="a_node41"><a xlink:title="right&#45;10080759905092916392&#45;value: right&#45;10080759905092916392">
    <path fill="white" stroke="transparent" d="M2443.67,-95C2443.67,-95 2466.33,-95 2466.33,-95 2471.67,-95 2477,-100.33 2477,-105.67 2477,-105.67 2477,-116.33 2477,-116.33 2477,-121.67 2471.67,-127 2466.33,-127 2466.33,-127 2443.67,-127 2443.67,-127 2438.33,-127 2433,-121.67 2433,-116.33 2433,-116.33 2433,-105.67 2433,-105.67 2433,-100.33 2438.33,-95 2443.67,-95"/>
    <text text-anchor="start" x="2438" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M2443.67,-95C2443.67,-95 2466.33,-95 2466.33,-95 2471.67,-95 2477,-100.33 2477,-105.67 2477,-105.67 2477,-116.33 2477,-116.33 2477,-121.67 2471.67,-127 2466.33,-127 2466.33,-127 2443.67,-127 2443.67,-127 2438.33,-127 2433,-121.67 2433,-116.33 2433,-116.33 2433,-105.67 2433,-105.67 2433,-100.33 2438.33,-95 2443.67,-95"/>
    </a>
    </g>
    </g>
    <!-- i64&#45;10080759905092916392 -->
    <g id="node42" class="node">
    <title>i64&#45;10080759905092916392</title>
    <g id="a_node42"><a xlink:title="i64&#45;10080759905092916392: i64&#45;10080759905092916392">
    <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">8</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>
    <!-- right&#45;10080759905092916392&#45;value -->
    <g id="node43" class="node">
    <title>right&#45;10080759905092916392&#45;value</title>
    <g id="a_node43"><a xlink:title="right&#45;10080759905092916392&#45;value: right&#45;10080759905092916392&#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>
    <!-- left&#45;10080759905092916392 -->
    <g id="node44" class="node">
    <title>left&#45;10080759905092916392</title>
    <g id="a_node44"><a xlink:title="left&#45;10080759905092916392&#45;value: left&#45;10080759905092916392">
    <path fill="white" stroke="transparent" d="M2573.67,-95C2573.67,-95 2584.33,-95 2584.33,-95 2589.67,-95 2595,-100.33 2595,-105.67 2595,-105.67 2595,-116.33 2595,-116.33 2595,-121.67 2589.67,-127 2584.33,-127 2584.33,-127 2573.67,-127 2573.67,-127 2568.33,-127 2563,-121.67 2563,-116.33 2563,-116.33 2563,-105.67 2563,-105.67 2563,-100.33 2568.33,-95 2573.67,-95"/>
    <text text-anchor="start" x="2568" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M2573.67,-95C2573.67,-95 2584.33,-95 2584.33,-95 2589.67,-95 2595,-100.33 2595,-105.67 2595,-105.67 2595,-116.33 2595,-116.33 2595,-121.67 2589.67,-127 2584.33,-127 2584.33,-127 2573.67,-127 2573.67,-127 2568.33,-127 2563,-121.67 2563,-116.33 2563,-116.33 2563,-105.67 2563,-105.67 2563,-100.33 2568.33,-95 2573.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;10080759905092916392&#45;value -->
    <g id="node45" class="node">
    <title>left&#45;10080759905092916392&#45;value</title>
    <g id="a_node45"><a xlink:title="left&#45;10080759905092916392&#45;value: left&#45;10080759905092916392&#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>
    <!-- left&#45;0 -->
    <g id="node46" class="node">
    <title>left&#45;0</title>
    <g id="a_node46"><a xlink:title="left&#45;0&#45;value: left&#45;0">
    <path fill="white" stroke="transparent" d="M1581.67,-95C1581.67,-95 1592.33,-95 1592.33,-95 1597.67,-95 1603,-100.33 1603,-105.67 1603,-105.67 1603,-116.33 1603,-116.33 1603,-121.67 1597.67,-127 1592.33,-127 1592.33,-127 1581.67,-127 1581.67,-127 1576.33,-127 1571,-121.67 1571,-116.33 1571,-116.33 1571,-105.67 1571,-105.67 1571,-100.33 1576.33,-95 1581.67,-95"/>
    <text text-anchor="start" x="1576" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">left</text>
    <path fill="none" stroke="black" d="M1581.67,-95C1581.67,-95 1592.33,-95 1592.33,-95 1597.67,-95 1603,-100.33 1603,-105.67 1603,-105.67 1603,-116.33 1603,-116.33 1603,-121.67 1597.67,-127 1592.33,-127 1592.33,-127 1581.67,-127 1581.67,-127 1576.33,-127 1571,-121.67 1571,-116.33 1571,-116.33 1571,-105.67 1571,-105.67 1571,-100.33 1576.33,-95 1581.67,-95"/>
    </a>
    </g>
    </g>
    <!-- left&#45;0&#45;value -->
    <g id="node47" class="node">
    <title>left&#45;0&#45;value</title>
    <g id="a_node47"><a xlink:title="left&#45;0&#45;value: left&#45;0&#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>
    <!-- right&#45;10912160959110460649 -->
    <g id="node48" class="node">
    <title>right&#45;10912160959110460649</title>
    <g id="a_node48"><a xlink:title="right&#45;10912160959110460649&#45;value: right&#45;10912160959110460649">
    <path fill="white" stroke="transparent" d="M1823.67,-95C1823.67,-95 1846.33,-95 1846.33,-95 1851.67,-95 1857,-100.33 1857,-105.67 1857,-105.67 1857,-116.33 1857,-116.33 1857,-121.67 1851.67,-127 1846.33,-127 1846.33,-127 1823.67,-127 1823.67,-127 1818.33,-127 1813,-121.67 1813,-116.33 1813,-116.33 1813,-105.67 1813,-105.67 1813,-100.33 1818.33,-95 1823.67,-95"/>
    <text text-anchor="start" x="1818" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M1823.67,-95C1823.67,-95 1846.33,-95 1846.33,-95 1851.67,-95 1857,-100.33 1857,-105.67 1857,-105.67 1857,-116.33 1857,-116.33 1857,-121.67 1851.67,-127 1846.33,-127 1846.33,-127 1823.67,-127 1823.67,-127 1818.33,-127 1813,-121.67 1813,-116.33 1813,-116.33 1813,-105.67 1813,-105.67 1813,-100.33 1818.33,-95 1823.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;10912160959110460649&#45;value -->
    <g id="node49" class="node">
    <title>right&#45;10912160959110460649&#45;value</title>
    <g id="a_node49"><a xlink:title="right&#45;10912160959110460649&#45;value: right&#45;10912160959110460649&#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;15952540911656918845 -->
    <g id="node50" class="node">
    <title>left&#45;15952540911656918845</title>
    <g id="a_node50"><a xlink:title="left&#45;15952540911656918845&#45;value: left&#45;15952540911656918845">
    <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>
    <!-- left&#45;15952540911656918845&#45;value -->
    <g id="node51" class="node">
    <title>left&#45;15952540911656918845&#45;value</title>
    <g id="a_node51"><a xlink:title="left&#45;15952540911656918845&#45;value: left&#45;15952540911656918845&#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;11743562013128004906 -->
    <g id="node52" class="node">
    <title>right&#45;11743562013128004906</title>
    <g id="a_node52"><a xlink:title="right&#45;11743562013128004906&#45;value: right&#45;11743562013128004906">
    <path fill="white" stroke="transparent" d="M583.67,-95C583.67,-95 606.33,-95 606.33,-95 611.67,-95 617,-100.33 617,-105.67 617,-105.67 617,-116.33 617,-116.33 617,-121.67 611.67,-127 606.33,-127 606.33,-127 583.67,-127 583.67,-127 578.33,-127 573,-121.67 573,-116.33 573,-116.33 573,-105.67 573,-105.67 573,-100.33 578.33,-95 583.67,-95"/>
    <text text-anchor="start" x="578" y="-107.3" font-family="Helvetica,sans-Serif" font-size="14.00">right</text>
    <path fill="none" stroke="black" d="M583.67,-95C583.67,-95 606.33,-95 606.33,-95 611.67,-95 617,-100.33 617,-105.67 617,-105.67 617,-116.33 617,-116.33 617,-121.67 611.67,-127 606.33,-127 606.33,-127 583.67,-127 583.67,-127 578.33,-127 573,-121.67 573,-116.33 573,-116.33 573,-105.67 573,-105.67 573,-100.33 578.33,-95 583.67,-95"/>
    </a>
    </g>
    </g>
    <!-- right&#45;11743562013128004906&#45;value -->
    <g id="node53" class="node">
    <title>right&#45;11743562013128004906&#45;value</title>
    <g id="a_node53"><a xlink:title="right&#45;11743562013128004906&#45;value: right&#45;11743562013128004906&#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>
    </g>
    </svg>

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

.. code-block:: Python

    from __future__ import annotations

    from egglog import *

    egraph = EGraph()

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

    egraph.register(left(i64(0)), right(i64(0)))

    x, y = vars_("x y", i64)

    step_left = egraph.ruleset("step-left")
    egraph.register(rule(left(x), right(x), ruleset=step_left).then(left(x + 1)))

    step_right = egraph.ruleset("step-right")
    egraph.register(rule(left(x), right(y), eq(x).to(y + 1), ruleset=step_right).then(right(x)))

    egraph.run(
        seq(
            run(step_right).saturate(),
            run(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.051 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>`_