From 271588221f8d8c43df629ffbb1046a4d394da148 Mon Sep 17 00:00:00 2001
From: Walcher <rawalcher@edu.aau.at>
Date: Mon, 8 Jan 2024 22:44:49 +0100
Subject: [PATCH 1/4] fucking hell

---
 .idea/workspace.xml                        | 129 ++++++++-------------
 src/main/java/ab1/impl/GRUPPE/NFAImpl.java |   6 +-
 2 files changed, 52 insertions(+), 83 deletions(-)

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 992f8f7..8a12d42 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -4,16 +4,11 @@
     <option name="autoReloadType" value="SELECTIVE" />
   </component>
   <component name="ChangeListManager">
-    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="changed a bit">
-      <change beforePath="$PROJECT_DIR$/.idea/misc.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/misc.xml" afterDir="false" />
+    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="fucking hell">
       <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
       <change beforePath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAImpl.class" beforeDir="false" afterPath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAImpl.class" afterDir="false" />
     </list>
     <list id="39d4ccb3-eae9-4ed4-996a-5a13f44678fa" name="Changes by carol" comment="" />
-    <list id="2bf04d9d-9125-4ed6-9018-847e14e9822c" name="Changes by danie" comment="">
-      <change beforePath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" afterDir="false" />
-    </list>
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
     <option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
@@ -43,49 +38,6 @@
     &quot;second&quot;: &quot;2afc8825-f511-4d8a-8cc1-901875567c84&quot;
   }
 }</component>
-  <component name="LineStatusTrackerManager">
-    <file path="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java">
-      <ranges>
-        <range start1="16" end1="17" start2="16" end2="16" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="37" end1="37" start2="36" end2="42" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="52" end1="52" start2="57" end2="61" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="64" end1="65" start2="73" end2="76" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="69" end1="70" start2="80" end2="81" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="87" end1="88" start2="98" end2="99" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="95" end1="95" start2="106" end2="112" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="96" end1="97" start2="113" end2="114" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="104" end1="106" start2="121" end2="122" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="107" end1="109" start2="123" end2="124" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="110" end1="110" start2="125" end2="126" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="111" end1="111" start2="127" end2="129" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="112" end1="112" start2="130" end2="139" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="113" end1="117" start2="140" end2="147" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="118" end1="127" start2="148" end2="158" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="128" end1="130" start2="159" end2="161" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="131" end1="131" start2="162" end2="163" changelist="2bf04d9d-9125-4ed6-9018-847e14e9822c" />
-        <range start1="132" end1="133" start2="164" end2="170" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="135" end1="136" start2="172" end2="179" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="137" end1="139" start2="180" end2="184" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="140" end1="142" start2="185" end2="190" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="260" end1="262" start2="308" end2="310" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="263" end1="264" start2="311" end2="312" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="265" end1="265" start2="313" end2="315" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="266" end1="268" start2="316" end2="317" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="269" end1="269" start2="318" end2="322" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="270" end1="271" start2="323" end2="331" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="272" end1="273" start2="332" end2="348" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="301" end1="301" start2="376" end2="378" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="303" end1="317" start2="380" end2="387" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="319" end1="326" start2="389" end2="390" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="328" end1="329" start2="392" end2="393" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="344" end1="345" start2="408" end2="409" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="374" end1="376" start2="438" end2="440" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="380" end1="382" start2="444" end2="444" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="424" end1="425" start2="486" end2="487" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="428" end1="431" start2="490" end2="493" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-      </ranges>
-    </file>
-  </component>
   <component name="MarkdownSettingsMigration">
     <option name="stateVersion" value="1" />
   </component>
@@ -97,26 +49,26 @@
     <option name="hideEmptyMiddlePackages" value="true" />
     <option name="showLibraryContents" value="true" />
   </component>
-  <component name="PropertiesComponent"><![CDATA[{
-  "keyToString": {
-    "RunOnceActivity.OpenProjectViewOnStart": "true",
-    "RunOnceActivity.ShowReadmeOnStart": "true",
-    "WebServerToolWindowFactoryState": "false",
-    "full.screen.before.presentation.mode": "false",
-    "git-widget-placeholder": "main",
-    "ignore.virus.scanning.warn.message": "true",
-    "node.js.detected.package.eslint": "true",
-    "node.js.detected.package.tslint": "true",
-    "node.js.selected.package.eslint": "(autodetect)",
-    "node.js.selected.package.tslint": "(autodetect)",
-    "nodejs_package_manager_path": "npm",
-    "project.structure.last.edited": "Project",
-    "project.structure.proportion": "0.0",
-    "project.structure.side.proportion": "0.0",
-    "settings.editor.selected.configurable": "preferences.pluginManager",
-    "vue.rearranger.settings.migration": "true"
+  <component name="PropertiesComponent">{
+  &quot;keyToString&quot;: {
+    &quot;RunOnceActivity.OpenProjectViewOnStart&quot;: &quot;true&quot;,
+    &quot;RunOnceActivity.ShowReadmeOnStart&quot;: &quot;true&quot;,
+    &quot;WebServerToolWindowFactoryState&quot;: &quot;false&quot;,
+    &quot;full.screen.before.presentation.mode&quot;: &quot;false&quot;,
+    &quot;git-widget-placeholder&quot;: &quot;main&quot;,
+    &quot;ignore.virus.scanning.warn.message&quot;: &quot;true&quot;,
+    &quot;node.js.detected.package.eslint&quot;: &quot;true&quot;,
+    &quot;node.js.detected.package.tslint&quot;: &quot;true&quot;,
+    &quot;node.js.selected.package.eslint&quot;: &quot;(autodetect)&quot;,
+    &quot;node.js.selected.package.tslint&quot;: &quot;(autodetect)&quot;,
+    &quot;nodejs_package_manager_path&quot;: &quot;npm&quot;,
+    &quot;project.structure.last.edited&quot;: &quot;Project&quot;,
+    &quot;project.structure.proportion&quot;: &quot;0.0&quot;,
+    &quot;project.structure.side.proportion&quot;: &quot;0.0&quot;,
+    &quot;settings.editor.selected.configurable&quot;: &quot;preferences.pluginManager&quot;,
+    &quot;vue.rearranger.settings.migration&quot;: &quot;true&quot;
   }
-}]]></component>
+}</component>
   <component name="RunManager" selected="JUnit.ComplexTests.complement1Test">
     <configuration name="ComplexTests.complement1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
       <module name="ETI_Abgabe" />
@@ -212,6 +164,7 @@
       <workItem from="1704700821945" duration="5461000" />
       <workItem from="1704712375384" duration="4940000" />
       <workItem from="1704717343016" duration="2934000" />
+      <workItem from="1704750167689" duration="81000" />
     </task>
     <task id="LOCAL-00001" summary="changed a bit">
       <option name="closed" value="true" />
@@ -221,7 +174,31 @@
       <option name="project" value="LOCAL" />
       <updated>1704734947115</updated>
     </task>
-    <option name="localTasksCounter" value="2" />
+    <task id="LOCAL-00002" summary="fucking hell">
+      <option name="closed" value="true" />
+      <created>1704749802065</created>
+      <option name="number" value="00002" />
+      <option name="presentableId" value="LOCAL-00002" />
+      <option name="project" value="LOCAL" />
+      <updated>1704749802065</updated>
+    </task>
+    <task id="LOCAL-00003" summary="Changes by danie">
+      <option name="closed" value="true" />
+      <created>1704749806556</created>
+      <option name="number" value="00003" />
+      <option name="presentableId" value="LOCAL-00003" />
+      <option name="project" value="LOCAL" />
+      <updated>1704749806556</updated>
+    </task>
+    <task id="LOCAL-00004" summary="fucking hell">
+      <option name="closed" value="true" />
+      <created>1704749811525</created>
+      <option name="number" value="00004" />
+      <option name="presentableId" value="LOCAL-00004" />
+      <option name="project" value="LOCAL" />
+      <updated>1704749811525</updated>
+    </task>
+    <option name="localTasksCounter" value="5" />
     <servers />
   </component>
   <component name="TypeScriptGeneratedFilesManager">
@@ -230,26 +207,18 @@
   <component name="VcsManagerConfiguration">
     <MESSAGE value="progress of 7/1" />
     <MESSAGE value="changed a bit" />
-    <option name="LAST_COMMIT_MESSAGE" value="changed a bit" />
+    <MESSAGE value="Changes by danie" />
+    <MESSAGE value="fucking hell" />
+    <option name="LAST_COMMIT_MESSAGE" value="fucking hell" />
   </component>
   <component name="XDebuggerManager">
     <breakpoint-manager>
       <breakpoints>
-        <line-breakpoint enabled="true" type="java-line">
-          <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>
-          <line>171</line>
-          <option name="timeStamp" value="10" />
-        </line-breakpoint>
         <line-breakpoint enabled="true" type="java-line">
           <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>
           <line>15</line>
           <option name="timeStamp" value="12" />
         </line-breakpoint>
-        <line-breakpoint enabled="true" type="java-line">
-          <url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>
-          <line>347</line>
-          <option name="timeStamp" value="21" />
-        </line-breakpoint>
       </breakpoints>
     </breakpoint-manager>
     <watches-manager>
diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
index 03d74d2..57908e3 100644
--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+++ b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
@@ -314,15 +314,15 @@ public class NFAImpl implements NFA {
         // state -> accepting
         // accepting -> state
 
-        Set<String> newAcceptingstate = new HashSet<>();
+        Set<String> newAcceptingState = new HashSet<>();
 
         for (String state : fakeNFA.getStates()) {
             if (!fakeNFA.getAcceptingStates().contains(state)) {
-                newAcceptingstate.add(state);
+                newAcceptingState.add(state);
             }
         }
         fakeNFA.acceptingStates.clear();
-        fakeNFA.addAllAcceptingStates(newAcceptingstate);
+        fakeNFA.addAllAcceptingStates(newAcceptingState);
 
         Set<Character> originalAlphabet = new HashSet<>(fakeNFA.alphabet);
 

From 3571f542ffc850a2c3826408c84c1b68fa06e2ad Mon Sep 17 00:00:00 2001
From: Walcher <rawalcher@edu.aau.at>
Date: Mon, 8 Jan 2024 23:18:52 +0100
Subject: [PATCH 2/4] concat GEHT

---
 .idea/workspace.xml                        | 76 +++++++++++++++-------
 src/main/java/ab1/impl/GRUPPE/NFAImpl.java | 48 ++++++++++++--
 2 files changed, 94 insertions(+), 30 deletions(-)

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 8a12d42..44bc23b 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -7,6 +7,7 @@
     <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="fucking hell">
       <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
       <change beforePath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java" afterDir="false" />
     </list>
     <list id="39d4ccb3-eae9-4ed4-996a-5a13f44678fa" name="Changes by carol" comment="" />
     <option name="SHOW_DIALOG" value="false" />
@@ -17,7 +18,7 @@
   <component name="Git.Settings">
     <option name="RECENT_BRANCH_BY_REPOSITORY">
       <map>
-        <entry key="$PROJECT_DIR$" value="2-playing-around" />
+        <entry key="$PROJECT_DIR$" value="main" />
       </map>
     </option>
     <option name="RECENT_GIT_ROOT_PATH" value="$PROJECT_DIR$" />
@@ -49,27 +50,27 @@
     <option name="hideEmptyMiddlePackages" value="true" />
     <option name="showLibraryContents" value="true" />
   </component>
-  <component name="PropertiesComponent">{
-  &quot;keyToString&quot;: {
-    &quot;RunOnceActivity.OpenProjectViewOnStart&quot;: &quot;true&quot;,
-    &quot;RunOnceActivity.ShowReadmeOnStart&quot;: &quot;true&quot;,
-    &quot;WebServerToolWindowFactoryState&quot;: &quot;false&quot;,
-    &quot;full.screen.before.presentation.mode&quot;: &quot;false&quot;,
-    &quot;git-widget-placeholder&quot;: &quot;main&quot;,
-    &quot;ignore.virus.scanning.warn.message&quot;: &quot;true&quot;,
-    &quot;node.js.detected.package.eslint&quot;: &quot;true&quot;,
-    &quot;node.js.detected.package.tslint&quot;: &quot;true&quot;,
-    &quot;node.js.selected.package.eslint&quot;: &quot;(autodetect)&quot;,
-    &quot;node.js.selected.package.tslint&quot;: &quot;(autodetect)&quot;,
-    &quot;nodejs_package_manager_path&quot;: &quot;npm&quot;,
-    &quot;project.structure.last.edited&quot;: &quot;Project&quot;,
-    &quot;project.structure.proportion&quot;: &quot;0.0&quot;,
-    &quot;project.structure.side.proportion&quot;: &quot;0.0&quot;,
-    &quot;settings.editor.selected.configurable&quot;: &quot;preferences.pluginManager&quot;,
-    &quot;vue.rearranger.settings.migration&quot;: &quot;true&quot;
+  <component name="PropertiesComponent"><![CDATA[{
+  "keyToString": {
+    "RunOnceActivity.OpenProjectViewOnStart": "true",
+    "RunOnceActivity.ShowReadmeOnStart": "true",
+    "WebServerToolWindowFactoryState": "false",
+    "full.screen.before.presentation.mode": "false",
+    "git-widget-placeholder": "5-top-skill-issue-raphael",
+    "ignore.virus.scanning.warn.message": "true",
+    "node.js.detected.package.eslint": "true",
+    "node.js.detected.package.tslint": "true",
+    "node.js.selected.package.eslint": "(autodetect)",
+    "node.js.selected.package.tslint": "(autodetect)",
+    "nodejs_package_manager_path": "npm",
+    "project.structure.last.edited": "Project",
+    "project.structure.proportion": "0.0",
+    "project.structure.side.proportion": "0.0",
+    "settings.editor.selected.configurable": "preferences.lookFeel",
+    "vue.rearranger.settings.migration": "true"
   }
-}</component>
-  <component name="RunManager" selected="JUnit.ComplexTests.complement1Test">
+}]]></component>
+  <component name="RunManager" selected="JUnit.ab1 in ETI_Abgabe">
     <configuration name="ComplexTests.complement1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
       <module name="ETI_Abgabe" />
       <extension name="coverage">
@@ -87,6 +88,23 @@
         <option name="Make" enabled="true" />
       </method>
     </configuration>
+    <configuration name="ComplexTests.plus1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+      <module name="ETI_Abgabe" />
+      <extension name="coverage">
+        <pattern>
+          <option name="PATTERN" value="ab1.tests.*" />
+          <option name="ENABLED" value="true" />
+        </pattern>
+      </extension>
+      <option name="PACKAGE_NAME" value="ab1.tests" />
+      <option name="MAIN_CLASS_NAME" value="ab1.tests.ComplexTests" />
+      <option name="METHOD_NAME" value="plus1Test" />
+      <option name="TEST_OBJECT" value="method" />
+      <dir value="$PROJECT_DIR$/src/test/java/ab1" />
+      <method v="2">
+        <option name="Make" enabled="true" />
+      </method>
+    </configuration>
     <configuration name="ComplexTests.union1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
       <module name="ETI_Abgabe" />
       <extension name="coverage">
@@ -138,11 +156,11 @@
     </configuration>
     <recent_temporary>
       <list>
-        <item itemvalue="JUnit.ComplexTests.complement1Test" />
         <item itemvalue="JUnit.ab1 in ETI_Abgabe" />
+        <item itemvalue="JUnit.ComplexTests.plus1Test" />
+        <item itemvalue="JUnit.ComplexTests.complement1Test" />
         <item itemvalue="JUnit.ComplexTests.union1Test" />
         <item itemvalue="JUnit.ab1.tests in ETI_Abgabe" />
-        <item itemvalue="JUnit.ab1.tests in ETI_Abgabe" />
       </list>
     </recent_temporary>
   </component>
@@ -164,7 +182,7 @@
       <workItem from="1704700821945" duration="5461000" />
       <workItem from="1704712375384" duration="4940000" />
       <workItem from="1704717343016" duration="2934000" />
-      <workItem from="1704750167689" duration="81000" />
+      <workItem from="1704750167689" duration="1793000" />
     </task>
     <task id="LOCAL-00001" summary="changed a bit">
       <option name="closed" value="true" />
@@ -198,7 +216,15 @@
       <option name="project" value="LOCAL" />
       <updated>1704749811525</updated>
     </task>
-    <option name="localTasksCounter" value="5" />
+    <task id="LOCAL-00005" summary="fucking hell">
+      <option name="closed" value="true" />
+      <created>1704750289780</created>
+      <option name="number" value="00005" />
+      <option name="presentableId" value="LOCAL-00005" />
+      <option name="project" value="LOCAL" />
+      <updated>1704750289780</updated>
+    </task>
+    <option name="localTasksCounter" value="6" />
     <servers />
   </component>
   <component name="TypeScriptGeneratedFilesManager">
diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
index 57908e3..e678c18 100644
--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+++ b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
@@ -16,6 +16,8 @@ public class NFAImpl implements NFA {
 
     private Set<Character> alphabet;
 
+    private Set<Character> completeAlphabet;
+
     private boolean isFinalized;
 
     public NFAImpl(String startState) {
@@ -25,6 +27,10 @@ public class NFAImpl implements NFA {
         this.transitions = new HashSet<>();
         this.acceptingStates = new HashSet<>();
         this.alphabet = new HashSet<>();
+        this.completeAlphabet = new HashSet<>();
+        for (char ch = 'a'; ch <= 'z'; ch++) {
+            this.completeAlphabet.add(ch);
+        }
         this.isFinalized = false;
 
     }
@@ -211,28 +217,55 @@ public class NFAImpl implements NFA {
         return intersectionNFA;
     }
 
-    // #TODO
     @Override
     public NFA concatenation(NFA other) throws FinalizedStateException {
         if (!this.isFinalized || !other.isFinalized()) {
             throw new FinalizedStateException();
         }
+
         NFAImpl concatenationNFA = new NFAImpl(this.initialState);
 
+        // Add states from 'this'
         concatenationNFA.states.addAll(this.states);
-        concatenationNFA.states.addAll(other.getStates());
 
+        // Add states from 'other', with renaming if necessary
+        Map<String, String> renamedStates = new HashMap<>();
+        for (String state : other.getStates()) {
+            String newState = changeIfNecessary(state, concatenationNFA.states);
+            renamedStates.put(state, newState); // Old state name -> New state name
+            concatenationNFA.states.add(newState);
+        }
+
+        // Add transitions from 'this'
         concatenationNFA.transitions.addAll(this.transitions);
-        concatenationNFA.transitions.addAll(other.getTransitions());
 
-        for (String accceptingState : this.acceptingStates) {
-            Transition epsilon = new Transition(accceptingState, null, other.getInitialState());
+        // Add transitions from 'other', updating state names
+        for (Transition transition : other.getTransitions()) {
+            String newFromState = renamedStates.getOrDefault(transition.fromState(), transition.fromState());
+            String newToState = renamedStates.getOrDefault(transition.toState(), transition.toState());
+            Transition newTransition = new Transition(newFromState, transition.readSymbol(), newToState);
+            concatenationNFA.transitions.add(newTransition);
+        }
+
+        // Connect accepting states of 'this' to the initial state of 'other' with epsilon transitions
+        String newOtherInitialState = renamedStates.getOrDefault(other.getInitialState(), other.getInitialState());
+        for (String acceptingState : this.acceptingStates) {
+            Transition epsilon = new Transition(acceptingState, null, newOtherInitialState);
             concatenationNFA.transitions.add(epsilon);
         }
 
+        // Set accepting states of the concatenated NFA to be the accepting states of 'other'
+        concatenationNFA.acceptingStates.clear();
+        for (String acceptingState : other.getAcceptingStates()) {
+            concatenationNFA.acceptingStates.add(renamedStates.getOrDefault(acceptingState, acceptingState));
+        }
+
+        concatenationNFA.finalizeAutomaton();
+
         return concatenationNFA;
     }
 
+
     @Override
     public NFA kleeneStar() throws FinalizedStateException {
         if (!this.isFinalized) {
@@ -256,6 +289,7 @@ public class NFAImpl implements NFA {
             nfa.transitions.add(loopBackTransition);
         }
 
+        nfa.finalizeAutomaton();
 
         return nfa;
     }
@@ -293,6 +327,8 @@ public class NFAImpl implements NFA {
         }
         */
 
+        nfa.finalizeAutomaton();
+
         return nfa;
     }
 
@@ -388,6 +424,8 @@ public class NFAImpl implements NFA {
             currentStates = epsilonClosure(currentStates, this);
         }
 
+
+
         return isAcceptingState(currentStates, this);
     }
 

From b879aed6eab4050d36227f33a5acfea2240f5d4f Mon Sep 17 00:00:00 2001
From: Walcher <rawalcher@edu.aau.at>
Date: Mon, 8 Jan 2024 23:20:20 +0100
Subject: [PATCH 3/4] concat GEHT

---
 src/main/java/ab1/impl/GRUPPE/NFAImpl.java | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
index e678c18..a12af3e 100644
--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+++ b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
@@ -3,21 +3,18 @@ package ab1.impl.GRUPPE;
 import ab1.FinalizedStateException;
 import ab1.NFA;
 import ab1.Transition;
-import lombok.Getter;
 
 import java.util.*;
 
 public class NFAImpl implements NFA {
-    private Set<String> states;
-    private Set<Transition> transitions;
+    private final Set<String> states;
+    private final Set<Transition> transitions;
 
-    private String initialState;
-    private Set<String> acceptingStates;
+    private final String initialState;
+    private final Set<String> acceptingStates;
 
     private Set<Character> alphabet;
 
-    private Set<Character> completeAlphabet;
-
     private boolean isFinalized;
 
     public NFAImpl(String startState) {
@@ -27,9 +24,9 @@ public class NFAImpl implements NFA {
         this.transitions = new HashSet<>();
         this.acceptingStates = new HashSet<>();
         this.alphabet = new HashSet<>();
-        this.completeAlphabet = new HashSet<>();
+        Set<Character> completeAlphabet = new HashSet<>();
         for (char ch = 'a'; ch <= 'z'; ch++) {
-            this.completeAlphabet.add(ch);
+            completeAlphabet.add(ch);
         }
         this.isFinalized = false;
 
@@ -40,11 +37,13 @@ public class NFAImpl implements NFA {
         return this.states;
     }
 
+    /*
     public void safeAddStates(Set<String> states, Set<String> toCheck, NFAImpl nfa) {
         for (String state : states) {
             nfa.states.add(changeIfNecessary(state, toCheck));
         }
     }
+    */
 
     @Override
     public Collection<Transition> getTransitions() {

From 2af6ab2f23dc1e8ed7fb25d991324f89c4e49335 Mon Sep 17 00:00:00 2001
From: Walcher <rawalcher@edu.aau.at>
Date: Mon, 8 Jan 2024 23:20:54 +0100
Subject: [PATCH 4/4] concat GEHT

---
 .idea/workspace.xml                          |  29 ++++++++++++++-----
 target/classes/ab1/impl/GRUPPE/NFAImpl.class | Bin 12458 -> 13342 bytes
 2 files changed, 21 insertions(+), 8 deletions(-)

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 44bc23b..4a14937 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -4,11 +4,7 @@
     <option name="autoReloadType" value="SELECTIVE" />
   </component>
   <component name="ChangeListManager">
-    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="fucking hell">
-      <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java" afterDir="false" />
-    </list>
+    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="concat GEHT" />
     <list id="39d4ccb3-eae9-4ed4-996a-5a13f44678fa" name="Changes by carol" comment="" />
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
@@ -182,7 +178,7 @@
       <workItem from="1704700821945" duration="5461000" />
       <workItem from="1704712375384" duration="4940000" />
       <workItem from="1704717343016" duration="2934000" />
-      <workItem from="1704750167689" duration="1793000" />
+      <workItem from="1704750167689" duration="2263000" />
     </task>
     <task id="LOCAL-00001" summary="changed a bit">
       <option name="closed" value="true" />
@@ -224,7 +220,23 @@
       <option name="project" value="LOCAL" />
       <updated>1704750289780</updated>
     </task>
-    <option name="localTasksCounter" value="6" />
+    <task id="LOCAL-00006" summary="concat GEHT">
+      <option name="closed" value="true" />
+      <created>1704752332678</created>
+      <option name="number" value="00006" />
+      <option name="presentableId" value="LOCAL-00006" />
+      <option name="project" value="LOCAL" />
+      <updated>1704752332678</updated>
+    </task>
+    <task id="LOCAL-00007" summary="concat GEHT">
+      <option name="closed" value="true" />
+      <created>1704752420737</created>
+      <option name="number" value="00007" />
+      <option name="presentableId" value="LOCAL-00007" />
+      <option name="project" value="LOCAL" />
+      <updated>1704752420737</updated>
+    </task>
+    <option name="localTasksCounter" value="8" />
     <servers />
   </component>
   <component name="TypeScriptGeneratedFilesManager">
@@ -235,7 +247,8 @@
     <MESSAGE value="changed a bit" />
     <MESSAGE value="Changes by danie" />
     <MESSAGE value="fucking hell" />
-    <option name="LAST_COMMIT_MESSAGE" value="fucking hell" />
+    <MESSAGE value="concat GEHT" />
+    <option name="LAST_COMMIT_MESSAGE" value="concat GEHT" />
   </component>
   <component name="XDebuggerManager">
     <breakpoint-manager>
diff --git a/target/classes/ab1/impl/GRUPPE/NFAImpl.class b/target/classes/ab1/impl/GRUPPE/NFAImpl.class
index a9e53a8d12e16c3a494c908fbb17c89cd6f306a0..b98f6e40fbb0f2a9e420cf4b764e4c2761a05aa5 100644
GIT binary patch
literal 13342
zcmX^0Z`VEs1_oQkYAyyQ24;2!79Ivx1~x_pfvm)`ME#t^ymWp4q^#8B5=I6#o6Nk-
z5<5l)W)00SP6iGJPId+^9tLg(9!3W7#3V!g%-n(;efOZyfB;v0KQ~9u+=3iN1|E>6
z%*34FlEji!Mg}1tgu%fjMVWc&*6a*?j0}Qc;nI@K9DR?(;*8+b5-tW_24;{of;<dD
z48n{IY{eiWiWwRBA!dLT2d9=;b2ErCh_N$>^Dsy-NHQ|;B8&=7En#F}PE1K*WDwPW
z=tA<6wPqB^d}$sA8IbwhB}IvO#hE3U`FX`4aXB6ad5}1NVsdh7K}lv_I@k|jIYk}@
zC6F9PVopIuVp3`eNP`LwgDOZ+AUQv`ASbmX)e$Pm#h}ih!Ooz`!=S~W&B!1Ob|Bax
z&KZeCiOD6YMT`vWWr;bZss3q<3=$g7nn;d?tFZ=IqRYde$Dq&1z@1s_mYJ8BlUbFT
z!pOiF1quX19tI-@V@3v!%#zfi#FG3XMg}nrs8Qh1@`Q?8b2FGSn6WdM^DtO2STZsQ
zfn9{6gpq+gBeB>owE`4^8k$ic9o9SyHVn3m3@mwIVG)?wV6Q-ui8VWeJxc0<L^2lx
z2ZJLIgA;=@BZFXaMq*xis%M&CYI16Eabi&=BZDb&>_D_wLxKS8C{Qdz{Q<TMs)C)t
zm61Ujl=R?10gfWq3UGww=W#K(Ffem5crbXfGkEbZcr*AgGVp=ahrpwnk%2R<C_fjh
zkC6e@OHgY-LF>oE;15b%9Lf24C5f4N#UN7yc^HB~MzWXWgY|>NLU<TL8NwJDxQbE}
zQ-UjVlk#&I8N^XS3K5~8V2R*ih-8RjWZ+FqNkMj&u!aw+ORY7-K<Z<77-AXX7#Rc;
zQ&JpJQYKm=hq_)fjGG~WA(5RS36ydy85!6?#`?KAf(%RHVMqn}fImI8#4|6m1eQ@j
za_OL=AP(gDOdf_ThHOR#HjtG$IgAXF(C7k3j&puaPHHkJ+gNKxfi&jwFyt}hGct%m
zl%qPbn2|vUSvNRp!A>mXVJKn%NvEflVCa#6g&?|>pkksF<kB)c&H@Kq1rI|dLlq-~
zSaD)nsv~;f6*Dqep}Pw$1%l%POCe_s3E~<ahFXyO`O;HMLg4AEn46)V!H}JyfssK3
zk;@Qa21+wcAon*jGT1;JfSkr5ZUBoQ(hZUzJeD~aS{WG_KyjS{B06{&Izg`COiwKV
zCr+?K{J0qG7<zaZdO>NKEw!*TF{c<L)X&2(0aOsMXBNBW7L-(ia{DA6hRL9+fUPJs
zH@_?u6th!#7^Z<@7M%8Sa*%uplAXcBFcYLfFb!HTIhK~>=O&iq=YbN@Y#xR=phU!3
zlnTl~jyXB(4D&Dwe&56bE{3@b%-jqM85XfKEaqWY!mt#jO!rMJU}Rt}C@o=Rus{wk
zX!(N_G*A)bf&(f9GJQD@!wQhmJn5+={zWdSX^EvdB_M~c;$c_~@&;>iPHJKi$YX0k
zDRUhogCI&G1f^UKh7F7i9C@kb!6A-8At1Gzco;S_Y++>JPtMOPOD!t#b8{@ocX4xM
zWH5nbXsihcXVL;0xeXMR>p;=8gNI=!!!AY!?vi{^VsI=fN~~mLVA0Twb_OZj!^5zb
zVILy{Uur>dW=?*db54G7X;CU8gC;bfz?lc+Zm@lRZjRQ_z=2DEj5)x=aFF2;BZD|B
z={Tm9q!u9}n~^~a-8^T!1|H#IILdI0kwGA{7&T)vGDxGFgfJ+Io#6zmvIM&i>|LMC
z;u0=~<De9B8dU3_VPxP#<SU3Q2g5lYhVu*;7#VoM<yuN=g?}2jEntjc9jabfc!2X8
zG;6UlTtdmaKACyhsVNYfE`r=~737X<j12q;vjR&~OH;WSt}^t4h?_hNx4`vgL4HmS
zD1`6uFx+KW$H>49D(a9L3HNyz9xyy)WZ+EBNGu8iwFkhhEoW|q(+qwb3{Myt7!5$|
zXFLqg8D20luoP!jrGk}s3NbJ+yy9Va&G3eiK|D7xJJmTqFFCO!JhLRjIX|zsBr&g~
z7*s)cLSr1&hwo5aA6$}{oXy4X7F2h>Wyl1v`a#5J9)>R<e=ry17l8QRco@Dj{9t5Y
zDJU(@U}R8(1}@lWXih`64Jrikz%L$#-wb~k8Q3%Pz>x!T8J3*u$;I%G;XgYg0}mr3
z$YYRJBG`P-ypq&(P`il(RQZA$l0poOjLbX?uNhg;oC1wUWT!xd7#TQ&Gt=`DOTf8A
z8R7zPS_@7sv4L>Gwn5d~Su-*yLWB{jK-DQCb6A7asG+L?rwp)3pnMB%@qrbxIOnIN
zf?Bkhd8vM-xk;%-A&E&j;C6C;a$-(cVo@fD4;5re&R}F<bY^5=DaptzW@L~AXBKP)
z3L^toaY<qkq~vF0;04F1Z(;$|AXW5&42NHNp;aZM0%2re1vkMN8Q4MPPik^DBLj0@
zS|THZm=B6;D+^Mg79~NG1R}H$Aps9l+<}Eq0t#eo9@Pv3l}6C01>1tCT5Z6=gBCR!
z_`Hr9Ib4Vi0V9I|x?zkAT<~^gF(ZQthEG9GMzI{^R#+YZI~7+V11V%J&CATs1GPxO
z7DLKvkdYu3BLi<<YB|DiMh1?=<YaIxL8~KBSBa5<za%xc0HLgyk%2Y8Bm<OdIN_!;
zGH`&c@&naTB4BCMLb{ldfe*#DVnzm*w4B6rMg|e2sDt+{7#Wb0KTH^FWbkC>m82FG
zLt2lF4E)GkuzPru!KGMgULvS{$;iNyms;+IXs&aC+y!ZSGcvG4YdugCAFW+1fMN{9
z<f7EP#N5;raG;@eDt!|RtQi?Z@>0wFL7|1*FlJ;hMe?(6VgZ(%15p6Z?eGN5$iS7I
zlbV{B8eEcC#K^#{p@|d$LOJ>Q1x|^{*@&oOWZ)^tDJ}LdfOX{f^HR%E9l{0aX6B~m
zfjZ|osU_fUq$rZ@h~&)3z@C<voeK83U|woDY78?n2;>)Krh{5-ur4bj12;$+v~B`*
zDM8)MOi&k|8`2*x4$m(_?^i>;s~N?}z)}vD<^)mTikp#vDcYHlfj7Cds3<iLQZf~@
zGkP;J@E{8@GB9Q`GBA2FGO%Xmfm?Y(DQStQ?k#3y;7mzNghibI#LM6;1*(><85#Ie
z(h?DY2}<{cpc<KxK@dqTxRSPJWMIonEeE&IkfRo45HxPV2II=BpyJ*P-B4mRvM0k@
zXrPi6RGuQc4_s(lGcu?m84nhN8jqgB0x^mpY=teX3_&h4ad{3j=mPD+vK6Hkm*$i(
zG6WH03(oc+4yWrAV<<ewfYKLpF=%WjhbVpEU;xJ=@v#aG9^^1)WMD2XDPm;sgj$L$
zha5#Xnhsb^<O<F&ElN&x%LG;WJkU`yJ&=PL83dg2^Gk|LiV_QaQ%f@PQ;Inla~K&I
z895m97#Wxt4f)v^3%D2y8H?B%i$U$45=I6UkWR?3U1nZces-!pBuhdXgKmk*CHbJ?
zmKn%CfGUL8;gOh^l9O7j;*+1BU0MJggTeGDSOi65NM%7P7Uj{9fB~zAw*QdB0cwPE
zVopwQW=X0wBLk0TUS4XEb53G$acVI;V>u&(Du$o1IhCEUl953Uzfwj9Hi*9%6d5=e
zm>3ut5*XMSm_Wme42+Dd3=9lRjBE@{py5C`A0*Gszyp#44F|%-LF$wkgyDRUd8%l9
zJqCRS1_n6>Mg~@fI0i;WP6h^s?+nZg%nS?+1zOt~7`3#wGO%myX5fw7&cMHwK|pH@
zgMju<1`#HPaD=E7f+>q&Dj=B30*SUV0#%C{B(=6MD9h|%P=gpD!;&z`cKQG3TFhG+
zbT%?DFfcQ6F)%QgG4L`lFo-j-Fi0?PGDtFrFi0`TGe|RNF~~5OGRQJGFvu}@GsrW9
zFeor2F~~DyF(@(QGpI0fGcYhHFfcRtF~~6TF!C}mfqcQp$H>nB0tJi$3_J{sjDidd
z48jad{~7#1!^s@%40enR48Itp85kKl8P+i{fdfIGfsuicfq{V)<lzmVum!t}4J@bu
zwuuMKW`&p!jT=x4Uzni^YREnY76vv31_op8oeTzy3|1_XEIS!Y7#U_VD1%s5j0^`D
z?5tRIw=f83NwVr}V{m{3%kuv>L4m;nwo-_Jg@J)Vhe3`(mqDLFkHLsRA8fq|11p0Z
zgCL^_188i9fx#H!5Ri3{<N{(bih{ffW{ENKGcYrXGcYiSfdj^vL5LCJ9b-mOP@)0{
z3^xPQ9|jI~2Gd^*novJUFff9Kji7!)4j3u)fH4NU3|qiRGB7d}VGUhbbVDp~8Y0BN
z2pSB8rc-2>u%jDdi)jc0BdAM@#TyFfnjJAUL&HLffe|zo3N_>c0~0tXbF{WF=*(o`
z-p$|=xt+mnzZNKyY-4cW$>7VxFpEJD!3XCXh-?6wYyc$gwYM<@9|LPq05KtgT3Z;T
zpt%l|Fd(@^ivg5Z+!)vy+!^>8JQ?H}ycl#Dd>CvQd>OnM0vLiA0vQq*f*G<ILcsok
zM0*ZAndC4^Gs-~o0~-SizpShXqbvgh0}BHqg9`&AXdI1!8JrnbFff4=p%I!tA<5cT
z2b!owb#^j<)3k@5mhLu&@a6wsfLsen#!}#%5YE8P5W&FD5XGR$5Y3>+5W`@|5DRu4
zDBo%_u!7wLDt(OL?lgjycA%sSNm@n>GK}m{m-8?%^Z#LB1E*Lig!`fK1uEHM8RDSv
zRSb<UH8g*K;|CtnvKS#P#sDgL6B*bUk{I|IQW&HdQW;bk(!lP9gsK|cwQArD2`Ocm
z85sEyPGVqW$YaPSGf3^gK^l!ENHZDO8L}Ao8FCmj8FCr)81fhl8S=qSg9Rz5gg_5c
zA#g>29HijV09*#(4^nvsM$jlVG)Q+qi#T0KT0kn|WKoJZX!*8{A$s}$`-oH_1Ws2)
z3~~&`44Moj3_1*@V5dV0H*RoPg2G-G9=^Kp!c7-mxal&Y7jC-n!c7-@;ie2tAQB9W
zj0%j35Z|!)F|dIuQYLRm0^!l#$q>)TFbk2hcQbHAYHedk-p-Kbs{<;ww=f9oWXND*
z2-nft!XUeiAqP}dYVTwyU}V_NP~ry`)z#U?P!1B`&cJWQqP>%$nvr2ALmeZ76{{pG
zH1C*zSdh$P#kQNlBT|xW8-qKD2nG=W+Zh_I*d<vc*&)ev`Tr9_Emo|OEMTRqjM_UH
z+CVloLZr2KGPJ|&V3TBn*uf|OVu9_jvtkFi9%LH0gwliYK;;v}^&q(}CWe^|*LAiq
z$bxtvx#bKev?RfLw=p<aalkyq35sh_4aX(P1+k1F0mK4Z=3&Jx$qn)h`!<H|nG6zO
zCv$*=f<Xk>YhV=tlE^B+TDZ3{1WR&&JkKr3Daj4--SYo)AZ~;NBEn7$xSe(&JE6w$
zgFV0j(|bjd(~4#Jzc(-^!^4Nc1s*;gR_q|n?%NppW-@4jgeNjGKmuE53j<g#7^DE?
zcBr`wY|H=e(2-=>#xMmG=~5ti8^d%RP~8G40r!F1TGb2!3^fcA3=Iq_3{4D13@r>+
z3~dY^4DAd-3|$P-4BZTM3_T1j4807~82T6%F!VDlW|+XRoM9rveul{mj~J#fd|;T$
z@P}a<BM-xLMrnpQjOq;Y84VZ~G5RwsW{hE2!dS?#jIoYkIpbu8m5g&4RxvJMSj~8t
zVGZM1hP8}08P+r2Vc5X<fMFBkV}`AaZy2^Qeq-3q#Kf?JiI-s~lL*6ZCPRijOePHb
zn9LatFxfI3Vsd3T!sN+t9Gov_Fz_=>W8h*`Vw7QEXQ*RP0+-ipjQ$LMU=}yyVFocq
zWd<GwZbo&6os23BJPaI+1`Hb*K`l>ChDQwlz<HXTiHX4otb?6_fyo<|yP3Qh)fm+o
z7#UQU)EPAx`5BlPJeZgnH5r5%m>HrOKQL-B2s5xSEN5K8s10iNFuq}kXE0*aVPFF{
zY_u3yAa*gbGjKw5GP1#RGO{zUK-KFquz?G@cm^Q>_Wun2pz4EzogsmpfrFhv6pTzk
zO+u@`ph<B%b_UZw41VkkcK;Y;*%|C0@_!i2*%>?(e=_j=Vc=nBFxCFW!1RNG`4_DH
z^qaw*3AyZN)Pt2W49B1i>?FLU%oYZAETs&n?EuZ(vp}WJ76vI$;{aL)L7EBR;sq=V
zN_>#Uf)WD<0|Uc31_6fi3=#|%8B`c9GZ-;kVQ^x&#t^`8ogsnYCOCpYbp``N5-dU(
zl3)?SV8^HriV$$Xu`n<Ru%r0S0OmVpP*;MJfq`)W>Au^|FgJ2L!+byF;tSDcHU;Ha
zaEW4P#R{rVwlD~QN+C8~Nmfu6UBJu`4lc*opjq<&aUGQ4K`wa_#zw)7^{`^qm1G5#
zR3Ks}!!l-Y`y6EcHiiI@OaNSv9bAgBfdqpk*+B&q2gou>crmjGR3o-AGC)dZxIPw8
zH38`jAPRpSc;RmcEBqNHSwMz@idrdn;rssrs3_aXuo7%+0jz{a7^I185J;`AB)E8k
z_yiU#mvvAJrXmIz1_p+E3<3=I86+4UF{m&+WiVoR!C=Mkk|CDi6+<S&YlaerHw+C7
zZyA~yJ}^vV_{^|{;S0k_hOZ3w7``!lVEE4Phv5gqe}><TVhn#6%^ChOx-$G@3}pDv
z7{bWJ7|Y1a*ucobIGvG|aTX&x<2*)Aa9ZnQ;A6;S5C<0$Yz(ms%HX1bmEk0VF{2>^
z4+9&+Jq9^OBL*G@c7_iOJm5lygJBDU2e{y1WpriWVKfF6M2zMPQj8`b9gGbO;t&=n
z1;SD>;{sSJW~^Z}1*KvJE5<ZNGe&a;W=1iFE=CIm9tIY05dvypLgXwNn89h?kbz5p
z{U3uKxNukqZf9EmVUPkd68<tMf=dL`UkpZnKt+e?F9v;-jA6xS4QX63ax$=j+mQ{R
zjDg;!faG=`ZIm{JHYjUvW0<17g+W$p3j?(7*V@Lg2AqQ64R38&!`sdelq_`_L5e}i
zhedk}gA^!zgX`}9m$bJrOxH#f3ZS56VB}|DXB1%IXB1|TW)x%4WE5vGWRzmCXOv}#
zVU%OYW>jP-XH;USVpL(MV^jl2oE8HMLpB2sqYa}B0}De8gETnEK~2mCXpl=Yq=MUI
zkajRX12g|$21{@Vn*L%iKnWmQcmQcIuz>?;23i0Kt@i=7yR@+uhp5FLD41jsg&`<3
zv|*tEN&fKs=cfy8si^5fyDfHBETB9L(j>{ksJ)#5+L~Ja|2jO!KuS~a00pBq13RM*
z13#lagAk(ugEXTtgC?U1gE^xqgDaysLky!8LlvVnLqDSp!z4y8hG~pG@W88L5CsPr
zsAoR|8e~EYZH#uH0SX3bhFWmoF@e*c5Cb#+KZY=HGJ|x?wNb*)9u|H~D;d~8T|!1r
zwD1E39wbGi;YwhjP}#<iqouu#VWTg!Rp+O(jbSS|p&_;EH9@HfRtW2CV^{+!almaz
z9$gR<lF%-L${uhzrK1aN6YFeYP}t5;0uEvYuoTo9D^`I-Gd58+(D0C^B#S5;cytJC
zq<|zVlnXLel#L}}k{R3b|JOjV1aTO+bOVp5c!R0{u){!&H&%!=2dF#-OKXByU}<$L
zP91O*vx7={PFOPz++V%C{QpKBN!G0l3h)SrwB5=WWEmJ3gBaKugBkc4!x^L*BN#Lp
zBN+@CqZlk1V;Jli6B*nYlNmA?Qy9t^QyJ<R(;1o=GZ?xVGZ`i@W;4uX%w<@{n9s1D
zv5;XGV-dqi#$twRjD-vj7|R(M87mkS7%Lgg8LJqr7^@j=8EYAx8S5F{85_X~CXIoM
zA%j62S~zZI&;^feu`wzzh%-7cIx=uFGBQ|#i$rz?(6j_(yi1x<51fb?8SELk7@fd{
zo;xEGqcgZIHJ4!xqYJn#wVq)Xqbq|j11q@r16BWERp53LSQR4&0}BIK6(a`&D>z9y
zFmUt#XK-R*1?OlEFe%E;V9LOt^NWG$AA<q7i6qLX^oxP>4+9rFgXv!eId%pQb_Ua*
z4EnzqP#Q)IdJL9WMs#%6Fn|U-K|>tiQ7XnZaA1JSX9fo7pc?~dD2)xO*#taX%D}*;
z#R45nWCD+$ftHOjFm^MrGWH;uzy{5AjErt@>vf=GeoV~hc27al$pqKw&gcOx+C>;x
z!0oFPw4A5CjbS@HJL!V*AhZzD)!N3e+fN6SvG$p<GK12;DC;5y1yK4oF=N-#6=m1j
z#<1T{3!<=vjdA(^`(VytklP@MQjdX~fq`)r13Tkv27bnQ3?hsR7-Se1GN>~yV$fq;
z!r;!hj3Iz=1w%OF5{6jDwO~JhI@azC0*nrfybSCN3=Any-+)-2;L=BgA%M|~(HlI-
z?7`>*N-p4}0Sb8;1`kFbP|^S=133m}{{IY`4D8?pV8_nr3yOC}Uq(g-h93;d$fXo$
z#StW)n0XjD!0rx#=6~Pa496q4Go18;@~v243|2{2?QIOn&>#bIc7vN}I~h)a#-G6=
zhi5Vf>S#%_>TY8=3sJe7;bP==hRarLl5C(7=?W7=IH+v64(iA+1hH;_#$83N*tNGY
z+(s`aY7yncHimm<oLX9v?4q37+Zgt1Z)4bP#ia}CVm<<m>gh?cf!HA9!GaJcacOU3
zfI5i_;Uq}cQA?5?BqYkYgF#J85-g2W$J8(X9}Oz0g&uEbNV8&RHscWG(A~-Kl#yW(
zgR~_376t)Pj$I5d85khGY~f&B{{Mj_JGjRw$*!}FAx9EC3JOUZRSa?r42+u@I2gAw
z2rzDEkYwD&pv1VFL631CgE`}V1_#Ci3|@=}86p^uG9)q{W5{Ma!BEP0lA)3DG{aKH
zvkY4q&oLZeJkM~7@dCqT#)}Mh880!sX1u}3%XpJffbkZiFykFYImUa8I*j)j?HKPd
zx-dRs^k#g_7|8e(oX)Bkco?=aL@=r_2s3aoEM>?5r#McAMuvVyKL%k2c1A@8Wk!F-
z08qYR41uLW#t_CpMt%lH1`b9a#vt(6wE&|FV=!X~12cmpqcvkFxX@B!G-4D06<Q35
z44)ap7{eLZ808qu7$d-q8PKSf2Ln6AenwE82)31xje#9vE@-ry0b*_>%v@0SkO6Ei
zBd8SuF*gd@QH)^V_|Fgl?IuF{h^Ikmok5g=;SYllJHyq#3<_WY)4vRHjO+}e{~1)E
z`2s~bJHu552ByCZydanSVo+jW0<DLGmLjnX%%IR<XaQvaZP4)1Zics!+Zo=2iV5v)
z3?ITlk^ONNLkfugbO1DWpo27;gs2Q1K*=0j+kq-Wa7D)o9(+*&Rd>P18Dw-p49Jl4
zOa?yCz|uB`fNcz4!<YZxv;6-oT~H$tl9C{e#Fq@5jIS7k7+*6;GQMF@WPHn@&G?SN
zkMTW2GUEq^LdK5_HH=>v>KVT>G%<byrvOk4_%Y}~D<*A*5NHL)z|aDVZH5;3U|tKO
z7^6A^69XqhHDffW%wZ5>C}NCZjD@z#K@}4NNIiJY0;~#D4nbALF|dG3BxwfLzYLP#
zh<FRGazK6e-we(_8JL)$1Ag%gOrW)c&>(jLTgkxC2nur8@Em9$3(==a0~I3Ru(Y#c
z(?tqyc2K_z+_-Q6vA{|^tT-e&K<x@PXmE3Yhx27Xg2CGu?#V1*5Rha6@gQLj3GQi<
zEQs(1_tY7GF>o^eW>9DR!{EjEmm!<+A43Hb14A_vBSRe%6FhvqpyA8GpbiaR&~#HH
zJbWAB;oHcVzzCTTYXpZhGXp0>1!E#8H-Src$S`&zbl4Ou$H)c^RasD|3W7t`^e=-F
zxFu=|2~|*C4jP|jVoYLS0xhA0gez#G2i%l5(g6>Jf(Pp04Q@H42Ddh-J?RS?XJlnr
zv;6;kaMcS*c;HcYCN>5ICUypGCJqK&CN2g8CT_6jK|K%!243(;6Q~i5JX-)B+Gb#2
zFk%b@B`L7?K$RB*gAv4g;H1LCzzi9<Q9$@1nSlwkC==?3RM37C1_lOh9qpYAKbaVI
zF#H9@5~K$JZj&(agB=4&o80hF=VnX+jjn^Vf=ezYuoEC5%*~hrPQeTe+>F7Dkqoe8
z39`(I!5M0G1=MOWkk#PO;nm*7$i%?lv;6;ia0d<&M0}u$S|(uzE+!EM5hgJt*NDMg
zBgU8puGbkD#2^FaVAntbL=0(goP~jjK^U4z(ghqrE8QVAHUna!Z5zWHP!K>GR^T9D
z-~w9;F%H@+6L17A?8c&bD-oI*m>Dy`Ex%00ECvP!J_aVnd<I6wY%rP2Sjxb_z{SAG
MSjJevSj8X-04}OSp8x;=

literal 12458
zcmX^0Z`VEs1_oQkbS?%a24;2!79Ivx1~x_pfvm)`ME#t^ymWp4q^#8B5=I6#o6Nk-
z5<5l)W)00SP6iGJPId+^9tLg(9!3W7#3V!g%-n(;efOZyfB;v0KQ~9u+=3iN1|E>6
z%*34FlEji!Mg}1tgu%fjMVWc&*6a*?j0}Qc;nI@K9DR?(;*8+b5-tW_24;{of;<dD
z48n{IY{eiWiWwRBA!dLT2d9=;b2ErCh_N$>^Dsy-NHQ|;B8&=7En#F}PE1K*WDwPW
z=tA<6wPqB^d}$sA8IbwhB}IvO#hE3U`FX`4aXB6ad5}1NVsdh7K}lv_I@k|jIYk}@
zC6F9PVopIuVp3`eNP`LwgDQg>BLjD4v0G+dVoqjNY6>F*V-(1J8axb|3|fo~9GNAl
zMTsT(MT`t$8k!I%fj#006}RSQ&|%PJXVBwe&}T4UWDr952Bw6OfjuL!*e|sL<T(w^
zD3A^#9tL9u6GjG>Jg~3`%xq-uvNM>WL@XryxfnPYEO;0!8LSu?1d}ro^U_m2)BIAC
zQ;Uleiz*ozOpyZ)qQx4?-Jl47`U7kiR0TVO4I_gzC{@6N0vvj-72vSU&*NgSW?<%G
zuxD^!XK>_UaAI&~WZ(m-4}r%5BLinzQGPC1A0q>*m!Q^wg4UIX!3`Ae9Lf24C5f4N
z#UN8Xco;lEMzWXWgY|>Nym=UW7<?HSxQbE}Q-UjVlk#&I8N^XS$~hykC^5Mtwa6M2
zEdD$U0StkR47`acDag(e*6=}fskLSpNPRF5LkL4CBZFXKN{S;&qCrc4P}ggQaWjN7
zM6feNf>MqFBLh3gSU)#MkYUk03^5=d@TaGic;;o6!154CE)JASLqVQT;9*E)NMdAQ
z16i4q!^j{BjV^Gaa?a1mNlgZ&Xlu<Vkj4}qhE#?$Mg~!ca#TkaGcpJv>jp<H*ohfD
z44DjBj0{5QsU;YCBw!(kZY3xO=YU+Ai^o~ufXnA$C}1dLWDqM(OiOh{54>VV1}k)T
zp`}1@d|)YmtRX>M%)?Luaz9^sY6&7Di@6!f7&O=!${86%5V;HyW}q}v337iGBZCdp
z0mx|_;s&q?BHbVf!eg0(p@xxx0TkEKAfld!p#kI?&h*q0aN-0z#FdM|l%bi2p#_wd
z*-{Hj6LX3|LTx+@?Vy5yJ+s&~x1gjFl-oOb7`i~EG+R+>Zhl!RC}w+j7<xf53r>4E
zIY_<)$@cRwOaN&ROoJ9oj-@5}xrrtDd7wlziHBh_C=qcMrGhe$V@?i8&s0#PPh(^d
zM2TNeqTpbd!N|aoms%bi;usVHQag)>VK&1YMh5=m{JgT%q7pwh$C7*(H%CSW6G&dc
z8aFs&4P@jzP$*3UId1_E!$OebS(9^86N|VQ7BehiXIRR^u#90jBZDwF=1?Pnk%7G|
zF{d=uKaG(=Lc<xkctS)JC~Q~qFsx!&&B(xAk`Iz_EGkN@WMp8`(2RBlIbkgi!#alb
zj0}9K1;v>;`FYMc`NgG0sf-Mo(9{4<@t_a^`^3-9(Hd$OTmodwMjnPu44WAl#9{I6
zm{yWngoq(V1}${+obejCm4{&)!*)gnfy`pm+{nlvjcyXcpeS~Rov`o%yASMLpUmPC
zE`}Wp%-jrnK(**zMg~4`kb;#!WH}i2^DrD>ILOGr3oeXOQY-w^z;&xJhIOcVVc`Le
zA83AHXE=<K;e0alvQtwaHXQ=F;~2;t#~B&;5oQIJrk191GaO@R0}-cq7*2yLyMla3
zQa#JVaE@UbBLg?6e1g`<pmcJ9hv6c_B}N9$<c!3kFi?^Jw_cn<es$$wxXQ@DXaHhg
z=V7?PaFdaNr8u)H6|BTlh=GCOHV?xchP#Xm;<<_0sm}R%$%!T5nI##{`FX`9iFqZ(
zpi<ov8sn%wypQ7g;F84TY%Yd-pbGCELjs7^1|pvDFgykMgSjBT0K|XJ!|;OPB_jh%
zL1}RYBZC?=aKT1HT45;R2^9i);584!8-}-x4D6YC;K%{F45=i7s?_x4VtCK+ft}$a
z55p&r#~`gPu=$>OC8_DDMT`s_pc)g@FcV^6WcUIKfv;#zfyN^ik25lG24|+{C6<75
zi890m;Di*MT4Dp?f^CBuVQ0<Apa>C0r~=i2h|FOPQlo~h2And$CV}!Tq{ap*WO2?<
zNd>hKGxJjYN^_G^i$W5Ua=`7*{N%)(u*9NF5FaYYQj(Eb%*Y@K&Lh}LC`JaZ;*!K7
zNGZ+8po(4+;_wnLv>JmH?u-nq;Fc>R13RdgNlngXWMIxqOJrma^FeV`WkD*`VZ7iJ
z<C|Cj<tIT?0wRzQ0RRt5++l=J0t#Df9@Pv36++M$1>1tC25rE>gBBwi_<{m8PPh>5
zYDNYDbi)`KxZrKVVnzlP44;CWjAA*+t+1>Cb}Fv41yaabnwOcM2WmZnErt})AR|F6
zMh4!z)N+L3j0_x!$;seYgVt}L9tR@>e@SX?0YX_ZBLi!GNd_phaKcSxWZ(c><p-+t
zM8MLhWpgnj10RZQ#f%IrX*r4Mj0_@3Q3q?}TQf2sr+Sz$*2v(=%qvMPDu%T57#aAH
zxnTG3CW8yF)VxGcTab}~9a^C=GJrZa;1)Twcf-gafT9+xohv&hH8n3axFoTNk%3!7
z6Uoy;Ir;eoPKn9ch~NRW<Ix(wJOw$W#r_4bo)3RsYB_R~mXU!gIX|}`Cp9-UuY{3-
zDLI3Yfzg?ffh{Msqy!YqqL2VW%kYd0>}iSFsbD7x=B1Xy!yB621oDeA(?RVWM`)G6
z$iNL!2Ip~rJ8GGreknJklUE#`UxeOSgytU2C`JaBa<DWfhyvH1j0{ZC&WsGa$)!a_
zsd<ocqL`i0oRNVCS%{H=F_V#j(UXyZH8ZcEw1kmCC?zcs?p|<;D`sTiOi4?Gu>~Mr
z1}AV(-Du6oz?YJihzMp-Dl7z5i;N6{NNT|~r8Of1TV858xB+I0BndJIT4sR_#+7qG
zMX4E*KCq$0YGhA_HIqQ)9;mcKb|1K8vu0#aMKT^N1~ncW$Iu`LIU^9GK)_b?!E!Wm
z35LsappgV<=Z~!@wYW5=gpnbL7+Y{Q%5XScpBO{oc?p!hn2SLJ7CA)e0|x^*7Kx8l
zXz(D1F(U(WaY+#)gD2EdWI5z0!cl)?HIXYgzqBYh)h!cL^YTE4g7iQRW@Hd>%Fiz;
zE-6YZ@J%hr$WJNeV2og7U}WTAjACS9Vl?DuV~pWqjAe{tXN>1zxWkyh$e;q!2^ovZ
z%qz>!PSuB`4@is5Eit(yA2d)g1K9^qg%CSD67y1WQj1l5^7FGx3!tMHm>va-plA%K
zEJ($oJQ@-(VD+%36_OCt2<OC{oZ!roRBJ{C9?!hI)FS7c#Ny)AVs^%4Mg~<3KVfq!
zJ7X#%gB*UPj0|iLe=#UBa4;}2FfxQQurV-!#>^NP8NM+vFfcKEXJ7)2al!dN7??og
zc3?Sq24T23NSzWA|0e?zXh@5JfkBRek%5&Vl!1}q7Xt&sECyx<CI$uuH?8dqj9S`T
z8Q8UUGw?=kXW-w;AfUB{K|p&ag9sBtI6_nk!IVWX6||VQGAM5ZyW=+l1A`g^Cj$e6
zC<6<F7y~DRID-g-1cN+-B!d=%6oV;)G=l?!41+6!9K#<51_m*R3mE<~{9^zCH-`TV
zJPeEsj0_D7(-@e*?$ihK85meWZrT91hK+%dfq_8@Yz#;X0|P767;tbgGB7YQGBOlG
z4cW)Q!obGBz+kMslR=%4!HPwaWha9+Bg0GvWf04dk>LP?sTHg476t(=NmiY04CWBe
zFaLiN<TDlqkk5n|Sit_1V^C+%XV73UV$cLzZ^FRJAjcrc$ix5|XkcJ4hB^eq5(38r
z1A{RmGlMYLx5kVt4F4FI8Cl`}H)arG_zw0CNY!@+CPt7`xfz)LFmSLl==@^Pgd_n*
zb_Pb!7zor)$N?jT9x%FKmthMS4hBYsOst_Ri*AS!PD2<N7(pXj(4>Uy5_WV$%&{24
z2<qx#@rDArW@{{(A@R$}z{n855C}Eo0s|8`aC5Y_FeuMt;NHz(9l4#scE1)V9dBc>
z+sWX<#4w9N5Wxp0ZHTNpnyfn{?zOiucpU?4Q2;R^f?8V`q@WoClrWeXKnX*Ofs28G
z!GVFD!I6QV!I?px!G%GW!HvO|!JWaI!HXe?!J8q0!IvSM!4K>oNV3m?CzBjTE=Fz!
zMsT#VF|hE<%8D@ZFfcH%FfcM$GcbY%g&3H@nPCM36F3nXq4^V%tbKK$iCR==Cj&T5
z+xuzhZe#FU{{IEYwUA^i1<nb94D1X+4Ezis44Mp~40;S<42BHhVAm-yFf(W}u!7yh
z%)r241b3$qqyPdZT}aXbiTr@NoQHv#{|^HjIK@gKxgQc=ybO$>fmLXH6+`1o4b30m
z_<@JCEJjF+F@Um7Gy^+B3<Ezy9D@`?JcBAj0@&S<P*sDwRt=mXA)(65z{ro}Bu3B(
zDw#oQ3J%gBEJ2#gz|N4uz|WAzpvjQVpvREGV91aOb{Z^5K_vuwkb+AHlpqC{2H?bi
zKS=o)7(qj>&>-CbE#h<`X#uH-lSL`wpyk^(hM?vD?;}!$5I9}sFvv0FGH5d7G3YSl
zgPjg3+_=GE2?~2%c=+l<t0x8qU3lT9%ZOgMfmA^XH;^hUg_|;>aAV|W6oB}K#gBoF
zfro*C$s3YDc(ivigfTMALgeh-3>=YK+Zdv@GsODpfQs!c3<5hD;+Yu2b+ooH$Zlgu
z2GwTTI~md$8MZTI`+-Gub+$3&fyB2n@LREH?_?-qWZ212%E(~FD#;4XJ0>6&B=cCY
z?Pjo#lw{k+U<V?+K!p2th6*coNft?VNHSgi|AbJr6{{o*SSc%`_D+Uckc|}(Y3-d1
zbuc^FB-tQ#FbaTJU^`5$*g>ubnFcPQ^k6(t`2=x2NUo8IVJ5?Moh=NqARb6=Il~Dp
zNwD5+4CYoGFi&xU;u=)LaY=GPEMrIjvA~wuTX9QrgFM5&jiG5Kg9O;g93UYt5CQfY
zScSVJvI?*k?rjWSk{lq<b4zkcazlK#{Qn$?8zF&+uu}tWrzyxzsB!#Y4{*TrUXkRq
zVp;z04a~{#@L_O)hmXA#J4mzLHip)j3|b)J4n_t@VC!sQ0LyuS6oA|gHJ5>H`Trd{
zk}TU8x<QdH1){ex^yz@=7Dx%Wk3pY-fuWQ^fT4^*f}x5*g`tMQh@p<bilKqQgQ1Zj
zh@picnxU1Uj-idAg`u5c8bb%e0)|e8#SC2x%Ne>E_A~S{JYwi$_`uN5@P}anBM-ww
zMrnp=jOq+C84VcbF#0phWsG5%$5_a)fU%BYA>(9*#f)<qmM|`0Sju>qVHx9DhUJVm
z8CEjhVOYiZfME^eV}|vNZx}W(eq-3k#Kf?PiI-tBlL*6BCPRj8OePFFn9Lb=G1)Tg
zVRB{I$K=Uy5S%Y(Fz_=>W8h*GWaMUGXQ*RP0+-ipjQ$LMU=}yyVFocqAqE}>Zbo&6
zos7Z^JPaI+1`Hb*MHqw`I2j%>`~&A{b|xkUBd`v3P<DgmZYFO=QARNaMg|oobw+W9
ze+*0v9!$)P5)8r&%nZ?t9~dPWgc(>EmNPD4lmaz-7~e3&GiWkOGq8b+GA#xcs9ir8
zIH5Yf!*%{(V1cTaVPFFnbny&A0_^`8{6W<R2RlPJI|BzhgD4p3FfjaLu=)#{<S}Ju
z(D}pQ$If8-k3p85!4x9@hryhk!Cvtv1J54@9(D#D?OzN`KNy&Q!P-y18QhtW%YH^#
zSSiDBjDeW}R30bcEoHVauwyA@Ky3$T=AH;Db+#}_ff@(UG6>R402eP{Sy19*1~(Rz
z7&sUh7)~$<Fq~wNU^va7!f=+sh~XTA6T=0D0EUYU2@IFP5e%v`7#NaZ5yFrJix37o
zMmbP~fCG+&fk}WJ#dq>B-!YnkmH{v@Ff63Zci=J=r|&?rpaK`%uJ+S~mO1*m&<2R9
z6{KKfK@^NutU6m5q(G%CxE%X`4xBR~fnx+J^cik42r%4YkYKpOpu%vE!HD5LgA>C;
zh5&{~3<(TR80r|FGE882#xRHBIm3L0m*Btx)lw4}co-EJxfxg)>KNo06&ZNIHQGXW
z04{_FU@fB(JOBk4SOnPrG6aHCoX#%>6O_PIW>kSxNQ|Ja6R7^H0R<*{Jp@T1KH4bt
zkTxheY-8xw-ohZOwS@s%UubP(m;w$fcw<c))>t$30~N@+j3C9Jf|f-a6izJAV(tGW
zZA2o{W8h|BV0g#C&hVarpWzdOG{aYLFTs%ECxbo1ABGr)zYN)o3=HLrj0{zbEZ{KG
zVqjs&X5e8|W#ndHVTfUnW>jO~0Vn?&Xc$Q|B!cU2NSleDftmj=gC#6r3{V0_9Ud?W
z3~b;=*%Y*Z5t{A;s-v~BW*yY50ty~kM8*Myf;KD^Ail>;VQNSz43wTgnj~2mwYM`s
zYu@GmucId{MotEHMlJ?^MqUOXMm`2<MnMKmMj-}sMqvh5Mp1?sMhS*0MoET#Mk$6#
zj2iGjt6~rZ2NkIIHw7A0LJUoe8sNUFG(#mg&>+1wAqHmte+*&Z!U@uO(?$t5O<1@w
ztz=*WbsHEx(ZUTBXpj^Tiz`8aLSq|4vX=HXhMB(5n%_@n8^c_1!a{2KX@aU&aMf>W
z#j3N7VG1bMf!i58x*#Sb16~GI%R3q7GcxGtLfcI`TNo6!Gh|z_fEZvYs5Mrs0*Pj9
zqHF?Hiy1T}Swz`(Ff4+0p9CaXp<Ix$qHHV)lg!wb|Gx%`9f-pa6}&g7CI>qVRKc@C
zq&Xxxpv8wKhy|8jY{jVqj#_q5yM+^0)r0#qmzV$Fs3Xa`l|exVwSF&SkY!+C)MH?0
z)MwylG-i-yG-1$WG-WVkG-I%2v|zAjv}JH-v}ed*bYLiBbY!S!bY^H`bYbXbbY+;p
z=*}>g(UV~rqc_8PMqh?qjD8F!8T}cqG5Rt*U<_ttWDH?cU<_q6XAEPsVhm@rWsGEW
zW{hTZXN(0Wm^211h71OAaNWwvu$e)ZQHxQVfsIjtL7Y*CQI~;}k&(d?R^KvuLX(p;
zqaHXBF*4XQaxv<GN+$+)MkYpmaD6+MVGW}JxV~M_FpJTUL70IRT+4#02#6|B-3n3l
zlYxZ+qUt9DE4YeqVBqHe&)~$s3eL$KU{aKwL5Be}w7~R_!2n#1iZUwwV&MG4z{Sp>
z^Or%6oxz@+LFXrf{x1fU%9BBr!2nCIUwIAczzky&I4~fcMA*O#BWV2sRI>?ql#79Z
zO^XF(^a!+sje#+pft4`>$pkiNFflS3!L8SUjtem{quX78q>~A*)0h!t=Pw2ZMiB-U
za2=e2mh-f?F|2@RCtXk;gcd%!TH6@b`00Q$);=><W>ESUWnILe080NRX6#zJqU>7R
z7&iE6K@_&IF)sgqAI#YTavP-42`;i3%NW=h%Nh6?s~AKWYZzo0YZ=rT>lpMH8yMUf
zn-~HZTNuI_8yI34+rfSSRcr1H0*pG0+6?Rr3=Any-!L$wFq(o(9}$KCMl(ip2GH1`
z2crcjxqy=fDCA`rKqB86n8C?Fj)9r~KZ7O%J2(NDvNKwO;+@fwk&%Jn2ZJ(lDFs>w
z0*NPP9tI9jRl^tp&Hui;8FoZ&XV~Qj<%6ns@Sq{62c^A@AqpB~lC0X>7}i*^f{U5m
zpkYL?$d;K5f;w7~th(D6_CZwcW;hhNo#BWTn<N{kL^{gE5DqFEPJlXl3qh=tps_ho
zD|YQ|3}?{GiCRQCv5n!p8K;((B)cf5_BMtMVB5KLLEVtcpphRvNj4B0WIR|9;v_EZ
zZ46K+aUq-p>0W3_vV(*~Id?ED(vk#ABh@YS%l}7%N@}4i+Zkf5*qO~ZL^*VKGF)S1
zSi~SL$-ad_K$K$_!z~5|h%Z|>7?=NlAjuByl}NJdY-3241do(K(nb}790LPmF9Qc-
zKZ5|{L<UL5DGW-CQyKIaXE2yE&SY?4oW<b9IGZ7YaXv#L;{t|k#zhRJjEfl>8J99F
zWn9j%m2m~b0mhXKrx;f;TxML&aF=ln!)wM(jJ%AS83h=(FbXqnW0Ygu!KlNylhKZG
z2crw)9!77*y^Mj3`@!j~ih+k=D?<dMFoQ4y7sFD93~-9$WN2jQXS8AvW?*MjWKd?b
zX0!q28^#b=Dr5{{v}O3mz{tSC=)-6S9^VvTbYZk-bYNg+kYu!GbOaY#N{mJf|3QTo
zLn6axMkhvR1~x`H1~Wz%hJOs~;MD5Dzz((lI|CQg*6$4LP;)^e+7NSH;pYBeU}1om
z`<;OmYOWi!GZDeS@t+|A+LeIxBldvOI)f+!!yg7Ac7|hr85F<*I)54B7}*&_|1+pS
z^971>c7|gN3`~C+ctI}t#h}E%1X@c3Z4kyXFoQyap#_u^v_V4*yBY39ZfAG^DkikI
zF+2<hMfRgv3@IS`F?f7g2Wi9sQ5iabk~z4x1679LijEcBL017)cV5RCWOP9c$gt#0
z20qZ>!!`!@Z4A%Cm;c|h{QoRnP{R<ClE4jU#={Jpj7J!R7>_bYG9F`4WIWEG&3J;r
zkMSf!GUF+RLdMe!HH_yN>KV^7G%;QPrvOk4_%Y}~D<*A*5NHL)z|aDVZH5;3fKLk}
z3nOT_jgz68(Van<ftf*wp@`9g(UXA%9G{?y38WJ|lEnZ~1*)PTs=OFjz$KD21M6P~
zNpM8m16Mhq{@rf|=bsErOwd6gZw4mNx+`dqJ25bUCl?w)K@J<j0S$H_MsLzUg$Ot-
zO|95;k%F5YG;jhQ@pk~Rz)I|`I3zhh?Fu$%aC3l%d}Tm_UfUSX%Pe3JkYoYzAYl&)
z?rD-Ni0}sY<`}Oqa57$HP-ncx;Kg{IA)E0ALj~h4hHA#!40Vim;Nj~94POohb!hm4
z#`zoJ;oArg-$q6sMs4tbb|W~XnHe}4Dj0o1xd|M;ps;6P0I3HJtwH3zLqk;-6sm&Y
zP}TX%pagD->OeyE7XvI@{TP@)%g-R;%CL@s3EYG?(g6>b?F5a8!Mk#DNDXamP<zq^
zG#16mvS#`J`{1e<lJLYpCNMr=P+)w>pw0M*L6`9fg8}1Hu;)QN4+REZ@Mr|65sf^e
z3?BXjjWRRZf|3;2d!Wh-H0}&eKH#Ln!@vyb+$$jb;LpGWTF?gdLn>(PI|Bm)w~qEs
zhF44sI~d-9Vu=~t=LSy}F}?&l29h?p;i1mW7yzB4;RcsnOkgKKLKq|m3SkBYken+#
z_(0PRmJC)<t1F;Zi-D{LhYqjyE{4wx3_i>MzXx~PAVI_j>TEH-W#D3b#~{M^0m(ID
zaMy@227&8!1_m+6peookkN^RRe22~su`n<(2tzYTuz(|IX)mP4W<X5FY-5-L3IZlX
z5HN6oErl2dZI%f*f>yF((L9$3%?!+pA)uBYV<=-70|Nse0~2F310!QNn2cmhWME+6
PVqj!UVoYI7V~_*@8+H@#