From 5624f8a703bea22b9fd10039ede52ce3838cbd0f Mon Sep 17 00:00:00 2001 From: surtur Date: Fri, 20 Nov 2020 00:41:14 +0100 Subject: [PATCH] feat: add NAND circuit image + formatting --- ZM_11.tex | 36 +++++++++++++++++++++++++++++------- img/NANDcircuit.png | Bin 0 -> 50128 bytes 2 files changed, 29 insertions(+), 7 deletions(-) create mode 100644 img/NANDcircuit.png diff --git a/ZM_11.tex b/ZM_11.tex index 9dc03eb..877506e 100644 --- a/ZM_11.tex +++ b/ZM_11.tex @@ -61,6 +61,7 @@ komparátorů jsou měřena voltmetry $U_{k1}$, $U_{k2}$ a $U_{k3}$. \centering \includegraphics[width=0.78\textwidth]{comp_circuit} \caption{Schéma zapojení kvantovacích komparátorů} +\label{compcircuit} \end{figure} V obvodovém simulátoru ověřte výstupního napětí komparátorů při čtyřech různých @@ -135,6 +136,8 @@ $k_1$, $k_2$ a $k_3$ připojené na výstupy komparátorů $U_{k1u}$, $U_{k2u}$ \label{table3} \end{table} +\newpage + \subsection{Minimalizace logické funkce pomocí Karnaughových map} Z pravdivostní tabulky dekodéru sestavte dvě Karnaughovy mapy – pro výstup $y_0$ a $y_1$. Při sestavování mapy zjistíte, že 4 políčka jsou v každé mapě prázdná. Jedná se @@ -144,16 +147,21 @@ funkce tak, že je nahradíme 1 nebo 0 pro dosažení co nejlepší minimalizace Výsledné logické funkce upravte pro jejich realizaci hradly NAND. \subsubsection{Rovnice} +\paragraph{Obvod $Y_0$} \[Y=K_1\bar{K_2}\bar{K_3}+K_1K_2K_3\]\\ -\vspace{-16pt} +\vspace{-20pt} \[Y=\overline{\overline{K_1\bar{K_2}\bar{K_3}+K_1K_2K_3}}\]\\ -\vspace{-16pt} +\vspace{-20pt} \[Y=\overline{\overline{K_1\bar{K_2}\bar{K_3}} \overline{K_1K_2K_3}}\]\\ -\vspace{-16pt} +\vspace{-20pt} -\newpage +\paragraph{Obvod $Y_1$} +\[Y=K_1K_2\]\\ +\vspace{-20pt} +\[Y=\overline{\overline{K_1K_2}}\]\\ +\vspace{-20pt} -\subsubsection{KM} +\subsubsection{Karnaughovy mapy} \begin{figure}[!hbt] \centering \begin{karnaugh-map}[4][2][1][$K_3K_2$][$K_1$] @@ -164,7 +172,7 @@ Výsledné logické funkce upravte pro jejich realizaci hradly NAND. \implicant{7}{7} \end{karnaugh-map} \vspace{-20pt} -\caption{Karnaughova mapa} +\caption{Karnaughova mapa výstupu $Y_0$} \end{figure} \begin{figure}[!hbt] @@ -176,7 +184,21 @@ Výsledné logické funkce upravte pro jejich realizaci hradly NAND. \implicant{5}{7} \end{karnaugh-map} \vspace{-20pt} -\caption{Karnaughova mapa 2} +\caption{Karnaughova mapa výstupu $Y_1$} +\end{figure} + +\newpage +\subsection{Realizace dekodéru pomocí 2-vstupových hradel NAND} +Navržený dekodér realizovaný pomocí 2-vstupových hradel NAND doplňte do výše +uvedeného obvodu na Obr. \ref{compcircuit}. Jeho vstupy budou připojeny na +signály $U_{k1u}$, $U_{k2u}$ a $U_{k3u}$. Na výstupy dekodéru připojte logické +výstupy pro indikaci jejich stavů. Uveďte zde kompletní schéma navrženého převodníku. + +\begin{figure}[!hbt] +\centering +\includegraphics[width=1.0\textwidth]{NANDcircuit} +\caption{Schéma dekodéru z hradel NAND} +\label{NANDcircuit} \end{figure} \newpage diff --git a/img/NANDcircuit.png b/img/NANDcircuit.png new file mode 100644 index 0000000000000000000000000000000000000000..413f0ae408b3a5568110308dc0e5648cd7169431 GIT binary patch literal 50128 zcmeFZc{G*%+c&I9Bt;s{Ln%qhJQHf0WzJlgXUWV)B^nG-<|&y8nc2pul*q8Lv5jS( zXPMvQv|ab_cdzHZ*ZaKpTJQ7M(^}WM6npQ}d49jg@tKbA%ezV_@?+G;h=_>DWo4vQ ziHMG%h=>lBk`TkcXjLeb!v79DRz*n?<@}hT)O!tw-Hg)XQF9f3vC9iB=->foizMfq8-ut;En{mdq z?$8zgv&^d1ciBP=f1Fb7^t~e79j34SlW$k7e!YJ-;PuVNYn$$3^aJ&xW1hKD!UOBS zBHfzDV&5`OG8}}DM*dK;CZZ1$zVvw^DS-SQ@Q0C^GHCxNUdZ?+5&n^g`P9%A!k0cT zr2p@a{!j0~E#t4R&V(}FI`~*2L98#x;PFuHk%^A12ZQ zqEf5?lUkZm*q{2~pX*CwCV##Kwmxk+&88|-VA^Cn(^KR;taBgZv1V)0^8N|kfxVYX zSi|$XB`MV^`TUsdw}1QXzvH#) z?4sX$t&cYayw-ZIzp~gV(C>YBzR6n~d~wuHT7uWrGgsAb%-rRDJgSgkSY4(5@t%tF zOpghQ@S&c;_NPf6mOUOT&h{4Fny*W3P|ZS}q!TjEl$DC|aGL({_OcDx-bd7|k)WP1 zhOnuz7JN(hi^qhg=LlvR-5hC*Qu`Gz%KkHgGs3bX^ZC|0cfu7(Fwq`)>gyL9EWT4p zDy^2PV9`n2!7F3bwj#4M+QbgON`%8mLwD=^Vl5e`%tTvC(?;grD~YN?VXYUF6M6AJ zs69NWnf3_9DbvPCrlTk6 z3q=W+@t1}6_LoU~Nv?J|w^irIwp2x$^{L$I=?jNr#^ODc=+Vn67VYUF`_JHocqeTU z@$vJF30@l+@VI>Ys#$9KD?LnxYM&RoD84*(DOoi|uK3(}mwvajiq#&g;&Z}>j-Gfo z;I-MbdeEvVnm3fkLX}M;^BrAT5r=MZWZYUuU?(klJkfu6saZV2aiZ-9gZI{hUxd5= z<=jwu*hSe>WuEK#GY6h5{kWX)oh4Z0p$9*|_l~DU*Qdmp=T#@gx9;i`n%~-Ax?4{z zRy6aCe^`@|#Fo!h>B@y)v+yWM?a0CKNR)nmdpX#K@ZNvv!;&;tr@Kd55~Wm2Z1tmr zU2^DdmkK#gM@C6{57rzIW?uYy&hW6OqI~xKpx5#d*Sj^x-PZbCQXY@}N=0W`tW03j zB480mL8U|fEZi2b6dW?IbYC(4{Pc+P=^^XwjTO~mYi(>Nui56>oL$d+E-4kOOqx=h z!seZ!asB~Mqt1smJ%t&LbNzj>hxXp&1!rmp%fm}@@4gp*QNPISYH@qbWdM!3L8xIB zuk8QR!&HZxeQAAhgnK4d@NqQMXylI}BRpnD&0GVH0q@<)0y`H^D30@@wJMAx+4u4!Q ze~-fce^{HnzbYB;lI-s^BI%2@`)@@=`4V=WWE7W4Xl~U;gF>R#hU<6>6PsS?rwPJs zV%$MCn|k_PCX2S@m!z^(7iI3#!@_w~aDj?&ITg>~EmX60OTyFBui#XQEH$|4ZOc0d zFF$yz4%wn~tz4#!S1v2ZzdLs3>UUVD_fd8A$odt_`EdKS98{_q^ZD*#o0wQ} zZ-de11WtIA1xZzTkN(_2wunVAov7>LDL`#|igjxZ8w2J$sLd z@a0}@A$&;@^4~qt|6@NYd7V~2@8NT#6RqZ45OMu+0vFK3ISJsofo^A!2gs$Y(z130GcP_URakrP5*f z@4_F|YA?d9)0|sbe7oU@z`}-#sew&Zd~yEUtp)eP~s2dAN437r$jyRJbzk`wTjntBh^! zu#$KXblym|MLDV3KpK9zGKUd`0sa08H^ukq9Ut7SyFM{Z*F7LySPfp%K?gn6nXUi% zJ-tSjChwob3f;=8(O+@GF>lnQ2Hvr$$-##zo~KoNeU`%*8uzH1`}pi~qMqPBtUG+r zDu|ep+^tW_ko<{8V~f@%W;K0Dq%Y2ZU71&ArZYRnZT}|t#6XGKzoY;4B4xYv?z+we zQ^$f2_?5wDCmZsN>XSX!7Z($Dx9Wqw1=+rGoU2^xiMN}$zG{WbDXQ!$bDRim&rqu` zgj;u2)P4EJOqX2f#h2=t>OWR1j5d}hkba6aC^Qe5T5$^%cCqa)u}g3Z62s~8+4f#Z zkqhIRfzObOxUR22L%6aKrs>+&&ADpBs*Oo@{1QVSi3ODK;xS>^n&IR$d|mOo0T;OM zV4P=JE@4&7wH7|2=?rWO{;-huvFC_2!F`&)NXyvtykPQbo~RwGkAk0mb+I~jLX z*)H)PF!AJUxK$AI->>|%9YtDBY|ma&U5@thKS9^n?mZHK%QZAiRg7Up7TgTJvxQ(cNs+N8U zv&x|1rW-?JG1Y^vR4YPgQ;ZIjLChB|u3+3(EY;3r{-hRoFxHxcO3^EGNYyX3f3TD; z&zdaz_Kw47qs2y%6)wEeV=bDGaF3a_z9?kv?rhE>m9*GJwDR~Y_M_cJlZJPyc@J;n z$>^ckJ89f@hu2=9B00-x&>Q3$e$(gzO)acxQe<1}J5PbXs zm$cZ{yc7bJPG433&I_2xWqtUqaxyBIJ{8lxUZNPoXQD&EToQ+0zp!^4ta-w9zlI3^ zx*GP)Jp^ar$tnPO{(vQK&AG!P67chzVo6;L4cA2B`p))d%+&k}&Jab0st;!11n|m> zs~4s1cwc%i@8LhCnerNQYDa>w%dg^!I_){Gd#;;*u%B*rS(Ik__f&gVyR};^K|v3P zyAizu)xFWk@Aw6Uk&jCv+0-31XZF`0$HUYP@8wn$f1GBn#xqz`TphlEY4VeB@?lrQ z3e8(4WG5SN7bLEzDapNUVOT3mMUwH zoU@MZy?srSw1R*;dv}3Zgp~gY*?+JSkBDA{t4io4dD9*`A;%lSm(U?00Di zW1|uRY6flx(138I{~vqK?V6P-oHDe%hd~G|Y)ez-ga`g8aKBtvNeI01(JitJoBF%G zHZamGzWWX^?hoE#y8*FH1;QuRc#xndZ>;q`RxV`m-q~6WkV#dD$`L+E_^vC}(3OK9 zoTfVSO@4-(*F*iD(GCF&J&Rd_(v@#U_#htu-2ZhEs*yKv8#(jx)vJ8MG9fxFT&q$e zea(F+IhB@4IuP86a!k_d9L4PA4gFHzz$=GylLcj`r5s_ zcLL5o*vEww*6-#OA>%EH&w$|R$GeSQ5N2k*(Lo-=su*qj&*uTj_6as_cqhxM z6nlm2?6o&gYohXi^2O8?dTnpy+x7`@BZ>kMkxva^R?m+HmF|mwg2fvEkzcy?^suQl zunN{2=#en3i&w8U?0_JG;RNn^04bCg#5_wsY8Tv@EuRzPb{=Us<2I2JkqneH-@KK1|JNZJfM4g} zN2GH=)Bf&DN_A1n@3^S~zkQ}|Nsi-WyDUd^sf8bEC;mh0v6_#$&R-; zLvQ_ta1JX}ZLnV*l&ew&u|@> zFiSw2qNIeN;O zna#Mt<%N0%{$Ro?DS2k!-ViTZPAla2T|wXA)BPua{AY*KHAg0d!at|qetkA)P?Ozt z3|c!M`{EgWu|x!9iaJksxoYK1@^)JF0T782a>}GziNC;YDw80F9)^cj#KIgbviKr{ zx#JBV?Uz_h25#DpU_+@P_+|Hm6wwdpN<+dG*q)=|Vlp?Em>BOZD^PycdN=u2x}X2v zZowVIK0QL#@Pd+MTE_KfI7dvfLR4E}(J^<>TT;pQUQTh&H%Wp-_T80`;|yYYogcN0 zQs>z9+1HRFgpebo2;D3F9xGU&og)F=tx3f4c7{%sXPLIQdRh;GwS74PoAha6rY4TJ zz}78}@eBPV}KAksrGdadt(;LhJaCpWJWZukdi6t#^%IjgNx zdrGXk+k##oOI<;GceckPtiF)YB6=x4S1$$0Dt{r;5vASO!-=+GOttDp)9&i5#$| zU^-GU_mi_-c~Y?ZFAF*he@gm123s%RteL*RbXMP`&jeNHpR<`Y)o1!MToG9rs3(J; z9*-#jK;iNhK%V^0=R$YJMhgld&%gH2-~xL=RxwpLgpDw8m%XZ<&Im1<%g7QItm+48 z(j_v`FQ2D?y5g`nEbGDNfZm)bVXa};{1`dh6r)A&I(Wc?wX`u-5bGQG_4T<3P+uC} zDvMocDKfPi?sFO79m?*v!d$m5vF)3Vn!jN`C{YGTwy7TI<(-0$M<|XXH3LCSux;c* zm~S`!0k}M^4VTHtbz6F5yuxiM8E)-p#8aBqyE0i<3a=`7YgdN|&z4FdD3glz$ZIyW z)JVfByXB1bM`k)j#HTjoHv`SzbD903m5mcBqFZ2CYf$l4FTEo-Vy=KGsMHL__{X~& znmge$)Y5YBH8OQ{m2-doEKgt^md91FtEdt4=6F$)_H>oh>@~->WLZVwoWg_iy=9M~ zS-^HZwCLo(ee?wFo9f*i{Ax~X=HKBTZ}A59_EiHIZ0`0&+0d@|wF%MmH5ceCf6(Fs zjU8E9CTp{O#V&!G53JH>t>2B3ZLD|#qF!=}1ZER2GR_}y1MsaVBOpSdHVHw>GhMN0jbF-sqYke$XR0o62^xA%gU@3|W zW@cI_8rc;9>Wj~L3z?Jv>@Gg%s&gdYaY7aUT0C3KWB&6|n`UoB76b6ZHxtck6>TYM z_^RDreWK8fT*j<9-UhXWlCmSOMrX*rWi|EpB&uoRweGrGwXtsb$$%HP)fbDfj;2n3>@nf&Pb8_li$GsYYAa(}GZnJW|A-S_Q_Onhh^_#P z-?h5+6U2k(=M3KP_q)~=qA#h|sq_Va= zwp0W&84|o=Gp)Px7jk&;7^kfDoxvRQ)(^Kz!jt>4I!qHvbC0~$PxS|Z{?)2JQii=m zA6pcHz9sIxfi_@2P&A3tDs)iaZGN_$buaSUOZLgiA`td2<{hF)}~-ki>kv%T8=?o%9uyYa>^N#aHq z@Yz(-(eZ)mYPyv;;HRbi16_GWGv>XQ6r^m-%Rk)?=Puz*3lpu7<#RzXiIU8Qok6I;Q!hd zXxk9MX~!pZ=;=$%$SLdS`&nKHb2`ZMyH+Jm6O;x!e_~l7lbff<9e-tNWc3(KgJIG7 zaqWV+Z&E+MZLdH-n6QCv`a77C0Q$6)B z5`|mO0a;yrmhb9E-S{N%QitC1X`=aMK>(gX?J38XeT zSPQij6I4Enkq24RD1ovEloRS1BP`3~(Z)rrvUs-{W4lcsro%cj#VT$VU(y_4!6*O# zFpAG6dKiSze+Uoe#YvP4_(Hm^GkxW_V#yd-8*gXtX3;b-E>}WlG;O*^E=h;pT;+|S z;I-@T-Iu#-sIH<=fn35aQ`g&nB~EdFa~WH_zwk?VPI|Lz`8)tV9;?nqu|tXDKt}k4 zXV#{0%|S1CEZb%Hth*S20~GJ`nbIiud@vh0K*r!>di(gWJNk}Y1N7m-V8vjiIHB%> zd4BzK>cOSZ-#!)E;5DiFZLiVr+wvGev*V4iY>E@sLY$C&(qV5!$q>ZMHPLnuytV?- z5G_Nr29!n{kIxpprH@SOQq~5%2ZCO}hVQm6U2a!X?%t=KU(OC)VGbn@K%l>92sTYw zK2FH#A}WYBPY8kgP&j#GTm+5aX>-}JkGkg|_#XcCv7Q3vGwhlbvs*xOjhpw@jL+R$ z0TyJRB8+vb>)ZRr4|GKBH{?1JpI@OKf6XdFwVaNZPnq6==_t@E5 z4~6!-`EhC+2!0#rGgQ9NhT8)!0aW_|InAd zRz*4)mQqh=HK2~`!14n-62qQiI@2`I3mK788EiVVWy~$4OodM3FNnGq(otIUVTz`^ z@>o80ej#@T1JN1nm8Frz3N)T?>aUQId(9@#R&W_#t}RdMADx%kGm#p&9-QSgKBHle z6Z_borj&j54X$BeRT|;0Pa{CD{WjT>v7{qf3S1L+4@z1SzTq9)TeoHDfn0k2e5WZ* zi`Ea%qui@OwBUAb7G3)eR8`@t#jjYwrhAO8$5I?Cu|Tq;9>*W#NHL0sL^ucUTmWa3po#9Zfn4VP%2>c5O@TLlH7Ff zilEDE?DE`zAwc!B9Mc`IMD=YYa5EL%tm+chz^`PY`R!~ycH2DU)38(9d|q3wRPB2N z#GV_NIte-FEM_Xl90jWOwDwKm{CW}Z0rXmTLE_v@$pBx6?OgS472FOWN!Ivc#d!Bg zHsMq52#4?d9Uz+~B3!=Coh`Ui*mIBn^{aK>5B@odQ!RmYBBCgEk7rTD6Nc!OFe{-7 zF-t}rP%*L1z^1fQZwaow)x0WfBkBV93EPPpE5m%*yCkAnM3K@FobaL*c5aNP6!ch~ zb{ebu48=Pcd^*!WENs!3Jdinm0$5?Ut6T|B28$=)NT_Y>u)UqI+MhmtjCQ$mc80yv zFN+)eM&FLR0ex5Kh~M;6d}ZGt%tPBjUjEQ4a6ECUTu3Ai_Xp5zQ8NkcSifB4{Kl@| z^2wu$(L6VqGQ^Y_oZhBHYSbf2#=6wAezTrVAN7P?@M~qDMI!>p=uZ1xje35&e(T*! zdk-B)5yU*`h*li?o*-TwrDIU;Y=gU(qgOV~ErkQ)fddGB#8r*V?|}N7?t!JN@O&D6 zlN3N$rq|A!e@ez~3p-6-guPglgfk~fnG&>YN%pt>lw3Ylj=e8`C_^RbPFW8CWu9iO zoBU0mXRysu5HI+Eo)PfBuKxz44K?1$i3<9SGSWh%lU!p&?^}`i7&J;>H!)ND&#a7 zS$tUteJ^WxS#U$ouGLA*iRB`%^YlG%@n2iihxx^w<22x5h#-D(V*4K8d=7AjOIUCR zW0<7;d~eUw1T7n2o4l6$@dakVbd~Y_!Ad?K6UN|qMmaMI8tQIfL^vK1?OrjcD7Ee> zlm)=R3ARsO5^_&{?n{ka8D!Bdu?;&)?^<(ML+OV5ejR9Be*9GBZ!O{!{Q>Wp%7&C+ zI&FT3g+0^>gUX?TYWO7lodrz$<5VSCZRUoF3 zyp(j9Z%H{%(qq07RSl~L3Z>KUX`6$ih}4KJQV6rX#%t1W8X>sd@2S!qX5FDP`WBFv-IB)e zCvdhP(%ZAeDhDSvTA7AKNC0p0>?(<$+*rRmn{ZCqyRqe_vfZ5K^7e#PE6U{&+GFp6 z=YW8F4wj9@bKm;82i9sMh&9*xJ#uIC3tZ+53UV?FxH?`|4HFtH7!FDgdRHy|m3Y=^?T_jb{s>5FJ` zx;rFgs?-NQ#okR^>qbf_b(Om^8#y&EMF+2^(=^a)R!2>xbOcE+oqv1XW9aZI;^**K zv_(#N7jHnWlImpe^4*OjErDQCqOO{$-qnPMP$S9M(@M^6xXUC@-(Ekkec z{^~}9_x21$CbBdx2sx&I)GJf9?EGkfs!i~VMK*Dz70(t3l>wyQg$I?{M;-llA}w(_ zHdlAwQB4abTBKt$Z)ZQP)aaU07ZOU07y74)1D>;)>4_=R_s ziF=@uk^1$qi>^dll5{7bPI5bQQ)55^)~5IR`+!Q-@=fkf3iB?VM9Cw#vD=4~*P25v zrzt0dgAMtk^wA%M^f(sO30x_d;Aw8X;Ge8VF7sO6-?JS_uECR$H}G7zjX!2cEoNb# z?5`Gg?ya8!%bfuG=d#di_%sr43SwWzO|(*n`yJYL<++GUA?Bf_6Ld%>l^1PIIn3kx z7?&t@RJ+tZk$t{AOjjdNNHWD;{h1Uw+X_9l9?}(&Q;9g$+zcffT(Gt%C__0C`dK%M zbkuS)4CcTjiXIb^*ZY!eL>*uWuqkW9%?cPW>4TM?Dbb0Fgsv9xg8~}wb;6=Sw8lEq zuf!6MZfx){YAEgh2DD(~=cOhF6QkU}=%LyZncn*8Y^2+s_O!g0{3M+FlDJ-{LHj3L zcyy!G7Aw}E4v1>rv?Lj~U^}3nrGcw#Z>m@pEIEa5;a1N?tyHz75HD{`B-xsder(QM zd!=M!2l%JV7Wfp4!K{E8VS_XR?pK7jMgkiAoNp~skYL; z%!h8;5Znc2z19+~k8E8M6QC;m%U&3U_k z_cuOXE}P{sci^jPwO1U-5!*FodT9iLyD7)5|0wV%4B~Ai-3h!1Tr_o(8{~~uh2a(t zMRDiK2uK_mp>osKk_tvM`#m7A!DZv!YVX#Eae}CnPDjuCTZiyuu^>)qA#M>MiiXZ3kqO zRqOj`s5_u*{lM$s2w@pJ$biYTW#oag$ZsVCQdDQqjy#U3eNy1*IbZhdd+6UUFXsp! zJA2JMfoaiucg>qVfq*`8n2;B;En^a2UZ##-oxs)~PQnNh@^D0hq(fI~l|aQaL1K3V z&Pe2XN8r_`0?&1a30!VM0E2k{K2IXT!8P1-aLzJo+E17Ck_=suguVIP_{$4QQ*zZ5 zs{n+G2Ir4n`7MRZReZ}DD5#pMzy|dG9mr3m-w@=v@6=Jef+90W3>Lza&~?31Mimtm z2guf#|JmyYjE>O2B#tB1%%8zaphpEjtcNC;#jLnE!eu7rd zi3eISPF7K3X!pWDpo$cl-3GbhQJ>qs`b=a8-H-5g|9vt?f(LkY5l2XYS#!@>#7oru zY=g_uFFwNN`cv0rh;&w-rwgnu8Z^S5FDTUuQVm*1l~F9>+w z4X*No+a9)Hq=4rjt(KvB34e-BA5&=ac^hNg6x~t$R2iVS%~XQjJn6GFT~El%H5q{( z)5t>jAPLAd$=eqXgss`~Ba~hy2fDzdjK><}DJS zJ=uADo&gNXF9O)~VZtR?N+!Y0kAm#~Oc*&L&#lMo$PUKUJ>l2Tj*w`ai@0YKcGEGa zt4e8YlR%r14R#m&vk05#L3Y*Kn&26*1CcLg`J4fC4C$#f^biEhYd(#zmijRP6yQie z!FVvrQ^4S-7r!&+I#Yz3F1Woo+BCHw_^UNrmw!`Xt_S!UqEh^U&jX{7>S;zXN%( z)lD=5V^foo0K867~2yf8fz%oHs$(c8osB{Z>~wmh#b@d_u$izy zL?kZ%XmG&Ycxu^b(NL(HdXgZ{Rcv+}yomdfs)ib;zkP)aNmEgf_JTVL#%~1V(2IbC zoiB<^I4;3+#P?^L{EF4?cl|?-UrGS)Q&ntZoCRObo88iG!mwonO=}Ts8The@ja+bt z^D0~R`&ifiLF&3f7T8~NkL|^YUd$fLgVjmm>lZqT)IMP+=iZ?8_q82&#&xS zs2^i(al~fg^NajD z3xuLnxlSzayrcOGEvO)yx!Ysls;&KXw{;xf_(0vcj)&4bys*+co(_pQnWIU_O7m&C zHFD+Y9RbZCj4r^xsH+u_G7yG&0xvWK1T<+F4v=uD@0D%|^Y;#?=c&jgozA(EOVLqB zTJk0+Rh}fq=$7Y@Pk3#?XRTTf_k4O#=Y$&p0cO>D{vMckPPyFY!K!mG^VFtd|;63;+vxko-M0S{gsl$Jyt)?yu7FoiKMX~cnm$^-Akk} z@&L;>pYE^JMO3UFL>>sB;r|8p$Gut=f8s0Dq1O#6x`JLrjpi^}fS5Q<;&T_N|L`aA ziNy-ZG3YkjVXi^2=6`}|0C{?DG2vyj5F#xHH;cr?{U_c&o z8;f%p4icWdVMLvYcztadYL^9_Cf{8kGeeYPD7!y^B`Fv(2*a|>(SAluJ`5$%)Dzw< zAEZF+o(Mjk|<0e+SR!jJhZ%t+ilgV|=Fs*;YB zliIo8W3I9dz&)6#0Z260_kAW1oY4v;nmK?y7n=9O53xs|l85arTMFuQ=nySe8|{bG z`M>!SCqhamM>|FZx1~-UDYm_gO?~PBX>!wRdgjl^;ZB%aHrWd8`G?8EYFYmTJl=9+h>bY(}2$Q zrg~>X9;&c0O1j@`)26_v)YgX^1|ozf=@7?yDg@&JAsmHE76PpnEBo<|7WE*@BNl*i zlfl4YCF!v20reuXMF8k8mtDUIwi#j`Xfg?V*k#DGlsq&9`*NTPt=N(x_wEW4l1)dX zsAV)$7oRaEEKb-Z+NWLAmE+#0_hqIhMVH^uk=m3%0p;kS7j;K;%toh9CrjQzR@&R2 z2$067rKZsRaG+Vd+qYtA1pOrtCncs!JUO@s8}A3`HrF7Q!D|E$_zeUv8W3~FdGjRy zKM}ZMr7|t*=uAku#H^rrZxC+S3o=N*e?j6wskP8b;+>@-#3y#MBa8(VRLC-v2$oeo z#0zjIc9DfF`Z%zFiOPxq1$|0E!<4)Ws;miuShYOO^gBVUl+QJ&On&(FRle)OL+-Pd zJcAvhilw05 zNA+~33ON1>SQp9ATpcFc+5X8+P319BJ^cm=K_t+V+E?xEec{G^AB#=7ber#v?4YY~ zmzOC=^ZW>U(F>cx6a{Vx9v@QELjLaH2&B_)9vxJ+{=Ns-_BsOuO@z;0yLVr*4VG*- z<;`-8m5dHZ62iX?|FQj7x2&Mk`zFmpKn;1eB;*QNM{5I!6ESt=eu*c@72vxBe1m+K zhzORzt!E7?bNDfneANhtp3a zM)oGNe2D>{kk_gVAbCm!8DuI5Ml%2zM8DyI)U@+(G?f1zkYu~~pw?Hlz*O-^2#dcc zl?$X}s%BtOL);;NRHfbvA*{Km3CQU_dy? zG5CU zH~qt9Xb>^kk@XYwq-3DhrrKoQ0&a`R(B40T?;lNf-Nc_lXo1aVJd(2jn?4Lu1$fF` z(8S-^tp9@0?%o8|qddrKKvtQtLPhY^dq`^xU@fXJtK+cqr(eiG{I}`!{l4@G*w#E& zw=h-!^(xXjcDI(AQy;3Yd+4A+WNxfK&ww#V$>E>O0SzZq)WaE1b^6OFb&&*mn=@U9}AQLj&|;Cg6u$-U0JPKy(`5 zwp<0%foG~|qbFX}V;JBrGTBqDa0IuxF+Ws?paY28>bCk2N zf6?2Ot%(E8jyh=YKOnfXWd)v1>fJ=J@JBa+fIm>KQ(-(mjW1Dt=KdIbi2*Rb#j9yC z{}}1pOJwD4x(GdB`8-mDGkA=y_|;lsXXvqN2*j~^$`ib}8S^a#*y1aES|9H{K%vc` z0OhQenEX5|Ozi^w^Yv9AUsE z3{!BS1UfF2MJkIK7NP8 zQ)6=phM30dvv7TmZ53{hv8!jY`PwJXrQp(`L+@wDAoZ0RL@US)xYFfF;#ELQrmym5 zCFZWN4cZBPz2_pnGLp!^vR7$pvH@~FFyH#S0Q@Du}H85pX z5+~;vTwFCOkoppm2Z4Evs62_*iEWHLnlT8;KvfaQr_VTyDN(Goq8OssmJ#E7`g@UL zn4_f|1Y>6QBU}$*Do+v&EBx^1qYUplvvq$WxIfbN4miWtfYxJ%8^V76lYNEYFXLhI z3tV3m&fyr_kyX$Qfe<96=)6Cb!7l~gs1sq=*$?{ItcPnlPEu+if~95NnJH(mWV$2tUK`*u4LrTj(22$G8LS;RpFc~_dOTpgBV zlTciqAe7C^u&o04oB^yZIXhaGm&4qq4D>7{|BK8{JpOmb7~7)BuNTc_@`{eqZMJNz z(N7+#NfFC@DumCk_Kax;Be|ORGZ}hii%w%uUv2;0FNV!7h+nLNI*;$dLE>bz7n+zzPFkjs4qFx~J^OVu42(=bvSun>EiI@JU`NmSie_wO z@>)=k2j*nhY7w>W9Jjuyl9W%+MTb{C}0ylnrdtp>1%6%2rYjs=)x{0?EW z4}mbD2z$IS=`xJQ@zn<+c^cDWl{rr)%{wx~z^|6VxXjt2B>joiAwBR8?n`;6afc84 zyW{6?)Hq!OH5AaOnwH@qr^Eh$L-%?enh$Kl0{UFyjJ?a~Jq{6pa1WVo*w6T50q}@q zLCt8i>M3{0y}%ALe2vk(Kh;|%qQetwwT(2gHhIR8q_wt=#7I*NPUK+!`&;E|moh)Y z1!*+7Lc;zcIE?gJ3Zx2qas@b^Pl#x^j9>J^-bSLjP;k(j0~^NuNNa1hM1G$lMKx6+IzV*lq8PiOX(?4kKee0onI!dZjI^J0l-?skv|5 z?w!EBPRpfSBmWFE|IdP8;w;42>9Z<}o~rZT@BsNF=}0Q!{(!J~@FDzip`3UdG6Y{LLN?k&91ofs%^9IT!m4%&I@ps>n|sGf?B2e>He+YW-x#J(0ANIUb{|{p+4XOLgR1l_CErj8Ap(ZUckV`d=jwNs8@XC_OxIo#%8!8 zRs$XBwY7}zH`6YOZ%!9*IZdkLW|uH8!*aqVmBhu!6`WkQVc=p);{=Uy65g`uM}!eub7cp)C4=h{gUuBqw+-`7ED} zYJEu&eeOM}^|s<1uYNNUWiz$h2pr$O2V)V~P7e$~jno+{*uT6q`ubI#-9cOO^?u|u ztT0^k7Ul=LTE~%OYo^ z1u=FV_7HIAhARCII;d>xhuck@e5HP%XZv&w?cN}gNPeIrI>^F+UJlV-Y85@-F|Ux; zLKRSZ4zx|?BvdfpOj8U$O1ElnuMz2izC3?G-(QWNvF(*siWNO1NwDhYEP0s+$*2Qh zn5=6xXXQWn!l}Z=U=`t4zkKA)w8{{JX#?krTjQ+qNS3M63T<|XRXOH{h0I5P;q3H| zi9t*qy0j%&m!J66`pt>@OnISFLzYVVjjc%BrQ%*Ne}^?qJifeRFGp0BX(=!n! zp!NG+gK$%kRb85W$^m5vv6+D8=sZkKF2?)4?U;yi*jwte8L-o0P@=iJcOn=_j&3ZB ziz1n0*%-cTx)p0!!Ky&h%@aTEY=Q#n_R(PZi&{rI3oY1oVpzprReyhzJtjE6=)osP z8@oVsRviBrd-rk6`&*+oQ( z%^NE@{;Mk|56c-wfMXpCGEMzT(feF+plA=42nGU)2K-LvEK=SRv+XtRAw?-Avl3^2 zKXDi}xj7W9IcV{<7s318-W@smc=a8&%NLy_v3JunUh5q3$ohoKaCDRub%I8YbVbLR zo(^Bvyhs1o*zeb{fW#FACVaz!fLKK~n5@YuSEf=+uEI=3Kwp4g4rmPF;P`a;zM~$t zO3C)ihNB|4=^YuSk^F!c&~i>)Bs+q zForbQA~bb*7|))T`P(`#`;0|2cCsRp$Cw&=8M{Iod3xbh9#%7Otz-vZ?(xa^`PeLsRA*xdtZbl~rOAPK*c;~d$*4vrX*y~yi}aM>$vdCZ{BBd53#u*F znatcKpF)O4b3!zm5e?huOp>2ZeE6xBA|0nbd2;R*!4ik8OchkRdhjGVQJ#E!1zQip ze3(wN4v*Vu#gKyU(E~CP9<`~E`?i?(1@19YEt_#;mY2*LGnL6#izL-^^E`_3cOKMb zD0O&X@yonZV_Pt)MwYeWgj6ENcVOAgUnP$z{Gcqwn!TgOe@xX$XTj&dA?Am0b@Pt; za%rzr_)n?o44r@L=SF?3KmB(*Wei+X>5Sf-SHc8uV>kz%e2#lW!4B7={=ek{dwZz_ z^z|y%ymrK7+IA%&QVeKYH*J&)sbT01Jqpnt7iu0sngR3DR6DH%?}9g9kjZ_VpX@(f zhEE!DbuO}@7k@ZeiQG9>i7WiAF_$9hvD(!-HL*SZu`F}VAWJh_0dMHoP(_@RrvXQJ zbQfB@ojKAEJOB}A@-ZEIsr~a82F~a+5dt+qyIeJku`d`!@AgIPkB*6H;}Yi4 z-5d5-?`6pBb&kVutd3-;QX-CAQKYq{P&q-2^?XN@wvW9d=(5plzi*!GQ~w?U(XZ!%Dy$5_~Jj!nfjcct={zlWTH@*1Q)aVQ3h@m7<6@sI!7j3hZWh0Eoy2RdvFg*~T=5H=<9;Y5OQ$b=!AZt+LKOs(AOkj8Rc zSwYhFXx2RxNi--*5TW32$QeclN5QXo<$N5%=JAwpGRlzC7?^bX3@%uhe!rO zgZ9rVV21luI$QD2hnD3$vqNhLpf(0Sqa?Il-;@Bf>x`yv&< zVeusgfSO%r5mj238G>^K*@J4xboMb@I348%BBk;E>tl#&=1#FztPUt6P_>L{Cu`1n$4auj4?AHU`p_4@2z2PwoG? zVxLb=kjMRrVBrMxY81>$;ts!`Effb7u?{Ewq(FU1ZR1G=%l0RtZy;(Q3keL^`9vU- zF~tNW`{`|foeC@F8LBD9km=61!d>?mjfTD(wE&LW4^Xw)U}(SCOd3)-SCQBv4n#-U`{@jPD{sO zcVjA79z=m@8GGdX93T~6S93~0OS!;f{>CDhR!|k0YUqiF)Y2Vb!A2g5inzdaz}wby z?nqvCYpr^hcSc!!TOCwa>z;VTQY@~R1COz6h=*bYj$c4kZ7s@U4JusoF2dP3g+_8P zETE1IX;eVY$jM=KS{q+(0ENv2PvG~ZlP^KSZAeBgz2lO@M=)8)t+Zo8zM8VVq{E;dlFwy zkvvFzJT^V;An^gJg!vYD_%PoR%BpDDuL&O12PAEPdZr98Tc5$jGuYe9wb+igux!Ai zUjUws=|H{4%UET6$+SKo*2TX&zujS!tG;Ta6#7ZDo9>Zgr$4b&X?(nQ zb7=>;^(aK7hbMe z@wZ-B#oU%)X{dk~!n+OcaQhO>X;=aTO$~0T2m6J5+bZx6j0G2;afcIZ?5l1CD)QyKoJ{Siz-~=|!!i0;51Dw#?n=;nsL`k2!5klH}^2n6` z-l;G!%uGb&d(PW0X#@4xTcMY>+76@>?hN{-59_@N zZwbYN?&U0`$5jv=zEW8fnKk8gTQr7%LX~Q^4(}4L)_aKq!oPLlBtY)DTsZvzk(XUz zheb8+7Qrb5MJ)Zi_iKo7&C>w7@{)Gekn>DL;oPJg+y@lw@g&V0J&S|`c9}4SQ}%7+ z{1wEga0fL$33TFfGfVvt%T5R1xKE6%{|3a8AKM@rFY2KgjGU^Fp1N2%>a%xjJ6WcbUVj1S2>FaJulb%7`&-i}{SyrC3s^Z#ePT-x z15$(MKWttQfx|%-VZ11&+b;;bm1c#4-QTY{!Su<^V`8JQA2JZ6#=c>a(wiF)gaZ_8 znl}buBjtLCx+5_`F&3@~!x2&a2;fdVW{3S@9k_YM!6qnaCOHA+Y3Z*}5p!)sI$&PL z3Te5Kbm8sokwkxbhsx`skSL>B0UM{sjIruzq61GVka*M?4jrDJF=Q4!7%|(>#J^uP zs0hI84@%=0`>N38$YBu9(v5c%k6F zPX>z?taQZUJ(G&zyZ&3rtmpRa+kLB;MC6Dz$k65Yo1X_;|6uz4&reOSZX#0`wHzad zQz0Q6iX7c@)4Mg}H?km{|5`CE-iOmFT=ZQOms=(jKTFr?#6{CDIU&Saj70!ccx5;X z;KB^=4s7i<(B$_bG`)@R+&N%WC(g~${GM|`-z;U14oM_cpI3 z5gc~l(}itN$!6@>K7brO^bKO_)|rD8RfX=3urCP5m8b_FGX}nCIgwDrx21fd}$5K#?dl4Fv*pH;Ek5 zHM8CcGme+wII`l(K|t(+1v}>8wl_74^sE&DBbR}kyA5ZB`K@oDhTCuoOmG=0i>|!0 zfJjBRXFt^?IpYl?+miq~PCMTGWB&-weZjv<05vU2t^tWtP=>(EVvgx%=N!MR!;~rR ziOhZ>&N}LL5WVQ+#%Cq|Ow|oNe@!xol-8X20JNKt3sTEpianck#RoRqkW>IYz-Uh7 zd>IRH8(2`*>|4IIb7?}@wkXwV%Z{tn=>8}6(vWVeg-w+k^9rP0GQ`8M`F~h@>!>RK z?Q3+~s9zLYK@baDQ3+`j6%_=Lk~Zm5N@)=lQNTh$1XLOXq!9!ZJCJ76VbGz{edpSE z;`hGyj(3cEFMpgf4hMHU&+}O^=Uj8;lcHlCg?b|?MAIS=e8t}EvEuM5aZKj^Y$H0F z7hd|FCUnElhbKCZ+T&?nSW?r0^4&~!kKPxfUd`Q=AZ-`0nQ%lir8gP$+J`CxY7*o# zG<095UVkFwG?z4y>wu?-Ucq7I-XpIhV{0F`9TAP!h?&)Ew_L9%II5?~x)&AF;2F)d zh`QG=4&Illf_I>QVYrmomC1oh5jj=Hx2|P3&R=_|d?({1t0;y^pAHqpxGev-MKK<( zc8`9dJbNDmhT!w}nKncGq@@CsIb>|`;`<&N34T|C>yQ6=;_X9v8VAc!1X{eis6|GX z&kb1WPRAJ3fsLcS+w@3t?s|mGx0v}=tW@;M47png?T}FXAW)azgZUpJ60_3@LH$-) zSfB<`N%!yOQ;~icb!_V{h*sSsHmlwiy!URIanYv8V+l{pUIoVOjxO~@YIwvwPgx{N z`Ktkp0AzDz39&_T3y)Rq^i{k2S8ikzMU5hFQ48O`jFopP!Qp-ZXr4T;*80>51FHrf z$)OKlK25cR-_%78We_+!bsEtP-V?v@$8Y;Oelt*Y70>y#n~P?N3a%liq%@bBo1X&z ztwmy%JuV3jEG5Kob#7gVkEF4dW9>zjKI!h*jL64^K0Ffb9)2%Xn4`-Cjqh^L+%i-t zdt+%s^n@;{`Ogad3FninT5>*78ODc|4*d-O850@hJ&7M0viY_K+tFE_yi(q-1!~$* zm^W$Cw9Y$_D(i8e1g;mmAa(1LdQtkcrQ41zp#^!DImWC-b{JUg$W^NEOVE<|k8CN{ zwV$xdVi9H%n}6!0c!0=9RggXi*}$>)@y(#gmFI>Q3m0kgQ^-XxK@VUya+|fp6Y^3Xi%k-X$Q1 zcO2c{#I+qDB}KEx( zzoCy4{w&ixUB}*#i{LqFzv2`Fd}_Xl2Y-Rz;;q`p5ZmF15N7fewmgMTRYg%KinZ!2 z+j06=OT%mki|#@Mtcf}Njez#jVCCW^TzeDFcm9W;TkF&u7lcDgw`lKJ$%@K(b{V=! zW3Oc5BjR@2Kq5d^4SS=g|t5f+!k7#Re&sz2qHYbMQOYm8Hft~~O z)?fMsY8Z#QWc64M&ZMVb*Er+E=y|6WboTlU_BEEDR={RxE9OPL`um@h7wIjZyF#*E z^T8WtkFE$H*|zaDdc!EG4+~y1Up}2t`$TF++n>WjvICZE$M;;2;gd!B{)v7ibzQiz zic4ov@HG?`2F`qT&idIpL*t2Rk22oRggovJEO9>e?NMHD@gX$Tyk;X6d08fCn2aUs zhD4MRn<7QNeFr#l56bpKP_}g(XosigtA$B4iQqk;4t;@kfba8DGJMaVOq|ZOWAMF{ zRQmp2&@jCT!@~n8blNxl4s;ni)jg0cvg_}Uqr;D{fmLIB7gy4Uy*j4*ZR|ND1WE7D zT5vd}@aV?Y$M&{kei6qvy4a0Grz*yKXGqp4&S%HrSBw{Z0{K zPsgGgqxEzkf>)f=iMIl<1<-(G4vm80z%DQf=8^*Bih8ZF|1GBtcsqB=-`^V8_Psc4 zCxh`zI50bAdjEo5ZL|LGXsP=u&h8}EzN)BBFn4#PV$2Gt zmD{Xnq+h*i^kuJ~+T8HcDJMGdNC}G-(=?gwo9;P%-pDFdYCWmKMwjnyo2$1T2({U@ zy6B(Zo*=)bt|j}Vs#%glOH9K`V@ZE&_Qq@Mr_T7fc$8bG##W(+T2%%AD>J#%sAB)1 zfb%y#5W5^1GREI#ex1ehWmn;l)G2yL>Zb=Hjg@ z9^3c_BVau+`Ubnw9iI)~+Er|rx=v@lbj$6Tq%!zi3hmd&<(1RxmjPAZ6SMRbPp8S+ zR?Q7TL6@||?0X``A;+c~Yk_+-01eWl=LrHVOI}9eT@GjP=<~O%kvUx;U0uO}?!`E~ za$Z7+$&FU~NKFlg5Siob=d3b*7yK{oGKTyy*R^N3jroocQIwTloRiG5nz8A=i!9#>={%@p80r2`iO33f$NXikH>&92NfjXWFR$r;2oaj12wx^Lbl< z?fTh2+5LO^rANir*I0k%%9%20p3G~dmvwmO#b!#)<&>ln#w*2gjbvy*NtT%2-rvni zz^Nl4n5r^(Q;X)W-JT0RI?qDRV^&dzc?PK#M}fe8!=8t;$ylwcb@rlTGnyX zL*dg$LD}+mL2PYLu*3LCneh5T^nOf}Is_5!-fW;2nYH;y`5lIa^btW)o9a4XPNjp* zwfv-}#NDQqqHYgfPdx;MC#1wjF$cI7WRK7( z+;GOKOUl0^RRa+vx0|^O>u4T!8CTvM#;BHrYFQi4d>DYJMng;n_|K{D>2)>0y-gUr zXh5Ch-Y?eYYc6LatFwf7(xJP~|9S*%Pg(NJkE^Z@&u5@$gE8W)fm?AY(Xx)sm6D`T zPBtz*goJbIoxmEBQWK&DUmYHn9Go|?xr_pP&GkS?fOa1+vSgc`K`goQyjqqXVEvXy8#I$6jiz`=*v808r+2Bv zixspf^a%gU#8}ZT#s$c6C;*jkZZ6HN3z(&1=BN+-Mt?e(QPT>ucwPjsJ1D9looYon z9w&nus^f!KUa*uNO-`UhPg}i;ol}7Sgc0~1K&k^L(}s@h1j|u1#DsBT)XdrdSTw8C0v z6#OB4ib1Bq4NmQ9D{N}MjwgtadC|Dd@q~YW0}!yeBYF$H-$P>1F1zdn_}(V_ES3Ph zHx{vLU#3EXHL3plLjExaT5X-xi1CVYB}N+ZlgBZQ#M22|x-ds^%j_*n@-;SJ3{afd zxsLc(G~R-0isjhD`wNQ9Gg=MrsmVMFSDr5+=C;E{a@+h<;|E*&qmJL?Kk-X;ttNN7 zijm2*lpM(}>0NXdRxJ%L-4qxXSIlQ_r*n@CK{3+)C3&SRj)%BHOpcD!$gfKpvMLc> zyEdvlH4HDnv}l$0z?|aNx78;0qrJ6O;e1iBw%SJ^VaJT!I_@!Ps!{VJ>jsZ(Rp|Km; zQ(xBcb8**+T2fpN{)H0?ZC&RIp*j+j>IZ94++&lc;l4##YSw@TzkE!8DrS5i zFe?D6i=A^opR%+RrT|QvLIS*%Xuu=?mk-xrlBhYBKuh+7TpeYfJVCZtT#6`QWe(ay zSbK+bep`3X;NzG6YVcY%7yDKLH;wNZYVt8T62cGE;`_;r-K>iq8 zxkL$AieYoc@iB{1vQbAkLwb7GD+=mu!oO_#StazDR$F?v9~%XqrbLvlQ!Q9E<9y5^ zArd5G{7f z`CoBm@gZxwG4ijcaZNqDa;A;)>a+Hejt0Q9^zR=Xo#HnAS4QYa~-?gNO0RV?Y%{bzaqvL5(#!U!QzB)Owt?Lw5_77mPW*ln@$rjO;^Rh5A-znnB)eDo%&z+OK)$V8@tNV@MUL<$k;Kf;`;(qOH*>Joi>ef77fdF zp;U6UOoeX4s3I|p#V#pM4>O5t73~}!t{azM(ICrQP|B|jDH`XM6{6N2(eQl$`*53R zZ63jq8=js!0vi9PZTZ(0?=DWiR+lxLd@bok(Mi&UhadG^^^+l zx1u~(KglkKA(;Z|(1pf5FQi-i=*1d=^NtGZXI#q}?F#_YT;0b?GGo~x0asf8*%_8I ze1k_q6ZpP~(3O1yg~1NN4xJ)NdnQgMpfCD9X@ z^W5_9X|W*C)95Zw*;=V(e9!FcY_iB$-A^bf`Ks)WEQ)$5`cpgN&E2g!l{cn67cK>hF-j?Ai+Fz#7r?zw6yoNo7kw&+o&Bj zX=q}r{>+U%PQzp~_iztQ@t!U{6s*l(IPNa^ViYZZC?rv~Jr9s%%Ct=kL@q&`L?Y$( z3KQ!GNz=nS1LR(1>N*deq50OqhV_lVVS^RWlnf!$_X`r$%*KE2;>;J19Eraw7PzYJ zxs}0!2dxtKFjr(H)#CJ1p=)1_^~;$`r-~RFGt6qN zTcAmace?UHZd=xAXXj|`=ZW0ABa7YcpqfmV>;i%>EH#&?^~Mo0AV%XXkRz9|B%bjr zXsXgz@lz1K*2o0b#t1wu+^|ac$s+xXaBoT3V6HoA_gVx_u`h#a$E16T`}7T*_geKT zD^txjfs5ImnQe0XNvXc3NOZ$3;r~*>a+DHuTsF@pxK$fEi*6a8vA0WJ9qbYueb|!K zWP11KwOXIA3vIF@NZ3+&F?7*Xk~v|7>%*%{GrsGb;oK_F!{pDw_?@$cRmy+qSfku~ z1!He8^&+jmClM=%kueT+q%?tmn)NPb)}byV*)+{cuHQfZa%=4Cdb{i6^9O-~Qd);a zzmADDCVuoagcy>c@F=%{MydEn?Q-0+#E>9x{-4F;fyUbYsLWx?K;y6_8ho`9619&I z%8@^j7$){VD-oZsEE?YQVhdpOMjLXqZUu4O=p?!#ga;Ym8Yf^ZCm}Zt^dfmpo1yas zYmC1CUGE^~q%yeKA0iKC>iY1+XZ1ahxP*a9f0LvCE93Ph4K`{gYV|NFOdh=+KJeR3 zcMhNRFQzeGg9rk z@#TjK+X|wRGQNhXUC;2rPKCOs7o$v;ww6?p>guV^E+GC)h1S|1x+2k~QJssf`bhNo zRhVvo`q_5stIaB#WCNp>uB!PM3qDpj>|;$+&#qOEeM5v{OEpdBik#g_gG*sA3tHqtl25Sf$i9tdtW)Mtsr~Y#zP~j zO}C-VGM+IvXe~`mZ8e|RO6fitKG<3l-`csY6w(WI6MG1cWf4tJwy<3NinNNH=%~5g9 z`a2{mj5);tk2t{$vnrvavnsoaJwMW*73^pQbs`Q2=nH)*3YoB$qpC9Cxk)v1^&LHi!VDo=CJc!hCRkwwO)v7gFJ z!mSUVi0v$Gi#P>R*gI9^jyYR6vvh&Z^>n~zjdez)gLw0GxSIkjQEw7gwr&ok$-ly0 zVSi-V2ZPS_mO?ji@NP^vVoaS*4*Q%VE#_UKUXs;DFYjO^rp;E0S+9I)bIn?9nJ~YG zhgbF;ioa9TJ!D~R@EgiexHyS&Z$ejUTapBv@PHSm;FHU_LtSKk#bi7)}f66v0cGkEw<;Xv4Q7oCKC2IW~+u}2<)8Vfo>g*R@q=>s5dVCsK+J>^)FnfthDuJ4-MIz znkMvxw1X3J*flU1*n#@fU)UmuvW52*VRn%~L1AvrG5m{n?oyf;BNkafsgh_gu1YR% zTgMa*w7Q2sR)|@gGOJJRM7(lKv%7sOXz(J;uR4#8V+hsED!#QT7SW8)z0@SWKeXHVq|7*5y~;&nRb%Mf zXl!wVo!d! zVXz^w@5vP#O^K(>12F~wNLvy-m1Lw91cZE2wPV@;w05GRRi`bfHS39T z73}5A;sQD)`TSvbm3P#}qqwF;iN>CXZ^pcYz9-YqXKW2qejCX( zb3?40EP`-21bVAhB7Pf#wAC+T`O z!`Mzo==j0_7f41G-G~Bi&G&0F=AQkdyG#Ie+()l-5G}v;a`N2(x__tJ9m!n_>NM3$lp)Vh=q{W50|* zjTa|Y2PE7|vf!bh5wK-b9+sMsZ7PrqcLnvbJk@F+D8{OT7A2Wjf9XaFPc~rv1%sBF z?2~SOw*j)=hwmS&o(&2jFbqHEXa7HKT6=j|-jDy4jX0*d$>u`c1ubMBS)k)IE<{iA zlD!=QOx%edqGPDUKcT4#nON51TCnf$-lK_~p3?u|(D}j%V`XJwoQ@dAw_H%W+caT# z&EmfmxZ9D)8ZuTx_5=AY;HLi`O=P|A|A*}||3`}@M!g-`;QK(bBJ>~Ks@ps04*-Rt zCQO~?q6MQxvumWDOs#iT3=*~Zl*xd942UI;8#PqPJ{yYb1*CNRd=vD;Uj^e4(Z%9xQT3DUfW9xwSpc0Tr*08`!S*8 zl|iJ;H7|fc;~9STOet<{5EhP+exXBx zy!?%|xf*!)F!W21asmiTi7mioQL|FKa9y~|#tzOZX;A|`_fTY4+_O8AA5@e2Vl_(V z)J1ljp3zV^_(6J#pM}05zhYS0aRVF!)b-we9L@RyOAo`wt)s!VrnQ?kpe$HL>QC?U zYM{KUW;sE5d5iR3ed1t}>*R0RheWl`(bHWLc+@4vxQ6C(4&`e7{@ErDannPrz3LM$ zKJ$1Y@Gzl?uyc3wV|a8R4@cuK*6t62Qv;Ol14 zkyW*M)DuB7cG{ug@awGdqF%DyHgg!W5sTl6>XtU*RCUK!T?ot`&|J5C-x`=Y--E$Q zN#BT!!3J^6=rk5|k@uSPvsDxmIej1yx-}u6d|>Xj)4KUc)g@sX)_>Y`UW|rm33%wZ zye^CRFz?k#nF!N(_+nxs9JUdB$C&m#1c<+0PtNEbwAAz+0?d!th?xW!?`s2a|3zQE z7Q?Ft7JFC<@Ub5dTpz2KGj>>5o5sOMyaX{ci2VLM_PB~!?Td=k`YmT?UL#$bRzsU@ zR|-1B&(+0a1bD}f5CZ6&$XxYey2=oOFTw|`iN_U{>Q8xr~ z_sg9fO2Veoc1wq`BnYks5#Y?a%FsQXt@6#S{e@cLBT}$wR~b&`W{AY_Y{N(7)|aev zCBagCPJI;y;j^@jmPRk?>m(n}3m^*eiq_DDe?)@}x!CBmO5;&(p&zi&wP@qQNjz!0 zHx$8R$N68!|Gijv1b`~rEX^==94SLta6;`G19Di86E`f5=JrjHm$s(avhIv#2`*F8 z2)2!ops%9-QRz2$LwfXa3Kk4QVArve;U0rf8enM+Y@3D0)3gAssKqLz0@l=t3s&*& z-tBT?2)Kt?m!2rM`ljr9hYTKChhw%)G|)L1%Q>sAZ?>OnuPLS2RdHO?rI)Op-t#zo z=^Il8m-J{B4`y^vg%`c+!5qM60Enjf!x;TpGyC2rB|BvMoi2{WUX!>pG_+CQPDvb@ zf$OnqiEjwoEK)N;$G@rau~_B&8$&)xcPzi;%iue&5?ZR7an@tH!uI&g^_T1SdK#9`v+9xH3^s(ZbXVBb-$NCy69GE)w z5{(%D+=gJY8p4m6pMDiFfnBc!A-&V(KtbwBcB~<149rF===w|zBqNztm?~28<6%nl zhNJTN04tF^PEQa$X(8D=VYe*eG?e_~^Zk6&FP96R!QH?ga^VggWsn5)BzIhRk72;| zgcx@mA5XA=gn-0?#br7jVi4_B;_Y1HS&vc~GQt|{3rL;8yU@8k6A0=V)Qcnv*T9A% zqODnLMPK-UfOdW63mB+sGRH>Pan&G|48bdMAV?jG6i%zHhEXE+GsefeSd zCHc~@b=xbaXI*MtACbDkpu-H0EpA8TatI#VP37DzoD_V&`zvLpcSi*;_ zl`}Z*B64n_q-4|*K!#dX0m*+5Aj87BJ*E0u^yNiUYA2 zm(wrc9D`b6InR5iv!RE4KRK8D4sm(*yT35mNI6L%dU~%t`QB$g_!YLo01^%f-MM<) z zL>hM5MSXGokYDJxnJOm)-LvLs-B)+c}Z&%Rw)8tPKqmxA|xu(1xe;R9-symK?r{ihi0BhNrd z$=DCGmu!EnrhL@e0FnU4;VIc3N%5 zR`?T19A4V#BX#mJoP_`Qw>^Cina(!UIop{TkeoEW(5*w2Pq6wLT10XxJpogM>2XaI z?%}>GTr-yKah_M@<5-$Z_(SS!vN;>2gTt^7M$wcM`8=DyKt$7XB$Shg}5=3Ui{ zI8#iUd}%!Vizlm$v)Kzfcv&0hXx=og7uw=8Lmm?B58&j2&A{O<4Y||Ek?`(%r9Ih* zpdjbjShE@oHc?TtYJXcDB%yAPU!kRB`zhob)(Ub>zdM{THrgP!^o7i8@_PHKnh+!R zwc2HTvqoyysF7!r3?i8 zJ|&D(UCd{4&0w6T@m5@!ubAgDYpZ%HgH-b;P!C_&mlXA+9O{QOn%}HC8$uREnrlva7t>mknO0H5!{Df%zc(TM9|rFi zk~uw%Q3D#E)9!{{vaHd*ioK1v>;(66B7eV7?4IIh`)FE4Kks#VLCrV3W!7mF zxVt4r)gxR{A5|m^^4r9(_u5wTY81-`?x3ykzsaA9j$kfP)a1_Bm_Bb5>(Zpcl;cto z`HvZ;#5s?Pz&4XGQ^y)Sl%ImU0*P5__m0;~`&z`7@Oa#%qc*E*q^`wu@y}~xF44g| z!va>8KGi5rzI1ErY?|ILE^CYGH^*T)yn?~uNZ0uUBpbM8$bOCjua-)i)!+0 z(gu!)mp=cR;SU$eJH)2gnnJ>`hhltHcP!$9Y|Q34`?tqO^j#V>VP~vbMq!RIITR6! z?Dncq#&P|S8XxpAl7fre)R67f0MAo@a=S)YyWL6Z4tR=ZGUE|~9Ys%e7&AzI7>&j#A8nfzVOV8Qx8 z$<7whns(X)Ea9EG0vW+ZM=vmAMY}+CN!ViARVM$)PV6D$*nPI&))MBnZyN1eN4pL{ z9Aq|a+vsa`Jj;i*;+x2fg6r=cVN8~1R>+~(RrE$DUC}?kTHv2j{(}@nF#LC>(nDd& z62;)ADv>>23NBs65k5w30_QER%5xsK&rlE+OKvSIP9L74eVa({WSeEKB*yRS zDCiOiihG~uU9PR@q84s12j#Sm%OlUW-l+`QYKwzAc|TJp7PWNp%g<4%lb4I`dyfAR z&fRWecSSVztId}H;rvt%bwpYlRSqkONxZvQRolxh0tUhh+pef!rgXFy7 zWw9naHcJMO{r!YqC~mR|46LV`j|X~P$9)JdhXdMXGG0w=YIYWc1cdB|sGI5$Tv)0T zXtU)bM&2K6=jF>XcsNUZ4`1E6+(H1}Uc8mFi4Wp=9>m~y$hxWZOUQkiG|1S>vlYs3 zj9dxMA@4-A|H4l7`;$K%V+N_Xhmg8+OV#{b@ofc`B{Tcz6y zZgRRn-skO`#}I6)`iHi~?ro#hX!~n6MY)!vq6{*-<_Kru#@~<>@~y9d@mkAkG1AoY z_+T|6R=jNQKuM?rD|BO?vkoMw;;F$>1)a>(Gy)Ar(Bc^k;+JsC9rwhH^qhxq{WN;Z zL~MgnR($~AV)&o>zJ*&fRY=NIiPy?o<8u}I)Xozm1Jltr87Npi%nofkm``@`JDUF&?#n81bABTaP_^={=cAjWXs{$(jONovUP?oy}gyzLcML zjc~5<-{p?CSM8fcB{BD?I==H6NM2H#{MFh7&8y2dPr1c^Vvj#o2wupn4PA6k(;X0k2!>_TF4^-w)uRx+`{zYS=w1HHp&SH zXpXO9F=Of+)?@2>b33$GRT=wZmUcreym1*A?3%kRVCjX$VWo9Cs3{%3t$FWud2DS= z!L?3`5_g6XpuAp0d8Qr{ff_ka?u&@_wnojT8P5qp&bwlBh-qn)6ND1VF4;MKd8gd$ zYSY2l3|bJ5gTh$(y23QdvLRQ$JIv48OP*aD9q75&Ay~>8S5t0tXL*gp@?HG(waZApXny*qvkuB9qx@Cjh&uj)8mdrLe+d!GGC&u!xWgU^R6tWoo6KOVd^j0y zus+5+x!(K*(flVg;__O|?vh6;F`d@$dk|LD8@~o_q7I|UVjuIJ3b5lHJ{}6pXJzbG zchx+d0c`C!`)zMhXA?@mFVod%eQDEK6V#2VTW*mzGTPb0>EgiWl5Y8_i6w2H_pd16 zdb3_KuPRF4k!+o;PuG-$lN{`y-%Tpb8*9p+0dV>AWoN#hR~XsnZ#19hpb#0~V-E^o zPi30Lwi;~T!Z*RB7O@S4+i=XU7S<_potaGwJi3p;6d2e0y3uO$^*W zRbS0)rzHnS?}BFM>oBvDmuvxV>P6ii>BSp*zuJdrD>B$5S)q~P7Iei1(1eiLWWG8& zgl5-GI@mP@ITtNDQ~BS2R*R%zdfoLS^WiKVpkabld$eQG2B)SY*3;5^e8Q;`?Cp`+ z-E-G@V2kJztVOO#o+peTV;L*_sduVt{REZ48wrmyMZ#W-q1H~Mv4!LYCsG;_rYyA5 zdITNFAwq|X8|^1cTf*^)zJ1A+Ioz$$oE=!=b-}$q5CHO(xhu>o$xj*>zyqOg`e^0< zU|#-#5EiSrsk^y2e@O3B#>~nInpx5JJbrQVwA0AXAp1bRY{jJ7ZK&oxLwCbV5RieR z%%(`|N))NRr_m(aE|g9$tcgSN-H6M42ViJrVO2jAG7sJ(<`W<0G$yezTVN@SO45wd zjEeV%D+C%>{w@Vb)Ge_SD@KcGP|e;15{0_}P#?4ulBhX^DTWo1n_*p;Jma6Gyp%>e zj>GAPm)SOw?=rS}TlT;cqv0Zq>TbsL!d+~(KZptL_U2w|nXLvhoND-^37_Hq0yD5x zIB|kzvAn2IGmT_LN5$`LRQ;6P>u>}CL!OI8IRbgYopHZ}XY@097&`n$loG*Xarns9 z5JCh8dEyp%VFp#W?(=o%I`iN8Ob__lb5_r!GC2we-s6I`lFbCXOrB?upiUVbXJ$tb+V-;kpB*u1yvVbcb7?n^Z^yrG#P z9V0SIp|4mf}NNGXC5NDo}1hFa({%43w%VvouJb5cl{V(ZJ&MRBGeYW=L5~H0Z*@08~>Vhlpkb6fY8q2j<;aQhGdiQZ^{}u;de-<=FzM)3lt*yEwe{Y-TIE^E@cZtnjZr~fFSUn z?qck_9_oFti7?Wu!$#eHbU;?GjSE3z9RLvjLXusy=y_KqYI)lY5cC<0#6l%ILppP@*?EH9or8e0F7KP8=qYsVxuQBLwLE^Ie8 zg2Cth9Sg4s|9*9-%OZhGRKlISX^C7nrg`2LdGi**e6_fGiv7U%AglJe9H~}7iGs4Q zr_t$uVpW1x*BCxteH9+@I1)8BW@#36=CT&S-9n@fmYs~eucM?W{@cCHrbP)&VI)e< zO3Bp%EzEsbqw3bGiCos-*j6;EiE8t;5=Qu*<^Rf|UY>atTb+A2F_If^#y`;IGR}o@ zS4n1DQ3#|4eVffsqYaB|Bej#*EXKvxBuZwyxu)i5)O(LdQv}Ebd2ik@xdhYEdj|;a zNH&bv!*1D+Qpm4$Y<#Rg$9AuL>2IVk(*4^`t>r)YhON6d5|)1`Pe}okWd1B}<&E;< z)<($jJ}yucUrF9!EZf(LA98a6Q?R`IUDaXgs)7+fE)r*|gA`SN; zJxZEsVma)X&}fL@FJE;(`4bI29f$^wv|k{)M=u&n`oKcefb2N!b9Q z8bF!kR@AXF^#!;0bWK9Nz_aQbCtmSrcqg%(JsB7mWYmYhOjoa*!*_P3?37sajE%j< z{GU3UY_B(-=LeQ@K8U>j8)ez^UTC5H4;*R^qaLWf*xLrGhro3UY1z!_^qBSa4&qv>&Z-;OHCC5D}%Br7Kl9 zM_YhW^XCktfr1F?W#1?(qYg{!!3Vz)-;({bmlS8ud1Mkarf%X^h0_#QSPR{7i% zZ>dse3y{ckF58Xcb7g(UUP(uk#o)qzAf&W1T?8IEN6+z)AnAT?!w@@H_1h`<9FMP~OK)`5Mv~n|< z>J~GPtHf-;HV?z0wACtQ%Waqmr(}~3-myot_z4dl0ki6**vK}o!SDyJBZnz#AbDF+ z??OR$RrKt4aH9Q%#&WX6CM7+09N*>a)2?N^=iXAzRiz)ykAyGWb8oSd`t{^%Lu;$* zj<|cS@I0#HnS8{nw_oNASLWi?4lU~v z*TFB{)pN(T;@a%ME=u9~EoHF*)%I<%<_pJqX3VS%QTM_$WE|p=YYyd`n_qi4_}(tI z)Bb1F@mlDmYjN2_#w{gLcS^y!h<&%*h(CO}f>rZza3F3e%ygeg1t7=7eseaD^z>aD zU^QLJN`$0f!atbm&a+1qDw3H0@uz+m(W|flq`YBWC$T|PG2m0UM(O2b$LvLE-o|<} zsfjn^NA;b0r%myJZ!>n0t|crzp(uk!O~DFh(mEmD(Y=8qcVfU#$dMmmM@C^`A(=J^w*}(d ze*}jc2Go+A>aTfvp36TU0z@hCLbv`kAD{bpI@2}WCyzS9u- z_(PB=&yR`RuY~|$0~}v$LzL&wpRbTPq;_ZQ&W|6bKSH_Y#I1V+6joKsAXD4QD`2K1 zp#&Jl=(U$m?sWhUZQ)GP+JrlYmxAU?6wZs zNx=etR2M~9cKz_pA*PP=;7@a*0ovVzk@od)NxO-3arwu1)A6Htjk{fioL^S*(}D<; z2p(v+_QSwh$f~H*M-s24=8Y&B^c5 z!X&|T+MegcFY6U2PJthE%$2HXC203+jPd)IdVim3GR4tx8r@It>B4Guq@@Q^OEyiM z8n`&(_miKXEWy^ugYa@e7@^-xd3#);$j43bFHYK6TPI%*!OQ$zRV z!lx8C(p?x}9HZ|(z~YOgT?I_bkC2rYjkAISl|xxo-17lV=`i=DI<()kiAN3F!}ei` z-B}!|f3>n~k5H16Uf>Kw6F5AL0um64H8`i$r@D+gQ*7e8CJtNk+agx_!lcF=L7v5b z1q}m93PaPM2yq8j&cL_p=P*2|NgrwI1hp+LNTxdwj60&l7b;U@fc$$#cY$pU>vEny ziTM?(ZO|)TC(OB#hOuJt2iV=rGJtfoWW}MZ$C#uGVPG zmQ#FMvu4c)Qmbv1l+;C}GI63?=z4r2f(g*hn#+%emIA&c&p|gO?iiF3A5qn8#9-7j z)lj_RL{4R}t$nmL+Vf0u3dW&&jHPB=h;Ufme6hlvGdr-x3=#|z8s7`pDnqQVWXkmyz)<|ZtOBc zLLJFc3ReI1`mXgQ808~279G4Y4s^5rr1M)uL^L2-IoS(BEe!ps+G^|e%9PK}>!T+% zVWDRz3ZPE^;=G3<%Gf-#0dQ+D!H(H=JW|fpxvFM4A;B}CC%j9K2bSZtrwq{p%*Xd` zbdIabGuA3AqbC-+wAS6>(oQJ9Y5#_NkhuSGxDD}>ZjG{32QMuVp(S0N{yB#AA~+#Y z;8{o=w)h6x2(^m%!k0ZcnEs(vgS5ks%(Dm@_=EbV+*A2w@G%jh@SiTRebVTZYp&ejClsgg|;{lkvfwYO9<$-U0;m0j`W@9>R(QZNr{M*?8g9H z=+uxyIduT|ifw}jQY#|v!6-O0$Sgpzel6<|G3LEzE?$LN!gd-%`vr2nmc#=;zxAvQ zD>PT%c92lBOdrvGmx?KK6#8S2J@+xrN0Z0i;G>}F)RJJ-cQuR5ntDYlwRFalC3axG z)$@411(ZwVK0RGQnAC&DNt zHpVZkc9cF2F?4V5!aiZAE#WJpHlhmY&42ODbCc=vPFm4;0jPYt^$=o@oV@%EhsJG0 z8IYp1ETG4^_8xt*>qRHEX?^_c)h1oKy97#~&CmkRg` znfxHBA#_@q6(2%3?MtakGJlP-v96|FPhh#~t;EX3uaMK|pEKOUfMs16D-hyF(c%lj zKYVI9u5nt&cS(D<%)W0AF#{5CO&lRR&8&Zu+S8jjPU#iOWL*Nt@*X7iYH%d&(w{Uw z0V*;W>3cKGs+ag-3|$eu6CZ@!kIh8XN!c4Y@?0ZKng8^W8oP;_q}Kjct8wvx5Q&2+D@Z>TyXY0r z9A2_8Nj5CZorCh^)eQ8yn>$1P^KpK8n6K*sq-GY?-^*938;Y2NU9`6irAGjket>n2 z@umagUE^bl80y{%LCbwe&mQ*Pb$AK49o7|M@Wg=bie1bN0RXo`sKA=6#s?-(=bWir zXAQOg9~{Kck(#gjrX1DTFa*0*QdM-g@@1{FKek|^es$mFq%;#>sh|Lr)4@ZB62~5( z)KDc9IA+qo3d+7KpF(K-2Sk#V1jd_8%t^LWZ~K~E_yabVheEq0gc*ehU=MZ1jIl*F zw}0{>JgKLd>kPLz{%;XC3i_YT8i{)m)2ny3n9v|SoMVMW*W!egHS;hmooPoPZnb89 zCIWrB218d)K|$d{ESY_Xxv$HL)yWk4xu)m1k2oOGjReM(jt?<&+SfS5>xxa@MQh@u z%V#q!vF{`7D3DvE)X>Y$K9U$*=9={D0Z&FTY zg8)jl$MytPP@8m~LW3(u#HRhqdU#z9O;X;AxgmK49JRkW`4>;ulZoeMGE`mm8#??@ zI*qen68xI&8E*Z@Me5oo1Ti@_p;*GNcT21LY-E=uRwG8H6q1opOO-iloaeZ26Hqo@cJlAvzvJfnLoFV|I6uMEqV-_AyHWKJ*0dc@iSKHL zUiS>9rs%P&fD3fqqyztX`zO!<*p^z-P-aZ4d`NdAq-$A*WlM@sz*r{X30q(M2r33 zuno#C^ODK$T{29ClXa!RoBo%i_XsCAF_+>f_2F3P9pyKol~l>J_^-d7EU)g>de0s+Km-4N z&>7qqpuowqumO99mzDbWbN&eRg{E{gEOJE1$i0;DVu?*rnm!l8p(=2pLEzSuEXf}I ze>T`K83y9;_6B7>;Q(h6sNtL?iY{E`16vz8 zJZrJ$C6TwNhVN$jOu!0k4qy;&!58DLuHy=LB;?t%Zb^MRwSS;!Y*%+(-t*(}#b#K3 z#g=7<9EX*yFYFQy-S0)-O3^RGcC&$K@_Pe(BBx8Z? z@T>G$eILGGnk#veW@KAkM%(mupp{bdn(RzC1e*h@4BybuHP^ho@4*K&Q=^N+J9l=* z?KgFRE>3B!fYDv2fvM?JV#mDTRv9)&7WS)~L3*T$N|eUyN&Osld?w42&AgToORaqB z_nEFP1l^GGK6iJku>IJ=1q)VFF^$JW!y=su!npKrv-(Y&XO)bW6kqK%QN=B&NIeSp zuJj#)V4xBvs1RLCY?@8U0La&MT8A-#)Sz?03Y`jU^UsC&)7G5O+aQlFQf z`bnQsm7kQAG53?Dx`?fKQ*HGe`)xu&j-1OAWTyKUG-L*2h~y4pA+AvK!8i779|zT9 zAZse^Gyr*6{SU)E_<*hm4S}-E;gLMe_rqs|kI-=8$*hDLwfBs*%eYGCW=Y_mSri^VQ(p z?jQI^ws*$qAq%osulW*nq=y9H;MV{iU7RSiA1b2++#+3aHTzm|=@w4D)?=Uu)q^fH zE_?p-p4MsnpF&ryip_emhby4iuF@Yzh5rc^s6jq9l4;XM*8U;XIf)_+>1KNrxj(`K z%n!}n53i*)aAJApqBwK^#rla}_4<=nLDNGkw{3wGTu2xzgDGdL`lRow43bt{uTbOC zNo&N1qtt=?7t~D3IH|fKb-`vp2;ML01TJ;wk0;Lp7|)GGR<+V| zxrDytd5HIwpZbF?KXV?#eXGmWkc$hsxJ)7nzz=n7a4~=|2%ix(>*=9JH5azC*y~m` zfJ!rUQCRwU^p@oK{t4G^Bkc!#K5zAY%Lm&TQ=el5l(oO)s<}N|F=*`e8CR!NmCfQ(;L@ez-*IU7p4sj6GELFJ-W) zjvW)>^iT~M>YC}wTJ6r}!09v^eVvbo|?+Vn&#E%h253{um*r;G^gA+ z3DO+^g`Q{-2tZh)m+ffl*73Y~dkm0_{1*Ng&c2;uC zU&5o0^#*IT|6qe^#Z!ahaP<3uWB>7Az}ghbt+T$;ePWk}@7)unIWygBCTven-H`L;K+FWe0Z3KwJqj_fg#yN=4C+_SX%ca37rlWc@sVXhbR7c3z1My<^$ z5N%LXofhNeY=?Ux<$mG)ja(jxNULD2EKFu5f$;H=i+It7)Eud&$`{rFK( zPeARSuqH!e`?hM3sZCb_=-~b-62Sl+pU*N<0&IJCI4V}mQG%B9+_Yu&DZk{AoN2R1D+G;|i;QqN z1=X*S6P+sl`GE=W?|dVk7sZ)9$3*N~dP;`iD|ajp(UajS$3mhQii5d@DE>Zzu{|YN zv|qhJ4MJSwzjZ0S7jY>tBUC|qt+SR^V5_f;bv)6HQ$k@#4RM{L0yh79 zaLYz*z4E6G%^-R1Tyhxq$)P03eN+>W2xviw?}z+0ZNXl4Spn6QdRDv_BIOi=Z7ZLF?iv{*D$m5iZwLNEOAiNxNKZ>`9y_bBg^Yj4_NS zg$Ipvh2*!4mX!wI|8_E0$t-}wBmXo0@Q|b9i_*%V$Ix!sDl(>SV+A=@68cpQRb5B) zq3TTg(*bU)7 zAJv;)Q})Rm(z({w`yGRd2~#5fH05`VeU2c#B`HFmw}c1$z>!Gf1+i8CSC1Q2azYmr zyY}T|NP2ZYE$#z;mpOfbnQDD6vA=hLj8#Pq*>A&PTT7?A$~-e~bi-c4fy`7l~0Wq8urkM8?cUicjI6D@hr7pmBr(IDY@ABLD!3J z@6yUlU(23cZHJB&Ai@im@gK)IGD4Rz0kJC!)#(x+y7`eCO)Z`8wy4~Dtr~xkmR1nCo zXApsJW9E+%VZgMnwAPkX_F5VjD$d-0Ua_;~JvXrP)+6T!!}YA}8QxrYxwvyV`B~q3QVh)`uOo92!us3|7ub= z|D``0;r2FOZw1FW;mJjM>t8r#!ZqPE^s8z<5c%;q51feEwionohxJ*P4*|mQaGhX! zx!sA&F6}x+1CwyV)+l&7WA=r^X`S0(A?vmE2G4xjl_We%0Yzc#|JB{K|3jVc;cq3{ zTB)t3j;S^47D-YlZDPxAtRfOgZbiFVhLkxjxul3XGRmb~ri4wKOGTp{m!u0zlao*; zOf`~mX>5^2be_))d;W%V{NnN&-{JfHeBPhudEU?a{hm3DcO;3aT5QH#xPsn6X2D~e z=R+QaM}zRy&!`mfdE*Rmij3W3($<%OAlBnpI^g`cp>%Tqjxw&Q)6B8@Qqs3V+m9s@ ziEO?#@80YZF+Rj{JL-2yFG=2wchGrk8z(^$-Xkfxqj_GuV$V3|GKb7D7U!nse-yw; zND@=rgZ7S}ISr&;+HaqQhJCYGAxa2E%s`+wFPM12C&ACAvZxbt(JuyNsKV(ciyr9- zD@VHML}!4)rDEg?$W6vq^|-&5aUe*#Wvwqiz@d31pXZAt_OiO10{N(T`Nq-U3v4z6 z0wJsTE`QkXI4Z~za)^#HV}M59?B20$*gF=Bd10=Or$(b}6*HpXKUsuK!1{t^cOePW zlHfgo0F-{soR}yn9~#42h20 z96|U{%Zv_^>J5e-?E9}l;x2W}oSlm+5U&JMrQbij7eXo!NRHE|o!8t|a0wAZIOfm#^-C|&tR;PTJc_H7?eNV z**=t|Acy$eVomFSI%iU}JTC&(GGwg5AIUnY{8w$*|K|ftNnK^xMP72pTeN|?&USL_ ztTsJ*Z7XRG*NPD^%{XTR{yt{~O8VN`mY1`$y`X(EX|r^Bb~|SnCbQY@j(UVc5+@>9 zPJFs?rhFDu|5PHf^H0!(<4qHs(SbC*h0VRKdk^ysX`6%~luXSMPpGPczR}@K%yoRh zkC9jW7`FTwYC39`s>=thG&XJ(T+f3M>V;Ap#b8T!4AjzBjKKBE7B_C(XrYtkW)pmv zek$rscu!b)KljDTh5S^#i|L9cSxe8L&4U{ZQ~PffK5tHukBf^V!*{HZ@aT-8Gub+Y zx2rh{{$gBKj?R^d2nOY2Se%~dcS45l5wk*p|Cevv4R!$7`CNJ2ThUa5lidp!rPW3U ztXA$Rk>p7x8qy4{UW-Ho+qcZ&BAU0%V4>dhBc_MXGR?=MIbq^(Ms=y&zGTs@XRbOB zTLZHPzKR_aC-jdU`>IZ7>n;Q|FDTEBgDZ1k^km~Q%$(tW=&0M4ACKEAT1;cG|9Z9*TguG*sVncQAslq0 z@mxP)2R}C2xF$ix=8HgsmrwMSzTUX%-K#NWJDw`sxbf2J^BTbS0f)SzrC~76cY;i^ z)DjUlTfcKsZX-?qyGj;&6WR!~B1Asr7yH~W+9z~w)q@e#{IAp+hrPKI5c6;`MJ5za zmKk&a$qeGmPeo930BO>M5*AP#aTOkHGBO_JCIs)A-F8RX4frB%$BVuviP?OGMJ+eh(m)0EeJC zZSwWrh{r6(Iies=Za6B|qEdH=REbB{PCCd{L405_wgRxs2RcZUL144{nj_n$+90K|@LPHh((R2vyt3T<8G7%L4bi-DdzRv$*=bhapRZ&VCgd5c#At*05(H zWzz6GBVY}fPz@3R>glB*M1-OQcW0gS0d8X}OEpL8w)(O41+Gd?#6#x=l4QhzQ`6)q zu&ox9Fg6nJ5BYfO3|RuDO2cy5nbG5gv$t>Cb|iZ(PGf$QZNEMQasSCuhgETUFm%EV z?7}STHzMtf)InsJG~mlN>3K)(J!^I%8@UXmYa)0zElH`Qp7UTS98 zf0qs{JN!t0h_0V2f>b)O?%mobr?oJT;C_ zE!kK)pvQM`_T6P)uNjsp?%gg~JM+Hx7t^VfixdJ*WLnY&>zyaNw|RlzlD5GFO3Lev)*loxZ%Mt#IE`~|(_1Xml(Kd7@QJ42kUH%vO{RL$ z7rcw}?EY$n*Qf3Gw6EzHirf*|BVzqq@25XrNUZ3dx+9fVUx)VH_*7ov;lOJ)wUk64 zbPUxm&KXXrw5C$r+C#<9T(BO^vU8XX3xj@jk<>?L@HGM-{~BMA(zkEsC2=>o?G&Z8 zMFCh4FZ{=b9YBK=RX2}3cZy2-X6glz*j`u(G31uwNqsqO@)xGtlkX$f$mNmGl-I2P a`wLvRpZ{5f_b6t?#ZRU-