From 3d4657a88fecd8679dad618e5f3fb6d0ce8a4162 Mon Sep 17 00:00:00 2001 From: Anthony Berg Date: Tue, 7 May 2024 13:25:33 +0100 Subject: [PATCH] feat(dissertation): add components in design chapter --- pub/dissertation/chapters/design.tex | 19 ++++++++++++++++--- pub/dissertation/dissertation.pdf | Bin 71148 -> 72242 bytes 2 files changed, 16 insertions(+), 3 deletions(-) diff --git a/pub/dissertation/chapters/design.tex b/pub/dissertation/chapters/design.tex index 3d18934..1994385 100644 --- a/pub/dissertation/chapters/design.tex +++ b/pub/dissertation/chapters/design.tex @@ -1,22 +1,35 @@ \documentclass[../dissertation.tex]{subfiles} \begin{document} -\section{Abstraction} +\section{Components} + +Splitting up the project into multiple components has been useful for +\begin{itemize} + \item Aiding in planning to make the implementation more efficient + \item Delegating specific work tasks + \item Making the project modular, for example, allowing for a different simulator + to be implemented with minimal need to refactor other parts of the codebase +\end{itemize} + \begin{figure}[!h] \centering \begin{tikzpicture} [align=center, node distance=4cm] \node (connector) [box] {Checklist Tester}; - \node (plugin) [box, right of=connector] {X-Plane Connect}; + \node (plugin) [box, right of=connector] {Simulator Connector Plugin}; \node (formal) [box, left of=connector] {Formal Method}; - \node (simulator) [box, below=0.75cm of plugin] {X-Plane 12}; + \node (simulator) [box, below=0.75cm of plugin] {Flight Simulator}; \draw [arrow] (formal) -- (connector); \draw [arrow] (plugin) -- (connector); \draw [arrow] (plugin) -- (simulator); \end{tikzpicture} + \label{fig:abstract} \caption{Abstract layout of components} \end{figure} +Each of the components in Figure~\ref{fig:abstract} will be covered in detail in this +chapter. + \section{Model} \begin{itemize} \item Formal modelling is the heart of the logic for testing checklists diff --git a/pub/dissertation/dissertation.pdf b/pub/dissertation/dissertation.pdf index e72ce576c98db330cc3365edec54e936e1727920..9302742bafba45a99be8f4ebbb84c4456e8c9b4c 100644 GIT binary patch delta 31058 zcmZshQ*_`#x8-A}W81dTF*>$w+x&OXv2EM7ZQHhuPI|sOYaZ@hbKmN$3`z}r&7({3|3F@3L%ZSRdB=k4ow zz-;XKo<+j}E>)JqPfk({7+218rL`OU2El`gw2(ca&P(~d^<3`vS(C1@HJ?;|YIClZ z$s-6Uul~Esp3HgdrRroNk-|Rza8<{F5uRUtdsL-rlLEMw$q%Q;i)#L{cGBe#Zt&{3 z&DSy6fQ%%ZA>Rj|q|0qAPH?XSoZQzD!(SXsn3@9xBA@Rg7S@qbt$*}BU6i8su3xq2 z>StB?bJiprtLTK@aNQoimu}`llE$14u}kf9G3WV*9&t}qNU-zq<>?*jc9>#@GnYo` zoVv)Vk*h!=2Nk6hiAVgfVwF_uG|*kA21qYpfgc$MzTF{Zwgi}#Ft;fntlgbxi1}s< zFq|Kn=OF|r#hnAm?1PM1nzNy(0R|juo%MefdhzKoSVJM(b#RP`L1dM=L(x7Y(4~L) z#@jOp6#WXwqb9Yn1rJ!W*-knR61trTdbg4q2Foh z1yHk|XFUtc8?!t+l_H8HO!isf#TR``^M-hx_^MT9RqAb~eFpg^D^?xI(CqIOldr(e zXAME646G=ej;)2!tYgXEPtXX&!@s0`KWs;Y*rhv{a~Mo~b_TzEtH(GzeL+=3U{JJ5 zNaB)>EHF-vost}y#su0f@jh39`Qx{r0q%W=O-k-&pQjB+_?_bJ;Rj9f*o7bIa_APj zmzO08?oVeHf~n|StIIa+Zfe>)p1qxCv^zxW7;@lXGze-4F}xZw%SED0l$HCZsm6nM zIn4C>H@t8Zuy$_I`}x#8^|O04E`xFH4(IC0Bb-+^*nOyY%^^anB8^orPXoofKvZt1 zKTWKwP#j%Xr zc(>2uciA+B&Yi~=(si>EqRIJpub#~SdCS9GcFRABUel-e zkMQm}Qap*E;AoAPP*(Vf$U_tW3lB5vfB&`1xRWt>Tvt1_b4Z%WWn6W4`9gTat#+@N zM|C^lE>dvhso(zP(9aq7-nO=25Sjg+MxXUj7C? zAUUH3+`&|N6k~c8Z5OSjHV(^+@vlue<1)N8IEfG=y6HSPM+n;A1f4BWw34dxw)o+A z1$r38KioHDbiHee#p>w>^{9;jCyo82Bjrk1`5d4@c8|XjCc~ERk662S%3;S-)v~r* zT$2m!r5&bW;=A@fZVNuB-Lp}3Frr17HkH&%8(9~hnVe19{dH=))7jF;k9?%x=s&__ z+;Dktn+@|DrJaAbO)=ba)t?bJicS@d@hMsGMHeo|d$3&bb9rd3gOuftBS=7jUYWvq z9aR9gr)FBKW>V}%&d);(1K=5umV&&Rpz@UY@Op{s9Bu5Ek3l*VuzYFl%$a;+sc(}% z*X zN!|3fSgd=RDTe1%3-1cVYup}E$RZYN5 zUPBn94mCoM4$_1rnczK*VAH)B>?wTvqcAj7oy)CQLrMB@k9A#Vz>^*juM0A+I+W0P zoGcrLy{R@SOLo+wOQC~lR5u=Op*l!XK5ti(;I#p}H2XP>@bCryT_r8tk|d4&Vf`X$ z`AjUg2cq9*FuGgB!Y>y1>ZKb+`(R%Q1^tQKxGON5<&!|D~}vFXZg{6yLfs z1R;>qR|`3qxoBq9E{ime9cP#7fcN^;y^nqlECr=9l~q;3n_1g)RIICIk@K=oRy_Zd zQ66nQlY66>NEDC|+5%5C>VN@*OipN^@l7PBP2l8M)+{8dQ&lN3RB+eelbT|!tO)}d6)ja&O7$Es!|_6!xng{hc4 zIg*mx$CZNi{n`3=&6XAMls0OyfB*fL2`(%0$DHDTh&6iHewi*F7j}w4NX_i;O`fPM zwhPaJSPq6{MHDx>W}Et)0$G4(XU)X!H@Ptw3M=MPtGir@@<&0G(8$QTFrDmrK9qu# zX{yA4S7w=v+V}KycKxf9u<)N^e7k@C8vee!%3a_!RT=9S-p;GBNB6Ql1Byt6J%YZ7 zlKuNliE8vQ&6z?L%-jx*^3Y@#q({>wFPr3Fy3?)MQWiSVOVqzBvt@y6c4#BY@^zJK z(~DE*nk0hpjaz%yGsAXpFP}mah$zTZ@9w<~URUK%qiuOSiuM+JUWI0~yPZV`^6-sr z)jzHF%DdBN%&r#o9M#=927-s%OF^t}qAO63h!r@Xx9W1YLPzwf@p9AA#Ws6Udh;$f zAL4Aw1*+cmy)bjf(*(c>PoI_66u7>PErki4o0Ss{4BazQ;S!WVG^L3Q8CM3BNb_%& zQ2GLg&UO8kOA~(^KSWv?x@Qn9KKFNxOCkB`)g$Eem&G-Bhep_X%U_Sao31+6xatOV z>+zQzh2hBP(e-9ziqFm_txiVP4=+CsFZQXwSKLp}_^SWq<_-Y^j#zUS30)1%wKBw; zq;#&PRpS{T*{Nzn{&?o8uLtdt5!xK6ZQoA}8T19am$Ry?}`( zoilt82g{0Wq1%*n%|F3|1Rg|Wc_mGzV$acU6rIk&_)K0Z8TpgZ>UGE=xW%&a=IA|> zW(tfemL1+cAGpAPYEExb776HjH7XV8fYpgvRo{bu0ZCTmHEuGkis6lg=pg#q;2# z|7>%Jj)!D04u}d~lfHAiu^8Nj+=}NPp3|m^S``y*#ATphr|n3IA}QH4@iBB;Kt`z< zAc45SOdTcq$Provhr8se>dn#Mt-Q#T_ub2DH|FpjIH6g6Zf?!08Vc1|L)M)>YXuL%m`PH z7$2Z?sLy#2^tuqgz>4@xJBf#@{p1trY9?+ai)6K4ZjN69hX+#VokOzX&7KRYSdT3* z0teFECak>~(F`X4X>|JYR>m4sscD_UC}m@rO)B4_n-YL7dwn~xQVQUrCFqWVvMf{q z98eQcbQ*#I#lx5`_62ii_I zC4Bdy(|hfek@~Xv5v5}XQL5B+xx)z<8Bk!^gB%&$ngeCg~FRX7zuN;yQq zEhPilMMg|r6i4dbo*{iCJku%40(5wcuVKJ^xLxDO(AD++i}d!u(q-$6<2G7q!d&jF zgzTjz>vMoQ1ieJi$ApJ7Lw#d0#ilm$oNw8?5r2FPf&Ql>D9SN!CQnn_|}ZhfR77q;1n`Icxkg_SUp1$=1WHqC23<9ShA^8WPk0?=6#m!mkGa` z)*|=3L1#!LM@b{HdwB)HtLfX@=;7q+ORtmKKC_YBT7~egPv_FpT0Pa6RJNW(vavbC zq3W?d-nvugP%*m#9;kwM?mydEK1KF&JjJ$5-StC5+=H)DqPE?P>B(R18%te#H+A(E zRex<`^EbY9uGr3Mtej2Iizh#iUP@wOFN9$t?Eqy(?kz7*zVGT$9#n8qBV+*FXkRE2 z0J^CC&ilVqcB&CHC`IBfEebGgjmLuA^Gb69Su|r=gabQ32xdpj734q?x>2LDQ4**7 z@j)Qf8N=l+%R(a;$uPMvlWX2H?|%mZVMzprn5XQ^Sl81UO^4?J{dkPJ1IQxJMFvAm zGK3+~@3DTO!_#wdVTJ9ZkvgDQMW>M#pzA~kZ%b0opk!);?R=2JO|4 zTPqdOMiFkdL641_Gy$HQAD=tC5ljUs_1n4WXZH0_lh*-Zd`*YuA8OZ98N(JUsQs{B zl=3YWap4pJ@F|`QA+V|Q4fzFX@9=%cu4^xDKdlazP@CVTlX6tW+d?vRGC529%nonD z)GRa$iG?nv`-30#3q#2N7+W#Jf-eZe5J($)uE0@cgWRJJO#(Tw*%mDRBTrMvByvdm zn=-$-Q*I;RYga-}N+F0K)*X#3qMON@mIT;XSn^4ETFvRS#CG(HmqyF>l%M8tPrF2_ zzb*3#<=Jn_ErQ*5lU1+6NJ4Cn?@-5a9WsanXKC*>CWX>|#&aNikn`6L(wRLX;wL1W zCRKSTK6+_ZG67v;LGapGoA=Yk4)prntZ(`qxbplPBs1#-vzVuXpgg1cXM&Qt48Im0 ziCbr*FLc{eu$y5kNsgrTTWZ6*wqHlzPN`Y4{@8g)7&T&F*Hxeuo19PgSIVDTk45{l z%z9=JnEoX5V%tRJFBE9?6FTSCeS%PvUTs{U(YsVBbTuseRnWo*H4kQKa#UtE+uSW) zUPsX08MU;{krH{0YKe*Qxiv6mM}-irs%}s%FX<4T*ySS#88Ad$%ff=Vjs?f({;;)h zu+5ap<3Rnt6gpQT$`Cog!udbgh*?ZK9GDV7SS^a**n7t5uRm5T0{*8TYe^>!=Y_a> z<25nex=d;z7{iIEd{SA&%&T7wK=NqhtDfWa`2X+1!ulUSq6D~k*#5g8P3w-^ll@HS znN>N1oDytL{GBff{>3%tf}3X_#G~1=9NLfn@x?T~Hb%^5CdHvA(T|*D>})ZFMd$Z% zI-b+=Vxh2}?Oai^wD|e2Ik2~RR?vMHcz60Zob`0>KT5bhAAL@WdOUwpjtKvLIy~$( z09qOJTcj<>DRa@- z0I3GoxOLyF9?#U{gK6<&e5$`?u56^M=J&g!pL`!qg%Rbc0DV-b%W0_r5e0;zhv=fK z1y5(0*23wz)XGtJ+7gkxgO+`uUqtjo0mR(mCBFx#7n*^-2h7p4uS1`;#K6z{(cG0v z21kL6>g+4Z&R3dE1(^VpGLMg!)JK^*PzkA}+NHqZ(hcvv!Jnho$v@c0tx$ee#qEgs z#9-RYaW(brYOKT3+!od03*>0!deD16voH3XVC5FVX4+8M$wkL+Y6_SV9u7m60%2%K zssxUi<&$&&)T}$WaH4nmE{=WoA_l+%MzjP5BRa^>l&tctBB{cpNO$&%K2Wewl!Jq4OX=d@xFv^GOhB4M;d`@{$E>l$5wUp@_p8UwOdw`H;s!>1G)6E;^ z(PkthbWcmOGqgmqfz$ud<(5&Tn#k)YC*>qi} zd}w)V_3P~=xt(UgVUO7t8n{!>IZV!oa?@rNwV1t|SOOI~N0E;U0|!+M-+~*sFDCVmmJMG~?T{<--y8v!u_VtBMAnG1)e{(iNd7L+MfDcwox5Cbon|pmi`L_iP2x z6*eAt$I>n)Y!$)uiep-XQh5!YQRrlZG!Nr+ZFJ&h{aT2?FT`hPfNqd=VRe}+VrYw9 zzCo6W-+xze!Gv?JK$hLAg2HBgcLXGMfWsC0AMk+T#XX(08zeov^mm}VfNsRp^>kLj zEUoWakLCTOWIyKcduY?Z1XTQ@^}H@WeShomWFBot>CwS_ou9=y~{?0q%D)Dy2lD&881r<-DA2=5fI- z@~!C-u3T!_k1~u=>2GlhA92~f+QP?)gIszn&Zc07MgZRu$+n3f0sGpycsSMk`|HF4 zFB7+s7)$Zt%pu5E5ToI{>z-@Shg`&R8drVWw(PyXT8Y*w5F|Ib&)COxP1i1=D~H0` z+;O_hjMY%SLo*L{^cHNH&IfZlAU&iXCZ#hcL8t-=`%lM`C^J8PAa9Q@XbKPJFIh>g zd8PW}Ur-$}m6kU--TA5hhRtjrsNWh9UA;fhp^A4|l7osVMgo6hT8hsQ-7+mr(`(J+ z_bRB$A+d2>0byhk7c|tJ>ZaJzv34Tw46OR%>5wMboZ@?U6UN>#)`?sc3aUCeg&XBT zXS0Kqd8Tbh0nN7kUykt$aag5)xb+3Rqq(I!XZkXR7oaaG93{foHF$gHv8I@bX5!oo zKiliU&kD$0b2SVi-`GXEZWqV;RZG*X7ZW_vvwsq(YmPw0@;Gmjqg!FI90jDT^&MnnHfnc## zNHm)d08`PnB*7}`hva(PS~9e-(pBtL$m=0C`MOlI-N<-q&~1VU6E{3TP!aF)9- zF)Ie2NWvHCPO_4hMoSP)I#--V6P<3^pj4GRD*Q|a-hH`99J8fCrD$T$|+ z#ARfKS(Li^j@Oo@yP`(GuzD90zcdvPX19Nyx2al=(`PtcR{XJyN?&?JgU#*kP0 zeg?jzM|2t%M^+Sd6`vv4(!=yb3uhJvnH%{sNl@oO zo0y4pm6pBAT^(OEOsmxgc~{;aX|ObJP%bcRstaLk+v4QDc2_Dv8Hr+E(bTyic*4aFWZgDoKq&pC7S^iUEed_t8v4ELD%T(Ynd(x@=J$>F<1hECR1^s zFog$-ro(a=M(TuFtaWO#cbN4R7|z@aY?=CUQRHz0@uj70bD_oF4{4oAycp+`#>9lL z(=qCvt|(Jbr8Fhz=UWhI!2|W+SN&0Q7|abL(BAE*77(#{n#&0{7OPtz!~y``{49U{FOtU@1HR0OAj6n?g%s zs9!)n|H8hc@e!{kMT~nvuGUau-rhMmaQRis@rV4y7Bu{A2ZvMd6J)7td@+F2HtTnq zUmYnpAChP_6pS#iBaE+LEQ*inZ#@a`!9%m@Fo9S;AH3&5x)u4DI!1mwem~x-m#H)V+y{|I9IuAUgKwa(1(hQ*zJ4k3d75b(d%Miq4g56}{_J8Eo2S+InO<$L4X| zANWJEGCS`LQ7M7lMuM%nI*qAo#U4{N6&Q%Q$eFb|6}MA0(w)i!U7mhdbuiHK(gO+& z2?%)!OsYT7t+sfxsU5uu*YeT=U9+P0GkEu)5T$uVTG^9lg37Vy8%uW8>noXx$%;j# zz+n7F>wXcO|G`&Fc%p7$U51uoTkWjZki-WK7kJgGTDiSvDmJ92Hh_o4PxE&(nM5M$ zt4b$oTGyzKkO*=C1di0;aWMsNGZI83g{8^_=Y?@#g^-vV?Eb>XGUcapt$h186qaXf zPK+p&Fv$Dy8}C49P5*%)=B}#TJ^e_2p#) zSFaRMB5+mU9*cw3`p--2VpM^PTzWHIkwEG;ug62N9KY_4hwXv2bQ#|lr5^(7H7sP> z7%pe_0xhTvLZ;ra9MTD!lgjy#nk00qaxdF&mji0!|`v?KFM+_0RARMJ{rWBKTStQAPx)IDP@xzC5W-WRMhqM%5q)KTl?+RFak(H3K`wEYm(IkkxWR8i&wZf<18qSA2L-Qm?IyX;N3gV&CB zx&D)XGrM4Q^c3Eig*5^fld$93!~!RgJtsCR5D?EN^FQ*yy0n9(;I?+`J^Oq%u0E=1 z5LkE;3qQYxG#M$?S{wFVc*0$%Na$E7vmga{m|6wQlAliOh~Nj+RD6;L+9u5eCjxtn zUOr6=)ZFWH9k8W2^>bmy?q@l}*M1BbLvT$1dIDl6ed}SW8KECPRb4!7k_Y(GG3~q6 z#_P?i;;)TgBAHL{5+h6~rlKF;B5FObGVA`h9Fitp%?niP*hj3#2+!&7YTnm(-Td(# ztt5YLqXqvlJAc+nI z@KzlM-E!7%4+DS6#m7?A!acg2Te?tr5?l?mHs7_#^S3Qu+IZioGwt$rcvWgh#Oa8l z!ieWIJTf49%oomjBp)~z$9?2Q9d3S!jel=TB!F7X5}Fk)*-CrM8s%q&wSpr5Eistm z?XpfcQNi5S6aTq++ulAWH6)^Xr=h0{%yDHTLP-79*I2tfX-YJJg2boqtEGGQa}7BX zWt;yyF+NL?!jNql^K^(qQHwaio&40`UytT8N=B7H@b49@rhamafR}x9O;skdS=AV$ zfSwB@k70rf&jZw4n5-j(?^Ec*?I&L8=UU?g`|fB;Rs3BA_$K?r`T<90Rf`1*@R_u% z{^|GIk*m@!74h1w?(^***V(_rx}9TtzDhT!zZ?_?W|j6T6+myl+prYfx!#68&Xie8C5iG%jXP;i+wZZo@$VG;OLs(n?CQ@`^537t)SYO}1H>WzU%CC1yc=D6h>E$UPrPb zXcWcCsLLSpOk*!A5(G^HoV%xWFi|iRxY)tgAv$&$sfhUfVNq~iTkQ}no#j)($bA(H z-p&}~X8)?~lq{TWT|&YEfUvZ3+Lr0**PVnaDXf_FeC>C2cm7XVwG6^1Mm9BWc=2Vb z;>eHf?fHzoHGvhjZF2jZqD+BK)x_zZ7Z5I3wQX9y+DAB90b`pcSr(g-oS(v|U4oz4E3 zstjFe0>8qAr+cp=qW4mp-78YLtXhll%o9{9@>+a&F>FD#Bql@Jp&uwmzOx~0&r-b( z;AMKZFf~$lvQ2QQE^FWa^(U}-vT$;>LVqs4Xh*DkCD|8LCDK7 zoG1L94TAEacc&F*Pn9~XvJhQYXQQ9^X{rbiXHQo-C5Y^LfD-3qk?*V7*}wW9DD_Q6 z{SS=u+)tM5EOtX4efEeqr#&B{9qTCGp@zzcaJyCS$Eppcb~K4UO=UVJR+Ek@)mbQl zN>JX&Xak$r?#iO62+fK=aj`!!>rI9IHT>h zuq)#xJj8e1fW3#AZsksvt6pRz_w$a_IrjJtU2z#u2hG@^hHAU&OCt!;sL1}Ks~_GF z^$Uc;q)-_u&k^#rc9iagLsoJ$wH`Dw{wL1Vg#`QbiMJDhnaQZhSa%?8vCi*sc2bfXS~Mi2y%~A2gf`JB?ujyQTI` z1lSRRvtewl_@T_o2bMfz%NF8-o46o_^;I}BE|>Y(rHxZnmo3?rA68uWaw3ikyiTGD z^4N_7Q|H}Z3)X3aXMGR&DBZso z0tX3$U%y9x8ybfZ6;L{1>h{qMww0w|Fq|(~I15&LQ78IIkMehJ5@M35=SiUlMJFhL zfK(WZgrh-N66gH>&5&r-#wYy5dTHL7&9WZO1!T8`qn5nmNj9NjdBLzs$M&D+t=X_( z#@4+23Zf5<*Z+DnLPXO0wSVMz4B7FQ-A_emK=nBoDUKs{(@C18LJfcB4SGCGH0{yJ zKmZAufHaA+y{SkY>%C_2=5&GyVf7O;$W9(0W*v0jtcCz!NyDi*rGFWp}_9>v^ z&V~eJS4foRgDb zUl_#XJS;_TzDro;l=oAYzQJ>`{9Ldq08pwXs))P1GE~;93cr)<&m$6GW1r%!_Hs8$ zTH9WZg@-NpFZosO&joWMb^8)S75+6GdT(9JgSsbQZ`O=B2Hh(ScUPnORn4HvNUFcVtrWo94=DBT*({_ z<_4zv;WWm~g~;cCk7_WfSl2MARHXTz1PKgjsGrnW@cgs{dPZ~c;@vENoZlAKM7;3e z4&g9-X``U?$>Gu97$|mx;gcTjUP%B|_Fy`;vIn)hEJ??P-K$C9&w=I(r_csX>1wXpjn#}uAsrgBw%rG1^R`X9pA&U8|=Ri79u_xRvm zLaC(JP1h9*LUyfN?rlrQfxIr)0uP`edmPmm7>OraU}h(}Smks!PcL?7*whL}G+WON zdZ(VmjKZz35)MN2eMtB)gjawlf(bRAeGhLi(ZMqW)ou{fWF^mehPAShiXkOSB9H#n z%`zdRH8izB-#g@hhBEJG3&*pN_h-l>qa}?%T}Jy)5m_9#q~s!^#7M)~TQR^txyC08 zZC14`l*cMA2ayzQvZvC7W1$-3;9Gz}`C?1Go@5udGN)NM9rlK9iRbIwgqxe|yhN@n zDL22FRhaFyaQB4JQScap+3!x6#LmzMxrR-C`7r~7vEJJ20xj_mabxG#Q_i` z-z!*osA^1bB7AxDtx8qG&lamoMY@p1o;T|k_l}y%Xhk%|@BEDA+CX;V{+8@CC2{dF!nhR0;FBDu{6RE8=1bZJpZ@pH`!bd56+JmHxeteG0V7IF!Th8b z@o*>?>zUgnPfC2jb0`)=t_>eM7GNqx%;kyu@R8OPl0`6>g^G}jtpqV}uo%ZRdV~=? ztrbvO-;dCQhONP9Yj-lYVH+HW2;PK77=#-l8BlaIuwpK+nJG>_9;C)jYJ@MOPr{tu z#(jJkW=vunlQjcGhSej5#|pi;ISq`04)Z3lYQX#_bJYvLkOyIv+Q!o8z^qyfBqY+G zLL31`hYgY=#l-9Q9np7VvsL}I9j<3BrBN~>4O6%%13d3baP?0M`I`g}k?jeNQ^v^L zdIwurJ$7Ga*49n(63;XkJ@M4QWrxR#eoyfv5AMt}N}ez8cgXpHv2VD{is$wiaODF*H_-&`Fq#$?8wwk^&)Y zeU&#R3?G8a5tgzZSm8zhG32SeBDvIJe!Us4%Hh8kAfRNX2)YNDy7-OAVBN&lrtdGS zwL*Za@D&#v?QIEBNh=W_C|Q={_~>BUW1zzjA8TA5wXvVpM(gY1hrjnG*^kIT#h;}= zywu__C77|xkNyU`L`qaLC0c&9RQbM(DP2eH)e3eU{j1$sdG`KvFl(>k(&-1J zLfdrwsQ1BDa7SCjs88jC=X-R9=la9PfPJ7!m(l#zp~TJ4AbBuJ50de1U_OrIVGTs13+Ijb zKH+}hH|JumIMNd19}76W8I8u#Q0w(H6Rl~iXJao9#gA3H=J&-zWBo6U&*Mp~-IVTA zzi!Q0huEl~$NZxO{fjJQtL*RLG_jX)65J@GvZ1j*^dxHlA|Zo>MR?Q(DIzc~(cwar zRB4$z=eOat)8g|RV#4lccYtU>GiqaRW$1Z>Z;Sq4ua3XHKEq4Z-8r%{}#xT=5BIN#px)y$5t598+%X1tW$l zuA6)gdv0* z?I|^JT3h8HI9|MhC;=ughe`!`dp7<=DXvE;J-zG$?rLH}<=tsRi}3t>!E>f+J2uBC zN;783-l!zamt%nV%ibL< zk0i*~9Fzv{n$C?yam>bdVFt1TZ&cYwhUz-s*BEAxzRkK|Q$T!-XHnQGmYa1fsi$Ur zuO}3z0mH*xIXOK`urg02>OuC?!u?jwO)iwvmbnT-1ZE%qtk~UOTZi4h8VveJg~Qi{ zbP4uEqVZP_9d~o7;j$%Nm7JBwa$X*d$x`kIzgHb087*anys)>K#bd;okrO*S9dl+% z9xseo&?-mWT7dlLm(=ymYwMKx<+#snrp~BqxNxU)6Dt|Ka%IcKOU!@Fo4fZQ>J;dP z?5)C{CHOz`{?Ta8fgY5u>2Pq@pdB5)DHK3SB(A%{y&c^9@nqHnUB_r!7Ul2isBL4ljOQEQ&Fm)HZ)|LD|%a_Lv9Z|zqzJMq|aST{9O zm@1GWwVnrad#vz$dp$LmHdhV)3sd=5?W-o%>aQ#ZF(+~z8c1qw}ob^sTP zw;Nxw=Qh*zultHA>IL5j>z9^{?p_01zGX*+d*lOQm7T=%`AeeF1GgOg<^6E99qJ1; zAQ6)(A<9^n=|+P?Am`+|ZG1oHl4K_6q|0KV@Wtqxc|SS9XucD6)ilKH3!FCV<;B{g z$jjikF}h)J6T3qu+Q?_~yXCe&`gQ#0YVAr`mk7cAG_QUm>CEOZ0Yr`mqgQN&hN+9v z;e(xImxHTpeR&cC&u09l+8ymu4;Dld&mx?ypIi9k!drJ`PEDnxT@8TX*t(1@mzK1L7%7^%J9C5PG{~=d#6GX%W zOo@Xww&z{$+6Rv6V*_yT_WKi)t^d=)8r;`?fX*U_RB)dpNmwcE4s`=(!ilvFfOMAS zmG?BWo3qNe8_}+%-nHC|?l4Nvxs%wgo09cxwMSR%$zb7@@DHPI-Lq@)@1;yF4`Q9u z_{c+eO6C#GJspj`rNa*}WUCGlslySY3m*I=?6UGI2t+>N7cqCdDE^M(fuD#QR0ml ze}bZ47Q7zjO%@LACM??5o|ontc)am7Ub2tzvw?n08^LkNRXJh)39RLaoTbtVOpudCdxy!sQ=m zmwBU=Mq^U3k&w8TS)XOV#=uq(Z@-4&HI-=znRYhnI&1(DG{p`jb7_S_+)d^}_{^ui zQzHSx>Bxg%zD2rg~AhvyU(UOtQr`DpZytfkq`vr>LQQ*!^WrK%hLj{}_I zVDcoq)XWy+EKV-@WP;~^BoE)3u2Wpfaad{7_K!p*V|1!sO7=>-8V0-St*y!%?MZ~a z{Rdq8tA`qHw^fhJ&+9&0wI!L>TBm{tLi9knz{)!lbQWdVM$GA|MXe=~>xZ?9-x!dV zCrJ{cNNlQElY0R44gxNHgcE`70zPt|?9VJIWAe+$upP-bxkzETNymGX-yV_EEjx|x zU#^`NjlMnJ5P5Wq!i|1fMJSd%YD`Acc*`H@NuJx4If{*0=Bv3qirt0wrm-D3Y>dpe zCZ&+TqT+0ZC8Q|%%uUk*T;%M>$Kq=x(j2=rYX#DD778E>51CIsxHZVahi2!-efcg% zH?<|t>DDf1*;`&C=*RTQeuY9}&fZE;oX_DF=F+|a`|)vA{dZ+XTZ+Sd<<~`Uc655m z&7uu?UE?=>e8hi()JZJrmExEH+`44`kLqr>A^$vs@iE_BkS7N5+p>QKS8o>=x_&iA)8qo)en=)C+BjNHOG9LhF#f+LxhBkL&zK6z8}>02+S_~=IG{Mi!5G_+n${k<(rX8 z^U^vkZ=1LZcLiIf*?-WpEk_WEpjK#!wkDJS8$0uVM{{}$+txwM=+JjQxumHCg>Ul} z1YvX5kVe-n+C;?5g=p3Y^ZHNMrSGBo^m%tO&IyS}Yf?EU1(|7I)gcvm;T+jz7}0~G zYD4x*?gP$0)jgI?i~gz27MoE~G0t{TnV+6MoT~N!IgFySfADIUmIQzs-Reo36R4^Z zsK#0asVTOZ#RDGsrPBf&O?0iObr(%8`HOM&Pw%$*&4t%uYvpXq^$JHMkKMLYlB*TfUR{R8ZPT0^?f^Wd2hKQX zf;_||VV&w|=yydJ$T*X5`24~Z_tIt#Cn7}HNZ!TM?Y5)dwdiBCii_ z(LKvQ5@C-{1t9Ig5^LL|?mK}Sj7C!0Kx7=0rt2)s@FrG z_Q=d5tD4M!_T3g0NQ5eDSF8M6iOS!4`SwkNe(IdonlK8>(uZy1N*N04U@o(vU-zf4 z&yM_V)k|9jxp{;R3pGrqQSj;_;yb6EpeIaOrNiAsdDCvo_0-PTE~RxPL|55B^^2Lu zpVar8$rM98y~bqt4htWaoz!sR z5(53M<}m|bNH7Rll>b*fSPLrPe~uLO692Q~FN7R&`yKJKBxz4$OO6;OoDzAXh=Nkl zn~k?bMAyvZ$NTHDUnn6hH9sHG?F{!JWv6TDrG8s(2?OhexZ35yT(@6Z;Lx9%X7|5B zNpACO>kjir*@u*$U3^D~upVD-Z~lDUJ-4xTi8g|1HNd70&(GYJ9&`#d$Dcp>P(dFV zr*mF&GO}y5>vefW+D1tpySWrtw34s?=#MlasU(y?tI5ttnJY9%u5Oo+Y{Sonn`F+6 zZb!5f`J`f*I{Q&roFgjGr)=(r6D%AHent&4s@*4M&Tkta-Q;jRn#hDxz`}v8fhoe^ zEyA@R2Ltp8R^XcmO@9#4NlT-IP;*d=3{5h0;MQG059q5(g{qia*^`W27=@}v*}A)b-HqUQQZ`cQ8Q(((u$Op%zhW7U?kxS+qk(bo{MT}MqJtg^pcHw)jQ(f$lkS0gl68$- zu7EgD9scI#YJ&R_+!}9tU@b+H=mEBO7QWyb-Vfod z%$6VDE8C*S!{Y`Sobl32avX674sHyerYXHiU$+kz!}Lu4fBEry{&{;{*O<{Qo@xN? zK+^vES9P2^u=E|Z=@7dEFTUdt8@stz`}wjJe$0wu%vr+GO2R+1*l{EOz3KWwwIslP zEzaM4I_l}%_4*as`{9mk)u25*Dm7Nwv9bHn@Q`oIB%oDtXhD%O{H8_GQ~fWplV?Hx z^uhtBuIQe5;fEJa znGoSGnIQz233}LxCwx<<#Xx-fggk9FqzVo?#b$6Nj_?W1fd6o5IHbEArBg7mZ1S_I zJ-;TL|5MmI24@m=ZKJVmXJXs7jS249w%M^Uu`{u4O)#-JlZkCR6U~?Beb0BQo;p9y zpRVfFySl4-_3pjaUe|RkGs;lBm#l$MssV`zW{YcMInC))O(pUAW@5M>ZIrwVs+QYi z45FX*>jE}R7?P1N+3RgU_PSsW7ZNoFdt0pV4u%A)1<#wc1`IVJ%#ctqFI-tBL^*W4 zY3@W;we04DG1W#fxRm|5IoDhBH>+f zmgrS3L^%?L|JXefcXUPSXd_$WgYU#~0c2km(0}5#Rxcp95|AfpoPB%3RC$spk{q`t zTFTy)A<#iv#I1`rB#YA$r4YGh0TNlOCv3d47jg zh?L#<{H91#2!{v&PIkWkTC!49oI*s=hOhi%gjPAF)5E1OC5kGTHA9HF-0?) z4~K5`HaP7TQf9w-ci&k?WXWaMvTJyl-a6!%s^sx%m$kUtUABF3DN?Wy#E)vC=cj%$ zTJkwlT5#A5JmiWVzkGLSfAe|&bD7Q0vjC8?-<$5 zZjM9#m(jwqq}MB*_`97?hbcC+Xu*G@^rC7f*jSlL>8l;_G)el|?*aK`AwR+4My zW*Iv?6yIFG`Yt)e^Pb{uJ^}dR?XI5aza4t=GB18~T-jwIVL>JQ1S=_EV=ADV!vF{t z2|#eGqL6e$OXzTHzp$_*77OS&h4~;|usjpR&S!=KqwwW(bA$in!C&q`loT?FjZrCz zjY)Adz9I}=Dl*IwgelWLON~i6iH=DXE~C3f`>P()T8c}d^VbJhD@I`y-w`}v@fWJ8 zfr-SUj2st8Bgb47!VI&qL4S@=6H=QR>f9zA&PBvLf_TcbbKVl`8b|Q2T>o-AgiOK5 zxZsu;)7|=R-0k4Tz@g}6aoqXMVG*T${R%Y$_XzFNi&+1|)8Jbk= zsj(=maFR*G?AG|IF!`XPb`(nXK1(>S>*_|w~9QiHuj1idC zj7Kd@Usl+4)l!8YKUhJ(Ln`k+UqM|eX|mVF1I4YR)Lgae z$!y$;Ga9KbTGg)089H4-ot{_TUGMz8cIJE+k4@uuqECrA?>Q}r(5GaSIA7&mHEQJH zbo6Tr=n?4y-v8bM?DwrHH)dSFNDc0uA3^d=AV2Bbvw#+IGVRyBcm9=L*CR1|?j*G8 z44JN+p+`fXISqk+MYi znV%gdw8(TEqzFx)1TRlziVt_1U4p*&B@{3E6h_hmzLjzv z^EBejnHeAG`8CHud2HdVAu;={!3yTz;UEGVMwe1n^ap!K<@|RtHDX7Cs+0;89^_wg z=Qxf8o(drhFdz6!pVfS^Ji3`-MjExt^zp*A!+u~{Zu7_l!$UY&$_9V@E{}@qCd4s|~g^w#CSS zm$(aWGtYn@SSCmigzEa2Fk}FzW2)Lu#8|sZS|ZsS?1M7p-T11(7rSeuobSm78dM3= zF=(E!sG83t^sIn^>*4gc5N{f5?cZcgNUy~CL77P&UXn@vpc)Na!K(j4{%7G?m%y#z zfi|ReTJdF-e^pu%wg|TW3rZqmJNb^6)=VO8;H=#W1?n|GKZfW%io{G=|{nUvDc*D>a8@z2$h@o5`o? z&4kmX&&gv4+{J&D@w?PdEvdT5R-^ULQ4o@hwbe$wdKj)6-kDun^Luz7bzBCzg`-J< zwY!Vv$Hd4)rJ}EPDtN#;Y_D58suzRb-yQITFNV9+hShWZ`_|!HvfAk zmLzl16sIAi|Aa9qoefecsPjnwc?7`8!}DJVnQ$F=9Zc=+e7Ny~CR(#4OLuAzma6Wl zx}F{nqiJmsIlVlZDjJ%_mPIse=6+a%Q_MMS2!?JrdTn>#FW)m)y;_I&4N&bW=ylEM z+BpNWr7ghs`@e`tsF~a>C%?WYKNZT!vDC1pf*M-B(gG5-FNKDLS)^EXFF5JLRQh-U$dsTc|m}aQ7a1%AG40~JKKO>2&7qPXzC5R*Z|u^$DDEL zXjR(gM0gUq%LJ7PVJL-ZXqvLJyoJ4U13M=(vu%1TprG#`^V?#wTB(t_ z>@^pM`R?8mbbABgHJf%h<09uWp_IfnQLx?7-@w#315BUf{G+`kkccneETdLSp|hF@ z&z4szwp71TyV7W`K&|Lp@}GzYi87T4R!A+Go?_b49mv%d^i-s!@*Jo@s}fdxvBkue zb}0J^R5C4T(I>|gnO5+Q<8dV0-ntg$D$4Pc-uSExDdue68mDNx!cI^ub!Z_c?4!E+6j-mC%Tl*(7>_vF%?rNUIGm6!P>4|R@tUa~EykYd@w%x&(mlX)%h#(w z|pln7pwRu%T|0L64QB9k!ea(km7 zqyacQ7>Z2V8~CA#9j0;_?~t|Cs39Ey#n<}0SE8zj1*_mo@4sl#tIC=`-Q^1*oh`); zUcUlxh`x(}<&RQGSAFwxM{6hhsX{!{1)I12BQH|F%VKMOM1xU>!v0`J@5w*|aaTdi z6+Kr{sb1FzoN}Vt^HgJjLoFs@FedNMgd4elpXG+g@9QcKd?R7iTyC(3m810|AmcLK ze*)rRPk(CZS`Ow%Te`#C5$AP@a9RZ|pGNgYXXvYU=l!1rDL)~d+|axR3Y4K>QDHLJ z^k6Lepu^hXpEaKIWgBhS(qHflQ3khyccvuRU|=RE7v~<$^SFg_^e`@R_6JQ#f&*r4 zpeV#P)eGlSZ{oaexgEsIcD;z!fdQPq47_Coep92IZT(I{*$^|=m*5Sw+qFg$-@a^; zR-E9uVExH?$P0&cjry4)ny~Eh?&yTjDGFm}f^p--k$Cao$~dk=+?#)Qo!2&xDXyczOylny;CKFCg?uA4iX(q01F3&)#}ZfG~WQ z`ccu(TM}7L-#|-%kq@ppF4+=K?TJF?!X>DVM0)J7I#lBA1P+ltijQUuVyTtA5lC=c~DIf_u5=;9tE#DGu z8wjnwB&Gj;(lR|cfA&0`L(>JS;>8ot_N6>@4ypf15J*+~S3iihIP4nIgVcU%C~;WW z$4d6eUPckxl#a(G|5V}4zc2d;!nLgkKOA)UP#bjd%Z5Ex?du0mr%WlvqwK zCMdlm0&@Bn@w%w@KOl(B*vcPlFdNfhHi#S!>&ZmWO_LE;gl~>i_!Hz^&9y_1BE7is zs?ZXtllcrOdxqFTg-<}dT6(zmL(2-f!A)BmN9ry@G0$+YjO>A%#A|V!_D2~bO?yMo znT>$%`oN~lqOh~X;~#cUxy>xmd_KD=o0>D#T)02PIbGC?cfdx@6$VV^$33`Cjy{En z0+fqG5tL)-l%hQ$og&0Irb+U%@DG(7+^mAdQcLIOjE}@p`s02K`?@0J+O1;dws+=* zmTO+9w*$O!umLOevkbE(h#HI`vU&m_IeP0-v`N2!t8h^bt@|fFzSa$WLyjy>VN?Mx zGZ()gLv9{hF>v#fUwB*d<<}Lqv7yJKGmBTv`^e7dxzj%u#9R+O)t-o9{_~KF8|iaI z%m&0%BL9519X!%s?!sL`pD9_l&vmg}&7WB~4HDp<_tB*VeTwu|1cfca{g3#L5R~Qd zCLDcCVSaS^kjw3ADo&qf8uik5GlC-d6v*nM=07ujZNO_p74o!;zq$4ALntZR%dSUf zW`n)-2FV>aTat?Y_rp#GSWo}9W3*Am#MM4m{Ol>|SF!-^E29F(jcVGNjXa|+vC}>aSKrBv5^nHE$svbY}QI>lndRse= zk+;Y2ViR#6;{McE2oCUYaLCAT*6ft?(zFSj*ftYBNK;8qEegX{?qi^WFA>JT{O%l42 zIq>Xtp%cM;WHQ#!v)sqYNo5AMaF`5$l1i^!&aI^jevk_8*oq^=LT8)rk-GeYRs zefpK3#B|>DkH#0W*g9fmH=`IW2@l_+kOtmz=H0?cWQ997!r&1xrc92>ypPRn4rBZH zEF~u1ZecLqpl=e45m9JRa?x_e-p;*kK3T6(Wb*yS}MstE`|{wG+V%(KJOlA`!f_xfN2X@rHgr5+?Snv-|xb<%WuBfCLPjyVpM`{PZcXJ|q;pN}TuEar)D@=C`A&w42NG z=O0f-38cXjjff)C@^ePI-o*jtbXLvg^OM%U!~_b=5`u^)f*q-xeHbJfdaD{6$v}p_ zxB@Jv(LG{I6X?UhY*=n4@qsig=6ugd{d|HE=u)T}qcQ5peNBf01?0%dZfqcO_YoF) zSQ^%k=m~w(iRNC z7z!T)jSMz?l0y))?}#6~FFbOiITCeyuzR*YVvs_9e-XWmH54CeX~WUIXBW+@qp7(o zkGTzJ9#AQeAJ%e^@V^%+x80otwUFW4h77p>MaTL*#1mOW$um4^y^+Ss z{4o}8Kz#0Gf%j($BsYaa6ZLBB%`xymkLO68e@e(S z3f{zP|2-pTgl7LVrezq1UYC~n8$#1={ltW;8{@4)uNXGKIF(K{N<&3Cs;4+|h{zgC zjCEPA_CZ2+J=^LYgvdx>pdaE2QVa-7!89zRmS>JJv@{jllJ@!4 zmfR9{-qONYw{_T;SGt04O`}eEsg|LAly)(5B$<;jv(Tfi88kM{5dG&LDYzE(sxWMp zd=MGLon#9TZgPuBPr6DW$n6T zz4JrUmm5r(slvAw8s6887}I?gQA-gh8tg87=alQIpQ@C%+^Fb0NdRZsrbwO_Vr#|-CG z%+rs1bX8>Vkc7e5KQ0!>+)OY`@$1hJ(a|*8Dl}GB-`G+52rg6;z7o`haZOND-*$OF zx>7nID;ML1+yg-NB~*R^2}UStD48D8*a$E+E#1v=p@LXh z#5{r5qU&Oavk^9J^bUIEDLaJVRAmLd>dWIq=qMpZsi z#Sd)$3&UQu;^kq6ms;!dAgZ${B%^|GwQ_)OC(o;FP$1SIuWPs1jrHTUS~Oam#=|HL?w$Wpc6MJ4tCxsvhlPJzc}zX??Xc+|9A z4IAA+$9a$RsOA_b7YMd5Bs`c-Xr0V+tC?^HNN2Xm25Irx#Besv?RWdRj{QiSvMLDd zf{LLQ`?pdAIQM$;X7ZD&_mfmg~g#%MG9o3sd=ZpuSdtHt+Jt5 z-HLu4sEzHZx|}5PC5k~d-{WBvV8V7E+}NE@Ny(My#x@LRe;?s!V_nBxLZX$TA5gRG5@Zs35IWJ;IyxgySlLaTtn zUjtp)Zo6g0^7#Z&g|%o%Eds$P{a$%YvR(if`T)K=#0V&29uL*O8MrD z3Dqg9N+5<+qeWWlk)TEFAoQXs<8YxltRUcCA=qX&nl>{f-{4j;d%|}xN)#Af;;=_%%`aSg6Dru8LdXy*Qx|OCrRo;2# z#X7aAw5hwC;re;Cxj6KO8O&c}+zw(C**@yOnad@oC1W*$(#h4LzMf#*+&;jc4b8h| z$rDik8}vzZRJ$jO!=|N@Ng|@aWw-<6ZrXCN{NPq-HyIf z6BbS*)IIoBtA!Zl6WF_0(e%36rAY5vZtrKmbUID-TycW`fhjLlOVXk%PmvvB#zvJ6 zvF|FG@-@apk?lr#lL!Bir9>Z>q)$>dN6V4~aLA7Ki2ML}!IeiU&)X26c;R4SsR}ZE$3?I&g+RNWQw{06hIsPEX+xu^U2kx zZl8^tCQGK4spfc&V{BO}xfMo3N_dQA5!)Kyee>O5W@K7mIVa>^7g9?W|N64MU0@Zk zkNX93XoE5e2ELFfT*xervp3IZ;`Ate@3({uz_Af>PZL729Hd8A*Kii@k$UOo-tG9_ z+V5xuc77Ua_S*DP{Ax|QOx^*~^kR8|*}XV*>ItZP>l(LR za90fLPE%Y=v%vu`waOw?n5W0PZ+QaNe5naOlv+TT9Jn{&*^u8|}QtJNn7l>Gr?+6Y-HqsVi2KvVYm#Yj6%^-r^);6ib~d*aYg);$mgckoK19d2JId$e8s?- zCvdN4AH$c**o3eHkpWHa8PaydLsNn@EYa1N#~d#FvaJq< zx+<-^nJ*;>LUrzLF=2rE7W|jhY_3NCoQMt45?e>4rfM_dZL=Ztjwb3-GBLLkx+GR^ zuNARrOI&DGi0wi^AZ?27<)INCdaYsO3Ww8ReX zn;YUShj_nzOn%EgZOcD#G1&p_GfdS69PLV_i!f+qM+|9c6z5>bO2|9E6L4*zrPy<2 z&IM7&yg|?+z5$L;kS}07Ut*iJ`-}2+BiN8RDfFxL`+(6>bLF030kp_F7m<>Wn(+Nl zAw*GkV;IW5JwFF_fzCZnc64%MSaK;VoK(NJ{|N3@OMq{jnzo01Ex5a8TB&P$xJ_h| zxtCPu1v{So-&o~8CrV|NxMe%AwH^+SEq%$Lq2KN+`22gq%kqHd%A}oRh!z51BC9tc zA7l=1m&PvPnj3;3=bn8U5#DFU@ji?w-s)*EI^z5cV|Q#G0VM+Cm2%CQ7Uucyw-vt=o-@0K9kT;oNrsb|lqxdCYFL?1>ukQAsAI}Gt(O9GJJ9I_BaYy7 zh(=(KML_dK;oEm5LQZL3H<9J%uN&HLR&Rw90b=deWNCxhw=wwlS+9Zw!+BJC_b^(} z*Dv2#>${Q7+j==&$Son>YgD)K9WfbH&YMkg4N9^?21H)Jg=^W#aaGXO*EDimSK2`t zqPiHpeqBW|8h}}R=d(LD?TJ5xCg}Rkur})zzzxt6i$G%N+-wFf4A~1|9vH?Ebo#nx z{5IbNpCg~8yI8uUPN_^-v183a60qzfgajbh4C)H?ow#*9#I8fS6B(;mbLd6$I*aBf z1b3B_U+vRqU<8xZ+dB=tuJz-uli(aLB|j;EEeHh%*3jAEZQfH9#JzDpjX8s=jXC3j zasd9UaS!qq8u;+3JaF-E*TOXdBmD+4CeLa0144Ls;Z@vwC~OVNm*4Kx9l_!{>pGN0 z4iA0lljOp4Y*ALSoI2gi?fC4}f`28U+fx_pv9_0~th6+J+9$ljYvfm#i}1s2y#3xsdZHQ z*IQ`Ea*e4k&Tt3Aelz;i0dWx%0R|S&m1y+Od$z;wp6*EWcimo%YbpwX!91SqIa#ai z)s3|o&F`4{8y+V=nZUN@ikErt@$=-gHSF5BK%oLVezPnBpyJAkFu53-HS7fn4wt1$ z^u4>xkmW>4!`V7!0p0t*uMVr84hpsb2}}|hWKjz>y4<*9IBUw(Y*)FJK!^DmhGvd} zE+j3d%^gx47FF^Uq2elms!8LLCj01YvifLeiy@fN=_|?0`HeODfdkOSkuhrEJ}$|X zzCe#mJBN*%!RGibLNUG|t~J|R#HN+H6vXf6(Hg&VKTAH2fRqyez4g%W&8&S8xg*9O zRzI<}{TH}4uXWnwlmiwQ;9H0DEk?$6L2O_}CR@N5?$6=~L3QRKdvTc}Re@4|vfM*N z2)uE1yD_P-Nn+?8WKH3yMnmlql$}9&eBok)kZw+mhu=gfWA|fYJXnOLMZroq3B>99 zasim~I^ug^$1z;TTU3Dh{eG>C4C(w{y7SfGaM7xO(^mF^zt`3;pt`jk+UpeOO&cy# z(C=bboLXY5qnLOOJj~4rG5w&jO45_2pqz9YlmRi#ao4L-VqLfYI_ zZOxTnB6ur^bxrV|5-Z0U<-FS+br zzg4ykY*u8Gr&9;#3>R(9HIUvirkoMM5H*zV$Pq4`Noks_&T+5!oy9%t zs)z(NZTvmXp|52pbHR@chhKo%>Ni>xIGQ~k7t^+*+PClE&$mrA;1jmzOqva!;^Upy zR9d|2C(8moEB0-fOgL_7!@gp)?&prps|>YT)zgN|utYabgSWN~|C^8s!x$F)e=oRRwnKw+{|{Kf=$`5m zw(uW7Lf?G>1|$b7>;FY7@O;|UB=L~Acv+-vT;1HiaB}ngk5UIa566GO@>)T9Dui-4 zfm=puPLKpib*~m!WMY5xse@TXxij(uot-6m*twgg?QgH11it<%yJ$%gfKTH05O{hy zU2>sP7Z}M(SLCzg#r(-$35l7{VV0>$A~BijtVl4BsyziNOB+#Tr@(Sc$EU+TX2Q*s z0_>0>^E5(yCiR2xinDlvec%owB=N07?8&hC!TFK-7fj@eiwor03r*6E$%FJjjPN9x z?mEdZLXDOma7ipmC7eX#W5&=62XMlJYf}<)5ljWTg1ut9%;; z^UQfeerYimg0lYc3In!c!6|V&Y>@XA@Fi4{M{E!@SabcUQmPZVLqbe!ECjKKW*;`~ zE2-c+NYoA?CRu?7`{%TUDj}$#svp8?CKS`s7sVi%A0q)KOi$1G%S`$pJetpuAR>Vx z+E?!YJsOgyu6CK%Z zSBJkFu1*q7v?WX^Hn9?`rUO2XQjQjmUmZOhl^h)$4IBd;n+1~&q8U}peaI&%}!m zXrA58G8$yTL>W#ar@W=ty|iR~)+8)LDJ`>cC(T!c&9Y3;|S1Ylp?ZF*y?yW2+NGy9x3R=Xm4N6%0d z16z)W-RgXfzuWR${OJ2pO9PuBsZXsaOv+Rh)w*}mz`Qwq*6tO1V-0aUzn?R32(x#>MQm}R z062)3D%ylqw9s?4r+K=VdlTVn$VXC3$}=bsYFaqJvoOG7IMLHAj%_n1rzxBpN=Ec6 zNVXu9NzP@7;|!3ms**{NKlo)!h)9+pPCUJ^@(UoNy=BPW#ofVut>@lFrM(ML}nNq z6cRyUmL@1MI}^tXWEl*Uu&I%sl15AYoJGxLOR^&fEx$8j;-IbOu$Z&MPCBqE4)4rG z8od+FCOL1NDIzN7U&n&*e3xQYrO#Av)Yi>4{PO1Ka%MhIf)T=uA=ZCygY0Rl>K z;|3&V=g!#pp#euaqI|KlJNZHWZA8UkF_dW04EgC%_-qXk^ezg6&wTnzEl>rL*t8F+ z5b&pb80OCL=zM7nFgD3V1A@>L+thbo9RA26Kw!`{J1-DZy`YJZ(_DTVFDd`R2aSL= zlax#Zi$VZT$q9pqk{njLB1acO2_$czNr6*zy|Ot=)I!y%L#cMtH$k}Zikowe!v#-O zmMmKgB_zIp6U{^MIzp7puM``IebJ2a*0^U7lk71Ou}Qy<$oa)9VU-lfQb^brL=ajA z@BD?bKj{q2APk>{3CtE9UXiM!kW?{*@S9{0FMB+1XZ$Wjraqp3g$%3Z=G|e z+*jhD>=g%w*;x};M;`kP?8RQteBNjQ>)WoqVjs${OqlEeiN45`*%0OOI3!xx6sifT zzImEo;L!EMH!5btD#4H3c@S9jN!s)w44|P|tNl?1NofW&kuFoga-e%yUg;@vH<_KR zR6T@(Ky-d#6V1>(Bwt0>KC2Zi9giS69m738x;g5#iBL-`&IUDO(LK6Gd>uAW8QS{>;T}S8IbJw(fsn_D42=<_iy{(qFx`a&g>C{cVAAU zsoo1Br1I})8@m_wIU_GRsC7(*q*QS27Yy za}{kx6%tiHo>Z3`g`)2$u!MNXD71$eH2I4sL&qOFEPK3#N%Uv4!q=TDI=&ZiXDc2( zXl%Z*`5(*%KE~76Oy5w%92L7Lp(_5}07tLAd8POPU(@+xy^QI}sviDzb8>epW%2|~ zPp#!py*~mHj}3@-B0ixRAHLr(hdRw(7?H4aFFx3v9=M52RIuAOE263?9FAt1H(j%y z$7lLoQ!v~%SEMx;q6ydHTtHrY zU&dv!Ln+_ep%A6|QP5gw8VEz*0pd0pCO>Iu*kv@KVg*cci*d7%b&|9Y26-SxM8GmH z(c0#VwC7Fz3Q9G+jVj>Yg|z&E8bQC0qqD`uQl>X_4h3I4he4`0P0N)ioMH(=rkKmZ zpsAwp*Mlqzv$s{98wMRYmMT3{iUU)Hys zCGz``C7{ThkTG9ffmLzNiK_(XVNyfE3r^2@Jn>bb+H` z6PvJU_rq#0?bTn2qDlMbV?{*r1MN-trJmT(S^&e>i0@Sa@f&dkX}&PHUgBs%JpTU_ zY*dbE^mWlwdGN&({^3P%hc$)gH-KOwg)OdOZUS5|`EL`?6LS)2j#z|+>}m#-r%1Wp z!yasTGe_k_v?{p0L#DUc^yftMZjE#|1@Q*CZM7zM=E{izWo4X>E3OKQUnGt;$}?D0 z#>`6gPRw6ADs)+520f)3-9AXT)F0~}AB%Y@sK zhlj(&gooS0!qSApl+Vo4#FWp%oR5#4jhCB8Sn&UEM8+QsaFWlUnmyw$1~?VK_g^$x zuB8=iWi_Ian=R&~WF7*#B2E>85=A-Lh$sy8g|I1hbFD)%jVun!Dx^}RtfSwq(?;7r z!&`OMd3m%p?}XN-t%T0_UVE-K{qi0#(N8Wt(b$F%g)X`#1f~k{W59WlAk(6h!nlek zi`9;v1d)f0DM0(O)3e_y@76VWuX|sJ;=p;KB2B-*(A`We z^%-x}dMp?t4X7dwI>+_PQhhMJY|w7DI#Pq=R1+@Ejsb&IN&YkH^s>a{mW`R~2IYHV+nt#=2bnss z+f7IuM*(7QaIYPo+{il@%(iW@o>0VVa>Jk19r$;RFw17ph6CZ=m^m(xmm_OBLE#-Z zJiE$*5wXrJ`ThJgqvV3&&?hp>(#aBFNN*1G$_-267+ZZV|Xp**M%eIKQ&fpEJ`t zGt<4YncrT-vm<}H=+QR2 zX7^anFGF`Sw%}8cTxXwWcG0P1B|`NbI3}v!S16nLkPmD<6%-$LV#$N0WAi=9wVxg4 vM{V2EtMc*NR3iTeRxH}v^#7eMZtf&@B$fp4ge#ww;M>+qU(KZJQI@wylZni6*wb=bZO{ao)AQyY60n)74eG zYwxaVY=*e3f~e;O2iODz;9Ojt&5Z2eJU6bgX5yBZkjJk1#Pkcy`B=Y_)VYZUq_>26 zh!JPfoDV>*f&REFGWX8kawswy3)U_60(>U#r?)`q=7+5*_?H9+6kc&|eXZBqJ|o}T z?sZe&_0!BIQl&8FDDL{DLhM5w6FaX>XpuSaaR(9r4MGkIysRZXN< zwIFxJ!Y!sdtu1Jd{MEtD_L#kTW1&gZ9woT_<70w>Wpuj;NaNRUV&Lr5 zrwzs6X;ZXpNyxH+Ljn)o;T5v>u>2)?jZ^a)Ys{G3 z&4W1Z6aq2`!_euH1{QAE^Pe%67^IJwupTC+l7izrfL=DmE^2mBFY?Q?4I%+&E7uB! zK3TkeVN9CyGJ=X9!sjhBdHOvoC?2nWM89kX%_pS7%47}IiZ!Q zWf(0)_6IW5`+FTk zEAR_HhsDzd7Zl3I*Fvbd$z*S5nR^q_p0K~}mZC;YGMy`1awgx)LY}_V;~XA7AuFSB z$UUOt*u-T^^wJV{Mx(`}LnublJ4sG&xiZ49%=cK!3 zyeFV|lDiXcajd@X8>YpqYnwyu8CWD4S|-Fbb7F)cp=K#l%ACm0K~pb_8WwWOq0?+S zqrS7cguVZz8c_lu!GZzZU%4Y#huN}@7~MwS%$<69Dfd#v378B8Em<;Us)m*=kBgpA zdFCN=U!T)!yD|Jn#PU)e0%Cqh(DXh^s`W^hhm?FZRG$R#jLAw0xb2|s%DV7W)M@6p z;QN|;13@KRAckb!_LwnNV#Hy`2#D8K*@Jb3A>b;qpd-LcK7TGov(Pcww6GOxyZzHN z4$>^IcMVQdtGqQZP<;t*AN@jQh+YT5LB zWt=qQ{cWI587E9+-yu|ln=ba|ZIKB*;<)B>R?krc)jgptw_#vkZlD*%+0#B%@%GKe z_1U8mqZ{=#0;`zlynnSm7&;J5{@1?EsAVL~Y$$mDz$A#lW|NAaC-GrpU{7m#HRn0K z+to*d+t?pGoqPY^v`=~8R=o+zPRID3=uIh;fqcN?wptWvz4b1i3b=Z8Ud-(%Vx@m( zc{NmTL;lUK;Okfl=yM5U148gGRaMk>2#t5g!)kZA9;v@CAYfH=4*gi*+H-$-&*oR&X%koGr}pp<}F#rtCSZLin51N1aKx z!n6RBZ`x^XL2^E2mIEdA^R}p`xI0~$VTEI4>6AIRylpvQF;xRQNCPOPJDmqb@L6L^ z(&7aZnIGb0g~ydd4#9yUHiy*Vj_A!lb~Uo(up$gvfT5Y-#Wg*=Gf72gAAZyUFipjSKAr(x3jd#;3borEm)Cc zg_V8<&h?i4TV|D=y~Hi4U&zfbr36QcT3;B?grc}5t<9Y{iM9r~thBKV{ITHC9F~Ch zPReXgsgXzOWJrMQouM=X=Vp@3Jo~7*Siz)id|5ijPso3gb;9)zd)PI8pO)FIM9{SI zMWCAj5@xZz!r7U6g-tTx8etTs7zg4zYDssmCm{({CUW)=r23;&5$d0&gzRJXeITPh zifQBWHzJv8g1d)i^&Q*#_6>G+xy*rUHl?8b+QrCKvPq(Hcs3lRs^D7FntFBbhP(qb zXnKH#nx*Jkg#uLDYF`F%a|21`f?xkfEDe7j)I4&iEv4!JH{4)juFPtFrN9EzR#Npw z`uXoL%!Yrw6+t3k{cQa?N6V;DgRDMxVmE7b>*)o(lM0-G7z~#*m z`2n+}a@=OHCTj7@o&Qy0IiD261?=O@B)jO&F+RRIa?Hj1*0{^2t~7z|dS6z7cI@gR zMGe$wIp>y6YHDb?V>0saY^0y;-wXPi`mW}^#qIqXd3jC2iO=D!QSLhKP;F&l4-Yv4 z#dLuI*H5_l-B>xZ^VdWLT?Jqnu|h{B3*x1oH1-7dpHPhOO+76sJ}&+|;}M*`!Q`FM zGY)Bd=QXZ|w}`|7t{_)q4)-jhga0V=j)aO#j6Y)Ga27Th`NQK zE)s^esg^8oYl+{F2{u4BCg-8N_j-^Wb6aYBK9-cQJ3Eoj)Kv$)mDjF`k`V zIV{whqdi`9jQDQiX7C<})I8(81BHv8>8|WabBz;gCavYjcx^I4Po{bHzA>t1RE2SE9N@#-Qa{uA2s~3TfCqaiH>0CH7d(;0f z-TiOmU~CP?l`aeqN}f#0fC9+a;4vfjK5I-9Ch!!G#Xt=bfY}jo20IXkZ`7)6lqTrD zJ@Y2H<2zht7%OLC)>W@|pC+^2fIwIZg2571_fl0~+wD(oYzqS&AiVcC+YgZXwrI?7T}qf)hHrK?G|)XEW# z;^{|mBg0D9E2oykDO)UoI>2L}f)(V6+&A8<*hi< zo6E^j;Rm@++r_S0F3*8{$a!LH3*bz*?j+2fE{P zqx`95#hC4(CXA@XbG?`1&V4uD$+4LwC)3WsPCjkSbT&$sT<^%A>!32-b@@o$e}sv4 zX*%(-dOUj~?XqQs#$_FvTrUQTU#R7`jfD%{nRZC^Zv(t#bL%S7U#tZ!4dToE%TG~B z;w~LkvVWFaXs|ZP=cOeE3VBs$sNBd3uT}Nv6(k%YlS7~VVMOX1j%7p|6ho-NUONg# zx(u9R9r*tLIC}D}B{{&%!S(+#KC`$kI51%ZF`qsX!TLivisVetbrHn@`3!kFSF9Sk zkMGfHq#I$F=My)W?Fd)`SuHA^A0>;9kE5gacV$!J_iiM@Ov$2GvY2GJZscLVQ#aZT zK%5~CaP~kY;WQt$br(FCDR(1E1e>ptONi5_(Kz7$Q~>?A!O7V33!f7$TthwFGROQr z3F=qxW3ue3Xxa6Hm_;;hTGHiojGbrK$M){f)j>RV$%zu^|2O$116aBK_X%cnW#UOY ze)OJdydX8JUqjE|7zNq}9HAT93nN~+`ydG;zJD{KP%9Uy9y9nfE@30Yv{sRwi~0Ln z%L6&nQmep8$|dzkku!JCcbmYA&gVz(>-$C95@TOz@*~Z$sr;@zrAn8lhxddQq{o~4 zC$L(zvR~TL^q9P{TfS)kEN|%l&E)@n-`rIIJ~@`;%Zj9%Q6yKD8XwEB4qKcVP@S?b zKvDzf!y$YX<;zk7I3HcC2=5V_cs5n@$7p9*@(pyKm{RQM4Zl!UR926T{?ax_G%qTi zX?gfJyt>hGV%i_1Y0{ub&p#h*cx4GYBpmAppC~e1 znAVCuLkV8qM|lV4cxk6CR%ff{cuhOrIF@=(u+oF>Hdc~3Dno?)5b#-IZ;g8}fayqR z8pQTl^!5Jj_7cCtg$UtEE(5NCmC3$C>jtq!yV5JUYLl|Xc6KN)5hHC&rG?X8*$805UMY84WrR0X` z;2)|frVp|3BrCN8fB5xOU&Gi6&|h&j3umQ`YI4B!KJPkQ@$dT>mV)xD@T zhk*bWHHM6xsX3V4YYbXHQrw@08~^*Ch{y`fQ6P-3>B|0wyJF!#X-QO!b4SnS$9iK7 z%hQd7n^g?d(s}>jfPG#epzR~4I;A`&H3}z!pOh92RA`Yu!x9(qrjN~iDx%iA-tOj+ z4mDRyrO)R#59|4Xvn4ZmR#IOG*B^wkZlKTRj=`p}C_Ko*)gXcTx|Ya}>f zj@LDq1QqzX0WM4}R|9xW4LMqf92DCRx;A{p@hj39l;Hwuhpcz8HG2(~*aRqSUb?rZ zMiNCVfRwoS%ITMi_7Zfg59t+WOZr->>+UK3rL@$@a#5s`BbzHEEm^X(xlk(>F*q|E z9@MLVg70p2d+QJ_aNsG|FTRu+_yZ(Zhi7pR1{sHI%(VdjPPyi6%!$78A*BSZZ*!5k zkVGc5yc4qWZcFdi=|>WaFol1l(`OPLa2_lI9q!PnWtt5hfb_m;gdi1l>{f4RfmN8h zcCeczebK!afHE8s${P=UiBuX;I21Vac;LZWHQJpWf>(0~gfXry2FuBOA@7=~s;RAR zd!$M>%;^}dP^#r%WI?vy!p^Xu-CWa2#X6xRH77F=IEgKNKKBc#a+1Cc^m7hoaLzyb zuo$E;h(~?IsY0Z>y^s`+)2I&_uji89@4~X~Y(v2WPdG$Q4a^y91Tw?NkX$@HV{K3< zSO1M6WKDGe#6l+%r!Ie4rgYy}YlRlx&7+N92svVSVnVnrq6GHc&<&rqbMT}t4Y#~< z*XF`NNDx%ys0ztAyV`|LR+PtNnM-)q!{|60UHIM|oa@mV{HVs?lBJO2p@xdlVy@v6J=1S4yE*K{5*F znEqX(aX~nqCf=88Yr;5k9p^x1pFJL5=AHcAHth7`~C@A16c19;I zvR*>mT2;R0xGv#=TJPEU<>&~Wv>9vAVMdd*%gEsx?C4@a95t!2p zTn^#&gwXdhqUF32d(nqLsh^SsEWTtf*bavhT9Gzzjqb}1up(r@2D^wF32rN`~3X{}m7^WVmfFzPD%- zr=qeJdU=^g5uFyO6Q6677(1zYf=LArB&XLex~ap0D`Ze?7VvBOZhLptkVCX*)rb|( z66dT1H*oR^xUtR_8ED@^!FDsT{$ZL`~yf_LtEWJM-S*-=iNv za+;&D#@XOnIZ0!Bf`(Lr9AZX4NN6i2Fvs=BEVCmnAAdubG0BE8nRGRnbioDybEefL zJ-<8$JZu$68TGwW{Fm$p3*E?`;2EDuZEKMF1BFx3#8Se{ijU!;DQgd1k*Z-FxUSpA z7CxqxFM4Bs9>W+){FN%wTvYkpN- zIpm%;AM5ekmWC$84rd(CdsVGS*VX9DTqvY+&5vL7!I005a;LX^5jLU)44|D#VQxW? zK4EV&V4M3>BxSh*S6U$!|J^h=c#zhp@xDD|@MW~0L{s%Iyg7>Gl7l~YT=Qk%bNEUS z()>1}Tx{}Gd9mO^>53t|xcew1Bfn=~M=hiMcxmLG0GBd8_2_~&`6Qk*`;lX5ahhpD zhWsY$|D)7yaH^}(r@F8isCCxTLw3lmtiJ`y%LTQdI(%olg8uF39;W5Vcu$KG4KJXD z@E=@gCvkN6B%QjLb-9jh9MAI7X?|uFZG*~4l(@VV=}J`Qbg!q7rlnm*zaM9ZC-SB8 zH(+>HBiQ~?E8CoD_{oy{$x>P+-UUm$#INnn%jF=)IEuU!TDVl#-!efF_)&Of`Qxa2jXAXSvr5+z~c^v>j_Ol5KcYkJ9^-#9>t7Rk znWF!}B;2qKyU9BWi|{|$_gB@6B;_|(CbSFwc{`^}$ zkn%?T#^uigKO}T`?4?EsEcR3-O{9VHjomh^!Y?LfJ(N*&%TPEx(d99nuNd{5xwDJ1 zK7qc+b@@buNBYn^Dx}b2!dYPx|Y-4gf@#!{X;92nN%59GSke|%i zf0ULzMs{p2QMboA*<(H{(c*E#RNxectT*Y@>b6v1+4u9aj*i^1lOTDdOK;^Y$BpZx zc}}Ie-($71KFtm`l5vs@8hbG{9^HpgBbAV6<&Gx-QnzE`X`K*|HOg8J_WW9toM>l} z#3-w_48N8OHMiV+2TqfRo85v>`z1zsh}$5bg_pa=D|bd7QNv{FqLl)RpgJg7(Cg#- zB3Nz*6`1>+@DSVRmI&I)+uh#QbhGzxP$Qw^vD&(DY6};LM zSDg!i+Cv%*%Ejq~K;Y52>mU=Z1{l-2$lpsls73Hl<_RSt5 z18Ba>lLN}2Tsi{l9*8-7Xk=^^mI~M|UCy_G*qw>K`io=fNgk7EQ_Sc5M`pbobdo7p zhnz8spq`Gs5dLa>tSry?*2nF;QB82-zxhW!u?Yrk-o4=JM^94D@3HUv?zkRxQk?-f ziHsc-75w`9KCog{f0u$AhA?c}I~Nms_~;*=^b`+uYX>t{Ge1SeU8+}n$F112@~h;4 z?8v>IdU(CfK^tD9Q};UB+kwrVn(xoep3flEGj;i>BE`(t-msqWg;N%}T> zLkypy@cI{EBt*|K(lHc5LD|)kiQcc9_JA&A3r*7U+W-Y;0tG1h3 zLIM)(d?&)Pc)>Pp&l&9eQ=%EMYjX8UR6R6o!U=bIgD1shO?k^Du+ ziD;kWvl}~Ee%|K`5F3itU64ycm8V^bm3#{P9j6D2*rP<`99Hrp)z<{@&fxWFu!3*z zd@3G~3%@Z2t*fGTXa5D_;^_2+tGEd?(UeyGY;*rOHTZ%KAX5}hHWEeyWBH#CC3a@+ z|5p^~(VU4p#cgDnT=~Izo>L*iY0SsmfJM-DCOQvg+r*e}H7=n;5n>#hig~^9)5^(D}yaH$z30}4^sywEENz(pEoOn`Du00w=KiR4$CB2s9Set zusfN1J-shBuXeAlwle-ElNA|YY7c=yJRp;g?X@(|dWcjUI&EesN>>j-6hzrV&*@VW z(D4Q$qNAU7I^eiDOC=z%geg=4o$yDjKx$hB8_%vFO78Fi@V##wv-74z8Gk*~Q4O@o>lv zho@%z-TVt=H{uRcC~nPH47y>@s)}IW2kMX2fko8a{^3FnjvA(?TL@WJ>vu zd`o;4S})bKC&-Sd-rJU2g#jLCDE{zOcL^FN{~UIN9duiWN@A>BT}>ot3JmZ8H*a@^ zC8#W*mMYs!x%Zvr0Wb)U(A2&&^h&n;>CKjv!EwNA*!J(q#^95><`Smo7gGgPsKd&K zGmTbbYsv&cBe~wOjr5&bRYsEV63hn*hOl;)=kYuLXs9U*$60PxIZl{_bRt+?CfDI@ zF@Y0#=8ZV!GT|>73@M^grS5gMRwt8c5t>~9!*4ZkiuYOiYP9}agm10nLSJM_^xPSP z9*gl1;hWhxC!E9nq7tt(* z^J?D)<87$fs-F31TaNUnTgKJTvJ@!vlY55;cO1Bo4aT&53~0z=U!@ zu>J7>`_~;C+$FDzWJBUpo*4QUhgl3+m+~&Lf5_}YEbe@B%ZhPUr3F2`3Jh3Xu))hsvX$2LfjG&9nW9*%9CUsHU z^Qb~N9sE@gugWwrXxYkxlTs{@^rQV@U*JGQT+1~Hh9c~R!5YBbpPDIPGF6l3#mZDF`<;trKsJpzxWoW<;$w z^2YP#aeYx0({onX7#tKHrnjtg?f3iKoZyQ_EP2iZ%6dG`u0=5{e2c+eKHMzDko9@# zwhEd#hGD{waUqjvrpMk+b;AXfZ9kSq>Dl=qrA&WIo-=m|oE-ZY0oVsHOQCt>Si#gX z(L*?Aob@;^$^lbb?;^56em_&pm$uR~`dYsZl^Yxdo_KWMkGV1utef^I>KD7moo_)N z7^(chsgLJTw#=z{R*#M) zAi^5ZPR;8v63c26N-Y!Crm)X3C&{~!%f6?LX;Hz#=;4It<{r353L{La}j1zy4ScE2tV&u*kE&PpNI9TSiggRC$62?{N# z>y<{nkw?h@MEy!+tf6ib@?I%qj8frUE1ksd9^yr^ok<>dol?mavNpMleXu`9I42+x-FdB~fSg)oW2I1r8>-d1s7~p)F z;wpE7N4fp}C{A6Y117oC@vO;@D77(4OzBY);#!6;)}zT+U*WT<*weVzg3>P6xhLbB z_0o9z?(6Bqt~4E}omy`K-wdNc-qj*q!IdaT;Qv^X1daEyY)GEXQ`$aw!o5INP zW)nYVycXL>PUDoXZw%#0)DY=%6=xQh4n zlpeQ0Pf=WPFW6p`(0dYki-3PX)kfzb{-GQV+&IYzx;Kl~G?j3P+nuZMtSpvFsVv3w z55<_9-e9_yo-ORC;HJ1CT4&{5qgk`r@%2C6{{EYokWo4VQOrf67|q1oOr+tZI!P)` zgqi%9ng4e+QhP>VI^#D6`>6g8plMYl)AF~~-oiZ9%a3qcx!Ph%w{sTnQ6B-O0;a}c z0HgxAmwUDKYSZo0m$SeiNukqE-DSjLpX`(9cGy9Qd3E&C>eXemsH=LDd%b&oK2}&R z>-2RJ?5W9P7u@9#WZco$|2k70QVfmQWdbG&GdTx+bdt64t;M6KioTd zYgZgHevG#r11XG?77nWScjz4J0spq)0CKfNQT;nsp_4K`UR%EEg zaE)Z*{@xamT0%1Y1V2Z})_p?c_ zduFghC`rD7k;CiMgyQJ%C>H=9M|6Y|ViQ83>h)y^5;z=-!2mVVsKEdq@oIGEP2pzx2 zU-$QqtiK^9VZr@psHZ(Qb{BIpPje#pzad9|)yoAjW_TO7!Y#!aj|M84jQJ2UllHL_o?jK_X6!zSXOXo=)V{*7%3q6LjvWA3~MYtLsm;ao1&cRw;i z&*@l)C=@XiC(e;dCUs{q2==4b)n^Y}(q?#p*r&saL!Dgq0_FR>zGjk;;yuWyixe#- z1&gpT4XEBFGrZkTw6X!2RsvAGnRThj%>R+ZB7v3v@@+*6$HR&$TPp!tKW715v055^1^C!74iR1E}#}0 zhhLMd?tmyD0>vXtZDq;eGok@!FY8u}yWMprR+G%0mGSCq*JnIk#qxo{CN|l-E~p9Te}VDIrStLa?+fEp`rW^tsu|QP%Wfo8o+&)(E7+1 zJpZ6HEZooK#}d)*acR7V@?Xyr-Mys|xWM0sImRdAfvf;`QbmY{Jxqs0gek4dc5$>2 zD*qinvhmL$+At<)97`AT&V2PIe7$hR88Z)f7gk-QKs%EiOVUx~Vt+An#|*%g;VYsl zt&iXQV%-@+wpJq>pq&!y*@2-rK5&0+2#J;DKHf@!anqMJYrZyr zzb-3e0WX>s ztfiSstWLFY^Q#1SCp_4l=@Ea6{pGiKa1~O6q9v{Aza85Mf4mmcmn1ywbK36Twue%M z>KU=_*Tbu<^mf&bnF`ra8?crX8T@2^&u3uqFaViG+9Zb^pfzQJ(FEmoK~oS--TJcx z|Ek1HV$9t5>rSILdlvibDj$)M?k~>!HqsdL0F9?Sk4IxSKNmy19D2t&D_S>sEJLzy zV_6c;Ly*$MC<$3ax=~L2%RZ=NOj&ORKcf_RuN&)6=-{lVCzQ{!TqwIvXvu=DKTEWp z=zu0IGk52IF*R9M^=eQW{hhsW9al9*)R2_XA+?( zZDyRWO`sH0tQxvE@!X3c$iy1`krwHPZjTL}I<=K8mXyU>Iqxb5HTE_8i+VdEPm;>9 zLm=u}<`5{L^k&E0R?CBa`9v>DkuIOjZ{9#|Mr$q!)J2+$EtP|I9V2Uk| zHb>pL;g(tU%eBwfBL~jHcBO6E9@aCG$Ky|z#jJ?<2!skF0jyPV`k7ppvM(6qAEQi> z=)a&LE$+M8f0I6Ue|8YJPCwJBZo88-XXo5@!#(Dk?qhyRdP{L02;HVMwL3HoQ0Zu{DRfV`y z;Cd60Z-1xD8|T&d_?(5YCi{A;VI$y6t`!RA*{SvP92>L*1Sb96l+Z8?TjdKQnb>u^ zEo8*Vl=af7Nsq3&d$J}?zO?ho_6;Djl>OzUiMOOeFoiJcWXQ`|erD^fw>@WJ{8~S$ z-n{X_;?t%z%hHMK-1ljg4YcSHaWnYQ*;$dM!ufe`9}t#)=n(W*%65+H)Gh>39x3R5 ztK0dp7TQ=m291lqht00S^II=Qb283_Kl zIqmfHgeS*e`a|;O8}Kpk2UEC4M<-abi#t#%{tpV)hlfpFP@VrCQ1Tz0<#v& zRfN5Ef-g?~f_0n@d3*-54En1#l@rNWZf=azM|Q8PXMXJE2i&d!mc5E-1mn9s=dehX zSNby{68E>A5|kPnz{Fnrbeyuz1o%f++*U~0%j*Vv=8fl5eT3OQOwTr!{UWb~$;nAUgIr86-%gBpjbk;`=OH`9#`;Z+b*o!;_`rNKHl5ge#BP^wSTG8j72NY6JlaopyQ9d@@}1t(rBI={uWYUhp{KJ( zTK6*D{kP|cDY}(_4V#a~jKJ0mXRdYoeJhgFwaO0T*}?^(_5pi_{_7`2>966WJ;poTz{%CQ%Vf1N z_O4O!cE=X-u41>QUpc%J{PE1+%Jgj%Il?#(a9FwZMs?bmb|Aj-JxcR1@fPF2VrSTO zAI9SiM|UZ)ujq)=)|sW{?-D>R5INUJF)zB*M=>b^aEteJ;H=_<@*M%cRf!BHjIEwg zSVr(GeU#b*Dx~{~r@5~)FDh*>}IoCf(yC|gPRat4=%?t%Aj8H@q9xTu~0~WA_ zVPY4H?Sai_)3}Eg8wVf1k+>3l{%gx0H^O-nNYO+~=wV_BHc@3%WfOa?!^CH7`xtfl zWv>~4ph76Z)I*5Ie3+T};FM+YpL@U1f%S90yH|L9^YdpL=geJN($9Jg@i)r$x$sIP zq+7y(J&SJYmFpb)F&(20+iz3|Mlym5kYV#YZ^`6U2tgCVa3;KHnf2a#$jOs7KL_QZ z)-eu|mPG32(aa4B>r)#CTt>R@FTrn}Ba?BUJB^m{pzn!nM*o#Up_3@LXJ@;ny zO<#eA8hbF0K8KI;T89n|{2XyGLH$@SvLkNwD-+ZWhbp9(AY`Uu0tfuxl9W6i=FJuk z9dgXtSDqMVI(R&ZH!!Fynit6d{-fIW)$?)9(t0(fb}4+2Tye4kj_x(t=*?v{$SDbc zw`%6lIl*1=vXy~O@OgP(b4#o6%^!ZsE~6CIfAo^9)|P=6L5Ct@sPqS(rz?1gALVO5 zPj|hWaU(sDHVQG2usJD5oGpJKs*LA`m-{U?iV{wT2PC|Z-ZU(s$+EsZz zgf;@@4%MMm(}(VtMJWD!DXh32p!fA21QL7;UF><#F!7p87Mc!pTGIPt#q3Bs?)xu9 zPh8`5c)t-V>FKoA7p(J+R}ORUT}uUsAC?&2xRF+rxCC+8@rV5Q3X>B;oDYqGCH0u4 z6MIWaOgA2~s$@`n>QNV2dCu2ei*a~)uUI?%UA5gURZdRj4I65H|KJga!Md@!^Bt|z zs;T7kbOZU-<)T^6*Gf#J=rA~87iBLl zFRVV7g>)HH$sWn^DugDHm#RO2!~&hnTd(*RB`w6-d_d5^;T%6(P@a>QW6EL*8l;nn z*RtkBM{5nmvR94KNRPAfk(K(kQ-#0KoO^~r5Qz4q#9l2EFxNHQ8IyK6;-&fE{R7Oi(q?;N>#6DXKxV;Lo=V&Flk`<@CNNn(Zp5 z<_yFI5Pd`=aAxErtSsg54|Ho=gL?VAF#K#RdL1lo+jC>H(*7;kkkz+*(IrNex_KQ? zd|`%O6g&E%Tkme@DE$DF<3X`>wNNb#e~vE7UT=Eo?PHHVJluEPDhu-{dFF9gWA%HA z5ir6mEm3ZPs^o1IC(QxYn+8CS{e9U@ZkM0bH?DBhh z<2=gTqt?>>Fv@(>j?fhsblZ6;FwUpIr=jMec75$F=--xo&C@sN_Th|NGII(VDEt2{ zSq50ynEzjaPH$1qCYT8wYR?A{W8f6OEmq@2E?kC-bHi)du2tdZDI7(9Ec*7(;(Ra$ z4W*orl206e4U`y>bP|^ZDfvJ2s1u4!?3K1?Y;9Uj94ubqVsGhUp6L z?NxR0nR;Y!yQPYDR<`yh)8l)4O;5Lmv@UyYzPe2*IBSPy{la+@1zqy^WDTpt$+MnT>~@B zzY%WjN0vJ8mW5i?XzGn>E?Zo7PRVN$KGSmw2I2ATPA)y+F0$cLgdpW9NqiO=fKF9L)RXW4adtIM z$BJ&si(HfHwHEMLB14;oBOp;uVRIUGP~fC0qoMO-uFufBNp$}Ue6%qK;(zSN@_+0H zuragzFMmy*hzb@$4!af*BecK{(z%o;f{BEOplCAXo?fubL@}ntcNyP|e=;~?3L0E( z`Oq^<&9+^tv4`6C&#dK}Cps6`2(#bbP9d9hwQ4?uF0!5sobaD&{fp1Jj`1n6kmLyT z-m^{Z?0CG_(l--Ma{${dS-Ei?jACN!y7BROqW#@+Nb#FOSL&;|nl(R(w>~poIWodM zwKTRf^~;(RR1&Qo#JY2mg88|(-oK>j&xAeYe{Q-8{8M+w*nTS_Q~3+eP3z!m+%P#t z=`Q(y42;OTdhB3C;Q_FA`s{4Q)03x>QNb9(3lZDO+N_Bn1C5fU2(8>y;Xlwx%3_32 z^H6^qnrLgnt-HV;&{dZSRoBLDvW?rsE+$n1UU=DI;GnmlRAZ9}TcV z3+u56^NR|Sx;i4%hjdX02?;U|5(&|lp`xNtMHkW|u?WeNa#dt5>`gdS zG#G~~S17!XqFcVzK);~o)#sB~Dv-Ol-HN-jpXRD{55FXlW!<#&uGQLoR7vss2Dw(> zY4{(U`9Bro$<2l+fI;*D6Z**RJM|sc6w4Z!ToF;wH{2js*Wc+OffbI<&<6SjftRbc z8E&q6$WVi%Y@gYytK4djY(14{<2&Bw5$pD?jdwcsyzXQK9_1JpO&cOsrN(JD zCwDuG9ttfP1TxEpnvm~(JuxF4D!-q$(T&PnUfW;}ojP#i%B(1`5?2!GB&jc{6GjQF za3`vTSm&XDX3-od;$U*(VErJD#IO-bonfJQhUfWWp9u*TFOG5-e-K_*p&c$vnpuOArX?A}cd< zE2YZaS|JNp(jX*oClUBexnT(CUb&yDwlnZfy}RCoG=gD}C7 z!f^Hm5*2NNYn$fJBwJ>?`VJF#k@Z~Er% zPd@pGLT)z`>?Yv~egvB4K+&Ww^lS}^5wuKf8OECmH*vXg>5bm9&d!{!(OnZG{Gvl# z?3*YG}+0x1y5L)*E$tg|oc?mg@?L?4WsYLGt;{$y+{wsfsW z4JXdV-kMUKm*Qq@IV`93oLY1>e$(loe*Lri&cm7`?7FU{k3~2Es{Sd@AqjT;DJn&a z``YqBCBApp+o}U^(Q!E+Hr|Kb2jUa!f_tLZ8~?>Uu=#CnX4#s|8oQ6fJ(sjUeuiqZ z1jBT*x$ToVS9NC9`e`N7&t!IsF$q*?9vvooo1O#S==&SDs-J1@JPb{@p2(J&^5|i4 zMaaJknCT0t=izXHB`9r($-+Q%<8$ngjC05op``*WOW!+;VWl;G&<0+#cVcrgr~jt^ zWF6zvhNlPUBPvxCjyojxv9BnL1uAE^6@arC*u2VgLCBn(e|3EtX|Gh_6 zcGmv|=}8JU|3Ui5wSN?UY04gu90U^?89U!hPLaOD!J|!FJ0*_v`n2pPgQ%zYay5;2 zG8313(xuxB-qfdNfXPy>|aQgoha!%2iMctaNq@t>% zl8SBHw(V4G+t!Zle6ej+Y#WuNV%xUU^`Fx{MxVav+l_g#*I0YaIp61<_@(2b>-8K> z81>{DUifo?v~0hCqLk+g>0gDKGqr=Hw0E+MQXT~{13fs@lFppyyvaVIZllsl+APL{ zQ_e_eW`8AVkmkEv&;|Z04LNXj<1XTs+ahE3z#I8$Bfw{l@SWwE4xoS#&4n>`rjDDb zVuciYgt`&LR)ARvP|ZaF1w5n+L4*9K8xar)E#)ZF7t(nO#(xHO!*m8+p%XF(b;IC! zBlm;63xw$jJH(4k3!!bvxMO{FGY>aF1xkOvo}ABCFm@YKAGP}ZPN|myfL-DGvH!=_ zlPK_SKZI-jgAzGe|HnFj6e9~5P=Yt#Q9UwEFf3Wfv?zqEsA0I<#~Z%BTC$$Q7=h;a z?lx-#53p_S+;YeP8o9S0uH$7CpVNFS_b>tZT9&jfqyO(>MyF)&*kQGZm!;T?`?o1EArhG%X0qqgZ+0EDOyc0!JA`7&G@*A_iKj? zYrWQS0=5i^u=&-FN1Gdj>js<9`u8U9*L|&1ZZ}l<%RxqO&W+*gzYhztL@_r!*5ryh z%nc803(@zD?JMTUf8^=d_TTp6UCx1P>u8fh>08BDQk{!~I}TMQ1Qm$cToOQ#2COJ7 z{{)te_24PlY3$bAeKsM1{1z)`{PQVuo3BMp-1830!^;Vg5{WWl}#+=1At!`s(0Z zreMJ--9?0GzdZ)EZF6NxL)ihWcW~c4G1um%nMuyldb^)%g`$FNl}+=z;cPAM%p_Do zGeS;C%KK%7U69&?GeXuAwj%riC>N|JGX=8cb?zdWZzPHnVPfe^-?A|qQ=XwJ|G+OkY@g~B@>Bt$P&>k z5P@~eeg?SU%UhJTGYnFGo4=?+xrLJ>O_c=}_&tqD6VppWl5{r@(v`E3->jdEaUDor zH5@2FXT6_w>1s>Dv`Mu~$Gwh0*lbE31`t9wAA%PLw9MH#NfX}nXuZH@O3rZXV$DsZ zRxy)l8-sdw9p=RZT}=v4l%T$B#JKs-d;l6f)bh;J8upi!1QJ3|j`8o)bC}4^X?E{4 zCvxg(srjCr^j~z!KZe%oMCXOKips3e6GW>aT|*oiWLS?#dr>G!o>9s|rQW>%vpay3*r>TIOaDNxQH|mdlHX@!HbBCXT(vsp+Ltp%`q3#t)e0xH(?)MY!etg zaMC}w8u6)f%bxo7ojc%ZP1uM@awI$EwgJ2mYUbSK{h_&Y+M>kBH8H zXHaOcjx1bwelc5Pl_>rfg9eheI8=J?*S-&AdMWVH;i>JMG+h2w8usFgpii3&rV_bK zOJ$8VRyVB#j@ec=U5xN@I&QK@+8WW*=jA4I{z&R?K({-vdaldgv^vCM!0?d=+`cO< zT^n@6CzT#S?7kO}A~M<~KkqKgxERSrr%v(^zHL->xjYbx-IjCCj$d7ls~TH5p%n-x zxAQ-D+R!_b{tfSuRz{}_YWrPww17ss+?P3;0r{R7vD^kI#md}Y@_gHJCtEplnBdd)|X6bSM@;&aB%< z8DP{%gQ{a9n~F(w*rL!3P#;Gb&`dS_Nfm)=4i8C~kOwrjE*p9XCGgvUh#IFIQ;A|X;iVfWLCILZ+iP`S3DKfBN*og=r zw!{g4*#COV4`hs=ND%;+2>TN&@q2@4;!)y%!Z86H|094U}YFmTTj5Ffws*@-Ycv;-KbhpOtH$l;4HRkyRj$h0iFC z{m9$y)ncP8V5fW+dQS?!&U3gPt8F0sjIqEnLO+ZAdKf*KADp+GJW z650iQ+s>1^Orm}R!4?!CfuxDpLc|6`sdThKV^7lxChkH)6Ey72K+pig;!z7jv#hav z$7-@##?HFTV=ImJ!S3Pjy?#htKI#r_WF;g}M*c2{Fz;J0qSlViXXan_PsKeG`RJ03 zVlu@aQzf8aqrg=0QWD`VL=rhRQ!hI#hhSy5cUGo8OV>AQ?|)+;`ZZ*D&W&m-7d zO5PtfN8g3W6+7n`b%=&?MeU~DWXE29=OK)LRCY&QHOdEVCFlgqfsy{Mw ziaCG~lOI>QzF-C@GJuOQGVUOUrSxmj#a;zHTjeM00-Q(1b!ts2qIy(9gl|2_{?(P$ zD_R;hz1ov>7aATpkcWo|euvi-+^9E^KepLKAWMlgYT}r^nr`Fdn=kk`=Eeh9`&4y1 zTt0s^5_F-EsP%}>-KE~63;y=rl=IPCfCm-t)*6yG-8dK@PE>w6v(|7mpN~UF)I;Uc z0Yg5nz`gACV?4u08RJDbFsSIphc}g+G-$N0B`mp6 ze$X5sa=7G(>OGKn!PFgZIt9j>E7Og2bw6frx;n6yzq+aAbn3~Q0#-<5CTLI z?cS9_Ag(|3WzPp^wu~15JiHM?D0y&B-SHn2fbs|=lls@hFd)O@tT4rBwCPv;Dd(lj z-&r5^Gl~sp@ny5k68HP7s*k~q>Ke=DUq2@$?je5FP@+%}OzY6_H6kAsaVv7ue!h zjnJaF&GOb)2bNGF<7RDzuUxO$9WJNNYNvegL!J_`Lp})&at1%T6BfMb1fmp$p8VSo z*i3gq4ZGhYmg+dCQoj!=P0c9Zllpckhz3>(uDC*4M0GIWW`CvCuP|eQdoC}`%l%>z z*#hU{DiuLg%35@-FD*;Xj1o9eus(s%KJ)~jnOED zT(+YRm*tf!wm$v5NnOYY}sU3nWxGW*%|F{?G1QpxQTMpndc z%kkTr$jFw92j-%zGar`o_vevsT0``d9Ox6whtVFg_gN8t1-*8dRWGkR9)X4SAh2S7 zpDzn!ixNvng4&5R{;LGc$gAf;k^~+^GDw>Rk5;hxiOy|NHaH(9Tf$}Ex#}P?D$Ipf zV@o5?TOwJic;EvCIK`L*>@_UkXLV_Nqy%vu%CE`Op3dP5#~?M4`EY}4$93WjNNd2M z#kn9wgGuZ$>*6`%&!RA8Q-FmV!A^}uK*jI5>o(`ko}A0p_a^my@pByf@Q|KDXVMVY zwO`JiSQi?(78``?neBEAf&bT=u_>%dVBgCfCRehOqX$MA54hs^aHvF_z=!68XAW^$ z5xVAuFg@C!pbE*$4)5II@X*n;5(ts{r!_N1Gqx)SS{>9a_1eWO0wF%wnn+JaSDBNN z5m9fAxbfP_roOXC!9WdpY0v3GuoZMYJw4Y1BmOXsdL5jssnORsz7zx+rRMWrpo2?F zngfjS)TfKY6(}?uPdgpt9e5L!8)#~)o3T5z747pF97tvwvTCZvx_>K`-5;;KcRG`A zf#bwyiuLlg#CZ1%bb6W3c;Xd)RlTW=OIm{0sy@Hya>x8-&!DmZr_=z7qYv~Y{}C6T zL(qriL)3(f)@S>YL%o_s_DYW+yXSnRFvRmre4gVTY*#xkF}k6EMdId3hhHsuvt_?- zb)*#;xpB4b&O9?J*TW>F!=$wLV~WD>hrL+HkHQhAJ`bhLslOYkb zILwGHYB{P5K(<-H37eD5pW#~FfwhF5R6r!gN=~cy!tozOg>)V1yDGFNh=kT3+_=VbP5u zR92TN;df6gEU0X$w2-}o^;VO!t{q;|XP$;I^>Tc;fjhWe;ki+!lPPgB_$J@uS1je4 zT)ejvHxTdN+naYaKj32Xc&p1(R)FS_VR`cB7$Enk(@l~99bwuvnB5&aB@Og`tY=Gy zS|uKK^?r1>lHi`T@jn?@wifd@u2JcIs!ti;A9Odr0M2Va@=a2EJ>WzcBBohHMg_MY z;QkB%PC0&?eZ&`>y{`{dDzP@PYk?t2__Z6$KFZKcI1vcNd0nuXivNd5860lFkM6QL}I62V?&vQG?f_JJ0nt= z?|zHO#pp2K>fM2Y+pmjUhc>6nmT4fo1HMoPN{$%$hmT!Rfem49$HWnexOODhs!JhR z3maEL-fIrG@%O=JS2Pup+4C08l(PH5??c}KQnd(^6KbJuxa%9EeT90uu$nwmR`)wH zs9g2g$|=M?jo^J2rkQP;H8rJMT-L0a5cMVSEW@kTx;2cyBdFVztLn_@8~;I%`+?XFHOI}-b6KiWuAUv z+uhh!e?*AcPtQccU1jGW-Wz8H?Kn8reucIjiU{)qtv^F|oD>!Tu_th4Sh ze3cvZpIQ6V)0fIm@w zY%$4PnpWkvy*3G|agkmUkaBpafs*VKS+1T+EG;V|DJ9#G8a0Wok0!6;o+TQbB-CrB z&F-^i-yyLj#aGihz4Fbr)?CH{bIj^j$81fC!GO%J1IEmftrrf*6`^$*2^E__w7T}UKZu-^PoHuQLxditnh!SN;-sX|?L>u)g zxY+tOxrWZ_b9g~v>#0o?n!N4A=gD8nS$wW8JWhV7mV7=7I6-U1qOsR+V)LzJ7WEfw zPHnTBH@0bK4Z3Eza>vUM&y^LK(+@W&iklD!PJK|ZY@aX9KSM8Ghe}~#aiRXB{nd?~ z^zGfFKDp(S{WFa~DDIE%yW+^2BiBEtdRy51DV(Z*a(v~W@HZ+Ckkzq~&HNF`O;$z8YC*HJIYF)PR=0o2SltuMt* zOvGL#tE)~1rOk`bJn%ievz0ay8I=-6X<0iwn9Kt&`wETQe?CRXWh&c zhGF?I_oPfAX&4=z3d*c;;f>8wCF|qt7I$qTgMO$$G`ZoZX8t(3xxt-Aj01W};tY>_ z3G;Wuv?+qaP2(OEtZqn@?>}+D&qR$VO|U9j+K@YO?!2i%W|^9_Z_kw1k^iG(?7Ucy6) zKNBRBBX8>wYLoU$yP`rZuge-b7`h8%NiD0WBr^rz!pJ8FGDNyz8`$Wi(1+VHoYh?t z$*>7+E?l#5)_$b=iydPMhKQTjMrn5m^#_0f(iUqMjw(~CNm!Or9;uM|4fzb+N8crf zqkF|y*#w}np>I`t4jgJRdk?M|Vy{mweNCthD(JGatbhNSEl{>%;Ur1EZh;uzio2s> zB>gK97fVYnI^iMCo=|-_ONVTYplTepcCgm-os#_src~# zKs6C|H2YVr2X;qSX z3^uZhoM>KlSO2#{omRUOdp9+-h1+@hG1CyHxdpUCk5pi2-1wqJ{zS^w%#vh!0$RvI z9n}kYzY`PR@f_%%*n1NZ@k~zOPq<_vhn1gzh-sBTp_m@YbcCV+2c7fpP&9sDza$Glh9}O{ zze(syTkPfFnj_3jQ;enTjUTo$bm$7UQMN>VD7(3YSoZf?&$a!V|bp}Wn#!-6i+EO zJ-y%{B+0&i3WbowcSWBjNCt8E{X{JIM#-3+D#3#Y8Cghl_s>|Ic0zjtB&9hf$>mX} zW1`~nTBUJyOB9Su&5W9gi4S+3XdRC3oNPWHGLk*AqRj_k|oSi~bt{RedX zE6p)lCWSbKRxhVbE;&~fI5rNCsB%nFrOV*cA^SVF{~ITZ4)}<|BxZW^H@fdiJdpy8J~}qw^xBypN_>htHysu8KDqbHV&x#C8Jwx$nLpD`Q<{0tML< z5-QgGR1|?@3{91%AxcIX4`UD87a@w5Dg0SBAV!omLf{ytO%$sDAe{&hcK4ym1-&xi zikzW{hNXk|fw%NL3BYg(GwtD7^13j&JJ{=7<*Jic1A>f1jv~V&QSq^)&k4RqaM#K8 zI30u6muL|km_|A{8X{G+RTnJG93#>RE@)aVj8xSuNf?;k4o9m2(HU;l&A}N-fpWPt zeaFpBUMo6Le_Mxvi?Am+Ur}&r+`hk~QthLvn01qxV+X|b3C?((LwLgVd14XwC=;Pt z#$j#+TaO4;)BV9hZv0WFYVag?f5A3HYc(|i`fXU674B*0SE=jGM}4Yhf&WR^K=x76hLVd}6UvA)e|1=SD&YI(QLxBo`cORd{Svs z->r#**wX+&Up}%|!B#LK)oO~A)RuCkW}cE0cBhpas&lUo=+#2?vxg%gOob)v@oSO1 zx-{gh2}8cl`&#QrFs%jYqa?u@CHgZE{gZzbCRg8I-;#>NX#!Ly%AwHc`ge85`#gf3 zykJy**QW>HD?J75ujAi1)Lonin#-T$SozXRht5TZP+uNhoM*bD32a_ zV_t!JUV+2XNDfCg!2U_uiaamPTj0L^_5j3iCl7_-g7lDxW$7wecY}%|d>;^h=KLH< zP^ACz;gZV8gjWuAw>Ld#Mx4evcS9e)mTQiPxRXUdz%|)R=}$}lsPSrg-;058%IG0* zkXHgAZE$?xmTfMSnc2+H?Ql9xU1(V&aDBuz;ut_Y%%TycFmrs=m|Mw~1`oEObQLkK=B`E70Mw zusEMIL7RB)^mc&kVF^)Y(B=TMLx?~g9Awb0x&)%N_lL`C2|1>Z?BRl@$nYYE>!lL| z?oaUt6}8st{O#oK3BeTpv?jh0G_;kY^)oAgwlS>g+?Cn+!lx_x%vEiEL&OGT-wz~o zf|7`zkrvAIvqv4s=t!?Q%b}%!UW1q0!?2UHE<%|8I(l_!^xLT0#M;;(Cl#)Z$4mIo zp3V1lMjWtpa5tYV*iuL~{--^ItLl~2QXh;z;9&9x0VVD$Wvj0I*~tbxrv2b53}-t{ zTlt4gn~-`Hb|!@8yb#A)&*$1lq5w=j`^{n}Q(0uc5v{Qp&FREV+G%lDeeywS>Y%X2 zUewOs+>fvr7FsiU6ox~rO}iSyw)J$=Mul%au99u>d9>2f^i}7=@?BjIqS(7jlU!>$ z>`!~OyYu&Fm%%42yvP_RcQfprTzb~0uoZGA7&y?IemKbsXI*bIIcM8l)4WPsm)ucwq2qog`!Z1y|Y zH~#V=+&e4)8u*JH)vabmdZMZl5AHk5sA{%4?`a2b4%m+cpOM~K)0!G(zKdcY~R8% zC!hRl)n>kQLw9}881LF_B(QqD1llKQw%JSXHmpPTO5%G)`;~cWAfQIrfm72{e}$$e zf6yb%fra$5G5{hhSXO6Z&y#W^C#GaF%fHxQ)TfmH9}SEA^LAP72rp=GH+>TPnucZ= zf4>?fL}=&72|a?)1^{F$CcUNaCX!HSlgXF#1;KGLoZyWzJHtog^ zW(Ibjgr-mcoc_ZiH$EIELsc>88&0G>#62O7JD0%=MHp@Rm22>HGtO(l(JKDe?e*9q z-0D6yRHd>;D&_(vb}Md$;k+jJlrPHU&Un!H&3&ACh{fxjzCa4DH;=@k*Z76>x~q5< zLvYo;7&WpU3H@wt^Etkcky#fUo9^=3b4Kyy>V;l;JL!jXKZt*q66W*zInI2)UJ$pF zZXz)IRQ|B{kDw2M1TTd05B%DQN6fZI`zA>Xbpv&il@(HSGki`vPyF?r3mivAj`Y|h zGLXsSZ~zLl5HCM$^P)(lqUjKtKDw(nHPOv@j^^9nVATB$Lk$#pLt_a z67w;oaj2Msckz~s@m}Mu1N+URN;c)|uGjexJYZy{D(p|a2%?T*uhd{eFGFje zDrC0Hsp;A|LA$I|t3^|>WJc4#fRrQNtY3<1EM3_yU7yT+2~u&VGkzp=&->(tS-SLs zMQTZHz-5C8hPmtU6a=mC)bo!4`%CqD&I?aGY*kwO6XG!?_CH6V-Cjyyw8&-wROLx-K~Bc9Kc+=!OB zqf8>DyP($G+EA-?!BPa3tzfcE+PYS?K054zIkWJhfgWg0?cH^j{&j4A`+G>9RVL+G zqT)5RWwpvim9VO>NW3)@cmnjKZhW^ z8(>2%Nxx26U8+8Mf~fmXRTE5r_uKz@opXo{J#a^pn~vraF8q_sY$~-iQIeK_oJ((BH#mi;bZ@$DAAfAP9T{Jy_~I1)Y8_N1 z5TVlNG_#^8oeN&2qLM{Jw#8V%BiqF_HtFn)cy|dsMP3Me>n9TQ^B2w{d2jr(Yhj5@ zU1O?$HoZB5`|DRS*W8iwJS?`}l^#1j@7i@5FVDcE19!T3!f0PJC8L(QSTsE9(93Tz zh50tEvM@x!)42q6^-&31kl`?iK(z`DZ+(kQwhS{mrmX!Y;e62%*t;g2&^32=*O29jE31s7%2mtcZ zSj=Q>!6|W6;sxSvIkvcso=`T?aebWI0n@7AOkk?eHLrQ)FnB1F9Xy%G03%(60SQ5_R6^m1I7&P$ z!5;js;Hr?OwBQr_Z-1g;}z;#fRr`93Hh?udeH=-Eefz-4@*0CGUsf=!w@j z?;7Ve3Dpln!0xDb$aA5MTgp6bp_w}H)uLX(2&wvH(ww8hW@wv2TH*C9@DJb9 z+1Gs&kWVg+bcJ_rBVUUN{!ul;$3kd!+m(XLoJTDQ{@mC7z_U?)h7i6>t|YQ*G5tlt zTyB^NLj*&3dzRL^R)^Nn1;dTv)Mm;9o4#|D;g)jz>m{k8C_)5(fHP&>bkeAoeB-jq7d0vTWJ9){^f;!Bp19`uqsn&4Qy zl`vJ;XFiH{oi>|fji1I56{(qI-ru%G-n@d&Z`!78XKkbab?Y26+;5wrO`@jFT%FH% z-4EWnJaugnXweHO)Rm&9vc`5ZbTlpts(JJPqT~!?^KZ%66Va&ihW7c5$+uhM6)-B> z645-ZAYYm>7kcLgt#_s@IJ>FUm zZ``t+l4D!0aQxEui6DNP!*>8!k9nN(aLAexb74tm54RdlG|+nIvfA97s1Y+#h=m3= z;r}%Qm`6I>pP4F1@#HE3*L9Ncird?ZvB5ga-2&-3#M&~Cc7DyqaTOTAdpUt0QR(b3NiXcG*%y zLMK7wS0c`kwP6X0ZyPwQQa98Io(Kb7@H`=hsXP}&_+NZ63v3aBkZCtUVv z#3n{QxC#_k6k8mSDotc07Dn5MiwqkKEVf^w7d_Optij7`hC){u)Fs5mw|4+R0r4jC zHA?^MdWkp}0Y}Og`{+Sq#vl?u45&h)Q)Dg!+F@DpL>y@$$NHs1_#eZdA_q~D`WCFE zEV`kyY8ghdHO47}O;R!irk!C{lDkMz{CinV@T8U=kBDHzud$jlTeCv!?=21cls`$+ z>|06LD4Nvc``-t~!*k-vmJxv{CkCSG^qzSqL?c=l2~7=9{dr-0q{f?2xrZ>3hU$nQ zQ6Oqd?O!QZ9G)YV+F2ADju9-h+ImF@Ns~2&L9ktyW}mANtslDkFuAoXQQ$@#LU8FW z10(iWxYk)M$O%3_#a+PUGQQY&Ke(&?gh58$j6yo52(Vj{$1~~LK5+u}o@lU8#@%JQ z!*={b)9lqpf{Ydg+eDZ(ynfCRBVmj=_d7YK+5YTtI95TFvcWTqaoCq{3eUurx*MZn z8!8#q)bxW{vQOR{fh4Oelwl1-F5xj6iT67T@CI5t?fRIkKN1-o?GNK8G=i8c^m6C(!$C1Hl=ov~*x zJBuuzI4n4Al8voyG4Cq|kZIVYW|$*(E0||rz-B2B_8fm9HRB!6Q-9|gOQIJe#rns~XDH)+h z9HWWEQ745|621Uyd%9dqoub~xsxXI~NmV!T8hG?=_L2^(G*WZKCUJjdw$rI@V>+-V_A8rmT8TR)}Hcf9I#w)G|N#?gx3YNWJY^>}! zp66`UE=&4dxv=zXJF)Uz@g}=%`e*O&f4v4vTZB6X-s1xe^|!}ISg1BHo;|^Xz2Y62 z<0nQhGIiQX^wKI`^-c?@g%$3g95)r`c}j(MG8F+2$M@g3I=)j@4bhqRHzYTF*W> zTkq_epN4?_xtFKwh=Q44Z5l;t7{V$ME)n&jb+iT2-VrbVX7lxFS~3Beo_;L-misKW{oL-f5`fLC4uDm*(S3jA_Wv3Y1 zzG7Ewvd13V;mpT!#bzwLSLW1=4>(kCd!wDZ%K7P=Clu{GGaU-l^3@FVq#*J+@l!9k1OR{|LX=upK;ljr~&ia$<3geKQvPHDECt zt5z(ZeFW=~sq!`~{!Bcc;bpXBHtEQT!%i7`SzpKKvhz5XH(BP?^!c(Mis0wWgDIa4 zV!gIi#KBiZK@QehFt1WW9qcH6bP%H}!Xb5qix6Up_`Eq+OANUnl+~6_cbPf8CZ$Um za7avWkA9IYLsC=W)G50M;AG(S{{t_BbF!vXqJd!uF|Zk$GH@^$nliH(F)*Ad;qWa&?=sAoVjs6@W^4c*TKjtrLf( zlnC4vBLrswac3d3vv9hjh|XH}2f6`)V%>sm%eEb(9KcwMHPhSGx zt%-1qnt}5gydU|7>vR~x3@H5!IK&J{(J9wcv)m%}f&a*X23<0=T?Ra421QBx3fS|#k6d&h-{=9nd4fx>ajFNw z*8(c+8M6ml-M`grTdqZ@)&4x(cC74`ZNZPcB4FDwur0#3AD0jzUW(T z`66wPa53oP{sn!9(7MN_1y}l-BzqXG!!PoRNOw?5JK&dk$iBLN^A%~+woON%+chHJ zfR{Ty{+6=!@bD7^cP%oIv+d;FE8p~@j^34L=rZDFtTDJH@ft+vM`1wy>JzTo?hI9~5Wj#SbBf)lSbU_HL;^Jrm-oT^^Kgb`z&4 zrF@G|&uRwHDxA{ev7O-=Hp-X08UOqs`uy?+*IbkG9SaN>mVt?l{W~eCsJz(s{{;t^ B5x)Qc