lab5.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "import numpy as np\n",
    "from copy import copy\n",
    "import random\n",
    "import graphviz\n",
    "from IPython.display import display"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "class Node:\n",
    "    def __init__(self):\n",
    "        self.parent = None\n",
    "        self.childs = []\n",
    "        self.strats = []\n",
    "        self.id = None\n",
    "        self.prices = None\n",
    "        self.player = None\n",
    "        self.paths = []\n",
    "        \n",
    "    def is_leaf(self):\n",
    "        return len(self.childs) == 0\n",
    "    \n",
    "    def __repr__(self):\n",
    "        return f'Node({self.id}; {self.paths})'"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Построение дерева"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [],
   "source": [
    "def generate_heights(height, count):\n",
    "    return np.append(np.random.randint(0, height, size=count-1), height)[np.random.choice(count, count, replace=False)]\n",
    "\n",
    "def generate_subtree(root, height, players_count, strat_count, random_limits, turn, id_container):\n",
    "    root.player = turn\n",
    "    if height <= 1:\n",
    "        return\n",
    "    \n",
    "    heights = generate_heights(height - 1, strat_count[turn])\n",
    "    \n",
    "    for i in range(strat_count[turn]):\n",
    "        id_container['id'] += 1\n",
    "        child = Node()\n",
    "        child.id = id_container['id']\n",
    "        child.parent = root\n",
    "        \n",
    "        generate_subtree(child, heights[i], players_count, strat_count, random_limits, (turn + 1) % players_count, id_container)\n",
    "        \n",
    "        root.childs.append(child)\n",
    "        \n",
    "\n",
    "def generate_tree(height, players_count, strat_count, random_limits):\n",
    "    id_container = {'id' : 0}\n",
    "    \n",
    "    root = Node()\n",
    "    root.id = id_container['id']\n",
    "    root.player = 0\n",
    "    \n",
    "    heights = generate_heights(height, players_count)\n",
    "    \n",
    "    for i in range(players_count):\n",
    "        id_container['id'] += 1\n",
    "        child = Node()\n",
    "        child.id = id_container['id']\n",
    "        child.parent = root\n",
    "        generate_subtree(child, heights[i], players_count, strat_count, random_limits, i, id_container)\n",
    "        \n",
    "        root.childs.append(child)\n",
    "        \n",
    "    fill_leafes(get_leafes(root), players_count, random_limits)\n",
    "    \n",
    "    root.paths = [i for i in range(players_count)]\n",
    "    \n",
    "    return root\n",
    "\n",
    "def get_leafes(root):\n",
    "    if root.is_leaf():\n",
    "        return [root]\n",
    "    \n",
    "    leafes = []\n",
    "    \n",
    "    for i in root.childs:\n",
    "        leafes.extend(get_leafes(i))\n",
    "        \n",
    "    return leafes\n",
    "\n",
    "def fill_leafes(leafes, players_count, random_limits):\n",
    "    for leaf in leafes:\n",
    "        leaf.strats = np.array([np.random.randint(random_limits[0], random_limits[1], players_count)])\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Поиск пути"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [],
   "source": [
    "def solve_tree(root, players_count):\n",
    "    for child in root.childs:\n",
    "        solve_subtree(child, players_count)\n",
    "        root.strats = np.append(root.strats, child.strats)\n",
    "        \n",
    "    root.strats = root.strats.reshape(root.strats.shape[0] // players_count, players_count)\n",
    "        \n",
    "def solve_subtree(root, players_count):\n",
    "    if root.is_leaf():\n",
    "        return\n",
    "        \n",
    "    all_strats = []\n",
    "    root.strats = np.array([])\n",
    "\n",
    "    for child in root.childs:\n",
    "        solve_subtree(child, players_count)\n",
    "        \n",
    "        all_strats.append(child.strats)\n",
    "        \n",
    "    maximum = -999999999999999\n",
    "    \n",
    "    for strats in all_strats:\n",
    "        maximum = max(maximum, np.max(strats[:, root.player]))\n",
    "\n",
    "    for id, strats in enumerate(all_strats):\n",
    "        if maximum == np.max(strats[:, root.player]):\n",
    "            root.strats = np.append(root.strats, strats)\n",
    "            root.paths.append(id)\n",
    "    \n",
    "        \n",
    "    root.strats = root.strats.reshape(root.strats.shape[0] // players_count, players_count)\n",
    "    \n",
    "def get_full_paths(root):\n",
    "    if root.is_leaf():\n",
    "        return [[root]]\n",
    "    \n",
    "    paths = []\n",
    "    for id, child in enumerate(root.childs):\n",
    "        if id in root.paths:\n",
    "            path = [root]\n",
    "            \n",
    "            child_paths = get_full_paths(child)\n",
    "            \n",
    "            for child_path in child_paths:\n",
    "                paths.append(path + child_path)\n",
    "            \n",
    "    return paths\n",
    "\n",
    "def get_paths_meta(paths):\n",
    "    meta = {}\n",
    "    \n",
    "    for id, path in enumerate(paths):\n",
    "        for i in range(1, len(path)):\n",
    "            edge = (path[i - 1].id, path[i].id)\n",
    "            \n",
    "            if edge not in meta.keys():\n",
    "                meta[edge] = []\n",
    "                \n",
    "            meta[edge].append(id)\n",
    "    \n",
    "    for i in range(len(paths)):\n",
    "        meta[i] = paths[i][-1].strats[0]\n",
    "            \n",
    "    return meta"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Вывод в DOT"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [],
   "source": [
    "COLORS = ['red', 'green', 'blue', 'orange', 'pink', 'greenyellow', 'magenta']\n",
    "    \n",
    "def generate_dot_strings(root, paths_meta = None):\n",
    "    notes = []\n",
    "    \n",
    "    if root.parent is None:\n",
    "        notes.append('digraph G {')\n",
    "        notes.append('rankdir = LR')\n",
    "        notes.append('_0[label=\"player; id\\\\n[costs]\",color=orange]')\n",
    "        strats = root.strats\n",
    "        if strats is not None:\n",
    "            strats = np.round(strats, 2)\n",
    "            \n",
    "        notes.append(f'{root.id}[label=\"{strats}\"]')\n",
    "    else:\n",
    "        strats = root.strats\n",
    "        if strats is not None:\n",
    "            strats = np.round(strats, 2)\n",
    "            \n",
    "        label = ''\n",
    "        if not root.is_leaf():\n",
    "            label += f'{root.player + 1}; '\n",
    "        label += f'{root.id}\\\\n{strats}'\n",
    "        \n",
    "        notes.append(f'{root.id}[label=\"{label}\"]')\n",
    "        \n",
    "    for id, node in enumerate(root.childs):\n",
    "        if paths_meta is not None and (root.id, node.id) in paths_meta.keys():\n",
    "            for i in paths_meta[(root.id, node.id)]:\n",
    "                color = COLORS[i]\n",
    "                label = paths_meta[i]\n",
    "                notes.append(f'{root.id} -> {node.id}[color={color},label=<<font color=\"{color}\">{label}</font>>]')\n",
    "        else:\n",
    "            notes.append(f'{root.id} -> {node.id}')\n",
    "        \n",
    "        child_notes = generate_dot_strings(node, paths_meta)\n",
    "        \n",
    "        notes.extend(child_notes)\n",
    "        \n",
    "    if root.parent is None:\n",
    "        notes.append('}')\n",
    "        \n",
    "    return notes\n",
    "\n",
    "def diplay_tree(root):\n",
    "    paths = get_full_paths(tree)\n",
    "    meta = get_paths_meta(paths)\n",
    "    display(graphviz.Source('\\n'.join(generate_dot_strings(tree, meta))))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Вариант 15"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [],
   "source": [
    "game_params = {\n",
    "    'height' : 7,\n",
    "    'players_count' : 2,\n",
    "    'strat_count' : (3, 2),\n",
    "    'random_limits' : (-10, 20)\n",
    "}"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "metadata": {
    "scrolled": false
   },
   "outputs": [],
   "source": [
    "tree = generate_tree(**game_params)\n",
    "solve_tree(tree, game_params['players_count'])"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "metadata": {
    "scrolled": false
   },
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
       " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
       "<!-- Generated by graphviz version 2.40.1 (20161225.0304)\n",
       " -->\n",
       "<!-- Title: G Pages: 1 -->\n",
       "<svg width=\"1539pt\" height=\"1209pt\"\n",
       " viewBox=\"0.00 0.00 1539.35 1208.74\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 1204.7401)\">\n",
       "<title>G</title>\n",
       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-1204.7401 1535.3515,-1204.7401 1535.3515,4 -4,4\"/>\n",
       "<!-- _0 -->\n",
       "<g id=\"node1\" class=\"node\">\n",
       "<title>_0</title>\n",
       "<ellipse fill=\"none\" stroke=\"#ffa500\" cx=\"59.397\" cy=\"-511.8701\" rx=\"59.2941\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"59.397\" y=\"-515.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">player; id</text>\n",
       "<text text-anchor=\"middle\" x=\"59.397\" y=\"-500.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[costs]</text>\n",
       "</g>\n",
       "<!-- 0 -->\n",
       "<g id=\"node2\" class=\"node\">\n",
       "<title>0</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"59.397\" cy=\"-604.8701\" rx=\"54.3945\" ry=\"48.1667\"/>\n",
       "<text text-anchor=\"middle\" x=\"59.397\" y=\"-623.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[19. &#45;2.]</text>\n",
       "<text text-anchor=\"middle\" x=\"59.397\" y=\"-608.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> [&#45;4. &#160;5.]</text>\n",
       "<text text-anchor=\"middle\" x=\"59.397\" y=\"-593.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> [19. &#160;5.]</text>\n",
       "<text text-anchor=\"middle\" x=\"59.397\" y=\"-578.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> [&#45;4. &#160;6.]]</text>\n",
       "</g>\n",
       "<!-- 1 -->\n",
       "<g id=\"node3\" class=\"node\">\n",
       "<title>1</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"259.7767\" cy=\"-642.8701\" rx=\"57.9655\" ry=\"48.1667\"/>\n",
       "<text text-anchor=\"middle\" x=\"259.7767\" y=\"-661.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1; 1</text>\n",
       "<text text-anchor=\"middle\" x=\"259.7767\" y=\"-646.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[19. &#45;2.]</text>\n",
       "<text text-anchor=\"middle\" x=\"259.7767\" y=\"-631.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> [&#45;4. &#160;5.]</text>\n",
       "<text text-anchor=\"middle\" x=\"259.7767\" y=\"-616.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> [19. &#160;5.]]</text>\n",
       "</g>\n",
       "<!-- 0&#45;&gt;1 -->\n",
       "<g id=\"edge1\" class=\"edge\">\n",
       "<title>0&#45;&gt;1</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" d=\"M106.244,-629.6343C116.0875,-633.8084 126.5864,-637.5387 136.7939,-639.8701 154.2806,-643.8639 173.53,-645.5601 191.5034,-646.0365\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"191.5758,-649.5378 201.6256,-646.1834 191.6775,-642.5385 191.5758,-649.5378\"/>\n",
       "<text text-anchor=\"start\" x=\"136.7939\" y=\"-648.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#ff0000\">[19 &#45;2]</text>\n",
       "</g>\n",
       "<!-- 0&#45;&gt;1 -->\n",
       "<g id=\"edge2\" class=\"edge\">\n",
       "<title>0&#45;&gt;1</title>\n",
       "<path fill=\"none\" stroke=\"#00ff00\" d=\"M113.5818,-610.0039C135.508,-612.5572 160.9824,-616.13 183.7939,-620.8701 187.6177,-621.6646 191.5295,-622.5541 195.4626,-623.5076\"/>\n",
       "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"194.6914,-626.9228 205.2453,-625.9922 196.4146,-620.1382 194.6914,-626.9228\"/>\n",
       "<text text-anchor=\"start\" x=\"138.7939\" y=\"-624.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#00ff00\">[&#45;4 &#160;5]</text>\n",
       "</g>\n",
       "<!-- 0&#45;&gt;1 -->\n",
       "<g id=\"edge3\" class=\"edge\">\n",
       "<title>0&#45;&gt;1</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" d=\"M112,-591.6906C134.4933,-588.2266 160.8122,-587.1024 183.7939,-593.8701 192.3272,-596.3829 200.806,-600.1846 208.8363,-604.5812\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"207.2923,-607.7328 217.6912,-609.761 210.8268,-601.6906 207.2923,-607.7328\"/>\n",
       "<text text-anchor=\"start\" x=\"136.7939\" y=\"-597.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#0000ff\">[19 &#160;5]</text>\n",
       "</g>\n",
       "<!-- 42 -->\n",
       "<g id=\"node44\" class=\"node\">\n",
       "<title>42</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"259.7767\" cy=\"-460.8701\" rx=\"55.3091\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"259.7767\" y=\"-464.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2; 42</text>\n",
       "<text text-anchor=\"middle\" x=\"259.7767\" y=\"-449.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;4. &#160;6.]]</text>\n",
       "</g>\n",
       "<!-- 0&#45;&gt;42 -->\n",
       "<g id=\"edge47\" class=\"edge\">\n",
       "<title>0&#45;&gt;42</title>\n",
       "<path fill=\"none\" stroke=\"#ffa500\" d=\"M101.8924,-574.3314C136.9476,-549.1394 186.2974,-513.6749 220.452,-489.1302\"/>\n",
       "<polygon fill=\"#ffa500\" stroke=\"#ffa500\" points=\"222.712,-491.8161 228.7901,-483.1381 218.6269,-486.1317 222.712,-491.8161\"/>\n",
       "<text text-anchor=\"start\" x=\"138.7939\" y=\"-548.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#ffa500\">[&#45;4 &#160;6]</text>\n",
       "</g>\n",
       "<!-- 2 -->\n",
       "<g id=\"node4\" class=\"node\">\n",
       "<title>2</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"459.4493\" cy=\"-939.8701\" rx=\"58.8803\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"459.4493\" y=\"-943.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2; 2</text>\n",
       "<text text-anchor=\"middle\" x=\"459.4493\" y=\"-928.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[19. &#45;2.]]</text>\n",
       "</g>\n",
       "<!-- 1&#45;&gt;2 -->\n",
       "<g id=\"edge4\" class=\"edge\">\n",
       "<title>1&#45;&gt;2</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" d=\"M288.1729,-685.1075C327.9491,-744.272 399.4966,-850.6944 436.2575,-905.3737\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"433.578,-907.6614 442.062,-914.0075 439.3872,-903.7559 433.578,-907.6614\"/>\n",
       "<text text-anchor=\"start\" x=\"335.7595\" y=\"-821.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#ff0000\">[19 &#45;2]</text>\n",
       "</g>\n",
       "<!-- 10 -->\n",
       "<g id=\"node12\" class=\"node\">\n",
       "<title>10</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"459.4493\" cy=\"-680.8701\" rx=\"57.9655\" ry=\"37.4533\"/>\n",
       "<text text-anchor=\"middle\" x=\"459.4493\" y=\"-692.1701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2; 10</text>\n",
       "<text text-anchor=\"middle\" x=\"459.4493\" y=\"-677.1701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;4. &#160;5.]</text>\n",
       "<text text-anchor=\"middle\" x=\"459.4493\" y=\"-662.1701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> [19. &#160;5.]]</text>\n",
       "</g>\n",
       "<!-- 1&#45;&gt;10 -->\n",
       "<g id=\"edge12\" class=\"edge\">\n",
       "<title>1&#45;&gt;10</title>\n",
       "<path fill=\"none\" stroke=\"#00ff00\" d=\"M316.1672,-654.9508C322.766,-656.3033 329.4073,-657.6367 335.7595,-658.8701 354.4532,-662.4998 374.7829,-666.2126 393.4583,-669.5297\"/>\n",
       "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"392.8917,-672.9837 403.3481,-671.277 394.1096,-666.0904 392.8917,-672.9837\"/>\n",
       "<text text-anchor=\"start\" x=\"337.7595\" y=\"-670.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#00ff00\">[&#45;4 &#160;5]</text>\n",
       "</g>\n",
       "<!-- 1&#45;&gt;10 -->\n",
       "<g id=\"edge13\" class=\"edge\">\n",
       "<title>1&#45;&gt;10</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" d=\"M317.114,-635.1544C338.0451,-633.9828 361.7314,-634.6019 382.7595,-639.8701 391.686,-642.1064 400.7093,-645.6022 409.2773,-649.6308\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"407.8602,-652.8353 418.3697,-654.1771 410.9907,-646.5743 407.8602,-652.8353\"/>\n",
       "<text text-anchor=\"start\" x=\"335.7595\" y=\"-643.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#0000ff\">[19 &#160;5]</text>\n",
       "</g>\n",
       "<!-- 26 -->\n",
       "<g id=\"node28\" class=\"node\">\n",
       "<title>26</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"459.4493\" cy=\"-532.8701\" rx=\"58.8803\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"459.4493\" y=\"-536.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2; 26</text>\n",
       "<text text-anchor=\"middle\" x=\"459.4493\" y=\"-521.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[18. &#160;0.]]</text>\n",
       "</g>\n",
       "<!-- 1&#45;&gt;26 -->\n",
       "<g id=\"edge31\" class=\"edge\">\n",
       "<title>1&#45;&gt;26</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M308.1119,-616.2421C339.9413,-598.7072 381.3883,-575.874 412.858,-558.5373\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"414.7968,-561.4652 421.8668,-553.5743 411.4191,-555.3341 414.7968,-561.4652\"/>\n",
       "</g>\n",
       "<!-- 3 -->\n",
       "<g id=\"node5\" class=\"node\">\n",
       "<title>3</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"669.0214\" cy=\"-1053.8701\" rx=\"67.7647\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-1057.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1; 3</text>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-1042.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[ 17. &#45;10.]]</text>\n",
       "</g>\n",
       "<!-- 2&#45;&gt;3 -->\n",
       "<g id=\"edge5\" class=\"edge\">\n",
       "<title>2&#45;&gt;3</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M497.4012,-960.5146C531.6542,-979.1471 582.2597,-1006.6747 619.6498,-1027.0136\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"618.3961,-1030.3159 628.8531,-1032.0199 621.7411,-1024.1668 618.3961,-1030.3159\"/>\n",
       "</g>\n",
       "<!-- 9 -->\n",
       "<g id=\"node11\" class=\"node\">\n",
       "<title>9</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"669.0214\" cy=\"-939.8701\" rx=\"52.1524\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-943.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">9</text>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-928.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[19 &#45;2]]</text>\n",
       "</g>\n",
       "<!-- 2&#45;&gt;9 -->\n",
       "<g id=\"edge11\" class=\"edge\">\n",
       "<title>2&#45;&gt;9</title>\n",
       "<path fill=\"none\" stroke=\"#ff0000\" d=\"M518.3845,-939.8701C545.88,-939.8701 578.6218,-939.8701 606.5458,-939.8701\"/>\n",
       "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"606.597,-943.3702 616.5969,-939.8701 606.5969,-936.3702 606.597,-943.3702\"/>\n",
       "<text text-anchor=\"start\" x=\"536.1392\" y=\"-943.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#ff0000\">[19 &#45;2]</text>\n",
       "</g>\n",
       "<!-- 4 -->\n",
       "<g id=\"node6\" class=\"node\">\n",
       "<title>4</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-1173.8701\" rx=\"61.5366\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-1177.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">4</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-1162.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[ 17 &#45;10]]</text>\n",
       "</g>\n",
       "<!-- 3&#45;&gt;4 -->\n",
       "<g id=\"edge6\" class=\"edge\">\n",
       "<title>3&#45;&gt;4</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M707.979,-1075.8799C743.7911,-1096.1127 796.9334,-1126.1365 834.9474,-1147.6133\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"833.3534,-1150.7327 843.7816,-1152.6044 836.7967,-1144.6381 833.3534,-1150.7327\"/>\n",
       "</g>\n",
       "<!-- 5 -->\n",
       "<g id=\"node7\" class=\"node\">\n",
       "<title>5</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-1101.8701\" rx=\"58.8803\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-1105.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2; 5</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-1090.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;5. 12.]]</text>\n",
       "</g>\n",
       "<!-- 3&#45;&gt;5 -->\n",
       "<g id=\"edge7\" class=\"edge\">\n",
       "<title>3&#45;&gt;5</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M728.1868,-1067.2407C756.4062,-1073.618 790.178,-1081.25 818.8266,-1087.7242\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"818.2032,-1091.1716 828.7288,-1089.962 819.7463,-1084.3437 818.2032,-1091.1716\"/>\n",
       "</g>\n",
       "<!-- 8 -->\n",
       "<g id=\"node10\" class=\"node\">\n",
       "<title>8</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-1029.8701\" rx=\"55.3091\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-1033.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">8</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-1018.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[16 16]]</text>\n",
       "</g>\n",
       "<!-- 3&#45;&gt;8 -->\n",
       "<g id=\"edge10\" class=\"edge\">\n",
       "<title>3&#45;&gt;8</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M734.4817,-1046.4734C760.8455,-1043.4945 791.1573,-1040.0694 817.3768,-1037.1068\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"818.0393,-1040.5543 827.583,-1035.9535 817.2533,-1033.5986 818.0393,-1040.5543\"/>\n",
       "</g>\n",
       "<!-- 6 -->\n",
       "<g id=\"node8\" class=\"node\">\n",
       "<title>6</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1084.6301\" cy=\"-1137.8701\" rx=\"52.1524\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-1141.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">6</text>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-1126.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;5 12]]</text>\n",
       "</g>\n",
       "<!-- 5&#45;&gt;6 -->\n",
       "<g id=\"edge8\" class=\"edge\">\n",
       "<title>5&#45;&gt;6</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M936.413,-1111.6122C963.8405,-1116.4712 997.0536,-1122.3552 1025.082,-1127.3206\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1024.696,-1130.8067 1035.1533,-1129.1048 1025.9172,-1123.914 1024.696,-1130.8067\"/>\n",
       "</g>\n",
       "<!-- 7 -->\n",
       "<g id=\"node9\" class=\"node\">\n",
       "<title>7</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1084.6301\" cy=\"-1065.8701\" rx=\"52.1524\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-1069.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">7</text>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-1054.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[ 5 10]]</text>\n",
       "</g>\n",
       "<!-- 5&#45;&gt;7 -->\n",
       "<g id=\"edge9\" class=\"edge\">\n",
       "<title>5&#45;&gt;7</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M936.413,-1092.1279C963.8405,-1087.2689 997.0536,-1081.385 1025.082,-1076.4195\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1025.9172,-1079.8261 1035.1533,-1074.6353 1024.696,-1072.9334 1025.9172,-1079.8261\"/>\n",
       "</g>\n",
       "<!-- 11 -->\n",
       "<g id=\"node13\" class=\"node\">\n",
       "<title>11</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"669.0214\" cy=\"-839.8701\" rx=\"58.8803\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-843.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1; 11</text>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-828.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[19. &#45;2.]]</text>\n",
       "</g>\n",
       "<!-- 10&#45;&gt;11 -->\n",
       "<g id=\"edge14\" class=\"edge\">\n",
       "<title>10&#45;&gt;11</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M497.4012,-709.6638C535.015,-738.2009 592.3476,-781.6985 630.246,-810.4516\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"628.4123,-813.4536 638.4944,-816.7096 632.6432,-807.877 628.4123,-813.4536\"/>\n",
       "</g>\n",
       "<!-- 15 -->\n",
       "<g id=\"node17\" class=\"node\">\n",
       "<title>15</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"669.0214\" cy=\"-678.8701\" rx=\"57.9655\" ry=\"37.4533\"/>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-690.1701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1; 15</text>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-675.1701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;4. &#160;5.]</text>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-660.1701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> [19. &#160;5.]]</text>\n",
       "</g>\n",
       "<!-- 10&#45;&gt;15 -->\n",
       "<g id=\"edge18\" class=\"edge\">\n",
       "<title>10&#45;&gt;15</title>\n",
       "<path fill=\"none\" stroke=\"#00ff00\" d=\"M517.5485,-680.3156C543.3278,-680.0696 573.846,-679.7783 600.7098,-679.522\"/>\n",
       "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"600.8431,-683.021 610.8092,-679.4256 600.7762,-676.0213 600.8431,-683.021\"/>\n",
       "<text text-anchor=\"start\" x=\"538.1392\" y=\"-683.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#00ff00\">[&#45;4 &#160;5]</text>\n",
       "</g>\n",
       "<!-- 10&#45;&gt;15 -->\n",
       "<g id=\"edge19\" class=\"edge\">\n",
       "<title>10&#45;&gt;15</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" d=\"M511.8728,-664.5299C519.928,-662.5982 528.204,-660.9369 536.1392,-659.8701 558.7721,-656.8273 583.5483,-658.8979 605.5106,-662.613\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"604.9184,-666.0627 615.3857,-664.4233 606.1807,-659.1774 604.9184,-666.0627\"/>\n",
       "<text text-anchor=\"start\" x=\"536.1392\" y=\"-663.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#0000ff\">[19 &#160;5]</text>\n",
       "</g>\n",
       "<!-- 12 -->\n",
       "<g id=\"node14\" class=\"node\">\n",
       "<title>12</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-957.8701\" rx=\"52.1524\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-961.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">12</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-946.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[19 &#45;2]]</text>\n",
       "</g>\n",
       "<!-- 11&#45;&gt;12 -->\n",
       "<g id=\"edge15\" class=\"edge\">\n",
       "<title>11&#45;&gt;12</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M706.5055,-860.6945C742.8895,-880.9078 798.1313,-911.5976 836.7719,-933.0645\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"835.2855,-936.2426 845.7268,-938.0395 838.685,-930.1234 835.2855,-936.2426\"/>\n",
       "</g>\n",
       "<!-- 13 -->\n",
       "<g id=\"node15\" class=\"node\">\n",
       "<title>13</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-885.8701\" rx=\"42.3529\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-889.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">13</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-874.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[9 5]]</text>\n",
       "</g>\n",
       "<!-- 11&#45;&gt;13 -->\n",
       "<g id=\"edge16\" class=\"edge\">\n",
       "<title>11&#45;&gt;13</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M722.3449,-851.4184C755.7543,-858.654 798.537,-867.9195 831.3182,-875.019\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"830.6348,-878.452 841.1491,-877.1481 832.1165,-871.6106 830.6348,-878.452\"/>\n",
       "</g>\n",
       "<!-- 14 -->\n",
       "<g id=\"node16\" class=\"node\">\n",
       "<title>14</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-813.8701\" rx=\"48.5816\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-817.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">14</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-802.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;1 &#45;6]]</text>\n",
       "</g>\n",
       "<!-- 11&#45;&gt;14 -->\n",
       "<g id=\"edge17\" class=\"edge\">\n",
       "<title>11&#45;&gt;14</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M725.9409,-832.9025C756.191,-829.1996 793.2953,-824.6577 823.6698,-820.9395\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"824.1925,-824.4017 833.6931,-819.7126 823.3419,-817.4536 824.1925,-824.4017\"/>\n",
       "</g>\n",
       "<!-- 16 -->\n",
       "<g id=\"node18\" class=\"node\">\n",
       "<title>16</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-731.8701\" rx=\"57.9655\" ry=\"37.4533\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-743.1701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2; 16</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-728.1701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;4. &#160;5.]</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-713.1701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> [19. &#160;5.]]</text>\n",
       "</g>\n",
       "<!-- 15&#45;&gt;16 -->\n",
       "<g id=\"edge20\" class=\"edge\">\n",
       "<title>15&#45;&gt;16</title>\n",
       "<path fill=\"none\" stroke=\"#00ff00\" d=\"M720.497,-696.763C731.7607,-700.3662 743.6742,-703.9413 754.9037,-706.8701 774.3675,-711.9464 795.7517,-716.5386 815.3114,-720.3615\"/>\n",
       "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"814.8732,-723.8412 825.3537,-722.2889 816.1927,-716.9667 814.8732,-723.8412\"/>\n",
       "<text text-anchor=\"start\" x=\"756.9037\" y=\"-720.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#00ff00\">[&#45;4 &#160;5]</text>\n",
       "</g>\n",
       "<!-- 15&#45;&gt;16 -->\n",
       "<g id=\"edge21\" class=\"edge\">\n",
       "<title>15&#45;&gt;16</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" d=\"M727.2181,-677.3506C750.8097,-678.1332 778.0601,-680.8453 801.9037,-687.8701 811.9966,-690.8436 822.2271,-695.2537 831.8388,-700.1502\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"830.3708,-703.3342 840.8397,-704.9628 833.6714,-697.1612 830.3708,-703.3342\"/>\n",
       "<text text-anchor=\"start\" x=\"754.9037\" y=\"-691.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#0000ff\">[19 &#160;5]</text>\n",
       "</g>\n",
       "<!-- 24 -->\n",
       "<g id=\"node26\" class=\"node\">\n",
       "<title>24</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-649.8701\" rx=\"48.5816\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-653.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">24</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-638.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[ 7 &#45;1]]</text>\n",
       "</g>\n",
       "<!-- 15&#45;&gt;24 -->\n",
       "<g id=\"edge29\" class=\"edge\">\n",
       "<title>15&#45;&gt;24</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M725.8147,-670.0731C735.5139,-668.6281 745.4936,-667.1771 754.9037,-665.8701 777.3372,-662.7541 802.0446,-659.5735 823.6263,-656.8775\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"824.1313,-660.3418 833.6234,-655.6353 823.2681,-653.3952 824.1313,-660.3418\"/>\n",
       "</g>\n",
       "<!-- 25 -->\n",
       "<g id=\"node27\" class=\"node\">\n",
       "<title>25</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-577.8701\" rx=\"55.3091\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-581.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">25</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-566.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[13 15]]</text>\n",
       "</g>\n",
       "<!-- 15&#45;&gt;25 -->\n",
       "<g id=\"edge30\" class=\"edge\">\n",
       "<title>15&#45;&gt;25</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M715.8966,-656.5801C750.5496,-640.102 797.6105,-617.7238 832.6951,-601.0405\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"834.2686,-604.1679 841.7965,-596.7126 831.2625,-597.8462 834.2686,-604.1679\"/>\n",
       "</g>\n",
       "<!-- 17 -->\n",
       "<g id=\"node19\" class=\"node\">\n",
       "<title>17</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1084.6301\" cy=\"-767.8701\" rx=\"48.5816\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-771.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">17</text>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-756.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;4 &#160;5]]</text>\n",
       "</g>\n",
       "<!-- 16&#45;&gt;17 -->\n",
       "<g id=\"edge22\" class=\"edge\">\n",
       "<title>16&#45;&gt;17</title>\n",
       "<path fill=\"none\" stroke=\"#00ff00\" d=\"M937.4874,-741.8025C965.6324,-746.7886 999.6555,-752.8161 1027.8931,-757.8186\"/>\n",
       "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"1027.5558,-761.3133 1038.0131,-759.6115 1028.777,-754.4206 1027.5558,-761.3133\"/>\n",
       "<text text-anchor=\"start\" x=\"962.9403\" y=\"-757.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#00ff00\">[&#45;4 &#160;5]</text>\n",
       "</g>\n",
       "<!-- 18 -->\n",
       "<g id=\"node20\" class=\"node\">\n",
       "<title>18</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1084.6301\" cy=\"-695.8701\" rx=\"58.8803\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-699.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1; 18</text>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-684.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[19. &#160;5.]]</text>\n",
       "</g>\n",
       "<!-- 16&#45;&gt;18 -->\n",
       "<g id=\"edge23\" class=\"edge\">\n",
       "<title>16&#45;&gt;18</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" d=\"M937.4874,-721.9376C963.0089,-717.4163 993.3637,-712.0387 1019.8553,-707.3455\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"1020.5651,-710.7743 1029.8012,-705.5835 1019.3439,-703.8816 1020.5651,-710.7743\"/>\n",
       "<text text-anchor=\"start\" x=\"960.9403\" y=\"-720.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#0000ff\">[19 &#160;5]</text>\n",
       "</g>\n",
       "<!-- 19 -->\n",
       "<g id=\"node21\" class=\"node\">\n",
       "<title>19</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1285.0098\" cy=\"-767.8701\" rx=\"58.8803\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1285.0098\" y=\"-771.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2; 19</text>\n",
       "<text text-anchor=\"middle\" x=\"1285.0098\" y=\"-756.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[19. &#160;5.]]</text>\n",
       "</g>\n",
       "<!-- 18&#45;&gt;19 -->\n",
       "<g id=\"edge24\" class=\"edge\">\n",
       "<title>18&#45;&gt;19</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" d=\"M1130.8529,-712.4787C1160.0549,-722.9715 1197.9754,-736.597 1228.8987,-747.7083\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"1228.0785,-751.1326 1238.6729,-751.2204 1230.4456,-744.545 1228.0785,-751.1326\"/>\n",
       "<text text-anchor=\"start\" x=\"1161.32\" y=\"-741.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#0000ff\">[19 &#160;5]</text>\n",
       "</g>\n",
       "<!-- 22 -->\n",
       "<g id=\"node24\" class=\"node\">\n",
       "<title>22</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1285.0098\" cy=\"-695.8701\" rx=\"42.3529\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1285.0098\" y=\"-699.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">22</text>\n",
       "<text text-anchor=\"middle\" x=\"1285.0098\" y=\"-684.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[9 0]]</text>\n",
       "</g>\n",
       "<!-- 18&#45;&gt;22 -->\n",
       "<g id=\"edge27\" class=\"edge\">\n",
       "<title>18&#45;&gt;22</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M1143.3967,-695.8701C1171.5565,-695.8701 1205.0151,-695.8701 1232.3378,-695.8701\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1232.4853,-699.3702 1242.4853,-695.8701 1232.4852,-692.3702 1232.4853,-699.3702\"/>\n",
       "</g>\n",
       "<!-- 23 -->\n",
       "<g id=\"node25\" class=\"node\">\n",
       "<title>23</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1285.0098\" cy=\"-623.8701\" rx=\"48.5816\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1285.0098\" y=\"-627.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">23</text>\n",
       "<text text-anchor=\"middle\" x=\"1285.0098\" y=\"-612.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;9 &#45;9]]</text>\n",
       "</g>\n",
       "<!-- 18&#45;&gt;23 -->\n",
       "<g id=\"edge28\" class=\"edge\">\n",
       "<title>18&#45;&gt;23</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M1130.8529,-679.2614C1161.8572,-668.121 1202.6894,-653.4492 1234.5407,-642.0045\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1235.8891,-645.2392 1244.1165,-638.5638 1233.522,-638.6515 1235.8891,-645.2392\"/>\n",
       "</g>\n",
       "<!-- 20 -->\n",
       "<g id=\"node22\" class=\"node\">\n",
       "<title>20</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1479.0256\" cy=\"-803.8701\" rx=\"52.1524\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1479.0256\" y=\"-807.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">20</text>\n",
       "<text text-anchor=\"middle\" x=\"1479.0256\" y=\"-792.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[19 &#160;0]]</text>\n",
       "</g>\n",
       "<!-- 19&#45;&gt;20 -->\n",
       "<g id=\"edge25\" class=\"edge\">\n",
       "<title>19&#45;&gt;20</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M1339.5704,-777.9939C1364.5047,-782.6205 1394.0995,-788.1119 1419.5973,-792.843\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1419.0434,-796.2999 1429.5142,-794.6831 1420.3206,-789.4174 1419.0434,-796.2999\"/>\n",
       "</g>\n",
       "<!-- 21 -->\n",
       "<g id=\"node23\" class=\"node\">\n",
       "<title>21</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1479.0256\" cy=\"-731.8701\" rx=\"52.1524\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1479.0256\" y=\"-735.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">21</text>\n",
       "<text text-anchor=\"middle\" x=\"1479.0256\" y=\"-720.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[19 &#160;5]]</text>\n",
       "</g>\n",
       "<!-- 19&#45;&gt;21 -->\n",
       "<g id=\"edge26\" class=\"edge\">\n",
       "<title>19&#45;&gt;21</title>\n",
       "<path fill=\"none\" stroke=\"#0000ff\" d=\"M1339.5704,-757.7462C1364.5047,-753.1196 1394.0995,-747.6283 1419.5973,-742.8971\"/>\n",
       "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"1420.3206,-746.3227 1429.5142,-741.057 1419.0434,-739.4402 1420.3206,-746.3227\"/>\n",
       "<text text-anchor=\"start\" x=\"1361.6997\" y=\"-756.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#0000ff\">[19 &#160;5]</text>\n",
       "</g>\n",
       "<!-- 27 -->\n",
       "<g id=\"node29\" class=\"node\">\n",
       "<title>27</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"669.0214\" cy=\"-469.8701\" rx=\"67.7647\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-473.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1; 27</text>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-458.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[ 18. &#45;10.]]</text>\n",
       "</g>\n",
       "<!-- 26&#45;&gt;27 -->\n",
       "<g id=\"edge32\" class=\"edge\">\n",
       "<title>26&#45;&gt;27</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M508.5847,-518.0994C537.2959,-509.4684 573.8596,-498.4769 604.828,-489.1674\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"606.1001,-492.4398 614.6691,-486.2091 604.0848,-485.7362 606.1001,-492.4398\"/>\n",
       "</g>\n",
       "<!-- 31 -->\n",
       "<g id=\"node33\" class=\"node\">\n",
       "<title>31</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"669.0214\" cy=\"-241.8701\" rx=\"58.8803\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-245.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1; 31</text>\n",
       "<text text-anchor=\"middle\" x=\"669.0214\" y=\"-230.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[18. &#160;0.]]</text>\n",
       "</g>\n",
       "<!-- 26&#45;&gt;31 -->\n",
       "<g id=\"edge36\" class=\"edge\">\n",
       "<title>26&#45;&gt;31</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M498.3855,-512.7159C505.4233,-508.0732 512.3537,-502.7484 518.1392,-496.8701 583.3591,-430.6036 631.6981,-330.7917 654.481,-277.839\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"657.7528,-279.0883 658.4359,-268.5155 651.3087,-276.3547 657.7528,-279.0883\"/>\n",
       "</g>\n",
       "<!-- 28 -->\n",
       "<g id=\"node30\" class=\"node\">\n",
       "<title>28</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-505.8701\" rx=\"48.5816\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-509.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">28</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-494.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[ 7 &#45;4]]</text>\n",
       "</g>\n",
       "<!-- 27&#45;&gt;28 -->\n",
       "<g id=\"edge33\" class=\"edge\">\n",
       "<title>27&#45;&gt;28</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M731.5998,-480.4765C761.0453,-485.4673 795.906,-491.3759 824.5879,-496.2372\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"824.012,-499.6894 834.4563,-497.9098 825.1818,-492.7879 824.012,-499.6894\"/>\n",
       "</g>\n",
       "<!-- 29 -->\n",
       "<g id=\"node31\" class=\"node\">\n",
       "<title>29</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-433.8701\" rx=\"61.5366\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-437.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">29</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-422.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[ 18 &#45;10]]</text>\n",
       "</g>\n",
       "<!-- 27&#45;&gt;29 -->\n",
       "<g id=\"edge34\" class=\"edge\">\n",
       "<title>27&#45;&gt;29</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M731.5998,-459.2636C757.5329,-454.8681 787.6664,-449.7608 814.08,-445.2839\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"814.7301,-448.7237 824.0046,-443.6018 813.5603,-441.8222 814.7301,-448.7237\"/>\n",
       "</g>\n",
       "<!-- 30 -->\n",
       "<g id=\"node32\" class=\"node\">\n",
       "<title>30</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-361.8701\" rx=\"42.3529\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-365.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">30</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-350.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[4 0]]</text>\n",
       "</g>\n",
       "<!-- 27&#45;&gt;30 -->\n",
       "<g id=\"edge35\" class=\"edge\">\n",
       "<title>27&#45;&gt;30</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M710.7315,-448.6616C747.8195,-429.8034 801.7955,-402.358 839.0751,-383.4023\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"840.8453,-386.4287 848.1728,-378.7764 837.6726,-380.189 840.8453,-386.4287\"/>\n",
       "</g>\n",
       "<!-- 32 -->\n",
       "<g id=\"node34\" class=\"node\">\n",
       "<title>32</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-289.8701\" rx=\"55.3091\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-293.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2; 32</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-278.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;4. &#45;7.]]</text>\n",
       "</g>\n",
       "<!-- 31&#45;&gt;32 -->\n",
       "<g id=\"edge37\" class=\"edge\">\n",
       "<title>31&#45;&gt;32</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M721.7978,-253.7969C751.9527,-260.6115 789.8778,-269.1822 821.1941,-276.2593\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"820.5857,-279.71 831.1112,-278.5004 822.1287,-272.8821 820.5857,-279.71\"/>\n",
       "</g>\n",
       "<!-- 35 -->\n",
       "<g id=\"node37\" class=\"node\">\n",
       "<title>35</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-217.8701\" rx=\"52.1524\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-221.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">35</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-206.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;1 16]]</text>\n",
       "</g>\n",
       "<!-- 31&#45;&gt;35 -->\n",
       "<g id=\"edge40\" class=\"edge\">\n",
       "<title>31&#45;&gt;35</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M726.2203,-235.4069C755.237,-232.1282 790.5046,-228.1432 820.0835,-224.8009\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"820.7454,-228.2485 830.2891,-223.6478 819.9594,-221.2928 820.7454,-228.2485\"/>\n",
       "</g>\n",
       "<!-- 36 -->\n",
       "<g id=\"node38\" class=\"node\">\n",
       "<title>36</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"881.422\" cy=\"-145.8701\" rx=\"58.8803\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-149.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2; 36</text>\n",
       "<text text-anchor=\"middle\" x=\"881.422\" y=\"-134.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[18. &#160;0.]]</text>\n",
       "</g>\n",
       "<!-- 31&#45;&gt;36 -->\n",
       "<g id=\"edge41\" class=\"edge\">\n",
       "<title>31&#45;&gt;36</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M710.9849,-222.9035C745.1671,-207.454 793.5708,-185.5767 830.0658,-169.0818\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"831.8747,-172.1052 839.5456,-164.7972 828.9916,-165.7265 831.8747,-172.1052\"/>\n",
       "</g>\n",
       "<!-- 33 -->\n",
       "<g id=\"node35\" class=\"node\">\n",
       "<title>33</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1084.6301\" cy=\"-338.8701\" rx=\"58.8803\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-342.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">33</text>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-327.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[ &#45;4 &#45;10]]</text>\n",
       "</g>\n",
       "<!-- 32&#45;&gt;33 -->\n",
       "<g id=\"edge38\" class=\"edge\">\n",
       "<title>32&#45;&gt;33</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M930.8724,-301.7941C958.5263,-308.4624 993.252,-316.8359 1022.7018,-323.9372\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1021.9273,-327.3506 1032.4691,-326.2924 1023.5682,-320.5457 1021.9273,-327.3506\"/>\n",
       "</g>\n",
       "<!-- 34 -->\n",
       "<g id=\"node36\" class=\"node\">\n",
       "<title>34</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1084.6301\" cy=\"-266.8701\" rx=\"48.5816\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-270.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">34</text>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-255.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;4 &#45;7]]</text>\n",
       "</g>\n",
       "<!-- 32&#45;&gt;34 -->\n",
       "<g id=\"edge39\" class=\"edge\">\n",
       "<title>32&#45;&gt;34</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M935.3445,-283.7669C963.4096,-280.5903 997.7518,-276.7033 1026.4191,-273.4586\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1027.1589,-276.8973 1036.7018,-272.2948 1026.3716,-269.9417 1027.1589,-276.8973\"/>\n",
       "</g>\n",
       "<!-- 37 -->\n",
       "<g id=\"node39\" class=\"node\">\n",
       "<title>37</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1084.6301\" cy=\"-170.8701\" rx=\"48.5816\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-174.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">37</text>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-159.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[ 2 &#45;5]]</text>\n",
       "</g>\n",
       "<!-- 36&#45;&gt;37 -->\n",
       "<g id=\"edge42\" class=\"edge\">\n",
       "<title>36&#45;&gt;37</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M938.297,-152.8672C965.904,-156.2636 999.0155,-160.3372 1026.7538,-163.7497\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1026.3573,-167.2273 1036.7099,-164.9746 1027.2121,-160.2796 1026.3573,-167.2273\"/>\n",
       "</g>\n",
       "<!-- 38 -->\n",
       "<g id=\"node40\" class=\"node\">\n",
       "<title>38</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1084.6301\" cy=\"-98.8701\" rx=\"58.8803\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-102.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1; 38</text>\n",
       "<text text-anchor=\"middle\" x=\"1084.6301\" y=\"-87.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[18. &#160;0.]]</text>\n",
       "</g>\n",
       "<!-- 36&#45;&gt;38 -->\n",
       "<g id=\"edge43\" class=\"edge\">\n",
       "<title>36&#45;&gt;38</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M934.0174,-133.7053C960.9472,-127.4767 993.917,-119.8511 1022.1366,-113.3242\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1022.9483,-116.7289 1031.9024,-111.0654 1021.3709,-109.909 1022.9483,-116.7289\"/>\n",
       "</g>\n",
       "<!-- 39 -->\n",
       "<g id=\"node41\" class=\"node\">\n",
       "<title>39</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1285.0098\" cy=\"-170.8701\" rx=\"52.1524\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1285.0098\" y=\"-174.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">39</text>\n",
       "<text text-anchor=\"middle\" x=\"1285.0098\" y=\"-159.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[16 &#45;3]]</text>\n",
       "</g>\n",
       "<!-- 38&#45;&gt;39 -->\n",
       "<g id=\"edge44\" class=\"edge\">\n",
       "<title>38&#45;&gt;39</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M1130.8529,-115.4787C1161.2288,-126.3933 1201.0381,-140.6975 1232.5929,-152.0357\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1231.5067,-155.3645 1242.1012,-155.4522 1233.8738,-148.7768 1231.5067,-155.3645\"/>\n",
       "</g>\n",
       "<!-- 40 -->\n",
       "<g id=\"node42\" class=\"node\">\n",
       "<title>40</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1285.0098\" cy=\"-98.8701\" rx=\"52.1524\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1285.0098\" y=\"-102.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">40</text>\n",
       "<text text-anchor=\"middle\" x=\"1285.0098\" y=\"-87.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[18 &#160;0]]</text>\n",
       "</g>\n",
       "<!-- 38&#45;&gt;40 -->\n",
       "<g id=\"edge45\" class=\"edge\">\n",
       "<title>38&#45;&gt;40</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M1143.3967,-98.8701C1168.162,-98.8701 1197.0256,-98.8701 1222.2096,-98.8701\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1222.3891,-102.3702 1232.389,-98.8701 1222.389,-95.3702 1222.3891,-102.3702\"/>\n",
       "</g>\n",
       "<!-- 41 -->\n",
       "<g id=\"node43\" class=\"node\">\n",
       "<title>41</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"1285.0098\" cy=\"-26.8701\" rx=\"52.1524\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"1285.0098\" y=\"-30.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">41</text>\n",
       "<text text-anchor=\"middle\" x=\"1285.0098\" y=\"-15.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[17 &#160;2]]</text>\n",
       "</g>\n",
       "<!-- 38&#45;&gt;41 -->\n",
       "<g id=\"edge46\" class=\"edge\">\n",
       "<title>38&#45;&gt;41</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M1130.8529,-82.2614C1161.2288,-71.3468 1201.0381,-57.0426 1232.5929,-45.7044\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1233.8738,-48.9633 1242.1012,-42.2879 1231.5067,-42.3757 1233.8738,-48.9633\"/>\n",
       "</g>\n",
       "<!-- 43 -->\n",
       "<g id=\"node45\" class=\"node\">\n",
       "<title>43</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"459.4493\" cy=\"-460.8701\" rx=\"48.5816\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"459.4493\" y=\"-464.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">43</text>\n",
       "<text text-anchor=\"middle\" x=\"459.4493\" y=\"-449.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;4 &#160;6]]</text>\n",
       "</g>\n",
       "<!-- 42&#45;&gt;43 -->\n",
       "<g id=\"edge48\" class=\"edge\">\n",
       "<title>42&#45;&gt;43</title>\n",
       "<path fill=\"none\" stroke=\"#ffa500\" d=\"M315.1315,-460.8701C341.6375,-460.8701 373.4017,-460.8701 400.3738,-460.8701\"/>\n",
       "<polygon fill=\"#ffa500\" stroke=\"#ffa500\" points=\"400.4556,-464.3702 410.4556,-460.8701 400.4556,-457.3702 400.4556,-464.3702\"/>\n",
       "<text text-anchor=\"start\" x=\"337.7595\" y=\"-464.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#ffa500\">[&#45;4 &#160;6]</text>\n",
       "</g>\n",
       "<!-- 44 -->\n",
       "<g id=\"node46\" class=\"node\">\n",
       "<title>44</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"459.4493\" cy=\"-388.8701\" rx=\"48.5816\" ry=\"26.7407\"/>\n",
       "<text text-anchor=\"middle\" x=\"459.4493\" y=\"-392.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">44</text>\n",
       "<text text-anchor=\"middle\" x=\"459.4493\" y=\"-377.6701\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">[[&#45;1 &#160;2]]</text>\n",
       "</g>\n",
       "<!-- 42&#45;&gt;44 -->\n",
       "<g id=\"edge49\" class=\"edge\">\n",
       "<title>42&#45;&gt;44</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M304.5871,-444.7119C335.5349,-433.5524 376.7416,-418.6937 408.8684,-407.109\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"410.306,-410.3113 418.5259,-403.6267 407.9315,-403.7263 410.306,-410.3113\"/>\n",
       "</g>\n",
       "</g>\n",
       "</svg>\n"
      ],
      "text/plain": [
       "<graphviz.files.Source at 0x7f77d0c91b00>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "diplay_tree(tree)"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.7.3"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}