From 0d47de5c440f24800a47f6382695c620599ff8cc Mon Sep 17 00:00:00 2001
From: Walcher <rawalcher@edu.aau.at>
Date: Mon, 8 Jan 2024 23:39:57 +0100
Subject: [PATCH] complement works now

---
 .idea/workspace.xml                          |  38 +++++++++----------
 src/main/java/ab1/impl/GRUPPE/NFAImpl.java   |  30 +++++++++++++--
 target/classes/ab1/impl/GRUPPE/NFAImpl.class | Bin 13342 -> 13690 bytes
 3 files changed, 46 insertions(+), 22 deletions(-)

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 4a14937..5312a54 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -46,26 +46,26 @@
     <option name="hideEmptyMiddlePackages" value="true" />
     <option name="showLibraryContents" value="true" />
   </component>
-  <component name="PropertiesComponent"><![CDATA[{
-  "keyToString": {
-    "RunOnceActivity.OpenProjectViewOnStart": "true",
-    "RunOnceActivity.ShowReadmeOnStart": "true",
-    "WebServerToolWindowFactoryState": "false",
-    "full.screen.before.presentation.mode": "false",
-    "git-widget-placeholder": "5-top-skill-issue-raphael",
-    "ignore.virus.scanning.warn.message": "true",
-    "node.js.detected.package.eslint": "true",
-    "node.js.detected.package.tslint": "true",
-    "node.js.selected.package.eslint": "(autodetect)",
-    "node.js.selected.package.tslint": "(autodetect)",
-    "nodejs_package_manager_path": "npm",
-    "project.structure.last.edited": "Project",
-    "project.structure.proportion": "0.0",
-    "project.structure.side.proportion": "0.0",
-    "settings.editor.selected.configurable": "preferences.lookFeel",
-    "vue.rearranger.settings.migration": "true"
+  <component 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>
+}</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" />
diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
index a12af3e..3866f7f 100644
--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+++ b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
@@ -15,6 +15,7 @@ public class NFAImpl implements NFA {
 
     private Set<Character> alphabet;
 
+    private Set<Character> completeAlphabet;
     private boolean isFinalized;
 
     public NFAImpl(String startState) {
@@ -24,9 +25,9 @@ public class NFAImpl implements NFA {
         this.transitions = new HashSet<>();
         this.acceptingStates = new HashSet<>();
         this.alphabet = new HashSet<>();
-        Set<Character> completeAlphabet = new HashSet<>();
-        for (char ch = 'a'; ch <= 'z'; ch++) {
-            completeAlphabet.add(ch);
+        this.completeAlphabet = new HashSet<>();
+        for(int i='a';i<='z';i++){
+            completeAlphabet.add((char)i);
         }
         this.isFinalized = false;
 
@@ -344,6 +345,8 @@ public class NFAImpl implements NFA {
         nfa.addAllTransitions(this.transitions);
         nfa.addAllAcceptingStates(this.acceptingStates);
 
+        nfaAddTrap(nfa);
+
         NFAImpl fakeNFA = convertNFAtoDFA(nfa);
 
         // state -> accepting
@@ -533,4 +536,25 @@ public class NFAImpl implements NFA {
         return str;
     }
 
+    private void nfaAddTrap(NFAImpl input){
+        String trap = changeIfNecessary("TRAP", input.getStates());
+        input.states.add(trap);
+        Set<Transition> newTransitions = new HashSet<>();
+        for(String state : input.getStates()){
+            for(char letter : completeAlphabet){
+                boolean hasTransition = false;
+                for(Transition transition : input.getTransitions()){
+                    if(transition.fromState().equals(state)&&transition.readSymbol().equals(letter)){
+                        hasTransition = true;
+                        break;
+                    }
+                }
+                if(!hasTransition){
+                    newTransitions.add(new Transition(state, letter, trap));
+                }
+            }
+        }
+        input.addAllTransitions(newTransitions);    //input.transitions.addAll(newTransitions);
+    }
+
 }
diff --git a/target/classes/ab1/impl/GRUPPE/NFAImpl.class b/target/classes/ab1/impl/GRUPPE/NFAImpl.class
index b98f6e40fbb0f2a9e420cf4b764e4c2761a05aa5..cff77484e3d81d0a308705a4d542d2cdc721201e 100644
GIT binary patch
delta 7571
zcmbQ2@hgk#)W2Q(7#J9A8Cy1T9bjZ;XE2<6kV!$nfPtBd!Gyt-oxzNU!JNTj@<%2M
zeJdUYYX(V129D(XypqJsykd|NTOI~G1`9?8_LBVIlEji!keCAxgCm2}<OpVUE^Y=<
z1{WR%R|dDqR~Xf}Js3RM8N7HHycv8Zvofg*docL%F!(bBFfy>@rB;+MGKgqQPUI5i
z;$q-n2;yM~W(b+w$*iWp&Jf1PAdr<<mZ+bTn3t{}TvC*omkv@C!NU;A5H)!xvkq8K
z3=cyrL)_#dCLddFh6IL0c7`M#20aEJMh5o8Btv~aH%E}B6ds0Dkem6_Q%gMaGD|WO
zbD(bLU`Xd-U}cEfti<BV$nL_<(7?zbGWjBl2q-uvx3XqyTX8XjGW75;^nyZyEw!*T
zF{c<L)X&2(0c=lZv1@KYNhLRf$7X3Zdq#e)ytG8el$4O7!~#YJ8I8&Nxg~it!$8j1
z#>23kVaMbMc3=HnJPe%->p<r0;bGXzu#b^}yCmN^BeBS_s3@_Lk%2`+Guj!X=Kv4G
zL54$<udq9^9pPa(%5ZG5G>13a2_A-%45udNa2PY5nY@5QLhUpIGdII|1~GPq3ychW
z;D9SF$;{FB$t*4b8FPt;;WERO$@e%s>aQ^}h#)J-%T7&!D7y+W<R-|FTZ|0+2sMGF
zsimph3^y72LBw4ihI`-$EXdEv0h#@Phv6Z^Iz|TW^wbi^oPvzRq|_2F26cwVJPc15
zo-#6UCTAoTg(c>crZO@xYv^k_gIsFG!SI5SfzbfOe#OJ^n&Ay2150sc6<Cd?rw{`J
z!#f^^_Y5B<U*R;d`Gn%0;F84TY%Ye6pfvlDArr*v2NB<S7=D0U#$1qJ0OJ4RVffAP
zXR-^I5yyFke>@ET85t(maVhgKGBGl<GqUh7vNC*_yp~Iulbwg*JtGGrgWBW^%p#ND
zatVoWFmf?6u!ICT27r861M*JK<o{gj*%&h!85lh$Z{^Nn*3!_Ne1S!D@?D->aWS9#
z<iwn?#G=f^q@2`{%7WAo5M#0juO=I7F({u*&ga$UV+TcYYH~Is19M(l;^a7<^v$z)
z^_ke2k~0_?7@a2{=ie<5!pOjrTv}9=npXl&q?>06JZBQ+%}6W`DN4*M&Me8y&tqg@
zDJe=Um|QPxC|AnJz{tqKSkB16#AwLR##qV4SjAY)&R7HTRPE$*!k1YZ7#UP2Ul5Vw
zQt`>p&n_)sXKb2$R>Ztsh(U-!n1PXzmw|zSiII;%h(QL4&(9#lz|FwJz`!8HAde)@
z$H2s(gv1wMU}8{3<Lfc#GcYj7F))HM7Xu@sAOi!#HwI<~W(Ed^e68&aj9S`T874Q2
zde=*6ZDCNBnY4pJZ6|{W6GM0l6XWv#FSMAqGU#k%U|?Wo1SJJC29Og)8CV#^7&sZk
z8AKQ)7~~lw8MGLr7)%+Y85|g77`z!|8A2H37?K%e88R6Z81fjD7=;-a7!(+o8T=Te
z8ATXH8JIxUGm0^aGk`!oqXa`e4+A5kBm)D3Fay(n20sR7b_Nc1hEPTZhF=U)42+;$
z%D@D6zCHsZ10w?i1FO~+27wLW5Cb`l4J@bzwu%SLW`$S)4ONgKwG72r43PpEQqKhT
zAjA}7oTf-KFftS|tixi8EXWjOLo9F_0&+?!g9S7?ApWU`c!(X{6kAMF7#KnM9E%ea
z&^0?^YKDe}3<D#mkcS#_fq^Lj949$iTNrd^GH~x^Fo@jFV6-0;#M;{!jCV3vGBM0z
z5Jd1nNd(HXL6fzCBp~f=4ED#sS`<Lc$^Rw98HFZ`OX^#LQiB-8K1dWXFfimW$}-A9
zlK>k73%{(a2%|g$0|N^KBZC10Bf~U?d<JGl!O4x1qWTcGY42okW@PZy*~#F}$S{*Z
zRA(oHFC)VN1`|Im-E9nk%m2RsrCSz8p~*)j<?BIqf>NL+11s1jPzEr9+inESa0(0z
z43NZQ#2~}S4|NX@12g|01~zsEk6#Q@2v<RaQjviXR24#lvY3Gh>@zjgkd%W2B_w3D
zwlK(QLzo~ZGBXNIZj_R?067s7ENXCvsWB>n90bl8%nXeD2-_JL8S;n@lTdJ&gd>HC
zgfwcHfUH3e6G)+i9411Hd_;wbG6N$+B|{Z7Om;A^Ft9N&Fz7;}%!);l1r%xZ3^N&I
zK}>M8g<7%dYDu!{Y-5Pt#t^>z|9w!<uz)kA5CaPX149vm978dKCPN8>4nrw8VVf|p
zGRQG-gM)|_WIjCDbRh*QSWE>}q<~qfjN%N;j3EDjgV~fpmjUb{u%rqj9|IFOoVgj8
z{xEQWV_O*-$7&3WjOvUUApcCxl96Ktr@+a*GNBIOv}Yp83QK%eY`YmuA|=_jF&Kjg
zdk|r>ouSc+U6MtT9TMrw|DO<Qv0{~E+09@wSxHt!8e|BgfFv8#kWedjoh=LkAmx^m
z6J;&yqpdi0Gw?=kXW+Nu1O=EgBZC!}Bo`<U8D=shfLP!#G_m5A<ObQyzKx-KCW8dn
zDI6dndk_J32UvxTB(e&y7Vd2f_L3YRmvT#TN^-+oI!Aja!(>T0J^_#$88qNlg-$k?
zQ*#74gbn0wu&fJ+1$78J$OhwW41F^hv_QfW85zL-jnvt~0G6`{DX^J5PfmkTX!3En
z!{8h`gMpu68Uq)jCZik!J3}3V5;(82G5Rz3fmz&)hZ)2ewHSC9xEa+Mb~0)+@Gx*N
z8Zc~N)L{^2;AD8j@DH3C*qN9ZjKDhB85o$nVd;X&n^BihkAaavg-M-JpHZBFiNS-3
znbCkjn1MNfA)4_6qalMZ0}I1)#wCnK3_J|1jBgm?8C)5S8Q8$dMvH+3Vi_Yp11Cf)
zBOe1ZL?<IZ0}E8W2?HCW<m5;NxkwLC{blu+L4%zkl%2uj4}%{&L+C#SSuj@=EMm^i
zV50bwf#(kc4?Ba0_Adse9}LXDU}^9-gF6#)re`#TCc_H~uw-~qQF=0;qA8=$WEVws
zXHY2uD(Dy(l3?CuNP>Br!H&@k<ZW;|XJKFxU`H|A9BTGDMTFTVGT^v11*JQ1+=g1Q
zg7WDW27zr1(UTRGtlhy1qTmWltXOp=SwYDVMC@c(#>{YlA=HWuENBCgv4IP+gOey5
zNYH-rVkIs0P%9Qt@dz&4tyn?%3T(O#hy}GCl*1-}Q8KXr%V;9Y=xkw-)s+ONNQkYl
zWPDj?8^d%RQ2hw15E7Kj!O5+UfsY}RK^&Zn*cf6Nl);IImEk0VF{1?o4+9&+Jq9^O
zO9mbWc7_iOJm6%>!LWtF1Dv#28C@B87_C4_mC>9*iqRURgRy}@9KvE?U|ax;0mcQe
z7+|bnv;oCHJ%bfv8lx?v9Ro9?7(*AMJp&H|3pkO1>K}-l0|PTSq6`_h1la#E=z*I=
z3&91G^&bW)FeBkFgCaOFdHiB9`ojQ9Qok7VQDW7R(Fs&=F)%Q4GO#j$3d#npEj$c5
zv*7jo<cBKeQplC5HmouY^#herMyhIzLX#s^&B39j#lXUl&A`Lx%qYje!VtqC4fZdn
z@@RniSDGP}5meYhT6Fvj%=~{DEWxh#_{Cs=;y4$$<1`r9z>b>%syPvE+b^`<XEy^!
zr1o}(G~dbmY6grZlO5E=Y@8Vx{B)rupqehc<Ydv=!XO1sR4k0z+Zh^R3E(<B0f4I8
zNov+`uT(LJf;|ALV`e}-AjHrHid+Up25E*`uvZ{egAfBV|38K>aDYQ<2yGPKxWRnG
zw26U@fs28G(GSfxAg^d`VPM}r`L&9a3n-~?W606c-o~&IL~Qkimh*l(+Zc92G6A%<
zWSGgI3D07oR-lS<4JhebPF|`W#ArGBhq_WdYH{ohDtEzo#>9#pq!c90A;|#^G))i-
zEUj+EsRIr&c2K6}1Q*QP85+TjsLRX$Z`6@w-O8W<4?swzT*V;Az`z*9z|I)Vz|R=Y
zAk7#td8P($y&Yp5g9~FagAZdWLoQ<)Lp5VMLknXjLpx&@!vw}`hN+CX42u}^8CEkE
zGHhWiX4ubI!f=kUl;JjGF~d{FN=7!uDn?btYDOEz8b*7@T1F?vdPWb%Mn)gTW^kpS
z#=ymp%ODQTsXG{S8QmE@7}yw98N?Yq8NKQmI2qX(EWsI+9Tfi17?ox;2FD{Kg9{@U
zqc<oEGWakuG5UbYeuhO1YZ!gOMgJCtS&V)R!VIk7ya*~t!K%Q;JXjT@00RpHSQVoH
z11mUxIxuka|7UP#U}b0E-~lId4t54mPMo|(Q?lOUFM}LAg9$r>$4>_RUkoUvIcSIk
zr5gb01?a3n?ba}MfV~bX85kI#-5Lf^qn8b;*@S@!+~r}@VuAM8AUzQ-2Bvxj2F6|n
zR>nRgBiNvU!pP{)-~%;62imP-Vn(-o8j?;XxXu8^KxnBV!ob47!N9<ff|k^^w=wMY
z-97oRmN?`7$+xu>>ks>B>1u6b*zecE#<=|deK6-Z$Tmod(qrIeU|^iXz|J_AfuC^!
zg9zgy1{uc14C;(a81xvIF}O3XU<hDb#SqT8j3JhBJ=j&CCZIcm0HY_P2Ln6E4N&(n
zFr+XBfm+TCA`AhH!HgjcObo#?3?7W3p!f#IEhsd>BA~bh$D<qrGyi`EO$K&w9EP$p
zhJm7yF^rLsf#C;(GICC5*v_y66mXNzX^XL*j@-_0cJfPY)%yM5s&6O5IVOg1ElF1G
zZ4Ad}G6?EuNwVs0W4H(@i*_?yjoi*~-HJ_;4U{QwFfoLKGU{zchFJ^?L99EVUW}*}
zyY@DQ`;a04k!foYnRXk)BQs7dElGA!PVH?Bhqbpc?60@t(gn59o`E`RdXj7)HpqOi
zAjC~v2sd#d+$0HVibiTlvV(*~Id?FqX-R^mkxJ0|<^Q8WrI*n2?F?yF?965yq8z$A
z8D26nEMkzBWZ%LdAj-nAi{b5L0bS*KP>&o^LTqK=VBF3iz_^n^l5r1%660P5J;nnJ
z=8Oj!92gHVcrhMkh+sU<kjQv~A)E0OLn-5FhDOG-3`-f$Gi+tNz;J-^BEu=hOAMD8
zFEiX_yu$FB@fIU5<84L(#ygC{jQ1Gj7#}d|Fg|3oV|>8q!uW*IoAD`QAmj6TaN?+9
z;9=Ox5W%R;Ak4tUu#_PKoJ=?w8X5W-!x@Ab*clZWl)>W>91IMMA+V&w7{VCAD9*sh
zz`^Ll7zyq@2r#-ZMlnV+Ff&LpS~JFgO9~}MBSr~ONx_iF@R>1|F^++aQI5fkF`iMJ
zp`IO_#6W2h>;OhS1}=!TjC>625Q9Pe4F-t82{3~}ZAb>N!Hj$itWbj!L9Iy!28IX*
zj{gi1pnfO^IDv|?Gn@w{PzF&3hCd8K><l;mGAMurJSK0@6R(F#vNPOdU|{;ozzeeX
z7lRT56KEt8ns;Lvn8A6s1yt{7Z)Yg++s*JXay!FkP$x}$8^f1yNtSI4UuQ9-faq_a
zb{wnDPKIhmhMf#`j0~Ve46RNaKuH%|oq%c^_H7LH#*(byZiot~La{&2AfpRnKt=~<
zGVp==L)#c^wlVw+U;cm3^8d4Rq0KV}1_n^$n}P8)11IAf1|i0`43doR7!(=bGiWn@
zVDMx7$dJtViJ_43GeZsIH->t~?+i_hKfo~#3UEILJ#gt?&(5ID5CW|y7#Lb$(aX>R
z?;N%;sxs;^Ffnj4R5K=l3I+xth9bsf#uR8%3{?CxfYgJ!y%1HP!UC!)m4O9ZY)CV(
z{$-E^2mD8HSr2OI|7NIn{>i|^1noekF))D!jiI6L1h$ibp%E17pk5sdv}cTH@TP&v
z25@kKTFyuz&JOApf?K{0AQo7Oi4}(=2dM65g9bRqHU|6pV+=ANQTuHSk7O1w2uQMk
zc#z<Sg!nW`7DSLMfzkov9|lgwzYOY({}{X&|1)GWF)&mxF)>s#F*DRLvA~1a3mU{6
z4C>Gj26gWn;UU}z3gLQijnv4P&gcOi5orVmHZub!Lj_|7C<lSF2)HNC&<O2_gXI|c
zpaClj3RppKz<T^;Py)BQJbp8P!WC4Hf`%fQ7&94|Kx6QbkOhs*fg6!VIy>tb3ZSVJ
z-cFQ5YA0%g8dH``3^N&6S=KE7e;-`!K`J6KkP%EA3<^w~4BAXw47yA_3<gZRVDEz(
zzX}Yz;65m*#fUtH1RgH|rC!DeMm>glCa?!V)eI;>gGU;`>4k@Z8PeBNK=>kyfr;TV
z!xgA6QW==QBedK)+B+HkGBNC6WCTSNWDFKOM9Cxwb`2zfa>E0jn=u<S0L;L^z|B|>
zDzG4KfCMr(V>UP)gCwIE6BuA=Glzi*G<gHHy8>#r7|3pL`0#4)Vq{}r@LB%<y*9`h
zkU#?Udl{HS8Mv6l7(|#Pkenk1aZWu01A`c2F1Qi~vB2XnNI@dTh!}EVVPIkqhGvyK
z1}28h3|m08D+2@LNd`7hvw-2MmM|lzp4+*NA=+1a3xj|TtTqLYi}-0{w3q8=GRy<T
zF*t{SI;~q6lp)nAxPJ)FLRIiWOC405f+{ubZH(NIvW-)c6I!;Jf>>a4OhDr<pqvIN
z+9V~pwlUa?vhQF}+s4Q<lYx`PjAJ<i+w%X%MLFtcF-Yoyo7Jpf1v*G|Y18umaoW1u
z7^WZwx!f2885o#k7<iau8N`|7804Ac8621t7*d!N8Pb`Q7&@4g8J04sFsxuwWmwIm
z&ajS2gJCn1Cc{Z4ZH6;UIt=HTbQ!KN>4D=Rh=GHlqn<$-Tn=(Eq%$Nj<}>Isa4@7W
zq=M@}b_NHA9(d7s6%t_#3=CJHH6IVdNyY*O9tI``d4_G^K@rHf87MJ>MHu;^eN!C<
zj(-eV;H(L1@q%k0Q2F<dK~{~Ck)6TA;uizcPX?)<3{1Zmm;@XdiWrJPQ9HT8SPa}s
z04HY#PO!T{#={%90*(xw5VZ^p43I%`Q0sUb!%k2lWCD*2;?&H*%vcC+Ll-d?GcYiK
ghW08L7#T|#L1Y<Y9RmXc7Xv3FV?ARdV>5#!0QklV1poj5

delta 7196
zcmeyBH7|qf)W2Q(7#J9A8LKyP9bn|*W)NjC<Y6#kFrGY>NsZf-!Hk{3oQJ`J!E*93
zCUrMc25TM$8wOiO29~_kiV{W!5e-eBti-ZJ{hY+SbbbG%tkmQZYjy^EMg{?daBxXc
zW?niM0|$d64}%kf^W>S#KFsV4u9MF)DhRkRFmo|@FnF>vc=0fJGx$vY%V?qR$HU;y
zAj!zUk({4bl9-uS3{n!v!w|&a!^ps1k{?`>Sdt173*li1WeA&`!lcdxGCzWcA(A0#
zvMjS2m>a{x5X%rZIhk3<mYX4gA(5RSiHAXt!IF`IJu%5p-_Okvq$!1mAr)jUe|l<(
zXI^GWW?~N1d=7?m9tKv1xXnr|u8i!4><kTz3?h>+vWW13>}~?dH8V2UXiP2?k)6Dj
z)mht*i@}behlimT<aoB!!qUW?VvtZj55okowVB1PxdkPa+zh6hrP=HmCr@Da7TCta
z(8;h4q-+Nd!%l`>lV7t-vhCqv*vqhQG8cy<+W{VigA9iz2Xc6`9pPa(%5ZG*A`WBw
z6O0VP;2<t7$;{DrEGkN@^vNtP;bJ(>z|75Xnn8@6;S3`KA3_O4mV@CO55swe3zJ1S
zJs2-dj^&i(z6jEA6{O+X<VH>rnX3%_+zeM4Zt^hP0>^YgeohW3obK>2+?~9UQ^fT?
z55oh7hl~uI$r*`7VTn1Vsf-NF8k)`^YyCJFo-i^n8i3f(co?2DykKNtDbB2dDDf0x
zU|@K~!|<Bn&15bv6PtI84EzWe2A3ozXLB*U1*M3$44EKSKZy9u!|(;<66S*Z0ucWj
z55sqcACs%Nj5tm+{NiEw&G2XP7A|EThJOtI*%=vl7#SJfOn%Iz%*M>a@S2fjG7q=r
zWKZt(>`ciSj0}v<lmBsNsqq#krlmTjq<~|(n2~|C7?h;IiOV@7H94D+fjKWNaq?>(
z>B)J#smxj$nv*ZEh)!<c$z@W}m|VxL$f_B}$e=bkpI2q`d0u0t$=m`vCA=9Kc#=zt
zic<4Rz~(YCFlI6`FnVsjBJiAP@+Dz?xg16YMn(?CJVpj4Mnir!#sV(JLdGI?#$u35
zOD4;UTxKa}WKf-~C@ROL;*+1BU0T4-SUFiv)V!XFL5M+^fsv7wfq{XEk&S_gK?aG>
z&cMXL&A<baV~|G@2dPs+;&U)CF{q;P^%(RS7#QRj7(r>Bfsv7ufq~&W12Y3N0|P^W
z)^-L)E$yugldp(+*Gp<`VNjOY!JxL2L4=7RT!tlKlI`;U&$XDhGU#k%U|?Wo<YHi8
zFk|3lU|<kuU}2D8;AD_w5MhvFkY|u)&|;8bFlCTsaA1&Q@Me%_2w_lQNMev@$YM}p
z$Y)St<Yr)CP+(wY@MDl+<YDAxU;^3C$j8Xf00IS!0`&|$42+C|3=9my3{3wS{1}+o
z893M(>=+pselbWhFoN<C0~6T&`V5Q=j0_A6tXf+b1U7(z1?)67u%HImDjqPK6=DH2
zScMoE8HE|DpoZ*YU}0cmU|=xT-pOFV$Y52^BFVCo!Gw`vCWA7FWyQ#FfWgj+Rd)-6
zfR-ey&Nc=INWd)re-jiOEMPl@7+4q>7<3rq7<3u*8T1&881%vRn=r64$T0{qiZFl*
z5(Wlih)Y2BL82POViX1W70eQ2tmkK7W)x>&U=Ra`jWL4|Bg8|-jG~|v0S+2&2Btrt
zP%-_*pb7Pr1Op>OEkiNXSI9vlg&s7<V5eaV8c7C54u&Fzbs$qF`-zL?fT9{=y#-E9
zLJW+c!WEjRkZop1x7ilc5C%quyHE=+h>O)DEOf+F3-ziL10$#k06CI@f#CuJ6F8)D
zw6-wl%w*u+&EOKboxyFt))oc<?QIP1I~jbL7-lgDBKV+W4dn%($?63_B3FAGL+~-M
z9t98+BB-^6K}s9K1jRfvBiH1~68hGlBn^qI9C+;JFiJDZK+`cB0}H>btO%nl0|NsK
z10#bA10%yUhI|HQM$X9rQlk10=R%U7uMRZriR$cR04F^UKP}yD4B^ZFzW~|E!pJq*
zQBuAhWG5&aX)>^aZ31OuBe?BG&|(9Wj3Ci$#2~}S4s{O?12g|01~zsE(_aiy2v<P^
z7gR*VGQ>dxw-_3@YN&xb`M#tqBiH1=lF}9+mq2{42De`goZcb1n3;i*A7KdtBSRj-
z>-G4(ZU^>yG{Wl)3=C4>%$mu-&XC2x&yd5Q$&kyS$B@Th$dC_CFR(xXWjOReft0OC
zfl?32T;ME)KUCxy7#S+zWyTI@nV}1bG%G}rA&XLEK+B754AIN~--kvY0|SE)xUeW<
zkgI1XX3%6PVbEbH1v?&6T5y9y4^#!{!b4OSURvnFOAB2_F-FwFLKos61_lOQ?1hCg
zG?FD47#S596<I*BJo%Zl94j~?CUeS!I)F<)6G>KB^0Q*w&EOF!$+nHb9Yh3!h=A=3
zjaKZEERyVy+_3!r385A%R!NrK3?7r`$*4$!3}F<IWP=)FXT`3wg+TzM+;{R_8Osa@
zD~{a^yph`(_^miWAqFaVxg@!uX+HtPf+T(`Zb@#C&FtG4x@R&-fStkt5()+pV0VC3
z1V|#Q0Bhmi#t=NYPF7U_<QN7GxS4j7H_NIyf^1|1IS?%C0%AdJWCt1LzKx-8CW978
zcp@VM*kh48TNuD{!5{?zlcnS|7`Y}p%N+)1#u*I!4AU667?l`h7}y!=7?i--l8w=y
z!4J&hW<1Ow#;DA|!@$j`&ajhFg@K2GgVBIt10$%W=45!p@DCjA>`Y7yMqnN63=B-(
zumr&5&8Wtx&cMi^!lcfq!N||R#Nffi%&5sA%)ngF5Y703QHw#CfrVi?;}S+~P+i0L
zh9RE8h*5`u4P2RMF|a@^V`OLGglJ`CV_=5pWMpSxfvVSKU<2odcm^Q>_Wun2pkji9
zogo2S2aB>Zh_W-7f+}LGzYH4e40h}crhgbb{MZ@n{xQgc`5*;<7|hujJQRO2@cd!m
zVP`Pa{>8xbgMs-MtkU|;;Le0xBrxhRDuPp@j{+<u<|_m+a!o#<pzaJRUqG3ffguSN
z7z|0Uz+kXr)CUCy*v%{qOakmE<{CiF)lx*5D?K?wQBnpR>!zTj2aa_+D^^fm-NGQS
zjlp5^Tt#blu!1PK0uL)zT}f6@N(2!*8J01FTLo-j!2pm<09=qAoJ!e1g29vJm9*6D
ztXQ<RFvvpM7p$PH1vXs=#DZE6%4CxZluRtZGMdOTI$IcIbtS=R6=Ewa&t2Bp#xPw6
zRK<d7g*!^+;Dp%6z{iluAP!DoYz(ms%HU+h%5ajwn9-1dhk=dZ9)ldC5d#kcJHrPC
z9&m!?VA#Uo0Zw$RjIInkjK-iu%xKOa#b^T3!Pvkc4q-7cFfM?_0^<T$EHKtEnu21X
zp23PSjnRzJoPn89jG>Fsf`NyD1)Tgql@LVEl7Sf<S%wT;0_^`7^uP&gA-FEG{=*;z
zW+eP&Py{C?(_aimf52((7lS@Z%vv#8gHj9w10yE`D+8#kY|z@m!=N(@UjI+tr=~Kw
zQAJqFfRO=St7^k)RXaaWQMFD*jgf2eRTXn^$Z0XKFl00EFxoK6Ft9MhFi3;_45~yL
zpnjHSNClU<keZF3ftmj=gC*DproR{rP#kCrcc2CX8`yy}KvgKhefx#h`|M`mh}7QB
zkmftNTh+kKBT}1DYYPMWc7{es6vGpZpDwgyRMUl*s4O~L7^Fa+_^2ww$TgWy%^L2B
zDh5%o(?Lzr8BnJSF|;w-ftuC~(hRj=PcVVwL5P8w{~tpbIJh~$p|6eN4||wDm{u~d
zF>o<3FnXf-1LO&?vnQWWQ#1C3mg{~x+ZeV&Qaqw|)P(0JJ1bC2dJQO@`%YF<4`TG4
zT&b>9k6J2wgNk2p2Jx_B2Pp+fb4YSP149$U0!yn~aq56G9Xlw8a)Qg}?F^0JX4B>6
z|2OJLvTkKiK+Y}<3=CxqvJ4E2K@9AS!3_M2;SAD@5tF4fc<b#M6B*nYlNmA?Qy9t^
zQyJ<R(;1o=GZ?xVGZ`i@W;4uX%w<@{n9s1Dv5;XGV-dqi#$twRjD-vj7|R(M87mkS
z7%Lgg8LJqr7^@j=8EYAx8S5F{85_YBd>R86Lk5F5G)rz~&;|E_*ccTU#2FnJ9T_+o
z8S5D=!8wr~6x7hjlV;QdM;Rl7JtG&R6DY4SxHB>_I)jRThPe!D7+t`n|9Xa5jIIpA
z46NWx2P!qes=y^ZSQR4&0}BIK6(a`&D>wl-FmUt#XK-R*1*c;Ub`Ay(NHIUzP*YOH
z^e=-PJA(&1gXvEO{a*|y#WrY^1=Q%DoTrJ@Zf9%*`xKPp85p1)F9uL=iVdWefq}t<
zfeG9xW7A@R_9&UaT_`S4E1t2Nft9fb$pkiN5HK>jF<3%P(1G^*n3&fvfcnW?3=FXh
z;9d&j6eO)oaINl)9?;T4gn@;DgMon|1uYS4Z)4aFPrACG<P6P%x?0;9c27>wQmo(a
zrv>KtwXiWR|9>CMISg_Dqz9<Sz|FwGIE#UuaW(@#<2(it#sv&Aj0+jm85c3=F)m?n
zXI#b*z_@}ToN)<5EaO_RJ3;L|cLo7Q2S#27c95%}E@ogzVe|xNRuP5(MlVKh1}27j
z83qqVA5esYBNr6DU=dK{f+JFnftmk5gC+wzI3n%X8GS+V$mq++$iVP}K^Zw$Gi+wq
z0triI9tIAu!$Y9?)^|6<@yP8AC;gy&D;6kYa=o@l{cdnIxRc=&6GOO`B&+r|hQl)%
z1a-6|S#`HDoP`A0Zib7I+Zirfu}QLl^6V8RhHy|mzRt)ni(w&%bpzC+7PVs6-o|hn
zQbHi|bS)xJZ)3P;#;K(x$u7#Ny^UeN_BMvy^;TTEpmy9NP=`)Wk`2TLnGY6(xQPql
zCN6}VAPqPzNp_HsDCZ6aH7!Z7G`y@`{=a_t|7cKICiHkaLz)#kvl)jdhwe^>r;H4X
z7^EfHw=f8ZvT*ETcsY5hjxxBLTE!s8z`(effrD`?g8<`p21&+U3`&f<8T1(UF_<&%
zXK-LVz~IGrkRgKcC_^ISF@|i$6AYz{Cm9+UPctlKJj<|^@f^be#`6rP7%wnfX1vI7
zm+=zAYsMRlyo@&)1sHEJ3Nzkelw-WdsKa=l(T?#RqYL9BMsLQ)jDd_#>%qyVih+k=
zD?<dM3WG2M7sFD93~)l?WN2jQXY^wbW?*MjWKd@GXAA%(dBzY};$jS83}obIU}WH6
z^kEDF4?PGlx-bSahA=QQNHSV8hJp(dB}OAg0Z?JWkjU_vF^n;sfsIj)!HhA2k)NTS
z9h?X~7}y~WU<6eSU~3uK7}y~Og9a-YAO=Um3<k9{8NdcJf+|Ib!BNmQX9NSse})KX
zixW}^odzXg22lovKMX?b3|Id$D1Ze_E&ejZF|sp={%25urgs$e><m{K7?}Pt@PeH3
zi$RHj2{h0ODgq|w>WSCCjoi-g9@J^m-p24DT#{uQ!^c?+DIogO0nkv7&Q6AEMuwdX
zb&L$4R1B?d96)IoT-|_bBXCW_3htGtfa;sz;|wyoAO>UrVI~6~sC%@HAz&NB*YM^4
z_bmTEOBdQyt7l+f0JXmu7+*4QGQMIEVtmaY$@qprk?}2qHsd=6KgRbA$&4Qu3K>5#
z)G&TwsAv4j(8Tx+9Oa-8_hZn5))3kZA<(LXfuRK!y$mhzzG4fb7^6A^69XqhHDffW
z=wJ|HC}NC@VT^^g%Rp5G14sjSj0vm^RGxs9#W2P(uz*VzX$IE643glGe+#Y;K<)nD
z49-6pn3$j)%6JAQ&;T|#h#%-nNP=o=L`ydfR1koJ&Tg`xfp9&zk?R2J4uS<etT-e&
zKs7fTG(0)Lqc1Wb!QgES_hc3@2uQMkc#yz_gy%F#7HEJnFfb^AllU(NPR8F1>WqIF
zycqv7WHbI_s9<7XsAghhsAFP+ho4tHGypjm)S&?g8USpB2Vf&S02>(-pktJc;Gkq?
z;AE&^Oa$c*a0Y-3d^AG4-C#LJHfX5Hf<jFY9BQV28I-^+EK_i()iZ%=Qc$Cni7|<R
z2{haf3OEJ^&^Q>lt!SjPlc4~b1mTT8Ii$v)HmD`#%fv8~ft6*=^8fe2H6f%T5(AmQ
z#Kxe&#Ll42#KEA;#KmC1#0~a7sEMn<P|pkQh=Q7j$YVy};So^UWDEqQ8n6dJ)eI=L
zf(IeNiGhcK8Pcm$KzJgVfeAF<0QE#F0~2^ynOjGDC&N!Bh8+xlK@kNRHwIPH^$bk>
zVCO)RA2&SUxfxSH!`2K84BX)2hzaZlNFZ}FrhpSEL@ts6mhwQhIWagx?XG~@Ee5h1
z96r3-yBL`m7<`uhf3FR41`8t>C<F3=oX8~1z{MoOAi^Yu<Qy@$bHo_az?CoqgBWDc
z1?(J1kcc4-u&^*NF$hC5Lb`w>LlHwUq;_RM42EuFSOc;h+|;RuG*%e6z_vongSM0e
z92q*X>fQ?1jaxGVGh+t0L6pgu#lXP8$H2sx&%nr-4JLCLOBom#xEL52%h(tz7^@g0
E0eMo6M*si-