From 3f0e49e19d94d067141bc630bddf06eed4462e6a Mon Sep 17 00:00:00 2001 From: Andrew Date: Wed, 22 Jan 2025 18:37:41 +0000 Subject: [PATCH] [CT420]: Add WK02-1 lecture notes --- year4/semester2/CT420/notes/CT420.pdf | Bin 26146 -> 100330 bytes year4/semester2/CT420/notes/CT420.tex | 98 ++++++++++++++++++++++++++ 2 files changed, 98 insertions(+) diff --git a/year4/semester2/CT420/notes/CT420.pdf b/year4/semester2/CT420/notes/CT420.pdf index 7dde6fc6f70f96c2cc30c397b3f314d136ca3ac8..fd22ab6616bb49255f3d184e9c3021f11a26a096 100644 GIT binary patch literal 100330 zcma&NV~j39(=9r)$F^Ewu6FnO=+4Rc5^2qx9@F+AZ7a=2|y^$3(FE1g3xTTGYsndUU8$%aUQBz}k z6H`J4SyMZ67YjmGW)4Dre!~B=pq*WuObu@?V0Ugc?jQ;u$fW;7!wk#m z5^67Wfn{Jf%ka5e+@>X)jL97m(ZL3Gl8WUzi((!?5c=rdh5WX}dxHkrOk@f+WVWNf zx#{5J^W7i2A*2_pz3s@v<)s~E+(q3 z$KKTssl%_|puQT}9eDa~-=ryQ;k>0In|dSkqTo|UP*weeNRUQQX)c)n$O)69%U9%f z;KPHf42Prq{Y9Ue&(?58@!8@;S$(iLiio$=u+8lIiewV?-rGmJVth8#yq(9H&^7rm+}pqJARWlAnWr%=MH+t%Nea6s9J zVFWv{UOrV-Xo7vy&0CLlQ%aMtjY~Vj-{`P(?(*H`Sxfrh(}f!AM$R?U-y1Ms$5%@# zzdy;UsMN*J=q*Ic+T)%>np@LoE3N!}hPa17#JgOEHnlVPKUVwC>Hjr3 zJIDXh_MGf2|D)}%H7D%07!i9eY2HB0xVE7%K}k2M3VxWcGxEVz!jdpHvHb+YxZLoQgmGt`WTypUh@Q)$3=5eEIuFgiFx-Ss*$GxTv+ zKa|1E!jusp4xHVuQ#u=O4jnkNX$Rg2#{}_``rL{Zc8%EvGS%$4=5R($#0=UHLC5VWiI3s3yK$BSL0`ffG z(Y1gPh?d9waF2*M^HtK_?@d5GX+KL*`RIzI8cjc&uBq^nU4_#O$U@9#_o(Qjjp2Dy z3;MD~fn8!C`lY1AEC?QTj2&Uo2Mv^>3tT%#K~}3$XZM!{8x}h~U7}QTFAz(()UBg~ z{5QD0OVGg(M5v{q&B;Ia%=}HoIW6_WViimNeL951QN-Y+2A>{4ONS#M#!k{z47WzZ z=5WuQyuxwb?_bw&{(>~OI(R~9u>)y<*Vdb2WJ<%_n@9^mFQimr+tyT+AS$<}UdyXV zPYtu7ER98ruK2LXcd?1dp$*g$YtH-f{=*5>N0HLFTi5)R4xzi~y8XBriwK5TQP)gf zZX$La%cPM=kXU@-tvpSFlvv&xp`^K|V#A;*8rC3;3H6+`8^~2EliE%|j;gN%^UKYw ztL<%GIlfqRZlkA?{d_4p5sC?l=S!WOW0Fr!uY+zqcHv%G@8T!+jyaqE8p(cDIzTPx zG4=Cp2D3e`JX_DJOVy!Sn&Y55>k`Op&B(AQ^6ULchiTv|$z(`5-1w6Drw3ENQ`V|B zLfqm!Q=?N{Bxji=bKWssxs&CT6((+=6EJi8q^<6C^G#g-Qh9LE{U@a3shJU=SC##! zI;5ITRcFH)YgC=}`I!vxm-N{@i7~^!+-LWuFlehs-bSibZ&t(yef?1o~6S@Sg zzL>e1lLf{P$BiXUSe+H=vLfFjosX~KAqkTX>!+5}?s{eq!RAfa9gYpW?fFV;Rc@*Q z2Jx+duQ!*%e%hJ(14=i!JO6<0*c3J>W7~e8D|1rkV9fqYH(v9qxiKP6__84l=a^uZ z+DaJJE)kKn_|+uY^=EF>>y|9&WZjD;qNn4ZQTfv7xeu1#pAJv_ng82gIoSS}{>s9_ z!unr_{qJ8rqCFK$(gnBks__ONrtAH$bN-Xz-1Ot4LNgys0A+0^dEyr4@w&PGE zb5!{AFm`575H}a+&p{4oYcCH7vr4#mYRe<&`vso+h0oiQH(FrI{z;Pf;msgSLp-?b zllT9An+g+zf}*BEkjWIoDJ#!+K)4l@ziS(((y7bHW4SCJ1WJctZaLYn2j}fNS*TO!F&5mV z)ff#>_Co zG*|jw+t+eF1ETTjnN!i3%+ii2SUDEkKZ;(3?(ruGmH%Aoihd`8+T%CSs$`0VW(u2K zFPSUtJ%Y#c1~9rw3@{A90-xU1ab#E@(_>)nVcEw(E;FcB@F%Oy^8C#d*=4x%oFlG} zF?4VuJjiu(8YzHHto>O=mzRE{XY;$#?yS~56dFh<&|l)pOkw0i;>D?wnJgGj=-W7`ugc%7(*HK_ zFPz&wyRnd*2LqSYC9UQOFuIpv=l~WP8b#JlvT(~d zwc;M?K%1kQ+H}81z(wKY>w7yLbpw*x%;A^fO4aq-Fhw@C?n(<^hdLSkWO~kh(Nc_e zF^ii4I5h3>O>s5DO%A-aF*?aH6VF*tmU?8Y7#=bej0m$cDRe1xc>@vAq)E+&k;t#! zx4tgel~L6-N={@x{@=Ii#VA#@-r+2P(gfwVLQ@;=6=vxhKz2lmw$qaL0xMw_t#M)n zAQ0HiYMLPyqC;r@XKT!O>HJ<%eFI2GW5?;Zv>bfJM{LfguF?8Z)93Ka%JxJ9^{um| z(|u`P!VO84+6r_c)6@D$1bH^ixAGooyLkI;`8h=4#MzGsgc6cl0U6FUNVAbfUh?x? zkmYKG%-~e@#lVuk^OF4td}6)F#$<|oBW-W-)+e@xo36in779)vIwq=_?;|T%@ZsSm z5#%dU`dA5A6nnpNvV%XnA8aqztWU=u?L>G{oQJ4b>Iglnc-W%o9NJLD*xqz*D`|=n z-Ez?5N!GJC+1vr|P3sPB6pA-Zgi%#(8Tna!*R&s{QwSY@6*BBH-N>Lludtz1U&lL>!1|%JuYOr# zN0dHe9LIOz_H~z2O0BF~`rn2^@9(EIL``1!%52$VLKrbPaikG_Ptk1YGph$WrzT%4|agt6}ytE8zR- zrgr?UinmJRxxbKL=BqdJZS)kxnD)^7;m)E1aOL*>HR6>c89lV#7$PMmwCRR!wHhUp zOGOfZ@J=qiYQw_bAP=a3A0{$5;LKR3h23i)RtGs^WZ6^)w!8%Bf)b$61*;igfh}Lb ze@CjZyD5oU^%q^72^VQc^eZQ8-8@G6{Pvr<&|L__0- z;OK{957YU%u$gedHwWw43!3*hH>ZZpn~XIJfDP+9>|Kk|)u;5-!kBH9ogtm(hFKJe zTgzF%<2vK1&IK>6$j%wNd>dTeXf_;t~gW=N;enH=_)C5;2nK!PXfN?@4v~ z;MyVAajVWE&6+1gpO63paVWcyQbp9`NqE9@_>BBV!EjTHsFk^iFBXQ0rct;AT3U>} zR*JHDG|UUe^Xf7Ga{Z7D!rZf4l`hTNBJY~gzfq=W!}YRG8Rh9Bs_+x#U78!;yx6)f zLf|{1(4s_>qNH#j#pG&zRPBX@-$2%Z1M7~BldeV547h>j6~DSGxU*mPlWR-3+zFC` z^!_L~>hTdunQ5as^m#MxHc5viA2WJA3Y)NBgF=@z#Z8kjo2wWo~F~D zVQh1*e$+WnH=Wct-aS)uA8`CSBr!Np?L0i3mtj8n1R3qlc=idB6p*ebU6WYRAy;*{ zy#OthEGi_Vclm=OXOPa^oZBwj1g+7^F`JeZ87wrs{zS}ctdmGKZb*;TGfTY>bje6b znRCKYWt4&$Og4rYgqaNOF$2qER_LqUZ=fo@WY!uWA8*&!AO!hYU4B-&kx81%x|1lR zee3BASmAj_% z&UVtzPCXkdQxC7bnQgl@9KH3QrubB37yR`yD(J!m&CHhk84R;~R?#D|E>CtvY<)@^ z6Bt`;o8}b$jvBZ6U%Nh+dxZp3-eBDtpKbLfljYfKWaEl4>#xe$ZY9|zUF8~!`vLjQ zDi0@V7AI_<`Qa6jan0acL2Rsz)Zs-qNL7fEj;;@JuOV_r z5G(+y_HPvt2MSoQ} z`V+J13q#CQH1ktf2cmjOHj5oX(P2h;ut99fJKe}8#-(AoDJWQYEMrL?j3(@`&pjK2 z`1K~S8X3lS;h{6(emaXco=B|(D@jwX;-+zcX|gsqN%&Nt+B!|>@Q^Tg)2jFJve1>o zhd=OAnf}QF@R!^srh^Kr%Gy|`vyxNTbSyS2Bv(BXv60{Bl`mcFJ6xM=_ShZ;rvQu? zq}w%HJ;MNrrF!`Q-sd`FqoQWc`FLkngS|l3oyx4G>EyCwb!C|`7?{Nd4Tv_ol_5K4=5tD1hP>J(M$^HokzRbTeV{n(|u($l|SWPS2J zbt2f~cOSg61|ti+O8z5iwXW)771gwdWIY8U$c3leY;&wrfSP)3^-?4jfeDP0MC+H6 zT3z)?pJw#B@AR9$J`c9r>+}swONP3NdLm85Q<2aF9^|j zPi`4CNQ>RLrDvn)!4k*UVv{V|k%htluBTx>Os`O;>V(TvZ(mcH%upI@LvOuM`!o|R zl4^=^J_4@^)J(iJ{9fY@b{gl^u7V8(qeQZ$%?iw4uOle7qvF^JbxMMo07-h zkKAAPca7K9n&*WVIxcP*UxcRR)O*y?_Qk$wja=6Zju$SY^R}SDxHd5PqrIQ|>oW#| zz1}Yj_lxekiQ^cng0GXjKEL-Z0jE!f_tRPvFjU#mHN26k#Bm7iCEwEsL#VQef= z>I<636MOhW@k3*Q7%iRZs|f{483?itit!+fYtrQSdx3W7kYgDpXNgyg=~jBj13JFC zq@Hsrlso5Kfa(|di$vyt+Ov|`NmfmZH+k~60AIHxeN!fGA95YLdqhOnMcotrzTVch zd6w4K#pdKS&aU`$-U>LS3B56Heh3m+QN|ZnZ{&{wQFy7mK`~*hK!sWqI`fjOZ8-7w zXGAzN~~<(2roif?jTRjgD+lzK2JYp7-_rxn7b zH=uL|ZVCkbt$GiELfGkL-HPHQrvCty%I!+LMsuLu@&07fyXql+En-f+l*z8}1=r2B z*1_Mjc-Ud~sfu;&68sLbSA6klaCb&NGHb0|u4GdsKW#v+Lt=V6fP%Wrw^<9K79nZB z+$~dNd3dA~1u;~DyUK8*qDW5VPA1#;rgskQyyB0$n3ADqu>sT6&wrwd57Jt&<#(mJ z{`iB(={b|y8TEO$66>v6V>WZ5@MwT!D#sH^^*A7bpg6~fU=lQ>%ubCqr38RECGle@ zBX$2UV(*h8s%9=rbR547Y6vV!E>pCt8NPu*i|wfN&X_TGq{7QDa|~XNad~KHA3wiK zCX?e6=xte{O@m%p!?S9JI#@>T)kB2?xMQ%-8RSoAvyg|<1>*_U9!#=3>5&Pgr+o+< z{zO^l{RmwBe5;*96L)}?M07vTQ4%>zH6uF?{;}lHpg0s91ov($n~L~>>#=W%y}D=u z*$So?17JAVdZ$$Cw!^hbxa{8yLeL>))X@tyLbX>bK>UtS z!z<7aZCz-0RF8^TUZM^(I|m`mF!d2YTC_YeMd;&Fw&(%-qz7tR7JyYfcTE@y{gTy% zZ&Uaxb-tS{y=yDIb>6C)EL_ET3lkEu(%*^x)Ukzqxkj=CIFM|i7y&D|=Bs>r%O?gp zouetS&P%rfiNLcHHR2|AMWy#L0NOMJ8Z>KclmSY_-8BA3*y-vCL1I1rOAW@ZCrp77*V66S`RH!qt_+a-N7b>0xC@2;Vsz;tJEM`jDe@Es$*7TcC&LD#P2g3 zK{)iPZ;Zucetj^c^|aqyZ*_+H`$-Q$TQuy%^G4pH0!I(WIfzGp<0R?zm8R1@wF61w!`Mf)>+0`&okt!iP3X#x}m-S$9dNY^P>UWZ}St*#K5&tv(m{94`$L(|4^-NX~j+gJG5vsRG3`II+0?nPK8-bZXLhA0($vZ59qKEPx&|uNc zoCiN7pF+lciN?wkcxvSR>PgGUPrSVRMgo1wzf^P7ALu`BmY#opIG%KLMc#1y%F`F4 zqEq%pn1DzQ#l6PnY*+-C7i+wq@WsUW(*YH^6|&(8=4*xpu@tkowA>0;7NO|MT_xHE z|5LRaAlW3(ELCh{H`^H85e6!NSwB&=?m@N*1Dmw#RS0RtfZn6ZnL6GS`Mg?bNiYT4 z`M@YOJOqiy!Tt=t4*H^T`JK6lL+jM2b=5#z6T_m>mipQd=LJuJ$z=4WUMy0X6?l`< zsA}5HVk1mgB_`gae5~XT4W9@B$Deh+ZmvROn3j^}@N}+)eR#}wPwOH$FRO32u{~0B zUMe~(c#`E*4HqAMw==zc+~9OyJcYu11ICXPJwoI~@=gxm+|##=1etv$ZOPTjaF2Yd zkQemq{(yMf;Z5p?>TYFZgFU}RgD$iecW(QTF%%>zS(N6C?*Pe0Dk#1~L-WU#B$OFf z%IlY4$MIUV%2YVf>Sm_ktDEuWDAuc8sW8cK(FA*%j@nxtKjHE!>M;+WWCxNQ*6SIs zraF5NW}#RI`>dk&+2tp3(V%=tL>?yRKVXy=iO3Tp5y2Nl8`5ll3e~*TPc~f2n;X3v&4Qe)*o zquz@rV_U&_AD|;@a!>0Ah#fBLqNzPqb#MxbHa4$X>us%-)GP!U(ffQJ&@7J48R6sy2KME+%I-x92*v z#E4Wfxk?ro9kB6D#U1IZLRwkY`LaJPI*PDsLrRh9mqWp6(~t}v0ic+%{l`V?`61Hr z5lat3Lz5|GE34ZOf02kw!rF&$0TY|@F!}a>$j>AlTBC!&C@e_y(nxnThV^LA4AQ2f zefby)$WfN7uD2*dD=?KNc`Ge5LR#7-KqiUv(46ztAQ9@bie8YoP7W&y&FvbIf;pd(7ENsey#ZGwFO zbWqAlUb|rfT;q5FruaFDk`_;CFt<59+@fp z`F`>@5OtD*1ghIIspx>)WKT8ogv4*?P;V)VdV6aU3WEB{>iEi;#gKmvy2DYfTEZm8 zSTR{we;@0~5K3K+{H+=yC?3s)E~UH8aL zcQ;p@uTkwl)KtISE;Usta2i>EcKRbD$zwGI>F~^c!fL_DO${$PaP2*#^VJ8%0E=W& z;_=Ire|HH}7=!;LhN3!7i-+`UTGpl$S;elJRbxtpRKJU7CIDczh&EEoe%h~2<3tXP zh6>P;d?|=EhBKgbdO=hqzzE5ukWj$)tV>@wPH~ZvrOKreaZV`>#gg3AjDtMg0a=f% ziv0;(4=cLVJ#{d0)sU0A(Q$*K4%|M=-H(vaFCV^T%yZWgK4 z&K8v_XGf?U7ZzS4mQm=!oE#Bg>r013Woeqkhhv4* z_DJSQqnnw(4S+Xb;2R-DJD9$}#ge)q5$O~$PtUJ*EFd3w8P#}T2gaPs^(35rtD zq+w9JloV{LC&&ES(^%^m){w}mhf`|7CEiglc3zEmwL!!IRY-cw1Y{nnfszzry{#UD zju3cs*=kcpN>i*CN>pb{oCVt{(9S6=pUBk)C_Rv7VePsd^;xzz&sVsC5&RK(aPB&j zaFeoPNItykW<0i|;JDUJNDiEov_QYBUxWRSPI3F>VnLs*L%@%dEQ0YfTYPSWFW>`wWz*x z(V%2oUexK`Jz6+Y!T2d9w#|gjyB+TOJi(#D<=%wT?%X#*ky2me$%4~Es9m*CHUc>X zn1}|QK^#Eqa&D;y;$b+!zS8Oe8=aQbWxA5DndLq(G+YCF6JE39`-pyr3$cS7M~7F{ z2pgZd2|DV%nMRZ%fUc$?=gj;2RBdlo^+J(EdBr3wDOx6*yu<~OS-?>^ja9L4H2K$# z4lXz?SK6u~+`!pZs%+D7Dp$K7R~_%I{_MRad51O4jK3=5Fuyj*?QTf@X1lfZs*yTp z5rNxUm0`zZ8_jsO9l?ja7u$Ob8rv*JZ@9cvOTuO4x~ZtBV|i1xXWGwY{AmM zBJxtIFh7@A28YVXFSA~a`F9tUHl^BXCX4um*I=r)=JM**6os>%%Kz*D z+UWWIYZQqmb(=6}S6-ZhVVq|>_8vf)^XAr@V?PE;*DT8udmuy@1?oNcoXDeJRb^@| zHE5su9Kwr{#+p9{hz*K5+8rTU-A4q_J!Ior$}@x|1FW##;sw6nTv8B4m2(le4q2Tz zShd)Xy|UGl_G;p=0wJ7?6J`_O(P9BKmW%qf0g!s)LiKV;YeWsts>aZA1+%MNek}$~SroMHpK7GV!R8mKB z5xjrzqqEgZ0LTIfO_6u)&gj{mrxqqb|6Lq z<%-~xp@6pP>EDRIw`3<**y=ia>0Ib{hD7_`5kIZgT99wR!x?|)9t7VkHvHyDeO~OX z#)D#nkn9<>GQ$S>UBV*@8C72@2fVL+#`#kMcP2{&+CJ4I+3@>Pkb@(^1yYm+Vh*Rh z&Q%3S;v1;DuQ$aAoZy%PTYL3@GdKR)&R45QOUDm+;2Y#t4&(>rjU0_tIfmG;EePOP5`GkxVF8|oXB^Xt1Skb z)5EeFEODpkBsASJ*zV``6~wF*Nn#cEKnWerL>WzW%u?i|Z91N|urNeaq9FK;-DLYR z=(UwTgG3z^3l~_CeK)3`4oC@CDwgKxG~C}eRluA)o~rgU7Vaeqxgu|c4Qy3Z$5rWc zG-}-1*b-V1<8u+@(-GoPB?cxN<_$5KpdnU}4(W=TnQ>9-Yk5QFd3tsSccE;^>yn{VAzZsDZvATuW-RL)0H+{gWC9ufxkW6M)dKE!xRc? z)Mto2xhg7Z2-gi2j#Qz!CJVCExiQqQl4&6+lwV*$ro*z-a??A_Qc7P@{GZGxDJYZ` zQ11xRz|vsx1+>gz__9GN5#oxZ{fNL+fJ(dFqp> zQjceXchxut~Q7T$eGu>aPxlfQ~8LRcaUjsZAVf|8~QP3?7II~RT_qa zzoNfUVpjj%9Df~6IWT?IvC_Ay=DufQ%?;w4zcz<%d5lsS+NzU|C!kT7k10%AJ4<42 zwy&to^s^d$iUPj2DY}FIR_TKzE-^^3VRp8Zgwko4YIj|;m9P3W9#ofBB&_PH_QiOo z?Z_t4=p}QomN-^iiBuoy7Sl`7^(;fKdrIP#D)1%kGtO{>(Vy$u!zQk-H~yV-vM6`Y z@Tx}vFj0P9^!C)eat-zAH*DH52~E9r{I1D70&g0$9+}?DfB|hNPW^c-t6{CrdsF( zNS;=y9qH=>MeUemxiV81VP6{p$F6eO#h27#(Y7$1;p)p*ya! z+~_8h`tNwu<9zwn_@j8b4svq>Vd)?Qd7_ra>vU_sS?@QM+#a5`w+{_(ZAB@sc_0)Q z;zs`^I)qo~?&A+KPO5*lY|u{=1s;m=mVHt0t)#P9>07$aXe* z5*I259&~WfNFN)qB|aOS>*Z>1Am8b((8jJiRgOLq2!!Vp@!%8Gu7olA#X%`0#Zv zf{(0a0{kQ&kCe%Rz?_unnOC#P@_V3oPile7D*!3m2OPm~FN-0A2CRlT?W0^zEU&8- zv!}m>n+e@P88CZ!-goQYa$NR53(pG#pt= z-B3oUYZAdHA->6X60us7-RN=Aih*&9M-%&;NVQSZ!>5W{H3odqVrNKJZP+Id!4y;-9HMHraC>L&~cuif?y zWfd&XZ;4GDjf=w%GamjXZJkDp5b6vD1M$r&M69ui5>7UNW>km~R$gvsvKL|`DkKiv z0E$b2j32uIX2L!ikel>2V-5zd95exI1OqBHiK7G!7u7m#(aZHU&x(nzhYTpM$uk-{ zN~(SDdl(2`UZvRA_5dv{3sEriBEOZN5yl3SC#+k_zQPz%i!cL5Qg&-yC2i&wewu(w~M^t-nUy(i9KX%H* zV3N#XGHOHhQ?ZIAxSOO_aa$Y%nZO-oZlsC5a3vWeP;cFj#8>|TClXH9{HOY2f|vr4rZmR@6Bbx8 z|H`p>tpkai@#bq>zUe6A$?HbCKe;&X#>5-hf5VaCVch69F~-qU|6|AM@kN~A9Vcnp zJ!ojBuI15aDc3(i4<$%{EbB0mIoc2DBXSPI38oj+kXYXhVEAGV*LO7K#&arEBJkW`|ksI#;~3!i$GRl_Ximl;^>wYhnXb zsE^VVQPH-4EG@;_NUaJQ=Mh{BRQe(1LWg<9o2y$?C1|KoBzsyQCG_LCVkAHwMGCzH zpPlfi&}{5FKbu`}z0#Yl;;+V`Xk@TnL=4tn6WEvH6cO62m@#T$+uQ(5{IFtXOnhD2 z+$rz>PeBlo^5f9v8Ewiny^AHV^jv%q4*4Ggi z@To?}ZJkV>mxp^dk%fU6f54m=yUENk3d-4;xK;|b%f=Kqd`>JwEe2-EZXwQ?EbF3>=Vuun$vbv+sz%ECj`}02v1}L z%Or!{g-%$uQv18Lv{d@#cRxIo+}SZYSv_z&}%bHkN&Xn$+%Y@4^dsO%w5 zS8R|^y)6nW)3EoI%^JKaKi$>>c9y$!%f);*m(Zg>mK&Vvkye4)`J`Wd(8Y{wLEXypi(pF8m(xLYL zo~B?tc|af$NSV7wky|xX*txif3Or4%kcr=9B{@-cW4_S}f&5bJj+6zxmeQ>8S$ZJd zuqVIeSqkya0i)u8#xOtKOE`cU~s` zTORJy2ykkM{GAx;_U2fianirs72nkG=;XZhS??7RZYY0xY|6MdW5y;}_4Ou0uv1_v zj;6inDr*>l(c~W)SQZrYz?GOJL~_OIYvwt$h85709=6NB(&;E-*_~!tAJVH`xIL!; zTDjJVnwXhTi_*1|jiz4a5v1^OZm6z2@Dqv|Kj6{(TU&f|`Qr^HvFA%&+~|Ep&PIW! z${7X&>6jk!CCpTO&NUo;X_KpD%z2X>F0dN*N`xojy*;K&^``9svH??debv{3jX>tE z)zZwb)7ZZqCq->h8avO~fk7WB(YlCEq`*a3f(elC^eQr5&>3K2t1YtHx!pySr@jtS znV=7u2=dBBPqHF@UK}xneZTu=6y<@`eCC!vYq_0Em_d~e$>nRJ{A@ECC2L(IfP#7~ z#h@Zy+7egWDDO%`;^9b3&4SnzK^U7o%OOID(H@guazP6s{o3=3?_V|Fc10MkF7HQBlSI5BCYxE-Znl4V(S6a}#(36+UgSyP3q z>6l#W9?o-kmjKTSrsp~Tz3V4yUYOf-XD@@!gyK=r2a;Rp7n>RL3`sV2!RPddx-(fx zhKv^w1j=Pm@t(5$DfJW7K5g=PDgm0h)-~IU$Ivl&VV&KA_r?(!0R$7O5mx~lGIl(g z9E(dQBV3GqP0Sp04Lwp1;_6((XjUqT!NrOr{G_o+ao)yA1#}oJPJE zd%H>l0Zj#TX~ud~5HKp67$%0kG6lPpO=VhKJ46I~a((Zu#MQL=S2D9tW7m$+jce)H z1PrC8d#nXPo%-N*x5btnU!JJ3o)P08hX?Vr71%;q?$b-D9vu066tC^hqcliRj(Y*} z_3H*ZTLrQX>0JA|vSc?LfhPf|#L}I%TxG_zo0blQYV#t=@&0N8O-!UIA(6H$^zV=U zLI=TXE2%|mnNJr*JHxiy<~4G~z3YhAqgPMyLb);-YM+=@S^&&loKD)VJ(@$*iiE8$l@#k>;~mEpc8^dw$LWV-V_R* zZeIjW4ta}^CapV0j_j&bJ?*cJD3jvo!V^a;@_5vUh$v|2aNA1+&DfaOr-IEcT$u+H zV>`womUUCo!g5_HAA&RucfenVtIDd01#J4N#~IeDrTb%Wb-Ful9S`A14+kiz8d5;f z=K}Ko5`Vm?Ex}g#d*vQKrM&RJb&<=&j2l!~?H0a_M4lXpZJ)V?#1jz26?h2Mv$^DF zgGsG(-VqA;V3ZSyD1JmVC%Q{S8}*(U1mf18fSij0Qcpq0bab+S?*!6i)n_ zu9N=GHs_S61K|zzi|L2M$Z2w5WvjD$@o7F1k?cJ z;vQR({sRQGx9to~IfUZ+HRFI-*Xa`eD-e54J)JL>Qf$60DEs+_r%EKInn(^bBGOEi zf+t{f=Mfqu^uc<(4&?-|JDS5z%+1c9`^@m2(zy zZ`gB(H`GaAb1>LGLO=awyDJOO=_3G)kk63YPw;ps%p^+dua^u;y+~ zmF#}@JDQ+Bw;AA&Yya!}b9v4{kztU`v)>HR%x_|omo)!Rh%?-l*CRx5leQ@88c^=h zC!{WeSqD5m$0usa4L&?!`*j$!Q}_#Io`Op4@mA~X5Kz*LSIUzQ#xNv1v>@XjgYcncAy#u0mnkP2Z@qX879&Bb*Un(5qe#G} z{tHG7go1}xyz2$0@Ceiubb~3-&NX^SMVxPYNM1r$g0-J#%2#P$2lbR3-xaf;BHArb zzQ)6aHnnZ@9PSE6Kw$xIBrdN-CYzc2nW59&jPiUw7O9zFnZX)%ra zgU0>jH&9MzMp{%$mLVrOl3<3Yy$jhq56Qs)YO*A46|hdy!c)wJ11Y!``Ry2{`2>@& z;lJ!sA~@B)U20GDy!AG`bA#gNNV^h_Hb?6>(w7N?8a?AO)7x@7Ce>Oq1)l;*+2x1< z`BG@T8B?JSMcA7*IE-n4p%49@F-du+zV&_1D=-odg?!So6&5h*4ow_CrtlAK8(Ce) ze95k8mkHnVT3gzCm3B!l5p~VUvc?M(t~*(-7ApX7Zs=&7-=F0+8w(9onbdThs#)q; z%HU;~6#XR0V~?>U@hm4b)vbcJC{L7T_;5*SXI*yauw<>#*hHm8H5`>iI~j5iMJ}z= z^6;0xO+jJi3dIpDM|}6RTi`v_H>*jX)a&@s$86fZf)%p^cCu{VVh({1H$>cB20r(Wx;WzB1D09or{vVZ0;AUF2!V4Y|ou0#&k#zqzDOPe@Z5rz&KZ_ zPP^4g7mdhm!XJCaMGYUPJ^GZje@K4Y686NUHtGylaL{~_TTd+IS zJpJ&QUu%|cl}NAAldAet%Cahd*_9qeykC#9iTxwd#_+hhipuSlk~0=1 zfb2S}A^fFPNC22fqmjl6K+_Dw`)UlY4xwP>MHC!`^;~NM|5C*72IX!8_a6EH4n+6_Jv`D|EC9 zvBq4Lgy0Uk3o239|9BTwilk%d>}zu-o>$8;GHgj77|+v%+o1i!g;hk3p4>rosIB98 z)mBdHSe`Qq5>qYBGm$-m@%MINJg$-pDyH(2A1)%FLWTn&TZ=oxFSe2kU2`#h*vvm# zh|R|UgO@U0rE@_CjAbjfaOpG9jUa%h-R#w%W15my<9cjQ7>0?N?^zZZN^mhduAblT zb-6*J<`wTpYAgeCu1vG^-;2AQ0f=^~!wQM%LR=OE`?VlD8Q3i3YWtC|gJ&2_miYfr z^F>D0DAxM}cQWzJBS!w#TgVIUF2V1e>;L`IztrIL5ceM@CYAG}xO}b=b!@(gy48!1>pT+7{1BRy- z*~uOd5Cw`;lYY+sZvDmXzoTAlj*4j{_ik_;uuunTdf}Tv`@=N!T9fYhAb5AhQ*Rea zr!-zztsNd1Kp7(Zoa*5XXCD)~4KK_I#z}f3O%MQQ#R(gFKs-QG`!ShHDsn~Rg%T}y zG0_o!D+TMTgsD%{nNR8DYrs_T%|M(2R(<_CI7b|LIx$ z??%#DnEsp75EA~ky&KM5K$><4*R3!8#0|bau3z+bK63F`h5vby7 z+Dwlm_hIdun(^V^t_Gz|MIoWE((eiG-N1&_Uw984m70>0 zmZo9ES^cDGss*KyYykGN zb)VVzupyvEUEG&;Q=|9(L*P0&HaR)ThCuK8dvhRwU+JThN)181MsI6V>r-eG65Z4p z7aQ^Zi(os{30LRWh+8IZ$d}D7xy{V=4bneXR<>ex-4UcWL+lJZgpZBK~ zceJ?3-d?jiHjk{tD&C6qvqTKtseDgCNt@cQ|C)XI_Y}_$#3h59p4|$8rFTnf~sS4Vas7qWTVr&OGc?| zQGCg5im%Sk(nGsZl~JLQ@yJ`_sOc>w0;R~5zAk^;;Q*TDiulSI%~&4@zK7REky=R$ z+4bS(i9LheVzPRnJBCKBA_hHjCW1h3usR7FDl$=ATzzx1oh+If?aAw6dW!*8CO?aV z6FLDdE`LHlsDJQ*roh=4kGHn>$KN0+1Smv05qlcr3`T+xQJKZj#_YI}A|?UzYvl$% z&j6rXy3PE3=P|zi?d6_FG)k(xP1>3_C^KxfnEf?$RySrA56gr9fNoIc@;dkofAmZ& zfFE44jp}=A*AQ+-I99K{L?D*Yn==;)|LO@t%r`mjsDvS`UVr|?6{HmtH%z}_^ocDj z z^K)j=x9%Iiv27b~Y_sEZ(y^UR$F^;CY}>YN+qRwD-oM=aJ#}`SI(6?qu-06wM%A3p z{5<0s{xR~F4_?Z}5|mXsFWBA==VOKU#K}!~NR3s34d7S5|Ga1*DauTLhA7{^Ui#qg zecGk%saIn?J*roP_)VpC`J#VEHf>UqXUc=Ny|nPcu(Z~SbhEEBT2&<>$|QNW(AmD; z(Bx!wi$4G>eCS3$;2X-)PNC>yPpAMfkG}5HHTW>&br89Hd=Gb+MU~Z% zZfZPL;UnV6#io<1=*Ys5r;T7ZBwo|Z-=MdK-LaX5paK#IJwx|s41bssyf}}d-@Lc_ zcJm+?ku?>RxkkdR_U*c8rkUZ3LV}ClN2|gd zsG9XbbrEP#qU5gaF61uPhs(4)y$ebH8`}pc@CsShvc|-7nO<;)$e@CxU2kE3dWy$- zv&B~?A!!{D*U+h@*`%>nKYbZ-j~@A6!UZGMcV>qvw>p2FJ!!IQ=7Kp>Ca7QUMV0>S z`K@8GsJBl)2|-G#sl%g-@gwk+oU$!|t#(pM!2Bo!Yg9p4^fLdUC(QD%t;y0B<4?})77?&}pA>#ryo)5_A) zf;otQjXHXtp=@*%Ze~n)5e(k1Pm%TV_lp#TofqsZrYQtUP@)10!G%R9zFNJXC0snz zk{faL2>ZXmGC3`ayuF@1BM(2}@rbC7{WGH z*|@()jpyFv^M=FhBKM4%kJZ_*z1X4&1?m0-od}QaJNtWi$f)^sf@#t&##IvWV3c#r zYqu87^fkG`hLU;cY?F`epZvytTc&dUJokhKay#iH&XN zNEVwib-36UAY(&^s@{J^ujMyZHqs`Ttt0~AIFGTaMjqgYjnpHf>imR&$UXd7YEMp} z@feZ`H*^KcjFC>0&Ayw{R)2r%23Abtg@+{tBZ;6Iw!050mj8Sf`|hW;a&^d{*Q1{NzsqH2sYs3Ovti1+fFRHKJcta` zJ#?g>L2)V)yi4=13s>EZ1r4u^DS}ylmJQZ?YugFT2};R9#pe=kz^WHlHURkK zj^0B_=P(7arpyTKnN>(SP4VeL;Jf4jK)!FO@Oa@%`aT_UgrpjYsQ7?nJ<{#-9Utzn z&gIOR-J(!NQsbJKW`8EmWVCnz_ydR!f(kO~2)))L-uP+p*mKSSaM#_ef^ZJtw*?cX zN7H|nem@gjfEEZc)Z_4nA0>^ZIHW)%hB&q{NMe~NYqa<2aE;)cR0I3cWN zMNG2U7z5_Ovz~=+;#(YTcv$%^fAs#7@_goVLXFM z%mk(c0JiLQ*OL-}YBw|_s=#)ICiFeB`Um6)%*%*Br?Xzm#!oBz!7Vjbui~n+n(vgt z!E~m>L8hGQB7(xO)EpuU7iTO?DD)*$iHmMA@H8jJpiB!f)lo7=F>xbDly+?RSUu&Y z9tNpq9BCwr#2&fKg-yyKt=#4MW1Jy0ON6&eeDZ{(Vue>|mJy5LSF_Z3nqE(*GZ7x` zkW%Aga?^Pkcd|tb9NXo3?K+Or-~s7qh(TO77bi578D0TZc7Bt&OYhoI@MVJaC~L@HGQ zkrINjuW!oviaKW%I2}TUf&!ag>kljwp_7lE)&oa#>x=cLjBAb{7ToaJ(;gn!`n&A@ zOyp11S&7!(8&hy?m3($ia(-Y;=?cE6rBO(=L$Q&<+iZ}&t07E_&?jlM0x)aKzWUIH#f|c(wg_M6c;p_ih7r*e9tl&pm1@4nc_F*y zlc!Z=2Og}oQ%IikhobdC;_2{+8+H^iE; zbeqkgUk+Eb`?8Cf#~ugvk4|uKcd{|Wj!-H(P1LH_h_5R;CBEr6WE zw6LJbg_%Q(zka`>mXCuauTGNkHa(;ci))ff%8%rcRvJeoe@HEq;-b(Zeib;T*Kr@i zubh#23Op$0%CiN{Y2zcgj5blgzv6ocTp4 z({6Qxwa1Ss_&=4#|80Zm{}QwHAA;6F|Ig2zU1NP_ef^Z29^xJ$e0^j6ee)d@!<~3V zeU)8fVi;gO5Z+nePc#EgRvHMbVF4oV!vR2^^uQbbhXt_$|9=Wz4vv41_SL7Xd&*@P(XS}T??<|wq)X`G= zWfQL%Z^F<-p%p=~u5W}7gs6uM_Cro_LyZ>_p&X6%tfo9Xe(!1y8Vxj-5Nv38*l0W6 z@R;gsPRevTE!0?DUETIH-e--$5O7|9Ym7hB7ls3y$N6ZpQoD%AgK zt9Z3xm`npi9EHhTEMGoXYl(caXWmyK_W4AGT%#2&S7XE zqT^fUiTwWX@g68kDqmt}YfHB*EBnWz-GQJJ)OEBqHr5_?m8C76HPs~@A~+!&Ru*2eBSaNWVjz4IcrIr85Ru&%bicpuh6mS; zQPI+#YguY;YMhYqp5Il_)m2UQ)mcwy#yxIUtk*9YS59gs|B7v7EvGN1@ZfkayhyH} zHtSCMyuXO4^GW?YzYsM0&i=#u-j^pH!KmlBNV=SNj){_-lB}Nmz%`r!$PB@}*3$0g zYUOHlHNCyqTTb?LhH-~@YhgW~5;im{Y5OV{0UHm!!F{h4mbmE6C0@b;p)pI&~a zcJ%GMxo1Uyxu!fe$s>h}tha7l5b6t~K%FC)hc)Y*{-)nto$UzQvG9rrlHObLog2J+U zpYYjHRr_4I=xYr25Zd{v$OHYshTw!z54`LGT?lx~@jbjHQu?5lYr0Yy*JjJCdOqRDXJ|7~!_ZVVn(^9e z=9Tt}oFRSH^ev!_*f^ka*t-V~Ey55{ZoG$WNxdI7YvUKS)^KTX8#p=a8eP}EO3U*Y zydr&LxZVJhU!~yQYhe6a0gW*RNY?8wWU+wk)b7FKx0g%TZyM67v$lB0A+tv#K#ikv z${$FVBx}ZQoMsy@WL>!B{=;tHWucp)+o>S~L!a_iCe8B&t)afpmE9dSPJsUpO(g26 zEdSvIg+1q$uFbAx?=i+e%L`9+`2%6QFWMzY-W|@}-!IsnOS&-0tL>p8>%z&&R;tds z=!3JMQ4tXXaDM6_!iHFv;X~36FI;o@}LJDR-SH5o4T?Io! z)HC~Wg74u5wm??ZqqdXI3mecuIk^!p6ry~e?T6=e72-oZ9+zCB5)z$s``Lfh4~?RI z{2(QKpkeEdVHgZh*k<5Y?GUFK_;f5fkd-EukGK04OxBj9n8xFyZ9CFcEuz{!G_z9{ zt(>BjVot9_JjbT&B<-|AlreV)3v_>Pdq*w3f)I#>S4j!fi;kzPA|Xa4iI%POGfh=n3K$cX>MDk)C;K+o~K+``@HdQxgZ7XY<+!Ex-xu#s(OfJZ%TGR|DR zfTyO-96*qZK)A2Jup`Ab`}NbgNZR^D+;!t=^2zH7%7a(igegEviHax#9c#_ezMr*1&Y`!H(qssC>%<)_z8Y~m&Y`2iR9dU2Y_lx*_q`Ek%jrhW1d1{E z`~}NSnIn%xgu4`pO3#_L4nugbnL79|4XmemdVXQ;=%Gbxl*d!tx|PW;FlGBFMLLDa z8^)Fd6!pUUC$;F4(nli%JuF4dxY7}2oF^FAj#^piLz#2S$hwZW+UPKMXL$CFj{Ivobfphc(cy{AFfpAr&S<%^6Oub|(0gtYfB zur$RA1uW2VY(df4;z3@#{h4v8A~;vllfeSFK$vBFn_Am+u5{_>;sz<%MY5@sKRG<9 z1sCORiHO!v6s--!Go-yPb_kAfUICxiuO(c&IfmO1-6O@pD{TA+k>SRPYqrTh{XC?Y zg>bch62HBoC*);}_QRmWbW z7cRk~p5 zrWSW`_}atXP!~fGK@Ju0@g|8;)Eb6z>J7~`X+?q8uVlNrN}enW!3{2ij@_~NMqE(b z=)Q+dsG0Rn)J~yi0ZzX)m#*B;Remq+{VFQ~vel=%o^2c^h>}nr3-ardTyPQ*O`E9N zm92QSg-q3V{dL=I#(6DT@8Y8+)V2FSYF=60&Z;+Sd*~ZA@613wnEZ=2{v}<{a{lr*nk)WAE_!=lZ-2+}O6GmtnKCrE1heKQ zCF6w3ogid_*$6eTA-2jexP)0p#Vm)Q#+bDptGkA+xn7(3Gw`$+K)s<*`ws?Elb)x! za6xiN)nOClPIi4t?m=OnXXB*wzB^RzXX-W2tgWuYbU8Fon|mt&MQ=7HA$f z88wxqFcrvneSHYAS3wwkh9a3NA7Fm+o}iO1x_ZPKg*F|Nz5@lMBKZC#o@C!~-hi@I zcz^@awsHZjVqDBQJRXlKLlqy=0BR--S~`xA!xn1kc&R|Qu5>yk6k6KmoMkY9tS72K zE(O`2w@U*8CE6*Y&*gR71K9x>RhKtsmp~W1jy0N55teX@wn=YD7*Pb8T`9%5gB^1A z4b=7bY-dsLKo|$UAxJkrP%UeHKEo6l`tf&A$5(A-K*D^z7+15Q`3iqnO!N>G0A~EB z9Dy=-5FAvYKJpAY#fx3Dk1c#F>qgRj^={rVQLl?&N3$_+ZS(B%YBZ$d8n)M~5d2AR zO7tm-oRTox8kXE{{_S6WR1*I5d2-m1q3enfx2D$ITI_YZjstium#xJ`0|NdfwCoEK z(s2Cnop91O7&{$#A!7(cMYhTJn+^f4$cNfJL4lCveu`%wdoMR7H6xtfFbO2kXP)51 zUFxE6TCzM(w;HCK{*7T3WMFX)y`U)W5j> zljPHdFi$-sN7P%a`)f*`A5LIPT=8CLYu+El`ORBC9+%+eGwaDcwAts|TReiBk|nAu zLRL&A@KiToaB08OKMr5c@*KLq|CpaG%*;l=^+QIa9^WZCsHFP8Ivj=sq+rE!! zsje{cULVtaiyTDtc00EjQ_!CeIPjYpPSeOwN~I_<%SwyY$R~1jM4WTWQ{U%i%%pfW zw72t;8>Hpb2n!o-=vUh)Q?+@h|JcEfOycH;mf-5|M5||Vn29I$wBn7aOr2J3XnO zTzMS z(bm^B*LBvP1dN~#Jl0{W77H8Qd3azGVBS!P`p6P3+A%AT=9}&^({z+0P#qec&dX;g zJ8v7M=>pac7DU>?OW^;IBY^B4MUW(w4phvG3k*8#kO$+XN;a5jx{uqB$*(tyj#}VE z0#TR{;b2cW!Sl+s|0bZjz$2=){E?UG%xb+f3V@80^hm~ImjG_g6ZBu^M{`7%lg|F` zxr0mKg}qzT|Gd`rc|Az>$vVeGPf}b^Cl4bUnZ$Qz$;J6S*Rxk45AKt`;nE>QKD>Ig{|Q<_uk-8)xPe$}TkD)kGwsU9_c-`Ob(GRU zs1|h@%~Q)3FyA%@6lQS}3j}Ql)7wmc7KdLDIb1n0IceHXkYLw5rRAoU=O>tp) zNmh0HFcaq;iwPA7E_|FlvMa>UG~Hg^3faPIc}nW()w>WOwiQPfx{NY#4!yVdbFoA? z*W~ZXPyRJfcn+>N(ze_H<2E9{jnUsQsE>N2pX~YL;z4xK*s zgSJF+&p+qba7gF$?2(xzc3_+dO#}QLPg@}+BMWF6PiRkTBW~Qn8a~QeJ_T5F9|L3viG9PJ$LuhoJv$u^Sp~{o=gzurtC|zXR~cTP zJ#-UhQX_lyXtAD=n~U7rt=g=BThPJO&=d3FWr$SB-lD}n?7As3kYe!(kUFGud80Mh zsQA+$K9Zx+eW=Af_5QvNd3h*vAE*aNW1#mkbK*23By-D)*Dq9acyz1<%k3z~C$YvY z-FEU`LEhRK0}MK0dF^B6#1B_D&>Y_#WR8m5H;-vml}tGqA8NacvaSru^Bj`>+ab%d zgc*Ps(*yqSJ|tp$C!IwEQ$OvbSpcim3SKSd8nCkHM)c=*m&gR8Q-iW+5fWsu-pVg0 z;9?9ZJR^1>D!WBeWDazJKW^(%++PMV*q>e&l>k9%gazHm9;aIn1T}Wc`{M{a4)mpKdVt84w%TDY%ZH>m!l8*6P!0A+_*!{n-d!jQ6||uuNRkyE z4;;8W2X$WAI|e8UklLI9A?4DUt?d;NaTVs3lQ;EqYzvW|&jZv)Us#;Qo#Rxozpc!7 zL7#`mUqSl)92V$NoIjfmBMR$CDa#h%^I-Vo{*Yb2{j~R1ER!xB4mzePxr&%?|ARK5 z4YiUii9qmdMcky$1Se9ZMYgG9>8;y%9fpR@_WBFjG=KkPPD`MfsrlZf0c&-6#Vy;L zh>_yWR7Yz}@O_ha?H*iIj4x~9?KU}j%gl^_63Y!YOjVC}HS{=2b|s97nMiL0+o0%I zx9kEofzko~GxtL*3aH3_KOMQ|O@{xqL z&luPA^o-?X{=K2nfpfcPB^3TFxOn)}{$*8WywcQEXy}SE5NyH-{=%wGWby6z1n@cv zW^A`6404IR{5QG-_D|!*-nY(=x$QA%7^iO!Kn{)!LVmW5hE9O3K?FxE8qFC!ulP_{ zNi}^FUboTb6FX9NrE6(4*P2~TC$8m*dD&L0&D9^)8UF_PT~G;q=u)Xw3nv~e#A(HP z^OmhdZs6AUDb6^09=+yS0dcRpmm`JlEZ>{-kzAQBxZJXW13UX>!~-qzlSwO~^p9Ye z$HNSjl<5p)^US=kwcz1whBJFu^I24szG&*uLqsVaq7k7Em!_9wVjGAr$#$8Tu{dhx zIM>`~_C*{daYx7HI!%xp9TLQ13#&+9T}kOwxO3u)ys+@ojL53toIpqMq-PC`szE*%`lg)P9+u>-0;?Rk--UP*g%nti5+@6X?i7e>O#&4 zdFee3+`|!)WupDO%y-~B&af9%w%g;P!~QU(kQD4~NAmXh;7VwTZwKs1Q#+LXGaGWM!KVGh|5}cZSi*3? zDogVu@}1^gqRLq|X%7uqrKAaPrL~_JnLpCugJ_l3gjw{%i-aC*P1SfYVM7VGx(B3&)D-5~%1~te-&_fJ=gxE3rw8{NI2MMb>=yR^#;sb+#0gic_Wg&DI-3Rps1O{Vt z?=BvF><%q1wBnH+%um+eIIeIXbY(K``rTIzUwHa8V?-AN>-=%mXNEA)`WXtZnzg<& z6tOuyU%JsPAjn?fQUmihP53+nk@qmEC`#DpjL zL~azt{gtjM$x31cu&CxWGunaHhm%OhN{Q5D&8JER|7##Y=!taFM=HUV}!_X^J zC4^HYn3Mqm%}|u3sK+vA|FwSSq}GV&1N(h(=vi$gqPx8VJ!!GVkXZ-Zh^!tEvtKMJ z!%|GqyYd~<$C~2?dOMT3*1(CZ-}nn!0A0P>GMU5ewZoU z%%Q0iY=xdr{byh&RQ>gL{iTN`zrLd~FgAOsJGu`$xZ-?Z-Npyh>&6?tsuf4z_GG=M zfaj5sZwCJ+ymQjPkL&Y*j>AAOaJAXG(FKDKMl82dV?Yzi^V1wGQLbmP%B4}k@EUu{ zSS(u3Ah-mIye3*pu8J&EH%{CP4D09-Su+f>5gMr08J!ID?~UaEFE9f z^EUU}l1yOPQ^PTz*O}C3$V;&xKc``>LAXI6u}o~#qX?a@D!W%%qV2PSe8>CR!a<#* zyRof=!;{1wGh3EM6qE;NbJF6)Y`R^x+Fe4h`Hh%=jIwn_qnp_v;m&>gds$54^aXca z1=(ixaRyNap%QfZ%IaaILGEUi1WG`uK*O#<*U6ax(naM z=6nX{&z~Bf?>I4&Ac)^5W%5ib*5BopI=7=pMU|uZ7J0)po>a|K*4dj)^s}RN+#b)W zH|(yuM}h-t6ZWRG&Z01zO~v~JWfrD z|Mq;0%Zoo0${2K!6eoKdbuB-BgU(fJE&WeCiTOWx(*J3Q5IYz5e`BNn09;;)GB$fa z^q}Wgj4Vi0oq`n@JE@@9k$~{Q#4?rq*$a_BDN;LPKh$rohr6g6=1N$lhy||BGa@oa zo0mJgRVRhtcgf6b+H9(H3O_GAR^1bRY^f|qaP&tkNtb&x_!w5}C|^GI6s>Y>r@6b< zjA|)oR!eW!cgagXmU3j%SR&UVqCqLgnG|yk2?a`G@U12{dO>%uclZ_{A{$EUK=&o(5g(ClU!fD zIxg%m=Wy6+9+NoVeTt#*{M)guISFP6+WITsar=mh9Z7$_Mo^P@q)Fzy2h}$MmW%f#)!C7vFpD5aT~rh^(kmD1A8D4l6KG{$*zdF z=Odyi`tJ0?D>C>2JJghm5$s>B<@ujr{=eM3#7qi?zm*-Wh?(SxnSsFnvi90LI1+RH3-|p$PQYT} z;NbZ0>iuu%IjN~(vo3||ye}ET&9O~GsC&{?* zUSEzYW1l=XL`>EqqduNyAEO?&LIfL5se^UGA97^59!d@09=9UE#w-_Y$I0IU@({Fe z$&dAqmM=`ngxv^)Eno}s2iTy$(Ph$g92DOOXu_^GaGC^XVh6G+b~T|ukzXh>@QRN- zwuOd)6&5_w2;Eq9Wmz8yml?NiH?$U4Egs)dcn*2f*MYDN$@e}>79a-_mPa=bh>(jq zn$M(eEvH~hEegHn=M14jLmY!aB4k?v#{?t8zL&Pm^?e`;}? ztAC2(!9M+dSdv1y$Nqjhyj31Ers26MIrWNzpo}YxYs!Ys25;VypR2b`u;@};?SWLf zp|c#gCiN*Mx;5achBkS=Dp|#?gQT|bPgA&g!nDQjDSJ`xr7eVX{Q`Ma^!36$dW_{v zPH?X_e5L{W?J}gUCaz(_1f z+U6#--y)tpuQ>u`uC(slIzRM*bPhr#hatao{kfqs+A)a1Ir-WW?Ne&!Rr-o+{n+`K z(6aXUC@lBf<)(iVI<<(IDQK~g)Mk@*mbNr}oH>Bazry|7P~FXOqrK`^mwja~9Dyx{ zP8q|uCsygWvzkpr?_uY58jWSg;!12aiD7zdh#dQLI;t^y_jk!P)a=H9 zs#2mBXaR*@Qb7CidD;LXlE~8lF)2eUXyM%`As|xwkduONw@N{Rsdl>lK+it_#y*2l zJI5r9{`ezLk(ehv=Oq7)O^MpjUzTeutDI1*tDVu0?bCwoGvlh;4edw4yVCBd_}lp_ zj+dTX-E0fJx70j+>*&>e>&z{C3M#h-#zr|Q4 zsz);btDeXjOfqRI*v1ZRYHWa+_%|t)N#S*je9qp-x$;w!_54=Jq@JP8u-X#`2CedG zpGtx3p+b>8o0i|YG@I6_Azh-XjYD!!p$3~%`!ljg*Ikx5P^B%LiV?GrR*8B&^9TlG zLG4t)CNS3;Q!|Ag9z}jsnbYX=*3{*15UEHc62v$I6iJ5o|^l zOa5SryVg4w!;pf5mTx!HRf+e&WS3@1x&+dzoHeX&!Ma!FWQ_0;{Z(*Bl;lz=`^vzR zt!il}oZ~`CVByM&%*mfa`FARWqqA!30C98{OVnCvKa^Nl?lYw#=+8KGl3c_D*Zn&b zQ_Zu4P5Zzq!P?ux=pPw5&%}JQ&}Gs1mja2AA<`#}zT)2bPCWtAY5(TQ+=wW!tl!o) z*HdY@`EvyX$AMX3$SG&zBy!=Dqx+Vtgbs2Xs&A({wVGeo3#H35gwzyAAf3(}oo zd6aCn3*py2fE2Ly&`+#;79#8&K*ZsTMF@gQ8XDbGBHNO@>8o@&$kL2gGyg*|7q2D` zm2eA1-7@BP8QHYv+5p+06S#!HV;Nq>9d-LJNp`xxb~^%gswffAZyo<)6rdCE55%Y@ zG0voj*AjE@YXG!|DLKp)r)Zcrjk^K;tb)pBKq*Y8tx-&ovU6~gRJ@2&ki_soOm&wBPv;q?8N1^1)9B=*jiu5l8 z3gqq11ak7{xjh6ud*yb;#roP|s%%Ch&tpiNfRnuxj z18`JQhjG2??ACp_TN1KMKn%866)mg44o4I_QIVK0SRG=80g=7Jy%O+wtwOeV$2=2a zCps8S3DRU{D-^i_sLvg_YLwF`@cEN>rc*4tB4kK4yXSZugZ&NtDz;u6l-(UQHkXw7 zm@_qFmNibwDU8c`UZx4~UEzIqaY0u!!f6X@zFxX9u%S7P!!qvOVsgJ$G?ea0hc(U& z{f?vswx7Jwtr4y#YCd@cGctQw#92%4l;Iiqo?F>b*5ih%l|G}CEe@U!SN%kQZ$1I8 zNz>JW6vU^gu|Irg;HDV}$FgcYfM2-l%0KlLPvl3oNMKX1rr#5XAU+AR2u+)9?q_d` zj4|C9D9Rii6riT(V4uGnxu#YL*Ipj-CaAuP*DCu_9`3i8eqtW=e?P+G;w5*c%Io8>~c-$Mf^bIW+W~e zR17h?RVj|;a9V2W?gf(x>JL0VgSK(Mgg{w_STDhJ>PTfXbBSS&eOGMY5et-6<8_`C z;;#954rj)RA~jl73cQLevBKiM*~a{ONkFSh@%>-{gSaxJeu-Jjdnf-m3S z-~GS?(1aAQ#Yp=BQ*<)_QDJ`rO%Q`Pn6&@t&Hp(&^#4oG95axa+4mT5UoHhzUgolPBwMS`;{-X-lt9exENR*ri< z929g?-2B;R!wFXAH$%^%9#wvPG3^ho`OX&-HGvslx2t zqjZGNx5xJHN1Ey>SEI3!(gZynt)`}$7HW?N{|tmB|3;IyZuwJ!xp!pvx(7s#2Z5F9 z<+<+Uw$f$KdgtMs^oGtg$pApcSGCA~0FTi^sG zAgtm}9}+K;{VT>Y%FFYDZjfTp1dsDT6&{Dv^dgYN=HLiEmB(!)i3u@PO*JFAzRGZ9 zd?|cmukMbd6$69faN24`Juej06qW#36~yf z?51Y7I5;<0622e4A0Y;pkTnt*$ri~H$-!rUZG>%!ZRR?6(_qkH;J=I0Umtu7KaHmg zlx3D>mu2nvonoD0kYbTy;yMXj2Mz<5fz!b4nx31sU4(v-e$sx!e$@V-{Ve_V{jmLG zkz ze#`8n!p76UH_rXwirSDjzx7MYUn(jo$*WU>HLVp+wtcDX`=c$;7uRhNWlF-$@o%S^ zR+}TAX_h;_6DA(n5MmfRW^~C;)^DD1YG`7AkTSuO5L{b(UBKMi+r-f}(dU^zk))xupoaxU-z>7m(ljb0CR>Vrw`2gbXKRY z3cIca-<#)gFcN6y$KdW8kjjk)_XMOriC22nP#tWQ-*P%9O_dD98&M%j@*MSYbkb10 zBti(D>w0AlWt9v6lO@z7l_TgfGye&B=W%8Vz zQLCfO94bfFit@?a?Z}lhF-ORe+|6!kFx8c8C+y%F^5Y~mA`e?G9zXDs9GuXWl`X1B z)=k|5p&{&m>8iMuQCt_CmEhUQZL;;PIWUJ@S*=4fCZ-1 zjxA(Xq&-8}X>4B9WH*H_uu~%nf)Aso-MrMIjAt$IcG$k1HMZH=QL>;a;>Z4Levln- zCXpoS!=yW&crGx$iyTl$jT(WWMbHPf`f{LrUWK11{q?^fa8FCr5^C%TtGmg zZsH}}-PMhYZ<}(PZ?k{u3gK;x>8*rU!Ox?Wo)nwxR&A2>rns)ZxE4u@OqNp znGg<@wpTuo+P4n%?E_fY1}sm#j4g4mLT&{2@CX2A+^JD3@)U9)6@_}I_llpgR~#Jg zJ#4`~-#6g;+4t*XFjOS9!^MMgXhV3A2(AQRig!nFQ@|7$@p!#(=XB?aa4mR*q;XCP zwEQG`_LInLA+~by=9xWsh9d#{AwD6Jo*bW_x9H%+<9oyJyz>1djs{D9IBPqQ`S$!u z)rLPrHoLt5R5@li9iYm=j8(S07Rl+QFfT^`VvWLFLVpMmUAkNEu_oxH%T|VrwWSrX z?nSSFu14GuG#*PM##8SX zs{%yV20t2I^Zx(|n!UM?B5vf*UW)WC_#Fuad=-|7yxo@n{d&2CG@YNs)W}z-JPF9N zl!p;J%#FH{5`9t9Vo{|^6tW@w9}!<_Iu5_-aEjOUg7C{ZyFl=AG@XhrT+hbp$Ms3w z-REqrGRim3Z#f)(z-io8dDg@4^00^Bgl!QT6?8cOV50kixN7Xum~XHvK*|-NElGGM zKqX(|o=K}Bbq|^LaO9bsByP$etm6{#|7^{oZh=9E{4*a6L#P*6T_;3tX{u4w=&Nmx zHY7y$e+=7r-Ppt6%oE;hu?@pqG@XV0(NBhwu!P&sg!;nXJO7*3yqQI~>DLtoE|X zN_+hBK+mu|+h~^~IZ1Hjt08%tbh2RxTs7Z1E4&Z=K8BmP2EA&&4^Z%ap1kz|_XPA6 zDRCJEI-mdB-j0$Y;C!rCLHQ>~&Dj!VA@=hof>VW3$9G4-8q7~ySwq^ly^jO#(+tQV z$;K!r-A$M3Vi8{qpZWWnWh?XIyHB@JtcV24;c zExki~ZAq8826N{PkR{fLpPk8CS%jCoYvSckR@!1mSA9>O7vHrlFCBxHm6p^dv0<<) zp+LhX>l(E5xG;s_C?=|DU$`;|7UOgDl}Qz9h8?VxBoGVaGH|%KI6Ar{J02V+B_13) zB|0W>R6cB#ZdwjOecWJG8b~~$e%-LL)jM9IwX%X*DEvm+Tfa$o5tsc8x?v0g{DzA9 z_xX9Hh#YYR#Il->*zCLSkw0|`s5WRv*;!=PaE_*+}F=`ilRwC9am19i0 zWio?0d7*=aHM{X<^u8QXka}V)0&cC=jMmQA#@8k_vz~ChwcGI&^2h9|xXpguzx(hx zTs&-5jXfq>Cz{1smBcaLxNCRON>)~95EC$6=}&CdsBHpx^*x9oACVKF*@O6{gVKm- ztpXWCZC(X7q7wsY6PCh{%?gALDHQB2&RG>9meST1zkV}r%6Kt15o#L5)WFSnyCz>P zREAkt#=*Mj0GV_@er%~t8$8o@q`}>i$cuN3#L4%~X(x?K>SjbBsIV-0ua~b~ENTvs zUs9aU^`%7-8b7u(RrV|-@N?P4teyrCE5Z7cOP#oI=_lp~o(qA+{na@!ieiPW=n(;7 zCa?HA!Gy?s#F?wa4aHv*AlJ*ZtL~{Ve^pe!>H7{YG3`8QRUj_>OKgE4CL}#Ael+;9 zCOdIchJOt^1<9EbP}f68PfoBh=!fLTxn~7~Z>pSBga63D(tEdeR=5Sb)L-yCdip+b zMqpgUfZnX+T4$lm=7zex#A4wGd4z?|?WuuLev07R);K*W6P{2^-LZkL&~VY%0l9uj zqY(1BDBNWXH?60yuZ@L=@enD-_qnn@tA6{YDI1(Bos{E;2ISr>k-rcC0o{KP# zX<>O|eCf@XOw2oHd6#~B?n>|0>8CdfJc|xQ2n$;S% z%+ae0&K&Xi!siXuOXQFX+D<45H~zVK3p5RMZMfbI9Q@>);vtWRcwzpWMqd@^gZ)t1 zSX(~2cmD!vk|w>LX@lql3auiosI?9_9E3MAEIuVzj{KT}fTSla_z0jOyU}CGLub{O zaPsDblo|Fo4R>u%39gGXA3^gZc&tXU5?WKddjt}OHH5rRf}kt&E7Nm^>eU~a8{h@G=wO)Txx6l}a|7g){dFHVS3r&c zZX}$XAzDLhtpC?)dcn{E4BJC?}sXY%>lJU)3YI@W^Dtj$aMiTmMV6BMZ!2a}^4#F#FfJ_^kaw3iV-PZiKcDd>^y~K_aU7 zbp|H&^_|kT9&#l`WA%edgWf%~O-?{%9k^4nx6=q%m#Kk8rgV?tLf0rLS7|cQA^M+n z(2^GlHVsJLCO~C@m=?sc$yK`uZw%f;2h&=>nA8rysK$p3W|KUGqDMKTTX7BJKT&uD zB6~XMWuJ76O5m#&u@Y^Sh_A`<@r}!l-x}R{wK4p8UMteJ&+?ugU@VP9$O@(wV z`qHYiB&!K8dMlV(3Hvv&z8+;1>iM(UR$sbFcl8F;Bi-88R=w%uOfdTXYMDAif8ZYM z38&rn^GVT<*-HX@s@rLuWr*zz6g1|NFza-jifvt(#QnoVRFLg5dfC*hJd@d*45!gM z@*gs=-P+fs1cbELkWS=L0R#~yv#>RYKsJx69Qb9MyACPpoEjoWZsl#!-Dv4yD+^^C94&M5#&`&CEjz8umv?acE@Az+RBvnrbfT1(x(g<|4|C!1eafmWxtAc z&ORe+X@(l!4*GdWa2x?fwraXR-f;Pavev}&#dXK|xXi$ECZS?iL@;j|Bv<~TMYTupK7pFp>|E*O~1*N zz&{nDa|czo5FK)21x!L;!xoSAmRVgIG?l#3h<8o7OEP4(jCSNfWdZ*w%u_py(IK_B z`INFvwm*Nsj(~J1IN(8r?bwWRDE~24&eUZ3jHfN*Ui;@&O(@pXgJ3>t@m|RmrYBzJ z#&knKNO-Zi*dxXbKTn9%durnm`Obm|JpTPnn+J*iH@m|u$0#0 z$=)qFOV-5ToR-zrD*pQG^)-#>?{*UFv!^s9hiFy|pdS5UrL+6~JbEv2(({SotyNK( zk%n+Bu~&F!g}dF~_b6=3p1oRkm8?y z^cRWM`&(~Lb9h1O`N4(^2al@w^qp;9@{~N$dU_2$S*Czfmz3Xh2oKVJ-$%h5WN6UR z!K8)q&(u?KLBg!1PYQBFp8n}x*-t5a76ad?roG3TG0t;J)hN`(4ZJ`Ug=`~b8IT*M zYTJZmN=QKn`v)|bLtiEztzJ?X-SfWriZIx!`ayAASuXv1$DGvNX>^Up4lV&_#COq6 zKopR%xK=FlJ-l)wC&8H7k!aQimmI@T#tOT>9XHiofDkV9LCRP<$L1u z8}_Qn&Ma@sl(T{r-=lJ+DBw`~yeN{O{D(SSn76HnyDGa)7sUJ-VS1&8o~YjnCuxFd zBAuF=Zz6C6J@js&jGaDL@&@Ov+0~&Y+ib=Hbq4U&V@G^rxAeT66~|FTT9(XBx?@lj z64;tv-H6d&mXT9e77#ZnTO$(hP=!_N*y`e%Dpi#LF@_AoHM|zE6_`Fa+7?`qUIZMmYS33e z$Y0yCh;?Scf3F2Hjh#M3V5_cj6^OTH!ku?If#+0Nr?Po9v(em2u1q%QAixe&5~HhR z9Z78OyfDv)eatAB*dJ+C9uFyj5@6RE&8OxpUqK|~gA?>Q%f#B+U4!Yfl7Cz#v=aX6 zuVK*Nf0(Q^Xp>O%;3Osq5F)yhvWuALD}H0SXnC)daggHI%Yc7Xfp?eDvNYJGJ(8Cm zCSv;uOCa>E!pJ71AiFw6dr6+3r75D?KvaCE*#^_uMK+=>p z{y~rmd9Y48k#^8NYXiU9ds10d`$M=PEY_O4k0WaV)3d2jKb%Zd(Lq=2BCZvbSm~+= zs|n&MZCI1!uA9@!5icY9=4YE%|7Xb9eJ#N)oNc7d?fxkio7ZHm#Gm3s{(h==QY71e zf1oG=<3RY@8{P*)Hur7yn*4IJRg_EE_76UkFD_!iDtZSyqQzd;H%J*>$%y4PN2`_Z zK9q{?)$7^QVKnE)JhDgOy!PmYOm+-4tW+bCs=v-NHDR>McYOC{W-5)iN5D&%;yv4m z0OSJRa%9DkSD_aSyhFz8z)XklW@1X>gl+Y@jKFfDg_V*jX<_~dqtr)Rwz+2Q>@=c} zX8#U>3lZpN?7;k1?qp;|o@yIa<&+hDsMOGyP2IhK_7D&hJ`pcJnV7H@&jyYS32$Y4 z#H?tbrdUr1d`ibWv32ZZMOA7Y+RCkVORmEup|hu^6*ed>Z7%v|Q3KVPA)4h*9MEKp z59Z|Lw)F?#%&gU@x7>4g6bT6h@br`3qCib_GK&V^DYSvy#Q+yS@Gm`kr z?7dB&L2fMUTYt%A(SJj)K}3xO@(q;i2@hsd|s1Z6B~WHv4tlNa~M0S(*7h zKJsfh@=9x{W&aTBXjY&eAvf`1u7)I%Pe1Pvyp zVdg+=`hSe`a^XOpz{I7SCW>fXCLo~`U+T)UiaDXz{|H386)VsZQp01`VzRJY9Vp}o zc0+%9W3dx&fUwFCCYIxzuLp$Xveo*PrBc-8`z-nHp@*N+|Mjr#sIQ`ErAj|Cjlc^# zbZ9bNtkF=C70}`DF$o}rF#0kT^=ua5i_d?#U)8lL3mm{^${I*4(Wl{f`5KguTawx6 z#^(wBRF>aUHp8a|^^U{mad1%gg9D8V$UmvJLCvp)m#n=xoZ>}LYDuK*2|g#ZKEnbb z(px8_Q_)pC6KGpTNlM{@W;2!WDpfv8zzAkgvK+RbzZomQWEA;c35orb&uP92M$`6{ z-9mLk7R;)McDLD_dwEdakT0=pR!JSbp>|K4MuthW943C04Iw)uQQDMIICwyL!^O$O z;0000@k3?BuKkjKwC8*K;-`?1gjLc|AwtS@;9?q@EJ%8;fLN^X3s)anPLeY~e;6G8 zv%mp3mSJwjC)Z#2&ucg3O-Ik)O|g3MmMn4BvN_KgHN}>ud09=xy9%U%zPA<0+yHog z?q^qXZ>r1gx@FJ9RF&67h$hu4cKK5oM^k;Ua6yAA) zyxW+nm1_ifqMmKgwpC$y4`Dm?8kogxqN_s>l>21 zyXxX4*9KnNgl4CzB#9?vsUX(Eb3t|6AfJQ10bB`B6-I&k7%d}-+C5{Uk2!vfN6Bjh z>j22ptMbH9vI=&u=%3p;)UeT$*cQWQ_O=4d->-Z~`;DiYbS}O`KG62WUs#&*9R#;v zk;ty$l8ffHHCqeCbZMt&(yCPn&tHt&hPK_1C5{_=g`6#}sI12y)A2P}UyyRWRa85J zh`&co{xprz1oWi;P*u8l*+M&bLGWE6EjMVQifT;@08tdl_5h3o%ngJ zLgg0HU9=eqlCMySHALS1V48G=ercv0J~8=3cAx`+80iKQ672w&ubkKGn$YTNxpKYm zPnUeD1Nm8djdyIgynvGC91Cecp)*9MNa(^L>3)luW^H!*Ra*QekO(Mh2n=nS>U&Cb zPm{E?4bh!h&jgWD2nRx3mkoHSP@x9(>77%>B$rI?m~QViLZ3*y(CO+#nrAPg(gfJg zkRMVqUZme>gXpKvcZb!Ver5QneS9VPf5K{p_`8v2nEF=~tc44!>yv3BUT!q%a~2x4 zlxDu_9vRR>sZ-Fqq&z>4$hnKD{^jV|SZegp(s zEqQhF=UZe#-l5P)4sMH?C;}}%WMQs`7@Z#MI#A@zQ?Z8W`)ir zNwrWIyA(QMUwq6W^SB7NZb5!IKfBtsFOULa@#uQruH#SGt3$1hxLkG{+LWJwqL?z1 zX8Rnz2hz)neo|`aFWl!%cd9~|CWL_O(pn=+<#>5`Z0-`IX{1|!F)9Z_$BAgrelW3c zkxJ)M+-52VYx68cs-9C;P>I2P3H_z833x@KWHLnW=+6UyJ>pkRc-@kCbWLX4cZz&B zt+Gh=`1siS5f&soF&|f5oy|SCxzEh;Oc4`g$QYdq-K05d9ujl?0biUFY)i=(LNMx%!-o|IKs<%$3|I~(! zv>Emf>-tUck!|?Ua)SQ4onJ@H7=j;{TfmX(Jw*q`0Y@IWZ2utv&x_b&<=@I~HdNy#J#PXf&+b%m@$`{iYxuSCzAGP^Hin~uAePmvNFZNeGU34u<0 zwxu;SP4!DrzWqD+xhUOhjt|F1;hAU^QG(Drs>OHQXKfn92qs0g0g*L?f{`%V*zyVy z##GqK=!Zs60z}jy+5tBqWXqJZsF_g}uGN&|4oRL&7oJoX9%0dRMI&df$unw-d2jsn zITM~G!=JBe;#=iAx0#d3Pc*w0_5riC_V)5@iNltMC96cp#ttq85d{PnuU7A*83#!d z+?Y^RX#+Hx>#^Rtm+EKPR1=3OItn5$LhO~M<*rHUrm{w|bB`tk!fHsa4JtP-_si&+ zfk)gE=F&Kk;6MW5`;ZZjo)J}9Fq)HTL^`pyf)+?%+(N9jI zlWi(=m;%`v4_XvL+vfA(LCsr@9kPkjwR!16wtNX{v7@K(gp>U)sm3fs81h!&_r-5* z(kQ->$C${QnHjNWImi-msrWrY+h{{4LUbyWPCxLm(o^Ns%2MT@1ivlmFp`l-y#+LE z&+l<0!0v!m>~;ivLNKhQj}WBfA|}fLLUKqcwmVDXAR(p$_lFM<^rJ!>;%ya7%H4;n zmdNZpNKN5l!^(eM{&Vc%M+ei;%ovI!3gRtz@ff9l+l=6uh>XdUEgnlm?dXNw`;-cP zUpn$uG9nvmr4m<+?gq(Mhs4{Ow>MUVlK8~6sOMp1lOoF$>qY@?-#5~h_ydD@N)8;u zCp4~uAUgmZD??Kd&t47N|JP~w?@cu7M8x>BLa_?)L%WOq0-APLE*k|9xBg|VV6D|* zERQAX2eJxaVESCN2Wh07K)wZ5(6b1>PKyOP21OWBNk+(0MT%~u+=dbHwhl6-XvV^i z1HXnZ5)jd!vQVdS;VO0Ly>^^!2=epeBXXsQ_%s<7Cz?@bD6MzrBKnyjh+&Z;B@w9P ze@(w-9$?fEy9q9~aA z?3gzbAo4LjagPpYE#&&RZGHS<_X)!g@Wc3+d)jMV{;LlqAi~@}tt5e!C zBOyKtV0bNA&xMv7G`zt%dK~H4j8#j`-`MXM)v6Zus)^NYEokf4ZusxI*J&{HgyyV4cSb&A81^wE$j?br zAs89R9=Z8qP;330f3R$V!j&t4o~lFoNtXWUB^$vmTMPOcGqCAlTV9-T@tSNpBi@} zf0u-X==XkqE?FLvM$KWoeYIEq)VzejL1k55Mw3)(EXoD^?A*(G51NdS@CxJG>Y~|B z@cs_9GV8yQvxk&!J<9WfeqiLqSWn;P^L_t(Ld*3&Oay_}b~$+la)vWOn-xlO8L`rGgI++zTI)8_*#P#f4SPq5pRKaU^Zp;+)|!fbp|#jmQL zb-t(o=ypy*wfa$9!0Pa#^}#>Gv2*J>MMY)Z0fWosky|$}FRg+=im9x$j5H&Z5Te^o z4Qc<}kNM=z4=qDSN?W6;deov1@{e6e1JA%4alq(8tY$~(DZ58f{sG1MldO<8WdBSa zWx%_@_SK7_V;(fS>}v!~;TH(0(rLZT)|yUxz=j~DNnD+tTPPjE<&q?_w^i<(7Cfh; zrjA()yLk!N+)V0@lbMtwP8(dV8hxt9e)1RXyH=e03i>0+=2+_#n*p^R(AaFz^>EZR zc<;B@&`ZkODD9-Q!WYlKeOEpV?fXUQzWi%f7-Rwl|4aOfblWZ+RGaC@pikTqcSz}- z|E5Tlec_UHv9UsaR!YDh4Ay0T{0?RmECYa;DTvkr8G<(%BtC1{@`uX4T3w!DUYex8 zLYv>jI`nrwp8CDIhz|7px{;x}uP~PJoinb*ByTvMV+wq~+QXcv5G2@%V?n7mzHMFQ z;&Hty+8m9JI4l;qcXWi`_idA3u{Y>?8CQ95Wdxu}5V|wm?no%dCf&J^^8)E%I=s2R zXdFBA7B7&Jsu4SWK^~rKiMI}XJWI!r|(fDdndG2XlEKDF!AT3oh6QcR{Z}i`cUc=|XOxw3@ z8s|F;Y3%3eT`x4AjI*lb$gSV`#=Q*lyk|NPpbPItUH>Ap#S zyFAyIO^_q?#&-s@-tD_&QZTV+5tT%Jv!*Q>YAsI5@MQ_<=MYHSj zmU@$a*g{TrY0}E!>$f`cT7Nq_2zlWma#cFH^Zd=MTy(k&QdAbE?z(9io1^=&d zv7lHmwsTnb(9UtSO?!*=2F?BdC|jIM1*L}9=ZEpp`eJ>= zoG5R)3|tKA0>g7uPIFUB~rUG zA(pQ?EzEthEc}BT_p5S`v!2*!ztOWG`qhk68tNkM>|7Z0daT)(laE+6ZiQ_*{ z+J8!IV_QL0QtXl0;s_)ph=Z1rkOt_sw_{n7CL8*cI%%ZYAr>UuCEQ#8{tY0gmXMO5 zAkZBM@AcVz{pCOXoXH#HTb*KMex352c1APvqQ#Z7q;4Zs0lW!0I647}1Ta}%PHh(i zK!`|(207?AHCqY&gHzzY>6rQaM*xqd|fK!__<)xacP0!ht*>suDOL8@-Q~ zV1Ska2nf(afMCBj(%~ouNDYR=>B?KThfXf~N2FmffKBdO6jUq(|1j5(63c2bUJ2%HMH~l;ve8vvG(9Zg}&T=K(Iir z_N~x1E=|G2fX)j5TvOHnGN6kma?NY`0p>paK|lv*$KT|e+OyqA137`wB#+R0}3piXYj-`FZc zIklDE%{nJhfae^8nHmMt_FfKmvMqmGHU*Rbd=io|>LK_5F5m(@1ns?BppHC=E)11Rk$@pSzwvnSHz4zlO^|gFjr`{w6AJ4Pn53>2KS^+iyQN zL)Y|{bwADQHUYnMe*k-tSy1{uYJX$}z6i#)@o#=lY2S#Ce&xS<8^83Qe|yQ599$jV z24_FW_kRz;xd(7~evP&uH&9($aW3vUQ5`?@D*&HnW7Wd7`gL%BS1V(Hc4;GQM|5GqGmurFZ-73(589)F0)Ix`TfGrJJJX{l zw{ySGfjYNni7w(VzhnQnSHA3?Cb$RnRr}qN!1n?G#E1m(I^L2vhQ9&sY`ITbgFe3r zKLQY>BjdQD1GQbQqZ`1AAN=%K01^Ty+_av^tMP24(7|hs8X4zAS7dzIyTM29xhnlIISj!R8)cu5T`SFGB8^FTpg1 z&|28TB$-->MkRh*Xt5-UY;z>3v3+w*h49H=dhwICH72A|KvaY@S-ZHcrkGSDDnnoT z|5n6WHRCL7@9~#-WIZl3vU$)>kno5S=L)J;Jp!@sbZ1$ZI(S$Fw#Ao_Gbs$yS{w#Y zqKMMabBWN7z7}Zt6UOgxm9E*c=MHTuC8}7hR`mL0(!O`e9nQIZJFKSUvDRzPtq{#~ zMSXUzg2FNy1YZHCChZt%?jp?w;WpI=CJo2B{VxsU@_VD z8PlX#ZPrjLHW7R^(Do%{q@(Y`rfC(61K51Ay%o%zEp0~MlHHayDu-ckfLf^ReIg0+Up;Nv%w7J3cR!ZWu4C*v=v9ooSyh-;Dhlo5pdFLD2yfOww(i zM|oh%_AjH&D7>3i(_e+O0DU*3YDJ3Ky&pRgyoUpNaAVQeXiFL_9oMYZ>OQ#yfYBB9 zLpRD?CYJq}q{sFd=<(xq44s;{@{?{Tu>h;Q;S>uN^)`8Cn`y6)hjnptK8$UyNQOkJ z3mep6A6`UWW+{cV^yK{2*D$^d9?OFVwI3Z7YnHCXX+05XkX=@i{qT-W zL(ye9+R!6IXS`N>z-ez6vFxbHQA*~Fz31T=_>V_jvP%(J{LU*(+P)T2t(AlTR7P($ zG_ooe!(189TVm_loX@Tt+M#s8GnxUelj1F57D9UEZSEzNY$#o@gdf!#e0(Mm*m01% zSD8-(>{V(yZ~0My^U;4_7txYm7p2l+JzA8hxbkv$q{}<$Bmu@${tM2dHDjO^CQ~6d zTMu>TVO!yQ&D2aW_4x=~m7r$BuqO$b)d91%4M#~f*|##dO7hM(Hp=t3z}t5Z9^uL} z1mRJ>p=#v8DOwaZTJw@C|5?bGQBnVC8l}_qrWk-9a|~_mk?R4LkSEo0LC|_-(uojX z!aX%Hp`5?Wrv=esoo5G)(7Hc9zC=UvJ3;qsaXS|qfl!P!)z3gZzQgi=>SL(L8iL-% zyKCEfUuy8~1zGd#Q!)tV)_QMnl}U{t6+!xNJfV@}u^H`Xmb~hdd*(8W8t)n2cZpp8 zT1y;Hp^){6ZKUULKdk4~upRmx9}um$X+vv$9Tiw0H<4@KXJlT7dfZ9tz%9C7(fFh9 zf28IWUMYLi5aQ~72#0M3SqqC^t&?}nN+&G=mNZk#esKFQK^W8eUC6gEv1W2vA9bm3*6mN zh|9z08Nt}EP!6@e!!kO|o7U#%Uk#m)KyOe=X6woCbgqeTmx(C&&u^lHT@02EstkJU zz<=g3NIit8GSf<8O2Tm<`|}H}uvSJhn6S?(PQ{!9UOZF-6a<7m&GIVjAw$SuZ&|sg zNc-M53x2Gr)h8y3ZG$Jqb=}H^3ECt^_6wMw-cMMU39N{d6OZV*W!g$hI>mt%t_D%N2G) zxo3isrYE}T@c1KCo7?gQ20D9OeRk67(m^A-Co&FXg=ciN$eS{{ZtH`9)N6-2nha*! zOp(DXc4)d2uHC~|k%UtWF;*n{EpcPV%ufgPA;4on3whJvocKdaQZDim)Z(6oZUYZP ze^_bS|KaZ2WL)%ciae)JYsQq7_#53cZTB7K-{V=ZrpWCG>0$9-_>JpR*!Q+oEqC_J zF3iYz@luXi72uLSr_KeHB0Q(;j)&Qk;4>JQU9GOr-&=YUu|8ps^AR7JbAaU%%gbyP zz3RYdEL9pwc_dWxr?z4&;r4)mv%+BHiC4D~)GnmVC@$b9K0wuZMx2u>P@WuhCrbw& z$IC5W>)@1>faj~JbbXrSE98pWSS#LrJpAmdiWeoGhf5bOB}N$@?DZTx=@!#Vd(d(g z#RWYB$2nNV^G#*lNn*`DMv5&(gJwP5(4CL{g4)RaVOe zBezV4o`U$oztcOa=fkQ-MPhvXzS|OyIlnBs`so8o)94h8BlhwSxd$>|?cRAOu>_pI zt{B9r5(`_6JiN|MthD28BmMiMSPiP#ToEm@o{=O#2Z8sEb+O^t{GRKlR~WEf zjYn=FEkv1cr9N)4Y2o6;T6TFhvz4R~S)Yemyz**_W>!|xH>_Aj-y(uHW!GJz zUTL*PGKjb4ywV|rUo`DH1wWU@&Nq`^l>F`hJDb}|R=MUGNn79h{g;TjdNyh${p5jF@oNLdi<(n_ z^WVvqf`Pa(E3XlJ@2P5MyB@bY8mauQvqxNWW7(Oz(0aF=>=ER~47$TFKEO;dOLcZ7 zVmTDGEz37qQ(bxVG@1Di_0S5t2T&Ig1svJAo@lkYnq_ul1STzom3K(<3mDBOy%OD6 zY~e_g$maz2(Jutwdi@i0Q=?#lULTQRy~@UY&ywU~EgpWCYZXNv6|u1k(B6p`z50xk z#p75xEtV)-?flptp=}5|YF?bHDi%A-XI?7ke6 zUjk*e>E(<*Us|izfyZA$D@WDsRV^!Vh|!DFrl9}k+s(N4T4Z04 z_4|$dg&lUxNn;)^vc2qT@mq- zBsXgRW;s@bF0L{{6ch*=8O_Pc=rP4t47dp91uV2XKW;o1gpPie<3=RF`!H@of362? zW%m-Dx=II9A3lTse+y!Rji7Gr_;-1UIfM;9=9nSUY18x(}f#H=HZop25ras?c>D1wBl*RXoQ7E$ffiZm!;4B2dyf_k;M0iR{7u z7WtB%C5?VL6!sM)PZkG=;BDtYJ6gj3QaL|;{0YeWz+Fr8N}NBg#)<#j5c0!BvaLEZ zi;*GM9e>5}zVJkM_Ihq!(|VBOd^5s5kdS1Ww@K0fbYX_VAV@9RM^Fhx&> zU642dU%CL%I~PL4Cj1Go!RUA6p-?<@Ib7uiT7n$Vb?XwWZF^D9)bYhxfE)u zsM1PSiUWx+)s~19Enro)QAO;)r`*}H>h}|*_iSdK1x4xCP;zVn$eXtAWNozW*X8oG z?kX-%WG>S2t}1Vir#H0vPIgh0B^7gvzW-AuLxwRN@Ns;U{luuGYAdPJ^F|1N5KNdtt9kD=#8MJjOKXPo`JlfHBRt zp+ZqpL;rkhUS2zar!V+LOOohv{kn~V&Ook|?ibUC&07PLhWD0Wf-9% z`JVip*Brc$obt&=ZA!(q#9j#KYX}__AB?QsXD$ORn%XUexEF43dKHU9E*uChuxei| zqy<`36z0iFSf3AgQz7<4W7-%N$Aj~OJ5gjXucm<<$gmosbtt0Di+IHDOyV6E+RWZUVkm zXVBaICbGnVE2a8HSVR3-DBV`D=2Gu1%6Hwgwlo@@->fDsQ3oE*WBy>q6$&9sSL6O5 z!JE}VG3DZDHGYBe^5o>)sxlLSA`gquUH z=_!NWxxiAOqFJFGS>Tm*n>3sZadXs|?_oAy9u8s>A3@vn64&dQ8uzTF%6z zalsik@R&#@!^0sn;;bkTuL)vLzHy^Y+|7kRG0}M|$+6_7p{(ZxfDQ38RJ6CC_5A__C%Swd)rC=X`(SWZ(ap05hV=%U&>{`DsCa5xX#&&8v)~sJU zYv}pNG{eGpUQdUx{#+SRs0E?(7SK7{U>O>{}Lkw?#1~%ji8jYvcJ@7p~<6- zl5+M#hvjaLK}hyvrl9+ zMtDCt4ssoSap0k)Zit3HiOE^(cE9FWA;fVmD(cXDOa1HM_LfwHq%2sZE@XukP(=Ej?HgcD$JoAA0 z0p5us@3B{gy>VyyE`)_qZ$omXK5`OFqR+dnFx;apixy6^<5YdA&cSI7cpRAMNz8p( z;@+kSzB`+dX*BAu6VC3R$aHa{9y*`c%D0;~z_a;Ngwh<`BO$n?x9vkFBS+s4#B z0Ab7FWhoB@`>*bEA2R>RlnZpHe>I2PiMH`l$0?{}HeU_isY&pkUzeqPU9)NhX?Z>7 zx=5OC_h1}k@D(JtdI##WkBRIbn^WILovJ~Z>B5}@%v^gC?Su$p&-xW5l<7d?>mLbL z{MRaA0bR`W$Ygr@I=MrG03Xt@VRz>mKAWE*6?U5GTgwV<*6GwEXL+5@)P(qT(8|ak zUXOCV999I@!cY2mY?oW)(<{$+SVZI^^BtvfT|P+E9J(r%BaeCBBw}RMPMrB>;+>%B z878bUY7M%h)87kL#zA}mm z^Mr8_1WEp}Kc2lM`@zu}e%ahw!vwD;2kY2eZXFt+6MKUwGf6x2&*(!xdJaE(e+EJy zyegq!h&+EoDh<>08Vck!fQLa(f2^u?k_y5^XEK{TaiQ14Ed+yR6tOz@XjfTV|R1>Fs;8o=DIiUGpsF)!5 zFmMASVT>@FoN;#K6|3!UJMxyhZ-1(nhTl`|L`!WG0G#|z6=(xRhx#ZAYk6tm>dchY z=E}@S5mEoS;yeq2^(>*@#*F91g+?@7wDu}XY{ z%veNc%x#<9aBsDZmgi1VDUR{EMKWtX_(p{DPqp}3_fCsvM(;L{9<;0dtlJ=D56>>7 zoX&!0w`kVl=iHOtDU&Q`qk_|S!w@O!*Mx=78$41sXiNCbsVUI+>z~86WnwmKMz0IH zXwT9YaT{(GxIVx;AZw|jG>v>KTyK&xstrEdIF48*oZA^)qh z{U|O5I9>Miy*E;uZsV1x&$AonVdm>!lWr+XiS=o*+dmVwte2p`(deh`QasT`HT4iL z(5#sm;Y9V7q$5)bMw5s^8=49G3xJhqOe(xeys@&38PudXQA&Q#M1_1S9WB#Xm9H^veViW}!k=JWb9w(s zxk#W<&$)qWr#0HjvBKd0A>b?wd0tULC0DE3HS^|^{X7zqE=P2pci1Ar&PXl02mNkZ zwrGd#W>FDDI%U4q`EK4dlMFd|L{CiwAx75&=Ff9#(ywVLwX|c1U?fXkU5*3^OT&TZ zYTHC`E1Sv6{+??wjT^XI7qgre15%(;vO>r7mp(EAD}d$$g=FkqNXOrFwxo%_AQD>56X?> z95yPqAP2s=Rr>TQn%Oe^^I?HEd#9HC$Z6ss*)#QN9pJ4Db#+$UOA?3NKV>PW6DqQP za0Oj0igHXt>@ZW#AXca;>U=}tc4gbxVJ zVCYRq^IHlV3}qw;8y~o<__r5eN3?>Y(mT>nAJO)iX!j7`2kxw8z3_a(@*y}NvV$Ry zD$#N~i}yy#H6sNx9w)NV`GKX;Heerzuc*Vis?9g&20Li*59UR8eJ~}7U=7>rnty}^ZONJn3yQ@F zx|DWJ^SI7_FIGD*DTz#SW9~|NPevCkcJ%76QW!cO=YwwNCW@+xLj43kh@#F7=?9r%`Ss~6dIlG*LS z1W5er$q0A(a%b8Jgm-jNtqYT^KXT1SmU3Z(Fy6J6*!cPB;Lk|>XOI!A?p1jz2V!JW zc{%SVmVEaUK_Sw+EiS+re5dM3XHbv-EQxVu>`_u$k9!T372xBu1jMsSu9l>U)l4A(mnw0S|z6Rvd$)$%4mB90|N%NPA6dmD; zCWKyB)HVwsb9J2MC~5UoYh(_Kl(h8PFT5fv4A|HCRXYrT?x`rzGVoU%UwICY={)Y3 zy#~##f|#v^GoHJhJR?TB+$bEk{Sr$U9umr_Rz1_}eiuWRcuQ&nYQZK2P0>M`j_UG1 z2&DQjVjvbdr!||ySWt50LP$MGnTnPh`ynL!}c2<6h(>U$!~dSibXhsJ=P08EDGq^SE{HuP{7%AL2SwyCH)q zZciPr9WYoHgrKo^@-ju{%qT3n>PThr3Lc8NtxPG%Zr9N`ALJSmF-yXy+LM^hts(O;FfGEVgt=`Xp38&2z zcUCB7mEO@n4dGQoKg130mi7K~e(@1=1lmA9FiLq=?%$rQ8f~Uw>D~Xm9OxoDE3HdS zlbSeLyUfIfKgz*?j^Vr-48wp&90V?VhL(!YvtBZZ*R_K6K+n}DT1~51#C=@lBBSAV zduB~w6D^F&{6g8|k7foeTZc`rbY=*=eYANzQCG^YBz#DG^4{J3`jPg5e&T z9(m>I&D5f6+(+36&L6&cV4QQU&xI!8rZY@jCT{aH<AUP?8~t& z*H4{`_gMCVhlB7T@%KFE_hyt(ihQ_c#-MvrWT+`>DK>>*PdK|M;V4Y;!YgviBR<`T zreLcyG1agw>!$F`?cHvgbY|?FJHgB54S(*iUX&I228!h#0$4?hkkNeiVpsI(AX3}O zAb(myhogrdoj0`w{^@ZY>pfj4T}bq+9w+Xi{jp^O~i9az=YFW z4x>9?9N(F??S+h>hV$6HWG!~IIJ|MQ#XxvcV!8kCDiOQZT7Z3jc=5Kb}||CV!ZOJmlZlf;JXmy+ogOu5pv)kkomW z!Y{T?1KkW9VxMIa9hdjpr{OY1!Cmn*zm2yI23$92*>D*^U;D>Vx`4b(Mghqr5^XQ( z1n*Et*417Zkm&s=b#JuDhlGTW#?6c3+m-eDbqk40K)R6ZaBN_{=y6lhZNta)n7nC3 zebDO?zOE+1x+CiKaplOk2)-;)EM5Z~&slXf3X#Bd?Zv17;V)vG>*VCgIYw-dAoFAT z=yaq#-UvIOZAfzgH?G?g3mk8l%2O3URK2IB@6AAa$PINUEG7r7XG9`d)2m9m$JBw( z=Mz%!F$~viYZo&ZKvScrOB#}kY3xMH_=q0*_0biDh*|g1)@WVfp7?nUY@I$22K(xfDi`*4eT-!idJ{7QG_n3{Wtq z&kH@#Nj4LBl0y^*o6mbW2c9Vuijn_FG`_a|e&;l;a9XW+p7vZi>CO4*&=co$qLme+ z4gyhy`4@2vXcHLtH%CSm5&(c490LWo+hbz37*K$p>Dg+F>Xbtxh5AGP)`3`{mvcg0 zCozf@JSrpD_baJ^1Eiw^oS=h2Lj(x`;30^g-3kXsF$j!q!J2}~?*s9O^cRS0i&_LH zl|fIBqJ{9C+^PXYkx~QDkdXA>ci|A6L%0NJWDWsRolt0%6MqOxIf4754I+Vwc>Gj> zMwQb-9g|GYT>k@vOm4!D1l!lb8yo@t3lJhhfpl^B-+&MxSb63@K#1UQ&;-PMb1>fT zOB2E>xvK*j#ov{qpQgZ`q;n9}7SshWA0FJCk_vb!JO7S)Ep&hm#>jVI_e1g)cfJYt&z^Q$?PS^>Y1W3p3#uUzpp-q7N zD|ZWrfV={bK@9i{8gF3%^dwl&k51{TJU4SJ_ zfam(=Un~EJ_aj_5BODViyJV|d~NLlzMWt0J3DA} z7%=q#8U+C8a#)zyPdT?{Y|HO4QTkob6F_$`K__?^fbWm*(-{mIdTNlZfycb3-OpoH zrKQwV7X9C#H-1J+%3$#RtfVmb{s~|}z&( zND8NBK9YSl^H`_A|3ZVl7>aSGfh|kmgfupO3>J2~1oHL)f`pb4#nsEpqM$twc6kKlKHI)OjQ~SD1!x`2$PiPB{ zi_+|aCtJvajH6t3U171ry@vg~Ns`o&8CRbZxeHB&^0X;Bq=NW%`C^PU*PA>$?wHLQ zPit6qCwmLa@7PCDhF?NGE}|E_ex>&>! zNG>Q#IZKN=Y9R$*0s7omZ$+3@{mH!Uk8eD)86Ed1NUbnt2zgcM0(Asi-r;DM8Un5B z>+>|C+uvr94}KSD^-VK~KZsM2Px4cD25M)s#|YXcXq`4?iSAnC{PDiUC5bX+60w`a zIZ1!(#cZ8HhgaI9;M;scx@2VE7|EZtdT9sg-?Pyd@F>!=Ic4!Jk@sy#x#-KzSGO2Y zH`pazxq@2O+AjQ8xfaF~;k<3NRGr@j+w>Hv7wAg17UGkn=%KmZ3A%!UXSR`o-8Kl| zWzn9;&!)MhE#S~r8bGt5_~zS>)MWXdSc+WA=sK~5#wCs`&HH3&&QsUXuCZ!RTUa2V zCr;Gp3rFW$Vv2p+kv@uogW0?tLj=<$Tq8Xc6H6GB?OVsY1X+n@+a7;7UhcIt6${41 z1IeK9wQ>HdzWHF7YT#bK^>?;&TKs~03>1lC!5BW^tLZUNSIN5b8<&x+I<+;Y_au?U9;3b$Tng--vUg#6IobxO zF#RcoQYlN2w;Wz+nf?odl-z)dLbcw@GdtnmYfIin5Q)-E)cVAJ5qvm8mkO+7YF?_&VwAGQtj8_}^Jr%Fh6Q;n3H#mV` zywIB}yLaw#R-jqHDM8L3Mn+q2_d~S*jc4vwZ1nWCj$9JM?rw1@{EWJ{>#|cVAh-AD zeH3EMxmB^%BBIiD^@E{2N_;^e6l*$y+(Cn;f8f7PA4;b#wvT^fc=b?K9 z+C$B^XL_s%MOhnL-RYpcm9_44L?p$iNz@FT)+3DR^L?#;Q>wt2;vV-j>F1qJuET8h znmJhKdLkXpb)Y?q+$sd4Zeg{;Nc~z=51qg+iW5au5tZ~_Ic3fJGdu9OxMznbplI;= zyL#SG4YIm2&EY#C^kUE$>bYO8G`=)#f2v?yQ49rq%;j#gMw1d47Q${)Cr=eNz_gew zzu}h?KgL5$=!n!tWDR+s!qDC@bwF1D*8g38*dP&I{ID2BHpBIkxdip#k2{Qi*l3qb zkCeCL>`(VC*9UJxqE#3i@yXRtA$kk~ogrv8qi@4|DerqF98Vb1p^y501Q>2e*gq!%XM)6*8h!UYzoI>7Tf~9q zkMNrjFPFkQcM)WA6@TFeq*D9;V?`7DqbRQbRprhmHj+$1F^9 zxRI^NMzFJ+#aFU6JGvlhrKlh2Dp%mu#cCT&@g=p)#iQob&W?!;QNE3gDT}X2uG+k~ z96i>6qdZ3yp~C0N&cF-3*xu1)zIweo2nzI*h}+teec#f>o+C{n70CPe^eFil+;q<~ zabSaf5ZWCyS^!vd0_kTNLb9gR-r+%;)|0tDpC?j#eahSI)%ID-W@1(}_Ks#|*^^1M zWm1>~8>P$K3qs%7%hPp>e|#nUKDymnE{^KSlBUXHHnSEu=v@~Ay1QTS)=vcuKg3|L zY#WP=I`J#eyI`0|KioDL``+c7n4xmwbS@Es;3zwL>9)$%cRri9<}scStsQk7{36}A zDw8+-zc`)tsvi3l=d19+hBM-fBbFY7NjWiZlt-9eXT@3&D=>Mfxa?9DlY5)6?g}3| zyps16TVyxXtyUCrONY53=_;i23c24EzBmJZ0C{{mHvU+OsC1F4 zWuT0KyR!_4r7gP8H$5VW)U16gW}rMN?Uo$M0542fH=gK}0CznfJlmjh5l<#}xTa#Z z(CTm(_&6O=ToW!;KIz9?BlDplj*4l=1k7og3!HCg77T zrlZ~Bd3m>Ib)aYXqh`r|0*^6M5C3$xzMF3C2pK5*ud+CLad{u~KvHZn5U5(EJMdYw zK1nog>%fQi<_1W6&VsS&tU2^hME!C)FT5c8IlJF@ZFW{~P*!Y6L0*NS6lh%XSZeiT z!fTwdO{9pgQ=L+o>*~S0XLt|gl5wmRpceo)C_L})j0jAq=^e1`#&aq|@Uap^ z`{40^V!R4b3QJHhQG}Y>1sdP%{bj`6)UR&$0+5A@zvM(cL@}!=xuxvZA}`MR>yzdg zT|=<34d?gur*B5%*P2K~5rs&{qb6p)AAM22G-q`}yg=Zaq)G;KXV&HRa zryk-~S8`2oLzPWWf+98m%>^(%?|85YS_X*yRO|o9f@` z(}vz+O4Sw#g^4{^D8q03PUKDnx8NWloapO~cN~^$2|5VguN))hhiJCC2%NPtpyl#R zy5VCa7){2RXD~NZ9N=AR6E#duW9c1ageDr(uH=BplSRHhGar=<7pa{X|K9*aRrxcB zKUuMRY~N$C?8MEndxz*J*!fnQ^nWoXxU9}|Azi1Rda~8W4_<$4AzaZ6ACoMd61gYx zC5nAKlkS4*9^TRlH8ll5U#;1HY`1=FuPWhL0qiMa`E{3cm6~~W0G;tTFzROj<-NCT zxe#8Rwh9CLV57Q|UNr5Xkok+&iPX;*hn`eE7ozY3`27n8ZYAvL?Fweoz+P6+XDZ9; z4OXm1oZ_3OIalb<;qgqHqkHU!tmf?gFcma*--x>WNUtyKbzaIe0a@ zJ{OOgi{SW*wPnH*@@zzQPDE%k`#;;ikDE&b_Iw}NMS-*}YRvY*nM>@UGOoSC64H2p z7NvPio^&?^=dO1sUsrvdJdM2zI6rOEd9-vr_HosU_riWxr-?6ZiMB)cJi2RKs#OCWB2t|-Or_F(dg`v%^*99>n#NST>3+*isA z84bk#qIfQf*p59jofCZv6Y(<6iW&Wyv3D7jZW$FoW<*^59DF}4d%exWsdLiCokg0h z!ZcUb3GG$3J*oj0uB0XT>$`!`{a}g2u^emyqs4uL1%H}&mhpq5@>^^e_RhOEKk^PE znI+0>F8zScsV%7<(=;dEze96}}d)FJ#PSN)!8o9)erNPCu>HzWQD zK-v{Gt2-b(r`0KP&(WsQ+g1FAXv_ls)7gr=a~9jZve?#o9Ah%!NPXd zb4FL4CY$<*9iBjMtcjXMDY^^bkN=1a-yR`l`Y{UQ6py^nt_mL)0DFpOl#vWgMNBT@icOcYYuAdW6Lo>$!=KLTb_)+Q&kNT5263pqK|s_ zF4>k(=-Bnr;_2g?Cs43)WY9?M1YRhXG_7sLngQ0byn{{0%SnY|+Z?6{s`pe2o}of_ z_8D|SEziSHU($LuVoDqD?Bk@jKwnsyuPa zs5+ec(3u=|@v>0|u%>15+=RwyCaxCx`@@klyFr!W9msjdw&IkxvAHzKxx)6TEk}om z80jyckW2%$FhQZe5kO<8IzQ#l#zU=+^OA0%KVpTsu_;-_8_;PEj#=R#+sP!bC3I6` ziB0?NDfAx%38x>xL-d$XbL6t-{aUzHfMN&17BoF9H&)bj>1eAcmKW1!M0~HKZ3;zN zA^uYz@}{|Cl#b6IL^!77D9EC^Ki=7yH%>75!uwW<=QS^3Mf?Fnx}P?PI7bhYL6aOD zH*0D|>lKn@NtML(c9Jx3NE+x`hHNZ~2oXNnv-_brZO8QDTbbNyp#OGntX?|VtM1xuP z_UGhBt&mwda-D-O9kL)8*ub)z6FGv)=dl_#r7Bryc1lElOms)1aY|I}tsdIRyM8Jx zR)SgYgOvJn=F=OBp1z4xL!*u^WU(4$gxah*E8r(V9wq{9c}i#noWl8T+V*XG*Yl(C z1I@)oWw?-?Vxdyov_B-nKN?hf+%T0 zyt~r{B?G)iSCWf+k`YoR!RHS?-M}5ROwu`G@RfHav5-B`%T_W9C;ZmFEZ@W)Qc;M6 zN!a;75z?O$6N0C{(D2=iuuqxmgvgbujxJ1UZd7tx>RwLpm-UF$d!~H^hjpiYp(PvA zcK>lH5&_LP0;7nA=}4oAku$NSMJ;ucH`gv#ifTtGJTp}=0^V^99gEnv>g+gzQQ_9H zC@vdAFMgHe^YVQD18W&P{CNg(0R%3~a2h$-Q7=V{NHx&`(dfarUO+j@b z7R~uwe6m#&IuU^H5z8(lcJr5W)+NjE+MzQJQW@E84O_7hlF0=A%mBoqkP|N`8)zr& z4@d$W)T}WpHc50iNmZ&C%~JDWz)nxMfvvCE{J9Nf1a-srdmbVr_&!CRvnB@-O36i3 zaJL>KQgZ-1rDD2tV|~#NG>NI#zaDo_R{01sT3UgOouHtkUqFFiqD+t zsV&0H_rB0NOusp@uNy&Ed&faz$`*&+62tfz8Sm!_Ju|Uc0W6WGassK*Y{Yoz0V|)z z4m>n$d$@&p>X%s3#_$2d{7N~4ONEwkwq2Ow#+33~(OSbj?b#4Xey*Kkcbv=OmyT z@Tf}s(=LR+j>T(3XA-?WbPnJ}7_%Ch8G1Vn)g!OAr9G}&UAE>-T)X`KqM2@<2du3yF-4g~g1m}_fX%6D3P*+Hk z;5|xN@#kd8pw+PJ?C{UnD)8l?uPAs}^1>3?>w`*2A?t8Zt5!rLEW=93z`IpbiBoSD zxR@%!x+r#lCuL2l%#YMTRK-;j^s#|)%GRv^;KNwYav1WyREI3KooLJHOs)>_@wmTy5+9v6T`<`AAUuN-j++gg@#9c4j}VFpl`5eS>T!Ho^jH#gGT zL(DC3W`hr3C zI0Cq+G=Bc7TVHE@0)0so2>w%F^;}tn6we1-wU-p|tUp+gFXy_5LrQtR46H@iklN#ZY1k5MPz*^w)bP5trMBzz3_30}Gjy%^ zWN;Z6xrTUO%R*pUcojbnaS(4~7!>hkwT}`P_Rml|&DK5$SqlFFY#v-b1M);%H!<*GG? zr@SS_$e{aB4mM}gxvVPl%8rXjyzOj zYga~cEDdZGwoB~iG;;HLxD%ibcVq1pSQ8EQYX<^D8`114UNke-ocNpCAmM!GXMR;n zjrb4L-g|DvR(I@;spR77!E_gscMsevbK7Dbj1sjJbS|MMUqzWDeYF3PH#vX2&r;yr zxM;&cg-17%zo4ag++5vuVnl8G#&UQknVOIkOj3uGcn)k2Vf-BO-jBgK7xVEgfV{=N zO=N;+K=hECcSbL{4u&00su=nl^fu$isM;#kbMPU)O^+VdR_>9Cre`?0g5xVkA+=~R zvPL{JMUYQ-gflJnq-hi4^NSDUV^n!<_~*-7VfB_%Z@dzsH#?MoPOmsTzJ=V74#4x+ zWL`#BC_Jm&`%)S0$w15RG!-+gFST4X)vyOZHPitVDgxotqMlhO}~}p7|;0 zok^nIFes7uLrH`=a_j@?bP@hewQ>~Dlxv#2f0qkOxP{>YjTrU<#zc-f52FB4=x8bx z68X$vP*aJ2mY}+P>~4l@i5Tik?2~>_D3~jb!=O5?G*qMYEi`6+GmV*FxeG3>T|L)k zyBLQFpX=(PzQfSEKJAb`F#VcU+k(UHoNX^Y1UkrxXQ0e8j{Rh;^}jJULb8Hs(B=hw zrU`zXDx2ban0~)T62o+`2Q9F);uJzO!IJ7nUEHf2Mp*qVXI$Z-H&?8OI46187$OyY z$Vhr=0~QN{#x31B+!^|id)#tHjH?kG{*=X$9c(DO<^)y%DO=AH2~lVh1F`1nOYD^r z_INlA9tu2v8QZ0Ap+2*`=)KVOdN>#t{^5E#g5wxRd4sr7Bh)Aan;ERDTj|kq5nfK1_+^b{z&Gp-42!|_~g9J$;#RTg0t?CIC4Xs63&5UJrOu$pvyK8U%( zrvV9axa`akQ&c{p6fMJTy@Ix$9v6Y(o7=xnbmVC1X;^Xh&%V%xTDBan51K`hwJ{h) z?ytTl+yElR&fx^68GdkbDQLnWfOgPvrw&YZR*i5DuIGiUxtXN-MY|<@wiSt85C(V! zf7TR-O%V-0beDw~p)pDXFm~cR9QBjLh-g3glYXMG|EDScKkL;0*Y&}|!S>(d{Xf?S z3-dq0$N%S)&&k60ABpwF|l&(V)h&C&ahOgd&g&#}!CI&p!bI?mBFk>}vn$CxnX) z|77~50mNy|2FOoOr+Ce?_pfHgfNKC90LUZ=CSH5*Eu@8j`s>yZ;*ZGpn-D0pfEZwp zdV2Wy@NfXi+4b1jk6X;q0jP@*Oe_F@1sCcScn#183EV6&yVsX~f6xE~gF|@ZxBo%+ z0zr>}1Je$kkD$dc{mnNBYziIMVj<^G13jksIx`_zl;?@xd?h!~JA3xJGl$R6) zAlcXn@RxU>@4RDkkgyiQP1gd+-||576Kjz@A+~#11{s5A#eP-5&mfpFA$Y(e2Q8Ty!Oa z7rOtN9?lK@Ek0hZ-&Ek?ZNfgtml-H+nip*lAkJ@UFK8b_-}N{8-LDtGPwW` z-~9I7*NZqvZ+^L74MjxLOT$;MJCI-z00Iu2qae54kIx*2et38O0$2T8{spkR`$27l zS3-X;Pe1@KbdH_dSSWtLyY)_i+o|0lKLkVqfB35thusLjc&|VA9Xoxv3>0g4_jV|6 z>>p}jzo5`NL-O#ie!#D&-UIe&{QZ8}+bh7n__1$AwO)q5SHIl^`t|HQzd-I}SRQD#PO=Ny-z_g1oaeH!jnW2A(xRAwrwXGmYlY%P6{`-7Q8V-eFhLovIu zO1Q4dPLVfb)W23$Bs~o=aqi4TM|onAuEx8sfA<$2FvhJvcH7^vLwLmO1iy<%Gfz+M zgXPQokG86`)<1pV9eo)bErr~gB!zK*vEEb2cNk`gj;=whdSzZnNRiP3!{AOC?*rK9 zhbPWC9B#&OgEW!Qb^C3*^&9fm8wCbOif;`&0{p$WQK3^XNpU|Q@AojW^0r(vu|}Hp zEba$SF>lEx3`4bnZk|AM!@4(tGE@+H)YXO5Vovw0vF&;3Q4wZkA2W=3OG>K)mY`;f zWmKQ%sZv1{h~IFe+qO;V+twT{mke%`Wx2^;p1*PR1N)a8$lDu+ZYyVP8vOQ{=QNBx zA3gkr`ZdM;@3qeHEHuIC_l!iu9@9fS?xj1OrAZ7SYPK<|B|qZ5W|^NSSji{^7wDhT zwn$m+Tf*~puOLm)F9@!4?Q?(Yg8d^ufNNThBg7Wv=?}~d+zf~`-PrOL;Nc?6aX?XP znus_bm{GZPkNl*JS5wMCSLK2U-{DfJ$30Ldy)jr4)k4gCpBqu2E2!LTq}5)=)Pp}b zbiz>|ZZK6ae7z~P%ct6Vv8R}ub?_I+(b48 zy_Wix8VL^+s3Jzw%Mh>_R%R0g(nBFwg#yu#KL#?6HeU$#EVS+Fl!B^7|VKt(OwLv{3Ny6S%0z^)(HT7DcI3?`JlpJx?e3(vYGm)_I)i}46 ze~Wq&Vcy?Vh;&g>O(h08H}Au5&CggREN#{8Oul#4@3^tp8J4dQs#Gi0IbxKJ-LZhk zQ&>(r?eK8vQo|h>M>oYWK#nwQ`=UezHIi{o$Zn`*rN2nU35&@y<}qfAb)O)979DRY zXb7?vQt3{w-)MTY7@)9%AcfRS$)Q}9h{NJJh0mL>nt#q7B~OybOe)amtpgM+GzXz4 zCEisD*Xe!C)BLEo5z=)g4rvXYzr7i)1mKf2od$N1PaFGOy79cF zqW3D_^J0|s_I7e9b>>ZKeu%T!gyHO3GQcnLv|OJ>w8a)9*eBkcQ5qg;gPO#K3kZ@F zRWJh7-T;2lxj&D}a%lG{DUSwW9mfFy;{vvI63CXlT&uAHx5~*J}M@ll`eI zGdrtmgze3&e55N^`Z+tj+AEdElYa#knaY}=JZ(OhUwof-LKrP?5_5$#e~iN}QHw0U zsIM2O>(xtTe<+rx$!b%&k@gS!Fq-qKa425_FIxvu$JJd|eizNDfK@cH_i6{ROoet< z`tW@epB<0NMDX}JIXpxP%#{svGjcP`3zbSM?t)&{OW1T&^u^@VYT&RR7g4U4NUI@@ zcE;BmsE2Xw)>LBCQh&H=ra8i9jtV_(mMarAj*J2A#%#@NXS7`NsnITSSclXG$GRVR zp5RTX;OzaH7|+`>$h7 z_U1h0C8dG7_aq>kmCnSK)yRt**D(LwVh6}U`eVUS0w%5g`!}j4+RUuGlS*v;wOjcL z{CJV?<;W#=APa5TN~~t8ld{jn#t>lNil8&J?7Em4ldQP6IHx8~!s#{4sZBcQ-q;w_ zL?Prc5SIG)%4&KnZN<*DzUxsbRq^dguCuYArkX1f=>6bHv@!d`5z9L(QT&0|0IAqJ z)_Q+IgH5?`;Z};958UZ78j?&Jk~#yD9POA@@(r242Q%$R40jt01?N(A6x^JxvF*>r z4_)S)Dv8qJ`Dk3KtwoY1r1uJI+pTcm?(wpEYiwn#>~Zv|ZNE*kMXggMB2S1oYcnFmX*MfgcKo*#RzdrMj9EYf9k| zid8h{{ybye6)<7r)s;?R;`~`Xzzh7MwXdVdYNVEq&l~MvVv=vPMBolWRL-CiZ86a# zrVm=7g=3JA;nXc2El#O~TeNby-C2e3o7a)i_TxU5_s$xj5*F`@I_FyiyC)YeidhQ( zDs{jY^6Lq_W{)jIz6lKu*qj+`?<0oCCqN{{(8c9=Fd*H?S}x2~w%*+8FygLl-ak$K z+jNA;qGwr40YN$n?J6XEB2@{8QqMH|^MFXP_)6OTFpo=$=26SaXsAXC%l=!9CF8Rk zf2;fRiTKJDEZZX_H=e^1FWRxWxr9VEAR8N#fpZfm|Lpb(La()6{0m%{UapyiDMX)& zvJb9pK)(qs0k$a{+r1IA$FJAnwX<<9)Gfhyd4yTi{sc4w)gBMNB5 zK^eaQtF0sIIu!_hV*+B=scE+Y2y4veqNQgpB&ZtHyCU|5Q3fUO*?;GNq?K2RB&4yU zHk?;7U+hDNmZJ7I|$u#a-uHNT$Zqt?RjkMEu@C z!tYWOMv@H@akHaKM5a-fElyBpj%)DL)9=vH(wCJY&2FMzu_jX1;^lIsppF3jU_!l^ zp07WZ5xdsBR;$t7rH(??^{ffXJ3!|>`zEM;sd8_d_xUDqTLlJ&N%L6`u950I8ii;L zB&a)VBCq!)lL`rV=#!{fHxfSAwPDES7J@CkLE1qAEHtVUmlB>w`;emkNpR?FWnc8E zr*T&5xU3QHe?R~m!UDa8>rT=IJ3lh zKYHW9v0!p<(els}-Q81JvYLOdpkAh*!B^*-YkpsW{6rN0S=215yu+O3DIaIRZ>bo& z<;q-ha?vxgDDY_dHv(Y1Ws-)2+|YQno#skzyuY6zn6?K0a2y^kHZ}piCIP2OD`I2z zk>pW&nfm@jj!^&Vc_%6#@3@o%1=DW74C)Eg>O9&2#ICu4Zf;$O1O2L=Q`9hMxK zaFvBe>&mX73img^DzD5uZ^y{AU#e#DHX%ZNTh=t z$A*~2)w0j2Dbu8n?q(R}0566z`))v4UtL?{UyQk}V#S z35#c_)$(CVD!ATSz#y9aHA3_v6P!fzIloexfUGEsyubRrS@N*d#;TgHAvcpKBL@%k z-MII)OJTRkq}8Raes6^`vT(A?b>;`lBH1?rRp6D8KS#||QW$oev*t7EXTMbQ;)b#w zZ65F$f2Pz)B15A|DQVLZ4uV)Nj6~bY@0HlmP}F*WV^m( z4X#Ebivt6sp=Hy-TD-vSC{Y>i2DWhY(T96K6^?MX`nZ_SE4gq~*o71B-^S-c!>CNe zx-ZtX5#m4ZBok5WqlUmbwT}CW_fgRE9!IASsF54_>2Ew2_Qnk;P(37h3|ji!{$vn= z^F0QP*f(wT&|z;5Zv59&gnbHtN867O{`3Ye+(3MR{)jC*Pgb7z%cqsG|lY%1U?RQ z08&9U8+0ym=1G&xaoKGBcf=gheyAQRwyyFom^1Z#X!bDu-_5(<6NvZoJ8X+Xi5HU1 zh*{+EeJ_ELz|1ewsnTR(CI3bl3@`ExQD7G_h!Dob#3RDV>S|*h=8tmENhS`?-9TBL zsmVJ;Qn|OE$bykWKkJGQZ5~}GXJY46R!-u3*57=Dq>uju}NQsj+twGqd9VVa0=lwp+4(0#~AKa{f zZxtrFkn#u=URtj7Xjkot!>_LGOTOfa(7Gf$!bg`Mnx=zD@NPtAZjZ{EWn?rCq-8Sd24 z8useH;6f?H*R><(1@)s^#g<+F-r@BT`*2Go)(uic?2DgD)y0+GYuB(Jn;r~(YHbsX z@M`qSg+2ex*Rbc7p|5Ni>wv*(;TL_U172Sed~)5+noD&eV)63kev|F^c1bCocFL@w9n+q_`WWb;OWswsYdvQ^9)w%{;{TH2=lficgKMl{zEw(tes}FZyxlqDR=kpxkk<+M1 z@Fi#YaB^e4}Hm#vrg7~MNW0?Y$8Skf#FO>2qW zEESpZ%z5eT4GFXT`iK7s019op0E7w;naHh^m%XTNy~zdi)0(6^0~;9wBo5;Vd?Z1Z zEzWngiH&F}vHran?4jlMrSWV}bXSn8qB~E8-JnI>q4ws~b%`H3)Ko7Yx~rL&Wp@%^ zCDDDnW<+&T7Kk#cp?rSfTAo)q1A`0C#5|1+;g^!Rs9CO|#3d}Q#%`fuT#r~|_I=*r zU(AoXSY^CdLZV=R(IMCEqz4eItc33b1KtN@`kz}0n}0*PN+H2o8SlCM0%jM5Ul$%( z`*xGl!INO^VHxOl2Bx-i0VcF<+(BP0Smk(;(K5rc1)n$4jw_*aRVXX2C@aXUvP1={)nBy}r)TuYm@7b%G+GM>5eilt6 z`-~<9&Yr3_+E)<8(?&hp<$OfLV^09-F=X0C(0hG0qNBaSGJs|SakB=!kE3d2JH)?C zf(%m*S4V@zA*Nzb&y5Aj2HB$nkb(Qj+cx)nXhCDi^uZ{|o7|u-2?vfl0)aOM1F6`#zIah>HJj%s(0u5`kJ>XxF6=32u7bUW5yrMU zkq`i8rE9@dMd^K(K1%~>!yvq^jMsz|jSWNZk`a3T%#-K5c$g~`*qspTRq_Xi+9R;` z3>mI$44=fF1UFxBwUrc_+czL0WEPE8Rkm?Ci~B5VGqrd~6{&B5EOK;+9$P?3^X)%q zArF%zz0Aebso}e>=X_$Dm+t~J!~M&}00ex{v#yo<-Tge=-l6!7m8^(_NI)4&10dC^ zrFZu9l+6(*Is1iE2UZ|-X5+eF$riYk7v2b64RxlmN@zixn@$X0)#Nr?|3~K!lU0U z3ueo4)GoY)cEDHFE>h8lZ>;XH@}iJS5?sVvQgI%zUR0g2J_p6IQ8_;G@>8vyW(Q%t z3FB!%qbE2LZNAHp+Vx55AVE13sqB^s!^%@(79~~IMuA2sI3gJ^Ozw?H8>5Tsa(bs+ zyZKS5_neUTDyRl4bWytZzVHiPoZ*3mFe1o&SO*rbCHkF=SE4ALOggcUAp#F4RBs~7 zE=`Lh^^mZ1-q2@!aXf!{rSu&-VRoR3#DAyF>$imGDDqd4=}W6pJPNTeNK;OB@}F$o zsMOMhs#&vuh0s72tzAMnY?kYGcqzS(xkO1$nsX)#&1=SEk(YIAV@Kj}x<=cQ>D5SO zcfbc|c^5z{6RI^z#Rc_rNY>duUC#p%U|2lq1;jM`@z`CTLB08Cy9QEjs14-gPAuVm z{K2GdY@4AWXR`1|CAXmdNV}#NeB0L_qdSU;jh|%Wp8p;1y|J1a&lXeA8lon}n7>|y z{%j-C+*Er&{oxk>NcVlB{y^?c&L*MfJh}b%tDL1>>K5vf&K(?7X>j!ypD$njxAZX* zg#bG18kCsbWG|(m9EY^_RT9rGZN>~7IAb+s5*vML;AR?Zq4jbWd+T~>dW%NXOCs?$ z)AF$|U-bcvWCQ!P)7|H9Gn*u6#>G+wCjt@F6Ng0lq~E>m_Gr79Av6g$9(5V)-ZVd2 zHT(nw?UFn#Nr#Lt2;5%)GwV3=;zZ4W9oGr1EQh+a?M6t0HQa14F>g&hjJjmlObbmx0-I7|Xe6Z!5{L~cgokPPK5^p*r&c9F;tqB(KS^t8QKsxo&4CLu zIc^jo3m7U3pmr%C#ge=xh8a?PrYYH9X@hGGYB@hn+wy!Fzfadf&V$9LWws^<>DPK6 zEB2{0hq8A06)9zCmTtR?ET>VBoUp82q$RZwxGHu|!~Otoq^-`7+lmf0Q)+(_1!mP5 zcet4cCB!9UA*3F|ly2!DTteuOs1>~2xbXJFM_IEZ?M0)%!0idJ1-yjnVx(}C!6n@E zN$@;D5CmtKxO0Q~$&~Msi54n%G;tp%W$b&)jd!WqKc`T3T4OcVzyk7W&MYq3u&TDh z93I;G%lqRJIOW@ZATIo`2P5LQ4HdcdDAo&JuZ}b7(uTF-)y3sO%=6Lw`hO;u6z9~t z);o|6ap>Lt_n`vM6K$-Z%6dbgErm8bo#l+E-MAKzzt!_?a zccC+x+FDKN`IT-2r3%Ebis%=F<%P?xaEUE$LMQ` z#RD*!R~K-rNyvt-cj|}}1!EnMG}pD0Wq_xrqmGclvrW8q^42LJ+u?v4>0A3r8QjUl z!^Svnh4i@|ckG#P(}TgPoYWC{X4L28I0+8iUoJ_Q7a;A*>o+#qoX470)olgaY^>5k zI%f>&$UHaxOacFakI|cFv*@>Ao(Ri#{z@$a*kk!AK-5H!%iR0mFgI5mMSaK2Yn5xN zIq4j3LtWIgWUsT+TWt#1Q!`MGs6ki!)kNIV)TbhVOeuL8Ugzn=`Rd+TR3tCqglzp@ ziYIGgS;~^ut{x@iLJ^KYVZ4beY7QBOe1J`ABSzChLXbg{NXNPiCV|^W4$BV5H_&L7 zOb>6k8%2|fM8cbT+@1WASkJD-MZgH0whBzykJ)TiHULjZLuPcAd3R}^yTr9qbaQ1i z8>?y=_J_(3JkC2Z6n@P{{5J}r_uj6wL=NU^YEf=BPUI~9C03SxrSr2{$XrHqgw!J0 zFa95KI0P2)zZg4*AW@=q&6aKBlx^F#ZQHhO+qP}vlySFwiOz-&5+#6R+y)0xsGHh#*z0LK1n};=aG{8_KL`VKfY4gB0agMXH7bswHJo!DX5?x7K ziyKT~l24~v5U-l2o?@(=GvhDX!x-dS5(cyNNk~;_7RbF=X*#Mq5c*umA{VKwncD&U`x z*C6aT2eH=kj^yO1EkA!l^qehU7E^XkAv#9U4Upf&vdWo9>$&jW6ygwE3^Fw3`C0p> z^gw)e4k`?s(`W=}rT{1-ehu%S-ueM-b}8Kcw+`;L!BU^v49pQH5En~nBAg{7L5c`s6)yr% zK!So2e=Fskc>K(M_?&p}tZ{7k=zVq7?zrSJ;b%2uf?jV{o+uzjrm!E$-p3;97GJ7K7BxL`P~5t85tFU z`nCWmapj3&fI@*``pMPG!C8qwF5&2f`1R#cj`axK4|NpCciR)fX)iX zsQ_++3bX-Bb(z^z`f5N8`X2|*Ik)ZmaHVqKSH?c2v zf!zWL0arHxm~edj6Ub1$$JBq~0swaFmH~u=g})(R(q8KL>0j;4=s^N+Z$X9_=-Z+D zF^}OuF)YrZ3+BiH0Whu~ClM~MWBT8NdWP+j-S+hTOCuoxqDNlPIqe{jjw9~T z?n66%1j#?CU|RoT*^{vZhk>KS-jjZ)bE z9#B{VhIzd4yZrlU?2jD(CUOcW1VF+^5SP>h19$@BpGQ#J(;Jv($er7fOwcp5{t^Jp zg^=@SLIYxkIEESdjt6xQ@+km7SpdgEx$Q&!=}m|T2gv>(Qxf7iP*Bnr8K)|Y%eT{* zEH0!Furegpu2AMa20W&Nh3VE-1w55o_Swt6f*a(%z|!r z2NMQS9ajjD`=_9XMjQxaz&GO4FX^Xk@+an@uke%4{AcIM{Jp*FXZik9@dr<{9()St zAq{uZ5D&$b2nJ!b$N#6T0`+kg37bDhpBMM1W=SBRA*%q$&Ecmkg5FLB1MA!vMo2*W z2jTPvQ-7#yXjk4SnC)_f2^awdFyLD%Y>Oov`5fWOC~R34M$zVr6_X1&UxTgu~r+DaO)r)8IGq!^|aRD%2VK;ku}=1G-uR#BV30@UTi zxK3q2zU4W^MkvwM70fAOtc0xm)UU=X@Fs#x&S=%^2H)>_ z5lva;M1rKpjL8EX1>{2fwVD-@6*i#Rf5CN7(9oHo8NR*P(yo213F}$;uJzRCb2yph zH$<$B(k;({x<1MA!Eu(FHGSHFM@PcXoiAOGU-rN1?MzRoQ|`50Gn% zcJ!}F4R@(;z%yQXko8C)69*(fElUB)XYzxil~_Iu=zB zLQ6Jl$|E2#>L47a;1d0jcFx-n6*A6vT+Yvn>i5@mF<(a{88i}|=kJuLh0}m@FLwp;%8`kBMD2k(FmJJU8D^_DFQ$o%@#m#g+E=5;dMW zq}MvvtyJ$4-T13K@@*^rrwNA4x9v$S(}FBIhbxi<(W56`v%sH#?4-t!8@5K5+}<6@ zTj#Lk3Ku@|oTw)rEb51dDiM@DUxLksWdzUD1Y0v<+0;}Nax z3TrfzMi1N56DYwMxRDDI%N7Dg3tHK5JhZvq?B*BJ&V#qAhwgmr-Nf4vcka^RNw^3_ zl9*;HmxYzeZQ{j%5Ga&uu-38!+}*zsuL=ckZ1(}h!>r3UC%(^gff^Ba z6L>mmpzGs-knQy%m(FPDs>y3!mIfn7_grn+IWzrnR@r1pzs-m5*qzkN0nwrgZInt* zvsePQl${xp4%@8JcbqHzLy{5D!HqgXm&M_IKs(zgXYFZ#*FEqQuU%g~5obNYn|N3C zFrLpVZ~B>_%Xa)xpXI8Ocy=b`8LgV`Fh!LW(kD)gVnboBoQKM#`xAY98cujbypsCc zti}BXZA@3LJoHA(9MM{4p)_uuR*P^g8ry%09j$1xEGUokj_)b!%jcYkQV(ufsFvi( zE;|uDfo(7vq`+lpDWq0rP|e%x;bCKas(1%FpNwzeQ5BlcW<5*-+$RSgIAdNJQr|_xbefT* zqZ+9I9b8=}wRi_TZ!52gm^2_xRvKy*)?Re(wlC!68|-(Kd36Ag@&#j<-G63}l?-8z znN(0@Nnkkg7{b$yJ5`iARBa!(A-Z+2?-N%%0UG;+*)|Z%5R#L5N!NVf?N;l8vCki7 zGUU5b2a{lFod3y8T~E7m8a+=r)efv6gc;)_6XoE3;-n|x;c&>xS^bP0G*xF(&kxq^!i%}D=(sxJgMVLo@p{kw4=M09mb=$# z#33oed^^3I8vV-AiS0qBqDsbzrP}G7J7(izip_!;f9MMzh%r>SL&aFM_@irC?(FQ=O&&Iy84G&CBFGUxZ5 z;-%dbAJRZ=Ox>FD%qxE;HWvEsghwjrZUfRkKJ%HZs=V(tOT3=}knE@X^M^rwOqGZ8GhSzIWPrpgX2?_iulr zkw)ejlX~s}2^e6mblFpK=@TxWJDDc4oF)^E<_W5wg3e`MZ9BOK#lntD*iF(8`;?2S zk!O(y9QCJxFykTg7KFTc+QWbw*c@ptsT{K^7KK(*FRx3^2o_=N-edyM?P6gHT{j-5 zh|%b)T4JEOTi^sy=!W)!c7*X%%J6Hgz+97E>pj`z*ErO8tk>R?urjXgpan{wEV_F} zJ|*8jYreiJ&ggR5_HLG9eHLF2Eu+6uFJNwrx9|JhQWGD5diWSWsi3)UO&8j{q4wT+ ztEeqI<1Y(Ooh3~>@QfZ{AxduNylx;#dfJuJ=qo-K#k-OOv+h3CMa*S>a&wXR9}(9S zN&W!Yr)$@x5;27l&1KqT9EyO#>e5OIIGj(%=ieUp?sIKnf94Li<`}L$jLl=LO@S{T zciarU$Q}w?N+!P%7lh7HEkGcvbcg25ltmI^J2#w&cUjmV9+xu~&?nrmfrhC5bDmlc zrG36YUS|V^XL-Vt*$$^$hP5~f%)jGEqv6C8^D;>qtT_h|cEq5XeJMFmiU&6L) zUO0>M@tW-2KXjWla9eSlgzZb{ugZ-yT=BmmL5tmlWg^X-DYP(MGqyUdU3?Q|ssa`@ zT(^6w5IJJQ62zN7kj@j@wpxc$@xekuRp9Tm6DqpP`@WPgodou}&nYiVJ=D<&#qf^1 zmNXaJEh=1?t}?nzV&^yk^nH(Q>$Dq%Ik-{#05E0RspSadZOVL1`ZfWU3%mIYy|T@eDhxf%71yY;ijtxWb%|lK8?wbWT2=2YN*Y_=ni%Yv>Y%{y#p6G zxHA_?GRo#CQKnA4f=QS8-U6D7<6I5jfNW!VvTX%`q+29xUat)qHv}%~zbz3~6K?lY z88w8t4g4ZAzEVpg~*uZe9PbRjU78_vt)D>b1o+)zLl}vt#eDlB!hU&B$YJ+r+Bm zZ({4?aGXMdM{Da6;@Ij;j+c*U=#>}G#WeSm! z&wS@^cYmfl?UM^grSyI%$A*K3K7<2m9j2WF5um#a5X=FI1(mNFu_ZHEM+JcpG@Ei!$TDv zw;}V%ZLKOr?t8nR4iuYigWr*p@JfB;J*UJF>&XuWjCprtMcwv&mLFmtF$ItbQQ{!U zoWhHGL7n^Wz9^efLQ!m^1g?N#2uFt-+|GWpeaY%V zm!~>!A8KHO!wsdhdJfugqjjo7TY>C}qB!|*S8vlWUH}1E^{NLefMsE4*I_`sJ!=F< zwCx+_^pcFU&6i`s5=jbi2WZ0U+W8XG?1->D?@(QH_w9g;Xw-E+FMMpISvt`ewsVJX zU8f}N_EYiVSP2vpdj6;}=4J0O#>UbGT~4EyM8+z~?^M8@l(0h%9fEn<73__IS{DwE z#vzyaC9ZXmKC!K1Vmc}IViye*nGa){95Ts7pga#oy}R0UuAFDn%x;2^k@6hW$=CYI0>W?>?ZMa)XO4 zjZTRnYNU`LY61CB11Mz#(uqA9IOs1F!Em_BUR<^81@Uy_`?Plu9MAxMtsM@JV3=Q& z=y6^<829t9_by$z_QBRs9(u@76#Th1?_u@@YKF@x!Op;Q=((Iv5a4ns7#psBo%0yc znUsw!T!g=>;jjTa83A{dlY4!SGRqtHE{-MO&tVj|$LB%gwYQoQq(ICr;utYGn@sxr zUa&U+C3*dd5Doo=%(dKK+a|yTe9tZug%|!BZ#yK3V&01vL~M0QVg1ocJt%FPIrVgD z)U%#txy|ZwA+nwLXG}ApSOcfImOJ`N3aK+T6kI7jS7P(nv*NF45x;C)RS#T zWZ+@Y><}s!M>EEHf&L&hstl$~vH99@t4jgz7$;*a;?V~cXBpR+W<@qrYgyoP>M~`d z=R2QC_E92auAAyc7o9s|8kj5*(SL{ZBszY(OQE3u!gb&g*PE}lHORo*V)aLn@)9kj z&LfLx%Eqi_o@*UNTo^&n`A&8~_y$4!_20|w5wHsbTht>_*7aWvU($e_iO`G{Y8V(G zp;uzjL%rdEs`>0-=Jm}JyYr>+@(?>_9o8`tWbG(Ey6X%$6!K>k^9}g*$O#jbsEYCF z5q9zI66Ry8Eq2e~yh!b{R8p`7F#KTx3qtHGQPZ%>X=_=^Vd6xtC0AAcG~4k`kG+-6 zl)z(0vOp@4AdLCkRMd-KcJU_GT_ycQR?pUVdY|J{M zieYMDImt;h9d4ShYiCYpGe*KtaSjZl&Rt~@oSTD}5x^uV+!quyS^x(_+%;tfJacg0 z^|!FNE%l;!DV=J%AkhccS;q)?SupoWj~`4>am}fl&^IVWDB)^$D>t{{8P5vYtx5o# z{$Or0;qme7wLZ3T=(JchZ9AziGoAYlNTJ{RTX^>kBQQNl)# zsy_pPh!EG?rQKTL;9+9RWGcXCg6u0anwA@)zDu^8yL0(bzO3BWjnRco3op=jD1nHm zhnd!PMOfv27KzMYBFmHmt=8>9DPlU;?p~d3vXd20-ocDXSKK)wqv;ydaVXI;h_pd4 zD)7J-CHnEjA#L{AEt@9RVq=+D6CkXddB{K7uMjkO(mg_n!Y!nnjbXCe71cn`)2`lo z6{qwcl1$2u3Qw*01Rpz`9hLcoRNaA0V3&h&}i61%`#11ox(*Os!2;O~) zNp_#b8*sq=6+rx*b$fEh!eGu9>nA_)Xma5zQ`+g5-kRwKUzsSFuV6kAg=kSL_&5Q= zM^;9H31i|lCynNb-zr%-ZIFe{u=i>9b`1)30L8nwq+AK@yBI~TO#Sl&x0Ph_zk#RhRZUOuuQE6U`cKgWEuW2vZZMKg2fj;VZBCa=hpc zN6J~zAc)w$jiip$?n-##+L~1?L~#dgSnZ}?j0sbd@m>sx@+Pn_Hbg^*V5XAce|~L-KsYXFJ2NJc9Mu$#>G|dOPPf+NVNs!<>~j`#*@EpOoJtlYEOyMYLO_HsokIu`G!gSKcKgUfK2e32gfKoT4sx)oBt= zuOrU|qNpp%ba>nZQTOg)>j14^msT%O&9PCWG=x=|j31sg;=|qz3izd*Poqj!iH+~c z@rPkvdB|NnOok<6Mfs9+9ubRB85m+yCA^O|iURZ)m%!UM4M|dC$gzl)K=Iskb?5bzb!#*8AY&P z>_GhxaYU2ehH4@?7SC_nP1A&jUDca7WZQ1zh3|Py4fKZg;y6%6`16?rsRhQ{aU(9} z`Zyap<2hbUcohJ(06&%k1&lJ*Hv!O%o?vgr8p&1K8UMcRZ*0vy5oLMk{z?oa?fXM02ZXK5z;y3FM!<)hU#3Dk-=Vs^WkUerKHJHxTXEge{_ni_2V_?`PHV>k@$ z&a9U1o~(LG!qav;58^4aqU1~eLqNr^@GdLO_2+rgLN`B-c_&c?EBVl;WzPAU1GvXP zaNANK#sN$`pk;EXsz@m?g#I%4q%7#F@CN?*lrUewVB#*r;ZRy@N8W!jqjI?fsAw}) z>oCa+nb7ePO;uJxZzVSDs7l%w>Bjj5x^7I%V_SLpEZ2&}NXuB0c-O%6)WejNWT@MC6S``?I<5ucTX{{LMu{oYL{YGLhc;`n>E zHgGl(HZig@Hu>MX@!6Q!S@3yz@&E7fAAz4UsPaFp4_bmP3W#xl1rBG)GG_@QhW>sK z24^WZDWbsO;9_SNWc3o?`!d?K#-K` z1@X6-cj^5zxj+C=002Tp0tolLy#aiAc^mq0_G3J`O%;pK{wO~0I*acz!6Y93S&?~^1<5xgAlfVBnL>( z{Q23V9_~FoJ@3^8w%m7XpX1g#0CM$%f%(x7!5p6e)_{EHLCrM<1o|TGb{T;mar$lj z^m*EG1{Wt#LHL0X>R};{Lt*U0)&jKw$D05>E6)LF%n&Z)n%?oiY5VomfC26Sev+>1 zPW2-C>vslJSy}DNn^32)VVb~K0|@Z_QxiGi2cZW*>jT%m9h(E&2NLd7aaHxhQ&<-E z-1bxfNHlQ#Q4@FcE;p^U2WBAHaM|b&(S^44EaKCuA(~RcgbMI624P>+e4zBz;$iQX zdp!KwmLS1ig5SP1HUbP1kbW#<_|U!YBpk?~%kRsC95+xeK>f`Mls7tG`Jx5pM&qNj&8@u zQLNC&>^{h!F=8_C7ob;1Xb9l;w~$u=eqKage+b9DpBw6*y&txho$^-H*ShuB@4w|x zO+moJ-}3z1TRY6$-wPlcdIy7WuP>09_QkOR0Ihz;cB5p&W)DwnbRvcX_~IMC~VTz#P4nTE0Owd%PZ`)Vp7 zs1A+C2QLYJI)v-9kXE6Mt6)V}**_8Ic6j(p!~6~KZQ8M4e*?c=u=~5OG*}KRR@w2g zVc4~b9a03x>PNF;r3=re6S8&kpkngjj-^W0%8%*|z$EE;K z2S5G*8YqO|;jP z#i^w-D0f>sS=xR8V>lfsWty(1apGHSI4o?xXy6o&>xnp>oh_Tx`=_r+O=^GmX(tMq z{GLT)FRt(Pv`M{S_GVe+D||gT67DP5**I}T&GsW?{flE~q0nR{;kO5HRa7;njBlJZ zZKkC3vgvYC1`7Sq&W_E3O2^q@DShb}CCS(vOn|9G|8g6(-k5eSmtbneMq6Win}a4? zoI2O|GVa?*TeKykZb)_2*=FZ!Wa0jDz{2%Nr*->e+7fY?nbDC<5+H!s)FtV z&;<4|14YkCWm%g5iIRPv$XZuoy?b3qt-|d*gP9Lp^x$zuMPsWv&0G`u1PEx+g8r+S zYd&X@oW-V@Jab!hA~rQU``@?<_H*3}ed7feF>0LFcoKp~K~KKnqRxx#!MUT+iLyp) zf_hkC_ene5*HeR}ESJ$RM3bp@RWNzg)4Z9riF6}-Qf_lC$_3yCDiHMTcF{!XQ0js3 zEijeg+^-kZ*XU-!G8~CZc=KmZC#63W(H02|Feh}3!;_+^@z`KYd&j4?V&8S!-wav7 zEPBoB)DmMjLh}=-Fb{bk-Cy0-N#*E-75mDS5SvM0goy9$L==zMhxTy=9AVq{ip+hH z$SHVeUqnDwtV3Ij^4uR=lHtb6PK8dms~VU2c0P$^H#b@Jp@B0c=BwjbbGlY6Q9WkC zzIB!alw_<2@;W>9`QUWvdX*F8ql=NY;*mh$*YyHi4{7$ z&BlY=KSBRz2O=v;G9xaH;GHz6Y{&&z1*|W>(RbEl@ytZ|IjDf8=IBY>IA0V&GL}eE zma}|V&t|ty5ERL8+Q3evIq8rVo5Zj{(T`)N^;chpc`Mr>`jBgha^}o_^{?$LdDY7v z==1T|!Q&Q1MxlKN*)5Mu{v+%YZo80=X37Ix-QF32V%GEI7pNKkT$_y>F0?Xnyhlah zJ!Xn4bMy74vjWjNK*D0P)tjppajE9N=J7Eo*OL~sYUFMhImG1t5w3e6r}W-HS8WfT zHaAbvXejj3IlVcfq^t1hxcH8pUa{krFx2HGNpO5HGV6C@Y)7y^2pn87hEVtGZ2W82 z7GbT!ZF$^I)Qy;qm41h`+rbrDqP%!$u&SSybAp@icS{&|Qh$3|TSDWw(MG9RFroLF zBW_8s7~00_AZbIrG`SKrSski`ak#w8Rm#v^4;M4`Y8F?H?ld&%6*BWWpQY)DQPy=~ z77t|*9>^Lh97196-lpYTji^qFldb(WXWvA7_lci7Tv>xZAr5tJ{SQl%-Q=T_qBb=9 zn=~#h_B$Xl{jN8!f&Al*f3jxBmIh7NOA9yV&)DE$y6qlw=(-S`)MV}y_^9g^UqPk% zG$G|WQb@(TON{%o=O@7EWBgAH@o1JZYQ}Lnx_BiYQ6yfxf z9s*2kQjr2cb)h?z_rN3d+3C5DK?(z{4mVz;H<*OgEHQHI+{1bu_9y~Db4w*(${A?pA~N2m)5t- zWLDb?SJe3jkhfvCVF*_gZ~=uuvbt!QWaxZF*?pv@uH{}@`|m8~zC5_AWl@3aqgpc_ z8KI#twjkK4A@5E1t&ZE+IYBsN6UE_bGC2;IgkS5nHZFevhU(^fPE5jh_jS%8DMh}^ zC#h8%>2vMS?fUzx3JzQadFJ<0piK=?3jR>6ftJ)LSo!lX%lfdgRKMc%#D6m(n{sQB-I+l;`Ew{c5Fe3fT#A9U+?0r)=!U)QEh&7w5rOkF%i6UM@@6lve2?Kvjf0R`LIJvM7EFd= z$S!-bU`vDs-1x2TbE((vDTqI(C!CfJ4_KaMm1^m}bX{yG+5c{1=M8rhjFs@k?t;Py zOif8QdVqYQg2>7?L1h;j_(FTlWXK+>C0E}Y{j^<1Q=Qu5rYY1La&~R~gT@rJdShBC zeIaEi661@FT)lLM`eU@3S&1!^c_z-L2;I-qB^m^_>?=*?!Kx`1+@8agAezMGh;Ob& z3gf0V@!6j}lYgh^7vUVc_foQjzbvJSyCf}Ru*%6k(~sv;_7#Ij2f^{%8>h^C#o~3@ zEt4@x^}3lqLvpR#u*32=5sLao7OrH+bqWUe6IDEYFi%Di4+TAXW0rh86axeFwnjx= z@w&bYIZbrM=C@+kF1}c?lM%5|Rp8>L*Ox|CL)LMYysNcCW_H#n#6r21xnmw zj=N*2Luf2Fd|$`nMlJXP`!3iU-V~&}+qj|sQ61v^;YDtdWa!2)HVyH6)@R<0Gb>-E zawv2{SV)j%_f#3}Ma?mtEqp$o2lRpDkeHjIUzz9+EXw5oodn;_O`IHt7~7>C8;n;# z6Y~aYhe5hinw4crq25{<2}Uc6MAb3XA9>#9fDv3d^cs3CR@-X_c&ep?Hd94t$hXVp zch;l6m>Jib11t`LKWjxvkRV|wU^(?!9MB@RS{!5$2)!3=-H?u#6?9r}!%fn?wf$Lo z;weaqjG=w1y!M~~6C%Lvj@9;4`$tx#=A0}-JInUSIM1Q(LRWGR5j4ydiXd5@`aPf- zx~UBQPvBvgO+!*bk#BkbjF??ow{k8zy>kV>euOn^<>ATjMd9u*8Zx32SKne%h*%!krH7&iJ}!1-3H_ z;Ru57VwoMPrZ?)laBuTMgiGE+eI+Q(QI3qYE(2iPSU~LAeiHo*GRzTBZAY&|Epwzy zBY*ft4gbcz6Uh>nPf7|1>UzD|U-B{yTn-$Ioo#DL2Dt}y8;>GhNV)LJ$L07ge}?9Z z4lWNbdZ;C8^4Hy&RPO=#*|76eYm6UN`&8yNf?#?@n3?5~ z6?ks+Zsw5c^rv^=v+;1%?D8l?)%BL$VW>GIRLRYiy0>oFfxiU!AsG-8jF$d8TCuzj zRiJ~qAOrtg0XMgqS3}DJN0Xbq#vI3r?0#B+1W=&IA+L;Cy@M(^zfarcGNpq>Sf1@S zo=XllZB*7ExBk*xU{8S0Y!P{tk20mu`W>EbLjEhUyiDf!m*f0&4k0iyKb4w4WRjQ; z%z?<{KGFYCThLFHpX~RO0dvg?t8Msva~q_G-*4y-;>;n{;AD}0oP+gzOt?td5}lnd zJ&dbj&u9J34QM+@tq3{)ZsM?5MBfFUonxmm*{vw(*jicT$y5Gl{ zv5xq3T77UNCE|9>aKtDfkn>GO_Kr+~sY`)^r3yU?P_p%f`D)UCb;5{7YpU$@FL{yE zKuN{TGumhx>pPmD|F)IOOByS~C{yXHOju3i#~ zBf`lbvD7uxWCO+iDJr~1h9iz6mAU{MZ{23{(e==M%918zc2SEQVstS@?WHfdGT{el zr%}FLr~OG)>WJ9;DCL156(5o74`njB^}G}n_^!UVu~%+L{u7>QhrY*VMd9J27Ql3T z7=iEEIHbutRlEC41*5v5KYSv=C&G%U^^X3|IIJBJ`|h}$@oAF79Qu|h10Q@UtI8w@ zF?r7(I*s#qfnDW=Ja?Jow9I0en=1>vh}pdV_}B+zlPN`P5L*E-Oied?eU+myz04)E ztkc>VTKT$O_7z9}*(^hn+)B?$)I7+KxY=2h;=!F{zZ~YaqvEBX*n}!T2D2X zz*;JR04IV5mYiEvw*@`(_%m6A*E@j@J_5Ngi+?pt=QXh^WJsd^$vwydQK4Bs)8%A~zk%{VI`QTEtqI3mj*GDP-7=c^nBFB>~1U&>az zc4!Pv8@Tas3#R`%HeZfYj&lVb?fi$Vt>l#V&^puF!-z-C>_XPMVEz&P8L$sg`*EnyESY$m`dVLEG7|1IGaTGU5x|i9;Bdc3hcGHe8mYs$btv=zeMcs3Y(uRSMRgWC_W|f6h0JoNXm$$qT znZdasGrkanr2Jqh#wHM~(9oIlrq+!E);~G%Tu_!Y;v&X}rgcwNDm4R?jS(WxavlPO*~uiffEN9qCHni(BJK3xrn$-=#5B~Qc4es zzoUfkbNmw}-%dTy>;w;9s!Hc{qZ;BRNrIsrh_6`KY#iL_DVU)Cw&6K=1K*m*m77J{ zD6US?e-^wpa#BiNQm!@>1>@MJcu|&u;R`2FH|IrZ9-!eEeANs+dmf3)6u)E>glxgz zL!YC_bO#DySL9oOSEM9JyHx3pwPwO5&jkbDEVk9SayrRZ9i;Eh#5`?f?hLY#)yHB@ zrmnt%s+!cCHh5}jv*?y8or1WKt@6~6UBK-SeA$b(hdGtjr2McyFQG{za`o0Bt589M z!q3jCA*B%Fvd54c5CnGo=P6Z3{(Z#9EbbqTKyxs78+^RX)AJCb{d^&kJXsT{<@e3I z+Ez6Ww@>gdG3KFX4-Un)Gi;;N>kw3KHqoUgK2d>7=Dx?@TnuTzK>~U z<6THXMp7!RnF1oHW^xTy%pDrsA1~qUjIknb)h&m>Zu>`m)B?jN?@YM#V1d4x&QnR*_+ux4yd)Gy=Ny9)F${k|t~Be_mw z6drM|^}Cv}xF2vwj`Rk6U9kD537ItOBH|$;ru%r(1o5gyxujpcfqs^^ET%M`i~R_= z*ahFkM_aT_qp2{dE6oUeis1VApS--s^0ezE5q~ADxlD26D7c49%yU7O#PkRZ-JrRXI|ijV*8`CbGD$C!iu{& zQQ+!^RC?p4(?Dm_AQ{tNAlxplgW$ImU)h<`>-QdA-;hjLTSJ zTQ1D|6n6ClYICFcyCCkRVB!bYecEF(b~zBIuJ~iW9RKMlH0U<`Z*%7 zR7aiHXGt`lUe7NcUx_NpenKKAfAxMN;cO#m9(BQm=%`H-%*|6Jl)%vLUcE^@*)RhR zc2vy-#wc#1OXo(%pLs0}f#f&4m=F~Uk9*)$@II?nJCJSFcX94m{GzHLih+Lg{a1Bg zt+~vGc3>%HJQFv8Ww$&`^kyXfxo4Xkf>O)1CzOxfEi+N58?d!Io~oUC(@=M_Wa4?b z^puD$wx1dd5u?UZml~Do=t7BV(2`BS$X%8QKL^MHt0K3tSb_;J24N*|TcBQ>bWvkH z2Zf5G&W=2{a%mmhS9tQ&^s^gpyz$9iQXD~qag+4C$h!q?qISFtL7(LbU5-#X)w4@V-;}kQb&Hc@ zZ&faf%2|aTQNchN=W<>fGxYf10?2Iwp%t6N$PojzhXV+3#K7SFHgm6`c+ipuaeyAS$o;h5m<%9O}#qP48+ZS&)4*@rV6JB zkT|QRRzgQIaE#(w`OASDnXw6(mvdfT7Tw|!6#ylu-dQy&gKvhZ=$9dFEbMvR4^uu2 zt`~S(!$Z+511IO2aB=v_8hZzBu*Cc065?Ho(k})H8og1bC~!Uaxf~wBFr67S!$r{b zpytyhcpY_iVpSvlZ=jnjA=31|7v10Q-*+0&EdXM!W>ghOP9$t0k=NA>MtJm2386B% zBDF(y86G^a6Sq`XL<=7QSS7RSxWNMGD#R^)+9sZa%oCehL_T2H`@;4cTT!mw@o^wz zMM`9BRmm~jXl_Zaj}FFB6?1V!#0^+eVlXsEa|^IF!;~3L~@I>t4(n*+jZ9(^PHe5z^(>c=##3V3zog+jXO+z~6csLZIV`|@z$mk8@-pXth&6L?Fj_UQ zC){($PSG!STRrqISHm4HqPVqo?r*++%OAiFFjPB{n>ON8Qt}MB%@K26fuJTRz&uz@ zqPVJApv^hC-A3n1V`>;B$#PEm^A|rOFo$q73Ie*2 z`;4YX258nIo?qIX9{|y7mhFE@ZCM!pYii5P@xM9jZ)(d-|NoD=XJh)E z>HKf0tvjglqR$2&Aq@r40`S=%8l8nL5{6d5paueL*aeC$5{Lx?{4GhzH2mYz%q3==#!Or|%0hA&>xH-rC-75TPrns<5rjAHD-V=}Hoj7O;26=%^ug z(@?;Hf`fyH0g;dl{r&w$-_*drMSrv^;RC-auK5Tp@&CjF{O#k{?|flHnB|+=eQ#pj z^!GEJ6ES>+0k!|i`i2iMC^f4+x$U2@+a#54$bM8^|e2~(9?75(t{}DMFf6zy3y7s&Q zK)$sE4jS$Q#CLIxhd~ShOi94(k_E4+K>Yh)8vzUif*{5^0P5F=0bs}9itvS16$Zf% zzZ3NQVxf(`{y&Yq1CT9I*QR;Pwr$(CZR?h8+vY9Xwr$(CZM(X@?&z66V*Z()h?D2! z&b=~MW=2NjKKqUJye;bJ;P63)_kwute@P$c%E$zhp3^ z(|mJ$ccA4<*^s3h=|h2~LOFV%FW75T3Sahj&OtJfW0#b$3QlDSPoVYk(=MV zTGSs#6T{6bk{nsE7SysQ4$3A?EFfx_N9qu%xbL1Q%kBgyF^ z=^dTXPCZS9OZ4&z+|6?ns*=uBf-l>wx$Ok~B8*G8_KZ1AlwBf4CP72HF8}=xo^n?a_U(PQ2cM2MLL^YIfwR z!MT=n?qHEGf}}6Q6^^DQiMr4iis&fyCaFg1-<)V1i+9X5_!afj>^|=nXIrg~XABW5 zdzB5V-QdkTzG}_^KNI(6;n32Oz+}Ck)pa*QF-=hPRhzzuZ>i4ESx+HQDf4#lN2M`* z>5q8FL1A!jm+4~O*&$b5+)`TOsYh+blxo4X|He#&m?YevmNE8|0TPkra_0bc;xD_f z0%;(;IIj-h3}EIpbVBY>_+AGGGeXVK3Cpe$+RZux&v`^4g&(1*tJ}tuJtAW*oWR`U zT)Njw6Z^39ubk|6LOfoG^o#JGI|X5vl`FpOwMJG?;U9eA5)`^|L8rDy_Wa=dSwel6 z##wE>Bl!}+Sn;r7&-CZ%SyofmP_QaruK2^x$IvudrULzD$#aD< zT~*6|=;txHn8hY(_J(torvZLzNGl<-JT&QY_h&t+axy?SqCMjAlV!j7{UKc10D4fl zPz@vUnt{PB?W`=G<99!%R&JnFQ;G=Zo^{gM+VckIV9Pg zZeleSoscgfu06VCQ)?;BzBpzU^QWrSa%&Tca54WmXqialFzG(LjT+>d&QtIF(E_SS zkSL4!l=zDIl#IZd(M}B_JLAG!6Y(Zc?oG$kh!Ff|Q=dAOC$8CeC;H_b+6?|DD^@_l z$gBd_RUJqIMc&}}ftkykT|X7melFHXXy+txWCT|4laS1s9GBgj{htQizRGpeGY$Dlzp{%f7)S6|8G3)Pv}5eE2bjXUV1Sexol)XS)&vOMj<+)%D;|m}CX! zfBCBl$*u9!Lk4+d1`HE!(Yc&dc{cfhEMDi8ne&?Pwo!cay>u29f5i!WNwZ!cgjk~< zhmASVnXg08HMK2M-im%#b0S2OYhRAMzpSGfV)|s%q)Rgcu5Byp88O&(5q;(S_g%T9 z^I3V&t`XxNlE16!NZRm6M@WRL!;H0Ovehv6-<$8DgjUWaG5((87w) zgD{L(cmr1J8x0qxeOerw^}{c8$%&|I=q|9LRx0D+yT3Fhi0yXRY7gjc3eZ7GDyG%- zYMrqhns89eeLZRW8hh`yLlZ#bHUB=c9{J#C1Fx`t9yP4Hen+)<0A!o7uQTtMeJHyq zlbu`;JsuJ;K9eG zPsBYV3p=RV*}CZrV>uFmL-qmq;tC@&-ML1CR>ZPuR!|O0b?Yv9mJ@%wo$&SyaC0!2 z?^WEboFr=Zxsd|Jmf#HPvJIh{!>D+Zdop0FTPoB*g!-6-)$MkEZChU+4hElc8Gm_j za-zWoi9$Y4+#Mlv^t4lXq-o2N_0^7DpsEUz0zT)E%hqwwahPq}LH3~(y%gIZ=tSJF z4JO~eTCHJh$Rh_|7orv_rF}vd7=ac4@LR=h$hfYOyZX!3#$5ME#tYc{S4ZR#{>n7(@S1&J zS9Ec8U=EY28D3HhCnekhDGnLVWRJx}H^EutMz=n8Q71C_YN*d<@?s8#zgC3N;o3x8 z6pmd^>XMtHpHnr%+5%_MqYJGW68_-;7S~A=T6vb|TT-hU5!g5XM{n2I+Dm-FCy@m#Fj zwzghoNBpLL;IKsH+RY_oZSpEfbIL|Hy;%qY@O)KA7w1*1DdzBq7>Qxz8+d9c>84RC zu4muZ6O&M$eIKss7=^GnRnKfuy#w>`o8ez$0stPsQz@mq=K%ZQHw7ohe%R8@$z7-p z+to>(sg$aRV-crd9zru1yuW%YjsTfyo^xNS6fY6zLU@}>?pX1c$EpS6N*d2qHWUjF zy*jp_j4^Tio0R#f-Dmh1<4Qt3mb6b*mP$6YL|PH1RuUO=0G`w_=it{ z(v%%fc26UxfYjHDRL1gFe9)R;HXqO%BQ|`A^Re$< z8m#L*bFyMRcovIE&*=4_*+M1Jyfr0K@c#8C3JwkXw=yTg5LT0X(^T2xSX7H1d@mm+ zJl&$Pe;D|fJ{;u^de84q7f^2e_$X9G)Z6dWsDCY~1>O9IDiAGkH9V#{Lz(Xs!^wMk z>B>xx32`k~UaKV?*UQ?owTc~wT(RAP|EWkTeC+X%VI!|lQXk7XzkzxV$Ov1!IJk#+O@}AiKK?s1xH7OaZ-yKCtg=3J2ru#u1^y)$$A*x0J26RdmG)O z;LhH)R)4u+H%Gy@*Ihyrtaga$wMdbw1fHJfx;NpqS>*?YnBzRosdw?POO_m-Y9|i? zy!5o- zw$VqtpB5*IhcgGWHq$*XZwiyC`$0PB7iT3sYzZk#he;Nzis}xhug6an)RYxsb<~V| zbu}0SIf`#bYh{C8uF>uvtf~$9O*9ZRABpY#{8D|KF_{8KS=3b{<=3}$LT`XMaWurx z(3B+l358)pq#5?qLHA$YHKA6QXWtz6AzcIawqBzB@({B~i<;+$hi6^@8;Z0h&LXkW z?P}m(G~yO^Q%E4nrZk7*<#&CZ+VnC^3&IHDu|qmY z_dOKcbAXZa%z&-aI*~Z~!6)wAs+QeY9qs1Hn#Vi~^RePFkwc7jG{?yMA8^hXRlN%W z3Af#*bq^aIWZ_MT9PuU~_v4ayX%_9x-|1sFe;1NSLBHs6C*y^1*euWUi~i&NeiNE@ zC81zPa2GR*R|TQ%>L|nHYCC3!Po={%^AIei&D>*+h`y6bGwhEfMoNK}1FYzg8T2S6 zT<0>`t&zH}bd^H!Ytc)2%+8@6TBoImmxJ4+3Rd*-AMGTL#`flVC2`ZuN8l!#Kwhrg{Wymf2?n$+xT%wy8z|aEp zIde~oOw)>SxP^_)R{Qccxw~oy>$C<6$hHfUHcj6{WVY@3IddY5N;o2S=H0P5WhSrU z&Q5~-$fZK-@bVYN<(FHjd{O5{nZ@jj6P~>zUrim|zxTuivQHUfZM>Ep%WlHJw#Flk zB52A1in!`yNiLFq0%sRYE!o7m+IOY8yQhrv`f|{rT0HNp_10~YEgl;7iT&G^2O>?W zP|u^D1u3E{uFeB}Xms-eLs(Ij)*1`FglATjC$@_#_|(}MixOP9`d`w<&AJMD2CFGI zaOauWbCJVc+wC-Si&<)Jlz-G)`pQAX3|C#aD8Y3)L{rk0NWo8Q%)}>7 z8qm>10Dx^+3QApVv(wdUdcb9pvlwIB+MUy=mv1RaM|s4-XikWt!lg)F6v+; z$l7ys=enx@Os_d@>&3g+dmZeJt$BUJ2fENd%bNN7K!yTi%7l2I=N(g39g)9(yHUnS zw66tbJV|vu#=?o3pYdd85rv}dB;u`1xLSrZLy=b0M`VC60v@s6)ylc?nPE%@0hnuq zno^b+xd!y)cT-;ldl0cyscoy&MtSIjU3epdyTzjgZDT+n7qC+^>)=q-oK)qL+fIy;*krYGx{A~2ovmI=*B#?I`;rPm#%Hub-fX{ldCEE zub$j3g$9MF>M$pyiR)mTc;-M?09%O!arI`q++@M%XtO>otTO0L7=%b&z6JdLI%c6*g{ zxana**y{>+5up&oCK64zi^;vPctcK^XM^U&AFBK-ls__tYqMC_s+7d2nFk^ z_mmpU9DBA{qb2s!iy!B&t#K17!Np7@@W+-j?koC>IL;0Y#l$s&%9E21MljURTG>zoZ+3w5dr zc(zpP65}i`S03Q6yRg?qi-yr>lHdq^^t(6t^LFU2w-64_SzmVFUe()1m|wV()6}^4 zFy^z5t?<1Yhq4sq5~alJ(m7;Z?s4s2m>LANbgweb^UUw{bQr4crLukSO;(DT_@Z0q zksVczI<)R_$bG$F(p%9jb5Zar>rCXetRjd(yUCaWEG6)e!E&`-GGbFb$Ty)82Udfx?nLg{ z@%V*hSk-fvgZm;7p40zL^oA#l3;zoQ*|83AWry7|IE}E&7E_*1o2I#r`2>{BR4dG4=7*Tu+Si(2j%BO@k{j)g<~+-5QK{I~+yv z>pOTXL|S36A;Qj1g>J;LJtR-!HH3`e-%TvcL2?luQEzap>*Y<>@n-G#-BX%)w()>J zqzX;@WP~w4G>Yq0>-zx8C!(>v_vB$aT*2~@5Al-KJGs|&j}42)o51Y{U9hh6nLw@H zdtOv*e3vjsX7B)4-W9xB9{2r~044xm;UCkw1w-!-0@WGxXVc}$UMAVtFMVH1)HacS zIlUq5>Dw_UtPOOEHx4roo#I=!KqN);!FWH|%4oU4j<82PN% z#V|Sxxi~6W0(PcdulYcT=jY${J?9Pn(ScO)nxN$_-g}pNmf(|GJs4a?X&PhY*uq#) za?21@2n7}%b`RiHLf|rgDHF5EnAYQSFA=g4BR^fsKvHS6_-kx5$ahWHDoNyXdvx<{ z0Qb_2Oz$pALd8TL!96@6B|>y;)N>)WDA8P-uw-WUaBLncAqzoUQdbNYLL86lMGYHO z#i<9%1H!ZisEs#VtrnW4!=;?>Ss3u&{2?#sA{Gcipc#4Dqzs_z>xFr#mP<-6l0FxZ zXze3gZC`@xIIHh7e}De=LxE84!Y2p28(kuER&EBidJBAa@d<7Wur(-!>?V8ty=)vO5J^>zT%4QQBWDSCZkR2J^#|v9g4v& zvkcGX7Y+#(?^6=dmM#~mYz|gXdS;nYY2?h)BQW3UbPq4>s%4Yp`ouK1z4@X~&U9N; zZ#d&rM8avCU<JuKcO|);vx>wG zR-0jrwvXiTtv9oIEa!f`zu*x>AlTmnaeZ!-iDr$gJazOpYy&VRuA019RON2P1Qwvvm2 za5&5CGHNW$jNGsD|HIl!L3*EHWh0$Lq5^ga%-~v>FwbXh8$~q@S>C8vOv!`Ai`YHO z`qX2^c$oqAnzxUD2vMou5KA~tieM5?7?gFV3UYvGElQD)zXSX-t+F?fbK+!s<3&d) z-}jcyN3t@>V@E?fs!B2K*bP?WVGd{hz*ZIZdjvcsC3dA*SKi|-3NR0j3}!91vf;@bL5$|CrHsNm43;i6+-HGf#30V4)B7W3G>G666_7N6_@A|il9iVlT~ zj(Y#*qN7uPxZ-0HfhmW25bp5@;8p29MbI15C@_59ge;{S}p}CM?3rR>ZivR3do`o=0UX`ul9#ZD?IKFhGw<^o`|=-o>z5q79UL2i zBl7$fP+q||8L%zjr=cVNu3!9L4GIbf4g7wbu-g!h-vinnAB4OfA%B?<6M^443UvTn z-QmLnhG))1&xp+xeq$^ds{1(;ZhF8aYA7_Cxpcvlr4%sN?kw zyjynZKQPh%CmIdxyhn%zp{K~o&yR>l`)8vfFmV4UFTkN!Nn8Dw!kheREoQ*-ZyUT7 z0TImcQ>L&-&HrXEK$swER{e11mw68b{Y{6b>r8L@sRa_Lw@QZwNLTLrvc%svdz*8P zl#mE0$beo7_a}-h4LuvgC*LitA7Q)a6$Tj~ZeleC}Gl zDnDP95cj|IZd+f3f4Z-BPV@-H@H-Lcdmn)@N%5{92|M3PHG`L=UN5-n<#MzPW zNbEZklw*r6p%2dQVRc`@7}2)eb~l%2LCbefZOfZ72g;YvB? zHS8fM-K#8x?NzZibL?%atV)s08RDejm~bBQ9P`-TRtg^UDaaZ!+ABVvjP#NK zsuaV&y%9l0!lybO5T8-4;E+9+N=GRkG!FTG?Mv92xY8O+*?S9;g4+Vd53^rXyrd_? z^&eEuxE~*@*T@RWizB0y7~2BrBP%I$_l&JQ;Ibykb8H;TG5(TvoD=of!nAjt==@}o zZV^iUQlYn!tnrRfdgjCFN$>VP5f|L&$+}qwWNQ<}4bbt!_ZeZD&)|)vH$9H?uNP+s zF`j+Z?ZLUycdJ-tTnD*|2>)e*OpHztV>`(nR_f}wfasEM zj>!1ICvCL&rc7;Y7$zId6AErFWQovAqJCkWX7fKC3XBiT$GrugeUbW|qY6FX!j*8@ zj=su{yU$ghmme{zvk?JFgF(oLtoxd4@ipgLQ@N;lTXaq7dbUeyV!gK<13j&B-;s$I zP##kUR)dWpwSRZ>CkPiejDE%#G=zF$#%nTUxGa?-rurv^VTUV`C~}$HpOHWGv&G^f z!ReZgjCek-?@Gm@YY(G}2DJ;_HROIY;MtPBJ6>jdg=KmoiB6KM^VdOpT}K?nQ3^{& zHMQMVwu216WXNeNbE}yaS;UZFP|OzKY62|OnyVPuIdWs1jbqv4N{_g1Kur@d=GRcn z&`T;mD;l&+BZBylw}f#HTO3YA@+xpth)tzP6Fq9AAPsD$SV9n4c8jl}NonMs1b5!s z1;zv6lJE-1Ww-hZm9WP88`SA?UW{lo0X7-ED~$+pPwAP1 zcvD6ze1ojgWoMPVRVs694?1QH>L=UENl2D*V^_>&gJdo2#X<-5QotgoG7zy3Uu=?v z3`c^qG1B7p;E@fw(1*V~a5hw@`d}^c8$|kOZoa~HGtYmbknkU$a&s^Wl= z${oUERQs|AN?(>OeG5j*rhZoQl%NoXX7-C;sbIGWyFNO83dM;Ld^nyTxmvel+1N5t zYX}wb1j`fqgJ&Lw+*2GkRZffdE3Ck2?dr{;RRANc@Qn+O0B{K1h>T#6U{HI_o*xmQ z-aHeGdzOooo|fTXzjoa>`h@fHM$hqvqrr09NFF@N>3~@UXVTC7M8$B= zcfA_uLVv0JneS=n6PuH1?=5cj7Y+=!UMg&K?{;pJ5x@QWK zup`+~D^*|HbdQ-tq~9QW)kx{Dulj(ya|&pMuv3N(qRNEifw;-$XBFNzcf+zF;EMr@ zeinnscUn6Y4WO$|XMQWer5@V@4Q}e3GLD2!Y;y@v=Xv+j-5pUp(|#~WUm=|yMVt-F zJ0?1RO1R=_zGpdEwXqu&!4u^0o2Gga)4Gg$lb zymZCL9j)l`QRa#wYD0D&~{B!wum0Gn{ zrv#nu<7%}CN&)qNV9irMBwCK-J*!^QKKBp9+utXC@A~^)WNj~Y7DdCRuhirY({kHl zMq9Bgg*nUhL+V1dRZhrvHQX9u&T3Rw%APPH832%+1=z5mp;ee7WM? za1$1Pz#AR>j%(QJDm(G&qRd)fIFcb*#g|j^7*`O+WiD0novaHuLllBxbheTv!_=QxHy{#l8rnUjTzW(OtFn+y{A1pq(BMRrD(utk^D>M|61eScl7WC zu`FLqu$odv6s~q5X4>&*cw!;b$bhAL85@Z;HOGa+qsDC|>Qp3LP0rQGxGT>!U&n&V zLl6w=S9t`ejBangH z2nwzbp$lrZv>p)BSSZ-Jql+Vt@W9;KMRBC~wPLk5L|)MEtai<=8D~2vLRlU_bgltN zC{Ji^6w6_T=GY?NSaS84>8aln5_ZV}P)M^`WY}LH=y}Vh5W=1N97QEd=or+W#%aRb zf)%M?c+UyZ7bi-}B-X;#8459i<_Wpjo6+I1yf(2)VVnwo?yL;9FzU+f;d3tnrFz_l zC(Xhb6 zEE3c=51apKAAo#F-_F{@I#p~5dm3BqKhL#KwViInvo0aQ01>`6FO`50OSkF6Z4DiT zA=UijS-5VTCuY_6Th*aDS9gfGjH3TkpQ;%ecFat>essi!*N0v=VMr(DB*aTdxHn~~ zXffdUNs+W1N|y6vJaSFBK(EzC#S3BZd`;L!8=umw7^nZLK-yA%35ro-@SKv+wR_K~ zmZB-^4tpMkhFb?uC(D*-J3tBCWGw z*-iuoCkn>`<8~r{6oT%&KIwhWn9W{|d_ zTskbMa0!DMo(Oj^<=O^Ja39-EZEN0>kj~>+%1*_~MbVB>%U+Lr#1yyBI1>`%nI2zx zOH!Q|%x~IlcdVMs;9*C9p2pXyd{B76rS}=|SF){YpzHh35t-=U`NCbshFU3PbCe=R z*s&8~hu*Kjy`lGTwEpvkd61EUn=p&wr`Ku+uZ-3fq)ivAI0WN{O?mP_T^PB)2K6~4)od`G$b9Te*z#$JXeLSG&ZCdl@!p! zRDhyQDAY1?m{-u*7hpPj-UjtwlotJ!uHpk3{4oW(u*N+|$B&iDY@2Y>%}NCvg!?+5 zpccf3!unw(kvae!Kk>HR`5amT6y+{jd7rBEM43-0jnobK$d;!6iJN^%gDIfTNKN<~ z?89>GG|4wUty^>%jcC;MZfN9QYr%6JDYDv6;{b%(yWSCa@PdGZCJHrqRVv%GiScy^ zWs_BzqE^xC|)_3RP+m!gv826t(60_v ze6`xC_Cpx(xBij5`^r>HqA8u3(@U%7lfm91Gx}m)+tO(sF)Kc2ea68@4H$k;6_;YH zSctm3z!=X|zOTeu-MmTDGXI|4qD=6PZeLjVzARo= zq!-8oiZ1XN#+UQ1iXasj7h;%xVe4DDICHFN#0{k~L6O1zmqGnIq2eCR%J+Qocu7Lf z!KQ@=sQo#b>)2)1K3M2ZabSPYF-&Q_+z>vHxel!9{1n@?C0WBLb)N0!(7;9m@5*o` zBw38gXCA8w)3ExA`4t9CfYq<~iZw4QgcnT~E0obtbY^+&e{q{={{Uv}4P4 z;yp!3y-PGxHKFzg%RK=2;up6a&5@6QlFo5Sd!%hvu^K&YezSCaW; zRveoF5XGz@???k_P3OJb=c!DwH;(1(s2ynN+9~$4BX3Hv20MtBj+qrRwZr+P0er=e zH&M71b-Wd|yA?hmi7VLVHF_x#?8+U+TGRYQZANUdC}_Iqge=lgg7qx4;4EvZjT$NR zuTvQ`P2PA2Tx&Re>=^Gdce%v{(y_zFCC006TAr3DT%peLE`AM97sr!OKjp&!d`@jp zbQa=XrMJf?f*qp7HnQ}U_D&gLimz8Ltn_YrQMpyYH+-~&3O#X7+x zrys~SnkZPo%3~5olc|>Wq0_AZMUZQrh&E`V#AL->g6Kuwv38{Ak_M6g#jmw*c>)HV8F`4!+e_4Q_VYXi(3qw}n0I`4VI;~5@TeTra(G3`==)Q^#x!JDQ(Z?(FRU5wXHs!h4I-decIqXr1 z-^86MmOZ7MvY;9#I%0I*mL10^u3%IE3s|ljWoHhszA4ljKu-- zl+lS`j~1^^AMnSMijQZyF8%DYlH4R+Q`7#~9yo^ERIK5}*0dciYaZ1k7$I{NsX2wy z9lDo|>atFsek;&(qCW6wh2jzg5v;SmCrfB16}d7R>Lh< zg*FCqR^!?5= z)kj|-*|_UnuMS-g0IK(UWZlqZY)ZWj2i%K_WgE^(gXR?2)^milhczNU5l7i0*1?hE zAViLKF)Rv;<=csLZ(K6%6KWNDz_#OF^H`D3w6ga_tfVRZ_WP6?+t!LhPNGA@SeCGJ z3km$0GUFHVvSUhdc_=eAIIXtjH$b7dQrB;KE?|yy^+fBN03Io9y}qy&3*yIS(rKtE!_6Zb&PztsBZh_IJ4ktXt$Z%?QX$9;5haBAzr!n39+?Fgi^ z`C)e{W%6|*t1J;1cyjOD@R>*H*usMgmVg@39Aj;No*GMS^$N3j4;7SuN|yB>-L}=2BXyc_PSd!MvL$s5 z{>{prOF{K0uH0sJ1)Z`yr-K7}%CDs5-DLCdx|~w)bve zfh?19xmo-^-#E|{6@E0?I_WP$=-JZrE*?D5gzpdSZHu!A^K@=GGaZ(Q4DEZ`c+7m` zj&~&s>!x?JVUzrqa-DU$fw+uN!Z`s-X%EW$P^&5h1YQAaq>_sWJV_)r7_5{Bz}q5A zW1BSNN&oZeA?Q-@H~!eoZ$h8LH6*-c>Hwj6Q4$O*YY`z4KYWjEYZuW!Z3|yXt2EVp zjCax1Qm;6xcKz1IDJ02tHI*#Eh|(2eNSCx%h(z&zefKl-3@uU*U=H^U( zg(`XVDG{v3WIL+38$Y%(ZxxO3iO!>%oWFaK*KH^Npr+lH^IZp5bLWUt(Tg7hF@g;M z3C(Hi2FO7X!s~)9{i(%9CvL>Xtw<3VYs#itx4mY*Q%g@!G|pLs<5CuiY`v!Vdgx*S z*ItQe;;qbE1F9rO!(y~^7+1@LM#UIj`M7CG;$$G`AJx!`(WwMxfD=md7pH9XQ`pH) zDjU~H;wLU_LH4@ho2aSpQhoOY;__$-eo^7qH}#a=UTS&Z9~7;KZG3WNSyT7HW%h2x zY`RM-m&As+iuQT;iI2Aa39=`qgb-K0PPEJ?FNhi~J&%sN>J~GWL#Z24=mz{2a`p6A z7r)^yLlr<{n=*)rz&f=(x*lq4L*}EZp7AuZS>?^!ph#Xi@L6|bWQpsmpW@y<^pp2| z!=}29mBG(~w~P0cY<%zg{c@p@J1+^#rO=hj@Ml+Yt@r%m*`0HWwzfx;y%d%3&3&Xu z%L}}q-BV4|nh-;}>f<&%nSSzri7BZkj8MutM;Ihz3iB|Ft}&Qj8V2)oIt@@7(`25t z25`<6poVDu7augAsQO%ePeKA-c+t3uLD->|F=iJ`pqa3%rM2?z+&hw_YH=;$tBBJa z4=8?W!XGiJ32J6@kZzv7qn_}#uxH2yx8YD2ur)?UfsL88?Jh5D)5=IIufFYug$PHk zJ;2tNG`P>4MXt-|{8#S^efO|K(=-%JD>XniFC&c5jY1DyMCD(uPE?tgNW-cw;2Zap zDH0TF_$nhu$haLdYk*gxk?hH3@w{US+n_f(>>5h8;o82AAXaf4<_951WUAUl#i5gM zSTL!o7OZ&4mIBI(&>ImXF1~J#TEhS^s4PUW*xiW~3a+xc>nLH?(y=d?luQOCXoplb zgm_>MEaw~lR+14Pr?KaF98q54sqn~lEjJic&m`>VEw|nmi8-`~hUL%7oRO3tg*uj| zCjE512W%#m*i|>z@na51& z^lQxw7+4S|q@XA2OXVLc_D6MC!;+L?UrL&M&z+0i&2Q#eP@GYWh3rgKqK3=YIw~B4 z!P>kb(0F6bt86`UAGjb_C+B>P;m)>rz2G}%2QbNfAHzG+SUq#)kUA=xvgV|>n)wc* znF>d3%O~~}e5Cf$Qa|&}a7PJqQ7x)4c?zb@(sO-o+jlpr;(h=gTO~368|{ph{=aBv z0?tlmwhrVJbjs#VR>r@-O3nrr#)eM6YeEjj`cA)n()!BA>iDkaPGockJCz;u?d*(=ezCRsR*t{GT6tv=by`tpD=R^L8=L>+ zQ#Lbq#Q**L<`ozG%}kB2YV6?nn-Kqhox*R#@2N|hyBOpDre>m`_|^FSb4UK895OI5 z|Cjrq{Cj2ibaDn3N>0}Jbh7wNEdPP#IygGvGjjYN__+*hEdQ-xW|jJe&4wtv_l(+Q zL9`&rOE(lSs8={vi@kxm&3x}IkaZobf`qa}x%vAOPeWm0k#La;RxcyRKo*Cii3uHX zN_uOhd(DyKKR{AX81oGL|-FY0NTRa`LDXXnTo@ zTREmPMJPw@XcNGe?LT^qNfyG#Y5VdH(G^0YnG^t~$rNKs!r)z!;gIYlpwx{;!1$n7 zaUdd?g9K4-_A}TWrl6P9qI_{Ro_{WGJ@LalcL6ub?UHg!v^ifr`332@RUr=L!2K{i zs8KjtLJ*_^D=mnp9Qsw!1MtMc;|ND6)UIy)DWI5O@_COY`zHe+jc@%O+~MHFq3@04 zQ7CKc0^Aoj2t(I7p_zo^1y>T86iYxERYnQSIZuQ8;h+-*L;$R4NT6nTcuKq=lo45k zaEQff0}x@^!E(f5wxpPW>rI#$mN>0J7H%~NOnM) z(pC7j*$Unucb0tN&tYh#f45S%8;g%>YbqVuUoTFepLop~OLPG6#TD z;E%|I@nbrPsYaIT!3&eEVYX2ippfP5uZftQz;pGdyKb*DY|+QaUwAh2_SA2bchx$x zBq)kkzu$i&!zq|!9qB)sjDVre3T#VgE>4^jcn^ljofV|+BA>CUpRp9xLk8(HrT7&4 z+c4g(Qrn+yo-SYK9S;{5RN2>O(9B!lGXAvuGaK|Gs?qwL=TE_r9{~#kt#qQPffdv6 z3Z{Q~iBEFsA-(N@J%xwjEt5C#y^@Wn-HpbOzQ@;~`-4crJkwX6?uv72FCX?IU>1B_ zon3w28D?ERjswrtA8I$fv6inbD@Xio`{H-rCl3iGdA(ZOaANx|U2J*k6kVRAzkUpw zvrp80U+z38OOCKfKD^UpH0npoy?Cd5t=l&!Q;8$b>P^P<+*O{_E`(Bdbh>>#-(pfT zyh(HrPIP^+_L;5V?i{k=6zW6eIX$25-g%~`H@tNsR2nLZWO`soE_L;a8cTwvP8`Cj z`GT%59#&lWw*9VO54MkoGz^8ssHCMb(X2Y95WaqxX&4Be6{gF}KQ|Q$SxPPr+EY=~ z=RLKb1gK`Wp5BJmoOjz>n$6T=3kXhDqpF^Eg3iCsrz76#dx|aIYMPC3ZGAVe#+Q>r zl|#L+>r2l=YB8oY$1*CB*ry}MLJj7<$}!N+_HMPHK3LmVMMp5GL|d?&Y~aLpG`(8p zmRLDiwlTMa7u)!-JA1yZ4Kr{qQ#p>$K(+8$cR~m8fd!ruJ4hDuz+px6jxS z3J!Lg1YCazF23A5VY(OW7+j>auLO6DX56RfMJ7mSPN?6?QWy7<@S|9+hMJR`qqkc8 z7RRp2nosVw>eEmi*{y*Lwh%G_^IeypfiY(f*K5sckt;P{5}i+|fz{>=8tU82?)gri z*huFzi>W4-{CgS_xtkX|lDD7$G{yxcTHbPC5`20UE2)F=qFB{kPReOfDjM8IMNS$g zhQuGYpjupNJg?6_dP5RUKTiJrpgiLKTo^%pqx>+S>AN=IFQ=V+O^%Qp0EM4i3_7;$ z(9;6qkpt?X^}%tNUxCi9jHwK4YIS#Q-m|xK>iv41EHq0soSf!+VMb?ETEu9y7~|>a z+kR%_F|8yl7)}x)ShAZNRU#BB)QQH6j$neo$QeeH%D_$hit5G^NQMC8LqvZL_fP!n z?TP=~*<<_NlEwqF0m(n{wA-z9iJrg0cnoK-f?mhQbi9P|#F9R}IGna|&fXi; z;H_z{y1r~(b6`bczb%H#*!uLDu9=X?{?tCH=o5G&^_(nunn)SjII8THvuBc}m6dgC zEt8cUlzgyr0L&EO<%1Dun6fW=9yUuU#fw4%t(i z{xlt3b&AMClgL9NkOw-H`bn0Cc%kTxs#XUe)v_)L@H7fWNBj&OFA4HBmKg zLg>uGfLX=Ea%k?ecNeHlw=+NiQKHy3kK;r4(MR=?C!7^F=td6!OZOv74=@U=aPnG} zaioTVs0Wd#hr+A|(X58xtOoO}s$qEDXD`aH61AH~;`Sq8S4`@80zm=9KG0zC7$@X= zSYA1mJG`Am>x%H;PFD^uIMz|d&O9&F+*^>j+EeblB=4&P>Lmk~C;b#alpnMt2b7Q8 zB)gHsT)1er9JJ%CToIPDZC5|qXnp@_Cle6+e?EGSPWlc`ZodOkNDdBGHYP|C5)nC3 G$o~O0?{udC delta 25078 zcmZs?Q*@xgwl&&er#rSgwr$(CZ9D1Yi*4JsZ95&?wynGO8RLxqKAd{0m#T-VxoXv% zbFH%&$oxr=SQJo3js!g^@;F`s$djM>cO;5&Cd9y84EX6iDBVX5#HLWcGPBjbu_lv> z)OPg5Kml3y#uc)$Ez9Rs(FifBla0?uS~snp?&F5tLo96=FG-A)1*R~`fwTkUI_m3 zj8*{m2ZCx)Xa)d)-!vXCWBdP6i4kV*jLJ|@c%X!B+H*ShGVeU|E5v-wN%Y<51yUqY z?tk7E%j-aKLi-5?3akXRYT02(bBiEGH!{&G)i`?11wJ`A*mT627S(4!2*sldX^rg! z$}*Ki7DXR@{t>;{*cc+kHb>B878CQ0h5{boQASJ>1`ZTXOc8WOq0(tF;_aen0-a{rNlceB!r>t+A7{qX~?G z&3~tMhL*pX8UJ%TWMC{D%yImvz@=(i^aef5mM*6>H}aN;N3B1>xw=cys#nrH%0-sg%ld13|JE09I!KVz{f|@NCK#h zk}_Y!u|!)aCn;-B#mqnn2(1%w%|DCtQSIWDS}=#;zc!eTjKM%FEvCg!Nc3JF?M>_l zlKI~s!+TuyB3X)-qYmkJsi5Pum2B>$1*?l5DI{VZleEx_r|^wM%$mPai+UET|ciOx+xp_;Db}N z#33o+260Z&9>!#`dqh5vPk-}QS+##eYb45R#kg(cJ7s82N0l_90Ja3xP32q7v|3U& z;zR2XT#(M>M5UM)u|~kZm&sUi2?|jHl6m)V2Uc14HkajP4N& zv|WQH2tx@Tbp^NTHdue|u;!FmW<6o{hOO+ZaHQ*$KZ2y#y8hpob|KN9FCLK zgFY2^mfJ?!(WsQB%=2WrY`0i~UY}lO?_&eNQeh{OpCc1skFAgwGoRjry`7@T73K*Z z-PI?!SudHMRFV%H=s4|Yr*V#>fa41TB#SLI6Zd@sWb_tok$Z+~bYv%#sQ(4s|HB*$ z{eLkB&cwvTl0skzg3u7}!(BfP{WT zxoguci|~s89%G9?m3lQD9r2`e3fHx{i0}8X>PzFDgMqStmw2OtK57+ zEJ~)BsV1{ncal5N-XjBUcNN#JM+HCh< zEFqnGJNMZl`q%?I2mJj!mj~fOn8Z4tWi*+IH#(LdD=p3%9fJY>L_$4<9%s7j=rf54 zHz0J>Mw9ItTSuq~($^wzulHXtYrgY$Kjr!$@&55ONb#KItdsy=#lX{d0iZ~?mLBjn z0tu*nPbzjXd_Z|~7qFiM14z2D#A5`wLIXvn)E-Y!(j)PG@^uq)& zQBumXc2ERa#;N3XQ~2BMmzSsd-GVNPBwgP-Xek>Km8TEA=9R0h--gMttF)I}c{x@| zY9}&q?TeLQKLg@s7rihj>YmOByKdZBU7~; z6hG%%@UvfyjU2IPLW#EcZr@8?z4g8;47?T4c>3b5s`;n}acCd*58 zFM~6SYvVQKH!fB#*Ts1;7lftC3sCVa_e;Ye#F=#O%KJpE5^c9-=g>Lh#~*@_@(9k^ z#8_vLb;fF$u}|}UrYjLry_01ZeRF@Emu-e&3WK`UvactG<_AakgTy74MF7mL2{C_2h$5|4>4Y2;$4wmz9{=Jx~;-kN_cv7LrAXzuqe40<^C z%YN+djDZ`3)V%to3Gb2mjJSq_OLZu4h?0mLjWEC{hxCL6sD$r5^(3%WcC%`w7UrWm z?f{6!e3{h2yl*a5XsHVi2lyfMa|n(x^-u%rHWfk`a)`dH7M!%R!F7}m>J@+3sVh-s zY!(#Q2eKDJZKfAN_tMN9cwCikRYtNw5PwfsZsytP$O_YMq4Xjihx%j7Z~JORDMv7Q zX*|&eOOC124_s*1NG6qt#WW(gIC-iM2m{_fZ;?PhjU=%^nQ;&EyVgO>chZH4Q>k|? zd5KU3r9fZ`7Sq9en%{l@jg;YZQIRz0FS2&zrvQWh zF4p?iI@7CRwoGGuqslOB2T3IN=>vsm~1QO>1;?)FrKPuv0NL{FS1f^D<>|olXl+q zYJE3IrY0334DD~30dXJKU$)xGQt?B zm2*icOchf?m?-L0+j!^2)pHX7-4TKjBN-DVLj=hs*XSW{&M)|eu<##Pc5Ik%E0SQu z_P40`)Lq4%{=ObxpU2`(5EEqZL&sK*jZjEV9nz)AopQE~+bMpX)b5mBf$NAVDvf%% zGG+RjKX$7{aL_1EZoQYKfdEDZ-6ue4hD;HxwV(5}%v~UTt=A$;XzAMs0?jJ8nYk6i z-NpKc^9-lJJJNz{a8fp1O{cuVSf(9)DYEY`TB-3ox+kVzV7PUO!m*&5dAV3G!n`sG zQ<|L#Y~sZzf4ZJ_jN*g^pI2gagEbVhDiIRiW%Z97Lpt+tZM&@#HUN<-F{_ppDU6hy zz9bB5Oyj6l&ImWwGxMDfG_fdg$#VkIMWlim43@g-c z2~I41@QzeAu~l(lX93#-oU5rW)T{NK+a=HJkBJHm1O1K78bVk1|aqQ}ndD<(SD}QYIoC13}gcI&i9h$GLRiAuuc zL`Ww8SdsDk`%IhA(0E`=Dyh}!Lcj%U@>#xHA>6ys8L$f*GmuL0>*j7h#oVMdovFne zE5sI(s2I0fZh#X)Rf5>PvjevIONSUK$&y zDr-}dm}fDPt;?7uCn2pntwtXgD@`Fn*drIU(Z94t?&8b%w4Wksa&{J}Y!p;ht^XR8 z;wtZnS%~lQik42d9M4TxyRDA=lAH8t#ap#nyuzBIiw&|sJ^hoUuFYw6!3a`*UuMAhz&={2R z6bd00o^r9wwn%Q$G-#=mCNlMjryD0(zL?PIs7!n{r_p_9*aUe!SZ}STRyKXt-v(~i}Ps>{WC@jk>;FmqM&{2g($Q9Y`36KcpI z)Sp0No%RG}Q&hNc`)w#Njvx~9T}zA>3M12DZZLmS0l|?mCD}{cW=vMfcB#VD2JEQ} zt9Yc}@*%-^g35-Y8fwXHH{pViOoYduHqmf3iqs9nP)U}f)^Ljyv>u9Lc`>bX%`X%=}yhO3+3k%6-F4DSi=TCu;ed^MF{a?2H_b03gigYis`pd0_q@!pg?N z`d`ADq}pb?L630xi24CCKVank!~e(i+V36OQP9Ow0u8BxbPF@Ri%(Kp>_%vRke8s*P(LlJ>`G!w+w@w zAV<;joOI@cRkbtT@n~2sYhk22AC#c%N;9DVUXPP;gjI%hY`ss5vg_$&C>5E|$(h4+ zn4~&)car_aWG44Q)IT1SbR$;+B+FEsz#yx%`kkP40^UwP?>IZPgZZ?Do##Y^SQZpH zZaQ`<(G;|nuyZ? z;!aSahP7HhIRQqWOx&yDFj1@^Y&w=4{w!|uAm-^odL%WGJt+Dlwgga`~Hv+^`m+wSdqQCC=EcP2SF zS#IKi7?fz?`U5g>SQcm`o?V?fYH-Q`pCSS>dQDdR9f#F`@tMX^pkdAmZ~dI+p32E! zdAg3F`|v z8EEEQ5ju?w9bLaBTBL^1$Y#eZrm{zCK z3G{JL;)+LePtC^JtP$KMb?jS>OE|2yk^I>rLX&G_JzrI~43|PjIHR~B!`cV*aWA~^ z)7@;JvE#Uum>lCjIUJ2N>e0i3wB@kzYw4hVTH}S|4C%7;@Ij^mox}`I=jq=~%}tdu z=w;IHNYWhC8E>g6M8%1}hLPofilIgKr&L@m4)idD7_La2{zsfXb$V5R#p?8W`GM19 zhT84UhnrKRcjV!`{F&OP_o4M-G~C&j1=aeP8b@>Wcj^(mF*p06fs^fJs7r{>r)7&l z=Z1?a-poy=e75aeX+e_TSHKB8!4FrytS*L6!%wj0Wm?<+4U7Muki+^vLJm0#2R<(^ z{{N2O|5bbbL%iMBob;{bcXo~S8T9p2b9?!z6DDNvagofT!G3HZgJu8ke*cf7voa;f zy7GauGH@{e4@U=FG(7$)AGXQ%QZhieJd*jd5olIbJ zOBWkp{M~izoqep6?MBM9Ka9=9$i&ps>NavOcg*Lsy)*^PB(f$gEoxD9H@AI>i@eFj z&{gYxIGVw!ck&qBN^xLD=&urX_PI~AI==tDlPjyFGch(ct&s+*yAGdFd&b+qyuIF= zGdt#bC}uPg3gI{_%D~p zhlH=QV=}6<3Cb1~Wlb$h%?r#EA|@k~;VDe@VI52>#_n_nV7NGP3R8>mj_EhkIO8!R zopE=v2gUv7B%Ya1>TAQKp79sK{Weq7WW_`>jTX>$v1F2L(n1%&X3i#Td%_r#9+MVB z$5+46&Rxgd_Sf`vBV5jwzi)Qr6Z4r)X#3FQgOsV8+G>?=litR#zW>ON6*`av8~BfjGB-AeXthm*4>0wkLS4?U(e@#L(8VeIy{Yy zo;mQf_o)YSP&L_bEa73MYEtvIL^)Ekv!x-gscW#&)3$zm=Bb?VdAAbKKkoU zGqRA%$V5RUxN9R0U{Q4V+nY^pqGtcj36&8Wp3^%@$;3pb!*~=qxzYBcy^Ap@GjfZZ!n|okpUv1i=jDtPP^B!pR zAu7&TjD76!^w-`c-t4hJvzsW30k?RwWW8xPx|g)RQOk%hUw$$k7K zyC|Q91^Tf>y6aQ(dO?8=6+~y+s0o3NCtp)_P%WJ;Md@|s+bj|HB{K06};_Rz5EdIbg7?O3)UvS@$ zk`EE3ciiR3aED-n?E4rM+;%GD+A-ceIHtajGn=LH(#f7vJxqQ4;;szt7XUD{PCQ@P z(a@BGO(DX;qBXsAA~r9qYs@NN23A#YZzW25jKirUk^W}#VAxPa@SBlKm$xD*ws-#H zI>E;5g#<0|13|cF`W-RPe15cR06!}q#g}+Vd`P_DmL3g99Mbo`YD7^&1Y#sxM51a$ zD)^ghzn)lZI8WPu$x=|MSG7)Tu??yQ!=R$vHMKFFg7A%t$UCyz!Ob zZ}P?B;CaVm3%6{n>=PMU?yfe7mNxXa=6$O>bjXAR?qicDi|5wZ4Ch+Pos#(kF6b9* z3L*j?is;{2fl4lV1ROzrbMU}C4F3?-n2w@h%}oysHwCD1`QyP8{$s$Mk9A?*1qXz4 zOKLrVeihMH9zG+?H~5D{JQByzXLRikBioA*$8P+(OtUd{S0B?KbX-N7h+QSPmzT1VyJ&!^#g!FvhQ$2v1AF=HiS0! zfET^u5i|XFFguG&c7|vYMKDohAPV);hIrr5XE7#?D<`O-fW}fSJw;q@t8WE4!0U|g zOpkM_@PYw9!@;7)Vajbq=VBenHhCi_Y;8GQ3M5Nf5FjHZ9eDhwfZG2 zp4bbbl$OPRxxY)1-oC^eVJ}--S`&CwO!9|^FZc(ih#SI@So%9@?Y7$){}=4d2vJ__ zalXUz`>?ki=D9H8*!bpK^^kvOEaj_&G;=-Z@Kk)=oZgW=YOHAre=(w^ITLlJSii2U zQ%NzKP&&||Sk*1YE^v~u>W1lEL!TlYNph&KtmuDaE-u1pAv~&b&wRKEAz4q6T>?Jp zQv0YJ=TLGx;~}2utH!)^)-yx&GYy5s91dDIb>k~m-H!{ZPpH(|Kcq`LUN+v88AXRC zwPOC#=!e0^KJ%aZ%6&;}?3i5GfwoR^u^_43;tb#|W@L>SSfWQZ=q)lV&J<=d~N zhpmF@>n^*5^a_NI_7Ua1myCFk23OO&cX8mKcsu5aRRb$)z-fncTyB0~0VpyEBCE7` zbz2DO(`1+N7Mn-;$F}``O9W=Jsha!A)U?tU;!Afjjt5YA@jEL$2PTdc)y8MtVto~T?@p4Y{lL*FM?6U+JO~IeDe}RqB z_woJURr=4y8#0j_$uZ&mdvyn!uO}J0?oVtgD5t;w0+3PU1g>=*)EX&;DVQw+C21H-ZG4=fm%-IRW+S6CzWvENqKnd$#cw&w|~drB-WpN0@Yd`pU6$ zo{*%5lo*#;rx|@-4Mg5q*5Kut!gl@D)oe-4?J2E#mc{0t+JA*wTB(&rkmjA}V|5tV zjdKRYMDssC>5<}?ArjQ%9zDHv>2k&6-S%DGzR9u3-ux;77?iFL6rY>10f6LvXBSe< z3;Rfc+~uIDKq1$?;CJzhi2~@Zy&QX3%wRhFYwmSXrKq2n({W#TWlH)Pc6i+_bnsq%iOci4+K!&ddvg6Vu;9g;{y_Q}sEQd=!5sQPO1?wY8a z8-u7WE*1kOjDLwx5oH+(C&PbocK<=5(`vZB$9q^5&J#quD=ACE~ckz3{_E(r+ENIWB3+F^&#kBjYZv1Otv&~ zJUU<5Ejb9^l`SmG0U(O&s%yPGUX6nhl^RsU= z(w61qawyCEdsy#1M~AQFY-n#Sn|~6hHRG= zgHBO3a?r_T$a^a*9tR%-;rZs3C%=0)vC5(iJpU!e79rkDT=3JAL*`+?4HKpIQ-IUg z*IQs!9mC7?;HGi0aar4(fkm5xKdJzoW(P^*em|Em+;~hDkZPmq=Us;$OhzXCQ?H{Yx#@c7FA5?&N6}?6f8Y@Qfi~JzA)X`z4w;_-TUiM0y!GjL65>R%$0SkGQz)BUkerV zZib+@oRRLhqMf3|6qWI#-hFUm1b9Oao=S4^3aGIsxQU)O`vojN^Xj&ZFLN)c@xhVm z1cGN30WMsm6b^0N*c<5qY!bIR@#m^OO*~n?nfH3 zg&!LGZ*?6yjU3k!F%X%8CdqDUAa!smX9(T^BCBTEE^BFg2o z`mw^f^>vPwj5Fy+eM5Q#81TQmd@l>V^~Q?E?2{w*IDG{{QbbUVlcIfEd?-GFBZ;x) z0LR>~W{RY)s!tKK2|5&?W$M5{eJE%M!9IM9Kj~b&OFU~X)JtUP`vMSYifQl+z3Z)h zWy8?*5;6R>1iH6p28+s%vHG#a9M}Xgo%B(6lYYu z7N&Ll(UlBInNM#{Kl|qF^pDi4_F>%IA|n5bN2sPiEK-y*nq*$YrxU!{H>!wPTuAJ* zvFug&gGo}xhB&2KDElaRG6}TUQz7uH2!tS*MUv2;9F!nmu$rYv5RnBYo`<3h8sIxR zujoSayWIJqNqV6ecw>er`i&!?J>Hic{ZIc*W4B_x1zjC_0wjlLTfw6e=37<4+XM5# z^!o^p-W;*g@cT%3ar8rwEabjDp%a$FS^uf1~cZ=3Lb`vlQEkZqxqI=zT^x;yBfed zOFK#LxXqS}N)p}D8D`vPC3@Zm{yFK-WSY3WlJ$Ibe>iUAM-Cx5()sKj07Rn0(AseY zAkD37p^)5e?i-;%u!jMKQD9p927!9PTEDp?x1r*PC4xJotfF_T?Q51#gU@{l-N(e) zrQAhJ(*VhE$KY;JxamK8eiF6W?t(7%D8J)hlL2e}(2#9`O_&{P)|Mn`p1*PZq?C)Q zimFc=k~f=Do@R|idvc86{ady6?Zin2KwcmOgUIX0@~)Xfc)VEN6*I}ut1l=h z(pqV1fAGJy{l~oS{IkHO%2kY zTZSm;FAJ1XA6DUg7@`*p^#h6`*I%Y{BMd0xaUx1UB5Vs@UnIIrOs3Cm6dP^yR5V!6 z%#4HVRV}iSzdw{Cm2>gbTuPP8b7uUWBqKxh!{6NFV-Yd0_cv50X%rFI`AnbR?iD(` z*tSkTKU87`0iU&k-=VcARW8g%iSV1+`XRUa$urBR138OqrViW=PSjxQ)H|bQ?po2LmQO@;j|Odbsax=J@66eD0+j1 zbKIf(Zc(svlkz0W{rhASZNG5X|mBl{V!->RY?mDn=Ye8a-ws}tX zZbqwuZSjm|#!a`z323YD#>oo63uR)$ySpE)E7XgY#P-h$`|a{ui<&tqtc*AqjbO;> zWC4^;`Pv$YWa0WNyXMESUwH)KGzk;*@d2d4sVa5om?ss*m^nM|9n$0#X8QU8 zSKZGY)9H%{CHWvb4ockCbawVQ2UGq{(`q5hYHtBku}@522&88%r^P8V0SOHacz=Js zzeZD8MIP$u=!6@q5Y3hn2F&iZ89~3S#>MNLm$TVzf=96oFE^;Wj$x6V;>-IWwm&5M zFs1Y&cH60HKGd9A@h&auK&}*jXnx=R-__dBl3YbdVd>tz3#Tp+pBq*HM;OZz9^Qj*JirBIQYKm z{^SX3&gq=GWO(Elt(-I*P8FAumtB`7#AoKjqy75&TOVfo1^8%CDT&gQveN@9`BoTr zM9f}`c-}xhb)|tl7u@VFaR0n&KYTR1aCgoNW&!^yt!vh1%nbVdSw4(vw-!*%S$EVa zrE@Lv$nszm2;J@vugxO9@Y9T|r4}AoN*tyo)+xmcq+!y(q_hKegaK6&XT?#jEZO|saHNm8;pMV)C_6`bP zz5K-V>5K-N(5lXD!5IBo;f*DIM^xEu?eBtKZExWkd-dwS-v=G&xx_9_CSCTX{cl7c z``0=+(exnk#U6BEVUSeY{wXRlITS%pTVuD+Tbb$FNs_S7GowdW`qV&pGYyf_&Q0}F zeY%h&@|EM;Mj&M=PNWmVTyzsNswxgBZA({)Xa3)#e}j}-KOKbUAF}%T>&tqRXKX|-uE6}v$lDj%gZg5!Fwz=pLYbtO2u*%Cf ze?4J-o3ASVeG51pJs1N}E)@erY?0*?aWdu2STV?vAEejWp}3{+^5yL6XW7; z`QLbY_q4KZhwKJBNW9hl(#P3M2FvWUoh_+-bD4RVP0N_6o_Mfj{i5XH@XW@NJp5~0 zw|>WG4sLq=e^?OA`1JVytx@IX#-~fLl)?dHVf(M?mym9b4CD%m9|#1A&gc7=+X`8y zith+ZsNY+K;<9)q99l!0b z&LkY?)6h0406vO2Ni#Zg-DfkbFFg*E;TK+U3UO|mt|~U!sqP1v>v)a@b8maY=bdBv zaWYrMF-Z!SI|;a%R&wCdDkgjg-pS}*va}v<=bqlHsYaJHXx4Y8L)CV62d{k@oz0Rh zNgQ>z&uBKIS8L2>mlyO`G%3=j1y$BF$3?B?tPTx!K%z>;*Hetpi{$Dy))c5ANQX(4 z^D;`2Ewt0zR{tLmz51cG?&NINGrBCIb9?YL-}mLRPN~D|{35}Aw7tKS$--9h{KV|! z;8pyH3iJ>X^5EeD6y}gvmeXPVFo{U3qQaQu;D^Gqk>vg<r(%g~G5wEHVP*f4N2Yt;v|?C;ayiI837~ zP$ei%gdj9<{Hf${0;NcD0z!YL5T<8&lJPU8a02KRq^r%SJ~Hxt^qFD!{v#;#ar*V! zQ6A1lgjr0N9t<{a!63WWCDt!9#TUA~ZT$G(fe=zlf^9*^s4WrSa&c#K)h4E<)*4I; za?)&0#^yrQL_Ql2($x&9SdG;+{3E-@!vBFT_WzcpCw#bIv*vtkAJe^je}50qAAleS zfG$ot4w8O02jC!_ti@&85ee=O(tuRjLL!JHsqg${VRrD`oU)mZ;C$If7o$s0_D z!Px)ZOi_$wWKGXnt-tXe$@BDpX;I!Tt5;Gk#gx9aVQL-YWd|NW(T4zv?kF@$lD847 zEm%)>J^8t{E=G%ykaFGiyo^0nB9|ko=~dI@bKc@(mBR!ky{u=4MX%qhL)Ue4=LDUD z&F1t5eGZH-p`xK5N~h%>URj!q&pEWIu0nTi+xSJjbRWlfhzIbk6e}@FoORGH&z*??rvDH<9wt zpSJDApVd!g+~E+B%4IT}3{rWt5t+*3IlKlCp#h1gc4M167`K)4acbJCyo58m)iM#hz1V@|5e?CZ-$gcv$ z0>ypB1jTv98PaSSwhWt=?Ni1qpOelVr*QK+#W@+lX~7xR#a=Q*GS6wEX;*AftWgY6 zEI<@f6q^h^k9oRzx^cR-=io!BMffSh{C+W+v|O5Ls%d&QTbF*iiRUcyI`hawyhXJ| zwnevvpGBTU+^NYtRq;@xoB-|O;bYP?goXql@2 z=;A&Z6Yyp`*t%KovxDVuHZpOwc)AXr#(KMz0Xkj-w659@pIeT$T(51&DmnPL0Iy?Q ztLv8V=5P`fLildJ8`{f_4&uQac3R>x&;U_vx$ zi!Rc~x%gp!M#7cH;KRnCAn;I1G07Vz578YODbEyVMfjs7mp`Qm#wW{uwGPI;7K ze>uvyCX|sF9BQ{dHcsexL}!Q><_OLn=z6FWv|VL8X?fa~jb9X@107!i%#3=vhtkD^6I^3AC zjCV|AK*Or=HtTeO?3^X(h4765Ny`EBaoT@0q!!(h0jllgR17W?O zp0v3S1>YF_Rah~A{K(Hm{VkiJg6-ah8}+~2I3JC?(s(>-Ie9V5VmZq>{R0<|mrD{> zH^z6zby+Xba^38ee7P};BWNcB*^Oq)A6X6A{@!O4?7uov8^GDpe-pccu#od?saN+q zEVL|vW*J6oke4S4CXC+TLsh8Nz)i!qdgLIA>G?}Qne(*(DgN3EKm-JuH5|7R>H!57 zMy?8{e(XGPXGwuLGyw=y zzGysNcgyWto9jM`hn)NEE&efggjei*7}8RsaXd6%+znx&w0?!6?0(J3Ze&6-aF4HIa-NZoVj#t>*w zG(6@86v=g`Gp2R;7V(kxQrozuP-GTbBFT82O#*at=kFouJd6Iys`g>G>Pf1*Ubm4? z*!+e-e8DBWI{vl_4;u!`2X$F8eA)DtgK7im*?ijsB-f zrtQ&4ucUo=P%WGzA&z|@UeJ%d@sma6xL$kFGA2WQBKwHqB>DU5Ht z2?==arxw`Uo}|x@MFx_Hpp$cZBdP;JCw()zZv~g~c=h!-G!1u?4O9s?h@38#-+9aJ zs@>KB9$zXIjtbphQ7%Vs&)W?Huf@}!o0I}M);oT%^EEc^-VBo>&`Z=>{2xF`@7tdp zkPg0=1NiOi5BOd-B5TZ;hT$_d-tr89l-JGRmd>Ulw}k^WB1maWUQlrbY9Pg9^Xk!8 zSI6~hV;0x0^RbVs-69irI9Vp+ekF5cWHK8*G@m^@X*HEcE9GX2{ZZ-nTu1dc1Nl_+Uw zu~S;|h;5cV>aqSsda*6S|Ko1B%lGT+7}_1-PXYXZ&?Cd!#9PDL;~Uy1$%n5Gw$GMs z^nGPpMaK5`d>gXavzv-_Bep02fu<70JP!fV!=`>(4V#QyxGJbp8LpT1WOrU3 z-XU$lb+CrB@x$JN$XUSf{W;FHkd!6pfwYsJ3N{`8U1>rSFM!Z~X`wo=yiJ4}0C@ z8vXLJa`cBbtA|R9H>PQmAeM~JQHfXD>fVI}9(VhiMdUyPi>7?)@e}w|HYx@|H2eTz zD&2>==`;~lV?QyNUlla(5k!%XEau8`{B#$F^EX!PaVyJ>EvHkszCS@lW89|f3P}`{ zNE(UaLYY~L6k&PnV|Si_G+l2(YH;)f=yL*mT2h+H2>}EFd@S?bnEKP->V9u}O}*iJ zXC@#&&&?R$4)ceeI=|oq^HW;o?|;ToijxrwlnzD1AJT ze=5BMtrAPj_b!n42VYRh&in1-N-)`)+myh?v9ueJX%R*b2dZkO>cM%qt(zMG& zt3m69G*GuXai0h}N0A^knjSafi+%}=SJTz?t|1+_=LW#qr-YrO3@&)rri_+Mu>KPv znjmz>iq7vYLR+C}!HH-jS6Jk)(yQ_x!ne-=^jQ{0Bl6NGVbRM%7zB0IATtm&D0-bD z|8rO(KZj~@=^A>oA5=s^ElC*m_Ll}Ap%93Y5dLE%XhT=X^J#bl(IvFtHA^*q77_&? zR|&i8-hNOfq807ho6d)1oH3pUMLu>q!fMP+R0XM|$$a;wq(m5+n06)c?Ml^e$$A$7 zF7Vb?S1aA#&%4k!S_@>FJMt%FM;x~MO-Dw`OkTvX)2&VmjLnu?lGtg^11wWl&NijN z=Bsy(VghcD9ZwfCa!jf((mbZ`OnIb`+a?bSwHOLdBCf=8zT}d|vd|3*pf)#LZTRJ@ zC^yNR+*^cf1lFI$mFV74UYFjl#M54Y;Ii#xA593$&R5ws!!UjT4s<0&x$d4>kY%#D z0p)mM*tT~8lLOk~AH~c&76)BC+U;LFz9A%EE56sFhUB1(k9l7k8r}!Lyz_BFBOIZ2 z)4QjRwy-s&SA%sbOt@G*U!>UUUriSp2 z&YeMagg}=)`kx&>z&ZuB3+3-UG=wZgO1RJ7{(Yna>A0 zHyqz<8n0|lg>*xsHM8)4Eze8in0@;Ebvd`!kg)va$;2=Iar| zi+}HD+58(hp;>uorog!$(2;LOJD%3ixEE|D|E(;zA8j>$kJ1?Q9~!8obK7i6b|K~- z46!FkOj`JQDV@?Wi}yTK4wUKjIDO8(Zd$>=PJ^EH{HFtWQ<37bc7SXT)1l;J!v5T6 z&ezt$^DC?j+Kk(LW_rZRs_NxwhOa;1^5)ng#Ox~PKUM2=op3!oK-Z%SBca=|^K@ds zFHT!|cT?!~E-(KqZDx#ns%dduLx>Z%0cg2ia*X%avzQb;^@bXhKVmbqI=7uRh}0)E zpV9D2j3zLbgA8Tr+Gvz<{#Zr-Um;%=6lV}-3n92ea32`lW{|<%odJR;xO;H>gS!oG z2@b&n!7aE25*$K;Tae&xo4xn$ec7$rhp(zn*H`_}4`21^I_E$;uo7qUAVg3S*W1jJ z1-YT}?sZZzEj|37PY5qsqslppCS7-VWcj9{R&f^~#5-cnJ0>SDlt8ZSrK$}^EKaQk zfNA+9>$ox2ypdFG8sd{WRf+Oqw`5_;TCa_Ig4p^+np~M-TIdiSSBBHEa&pYE+q_0m zDCMGvhF725ED%*F#1TAg|3^Y@%~LY@2_`j&KL&*J$Si^`nMFEexvUbqOgQjZx6hDC zq`81>F&^215S51f-W#a;XDfKWYO_KcyCV-+6F0L@Vt?aS`4VOz_nC(uCejj z?r?u1z0ZRi-Gd=X_b*9tj2UCg$CcN*P!u4A>oRu?;C`Z!TKnt<{B&vj1IzEa9g26?(Z4*Q2t;H@Kg zsa8Mr{sgyXH_5CqCz%QCWUaZ&lXGkvlv5R!8jqE$Py0q39FeY4ZrT`zKkt zq3QCcu3gWd0G}^>zet~u`>CQU+erIEm{z|E=rEzbDI41SCD!9%xvrvXss`L9jA0G^ zKH8HOo1?C<#3fP&&!ROMCfG}&U9cNyB0X**T}~>eGya>DgVku1?+Rc3DNdl|Y->gv zUXyk?2wpVxDL@}J{L?v~N}%;3=ul|8MZIuadG97{j`i_rZms6>y5bCwkeFq)JhxIqhSS8 zX>JOwCocEg#D23`5Wnouz7pWAb9%H<*%Gi*^vy?|96=ws!(w@7^$g^FJ)^xFM8G2n zS!r1@A`KE`X;vcPBeIWkq^!kfI4Q(7BmBq>OyfDEc!V2~^Je<>`TrDF$PP<3`N9Wl z0p1UlrB%f(>r4f8*Q=6VvtysWFE+BQPjDXy3$1hpx$+lM&QL?-QP4TRyWie!OF%os zMGnI1o;*+TTMldLTY&0uin4@1rL;edM~Rm-wZ>gXW2h|03ox(uC1>jH?Z)07E)hN? zvG>V=2EOzsh=MwF;gb~8W=u(1{rZ?zzuc#AqYfk6A3Dl_c?e3Ntlo?M;MP3&xoAM8W3t+=ZHp|G|I88_B40-;rn~I;kSh z)3m5KKxerT|G-D0Zs8}#W35?Rrqc(rXeF~A5dW!t0|=Pz;L_T-B-3(9jAsab!8+M0 z#Y z8|mu%t3)&D*fIT4bTzbVqRvuAcAG`M2Vjp0X1<;iseIIUv1Gey9MM>hnY!|nk2}e= zScs1+UJ2CJMrlNs&(xgyvrnXWHMtxh1bTdre|679CDHnOt@E{EXD(e*T^7FTK7Qm;h?YutkMU#1GX-js9dc9I*5_Ympnh zTV?st!W{=?V6%pqztu-@HAVv8+wd zs}^8mY;JQ+!sKWD(S)cHR~EaE8=E@*0c&4Murd}k(sGf~=gn=^8>6-O&AWnckt1kX z2HlViQlo-j@+3MEler;-rMO=#F1`yE7(d-3#hm0Gf9YDjjJYB6MOn`r@jvSrdy_0Y z>XvoE*F2W1-~MeJi#q6YtX=~x35Wsj?pI%cb$#OB~cKJT{tK; zReO(3d5&Rz!_IjX3GKO zrIuVV&027V-yCY~u|)6L4UWMHL4FycBU;`Yq;%_>CI|+GZQl$me-q&YvN}&cF@)%Lu#|XmkhLJUe}@ zTLp^OZu$+hAZ<)(nQvC6kfIGOOj6*!Rn7mtQ zS3O|$8k#s1hS`fDx#G7LbvK1^xH;5oa^vy9$FY7%x=7*Ttkf*vjX<4xGUd=;OsLLC zl<8yZb#H=eSple(ze05X1ERa6Prr_hf!sHUfM|jH7S#eO<(0_J-`%DduZRd z-PQSavUws>A8URG#9g)FEA5Y}7O~wHAs_vnNUpc_!@Lyp*vKHBDx&wak2$Kv`*TzY zh!Lc0YS*V>H2Rfaa#M@s$oz4rP@TSSSm}MUDe*_uOR};wqf)q+RVV0(g;PNU;p(Z~vndju)PC(6bQia;0=v5G zt1d?)-U5zMjQgjF`8CTTjN&I0c@(&t3{j@q##-5_#vM6}_J8Mm0AiCj@d}K+*5nBN zbtr7JFEEaoHtnDEiRD-R5dR$)Z74b*aD0$*mAN*WuBR8Ow67l`;uR1H)x&#g_{ zJ87t?r+_b}cV;N|CC5TI)ZUCN;Kcr5W9c~9A?o#Q<_V=r_vibOC!YK}lsi-6h3&O)z+LL>-$T7i_Ea?CIxOv%e zncMBRUU!x1*4!ci9)~jEmnfz6*LFM`nsR-mGu%yD4LKgj@LBc!IFd%pQF?1ZvFFoU zmQy)5DWH&|DSU_WWkX*i(LM6d>t;EQ;$#KirtN&w%VlS6AQ}P@9Ftq(Ef|VCO87Ho z^;sN!{?+y_h7^chWqFWRhL|FaJeGSz*LOZ+`&LOTTTN_EO{`x&QwzR*nl_cGZE+#d zQ258UWclv)V0fjapQ>%SjMkuYVh&^3?7F#(Mvk&2y?jAQEnHwWggqp-fbYkqrXL7A zh0BZinkPaSsIO*x{_R!g>QqV3r>!APIE5`--(0ifEL{o?6Hp#5mXGQb+;Vw$cy%a1 znjc2iUb8z%9T#y!U`d9NfGLyElEb`edaxKgCKPh?V<5lTwNY1qB8g9XsMgkcPD&~T zt|V?p$|xNZe^cW3L$`^qhrWE^hx=ECo_+kKFV)@&z~z!x=JqFXs+9(7*CQ$e>pA*L zR=9pAix=n>sQ{)00e)=cFShN6_Yb{RNi+*a7;^Z^4BCVV3WP-@V;I$6F>@bEzlkB= zKIARXtZyVlp&T6D{iD!4o~?n_de(h54VRbqNsFgM*iPyDY0eh$DY#CUTlZ8b0*4OV ztXkBBz_~;M_NiSJOdDHX>8+*T-QHb`lPkgYyNw%p?Oe?g5=Qr-8V2l>46LdQlGqae z_Ya3RU6itPo2WZmiIbBGH5$0q8iWr;AHQ%#j)sZ3Rd8?iA(FE*1!_NN=$LQfq~IvW zql*{wK(L1{g9*hWU^#8|1Yk7EFLx!B`W9IBK%Y52rV1Vgg=LWnRL1Y6Whk~gq&dZ< zGCIQ*=nUAOAMTrUvmanXFOnZpIDKKVUXLJ@&v+G%zE)v~r`+%oLGMl!_Eb6ijfmr& z0#(mV%KDAYI}69nc?GVr0Y2=2L3*K>56en!Tl#TI{^Aro5AK3PWmyVj+0!V2B%88B zKt2t%JQ}%WIDBMH5|>Ai&wYj5)rd-l?Xp3+pNu7qFqNthUW4}Pg0kC+v-zb+RRM;H z43}Qmn;&!n*d==8*G(ry^u^_;>_jvxS$32%mvVF_4SPfstdT@zS>dyvGE5UShAbF= zn-Fu!FV;Sfa@yp{FEutd%<~WEZ3ahp1JfqavxHE1RDH@@n}ofn?Ruu-mL7pPP& zxw4r1nGkYf+dgSl6iMR=v>)fd9W`TE9)#dDymE@zw=^3YGKAWV#w7z~EoaP@8j)Uf z!(2tQujk;DRTgbyFg_+5;vp)}q@^&CEBcJJ-z@Gpw%8uX zUh&TR@4Xg9#($5kroZ#V##S`n^oZ_9QKk1s%352`-I>dy%|!al^f3~sMq;q#iaj9; z9LTea2O};U`obx)hI=^0G_e-BS_>#E<-+>xL6-yv*a-4Wzl`a*>ZDmup=^z&Quw-C zP^Yxis>jYNH~wLbg{f&C?rhV1w5Bjv)ib? z$D3kkc!v0j)HeP5d_Dy3k9kDyf4z$%6~F$qB!9fzczRXEY_z=}^V)lyq>|5^+MeI2 zNTp)e zC%L<_XReO8Bg|| zp{ab4;6^3-?0m*gFDC_ukRai2)h5uMb_nc|T@2?ge@6PP!5{pW*kSsbD|`D>%j;E4 z0#s{t@hdlfyYFjg>k!SuBSujgJ+eD@%{g~DO1!UdK9d}X)qPbPINLcabClZ^ID39x zK7sEtBig4h>n?2aUtt-ibsxQAuiPx#qrz=b*S zNGi>$AnEealIV%AWzPPOt6mAaa=w`~i}0D^o03i~X&irmK*Ca4ZrXl%xX6!;Uso}f zq;4M{+g!Sq(YZ3lIdrq2A*Zk;G%rbBPZzW61E=1HbbP%^#q-MevG(>L zoO6E!$Y2)R1u5DR7r+|4N0MC^z8je7gzzLm@oM?BM}DbaD+X4$M(Fh%eMq^hxjS0@ zgK|Q1V+#xd%z>ia&I3N}bF@Fr9?u4D-0z~vNYxuOL-n6jAJEnhR&Q^xjlJKj;#TWv zI6$UR_g9?6xKm1TrDbQRP467MCS;_ptx{moD$!9-kE=cx&91JC*uVEAcdsS`H)3ov ze!!&~32#})_vgDhMDV}bFJ_}xtqqc~h(l2(avW^{a;Q_Xw6QtKbZd7i4?z|%PTB7O z3l8WK@a!y|csi2ou!N)?Rx|S5B^?{^`%+ka4NGg>iuvZlAWJK(@=HLeZebPF9$p+{ zWPww2E6yLuy&73z%=JV-*8Jys-Rm`}fqDjEH$@U`+(U^zN0SaX^&WQGTt#--zrRh^ z?pN1io{=5mdg5~pS-!KY;+TU$n~eK;%6}d-T%c&jIeULNzj&sGDp7f$;81j4M%I|y zk0f8C^^m1c%ep+g-L7K&A96lm|0g661qKoL&zz5lbXC`%Qm-PepGaopORS{pcQFZN zujZn?>Gk6`ApnBbCFDR-gv$V zFAl!j&&nLkS8~}DazWdX7v#FG`EEITY#{$E(=!@Zz5jmDF^&!lxAHUcVGk_-XA|{4 z-w&*Q3^sHcv*RavEb|Diu6jq`6LXiOw^IdlF2){cvgPVk&8*j-bEQNVpBh*N&rq*e zUDmGzOu5P$*i1OR`6#Km8MH8dyB2{Xf-J(t2Z&Ycyse3=Nm5WJI5mhTov@|81>HMJ z*eo2NEpfI!cwRx%pWf)N7f8R;qE_X@bBJ!Jz;t+@QxsW&>OiSWRBTi6Qb198_C+ZW z3Wul^6QxNjr^&OW$=bh~#oFJZ-PY3Ls35K&nH|OPO3Eo_mR26&w<3b#W{0cEGBeC1 z{}*J^RR2Jvfm!u;Eem4hrLkUpw$@WwE|5VDO2t--?QDrIu44(M?<(Im;O~yBzY(prYmCfk4n$0{~RcKIF3Invp$&{m7hT^|L7X0xzzc>2DDJCz_ca*OW zPi!>Oo=&(m+HK2&?qy(@zl)v4oaurNJpX*E%n>BZao)3X#vjLio=?KxF8obW`(uO$ z;HvRAkpqxS4I5+phWYYf+YJ-q1Qm-ATaRvG5c@*qD z-g(mV3-hKjIMSi;@k0M^JjaBgvCgs*Y4EQ81>-C!e6>R$y(m(Zel~er2AXQRfo{%` z={&I4Fg{%2JCg+cHQPxOkw+hZIXz&)#}A_dVkXB0Izv=AHq!y zj8LBZ;;DvZV{gh=HJ8ZGc^avV?U}+`noWRZ`Gepmk$Iurn>A;FRNw>V1aTQeu#Z<= zt-fOK=qB+6&G!)Whwu~eMSt8UHI@2Vvue(l>jdvn=*|_`ZC=VD5onbNB-)SsNnc{X zL}C_NL2GzV#4=dWKu<~JT9-9sAR|~@z-vd2qAt~s^j6kOOIM+d21RHS5~)BcLbYa$ zZc1Mt#p(+-ldcPwRs*&Rqe%#I1Iie>kr5G#^J6rQy=1ARfg?Y$JV%)eY^#weDz*z# z8H4LFKV=)B_P^&BL@CG+h4LHNwV-GqICfsG#8~5{;g+}~_1{g#k#TlgoEqMCTb*Jq z*EE>tXUa2OE%x?K{$<(b4E{^J`;bSAD(>L_ZBKjJQZ7kYJQDcruu?-BAbMc31EVQc zujbxMse$MDs5SmQAYRB@8CG?n32cw;Mly9cZIi|NQbseK#7@6JB2=O{C*Cl({w3FO zASgb>zk6aYx9D#f8DD0;SuX*x|KZGLkfIIS{fj@bv_APBUg!i;RqA6+InKN$W*628 z!{fMDoFZU-sd2!?m5eVp{J9k0t=*x|9yq$JRIbFW^#w$GTsL7fHFfzWo9IDxNii)) zNl7BzK2;dSUb$~|pgV_%!E(O|G%KG_U%)5#^Np#<(0ME8esu*0(=FN=v})|uDN8S{ zp#R%}Q(C#=HY|Db#+Ha!**1FtBvV91P)ebsg}^$A0_3$r>CYr_d(U$mkb?024^dvl zC5l!{S^tPR3G5lFyC!Y36dF^wo`*wTvS6sWDu>QT~nVFJ-Z zWPYc%fj1lSW`uNTKwRAhe&+7Qa(>xu2{#b4$$y7fu}(kfnT&gI6s$VCt9=mDU;#>f zv_BjH(mN3~cM1>$|lmC(|6v?|EUVk*5v(N9P8M}iIYNx7zBIK7#*gx>vylcytviIn9jzUNUW)h&ZMunrS(-cF{kekYI~Oa>uz7KkIdNnI*+d z5(<25OamJ#<*i0liy%i5q6mM=NyhGU&V34NdvVkW(r=-WW7!zaRFvFKdZ6xOHV#3c zkbJ?SBmBe(Li-V3UI8$#;J%H!{y2WDz`1D(3#kRTCvr!MJDOt>sVVK4)ICVa46zDX ztZwZk9uPLE6_ml*&)M@yyLT+A@fXEY?W#hljhHl%pop0t_!y5p7j>Sm)Mqx18}gj> z(>)tZ3;hTdqoXHrjFF8K)q7*yILrWCeCTqBN=L|FNp`1;$9l+_viVG7n6~5(&1xjc z=84?*TzPyD;}@zl>n2?^oMhUdZ<1yQ8TbSpG(dNLg6pE!Fic{!d#C^K?9lFq6$haM zF}lb=kBz6lPhK+)ofb*?7IG8!&8+UMJu1S4?>lOcNZ>T;(EG%5q#^~B2vp!>j2jZj z_c$gBOdEqyt9gPs@iTnSu_D&KGHfqT*Nj=);05}c_8@%SI4X4Wg)Nmq|B{e)nM>AM z==%@zRt4%+2`3j^_A9V+Zae8r3UhS==l+LP<<$H&2eOlbG^L@SMo1+OWSrjx${H{4NRdZOLP-@e)6U8ijYYpL4^n;*{ z6D}4z9QMdOs#H~n07?f6zqGNCRaCqdJZVVwVM>{FvD8+4uNoD%-w*K5#GVUn22fco zyX@n)GasnA>GzuL4g$MStH^PuJpIeV#3S0ov0SI5LDx@Wsq-D!HP=cd%gf4wrRrE>;%omv(a*H2iIT$IJ+|io41e1RTE5e5R81I@mb_!5E^JepPcd-| z97S_{8V?;+T}V=R2qKK-57#jp6Iq?2Drgm)BK%}=QjK}c4rhby~0S{db3FT8QP;tZu zxmI8AxdQy=f!Npdfr9~-eXuU~ZbiTdYjZ^}#WWuok#;oO6-V6*`-bvn5BHql^^LsN zo2{A7?z(%*hX$VS>{6mlv^~RY(>lU$2KqPFR@%H<6np1um%qASQL-^SX<1|c;Pp#c zu}a0VU4Wh2drh3WlYFG6jy{2i3MI#7BYW+;x`G;ugjYc=+*bFJv)n9q|HA_dmT3}! z%mBcI=uPQ)bnN}D>HjTx^y!W1A@tCH^=}vM>gq`k6Zq#kg46RTyV$tW!vy~yko(ss z29*)yg$N1r2?z-CL1my21*ovRu#k`fR6&-HUx8Ox;(u?+h(u;Ufx!6wlhcrVgL%9# z$B8tz@7kg!b@C8&H-|9)GgWyYb19ld=J2`GsQg7fek)cyRZb7$Q4K`FfrRd{(a&Nv zYZ+8ngyAn%nB&qtR9HqJh1!|L5cEaUN0z9}KO`}RQ0zp5!Z@k7l84FQ4&aFi7G|a5 zaA*!|MG)*9bZ2KTVsR%ZqI;u2Cf-V3b6~{k$zNLgnECFR|CWbz(L5=P nR{kO|1?KaL(D=V!=sQny4^LkYYa1-601P6C1qRD&Dq#Hw;uXOG diff --git a/year4/semester2/CT420/notes/CT420.tex b/year4/semester2/CT420/notes/CT420.tex index 9cf52f30..afc8d14e 100644 --- a/year4/semester2/CT420/notes/CT420.tex +++ b/year4/semester2/CT420/notes/CT420.tex @@ -29,6 +29,7 @@ % \newcommand{\secref}[1]{\textbf{§~\nameref{#1}}} \newcommand{\secref}[1]{\textbf{§\ref{#1}~\nameref{#1}}} +\usepackage{mathtools} \usepackage{changepage} % adjust margins on the fly \usepackage{minted} @@ -163,7 +164,104 @@ The principles of ground-based navigation systems is as follows: \item This allows the receiver to deduce the distance to each of the stations, providing a fix. \end{enumerate} +NEED TO FINISH +\section{Time Synchronisation in Distributed Systems} +A \textbf{distributed system (DS)} is a type of networked system wherein multiple computers (nodes) work together to perform a task. +Such systems may or may not be connected to the Internet. +Time \& synchronisation are important issues here: think of error logs in distributed systems -- how can error events recorded in different computers be correlated with each other if there is no common time base? +The problem is that GNSS-based time synchronisation may or may not be available, as GPS signals are absorbed or weakened by building structures. +There is no other time reference such systems can rely on because in such a distributed system there are just a series of imperfect computer clocks. +\\\\ +In distributed systems, all the different nodes are supposed to have the same notion of time, but quartz oscillators oscillate at slightly different frequencies. +Hence, clocks tick at different rates (called \textit{clock skew}), resulting in an increasing gap in perceived time. +The difference between two clocks at a given pot is called \textit{clock offset}. +The \textbf{clock synchronisation problem} aims to minimise the clock skew and subsequently the offset between two or more clocks. +A clock can show a positive or negative offset with regard to a reference clock (e.g., UTC), and will need to be resynchronised periodically. +One cannot just set the clock to the ``correct'' time: jumps, particularly backwards, can confuse software and operating systems. +Instead, we aim for gradual compensation by correcting the skew: if a clock runs too fast, make it run slower until correct and if a clock runs too slow, make it run faster until correct. +\\\\ +Synchronisation can take place in different forms: +\begin{itemize} + \item Based on \textbf{physical} clocks: absolute to each other by synchronising to an accurate time source (e.g., UTC), absolute to each other by synchronising to locally agreed time (i.e., no link to a global time reference), where the term \textit{absolute} means that the differences in timestamps are proper time intervals. + + \item Based on \textbf{logical} clocks (i.e., clocks are more like counters): timestamps may be ordered but with no notion of measurable time intervals. +\end{itemize} + +In either case, the DS endpoints synchronise using a shared network. +For physical clock synchronisation, network latencies must be considered as packets traverse from a sending node to a receiving node. +In a \textbf{perfect network}, messages \textit{always} arrive, with a propagation delay of \textit{exactly} $d$; +the sender sends time $T$ in a message, the receiver sets its clock to $T + d$, and synchronisation is exact. +\\\\ +In a \textbf{deterministic network}, messages arrive with a propagation delay $0 < d \leq D$; +the sender sends time $T$ in a message, the receiver sets its clock to $T + \frac{D}{2}$, and therefore the synchronisation error is at most $\frac{D}{2}$. +\textbf{Deterministic communication} is the ability of a network to guarantee that a message will be transmitted in a specified, predictable period of time. + +\subsection{Synchronisation in the Real World} +Most off-the-shelf networks are \textit{asynchronous}, that is, data is transmitted intermittently on a best-effort basis. +They are designed for flexibility, not determinism, and as a result, propagation delays are arbitrary and sometimes even unsymmetric (i.e., upstream \& downstream latencies are different). +Therefore, synchronisation algorithms are needed to accommodate these limitations. + +\subsubsection{Cristian's Algorithm} +\textbf{Cristian's algorithm} attempts to compensate for symmetric network delays: +\begin{enumerate} + \item The client remembers the local time $T_0$ just before sending a request. + \item The server receives the request, determines $T_S$, and sends it as a reply. + \item When the client receives the reply, it notes the local arrival time $T_1$. + \item The correct time is then approximately $(T_S + \frac{(T_1 - T_0)}{2} )$. +\end{enumerate} + +The algorithm assumes symmetric network latency. +If the server is synced to UTC< all clients will follow UTC. +Limitations of Cristian's algorithm include: +\begin{itemize} + \item Assumes a symmetric network latency; + \item Assumes that timestamps can be taken as the packet hits the wire / arrives at the client; + \item Assumes that $T_S$ is right in the middle of the server process; for example, consider the server process being pre-empted just before it sends the response back to the client, which will corrupt the synchronisation of the client. +\end{itemize} + +\subsubsection{Berkeley Algorithm} +In the \textbf{Berkeley algorithm}, there is no accurate time server: instead, a set of client clocks is synchronised to their average time. +The assumption is that offsets / skews of all clocks follow some symmetric distribution (e.g., a normal distribution) with some clocks going faster and others slower, and therefore a mean value close to 0. +\begin{enumerate} + \item One node is designated to be the \textbf{master node} $M$. + \item The master node periodically queries all other clients for their local time. + \item Each client returns a timestamp or their clock offset to the master. + \item Cristian's algorithm is used to determine and compensate for RTTs, which can be different for each client. + \item Using these, the master computes the average time (thereby ignoring outliers), calculates the difference to all timestamps it has received, and sends an adjustment to each client. + Again, each computer gradually adjusts its local clock. +\end{enumerate} + +Client clocks are adjusted to run faster or slower, to be synced to an overall agreed system time. +The client networks is an intranet, i.e., an isolated system. +Therefore, the Berkeley algorithm is an \textbf{internal clock synchronisation algorithm}. +The Berkeley algorithm was implemented in the TEMPO time synchronisation protocol, which was part of the Berkelely UNIX 4.3BSD system. + +\subsection{Logical Clocks} +\textbf{Logical clocks} are another concept linked to internal clock synchronisation. +Logical clocks only care about their internal consistency, but not about absolute (UTC) time; +subsequently, they do not need clock synchronisation and take into account the order in which events occur rather than the time at which they occurred. +In practice, if clients or processes only care that event $a$ happens before event $b$, but don't care about the exact time difference, they can make use of a logical clock. +\\\\ +We can define the \textbf{happens-before relation} $a \rightarrow b$: +\begin{itemize} + \item If events $a$ and $b$ are within the same process, then $a \rightarrow b$ if $a$ occurs with an earlier local timestamp: \textbf{process order}. + \item If $a$ is the event of a message being sent by one process, and $b$ is the event of the message being received by another process, then $a \rightarrow b$: \textbf{causal order}. + \item We also have \textbf{transitivity:} if $a \rightarrow b$ and $b \rightarrow c$, then $a \rightarrow c$. +\end{itemize} +Note that this only provides a \textit{partial order}: +if two events $a$ and $b$ happen in different processes that do not exchange messages (not even indirectly), then neither $a \rightarrow b$ nor $b \rightarrow a$ is true. +In this situation, we say that $a$ and $b$ are \textbf{concurrent} and write $a \sim b$, i.e., nothing can be said about when the events happened or which event happened first. +\\\\ +Happens-before can be implemented using the \textbf{Lamport scheme:} +\begin{enumerate} + \item Each process $P_i$ has a logical clock $L_i$, where $L_i$ can be simply an integer variable initialised to 0. + \item $L_i$ is incremented on every local event $e$; we write $L_i(e)$ or $L(e)$ as the timestamp of $e$. + \item When $P_i$ sends a message, it increments $L_i$ and copies its content into the packet. + \item When $P_i$ receives a message from $P_k$, it extracts $L_k$ and sets $L := \text{max}(L_i, L_k)$ and then increments $L_i$. +\end{enumerate} + +This guarantees that if $a \rightarrow b$, then $L_i(a) < L_k(b)$, but nothing else.