From 00eabe56a5d32631931c86c7af911e3a7f675b17 Mon Sep 17 00:00:00 2001
From: Ghost_Element <danieldw@edu.aau.at>
Date: Wed, 10 Jan 2024 21:46:15 +0100
Subject: [PATCH] .equals replaced with ==

---
 .../shelved.patch                             | 126 ++++++
 ...Checkout_at_08_01_2024_23_40__Changes_.xml |   4 +
 .../FinalizeTests.class                       | Bin 0 -> 4084 bytes
 .../NFAImpl.class                             | Bin 0 -> 13767 bytes
 .../Transition$TransitionBuilder.class        | Bin 0 -> 1673 bytes
 .../Transition.class                          | Bin 0 -> 1866 bytes
 .../shelved.patch                             |   0
 .../FinalizeTests.class                       | Bin 0 -> 4084 bytes
 .../NFAImpl.class                             | Bin 0 -> 13767 bytes
 .../Transition$TransitionBuilder.class        | Bin 0 -> 1673 bytes
 .../Transition.class                          | Bin 0 -> 1866 bytes
 .../shelved.patch                             | 386 ++++++++++++++++++
 ...Checkout_at_09_01_2024_17_27__Changes_.xml |   4 +
 ...heckout_at_09_01_2024_17_27__Changes_1.xml |  24 ++
 .../NFAFactoryImpl.class                      | Bin 0 -> 536 bytes
 .../shelved.patch                             |   0
 ...e_Update_at_10_01_2024_21_36__Changes_.xml |   9 +
 target/classes/ab1/impl/GRUPPE/NFAImpl.class  | Bin 0 -> 17633 bytes
 target/classes/ab1/impl/GRUPPE/Tuple.class    | Bin 0 -> 929 bytes
 target/test-classes/ab1/tests/myTests.class   | Bin 0 -> 3605 bytes
 20 files changed, 553 insertions(+)
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40_[Changes]/shelved.patch
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40__Changes_.xml
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/FinalizeTests.class
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/NFAImpl.class
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/Transition$TransitionBuilder.class
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/Transition.class
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/shelved.patch
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/FinalizeTests.class
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/NFAImpl.class
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition$TransitionBuilder.class
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition.class
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/shelved.patch
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_.xml
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_1.xml
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/NFAFactoryImpl.class
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/shelved.patch
 create mode 100644 .idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36__Changes_.xml
 create mode 100644 target/classes/ab1/impl/GRUPPE/NFAImpl.class
 create mode 100644 target/classes/ab1/impl/GRUPPE/Tuple.class
 create mode 100644 target/test-classes/ab1/tests/myTests.class

diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40_[Changes]/shelved.patch b/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40_[Changes]/shelved.patch
new file mode 100644
index 0000000..a6bb22c
--- /dev/null
+++ b/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40_[Changes]/shelved.patch
@@ -0,0 +1,126 @@
+Index: .idea/workspace.xml
+IDEA additional info:
+Subsystem: com.intellij.openapi.diff.impl.patch.BaseRevisionTextPatchEP
+<+><?xml version=\"1.0\" encoding=\"UTF-8\"?>\r\n<project version=\"4\">\r\n  <component name=\"AutoImportSettings\">\r\n    <option name=\"autoReloadType\" value=\"SELECTIVE\" />\r\n  </component>\r\n  <component name=\"ChangeListManager\">\r\n    <list default=\"true\" id=\"f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e\" name=\"Changes\" comment=\"changed a bit\">\r\n      <change beforePath=\"$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_08_01_2024_18_35__Changes_.xml\" beforeDir=\"false\" afterPath=\"$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_08_01_2024_18_35__Changes_.xml\" afterDir=\"false\" />\r\n      <change beforePath=\"$PROJECT_DIR$/.idea/workspace.xml\" beforeDir=\"false\" afterPath=\"$PROJECT_DIR$/.idea/workspace.xml\" afterDir=\"false\" />\r\n      <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\" />\r\n    </list>\r\n    <list id=\"39d4ccb3-eae9-4ed4-996a-5a13f44678fa\" name=\"Changes by carol\" comment=\"\" />\r\n    <list id=\"2bf04d9d-9125-4ed6-9018-847e14e9822c\" name=\"Changes by danie\" comment=\"\" />\r\n    <option name=\"SHOW_DIALOG\" value=\"false\" />\r\n    <option name=\"HIGHLIGHT_CONFLICTS\" value=\"true\" />\r\n    <option name=\"HIGHLIGHT_NON_ACTIVE_CHANGELIST\" value=\"false\" />\r\n    <option name=\"LAST_RESOLUTION\" value=\"IGNORE\" />\r\n  </component>\r\n  <component name=\"Git.Settings\">\r\n    <option name=\"RECENT_BRANCH_BY_REPOSITORY\">\r\n      <map>\r\n        <entry key=\"$PROJECT_DIR$\" value=\"3-daniel-hat-a-skill-issue\" />\r\n      </map>\r\n    </option>\r\n    <option name=\"RECENT_GIT_ROOT_PATH\" value=\"$PROJECT_DIR$\" />\r\n  </component>\r\n  <component name=\"GitLabMergeRequestFiltersHistory\">{\r\n  &quot;lastFilter&quot;: {\r\n    &quot;state&quot;: &quot;OPENED&quot;,\r\n    &quot;assignee&quot;: {\r\n      &quot;type&quot;: &quot;org.jetbrains.plugins.gitlab.mergerequest.ui.filters.GitLabMergeRequestsFiltersValue.MergeRequestsMemberFilterValue.MergeRequestsAssigneeFilterValue&quot;,\r\n      &quot;username&quot;: &quot;rawalcher&quot;,\r\n      &quot;fullname&quot;: &quot;rawalcher&quot;\r\n    }\r\n  }\r\n}</component>\r\n  <component name=\"GitLabMergeRequestsSettings\">{\r\n  &quot;selectedUrlAndAccountId&quot;: {\r\n    &quot;first&quot;: &quot;https://git-ainf.aau.at/rawalcher/theorethische-informatik-gruppe-10.git&quot;,\r\n    &quot;second&quot;: &quot;2afc8825-f511-4d8a-8cc1-901875567c84&quot;\r\n  }\r\n}</component>\r\n  <component name=\"MarkdownSettingsMigration\">\r\n    <option name=\"stateVersion\" value=\"1\" />\r\n  </component>\r\n  <component name=\"ProjectColorInfo\">{\r\n  &quot;associatedIndex&quot;: 2\r\n}</component>\r\n  <component name=\"ProjectId\" id=\"2afDcX9p9UZiDe6ife9RGZcJjKQ\" />\r\n  <component name=\"ProjectViewState\">\r\n    <option name=\"hideEmptyMiddlePackages\" value=\"true\" />\r\n    <option name=\"showLibraryContents\" value=\"true\" />\r\n  </component>\r\n  <component name=\"PropertiesComponent\"><![CDATA[{\r\n  \"keyToString\": {\r\n    \"JUnit.ComplexTests.concat1Test.executor\": \"Debug\",\r\n    \"RunOnceActivity.OpenProjectViewOnStart\": \"true\",\r\n    \"RunOnceActivity.ShowReadmeOnStart\": \"true\",\r\n    \"WebServerToolWindowFactoryState\": \"false\",\r\n    \"full.screen.before.presentation.mode\": \"false\",\r\n    \"git-widget-placeholder\": \"3-daniel-hat-a-skill-issue\",\r\n    \"ignore.virus.scanning.warn.message\": \"true\",\r\n    \"node.js.detected.package.eslint\": \"true\",\r\n    \"node.js.detected.package.tslint\": \"true\",\r\n    \"node.js.selected.package.eslint\": \"(autodetect)\",\r\n    \"node.js.selected.package.tslint\": \"(autodetect)\",\r\n    \"nodejs_package_manager_path\": \"npm\",\r\n    \"project.structure.last.edited\": \"Project\",\r\n    \"project.structure.proportion\": \"0.0\",\r\n    \"project.structure.side.proportion\": \"0.0\",\r\n    \"settings.editor.selected.configurable\": \"preferences.pluginManager\",\r\n    \"vue.rearranger.settings.migration\": \"true\"\r\n  }\r\n}]]></component>\r\n  <component name=\"RunManager\" selected=\"JUnit.ComplexTests.complement1Test\">\r\n    <configuration name=\"ComplexTests.complement1Test\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"MAIN_CLASS_NAME\" value=\"ab1.tests.ComplexTests\" />\r\n      <option name=\"METHOD_NAME\" value=\"complement1Test\" />\r\n      <option name=\"TEST_OBJECT\" value=\"method\" />\r\n      <dir value=\"$PROJECT_DIR$/src/test/java/ab1\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ComplexTests.concat1Test\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"MAIN_CLASS_NAME\" value=\"ab1.tests.ComplexTests\" />\r\n      <option name=\"METHOD_NAME\" value=\"concat1Test\" />\r\n      <option name=\"TEST_OBJECT\" value=\"method\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ComplexTests.union1Test\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"MAIN_CLASS_NAME\" value=\"ab1.tests.ComplexTests\" />\r\n      <option name=\"METHOD_NAME\" value=\"union1Test\" />\r\n      <option name=\"TEST_OBJECT\" value=\"method\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ab1 in ETI_Abgabe\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <option name=\"TEST_OBJECT\" value=\"directory\" />\r\n      <dir value=\"$PROJECT_DIR$/src/test/java/ab1\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ab1.tests in ETI_Abgabe\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"TEST_OBJECT\" value=\"package\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration default=\"true\" type=\"JetRunConfigurationType\">\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration default=\"true\" type=\"KotlinStandaloneScriptRunConfigurationType\">\r\n      <option name=\"filePath\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <recent_temporary>\r\n      <list>\r\n        <item itemvalue=\"JUnit.ComplexTests.complement1Test\" />\r\n        <item itemvalue=\"JUnit.ComplexTests.concat1Test\" />\r\n        <item itemvalue=\"JUnit.ab1 in ETI_Abgabe\" />\r\n        <item itemvalue=\"JUnit.ComplexTests.union1Test\" />\r\n        <item itemvalue=\"JUnit.ab1.tests in ETI_Abgabe\" />\r\n      </list>\r\n    </recent_temporary>\r\n  </component>\r\n  <component name=\"SharedIndexes\">\r\n    <attachedChunks>\r\n      <set>\r\n        <option value=\"jdk-21.0.1-openjdk-21.0.1-f644763e9732-f98dd351\" />\r\n      </set>\r\n    </attachedChunks>\r\n  </component>\r\n  <component name=\"SpellCheckerSettings\" RuntimeDictionaries=\"0\" Folders=\"0\" CustomDictionaries=\"0\" DefaultDictionary=\"application-level\" UseSingleDictionary=\"true\" transferred=\"true\" />\r\n  <component name=\"TaskManager\">\r\n    <task active=\"true\" id=\"Default\" summary=\"Default task\">\r\n      <changelist id=\"f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e\" name=\"Changes\" comment=\"\" />\r\n      <created>1704700820495</created>\r\n      <option name=\"number\" value=\"Default\" />\r\n      <option name=\"presentableId\" value=\"Default\" />\r\n      <updated>1704700820495</updated>\r\n      <workItem from=\"1704700821945\" duration=\"5461000\" />\r\n      <workItem from=\"1704712375384\" duration=\"4940000\" />\r\n      <workItem from=\"1704717343016\" duration=\"2934000\" />\r\n    </task>\r\n    <task id=\"LOCAL-00001\" summary=\"changed a bit\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704734947115</created>\r\n      <option name=\"number\" value=\"00001\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00001\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704734947115</updated>\r\n    </task>\r\n    <option name=\"localTasksCounter\" value=\"2\" />\r\n    <servers />\r\n  </component>\r\n  <component name=\"TypeScriptGeneratedFilesManager\">\r\n    <option name=\"version\" value=\"3\" />\r\n  </component>\r\n  <component name=\"VcsManagerConfiguration\">\r\n    <MESSAGE value=\"progress of 7/1\" />\r\n    <MESSAGE value=\"changed a bit\" />\r\n    <option name=\"LAST_COMMIT_MESSAGE\" value=\"changed a bit\" />\r\n  </component>\r\n  <component name=\"XDebuggerManager\">\r\n    <breakpoint-manager>\r\n      <breakpoints>\r\n        <line-breakpoint enabled=\"true\" type=\"java-line\">\r\n          <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>\r\n          <line>171</line>\r\n          <option name=\"timeStamp\" value=\"10\" />\r\n        </line-breakpoint>\r\n        <line-breakpoint enabled=\"true\" type=\"java-line\">\r\n          <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>\r\n          <line>15</line>\r\n          <option name=\"timeStamp\" value=\"12\" />\r\n        </line-breakpoint>\r\n        <line-breakpoint enabled=\"true\" type=\"java-line\">\r\n          <url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>\r\n          <line>447</line>\r\n          <option name=\"timeStamp\" value=\"21\" />\r\n        </line-breakpoint>\r\n      </breakpoints>\r\n    </breakpoint-manager>\r\n    <watches-manager>\r\n      <configuration name=\"JUnit\">\r\n        <watch expression=\"((HashSet)((NFAImpl)testInstance).acceptingStates).toArray()[2]\" custom=\"java.util.HashSet,ab1.impl.GRUPPE.NFAImpl\" />\r\n      </configuration>\r\n    </watches-manager>\r\n  </component>\r\n</project>
+Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
+<+>UTF-8
+===================================================================
+diff --git a/.idea/workspace.xml b/.idea/workspace.xml
+--- a/.idea/workspace.xml	(revision b1b97fff10c85cc1d368f8304a716300729e71a3)
++++ b/.idea/workspace.xml	(date 1704752627213)
+@@ -4,10 +4,8 @@
+     <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/shelf/Uncommitted_changes_before_Update_at_08_01_2024_18_35__Changes_.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_08_01_2024_18_35__Changes_.xml" afterDir="false" />
++    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="complement1Test works&#10;fuck yea">
+       <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" />
+     </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="" />
+@@ -53,7 +51,9 @@
+   </component>
+   <component name="PropertiesComponent"><![CDATA[{
+   "keyToString": {
++    "JUnit.ComplexTests.complement1Test.executor": "Run",
+     "JUnit.ComplexTests.concat1Test.executor": "Debug",
++    "JUnit.ComplexTests.executor": "Run",
+     "RunOnceActivity.OpenProjectViewOnStart": "true",
+     "RunOnceActivity.ShowReadmeOnStart": "true",
+     "WebServerToolWindowFactoryState": "false",
+@@ -72,7 +72,22 @@
+     "vue.rearranger.settings.migration": "true"
+   }
+ }]]></component>
+-  <component name="RunManager" selected="JUnit.ComplexTests.complement1Test">
++  <component name="RunManager" selected="JUnit.ComplexTests">
++    <configuration name="ComplexTests" 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="TEST_OBJECT" value="class" />
++      <method v="2">
++        <option name="Make" enabled="true" />
++      </method>
++    </configuration>
+     <configuration name="ComplexTests.complement1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+       <module name="ETI_Abgabe" />
+       <extension name="coverage">
+@@ -126,20 +141,6 @@
+       <module name="ETI_Abgabe" />
+       <option name="TEST_OBJECT" value="directory" />
+       <dir value="$PROJECT_DIR$/src/test/java/ab1" />
+-      <method v="2">
+-        <option name="Make" enabled="true" />
+-      </method>
+-    </configuration>
+-    <configuration name="ab1.tests in ETI_Abgabe" 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="TEST_OBJECT" value="package" />
+       <method v="2">
+         <option name="Make" enabled="true" />
+       </method>
+@@ -157,11 +158,11 @@
+     </configuration>
+     <recent_temporary>
+       <list>
++        <item itemvalue="JUnit.ComplexTests" />
+         <item itemvalue="JUnit.ComplexTests.complement1Test" />
+         <item itemvalue="JUnit.ComplexTests.concat1Test" />
+         <item itemvalue="JUnit.ab1 in ETI_Abgabe" />
+         <item itemvalue="JUnit.ComplexTests.union1Test" />
+-        <item itemvalue="JUnit.ab1.tests in ETI_Abgabe" />
+       </list>
+     </recent_temporary>
+   </component>
+@@ -192,7 +193,15 @@
+       <option name="project" value="LOCAL" />
+       <updated>1704734947115</updated>
+     </task>
+-    <option name="localTasksCounter" value="2" />
++    <task id="LOCAL-00002" summary="complement1Test works&#10;fuck yea">
++      <option name="closed" value="true" />
++      <created>1704752454444</created>
++      <option name="number" value="00002" />
++      <option name="presentableId" value="LOCAL-00002" />
++      <option name="project" value="LOCAL" />
++      <updated>1704752454444</updated>
++    </task>
++    <option name="localTasksCounter" value="3" />
+     <servers />
+   </component>
+   <component name="TypeScriptGeneratedFilesManager">
+@@ -201,7 +210,8 @@
+   <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="complement1Test works&#10;fuck yea" />
++    <option name="LAST_COMMIT_MESSAGE" value="complement1Test works&#10;fuck yea" />
+   </component>
+   <component name="XDebuggerManager">
+     <breakpoint-manager>
+@@ -218,7 +228,7 @@
+         </line-breakpoint>
+         <line-breakpoint enabled="true" type="java-line">
+           <url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>
+-          <line>447</line>
++          <line>448</line>
+           <option name="timeStamp" value="21" />
+         </line-breakpoint>
+       </breakpoints>
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40__Changes_.xml b/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40__Changes_.xml
new file mode 100644
index 0000000..569e971
--- /dev/null
+++ b/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40__Changes_.xml
@@ -0,0 +1,4 @@
+<changelist name="Uncommitted_changes_before_Checkout_at_08_01_2024_23_40_[Changes]" date="1704753651010" recycled="true" deleted="true">
+  <option name="PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_08_01_2024_23_40_[Changes]/shelved.patch" />
+  <option name="DESCRIPTION" value="Uncommitted changes before Checkout at 08.01.2024 23:40 [Changes]" />
+</changelist>
\ No newline at end of file
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/FinalizeTests.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/FinalizeTests.class
new file mode 100644
index 0000000000000000000000000000000000000000..17e959cf098b9a1cb8c27f4e7235f4d31a592bea
GIT binary patch
literal 4084
zcmX^0Z`VEs1_oP(ty~OD49x5dEIbUX3~Y=H0$GV=iTXK-dFlH8Nm;4MC5#MgHko;u
zC3cJq%o>_uTnroxoa_u-JPh0nJd6zdiAjd~er}EdMfqi!DXB$_415I;rdwiiNq$i!
zBZH8JrVmsVRLq)_fscWook4(yL6AX+kwF|JU6NW{QmpTmnU|Q8S(O?B;xRI?r@>4S
zKsSSfL4=WkH8{jED1@6qj6s~8L4t=tl0k}*fe&PypPM7pHbw@Hq|(fs6hAjdMh008
zAA|>kONuh{(yignv*u=yVUT5KkmF&HXHZ~dV22vS$iSUh40BluI2@w57?c>4*%?%L
z7*rY57#S4ui_-P8O7k*H^s`C}GD}j6^b-p*^&N|gQ;SM6^Ye-s8MqU{9Jj=r;#5Wk
z7L6#)Fpzy3JPewkfEP@Idfl<KBtJK?BtH*ig*Fd^4#<2ih~|)@(o}W^Jw^s;kkjB!
z3NA@3Np-DAPAvf0CB(qMV8Fv*$Y8|Cz@A!>np|3v%E(}*0SiHEO&{#8O)Jey1{t95
z3f7dEl#^-=a)b#FgDHa<BLffA5gA4K<;9E)!N_6hoRe5wY)yi}nn)250x}V5odts>
zJA)MugEfN<G%7=i67z~PK@MYNU<XGfD4nT5lNCZ%1;KOzMR;nFH5Y>&gFQQg0}q2E
zgA*fz0w~lFsxUP$GH|99<>!LK6C7kX5(_>vtT`B57#Y|cot<3+LO>31<6&?I+0I^)
z4>p*K!IQy@oxz)j!H2<@kwF+?hjT_^QDSll$b0N%i8-aI{%MR15*p6PVFgzM_MATt
zLjXe{BLi1aYGO)oWo}Y_4kLplO2oj-gr;-6P6s(Rn1>;RA(WAU6&%!v{EN^C&L`nK
z3=s^Gj10VqDJcjkMh0O>IztFqg9?pkh8T8+SRRHrhImE>L9mZYOEPnyWlS+617A^U
zVQFSjs$YJdUujMbBZC^UCm=<UHF7vWg@hOw84QFNm_P(Gh+qK`tRRAo!2p!O(s>v%
z7%~|dSWELV^Ya)PL?90Ib901-2#5tzn9akG15(J7nOBlpRGbRV3m}O+9)^671aESF
zUUFhdYF;8FF|s)4r=&76@cU%urTUfTCZ!gIfD$nygOE>ta$-(cVo@fD4;5r7$;d2b
zWRL`BLoB78H6sHrtPC&&m4A#39GQ8=C5d^-sf-MqU~M3$GBQX8mFAUX=B9>a7H1~q
zq&nv1<(Gh+RLsaAgCh%q3`DlU2qb`HqcIxa1dVTs#y3Obo1^h9(D;@RzF1CTZc<93
z3e2NmVHIOW1|FnX31ej7f|q8+><n!vnFL-~FfyQ<26lvs5vBy#wJL^~65wD^F<@li
z3eGPrN=|jl%t>Wr5Q3GgAV(MLfs!jDgMd?heo1jjQDT8_YDq?ZN-;khLmwAIKf?re
zhKW23lNcs5GAMzRLTb;<yt4f4RDB<?e|=L+65&-DcP=vT401Y$YJynck(if~lUl6e
zlb@emT40S-UP3D_BoP#iA(aKG$jXVAgjk7RFLEY?n(UmIlM|d-l4>o$z{bzUFpZ0W
zk6}6wLnlKsKPSUXP!^iS!!Vm+4kH6sc1~()UTSbjVi6+)H?#-`rD}dohIt@`^LZE+
zfE4l+<dhcs7o-*?mgE=lvoS0JnYoyUp@X5BpN(NDh_{S~p&e|)3XsN?JPfNq8o845
za|?1(b5rw5_}LiNfE2FfVQ6A#W@O;;%*#tH0@qZj#f%Jsh%yRVU$8T5WMojqh(m1A
z!OpOmkwFf>Qbq<gNZc_fGVn1lF)%PNG6;d1JPZsBd<=}B1{VV(LjeN=gB1f410w?i
z1CQ2r21czN4D4GOcsDXIFfcI`GB7ZJnrI9RJPa%hd<;b(RS>ld#SA52GfNrR7?{B3
zWHK;;?NQa*!oVveyputciNQyECxbL2!wv>T?VSwjj0`ZY7QzBC237_J1|bF>1`!5P
z1~CR{1_=fg21&4GVh{tNmVugBWenvEj0_bF3=C`xj0}}vCse_m5D#^NJem{K85x9h
zwRbV-GcfF6Fb+ppF2umXz`!8Oz{4QNAjF`+AjhDEWU)NlVqpes7FWY9?qpyFJJk@y
z;vEd;Lc-e^Y=xY+F}MmO?qKlP#^AS&A!sK<7!xQc)EOBNPSIlEVqjp<W8h&hVBlpi
zWDsI7Vi0FAW{_bpVNhZ)Wl&`>V9;VPXE0!}KysoX+=;4Komc~RViMGea>z~;($$XK
z!4MU`iy;9$Xdv-o!@$E}#~{Gqz#z$B#~{n#gk-lI+-@PPcGnVXcOrJX-57WnJQxHR
zyci@IJQ!pdd`Pgn4sLfSG)+jN`Fj^b61uf~49pA+3;_&03_%PM3}HytNy5F#i`A?3
zL|B)M-MT0S9)=hO35Em`tZRT<M<7;H(Cvi8Y6=4nLmGnsLk5E+LmGoDLl%<VgkrT3
zZa40bO+~jB60&&=JPZX45)36s*5M6V0WMJC2`yiYq2&~(mex*&G$sb5Yz!(37#NDc
z#`1s*C{A!RF)*|+Ffgz%Ffz0XaDfVJY(`~aF)EILQ5_7;*o?}>VpIqLqdMV6B{DFB
z-7c?%x8Oh&8FCEl3=9lP42%rQ3~UT44BQN=3<3;l3}OuG43Z2=NEXYZ2L}T)Ll?M=
z?`G&>U|{fIU}xxMU}l)YFqL5nlr;m+nhR$wgtL~wS<B(9)eKV@)`1IiCI&kO3x@R!
OoD3TnHZg2rkOTm4)Q5}!

literal 0
HcmV?d00001

diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/NFAImpl.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/NFAImpl.class
new file mode 100644
index 0000000000000000000000000000000000000000..a18bce3c1888c22eef9a493224f2d51db05662c7
GIT binary patch
literal 13767
zcmX^0Z`VEs1_oQkb}j}c24;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!pOiF#m->J$RG`h2DmWTxvmvp$LHs9F&Ho~b1|4On6fjN@i3S(STHj1fz*e<z0JtL
znO2ma3)aWTAfkcn3TR}3!rF?5!5S3M9Lf24C5f4N#UN8{c^K?KMzWXWgY|>N9C#QU
z8JrjyxQbE}Q-UjVlk#&I8N^YHMR*QmvI`G`D}x&&14m{_YEfcIei0*s7)&`hx;>%d
z*4zvp44&)^UOWum3_gquLf{}pQNqZ;o{?DWms$Zz0vei8ART@@4E_uOj0`M!U}01r
zLejZ47Xt@F5D!BzLkJ@SZ(>Rca_|Ui_@IWEwPqMQLl{bSfdmxDln5S%NQNjz2EoLX
z6i1Xagq9p3TC6q0K)Pah7-AXX7#ReUGZORCQ$5rCQj=4QixZ0~85vBG6ERd5B&C48
z4$2Hz<1B$8k)0t4lyZC+8Q4Ky@N;tnS(d`XkP3=5{`Axm&%DeMSVjfOrGtusC{VOy
z@-SpEWHU0bfjp9v!^j{BbqCm1=lq<U)MQY$vDS<NY0Twe$YaQ7WDtcYNA-F!BZCmK
zZm^rfxET@{3V9fc7(mkLsU;YCBv6t8l9ixhq7>xPGCa-#2W$loLnT8MBZF9RVp^&r
zdXyA1GFYLz3oU5DagU{tv(^N=zlMjQ7UX`u^wg3Nc%CZeW~gUyVP|MyWDr3lQiKOU
z`J@Tt{$@r78>j=oMFUFof<+K{1>!KUAXJ%V7zaZuBLf2{AX7j@2M<Fh$TghlsU_eH
z33iAT7egpR4-Z2xDF3ph7M3RF6oZ8Nc^D>u@)3Jxv1@KYNhK(=OyXgf45|v)ic)j)
z%ThrxJC%oF8YpJLDLN+y$(JD689WR#K^g?ppaqj-X-R%=VhO11;b54}!!U<oE+YdM
zq;$+p%`0JK;MULthpL~OqczCYvq8iH9)^Vsix?SLOY<`G^FRd=Tn$1sJHrx;TEjQ7
zfQw-<12Z?na)uS`3@dpURxzwbsStb<3m6%g3rb5E87z<k8=Ci#!WAlloSmRTAk)|K
zFsuU^&6A#5;$P&FnwD6aQv%8=8+aHtg2I3`IVUx-2ox%tLCJaxBZDAH3I-*64u)-v
z3><l><-sA2K_MWuJ9rp&GVEex;L1x&bOaYY1&j<bkU|H0!UO5r!^5zbVILy{e{z0a
zS!z*<pPOSzzKfe9BZCPZt>7@lW+=$W1EAEi1(Y%l@h}`_IKs%lU6Kz<e~v{(iIt2D
zEE<~8&LD-yco>c|oM2?&OD!nQ%*oGl&dDz>ElOo%(1ZprxQGDx7Hl6Vo}obsmjD@a
ziihDe!x=^faad|~Oe;w(LZmN71}${+obeiXj)&nq!v#hLfy`pmvV@UA8r>v>K~d}s
zmtgfX*nME{`eYWDa4}p2rK_u;hQ>8U20lbqhRAX-+~8rj$#9F2ffrnqrleN*r-7Rv
z#u(P2>a~W32Xby^XSjn>T=-<>Wv8Y<Y`P6{$9<4H9xyWSBg_gcO)X93X1LGL4<a7(
zFgyX*bOrf2IiU8(GaiQL3@;cNIFmCHi^4!n4RAxwnVaD%gB1tEYeoh}0}%Ty55qf#
z_lyiI#hF#9U?rYH3=9k(c^E!1d}d@2&rQrub<WRAPAmz}EXi=r&nqrT%quAd)o7kr
zeexB>mBA&6$=O^CUqDTfFASL=RzHaN#l!F$<X+~2`~ndFFAu{%hX0HVECr>-8H@~S
z&_DzS5;Pwo+XfZlX1L18$iv9Q$jr#Vo|y-Z1dz+H<ZDkZMpi~Pc1Cs{Mh=k2APrEk
z`JQ<tsp+6583(8>18SoRF)%W6@i2U1<VJG}tn@{)04l`6$jivU5)$MX07~CApeX3!
zV&GsD<Y5$I*uu!b4XWj!?L$Te&fv`Syu=c4&QXRK22Ov$sU<cLF4$#Iv+b-I85AMH
z2vwk39g$(IL2A^{)qqnA*d$P11~)vx3R#@<Q&K?<>&(1VztY^K)S{5Yq#ST_JwG`y
zCoHij6U2uKGG;O|FnTgFu#{wE7BezPg7Xiyl7x|gtGFbw2vYwrGVp>U-#4)UYK|&;
ziHO6iS}5ueRi_QuVl+Q%peRNQKU80HAsYOQ3<BteF*0z$+s?&|3}QYgAyHY73iX8w
zG-=|A3C%D@23BzI1(AFZ$`O$Qk6w@lc2I$vnw-tZz?_$s$jFd{VGkCKxFZ~HHrSuo
zVhdy`Z(eFSB0w1#I1-bS!L0{qMFr}CF*5L%q~;bNloc~Fu;!O!fN~5c*mO`S&&a?5
zuD<<1^^gcy8nqxUW@O+)v8|Yqfh8>`F`bb?1j!rl7C$2ca&m?VV@(4*nRz9tMa7Ut
zDa7S&eva{u5T>7-W4se116xsQacNEoBLi<TxHwDAO9ZuH85wx;Qp?>C-5@TIBO!en
zMh13hH3#ZCp|$7*P>cb4o3|)6FEKYY1ssBC9arDP0&7MFk-XG$e^AgNH@+DeOpyY>
zH?aUqzJMqIXJvTIGBR*w=cK0Qr3RNI7BMmi<>coVI3*@$BVvk?fu|s+wAjA@*1O`*
zOD#vWnkhMhk%7^fk%28IwFKNT6-BZOk%1T)*wYfTQ^Ece%u6jtja)_sf&8M(bWl4G
z)(K{0;07s!7kM1u4s0f9P=FiK!!8cbFGBCBLp`S%#mK-?4wmKwQQ&%+k%1}N85Dn|
zMMbH3kW!|YoiT!ufhQSBh>?LcGY{P46G}--M0IB|BLinjS|Tih1R!1o=S@&;Yt6{O
zmy(u<2tZI$F9cPzj0}QEYQc4{H6sICUTQhG;e{N5AcLSW2sRk4OoIB*4qOnMp&Lr9
zM)qV_!wXc<fJzNy_kjyuYeoiDB;&ziP~*|lQ6N!e4XDNeWp!vpjMsCZ;Tz}xKoBv8
z<80mGaIroyhQbRcP;z1}1`Q775Ty@X(t`a*d}KmH1vzLL8JLSpiWnI@p_U@cA;%1k
zN*}9<ycvnbi1Z1nl#4)p9IoK}(xT*4w@gqi&I28d(*yZ~kwL&IKfk27q$sh#H?<@q
zKc$$Tjj@7@v68Whov|9!%Bf*wPys20jQ?fkmE~ur>O;~gr0M6Dm|T(%8jzTQ>=UR$
zh@l>dc_}%m#VS7e`Prof))4PudKfH%qA{ehAQg-9Xe1M$tv%%MfEwYPn3EHnS(0ka
z!C1%0z{tqK*ucoZ#AwLKz~h;hms;eUlUQ7wTFlPa%*ddM;YDmNXJ>3>WRSzJl#ziA
z;!Orc1`Y-$21bSi26hG^(6A)~Bcm__0|OJI2!jx4m=VqwWe@@loiZ>m2!Vzf;o>3;
zOrW7fIA4r`2{fvR!q;QaXJBBEV_;-pWr$*6WE5v$VED$s%)rdRz>u%Coq<tHdn*IG
z)@}yg$n6aLTNwnjwlD~2?_>~RVhBfwN+FoC2&MvpsVtCaD<e>~m_b5o3xl%Eq#X=u
z5Hnhs7?=Nlp~bwFL1!Za0|PUo1Oo$u83Qi^1A{073xgN~CxbYH2!jNJJcA^I7K0Rn
zDT6eF1A`2MH-jug2!k9$GJ`BbCW8V)9)l92Bm)D30s}LHAA>Zb6r(f)6UY;cGK{he
zAdt@}$H2qD$SBXiz#z=P^q;{GG)m3E&JfDT!0?Mfih+@#lVJ-36F3a?85kKD85kH?
zLH^wU4t9{s*ua8nV4HZrY*vW*(5O*hU<8faU@=4r-4J7(hA1*HG8AETi7dJy7B~$7
zxg?dr0ve^r-eE^K#1_*K21ZcV0*f~k&^0?^YKDe|5(6V>=o4zl1qLQ?eB@|tVbGb$
zz`dKnAaXl{(SA_)YHwpO-pOFe#4w9N5Wxp0F;HsT#$bacYXeC<+S?fHkAbx)fS3?L
ztt|{v&;*J|QCbXK3=9lz4D1Z<4Ezk94Dt+K47v<H47Lou4BiX@3_%Qm3<(Uu4A~4J
zVE=%!3Ijt9ByJf%EM-O&Xxd?8VBwdQ6=76mU|?WjU}P|0U<3_iF))J@&I$%51{MYe
z1|u|oYVTxlW@PZy*~#F}$S{*ZRA(oHFC)VN1`|Im-E9nk%m2Rsxt0Z-{-qe$7#JAB
z8Q2*j82A~Y7&IB88T1%p7z`O=!L9?PaZLtRMv$988Py2xP9tc+pvJ%eO6wqZFvu{9
zLS4?oz|8-LfsLKP;}?Sz!u`<rQfFWU4KhRHs~8$zYH0od#}7QDWidipjDeMbfgzEB
zogs;VpCN@oiXoLjl_3r6Zb+!A!CkAyr~z^%I7c!wF!Cdu#K6dq$B<8EkcNVTG#pEi
zW-_odWHInF<S=M5<TB_n<S`gB<b$0C3sR7S(1TQnL70J&5jjYO7)6K*QcVU%&_FRX
zNOv%>fFo8Hk`}C3Bw3)TK^DXUCx=igR$VPgR-J7O(c2ipm;b+yNEJfhbXCM4$570m
z$xy<e!%zx#x(Nd-gB$}lI4nV7uL}=fT}ZXTz`&r(s0AwXz$|S>Sq5gXcOdbh%K-Kc
zSWb&kgn<bhAKVN~e;7ExNkti&Ky(-wL8GY<->~>Gurcs3Ffe&T5(tm>PKJ0!hFOT5
zy_<m}QfnJS@^*$aU!5(GnqwzJ1`|WLj@A|i*=-Ctpjt(HCqn@v!*+%eKd`8-&NhZ}
zkoa~6ek&I3oeb5C3_BU>7#XZsC0U`NWddS>L(9a9Z8w8Sq$Jxm24fIm4<c-~Gc;PU
zOR`9^Lz3z8|0jf6tXL&kz)D#ewRbYKfoyDqNNew8XouOsCdme|gHZs)0^1R4#SU^k
z$TV;Xr3d4I$|s2HL2_M83^N(7>uh0=1@S;~%Nb5+NrLrmV~DomfO(1&6xYs-3|3r{
zToB6`5<o1lWhPeKlH4HAuy14Np2;8qb}|P@$R0$1y#`icBZ;g6tc80UgS{jN$n)Hi
zoRZuS-!1<?2jWIZAR_G4fZG`gvJ+|?KiC5tFuhkKIjvZh|9b;-GCX`3T;SnjV#N;9
zY`l%3Zzh8lNO&S610=9@wlIL@>_G}ZZikx7z_$GV4joCBZ46UDkuC+Iw=qoD0o5&#
z5^x{5SyIg)z)-^=!O*~<!qCKE#L&WE#n8s!!O+eS#L&eM&CtzI$I!#j!qCewjiHZW
z0Yg8-VulF}%NZsz>}QzF@Q7gw!v}_`41XA=G4e1>XOw1`!>G<MpV5F}5u-oDV#XMT
zC5(j(%NXkzmNQOfSjjk-VHM*7hSiLR8P+hKWmwC2lVLsM9fl2z4;VHvK4#d;_=aH{
z<2Q!wOiT<rn0Og>GKnzkW-?^h!(_s+kI9_j0Fy1lAtqObBTSwQ$HDn>1_M9CGzKn4
zT}BlKc7{3zC2)Do#^}%B2WD|I9%c|@)MMab;AT{3*vY8Rz{9}7Xuz<6(SSjifs^48
z!#{AIW@lnzFaqmf2W2-{?q>34G-NblU}R8XQfD+~lx1LI@L*zQG+_{CU}lJB{J?0+
zAk4tRu$*xTqZtDa11sYjhIj^7Mso%>aNgHqV1d}hD9XSI(a9(R)5$2xzyeio!N3MC
z58@ew1la#G_=Bns4t9nFc2MCU%FZCl&fo!RK3V+*%}a-}GkE-A@MC8P{l_57&JYTb
z|HEL;&S0YWlY!?C0}nfchxRW9rXLK<zhFhoZw7ZJ<g%a9l3@{~lwsJ;zyvNcEpe4H
zTH6?A`D*WEn8(QAr=z=*VLlTBq+p!~DKkK63eu{SV_;`sU^vGhz;K>Hg5e^AEW;%R
z6^6?Ux(rts%owhM<IE0X87zz$ETLg6%OJyO#c0I9#Gt|;%4p4K#K6p;%fQ2E%xJ{G
z!eGY0%xJ@C#J~y;DHaAM0d^Gc*uuQS3~FX`GB7YMz~voqp}B>D9kbBf&9FFfJHt{x
z<njtpgP4M{D7Xj-wPFQTAX^v&K*bK5t|TicPcCC-2nQEjY|uRT|G3T;1}RWu2~s8_
z7qtjuqu|DxSh4C#vVw{x5V4bC4Ku?5hEOYz`P&$5Kr%LPL3VJl#Rd|zmt+T(NE{%`
zB;n=CB2X3B#>fCEisAZLK=lH+orF}{>%dF<P*`ctD9Hjc6jZiK!Asl!7eHm#PKNbh
zV+&wKI-=UpL^cSdR#y^So<V#93zo||s3lPmgA4-$!z~5@hT9Ah4EGpR7#=bhF+5?g
zVtC3B%kYdLli@i-3BwD928Ndm%?xiCCNjKd*uwCE;UvRHhI<U37(Ot3X86PKh2cNL
zcSbRWAB^S<KN(#aelZ3z{ALVc_{SK_@E_E%WSq{($T*9UnQ<N?D>x<gG4L^DGKhmq
z1vZ9Q24!$rz{+rv!I;sGfro*O;U0q=qdfx;13SY91|D!J!@;nH!2?`Uurj(b@Gv@n
zN*+dY1}R2IkPgNM25|@rlmcOCoN)m(jjJ%$Fgk(D5i7<tMrTGB24+SvhAxmv3@qR>
z1JvVz$hk2vgVVYp1D62%KL$N;X|NpJTCo1ZAO&V5{AExC7Xco>7>xda3yNP1`Y0L0
zonbB{pEGhYu!0+o4WNvH-iUzY2On*eMuavf?QUb3qP>MdR%;6bw6fRQ#;^&Tg5WJ}
zZCFb?)DM&_bs0g5LCJ?jdkcdUD1Cz~>;IRuw=qoDMiduDpw<l|Hv>B(4+B3VKZ7)*
z5Q8S8FoPkZ7=t~dBts0N6hk(nEJHb?977eO0z(}mqywtOz`~Htz{BXlsKUU)5W^r1
z4suYNvH=?8(hRALphg&^E6UHn%>S3c5*&gazZeWq0>~2{KpG5e-~gI|7C=H<eL!V~
zHfDhV%5tDEg5+;df`?=;a0_e;gA^z<v|*tEN&XN8&WsFxy3nSHnl7}T5^BW)G7zLm
zl7&%wI|H=&wEX{dc#eUTv*6x4qdEgSqXq*%qc(#OqYi^KqdtQsqXC0CqalMUqcKAa
zqZvaLqd7xAqXokxMmL6Oj2_@r4+^|022pU3fqGFhpg|_Y(8lNm>MJlvGt`0u57J5%
zVqoU~#}EciW{}3JHgfne%z=d;(<TNsP#=)d4=wyafd@$uX}A&?C{(sF<Y;McW7rNN
zcKbrxa(+7781{ox8>Gqs_v|!5NeWgH>uh7#1S)pGEk_<*5EGKxE`#C&Tv+MoLR-Q*
zTNo6!Gn9bCSph5swZ@87AkmCXlnpd~qAAHD$_5@i0UIeG$qMCyj1^^LNtk5Dw*3D!
zP*g!21}@^j4)X@p17L@Nnry5PX%0}K43^devB1*mR-8KEcxDF`_nffC8@QKxdHMg1
zI+Cng85H2L4r#GfF~~76F#0jDGx{^|GX^tAGlno|GKMl3GKMi&GDa}iF-9@CFvc_Z
zFeWnOGA1!pGbS^%Fs3rJGo~?2U`%J2%9zQph%uXCHDfNr7RG#r{fq?+=NJnaZZqaH
zJY_6pWMeF2RAnq@v|+4Zv}dejbYiS#^kA%I^kJ+Ar<^nfE{0qNacC*IgF%<ko6(1X
zjZu|BoY9xjkAahsjlmLJHnM}<2~AhhjK<*9#K_>n$i?UnF8zEMnHU4Wt*Au|YZwE;
zt*9*wvlxRIgc(@D<shiD2v!AdF@aSviZQS-fK@SyLE8Zi4BY(x8Qd9I!C9LFOhQ^q
zI=>j0{xKMU8%LsyO1~I5|1fZ|GkE-EkYi^sVQ298$)Nv>0i{XApvT~YWh_T$4eHPo
zV+%MiKm|1e19WJL0W{vg2Gwi=9#dpsVAEoO4!JRbha5m_HW?T@8CV&+kW65M1`{J=
zFx+}jFAy{`#>9+n_ar2pOmLkcjG@pnUW9>#frEj8Aq6c9YHwpW2+vZwpv(v@jdZoP
zF&y>N0cEazW~|JhJRr)th(Q6A2TaV^wRA<<wYD*w^wWYUY+++u{{KFha~9+_NW#=(
z;AUW8oWa1(IFo^&aSnqB<2(i##`z5Dj0+g_7#A_PGcI8WU|hx!&bWvnmT@)M51=l!
zJA(kDFQX5*(U=1D4Ff|8V;Hy?5@85n3}=jBU}BJA@L-GtB^Pkg0EIkQ1e7$uRiqpP
zGyi`EO$K&w0tjVii~_|wV-zDJ1H%snWt8G-FT*}aJTdbyaDd$%0xbi4cQag!+|F>>
z56ZV<fiYMmS+%z@BtwG?%sC2ftL<dC0ve<Ri=3UwAgH4y$*Q}J;W|X+Zid^D+Zpa!
zu}QLlN~L>D4B?>i;UTCCzYxTF1R9+ZwPM%a!k~;^R@5TOifs%}%{aBRB-uqdwYM>x
z)ZWH$)QU?N)VX{K8qd>{WCO85#)AbRPU6zu#sGB^7s5%B;2ye`Bs)k*lye7znwBJ3
z8mY3WU;aNDRAdXi+Rl(>#m;QTA<Ch<li>{`!y*Q0N%k!a0-_wd7(OsCKz!N4!MObY
z14(vpUsIA@XB$I~BzXK2k~ScP)<y;n#?1@@j9VEb8Fw%!G45p0W8A}F&bXJsfpH&$
z7vp}02*$$<iHt`WvKfytlrkP?Xk<Leu$1vM!&b&K3<ns`GMr*O$8eePJi}ea3k<Ir
zuQBp6US||wyum2Uc#Bbv@eZR7<6TBO#ygBIj1L&S86PqRGCl^UvnmE2hOG<{jQR}1
z3|tIL88W~rj+3F0p`S6DL70J^QISCzJe1ABz`z&+ONERfj4_O|42%pMj6RI9;DH?h
zMi<67#&`y121!P1#sqMorNn5&C<iLE7!nyiGbS=7F|aYpF_<wXGs-fsgHx*q13Sci
zMiB-sh^>qw4D1kdK|?_d5OY&t=7Ktg3}AB^MHpD2=B7fsh!G4N{~02n9YhXLDrdL~
zCPf(-{xAr!Gu;2npa2%|_{$K-$j%`8pFsthFHn@TGu&rjVEW6z3v$UX1|<e2(8@4q
zDH6-T3@$}lKp8+AG;p+=;Y;LphHs!^LVFv-_i#{T|Cq&)0-}F{Iw`C=NaIL|3ef?S
z%)vDts6qr+cC6rG7Zp&IXMdbQMi<0@3^vbX-~$aQZDX+6#_%V6`Tsr3|Ig9|wH6^M
z3DR18&cMm|f<cJ!C4(g6D+Wcz*9_W>Zy5X--!ddKzGEn4e9utB_=%yO@iRjc;}>uW
z0L6eGgC4YE(q;&OR$vSaEwI>TXn_yowJ>UfJE5Em)r@JNGKWEkp@=b^F$3B_2UScA
zAoZZ}Nd~YgP&ouumC3*YE|H`eSpPCef+OM!xXJ<b+J7@R|72idf)4d%F))Ev(LsaU
ziGhiMlYxPu5ftRGfjQ6+7NT>N1}a3rVF~IJA_X@)sDlP>U^swSU?nD29FiQMwgnqB
zxH-TB`7$6u`)v$QWfm|9NV0%<kg$gY_cTcsM0hKK(g5QR22RGG4C;)(7`zyNGh{RV
zVW?pI$574qpP`P40Uo|y(D3D8P=|&uXn4I59=?t6@NHzwX7mA1Q#67@nwf!<p@Pu{
zl$*f$1u|gT2pup5%Q1>TLsb?Os)FE9_4v!61a6XgKtdH%mqVuRau}FEiwPm&%CL@s
z3EZYP(%A_b1l<W5=Y+Ss<&aw5+MqV2C1`|^m1WKH|M$UFFC^iC$J?1$7!;UT8MK+$
z7<8F97z~&=!JY@TrWF`?!DCFI)->`w0eDawG(W%?14>e0?|~{W1_mRD_rOVohk+R~
zWTSxaLoNdoXn7*k52>Kd9t;c&+&bDj85x)ub})it3DOk+PnR+Af*k`%o80hF=Vr_U
zjjMySf=ezYuoEC5%*~hwPQeTe+>CLIDGab=na{ukTG0-*x&mson2t7herP5Gul6oR
zP6h^_<^SJ<dvcH<;secQG6^zpF$pn<Fo__!Mhxy6F~$OLz0SZO1{o>`y9N><VvLAk
zaTW$924QF>DP&**t+9pF*i3Q^Y~UK3TT7UcM|&H?{%s7=zMw9v4x}oA<{dwf6r?^y
z471Dw#V<H(fJSfN6)vKvs)83)>Yxf2RPSkTW8?#;7%NUmPH1n<6vP6XV*(mp24yiw
zi6$w@wT;1Elzj(-+BQc1nGBpPW*o~w!?4FiIc70P>Vlj5tYCQ^q}sM=`Tsa=-E9n0
zK(n^!j#hy?8tf)k?QM(#qO9P)38*u&{QnKa+(i(B2m=F?1OpF~B!f7U6oWjIG=l?^
z3_}W&EJHez976|_Ji}5Z1%?$&iVUlnlo{4BsW5D2Qe`;Fq|R`LNrT}$lP1FzCM|{^
zOxld>OgfBQOuFD`jA7tp=wMI=7oS`V=?qDXMGX2391JN8so<)Voxy>j2U?{5VBiOf
zu`)0)!jmB*H?%6{VffEj%)rCI#30Y`20V5OnIi!u0k8<8D0Ixjl!5CXgBCb{gPQZ;
zIt^5U{$o&MWMpUXu=vHm^pipACj%3BfRi6Q7@{TM2-=bWNh=J9>DX-yn?Qvcq!A9z
zE)0;o3$hp9gcooGt-!~kc|Q@F8JHPMz`cZ0#xe#520jKR#&QNm##%60&)CSoz`(`8
N$k@c#!q~<j2>==1yh;E7

literal 0
HcmV?d00001

diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/Transition$TransitionBuilder.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/Transition$TransitionBuilder.class
new file mode 100644
index 0000000000000000000000000000000000000000..8deddb3decf6a3274ce4269395490e708c3cf086
GIT binary patch
literal 1673
zcmX^0Z`VEs1_oOOYc2*R24;2!79Ivx1~x_pfvm)`ME#t^ymWp4q^#8B5=I6#o6Nk-
z5<5l)W)00SP6iGJPId+^9tLg(9!3U*#3V!gkfOxA;>?oF{5%x|)2TEwCndFrk%2R<
zC_gv2B(WrwkwM4@VSI2&QD$DcHON3d9tM5}0Y(O{qSVBc;L6;j{2WFGQ6#m_8Hq)S
z$t9^pVC6zQ48kDG*-P@l=CU)0GBWU?x`c~Cgh3qSCkaLd8x16*pw=RZAPh$mgeubv
z6JlUskm6yGW{_cI5YJ7_PIb=DOHM2a&n(Gs&d)0@Nz5xLW@PZCzzR%T85vld^HWk8
z8TfrN^HTjvbCXhwLK2g5z#*8QoR|}qSd<CkLj_q%GBS%98I*ib!vHfjtQi^1u((u{
z7>$<58WCYelwQ^(P-<Xg5Yj+bZq3NR0g6UYT3}=l(a^*e8eGBorA5i9ZkeDE;76n}
zJy2?5WZ>{iEiUoMFD_wZ5OB)RFDWi5N-XeAEy>7FDduNm(B)##W6)=3FaX7(AtQqd
zNEalDXXcgVXQ%2zA{!F1Zi&ey`9+nC3^S1Z3snd))FUx3B`395#V0>MyR^U>)5S<4
zC>ld53sSKtk491t$#mAp!2mVFIWZ?EII|?xnuEcZk--Tm6c9{krqh6DIa@{@1w^I-
z@j!u{SdwbXsL9B{<C&M2TI8IQSX`W1%*Y^!VGuimIU|EAMtETh26hHZMg}?jN*Nj0
zAYsO!$iTtC#K6G7%)kUHNEjFxm_S7Um=<Q>VPIfjV_*Q4NDPb&vJ4Ci`V5Q=j35!M
z?F@_?!OG;oia>%q4Dt*N3_K783<?a23=9m64BQM#P|em1Okm5{wY0Y~uxo9=s$C4C
z1gf2ZfgS8Fkgfa-%GeCzCE6f<1_7}1g|WLxkZ6NIAp>%e3WF-tMRp9VU~h};W)O+g
z+QPuDwS|FKYYT(mb_Ox*{)7aR2-Kg93~CJOP_t|pn89WVA)B*{L6U(1pGiVclUNuu
yz~QRNparHy7_=D}7&sUh8FUyJ8H^ZA7#J9Y7?>D17(^IM88{it7%Uj97$gBPj)!>w

literal 0
HcmV?d00001

diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/Transition.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/Transition.class
new file mode 100644
index 0000000000000000000000000000000000000000..55ad5d1eb3dbb31ef6b6d971c9c3789a565b3046
GIT binary patch
literal 1866
zcmX^0Z`VEs1_oOOFD?cq24;2!79Ivx1~x_pfvm)`ME#t^ymbAb)a3l46h;O%o6Nk-
z5<5l)W)00SP6iGJPId+^9tLg(9!3Vf#3V!gkfOxA;>?oF{5(bm&a|TZ+~AVLl2k?p
zAs>Wc!6ikRdFj?5?R-28{0st&3|vL2i7COAxk>psj0~bkYMnC@ixQJdQj5UKg?Jc*
zK~}Ms<b%y+XAos%P(Za;1>ppz(#)Kc)FLhh5e8-<1_lNR9tKGUDMkhkkamz87#UPF
zd{DJpYa-bWbty=%3=e}WgB&9RM@C|ChI4*ODkFn1re05wQUx9cMFu5C2Da3~(!`u%
zMg~<3g-CYzCuOB3mso2?F*4X_Ac;fmMiN1U1(G0CnPwOx0}I4i{63j^seYxoNvTC4
ziAg!&z|T)k%n3^@$^`MDf-EH&nZ=9@0_gr{WDxL8Ey>7F2}mqT%uOvxEh=VYU{8Vs
zB`Cl&(R5%2xHTh#hz6E$1ScC$Mg~!2e<JyxF&{OdK&2QN#8FH`gaac3S8#r5QF5wV
zCdi-sh^W^CB{xO}Zokyx65mu%SQIldu)&hCfKz^cNpVS0Vgbaf#r$jx7F-OL3|8z6
z);tV047Q96@*oo+slTW+uOu@!RUhIWs1`;B&Lo&Aj0_u*y_A_(mY<!f4^ilmn3s~1
zTCC!epPyY?V2v4dNFq>;A(aKGE~&-IMVSR9`9;WDoO2S3i;)GO(I1Uz2(s-ci5lVy
zYYql`Mg|#p7PUs?Kx<I;NGwU^XJlaKXJp{zXJim$WZ?14%S$Z+J0P`~kwFj<*3fLm
z&fvz#po$1JsArJf0Sg6o1`kFCIs8f)8Q35}#$d?6!NA18z`)EP1S)A57#M^=r3RQ5
zX5e99VBlb2WME}bW?*7aVPIg0VPIllVPIeo(b~?ysHMG?fn7^yD+8~V?p6lDjSLJ7
zObn_F3=C`xj0_A6ybNj#3=CQj^$h9^8Vn#H0=5SvF9Nm+WV;Bc=wV=H&;;pXX5eOE
zVBlw9U=U_tVBloXV$fz_1Y52Eb}9n{$8H9Z$n6Yb8yFZE7?CXGVGv}HWYB@CHe_G~
zJA++o7lSwh14uEl>v+Jf<AErFx=xTmmO&Sbc4-ENHE5p0u3eEq531dUfeGwd4lV6n
z4Dz`2i$T;ttp^3RK7#?+-P~}0=!5wT46IsP7})Xof)#2EBLhDJ$n&81Le|VnoMvIH
zHVYD?nU%o^98AUxCJYP=EDVecA`GUW)WQIYR8VT-XAl5KEQoE!z`!8Dz{p_Ez{<eE
hV8`IV;K<;_;0#WCObj9n91JcDoD8lE?hKv`k^rN6h=u?F

literal 0
HcmV?d00001

diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/shelved.patch b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/shelved.patch
new file mode 100644
index 0000000..e69de29
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/FinalizeTests.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/FinalizeTests.class
new file mode 100644
index 0000000000000000000000000000000000000000..17e959cf098b9a1cb8c27f4e7235f4d31a592bea
GIT binary patch
literal 4084
zcmX^0Z`VEs1_oP(ty~OD49x5dEIbUX3~Y=H0$GV=iTXK-dFlH8Nm;4MC5#MgHko;u
zC3cJq%o>_uTnroxoa_u-JPh0nJd6zdiAjd~er}EdMfqi!DXB$_415I;rdwiiNq$i!
zBZH8JrVmsVRLq)_fscWook4(yL6AX+kwF|JU6NW{QmpTmnU|Q8S(O?B;xRI?r@>4S
zKsSSfL4=WkH8{jED1@6qj6s~8L4t=tl0k}*fe&PypPM7pHbw@Hq|(fs6hAjdMh008
zAA|>kONuh{(yignv*u=yVUT5KkmF&HXHZ~dV22vS$iSUh40BluI2@w57?c>4*%?%L
z7*rY57#S4ui_-P8O7k*H^s`C}GD}j6^b-p*^&N|gQ;SM6^Ye-s8MqU{9Jj=r;#5Wk
z7L6#)Fpzy3JPewkfEP@Idfl<KBtJK?BtH*ig*Fd^4#<2ih~|)@(o}W^Jw^s;kkjB!
z3NA@3Np-DAPAvf0CB(qMV8Fv*$Y8|Cz@A!>np|3v%E(}*0SiHEO&{#8O)Jey1{t95
z3f7dEl#^-=a)b#FgDHa<BLffA5gA4K<;9E)!N_6hoRe5wY)yi}nn)250x}V5odts>
zJA)MugEfN<G%7=i67z~PK@MYNU<XGfD4nT5lNCZ%1;KOzMR;nFH5Y>&gFQQg0}q2E
zgA*fz0w~lFsxUP$GH|99<>!LK6C7kX5(_>vtT`B57#Y|cot<3+LO>31<6&?I+0I^)
z4>p*K!IQy@oxz)j!H2<@kwF+?hjT_^QDSll$b0N%i8-aI{%MR15*p6PVFgzM_MATt
zLjXe{BLi1aYGO)oWo}Y_4kLplO2oj-gr;-6P6s(Rn1>;RA(WAU6&%!v{EN^C&L`nK
z3=s^Gj10VqDJcjkMh0O>IztFqg9?pkh8T8+SRRHrhImE>L9mZYOEPnyWlS+617A^U
zVQFSjs$YJdUujMbBZC^UCm=<UHF7vWg@hOw84QFNm_P(Gh+qK`tRRAo!2p!O(s>v%
z7%~|dSWELV^Ya)PL?90Ib901-2#5tzn9akG15(J7nOBlpRGbRV3m}O+9)^671aESF
zUUFhdYF;8FF|s)4r=&76@cU%urTUfTCZ!gIfD$nygOE>ta$-(cVo@fD4;5r7$;d2b
zWRL`BLoB78H6sHrtPC&&m4A#39GQ8=C5d^-sf-MqU~M3$GBQX8mFAUX=B9>a7H1~q
zq&nv1<(Gh+RLsaAgCh%q3`DlU2qb`HqcIxa1dVTs#y3Obo1^h9(D;@RzF1CTZc<93
z3e2NmVHIOW1|FnX31ej7f|q8+><n!vnFL-~FfyQ<26lvs5vBy#wJL^~65wD^F<@li
z3eGPrN=|jl%t>Wr5Q3GgAV(MLfs!jDgMd?heo1jjQDT8_YDq?ZN-;khLmwAIKf?re
zhKW23lNcs5GAMzRLTb;<yt4f4RDB<?e|=L+65&-DcP=vT401Y$YJynck(if~lUl6e
zlb@emT40S-UP3D_BoP#iA(aKG$jXVAgjk7RFLEY?n(UmIlM|d-l4>o$z{bzUFpZ0W
zk6}6wLnlKsKPSUXP!^iS!!Vm+4kH6sc1~()UTSbjVi6+)H?#-`rD}dohIt@`^LZE+
zfE4l+<dhcs7o-*?mgE=lvoS0JnYoyUp@X5BpN(NDh_{S~p&e|)3XsN?JPfNq8o845
za|?1(b5rw5_}LiNfE2FfVQ6A#W@O;;%*#tH0@qZj#f%Jsh%yRVU$8T5WMojqh(m1A
z!OpOmkwFf>Qbq<gNZc_fGVn1lF)%PNG6;d1JPZsBd<=}B1{VV(LjeN=gB1f410w?i
z1CQ2r21czN4D4GOcsDXIFfcI`GB7ZJnrI9RJPa%hd<;b(RS>ld#SA52GfNrR7?{B3
zWHK;;?NQa*!oVveyputciNQyECxbL2!wv>T?VSwjj0`ZY7QzBC237_J1|bF>1`!5P
z1~CR{1_=fg21&4GVh{tNmVugBWenvEj0_bF3=C`xj0}}vCse_m5D#^NJem{K85x9h
zwRbV-GcfF6Fb+ppF2umXz`!8Oz{4QNAjF`+AjhDEWU)NlVqpes7FWY9?qpyFJJk@y
z;vEd;Lc-e^Y=xY+F}MmO?qKlP#^AS&A!sK<7!xQc)EOBNPSIlEVqjp<W8h&hVBlpi
zWDsI7Vi0FAW{_bpVNhZ)Wl&`>V9;VPXE0!}KysoX+=;4Komc~RViMGea>z~;($$XK
z!4MU`iy;9$Xdv-o!@$E}#~{Gqz#z$B#~{n#gk-lI+-@PPcGnVXcOrJX-57WnJQxHR
zyci@IJQ!pdd`Pgn4sLfSG)+jN`Fj^b61uf~49pA+3;_&03_%PM3}HytNy5F#i`A?3
zL|B)M-MT0S9)=hO35Em`tZRT<M<7;H(Cvi8Y6=4nLmGnsLk5E+LmGoDLl%<VgkrT3
zZa40bO+~jB60&&=JPZX45)36s*5M6V0WMJC2`yiYq2&~(mex*&G$sb5Yz!(37#NDc
z#`1s*C{A!RF)*|+Ffgz%Ffz0XaDfVJY(`~aF)EILQ5_7;*o?}>VpIqLqdMV6B{DFB
z-7c?%x8Oh&8FCEl3=9lP42%rQ3~UT44BQN=3<3;l3}OuG43Z2=NEXYZ2L}T)Ll?M=
z?`G&>U|{fIU}xxMU}l)YFqL5nlr;m+nhR$wgtL~wS<B(9)eKV@)`1IiCI&kO3x@R!
OoD3TnHZg2rkOTm4)Q5}!

literal 0
HcmV?d00001

diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/NFAImpl.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/NFAImpl.class
new file mode 100644
index 0000000000000000000000000000000000000000..a18bce3c1888c22eef9a493224f2d51db05662c7
GIT binary patch
literal 13767
zcmX^0Z`VEs1_oQkb}j}c24;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!pOiF#m->J$RG`h2DmWTxvmvp$LHs9F&Ho~b1|4On6fjN@i3S(STHj1fz*e<z0JtL
znO2ma3)aWTAfkcn3TR}3!rF?5!5S3M9Lf24C5f4N#UN8{c^K?KMzWXWgY|>N9C#QU
z8JrjyxQbE}Q-UjVlk#&I8N^YHMR*QmvI`G`D}x&&14m{_YEfcIei0*s7)&`hx;>%d
z*4zvp44&)^UOWum3_gquLf{}pQNqZ;o{?DWms$Zz0vei8ART@@4E_uOj0`M!U}01r
zLejZ47Xt@F5D!BzLkJ@SZ(>Rca_|Ui_@IWEwPqMQLl{bSfdmxDln5S%NQNjz2EoLX
z6i1Xagq9p3TC6q0K)Pah7-AXX7#ReUGZORCQ$5rCQj=4QixZ0~85vBG6ERd5B&C48
z4$2Hz<1B$8k)0t4lyZC+8Q4Ky@N;tnS(d`XkP3=5{`Axm&%DeMSVjfOrGtusC{VOy
z@-SpEWHU0bfjp9v!^j{BbqCm1=lq<U)MQY$vDS<NY0Twe$YaQ7WDtcYNA-F!BZCmK
zZm^rfxET@{3V9fc7(mkLsU;YCBv6t8l9ixhq7>xPGCa-#2W$loLnT8MBZF9RVp^&r
zdXyA1GFYLz3oU5DagU{tv(^N=zlMjQ7UX`u^wg3Nc%CZeW~gUyVP|MyWDr3lQiKOU
z`J@Tt{$@r78>j=oMFUFof<+K{1>!KUAXJ%V7zaZuBLf2{AX7j@2M<Fh$TghlsU_eH
z33iAT7egpR4-Z2xDF3ph7M3RF6oZ8Nc^D>u@)3Jxv1@KYNhK(=OyXgf45|v)ic)j)
z%ThrxJC%oF8YpJLDLN+y$(JD689WR#K^g?ppaqj-X-R%=VhO11;b54}!!U<oE+YdM
zq;$+p%`0JK;MULthpL~OqczCYvq8iH9)^Vsix?SLOY<`G^FRd=Tn$1sJHrx;TEjQ7
zfQw-<12Z?na)uS`3@dpURxzwbsStb<3m6%g3rb5E87z<k8=Ci#!WAlloSmRTAk)|K
zFsuU^&6A#5;$P&FnwD6aQv%8=8+aHtg2I3`IVUx-2ox%tLCJaxBZDAH3I-*64u)-v
z3><l><-sA2K_MWuJ9rp&GVEex;L1x&bOaYY1&j<bkU|H0!UO5r!^5zbVILy{e{z0a
zS!z*<pPOSzzKfe9BZCPZt>7@lW+=$W1EAEi1(Y%l@h}`_IKs%lU6Kz<e~v{(iIt2D
zEE<~8&LD-yco>c|oM2?&OD!nQ%*oGl&dDz>ElOo%(1ZprxQGDx7Hl6Vo}obsmjD@a
ziihDe!x=^faad|~Oe;w(LZmN71}${+obeiXj)&nq!v#hLfy`pmvV@UA8r>v>K~d}s
zmtgfX*nME{`eYWDa4}p2rK_u;hQ>8U20lbqhRAX-+~8rj$#9F2ffrnqrleN*r-7Rv
z#u(P2>a~W32Xby^XSjn>T=-<>Wv8Y<Y`P6{$9<4H9xyWSBg_gcO)X93X1LGL4<a7(
zFgyX*bOrf2IiU8(GaiQL3@;cNIFmCHi^4!n4RAxwnVaD%gB1tEYeoh}0}%Ty55qf#
z_lyiI#hF#9U?rYH3=9k(c^E!1d}d@2&rQrub<WRAPAmz}EXi=r&nqrT%quAd)o7kr
zeexB>mBA&6$=O^CUqDTfFASL=RzHaN#l!F$<X+~2`~ndFFAu{%hX0HVECr>-8H@~S
z&_DzS5;Pwo+XfZlX1L18$iv9Q$jr#Vo|y-Z1dz+H<ZDkZMpi~Pc1Cs{Mh=k2APrEk
z`JQ<tsp+6583(8>18SoRF)%W6@i2U1<VJG}tn@{)04l`6$jivU5)$MX07~CApeX3!
zV&GsD<Y5$I*uu!b4XWj!?L$Te&fv`Syu=c4&QXRK22Ov$sU<cLF4$#Iv+b-I85AMH
z2vwk39g$(IL2A^{)qqnA*d$P11~)vx3R#@<Q&K?<>&(1VztY^K)S{5Yq#ST_JwG`y
zCoHij6U2uKGG;O|FnTgFu#{wE7BezPg7Xiyl7x|gtGFbw2vYwrGVp>U-#4)UYK|&;
ziHO6iS}5ueRi_QuVl+Q%peRNQKU80HAsYOQ3<BteF*0z$+s?&|3}QYgAyHY73iX8w
zG-=|A3C%D@23BzI1(AFZ$`O$Qk6w@lc2I$vnw-tZz?_$s$jFd{VGkCKxFZ~HHrSuo
zVhdy`Z(eFSB0w1#I1-bS!L0{qMFr}CF*5L%q~;bNloc~Fu;!O!fN~5c*mO`S&&a?5
zuD<<1^^gcy8nqxUW@O+)v8|Yqfh8>`F`bb?1j!rl7C$2ca&m?VV@(4*nRz9tMa7Ut
zDa7S&eva{u5T>7-W4se116xsQacNEoBLi<TxHwDAO9ZuH85wx;Qp?>C-5@TIBO!en
zMh13hH3#ZCp|$7*P>cb4o3|)6FEKYY1ssBC9arDP0&7MFk-XG$e^AgNH@+DeOpyY>
zH?aUqzJMqIXJvTIGBR*w=cK0Qr3RNI7BMmi<>coVI3*@$BVvk?fu|s+wAjA@*1O`*
zOD#vWnkhMhk%7^fk%28IwFKNT6-BZOk%1T)*wYfTQ^Ece%u6jtja)_sf&8M(bWl4G
z)(K{0;07s!7kM1u4s0f9P=FiK!!8cbFGBCBLp`S%#mK-?4wmKwQQ&%+k%1}N85Dn|
zMMbH3kW!|YoiT!ufhQSBh>?LcGY{P46G}--M0IB|BLinjS|Tih1R!1o=S@&;Yt6{O
zmy(u<2tZI$F9cPzj0}QEYQc4{H6sICUTQhG;e{N5AcLSW2sRk4OoIB*4qOnMp&Lr9
zM)qV_!wXc<fJzNy_kjyuYeoiDB;&ziP~*|lQ6N!e4XDNeWp!vpjMsCZ;Tz}xKoBv8
z<80mGaIroyhQbRcP;z1}1`Q775Ty@X(t`a*d}KmH1vzLL8JLSpiWnI@p_U@cA;%1k
zN*}9<ycvnbi1Z1nl#4)p9IoK}(xT*4w@gqi&I28d(*yZ~kwL&IKfk27q$sh#H?<@q
zKc$$Tjj@7@v68Whov|9!%Bf*wPys20jQ?fkmE~ur>O;~gr0M6Dm|T(%8jzTQ>=UR$
zh@l>dc_}%m#VS7e`Prof))4PudKfH%qA{ehAQg-9Xe1M$tv%%MfEwYPn3EHnS(0ka
z!C1%0z{tqK*ucoZ#AwLKz~h;hms;eUlUQ7wTFlPa%*ddM;YDmNXJ>3>WRSzJl#ziA
z;!Orc1`Y-$21bSi26hG^(6A)~Bcm__0|OJI2!jx4m=VqwWe@@loiZ>m2!Vzf;o>3;
zOrW7fIA4r`2{fvR!q;QaXJBBEV_;-pWr$*6WE5v$VED$s%)rdRz>u%Coq<tHdn*IG
z)@}yg$n6aLTNwnjwlD~2?_>~RVhBfwN+FoC2&MvpsVtCaD<e>~m_b5o3xl%Eq#X=u
z5Hnhs7?=Nlp~bwFL1!Za0|PUo1Oo$u83Qi^1A{073xgN~CxbYH2!jNJJcA^I7K0Rn
zDT6eF1A`2MH-jug2!k9$GJ`BbCW8V)9)l92Bm)D30s}LHAA>Zb6r(f)6UY;cGK{he
zAdt@}$H2qD$SBXiz#z=P^q;{GG)m3E&JfDT!0?Mfih+@#lVJ-36F3a?85kKD85kH?
zLH^wU4t9{s*ua8nV4HZrY*vW*(5O*hU<8faU@=4r-4J7(hA1*HG8AETi7dJy7B~$7
zxg?dr0ve^r-eE^K#1_*K21ZcV0*f~k&^0?^YKDe|5(6V>=o4zl1qLQ?eB@|tVbGb$
zz`dKnAaXl{(SA_)YHwpO-pOFe#4w9N5Wxp0F;HsT#$bacYXeC<+S?fHkAbx)fS3?L
ztt|{v&;*J|QCbXK3=9lz4D1Z<4Ezk94Dt+K47v<H47Lou4BiX@3_%Qm3<(Uu4A~4J
zVE=%!3Ijt9ByJf%EM-O&Xxd?8VBwdQ6=76mU|?WjU}P|0U<3_iF))J@&I$%51{MYe
z1|u|oYVTxlW@PZy*~#F}$S{*ZRA(oHFC)VN1`|Im-E9nk%m2Rsxt0Z-{-qe$7#JAB
z8Q2*j82A~Y7&IB88T1%p7z`O=!L9?PaZLtRMv$988Py2xP9tc+pvJ%eO6wqZFvu{9
zLS4?oz|8-LfsLKP;}?Sz!u`<rQfFWU4KhRHs~8$zYH0od#}7QDWidipjDeMbfgzEB
zogs;VpCN@oiXoLjl_3r6Zb+!A!CkAyr~z^%I7c!wF!Cdu#K6dq$B<8EkcNVTG#pEi
zW-_odWHInF<S=M5<TB_n<S`gB<b$0C3sR7S(1TQnL70J&5jjYO7)6K*QcVU%&_FRX
zNOv%>fFo8Hk`}C3Bw3)TK^DXUCx=igR$VPgR-J7O(c2ipm;b+yNEJfhbXCM4$570m
z$xy<e!%zx#x(Nd-gB$}lI4nV7uL}=fT}ZXTz`&r(s0AwXz$|S>Sq5gXcOdbh%K-Kc
zSWb&kgn<bhAKVN~e;7ExNkti&Ky(-wL8GY<->~>Gurcs3Ffe&T5(tm>PKJ0!hFOT5
zy_<m}QfnJS@^*$aU!5(GnqwzJ1`|WLj@A|i*=-Ctpjt(HCqn@v!*+%eKd`8-&NhZ}
zkoa~6ek&I3oeb5C3_BU>7#XZsC0U`NWddS>L(9a9Z8w8Sq$Jxm24fIm4<c-~Gc;PU
zOR`9^Lz3z8|0jf6tXL&kz)D#ewRbYKfoyDqNNew8XouOsCdme|gHZs)0^1R4#SU^k
z$TV;Xr3d4I$|s2HL2_M83^N(7>uh0=1@S;~%Nb5+NrLrmV~DomfO(1&6xYs-3|3r{
zToB6`5<o1lWhPeKlH4HAuy14Np2;8qb}|P@$R0$1y#`icBZ;g6tc80UgS{jN$n)Hi
zoRZuS-!1<?2jWIZAR_G4fZG`gvJ+|?KiC5tFuhkKIjvZh|9b;-GCX`3T;SnjV#N;9
zY`l%3Zzh8lNO&S610=9@wlIL@>_G}ZZikx7z_$GV4joCBZ46UDkuC+Iw=qoD0o5&#
z5^x{5SyIg)z)-^=!O*~<!qCKE#L&WE#n8s!!O+eS#L&eM&CtzI$I!#j!qCewjiHZW
z0Yg8-VulF}%NZsz>}QzF@Q7gw!v}_`41XA=G4e1>XOw1`!>G<MpV5F}5u-oDV#XMT
zC5(j(%NXkzmNQOfSjjk-VHM*7hSiLR8P+hKWmwC2lVLsM9fl2z4;VHvK4#d;_=aH{
z<2Q!wOiT<rn0Og>GKnzkW-?^h!(_s+kI9_j0Fy1lAtqObBTSwQ$HDn>1_M9CGzKn4
zT}BlKc7{3zC2)Do#^}%B2WD|I9%c|@)MMab;AT{3*vY8Rz{9}7Xuz<6(SSjifs^48
z!#{AIW@lnzFaqmf2W2-{?q>34G-NblU}R8XQfD+~lx1LI@L*zQG+_{CU}lJB{J?0+
zAk4tRu$*xTqZtDa11sYjhIj^7Mso%>aNgHqV1d}hD9XSI(a9(R)5$2xzyeio!N3MC
z58@ew1la#G_=Bns4t9nFc2MCU%FZCl&fo!RK3V+*%}a-}GkE-A@MC8P{l_57&JYTb
z|HEL;&S0YWlY!?C0}nfchxRW9rXLK<zhFhoZw7ZJ<g%a9l3@{~lwsJ;zyvNcEpe4H
zTH6?A`D*WEn8(QAr=z=*VLlTBq+p!~DKkK63eu{SV_;`sU^vGhz;K>Hg5e^AEW;%R
z6^6?Ux(rts%owhM<IE0X87zz$ETLg6%OJyO#c0I9#Gt|;%4p4K#K6p;%fQ2E%xJ{G
z!eGY0%xJ@C#J~y;DHaAM0d^Gc*uuQS3~FX`GB7YMz~voqp}B>D9kbBf&9FFfJHt{x
z<njtpgP4M{D7Xj-wPFQTAX^v&K*bK5t|TicPcCC-2nQEjY|uRT|G3T;1}RWu2~s8_
z7qtjuqu|DxSh4C#vVw{x5V4bC4Ku?5hEOYz`P&$5Kr%LPL3VJl#Rd|zmt+T(NE{%`
zB;n=CB2X3B#>fCEisAZLK=lH+orF}{>%dF<P*`ctD9Hjc6jZiK!Asl!7eHm#PKNbh
zV+&wKI-=UpL^cSdR#y^So<V#93zo||s3lPmgA4-$!z~5@hT9Ah4EGpR7#=bhF+5?g
zVtC3B%kYdLli@i-3BwD928Ndm%?xiCCNjKd*uwCE;UvRHhI<U37(Ot3X86PKh2cNL
zcSbRWAB^S<KN(#aelZ3z{ALVc_{SK_@E_E%WSq{($T*9UnQ<N?D>x<gG4L^DGKhmq
z1vZ9Q24!$rz{+rv!I;sGfro*O;U0q=qdfx;13SY91|D!J!@;nH!2?`Uurj(b@Gv@n
zN*+dY1}R2IkPgNM25|@rlmcOCoN)m(jjJ%$Fgk(D5i7<tMrTGB24+SvhAxmv3@qR>
z1JvVz$hk2vgVVYp1D62%KL$N;X|NpJTCo1ZAO&V5{AExC7Xco>7>xda3yNP1`Y0L0
zonbB{pEGhYu!0+o4WNvH-iUzY2On*eMuavf?QUb3qP>MdR%;6bw6fRQ#;^&Tg5WJ}
zZCFb?)DM&_bs0g5LCJ?jdkcdUD1Cz~>;IRuw=qoDMiduDpw<l|Hv>B(4+B3VKZ7)*
z5Q8S8FoPkZ7=t~dBts0N6hk(nEJHb?977eO0z(}mqywtOz`~Htz{BXlsKUU)5W^r1
z4suYNvH=?8(hRALphg&^E6UHn%>S3c5*&gazZeWq0>~2{KpG5e-~gI|7C=H<eL!V~
zHfDhV%5tDEg5+;df`?=;a0_e;gA^z<v|*tEN&XN8&WsFxy3nSHnl7}T5^BW)G7zLm
zl7&%wI|H=&wEX{dc#eUTv*6x4qdEgSqXq*%qc(#OqYi^KqdtQsqXC0CqalMUqcKAa
zqZvaLqd7xAqXokxMmL6Oj2_@r4+^|022pU3fqGFhpg|_Y(8lNm>MJlvGt`0u57J5%
zVqoU~#}EciW{}3JHgfne%z=d;(<TNsP#=)d4=wyafd@$uX}A&?C{(sF<Y;McW7rNN
zcKbrxa(+7781{ox8>Gqs_v|!5NeWgH>uh7#1S)pGEk_<*5EGKxE`#C&Tv+MoLR-Q*
zTNo6!Gn9bCSph5swZ@87AkmCXlnpd~qAAHD$_5@i0UIeG$qMCyj1^^LNtk5Dw*3D!
zP*g!21}@^j4)X@p17L@Nnry5PX%0}K43^devB1*mR-8KEcxDF`_nffC8@QKxdHMg1
zI+Cng85H2L4r#GfF~~76F#0jDGx{^|GX^tAGlno|GKMl3GKMi&GDa}iF-9@CFvc_Z
zFeWnOGA1!pGbS^%Fs3rJGo~?2U`%J2%9zQph%uXCHDfNr7RG#r{fq?+=NJnaZZqaH
zJY_6pWMeF2RAnq@v|+4Zv}dejbYiS#^kA%I^kJ+Ar<^nfE{0qNacC*IgF%<ko6(1X
zjZu|BoY9xjkAahsjlmLJHnM}<2~AhhjK<*9#K_>n$i?UnF8zEMnHU4Wt*Au|YZwE;
zt*9*wvlxRIgc(@D<shiD2v!AdF@aSviZQS-fK@SyLE8Zi4BY(x8Qd9I!C9LFOhQ^q
zI=>j0{xKMU8%LsyO1~I5|1fZ|GkE-EkYi^sVQ298$)Nv>0i{XApvT~YWh_T$4eHPo
zV+%MiKm|1e19WJL0W{vg2Gwi=9#dpsVAEoO4!JRbha5m_HW?T@8CV&+kW65M1`{J=
zFx+}jFAy{`#>9+n_ar2pOmLkcjG@pnUW9>#frEj8Aq6c9YHwpW2+vZwpv(v@jdZoP
zF&y>N0cEazW~|JhJRr)th(Q6A2TaV^wRA<<wYD*w^wWYUY+++u{{KFha~9+_NW#=(
z;AUW8oWa1(IFo^&aSnqB<2(i##`z5Dj0+g_7#A_PGcI8WU|hx!&bWvnmT@)M51=l!
zJA(kDFQX5*(U=1D4Ff|8V;Hy?5@85n3}=jBU}BJA@L-GtB^Pkg0EIkQ1e7$uRiqpP
zGyi`EO$K&w0tjVii~_|wV-zDJ1H%snWt8G-FT*}aJTdbyaDd$%0xbi4cQag!+|F>>
z56ZV<fiYMmS+%z@BtwG?%sC2ftL<dC0ve<Ri=3UwAgH4y$*Q}J;W|X+Zid^D+Zpa!
zu}QLlN~L>D4B?>i;UTCCzYxTF1R9+ZwPM%a!k~;^R@5TOifs%}%{aBRB-uqdwYM>x
z)ZWH$)QU?N)VX{K8qd>{WCO85#)AbRPU6zu#sGB^7s5%B;2ye`Bs)k*lye7znwBJ3
z8mY3WU;aNDRAdXi+Rl(>#m;QTA<Ch<li>{`!y*Q0N%k!a0-_wd7(OsCKz!N4!MObY
z14(vpUsIA@XB$I~BzXK2k~ScP)<y;n#?1@@j9VEb8Fw%!G45p0W8A}F&bXJsfpH&$
z7vp}02*$$<iHt`WvKfytlrkP?Xk<Leu$1vM!&b&K3<ns`GMr*O$8eePJi}ea3k<Ir
zuQBp6US||wyum2Uc#Bbv@eZR7<6TBO#ygBIj1L&S86PqRGCl^UvnmE2hOG<{jQR}1
z3|tIL88W~rj+3F0p`S6DL70J^QISCzJe1ABz`z&+ONERfj4_O|42%pMj6RI9;DH?h
zMi<67#&`y121!P1#sqMorNn5&C<iLE7!nyiGbS=7F|aYpF_<wXGs-fsgHx*q13Sci
zMiB-sh^>qw4D1kdK|?_d5OY&t=7Ktg3}AB^MHpD2=B7fsh!G4N{~02n9YhXLDrdL~
zCPf(-{xAr!Gu;2npa2%|_{$K-$j%`8pFsthFHn@TGu&rjVEW6z3v$UX1|<e2(8@4q
zDH6-T3@$}lKp8+AG;p+=;Y;LphHs!^LVFv-_i#{T|Cq&)0-}F{Iw`C=NaIL|3ef?S
z%)vDts6qr+cC6rG7Zp&IXMdbQMi<0@3^vbX-~$aQZDX+6#_%V6`Tsr3|Ig9|wH6^M
z3DR18&cMm|f<cJ!C4(g6D+Wcz*9_W>Zy5X--!ddKzGEn4e9utB_=%yO@iRjc;}>uW
z0L6eGgC4YE(q;&OR$vSaEwI>TXn_yowJ>UfJE5Em)r@JNGKWEkp@=b^F$3B_2UScA
zAoZZ}Nd~YgP&ouumC3*YE|H`eSpPCef+OM!xXJ<b+J7@R|72idf)4d%F))Ev(LsaU
ziGhiMlYxPu5ftRGfjQ6+7NT>N1}a3rVF~IJA_X@)sDlP>U^swSU?nD29FiQMwgnqB
zxH-TB`7$6u`)v$QWfm|9NV0%<kg$gY_cTcsM0hKK(g5QR22RGG4C;)(7`zyNGh{RV
zVW?pI$574qpP`P40Uo|y(D3D8P=|&uXn4I59=?t6@NHzwX7mA1Q#67@nwf!<p@Pu{
zl$*f$1u|gT2pup5%Q1>TLsb?Os)FE9_4v!61a6XgKtdH%mqVuRau}FEiwPm&%CL@s
z3EZYP(%A_b1l<W5=Y+Ss<&aw5+MqV2C1`|^m1WKH|M$UFFC^iC$J?1$7!;UT8MK+$
z7<8F97z~&=!JY@TrWF`?!DCFI)->`w0eDawG(W%?14>e0?|~{W1_mRD_rOVohk+R~
zWTSxaLoNdoXn7*k52>Kd9t;c&+&bDj85x)ub})it3DOk+PnR+Af*k`%o80hF=Vr_U
zjjMySf=ezYuoEC5%*~hwPQeTe+>CLIDGab=na{ukTG0-*x&mson2t7herP5Gul6oR
zP6h^_<^SJ<dvcH<;secQG6^zpF$pn<Fo__!Mhxy6F~$OLz0SZO1{o>`y9N><VvLAk
zaTW$924QF>DP&**t+9pF*i3Q^Y~UK3TT7UcM|&H?{%s7=zMw9v4x}oA<{dwf6r?^y
z471Dw#V<H(fJSfN6)vKvs)83)>Yxf2RPSkTW8?#;7%NUmPH1n<6vP6XV*(mp24yiw
zi6$w@wT;1Elzj(-+BQc1nGBpPW*o~w!?4FiIc70P>Vlj5tYCQ^q}sM=`Tsa=-E9n0
zK(n^!j#hy?8tf)k?QM(#qO9P)38*u&{QnKa+(i(B2m=F?1OpF~B!f7U6oWjIG=l?^
z3_}W&EJHez976|_Ji}5Z1%?$&iVUlnlo{4BsW5D2Qe`;Fq|R`LNrT}$lP1FzCM|{^
zOxld>OgfBQOuFD`jA7tp=wMI=7oS`V=?qDXMGX2391JN8so<)Voxy>j2U?{5VBiOf
zu`)0)!jmB*H?%6{VffEj%)rCI#30Y`20V5OnIi!u0k8<8D0Ixjl!5CXgBCb{gPQZ;
zIt^5U{$o&MWMpUXu=vHm^pipACj%3BfRi6Q7@{TM2-=bWNh=J9>DX-yn?Qvcq!A9z
zE)0;o3$hp9gcooGt-!~kc|Q@F8JHPMz`cZ0#xe#520jKR#&QNm##%60&)CSoz`(`8
N$k@c#!q~<j2>==1yh;E7

literal 0
HcmV?d00001

diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition$TransitionBuilder.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition$TransitionBuilder.class
new file mode 100644
index 0000000000000000000000000000000000000000..8deddb3decf6a3274ce4269395490e708c3cf086
GIT binary patch
literal 1673
zcmX^0Z`VEs1_oOOYc2*R24;2!79Ivx1~x_pfvm)`ME#t^ymWp4q^#8B5=I6#o6Nk-
z5<5l)W)00SP6iGJPId+^9tLg(9!3U*#3V!gkfOxA;>?oF{5%x|)2TEwCndFrk%2R<
zC_gv2B(WrwkwM4@VSI2&QD$DcHON3d9tM5}0Y(O{qSVBc;L6;j{2WFGQ6#m_8Hq)S
z$t9^pVC6zQ48kDG*-P@l=CU)0GBWU?x`c~Cgh3qSCkaLd8x16*pw=RZAPh$mgeubv
z6JlUskm6yGW{_cI5YJ7_PIb=DOHM2a&n(Gs&d)0@Nz5xLW@PZCzzR%T85vld^HWk8
z8TfrN^HTjvbCXhwLK2g5z#*8QoR|}qSd<CkLj_q%GBS%98I*ib!vHfjtQi^1u((u{
z7>$<58WCYelwQ^(P-<Xg5Yj+bZq3NR0g6UYT3}=l(a^*e8eGBorA5i9ZkeDE;76n}
zJy2?5WZ>{iEiUoMFD_wZ5OB)RFDWi5N-XeAEy>7FDduNm(B)##W6)=3FaX7(AtQqd
zNEalDXXcgVXQ%2zA{!F1Zi&ey`9+nC3^S1Z3snd))FUx3B`395#V0>MyR^U>)5S<4
zC>ld53sSKtk491t$#mAp!2mVFIWZ?EII|?xnuEcZk--Tm6c9{krqh6DIa@{@1w^I-
z@j!u{SdwbXsL9B{<C&M2TI8IQSX`W1%*Y^!VGuimIU|EAMtETh26hHZMg}?jN*Nj0
zAYsO!$iTtC#K6G7%)kUHNEjFxm_S7Um=<Q>VPIfjV_*Q4NDPb&vJ4Ci`V5Q=j35!M
z?F@_?!OG;oia>%q4Dt*N3_K783<?a23=9m64BQM#P|em1Okm5{wY0Y~uxo9=s$C4C
z1gf2ZfgS8Fkgfa-%GeCzCE6f<1_7}1g|WLxkZ6NIAp>%e3WF-tMRp9VU~h};W)O+g
z+QPuDwS|FKYYT(mb_Ox*{)7aR2-Kg93~CJOP_t|pn89WVA)B*{L6U(1pGiVclUNuu
yz~QRNparHy7_=D}7&sUh8FUyJ8H^ZA7#J9Y7?>D17(^IM88{it7%Uj97$gBPj)!>w

literal 0
HcmV?d00001

diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition.class b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition.class
new file mode 100644
index 0000000000000000000000000000000000000000..55ad5d1eb3dbb31ef6b6d971c9c3789a565b3046
GIT binary patch
literal 1866
zcmX^0Z`VEs1_oOOFD?cq24;2!79Ivx1~x_pfvm)`ME#t^ymbAb)a3l46h;O%o6Nk-
z5<5l)W)00SP6iGJPId+^9tLg(9!3Vf#3V!gkfOxA;>?oF{5(bm&a|TZ+~AVLl2k?p
zAs>Wc!6ikRdFj?5?R-28{0st&3|vL2i7COAxk>psj0~bkYMnC@ixQJdQj5UKg?Jc*
zK~}Ms<b%y+XAos%P(Za;1>ppz(#)Kc)FLhh5e8-<1_lNR9tKGUDMkhkkamz87#UPF
zd{DJpYa-bWbty=%3=e}WgB&9RM@C|ChI4*ODkFn1re05wQUx9cMFu5C2Da3~(!`u%
zMg~<3g-CYzCuOB3mso2?F*4X_Ac;fmMiN1U1(G0CnPwOx0}I4i{63j^seYxoNvTC4
ziAg!&z|T)k%n3^@$^`MDf-EH&nZ=9@0_gr{WDxL8Ey>7F2}mqT%uOvxEh=VYU{8Vs
zB`Cl&(R5%2xHTh#hz6E$1ScC$Mg~!2e<JyxF&{OdK&2QN#8FH`gaac3S8#r5QF5wV
zCdi-sh^W^CB{xO}Zokyx65mu%SQIldu)&hCfKz^cNpVS0Vgbaf#r$jx7F-OL3|8z6
z);tV047Q96@*oo+slTW+uOu@!RUhIWs1`;B&Lo&Aj0_u*y_A_(mY<!f4^ilmn3s~1
zTCC!epPyY?V2v4dNFq>;A(aKGE~&-IMVSR9`9;WDoO2S3i;)GO(I1Uz2(s-ci5lVy
zYYql`Mg|#p7PUs?Kx<I;NGwU^XJlaKXJp{zXJim$WZ?14%S$Z+J0P`~kwFj<*3fLm
z&fvz#po$1JsArJf0Sg6o1`kFCIs8f)8Q35}#$d?6!NA18z`)EP1S)A57#M^=r3RQ5
zX5e99VBlb2WME}bW?*7aVPIg0VPIllVPIeo(b~?ysHMG?fn7^yD+8~V?p6lDjSLJ7
zObn_F3=C`xj0_A6ybNj#3=CQj^$h9^8Vn#H0=5SvF9Nm+WV;Bc=wV=H&;;pXX5eOE
zVBlw9U=U_tVBloXV$fz_1Y52Eb}9n{$8H9Z$n6Yb8yFZE7?CXGVGv}HWYB@CHe_G~
zJA++o7lSwh14uEl>v+Jf<AErFx=xTmmO&Sbc4-ENHE5p0u3eEq531dUfeGwd4lV6n
z4Dz`2i$T;ttp^3RK7#?+-P~}0=!5wT46IsP7})Xof)#2EBLhDJ$n&81Le|VnoMvIH
zHVYD?nU%o^98AUxCJYP=EDVecA`GUW)WQIYR8VT-XAl5KEQoE!z`!8Dz{p_Ez{<eE
hV8`IV;K<;_;0#WCObj9n91JcDoD8lE?hKv`k^rN6h=u?F

literal 0
HcmV?d00001

diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/shelved.patch b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/shelved.patch
new file mode 100644
index 0000000..9a01a2b
--- /dev/null
+++ b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/shelved.patch
@@ -0,0 +1,386 @@
+Index: src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+IDEA additional info:
+Subsystem: com.intellij.openapi.diff.impl.patch.BaseRevisionTextPatchEP
+<+>package ab1.impl.GRUPPE;\r\n\r\nimport ab1.FinalizedStateException;\r\nimport ab1.NFA;\r\nimport ab1.Transition;\r\n\r\nimport java.util.*;\r\n\r\npublic class NFAImpl implements NFA {\r\n    private final Set<String> states;\r\n    private final Set<Transition> transitions;\r\n\r\n    private final String initialState;\r\n    private final Set<String> acceptingStates;\r\n\r\n    private Set<Character> alphabet;\r\n\r\n    private Set<Character> completeAlphabet;\r\n    private boolean isFinalized;\r\n\r\n    public NFAImpl(String startState) {\r\n        this.initialState = startState;\r\n        this.states = new HashSet<>();\r\n        this.states.add(startState);\r\n        this.transitions = new HashSet<>();\r\n        this.acceptingStates = new HashSet<>();\r\n        this.alphabet = new HashSet<>();\r\n        this.completeAlphabet = new HashSet<>();\r\n        for(int i='a';i<='z';i++){\r\n            completeAlphabet.add((char)i);\r\n        }\r\n        this.isFinalized = false;\r\n\r\n    }\r\n\r\n    @Override\r\n    public Set<String> getStates() {\r\n        return this.states;\r\n    }\r\n\r\n    /*\r\n    public void safeAddStates(Set<String> states, Set<String> toCheck, NFAImpl nfa) {\r\n        for (String state : states) {\r\n            nfa.states.add(changeIfNecessary(state, toCheck));\r\n        }\r\n    }\r\n    */\r\n\r\n    @Override\r\n    public Collection<Transition> getTransitions() {\r\n        return this.transitions;\r\n    }\r\n\r\n    @Override\r\n    public Set<String> getAcceptingStates() {\r\n        return this.acceptingStates;\r\n    }\r\n\r\n    @Override\r\n    public String getInitialState() {\r\n        return this.initialState;\r\n    }\r\n\r\n    public Set<Character> getAlphabet() {\r\n        return this.alphabet;\r\n    }\r\n\r\n    @Override\r\n    public void addTransition(Transition transition) throws FinalizedStateException {\r\n        if (this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n        if (!states.contains(transition.fromState())) {\r\n            this.states.add(transition.fromState());\r\n        }\r\n        if (!states.contains(transition.toState())) {\r\n            this.states.add(transition.toState());\r\n        }\r\n        // add symbol to alphabet. If it is already in the alphabet, nothing happens\r\n        if (transition.readSymbol() != null) {\r\n            this.alphabet.add(transition.readSymbol());\r\n        }\r\n        this.transitions.add(transition);\r\n    }\r\n\r\n    public void addAllTransitions(Set<Transition> transitions) throws FinalizedStateException {\r\n        if (this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n        for (Transition transition : transitions) {\r\n            this.addTransition(transition);\r\n        }\r\n    }\r\n\r\n    @Override\r\n    public void addAcceptingState(String state) throws FinalizedStateException {\r\n        if (this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n        this.states.add(state);\r\n        this.acceptingStates.add(state);\r\n    }\r\n\r\n    public void addAllAcceptingStates(Set<String> states) throws FinalizedStateException {\r\n        if (this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n        for (String state : states) {\r\n            this.addAcceptingState(state);\r\n        }\r\n    }\r\n\r\n    public void safeAddAcceptingStates(Set<String> states, Set<String> toCheck, NFAImpl nfa) {\r\n        for (String state : states) {\r\n            nfa.addAcceptingState(changeIfNecessary(state, toCheck));\r\n        }\r\n    }\r\n\r\n    // #TODO\r\n    // write more testcases\r\n    @Override\r\n    public NFA union(NFA other) throws FinalizedStateException {\r\n        if (!this.isFinalized || !other.isFinalized()) {\r\n            throw new FinalizedStateException();\r\n        }\r\n        // new initialState with epsilon to initialState of this and other.\r\n        // Problem: what if states are called the same in this and other + what do we use as initialState?\r\n        NFAImpl unionNFA = new NFAImpl(this.getInitialState());\r\n\r\n        unionNFA.states.addAll(this.states);\r\n\r\n        unionNFA.addAllAcceptingStates(this.acceptingStates);\r\n\r\n        Set<String> otherAcceptingStates = new HashSet<>(other.getAcceptingStates());\r\n        unionNFA.safeAddAcceptingStates(this.acceptingStates, otherAcceptingStates, unionNFA);\r\n\r\n\r\n        Set<Transition> newTransitions = new HashSet<>();\r\n        for (Transition transition : other.getTransitions()) {\r\n            Transition newTransition =\r\n                    new Transition(transition.fromState(), transition.readSymbol(), transition.toState());\r\n            newTransitions.add(newTransition);\r\n        }\r\n        String flag = \"\";\r\n        newTransitions.add(new Transition(flag, null, other.getInitialState()));\r\n\r\n        for (String state : other.getStates()) {\r\n            if (!unionNFA.states.contains(state)) {\r\n                unionNFA.states.add(state);\r\n                if (other.getAcceptingStates().contains(state)) {\r\n                    unionNFA.acceptingStates.add(state);\r\n                }\r\n            } else {\r\n                // a state of other has the same name as one in this.\r\n                // change name of state and every Transition it is a part of in other\r\n                String newState = changeIfNecessary(state, unionNFA.states);\r\n\r\n                // wieder a neues set\r\n                Set<Transition> tempTransitions = new HashSet<>();\r\n\r\n                // check each transition of other if start or to state was state\r\n                for (Transition transition : newTransitions) {\r\n                    if (transition.fromState().equals(state)) {\r\n                        transition = new Transition(newState, transition.readSymbol(), transition.toState());\r\n                    }\r\n                    if (transition.toState().equals(state)) {\r\n                        transition = new Transition(transition.fromState(), transition.readSymbol(), newState);\r\n                    }\r\n                    tempTransitions.add(transition);\r\n                }\r\n                for (String accState : other.getAcceptingStates()) {\r\n                    if (accState.equals(state)) {\r\n                        unionNFA.acceptingStates.add(newState);\r\n                    }\r\n                }\r\n                newTransitions = tempTransitions; // Replace the original set with the updated set\r\n            }\r\n        }\r\n        // add, alphabet\r\n\r\n        Iterator<Transition> iterator = newTransitions.iterator();\r\n        while (iterator.hasNext()){\r\n            Transition transition = iterator.next();\r\n            if(transition.fromState().isEmpty()){\r\n                iterator.remove();\r\n\r\n                newTransitions.add(new Transition(unionNFA.initialState, transition.readSymbol(), transition.toState()));\r\n                break;\r\n            }\r\n        }\r\n\r\n        unionNFA.addAllTransitions(newTransitions);\r\n\r\n        unionNFA.addAllTransitions(this.transitions);\r\n\r\n        unionNFA.finalizeAutomaton();\r\n\r\n\r\n        return unionNFA;\r\n    }\r\n\r\n    // #TODO\r\n    // needs to work with a DFA not NFA\r\n    @Override\r\n    public NFA intersection(NFA other) throws FinalizedStateException {\r\n        if (!this.isFinalized || !other.isFinalized()) {\r\n            throw new FinalizedStateException();\r\n        }\r\n        NFAImpl intersectionNFA = new NFAImpl(this.initialState);\r\n\r\n        intersectionNFA.states.addAll(this.states);\r\n        intersectionNFA.states.retainAll(other.getStates());\r\n\r\n        intersectionNFA.transitions.addAll(this.transitions);\r\n        intersectionNFA.transitions.retainAll(other.getTransitions());\r\n\r\n        return intersectionNFA;\r\n    }\r\n\r\n    @Override\r\n    public NFA concatenation(NFA other) throws FinalizedStateException {\r\n        if (!this.isFinalized || !other.isFinalized()) {\r\n            throw new FinalizedStateException();\r\n        }\r\n\r\n        NFAImpl concatenationNFA = new NFAImpl(this.initialState);\r\n\r\n        // Add states from 'this'\r\n        concatenationNFA.states.addAll(this.states);\r\n\r\n        // Add states from 'other', with renaming if necessary\r\n        Map<String, String> renamedStates = new HashMap<>();\r\n        for (String state : other.getStates()) {\r\n            String newState = changeIfNecessary(state, concatenationNFA.states);\r\n            renamedStates.put(state, newState); // Old state name -> New state name\r\n            concatenationNFA.states.add(newState);\r\n        }\r\n\r\n        // Add transitions from 'this'\r\n        concatenationNFA.transitions.addAll(this.transitions);\r\n\r\n        // Add transitions from 'other', updating state names\r\n        for (Transition transition : other.getTransitions()) {\r\n            String newFromState = renamedStates.getOrDefault(transition.fromState(), transition.fromState());\r\n            String newToState = renamedStates.getOrDefault(transition.toState(), transition.toState());\r\n            Transition newTransition = new Transition(newFromState, transition.readSymbol(), newToState);\r\n            concatenationNFA.transitions.add(newTransition);\r\n        }\r\n\r\n        // Connect accepting states of 'this' to the initial state of 'other' with epsilon transitions\r\n        String newOtherInitialState = renamedStates.getOrDefault(other.getInitialState(), other.getInitialState());\r\n        for (String acceptingState : this.acceptingStates) {\r\n            Transition epsilon = new Transition(acceptingState, null, newOtherInitialState);\r\n            concatenationNFA.transitions.add(epsilon);\r\n        }\r\n\r\n        // Set accepting states of the concatenated NFA to be the accepting states of 'other'\r\n        concatenationNFA.acceptingStates.clear();\r\n        for (String acceptingState : other.getAcceptingStates()) {\r\n            concatenationNFA.acceptingStates.add(renamedStates.getOrDefault(acceptingState, acceptingState));\r\n        }\r\n\r\n        concatenationNFA.finalizeAutomaton();\r\n\r\n        return concatenationNFA;\r\n    }\r\n\r\n\r\n    @Override\r\n    public NFA kleeneStar() throws FinalizedStateException {\r\n        if (!this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n\r\n        NFAImpl nfa = new NFAImpl(this.initialState);\r\n\r\n        // copy, but without accepting states\r\n        nfa.states.addAll(this.states);\r\n        nfa.addAllTransitions(this.transitions);\r\n\r\n        // adding the initial state as accepting state because we have to accept the empty string\r\n        nfa.acceptingStates.add(this.initialState);\r\n\r\n        // for each accepting state\r\n        for (String acceptingState : this.getAcceptingStates()) {\r\n            Transition loopBackTransition =\r\n                    // creating an epsilon transition (null) for each accepting state\r\n                    new Transition(acceptingState, null, this.initialState);\r\n            nfa.transitions.add(loopBackTransition);\r\n        }\r\n\r\n        nfa.finalizeAutomaton();\r\n\r\n        return nfa;\r\n    }\r\n\r\n    @Override\r\n    public NFA plusOperator() throws FinalizedStateException {\r\n        if (!this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n\r\n        String newInitialState = \"newSTART\";\r\n        NFAImpl nfa = new NFAImpl(newInitialState);\r\n\r\n        // simple copy\r\n        nfa.states.addAll(this.states);\r\n        nfa.transitions.addAll(this.transitions);\r\n        nfa.acceptingStates.addAll(this.acceptingStates);\r\n\r\n        nfa.transitions.add(new Transition(newInitialState, null, this.initialState));\r\n\r\n\r\n        for (String acceptingState : this.acceptingStates) {\r\n            nfa.transitions.add(new Transition(acceptingState, null, newInitialState));\r\n        }\r\n\r\n        /*\r\n        // for each accepting state\r\n        for (String acceptingState : this.acceptingStates) {\r\n            Transition loopBackTransition =\r\n                    // creating an epsilon transition (null) for each accepting state\r\n                    new Transition(acceptingState, null, this.initialState);\r\n            if (!nfa.transitions.contains(loopBackTransition)) {\r\n                nfa.transitions.add(loopBackTransition);\r\n            }\r\n        }\r\n        */\r\n\r\n        nfa.finalizeAutomaton();\r\n\r\n        return nfa;\r\n    }\r\n\r\n    // #TODO\r\n    @Override\r\n    public NFA complement() throws FinalizedStateException {\r\n        if (!this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n\r\n        // create a copy of this NFA\r\n        NFAImpl nfa = new NFAImpl(this.initialState);\r\n        nfa.states.addAll(this.states);\r\n        nfa.addAllTransitions(this.transitions);\r\n        nfa.addAllAcceptingStates(this.acceptingStates);\r\n\r\n        nfaAddTrap(nfa);\r\n\r\n        NFAImpl fakeNFA = convertNFAtoDFA(nfa);\r\n\r\n        // state -> accepting\r\n        // accepting -> state\r\n\r\n        Set<String> newAcceptingState = new HashSet<>();\r\n\r\n        for (String state : fakeNFA.getStates()) {\r\n            if (!fakeNFA.getAcceptingStates().contains(state)) {\r\n                newAcceptingState.add(state);\r\n            }\r\n        }\r\n        fakeNFA.acceptingStates.clear();\r\n        fakeNFA.addAllAcceptingStates(newAcceptingState);\r\n\r\n        Set<Character> originalAlphabet = new HashSet<>(fakeNFA.alphabet);\r\n\r\n        fakeNFA.alphabet.clear();\r\n\r\n        Set<Character> newAlphabet = new HashSet<>();\r\n\r\n        for (char ch = 'a'; ch <= 'z'; ch++) {\r\n            if (!originalAlphabet.contains(ch)) {\r\n                newAlphabet.add(ch);\r\n            }\r\n        }\r\n\r\n        for (Transition transition : fakeNFA.transitions) {\r\n            for (Character letter : newAlphabet) {\r\n                fakeNFA.addTransition(new Transition(transition.fromState(), letter, transition.toState()));\r\n            }\r\n        }\r\n\r\n        fakeNFA.alphabet = newAlphabet;\r\n\r\n        fakeNFA.finalizeAutomaton();\r\n\r\n        return fakeNFA;\r\n    }\r\n\r\n    @Override\r\n    public boolean isFinalized() {\r\n        return isFinalized;\r\n    }\r\n\r\n    @Override\r\n    public void finalizeAutomaton() {\r\n        this.isFinalized = true;\r\n    }\r\n\r\n    // #TODO\r\n    @Override\r\n    public boolean isFinite() {\r\n        //transitions={fromState==toState}\r\n        //states={A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z}\r\n        //obergrenze = anzahl der states (26)\r\n        return false;\r\n    }\r\n\r\n    // #TODO\r\n    @Override\r\n    public boolean acceptsWord(String word) throws FinalizedStateException {\r\n        if (!this.isFinalized) {\r\n            throw new FinalizedStateException();\r\n        }\r\n\r\n        char[] wordArray = word.toCharArray();\r\n\r\n        Set<String> currentStates = new HashSet<>();\r\n        currentStates.add(this.initialState);\r\n        currentStates = (epsilonClosure(currentStates, this));\r\n\r\n        for (char letter : wordArray) {\r\n            // schritt a\r\n            currentStates = getStateAfterTransition(currentStates, letter, this);\r\n            // schritt b\r\n            currentStates = epsilonClosure(currentStates, this);\r\n        }\r\n\r\n\r\n\r\n        return isAcceptingState(currentStates, this);\r\n    }\r\n\r\n    public NFAImpl convertNFAtoDFA(NFAImpl input) {\r\n\r\n        // all accepting states of the DFA\r\n        Set<String> dfaAcceptingStates = new HashSet<>();\r\n        // all states of the DFA\r\n        List<Set<String>> dfaStates = new ArrayList<>();\r\n        // all transitions of the DFA\r\n        Set<Transition> dfaTransitions = new HashSet<>();\r\n\r\n        // all states of the NFA\r\n        Set<String> startState = new HashSet<>();\r\n        startState.add(input.getInitialState());\r\n\r\n        // getting the epsilon closure of the start state\r\n        startState = epsilonClosure(startState, input);\r\n        dfaStates.add(startState);\r\n        if (isAcceptingState(startState, input)) {\r\n            dfaAcceptingStates.add(getIndexOfSet(startState, dfaStates));\r\n        }\r\n\r\n        // do the above with each DFA state\r\n        Queue<Set<String>> queue = new LinkedList<>();\r\n        queue.add(startState);\r\n        // iterate each Letter\r\n        while (!queue.isEmpty()) {\r\n            Set<String> currentState = queue.poll();\r\n            // for each possible Letter\r\n            for (char letter : input.getAlphabet()) {\r\n                // get the new state after the transition\r\n                Set<String> newState = epsilonClosure(getStateAfterTransition(currentState, letter, input), input);\r\n                if (!dfaStates.contains(newState)) {\r\n                    queue.add(newState);\r\n                    dfaStates.add(newState);\r\n                    if (isAcceptingState(newState, input)) {\r\n                        dfaAcceptingStates.add(getIndexOfSet(newState, dfaStates));\r\n                    }\r\n\r\n                }\r\n\r\n                // build new Transition\r\n                dfaTransitions.add(new Transition(getIndexOfSet(currentState, dfaStates), letter, getIndexOfSet(newState, dfaStates)));\r\n            }\r\n        }\r\n\r\n        NFAImpl newDFA = new NFAImpl(\"0\");\r\n\r\n        for (int i = 0; i < dfaStates.size(); i++) {\r\n            newDFA.states.add(\"\" + i);\r\n        }\r\n\r\n        newDFA.addAllTransitions(dfaTransitions);\r\n        newDFA.addAllAcceptingStates(dfaAcceptingStates);\r\n\r\n        return newDFA;\r\n    }\r\n\r\n    private Set<String> epsilonClosure(Set<String> states, NFA nfa) {\r\n        Set<String> closure = new HashSet<>(states);\r\n        Stack<String> stack = new Stack<>();\r\n        stack.addAll(states);\r\n        while (!stack.isEmpty()) {\r\n            String state = stack.pop();\r\n            for (Transition transition : nfa.getTransitions()) {\r\n                if (transition.fromState().equals(state) && transition.readSymbol() == null) {\r\n                    if (closure.add(transition.toState())) {\r\n                        stack.push(transition.toState());\r\n                    }\r\n                }\r\n            }\r\n        }\r\n        return closure;\r\n    }\r\n\r\n    private Set<String> getStateAfterTransition(Set<String> states, char symbol, NFA nfa) {\r\n        Set<String> result = new HashSet<>();\r\n        for (String state : states) {\r\n            for (Transition transition : nfa.getTransitions()) {\r\n                if (transition.fromState().equals(state) && transition.readSymbol() != null && transition.readSymbol() == symbol) {\r\n                    result.add(transition.toState());\r\n                }\r\n            }\r\n        }\r\n        return result;\r\n    }\r\n\r\n    private boolean isAcceptingState(Set<String> states, NFA input) {\r\n        for (String accState : input.getAcceptingStates()) {\r\n            if (states.contains(accState)) {\r\n                return true;\r\n            }\r\n        }\r\n        return false;\r\n    }\r\n\r\n    private String getIndexOfSet(Set<String> set, List<Set<String>> dfaStates) {\r\n        return Integer.toString(dfaStates.indexOf(set));\r\n    }\r\n\r\n    private String changeIfNecessary(String str, Set<String> toCheck) {\r\n        while (toCheck.contains(str)) {\r\n            str = str + \"1\";\r\n        }\r\n        return str;\r\n    }\r\n\r\n    private void nfaAddTrap(NFAImpl input){\r\n        String trap = changeIfNecessary(\"TRAP\", input.getStates());\r\n        input.states.add(trap);\r\n        Set<Transition> newTransitions = new HashSet<>();\r\n        for(String state : input.getStates()){\r\n            for(char letter : completeAlphabet){\r\n                boolean hasTransition = false;\r\n                for(Transition transition : input.getTransitions()){\r\n                    if(transition.fromState().equals(state)&&transition.readSymbol().equals(letter)){\r\n                        hasTransition = true;\r\n                        break;\r\n                    }\r\n                }\r\n                if(!hasTransition){\r\n                    newTransitions.add(new Transition(state, letter, trap));\r\n                }\r\n            }\r\n        }\r\n        input.addAllTransitions(newTransitions);    //input.transitions.addAll(newTransitions);\r\n    }\r\n\r\n}\r\n
+Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
+<+>UTF-8
+===================================================================
+diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java	
++++ b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java	
+@@ -206,15 +206,11 @@
+         if (!this.isFinalized || !other.isFinalized()) {
+             throw new FinalizedStateException();
+         }
+-        NFAImpl intersectionNFA = new NFAImpl(this.initialState);
+-
+-        intersectionNFA.states.addAll(this.states);
+-        intersectionNFA.states.retainAll(other.getStates());
+-
+-        intersectionNFA.transitions.addAll(this.transitions);
+-        intersectionNFA.transitions.retainAll(other.getTransitions());
+-
+-        return intersectionNFA;
++        NFA newFNA_A = this.complement();
++        NFA newNFA_B = other.complement();
++        NFA unionNFA = newFNA_A.union(newNFA_B);
++        NFA result = unionNFA.complement();
++        return result;
+     }
+ 
+     @Override
+@@ -345,7 +341,7 @@
+         nfa.addAllTransitions(this.transitions);
+         nfa.addAllAcceptingStates(this.acceptingStates);
+ 
+-        nfaAddTrap(nfa);
++        nfaAddTrap(nfa); //error on last occasion
+ 
+         NFAImpl fakeNFA = convertNFAtoDFA(nfa);
+ 
+@@ -555,6 +551,9 @@
+             }
+         }
+         input.addAllTransitions(newTransitions);    //input.transitions.addAll(newTransitions);
++        for(char letter : completeAlphabet){
++            input.getAlphabet().add(letter);
++        }
+     }
+ 
+ }
+Index: .idea/workspace.xml
+IDEA additional info:
+Subsystem: com.intellij.openapi.diff.impl.patch.BaseRevisionTextPatchEP
+<+><?xml version=\"1.0\" encoding=\"UTF-8\"?>\r\n<project version=\"4\">\r\n  <component name=\"AutoImportSettings\">\r\n    <option name=\"autoReloadType\" value=\"SELECTIVE\" />\r\n  </component>\r\n  <component name=\"ChangeListManager\">\r\n    <list default=\"true\" id=\"f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e\" name=\"Changes\" comment=\"concat GEHT\" />\r\n    <list id=\"39d4ccb3-eae9-4ed4-996a-5a13f44678fa\" name=\"Changes by carol\" comment=\"\" />\r\n    <option name=\"SHOW_DIALOG\" value=\"false\" />\r\n    <option name=\"HIGHLIGHT_CONFLICTS\" value=\"true\" />\r\n    <option name=\"HIGHLIGHT_NON_ACTIVE_CHANGELIST\" value=\"false\" />\r\n    <option name=\"LAST_RESOLUTION\" value=\"IGNORE\" />\r\n  </component>\r\n  <component name=\"Git.Settings\">\r\n    <option name=\"RECENT_BRANCH_BY_REPOSITORY\">\r\n      <map>\r\n        <entry key=\"$PROJECT_DIR$\" value=\"main\" />\r\n      </map>\r\n    </option>\r\n    <option name=\"RECENT_GIT_ROOT_PATH\" value=\"$PROJECT_DIR$\" />\r\n  </component>\r\n  <component name=\"GitLabMergeRequestFiltersHistory\">{\r\n  &quot;lastFilter&quot;: {\r\n    &quot;state&quot;: &quot;OPENED&quot;,\r\n    &quot;assignee&quot;: {\r\n      &quot;type&quot;: &quot;org.jetbrains.plugins.gitlab.mergerequest.ui.filters.GitLabMergeRequestsFiltersValue.MergeRequestsMemberFilterValue.MergeRequestsAssigneeFilterValue&quot;,\r\n      &quot;username&quot;: &quot;rawalcher&quot;,\r\n      &quot;fullname&quot;: &quot;rawalcher&quot;\r\n    }\r\n  }\r\n}</component>\r\n  <component name=\"GitLabMergeRequestsSettings\">{\r\n  &quot;selectedUrlAndAccountId&quot;: {\r\n    &quot;first&quot;: &quot;https://git-ainf.aau.at/rawalcher/theorethische-informatik-gruppe-10.git&quot;,\r\n    &quot;second&quot;: &quot;2afc8825-f511-4d8a-8cc1-901875567c84&quot;\r\n  }\r\n}</component>\r\n  <component name=\"MarkdownSettingsMigration\">\r\n    <option name=\"stateVersion\" value=\"1\" />\r\n  </component>\r\n  <component name=\"ProjectColorInfo\">{\r\n  &quot;associatedIndex&quot;: 2\r\n}</component>\r\n  <component name=\"ProjectId\" id=\"2afDcX9p9UZiDe6ife9RGZcJjKQ\" />\r\n  <component name=\"ProjectViewState\">\r\n    <option name=\"hideEmptyMiddlePackages\" value=\"true\" />\r\n    <option name=\"showLibraryContents\" value=\"true\" />\r\n  </component>\r\n  <component name=\"PropertiesComponent\">{\r\n  &quot;keyToString&quot;: {\r\n    &quot;RunOnceActivity.OpenProjectViewOnStart&quot;: &quot;true&quot;,\r\n    &quot;RunOnceActivity.ShowReadmeOnStart&quot;: &quot;true&quot;,\r\n    &quot;WebServerToolWindowFactoryState&quot;: &quot;false&quot;,\r\n    &quot;full.screen.before.presentation.mode&quot;: &quot;false&quot;,\r\n    &quot;git-widget-placeholder&quot;: &quot;5-top-skill-issue-raphael&quot;,\r\n    &quot;ignore.virus.scanning.warn.message&quot;: &quot;true&quot;,\r\n    &quot;node.js.detected.package.eslint&quot;: &quot;true&quot;,\r\n    &quot;node.js.detected.package.tslint&quot;: &quot;true&quot;,\r\n    &quot;node.js.selected.package.eslint&quot;: &quot;(autodetect)&quot;,\r\n    &quot;node.js.selected.package.tslint&quot;: &quot;(autodetect)&quot;,\r\n    &quot;nodejs_package_manager_path&quot;: &quot;npm&quot;,\r\n    &quot;project.structure.last.edited&quot;: &quot;Project&quot;,\r\n    &quot;project.structure.proportion&quot;: &quot;0.0&quot;,\r\n    &quot;project.structure.side.proportion&quot;: &quot;0.0&quot;,\r\n    &quot;settings.editor.selected.configurable&quot;: &quot;preferences.lookFeel&quot;,\r\n    &quot;vue.rearranger.settings.migration&quot;: &quot;true&quot;\r\n  }\r\n}</component>\r\n  <component name=\"RunManager\" selected=\"JUnit.ab1 in ETI_Abgabe\">\r\n    <configuration name=\"ComplexTests.complement1Test\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"MAIN_CLASS_NAME\" value=\"ab1.tests.ComplexTests\" />\r\n      <option name=\"METHOD_NAME\" value=\"complement1Test\" />\r\n      <option name=\"TEST_OBJECT\" value=\"method\" />\r\n      <dir value=\"$PROJECT_DIR$/src/test/java/ab1\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ComplexTests.plus1Test\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"MAIN_CLASS_NAME\" value=\"ab1.tests.ComplexTests\" />\r\n      <option name=\"METHOD_NAME\" value=\"plus1Test\" />\r\n      <option name=\"TEST_OBJECT\" value=\"method\" />\r\n      <dir value=\"$PROJECT_DIR$/src/test/java/ab1\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ComplexTests.union1Test\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"MAIN_CLASS_NAME\" value=\"ab1.tests.ComplexTests\" />\r\n      <option name=\"METHOD_NAME\" value=\"union1Test\" />\r\n      <option name=\"TEST_OBJECT\" value=\"method\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ab1 in ETI_Abgabe\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <option name=\"TEST_OBJECT\" value=\"directory\" />\r\n      <dir value=\"$PROJECT_DIR$/src/test/java/ab1\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration name=\"ab1.tests in ETI_Abgabe\" type=\"JUnit\" factoryName=\"JUnit\" temporary=\"true\" nameIsGenerated=\"true\">\r\n      <module name=\"ETI_Abgabe\" />\r\n      <extension name=\"coverage\">\r\n        <pattern>\r\n          <option name=\"PATTERN\" value=\"ab1.tests.*\" />\r\n          <option name=\"ENABLED\" value=\"true\" />\r\n        </pattern>\r\n      </extension>\r\n      <option name=\"PACKAGE_NAME\" value=\"ab1.tests\" />\r\n      <option name=\"TEST_OBJECT\" value=\"package\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration default=\"true\" type=\"JetRunConfigurationType\">\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <configuration default=\"true\" type=\"KotlinStandaloneScriptRunConfigurationType\">\r\n      <option name=\"filePath\" />\r\n      <method v=\"2\">\r\n        <option name=\"Make\" enabled=\"true\" />\r\n      </method>\r\n    </configuration>\r\n    <recent_temporary>\r\n      <list>\r\n        <item itemvalue=\"JUnit.ab1 in ETI_Abgabe\" />\r\n        <item itemvalue=\"JUnit.ComplexTests.plus1Test\" />\r\n        <item itemvalue=\"JUnit.ComplexTests.complement1Test\" />\r\n        <item itemvalue=\"JUnit.ComplexTests.union1Test\" />\r\n        <item itemvalue=\"JUnit.ab1.tests in ETI_Abgabe\" />\r\n      </list>\r\n    </recent_temporary>\r\n  </component>\r\n  <component name=\"SharedIndexes\">\r\n    <attachedChunks>\r\n      <set>\r\n        <option value=\"jdk-21.0.1-openjdk-21.0.1-f644763e9732-f98dd351\" />\r\n      </set>\r\n    </attachedChunks>\r\n  </component>\r\n  <component name=\"SpellCheckerSettings\" RuntimeDictionaries=\"0\" Folders=\"0\" CustomDictionaries=\"0\" DefaultDictionary=\"application-level\" UseSingleDictionary=\"true\" transferred=\"true\" />\r\n  <component name=\"TaskManager\">\r\n    <task active=\"true\" id=\"Default\" summary=\"Default task\">\r\n      <changelist id=\"f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e\" name=\"Changes\" comment=\"\" />\r\n      <created>1704700820495</created>\r\n      <option name=\"number\" value=\"Default\" />\r\n      <option name=\"presentableId\" value=\"Default\" />\r\n      <updated>1704700820495</updated>\r\n      <workItem from=\"1704700821945\" duration=\"5461000\" />\r\n      <workItem from=\"1704712375384\" duration=\"4940000\" />\r\n      <workItem from=\"1704717343016\" duration=\"2934000\" />\r\n      <workItem from=\"1704750167689\" duration=\"2263000\" />\r\n    </task>\r\n    <task id=\"LOCAL-00001\" summary=\"changed a bit\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704734947115</created>\r\n      <option name=\"number\" value=\"00001\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00001\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704734947115</updated>\r\n    </task>\r\n    <task id=\"LOCAL-00002\" summary=\"fucking hell\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704749802065</created>\r\n      <option name=\"number\" value=\"00002\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00002\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704749802065</updated>\r\n    </task>\r\n    <task id=\"LOCAL-00003\" summary=\"Changes by danie\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704749806556</created>\r\n      <option name=\"number\" value=\"00003\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00003\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704749806556</updated>\r\n    </task>\r\n    <task id=\"LOCAL-00004\" summary=\"fucking hell\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704749811525</created>\r\n      <option name=\"number\" value=\"00004\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00004\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704749811525</updated>\r\n    </task>\r\n    <task id=\"LOCAL-00005\" summary=\"fucking hell\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704750289780</created>\r\n      <option name=\"number\" value=\"00005\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00005\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704750289780</updated>\r\n    </task>\r\n    <task id=\"LOCAL-00006\" summary=\"concat GEHT\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704752332678</created>\r\n      <option name=\"number\" value=\"00006\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00006\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704752332678</updated>\r\n    </task>\r\n    <task id=\"LOCAL-00007\" summary=\"concat GEHT\">\r\n      <option name=\"closed\" value=\"true\" />\r\n      <created>1704752420737</created>\r\n      <option name=\"number\" value=\"00007\" />\r\n      <option name=\"presentableId\" value=\"LOCAL-00007\" />\r\n      <option name=\"project\" value=\"LOCAL\" />\r\n      <updated>1704752420737</updated>\r\n    </task>\r\n    <option name=\"localTasksCounter\" value=\"8\" />\r\n    <servers />\r\n  </component>\r\n  <component name=\"TypeScriptGeneratedFilesManager\">\r\n    <option name=\"version\" value=\"3\" />\r\n  </component>\r\n  <component name=\"VcsManagerConfiguration\">\r\n    <MESSAGE value=\"progress of 7/1\" />\r\n    <MESSAGE value=\"changed a bit\" />\r\n    <MESSAGE value=\"Changes by danie\" />\r\n    <MESSAGE value=\"fucking hell\" />\r\n    <MESSAGE value=\"concat GEHT\" />\r\n    <option name=\"LAST_COMMIT_MESSAGE\" value=\"concat GEHT\" />\r\n  </component>\r\n  <component name=\"XDebuggerManager\">\r\n    <breakpoint-manager>\r\n      <breakpoints>\r\n        <line-breakpoint enabled=\"true\" type=\"java-line\">\r\n          <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>\r\n          <line>15</line>\r\n          <option name=\"timeStamp\" value=\"12\" />\r\n        </line-breakpoint>\r\n      </breakpoints>\r\n    </breakpoint-manager>\r\n    <watches-manager>\r\n      <configuration name=\"JUnit\">\r\n        <watch expression=\"((HashSet)((NFAImpl)testInstance).acceptingStates).toArray()[2]\" custom=\"java.util.HashSet,ab1.impl.GRUPPE.NFAImpl\" />\r\n      </configuration>\r\n    </watches-manager>\r\n  </component>\r\n</project>
+Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
+<+>UTF-8
+===================================================================
+diff --git a/.idea/workspace.xml b/.idea/workspace.xml
+--- a/.idea/workspace.xml	
++++ b/.idea/workspace.xml	
+@@ -4,8 +4,18 @@
+     <option name="autoReloadType" value="SELECTIVE" />
+   </component>
+   <component name="ChangeListManager">
+-    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="concat GEHT" />
++    <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="complement1Test works&#10;fuck yea">
++      <change beforePath="$PROJECT_DIR$/.idea/jarRepositories.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/jarRepositories.xml" afterDir="false" />
++      <change beforePath="$PROJECT_DIR$/.idea/misc.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/misc.xml" afterDir="false" />
++      <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/Transition$TransitionBuilder.class" beforeDir="false" afterPath="$PROJECT_DIR$/target/classes/ab1/Transition$TransitionBuilder.class" afterDir="false" />
++      <change beforePath="$PROJECT_DIR$/target/classes/ab1/Transition.class" beforeDir="false" afterPath="$PROJECT_DIR$/target/classes/ab1/Transition.class" 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" />
++      <change beforePath="$PROJECT_DIR$/target/test-classes/ab1/tests/FinalizeTests.class" beforeDir="false" afterPath="$PROJECT_DIR$/target/test-classes/ab1/tests/FinalizeTests.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="" />
+     <option name="SHOW_DIALOG" value="false" />
+     <option name="HIGHLIGHT_CONFLICTS" value="true" />
+     <option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
+@@ -46,28 +56,33 @@
+     <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;5-top-skill-issue-raphael&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.lookFeel&quot;,
+-    &quot;vue.rearranger.settings.migration&quot;: &quot;true&quot;
++  <component name="PropertiesComponent"><![CDATA[{
++  "keyToString": {
++    "JUnit.ComplexTests.complement1Test.executor": "Run",
++    "JUnit.ComplexTests.concat1Test.executor": "Debug",
++    "JUnit.ComplexTests.executor": "Run",
++    "JUnit.ab1.tests in ETI_Abgabe.executor": "Run",
++    "RunOnceActivity.OpenProjectViewOnStart": "true",
++    "RunOnceActivity.ShowReadmeOnStart": "true",
++    "WebServerToolWindowFactoryState": "false",
++    "full.screen.before.presentation.mode": "false",
++    "git-widget-placeholder": "main",
++    "ignore.virus.scanning.warn.message": "true",
++    "kotlin-language-version-configured": "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>
+-  <component name="RunManager" selected="JUnit.ab1 in ETI_Abgabe">
+-    <configuration name="ComplexTests.complement1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
++}]]></component>
++  <component name="RunManager" selected="JUnit.ComplexTests.intersection1Test">
++    <configuration name="ComplexTests" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+       <module name="ETI_Abgabe" />
+       <extension name="coverage">
+         <pattern>
+@@ -77,14 +92,12 @@
+       </extension>
+       <option name="PACKAGE_NAME" value="ab1.tests" />
+       <option name="MAIN_CLASS_NAME" value="ab1.tests.ComplexTests" />
+-      <option name="METHOD_NAME" value="complement1Test" />
+-      <option name="TEST_OBJECT" value="method" />
+-      <dir value="$PROJECT_DIR$/src/test/java/ab1" />
++      <option name="TEST_OBJECT" value="class" />
+       <method v="2">
+         <option name="Make" enabled="true" />
+       </method>
+     </configuration>
+-    <configuration name="ComplexTests.plus1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
++    <configuration name="ComplexTests.complement1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+       <module name="ETI_Abgabe" />
+       <extension name="coverage">
+         <pattern>
+@@ -94,14 +107,14 @@
+       </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="METHOD_NAME" value="complement1Test" />
+       <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">
++    <configuration name="ComplexTests.intersection1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+       <module name="ETI_Abgabe" />
+       <extension name="coverage">
+         <pattern>
+@@ -111,16 +124,24 @@
+       </extension>
+       <option name="PACKAGE_NAME" value="ab1.tests" />
+       <option name="MAIN_CLASS_NAME" value="ab1.tests.ComplexTests" />
+-      <option name="METHOD_NAME" value="union1Test" />
++      <option name="METHOD_NAME" value="intersection1Test" />
+       <option name="TEST_OBJECT" value="method" />
+       <method v="2">
+         <option name="Make" enabled="true" />
+       </method>
+     </configuration>
+-    <configuration name="ab1 in ETI_Abgabe" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
++    <configuration name="ComplexTests.union1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+       <module name="ETI_Abgabe" />
+-      <option name="TEST_OBJECT" value="directory" />
+-      <dir value="$PROJECT_DIR$/src/test/java/ab1" />
++      <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="union1Test" />
++      <option name="TEST_OBJECT" value="method" />
+       <method v="2">
+         <option name="Make" enabled="true" />
+       </method>
+@@ -152,8 +173,8 @@
+     </configuration>
+     <recent_temporary>
+       <list>
+-        <item itemvalue="JUnit.ab1 in ETI_Abgabe" />
+-        <item itemvalue="JUnit.ComplexTests.plus1Test" />
++        <item itemvalue="JUnit.ComplexTests.intersection1Test" />
++        <item itemvalue="JUnit.ComplexTests" />
+         <item itemvalue="JUnit.ComplexTests.complement1Test" />
+         <item itemvalue="JUnit.ComplexTests.union1Test" />
+         <item itemvalue="JUnit.ab1.tests in ETI_Abgabe" />
+@@ -163,6 +184,7 @@
+   <component name="SharedIndexes">
+     <attachedChunks>
+       <set>
++        <option value="jdk-19.0.2-corretto-19.0.2-f644763e9732-1e16d6ec" />
+         <option value="jdk-21.0.1-openjdk-21.0.1-f644763e9732-f98dd351" />
+       </set>
+     </attachedChunks>
+@@ -178,7 +200,7 @@
+       <workItem from="1704700821945" duration="5461000" />
+       <workItem from="1704712375384" duration="4940000" />
+       <workItem from="1704717343016" duration="2934000" />
+-      <workItem from="1704750167689" duration="2263000" />
++      <workItem from="1704816386713" duration="410000" />
+     </task>
+     <task id="LOCAL-00001" summary="changed a bit">
+       <option name="closed" value="true" />
+@@ -188,67 +210,27 @@
+       <option name="project" value="LOCAL" />
+       <updated>1704734947115</updated>
+     </task>
+-    <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>
+-    <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>
+-    <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" />
++    <option name="localTasksCounter" value="2" />
+     <servers />
+   </component>
+   <component name="TypeScriptGeneratedFilesManager">
+     <option name="version" value="3" />
++  </component>
++  <component name="Vcs.Log.Tabs.Properties">
++    <option name="TAB_STATES">
++      <map>
++        <entry key="MAIN">
++          <value>
++            <State />
++          </value>
++        </entry>
++      </map>
++    </option>
+   </component>
+   <component name="VcsManagerConfiguration">
+     <MESSAGE value="progress of 7/1" />
+     <MESSAGE value="changed a bit" />
+-    <MESSAGE value="Changes by danie" />
+-    <MESSAGE value="fucking hell" />
+-    <MESSAGE value="concat GEHT" />
+-    <option name="LAST_COMMIT_MESSAGE" value="concat GEHT" />
++    <option name="LAST_COMMIT_MESSAGE" value="changed a bit" />
+   </component>
+   <component name="XDebuggerManager">
+     <breakpoint-manager>
+@@ -257,6 +239,31 @@
+           <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>472</line>
++          <option name="timeStamp" value="21" />
++        </line-breakpoint>
++        <line-breakpoint enabled="true" type="java-line">
++          <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>
++          <line>31</line>
++          <option name="timeStamp" value="24" />
++        </line-breakpoint>
++        <line-breakpoint enabled="true" type="java-line">
++          <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>
++          <line>120</line>
++          <option name="timeStamp" value="25" />
++        </line-breakpoint>
++        <line-breakpoint enabled="true" type="java-line">
++          <url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>
++          <line>211</line>
++          <option name="timeStamp" value="28" />
++        </line-breakpoint>
++        <line-breakpoint enabled="true" type="java-line">
++          <url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>
++          <line>338</line>
++          <option name="timeStamp" value="39" />
+         </line-breakpoint>
+       </breakpoints>
+     </breakpoint-manager>
+Index: .idea/jarRepositories.xml
+IDEA additional info:
+Subsystem: com.intellij.openapi.diff.impl.patch.BaseRevisionTextPatchEP
+<+><?xml version=\"1.0\" encoding=\"UTF-8\"?>\r\n<project version=\"4\">\r\n  <component name=\"RemoteRepositoriesConfiguration\">\r\n    <remote-repository>\r\n      <option name=\"id\" value=\"central\" />\r\n      <option name=\"name\" value=\"libs-release\" />\r\n      <option name=\"url\" value=\"${env.ARTIFACTORY_URL}/maven\" />\r\n    </remote-repository>\r\n    <remote-repository>\r\n      <option name=\"id\" value=\"snapshots\" />\r\n      <option name=\"name\" value=\"libs-snapshot\" />\r\n      <option name=\"url\" value=\"${env.ARTIFACTORY_URL}/maven\" />\r\n    </remote-repository>\r\n    <remote-repository>\r\n      <option name=\"id\" value=\"central\" />\r\n      <option name=\"name\" value=\"Maven Central repository\" />\r\n      <option name=\"url\" value=\"https://repo1.maven.org/maven2\" />\r\n    </remote-repository>\r\n    <remote-repository>\r\n      <option name=\"id\" value=\"jboss.community\" />\r\n      <option name=\"name\" value=\"JBoss Community repository\" />\r\n      <option name=\"url\" value=\"https://repository.jboss.org/nexus/content/repositories/public/\" />\r\n    </remote-repository>\r\n  </component>\r\n</project>
+Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
+<+>UTF-8
+===================================================================
+diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml
+--- a/.idea/jarRepositories.xml	
++++ b/.idea/jarRepositories.xml	
+@@ -7,6 +7,11 @@
+       <option name="url" value="${env.ARTIFACTORY_URL}/maven" />
+     </remote-repository>
+     <remote-repository>
++      <option name="id" value="central" />
++      <option name="name" value="Central Repository" />
++      <option name="url" value="https://repo.maven.apache.org/maven2" />
++    </remote-repository>
++    <remote-repository>
+       <option name="id" value="snapshots" />
+       <option name="name" value="libs-snapshot" />
+       <option name="url" value="${env.ARTIFACTORY_URL}/maven" />
+Index: .idea/misc.xml
+IDEA additional info:
+Subsystem: com.intellij.openapi.diff.impl.patch.BaseRevisionTextPatchEP
+<+><?xml version=\"1.0\" encoding=\"UTF-8\"?>\r\n<project version=\"4\">\r\n  <component name=\"ExternalStorageConfigurationManager\" enabled=\"true\" />\r\n  <component name=\"MavenProjectsManager\">\r\n    <option name=\"originalFiles\">\r\n      <list>\r\n        <option value=\"$PROJECT_DIR$/pom.xml\" />\r\n      </list>\r\n    </option>\r\n  </component>\r\n  <component name=\"PWA\">\r\n    <option name=\"wasEnabledAtLeastOnce\" value=\"true\" />\r\n  </component>\r\n  <component name=\"ProjectRootManager\" version=\"2\" languageLevel=\"JDK_21\" default=\"true\" project-jdk-name=\"openjdk-21\" project-jdk-type=\"JavaSDK\">\r\n    <output url=\"file://$PROJECT_DIR$/out\" />\r\n  </component>\r\n</project>
+Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
+<+>UTF-8
+===================================================================
+diff --git a/.idea/misc.xml b/.idea/misc.xml
+--- a/.idea/misc.xml	
++++ b/.idea/misc.xml	
+@@ -7,11 +7,12 @@
+         <option value="$PROJECT_DIR$/pom.xml" />
+       </list>
+     </option>
++    <option name="workspaceImportForciblyTurnedOn" value="true" />
+   </component>
+   <component name="PWA">
+     <option name="wasEnabledAtLeastOnce" value="true" />
+   </component>
+-  <component name="ProjectRootManager" version="2" languageLevel="JDK_21" default="true" project-jdk-name="openjdk-21" project-jdk-type="JavaSDK">
++  <component name="ProjectRootManager" version="2" languageLevel="JDK_19" default="true" project-jdk-name="openjdk-19" project-jdk-type="JavaSDK">
+     <output url="file://$PROJECT_DIR$/out" />
+   </component>
+ </project>
+\ No newline at end of file
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_.xml b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_.xml
new file mode 100644
index 0000000..aa7df08
--- /dev/null
+++ b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_.xml
@@ -0,0 +1,4 @@
+<changelist name="Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]" date="1704817679616" recycled="false" toDelete="true">
+  <option name="PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]/shelved.patch" />
+  <option name="DESCRIPTION" value="Uncommitted changes before Checkout at 09.01.2024 17:27 [Changes]" />
+</changelist>
\ No newline at end of file
diff --git a/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_1.xml b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_1.xml
new file mode 100644
index 0000000..d830bbc
--- /dev/null
+++ b/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27__Changes_1.xml
@@ -0,0 +1,24 @@
+<changelist name="Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1" date="1704817827727" recycled="true" deleted="true">
+  <option name="PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/shelved.patch" />
+  <option name="DESCRIPTION" value="Uncommitted changes before Checkout at 09.01.2024 17:27 [Changes]" />
+  <binary>
+    <option name="BEFORE_PATH" value="target/classes/ab1/impl/GRUPPE/NFAImpl.class" />
+    <option name="AFTER_PATH" value="target/classes/ab1/impl/GRUPPE/NFAImpl.class" />
+    <option name="SHELVED_PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/NFAImpl.class" />
+  </binary>
+  <binary>
+    <option name="BEFORE_PATH" value="target/test-classes/ab1/tests/FinalizeTests.class" />
+    <option name="AFTER_PATH" value="target/test-classes/ab1/tests/FinalizeTests.class" />
+    <option name="SHELVED_PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/FinalizeTests.class" />
+  </binary>
+  <binary>
+    <option name="BEFORE_PATH" value="target/classes/ab1/Transition$TransitionBuilder.class" />
+    <option name="AFTER_PATH" value="target/classes/ab1/Transition$TransitionBuilder.class" />
+    <option name="SHELVED_PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition$TransitionBuilder.class" />
+  </binary>
+  <binary>
+    <option name="BEFORE_PATH" value="target/classes/ab1/Transition.class" />
+    <option name="AFTER_PATH" value="target/classes/ab1/Transition.class" />
+    <option name="SHELVED_PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Checkout_at_09_01_2024_17_27_[Changes]1/Transition.class" />
+  </binary>
+</changelist>
\ No newline at end of file
diff --git a/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/NFAFactoryImpl.class b/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/NFAFactoryImpl.class
new file mode 100644
index 0000000000000000000000000000000000000000..d84a8815c53927156e04460a4ddfd53d30ceaeeb
GIT binary patch
literal 536
zcmX^0Z`VEs1_oOOX)XpP24;2!79Ivx1~x_pfvm)`ME#t^ymWp4q^#8B5=I6#o6Nk-
z5<5l)W)00Sb_Nbc2JyrsL;cL$f*gJKpwNH-SA9P>N6*}X94-cS1}>06+>8vO8a@c4
zf=h}r^U|$B+Ibln<gjRWOH3}wFRBEY!p^|Y$iN3u<LBlG6=!5%an4UkWn|#@$;?aj
zE6q(xEec6Y%1LEp5c0`SPRt2QEXoA&p@J+W8JWe53<^FVW6)d*H4<c%H6sH@QfX#R
zil3V!BZDk9CxcD!b91z2WZ)_;Nh~S}E=eo_TZ`d6Mh33n{L-T2RJTl!!-Nse2ic_u
zQqQ2sz{9}Az{tSIzyPLM8Q2&Y83Y&@81xw!85kKD7+AHoGcaxhOA9hEfTcmC5Ca1P
z4@3cjFoOsK0|O(2D1#VOvn>NN0}}%S1LtlA_DJpR44fO#4B%t{86XBx1T}zxfs;X;
MK>}>ABv`!^02sz^s{jB1

literal 0
HcmV?d00001

diff --git a/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/shelved.patch b/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/shelved.patch
new file mode 100644
index 0000000..e69de29
diff --git a/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36__Changes_.xml b/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36__Changes_.xml
new file mode 100644
index 0000000..809dfef
--- /dev/null
+++ b/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36__Changes_.xml
@@ -0,0 +1,9 @@
+<changelist name="Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]" date="1704919017204" recycled="false" toDelete="true">
+  <option name="PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/shelved.patch" />
+  <option name="DESCRIPTION" value="Uncommitted changes before Update at 10.01.2024 21:36 [Changes]" />
+  <binary>
+    <option name="BEFORE_PATH" value="target/classes/ab1/impl/GRUPPE/NFAFactoryImpl.class" />
+    <option name="AFTER_PATH" value="target/classes/ab1/impl/GRUPPE/NFAFactoryImpl.class" />
+    <option name="SHELVED_PATH" value="$PROJECT_DIR$/.idea/shelf/Uncommitted_changes_before_Update_at_10_01_2024_21_36_[Changes]/NFAFactoryImpl.class" />
+  </binary>
+</changelist>
\ No newline at end of file
diff --git a/target/classes/ab1/impl/GRUPPE/NFAImpl.class b/target/classes/ab1/impl/GRUPPE/NFAImpl.class
new file mode 100644
index 0000000000000000000000000000000000000000..b34c8710ab259bde6b6793da5ba8c205acaee382
GIT binary patch
literal 17633
zcmX^0Z`VEs1_oQk%Uldh49x5dEIbUX3~Y=H0$GV=iTXK-dFlH8Nm;4MC5#MgHko;u
zC3cJq%o>_uoD3Wcoa_u-JPh0nJd6zDiAjd~nYjfy`tCuY0RgW1er}GQxdl0l3_KuB
znTa{UC5a`ej0{3P2!n%5iZb)kt=Sp)7#Re?!lfmdIr<)n#Tmh=C0q==49p;F1bG;Q
z7=#%a*or|$6f-jLL(Bjx4o)qx=4KFO5MyT$=V6dwkYr@wMHm&FTEfV{oS2fr$RMf#
z(S_tCYt1N-`O-WLG9dH0ONtWniZe?x^Ye;9;&MC;@*r{k#N_1Ef|AU<bg&=5a*8|*
zN+3Co#GHbR#H7>`kOmbV233%tKyrR=K~8E(sv}gAi$R@1gPlQ>he3-$n~^~n>_D(X
zoHG)O5|c|(ix?T$%Mx=+Q~lEz86-5EHIW<(S7QybM3;v_k3pZ2fjhI<Ei*4MC$lOw
zg^__Vik-obkwF?14RB$wb6qRIj?d5IVlZG}=3+2mFlA>j<6$souwZ211E~*zdz+Dg
zGp#5;7p#wwK|}-D70}26g|!tAgEc6iIg<19N)j{kib1B@@-WzejASp#2kQrkIq)zz
zGB`0Za22H{rUX~!CgtZaGKixXi|`!CWEUO=R|Ypm29C^<)S|?a{31pMF_?02bbCU@
zt+^RI7(Ce-ym%PA8GINSgup?HqJ)uwJtMK$FSP=c1T-|GKsx+*82lLm7#Uddz{03L
zgrsw8E(Q*UARdNbh7d*u-o%s?<lqt3@IehRYt1lrhA@=u0tqOPDG@vjkql9c41$R%
zDUK*<2rW56v{-9~fpo?2FvK#%F)|1yXC&sOr+TLOr6#8q7bg}~GBTJVCt|2BNJ;^F
z9h4cc##sVGB0ED8DCPJtGO&ZZ;OFKDvMhy%Ar%yB{OPGBo_U!iu#5_lO9vGNQJ`qa
z<YCBS$Yx|<19>DThmk=N>JG52&iOexsmY*hW33ql(wNJ`kjIeE$RG+)j_UPdMg}2d
z-C#F|aWf<^6!I_>F@U7gQ%f-PNT4JGBr8G1L@CInWq6zg4%iAFhDwGiMh3Cs#I#gL
z^e8E2WUxYa7h2GQ;~q;PXRQf#e+>^qEy(?R>8T|l@H|z_%}~$a!p_jZ$RL79qzDgy
z@<|iO{mqOFHc$tEiw2bF1&bi^3dCVxL8vm#Fb;-RMg|5@K&F6*4jzV1kZU;8Q%k@Z
z66_EwE{0Hs9v+5XQ2u30Ei6sUDFzAk^Ds;R<s<gYV%OY)l1fl!nZ&~|8B`Up6{Y6p
zm!*PYb}A3UG*HZfQ*=%ak}pBBGk6$gf;0%GK?^3w(vtk##1c^1!@)3{hhYxGTt)^i
zNa>iHnpeWez^$PP4pl!lM{AI)XM>0ZJPZpN7BMogmgZ&V=Ya|$xEh3Nc7`PwwT5qE
z0T;t!24-%C<qRv>8CLQztYTP=QX%*z7BDg}7nGJTGFTu7HZ<=eg)3A9IXgjxK&G$d
zVOR$;nkPNA#J|WTH7&6;rv#K$Ht;ZP1cd=>a!zVu5hzqPgOc?YMg~EY6bwrC91PnS
z894G%%Y#E4gF--RcknRmWZ1>Xz?GMl=m;))3K$t=AcYS0ga^{KhlgP=!#+j^{^b0;
zvecpyKR3scd>1!IMg|i+TESt8%}|h$2SBN33p>LhSZxK)>5fH3iIqN?#U)$}2SIfS
z2SW{rRm#qAoRL8jk-C%f^O8%8ic<4R^b<?+b2F3m9l?}mUP)?tY7rO1F@}?%B!7yL
zfknd;lzT)O`neg-GFY)QoMU9*Lzo1z3?w1O&TtV_prExfLP`sAQn?r|FkA*1cZHEb
z3prBp=NFJSukkQkXSe~X_A+yFLh@bnQWzQHphkdw46@%Ek}8Pe6Yx2>fIP-<i-+Mh
z!yQmHmsb)7s`bHbDo>D$?(s0(XL!KKAPlNoGxJJQ{quYhi%Y;BrM26_I2j%>JZ5Kj
z!o%>C;TdYBR#{w<n#;(*oDa%6qL2{D%-0Vn%FHVXE-6Y)%(doVc)`e^?HUy1AEXOz
zoMe`yD&(e?WaOtPWESTg+ESuWRGOEUnU}6ml$oAUqR7SYis3ao!y6ukx1eeg(kwzX
zl#zkG0Axi@9w-&O=VAB&3OAPG%&JsSD*D93@R{KhBLj1BY6(ceS009M4Br_UnA1TG
zKT!=&EZG;7Tz>K}`~p>bpzQ0KlL{(};*CHOe|Q-Ff?6!d5{4j?|MM_1FfuYSuxI9_
zq*j1hX;>SSpg3e?=3!)EWMyRF1~*te^8yk}G8h?DailAhQXEu&GP3h9axii-GDw5<
z2c;$^XQURxYecYMF^(2Q6gR_JMs85S{hf<}gOQhqk&lrd+?Gg9&UVW$@=GoENi6}l
zH$8E<2R)sG-G|6Z$RP@?dqCmi!o?8ED8$1k%qYUhz+I9L(f}?lKv`Tf+8N{;F&;*7
zMhQj+zSM%^%$)o@=bZfF(xOyG22EtAfJ#Pi*#xQ+ptgbC1d;$5BgMlg%_zgjAP%e9
z9Meitix71Yq7;B@bH;0+91o*BqXHv?KqexT!Br+BgEVfJful-^hf$ePg^__5+<pS5
z3~-;r7(*XwnPv_37&vgD!N|_2hSEmx$;``6O#ziaT#Tv=%-oEc3}WnzT8s?*2(to9
zQ%h4pGX30)nvA+UjC$baZ9#rc4k)M$co+>CwlFeqgPK%`&IqG152FdADI)`Caz<hi
zq6Bj0U^HiBU^Eb7U|_W5VYFhjW@Hf0P0UVp&d*CuED6sn$#BlkD=taQD*-1!l<Wof
zg)NE;gG&;Vv$+^;7??psCWz?gVzgm&;$d_Kxs|yfzW~H{<zaMVbZ2B>DJU(@U}R8(
z1|T?qpcOB2m_dcO7(E%i*crWf7=1vFh4do9dZ2X;BLfGhLjvk(3NbJ;`hk4qk7hj7
z<;ccEg*X@k85vkYf*b=F890M8)AJHbzzJ3vQUJozmkopqwil|?&YF=y5h9FG1!{OB
z(y28_jT*WdaNL4T0%aj^-w>>j#W_DE71a05%uDqv%}q)z3Q0`L0r#l$lM{2o5{oiH
ze5fE}CL;r*CnEz(Nk(QdBZDM3{bQ@_85y{WOA?D9O+-cpUT}2zCKf==QAKaG;P9#z
ziaJE=)&^`bnx8dL6bGl4ARCJ6Yc52eoRL8Q-7rQ5E_nC0n2|xu2PGsb3sRxJP=O{U
zJTaje#>l`5E?N<Z1ECxdDe&k8X<!GHbE(PMj10_qX^D&sNf`EE(TF?3;bw#Vi7mE3
zmh$GMmLmd`k%1#IIT>17f!mUxK@vs={*u((0)(<+Mh4dWk_^x|11H#YP~pnRzyWSy
z`+=H@B4BBFEdw^On2~`G#kOKb29~s(#B@dm5hQQGJLQZF$jKQdj5Q7LWagEm78OJK
zjgVHbpPOU6BZBF~$iNF~P9>J4<|Tr9my8TNd8y@Yhye;NklP@m4U7!z&`Jd~sDakk
z7C<ou>|5TV)V##p)D)OEk%yFg6AP>v8AS3@%l$zihTJV?WH3eYw{Kzra>|89A4CB-
z2SY_b`J5{|Cp9%MHMk_Ph><}kCqKWyDKR-45kZU$JOw$W#r_4baS#5y)N)j-+0zoU
zQ^Bqm%u6jtjVVxD5;Pu^2^wQ#DF8P(1RyQ}r(#eoV$I0Fk(Qa4S)2hHG15ko1%(fu
z_PRAA1A7j*)lkgH04*iqrb1#DIkAG<s^Bt93CRwS3m|F{o(3yY$54dGG^m9EXC9*U
z0&RkVgBhU;)Y5@?1Yrpy!vf@NiEsxtH)FU3qsYckf!(!8$_RxnC{wdR!k3Yug!*np
z3nOR*f<>VTbnpjJ6e9y`38=Hj$RG|bzc3?@k-?7CutN?5%_v3&9%!!>S`Y9-xv)Y4
zl>T6BK~Vn;H1_G2S`HKAh71%Jhvyf8hGd-?8Cc4}OimC5Z4EO;JF_z`L)Zn@%*eo+
znFk(~5K2i)M9td8j0~J9X^CKUpaMB1EfJBpLFIZOs13--Ac&OYz|BHyMh3RL)N=4Z
z0CKSf$pPSG3(m!86)-eS*nu;r8M>j+0*|0Z_GDP&9#pG>sz_w_fm<2Yj0~zs#)HM6
z#v?}zsPqg(j#*sp1*Z#8y#`I;c-;t^PJj+bvlXQlm*$i(G6WH03(l?t4yWrAV<^Ju
zQH%^ZMCm}pAMx=C4H)Fm1@)aviWnJSy+LF-<j6s7q`}h&Rug$M5{nT@6x0YU0u8%y
z1?QI*C8xS&f?BOS&<P?vkUtn11f25oONvX15(|960|v$XY>Y>^7>_a@V`n@LYO|kU
zWKaPqg-l6h=9T4Vr|LtT0qLB$B_@~TgT}~bK!XqL6R1Lnp&p5ODLJXdDn9x7*`)>0
zVI8nCh(X9AC>ld53sR9Kp~|Bn0R%Py+8;p<52z8&i8(pJnI);#9E_(xV+b6KXBZin
z7!4U2cs%p+Qj45(5{rvdi`f~^Gcu@RcoCb+*%>b~GRWaq%E-V5@g{>J0|x^W10zEM
z13QBdXeNz;kuivYfq{uJm_Z0M^9ARJFbIKW^B5Qygg`T2aPeRUCeUmboFB>{1e)kV
z;xmEfq!<_&lo=QqSQ(-i7#YJD7#O}WFf%YSFfin6ZD(NA(%#CzuC<$iH*z}z|5gS8
ztt|`!+B+FUm>9wlqEZN^EP|<kU@8kF+R6x2EoP9=+QOhLGie8d8pMniCdTFeUuZFJ
zWzgBkz`(%F7|y`JV8+19z`!8Jz``KTz{w!NAi^NYAkQGhpv54~V9FrF;J_fu;LRY%
z5W*nOkjx;*kjbFPkjJ3R7{S26puoV);Kv}%7|9sLzy$IHV>Dw70|?|Z#xn3QFfzt5
zFfa%+F#Tun15KQAurq`*GBEsNkYZqD=w#T!zyuBheFjDbMg|53R*-);fP)?6GB&WF
zI@l&2Fq;)(J~V3L85lv630Mq~LN~+&ry&Upj0{CsT_THah$T)#KrTsTuz*G>vUk|g
z4Y9*Cgn<z>0D;9D3h0`hFf~KNB9Va+G#dvs<N^Z|I6iW;wlL_-WZ>S-U=X>T!Dv4y
ze6_bR81H1TWMY`bAc)|DlNczqZDX)OleK{)9_?)m_Q$|l6hKUfpw<=!DQE&kq$n*0
zE(Qh$cLsI_4+ee)F9vxAZw6fkUj|zSKL&4xK!zZOAch2n5Qc1qP_Tc*AZ~@kEdv8X
z4r3ByGBoY5F|hE<%8D?iFfcH%FfcM0Fff8<R~VSV31<ZZ69Wqa1A`HoKecx<I5RT%
z>g;52XJnYkAgZ&I!IzQY0E3C2mhLu&z~%p6fLzN0PXAI2Yzzzx5e)1MkqrC{(F~dl
zF${VPu?&U`abVYh(zqrAE7(n-jA{gTrxCPZNM&FErFD=y7-Sejpf2ZOVCMhBz{bwt
z@rywU;eKd*r7<vq<~^bDRSb<UH8g*K;|CtnvKS#P#=y$Jz>vhi&XCN&&ydO>#gN9J
z%8(9rHzZWm;I36;Ob59VoFkbT82J%SVqj#*W5_2nNJGIv8jdAMvl!SJvKjapav3xk
z@)-0O@)-;n3cyZ-1u4iu=s_yPAk4tXh#aIsjKM?&X$Au$Xzmgkq&pZ`z!9qpNefmi
zk}S~FAPZuFlS8N#tFD$LtIjrt=xq$)%m3d;qzWN$x+-RnV<=(JWGH3OVJHJT-GqUa
zL5_hN9G0N4*M*0#E~MIEU|`T?%mkHrU{)4m3<ERRJCOL$WdM5zESJd`%)kVW4{ipg
zKMWk;q@oN>AlVFzpb0*RZ&>^o*cf;i7?`{v34}*`Cqq0V!z@J3-p#-fskMzEc{@Xz
zug(@o&9RdqgNY$rM{5g%>^6oRP_3f9lc9i-VLL;KA6QgZXB$H~NPIg3zZHx2PKIhm
zhMf#`j0{$+lC03sG6Au`p=Dylwwu8uQj%>OgE5G(2N5>g85*tFC0QidA<1<4{}Vzj
zR;-dNV5O{#+B+HAKsGi)q_uZ4w8QLRlVpR~!6*P?f$a#jVh6b%WE!}H(u46p<rBp9
zAh|9khM5f4b+$0bf_Nag<qRjZB*A*OF+^K&z&ynXifd;^1}iQ}E{J6e2_P2OG7~Fq
zNp6s5*taos&t#AQJDCF{WDg?1UIVMJkwjJj*22Aw!CsOB<ausMPDyTv@0S0c192lH
z5D|82!0ikL*$Fj{AM61RnBFUroK`H$|Gj}Z86G|iF7WU%v0?{lHr~e2H<LjNBs`Ik
z0TS3cTNuD{_8<iyw?oZkU|arwhmIu6HijvnNS6Z9+Zd+nfa(@V3Am3zpMim)hCzU#
zmO+A{kwJx_nZbymmBEUkoxy{lgCU5an<1K^hoO$4m!XBBk6{`^Kf?ls2@H!FCNeB%
zn8dK3VG6?|hN%o67^X4&VVKUy!!UzUnqe-ZI>Q1+1BS(n{tQbPV;Gh)7BVbntYcWg
zIGJG;<6MT-j0+gnFdk-D%XpSy9pg=g4UBgfHZne7*v$BtVH@KchV6{s7<Mo*G3;dG
zW!S|e!mx+QkYO*A3B!ISbB2RVwhV`vTp5lsc`}>;=gS!k{0!3=xEOO7lNs0<>KK&3
z<ux0lKZ75b#m#t_L5wk%fro*cQJrBYV;%z!0|%o4!v@BD24M!!oZdfho@QraVlV>h
zU<YM4Sng)>W-MSVWME`aVNz!-VvJ#6V(?&MW-Mk9W?*KBX8gcd!XV7R!myli31cY(
z4+AUX8-{oWSH?01HgMk8Vqk&T#TdfC3DL<I4AaRN!oUJmU(Ub=E)U`vgap|CGx&q5
z4-R&Q1a?s2Aj-}l3aU~Welb}61uc~dWoPjC!{Eox5c-cnmYpFKBL9cMoSnf$@h1b%
z9|j(F1`q9D3`{>5n18{FnBNTUOvq(FV+F$^NGZdxlz|Ccp_t+-Wwf?2%<|RV$uN(R
z!B0nbC&PRu21vm=kC6eCo**qsNR4`)L4e@`g9O7R23dy73@Qv)7<3t~g5wHQhB7di
z!orrp6dJa&3=)i$jD-wL3@QwQj8%+<49pC=3>=I_jD-v=;BaAKU=m<QaeOt*@ywt`
zH75fD;{sfc2N#iB7}zn3$lVN!Beydw^+PV55cP#AC_{n^j8H39P<63|K>$?9u<1&&
zf^y(8W`=NZF~tVWasQ9&Y+;ZBHH{!8Fml0)Fg6Nqtcew?t|Tj{AOaCP8P+f}9AF5w
z0-3*!!3HE_0~cfm7gB5>L3>GdQ2E0FvP=?QiYx+Ecx{Xfkb)Pkj|Ef<fLldKWxEc%
zY!8K%?TnHvAVWbVsT90y{eJ;eQtf0|4>q;{R)8Za2~A{!Kx%a*!KD|(C$M0-tb<za
z6fwv!FfiO=5Ma2?Ai;2tL51NVgAv0M1}lcA46zK)7%~~2Gn6pAU}#`?$<WO3hG8PZ
zdxk9x9~e$Dd}O%C@QL9A!)Jy+3||=jGkj+hWB9>n&hV4bmEjj-Aj5CQ5Qcw@u?+ti
z8yFcFr!z7#&SGR{oX5xtPJew2d<>Zk;@~oXjUkpn8JzQ38BQ`7GuANhFt9P)V~}I4
zW#D08XZXOt11?iI7`8BYfXf9|Mpp(N#yU_r!)VSR#aIv0!Pvkc4q<^(AS`7wE`X+N
z6~-FI25_li#hAv}$k@cd%qYgt#n{Zi!@vSAAwc~bh+GQ;GdQgqGH?m7|6|Yt=l$j2
zwt@8@1}QKj;V*+CIKzAVVlesxE*5?<=%ZweR))EdT+PVIzzWXQ4WNvH-eiE}2On*e
zCWAI8?QUb3qP>MdR%;6bv})Jd#;^&Tg5d3HZCJZH)DM&_bs0g5LCJ?jdkcdUD1C#g
z=Kq(pw=qoDMidZ6ptcMnHv>B(4+B3VKZ7)*5Q8S8FoPkZ7=t~dBts0N6hk(nEJHb?
z977eO0z)065;)?t7+4sx8F(1m7?T-T7-ATt!9fmcK{h~xT$&-35!B>@bUgVPnEC%Q
zSb{^);}?SgN&vOP14x5`4IDr-&;m$ks}HEm(8eq<Kv@nHMv(jsO7M{E1#WL`VUPla
zhBhoTAju!1z?qT3PZ!z{QPYL?N<ytzKn8*|NwP3%Z)boumX`m&4$m==k`>%nXH;ik
zXVhTeXVhj8V$@-fX4GfUWHewfXEbDRWi)1pVKif?Vl-#yXS86L#OTH_jnM-hcvTFd
z;2;C_nPxzPOo*Y4u>;gIV32001qU9aO)A8|%>R!e44lj$O;c^;@B^(=gC?*f24-+m
zdp275fdUVbBGParFi@y$W606c-o~&UMC|s3w%q)5wlVAnr#46h1MbIZf|3-hB-Yu+
zunAP`fZK^Yx*#SbwOt0q2e`1((cQ+70}nz-W5<m_kb!~GkAa=hpMjq-m_eE`gh7)r
zl);cOi~-caw_}WAaAAyR@L^13$Yo4osAf!NXkkocXlG1gn829MFqJWrVJ2fXI7mSi
zSuTS(wD@3Pm<<h5X@&-HKr%A8FoZL9f-}AkgFj;zsJQ^o?qCs6GXR|3Wf@rb|1-EV
zu!2)72bhFZ_d35AP%3N&Jq8~vBMmxhPzO#JA$=`S!NR}*9XMeC^@iD?noYnXUJMLu
zS}f23AtrE#7_`Wpfw7c<l@ZeAftbJs^&2B&H_Up*R%pqxXg9;b$n6Y=eL%F<HijeH
z8IJnyW;hnfyq)2MA6Re;gTi)(qgJ45NMR?#X^=ZuS=LChFz#eH0~(6p0W;4tF@$UH
zX1EY3khp^Z)EQ>q&Twfb14vj)TSt;bcN@dinGCGVYjn3U+?>V04->q*{Qn1#5X%Av
zRu-@%>jIFnO$-l(o^NA#$pQ)+Nc{UT2s1D+HZgE8HZzDYwlK&twlZijwlSD7wli2T
zb}~3Kb}{%c_Aw+g_A}%&PGBfxoWxMUIGLe^aVkR(<1~go#_0^x7-uldV4TIUfN?fF
z9WXE~f`$+W!z{)g#$E<S1`&on1{ua)1||kshE~Qt#(oB71}%mP#tDqQ&|)9d6Nadt
z2v<LefeET=GPKzv%fR-Z!2+5z&ayL{WoJ0X&Ty82L0CnIlaql7v>FbQ7nzM1*crGP
z7#JsO?__w#$iT9IflHEwWgElCjoJ_q)|8zLUzivUFkINi@WYA~D$0T+`WxC7V3lOU
zBKreWzO(Cq+6Moa7+4a_I7B&gz;-QS=++VCfSPUsZO(MhWXMMmwU=aD#t?%dWMjpt
zr7g+1jge_4gRmBe!8Vh@Qj&!g$=NI^I~loPsY8-Yk`p;$=z@ATS7$P?Y~0ww!MOZ?
zfi9?B26vt=)Okg^aObImtkeNn#RKXZ9%Bg5(w5``yFg6~#9*5V3OI-hKnYTkQ<4jA
z<wkHCMG?}{)<JhgCnEH~PDczbOkz-BU|?Ltz{R+jL4a`ygCOHF26e{e47Q9b7~&XL
zGL$l|VwlIcnqeK|8ipN=>lqF*Ze%#lxQXEe<5q_2jN2GqGHz%1%D98!8{;m9?~E%M
z{xa@o6k$BTsK|JbQJe8FqXFYlMk~e>jLwXw7(E$JGkP(eXN+OIz!=MTnK7U73S%|n
zRmK{|>x{LG`x%=V?=endd<ag*EeyO2>li%24I@s5EQZP8fn5$pMTQv0DU4GYI2pAW
zg21v|jGPQr5Lr-SgQk22#>vo>&%ihtn({$np!CiRRtL%hEDY+5ISl5YZW4nnV;F-Y
z<5UJVhB!u3#%bV26=>`SlrKO!dl*6a0%95{Ux36WFiwUxkz5&g1phNcFmQrPOGw6m
z<c&~v26c7@6GjGxKMb+#457NeK%>sAe;BwK|1vm$B}0Yeeu4#|11{4Um_X|QA^C`r
zn}L~uoq>TN1saK{*@i`DC!+w$Fo`Xw{sC7_CRS{qfe~X+n(Us*pa|mF>n>xEfSLqL
z$slo?4a@)UX9P8jAcd10$WF$W3}TG07)%&nGk7t+Wr$>a#}Lo>fgy?UBRG=m7}yw0
z7_`A{QP9X`3M}v$Qec74kOB*Qh7`sbj8hqy8N?X;z(EdaZ9>MPK<dH43sye~Iu<3!
z!2Fj%4qWYf{AO?fRX&iJkeLij4A&WMKm%w211or#7gnwymmoi^Sal%*1nvcZ>+UX4
zmIMcox)nP#_&7k_7O-q4hy|84vEr2EL=+yrAdbBx`!WV+a2dg11J0!4pke~VW&;g_
zfJ+LNHIQ7%4$@%*&#Ul^xn}wQ$;<y2F(ax1NNeghgBar<1{21=3_*<l7&4g{7|NKK
z8Jd__89JEQ7`m9a80Ir^GpuCdV_3t)&#<0J5F86Zpban#;ow-{WH4c<0EaUu#cYJf
z$3}R3Y=p<hMsVQ|YO-zwR|qT&VhppvF~bUO7=RN#14t(%W<WZ@37-L^6PECm8Q9=)
z^cU3kR|gLT__8yY{9=&%$-sn&wOI^IpoO-OSYucP?cwWb?*t`acw1B+))u`0YHn>~
z_@M(H5@Tgqv;6-(q#y$iI5UYcNHd8us5410XfjDL=rBoxg9Ow%muBE&oXt1~Jb0=H
z4+uSYK<I(nN=#s{LfRD|xrvDJ-9HTM><k`?2={|}F&vDXkTwhBI|e2OP6h^s>!60C
zHh7|9CaB7Xwi*$wN9a&Fvl)vHq!o$itop;VYN!<(q!kYuA!G+tY2d`D4PrqPBZnjh
zC^52ugM(ie#DmU<EdPIT`Tw=L=%!nunJx=T_m-gXN>-LNI#A9m27VSZ7BCOeW<4y*
zGV6aRQb30>h%zuR$uaOU$usaXDKdyNDKW@1DKn@usWE6VsWW&mX)t6mX)=^CX)!c0
z=`gf1=`wUM=`k#0(r4JhWWcbE$%x?~lQF{)CKHCUOlAxhn9LcjGFgBl3Y2y;86?4J
zmxIBB!Ip6zs1M5ks)Rt}VxUsxIy~~OgQJX*L7d?L<9zVAwmicQ#s#3JEQ1!qTE>M8
z`q0J<s8j)~0*z}kfK|bpx26o-{C^q5!9!G{e;K$K*%>_kGAKZb89hjfg~a_I232;3
z&|eH<zd-F%#zl;rkhIGv!ob470V<Nwx*6Kr7zN=GuM6sMKzm%eTH6>!{d7PndY>69
zvl*Kxn<(od1_enLQ8p7Zb}d~|cCBrUl73ncg)MB1%m3d8b7T>PgdV6l#bn38&ScNP
z&*a1)!sNmr!{o}K&g90R$K=7_&g8`qz~sXa&g8)m%M=I>U{Jrnok4(c2IFE-fzE(j
zL@xn%wL};K7?(0GV_;&CVekM4D`b)YlqbL<@PLzJVCMhNpb5$r9H7u*Tn-9D#^sER
z3=BUQlu^25dl~jY@(D990|&_6jG>5(0dArDLHSlJFb1n6tM)dAWN46qIE<p;@hE7s
z8!RF_lR;2NOOjQ08>1pb<!(mR$nA{kpt??ybtj_+6GONp+fGJp(4@pd5K9L%-zI9s
zuDy*>ACgB9rF|{Dv{&E8Xk^Bzr6tKO%Bj7LQBr#wqo@^^E@-$M+%3?PWRv8A7!MW%
z_XH%lw6`%roy3K3k|cP}K}(VyBqYkYg8|f%1F?}h)b-2%M}xYh!i;9y8PcrSnL*80
zSo=^~l6?z<fGEc<MhgZ8h&RE_$p@0`pvruTB)iTwh8#)olrE&cu40g5U|<So;9!bm
z5MYXCkYtKuP-2Q_&|^wsFlS0;a9~Pd@M213h+xWONMy=l$Y#o6C}qlJXk^M~Sjtq$
zu$8HZ;Q&)H!zrc`hRaN)40oBz7+y2gF!D0hG72!&F$yy^Fv>GEG3qikGuksXF}gCf
zG5RpIGX^nrf)iR50}sPih6u(y24My+hNTP{;3UV%(8$owxPn2Lft^u_K^fjm3x(xr
z#!$wUj4=$13>=KUjH|$TT7c1&aW!Kv12cmpqYdL4@MyLYqcLMFgD?XtLn6Z$#<h&=
z7}yx)8O#{hGsZBmgNtwv26l-3jKK_C5L+388Q3A_f=dC2xf@{Sg2uWTz~(Xr!_5Wl
z1p}=Uh+yCVwdUBstvL=*G6(f^K*QdkW}FZ^qb9h-0QHLhGQ=^mGl>3YP=RI)6y@xU
znhXp~e;N2dF8Rfv#J~jFQvoeTVi}mh#YhV%2WW%l!ge#-L~dua1C<ln+ZgS`C0VvH
zI?Q570nv`2kyut8q^U7Plg0s5nnUXe@YIVjXjry;CW8uS3da68gN!bS0jV!$GVp<B
z$+m$SEiU29|L<A;f0izy<p&-TW9nt#Wa?uOV(Mp*WSYRB$TX2bn`sh*AJb%pWTq($
zg-lZ!YM5p))HBUwXkwZLP6418@MF*em*wmX+6*D!(i$`~*#e7gh8FnDWD8>!czm6c
zp_*|MxC9qsC}P~qxCL5*Ls}m#&^b!5Do{bh08zCS+8vc<VExM=35p*^8+bG1H-qy}
z1|}wGV|p6{6KMYlG{~KxwRR&Y$YFDhpgI>(DW@S<o4QEBji{C#a8=7Hpjz4f7=sL$
z-o|Jovw%TBk_E(rggqp<r%AFP!dnTH2AJkCa5BwjP-j}e;Kj6%A)9FtLj}_khH9pz
z40TM);Nj~94POohb!hm4YRE=-_%_1Bw~=u><6`h?hDLBmGc#~9R50!U<tA``0o9NU
z42|&ctzg{27z_<nSx~47f<l$S<1d2}sH|u3fP^ZdHMEm~3A7Cd60QvEpshJ09q_y^
zc-9f#q?3a+=|Zhov_S)Butv!8|M!s^8ju#<Dh36n)ePE9YZ!Ey)-f0`tp|G^)S^>h
z-~~^cfrbo`mp*{!=|M{#7*~Rl6xe&9+KYj~2;x2Ps1^?cGh`M@0pW*T3{0T?Ku|xV
zf{s*RU|`_Z(ca1MkBMOiqX#IKAmg3j6+ldz!H$8XO>TIob2EGfEfoN11(#fqMkOSK
zxfwo#77ak<HZZ`F<!%Nh(7th~)fG^y#XwerLx)#;7o#r&gU|B+@4>^>kW!uxv_Ok#
zI|CQf4h9jXT}ZAGgS$qIaSym+XJ8P6%>E+<h!`Vcrk{m@i9r~eN%k@@fp)S&s%*wf
z3~Zn(o8gw0Fk^uBHirG%7@~ba<MKL?stB5Q{6JEW3KcPzv=|h>;F1V5MYV-N8KMAD
zRMo?aDsYVps`s?FF&qJ>7*K}`IwWl+$q5~kHUSNbfLgw+;FhnPBo}!3j~JNV#%LtU
zzJP&~#f)P)XnOgOD90=YNnP*&HmfN64hA(Hq&l~D`Tt05-E9n05Cb4y3_=VHO#2vk
znD#S>GaX=%XFAB>z;uWqh3POuI@1w`4yL0FQ<;u2tYSLOu$Jir!v?0)44awGFzjGD
z%W#hAJi|q%3k+A7E;8I?x&)35P>Z&MK?7V0axtVcq%(r%v^f}37_z`MB0GZv!$f$=
zcncnDx1jYP55qae{R}(|Obqf2yTNn0h~^krgfRp<<e<aA@sB|ZoH-%&5VQ&Vk3o$Q
z)TXul#lZBFK?>5K6>tP?)`!F|17cO!Hik{0Bn}yE1t)O^F0eNs`3E{yE8qy)n~p{E
xej+q8Ff$$i4+kG)JjB4jz{kMEc$k5a@g$f$&3Kl9fq{#Gk?|bk1;$GZk^qz0_=W%g

literal 0
HcmV?d00001

diff --git a/target/classes/ab1/impl/GRUPPE/Tuple.class b/target/classes/ab1/impl/GRUPPE/Tuple.class
new file mode 100644
index 0000000000000000000000000000000000000000..cc75c29a75d12523a2aac93daf5c76533c85bb86
GIT binary patch
literal 929
zcmX^0Z`VEs1_oOOWljbr24;2!79Ivx1~x_p(ZnP}{mk5g9DVno(0~9}{gBdvoK!{z
z&eWXL+|<01ctb`8QJ<{DvPAuy#JqHU=ZwUn#N?9HB5ROA96Su13|vU6jTjk(kW>ek
z6lLb6TXQk+Fz~W7@bNJ4GYBv;2q28}Ps&P7E@5O~v&qcMEU{x`VAjwKV`Sh-Pc3mp
zI6z!O6Uk776Brp-obyvs85#I}GV@aXN^_G^i$W5UK<*dv$xlwq2}>->1o5GQEF~G4
z#f%K%K3F|%&B(x0jAE~Z23Bj)U1-F}AcEpTsJBtgGh$>AMK%wr2xOQRvN*zfNR}fh
z=1I#eDu#s)BLi=7YI1&F3N*AB8MuP;ON)|I-7-O;zy*#?Jy3WvC^9fH@GvkiFflNJ
zq8`lRWZ+_8U|?lnWDsN!VqjztW?*2@XJBMt1c_>GVPM<<Rwly0z`zC;WM>d%U|`?@
zvsoF$7{nPE7#JBO7$l*Z?ZCz}FtBN9Z)ITI2-nTUz{J47z|FwQzymfx49sVPngBAL
z6>I||gA{`_)GTC&u%kPKA8ZV|Lu43ap_)+~!jA3`VFp$P5wHoE4grM;C<OQ!<e+9n
zg0c()0|UR-b_Q;+$Fy{|G9Vc$#K6M9z#zrI!XVAS$sohP#~=$fT!DcZqz&#%eg=84
UFBus4859^mVZz9u2o5790586#tpET3

literal 0
HcmV?d00001

diff --git a/target/test-classes/ab1/tests/myTests.class b/target/test-classes/ab1/tests/myTests.class
new file mode 100644
index 0000000000000000000000000000000000000000..9928e25dec73c576315319f596441f9b44383cd6
GIT binary patch
literal 3605
zcmX^0Z`VEs1_oP(HCzl#49x5dEIbUX3~Y=H0$GV=iTXK-dFlH8Nm;4MC5#MgHko;u
zC3cJq%o>_uTnroxoa_u-JPh0nJd6zdiAjd~er}EdMfqi!DXB$_415I;rdwiiNq$i!
zBZH8JrVmsVRLq)_fscWook4(yL6AX+kwFk7U6NW{Qmmg_83Lji8Q9Zc`UTK+b1;Z7
zGOz}RI0l7qGl(&WvolEWFi0{;F*5Lh4DxexgxbT%z>!p%nUmt@=E%q(tKoz2T5w5G
zW?s5A++o(-3^EL|><n@|4Dt*Lj125hgFtReNpVb0PAw?O%u5e0Ni0caWDvz>R2awz
zB_0N4P$&wfW#%R3WLBj*mX_q_CYI#qaWJSdGBAMDsPiyrFlaI|a3_L|Ee_8wO2J`f
z6c>XwgAO}`E)RnqgFYjJLVi)YepYE-W{G}QX+dU5YLR|oL8iWAadB!<NoIatF(U(4
zBA63WRGP}jz@ibQ33itu4}%edF(U&<X0aP6GE>2k83l5VDG!4ggE=DuS8{%CK~8FJ
zYF-H=12-bhtU+$D<YBM^Ie;5tx?5sSaVki&4G)7YgB>FSYiV9)ejX!(hz2aOkiwRO
z!GV#1F_DA8iIIURF_DA8g^|HBkzByR;Ks-xTbz=ZmQh-snU;~9SX!Q!R#BQ*o|l?Y
znwgiDQOd#K!N|a<z`@|f$iSOYoS2bTnwXbbUYJ+G&fo)0B_TzLdBvHaK;vTYWAJBZ
z2;gA|WC&tp5JsdD=ZwUn#N-lCs%9@s%qdOvPh(_|&~Vm7N=a}v)*K8Wj0}v1Tnyd}
zVW7+u&d6YcC81!|izEn3n&5bg<Y9<nh-PHqO-xBaxR{Ya7!uA1A#2Sr4u)7p21X+e
zhImE>Mq>_!L`DWi6Ap%CMh0eAKNk*$R7M8IWDbUOMh5<5RKUTI$;cptDwdp_oCu2H
zY#xRjPz>{A=9Q!t6{jYHf{cS9kCA~BrXi7op@5NrDLIXUp@@-zF@=KxRA@kCL7`E`
z!%)sp!N|Z4&WxbYRDmWhg!@$xOeav5O)awKVyI%MW@o73VW?%OV`NYOWl4l8Obv_-
zoM}b*xzIdnh9&4B*&Ux5U`rc#7#bOx7#X;VQWH~xD|3_ba~K&ck<CLyI*~@U@G!K3
zJi%U)4|X5OZ|yt`9Sog}46NW_L6nmS_gQl=bTcxrIXXML283`i^fL6ZGxUR!=>(K=
z8j@l_MF>jDga}(RGO#%3r=&76@cU%urTUfTCZ!gIBqrsgGBODH<R>TQge4Ybg7{ED
zmXeIjVnzmGa7IQcl&u*VI3VS7ydfh4Z(dqrd|rM@MrK|*h|dYu;OFLO&B(w9l1nX1
zEvf`dqbW9GWZ(uV0GAmct>Pdar1&XGjYrle8C05Al9`(tmRX#cl#}Y1mzQ6X2ugv)
zj0`e9*h@oD1%l*MBSr=ekok#8$tjEs>>y@xS~??x5Qqg%)ZoHBKM&**QE*&<qBpoC
zvB)PeFTFG|J(ZDx2bAeS2@v8xMrTk_npa$sn3tT&$RG&Uh0wtjoL^d$oa&Yd3TPfk
zuodfp$`(cj9?!hI)FS5`P+?lk$RLP_acJ6SP-Ng^U}9ikU}O*iRgnw~46F={pbDCS
zkzpbO1A`R<69Xdy0|SrNb_PbR9SrPS8F)7`FfcGNOk!YQ09EOrx`u^;hhZ{E6+|t=
z6o#o_Gp8}IF))G5VeDjJVqjxnV7RHZg@IQ{cqfA>6N8U7h#}3ypuLkpk&!`LNM$F3
z8WY0~1}*KK3<iu)h6y8suMS+w0!hE0E>yoRM8ED%25Tk;D;7x>xN<E?79o46sTPtf
zLXJpmXC$^O65Acd*4BX-$STQ-WFRZtKrKmDAy24cEkvM1F^DlRFbFV!+8iPbLJU$2
z!VIbmA`E&Aq70@CVhj!p5)3{Jk_;gXQVdZH(hSKAG7R|)vJBM>at!SZ@(hz16d2|+
zC^D>OP-fV|pu%u~L6zYQgBrsP25oR4+d%>n8pu2hXBnn5%wS+-FlAW6Fq2^h0~3P}
zLodTDh8YaZ49N^-46_+#Ft9LeVNhk5!!Uz^m0>Oe0|OfaBf~s!6wQZ45z|cuHU<_3
z2FAZgLF}Wwo54F$NLV0o2ZOIr@OFmKoeU973^36okZ26LXfjAN4qY?_B$|LK8q6q^
zgenq)Arglnl7K8Cl(drpl7yfs2JGNC0W?QI6O;wS<#CKc!Z3T0eCw+N)+`Ls4EHTe
zG!5hfxNl*i=^#<KZ*_!%!S2x!ih<H`5E^W9Fp|BHM6Ux*x;jEBuymv&lm=sJ3uPdf
zuvDz2gGj`n1e(Rf;HN8;3sq==!pujA79yB%t8|5mp`u#4u<$`7<5>)93=9nV3_J`5
z3`z`!3>FMV41Ns83@HpI3}p<a3>^$+46_)_8P+gZFl=G4WZ27K#c-Lyn&A$E4Z}MI
zJBD8j_KX4y4vcCHj*K=8PK+)L&Wt_`E{q`zu8e66UW_>m-i$>IK8&>tzKk6VevFeD
z{2Avl1Td~-2xQ#I5X88LA(-(vLkQy~hET@43}K8f7{VDpGej`{VTcB211(5mg=GWA
zj|>aI+29u=Gs8kqHelSy;KQ&8oDGnZJQKrWh9%I_Z9W4t12Y2ygC$BL*uhXLB)pBG
zQhEo2?>2^d5W9IBLmN2d>p+VfXuNHJ7lnEZ+zbp1$qYOUDGa;}sSH94X$)cv=?roV
z84QXHnG7lnDGZtn*$jpZISl3ud0;OnKrDxPfq}u2A(de%10w?ugD%4|kQW%37?#5w
zy8-H0H@uGR+Qxw7*e*!ogCsKP9Sl9N2-iWl+=zjPfq|ijfrp`(ftR6#L5QK0L5!h{
zL5`uEL6M<?L4~21L6f11!H}Vv!JMI%!G)n7$@Ok<*So=8Zv}V#3UK(WWLO2REEpN8
L7`z!)GjIX`Yavs&

literal 0
HcmV?d00001