From 4422270452cccb54929e60630cd74720e4fe3b7e Mon Sep 17 00:00:00 2001
From: Tocuro <rawalcher@edu.aau.at>
Date: Tue, 9 Jan 2024 17:00:16 +0100
Subject: [PATCH] fixed complement

---
 .idea/workspace.xml                          |  68 ++++++++++++-------
 src/main/java/ab1/impl/GRUPPE/NFAImpl.java   |  20 ------
 target/classes/ab1/impl/GRUPPE/NFAImpl.class | Bin 13690 -> 0 bytes
 3 files changed, 44 insertions(+), 44 deletions(-)
 delete mode 100644 target/classes/ab1/impl/GRUPPE/NFAImpl.class

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 5312a54..aeffa15 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -4,7 +4,12 @@
     <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="concat GEHT">
+      <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" />
+      <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAImpl.class" beforeDir="false" />
+    </list>
     <list id="39d4ccb3-eae9-4ed4-996a-5a13f44678fa" name="Changes by carol" comment="" />
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
@@ -46,26 +51,26 @@
     <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": {
+    "RunOnceActivity.OpenProjectViewOnStart": "true",
+    "RunOnceActivity.ShowReadmeOnStart": "true",
+    "WebServerToolWindowFactoryState": "false",
+    "full.screen.before.presentation.mode": "false",
+    "git-widget-placeholder": "main",
+    "ignore.virus.scanning.warn.message": "true",
+    "node.js.detected.package.eslint": "true",
+    "node.js.detected.package.tslint": "true",
+    "node.js.selected.package.eslint": "(autodetect)",
+    "node.js.selected.package.tslint": "(autodetect)",
+    "nodejs_package_manager_path": "npm",
+    "project.structure.last.edited": "Project",
+    "project.structure.proportion": "0.0",
+    "project.structure.side.proportion": "0.0",
+    "settings.editor.selected.configurable": "preferences.lookFeel",
+    "vue.rearranger.settings.migration": "true"
   }
-}</component>
+}]]></component>
   <component name="RunManager" selected="JUnit.ab1 in ETI_Abgabe">
     <configuration name="ComplexTests.complement1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
       <module name="ETI_Abgabe" />
@@ -242,6 +247,17 @@
   <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" />
@@ -253,10 +269,14 @@
   <component name="XDebuggerManager">
     <breakpoint-manager>
       <breakpoints>
-        <line-breakpoint enabled="true" type="java-line">
-          <url>file://$PROJECT_DIR$/src/test/java/ab1/tests/ComplexTests.java</url>
-          <line>15</line>
-          <option name="timeStamp" value="12" />
+        <line-breakpoint enabled="true" type="java-method">
+          <url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>
+          <line>336</line>
+          <properties class="ab1.impl.GRUPPE.NFAImpl" method="complement">
+            <option name="EMULATED" value="true" />
+            <option name="WATCH_EXIT" value="false" />
+          </properties>
+          <option name="timeStamp" value="13" />
         </line-breakpoint>
       </breakpoints>
     </breakpoint-manager>
diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
index 3866f7f..28b0e8a 100644
--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+++ b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
@@ -362,26 +362,6 @@ public class NFAImpl implements NFA {
         fakeNFA.acceptingStates.clear();
         fakeNFA.addAllAcceptingStates(newAcceptingState);
 
-        Set<Character> originalAlphabet = new HashSet<>(fakeNFA.alphabet);
-
-        fakeNFA.alphabet.clear();
-
-        Set<Character> newAlphabet = new HashSet<>();
-
-        for (char ch = 'a'; ch <= 'z'; ch++) {
-            if (!originalAlphabet.contains(ch)) {
-                newAlphabet.add(ch);
-            }
-        }
-
-        for (Transition transition : fakeNFA.transitions) {
-            for (Character letter : newAlphabet) {
-                fakeNFA.addTransition(new Transition(transition.fromState(), letter, transition.toState()));
-            }
-        }
-
-        fakeNFA.alphabet = newAlphabet;
-
         fakeNFA.finalizeAutomaton();
 
         return fakeNFA;
diff --git a/target/classes/ab1/impl/GRUPPE/NFAImpl.class b/target/classes/ab1/impl/GRUPPE/NFAImpl.class
deleted file mode 100644
index cff77484e3d81d0a308705a4d542d2cdc721201e..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 13690
zcmX^0Z`VEs1_oQk7A^)R24;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%=Vo81;C=t!(VVDC-M4Uyb
zphCkjCx@M39!A0Mn^?fbFqeUun_(ftB6fzwJPb=1mZFsDzKI2l49o?kC5#Lf$l(Re
zzDPj>6+zAsP$7`%%Xt`9fQ;rzPc88;a!E}~EX^qaIdl~d!)lN>Sd(*76N^9|TMJ5=
z>lhgXQ4%32<#I4=U}WIPODzu$aSRFpsoliGu$f^CBLi1nTB0Mk^eA9tkb#sN*wYS3
z*ESx8?F>5@8Tga)^U6|-O8nd$OY&XZ92pr*@My)EAVEg%0wsWTpvc|B!?2fOA0q>I
zNj@kEITjTqRx&cMXlO<|gA^X%VK~Teh>?LWwV*gNCqK_QC%?F~D3y^x6B@kWTn_Rr
z*giiuM{8)1!X-e)9N}R&%5aR4K^&Ig9Meitix5eKkwFXHJZHQHp5S3P$#9C1K_Igj
zwK!m8kVZENVNeu1!x>l=3w9sayFQu4C0q=rLFwu|sI72;k%1498zHhB43~HqE;C$V
zWZ(sthAF8P{%PPAgfWJ7sCr@Hft(@P8Lpw^c%RI??9>#9O;<tgxCwH{Ek*`@gjs>5
zsimph3^y72LBw4ihI`=3svtin2Nc2&co-fstYc*01{IJ<O^e4o3{M!IGBR)`XCxMd
zfm#vZHkvax!+8cP4u%(u42%XK_A4HS*9>nM8CZ%lt5U&AJcSq-7~b(Pyl42p$RM7Z
zn4RjJpO>6i5}sL-;hdjWT#}eqQVgoBJfSg;>cdYct`9CrOwQ(F_y}rcd}PQ3vHC&8
zcOHfxAb&6y<QIVWzjzpaGyGv>U@0gq&R}Fvg9a|xXlVXKwhbx-^1weHhX0HVj126V
zdEm$axeQBw_vB(^Vq|7#WZ_|C1$hk8wgj8+nOBmU4r*<2fSM_w=BE$?BO^Nx!+S;!
zG^fA{RwN6cLL7`-j0`LxL5=~SSg8TE?s^y*ID<3O^AbzIIY$|y37r0dQ%h_hT(AqE
zX4qLXGAKfX5vo8HGa|!SgVd;@s{yALut}i23~oDu6|y+zr=)_~#+iAkex<odsYM})
zNjcyacYbnWPFP}5CWsFeWXxn_VDw~UU@6JSEM{bo1m_=Y#S<d~S8+*V5u^%XWZ(ry
zvTtGm)Ergx5)p@2wNTU{YCjvW#b|!kKv9eqeyG0YLbTZ#83fP`V`SihH-C#68N_^0
zLZY%D73vEWXcEK|6PjU+46NV|2qKvvlp`Vq9=#w9?4SZSH94D+fjKWNk&z(@!yYUe
zaYs1ZY_LDE#TLj?*3!Jp{5(+e9jpveT!T^;h{edjo0nRS2yaFPj>P0-aQgsSkAeDF
zj12rGsksFRWyOpPtobDwpp3%_H<gir18kKasG1T1OQV+4#f%JmD7F<dGO(oOB&IVm
zh#>hA-lk_{Ku+y2VXR4nCo``kwWt`<>||u%N9Kav!<!5)$WrqXK@C$z2A;gsayLZZ
zh705_NJoW{fgM`$f%-#e&2#}2V<09MrRF8(rlx=c4Xroon^<7Y$RLuJTJ8@DE#ww8
zBZDcDpM4Vxu;dho0&wPr$2B7ZS9VTnYF=t^Nn#Nr1Gk1IQUnO)<mVSSB_?MhqKc7$
zry!@a*uMbQf#T0gEk|_-7o>lho0?a`$iS4G!N|bq%*eo&lUf4qh>9XP1CiSp8Q9Yj
zvs1xAAefh0jvCdB3<CK@ndzW*AFR{M$iNL!2Cb(+eL7HwH4`)lzzyk97l-E;q4&(8
z{??3QWMC-=OLKxKa3#*jz!dGw$iSOiT2z#p2Pu+@*%?C^8F-L|7#UbI^T6#xp_H^l
zRCg9LGH|A(CBouP0OD0}Mg~>Q){G2%DQSs_&;%v?LQt*D$RLQM7F<zVGcvH{rIv$R
zX~=O4G6)*EV1v;LFsKjhz@@esx}n5sWKV{*(m<sWsE9#!AGnmZW@J!BG9D}jH6A^Q
z1rk*-!3q&*?TpuRpy3*5ho7w|wYW5=gpnbL7+Y|*32``GpBO{oSq7A@n2SN9LODd~
z1DDTWj}jlN(BMH1V@3w%;*ugp22ZG^$a2V0grli|)kNNm#9~B31y$umpq>#|aDHh~
za;jS<sP5;14#Vkz{K3c|;FO<VQe0A$Sm2vll98WM%)wa7$iT?R!C217z{F_C&&F8E
z#aP8y&CXZ@Y7*5lGN^!bLdF3z^UCtGQ}rR~7t&62OH3}w2MtWjK=v3^A;b=k#JrT8
z)M6E%{QT_F0&9qGG5rq~LD3jeS&)iFc{Gv<(54}B@IZ}lPRz*(&MZl_W@O;;%*#tH
za?VLCE>10GXKY|(P{r^QHm9;PHZd~D;aAGYzy|RbgCYY50}}%yLjnUkgAi!El7W$t
zmw|zSiII;%2sFM3=kqfNfyPW37#M^=<BM={J_aVxm?E4nz`z6=PDJ7BG3YZeFvu}5
zGO#j4F)%U;GB7ZFV_;@rW?*2**V@j&sHMG?fn94i18?MZ2L7!K0$N)b1hjWDh%hmP
zBSfVTOj!g|0l`!jNVJs^s9MY*p|yoUS!U7>1~rHoEliBd|G&^;-pZh}k%57MnGw`~
zFk=9DRFr{*L5zWuL7YK^L4rY^L6Sj>L5jhYL7KsVL59JbL6#weL5?ArL6#wtL4hHU
zL5WeAfq_ARftkUNL7Gv7QIvrR<OxPGMsWrZ$Y+#b;9+27lw@FF5N2Td&)^3dp5|a@
z2xVko_{AW_z{t?au#SNV90vLfpl$&J11reC8^FO1av2)~BLf428rUWtFq;)(J~V1T
zhSV|?V=+Vu-4J7(hDb9oG8AETi7dJy7B~$7xg?dr0ve^r-eE^K#1_*K21ZcF5Q{ey
z&^0?^YKDe|3<D!*%oA$J1qLQ?eB@|tVbGb$z`dKnAaXl{(SA_)YHwpO-pOFe#4w9N
z5Wxp0F;HsT#$bacYXeC<+S?fHkAbx)fS3?Ltt|{v&;*J|QCbXK3=9lz4D1Z<4Ezk9
z4Dt+K47v<H47Lou4BiX@3_%Qm3<(Uu4A~4JVE>3g+zN?X1_p*4Mp;HVXxd?8VBwdQ
z6=9TTU|?WjU}P|0U<8d}F))J@&I$%51{MYe1|u|oYVTxlW@PZy*~#F}$S{*ZRA(oH
zFC)VN1`|Im-E9nk%m2Rsxt0Z-{-qe$7#JAB8Q2*j82A~Y7&IB88T1%p7z`O=!L9?P
zaZLtRu$w>`)d=oRBWS^(z`y`X>mYY9$T0FlUCzV6%>Rdhjh(^c7lRbS{m}SQWMBl1
zE<@w17#d${X#N1l4?Lu0F+y65ft7)QA(4TdA&G&XA%#JTA(cUuAr0(qNT{m8U8}~Z
z1ac)fM=~=o@*|wYz{rrtkWXfihJu4M97~X9GO#mbG4M0wFlaL5GUzenF&HxBgPjHo
zQjmktgH(t?n1PWIIY@;V`G^WqWd=sj2r)EBcQCMkBUTrZ7OYq#S)i#w7Q_N4hfph4
zT`fsgoox)!+Ze)^|G$q&6++;2Rm332P|TpoP{N?YPzrXs2?HyG90NBvEJ0zf3lCpi
zNVUPhz@W>h0xI*sELBEv24=8#An~Eg0QL@8PKA+=fe9QR+zd>A7&yR5MH!kv)EF2U
z)fqJ)zG3lWU}NB6U|{lwBoH3$oec4e46_h9dp83|q}Dcu<n0V;zB*eVHOEed3?_zf
z9jz@4vfCJPK(&hYPKE+ThV2X`eqd2uoox)|Ao1-C{8lX5I~l4O8Fn(%F)~=OO0q&j
z%LK#%hn9&I+inJvNJ+MB48|bB9z@t|XK1uymt>J-ha}VG|4#_DSg}g7fR(Z`YVTxd
z1KHRJk=EYH&<?YMO_B{_2crOp1-2v9iXG&7kZIr&N)N^Zl}`}YgXFrH7-lkD*V)1#
z3*v#~mNT5tk_7AB#t?1A0rM0mD6X9u8LYS@xgeG?B!F08%S^1eCAmSKVc*8kJ(EEK
z>|_p*kUfY1dkw6@MiN;CSPS<y275^kkmtE2IVHIvzFYo(4#bU+Kt$N70k<<0WGB=(
zey|5PV0y1ea$2!0|Mv#wWO(>6xWL25#EKoH*?1d6-%JKAknluC21sD*Y+(S)*@F~-
z+zvIDfo=K!9XgUM+Zd*RB3%kZZ)2FQ1FBmfCEz}Av!t3qfT4y#f}w#yg`tVTh@pkS
zilL3cgQ1-vh@p!inxUJaj-iL4g`t;W8bcq$0)~Eu#S9Y|mNQIb*v~MT;Ss|Wh7Sx=
z8U8R#W8`6&&M3_=hf$qjKBED{B1V6P#f&iwOBf3omNC{bEN7g|u##~u!z#uF467Lr
zGpu1e%dnR5Cc}EhI}95bA24iUe9W+w@eRW^#%~PUnV1-MF!3_%WD;T6&1A^1hslIt
zACo!50VZ39Lrks=N0>Yrj)U{%3<iFNX$)M9nv8M`><o1bO5pOEjnSXM56t3bJj@`*
zsKvm;z|E-6u#-`nfro*E(STtCqYi^G11G~HhJWBZ&CbNcU<B5|4$5w@+|A_8sLQCw
zz{sG&q|T_%D9*sd;K9VqXuu%Mz|0WM_<_-oL70JsVL9UxMk59u23E#54Dk%EjK&OX
z;JmNJzyh(0k)MGRqLYyirjwDMfd#7Ggn<oQ9>g;U39$cX@CQ{N9PA7U?4ZIyl$}A8
zoxuate6sornvf1<XYlyL;K$Ao`j0`Dogow=|A)bxoxw!$Cj-wP1|D_>5A9zJOg|Wy
zf5D2F-wf_d$YnpHDXf%XI0kKtCgCk*wlJ_`DP=%y2WaM=1uAv6Fi3$K2hcJI(o6ss
zFJM_v;)66ll^8e}7#Pkm2r!&ykYKpTpu%vO!HD4sgA>Cwh5&}^3<(T3!4V9qGZ+|>
zU=hNQ1d9*`J4Q25gn$E%g@H+c9mRL%FyAqQTHTxs42%m%_uX!Wxslr$=KCQRUx*6D
z6qIAZB}%9jE2uu%!XN-Dh1hf@SwUHJ0W(85xEy1HX377@bx?u_x#UF{8wEGk#EMl{
zk`+`^fry<9%a|DsFoarx%-_af1Cp_U3$lYtF*cB(y(BxRfZ_mICJ8TQ7J+KSHbw?W
z$qd)W0;(p!%_gM6Uk6_Jhr$YfMoAWsp`fBx3SRjBzW^%Ab~3C48(RP?;SsfnCbB^w
zwYrkv;tk>xSg>5yK`oey7-Se28169$Fx+R5V0gr!!tj*Ah~Wi;6~jx0ScX>&nGCNP
zN*LZSG%&nnXlD4pFp=Ri!xn}w3?~`BGTdYM#_)mRJHsD_9}NE)elv<O{9!a__{-?Z
z@Q*Q&;Xh*tBNJmRBQs+IBMaknMpnjIjO>i_7&*adt&f3^A(KHITu87n#4;#@iw0JP
zlMKd;77RQLYz+4p<QOd(co^6jJ}~fr3mp!IEesyuf`gUOm4S!R3RDm=nlnf-T7z^j
zHZX`oSfCULOT~-}V5yj~hS3I;iW#gJ(->_T?HHID#TdF6?HPC&SinUHr~?F%b6{Ww
zr*%UHE&=v`40_<gVIjEjVEu<d3d~6O%b*A@5j=h|82tg48^0LzQ8I=jqZ6cY!N|$L
z3T{U>fHDSpn*x&CeY8>96xyJyy^Udt_7(<Ntt|}Dx?gJ>!y0f3f;YUiVGZw4KTxvN
zWdtb(B_9^;Eeuki^bM}N|6kJH#xPwQQ7C}QPzFYR26jdP27X3i25Cky22DnB217<E
z275+Xh8RXUhHOSfhH^$FhAKuChB`(_FHwtug&~`PhtZi)j)8?ChCvz}<e(;I12o8`
z8B!TRZ8AvDl%Ii_|1X0jI0QX@F&Ll(kPAG3G#J>x0W<?GfP~ijfZAQ!Sc^l{;tv!|
zvWUVE6dKyF(10X=c>eR#g|<}GbfMjrP%9Qt9tLTWWMS0a&H!yqE&qQVo?{@TDY!Gw
zsLjC6sKda|sLvq8Xuu%NXw0C=Xu@F5Xv*NqXwDGBXvI*)XwA^iXu~jx(TiakqYpUM
zg95LLK@=Qhpib2cXpjjpw1HAI10#bpLoGP)AdOZb24?<$3}N7825Gx$qlBLuEc}=@
zF|dKUgp7V@;RgylNQy|qmB2uuvW+1}OM4r`Mi8;p7uvM*)7i$b6P((Rn)aHYBn2yp
zb+$3A0Tnyoh9r+JhzUt;mq7&(xUkaEg*J?JwlFAcXD9)OvjSKOYK;}EK%yC&C>v-v
zMN^VRlnp$X0ya`Wk`>AY87s=hk}%1PZTbIeps0d43|z#4d!XK+dI0P&Pz#O~BFzCR
zl)=)PAQo6!-HKBO9M9~a;+_-MmIHTMFE9VUQAd(>D}w?&)*%hJDh4?Q2F4%;cE(@^
ze#USHX~qZ!O~yzDL&hiuOU4)mJH|K$7sg};AI4OMT*fqpYQ}Vi7RF45cE&7*35?kc
zQyFs^7BS{CtY$1^*uq%Mu%EGn;T&Tr!)?Z5hNp~`jBJcmjH-;)j5drljP{JRj82U8
zj2?`Qj6RIb;FOcbz{QZuAPy}hcQEKOx-)t(uraDKh%<UJdNFV^vN2eK%SLtv21Y+<
zx{_uz2B#)Q1{X#yMsING=flXv=mTz4En-;1=nHOCZDE+j=*J+;zzQx0LG1vrDsTe|
ztcp>9frSCAicx@p6<jttFmUt#XK-g=1!rvzFbQcq>HK0~`o~}ZZYzm0D*a;M{KLS-
z&fxKvL5`ilgq^|TCxiYk29y>OgC2tqmZ2S;HK-$1j2+;>02R~>4A7A(2GH;W8&tCi
zc!-gKflZ4AIs(T89)SR@-DF_wWng9OLo$I48cd9g{&4GcpaW%0%;<JcL(<6v*BQVV
z2rc797+Am!trWB@sJ)G0H#|$}f-)ntG}6`D#<1T{2b8(?nXxj1@_;DoA_fIe9xyRu
z*U}Yb*V@K#*iQ?hu!W6r`TzT1&T)|2APG~Cft!JWaSj7J<6H)Q#sv%_jEfj#7#B0B
zGcIA!V_e4I&bWdhfN>Q=IO8&gSjP2WKY)7J?hFEqo{Sz0><kPHDNx^lSV5o>3<eQ~
z0LEa(5C$d&83qr=P*8FKCk;@@gGE3|1Dp)x7?}D0GiWlfgA+g~J7X9q-WkIf85tOU
zFeoDzR}9-3c0l5ZnTLS`?Cua~8Q{B{;dJD7hO>T9z7-3M!79nBy^SFm8f0M3esEiD
zC&M|=m@Qc3_)G>t9W6;#-E9mPAu4w>T#ek$aNUYck_}WU-C$w}2bB-EK|T6~Al4nw
zV3nv9yY@DQ`{-pwEuyU0#_-6DQ%g&dU6fOM8^dAkZ4CRZxO72%&1azDJv~V_5F2DX
zSP<eQF70g$P$zLAoFobEuxm-OgM>smcQB}FNrI)3Dx3P{|D!=gw$StK3~5&E%w`;-
z9J)IhUNSN)Vvv?(-@+gu%CU>#Edv9@mn|HO%l|)+WCwRWCE0bhG2}>sheIK015#*h
zW#C}k&LF_JlR=Vk4}%ipUIsnJ0}SSj2N@g~4>5Q#9%hJOJkF5Fc!D9D@f1TT<7tLQ
z#<L7d8P79pWxT*}fbk;3DaK0-ml-cJ+-1DN@S5=!BQN7^Mghh<jKYlf808orFzPTq
zWVB;^!05vGgwdPvDPthxb8tGVV&Gxe$`HY*%^=Lc#juni1DxVG85$Y-8N(Tb8Q2*W
z8I-{z+Z+rGj3Ka8$QZ&H!6?qa$iTtq!x#x3=Mi9ZVT@voW?*KJWVB|C0T)_Ij7E$S
zphAlwk>N9AEMpu48>1Y98Dl)7I0HL4wSrPN*nUPn1}=!LjC>625OYBzLktje6JX|o
z`iTr+a~b&<SfS=7LVJu63>^O%BB1?64p1s*I1eU885sUB2(dHV{L7#K7V!AX5XZ>Q
zAo`y{1)48Vl(RG3WME+W%fJhA$u9;a1}4z*GH59h%fJjSMOr`^KzlnwiQjI9kCEFM
zK7)!0?QINS!a<S!brwSki2erZq_FBB4J#okL<dkZ2iJI@3K3k{v4TfoR6tdp{c#2v
zT@V8@_B@k;4>ZEGjlpIc!_V;L|Mx8aKT8+XT7;w|NNe#m11IAf1|i0`43doR7!(=b
zGiWn@VDMx7$dJtViJ_43GeZsIH->t~?+i_hKfoyf6a#(?deDkVn;`^RfiW<&z+#)B
z1wN|R!l=rq$H2tE$xzLh1S)eFgcyn#lNnQ>4Rlb&!~jwc8m@$>0+mBhRjCXt;1Wri
zf%PwgBsd~If~y=*C;m5s^G^mQCg{jt8Uqt(DIPS)oxoNyFf@XK95zk|8qq>@uF^n-
z2skW3eL|$*W(Rf9zzqxs5DTot#EL_b1Jt%)g9bMTcwAowBxt{l;gQS&1_4PH5Dyae
zkl>ys$$|)PaF?C&4+AITUj}u?e+*uX{~5BG7#J#;m>8;=m>KGrSm5F71r1*g26bro
zf=1gL;o;i|58p<{bVd*GOh6+zq?s8w87devK)DH=Um)YBjnMH^upA>FG*o3lp(+Rt
zRgb?6O5i4`2P9NMbvbB)i-|FlfeExC5fZMT86R+)-be>LCJG+0gSWipkXqi_pf;r?
zXuy$`WzF*c_rX;!B;kRF-<dcV6qq;}w3)aVbeVV<448Pqo(Hw26&QHILr$R9H1f0o
zc#In~UBDOtN>X6&fhsQs1|x{~z)6LNff+J_qk!;376TK*WrizIKcs>-eK0UEaO-IA
zWcbU(u!E5i6ibk<0C@I{Nf7K9NZRCvhdMW7HfWd~q!nCpF@c=`31M!=Y;X!@VBltq
zVoYFwCCeNJCeX@usMQrvtHnT8gF}Z`dlw@c1B1`<|L?&)IY<zJM!6W6L>ai4#27@F
zB#>Mq26v4ZV=lN}XJ8P6jGTjA0|^i@M#LyN3j-5_Ff^0oF))D^>OyL4#*++epc<Ru
zs+KS#s4CpKjUn0>)MeFyR7KFd<EM?K&oB=Zzu>F^8ok-VpbV*S5k*xMyr@zKRk)yf
zPkS39H#o&uaY}MRduyg37T6pU&}cI#i$O{>NlC744ECbzI~dfqG4jl0;AAo5SPmMM
zJub>Ii$PKs+}vjc%j+Q3woS|b$7$<sW0-=NlyGAZWME*DVc=nsWe{hQV~}T(XK-Lr
zU`Sz7WJqUHV(4H}W?0Ik!mxr#m0>lLI>S094TjB3nhYnIv>DDY=`fsU(q*{9qz8_K
zAO;SG4hCg#;m5_0&XB~I&!Er1!H~j`3a$v*85|gT;05AUcw}9LR)0JUCm9PEco>)%
z<QcYshd&|H9H3|ei!ky-$0>9eIQ}tcf%7D&2@bA@K&9S41~o=Tb_NfNUkpq?8KizP
zF#Td+5^x0VB7j6I17ad|8^an<%4Pz$m%%BU0WwqrvJT$b7H|YDn#ZDfClQ(%m>CPf
o4f-O+Vg?2V(9}!?10!PzBZw?xtYctc;9_88tY>UwY-W%I0D}#y5dZ)H