From bce57a633967fd6cf83a912cad6c72e402461cd9 Mon Sep 17 00:00:00 2001 From: AntreasAntoniou Date: Mon, 6 Nov 2017 14:10:49 +0000 Subject: [PATCH] Add spec for coursework_2 --- spec/coursework2.pdf | Bin 0 -> 94770 bytes spec/coursework2.tex | 408 ++++++++++++++++++++++++++++++++++++++++ spec/cw2-references.bib | 64 +++++++ 3 files changed, 472 insertions(+) create mode 100644 spec/coursework2.pdf create mode 100644 spec/coursework2.tex create mode 100644 spec/cw2-references.bib diff --git a/spec/coursework2.pdf b/spec/coursework2.pdf new file mode 100644 index 0000000000000000000000000000000000000000..65cccbf144f90d0b3e6561521e0e9844569fffdb GIT binary patch literal 94770 zcmb5VLy#`OwnkaDPnmz&wr$(CZQHiZQ?_l}wr!ohucK%04qoRVBj*{pW3OD_CRGp- zqh+LHg(00^9$ANBWdSe%?2W7dJUlS;GNyLsE*1c0MkWTp|GQx5#Vl=HOq~GqVm5{@ zrXr@s_9mt5O~wlE%>sal%JTWlzP`TB)z3aZ4|K*0EZO?c!dB(Gk~P1!SC zm9$cWF&bqOw20JCcWpR3`>fdUZ=yii?VSr_YqF6mKT_3x-Cn-lFNfhGH6>8R98v0R z?teu>EOG0SXy98C{%-wTD&PO6$6v)tE$++iu-E8PBj>Csfw?yAO8oIDONYTpoY?=` z?bWd-ssT-1{EPU4J?g7T{b&7Xm5oPm+~nu%Mqb_CzV6qX^gzUjbPV)dL2Saxz5DaI zT;t|oN1mF)EUk9d?%1(Z8LJG-Wol(+Wv>p5xy2@O!iBV$LCrEsW>O?PF+xp}MhF?_ zlxdGpIlQRRrB~l(S4GrSUY;P^XAP~Z+hkV(eH?8Z)NhU=r4vg8*rw;55RGC3&Lk*X zOtYd{)0PP9Qe`2pZ*%dK_SRgaevX@*gJbxsbMp*QB(4k8RUrzb1d3lTO5jCF$98|T zSAR%L$6ZC$!_uXO{UlT-~yoNQs@L`;lVMFGxcJWr_x z;LL9NY)%x4*w((y%O zIDKc!U5@u?{1^1+<|dCqKfx$_wIKwIhp#ox`MUex{q1R5 zXMx-YI_jGjg6L0=vy#t39h1Py(3Rpg(V9%umqdE&)Bc>ChL+m_jBb3H2etBmXwqP!y=MMDor(nz z*gx+D5Q*~x*4Pql(Y)Xg+`tOwnx~Liv$Lkv^50mf;F07=>4k z{tNJKt*o|~Aa&XvE{x;C)ILPC9PIKs{isg+pT$3`GPvI;Aa22g00^Q?WhaADY^(r2gnSp+6Ds2%t zCzb<-TKw4D#kg4k!o<6Ay=xYa)dFcO28WynmY1A$=lwIh`QPee)Nx!cJC(i@Ib`yV zRkFBQE(4d*7<14PV^l1TEctGH`D>22A!r;!_j$;>%wIUALX>G={B1poWGP+^z6+^y zw-6d4Rpx@h+5flTRk!9j2_onHTlIb z8&2lW{*hyVxUGi>VlH(vk~Cr8f+Rv)slDc;J0d1#xlX2DWe#!URJh=PR-Jq=X=Z2~ zU}ZX~?%>bG6$%q~GM%TihUDb+g)B0G9aH4_u*sboFA8J=jg|n^M-0F+s@`<-CqPol zyy05ZF77Fm{`%lmxT!YYDmXdeoHp7-STS-yP>+dz)v6 z1!NZnfT)b&G!wIRb8hGgQb=&q_mt8=SOz=oFO-o%c1=fGy!*x$i;Z+N>lMS zp~-VdHXgZ<29nqe`Jk!l&ap?xBY@DnnGj^p?uPEJ$HTW3M9P1y`0=6Osc;?d`v$}B zITMdj;O*3KT)Llv*GG4_fFfEar5v}qANN{A1?X^Ga`6OMW9PkV={M{}gg6Bk5zxr67w*;d0>N;r1rbm_GWe(8`V~xWFw8L* z|B<@8D$;-6ArTo&gphS2kVPa`s|3W&ecm_`XzZB>=q!?h?D0@lt2HhxQXG>^IbfP6 z)7B~IUK8N~0C`e#N@@ye|1NO1{^)mjmf!Icy7jjG8>=l5Rs!R(2><8bzzzQz6ACc@ zcWYRIQ;$ozMUEnFIG0)X6TR4TAAP`2-w>E z85C#sdoA3dxpc0N_8U(PHwJfK{a)dvuj-U{aE!2NoMgU!i1sGHQ1O6?x9=bZ1_64v zeH+n`Rd-zt6_{fBwDO=fJ5?U;cygtTI?hcifRWD>yNZpk+@@S{Ro#2KpM!2XhPZ`P zNmKm|*TCL)#f&FDe*432ja>tAWdM`_{u{_%BI;@tdkBc<@J2^W9vSRKWsVx%Bj`3k zec72kI(I@FPT0fdTHYKl!Xk)R^(gXA!#q$VpZmxip@ zvfZt-zJ&rNsroP)Nk~)FN@cN{<$d&e!~+EGgz6$a0C)?KcDd5JC+b7OIh-34O{Yf7 z7%+H=g?AU`Hw1s}!($2$x~wisK`7%|u$qY6S+Nn3ZnjEVj z|8M~ojk7dp3U%P3f>9(2=cUf4O{j|uoP%B5{3C4dTyzo$POlgwlcsqEIRAyAWBr=q zwY-ZGaqwKj`?A}(p+?K|y zrcA=uwMlx@*~1_%N|dgz(BjZC{DtI(`}3bLTV+I18|K>T@*w9r{O*4*27lp)9Xpb^jEQ}GW4TR~& zdT_P3rM2yCAyfwG>qcNf@qzF|{-K|Ipz-r~hCF3_JUO;SXjG=Km{yjA%*!4}bK| z)y*eXWfejP>=Uzd%Qen!>ecbKWY>_eibiH2TT>_<4E;G-vuE!VOvL3K4X;@V1w@D! zFT8(Vg$0ca5ovt8yqvyXuEaO!MD(jCMxnR8MRVLIQ)mra9)<^MY@bH!_aNT!)7qQl zc$_uxRwFTYvTa5z#q)zC3}A$|epcTDR#2McyT0Mw}i_ zF7wra>8UX3>7X4QDI-ForG@k%t&puXbf%+~ds7Eqw7$KHgZsbyj925`VtpYOFZ-v? z6|r&j8cNmSLylf5OaxTOGJ5H;m39ihtQ%Cf%YVUnp z*=KakH*0y#jEy~0PMy|y#V+BM5yMM9zk0Q}O%KDfs%|>=sk+cOhTYV& zYAWrnM-PuLWU#a}YBoE%Y%tkgFTH)l?5f}E)x2mO3(uZORj(l(d2$c^)|R`JqZ}J0 z6(neuo6lZ0I*b%diOPA^=rg6k7uTqAUZ<it%FDX8Ol4bb>1A=qAbTF zL-Q}I+#o^!9p|jb1aF>AIZ?smiWSID0;`um|#(TDf1bd@XV%FgF?YO2f`md$J`<8v&;l7CasJn892BQiqf-r^} zQ3s#O_B(;KBfDtV6jAyn5czB=5R$Rq2f*>!gcA+4`GI~{)fe~}&dfVGE+52rA|F0~ zT`f4|8CTxp|9=0llfKoaneJ?|2On$( zzn-{rqml8N#6p!ix9Y-h2XHOKH+qy1^D~2s(uNVST~1U*JWas~2f{}H{Pt=YED(@wPQDIqw^(sJ7B1jG?!UlE<`|O06~6(s z5eHgp$chQ}21nr}nba8n;mIVrcTtml!HUk_RcR zCb2s>q^aQaMj)zQN_HH>s#eb+wd$0HBuqxT9sJ&2nuT zq-DTh9>{DlevLeK&kY>SWCaAcYlJ%R$MmtKU*PlMs5lK_e?Kz+QrJO5bC zz$?#^-BSRBoZL<%J)J(FoE*R_2CzjQ;(3NoK^VaY3X7MnJ=cQ?Q>>Dx;LcD9fpVG6 z2cW@}etFqSLLm$tDZ{LzJ8MC@)NFGVv<|vL>5Y|84}pOZuc-*8L4_J#4wx12B>WhU zR;WPnaph?qUGW_0yau@D^ZR^+Amc7zCbO>eM`Pa?-n>-z%xo(pKC#z~%xfO*kaZhp z2ddGvQJUH2J-MKX_+7ePCtKcfa$j+Rt#G)vn%42%s0Q$V=>)@MYAz7|JMKEcOP!TkJA}$8lbVI0greRoJrWw|UNBEvi zSL;va-EXtJI5mjDfYQ1{(V0jE$ykCEIvXd$-5}axQckG=dBxPxX7>Ln{f#dHAjAi0 zWAzkPW46=2`kOr%Y5ieA;Z|Ki#DT^!;$r(Ze-Nse+__mgiLhi$Txb)sb=xv?Lvh@N zNl4+Qhs9?RSD5)=(#~LKBqQ8G0ox%_P0|{eaU8whlfs998PNDwEJj>Ul!B;0Mh4@+ z*qY1wd-i9J6}V?gZ5J1sElCKW*{*LsoD8IkAOn9$JUeC^bONv5iC$e?Um@IRZ+3Ey zK9!7+{qaF9)s%B!+#}R}OL^B0L3&+y+psAnAFOwVUR1Px=>>S&8`7f=8%&3C2{C0& zKdZ*>fEz#S&6di?H@Mw=!A4jTso+%7$Q=4ulMVrgTs4tvNIImziks9YJa;wbUps%s zB52?F9~%HhJ9HvdHW;^f%hGy!U{>6H;pm@v`#wP&!sqy-4GvstE1;l3zS8h=kUd~e zp}RR7>tujN;CdK5+Y3^lc1aG7Qh^U%Opv%tdHoFLB$acV>2;g z+`xl!X8&lBE>WsQ2IWI?UYSV{$vK+ePUwvY$@ct%{|w}j=Ri>btUb}akOFc7>lh?_ zBaF(E5HO0#pQeoWrIfk~laYaVSVM3Ha)O3Y$WhCf!qRtF#BEh2zaa6Pz>fNj=zO7s zAQ_)qR-GU7B+1m6?A)HUB)3+aqm$PpkeG$QF0yhvS){%h9BuWSBvZl|tj@jeQ|Fud zGT|uyY)^g|Cb6Z`mX%8q3~;b2v+9XL_+Y)z7qr2=TRHaS>rfk^E*J>tXQnY`pd1_k zfqj11#`A#*9u;o-wSf+gcYu!|`s_^5l~l}XQP~KgUR9p2Dm~0E$yV!Mzph-W7~HxP zwA?Q-~=M-{yXF(hA8!F7^y^KjwKGY z;L4F%@)PRk{x_2E`*!a3@P;HOfFmm=EOVWqJ_Lo->N6@Q3~iarsI(_f03yipD2GoF zUgPH#yqOka2!m%MxKal6vR!*^MLp>gyc(X(fej%U#lu`Fh}62wd_wzD8lZa=2$Ads z{Z85KFFR}kL}ttJ&!Oxg6jw=R-bVPG-%HqZ*N;N6JDjt**nbP^n?tHBYHIA?XZF8; zf3KVm@$MgQY4x!cVSdJW7oPpIQSPplhS8yF8M~Vo_DiM^+tmMow}s?o|8ETAWc)7} z_Wwfzm11u=9gRNd>JNz56Ad~aIOX|}w$!#*<4r~CwpzoIgrgYY>fok5zg^_r0s|)$ zrG(I9PA@FIfk*w10s8fOI@y^q_m^Ilic%Qk(%ZpPi-cO@&?D8v#wJvE|5~XVaKGcP zW~Y)2uFERCxz>u@ccc}aZ@!9+3F5aAE z2_wPaXpmT2UThmZx#}yPEE_vV@qXHMxA)^A?(8c(SEPpnoD*Q&dKLZUihA60!i&g5 zQDxkF1ufxR&{0Tz>5Xmo!dr}~h)TkZ{}UGElf zpPR?Y6IWa?l8a{5emV0vuY?0I{T+t4O;4Z4k_u)XVha=8o{fmM(uYeycEoV2h_>JQIXfSaIKwq6kR&KwtO|Z@xQAVb(ghnD%~5 zGOtIv%cbrx%(qZQQijdlkQT9?0~A8C^82Inoz=RMfw(dP1-Ces*PjxZ#G*w~XKF}T zHRsh)v2aQQCaN5{#{G;o-ne}^FMzS*Kw@ApURM_dha<`v9{qjD8cz;bF)eKsIqeOQ ze{LbVx$?K;L<3&D%E!{_I!oyhPi@LalkLJg9L09KZF<`cb1}zrx(fMfzfmf(@7X8_ z%EK*asa$-nd3_eMM=h7ncf&bBHzNxK$2#)^!F8Ka zp)hd|k9>?emE&>XNIp^`vxq^sa0t75Gk5u#Zl-&+Qe;LY>Rz1^vQ+9UGLY(zbN68n zsGlG;xyrdpxD?&E06THgetHYo2DdS2x0Ur~by1kZ=fnQj(rh*{QHM+&TY+0ekwY=jP8Z-|9g(S<4*MtHw}*xs{-Bl9 z715^f5a8_?e#MR7!i}a+{H#^)ilFkG3XG`M#DXxg2?0FPf=m>WmntqXN0c&|FMdHk zE}$dsfQiZJ1op&Ch*%r#``#8Ypp9LO5C&O0-)I9y%2@c9;=N+Xyu0Xvad`(f`RPs ziwxvf`5$UV@!)s~QLb<>KHfN)dQ+3F!ZMGmc^`x30UMoDho#^D3Ot80r&(kGOVs)$iqQa7c9iSJwb`+QD8iw&urwJ17i_z zPD?Hbp}5UM<}3~((6Qj;&R*cr?<^WwPErh0zJD;77gk8IhDt+x*1Y)-u-f^f^U8X6n+LnXRvuEHi6!Q>PZ519EfD8{-`%;IZqy8nPC zJStrnGC+tiBA@0uS@Xk-TE8JU9vBru`5bDV|#aHPy)6R5k$|$mHLHp9)LS#7~ZBKb|R`5 zv5&}Ow6&QA2M6*9t0J^OWIS8<7NIuQVuCFqkBq=%&LfvjLn~4KX(tgAHZZ)&Q~(wG zh!1dO5p40pt{@i;CY2a*{RjrXT~v`B#iNbExpS*#8m1Bn!gp57beS!jk;YXZis4L? zZHL;&*o0xW(PH3Ag}8rAA~Coqv6JdTk34?#UnK(md~D+W7fwxiOF~b=1o1e|5^09| z@1&(!bDTjh2RQq2(J!!+2s-qR3K>!YAOm-aelY^fgyU9A+0Xmf8^oHB4PQCsq;)B2 z@@Ml59EnCTAYeq>%lu^;gc53gi*7n-c98Z9){5oiW%20>&dGnzlU-d%M3k}$Rr^7Ubqo$R?19xNHnW9l(;^cp6{UH-J26wG;fa6tE3WGoG7npRt= z4WG%o4!QMJw$M4^KW}Th@A?k&E)<=#H_nA(wo}-i`tV;q!Yt-SMJll{9_eVC6JUUq z4`Fs_zYd2o1j^5;6q?QUcC`UY$Mdl)E>D;3w{#`~{E3TbRB+!XRHgq$BoQC4Abx}*>$4jsjg=jF(u!)~-IQBEQnG=Mq~ zH7G)8&yO}*PNt%uJ}(FJFS0wO-rH)DNF^#sDot(pJ}R}{@jlRDkoCn;#(Uv#WjyN| zgU%rz41zxKDAe-q)bclbi)u+DDJ}`vHDjVhV>*ra2vGO~KgZKE=S82ntr)gKyX>~Z`TrPxqRu;n)TpCOTSD&{_! z1s$-+0`pX7H^xUPraF?+A0-FAi%korcJKWW--XW3+m9+QY&Z={2;XiE9PL| zu{Kfz>*4@9=d&`ISzlaO*XSwB`)o7B0iSG~J~J(tszi>(ChfnE?HjyRv3=*H zQ(3PhuDDVj*+GI!pVZ~5y)P_|A@5$>1Uy-_Lyu%Bv9m(NhgTHD$LfuAP?1=euPCN> z-lcluq+uabGE{OhQI%;d6V)G1T@qU#%F0|H%P9c~k3DnYJREc2I(sKIyl^JHP}Rj3 zhbeANW(roJ1ZZROD$rhKh5E|EIs>t^?Z ziu`z1I=MWpqI+9jc`&_mg!SfuKb{kf;(YKLY%e|LAnQiTs;&4~>2I(IN3?D^)|SiF zXvgm_q<09X*k)l(lJ@M;dGJJ;P-0HKET8wv(y8CSb{sEgoxdMWPYPJj=~E47I`}{A zH>I1{Xk|_|=EZ^U5(>+(GCXgUAzc9N(t*u}MG1`yf8g>=#eA?AqoU%j(+Gr@%w3Jd zBuNQue$1syR({X}@UP&eY<;(AX0<^9jbKn;Ez1m}N7_595*KvRY1ntJ z*p&76=e73?$Y?M_tz{uL4dbQLk3$SAWU^lHD1zNCjNd7Smwj!i#Ow#*r}zAbMjM^P zGg<16<)uUgVv>pT9Qs!Wqx9DYgbB0IMGomYbN{3$l=0@`6^N?DW%i(#>tS|x_J6<- zIi)}Un?D#CSpOS<{KpRc-*ag3$F0c!$)PQHLKQ)5H&Q4THT!K2yBQecaXetk8GH%S zHk4m1EUX@EJk-gf{jIR>bax9JVG~UpF~ZZw%QASYhjshc{q^;;bEf~-fgFTis>sCM zf3vb*KG~$aaXCG3eJ8yuzvph(w~s%B>g9JKPPgvOaG&=^biZZi7hrUks2BGB$7Jx! zY1#fYTtbRo=3=F9lehZIm|!%oHoo%+K2YIH|E}*pH~V}0#tn=M&dtaS@I|iFRowge zwyvi>*lFW7V3u~5cQfrtuDoA@3tPDj@ABURpOP*`p-%*c~HXxA3XO8i6uc_N99A`tseyN!Q|dqGWNF{t8&q{oMjPZP0KQu z6>gdXuxDL7m)?YB>XcgYnP>SI6u2-pcmEbn(VHtj>jP0MUh7ijzWJ!sdEPnXnMDmW z#~y*1!d}9wC9O+nO7X)AqX-+ed@Z}h5B8;yZ}y^_WPMtY18<1>*@(AGV?yqBh@S8* z49zdvPxK9KJo6=if}0iev%(s}X~jl{+RHVAf`x$|tb7n_WtCktoC$gtt$8+KM85Ix z4?iP$jJ5h+^A|hr!k1OB@WR|l5?KBw@fXn14#e%Y0H)*01m*w@2-;?Qv9?1P~e#LGUt~j#4Ze*5r|eH+5hb6=a)uXM6%OPb}e*k zL;3RcLDl=UMCHqCYsh;&C_9?))D5@|HlOF!%XFk6(2vJ1Y-~%VsdT^8aLc+#V1Fb` zTxz~}J-8avMD!LewwclclowDpGkwj>-vcJ1G(HTQ3H8;}g&$DyA$0Yr0De;r7&>86 zpHd{&Tr|0v4elR5e3HCB`d%c;8Vy!w{?Lc}!ZPBT$K;o2d5}N9Xn99~7h&YOi~bD| zS?qO^Be315@6gi1WKyb^)FRuRb(`z`Wi_;qI!kMr%~fz z;I>PMI~s5}zS$7Z8yp4{TSnEc%pCWe7jo=C-h7+ssdzfP5kyD^5Wh9&xAwV#Dru_* z^M2=@(+>6m8F8wxDV~mb4&C{lou_=3=jD!ydg+l zgDhIqE4ildM+OfU#*fn zGGL!_^j+e*Li;)d>HH5+0vdlG7?IZvzC#9mijMs-kMSzINH57NNBe2D2D8KQm2UM2 zfJe>q4CEw~uA*y6V_|b5kI*TX_1hfAyu?$P>4%8k)i#QD(ol(Ha&_GElOVJK|6gj!5V@SOwymQVNN>nzM4{ zb7u}RAiDoc4x{4Bc~`)0jA~uT0&F;^%{SdW{wLeIGYXZ&VfOoOPHx+CFFV}K?TTEv zfh68btMGup98sBQ%?Sd+hKq7wftplfztWQ~=3nP7#~C9gIe7|j8_f$uD_dlQzbsNX zMQB7DIDt7B!l@Kc$KS(1kIFKimz&GUYu|Y3e6VHg_`VBh#*G_48}!rN7c&nxgGgpX zgOv<-dm8e-iDNuX+qeGHF9L=bP%*c0R5is*9=LS&H63m+5rmYkwX=NvF0VsK$LlnX zE7qBbwbFcy-*=DLdKAB;h{$`@Xi$ReI0!F^PZ&~$JtU@p__CDr7HUm4_t0kfPy+e$ zMYS@9&b~>NV{^q%s+x{LLp=O~Z>jFh=ju^-C>t4c7;XNz<4rSv%=r2~NbU}+3I?ap z#0VfKLmU;yUMZ~EdIYFSgb0e6V8NJEE$xcXiO!aBh^C>;U1*s#TPGmxQTG^p z6oVHe*b`r65Tgeg+*}V?y)7f`uoSnqX915eVmn%mIg#l#7Wjr{rVQVGP)SRN6oZy# zKe)GmdNk3DJ!ajW()f3A;;JUYfQLSU+LI0Bu#FV@j-;y4E*}R2g)Xr1QrC6w^JfSQ zbKdO)N)iT;#S+mQ8eJIdnO5Lr+{*%#@^2wJ1eY)%?d?Fe4DvYC47Fbw*!KGr4LtgZ zd;n~7K$bhHmMrS}^*VS-L^sOGY>1P#lf+%*UOaEpBG)TTbLZg4$qL~mS>WFa0r6L( zfC6jc5oqOL_zo02a+)?4lH5T9$0rKqf`11##zehGI(}Thp2PZafSsn|)Tc1~XK7+; z4qS!8-fiFIH5!U(rGDF9^>W13?|M)rBQ8Fypmi5TA&UD$3N4MG7)@V>dRx$U(whlz zn|@4L;n^}^=48w93|UZ18X05BY#HM+%LdtTk7NZoIPv}lAQf##8}F#QC!>mtjFFnF z$_o)mArpzAnH|kG0;AkTOx*c772@7zCW=bn^vq{bVK!sozAO}~5$M!LQUrjUB;sle zT1&4*vk<5UJ`NDGpZK6kbd};}72`xd7>w<_BGh4q&#sKQ8*Qy#PpOu}JbYf*ZUxhw z_bqNM$EfRdOEMT>O)DCxT8?Ym3@SM)1ftmG4{C`MdSPq#lUVxe(yg>P;0E6VvNS9$ z?B#sU0@+$dcH-Pe>M}-aq2;<^Xq{CJ^B$XbBdA(smZ)Eluv+JZPojJ&B|8ywNe-{} zIK(r#w{-?MUB18*-2ThPlGd2KfC{O_9wMO6U`1T?hHS z0eCj7!Ldi8_b!~vN)t|lc+Diu&L=yV0mc{E^r{AF^-@yx8c+}@h;cRw?&`y8$j{4^ zQgY0qL_2S3Y3?OAfRn{o4j;%lyXRm|VWf<~LY5*8jw6OGry#h5IT#afiPYOfGhnl^ zxergw#OqP2_&So6(f|8?oz21;E*SI_98!Hd)%vl8-$zU}ANs3g{n#nptw3jNyFKydyOQdjv@W)oYN+-9cc zqg`W4XZ5=IntqL-X28bn%3uFsa=l79Q1_wC>=+g$d4b#07&?OMny5SmRN zn2OXiwngKn%@UuEg443Z9%Ca6=A?bF*jx9|h(P?<$fALBx_!vtU5`zZ{}lKn)bJfM z*lp}S41rVZ{bpP2lA8zK+C}yJhP>_;EA*uc^(JF^j5yL^`?n*O(f7N+ReUC+TOMVu z>>EVpQH$}`1OrrtOt86^oolG2w^9a0Uo?ACZLK3yi#wWb`Y{>I;!q1de6Jv=vc7v| zXfjRI*b;yWU;EIU@CI4(F;Z5joeW#Oc|!kLwQT3R0juGfNcQm6mIWMbG_Q$i_6dA+ zJ=5B6q(4g6yY1d1U%#F5ja=w8I_PAc z_JM3dk?*2|8G_V4?4`^fqY+@#f~Y9r?w@h!MPMii_4oPw58{}-f|BhmS92X+Dw!V= zX}*VAmSDmjgGbXw<2q*Kx_ae%^AgcGq)KZC7I(`FW`A0%Hwm=xZB$R|8VODCFvbS? zCC2qS;z*cxh&tD1LyC;8fYn1aP+%IDz`MbmIgV=3dc1NR)g9C_VN9JBPy(1bY8_jM zKxo6{stV<_28q;mIQLpff8dQKS#}=jG=EIlGG>i!cK}U{F+#T&C2E#_v%Jt2&cP-o zfemR;AF+&ES-x`}Ky!)&cECee{jSClV<`v&n1BI?-_5bR?c$B7+uS*CAX4HoL6gg~ zy*lvd{1TOBE$`t@C1^U@^0J69+!_KVroD}IW?tVMu?hbgjPADUXDAHS$%PKD+{82y z!8PYnz^FQ#=?uJdDqtJo+kxpsJGa%=ZQ9p!@!2_V`Xl}3S@yz3%G3^~W5ruJo>keL z=@J5w_Y^qrahGn1my7zP{ZccjwM@vR&et!DY7_0;|FX8{MRw5gdqg~KC7;4DF)h-@ zJ)%UE4d?L0YD)dh{U4-miKoMVAs5E~qE47N**X5NSHB^CoeFsnh?(ON zT{~%tj=WUFM?%V}vcBH|LzJd|l+f$v<$vr613;nym)GI!`r<1nXvY!b+OPBD;P&(; zoMbz)KmL$ncW37=sbBucBi*Eu9<-s0+C9I=|NGO?ABU{+&6wM*XE!|XtsNt9&FxFO zup4p{?ty$fu@`Ir8?WV7c|4+yv(a2-h5Z( z%SY~YpuHcKD4l{eHxeH)qY|ZdLyjv-kU?L?mJ#E^`kMVAO{;BiZ;ONF#x7%tBGbX)ZK9 z-AgPEq#&?ii4H8~7ozUITgR+30yA_+1~DGcHT*5cx{DqoHX4Q_0_zq6@$j-4cFcLr za0P1J{*{XDGPVU~PO3i-nx0M7+Is+}bd ziw_y$KJ12H(DULYs{6@Wp`6GZ_V2+KO0xSuP+@v)#uH;MZ#7Jp(0`0M@4d0UmRvAm zTd~#J8QKg~+6qF$fDI-qsc$(F{Q~UZuNBIA!V6GLTSx z=eOKrz7G(9cw-^=Ywq=(lnk*yiInMt`dWJmqf|AjN>e3SkRFYW9zs$hc}GgqAmE2%K81jzWNUG`Mpy$H`109PmJO4JM|knI4DUer0ywHB8I5yrP=;4XsfjDRUlJm>f!{+CgpfQa7J>W=_t5T zC-Y%E$iafW1RpYnTnVU{c?M_m!o}WL)es5f91i7vVHeq?M>Bgz2$m}_{^sYjO{oRrdee)l>58zFYJD-#9FG+vF&{3Zj)>p6(H%~b4R+{3zzuOIl-8K4-*84UTEzgg=FkVt}+UUmjhBZfAR~{<;hW+3!F?D^+-`S{B{e zXX(z-pB|o4c+b=b?7tsujj1kx!I#5Y5oox0vURFRKSMj&om%xpRIRG?`!O<0?#q6F;1m4il?P$}g>Z z_WVQq`SKbMKU{9!`JnE-Mf8W$-s}O03MG{TR`i6jLDtwnP}a#nT4I4bw(RSCwJYDD z3)tftO(OFp0BE;=Bd!9*l5d|kqo0Q&9OKAl#(4>+yIUwfK4pW9mPaV#TUl%jX#>xQ za+&Qwzl`B2d5e{tR7G4t;3y;u8B5jLv-4f=yoA=97&K(RF;p?A;=oXbFt3G$Mv(iI zybUwR8b}Sya3R1Zp=i1`?Hqg=)tL$Qd^L(b!tl5`DZ(eE#dkZYXx9aYs6Xx-6?d89 zL^3|5Lj*~J((96Go(pXWXf~joHqQCgD5?lSDOO2L`zn_^ShP^y*NQ zXo#9e{Q~siBLCN-bhcJogG8FXlOsLDC)lo9fF!xl-koBQQWW-EqI&)P)m6VdM5e$^ z!iG{dsLn<>m3m`ctr7akYhQ@1RW>`L1v0xnET;pU$Ck7e%$Z&(q_kE}apUG?>LEG( zA{$j87jW`3bjkECwk4WQ-6>m@u&I|?hOMD=Cpp1+l-!i!D0EI?v*$Wa^9R`IXi50> zBD#*q!!E2RKocnED-oLys^wrQ16p5y`YL#S&gkOM-jfFN0!<>!B4vj&5%OBawU9+8hA(Bj(AoTeQd_nux z9N1Sdk$~ngdF*RPFr|HZIZi*JlREuxw3y|^=d|~)4CT4O$e~m}Zg@-Mp|PU7mXcxy z5Mx=LX1$XEqKXhB3HO}rWJu%fff&r1LMAsT;?Gs|#C|McVa3X)#;`2>RE^SSN9?|# z7v&?{6WT>Ezog0x2)t7|v;X90mi^>_n?eSO+ThjE3=VYA)_+=M<+e^v3?ivpwYxF4 zMfdG&*S6f~7r=`9V&BBPNViudnCM2mOMa@NK`hk@hu}t15 zeY^T^3&AbXV9DN$!yC&dJSYoIuCd&>1ut5=K`0!IdJr|0S$%Dze-nRA&8kdUJK@%=@M(Xo&EASp>jRr0M^f5%`hl#r3q|PsVdGMOY${1ElZlUh}aW55VGnX#W)&B=7$iIi&{L2O_ewsE73*qB z-7_8Ci>X)-eShHNWv@{@Y?qgyUM1}Z49Sz#eh`C`QDBHY18 z%Ik0ZySo~!ajCk|lKvGC8jLKZ*4Q!%gve)gIM8b~pn|JM{8;1w#?BkwCWrLL1GnovxEn} z(_(Mvk!^!Ol=lG^hxA!>zTjTaX~DcZ|N$pwt7)S(2 zBCW1V9E9g^uB5eY7CWcJm!XsDm#a!hmuzxV$6JT@7#UgxsA$EE5D#9Lgh0fDkgDMh z4}N>d7eu3i#qL@@Hk8m&!xTWVZMEJU5^KVWih6#L#&%y=*6gqj@BS>j^|GI{q=M1R zxG41Ih!NafxC>gMGzzpEB@xdP?~B{QaI8`@6I0My$-we{1e)#|5E;hsN(Y{33uFu- zlE7AdwM~6@x4ZUPv0D@#7#h`XYsfa%k!-VNmf#>KJm9babtP<{Vzazocru&#n#yul zcb{UOGUE*MIalG$59x$Z>@#mGz8*sXEt-9eAbq4_5(m!6{%EqLsRC4IX|$*KafUvxWHg&F=}f$NMHg9NtGr$JQy(##YZ3=ic{RTBG{I5C_t& zldt}6zc>p6lI_rE=aP~-VxQht4u3{W3&O)S$D~RXLuFK|Hk3}?(!yoE(qX+I-W6b3 zUye)sc&m%kJg8uz7PmPZ4}=3Qe#Brw;Cj)FBOg31vn$FaGk9I9;R?5){_K)jkg#|J zuvYaa>#`z(iGYo3Ce5}JuM{X`Em;RqEUp9PCq;)VOUw#MW%`GCt(2_r58T06bP+M^4L7xUm~b$wmg?6} ztNPdvwZNQ^#zjvO&#v}pp4^!4i}Ut1&F8P+y{#DL1~F$S*D37<|rzq}R( z*uOWIeC}@7f%z6A`BDZrQ>J&8|8X{(4;vph=OTe$~sRYh~;ThhuK zGG38ER-GJwY2j<0UlNYLLuo#yP~TqqG%}+0^^5kRKaTo99#Z704_OPdm;NEBLnnEfDAYi9RT5wK%jRmDGMpU=oy|88kRT3UchjJl%Ooo z1)t|Wauv{$KuL0;K=>I9Y4h?#1OP6r3y|I+(S-uMg@^hcJ)CtgOUgzpl*D$y6YZmX%ns*93h{NXr$Ilb@Zt4y!fo4oIObq)Bz z+Xp)PDZ9RG%%h#vCa1o5+>qIam(p$eW3USSG*$B1$yRTXW%xq;N!4v0AUYT${hWQV!pMRnIADr3zyDb9TnTpa!$!@p@}TNfTe>@9Utok zXPI&&e36&l3%d4!i3t+!&rT}Q7im9LxyH8VM(Q+OXnV5($(I5fz-9_?HDv20Y#b z84aJKA`zFzzY_KY&ssb;ZM(qtJ&Fxnptj;IVa4HwwnP;iP8`I+hiBEM^*2UU5_RG) zA4kRbgx=fmIXPy1es7U=>T9}fR=>%ndHnvVQO%85f)IYhg1 zK8mg-G#8gn6{w+r>w5Sc7zts}B=)xmjuq3;L`-B-L&G3)8RTtq$~W*&&po4i;8(~N*3q!j~Z6dn^G<3@y7 zQ`vOm2#5R7_mvm5YiSJ2MBd(BFNPndnl0Tr?CNV9M!i-}EYuI4FHh};y76E~z{?^; z)!f&`rkw=^;U9JTJ=tq%Ujb!)SWTikZl+0qP8(+GrfY`5*{!-eF2^=nv}Nxux%!hM zHsUimIS;qLZ)JOT;n#$f6vX4FPP}>gSBS8c=%6*BEw}N{rXMFpAyuIVD`t8dh zG1~FRfx^c9EH4h4L+AqwyS?cfn;xWJd^=mu~{biV-jVaA65xL~45VCsW; zWAk{{(O4uEJd1Uuz-T;zQmTL@2=7pt?ZY8Bx`SYVm_q9U zT{O{2Z1QnJ>mT$JQ2o9)p75Z1tZny`iyHW1+yNY9!%E1;2ZXq%dRqYWR(Ci}#8K>Zf7j!Xmx!WQ+z9=w=t^l~Tc+k7Y2!Uypfpcl;LY z-rc5d^&Uhv_Ad-?;4dW~{^9;k!n#)LDvaw|aVOy|Q0A>vMo(Z@!XcfEym8Nd_AV?g zA>$QW4)XtCfT|LVIvxWwm_0D&TCZ{2GG7~UJ0HOX^(@p*aDxAiiu;HqM70DMHjnzu z7+PQ6A^?`iMlPuQsD|Aq!4a$HWTdAzZTX^@%9w`k=$%j)XrjrZtu$?|JXKW;6gd^; zqefR{)K#%nq<^o!U2g(48V#OV#Fk8_Vgkz$@?iu0YsWi8BeU7~u44GoSXpJ?LdB40 zJ3;QK%#gGjSTS?rsV?X47Z98*%@>%(cHFo6y|LfZ6D}V$CKl=4m<5WOv2m%`h}YG@ zGzPM}ozf6jo^Tf;e(ymsv4x{FW$cwp9JRrc-_wzBl^w+t^q&wGcNVafs4&#-}0;R#Vi z8MpT<@cptgdAleqfQBy?5JsvZn}eqtmI%)CA_aZSTZ&C2gk81jh+ zs`NH$uu0Bqiu`RmI9~8Da)fu|+7Ljp?to*1qUHho^t!9#BX_=@zkZ9cyDSX8rWX<) zB@PQGzS8RL6*SYo=N3{bk+Z#Hy(d59G}o4P(8Wb&SxM_&D{*@rReTzwy- zoAx~14cU#jEJ$lDCtP>^MUsz^y z_uO)OlR>!{@%8caKNEd`YEU-J|DEeGGBf`N+xveq4jBp9*;)RJ+A;m3d`yi0wflGY zzm^1ytZe^l2db-*H;0NP4w~B%ifD=(C<1pjt^z_6uW)5dk zMz|C$Z3`tzVWtvgqz(G^n6PzZjD_=gE29bp>RhMI1Ril$R<7?X|L$jR-|c5l->ZA| ziNklfT|EnqCfx`G)lk?CjDt`hur@Z=$mArjH~~lgZKx;@zx(1|yh`>(LpOM~p5Wv-;)?NidNGi3TKD>Z@Aw1~~e=v#Hz+46big0mwHj|lG-hWwr72Z+BFrH+q(Dt6lvzP^Vic1D+bjy;yiKAyYkm`~=B7W`;G%dH|}`!_Id+pSMrraZW@ z4-UgTKABc=JBo2HrF>yaLvfZ!9IftBY4CEo>7qR(hLSX;3;iPPk(fsI_a8Uuyhce% zEpeFD;Po2nuD)r%S-f6;a~m3df@*U)J!!wM>c%ZC&s3^0-hR?Y|KMHAJDq}-ZGUyH zy(pCIrOu_Acr`g!P%|3D%KZG1lOsTW_WQ^mYLqQn|E-nRdmU^vbT$J!}a6<@CA&s(YC zBgsrl`pXpZiI&}VLec;dq4cSEjf`|JCcDb_gWjrRxV84+{GUkt6mN>aRo~uJf4c{3DLjVR&8r9W243}_iy-8h9&wueHMJkS)UhL^Lcr%VQ|hQ78tPxZ1x!G+ z@RMfM(06Lx{{6{}3py`|mRM3Mqbr(!l$2~emp0eKF*?&U1NWZh!dy&@&SkDq!_7fJ zUDDFtCFY0qvz=yQ%p84avP1Q_@{S*6mDJ6v-gT`P^SrNmQ5A#4-|^uwA@o&^N2PB! zWvip|a8g~57kibnd*wMy`CcJg^Y1+O_7yP6bhE6qdymX{i}?9;T)rF@KGjPG7sOi8>$)w1%dk^RoZ4ah=19BN$@iUEXqS_{Zn#COC_4Cl#N&{wGxW?-LJ<1dJ>!{{c&^tW50xg+>1fOKi++|7&}ZZ?Zeb zmUi2iYvHRNnF!=S^p5u}Ef?dcK{BT4Q!0TJ0xK7yh&+N~a6~3S$eBnoftT2AN0Rf7 zbNj7t?&sIfyYH%&_w}uocioKVW`DZ=0-zzhs&Ie87Xe^C3IODTI1%6=kbsb!oGCp8 z2BdJmYQID|3IGWS1QH?&5Ktfh1Cp%L89uPCOL|3Z9Q*pYJcxn>2muKl9gz?P2na_% zfkXiBG9(x|%2$#;@=XLl!0=Bi_nXJp;bW+mXAwK#T|Rpcw1EA2KtLBL08W1FnJb^2 zotJ?-MZhV&?(Z0^TX+ZP7eAnxLV6N2QhyP&YruQ^Z<{(Yq+75c%D$YP0>GU;^0YSW z3A`&q03qQlKye!U)4!?McHreHSg>#`f^I{9EucMcz`)<*e`ZBNoqYv+`+zfl9WMwH zn4nd&k36IW)E(e*?6a>ngmUgq_unI6Z{d6g5`hDJw}2m8gpW8tDEGHpw*0P7b!3nf z*=7|O*Y_X3;Xa>A2Z%vHFn1t`$SA;mJ-s~uAp(F9GDQId2moR0S8##vg%K#Ieng2U zq=0aECXl^|JEAXVF(V@Y!4m$`K1rOO5mre65Y<{qB!cn}`p95_po=vU7=-0+G8efV zYoXKSo_~uTe@P$+1eSI(!hrk*)&gfN{Uiv1`J>Ev&FNoK$tSoyYoX7pI>;KV2l{VL zWx;Ulh+3cz`a*1qw^!dzI00#=?m!D!Id%lv$#;DeL{a5{aAp)gVj$b#ZGmQ`HSCDg z3pd~et?fF*kX0{YREQc>#~w^BG{Ep3hoTfOovwuv4}l(o2<(xdd8-~f0 z3vb~r2(79%?Dfs}Q6!hu%aio)1Ntr?~(kz4UF?phtSLc zocLLGVV403`t&|j1%QZNtbYDoet))KcaoH3gdf4L!m~0UUv578i@?*fFub4U;ouEk?nlS|1Mq9pv^N%QX8Ki3VCXuOPt615XS z1m?J3HqVOkq}<`^Pr#U9%EyYt$OAIn+~mSPtN2d%GiBC1;zs2!G}PY*{`coDzro1K zD}V!MEHt@@T`~<>HseBO=Ap(TIaX|r_Zr>G9@o!S_oiL1nI%VL{kRHFB7WRCkQw>u zyS+!sKlx1OcigREYopA<-FCieli#X)6}3gQ`pi~qv>0n7$cqZI zn}4Akly%KX>)8HQh&Z|5s2J-|2K!E5^GOA)ZM@1~F7o?7W@;1F@--~_9c^g3J^UcX z2<#q4E7EV$_NlNbOlu`>Jk@DEi};AY5=g`L3Do~Xv5Um2`{@eBN^&GWDKuAoy(MJOEfETBq<*m zT&OS{?l_T*i(@+aZ6;r3iBlQehs5q642N3Kv+STU21u-Ac(>Kw14`xE-k_&Vj&IX_ z5V__xTiWNgL*FSqkrrsqB5z5N_v!LM)o&zjP?G(vI#GUcN$6I#eKx<1?20GsjiWd- zQRd@WUb7SRN5{Hvxs>DqWzi;fHZ?|Ho*8J(?ZzwFt>>81JOleBXM($U?HFE3mp0w> zcti{6)TBym$~OyR7m|VPF~0P$^&p|*vV_}MuSeqXiq8V6fxQiG3u-X0{jqduloDXp zxsi-Ts=jbRrGfq%##>pKZnNHKQ$i)QeOHA4y;!Iqi`z*+WA-G$!k75vhsRR$-RO79 z)fPy(ov3;%>ZKR0T!%`HvA^&pf^0N9G&M#wMV;Q1eVA54-?Urd+jor;cGdK&VMLpT z;lkTUSJM}NmfXHY@6IIC#y<LXQTil7v<-Bw)8$kMxDb1dh!!*IZ2d_2067*zhCn% zEwx2XTj{T1=)35f9y9BY#RLlPYzOta@n@U*S+t$6Jqs1vt|k0wyX?VR5f*e7{)B&99-J>zlD@!HQT}5wdfTxCEpFm}gK{OVPY}d4(K%TD#9ADGE8C5U7 zHLV6cKIdZm#@-x`NWcBv(Q9=>>6i6@oUm5n-X`33HaKwOgQ5MyEZ=c(g(LI;)h%aU z0hk_y3q>80lo#^2MktZliQ=UE_9m%m+3L!Pt4?a~lSz~Kt0o8o9>NB?+|Y-3;U%s) zwg!*6j8U5!`uc8EZ%(#Zjqg~-$AwFEkpAp-#AVNW(K=2SWpIuhW~b=C*-9=-i5y?~ z!Uj2vByn}qAI1A?`)w%hc-q z1ZnkbKaf+8_x6k&t6s!Us%UuRUIHxo$t`pb(XBtm6w+&w7AQUr>xG=<=xpyE-bmbs z;|~cy!X(g;Mb#9sQ9lwN^4fgfQr|OaLz*&OhCw>Ig*_z1!KQkD0SAiSM$4bjB@5Lu zdv(=oLS7(a_=O~SX1%0U-z1824$nisB{VEL@A0mBSucunec;oHvKiptaZoj>a&~8> zIwH5%TRM#|2bA7vIJQMHrv=gI%`fbNKF7ijHUe6~liUy1ADQ1Np@~lZ{-v#yp{ig385rYBl|mea zaURbYWNU$=x0s{Sr6HGS^k6hcQ0%~3E82?rD3&1U?!i=5Fi)c8_c!|c?ZN6_q4UYY z+);!Ie5SE9`HdmG@$4bUw&Ikh6cC=L#Gnl0wD!#hgfObZdV0dEJ)-T2C%{sa zGk!Aco#(n%ac;*#Xy1K|ysbN;Pd7vjq#zt}Mv|mb;d71!h(%XeK=! z!lz@zdD`kJ+uRt1Bj%{)7I!!CUA0bWF>QRvhtSnjSXvjRC4lE0Er;Dl^zN>zw8}$k zF`0AZ0(&GfE#LDuuq3W2nMhLVU+*x{lD&=XA_j>W&u6zBGDl3J zM$W>MMHi#MHn97IV|2;NE)@dVuK_4dibn<2yFmO&p+;vl==*WfZeppuKVa;^>lOgz5)xc^Y3b@l2sBmc}d=lD(Y39tqP{pR#2jPfvaJsbS)fJ8+ zDvvC_v7z#OjP;`c}X~4HmW7+$``f#eDS49jp~jjOw{{S;4%q1AGsm>&UC*aZZ$;|rFw>< z_bR8_YAZ+G8bRnirx!#mC>E`XZz&brNAk=aTgidO{Eo9JfD=tQW$E+L2vEO-5}$80 zAzeAqFLZ(FJ<`yij0;tYevt2yG+R=uEfW23+)AECxXh0d z-vw^$j^HP1N_}@c6S^7%JB+cAl>S8S1c-CfScN4J9znw>X%Qbez<+~bhTlp{fNNK2 zZm)5bcOqwx^l@aJu$JEe(>>TkmY+G(ehy66c!N2R+ktuWymntyymi}8bDFxAW?^8+ z$+-|h-2d2{ky=Z}<+DZV-Jq}lp%xi0ZbWJuAmt##J01NtmbdiMVTX5iE$Gy(++_vVUtD*k#JlMCe&4NsZ4ETg3%|OkPT?^`<&i9bY$Vg=wy|^5 zwO>ZP7f$kaqeFJZfWB;J#jz(oO}*JWzn>tLxb$HAeb2aubqNuMc@1<~kcbA;b78&^ z;QGJqh7K{PTd2 zIaQ(c;L)7&B(|{um=|Ne(jzzJY6k9QazK+BKjW1@m1i$)R;PL!S z91LZfX^Tu`eu(H?Cp{d{0=Clk;ueJ9<0EN?NKcQ>nfV<%GA*hnDq&sqtYDbV%6PKe?HI6c1m~qC?1e_%YnOiEiUmr~@?ivk zfM?M*;IB+)dw^ra!rzu@_Z6k_t+vi9AyJvfeT}dWvdMq68!Em7&7qtA%#=%Mc|LQ@ zqs^gW-JaX0_wlGG*`?V!{TdxAP_&cjqOM6e(v19I{661HzYAcM1u0Edw&83=;jc(^ z6q0S}OZr&z&I`a?V*Kg7M~8cY8xO48G5#|@i3r|9qN$E%)hI0DrH(+Bw~KE37|Oz0 zyj3b)=coQQ>-I2SmL7&9p-Syq{jc%Gc^9X4J^mhMGs?ntzrMW(>h&I#bCo2&+Y4VQ zF-6rXMroPc1Q<016F|t8@lTl-4~SjQ7uGOYgQG>u_t2#~*RG!I>iN~^{1po^wqOkF zDI{%#u48GG5KW-gPG`>pV-2X9FOA&WY_qzoL-6FLD6^Yx07^>oKpj(4+0`x3&Uo|I zM|>!sToH6u#Pupf?~zx1|Z-n-+rIH%!( zxg%i;tj-eHrbuKIhA=wlVl{DOP~buHqic>+2-HSOXmrZ=cJjG?o;r<`J3F?jtp5XQ zPKsx|n4r1ZlP4qbg>yFa=voW0w3(?s(@2I0?~X{#MPXdlm|De*QlJ`6abVO_VYe>~ z&F605U>a}R$5gC4_DhtR0g^iK%#vntxFblP-I6#TT(9^)(4pZBzd zMz}9Ew{ek^@ox3fTwWZkvHP%|^;=L&NA*T?I0$R%)ah2%G;I>KqqZLTUXK0e+??^= z{TgHvo*QHwZHXrWbm@tFh_BU61@3q&Kt1D~G0Q*SBnGVz-mCYQFm0iWaI~35E$d{*AbBEh#bd6{&>{fi zr$o)$GGxah*3i}l3eWO9a>Ni^3Ny0ZdrhD7e4e^ZJZcgQa+5OAU&pkDncoTdeHpTz z?gHeVI}pOiyGN3r%>_}b-`B;Exv!>5 z+?prx;V0e?ENSop3iQZrcA%l5Iu>$^+q`Ve`BO!99Z;zr;ANsj_EvtP`?X~|z*lG* z5#Q23W2_|58s3k3sMId&9y}r-#f>Sm$fD$=Dp!k8QA$dBEbSN7=ojI}bh+nJWOQ8s z(JJCk1*tRqbvG8N0j}+9c@a%y=hw5R0r$lC{VU6kjfaKqOWeiVyknI_$h)Uff`Wq# zRF%(`JNm_FhDa?sI7!?NQOqf$EQebc=rQnci~6#SM1Od7Z+!TkF@0b+q)?8_kFw%( z41GABctURhm2r(D)IdDws9o5CWqM!SrSqpolB`xzA>0iw5jJJvQem33-fXL>o0>*D zx;=93Q`5@1gr2!C;4?j>`#NZ}(Z4m~8l1gvYxCU)(zP5MG6`>G2Jdz8* z=utB7*C-I_eg}n8F7Ap*{m83bO^4@6sn#+%bAsJ;nU^xeU>0W@Yy4xOx}54NpC=mj zxl}VW0^8{6lmpS4nv;@j9ZYe%2wh}Sl!m(P ziLJ4)lf0}aa9POGb89c+=G5>lT?QoY9~Na=_qUSh48iS?GLr6#@dbz?=#2qx!w znG}>GVU06+9Fyn7DiVaK#$Le+q0Zf1SH0T8DoKay#jYu|IB1ks{m7?WagSWG_O|oj zx0r>pMk$=l{Gxt)n)4bTg08=|WSsoq7Qc%!;?>=R2!o;Tu&5jv6!|7h2t zXSF~>L(0gh%DDYP`%*la2<#50yAP7gCHA;5E(((<|9#DnC81{*+EN_Na94IaZGk9Y zIK45@Soz@<;sF(UupzqD2+dBcRHDtlxMBtJaop_WBAt#iF%w3Pw-rd{7NfP_=1bm7 z1P0fA=F=-PFY7C4TPSu!-DFTpTdl*KDO$>{JSu>h`<}E9%7WRE$O-(p{Q{(iqUl`x zL)q#K(@)z@v(=Z-vW@*#8jh%Q-CR(^;*s!Mo3?t(Bj?;+g?{2H%l;oNj|`$_E$n9l zb#2wmvKl$kvd1V|^kt(&&x*;Lavtx& z|f zg=8KDp@S%>B|R}wCSgNfdM{A0tU7$NH*~KkNfpVa+27ou>^B-J`(7(sYrTWPzPJf~ zaL_nX`U##mH$|}~YdRU}fG3$dqLSjRNZ}QV*xxebaMXcf4;%r1L7Uw!N3kP`MGmbm zu%;MVj_X}t&7>avW6HnaZwQ=G{wH1Kzc-5fQ~TNeLssEn{y&@lR8<(6+5guDPgf;N z6=Zb`S_{ROdCL}Wg<^cdLl!1c^En5v*A{10a z5qLFgTaf|-(P)t>8&!pb(n-V`qk+)BkP`AEOU(W|J+E1>+qZsm3%R(mW>5XDU>vcaA{s$lz`yifGuBV{b;f zpeZ+?XL>IDVTd_UA@u;@lJOW~(G;DRLx_k_7SWP=6!JNXi-eeBEP!+(%IX5mD1{L$ zzz~Fp_jx*0ruWJOdxcHUfs^uqC78c;V}kV>LBMGe5)f0$rB(YJ`cTm65gJf{7bKv@ z1@%BkjfOe|fJD70!DR0kA`lbB3_uNvFsr0M<1AFJnWG8)K_(!B413>lMg<%+1l=RO zS@9SSkQyVg={F!!goRn1adD6YAmF{q8W6HbPwpTg5M^TmA>4>Sq;za7vDn9a4TF%B zAc*-w7>K}~|2o`Enf$^KQRg9!U>hv}$f~IUiV4C>JP0V{zJQdD-_QtzOvO537rFsS zBQ*d+F5e)d;3z1aDB;SGwq3VA)z*D51~@S*e#t5y*#a$-IIz+RCKPaJhDm>EBaaT5 zGzN;i6e?JP$a^c6%<*TjaH6Ri$6dGxK0Q4V;S+9veK4bGZ&9I+m@pIm4r>!5WepOg zYp{V(5(FyBlT&GAb~O;Hv$`c(c17}(vz_&=wL88KUsR4KicJ6QyAad51KW4J zd@*u!pNYN9$+F!J8>^*6%9?C_Mh(Rs=7+Mxh47QAwef!MmW1)85;^_D?Gxn=r@^z) z<`(!4wj-0<#8mqzn=9W`*81}*d>E6?Hee4?96;=!aP`OLetY_1l<>Q*{RQszj(SUE zF_)7`FESe$Z;7!s@3P5*XX`;xQ2YQ+EPwaBz6gv~G0tW`-x{=ZM9sCB%C^RH1d*&t zL8+akixsp?6Lib&LU$8x=8wPCsh>VdT)WwV&Bd+%T1Vk=+OvHS8pi3d_%pfioU>N8 zaE2{fYn{h(U(L3m8ztc-3fq(SzZ=2mH>!PxkgXNS2eO?K&BMAScEHvf{MBwo zw75rl&YjyiW=q2iau&O2Zw}~VebWU>H4_o|U>(w(+jA^8JNoRy4>23Ak0M2$zkpLh zwWjLtFX5{4(R0}ld(q9db!%2yDc)0h?;X8~_XkM8f0V|If7(>KSu?X^+@1l^#f!SlTltuG<2xTF zYmQ$aFN(RihYtHj4q=m7nSTI_+r!(UwE%{VVISD$1#uUOhr5xx+e4xOfxo%= zkhq!N(tMq%%lIr>`;eNg)or=VUU5;e%B)68jXe?26bFZ(CdUp(5CAo?zd5P2Jh_Wi zT|~5j^l*GATv(9o0GJ^l5C^wphERaWhi(Ru0Hy`d(E*SX6cl9P3P>(WDuW*X3kGB` zzdCPfVrKSUb}A3mzxBvZOi!*WxC#gGkroFpP+ye9I}i8(bl=BU4haH8z$OrY3IPKm zQBiqLT|N$oair1==p+E1{|6Hz|HKRqOcP)ykR|}GRzNHur3f0}3m({D|I7gLV=0q* z6FN17x*ulm0;CzB2M5?o10d%oL<2xh0Np#j>T-%5;0UVTjnO%vdm7*X0)SH^V4LO_ z!Q)<=^M~~4=-@5U@E6G&P}$ifv|Xz`Ae$f{tqCh=bGDkp20|Q(gnSKw2NL(OVO9G(E{Q4K8kfE`W4CDppq%@lgp$z`lPO z(`KLik$>>;FIwO)?ZeOR@V9!*&nD?l-_EIjXsRo4uY`AG2wN>PuHq<$*UyM%Lw9oWuUCb#1Ff2%uK=hq zxZmao)d8iY@JWT%PR4>Vv$+i3vN2fE(wRUxpu4PCl)VLWCVi~YTAwS@4>iA&8G@JB zk@WM=PR5u!240U~_sV>dz0UNe~d_jvpOaqr`&$vL7HGQ7TP zS6mpmm9!q;kKvrlD)ye>@7+%>Im9kDi45lh#q*FEi0{PL@tGt! z-~iVmFn3wWgT)4*T$NCZ0Xgx*k@*exi-L6tZjRsI9(3H(d>)n#@JuvCppQxV@ErYjn1ky7B|fL z&CufHG#;&_r_$$GR_5k!T2XO$rxE~}^m~>>B#7TFH09~zw6K$-<>i|EwXh;7ZDIPK zo)6t)Fz+u&RWhc}``_U0l1!5NOdrT<7&+dfK5*dQZ)gw!bLIoIYaB~>BgENu3=R?g z(v?hN;CQVpb1aM*&gnPWZHw`Vt`0*^v{T8ArO!xWBE?!jD3uL+sF>^MI4qKZp+C%u zH%+_<6J42Lf*UeAy!rHbnbD6o#We25S$e8J2ixOm>Q^^g=YwkRqi2wG(L|cerh6O`01={B zKi6$_700!e@YYdUKK1GP@({D*zq@a7jQ}$JCkF@q`D&!*=*z+-H+(_Y z5lSmbAo%_oO9${Sj{<$rh&0o5D!D&>7CUZrB>k60v>yEQ*#<498^L^;Vln#ZC)_2i zc1HGP88u?3DYb}zqeR9|u|XEMURYKC2Z`8H{Xv zR{ecY=lSgTHmnOn(*p@wwe-l|?5@(U^HK;8Mx*kPKyY*4Tw2L&4)*v0l89k7E|BEG*D6OiC$ z>b9Hb?>0qu%}Z!PZ4~6>ssm?l`x5mRiu$g_QDzcWohzb~%KLZcLHv0#=LY*X$b*rw zrasMj3Izssrk+7y59XAlr}3Ql5-a(tEoSfMG;G<}P+8kIcZ{Y|jMVsCk5~B$mjm;LG;nkvw808Og z;7%?BmVM*0DAL+%=yiDM;cAT@frq&3);uO~M4v-3OabwpbOVz_g26HLCm#Wui%5n) zZL^poonaH|JYw40f#_%!JMS&aI|y={6^`Y5Y0T)G=7el2UOh3w^k(LE4RR?!NQxc8 zbC355j#%Y9e+4Az`N`2D>+sr@Wp~8xr*FHN*Gl#%r16lVAp3r3|i5eO+jd#ir z^2RwCcvRL{d1_>5Hu0s+sy*F$eq$jg3XZ;IzsFE~W{zP2lehdPLE36VPT3QQm$*=_ zGk{9Ig}CxVHzg?#wW>qi%x$$g)^hhP4CGBBvKn~T`1+4YY(M8a4YGh^8!0Wb>cG47 z5$Ts?J8UxFvv6$V18ki(2`PS{)TM7xu}8eviMuvYRus$A;!%m$?~xywi_q8WHyLF3 z<*0QM8&9Bo4_~6tV<;LQzq{EzOT$#g->B(qlual6ooYJut0!5k3N5;t)?geWk7G-W zvE*_*(aAZ>mh9AT%INQBK-FWSm~IGF+w+a6e0RY}z$7&dt$IBoC$4EdM{+t$vS(9? z)IOUg3twQ@;;@>@TWyMlcLxana;<}PYsSRH2hzy>2(ClDKVynF&K8>=eLOtFhke(R zkJPdD3o*yqX-`Mvt2P@KdmYs%zo?V0z5C?V-$|cp>7#tkF$t^W@rmpIJk36qX z4Ii;yev>fQZVanaiFa}W;@cJMjwuwKlqn$_w3Oy_$HtBQR1f1h@Y-{ll83fD9TR96 zuSkZh%pHOw>)owI@zBNxhz!6#VD5@lq~z*ylq~!X6}M|wS28|pEiUUmp3;~N)v1No z@JOjLTrmdj^{6YK*tp#3^S4t9C4JtXdvt14GoB_LzT38--CJWy{6zTS=4E(n|C!n` z_NM6(_U2{^bHAkt+qX6+!SC{Ag4Eq(^D9!qZfAw{G)U&P2csRByuE(yx(v~u`B3j; zZdCDpnqSWGrhd+z7#V%r_DgYcAG*2^^YAk&q6z6Qz>}2Mv$3s&r{U|MjIBKc`@a}_ zr(R*0fXnjOwr$(CZQHhO+qSLe*tTukM!z%3H|b>hqU*N)K-JFLYu_}Z+p%>IWfVZFR2$|51?d%E>b~V{2jBC5FuO{hL?fp*PVBtbvH1WRVQLfFC+UIq> zOl6BM&-Klxt0I~!7b}H<_fa$sAfkikV%9dKtl*%|x(ge-CDyn?P?!!~?j)smVj0M6 zj`g)Y+|}C4p+*r&(@ma)W)v5GdZj92ZJfMhGC{&5iV)SZ9TI3s!gbX67@!u&Ji$H+H=Hdn-F1@ z;`ZSu+?}>y?3^Nx2N0unF?tX(sFu1D%*{sm=y8g6_RBGiNaY17iyS$zsWL@naQl#GV!_ue^5Ttu#a4)ihKESdo}`MlejUhQehaCPzkC!t zdUQ>D4WuC)8L*mv?BK?Xb7IgZsT*7&w!0e23@{lGOMFYaxaye*n%1`Dfo)P?utjEa zG3{Kx6p&K086k$k>v?y3?&T9}EAGm?jmvE(WAULpN;{)wOZ3uRHMMe}&>H-VSdhz+ zPU=6~Rniac0gFi_{lzHUTsKO2_qJU3DiO()8d}#`q^-6;z+p5#(>@stt7};Y;<7-# z-ayijyJ2kLKWtc%$vn_v?;aXGLyhP6#k|8Wq3|lqu2pmK*J_CAF@3x{ideKe)Thew6Y`{^@-mLbM%laMo*d@oQR} z!6YljI4A|c0;=kmK2Eq#Cbc*O!q21cKi-d^AEqNf<3L44pRfP_i!L3waQ?`s7HIMJ{{EPS0Pk z_H56~CLqBuUosCdh@nGIyAZw2bk#eU)Fo5Rz&R?qul(JHg`00T9FIjYfzTVLjJ%j< zI_VeNesu?T?Tg&MeO`vade5`KOwI(2cFomhT0~K(PYpO~fkFu6=3VL=G-3t_$E{+0 z0~2LJmRTjnW52}&w(pKg6f&n<(n4o@KTS8mt^-vAO*^!+^voN?3$RFP|ZDxWvQOjr$_Ir zm?#XM2EG=AE$I~bv0dupZBAlXOvWP!u+oqZI~8x_#CO?F8K+&iSR5-zj|OMg!i1Jd zE+?p8kF3AQFqQB*Tu1A!Tr8u7_la zkOO0EvG(^}Lb3Q><`1tSJvTH{ouiuex}TYaUGG?}(=C|3nfURjPZGBJTeud|Zbh3^ z=s(sB-Koycy;&D+vVS&B&IPeeM!zU?8~ycLPn1oG5tZ|Rl|v)X0FPJ3`DNH9TzwfY z1FPz}Z+UIGccdS(EuKH7shiT{cf@5> z;z_JXlLt_KuRtd#B&c&9`d)$?vpaZst4eNZc?V!BH;iL!GSVODlIXaubgRiG`u0uj zO%}_+-Oli!)7grsmFLM^$#3qo`G!sO9^M_w1?ztdr(gZV-!eUa{w!=MoI+PPcI$u* zFq*^;fu0~^Ve5_L{?Z%H>f3}*i~ck$+SI9@02Y(>0brKiQ7$eFI2LaM4`57XEb5Vb zVDgn0U9&jUNGCefJni2wp?XmS%iX@5 z7gG|>XDM=e=ZXB3;yst5!iO(o_P)UL{b5TE-^4dvE@K!@<%9O5syTe*yhBsWiut>p z>Ng^6r#{nGcBl?Bn@4#Cu4khDs&({7v7pA8rwKWA!$8?jAM!b20e6BHNe8E!(Y&}7 zk+AngyUs6NDwy~n0PF1b;U1SYTCm;_i@+B+8_~?L&)>Z_O-CW%H|}f;Ci?7e)x=fI zDG)DaK@t3ser?Uc%VjP-#JNI8IYc7LJKvSaDnTYKj=N>3q;-& zsohvZADD&G==cFS0b)kpIk68y!mYGwaK!bN(80!}b}2ji(h1K4Kt2*wM0n#rHwK)~6;F=h|zoZegE zZ$wjGi=yjho|87y!HrB~`V%kKY>{S)x8W_ZuVV`%LQGmWE9};}Nvnl2hd0FnCzS%_ zNvb6kXBPaLz~cF2Ujlz#>jS4pUVY|6HJG!Qd_S%7QHSy{ZB<}>z%;G!Vcrd@xO*|* zKYPAZ#40YiV9D}n#t4mA=0(xW(UYSH5imH16RrLs_z&>XCMrjg9yYmu`{O}S5AVzG z+=Is}GTZgIg-h%v;PG@=1dFUCS!VK_=HYU8ertwxp2#Te09SkD8#Va~RfYOm=bp{7 zX}qSjuF2wn#gQ~T7ziVSk9uc!H=|q3uk)&HNN_4?A&5Lu?)*J7LfF;u(T}qw=}8qB z-aB5tP@Yi1*u3GYo=`&AtakWdZPR0aI@^#;lgI4olBtTHU6 z+AuuHToaXla}F9wP9t>cq8Ct>VhcJ&C;AX)Zrz~gV_<#5b$yx=w?2d6^dw)lMr2_! zOo!(#u`-LinP|(A0z#{=lsc1uMuMd94Q_z%((0x_bEedEeE`WyFL{VJ*?{@WTxqniX;DO~D!*09M3s+;Wlt8A_fYWz5ZP_7S7|Co zN_Er^%kz12|F_A+g@OmWxdJic7_}b&XyMD5L;NRPzYVzti|rUJ!j-uOV2@iGO6W7N zG#smjtf|_U$Bd?i0(MNww^P)6bZOiYzV>=V5^4nv6~jh1o+7vUX%xk71S&xd6$ zBI%r`u;lCd2Qk7H8PT)41^o4wk$XuM*ojyxB*bm!^K<4jQV&CpFO* zh08%=ZwFib*>56ltZUmbq6g|xG&{jDz#ooQ{HwtLxPgg06NH)lBHWNo@F}}qE!D_Pa$o`6KPHkl4U(Nj)q;bRZ0Xv_- z>vC^cBijf1YI8R$_FEamNQaTN(l*=hwf>ysW6@wfJ8lvbH_!CBlCzcQ+s$(OT%}-0 z1$WK_iu~+bPD;DX8%hoe$UAx3IHA(zN37K|;*@sA@5!#Q+zd(S#KXxtolKd}DBzwk zDcQ&Ir}t$eb1WB>7qWh>)E(J&%xX-CCHSdbn5fvJnHZ4H!$Z}femg%mhM_c(6&Ud; z*fMB|oq1y4$)!#y5`C`&wLMg}@DFhzHva9AQU^<}o<9`5u;9uqhs&xUS&%O=c)AbB zy9{N%6)E{m%CJ&GrhwQ!M&5B915cd_yZt%3?T2}_8C^OKX7zE|{@}oHvxtbS?GJ26 z;i2-Zzb1B?aReWJ?XHz~BHcT>-<^VNm+gvesEoqwcx~eL`duvrv@O9t4R!OgaQ8%T zbSB0yXL;GVeB$msKQ)}3`O?7N}?3^axW6@3mj!ZfIAh^;`GNUc61 z(8dSo>P1;)rja3UTGXrmIL0^HlbnC$q!>Xq^9Cc_s`jjSm*lv^E}gwwf;o@jg6f!c zq?5ct$la`ivPI-=gsaSVp?Tp=B8OjFetnpRy`@s;6`q}g{143{CF$x#m3XeMD_52p z--V+8G$zM3*cuAd#8x9g?M#J(R0binpR^N5Pza^I-l%9Rf(L3orY#&jLhQnON1S*b z&mZ~kbC}JoVvB?c(aY=+vOV0YK`0&iCvutcyCIrIqPha~rLilEC$Rl^(l65&tjAt? zeqHpr+_{MFWL_fr5jHep@z&L4*#&R~IxRn+7bI*t@%@`qP-=fq=9nqq!xJ|UOcNA( zu=S1ws-GfcNN+Hvfke-MRL&Qd`25Q()w?qZ=4}$Znol=dqZM5=63sW66MZ9=0iq~_)1A@tT(Q-`L z)z0=PO2CJ;Yy#!iz_L1}-T_ogW8_w^xrr}*o8BtOwFFP5&q*=0`0h){ZLe}^2 z6~));hXCx;ugH{wSerm1zJ{#XtWE{k#q(X1IvA0`o_jD!XxN)bgLBu1VrVPb7kInh z2}C+Mqb^rmQL-KS85hIvEyy(cg{`tumhgcHkKu+wX8K-IY#@dRP1DE%f2Y!`67ENw zdPU!zh4Y-0;7Drz_h0WiJYU_nf7N|j>qyc8fdWJPn-6gBUWDSw6 z)uohZSS1|8+S9XeVDn_q-Wt0va_^Dtx@Na<4)oE)g@Yz)Tjh=~+_ZEEq4_dbsS$P8 zby`mzew;^aboJF(R-Dku*oOq^Z{>?{;T9~<2 z3`TXUGGbA=9jpz}6*s@2@L*x+2wH6eFD71;;Mpj&zXXhy6xNF9BG;8@7|`jcSSB~# z4N|(NdYb&QZY>VFK`zLzREaTV6Xe|AP9x~LQ2K{UaF}T9hZ^8?IFeD_*V9Uf8)9W-9naNRVEI zMv`qehi)!(TU^-6J@T3xNz3(!5z+IVD)1snYskSSRkf?A6~>DRuRBvf@7m}Sx$V`s z;Ju(&Dyd@riWExKAb5NhxjX&NZyEBbq1iu}3MQ zXJzP#IT8~7xp^cNZpm#tHEV{SP$(diz3~NO{h<;znKySK>o&-Ifxnez~Q-AZ9 zG&cq_Kv&lpdCq{14XHQI+Xeeme0?7Kmso4In)}~K#w|7r-8?s!w{;v3fCW!Jaq*2L zDu_J_u)R6dZSN|2>00IELz=9Cx{04o!9J$K^QQ2F1k_s0w`4HjlzvL`-7Ln%VE5K0 zfxh>9Z78x+r-U!o)G`FHuUTKmu<7VVRA;dHc(~J(L)e7}Ih_=elh`s-2{_*J547X5 zt~5h!4{GW!5wX3$ophZX8u_=$ULvxZM)$mY&m}oLGoA;-J>0bPrO}P9seRG>g+<0` zN+qNO;ik43JYUzhv5P*A%6pB2Jz7-Lg_1lzNaSHu3ealOZsqr-`r4Nr*F>h{9l;MoW$um2;O@97OCBRjcORF1@#uR~Li?Id zzu#k};s$3br?<(yqgW4A$8iRX3+N7&kHkCc3bSO`=W@pjwBJ4fiTQ2d;=X+V#rjnz z%pxR|I>9d1dl#&7QCNTHmQMeX$+Y+CmN~I5rirP?U*n`iiySW+KSxgK@SLf$JlY@~ zvU6mPJxiA?6p$W2((W-d1o?S#Ep)Vum8s(s$RWnki+z0Fk4~Kz*Y31C zQNE4Dw*LbI%P=>{hUuJ$yl@u=4mb4O3d7jMPZC5PkDbHeANOT4EN|Wb9)=eu6=n0@ zcplk>Q^FvWw3-pTsI`95m&mus}e=`0mi(8H4ijc zJ+maUS5#8C&?5p=j&7$Il~6yZ5(Se%1$+`onkLO>=8|_S^oxG6#+bPhBl${ev$m!V zw8kR}YqJ@S=8uQE6>YO=!Kxo06-69$@>lASL|r@2S1vxGd&ypHvRxGH3`4*~nTtIo zre|9*%y~#=Xg#PPemW31WyOp!&nvhwePEF|j0$)>2{}aCF6o3jUl+00)nwlZ@E^Xl zvDY$FY-bbqWr}J=5TlZ$%T?+cu3AGH|JfkrTyM`Ut$c)?E?eQ4UmpApK&$GyP8|3- z$iOh$&0i9v9Glebg(q~lPU3JmyZIXars#;WtS3n!lrn7zdkr`~k_zU?C$0O4H5w;8 zB}N|Kt+wVf7mTnyy;wZ-o&a3n)a`f`>9=mz;shmgX99c;bXK!IxXL2~+dVwmrR~UA zBPnAt-SEx^#|V{!sWEr2!FS}l62vAZWq>;&_1K*|JD})0v0*q}#%1`?ng~YuL_Bk0 zweR(jhK>hb`RPft!4Q2&ZSRqpvRr{@(&ByR5o0!Dp7@!)?g^imt!S^@mDJbfG&J9e zrfweJh6ex6+vH8>WZ4$S(?irFE29W!_1tTh0@};z@iK>FivH;}Xvs9=n<}zhIB3jk z;(U7VJ<$cZJXt<66012#D5s}g0u>~Ay_&FYkcF65+&vH=+!-;g{%zy=Xco2FD!OsK zhsh4!FfPUbf*L_o%|^xFgZ^C9{k4dHQ21 zxi*MlPwsF?%`+J$`?%H}>qN2VyJT>j4l)0168D1Gb;SKjZ^Mo|fI6P|XRs;GGv>Hh zm?3b4&qpm ze4Z+?rAP9bPptA71kqrK+Sk|qsQvc87xIB-DE<9ybmiq1o(pE1-ZTDuXH`$Q8y|D6 z?*NVZVbU89OS>&iF^b6ciWB~1R(kk#JSo071)E$vHT$w;0gePR93@@ZV|j|LjT?VLoiE(;pJKrKMbT5+#727g4`Ng zZrKs*2jm#x6U~+6*uPZF-&GF9(@8OT0O4-BqV0T#3SH@n4*$)g{4aHXXx2J3BRk*% zITWoJolBPQ**M#=JcB!q&W{#1vW?~NLma=L)Gvt& zRBj7sdE;RM_W{(f8-(`g=HS1f<4zTOf-|xxdMK~msxgkrKy>h*h>0|;9>A}q$PJOa zf8ybld4`tmXt6Y0wd>?QZrVps|FYcGU9@ua;&te#A4?(hv?fC!4zHRBZ6c`d=xZbh zYwVy0(ogsgm;fsPGS)7kln3b^B1-x&^MIkV-e}vg87&U~+r`#`37^q&6x(blPbX+; z8X`8dNgMw_>C^Vob_XG@V&KBXABZF*TWbvCI#{i?;{^$kfa=mrS@VbQej%I8j zh_*6Jgd5AqLt%6=|BE2`t~CVpGvlJ~pkf8t!fx!nDJ_-bGt5L_V6U&NdIVGxbLIA? zT+Q;I%l5Qu;6s;)KRkagT{YWpr& z+5gjWft*UKmFZ=4{IznS@@O6#VL{}>CCb595Bbv{HUo0t|A1Pu{Qo!2{&N#Cvi*NH zWF`U@4kph30Wbe|)RL8zlkxvnlkBSOs*|GK1)7L}kZ2cXhtXNu)n#k|hJj%gkXcxg zC=MX->k1O$X9M<4+^2LECh zKD+>=!wyR|FgO+AwhxKm!QZkB<|T+@7v_ZgUVdkL9|He<$bUdif#dy6!k{HQ021di zGR%VF&;A}Z;so>s zR0HrMP(Tpie(h~-^7K?_0D@!s?#@9sfg6Otpvcayu5A2iZsRXXNkwG4s#zaaQ^QG`Q2R#wgVZ6;A4z~o$Hq~iG3K_^GFup%pThr z@Rzxd4hYmW1mHh%F^*LM#p5U|JAdE5b=m*^Z$;y;rZ6gOz^{7nBOE6Hn>PW#wx3?q zfS}$#GPw1fGYKC?hVwSpd`240l2^V=|;Ulr`n zFC4)a1nKjN6!;xP6!dQZvr7PXXCHy&@s!R_8G+*+pHy`}4uS#Y7KTA+rvvF2^cVVF zl)I>>+wS0jz%)N#H9&xG14zKf@VX=rJ1C}yTibrQkt5n1JX7JhmNOVDwe7t9Qv ze{M`2%7Hr1Y@@IN{mhX^)$_J3XY%+!@(RlF191VLr&x?Zv<|H)r z-MOu-v!s$vi0^`OI4GvXflTk60$AsNjsRo}H@3KZXA3PPmfPGUwO+Eu{H$B$ZfYzZ z%*wF%s-H^%Yeg!$6~=8!mxD(w>0aRG=yndac;hDtgNXgJ^0)2e5Dt~f_=|Li$chRv zVbRu|(leX~3+8gDPrZ2OUh>+RD|A zX8ndSXvNt-uU)uV)b*HLLY54!V@ck#~DeJ(%8`8)&W;lLxD#D&;#I^Zd(XBvNMubfEIH|BH1_wukB}C)L!F0?({p(9YQu?rHxd4aVF>_a~bY& zwinaA>f|d>xNRR`ow5I5@~e(7$5_OO0{6b2(^i4QJ$bhmh{JGWY^2KVEvi?y@YL1u zq4b($;6t5yk?i=5^|*U%30c>)KL9o|xBI_C2X9MZeftG$P1r_(OhU|xmn;}3biGt} zTs-dlWgN^D%aSJg`5sR$-6l=Upzy)Qww&s5=K=(CavJMdp-qWwTpBG;@Eta* z96~|f^ijU*>6=*67T)IP0+ZB$HzdtzEcN?ABTZ|)Wm>ZubMI=W&6XC|_C5}D-iz}^ z(byuBENN#NBaW&cg+tn+PoDZ9Bkg+M94POeR6SH0zbs40lDwuES9%L2K+Eaul1WUq zMVUB)QSEK3d07Q<>%S-FGvnTXS5z3R<^(EUIzxU$XmqVKYiR1`cyGKjpY6 z63=YzDs)OGfoJbWeqW_uEklK-vjTZ=h;-i>YvCufWw`sc)cE;0u`ktbtB#VpLJprV z!mk^(>c zSEVfZ?ILX0X#-*$H-LN}CJ$$@(G%vR4Uo}q>&kk-@*tOHJL_3f0qZ|@;{uIOnyHiN z-tFgNZT$B&e)$c(^sp$7HX7t*vfcSw*T^)C@xb)M+JQzR_5H~DZSw6-(ze7}A8AHg z4@u){@_xRA6~au1ep^(G%EA8J7AJTAqK({upi*p(k7t5*)otseqOeQId&X<2$B<~V z4-QLg_``>Sxi$LruT9(3uQibb@l}KDlW)aIr;9W{M+rgx0vMPR?jTVpx05OajFn9U zHX@Pn-+$n)fT<$MDR(vJ2h-&Z5Bq?rO_DgdSqOE>h~`#GV~7vTe^6s<#e};RqLXWq zCw9|%*U;dv2EKOq7mY^-hvdLTXsG-+?ICxecI+t-na862qic%U)vf3#j8TY~Es1Q? z4Xu2VQoBgZ#wLaN$5b0}^+gi+S>%82S4|wZ#LV19$d@IK23|}-!jnMr20;Xxh+GnC z#Vl1~rN(_(YM zcCE3a%ln{Q7ggVMYcf>@d5@~sAcr<*|)Dgh)(vKbYiACGlfoGN0 z@(nzeo(mKmCB})xxvvMR4nGkBCAb`4 zL_}SVZAdr=C*22TwlQRB`5m=jOjazrdR&Le8gJ;DD`n?Hh^Om#&7%CiWAP#__uWE+TmD0>sxE)F; zgSzFwPq(Jb(4*uevps#-fO-X#(Rh+$T2yGOQBP6GFk5O+;y%o-onDM;{7}z01m7}B zt9Ze%ynFlttD5Q?D?J4l@h)K7NrpwM!#ACmLWH5V`FaXZv1Buu3Nib9(<*@&mSvu zgKXVgHL=WV8S#nIIfSUrsn&F9)puC4Y^v(CWYwG*wKFH)1uLyKiNj-0&AtqyW1a^} z1C32#1mK0W3!M)j!pAX<2dmS1X>z*hUZ)X~i2>!RVdp?wU<=i4!VPGE_?Dev`IWQG zIDCioZqO-~&-qHLk;q+S^mKBo)D^B}1imA5vZ&b$c+^%0V$CromA!1XI;U&|H~Uty zF-LUq%$VC_@>0lM4HxUJ4PZ$WY_^2G|F!|mCQU_3H-b{v!AmfX9CdavFva9ygDja` zMUi!OL3&{>E*130cA^~I#$=>WO#MV>OD$wM80=Kwo!i!_Hkr1Chd9k^s<5%>@@?;=%uHo|gV_fO^1Ok$?{CDBnWHn})r>r2&OinJoiV>! z+XObbL|=Wf(UFC39PtN$sOE7i1Mli{rG>`SeoffWtw|6m%Wl82Kgs|z%T=a~w2WiD zQR!C^q(T$C8z0n+mybq{0TD;aRMCfh0R%J4x$-YrmKd#(mAxi&)u`!tR3|au$Tee? z?CMu_(LO@5vlB72kNiorcPV&Ee2kY|=zxLe-8s%?XTLG(g=^nGayT)%e~8wYGje(c5kF;me5l>v7jARpxy(C2rV6Z5hRiD6?kjuOG1-Db0chMMHwC z+$!nm@bRB{UX~!T9Kvb2Cd{bX2H0TMrkZ<>9wNC$S) z-)R}5x=*LH$U)hti24DmA(txZ%jj~5Sjbs&nZ23eKkA#Y%QB^6-c733Mvd4@iMPPZ z{KU*Qd6Uq;+Zh&>X-W*<0`Py~AMk(rx*Oh~OkVgE-oGx^dj&38B8SF)o7V!lxYruFr#?eKu z`&J8yZuLlQ9w>JX4Gk4CYVALyhiEy>33mkl^U&#?4Kmsq9Zx@cP2?qBWs#YSe-r<7 z>JyX)laHXZx9!u+r5vd@beWnXoX_$V!_!f;-mx>6;R{|P)d7wuw4@2P(xVH^bYHJz z#)z?RhW1{DEOwRVW2a@XZEpf8u}phs*h=K5>-hpI|#JoS4G=dAC@JXnX^mZ%(X=9qX28qrnwPG&yKTPy}%||#*ArYPax7f#hz3{c8Sc4vM znQFQspvNE7>Uq}!=v{fgqBAyKqpVtwqb|WIE^bgHlyLXqv-hp7T7(AaPin5`KvdTi z0(7&Ov|)lo(gIDvB2ihECTbaaeBp4VPXQC8MvG1fCQl9o5?RF03xx=n6e6RO-nHNb zTk9_|aS3=dFp1Rnu-cY;N~XkiMeqE^h9gfs#QdO$Y>aT$nM9MjAJDYbOS_~cAwA;v z0RH~FCuE&Qb5ZJY?o75M6@8&(Y3|nDSuTB^@xB*R69H$BuGZ^*7hbkMmQD%M$#iVn zYSTc|LT@^~jX7j!D0D@JmmSo7D-== zK6VZ6Q=U}!Dn1%xBJ=bGPq1`e6K9soGH=(rGW!(18-7sLu3<1MxSVH@j|eT= zX*YU(_NnX+OKtk1bsU9AB%ff)esxu>1|{--G4WJiWvTD?dDRVh*mjqQIXx+@FDWQszJ7kC@Fs7t4v z+!E4Qt&W;jS$7`>9q8Dx`X6@8^th0iy;};)z{eX0c)9R32i-W7wm4;9B|j~_c?I;T z&Ue$9vKQHBf+XTV)kaLzhOsl8@L%O1W>E^oL1#McIM&>{8gR-?>xVMwFV#V(OKh33>9W6H=}2YUmUUWsu%~0VsARpmm6N@9X&~+cmILU6()qE2++p{ zO7N<^km5d!Wr^yU6C0L3>_(*b)BD*2p)%f=%X4p$_a@YB6M3c6+>@!2)naU8n)_CD za<<0x6>P1N`9|yekd+n#%0(oa;5~)EC2fA8L%T<->|ouc?e3t%@f7zzmDs5hU~!-r zDbASgGw&uea)6A;N8#&xhwLJ!WFWO#XPt1o7_>Ykyjssy$NvpH3^FyF8TIiVEYo2r zNwd??Y;N?WUfHx>dRmuct1cY=S#c=YfX5oR^V4%UtYz z_IiR@rd9X{_qJd#QMd3JB9pg2tmp3_`rGN-81-(xW1%N!OTvZHKRkS`NpybNO!KKs zX*czm*o&|GE6%^JGRQMs}wEH&Fh+sP4O)D&%gZ z(b@&>+hGT3L)?Od@89;a-~K-bX`8j9t4rGf`u36I%x!PWRlkq_=X0#?b2Wu=EXTM` zwRJ-B807*qU=@r&(V80k(;g;92LMx98d%&L)LI(TT8`4o5@8fE>LE_<}n_ zOB?cvJD>xgihw`>!vw;>2*~H?_*jGh971!eV>1&gn**RC1y!Ze((>Zh^n)72VE;2e zFJ8u5*_aw&WGozcd~kCV$>ii7@PS`W1tbsvj*K86u@V%5fP}i7j*u9v04Z4!EF!Q* z!0i(afKwb8T3I+CrIK)b5>Et{p{Wg6vtuKcL+Q!fL8$Dz#f>1d+VrP7Pq0S{Pbfe;UU;HnsYqJXvVSfAGC)*Il{f$Kbb zYZEv}fDX=Yl_>xafb5Me&9g4Qm4Cp-dgia}(8BKWR(~xA2dk5Wa=2=>Zf#Pz*xvqz1Q73W&nboQm1|9`c93;Nc%? z;Gg>O&mZ#J9_uH4`upD--ye5NMR90oOz+7U(DzX+pbrnzr&>U~I~W1z`&FT1%XgpB zGp#JG&Y!;IA6_lgC%CqtHS~Vp7YWWYzZj8$={F%XG4K(8OxbHu8681EPGxW*WWU7T zp|PI-R%&ek0XMWV^?Z1pe>{r7Uu@#To{tn+S=gzXKV<(WJo-4)``t5t$!GSrIxH(A zC8Ofz->Ksdx5BM4BuFxRvz{VB^6oUfn$ca3I^L%M_?b zAF5jJ9%Z36j;Uw8Dj>{D@{V1r6a#qMv!Lf>__TDmjf@f#YFb5*k&A8k7-d6eaa-Mt`ChlzcJuu1E z#f)1Dmjm-vPx0~;hwyiI6klQB|4DS|3%lGOESrlCCjPxN_8`SeBH`$~T-#m3>=oqa ztlRddgyY(>_|ZT!4g+CpEtbSmty*?3^}Q~tRWRDjsjKelYDq`B8{ z=XuvZWb0<((>=soCS3P|i~Pb_&e+L7b;lZ*c6yMUi=_>7oiQ0Jf(^&0ao zi=qjkGJ0I@J@rmAD6L@?OJdI~HDuX62{nHlARN8cm}(Q0d1!M!daFA&3AD#nI*uS1uTwNBP>()<5-PI zlGwN9SDP}@{L2>SEgdLf>EK*kc-X)l&5 ztZ$n%B~G*Cx4XPE$*xnE&%8i=xD(%^puyjaq2{qa2bNHCK7g@Y$g#xbTy^?vApc*H zjbO}-_66*6OyLTVEEkoTdo1(d>2XPAYo~rc(bxVKMMdYs%Ou}a`FKariF){=YRU(^ z4C1UAG#|#!wl(jdoK6p`V&c2%Lk0RD!r$j_7kIfcxOFqYIi_^IJMTboZPGNvN1n~$ zy>XGn+@~_6KKgaiTqv}Q_&egJtwZAgQ{c9ptgv-z^g76TJ%nW){pe_HONPr1nQNa> zK|fpp;8}k2wXa)-*Q#fUsqHL`I3|o^nr|8X;I3o0;>-;x>LuRtk((m!UK-kl#E@Qh z0@I*0NFXgM;>seiL#>mqgGkmtQ4Ifn;w=aD28O#JFU8O9ZmaibgZkuoAv#k2 zD-`8(@&TzdprIQIq22nVuKf#b$7|R;?ic{`N1iVzrCh2KnsCpi4_d4{;VqDw1oZ-{ z7lY%Hn$gq!H31x<(kW|Z{>(1)-EL4%Z^j-Ymh!NT`Fp8@RAp!#C?C0DtHXqh-<`sm ze;8gv942GgZKv)m&BpYEL3lrhtzDes%4mf0kk097=(JdI*V5W`b&L1&q^AM z<+d=|f@;Tsew29o@0AZ&j)2P=6*hTiZIoFtSIb^4H35&Q!SzJt9_IruS2r+OCj&}f z>I=HS-6118!){oS>KP7SUHa}RZeUf)AzW~N*k!qeG~FZLp2L`Ka(8#i(m^t?z5&(8 zx>1v7p+Hf_X?$NQAZyb%J}JssM+&@Y)B-De^?ji5zN`D(uW?Qia)1I>rI3Ti4vOqF zV~uo5SQYv=*&Zo7eVaQ!iXWV?{FT8UfonnUTX%gP)V(g3%%-74{qPhyB^CRg`HA^A zd(LqAh4tznP@5piSj8lWnn$*}45?Td<3D-lYn$xQx+clQJqt~X=33ZBD}-d(mT7H9 z@J=^VBT1;KN4_tL07>QMJ<`%7>OEuP@>qlQ4JxR8N6$7N>q(?n3NCaqTuyke_WXC; zcokCm8<)2C*3iFxO}V#q%2L%%m{)AUE2Y(>o9asGRN&5)3j6uz+ZNl(bIN-^^Hk@~S>M{-Ux=qZ2X+w5gBS-Y1{X&@B)PtmO$A4! zOemIj7sIWucNFCy22=;o@11Ye+LmQd4pjJL9^Onqc|=$hZvOhK-PjmD3c5OB_soIw zPC)re|1(Zb-$%U|YXOILMI4z;R|ZJw%pxg>{CMatGLz#x!JI0C)0^`j-}y_M9$yF}xZ+%@;=C8Uc?cd^ zrB`fy7etXp3>2`CHxqv)O+$r{rWTBzf0atp>IT`9%dc3J7x(!=mNbRO#|H5rl&6e% zrJ5Y{4kG+<iS2?4`1-V^Bz+o4&^8MAUv{goVtwz3kye`({(s36z!+n{QhJ5$PTK@_}Q1%ctIKH z?Hwd)Sjd$135}5%TW%FLnV;Ai66YlglaD?+ICu?DoVIZnJ;x-B5ZXsnqRMMEn3POf z@`xQhH|UH{o%LUow+RM(@1%Ip|E$44aZJK~_=R`lWD@!~8T-uti?MTR(nJf_WZ5>l zY}-bcZG2_hw$WwVwr$(CZM)8%o4Gm@F~4HHu_E(HMUEDov>WjL9k%YjCAE>j-351i zg=c9P71HE!g-C7u^3F%L=wIISgyfK!d5$=`ZMomwvT@0JS`|Z|H9L3$y9CV8xygY( z(ub>e7!DJbof?b^GKsw$$a*l4reZgxT2#{ZCJud=ADmgJaJ}8}$oxD(P}dy8S=&uQ zUA)Ho2+iYdddMOsxFUsR%hMQnBC0eYe-GU@Twf}|$1RtX?QntH_^kgp^iS!V>f$rW z*0RIAEG!1?9PD6=1pQ0sVdkt74N-e&7bAQdCaUfjYwoL!Gb`*f0&851i3|i$ zg)`r9l#zJv{CH?G=^iSj%j>5_wQf%*w|f0-2UsFaBvV{Y`c>ubuQ!s+!fNCPEA>JS zHRRgaE7Ss&Sdt`lT=DK|^l{ZLSD}OQ&=+S98XvP2NqF@)ieHjoYa#1w-{)M4 z5-#-4q4u*gMCMG5j%^#I9U4w`4e@e3l63(S7#Z5HB(XB^3n|f6DFAt6gpGxekkw_a zDBW?j9Z2d9jjb(>itL1CSlMD$!bXRIcbVyfe)f~#ysS(MRXv$0+}U+c3X_unxe-AQh3RCs1# zxM+1Ml&&@4Hnu9Ee^`}bT6?bND>~xh@l~@Oj(XX%kqM{hd?(C%A047{EjN$ht+H9R z@UQtc&-E3^<5kBlBvG_G5c^+WYrma+ZB9o|V2yHI`my;gdxLx9yQ!M`*K^~3&c@0* zB;-wmh?i%ZYIXL0Pl1PNU5OZ5ZGT!*s;?z>Gk8n;dsnIW?hPCjI)P-c3F2 zn%M$2LQBU_I?kGa+;gZ|#fvVMk{460Q*Tra>1`zi?{`Z!l>5h(aAKzZXf& zuu2l}Q`dOsgvA?0z!mGPe4Ck3XQ!M71(oQ#btFMP_D{K%pQvdiCUP~**RFE8Kw;$s zs|eJBZ6AY@C!ywRFikye*CBHD;{}w7=Yj>Xc3MWh&(DEVxfQ7(H@%UTFpTSTc>a;u z1r&mQkwIzjlndaT`-F<2Oo{M>fDGRgeIX4KP1uVLl0Z;z282RWm?-1Xbdn?H$M%$x z`nya0;+#RRKVKnFRGOSi0?oZtDV)y}74#6Kv=5guV%wSvNunTTxOz`VE=TlQgBYHc zU|P+HMTiOw=G;Bfl858!Q_K8SI~+N|RlTG8AYLgR_oC4vn5QlMR);KpY-3Mo4;p2& zG^+gA)FATIJmB`LH;8>wa+rJ1FPM@V&X<_eN8;+yR8z)tA+L7p<{iDa5gBm7Q9U2l zZ<~e;SHhn3F=&muSP(1O4IC~T;#Vm70Mux*0D{Wjq^<~iTB6OL%_xp{%Ah|UbBH94 zkb88YF23L02b0*^N+xlfNHc`UvqvzEJcgrTdO(q+POr^!{09WyZ5jUkYBlB!WBk^m zb+^R}JzeGREzmmT3Is`~5yhQVm-@&1L4y`xbWG0AfV-2l5iaB<09;$~AOQD)$Xtt8ZMY*U5 z2;kcr>iuVuWP=8@1r_v2aY?H$7{=427J<@GhIQRoQ>J7N;ozC9lx`3@W z8E4uUs3tvZ)D>I`b~Av+Saj0I5V3R3tJqeMrZRqY{+ev~hq-Fp8JlV#0K#@T>{72; zf5kjl?C`j{_i=KvI9Q#Ogp}kftG+svsc8Mc^0?BpH>d(|v>2pLh!J8Ci^UI{3lX-Y zA$40E4^~68Oo-p*RZDL}=C!1Vbh&KI>Fx`ovZ4c^>rxvwGBh{+uNX^(S}E2N#$}Q$lLJLT`sxDi(TG`$tzF$)~160wQto#Y7() z4Q(U%Q26V-Loc!KBcG%5Y_rj%DZkwJ0G0 zwa-jKvCdt9kJ97w01s{Z_-#56vx~hLW@7JvYz5pQ5ae|h zUNsWpx*>J5M|f0i<+{=*=3`AR%9jH ze0|HDOa8&ewpyR{Bn6CJybWy7<6*OrTi@r)Lfnd1*aaD4yfbnzRys9a?A^WjHScD* zJ*^o|NDyJx5elpG>FBmt3Nytx2n&O2?y=Rr{}J7xo;ACEd!3gISzK{a5zRP0j)zq{ zasGd>ZxRW_q&2oTqIfbczIQ5uMDrU;tC8iybU&}*KaB?s#N=)q4~!w0OAH2ffi>7X zD6x7WfWo+RS3UBP952vvw|Pl2o1c-3POCn@B zOq9KhC(uowIY4$ohwCUp*~T}J@)rAag|C~X-2!KS;oiu9q6d@1Na6G^nV5N%He1EW zKt2YshEj)8zf(LN*kPCF{t0cndSY2Zv$8?+woDQz=E1ITqxcvF#7WSZ} zc=o@-!GUqYKEGf`JK_&I8JzT#>|3xGGJxqc<#+2nX+P`{t`c^J<8InV>xx+h5)MBq zY;C-CJ&DY2JM@uOKXlbs9ef}+OU@JdBA0B&E>#m4Nw@?=P zX#Nvy&1t_S5nJ^!z~9^|^}VxSI&g7Dd76#WhTHpQ8!SnnCfCsQGGRsSUj|4tHc{%) z!{0?UIu(3^G=e&>$N#3z>#-88`2vC;v}wz|Rh-ysjvA12+{^_y>uD@!8)< z@Jqxk@iqD2;S;*9UOlesg$&6^-UUPNBK~w1=tmBpcArnZQq+zU5aZ~qduu!0lw7bi zzK@GhPjL|2k3|eHeaW;z?>Os8``^YILJq;{skk9nX-rL^Cv#$CcIUt@HV1K!n0MqYL+!8Kx+dq zB!ljD&0mj+&i6g1?c*|J>w_3QW+w&!vhCH=M>)ps(@E(he2^4vMXM{af^c4-mRk~4 zTk`x=hsm31{ ztR5Wo5Qti`+=y=HbpN7f_!lF|GW_rEdkmoTS^l`Fjq6mE`|NiB z5?RDFZJNR%YApy_5!opM?wsQ$zDGVrP6GkMw%NP7iZ;7yZ{XlUZEpaUHe(bKv-7b< zjT=XXkpwAwMDXQjxbj8vxig@g6@o-kBOvSIqim$FqMy*z1P#>5KHXOBV6ovA!#;xxkci4 za+7FPZo=6R@<+Y=1gc+7?A|4CwRWb27R+r^BV zV?GCCFV3=vlhgFEK9QJ_Fk$}oXCK=$@`85U_XlN~4GbwwYVhQ_IEh=YxDdDM?&A%-*VTN5#XD->fU3M0$`IEQjsi~9_>%cd=tA|tJV zJ{Yeqh~C-%7>`VMHw#T)lFpT0`UNT(w|iC(J|HZxW49DM12er&q;}6YtM#;a`0lkC zjcfrQUt}-?oO`o0z2%^{BghsI{{+pNf_}g6OVuDglc~ybUpC`He^+MF%b8CN8tPQu zzZ#6U>d&>mZ}D94yX5t5TqY|Q_nCT$_K%8YEke&ePsK_J%5!8?;#;-Qt1!F55ct}7 zS}RMKRrNxb_`Z)D2D#i9qqi&J&<$qyP%+`F|8k2@;8p&1uO2RviUfW?;}37lJ73Sb z!v3mTzWXo~Rb{;*sYCb1#riEI;?ny}IvzLRX!M$h_Ar>?O+n4NR6O*w*d=B||HsqY zHSEwU10ml`HfI6B(D|%l<4?Exs<748?btltKl2Y8x_}g! zUWBGw_H?#o*gh{s;7mxfmsU8ZAGCG#(D;c`hV#&Et(HA{CeVdU6fX5_dhc1FlNJx9FX60U*==d&jwAhp{eg9}8%B71N$737fxf+-l zN;T!{4IZ|tgmHaK9P2AEYIp58NbfU>V5F1tF032xxwB)>m4l6HFEp(&!NS4RBR(6z ztJxiXyl-y2nv-x&GaK%wRSffw0XG3y8Il;ZOy9UUO!~9dMxyYc?)HnftP=89b~Fpx zoT*r0A~3#m1R=LXDk)RSo0;iCoRz zJo)i)O5-bQ7v=b6@^Noos#$AI1erQ;hNN&0#k-TB-iRjnFV1k7F%bh$IgyNI539&4 zabYRGvO8dbiB{vu4?sxy)zoOsgA-q8PTR;418LbLR?EQMX5e4elJgnz9mx8WRh=h^ zpNm-Yi!`HG>q-%NR{{E+p6;31yEzm~6LPpzx$6kK-d2*+Ev-0We9;Z2?(KaM1V}lX zWM+q$mY&aeCuVH?!4M!HQHNONx%=ZS1H^B~Ugv{5s6s>u@W??~Hr_U9R6KZv{Nxn! zX!G?`0;kT}Y(7Rf@8yg$X0Lgo83@B>m`to+B%KlDw{U=%z#~ymO^tS73fCp_6q|nI zIa$swJrK4j2@}#OIysiDgQ+>>*9yvmYf@r{tdjEenOI|^Or4#*7F^a|OW_MzPq~{6 zsYsc$K;okgEAE!+rgh9xEUF{gGQ(x0@3EeC0%ZEQX>$WNWR2yCP=*WbWQsXkDC?3a zZ=Mac7nkZrc=8GA$l`L<(fh39scvc(uYD(*(P^wC6si3ac-nUEQ(mi-((SlRP1Pl8 z|FbCgl)6akPf}AeYI59$rC*F;kzr6ppamt_-huzRz$Ws|jQNYr znrakfDa*R>sd*ds<_}KqstxfASaO~Xv6c7++Y@hgpoV)1g%>(m-gOv=x}H~}P?N+ZBeH^c|5|!` zV=4{iZnaWL|261QNyOx2rUP`*UKXa41_bN|5JRL$2Gc|t_{X!h2#mNH6VP?ZH#?G3HAcT0Wuo+JJHe8`_Kx0+52lj3GXVh?QPdp^o1RQ~Uoi7vkgZvt zs+&vIV`nCDY^d7v-grE&Y0)YYxS!f5J%P@S)f|uOWj*a9ybFlkoVH|Hd?lQW?y<(ah%MS6!>ep5EPhU z?9?fh06Le>=z-Elvin9gF^BTL?|P)2lS6D00jDMHZcWacB}vi23kxSg=)=3&{z=e0 z;TkHq&lT&h%w>MM$uT#s8FC^6fXEa46H0QuTqi%LoKdXqh9C#SlY(dSWD^%=))=P@ zh{K;@Fg5cYmSb0@G2}eF_SF@Uu8@(Ix%{Y!wtl3G7SSkcA$~HbtOCb>A-H_ zk|6#53p)&gAj_XlN>3rupuXtB8CI%wh8G8VsZQPK$HP|dz)y^gdQg#Du?WX%5CIy1 zNvA^*ah(}_*AGzHV$LxCG!2VBR53rILrcg~rgL#00V_H3BzexRF(jjx_OgaOnF=pn z(;wNXfLeirh`AK1AJVSU^`aGe)Gu$LKei22jP#wTw3>g%;rekonkV;a4i~-_^B|rP z{~lapuVpk5DuuHarYdvnRwXibBTdnabV!~)cfdX8O3;?>I*H?c!dm(!)xnE`JLif8 zF#inqB5%V`qycPZ2{w6EFoB9`z3)h0EGndpOkicGC+b1TVFUVinvJ8rHV); z@XXE`u4FS8w%dH;Rb1nP-6gzFF^Is4Y0m)Uo6Z~q=^rk+1OmT=2Tv@CZ&Kkg!miXY zSDkGMFh`4bn(hv*NFHb2Q5Ev2pn4;6(yg$BtSmbi0%oX_yd9I=hd&2d9{YElXY2e7J|1R_4u6(C+VmcoVhk>I1E<|06ylBcRlxJvrdOIld z83tKo7R-~o&ZAJDH`KlYHO3D~Ajz>pZ3Lu~_#a2G=N|Ok9PKaGC`?|B!>`!uaf5{C zEs>m@oiwN?i>FZR)RIY#yrt9b!YiooT#uOMDX_g9a1eK>rcP;BH(U3LT^yWHXOjS& z{-CJ%#D{4otA!)_ds9~l!q%9UEmE^xJ*Ng~h_|vHsH<8cNk~t{$z|1yewDDfQmA}o z!>;f+e~!r|a{u*ZSX5cGAd|@l$>y6~tz0F)Y_o9U0rpTr2mUUXE+rRTVKX_9cowtF zP%8RT!1R9hsjDM2B8?1>oQIFbAvgy+Cfv%*a538Q<=|N+fu%|l0;~#BIfS%O;IRP) z8zLN2zRUto+{Yc|qQD*H@w@L`L^nOrgr+qN2|t>L<4%SeamC9`9(dH7e){z7IQ9Yh z6Q|BFQ&*(C2KVzLAlWIXsM$AEABPWeRLRG=i>pX7OI)VRYQm+~+X@3-`Dga*fL^$~ z)@O~y*(D36I={nRI=RtFgkNEk$W!J3-@suKD5_i$gH&Zb#dPhZvdXxdT`J7{tY>AO z!An(_FZ^BkC0D*~p_`nN;nu)0n~ ztjiGe2PtKq#}eb+x;#j`g94XnY>Vm)<~jNt{kEoZe% z^$E{hrFX`cy2ZSiBDN8}?Zi2q`r+jj9wzMg2M`Go7bdi~O*3PODGqv}&Q#o}yar`x z+6>=ylODO4b<3vfwu4GyRbS;)ZCsj~c!_O39-4jN&*X)+=6s`C(=m8qo0;G)88xM% zOAgElE`;pf(E<)8X=?BN4#C}7SWiv^Es)0zh=*mn&oP+>)>ECZYP<$2RR|&`!U=TI zZR1viDh^vKGzuI(AU)^mQyzm{kk-j*RYXA(BZ)+c6%)RUO98fJxHL+1wz1E!9y9B3 zrv{DpcZ|8Y&u0vO?}D|2Cv3`#8%|^j3gBpt7Br{#ZiDY#^C;cr%~4q1lrA0$=NLXY z!`L>0u}7F=o!fa;mCR+NmAlWuYQE`-@K)b7 z>32pSNnb^>FS6f9KcKI(&A=O)P?_!;34(A1e+VJu{+E@vtl}1H(j-t(t*+3e6h7fv zeprmH2a>L^Xl&G@>{-xfhBzkoC^A9h2Pq+%YYwr3^T-pbEM{b;ZeDFi7)q66mTG^~ zYq__+HyfD~#(F0XJprZucKokk=My`*2{WEp$SThP>EN66#f7soLLsrM+fdBifvEib z{zC*=Z2W@1SQdrGeAe338(oB^{mx2sKg!CoeP)=Mcs@zQl z+`jf8gJggABG1O{HENiUNw-a-Ztd1I**N`%oWG;&6(z4{GW*q8q>Z(r+9=f$4==wiX&vRrNWOp3t|4mG7{q?mUvxAT$CShhM@#(p2H_MQR}WZ^4oy6*-b$7IlxB6# zRinEC*RV=|W5YGSIUFwX=AeTVz+oI2e)T{~pd?Ot*Psf1QhB0;N8-rv{ z+RyD#`6$|6Ov{PSeCqA9aNY;LX;cSKa^vTyk3 zTa@Y65D?Z5qwQi`FQHd09o5t<%SxIw93YQ}dhzRBh0b^2gtAu$dy+M353~kM|M#arJpRHHdDoaqBoCPQxSBt;e9ejAX;#2P}tGf->&u)hfs@&@a` zRPm7TvY2p(hnNP6+*goV!$(Y)-h`c`e>#%bzke*O{5k3{ z<}suleM=WU)sQS=A6Wr+4y`r5dPE4T9d@wTy*eskbl%CC#=^1H43{y#{jze&`p6Cu zET$%u?}B)w=;x|BGz?F+>k9cWyDMTLcyD>kJ;^vF*3NU>iv9()fo8V*-y{IG|5XBD z`M<$FWBF6&Y@7)GOE9Y_3Gws7^)NY_`~Jx(+9+ zWYz9;e?FZ%^xOz+pN`@jrgxCnc+A$1MWCymg~(h-2OPY((m%<-MQs6jNNXFZo0)iN zdw9`ndYa_5)9lsez^7yZhM>)l3@z*^ERR5rAk2YefeQptfmm4lBmVt^P5DD;c)NFQ zY+<_(lBcA+l2=k({3$;zKo4Xz`&;)F?cBoJ3aaq+Z4bJ!#-DdAi?!7sH~4Jh8A2|05d;@D}qQ{=K;34Vz40%EQI!i9KZ1m^xSDgfmK%C@G<&i?fUrOgIDkrQ*J_cPlw zM67FKsdr%eF7@yAWcl<%KiV_?T^)R>y=F)&=x+Si7?D^U1iNRa_E+)VZ}r^J;OIf# z)@-uZ)W3UOPhQyzb=6PnBlVhLO0V)?d~r5QANbk+gFL+vVc*iidjH7SquoufK7w4z zFZJN^`oheY08Jh!C-8K1mW+-6%#5GGkKr#%_Wx=4^*Y-f?dc!B*P4I&d3?{}(CTCb zu$#iw$xQhh(6EGDE!h5j4kcV zjG*enum*k8+uc5JkojNy#+Zcu@+bV_QvTQxz4eCd{Bk({(un^~lKlAj%>JTlZ7q+8 z?To$Lf_#0B0R7-&lkoKI@_@#He>s_3M`iu^F^RRLu;=`imi=B-1An=-|3WfSVHWlp zAvdu6O2hx>0Q4rO%p9cP3o8GW#zcknPmiD8P5+jzH8q2AZm4ep{W*ToGXkGuVPgKl z%&Z70j%eN%Ag%k}1Z!gXuEqN*zSMj6OGRHn!bm9m-u<)Y$3^|41BR(8AJ*Ia9cz1Z zCHq@?hZt2?*A3a1nG=zXDmXhe{`C6&O&9(z{dx44{J7UY?MFF<#nGYR3Fz$WIy3%U zZ~H$Dz)#Ba7hG&=W@zUrcUjSase$FY)8<$CK6ZU*dHkGV{FfWZuk#1-UC#><%o9jf ze^vcT);+L#fq7BqqRvsgMAQZ1BdsSom@|pJ0t5YRb?x<|IONtr6{lx4l#zAX-mk@r zUXRoJkL2Q?*k^+cg_jbb+Q)mpIHgz2JZoiV$2ojR-&Kac61_{|4?UU*+u*CFW-078~M&n1l&3zdH|! z6}#)@^BYN2BUn)lG{!7GJo5yq^{^M~Kl2G!?I2W%0sFD>vyUdSD?ML=0OlGzTg!sQ z2;Rl*%Av^%B)Rdc?{VL_A(1#}_YQ+$-aLC$g-Q8zL8#|9i|95i7C;y^AHs+E-FDXe z37|s^wFJ0tu^ca=+Gyo2>sNUSgLcK;W>@~j#}iiS2wr9zk+yunho*L$C?RlbA8BNC zn$C%fo}m>d=&3H#{+(p4xptig8%^4(M`JagY1_bR1)kZ8g>0r^Y|V43C{&OH{12L} zOGdADxh78S7RlBmbEvjl3~pumULa{g3Jh+Q=tDXVs#6fNUVdec~|6k_z@FA?K-} zBofLLtGw?ZW>@vg1(i?$f9=QLr?ZUZnBn!lnL(697XhiUM}F7Etlr&7jL_dyrFdlK z!_^-pzn(NaKQ=J@v$ihXnRe^&8&KWN`ZLM3Zy}Ext+JN{Z=PnT14A*rjGiWX3Q$w< z?rlQE)bDmG)b*5-U4*HFjQ98Hm?govmNQ7{Y?=AtCso12^Ml+TYZn{kCF+saH2)m? zg9p2{NSt(imRzw8CVo<};+~nh^ zRkhB)ngUnrB{Zm&>C0)HYaTGRt=#-zdPaKNWb`bV&?Q3U_a9lBjA`tx^uDZPrrw~q zv2_EbnS=d0|BTZsjS5W~C1oCUI1YfO7Vua8t8tykrCWPf{WG%E+g6@a%Q1gq};>0<&qQuJCe?JC{cnT zw^5ugrL*Gli|F5I>XQ3(i?K){393VgNc9Q)G`aTZiy-S7uuFx0LJ zt+KSrrWB%I@x5h+R5MHXe2^3uI|7JiwgKRQxx_8DIHQ_OihSzf27bRw`d4-pqBh?8 z)zh6Qpjetco3}Hgx;AuMHm6XVqi;MlFAy-L;L=(GpyAvGIv-O+F~hf?h=fkCrQ`Mx zp2!4$5hy;gnruOF?sF5EhUM^W&Iwo6R)=2Rw10zJwax%MXsk=+)$a*sU0FyZ{Hv|q zbr9L?C_OmPR+qne?I@U?&~cD;^h??voFRor?82IM$AHHJ^wE94bP%cMHUf^0@ToV$j&U$rj}gc^)0nlptei z?n+^X(R}ZYBmD@B*!?YDFvMLuJW)oT2uAdR3*;uEqi&aC`vW`KFa_c&o8bN}B#-O@ z#Bh%`+Z+pBD3D@VyKDqUXO@eE>4~A{4Gr-gG6hL*B3fsKe66cx+=~W-l9Jmc4$Y0r zzf_pr+7}4)p$YTG5Sa--Y*eU0@J8bJ@5gx;hZ=vK~tH*`LRT8O8KTQSDWR3A=L-@of(l=)t>$# zCUh>3*f}qd6R?4dUvM=wMSDE%YC$Onjj3%A=POB$;0tNwWNqQG{p|4WW^kl#WJfri zL))({{`XkL4Ed4WI{AM*hkk{sK()QDtAvkU5Pf1-!;{YMQtLw{-ekHwDcB1kX{l>qS^;8zrIpEv$kyZtku>bgviTh)as8 z2h1@-F0Xr%Ew>amgM%1Dw2csCF(?rorMa&fcEeo8YTWbYx>T z&7K@J=X26vnY#cnJu ztKEN4ER6Wd^UeS(vEb2+Mz<4)H>yDWxR)B_TFd|2%`s~2D<=165@BF2t0=6O-9|P^yF)dkjis80 zI#J3-u@bd+K~MDUU7Q=o#uSv+RNL5uaUqMZRKdx{yDrN0*%xlTzvzz@Ldc=b-!)1TF z;QlqhNH9@(8>ZvA2x3E}8!-*^nO-*Mx2S*7)k+UM9NtVmQr6nE!8)ta z=zDw>{BRV0yn|&?jBN$4nUe7v6F|(*>ps2yC6RV!Py8~)&vMsu8&-J)+`3wQS}EPu z&@y3d{ma4Q)vz%OmW4K_bQO*w%tmK0v4hG z#(dJmrmG552acmQb`qtW@OfWMNC{vy(*=pyylY?=Fu0j`Biufl&XjKOjO$ z8L4*R&U#%0cr@j&rGJNtbZ(0Tos`bQmxhqJm#MSwhO~$iY0!{1*?S6S z=F}&9%e9p)xd(0uC;mChmj6mrwTZO5y@qWmG>`AX>FvlQ@ICEgRsCykGGEix-hWW@F!0LrHBzs3SknmWq7T_c}?v!yZ=#QtC9uq zh=0DE2~`RQ;5RcWrFSF}=TOcHBfFt6@4NKpxM=Que13R-ac!Uv1Kv2H&80 zR(*{?p0@|SedPR;4s=36Lyt?ma&;E524+`@X#oWp->bvLJEAsL+e4T>;8{o+1=AIc z7YILbzlURM8Q`*m9BK=Y0Xu-dis3p+#fPB}dL`6(N?>yfId1zv)eozDjf+cVS{h0w z?;0mblkJnv#1NS{H1oNIw$+^vFYsvUH3&(L91SsP7W|x}5s-9jnB1iLfcNjo_tb44 zlSR+}a)z7bYeusYrJhZQe$f3Bm|LOHcfPran*qZyP;!%_AFm_HOce2f-^6euvEw8OD- z#V}SSY|iA+q(kb2&n8p7cEX-O7%oCn zDwbR^6Sq(UB$>Y;Yq$hea;%TTS&PB+ntM~xAv@-7mF=WBGgra=v3%r;r3)kvG}V7= zHf#>ZLE3=~bUz1$5t*v4bm}kv4%lWYiD-nT-UGn9&Rny7X9WpBFg21Gj(tu1bFe=! zJZZ2~@J-V09z&^m^BOYU#&2qusd z=jPRCIWsJ^Qmll6HK=M#ajDvY>G))vr4E#x-ALg?K1h_ApBJ0{ENCcqZ%6;>NcD3o zl$w=N-r41K{)v|(b~5)Xgs0tUFG`yIIhrmAy4i}l6U?6F)PtHP7u8BDJAK*SEuV~Y z1^L#dAm>~~7WW2NSMf23ok1$nAyFRW&sH-QWkqpHVg^Ekvp%`LVo7itq;XM4riK-E zETG;SthwMQ5ScAz^;_C9Jn2f@$ zxwm8RMx1dVzO5RPag16$|B70g{?0OP0lr2=m$Td*Ui#6^?Neo94J-MAX#(>uBx>36 zXUog-fWT1->yhFmAo~#ZzdPd`p|2y9msOJ5YuPQM40Z{-D!R*FNx-Lu*T?VafH%t5 zQs{0^Id*ZyNj@?$#BQ~e%1A_=b%&&U)zc-R41FO=AqbH+*uV=B^fU@~B3GMvMv`>e6r_oXeuhqvj5{ckPQw%##`m_s#~nZ}Rf2Ly$d zrbH$T<}F%UZ^9&$VruLc2#L2r?sA=Px#AEMGupeH)9w}P+tm58Kfx<^_wQh~0pDD& z*b&%U0SDp(EyNh~X#jYnug@4yA;r?2;9Dt)VO+j5-=6sJhmH601 z$ANzxlW@1U2aH_wUy9j0n+v1z#B`929|hbRRC0=;W86^mKIy_VG;`_x-2E#V(8 zdl95B_L`SXMZ8;YGAoaF-QCH&^~umoD^={xyJsve^AzoJ`2=rq3GxwR2@xGrZL2uB zxa~jjY{Ar$^|2tUKPQ_p73ax(ky#j6i$2~x)0?b%gj3_&uG29XZKvN-BU_LrbiY#8 zy!m(YyYZ{gF$p2W21{e68o}$crfOmWM{#lfDFzqlcTNm2JTqp_-*%>8 z+Ct;z4bOq~? z#^ptFs$nCFv&pQRni%mXE9x-m7@$=2PVl^E=oRv0z?vFKbWa=jkNq;?c@%#;!D>nA zmR7BwrVX)S**v_ttL~(P{lPT0VWp6!qv6udp>uzy<<5;h5F+#3cX4O-Nzf$^2?WfaJ2!0 zI_RxHzH&`%{2evNJWEA8Byh2_p#&+vGc2S7v09j^Z`_hRxx^Dl^7kQO?Vu2IWjtDU zp?bMn$~H_N6Pu8ilmhjn2R_w~5%urrLTL>+{FflZcG zUDoJJWx|m80FOECIqLmNk7oG%?90?mtd;4Q=50ir3CCx4vB~)=@)X_0gZ%1O0j`g1+MH}*<@u6B zElUAN+wvuA$f*373}e7l;Wi|G?H|7gJX;zxo$J2>&^0?utuu3$6ik%KwXJr9tBI>iezmhUk6@`YbpXhUx2OT98s(WmEhUl3k(Wyfg5w}nb_i#WnIPkoB=Zc z-g0|Vs?`b-B7SmXEmW`!HT!zjk_uyAPQJ|ZZ;zZ>_bHSST~@PCL$*%7HkVu4w|Bj{ zvX|6iivhqN0HS>n3$`rSTKj=f@-kWKEnj9nmNskXXN3ql!PsPBVzOfkXPF0BvNz6yC`6Htt>}-j9I7mmu#fKyv~)5r?RRw7e|-zcy2fNbwD* zpyVd%cSn?Ak<3Tk3*7B0oBe@P5{Cm#o*F4rYShW@tItKEPHgA&)_X~$M57f0pk^Zl zk@$i27ZV!{OhsRV?7X+2|CZGLKA?b0248?wD!raFSI{(C?0K=L72=w?X@?hbR%r}N zANwW}F|Lx-`-vjqgatUAP(4v3CD$X@DIY5g$e`AkL~l7<~fu$Xdw^@AB`kVk5~`Gl7Ie*Pu*;x*0h4n zLrYL>8S%w}Hekw-ekJl^HF?4$!?@>1?7s>EHg>ADEoBqoX(|jHVArmQDB({nLUPUS zEdbdeXM?@J@)qe51YI#l4M4U07DMmJ;`uW3{z+V_Fc5eQ<4Fs|tnz04!YvM<-W+u0 z-QgE95+tz2Xe;Ml6i4vI>cQ9XMpyTBHh!s#fX)>W1GK~wrYoCLpsy1$)MH;vYvzqg z@v(xw+$x|J;I(GN8p7cGd6yLGR3x`SmNt3*5Qy}i>Z(`%jFn@l7*ju#VbIM*i@|Ei zJCQ9&)=zNAh!nt+2 z8!N3%0o-Q$<1&cZi6ycPMA!4F-?87w^NH8;^J{c4VKw?73VV=8LPBVI>A#M(n^kD@ z-c-{VOdf6db4r|pF+Z|zf2RZkejgh}(dP*ZLWKk#UvKYk!tKZo2F_ADhYI)6GS-8W zizHp;mM=&!9>!a)5?bVX=(IV4n8NuHmRX^_E+mK8Voj=0qt1`;x379puMhU?Ejg~L zJ(3(;$KSNeb4x>_Qyb{gkW{IRdnattZbQy!}Jz>Uw+ch7@Bw(#`3F?|e) zE&2TArX@6V+g)=^Kl)YW=YK4S6#plbHgxL>3#6UId2wQ3G;OAG3Js-b>N18OunBXS z6m%G)!RCu#f|EdzxQCj7$>OISZLubj`VP>C}(u$p3E_Bak#g8s6S z0|lAJfoGa$(>?tZI)tW>-L$H`@FG8Hp$N-m_LQ0E?%S!v8xk^oqF}44E)Il( z;PWh$BefN|+#`l2e8s(=sPL~P(M(Cb&C5YG<~$B9&2}1(xB-0J$A;vUbcpA$ddvD) zc&{;7aB!6^g+0zvhR6_Wa{~B37b{sM#6Yx^)Te4o3C(`x@p`6;s6X8|-lE8?3^`|w z_Fcak?tq<=S(XTFN_Wyo6T!a93M-$aSEqAoCT=pI^^#)q2$!ydURNzn`JvK9P5>_c ze@LiVI20S)$^*(a1nj|${C8{uA(q{t^4nP#T_F>Yfc9mY1JovE8U2m1t@UU-7#Z}P z4bf`s_*9fJtj6I(7U|;sk@t&{ zeZmsIGlG5IH?Vv@?v_v7danZTK!*N*!+^ZE4;Hb0nDJI#wwK@E49&nY=qZFHg?;%x z64E2gY)p!H8ths8JB zbam|F@#*7?A8D&1_W;3d@+)x%ZYDXShF-7pw;uYzhZKf*yEqxpWqR@5u*;Cm3fCm- zv#~?!C_YUWEsS7UI-2be(~v7toH88<_4Gs+-fiM4`tEJ<`Hvz&CEOOmxBnL79DDcN zjAZA}a@u{3{$;g;gG;b;FhmT~++Px$ z)1PV6(aC;Y5|@6_qHL7avXedbUT5S^(~RixRqcqZs{FPVR9>5Nt9ZZfzH_oCSv&)1 zmMUdw#p$uyiiBkxO^X;AAR2$*bT^FLz>0O;WH0i8KjwZvq%%{6+=F(CD)j+hIXn%O z8H}_(YdVS!&e-W?W6*chU9Hf17w1edKMDZO1!nUlvD#gnTRl&qp4#OEmP|+HnfD`t zGdahjU?iW!&oJ2Aadqcg2ATIq`dX;eK;cyPMeA`pbcl8F{bu=nW979@&m7b~J&TQT#L_u#r$10A{Hj3gR$k4q>jp)j{JSY4a%R<4%#g6;@py)<%QH=ZTR9zuqH5y5MdlZA;+1C6Aeki| zBq=h`FMR|vS@yyFy*72pq#0z$*QwN!yPM9}TqE;gRq$?kD^-eJOBZ=B8 zVTP_iTQ{%!3=I8!dF4LuhNeL1#dJi10l!ta#1s1mWN>OdPB~<4f`I|p#2kUbImFGC z>9MDQM^=zA9t^(BM(Z~d8diocP}PeRJWQUP0D3Sx!?GNTmzBwc=L=^h8G)s5U`zLu z=fAc{jeSAlS4$=`x|PKGO7iVE79H{$NUngzxJgr5+IWxSxkAbjVJhjUeKX^scrIA0 z3afABV^c;)nUa7WfZx<$Vv6PnSr`HaY&8Ac_SDYpCa*MJVdN)_;G&IG0{Un$oDTj5 zq4yRvx%j^7MA%=1UVVuL-M{@i!}5^N!MEytu=4~5eS4{6Hm?y<+Wd%H;;jQaf>;&* zOl4+Crnv6ATBJ-{1a+WbC1+H)rG-IB*r{_afT^j$_`ddxT`oN0it-b(RT`_UtxjS% z&;}3@@g7tGN+_|edio4`)NIO~u6a>$eCsA5StFsg8qQYgrmbO6C<>gW{(F7Rfae#mx;_OC=eSA~bt5`AYzm zVv%yS#PTFDf9pF{jyX0ChoENqx=!}*$L3&lKD%#~)o;?Q_TE_!+_@^Wv8BSrx1-x8 zWOj7L>hul+&;dx zMjvd{(%>am8z5IVwhu0*<`x_aB_?Q$eF9i+X>FV4xrM*R~p68HR1Fa7ChLX?j~E z&ks=?hBMIJ+0npSieOcXA{1mfdXw!A*o<7m0sH1eUEyhum{&~S`^RSeNX3p|;#H)OqQJn@h8KRwuc2eUJnO`hoWuNgIZ1} zar5b`y}LrXfJHpYB;0~)vZDfig2@GY@O5{b{XVSC9`Ezt5;;#LLF}tCB2pmUekz_) zd7njtM!zD476n%gjXzoD#wK3aYtyITqp#&rOH1V>x}lY=2-{}B=a+5hlQBv_%8bo4 z2{^$?svu0=QFd0nWSMq&e8AX$2@kj%zEG&0Bvg3XL4<6tB?r&HgCOKUo3>hDZpA}| zI+Q`MeXV!YR9AW*=B>GQzW2odSuo7mT}xCEghm3B5z@YNu4BE|U85Yn{Da;vjxf~+ zK8Q4I9%uKHp08*wC8QI%#;oL0kku4WXC;hR!{kr2uHfDSFqQ*JF|+1S(F{`#utlPo zDKvskNJ(oIKG?7hFW^u?zTLSCeFA-D-+voB|NL5zg*JUkkEy~v^>GVX<^{|S>D3E35 zTOW3CW1Du(9$zLdT)eyzlq&C)8peoJ9jfigZlwolpLx? zP71-8s1!ipsrJC6b?2#kvJjnSn)2xk*Ck{IX>edZa;_cP<$IoFr}Nx|?Bl4Ul{wdM zhpZct&2pR6<+Yv<)dZQ5#zXz)BwOQoU&O)0q3GIbyQF1X=2qS(W@=tZjqS1H*QKZv!!x{B9$Jp7VPn@kz) z6bU+9qe@OG7RvSu<%g5@56PXh(w3yZxYgaM{kq+cbmVS(-ZqA-lKqU1e3#!xaoIpK zKobuq5XIXS^5$wO`dYUo5=Rv^-%Yfe)rc1fBJUQ;KA1rN>anzj|CnZ$O5B8bABbt| z{w8$wZs+a}dy4mR&lpYeh#SeZ$J#}w*oM}c-93Kn=$(w_5u{|zM5%H4fd&-}nT*7Y zi1)|$;{-#}9&KQpH>sVy56VG`q+>m3xZ=V#6I#E|L%Y<=GU6WLJ9GXn<9qMSVLAvR zx#Sje75fRJhR`L$rZjVW$GNtzUQoNOn)lLn{H{TtR%s7ta+qjDM)MfTu{f-F#})4% z?r><(&qCJttUZw~^)|1L4GZ!z29fGQ^ysR0cALT98+0Ka~%v zUBv?{sQlt$Xe=Z49RUcV@LQ%eevAnXGzrx| z?X?dZw%1!8ZFg%&9A29uVr#JSs(&Po0z}+i1~bgGp8Pn%u-Br+fQdsCv!-R@CVAf% zGb8+kWH(|dUF(cbmQH)w5f;5JICaZdajOzxvi#$YMQYgAn$%omO{*7U9};HVHY?$K z#5Ic%Th{)+3|=ufFA<}7vjWml0P4khjU9~7^YxS?&B8M$La(>t=#D!~^;3r4@!Q@l zuF01ssB2-gxqB!?Wg`G3E6U^z-DYy*+a(uTK=n@f&+Km6U=66etGUQZCM4XBlo|`- z$#9`{P6Fz#8_V~(;v-m~{ZPjsv(AiP}9 zoJh4udKGdNK?@Maen+?YtVA!pbIdYS)9^`VFV;EzXs2fLf}4g)ZN_C%VCaa;&fB1;iY#~|cj!M~ z?0#lvDB6EOIw_0_r!XBoNS~+58Gqzojk44<8jL_f1$r`!2Em_QEtk|7?-VyN<|%Az zSJR|&vZAzPMh-S=l1WUZE3q4G=bXNX2_>i_e3QQFcxU z1B3OS!b#-RC6yF53<-5bg+ByaF3&YP!w3vAL?Aq~Fpo=Hqn}B3YH2$x`iOvd zoWu|@Nx+U{{6XknxIRhyc;K$%eej_)!C$u9^z?&Dr3UhXIO*kYxC(tG!>YecI$%I> zha%ts)#>3K+sL&CoPVHsz?Yb{#%UZXo_$Z+qq$F(e1BW4oBJmX0ktyhD(*|h3O)CH zM6$HzXCPG6eQE<^3F*XHTVund8Rz6Z=t_z68h0$qJCXm(lh7zhtE1eWl@T0l7#k2FSk$<>PBMbe3K{P|PHg@aoBT(f-LA)X~ zYGaiO$MR~vKh{_wzY%i&rjxJk-mL^-Djp@dcz@2UzKhDZWpC7&S+(1$D=13X=>kc2 zrs+RH6G6@{SHYJQPu)e`j6RlD@`o>HGh*me>hKKDhb7KtJ8~L~=nB){D*&{b=DQO( zJZ&Nx9*MmMAEAbhS#A;P_3~_{*r){eL*S-xt{V3ddGgBXlcsWu8izt_MXDnN58^va zHx05&+XQ^2q7fY3$OZ*!vZvP%+nL>%q^sORYHFMEI4!6ZS9E!n8G6q`d+k(|0Jew$ z$Br~IZkHRs0>Hiki>4bc$4X2dEqBXXZN;U+3kd=A#|VrEb?2{1;52i^MDe;yVRnuL zL!wvBqML!Ggjs*9Bhgi)>a|0Or$@`WhqggC&4XEd6QhRu4u*LYXjf~*O;Z8V6}tO{ z2~Uq@pWAzA7^E|gzd1*e%~yKP%yjv4xKCxoS?H8Ma_wNf3v}yhk{6u-&Q%hH<2uQ} zx#GXMe<|%d23IImR(@jv$guL$;lqXewsI6|pCWA8qjiNo)Jn$yV{IEY_0dqGUu{!P z1T?ymZI)qK$y^IbxlCuXFZcCWk#?c^8U->t;4$-yUHms?9I_Y3b2{Z#JPJlndf(hZ zHS}G>%YYvbH3&V$?6@5f@kZi2gf6)y>wNhK}Cgvm)cF_L;?# zMHyfeJ^wOc+67at>vD>0o~n<@$H@WRn$#Nk zer@ubs)wjo(~~`oN0G%&O~FiZbg&qyX&_Eca)b&wHOP|o%bNytq;m*s{tDm=9S60O zEUehd13fl5O{!qja(UuN@909g@u2?YQ_#Iq1X2<^&2gfY&qC2+J3bt{6@Y{yr`b!J zNFHr0ec+)Uex(Oi^HHoaNm0^9CkVG0nQvf&Hvy$mo2>QMByJo+M80o?w?QAImo8i& zBbkRYvd>N@?pLFl^yW}5MkaR%E6h@iV19@;QbKY4{r)yZNTYqY{-j)kpUhJ7%Y(aI z3hYCqLCxwTwm7R?iIhlje!0;5+0RXA5Sp}RQ!^2Yr7d!QCo$TxG(@J%Vkut^u?+3K zu>+qzljQM}gqc|bT*@O>O4pEDF}!2Qk%Y+B=er4+EWBf8j*GMQl&eQv@^kXXXw57)WR5y z8P*`VrT)c=B|f4UmU7dfU3-x41P9=`JSfT5qbve_K_*Ng--X^@0DTZcAbk1P7gybJP}jf`ewhXQ|& znPay3qj1!*PtOc2dT04A(d5F)qW_=}d5=$f?^pbR{`u6*alJ%o@eF~<{3MT+@Cvt# z2Q|)D?rO0&fVi~%>2`(ww-!GTo9EgtX@o!4JctDKj=LV)GvkW1df1ny@)E?og;boH zof<~+D4+Q%F(ZL@R@cTg>X8Co6+m-x0c~@voFxESo6H>QH_o^sQNl6@i|}<=uBRpOy|;&gjXtRddx6^j6q0 zh)v6W9A(N6v@B^*FHZB-aM@*rXlX1~YQPrt2MpR-7u>%fVMs)Fc=s6`s6xKTt=*np zpsf&G%aV92hBw&GxGp7MtUoZ0Dq%%7%MExEEZ$~2j5%q(+A>a*RHdSJ5j)>xWzM*v zuydXKq0Tj5G^yrM8Hg}cOEVV#S7<`vyc%13_vmS`41;3gWx+b25`LW5gz7QRaN9`o zy&x>I(eK4Lr2pLgeI{R=3rWpbQ7E{qCxaS$hoBmy`eSvSjs=UVpCunMC3FfHWQBOiG+T6$<88aEz4$*Yi)B40@ z4XE5H(S*XM`xS?0y%$ zv)i89)i1%)y(;Nnr)Q5LUCSK)K1bUD4Y=@g?RlTlo z5450gdLY8HuNU@SHzOcfEs7!%-cM(ns z-J4N2l5?_U`MuhTuwu`>qK02EAYP~DrF2PrNHfjctTSs>$zUq{BBM~tV2??XO+r51 zj%CsYGie_8V+M2JneGw-N3n2MtH>rE*m+Qk*JRpt6neb5_i0FCk8|Af()KzS-|i^n zbXN~64*sxOODFyj!SLK1G@)C)60ssnsB`4funS30%wbos`>C&l-f(q)CrIY>yFbT_ zm)@5&a(V#N&ADYPrvchp z`!%#?Q0p(fIXZbu1CP=>I5WKSJ81{`0T^IXgT<%4FZ*uP1EVbi?fy_>wpf+-^Gsk> zEeH$*_PIq%l!=wvG{YAw#ENt^};|H;9| z$vk1jmUwsiY~VpqJwRmyfOeurfvd~Y=YI9jg**jHMEvpmg{f#LKsHg?qYRNhpwtxVnHFq(o{ zga3`xN@}Y#?8d*PiR6t?XJAO2SLNE8FK!B{m|)(-v<6r6y>~i z>&O5mg?kDt&?q%wZlo&FlZbsb??*bwS5~I@i5YUr%NnpyOF?D1il^iKn$}F$#oN17 zpd@Fm(zB8>%?1;333zZIXy!;kkN;y8lT-&#pmqHqf12U0k`mqUC2uGlavYydiXR?$ z<8sM)cH>)8ER)9{cS%;9AHEFDvAd7rOpEqegajW;1iutBSeD4N%;FniU}Dr>1?mDT z8Skc@M#qgLOcPQXs-__A{eyQ_P6NYZK_EGe!64}=L9qZYsXM4%!&6xk9#Qu_~#+;-}1|^$@i~>Ur!!YO{%#>y6 zGdc7vu6MzwvP)Q46c!qel>1A@`L1qfl7N~vwrV%a*e(`$s2Y=T~k$k zBU1U7NN7*Sph8^6b=A^2y2g+Ta7%Fn`=6$rKbYzRjny^Y!b*WTY-|NmBH6|vsX~%i zBuWhw8%J4(h|Jz0`;Ag%5aH~HnZUn%mm#(lA&`hs2uN);KwP7f%hmKQaCCFgoc}Iz zX$svYqYH!E^J_r@+{>`*=Rb4zIRdocPhC zULRBF0x1{h8Uh(_cN~sw>5B?ui|hi&GyJPzEozf&&&~dfUkOOhUHxrIj!($+Y0O{b zW{Y-Lk7nT|3yP=lm|KU=pg;{EX`w&nVa$7+nzpu@b4YWEJaUc-U7mCzq!D;G6A&@~ z-CNW(yH5#KnS+*gLaXmEb7S)>Y;1dwp*h=D+bz*6kvv|NRMXq$;GV7PTFq=rI@D?J zIgEtkaV86H((Y1X}>182Bcx$$mPl1>@zQm)JLcuoU0mEB*Z!s|1dYih55~Xf*R(1ddr(!2u!;w!D$lDRB$26o#`l_q+j70g^Lv@PoWB+f%|~ zZC^B6u@+=GEtC?&uO<>>{t_^HlLY&10A(c4{aC}g8ZC*53L;9muNyZ+FL%lr%6A6U z8UFqaG*-Me)ZlD%yud&8rY9*vAQeeX3Hkp0l;zRT(7+D&$6tv33bx(~>ZB~Q4=u2s zldUnrN=mo6`<{wJk`=62g;zE1njYIk^+^VX$g0*_MnY)wG#IyyJb@ z!QiwHu6u-J4e&~Rxw zj+!tp}L_p%8I=G`sPZs-u(H)g{Kf<`P% z$GTA9U;$_*F>zZ-K+tKG1aK?i37W)Cq9z9jmca#NlJWacgy5{AhUNqEuqoBb;Qy+; zZ00{%2hVHl8C|*yi&A8678HA7Ta4J>Xo1vjTrKTE81w%baW&B*>>A`t=)=IgJvv6Lj0aR(4pC4+y!GttY~t&JggRcd|nv+ zU?mOpvG>Iq5Bd>ucsIuftZiIqH>PLR`9K79g>SZN9L~&9=KR5= zw7qA-Ka8OLQg07tqTo6+wY}&v)u3%xwSN*S@Fb%`5^egWx>M_+=jYqTi_XM7nA5|n z2yR-(DlqJ1XYfl}6UH8Xaf*taFPfcByT()o8b-#?&x-gLfyECtBERafI!kj@H4iXu z7o0i9Czex5BY0&Yz+%5mZ@xGJGDCK^Y7Pr)jNQka3T?0S;Wn4Pr^-t(+e zKPE~_sP6HakJ>96d9(J;PeTiH08qfB2rPz3hjHll>I(?V4}hpMo`py0DGB;pAWgZ` zhXU=UMuziK+j=yT={{$z^iaAa!b!L392hu~fLS$>4eAYOpbt%D2Ldk=gn_&$ zK;}Ibe9~`ukwQ}tUIFMz=b4W|l-h!3I}qrb+b#I2L><_WC-U(=DnaCdzq}d1 z%h`ZZ@IJG{aN^Q@M>-FJL~<%ZgI>mNqgrZDUC-6_U3p~1; zlq=5oM?el&Zm$T@!@Fh^bjqRT0=90(?A-xE2R z&F|r^|8v8Y$dSnuc>H^R=;hvce!vb2z0qEh?#O-?E_C;Oi6W(pio#*hpQ672OhruB zZ}keL<%(7?G;7J37Zzn!S{<$CJAd5DkLHZ zb2;9hyKo8Z4wi}Oe$oD%Mb`m^#*GHW`1tNdFZ#(<2+28^DCNrxtg6qz8%5w&xEoqQ zvy17u4sS0t;lY;zg*I$CK(`HQm`g>)NZ;*)y55}Q-m$GZIV1wL6!CpE5prCofrH_p zEc0yZl(Ls4(Q{aj4OzoQMG1SXE0f)kRwB;F!HearYBiEV{bgg5qZ|WOZ*ufdNFzp+ z2F-?h#-dL)ZZ??Ui{Q1}Bw7FXJ!s{_-9{|ukXa?BngVS*i4oj;uF2>5V0v1^qvr^n zt-g%Eejh&=t?^Alh;_JV;7Y=WE7KO4-k1{SiREmK{s4y5@O1HekT1pcurU|B=$dET zP(TlNi;6+lB4Q$!FJ=yy2maT3sJ)b2;yacp;cLb^YI$p@y3xF>!&aeIJD1WSGV-Av zC_Y_BE;yo*ji!Xco544BUM-9G1--pU`;kjzO0aeZav7p!6dEKO9MCdEQ+<@!VHSvA z15T~~p++h>xvW7ovlt)}pLl4!omlV&Io#9m6`uq+o9N5q6QD*N(B^-R1z8jgmAHI_ zOQrjMXt>Nb`MzKpN|`zwL>?g8Hk;tKl*b92K>(* zf=2anW)d82W6hLfC;e$6BqwcKX059=lknNH4lY}a%<_QsLVedfs*N?ck=M|@mAGq$zFNBH&J5f&@h3UA>u-pjI-}tEB?P7w|=y*^#Oy*W=a& zM#YrtP5q@g*pvL8PuBnBh!XWRi2*_1qfc<|&45X>aX~~9!&ebn&;@c9);MRs&sHNUiUm1x`$DUUwmhcO zemaoUF$mr0j@PnkpgK7n{895A+AL>vlexd}A{bdi|1A#B4?YG>s!U%hP@-HCGG(M{ zFJawn-pL>+rXv?>T|TR{RwL5;oPLD!L-r@dB{+$4%1BwO?<;lidJwqrRj909BaknW zg1Sk$XA3&AtEoBgLtW~C5~Fs;nsO1sC7jML8rz0@iLv*!=i<4@b&&j+G}Lm>(@dWP zx<=a~TNAN0y&$Wz+`r-bG;7WHwq0+u3XV`&{cWe1Tr^EG`!A}i)&CnSN06jeJLRXc z`3xD^e7Ab<>u$Z=VfU1FSdX-MPkauTgu+#gR!wm3cJCQdR#bg6*V+QEvPxZmXf&qY z#V^~)`pPhLiG$NO&bsZ>_%M3XD{Ufy1Y4WRgzjG?J;-l!p2!XIE^Sl1G*v`&bJo0bRf zTAjR{#wJFQRf*zYdE{z({{FB?dM2#M4W<$FKs{Q-0&C; zQRRsOQH@16nRGKLJPInoe1ZPpHsg^?Zv0L>EfpOLtj*v}GG{|L6ICH^bRkSPA}T{y&=GZpI#^yG^#^Y}`7I zOOoSl+-%tEl3%TKh^uoTT(a zXJ}#rh|>CxX*Vw@{Rc9Up^3$@MXjMdrQs~$s}7LG5ygG34Zz2UroqHS$X(DEoY|V% z&pIKhvf6M(kHmL@FSt?4={z#G!=j^KwYqF zj_4EzhGrH9K*=mzkjk3?Wng0q-taySWbj`&+vHW<^0g&j2j~^RH=q}GVc~ii_S^`f z7qKOfNS6#$vrmpXi&*`Wa}LlaYr1M4SspnP}Z^De~Zx`y9f!_O$+ z#A)pn?lsKKj14YezQSp!=x<_qP-XwHe&f|FpJ8C@-MKumweVP<^e5JL$)^bJ(@gCZ z0K6c2Sicb_0Dzd;8ynhpeSRa~gw4&&zx>d`-pur|9>xN|O#s=Kn;5#F_lJCz{7t|7 zsh$h)uhh#I8ykAPzqj^p?jj=hX^s8Ebq&B7&5a#)> z0h@E{8`&9X>&I6h#s39n)g0+lY)uWV4uH6TktR2$b=X`2;Pg+%bnA~d@eiHkS0C}+ zUv%$}-|d%d_?y*X z2Ih}m-B+3!di`(iW8b|R=r8fb-{F`0J01Z@jVvF^*W94c^do$8MsH;X)PltP%)kPQ zVXgh0r>FmBN=;0F8=9H=pnSqV|E?UF_ov@bs?02mzxG!t_!J*uVd{L}`hDf*4(fcw zufiGvTKSKC`SotrDPQ-n;KT|TZ1A8 zPx&GJ#=_#+CfKy*?$uC4TAt# z#at!7I{8x9ba$tFHu20oYgGW-ACiCG(N{x}v)g$i?LUWhGSE?VA_t;ydE}6)@^n*R zp4iwgefYU@h(c49RvllbJu7G(VAQ=+zjuzFpt(cp65o?-WZdV|;#BxZ0p5)~xj^gp~C_lu)!N9uf2)y1ME18N6COV%QdXVHI4{&u}ZtkvO zcL?)xHgOJf5VsbT_HiVAY9o_tLacVp{usU#+fjD@vR05}o9ne1Ys=lbaC@0h4+#K4 z_dt5en>;?E)sjT8!1i?sZ(g0ZiRTYUY?Y)b%G^0CKDSqC$cQ{57ZjOF^CP-;&&{eY zs~NJ{9U|(KsB8Dj2PpU;xTo0hJ&p^;&P-`IW8ltZ-9!-8R;1pSP&FbHMsa#ZgwEn^ z47u?mP`oAKDP#qi3N+u73cE&4dGV3>bJrlKRH(5R9`aUeP8ZPAGwMV3J9^f#n^zIQ%43z(IuyA@o-$BcR9W7M<|gX89)PtSsjJI12PEIFW8UFA4!6RH&h{T5ynWZz^uW-g}!gi%~}(9eVhv1zl3y#101m zbIN^jX;ZKAk9u;2Y!r0;Rn?)RNr2N%-a6LIWaQ8jCF$=Q!&)RgkM*<&&6GrPP7sxE zwA7c?pk<-*-Vw1=b$8A z)}eI9eM6}zXYOnY@~S7pxI)xld}}YPfyR3q#|ehgzBw5Zitl~IH0#P<@SB691Uj_D zL{9(JJ0>dG#IXl%VogveyL$__N8Qx+Rb4AEj4#7D15d%uyQlrD)I8#yKB?W^odxn6 z7eT3~Htp}hWS_2(aK(xL*=F@l%6YOY-jk)i&IJEh)Q4Y;d1vz_>z9y2Of*#bFRb~4 z5VqsrO>;GOirb3xIq6J%%&9SW_F+zpCb3<~1iLVm^m;%b2<>g(BfrSuu9^xFpF+#7p;B0H@JyJ|KO zANfx#Q{eKSFeJ4!MtQMJm@J@qgd^7~+cqkus%YDosb$iC;B6ohdSSUD+=JL!92w@7 zL6SHyg?WA_*7S^fMuC1D2QWdM<5CAkJV$m&^--+3Z_C>ogY#vFU|azOS1O1)-&vm_rP%({O1ZZr& ztCB|{jM{Ry)QDQ4<`Z*8id+kMfRtOw7ExmZlm|S>>ioL?_LqP>FsiBKHG%sfXTGM9 zChjIP8&I0Aj@Li^xPODqJOaCK3n`Pr=1NB~tH_hSt5m*!%?x+X&FF6|g&s!IPBV*F zkH?#piGQd@udvp#Y1ElD5&;7gBp5_f~mcYY7&)C(Du zwwEzsGf8E*QpGn~(z#S1lMORgZ;U5gC!+&d%ZDL{+VaXpDpG%pYw8wWJ1%u5n_EVg zbfj^Pk6=EfRL{9}rC9TjTEWsAlXITM$t{4iTI(jB+>C*+Znm1)|I~+;fw_t9P0u`A ziXWJLCUy8yM!cgwh`XYkpxvmHT19xwWsrk*EJk`%@C+VE-tAe%s`S$!ri*dz?J+R- zKuoTko#fX%Q)+Pkh3-ZR!j`IYY9l4wgzdTyb=(!8$NJ?$Y04sZb8cF%9rn2H_01_; zeE?Rx#q7t>%rLk?8UrK7SCoqCYS6TSeg2TBI+o5LC?9teBo}LA61rXJKx;Kp3riFr z(mCT;M`k;5MQ3KjNH630099n#oZ9{OQ@Gx6Z1Azk0e5(N0?AyNMKCPl29%U<{ zY_~Ox&|I_4f0#swI)$l5wMlkyEAHqLhxT2?BX~E4Ul<1o-zcDW^Gv*`<6f6fDm9bt zSuyWwja6#brq`pz(CM%la(Xb~T!+OF0RyS1GW{3RlsGa^Z0rRrt}Uk?c}nIq!nR_0qw*j+S@J6a#20aU$G5 zj?Mfs(2{8zK%oad8;^U?h^T28Bs5$aQaklU7cqK9%+9 ztq5O%lf~J};w4ko>_G>SPKctCtdV67>q6|zEBOUlDVb@cEdV)Z=649Y`Lah0&o&O0 z^qBMg_&e-*AvXN3zw>TDP8uI5-W9Q~t$1*&(jAZmlb9k=d8^IiPH)wddkPvfQJ+1@ zy8O>9lRE@e`z7QnTKHv;X}X$*HZ%PVcXm{Hjn&)yS&0_*hOcjR*e*(m6+@-nZy$hf z0BZvf@@SSr0eV|tJHgM;kdw4)J(^X>-;s6QE4|wX+OImM+e#%r=7uXH zMp(xCaa9VxyNHsWN5AUz4QY}R&m?-obUgH_JCAq%K`W*FbN3VWRsu_t-bKn}wk=P* zm}K{t!ndK;GI-$dTD&DL!LR4pB0HQLF8&(V>#U)qY}>V>~!PH-%v>oqQCI3DE424jhk{}|@L>Tx{( zR-5lH?9yqB`;POfvp~ohT1Az~ZKTz)eeVaD3;bVee9Nddn$BY%-_n;J4NRI)&z!Uvp(J==Skb_MN&WgkUl zd`kt3%3bSlm~IB(Bv*0yV0hj5SCyU&)TuVV2qE!S&P68OY^*8M7 zfME_&$r^Apu(Co0#ARCVL2)tVk}xIBYoSa0Mj!ndL=U&;T?ikN-;E9eG#5;w-{eGZ zE-ajTLC&BY;_a}V!Hcwaf?Y=fa_yb;XgprIzOcsD16A@=*j1}o%5yql2w4vtjv8`e zL4UE^I=+NrP1Wkg1#K}{qAWS5|C+KXllM1-=1YQtD$aZ zRHlU5`r(9;8i}EK+!r-G3m-oU3vf{GlBDK9jkRY$c;*y{1! zgg(ImLb0dnlp)I8>;xA#OfT618dInLfpl(PS|1kOT;KZ#Lrwhe`EvS8(kCkLJ(!Z? zq5xf`7p5B&x#+*Pc73~cy_>!-$EkbMCW%44DR9WX70k+v_YrT!Ny8*EMmzjmmy0Jt z)6*M)q5|Y{Wp~o2DTCIl6&WKvyw$`Q)O&S-{k!wq>S`TYr|R&V*!^|C)a>YUcyfE`gltAS!S}U zTajS zXYw(6K0e{YAiYF{4$AQ@fY?;b$wnP;*DR2_(4@x1kwhtSS#53jWA_Mn`l>cHtWfBN z0PVH&xTu{=(6|`>qgC(8geY~51NlfDL-{=7Vy$txkrDtPe&9oKZLQ^o~~1&yno zAGY(s>Xqjh?byUgecz4g23KTqwANygufZaheEp|AXUz{OICE>; zwm?FHis+Sv0^YpHUMfeIq1?D3UyBOwy(T1?WO zH(Mx^O*>o(Nz#u{ugM$|yOl5y-1YO&fM2K9KBIWCp~=RV=kBW2QA7Zi)^~HBVY3E{x&x zTRS})IIfEk=@TfI>@xcs6@P%W4Dv39KZnJoQ)_WmSu~RX#G+iZdz5y2+y<6R4I^|e zPHfHNb=f;*kD|c!Qww55ZE2UC~_sM8P4?E;P@dxMz z+v3yFgE`@wTy#$JvBJ{?Ldt-#h)ih!w6ghz8Bp*aRij|7>nu-v&S}KgpD>5l#sdrw z>kAY|`2$`lP-ce?PqdyXEby>jGQR&CEK+i}c951XW#*WKfLq+06OheSRk%aGCr>dM#UB?wzj7uZXAUbREnGA4}qtHt!`NP z!P(!<9ajP~_&S{4syf(zU+KazfAjXO@hlFW{)pcwVnm^|-i$Si>QvIF-(8;_pf)X* zlrn3S1?y{#6cT=Or^^4vwG9|Ma%)O#K zmm^%f-4%06;tMSyG_pFBB(y0iSn!aA(_k`OO7J}$mz%09g z$&XM(>zEXlKCaQ9T>?oTj=nq?R=4%nDWW&9Oug+ss~eZpq>QinHT zru%S+U6GP+hzJqSi(b_TKf1Q63N}qh4ahuifIRqB$SYA(qCBKO$qo}I#m z-%0A6I}H9Mu7>Z-!03wKrZQ;=c+oR(l)U@^cr8oFtuM?}G3E~@kO>kf7 z<96)Am+<%DYTXLQ=UW4s9n{uTLvQ8fZv7$!@)^m|X@(Jboh$M)6CdEUiQ9uFvUL zso;*ZMoJ9L8>?`|Vk`uU(VvohW5S~+|M158N}d7#i0oP*O8b~M3{}_XT`(YvFw0%I zY9OMdWDK*IIwD&Gq6;7JO7oR*D6Qfd{=%C+gi zP9cHXg;Ip4Nhu5k$?7fOlAcTzN4(Pl2Hu}4zX%VP70B#|WV$zWnW3w0BlvF7w@JdDAbo@h2NDA|Gn%X~yBS5Qn|vN; z8_jcD%wOt2IB0#jLUYq#`VrvE`aK!}7`r7X%K2LH{Ww-%gQOSLjn4L!;YWT3@>tKf z6LpM*VZqn%3WWhcS!B$hfYPpCrHYGeoZ~n*-M{cdUT8a*EI8ChGC7o<-GHcPnP$>l zkIzs%TeW^HLy!2FS(89EtTY_}wM(-kcA*C&vZzZ$Z(V=N4(D89>a2s@&)XLsg*eJ> zX9u3y?4rZy=Sq0wUu!Vp@XkRjh9qLuixAROuNmSk`|Wg54*ZB(%-OLdZzpppE&&+z{JpD9`~cflyl@6!^FEn{*9?mt30*_wl7(* zMV^BrWQ^MgaFP$>(E@2EdfZ=hSgZp#x6ZkC zeFFU*cg_(2wi3pQ!5#@q%SZa~J}12GzrhfWY3=}57&l9IstpWnC;A)ZjK<2H;S)&f z_Ub^qb2)%EWIMQoMjZE@rIK&eIGz_313PshOp||Ndc~OWXR8NtIKL1ZgY=la-O0aVvDj#S7GQVYJsei_B_ao*89rIHMOnK0 z)Ngi-3?MwPLJc4xNaHH{mawH%Pq306O~~Nvv6Rh+7%uBq7vU49igO$G>DJLUJuMgb z*FX=7ragzQ_ZeeLq`__4qpOOg(($>kFDX0if9bNLkK`oR6tah3-}Oa(;63^#R;=fl zVDU6??Y!$In}dJd`Ka_K);0Bu?Oj64WJd;d`qo%NjnxbHLC3sMb2WRqFUIk4_(f4L z-~0Fv$Vf)fdxh0zeIev^V%9?to8bqAYS`kbS=94M%`k`6JED{mK)Akvi!e&n4io?VcMhLkN-u_ldM4JI-L(Vlay z-?5FeoJT6~w>s-(=hgh(Pw1@G>z17=%|>S40iJh`Bt&t+RkB}aYG&!GurLos{hNUu z^`-g)Zybqw=VKu7~|7&IX?3?n5ry!dr~T!at+D8HnGhhg7(Yj<~4 z;eoB@l%ub^hxU%WtM=w_q9ZoNICk6InjR<(XQAPUzn`*oFPnjyp>B~9l$rfkQc7w` z&O{#xdz)M4+j~oQ1QvHg2@68D?W;CoJO^s&nXCy|b^%`=dd${qw=nvo8zGqtzGE`W zKZ(J0+n4-dI^;2J_`XWcvF`ckHJiD?B5z$C*|&@oyDIUDNtl69mGc)$*s4kyV{yF- z@0$27h5hs|jHt&^2cKjKC5*(u8O`Y7#aC7s-qu#Q6F%857I8FPfANq+%bQA7u>il^^S)l=o5m@owej5@2u4x1Bu20*zpmLx!(lJ5{A?_io>U|HrkG| zCuZ9^)F4#5wLTJ+1u2eUy`2AKRjRLjrua94tD9KIF5d3{!&#&K*-yl?^eJQ6`2*iZ) zco@b$`H8=Ze%7VzrAs)OYII)0Ozb49(RR5xZw!RNd*?$NwNlZ>r>J&*b0cvSn&{?O zT=Z4QxKnKY;e3>uNIx&V8SF$^)eJ$FnB%wZ&CuWAHq2a<$t@|eDK2a8DplXlwXyG2 zmbu5ZwDdHV!%vP``>XEw(oz{=3)w==to5#1)E&q4EAv)H641A`5s{FaJL#B0Og*BR z;lQTG2VvyMXS}TK8^Z|JLXX8S>eOQaXd)Jb%&Tpab43DzK>;Ui=9%JOOMOWnv=kRg z@x_X8k6Wx>?8!+uwT1AAe#G5ZpCN#6DNqKN*E$1Y8(ZDeR!GTgeCg-Vm=TwJ$@EOf z0?u|Z?q>%|=TYurs8@cMY&)(k76ldIxL4%Uaw<~25F|$PGVXUyH3)Q?s3E#E-HvQDO*qP*hN!zFKX6~U85E?Y@! ziiDLN@zBNdId1Q1yftNJpI&7T$m{j1Dx?jq)l|Qr-ZS-w8C8yIZf(UvRa4o^e7X(N zBn`jH0FY$OGpr}Z>(*G@B?}(l?C{j(eus~h%&ur-1rXQE}G>O zRK*k!c30zYNXTYyq)-VVl+eudo!t!!a!=9M7AIq2Mn@Hn+lz*XVhw z_X25gg|DNw_3g}EO0VdsCue!C(e=u>Nk!3ns`JzZtSCwNTZ2MTo|=TC76XE-|Rw!QI9b%j-TSaIWSiYV(KFbB2_E-_vX`v~*Vl%PUX^ z`CcUazALtL8->jpM6*+vGt4?HKP6-O&56U&TAA!Z8rb~Z+Lw{ zf=?|_gEQLNi&lND=*$($sq3&es<633^h~eb8t2F`Za4S5f5_JT__!73c*Kz+Uofu> zr*3&j!EPhg>3I0}5aWy?$HoX+*Ve&`6UdY|i7EzT!z=tqdUQ+0-#@TJ+B%t6CySWx znV1I5#t>0#osz%_k&Yd6kaR9Si=<{s^t?O1MDe70Zqm+3MHN*%1f&U|Q7e2i@S2W> z0uqfs*@GbS>D7X_d}w~|aqFk`M$h3!ZUqA3T_GtNofY)P=5KCjvhE!Tuuw^AItfD$ zpU4xv+-L4tSblM67h8UHvi=S8t+tQj(JFT=dXB3=YJB!-q=8W{iJHLH;yvEiA}6zpi|mb!1F2E;J&(iL<>+f7^>7J03Knzk%&pa zbCwTE`b=PEXmZ8A;GL0XciPZuhD7TcpSU+YNGt5VvLu=4PJI}C=wE;ShkR4UA9lO8 zkL&X`nsaiT*FRC`s7@PZqM3~7`YX3-hZX3#nAd#1D&n)H&*78es}O%y=_?^bSsY_4-DXUQD-Mc4{~eUeO7j)y_1X^3JINX%F~Z8ujp+Ni5honVu2Kt%r| z3v;5DOqx=oa-52;&%>#AHKt!~FtkCSe=sEh$F5|+5~fFNa|-GB%GSs{cIZ|Uq3NAc zq`PsjA>T=!7d+Z4eW8J($lJ-VtoIU;Odt=&Yx&?6vWhzWrr+qg3Ka-rYCD#|WXINs z0$ZWndO}i1obbx{SNvarj}R8Y<24K=;9uC|)~YeMN

&h z`VJ4wQ~2qM9LU|DVCB80dtGScF1niweJEacM*hZKv&XbwFmAB`peqw^YPpwXsu{58 z@sxQf@{}zg(BLt6o7g!sg<-x@v*!S=%x8@f@}>Bg!)1==;q$nF2~f4^{tM;XZ_`?- zV%AONrp0g8B;;EF(Prt=m@o}7dYX;?E9ImXqN`s5^ov-ZL5xVYSYv4R?l_~Pbt)aSuHaN4q0X zIX$PU-Tjee5b);XsO|%~z#n}rtk6pjBeP{t(zbMJmZQOt-dX=V8srCrW)ovgAu!d5 z-F3BCa_5%Oi3e@lJ;=r_CYafte6#adjq%&h9wV(G-&uv@XuQnkl ztY%Vzdgc=MMaE>eBr6PwoF9;{Sjg~p_paY%Q;~Mo?aoAZCZVryYr@l$m^kLt%OqH7 zaF&Cu$=B{H<-vdLcr8I~+ z)b9xM_B$A}oB!O0r7jhZk;D{(P3)b*;%jHe74+GlyP_}CVpVhX?XJl*NyBhh^MWFVc^~kjymLcIb1!6) zV+*zm(o$2RMYpaL!i5Xs(``5S`0?wakKhuKiCve0CTO0F@r0SyrQdEYW9>7*{appZ zKJG=5AkzzXo8KtL^uq`91j0nUy>a9?0*2h{7EPr* ztE`1eRI^(z(nSY3{)oR8J|^M`R8z&nSr04WxI&K8?xx=pruVp#|aw2*0Se7?Oq-0HIODo}9R~i>k0bRrzI?#;T5+ar}eZ8o=co zG+)|)|L(95R1sPh-%(+j^38NO&w)1MxU8hZ)c=T0>iWUSGJ_20mhtHN?B{GxR2Aw~ z8&Ln6MI~OUM}U@o)3pfH%6}=!R|L<(2cEE3TE@|>Tn!K>$fI?td&&05PL2mBQw`_1 zkOxS&xky2Yfd`IM<4I;zyPh1PKj~XP1A2h0j8lFh{`)mv#^f!vMQWKOJZG!YB4QB)2~QHiq!$@?Yu70R zvrrd>lgYXmV0?hzp&cQ2M7wcEO>UU4~jp~$G$OlN7a^PU^z#4&nh zw&M@1kW$X(pMx3HD+uRVWo0)t+Dup|Yg0S|^`o3tvN@qxynxZ`jlC`Ba7qs=Ti-YW z2~)rF7T(xJ{{-v73blBVO`!}r#R48_xv}D|OnP#kuEiim7&b1jV|#hVCY+219Co_~ zwK_uN27Oz+Z&onI4cQafkzPDc`sSw41zAulqLioH{Pd+^#bzT0us68Q&sZ1(J7yyiW(>JGe4~#x;PzT2(T&TtIX8Od2S;1 z1$G(ZLCAs7o2EBES!~{I-`jbN3gHCseC;awX{tz}1a+RaZ3wKr-vT4T1*a^cJQ2UK zXJBz#W&9FW(UJxsUyFoG=OR9bbSWgnY-T82PbY;SQv*R zf1UdqxEaX@?(?g&&ERDTCS2uk!>5NNo5mzLTsk*uFI0!7Y?3o65mApBKjmf|W8svZ z+HSszs2?I4{2>sS2z@&pWaqSa@-{dDG>M$zouHztU%cZF(8;G}_aVggkoSf#ps!f2 z_)FVkFUb+28)L??2`NA8GD(zAOE4X((&`Y!2=m3TP2Ki`e0=?z?+uw$)Aq{4^QPi= zG2c|D8HfqdWaD?R+!Zmh1KC2p;x~Nxm7SK~6gi_>RY>`ddAu-c7?JZKvo9xe%=Z{C z$T;_jYR9`LvBQ$sI|NK;nPBGFCRnJDHWrxrdCq1r_jmoh8j>L+?{3OE3|7G1n2U&= zALScLk0V=#+kB|+v=l*wNwV%rVCAvJy<0rCy58$eJc*u}$fH*v16xX8KFqo~t1R}P zmR5EshRnOF=2T*o3jxr%P3p`mZRlY~`Iik__oyj$=5|TSsPVZkt*WJhrarb<%yY^R7AZ-v|!ki$IztqLi)ZV{9BRV9`ARM=2weQX7Rh&q8s#m{qst>Wj zse?%Yp|V;}>B&HG2i?Limc>(detu$mv$vRXeT*J~R?I@$`9T%Ra+;$-?FN-#(y|}A z{lh*%+?Owqm%l|InoFo&<}eM)1>$>2(_7sX1P`p`amiF$L-Hd(BoT+kueT&YCp=LOa>% zyW+%LtE3fE{%g`)9-8D92InG^Rnz_=F;&XlhX;I0srJ;0)jv|Aay%u#<4MwuXuK5C zm7F%yK)k#Z-|E!wKKKeKzm>zVjvqpl%4Xm1wmBLC9hl6h97XrvWObzadMG{qy(?Lt zO3GAiBE{PX>@n(vq1%bkqp%Uqb?OP9pm&1 zy2QSYaf|q{?B!pQem_@2_i!1|N;4?L+8$Kb(=snq4hdyyN>pe^lihQKl+QGl$H6*mHwFFqPD@=O+I6ESeiP z?yfsF3t`M7)c4j&lI2!I`I4Sx_FdVk)YpWn{jBWxeaq;FKn66^uQEr zkq1I+MCwf`C&U24s%>sCZlocV?v2opt@ErN{=62$MQgt7(utQhhi^EkJ>(D}q#Jj& ziRmxC0O?+-8clpdq2i^Rq3lnc!R*of!_6{LCVWsxVM05hW~OkUsJXWKRK_Bl8kq?d zOs94ztaIgis;<#DgyO%2;iRFguWdAk1KVJ8igFH#Vl~xvbbsI zlo1a11AnVE_12q!f6`0{dFv*r&DS})ytZR^;T*3HHw{(8f&PVd*@uMy8ML>&YK%lm zctv)M`_$i$oY-bF?}EEpHX-MjtPUc$hE5ZTUl3f55CUGs&3Ne5Tz$3XXq_jtLIFQ; z7*BY`2oc|YT!|^Ii&MeXTY0S$2-aXF3>A3u&D_0~pm+M5LU!snoNem{v|iw6`|_16U*st({B|SQJ&oHJK$`tgVd-7EXZA>%V+p1gM)hI(>Er zVEgn0#KFVL$;8Uc@!zg}ntu*Q&cf9M@aYE|i|C~A1&$$4wd^fUGakfEVQ2?;B{)bfK=;RDw<6!%5G7f;1 zjUDvA88`nolp8G_yH##XpNFa~<4E$)O-&pM2a!@fu`y$HkzIa;95rHsa%JTg!^k?= z?~O||o|S6MwpItL%$+!!$BDa;Xb=+v9Y<132GUMK`Q;$U0sdn^F`hgmfLtyT1_6FM zUI88xeVaenw+CK>Tl8zMN~MGxErt_W9u--QIxuTUObn<=E%r4Ftu(Bghm}fEO-x*@ zuvwunJZd(HR)R8A9oA__EUG&!3F&0I$_S5EnVbXj2hK)1CIl^Jw_UUZ2yzHqMzswU zg@~NnLk+!FjVHSt=8zA;Dg8ASnyngR+z2BDMpceAUo{98uOx2}ET@Vf2T3Nz7BViC z-_i?;Fh{>dPfRz5mu0h8m5q<-lsW1Pg}lM@hyL386OwTkbNPen(E<`mpto@=)x7W9 znHl^QOGa&2_cCqmcPJO)rKZ0%sOnd{*U|THnK=U7e`AKso8cUaG9e+mQ6EEMnF3Ld zSbkmC;3d?b%j)8jenUAl!hi8GK)Cn8UlpMFYp_M+u*@3O=lE#rgHqF0OLDbpjKov( zsEcodutzv{^(z22{)$3#o^6@k-#}Bis}D~*BTQ`tela(RMxr3PEJhu*zJOC8gUJaG zAH3iZqpy9L8|A|^rund|3l`z~n>=lfhmux}lj_X8YTxX(v@z+h-=FN`#|P&>C~WYJ z2tl^?GKp8y|Kr%nW*QAN{fm=~B+!g=p`#b#Zqs z^uFHgn$2Lm_F8#*i4xf}bLyt{c&{~VM*eLwghF~%@I!L~=9W>P3ohFXxKN1$G;uQS z2h)UG7a~CIB@T4`9u4dsqQ-zZpxo3TH)ydKvM(0#ZW=w8?x9H+YFRAU^dp^#jYSka z5(ZU0$a65?it8m&=zJS7op!pm{V@7CFR%6OKCp1rK%e<{d5(>`cZza$OFY>X9S}M)o~=eI;rDt?X{PVz-SyG6tHI$_a%yNtxoj9N;2?ZI z9RDC;f&E;dS$ks+7c(QT5Z+BUAX0pPWYzk8b6WH{hGfRrQ)KE0&QsyrEJOMXA#V|; zWl5Hd-7#@T@k4B+7h5sUn?$j*#9@8zz}hsdUMedKb$y{w{1c=oqf&j*-6pKw?7p|r zsHJXF$a}8e9Ne?iN8U$j?U6EFj_Ce=ap2fgan(uai9@P1+Ad02rbDH4zN!$Fgs1rL z10|{7YlWyI(DdS=qZ#|omX^Fa3a8#6pR?BAIlG@~B@4$dbs98JXQohy@xT0X6o>Zk!_JoQlWpk=2M*>C2ZS4&A%dlk57ygpO!|wBIZm zp^~9+F~3m<&I+YsU1KIFH-(a9ggmQ*IzWZ=2$*Us(yE$z=-4CCvyq&pW$V96B^>(# z*lyvevsSZLI1ws-Ul>Y(ceKLa%r7179-1XLak9vK_^qXXK>ESlEG55Sr+kr!hy-^iCDNFl)25%9$3 z5kSXo%BPTdw|43ww*BD;ONh|>eUeI-O>%o!6pi03;(DO1n{cDtRQy{G10*_j_yB(ZX3Sh=PgxI zqRpU*circlnm0zT`)ewzy;Aw~-JKNk%3HdXK+LLvgc^vLX-I;%*9I?xn74sNBPwtx zBFP`-oG#A?-L9afFSEUI-5el_|9{tGNNwre>EbvwJr1SBDAfO4MAL z^-H@kTDwSu&uAUR%ENTk-IQ#~+u!W(&3NNA(d_sab6c$q3CCd&;a2nSRAj;$Ouoz= z8%)lT$Ty>QCw()Mw*)C!B#&zpTmP<_6nhT%(;3-jvmj(3Ikq8mXvky|9)W6I$B~lY z*y%>VdG)DaS&?Y>D+)C{vh*|r13mV

Wn07hs&2F!2G+AJh`Pu~>YGf*;JN))pn9 z-js@{$5MG0OL&J3Pd2*U90`(g8O!`t-CoHs9UhQw8b`@oS^}M+r6T}22oSd~axL*c z%H`Ek~u{xPiv+DO4&q;wFO6s!(5N5%mQ(B_YZ+~BXB!u1iH@s9 zMAe@`4Uzi34OV7#RIxQ{VY?L^pbd7BuLkXYp9a8c5v0uvims>a8W|mlo2U<+ANP*C zo!^MnTU>nbTMESfAK)w}@PEMB{{m&2$|j}=EYh}M6L)|P5CGx?=^?PFSa_QJCyBtK z0nh;f*Z}`|sBCBF3;=O(e>S1~pBkoipSk~_y#M6H06P34Kw(x6b}kMeH;9#kRTRj> z!O1Sl!^y=i#v>uh&B-MQ`2RQg>_^VT*6b5MvvKkK7a07%K!e1yO$uOPwBYSB$S-y7 zZK(rZm*>4(9r)wS8x+cMacCB1;0znNK|+8#AvvY8KE&hqo8z@sjrE15vGFrDBOFju zOG$iL7kn~h=+}A0asZVO`Mfd%4V5rfYsniql_-LoA_K*55dt}72C6rI=hR|#kx_p+ z&0KZ4(Ew}B;`_uT=$2~Xim)WOCq;almrOQ zXh#5ZS>CVKSoJ2v^S32F4|(wEd9d1f$Sa0u1naXO7Go$!LAFOf^^XF5@%$;cgP>Cb z$eI#FDp-*yt_URzk&J*SY(T`ZYN$xyx%!7e`M3kh+d9Wm5LHul^Twbd_ItO%QV213 z2vgHilHf+5-rqT@oNl_z9v+tQx7v_cXlPu#=D01K4@IUKn-_h$k@IIYx)axz{G_vc z#qy+`d*_0rlY7_Vq=SvOlKxcK5V9i?j$Hyvc~A`2& d_Zo9@Hgt4$|NQPj;9&=`aUxJriGP-PWv literal 0 HcmV?d00001 diff --git a/spec/coursework2.tex b/spec/coursework2.tex new file mode 100644 index 0000000..1885847 --- /dev/null +++ b/spec/coursework2.tex @@ -0,0 +1,408 @@ +\documentclass[11pt,]{article} +\usepackage[T1]{fontenc} +\usepackage{amssymb,amsmath} +\usepackage{txfonts} +\usepackage{microtype} +\usepackage{amssymb,amsmath} +\usepackage{graphicx} +\usepackage{subfigure} +\usepackage{natbib} +\usepackage{paralist} +\usepackage{hyperref} +\usepackage{url} +\urlstyle{same} +\usepackage{color} +\usepackage{fancyvrb} +\newcommand{\VerbBar}{|} +\newcommand{\VERB}{\Verb[commandchars=\\\{\}]} +\DefineVerbatimEnvironment{Highlighting}{Verbatim}{commandchars=\\\{\}} +% Add ',fontsize=\small' for more characters per line +\newenvironment{Shaded}{}{} +\newcommand{\KeywordTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{\textbf{{#1}}}} +\newcommand{\DataTypeTok}[1]{\textcolor[rgb]{0.56,0.13,0.00}{{#1}}} +\newcommand{\DecValTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{{#1}}} +\newcommand{\BaseNTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{{#1}}} +\newcommand{\FloatTok}[1]{\textcolor[rgb]{0.25,0.63,0.44}{{#1}}} +\newcommand{\CharTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{{#1}}} +\newcommand{\StringTok}[1]{\textcolor[rgb]{0.25,0.44,0.63}{{#1}}} +\newcommand{\CommentTok}[1]{\textcolor[rgb]{0.38,0.63,0.69}{\textit{{#1}}}} +\newcommand{\OtherTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{{#1}}} +\newcommand{\AlertTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{{#1}}}} +\newcommand{\FunctionTok}[1]{\textcolor[rgb]{0.02,0.16,0.49}{{#1}}} +\newcommand{\RegionMarkerTok}[1]{{#1}} +\newcommand{\ErrorTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{{#1}}}} +\newcommand{\NormalTok}[1]{{#1}} + +\hypersetup{breaklinks=true, + pdfauthor={}, + pdftitle={}, + colorlinks=true, + citecolor=blue, + urlcolor=blue, + linkcolor=magenta, + pdfborder={0 0 0}} + +\setlength{\parindent}{0pt} +\setlength{\parskip}{6pt plus 2pt minus 1pt} +\setlength{\emergencystretch}{3em} % prevent overfull lines +\setcounter{secnumdepth}{1} + +\usepackage[a4paper,body={170mm,250mm},top=25mm,left=25mm]{geometry} +\usepackage[sf,bf,small]{titlesec} +\usepackage{fancyhdr} + +\pagestyle{fancy} +\lhead{\sffamily MLP Coursework 2} +\rhead{\sffamily Due: 28 November 2017} +\cfoot{\sffamily \thepage} + +\author{} +\date{} + +\DeclareMathOperator{\softmax}{softmax} +\DeclareMathOperator{\sigmoid}{sigmoid} +\DeclareMathOperator{\sgn}{sgn} +\DeclareMathOperator{\relu}{relu} +\DeclareMathOperator{\lrelu}{lrelu} +\DeclareMathOperator{\elu}{elu} +\DeclareMathOperator{\selu}{selu} +\DeclareMathOperator{\maxout}{maxout} + +\begin{document} + +\begin{center} +\textsf{\textbf{\Large Machine Learning Practical: Coursework 2}} + +\bigskip +\textbf{Release date: Monday 6th November 2017} + +\textbf{Due date: 16:00 Tuesday 28th November 2017} +\end{center} + +\section{Introduction} +\label{sec:introduction} +% This coursework is concerned with training multi-layer networks to +% address the MNIST digit classification problem. It builds on the +% material covered in the first three lab notebooks and the first four +% lectures. \textbf{You should complete the first three lab +% notebooks before starting the coursework.} The aim of the coursework is +% to investigate variants of the ReLU activation function for hidden units +% in multi-layer networks, with respect to the validation set accuracies +% achieved by the trained models. + +The aim of this coursework is to further explore the classification of images of handwritten digits using neural networks. We'll be using an extended version of the MNIST database, the EMNIST Balanced dataset, described in Section~\ref{sec:emnist}. Part A of the coursework will consist of building baseline deep neural networks for the EMNIST classification task, implementation and experimentation of the Adam and RMSProp learning rules, and implementation and experimentation of Batch Normalisation. Part B will concern implementation and experimentation of convolutional networks. As with the previous coursework, you will need to hand in test files generated from your code, and a report. + +\section{Dataset} +\label{sec:emnist} +In this coursework we shall use the EMNIST (Extended MNIST) Balanced dataset, \url{https://www.nist.gov/itl/iad/image-group/emnist-dataset} \citep{cohen2017emnist}. EMNIST extends MNIST by including images of handwritten letters (upper and lower case) as well as handwritten digits. Both EMNIST and MNIST are extracted from the same underlying dataset, referred to as NIST Special Database 19. Both use the same conversion process resulting in centred images of dimension 28$\times$28. + +Although there are 62 potential classes for EMNIST (10 digits, 26 lower case letters, and 26 upper case letters) we shall use a reduced label set of 47 different labels. This is because of confusions which arise when trying to discriminate upper-case and lower-case versions of the same letter, following the data conversion process. In the 47 label set, upper- and lower-case labels are merged for the following letters: C, I, J, K, L, M, O, P, S, U, V, W, X, Y and Z. + +The training set for Balanced EMNIST has about twice the number of examples as MNIST, thus you should expect the run-time of your experiments to be about twice as long. The expected accuracy rates are lower for EMNIST than for MNIST (as EMNIST has more classes, and more confusable examples), and differences in accuracy between different systems should be larger. See \citet{cohen2017emnist} for some baseline results on EMNIST, as well as a description of the dataset. + +You don't need to download the EMNIST database from the NIST website, it will be part of the \verb+coursework_2+ branch from the \verb+mlpractical+ Github repository, discussed in Section~\ref{sec:code} below. + + + + +\section{Code} +\label{sec:code} + +You should run all of the experiments for the coursework inside the +Conda environment you set up in the first labs. The code for the coursework +is available on the course +\href{https://github.com/CSTR-Edinburgh/mlpractical/}{Github repository} +on a branch \verb+mlp2017-8/coursework_2+. To create a local working +copy of this branch in your local repository you need to do the +following. + +\begin{enumerate} +\def\labelenumi{\arabic{enumi}.} +\itemsep1pt\parskip0pt\parsep0pt +\item + Make sure all modified files on the branch you are currently have been + committed + (\href{https://github.com/CSTR-Edinburgh/mlpractical/blob/mlp2017-8/master/notes/getting-started-in-a-lab.md}{see + details here} if you are unsure how to do this). +\item + Fetch changes to the upstream \texttt{origin} repository by running\\ + \texttt{git fetch origin} +\item + Checkout a new local branch from the fetched branch using\\ + \verb+git checkout -b coursework_2 origin/mlp2017-8/coursework_2+ +\end{enumerate} + +You will now have a new branch in your local repository with all the +code necessary for the coursework in it. + +This branch includes the following additions to your setup: + +\begin{itemize} +\itemsep1pt\parskip0pt\parsep0pt +\item + A notebook \verb+BatchNormalizationLayer_tests+ which includes + test functions to check the implementations of the BatchNorm layer + \texttt{fprop}, \texttt{bprop} and \texttt{grads\_wrt\_params} + methods. The BatchNormalizationLayer skeleton code can be found in mlp.layers. + The tests use the mlp.layers implementation so be sure to reload your notebook + when you update your mlp.layers code. +\item + A notebook \verb+Convolutional_layer_tests+ which includes + test functions to check the implementations of the Convolutional layer + \texttt{fprop}, \texttt{bprop} and \texttt{grads\_wrt\_params} + methods. The ConvolutionalLayer skeleton code can be found in mlp.layers. + The tests use the mlp.layers implementation so be sure to reload your notebook + when you update your mlp.layers code. +\item + A new \texttt{ReshapeLayer} class in the \verb+mlp.layers+ module. + When included in a a multiple layer model, this allows the output of + the previous layer to be reshaped before being forward propagated to + the next layer. +\item + A new \texttt{EMNISTDataProvider} class in the \verb+mlp.data_providers+ module. + This class is a small change to the \texttt{MNISTDataProvider} class, linking to the Balanced EMNIST data, and setting the number of classes to 47. +\item + Training, validation, and test sets for the \texttt{EMNIST Balanced} dataset that + you will use in this coursework +\end{itemize} + + +% In the \texttt{notebooks} +% directory there is a notebook \verb+Coursework_1.ipynb+ which is +% intended as a starting point for structuring the code for your +% experiments. You will probably want to add additional code cells to this +% as you go along and run new experiments (e.g.~doing each new training +% run in a new cell). You may also wish to use Markdown cells to keep +% notes on the results of experiments. + +There will also be a \verb+coursework_2/report+ directory which contains the LaTeX template and style files for the report. You should copy all these files into the directory which will contain your report. + + +\section{Tasks} + +\subsection*{Part A: Deep Neural Networks} +In part A of the coursework you will focus on using deep neural networks on EMNIST, and you should implement the Adam and RMSProp learning rules, and Batch Normalisation. +\begin{enumerate} + \item Perform baseline experiments using DNNs trained on EMNIST. Obviously there are a lot things that could be explored including hidden unit activation functions, network architectures, training hyperparameters, and the use of regularisation and dropout. You cannot explore everything and is best to carefully investigate a few things in depth. + \item Implement the RMSProp \citep{tieleman2012rmsprop} and Adam \citep{kingma2015adam} learning rules, by defining new classes inheriting from \texttt{GradientDescendLearningRule} in the \texttt{mlp/learning\_rules.py} module. The \texttt{MomentumLearningRule} class is an example of how to define a learning rules which uses an additional state variable to calculate the updates to the parameters. + \item Perform experiments to compare stochastic gradient descent, RMSProp, and Adam for deep neural network training on EMNIST, building on your earlier baseline experiments. + \item Implement batch normalisation \citep{ioffe2015batch} as a class \verb+BatchNormLayer+. You need to implement \texttt{fprop}, \texttt{bprop} and \texttt{grads\_wrt\_params} methods for this class. + \item Verify the correctness of your implementation using the supplied unit tests in \verb+Batchnorm_tests.ipynb+. + \item Automatically create a test file \verb+sXXXXXXX_batchnorm_test.txt+, by running the provided program \verb+generate_conv_test.py+ which uses your \verb+BatchnormLayer+ class methods on a unique test vector generated using your student ID number. + \item Perform experiments on EMNIST to investigate the impact of using batch normalisation in deep neural networks, building on your earlier experiments. +\end{enumerate} +In the above experiments you should use the validation set to assess accuracy. Use the test set at the end to assess the accuracy of the deep neural network architecture and training setup that you judge to be the best. + + + +\subsection*{Part B: Convolutional Networks} +In part B of the coursework you should implement convolutional and max-pooling layers, and carry out experiments using a convolutional networks with one and two convolutional layers. +\begin{enumerate} + \item Implement a convolutional layer as a class \verb+ConvolutionalLayer+. You need to implement \texttt{fprop}, \texttt{bprop} and \texttt{grads\_wrt\_params} methods for this class. + \item Verify the correctness of your implementation using the supplied unit tests in \verb+Convolutional_layer_tests.ipynb+. + \item Automatically create a test file \verb+sXXXXXXX_conv_test.txt+, by running the provided program \verb+generate_conv_test.py+ which uses your \verb+ConvolutionalLayer+ class methods on a unique test vector generated using your student ID number. + \item Implement a max-pooling layer. Non-overlapping pooling (which was assumed in the lecture presentation) is required. You may also implement a more generic solution with striding as well. + \item Construct and train networks containing one and two convolutional layers, and max-pooling layers, using the Balanced EMNIST data, reporting your experimental results. As a default use convolutional kernels of dimension 5x5 (stride 1) and pooling regions of 2x2 (stride 2, hence non-overlapping). As a default convolutional networks with two convolutional layers, investigate a network with two convolutional+maxpooling layers with 5 feature maps in the first convolutional layer, and 10 feature maps in the second convolutional layer. +\end{enumerate} +As before you should mainly use the validation set to assess accuracy, using the test set to assess the accuracy of the convolutional network you judge to be the best. + + + + + + +\section{Unit Tests} +\label{sec:tests} +Part one of your coursework submission will be the test files generated for batch normalisation (\verb+sXXXXXXX_batchnorm_test.txt+) and for the convolutional layer (\verb+sXXXXXXX_conv_test.txt+), as described above. Please do not change the names of these files as they will be automatically verified. + +\section{Report} +\label{sec:report} +Part two of your coursework submission, worth 70 marks will be a report. The directory +\verb+coursework_2/report+ contains a template for your report (\verb+mlp-cw2-template.txt+); the generated pdf file (\verb+mlp-cw2-template.pdf+) is also provided, and you should read this file carefully as it contains information about the required structure and experimentation. The template is written in LaTeX, and we strongly recommend that you write your own report using LaTeX, using the supplied document style \verb+mlp2017+ (as in the template). + +You should copy the files in the \verb+report+ directory to the directory containing the LaTeX file of your report, as \verb+pdflatex+ will need to access these files when building the pdf document from the LaTeX source file. + +Your report should be in a 2-column format, based on the document format used for the ICML conference. The report should be a \textbf{maximum of 7 pages long}, with a further page for references. We will not read or assess any parts of the report beyond the allowed 7+1 pages. + +As before, all figures should be included in your report file as vector graphics; +please see the section in \verb+coursework1.pdf+ about how to do this. + +If you make use of any any books, articles, web pages or other resources +you should appropriately cite these in your report. You do not need to +cite material from the course lecture slides or lab notebooks. + +To create a pdf file \verb+mlp-cw2-template.pdf+ from a LaTeX source file (\verb+mlp-cw2-template.tex+), you can run the following in a terminal: +\begin{verbatim} +pdflatex mlp-cw2-template +bibtex mlp-cw2-template +pdflatex mlp-cw2-template +pdflatex mlp-cw2-template +\end{verbatim} +(Yes, you have to run pdflatex multiple times, in order for latex to construct the internal document references.) + +An alternative, simpler approach uses the \verb+latexmk+ program: +\begin{verbatim} +latexmk -pdf mlp-cw2-template +\end{verbatim} + +It is worth learning how to use LaTeX effectively, as it is particularly powerful for mathematical and academic writing. There are many tutorials on the web. + + +\section{Mechanics} +\label{sec:mechanics} + +\textbf{Marks:} +This assignment will be assessed out of 100 marks and +forms 25\% of your final grade for the course. + +\textbf{Academic conduct:} +Assessed work is subject to University +regulations on academic +conduct:\\\url{http://web.inf.ed.ac.uk/infweb/admin/policies/academic-misconduct} + +\textbf{Submission:} +You can submit more than once up until the submission deadline. All +submissions are timestamped automatically. Identically named files +will overwrite earlier submitted versions, so we will mark the latest +submission that comes in before the deadline. + +If you submit anything before the deadline, you may not resubmit +afterward. (This policy allows us to begin marking submissions +immediately after the deadline, without having to worry that some may +need to be re-marked). + +If you do not submit anything before the deadline, you may submit {\em +exactly once} after the deadline, and a late penalty will be applied +to this submission unless you have received an approved extension. +Please be aware that late submissions may receive lower priority for +marking, and marks may not be returned within the same timeframe as +for on-time submissions. + +{\em Warning:} Unfortunately the \verb+submit+ command will technically +allow you to submit late even if you submitted before the deadline +(i.e.\ it does not enforce the above policy). Don't do this! We will +mark the version that we retrieve just after the deadline, and (even +worse) you may still be penalized for submitting late because the +timestamp will update. + +For additional information about late penalties and extension +requests, see the School web page below. Do {\bf not} email any course +staff directly about extension requests; you must follow the +instructions on the web page. + +\url{http://web.inf.ed.ac.uk/infweb/student-services/ito/admin/coursework-projects/late-coursework-extension-requests} + +\textbf{Late submission penalty:} +Following the University guidelines, +late coursework submitted without an authorised extension will be +recorded as late and the following penalties will apply: 5 +percentage points will be deducted for every calendar day or part +thereof it is late, up to a maximum of 7 calendar days. After this +time a mark of zero will be recorded. + +\section{Backing up your work} +\label{sec:backing-up-your-work} + +It is \textbf{strongly recommended} you use some method for backing up +your work. Those working in their AFS homespace on DICE will have their +work automatically backed up as part of the +\href{http://computing.help.inf.ed.ac.uk/backups-and-mirrors}{routine +backup} of all user homespaces. If you are working on a personal +computer you should have your own backup method in place (e.g.~saving +additional copies to an external drive, syncing to a cloud service or +pushing commits to your local Git repository to a private repository on +Github). \textbf{Loss of work through failure to back up +\href{http://tinyurl.com/edinflate}{does not consitute a good reason for +late submission}}. + +You may \emph{additionally} wish to keep your coursework under version +control in your local Git repository on the \verb+coursework_2+ branch. + +If you make regular commits of your work on the coursework this will +allow you to better keep track of the changes you have made and if +necessary revert to previous versions of files and/or restore +accidentally deleted work. This is not however required and you should +note that keeping your work under version control is a distinct issue +from backing up to guard against hard drive failure. If you are working +on a personal computer you should still keep an additional back up of +your work as described above. + + + +\section{Submission} +\label{sec:submission} + +Your coursework submission should be done electronically using the +\href{http://computing.help.inf.ed.ac.uk/submit}{\texttt{submit}} +command available on DICE machines. + +Your submission should include + +\begin{itemize} +\itemsep1pt\parskip0pt\parsep0pt +\item + the unit test files generated for part 1, \verb+sXXXXXXX_batchnorm_test.txt+ and \verb+sXXXXXXX_conv_test.txt+, where your student number replaces \verb+sXXXXXXX+. Please do not + change the names of these files. +\item + your completed report as a PDF file, using the provided template +\item + any notebook (\verb+.ipynb+) files you used to run the experiments in +\item + and your local version of the \texttt{mlp} code including any changes + you made to the modules (\texttt{.py} files). +\end{itemize} +Please do not submit anything else (e.g. log files). + +You should copy all of the files to a single directory, \verb+coursework2+, e.g. + +\begin{verbatim} +mkdir coursework2 +cp reports/coursework2.pdf sXXXXXXX_batchnorm_test.txt sXXXXXXX_conv_test.txt coursework2 +\end{verbatim} + + +and then submit this directory using + +\begin{verbatim} +submit mlp cw2 coursework2 +\end{verbatim} + +Please submit the directory, not a zip file, not a tar file. + +The \texttt{submit} command will prompt you with the details of the +submission including the name of the files / directories you are +submitting and the name of the course and exercise you are submitting +for and ask you to check if these details are correct. You should check +these carefully and reply \texttt{y} to submit if you are sure the files +are correct and \texttt{n} otherwise. + +You can amend an existing submission by rerunning the \texttt{submit} +command any time up to the deadline. It is therefore a good idea +(particularly if this is your first time using the DICE submit +mechanism) to do an initial run of the \texttt{submit} command early on +and then rerun the command if you make any further updates to your +submisison rather than leaving submission to the last minute. + + +\section{Marking Scheme} +\label{sec:marking-scheme} + +\begin{itemize} +\item + Part 1, Unit tests (30 marks). +\item + Part 2, Report (70 marks). The following aspects will contribute to the mark for your report: + \begin{itemize} + \item Abstract - how clear is it? does it cover what is reported in the document + \item Introduction - do you clearly outline and motivate the paper, and describe the research questions investigated? + \item Methods -- have you carefully described the approaches you have used? + \item Experiments -- did you carry out the experiments correctly? are the results clearly presented and described? + \item Interpretation and discussion of results + \item Conclusions + \item Presentation and clarity of report + \end{itemize} +\end{itemize} + +\bibliographystyle{plainnat} +\bibliography{cw2-references} +\end{document} diff --git a/spec/cw2-references.bib b/spec/cw2-references.bib new file mode 100644 index 0000000..c27102d --- /dev/null +++ b/spec/cw2-references.bib @@ -0,0 +1,64 @@ +@inproceedings{maas2013rectifier, + title={Rectifier nonlinearities improve neural network acoustic models}, + author={Maas, Andrew L and Hannun, Awni Y and Ng, Andrew Y}, + booktitle={Proc. ICML}, + volume={30}, + number={1}, + year={2013} +} + +@inproceedings{nair2010rectified, + title={Rectified linear units improve restricted {Boltzmann} machines}, + author={Nair, Vinod and Hinton, Geoffrey E}, + booktitle={Proc ICML}, + pages={807--814}, + year={2010} +} + +@article{clevert2015fast, + title={Fast and accurate deep network learning by exponential linear units ({ELU}s)}, + author={Clevert, Djork-Arn{\'e} and Unterthiner, Thomas and Hochreiter, Sepp}, + journal={arXiv preprint arXiv:1511.07289}, + year={2015} +} +@article{klambauer2017self, + title={Self-Normalizing Neural Networks}, + author={Klambauer, G{\"u}nter and Unterthiner, Thomas and Mayr, Andreas and Hochreiter, Sepp}, + journal={arXiv preprint arXiv:1706.02515}, + year={2017} +} + +@article{cohen2017emnist, + title = {{EMNIST}: an extension of {MNIST} to handwritten letters}, + author = {Cohen, G. and Afshar, S. and Tapson, J. and van Schaik, A.}, + journal={arXiv preprint arXiv:1702.05373}, + year={2017}, + url = {https://arxiv.org/abs/1702.05373} +} + +@inproceedings{kingma2015adam, + title = {Adam: A Method for Stochastic Optimization}, + author = {Diederik P. Kingma and Jimmy Ba}, + booktitle = {ICML}, + year = {2015}, + url = {https://arxiv.org/abs/1412.6980} +} + +@article{tieleman2012rmsprop, + title={Lecture 6.5-rmsprop: Divide the gradient by a running average of its recent magnitude}, + author={Tieleman, T. and Hinton, G. E.}, + journal={COURSERA: Neural Networks for Machine Learning}, + volume={4}, + number={2}, + year={2012}, + url = {https://www.cs.toronto.edu/~tijmen/csc321/slides/lecture_slides_lec6.pdf} +} + +@inproceedings{ioffe2015batch, + title={Batch normalization: Accelerating deep network training by reducing internal covariate shift}, + author={Ioffe, Sergey and Szegedy, Christian}, + booktitle={ICML}, + pages={448--456}, + year={2015}, + url = {http://proceedings.mlr.press/v37/ioffe15.html} +}