From 02fb7cd86dc5cd80fb9fc22a82440dfdce49778b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ga=C5=A1per=20Spagnolo?= Date: Sun, 27 Aug 2023 15:36:42 +0200 Subject: [PATCH] Dodaj se sumnike pri kriterijskih funkcijah --- diploma.pdf | Bin 28783072 -> 28783364 bytes diploma.tex | 25 +++++++++++-------------- 2 files changed, 11 insertions(+), 14 deletions(-) diff --git a/diploma.pdf b/diploma.pdf index b77f7af774a09c3b854e5c59f0ff92a8917fc5cb..bec7f238eada9349c98bdfd3887037afb8c364aa 100644 GIT binary patch delta 35386 zcmX`SV|$)mxV0VIwr$&JY}-bIHfoY9IAhzkZQE{aCr#3*vEF;F^=$7im>=fc#@Od^ zjInpPg$$f*AqN2900aODKmpJI3;+wj0q_6^vEKmkw$lmKNw1yBXl0ChkE z&;+yqZ9oUm1@r)YzyL4=i~wW61TY260CT_sumr3CYrqDu1?&KOzyWXsoB(IwJKzGi z0&aji@B{b>cmSS&7vK%}0KWiVzz^^TKtKQx2m}Ga004vlp+FcA4nzQvKok%S!~n5C z91ssA0Es{nkPM^%sX!W#4rBnCKo*b<m;AJ7jB0E55~Fbs?Uqrez24om=( zz!WeI%mA~%954?o0E@s9@EceLR)AGt4Oj;@fK6Zv*amihU0@H`2M&Nk;HddnZVHlz zpCixpM=LlzNLL|llLxK$O$Y8w`kO_lN(91&WYmu(DA{<5O&r_A;1zA6^~UBFOWd2f zYZ(-31>*--y{I8_o0BZsG?~qCnK~TN9oF343Mz~stI_eZPX(%CQ|)p(EqDz%jP37* zako=<4fZHkA||z(_J;y>nNGd$zF#LVMhv56TA6HBAa%pPb9Tq+IHKFEpN4Q~-c;Wp zpcHB%SHecd=7cs(@0Er#W*z^f*$7Kb>RUGtdSd(OzBle+wlv8WD}{gcZS{3&2dAvNo=GYAZb#cuz(9`;#}tA&2Wiw=G1D<1 zAp-1Z&f6&Mq1AOhCk;&qd^t+VQiV!21T*;y5>(D%7K)g7PuRb=K3>XD_e6`Ph4Iyk zwKXc*-D9xb15zrE6KQ=-@Av*CiFRud8;0%)^Nw?7+y(s$h%rsa+Y7dIigP;J7Arm+lj1Tk&FKkIO=38V#x)7)Ci z7A>MLiimzIRre2AwTM?{clqa}

eg1`QI@g6vVumP`tzQzacIS>?|H2>uwDY@^{Q zPEo06Sm`ks{d{vDNR}^oASzPnE5V$#t!Orr>$`n_5FbCY3NG|y{?!w$#cIi&D8cQT zXiU+dScFrF#jS>JOIn#2O%cqM#EO*XVh&OJ%h2rkTl0 zKvTFhZ5l_V^G2*!H@X64@NP=XrW_WTkgsf*16rFFCo<-xfFA$0j8?zdxm2v(QsvgY z2K_Y+23@I+tvO7J2hn<1#HarK^BU+M^u)k<^(j-+}&}r6BMF$IhU?n-!a=#-7*)!^$bVpe5f~0 zN*O}MlJH_2X=p?$JwjNc5&Yo}BkN{pcAgIi8xc28ThAfRf4}_phX_!2mnLmeP|Ct| z-%7DWVSib{K)_5L#J5W)XR+xT%{2pn7+duGK+Y0tQ~UVyR1%UL=mvEvwoefJGGY_M|@#ka?1Emm_bp~k~H$E zW30C3`QvbLaLzPvi!Dq@Hh#V|_H%GLP>r_I_f0;uo;RHvSu-7^J~`~OlC|M=Bd&f5 zb1`J>U4AlX=|t^m*nirhqk2KPFT@G$zsem5^?oTPfQ7?u((sdZ8l;t-kzl}2RI zx^Uwlh=P&}UB76Z$Zt@cCeH?xV+1GMe6*tp=Ykbo+QBQKn4~yJHPPt&#C&W95}l@Z zQWMa%Z>?2UH)HDEq1o6I+9zV2v^RP|PP$(|avcNyuMz?_O+*B0tE44*&*lC(( zdL>}umDN>9J`Gqo^SPS?P>Qha@gR$$>1YxPl3gq)sz3&wbOAW4UIw^?Iy&&YUSBLO ze{#fkl!eqJ=q2gr!e_m3`E34y)^lyn&=9ozAcP&In71juNBQXqJ+q6EVuV(`&Pt=$ z;AZB*6u?_jg-pY_;AZ>9gf5avazIY|+7%SWgTQ7in>VzTbk;SDGv|?zFL&Yw-6%T# zuA5NP7h$OE#_=B^K+O0o8C0I7OUk{ERrFP zMro;Zut_1nPpl4~wc+?9uHoqPZjDrc8JCOv9-!q-HTjf%5w|Hi<^_gQzqGzA(9-1W zr&$?w_)lO3qFNw%FSU4!%r%D@ZXHG}Mu#zdNZ_O}aV9y@#&@UYpYjhBo_q}U>)KK- z34cydzMRuJ!5g*n>UGM3PAV@1y*0OMf5MNm|NCCSFVgLcMJ9$E6k#|r=i2j1qC*~L z*`Y?vZ05Su=?BjH4bE)0J?yz9%I4(f>|if*-(h3D3w6dRJWG{NQeBj!zYbHD7W$Ge zYMHP}i`EB+mfTQqEuH ztB+B~AFknH-$O!Qr%H^FWesQfXCHqIOSZwLF?jt@14{3;gj+GUaJs#c8p4loc1QYz7(_s-HoOeo$;1* z{1$}&4;t2uu4{y{mlUiwQRO-N>Diwr(@PpAor1M!M9CZ<jG=D5&y6>+GQef=++DlR7BctytH{ge{`OU9Tx2>F2jYu2P@s>Kxb)*0) zl^MDGx(~f4=ZIOu8%Fi^wg0FD8KDk~kvCWP)UrfzL7jB*kc0`+}(aP>n z2l4B5Ha=N#eM>0PSbN2VkCO<6KQGl96@SLrrf+91w+}l#ensVj4~f zSXuwz_?6aYOS0+TWS}!*h?nK5wJEAO685&6*T=z>%N$Ju(#B)^dm@W1NDcy5R z(>aN#@^kYIWD;k(bky_Kbt&3uv;D$8AIr>=NoIn}XLYS4;v8JGs>M5&Jiu`}E#dzz z(OLTI%ykg`p?Ox6SU@+RslirTd@Y*h2wvCg`I3qAjb^ zNg11}?WwRw0a;feBoLuXAUbTzsVeS@VXdnMrOOBoPVz>5ZP*N!krbIzssclTAtIl= zbi(i$behSw+S$SDTw5rmmpVgD+lsZY^`xl=(&o;~){=%|4J+F4PC2hwEN(tDgAqhZ zv%WV8;>W*mujK1)Ol1oU)+ zfN)uSX|(Mczu(Hf0D1yNvu0AwjR3+odB`f%f$-?AsQL5Tiwm88Xgj)T25QH@%U2Gw zZLDMFT!+UOEZcIjK?LUQGs)b;e>mK{8${&V!_9Fi&;^eo7{hZ+@H*G*l=HjTG*c}= zow|)aObvTvI~N*!o)eP+omN3IS!5bEFz*f?-qxj|`9GkTLDTbD#pKX-UA5U!R-Jjl zsZ&tZ>jA%A_{$N)GQskY`dJ#DNW2;p=78^hQtWtM%vPmqu7$| z%gTqVvWIa0v-$?~>x;#ll@TUpVtg@xsItq=_Fldd@3<)wJj8&H={&e?s^AC;4H#sw%RzBb{Nu6d1{C1G z>(SN4bKubwrgN5?T<-SjAi}Whp?0!Oaw8A;anqsY`ObwTY_}SFRNXX+;LP8GDvw(? zP!EkBbUU=;AS)31v#^va;Wvf8p>ZSWMLIOQqVK_d10yj+d+vQ)3MEqo#H%SSbg2i> z5xhQI>zV4Z!sgB_P#?25vO51@7(M=-D%cPpu77sxx@!A8-4ZpXlz+Aku9Jm%-V%0p z5KBpkBZP8A{FewG5a5~{I7|Qs^5rPuFFBj!)Yz>>z;2aANV*0?Bxix(57vlt9t-r@GgrH;`>GJx>~Ihm!GDXQb|~3dz{~j(?h_JD4V%a(3?~`uu_>{q(j&EkBA1dJ>ih$AF|vZ2 zzOki(M=yhodbEGlE(xoszm(}(!X&bX8dXcdK+f3yo&f%msQ_5^Fj z=NIfilCCD;r?i867K^bhHigeV6@8Ieq*#re>$OUhrolIajq*>M1|dFzQpFEj?yBZd zum{ob#Pa)4ia3JQLP^{FpIBt^J7ghA#Orv`E_GD#MaAg)#EvIy25qCznQ7;FU-au$ zS%q#}$XI)Erh#V`&eDKv`C$Qt2U`ZEi5qdKJd%65j@?qrM`4$#KIDnVuOQ3EUAhj< z;k{F`Q>nmDu?cNX0&I=OfI7m6ueKmTbrm{26E!!fsV@kRs@L8c^7lr zUDnBY$bZnxcK+YAr$t}SeRCY$|FkY$rc0e<`rj6P3Znpp0lmYjmECHV);Ty0c?i68 zB^^W8>(dLt9{5dfqg8l+epy*u-LFnqhZuBu-6Vj=Shos@eZPcG7;3^D#mIFf#mJ3u zNjG!C+PUY9$Y=IXf@5i^{z<{m?fH$W)Lq#&WCGq8t_1gi|Fs)62c_~jUb;fRg0lt zY`|$y-88bpNis=A58|b=(rihg(L!_DtszgxSdB&iu8}4KL9;`?@JoI{xxVOxSvHNa zsShp)L-9~FO(`|RaKwb1_27CVXCR3wdjEblch5mEwhaV34p`&~pOj>wCm;V51@pEA4WV zEo<;<4Q9lYnRfZ+n$$5kY8Lpg!i8oUL3YiKX8oM{VR~R@OvF%6-;CqQ(ToaLCgd2q z{C=@Wd2C#xeyh1Wc^E7A{RAyueU+u;Acy9ddzGQ3{1JJ}HnKYP?DVy@+Kqga-LktV z39KB2!sqkpPJr?b3M!`2mvvTg|s)- z*I?{QJ#LDEa1$)uO4cnAjQ^SZ>Uq;@4v5tp&gbG7U`0Nd5(jBcx`5zeZTH%b9F z!HM|q{Z?fkuD)!`1HET0AL{9-j3f3>A8oJh=lf}h{Y>!dX~$Z3x;+iAxEnh#RK%^R ze#H*1xg>(X`dC1Os5T68dgAaRZbc+9aDHMFEGlj1^q+t5Q zV84{@?>%%Vh8$a*_kwW8hvgEei4oN&*=c5-8#m2%K;G8cSG);1yOy{kpsuTf%`#3~ zvTsAHh2)<*`QiF*ruZt0?x~9CWCQL2+G=&MAsMjH5>|g~mE^x!#-x;&V^UsEj88Dy zqGcfu56JG&$B&ojN94oUX1eHykrmr;=Kg#b7EBRF$j&wjzy!IClDJf^4`*CS){8qZ z=qn}03wy?i?IeG=S+KM$z-)T8*k-lsl+Tz?z4$m1lTd4$SG5UD27II^r{-1>GS}?H z^IiEyw>MiwJ3?AHs#_mybTT$7?4>d^?FBky!B?^h>u@IV%eotCM3WMIM+tjbWPV=E zqAZ@t1n=1N7M@R`3AU|g0<*quVq!UjzZ8KiiR6FM2oXCtMbNxZSGM!vi&;GKrG zAlbHi{z!TeaUhmZonp)LqY=zkOhbwzznL1lq{%}x0uO{c;6&<;ykS4&TF$&>OsFi} zupHmY+Foc3rLzHV*pQGyCVARogfucCd3zIZXF`9>%<_->_rP~ToxzY;%rC40>6z1d&Kvk6;7qH!j=Y~+}bGzY;4pGDwQDgI@p{jU(Ik& zTu{hcOeDy1-qFCyAB5V49OcWE&cJIVrh}O8SNT^k1*0UummlZz(97R*-lSu2E%M6H zHvdiEQWQB<#rr#lzyIXn@+Rx4#QwGDWZ$m$(JSI!03JWH!-3U3yM|n|IpeOKv|z2m zW_6dEbC-t?v=K_2KFpqYJ>Qf`B!^4m(p_I)HVUZA`+8_Sf3>66$qIDc220ep<{}W_ z;Q8-ypR=&h%MSNLd584&HwR@YM|r@-<^byl3k^12)KA;hlD)oZ%QZi1p*6194CF<{ z5YfI)Qx0o*$b)l_oAW;h0-)RpJ(S(k|aqDAZ z+XMlAgZHcYA^la4ECGSyaVIXo^HQrUMhBw2widdcYRVE6$q(8UwW5oaQqMMtX~Fyv3uWh+x50oK2Las|36>EYI{;4ja(`O* z_FRWviB3y79U|6AaNOhk*8H``$k(YG)Wi`Og_>K>U$CWc5DZSJ8O%mVYYNo5pMg9Z zrv12&8#fuB4IK+yBJINlE0i6Z(-7XE7O5GVbG_89@Yi-jhI}?U%&S)@m@4#NR5?i+ zGXz@Z*YChrNV3kW)ej}7D79@>P43|H;S*8sqgNAukzCLBQa5?>AN@}Kcp~W;F^&z7 zioJo=ao1*GG zB>kFA8fUtbVoe5ekdvrGZ2=YIVL zO$|j?lD*0fhIC7U1*J{*F&hwv45IM}iwwU^!RMcUH@y% zlU}9rTZP48DVf*Sn-PiB>{0w=zUBHv;!t!W1bS)Jf1>hRHtYN^n1S;o z1v+Cwa&YngAC1lEZGYe5!2ms(kUz^sMd|t{A?&3gCPJ)E?bou$hZQ4h);UfY*KK{c zsD3^0au$2Y={;DTmP?vN&;T_sVYUysL^Sb?55LJom{dFou4pkMCFmmp_kL`h2 z#-y==Q+9u#QE_!ywgmEfQeM|oFDzHDM}zm<%~vI7sseE%HFm}}iMm&uW7~|r7Rnpf zeBWHIR-a8Hb+%banNgg)Ghb)*$#(ho`0s3$5}fcx;u0Hk+FL7oo5=4q0@vLujPYUv z*F^5FRCR|lSO6>PU})hh*2})860sm-k*6uuohB!0g=6GjHHJjyU6>ZH21UAQGShXM z@E?cCt5T4Xarj-Y5zqdN&+=@V&h6O4_Vi?9MqOqG9dGb>V~11ix%BXIar<3iVk$mM zkifOIaq8yrgJS1hby0|efyWc>rinFnbPFGtU|{J@6c)r`Vd>9#u3zX}H5y80;`6`p z7P-pdCB>D9ko!d4hjy!9A39&d1zNU8sB63JP6t3e($qrkwJ1J)-?OM^A$LC!M!yrT zF~9qF=|7x3Zlq}8dEYnqeC;z=vku;95sr#O{%(LTsygvcAoO0z8S%VOYRcxVdf}Kw zYHg`77dZ&0#*ilZf2bL-&IVik&(2{z+}xZ($Y$Tc3aRxWdwLcMXYO`_N!AYt7-jXR%rA7J@9?w;%ww+X>;w7oIVJ1-e^Z=NM_sh zu}aU!e9j^qXMBH1gCxz*iZsZ4pGsXavVzn>8dco;%R5+xq4l8)gaLlmmdQG35^CLg zKg2OmX1Pa{pC@Re*Vc9H=qC@Y42WA95WePFX@5U-3Y86AAMTGOT;3e^XXYXpi)q@x zS`uojQA2z7!Hd%Hn^BAo785#x&dH3^lq|_A4&jT&6Bvr(%$Tz2|Lly(jcK5-kZ4qc zg4QeoTF~osFynV?=Y`iJuapQ?PJQ?sGY0bKT*QJ2gKnVu;+dOOh1B@q`6AYM)-kSv z$J_rbWJsiz$;Qu+p#*O1o*?8rRb^Q>T+$*D@VkP|r93^0RqC^%y^6d`ty&3$jh~r> z{g}?+t}W-Pp0fxt01GLKW>t~>hEF35qS77p(==<^Xhr3$571rS!XaoZMSI|buHu5` zq)4;#*+<~QT23JGhWsdets z{;eqKloI|4S!DRv=BQV#+nOZys_iBQ1A!*IFX}r+^tV~>fCbW@u^C8_3-s{;T;aB- z{ie71Xg}c>RkeMN-KyP%ii6$o=8{{c8D5wSf5hA4L`{r0B+}QKN(jrEYcDGDO%~YB ztD;NZ=FNl~32z-mWheKORW$<9m4QIgg`+S07J$N!elqO@3tcMq+k$@zgzdsRh%c614refFE+ zkGG1=Ulp-?vN+xG6CPp8@G@+as=D#A3u!x<?eBB zfs6nSPl*@brJD|W?hM2A6m&CpuB7cMSK}-WvxpW6mLF#oRM-$HiJw<>)7aRJ?NAY7 zT+~fFQk)VE2Ws5Y{w=u>7@3(S*|WT?5yVZbMU*HWNT_*~zD0~VKSax3&$*&6zZF?x zAG2exRS3yh3g$5&Qj50w#n&YeH+pjf)Ao2mRVVEf6%4!a9ir0S9@$(gsbJoNt5I&p zU)hXqO1*PLmF zDg^))1o4EuG3bhk=1^{=+Ewb&*IqW_*VwLtLpuVstQ#Il1{5YG`-CP@3}z(#zIMm( zx8A-V%PjO)Py;D^q`p=)3<0T-pL-F!N2%ByTP^&L z?<>}9g(AdzF}D0;21Qb7Jl%F8=+*BIhmy3^0!(~RFAYjKN$*U&$x_1MhDSK`SPwibErE8nf_@`4@I5B+p~l(D`P(fO;w^ANw?P zl?odrA%C=zEs@#yctVp86MWa0e?ok z;i%_ElKW$n=+~^9YXve_%E*~K)$mW!?Of)h|6@G9BsM23NOr#e-A>bk^cCC>c`*LV zSKY{3Q6lZcXIc9Wl zt$F%nYRvK9%j1)0AO1=X=)ZlDHl8lgsobGx=gY(635XX7#%@pm0*_srDrsb9+a^>`^IgrC}W|pVyjr{D=(Zsp2 z(6_MQ?--Gk|1iUqk}-zS!@$Uq|?C+(jB(%N=Ayv4-%5c?m-HN%*id4f=%v&b_+E5(;%g zD%C6Zb1QSS<6mB`Ax{Xsw)c_*;cEiXVBx@iS^qx4CedaHh_}T*xMIM?Pov4ARJ+x| zKCl#r9Z7P2roqT83I;c30M&IaB#GGB&+vV(MZMM6cA z+;3h8`*uGnByKi-L2n?*Xs?0pPUdN0^%M~IE5Kl=#(8`a;lZqSq3+U+TepR~1(7M1 z&Xh54PuF&BL94z^gCh1eoeRfoolM`-hRzzZ&LAe$4T&w#PDIW7`ag?}w!cA{)H4h2 zzHt@n654pg334fGb!`t63kvJ^i}@v09#-3nEX(LE<9$JzCY{p`zc4;ReiFQ4w>l6F zoT=O35haclCh>4MPTf#sqWe_M(z-j6^1R3pa9OeyfG%&03iGI5OTD`g{0B;&Xf-C- zN;=w;ge*WYA2m744sN(x+C}*Y!X1Lonqj$>w~wdw3%O0gyWUvv?!)lwo)?4|U`rbo zwvAjkRJ82#U~*?-BAjKkRjA>nLsc{^B>KtZYs)liS(Xo9qb$;b+U#_la&9sjrc>;g ze4~#ppy=!4HB%LTcMfaS#@-A&M_pij$vsCEm^-c{i>^kXlkuqnaMiH9Ci^NpoAD`|4+T4K*n ztP&)V_cvB&*{oEcfFn}>DSKocUC?e@;DU4j#2q#>f|h@Exs7+fAT?myYSCPOxEZ_P z$d-v13I|OtS~8z(7P`?CGC7;tur8qj4HIt+!N zA5y4w5fDD?wToYxBNTPk>$3I#tcnv**vM<{Rv)@&|5$k~q_o_VNU6)DFAx1fTj+pI zP(%xDW7sFL{Dr=JkBg8*#Wd5HSkb?@@jOd#+htW1BEXHKr>UaB`GQnP0u$_P|0>YHI1F#Cf0N7 zn6V^e8`w99hz;Pdtt9@WZI@u6rCPE!s|~SQcGz?e4?M3! zdIWzwq}R!oQI+!v=PBVj_`*XNeAlolB{xS~P&EgWJ#==EJQVh>KjMMsxyk2NW0isC zt&Y)^eY53cakTv=3SWdKA3aO;=?`|+-W--&HqM#TCLvRXU>cCuNC1=6r2!#vWZU`F zMPues)XfdwT$%ToPyVwYV=s$eqka6#zzfF_*}PLkXT%Sj(;gsC02aVD)eAedk-{(Q z8FWRsHvGsszw3>3UsygQ-W&Mf2VZgPrg*Zi%UzjESEA?Z2wEOo_rwX?0|T>Q5dwlw zZoJ0H4Ah6R1VPCfD52(0=pN(vaBinxUq$Yr)txuCLUg8W zcbOvP0(l7B>+raO!Fnn%M4u2bJyaZ;tzBV1;x;W#dnUu}db0 z-;It%2nL53>e&B7c~=UqFFi&ypo(+Y%7vC`1(wy+@ic>Z6Ou18lPsfh1?aK&X9-H8D0z%?glY*cyp+qK6C zNoyHuWl#l1NC<8{Z;(mfOCmCh4+(LTdxL5z)!prJ*|6&k(eMCj*LM<+>ps>*GPy$e z3ofr`emZOsn2<@zl+yu8;{Ptn?dxU#`*okriqp7Cs!Ps4{U| zbj0pkCEubqJ`qmk?Qf*FV1~(?L%TfOg7q@H=gZgHG32gm5|6KS>YE@wS?5q{HMPpU z^Y*uY{3!PG`xAOvFkdApV`3>*#S5YNh$4SK8=}&774>eWvD^y?S&Y6odA zjMe53=SGx2_yR|~2?T2}I;V{#~L0%%tAlsnF7z*sgW_f7vx4Uq5` zcK}$;Z&b}c4~J>e@%@Pg^cBwT>H|pcD$Aj+5{xfIL(nC=!kcTg$)6h>uJ;D(%LkVz zlC_?74zqvGAyM4L9gF6H7Pt^7^JM`4?wh@hQ9b|cxQ{F( z9kV~f@?-?g5g*TYd>fkjfgCWBVewzaS6awanS3c62}k!NMN2*!6l_iv=SCcBZ7(1w zuGgDSR`zd*Js?}X>c*to-rm@f-+nL=Eo+^c6&{^ zY~)Ql#&LiHB^CW&A<{a3yud9>^sp(m3kx3@g;I=F`ZY*L(uTgd5Lbl{6HDWl(po1| z3CT!gFDLTtL#0S}Xn&pv#-Z7z^s`4&>e@1JP@k=k(+*8OCVu*hW*#t$sHGL$hwe-#%ELbqowgSxH8GvQ)9jT@LCmbs${do*ZP>*65U? z2v(#>+n*-g1U)!1n>N_YSbcLQ%suN3sx;ius1JjdExTVfLkMm&@mRM*{bI zzy(vBqtvlzT2-L=*Nwu+=Ypx?oYFE*D8$MzCB|)|NA&rtDTnS}R_FC%Gs2E-#c6;; z3EXF0n{(lDQG$+`T0l>lF7}{M>^E*U9^Tyd4D6BLsvzu(&`9o`+?F!<#|W**FZ=8t zDZT?bjqv(qj#n$+vYw-iV|x1fw34e1YI)kJ#}6zc7MWrjuDl8nF*Pl0NLK3;g>gyJ zkM(Oc)S_z3A3U=vB1XHmI6o1>Q^Z1=-{9vF$&JwYs}W1e}drD(W;!osVqchIVHf z_#KV>=LrhoRb9DrGR5P@DfMG0Gk&bP6>VkQBOu0WFVYo`H5$_=o1a?vvIeJa6R(GH}Bpyc>God~q+J&4|f ztruIWZc>?GN`{t-EoJpZ_r#6 zBBp$}Nh@-96OllnH+A$Zi4?mpWa6>y>@n`WOt#S$!M$_r#cY{4(h-uo&`iPVZc-Op zIW;nz>~NJwsFg$cbYsW3H;^uRYg-iinK(oI;~=Ne3Pbhx3{^Ul+O%Uy`0g-+B^S(M zWNQ<^kNMybi?vak`~_>RL?ywlm>hl{+JIL`5xZ6f5VInhR9`?3Y%*{Y{;BXu2)v`Vt|c*g!s zRvcx>&IDo)spqcn<<2LXO|H6lMrp#+&4@+<0s{6g?`&w-RBzOjrv;Erp8e`S+#bq!;hlzczjq=Z zY&y{6AQ?U4HEHICm#Z3-9mbIRmEYP&E255BS(aIt8QL*_7ifdDaLZGp>WNL{dg=EV zaq?svb8NvbA&E@(4SjT?U!wHqLJ${=6d3Bq+L2`_Mvug9kRJnd(l}FQS+#dZgkv*c$NRIM%<})71Fi|TtJA~B|8})L4oMlk|np!iS zpI^w8OMI!ZLf!!9J(ZD_2sEpIu4sxm*Vhx7pg@+fryUzKMlEfX1T~oGZLU62Fp$73 z)x%Uj1Sbjc4sgtOAIXA1)M0GGlkc3Rgq#+POO4?a5o=-8&C_L+2bge#mY+5*npa|S$hD?6tAw4!5^j!wBM1+6^;h?LL{psVbhJv4dme6KT$Qp+s z^NS7Hdngu%oe0~O{9fq+f_jRzW{%{$vCAqsc3ZFUx(k0IX(dMsGzl5Mqy0lx536~_ zj9!N+)o1CWwqqLh5Qs^vlnyx-FJ6RFfI=$kuMNS{!Jv8z2C2t)iQ-_xpbynzJ0oxo zCW8-!fe%9YZm1N<$F>%Q%ihx}k2Qs~L~%ev&M-$(g_9FvKpQJrdBjktV!*!Y^0_$X zxiq2F3m2(0jX;`;Oa=?dt-Xg%NHt6>)8p^3o_R(4DpunYHL&JudvK#1fPblNcAYpC`OV8=GL$82=T zN4*64lGdoBmM>0fqUpd|H!LXYO}J9!PWR4aV>%2CU5;1T#lJS3Bp-NueDbbPFE0(W^zVaBqs2| znyq-yVQ7X?r}cb$;Re2%}la>q2ZGD z|HPnopx(CV0@8p1?Go*wV+Sw}HT zFqp3qLVY682Ko#(53!q|hm9GY_)h0vMRRdrm9)aShw<%BYAyb}UlP>3al zuH6TM>k_DA+h$qkWo2jP8A+e(8)eh&GQO^>?6rR5y)%L_l$STL-I6|r6jCs?lSZ9R z?QJk^Raa+*P;`P9iAMz>Ol-B(+hmy*b`qEO)_i{dHYyUo@y8o&XOBj(V~Te68LM=k zlMz&cowrGlA!Z2Kgr!o*;uV5ShE$EL$M7N8>SX{G_+-lkqBKo{`+hA)5M@vw5+SFv z9MY!VY5Ta>Xh#Q1XVjZDg5a*UYv#jFHJ*TZ`Os95>Lm> z7&AMHb6d-SiMTrtW{JMeSh+pY(FdEAqyy>rA7~+3-l+X?#Vj3SeEk9vqeulH^KV1c)Yj^0f$shOHrtCTR3@>s&oLbNmR9N!WQcf z=Q9*=pWe#1_->~mDSI3HUk+U8thQqcMisr3Nse_I><(H#@xoxorIb@$R}nzCDW+i| z?25DQZ%xD{ju`nv?+f{V)xY6dlrMoR|DP{%{*NzWL9+4ums|bcM%RD8(8G4*-lsa% z8M#_}_mMDJ`?v{f+AK|;lpJN0jP2m9lg{&%p#-Zk`92Xa@%2Pfqvi9CH7qy`uv>7b zbm}ZB1rgEr{qy}UQe+iA8|mDrqw}X>c_Nx`_B1WZxhoT^Tyr>m!XL+7q$Rm-2$m@r zJP3+;3YPNi)*%oSAjZh{*Hy)Gwv-0LO-ufajcda;U3rTo)~*m9yACvpZ7!$fgP<@` zVd3}Fz~BI;eVY+JPHmdGhoRNoMoVP(_9h0$yWM_0+C}};A{4n4U+?EJNuCz%6Ai-u zM0-}tyfGTyLbi%kt3#hDL~hgXT3onb$!|BM=ZpLB&$_1-=#YncQOSpB!1vlB)tav$7s%vLeyF1f8J=4>GEBh>K0me&g0mi}t zBje4Q4xSBH-+Ng|$FvIE88p&@C;{Az4#%C;9+$kr@WI*ni@iiNbAMbe`jmZL zLAs>IeP)D= zO3Ku3sF$qnM(|W>9O_-vTi@On8319Dk3Dum?>5Tf@xM&;k0y^7kN`tn6(ohm9JJN2 z?KzfWGEHJpnnll4x7ktPGJTL3?M|<2B2Pw;NKiDOI00t>qfF9|D=(?S@H;Sxz}UNU zwp{%?Fl=NN^~N?4u82(h>k)>0vktsDe_|65&=SKy9PmC#GBU8ZD^;)K)QhW$fA<^A zPKO3K8I|*;!I*_Xk$&7{(SQ0Bs3n9{of7E87<9)au-i#XH~iZDdh`Q_8};~kGWcG6 zykx&!Zzc%>1~+(ZF%CHu6dI0Ax|)?Fqhg5J4R{{Cau$1;4RBQb`xqGvP=@|S@Xlf&yBACx1W7>v-L2slN!Fo3UN}QlO%4~J8-F=0Lv@ExA-V%Hlyu5!R}D)n+5x zz**=SCUh-hDuU6EJyv+47vKdPi?Ph~4ZWDqVAo+nH(5@L=a0U`Z3otZje26U(Qtuv zj*l3130;NukGLk1ncyXi$#cU`P2(GWwy8k^rs6b=nK(^a;v7gG@x!JlC-NIRQEVD^ zgIcV%+2=b2N- zp{~YeztuZGQv6j;hEpu24(8W-fijk2_z{-;CX}*8`;RJxLr?c=)WV@#-cWIQCsH23 zUbs)e7z{R5QbPx8_}$nWIk-M61xIbRimZ2-%5!3&X+l2XB+wM!3<>R=1gCaBqW zW5eBr3Dz6k->UY?)?N-aRlRt>(HeeIH@cLqD>VNT@8?&QQJg`$R$^295emQsl#axh z6m2+M<-fCy8xuI9jg6Uutel%tcb*g4UA3^^-b%`S7lR9FSNF?Pk?0t?6?s8usmCZ=^RDt>nJB6G5b2}0^qYs^qR8sZ($*v$5o66fvCmGJ-0lp>1^ZWIJK3C zav4?hxcM9-B1Q<@o?Y=uaJHlefb#4;`LMVN#ezLMzPfv9@^?tpXrt<``K-lkGoh*x zE`K9yrA$w2xEarYeoHyKqVn{f&Pi0=N}kPVcqBWob1}qBW72y|(q++I^2u%4!yB67 zYH2mtIMIqU^Ku-t#QdA?`RQV6cfg<)<}# ztbE+2x6d7`bc6q|2>#&Y%Tw&^vo=s&`jbWKB@i`X?G-bI>xR35evQhE)E}!v zKlmG$wZi>&%)uvVb$@nvR63>f`+FITje8FNIjC@|mF4iZ)9QR$?|2>)YuQ zTYa{9yR&1W)aQ3@TW4)3k2;1H@YoeQvcQSiZb?maU` z^ogjgA$WdS2#MJO7}#a*_etD@Qy25k!-;*GDFEdx z$G?SlF-LPAS>{K-Y&_bf#GNxsX{CyDqz*{fVc-Zl4}EHdRybT8i>=(mvW9|z03T`U2NUJ67Y+jutp{W+W0ma6_litJR(g7pi)2CtCJ62sYfI&H7$OcsX1dmhL z91E#}^ea5w$G2Pxlm^$C?3U@88Au+-1QpIZs>yTh*7)2vj%gp}BtKQpvc;L%JVEu_ zfH!1zs^nJtmFJxpe-;JS8-ifeImfXNZS{BwgLI`aH4;r7yIHZy-k&Gmi@jjfIF=k@ z-Z(Liv1xFxRHc^`x-5xLQULfq`aDTD^~|t*8}7MraQZmLu%OLmqeum}ozSi#QRvn4 zeP!LMZhd@I265g4y>A;s7H5;)55IF4Wcm(UYH^flHNGkrrc5LxRR{XzA?8kx{$yHA zjuxs}lXsV5Vz9p1`yNF-&8x&Sbn%DiH|?M;xt4A-#t!Co63?FvA6tMp;Res&es3L6 zg@^k2tI-0Q+xuG&TyiKuz05q|L~+RkALoi_B#hAOhIKRr?#ztLb(s)9~De27pb5J+>f5G{~>rUDtWKvrg0M!Ar#f9Zo|=zqi)ytU2vdh6c_IsF5x zodizIrd&F&R;2sJf#^~TgsjcE5{l@7?2TjAtS7CHAWZ-^S;!4g!s(9>4~>L@x1^x6ahs4RPmG-wioLSnqt`y`zpk?Oy1ks}>~!gto-b zub2`tO9TqOZW0V&s#XB+8Y*7^!I67Dd%r`pD(1p&u@${TA_o7&bN!k}2f-ny=kM-c znRg~VhG0Vj8pt6q0HFwwh3rPLscrZ*hl!8bMfF zqq9JdluCe4geo&g>(zrNXX*kc*6pno#`kZxnM#Q=vF{aNG3<9!D&TNf6gm3+d9>-A zWuoTa`R%!2u<`NB#<>$%LQ~UROc-u@a_W4i$#L`;yFU&H{ZkuMu8cF7k$;0gEJ$QL z5d;D;#zz}M5=jr~ced|ydz!Dqh2fOyzg7t4k z$FvnJy3T_cv1L(m5e|etz+c|j(>vr6RhA~oX1MhZvBP0iU@1{k?sET z@}t-Pg4m#FV~|cZ=Bpi`S^E(!pGTAz>!O2HbF{qeYtWW=&lFU-s6>J(^ZRxPp39Kj zx}CaRkkIgPz0XR_#VB2z{RG&?{7`x23Q+^hMNy3EVsn0DJ&~ueBV*`?@BmcLhjP9! zws&k8`Q?(YwRt+|PWnVj?AcEH{FH5?X>M8D=(uX>*Z$*TgpsgvEry|i|G|%!^)U}A z06?8K3-NvAF()|~?$mpi@0`OVhP*9rKRXOKY`!An-OPTNyn-fkiN*B||BkOd%TE;Z zb4h}IRwEuc)8o6T-7Rx*figOuryGlXsHCsX(@HARHSz0RMel!pC@>E8R1v#>f}zxg zM_)N^r8Yd7Ax-U-|7RU)7;y5H)32O;<@_rbU%C9s)mN^+a`TnjuiUj72HfwQ=0*`x zfVze@+x`2>!&e@^^7NJGue^Na^(${*dH>4CS3V<~?LcF{0t5^QI1mURkU*e-Km&mR z0t*BV2s{u3Ac#PafFJ`w0fGty4G20A3?P_5uz+9#!2yB`1P=&45CR~CK!|`410exI z3WN;wce5QiXm}|Y7gw$@CIu*U>NM#QJOnEj`~OaL7}8d7z?VYkKGU46?~V!~NMHxY z0loDv0@dLN`zdYnv_oMX$JGor0yPiV9!Wm1q|_!_6ZNV$Z*yoTxQ&;qQMZv6sfIE~ z(oq>@cq)z~UFa7XJ>U()^L1hbHK@ZHNzPkx;?z0}Pr;h3UBZ9^*QCV&pO!6yZKLx? z<78j}ps*S#*RkL)3hyL@1b?e47UrE3$2THnGGeG(NCB5|gT;__4Tn;3gXMVTZ4zmW zHwK+DXYxNxpumX{miRM>#*uo6W?6%~Ol?`SL^->$`jrSdhB|zQa>KtP6}&8z($_fV zLydIM(~M$2;j8ow`%EethOO6Uwf)QI89DX zQoi)J4(WltgN+)+9v-TpAIv~lDfkdjSU7h7{PxC1Kp1@Tb1>Ag0Yl#;kR9czepQ&z z-y$-axAN8*JZ9(g9~8o*9HcwaK;sJjEaE9PzBI0KcMq7`ezEne-#pmE@to<)!^$tf z^cHiK*E4s!*TmG2CidOqNaKVfT1jn=Ao2otqeChZ|0|Cdo+7p1)5+G`of#AWBq;Gj zHOs}#_ZhPf7l|vqC&wq-;73=k4`D<<$&1;;--Wfr=T^tv7ILz9)B-vT8~!2H8Kyii zPy@?0-|xJ0O zqzzisEt0h@f?C$I@TIOs@7Vi*<9@7&oUk8ScC0qrYu|Z|=Y?|fdqx5RSo(cu5}mB8 zsHWfmD~aZuoRYX45BS_5toVy{0W7plFo~7z58Xin`48t z8eKB>Q!%V*ScXNRzk6SMY5VHtp(PK3aNE)KI5L_Q>kiUxdXB;AhfK2p(BfmU5;oLn zjBs0?K86X>*;IwR5$=#~0Sd+w*&1ceP1A8@MQQEqtK*zhmrL?^@UBq0sxk9tyjB?D ze1VLPlHHM#=?o>OX8tC0+2(oFQM|4lG1|hj-nzz46lixNe2v1}8Pp6v)b)U}*&jyJniO)l!YeUzA zE`0A+FU~LbK_SuWVJSzZmZTvX99U|P%f@$GL=IBoW1U&rbY`GZ&Jsyq}3k8 zBPT;o;$s13o(4m>(^OW{`e4I=mDmKe#*U3_wxSPI`f38KAfR;}gdS>S3bEhww=Wu= z?XlaDi#7B}JEXQ^`&JY(EsGXm4|n5hJ^^lY4sFh;S>26*yP=`C(@0gj%|_XG8P@*G z4|%qJrZG88lZ4~Hhfj>e#cw7iLW5GYpEO;6-#iVES_Lh;;d*eHc}ASQBIkz|6{s5k zPj;bByXLGcyjAFSv6oJmUaBg;Uh680>~Hd01)!h#PIHe}e6$`a!HTQ+t7nNO@dHzd zRne#(g{q7lbYzOrvshQ?{uzy}`+>VD`#oE9zvLDC;69TqM@G~ig+B7!QGwTNL zOe4i@ES8{uc4QpxCT!Q{uMn7xcg>YF#$*W4Hhd~IZ(4RUNnJ{3MO$>s725swin73E zBiE^E*WNAE8iTZFfG~TRJGayVivIfop8_-o6pWPxSdqKLf)Y`HenAO@3J5h28X&Yl z=z!1zVF1Digb4^U5EdY;K-hq=1K|L|34{v>HxM2myg>MX@B(E*|hL=VUhAo@TIfEWTX0%8or1c)gRGa%+bEPz-7u>xWZ z#0H2hkgw(p%YZ!)2Oy3>oPan3`3b}Yh$|2`AisdP1MvXj3B(JCHxM5nzCZv#{DAla z2>=oZBnU__=x>&R5YStl-1>KNQ0vsMwi|qGDp4rt7hyocfkXg_1QG=#8b}O~SRipg z;(;UpNd%GvBpFBwkW?UPK+=I^0LcWB1tc3t4v<_Rc|h`k6aXm%QUs(JNC}WqAZ0+x zfm8sg1X2a08b}S0S|D{m>Op^}5;cInroyvx@^Ny|v#{~8u;dc8H-O^g#0{<&_e3ga%SAPF0cTyM|8*{O-7_l?5v$LBqa+q^-GV+*ka4~Wl zvGW2KadDfQ#%^>pfPT>kqzUx*Mn^Mf=L;C;e|rdX`7?+R&-rX&rVl z=m?Fp&c-bX9+P1k;8ZlZB-{Rs%i*km*r0FF`_{MO23@$;y0 zkO?XN49ekHq&*J#{kfE?>C45?aG~qV=@{nCH!trxZTDC?d{s2MT)oNCfB9H)fjXgJzRnVLr z;S4mx0B{ePeS*BYWy6sI2+&pDV~W+zyX3?_wh-8KM;Ox)B-#`c{xCj%G1Oe5dm=)x zA>eg1XeV`>MMjc-Q`Cj1!$#0j-pSrc_KSuuw_f}N0$vRRHED}ZD;6Tqr@$o!8}rb1{D~%|v7T_0&CrcR;sJ87-5_2NA)ReEXSMjd691N{1(KnY zc|P8X8~z{~i@S1w^GGc1y9s>w>=}H1^@>-HeT^Jnk+mg%+}W6KvI~Ts=Hhl-7EZi@ zG7sN-r2ec?@>rgxWEmP*&J2BBs9YHE)bObu{D{1eC0GK?pxC-AJE&h&NPVlZ0rBfY ztOr2ymr*z3*MS6?ixDhxYql;dyo4Y?BVH_76#hM2+FsIx1!rpahw_lDgkpV1szfUF zE4U?Pd8#~Fx^Oi!+H=purtAsgHAqSc4AU_jAOUSbGQje;V*%%&(*b9p(LhG$_davJ z*Qa_Jr+>zfN0?_|L#;kj{la}BwG0{-ATL6U%wOkcy)!$wIWv%}J_sVPs5CIpHaXCY z!CJ@iHMAQqVinXLQ+ddrU8yF_vg0C=MR|>qs=Rwn3rU8uw!Z@%w9n{{RA;#_7d6NYAQv!u z7#}d2@jJojtQRlfUmsF|Dt%vvB{WJ)6@(4vxkPoy3XY(kOdX)+!~CmlALnpSfrg&`^w(E z{WFL5qgMA_rS3fvgYE)zMG<2Y(-7$L zw4-<_$9GIBNLg9wi}s3La)g&Ss5n{C{@4RL*y?|thR$bIpq5u0y)^KB0NHV5Z#F+c zs%Uge#4D5^3nQ?@{+ttbL`P;(gof?#%Ji}BEK@dzbhrZ~`}y99+`Zh-U=$!sg@WfH zuefslk*zaXvxa}s&q*d%_EN?erOM2*oTEQ2p`=OsyrW%Nwbtp7y$*Ub;c!2~Qf`tM zYY#+&)Y}f?)8d%t{FiEt0mAiE2T)q{!2~F0YF}#}D+2Dkj)JwJlOA~vh_jeE^%|Jj zVi4J5->E+v#0pa)c8P{nHxC4psXy_=J5no5b7RkskXNVxqXqx5pB@_xhks!#yCz8} zc>-6<%A(t)zD6y9?ph#fBHQ+j;_pz}Z^)?#Mprdqv1N~gDjH@<0VH+Hr42mx1=+?l4Ep+B!^HY$0AhJh9Ysh2%YVUsR zO~LNb>grF(EMnMuP*AXuJ2KrAK_s!UV&fi-@%8EjGMG!FJ8ghY_{lba5h?c6s(@f; z8nK!8$GxKBo(e-M0Q4zqc)JS(&L8gAeto`1O72e?<5yerY370RwY#= z102If!~!xXh(xfJo96*~N8`|C}aK!apg!0!k!uEznLw z4{1<-;G8x!0xTzHKl7nzoh@865T3tDO*7?J6f#3x!IUBn*SA2t6zC#AAu-YjK*s#a zx$tfu(D_#Gb=FuDLois{ginxB=D_v7y! z(~bD6-v~Ee#1Ki5AFA9Qike3irs_UAuYJC{A($kS3*e#oJWJia)4LJMCt}EPRXOah z6DmT+cdBFC?1cS!R?og`hydEyChh1X{!pH1I2@P&syt0f_%ej_pOK4D{lv3Ee~M@b z*fGw(vsA2BoMr|2y>Z0o<yXGiXn5sJLgX3&}~aQnenmv2t9}z`=ud)3nmYl_Dm6 z9qgQ_UI5%Dt%F&t?RuTxLZ7r#N)*dU7lALPGsyoGxVNikaAhzP@EmaQym-VC zwEvEFNzkxj_a5G?QKrC(cQ41-G;KjQxr=l5Zog8T4>Hx}Mu9ZBut_%CV#Ds3*!(H; zYqB5ZTcIw|$+1c~xPMgM&YKAW$9DLS$T*^nH<4D zX@-XyNrVtfMyiV}Xj)Gxm&KWT-l`eW)h0D9ZAznKuF!%(uD!uMeI&l1i=hmML(0&~ zca0p$`~mw1ia4SZm;P1J=$hcTljc4_qyT{Q{lcIy_g2jq?z|dPqC-*{R;1pQ%%lI3 z(euggY6V0!=B%EWrX;ioQ<7p0`C&LG@maca}7JimjSkT&HQvhJ;S z9lb&X^W255)O?}Kn&+;N%qmE-h6)D-??ka_R?!~}be_vy6&$mi6w8N*apjO0OA-LH zESr*ASl&i|NE|uT+Y7v4E38`3EEV>XHxu(m5yMxG}8f@@X7c63MAOt(av z{mm!3Bfm==_TPH^2fU)OK#nk)=JfyxkrL7uEF}fXx%Gd9XISVbls=y~U&Rz$ETN+* zLWh>0P#O1V*LSd4?_jV&0w^+z3Cy03|BT-9C~!?Q1%siF{rY>2pAp1Sb}}(F9mOQYL|M=I={H&8~#W5lQ~PN z63-a&lypP*DU^`6BAK9ANEHDyuyJ`m4ax2XtUZYrcPs!#WD$ouO-G;Q;CyGiw-RO| zn{_xwZgJ7NWeGm_U+cRqf`TZjajmc%Cy{#@<63iWiTwjtUuMfY7?p5a**J7h*LjVG}68UXeF3i9J~4y`mEGEBti~92*&5T8A;#}?5;itYv#?PhNi;; zZV@FcEfHyzJ%ZfC9ISY|OoXI77qCzMHLHiyL{Xsn_LUZuB7}gj1e;d7v=bv9%HGF< zkR3p8p%HWkXgoO}mSq}%4YpS~W+&iNN@$tO1tp;gbTybT?nf2^2+OHCpauF>@;w+C zzO}|g*xd`QPv;-w{tSCCRcJOKqRDtcVSMhMHL7CBY8<~Oai|?X|0T1fwL`dKzR14qj9@I42yY+ z{@O}k^Zee8KXe?3U8?w&F!{@ds7?xd<6vRcIamcy$mxPT-# z7{d0n%{_RRsrph%3ro@(vQm3CH^ki*?JKs!_H>@!AIjhO*WKmC+nKe7zMT}w;@^Rk z+FwMcENT&H7@i))(kIw0K=_fds%<#-Zt*Hs?VwFPfP5?BM?Ljc_@l7_LD<){D8A^# zL)14C2t(mKn56?JOX6Aj(fNYt%{%D;JdaaPVK4h!&La_^RWAi3L10wUAXd@`4t z)81Vv0ro?`Zc?8}Kkl|CTQ5+*!^@aI-|UGwKe@kM9^ZMz4J`jnN%#dPs+|OG4o2#7 z03u_iiDb?My+$6C2ak)hl-#EW#=ol&3(@f=)nmZm_>|$!MgGBXJzPDIxfx5GC6n{0p|lum8Y00tnGR%#sf+<)oV&v)%elkUiyKzGBRg zzJ$H-_sQ1fry$Wsn$6nbv9a&Z21nJcsl)e|D-VF%k7KLIs7pnxE56oZUv8KaC>F&~ zi^7G!IH(&N`ua!~g_SamcWxl&QypvwXQPg<7whlcVhKiVx>m;Hd>D3w-LH<Xp&3fsXPkuw?xsvVTIcJ1HhJ4# zcfkquxU!yC_5BU|40D$D)=**`5HEPOCx*ljI@s{@nR0WvQ*JydK1>67h_<}Zxf}mt zFz#MsRgsbPqknb_LB{wSy?KpsNH!xC0s!kik0-~7tbexcaPYZoDs#f7>T{iM2C8u5t3Sp*N3L|s5XsNb<=jvrg$3=uI;BmIMBsJN}muE{uP zm-q+Bq^)w7jrL>q`};fL{(wlXQ)>gSB%5Fea<$!cc`E$zjoZm+UGCX14x$uEzdJx& zkM$dm0)_~Y%3EoUzAJ8fO1R*b&#SXTBF>scEQ6FY?QrSeJ)dFA#uWlaN#~JWb_sN` z>#}{x&oYa_jtz^$W)&O-B?so2k)0u)5IKpu+p%ZuG$ z+qCC?Mb&o;v=p} z*ob4&Lw3MQXF<~$8&2k2x(0ByIVX*`13I6^Fi?k99dZv_G z8B6Bv9=BQy5ZzLoCQ;_^&RC`ipaiWl>-pBj^V0P1G_`wRs=LPow&yK9SPiTR<5N;! zJNF)*i%L)ra0MY|IeY}hb39+4Qto|svUeBwZh+K^{BXT~ky8kTI>!FC?hAJ!(^8i5 zh&k~(>e#@&#^25oOyRyPN%*7SvM!yOx>VDma14@xkMCP3k6i%Z=WZpNP+>(=10&xH zIN~RG3$~F+E-HHK*P#o%i55^1X;9wOcv>(zfUYV*E1K`N0c&h%5kiMSg-W?eof8YT z2?^Az8WESfi9<4?P#p#J=f^#@)$qJDKUXHUd5iAp$IF?9961j=;TexAp=JrX%CG(j zMY$!~lVk2~{v{baGs?p4lAp^iS-KhIJn#9~_R{?>Ba}z%v@!)8YxAZnEH8ULBh@M# zfXptQBmR7GY8+pu+rH|vHj;1*3e<$f6mwW-3m)@19Gg{nT|aV)ge=(-59;P~ipT3q zKH9J5bx-0rj5D3I0<-9`BA#b_6qQyNO~&Q1gj2?4bQ*0y1rCK`Vv>H-Z8qAyF@+4J ze$@pAgRWwr(Hh+vt(KcRs9;QhnxeBOfRtZ9BAr}?)8xChCuVH7krL}ZQ6fSh4kmx z#w6-`Rz)g`R(O91b0lB${+u$XGvKm4#zvUsDGx*C1};hrS1!_NU(AwD;OP74AVGIL z^53HL_xlCgqund!NPCOV2XoGKUci$NrmyIz1%Kz=D!S1AS>t-rD<^{V*EpKmXHn;)HgSBw_tyq`pVGo@Z>5?@&{M4B+$0|4FH`rADQ z-|@Ur-rw%XQM%jt+TC9xP%g5soW3pxFdPS=3ooM{QoLEJv7 z3}ld9xa3eeYy|wzHvs`bA!I+>=#hFlD?QAxMNRPze`z72xvinGv&NO6q7qmeCAoXF{mO#gGsE2JwQH?q#jlTTFM~@e0F`9>}Qn1 z6`^)1mn-BLBHzE8rOw2K-dWw1Uh*C<=7pBwMv+`0!1LiTh}YVXNMc?`$-h5Li^5G` z_X>0hct3EFp&^R9ssl2c!%nls>}SiEw*@!1-ziC~531;_6ID$cm`v58EdqsnJiNVc zjEUWuba?k{Ge|Gl#iLz+ixh70dp+MD3y@jwM@3%MlKr?ca}HGO{+zgL4NV1ACb#IK zvngLzE;{X&x0|gn_}1CB;dQfj^L**VZl$i>>HW)Fm{ z1UVb4=mmo8P84lOgsb@J8Ie?H%bP@IlSRESFn9VJ!=(kkS1U3^#ANRD71n(S^Cio> z%%Zw^uJ4Tt}0*i%&2Y^hz^zjZ1mcRhH**0BQfF1IsXqmG=ZTkb%?Xer$4`qLr+L1G#TJ=gSUb2^iqt60zw$CYzt7F^X z|B_wma+xA6VjzYWOIp7SFLK8=jcVzvj@w^~-}KxrSj$G8H8m(0gJaiiJMJz&*L8gj z+u`>!c?T3NI=#T1;1VhL{;PXw>gs!|Lw76Bs6%#p=hld=$!*i~(Qy$X49j(UFa7H$ zXr*|C1#s)xz}!>gl{Z6IeFZ-l+XaB9^vB$FXMY5cubo&xu`6<#pBj~!B^9RMZ26=BV71J&8e2lENT5mCMrU{Ca;%lR^tzkVBo`K(tyceO4q}dnaOQ6$sNP0ai=UV~ z>?Oe3`!UP~Nh51vJsL=NH=BvvqgI%+7za&BWqwGbUf8kJTjz2%HQLpoYq>Ans)lav zdQ~?!nQ*M6ZhIS~M$M91^a#R3$KvfT}b$OzsTF+vO$h(4ru_ znyb*GXmJ^azVsLqbQm0j4tZ8{Jwk|lv+3INaJnG1{#3K zPU1Mtnkg-5m0BrL=h21y&&oLC-S=lZh`6_-J-WESn1aI-`T}eytuBl{KsXV`*&IzU zi5%)20rE5N;D#4hgJioNW6RoaKrX=h+wb&mFvI_*cK_OcgeUOwM3~fkOVGJKThDx) zSh{_HGAa61&06_8h5K>#kLas!4@EWL$;2aY0^_zI`aRR@X5lv;xmpXIZn6ff)1Fv+^pdK1Pm8~U0 z!(4`OJ_=%RU^!g|Ywt}~c^E{8UtKdhE>`zBe9a<^rJkIa_k@cV=RA$2i(FwoE4ngd z+)`0_o$2wj%5};&cm;N2=x94D0gmc0$iU%Njvb}b@HVn>>tz>1u>I1=_;{#&ZVmq} zERyZT>!}uy=N84tO{`V#G;1qBnDEfEsiCm;ln!xPM5OMWQ-44J&9Z1SM;f_{9QmwR z#&VsE^xCW;9JbAXEY8T!l0Z0qm5KC#0?fpa0?Y*eehv&QiY8Il@AA+TtrffrpdPDL z;1Te8^egiuMHRW_Y9D`&Q=mlt*`355gobuP{=xT5&Om_4Cc`&?WIwJ0m=$&Q)QVP- zRKn#4X)Y0OK;`>=j|xH){f36dJg%la>a=gN0;&NTk{IlSskA8>Rm|h@c;*vV(34CE ztDL738zgP^`7H^~SvVo~2XZ=^0|YTHH%biZo+15kUoiTaR+y>{^3%fm>B6nAgax^Z zfCzitnKF8swJ2mZ)P{gJ;3Iq5SIJoFv@%~UkGvSL8^w{fr!5Em@)|(TIV#fOL}(QU zV-U;%rLFKHsihU$gNwafxWb6IZ1VDJMmmsbAy-!p(NhAj#mJG@pK(%mufb`>$8bLQ zr!^rUd$mqOrA`5NSr(2vXT~lyCqO?c&EsT zt}{{a?7qU8IP*qXnZT9Ke{|By_FJhPCO9TA=!KvcjZyOO$|lP>8mo1{(r*ymf32SV zBh?eB%0$)`~ zNRWNQ9|Lrbxhh2H=i@=q_ht|YCXpAhVv zoE*R1Nn1fXLH|?Ev;j-Qjgtn`$LuQPip39W#_T?}5_U}JSAjV(% zW1{e)&22d>?@bD`*{g>oLnVJ%tHHBcP#FtNSDd-6Kj6kD?u@Kis~1%Pu+ZWq#a;Yb z?QI98sfQ)2_9s`vB7TH~M~Gw>5_n`mw7S9Kxn!RR_x>7$Hb zBGhC1DN|AW#48eSmXlD)7Y)O}iE##*QX(!PNhgW<19bK_fIf%x#Ahy8yCRQqFXKo7 zUaejX10ym-Xs%@^;z$`2(A>E*uZQ_V`a8V7OZiShBAEJVfzwu!aCS`au$-NqS}7zu zq!6E7jdH_|Y_+}?mO{79cnyfRTQ2&d8G#u2lS0Z|=H96j(>Ja48|!fE5OZEFSxZ=41`G@K{H~hz6 zi_Q0nU)B5lOFrA@0c}-e)q+LPNK$fzh4DD)@^jyd5h*i?Lto1N4XYokK*;eioYX}~ z8XGlQJV5Ylpk@MUwh3F#4(*)61&i-gDExBN>L_~W6Zi@eI!@abY1!=ehHT#F8BFyD zP<^ECPm;g{r+2~vf9~PI-Vm<05oCVN^MfSp?Vl18Bk0FujL-Afgf4_4MG|x022N-K zQgQZq`v2LE{AXJlH_q>OUpuXT<(FquA7&bxdr)qxZ^}ni9sKv1ZrF@W+VlVR7T~jX9Uf*B z{&m}g?3|XIoLPvQDvtb%R9^YlvF0*i=IXWThD<>Hh<&#tE1l(2U87McWvaH>&D9y} zM5v`x-g}1(@q)z`kQ+_i3hJc7#U{orAzh2Q87x^CF${^(FQWo}}- zhq>;)ZIvue8GgK-(i9&it%mBUT8?>vY2_8q@k22f&5+|qkoW?pbo@NkCQLaT7a19v z)xjZH@I&U&5O%Ck_ubUfo5j|z>GW{%^DBU|7{{&znb#ee(M7><(6HDsQ52w{w18M# z#xMLh{TTXtf+3qH>5Fd?Mp}e^a1XK>qP*C4^j1g%R!QNNn1jTa-`VWQtnPO!gc1w0D#j`y{$H za32UC>~Te$W#w;Qz17ndlG`yo;1ZudOcqA*roP9`o1-OXi&GSlvAVBHgpW+mr@u(K%cSE(L#`qq1a z3ne$DnnqEaW$AtmXZI(-=R})jAjuz#_6!FW)_H?dijEN1Wo?<)Q!(4arDTuK`?~cdlIU&ErCFtIEXMakfp8N+CYL^hVmh9@b%-ywM&n4M4KXG2V-kK|CS~BlzVl>8 z=;L>Cl)_%0iG3;IyKGNP0+kdLA+A&NJ+-JH?tRzN#vk#sa*ul+CH+`o;zu|3CH zo0d=4{|nCsF!|;!{V%-j@V0BApQorJJC5h7<7w>hxod|w*@d3}`l_yj=N+DRc-|dh z=6QPf)z*38p*nH3!_4xc-G?(n(8=MJAc^5V#gBQK7;IP&5K>^hhC>pFv0 zU-`c3(A9TlRFe^h^WB8$w|}0HPA=SxIr+USQs#Lwvx>PBaL$gtKc=G#a1kysW1Hwt zgkd7?6-KCakCI?MN`eSPqBh;^BRcb1MtRPLSFMmzNc7=j+U4fOT zX$$A7zY>;NPwBVSQvtOK6yS|rC_CV8SY`cHYWJq@O`*GoA755hWV?uyp;>u3$E zg}`@f7Npcw!_1)0XD)W7=z7lkDdFCf7zW)_(yukk9&=Y-fGCg@9LU+VGC?E zy{1BXo7J_KRPTefc7G(=XpE=-9pTrplKNE~?Sn_`=*5q9RyRBfd+F3H4a0uxeD#nz z2jCzag2$L=-Rt9U#QJ~ok@`pBBpfsSr}w3gL#1HK^fx|`J`HD~B_i?0b?Hmc){Dg8 zj+90A81@^B;@?9Fl3)TyZS6?>)o0Q@81*7|%VwqE{2MEU9@-I#~!TDV^B`Qb5&vt6KK!IJO|p3**bFbsZ90Q2ydQVRE<9aTRU!^ib}!%0rxbh<`N2cs689m34gZ1?Xc3W^V+!0^R2m`8}D4L)-~}`u)~WiFa1G^tuM=;>s3u^0z4no zn*QoJ>Gcqo2DTGh{#lcB5)qJyfJ6j)Af6BKe9#KpAc+gi=gXJ-bOkaSklBFr1*9+N zfMhTrtpWZI%>T>37}UA=Kj?v^An0Y563Bw)6SoJJg@5JiH*^+R2!>60w^YgmJZ8$< z4N^uRxd_JKI9D$9A}fU*>cQ=Sts^VBuS=PNWFfFsW91^V8jb0w8uQByQaIlhonRyzb=*tlVCDq%cD+#sc;QUgKHssp4fI+0oU2}o9A`? zOqd0;VSf(Hg}Qz|228MNKe>N7Eoq|)Z0_(!U% zJa6pRe^p%zd0&WavymTcldd-oR)iRD8L{1XKu=NT%1`yYb0r7VAA>b^g|5Fzse=u$ z5jHWajMLY=?ScED?Ue2gmgwBQum!flHn`7v7JoiePX|0;%J@rC4no_L-+S@Clx}#~ zdgdNV>4fZ;VqMmG`YFrugXimXv=8=}e)g!8qp;U{p6-w`1kL{sPG6HU0BtX{+J9Bb zI5hvSPSi^ohNJK})Z4M{*9^3s((1yj`X}KOoQ8{V)_R`EQO_KlhYQTAN4;b{CoibS z{C{8e=!X%{yL$Bn-8&raN6imK=~5ER4?kAFkHh_BQ?8duNwK?}yiqj?^3zNydR@v| zenpw*y)pHX6x{BwGv$lVNg)M3-uAOikAF=%S@21LPYQhPQt-B4Xq{hOR3};R$%0Q7 ze6rw^1z(OTvHr7PQa_3C%i&hjU%V@wTz~j@-mftIrF+u#MWWo4^SbXoj`izI`Hiyd z*TW`=+x-);8RBFg-}?C0$G1Md_4h%1?jL}7)jtH=A%6A`LtN@>SKkG3vfl&oq~B{} z``w7f*5`R|W+bcbx4J7y^?=nUKT|zu^~-XOKVN%^Y##GN+{bfD3{ROKpoK(GN^(#-RUb6Z|tGV6J>kK{r&Z&^^o)7uw z--rB5a>&1DhWucC$bXiEygd?f<$qkrd%p~M|3SzHNWkPj0=K57sDi+46; z;5zBuINu`Te94US)hM0~b0A;9 o;(UdO=i3;zxNszuZ$c6aWpt0I&cY01qGlhyW6R44?q002+V}U;vl^7Jv=l0Js1ifDaG= zga8ph43Ge%02x3IPymzw6+jKp0N(&wfDWJs7yw3q319|T09JqvU`iN`O+J3@8UGfJ&eWs0M0)TA&W72O5Az zpb2OOT7Xud4QK~CfKH$b=mvU#UZ4-?2L^yaU8bze}(s2u_oDXAFY#&akYp$^x@KZeS3V8&D0vC?Yceh!Xr5U2#t<|2dk z7Z2u(f81x)#ATV&BVc5Ds6OU3IFIzew;Jk}U&gVaxj$S@HPn%a4sm4{m`K2R=Cz;d zZPXK9g(qEsi(}*fV0{w?%O&eY6Xc@2v#>JeKroqT+KB|9D~*^DzphHM_&&>Py)$s{ zW4L6Hf}b+%zzjo9G1*W4NK6%8p#ZXLd*l%%b8o4S6DYXJ{&Wz3K9s#KUN1~`9}QU zO}Yk;j>X_{Zp_npIJaKzlzkgiI6Wue$Z{Sh=?Gc%9q!k^DxB`(`_uXz* zqQCfvJ>e%nY<#0>!D7xbD5cD_Uv`?#VJ`nEpq^=Xi#f9vKKjA*3T)sF z$b&8E-QM5NO9)Wt^$6}egeq+d$NprAUSJXJCA@?xNurpzdY*{CH>C@vhZ3f@fHMd+ zF;4I8qJjc5|7DUNs*EfbIuDANb3^=TU&Jf}l@m?mLsyD_RM0a}UzHZVU^;fpQ`M5E znm47e7@*SUr|+KJ=M=o?l*hfUgDSm>$sps?%6`~gfsdB2;nET#8dyb^nubsg$7ZeZ z0hdjSZBbG`?L}}5sl-oA=klwcYFgUT>=T_!KgGgx?NB>#W4R6+YK->W;K~FyH8A0Pg zS?#r7G*gj$H%ye0EBy7s1ap+V-g(Sl{xqziMc5Ru9r+ZngFe0FiaxqBa3Y|-D{ zt{fKxzDZSAX}S4)e6+3nvtkI!BAkbvi>po@ew425*4@)38~oB6L54C6JBnvRrDmt( z#0`7>2wu+5UKQM5=jz92)7e+)cL`^0N15;^t8CsbS2|}(*2Md^4GX;p$z;O9u)wFX zQw2s-d_u=v?Pde=<`x_g6=+3$91hCjocG=!u7yjP3jb$z{+DAHZoO%-TIz9eS$AX4 zaxW?qEVpxj_F=ZE{xY6H^$Q{ZOL;VxC@gieYc%gm!6($^VRJvmI@a983$JuXJrC z76cn>=Kc3GI#9c|yz>z^+Q7T^9c?k%=s~WSJKd(@rWrDp>*A;ts&vWhlu}vUwNJ>$ z8?o>ow__@s%~VS}-VdwO+(b%gCwR)UR%4vjR8$x^Fi$zxmKX85yTl)Gis7pkt`fqQ zYNv&`pu7MyKby(^YP54&ynL2^ba2J|A5y;!HUr0e);Sk8?%j>Epd{P&?0jwwe!`g8-34W4O#8LIfs1+HIJA}5#Xx<9~uAIT^6&^ zH9BsP3W3KpH8xhbC51xbsw0rkPsC&Eq-HYgz>XwU|C?UqLPjM4byD0EPG_U=aK7w& z1D(rjjXYi#l*No^YyM2^NDG9khW-XkO1V3AMlOhdbcm3jUep}gmE1Mu8v{pEN*dxu zrlg51knoEzHH}b;T1%X8hB8#hqWVG?Awh3kAO*%P0p&WtHpC;r8WgvWMYyhejCeb& z7*So_Qqdk#9e1F+jgAIabEyxLip7S-c@{#SAZF* z9YYY$yw`(1B0H(LG>n5hg#9`+D63=Vb2nXCbLMokqKAb?H9}m%LoT93Xk?03f*zYT zUc4e<@Nfv_uVCzaQ^LyUx{saVF0=QqfdJA@YIdhjWmfBh|z6PmCEq!8l%RP z!Phc@B7@(cqnkp?^Ss}B9CTDZDQ%K`dQT(E3MH)A5G;a>Bku@b!PZ-K_a_bGP(GmI zw}OMLZJnU!iidA`KU*n(kGM_`-TD0Mz3KajX#Uyi)_<=RG&@U${~h=2OQxWTm8g;z z?gSt0cwQ5)r|Gcv;kv~vv2~i*dhH_sgWIUnP@-W9&Z@xU8?t_4@6x=U*lGFc#`1K1 zaERSE)TJ9D=+OEhCDTpd6>g=qw6bM$JC`tc%ZRf<%WqX5_hD^rIq_& zUu{7KZ->*GCV^$<`pKnXt1o_yMKS(f>aW;tYu_F389WZ7KrNBczP&Ua&(Y@X0jUrT-;-Re?7wlla0g@rd!@PFeCu%Lpa%}rxpk08 zMj5K{<3ZsX8l5akL4&YjL5?mdmm<8I95H{B%v`2^tif5sJjS)g%=?>-pBT221cb@Z zD?N%Mc;2NSrVHrRP30>7H@ePZbpY!W%T)Nks|K7elda>JH8Uvxl&P~6?{qQ{oGUfN z2@8Vze-{ruC{zA_TwL(&CpN#F=%-@*u~?odEAgf!yzHHzSpaJWF`dscyM?>g(7NzJ zdv>&8i?l|rBxVVR+oI7j(4r{i3<2XlmV%%m9| z!1=oM+k@959OKoz*kboUK_Q5L^{l7<{AgkA(hF0hBQZSPxBaH}sK~iC(oSC|eWIEn zRVg22Ef1f{6KXc$vm_>HZt_!2F7{sKPqw_F=;>=Wv*fPy2_C5k*}!7viyF$ksvJ#W z_W`+rdb`Da^BqNF?z=PIu}-7xTQN=ltn)x&4K+>T2Eu$E1KpPJdIkk(=h;xXQ9j`A z<9Y&>r;$93?4qLLjD#LeY<1R}`A^M7Z4xzzcA#L>kvwp~j$3sp?^fA+xaSj^dR_Fr zXJ_TwM)bE+CtY0JFI8a?jqB62ic7jJaK`~`!!KX)!!vew@{P=GJNu;C%4M3FhK(H`GSyn3kJ;A{K2C&V2lm@hU9%wkfZ-L+o`gCUR*= zR9yJ};p|+jXpPjXWMr?*-03KZtY&fG-gX!%OeeAt}Dvh_?Vew zseG!537`EK8QF-9Z{xtnAD8FQg>PXiq9ex1Oi|4Sm8r?*`3!llqounD>l z31l3kc~Zp4LS>a=1WwB$=UNq9GJgcHi_MnFrD)sH_|m3vCiUgL`L-;9Qovu~+BD6( ze>gn*oDPF}R?oVwtpp%9wP>>$LkqUp(e`30^{sxx>3zR{I3o(o^0X+jTg!j6$T{$A zLP!th6G-BR*H-}F8tWg8EpKm`L7lC+3CjnTrR_F(%DdY5G)9n!xgW?l7Z=1anlwi< zH15)pVA>X*q16%e!I@G(Yeh>L9B&!~UModD_Y)-CN3|$=m!bI*aVKaN*^=Zm`7_1@ z!);5&*szR!Vm4iQEjbsNV`>Z>e6kltqW>z4o_8!7Mjz?GSi%_(6h=5!SxY~{gEguC zyJaqFXkc*QAt})#omj~}`N&Xsgy=tGqv^8QLXLYD%1h*@D^<2Z(#SNy!F|zt`UKp^ z!6k5Gr5p|^cyQ3{mS)NdaaJMGjjG__d`(R-iOJ#jp0bJFxH#j=P>=y6ByWCDdRPkh zc+`-eFGJazy=ftnCJFVYUF*=y5iNNp*nNddO{ko8-4p~7ypp3o$|s3M7Mef>5nP$@ z@NY7sF9C9+wDLBfbqFpP0veb?(`*iE4!5bHad~9g=L8>QV~OzVR?avYZBR8qN+NG0 zY4Ma-uxVh3jN8^&`LI!Gu=bVk8q=gPG&2(N;IEqHmazlIK9NxDs%sTu#OGZqwRRZ(|ccQD<*{z^t# zTR@#SS6aHJS`a3UZ$*)!QLz-dA4dRuOU-ROa5+WU(QX>6iL1!~q+WQw^WOmDVz@5zkvaf*8TJoIQkFf9BwUi**-Evg*L}L=P1Os)_0*u?-Np5Sl$O?Lr~lF(@db(?Adx%~GmLLL}r*M1hlY#7B4|-o>px zM2S&8L}4%DpAs#=ReQQEO*t7CA|~hmeGhYG==FVNV}3X80sZ^xXlWg8Qb)SQ>QmdX zE^Mv6`cTTu*ZNy;lQ@>&VMI`6r;rrVKS3yq2I-SZACZ;*?`=BqtI1FB@;AIIcvkknJ3mpIGeQ+} zOCxS3MK9AQ9*5?qPF`%M6hm#$mlunWLDuu?tPuR#Ebc3VzYu8}(RXgN5f*jnJ_vUOToU+P`~qrZcbcef7Y| zj5@)uwiJmsQP%c?uXl0jH*(1G+(m@AB~@+ro17bgy>r}8rg zD}Gqh1os%(iTeYWb)%l}{y(R1rma?@&Yh8g`5>G+Dy@?`g%IoRW4{wbY-5YwwZ1N$Q^qzP7j$t`91Lg0$FaYP*MG zh7!adPDipnDz1lvB~jc3Cf`uUL&aP(j&>xTUQ}ieo~i3|XISnC+X`&?vFqbCzZ?yX zYO8z}XnZl^e1y&oj*rCqdS4hi_NruH#y}mKr=8DDTTMSF!gx-0aTb0-&=%HsRjQR> zC6P{yfbwQ;QQjD|vvivC5s^KNW3SGJ@91t7C+3xX`~2Qd3}`<-sy|-yzc&nmq1+`e zvwt(vO^Ds9X@0v#V$Xxs5}`Q%tPt*y#g+I9h^kJ7KQ|d0qH}?Y%$V4mkQ+@Y-X8zTGDJ+To+CUuXZ0uRC5(?PYkrxM=>X1S z=H8qn12Nu}`NN42Q6J%uWS7rQ{GeMQmdB56hJtk=Z27{#$Or^wT4ji_XAX7(wNoP- zfIz&#oQjoz?`EIL&XEP30euub5X}lAd8GhTcsii(nVlMfX&*(2u4J|Fq3*GfEvGqa zHrjc5Zg=iwMoaZ+V|vx-fm@f75=GhA?nBz2B_#sJ*=+|=JUc-98(CShH;AL)`DAC7 zcyFd?9AebJ==jjza+8MDDyfR>!TnRCE_lR}1w_Plql_P8o{Tl2ZGMfFZ!ShKQQ0wN z{yiiV6a$tWmM{!X`1*KO^8Rwm)`I?xat8W)55ZZ#(|g<3I>UOePG~E8a4c$p3orSO z{9zb4p+y)gA*@MPgL{>CGiWA|>!f9i;l;>-+%?87@<+9jLt7@o8Po_hLtBAQjwSy3 zUihfpX17J176s#^-m4l1iCY$byUNA`@)1eo1*7_r{4}MNjf(LDauIwA%VXSHiap7# z$^dn%H~;ZU#?v!N`LrG+Y`Fg3FA=n&cuT&b6y)UD?OXRAakifMj9VooiY?(*< zIJt>*{?=_8_K8g>)PU;c;~>UkGX>s5gK@+}4~EW_KC7O1{zEch%EZ+wh7=4#B-Ee6 z;U+E2JzoXSq}_P0LLk4a#A_^XxB$+`O1OL>io|=us7lo(ask(AaiuVhxmpdQUzA(9 zsMP`!$y`1)u<6oWy3ovh2Z;{LeB2178QXNs#}w~iON<3>r=SIOr$}dA#Z8e53S#&5 z%A-TAYkRKVtg?;#6wc2T{Y6QWLm;r)^4?T6r&Z} z9n2qwZlo}BfBky;UDGJ1>8h(Swr2gsE8_n+{1ED{WzQ7zs2ra9r?qK`)mFiEfIf&Z zUH2p4vyq3iEL#nMA{`@6aB&S89ecY8q-UD^%X9mmI&~UIlg-hfIj?VXw>@`EO;0&6*J0%T1nDb&#nzplY{!M_)G&APh;-r7yrgQXD;ry7C{l%Fq91LE>Ex zCA|p@YfOQ;4^GWLmiI-p6-oE}4o#oA*T>k2x;3!f(`DvftCuvJ8qw7^(kwexOMTzZ zLnQ;&H@lM|0(fQjr@WK%<+h=bO{t2r8VuGCLiJ;)8?)k>U*EfEezJS&1mp@3<;FFs zvMFb1N^n#@i=|jnWe+9F6c4$Gs0*8p;TmF1bK7Gh3i_(DUF|q6 zu;(?SkhHd9FimHvc<#t>%!;C9EWc^Qz*nO%C%Z&*4*S~*BGzVyev89axH}5&hzve$ zN6ld?2qgLzdE<*e`+{e*2Xo=UMeYHI=bFS^TWPwvksNWR5HTug=mKB;7v$Y{xPjLk zCxGW@wlhJqoxRx3?iyic@DLVE?mhzCZ=0>22Q)i5D;W-Bj2mCLkX+SgX^az>XJS&i|g1Q$@cygV{eHRSmRfYdTQtKJ+-fm7J8VPp@8y?JhEjPSf zzPLO#v6eV!MK)14-{n69p%~b@$qD-9pcS}{uVK&OmR#_AAAJE)sD_}9u86IgfU~HRRAeuV*G6<+ z6_UarBAxd0vdL#T9P}$P_vuMUvoY+)^V+@Sq0e#leppbMu8>c1LxtTsUb(yd&xexR zhNAvZbLX2|{+0o?lhLE5ZX42FX0#*T=B=Ba+OJWq!kWl`X5Mrq2$_NWRsD*TY=%+|)*+Ejme9(*jD&-i}^pfdE ztAIAFW>kD9mzJ~X-*B8{BMN}RxAg{s`ershG5=1-GHv~`QzJC9@y+YCPb>K)w|GA4 zas`QbQO@nz*7S0a+K8+s7152f>*o^ea}y%!Mp{yIbJInJFz5oUF_6QI8{0W6k%&C? zimf4B-~=Q*4pMA%LthLh=rBHG&G-krPl*}w=VpZ5_9BZP3J z8T2s}EcGe1!E{Se?ntGS6_Ff&5}i9P5v=@Jk2{82Ibg;Y2S`Zg0=`sDD6 zM<2B3ux9a2E|_wQQ7mDDgw6tKXcr5i4Ot-7*Dj4v2qN1SFX0vNfT?p!HtXzmPAtax z-b62otqYl744o~;#CJ{XvWa9nE7uPLc0Bi3qwwdXQ8@pl<#5Un<-4fHH<~UNK;FGh zVVxZ#Fms{^Cklc|g-Ja=F*p{o28v%qrC`KnvbYL1+dL%MH^1P$TGx4t5vL|wT$`6X zUMFaf66Bds7wm*C4g%b%SgY$^zvA3!q;q`Fe##843GfqQxB8Qr*d?ii8EjSZqeKU- z%jRzSt%mDzK6q5u?VPn`>Xz#^wuYEPiT3`8=+S~l>7Yc}?R;<+UbkS0;d~}BUh)x5 zVAZ>`>u_8J3+`Gn_B%L@4zcBUqD_jGoQ?6!1{E2-i;md{0d;upFPBNk65%9l@x1U* zA4(7&Rd(R33a4n4b=gh?*4VH*60^Ae<9QMIZP>IuGxYzy={i)C9 zLLnr_leMC%b|s4z{hKQGwO|oFnxBT0&wyFuUWk1Ry)6^%ztCp;PXL zt{PZ~&l-L(p++&{;a7q(HUf|*U<+oqgGdq-*O@5GAG>+>yA0w@=dLS#Zk1;Jh)_}$ z;%%;uEmAK=W$rrTR0x>cWY@jA>FoqfWMXZCgeiyoL{Q$8m1wf2Ru5x=oJ5jx%xaY* zv~SI{_+tC&2}gv z2!Rt~6|m6LeX`fGOoG{^fQ$EMDRnQ$R%DF`sqAVhmxEOrk_R&>{5w9@lsQfFr-4Re zF*-^Rxc5N7d&(LS=ZXv;@1upjdz0c5RT-*rRS@8N;e`)g@$-4Hz)+c|3L#*v`(#K3 zYw8WO#aOuc;)J(xOh^r`qLCH718wLaIV+3*{7nmw2L_$141q~2nMi`LcnynHV$if8 zC?z4uIf?YQ@h8%^H{xhXQAZp8Ia|DEJc7{lKaE<{NRP6! zJqS*Gzi#E$taW8YPO1xRVS;}!?vdhEG*$Uy3$k|vu%QNhZQa;Kk(@i-u3kG{PNeq! zgIf48T=u0-5#jSz2{kZcBGN|`J$|qG$PGVpPiXYX64zsu@IP4yW+s~L_J59to$dc3 z*Au<}9M4bm|8YG2CETjYgQSSOkyqxSidN0|gzI76CN2&e8BFphQnO%>m+FSI6**Yc zs@(2VGh60ie^ZvcZt=g%Vd?1Z)LRGU%<*^Yk z6=krlkEzIYv58?u#BdT8(VPUx8bwUg8?4q(lOC`mX8Lw*M@~z0Y1C799z2j6Fpr#AchM$)$zq4& zXTG|zbFCzPqC()({bNY*WikN_iRO8DjrVyGV@(iGpI2T{hfARLP`Z{0@RP)#(!oiC z2)e{EEH$8T+gfa@TwixkisH`xBfm92RDJ7+2oR2lZZ#&C?VS^3(ZKtV^=uc+@NW0P z>%JI1z)}9N=-<*?qv0N{jpWGb1@9?)$|Z5@T?~%$x#qrxUKw3ah2}_I>QX8@dB1`m5s5-Rh$MYQ2;zSq z=;7h=`iUUsvJxH*7s$}m+nERRb^T)7w_nj4n#Pe9VwKMr*|z^)|Ia#b*NLmsxRh$ zU}A*IJ}CDs=Yj$d1oo`h!vr>lvu8LbPpR-En-mkFA^kN6Jaz&=8^H(ClY@<>5w?}< z$Btc#dbVGY*c>Z`ct5EVj9nR11Ul;%ZmQEcSLC4ixTDU0!;QpATM@*4|2fLS>*P|` zljB+=zH{da2Yge_k+G}8+m3+WV{i+R}tbU=y;J~#2%L@!y?NqW?^1q zHdiEwWhnJ?2)Qc=ZrMSX_(yA^*b3y8*VIS}RFswooDp?!Fsh&2{BRJ<7qeM{R+)|{ zt=>B9h%3G!kDliFvURcctGwSY6$lJbN)e}pXGS+#qM02K#b@=XsYS4^bFIAf?a`** z*>#P>QwWY`KsT+ot;Cvqe~BfmL8ThY(8b+IDvI;Jc%~`z`LaABa62Nj;~QVN%`=to9AX zP)BSMCKUA6ekH+Fwp?I-SxuCHx6Z>ftX3O=eHi!zWqJ53r%GN;!hHU{%*53N5L#|RZ6?myp%?ah@{>!)~{f)vMZ&GZ2({8=C zgL$^tdI@?a-$Ald9z+d!2CohZ5x!2;PG?m|K994j-QsPg6p{B?4{>ULw?Te{SI>9Al!6Brtlj%(1xqNADz-*r}%(h zqb;ec2kBCU(iY(!(SP;liOf$;m{I6_T9zcE+=&~_4LIUxs@9K$X=vSA<2z9u#CeKL zM;*7uS%k8F{QM74{c$M4ItV4*gv!u2bLf|PK`YlIEg|y3sW4DCJBq9VWjxwx&5^Dt zV}ioRG+a{m95a+LyLM+tV|Q*9M}j+o3ei0<#?i+O^($FUuDrVSw0lday#c#txyAh# z$u_JQ72C}c5s0vdLK=0}Pl|wqRCZH_HGsjmCCb$^Nz0PW_^*u}b{^{Yr4_c4v0Scy z?5atKIK4ge#c0yS3#Ol&8492(2LaddD$e!@r@?lzH8Vn?M zf*svZ^(uorEjuUpBv@8sa+YK6U;Fzmg|oqwN=Mo#gY|<1pSdq3KS1 z3(o||Q>@;d?_-1FnUR-*gyh_s?*pkGOP_ik*ZkwVv1k^W2`iXt;$c@7r}u)%pgYep zTxRIN?@*|=K7thHev)qbcG{OABz%?)IYTJckTwL?&hRWcMJQG0ZlPVZJKv*j`L|Vx zEl}?AyZ#sF+QnW#)({hXZw|k;u@d8a?EJ#x8;8&|E>|O2S5THhapAnksx^D7ugThP z_gQ6~kI=^YsYCaFO^gFfr##cI5{5~+VJdw``h%~O7eb0&jbOh);E+(cHJPs3XPAW> zqgvp|se#P!;GCJP7vOZ63G5JXpm*(aT1ay#it07j#~c$}9Se?lA}?;(j(QLE47x@t zfAFuj75R=bEmSXvW65S6M(o-c<3Kf{J}B2a*T?JS(_GR=Dw&ij1$At}ecn#5L=O(dYu(s<5bZH3-n8E$Mo{Fc~D|L9S_5Qcbyx zPiHk-Hy%bn;oKG@>a|w&-B_n$EFrgupyOw+>^`(>k|2?MN#DZoXWQ$CJ`s@#GE;5~ z+~@b4N>N;?v=US?%z(`gdrW2J+G#SjWbTctHdmr*!OUf8{;7^$DplJT9%n-D)^l?L zuV2?oNM1Ib{P2w!DQ*NQAl~(A!5GBRjG&fXfiH@;Y?QHuW_O8S-8~{s99#&X!52#U z8$-u2uO2IX7Kd6Qhf2Ea=%ecE$Rvj_ip|ep3e4TUrxtz#6sKNwOZ);;+L4TJ|FAoU zsJKk8b+EmPlho|?Mg7-aI!G;^f(0J$RJc6Hgnfk(`3tdexl2WfCH@c0Fy8#z06 zHYy4F+SW*nC7#p9xBG`fhL!k4j8ufD<}8eC=<(;G*l&2Bm{tvqq6Bo`eJB`Bb>upB z$kMX#w$0~Xm0R3a%$-sDqhhN_ZRM-#zC_ROkg{0s9daCZL%RP0FI9`JiW0SuE8v}< z41dd|;+gcsIf*#U>-#2HkiJ@&P_Z1PC|8g!0K`m!xVT6|U z?u0q%x=Gq!vofdJ3+le?3)ZUj_lkAwSrGLgI72GG*+u>Q2GXPjW5X16NY@KSheD;` z)qQQ?_s(!$o;kDTdHa1irO)S(EXk%*p!sxYb(c;^91$!5bwGt>uCkA~)CH;K1oB`s zjAhaCEC42QhS-nZq}3xk8jT2gwN&UCN*Ld3Le&gZLRt2W;BV^FHBzK$=t8So(y)55 zzxx^l?TcPeffCxZ9tn>bP!x}-Dw~*4`*REPis|P^3b0xPKFz8yD06y>=tn)pp_$3@ zc59>yHm&)6xm<$!!!C2hi9ffyF()`vv&{Y$ucD^o7UB`!HN!eruiXB#2(hD)JDV<) zU>>DPTxx^b!LXC&-xJC4Q)My04IWO_$w17SkZ2-80}&e#iWve&J}2OpzwVE&SLV>Y zB^~|9HC|#Z^9CvZ-rPK8x^CG#4mp-SMQzbeP%grCA@6n^T|*?BxU{+;_REYCU^ufw z!9v9*T>mxu6EQ1?Ygh0UJv)%%u|^>+IWCFWk~CC*&{J-d_MR#&G(y&``uh z^97Y5@UI3jj6y84Canq7yzKg7I2mg=&4tdviWls3;_hO4Smm(r-|EE>%yl4s-XoE{ zex%YdIj*B08|&$ahMvU~M)A7KTOx4q$y@ab8idok#PLRvGCq)yaL^{Sl`Aj_)jN># z8)Ugi%x6^Gl13*1=o?ghk4Klg#aZ~>N@ST1(&&sHfBVC+__W*Lp%xh{Pp(u(6*sL@>z&4A`>#JgBpIvqGJg$d#Cr*9B6UMB6@v$EP3&UsA#S zvw!Ma45QripZUk=XLx#-w)MK^=pJm8;$>RdRNoBq{b|08z`5*@`v)97RfRNqV-+nu z-^f^dnrUN@#^aYtWm`aDe3-Im!OVvagXDc|mGL!w(!2AGg)eur@T`a=K^eXEV0ng)&W2^+~1!Hj4bAPBxBk7B@70ZKCjJpth zKovrsjL#SiLSgCyTgwTSik_m(2!tdKM|0Ol0t@kY z$fhrqLYlql43IN-VIQ&Nr7*M8AznATgg?V3EmuJq~@Q#s8$(U`+zf5q#nHzj?*(hT?Of#ap3EB*y zCiUjk0ncZ1B*VqN0{HI!#629*wtR7Xv$)A+k2}~_bF*OfL?EBd4{+S_X!rjWZgBQY zQ=T(SNH!jxLY1I)aC(rAe&ZH5QqX+kT`44If#r0^QYN^>7Bca|&fHs52dZ32gM8Z*tb7(M(6+fUN3APM|*jn0Jy)h7{1EJLg>+=(d*NP zoKedw{`|g$A3T5cRxJG&w+!>>2A8A)SGQP{Z$Unp(XZFM@{k~GYqIT~RDZ!X-}kmx zZ^~diKeGx^sO*@2^X}I_)PIzQ0&c@Ywi#|kyxabmm4`}>-}T;oZhkbw<63>IwTd)F zv&63+bSRx^B;4{!=eyK42}prpOCE4?!5opd5%|+>`YDTfiEF6Y!M{d(bP9#ue~WY@ z9GSd5#rXiM?idcbWriPgoT;AD9XUC*C?wd?^jq<^j6cWonNgy>gUHrjjaO&h&nti0 zTwmhER);m}%~{o7P7rC_BF=^bDfg6Srd}j8BKD>&KE_Lv#%#yE$z_ZlJs-S-pE5T5^ zw>R%>Cd>TB*3~znZ5ix9%cET_$Hm_)B z{&(BxO-K+Fv{M!+$N|sojx|ax|9q=83@^PjmMtvm7_5*Ij0>7>yTbj;FYmeZFw@fG+*T_6NL+1ev}ARl9`6C)#gG$HjhDTCg-04 zjD1&6CbWzltn{B5b8;DDdMJD>h$q8vQ46t@E7@mZik+`>`Q+!=K9QX1%XTWIRx)gJ z4m})@M`(N;#n;mM94EIkUueP$Hl_s$G!;dY%dBtzq8cf|2!*)XYZ?o-A7=NyV(7gR zb%@OKbc%CM0e>WM7v@E%Km3{t81hZ2)D=g95RtzmA3=TB-z^mM0#W9mpVgcr(C#go zTRV4H%lno@*Esh2TZ>{%eGAt889;Z%A%Q9gxuEjSBsz$BW^zF}H0)1o&Mq8DeY88_ zZx|yV3tc8-yrw!ST|s%R(>O1JhtSDvL2A(-@L=|VU>mLL+k~$OC7G|u^pQK-oVO~L z_EAdh+B?0TIUzCNFccI5J55^qcRA}SKd1cgsm(OrBqN7Ul4{CNh;@X->}LNVvFW>k z#3E83bJ!@i4z^ost>81DlVzwn`LdPrwP4(OF(Cq;pG%HN4i+Kye(a=Y4EDg}+E|N3 zijz1VF}md?`Vg5TdRyxvKuk>{;Q!ccR7X_>fILs4dV9tJFTbD%|ofVcn|SQyk}68D5^?8ggDz8 z+bZ2g{Ed6wA+R7l6U4tok74Z#!Jw#yGjrvqSygc0`U^UP>*8HQtJQ1>dzQ&Vjoq_rC#jkn@9z z@*jq$k&SbK43RujsR$D)DW6(#FKcGUHOy{Kom-WKkXWVS!RDlPS6ss(V@UCyt&hi> z@EPA?6E}e%L6d7M48HmJ^^vb4`8A&JEg8pK)2+om-{vVcy;AJmF zuhsgmS6Z*5=>C7bQWv)pD@Ndj#@%7L%(n8H)5~AhEtpz5LLs?9vYO-VX=f~yoldpD zwLVq`Ja%X7W-Ai9)gswqa-x>hsc|=`N$?;KTQBzbuYZbsfMOk|0zvBbTq;ZT9L=5+ z$oE|=XP`_}l}=0*?d@EJ_8)EYkMsr#_n~lr*gZDwPin}sjf;+rTcd`|4y4t7;5jJ zUy`xzF)kSjz9?)_p93$C$0$qej4irr@a#=;{*6?EX0LVs0a)Dyo3fG)Nd!E-s=O>i@V4rKn#zv8d@% zcxKRM`KBl7$*#Cq&C`|-|2ozAgDMhz<$h?j``-rxRS1@z$YK||9pK%e+F;ds_{gBkHdg8X~_l; z#!NVXCB~#?JK%)Ig9y3^8mhScDCh!F}qaPh&)jWBI-{ z*G;$Ae(cVEEX8X=XJ%kai=;!}w3(=FNwy&I+WyQ}pR*WWoF3gyJfSS2*$2^ku#NDJ zSRCcD*fKZ8jcypWdo&|-v73aUPLtiGbo}5Z*r+H2ABt2m)Mw6VHy&pL;qs!D1d-K(kTO%Z-?@dPWA2GREy?=7O?oHDO4j+g$Bts{gngS1WoWe$472=2N z#{qhc&5|B(`?9RT{|Ruej$n5==C26M_84mD$67Zf zmaX7@?8!GjEI1jx^g_z&5_w#a``v(=%G;v?{k;|E&jPH)!zq!X1N`FoGXR z9hK!wNSCX_t&Ia=EcQeI@d--q|0C?Kg5nC+b^+t=?(XjH?rs5sySu~S?hqijLvVKu z?(Po3g1ZGc%-;X`&*iyzAG)en&BdZ-s=L>>y20g1!8KY`-$CpH0LPt0)Mne^?4$zR z_Og!Mn_;Nnw99L(KXb=}F_39ALkdM%=`t4v^YLIK`oBXX{ae695rM-PM1%1y?w|Dw z+RU=pP|CVm@D{!tVYz!kXstw&rUBFlRCrhk7kbXd$Q3{{J$kV%x+n>_Ng!lKg8sfb zAJ!vW$ca5FNcQzSkd}&S))*!yAig_-7^Q!e zQUV8bus?yBw80Zr_2<{`N`(CAFC4D*BPO0TP=Txb_)v2ENJKrys=#E|%D z(dCtM;EmezRRAH1Hh0zAaRm>9|9eh#2fXW0o1<|EDo%IiF0do82wLPpFifpw2IMc8 z1#;lutgylPkzV$|j?gUtl8Uqkr7&`NdL|(#M$?_s6achQ@Cg%jZS6W#Z;H*{_aBCC zvjAh|vm{bxoaZxY*^Zrxtt+s{_)`%GEtx)*D5@ogS({1TF9`+VQ0^xU7GCYUQiPe19i6$l} zd*j&I?bd)5|BX%1Gp@Ur+V=t~TI%~d;IB3hAEK)B`4Zs6n+<3CeN2v#0mp8uBf z`RmB1e9bMt9&TGbQp^lS%XHV;CwsWqHl~QD5Hw*OlvGF1k6p$B{BH^wyq9umLP%t~ zgg}tGL$G~%?E}2GyFM{Wa@9nWDAs*HPHC%y^(76kN<>pjw_OkY?}S%fw>SrWZC(~K zJZ&^wA{{=C+#NsVv2h9$np-DI3a$hleaP(h(+e{rR3q`i(6QLWqS3k z7j^$GlAj5sNxhEzNt3~y_JtO~(taZQ=}NC&zy4GTt`q9cZTw=8Nd{XcKp4U68Q-FC z!j>)o*mj8fH!0vrQP4Tz)cQ%=SGqVR42<=3*w?FE(OkwA8}sHqgLToZUN-PN<+Zl& z(_@}xW6DoV7bAoZWgP@h>V{PTl(p)_;;gST(_4I@C!P0@uid;jh?Zcxn)VXHs3;fc z%;HXY2ZNvf2xSatT%s@@VCBZ|r_2f`ZHV?}H;K}2$usBu+25=U+*wrMdn)Z%A6gi~ z{1J-c!+7uO+PP@Ti}$gHhRa}I)56A>i96=Wer#s(hL>oji4imn&kQF9sQxB^n?67i z*|lYNtlfUFxiNe{(s24*^M+2Ns@|<|C!k_|j`lEf!Sp0NYum%(OW^xW#jHTgAqNU? zx_{{#>J6+)3kWpJojB95C>$-1sY4(5{Ugm(Fw2U3o+la+V!wQ7G=eGhHhAG}|2Ng# z*RA%hHL0$MP&p+h2&u+w07dwqurZqX&EU0(EmadqNw#JA<5Q`5Y0$Uu`UtmwL=`w* zPc6)PZEw{(wXHRV79F4%)+{|u;Z}H)LBZ6EfgH7*;aWH^+MN(-MYEsKo*8?-86bn8 zUcVzu>b18~KZ{IKf2ECaTV(cQc3o8CS^d(X%oe0GmnSXw&W`SY0GNc)3Z|#;Y$aTT zl;ADqvPgyJKMDX7+PIVwj|LfWs=0U${oCg}OT(Z-9*XV7(HHY5xfrG9e-obN-3mp7 zfn+^CibU@%I7RfEOrDp43Q84ASnCI6QiB5P9$4_`Cn30(o-K~BEj`b;XGfu#Ru`%2 zY>;vSj-YD4G7a0O5kPkV{B{fFg>Re8tKS`p`C47gO3XPl{W~6YinpqPIg6P{8<~+? zGej$v=I&xvqj|eV_O{ULvdFvsuzeKsf@F{+){Sir19%z z)-u~#OP7!qcYFCoTD>W4&K9aJk2{ks>%*?IYa)@=(jnz4H-NV36Z670ZDS<4l42#( z10*(N7c4C)1wV{$G?x!9KdIn)S63MHt>w^uIiQ+N5zE;g3*orXg0Vx5fqL+OQUUQ4)t9#3LsDCgB{ z1O;_wZvrHSq@yc1kppu}0j!i-F}eXpQ7Q?PVvM@#4=obqo1WOhBDgQ$qmJk%j_t$4 z^-@{2W*+9K6JnS3ET%;Bg$G!F;9SzY3vl5mr&gaa9sub@ZgNjY*;-;f-s{DLWAsyLp$1MVl`Wbum1TvWB5lZkSYV*7 z72stOx&W*ij#U1brcUhmup?S-Pp)Ojbosgt;rc(hkS=aWUOUj!`!1;-(**a9rPhgQ zPunZI{JynfeoBD=mi zXT+FifHUD9kwqsJ5mJkQjobKxzPd9ejMIvt#sQ?_dkQ)yxF#49wV8FHQft*)dUAar zuE)32tmxTj(n`$VJAQo4s{WWcz8w7OjP1NUt_eC#lp# zJE#IdX8fH$%i7CYn<+*eGCW6 znS_cC#>MtVt^H^#sx)1aE zyYxJr)Vo;5aG#EUY=5hjLEOpV;h-0AYY z+6p!$EODuHy@A2&yR=G!3gm>#a9iP3^+JfCIVQ9nh{n7sbN3WPj5%!^LAJkCPN8;c z7SZ|M{em5!=(*8jx`R3oR;iX-k2p3~p1E?FSua^XO>#;D;vTzLE7@ZPiK#1`1lQ4o z$iS2+RqXeI;uZA5cfORtgb?Y@Ky9sHqC%+O47lYZA?@2i`Kb41MH4CU$H7sU7nAuh z4Cz&cZ&k(`d2B=K0&}xtl&%W4cdItZjZm)`@EKD8OosK$$Jdw8RsVnbP!}DVRhddS z71bx^VHpb{?qi6>+WaHQqt2E&OI zYp<3um+Uh)7ty`24CWWCEZNr`g42_DXledAI~RyTZ%{@xigys+9D<+E{wCUwtXSK9 z=;ze{gc7Z|I@VU6Fy%lmysf=Fv&N#V*hT9KG}VMJzgO?rOt}%g$AXi}%gz+>Dm5at zy@GUT&}>fYVfc=^xqKj@Pq6UPe4lT`VbGwtk&+ZTobUdrUUi06iV~=$DgSxiIbj+I zr=ePJ5#mYcxM94iLz6QHnxap_k8ocLIt<4I0MTli@_~~iFBoBOqny~5nz0q2qT!RB zuj+r}S$Ls=zr%OAtQ zu1RsUdX3A0O%q2Nw^<%bP50)MnGf+Ndk(3O-zm%e3QaoBqW!)RYFuo;o0SUXn*P-s z&{y58A=4}D8HQ$08Pfk3PlJta(aM z5ugYW#Ky;8IcX&}KAj;2{TfJrZJZH79CG@Vzh61~%K29=zH<4MtFK&t<>o85U%6`~ z4!OrY`|lgj|NTs!^!y8O$aEFsW9Wz)hlj5`e&y*a&tG}@%IjC&zVh!Y?_c@&%4bZC z18BlmfPeu32Lb^E5(pF!Xdo~^V1d8^fd_&B1Q7@l5M&@IKv0380YL|X0R$5W77%P8 zI6!cL-~qu0LI8vi2oVrsAS6IYfsldr);N%ZMwWqbv!xr6A5$Z7^T07Hm^)ayS&^`E z^8U}NUiY^#2Yqgot{Ls?4E^U(3uX!uoNF*%D73*kewxDyE|B_h$EWU7y!*;CRq zW@J1YaCm>o2|$AQ6=zYT#OJJpOmtx0U>FjZOgZHD@?q2Vt|ibJ=wDzM=+kOo(-^lVJRrAK+ZXAm4f^L z;l3hTn@aE+OVWKlA-!;P@L1vD1*!`W0@yC>8gnA4sVr&@2^buk=DYCllYJI9k+cG| zX#yG<=3-VxX+aE!7;=Xks)>elzl#+LI9ynYf+Xpz{w#JC1hKbCY5ZhSU&D_~lY^Ta z!^hBpF$@G}s6dz0S;ejdyYNzOFW8#^gtY3ze?V9}xw>F3=-r*7=(#`%PUEU;lJc_s zgVp_!Z2S#1E%?`8In#8KF3c4YGfJggGMhrB6!_6>D%WN{MVueeftBq%o1zKo;~c8x z*g+$13>YKNDfMo8#kPMSBW(pTuWo@Izs$e2(=$?05-&d zukS}$%HGZSt&flQ`%=yzmme#xfkN-JL(R5wZ@jMq!K?l2-ol1-qvIagii_>9_AiYwEMBK|2F?m1}S5 z3ujJ2UP8Rc1C^((XV?C+S>W~^SXKw*;Px)mUa2OMx@&l+=1x73meCsJ0OIqkD&%Z5 zEn|NpyNVOsGGse6LF=cW=D}dZCFnGQ6b~j8UtzokP2voW+fu@2)NI}(gLL$OcJ_51 zvmz(UCg(+Qyqq)i!&SNCR|y&$%epZ2LGKmVQatnrT_s8v=Be0N9rZH&Dm>$EbOsoY zGY$3x+5+}IjZ|2JNj;}ag1-nW;Qz@ z&z}eh7TUz6+6U?LS$pYwYuC?Y34~7@ks5as@Gl2B#ULr2XV0QJcdkO!yYH*=ia zX@e;+lZOSvJfUrUMRMtvwHMwf?D7k;f>J5QSi{=h8-EJJhS)9jt0(cRS5Q`O=WV@P z22;n%4Ey8VuNC9YxQHbx2I`R`CI-qVO=Q}HfQ(_;Wez2C;y7Dbdc3EJnR4gxvPCZk zNNMjod?^kMhg5Y1z*;5XckOm96MxQl)Vt9jXPEw$yN0hMVi>%2lg-ncsiExd$;l3$EwqrU;`sHVbB2jX7gIUu1EW1Or%do*v>KTn5Iiq#i=9@_LAxBrSiWYL z{{41?{$&B7hJHD|%YlhfU2usvJBQAMzM;kMgJ+qe47cNOvmM^?? z<~j-2?+h8J(eDfr2S^FVq1eBBSom&DFWUX!nDC`>#O?CR7E_h;*SQH^=Ial0(wy*L z)pwS(E~^{@xszV=(Fm?R^B(wHzi0D~XZU;i3}Z7zR@TGl-8{77lU%Y$m-qXHGfUE0 zd(mx@#Im44PI}+DGJ-%4!{2b~TFP@WesubOzo1XpKy57RDQ+T8^l{~?$A zO)meZl%f}rkODLZG@aYw!6Si$m;&?*N+47~sDaP`p#?$*gdPY35Jn(OK$wBB0AU5f z281052M|smTtK*i@BrZj!Uu#OhyV~lAVNTdfrtPR1tJDS9Eb!ENgz@{q=Co)kp&_L zL>`C&5JezLK$L-~08s^^21Ff*1`tiqUJ_z0(Dq_5HkSW4iuvz|Bd?A)0u(wyWl#(B z3vD1eK)wOd1)>K;AINtg20#pf7y&T`Vgkezh#3%bAQnI@fmi{t24Vxm7Kj}Xdmvxq z7nMOrAWlG>fw%y11>y$89f$`IPas}Eyn*-t@de@s#2-ii5CD)sAVENafrJ1F1ri3@ zt1=i4dZYVQXY;>$ zBppZwke@&@fn)*629g6L7f2qEd>{ot3V{>>DF#vkq!dUQka8fufK&jf1X2a08b}S0 zS|D{m>Op(!h#NpbGvL{{_&7M}S=jhkSn>or8bERKYTFt>QF{NhHh|WGLH?&ZFXO92 z;D6d{Uu~iPX%lodfOb+C^O%{Mb8xXSa+z|lGIFrxRBakN0-nY(X(9Tydj{mMW=k2z%fQkbub;ic2zkP#FSD|&>&7>nV)+rgcB6#`% z+W@Dg%_Y^gJ}!^LU2)6RFQ}ig1;eJHYTc%+IS-qAMh6N1)T4%$2x(4Nq7WEgnaage zSb&b`W@LYW;igtn#jdI5r07g;^^MjNRAL}9hDFbIlbWFzq#l__%C00htb`+0B8D6g z$PD&fbVQCaBmu-3uFjvFp0OEf5{i!~5Hwxu3ng3Rj35sCz+58%w?r#+dVACY=N}%C zvtUHX0$Tv_!Wo^O2f7e62myjQ3s#~@8pCE#Sn2Cw%J4i;qOBykWmLya3W!j$_B?+ z#yi(ZB>~}w&Vlgt>~T@cirW=C%>MnY{uXb{g+z=v{~#)E)+qz3FBY1l|gBYz2%lOJ!@9K!imWF{=K%AE-6 z4MRDES3Wd*GNh1{#+rnV${&E57;_&{&>oY+zt^*HFIE4C{I>?a^1+*9<{wKADC8AI zxP7!0RILX$SNNZ=*r1MviWW&t?a;?*rS|v&PA%<0jZm4f+${10y}~b^{^N}v zOhL3nkyb>P%C${=^*G%k0Q#z$qSAW z&6K1nboZB|D#UbrL3;p@1ks)x7(-*JAQEJ@y?H-3M&r!>6+lEjU_)L}8_fSBE}$=t z%HLN_R>9+RG=_<)*cyOFMb|kfQ342$f+SDs z!ZB=i_oMp~gAkhlhNw7dzeF1aY9&}C7R%!(jJG|ue}?w7(W0=CPxKH$)nSC7%=^)?BM zh$YmI^xIF+;pe7HsO~WB%5#E6AO_mxiVk*2bMy9S z>4MGM*yhJ_jQFk?)^q*ll~arg|JjClnk zf&>mpz_QarA69G^sKNelH^tJzsGKe7!Y_hdh+%ItK+})tMGoBgnNV~LvQevG3R=oy zvVGj<{sUtU&?kgb*<$rW^*%(C3&feGLUb`k;#U~HgfM++f`P`t_mM30VfB`-w3Kq% z&0856GpSwueOXurl;t7{qsZRSpGA`<>E4BdhrrxB5A{y z>NL_r5E&9zRkmCa3mLnW;C)Ps4WS=@oNnl^9w4!gURs`szJBr>ttS2FE(&r_yc}9W zeoXoLiD-SGvKJzeXNjN#xsL`Ig0LV|PULnGt?ay|Da3x9*`X1wTYIk6*Z$PC(kCot zGjSuO#UAa9FC%!}n`yzcijxhr#sY`9WYy62?&Haj|H|Hl7Yb+CVIRa@F(R1|+}FP~ znFCHfRYEY@+4<(>}Yl(g1MPYQMOh!n>!%8Zee74IhzYu@d{4-{>xv zEI)DrIe-pRDll)ssdh=Q&p~HI0+ShN@Pi?r&1{-c4Ic&|@@AD%=rpNPC*EIfQd!}O z26nr^;~>hngwJ?C{2bIh3)Pb}&5KRz$-9abLJuDw4~kk{lGo)T*?g?f`(# zHjlZgpCB$iPQ&=YM4E)8qBngT?&k9=Zt&nx%X;0a$7wfpWB24((B;nu*SxH5$<#Hj zXQxz>j>LY6np?`6QtXuY_|0JtzbtyP`IZPqY;&zvtk|{vjKRy3-IGJDVzD?g8h15W1uH-4(&^4gbNqsdE zz!-!=7ug_^qGdG}u(JLviA8JBUQ<8_=hw2T1X7?hg$7a@50R>o9G5@Dj;J#cqeJQ> zC+o8`-}6Eyr<_zJX-0AFa`1UZ2HO%QF%TEeBw-h+pVI~x;(P|(X|ph%t*QYwuJhgr zTRSv~RvL(W*N`%X!BmkMOGGPe(2j7l)HNwgOw0*O`qHX0xl=Xh8d6iOB^Z2I1foOj z1n(1v(iohV{Tg-*aBugCc*&CrtbTH?sl}Q(@9^ZID>|x5&>Dr-ZT{^OX6SjQw!-(L zxwNP{=MU?5&A%#~m4}Mr6KMtj;sVCiqiE||wJ=WcBqPRS? zFmHYq^+sU~uAwVCm-vSvJ=r#m#;9Wi)IWUph_C-0*@~i zk8^#-e7{Mhf-07!zkAo-^_D4E~P%p9<5_ zd@v=k9jzxE?lgq5A2){*Rp@KdFfLU6t>16u8Nx@iM!eQv*#n)UzHaaa%jLvP@V2(&mATXes|;8*ssaDhA>AW6vvO&bb0Yj${HXy#wi{*fP5i z!@)^%eGr&ryEK>7y&_xki35%`h6OA*1&W=pJo;q8T{NyVbv=diA65YdpeEk(n($jy zeTj>up>I992T7)B&!SG{7m_EcQt9XFh;Q%wRdD|G>pp+kWcuGIIKyP4B{U?0U9qPp zCVeS2PVc{?%FQ*J_?~5mb~nKf>xQ@Tj+40#^&`ZgZTJ<3W-rm}R$R-=y<_|w3|FcW zr-sXcK~9+4jLk^_(3*G+?@-BieBb80naZ9WGUx{r(;B|oWGN;X~$>DYU3&E+PVe!g}7G)tzvcxlFUUDuQ4p<*Xa`XIQ07nM>oG@5qDzTTm(>zSIfqmXkqvpDQn|yRFb8mM1 z5rvkMq?gBOV4@0t{4`s<%x>t(;aN&2bcdX_Og? znN*a!WEqc_p@CnaZJ4gRIBr_#BG__v;}xQoZt?pFPin}^`EZtYW^B{K{ZS0(z%y=J zjKg8T>H^%v`2^(F&!2B5WCZZZU3!IeQ8h=6*B`=Ac~lHU9R~3J&iLkIZV0_1moRdt zPeg5)=Plka?kb-Ru`tS54_+)&U`H+qo2GBQpFgj%Dk)o67EtJddR%%w5aqtfh8JHw z9sp}i+f~Oqs^e$F14dIPSjzY`T$x(EK&6M2B?~}Ky}KJhSEau7^-~y?;9U~ajaO~c zu@K$WpjOi7B8M5CxVyu%SEQ-!b6TXMBuwX8C%wYP?c6+03-QIik)*+_;egh~xKCWH zt14Qj2;3hNE43R4KAgwK?)uI|HMn_v8)=?x9Ur$b$}$w0avwDGZ$apv#HFOaD<9$a znHoUpzp>5EJxT%ZR_}j%7wLvAk6Z~q!l4iLh7`?lO;UQUeUB6#6!;lX@yB-oJ18@b zN~d|H6oH#~2E8@X*gLyiuZTetyN#A`#Fvxd2Xm))V?%8nRN)(@pfc&}xU`z32fRL%Ckm+cEymBuGO^&x(E+d4t%j7}Wb3 z*+^yD=+0kt1&<1g`})}lyPsFHogF#R@HdKnZ_e-4xsgfFtWM-tH4dn`Z9?30;c5+Mn5>Vf_XS=@^``p-v--_huAspb<^8)2{ciR@hIm2;F z<^6gbg2i}~&8wBxl@u24vo=D2@ADJj%0`>+Tw>=>6&9#?|}td(51fmZ3t#LF3%i zgV(cZjd@m4%*)i+Z$)qJtf#ZyBqZ z-n`jyHB?j68=x7SXX7kYJ7DIOeqgnB#i` zH(I$fl_vN5%YlCAd@IMY85g{zY@G|@y6hvNi5G+!?v%qVxsgZr`WH+ZZrz2Be z$Y972Z>;j^UY6vTZmuRF!f$#C_i$N{~&=tvml ze^0L%JW$~`SCk7lOMI~(_D@@YvLfz5D?qEU-D*{}4;j};09PJp%m+yfa;W>5?!^|V-CUYZUN#D?5}LvSUR&QZ^=1eBd&> zGg)d!TDgr7KD(+NXBArjqU1q4n4$*pUK@8h4VCbBk;w?hgu3-9Zewu9Gm!MDUMR_$zDI< zgdEjbUUEpIk=_65G^mn=WHb~Cq2$|<7x)m`@#v;H60!`fs+R?J=eXHzBsw4 z;(fd@R`y+gZR_#~I6{_@?1@5$;Ub;u2z?-#<0Dp-Y9uz%-`T9w{T@%{)WqaC(m40< z9Fc*bJUn1my79I>C2p?W23TGF5mu zZ+_koiHmz1-6EJYh`O|wkL&%Dh2=`aMMR?LsLoSYzY{6kKTG*-+L zJ!k<%?-iJA0Tq=2Q8x~7OvE(eOIatM^u~<#yf2Y4zhRJaQ;lT%VdlB-_A{brqxMm$hOLy3|q)5Te{F5+hd_kPM*)+!p9wXTE9 zq0=~sQ7c`*GHmLDjW+-(^YsIbS_sj^4^$CN9K=uEj{)5Y`i&i<8d8dV%ttbzR2a&@ zKTDWsuFNcvFhbIA8^sK;qPA+@OVS{R_(jm8vqq{bZcHvjK3Dpbql)4L(hwhHoG3+3 zKH319%1>aK2p@Bxkcf{p@-0=5;1~hUIXnFsdc<4$gCAW042%E_?ci@!Do*nd^*CpE zA;SD$RxWd{MAsM!w?AMi@ugLyRLzcj$d>TpU(3V)3jQ%E4ef3w-+7HD9s z_dyL>&{+L5p_;=7xIZC$O%%;+f=VSJ&JbfTkUS`lZ7y;?5yxc^xcZft#Oo(cJZ{^0 zv!IN>as27`({sbOm3t!YqA_A8{e~L$aQJchJU}Va;mzy#cB=o4*fYU{sboEJAaCZX z_7cl5t<^I}T)&WC@@4-rp#9C+V`Z*froUw{!-_~6 z9q{pj8o6yil-KJU7wIwMQDQ{0#!B&Z9FiI$g&j>oxZCsNRAY`d%;^wi%xD6tW}q49 zXbS=DgO`XeG&HreC2FGWjn^E7qF5MA4;dQ**}IoS=kbW6(hf;sk$+8mmko(#WGW+% zNitM|^!?c$;AZHhGIEqHaQ!!yJMLI8`2rc+SI6InyDdWlX^C9X#pQ?b5(_c-Q6Zw) zkFl{aAyB@<@%6VW!?)$uz|8~D??gmhJnK<`8Dwz#_P`4227*3nl^TU@t)IDQ4J`PI6 z%9RZJo2t2rnVl>BOVr#(@s`lcOejMVHb~JlQkiP;*^j*qY={%W#?da61z+j8U-o*U zK5|TqWSLVabUdty7mbKeNmkS0SJu_&F%T3?b!f+&P?@vP(VnU9u z(8z`WBsP`nH4=-L1U_+6{x=_M+tbXbsOgQR<@T~kj2($#STlJ3ulrv=D~CjTyvHt7 zLmc947?Bz7y;4Qng8mQZ*9@d4E>ufT+DX<=Y~502+i!c+raj_Ui#g3NCbpK+5t=mt5VrS!wXq%Za&rH9wRrl367vxhKSC5v zh^Z}!a+N&~A(H8C`iaPHumqj%Qa2*sy~SN@Z9qeW9VuIQy80C{U-G;gIs5Ota}QF? z=H}*}a)>^mp8n+NSKi<`YjxKjZNlO^ZBR`2Z$IbHDZH^>dD?5NZsI-&k~}PvpV7zw zJm1^CsnBg`tWg#7q>lA2Sl6q67(S0aH_x8Zng>vA@cFa3@m;LhzRV`tmqD(c#u}E@ zY@cRR%Va%2y#~%hn{AV>U=}MMA?*>V{Z{q4wJh}#0cBTaepEG8-}C6R z&W4ZN?foAy8w4mWv%NGfGUp>E{_+31WB;7KX>Ve>ewi{T)OwZaMEO4GKM~Fpv|d3P zwJBr2lks|#g#B|A9)I&yN#yZIp0>J0c8!sGi>t>Lch0k>Q1!=Tr*~xNO$3m-?|( z{qs*{kS1q;1)cnN_L3T?XiR12>|Z!qOMMmh=$sVtLJG|?8f!%b1{5_ORM3~^Q{84J z$>0Mn6&>>7nlGH&V-0QQ&E5h(iWrSfFwk?yDVzc$2xPWp{-z#w9jqPmI>agG?ihT% zBR74SmUZ9T(k3XhW;iYE2pF4EI-IFtK*?$gm89)wy(L+g$rWFy{cMaIs< z{#u4M-gGpzlLa-)2Q!f=l#8N_qNj|f=t=cT4pl?rI{5r8JquMkKtq&47A%*C^Q+<+ z6fHHI%t?ikKMkS;G1MM?6e@Y0VE8(aMWk{f5ggWKP@CA&Fzv3B7(i1yzgmw{(jOao zqH>flS}PVS`*_@nDspcaZ!3bt7pq&k1;{`#9@CZhu)UY4$BhGnYrrC%5{)NK+m10=H=v<>#INGI&Yk!Tjp{#XqtihfbxvuIx128*W z%AV0(JlF;4K8);#1DMojLr{KvERaq2jI8O<{?-`pwRi%|ILrpRH6Eg^@QaZo&W85z z70c>Xw!PQ}O=#hl&+gtMhdxXQdp6F**b*2)a*KQlzWswPWd*zn{``DlA$QcXkuNPR z!jaUs3sN1Fq}G-o2#O!!R@HoMv*4B1(Wt2H7Ar6@)KFr_1IVxKmh!04NbQYjpiklK zdQEFcM0W(bRI?LecVEKSEYr+;DTVl*`T26rgIFV!u@={(t4bzL75}PpJAcuYoz5di z#IL80JKzZ7&>xgbq;kUBSI&xRLmRhPb~B0|T}gA5`NLk>XGcr6({g>0Mt1u>3#+xn z>JGKfI#DFi1;EB4wl=9th*Lad|A)s|H3$PAGCTZ;X22Tb0c9D_9!-}WFOzI(ypC=7 zCi^shKYoxGT+N9USIvp^o0^W)UL*vQhH~_2;JpRAC11V>*GAwx7&jCTV%Xw6`{<#g z-7W`)Mo*#d?a2PXz*hD;{sUbGLL{FgYY(i&>|7e^FaXI4lD9lGvr7!%g#UF;unol` z1p+zgEm+H#SX2=~Cmf3ej)C?tX--Eqp8V;bt=cD1xd%iCiefNM3yNZm$4_x<5^0LV z)ulw%8?AU_9klSIM5Gqo_|Tg{zW6w$YQbIQrwQelH_F^Nm7CPepgVe1@(c?xa6;%! z0lyEz89;!ty7c(U06C;P#f*)W5=wUX$<^0wS3$asJChNQf>9(JCdrcBfr(i*1(_zU z9x>uUtRDGym75gap#X5G=3JzIy>lobrR&N@ny}+aDIF-xS%qMtZ9>=UrwnVMrEe>q zwXlIq$5>ae|76s+rb#eR43{Js0bYo9o&9wPSK)DkjO@KW8f`@G1Zl~vD{V1?k1#H( z9hYlnV9%t`Wa|kO=^ZX$f%Ti4ra36T-}rr-!%PSV zEdNMuEBG;|@(`@Tz|{QWJ`1PgCP_+{=cbVQLz$1L0`3>J>{x@Che-O8$Ty6>0k*6G z5~4ILvzpM7gVOJ4<<=uylrV}L&5S{R+qBc8mN1;&#yGtQrK&-s&fAg+70;jPTy*_4 z5p8rmFemQUzQOPR)VXduKUz^0V9K|b1Eg~z-t_6W=X*d=GDS*vHDrSwZh@dq0?bYDATaZVk2sTH_9ZSn|A^lk|~xb z?k^~I`bJM#qDRb6O|-S34ixQwQp$5TYpyi8saH;z+n$zU$?Y?4ErJ;u|8d6|0xz1t z)O;K(en@iRT+6nrfcHVc2 zR?zXU@@!{kLR#1ytucoU7L@L@JYC9GP-0N$JfE+>d;paoZ3PiG(h5&J>Tp>kFzPf} zRO)!yQw*g*S$nRxc5YT~Wm25j>=tB4rkaMHSq`IK*$~27 z6Xr<`nE-hSJk&YR?T&g>@*Eue`eb%fayk!ODmp0lc$YuUXntu8ND~my9&bziOuxAY zF1RGI_vQOzm@xGVPv-k6+0%=4qw~-)z8%rFS1d&KsfpJc7+K3{m=&97%wd8sGPmvH zCU0YZ&nSUgXRGnvZW6)dmk_PDIzhLGukj+%R0VXxGfipEg+Vm$N~Xgx@zSc4FyS35 z!Y-cbSamH9OSn$e-1 zsiO|Ril%+uoV?&fEJ!OIA~VB$vAAy(c$Jljs(PW#Lbr}b7(+fGLFQ5irFq2JiBU{4 zK+2i!kCJUvQ#=|QDs(!Mj#D)8Bji7vPnrXoTf%48r&v{yR@4(W^}sz2I6TTY+|SCb zg~OEsZ+w)`U-;|1pVy720L~31m%U75t5#8ct)yk5dGLs$lDRpVScTFPl@fT$4dS<> z@`qu~6E%px#C633ba+u=Q@LyCyH3(ofH&jLovQWL7s|)fY561&AGQ8u5P5mIEr?Th zK_>U;*bT3n^{yt@pDRuhJE;DAB_avzJo~$wZBk->BV0@)R6X~l;3$UqB}Jyl`7x_d z(}EYF$b+bnD#r@4K05rpR1o-&`ssEe0Y_INpx*%=qv5q*xMg6(p{BE-7-e|M(Zlbz#$^8yKGWI@X*N%Z^ zX?Rw7c#Dd=RMem}66u z2=i>38dHh3?zkQkV_2F2ZTF6zgvn9%GoH@ks7_(qdqGr3#>wcvfuxL!xv&YP_+i{J zHf9D1_ErWY)~wVHcxR;;R)_~rA;Z@Z>R!K@t8Aew-kmG&+&c-f$EV(MQoI|oq%B)A zacISZs9u|KmMoqoJQ)OK(KSdGL^P_Bq<$mt2= ziLZ)Q|I*38$rKGP%fbn#ozzZTGGyaiYY}(BpFYkL`;$1Db{6Drbbst|-HZgG=XYSxEZajMXl%5ZIjQpIv6b_0P366m6@pE6*^KAvHuKzgn=pKU zQmGMK*l3X_y;5p7u<#j4ng6l5sM1azCIR55*}% z6`j}_*xy|(OHvpjHok|QCJ6rP)x*ge4jI|x;`iaxmX=K+4~dU$vw1yGafIr2baw>U zmb(+n#2s|+{hfQ*KA1Xis*=+<=j|EEKeI7V+c0f;S&6RApMA=w@R_E6eBC~9jFiXkcX{1T&K%#xbGttp zL(W{YQsZh~TeD#KutZ#e^xfZAjT0B(%(D}h8E{tY=CVgMHRfpWgKZ$|=eJ41hy{=P zYGcBjFjuEs{+8Si9t8B8fPhfl87tgL$tdrn=jIhRH_9e`uTPq^WH9wTmo_j9k%=%* zKnUN$9$g!r&Ewd;U4UR&E<^b@256h3c^SAp-7{rk&EBJ5U~TcNwxO@?lX8fFp+wx` zpqG+@(V9ffc6B zohhxgQue|9um+mDqP0Cbx)WBz!>}FJT2J#m^&Eh$@F1*%^{@f%f{n1r&VBkld$O^2 z(nH?uGRD27kon)!HFv{ixX1LJ<}_9)VqS>Mjky9_xJmfI53&AMA%mxzBpmL-3gOzwm+j2jLhTHvPqqq>n(QVBGXe zf0jN0r=TSw{`xiP^U&stcyL?F9BT~wjfKhQP=aMJ#!;I);=gzx-Gfmtvbga_Qh#uM zkm5y(_dM*uhe6z~c4|xt840u=Fb5XzyeOS41eTQctUM_sC9qty7iUW$5kZD21({Mv zNOi(0a_~k(-~%P>+r9=9xLw z_%pD%4TCc3X^>7L0um9Bh@c7L`2f!cdtd^R zxWIhAaHU&UAhQ9P4M<-=`hqq{1_RO>;QzqJ;`YF@ zuyE~lokbRc0aJc|NeZqGj+%14PRcPzE&_cQlz5Rld2j3JB($00PIj{tk`j!=3DbY@ zZRyA1lqt_dq)bB+6wE>;VxBegGHB0haU1D~COjC0{H{dY^U88tbhI3nLd(Ts{V%1b z!sSp|SVO%Mra{&}iB)hl%zuEHFbihG9H=YgLf+4bwJ;wRz;$pv+yDz<5iEu!a3kF0 zMV21jt1)l3-&OduYQ6{(d@m$y)wI}hS$YN3cSj}Ew}$2dy)*6p3||Y>zti*17nP`P zfIIAJ?axZ7hBdGbYF)(GeD0pFyVMBx!d-TS?my`YO>j4ChI?QFwtv7@xX;cS?AKYg zI$E4rw5R<3xqnINfNiEvrb#&n+ac?v#9`|{eag=I_)ELh(+xXKe_}w&5!hutpY4*; z56%A{pZ>L!UTABfrS4axj6n1M(nzzE0XPVUpi;1jdJ>xdmu60=e+-Vp2{;GM`AeT( zr=Dpz182Fn^7g#-Jb!XQJ;yz-^ubRfp7-+ASv^e>;YZCI>+ed5+4KGJY1J!WiYdQ} zOG&jS9>1>|Z~H4v+3=K?=Up1RE(N#yt4+}i67@-ekGK6S)4wnwohc1@w49v@uc5nV|%S$W9#<3%V~?Md#rB1qq^7XM{cR^v-<1*RNZg&AJ3{j zYW2N3)dQY)rGMf>)yJ$p`Op=ER=@Is>LIJ&{Xq4w=Uq+9Q9WXH)4x@ZT0Q=v>M^Uo z@^JMvZuPTkRZm!bV@CC)`7IDDc=ma;%vzD&xg#6Y7e9w%41rM>zh>jY^_jxTnAx0 zJOmHJ4ygUEBT(~lH|&AEP$y^&l$@y?370*Tf4}xv9=bza!w*esvG&DB~B_%~qMhYUl BJ>>uZ diff --git a/diploma.tex b/diploma.tex index d0ef817..916ed52 100644 --- a/diploma.tex +++ b/diploma.tex @@ -1340,13 +1340,13 @@ Za dosego optimalnih rezultatov smo uporabili specifične hiperparametre in nast \section{Izbira kriterjiske funkcije} -Zanimalo nas je kako se bo model obnesel, ko izbiramo razlicne kriterijske funkcije. +Zanimalo nas je, kako se bo model obnesel, ko izbiramo različne kriterijske funkcije. \subsection{Hanningova kriterijska funkcija} -V clanku WAMF-FPI \cite{wang2023wamf} so avtorji predlagali uporabo Hanningove kriterijske funkcije. +V članku WAMF-FPI \cite{wang2023wamf} so avtorji predlagali uporabo Hanningove kriterijske funkcije. Prvi pomemben vidik te funkcije izgube je dodelitev uteži vzorcem. -Namesto enakega pomena vseh pozitivnih vzorcev, funkcija izgube Hanning dodeli različne uteži glede na lokacijo vzorca. +Namesto enakega pomena vseh pozitivnih vzorcev, kriterijska funkcija Hanning dodeli različne uteži glede na lokacijo vzorca. \begin{figure}[h] \centering @@ -1356,10 +1356,10 @@ Namesto enakega pomena vseh pozitivnih vzorcev, funkcija izgube Hanning dodeli r \end{figure} To je zato, ker je pomembnost središčnega položaja veliko večja kot pomembnost robovih položajev, kar v kontekstu satelitskih slik logično smiselno. -Za normalizacijo teh pozitivnih uteži se uporablja Hanningovo okno, za normalizacijo negativnih utezi, pa $$ 1 / \# \text{negativnih vzorcev} $$. +Za normalizacijo teh pozitivnih uteži se uporablja Hanningovo okno, za normalizacijo negativnih uteži pa \( 1 / \# \text{negativnih vzorcev} \). Uteži so dodeljene tako, da je vsota uteži pozitivnih in negativnih vzorcev enaka 1. Toda ker je število negativnih vzorcev običajno večje od števila pozitivnih vzorcev, postane utež negativnih vzorcev manjša. -Da bi to popravili, se uvede hiperparameter , imenovan Negativna utež (NG), ki prilagodi utež negativnih vzorcev. +Da bi to popravili, se uvede hiperparameter, imenovan Negativna utež (NG), ki prilagodi utež negativnih vzorcev. Hanningova funkcija: \begin{equation} @@ -1379,7 +1379,7 @@ Utezi primerov: Kjer je: \begin{itemize} \item \textbf{NG} je Negativna utež - \item \textbf{NN} je stevilo vseh uzorcev + \item \textbf{NN} je število vseh uzorcev \item \textbf{NW} je normalizacijski faktor \item \textbf{HN(n)} je vrednost Hanningove funkcije na lokaciji n \end{itemize} @@ -1393,9 +1393,8 @@ Kjer je: \subsection{Gaussovo utezena srednja kvadratna napaka} -Gaussova utežena srednja kvadratna napaka (Gaussian Weighted Mean Squared Error - GWMSE) je modificirana funkcija izgube, namenjena izboljšanju modelov, ki obravnavajo podatke, kot so satelitske slike. -Glavna značilnost GWMSE je dodeljevanje uteži vzorcem, na zelo podoben nacin kot pri Hanningovi funkciji izgube. -Namesto enakega pomena vseh pozitivnih vzorcev, GWMSE različnim vzorcem dodeljuje različne uteži glede na njihovo lokacijo. +Gaussova utežena srednja kvadratna napaka (Gaussian Weighted Mean Squared Error - GWMSE) je modificirana funkcija izgube, namenjena izboljšanju modelov, ki obravnavajo podatke, kot so satelitske slike. Glavna značilnost GWMSE je dodeljevanje uteži vzorcem na zelo podoben način kot pri Hanningovi funkciji izgube. +Namesto enakega pomena vseh pozitivnih vzorcev, GWMSE različnim vzorcem dodeljuje različne uteži glede na njihovo lokacijo. Za normalizacijo teh uteži se uporablja Gaussova funkcija. Gaussova funkcija: @@ -1416,8 +1415,7 @@ Gaussova funkcija: \subsection{Hanningovo utežena srednja kvadratna napaka} -Hanningova utežena srednja kvadratna napaka (Hanning Weighted Mean Squared Error - HWMSE) je spremenjena funkcija izgube, namenjena izboljšanju modelov, ki obravnavajo podatke, kot so satelitske slike. -Glavna značilnost HWMSE je dodeljevanje uteži vzorcem na zelo podoben način kot pri Gaussovi funkciji izgube. +Hanningova utežena srednja kvadratna napaka (Hanning Weighted Mean Squared Error - HWMSE) je spremenjena funkcija izgube, namenjena izboljšanju modelov, ki obravnavajo podatke, kot so satelitske slike. Glavna značilnost HWMSE je dodeljevanje uteži vzorcem na zelo podoben način kot pri Gaussovi funkciji izgube. Namesto enakega pomena vseh pozitivnih vzorcev, HWMSE različnim vzorcem dodeljuje različne uteži glede na njihovo lokacijo. Za normalizacijo teh uteži se uporablja Hanningovo okno. @@ -1433,9 +1431,8 @@ Hanningova funkcija je podana kot: \subsection{Križno utežena srednja kvadratna napaka} -Funkcija izgube križno utežena srednja kvadratna napaka (Cross-Weighted Mean Squared Error - CW-MSE) je napredna različica standardne srednje kvadratne napake (Mean Squared Error - MSE), -ki vključuje uteževanje dveh različnih skupin vzorcev: tistih, katerih resnična vrednost je večja od 0 (t.i. "resničnih" vzorcev) in tistih, katerih resnična vrednost je manjša ali enaka 0 (t.i. "ne-resničnih" vzorcev). -Končna funkcija izgube se izračuna kot utežena kombinacija srednjih kvadratnih napak za "resnične" in "ne-resnične" vzorce, pri čemer se uteži vzorcev različnih skupin prekrižajo. +Funkcija izgube križno utežena srednja kvadratna napaka (Cross-Weighted Mean Squared Error - CW-MSE) je napredna različica standardne srednje kvadratne napake (Mean Squared Error - MSE), ki vključuje uteževanje dveh različnih skupin vzorcev: tistih, katerih resnična vrednost je večja od 0 (t.i. "resničnih" vzorcev) in tistih, katerih resnična vrednost je manjša ali enaka 0 (t.i. "ne-resničnih" vzorcev). +Končna funkcija izgube se izračuna kot utežena kombinacija srednjih kvadratnih napak za "resnične" in "ne-resnične" vzorce, pri čemer se uteži vzorcev različnih skupin prekrižajo. Ta pristop se formalno izraža z naslednjo enačbo: \begin{equation}