From cc04a4088c56408ddb2213babd526c64588ef131 Mon Sep 17 00:00:00 2001
From: "paul-anton.engel@informatik.hs-fulda.de"
 <paul-anton.engel@informatik.hs-fulda.de>
Date: Tue, 16 Jan 2024 12:11:04 +0100
Subject: [PATCH] =?UTF-8?q?Paul:=20Hochladen=20des=20Zwischenstandes,=20RB?=
 =?UTF-8?q?-Tree=20funzt=20nicht,=20daf=C3=BCr=20die=20dot=20dateienerstel?=
 =?UTF-8?q?lung?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Uebung08/Paul/IntComparable.java |  18 ++++
 Uebung08/Paul/Main.java          |  22 +++++
 Uebung08/Paul/RBTree.java        | 144 +++++++++++++++++++++++++++++++
 bin/IntComparable.class          | Bin 0 -> 823 bytes
 bin/Main.class                   | Bin 0 -> 1327 bytes
 bin/RBTree$Node.class            | Bin 0 -> 678 bytes
 bin/RBTree.class                 | Bin 0 -> 5205 bytes
 output.svg                       | Bin 0 -> 37472 bytes
 output_step_0.dot                |  11 +++
 output_step_1.dot                |  15 ++++
 output_step_10.dot               |  51 +++++++++++
 output_step_11.dot               |  55 ++++++++++++
 output_step_12.dot               |  55 ++++++++++++
 output_step_13.dot               |  59 +++++++++++++
 output_step_14.dot               |  63 ++++++++++++++
 output_step_15.dot               |  67 ++++++++++++++
 output_step_2.dot                |  19 ++++
 output_step_3.dot                |  23 +++++
 output_step_4.dot                |  27 ++++++
 output_step_5.dot                |  31 +++++++
 output_step_6.dot                |  35 ++++++++
 output_step_7.dot                |  39 +++++++++
 output_step_8.dot                |  43 +++++++++
 output_step_9.dot                |  47 ++++++++++
 24 files changed, 824 insertions(+)
 create mode 100644 Uebung08/Paul/IntComparable.java
 create mode 100644 Uebung08/Paul/Main.java
 create mode 100644 Uebung08/Paul/RBTree.java
 create mode 100644 bin/IntComparable.class
 create mode 100644 bin/Main.class
 create mode 100644 bin/RBTree$Node.class
 create mode 100644 bin/RBTree.class
 create mode 100644 output.svg
 create mode 100644 output_step_0.dot
 create mode 100644 output_step_1.dot
 create mode 100644 output_step_10.dot
 create mode 100644 output_step_11.dot
 create mode 100644 output_step_12.dot
 create mode 100644 output_step_13.dot
 create mode 100644 output_step_14.dot
 create mode 100644 output_step_15.dot
 create mode 100644 output_step_2.dot
 create mode 100644 output_step_3.dot
 create mode 100644 output_step_4.dot
 create mode 100644 output_step_5.dot
 create mode 100644 output_step_6.dot
 create mode 100644 output_step_7.dot
 create mode 100644 output_step_8.dot
 create mode 100644 output_step_9.dot

diff --git a/Uebung08/Paul/IntComparable.java b/Uebung08/Paul/IntComparable.java
new file mode 100644
index 0000000..7e2a1f0
--- /dev/null
+++ b/Uebung08/Paul/IntComparable.java
@@ -0,0 +1,18 @@
+class IntComparable implements Comparable<IntComparable> {
+    private int value;
+
+    IntComparable(int value) {
+        this.value = value;
+    }
+
+    @Override
+    public int compareTo(IntComparable other) {
+        return Integer.compare(this.value, other.value);
+    }
+
+    @Override
+    public String toString() {
+        // Verwenden Sie eine geeignete String-Darstellung, zum Beispiel den Wert selbst
+        return Integer.toString(value);
+    }
+}
\ No newline at end of file
diff --git a/Uebung08/Paul/Main.java b/Uebung08/Paul/Main.java
new file mode 100644
index 0000000..c5b0417
--- /dev/null
+++ b/Uebung08/Paul/Main.java
@@ -0,0 +1,22 @@
+import java.util.Random;
+
+public class Main {
+    public static void main(String[] args) {
+        RBTree<IntComparable> rbTree = new RBTree<>();
+        Random random = new Random();
+
+        for (int i = 0; i <= 15; i++) {
+            int randomValue = random.nextInt(100);
+            IntComparable key = new IntComparable(randomValue);
+
+            // Füge das Element ein und aktualisiere die DOT-Datei nach jedem Schritt
+            rbTree.printDOTAfterInsert("output_step_" + i + ".dot", key);
+        }
+
+        // Jetzt können Sie die DOT-Dateien in SVG umwandeln und anzeigen
+        // dot -Tsvg output_step_0.dot > output_step_0.svg
+        // dot -Tsvg output_step_1.dot > output_step_1.svg
+        // ...
+    }
+}
+
diff --git a/Uebung08/Paul/RBTree.java b/Uebung08/Paul/RBTree.java
new file mode 100644
index 0000000..47b84f0
--- /dev/null
+++ b/Uebung08/Paul/RBTree.java
@@ -0,0 +1,144 @@
+// RBTree.java
+
+import java.io.FileWriter;
+import java.io.IOException;
+
+class RBTree<T extends Comparable<T>> {
+
+    private static final boolean RED = true;
+    private static final boolean BLACK = false;
+    private static int step = 0;
+
+    private class Node {
+        T key;
+        Node left, right;
+        boolean color;
+
+        Node(T key, boolean color) {
+            this.key = key;
+            this.color = color;
+        }
+    }
+
+    private Node root;
+
+    public void insert(T key) {
+        root = insert(root, key);
+        root.color = BLACK; // Ensure the root is always black
+    }
+
+    private Node insert(Node root, T key) {
+        if (root == null) {
+            return new Node(key, RED); // New nodes are always red
+        }
+
+        int cmp = key.compareTo(root.key);
+        if (cmp < 0) {
+            root.left = insert(root.left, key);
+        } else if (cmp > 0) {
+            root.right = insert(root.right, key);
+        } else {
+            // Duplicate key, do not insert
+            return root;
+        }
+
+        // Fix any Red-Black tree violations
+        if (isRed(root.right) && !isRed(root.left)) {
+            root = rotateLeft(root);
+        }
+        if (isRed(root.left) && isRed(root.left.left)) {
+            root = rotateRight(root);
+        }
+        if (isRed(root.left) && isRed(root.right)) {
+            flipColors(root);
+        }
+
+        return root; // Return the updated root
+    }
+
+    private boolean isRed(Node node) {
+        if (node == null) {
+            return false;
+        }
+        return node.color == RED;
+    }
+
+    private Node rotateLeft(Node h) {
+        Node x = h.right;
+        h.right = x.left;
+        x.left = h;
+        x.color = h.color;
+        h.color = RED;
+        return x;
+    }
+
+    private Node rotateRight(Node h) {
+        Node x = h.left;
+        h.left = x.right;
+        x.right = h;
+        x.color = h.color;
+        h.color = RED;
+        return x;
+    }
+
+    private void flipColors(Node h) {
+        h.color = RED;
+        h.left.color = BLACK;
+        h.right.color = BLACK;
+    }
+
+    public void printDOTAfterInsert(String filename, T key) {
+        try (FileWriter writer = new FileWriter(filename)) {
+            writer.write("digraph G {\n");
+            writer.write("\tgraph [ratio=.48];\n");
+            writer.write("\tnode [style=filled, color=black, shape=circle, width=.6 \n");
+            writer.write("\t\tfontname=Helvetica, fontweight=bold, fontcolor=white, \n");
+            writer.write("\t\tfontsize=24, fixedsize=true];\n");
+    
+            root = insert(root, key); // Füge das Element ein und aktualisiere den Baum
+            printDOTRecursive(root, writer);
+    
+            writer.write("}\n");
+        } catch (IOException e) {
+            e.printStackTrace();
+        }
+    }
+
+    private void printDOTRecursive(Node node, FileWriter writer) throws IOException {
+        if (node != null) {
+            String keyString = node.key.toString().replaceAll("[^a-zA-Z0-9]", "_"); // Ersetze ungültige Zeichen
+    
+            // Setze Farben basierend auf der Rot-Schwarz-Eigenschaft
+            String fillColor = (node.color == RED) ? "red" : "black";
+            String fontColor = (node.color == RED) ? "white" : "white"; // Ändern Sie dies, wenn Sie schwarzen Text auf rotem Hintergrund möchten
+    
+            // Print current node mit Farbinformationen
+            writer.write("\t\"" + keyString + "\" [fillcolor=" + fillColor + ", fontcolor=" + fontColor + "];\n");
+    
+            // Print left child
+            if (node.left != null) {
+                String leftKeyString = node.left.key.toString().replaceAll("[^a-zA-Z0-9]", "_");
+                writer.write("\t\"" + keyString + "\" -> \"" + leftKeyString + "\";\n");
+                printDOTRecursive(node.left, writer);
+            } else {
+                // Füge ein NIL-Blatt für leere linke Zweige hinzu
+                String leftNilKeyString = keyString + "_NIL_L";
+                writer.write("\t\"" + leftNilKeyString + "\" [shape=plaintext, label=\"NIL\", fontsize=16];\n");
+                writer.write("\t\"" + keyString + "\" -> \"" + leftNilKeyString + "\";\n");
+            }
+    
+            // Print right child
+            if (node.right != null) {
+                String rightKeyString = node.right.key.toString().replaceAll("[^a-zA-Z0-9]", "_");
+                writer.write("\t\"" + keyString + "\" -> \"" + rightKeyString + "\";\n");
+                printDOTRecursive(node.right, writer);
+            } else {
+                // Füge ein NIL-Blatt für leere rechte Zweige hinzu
+                String rightNilKeyString = keyString + "_NIL_R";
+                writer.write("\t\"" + rightNilKeyString + "\" [shape=plaintext, label=\"NIL\", fontsize=16];\n");
+                writer.write("\t\"" + keyString + "\" -> \"" + rightNilKeyString + "\";\n");
+            }
+        }
+    } 
+}
+
diff --git a/bin/IntComparable.class b/bin/IntComparable.class
new file mode 100644
index 0000000000000000000000000000000000000000..5f0708881d9c2d4157734f31e18ab00740679aad
GIT binary patch
literal 823
zcmZXS%}?7v5XIjlP8_ET2^4677U;Kaq$2g!1|bj<lBK9U1m*6et6&uD%60gwdT6D7
zpdPB8`$tuMYg;vh!+JgAH@|ta-amhT{sQm@zKxn-A&9f%<l;k^hNG#rVF|kD;bpit
z4dcn)yV1EGXEvIGl`3251&zyaI@1CP1kL>@j<N%R<p$o6+i~(<w^7G}f`dgt-SvhJ
z*g?TYOVH^@v3@(d80qxXv==P*lW{m5hG}HtGHGRJ(MO}c;k74l#<_ESny}KH`|Jg6
z+{cEEb-_|)o(w(Fslp~62<(!;LEIqlI7B1K&U7khWyv5*qj<v6U9VpOifqroA1Q3%
zv0#<+-d33WwQO;gJ!4DoOkovkg7zSprDJ^(<-^~Y@1<$U83)lM4zpRx(|LUxcP&%>
zmi@V-IOt)AP3v3@u9`W0-T{ltfw6OkZzs&xxVQZuQ2ypObiOdEVTsR0)*8LVdIwD`
zGg>RuxQi7=tjnpq31+gAc~~-){}r8Gt}ER8L~TKBQf2BYn)**ucu20HZDG5ly~<;t
yWoTE}`8-GJ<|IWGH3g}AL^n^$darcj_`AO$-|=+b3U5)4GzOpNZ!h5HyY~;&f0(TR

literal 0
HcmV?d00001

diff --git a/bin/Main.class b/bin/Main.class
new file mode 100644
index 0000000000000000000000000000000000000000..52d53e661b6aa32c14870771f714ab20ef6cff67
GIT binary patch
literal 1327
zcmaJ=+fEZv6kUg2rY%J(r64L^K?^ALexX=}DzQn?L`aSC!5rEnjGfLjGp9t}{Rlt6
z#Ajb5k;D)17yK7>olXr!h!3;R?0xoS?X~y$@$1`n01H^LFdz_Jm9}dkDv)_6w`IYR
z?q=cn#yeHl0`W!LwRK4#lAo#3x9l}k3K1mJh#@X8T(w>Gtkc?1{<_?7l)y;Ut4pUQ
zecR|gV^nY10kc(2ts?WZcnXZ=Usv~Qu4&(PH;Xeh3&-jEVtL(HES5pi!suUg9c?>>
z7t(EbtrW6I8Zn;62}}rBu6nO4E@4OWm6?i#QvyTO%U-K3eFG<jlbAHn&xAg;5fX7O
zjq|u5Fy4|)RrcJv)Guwl#lJvHR}*)R=?()m(5BLu#wCGlo7nZ^=j%&vwel-&pnSrZ
z%O8&Fv+Uzy(*z{_O%}@@!3pW`Hw+yDiE2m;S&aK#9t`JQ7W=s2t+4r31O`K|nsho0
zk2KYe8QTF`=sk9DY&-40qnqf}Tl^=a#Gs)yE$huy+3t-wwdQsFx>~W#A|%bM=M6B<
zZrSs6pnch1ReH;71S#A{(ZYhj)cyk4?zY!dg>VnTL9EES_WT_)p+$j@{e1Sk!-P-C
zgrkC~s^>L3?P4Fvy{+oA90*)zr$@N=&mepY#r_TGr6^0sS+lh&4##mXfrkRey^d~o
z^qWAd_8T$Z@VEu(it8%B?8qQcfrVv(=|epq)rEz}0%!j3YTi`0WfH{Ua+`qx{_$~A
zTGR?W1<%;*E)rk5*C|SK4F(KSrb7pwL)4NuhGAMv@J~eP36%Dbd9}+u+e4OTZZ%T+
zjOi<x##fBpiSFU#t6X#!rx#*#lizR_n23GF#SalNnHm1{`=_ZIg{gW03Cb8{oR24g
z9IH+8CeO;Zs6W7H7f~s!ip#tK?RPMPSz^jy9&@<D7Dsqqr50iQIGdbjg*-dBhU?6K
xgHfidF!Cn<ZqYJ?fnUg3$XLjV^9;RB;{cQ2?G_O%FHpiGYAOCLp^PV(_yZk)Ju3hJ

literal 0
HcmV?d00001

diff --git a/bin/RBTree$Node.class b/bin/RBTree$Node.class
new file mode 100644
index 0000000000000000000000000000000000000000..64a9b557d77f99c3955a730a89fceb38e3702667
GIT binary patch
literal 678
zcmZuuT~8B16g|`3cH6Q@TdJUfAQo+_0iS{JU=yQBQxj?Wz}vKrWpUYUX16B%EFT&Z
zANT?MD8ji*`Ouin%)RHFJNIiZul`&B*h9-hPGRBehrTtY(Tl$s53WMxRR7ewp^nD8
zUxue<lqxts%(=po?!D59&nDXHVQBUhN=Lys(&^M1hW7hp+|YdIyT$H<<fLnJe88Z?
z9jQn%Z-em(gY%;}jIDw?Rw$$=LDG1yP@KPDT;U*yg7i>ft9eWQzoFySK*4LWM&`L4
z)+vGg`&dGy3<s+|s(8v~o2`K;&wb=k5O3YbA|5F$b%V(Cre{NA`!c2U9*=Z5&^8b}
zCtc}NHuINuKDpJ)NAc8-%*Q}7%s0IwTU78rN0G6eP$!8=JiO+BH_PJoWHX$-XOi?&
zoTS)fXAb{aK05^>k6sQ%-X)ap@B*>_59T;Pr6QwKRXkPH`1U5lGU{X|#4c^U{dR`O
z?cZ2wznkG%dwqtrU*sLU;9bjNs;pRJ&SideY>?l~daKixiI_!}$&BJjbq6o$`&n(#
Yiqsrzk;~x~8niNj!ZzNJX=eQPH60gulK=n!

literal 0
HcmV?d00001

diff --git a/bin/RBTree.class b/bin/RBTree.class
new file mode 100644
index 0000000000000000000000000000000000000000..19dd46e1e3554e71cfbfa5d88fc42e074c5b450c
GIT binary patch
literal 5205
zcmb_g`+F4C8GdK8_iP9(Hv@u8KuxlnL@pv^NoWYSNC=vwAc<Tin@KV-*<EKRgg_B%
zFIH@AYg;QwZELmkLR+X36kE~OLTl;exBlMxNA&6AQ~Q2r_7)O-{Gkb%IhXHz-+SKg
za?bGnf3Lj_pap*mz@x$6v!%~Ai~zhE<{r_H>CKj&9%<e)c*ICK8Y+6WZPlRlYpCkT
zq;rm*cJ}JlxKTkBng-vNuJ(>y(t!qV&M~qS?qt)>WVpJj%hkTBJ2PY?HH3Q2k+klN
z+lGc{er{7=U$U(!FA&_6vdpyUw9#^1{az~S;K~q{FN~lP5e?N{X4>c;9~(66K7G(q
ziZUtP+N;~9^z(!MO-fA|6<89%9f(quGiv5E1oL(YXHnO*m6O@R>H=<sje>qNoil81
zsHU!~#8F3PEUVjMG$~O1b=*n)UIDu@f-1}jvvqd_ci|olYwD&^@iAJa$%Igch5+g{
zRF<(AK^%S(pUPMnn=BnQCS@bDqT)0mX{aw4FXLLU&h$W-HdhN@Yc$jrRwZZG-Y<Kt
z!@39(XspC~YzW{14GU(262V5a(Elk#nbDV_L(8dj!!23gDH=CL(26;9m}Lw*GO#&<
z&&Yt!Hb+Jsp><0H9bjPk%v_H##K<jRbtA35Uxc<tumd|agzb!@J4P3^X}I$?$!V0!
zss|(3C95jkRXqihyCdkv9%>u5%xs6S&tSUUF2kTAHO3^U>UH$g(cOABACKIv>%=k_
z)HAERX~wsPduE%Sxq`_x%D>}^y_x!GeSX$9)6UjCeeJ`JVRz=kHeSwkuS1cMk8!F5
z@*T5CtI!VMQRc1kubFAyZd%4Z+oYK=25?ZK=Fn|!&6}#<8-%VQGGva}dUiCnBX%+@
zYf=#m$r|5;s0m`2(Gzk-25j9iGp$YQHXKNXgW#@PLPAw+Am>b4M(eO?S;kNzrqZBw
z&?4E1SZ-9$8m%eQPFY4GHen7qqpeNrV_bhk!^Ti(IFokL`k2wW)3A;ij+xREF&UdM
z#L2CL8H*Zaz|}f2N>mA1ZfS_Q%X8)lqjk+XikZiaA=Pv2af2WwcG3}KK=02hc%jEg
zjoUf%7+t)o;9@sK-JF_6Ba256%xTXl#f}rfxYR9Q%F5)7FeWe=09`-7lwf_Mc4k5f
zPy{D%l2NA*4fT#^v$m1TNm@+vWKo!Q!Z?M~0X$yNMjV}cwjECyS+dSuJRydw)h<*Z
z_t|=idkB(tLl~6uU4oH!GfSXyB)70&w(T);xo}}|s?1_CfUitDe_WN!wjwBI+iZ2L
zsI3%^YJU~@Y6M@yvjpvA3fdOb)z5?-#5Wk50|)iS6YY)t_cd-j5X5uDdMJ#i@a+h`
zgXg7&7+D6H(QYvoHq4SBGxg4D>ID`E+ZYPs9388|Hi+|*0TOFb9-}Ws@O}J1!{Rah
zsKFyQr91mfXS8tml7$C9mGw`BC(4+8SqwfOg$J)l>s3{ZX83lN%|v;&z7mBOFGt~%
zhhMq@c?9t?i#?B~0`VcqS5-7QE*X|@S4oNARg#-4{ch7L8=9kve%Zi0H85Q$+?yG<
zQ-;Jq@wjY~P4ML1)YsBd#zyJXc2D=Vvbp>*#7Nx2`%BJYwc2esqnV*x7;oTO0B<sn
zOWc_0W0|8yv%5*xSKIZJld&g-$+tATQ0}U{w5xEZo*uG{+^Vij=ID5~ycoOM%15Rx
z?Bgw^d@?USFmo5>F3YRv&@HQ%ftIZH<7yCZYgiGg)oNn{;vTo?Y2_7AQ^ofk78WJe
z*cPL-)Z^c22xy18JG%~b1@Rt9cGb8An2EwO$T;pKVwOH=Sgo}btabIOin)5d(tD$*
zq=yOEnNAyaho!S}G044gAq?Ps-k@giJsX1o+|sc8lSNsdT)G(|-A2yYZOAP$hZwU!
zuCQJ#VIce23$W*56fZ%jtRF^L?x1Rp*E`BptM*)u2Qd$lP4hW&H{bH(t9T6yF0<jm
zB0fbiD7sjU@FCaI{E~LQW!Bel6*aP?qHKv@Es3}SSc*G2zl?vSk>%`ZylBQ~%Eh!o
zAxU#j9?mUlXlQsHwecyex`JA1R$RfoB|CG}{+IC5x)ckkUmz}WSLW?WpVvHE5zD1H
zvFy$@an2)`-6Do&!Js`tPQ8>lAHRt?Z=r5~L&AF%_gzZFU&q=valZ#`%g$qdyn+2>
zLLp3EK+Uq3@?&l8Slb2o;+I6IZ3^vYu|UbQc@CilZfsjuVc;wlt0vVcNj2SBHa)+j
zB`8a~;+Kfes~F#cxoqFXUW`nxWCX0ja(Xn*eXYU0*v#wb7BpZhn$VAC9L8!)a^^JF
z@u0XL=deMs*Wm8C$liJRAW$AWuXyxO^OJapKCDoT#*_!nQ{H7%<mVRUo5<<I#1%oH
z`a>+&=4(rrFX0&Pz(uxul*cXQ1)!2_`zkJyu6r*QH|M%}6QQ*-8aJ1@xv~hf61@s&
z$;~q7f|5A_B~U7$`DvRM>>`3bh2Sjvl1(ebRlDN}y5S1i67ehauE1g7#l3tagmgE|
zmk<rO86US(g>B4=?WAW1-LO+(bjev!#JB>VRTzB?)xB(a$|w{m7p+JMT32c=r95)8
z=hID*nQ)T|Zks}?Fn<!<E-KzlxZQ-ihj1Sv+=u_qaQVSegu73%YpZQA;}nPFGbx!Y
zR8P-nIhR2Kd?cs}`<T^_l(~CRk;+ARDogH`xk6UE1ZrHnzlft>W%ViQ7pI-ky0sSX
zTNv0MzlsAbz8YWj@Dv95GThgQ`!e0vQNG+-<YslPs!KJ#DU5N+V@l`-9*}|D1vGcp
z_--JmdX3jxyp1;zs_}MTKy_n{_f>@WoWilj>)nl0_}pa%Q#HMCfT(;p!e9CMB7X&|
z6yP<gb`MbMQT7ioXbv*F4>7k7b8e6ckwPa7>KMkCFoLIHD$dqXA9q^h><m87+?8^D
zCZEgI<mU^t<l{Oo|GrEtB}QeX%c#f~ayf~>M+D&yKnvih0M-XEq5ciXz{GzLZs)7A
z@*`TRC<@8kDJkmw&Y+Q}3BpT(Q~8)aqnz`R6bjCK5Wj(cGB(yu;hE^yqu-pux4I<-
z&mtK8F6(LZY>T(he^L4`w)hexwZ?Z1-vj6k&L(f5NnX>`wD>9KzlI+wDOGOi(6I}s
zZM=pb@qd^637P(}ns!Am6co0(3fpE?_>-bSsrz|_KP@W!S((D0tF|0su6z5HlP&hf
z$U>II`!TGAgLZy7?Zk0@Z%)#wCpdEwIWl$<kJC}7@f=-umd?9K$GyRkcX{o9kIdep
zd;fuF@Gm^8!eE$ZH#sea!3X(DDP!V%53T;4TArj|R^lD}f-Nr*T*5Ee^3nc6{E96<
zEidM%v@UY&vTEJp*soQq6gXnb4IHsmsJtr>{1A6BW*8q&eTb@JOZv-K|C>vEc#Tj!
zcs(B$SLjRdWD4Oo43^)j=XLdbS3Q4UHsX%|VcPgju9h!^I<EdB-+#iN@fXzKuN;@~
GtNR~5#&z!i

literal 0
HcmV?d00001

diff --git a/output.svg b/output.svg
new file mode 100644
index 0000000000000000000000000000000000000000..f45c4ffc5d9982fe84165ad506645c50a5c89051
GIT binary patch
literal 37472
zcmd^|YmXhp5r+FS68~W#QUnrSdoSJ#5J$ogf<zL;B~d;hV=oKB*vPhk@Z*!zGw+tW
zXS#aM%*o90+R+N{p04Tc>h7wy->U98{O8~Ar$44&(~s$4+DkvDi}WNtP2Z=-=~4Pa
zdNUoQ{dCKI@0sLLx^LwVO!_EYcG9oXm+4RGMmp=Bc$%K2dnS8e|32(mxagjGWPiVD
zz1&H!r`OW^>5cSZ`dhkdb^n<@OCMR=Pp#)m`~6w^Dt(YXO`n)_&+6PrH|^&i>Bv6w
z*N0Z;Lz8@w{+>Rz-)MKxNj^${wdZM{df%BQ&(crn-A?vP;%DFfJF<Tt+XyeM{A2rl
z&z||t#&h2^xOvs;&F8JEx0_em9dzXntlbCJLmtZw({j&RV}6*ud-lYIJ+qg-N&m8c
zFQ51Gv-R|wmGozMFP(RD%slU<x6+~gJ~T~lS-JW=u=zbqr|Iph@zLY3|1YiWXEy5>
zHfFS8F7H|27p6TW2liiC&u9D>tH+qW>sIRAdOfi@d1fQrv$6}5UUsvIEgaj=tt+W!
znh{;tynbM_`fJz1t!^xgB>$yWS*hDru2vYW>`J!x$n>O-DJ#be@#8CluDO+W?eB-C
z*Q4~q<Q5NXuKBrH)Xi&*Wim_XmseBT-?zT*neNg)OVR0BxAKha+s^8K>{@tg)`ovv
z*jlqH2ez(z_T*!GUbgd=jg7KgpFXgvw`}&9!6RFxw@n+jf@h|mR{xHz{rfhKvP53@
zllAb>Eb`KRKeAT7wK@;&hf)1v^G*vF_BY;0&yQ{Xvj1Y+$Y_PReRehC8>Y=WomTpb
zf6)%B#*Ve>@0jhy<&4MMc+>Ru5xvn_>z-K*ZIzZ=t_H~Rz%)DPbnCB$%i>w0-FTiZ
zx>@<&M*7rR?$6T`E5ZBgIr_$G-LsYb;Yt&E!-;8zcOTn0sCD1wpZR9Q2R1*HJ-PCn
zLo3-gtyHGxa#@}kR_Rxpf9ykl-LRg)=I?Aao^<X1XlwMqey}pyi?zwR;7$96Fg%N`
zvc5O$uY0yHU?qC;&(_+*4!y80toR+9Bl>=7Pk&+3CszLLpcQtL-%Q514{hAp^IH~p
zr(1Qcjz;KKanr2V|8@&G>`-Nsg&cNT&9M;LUEe~EZPssx7II{MB)i_7g$%WE3puit
z!#b~zh2+)QY$5pi@6+!(FMQAbx-{#4&ql;<)Uq4=oZT}*7MHb=CGIV@rk~7%*nj&-
z19~~;4)M5;HQJZ{Vq=sSpV-L2+ap7sGh4HB`|GZa_0*og_rPnUXPw=hnjDm6g<0RT
zD=DpjMxgKQt`<n{En_G9R_DmPDkIa_4%63pd_==NhW@3yYX^q_RoOp}Z3K7_SgVm8
zKOc*9?~jbu_N~U*)yP^cmm`aC=cJptmi_qdgWrIvbC8FYV_O;9o94{${pUNvc{f+}
z{`4ZyhjFu3uFdsDpS(ibqR+VXIKsemYwL089Q?@|XQt@9a4G!3X7<gmPM_lspFx<r
z=AH6cM-U<!o&|kQI&TC|+=EX{0#@PQC)R>uiSw&=Z+HHV2bVs&7W&Y?tkQL-=Y1=4
z?LZLF)zJs(Z5uDTQ=5@F>VmX<*0|d(mm`bNN3ql<^Z}peVGr%@27B0lnJM@7%#D$V
zukDWc47G9Wfw5};xGvl{uh3@fVN^928MhrrmxwXDEJmJoZ?Q!!#eA?J7{D#_EBWBz
z)ta3c^1u@C(6i_0LS_XvgAamPa0zs$E_oKD$PTRze`5oZo!HaJn49%^&!P1M@_`}V
zzv8sREA51fVnv7coIfqy@h-;ab%jK#+itlWS%f^a*yhd7dk$>Q=3);m$Ck1*?-|B9
zFBW@-+FW1k$t$!i_KaJP<I90rLTx=Ror6AE<F$BCxq5gSnOi*X-24&r$??5QmFFR{
z8cOka@q<XFh;2797n*4lj*IFY{u1e?QD!M)BrX&74C}U9-h@5m!#88keB`0s-5?Kp
zFLP6~o&%e4S^e%<&rlmj9(GJ|_v^!Ye1$e652K1$&zS8vw#>(!c5ksoEya3ZC0G*s
zzPyZ_4s3yZ4-5!iqlk)6a3B~BCl2RkYs4t3cdPrvj*aZJ`y|G}lOCs)zPVPcMekx?
ziuLFpPJ{mFMidK^6Q|)^jB&VB7?f+m2{}X4s9Noo<BIr>c;co=>pa-6oD0SK7460r
zvNYQn#x|Mlya>!0YIB`2$5&{3%ps0w*^Xn5PS5)pLYK8{Cq_8ecP*|{uAQ(0#^PKj
zl7b$}BG*z7hX{peCFcShlfbLpa2>F*&sUUh7MmIBhTo!FmNJUWb^3MNEpNgdkh*0#
zjx2tvSe`+<EVi7pEih;9si&A@&2Y|bz2OtP<2QXx9BIxvySqMTS-vJyQ05?DHe;6J
zI1+JUm&KL>C$3qP>$(=g5c#pEdoBldg|{h-%n1~q-~r$S2*NI}JTe-CH(-gRWRyLR
z%y~Op!ey`rJzIL>dd!9q(Vtisx(eagA@B^in)4c@JPRY!DIW2d#-x*2WuF;StJQK;
zF|RpDU)!yzPwc+c*Xi>KXcO&I<7mS;%06Pgv;CaYyPuNMN_jIy+=kW9GcFdXJ&TxB
zGm6!~5&Pw2^u-*RVQ(camF1N)?sqfh-_mHsWa7G7gEjAH$S&~}#eVTEp*vTWqZQp2
zxrX-9-tio(gxd4CQiNl}o?Di=%-LAErm{JmLMum9OLgX;^X*!yv-*~lyMx3;aD(-8
z)M!`oAH0bEb;4Ea4#s6EsFt}?UANV8IkE`b&I;7|bON&J)>YrC#*wYxL(6*FH}1wy
z>&I|SbLM!YyLQZ}<Jqu;yO?F2;b$_Ij6d7T_Sl8h<=mF@Eqo3A*3KoZgIs4J3(C9N
zn0+~FMLgYQG5gxwYs==AK`df67>ROA%B;Yfxk*IC=eLaX+^IduT^rUJMh3>|OitNi
zu^W|(v0)RX&27&C`kpjo0dDy^!Q&1pqk>l{TL#-iTW6iRq0BgruEwDj#J5_ll_S}N
zM^l(qw98G$qt6>L-u81mhDWR<7STr}w-~LtFsUp9h59w?k|mKz8BdQ%|38pv%+efv
zqMgrW+aXii`j$Z^vcKSuJX$wsi1Y7uJ7A6tc|tcD_e?^p$GLw-CTu~s)bVx7k2}oc
zW>V?T+k4G8GU=qxBUvE}qd_O#IPu$#a3rD`#sMmm)0V!<a1;NxS}R8qArnz>n{_+p
z_+9lm42hQGJ!&k!JvY}x?jL(_&(68+-DjJIx;V;Qw|rAxnJIDGdBA_ht;X>qIumhO
zj4kXWb<Qd4yH?hTvoiKD&kb?^3_m;VPSV6!z!1C+_5iYIPxDha{8LhH98gy`h<J*2
zb$5^mhq}afrDv{%G4!T8Lav>>g`JnIyWjfGnGo@JG9O48Nv_FAbSHDH-Ev$p;+z-J
z+1MVH(I+~Ub!pp@GDmOkNoz!CWF3{m%<~GabGM8c^+=6Xh{}~?8nzObs*Q5a|Ci`Z
zH|ZTqGk!6emo<KCVail1bi`t<h+zABpiA3U7~xsJ?|7G7?w)||AQQI<q59}12E`o!
zM>lMgJK3^W)}9=XqZ`Ob79Oc?abqu%vI8m-C@pe5bkn^ec$@bx|AH%_9f-w!2uVHn
zMD*wPJjqabU7Zd{+HScVS&VP}+|U$uHUAwE_QZ^DpEj7*_A@^g@v+J!zG){!qY~Ys
zQewP*?Yd;isE_w2UcHPIGaaEy-y+&}=a?0<dY85kZA#y3BN{URD#^3U7?3;-Uhijs
zWfX`^%uVr=GE|@!RtdiAE)jUJ+gOm^u~Ww?_0CNKG}C?c{9X;dr+5$<GvPO)Jc<;%
zYqdEK!KN{^Xm8xa&`NvVEkom^ug+PKy=E1hpE<)XONCcu?Yd-H1k-)IAt!_Pz090!
zGm4DaonsWUFrSl6>3eMiBfG2!6SVQnDEW0_E0D;spv<sip|BLr4XKxN>_|WY&vVnd
zW+$KPY|jS9Gg*Frik)59DTE@kgbd8Z<B)ltT`WubbHhXR;1BHBs)vQwZEiv@xJi5O
zb4&soYs+zIy!X*^Y!_o0t^VANzxnL%<#J8|KDpQDtQNSx>s#VOZ9Fbyr)9;i&rPbl
zLYp&NWH)LSHEul_cjn)xYWEl0)Kc*uTtbXUkq&tsJWJUvq@WEkAwGz|v8LMlus?j6
z_i-f^OHy_VDbIRM-9_3}Zj0U-7yU^$ecudPaN@0u9{DPyWC4_U16`<F=EdMqNb|T_
zEpI{}dYytk^Y2p8a%?F}qYvk}SO~KujLaUtd-NG<lXban=#y7yTl5*Xo{T=x`LIjl
zy(>natnpfz^<zU0#auD^=w!}M;fLs>Q!VEJ9;3OJ>P**9(C}f<Xjk|Hf+%B@@h4*l
zQZaPTy7lqLKRK?J*frMjCj4RlD)T~9uqZkM-pqu`USeF@o^R57>s}}KHp<uytRjof
zd)#I8)++ZrdcT#pRBe=VzI}F`9hJS*QPpwm<-XU6y~Ql5w2!tGI%>sy+@&$5P3ya5
zo6For0B!L4d^(s}iN1S4k(g(wJ+p(wayAF|@>^Eqr}bI(tasl)J24m#PMM$5BDeRl
zeq=&B<^5?Q5b)H$eE?s;e)UEjUdXt~vP(O(*R3k$=5k)0F%grEwOEcQ%BuHqZ7et7
z$c47sM0nY5cbk*KGT1Tv9+l%4_k5Xm&q}q*g<!*0;?gB?trZ=<`nWb`g^pbKc5Q_&
z-5%H4wz(9p<qU-UTM?6gtHDqT4zjnAc`hwNb;}#;wNw!&8LSco*1|O+Lv-~w_FxZ+
zc!}I<?flfxrOMl7bSvw&TP{Zy;TudmBhT2K;*4+6{Ti3XmNo39wKuMDD}r1Bb5-M;
zm{^T({c<7Mu$8!UNqlR?pD#DQVF@*F8`{Sd-WFvt#_?@h-!0o*2H(n6t?{jvmiSgn
zOMI)PyTv#9R~#B)RIOc!Z(zJQUaM}a<$3rvwsSgy!FKDN)1_1Jt-VLCfp2{K7JI`G
z--rj43Gg{pygDowk_}slOP9qr-P?Gz;?gM?GiHU3VC0Q!D|Bhw3O8YE+cuZNH@zuM
zgz5O^Ic?tI(fQ-4A%&!6T*_@PVz?|V<5JG-$iMh4bgX%oaVdTSfAjCuq<@bvkuget
zI|)A_Dn(~-4J6ih%UHJE;wDt%Y_q*bI#!`yZ9^`NZHSiR9dPMvKlxK}_hGglMlQ{F
z_l*rhZ9Gfnr{dS=tTC_9=4?Nssu5w_dK_cOde_$D(w6nK`ipI9sk6p%_3*R)ci}}+
zc1C=b@5;?~NL_9WD7K1Zx}Uk5?}tINGU_Ae#b;17(oMHHT&fcek2dSNt(G@o58n$h
z1$*Xa!Du<Qlclle%ytg;4(A^Ep2Lg4o}o6^7klywZHqnQ*5l{`hgb%Cvc_wjH1aLs
z@Dk;t{p|_Pi0|6oPyU$Px!4f6gx}$fdnUnGVKmCpQwodFd&1nmlT`ejmi%O|^wG8Q
zRrHUpeo_c4;}aQm-g`tB=VGiEn!`AdN>lU~qJm^PL69_Vw;WZJt71;4AkX}_c4&D%
z^2~i_karuzg@=p>R=DfiRYPqYb*|s-s=PW=Q0F*gJY$xVQ77WdE^RTMR)4WQEys8i
zJriNb$I9DPoSoru@$D+4_;P%^3MqSIzFhzck%ub%b1l@NckfT*DsL!&GI&sYy9ya-
z>+cj1A1ZG|4t=cUa%3^`92Z&gvH0Dit9S=<Y1@`^F1{V9uaQLp>sj@jMbddIw!n<%
zEP1OOOVpm$Z>LpGJLSA@f5U-YR(Ftvt0j_2ceupM_uW;*X>s&cT1k6HbmY<r*St3f
zr}e!q#$kJ~4F5(HvM6F5ydRAe9)Z^jDLfxTZUhE`9TM9~N=^nuluR`pJG~!bmi6zg
zqZ{_>%t{EysgraQoAmc06`e8%k}7B7_d2+x!6@0^+U=I3it+8Jz_%%<faFDLhQ0~k
z`n|NQXAOJ<{h9NOZ_0+lEyQd4S@L1I=fnH0#HCAS$y+S#<vs;ub|Yl#+s71Si@3hy
zUTc?~(s#=?m&uZss|q@C3r%Rn|GS}<mZyNVv^)i@rMo=^q<<lj`;+?T-Ub{jM?e~P
zc?yUWbn~1Q9ts!Cbz3dZ!?$Vt&11Cb-*JppmpgOIhStEhn!gF(YW^0N3(1D9#HCB(
zTZ_BB`uH|xg^pnHF6+|m@vR+OEQN2%0L7<(#GRmBKIbb>0m&8N^;ue;0%FgK>HPhg
z-JSx{KQU%>3doq@n8Q;*>VRvYnWG+U<VY%RaTBVEF>d;<c4DKsOpTUf^cu^=&&`Jo
z^WHfN|042XLv6|^QuerZ6sa5Co4)}$ug>Ot82Rs-X^mTs;|m$*+HzbPqffiP*q)Zk
zhn1_Rcu(J|t$U-96pti!<lF7?X^`sr_ccT^<wJIJ0*GeVo--n_j*N!R_=b9OXCzC>
z0P?9_x7G3{++mGNp3~;(9uE??*Ouhcwk4IlwCraMHidt%%j9TLSWOm;ookp4tIL)3
zs@rLmFP9C2IVnf*YGuP>WSMS@j$53;)wbx;wk_5uI_$e;q04Y8PTa^^Ij4e6@R`_<
z?;zFg;jD>Vm_H4Q>H80|R7^#&0B_Wg8^H#}Pn1<+7cQ}2t(-sJqdcE(g@JN>=A;ps
za&>;6jC>g7;*6P7Iok0iK)c0qJW(bLkIkqvEfW^q)EmdPVJ|JqSqIycC(YRA5utKh
z%$>7TW}4GnWh+&#m=JpdWxSQRbje7u-0kpR=Vvc>q=+Td$TGB#_73Z~6|;Po#;7)}
z@0M*Yg=&57)z5^LYc88CGhwx~%!JiaWs`IovVNAI{!501m+@KItXjJ=6E@^-b=_9W
z^YCpf2jK`7@0TuZTUJKVcD7+1d>e8%-{pqfEiQK?>$eh@E{kt5Z+rFeZOjTC!HDMO
zvbHJs*0#;1@U73<_(W6|vo_*Rq;R~NwSf@qxo)>Z*0$SB*pOqP723tDP50qz)>ht!
ZZ@1V&wUWWzOi$C#=`!6(ucz12e*p%3(#!w=

literal 0
HcmV?d00001

diff --git a/output_step_0.dot b/output_step_0.dot
new file mode 100644
index 0000000..2ffc6d5
--- /dev/null
+++ b/output_step_0.dot
@@ -0,0 +1,11 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"56" -> "56_NIL_L";
+	"56_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"56" -> "56_NIL_R";
+}
diff --git a/output_step_1.dot b/output_step_1.dot
new file mode 100644
index 0000000..45d7147
--- /dev/null
+++ b/output_step_1.dot
@@ -0,0 +1,15 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "33";
+	"33" [fillcolor=red, fontcolor=white];
+	"33_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_L";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"56" -> "56_NIL_R";
+}
diff --git a/output_step_10.dot b/output_step_10.dot
new file mode 100644
index 0000000..0f81282
--- /dev/null
+++ b/output_step_10.dot
@@ -0,0 +1,51 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "25";
+	"25" [fillcolor=black, fontcolor=white];
+	"25" -> "15";
+	"15" [fillcolor=red, fontcolor=white];
+	"15" -> "11";
+	"11" [fillcolor=black, fontcolor=white];
+	"11_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_L";
+	"11_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_R";
+	"15" -> "19";
+	"19" [fillcolor=black, fontcolor=white];
+	"19_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"19" -> "19_NIL_L";
+	"19_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"19" -> "19_NIL_R";
+	"25" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33" -> "27";
+	"27" [fillcolor=red, fontcolor=white];
+	"27_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_L";
+	"27_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_R";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "69";
+	"69" [fillcolor=black, fontcolor=white];
+	"69" -> "63";
+	"63" [fillcolor=black, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+	"69" -> "98";
+	"98" [fillcolor=black, fontcolor=white];
+	"98" -> "89";
+	"89" [fillcolor=red, fontcolor=white];
+	"89_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_L";
+	"89_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_R";
+	"98_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"98" -> "98_NIL_R";
+}
diff --git a/output_step_11.dot b/output_step_11.dot
new file mode 100644
index 0000000..df8becb
--- /dev/null
+++ b/output_step_11.dot
@@ -0,0 +1,55 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "25";
+	"25" [fillcolor=black, fontcolor=white];
+	"25" -> "15";
+	"15" [fillcolor=red, fontcolor=white];
+	"15" -> "11";
+	"11" [fillcolor=black, fontcolor=white];
+	"11" -> "8";
+	"8" [fillcolor=red, fontcolor=white];
+	"8_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"8" -> "8_NIL_L";
+	"8_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"8" -> "8_NIL_R";
+	"11_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_R";
+	"15" -> "19";
+	"19" [fillcolor=black, fontcolor=white];
+	"19_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"19" -> "19_NIL_L";
+	"19_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"19" -> "19_NIL_R";
+	"25" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33" -> "27";
+	"27" [fillcolor=red, fontcolor=white];
+	"27_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_L";
+	"27_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_R";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "69";
+	"69" [fillcolor=black, fontcolor=white];
+	"69" -> "63";
+	"63" [fillcolor=black, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+	"69" -> "98";
+	"98" [fillcolor=black, fontcolor=white];
+	"98" -> "89";
+	"89" [fillcolor=red, fontcolor=white];
+	"89_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_L";
+	"89_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_R";
+	"98_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"98" -> "98_NIL_R";
+}
diff --git a/output_step_12.dot b/output_step_12.dot
new file mode 100644
index 0000000..df8becb
--- /dev/null
+++ b/output_step_12.dot
@@ -0,0 +1,55 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "25";
+	"25" [fillcolor=black, fontcolor=white];
+	"25" -> "15";
+	"15" [fillcolor=red, fontcolor=white];
+	"15" -> "11";
+	"11" [fillcolor=black, fontcolor=white];
+	"11" -> "8";
+	"8" [fillcolor=red, fontcolor=white];
+	"8_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"8" -> "8_NIL_L";
+	"8_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"8" -> "8_NIL_R";
+	"11_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_R";
+	"15" -> "19";
+	"19" [fillcolor=black, fontcolor=white];
+	"19_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"19" -> "19_NIL_L";
+	"19_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"19" -> "19_NIL_R";
+	"25" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33" -> "27";
+	"27" [fillcolor=red, fontcolor=white];
+	"27_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_L";
+	"27_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_R";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "69";
+	"69" [fillcolor=black, fontcolor=white];
+	"69" -> "63";
+	"63" [fillcolor=black, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+	"69" -> "98";
+	"98" [fillcolor=black, fontcolor=white];
+	"98" -> "89";
+	"89" [fillcolor=red, fontcolor=white];
+	"89_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_L";
+	"89_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_R";
+	"98_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"98" -> "98_NIL_R";
+}
diff --git a/output_step_13.dot b/output_step_13.dot
new file mode 100644
index 0000000..488a727
--- /dev/null
+++ b/output_step_13.dot
@@ -0,0 +1,59 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "25";
+	"25" [fillcolor=black, fontcolor=white];
+	"25" -> "15";
+	"15" [fillcolor=red, fontcolor=white];
+	"15" -> "11";
+	"11" [fillcolor=black, fontcolor=white];
+	"11" -> "8";
+	"8" [fillcolor=red, fontcolor=white];
+	"8_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"8" -> "8_NIL_L";
+	"8_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"8" -> "8_NIL_R";
+	"11_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_R";
+	"15" -> "19";
+	"19" [fillcolor=black, fontcolor=white];
+	"19_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"19" -> "19_NIL_L";
+	"19_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"19" -> "19_NIL_R";
+	"25" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33" -> "27";
+	"27" [fillcolor=red, fontcolor=white];
+	"27_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_L";
+	"27_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_R";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "69";
+	"69" [fillcolor=black, fontcolor=white];
+	"69" -> "64";
+	"64" [fillcolor=black, fontcolor=white];
+	"64" -> "63";
+	"63" [fillcolor=red, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+	"64_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"64" -> "64_NIL_R";
+	"69" -> "98";
+	"98" [fillcolor=black, fontcolor=white];
+	"98" -> "89";
+	"89" [fillcolor=red, fontcolor=white];
+	"89_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_L";
+	"89_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_R";
+	"98_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"98" -> "98_NIL_R";
+}
diff --git a/output_step_14.dot b/output_step_14.dot
new file mode 100644
index 0000000..52b6447
--- /dev/null
+++ b/output_step_14.dot
@@ -0,0 +1,63 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "25";
+	"25" [fillcolor=black, fontcolor=white];
+	"25" -> "15";
+	"15" [fillcolor=red, fontcolor=white];
+	"15" -> "11";
+	"11" [fillcolor=black, fontcolor=white];
+	"11" -> "8";
+	"8" [fillcolor=red, fontcolor=white];
+	"8_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"8" -> "8_NIL_L";
+	"8_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"8" -> "8_NIL_R";
+	"11_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_R";
+	"15" -> "19";
+	"19" [fillcolor=black, fontcolor=white];
+	"19" -> "18";
+	"18" [fillcolor=red, fontcolor=white];
+	"18_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"18" -> "18_NIL_L";
+	"18_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"18" -> "18_NIL_R";
+	"19_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"19" -> "19_NIL_R";
+	"25" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33" -> "27";
+	"27" [fillcolor=red, fontcolor=white];
+	"27_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_L";
+	"27_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_R";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "69";
+	"69" [fillcolor=black, fontcolor=white];
+	"69" -> "64";
+	"64" [fillcolor=black, fontcolor=white];
+	"64" -> "63";
+	"63" [fillcolor=red, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+	"64_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"64" -> "64_NIL_R";
+	"69" -> "98";
+	"98" [fillcolor=black, fontcolor=white];
+	"98" -> "89";
+	"89" [fillcolor=red, fontcolor=white];
+	"89_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_L";
+	"89_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_R";
+	"98_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"98" -> "98_NIL_R";
+}
diff --git a/output_step_15.dot b/output_step_15.dot
new file mode 100644
index 0000000..9b639e1
--- /dev/null
+++ b/output_step_15.dot
@@ -0,0 +1,67 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "25";
+	"25" [fillcolor=red, fontcolor=white];
+	"25" -> "15";
+	"15" [fillcolor=black, fontcolor=white];
+	"15" -> "11";
+	"11" [fillcolor=black, fontcolor=white];
+	"11" -> "8";
+	"8" [fillcolor=red, fontcolor=white];
+	"8_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"8" -> "8_NIL_L";
+	"8_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"8" -> "8_NIL_R";
+	"11_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_R";
+	"15" -> "19";
+	"19" [fillcolor=black, fontcolor=white];
+	"19" -> "18";
+	"18" [fillcolor=red, fontcolor=white];
+	"18_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"18" -> "18_NIL_L";
+	"18_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"18" -> "18_NIL_R";
+	"19_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"19" -> "19_NIL_R";
+	"25" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33" -> "27";
+	"27" [fillcolor=black, fontcolor=white];
+	"27_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_L";
+	"27_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_R";
+	"33" -> "49";
+	"49" [fillcolor=black, fontcolor=white];
+	"49_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"49" -> "49_NIL_L";
+	"49_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"49" -> "49_NIL_R";
+	"56" -> "69";
+	"69" [fillcolor=black, fontcolor=white];
+	"69" -> "64";
+	"64" [fillcolor=black, fontcolor=white];
+	"64" -> "63";
+	"63" [fillcolor=red, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+	"64_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"64" -> "64_NIL_R";
+	"69" -> "98";
+	"98" [fillcolor=black, fontcolor=white];
+	"98" -> "89";
+	"89" [fillcolor=red, fontcolor=white];
+	"89_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_L";
+	"89_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_R";
+	"98_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"98" -> "98_NIL_R";
+}
diff --git a/output_step_2.dot b/output_step_2.dot
new file mode 100644
index 0000000..91e649e
--- /dev/null
+++ b/output_step_2.dot
@@ -0,0 +1,19 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_L";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "63";
+	"63" [fillcolor=black, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+}
diff --git a/output_step_3.dot b/output_step_3.dot
new file mode 100644
index 0000000..96f7471
--- /dev/null
+++ b/output_step_3.dot
@@ -0,0 +1,23 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33" -> "25";
+	"25" [fillcolor=red, fontcolor=white];
+	"25_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"25" -> "25_NIL_L";
+	"25_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"25" -> "25_NIL_R";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "63";
+	"63" [fillcolor=black, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+}
diff --git a/output_step_4.dot b/output_step_4.dot
new file mode 100644
index 0000000..8b0be62
--- /dev/null
+++ b/output_step_4.dot
@@ -0,0 +1,27 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "25";
+	"25" [fillcolor=red, fontcolor=white];
+	"25" -> "11";
+	"11" [fillcolor=black, fontcolor=white];
+	"11_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_L";
+	"11_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_R";
+	"25" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_L";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "63";
+	"63" [fillcolor=black, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+}
diff --git a/output_step_5.dot b/output_step_5.dot
new file mode 100644
index 0000000..6227992
--- /dev/null
+++ b/output_step_5.dot
@@ -0,0 +1,31 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "25";
+	"25" [fillcolor=red, fontcolor=white];
+	"25" -> "11";
+	"11" [fillcolor=black, fontcolor=white];
+	"11_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_L";
+	"11_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_R";
+	"25" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_L";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "89";
+	"89" [fillcolor=black, fontcolor=white];
+	"89" -> "63";
+	"63" [fillcolor=red, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+	"89_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_R";
+}
diff --git a/output_step_6.dot b/output_step_6.dot
new file mode 100644
index 0000000..ec102d9
--- /dev/null
+++ b/output_step_6.dot
@@ -0,0 +1,35 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "25";
+	"25" [fillcolor=red, fontcolor=white];
+	"25" -> "11";
+	"11" [fillcolor=black, fontcolor=white];
+	"11_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_L";
+	"11_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_R";
+	"25" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33" -> "27";
+	"27" [fillcolor=red, fontcolor=white];
+	"27_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_L";
+	"27_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_R";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "89";
+	"89" [fillcolor=black, fontcolor=white];
+	"89" -> "63";
+	"63" [fillcolor=red, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+	"89_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_R";
+}
diff --git a/output_step_7.dot b/output_step_7.dot
new file mode 100644
index 0000000..d0d7112
--- /dev/null
+++ b/output_step_7.dot
@@ -0,0 +1,39 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "25";
+	"25" [fillcolor=black, fontcolor=white];
+	"25" -> "11";
+	"11" [fillcolor=black, fontcolor=white];
+	"11_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_L";
+	"11_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_R";
+	"25" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33" -> "27";
+	"27" [fillcolor=red, fontcolor=white];
+	"27_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_L";
+	"27_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_R";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "69";
+	"69" [fillcolor=black, fontcolor=white];
+	"69" -> "63";
+	"63" [fillcolor=black, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+	"69" -> "89";
+	"89" [fillcolor=black, fontcolor=white];
+	"89_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_L";
+	"89_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_R";
+}
diff --git a/output_step_8.dot b/output_step_8.dot
new file mode 100644
index 0000000..9b7826f
--- /dev/null
+++ b/output_step_8.dot
@@ -0,0 +1,43 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "25";
+	"25" [fillcolor=black, fontcolor=white];
+	"25" -> "15";
+	"15" [fillcolor=black, fontcolor=white];
+	"15" -> "11";
+	"11" [fillcolor=red, fontcolor=white];
+	"11_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_L";
+	"11_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_R";
+	"15_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"15" -> "15_NIL_R";
+	"25" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33" -> "27";
+	"27" [fillcolor=red, fontcolor=white];
+	"27_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_L";
+	"27_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_R";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "69";
+	"69" [fillcolor=black, fontcolor=white];
+	"69" -> "63";
+	"63" [fillcolor=black, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+	"69" -> "89";
+	"89" [fillcolor=black, fontcolor=white];
+	"89_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_L";
+	"89_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_R";
+}
diff --git a/output_step_9.dot b/output_step_9.dot
new file mode 100644
index 0000000..a20f5e0
--- /dev/null
+++ b/output_step_9.dot
@@ -0,0 +1,47 @@
+digraph G {
+	graph [ratio=.48];
+	node [style=filled, color=black, shape=circle, width=.6 
+		fontname=Helvetica, fontweight=bold, fontcolor=white, 
+		fontsize=24, fixedsize=true];
+	"56" [fillcolor=red, fontcolor=white];
+	"56" -> "25";
+	"25" [fillcolor=black, fontcolor=white];
+	"25" -> "15";
+	"15" [fillcolor=black, fontcolor=white];
+	"15" -> "11";
+	"11" [fillcolor=red, fontcolor=white];
+	"11_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_L";
+	"11_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"11" -> "11_NIL_R";
+	"15_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"15" -> "15_NIL_R";
+	"25" -> "33";
+	"33" [fillcolor=black, fontcolor=white];
+	"33" -> "27";
+	"27" [fillcolor=red, fontcolor=white];
+	"27_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_L";
+	"27_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"27" -> "27_NIL_R";
+	"33_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"33" -> "33_NIL_R";
+	"56" -> "69";
+	"69" [fillcolor=black, fontcolor=white];
+	"69" -> "63";
+	"63" [fillcolor=black, fontcolor=white];
+	"63_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_L";
+	"63_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"63" -> "63_NIL_R";
+	"69" -> "98";
+	"98" [fillcolor=black, fontcolor=white];
+	"98" -> "89";
+	"89" [fillcolor=red, fontcolor=white];
+	"89_NIL_L" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_L";
+	"89_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"89" -> "89_NIL_R";
+	"98_NIL_R" [shape=plaintext, label="NIL", fontsize=16];
+	"98" -> "98_NIL_R";
+}