From b1b97fff10c85cc1d368f8304a716300729e71a3 Mon Sep 17 00:00:00 2001
From: Ghost_Element <danieldw@edu.aau.at>
Date: Mon, 8 Jan 2024 23:20:54 +0100
Subject: [PATCH] complement1Test works fuck yea

---
 .idea/workspace.xml                          |  75 ++++++-------------
 src/main/java/ab1/impl/GRUPPE/NFAImpl.java   |  27 +++++++
 target/classes/ab1/impl/GRUPPE/NFAImpl.class | Bin 12458 -> 13171 bytes
 3 files changed, 50 insertions(+), 52 deletions(-)

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 992f8f7..1bf0b51 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -5,15 +5,12 @@
   </component>
   <component name="ChangeListManager">
     <list default="true" id="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" name="Changes" comment="changed a bit">
-      <change beforePath="$PROJECT_DIR$/.idea/misc.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/misc.xml" afterDir="false" />
+      <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" afterPath="$PROJECT_DIR$/target/classes/ab1/impl/GRUPPE/NFAImpl.class" afterDir="false" />
     </list>
     <list id="39d4ccb3-eae9-4ed4-996a-5a13f44678fa" name="Changes by carol" comment="" />
-    <list id="2bf04d9d-9125-4ed6-9018-847e14e9822c" name="Changes by danie" comment="">
-      <change beforePath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java" afterDir="false" />
-    </list>
+    <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" />
@@ -22,7 +19,7 @@
   <component name="Git.Settings">
     <option name="RECENT_BRANCH_BY_REPOSITORY">
       <map>
-        <entry key="$PROJECT_DIR$" value="2-playing-around" />
+        <entry key="$PROJECT_DIR$" value="3-daniel-hat-a-skill-issue" />
       </map>
     </option>
     <option name="RECENT_GIT_ROOT_PATH" value="$PROJECT_DIR$" />
@@ -43,49 +40,6 @@
     &quot;second&quot;: &quot;2afc8825-f511-4d8a-8cc1-901875567c84&quot;
   }
 }</component>
-  <component name="LineStatusTrackerManager">
-    <file path="$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java">
-      <ranges>
-        <range start1="16" end1="17" start2="16" end2="16" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="37" end1="37" start2="36" end2="42" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="52" end1="52" start2="57" end2="61" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="64" end1="65" start2="73" end2="76" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="69" end1="70" start2="80" end2="81" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="87" end1="88" start2="98" end2="99" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="95" end1="95" start2="106" end2="112" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="96" end1="97" start2="113" end2="114" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="104" end1="106" start2="121" end2="122" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="107" end1="109" start2="123" end2="124" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="110" end1="110" start2="125" end2="126" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="111" end1="111" start2="127" end2="129" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="112" end1="112" start2="130" end2="139" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="113" end1="117" start2="140" end2="147" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="118" end1="127" start2="148" end2="158" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="128" end1="130" start2="159" end2="161" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="131" end1="131" start2="162" end2="163" changelist="2bf04d9d-9125-4ed6-9018-847e14e9822c" />
-        <range start1="132" end1="133" start2="164" end2="170" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="135" end1="136" start2="172" end2="179" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="137" end1="139" start2="180" end2="184" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="140" end1="142" start2="185" end2="190" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="260" end1="262" start2="308" end2="310" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="263" end1="264" start2="311" end2="312" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="265" end1="265" start2="313" end2="315" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="266" end1="268" start2="316" end2="317" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="269" end1="269" start2="318" end2="322" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="270" end1="271" start2="323" end2="331" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="272" end1="273" start2="332" end2="348" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="301" end1="301" start2="376" end2="378" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="303" end1="317" start2="380" end2="387" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="319" end1="326" start2="389" end2="390" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="328" end1="329" start2="392" end2="393" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="344" end1="345" start2="408" end2="409" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="374" end1="376" start2="438" end2="440" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="380" end1="382" start2="444" end2="444" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="424" end1="425" start2="486" end2="487" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-        <range start1="428" end1="431" start2="490" end2="493" changelist="f5e08808-a5af-4c89-a1ee-21b3bcb9ae3e" />
-      </ranges>
-    </file>
-  </component>
   <component name="MarkdownSettingsMigration">
     <option name="stateVersion" value="1" />
   </component>
@@ -99,11 +53,12 @@
   </component>
   <component name="PropertiesComponent"><![CDATA[{
   "keyToString": {
+    "JUnit.ComplexTests.concat1Test.executor": "Debug",
     "RunOnceActivity.OpenProjectViewOnStart": "true",
     "RunOnceActivity.ShowReadmeOnStart": "true",
     "WebServerToolWindowFactoryState": "false",
     "full.screen.before.presentation.mode": "false",
-    "git-widget-placeholder": "main",
+    "git-widget-placeholder": "3-daniel-hat-a-skill-issue",
     "ignore.virus.scanning.warn.message": "true",
     "node.js.detected.package.eslint": "true",
     "node.js.detected.package.tslint": "true",
@@ -135,6 +90,22 @@
         <option name="Make" enabled="true" />
       </method>
     </configuration>
+    <configuration name="ComplexTests.concat1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
+      <module name="ETI_Abgabe" />
+      <extension name="coverage">
+        <pattern>
+          <option name="PATTERN" value="ab1.tests.*" />
+          <option name="ENABLED" value="true" />
+        </pattern>
+      </extension>
+      <option name="PACKAGE_NAME" value="ab1.tests" />
+      <option name="MAIN_CLASS_NAME" value="ab1.tests.ComplexTests" />
+      <option name="METHOD_NAME" value="concat1Test" />
+      <option name="TEST_OBJECT" value="method" />
+      <method v="2">
+        <option name="Make" enabled="true" />
+      </method>
+    </configuration>
     <configuration name="ComplexTests.union1Test" type="JUnit" factoryName="JUnit" temporary="true" nameIsGenerated="true">
       <module name="ETI_Abgabe" />
       <extension name="coverage">
@@ -187,10 +158,10 @@
     <recent_temporary>
       <list>
         <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" />
-        <item itemvalue="JUnit.ab1.tests in ETI_Abgabe" />
       </list>
     </recent_temporary>
   </component>
@@ -247,7 +218,7 @@
         </line-breakpoint>
         <line-breakpoint enabled="true" type="java-line">
           <url>file://$PROJECT_DIR$/src/main/java/ab1/impl/GRUPPE/NFAImpl.java</url>
-          <line>347</line>
+          <line>447</line>
           <option name="timeStamp" value="21" />
         </line-breakpoint>
       </breakpoints>
diff --git a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
index 03d74d2..f10ad5f 100644
--- a/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
+++ b/src/main/java/ab1/impl/GRUPPE/NFAImpl.java
@@ -8,6 +8,7 @@ import lombok.Getter;
 import java.util.*;
 
 public class NFAImpl implements NFA {
+    private Set<Character> completeAlphabet; //contains the full Alphabet possible (currently all small letters, can be changed...)
     private Set<String> states;
     private Set<Transition> transitions;
 
@@ -26,6 +27,10 @@ public class NFAImpl implements NFA {
         this.acceptingStates = new HashSet<>();
         this.alphabet = new HashSet<>();
         this.isFinalized = false;
+        this.completeAlphabet = new HashSet<>();
+        for(int i='a';i<='z';i++){
+            completeAlphabet.add((char)i);
+        }
 
     }
 
@@ -309,6 +314,7 @@ public class NFAImpl implements NFA {
         nfa.addAllTransitions(this.transitions);
         nfa.addAllAcceptingStates(this.acceptingStates);
 
+        nfaAddTrap(nfa);
         NFAImpl fakeNFA = convertNFAtoDFA(nfa);
 
         // state -> accepting
@@ -496,4 +502,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 a9e53a8d12e16c3a494c908fbb17c89cd6f306a0..d306f699d7316b038cb246ad5a237d1aa603e509 100644
GIT binary patch
literal 13171
zcmX^0Z`VEs1_oQk5-tWN24;2!79Ivx1~x_pfvm)`ME#t^ymWp4q^#8B5=I6#o6Nk-
z5<5l)W)00SP6iGJPId+^9tLg(9!3W7#3V!g%-n(;efOZyfB;v0KQ~9u+=3iN1|E>6
z%*34FlEji!Mg}1tgu%fjMVWc&*6a*?j0}Qc;nI@K9DR?(;*8+b5-tW_24;{of;<dD
z48n{IY{eiWiWwRBA!dLT2d9=;b2ErCh_N$>^Dsy-NHQ|;B8&=7En#F}PE1K*WDwPW
z=tA<6wPqB^d}$sA8IbwhB}IvO#hE3U`FX`4aXB6ad5}1NVsdh7K}lv_I@k|jIYk}@
zC6F9PVopIuVp3`eNP`LwgDQg>BLjD4v0G+dVoqjNY6>F*BiIrR9tKU227%=K+=86c
zl2k{iMlJ?z1|4<=T^<HK27N{bVX))Dj&#mQEJ{o+NiAYzU@uF|DNXfHV`PxfaMncf
z2wV*~5Da-3j2Mg=88|XaQi~Ex@{1T5#5ADF!J*{|6}RSQFl8`fXE5hsuwbxcWDo+|
zilT&(fjuL!*e|sL6oML>Q6L@GJPbArwu}rcd0=4?nAu?GLXwF!JA*w+>VZTu7Xt@_
zBM*ZUgEJ$8U~)!cUV5r$nqO*iYH@L5Q6(dTDRS&Uv{*yD33e1HmZAOt+XYp@&fv<(
zAPq`-@bCslk!uAw!t(RD7+e^bxfnbcJlPq%co@7Hd>9${K<Y!_QO(G}nO2ma3)aWT
zfa)cvHK6q6$HU+cN?aVt`FSOYnR&$^Qv-Pzf<Q*Hm*j)>gTz937(yAs7#X;VQWH~x
zD|3_ba~K)KQ9=q4X`o<<;9-blh+<^mO-xBac9yV)52{P8HN!yaV|W;18R8fj1QSzI
z98ppxS|W$KUNelFA%P*0ogoR7JS`a+*g?knxjBLiOW|Qi1^IwKJ+;I$FS7)eQ9*L)
zprRlS<oQe<hAf6`Mg}&Jl{q<#43g030!NN>eojtmGAP?vYes=I=JGJ)G2}Bch(eU3
zI<lCNK?qqlIBLO8EaYJ*VgN~}r<P#ok${CDx|N_}q7>xPGCa-#2V4aYLnT8MBZF9R
zVp^&rdf*i^GFYLz3oQkL;{!_}XAKGB8XksPko)=4Q%geN>8qHVp`O8zouPq|K?IS@
z5Mc&NGfg1(H#0KWKplXb#vyJ1iy+bsk{~>mIT%_Q85lruodO~{co;fCuHj5iEdeJ^
zutWT~80;8&co=#?X_+mxurx8J7$nrs!!Q9<5U^(!yXF>@RDyE*Bp!yzpsIkaC^a{~
zEEN>9Q+XJsfnpY%_HuHNd<l}B!NV{Uq(LwZTKYMbmgMIqmgMJw647iPhB=@_#95RI
z%0P}eIUqgrK#@M5kwFk8enE+XgJB^f14mwJd2onhPzXrvVjhMi3`-dqxbo5x9l@EU
zfRRB4l1;Ej3rN>;9)=YRD;XL1lk@Y+Qj1Fb+#E~tUECZQ8BFkK#TnNiBUgjMc0R~c
zYk3&ffxOI`oRgYZ1PaLwJPaEdHZd}Am*j)u%dw~^v67L2MME>%8KiX!55rc5ZHx?j
zsRhNEIr(|cIr+t<MX8Jon$Wlhr*Dw|!7lJ~bF_vQd~gYnF*|q|b~5Z@WDtkNu47tB
zY7rtn7#XzC&2z?U;2s`^y$t&p83ZzmQS%-ngEYEH2!o>784keeEU^2)-u1~WF5zO>
z&%n&ha2QlEA7NzRLnM8OEC<6e9){x#Cm0!c!9`C>YK4CqxVkpRuntu(EIhzj0-E~S
z8BU>OFQ3f3?9>#9O(#L_I16&eIYtJ4gjs>5simph3}+eoLBvHKhD+e8tsozgFt6}1
zTxFQg$iNLMjgac<>pToM7;Z8$a3*IY7KMSTWpIPY8RS<#4u(6742%XK_B|ek`wR~l
z8CZ%lt5U&AJcSq-7#{I3JZ5;p$RM7Zn4RjJpO>6i5}sL-;hdjWT#}eqQVc4?J)tp<
z>ceL!t`9CrOwQ(FcnYfCo-$;DSp6X4H4noZkUy9U@(V!xcRUR589p#FuoRRQXD~9T
zK?4_TG_=M>whbx-^1vq^hR+ON7#Y|z^T3e<av4&&168T%$;I%E;X6CS4<3e}Adf*B
za$xg4^GZ_FLCqHqQ2hvM>j^P1GW-UGz#lZHK;seFDNrE}hJTC<EFnRT0ibkW18Oey
zFfwokXQt;RmVk4P8pKuL^cS33VguoVT>#2~;3kx{oi!taGDHTOLa1dRRf_1UK-DE8
zXMs&(an4Uk1vNx7^HTjvbCXhwLK2g5z|GtI<iwn?#G*_PA1cV0$;iOy$;iM`l95@=
z$RG*MKiCQ^Mh33plEflNdCkbc3yx&p!~&=}s_11TvR9FOzzeP5AjLi-11q@U%*enF
zDw0x@vl$tf^U@L-8N_^099vnC3biN+no9776nZd$a~3$%;ZDKnQOz(=0R@e1uq}uR
z(FUvwEx<MKc^x&Dxe(2GMg{?N!x$O3;H|@AMg|oOpJK!|$gQw!19mD}8iV^5q>!~V
zFEc+6)Q$vO3@N@rMuJ$347_=%<p`fKGH@g&Cxc@NTGN3#IE)PZC8@au2xY~L46OMj
z8K8{B2{)CIfdg!nAE+V|0ZXHn+r^9wd?>aRGcvHG<s_yvGKe5W9lS@t$bg)WV8U1<
zgC{euB(<m*(&l4i;78_y-NTy<F4$7@5<#s(Mh13hWyi<>>Pvy!=FrX*BZB~nTCjGm
z?3~opywu>5#3DupZVgQ&PYdPb=NC97CTAmp2h^fRYX<Wa<dhcs7r^>J{CTP6$c<Y@
z1};c1EH^c;gpq+MIfIdb(V3BfEhn`E+}#p|1Q0keBN7)Q1AAIxb}HD3f_bUs@bHFa
zFM<4`%ydx82iCP?WZ(uVgH|4(ZW*Xwm<j3zb3^)+#o_ry=zUXYdeV$yWMC-=OLKxK
zaLvldz!dGw$iSOiT2z#p2Pr3t*%@6J8F-L|7#UbI^9o8!7#W08(h}kB1gErOMh4E5
zv_u$N0OD0}!Uols){G2%DQSs_;02|=LQqx7$RLQM7F>H;GcvH{rIv#mQ>I9gAcLS~
z6WCx}IR;eRnjz@}8%nH3_GDPo2~@s;N;PEnfs0OSMg~<R<H2H3<H2zY4Qh}x0x=2#
zT;&-kCnJ|!xI70Muz+^|*osn%OLIyX8G?wh1!qGIhtu_mF%+JMK<SFP7&I=DLzF&n
zFo0u`_*jJo4{{hYGB6jH6frV*LM=s>LyjWU`WqfWSWV>3NGwJqR8aj|lvu#Xz!jWd
zT9lmXmI<nmd7uMPdLVx=G6*>3=a&?h6eSk;rj}&nrxbHArZO@xGIB7cGcqtS8uGI-
zW^yrRF=n$f=I}5)X3S+|Pyy+LjD%(8mE~ur>O))wX}q~5CYR)cMlfa|dkm@&Vuwd!
zUP?}Cv5HTAes*aAbXWt^|6mamjUkl<saTXpL&6KJ9@Yv&5`r4xoS2gnoLQ1;&B(yx
znU|MZ<eZaOT%20W&RD?6po-xqY))loEMjDk!>^Q)feqp>21N!A1||kZh6Dz71}4y8
z7Xu?BBLf2i6C)D?6KDhv&Sz#|0*$!A`78`fpixASTF{6aTpXlMi9s072brVFpvJ(!
zAkV<az{(KEz{tqTz`*d0fti7sfq@}kYdZs@miAT#cCFnEyph`(__s0$Xl-E-(B8=)
z!o(1c5S2nOWf4pTE#|EZ$_T!?K%%XTK-FRf39T&*>N1mdFla#xYGGnr{{O{B1_lOZ
zMm7cp1~Ud;1_lN(1{MZ!22KVE1`!5H26+Z41}z3@22%zZ1_uUN23H0-h5!b6hDZhl
zh71OIhCBvkMs@}U1_cIYhF}J1Mh-?!1}2av7`Yg^89*SPk%xhYfsqkpwlD+Je}-Vt
z04)bQgB>FS!!HIY21bTXhWQLk;4si<U}OM=HY>=#8$dw`b{QL3P#tU&517pgF&`Q=
zd<=|?{0vo4L-sMSFo67Hti6-LfRVw9MUrJFg9#(UOa^5T%ZicV0E3+stL_#C0WC>Z
zoox&bknmXk|0XCfSin{aF|aT&FlaN#G3YSpGw3oHG3bG<H(_99kYf;J6kq_2b}%p)
zLma}uz+enX9UvB?AcHVC7>pT(7`Yjk8HK?C3kn!x1|ddfuosLO1sRzcn7{$U&A{}B
zfrFjF^cRCB)K4M|jG%!SsGpDnMhZP(jKD6#7BHd=j0{CsLsu5v5ObV{@G&rghS#9U
z6xk*0=!V!}8p6N`>VabMh61`~2TaY-un=Ql1dT324Y|Mo%0dhbIa*s7lxH$<?`Cj`
z+|J;(Ukj8+wlTQxWbkETn8hH7;DfUbL^c3THUJX$+S?d{kAbx)fS3?Ltt|{v&`bwP
z7?50|#lXeDz~IWj&fvzt&)~rz&)~_R%izsm%izP{&EU@v#1O!cz!1cc%@7Rsj~F;1
z<iL|j4x>1u1T;UeF|hE<%8D>bGB7Z(FfcN>Fff8frWlyPnPCM36F3nXq4^V%tbKK$
ziCR==Cj&T5d-!STZes|C=4nVWmICL5Fa~ypa0Y&cNCr)YC<Z--Xa+-u7_jR=`BsyG
z73?NZ;bR1MrxCPp10`KZ(lTO@VPt{2oQHv#{|^HjIK@gK+z*W}P^OM$h=aygF*Lr^
z(EI_8A9zU1VuZ991E^R86~u`Q{0zwqQVb~!stl=McSAx|4enYsaE64GGRzE&{0Jv8
zFf!yZ<dYescHkh5#uB6%4D1Y<4Ezk)44Mo%40;T?42BGOV5h-?6jVZ>2dNOa9zYIK
zaA^Q81Mml_Gy@}O+!q?8JD^3JE+j1=6>+jCMI5wz+r|*R{QrGW8iu3_A#l1XWRPPh
zV$ftLX3$|M0XrR1xN(ES5)}5j@bJ}z7jC-n!c7;WaMOhsZo1eDH)Uu75n*6tlwp*G
z_=d%gfsKKOfq}^zl0bO0cQV8?GR#8c?A;6;ky_grlD9LY`Rag*?JW!fI~g*V7{Yb5
zwlK(UW5@y3l-fHP3K$u-GnDv&MRj$yF_eSEw=?itv1spPsAgo?$xz40V8trQ3e7tv
zAQmL^Sh4M9@Q9RT+s5DyB7#9gz;=d4D|Sg1Np?swUH<=sP>U6-Bnwz6E2H*KhBlCm
zjSy+=oeb?TJJ=-IAa*bcfLLHV?5x;9t_PXs3o4=XU_4Oy1aUn`u8WCbCc|}|Eex_C
z9!PFE!wD@(u-<J94ptm6PjQ0c8dSq^Npe9fV@Lq8z?OMfaZ7T8Jj1??p?fBS1lY+O
zAfaFo0rnbLMSvu-3a}RLZ4AMZ93angOL9tbLwvXV{~U-LA%TdnQv+_N9mr0oar|Hp
zaKQ9lk>s>uS^n=0%*pWZVQ_(mkB1dINVEGkhQ65$S|H(xj0}*#*4e@UmJ0?c0J$A%
zE(6>0|2uRfS++4u0Y$nLh~CC9T?bURK+^g?27LwwhAIXDhH3^0hI$4ShDHV>hGqsU
zhE@g-hBk&EhE9fPhAxIWhHi!yh8~7#4805s82T6%GxReoXPCgSpJ5WiBZkQg9~h=E
z{9%~N$ipy=QJP^kqdLPpMgxY0jQ$LZ7-JX~GZr!|WvpXZ#yFW_1>;<Xm5d7*RxuuC
zSj~8rVGZL=hINd07}hgBVA#m`m|+X!8-}fn-x#(rF)?gs;$_&uB*L(Z$&g_;lL^CK
zCUb`UOtuUMnOqqTGkG!`1Lw;b4Ezk!7`Pba7$q3k8R{66z~wa?qd$Wmn8nR_m_dwD
zo`Hvfn^B!%C!+!b4+96I0mBAHMFwF8PKHMe|G;^gor#IT2&{u0l-*#to5`C|iBXw>
zkwJw?ol%96n}LbJgNd0@l|h(+nIW3-1EU&)Farz2a>gZ$>Y!#1;~R!}1|vod1~zcR
zMvH+3VizL|11Cf$Bd940*2&1izyejT$-o9K=;9fK1la#G_=Bns4t9nFb_Nc122n6F
z1vLq+{xWE=GuW{+nEqk#V`s4Y#~=&lih@PV*%>?(e=_j=Vc=nBFxCFW!1RNG`4_DH
z^qaw*3AyZN)Pj{V496Hij$&X)!duF0VPMBn%7EGq(9AsxRO)PDkODOhpk)xGnE)<c
zz_Osk2Wc!QF>o+2Fq~x&U^vGh!Ek{=h2au|5yNE$Cx)vG0Swm|5*TiPBUl04@=t<A
z2tyJqLKy5AwLuXA4mcJDCINO7-|4`7$7l*#@W8;pu#hs}fy-2!z5~gE3S4lz+D{i+
z=IHA}8z6R8kb;o~Q7~Gu>TF?<0+q7ha_s*(aL$ATjuEKPXSl~8z;K^Ig5e>93d3Ut
zBZemoP7Kc&0vMh%Brv>WsAG7=FoEGU!yJY;4D%V@fddOvOHE+lVbo=mU|?maV~}Ii
zW8eYTXba&1xDXzIwT$}k02E+g5n%tz5C~3jroR|WPy*9{(GXH0F@m~fp!%-{6qxAs
z5F~~8Xrt6a+MwjHjbV!R76w_ZEez25LTektTyR*y8*AFI#+scUs6f_b1Stj;v@F`7
zaAJWLYyU54BNCAw1E?qUnSq_*3j;sHcLr&OUksWIzZnb}{xR4yGBU(4GBIQ`vNDu2
zvN2RKa)QH1i-Cn9n}LVXh*5%pg&~GPn$ehn2b{=ipkXA<kO;27A#Emp24?=h43@Bf
zF+d3z6L`QVFtC9eWmC`sMreT#sE*dgnsrdK3MhDF5g7**3fizxfcPFWg{dK>Fi?5|
zX_91N)ZWejt$COKzmA@;82K338TlFb8HE^x7=;<68O0bh8O0gQ86_B88KoFv7-bo%
z808rH8RZ!!G3vqtt%^Yu98{p*-xO$22{AM=nu0p94AKmh;6Q`)+JqRG`TsG5feR-{
z=S>?W+{|F%#<Yon4b*L5^g|0bP@q9lKpL(D1qzLA3^`ib+ZYysh-JRe>fcXi8^bDa
z>OyM%X@crkaQ$y*1?t+)1!X;OV}nN*#DwI+%b>b>C&L;>1|3~!<4I==gTi)(5-S!E
z11tr##)?%S(Tq)$4K#wFDaj(r1|B~E8z~^k3gv=~6=h>dm}JJb{Qosj6hRz@sO7yu
z)j8N<pjw_4BF!Pm0WCu`K`gMewiTxiIDXkdjTcT>eGl%~TweZvqmCr&Rt5zf)JndJ
zL5_ie(U^gq(S(7Y(Skvm(UL)v(Tc&4(VD@M(U!rE(T>4|(V4-A(Ul>W(T$;+(Vd}%
z(UYN_(TiaMqc_7;Mqh?SjQ$L(83P%%Fa|U1XAEID#~8|Rn=zQ-DPtrf8)FosDq}RG
z4Py+WJ!34R6JtE12V)|m4`VVo<)kriG2}9cgDY89h8+yLjOL6M3~Y?54C0KIj8+Vs
zjBE^+u!@(_51Ou|86o2Xj0`S}T#VMBVv50sk%`d;T=6bqSi@+`0IGPmFwA1KV-RLw
z1y{GAx&o{UT*-n}F@idZU{#Dv46NX~!hwOC|38B}11mU7bAU-u1<Jsn^NWG$AA<q7
zz7=Iu`o+Nchk=Wo!SpYK96N&tJA>&@2K`?QD77eqDuX4K?!WRH)DarS3~*pTdW)=3
zPlCo>*r1wCz(Z>c3~X8~TN#u={ShYcU<+u~9s^@811lq>3k5NO4Q2wPJ=}U7=l~HD
zGrHYnNOm*9bviIQLd$d!1{QE-oPw4GwYM>>hi55WP-cXdLb_Vp7&iOqfHK!UGgf9$
z9uQ?+#GnAm114tdTDqd_TH6@5`)NTGwy-fS|9>CM*$r|Vr1c3dyBTX3*codX_!%1*
zL>QYGWEh(n)EQeC^cdS1+!;F<0vNj(!Wr8bVi|kEegM^P?hFEqmW&n*ps}?SsBah;
zQW%}U#gGU?0HZUb3wQw1gV7a~T);^K6mBvM9*nM_qybI_atzG;{~0tH*ue?Fj-AmB
z6z_~~pnlj724&>p3beii5>L!L3>=_3hcN_N2Keq~*dMu_;h-Os531+EBa>FFlC0X>
z7?Pnu2Ig$GVg(m9hd^VMV3FN383c8-Bw2O0F&u@c+|6(@ay!FmD>g|sP^ol=i6I<R
zKAZ>j`WAv%7eIq_qE_tM+ZZmRmld^$vSJ&<H8V~vElGA!PVH?B+qJhbY_{Uk1@%X6
zfjd}|Y#=tsc(5SENnG077@$t#LO2Q1&(M-&2MLLC?qJZ;k_1a5RWkL<|3`z0Y@yrR
z8PcrSnawyvIdpe2++}1~#2_unzJ)<Rlw%jeLk0$jFIzYmm;Zkt$qw$GNV4l}W5|&N
z51B#I2BgrM%)r4ol|g`UI)fzRECwaU*$jG&^BBw-=QB7kE@1FtT*wf?xRfE0aT!B4
z;|hjS#+3|>jH?-zGOlIV%D9f<0ONXwQ;ZuJE;DXqxXZYS;Wgt9Mqb99i~@|i7=;=4
zFv>CRW7J{X&uGWEkI{wk5TiHaVa7nlqu_K_#Q<8x6Tzs!Ak4tUu#_PKoZ>hc8X5W-
z-5G=#*clZWl))pq91IMMA+S`)7{chm$j!jWz`^Ll=m{R^6kv2=^kVd8U}lhHv}W`H
z7g|b;MvOe5LW?1h;WMKzqaOnsqa1@7qdy}z13NgidN8mvY-NaGRA6Lg;DXr7$jrbF
zF&8v6$^bDp0A?<zFTnsdmywx)6>4rEv{w<q!113U0@|m5bSMsk(mI1E1H&H%A$Eqd
ze;E|O0;Yc%;uzT(ME^6WK=TEPa(0HZ3=B+v8F)c1`Ng2bzyw<B1T95k8JNMPNDC+@
zXoJQYb~8MU+|KYER7_}ZV|Wn`itLxO7*as=s{^2cW*wxV2SkPF07~ZI8V^(<f-5^#
za8F$YROJO9XOPhaF(BiUGa2|mqY&E|0=6-{4PX9$&+`AXbU`gdNJ;{?q!~{#a5A1^
z5Mn&dAjx=!L6Pw+gEr$i20zC049Sca7z!CLGSo0$VW?-k%Fx7k4V(f%G2q9b2d$X2
z8A6~H7z0BKEVdb1;3GdRj6#gc3``814AqQ5pfZO+h@prvm@$Nb1stECiirWF9z4Je
zRs|}DpsGR{SimKcGz05j21#&4JOx)dppM>e2Irp)OiZ9siGhhRjDZQXE({vvPGBn;
z7#cxA4jan>je4+xiVpC&ej11c4of>LHeICPW(SR+fR#9aSYRa{RveNXptc1YG`Kmy
zW4|&W!QgES*JKtj2uQMkc#yD%1ot#a7DRZ1yLF7W7&sYkGpIA(Ven$S%aF}@kD-F`
z0Yf$8LxwuWNAU3Vf`%^#gE};PL30z0@bGPfhi@ZeIHLu4w73x*(##B;3>AzKpxguw
zU&xqeBXo=nEXT+U4OLlCs0xBZ)$}ie61Yif3JFzET@IR4VPcGAU;-_VgM=%?ItC_i
zTi!?qJZ=Ua)q(fv<d9n2+MqV2FKAGTm1WKH|M$UFFC^iChiDm}F(@!TXV7MR!Jy0d
ziot;KHQ4i@E{FmHFL+o2)S5;fS_Y4UGB7Y0F?xWK6xe&9%8P-)2;x0(QsH4>hV=3k
z5PpbaU;-_;gZd#AwA`P8fq`2`dndz3CWajhUqP`1>0g3pjTqm99Ro?5-0)E6W{d_6
z#e%egOD-m`6CfeX%@_?%!3+%Cj9!cZ46tMw!@vYu`VF<Z0&2Aw$ZBxt@M`a3_{G5B
zv;6;iaPJKgM0}uL7vpCJF2*kmB8=aVTq6c|jTmDrxL#*q5Mu;S9f4f~2@o-)kyOwW
zqcAj+#4#{|){#PLY{nA|Y@iyO;fj{fU+rxStF|#X_-b!q5YU0tM9{3`2a<wRr-(_h
zd7$V8=L|b5R?rk7L;<3ts)CnP+MxOtRPAYRWB3nFFjkzBoX{q`DToC&$HR(Ck_(i>
zAO)Hvh!ZTzzJoz)8>ltN$zsN_95iruT$E!LgQPCFwa*Hc*Fmamo0k8N)7IU_Fa^|3
zgoLFVgCGL~<1Yqo#@`HLjDHy982>WZGyY>pX8g~P#>BwT&cw*Dgo%k^ITJI(DkfHj
zwM=Xbo0!-cPB3vYoMz%;ILE}zaG8k*90x%R91QIY%HXn(iy@66i7}o*je&z9nIRQi
z53)1ZGxWgA!z=K(x&p2JxEW3|CNS_YFfqt6Yy*#wL8kdYu?7}lWMN<iCu1E3j(-fA
z;4BGhfrG0dP@(saL5-1-ox#-N7X#Bz2C1J6OurbI1RO!j$04!GfS7CB#xNI@up!N5
zaKdKb0(%2w9RmZju`S>TS}l!5^C}`VGcYqIg4^>+jL8fP415esj2R4!j45C;jWLgb
Rfq{#GkujgKkg=FS5&$PH_~rlr

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