From 5770e282d27afd129e29ab91e8ca26cf2f035213 Mon Sep 17 00:00:00 2001
From: Unknown <aplakidisp@gmail.com>
Date: Fri, 13 Jul 2018 13:02:41 +0300
Subject: [PATCH 1/2] uploaded files

BDD
---
 BDD pavlos/BDDs/.idea/BDDs.iml        |  13 +
 BDD pavlos/BDDs/.idea/misc.xml        |   4 +
 BDD pavlos/BDDs/.idea/modules.xml     |   8 +
 BDD pavlos/BDDs/.idea/workspace.xml   | 704 ++++++++++++++++++++++++++
 BDD pavlos/BDDs/bdd_graph.png         | Bin 0 -> 36385 bytes
 BDD pavlos/BDDs/bdd_seq_logic.py      |  68 +++
 BDD pavlos/BDDs/bdd_simplification.py |   6 +
 BDD pavlos/BDDs/binary_results.txt    |  16 +
 BDD pavlos/BDDs/data.txt              |   4 +
 BDD pavlos/BDDs/graph.py              | 229 +++++++++
 BDD pavlos/BDDs/sequence.txt          |   4 +
 BDD pavlos/BDDs/simplify.py           | 199 ++++++++
 BDD pavlos/BDDs/test_simplify.py      |  66 +++
 13 files changed, 1321 insertions(+)
 create mode 100644 BDD pavlos/BDDs/.idea/BDDs.iml
 create mode 100644 BDD pavlos/BDDs/.idea/misc.xml
 create mode 100644 BDD pavlos/BDDs/.idea/modules.xml
 create mode 100644 BDD pavlos/BDDs/.idea/workspace.xml
 create mode 100644 BDD pavlos/BDDs/bdd_graph.png
 create mode 100644 BDD pavlos/BDDs/bdd_seq_logic.py
 create mode 100644 BDD pavlos/BDDs/bdd_simplification.py
 create mode 100644 BDD pavlos/BDDs/binary_results.txt
 create mode 100644 BDD pavlos/BDDs/data.txt
 create mode 100644 BDD pavlos/BDDs/graph.py
 create mode 100644 BDD pavlos/BDDs/sequence.txt
 create mode 100644 BDD pavlos/BDDs/simplify.py
 create mode 100644 BDD pavlos/BDDs/test_simplify.py

diff --git a/BDD pavlos/BDDs/.idea/BDDs.iml b/BDD pavlos/BDDs/.idea/BDDs.iml
new file mode 100644
index 0000000..85c7612
--- /dev/null
+++ b/BDD pavlos/BDDs/.idea/BDDs.iml	
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<module type="PYTHON_MODULE" version="4">
+  <component name="NewModuleRootManager">
+    <content url="file://$MODULE_DIR$">
+      <excludeFolder url="file://$MODULE_DIR$/venv" />
+    </content>
+    <orderEntry type="inheritedJdk" />
+    <orderEntry type="sourceFolder" forTests="false" />
+  </component>
+  <component name="TestRunnerService">
+    <option name="PROJECT_TEST_RUNNER" value="Unittests" />
+  </component>
+</module>
\ No newline at end of file
diff --git a/BDD pavlos/BDDs/.idea/misc.xml b/BDD pavlos/BDDs/.idea/misc.xml
new file mode 100644
index 0000000..9b40031
--- /dev/null
+++ b/BDD pavlos/BDDs/.idea/misc.xml	
@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectRootManager" version="2" project-jdk-name="Python 3.6 (BDDs)" project-jdk-type="Python SDK" />
+</project>
\ No newline at end of file
diff --git a/BDD pavlos/BDDs/.idea/modules.xml b/BDD pavlos/BDDs/.idea/modules.xml
new file mode 100644
index 0000000..a72c047
--- /dev/null
+++ b/BDD pavlos/BDDs/.idea/modules.xml	
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectModuleManager">
+    <modules>
+      <module fileurl="file://$PROJECT_DIR$/.idea/BDDs.iml" filepath="$PROJECT_DIR$/.idea/BDDs.iml" />
+    </modules>
+  </component>
+</project>
\ No newline at end of file
diff --git a/BDD pavlos/BDDs/.idea/workspace.xml b/BDD pavlos/BDDs/.idea/workspace.xml
new file mode 100644
index 0000000..c02660d
--- /dev/null
+++ b/BDD pavlos/BDDs/.idea/workspace.xml	
@@ -0,0 +1,704 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ChangeListManager">
+    <list default="true" id="2d5e3968-2cec-43b4-8b19-38f81dbb5b30" name="Default" comment="" />
+    <option name="EXCLUDED_CONVERTED_TO_IGNORED" value="true" />
+    <option name="TRACKING_ENABLED" value="true" />
+    <option name="SHOW_DIALOG" value="false" />
+    <option name="HIGHLIGHT_CONFLICTS" value="true" />
+    <option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
+    <option name="LAST_RESOLUTION" value="IGNORE" />
+  </component>
+  <component name="FileEditorManager">
+    <leaf SIDE_TABS_SIZE_LIMIT_KEY="375">
+      <file leaf-file-name="simplify.py" pinned="false" current-in-tab="false">
+        <entry file="file://$PROJECT_DIR$/simplify.py">
+          <provider selected="true" editor-type-id="text-editor">
+            <state relative-caret-position="2926">
+              <caret line="154" column="29" lean-forward="false" selection-start-line="154" selection-start-column="29" selection-end-line="154" selection-end-column="29" />
+              <folding />
+            </state>
+          </provider>
+        </entry>
+      </file>
+      <file leaf-file-name="test_simplify.py" pinned="false" current-in-tab="false">
+        <entry file="file://$PROJECT_DIR$/test_simplify.py">
+          <provider selected="true" editor-type-id="text-editor">
+            <state relative-caret-position="893">
+              <caret line="47" column="0" lean-forward="false" selection-start-line="47" selection-start-column="0" selection-end-line="47" selection-end-column="0" />
+              <folding />
+            </state>
+          </provider>
+        </entry>
+      </file>
+      <file leaf-file-name="bdd_seq_logic.py" pinned="false" current-in-tab="false">
+        <entry file="file://$PROJECT_DIR$/bdd_seq_logic.py">
+          <provider selected="true" editor-type-id="text-editor">
+            <state relative-caret-position="76">
+              <caret line="4" column="99" lean-forward="false" selection-start-line="4" selection-start-column="99" selection-end-line="4" selection-end-column="99" />
+              <folding />
+            </state>
+          </provider>
+        </entry>
+      </file>
+      <file leaf-file-name="bdd_simplification.py" pinned="false" current-in-tab="false">
+        <entry file="file://$PROJECT_DIR$/bdd_simplification.py">
+          <provider selected="true" editor-type-id="text-editor">
+            <state relative-caret-position="114">
+              <caret line="6" column="0" lean-forward="false" selection-start-line="6" selection-start-column="0" selection-end-line="6" selection-end-column="0" />
+              <folding />
+            </state>
+          </provider>
+        </entry>
+      </file>
+      <file leaf-file-name="tree_graph_test.py" pinned="false" current-in-tab="false">
+        <entry file="file://$PROJECT_DIR$/tree_graph_test.py">
+          <provider selected="true" editor-type-id="text-editor">
+            <state relative-caret-position="437">
+              <caret line="25" column="0" lean-forward="false" selection-start-line="25" selection-start-column="0" selection-end-line="25" selection-end-column="0" />
+              <folding>
+                <element signature="e#0#21#0" expanded="true" />
+              </folding>
+            </state>
+          </provider>
+        </entry>
+      </file>
+      <file leaf-file-name="graph.py" pinned="false" current-in-tab="true">
+        <entry file="file://$PROJECT_DIR$/graph.py">
+          <provider selected="true" editor-type-id="text-editor">
+            <state relative-caret-position="211">
+              <caret line="119" column="104" lean-forward="false" selection-start-line="119" selection-start-column="104" selection-end-line="119" selection-end-column="104" />
+              <folding>
+                <element signature="e#0#31#0" expanded="true" />
+              </folding>
+            </state>
+          </provider>
+        </entry>
+      </file>
+    </leaf>
+  </component>
+  <component name="FileTemplateManagerImpl">
+    <option name="RECENT_TEMPLATES">
+      <list>
+        <option value="Python Script" />
+      </list>
+    </option>
+  </component>
+  <component name="IdeDocumentHistory">
+    <option name="CHANGED_PATHS">
+      <list>
+        <option value="$PROJECT_DIR$/program.py" />
+        <option value="$PROJECT_DIR$/read_sequence.py" />
+        <option value="$PROJECT_DIR$/functions.py" />
+        <option value="$PROJECT_DIR$/logic.py" />
+        <option value="$PROJECT_DIR$/read_function.py" />
+        <option value="$PROJECT_DIR$/../rpg_game/enemy.py" />
+        <option value="$PROJECT_DIR$/simplify.py" />
+        <option value="$PROJECT_DIR$/test_simplify.py" />
+        <option value="$PROJECT_DIR$/bdd_simplification.py" />
+        <option value="$PROJECT_DIR$/tree_graph_test.py" />
+        <option value="$PROJECT_DIR$/bdd_seq_logic.py" />
+        <option value="$PROJECT_DIR$/graph.py" />
+      </list>
+    </option>
+  </component>
+  <component name="ProjectFrameBounds" extendedState="6">
+    <option name="x" value="952" />
+    <option name="width" value="976" />
+    <option name="height" value="1038" />
+  </component>
+  <component name="ProjectView">
+    <navigator currentView="ProjectPane" proportions="" version="1">
+      <flattenPackages />
+      <showMembers />
+      <showModules />
+      <showLibraryContents />
+      <hideEmptyPackages />
+      <abbreviatePackageNames />
+      <autoscrollToSource />
+      <autoscrollFromSource />
+      <sortByType />
+      <manualOrder />
+      <foldersAlwaysOnTop value="true" />
+    </navigator>
+    <panes>
+      <pane id="ProjectPane">
+        <subPane>
+          <expand>
+            <path>
+              <item name="BDDs" type="b2602c69:ProjectViewProjectNode" />
+              <item name="BDDs" type="462c0819:PsiDirectoryNode" />
+            </path>
+          </expand>
+          <select />
+        </subPane>
+      </pane>
+      <pane id="Scratches" />
+      <pane id="Scope" />
+    </panes>
+  </component>
+  <component name="PropertiesComponent">
+    <property name="last_opened_file_path" value="$PROJECT_DIR$/../rpg_game/enemy.py" />
+    <property name="settings.editor.selected.configurable" value="com.jetbrains.python.configuration.PyActiveSdkModuleConfigurable" />
+  </component>
+  <component name="RunDashboard">
+    <option name="ruleStates">
+      <list>
+        <RuleState>
+          <option name="name" value="ConfigurationTypeDashboardGroupingRule" />
+        </RuleState>
+        <RuleState>
+          <option name="name" value="StatusDashboardGroupingRule" />
+        </RuleState>
+      </list>
+    </option>
+  </component>
+  <component name="RunManager" selected="Python.graph">
+    <configuration name="bdd_seq_logic" type="PythonConfigurationType" factoryName="Python" temporary="true">
+      <option name="INTERPRETER_OPTIONS" value="" />
+      <option name="PARENT_ENVS" value="true" />
+      <envs>
+        <env name="PYTHONUNBUFFERED" value="1" />
+      </envs>
+      <option name="SDK_HOME" value="" />
+      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
+      <option name="IS_MODULE_SDK" value="true" />
+      <option name="ADD_CONTENT_ROOTS" value="true" />
+      <option name="ADD_SOURCE_ROOTS" value="true" />
+      <module name="BDDs" />
+      <option name="SCRIPT_NAME" value="$PROJECT_DIR$/bdd_seq_logic.py" />
+      <option name="PARAMETERS" value="" />
+      <option name="SHOW_COMMAND_LINE" value="false" />
+      <option name="EMULATE_TERMINAL" value="false" />
+      <option name="MODULE_MODE" value="false" />
+    </configuration>
+    <configuration name="graph" type="PythonConfigurationType" factoryName="Python" temporary="true">
+      <option name="INTERPRETER_OPTIONS" value="" />
+      <option name="PARENT_ENVS" value="true" />
+      <envs>
+        <env name="PYTHONUNBUFFERED" value="1" />
+      </envs>
+      <option name="SDK_HOME" value="" />
+      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
+      <option name="IS_MODULE_SDK" value="true" />
+      <option name="ADD_CONTENT_ROOTS" value="true" />
+      <option name="ADD_SOURCE_ROOTS" value="true" />
+      <module name="BDDs" />
+      <option name="SCRIPT_NAME" value="$PROJECT_DIR$/graph.py" />
+      <option name="PARAMETERS" value="" />
+      <option name="SHOW_COMMAND_LINE" value="false" />
+      <option name="EMULATE_TERMINAL" value="false" />
+      <option name="MODULE_MODE" value="false" />
+    </configuration>
+    <configuration name="simplify" type="PythonConfigurationType" factoryName="Python" temporary="true">
+      <option name="INTERPRETER_OPTIONS" value="" />
+      <option name="PARENT_ENVS" value="true" />
+      <envs>
+        <env name="PYTHONUNBUFFERED" value="1" />
+      </envs>
+      <option name="SDK_HOME" value="" />
+      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
+      <option name="IS_MODULE_SDK" value="true" />
+      <option name="ADD_CONTENT_ROOTS" value="true" />
+      <option name="ADD_SOURCE_ROOTS" value="true" />
+      <module name="BDDs" />
+      <option name="SCRIPT_NAME" value="$PROJECT_DIR$/simplify.py" />
+      <option name="PARAMETERS" value="" />
+      <option name="SHOW_COMMAND_LINE" value="false" />
+      <option name="EMULATE_TERMINAL" value="false" />
+      <option name="MODULE_MODE" value="false" />
+    </configuration>
+    <configuration name="test_simplify" type="PythonConfigurationType" factoryName="Python" temporary="true">
+      <option name="INTERPRETER_OPTIONS" value="" />
+      <option name="PARENT_ENVS" value="true" />
+      <envs>
+        <env name="PYTHONUNBUFFERED" value="1" />
+      </envs>
+      <option name="SDK_HOME" value="" />
+      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
+      <option name="IS_MODULE_SDK" value="true" />
+      <option name="ADD_CONTENT_ROOTS" value="true" />
+      <option name="ADD_SOURCE_ROOTS" value="true" />
+      <module name="BDDs" />
+      <option name="SCRIPT_NAME" value="$PROJECT_DIR$/test_simplify.py" />
+      <option name="PARAMETERS" value="" />
+      <option name="SHOW_COMMAND_LINE" value="false" />
+      <option name="EMULATE_TERMINAL" value="false" />
+      <option name="MODULE_MODE" value="false" />
+    </configuration>
+    <configuration name="tree_graph_test" type="PythonConfigurationType" factoryName="Python" temporary="true">
+      <option name="INTERPRETER_OPTIONS" value="" />
+      <option name="PARENT_ENVS" value="true" />
+      <envs>
+        <env name="PYTHONUNBUFFERED" value="1" />
+      </envs>
+      <option name="SDK_HOME" value="" />
+      <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$" />
+      <option name="IS_MODULE_SDK" value="true" />
+      <option name="ADD_CONTENT_ROOTS" value="true" />
+      <option name="ADD_SOURCE_ROOTS" value="true" />
+      <module name="BDDs" />
+      <option name="SCRIPT_NAME" value="$PROJECT_DIR$/tree_graph_test.py" />
+      <option name="PARAMETERS" value="" />
+      <option name="SHOW_COMMAND_LINE" value="false" />
+      <option name="EMULATE_TERMINAL" value="false" />
+      <option name="MODULE_MODE" value="false" />
+    </configuration>
+    <list size="5">
+      <item index="0" class="java.lang.String" itemvalue="Python.simplify" />
+      <item index="1" class="java.lang.String" itemvalue="Python.test_simplify" />
+      <item index="2" class="java.lang.String" itemvalue="Python.bdd_seq_logic" />
+      <item index="3" class="java.lang.String" itemvalue="Python.graph" />
+      <item index="4" class="java.lang.String" itemvalue="Python.tree_graph_test" />
+    </list>
+    <recent_temporary>
+      <list size="5">
+        <item index="0" class="java.lang.String" itemvalue="Python.graph" />
+        <item index="1" class="java.lang.String" itemvalue="Python.tree_graph_test" />
+        <item index="2" class="java.lang.String" itemvalue="Python.bdd_seq_logic" />
+        <item index="3" class="java.lang.String" itemvalue="Python.simplify" />
+        <item index="4" class="java.lang.String" itemvalue="Python.test_simplify" />
+      </list>
+    </recent_temporary>
+  </component>
+  <component name="ShelveChangesManager" show_recycled="false">
+    <option name="remove_strategy" value="false" />
+  </component>
+  <component name="SvnConfiguration">
+    <configuration />
+  </component>
+  <component name="TaskManager">
+    <task active="true" id="Default" summary="Default task">
+      <changelist id="2d5e3968-2cec-43b4-8b19-38f81dbb5b30" name="Default" comment="" />
+      <created>1530598575334</created>
+      <option name="number" value="Default" />
+      <option name="presentableId" value="Default" />
+      <updated>1530598575334</updated>
+    </task>
+    <servers />
+  </component>
+  <component name="ToolWindowManager">
+    <frame x="-9" y="-9" width="1938" height="1048" extended-state="6" />
+    <layout>
+      <window_info id="Project" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="true" show_stripe_button="true" weight="0.37395832" sideWeight="0.5" order="1" side_tool="false" content_ui="combo" />
+      <window_info id="TODO" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="10" side_tool="false" content_ui="tabs" />
+      <window_info id="Event Log" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="0" side_tool="true" content_ui="tabs" />
+      <window_info id="Version Control" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="false" weight="0.33" sideWeight="0.5" order="1" side_tool="false" content_ui="tabs" />
+      <window_info id="Python Console" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="2" side_tool="false" content_ui="tabs" />
+      <window_info id="Run" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.26187846" sideWeight="0.5" order="6" side_tool="false" content_ui="tabs" />
+      <window_info id="Structure" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.25" sideWeight="0.5" order="2" side_tool="false" content_ui="tabs" />
+      <window_info id="Terminal" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="3" side_tool="false" content_ui="tabs" />
+      <window_info id="Favorites" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="0" side_tool="true" content_ui="tabs" />
+      <window_info id="Debug" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.4" sideWeight="0.5" order="7" side_tool="false" content_ui="tabs" />
+      <window_info id="Cvs" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.25" sideWeight="0.5" order="8" side_tool="false" content_ui="tabs" />
+      <window_info id="Message" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="4" side_tool="false" content_ui="tabs" />
+      <window_info id="Commander" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.4" sideWeight="0.5" order="0" side_tool="false" content_ui="tabs" />
+      <window_info id="Inspection" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.4" sideWeight="0.5" order="9" side_tool="false" content_ui="tabs" />
+      <window_info id="Hierarchy" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.25" sideWeight="0.5" order="2" side_tool="false" content_ui="combo" />
+      <window_info id="Find" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="5" side_tool="false" content_ui="tabs" />
+      <window_info id="Ant Build" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.25" sideWeight="0.5" order="1" side_tool="false" content_ui="tabs" />
+    </layout>
+    <layout-to-restore>
+      <window_info id="TODO" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="10" side_tool="false" content_ui="tabs" />
+      <window_info id="Cvs" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.25" sideWeight="0.5" order="8" side_tool="false" content_ui="tabs" />
+      <window_info id="Message" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="4" side_tool="false" content_ui="tabs" />
+      <window_info id="Commander" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.4" sideWeight="0.5" order="0" side_tool="false" content_ui="tabs" />
+      <window_info id="Event Log" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="0" side_tool="true" content_ui="tabs" />
+      <window_info id="Inspection" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.4" sideWeight="0.5" order="9" side_tool="false" content_ui="tabs" />
+      <window_info id="Version Control" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="false" weight="0.33" sideWeight="0.5" order="1" side_tool="false" content_ui="tabs" />
+      <window_info id="Python Console" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="2" side_tool="false" content_ui="tabs" />
+      <window_info id="Run" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.6077348" sideWeight="0.5" order="6" side_tool="false" content_ui="tabs" />
+      <window_info id="Terminal" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="3" side_tool="false" content_ui="tabs" />
+      <window_info id="Project" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="true" show_stripe_button="true" weight="0.5803758" sideWeight="0.5" order="1" side_tool="false" content_ui="combo" />
+      <window_info id="Hierarchy" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.25" sideWeight="0.5" order="2" side_tool="false" content_ui="combo" />
+      <window_info id="Find" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="5" side_tool="false" content_ui="tabs" />
+      <window_info id="Structure" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.25" sideWeight="0.5" order="2" side_tool="false" content_ui="tabs" />
+      <window_info id="Ant Build" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.25" sideWeight="0.5" order="1" side_tool="false" content_ui="tabs" />
+      <window_info id="Favorites" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.33" sideWeight="0.5" order="0" side_tool="true" content_ui="tabs" />
+      <window_info id="Debug" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" show_stripe_button="true" weight="0.4" sideWeight="0.5" order="7" side_tool="false" content_ui="tabs" />
+    </layout-to-restore>
+  </component>
+  <component name="VcsContentAnnotationSettings">
+    <option name="myLimit" value="2678400000" />
+  </component>
+  <component name="XDebuggerManager">
+    <breakpoint-manager>
+      <option name="time" value="4" />
+    </breakpoint-manager>
+    <watches-manager />
+  </component>
+  <component name="editorHistoryManager">
+    <entry file="file://$PROJECT_DIR$/simplify.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="95">
+          <caret line="5" column="29" lean-forward="false" selection-start-line="5" selection-start-column="29" selection-end-line="5" selection-end-column="29" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/test_simplify.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="456">
+          <caret line="24" column="0" lean-forward="true" selection-start-line="24" selection-start-column="0" selection-end-line="24" selection-end-column="0" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/graph.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="0">
+          <caret line="0" column="0" lean-forward="false" selection-start-line="0" selection-start-column="0" selection-end-line="0" selection-end-column="0" />
+          <folding>
+            <element signature="e#0#31#0" expanded="true" />
+          </folding>
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_sequence.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="361">
+          <caret line="19" column="0" lean-forward="false" selection-start-line="19" selection-start-column="0" selection-end-line="19" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_function.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="304">
+          <caret line="16" column="0" lean-forward="false" selection-start-line="16" selection-start-column="0" selection-end-line="16" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="247">
+          <caret line="15" column="0" lean-forward="false" selection-start-line="15" selection-start-column="0" selection-end-line="15" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/bdd_seq_logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="1007">
+          <caret line="53" column="0" lean-forward="true" selection-start-line="53" selection-start-column="0" selection-end-line="53" selection-end-column="0" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/simplify.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="19">
+          <caret line="1" column="0" lean-forward="false" selection-start-line="1" selection-start-column="0" selection-end-line="1" selection-end-column="0" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/test_simplify.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="703">
+          <caret line="37" column="0" lean-forward="false" selection-start-line="37" selection-start-column="0" selection-end-line="37" selection-end-column="0" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_sequence.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="361">
+          <caret line="19" column="0" lean-forward="false" selection-start-line="19" selection-start-column="0" selection-end-line="19" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_function.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="304">
+          <caret line="16" column="0" lean-forward="false" selection-start-line="16" selection-start-column="0" selection-end-line="16" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="247">
+          <caret line="15" column="0" lean-forward="false" selection-start-line="15" selection-start-column="0" selection-end-line="15" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/bdd_seq_logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="323">
+          <caret line="17" column="14" lean-forward="false" selection-start-line="17" selection-start-column="14" selection-end-line="17" selection-end-column="14" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/simplify.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="19">
+          <caret line="1" column="0" lean-forward="false" selection-start-line="1" selection-start-column="0" selection-end-line="1" selection-end-column="0" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/test_simplify.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="703">
+          <caret line="37" column="0" lean-forward="true" selection-start-line="37" selection-start-column="0" selection-end-line="37" selection-end-column="0" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_sequence.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="361">
+          <caret line="19" column="0" lean-forward="false" selection-start-line="19" selection-start-column="0" selection-end-line="19" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_function.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="304">
+          <caret line="16" column="0" lean-forward="false" selection-start-line="16" selection-start-column="0" selection-end-line="16" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="247">
+          <caret line="15" column="0" lean-forward="false" selection-start-line="15" selection-start-column="0" selection-end-line="15" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/bdd_seq_logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="323">
+          <caret line="17" column="14" lean-forward="true" selection-start-line="17" selection-start-column="14" selection-end-line="17" selection-end-column="14" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/simplify.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="19">
+          <caret line="1" column="0" lean-forward="false" selection-start-line="1" selection-start-column="0" selection-end-line="1" selection-end-column="0" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/test_simplify.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="1026">
+          <caret line="54" column="0" lean-forward="true" selection-start-line="54" selection-start-column="0" selection-end-line="54" selection-end-column="0" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_sequence.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="361">
+          <caret line="19" column="0" lean-forward="true" selection-start-line="19" selection-start-column="0" selection-end-line="19" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_function.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="304">
+          <caret line="16" column="0" lean-forward="true" selection-start-line="16" selection-start-column="0" selection-end-line="16" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="247">
+          <caret line="15" column="0" lean-forward="true" selection-start-line="15" selection-start-column="0" selection-end-line="15" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/bdd_seq_logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="0">
+          <caret line="0" column="44" lean-forward="true" selection-start-line="0" selection-start-column="44" selection-end-line="0" selection-end-column="44" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/simplify.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="0">
+          <caret line="0" column="0" lean-forward="false" selection-start-line="0" selection-start-column="0" selection-end-line="0" selection-end-column="0" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_sequence.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="342">
+          <caret line="18" column="14" lean-forward="false" selection-start-line="18" selection-start-column="14" selection-end-line="18" selection-end-column="14" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_function.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="209">
+          <caret line="11" column="79" lean-forward="false" selection-start-line="11" selection-start-column="79" selection-end-line="11" selection-end-column="79" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/bdd_seq_logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="133">
+          <caret line="7" column="35" lean-forward="false" selection-start-line="7" selection-start-column="35" selection-end-line="7" selection-end-column="35" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="133">
+          <caret line="9" column="42" lean-forward="false" selection-start-line="9" selection-start-column="42" selection-end-line="9" selection-end-column="42" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/simplify.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="0">
+          <caret line="0" column="0" lean-forward="false" selection-start-line="0" selection-start-column="0" selection-end-line="0" selection-end-column="0" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_sequence.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="342">
+          <caret line="18" column="14" lean-forward="false" selection-start-line="18" selection-start-column="14" selection-end-line="18" selection-end-column="14" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_function.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="399">
+          <caret line="21" column="0" lean-forward="false" selection-start-line="21" selection-start-column="0" selection-end-line="21" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/bdd_seq_logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="133">
+          <caret line="7" column="35" lean-forward="true" selection-start-line="7" selection-start-column="35" selection-end-line="7" selection-end-column="35" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="133">
+          <caret line="9" column="42" lean-forward="false" selection-start-line="9" selection-start-column="42" selection-end-line="9" selection-end-column="42" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/program.py" />
+    <entry file="file://$PROJECT_DIR$/functions.py" />
+    <entry file="file://$USER_HOME$/.PyCharmCE2017.3/system/python_stubs/-2040106635/builtins.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="369">
+          <caret line="486" column="9" lean-forward="false" selection-start-line="486" selection-start-column="9" selection-end-line="486" selection-end-column="9" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/../rpg_game/enemy.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="188">
+          <caret line="52" column="8" lean-forward="true" selection-start-line="52" selection-start-column="8" selection-end-line="52" selection-end-column="8" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_sequence.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="361">
+          <caret line="19" column="0" lean-forward="false" selection-start-line="19" selection-start-column="0" selection-end-line="19" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/read_function.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="304">
+          <caret line="16" column="0" lean-forward="false" selection-start-line="16" selection-start-column="0" selection-end-line="16" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="247">
+          <caret line="15" column="0" lean-forward="false" selection-start-line="15" selection-start-column="0" selection-end-line="15" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/sequence.txt">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="0">
+          <caret line="0" column="0" lean-forward="false" selection-start-line="0" selection-start-column="0" selection-end-line="0" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/binary_results.txt">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="0">
+          <caret line="0" column="0" lean-forward="false" selection-start-line="0" selection-start-column="0" selection-end-line="0" selection-end-column="0" />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/bdd_graph.png">
+      <provider selected="true" editor-type-id="images">
+        <state />
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/bdd_simplification.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="114">
+          <caret line="6" column="0" lean-forward="false" selection-start-line="6" selection-start-column="0" selection-end-line="6" selection-end-column="0" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/simplify.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="2926">
+          <caret line="154" column="29" lean-forward="false" selection-start-line="154" selection-start-column="29" selection-end-line="154" selection-end-column="29" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/bdd_seq_logic.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="76">
+          <caret line="4" column="99" lean-forward="false" selection-start-line="4" selection-start-column="99" selection-end-line="4" selection-end-column="99" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/test_simplify.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="893">
+          <caret line="47" column="0" lean-forward="false" selection-start-line="47" selection-start-column="0" selection-end-line="47" selection-end-column="0" />
+          <folding />
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/tree_graph_test.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="437">
+          <caret line="25" column="0" lean-forward="false" selection-start-line="25" selection-start-column="0" selection-end-line="25" selection-end-column="0" />
+          <folding>
+            <element signature="e#0#21#0" expanded="true" />
+          </folding>
+        </state>
+      </provider>
+    </entry>
+    <entry file="file://$PROJECT_DIR$/graph.py">
+      <provider selected="true" editor-type-id="text-editor">
+        <state relative-caret-position="211">
+          <caret line="119" column="104" lean-forward="false" selection-start-line="119" selection-start-column="104" selection-end-line="119" selection-end-column="104" />
+          <folding>
+            <element signature="e#0#31#0" expanded="true" />
+          </folding>
+        </state>
+      </provider>
+    </entry>
+  </component>
+</project>
\ No newline at end of file
diff --git a/BDD pavlos/BDDs/bdd_graph.png b/BDD pavlos/BDDs/bdd_graph.png
new file mode 100644
index 0000000000000000000000000000000000000000..4829b13819abff1b74ce37b2636a7a78bbbf8850
GIT binary patch
literal 36385
zcmeGEg;$nq_%({Yv>+iN9g3tN-BJoFAPv%;BHdjEASt1AC<rP@E7BlHmmnqGCEb0l
zXMMl#JNuk5_SpZxc8xWbx?Y~R?<?jt=e*z7s>+WD@Tl=nC=`LboUA$ug&u@Lp-o@G
zhQAT~Jw6Zr!F0VZuXzQ2`CYLHgFoXs$?3YHP(-H4zi6MN@@(KQMcp3gxM?_Axp|tp
zSfcDr-JI+k-Rx}4Zg^O_xY{^6+~DJae>iVEb#rqP<L3VVet^r-#hN=L^UqZj>IO<)
z_MWC!+P?`;FS5bY!|g+sU{r`v0*he3tgN)OY>qC9_+}X0O#x!rdp^XmAFeQFNlAwV
zg^NFvmL_<Tf_MA*y?WVas8@1o&u-Y4EghT3CB4B^7aCPM*sUt8jq6GiUCJn}_UuVZ
zE}=5VXM|s~yfp@NL1FM~o{KpM`5XF&xLL@bL)FmPkPnz9pu*vgUX=gu|NeiM<^MSx
z{E%>(FKv?(@uM^|YZ#_@HiRi9rTvJRk+D(^B8&CP)fdORH<>VhHZ>+)E{@u%){40;
zqcE_gC#nh~G-PF6UUetUPhm2~712uIou4+fL`~0Oc=(=Jk}g#^5?v*i{`RbrA`jyA
zb`%;}dlC7aQlH)Lb|n{eMmvdq7w_&2xkQjJ*!e-^@+qJm>}0cRWH}m#Mb|mcdfus?
z&?|H_&Zj3PZufM<(_yODEpJnpOw%<s$=Y2dB_>YPKxd1~q?LG<UKbVZVU+#~PnRP0
zsbW@`T-|$(2F7Fg%Zp^G1>aj9)lZ7x322ZTL=^L^J)3ePX=sw>ZeU<T*Tkep3#eDC
zh0km<1d8zL5EDByL+%{^Iy)ZvYS2%NmViBpIfS-pK5?a--D&!v`{_|bjd#y$cy|M3
zbL5ICf-`Ng_!KcXw9*n;q+7}lSEbz8I%i&og`KJrWyu9N9hdIEj9Dwj&<L)QzE?0=
z|GeSm4H;I?7}^s0Tda(X-Wep)v1ik5u?aDrkDF9Y#QU(0@Q!dtumn&a`1(V5hxlJU
zkY(x}C<}V9^CBsUhWr@Qi!h&pr!p{zMA`0<tn7HE4?G8k@e~bt3EJ?x6Ks){c@J6H
z=JU@us!UR!bV=>LuVr9wU~-~8!|+5^2Ui3uP}w(GmHj0qjultIg-4uT!WqmrKD<3W
zDvf4BeGPXUs{pgbvOJ1fumCQ^)Qc>%vD>oAL_T*q&Amhv`A1%V+lQ+M+rgm>JwA4@
zds=P`@Dhxi_^X4RqbF;B+AB}sp@)|luf?8ya4>v2ML)N`KJMf1m*wxv9LUIc90o7#
zXJIal`n|m^lCM97YH7tG=X6q!f{PJC5t}D<UF@1^M8nW=88#eA)665FTwiJp9?@YP
zghIC=4UbJv!NAbl$z9*|=B5m#m>b)<=lb*Z_;mHdV{KzgrO{FW$H}zKy3-zZcPNQ#
z>=1uVg+{ds($Xl`rJjY_!%6d&NGdOH@5YgmVyByAw=JS(I`J78Y%3o`upJ+aoozJ{
z2|Vo!@>u^{;&;50rb`Tg_yh@}PyE(BeO2zZLUtn!U!LT9ZU3UsAYUG6t#YYww_V$$
zVSfI4SHI%>yQ}z^Sr+Ya1;+Im^b$T>e>7Bh?f(k6?V^ZdYm^S*d0rfBPN{?v(uIYG
zo1Gr43q1S7w*GwZOJfLu)_vhX$pS;$2~II@bn7x*Vefz=Q?Hp<0!0URbc%00PUQNi
z_w89E6@N(fqnMqG(@l*m>0nwt8F)nbDu_DzGXGPLDz}yU$2$wSxVY~X-ri2mzrjaB
z$Pki5xi(rSXlu2K%Md}qooielP;Ni=j=S#Y`G*G)RxSh(IfKXs+{_F(VXyVshrcB+
zFsO_pVOIFT6s?ph^!uy6FuZoluyLT$M+K^Y55-|&KhTi;#)#xqOc#5bml==(FI?;}
zA(qG-h+6;qZSHilerdeYRls&Aaw_1o+p;7qOl}dj#M#x^*?DhmIHttBmCy7i<~uG!
zg~sPthIHinYr{*e41qazqow1%o3*frlY=*3hsj|hKV_cCZM+!!h~Bh4j+xV_CJ7#e
zF11^?!n>yq@A~axcz3<;cJi&!bhvnUF79%SjB#kx7;Lk-k-VISRS7p`LW<3P;r;z)
zyR`bI-?CziO5o|W%)krLJmqwSicmgD$&B;ULybxo%kb+Q?>g1O!{ivDCUCiI&ptR<
zAA9sw?;D$8m0ODChwN-opFKAB{vU!7)x0gmu1m@(LiXVm6`m=U7e{kMxhk1G84|uv
zhYF|$@>KG?wr4A8KZk{}!BScN{{1_WlJ|L5)(vDW>n|@l?{3z}z!RuXsQ;pz)5`NJ
zTl@Ly>c5ea7hz#nPWIPY|9sY<60%F$U}a;B>lDCNWlHpi$n(2AKYaP}WwFoxvntQc
z9va7*#sb|k^|#$B?F`bdNtl=W-eX*z?GnA^(9V?!B~-Y8!X+&c#8}BxB3xuUTqyhC
zK?#I-j<<PhwB@hx>wX8L))4j$uhbT!<Cq`s%tmnY1)O>L`THBvMTdp8szG#dm5kcK
z&pGd}4r<C9K|(EbCN8CWPCBc(iS{~FVDR{#xZ#npHIS-^zn@o;ZGM2n(+7APja)^l
zy2}e+F4zTu^XR)9(~UR`7Mqi`w32=!uZS0E85q`n&pFl|vz(voH%(1V{UUxH=7nIL
zO1ri<H~)=S#v2D5Guxz8R0tDL3*3O6+S+oWc$mmfONfJlv}_(5ONG$;bO?8S1#8rd
zrB~sg1QDhC-Hyt#BLVFOBja;Oh7#LhE^5JN^Rrjdn<$$WyHmG!ce8B<aue?8zpL{<
z-T7-<1aU^}d~+Wa{-YsH)ODoJ|L$h}rDUE;Cbmga2m$13n9D*(rHI%PY`o0?ONy|g
zGOWkz*RRz!GsD7YRMFXH(IJSfcjnvuE{>PV9VSxXwRxPTrNulq6hA7wHK5BFfbxUX
z1gHbO=Z8}&78XpfN0zW4%k!}9Ys+NCa$It2AwApM+qB|dZ=z^~UCxf2(J?SS>sJ&;
zFm};Bil&_z)HePIvBjxVEG-et$jJ2pQ<W+7!Gi}gYikjS+8u<4X9o!}T|a#GZ$Ahp
zlRp`AsBm5BXNFZ+`1wgzRy<T0En+?k0(9WZ6OMP>#u;wRc8n@Y7eQq03_2BI-W!!m
zNn-9_lnElj=Fwp*MCW6qF0ypXtj_j_jUiNSJR!<DYo(N#Yl)(|>%j>-cZ-Xw2T9g>
zTQMxoIE?T1V-FL#3_t0VFi!dH5<K~$>Fh4&{S%^Vd8~rl{%`qA1b1DQPKj9|p}Z`U
zv3lamu=qRr-y<Q{T!#%kw_#;Cjyqp2Wd>%ruMKU_#Ypv+T0T}z6Pa0kBP+Xu^y|^B
zleMBUzhjpMu_#f?4zdjIMXC&+RraAm!^e;W2DGM=1K;iS1CC~JdNQR{%B;Fasy(?)
z3>628jHLoDj;$#kK~^2Ez<QI@N%~O+1_s&*(d27=HS10h#Kgklb)J=FQB0ctP2nvf
zBP)v;BffJ5hlqZDw^zz~=I1NF<Ap?IgS%6OtHs2jttvr(A}3&wOoL^baS|yWwHvV$
zdj9<R@@QFJzD%bu<E>jOzq4^}-n_}4%OK(uH0Ds<{Xh*?%pX<^{TdbS`}bP|Dnq?(
zZENH);o-9{h$JD{>CN#8LouYJq#&r%AEWtV!*A(*mfw>N)YR4{3p-9mQS{79UMJpW
zT16x4y-tq3yCfrb<z=YMPQ~+X?7@79Egln;!S2iG7|9d1Cn}lUR&(FS9Of#f0<ujS
zpI4S(A5X&XA44zFn4l?s`ujtgnEUO)bIh_bl?SrouYFLzb^+%RiKF&c8*99s=H)tM
z(F*DT$t(`%Tfdd^5wJO!Z;y`;INaWr*J)NQHo5oV!v_~jLGi}p-6cpdjDn2%X6Lt1
zy;<1Umg}D@kK{2jX2?ne&FYfhdEWS<(V@bKYGKa2cCp9Ocz1C;;B+0801+8V?-K@5
z)DKPfw&tfdGQqxuM@L=(=lj}1j+0%vN~t5??P*F%N|4V&waojcakAH5dHou(vy1}j
zm#bnj`do`;HFax_eAmHlwnm=v(dp^kn>_82BO^L>$BQ(06kJ_0)t+}PGx@yvBI#1k
zeITx`q@$Df7C$8>ZH;QeK68EXVG6@P=wT4I2}U$?>ZYJ6dJ!2%?tJe9JaW!9^B9R1
z8CGSBr<pAnn<yf*w?T~3bS7j@H%t0{IKMedC=HX7%)?aOsn34&RpTYq-koCHAJ>1d
z*4}@CZF82yVQH565REkWc0;xFl|G6i)YDiVhCbNH7)a%v`ipaZK_NSFt(d7q>DE2G
z(RHobS?c7GyjQ{54d^#eKNu*(-=ad$I7qHO%M1_0fl=^SUx(6eJc&{F=;|^a8Adop
zFUmUpPTYIpR}&6{r>zXi_*#5S@uz=i*wP;gda~-1|DT&x9PfVRkcjuj|AdQao=$Cm
zC4QyZ^1B1n<#&v6)oJA_qzo+D+{d!(8pPYzB!#&c<3eA(%n^Gsay=<y>lCA*yJ4VV
z30I20%OUieZThtwi*V9|75Rb)X=;r0xL)KoMDOXP+v~ZEzh_`ON7<4-Z!NhX{TugI
zD4O>7trnMf__$~mhDlJb+?<T+siv%W5D9#|--jC0sZ%iU)Fg`dRG7n_5+jtz+ETtf
z+-_rFSK7CLz9C9_zx?li*Uy4AD@sZdV9l&rbiAwe;my!1^ii8fF495=E8bajL)RN=
zg7230MTf}+yoZl+8&3(aa#t^I_Lh)@oTiUQ&j)dC3^dPk(~h77y3FnZSbfEX9($H=
zrBpnsp3Z0R+I_kL=fHI0un2AF2XC<hL+PEF!zt2$LaYv!8a?KsE`Zjt<FT*&sb9H2
z*ecQye*PUpibelBr|K<l%fESyvuFt@g^L9QbL-Ew#Oc0v&wt~s6XWfR$-&E(#1qKS
zcb@VEo8`<7%T7r$`yoL-T|1rbNM37@A?`v*j+&*4iTn=k|GCc4`xoxU!qw@ob>z_-
zQr0+Kq=v445T2jIAd*V^y2Z5H1AVDv%c&-+y-)J10`?)RiJxDw4H74Pl+x`}*!XRK
z%%}N&IfPOewIx?EzlDC95qROP$E6?QNv(~3_eHk@Yr&Iz8VWMv_BrIiwJNyE9Wz(k
ziANXb%m?-JqFvYCYF?b}ssKhoppi~}fW*0VFH4=he%_`=XoaxUxEpDO=ce*hoxiB-
zVx-0z1+g=$0*d)kzxakVNdwl^H2u7sYsAEjS@&LS9UfW_etA-}Kcr79>hiMj1<qWp
z)BAzL&)UK00+8;DUCB)V%8-x2Z<||M#J<rH6MG_CUjJ;+WW!)-=y=i>^1}@pwH08W
zKcCcIs7ReB076WMR|_GeQ;21JP;g(gT*d$F907iSzh_6SGcB9Li2oEBXTEuJZRtBR
z<E$AJj$26$(vpsS4JQ)$?o1bamUx)hVz)Tu7Xd4p&bP&C78#`jetQ^0-wp7UQt%mB
zfQ{kXu{<KhjDKk@MWcBiA15xtoN-G)AORk_zr_5Jn8&}iU<{nJ0Vq=ufG}csY=<~~
z{!Mfi2AmgPzn!o$5b7M1ZE{bi{7Oq?d-4s5Kd-J*P)Y@e!=lVxUTj`^Exgqh@%Tqc
z%A$yL%wc1%e>yrpu9X(6Y;TvmtL~BfYFsY~5c>{?R>2KU&d4#x`gGH#5a;dLUtQne
zwHzYlBrBZf9?mT+SU!xVwNbi4B%JH-Yu-Q!DQ@jk^zyj+aiY+nR>4!K+y>Qr$8EnN
zD7tgx;}ziwO3>=Mw`Q8UN6W0sv~<Z2KHE%9>T$h*k9H-nYbe6XDvp*~b_3FjnsDgV
zs{t@##m^GDk#}Pj`)5;=O@9uqQi{M#s$*T_*w|@(vZ*Q0{~B|2M2__vt;!s(z|^(%
z^Xk8f(NFLm@hnPad&|Eo>lu&R0Ka-|)*dEF`ip578qB<+FfxHH7<cKsGg>50dMc2w
z?UX6*9jBK4aJ!u~v#;1x28k6|{nYc32eK})P(>;V4Jz;NE_PP}5~}uC{{XYu3Pp6}
z%cjtqEG<5ScHJqTGqATiIEsp$X6_Txi_5*jyY3=#a>jc5b~yB}-NjT#my0v+lY{ln
zBwllXGiE&kNx}Xpbay>BED(75_ge&OhS&3zfjne*$Q$HljEjeqsk4ZD|0sqYP&)K<
zDYYV_TDxIyxX{`8`O2Tqq>tZmwg<eSXJlasfz9S~U)AhM6P1BaQ3^ZI{s)$xjxIWh
z94%+ZATb6=$_%2q=43Vh((o%M<7}=QaoGH01T-7_ZDTR`@5O4wNd+O;y@kfH*lk5U
z;CO)|?@w~(uV25m0dG%lZuY{+{B){L0*8>+1orfp@fc%kXJ__!DRXJM@dZA;cv5>j
zE3`>E$;&g>z4~uqKlqu0;x_I6mcK>@HJAsgJl0qLQ~^+Uoc%D$Nrd*~xk~7SgEh=!
zf4)44K*PZ9`|#i@0JzrvkB>jAWryT9brQpLG557%(hLg0xc5>z?CcAe3p4xrRJB7{
z7~@#r7Dbfi@E{-H){1E&zgPB8kB*81&V2x?zwEYh^*Q&}_45-)22+6A+1f=$0(K*B
zAljo~0MV%Su-6Vv<bYMxt@ROH8~Qr;Z?p`->F_j82meO#?=UbhsAy_x5<X&Q{J<L&
zrveyR?T3?TV!8i9$Mr~Fo2eQRB3Oe!HjUgaf=*FdLajoBcH5%bhdMfx>0<6?{W<b*
zLmr9`ZpJXSo=shzGZfVxP@_m$mFIs^80Sa_qpxt4`5ro0^=2SB0s{pB1~z^c0IACB
zrD0yz_E8EMyYSAtP>u{MBJ<<w+uGy+7E(eT0yya=k3Z@R_&&pTL$u@FolY4diRR_s
z*#rLMg}fny`Pv8?{$1<qd0V@%3ov+_wz2=hHjH_}=vb6|7FUo;2C;83QfxZz+)9@Q
zsWO4gsGkk1g#>MfEFfQCG<+ySAj|ZK4J|=@ZYuC{q3(1e8|Z{__hCcv?Pk*d=4{iC
z(@RUOcPhr8!<^+g<u81CxasLGmyE=wa=O?r)=a;jP^^>gdUC-i^qAiUS+wQ;k5^%;
znXTTeGoPq(7qI{P2TQHGqSUgJ&v8=RV{=joYFLr)-4En<^mwegC|8GzR3IX3#($KA
zP>0Dy!@%VI6N-)Z>gPNduLU@?3n4+7Wo2b~fEcJdS>@0U#nG9oK+y-DIj;_V?S$$I
zZz|L8=2_u5C8<?p)E%!P*$zm#4N!S6&=yBCp$u0D36-DJ0f}(7H=trSS)(g_zb6PL
z?Rcp30Nj!sl7IXVK}lX5nd_B5y$8?l!XZw)%>(U8MZ|rT?EU-q_%uS1*aXylP`#m|
z$UuifvM})SyyEd3e+!d@rNv7BM|^<#uSr>Vnn_i1{7%AXPGLx4Q~Q7k6q-Vc2aM<g
zS@$rs3Up$>)bNJD3f&c!>DqPpld7F1jRre3T4Iiqe%Es`H`SrzW1DRA0J1$dp&*$3
z3U^-Uc$;J6IqA)ckTJ5aNr3ffu`FR`$o>Yo?X$o73yKk?xEBw6&Q;eS`ALzH1R<T+
z%LxaS6pzk36#ziZqv<6&kc>_k{w%+wFurlQd3i3S@QyQ?kr<k>5F{QeQc0Ven~@6j
zQBD=;llJTw$qtx>N50u=7q*ZwFvLtav|5#!mW>`A&Bd$?=2HOmgtXY<z`Zn@ox{UC
z2=g--!`O4R^R=RYE}B0%*cW(>>#nML&3^2Acjcq`*I`JfMh0hIn1ii)(%Rt$ak-G?
zTO;N%#PswT8-rg&8!4NhdU@>+YNP4E*e>CFfP^lx59%Kk7W6oKX6NRb{0}Eu6O99s
zKjeLbzlA5CPcDh{j%}K0015zLy~n?i##=GsaZ8T3m>4&@TL;m?ETC*=AMJE<Q$eyY
z1fKCiPr=SoOy)Z}IdOr#HHi3SRrWhao)jwl<EKyA?t1(~dJOEXxC%?)YlMSw?UiVK
zcSnC2%C<>Vy|~kKP~lehO_)4@_qq<#n3=gbJ0Lw68eQFW7~^_@g562zl{}5C^*!Ws
znU_O`4d_BYXMaUhuH>dZ?aR7X*y7Sk=eY%qnwXsY;kRdlu$N95$`>dx_tj>o0J4`C
z=ekvH?D`cBmM42Fdz(|4kW*D+HGb{zrchpYd+u)XIE;%RT?3YSW@bi&mQXvCmGL+s
z1C!Ca2L>mv)AfqcAI`TBQVsey473P|m)J}ScZ3XHnW~q9k+_3Y`<z}XAPty-k5p?=
zzmlPXjD5GCYY4^=Kbn4laC<3&wpBOOdtFZUY=Eolc#d@y!D7(#6Sxe;9#Dlg1t%t6
zcv8gvgDJ$jAJSRWX&Qy_Pj~dnvw)=FidqW1JY^`VzYs$xF(5Iyq85B$mTv?AaRm?0
ztn=L+Aa2DcEN1ss2FCq%yDMqmGgZN4|E0A78d!<lC?A(`T~`nqM&YTBC~@o>+-Q~w
z*fg@+nr(xoIV-@@Sp6-x0X8HEY5<>E^OX>Ms^>*TMfo!Eitza4@WR<p#kw*iQi1rY
z6k{T8f8j=dZ`{bJ5?!!%zL&BIn!T$ibtkNVHv}QHFKi@Q=2~Nxpc(^fcfZ}3ejjkc
z7O>B%Uo_eORye9aTNZJd56f>Ni4_M??#H)@YR>`45OLl@t~;#CX<6R8i<+NQgMo8h
z)T>_VNjL9G;?;yiA(A`_f<pclKFjAY{zEhGI`d}bT46Q9ICUm+TOV#r{Q0V%_&fWN
z>+y~y(kZ=Pl1MvqAQuAMx&UAc_^FUqdf!NpyvT$DdpIToFa41o(JOVS=;kJ14c%y4
zh})>9t@$<SXRWW)W!Ak`ThooS5<Us?@hoakRA?QIU1ER@c+HwI4Z9slFOdRuKM}TP
z`}ZS;l~q&X%A3IOR`i$KXdraS7p<=f$$XYaP-#bNeTCoNe&XW(l*%g76wm}dCC`mt
z=Cgo05@~&Fw1LwCD&G{icAyNAv<KLkoJaqFb<`DF-NQ)AMra;A6P{Du@EUHL4~gXy
zfoHG>Y)?W>ji+O5Re!c~mAn4TCFAi0Ik!>T?PCm=d9p2NhsnI=*a$8L8fs}JFLSXi
z_7;ey8ts{(pVdF&W%?gbLC!Ek6}9S4`CVqM0s^T4T}s%Go6JG8LO?B4<g`{Yv#5X!
zFcT#_>13&sY*se<6nZw)cm=`UWLy(iJXot-D6+_k6dG2$Ece}9>`8wN$S`dvdR_uP
zX$BjF1RFFIhw619AR`{Sxs~V3kP-{S^zLG0!SpiZr;3!W)U8_soCnYs;3n!ynS!=j
zg_29c`i!?e`^=!H<|*Cs8W-sx=SmY;1ESpKU2ofWc`_QB&KmFCPr79+K;0}rJ6nX!
zL2jn+SUWgsd&@fk8Z;1YbAa0R*2fZYNm*2({A+#Hd;7&&?Dp;3zsfTCIpbRk!+ucR
ziX%N(=eOE2F@N@lr^SjN`@(nBZfLLZ#a9<xKy%Mf7?i2qR^b%f4lPkM){r0zKd-k3
ztrg@qS@8#+oTQAJut;8bg>)EyRc&mpKQarqC#9jWg=TK?Mf0<nolvUx$x2=~3^xYl
zKjVg9zIv66L+{mq$~CO^ScH_%<ZYo0Z8C)fv;u^tq^bEQilgJ_sh;e3JVbNhmXrD4
zii)~xetzl!_Y6)I(x&Qad1q#F<zgAJc>vuBLk#i8#>N&JrLJ{0SGD+h>((dUe*1YR
z+GD+|Bbi?bIxW5lFyIacE1geD8)lr6it0`}{uJmAc=`IK-g|+a3|Y;3-X!QU-?m55
z)AHY)3(?7!bjz<`6Jb|R_*f>y5CPo$p?2%Sdr!^Cd*QmDpPvhtvUS^Pl~o*F7?xzs
zuCgANE^sykE(LeC@p*Z9yOM_qFUtS77l1z$(&@i`t?|>y$OwTP0#KM2&`14@`8~Pz
zR_2-ouMu0r;O!j!KT2nh-+hY;88?C2fTQ4<l9G+gGfQhj{&pNTe0)5DkBt!7PxWW1
zfPJTu^b-jV4*uMNA$j_*jJ<VCY{p+{s!mG+#J4{fY@-!VWA|@vcAcPOq-$sLi~1Ut
z_19H9(6sYI?^l2@4U33)EV%hG(Z~#-aK?Te`L;BG9N%dAS5@v`FZcLOXs_X&;mM*T
zf|-ZOZ);xp`7=vTkQI9sGg)W2J}5D$w!x+#qh?k52G5O|&3O+D2K2FDb7|r%NgnK{
z@ike<tu%xj#@m{Jci7<n&K(k>4qy|%z9@bSvs~rqoKuy>IV9SUxMFs3>2LG;{$}Q9
z4Vki_yFooVxGE|CJn|<AXi6C}`7O;1i%`FUwi~|c%pKhiYSh8q`e56^jT3<FgF!&@
zE|aJn>m7P8Gr8Na{Vi_=7(jq=pMfrD@Wbimiu>vxcI6Cl`QI~5Wdb!fNtUl_Hk{ya
zW6@PJIy{gFigPzLh5X1Rcix(6(2%+jB;bRJA2!ZY*2;D*<Sek&^FeWx)Uo-;D@kD(
zoQ_9(O>-4kY&q#||LFW4d&W%DdUC@Ar;j+POHd-HeQmgeW7ehWifpOFh2PrkdW!=L
z6?9>9W|0cBeWPDYUA<dqOLG{zi=wO$K|iaEY^8=iJKj~@OWCoJDDS3u`qEuY6w7l=
zD6ZaOTj!GS2$k<ScDJ_5{a^SGf^_tE1y^z9ol~B2J8=&Mp2edAryWfQhS*i71ir{6
zP7vA-i{1HS*Ew574V#j#GxxzPI5cQxB|)VpdjDg}7w(pc?@{yIx*|i_#Vr+ek%P9i
zEdQ5FSNc(fQ&c#dr)1qJ#u2%a&@FvkSRBi)tnuUH>7~S4oiYxZwG$Q|vC*j_)TTx8
zsB;6E$@Q(}Z~POMV{#X9zs%2{Oh29u)Ty|Wa-~LDEH4OoXe{KRMO~PFB{n}Xq1h6l
zdVImxOevD~Y)^lqv!zNhW-wyumAiB6sSd^S@ixYSc}Gecrod^*v4=Z}oV06F7@O!<
zi{t8P`e9kgLGLeRVOfx?*wx7s<5+OI%M}~tUd#Nx0Am@O4D+F>;rbX)x+OWrd2m3(
zSaR57rm<3|f<x>o^r+ygxC11P^scyTWX`{7%5O1Ng2ZhR<=CNS`>_~1AhT`8!+<e$
zEv4p+6nB6y&IA1i<?;*nz~<wiJEYF9E%eEw_x*8;xcif|G4hx0?qRQo$!!d<o3y8-
z2!1UQ$Hl|=T3m;D;jBd?lsXulZ|Q0npLoeq(jm}sr%~Y|qfrdYZ(_dJ@PAgnB4>Lw
znaA<^=S}a==Gx5?pKw%5TY8DUXjio0Gkf8zJ!{O>$rH6TlfW`37&^-OpfmTnhb18f
zCmN#>H?U$h#rdJ&vmdR}+nfb!kuU2vF>a&Bm`E&`vkZMT<U+gT);)ID(N>#$?S68&
zWPAT<o1ivcHAJf4!rogBvfCOVvp~ZsRsSvt2&CS(Q#u-bF2IHU8(Cf`7`nsnWx`Ki
z2{tGgP@5VapIqZ1;c#Y8Qe70x^8Lv{y%xc^z3Jb+_P;d#-&_35@oRr6MbPoF{+db<
z=MZW=_Y{cQnKFqY9e=U^ar7)@c&gppxdL)h59AR<Df_Blk$e9Yp5I=t)JXh3y4AdY
zx|+vytNKTvuaY#(C}Il+>`j=~()QdU*M>H^RPftY+`BnF{|dz|A;J<OIZscUAc_r$
z8#cp*bZBU3ZeI;k<ABmJw-@G8e<`7+hDg^94bq6x{r>(dmjVf5`BWbi^V;grE6^|`
z1aFM_`4#v~us6!<XwUsau0Jjm$4YzGBQlxay1&NT)uDD@3oyt%5Q%hZym+m9(o8|G
z#>B=}FMSX}>u>BR;h#bzb@pa?`DupVjy$Lj4Uf5Nn<s01)5kKx3;?PiHS}9t_VO}K
zV)v)}uL|f3pADvI=aI@@T-?RlsEL10*t*Z%*Cy{!W#23T+EUVW4y|jnv|Rvc0F`pX
z#d(l7TmADIhJw6W6Rz4KB3hA#P=<guC~KnrCj!vgK6q|Uitqo?NMKX@>1`h&cN=Q=
zDM%)D{^|Pv`C(k21G|X`i)*(YC9QRF|LSsSvcI)q3B!ZDyfF+jKrQ8h#EXfE+4o)s
zC!Ac#UAwM)VfIvviz^zS3y=_3z$XAyg4^0q6f7w~zgLNg%37~Q(utiz+T)|p=889V
zGxvuR*b9x~HNQJdJX1*IvVZpHlj+Z&KjVf3D~t$*CxvEx2t%9Bz>u)`ZP<t(SQ`Ey
z(0%w-#J6AK5)ukQ2iGkc*KPG-iJkzVh99)gxy?;Slt!(OJHPjih3jnd>w==tupEF+
zX)GtThl&Z^R<nGk3)6Gvitq2YaO%ykK9O61A)iN5QWCJ15JJWtJGT6MrPU=Vsrz`5
zPj7N;OxD*sxlwq+f{<2Zx{BbY!!LjX#)0R9k#u*5fS>9_<pO!Pm~5TF3lbk6@JQ}P
z=DOlTWv6u>BD7Y}RB{0`BiN&*v$NA}xv#N6r{pKhm?Dnnvf>GVS5ju0LR0myuBLF@
z(K|cDa?0ku!h_JLKbs8c0`PzwT7*u^7epoEl=V6)O39E-d_0`aA#IPPAU|94v*KIf
z^|92e^%u{c4Hw!!8!E5?n?UL*jm-G-rWqcfCi!kXiWU$AoEF5c_Ti;B$j9Bl7}*0;
z;99tC(OShZIZVNAByg3SlLugW1=@eCE9`4GjMHiA^<k{)=xoX**1d@9#y(d${h888
zMQ>8$i>S}K1C*(Eeo@GZCmn&i=h)P=kU*ROrV;-2u?peI$;m}ThORI$Fh~O}x8O5|
zmHXS<Ek<AUzPJktrG6ub`?^;0<{E#IG#cs5k~J+An`0zz;Q4+cyLMq(<x+;PBG7Bm
zju_5FAXr<$Wvzgr$%T0mn+L>qUjLIlUf|_A&oheGYKjK#dZe!(P6Y}>CX})pR+XbE
z!Vua8^Gr8TJ1zxEv1f7=!E)b!wYCnx*kNX7Hd1CygoQ^Yr~AL1ECEtpZx&%B|85-c
z9+=-k+#@ldK4if~A>w<$+1S`v4$6GD3y?L!DiZr-Q~rl^@vJIVK=ltv?^~>e7ZvTd
z<qKr^Yyp7<!x|BJ?I~CASG|d1@dku%o({(OWKhWmeB)>AmL(0s&=+)fJ&@c5HebYf
z7E^f2k00PI^NkxpryJEo4BAuCSNQx2mJ*VZD2EDkk!hSp$Sw=wNF3}SP*hxcB@Ru>
zD*x&E$JR6sQhl2Dhd1UEO6>+`!)}Nrw{e{vsti~!gD_54TEfuLV$&Ch&@bw?tXj2D
zcYdJny4x+By0g%k3WSPfWi2q9l*Y!!q}0?YGnT-LbOS5b1v6^dc;OF*>IsMMcB5uS
ze%lW;>ioPhl8~Q6fG|{M>gtJ&)oT-fx93{_Blls9A~1P2_{9<|D-H<uU+t3}e+R`)
zKbk>G8HlH4;CsL})!oMjgI6BRRW;`aW1_T%Lk6`zZy6ti=cLes8w+OmBoSvu<lzuX
zfJ2+Bb6xh)qk#fle$WVx77~s50(=Pz=$k)%V)Hrpm%MQB>)St%yU3U(B9a7g5C<L(
zRp8Fi(b1QOzS4l6uFdVp0!%Et$$eN(AO)Gg^Z`%!yV}!{9!yb(%c9qvNueBeM)Hd9
zwB33c5<&v3Mv2)kzH)<1N&lyRJ`r=*Y~3e(l;qu#B%nf<4#To_hIa_m4n);&iKdGH
z!_N1yyKc+ZJSW^K5FQR861QwPLYwY+d5J(zm;pw%-GesnF7P{}HQxLXSp|CE!Xd5_
z!M)QDlq@{()Bc>-%7$X?m99%ifc(LF#0bI<EcyV<o<4^gQT6rp`AwwGqCmG<Le2U3
zFp9b>Q!4WjgTH`Arx<Ot_&{|DSeKAK1B-&N+^~@D&(47bSo)loF$=_T9+<JHjCvd@
zNMW_%Mr_7)H5%q5O8|mR!GD2?gHr}ZATEO+(m+AQ$JK=p(A-|>H1$3Bcax1R%(C+x
z2tf}vsy8LULV|ncid<QRaWg59jhtm;>%g=+t$nSi5=)>3%K}0fA$E?#NndVwfZh^W
z+tojxfeQnVPNqP7Ff_#3*;(~;7G=epfwfAqVZ_7+qbNMWE*Mgr!C?Z$Ej?jxu*lf>
zv=a;2f1uuARm?zwA>+`B1Qt0C8V$9uLxDdd{R2R05!Ed8z)4GdvmMR_TF$0N3fxsF
zAQu$;2l<A4_CXy(dNCqFIL|iI(n(oFHqJQZc<YIlEb%fiy+k+=aQ|5Rn1lobX8_`|
z0UfE1U*?^yL8Z$pxGo7~FO<@5NN+@8g3b#aQMJOsP&<^Z{bguqnb)=%unb+mmVSo+
z540W9CgcxYZ`}cgXBMamq%9!y`q9Gd+djt8xYOZuIU^D(DjP1Nn&nj<zGmn(RQy&+
zKw+k=4(6xce)1)$V$z3WfmA%w{jv@$JSjjYCjps|f-qoTIKV8^l`7m@04#mQ&-y}O
z>XTrOM}~3Oy>~MUKvG#EeilUF0J};(Z6wd87znA}PzxZ4?G=X$4ZD$bnX%+Htg-+H
zk3*IFniY5&>`((hkn@8drY!LCf;Lhw?UzGEDs=k+VE@1|h^7G!jRA<>GKYyOd_(_Q
z_cg77&l;@Aoy^Ndy8wfH%Ky%+0@VD953GYCbW26x?7M+S>W-$n>r&GV3ta|v0e?b$
zQ4h*%IxJcpc&(B}0p$JnfB*ryft?uOthXN%()jl5336{l|M-{!a!lq5rAt3>29Yr_
zG2S5Rb-|F%Umgiv5W0FE5IiAZHM0VO9gHD`2mOz^lYu-Ri)4_R1a`2Mj7_xx^6>V=
z4h5G14{&rP-h00vMFH1`rU=?$7qBFjguu*4#72}s+P45ZGyq)MFe(=qXse$uaTg)l
zlsuCGiR{AMngmz)4UVj2C~-?>&5XL>*id&Cp<N8dq2~b*#s}OaKV%s{Xqdc6-_?b<
ziT>`tzxssVXYVN(jK=V#wtvnzQJP04^O!yd;_zWOrZteZ(1OKQ0@wn963Yc1(81TZ
zc7ClNBmq~D22!{1C5<?|xtk3=CoDlAehMXbV~=vT6q-#EaNEfs^@!N$nV4kR{QmIj
z7_hO%+d#-pC6ImaO~7~N07SYCjQJ@M#E%_7i$fZ3uH#f)OK)#4EYE64tq-&zo`8S=
zmM(%!2d21pHO^GI^ItB{Hv`Y0-y@#LybPak;YqI-pfiMm87T_-#5Q7X%D-sN*KVu|
z180soNyrCsE`y|t^HbNoWwpAqolgA0L=o(5u>1hckp#bTyg~WNhG43JvSGtDR%mz^
za3n+wM_6QJSI@JBux5^rr+X_+pEdH5gzTxI?R09=f!enK;3bk;@b;8Zar_fRz6Kur
z1DL(!2M{d`%zY5&3Ti?^Lhs;OeC93q7bk1n2*nRS_ZcCPAKek{2J#*njpWfZ1}yh4
zz=%m3_L)$z(R3;t=qe^WXrTUecdI@qRm9E8A)%mXjlJ~<aDrWbIT%b6;f+C>l|a;d
zh>G-u6IP{^X0Wp2>EJ5QzAXZyohi`DZY%w-fT`VCE2_8pVgxoZkB#wm2-^5u&|T6I
z$J)-kd;l<Enw>|-$Ig%v;KJ*Khc2yA7QM+UZv;#}Ft=79Hz3rIOy}Qq514O6UFNR<
zzibV5PXU{LCf26z_;B(&z-w8v0cqS{j%*2BWC!TOTsD2kT%<`D`K&NQbx9a|A09F8
zHlV~F9b?PP5(12Uw)0#|a@G6lFb;OK1Wn-dl%XBq5)d$RadFxB4CE?#LpCE22_%j-
zmvf+}O+em9A(m%gZ-d}Yvmg=!eg5=sIXgn6LLKbUtVOCJjCPBlRVeY+!h(@;>b$|g
zA<U^XfXWXTkT&pa`_YhATRU{12ADXu4h|OohnfVyJOB*~-}rT!&IUp=!;G*5{PnNl
zVPV#$o_IjP?eMx`(b38&TBR29$Y2IkPV$F>yGH9=g^5Y1jj@Ut$bS7z{&s#))o%kn
z27pFC4GDpe<m`)Bn3&U`3_<ZLHMm5kw4ty1>{<nsfOkNUl>q!z3UCmzv;{8n7=8qV
zQIFhJuo`lzNFFosTXo58FHC@3hG_p#a|R3wA^ku`{d>n@$|TYh1eS8U(Kzr1?}8TJ
z55bL1M4$FP;}z5o;FeKd&^<@$1Emme228%9bUqnwAnjbEqH2doiwn64Iun328JJYZ
zU37we#59{Ds{?a|DoE`VkC@_|0mmpg)}IR@E(yTX;2a?fZHg5rf|MEufljyZ6vUn!
z=w;#uBj#tI!-1)Q2jqB&Oc`i)g}zk_4*|j{18f1pR9*qS9zY}TvvCe2^G+gc20x1R
z(}v1M?Vy5YKn+xb0tQc>1lAUqN^53H0ph|Ysl(%dC$<%Wya&WZ@Gt9f$!=UIQdfw7
z1w0I%gquuEOuu;P0cb%A@Bh=OECfW?;G?Gsxjr$=FUyn-J5&XN=RJ^cz0bB=b&E~V
z0ENut7uC(eWpja|9{o}c0y)x`t2e45_$)hey!jUkejG2RCX2eVtPL0CK>-j4?Fcan
zz~`Nz=H*pJ@`ePQpIDwadx(Nsx4m95h1lN_Y2+QJZk#~hnNLkk4N_Y`csBugjne!n
zz>r6oad2?u8brQ1Oe8BAKi5I>LhPNer$PIcb)eaUb6Wv+reBfv0TR97UA_l(6zO4~
zRo~wazuH&0;3NXu8_4yL%>|>d8l}5~4up0_z=@43JXtC%XEM_3!Tn)fJqb!%D%gFK
z^0kY^ZgwOf*c|F+H)ywtV1MX_$+b{la$AUR<0%Y8i(ta!hpN!?#|1QeK5#Z8VlKZv
zh_JCE<4<&Sl9B~%;wtB&@8X+;ld+p&6VfI*90Mv#1yv{&)CnpmL>lE!)%Y#iu91?G
z#z&|<HUfm`h^XcR`P$qAV8+k@rvu{pL2&o#;%*BiV1fXQB+y2ZAyZSp15kP6S?uMq
znv;tROmE=)3<vGQWk5-IW^;2h!3Q>?*KXonbIvYh)n4w>6A(R-y#ttI<ui)34G4LV
zcN%EJx+EygkESj!9yvMj08$1iU<T|2AjaMYt2mLw-ZiixSDH$IYi1ri?ck_Tt?-ED
z90fxz6r$<(q4WywV@XFxM>$K^0PbYKbg>1IPD)AHCUH0(UnE(^<cOFB`au@Z1+y7g
z@qdearTHOrvxf+`lsBZWuP-NO6B3II)S{mByQJ5yHDC~lzxi5{!zj7}%A*;?q#u|A
z5E=-22Qge2(RI6pr~a*OHOnB{`_f2>x!cBgGRzxJAaUoUGCyuPhgJy&)5$?oi*Vi$
z#D~tla+QcEPxG_7_{nlM!mNPBIEH?c%{!)P#st6u=&U6!3ktCLh|dS9o*>~2Nmax_
zcHp7l$OU6-41@K?cx9T1^K+1u7oVMizt>!`%5zL*4-~QAAiYB^ZUNEc6ATPo50)iK
zrb=6q6j|$AC=tU0=-Kd~IFR`rudk)I%s3(PJu|aEfG1WMxZi`nA0EpIK*rs5bVg!r
zAc$y@x#HfvdoU-d!&C^-AP;u)bfJF_nP4zMmxg>64LB3Qx=Ic}wiv()tqS_O$6b&!
z02ysV>LL~>C^zvA$KZW4@|wW{e>nZ~7cbbs+#lVtR2a#ND625kB*187b>ij#wFqG9
zM<`)-BgJSiu0lC^5fej1C+61n{u4hJ%ya*jvD$lw>3_!RkG_W+P;b>GZp9U?kCuhP
z?O=^sKvS-SV?9^!@tJPixFIvA`+$#0xJZQf5DFYnM6dAQ?0o?cdJN2hYk4=4hfpt)
zVGN^b0D~4scPYZoywx`14O$s4GX9d!55g!i%D8Z9dAdOvL2OU_;L3yi$z0jLgyMn#
z%KyYIumV}3T%pP@s+J3rQ&3pLj9~}K_|&0tfgB?Vwkjpj$fw<Is%~Or-6QcA%j|8~
zHbDe7g3FyZ2%1q6XzlgKKsQXBY+%I+!%+}d=)7d@#<TfQWmx$5_*(xWEl6FT`SCje
z$iqd@>#g7nfjn+Ez>ID{HBSLAAX=%q|1uU1PAW{1-UiQ$E!s&CG>?%4g*z40!emGw
z#X-aim-BZC;=!8mL7JYOT>-)=z>8;sO~Fo`1d5_+8PI}?MKN*#9`kL)`~XTcV0g|6
z?6>Ytu>@XfZMBan2Kb~!fT41+n4qT7z-R&%iPX8n`@Vo^2}~dy%p-YoA=<EcWJ2(H
z!OA260FIAYA%O>Iw{M?y%W}QfzYRz7wg4ND3a(C?2Di=02@r%Ao~CWgm-R|M=GV=X
z@bw5;6Y<<gvl%V@2)Lhp6?_jigby7Q6%`}l6caCGkPyT=Ul54cDO9{>FMR}M`5OLj
zM;fu1(?>d`kIYdL_bixbB|)#7Ub`x2d%tvP(qXie`PWD_3}T4aFGav+_DrZK*`Y}9
z?WvfX$!va+i|_mUZtEklPp5gH<i3aE4r*2i43Il8#A0kg9wV-%gN+H~*iI9uvb$&Y
zN_=xr&uWflBY?anf$8R-hi`w4Yv6@^d*Eg5j0X{=VEFa5;k-}7VBE0I^nVAToHwyW
z5S_gT%TfleOh_Zdy9V4|^VC%4#zZwzyWn8WirT44vo35#Cme}V1RliH)Ks(3Alaza
z=Qnhi@%ltdaw&%9R|e_93WTHoL-naO!3;@xv}swUJAgwZWHluT4C{Q3Q4S=v<#~PE
z+Be)5D6$#vdiK0{LK|L6?S#FaEMr|EGc}8O0{v%zj(?dQ-q4ob_aCnYPS?Me>kDnu
z2kt?~`KmYhX%zh(H*@G4U}ZkqF_E^axgenq^-=(swgh&)@=s`rFbs6R#3k(lM3b8#
zNzCf<|2vz&k%$2RQE+TyCr#pR+^=37XCejEZt8zpaDBi}cO^5Y_cj^>yLG2sFfh2(
zbt~4*k^~guXb9evhxo_^W2=v*cIi5O;;;3!tpg$Ku7|02Y)&r@#vFCUqGuuHjO!0G
z5ctup1Z*(M70_4`NVLiRC+OGOuLBuv1<AKK>AR^!Z7kunWdcOnYR$vatz#1qqu-HM
zyvO8`(*4nwbpI7!=F8(Foz6Q3Nxt@0JJ+u+;w4F6&=d*5+_&V|RP(caY+`2J-pt>x
zi{n8=3Mnb8)#r_7e}R=D{cebf|77vnx3c1Y5fBhYe5(tZ4NT{s)NbuUfl1w6>dm`-
z3RNNXy-euj5&j#FI%~wE*Tv1E;-OqB=<Tvmk^Gy9d1i@{2Zk6ys8QXO>nlAjrqy}g
zw?+9oEf+;dVrj2~AP+#vlHPls7-4?lESv>`Ps+S^tq?c>jYtVLmcRrXpYqMcH3DtF
zUb$#B^dtsOgXM8dliwf49r;<!x?&7!C%(nV?v(%kGxP|Qi1)I>;sL{>Vr|xc56O<!
zwf3{=tHZwAq(u>P&3n?z3%sr}69=3**Y27e?f3VG8S<T92n{@|02Pe?O40`tJmxba
z0!0;`CX$XR{KedtI#ZaWZ<8r^vlaiXWv|$6Hf!JInQJ_H!G0x|Ea|k7wyRlE>7pt{
zmBM85VBVi8?h)9VkmHRAtp<SR?JB?7WR3Ub^`7}dMS-Lhlht5$^jzAc(1x?=mCP9j
z7FQyY>xTpNQcTqZZBc%>XIK7UQRis4IaI8=tEawJU^yF4-de@m!>D3X47`2?Z4zx2
z#elL6LYXl3;jU@0$nY*cN*>u*ICi{?!=gBb8>x77e(f42KDH1lA~?5UkTXPx{)fxD
ztjhQ!>R9X3|Lp|;mrl1;Hf&Z6P{THodfVVwo(4N|*+tvDb%3!6*^u?AcEf3dZr1fJ
zSF@Y`l0P!?`BmFP{7)T5x&zh&t+v|(0=LB^#IPfAuXd`ZuI!`UDdpA9TWYhM(Yq-n
zSCHlgCdR_5asFE?&z*`H+||eIipBre8u{mvREv9-V)y{%^H-9j{RK1x>xQc8`#={&
zdX|pezs{z5V<1!Fw@FQ-xT{if*h@a{mEA`BPdGf>sZtDa=Sv3!POQ^cH8HGmO5{R3
zf5Z@VrFu3A4cH!<{H$rV31sF7tfk~&6$<R$t0oO#DPo=YUwgNg%YgQs`RqbO^<1pm
za$W~L49f?D8$D{^_O$$|923zO7#(2Nn%{0^um+P65PYwo$87;w2uekUVqmWqb4|E0
zf342Xz5DH~tGkUK)elb<CW%Sn{@l5|v&Gg&dlV=w&O;}XK3KKxp;LWOWuH5|Au=uf
z^Q_sXHn<aa-~e41gMf4~Q$Fc}V~fv;W@u$*UWoOq;J<ak|F<@W`ye9jfOqTWQ2n$=
z1B2Ji_v6>638&q&=G<3R)^t)5iqB|t^1Rfyb0Exc-2aWl0?CzYd?S8}A1f$WM@I24
znthOK17$%@vExqF{_(WB51E0H`!OFGw}bl!jP7Ee*66LNK%K<kFFKBO<sLgX3QDL}
z=utv62331gbAE+3{IwpbsA|$xB~DRVTf0mQTiV%*2EPI(C+$*}RCJDDy!PDlcYQrF
zxVwck<^c(f{)TuQl@W~V=2?tG7hw%2jx~})Nz&XVEXCJ#uGYL$K7YN>v@xJskTF^m
zgcEG8BZ2N{9<`)6iwg@b)iHY**+^X>LAA!uFs)@GsI_T|cjD(nm5$z%A5AOoqhZvj
z@S!TM)VG#xOU~mjPm9lYb82KwubU95uBCio*_pz*M`6OXW%Y9>iX@l2`Q(}n!C5-b
zI_1zWhPS~Fs9y6*bu`o+{8YHOac(}%<P`XG6RRYy_EE9Vd0k7D)BL{MYW;yusrmlu
zL4(3YVJGQ9tXx3Cugzq3oxBiMbp2wIdObM2!!N<UyxVA*fLeUQ%PU`>(W+4BAfK(H
zH&FUlIecosM%Y<z)b@*L=EK2WrZYv_&_0|sO-B(e7cW{4s=dZlUe32j9>D&Ve|P-Q
zT#6OcgIhoKV!tu{)0Ls?KJ~d8Qp1YA6t+^e*amW5h6+g(>06$DVrw@Ty=BSktS_c7
z%RHx?pS-(dXf<AP(!q-h$II0Txl#D%kD{wZrOR}4EEA#As~^J3;}{f-S&Ju?6c!<G
zQx@d-LEpA|wt*G?&-MJ`#!)y&BL>dauAjJ9)>2)sd*B8J?WDn>yD>#1^FoZgvHHcb
zoqWegV@1%tOJ~|xe<swT*5abgCFhl=K{UOi>)tVz2O=vM=g;SIB@gzzil5hv#1Dif
z+*sJz#8saZA!84`_s(mOdiR6&kzW13{qwb{-aEln+@mUJEZk2s^XTsq$j0)$E1s@r
z_&k7jd~tfIp&}_-6d3igErM^`cM+3)lX)=nZ)-xrVc5X`d4T9>c5~LCvz*9ZfA1@7
zKK>G#6WQA#5XG_}(kr?c5uKWu@VIJ8UZwZa=S2O`aC>v<vC2ORTm$9>J{LZAiRT~r
z)Xk0d@Ql}%YU|!y_-5g-CwfbvAMDoC-<3<gbmV3?_cL1XwZUX>JZq2ncImKozIi!N
zciZvjuv}OT8)?0@daL8*iKfPOPEC>2Zfi}A6lK&nR+_%9?!A?Mc5?x_%By9#?B<-<
z@gy0!@jEiUo3HcEyDuH8j&`SdQ!mcX2vw98wkLg8a26%qyC~=mZ(h>i*F+^`Wa;Ka
z(s*NPGB3DnTm&-kUmk9Y=8Q+8*d56=<SS)F_PI>uym#dev3J~}ynk~9e7zdizk9Mb
z_xe&OUQEl8oIP=fCf<cKEF@w0yr<q?%IDsxN&xrU^TRp$M7S;eC5>&;P6N%BAPFOP
zNAqTKjQq+ujY<c@J9qg?z2cyReB%5J$q?jq_E3vfaBfvdN<&8dr<MRa#x4$;y*$;Y
z%Nz;m(?F@8m;Rjlmsc~#)$(5CDjEC0OH|PGZBMP!1xc&>WT>AK_QsN2D9Tg$zWYmh
z9UNPO@qG0L6zV?t8E0~yx7s3}bwwD>*iIZy8D{#`P+wMyGVO=flCzuN?hfV->dEoD
z6TrA27%;f`QG18Q|G!{3@_l&qOj<#DT&|-pUh>jmtnsoX0AuIE#Db4N(ZS<@GlBbZ
z>a<q*l#6TBw=2@eD9T$+*>{3}R_T};Hx@@i-0jL*ieT9W3VuYOA0sLCEe8$(jbs^L
ztL?yw`d|M^B1<hg{%j*HbE5<eqr*tAfx3tH=Woi(%X8|LhxK=-?q+K}E*)xczBkDb
zsf=#oKtYxuh{nUl<{Oi&cKHN;iWK=N(t7wQ7X@}i^#od_87#7(ecky~?8v}kWfdav
z239v6vtfK=!qc=7z3F?Ulc_@WsCQT7Nf9JT+E$fybLtW755-*&Y7qwopx%+uQD<PT
zVTufyc*J0Nxk(kf0C|Wd;rl#u%2qH|?Ao47kx^gvqwlo*11u^5->7#P&FeO(wpoxo
zvMe;NR|XytF_$7ISmAUP@P}%ZJET`DsCH@}O)|J(Gw(#dx%QEhGogPaK|$AKX;9Kl
z?5&B}hpHE)rKRfsv7-$9FBovM;<~yL^h%l5jOxdm`--ZS6Z<FQn2YxP6NW;rF}6m)
zDRRJAnlSNc139AwLcb~uK-__GHB$3bB&gk#2#UAQMz#W_oG$k<a1{jYKE*LIYQj;R
z1g-oh2L}hMpgific6DKrs)pLxX}<8BLiifp!@mncAzl-iNA#+|K^Lx5e7pIwEjBJb
zeh_BYKS1k#Ra8<Mgu_99faEl;Me`19BZUQeV%@{Gu>Lh6J6oMv>4ZTJ3WT$x<Hw#1
zC0_+i%>)-07j?08Wsuak%pI>>x+|)7{Mk!x-Mc*4SjqGer_xM&A)^-sGOAi`Zf?i$
z@NfgSCjFb&!{-mCFsPoLJ{h}qf1Xn6d@ufs-nTF4n&5xXw6L&Pq=`QaHBdsIPMw~S
z`4~;7u?oV6q?F&$Ps3ZcZoQ3)it1l+`vOdV@}{%zZ{AF=v!k7b4m`4~Ma8sFe@e`6
zJ5Nat=DOKf+M2!xCL))Flyo2kD4zm8LBS_*I<Ut;$?<uh@sv9T&X?8PTm=TY^n;^w
z313YDRjHno{r=5h3i+Bq<65HIc6-a0XOblM=Q%-UQUx!ide9d*(gd#WOjDva!BhN<
z)^AX3871(Y0+wcGA7EP51i3;}U0wYhT|VeA9bH|DD{f-@px<(QO!!;tTY;YNFk21y
z68SM<At5c%yLa<}hx$A}KhK%Z&J6_R3-muQ>-N(>mXlKrg0mR9xqoYX4-3)%0B?x@
zB=;I)#6+#H_VLjXTe@-{EiLUIV2I|=HP}8T#8n6V;-?mP+HiKfE3d3<1?(c67-0CQ
z`Ht4MBY}P7@83A7zyRcE0mu!<^YJRcZehTegqVZ!0F)md>gv_2-~|!^*FI2py6P%M
zrq<Rt4WL@~)AI`oG8@<V!PIW~rTfp)=*UP-K=A!A&bM#g1l89|MMp<-!l`{Y2II0Z
zE(*7JIn);~7GWS?ceUAdAKb}cn#vx0rd$4$7)%&FadRUhBgpg(%J2`j6_OV?MA#-k
z4Y7SJE-7hjY64zd76oDa2vQC)zk<ry8JDty?(6G&!_p^|6>fixj_$lB?=0`nl01rx
zaY<dF1O&_u5UU}Aom^dS!FN3X@or{gWAkrEmXHxmwWbf21x86ic;lww;Y7fn7VXZ+
zS4038TwGpm0plRhmEefS1<S4X)-)PI(1CzwbK0B4i}CpJ<CDY9Oy>Q0tll*=Og7c5
z2HQgvIh*SAemLoUi`U@VLG0H+hrGznzV$z<3P{~uBOhPW%Asd@-PF)POtNx7umBg&
z1Ed<<&9c3OoKq*rs0d*a5w4p?*a7*P2(VX0y?B8EYQi+=ttdomff`l<v)p|dnX;UW
z@t%$jJPwZhr2|w4v&qe!cQAZUZ)_mnLQ(0tNe|~h{0=8PK|X3kZm$TpXV=%)M^2!?
z99U9T*3{h{1>z0mnF#PSCLr!3S|AfED<aT#b#*041xkYC{Q(YbczJofdGiJpl$uI|
zd`${yJ)L{Z-8DTuJsZjN(zrqQ=jn(TB%6naDOg!qk?;3FA_z!Ch#Dae8%7GqjtdP~
za`-X?0%3=7<lrju<vc(yQ=f@IpyvV!t)r_8=YM*@{ezqmEi5c-Zf$i1J1-ak(1RXk
zoBsarV7xvslh?e3vgTb)!{p>eGJOL&7GBK|rF6P-=&M(+Zg#*PsJpoE!M7@a5hVof
z#tYw00bjMSy|Z&aZ-A;=Jod31imWIH8VNFe0D*39Y54$@V)$;1FZW_h&CKotWeu!g
z9y|~}omc`0^k7eeGlOKv`8i<Wpnl*7fhdF!+VH4g%z1Oqw*BhA^>u<tjHl-2FCJ#|
z%6i`qQ$)_5eS$^-Ta0|8N}5z)23QKr?d|RV^~-YIf>104MQj&N4LYq2-GSPKy!GMc
zl<+d|ZLNZ~V$&uO@IDX{5&{cN1tE`|lYk#^c5}-Cn$0Hhd2MYi2%onzGBRvD@gm4P
zJUp-&FxV0UU-3l4y7q$*iX57ZiXs3-!3;t|L_~zLS|Ii@WJ-}@_U~&XB=><zQ&rf8
zLn3|fbsC_P68NOS@=i}rBL@nBhogmlVg}U+vHFmK@C(=F191}NCPoKKoF?J>4o=9>
zlt+(mfVaBH6;}s6>)I$39DU>{0+_y>p$rJw|7}K&p+E<YG)!rOb{mdg0*MA9CFsRl
zz|^<`>xdW^U0h1<#SoK`HG{&a4D}Pv6)nL5FH@k$|4r3rg0G7Qjvq$TilR${BZN}K
z=>}xR4L-hp6Zd&|dynyI&luo5%Ug{+sVS4uABO!S28kDJ0<dNl;OT_pHZPEs0gj$3
z<R<=o^sKgGa9oywEde>bE_t$i3yh4*K#kthzG~B#g+@<L54Nm$kP~NTX6`}R2ZIkT
zP@6e$C=W6s=T$1Wr_8Ob9|3<}W;Yl&&f?Cu%<79~Z)X?w`t?nAcJ`+Ac1X<94E1nO
zveclA!yy=%3Wo_0!!1CXN`icXm<)xOOjZX2Byyk%`MRL7?|1$`?Vb5s&+FIrKgp0G
z#Wv58k};JbV?q=vnUe~chf*0Lgb)f%5*iF`l6D#l$q*Szr7c1tp(I2_6z#fS%ij0#
z9M2!{{PsA$!`|XEyszt8>s;q~u604sFAG|vx`=rA-gOv_iW7~E>#^1uA;W_p{H&s8
z_7jl`a!rvMHhMIT0n&UtBWh-Qmg9q)|CrMaFK5^^Jf!F~?#ZwXW!*$hhcpt-5Qmj6
z)TP)%*os{=l`I{s5xUxA-R7y^digR0@wmOKPd@uwfBk10f(??E8l8|eC_vI145{%N
zos~yx=w79(K&w117LX1GUPwCa&dCQzzZqeBD|52Kd;k7Jlah@cw%w@xxsN5Z<bxA^
zq-Tg7kdl^`Mr;}(v8f;SgoLFJw_|yFnCK!gH%0suPqy&cmf_(dK+{3KLpqD`udZCR
ziUDikIM!TCp9e|{Cru>}KUOYV(d0%NKcqFoZMB;H;=4*_YT@d;DhqBZW2P~|l$LwR
zu`36^m}VjOiZt!J{ij@2VpBdnL1uz_<xITc4P;Oi&?1(`(j5sg50|1g6tb~r&z(Ds
z+%RI~NNJ7Zk$n4<>yL1!x9-zyg$VX^9M4H~?m4=)>g1T^snH46{SZVaJyq_dWU2CY
z(&WiV79J>_>d?B_^b(z3*8@V1j|#L)@4hK@{gDl;o;-O%N+{>^b{XY9kyArcWdoqo
zz=^*wMT%zyK}XtWF^N22T_lAc9=U0-OmCvGqtl2D>IyYAHEFJ;gB(m0E1x6Owt4?}
zB}<*2kCIi&j|5nuP=s(mUze6nL7d=8+LQhZv%+3IE7~)}yS~wUbrhEVM~65rMywoa
zX!x3#AYszEXz!TkU6~<+S}Y7TJ4MD9(LQt^F8kr~3yehQ%-a)89xgRN{*vg@uI6sQ
zi+3eO1$x69>S}2<yk<LKp<-w1DFCjt=}X@&X;%hm$yhVejjYLWO+}L(k+WjDG;P~o
z+JNy#H%8gSES5pSuuWP;CN(xTmMrt`-8(4OMhHuy{El$bL*;!dL1b>*XK87B2x+=5
z?<V6VsD6GgD>^i^+4Jn|mLcXrue&5a{wJc5rI&Z&y3!6KH+~D}k%*n~{COnx@(Fa%
zaYAl)G_Mz~dq$XcMg@Tif-yL9hV`B;*AOct#wroh3GRP%?wpC$K+Yq_cXH?mRN1<O
z^4;_srsU?fx3I9-VLm<N=!k2bj+vZHd+hAglBYlrY^P;@jNa-+DypiBm{cXgD_vEo
z;~sRMK;mrnfagpM(gP7758$h6hgz2LxG=@ysKK(9R0pCCiMIh@AZ8o>te94r1JDBg
z{Vg%-aBy&omMw3QKEPhSN)P(}h`n^F7+Uas<<EqBdhwlXKGgDAHW*&B&AK1hXU)2G
z@{$t7=}xEXb$4WBWNi8$-F?^?PC)pTFE0Di_$ixS8sueS5ZlCVQ(*HID^_5HR8doF
z6wX?nn|o<L$eZ&%mb8jIu!sg+h0F&SwfUzm!|rzYOvsq>>C>l)K<4%BN9hwaKFi+N
z5Q|8;2kiF<0hBX-2V>UFj9`5?q&KpNdKS+mZX8;lO4FuqQTA|WZ^zZfeqdBa&5BDe
zk-I_Xc*@k+wI>kP-dAoE^#qq(GJAzlNnH>Z8wlv(NOyEkyz-)epqWmzZYERL5|-!e
z#S&7VO(ru82px2!C&W(r<IPTDMc-+E*%%TH?(s7@!s05xx6UBCstb9cyf&p8=AT%c
zn9__y@@>x~ht;cB^VYi&b-uoT*kk3&m9yzsl6hDNaRZZsi@FT3mP7jY^XJc<?lksI
z2jMf|u&cmX43D#u*7cLzgBg(H;Z-MLJCeh7j2Iv;`ur`wR)I||WFdxo<>uw-W0I0-
zdJ7hG$FKAbHMEgEk6#cv)(U;vVin+CpQxxl`T6-HHk1`y$m(-xqN<05MFaoffgZ#m
zJ=17)BhpT7ZSBxu!z!@Z=#%{s)F&`luc)D#?~2r<#8hVlzndft5?40X!51%Hynm6X
zKN`2diVJx#^wL@{P3mIQqV<%+DyxO#7dN;on?*d`9eiZ+MMc@`u`-e*TtB_KZ@+%j
zs{<#hh1=A&b{rPbiidO@yFs(|dY*8y*e%mgQ9$el>)ebTyy_eI78!I<rD6d>?*wyT
zH*bagRHB<9sNv7NoaGn9nTqdlAi+SibLyYi3m1woq)2nc<EU8&WNG*eW&yo!vQl%d
zZiu~k=xn+w5yKi})BXqbu{gw@UtG1%-~SJ7i%?Bn-Gi8<IwTor=#2+YwBgsvmseU7
zs1R0@Datm0zy;aC7d&uH!hMCwZ7;5u7T9+=LYG~NoAWRi65wQE@-8{*Ghad>$q(<P
zS5Qz}6yROMu5~IUqb_>a@_c=xa;+=QMNK|`{>)<TU@imhOLL5HV}RE_9E}+H9D{*F
z===1vw?~~$<$>uA8FHFn{eryvs1yw4M{5b%$sGWeDT#QXzWzcw-SJa;fDhvEz)Aq*
zR5Ct6iz*5~YrC>f&VLp6Yt*)L=aA#WPn<k)!l6mKauc_zG7TDNZxU#`(!xl`ju^%P
zj&e>LYOqVA2mx{QZ!?N5owJ&o=%T&;^NZt@G9w7y(^efhdh`!WxtKs{K+(Vk&iUg3
zrr>Q5(>Z3CaE7NKkWP!V>dE|`y<uTpi?hOpl(m01!eT(9B?}jh1@n{eV_xjCsn^DF
zZ(*SWk$@Q<&47E-=Zvwrprizg^d6$vEqhMz%HntLcF}wzCj(jAo;8rL3qWz$c;TQR
zzLJtOg!euB_Ca3fEORW3-1pZj04Ad&6$KwZPGZ3*D$FjKnb>~&=Ij(XrhkvOik^zS
zLvC`=EYR5a=?UaXaDNxZ0tDAiEHov=PL))FLdV=jJNx<bZ&J<^EKd^}gG0}`vFx+0
zt+TNhNdb?hOb(?RN3~I-M)=pJOq{3!zPg>A?S~UWny|0e{#>CPHt)d#M@I`+S66Gb
z6(1sAczY}V3%a^zVG?d8&I=Y^ipP}QYVpf+dP5h;+RQN_tu=|BnNGx~`N9BY<`n5e
zwxQs=j~|al4u*D0rC=7vJ6MO3slkK^6U@U#O(C2EMrHU4$G&Cj)_3qpno*#)XACQ2
z=nPn!P8Jpo`;GK4K6QER$2K&69H(kxA#ju|MpK@|Q<d#HN0MuYK7INCy#dX~K|{3L
zY-7La(hWp-(94l_oMlYVr0VQ}RfK6V>`Q_FQ>RYtJ15Q);~6r3{bcm{?2E-S*b>@Q
zS0y+)#03T^A!&$OaLxBmbEwRF{9(9n$SyM3bfBJ08|cLNJycnJ<X;Yp7Y)_G;QLOS
z2udCviY_BIBx8YdTC-+8A^!HAJFh=~-cMCdP?SeSDz;y-Vjt`WRap_X!u0L>2G`qG
zDz1O%S-^-oav!_G#zN-~(?+pe^u2!lI?jg>605vfaB#3B)=fGZ&K__Py^Q+VT(<0~
ztsMpS)X~@1zaYZch2k$?VhlR?{3HSg+Q!TxiZroITK{F{#%s2NmSvA?J;2t6VFMN=
zl^b)wQ@HbVD#<V@p|hKZKm8a;^0q#2zs<@l^3*BK24^VbXKkznr?d*EhwDh-q9(o(
zjGv4dRZ}*$L9bb}X065FvoJ{0bE>IYcxsD{-`;N{jnZrdwB0RZcCZZE%$sM(^6bj{
zioX*_O7f#e{=7I=Sk72u5d3(Z@$6R4ByLiLk4cJ*yI>pOolf5#uixLt#DBHkQV#jK
z=xDp@mQEkGWGnY_J_(S1^X{DqwVLU~iT2PwEAuX@!YC{Z(&E!7S{dGDjTxDtM6XgY
zp@gX}vLSJA+yWcxJ)Zf&Gm8f%I5+?=ASQaJy4ub3gqzddC&OwWND7%fbsQ5f2eAvL
zIdM%7(q1|)Cce`#l1N8P03Jy2Y@S;LBzTGj_<oOLAd;lpY0Sy#TE#EayEhdkg6K|5
z(k;v^M2V9e>cdBl#8EF$eds^Vr+}Z0<&jRLTMr+$;8RMCi5Gn`m6$;K8+EnAf%P|^
zKbIzfg}e}N`*(@!9M?m+Svfg@JWgT06{LR)0Aw&Hf9t6AJQD*(5~Is^>fAa0%5)9e
zN#u9Xro<J7o(M~T@hvTAKp0@9`vl)EM!qNI>;q|OI544>BIhmQ|KuBpFub&~i3jmv
zJ|ToMcB&arqdA!ryKoN;4GHHwiuZUWfqhs_ojyGq_%16fZ2Xd?omjF85;HmLGzGDc
zjBFmvq-B+rfo0maU8rge_s7TUgEq8Bj5r1n_vZb3$wfnHX#@;uYH3|}o(sdRO%~<c
z#}b>49Xlo?L7C@+iFK6t_wb>WZLRyUm9!ctfRNw_2G@7bHPqgeFA#dXtxQa!CthC)
z2^O06(suu+knlQ|e&$lRN_k7{uv0y(V;Ah?AkgB|8{%}th!Fv{F<F*#`S+PZvjgj`
zfE{O@Uf*hBi3$8#_Q%SzM8mVJ*ayH~?_tBN1A9$1=G1AX+)In3QRG~Lb+nn8nU$GN
z4rOT${a3R#er9GvK=hsKUH;b#uyg15nTNE;{Ym{i`Yh1L?Bv5U%y2m?`#3mkjz-*(
zZ;HL0RwR2UNw}v_kja+NH@Dg3bFRA^lBOP5&L!jkW3e22^Lo!K9Em-JP^wf}z5xNA
z#4RwJNGvphK4Fku>(hry;iV{wnJ3X`;+*E6XA~<1EGighF4+}E5yM_H!JkC=0<rL~
zcrsbbxy_py?T2q`Qm%(fjv*h`XE_5OND*c_5#*p~#h|UVHO($u;OHgTj*bZUNuyIB
zk^_95S<KTYSh8M5t6p55suS^>#)q`aAvCFOvNFL&snOsJWvWg@KnFbsuinhq>N9dk
zk6%rE14V$~tInVd3?w9W80LEB%GSE;vFR<l&+?Nk9DMX>{G#+Wu#!$|*A`LI2-zUR
z0ihuP=eCLc{;PS}!)`TI133{(FIdA|R5OpL<XLPF?03i6Q7^8n-N%lT<|z(nTv@aD
zdtVRjNKb8N)V@yJdlkovi7cwTmY`OU?mhgv;_8-!ndnD=cuV2y&0!K0jDdWr8P#Po
z*ema(q~X|`-6Ga;czAbN>B+~2`qBn*fSnJyQ2zZp?mlUFQb<X4?b=Al#U;4RWlF@H
z4ZG&V@T84?QYAYJk*0eHPte;BAIumwp$j^rkC)M0p>&-*eHPK!H;QnWXbjE}wt*8S
zQ-=A*C|f4v$u&Hrs`9rnkN1O9$v7ED2JNHT)?IMhD`9wpB$}nEGim>_r*aWbCOb~R
zGK2wBBGT_q%dlF!crlFM(C9|z;R4Bez6TGMg=P8d-Rn2dqkG<erHM2{!}kAgX~J%i
zC^=#b2y_r2Ih~JCURk*aMvw|L7VAC7TN(;z7=7C3f<D$mhMesK<WdyS0d)YbUC2Pn
zVK1054u{3j{#pP+;f~m>4(06^M{5V|m{j_3Q($^BkICUQDV9zOVcYQ;4uV2DHhlel
zV$6NjF2?N+vS3ko?!~G9;^j+HmL^98rb8LPAxr{qQ5UaDo&_&f;Uu4pG(lz*Um4nj
z)DRr{37D3xqYqKC7LXO7je>y{q?ycJ@fjT~%p3MovMe+((~)+wMCT$IM9-+W?kqL+
z_CkDmpDH|4UBH|+<D+r}2cyD_1$Ib2gol<`jG!WoD|D`X3oCV}gGqRM`65!NZLM{u
z?N?_`oF+c!n;9A2>>#23@YLNEZ~lwR1JMh{#XMb-65Ju*f22obkgMIIPT`Z4d&E8G
z51Bv$NcTKptca>c0>pnMOGV$t9^Id&L016o7`G$LXv>x@sdNpbQ5LbX5f5l<M2@k9
zB2c+#2D!PxGKuKzT~(^3-5>+9eG$<^&P|B<1P0}i<i|#3hKwF8IsFJ!+oOm{ZD|u9
z1B*^f9Vy*CY+U_y%Zv-%62A@!-tg9N=+N^hH<BKyU#FT)rA-WQa-Wn{#n44dvug>e
zJ|=MMW1@0S1T1)Qc@6xlCGKS@@~r@|`({Q>$s00cle6LFS*jkeiX+^sEICAHcB^&O
z!=iUAB%~VK(W55?tDl`eE_J-mas72l#t!V+3rw9lK~SE4ZZ=g}SIH!jc}M;8?NPG^
z7ayx%rW%rwT~vP|AC+G{g0BFnzGii$T*A9JfBEvC*~O=9&4XZTpndoJi=QVkJc!zO
zJ_NdO4AhAELpxO3z0@==bVBP|46iNg%z#1_#WmZo6$5e>2a?!nSvP{RKY#wbkxpfp
z#w?vXP)o7r&nM^R8XoQ4+U+5sr#;i&1Uyi7^TTO$%Pb7)dAs8z4qhd(bXopYL(WVe
zY0N&?%-%lIv4vaogy{|kg!-jJ03KB|Ff!tC5dYo&le~t6y83$AWZk~)iNh5Pwm6_H
z=xN=q`%T|=9sfPa?W>lEH2(p3;xGWd&ua^>PR3k35$b#FShG|0Zxv59qbIX5yoTOY
zZ?w;rd<mIW7tnjghYKrOcaPcY<FknGJefghA?Ek6t(TDLi8I6umGb%}O0C>>?b(yo
zG^J}YyCjqPRHi2qyikaNp3<WR9~?&ldD?G=mrW05azZ)kZ>gzDSmtS~NoSZ$8ibMp
zv5sNp6zv}e%e2Qe*JQY~4>NySP?zo})<BhGWWQEXlnJxQC`=37wDPd%CQ5y?JpL&y
z$LOZ!b34wtnj2sxD>V7A?lu6$nqS{n$((ka?ccJCRom;;A24755iKs#N@Lt&n2HTO
zPSu7?i?$xbXsID=_-(s)-|MsUhNowJ1;pYV)~%XQ&v~nJ`H`6x<$3kJ<F&{47-qVM
zN|bb)JLgd9anc9>C{rsb*Tm4xTZRpO{KoCu#*y@j`|*|fcayJlkeqLRx(CRLs?~{Z
z+x(3mqwAV^L}n?A?sSj`Kl5DGi+@}yzUlLw-7&$^yfA8&-$(7NIwG@lH=x-6srq<p
zVB~^v`H&Vn%ulDhcyWxj6({ClasZ_tMpECKK}8v_rW?1jq|hD~vL9hqt{MQa+UnFq
zj8ZGWzujZlup_L;4c(d|SLx?N>z)vm13=zxa#98v;z(~nl@Ez$h_D3u-Spfgbc+w@
zGJE5=@%cfB(ixeVO7C&#b7rN>Y_RhTW0kQ71C7Ro25nq8krF)^ZWqmQfa+EVwq6n0
zTgt_vhn5_-`sJ{*vtnwq7Zw%f$H}-~(zFwG%$B-;)(h|^f<keeB*R|5eEDw#l%R$$
zC?w^MhPwy4hHc)tuhVgYJ{gq9Z9!pZyD=qDy?e30qF2Q^!fW`$rM+k*<1a2I5yO9$
zM`-k0Yj_!#L_Fh3g=8U9%(<|<H4})cv(l3c4Ha8Z7li5}+EyS2W<zC4=m+EIApJ7N
zAUPwW@5|0dE$r%zqEJU_)ibWVb=YdRu?U7R^qtqQUq7ddrI!sga;iV;4^XoQF!Z&#
ze302zd&9%SXEkvmU)@E?hJ-yzO-TGUW}Dbv0bsXdbtkt+tYg6JacK4Tu2-5hdQKr>
zNjN*#cUqxQ<f}$xhZMpH)$9C)3sZ<o4n>_coOQ?y7TL=$Kw?YfQ9xC8-M#wEocMQr
zMqZNn1UI&Xz+JRtJ{b#Lm+h9p$74}u6aUZF^qm^JU_AFfc+8B-e0+5!&L6~G<geVm
zXUq#7B7-(T=9yBr$Ur^HVxnU_lPtliJ~qeIyPqu7QujUGph1H*1<6Xhijh#7Zn+nU
zw6W{I*fN^JY5n?QYJsem7BNr#0|ElxrgZfP3~bH!zLlM=H!bUFi7Tap%|`c%UNG7`
zpwQu&li0e@gOXioU2~#j5K|HLq-IUy-=e6SEj5n_0cftMynV-Jy`+^-x_qbzvR;Pf
z<{K<5FDsK_4#6A$vf2wLRZcHnyNkW%yYk?r3>G>$tMh$|?nL)$JpxKMs54+3CjM?I
zN}j2A9J&~lo0v|X>|Qc^RJr)&BM6Xp`;Tpx3Ml1nk9NQXCYJfbJAl2He~R-|&oyEg
zUdKD_UJuZYY3?_*Wo^YS7UXZrAQ^-|_|8MhRK7xaL*JuDo~g#9K1de(MT>gAHf=YL
zS-B#gFt)Z=ga{*S*R0kHXYW+s)icOrXKHt<^<ELIsul)-ZUzPh6U<wGJyG=0xgu^|
z_l2lL`B#HUb6=sf#Q7~JrKCLE*z1Kw{>z<JK^k>!sE-6Vu(cs>)9Bkt0f9DqQu}cz
znj;V1L}xtxMD6J^b@?%z7FTwC0o6#Z&2imR65nXGkrcjfUsDR@?%lc>-3n889Ezd9
z==tNeyHvJqycSBZp+_$T%$$fxggS!;l&{pdPgmEiok#x}_@hPZ*5jR>E1Is@%S{P<
zU}rboASOoY{T_$BrAmY0kaA0k9I3W#+X|bIisaX%d;qu?^NH={f5yKqE4eqQgDQm}
zz0`)yIt^7vPGbDq2Ix&(9R^D?gMEiN=Fv^WZqOJu>}TSyh*A9~Z7J$6_qcQz)C8J>
z5x1Fi!%6+A+HtS}_{OW#IEdp@=UgoTG;|qUTk@{Sbh8%dL@@UmRCU>1EX>W{QO^j(
zK72Tp-<oJ<W_<FYOq+$q_N0FPa`kKT9wy$&Sy=;Ch0I?V7ay-|^~9_{-jk+d9Y4GU
z(dN!PntBz&0M~`Eo@lX)03GZDoNNaY0!MhNcMq&@q*0r5$<YpezKSki+IH-+yF6WL
zP?#Qc0CEhI&pp6m!&9Dj;oj^C1rU3^tWK%G?J9+D{`DQer3*t=Q&Yo~OJR1TfsRB<
zVPGHN;<;p#!mf>iy?(%4+rL4fE9Mi?nki2o(agk^8(9>bv2k&Fzn_X3PsKv~B{Jv%
zhSG+n=+ZTy0#-S4dSpv6nQ+^Z!uwyMTA%s9yVSa}FfK!Z!`5>JH_Je0ia<ynT_|%w
z#MEluYc?9)_jBSj6*I)JuDznD!tud6W|hJb8B^>?<fS9FBSg?C!k9o0-xNxzH;w<5
zwOSxxL2f;oSCJVspsN(ev??AK;{5U&WfvD05#Vq}G5t}X&2M8>D;D6K?X@GoT2=l8
zt2`3R%J1>W2Ft9hEe#st-Vo;?o(kJx4W*vSwF%zP8k+PJ5#TBfW;HZ^2)`ks7iw2~
zpyIgxQ0HE!v1?V(DdNP?4hon@(S<Uu8u+&7z=6}iBO%41<B+4NvuLCaA{Gllst_{+
zgH6%_{DKuJtnNV@vpKUl$2-hN`nNzKz`NP>&fUAn(XC*UWIQa0@HH74^{e-U2Lp9H
zQxoNwbb|Gx7i<uUf($5i&4WRPwJxTUQd;!!>F6WnpxAI}mSZ)QZ+iq{j)_9F4p_1`
zcx614l%>g-Grxoq-JJsP?$B!q2(XH(tKE7l=@$R}v65iiaLJM-gc%D8@jc$&ymBLo
zvxPz0o~h_=P0H&rMAn`pD&iWPoNFEsXCf&F8Kjs|tc0RnEWLEQFcskehgDSigL+$>
z2tr67L1glRPoE~++jm1h5h+O&?q7+hWv43@T0MJW82OPgiWA*Z;o`xjpBle-%Jr%@
zO;IrJqKn{2IgOV1d)MrfUDH!`Wm`LUkX|E!G*?#fJQl%U%Aj-tvlN~@fV<R3l>ai7
z*5>Ml79L>Rczkb6^RGPsDwK%<wCL}LI>nB~1tlEuNgb6{M*Pro!d>aDWN-pG%^&4&
zD)Ev;i*!ke(GQQ)UAO>^3Izf4swW;PREg<lr#FU&W5b26-bCdsReo(vHIpwStH5R(
zO`hCLt^sQMnH^Pv`H!~ua4rFprcKNh=hu~5GZH*$<;Vf-TdDCPB6^m+QS=(=k^2Rj
z9REi<f+(2tHms2NKlsXn<W!H4SXX!R)-ADc91l2w870f6f9cDlA>vJ7<dP5_tQ;1f
zam?jGy5;vf8<`z$)~wlWXi(6=TMBIG9GRXYmJ^~(?mF{G|1sJ<dn&Oc+sOs6j|Zss
zh4Sn?{5MAeA3w8?V~(*(ir@Oy8n)YDR;Xu>jc{veVUe|D^${fD5r`FHtP?gy#_ft5
z=f;-J#CNX)2O5QQ^$lY(_LA#&5`bLL2>=<$7Eknt9CfIyRxF$U-EG><)ON|Ajt6wd
z^-Eio`14p!xeAB~sevo<Zhs3E-wCoSTJz0)SRm1V$tJ<8kN#_46Hf`$#GBGmnGGL_
zMi1s&KvY}y>j~;3iHjEJiLgqIn>9NH!N46g%-MLj(lF>T2gR*<*k>h_k3zDAUPIk|
zof+PX?osgJ!(QYFo@5VjO~3G_8sldA;`(VQ1Lc@MG7zEnqT{R3)kn=w%UE{NM;Y88
zoy9Wd2K{djdKyKDY2JFwC2XHP%-aSb8p_0W2#vCD-zF#ZJsSA0sm8SF7K=v7kGqU1
zQOf9m#;b-&N`@G7kSe4V9|xhxbdqB?jD-R2zC&xuk#TI+5=3E2R?|zF1R@AD{Kj`t
z<Bhm7LWT&(Uc9)N8x)rP5=CTjW(O|n+e_}lZyQdD3Lf+3U@xgQ#4ce;pZn@p*Qc<n
z!y0=;)&(h+&OXp(q_6@wRfNArHW~`oLl#M#T-et$b*30Cx*>IOj(g2G+e(^{*x4l)
z+xDI=Y-xZM9xD;0@EDOem4S2Sd08+Wj6#r!5#-F-&}=|z$fQ5#?j9O-b*16u$932R
zQYMnWX^Os!{z*U<Lk(L3xogaCzoEwMj@UlcgY8$XnnIi+vLvt;4193S1C*Q68I9#n
z=B7));BlxsI(~8ewQ=LdH!y$vv~}<41=MQ7;KM&TRO_u7Ft@q+Mun;jypZS4*O-PR
zEeV!UXN4D98@H2GuUA6%_#zS>Gg=0q!4w3SN)Sg$gKGkR$VDDfhfz^X%$xAr4Y)lr
zQfKDOnFJ_bLRQNzU1~Ev^w{+sanr(2QT3BJHGyT63KsibApnedMTcnnzb7HcllQcp
zz?d+u-KC9iyjUTEOUdqwVIwtr_LNnTK*)D_G^N+PQxjV-rRV_>Qs^tVmm&sk-Mn{i
zw?wu%r54{6*WaUcCwnKMk7G}ex!GVvV*W;{&&Wlh9U7lvqu*Xp!NnDb__ye(C4rU%
zmx2+Oy)I*C3tPsiI-MudcNH_{neih#oB83BZEQNh9H+-!nf6rq;>C+wR;z{c03agg
ztgE@Ih0X{ldW~K|kPGGxEFr^Kf9D;$ap&{4o=TifdGhd_M=#cX@yB{3!%pC&pXKF=
z%t}2Nv^tDEF_j_=8IYsYgpxoCxGdGcUH13}DS<EyWT|>E*QTY7?KZ2u7-mI!!rCCW
zDbSya3AGiDY)OIYSv@h4DWefV*=}Rl!b1p;;=j%f#LP$WD`v1YPEG|pitdJnhO3fx
z?rgB)$+_3?>f#hYV3Dc}Cq`vPh0Csk!*a{~zbgIdx2V82lR{ob`mb?uIf=zWgmA<V
zD;7zPvHF1DZ>ux?j5Hm~#0U6+Q%%<&bWXVkyyM`$;~B{S1L{%NU$AJte3E#CFi5vO
z`}e;?`$IXtQ&2f7@%inqcNJy|_gIqUQFhcc@+++8ZL#I>ydXXXl1Ws`%}Dn1jnFw|
zkHJBbq7E;)c-p*GbO2KrJt5Sc*~+fJC<Ua2_H+KVbe<d&>eY~ZpX>XZ-}visQGuVI
zUud3kFBiqAK9CclKYjW{mfJKNv`O_=1ZyEAq>8Tw@j>^zm}x|J#!Mrb`Acvq0OB-%
z5YYwx03(L!rFs8Sxa44_E4;?iLPyE#qN1I)F+*mD96EFe*7#KPuU~~Vp3aSjUIUU7
zW4%dNOgvjyRrXpSIn%a?;@<N@)r}nvb8O<0IZM?XQ@IZg>SN1dp}Xjx?gi7r35ugM
zcg-s;EtNX}Xj{1Z@S!gb2cZd_oX(H=m=GV|WANZM6SuaXU9X^y31-qzjI_{|c_#N+
z$HThw>v66Hv}ou}AsEdu;=GfCG0`r~Iop~bZgHiQ9f*a@4^C-jR0Nq%tQjvyNwwwX
z#x;*Kc*K*0-Tv2yuRlA49uvZtqC}Y)>EAkTZCnM^lp#>SdD%HwOl}e4xdOuzw$<3{
zsTOdy?*c3j_@>C~$H|e)My`tdU+aBboD^=nMsaXQxn^SrISrIw#G@eOOS!uvXX%n9
zL2YV6J2k4(`k}}Nki);plzW)}J5YmSB<kv3woTqoWryUzHUKHPdx^v&mC%wWKjtCH
zn&|+x9zbIMHgH&wMmXxKV)~{cAQ1?WzjW!DF(2YDU9y<Fs&I;$2Vhp15RmeD(g7bY
zMGo8AwSm>@JJsFx%PP(WVv1D9YApg7lw3q7+%8S)rOyW;Tgg2Zs1qgMt7Vho+XMO+
z@r`k1|ILh(;s=8cPZbX{p0BD`J?$eNcO0bZZ5y)$o5axJ!=(TM<p1B0SbYu_X7$|U
z%uH2kRmN74VP;=h^`D)dl%eiH*p1^$x&9I_I}I83%a)~)2S{rVTuuk4_1d)Q*OLB9
z4B1oR4F@)qnE9F*c^g6qeno%~-&MvH2?=QI04rqd;1B+I#65h1i*YFge!mQEg;|l0
zPJ00?jy%`4t)@(#JR3fY3LXNC7K}9PPDAl_tjGx%);8Sy^rWU9kzrq*)$HMF0gN&p
zL?H%aNQd^w<vnH*dUD6gHyp>IV~UDYR&p%~HG1~N8H5=KJ1YM>oKi8CF-^oCZf@Bx
z9x2=VHtd6!kI$VaPuc(jUBCWVH2uT!Zh(lbJ?a&}gUHQas1R>4`3Uxdo)mEXJK*I?
zd79e`p_7USXZ~0kk|y#iZ!or7nB1Mw(f#mq3F8ya9xa)v5ExBGvDBag1a}IR!eK^P
z{Q1$eR4L*7`H4xbj{P(o&>$Hi7{z@z;Q;r%cgG?7DVIeXNw9Y7*vj~-TVaTW*UFi=
zH$?g%HzK=leLn97VFihIP4R=ypI_au;MB^!GBO{EC0dqchl!B0NZ>gLyG!kq1?&lq
zv<9PklF%q?vuHuwIncvQ2RW2UM)eRBPw>ErMY<>>q=zLaRO+{uO3bY<DI11T2G@W}
z67F?0SZai?2WKzgL671aN3*;)m4K0%?pzj_#t%&m4JEW63cIl21@C6SqH^>h^G!pO
z>bui#H>$eu4{@f-qzrZsbAZi1R<<(s8WPOO@jgY;7n=y<R$M3DB)2z3ouis$Y_PD~
z)NHgTq$i|F-$N#f7X*o1m4zkL7ys>&v(2ef0<22vg=4C{Fezjn23~X{D|mQNqD(1#
zhT{xASO^&v--UqETV8VW3<Ee!$RZr7`pN7P%pj7A_^aYiz|~L;?R6T|0en#s%NJg3
z{D!x0-Kr;_bjYEry@wAUj@t6bM=9ar#RqE_zLmd!dCglVXXoFSAc2D<EfNu<wF>kV
z3RQE{abu?6ANPO^7x1F8`G9d<PChD;*>plOP%tdJ<|LFA<dK-XD8?+w*t81?x6H_v
zu4X!rxp2@XQ8|9cj*&&0!Ph=;Qf2+Y{--`FWlRa$>hJF_cikdkOb#2>89_^~8l?yu
z7V_X(QDcp9`*Dt{^w@-`E#_J1R}lh8C<qVuZ%lOVAb=3*ny?U56rMOhxc5|%40$CD
zFOZk4_BMnA8AZ4FeU;>ayLaE+S6rt1O>PANipyY4WX*-pp>A&)wxPw)Oc1ydfPm>U
z%5XyvJ1wOQmcT|bCBF+*N(dMT8NvG*A<8I#ED`*dkW5ozNp8IMfv%&s6fMll%`FE<
zCMXVfJhTliv=gMjZv}z_i~ao|9)vO>W?@l0Q(LpEeaDKNLdm5s&d<MW8jH0~PJ(rG
z8%IaS04r{EsmDLay>8@@zkeIo=i}<KjS-j8<Rb<pfd^JNIv%i%(H=HzSn1+}$DZ$4
zhZ-c)wL}Bwz)RTx3n6_&zca0KYhq;~SGJDA?bZ1|M+aX+k~plZ^p${XPCi^JoC2rO
z6(K|FPhg#tKRgpN9YD`b<UPBR!;z0p^orQPN!ow4KI2!j;Ao_&h2${#=wKh34R)|Y
z(viGXd>hM?9wUp{rr!zBo;aCdyDVuhVQi3OUK$c%8zZ7sZRo|2fJ!ctE`oMkJ7nFh
zqO7c&p<(st1Ho51bvor;mu^biz#WQmaljR(`pQkW<4jESkP*>qd<4c6TFZOR=U-{B
zXbOau_k?nKTU<PWGXS}@m0SBZKHmb+kD&f!z@aCyu>2U)suFzZ>?@{!+MPn3SyqQ%
zPm6~<!KPj<b~m}XjKD6_^ccf;1TzqByA_|ZVKkpUI+M}2Yd6nSXWr^G<cM^Xfm~#Q
zF5hYo!H?>3V$$o^)bx1Ho6@|;Q@Y3Yc7qINBXg9uLyudMB9}bBfyfCTQ3OrNUDWL&
zTCq8<*&aYvkZlOrCn2h7(|s$4e?bcz$W=~a07v}D0-{J&6kl4!xi+zc^j!hmYho$=
zySRc#l@U41XCO`lSeebcv1MLAyX!U~BR9>=eg6FHfl)sv-no7I4Ae}6UOpx#5!z3E
z+jtF&5@GKQ=7xv>EBJ+}$xTON07Q`aKnBTm{!6XP2urxMSv>6f`T4dKw3B=G?71jC
zcBlHADKwXPby`g^-^7x#d?w*rdhe!rEYH81n7z~h@8G&pE7Vyl`CSf=bQYf_nJ&wN
zbcjYq?APE75TSQO0DT=t;t~?v=PL{b4xDPYxpKy#FgrS2aa#HIwmRj-&!+RxW{?9i
zD&98HxP6pP9(BWGm=xLFv*h(zoLLx^+_la{&r6!A6Y-dU9AJKW8eRuWS^+Il1U4+T
zQ&T&Ta8X%V*{+>}?y1LEhT^|n6&1ed&6^W^^AFE2L|uVSIn>!gMdNl|>M&D8bPSq+
z8JSf}`D4Cd!5jTw0zy0pxN+!7eE7Wxq*_|<f;Thb>+p9+@FHW6!-g;NhVp>J)hh_D
z$pWLX^L0nplqrKG1aM6!bxhjd(^LJ;9Ot&@)e}9aq<EvPtE-f&*vr|q|HvF`NN4!=
z(BY~X{OnO}^zZheN_~MJe>0j|d3tC*H3{s=DJCRAaPNVag;MGFnr{#%iO*RHeNQTl
z8`pj{&ipy5U}&wW`{MCo`}TMD`g?rJ;dK{>Pd8zqXP@a47rDdG;-pUW-^uUiH`2~)
z-g;$h>6qi|8eX~i!gE!cY3FzErrb_H<gj<@!$aFvP0Pz^-Y+t%`RFNc!*0)hq;+G9
z-GB|L{>48szq(hd=U4yptIJ`hUszR#e|HCau@R0qeImTCPyYe`abG`cgumt-Xl6eL
zcFr<`Kffq$X3ouZUAOK}EM|^Z%S{^6YcfBj;SlGBhn1QurSx4-jSn@iWvU0klk_>K
zW4m_kHeJWx-K=@@#bf*)XsY#0JmfGm?R4aVb2-ajwzS>6d2@A2{<YkyXA9kyY#4eV
zX0|VvJs2FF7Fvvi{3t&^6gy|W-VfMN2QoCekJXi=BpFi{`*(f&#VSUJi=OA@aeGwx
zH|`#T2`NFw2YXsa&+Oo1VlrXEjc3Y34FW<NG_8nEbcz2KpS3#o&eoA>iJH6pYrYhw
z_1*AhkHb=~%o*UrP|~%ZZL*gy`gHEb#fuKPaSs3dEZo`FFR+jHv9~NN)3iS@qkFXU
ziz8gQU>>^qEqju<U#T<$X4$&+B$U;e)gDk>9=*E0>L7jmN;DaaL`+%d=KvthJ->WL
zm;BfsC0{H$_&B(_-U{oQ>2sr|O+Panx1n$EU5uF<bhUD3_QN&z4uV-_An39S*16X=
zZ`!qMS2mo!3?t?)g>?9nE}y!pCMUG?u$)F{OT~H>SAFt;-{;T0v$dKgHp*E#{lLgg
zet-QH8w4bZhkBU1t3SRWwBqH6uYTXxo$jEVF?fsq*eN3!l%DJU)3xG-OIl8p-Kv_N
zIlt_#S#QpN5Mt^F?ioGr?E>A%)pMCib{A!0MvYR2)pv#QyvlFW2M!)<{p&|@T4-n|
zdTsWv@-gXwcIW({YjWSBESEDUzZOTOT>s;;Uty5xA<f{R!bYae&2_)~Yu+%cnC`dR
zKcQ#!%T|B>y|Mg`&6R$&EaRh<gPFPgM*IoWHndeN-X7&~e1GWHE!ktQcl19tF|JSA
zdjA^3v_sQp)vK$y7~8{iOITsK=4kV5{X04dTvS|3?y6>-kipSR{v(65H~*tpo~&Vi
z=IHU`g%2lazi=O#cA#SXx0m0h``y%R>z~p7$InbV#VXTL6ECzayA=G~HaWKX-0Xol
z4;2~pnk$Wc`6+MKJfGp)u4`s$j=ok}X{T9j;g^^7Y(-Lel~o6y!ptEzK3OR1j;-JA
zapvn3|1PziC&qPOANs2N+2ztli(L&2ogId~YT*&HP2o9=&sO*%(R8=Brro)B10S4N
zlXp5NH$EqBjpFexer&jDaPX~VN&cO)L%vTku#R@vu;I$9)*dkj`597l=-BHaNneV7
zmEC=sRNC3ye%j%-ium39%<cX0P0i;77QTvnQq%d1-H_{BwjMbh;9&N(p8a=q4@>Qk
zkhGDX<A3;1AF{pn*Q%JhfjK_Mw+?;jvV29<y9P$9F1IjvY#JZjckaxPrbD-#_CGf%
zu3y?#e^;&QNq$>3tEa8L)~I001V8s9%V!+aY;RU^sbkht?cmY5#|{mMk-x8EbmnN~
z$0(+zIrll7uX)3~;^_3^+RX!I)URE+y*$s)rrnQ!>>Nk<6}tO<nfz^xk4eS1N7F(K
z74e>dM&YYJ$F@v;`oOH4;=<cbyii~t|Fs{r=BXC0c(`=>SM{xm3k%h{J$_jIb%u)V
zwP7wUhlj*G|Mm3YKo=K9!KBzm>L1RW>;aZrTzr0gOqKE(9VL~u*rl)5RAjh+e-M%u
zpY<SPiE>$Tr+T}td@M1&k`xuST{}^)YTKX=ISaqomN&9=VI#j>yLLwLo9KCSH*byE
zH+J=EyM*_(cVqb1{k-HzC6!n8J9kcdcrvZPK5kXs%UR756BpdOxN1hKkN1mLRVOEe
zd~H;w`dVGrecHT4zh-LMPyd>+qH^6j^Xm)l{j<MO_{I9&6h`wq)oZBe<*lgy|NrOz
d#WTpLQ!=(4lO4P$PD#Np)A8ox{xY`T{y#Zs#6AE3

literal 0
HcmV?d00001

diff --git a/BDD pavlos/BDDs/bdd_seq_logic.py b/BDD pavlos/BDDs/bdd_seq_logic.py
new file mode 100644
index 0000000..8fc101b
--- /dev/null
+++ b/BDD pavlos/BDDs/bdd_seq_logic.py	
@@ -0,0 +1,68 @@
+import test_simplify
+
+# string is function
+# seq is a list of variables sequence
+# creates the functions of each BDD node and gives the final binaries of each unsimplified BDD node
+
+
+def build(seq, string):
+
+    # write sequence to .txt file
+    text = ""
+    for i in range(len(seq)):
+        var = str(seq[i]) + "\n"
+        text += var
+    f = open('sequence.txt', 'w')
+
+    f.write(text)
+    f.close()
+
+    function_collection = list()
+
+    func_list = list()
+
+    # first element that cannot be edited in loop
+    function_collection.append(string)
+
+    branch = 1
+
+    for i in range(1, len(seq) + 1):
+
+        branch *= 2
+
+        for j in range(branch):
+
+            if branch == 2:
+                if j == 0:
+                    func_list.append(test_simplify.build_0(function_collection[0], seq[i-1]))
+                elif j == 1:
+                    func_list.append(test_simplify.build_1(function_collection[0], seq[i-1]))
+            else:
+                index = int(j/2)
+                if j % 2 == 0:
+                    func_list.append(test_simplify.build_0(function_collection[i-1][index], seq[i-1]))
+                elif j % 2 != 0:
+                    func_list.append(test_simplify.build_1(function_collection[i-1][index], seq[i-1]))
+
+        function_collection.append(func_list)
+        func_list = []
+
+    return function_collection
+
+
+# returns only the final results (0s and 1s) of each branch
+# NOT SIMPLIFIED
+def get_func_results(func_col):
+
+    final_result = func_col[len(func_col) - 1]
+
+    text = ""
+    f = open('binary_results.txt', 'w')
+
+    for i in range(len(final_result)):
+        text += str(final_result[i]) + "\n"
+
+    f.write(text)
+    f.close()
+
+    return final_result
diff --git a/BDD pavlos/BDDs/bdd_simplification.py b/BDD pavlos/BDDs/bdd_simplification.py
new file mode 100644
index 0000000..595fe16
--- /dev/null
+++ b/BDD pavlos/BDDs/bdd_simplification.py	
@@ -0,0 +1,6 @@
+import bdd_seq_logic
+
+
+def simplify_bdd(seq, string):
+
+    bdd_seq_logic.build(seq, string)
diff --git a/BDD pavlos/BDDs/binary_results.txt b/BDD pavlos/BDDs/binary_results.txt
new file mode 100644
index 0000000..6657c6c
--- /dev/null
+++ b/BDD pavlos/BDDs/binary_results.txt	
@@ -0,0 +1,16 @@
+0
+1
+1
+1
+0
+1
+1
+1
+0
+1
+1
+1
+1
+1
+1
+1
diff --git a/BDD pavlos/BDDs/data.txt b/BDD pavlos/BDDs/data.txt
new file mode 100644
index 0000000..26c8ec3
--- /dev/null
+++ b/BDD pavlos/BDDs/data.txt	
@@ -0,0 +1,4 @@
+new_seq['a', 'b1', 'b2', 'c1', 'c2', 'c3', 'c4', 'd1', 'd2', 'd3', 'd4', 'd5', 'd6', 'd7', 'd8']
+pos{'a': (100, 100), 'b1': (50.0, 66.66666666666666), 'b2': (150.0, 66.66666666666666), 'c1': (15.0, 33.33333333333332), 'c2': (75.0, 33.33333333333332), 'c3': (65.0, 33.33333333333332), 'c4': (225.0, 33.33333333333332), 'd1': (-12.5, -1.4210854715202004e-14), 'd2': (22.5, -1.4210854715202004e-14), 'd3': (17.5, -1.4210854715202004e-14), 'd4': (112.5, -1.4210854715202004e-14), 'd5': (12.5, -1.4210854715202004e-14), 'd6': (97.5, -1.4210854715202004e-14), 'd7': (92.5, -1.4210854715202004e-14), 'd8': (337.5, -1.4210854715202004e-14), '0': (95, -100.00000000000001), '1': (105, -100.00000000000001)}
+edges_list[('a', 'b1'), ('a', 'b2'), ('b1', 'c1'), ('b1', 'c2'), ('b2', 'c3'), ('b2', 'c4'), ('c1', 'd1'), ('c1', 'd2'), ('c2', 'd3'), ('c2', 'd4'), ('c3', 'd5'), ('c3', 'd6'), ('c4', 'd7'), ('c4', 'd8'), ('d1', '1'), ('d1', '0'), ('d2', '1'), ('d2', '1'), ('d3', '1'), ('d3', '0'), ('d4', '1'), ('d4', '1'), ('d5', '1'), ('d5', '0'), ('d6', '1'), ('d6', '1'), ('d7', '1'), ('d7', '1'), ('d8', '1'), ('d8', '1')]
+labels{('a', 'b1'): '0', ('a', 'b2'): '1', ('b1', 'c1'): '0', ('b1', 'c2'): '1', ('b2', 'c3'): '0', ('b2', 'c4'): '1', ('c1', 'd1'): '0', ('c1', 'd2'): '1', ('c2', 'd3'): '0', ('c2', 'd4'): '1', ('c3', 'd5'): '0', ('c3', 'd6'): '1', ('c4', 'd7'): '0', ('c4', 'd8'): '1', ('d1', '1'): '0', ('d1', '0'): '1', ('d2', '1'): '1', ('d3', '1'): '0', ('d3', '0'): '1', ('d4', '1'): '1', ('d5', '1'): '0', ('d5', '0'): '1', ('d6', '1'): '1', ('d7', '1'): '1', ('d8', '1'): '1'}
diff --git a/BDD pavlos/BDDs/graph.py b/BDD pavlos/BDDs/graph.py
new file mode 100644
index 0000000..57e44d6
--- /dev/null
+++ b/BDD pavlos/BDDs/graph.py	
@@ -0,0 +1,229 @@
+import matplotlib.pyplot as plt
+import networkx as nx
+import bdd_seq_logic as bdd
+
+
+# NEED TO TWEAK THE POSITIONING X ALGORITHM SO THAT THE NODES DO NOT FALL ONTO EACHOTHER
+
+# generates a list of final binaries
+def create_final_bin_list(seq, string):
+
+    graph_list = list()
+
+    graph_list.append(([seq[0]]))
+    for i in range(1, len(seq)):
+        graph_list.append([seq[i], seq[i]])
+
+    graph_list.append(bdd.get_func_results(bdd.build(seq, string)))
+
+    results = graph_list[len(graph_list) - 1]
+
+    # if you were to create a full tuple list for edges if the BDD was simplified
+    # final_graph_list = list()
+    # create list without final binaries
+    # branch = 1
+    # for i in range(len(seq) - 1):
+    #
+    #    branch *= 2
+    #
+    #    for j in range(branch):
+    #        final_graph_list.append(tuple([seq[i], seq[i + 1]]))
+
+    # add final binaries to final_graph_list
+    # for i in range(len(results)):
+    #     final_graph_list.append(tuple([seq[len(seq) - 1], results[i]]))
+    # NEED TO ADD NUMBERS TO EACH VARIABLE WITH str(variable) + str(number)
+    # SO THAT THE GRAPH RECOGNISES IT
+    # final_graph_list is the final list with tuples to represent the edges of the graph
+
+    return results
+
+
+# not simplified
+# used for graph
+def create_new_seq(seq):
+
+    # create new seq list that gives indexes to variables( [a, b, c] would be [a, b1, b2, c1, c2, c3, c4])
+    new_seq = list()
+    new_seq.append(seq[0])
+
+    branch = 1
+    for i in range(1, len(seq)):
+        branch *= 2
+        for j in range(branch):
+            new_seq.append(seq[i] + str(j + 1))
+
+    # new_seq is used as nodes list for nx graph
+    return new_seq
+
+
+# create edges tuples
+# need to modify generate_graph to work with new_seq
+def create_edges(seq, new_seq, string):
+    # make it check indexes and variable names to avoid confusion
+    # matches all variables with indexes from new_seq to final binaries in initial seq
+    # branches is the number that represents how many variables with the same name(but different index) exist
+    # that helps with matching the binaries
+    branches = 1
+    for i in range(len(new_seq)-1, 1, -1):
+
+        if str(new_seq[i][0]) != str(new_seq[i-1][0]):
+            break
+        else:
+            branches += 1
+
+    # 'c1', 'c2', 'c3', 'c4' --> '0', '1', '0', '1', '0', '1', '1', '1'
+    # need to create a new_results list of tuples to create the new edges
+    results = create_final_bin_list(seq, string)
+
+    # this loop creates the list of tuples that will be used as edges
+    edge_list = list()
+
+    for i in range(len(new_seq) - branches):
+        for j in range(2*i + 1, 2*i + 3):
+            edge_list.append(tuple([new_seq[i], new_seq[j]]))
+
+    # need to add binaries to final (branches(number of tuples)) variables
+    for i in range(len(new_seq) - branches, len(new_seq)):
+        for j in range(2*(i-branches) + 1, 2*(i-branches) + 3):
+            edge_list.append(tuple([new_seq[i], results[j]]))
+
+    return edge_list
+
+
+# print("\n")
+# print(create_edges(["a", "b", "c", "d"], create_new_seq(["a", "b", "c", "d"]), "ab + c + d"))
+
+
+def create_positioning(seq):
+
+    new_seq = create_new_seq(seq)
+    pos = {}
+
+    list_x = list()
+    list_y = list()
+
+    # for list y
+    y = 100
+    dec_y = 100/3
+    list_y.append(y)
+    for i in range(len(seq) - 1):
+        y -= dec_y
+        list_y.append(y)
+
+    # for list x
+    list_x.append(100)
+    branch = 1
+    temp = list()
+    list_x.append([list_x[0] - (list_x[0]/2), list_x[0] + (list_x[0]/2)])
+
+    # PROBLEM: 2ND CHOICE ALWAYS GETS INCREASED maybe k needs to be dependant on other variables instead
+    k = 10
+    for i in range(1, len(seq)):
+        branch *= 2
+        for j in range(branch):
+            temp.append(list_x[i][j] - (list_x[i][j]/2 + k))
+            temp.append(list_x[i][j] + (list_x[i][j]/2 - k))
+
+        k *= 2
+
+        list_x.append(temp)
+        temp = []
+
+    # pos.update({...: ...}) appends to dictionary
+    # create pos
+    pos.update({str(new_seq[0]): tuple([str(list_x[0]), str(list_y[0])])})
+
+    branch = 1
+    coord = [(int(100), int(100))]
+    for i in range(1, len(seq)):
+        y = list_y[i]
+
+        branch *= 2
+        for j in range(branch):
+
+            x = list_x[i][j]
+
+            coord.append(tuple([x, y]))
+
+    for i in range(1, len(new_seq)):
+        pos.update({str(new_seq[i]): coord[i]})
+
+    # need to add binaries positions
+    pos.update({"0": (95, list_y[len(list_y)-1] - 100),
+                "1": (105, list_y[len(list_y)-1] - 100)
+                })
+
+    pos["a"] = (100, 100)
+
+    return pos
+
+
+def create_labels(edge_list):
+
+    labels = dict()
+
+    for i in range(len(edge_list)):
+        if i % 2 == 0:
+            labels.update({edge_list[i]: '0'})
+        elif i % 2 != 0:
+            labels.update({edge_list[i]: '1'})
+
+    return labels
+
+
+# GUI NEEDS TO CALL ONLY THIS FUNCTION AFTER IMPORTING JUST THIS MODULE
+
+# seq is a list of the variables sequence
+# string is the function
+# both parameters are given by the user
+def generate_graph(seq, string):
+
+    g = nx.DiGraph()
+
+    new_seq = create_new_seq(seq)
+    g.add_nodes_from(new_seq)
+
+    pos = create_positioning(seq)
+
+    edges_list = create_edges(seq, new_seq, string)
+
+    labels = create_labels(edges_list)
+
+    # save data to file
+    file = open('data.txt', 'w')
+    text1 = str(new_seq)
+    text2 = str(pos)
+    text3 = str(edges_list)
+    text4 = str(labels)
+    line_feed = "\n"
+    file.write("new_seq")
+    file.write(text1)
+    file.write(line_feed)
+    file.write("pos")
+    file.write(text2)
+    file.write(line_feed)
+    file.write("edges_list")
+    file.write(text3)
+    file.write(line_feed)
+    file.write("labels")
+    file.write(text4)
+    file.write(line_feed)
+
+    file.close()
+
+    # make graph
+    g.add_edges_from(edges_list)
+
+    edge_labels = nx.draw_networkx_edge_labels(g, pos, labels)
+    #  DOES NOT WORK BECAUSE OF MODULE ERROR
+    nx.draw(g, pos, with_labels=True)
+    #  DOESN'T WORK WITH THIS POS....gives ERROR from the module not my program
+    # nx.draw_circular(g, with_labels=True)
+    plt.savefig('bdd_graph.png')
+    # plt.show()
+    # does not save as .jpg
+
+
+generate_graph(["a", "b", "c", "d"], "ab + c + d")
+
diff --git a/BDD pavlos/BDDs/sequence.txt b/BDD pavlos/BDDs/sequence.txt
new file mode 100644
index 0000000..d68dd40
--- /dev/null
+++ b/BDD pavlos/BDDs/sequence.txt	
@@ -0,0 +1,4 @@
+a
+b
+c
+d
diff --git a/BDD pavlos/BDDs/simplify.py b/BDD pavlos/BDDs/simplify.py
new file mode 100644
index 0000000..9bf53d5
--- /dev/null
+++ b/BDD pavlos/BDDs/simplify.py	
@@ -0,0 +1,199 @@
+# functions for basic simplification of a boolean function
+
+
+def simplify_0(string):
+
+    string = string.replace(' + ', '_')
+    s = string.split('_')
+
+    for i in range(len(s)):
+        if '0' in s[i]:
+
+            # changed it from remove the element(s.remove(s[i])) to replacing it with 0
+            s[i] = "0"
+
+    for i in range(len(s)):
+        s[i] += " + "
+
+    index = len(s) - 1
+    s[index] = s[index].replace(" + ", "")
+
+    string = "".join(s)
+
+    return string
+
+
+def simplify_1(string):
+
+    s = string.split(' + ')
+
+    for i in range(len(s)):
+        if s[i] == "1":
+            string = "1"
+            return string
+
+    for i in range(len(s)):
+        s[i] = s[i].replace('1', '')
+
+    for i in range(len(s)):
+        s[i] += " + "
+
+    index = len(s) - 1
+    s[index] = s[index].replace(" + ", "")
+    string = "".join(s)
+
+    return string
+
+
+def replace_complement(string):
+    s = string.split(' + ')
+
+    for i in range(len(s)):
+        if "'" in s[i]:
+            hold = list(s[i])
+
+            for j in range(len(hold)):
+                if hold[j] == "'":
+                    hold[j] = ""
+                    hold[j - 1] = hold[j - 1].upper()
+
+            s[i] = "".join(hold)
+
+    for i in range(len(s) - 1):
+        if i != len(s):
+            s[i] += " + "
+
+    string = "".join(s)
+
+    return string
+
+
+def same_var_or(string):
+
+    s = string.split(' + ')
+
+    for i in range(len(s) - 1):
+        count = s.count(s[i])
+        if count > 1:
+            s.remove(s[i])
+
+    for i in range(len(s)):
+        if i != len(s) - 1:
+            s[i] += " + "
+    string = "".join(s)
+
+    return string
+
+
+def same_var_and(string):
+
+    s = string.split(' + ')
+
+    for i in range(len(s)):
+        length = len(s[i])
+        sub_string = s[i]
+        count_same = 0
+        # check for same chars
+        for j in range(length):
+            for k in range(length):
+                if j == k:
+                    continue
+                else:
+                    if sub_string[k] is sub_string[j]:
+                        count_same += 1
+
+        if count_same > 0:
+            hold = list(s[i])
+
+            for j in range(len(hold) - 1):
+                count = hold.count(hold[j])
+                if count > 1:
+                    hold.remove(hold[j])
+
+            s[i] = "".join(hold)
+
+    for i in range(len(s)):
+        if i != len(s) - 1:
+            s[i] += " + "
+
+    string = "".join(s)
+
+    return string
+
+
+def simplify_complement_or(string):
+    string = replace_complement(string)
+
+    s = string.split(" + ")
+
+    for i in range(len(s)):
+        for j in range(len(s)):
+            if i == j:
+                continue
+            else:
+                if len(s[i]) > 1:
+                    continue
+                else:
+                    s[i] = s[i].upper()
+
+                    if s[j] == s[i]:
+                        s[j] = ""
+                        s[i] = "1"
+                    else:
+                        s[i] = s[i].lower()
+
+    new_s = []
+
+    for i in range(len(s)):
+        if s[i] == "":
+            continue
+        else:
+            new_s.append(s[i])
+
+    for i in range(len(new_s)):
+        if i != len(new_s) - 1:
+            new_s[i] += " + "
+
+    string = "".join(new_s)
+
+    return string
+
+
+def simplify_complement_and(string):
+    string = replace_complement(string)
+
+    s = string.split(" + ")
+
+    for i in range(len(s)):
+
+        hold = list(s[i])
+
+        for j in range(len(hold)):
+            for k in range(len(hold)):
+                if j == k:
+                    continue
+                else:
+                    hold[j] = hold[j].upper()
+
+                    if hold[k] == hold[j]:
+                        hold[k] = ""
+                        hold[j] = "0"
+                    else:
+                        hold[j] = hold[j].lower()
+        new_hold = []
+
+        for j in range(len(hold)):
+            if hold[j] == "":
+                continue
+            else:
+                new_hold.append(hold[j])
+
+        s[i] = "".join(new_hold)
+
+    for i in range(len(s) - 1):
+        if i != len(s) - 1:
+            s[i] += " + "
+
+    string = "".join(s)
+
+    return string
diff --git a/BDD pavlos/BDDs/test_simplify.py b/BDD pavlos/BDDs/test_simplify.py
new file mode 100644
index 0000000..9868769
--- /dev/null
+++ b/BDD pavlos/BDDs/test_simplify.py	
@@ -0,0 +1,66 @@
+import simplify
+
+# contains functions for building each step of the BDD
+
+
+def simplify_all(string):
+
+    # 10 simplifications just in case
+    for i in range(10):
+        string = simplify.replace_complement(string)
+        string = simplify.same_var_and(string)
+        string = simplify.same_var_or(string)
+
+        string = simplify.simplify_complement_or(string)
+        string = simplify.same_var_and(string)
+        string = simplify.same_var_or(string)
+
+        string = simplify.simplify_complement_and(string)
+        string = simplify.same_var_and(string)
+        string = simplify.same_var_or(string)
+
+        string = simplify.simplify_0(string)
+        string = simplify.simplify_1(string)
+        string = simplify.same_var_and(string)
+        string = simplify.same_var_or(string)
+
+    return string
+
+
+def put_0(string, var):
+
+    variable = str(var)
+
+    string = string.replace(variable, "0")
+    string = string.replace(variable.upper(), "1")
+
+    return string
+
+
+def put_1(string, var):
+
+    variable = str(var)
+
+    string = string.replace(variable, "1")
+    string = string.replace(variable.upper(), "0")
+
+    return string
+
+
+# use these two for each loop in the sequence list
+def build_0(string, var):
+
+    string = put_0(string, var)
+
+    string = simplify_all(string)
+
+    return string
+
+
+def build_1(string, var):
+
+    string = put_1(string, var)
+
+    string = simplify_all(string)
+
+    return string

From 8845f4460d74ce1ecc0f44034fe36ea218893dd9 Mon Sep 17 00:00:00 2001
From: Unknown <aplakidisp@gmail.com>
Date: Mon, 16 Jul 2018 12:45:58 +0300
Subject: [PATCH 2/2] updated file

graph.py
---
 BDD pavlos/BDDs/graph.py | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/BDD pavlos/BDDs/graph.py b/BDD pavlos/BDDs/graph.py
index 57e44d6..1017a9a 100644
--- a/BDD pavlos/BDDs/graph.py	
+++ b/BDD pavlos/BDDs/graph.py	
@@ -117,15 +117,12 @@ def create_positioning(seq):
     temp = list()
     list_x.append([list_x[0] - (list_x[0]/2), list_x[0] + (list_x[0]/2)])
 
-    # PROBLEM: 2ND CHOICE ALWAYS GETS INCREASED maybe k needs to be dependant on other variables instead
-    k = 10
+    # middle nodes are placed onto each other
     for i in range(1, len(seq)):
         branch *= 2
         for j in range(branch):
-            temp.append(list_x[i][j] - (list_x[i][j]/2 + k))
-            temp.append(list_x[i][j] + (list_x[i][j]/2 - k))
-
-        k *= 2
+            temp.append(list_x[i][j] - 10)
+            temp.append(list_x[i][j] + 10)
 
         list_x.append(temp)
         temp = []