diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 0638e4f..a463011 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -1,7 +1,11 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
   <component name="ChangeListManager">
-    <list default="true" id="5a622f1e-7360-4f13-a6b9-eac4acf0ab86" name="Default Changelist" comment="" />
+    <list default="true" id="5a622f1e-7360-4f13-a6b9-eac4acf0ab86" name="Default Changelist" comment="">
+      <change afterPath="$PROJECT_DIR$/informed.py" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/main.py" beforeDir="false" afterPath="$PROJECT_DIR$/main.py" afterDir="false" />
+    </list>
     <option name="EXCLUDED_CONVERTED_TO_IGNORED" value="true" />
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
@@ -24,18 +28,31 @@
   </component>
   <component name="FileEditorManager">
     <leaf SIDE_TABS_SIZE_LIMIT_KEY="300">
-      <file pinned="false" current-in-tab="true">
+      <file pinned="false" current-in-tab="false">
         <entry file="file://$PROJECT_DIR$/main.py">
           <provider selected="true" editor-type-id="text-editor">
-            <state relative-caret-position="7">
-              <caret line="7" column="20" selection-start-line="7" selection-start-column="20" selection-end-line="7" selection-end-column="20" />
+            <state relative-caret-position="247">
+              <caret line="212" column="16" selection-start-line="212" selection-start-column="16" selection-end-line="215" selection-end-column="73" />
               <folding>
                 <element signature="e#0#28#0" expanded="true" />
-                <element signature="e#90#890#0" />
-                <element signature="e#935#1916#0" />
-                <element signature="e#1941#3949#0" />
+                <element signature="e#96#896#0" />
                 <element signature="e#4124#4953#0" />
-                <element signature="e#5035#7271#0" />
+              </folding>
+            </state>
+          </provider>
+        </entry>
+      </file>
+      <file pinned="false" current-in-tab="true">
+        <entry file="file://$PROJECT_DIR$/informed.py">
+          <provider selected="true" editor-type-id="text-editor">
+            <state relative-caret-position="95">
+              <caret line="236" column="108" lean-forward="true" selection-start-line="236" selection-start-column="108" selection-end-line="236" selection-end-column="108" />
+              <folding>
+                <element signature="e#0#28#0" expanded="true" />
+                <element signature="e#92#892#0" />
+                <element signature="e#1125#2106#0" />
+                <element signature="e#2181#2280#0" />
+                <element signature="e#2335#2815#0" />
               </folding>
             </state>
           </provider>
@@ -65,10 +82,11 @@
         <option value="$PROJECT_DIR$/bfs.py" />
         <option value="$PROJECT_DIR$/.gitignore" />
         <option value="$PROJECT_DIR$/main.py" />
+        <option value="$PROJECT_DIR$/informed.py" />
       </list>
     </option>
   </component>
-  <component name="ProjectFrameBounds" extendedState="4">
+  <component name="ProjectFrameBounds" extendedState="5">
     <option name="x" value="214" />
     <option name="y" value="24" />
     <option name="width" value="1152" />
@@ -80,7 +98,6 @@
       <foldersAlwaysOnTop value="true" />
     </navigator>
     <panes>
-      <pane id="Scope" />
       <pane id="ProjectPane">
         <subPane>
           <expand>
@@ -96,10 +113,12 @@
           <select />
         </subPane>
       </pane>
+      <pane id="Scope" />
     </panes>
   </component>
   <component name="PropertiesComponent">
     <property name="WebServerToolWindowFactoryState" value="false" />
+    <property name="last_opened_file_path" value="$PROJECT_DIR$" />
     <property name="nodejs_interpreter_path.stuck_in_default_project" value="undefined stuck path" />
     <property name="nodejs_npm_path_reset_for_default_project" value="true" />
     <property name="settings.editor.selected.configurable" value="com.jetbrains.python.configuration.PyActiveSdkModuleConfigurable" />
@@ -130,16 +149,18 @@
       <workItem from="1552622998567" duration="5256000" />
       <workItem from="1552631982736" duration="7399000" />
       <workItem from="1553049444685" duration="956000" />
+      <workItem from="1553231825373" duration="165000" />
+      <workItem from="1553243172343" duration="4859000" />
     </task>
     <servers />
   </component>
   <component name="TimeTrackingManager">
-    <option name="totallyTimeSpent" value="16289000" />
+    <option name="totallyTimeSpent" value="21313000" />
   </component>
   <component name="ToolWindowManager">
-    <frame x="214" y="24" width="1152" height="744" extended-state="4" />
+    <frame x="214" y="24" width="1152" height="744" extended-state="5" />
     <layout>
-      <window_info content_ui="combo" id="Project" order="0" visible="true" weight="0.27576855" />
+      <window_info content_ui="combo" id="Project" order="0" visible="true" weight="0.28661844" />
       <window_info id="Structure" order="1" side_tool="true" weight="0.25" />
       <window_info id="Favorites" order="2" side_tool="true" />
       <window_info anchor="bottom" id="Message" order="0" />
@@ -153,7 +174,7 @@
       <window_info anchor="bottom" id="Version Control" order="8" />
       <window_info anchor="bottom" id="Database Changes" order="9" />
       <window_info anchor="bottom" id="Event Log" order="10" side_tool="true" />
-      <window_info anchor="bottom" id="Terminal" order="11" weight="0.28200972" />
+      <window_info active="true" anchor="bottom" id="Terminal" order="11" visible="true" weight="0.44732577" />
       <window_info anchor="bottom" id="Python Console" order="12" weight="0.32956383" />
       <window_info anchor="right" x="0" y="0" width="238" height="544" id="Documentation" order="0" side_tool="true" weight="0.32911393" />
       <window_info anchor="right" id="Commander" internal_type="SLIDING" order="1" type="SLIDING" weight="0.4" />
@@ -167,13 +188,7 @@
     <option name="version" value="1" />
   </component>
   <component name="editorHistoryManager">
-    <entry file="file://$PROJECT_DIR$/bfs.py">
-      <provider selected="true" editor-type-id="text-editor">
-        <state relative-caret-position="45">
-          <caret line="3" column="24" selection-start-line="3" selection-start-column="24" selection-end-line="3" selection-end-column="24" />
-        </state>
-      </provider>
-    </entry>
+    <entry file="file://$PROJECT_DIR$/bfs.py" />
     <entry file="file://$PROJECT_DIR$/.gitignore">
       <provider selected="true" editor-type-id="text-editor">
         <state relative-caret-position="15">
@@ -183,15 +198,26 @@
     </entry>
     <entry file="file://$PROJECT_DIR$/main.py">
       <provider selected="true" editor-type-id="text-editor">
-        <state relative-caret-position="7">
-          <caret line="7" column="20" selection-start-line="7" selection-start-column="20" selection-end-line="7" selection-end-column="20" />
+        <state relative-caret-position="247">
+          <caret line="212" column="16" selection-start-line="212" selection-start-column="16" selection-end-line="215" selection-end-column="73" />
           <folding>
             <element signature="e#0#28#0" expanded="true" />
-            <element signature="e#90#890#0" />
-            <element signature="e#935#1916#0" />
-            <element signature="e#1941#3949#0" />
+            <element signature="e#96#896#0" />
             <element signature="e#4124#4953#0" />
-            <element signature="e#5035#7271#0" />
+          </folding>
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/informed.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="95">
+          <caret line="236" column="108" lean-forward="true" selection-start-line="236" selection-start-column="108" selection-end-line="236" selection-end-column="108" />
+          <folding>
+            <element signature="e#0#28#0" expanded="true" />
+            <element signature="e#92#892#0" />
+            <element signature="e#1125#2106#0" />
+            <element signature="e#2181#2280#0" />
+            <element signature="e#2335#2815#0" />
           </folding>
         </state>
       </provider>
diff --git a/informed.py b/informed.py
new file mode 100644
index 0000000..8769da7
--- /dev/null
+++ b/informed.py
@@ -0,0 +1,297 @@
+from graphviz import Digraph
+import os
+import copy
+import functools
+import time
+
+
+counter = 1
+initial_state = [[0, 1, 3],
+                [6, 2, 4],
+                [7, 5, 8]]
+
+final_state = [[1, 2, 3],
+                [6, 5, 4],
+                [7, 8, 0]]
+
+
+class State(object):
+    def __init__(self, self_state, parent_id, parent_move, level):
+        global counter
+        self.self_id = counter
+        self.self_state = self_state
+        self.parent_id = parent_id
+        self.parent_move = parent_move
+        self.level = level
+        self.cost = 0
+        self.l_child = -1
+        self.u_child = -1
+        self.r_child = -1
+        self.d_child = -1
+        counter += 1
+
+    def set_child(self, state_id, move):
+        if move == "left":
+            self.l_child = state_id
+        elif move == "right":
+            self.r_child = state_id
+        elif move == "up":
+            self.u_child = state_id
+        elif move == "down":
+            self.d_child = state_id
+
+    def __repr__(self):
+        return str(self.self_state[0])+"\n"+str(self.self_state[1])+"\n"+str(self.self_state[2])
+
+
+def create_child(parent_state, move):
+    i = 0
+    j = 0
+    found = False
+    matrix = copy.deepcopy(parent_state)
+    for i in range(0, 3):
+        for j in range(0, 3):
+            if parent_state[i][j] == 0:
+                found = True
+                break
+        if found:
+            break
+    if move == "left":
+        if j == 0:
+            return -1
+        else:
+            matrix[i][j] = matrix[i][j - 1]
+            matrix[i][j - 1] = 0
+            return matrix
+    if move == "right":
+        if j == 2:
+            return -1
+        else:
+            matrix[i][j] = matrix[i][j + 1]
+            matrix[i][j + 1] = 0
+            return matrix
+    if move == "up":
+        if i == 0:
+            return -1
+        else:
+            matrix[i][j] = matrix[i - 1][j]
+            matrix[i - 1][j] = 0
+            return matrix
+
+    if move == "down":
+        if i == 2:
+            return -1
+        else:
+            matrix[i][j] = matrix[i + 1][j]
+            matrix[i + 1][j] = 0
+            return matrix
+
+
+explored = []
+unexplored = []
+
+def custom_sort(a, b):
+    if a.cost == b.cost:
+        return 0
+    elif a.cost < b.cost:
+        return 1
+    else:
+        return -1
+
+def manhattan_distance(current_matrix):
+    goal_matrix = [[1,2,3],
+                [6,5,4],
+                [7,8,0]]
+    distance = 0
+    for i in range(0,3):
+        for j in range(0,3):
+            if current_matrix[i][j] != 0:
+                for item in goal_matrix:
+                    if current_matrix[i][j] in item:
+                        x = goal_matrix.index(item)
+                        y = item.index(current_matrix[i][j])
+                distance = distance + (abs(x - i) + abs(y - j))
+    return distance
+
+
+def A_star():
+    global state_space_tree, explored, unexplored
+    global id_to_state
+    current_state = id_to_state[1]
+    counter_g = 0
+
+    dot = Digraph(comment='BFS graph')
+    dot.node(str(current_state.self_id), current_state.__str__())
+
+    while True:
+        explored.append(current_state)
+        # print(current_state.self_id, len(explored))
+        # # graph
+        # dot.node(str(current_state.self_id), current_state.__str__())
+        # dot.edge(str(current_state.parent_id), str(current_state.self_id), label=current_state.parent_move)
+        if current_state.self_state == final_state:
+            break
+        if current_state.u_child != -1:
+            child_state = id_to_state[current_state.u_child]
+            cost_child = counter_g + manhattan_distance(child_state.self_state)
+            child_state.cost = cost_child
+            if child_state not in explored and child_state not in unexplored:
+                unexplored.append(child_state)
+                # graph
+                dot.node(str(child_state.self_id), child_state.__str__())
+                dot.edge(str(current_state.self_id), str(child_state.self_id), label=child_state.parent_move)
+        if current_state.d_child != -1:
+            child_state = id_to_state[current_state.d_child]
+            cost_child = counter_g + manhattan_distance(child_state.self_state)
+            child_state.cost = cost_child
+            if child_state not in explored and child_state not in unexplored:
+                unexplored.append(child_state)
+                # graph
+                dot.node(str(child_state.self_id), child_state.__str__())
+                dot.edge(str(current_state.self_id), str(child_state.self_id), label=child_state.parent_move)
+        if current_state.l_child != -1:
+            child_state = id_to_state[current_state.l_child]
+            cost_child = counter_g + manhattan_distance(child_state.self_state)
+            child_state.cost = cost_child
+            if child_state not in explored and child_state not in unexplored:
+                unexplored.append(child_state)
+                # graph
+                dot.node(str(child_state.self_id), child_state.__str__())
+                dot.edge(str(current_state.self_id), str(child_state.self_id), label=child_state.parent_move)
+        if current_state.r_child != -1:
+            child_state = id_to_state[current_state.r_child]
+            cost_child = counter_g + manhattan_distance(child_state.self_state)
+            child_state.cost = cost_child
+            if child_state not in explored and child_state not in unexplored:
+                unexplored.append(child_state)
+                # graph
+                dot.node(str(child_state.self_id), child_state.__str__())
+                dot.edge(str(current_state.self_id), str(child_state.self_id), label=child_state.parent_move)
+
+        unexplored.sort(key=lambda x:x.cost)
+
+        current_state = unexplored.pop(0)
+        print([item.self_id for item in unexplored])
+        print([item.cost for item in unexplored])
+        print("\n")
+        # time.sleep(1)
+        counter_g += 1
+
+    dot.render(str(os.getcwd() + '/outputs/A_star_graph.gv'), view=True)
+
+
+def Greedy_best_first():
+    global state_space_tree, explored, unexplored
+    global id_to_state
+    current_state = id_to_state[1]
+
+    explored = []
+    unexplored = []
+
+    dot = Digraph(comment='BFS graph')
+    dot.node(str(current_state.self_id), current_state.__str__())
+
+    while True:
+        explored.append(current_state)
+        # print(current_state.self_id, len(explored))
+        # # graph
+        # dot.node(str(current_state.self_id), current_state.__str__())
+        # dot.edge(str(current_state.parent_id), str(current_state.self_id), label=current_state.parent_move)
+        if current_state.self_state == final_state:
+            break
+        if current_state.u_child != -1:
+            child_state = id_to_state[current_state.u_child]
+            cost_child = manhattan_distance(child_state.self_state)
+            child_state.cost = cost_child
+            if child_state not in explored and child_state not in unexplored:
+                unexplored.append(child_state)
+                # graph
+                dot.node(str(child_state.self_id), child_state.__str__())
+                dot.edge(str(current_state.self_id), str(child_state.self_id), label=child_state.parent_move+str(child_state.cost))
+        if current_state.d_child != -1:
+            child_state = id_to_state[current_state.d_child]
+            cost_child = manhattan_distance(child_state.self_state)
+            child_state.cost = cost_child
+            if child_state not in explored and child_state not in unexplored:
+                unexplored.append(child_state)
+                # graph
+                dot.node(str(child_state.self_id), child_state.__str__())
+                dot.edge(str(current_state.self_id), str(child_state.self_id), label=child_state.parent_move+str(child_state.cost))
+        if current_state.l_child != -1:
+            child_state = id_to_state[current_state.l_child]
+            cost_child = manhattan_distance(child_state.self_state)
+            child_state.cost = cost_child
+            if child_state not in explored and child_state not in unexplored:
+                unexplored.append(child_state)
+                # graph
+                dot.node(str(child_state.self_id), child_state.__str__())
+                dot.edge(str(current_state.self_id), str(child_state.self_id), label=child_state.parent_move+str(child_state.cost))
+        if current_state.r_child != -1:
+            child_state = id_to_state[current_state.r_child]
+            cost_child = manhattan_distance(child_state.self_state)
+            child_state.cost = cost_child
+            if child_state not in explored and child_state not in unexplored:
+                unexplored.append(child_state)
+                # graph
+                dot.node(str(child_state.self_id), child_state.__str__())
+                dot.edge(str(current_state.self_id), str(child_state.self_id), label=child_state.parent_move+str(child_state.cost))
+
+        unexplored.sort(key=lambda x:x.cost)
+
+        current_state = unexplored.pop(0)
+
+    dot.render(str(os.getcwd() + '/outputs/greedy_best_first_graph.gv'), view=True)
+
+state_space_tree = dict()
+id_to_state = dict()
+
+if __name__ == "__main__":
+    # for graph
+    dot = Digraph(comment='State space graph')
+
+    opposite_movements = {"up": "down", "down": "up", "left": "right", "right": "left"}
+    goal_found = False
+    current_state = State(initial_state, 1, "null", 1)
+    id_to_state[1] = current_state
+    explore_queue = [current_state.self_id]
+
+    dot.node(str(current_state.self_id), current_state.__str__())
+
+    goal_lvl = 9999
+
+    while (True):
+        current_state = id_to_state[explore_queue.pop(0)]
+
+        if current_state.level  > goal_lvl + 1:
+            break
+
+        parent_move = current_state.parent_move
+        possible_movements = ["up", "left", "down", "right"]
+        if (parent_move != "null"):
+            possible_movements.remove(opposite_movements[parent_move])
+        childs = []
+        for move in possible_movements:
+            matrix = create_child(current_state.self_state, move)
+            if matrix != -1:
+                state_obj = State(matrix, current_state.self_id, move, current_state.level+1)
+                current_state.set_child(state_obj.self_id, move)
+                # put the child id to queue
+                explore_queue.append(state_obj.self_id)
+                # save the child object
+                id_to_state[state_obj.self_id] = state_obj
+                childs.append(state_obj.self_id)
+                # check if this child is the goal state
+                if matrix == final_state and goal_lvl == 9999:
+                    goal_lvl = state_obj.level - 1
+
+                if matrix == final_state:
+                    dot.node(str(state_obj.self_id), state_obj.__str__(), color='green')
+                else:
+                    dot.node(str(state_obj.self_id), state_obj.__str__())
+
+                dot.edge(str(state_obj.parent_id), str(state_obj.self_id), label=move)
+
+    A_star()
+    Greedy_best_first()
+    dot.render(str(os.getcwd() + '/outputs/state_space_tree_informed.gv'), view=True)
+
diff --git a/main.py b/main.py
index ae1c67f..5da9085 100644
--- a/main.py
+++ b/main.py
@@ -6,6 +6,7 @@
 
 
 class State(object):
+
     def __init__(self, self_state, parent_id, parent_move, level):
         global counter
         self.self_id = counter
@@ -123,13 +124,13 @@ def bfs_search():
     dot.render(str(os.getcwd() + '/outputs/BFS_graph.gv'), view=True)
 
 
-initial_state = [[0, 1, 2],
-                [3, 4, 5],
-                [6, 7, 8]]
+initial_state = [[0, 1, 3],
+                [6, 2, 4],
+                [7, 5, 8]]
 
-final_state = [[1, 4, 2],
-                [3, 0, 5],
-                [6, 7, 8]]
+final_state = [[1, 2, 3],
+                [6, 5, 4],
+                [7, 8, 0]]
 visited = []
 
 goal_found = False
diff --git a/outputs/A_star_graph.gv b/outputs/A_star_graph.gv
new file mode 100644
index 0000000..0046c32
--- /dev/null
+++ b/outputs/A_star_graph.gv
@@ -0,0 +1,42 @@
+// BFS graph
+digraph {
+	1 [label="[0, 1, 3]
+[6, 2, 4]
+[7, 5, 8]"]
+	2 [label="[6, 1, 3]
+[0, 2, 4]
+[7, 5, 8]"]
+	1 -> 2 [label=down]
+	3 [label="[1, 0, 3]
+[6, 2, 4]
+[7, 5, 8]"]
+	1 -> 3 [label=right]
+	6 [label="[1, 2, 3]
+[6, 0, 4]
+[7, 5, 8]"]
+	3 -> 6 [label=down]
+	7 [label="[1, 3, 0]
+[6, 2, 4]
+[7, 5, 8]"]
+	3 -> 7 [label=right]
+	13 [label="[1, 2, 3]
+[6, 5, 4]
+[7, 0, 8]"]
+	6 -> 13 [label=down]
+	12 [label="[1, 2, 3]
+[0, 6, 4]
+[7, 5, 8]"]
+	6 -> 12 [label=left]
+	14 [label="[1, 2, 3]
+[6, 4, 0]
+[7, 5, 8]"]
+	6 -> 14 [label=right]
+	26 [label="[1, 2, 3]
+[6, 5, 4]
+[0, 7, 8]"]
+	13 -> 26 [label=left]
+	27 [label="[1, 2, 3]
+[6, 5, 4]
+[7, 8, 0]"]
+	13 -> 27 [label=right]
+}
diff --git a/outputs/A_star_graph.gv.pdf b/outputs/A_star_graph.gv.pdf
new file mode 100644
index 0000000..9a769a8
Binary files /dev/null and b/outputs/A_star_graph.gv.pdf differ
diff --git a/outputs/greedy_best_first_graph.gv b/outputs/greedy_best_first_graph.gv
new file mode 100644
index 0000000..64a2bb4
--- /dev/null
+++ b/outputs/greedy_best_first_graph.gv
@@ -0,0 +1,42 @@
+// BFS graph
+digraph {
+	1 [label="[0, 1, 3]
+[6, 2, 4]
+[7, 5, 8]"]
+	2 [label="[6, 1, 3]
+[0, 2, 4]
+[7, 5, 8]"]
+	1 -> 2 [label=down5]
+	3 [label="[1, 0, 3]
+[6, 2, 4]
+[7, 5, 8]"]
+	1 -> 3 [label=right3]
+	6 [label="[1, 2, 3]
+[6, 0, 4]
+[7, 5, 8]"]
+	3 -> 6 [label=down2]
+	7 [label="[1, 3, 0]
+[6, 2, 4]
+[7, 5, 8]"]
+	3 -> 7 [label=right4]
+	13 [label="[1, 2, 3]
+[6, 5, 4]
+[7, 0, 8]"]
+	6 -> 13 [label=down1]
+	12 [label="[1, 2, 3]
+[0, 6, 4]
+[7, 5, 8]"]
+	6 -> 12 [label=left3]
+	14 [label="[1, 2, 3]
+[6, 4, 0]
+[7, 5, 8]"]
+	6 -> 14 [label=right3]
+	26 [label="[1, 2, 3]
+[6, 5, 4]
+[0, 7, 8]"]
+	13 -> 26 [label=left2]
+	27 [label="[1, 2, 3]
+[6, 5, 4]
+[7, 8, 0]"]
+	13 -> 27 [label=right0]
+}
diff --git a/outputs/greedy_best_first_graph.gv.pdf b/outputs/greedy_best_first_graph.gv.pdf
new file mode 100644
index 0000000..4b5fe6f
Binary files /dev/null and b/outputs/greedy_best_first_graph.gv.pdf differ
diff --git a/outputs/state_space_tree_informed.gv b/outputs/state_space_tree_informed.gv
new file mode 100644
index 0000000..ac997f5
--- /dev/null
+++ b/outputs/state_space_tree_informed.gv
@@ -0,0 +1,206 @@
+// State space graph
+digraph {
+	1 [label="[0, 1, 3]
+[6, 2, 4]
+[7, 5, 8]"]
+	2 [label="[6, 1, 3]
+[0, 2, 4]
+[7, 5, 8]"]
+	1 -> 2 [label=down]
+	3 [label="[1, 0, 3]
+[6, 2, 4]
+[7, 5, 8]"]
+	1 -> 3 [label=right]
+	4 [label="[6, 1, 3]
+[7, 2, 4]
+[0, 5, 8]"]
+	2 -> 4 [label=down]
+	5 [label="[6, 1, 3]
+[2, 0, 4]
+[7, 5, 8]"]
+	2 -> 5 [label=right]
+	6 [label="[1, 2, 3]
+[6, 0, 4]
+[7, 5, 8]"]
+	3 -> 6 [label=down]
+	7 [label="[1, 3, 0]
+[6, 2, 4]
+[7, 5, 8]"]
+	3 -> 7 [label=right]
+	8 [label="[6, 1, 3]
+[7, 2, 4]
+[5, 0, 8]"]
+	4 -> 8 [label=right]
+	9 [label="[6, 0, 3]
+[2, 1, 4]
+[7, 5, 8]"]
+	5 -> 9 [label=up]
+	10 [label="[6, 1, 3]
+[2, 5, 4]
+[7, 0, 8]"]
+	5 -> 10 [label=down]
+	11 [label="[6, 1, 3]
+[2, 4, 0]
+[7, 5, 8]"]
+	5 -> 11 [label=right]
+	12 [label="[1, 2, 3]
+[0, 6, 4]
+[7, 5, 8]"]
+	6 -> 12 [label=left]
+	13 [label="[1, 2, 3]
+[6, 5, 4]
+[7, 0, 8]"]
+	6 -> 13 [label=down]
+	14 [label="[1, 2, 3]
+[6, 4, 0]
+[7, 5, 8]"]
+	6 -> 14 [label=right]
+	15 [label="[1, 3, 4]
+[6, 2, 0]
+[7, 5, 8]"]
+	7 -> 15 [label=down]
+	16 [label="[6, 1, 3]
+[7, 0, 4]
+[5, 2, 8]"]
+	8 -> 16 [label=up]
+	17 [label="[6, 1, 3]
+[7, 2, 4]
+[5, 8, 0]"]
+	8 -> 17 [label=right]
+	18 [label="[0, 6, 3]
+[2, 1, 4]
+[7, 5, 8]"]
+	9 -> 18 [label=left]
+	19 [label="[6, 3, 0]
+[2, 1, 4]
+[7, 5, 8]"]
+	9 -> 19 [label=right]
+	20 [label="[6, 1, 3]
+[2, 5, 4]
+[0, 7, 8]"]
+	10 -> 20 [label=left]
+	21 [label="[6, 1, 3]
+[2, 5, 4]
+[7, 8, 0]"]
+	10 -> 21 [label=right]
+	22 [label="[6, 1, 0]
+[2, 4, 3]
+[7, 5, 8]"]
+	11 -> 22 [label=up]
+	23 [label="[6, 1, 3]
+[2, 4, 8]
+[7, 5, 0]"]
+	11 -> 23 [label=down]
+	24 [label="[0, 2, 3]
+[1, 6, 4]
+[7, 5, 8]"]
+	12 -> 24 [label=up]
+	25 [label="[1, 2, 3]
+[7, 6, 4]
+[0, 5, 8]"]
+	12 -> 25 [label=down]
+	26 [label="[1, 2, 3]
+[6, 5, 4]
+[0, 7, 8]"]
+	13 -> 26 [label=left]
+	27 [label="[1, 2, 3]
+[6, 5, 4]
+[7, 8, 0]" color=green]
+	13 -> 27 [label=right]
+	28 [label="[1, 2, 0]
+[6, 4, 3]
+[7, 5, 8]"]
+	14 -> 28 [label=up]
+	29 [label="[1, 2, 3]
+[6, 4, 8]
+[7, 5, 0]"]
+	14 -> 29 [label=down]
+	30 [label="[1, 3, 4]
+[6, 0, 2]
+[7, 5, 8]"]
+	15 -> 30 [label=left]
+	31 [label="[1, 3, 4]
+[6, 2, 8]
+[7, 5, 0]"]
+	15 -> 31 [label=down]
+	32 [label="[6, 0, 3]
+[7, 1, 4]
+[5, 2, 8]"]
+	16 -> 32 [label=up]
+	33 [label="[6, 1, 3]
+[0, 7, 4]
+[5, 2, 8]"]
+	16 -> 33 [label=left]
+	34 [label="[6, 1, 3]
+[7, 4, 0]
+[5, 2, 8]"]
+	16 -> 34 [label=right]
+	35 [label="[6, 1, 3]
+[7, 2, 0]
+[5, 8, 4]"]
+	17 -> 35 [label=up]
+	36 [label="[2, 6, 3]
+[0, 1, 4]
+[7, 5, 8]"]
+	18 -> 36 [label=down]
+	37 [label="[6, 3, 4]
+[2, 1, 0]
+[7, 5, 8]"]
+	19 -> 37 [label=down]
+	38 [label="[6, 1, 3]
+[0, 5, 4]
+[2, 7, 8]"]
+	20 -> 38 [label=up]
+	39 [label="[6, 1, 3]
+[2, 5, 0]
+[7, 8, 4]"]
+	21 -> 39 [label=up]
+	40 [label="[6, 0, 1]
+[2, 4, 3]
+[7, 5, 8]"]
+	22 -> 40 [label=left]
+	41 [label="[6, 1, 3]
+[2, 4, 8]
+[7, 0, 5]"]
+	23 -> 41 [label=left]
+	42 [label="[2, 0, 3]
+[1, 6, 4]
+[7, 5, 8]"]
+	24 -> 42 [label=right]
+	43 [label="[1, 2, 3]
+[7, 6, 4]
+[5, 0, 8]"]
+	25 -> 43 [label=right]
+	44 [label="[1, 2, 3]
+[0, 5, 4]
+[6, 7, 8]"]
+	26 -> 44 [label=up]
+	45 [label="[1, 2, 3]
+[6, 5, 0]
+[7, 8, 4]"]
+	27 -> 45 [label=up]
+	46 [label="[1, 0, 2]
+[6, 4, 3]
+[7, 5, 8]"]
+	28 -> 46 [label=left]
+	47 [label="[1, 2, 3]
+[6, 4, 8]
+[7, 0, 5]"]
+	29 -> 47 [label=left]
+	48 [label="[1, 0, 4]
+[6, 3, 2]
+[7, 5, 8]"]
+	30 -> 48 [label=up]
+	49 [label="[1, 3, 4]
+[0, 6, 2]
+[7, 5, 8]"]
+	30 -> 49 [label=left]
+	50 [label="[1, 3, 4]
+[6, 5, 2]
+[7, 0, 8]"]
+	30 -> 50 [label=down]
+	51 [label="[1, 3, 4]
+[6, 2, 8]
+[7, 0, 5]"]
+	31 -> 51 [label=left]
+}
diff --git a/outputs/state_space_tree_informed.gv.pdf b/outputs/state_space_tree_informed.gv.pdf
new file mode 100644
index 0000000..805906e
Binary files /dev/null and b/outputs/state_space_tree_informed.gv.pdf differ