From 8eb9c65aa6399be03b2959a2fb87e8819786afcb Mon Sep 17 00:00:00 2001 From: Dimitar Byalkov Date: Fri, 15 Mar 2024 22:28:32 +0100 Subject: [PATCH] wk4: MergeSort, FuncModelling Co-authored-by: KaloyanStoykov --- wk3/src/Caesar3.elm | 13 ++--- wk4/elm.json | 24 +++++++++ wk4/src/3x2-graph.png | Bin 0 -> 111609 bytes wk4/src/Modelling1.elm | 114 +++++++++++++++++++++++++++++++++++++++++ wk4/src/Sorting.elm | 58 +++++++++++++++++++++ wk4/src/tests.png | Bin 0 -> 23895 bytes 6 files changed, 203 insertions(+), 6 deletions(-) create mode 100644 wk4/elm.json create mode 100644 wk4/src/3x2-graph.png create mode 100644 wk4/src/Modelling1.elm create mode 100644 wk4/src/Sorting.elm create mode 100644 wk4/src/tests.png diff --git a/wk3/src/Caesar3.elm b/wk3/src/Caesar3.elm index cdc3631..893a430 100644 --- a/wk3/src/Caesar3.elm +++ b/wk3/src/Caesar3.elm @@ -22,7 +22,7 @@ candidates canaries encryptedText = [] -> [] x :: xs -> - filterList x (bruteGenerator encryptedText accumulatorStart) ++ candidates (List.drop 1 canaries) encryptedText + filterList x (bruteGenerator encryptedText accumulatorStart) ++ candidates xs encryptedText -- The Brute Generator generates all possible decrypted strings from a given start value bruteGenerator: String -> Int -> List (Int, String) @@ -48,11 +48,12 @@ containsText: String -> String -> Bool containsText canary text = if String.left (String.length canary) text == canary then True - -- Necessary to prevent a RangeError: Maximum call stack exceeded - else if String.length text == 0 then - False - else - containsText canary (String.dropLeft 1 text) + else + case String.uncons text of + Nothing -> + False + Just (_, tail) -> + containsText canary tail -- Tests testContainsText: Bool diff --git a/wk4/elm.json b/wk4/elm.json new file mode 100644 index 0000000..ce2a08d --- /dev/null +++ b/wk4/elm.json @@ -0,0 +1,24 @@ +{ + "type": "application", + "source-directories": [ + "src" + ], + "elm-version": "0.19.1", + "dependencies": { + "direct": { + "elm/browser": "1.0.2", + "elm/core": "1.0.5", + "elm/html": "1.0.0" + }, + "indirect": { + "elm/json": "1.1.3", + "elm/time": "1.0.0", + "elm/url": "1.0.0", + "elm/virtual-dom": "1.0.3" + } + }, + "test-dependencies": { + "direct": {}, + "indirect": {} + } +} diff --git a/wk4/src/3x2-graph.png b/wk4/src/3x2-graph.png new file mode 100644 index 0000000000000000000000000000000000000000..c57d7da71ed73d6674612025eddcd8ad5cb346ee GIT binary patch literal 111609 zcmce-Wk6J2+XjjvAg$6ZB3;rA3IfvIF$luY-7tWpG)i}ebazNg4c(nX58ZLL&-*>k z`+jkLp7R43_UygZ+H2i;-PawgC@+bLMvR7lfPg9W>7z0N0ty5H0kPpZGH`{AK_n6Q zgKGOp%K-ratLx9tlUPP95(I?T2vQ$EsJf=?FS@;tnSAIyzU1Iw;_%sjoh-1z!VtH@ zGRJU0z{uEe-W2ORUo9jz&%{_XpJi27v{S-(kf}v)LXwc_8-hm1veLnx@r~oxuR%CA z>9Z$fU&!uTAEZp64qF~+iEbI!gM5+|noRiqFGQbH{aDx_WxYXO6wS(yoR7$J*9bhq-9|DXPbOqF;7M@7CpymCH9&nPq?8#V=bD?KgBOG&&k*(ZhcQ4xb;T4o3gvmOhJ5hEQcxJ(;;a?x_`5T%3If`%ieKYD)qtv?98w(&$ z)qidBs8(#eM$}y|D1jNjCnEI6FO6zGZ*LIrvBR?B&-Ivi4afgn6ihD8>5$j{kX86! z#~e<_TDDRqr*m|EYI3ylK&BT_{~LpRfdV9A^DtK}?)#qt(#7{LDdIF7*s^lOJfh{S z){u;U!=jv-*|JT%G8{KF&)N1}`eQKJFN=cEmvtv`qlQpaB#TC`nbhca$C`y*ef9~nv;4ptq%)lQ% zGNMlyzPUfsDsyp#_wS7s<&+X#=FXemlai64qNhh~(O+Kivazx0=;-(s99%JveU6EY zNKa4ymXEKKC4-wKbzKGJ?s%`-dYj1}X{v z^@D?{;&px3RV0()G&xO8&7vu){oa-K`|I;~+z4{|3=1ESWIWYBiY4%wlUS?Hnv95u z2myoeozKk73|6W1^HKG;XI5fTQc`cZws&yogFi=J)r&idowPDR}DM%ct-T99@w|GqkXMSL{;68k#0s87E`QkH`VS@WG##*39-7v*7wV#4KhumXu z*|pOqUq!B|w^o$V*3w%xBA(q4$i#tCtRA3Qo4+1(PwcUANMFs2ZvLb59auSedEE6@ zFlg$ln-FI({rpfJytT7(l4RDY05>$0XAvc0^QMVnsP=1JC8%2@#Hi_hZb} zukmzpbpor;n`_vb4J@(6V!dp9ZZF3kl}l5cSugdc(^*1lR)v?Eyx7s5vDc2fo*kmQ z6o4e#y&Jf8kp!3J!N+P5;c9akf&ETZM9wgtZEN>P3VgX9nV<8mAu$a`^#^4-S6=6c z{w_zoiLY*Izxw+>15V-y5D8)7*3s7!()r^rad5;`RdG>KQEM_y!Pt-z4$mifvWfOk zYRcx8mf*-pS{j-_@lgEl$;mS6>gxFv`7hSi?2lF`-7j}W|0Ofl)?aJBvi|z@wJz#= z1reb)bRE#PQS%zdov~abHPz_HaZ>BFh9BAO>-Almn0hP)~5WgzOK2|0@^$mpZ% zZQu)jv97}U%g+xqlJC3q}xd5GA1pvHW7%$(P(`kJ#o=8 z_&E4&*1cR?Z2PT9X~Iar(pTb%O`4DsjGPkYjo$FhnCUd@fX~=xu(V8xS7{59W25}T zepx0H>yQR^8;VnP!UC1KfcBU^$zwaF--msekC(hI*hk_HZz8QkN>&cqK$16m%avC* zJ`%Lw5E3pRP!Suq9~26K_HGLz-}c}^d7SZQPN0)xF`lDNP^grv-5X&iVfkvpaaZtC zzV7|<&Y5W}wonn@%{e+#qt{#3FuUw3FZ;+s`t4^pmaaJHYxl*QmM-5Y1d28r^}D1H8ud*V-%e__sTzwRY=|5+kiw7J1re zrs3v?-bd`B{9=YPPmPUf{~Y0@R%?qplCqLr){>QEgk?`}@0amoV4`OzD0KzM4olJ| zB4>QY>jY6(heKy}l}ip(E_X)61Msx|1vl1rX8RrsE8|Ct%Ep`qQ@f`79yW572|sHK z6nW0$=d=numVSqZCU4g^5>M=gUI-n);W9lDi!rgOU6Yf!*#j^Cw)!7wW0R7k4Gj&m zFU2J!Y8|+&KH9xqQzlc}G|>%ez}a&2J#bP6bWHwaj9l#c!SZ&Ed7mzC-l!?On3Zx_k4|hYvE1yBMd<47ohQAT!XqPtK)C@w@yDZ}i)GTh z2#<)cp7Ls-@NV|)i(c;hqD)7Bod&3W=J?Jxz)G_($jZocnsQFD>@4W=ryiyZ@K5Vu z-N?4Lw|8}Sr#c}!Eqc9r^$PGU7PcTwO+q_6yKrHJvX%?t+1c5_B(5UoVdH{Xjd5aP zo!s2q?@>{TO_y7Vk$}iX0>12W!2vrnGm{%>uVi4bubK1V)6!r>@jWSvU_|CvSie$G zlY)k?dmx+X%qNMn)6Q!{Ib{}He5# ztLqc|3f1(i(Zxoa3G(|}KA+hstuOAMGB8Z6ug^DvCZ1zm{2CumPxo^7|B7hyp=|gK z$Ekq(c}T_1)xyF8e(5&@!_&6qb?l%4SBKRJ{;zQQh?WK?C{ryIq;Qyqc4U{wzh{-# zWxWws2DZHev7SmnO@%d2pS?8J(Rw(sxP#?$V#TRuo?}z(_5>wd+G4a57c5ozTa-N{ z+Og`2&h1g0-mXeJdaZ^vT)*5B;{BS@=xvv9I(yWwB6zthM_PFD+EG{V6jYxq(~MhK z+ty>ubJr7Y(Yn?uJXs8R_k%VyeO2oKJgCJ+?!H>oPe%G+TeKk?H%VfNNWl72E zT^YfAEB7qCCAxuacA;)0(dE%IxB^S}ou_9DJ;Q{|zg_t^cU0 zkqGaeyN`{HeUg>^vNu&Sm?m^v++NsjU@%#z789p#z&_bLK5*pvS!?a@p&{eZEOEkc2_QBz7gOJpT?FDZeeZjxwY9Zx!Djrt6&Hvv z@bJVxetZUmSr@vw`T3_E=&bJ`H)k}R&KC8;c55Gj5bhmu`1#Z2oSe6Sj`<`(!h^8L z0C|5WkzL_Db$L20GQ2-qrE`qICARsJo5pjnf7yXelgYU8kdnCZtZyZC6{f2Xa zgw5+gxMU72EsaJ_E`f}dA}b;B=HcN<^UZGP-R-i>@4-RAy?Bi?cOhWgxgqVjQff`t z*YTb85$OY8;63RsPU$*sknWOmn_}Uvep*nE_ryW-m3REB!m;S94ZXoz3xrGIWBk!4 zXxBf}E4L3&TpQX(8 zl^1Nt7K5bsH!rQzqoKb%z^7Y^l9g=_1eb!TG7a7(W-35f4dnl z5YkHl@$O=Yt^5mj(pFQnTs+?r*Yv*>Eey?N|d9RbY;B*+#Ck?A1aBOL3J{#CoMN+-e_#PgE ztlxXCBq!@*OWNN8_a6IAb{OV;MqjFbiGYs(Fqoi0vo@L)*^NhfvjDBSEM2>y9_^fx15acqT1h z{W9>~6`SSU8GC!X*gL{n`^S5QCtRO9*SbTss!d;x=gAp$eS2BctK)ZokMvS*WbeG@ z!$At41MxHH=;&xyPfw-mu^}M-Bjz=7$hD#P%pLRd$%!0bZcP(De*UDvLD@Jat&U3L zfuoBHYezvhH#fP!j=sLW8m>Po*?#=;<;$+Fu5utQonxyhD(t*#-f&Vs z!!rteNxqP4qT(n+ohxZSlh_)oJ51O?eIyi$R#|({W4bdn8o=2uI%>msW$Ey8GNL`K z_1d|#B?m>1)2F+u&nSR&t}6P>k0lJl>{t}P2G`1^r%TS}OxR)7xt4-kOtVNxH<^)< z(PHx6^T||+jwBFvA0P8P;h9`|*elB{)~?wto>tm}$DC?$WvNe6Vvz<~^PJ@z>MZD1 zM}z9fvnrt)sHwg|9JOs4L)epUge>>I)RE#7q#8A$hUW%(LZ`1H^&QOlVz#YG^<216 zJ+PF*mwyt~snyGReK%%RXxDkdlHT?H9M}441JSFV=LgBc6DC4L>s3(MqErHM{TBp0 z5)B6hXKr@~PA^R4&+V#0--4FBTnshw#U@6kr`~ zBBG`+QV#VWRi};`wY3)Si*mtHi7n|QW}F121z&8mjXUR=@h>1A{>#~oI4+B9_?{-e zYQtCd;~R&Uucwp61+T}zfE@uH`)1QZ0>wGZ&j@MsAb3XZOb;r}wmK%<+IgDIB@g)*WQv*Z$t!ogZ)&m?rDm zm+Li}Of{LiR&`qNmde^xAQ)1~m*2dG5meb_2S*CK`)lYY4vc0?TEK1488u3~OgY&t zriy9&uq>i(?@ouKqoUq_{P-~&CRQ|==G5ch>dFhG$}8v7An5t z7zZBfO< zBI^55cJuy^@(K*jhDUPKWAIMnyPB#Hk}QM?M-rYm{Tfzfu0wL`f)ggW*4~Nx9=6(| zbF{pS)3aYv^xaPrBCXek@A6(aQ{GVe*raJNLB}PHFpoU@N+L@TW4n)7M8<~*|JMgRlTNn&5~S1%P~q{ z0~VNR>C)CdY#`vx*G+h?7}GPY-qSMFfAOUi3vz$S)4&MbV!*Nz=$RWnovmLE%OyI1 z=4?-x;&F&OiR6vevmcbCg`HL|8GMF^FzIWlX|-V+5d||!yKS{1(A#5M@^fdDZv&$b1KK4YUg^@Dz$#E zJA@?EIC1Mtok4umEKJxk^eGsgS|@ZCm*pMZHFxV?E@oqx?I>1@HF!S^d3yI+2tHb2 zz!yijwPvr)Pe(2*ddV$fy;$;$vq+5el=*~UDgZc9m zK{s4hRuppAm9Gv^a-9l8Bplk-uYEc1%vEgwLry5*%=C-TqMV%&1M`BsRHkThYAO@J z;1m>SIXTZ#s=l=V5JX6b;r-2dPEHPIpui8o!JgCY>*xEu}x7*2>!3pVISb zp+=OtB3+pL-e#KSz@YPvacv7Qx&WO=d>^57D&*lZfDT5)K%jIUvc7;qC3huFqQu$blj+i$H=z$Az z#rMZNwO=-s9kbACLJ8V4Uxqc_v1hq+9y6D5E2^ml_=)Y^YgZpqljBd>Haa*uasud5 zu})pYPnCRbH_uR$>!-X<)FUJh{d_*bOEqPfLC5G)BIV^9~ae; zI^wzQEo~$Qq#x@z(-Wt^xH&rr(01to88Rr`dG5hYGEWXd%9N##+4fw>)m+_p;7K_r zN55Kv5eKQeV^;bUhZ`|fU9Vkh`Yd{HL=@!o#^>3OkZf&76xAjt0Nmqm4^lRv z9<3leTNq8m&x7Ml-G*BL~pI3aOV9L5D@{LoYK*k#LU&6*8ax8R{9H4-{)@JlcloPJKo zxVKc}-a-zzCp)_rh$s(;C@APC*sY&cqF%gu=fkyah=Q%dBL}y>h>jX9$Mr?(<@M)fDJDAJZNZ~6g!SWWQaY9nyQ3QJOQ(mz znWkN`xVLzpmH5_)a79gdBpJ?8X40zy((T!QPYkb(&X9A-7#L+W&!sN;d8iy~a8tX! z;?ENC%9k(b=SgTx)aY)1E3A7*Eg)U^VLilV`nBh~ERm$4Jb2Y?${hjE{i!ugAZKk{ zZ9wIEFWp>on2Yd3w68f53N4t^gxOjT`cjWx@95M?w2v*SNg%Xx^tSXwDw~v zvup>Hhs2vU@omMm){Fg7lwwJDCsIHh2~;M+16!w92UDz;?UPNB-|_dSDsUHX)s3Ob z9*+G+?~MB3Zo+j|;E^r5*w?=0mwq$?p>R0K3-G+3HO4ry6J?{==uBqGUWy>vdW9Au zJ8^&7QOue%vnE=vvk0zeU>(VuXJjd@*N#xqRd#{na`c8o+HF}gl;r+gsVhPJcZKI$ zXj*^pXR6duQ@lLp-GOR;7p*|&%rXc19Xw*>g_+o+1<%%paet%&VXY4r6iEBC>cOWv z?HFVQTah5#oB1(oF{jSiRtYMPQ(PKMyKcUQ7<+`!L?gFNQbff)!r9G1zg>Kbwc$;q zkE}=QdE3#JHbV{*KM6IRKyR_hJ(6M+@>exrM#4_Bkn zH+o~IeNR<1Ms8yIg(|&BC!&J+9$^yv^F59;?eIO-cakMY9Nu@0YR^w0v}_83eVZb~ zYuDl`3Df#jah4-n>DeGz4o8Tm=Wn3g!pb_FcW<4Hrhj^J@+UPvWMyGNmLI;VQBzWS zNi)8Kw<<@2-r?rP0wjKFJ#l%P!to1G?dVBMi ztPr%cw7wV{&rXPNlD(hjCz)+@EOdGt+!D+ysXCf7=iBd5i*9leiN!~fgMan67^b>c zaoYUR7q6s0nr;{GzjokQh^->r2Du`Blw)0qq~Ng=Z##CK8*AAlOjh^o!sbJs@cO>s z*t<+fwyT6wtWH8VlO9C>tB6b#gxQkK3eK7eUNs6FA6TED9#MvVrC3@Gx2fW*f1n*R zI;2rXp_`<{*d5glgL}6}7%_NCF7zzcMZEc_;ZVav zVlVZu9OPL`?>D^s_`@gPCKKcb>-IH!BwiZ$9rR(^;qiQ(a0MP_$Ze#ax;Mx>>LQEl z^;2rY=7H75j4{F43Rh@h?y)XhZ1`AqPfHFO?=fRn@I2lt-a$t?y@0lV*Nd%PtO zFSPC&tPk1?a!p5@XY6})K(b+8?3#)lxXvABGPF$XUwld&jvW2-+~n2-4CXNIkD-A_ zMnsqZAw_s8yFn_o*x4(WPN3?n z{B#4&e{%ua?%1bw9WXnCu;D(1bMXxI=$*bpcjqQF6jp*{J^UCL8`rdpMBMMiZ%jDM zK|DP{B-h5##jN*;kj=)zd{Ddyoi>|5A&$7D95%+$y`Xx%5dm zW5wfK?VIw$Fu;#+ELiuCN{s!*ES*uL{Uk zzLxt8%?8x*o`3<9tMWb0TwPcgr7Qk8N8(ENE39lHlOI8dR-3;t1>ac!2sh{*2ZR0>J|Z zmTU3Ujx-;fx1L#dCm!O^a(p=;=O#YoO|YS<1UraIpx?xBSxzJ?-O;`jfnZQ#IgzUn zbZiS8X3^PDijc~iIGudC>AB**qBddS|G1Me?|O1LI`MF*{L@l9Yl{9%`w&oHnOEEn zM|GRc&1PJgo!LZqWZfgeOT11agUfkDvkxk-ZW$*X+b-Y>oLx;&Ub5r1w-FX~*0A*w zk85V?c+_bpn^WU7Cw?$cK*z$eWg*Uyp9PO=z8l7~bfG9go-6cuzQdvDP?z%nz9qN#8I{L;|xica|MUFJ~DpeJVpWv$C2_ zSi=m`;;Sd96Imij=W?&zXMiR2eMF5$fBjI(~@)Eyg53e_A24|w?ovpQTpM=@pMcM9JMb}@^m|&OZgGmS)-#y?h+AbcWZ2=4s_V8H zJ5<;^Fi@mlPK1Ng3E*U!04f21VlX^uPVUf>!?5|O=MbQFYn2pik@|TdrG-OGR1|P_ z))z+Akl1zcP*+> z8W9x>7(>B?%(OE#Mj~qXTpy?;#>O+hb0@vXl5~dUvtCx%=pgsfM)a-^(n?OovZ-Vp z@s&A_fB(hy*qc%=^GUlU5LCNQ%gFb=IA*dKgRsM&e%gMv+~@S})q9e62hQ}S4rRGWGoJC|Mpn!x#+TkUKK#saJxUBo~@=2 z=d$2_GScGlZf9plHeI--+iAi!XP6mY$#92`&w5QE!tCv*Fo3%thWzdVh>#$|bfi-P z2E21;mL5)USA9^-Fo#WRS1Ks^7?Y&0=CbTHr46|^=!ogkYb0`#2cgj5(Df9RRKz2Z z_OMTqY$EbI2f^utm{NW1m?^RHOZ&a1x2F1EpiRT<>xj&VHmSY7I?Kj4(qv$3frYs@ zR8$t7%NMo))2Ou6%7r`NZ+g~fgPy|>SIuhK$I2#b%ZpgioADtvpL^nIEN^#XVqdRjsul3+w?CXcU3$=X|9Q18@R7G&k{MFE>yyZ-M=mRb_t8MHT;CYHVM0W(bDlNX_NY+ z@X}aAero)f@mqz`yOdU$xT9q_0SDagRagk)Lklw7ZaVz*mmb?Qo?6undKNL0^1Iu1 zChtqCR?Sm3i+EzYqeH2#939P*#RClH`=rXp0y~vaQ)|ycw8pUHp@o^ZCZ0NT{D|Xc zhBpqECqp%5(WCrAwVKKKtdT+&nnhEHU4%$`jOo(1|+1w7eI*{Kp?(FM%FbbSXco? z2>-yqDFKlwI{-&`K|1{7DQ9I-j+kaKr|(W8kT&CNl#F*dpz?p$g0-GP>2n9Ke;6EMujlqs!=q0CYO823l7=fNAp#Iq+mVTYGjEg!p>OtVxC3l0p}G)QzBTnIT1|UbX(c$Hgp3oztyUOJ#Y~7j>G2MJlzkPIjkT3 zC)%d(irf|0Gge;UcH%Iyz=93O@2)oOJnkB;&X z-yQat+Pe8go(;7OKiW3J+R7YUYA~cCpgEpFgOj*S@#gea3^P(nco62aJAa~%tV6sr z7v=Sh*2Ze%3jJF@1c68R7>kGdCNneE7j88$>!H)>L5e78HyxT?UsTcAY`qZxE)hA~ zSb|qJ)QujtH0&OT@Etjyn*a5peBpJ@+ukBYmBV*THS3OJ^ez{S+}v^1)to0MCz{Q! zY{$pP+{3SHps%nnF|A&_@9FA_0`g^1(WeeDsE~!oRBkjTvRKQA!}dsKP2{L5A>{7L z&Sco@M@ELy#>U+TSJzM3?VSJ*#BDWz;FFZp6Z4D58si=tdwcdG^%BvdN$%%g{spF0 zng#Czwe2|wZV(31*tSs_Aj?1|UKQ8?$oIzP=1XGYx#HPwKrR4<_z@dxtWq*%(4a@h zFDR6%#M^h=AOfnni6xG3wv&DhpER3Yh@UyrYA%ZvEn9R6)mWUQfUR7Oj^iyRqFJH|Z z`=I&sd*tv(62Bh3?yt+j>)EkCN#(TK^C9lX!%AsncY;2-3!egr6x~J~Y*__|Uwtg{ zyq`A?tc)z<;p0Qm&MnKzdXrps?+(HH{{8Y5x&EnfypPYS=k+FYiE^*_2PKEAUX6s* z=-^I|Dng24+l@;XH*k3HHkf8*e3bP`66dMWucms&i=n_O&w_~QDo z39i}XY}Inxc6%s*aEs*?@Ins2M5oD3wrgu=tH4#Jqi=vSbp_7hTX?wfT34`KV3vDJ zT6ZV`z#I&Uk0;;&LoG*W1O=P9U+6VDnnhDu7#hCWn=Yf}<*jeGoGmDzdxe7ol(n$1 zuojO`*iVl-FINw}+Q z`Lj=}Zc1x#>WG7drF8WDTNajx>gwvb_jMKTxHveX0h%39kW3VYxJSddfcTGECJwN7 z^BL)l=bZTO=M8r!ellrSZx`3(<>pp6?kEE^u)cu-iwmO^3a<7=KP6gt9y^%8gMr1k zT!jOxj@0OMZ2IbIShO(pj>xtzR`&2PC@2(%IM%njK6G+`$KW=_4i5{<9Jlaiae-+K z=1`FwO=0q+7T0xKOK+A!ok~bV24!{wKj$-$3zrVS zFKA!88!l3{HDD8%x_;r{X8Z{GMu zMMcdyorOzK>C{=5U?TeY`6UW@I7d^O0QL>p?<+tP07zJXZoURMu0VF9u8t2BGXcNV z+}sTKEt`=@VBDGV&jqSDY=pj}J7IS)5xB#on#L0@4&|!KN+6&M@s20+*>x z1u!(F4=B+}efsp8p8luv<0??`1)gOi4mYjQ23W0&#rK}Wq-`}*jgg<<5d!=lv9jrD z;WD5EU|U78en(f29hMPK6J3m>qt#}I=GSvQBUn|%4`v40Fyv^D`_Wf{*>ZL6yJqb7 zc}bFDhkqVjoPSt-(ThcqH#imq(A62#MozFcqw`S8|I(Q~xIS%TUEx@a8Qebytj%lg#EJ9|WVuYtR1a({t>LK z)KA;<5{~?2k%A}B|B$q3Xnv%o$^k4DGcz;HId?a=mw#fEdlDypGQgg^rKb;e+MD_w z6Ek5jy8?tPRV+2SN=jd&RfZayX`(rRhxX@c&dF2E23K>Qqlx0R5f34fpz3w(it zGrqyZZ{cGB!2%+sKLiJt(m#?J9BfvZ)(DwV{$tjFiO;#@+S=-LepFs_%(DV&{ShHSSx%E!}^(fXKGGgn3TKWr*FCnBT1kac(7a6 z+xUg1cf0xvLe^LFvedKH5oD0?@OL-P3(Fim&aOG{Yt_W#}g-c>RTz){}W(UGm6pJQ( za(8AIBQh~|i;TwOa4hv6X*Dh>#_2DJv9M6TEVm*uCmrZ0DkAtqMn=jVP`GWVTQ^y8 zgS^}r0qQI+-hs(#hdAtfhD;iOn4>I$;xc#}SH~-*=2F!GvxSF;_bg~;I{wK&qB3gt zCrgNTEcHl!vDWc6(}n~c8=F>8kQBh}t*u!A1O#A(XVAREKt(mP_g>7??Ck&J@LP)` zomc=cQt)Et6oc52YG=nHfz1e+oSb~yu~Fh_AEQ+%JwJaV_rl=dV6jVjWTZk>ZvjC4 zi;P4uk85LLDAaP8j$=z}P(4ko0ZPaz9D`O+`(ggnKV=bP(@tU#ykMYU&;dR^Fy49$e@x#8w~KEKRQG)O2AeFWLIy#myJ^ z9{FNlStVITK~#)0=YX#ZAP%ux&;8>6V2l^w?bU}pn`gp|S5oi3R;rXy8P!Y`yP{4z z!i`sP9SWbBQmx-v32nFrM^w6t^yb6sxUVrE+o#T4v$UUy)`O1<`)^owh z-^yP8a*U6ibDbu*Wu~RXo70UlQ1yMoA=qp^2I+g(vKO9Byi*q-$jLhauLs}Z2fCiD zlQ-;*6#0^+Sr+L_j!IY#p1sIkB7)zfzUGgchknLh_D&V8NHjTgDqh)y`AP6~^o51z z#GX-)orV#Ft#ynr(vDg6GGOiBrMPGmBzQq^7Z>HziN=o+_h)_t=RUp-ysiViAtjzm z9$fT*3Y>8zTWn?Uz#8ieyWdn+Vns(gBrujni8PCgB{p5Yz@KW$9{9&y`IA+!tfwR; zp-nt%t*owkLBN6vnGcrFFT(WE8Mq!Kc5-on-Cu%?dLzj0PSb~Lw3(f1wg@w6c+IR$ z7hto`C(GZ=)W^a9)0_`Q} zk@EV8f(f#!@JbMJWLvAKq%GUmXWpoP{T8t}vusUnB4+gN28tZ<@IcN=PTUctC{i64 zje9s?aI25_#P6o#Vlie;+t2y+de+@cYo-sT48F4cj-tD3;ZG($*^64M4RgtN&Kch^ z1&I077yY*FTCNX5E$!7?`WKjmp4(R$l%K7~q2!OKVDesUB{kXPZXYPjRvzP|&EGIT z`OsQ#kg+}TGD1yLQ4ra7T*wZi8X~4QpCB_^XUDbER)Q=Z;8(?1$}g!pi7XvS!luPU zM~r;~y2Q5Lhv~uNrAKL6GlyVkj@xO7l);Ub5GLZ6_*3{6w8ATC{YO z8SAl#hI5w$u3NTQAMP!&_8M>36uq97C1`bl)|5}R_nfI+6sAw1wDhDm>p1#zS4e3O zOZ9x31-weKO2OY5xB{16cE4$IQCOsmXX6a zNBjdL;2VJbIKuU-EL-Lu?wWrpk&t`!vlda^w-cwZ;q>KE@oyI}7%c@U2t&0I0Xc%W zI|@NVHI6|x7LQONZ6hbs*StHJ1wgVyJUO#jcO;{l#N<{AFJ3!piU<}-k5bGIl#&tc zL;1SwJc;bp1ijm~UO6_jMY+!;e~y=YrFuL0635NEgqoSc6Gg%Bi%Y(Hv>2Whf?syv zxSUS-sIBjMw|j_8cmi3=bF|1WX9byOM~;F{VZMGg-fwOjRn(j@?lW7y94>W!y~8Q+ zykXnw*;yc7mw?`IqBWiw-2r9ow5WxTWFd&H_d%};i&k7elg|pclyf+UNGkBZ;9TQB zOz}eU`)vZbvGbLbH?(b$bHQ71$D$dW{H6~IYt2BoN5zr<>i3O!spXCAYN*X`2qXj{`dvMuei7ZxVXkaom@VJC$L8}H>?^R-`FtPaJ_odb)g zvHiZ?x^l)1U!!R;RTIc;PxmC+R@WOYE(GeiJFtT|D0J;|d&{5ul7*$vLBZb6G+KN? zBO1Hg+;?bsa%~Yum8uUjIv+;94G?OBdk$uI)k*KSdFWn55Gd*De)3vn>&J7s`6w~I zJbja;l!+ep+T0ae_h*;u32(Q!dq`w@SB`VGMf!6Ig;w9u`+M8T>OJ?FtLxiJmtn7d zMh1XBXL)gacz9@~7+X(h42IbjZ}4_f1vxs>|5G%7F%)+t{y{R{Rw=aQCmDGB8&@ycQxACNj6;<+M#bWf1EzfT%L-UsfY?zDBbuJ3L9#~OVEyIc;< z3pDzN&Y?V#OpH>0bDr=@e*33`(79`NHuz;cMs|6I$xkrl+<2{(06o))%*uauB9;gL z)kF9ZCnYuY8#&k0*sP;HR{9MXfwQC3+SB-S(C@OgoD5~$EXnYwU;l1FbRKF~GAxLA z1AAD@=5xUTW?Nh1wpA1XnzCLqI$-~a(SRNlAZsAgi>vnmhO;;DW&ymhf53U(Urk$Y z|Lu_tfzHAoaoTgE#=0@c7|sXVuRaPy3qb(%?wiT)0inTmzaTnR)<2Dk07DcAp8>Ff zm-n~J&#s0qoHpco0{7K@EYFaK&XLj5N^tWHAYlh990_xm}vFq*5Y zN=m9G$lXS;=wT+%h&vkb_Uun98&phdRw@MTJSK)TzqlB~FEgdEun_2qoOu#1;U^CZ zD=K14OFO)}a$n!w9UC?NkI{pH(bc`x-uKk9qk7LL0IiEp{PY@bkVQ~ESw;WvUQWG~ zf1t^~SJ@Hq|6_;fzh3#D6ZmTl0yKYhTK>JBf63|$8|t5P_y<7x>(l>NOEo#)odlX{ z2TdF#r^n1ld2JDDw8OLL=t7h|JX9WQHT0VP$cF!mRR3)b48r}EIKt;y~a(nS)qzXK&4sYT+n6HHU`aVUtySvkFfp68;P1`x= zIlNi7bX!i{O!?K#Chq|m;;w6H2_ILrTH8MMEG(4uY&q9qki|PYhIi(+u(T_!zt_0z zd5nNFmCbI|#$TEY%Y1iLqDAnceyy{q$ASl;_NJuKMo*EUuo#*o`-fDjw9+a0aYpU8sZvl%n57(=v|o* zIu_R9Ut1J5YuRJ)EG%HE^#AL?8jx$6;k5-iN-=Z8 zCqS4*tb^W`fQyH>y1o5PI=7I(nG?@_rYIvLBZB3_^HEeSCVZeXQ|WdcrzZnIZ^X7DKw6;wgD^Qd zItERQO+n`8Jx)Duh39#T2Gs~BBoI_t7*d$EJ?|k$d%HnXQZiA?v%}#nVO6=nvWdlN~usL;;N;lqda?n$I@ z?eUd_zeOYMVy~x=>RFgYwjLa}xCukjty1vv&~yQ6 ze1W<~w%ydq&S7v-D5Et?DNK;(f*l%nv8a{i0jP&r8GPt3Ri4|ksQqty1P1fd0ykbR zqSq{!{LKZ>f}-k@uE$s?4%}LYHtxyyE8`-C169zGx|dVbawP+Tpl>pQI$$^|Wmh66 zvE0E}|CGh&#T9~G5PDHjkyT@!s)ok&g$??iJ+alOi^E)<@$wY+pHF`@SYVv*yB#3q zP<#2^+P!V-t>4BAKhcy0-7D zo!!&dzLOI9nRVUL3@~L4W%H%k7T*Em^q*$sZ{rqG#gU3b1Rl6OWP;^bH${|o|80pZ zLmNxdM>T*K^lt@2XI^oQ*Ofd81PrZV#RNJJOU#HyuCkLOs^~ZQV!$z8@IU9Q$C_$E z)<#@)sHm+tzcGS@)o%aG%x;BMlvq^!FLnKweHDsO$sWz1Lt}xKX84SLd6sL!WHJ~| zzO1ERHDtvKA0h^Nw>^*AQEJ*t&qIIX(8#X%VGA4FUL43Kyvx)xH!J(MjNlK_F(8TM zuBsZ@j_%4sWR_R|V;h1(js9;-@(6}6t#8o5J%+uD3Y%^i*r@#96Rdy0v3!S2|NUM3 zH}Oj5eOIHmw!W_fD*P2JXK>PMQWiVEra-!-_Y;^R!bz7?jj5VRN&Lm0@v?oO{eV1s z^#*BHH`UcY>WLj&(x~Z;`l4Em_nGQ&7^h!jzKz=M@a=h0e9msZ_vxMau9@6rSsKi& z8lrlNG0sOhyk!)$newUSJ8jvAq29wTzF_ed+ga4!!yS)GTuAnkH^RXtZvIR^HU*fuk$5!p2c#5W#wpo0hbq}}B4yDRvTXUgJXnqIQqhDx1Aoj+g$@vJgzvC`DB zGEmfEIn@(OZf8xe3uT)PqREO`)7yeAqDhO|(F>)a|5`y3I01_4#!Vr>1pBxfF6f47 zF6>MTMHOE*dnS%-cH_$`4nk?$n%$2Q<8EK|7Ax4qJnKs|~@@X+u3& z1H<~jinIB-NvtR)1+(3O%@QtjlQ>VZ`hPvlpEg)_k*IO(#$`qbEl?-DhEg4!UE!;z z2nYwpiIb26mEai82arwqoke#Mywm_;6?Q$D40Y%ZPJCu2KrK}{cynC$_oCU9@ zGe>wIyVrOksE`IzxM0Ydwbq(1^9}m~lFN+lcVLL2iCORbFyceTWk^6h9@^j=DR)<%E_qt{$vdg=K zb##BtYKmZiB(ofR&DVK)vhs6BdW8Go|wSAkzs9 znx#SseH0u@$|7cvnw3+mF zgHh~((rz>$$Dr0?SP*FBZr>Af8wppX`MzVXpu{>*i5q&1PpZ;jt$4=#>4&njbfA(R zEKvyZ1Q?#v*X4zt?eO}g`S7X7`Q7hRVuzl$Qd$B<)DW3!`#v;1$U`H`T7AYYR+Iw%%InQ~1-#Nec`Ck7R z7~R>~``)Wu>sr^kH{7g3d4Kkej}p(=1J>>#H^(>#%-A3M&4JobmmL5t-|5sBo+Dla za_S5A9>C?-^r}6By~}pRMnz`ujK%-DmNeIcBg<=bLyMp5;*;ZwKkDLoTDj^|oi6dg zSovO&yQVMB2dr*D|7^0;?{zv*>n4b5x^Q^%fddDsN0?H0uoQyr1qOyk{fseQ=CZCO zF~|Aw*ry87x^62k>emnY;>mVCRX%S!ohwJOK+@D=WEMTy|Jfz8o(bgiLb#d0E;3#;&&H8^_Yi2d?p z2kY6hU0E6l)guC)-K+D&YqGLt8ygxDBfS&s8WeJNvVnAx!KF8M_|NFdvd22aiylc| zWy+aS%uRV|MmcC?W!1;^gEmhjEDgLWceR_dEaA@e^|+mHB>{Q;|5tF0pGqxJl(t$R z5Brc#URH{0raW9v63hQ{jG8ig!qe!a^wcha|9%H^!e z)(6BUjJ?}@zfFgtG7MD$GA*leHtj8N3xNh0rdYrCJxkb?p#di^r(B7pu$ciTC`yIR zTqFLssH{HqOg15cEym*#^%lDJz%`DVQ&Z34u+H9)SM3xBtt@yH*{@Ym_2Y!8~0)=ODfEDV1kG+>?-BjLnM$NcsJk9U76Pnu(I% zB5Td!lefjiBt(=O6W)?d`3)7!R6j?eIPrHC;J_>{giLlMWP=HNjrDj5R|^%a1ZWmI zHJ_r*u-O&IQI~~S-W$oF-%CVoY%B~_s2Q4j>CcD1XleVfFi@gsigC)Vc{fNPWCMG4 z0Cne3g`*+&YV8QdIRQ(nqrgzWmJEIN`ALJDsi>zAE440Pz6|aPfk!HNIuF0sCRVz} zazd&i^M#J~PC1&HO_?!QBy12<_)u1`El=ZBEUz#d^Fj9dqZ*-~`nf z7NJ*7E*VG}D-OvAH&8PHBbRZLLl~Ls|CJPfrIsv<+xd3{xeYtDq%2ljP2N3t+{r5G z*t)o9J;u$p!m~8o&L)n!0kpg(08zU|Bv1P!`jW(+k*DyCR%QBxIs1Eh*+-JoY9kH5 zFJ^GU?F3l5jP1~wRk>BHvQ`dl8=nT8ut=f*>ujB;unOiB(l#jdfvPn$uu{H6;;4a- zf^7&g4b#5jobJb7Z@4VBT=8JxlX0_=q)+Ok-Q)`w4CTw0mqpbxymBjDic83PjJorW z0We3AFJOvM=kZ2=`EbLlWeogJd1~{kKUYW0D_xQV>o?tG!wr3R}9BH9>+N&35!jwNnz_8BgVqN9Bv4q>^U8v%TfT=6KMS zj_F2E(eD4~Ez=zS@y7uzIW<2t>0I6*wz<C(=z=3jL{XESxBjtWqKrX@qhpMn@K6V)UniGU~4dcNH~X?PUdV20x{+gMjtKUvn&X8Z6}zyX!MQ{=^9XhoF&4b$ZW7wUVBBk!Jycp@XedQ=7A9; zuYJCn)ov#D;OnFC^HT1^PW>7Q*LQfu<^t7ay7@Q7CGD9GZ4ZE)Ml zLHBz5R>7SZjfgo{Iuo;iZWp4&dYWFHgZns4U8wI!kZ=S`Qn3l{FMFab)^UAlqReE0 z^=dIW=HaxB&xlv-b*F&`!)|!-xc$E~OdE>{Q06vHHC|E*9g|e$JUOy(;AR>oyV#>$ z9Ue$$*#>vU@G12Uw>{XONu#-HXM4kI6fwmUty+;{cp6FMb+o%?a6bS;F>+8hu32Yk zC=?YIzQfmBWKrkaYIX3~`J9Tlg5qK==o*(M+O7!;r?AO*+k?5&I4ra- ztMP$RW)mPX9D47Te%*Dn02pP5(fg!C68KPsBS8?vg#t%4y~~@|U4|uX5K|VFJ`@X< zAh+SFch05?>n&O!s2q2&x6kqR2Sx@^QLjy`dDiy!wx$m=!=vy+A@V}u=X*@gBPmc~eFU!6jib;Nbr4VWg96ta2G;S~4}ck}qx@cYu*lXQ+8%S$xB*d;VWx zdH>zGTNx`4{krAdyD2fvA3i+lFECDj{P;0TJ-lYAp#}KGYp$e-5<46_tnbp=k00+a zuB0Lr4x}Ec{O-pmJkBqIg2cteGe&BB9KqdzS%z1labf->%ES774EC`p(_M3@76h4ZWZ~w>lbfz`en$_M z1*b=GoH*mRI@dj4Nh&Hdt<;PgtaY( z5mR3uI20`>;WQxZOa$Z+S`L~1eP)^90A+fBsRa^ietgz?+mza^NY`I5tfp^z2`rfV z{UK%rz?;voMIEriE+}vSLjsaVH8A|$4R(U^HVeBOJneg}^w|=?h??*HS04XIf z=?8F1)!zZfL86+SJb1hB=EV3!($h@#3v%n@krnmDMkO~X{!=nuAnLFaTpm6&IxfGK z0=9n1znPli>OXdl{`H_j4iJfXmDVsYly{8F$%%R2Qejllf3Sr5h{oRN1up4}&RCQ~ zA_G;sV<(b;wLN-ZT5kUagbFDeSJHB)jBC>>kQ(&?*_`8!1y~5c9`^QtAmUs`bv56` z??u?JdB$=(-M=gJ(kpMJf92CStsIdw0d@&U%P*={tsM1rbS4o2{Y@TnEbb$1jgT}P zpsZvLhG@J30Uw@F<4Tf;vMUI#`4eRzeI>cK@&GuuRgQDuRJefxMrdK$90;;Ps`<>I z+j*(*%XsmL4Xi9K(#BZyh+>vQe@rr8Y@1iJi~;|d1aC|aNXbxct=n8`1C@KT99lEm zi`r*6o9NLA!EeA~EYvP*3Ye7N&Q5f1{WI1VT_jX!576iZ8rgl$6Q1^O)W9zkRLx`v z0?zw{mt5oP*zn1SR=4xfHaSN8{o6t@pFDOM3n{Sxg}2B#;iO3NQo+M$lf;tmZ)Hh_ zmttOzNiLb!FHrtkl{ICO;aBkc51=p`PF$m^NM@pJUNtk#y^7y;^8k+EI9t6??revr zqzKI3#SHdM72|u>pZbD5PR<1^{Em~&$y`3DDAiV3TkMUeC0bs$vC*YCZ zND5oAtG)eg()McQwZQF77UDy6HW>9WG_*iuX3QY!KtX6c$-?kJNBD?h|C$rYQrtlYr-i&xR$%_{Vrdd#I*;?MhV~0=y;!2BsOq|Dc#zQ8n7Z=@z|bB@EamFSu*`nyl{;Cld`hf1uPqpUy(p^wtA*&teA-c`Obtq-W{FNVVt zN@R6QB;FyGC&$7yVmVF>ymuRmnn-GB#mw`-7a#f$#bJZ)alg6U%SIc(#9Z4tX!KntBn!50HybPv-#mB9V_R&vUMue>zP3%MUZ39&dNnGSbeG{#VRE z-D|tv;z3`ciWJWJ5)UbAGGp?Kum;mG3h+o56-yqf2d^n5zB4bIpHUlF3cEiiyu#IL zRrUshpD-3N8^j2ZX!@R^qDK`ydOY&#Jm)x) zowWP-7dL09(!1XfbkwB8QdxKF*qxR6*XIm&f{hk(3SK?@Ty-D_6ID z&z{d3#Jb>Q5c_LTfB4Z$lL48;aKh!qaSrri33Nt)odF<^(lhT~q7K!MTD?k}CjM=h z3>O$5g}9OBO^dDRuUg`hVK7vww}Bcx#=g(Eo@LOIVhv=Rec%b&B_5Sc0ze75y_`%? zJTBLZ4c~Vt)6}KPW@xOqb}59@;p3D2SHrqN>2}VwR=ecvPQ^Y3P4*av-0%8P7+n-6 z92+u`*5hqbWJq?WFti)ItMw>~%4cgE=u40>8f5|3d#F-B-+=r^gxj0?1q@{X+6AlqV@`exi_(de0B(^KJKUB$~R`T@x?!-{(mR6~c1oV$)pTeUk%R z<%bqdTN7S{j`W)%wzk+Mki}M4_NVclt$*&G>dl{|Zb)0o+NHvtneayUL>pSyP2JPr?IuK+7Cm1>HF9r9+d(7v?=ychZLeCRxfp$QOQ6!U|AFE z&Chl`#%D5}6&!bA4&;km$Q4i-;EIe~5pAZPBqYrN7#JP{FR^@HRJ)`q2aF3idBox8 zPaq`PBfqG*ODEps<=(b#qOC+pE9JmICL$5#>LAnd8kA z0>DC4#?f=v?Ln>sMv~m)0yd_so{V=KN1!`pD6&aDqX=j6aj+EN&!ODAuDB?~%e1Jfz8+pg+&)){xC)^zhKn|= zAD22=SZ+~`-ks+cLq4899OKi;ls_iL9?EB{Pid>CwW0kn$HGB2$+=8Qh=Z<} z;e^gd(c<8TH-Ygs3h=>Mh3NEVlJ=1ctl>%I1dNzy6J_o$!VVmGp<1wJPSo6c(59J9 zC|cEdXY@3n6UE%mtAvkz5!YD93W4&*IOa&hYlrxX<5{f}?jwt=-!`xr^le2a@m-=_ z#;8AibZ4cdtO_$9u7U1oKGr7n#`iKV#{v*L5%D4rZT?&$(Ae0$`{t+cAf<* z!j-*Sy4yK*hLMija>%GpSy#(4Ha?Lh;f>tX(NjDuYI@BTN2+WL!%a!FLw@MO5Vn}) zy54h$TV788jcxvi$I0@z`Omj&Sv-x87zy_1DM_Q?l3N{!h5@+*i^5{z2Qv%c)pU2S31_zhz@K#=k+^V)Pe@^%rCidwDDKCUfe6(FfNQT<#_gh*e=i7 zuG$=e4Wv!LXMPmV@U5x#I2OlL%=6XvcEBaGU)BA_P|HrlWcxRcEjrlIS%XrQE@}G= z`w|Z!XK#2jG>AubMK>+jXr68mD`O|bM0+?#G|5xzd_=7hGXE~w_gcVK=ko0Roi`-E+6Ci}kTpFhEmc=zs!a2|B*1dZD~lpY@UStlWd4{=_YTZ$ex?DjN2OGAUf( z3ltc>aw>K+L!Y_HKTsy|mdvNY|L3f4bkWM6ALjOtT~~0(_1<$0dxK`zi(6kPa-(F| zKcNr2VdAGGR^WTq3O>|E5)!RrCXyZ>I@~lrp5}VxP0YQsd!@nMej|yT7ohC-s$pap za(eLK9nlX5&o5B{Nk8mU`hg}5pNGO8O7{Wonf zo2=rCEwMd&7m@R;iy&oMW z7Wb+^=En^rvea|5%X`1=Y$-uZGVa%}4GBMUYr+rRlbdnA`OQVeXm@4oY-OQPSjQxh zb`!15marQ*e&L2+==Z-7&5?wZNh_c4iJtz5sbUf$z?n4ayA3fd40Y}C<-?Be{&4Ed z?OZ8*S1Wcxsv-`XS?jM6=IAi<@E|zk(Jf){=X!MC?R!dGmE1D-+MaU=jmC{BV69DadUmK4b;#guKp z(8-xUCVgwyNpGBbyIXHFTx34|^a;!3NXA=5D&5R4L+;j2Ce=1khO4)=g0{pR5u*Cn5c=Aflevupbi2CfHQp|SSY^S7<-Z+?yhM8p#$kX zbifeby!RkZxPLtIK~Gj+CPrv-VnZHe>_dOXSm9!qDy%-1&bO}s>Yt(O$n~&&|K@bR zipW;sBQTvRvmzOb%l`G%0XDgM_YrfqhAPD{GT35MIVnty5NI9$wFeoBa#}%0 z;;=lxTX|}D<1!;J;SB!C-r*gfaeVC`EBy6U4W61`K)dCh)K$>fZgIS`Tq5J9`Og!c z1Ly)@kx;Y*;+B%8um$79%$mm4D^22UGEi=?-%X-orOtk>hO+F*-dV->&H_;7)m&KV ze4?JM#14;TD-meBZ#p*!A%}mpeC>MMS!WKa?5W^q)&@K9m<%V;^b#FSF2WmUVyR`; z$zY}FqCsyemlNXFHSe=@cb%{fY4uKgNL;CgX{IVH$bmPZy%pokA{wQc$y9blJ}cNA zJwLtYRoWa0R7`{~RH*#Sus{3sM@m}Cu5BGso3r==;!Qs_GpQtwOtg_0e(==g{kI?& zpRqsu*+$FE;afE?R@AQi1(^&RbM0bOUKx_hp}j?|=`(vO!>10~*3d(MU|VR88|$h+ zL%S3Nw15YWUtxaQGp3y8FLE`v+N^-GVNPa#MAxtgku%H-C$+C>oEO386}m&q$58fn zH}f}r|68PWB4s+xvQh>@ke;y@6=SrK8!@m9u7;d>GG9rt(24!JA=t4o3E=d}#=D3x z9{3z|ic23v^Zk%n^E2wC^B}+K@Z#H7j@m999NTp^+k9mTudLi^qumO1YuR(muCwc$ z0L(&rXD!&U{OgXiE^~iP^E=ASMzUPar>3%%PP_?Tto#LSDV^T05Kexg?;y7kY3FI* zerKn6E33!|v;yK#!|<6@*Ezj~jw!zNnb+t*gwjO&IVz@t(p$RU4aT*#$x%tZx;4A9 zt%iHe(;~N4T)p+TmTUbgn>00;jm}X6kK!X&5wRJ8+Geiw!kvr?wWE9aV3aO``LQY{Rj+Cz{qar8F47lpN zIWtMyg-3mBXr%%4uRhf2o#Aw`>t<4bS--~g9- z;dA?4#MGkP4LOo-iJ9JzrWju0H%k#)_tomViQ!Dm_nV)@ZHUNELrG`nd-0A=ml1>O|fU)Y>|Gncaoob&t{rpKBXr&8H@X&+4G#pnbhzQ&q zqkm$?ra-+X)XH2LZl-vLUQ7k@H{LU$4uB}7_h!pydP*ao*h>!nF;;#@us1yOlmko9 zNA=xuO2ZL^TlDtURVe{FwctRk-NYs_=NLklBaqHv(cN9~do@|8vzJ(a3in0rwB8$` z-Z87+uzO0!YYBG8`5hy}1ITI?uwt}({5DMsU8t}QM{X@ksEE&~MZ-^9?{w;Hb;rN8 z*dBa4SsrGU*S;Mg?fGGh5N$-2FJxauR9b*nfRDPjHUJ?qXc7LUWMEP~!y zf#8Nez&JrgHrO#h9_o4b5u3skf;IOcI#-f+#R!6Ck`rs-zB7F4X3c%qzP*5md^Ra} zrOFX+(^%hNm%~jC0X+f3#-K)oY~WHyeLnZZimMiv=SNE8>9+Rnga~XwGMltU=u=u% zQF^MKa~*X{ge7Pt2Cg-W-O`yDOhn6=bt?qqax3->d_#%iHfAJFRew#(aDuJ6CZ;`h zjUc~{jjFH@?}Y0mDO8V-gsvoLvG-l3#jb>MoS85?xs9Tzi+Mj~!G1$`%bZI8SaU$O z3Z3yls}+LVH+i@Z+cbqLp`twUl;O5?Z&I3asAn^q&vXOF_K&EsSTpyQs6e>?Vk0Xn z>x?zw#7Xd|tQ!5P$P%HXs+J`GUn5Ra<(M@Pj(Wp*3ncX7H0*zcs0?C3^!`$!k2h{{9|>Xdg4>0YXXSi>;o&j>_;* zaV7bMd{S)k_ot(_%M0%R{)%0YN5pku?b`2mF&5z6Dw%i(u9JU)&NUF2wUt_*y*00f zf_UDfwWqvbK14(wuM9Db^Qs)35^iVTxB_qgSkg}w&jt~0Jy-Pf` zORw%J3=mGl^vrbM^=Upo1Vso$*1{+kAEPay{C!K715 zPV(MHoxz~SUSjR_pVLf?yb|lP3QQz|yh2OLJf|RKv_=2HBfaFRLN&RQBj#Lp?;cD` z_FF5>TyD$Af(h1t4lg}HzD%bja%QJ&D6A)XA6Hun@%7h&*}zn2Y~3Fl9Rw1G)rt## zKge(H-{D{9Y<#nm&&Ey5&q&|%M@jPZ;5QLAsg(?N-yb5c&~Dh#(hpJAJT9j0hZ|>b zIJvaIz)6HuQgn*Yyr=N^`)4m5r?sDfysa zeR*n@va?O8a2gaf2YcN>gtZqrGd52r*YkbsG^SO=k3M8zRTfe*7q2`8*Noxt*9*`gdDn`E+{$npmN@L%*-xqTEJZs7x-FPp1!j_ZUr+ z+F8Chg2d%Yb47ROdN6ZeL)aG88M(^KWCbGD0_sF}j!IL$?`wICP`>82346(t50b^QgGP;`hc@+cMQFk)_V2iw|qB;|by&LkBy<#{fB< zC~T3dhsvlPQa$AZX^+Zf_b8(Gjs@uR#F1D~OZ_WL^AEag#t1|)_T=~N_~CQQ6GPG; z@)iL#3y)2<^<-Xz*9L&FTP@PpBU`KsBPf2PjTNA_(1I9H`QeebqXiu+-s@a``DS;bR+ z?s8f&uy5Q>0e}pj%}Q|T0qx!rJOh1G5v6|{%{RdbW0ASMuEXDSbQjdd zH_I@Vzn~r{tXgdtS%6aP1Dz5;XcecGC%rkMxW35p6g9qH#ILKs94)?YH{5Doy zWEPvOU3@sk+k3b)G2}9=b-);=6ShlnJvx)JOMf%`b?+5rBd#RBO@_Hm8L%N4!D%Ny z+|-u#9IovVd_$v9N_ zH7o2>#^Cy(^{t?LUqlBHP=ou%@}6|{hSDEmzlpVkiOZV`!&@O7e8P5NEo`%7agi5B zUQCeK>jd231GP2y*rS(+LKMl16G>b=67n9x+`Rh^C4@RKQyaD8aN8*Rc~^JaBEY`(fLQ*yTDf60_m=BAb3 zL07Z!)q8(jr0ebUs>^_d;x%k_H?N$9WZNtWVq>(YgU!eAQf}sknwbUf$EI()luLVa zfscTiH`6T6{a9LJw&zkrhsA%E>`v`*hBuVn-l7Va4Qcj;Pdtso@>7mHi;=-jc?(-; zu&6dgqCW3c`zB9(&M-V;8N|p<0ESOX22T(^!gVsZdaR##{Us@Upv(dMC&s2iVATmK zqyL3%#pS@ucFWC3VpjBaELr!e) zM&+wDRa<15j{GM4^zIX(&iM4gMa_sA|rFr7&+wQAAiP}X`ICVf@fVP53H^{e?xA8NI0totP;EYez(X zQ-O06kT48~_?c~Mca#}6+5X>)CU;ZmpL=Z3jc2_vKJ0LI1JqLH3>FJ`k!M=Y2)nCS zUy)?cntHKz5=Vcg3RZ|cYySdu!iy`H{=W1kN5-Yj`RUsHOSy#A`IpYd21H97=6`6Z z0Q4P|5My567fX)37cV;A=B6e(mgT>mO7?-`NfJcVCOTPp+zJxHi|f0$^@+@G%(Shv zhzi)~kXgo*1aKBC2~fxUKliO?pPOk69h~^X-ia-Mi|54o)bt53hyjwuv=xRzEk>!A z(cRRAJs_HZAs)0pp`VvNi|4tHS=y=x8|m~YiSTd>?mH9#%&u0KEjw=fbI;r!aa0c4 zBhcY5U%$OpqNa7_4NBZ%R*e$Wh&X5FO%_Dy9>J3}atW zCv?~L-^>tokUh{QlYNS(C6-_8Ivx+5KIPs|R?G5%ZhWSF}p z$I-sR1|N;vqms*i#*3G4Q;ed(?h6yDh}`NYb5WO0Jz6+yJIXwwGanQdJdp$%BjDWj zY(H;7q-4=j8?>?;^S`*U!RBTepTUIL88x9EbIxeNU+H_}7SDfXzt4Y&{UO!@2;@|= zD5Y-ZLy@JXNeDRilw)(Lw@J`Fs1X2irCMY4$UcS}4}rF)*$wD9{YkM?h*EwvkWR%l zK=TI13+a0tpHU16x%~gt7a5s3xJ(@%Sima%TLJZJ6vn>}ePK1MBW`iGf}2P@9kL&R&Nkx_BISqc6U%{%)rKfIFKD;x&Lou# zf>z#t()j$eN1MDn+g31IpMbdAI26RhXo3|-AF3|+2Ms1O9SfmNLW($nw$=AOn#dd)Usob zUR-?3ksR#WJU6rk!aq3hk-=e&ZXclis0N~;nvvZG(xJK(BkN|T#=`fUxpz9%;<-il zO=G`a3AF{&G)kDxfeR6g$ z;pV=?)VjX~V8&<9rw~j2TBs6{-Dm}haM!b;)Ti77p`l@ihuElCtUbgn~QPLEU#@-6wIL6@fUKQ{i05~n(VI=NHq-1 zgcb};>fHCEu}gd2){Lr2P`%~M3drfTUxj;w})WE_xq6KtVYy*`-$24xDiw*!tI zKMpCm2tZxz=nUyz!L+Wa#OOn-nwmolZy%3If__St1Bjyt^i_y83IdY!duLG@d%e^@ zIKqMOJEnPe(xJwMs<`g!?&R}7iu}+yg{E%6`A^!KVW(i&;>5_vG09fu<&blWF)QgK z{{?{?q*|DvPEM7jmjWC|voXcAPLvLZNLY<(w~2M}?K;taGV792D24>O-i7*|09c=# zpM=YB4tUeh5V{WZvBBg)KbQ;Qf`M5N!_+%n;P+_tE6@bb5V{^(#z%jOUmk>qi3H(7BuF^$$HZmD< zN2@vjwIA@~p6#uT3LtHUo`s>A+jB4!sNQEVyyCo z@K+nexf<@2=%Ao3lC3%E@)3pPTg25*19M71^)_M6mas4XE*QOx=2dQat=@14zIqyv zgPx*ZpQco}a5sv>pekd=s%*C<3b1Hl`8FNr{Fnv#dfcD-aSW5CTkz9A2g z`Nb1q4Ygt-c!`8Bsz3V~{f@KhB;ZfGB>NuTv!ux^PNWU15GD8XUINSQ`>O z6ZWZf?T8}7h!_H42iLj&CRgr^*iS4_i0NE88soLSO{)+5gaLcoz2tNN`w`C1K~r)J ziKoG7o*_AdB?aVnN4zeQs)Z@>6aIB#um-YVf*UE`8eg)(`=kwfo3`77gvc z1Vhd{!tp?4&jmYo-RTZ*^nJTn=!?E){B=4))caOYMy+mv+@vr6;;;kQ3-O&nfl(^Q z=GTK2Rx07=yRXVG{%QVmHrZ?Jl|-vsqTuSuBw+*wS#q*{rEoNHuXej3Q@(Y5ESk>{ z6x8IRnuVUOuGb(+hdV~9FO7|-g0fw7UQN zxaPsD=^QcdR4T1$^)qk&t*>=G zPb^VmG5T(NrB>IKNyi{@`0nY~8aUAIo8Lo)`Wu;~2mMl{&ZvHMKNS^T&jy z#(|E?TF-7=?PuqmosD?sXM8aM+pcC~xfoJlLbX4h^pMK|kK{xI+U?y|eEKRE3?ef$ zH@`*C8Ypb$WfyWXh4yjr9zQSH^>YFeh%#Z+iT?%n6=cu1slfZYd)|gvDTAy)qEY8Q z+FiRUrLxc+GRZmVSqn;hXzFpe%A>-zgOw|?We6CNwou)Q&O8ZdhrlLT1fb2&^1&`A zfiY(=4(UHa`3UiwBl8}jW@oz{s|YJS-LZLAy4b@ijMARduS3Xbttzc-vufFvFWj6k z(wP5PEZ4s$?O>QcRrVc~0c6wbeOBwL7AU=YS+31t;o<%A=ih4H`GNfU_~1$_U-7h0 zz?4rEZc1iA(KB8`9$zW!kUU?W6vG*JfTIyIAp1I?$k@-Igaebp(H*uRV*owd_r-@m zHUi{?aoGPS&X`)>5#FJFUp!N_Cwl!E59xJ}hp0*UgEyKTop`c`78nXS=L}w2+hHv# zl^LM`2+x%`9B7@dHAw(LW9eW)>EPUK!0}zRyi4*azt0A|$^C5;u{I`I{;=QGMspBx z2$SB*J4iA%oSLayk}i5Z!I|`*qVV}lXdO;ygO1ooi&Rt;2T3tX4%uKu!XoL=3%biAA--^kP+Ga$#996n;p;vpa_9un^dJ>Y18LU0-bu4{PtqR ztVi-j;u#@}0)Khnol&Zp)g#x+L2cxV)qAa1_xEM?e8FbT-LmqA%rAQHaEJ;}h61>< zY&Ovp3d-(t$KYEthSX1tLiPYfRanK?kikgsf@N`+3sdDKSnDesfW73Qer}P_2utX8 z%GoL6(9a8LSC}J!yg0ov9S}mWQ_5F8`+){lYJwEFED?y$M5iP?iCcx3%nUt#b3cCD zCG8{NV~_f+_E@EtIW3Lp)&55BzUg4yIG2SNG>-=c`<> ztb48EYupfRd}DS|b5{#->Aw3u9%n#sS1rb20lcL`@K#r!mr0+u9lNlf$@Tlx`MHv$ zuuRTm@S05U$#N~z{?ot=0t%A1SM1!)4OJq-^NNe%sFj-f4S6uKNMIV9h3^Ees06ND zjJx9H06xR;HrU2w$xJKPNHs{0h&M!;6<=yAuOUdK9IV>@9JT;z@(7li>RPeAT714I zCXJ%ZT&KZozH+^8b?6>)N`}g-O^8=62lmAK*{TD?W#F-1W&R{G43rkT$ zsb=c5SxNL@lS-b}ZO!~|1g){FX)z#Z6Nk{)Mt9iyO$+aK1MKTqGDp3y&f5U_U)8M7 za^g56LMlA{+wePCLZm;u#pou`0f+isZI|Fhu;>5hoDocgpt;@Yv#kv#NboP@JqyFx zbLq6TA;DWkMXM_05(rKfRflXgz^Q(M=o3e=y(vf6zn3But9PG`%<1d5z$Lb z5zX02WXH2XK%X??HtT%uv#ZM7V7aS`Q(NiKng3}jLk@SULL*z0_q{TJXya;G_j1Oi z={tip$wtOKWu43Q5|>0T?I@wEE1hDSD~0u+y0v}1Ra!E>dO$3z`M2K%52$q&lAB!e z+v@H%{C2P9-3`l+pHBL{9(tNB^7Npi^}7#sB{i8hm(JevH7Y;xK8%N`TNIy`<40*} zk7RknveX~gLAFfDlF7JVG?9YGR4GO>T#F(B~VHWI@| zeD1e=qJ$_Mt6L|r_1W-jkm|Bt(=w-(_{^)*L8%9}J~joa5SKTztKD6_FKQ7e9U9Fw z=1TL~1Wu2MclDzrIwk&RYEO3+L=~fb;a|U|0)kQNaY%z90sy&URb1M_-@ULGD zCZw=s)>oqIDLI|PlRuRtQbyfAlIMAG9wT*rhL9G8)HN1C>IPLM^!sbhI#>7} zpLqSg1p2@`sox&taBOwcW?s4atAhmHlbQvEF@{1zrZ)$^`T9*6i$+%%7-OaT%O7>N z&dev-Q5~OJ=&#uL?H1P^lGE9*ve9&ht!|F35>E1BGY7$xL^m*Yq|Unrnu1`oBWM*C zFq0jy)Jm%zW21CYwnizlb4~@#?0)K`jXILw7aqtWZ{+U}SS)cFIM=UoSv@ih?-Q-P zvj142G~TBg5D}@Q{Lni2q+OPewa31j=2h&c$Fct9#q7?GA9l)br8{D~hR=#!Z#p_- z=LZKmhO=&KULmKle(PXD;w}d-na_KPx@lp~fR1j=Vj{}?e$dc|ex(s9Iem228T}J@ zxBiXWE%+JcVqN={GXm~7U6j$tLP_G8C4=~gGN$?8G7AYv%wCJ{#2#b!^Jwk3Y6Jwk(ej0&o(@`V2s%v-0I^0dH(l#Z^e%sM2W<6F;fYG%&83Gv+h1y<+aE2 zUx?(1?S|fzKli}r2RD5Yhc3PlwX#O_eiN9};*s+@UiBULDuZ>^9$%uD^sXvTJh)kX z9|J)Zujdfox-4t#7(G=5C_#~1ATgc23^Ngwn7yEi_XLCs-Np;W=@(Jgv3AAE&Ui8O zqlUYauVB&SV3y-ebWO8M+qE~@QO<8t=2ffw(ucfJ;j78Lvli?4St|Pg*)dG} zwDP&;5l<(k`rrWx7Lt+^iFPg&i3j&I2*lA<$%t|;Z{{UWWQU9NC{YUY z?M~A}(NdEky?bX{*G4NuhJH}W<_83a6JER=393r`UPl)4e||4VT+62RyG7WBn_J-O zi&q_WM+xuvXtv;dTcg9CwX=xoYTJZ(HR94gw+JT5XkrnV&kH~jeQ@4YP@^ep4=kN$ zekcbsltE^P=5j)J$kQg|ML&ZR$|KFHec$u{jq9PI}ym|4UqL8uGYmQeK*Cy`fW`AnY;j&s{Dr{^vx( zc|$My0gDuF?#_*>+o5T?eTYLT2tL1xX_=6I)1tCEF|fXmt^mJ<*16ey;X*-(I$qf= zYdS;|{`GE=C*34pTRgA+r*t~<*98bNM+V)~wvNwaMrE|?fNQweCT0xS7<|V2om&%I z(|%~#hT^->ImKUSorivYmBc+@yoxMaG=5yWhNJRElzy z#O(sjvb}Hl@MlhlYPvl)i!O5#Clpz}E*Z?=5pFw2+vfWRhakn}4g9|x+Q*Vs)>trl z-#bnq;<``@Uuo_1N)ngY;8Ml=T8>}G55NyGJSY^`h|bCdGO7v#1RBgju~-4y2ophN zOt_c9IkO$A`$+JuG-(*Bu6fkfKeD8(VEWJ?XLHun_xot)>MP?_esdVJQ@Q6LJE&x% z+(#3eVxpI14N1psmd*HJQ)S?tcBz7s%!dV$n~wPUnd*6b7FMvCc0=eff(*{?N=K5dqffOnD#-^d5t#c?Zmv$q4?RQ!Ax_0bma{8ldv8t zn<}^VW%{p)GPAlAA5nxw_Ww^m(!9|JlMD%>I+kTf5`3cVn&Z!Ou^1zgH6r8mWNVB( zN7a_X0t*}xO1i@9}%@_AEbZ&+;Fg z`sz2E=8Cxa#5VN1lXeL9#&T(`G#>1=74F+We}6I=zRM}vpG}sA*8J-qf7o;r#Lz)? zX*KV7zmjmr5KM?W7H6{?~ zf(lTbVc||%QwWPXjS=^%Vad_!1p=5(tjRRYSd~O^Gwz^71ajI@Gy%@7p_?Ss8Escp@aB>b zZ`0&0LFeY0c)Nt6KM@P;H39^s8L(f{!Fl$L6NG1) zyG=>Szp#d~1euwmvjkf*-3-pqkt2)#L}nI1m^Wd)Zq+lG`i(wym-sc2K=8~ymq z!wq)=zSi*?{2MZ@2FO$wAX6vaF(%sR<#ZK*OqWsy1g1_e`3vmj(plOh_!=CD0K{Ii zp_pF@`(KkANTq=u4x-ohAl8FR{<{93&pl74S2zrk+rU(o2S5-gaSdCY#o@H?Ig+L| zQ_Hox8=_49GJ0+2%Q7>~R7bq^6~{t@!5Jg`Z<-d=JB^K*^GPb&B^}jvYkiP;J(^r> z*{yLkmCRR;671*($~n=QcrYF3WeeFc>bK%-;X_=(dlQN0|JW-&Av<$8aqRTN#+Xw5 zze47d9#85et(0Xv{9@V5(el2BIkEJd?wb@>vY-=WO3{OEk&ah+?q~A*3s7l70 zjxNQ>b?zFwW~iO)1aC-9`u1&_&_bUwH^xU^5Vt&Y>4K&fxN80+SU+!g|J41By@Z;A zc;!Ri{>HKWO>;jS<~tE>xKf2fx@d_(bnzp+o)=9uFI2P4^9qYJGNO<$%X5e|aDi3j zHPNi917tFH8R~oZa3Fed9N|<7p+IoHz@_)#4U87w=S(D_zj>rP#iE7gk)PC8&dxg& zO*BKGIhd{(XCvbu4pH zMHAY}<@%N(0|V>Q<}%I^lq(^Z08qMc2(X%AB2*3-6d!he!0q*kEH0u3s57C@ImuO1 zXrkYobCU$i2G}qIb-k^GT=o9n{Pd^uPH7P4{7bv|;~cKR@5g1SM$c4HWU~XhVw29W zeQ>7Jq(E5*-gX3uEqf`n*_Y=7zhjh$FLPVr?v>h)6tXw zXDmN^MjF17Wol~bIRE!aL=mtL2k9jCdj^tG)p(z4#qe`MmszX;Oao8ifiSSh0I-K) zV4tHtjiOP1fI%{>nIq85?R-9o!goZG>RVThCoI=iTXAXVDt9;F4yvP+Q2&Rv?+%OV z+`cB7#6+Vc5d>5u(E$M|iZo#m8{&X~h=6pZO7EQkOO!~BLlcle5kb22KA;E)2na}% zG6=#j^fn9(?b~N&@FsbF*XQ2c=evKzC%MNnbI!c)-fOSD_If4v9?6JL2VUVY^?-Nm ztV&HLes9m0;E0q#Zk3|HmnSVW<{OSN?D23@cH&-g)A-bA_Uyg|+U&RAtKat(Q~1hfCyuEY z;x9PKH~Tvd_xHN`04Dwi(fC(Qi;w*KAu~5PW1|>xN6S3$_PS8C(y&OsV@1)%mI`-f zHs@q!^E0UjH8fpt^~T{H)dDOl8n)ADgSTUygGVD#-`Gqe0b=0PCK^l$xai24hQ9wq zWrp7~A{^1@udDmO z9qQhZy)S~8prL3zxkguysLfG#F-ObMPv5Ukic$ASGu34d^uM(>sNa&h)iJ^%Cr2?_ zyHm$HUpFH}Zs$a|pwULGDu;sN8oyvu+oGIN(gzc6Q6>SZ z#8$zlGv7@#3{Ndv?V}X&C~J*n=hNZ+R%U^5I7v{lTD^rVDqB+R$Xa-wnM9mRVg@%;$Fi09l!L9@c@9lfc7nA-!^E z&=-9RE!7g?ox9`j2;g&;{Bx~)c=~i{?a9{?mSt_!L%=^YebWOy<8hMTI*BTN2zi~- zwgdtEG9H5$TnXoa@;#RBG-ESZv?ZFQ2j`tYoJPAS3 za0Q!1kzlF3{@ZnrVYRGI?`z3f$Ih#>+3t65%hp`wGbWn)?9Rp#?S&SBX^OGfXB^T;ofym_tTEP0Q)*lwewn*c!1T*x3XSvNS>Uwt#!6PAnCSm z#A!P~%VLN4BL(8~zC$zU90%#m zk61GAyDlwQ7!wx}M}Sx`p$3<$nB(&I-W_+&!!lvUzaF4XTTq7eSx#Fg{H`xVb?|ld zN;q@PWP3j$42+->YP0l_WwC!({3+zmf!7}91`c~86o@*yP!H>rU~kD4`S57=B!|+@ z*0l~J2x(wuGxW@TGbHKOoC+l zwB^E@uMx~URbbn@z^rfMz1rG)H7oRi&a6g~Gj_^(qjPKRR+e3d|FU(lMm3z!{WA$d zSr+Tt?YH08E}9gE>SiQq*@gh468kT1-p+OKg2J)Q}N@499)pN-dpkQipWAZ4ek&& zp6V5nW1*%&DYBEul>?V{Eee?C>ykq^mUfhQQ!`&3ZLL_1l25ATsW^n8)oZWYmoE(l z=5&nR;aPoruj=#~R+O-mKv=5YNEd2Yc)eQcS&PttVQm9x+=dn+7 zH&D<}G>rjkkk$R4k=Uaa;TZ>~2kvqhzC-YJa{M}#md)cGPgu;)YBw6Ec+uV{o=iuk z0%>zm6+U1oHgi|LMMDjH3A*ajK$)zMWv!20(x7vq7MgMQ9R0B2P2vJg6etF|3|u9V zVqiFz>?jX8c{6T|UyDD}zd9lX2xr{dXhj)2A4@Eo%P%BQGH{80i_QJ18*@hM)@xok zl#F~umIZ$KIHq-Zxflk@WQm^7lX`E1Ljpq!po4(qo3TC`=qLNBib&leXlanX#lg9~ zYIj>AP=?3xv~mKfPP9;)?y7JWn04wt;*#uIcl=s(|Js!MIGwH^)7~gs*UiT!lRUTI zri9=AU6YKSB~arU{qn~d{Y@+YPs47TgW`f|kJB=lvDU}&_?`1Uwi`&1(;*68$) zqu_XoL#;u}Ace3_$>Oo9M?PyHy+I*a{ff&9?;gZ@?*4zAOa$F`0?=^VJ=CC|Vm1?7E z8w-KDBHAU+Bo)LH*6lf+zQ36(!V!1AhWmP#CD+ku5ozcj}#UsQVPgVpG!A) zzF}s*JJxxlD^>DkCw-{k7e|xY81c*4*g%>PO1O1O#kw}@YCo&r5>W|vzjwUE78 z`DDKhqf1eF{Tp9(pMa-V#mKe&u390}>f4)tOD?-T5N4 zJr==Ddk_}VKv?&yE>%~NMRZ&z^|EU`#fL$n?>`WKj^#@vdepw!p7RuCG77WE0NPDC zgBo?}AbpD2R5ABPzKInRAlc96wv6j>`16qFV+Apyrr3fpr_|)W6fu>JT zF4KN~B@XslbmA|Tz&BsbApY=7;tzn0(3{MD|6Qcw;LP4wKm&iH%{KwlUr>}M>j$~T zUo*dFg3g338aBsexBFA9Ifjb~fGwqf?p1BbfLWO-dcd2Y2fRO)P+M4vv^ei+uP=C& zZ*!yVHDOa|sd1Fz)~mKZxTsPi^-~XZt;U$>0<1~_h{UEW4%puByNfn3%8dZvF&|fZ$wfd{)=RfXbEkQ)PD5t`+&(##}VZXctRv z<0wiw5=W?Z4hVQUcyh;Te|8d5TRpB~X5jmCPlU%e1+EC}@~5<*;yuxsJcn5SWvzGdJDVb#pgakq0PDbIn)iCTdi^vT^3S-@M~@0GJPrT3Wsq)uqzp zEm`r-D!;Xl+&739yF99(D-u<&)txryD4{mhxNRH~BZC;+EDOkEF?|ScSU`^XgEW=h zAxBSFBr>qYc+=p&dk(a&Kt>j<6 z3pd@tMGVWqjOI-lPI)ygRU0|p3T-u#I|8GirBz_Rc|x;!_TEV zJm(JNRTPVJ#WJbT>+M`mXMf2wisjYNu|5IY=@w*~lA`zIee6{2P$q}>c?p~@E_dEv zEhyFUF0nVVK+y23u3kYsNHmyi6&nBEI*;l`Of-8AO_JIa$TNWR3<DZW)-$L0?sFtu>xwVOrEpcw3gdgo!`65KOo`4 zbxuK8djwIFi))IwIds&t{A!ebyVkwfpoqk3<6kj|k2fS)V%%y=(zIXYs zu>Av6TzvdE;+jv%u*aq~J*y|3X5`Qq>Jbii%G`ok`BBd&MNvU{4^dul7JVLPQ+`>6 zPdl~fAxXu!aJIkK-R4iNxxdALzqG+OsevbqUahKr`z`73wq5Ry^T;my10{T-&D{cc zy)40gE!J9IOu|P8{uGZ(A|WR54V^Qyo;tze1P%Y%hoeI4SZtLu1qlox{%R=X<*qLc z1q@w<674!?YUg-+908_|E8bpgyQ0n}Ck_A*m)CODa?P|oOzmVbwW}w{Ud)a1zKidK zq#TF#{9hV=n_Ie<6vM67EH1sVk$CIy)e7p@|N~lE?~cy8GFwn$4tQFXV-O&UN~i z?4}{t)d$Ons{|ypLqlO7Wk`N~2&q-lE0$v`T5KfS=tTLzRvziaJcqMs>C(CGF&B9; zPj8@x*rhb{gXxW){acy&%~3Ns%K{x-Kd)#Jm~bOvm<=1da8Ii2bOkM~A~h5{Vd4dR za~h(0f%<15JNfRu)C0Jp3+A|h1bf~YCMZYy97I6Y&E2F}*KNkVJmWsc+Qp+W=XKQ= z`qH2<&&~3hOi9MKYN*M%{?>gh-YND-ZZXOd*Mzbj&xm_QsbWW-(&2}Hy|PnDy`3jS zWOt`cTGA0f&bvp$PANh|tEN!~{oAnx4=>2(K6zL9D-&h!dLD2YK$T^|l@cXhgUM@O&s=NAiWM(ZzAp0l{q`iI zm$8rWaz}3hh!G4V;KU8sNVJ^t<1-F$?UCtyDMj%?$L7ckLfjM`upN+TOcFq7kh18e zp_^f)!vBv}tKr17GWv|Ey8`}%$P-LV!}iDG1OJxCHh9b;1q z_@;#8jU3K9?|keZc?H>ih}ZXI7q8pydAzU)5Rp?xy-}L8xmKSP;5#e}R!FjT&XrkC z{8LQ+?kh?(0ob$#TdSx?r$nmq{ zdqddnvaTD#QPiO&$3Daaw%k8@j3->#&#u?1+K@1fGz0zXCrU=G z^9iAeltnUq3kWgjyvJKbIG)wqd4RGkc&KFF_wu`em!PePB;gXt#s@92Cku|9Cnz$Y z_UF3~coTvGGHxhd?7o;@WX7-LK#_oIPcBItzsBwAu{DqwHj5c~P^pF8NPAOjL zBRGoVT1rgRagi=7TRKa6cgi0LBn;)WMKMseEkkz0B9kCU3!$|~6X+6`G#k%6&#!E? z*|8*Y+4{7jpV0kzhMt!hRz|-gvT@%ZdM*uuxU9UZpvlm|bK4r8>M<)QlIIJwM8X@Z z+CmrI@A%XX=H3b!g-SwQhfKH(Wp`rn7pLGV3(^tf5-pr%9Oi-AHVRH+X zB)ZBa?$|?AUB8L_aY9{}j+PDk7aRDoS93ihfy3K*`&N3uMn<`8dD^E3=jN|vqP%9P zC6Oc*P^b_IuaGW&`Lt*A2nTE^_hhPBFv^KXRCX2Lp+H6 zn~(X&4CX#+#O|i{mERr#zACr1_Xj?pNRL$$kE3>o`?#n6>Q_>nKn*meohh`vmGKJe^yg zmD>Qd0eryCBh3Bi|6YMOchSfat11AiJ*%KT64yb!j|y&B@n`&^d2p5<@|8w^B(lZb zcNCAT&#Wew@tbEuZn0{w`mx=UaJfamK1e;3c|B8yFbdzqap9&aQImkKe{@q)FQNzE zyho#sEh{(yK9EuK=6xLxb>06huzWaJXb5|z;ulrA!cxZQ=%1Bg`@g6RQ_0YY9oEgz z+WR#qETbf#STz77xntuDW?^jF{aADCYrBRD>|Lbm>K#8%c!(%p`r`Vc8lCHOcdinE zKDR3N8eKK0bMEY76nsqS=HEBZUvz0u@p(_2)!)r{w#R3EvU>YZ1dVSi;tPyMWQYe6 zKP>v>0FHR|ORB8TR;D`kXCIlbSoDwlP<6!5tGs`!EH?O9K*EioqS%m(L8+fs_=aMC zpIq@Z$+nk4RGoj4JTeJr5~0(^&gq-ekAL~@J?l1IA(B$gU0}31JhGP8M20=vJY9I9 zjWt+bPNw+WHGE!eB{Jl>muf=sl7psJi$fxw=-v1*^HcHoKTb<;hL2wu@^us;qXe1+ z4I;UNS+;k4a7~`}5!BI(CmqR|#q z%8O%L*^pK0V8hI2CSGRQW9jmdc~c7!nR|+FW~NQ~i|YyM2%|D&KVhpnnvknM(2sru z@63w>>B=zr5G14gk@Zv6kVNl8`fW&UqBiI~)@D`y+HjiRnZ6ab zG1X+;x&8f~`W2EGAd0Lo$)cCiWQd2M3J>UHCarx;%o#FU4*w}y)#z~nExAW_-&2sA zfu{jH(5cdy@4xwXN=tzc+@D*=#DBGpEp)QY2EJ4Q**GieX|2+RZ ze2j+fVKXH{98-TB3ore-Cbdc^u3jl%L-OT-RG-~I(4oy@)v z3FYJ%QPTFOm+-Th!5?+;Qq0t2TOl=%)_!-y*VgGl(=gZ5+>eKV{UFRr?EgV3pnDNb zl_+4y<(ML9Ae2=apV@wHn*aHO`|m7DMe&(Hs})&|+(X_3w1&@q^u8coOxWDpRzx1} zn^*jmZFbpv%1HyZxEYJJY|}t*x;Maw-V?AxWI zwK`}MmW|81Dulu`!#Nd9fC!VZVR<@VP%?)-Ku(s=Fkm6zw~MK7Kl zS(_{+b_nW`OE+c`A}v#&NWF)7r(a_Ac1B|RR%*TXRoi*vR{|zm%ZnS9{u!Kn+|bju z%lj;*6~u$)eII}C`{bGF4l^&bz>1|Eaw`+Lu%logCYb`NME)PDOw?GjUh3+(ml+9( zn(|hEe6cRWMCSC!-08JCTgzUXO&sm*mvRJuh_y^eduqm(xN1^VcY{j*7<#i~Z z!qleZ7A1#bgAC*(3cjS8g?HMaYxXoDmb$Z$_?T=Z_|18EeGeYA>~_ch@u0Xx|3f%Q zGCTGmm3}xWEo-C1mmK8_Q%YkTz8^Udq76B(Y|VE=Vt#;hC$_fVwZFk8#q-L9OxPM# z|9Vz(ts(V1!XhmTcE%Ey%zaNT9o8?EvX>$Jck&u0hbHp|1Xsy@UxRKw4}gS0k4NbNrLfr_+YB5uW7on1GHh0m0Vi){UbD0o zzoprRFN}lFQJYQL4nX`kaet?49q~8+`i6 zdW@HMDt0ridRm6r_3N={H@CMxO)E&$)};gOHe$tA5#>tfb(sIqs+1 z&x(|o0g=SYX(&^X8#*wZjozt8HS=*t=%Kaaf^DXQL`rkYbMq-3O}O_%4B?#c>%;8- zru*YsSjAL{Lu~&{-()r|eo?vTe>L~k&asVBcPT;CsThEmyc98+DT?Xr>(D3Z03IxiPuT*uVPFAlbC|DSq6u*IuhUaAvp&uBR$ zhEEQ3Njmz2ndv90k3#uq{gN#bHC=uMWknEvPq;A8U>KIiR7%I1c=Y?M>b0vioXmWq%S>TaTPhA?WcCF;%SoH{ zQD-ZSd_)f1mD;o*7oP=;%jm_Q84c|Zfy@MawY``#s;5(_HBX3^$xlnTljv<@nkbkD)aVs0!KUp}l)<(rw3o!Aj@Ri1 zZyTan|NUx%DgE>&N?cQ5?nUx~LMP-Bp=Km-6{7@13f&~d=HxbRIMX#Oov#k10z2{7 z@rvmN&O@NFte5*GiXp7bh(N(X^UUr*B)dh;7nPM~GrQZJp7oCGy?bc5V{E+|ny3*E zTB=vibPM)CYp~Hdekj&(=x2GJiJw=J=2f*U*N7wzYJ^^zy8UBu4EwiFaHx-@JJ!re zr2oEk8j{vbnXDB9DWFc$&wYf^$T2ij^E_AL2#*-HBaKV1|2G-J+4Sz~e*Di`CtILr z+GcY?Bdasa0=<0wab*E%uiM9d^tlPix6gv9=6DhS8<=W1Qg{4(;gBBuOV#>}5*l=A zss9ubYr7r|X$U#5lV*9@vqoLWB*=>?B$#BH>&axEY?IpCnWeHvp(Rc5_E!d%dN?9*@O$vZ+B?xj~RXrpR-L`fDVCV-L+4tB(L1L0R5rt=2<;=+MaR0UL$)?rdz}3 zi%ZLFZC!oIsA$YR*glGO&SsKPsJQ0CxO^EPPd{&btIhB1(;TIqo#hOF#ne#*Q$NR; zk*Iv4?^}8OGM>DTT8kTINC_sHCqi7ZH&}UdO^EAh-D=tT2b`Ue%c=bQTo+Go($$~! z7(A%_$$TiVK#&GY9BlDAV0Id5Uk1TQ-!TQncTUCKI)0Whb`+`}%p_uP6AY*oXBPd% z)}`mDL~NGRvxX~ouJMC5+0QW(h55v#2Fe}2ULO(LCTF96Z6LmR{9$AsR!6MODL-7I z^@Y@>n540lH81?C&&;)d%G9v99yZw@3`2bBBCR_xkH!P-U`#2wF3(qZDjt)-_}Nxw zQ;@>?=nq+|WQrH-#DYW(e?UU;key6H0P);JY>@rIg6WmuY62N%aQ`d=C?S|b!Rdwf z*Uhb3zl6b$w#+_7=9Jov^WQxkQXF2!zdDM(kEY7?w}a|Xxo1j6RG?!St@p;GT5hIf z)>c71QQdDT_3EmRgC>K&WzIeQ=hLv4+{Hq+Ij((3obX6&<1l#fHsFvl-~9b6Xz%CJ zdzCjIkb#0&o&&|c0xb9ZG627fdSgz9`qas|!_c_@P-KMu`ln68k=by%>E)|-S$#oR z?dtPDBNtl24zXB_u6q&Hdn@JkAc48&dzklrLk-9c+#>q!g;Y37WrT$5;QpghKra*S zAL#1WVPx;hT=tvS>vt2}(EJ4+c!>S)$boH9J^Im&yzD(O4Z3kVn^2g~>)wm8?pe04 zo;qJmXma$-v~Qn%I9xo3mjBRuGs(dB#q}JRTMAh*VZsL%DMkZ;<$|vLb>_MsWUTu~ zFA%+3Or(WQd<3if3wrC0h2!((?&4Z;1S$u_0$#^VQB^&2&`k=(Sw?Vd$Q@v_puwOa zK)K3qe4G$c@BdT*2M8mX=Ip_YA={@kUgysmewZ6quKtop$1{i_(pdu&h$v1>PVV|j z#qOWDJX7kGT?@DMN54F<@A{7JH{W?)&+7VhPvsW-GEN~BN@T~6JC5#<^r(LI^O-Yy zIKICwYBRz8JNua&(}thFyU%fzWiZv#$b4j)%iUemT&sW3Z9VYKn^Y%l6^kq8E;V&a zzKJ*`o#c2KwYPPT-g*t5Q0#krB-Shk*OW{e`_@2MYe$AwdB(_PDw=wXFeV`~yACQL zGm@Oq+X&Qs{M-0X*2D{akCXWW!tZtmpO{-8a8vQLlSKO3Hr+5c4uq;OGOi9Zi5Vi) zk7G;|igcc{f@#8UVVY23lTc;BWy!lU>)BE9ETzAhDMXMrj(## zRt$|x9L($7M}ZMc_VE=b&vvrjBilws2ST6OBKw8>VX-NW(6P_% z2GGhSAJ+FspRcBgba+cm*xB9w&WDkf#zGnJ?o_L$V*}ME?l(CM;6QW!4ywzE2-HrQ zJB`hZWIC{g@fTPyQh|DFc7_X}S;IXT6hHYs@1~NOPSSgGT*r8yE~Rw2qp60IfnlYY ze&nYv_kSFZUNteUa26z|&L7K-&T+l|!!YCrB9&EcXYWBmf$OqMUw8lX0PXtIdosJV^<;U}GT}OV$RDNeWV8(%>JmYpcy0WpKDaGq;y+ zQPS1UYORshb`@4e{&!%uNGi{_bbFMXY`an-c#qeG7P+T(IkF38UldUoo{gp2e0>qt z6TCj5#s(auWu?m%JyFLXnIn~7(?Ht}mH}1!a!RCEIsU_B0aP15ehqHwH4hu3P-Z%O zL~8s#Q56l$2dnhNMxJv-kD=i5T9M;~`YsL*4qQP)_82nZ_m{l`Z9QbE&0n%!^l^N0 zIQOuwfe5?egY*aeJ|sW(8e!htb5V!eEY=%EoaIMIBV=;Q0XeV4W}lJcbgHa;oiTN-3fmjfbS1OzO4%<%*u{|(; z7g^o(7|iYC1yO(uC(O3M)5*kzz*|jg|KLLN!WWVkf)g%Gx~&w?YNbV>Y$dcxN^-~Y zI}KrQQfw$K$e>rEKqW*I8LA#<_-MF-kH&Gtc_I>Fk0F`o-VoWy7PZdM-LU7^IU>3M zW09idbibs|1K4X>&hm?-5pV}hGon2+Y6ZbI57{47>Xh~@Url+cvwU*JQeefqv@8M* zzY$5@Mh!JEx0zE-?N2y7@0X~>IhKe`&^E$qo5+BmQ z{d33!on^rUfR1#AT|p<<6*MB}l=YcZ{BC`Qp&YpObks(?=0+D;87HE>9NFZ!m&e91 zldk?+dlS0)JHo<%!3pxC1N8Bw8_h~ zwdk4Ng@Q`!ir8gbPPwy={LEJQ$1vgL*8#eCZVb$KG*pa&6<9Z|$??jO#>-}s#D345 zxAu0US@v!-L5GPwQ)R-)O{K-{bdW|Vi;V}Ek!9YFNyOwAOSg=kkv)nh*-6=#CoQ z1^4E@EuxoV6!xYU7RP1E{_@P{h<*TJ7@0I|w~$}yKC8C1kiWpK$tJ1WijT|k#ni%1 zbjJzg+qg4y_$&kW5}wOmwVy_Zj>LvsDDWV}qcGt~r@|=$KaSRPZ0NB)QCAb?mon;kxexy?C6%bi!Qa`&mz`V%bkcm`w>i#8 zV@1EgQn@J$x`m;%cB{S*h}TVNU%$*$fl1(!=4(Rpk|0QfjC3Ye=&_3-4HC(YrAvdr z(}(2wyF|}+q~yhkPwb?)_+~cTNP59t{|4ym#*O6Z-F{KoDjs%(-@9BNHav-s#Y8@D zuW!!6XNd5cxVSk1^~BC;RBq=kIxp>l7Zr5Vz{jf4Clx1QQW2t#mPAwuq7b5Q{BcGT zxa74Raug`|-e_+6-ZtQ z2-U~q2-4qH%iu+_3PgC^z7?x^$B5X>!w^}T`DM7(WY-!^!iLYaYWkxFauQ6iIS-Zi z{L(87rKLSIwEvEA?A&Zg zTOpCl##bxdkNyh3i8qEg0cu{5pwJzn%%YhNQMM(%gC3=J@%#ZwYrfVQD9e1^NjbOZ zSNwkxe}C$tdB>0g5OW{N!E)d)HvF82>7TYMzimVMIsL&Betz1I&!%|QZ4?JRn| za>u|}-rmOicw-bac2{b?=H4%dpdC>uh) zv!gS8l(*yuisR>fcJ|!vJ=qGYg2qG(A9k3<%@SI~A`qXOK8vdk zvjm@4IQmnJ9663(>0oflSuPWo;ux63<>G=_+@s&Q2l&PRYwP?PA6qA=&N(tp6)Oo3 zYMC*8e)NZSYia?FyG*_)MWDG6(j(NzZVb1mv>4^S&pF$b(eX7fmO@UthQ_PlX5+O; zb6}YIJykXt;_R4{^Xi#!JNL4!mlQFP_C1mYsuAX%owRFxEr#iIJ0Az844^V&O9ek| zr242%TAkOCUX;od&EnJ~`?!0_BfA6Rg$$!K2M%T~$jFqz&gZJ~TIM{uP~yoaI1uB} zmvR!XCK*a8g+Ac>?YjOkbo;tqW?@~Kq3dh7y4PhJvanOq^8_; z49x+HL)y4S>|&`xi|6E9<5*;#A#rgeco%a0z|SWeSy-mn6du6Brt?h=VobiN z=aKiG+MczSQUM8l)7e`6k9GoK9r5Itlm8K1Jx%{{;< z3f&Nr1znCZ`7Yi?@8Gx$^W~LZR4WKQ`O?~E&S7x;$~mMasPGD{>z#AIN80)boc((_ z`xn&sNdny0LQ=)z~@da-y%-^lJL_IO!^# zu10Le{--kbY*u&J)O``{fxJ{9LX7X)6Qbg!!?0=KL7^ zY)ewm%cn2*v4>yl|9p741r;`YrGEO@`^U%sILE-H?o48+H)WWl@WR*qg{O^J{2Sdg z>0nj~;eq}D+q%OIPzU%@ue7$ijnEgxUPg_2QWqEJU^yjB+b_-#;YTU*(=Hi!|jl2;*E?Lf8*!PyD#HKpZXY)u8Ycdy65bNgSlb_ z3^?9Fv?Sud4~^Sp8}8Wvy(qC|X07QI_D|I>d@X+A3Uj}ZnO%Kc->DoDXl9}N)QHq^ zM%RZWiuroVk`p*35&WrVDA*td)%lH6ebpEt0r{v8A6BzlN=Eg1dyyw#5gC-!`nLd% zICd;#C}Sw%dZ*ugXm5T7Z^WOSWA~>a((Vq%h}JlaXqkU5Gsg4GBXmGL7dCT6vcZ&B zE*jnPT&mUPn8u78k1%i*AmR$_6#1#Y!sy@xwS;rDW`vL6#RHN>GH7!;U8dh7G!ns z+yh4u80QYk?i%g1_L6+WM9QtS+_l%XcF%0u@7VZRO+@>X(?vz9w?AhB(EfmXVsq{; z>%~Ox1WT6`|0;hm{NY1s3T2nl+HtefzB~iEcq-Sl)r8F3;UAk-nyE1Bv4?!7hH9GL zUiI?OH++{0+cFvfnGtqn$IkWI&?m#e8H;Xjnp*rGu{WhtT{`}Bi^TUJf}ews;OCsO z=^}NL`YCqx&h(4pU1&)|cO|DJQT@vaY% zR}|`ynW1=K*wVH6E%kzSmmh*GW-cQxu+QvoDWYFvz##4i@zGtpm?5axTxhSjwcMP) zr657Q{c#U*6+Ls}D`bt{EM+E@{x-_4Hy=wbNcP!GKN8ICK0WeHxMTSdY|b0m_HBJW z4Re*OpSae~AtJU)1D^y0J+Yv*)t4sSzr`JkJ&xrSP$e&74-l!tE04ImFLai+*3SEQ zldij?x?}q$kgEp{GB*%OFu=IVFuQ#ID&38o%3&(@k{F4`ya7(EiMUnaqiLYU8wb2t)C*D|3!xg47T-2`E3xDII!a6fdhnWaN;k5Rx>)g`0Jc zgho&E8rY{4HeLnW(I{LZa_q=-c0*8>*kX0{-NZ?!bi{5{Cz)5U>dwo)3XtO&+WORcY1sEoZ;+vB&lGip~iP<<_TDvbP^UN)|TTp ziX$7IAro_Dq>7JgFV{?nl8YI$X+f`3H?;sgy03SvZETQKs?|}4o;J*ua7^lKDSdYGQvFsSmdL14(stJZw{B}@U<@p+DX9DR#9FSMwWQKP z&!MuTi#L`os9C5D-^CmHE}P}wjx<~$blL?GC4Kwmdfj}wyKoD`qJBEatds!8Yhm;O z5N!*1gd^MNDhxKr0}8W#y-+i)y;b>X)WTeYXv3S)trk3gOnYuK$~7D6Bv+KDHLJ|| zL^6NRP5jP$pSh~^33-Dk>w^-90NJ{Qt{vPQRliBvzMAHJZ(HB${`a#^2e||QnsuL5 zY5bnJzE}u;M+?X#mp@+VP_?Cy^}K|PAt(>4>>Tk~qQs$QI<)VtN#2XR$x2W@^sxDE z>jPSbZ+tKsRgLj^o^s+NG6rerw?=7H74XQ$iFf)0!woY;x-p1(&otZ)E@A^iqg zTSP@ec9w$h*W+Zji`pL2vq2ru&TTveV$APdviutPtlG2eLGcQK>pzL+!ekhZLt*1RvhMc~k7VS1Ix^?gyXrx!xYd)-KB^a@Y)f4L?ZYE->7xrcS|1@O zD(gBU!8!b}WV#iQBbx%0n)Hz^p$57K9MCl8YqkB-{h7Ik8DMzzMWt<1#gTobZ2hBtsdze@$|Xwg<`8AwB;)Jq$5!Xg z=tPpmCyoRhIO+IWGDi}0ZKPb(*f z(h%*uS@ty2V)`>}0@`^bMO*ZB*c7&bWu%vbOlvHM{g@b|^7Om~&Wh9Q6?UFrtO0pn zK~5@{Ujxccr;?Izi=ZaeX10Peu2oIJ9hh=Y<92#4FBW0;SpOu7!qBV&*k#7za}OHnz5=0Vo+* z{>qq0_s5~6p+=J`JKwe~jEGRnlo(&LR(N3Zj*CqtEJg?zNsGE$=HK+%wvkKw`7GPA9X@XT5x^^Re`@CkfYp}Xqng2EcxxDzzNI_wJEA~Tzw(__!) z%O`1WMNjS27aE(DRC3OBd^oGJ)8jmjH>bYSG`rkceSv~3vgU)xM}%yRw?qD9(VGW? zx}g;7Uw#WhUPD^$W#kueDqn#S4kg^TeNRkJ(2bKT9Y4TLncG^iS3gj#(&!dyTb?)rlsAkK>b+$PUwW=XLbI}$R<7JxsTHZo z%!vRx^`PO6?3jkVussEUX)Sk{FCCxj1yJBxm#aF@*KASz-xsR<&qn{)??MA1p|V8i z9$ccd$}UOK0dHO%!U1|&_R>qwi9w(4r_a3nFZesex}cM68IiHzFvBnlN9~Xsjj!8* zzMJtPr&#=B@$y0A&g&wgV5C{-41+5Q=&0GbeAJ0>K}Gq zpXJ>KGyNBy>C&B2PDjtNe^UM)G}vA9)}z2^bym8S$1@Au@iqtcxy;A1GvIgSF{UP-pLb?XIExmyKC&`V{nc@z}p{be0O1@#&Z>e%%D}y4(z7WE05U@<#z9Nf5)v< zGivPXYA)DEcz$PGFE|uBiixM~f6)xu&|=RpT~IuET6tNARK8 zmfLQV%ct1)03|T9xgkFP1!>lN=|k=HV@{p|VDtO_EG`MxL0Zma?|HzqWizSD$N+!_ zRU>}@xPgP=an3~oQ;`?+09Ea{`sjl8Y(0O;U9GhCev>FJBeMyYwc0nfU&6a9F^#y3 zfbBZR>XM?<9}r|c(?f_YZ{NPB$WlYr3}a?`g=W?V*0Z1TBV{a`q8A!_Fm~8FuX9Ww z#H9Ou|5CZDr=6BuRLLiuWX~{Cu0BJXuo=xa@zKXPsV&RgTDJG|^eYJGRdqSNFcI z_K~(yHwb3d$vxa_ELT#l`VT4iCQZMP?d`qth9O!A*~tj|rz|@QYlREmayQT0x(vY- z%dR82(YQR|Erp=fXkWDK=|~?@gjWN_;X9V<0yg3bI4DKvcM_lLCkMeo~MGeanS9uQhg13$(t7 zwV&4SO-GgtOD%KsXTT5+LvuZ*f~!F~AFv%S0b@Oljt=DwldoZP3PZS<=(`-E+o)`~ z4o3%2o+!BU)oNPl)lcKueO76GR>}-{@qqL<{&<+AA^e{m!10Qynpro$_rVFz-%l4x z5)V85iF92ptNPNObh+M`lg0rf{W8 zhl&mrMz&AUKZ zeWEqG({t(S_9*g5}sSE*ss@(htU!U^jP!s@W- z_+j6{!wdJ-e9lzN%T_p#3UKEe_ZbL@psXb(3~l8Y(!|PahFp@x!M-!_#?$@_aOy-b z3E%-F-s7H0-PC;>-1ZT@}1e{cL_NGa6zwvqDRX&T9Hsm*4X(i=t!nVQR5WJ zz@*q(5TFDdi*?L{FRx<NV#%;|927H7hhtOMK|O{$FXaQ zUPc>Oc)`}qjnW~Mv+@gPY0>e^Tp-0$^PLOxqO@yMkQYyT4X1zN?;7>-&AS z2lk1IfVt44*Y0b%=RJ_`0`FJHTA6s%e-2ccwSo8Z`s+Mh#KKYeK2zSv#&rOnU4+18 zaf4n*X{PlUWNjDC->g$ZeLfx98+@J?Ccg~2T8b2$8yItu4`FeAMpL+-nPS6URv#oD zOJdJ^ZxAnFkgkE;MEX3F!<7{Xu)O}G-FBO>YN%vQ$uCDVx7BcBX9JDiOI0kZtaXL1 zJp>zB(J{pOYjh#wf@9cAmj^_bqhleG+#QUY>_5IJN&jjSpS+IQcI_K;l4$dYw$JKW zP&LBPDz}|{j0}JJ<7-+PY!Dq}Vjz+`ASqAUZ07Li4Dl&T*Zt|`x$@Pa;peir2jX~A z93i?f+_dg13vE`%{YO+{`zZSP<5HYKojtOwYWHx@7$AF==?&D?J)%zxdw?PvAA_m_ z20DQKjmG^p=pHdh@g%74wI;;C@zh?+UWxQ0NCvu?$YH`pW5K{axl~CDb}2@?TKch) zV`Nq?Ky~M;mp3#PhFy*zFRhm8;&#pAWyz@Q#BdK8j!6?D8cV5?9TX@5u{%UM^a7Pz zUmRze7zS5nWd3`69v-h=Xj>*0uqzna{?snB8f~sp=^pzpb(0MAawYSD!#bQ1RyG2G z7qGeF;ZP`RT|UTkH|Xz*BL)6$FtB#IxGT3>U!9FS`{{oA1JexX+kwC$X;IEk%>W;( z+5Akzv%|9g)3VS%kP*x7C|ku3szd2!lk@0}E*#q7@oRvqq>jGL0oidprbIU$c~cJQ zOYafJjq{!qK{ul#0~sgJ@0rXPvXd?N-AG|#B`6C~{6|z1rV;VopBNrc{4<)R>D?O6 z2@VIwPA{DjmcR6fHzrdALFOB))a{v{JcY8yk49nTrGo9Dp_J5e@qFuJsY_kE%uHQA z$ZB%_<{joV%bt(^D&3MN$+e<f9g7iiz)Ft#19!6z25P zs>9uN!lr=-hn^*6CfMa|@!j(sOLlkE6%`o28`h6P7I`aV7T;7WJL^l4d#Br#Nx0k66L zFWUHP5#m2|o#*!9X^I0_Q}eV`&yG(or(d-eo;vmh_Ilqq_v_Q_?)dq-znyURQe#|? zR&HX)K%?*C^aBUydaE}d>I7Hu8{MPhEAGrtGo0-7t~)}Eh`(iG*$}}2&C}M`7#WDO z%#X_GvT78J+x%D|_|n>~{4C(<_w_hBMrK1M)~o=U_!tH$Nh$ST_s=-1a5abi4Whn> zx|0^leO6F2dnjhsqw3=6-iQZ=hTr%^f`i;GuGVuN`+Q4@+=DXW+`Icne5_@Sqh+*c z$H8pn(dYy`AazR29fJWW9bidMC-*u6(FtEg=1zzP2hoFg3TD|(Ih=x{TX8rwFY#Bc z%3$t=H(os(GCm=S>d!~4jem93`)}n`i0bKOr4z!uEO|;me}xBbb%?b{f4xkbGN^WR z@2y<+x8coA?r2R<%Cto!I?G@Bpi&ufn6)njZpmNm*Zt9eyFYYupV3@fQA> zJMl01)jzTQ{*|Jg`y9~hY8US4v5iU?{lI0*!Pmz)>?0C7hz~%C3fsL^KT9!C>2uxj z=Mm@x1diExf;OH$BpL*|#`+CIE;c7?{CkOv#Fs_fS8KsxxsLHrF-1)56zfl@tL5)YCi>VZgj0Y7|^wY!I?08u-eG#-gubO zn?6O*!K+TcUua|p?(162BdD+V$K3-2_;n+%Gwr~an0-s>&`$UnuvJ>ExfYa=8>UA~ z7Ml~=iyT-weaU!dLTfWvr3PeFfM5{mq=j1>;%rM%UtPx@6ep#xaQ<)(_d41kc>^uL1L4eu>}JvlF7G1Sc%r!0efUd61ut8JrrB zFqHv82V>FWU(EqF8;Qh{*-+nUDLJr*HtmqyY^ws?U0fmpL^Iv2k4SdeHiXxC(4Kiv zMOnR*LIGxbE5IO8s>RjW=LUJl`7Jgcu=%4F3A)%DSWD-w;}u{AiK6uPaI{X)bRG;#DE#cu&l7-u96G)$PB4uVK0Cnr)AHqi(sBPhdG z{~yK7(2Ag@{1DJ?1?je;*BNUEM|yiUcsTHEuxU@}a9EHs;L=EqU%tO9kAJ*2_1xcr zhX8hbS8ccB*z5hSq~6ZDJO)@8BcmIy%6qnOlp)~O1sVF4%`FWoCTf_x&5dt-!UJNK zIP%>Gx(sF)5t+kS5RZ1d(-be7P}BA&aphg> zC=o?pK^L{xUBG|iX*IL;KQ}T?l%|`-JqSmjh@a!cP2}6%hs+N}lX(m*`*)>dsJKpM zK{_!V?ceYgyDC(A`=n##_aXgfk2mUsVea^xnP23Wt&)Ij5Z6r_A_wsOlscT z#&1&upo!+Qa%QZ05d_9l!kMAu&%fKvq0;y)h%ItN$^+)qg;>C@5NusRF8z32jVD#B zfQ|?e>2{W_4&hJ*^fyGny>z!ghw07o)*b9>d{am;iVnmdcIE1fp)s0 z?R3@pWHeYYQC?_8npex4MdL(F6zAy9wQIiU1pYxLr<^Bzv20V4_AZOY+SxQ94oCwTW__c!r7SN zd}?L_@2yLt!uF{1Y#8JLn*))6nFWT2Du%kDn>CBsp2IA!4%p2?qiv6b$_c|@JZ80b zNLD-6O&brxXLOxlw_dr$wsyWs$Thy&dkyJszw}P4=LIwrwmToTN4)%(^VR(`e+;yG zDjK{_?k)4YZtmaOtcuSlb-Mx#R7>?1=sLoH`1+}%-8|CU6^?!U}A&SH~dql@4e%M9! zU#qC*Lj5*e?HNjiG913*Q5<*p*u<S1S=bsaMYp*Txl`t)PsZjaH6bdX`FX)Qy&L>2Aiz zS67FLK@Sw#Yq2Hk-M~IuAAt?O)JC`R6CMx45`Xodm$mc?{kXpAN$3Tck!j%Pr@O3; z7K$jwz4Y*!g=Is8+1+)wtnPlLlQg|@F_Zdc@hb7qSaXk6 zNT=EUp04u&&7w;U8PM|Qe`>V;abxFf#|vP95p|R{jrE1z7lkT`^&HT+%1FxJiF4k- ztGiT!Ihlb6{NW&b?Ledkn-?h7b_muv@LWvfffu!BEV&W>&Qw`gxmWj0S_Fb*^o<|p zSY*imQ_?b=s|ZRQT+VY_cDD4Krlhgrf0LXHjFnV1UNMhSi=Ku+VT+BNOUKNOpoJy)DoHPE!|Z2-3M z`!egSmcZ`t)mUAo@>k0mS>1D^>F@AsW{6**KFH?oLsb6$TJ@=;Sw7Mtwp#CY} zdDz3_K`*Xb9eMqaT4I>dT{}$q%2{Q)uCT}uhZ?_HY>D&1fq|2{Vf6UJ5|vtOq>!6U zPjWn;NHudCqFgt#*dv#&pb$`t=P6|Y^v5rCKH~_9dDORe_Yu9k!P82PC`A1LyJj14 z^B%erHDFc83y&a?F@uMDq{%PB2SGM=;~kK)FdE(}$ajtS0Vdp9a$H`p#jxG&K2hPx zzIz4~MF0VZF0gWq8SAm#2Ff1#R~F6fPflh(Ghh< z@}Bc^HW&ViTI~UDfa@GxmxMaSR6k=+QjHXiiFr+P`zL5a%bhxHMC4HtGre5fum{E# zo3ICdCSrNLJ*;@^I6gq2So~HS)?4sfD&E7TbFmr+-Vw5EZFTc`YeCLgp5cfi`xtd& zmsM6u7j=$u5IxI(ZkC=I@Ga|f<5Lp7m)Q2*5`X*BF)(uAGXXWnsR`7%L8G6+Cl-ox zD?R0LW@#CTL5X9DlE|Tg(5L|G-%pkvOxw9mj^3Tqg@(cxTg=gW+>Js1jEe;Y-x;M{ zdZpeJX<63CR=ZZ2eULf9-=sV&aJWdQ1P1rNxj-JUprTlszA7tTk_}_c_ZW^o(b|0B zY=gwOQU=Wdmbi$9XSu}^wdy8gazaIJkQdm~n5KFxJ6JmRb*`}a@o+8SR-*y7@2ICy zxJ8rgdARu0*}L5t9Y!HAMn>85yK#jAAeGXAlKyJG1r%@gcfxI)I-EiyM$)kS^{w3InS}?~ny{sbG5t zp~2cvQT%}`?0B`fIDfF~q^m{c-6H-BQapRQ;1n&+)dIRCzwI z#@JU18olqQKZKL7ZOGUVR{P(>jt3)@9sR)`L^Ib)$G(%* zk|jx;Hh0huc3leIcpxx8-5^M#{Qz?_t{UH` z+CYj+&GlGS8mFHem`O%v^AC0G^lz)MuAt~-&HsTB3XEEu-8tK{v@Bdq?Z`M$rf8EO zh6*!#UEWw`7P!DWq|VZy_o!%igIM|j;9@}*XLG*9`AQ;(3ldR8Daf@YO^)e7M_N9P zZ0Ydr{c(+AvtSCy(=pP_M*0-l>z8TaEk@IqhEc$>84b_kd0u-U&rdH&4_AJ5298Z* zfnK+q4Bm|pD0uc`!>;)O%Lt%>yya*JqeqL4F(zBF&Bf0*_b=tO-t3$9DAFgF=6gZ) zKvz|D>}r${=hQsS!peLqE%H3Ou3IJH)B5PoJY|oSWMv2F{ajDKG7qlfAP_!6!&HCW zpWmIqdDPd0(=-rh2VIdv1IY;e3x@TXwI}q%H@3EWO?wz+8hhR16qtA$;F!99iB7whUq=#Ys%Q%*=}7dUf>_>aC1#bc3tf9{uV+BjjepGAQrlyO3ZD~ z>t-fTqS3IBmf=cizHE^Ci3ZO%McpX~0e`M|!PS`XCqpOS%4Fg5nCJ!g}>4 zEhq`IqHI@QU!-vxNU}{z?5<8NS1JTv>4N)Yqo_s?ouH!ye z2C8KSP#gMX1|o{Irdel~fu0>|`W~yM_xHsr?`rm8imH_Nipt^8XBz8*7K;0 zOT9jXTW~}!gn!uD+090PnXDB^e5oT2MQHyN+X{YH&?;ldMuDO%^7H84hg5ams1MQ! z$d-khr{+2l7r=v|O{pp?Q*DWsDs|LwtutFRtweU~qT=t2XMOd%u6uaJqNy z7|InZBk^0{o5}Q}`ij<8rbJNbW1`~YdoWvr7$py`R)wY8F7}O%UDFl)Mxij@OZP6? zDB3=T&R~SAT74f?Wj6tb5tfn3eOQn#hUx;h2XyAI)bhi*{BN2tR0|u$;m|_uI&d(K zhfV@}sGR2VW&`8R<`NSx!V@RNrpwl%QWe0k-T!J=-X9R}vcA&Ng@8p81Ro{a$B%&! z$lO6IktqHk1Up8x;jxX)6g0^O=t$XkZva#P;p>1=d=;;sF4EgR#OM*hRlQr!mhExo zZ<=pJ3k#|ewL05VS3CF*R@6aNYnLaf#BFF1WRrj0oCQF#<8{W(*-I1MsZ>5gv*4&C zRnvnoHvfRmmnwD8qJP6UhyV!s7iNImHVI_;XtuM4d8gxUFtF~Et_TBl#ga^(~hah5B zi}Lc{!{$}2^-Kv{cyD8w?Zx1guv|}Bw3EAg2E>Ky3HIJJg;owXzOlfin0=oHhQ+}M zUtMa&J^DaCMk;jrR8JYhM|k| zv21tB=hl|{mX`9Nh06dX0C&HxPL`LCPucC^LWcjAM=A+jG{cj1!aKL0EYbFKZvtIW zsq@v#8YAPWsZx)mt&Sy~VIGV|@6BgNQp9Q(zve5VmmwFR9`|}+L-zs@JDDEInp?|3 zZ9m@s{`0w*{z38^GT-*bLCXlJega*eK~B7-p>;02{?U%7_Zn$S!amn7nQL=wB_lDG zaG}SfL=x*}Yoe4tNLI0>vZGA@31~X#xR7#qbAXZ+n%X%uC#k|AmtRhs6&!AH?v2`9 zaUbR3hm?%Mh@$0kKV$5ZR5oy2LY&L-(-?Uik{nS^TRdn~D?DcOiXIybx1<1xX!N>8-$C*KW2z?+iip1Xi zjEoblD|OD1H{RPJzE3wUwiYD2SA!n8%V4*GBnRB;g!pH2-@^DygBh@&|20!!+|&?J zk|&wipgU(f^LzpZH?~UHW_3heKo%Pqiz`cNdlIv3;MoGGgMY;Ajvgr>ke|C-_Nkz6 z7k{XgDY#mautoS~o(0bdKTW5bvpr_6ob%(_wD6mU_^lfz)UnPO7`%d`0=T@)c}>v8 zzIbs$?SXv2-_G6D>HHRd)|y%SBzn@cHY;NW&yZ91+Ie`clQTY^^$uFx$0LsU#;qG4 zgUJeABhF9I+a%|5Ti3kMhpH_({>Q0 zBxYQPck`JVv6^>A{XJXB9vj0IY_sn?(f~!^?e(Mlre)!&xp{_fn{n~YUTxYe4KvA7 zu^bjh1KTL&boPNdhq*76v#1H-N0J14_EnxA)1)|7=SnWs zl%A4}rtm#}BU`oND{Oi1=YR}%u&Z+Z266PW3|tEvtto|9D`Nv!lX*q@IGJx%Kv|Y? ze~FJRmfNQ4S8X(^n>`5@{2#y#jQQH^x{{um~f;R^AZgtWHb zVDs_waCCc20-k5eJEsF-?xm@!v*3G)5^MK}mFhi#d;#vW)Du!U9u_2Y$ObfO%g6s@ zLYB|+XQh7TN?mgf{*?q-Hfbbi?>RXqg=nLe^gD}ug&P@wwZ&FzX#r73gkIMKw;@Q3 z_;VDrtVA9#ngUn~dWSzL0m*-;()2Us^YLD86Zu%bcKvhACE!%bc->B8G z;68;8rys7)I$&aIYkR=^tNxy?nG@UpW27=>wI(dpL_{~|yPdaA%J!kxv(1^B8#AD8 zdoJjv?0!7C&)wU;UrHSfb9Y$2*?lG-9X<{e4KJuOtdNivlPx44?dUM?=>M-+KJr2= z5C*sAciuRA2YpH$i7#}rw*dLUI_mSw@X2sk7*UGcti%T5W2mTd=^7Rlj8$o?@*#bU zhXvQ3461_NI2VHB#Ehe*&r%gm6-v;DjLSiyb@^gq@+z8XbRw8PMG9YT z>UNw7BWdtjirQ_X+CrWc?*Y}w@Rquw-vcu>&`G73BTxldo4mTWpPVY@*W=>Imj%`;$nzEH61MYZ-o*i<$(AV)Q{wO<00J++-(oK|eB6a?jSZg%v|%P6;GGnmTr+ z6$UzG9w0%Fg;ItAN4!VWHG14|;apzE4$% zVj0gl>{vO-Ik%vPP`L{3*5_0fLWde8v}5Dcy8dA`y zOCM(`>A%=TR8wnfkuQqr1}8WQfQp@7Sgs1)08wzp%_vS^&G7?G)Gqt$LP_NVlPK4chqM|zYBONVAF96 z;GAAq-WVnF!E**XD#?dkeGiLc@yk~ag|29|yL zod@a1*zKx9j_Lf`Xg+eWy~~87z@*hR=?4##z@~Z7swZB6vV} zi}d5pvpBCZOq@#_M`A#hA(38I3WDh_ituMo0jzo0;L_f{^QY<=Com5?JD*s?(S?Y7 z4)|Saa4)$*78Rg~F7znp(9JCJEo!FOrm*HOQW9bNyMwR%K%!aB0q*hsVn9hMsZ$DV~^t+KJ_jQykC?>!~F`ZNf0K#h!H*yr}9}%4pI_DHidx*+u z<;9^qZH;w#FiYfOoZ0jeMEiPLzGn=lY5cv2hhnSY;Zv^n7!(~*uGQ4&PXwJa%gqg- zYyf2VDRSgxpfp#XI%XscSJgRN-urb>>T)oZGPu%5;N1~0+xUgM6T;QyB~B{!ZzE7^ zQ1geXl64ms1HYv_?BOF}#BND+Qt8%9X2E-MB*|Wa_e%^hOS^c#_pH7~R_vsj*)uw2 z5DRQV8fTE~z`6TpxYi)_TLHorlMPo zoe^zE6jS}kjAN-|{zctP59$eI^)m{m`MOe&r3$dp9MDmQy$0}9k(R6~L_{*B-Ty4` zvcwet96yeRr6Xt)izW_uZFzZ9>R(9=dr-#^IJqMqHF zJ*7@cFAgpSEuz3cWsHgtJtoNZtaF132#Xb4+ap;BfUKCA7kT8T-qeC}(5>5!i-X*b z2or42>lUC$`M;HhWK4`)u>BKs{X=+aGSALb3CbkFk660+SXp@wQF4Cf!aRKJmBlc- zPa=RUX8MprN(x`q%9&^d;CpG+Wzng71WRwx&#`x53pxRVi->%w4}$Gdk3=>-?`H zDM3ux|4?0xaz$dA>RAov?^3_P*!vzKcs?m@eIk^|xJpOhv}uJez|{&=@u7I=94Vb2 zDtSZRZB63FStlBHbr*jv#HY{vx*?bOpTOJO>fW1WpXCX|KyHcx$#zmW1tUpvz4tEi zNO2%)+ zon>8Qc?pz>VpfG>zN>hklWG@6Ka3N%+kb(peQP5_$o9N@Av$AWrK(25<@w!qFN86= zQ)TP&h6vMf;e*6enDUGc;>ei&T5na|%F-i?UFCuiy*)pmN%s#tjW`mDPB80vg@*kV zGXSC)-daGAtNNN{g_@+Db(x)1>GdC>mMYd68Orlp1gH|!#PAczGs7QODCoCXCSwr{ zJ{vG=wSQvqD+y1C+}2$mKTq4N%-`B1r?oajS(X8RFrjclsbd z{>Gb07lCmM9gl@7#XsJk^GfM3so7j~YP9Z|S&~tIM3IZ0I&(Zc2tG-mAC#?xb{Ta@g1OL zYQ&Px*~F%pRn&|Vo_s`3#Y(}P_J4rFN_KwB8RqvElW5YJUJBL311yXJ{&%I;%QZT* zJ1z>VM0CH9v^zTxCLHqcB4`@@(YE$_lh-mHegZ?YBDjIysM(p_2|1orfAbb|>~WC7 z_Ed2<{8Ax=Z}PxbrLt{J$&1U#^gvQbGYD@YVg;gBxf6#F!y7oc(YtYpf!+?4$p9cr zY%v8bLhGcR#pIp$4c5WKYX-_5Skb@hbhClSwYp)CGXo)RMX*EynG0y?8}*{q?}vsA z!G-he?}+p_`~JSlqntY|o{dF1H&-I%Pe~8B@iAJgBoDjAxX&yudlB!OckNi4DrI5X#))bgYO0g*zo~>J@sgEhiDD8 zE9U#rGJ9%CEK}J-Q^LZdR=Le9{HvZsrORhwd3pJb1w>6IFquY%#Q2@{_@3d-mSIkm zMQ)~Wv!J<~TkvA*G%72p)xctn)HMVINkQ(gvF9_o4>KM0x#t#QZR@2}Vd2q#*2!Pb z8gvGu+8z-v3>6!bii|sGyw_?iRceoHZ7y*x#Evhm&lXAm?xsUW-)Ep|Kt;9obhm=0 zYRyD#&wq=EeGkC86?7adJ-!0@r2sbJmLrKtl?qCqNu3}Rd6Z{naY}ggO!mMG&yJG0 zaHYQ|0Cho2Q^Q58QD)5zF3JcPe5-Q{tkN`Z%D3t7c$|2nP0Kh=}!*sa%gK z5Qt?vSjp!5JJv8Ikk}-fHdBI!}QH>@V*5*?`)7&eE$TS!pNX z=wg*-R2wXDYSw4Qt^e9(iNXl|=GqgFcat)E!GD`+=nJ(Av0gJ`?GCpPT_xG=+;}|H z>s+sL)y27F_&=83!Q$Pt6TJzXh2lMJUUtU(C?f!Lf%QNESl@kwC0vx@TcUG=0%CUS zMpWv|Djy8akAhMW@p(-;S=H(Y9&B7LH-_eKCij&Bhr13pVR&;(B(9=eatDvk)>c&) zWVw4~74@?Mh256iyWx}?=MdRb{BsrVxXjia1eOTNyzT|9-olMGh^w@Q(Y`*TAE36jLA=-zR}zqC=fRgc9SNFa-HYL7f&1XI z)R3xw0D<~+bO5#WXY212KFFW2Gi58joQXXE-Vi7y?S_A@$>RtvC&DZVE)i0hBp@WwVHg;Z3y$g(AZtup+VD?DugX#bT+uhH|M}4irTbfHvQ!tqmSN{yH2g~AI z()Nh-aKMk7eo({nkOGn2!%bzk&V5Mn1(hd#!PM^PgTCo#v)7<)2+)Bn(IU6em5c;@ z>j>v#xO?d)5J%W;Mc>~OQmAZWp*_NuCHZ~i%Y9q6h@onvI5M`A8H=mnja z;=5Pm`lFPQQsvkk3q}}uo)hFe_n6I20llGnHQRFZI4D{2k;U9_f95=`0q%+1ym_ahjt=Z95tB-B#y=>Ou73&t|E?x*WoH`vg=Ak=N$ZryNrx#V4j$7ylF;|qCw z8$eOvP&1LejXaV@H4gPY|CQi{@?slEGxclORywx|ywn93hL@)UkYs|{O`9c_{|(Jz zKX$97!4YIw!4kpdisvq7`e5HlgKekXXCD&xGGg$q~R8S(^FLJJAhtH%|rMFNUYe=yTa7+*iBx@4NT$RzC z$0!wRJw^8IBe!;dFU^@|4`hi-lXAOPI48fqrP6V2m~KMWS9XBcWp^chlKNKv)}%oM zihLuJd$x1x?R8ZKI1>w<&9@I7+UO0&p=!P<8dQI)zaq&0$kxivEqrY^Xw_2){M0 zJs=T$=SFgEJqNl7AB4r+^|_!yItp6$cJCJ~dZ#NkLD|r~h=TSDh$qB{H`r*)+lhX@ zGaCT1RxL?j=TNTx(U8)28j00PWQRuu=*<*rv%?1(^wFcr#`LtZ@4dqBfM{6^*!lL; zpv>0y(x*I3XYXODjKXwpm-PGnfPXSw9y8NNzcIcn_CVZS`zW3t1&BNH+`%wzS(7Az z!>POYd1)w92N3P~Xb9+-@KaDym+hYbc9;XM;^F5esd7;%7aKBb`SCuxi#U3lVp$u-}yQgo^U5TN5<`h!|VW}HwOR{ul?U4jUlC3#>=2YGC~ zQiJv6CO9b#ux>%}u8tbIV_HI~Drs(cNE*v1y=uP*Bs!u3X6VMrJvBRMXzhPmEI+W= z|C$8mqUKl@g=_ze2CPi1uJ?u0pqlTm5c__p?NF1_dofgOWQlbihg3v@9auQM+DbJ0 ze7#<;s$d&6#@Ri#nGn@-X-6bg00c~zdEr;YLp^Nx|GtZ~XS8ZyEPB8a(aGc#{P_4n z@O)|_YlClNTDSLXsi$=JnI1ZMp9_+^g^Ym9UWBz0<_qu()&l)tBbF*MF(O|wy1VnC zp3Hpa2VdB99Y_VT&++j8yANuU3GH>_q1tU$_FBu)8+*jvg=I)g9NRPR!6vTnY zjilMa$#BTq(JSQc@6$y}E9R#bHxLU7PRjqJ4H7n>zfe`Ju9i&-80Q70v=kEye$YQ^ zFM-(GiGz(|c0x((c_j&O*3=;#HgBRk75Gy`a&=uov|_6#2p_~s((1}&0c=585O!%V z8PL}bcm<9Hjur`SI?>@34myICO178SbrUMTvcvU(X%^M;8N*rda_~Q!^b@Nj+3#!UX8Uq{y=p=b=W;8E#b^Y7Dv&{N;G4oc%Ud*iX z1Thmop1Bt@^G`o~^Y59M<>L(@7WaPv3{MYg>wMYw0b@7y{RRLXY`V}RW8KwjhHQw0 ztxuLj4c%}{!icYbmZ_vWXf$Mp+FE|^B;8*J`GJ)jrC}cmt)BWH*0_DE z@~;4ENs~(%k`Z%g6p6!~h?O|{dFcguh+w!in7E@*b~)xPWQ@WQgOgT5O#RmeLXPY! zO1vgzfILTTG(|0%vyeadCB}gw2)sA&uKa_19ouPO06JB>UGqOPLIH!*jxRJ&i9G%V zV3HQObtQY++wLEhucMd8rhFmnB{aL=`--Y%92fUhxX((77Pw(2yld!+C@sy>J*Hvh z8PNy6H`ZUz0e8-BTIg0Nyt!r64%y{hZ~H<=6KdPDRlmV(vn0c9-1Z~xubqSx8mSbI z4m*%NTBWGy)CFYa2GGmsmgs^LZ>#mq2Q+5-&zeWrt@qZy>!6^RZ+R%zh}V>@%P7zQ zm%aJ1x_@=a_=PI9W#I`^@XY~iNAfwj(iYfD%dr(a8`5Y-S{7sAGKySu0%M>(L@!4R zQ?CHt2y)g*AKmFc>0~#J{n-P(ucwU^X!@s-=5i2o-U7h%U{zv$Xhq$?LQN9>jSxWE zn1a$v$Kv;1Z{DZ^;(t;et2SJYkx5oaYW+uq50Y9QrslWu)e25>A6{D|H#ikf z4Lg&MY~e*2x4fhR0Co)IL9U*ny(}du*$DwVV3l7@2M~w%p0e;>wOGM{J!R^V&9D`8 zGs!cXw<3cr*9P!oK9f;<#S^=z{m0mQbo6XA;)=;jX(ra$AV*Y>?AX{Shjh`W0H~q~ zi1~I~-FDNVD$pS!uSSvuf^;HTY3 zHQ4*#6407ZA^$``%O^eh&kiFJr@N!5pE{ss@+KK@g_p%n3dpav_gg5Mm-CC zC>IqM*u|BC>ZAIc0wvxfnk)_OYd=SSzQsXW;rGJL?ReHUVBA-e-MHZW(gR>tk4TR{ z?k#g78gx9Mn`+RE3#ihr@W|W&HA#2BN#YwP-KpcxuiyCf*bYgg+zXl?GMZf+Z_v}x z0c#%ASQ`8j9<9lInDGV*QV@BqWJe%(7_ZQN$27TFMGN3{9u(rdc03a^`@d!D7B8$h z;4Dj$c`(bv#-8sIcf>nQ+>?TWjx#b!>3FzEE=u7k z&j9FXVkp0HpL6%X2y;|Q6Jax1dDLNVKtpiyplp2uH*@=l#}v-z!4Dz->V}4fjjiDw zBywxkxW{gL(k^3Q9{h6x?^sTq;f(ZJGho^rG&P+7Ru~n4OA#ZN>kKVjrZF8ttS%Tn zKE4dl=_wKWY!y1mgnuf^^LceBK(YHzy`&~NWRb~aZc=T%n9Q=XaLFR+2#U%9w>Yu*Hk)h zU-tQ2CBVU<4-Ac<>XS&1_0jCLY-*A+o_yTXi%l2d6Eq^bNXpaZjL+82 zF$GB`77L}I-2@~{3JMBFiK-?#Uf$xUv8%fopz6mTPCsTc^?@ieC_Aym{fZ+p9}d9L-=FUj>yH19TX zSe#ex;DEou6IZYv`1C#-Sfap$!UnThGC)RsOaJ6)`)el%|)=+rk2Lp!Qp*C z05x)L)Nf;LJUEvwGfF-V$KR6Y5@WqJ4?TiP3=o6)gy;*wcpBW@<=z>N%NtmOaEloW z^ETr8Xo^{OoKxJL3BNXBdWTA~S0rl4OIYZpXwAB_X>Cm<2ERNod{=V~`cFA@1%TV# zoIiRJ(?cn(>~SDg`}(NZ$mk+3FeX~~0TQW})=-i}%d}f=Iepm&-?#;tFj!T^>g{|r zmU^ofgO?!R|4|9>@*G%twhP#h%OPGreb_2jiQeE}2AMyZ8y0^W4bM^v#M01=#~mE8 zOJ7F;#q31u33hl@AwXD$4rrDvclcOv9gM%}ZLtEHcLtR1@1WC)D{dxdOmzz^gmE?f zRI*T-`B}ho+7&muH%l0raWQUK7b(x=iP>BpnI16$4qg(^;<#FWtcR>A zYoJD_9+1F*otDTbXRWlGJ-l5xqdc6^5kZNE43C7HP#uWwxU`dR;zzvP@10#VpyPFr z(rnwD9{D;KR%V|4E%#2j0Rs9W>|44%<2fHc(Z**kY$HRXX+7CrE4V=a4;7-l3k5zT z$A%NW!^FZ0&3>1lp~|4-@Y1XN4xdKvlHbYrc^M#4FkZCu2={USE+AqbRpjy`0Y5kx zQ@!3|cNbkvtinU7C*w4xYG<1Stt-;BHj-5}s2Jg<07`?ZV2YAXSo7=5P^-j-(@v_p z%bFsXQ-A!W{0<;d8r|w*NA^l}IuLcx%a2nfZ$^{Ivr^yuLBay^0pfMgvyP6AR*$9G z%ZP>PTc#yvXNFb~NjsX*Esm5f-Kj3$qUJ3MPm#DmV+aG+YKGj*;*QzN|&qz&XrXPtI zT0~diX;2vDH$PrW53Q$X@dC;)&6x!t8|`3WsW3>eQaHLLWE}NZx=UcstXsW9R+*WyTgYt9kcSFs=ocvo&m1w7xtYd(Eyu;? zJOkZZ^zrdtxw&8n@<+N+jLl^Mxt)1z1g(6Yo~k;*k#MnL5;`?7X>90m97v|EG?4x? zztc_I$S0$N2jqVs#7RhiD$6}vEcA(sOUnAXTag}bokNz8lJ(ADEM+~ba&$1xxnH77 z!Wuu57{Bd3lT6<)j%^3gvV02Bg~Fvu$=W%QB8clJ9*=#G=pF_$yo9Wa&>7O~zwwUK zAEfzUdwAj%y)q|L)A8h;YImV!U|3l1ovj`eGL)woydXRx!p^BdVDILO&|{_x5g7;x zm82W*mkPF0-AkA6(NEVoao{4Ys=Uf~BF$jB)3L1;=q6{f|Bl#VTV0S8$stt}w@ERP z*DM~2{jjIIY(>v*Rl=^|V$)!4AZ#0zWXYycQu4^1B+s18xsQSOej(>sr+@VCTR8oZ zSf=8bd9dELP16vBzwT+(8lk>!@=gd z*lz#6V9#{QD=#$b^&a)`7Rb#sq-{aiBE}S0Ox#{!rv0l$oLHYaugrcr zP=g6({c5MeyZgqH??+vdjt{;sa0hnkeMt$T@xk=`Jo~BFzaBfdxb7LCht-ueCcpBe zZujJZXvKT4hnL4f(of2z$Wgsj&KMA-?;|)lu3b99apYrtd0%oY;HHz`y7{>QS?j1v z;pQh#_%X7wnm>86^uFQhwQG%2Q=Fsr49)qK$+1P11+U0IU!}|22?oU|91g4)~K7VlBlpvJ$qwcQY6 zVy8ViN+i*DO;A%_{Oaq`-{zMMjVsR9U}!$Be2QfEFUqxhoN`*QZgI9iK|;Q^t5eqM znM!Le`AytOj~+I`!&_LfcOfH)+1SglFchoEeOxDN!^?to9c14hjA&^rx0UVuX9G#hS}X4 zHW(P$*iU8McY5;XH-6%0^E}M?H{JL{r(0p*`P++Lmr^L_T>SH>z)KTX-0CXduy4$1=iOWI z>Z|{6hRf!=NU7M^BaVJ?VKw6nAEFm$`rz2Gb`hTpft&jNC>V!`S>!x>T z-@fhNl%M6s_U!sdPHgo{llucMt%ON&5ee@rlSW_H9(_9(CmY{Z$bp$9u)&q728z2w}netK5a3T|bv= zDvr8kXUDIdYsAiSqQGTdZ)RrZgRKYFdY;I=HW`}gUrjdU3;7q!B#>Jv@yDHK%fwxS zay|j?ay1MVsr+C)iyf7}{3V8ATJhkTnaps|aY51r=9i0Iwk`ajwKjhk9;OGEFQZXLujcxg_6?ErQw|G@YhvS0`E?Qx{~w=lHEUfiO)I1p*Iz7Jbn4WOtEarmipSg|d? z!<%GN@oP%rp`Q*JFi%DGVM@GOy{eymZ$HRMzA$S09Rms+smr};*m|6CL5BFBbE$X@i4GaaY0vFa5n zh_|~=S|>aIuS+6`ogo|C!r+OKGB(E=5ya~$zZFF2@7FZpMRp|nYf;P@{(s~wBSy>l z)L*Bw2WBmQc^ELNeX#uDD&c@g7iJEp|DNI*%nmpjBCri=>TST#p&zX`AA}2FizzRI z*1ko`1XLU>r+Rx=kzdy!x!&0@JK z&`0}|bDx1s2dgbe+K^7(jU z$p!?TWXA+adKpA|%xN9QfAQA*nsL&eU(i>&yRydHvzwQLh=P(=6oqKb%^tjnvRAq> z-inaq*}@-6Jbf`q?XtU^$J;=qF{TeWE>a*wG~Jsp9PcnCC^tDSIz}{IdlnXAQD#)I zj^gk6!%dMxPqQ#aO`PM8m*MWZpLk*z;VS7RZ(%1MTQ8(!GjQqG!y|s}gDk>hisU%NnwRGB)^~QbQX!>!8^SIm1yWax{3+g7m&m!65z+E+BEf=ZC%?)=w z_*S`|s#M%*XaK~8p^eBbPhRJ}`*gJ=Q&hh)s9}8nzJFw7W~Qg7pJzF7`tbfqVOjIY z6!^Jc&#|0PS69E~>VA28w*_H6P0lD7Sh*hpXpU)<640a^MeuB zzd75uY(Mx`_1j|I+W{Pb&UV2U`tS-Sk0*5Biv2&%-UFWM_k9DWqC!$xmC-QDUfH8U zl2Iu|_DZt%ItU>-6-*0?$j`My$ z@8`Mi>$>jiex5r<^Wm?JOLX!}Lb%uQBf|NJ!>1{~KkKQu$PEPp(u-n>gZ|cTcY1Q=1B-ag+uK(YGwJB$ep))i4aL?+rI238ibnw6s4TJ~B8u@8%&PD3v5mdPXjz zrQ-Aw$GWK?Y7u&yVA$&eQhzRSpiBkPixV-%S6j0FzDo0W`;Baj3%hnqnmoXXLi6N~ z>BD6#IiYP^Qa457hYV*R955vrUcH+ggoHnUR6?(WC3 z4;M61%;9&!6j}UbF2SJtIhb_`z_$=AR5ITE6J%s$s8ebZW}Xan3P1SSGScacAzAo- zy3xmKwwHGei*AR?4ymAVt|ChsLGhqRpGLoPb7lm<{L2co(fgzS?bp!o1ZH^?D9=fW zkn0y-v`?|C6NOH@iDm4<@Iw4NjIe z2NfYORMFEP!{ z&DH7i-b|t>bC}cL+uiy4^()7f5CD_DzP<~TxAn zFo7vZe0a#lJl9=e*H>Yi@nh!Z=5P@N`nk059i52HOZ;KdHx^-$UZJe9j+1r7W#S>^ zd`4MWtd(#OWLinPK1VtuDcwn}`z7Uvuf`|zF><3E+3Uynx%0FuTna{Pr}&XkwxJ;* zhe{^YX4RVhD^C7bIK4V9A|NVrDg1r4#fZ&sJ|SNVo9t!rYe~;f8ytUrvzs)bEHg8J zMh6k5%QHPh9ojg9!MN&fD=gxwM}AVIIcTSA`pYFo*(Gy;-XXIb57_iuPqPV%V((NDPLwfSYsi1 zT3`EWa`4D=eNQYsKfjB88o9mH3|I3*qp2h{)yMnj$t5@=`tXmQo?FJo#>3V=H!pHD z$Dn4)UR&tkFW{R*mU_PLZKj(%v~_tLmIltXJUmKWm=z_Kx4nfsRhy^%k6c$a7=7#b z+I+A$_n#+cjHZuN_}|lP0fQw9=8tgsp7i2K^K=7Ge|at{~6q(lq;xmQ8GS zo6vlTSGBJ4qSP$<e6Z!+xtHhC90A^*j%l3ea7I|Q7dcj@s8Nc^e{UJ zVh!1NdZ@3fHD3Tu#1?T0&3-If$dn)H`jI7xQN`A`w-YK%SNA#2bd z(_}0qR8LwK!IOUV{UME@LfPALZOx-A8DFHx zg?4szjSWc_H5a9)`@w%6T4>>K=Mc_TWXT`#;{Ky-T{_glu}JpCeAOXpM+|opEvtz# zGITNQSWZ{TkZr%u@it#}F3^ppnxK~FnfYLV9<9tjoFt4Y6V~qGqvQk&{iZqAE7SLL zJ{9HXzlBd)f*%lCjZ}Hc+HY}1{L$V{5n3J}dsZB1kX%O#~^@d zKgMbvC8v9zl@*+jz(CF@sd(ib8XXd?*br!%^hfKtbg0)oQ1`;Is$o_q^<9G5LoMX(iUC?DQ#wEX7pRwcTc2jyxr!!2?+;^rT-nbA?-g8iO=BePS}bP6rX8>S>DQ|~{};WaoP3nv=&gw=SvnI(l)3&x{Lv@6&8^OgxG*k{%+?tmSWxRW*@1nEUFt z$Z8iP;rB%tb)eCA0cdaJ=J}wHa$@7Y8%|@fjd>h7qinb^ZmI+NEh97e@k{LyDB?kK zA*g+C`X2L^IbrOK!ddNV#X92%hk1sXG!K1>s8&>bWy`@D`DUa4A98xpl}3<{P7byg z6%|Du0Eww(&gag?e?P!Bd)I{-OfM#9Di;27@sLTJ=%GK-8SXl-`=sxEN{{ zLJ+sdKjDb!f0NZYsc1U?C4s*hOyZ*@d>Y|o@$vKF_Z3rgv``eNi{DW3EqeCAHo`#? z<<_RrUy_zg{G+pNA35cfN2mFtv8>d_K|?le%Ck(~_!!a|!Ec0^dYBV$VSs z!mi64#atSX%#+x}fz7Gj{x|t&04ynI$cQsCGi&lVl;eb}>*{2xLq!Ay8~o3(9;nXn z&lN`TGz0%}N8du@#+MQd3@#TG6g+(R zP*UVa3|z%DtBF@cOVRBTC&J>vY49v`e($ZKCG;|^$ z(Ho?Ez~ML){-b`e=uTl28Ao8V>lvxYvMh?kw3X+@+-4$?bd($m6meXO*Z)6dfhm({ zLHNC2q*^Aolr$Np$A1=dm4BIV26=NQ<*_9>JRmuf*g)RYD z|#a0$6;L9s%XHWN)$bd49O z13@44yk5mlar6+OWyW+&%sC*_h34%zmo+t?-wUlO__;Fw9bf$DV{|BT+&bs$X+9v* z9*gOn-L8*vy*L)gTLfgke~@&)=2J7+l+R=Ru4$0{V!KV{Q(JnSd3@~G_^cLjsonS4 z;kIYoM+K!CV&^QO;uJS0(Kv5kCU5wL*8TF7n^oizjz2z*Md=*W_FU1_C10`j{f*U($Q4N+0g&UgCGd^3A|{j{cVY zD17NsGZYPnPq(=WwNT0vDx<}NF{RqP1@DXo$qc#-2;z{|=bq{q_m)|3`|7>xKHYur zu6jYovEH>TB)BKZ0M(|GpiW9Ptg4Yjn(P=x^MIjA> zwq3DxgLxFg(_A5iKVnm&2QLe#{36sIw$n3~P|_x7PE<`}cyP(5%7vwbAuW!j0+Qq1M*X zukO0k|5V`zLv=(Dq1DoFdCm8tltz$e_!Y$bKK<(&ul>JD^LXWa|Ihau_QmHwyG0PL zWhKt6NuXU5JQoQGpu8O^SmjC^e~$3I=>nUOujQdHmOGMG)s|ZYi3h6wH**W_wX`l1 zK!W?hONuZ8n zJ^)eu-s8t|Zf+9c;o-2n+1S{=n4eEAssATUV{L7_@N5!X20iI_}y12_;w07CEj#kxHDQ5p+;C zHjv}1@;CrS`RWZ?d(`rP)&{lGU?HWq`|`M>-7a-Zy9qq<8TTUH`vC`;rM0UEQ;UX%D()wTdDG-6C(7%7^HPwsmpd zwKW~54)^?)Y~We1lRu*vqj9;&3VJes;fgJYX`IZ4Bq1SO)S(cXdvhC&6LvAbS{(p!Zwvy7(h^E!|=~cBge{Lqly#ab!mY=Z!m~KXh1V+HnN>i;X>vvcuDY^)h#v z{#M;{#PIR}h}^UCbo6)dEBuuZjyYHvG@5aEJ3>I^w_Qj)`qL0mr>z zMHZ-j{zRc@KJ>bl-MjMAd_YlI8PK(RCEB%ON1MKKb3EfOs}=8lX-txKR8VqqZrOEv z38#DgQn==l1$s2&RA;onS)p3jNHlN)^VTPYSr$Y;|FNj>6^+CW)mSZ0w#r`Jcnb9% zC?8}z%p9TL=dSyMKb|3~sZ>QnFfzk=*HiC@)NuRvPmGW_rQb>`P-`@_IyHK%cUq^N zen22zFd=Vsk@lF%+0UAJ8wVgaqJNM%{y_$%zl>M#d7;Un8|4(fdKCULApAq^j4xX8 z#sN*<|0s^@=Jkq2*e;EPOXmU(EzH+DR#>3JX2O{LO`U9Dtd-c_{u(01dSUWPU9N>@ zdmO3d`Iz-l>rL^&XWj9~l)^6sdJD7U-j$UfA?7hG@GXcpY~d<@$~WIsGO|9dmbxXH z?+DNmA3oz9S8Q_#Wq&q~w#I1Dqj>6axI8Zp@3E?r+{os4{3ohxv)Y}skRA8BrGw@7 zKj*`{!T%SzKd16V?g43i_4$f@*psaWi^Ye{Z_7P4-F#X6oN+ZLoe|4ppu1Q5-++Y4 z@I)Lwy0}=8Io)ZhhSy4~r#suAy;OqsWAi~B_Q(PWa?vTSw6rvCzN@eAJIInImX@s4 zfu~4(Kpv#Qtz*+uQ;lv|Lm1={5O~=>Rm($$kVJb;68=$+Uva3J%W_7b4~>+Vw|nbB z!fqO%$BvY8!6!4ReD^!uY-bY_mJ!XIiWc1?R|cJOc_5*->Vl!qM{+sFI~)i3H1(N9 zWX_l{xEIK3okn(soyJat(23mC&^Vu~M)pFD;}(1e(#L49(6HJ)ad@~SK2~(b9Ye_9 ze-e!P%hG@+;H(k;vdG(C+F#6z@WvMHy{N!2rm|?(R@D)l7~M*44Abh_Y*WV&t>|kfs&pyrTSoIbd>ZIZCtiSpo#(v#6nY<~XJ^No z!r4Ki{fXNGm1-#j_#3Z)fDBj}1X_vysYBqOpy8?KY|lYxAdt*omaVF)pKvv<48@cN zH8z}uV{)(g&UY~2r!yjF$CalnazQ~%yRPazA8it!n)*-Lf2NvxVPKEF7DUxF6aAQV z?r;YO2N$BDNFDcRxFQz?k)p3(trkXZXuEG35rFR_P6U22fs(g zFu}JeT6wsqA!}A^?+Pt3BU)HiPUk4W&Y8m>_@k5Q#KP|Ior)zGsck!1B5pM;l@O9=hIO$3$RN#5)%a)HaUa1uq6TskS^n4 zlg2OSi(m1Ev%v=-qeLs}$E2;-@{}c&Lu%4K8ZtI6t|OTzHF(-zrh2N)7{NQGoZfZa zLWEi@0*p-mp#uFyn}5WjVM)R3FJ5zhQ!|UBd6GCa+nUeBPmUH@)e`Kns8cGlJBc=Q z+u4c>4Z~a;;2#WrYeO5&Fd=3<4AqW%XR=3qdZw)C{Q3i)D56#-*~3jW|NmCtFPxj^;w;%dqips`?43sxC{4Hv# z5Uhr|G#H$bkyhQVYm3|nVbZlv4DFo z%rf>is6h^#c8DLV7wL<*^l6EY3eFj0edWNHHu?MM&FXtMmN|Yp{n5DIF~<7PRsNrg z>|E_PKn~WB>;t==^Uz(eGBJd9b#+PG+VbZhw|;9i8m%w28hxKG``!Sa1AuRh);vo5 zIpTkPBey-lpP2Ebh5(_5p32?f_gL5)$iVXOh#adLsiRO9Et=z zJGSCjZ4bKG(x#l0A4ulXst^5A0!2d(aD>g9xnwYshyGDO=u(_MsSN>{AB;Uw;KW8UgEuL2|@|${+SWRFNva)beYD-R2Q~x_Hpzt?M zAC_XoMw#$Rz6_guL+e6=|6b_m%zXmMvMJWSPM-YGhY!AY~aIk<$?QWr5OA-k+x!T*2&H2j6NH7$~Ue4!Tq=R;LyZFgOq@Z|@W5f1Hl`GiGe zTph)xT-uf!{PyaSSlvBAW{lk8%12sAP&sUP+A24&mhjrxPHN3q`0lOmRHmE0Cw;*x z$S~5E)vilRyc#A7{IOp7{=skOIP2@FM{CG;R&lv{C)bah{t&)|0M!c@tqNOuVXGH~ zg@X9;0Zl#W-j$pvzUUwt)W3>fAC5hei+$BgMX+77yXPIDszD&^Hb%C$kmA7<|9#|_ zjrsJs!w@~EIJh6Fs@88VPZ8cW?gaAsYir?zrem7IhR4oA&dl^2f$r4rImCQe;(>hj zIrGWtYyJaHboFFka;8a)aLC)`9ddfnI@n)M1jesgm*Ryk&$n!?GW@l{g(sJkL__HV zpAR{xo7uSEYy`9GH@JlcHFdy7)LM_t!uM}26t7c3s6WBI@k zS8R`=zI^$z0{y<b z^ZJlrws!pZ_GT>E$xjOhj$#!Oj>P)@{(@e2(k`COoWw0|#8Vt856*A69mr&bjlxTN}d+$vSVuGDc%z^C3Qd@JwOxN7cp82}M%LIsp>H&ZqU^%@+ zOQr%+D_W=6a{cE|N*XRrT_>j~HI7O8l!AirX97>Yj16*y-?0Xm-yK~J41cB?eE#t*V zI5#3OQrpG9sj11UZf(?$@z6runY-fxlJUy?!os&f9lep0^BD{_U_lrf8d6kJ8eQIe zbt}cJFV6?|zAK;Hf@XQ4wb{N}-xKEp7>e+7>f4-IW&KwFDp><@^c}_J&bIb18Sa%_rr%j*t5KtVy_3RkR;GE0d{rA86=51Jp02wan-mB43 zy+>J3RDT#4l2!s>{BE+numB7E8~fH|saMxv4Hmy+-lyp@Ix;dc9v+^S{sN7PfzBC9 zaG!x}cvyEpFe@wTW$maeqa}=@Bibzz)*@bJ{QMaJztzr`{jfXETyizz?u6EhR$0F2 zaX7=c#+t4tOQUhJHC8^oYh`tHF@$$kZz)w3+ zs76xm^6Rp)^(ubR`A*_((3h(7uBHT2ihw@3ppcL}qh@O0onX4}>Z*l*Y==UmTA71+ z+cG>bXOsu;n6?G95byfpcL`XIco&7My`^vzzn(aPP6_gOB~qHSK4H8oD6tV7>1(<$ zm$OHTp41_*GB`UJrSVnx06auoc61<0Rb-JCjh}24LK_YgniEOfDqM)&+1BRLEUq$^ z!l@%9b=q*7!}C?1hqqz-&+q``gc;mKAPx7M+e~T|r6Hc4%MTxAUk;;9FR&-g$~q66 zos68kb7-hFn%}q=5YdSfCrBmJ#)Q8X6x`R*X&(!fQoca3fGmVNgyt1DK&~4ziMu8U zB+ae^~3 zbU6%YJbAKFebW89tE+39R$;R&TX?By(HyLD=;#oK4N#YdWxjy*T5@CLaR0!-GMq#r zZ1w)aVzvOj9eOhuy>SBYE3{D@I|5S6a9L7bs1G!Pbos9P%N)9po=d>!vCT{1x<1eO zkM|$k+(f!#4Z%c-Vh6szf0r@-huWbzJNUr=>J}?8G@(RnZf)&tdN^~74+iSdBH)nc zOZt!R>8RiBC81%8xEb8)Sk4f8QYu2_d;Ys$j}jc&{wO8?i&U^JIwapP*tTm zbLNbl<9g>03jLu{dxDJ}_n4TNkC~aj21{%aD;?_KCv;xvh$sEM1><`m?DoQJe*5s^ z1s*c*p)yC?$(FOQ(m!Tp5j|zNKGmKGhfw=Di7SJ*Q_OLG1xe0dKhAI528-{yXna~) znlJ2?;nYmOzPj2mFwlJFuDCTSHAq84`EYZoT?j6-X`w zze^OyzCiNz1O`fJL}GTir)BQE*bSxSDFJ^Ih;iU$E$Q^zgq*MAw}@5<$kYx z3J6v}TvC&g2w_#-`lNaOWIhqv5;1mO95Lk=)4{fYv2f zS6n%7B$t-{^XCC>xHY{2L3mx9sC|Iyr$>v>nd~b2Z2&8Tf|=u9xtCyCYuW$RKRv;P zq?QL9=i3W@Qie7*Z|KDwoEjypf7M9{Z6mG6@Xk8{0f8?bd+snVprsm4x_&0fKq(E1 zal6Di9YNymN_tH}$c)_)j*j!biE;oYW)5EFsSiCb#?<3Bhwv1AAdkPrL`N=hf75o@YsD&aCM8TIN0AV%A%w)^0Khb|e4W8*^; zt`J4>Ez?We%k8cTYM-VxSoV<_S4_;)HRfQM-{8%4MXcp>PdwZRmbo-o-bdO(*$0;| z<|z5*Fo=;f#6;w1HJ#xW>)+!bmd3Z?ibP;N(tItp! z$1g${djK9TMMLgpD0{511<17A6)UG989*WL+_`g;^hMd(ArP+0%WKAw#$OXnD&dZUFhg2lDCXboX?zHA=ny*3rYPDj2B>;7Dny1NVhInkFvfpliZ zr026bKXwiBykyQ87Yp&X9oOUhvfW2vTu+$xeAa^sx2Go|{GMW`#Y^}!Qc%#%ZpHnG z3zfkUKM*O6k78HlBonco2JUkx_h39K#fK>fWl)EwqN3UccEiD4zHoEVTk}u}GOQ$S zb7z;xJm;ZBp2C>?=BLcercccu;<8>&y$4{CNZOUN6|_-*sj$DADFDP=s!v4;7JMh*!G{FK-Tv4t`e(`h|@ef{CN zPmi*GDd=pyS>H2g3~^4pd-v|!+e{m6j!4@^MBhziafV9Ft)BpOlaem#rbW4etnREM zq+~m6osY|X8tUrGVJi|cRxxdZ6B7h)u5ILHqy!T1KqI3^OH~z=szU+0AC)A8d0>O- z$#QjfgQx}%HP57r1?o=4E~{+7Auce4x}My1{Z5^0+0GnE6EV-4NPD3O%iOYkY4?3^ zUj6f09zgXF3JT5oyvBs_Q4|nip3CZU_(T1=4*}UIPXPQ0*j_)JHq1*9{J)*@7w^5Z zaT&p^ewEuP`w07lYl+Gdhg=CYH3aiI{CRO5{ryc4M*``(I|HCS6oulprv-QS`QXS; zKA(A1vm5Q#LKu z7Dccv5-TlPC)lDNKc-<-j?;w*`|uI9gKKDpYD?``fBrmTV%Cx~5~~WXnyRW7C^q*p@YHN< z6tC}@t&hX*MX6$vlItbyg#12DWvxO*FVr+N6!@acEm0GL%xU=^FWlyB6U#8UQ@bis zMa5$4d+V-_Bd}VpvxWZx%rb85K56VUUotgc^4Rhbgo})azY~1WkOIM$57i(*LDs*2 zUM;jlw*kCx1_Acl?hXzMo(}QWITfF1{Yij-64)u>Hi^mzOS0Dk>!;^u`;oC{Sd|Cu zP0FAaZ@gKapXfD&-<1YilOYr}e5 zOb;i%JE91=nw3hP`W~usw2X{Xp?e#l&H&n+XLB1jQgybNvo%ZdekM^p6sBW|S6<%2 z6NVg4=yDP<(4T1+m$zgT%((fX!RCw(>T1 zIUDXci)X)_LY4f+U?S(*71Ts3*I|)xVbBJiRI85PZT7^@MC_Ro+j_7@;hz2;(AfjF zr$9ULYl!{s3pfq4QWr+cDDm>3L_16@cQ{Tl5!PHB{{QIBcy!6w>a2}zk$72Y=|(Gh zTZzGS7N22`yJL#nKYbQ6#5%SfDqro<_*z&9+^OP72d8%7k1a6&ECRZ=S({Y{jH>`v zBYYxS{iHKd<3kE9wLsh;wc?w28yarGqR9BCY^-yG1o=MMQavLxfFd}?kPnW8>=mpT z-R_~ho2n8N6f~Io&{`6vPY9+I*6!~RM#*f9&DP3{bG!qf62K8{1Ka)fT6lie7B4mx z3G*W!;2 zC?Bx!;48Hr^DXkl4S^hYOHNL`(tW4g(Rpx~(5(!v8iKDd2t@QglaLf(dc%5Tr8oxV zCK(=DLy!ry_4eGC{c1r?MjC8RJV;k=b-f9AFJ^reN7b<$OlX7Cp3E#Pj7UmKDw}^B z$GOn%R`h$&lp|glo!h?R{mcCa%=iF~3Z8aOXU> z(mk3&-B&KVuRitw;oaFNLz?|#b@dJ8Qh1Kl?zS^_3|0(8Nz0R)6BlqSfhZl1cp)@m zdCw9%?481f-Sez$cXP~_k6_jEKUV74=fGE_1&{n*}Izd%vLeDS5>VJ2589L`%Ly{u$j-XVV~ z&aLt(?FHwh@nw-IJlU{Kn5u?`;9T1&W%2bvTcQw-qM-Y40l;pIc%N)>+k$yUEu6RQ zyw+#z8s|84>9oJ@__r`8P%iLqX^9u3X^!OPwo?;fZsvoy39$YZjH7;I2z`{G`8oHc zw~3UZU(2U4PpXyev>FXUC43>28^EH7x@JnPjaaO|>1RZ$-0LB&%8}EkFI;&J2-ibZ z`&FD#uI762jwto@`v@+=dz6X%L+jG?7rK_WlA7w$pN}5Gm!vkJWHv(EO>nG+#j<%vegOb$N~@wnr{|aaSehj5$?k115O)?w#6hAC$oeBv9!ETR7v^7$0ch&4W#9Hd8aSm3aX0W)UX==b_&Re9t@$d{qJ|q$+SWibda9E z*kc~yML)QZ4LHdp>^2jRQ4=M>RAOP2gsUJ7t{_nwAEAn@|# zb!bGo`XDVzwjF;B(CQB*0guq_P`HYAsXaQ@y9qLoP9W~S0N$}CqW?opYV1dnG@i{p z(a^{>MR7qqAPKwuK~C@55P)2ug^NHrlhV?NLDZLp_wIrQcscBL6wQ#4kr8+<@iz(6 z!5Z!bKX_gj-d9vq$W?1m98ruFJOLR1q=0((FfgEc!!^YWq?VV{0fWY)YS4ZbAl>*)rT}~zB6CpA;$l?Jg0*AaPD1 zg2Q@svl}eEnmg{tDI4wY@@h67n!?h=!_*(O>MclAAfT+DQY=FAUx~m;xlLSc=9_F! z45ea!RGd6L@HhczNIfi^fUwJQ$?%w9$4~G+xp^kjl_HnQCu2;lKryPtuH*MgnI9|( zp(hgivAWgnzQ#WYT4_kUTZitr`jaOl_bK6W%eA?|Ow$l_)*F1smnli~;6dSC1>oED zY-?-NmYV>Bznz1_FOUQ9KQFWx3V^Ci5WN^Rjiwc0Q*-m^s>`y<0#R{V&e*dU-=3aF zUyF*2ui4~fXET_a(=WKF){UKlp<5}P%%mD?43%?s7J+Pn-%~W_e4?tA8ZBY+lsXO=|?9hXo+f zh;+kQZLOF9ia7#yXDH4lK@iQ#CP4BMaXCWv!!FZX!Vpr3|l06r~y(HbNGzW4xI_|iay_-Gc&mDe!Qw1B{4JTP9MufNs^SDToazCKnC96 z?nHjV;@yNB>!zY(3^}p$djxJeWdX^r%CN`*sxHyPeL5*HKhFydT1h9Qd{6XTQcP9B zM^6y0D}@~l-91Ds`tpb%iPS1^SG+`NyPDIcG*zsK6Ww@mCEy+<(Rahskj08&PuPnv z<6EM=Auq>X_840f20<0HUrJesF|Uoz1|(na60oiNg2MPTj`0qhHMiATAW~bgj{|f4 zB~Xqb)e75Zo`{dv16-`z5|xnRxQ@+{yTWvtqL_@HUg?!gn|@o|pyr3jh={ckr0IHC zSRTh1^nPNCq-5_~)l)qt+i<0lomoDdmzgQy-u~|DgDpC}Cn_plV)Mm^t2Q$taW>HL zySDKJR%mv`T0eu1PO+6<;ts8VQY|2uqh>-ddl~MY&~fN9DxS@2ZrMA(cpj!@)O|7~ z*5IXpO5*(5aTgLuBlnoYzR_I-Y$+ z9X)SRG7%B9=NKv$JNA{fUY{3)pI6DR9p;}pA2h~q_&Z6$kOCHjQn2=02RAzY# zHMb_=TVOXka^t$dxofB)_!)F-2-{8uIa|j`wjv61$1}}6=3JXmQE3QJIh>&OiPt$n z03C&D5#H7GP}L_JGbz}n${}q&po808I`RS@_IcQ0?m~jct}|eghVoq4ETx6@3F)b# z?!ujkXhm?DF}*iA2Q*5nC5rd(TNb68U{l(lm|77Bx!f9zK;i)8dcT^S!3R>t?UAGS z??Kl&?f>#}h`R2`SWgrQH$$kw>hEsgwsN3mFCWY!SwE9O7uwy^nI`L#d3B(!oYw z=9c@47VFCN-p}bp7H6$-HuJ$g062sMxiQD)Z;ktukmkvq-02n3j|QebS&kvzwc?DB z2Hzi}y)Il=?Iz4|ouw}7UJFPzw5Jz)r#AZ)3)c*{4Z^F`>Sl@I7q@|ncgGqKf{FY` z&-it(ZHhk4uP}a%Ra@#V%4IBTp4`2gv>qB>IJ6AQY7!^69`>fe%?DA>*SjX&3Wp$n z%L`gZdoY4xUp$rI+M-EH51-~XkzsOfcY8`|44<|kemWwT>04rj+RJxsRT3&DK4L^K zg}oA4b#dwFG+F04G2?u0bGkGHY&qxl;9b1>b;shsMTO_sP&)KuO+=gyyM3hN86`aA zlxcSP)37Evn(wJn<#EKK!WwWnxxvJ28{|)8i!FywN4_;Wi_efxG{k-kb4jbRj#hbg z!OFar5}%EEW`5!#ZQL>WH>b$7Up+{V;moqVGoPCIye;uUZeUV~VfrYu{As9>`T!(* zx{cpnEvH_0%o~=RbHnZVwl-zkJ7i)QZZwo9DFE*`0&We7wJ1FfxbE|3vTEHQ)(@aS zZw%#Q2KNm;K#0V#g61`xMT1^|$Qi?K*RA1l$~;4K#tsjhw=DO>{}5bZVRz@&B8|b^ z3}`P1D(&>8*#-b0XrVntKMaUt0D&aaj^3HF9LEC=z@s4^5^LZr*R6SZJX^SOP4*4b;|iTM zmhd|l8A7EgWkEaW=|D*ww(hc@y$&fx=Dywb)EngOH{+S@(G{@0M|P?4>k|f#XwrxG zl7`Q&-vLnW8_xdtR{=_!pH$BRs-;#yrN+Rcgn3`FD7|BGhlFAxeraKq!SYp008g~acGd`-vtDuTlebJ z6?S%M$VreM1(f(nD>u)Lnp*8rnVcdya_HVWl_TC$a(0g%DuNEUC$){MUhOp3nQX|%8kD9Nnb=O<_jst6k&QKLw4JUD&1vI}MF@uU6zeT`9D}51ik@OCG1XW3(A;-+B?mJLY6m0s*EwestVVoD;_YWSeG4GXgopz3{9Rigp% zqqZ%D1qGvJ=p8P+RHNxQWKZw|GwpwKmhqE0t~uXTd8l2&+rRcX&a)p7ZHH#9>U~N( zd;6r4l0MCZ)XGH1n%%Q^aPvYH#QhB3{`KSoOarJftGYMsNGPVr+;924EgB{Kxv*Uh z4LBr!#XY)RZK7Y^b{NI#%nQudQ3hLw&$`9i#wSbxMA8x8S?N*((FQ0H z%2da}f8aT8xGe|Iqd{BaM8NYoYPEarhttPuf9G@9Xnf7htNOi2mMtW!`BDrQo@Rh> zVcSq^rQDK_Lkcit^G0Ag1WsgT9(qyoGowRt$Gv2+XwlLDH(?w5Wg2sxA@u0X$=40~ zS__-o&}hhel0iL!*LlfD*lmkPRE+u9O*-2ta&b4lQ(a)Jw z%06@}QmjE_8g_61HVHh}Hyfi?=`I0mo-ZxZKJVU@BhXL+o09;?e zPwhFxMU^^-ssO{cViK%`XEQMgb{3T(cobwR6-hg|E7CPG=}PQo-L=Db2qgJ0W_^6+ zuq_8Zj6fy)!m&f;+LlSu&Bw>+a5L$N`kf!-!QxT}IC)`hz_RSA`i&Ibo$suPhKQXI zvH2=+!0<)P*m}o{IVM9EfZGEvQu-on1TdNwYr&T@_8{Zkrq!)2>2pJ9OTXovNLihu zZ;Z}9*5o}5$)guoq2+IKB?Nfw4Oqtb?i;5?{l`P%d=@`++&3qj0L0**E=X)Z z7Cvj1bn*(#AB9FV0=$n7%yTv1qidP*90C&nFmA;t9>U74?wp065ANy#41yq5gLlft zWUK}Ma)722{DTIu24FCrOgL>$L;?>{2G*HkKA)UUKyc=yyv&V?NK2X})-*_t;aX7?{#!09sTVT)ean%B~zh*58O{ir&{=KNBFifV+AXtQg)PSQ)O41Y~1ir#$s_ zb7tyK)*2@0A3q2P)TKP*+STG>(&Gz{FVnf89r{?RHpNv{Tc5vs^I+NTH?L`do3!*{ zfP1$>8RD0bb6>GgHXd2WwVLeO^c4*)9f@-!&wKv+XU4}*pPDnX;+MX5B7w4lWTH+( zJa^g=x$ee0ZjxRcI6-F^xnq*P&Zvdr3@$EGNO*)Re3Kr(7OEAZ{%J0LtN&}iB-**K zu<)t9l4*gZnE9C(&g2D_WoBojdB>x340@j9M%(x+z6?}+Gc|HCHfV@KSe#jJVSf0M zQuf9L3f=0+SDNh6ioYO0s24zu+BwAcRlxl%%8+rhhIg43j(~=4`dxQ}5jcza+Oc_4 z21JXb+HcU4V;FMJF&|1O$=~v6VJisAdZd||nT&#h0{)-%`x1fpNy914@L!+wouyzl zUJWpPGC9Ll|Js;${FvdS38gb2VqmO5i7$m+2LS~B$8;LDa+L*0zEQNeBXh~qkngw_ zihrw#RT--&BU9KAn*vqqapKZ!X`l$4vSF4Dl-3qc2j8DOa)>B|sWK?mz@j~$7N76H zv~Xq3h*zBQ>EJ5|+^!Fy!w&(CxXv5M} z`7yRgruLEQNHxb2h@B7Fj6z6y?CJA3q*1HooR^!Ex%d4ofBvG%S~&$xE_7hydc&0T z^{d^Fdi5I=K%^e3*26Y9(0qTfna@z&_e#LiSWUf-$bFaVpT7cBwvM4;bO3+6d2{-k zjYZSPeH`4PxenX;+=wu;-AvS^a#vqrzLYF^Hn8oy=?PlQkK^&aQ zV$Q>Mt8we*scw=u!5)q_mPSP5ub<*`UzMV!e&7n51qlN#-%V%8e>5O=?a$YCgr)Qg z)KTe~0p)?0&g2#NdG=m-X@A03{4??Y?d#VrLA?ZN>;Tumkt-qMLkMy{5+p!JpcDi) zPZpHYP0lgN-@HNzIC65U%Im_)m2IFBuS9|){@m#P*Kd=Za6DL58Uz7hZXz9Tj%I+F zlUPNTw@>M$=f#dLf*VC4BQs`^b?1A^N*J=C|43g`VOEES4zXgcI2zVooK@)f zJi%c))_IbJylh2_%vp3Nsc`9DCi1t^@#KhdoH4K}_WA%>S4% zJ}dW;Fw^MF#Rh|-uK`-K(_&l_Xy@2E{by3)zuxcQAwj|jGcz+21*UxX0BwVH9NXkX zfye{D$3K6MyUe5@Kx%<}8)|Ro_ZH+dmkL?s)&J=2F&WOm6ZvS+H9X!Tw-9h)i!rj7?hnG;2 z>abn=1*+y*-Y4~8|9w#nKignX7(yGD+Si3_gmzpjg16>E8^>;lGYHAy$Zw4{qyFPI zWNNF_+8?WS-}KX0QSH`5Iet-tN&oMEPzs5|&R3PxoilpRb$4z63cZeLIW(l@+dAkI(!+wOwmCmFXI$oHlZ3JGUIdXql*Nww#(I zYh=(QlT)M|l3g@%mPocCizKn>q}CdTY&jLSb5oJRh*jfImKn++w31U+VeSvpUhIDD z>l#0-bzNNRd%t(R&;8!_b3gC%Jp~A#%Xq$%&nSjj=3M%hJ*1F|SEL_@4Snj8l&1CzV3T9k+1$CLEimV<#)i_8(7i(VJU>tfFmGfy7)uSP-Rq0aKf19m%yR$SXl(_G4Nox0}u)njjr%8LOZ$~D}wSl2I zpoA2aI$HFHf3epg6$y9fJ~OuCqvRFKB9;`t5=#Y=RHDpMZ0{s zwHJE{$InH#dWpxN6cU1{aACn9dW7HbIto=cV5C6@$+q$I=8S)?(B; zbhQ+e7lEUI77G#-Ei<+VpV{(=Od6J@he=W*+lMKTEg%Hjer*X*d}i38TkUleJyVAN zPOTvgS#S)<)by#4+iUk7VoK&~zuQMaQp4YQv%O_SK0Py&H#Zky7B6$Fmq3))HVgY^ z6gdvPte*sQhxM69^pX`4J-ag`v1GX5lld{rQl@4`4AU)FHEjCRG2UO~o6Nl!3os1v zgyLM}0@Cz+X_?`EukaR1=ZsRCjn#&=XY*L)tLGb&R!nTeB)|eNv2Wk|u&+>>{TsOI zeT7CS05t03%V^;T$%?d%y2`{ia$9WCK|r6lc;1Wrm8~Dv3iD~5V*3YIGp|fpnCjT) z<{tiNEs@!tRD+epxRdvxnPXqjG~df)D;z^;dd1YFd;0ViTJ(Gl^TDbf+-vWD`w$wL z`l`g?b6ZCuLB=j+%d-z(D?fXG(<$kl*L)25W$C99)Kj>x=jV&Sc8%&`l|5x0tn2f| z@r4_(Tahq%8*BtnnwFY2wx5tUwz2suamLiIfxYL;kxl?|FskmgV9iv`ig02Y&DH(s zjH&fMX=H2|ggZ1ho-zL`WDgSLkA_+3ZUkxjQ>?fO80QW0nIZE;Ra!0=s>lQM;bYtV+j1)wnG_U7=iF=3ySMUEA6zK1N5Y!N1 zg`R`B{qr9B8|Y!&3;d2F1Ss|7;%_eSAU8c3x;{=BpF&v4a3~KU5!PQ(8P;7B3a-_d*-3Qb5L4m3{bPT$&ps0c98w#bVzqh?_Y(j?n zilv(PSyMd0AQA@&2-*rF4TT?_<%Oxi0?@zOrY}!y-8$EuYR1GcQb{_zR=3V#kKoB? zc3Q`oRVFbz7w65ZO{lP*>;%m9l0#`5p~ggFnv*KQGV#a-paF~&F`kBEVTv_)CK7T` zO!#f2kl6Y2k;}si#RDFgoV&=zXxG>}J9pEqriU)w_FDShK>o6xagL{_l zQglcqJb{+CkQT;0;%eYDXf#V7JZdSVNu-RmBI@6lX*2?_#VD;#QyUal-?E=58KhA+ z-Fx{cnVX9c#5lFwR1y+7UiV@`7fzx>*?Q$-?Q>JaUM_cK$vl6sQ*_&RpRTJor1Je2 z=4U{Vwd@!=s0Bq4JkqGJ)!>p?F`6>81?%fuG=%inb`9KSA!(vi zNg9`@+Kew}xK~4)9EpwfkJrjF&5awiGdgr-6kiwA&V>dWDU1(;o1wY=>N$}Eio!L7 zVC&bPs2MG`I^EmAxcM;e+0^dl|9M@;wl(_w_Q2Gb*PZhQ%F3P!+B_Io8*{DTKMAE8 z?5QYv*Wwp*L63(LQ&uiklcKIqx0L#0P$$&SO^i~ed+Uw$PW&tO1vzP#u|!?`z2gQ_;RM&t zGgn=EUiIduj}(c1}rt%x&$X_17t`eWwj6A9iHsJXBJq7%sMDjR_9% z(#cP)sfKvEpqj4I1!T&vdiOZqb&HUK=}ReaANT^Olf_9Y!v)k5g*t|rcf@6fnEgi% e&R=|EUbML-V2z!c!!F`6Mdp; String +print f = + case f of + X -> + "x" + Const val -> + String.fromInt val + Poly func val -> + "(" ++ print func ++ " ^ " ++ String.fromInt val ++ ")" + Mult func1 func2 -> + "(" ++ print func1 ++ " * " ++ print func2 ++ ")" + Div func1 func2 -> + "(" ++ print func1 ++ " / " ++ print func2 ++ ")" + Plus func1 func2 -> + "(" ++ print func1 ++ " + " ++ print func2 ++ ")" + Minus func1 func2 -> + "(" ++ print func1 ++ " - " ++ print func2 ++ ")" + +eval: Float -> Function -> Float +eval num f = + case f of + X -> + num + Const val -> + toFloat val + Poly func val -> + eval num func ^ (toFloat val) + Mult func1 func2 -> + eval num func1 * eval num func2 + Div func1 func2 -> + eval num func1 / eval num func2 + Plus func1 func2 -> + eval num func1 + eval num func2 + Minus func1 func2 -> + eval num func1 - eval num func2 + +-- Graph line drawing function +graphLine: Function -> Int -> Int -> Int -> String +graphLine func x ymin ymax = + let + -- value of f(x) + funcValue = round (eval (toFloat x) func) + -- number of points on the line + ySpan = abs ymin + abs ymax + in + -- Check if the value of f(x) is in the specified range + if (funcValue > ymin) && (funcValue < ymax) then + stringFill (funcValue - ymin) "*" ++ stringFill (ySpan - (funcValue - ymin)) "-" + else if (funcValue > ymin) then + stringFill ySpan "*" + else + stringFill ySpan "-" + +-- Recursive function to create a string of specified characters with a given length +stringFill: Int -> String -> String +stringFill n sym = + if (n <= 0) then + "" + else + sym ++ stringFill (n - 1) sym + +-- xmin < xmax; ymin < ymax +graph: Function -> Int -> Int -> Int -> Int -> String +graph func xmin xmax ymin ymax = + -- Check if range is not possible + if xmin > xmax || ymin > ymax then + "Error: Range is negative" + else if xmin == xmax then + graphLine func xmin ymin ymax + else + graphLine func xmin ymin ymax ++ "\n" ++ graph func (xmin + 1) xmax ymin ymax + +testPrint: Bool +testPrint = print (Plus (Mult (Plus (Const 3) X) (Minus X (Poly X 5))) (Const 2)) == "(((3 + x) * (x - (x ^ 5))) + 2)" + +testEval: Bool +testEval = eval 2 (Plus (Mult (Plus (Const 3) X) (Minus X (Poly X 5))) (Const 2)) == -148 + +testGraph1: Bool +testGraph1 = graph (Plus (Minus (Poly (Minus (Div X (Const 5)) (Const 1)) 4) (Poly (Plus (Div X (Const -2)) (Const 2)) 2)) (Const 6)) -10 20 -10 10 == + "********************\n********************\n********************\n*******************-\n**************------\n************--------\n**********----------\n**********----------\n***********---------\n************--------\n*************-------\n**************------\n***************-----\n****************----\n****************----\n****************----\n***************-----\n**************------\n************--------\n**********----------\n********------------\n******--------------\n****----------------\n**------------------\n*-------------------\n**------------------\n***-----------------\n*******-------------\n*************-------\n********************\n********************" + +-- for reference 3x2-graph.png +testGraph2: Bool +testGraph2 = graph (Mult (Const 3) (Poly X 2)) -5 5 -1 10 == "***********\n***********\n***********\n***********\n****-------\n*----------\n****-------\n***********\n***********\n***********\n***********" + +testEmptyParams: Bool +testEmptyParams = graph (Mult (Const 3) (Poly X 2)) 0 0 0 0 == "" + +testSingleLine: Bool +testSingleLine = graph (Mult (Const 3) (Poly X 2)) 1 1 -1 10 == "****-------" + + +testInvalidArgs: Bool +testInvalidArgs = graph X 2 1 2 1 == "Error: Range is negative" + +testAllGraphs : List Bool +testAllGraphs = [testGraph1, testGraph2, testEmptyParams, testSingleLine, testInvalidArgs] \ No newline at end of file diff --git a/wk4/src/Sorting.elm b/wk4/src/Sorting.elm new file mode 100644 index 0000000..d60249a --- /dev/null +++ b/wk4/src/Sorting.elm @@ -0,0 +1,58 @@ +module Sorting exposing (..) + +{- + Merge Sort + Dimitar Byalkov and Kaloyan Stoykov +-} + +msort: List comparable -> List comparable +msort myList = + case myList of + [] -> + [] + [x] -> + [x] + _ -> + let + mid = List.length myList // 2 + left = List.take mid myList + right = List.drop mid myList + in + merge (msort left) (msort right) + +merge: List comparable -> List comparable -> List comparable +merge listOne listTwo = + case (listOne, listTwo) of + ([], []) -> + [] + (x, []) -> + x + ([], y) -> + y + (x :: xs, y :: ys) -> + if x < y then + x :: merge xs listTwo + else + y :: merge listOne ys + +-- Tests +testMergeSortOdd: Bool +testMergeSortOdd = msort [9,8,4,5,0,8,2,3,4] == [0,2,3,4,4,5,8,8,9] + +testMergeSortEven: Bool +testMergeSortEven = msort [2,3,0,9,4,8,0,4] == [0,0,2,3,4,4,8,9] + +testMergeSortEmpty: Bool +testMergeSortEmpty = msort [] == [] + +testMergeSort1: Bool +testMergeSort1 = msort [6] == [6] + +testMergeSort2: Bool +testMergeSort2 = msort [8,2] == [2,8] + +testMergeSortPreSorted: Bool +testMergeSortPreSorted = msort [1,2,3,4,5] == [1,2,3,4,5] + +testAllMergeSort: List Bool +testAllMergeSort = [testMergeSortOdd, testMergeSortEven, testMergeSortEmpty, testMergeSort1, testMergeSort2, testMergeSortPreSorted] \ No newline at end of file diff --git a/wk4/src/tests.png b/wk4/src/tests.png new file mode 100644 index 0000000000000000000000000000000000000000..409557b83d013c72431c82145839cbe833f68f0d GIT binary patch literal 23895 zcmd431yEc;*RBg8KnNDxAvnR^B?%rpxVyVM10lgB1PwM=Ah^2*cXx-uhru0&Ign58 zch3F)TXpN4TXn1U6kVH|uAc6-SHElZvv#<$qBQzz;@5C+aOko!5})DVUev+C!M}Kg z^mGTcA_4p94~mnFwksSQM)&gvK9LE71P<;koUFtLHLvu;6@VV@_Ua8x6ZuG+nio(~ zxUQL`R)MQp@$r*#tTJ)F39%bP>!p^Dt+qEay5nah>1uAUmUj)aSgN0c0*;9E^h?fe zoX;qaaEf1uBPp~Q@M~AbGpdD;jw!OfylAc%!rX`Y3H#ytj_93d+LrzFKOW}cs^1s9 zepp*u*$HWG7W(*#^6Q(A%S8cmi|~J&uQp!)n1B6zGtA=yw(fJ|)dZ`I3Da|fauHG1 z?%Q)iqWNuj>2u?&6#-2p-rsH@Uuf$7Hgfd8cWeCZtp@e~Z=G4`hL>_i)MFfjN?-k& z?F&$yi+`A5%xOv0D6Kx{L#6$Gvr^b1G+VtYYvCw19CuvyxYTb4TipJDS|5M4zh!|s zv3jPf>sk&|ADrK&VMTTKZnbaqhcwQB2%aYDkw1OjV{bet0Q%s?eiJ~B)&_iP?u};$ zi=T&-%eP)3rZliuOnlIhmx}7yPMMJ!vjGH{qa6p-##vq{6fb2~co)yNuqD=X71A6B z0B^#fWSO3jEn_r)BSPaT(Sq?s;nUjf?dH$poiAhj>SOsr=58kPfIU05;S2W?V26|e zriA3j)c2d6>@DQp@iqP^CHnk><{T>r5Z~fHwy$q;pw6CVIT&PuPHS0kjP{ARK)x5_ ztnAOXEbmmUYQe1u4E3wOG0I=S3n?j!Ba1d-^>k;>cFi@gM&!F1d@J0aAT zN$=~P?YymI5FYo>Wc>Dl<^y>H(RDA8qQ&m0RY@J++tD+$pJT<8%3dHgk}kn~;ffem z%JW;Z?U8o79Q;140f*I_hV*2F&o{>zjPRLA$$g&1^~a^;?N5ex)s@|?QGP7>tMmt` zPsylS{e`lQ&Y*uVQqJ7<=5*nU`$R1kKKfdN?3NlQ{5bIohN8F7tGqogQ0=(Xp}!=U=}+G!GSjB88={7au72Zm78I|Qq+#_5y5?j?AERK8tYzv0 z&8bHsovb;h2+T~i@|+=Jv#b-b|3o~ed$Uz8T~KMlI80}K=`w4P5R5%sytHPV!xtEy z*PxyPOjVkGPlkI$wW*Lo_I-rJm5b(k~gd|8_5w0H(_hhZZ<$?Rm`}0pBYg za>sC2JhB}#7d^74B<~`c-gu!7ry1;44URDKWjLw5I6eQ&Fn=K+J$;*%6rUESSSHTm zx-u>>^izcQjlU*hEqhuwrbgv#5Ckj(b7=Sya=$xNS=|4bBy4N|LjU9nYLG%hsN4>x z<0dD8Wwf<$u*dr7$sfSI`9jlp0`gWb6qPo_l8k#~6N}Ppqkh7VHFHC%21H%s$RSvG z$zKX%55fZc@r_?+S)5(n7=Mj^z>)3A{5q2MP1GKR zgSwBybOQecIf|4>1#14NWrH>PL@tOw@2Z1KERos#y*n=P7dp|9rb`}^-jS_n?r&k{ za%sHGAH_2HlA=R1iSpafC^lUEiOUDjuIrs>1e#G$8?=KV2!Syh90>fJ z08XrSik_(05j4Y=1WQuFNNeW0tn*TvSI`qJgH%c8l8V<6QNThH$3il_y+lDP^sD1ZEP23=>J|Ph zx++;V8wfskbzcPn{)x7etEg553a<7kllpo%gsDt;tZ?*1LR zX+8qj%T$S63S^DpUlC)bYDm?4<=#L9-{ggKeo)kSv%_pTcyN%XK0@~{m$ZFj&e7)p z8@m@yl}=V#-)(c^aH8}ASiXBv`wY%F5{6z!Ilp^4nOZ| zIk)50=pR3R*jn1JtgP&-{bV)5;24RXL2*&xaZ zNUNPx6=gM8jF;qKnqQqy5s7w(vd*a6aMNxrbN|8v4J=xIaL>dawm>Y+G2um6WZkP_ zyqzr?D;u@!FXV_4AIa}{g|%wXfu6h$&OHdzy5h!hUufZAs?|_A%5;kYcY5_Q1&u|q zKg2yISo(dMo#|ov(|sHe+Fv#|N6q4ZhWdj{&JR)_n|Ri_m|Th)K{*+8$wd^c)pD`t zj{mXcTt?_X{QY-KA4j(7O=7V2+MRF6*;(g%7ts{i2ox)mWEpJ{p!n^OY`PWYn(GV4 z5|R!Qr9SnUg*R*Pd$l?b1V?oC#?fOu#LTw_?^XO=pWMl#zbmYU0vN%yr1UHW&@pK1 zkh%n(HKVgN1wrc&XDQN zo05me(>uCTvJu9SxDk7?UM=!R;$=eo>4#{Q92+_k1HYJzxigx?Wzs&rFlvaaDMr2( z9I_PR?{A1HHR2PYUYnX;UlEC3JAQk)S?ux0tYJ0ava}tWGsMY}je7{D*nLKfSAG{! zk;_CRYFpn0M#&%JmvMpSIS$%hr=4?MwD~IRZ9g_H@_1@K^3C(Ma-NH;>B$EAJv_ zG-H#I^Z;w#2+qpxpzj*4;z67tZ`WKVH8kn%12>ENP!IS`eYt{VjT_nrn<&U-M$vVgM^XTkH5dpax0H|b<&0WXn98vIfEteRW46c)|^&MPG3pU@BArTLNXyH2#*Qt>5#h`bO!~rlBM@qgSq%J zA^Z-cWC}(oa#J zJXiFFlgSb(HUY~Y@MR;jRy~3wkCWL{0nNTeHiGgC?{~&{9Bp$-zeZ)}$4E>aGStr(=Hqxc7h7~Bl+1Kvufi@ht1ud(*=+b>oDDZusf-? zmVco>#Zbss7}dJXCF~YU`f(~^pF%F|!BsG6i=S7lGOfKt#oP08mvoR#`t)FI{0&*C zN51Bm+1vf#R;z-xuGs*==}o&I1o}$p28&g(42CSJ2j({p4-tgLKRYv=yGz<`2avRj zO=ZzOng8ijA@%v?(_;N7_yZMaq1gU{7uM(uqJprr|G9$i_%uu4J0YrT3Qa0=W9E2? zMyKS~=54n9JImrn;<4=3cj4D)?(|CTW$ieh@uTU@vGz#w3xvz_6pYe$r2+KI2psm*;es(jsz zwcVX|{5JyQ)HxKWYm!cS3RXmU$G~f!BXM(#@3dwEYGb$DL8q;!J0G4ywPhEbttdz~ zUZsRLBg1b(H2V__=hG!Kne}$lsR_nFn?FX!3pIbEwkaL6sDA`-Z$?Tl4GRAe-+e`u z{VyUt1X~hzzctF&^y$a0Zy1HRCHrd9P*P3Mt((x$a(fq^NZx7LO@x zW0o8AvV$?Of!YxhiwH1+$8J>;gSP?GLac>`&tYp0%WX7$U0~x&(5dkK)Jg}m(wsS^ z=tsHt_j?~*{?kVX!EX63*eDg}Zfk$0n@~BWIuh4bC3*V&I^NYWOHf%Z(FD%;L*_v4 zY_-VDI%f?AOc;FsBD{MGbGovK zK;x!wqRj`J+gm>olnSXxA$+?XVqjq(d(yk*?TEX-;rn9BnwLrO z##R4z3BUW^UHdVZ7M*kH4RpnxiHzsrC`-+BSlUEz448E!4}Qu=Y|$E8ISCgDZP3D8%@2Pcr85 z_a=jv1d8>a(wB=J4LvWfPxjYe zrmKA-HnfoinREf2KEeeL(TH({-O|Ta4Wni8UPr~JdWxF+E9bgNidvW*-$w?7{T|x2 z&PT07=MW(L`B1JTAh7a$`h_{664aH0Y&F~hG%H1O5;JQUI=lM#nRWZ0*J|Ba`Ofqq zU#xzc)uszmQoVNjmdeAqUdT5R{)ge-qOqFxK9~Wjm?NW2lBAC!X>2=PEOb9w#wKHW zamjG-m)<`w-L{t6hu*&V7mMUx=m&-%!?iRz=Q)OkTqj@C5W@M~ow&x@Kmg1ns0@1Q zb8?Ml2z>zs2n@rPPb9t?I0GyBFKg*ocFKJH_WZ_-?!=m-b~lk+ji-D#$L2D7fBw@< zBGzs|ZQRS`yvYQ%t$EpZi0FNHoOkDm!ppit0JT_e$d&hN>Jp2HdR7w%$8PfDc^_a4 z;PaR`A*acCsMv5)-gTG?n&+~EZ?L4R76X1IAbu1_fQrgd5u(x?#FY8y&1VsK9aIl^ z*_Nb??Zh=dNP5`Ycjt~A&OGHRp7c`)_dVf1a!`~yU(h7~CY;{tj2-b`xI1>`o2o>@=}hMa*n3Fr6arb{6RH zfu&>N@|f3z7Y7<4d*?;4ORAT@w1Sg@zW^Mp7MgG1Yd_!uR(8iUV`6rRXMH)%OD^j=A_VLNcikXNF#SF^}Bn4 zsjz^2x7Os2@5)FA8(Xun{mjKGdmCNrSXj%uQ)HOTdi+4?ow;|oO+^97v*iLSgV17a zoTa7X@SO={As1Ft%+OEF4YqhUoR(t?oCYV@9DRoznV@6T-{D2rR8kC-CXLEl;79x);z3OA4ix(16e!oto!9Sl z`879W+p%y61&&@@Vz+tx{salMqWgBh4pknMOgqXy3ySS=GBg)N_B>qADWz^DCsnv< zaN?!OYsd@m1<7(IMbxY*88O2%vUox%zl2&xlysy*fIsTIT^`1h3(25FM`bPKMy@1D~W@r+L zpgC_UXl=t|48dz{A7%DD{mzGA4Of7@-Gyy~1MA{!FR*uoETy|-w>V<3O?xb+q=@i7 zDr`HTJ=3l1QS#2;hqGX?NaHN~o%6CMeTSq={8cUn`AA1*#(F28os-k9Lp3Bg<55*# zY%L!|{^nEpXeNW+)^dIG&Do8TI-b`BotGLv)W<`zkU96pN;EMMow{j%I=sc$57 ze4emn%%SlSwMF%n3J0dqYI9}+6;oU6uxSk-^dJ?D^noErRTF^gflhgF`o_)Et%Gb& zkS8V-o?rZIteKOo?J&pGdUhyxix*ICvJufR5ah4lHiXwTLJaP% z8af+WF)jud<%)J)J)4lfISH5&2z@TKLRMIxczQ&<9&r>?ivvzYc>6!@1SzDq8Rb^5 zS#?sR1vc>n35Skqx#c)2EB){+*_Csp)oDkG^0mX>d5O&0TnO77kD*$2>a(1d|0rvr zYa`0L?jot)2fpmrlUj98y66_cRku0`IB}K|6@_1_W8+taU$Zk9<%__~=HR#>!&0=K zW#y&8&z)J_Flw&dxcZ|AD=aAjyq5uBKutxEhZq~7M=0`s7tTl|q8sy)d)Iq3NIqN6 zPJO%)rDXdAqCwfj{17AXbXeY~5{Uzls_m9DQdY&(`}aCd+q+UTCocwaL?IdGqPxv^ z!WF6R$m<@!O8I~iQ^?>D=X^Wl<&nNP(Y2P6BK^_&*9DJK$NBA!hpW3}5qoneQ)%Kn zW13Uu%!tHNDQ4qEaQ-3CZQ}ySeP-vAo14h z(G-eqX-Uj4IsOLKCssc? zyi)b?GF@rQWJAcuCc1-b3vwT$k|*JQHSlV)vm665v0()?>F#X$EwS%;$r9> zPEGCMp4Xl}m*an8#RN2;4DJ9hN@19O|JbTk0qp()y&%GulQ=|3uz=8Sdo48x{L%(S z7>Txp2TNvnF?jH*x{Dg4GVJ z_*``@C5;vS=!K^8nEQ41j<~~g%7uZWe<%Vv^_;^u9l02!LOnJ4oWKg}SuyGNJ_Ph* zX${Z+0WI;L$|>DlA9=Y-UN)SF3tA4Vqw*3QQeA)ayt@_PZPz(vN@ij;u3gMJ(;UWY zHxN7VeTh9!GMaY`Qd^*9)qGI9geCenlv_Y;uo4rG8uTAxTKkGeqkfLW02*tzuPWyN zaKmEx@tXc2>u0g_45iZ(P*%Q^S9t(Wl5cB=Ao-_G(jxhjGW!risoTp&AGhD%t0m<- zo$y~^#%2NfDNv@<*VpIx0NMI=28HLvw=O;9DNJQXT~d-gzoh6{&_|E0U`0wKIsn~Y z=&3*EU*uOyTKV0rL#9aVt;u^5XXZvSR$zLSu=#!1=oRMicQNey8-J~8?D-Z`Kt?ht zSVWY+!cThB_T*+A!(qPRAri&4hn6*I$2C8u`WHGG41SMX(GU}%(GqM8Y#P+BfHDGD zcG4yd--$SOUV*hI#|$@37HAWM$V5(!Lb>{+&EF#U+2LByxaJ>fKL4^?cch+}BdO6N zifHX8_tn>hgNT}3x<2d5ZQQD07U2J4s+^abJlbxpDP%B(i=lK+vHdO3mcqTsk{O}7 z2~=jib^Fm*+?n_Qs7P*@e)m}FvE%eY*E7%PNF>O*GI#$Mx6PHs#FG%tkcEEj%x&El zqe-YpQ9gnhV+ysEk*BUtq^)CRUqH%0R|li(M-Dl^eZkgbq+Rn+4SbDkZh*G$G}p9N>t3av-{97y!+Ud$K&*fs`HdRrE*`S$=#1gmJXlnNccq?B)a-S z2fwh%wBHMmM`S3pQ?yavTjB2xM<2g$eQ^h}nD6@O!}@Dh`zQiZpi!!8POGfK<3FQ( zQjEUW)o-mdb*w{f0dkuZ%HwzX*~}o0v^bl2whln9lk+v9tg` zXZ?W5A-3-Z86A3RgN?lGG})5m*XrJ<%=D^bKRkuM{+2aG5xdv?9KlF*Gf#7;PE!q7 zLJ27P{jxqt`06lt&a$MR?)pLI2y;(rX9MHrs^-*`x_4F(Uk@Q;+#_ze6@|2U<0)Bk zcq8T6z9HA^j=tKEQBYMCuJqZe3u0OidyjCc2`~T)Ul;EeYb~K+smhwWz^0p)G@J74-E!udmBX6_`@&i z){yAzWR~FQzT&#@P-*0nU47STRr7sM&R+%R|6&3Beky}1(;Qlf1Q3S_^t|HhTOYl7 zlIWfuoDn6zU^*w*TMB*{*-s%4p8ZgBSE~sEZndP0J~Q{et}e3Wqn_sCZ&T9M#U6rz zqk=Vj!>TE+_zK7OCr3xIe3r6~hbN2qMGV^}zvwe+d53r8Y99qgGZa1D%P+&rxKh}- zH#>BJsK4~yhkC{?icB?g=`p*0fL_&j-1E-^4$OIt^QrZP=B&g@F-nUAy!q!v+o*dd z!6uvlrFXyXD=IHee;2eNH7>QL&g|W0Kn(4zpiFX#C(zS;GX99lGgA%Dg?;3KVu7-T zZ;J&6(Fd^6%h*kjugr2os^cd?tQ#-1V6xQ#QvCq`?HDqO>Bw7Bp%WA#PSy?RIzn`W z{3&X8GZpaS+#NtUr+f4R1oTg4OJz@ls$CwNm|}Za#>W0i*_XLa?UUX%5EN(v2sQ)w z8yV|{*ncGbMQYmU3VtXBs%-cA*R@#M`fmnrx1mZ0Pvny#5#l4ZW10$U%o*+TCM zTyJID`*yLHK~!t>0sS!uMD}!r-z*gEe9>QLudRr>fs1lg=_&4_!a6ifbAETfPK4#; zbmAQQ`c4giFlttiu?4C2^1E}Y7$RMtmQgs5?@00z^T<)A{`+nUuelq@qDWZoN(EAY`N^x*k}*Itx9ZH;o#5^qh<^ep!6o6FYf0VS&x_<2>5FSg@orM{|-+9dD%(& z^fw3$Oa45(w4Yy_>Aod-%IG{TYvX+t$;gh0{e^XezPb z<8`ZM?5*L#Wr(3;V`L1VOxY63$}hT;>DkA}{Y6y2c(HyhEbeBS12%J2S_=^PyQU#^ zh6bbFb{b4xZqjqDdWh?ig|>ZK&e3Vd za)6+(pYzszecPk&0fp^+-L>s&5@)>ZU);yaFEJ^QFnr)jL+Odjl$|$(y?w7;OYV@T zt_=Zl-C-!*FB?o-jou20{OnZWGhlp2Ro{^j9!%-k?ArCFWyNZmP*io6{-M={8B>f< z9Cm_XRO?hp6MI~I>_|i^5_>P?+0ojBC)CIMcHHAz6-aj>P6chALD1*L_8%=1U$4)% zkwL1yo(+c|wst?yxj1PtUrUde<)xv!YK!i}<~7~>ny%n`d!*L=-BHE3gS9ai*mvz{ zH*Dw7cC8>+&c9*Y>(j|X4bX{+s3>o&`a#Z7|1|l`KEhPD$?s|Rn!%782K`M z$?mPFGfp3|*SIGO`tX_&%%y{+@=?*r16ExRn+GYw9DA;ut!~kimIOo_JPQnEUSWEB zZH^`uT`589R+SwDA3a}Z1FkTB=DMqVn1zltdzC8rqkYecZWu_DjB zpd#1Hy9pHzc%bdyxXoA*J7irOz2cx)>rP&@B7Y4?eUF|ZcP67Gxaahs9!r5H87g#i zw9d7!j^y%<%XiMH;?$#vZ)LywQ^ zz`XjqnXvojrDZ2i$GD9;g-wrZ9C;LIVszSdy$3@yw&1pU&01U6D#hX|TWa0=Md?>6 z6au0(JWuIMUX=RjS)Xk$Tefz8>#=*y$e2p|B7^ILLVn+z+OFrUR6v@ro7<$;Z>N(8 zg=XEh2J@QRZVlgSt1rH({X(mCO8(CYY=~sLG4fHZ9B#$Tpk+S820Oi?=e~(GR2DMUv93?QKiMg>9>d74(dRoyi`&gv zce$v4vR9p%ykfW?{xVmur2mi7THNR0UOz$si1poy^Q9w6LHsJ^cHgIeC0zezULBLS zOA8hZ3w?d*$;gi!)B(>MBDZW~g519^Zy{DkmXXYVkY%qXu>W=V@c$J(*2xk#f2W|Y zbf#Gxc4h;SS){jK3z5Blo}l^=U8>63lqkZ;A&%lwGFh?&j+XlwsmuvJ`>Sl%q-yUq z(aAPBTKhE*UYI+paZ^%sxk9}o$vFNZy_LZWS#WQ2%PK3@knAFvbV|WcG5*sE>7@I* zYLJVvVXVx7=abZr)I@qkd~z(uO|99eW_^17I)8zhT=iOyKNPz%y}LlID#57JkA?IpBRJT-k2ZrJ z*RY4UDs&+Ia7F8N^g!AxD*JsDXV{wtP!UxhFIUDweQKgQMA)EPS5fWi>%%L3R{$AAqh6#=iZ#U7`0!s*+5;h?4^dD&U|Ss z`T9k~HU(;Ip{`A0MG**(T3y@!32kX!f#S1Q|>8{4%Oq)jJY!g4@9?zyiFd+`L86(omun z%|(qfMJO&9=Mc7llipFH+q}+AIj#J;5t)1z1yHxXsak2_9`E0|oeGP9;*h*XKA9Zk zr)q`ciLdX&q_*1v$}nEh*sU^OSj&YG3B(XZ)@ALKPzT(}=MS$%PUv*Z{sg@BnWP9K zub?zky^7 z`Bu|maoMA5KTiGJ1J5@hprzEu)%P;elzRoGI8TMGA;d){W0xW`|7>YCp@_;DEB>H9 zH(<$}9>r^qcRHY14#!{V4?h;R&Fm$yF+TZILMgRZ4)B&c#W3#7bQv@A>DB;A~7dYF_b(%nWx>UWLbu` z`zNqnTp}ux%;VElzEZZ6O3rOBa(^4pmEl$!v7g70uBv3i!t(!P%ZU@(m5rGcpQ8SC z;=A-@1W(@YKN4b_uKq+x@+DTvXw6>Us=QKi0*JTjmM^1wsiNp=1$(K`La5NB`a<;y zc}KP&%xo6)c9vaL+F$SI2>0f{oX*U(!SzPH6fG9*vX)RA$^bUD?_ zA#kA4NgLF4oK-wYUu+{rMC9u2EUFtAk)eH;`<0~j)4kp=lGyg-Z(mB%KrTd64rkGs zH@DYTZRXEDi6yJYfgF`YC?fmOXqc^IexB|6?mw_1*3vpt)ox};9D%RaYIYEHG|$6vv>`bywDG^3bzjiw@p1R%@3f(@p0KrJEonuY z`An@n6a8_w5MKE7?CNXDBD8M-l6Lcn*&5z7h4a#S6DKoo9Wz|{HvcG8ZA3kNx*|EM%bYS=9GT@#tnfY$e|`36s8}ox)e@_0#9}EZ z$M&45NtruvQ+uo`8foy9($0h-z(D_G^4guh?nIzEEanw0Ll#>A{2vLHbj6g<5{eq$ zk-c+yS3C~%`wU-2#FG01$-VXw!gX%AKg7_D+X(8mGjtv|@_Da^d(=0fnTFqv^+NPt=G%S93_PLYM z#IM})g)8=XpKp zY+VlxUu*Ipg!u)a83>Z;l%zy0(6H)vEk59fu>sx(LrAI@1Hg2T-Y5p;W81&ng~m;& zcHavUndcskX|Y^)Sud3xX`f!|K~ib!v$V`v8^+QMi;kRjX9VKmcYxLzS4ns@htX zMZf2f_tdi&wzZwzov&m34-{n^+cr}9OZZyrOY5Hu1B;kp{MZ4hQ)PYUvg1fF&7)gbx&;Ux7P~jZ7{kZ+o}KXbYd%f9Ik2 zZVhhj>CRgT%;VVAVpN02Y~kt~*@vi~d0TQJFInw?5AH4XI8>PwpfkeeD1F5!-o#pp z0kGQ>jIeySxNw6o@k8DQ(_+{+p6F>RhY4LLy?rN$t7ys*^_E1RV4!d}|FDGPaB3GN zE;Z(766DL3Q13rV3?B0Pm0v!M`M)buK(NhV_q{jHzcGLo2aZ%um9^^qiF5h;g$+S_ zSX3!zh-dp^KiA!Cv6$bsXbfopkU<|ZHm6A5`%EkILR?>$@{P?YH$Dlfnq!Rkmb1IG z-w7LXGLJ{>(zDT?Cg1dI_tLlRR_kMHjz7yT)n|+VGUQT5AN??Fk08%jP1stLg@`H1 zzvSU|cd_6TN}syhco8#mED#Y!X{2$F!_k5oF63xHpl*M2t8kfEY{B*ND|UXKi_EvI z4TKK6{20#v8v|3k$l>TN-h?4EgY=1#?Ol5i{DYqc;xf0T*U{T30hlG)G8uVay>F>HDx3Xodhgz^i@KN9<%@m3AD zC9cnkaSJ%&d!Fpvy(K$7E!onz~=m|X)CQTbyy(Nb^;X7Y*lqIFa+Rg7J#(r0Hws=hll zg| zgUxm>>pu%r1q9j*bVnfdR7588nVZ%msD3wm(KH}|5hPAgLiw)XWiDm>n1&r?-+>o2 zM1jj&Xee?4WoeXgSPol;lPyGx9o3@|v8}1gxae0#Em5miw<}NcX&=R{%rpi3TDC4JY!#e2FzQy~-C3Euy%Sc`Fzl zgLscwy?zk7qaxvRL_MHhY&^Q9{OE^|CNL68w7ssII~;V`JZRGB{QJGWr&*!a%t3b@ z)}`)$p_y(%1ny5!o(-izWe3Uz z?S^ERYB2nzP=G`;V7?e06X-z>F)BM&M0+{?98#%`|H({HWBAhmi+3jWg;lCwvtxgH zA4tD6Sp?Snf^vokQVa$;&(1wQ&EFHiI$iP z9qV2;rjE|CMV$CPL9rQxQNT9jyFeqV-C^3vb{lMe3FZl`pqqW)^}nIiH34E zBt?cqoDtcJQ#4Q|x<&zSbr|PtoSPcuUfjA4C1b=3h8bAv&(^cEC`e2FyVk2vj1r2# z98^gJhD^RF=znOOqRZH4g+ts2#sqRj?u99Td2zQ%@J4>RbN}l*$t| z5qidcWVZ503D$JU2HrG#|{kmEsR->impCzT_ zO9E~O*cS3=WvpC(i#gJYWjNGEu6wJq_uO^3Q#f`ktK2Uc>$bHHXMsG*QDMxX&x3wH}TUAk!&N}nk&FPRW?IOYs zZN)6iHDqjY<>U_QFU^}Z`%{rAAHYm`HZ~($b#w=6t4Zk>_#Pu*hI?>89D8q*1?}8v z9gEr!_1br{sx;xWh<}(MUX^RhY>?6rQ!G7jHso2MX@ zHqJA<$5KWY{RDLXZlhPy*h?P6c~?fgEqp(-r?PvZIOsF#2}&Cuv7gQ7sbEo}_ur+9 z|5xk(sfcl$$}{R)x%@U8b&1_{vZ~il+2?mj1hN3BN~nw__r$VS7s@Q_BoX|QCGXn)mD-O zmSyP}v%J0CErLNFDiQ&@fE};dO7M0nJ01C|Oc-XznAvdD?wPCO8^JABhMV^8Xu*$% z1BnfNm=;rY2gubnbeue5FQKB|CXts)XSUrRu`oiF7u??!j#tDH@O9x1WxtcEC@zBv<7T^ zq2>e2Joo=x>9#z%_(-@Ublgei)P6p?2-J<|NJsJ?j=VTp!hr<7l6v%fnPHnivFwHf z)STsT{zT|`36b5+Vn<@Rb3{V_t)I9%uTDduxIXh%ax?yhrj2A1=V_`P@a*|2Awu!H z=$2YPt7G0!po{DV{281SHn_L#u9b~>xL!(cJV&v3IDb=apAmW8Rxj|`sWoELJhu7> zTJ6<-qG|BBOKGrh$4eb*Rk7kUGb{E!R)fch#_;c=DrG`wpOacME^JopeOR}_M}zSqkJE`6K1@hs6@)Ik$a}v&8OB6xQL~6v7XXHM9<-ay>28; zT|^nOpb{b?UT}8aLK5{?r&3k}Q7gRnwMOho^&b4s))uVuugc+^#({rgp8s{JF@mlB z`~MlVj0U5{#F*~sYr+_}`}39fEgVL|o)+sB|N!Jb(UD2}m2Cw?| zHC`PZbN3UxSrDq+;*LX4@{{|@TR7$ww3gv_gHxt!-w%P5dsUnljSH3bLjp(*?!+I| z9s~-WK1Finw^M-)<~x z2|TrLx`>bFXGXNs~8cN`QcMJ=kgaxmP*kwks` zYm)gmpAoiBDM^C5`naV8^Y#5@UiH)Iku~{R0ljO{q0jc!;NP9c0k1v08$Xp^h3P-x zCXm9mgQwV^e&3aW)q506)_JEX59wV4=s|uJ+LfbFknfywugGltRJahoah-GH<{Vw$ z)WET5lWXSTL3hm@wJVYLoc1KnwX$0FpZh<3M7K9D?Uvfs<-bAy23KLa1CCUcf1#eJ zonlzkPA3!FcI^Mi-21+I-iTW!Qi+}X_^W;9G6MSx4+4BogB&Tq# zsiG-${fScfwv~&2CrT{t3WH@6 zno4_%0t`Qi&RN`ug!@;q8C|9bdTHE?C3N!UV#bV2oAR@~ZERB$$E%rvt;%-klOvU8i{nwJ%3-s1z2|Ri z;-5bmNAnZyS@SNpqs7w*4vzHn`Mm&Xywyu&7svYw^+%d8_hxHs$tifgWffr?`tZeO ziY(a5s@qvZ@KWun*Y)8mJiaJ>=r3F@!8?qD=vnbD$YO8Cg!`OZPJA78hM;@yTo(PS z!+>wDh`S#|1_oY`_bfpaQ)@U5H)}Ym>g8rw zO2GYul?_3!HN-}XW48I!MEQNluRV|6mzEhfe_S{%J?v+wqsaQZ;HY;B|9aN|^j_iL zU^wt!H~(M1fWS$PrtaVG0?-lq!K+BrqZ@jCs_}Jme5<;iVyE9z6J~E#2LKJ0|A2r< zt)FW}J9!+!yJt-}O_*7CVUEX-xj9Wot+DN@-lKW%;wj`!NL|3=FZ*q>>^pY8Tr(c1 zw^V*7R6xtqQdN!8i<;GnLX!JpPy1LzY|6k#*`(a~?Tw@+?N-P<{w2Pb4yAoZ8AfW) zI7uHjhAh{#*{HZCQ0zS-0G=~A3^=D#?PLM09=kpiU~N0B9$Pgy|0L}K-^LE9rdsiR&TZixV&=SX`@D4(0gPMOY(2qI<cGvNPvWc;LUsIB~ z;Lh}}j5=6LI+b@@!@epWQEq56O~zHl3Iwy#aKuKmF3`NZZ?(a~iaUSl)>!#YuBsB+ z6gYWT2R{Q^O&&`34|qMec8Fn@{L}HL0h>fD{h#?UcpMXYiJ-Y5T9^Jn_7OQtwbn%B zgL~(^Hi-?@T&sYkZ%cDy?WAQ?nh$p#d2s?bMVyRK19x3@UfNg){rP|h>AX|-@nvLK zm>a=(_w4ppf#SM2wf1-glEL5C7ml!ZV8+`43ER15B;M8b?~`SMQQg9W6kLUTn=-F# zcRPxG*)2prwA3b^;h`?L@qbCL();4sjxi96ZHtO@j8#-uVq!lN&efN4x(wj7G~xH? z>V^pSU!kYHbF@RIj;L;n|mhUx2IEOA9`UR+4GOs0aJ)~i41S#4G#N(4M^ z4yKXR=Z%uXgrE*~{pn*Lvg>X%yK;F;?Zoin14+(eUF$1FYQVuZZ5@FKY@OdF;ykQq zfXdz7Qdr6j=^NsdQ)#-KVy&ss+}J*^&Lj4|>M`Z;>(zLAtJV6S!^vQzU(h?ogUZk_ zrz6T%4tD)synA99;57q^u8ROW?r~FCSbqi9c=oH2`?C}-d%<6;FI_zFt9MQt0-mss zN$c)4z8Io~flL(kCMs2rZe@TVaj(6MF;sX^+a{3JIM zA=%oT&;u6y+oK}O%7ZP>r(_!kGRbLaN?xwsBCe66j5Z=-Mj~R~z>nrEeMf6TzfhDd zx)F^R7M%OJdZiUd>m?cyGCwAZ(IpeUQB9(!kc=PxfFJEy-{JBJoI@Z;jp+~3j?7sf zInDMgar(Z6D%>I2pMpDfAS2qGn(7!ok6U!n*Kl^xQrBplN43@FC?^UOynan-X4SV^ z?aiExI}Mk3$qFddhr}(6YoIplyQ!2IYDvw3Ok`x@8}U6(SwHN6jM7Vo@!vu-m#tKZ^S#d;tS`$)!m@AOjdSq%No8q zXdeivwr>NOYW0F~-PlGhM{E(uGWT=qMg_QAVb!#O%hxp_hxX9_2JEkD;gSoUp1y5c zA!JTfHI3WIQXR$~$6o{qR9_n1uqr{VtgBd9J(c@q*eW)ywg2_p-r|n8Y0>DlwQYZH zuH2e&e}+K{OG`Npoc#NeZ>ERkxr_RUUvz6L!(zn0)-sl+iDwaR+~Z&3Bon3YDZH;s*x?S)U9VoB|pI$Jpw7LsMI zE1LI>Z)^9k>-&pkq=Yf{7T0}SQn&Lb@n7nJY*X}#d76&3c%Pi^A<(JyE)wOIR5v4( zq*zw{Ei%aJU>ylLPdSx7$w&4IyVIim9qXv*%j+JNKu(YrgP7!1 zL|vUnh-$^i$_#^1%!=zq1n}4R@kmQtqh6CW)?3 z3L_ONZ7jE>rlvN%grANHDL2ki&fxGf0)WqtGV!-xoFW75#RZ3iD7A_c=@i*&&beaZ z?eAm89Uigp6G)&H6W?KNv zFw*gw`?(zbpoV4yZ&SZ7Y#YV$_A!u&6F5!`6+NqtR+jn-R^l}_u(bVGtCB94vtyf9Vk{z z`F-O?g4lGEV135#8+94r<4A=$u-Vo%Lx2<-8kHPt&-{x=A_#A4KhqG1xq>49EYROW zh`#N|Mjce#_X4>xe=oFYza!vDTH3hLuc@xM{P5e_E<8|K>g5yCA~}s@*%a**Myjcv zogqcVPQNPj`2Y+$b0-TE`^a!hmdAl%%dwY5!2+b2_w z$11qXOz*hX%RR@5%ajPgJZnw!Ds@~F#CUxBz=M}|#XSjcRPPTgXmdl!J=9_n?v7|Q z->;4_Asj3xSniJLGEP_P_~8Err&0t$E-Cf`pM0o6dZ%{0J85#mFWs{obkzuOOrEx( z*6iUQs?InwDorgQ@Y2+Mb~uj_L!^Azo}hS?Yl#&myk?un$;er`MkClP1~^^_Q(@D* zpp7nvjtbzZ9%A_T_?YhpU~yp~1iK-vrb4Gmc-b23TZ<4z_?iRh3E>kIktq&G^U!XT z*Aec2Que8uFqZU7DI5Q9Q1s6<966wEtFcQD2^@;*xQ=H%^ z4rc!F^*KrWK&fI8x!u$edWaj4)biku^d>Ll@%4q8ULf;e?cUiFW)W{fvM)-WR>Dx9 zrP+}K>i4}s_gxRkWtj<=i`KgCV7=zvl=@;^kn+viH#8tyr|tI%hcA44c)yY z&cn+xh*PIeq)1;dm&d`Qft`f5(c_yvG2Qn>R!yJT{%zb+SfWctOYa7*s`VOdkal^Q znQPkrj&b>=xu;+0$Ga(~!(qT2y?gcq;IU+|8u+IL5U(SB8!VskN>r%vE8T~gRgZHL z6obtdh|+kTc8sBpP`jaKFn4@_bS9R;#U*ET=?3#u17Yvh9>n=Cq|HkR7p0bj!@YLF zx6$E$^n>gew#sJ${6!Y>Qr`Hhg!l#Ak?(!gC#MuiMuJO>V#6dyyu9a;Bp0*W28Ri{ zjs$p>k{E|*q<>l(0t^`WLjdJ*+`zK9u9K>HMe#`(vD#F+zeJ$&jq9S~BJwM-b_Orv zyKk9po|05f=2t4ERctGz8=4gunr#$(C293}77KcM=`N=DGji6e;+bij8fN=VObp1| z)#kzdty$NViHg5njqr&feB=SW%~w=4@__J6r$e;|ubj8ujg!6WyZKmKwx_^~!eID? zmy&IHMiUm4HrnM}*o+`=E<@yov%RUP=wDw~pcsL9#jWQ~`Ch3wy}nsnjSzCW+HYk~ zJNT?D*4=1HzWU&m!2*r&g9m5p*Y-`@MPs`+RG2p@6D zI!iELs`sWtF=b(4E}}{d{fl#!v}GB0yz53L@=MdaHb>`ZOV5eSaLu4$q(7~gCvp#A z^JmNAFUcJr?C8{~E_A`e05$uvykajvuG1Nq()C$fCriPP&4VjLM|V3*s{Z6&k{YNd zex7D%)XM8Zs8=rR3rrH46e^vtzA4xR znZuntcg?+9QL*I-eif9BgYEFOey(wrrTMmx7qLF46~oEvNk*ilejXwXbW2{ z`uq$_c94DirUn`48x>=oKMy><(wj&g$L(ch!l|kk67;kCxm;s(qB;Qd-MjiVRyV-; zy3g2mY5&4$7Re-^wWsBmwa6Sv-#>JBX?poQ966rjfd;`=EbsdFch9)`sN((aj-vc! z*q6@ZJ~f)&$%j~(WXT=6)?2YhlHU*P)ydK8TcqTb@deOr2x(F^ex-in;I+3+^>( zTx-MwG-l8RP*Iwg#crWNJ4_&RMG5k3Nb&SJ9BR$c_(}1OQm#iyb@h9Uo{rsvqrSZxTbM-f{XdQf5x$Gq zw$K2N=@IoWq_RhOrw8uo>G_WVkRbeV*}Y@fMm$+}(G`evVj>Dv=EsYeY9bf$LBF&Z z64CLIT(F$@UgDlZL_UF)L#U}%QAAOTwt5u$uMeI$6CB3>QrM<1fCnNAe|c4~>mu0XvM-vE0RPM7q87e%f$vE%3f{!5CYoB~1U0QaaooSmCA;G~`d=qF*h zy%#!b5D+9_>&#S`@1ZYYPK>YZA@vjo7=2Je=!1bacl$wUm$eIE=oxStbcVi|ELn)Z zYR5I!it8ugekut>^roLZn8Qw7>%LSwm^T@iG6m`P)ZO}=Y<}7`53#4=oQ}-$(Oa_j zE;wSP&1sc%&kpWQc9P$V<$&!EQxLX&9^IPe!Hg_QZ|`%V2+7*BUPhw!IV}&N-Y6++ zG3k6+_sz%zdXr;lv0Hukr(LR(=W5H5@JD_>gQrE$WyAv{lV+c>R2-|#HZx|-)^yA< z5K^&AJ=t;~HJ$5e$@~4d-Ut6pfkfGHRV6Z2Fk17@WlIKZ2TD`752}U3G7iChfhuq` z;wVm$a6UWNb|@hOtVZqbHp&<7l?Cvc57V74vXgC`PHSzZG1sM`(^B3#5p4t)V0;0n$Eo=$8U6_ zFz$=fAFwywl{hHmPQ@uVQ$740&BSASx;=7-D*Ga@GQ5o`@=T! zn%>^x_%XfIv!z(1E-0~r2%Q+nKQmIpvecEnOY)$v6g{JH4b}O>E&^+l&Ga*5Os!4- zse%D8INesp$SxCaECfzSj7)&CUKJ8mfO?0@5}iOfFs~^Cno7il(nqro5Ki)5bIsY8 zy`<@)FI62DOdL~s4Iu$TWVdSfl)qAe=T|P}8wO&^wApOF&ZX9LMEBGD$_Y2g{Xv+; zFIXbiT|g#Xc(X1^ufpD6bCb~ot}c*Gg}GUN^b1fG&&=it zbQkU8Az+0EeBJi3|BL&r4D7?|`vqTeH>kDE3K&Qgk!?dlEy`?pq>1>- z2^S*;4nlS0jeQaL8=-vfWjyWGZW5qLw?gr6(B4M<3#(*K=M5*Hq_{%ye`LRXJ6rkv z8QBWo&}kRCC?DKZ&Mse;p4zu)4DH>aiv69sd>r?>ooOV6>d zIBZn~E-zY)kqNi9Er7ADHC$~%{ScwQbfIUYa9BkcSo(ZH;)?uq%{Sj#s)$NoKFMdB zJ6dT(26>;^GEA%NG}X-BUFYWgNETOwteoKY{&POZb@!r>;vSPLGEucD8+4RFyL;T- z-kHA}00%iW5L|p)pEqHZz8s~uW2q`~X@16pz1*nxYt9jyxoBIfnW{P(62Y9c1ME{E zcUsisDi^f=oQ?|z9GzD9l%N@1IXfdLTCGn9_OFswD5rPVUwISpGvl-SuSkg3k@5^f zAw}(0dplcG7I&i~C#kTaNTriC+jK-_kg2-opYyHj^@_%r4Bhnn+6s3f>*Zmjqj8Td z>C56PWc9aX0wA6eCFr+5o%^w9Hr3{oLdg0Yjk>WLmg#p{>F;*7sk`T7k1CK$ zjc${T{X4QpK@~y0y65=fxhnbDwTT`IDNn&1aC&u!W<_0Z;|{bmz4+!yFYW!6_lV`& zlNgjiT>@e0I>bz;fY2i_*kv1cykc}|kM2EIToNw7+IU^zXx)Hz%Any#{f_40xh|no z3Du?GOjX!7QeN|xU~LgS%!!4#jhId&&SvVh+SOxuF%32q$FS=Moia3M36hfU89=Qu7|T+u_r{#As?+g_-Ly1YAI!5iHc^FMHb(DekB1rBr!D+t{LAjl=w$8tK1_FU79zAM4lrJWP zD6k@tb1IQJ;A0&#m#PPxp?!6Hwx|-K<@+&lyvL=2Mj7TU{0)J$`J`djfm1|H-qgOC zF{iXL?_FO2a8nRr2@@AW z4ga^aA3X*ka-f8TWC8-f`uh4eRUTC3pX0x3#bc*sU8DF21B8*rD46xSb-RYp|6?Nl!$<%24x~EHx%b+I1Z4!G5Px$Q>6KJmb!t?pBm1~fH{UQ*8$Xfi+seeg zgu3ja0gKuxx<6#!r>0?k`2xhE5Cnmwi*~|YQsn3De84P(krSSjPNJ!%t6K2bGVp%@ D@UpOI literal 0 HcmV?d00001