From b54cd0791f7e7118395baade24702cdd09935316 Mon Sep 17 00:00:00 2001 From: Thomas Dehaeze Date: Wed, 23 Sep 2020 15:33:27 +0200 Subject: [PATCH] Add some text about H2/Hinf synthesis --- paper/paper.org | 65 ++++++++++++++++++++++++++++++++++++---- paper/paper.pdf | Bin 322059 -> 324519 bytes paper/paper.tex | 77 +++++++++++++++++++++++++++--------------------- 3 files changed, 102 insertions(+), 40 deletions(-) diff --git a/paper/paper.org b/paper/paper.org index 2957695..757e95d 100644 --- a/paper/paper.org +++ b/paper/paper.org @@ -294,7 +294,9 @@ To define what by "small" we mean, we use a weighting filter $W_u(s)$ such that \left| W_1(j\omega)H_1(j\omega) \right| + \left| W_2(j\omega)H_2(j\omega) \right| < \frac{1}{\left| W_u(j\omega) \right|}, \quad \forall \omega \end{equation} -This is actually almost equivalent (to within a factor $\sqrt{2}$) equivalent as to have: +# Comments on the choice of the weights => we cannot ask for less uncertainty than both sensors + +This is actually almost equivalent as to have (within a factor $\sqrt{2}$): \begin{equation} \left\| \begin{matrix} W_u W_1 H_1 \\ W_u W_2 H_2 \end{matrix} \right\|_\infty < 1 \end{equation} @@ -330,28 +332,79 @@ The $\mathcal{H}_\infty$ norm of Eq. eqref:eq:Hinf_norm is equals to $\sigma_n$ ** Example -# Comments on the choice of the weights => we cannot ask for less uncertainty than both sensors - * Optimal and Robust Sensor Fusion: Mixed $\mathcal{H}_2/\mathcal{H}_\infty$ Synthesis <> -** Sensor Fusion Architecture +** Sensor with noise and model uncertainty +We wish now to combine the two previous synthesis, that is to say + +The sensors are now modelled by a white noise with unitary PSD $\tilde{n}_i$ shaped by a LTI transfer function $N_i(s)$. +The dynamical uncertainty of the sensor is modelled using multiplicative uncertainty +\begin{equation} + v_i = \hat{G}_i (1 + W_i \Delta_i) x + \hat{G_i} (1 + W_i \Delta_i) N_i \tilde{n}_i +\end{equation} + +Multiplying by the inverse of the nominal model of the sensor dynamics gives an estimate $\hat{x}_i$ of $x$: +\begin{equation} + \hat{x} = (1 + W_i \Delta_i) x + (1 + W_i \Delta_i) N_i \tilde{n}_i +\end{equation} #+name: fig:sensor_model_noise_uncertainty #+caption: Sensor Model including Noise and Dynamical Uncertainty #+attr_latex: :scale 1 [[file:figs/sensor_model_noise_uncertainty.pdf]] +** Sensor Fusion Architecture + +For reason of space, the blocks $\hat{G}_i$ and $\hat{G}_i^{-1}$ are omitted. + +\begin{equation} +\begin{aligned} + \hat{x} = &\Big( H_1 (1 + W_1 \Delta_1) + H_2 (1 + W_2 \Delta_2) \Big) x \\ + &+ \Big( H_1 (1 + W_1 \Delta_1) N_1 \Big) \tilde{n}_1 + \Big( H_2 (1 + W_2 \Delta_2) N_2 \Big) \tilde{n}_2 +\end{aligned} +\end{equation} + +\begin{equation} +\begin{aligned} + \hat{x} = &\Big( 1 + H_1 W_1 \Delta_1 + H_2 W_2 \Delta_2 \Big) x \\ + &+ \Big( H_1 (1 + W_1 \Delta_1) N_1 \Big) \tilde{n}_1 + \Big( H_2 (1 + W_2 \Delta_2) N_2 \Big) \tilde{n}_2 +\end{aligned} +\end{equation} + +The estimate $\hat{x}$ of $x$ #+name: fig:sensor_fusion_arch_full #+caption: Super Sensor Fusion with both sensor noise and sensor model uncertainty #+attr_latex: :scale 1 [[file:figs/sensor_fusion_arch_full.pdf]] -** Synthesis Objective - ** Mixed $\mathcal{H}_2/\mathcal{H}_\infty$ Synthesis +The synthesis objective is to generate two complementary filters $H_1(s)$ and $H_2(s)$ such that the uncertainty associated with the super sensor is kept reasonably small and such that the RMS value of super sensors noise is minimized. + +To specify how small we want the super sensor dynamic spread, we use a weighting filter $W_u(s)$ as was done in Section ref:sec:robust_fusion. + + +This synthesis problem can be solved using the mixed $\mathcal{H}_2/\mathcal{H}_\infty$ synthesis on the following generalized plant: +\begin{equation} +\begin{pmatrix} + z_{\infty, 1} \\ z_{\infty, 2} \\ z_{2, 1} \\ z_{2, 2} \\ v +\end{pmatrix} = \underbrace{\begin{bmatrix} + W_u W_1 & W_u W_1 \\ + 0 & W_u W_2 \\ + N_1 & N_1 \\ + 0 & N_2 \\ + 1 & 0 +\end{bmatrix}}_{P_{\mathcal{H}_2/\mathcal{H}_\infty}} \begin{pmatrix} + w \\ u +\end{pmatrix} +\end{equation} + +The synthesis objective is to: +- Keep the $\mathcal{H}_\infty$ norm from $w$ to $(z_{\infty,1}, z_{\infty,2})$ below $1$ +- Minimize the $\mathcal{H}_2$ norm from $w$ to $(z_{2,1}, z_{2,2})$ + #+name: fig:mixed_h2_hinf_synthesis #+caption: Generalized plant $P_{\mathcal{H}_2/\matlcal{H}_\infty}$ used for the mixed $\mathcal{H}_2/\mathcal{H}_\infty$ synthesis of complementary filters #+attr_latex: :scale 1 diff --git a/paper/paper.pdf b/paper/paper.pdf index eeacf963765604f0725b21dbe3c31e23dc102f85..bd9b6770242154cab6298a2adcbc71a8e3ee29c3 100644 GIT binary patch delta 43100 zcmZ6RW0>aL)~&m2TU|z%tuEVEmu=fm*|u%lwr$(C>-65=e)sv#`H@^1nJZ%@Ke9%y zc_(}UrT7@7X38+0pa>0^nIm2glmf7bW8tvhbo>4Z{Um5|U>2|gM{ma2d2khX&fLm; z{J_xaD3WBFUMj?qhdONbzTF-U0j3aBQJ?vH86OrA6r;VTt2S>?m_K|vduGPl{q3M1 zL+U1vr0}SXotv&8u!=eYF(7I1wBp730gD5RNN>wR;EU;c;Bj3*cg4&%2<#`ffFb``BG?AM{nXsuLZnmJqrLoP-8Tb3PmTHdf^D>$rn<< zDy~SzqKH5#edVVxphZJc?*;JCD^MO5%fzUa0eznhOD{^vreJRxqRY))>Z$FpdCV+m zFrP1h@Mu`4{b9LBaN5`CE}TiF#ZbM6#`s)C(3~Wfc6D*yUl&hNuP&lTL#G{5M=F%g zjx$@VC`YRzNx<4|)g7;?%@;=*sy=@#yq5N?Pn$TCK7X$P%gVoSP6ilBUeD%KWh_z1}yqY z^Hp%KGO9lv&#uOt!UVu=l@FzgXB5A*?)zl#*0*@lb{p+vsH)aN+Q>Wp|X5wSMa^0 zBR66CcOf*D7TUy`W)qc?K8YY zm??`im|5v!CI^6YAh%wrT^}~ZUs{4+2SOl#C=TK>1G*J%Ya-qY4Le5p z;VKjap$%a9hJ^PDw3;*3icJwx-ca1Xe%B-M z8gwbH=|T-AINfM7246e_9YENuq-rsJ2J@e9ig=g0?T{;G@)+Rg8&BHQ1sK+lmU3>R5oz1H= z=N${=!F;tPz;%Yq%jt&?;-)P~3`Py)asIyA)wuw3QiB>=9SFEX8mdF^fA+X_0A!C6`MK4gQvg_gWj_)Bg1<_j2MhVFw?i&K^0@ijkkb1* zPuSxwsbvkiL=2e*J@3p*( zsjVvxRVR8Q&ZB_D7U48GMe9=&*1V`QELZd?o1I^rE6JMZ&)v>@U{bL@AGsAM~ok5_KAdB#H8{^h9M$Vj8cCX^;@Vx zZRuH_5LHDgljx0PL5WCIkZCMsJKi0beQ9t*Zfl@fUk?&&#zcrdg;*-o#aHV89vQCFop z1_(1)o(_hQYgFAXeCSty`4N}ZL6E%&HDdstwRpbQG>rkA_k^#sXs5V;&t;?F@PP)X zJlSG*LL!#(Q12rum$DHqZ~|4x24TP>0`23N)=53oHN(r0vx@YQ#rESe#|psz6brAC zf1JW@*b?&629a}ov|->mY9yLFwPIjp>`4$+Hsx_yJ;fo7HoYlJnJPK42ZNBiP~>?0 zb>q0U-33Egv6Afm4P%012Um)(>ht%;Vao21DmWWgei15T*3e7nXb)4v_#3uD7$V3A zLqC2>AaifMW4!mOk@qPrqYVJD&28XO29xVYAsA(RlZ1W>SiM_2Q3FI+tiA$t19TZGdWv?j< z$9YD2h?~OLHZ9)QjS(u&O zIRPI1)#m7B2${|)6FZ*T@_kwF=kr!Jq-r-U5~Q44-ltxN5^Oo`n8LFW0n03+uy1^b za&oD| zK8>N;r@7#E?)1#ud;cP&<_q3_S&9;*!YsNW?k*6B)E@)BJ>~amF6l5MnoM5x&$@S?%;viDF65%nH&)Ilrp`6$ex{3Cum`N3fi<<7%JM-4c!?j$t1F=XmO=mm#24k< zZ8l@LRg2-E=CTkfpsxXgiW$NvSFPlY*`u5XYz)4{Nt*v7pW((RyMzJuOCg|k_P7(Z zbdFFMTZ{t5M+I?el71)PWNkH67ctOzNCp>{odFQqNxri|3z39<ckiPZq;(Khds%)Q`vmJy4lP{LU$fo z;EWMTGw5Ud{w6-_m{(Sl#fk@@TSF$7a}dy|y{DSrot0uA@FVA&Qk0NBzER(!#9&gi z_y&+o_~Qg{`o-(?{SCXeFmiK~nEpT=9My+%bw{*)khD0kauuM>;ge0o8`b6XxeOGY z0Y5N*g6N$IAtO9oJdI+>y`oz6Esf63S%G(h@$Tc&U{xFW{zyrkOlQ~Fuu*nh>!bL| z*bJ^1Pzw)-@N#|ieZN)pd={7DQytVjIsz~s%5`y6f=&KY=VH<^jTA4cgDZO}S^yyB z@;(g5*_`yODCYS9>Cu2iyuecFV7Qq@3m-^m#wHLUl&ay@M?IN9RtE>%217tUn32G4 z4`&YB0dzw1O~zL&+FL1??DlGi(T3MRlfIDzAuZ$xMdR&ZJ|Uh#DuR9G1`~Ai$L!S# zeXI2ogN$7_3EDX$f5K89=LB~ZwEzaDlG9#|u5ZlvxGKEJJLD~U%CMwTCG8-=ZJ}q? zkM(qEf`G2%&gjw91u?D0@en0ohz37(g%tQa{4P7FNZ~>5rf5{u)VLX zH$X&4!1#6^ueHQ`w@LH4_nLiTuG-8n0)PRjir%pPyRw05tq?(7_#TOUg~;UBV8jac zQ~)^0P|jn(5P}LuJdtfN5J&u&Z3GJg0X=~N0i6gFI{_0b(?5dcuVDE{F#Q#5{}GIA ze+5Upyc>0WvmG~he5to|Jin^|=D!C+(+LRJxDsg4{~gT0%0SD;#2EiA=pfI;_Rr-^ z90W{k9RKlRrYB%xXZ&BYurvQ7SpQa7|0CEK{|fehDt~X2gZ^LhgD`Qh#l{i=2LDKg zu$=^3Lt*K*fud^$OC zce$5H3+y9=7AQmWgXY&w?%kf=B(s~|f&f0E5R4q|_QG{4Ow~nQfox0B=uZ zi{PmFZ6?{UP!{UA273+|lLWf~yVf@(EikD@!aB-oirOePgkYQQ;NO3COZmAxQQ_tZ z5UvN;tG&P8Hv46LjF6O~SQ)4Z5GtTpTf^RJ^D@xkZ;3VJN7)HiOV#87110?~2%9C3 z_qua-m>Zf&gU8NRXnH;E`D4K7I->e8(exigLsedKU{A z*&S8YL;dXGSH%kAnAY92_}~=dZY?A$GLh30=Ud5^t_v=N7CBAoI7os;htmZ{yeX>j zQgH++e4lPp31QW-621ljh^!NEgv=gf$8L36&0 z!&;`$00)K7z8^EYTS$}lmQQWSbfb6LGJURrWcPNFx+jk;(`#(B)48uN{H;xJ368Cq z_OL5#nT+k3kq$19XqhkkI<9~2BN$t%Bl#sMR4e(D14Bffo&gSkY2HUtJzroEk`$bz zf$^&j-RVIb*6Kh`E#+Wdu|4Gaa!I;pFgW*WsLgeilsx-BOgf6@o;yrpm-^sT z-0QK|P)h;q5Gm7evAj*K?P83}L?F0%ia?N!%xKL}#pujMLjTNug9Drka$6)2gh87F zU9YF;KE!u@SP(eidw$?M$Sh`W!bbg^37}Gg0w~L^({QJ04@Jo$QWqph#M|?*vgxU} z6f%0xaddXEwjwa1Ekk|^zbvd2pw!99^&;C)@O38$m7d^69QjMI^>_xo1hp>`Ai)9ap<=P$c88vyu(c0kuZLAwc z0owJ|s*?9#Tzfl}bj2sQW!OSIa9N-%CYa#p$zgC0`=>a6l_EIS z0}99^9?r)-yk2syi3AiaPHW)RD1>)<54#B@h!FL)eFUA3Pj4q)!dmwRjmQJ2I z%Pd^$Zs3{r@bUM3I5q;2aXdW~jSp(?+0Q27KFy#bT(D zrn{fPa1x!;w$)zkqt?75Xa2r)L8IL!bdXCq@rvs8PAP5k6e-(NgHGA>Mh+oQVIn}B zSVa5UwX)0@=$GM-S9bz)un2T@(HW}|adm0{-AT#|q+^BiO_oorbH7Q#<7IW9+WwqI z=m5^ab}B+jZzyV%C=el!L^*yqMatdoNdIuf-nGT?qkES)3+3WR1-!Wa{Qbd+)j%s6 zvs=b>i7st}XDjbrNWQ03H|P_#E$u1Ae$DveO^j>{<=<{+@RQ%a?@V4l@b~(Ve4vfu zNo7$+%1+CvM=>q}FxdePejOOUcBvo@#6gkCM3io2!M9JKfxbo5{5jufgk}#KPKDvn zw1vnu$B4*wD+43YvYbEx5Kh?JSa&ic$nqxqn5aNLc}NTnnL_qeqFX=2P?v=DM(((< zVsa+*?fcVO^ofd^dtu`1M1k&2(T7M3Z}f7rDuS{`Zt}1HNclLiH~i2X+Xy_Z-<1zd z4n&|HNt>XF$!7$kY;x4oS1~3&a>xqCxP(t*(78h#ShJMT^#275&~x<*TtQ~7O=WrR zSKAUG!`THUP@6brw3tK(6A2-0&B*0|*ljf44FT>Ssi`8Hh%oDD;sR@nkbwmP1JBZZ z)o(MD>zQbJ3D6Uwa0IpJIoP@lz-F8UNf;^_pl`(BM;+BoJ*V#Z{ldfU<1!Ss zv$_ku6=~`Wp1%_g$YKf!uV|$TGi8J!M}mUP+&$3+=?SN>#mFN}rk&LD`6VZgJ>|j~ zV#vn;jaXy}H0H92q(VApenlvrUNQrnWk)Pp>4 zu0c!dIOX$}!>b+WVDc;EfoQc|Qj?^sx|a2eAV z3FZFLEM_rp{3o&z4BxO%r5zz8r}M$~V>7HV35)EOOtKCKNfgUXFedTmHcmh%HO_GC zLIV)v2Vvw901vz+WBI zPiRAzcRYr*XHfnZN>jGKHwG&xBD_p!XFm=+WnGu^dpmA-_atTlYN z;=NU-+$Rn^>6E0IX;k__9)VztN|sK+cM)V*M-s{%%^Tro-Se2pojsMO#iijQg7`cMWL~)&2Oe zbb-wWNhi*eZ}v8H(T*HBcmU@R^C!a)^pj?+2M=yk&RI!DK}6v6?A_(r8!qsVEbUAs zgWH3;)fhJ6}*TbfXBrVxyLtw^hia(=eb?pxAeS=Isl?o zN2EAi2!8l;eEbYm(+8Un?)8+(3xu)FLQR1t=1mn53x zpqm`aSZ(kcR{n$QMF}cPfg3+NBcHRQ?d!AjWxtM>J6p-?wp1RuAo0O*6#}=4+sXD3 z;H_S^VTw55e{1-**TIWk^08qvM*F;ADy&9|<>;$ukB2x247mOal4U@<<1BwDAhcg8n;9zVm zo+hllOp&DhX-eEZit6&&JWM-LPvKU+DsVxa?SqKG+mk_IPxS(J+Ye+r zgc@eS$J?9bV26dn+ZvG+!>n$<5F@o#m*p;9#RZc?_eKN(sM*KUAgL9?1I3DR9JB>O zE&V#6%t8o{MAr_G=KnkfQfW>EtftS@`HCjkn)~%F_v+t-3<68DV5)S|n=6(s3&0b)M}@WOWJ0%X=&iHqa%pl$~bhzehH!Yh@wm@;;(O$v@)A_0kb4&Z`T(rDBUZ0b&Fn`+4JURDGOoQVk3N&GC^j)zuANgHDaSP|Pu+16MH+~CC4 z7{!~hl)5;?*9%mAZoCGeV+@@~(2Z$N`q1Mp`3|KlMMKRPN^q@1;~I`KYQP6wYQ)o9 zY>nVawtxecd}gp?UTg^fRuZeu(q}SOIAM!3#nUPBFvEOvlx;0+)C}ow4!um8qvbyh zUXG|FyU3}q#WAiF6m;|pXa#7&#a7~=@#4&Af|*lLrX%pM8jSHmu>zMTh%#VK9CU?D z5klvUGItI1M1>i#rz@zit$QV`QdjBmMi@p%z!ZZv`7i|@oCwnZ)DFKEGAs>%=gx?y z*5h2k`|Epc=|9V5d|YR$+pm&G+Kx6jSIr-brdn1!&m_DQ0C#$oU(asGT~3$mW=AyZ zrE8@~P2Gg_D|U|0aJ^+C`{S=>r@PZHucwDn&%wN1CEKfJQ{D8A+>@_O-@6C>)UyPe z0?3^61Ya!q{f(gj9d~9M4|3fg6~J}tf?x!qq#=VpYSoUG&<+h^0j1@o<8Gf zn){klM}4WsI^gO&_|6?Sy;|qcWt}tZP`IWxgYFleOpXG;;<}K+ujTCU6pHj>r@&Ok zMU9T!1w1Tl4lV^t*Zf82kNV7T96*yrI2VsXmk{lm zD)k4nq)8J%xIs|C+R8;i#ya?8-ugC0K+grk?gLuhWKYy={P$epFlzgtLD(V<^xA22 zeoInZ_nP5{a?Fu4qc+jZHsmgwzzaL%?ikp4vq{(Q?AI%o{#7D(mcjL;jl^y7W+GRY zlg)wb#X~>-`@l>1;w^LWa>*8yhp@4`CUq)7f8Z~G?*S)vw#xopUOI;gZ|U;cAkwji zCF*0+_P}qVfXGM4`;@Ww3Ieh@1vd|M@V?pVtiR6$AK=cyi3`<8o|OT|qZvtsm34RS z*3KWBH}T=k+n20kK$ZcrdIu8%bm`(7!i4w@k?YWf0&Qe%=-_B?q-XW7BO85lXl7SYb>hcR@P6C(T?_u1I0j zWubwjNZP6rg`q@>0&=PlHE#Tc;Voa1zFArnaFtF6H6e&z5>~k=%2dUp2WsZku3nF` z5q2~QfT9R*z3r6sqqVFyH~)#&CBf*{3Rb6Q=MmYrM2I0X>GFB62(hf$IMbb}G@!WL)k>~bA37qJMa z4QQTDkP7JPz`uO^kEB)QqK>dDg#bO(ylvy@lX3xW1h?Jr4rbQ7Ap3jLuCyhsD=~`< zVCQYlcFxAYfH(tE)RQ#;3d&T>o&Fm}3s~)m1gR(L@_C^v=LyY|GB5lDPQGebLWq39 zle+*hC9JOVVLJ#_tS2QdDj%is&;2W=9F*hCcN%2WM-tCAEZ(J%X+N^R2}E6Fb4C2u zgNmCLVgv@f+kA&swZOvV4l^Cj9YW6=polVUgQed73VZr`-15%^ry2g(AMNHp@=ed* zqIWJaTw48Fj>$Jn#T_v1sJM9w>&`!@h@5xk)B8_zI7p~ZWeY*Dyt9zWbQIq~8jIg| zG0zxh5orTfMGQ)&k`%}VC4Rw6Jl3!mHfle%L1}6g&0ZU3R(q_Ynf~r^*jlf80I*&f zYay7!jE&(LZ6ll-5){j2O2}M|mqSHxhuw(=m+ZDw0kDAfx77<3HHCdoS2og6g%Rx>rD*LT8@b!p`oIkj z5ui|LM^sN}7B%RX=k2Vm`;jcbfUNK%0}0r?~S z^awi|_uhO^lQ@atBz_P|v<=$U!tucf_BkFc{K7bv7vN;+V%2V* z^%H-(+|So5oVktL+5Npx+zNqtL>3fd^fr>^G+<_eJOE?MsWFDkj(M^tQ0)+WPmAw0 zy*|Q4`!pXnV7|Q;5qKAPl`uo&b6M?%g4fAXz{%^*`j1jAyVPiX?zPQsm4kf0Wts{@kH@56T4=Mu~zui)mOPQQwf+qWlx zS{*6LC$>t5Vv^n;L63@Kd4l8Rhj!S;o}eqC7o>Io5pDGO8MrJoA%Jv}_$C+p_7)k) zTFLRMyE<%+<>aZ>?ntysUUa)_V%cXI?dE7H-m7(j6IQ5n*^zTm0IV(sc~XcLX4=>_x!1=3bFD>*#|*}5Ok~G)&BIo zXX0Yzy$=QA&VltpJ>b$sXsBIsL?$o1&g}fL?!H;n`sD%s=_9cTl*`7H;$D$AK@M-h zG)o#tk2h*m2M9+x&2d%5R!B#jcJBa<2q;Q9m0}uPutG29(UKr49HZDf%P7J8bFRnh?k*b_*V+Jk+1juZ6X6nRW1BAa*@>r+EYVuTyr0I z8(pHaDm*~oI6*UHJ<)-1c>0lW{Xj@)Ihu6i%@@Y72V06QnO^X& zNPVjyWC}TUoJ5|mod&nl%tNNo9ObxO4euMDyAHb$cSk5wsDl;pM&vS?!yG&?A&-JwLEC%~&rb$kp^25ByUXYqqRs?JkzUjt`Cq7{OqEu|TE} z`Mirs6rya1ki@p6mHMv}28!WDm&Z!d51MY@TCZH|* zOhF0~DiY_6e4{GdEsA^(!t(&9MBdpeNxI1s-7$08FQ_`Owsp!B(VD8?;zMC0>hm*L z1{O0o6O-ROexm=Ba@bqGugyqR(Q>DFZZqxB;VJ`eH5^=;Vn`j11(Jtd9ueY9oZpfO zVrIHB-}+8HoR;$lqZpswpCeUY0KkUHD&5y}A_(iBu_Dg*$sHIIcC66S0ru#^B=`xa za|9oD(VWB8j;=(A4oUZvHkO_}F!+zBHnaJi;i5vjSnjakRS&O$IYCEW6P09-|JKNoWj zJ2qcgsFJW)sq{g6zqP^QT1umpk8f)#^y8DU{EFXX$~x8Nd)>j(N3JLg%CUo3FGjg* zB}9BTfi&%&NJ@yeIMpeSaUCU7_5Q$9%co5Gfx(M)y(=yJGHNcm)}+VT#Wzpuw5rxv zdo?-Vqcw9~DrTyJ*unry0B9^D^xkai`w3xlZr=GO!vbX{YVs4q#KgpUkA(-AeV+;k z)=arozDG5loq=l}#qrm9Q(rNP=NqFr)gk7aFSKSrNdGZi3JMp1pH4+6>FX8dSJpH) zfM1aBOb9Blz!M`C2&@!;bA`I}G8tC(MRcNN(l`RWRsk#V=MT+ePC&p4zE(odu!3h` ziZWIn^e+r%;6t6Jfnj-_(%ldk4C^=#y}_wXA`2QiTZJBo8M$684zbwd>(ljfT_>r6?bHI%&Zld z5G3CBjmnLV*A9NbM-=2F`={1*uSyRIX>v4B3Mw_aGfs5G!SRj}nxevIMuau__TciA z2xs=aj&KdcX8eu|YAga}ysj;Ae0D4!KI^|R^8W*)Ihbf!*jWe|SU6~z;&WXswV7G} z!OQ<*4Xppg%ghAKZ2!X7|3>0}`NUtK@IT@&tY&8WFQ5Jk6WIPS_!o0v`>z2z0W$+0E``#+GG@nLpf<51_Mq zrmAA1s>-~C;l3#Ogif&56Iz%;5+?AwAw)ui2q|;nS14Vz>^G{c#7AuRhY#Ic(aGSn z-{ABs)wfoW5SdCXZO_Oy4-Bzl#O%}cHY91{%M<#+Q9R&*3>!I}TzoVRO`W`y%k67a z0>>X}PiH%{Say;+(nR?a@bx-guBPRl^`-R^7fJ2A>KMZiOF-VqhMVd_H>-^32{Ut$ z2diBlB}*sU{ptTmBwiu0cjzHc4|jK0`SMZT{q>ff%nOnPx@*H~jLGQhV~Q116!E4g z%(08eZv}v%#HMSyP~uMw%M(vdgltLS>;A1aBaQ~Qk+N)mHrdFWpXL2M2U7C}{+ump zYwp^Nw0+<3u^rA-zwUxk=yVWYqwZcVfIK7y4W!*?7Fg4U=VBpN5!)ME!@q`jZGd|X zKL^f>N&T~r;TXHj*Z%2CMO>F0ndDSSf2s9A#vahI+-U4p&STYIdW@5gN$Pg-w60&$ zTZSM)ueYm!JPo48z&0?QF=#{Wg4%U7{oB7e*E$a2${5<(XEj=$UdZeM4H$ib@bhHy z=FfQ940c^*IRQwJKTE#r`PpRR_K?;C}JPab+ zbJIX2nj4)_I8sEd$1lu0XTpE`!mS46G6f(fwHZ`7t%$=OmN1;QLiTdh@3r8f9cM5` zX}dg60LU28;fIUIdsF|__-q!e;Z-(d-M^-RK(d83q;_}B6JOy-8wLjryy-#7aR6b7 z@Y5=p`*$LAiN3w(m%S~eFy?u6=2>{zXQ>kI+1CbYuR`o&WpBT@@zrI&#{(C(0tR3! zN_%hvk=p^ivv!03AxQ8VHhbvgAYu2D&R=GwvASN)Af}%m|EAezt$z&<|B!2Y_3Io% zTfj`THk_5J5ju56co4B6&|cU|K*|K@XIK%0QAjcK@tV4z&v6>JAiI=x8Z9>!Y2#`7 zM`uN`gnj4G(VpUYl|8oG#G{*yTOELWvB8h>s3oN;h2?T^!un8;aL^d0rvFF!6?Fj+ z2)1Z?1?(8^@@!aX%sgXTpNdUbVgHN^8x*@SeW$x_Yo3O5fE6Cd<|YdKq23Y(~S6?(Y1``deA#TwnE041hoz2iR;J=>vD#Rf< z@KJtVrf`hv`YH|F4%G2Ezfy_7<4n&jYdj!LFaLopWdiE-nikuZm|TR4V8l1Dj}{vR zUuqdKxR|;lgfC&+O3k2LNS309ts66T3Er1Z8pi8`lF}R_qd-OaP*(!L|2Zb)rQE&-uYxs?NvGhN77!knv+t{2s-FOV z?4r1VEPKFtIE$t#9eo$Ig)!mqlPw<=ToLoJ_OX?dRXS~wN$8Uy$rgPh6B>klJ-A8> zGL$$*Z0c}P&cw6oO%(=gR?y-Wu}LTYtol6UaAVxdUsw%GDqp~I1eb3RZ5l&^)_H@N zK+KM01ic>r{BP^+v=2N)@Yo#^km1z-YOotRv zN@5l*eK=8Pi9!Qr2JB28)COboyl4vFZ^tkea?`8c07p~&Id%&u)HGQ5tv)hU68sp0 zp^XdQ)fkya*s&xWXx8D`0F%DoUJ_CZ5En|m1H&{Xh{(9fdy0IM;$%zBDTHZt%Pb^? zU&jskfN6?Xj(u;9@)q*4?I8DBtF;wtTv&2QJ|{9J8W<5XO37ASNeg){6)k<Ho-wphnFxu)Qb)Mf1;QMaBC_)gfqO0};q)IBZd-vSh zp9GKJdRGxLb#68)eokD9J@2?Pt#Z4n(YfscjhsX>c#8|%%&A>(#RurV7%({?<9m1s zBVLYBgP6efHUo5qJ# znny@ZgdEpW$p2iS93kifHj@0aeAIGhcl%&--RK0hgBBr=O)`j=j9=c2hREG!n9hu_ zHmnU$1?^xuDveFXmm`*6dj{;klT)28-GeC+rSmFHc0%Dc6bv=Vo#2JgW;&ZsuhZh$ zSS%BuFaQkB?qt&mf8xloP9LVyiQS6Gz6($1)}|M=a%mlI6@r zc$Q$~pX(e(^6gU`UGGyyzw3D%w}xojr$8iSwCHOA^J9*L_Qn@^QGSHr9qluuXud$< z=IOsNa6@LG;2vI1OlS*aL?ajZ0%dZ>fMTbh>hsPcSk>6U=geosGHbD1kw>0bb8>&9 zsm>S`C;PAzgF}<_~_lUe!=S&s_E}9JBitaL!%&45v;}T^hsF zX_MdK!WKo0cwSc?DKYaUs37vs#1yHR`oO~VzC!X?*rF4(&4WW4fYS?I#7{E8QF;N} zFpJ%$3V`UXptnRVf~bfR=K!s8_Z?Echsm z!EsuiH^7Q1i~_+qkbGuhgJbk>qPTl5ei_-qru$5^$4Fn%XH};EQ9)&vGa4D-kCEqK zWya2n0*8|zT&KkbL+7W;A6&w7{z-EfCx}tXqxstm!vvLYj*;7C2Vx~3RR(AQ5%~mQ zFNX?NA`kt3w*&N&$qs2O5DX=21fS|<=*Fr`!3vY*!RGN`%G&Yrewc^zlP-LZJ>P}_i9J$=j1hVw*Q zF|J7V56Fex^NBng*L6^}DxJ#aO@RlX=H>kT^+><*!pi2M|4OwxZ8tiB>r{ruwW#g7 zZTFq`6N_@g1d?KCCLU@0`Fg9f1Bn$)?brhhYZE%XhMq-bcx&Gl*B=8tr}-2f+w&wo zPkD@6cBisN&hjQy%V3^-X;NjUP~#c5<9j*vTw zX>5^!V>s0bwUu^$d00Ap5=xH%(z`t@2zu@{C@kBJw4=;Y}BdNEf@m?rlCg+Q*_h1(wEe{7~ zY#nNz8;&UZ;iGP>fcg~Q%JE74)>c0=G-y+`DwXSHlW?lqrn$%T!Ph~+NBH8fjFf!O zls+px?evkw#9-FBQmwwK+G0|weXY1wbB~3zd9it=h1TxbPuKj~EU}@WsqJiXn<=}3CdAc@U>LpdRwt8;4-7VO! zfd{>U#&=&5=WT6IHAhW**A59AEDiDkgJB2gw>m z!D+fB)pWY;spXbcT){omgT+_ivBqXH%_`${1x4k%k)O>5$OZe-ez*P8b z)q`gvmqw-z^>#>iU)FRnNmD?Ie*mV@Gvug8z<@0IKzR^imsG$?f53oaW=zH3)7dg& zGnJN(mK1huBgWClcvXrD5p%`zd-j4*I%EPL`~sG>W^jb8*T2LWLY@f*nkA5}<>G8J ziH&7hZsYPg;H;P|qB{9(ua3S@h|{y@d?9xg13mr)y8ZWctYnnQghbK7=3#U{0o^xJOAQ z9{j@dTiTF6nlq8B>L>&K@j;5Q9Cqx|VLPUvMe=>XM1ldIp$T#EKeZ`{$>uJ0{7_qZ zP9mxHXTS?XKpH}+wwR#(9EM*4J_+@r3O!&ogVaD7%@N8x7cP2bDl1^8Ur{f_ybJ|f z`h#SD{(#(M7hZ$(9ATt~Fd}e>n^I$*uLWsGNv7{RQF?2o5dzDADJC&6z9LE)>1pwy zc#+~0u@(lP81+W%q6)!>C4jT*grxE3#IpLqqGj$Nq@WxA#w|LxG*nzi_6-%wQ>r4E z{j*~1&Uu9DGukmiZr_YNuej@5X4B1dZstd6?Aly;A(WES7 z6JEj6NYckmYSJhs;)**G&>1I)BxGzhuu_~nS&I#5#FIH3JYR-!C4JD5S-e59R?W!f z(xleWp{8R6Ku8Ab%zIG@E_>$T+_3-F?4oj286T{9T{mCp(4s@{w{VsCW<_PY0ynlh zjh@q{FGtn>^^Q@W{Lmkx_XLCJG%0Ge6`!WaJjax zYHEMlV@|1Je42k6=dj3g!dB~g$Si~k>^6k%f}(@cmT})AG~d3F&qW}vVS*ykw{J07 z1m%yBpf>%u|J)X@f7&6}hXA4KgH6m0HOd4Kzu;brH!$|QKZY%&yV`X1v7N^Qm$oE{ z<@R>!Ur#G1Dsa}4mEr$1eC+Rst&}9^-Aq^CVDZwAJdbDiF$LB@u${ey|BheH^B}UT zewZq^`?Ifk;_u#HRTmG}p$IG`1_bc=NwElBba?Uk5tguLeg~Ai$}QFilw6%JdjRkl zWxl^tYQdF<$i9-jF!lylAY=|Goh|Z^laL)3_iId6YUzK3V?$PYA}#s$l!#omhMXzR zklmRr1px8FX~N2#o?>wtN9?|CzN_tSd_zt`rzyp0o30!s&OK=G@N9^O+!+kiLe1i> zq(eu>TH6|eke;0?T06pd~4c)=wDyAs?fkA@S;|N1>8&@MvCbl!t z^c=CU3u{1Lvv3lPoJvj*ihM8Xt)1*Bbztw9{bH9m>#6@E>m_qOVH1FPYFj58x&{(~ z<$z}}l@EFpw{zQAu~CZlCl<9HyO5gx{{UP-qrVY0T$g-6-d3q_QmPcoH&UY2%q_)a zWJ)4z#NCp>FyAQYRb|^NTSl}c0t^ySt3-7he@n1|PY9Iz?PZc&$}weyuehf*WW`cet=96wOb+ur zLTc&KzEropDZdqXLD8O={ZhNCKSgRg%iU7t1G6NHSkUeF6k6)0S{-Q0map5KWLs3U zZ6$f9ovF00%_Aqa9H6r0IwMQMRAz{x$;l~W`|YY|Ma`vbnON9hRmmf&f4wKl??AYo zyfxU%Zx?6{>VYiXrYQ+hmf5yis5X-;=-aV|yhDWD^q4&=3f5MNl|5vgq9L!_k_= zj$b@t3Sub!|CQ(1uRQ#?;JeQ&Ei}&Ul!<$gk3Oa3d-1MfCI=GefADh3AgfTMN5xO# z^b|;^&E##Q=tR@qXoIS&2DD|mEMWMRBv?J7FEFlL@Lp}FNg1-4Xm9tizo*he#9l@5 zamJRFQ?MPcv!u63sPtr;Mhp{dm0*>c5u+ID2Fh63MroI_tXgnXo6-n^M(mCQ6q}LT z%ho!6!n7lhN^!V%e_ZdHNx2TzI&cR;jr`=3kT_?{FppD|-h?Ph#irj@f#~X*X znIsqq2Fg;lUJ+J4tls4_w=64H;C?xBzqMeycD&5rT57qNf9d4Or(kRIwa>!)?PJPO zvt`<+PCg2Ct!^G^*WMl3nY!CoeKIL;nPkOIjdOy8;!9NYWEw#cd7cH|n)+`=>dzooag=pXQ`I z!BulLF+j$%iVtb3mJevO}_@|Y^*iJz05%kr2yCSO`YtnomrmhheLt(L?w zKBAUJO}m`9Sl>rZao$9gmjHMNcC5!;kM9D<{;E0SE?K*(F*k9s-P_2;vA@-}gIugQ zMjPRre>-Gdv_52AB(2M_W37u$TVuihIWbbi-Ny$1v{Om@f1VU4ed33t`jF0S^q&5Y zoNuLQtNvd<3zO8YodrIV5vudrv%sHTj#6x;w|5p=+S{{mNJ|?j9_CWHc==Xa59}1G78|Wo~41m$v)^4wr%;0T#2{vxp=DF*29Ho&y!L zdf2Ed0x>j}K>`-HIs^eo90D;mmO%m(x0oOSN*$N3vH=wlG%`5~FHB`_XLM*XAT~HK zIG3RY0u=%`IG5mi0xf?O+}1X!h=fR&4Baq8cY}1NNDMH*5JL?u5`vV{DUEb@hm>?m zgVG?KBF#7Id+&SS`~Pcw->v)H5I|Z* zMS&jx1afl#fn1pM^x9Ck9po=JCcQ4i*#+tV6Z#K;v@-+@NBDnaz;Fak#Q_FTbhQJ3 zxB(zOArQY15D4G`0tNpCbZ`~|$bj9T7626vfT9Bo;(|#p?cnI?47IX`Bewb162N56 z3;+oV^0WO;2T0mOoT27m7(fLKw}#jwb~Fdu0kj;%uU${cVHI2!;Av-kxB+qpO(^1**@V5l9~3<3DvIT#=(sQ~~Z z2K;M07jtK*Bix0<1#0(eM9yDj5T`5)vygVMw}-&sE||ailYu%z%n`@#$@%AIZD9`X zFz>$%ODN33^4Aa+u8y2KFsPF&L_y{+2*QQ=x6cX!2k-&~__+nR01zht#KYX0^H+Io zPe;h_An1RW8!>^8x1)n2z!EV8#0P2#LHuBPyMWyw0JyU&#K-$T1OK!zK_Gwy)Eo{l zgIGafn15GCxFME*Y{ca|Lp=b7Km_+d0N}6BzgI>GdRaKY>^%R5|Gr;NDQztcxfiT| zCjNI!O3J|l;LQ#KuygSO0U!`R2*8h6`24eqIv9WYR~Nv)Qx#yA4ge7FPq&C;`d7zp ze-VJ`FL5vf{#i`b0l``bfa!0NzXb9E%@JRq|1;Hpr~LmI{;SIWM)Ln|NY2&H?su5! zcl`eegYBVqo__%lq;-WO1fb%8kOAz!p?Z)%qE&%dKwa(sJE{N&BZMFcvqF%W9mK-{ z->_M9TWypcW{CJdRq`#K;VDH5c)E=MZ6y_2wwgP zfn5+{ga5w9Up53Gr+@Y#3p01H_@z58UOoWW*%|DKiMV=%#S8ETAp~jx@%YVb04E2` z0ggxkAZGRfSUNak{<>xXAb?Z-m+Q9$0`h+XIH7-=2tshe{=?)4aJv3B|IvfFtFtqr z$=}pLH25$3_d@`IctFfC=cXOZg#&G>0$VOBB+1>`H%3Iz50ftRx!6Z?j4|LnvJ)mN zFbKM|0W1DtWDW{9{Z!@Rf>(x{>o;>I5RC3>~sLZ0K@6VAZW4(V;&`f{h zHXvo`B}hFJ%6INTQl|`m^68Pdg;kFhJ?<;Us;=2scLst2Iex{U7S*;-6$PovL==L$ zd#jr8MzcQc4c;>n#*9__$Tw^6UWO*BexOkjX}iRXaW8+e+&j>>h}TWo5$><(7O-(d z_ZE&PE8IsR!}G9QcQG61CL`Z%_rrfvZ?ot4Qu54(6U?y%Q5z{edb?=8!Q}(?o9{PW zKMHsH+3XhGq)L7btfAz?bxbwY82Y?%P+fWIzo>Xdbw5CY>i?i6vW)vkBK_H3&WU^r zkfPkKyBG(cvq~YVbp-tY=4f*ecBSIY(KfTipaeG%1Q3_N@Hv z@MSts5E}fdr|^4+K0lSZW{wc!mu~z$LXoA;&=}E#b{sjgW1N)|o(zAC6xCjDg=-{p zfUY6Yz=7sVEFNNmcV!BT;jEPeudtT@OdzRn4NV4zl7>KEi;|+3$!}_xyk#0(ya31_ zv$4OKXFtOFp=#Nxntjs3loRlAP!MAi^@iC@&x^+8=EbRCc^`ii!%vNeb%bOLD0iEq zZWI?coF=hcDBjl;-1C2ah5LhF>qFn-aWHn7#yAKB4`aXCZ@+)ZEONZ^H0)Io_lXRe z5YMXabw!su-GWn^dWMU6edqReT5x^_y=+0T6@}WX11~P;uap|o>tCe0%&)AHCPdR? z?nx!qUOtVmG6vj_P{{I}B0U!*+2r~#kGw=J`DOmR2BMIF#IJvY?9OXVG03W8s=7pW zU3eTN^32J5cK!3E-${Oi|2}6z2*p!Ew5ULWc%|#xU4d@Tft^{J`Oi98caK<8dgJGX zN?QYcvkeKvk#6u(U-jDyi!7;d&QDu`qxTN69jsF^lZEu$hHCm3Y3@s^aG7nAvL-ZI zw%^|rPP*5A$fAFSG=_!?S3jJUQzzh)uTpvV-v0Ru{d++THxvt}yDffc!$O|E)O0-~ znryRJP*|$D>P?u!EhjzuK{~|}(zO^)bz=&{;CWq3Q>x)`>@})#{sn4{!Epa4>ULaZ zjy4?G6^Kc;bb6n&`KbcUJT0%I-CH`Gmi3NcTD_YtqTqks+q0RTvTR)ze6mzy_80Qj zMp2iyAu3%KqYM@9mJV;$YhP5GcqG@UW!HYWcWF$8P)7R>mDhVAc~oD)Lq? z)y~I@4fcOT_WXuTxy|YB{S(q(;=Z?NOGPoz(%u-JE+x-eE}4TFHe`s@B;nH|5x$E#`VZpd_C6=}WVPa?;^PQc)e* zlC)xt3d-@0bkmbdZhTq}_!ivm%b(xWzdV0gU+IXmA(6FG91OpI%sLs79}!yoy8RSq z&6o$fnT$4w5wuaIoQa^GJq9Ht82+G1{lINS;e5n; z3vmEtXT9itw>_2WoL1>Wp$0v4k*-OhFkB&rs~FG&fv{BNzy(;@52Iwaw*SR7rgjT!+6`{ zHs2Lu3>S^ni=3j^VrR@~;`SX0?Kj7M2P@i$)(4HG%}V3hkCR)Z49TlwOxD?(zsb}6 zd8@H@93TuuE`nOKbvr+Sr?xCCiD(NjZx1IFBbT4Mh-Hq%cAOWyHm83GU*843*qfzo zHcJk_a;$VFwc-x6d8V59jM1M!q+K{cJ8gcoJC^)SI{UbO9{kpKT8{c%P#e-brud`5 zY(p-p&pxc|>W`_ee{An5F9^zQKKqQiYN`7*;%819&*%OV9)P}YdsGE;_1H1%Lo0T) z!8ww_xk{E$`xPIi7#)9{s0VGM2Hnv*#uNQwn5>_26`#pj#FC8Cw^fG~Qx0tjiS~WB zl2r*`N2+wa*NAb{^(S&<;5QU>TENqAP&l}~sntzDi&Wt<0(VDV0y>zGs7h~E{BB=W zTF!B<%0)UCU1G%HYU;Y(L>r%-q8*hzLOvgQ)m_LQ=Q!)}eE)y;5VaWhecD4`amI&R z;a2TlvqW}P1+l>wM>}kp8{{L^v<-P58YSzbOh54)**lTI8J^*4&4*vZ}D#kqP5gg z$J7Y3cO;@q+rw*{$=5ycD7``Zay`XE4->lHFozk-Df#>PC~{nkNl*^(c;PP1gWBTO zWVq>2Y)RStfk%0S9VxX6;AsK0tYXrz%W?{e=(mpQUp1U-r8}V|$$hi7Mov<%sTgwK z5QLQ7rpJH1tXJ38d+Ed2#EbKJ=Lw*9UOK}oEfOMf$kh0i@Dnh}sb-wgY18}V&{SY(M&5>P(|>)QrmMKAPPJTPT<(OavDHr+;hIT6nI`EGk~zmpXAuOD^*dq&oWw| zy3lhbG<2Ic^YSc;K42PC&G|`_j9NHOe^1kMq%(@tJd9m$l_dcx8I~$dwu^Oo_TsxT zJk9BE)4nF7+3H?B8bh`lOK46HCRLbq;R1hvHsdX#ouAlMFYS~fGv1?=2Eh4gjn;Rw zi=KL@#!KqTsN2AUHEJa*BJs561SY{pAsZKK*Pb z_bo+-im_qc^VQ~nEYinw{5fv&8_G%pIfqQsP9sMb%rNZGc>0#J{td4M8SFMbwqVRuyP7l{~e3JUt_lRTzGao?xGpo5jO-q%O;fD@~6O4u_e z{^M=;IE2hgPC3bwKJIMmo$}$ORhjC1T5~S(H4L4E5G}7&iR7Gir>*$%Y}%w<2tNep zxp5^k`l=S*Q-QvgffuxeHImlMl{iNi@ZUw&kWnNQGiYdXK9Cs#_;*a=%@ z1Z;lvt$cV(#v}Niu661?p*)66KhVI_nwe=}OZeDOIH4e^v10sY5^u|sO?LVCa(PPk zx@W9U(Ki%l_-D`Q!>e^Q_C;1GgWUu8GblWgZnkRVF6a?CNfyy0TZqr*ag~3_@|EG} zI-MtFZ^nEfYdAAg47!ICQ0d3I|91E7;`mG}yficuo)R0C*Fy7z6CTK^;vZW&{dCa1 zdH%;GCZwN|pVb15LXYZo_75{AzR}(g@i}vo5u5BQOrwQX-6?BP_Ur(r8PC&8U(YM{G;!bNb!F$Fj+KE^ zOW?--R%C=$2Sq~7(vjXUfr#bQ7F4ZeXkRQ>UnxTQkc*~AOt73TG>v~!=<89b@S5*~ zWPoXuEv76lwp>LAG6jj0ja>@fD;fWpE0H4Cnl`0*@WlUNNu7LsuV=g-u?REO2+Cdeime>omQ-E=Y!MOmXng4!=F@9jRjw zC9{uuG^$*#;oxae?aLGg#D(rHA-*{e3#*PF|7t5#LV4c-O=mv*&~X*W*y zCC8q(-an2;c1=f{eVS8}c(`k+)Xc z@JV^E9;(5j$wD_XXj_sb+cR^~uf)v)2ASl@6CU@mMm&om!AdTu z$L*yjR1W|4>gt)3oqKM^+k0W66IXUN`r)w*bRs))8Vv_#f3}+QPt+wPxd$JSQWqZK zVcp7qh!|`<)ewLB*q=^Gfb|_XeNZp+4YazdB-HbeRrH4GY&K*kQ2*x>?BbeA?zLI= zmr!0ByS$2S@J#MID5IB3XNvef#-(k~OQ4I&(^r%*_wc#FNm+66i&_Ei$P|{ZL0w_` z*i~tH1c`B*WS{`HCB@E@!VtA9&6<+a_w~6gCBQtqF`<7G3LKIXA)K~MfN9S50~=&r z?zOBs1N&oISK7ufWz)raHROEBBC#`w5GLiYr0u=x01xqgU7_kQ(Gf|Lt+|@h#XFj? z00HuR24;o%ofwIjlFWCxnD$Jf1%^C4PW8S{FP^y$Yyj0wIHTwCcg5#vTw@#egX&sy zgeBh90Lp(yre-%Y!V*Gh%=nm8Bkp}HbQz%Mrtf!X8tAFFC`@9qIeFeC-M{?-w4ixYCfQ3|U|DC9$pF zJk!L>|3RkRaiF}l-;+O&Q-eS0jp2er)q|366N!Js)UjDu97|lsMZbLr>T^InNOEcXud za{d&*WkM3j#L#Dr?B_lVLKj)Fl3YCKE$v?rXg1O1k1Zh@fUxY)o*n;GKXNQJW0#LL zdFOxcaWYubc1Iu(5OTyuoAUDHdD+k`h!-<>V^Nfr9cQa7po^Jn?s+%*b_4cH7)a*L z$DhL@CJSCDg@p+>&hcYkao-iG2Xff>)olI*c^}*;qyzBI zBOGZdVsXvIpy~^1Xa>p&c*c%Zkg}YT2U~wq9uqYZo@_iLNVF_0E$RkbkBU~)lFR!1 zM$SD~t!A~wiq9_SE(}W(p6bVX%Ye4wgh%2^Wp1~C%0chD?3tzsn{TPfciV))H2pmE z-qO3?D5q9EMd~Dt&}reP+F2?zCL$;t@~S#=NwcxR$D<+L-68RdK-FYrR!+Odr)z&2 zgL|b;ZTbW=m{o@INJ4zsrB!QMi<%*I%L@=BB=EQ zV(+&593<`TKe#KDF=9hxwyb|GCmPEN?W@@9Yw=U`A|dH8lu_Vs_~oad?(x-HuU~Xp zzKIIGY$cPh@2Pf$7*=%Qgo1oI^vkU_LL`ndx4swHYRFHh;_J5TXj19jo#yjXhD)L-|f zXO_6IdGn+q2;DVritmU!7_Q6N%ISG`==W&8O9Ut%D2`M{*>7X(C40vUTy`+0l+)>m z<9i*=SkLIUV0(Y5Mv8wnQfJ?{ZEQ*t$4gI5*E-nuA9bYh3u@z*fAH|JmMV6mhK6fK z#ciNuC5QI?AkVGmg34e&*{CxV6%b8%@Lqq3fCy z)}13=K>d3EEz**zYc(+466tMUq2%{5!{ElB6omPc-o|;yw;u?=u5`vFRMFZ;DlDZw z_*~uNrmpx_YHFfbdV(9Io4rRQm^K5SA|zLr591e{iKBl;+k?Z)blYAg#GW2>8TP)DepckwkBm3f?k;uj-9M_ff@L1ZUqwAp znVQ*EFNO7DR4Fz0J9F=tUk%2s)&}w1!A79TIGmYw^@gIQwv zW*%#Xx+T0<X%z8Lhazviv*kQ2KxKpQ9s|A0tZxtcyiJ|a<%WCUPOp|BaupZ)x5SbRP zkWTjk<$yXnxN)w0DdCF^4;+E`722|OnzpcD~T%1r{3bHg++#c_me!A6dZ1v1u3BYIj z>Wk^pd6J2Q?(@)GK9=goo07Znk7FXy7YXH!1;X;5@Fd`K^cfSo*yvIx2_{D>Gz-Q3 z52-jCF_*FY0~41T&H)y;@>>A}9G8LV0T;JihyhV5mwE;Q7MC#20VcQUvH>z1mnb9x z7MH}b0VTIq&H*hOm;XQl6}On_0pc8&v0VZe5H~XlFHB`_XLM*XAT~BKGnb(T0u=)` zGB%fC1OX|3cn4II+tN1DK{^7`1JY|kFVeg8-lT*iKp-Rtp@URu(h;Nyg3^&9y(3jX zsnSG1nlwQ=NYO8PJonyn|9`FTTUjf4=b2|_&+ProPF6VC42%VppeP5JItqyv1PK9U z04lo1mLMPi2ox0p0!4^9IZfbb1nh5|n9~gA;R#27A!Yu9q2d7pqcNB&7>yz7qL6@l zUI+k46abQt0ZGaLfdCO8Q2K8o%0mXA3igIW0lGqfdnhE#lbBNl0&!E@Icjdqt27WVP+ z5dyn^c?zLCoaA{006uWEGr$Pu3G?uVK>@#72Izs^V1HT@BIX2`IKw^vau}l=(LP`g z7yttx;1C$n6BFWvgu*-knAHKsS~>uIcNp?7vd&)w0l=Tl0f2-+|4R2K`d1=2@^>&8 z0ztXCgOPr4q!Yjqj(`F5)pdl>zGwje7zzD|EB*wVqsGQV?8qi{y#1M z%c-o4@&yD4ibw+lr6qs>5C|jzkdzdE2L$~yj{z9|r;h)K)j~R=0MdVzi`l2YOZNVw z0iHht!VCCkE#Q87P{DqtTnl}U-2{S->!hhW`m?$9dzkHY>gScXD5l@UXf4g9q z8T#kCYDfqQ`fJ!k#3cY=4-c>(G3Kl>mN*~)gqcbx%=fpL0m4E^6dDr(!1Ndda71|! z|2kMn5rDAfFX*=g0!jdc9l#!c{{cw;2A~dze_=p?up1od<@s+C2$RGE4E=qIe}kB6 zguRgPUyAvI{-bV)mxl*th<^(V)70Pg?;8UK^Myf(=cZ8**$9`{5pCzyN{l{&>+kWG zmOEmSEc>Fx(Ofgn1DtgTvNR?hDBD9{-5!2wFk2cqJ{`!&w|73`d;d*;PUvE~W*!<# zt#4I%Uoe00`_UUG7z-4|;4~`vG-j3ZTe2ZDxxF>6HFv7{^wlHDZqbd(FE6h1S`s^bp<5)^ zB96V};^kyPe{1r9s8_v{o=WIV{fF-wylPS6({j1pi-$~hYuP5>g-LHWrNlT3R6pfV z=B$EZoepJus}e=z_2AO70Pt%&=6~u=qKZq-EOoFyHpCG;3>US3{W5m@+&(@l86;wp zCWnw3`20dy!T`bIKI~}z@#=0GfSQ4m+CU3OkIiM-Yxs_U(8-HFc)0~@D)M-<>22Fk zcho+LV~?3;A~eaOJ!_|TJGoIy{PY8*8K0U2x<-2j)oI6@n435mY?POaYtY)EA#0^5 zJv+vpXeLUYZ$deLW1_Qxm7zyuDf37vWRil6+I6p#x$%4_+Gs08%#+TE;8nX9@0i7stV((!MMVl8s}B>IMham$J2nunAr!Pf z(iZGkb3AT;ilwZ*&~V>B?O|G=ZmD4szBk|xIm0OoQ6ca%k&2)64U;>*^&4oV1Q3DPP|$!xbI~WOYC6iSK}d51Fc%e0PT^|_nr)oNcP@aR<-5t3V-!}lQ?Rf-+VdC(xk(w zpRc%+sTm%bN_BV9fIH#di{bfT@8l_gevUeJXVYR`h2z>Ch2>OtzUc@_Z?YLWxp@PB zkY~`U26?LDOT83v+kMfr7?br{DaV#b0E3@lQB-)dK5s-FX$4Sn^2-D#*(0I|4U(4^ zDMtP;sE>{uw*sQZY$;WpKONs)D+tKUTv1LN-kuJ+=<1)#^%QaBRyp!pT&cDjsGO`+ zw1KclrPd%BBp+~x(|@_49epL{sxL=>xBH`9aoQA+Qt}BQuwZ~vd%Q^Z#TENQCLft3 z;R77&k8Jo~&n_BAW;ZAAqgumkXE++U;?|E2Z78J>X^Cr%p3Phl5pRT(R#t3zv)D}5 zdqcpaN7&01dvjy8%e0~G#_ajBiJNIxUba}qF~myZhnW(}a+LE0-pKh(lU2fhSDA@5 zqiyVu#?MNrZG`dP3kC-TM346mD&|e5^FLwLxt96r~rvl1I^-9CA zzBzMxelOeF&jnyL&n)Y`qzzkJuQ2<#HZl<22`PLHb+ZE#*ZN00NPBI4A;u!3IvKhLc5xq%bJZtulIBR<&TUcwAzS-Ho<~_?I?MmWD znLt~wnd0Xz%b+?qvkFLcq2C4NjLGa9Mc7m=h6TbF3Vql%Ytr9K#19u5 z8EkTVX>6AH+5UldusuQT&g^C(l)Iv5y^~R}xq;-Z2$nEoAAs{9At-8pu9Got_7fe6 z+wh|*t1E`y0v$4`(XQjUc*yWk{V3|z9Ck%)wvJ}uhZgNm$43phycs714|4fu<{_4T zX?^co3-hvX5L4UfzKgrI7gVez08*LZUo&za=Zw~jotC1FO9o$(LlqWkENF14dBQEj zAN8KO>Y3MDcI~Rq-rZDx4ysMxa;=^3Ay_in<@q=@YAZ6!Ndd%Gy1M@A7SW0oH$uLJ z2y_caO}_nFDn@U(-a_*#BH!;Bbzo}ZM{icDZ~PCFUgoj%K2fWOBz$;1hm)e)zcVBJ z>Xeyw2R-`;=SmZn6**_1Qn%%;x3|HrArVAU^p$jvATQUZ9+aYR_k=%iqnc-} z*=*`yDORJT0wEcu?Z{|;%YV@$&u&-lQiDB!yG(32(n1$d#M61ZC#@#(8@<2qr`m=& z{|TKQtBAnn7}Xmr{bGXT-1Ugi)}A!KX-6YE zYDP4#^R2N=LVZ1dM|2CA9~s2()jfy7N)wA5i#o7;Tt7zLW;xdc@k$bwB*NL_$9len zaR8ZTe}vYR_n0ZbJE^E*{Es%I`uhSq3+16dUHnY4;zN7t&D;jQJYA-LQ2fqGWr#lc zDEZrLS4-9nX@9)db(3h7#bDuH^uw0qzKlq`ViYsq?o;W1xPFh(DXqu(D3>bJUF}n9 zUzhwAAtC|%_vic$pz7(@2P8dO*$7pgZ-!PlqM>IE27*Y`aob@#_uVne_9c9n;8&3F zIayquWM~|pn)sck(5Qo#sD$(Y8lXqhJtW)p2WDZxoqxK;z#ofJ1ov*y)q-HV0`Jh0Gd`{6cO*(N2L^}o@#Br z?NAGU?QZOOvj%SeIjf_0O3WX5iI97zqc>}(Oxm7M_GBi_>x?Xs-P`$gxMiyfFS)iZ z+L!UX`|MMbNH^QTtwqzQi@?50Vs`wHV_#aWpoKQcMUMEfjRK&2^I3ooUX>lWxae7-`kvE& zWM{3|Gv&<9wd}7-CFNAh?GIj$?hli*E_E%Ai`5gvvP8X18ruU^8aUqmKvZ!gFm2qI zCvm*mhR5{W<7KgR^1>T$`_Ck8^);9AbjO{+zGoU7Kl2zP3b#jvg7TY3ZoYfcSVH${ zv_t)U<`YPDO;&Q4-0fFy9NFk@u<{Lmx0eaw3vc+~_r@4WweTp;%{|WYCxtY%EB5Gd zX}LYkU3ejH!S>cI4R$c3ID()hGylmxVWy(FdHzi5gDc%sGTvRk^Bg@dQt%Uk?ZT4w zKB1!iZ`f$Py29RQgve`(CRZgbnRrFt)}|9Jy*v61VZ*Iq~UJ&8zQH7 z{^&-#1Co?EKHveJgC&nV`f7!cJow@j-ZilPZaLIS0v~@c615keOjB5#e7ZrJOg#*lTZOr@D$p0p8F+&p?(Ou|pj$52dFqr56rItKN1n{+v|SDE zvlW&5=`HTOxUYCm@qgslv1U;g@YYQ6G+$&F*5B0CZ6U6&jUau0(C^LFP&IU>va~L$ zht;5C*Pp&GGZ#C3G1*hYoEonQt zk5S2^CLh6n-EiJlly-G=9O!DGX#IH0woK{Tndnv@4=)U)OtmiN}QwT^zo;1Ry;aEkGXZX4{O|^ciBmGr#>ve>RyR+Ko&o z?nT0Xt9>FP>khiH43yqompfkwe{hFw^tORsQO}Zf$p*2K??1Y)8~hA1%_B1lORP~i zeH6J$ZIvm;q8;rNg5m(4{uavaV^>lITh697QGK4=^t&?AWfn-p;D4Gi)eQeQeAU}q5IwsOm-;h!0 zMn9QN!Z$Y6AA$6fxrnH^Sr>jT*O!zJbv3_mEi5Q)#~!w*;tqek$6Q34Lr&9u*R=Tc zjNZJI4hrfr?>R#zN)aVbl6i-b;UIk+&25nerIF@WldRd-Tf-;JgvLn)^w}K7xivq3 z6ON+4*?&Nh+d7j#QwU}7rhjaS9f@z5e)@ye2jxzEyp_q8sn%=oOj2C|b$hhe#eiIT zC zt985FZd>H;`1$+vetukvuV|+3vTEzmoSJC*d-*>~^%Y-o>LzQ2EpCybi|S{+@xvph z?lUwCJFJfP9O{~>(+mN{e~$3GYORZyOUpZ^2bDGgD8|lv8;(WMQ4QrkTk>6h$|8$; z0@;h}z8vo*O%vx03|iAn>cl$dVJBEp(bV$JqQoU#X_kJZ-r)=;&`i0HB~alz5_s%c z<>|XysF{0LU7K=sEov6;{jPKI&1Nf!vD=TZ+yoZKos9*}t*8>oa7OOk=5DM$8^D3gidIM)|nGFXd$@aeG|i%|o{vS}}h#*7WK+pdp)cY5$c8d&3~*3TpB z&Mx<3$PqFllLg{lw;K{pkx43Zs(lI&$B)n>&Q8(T075 z$3DtVW63LR*T&bax!LS9Wr%Et{ZoJ0=9&yGzp49bGk9-?w`1HrN?dhG8Wr&syJ1{i z&qdQR5IsXNXydbgFTI@1p}V}B!tO=`=ZkY)W$d>_>b;0F)L<#%=ls2M)t<#xhujQ= zw`!V;PclAlI7A!1W;oujHbzk8x%8a^lIR)y3B2jCC>BFj9&!p%Yy02VyOkdsv2nF} zMys|>Ag~HE6Pcit)1^aE^WG8+y$2aE`}|U7g28l7WV}g#eh?Hr^EQ>8ywlLU<$1XN z^~rd$7@xlXWs4A`>Bt50q}-D0YU$JL>?n2O*KN5SNvbE7w=?Tb&)@EE3n+;rhqRW| zW7C9l6t3RIW-gQ3fIWrk^!PSjo3zvd#-)>fzHd;FGhvxv_{_fPwgh0QaJuo_qwLTd zx}fKa?p@=5aTZWre3pHy+peU0)0_Cc-vJZ#a)v$s)||Nl3KuFHQeMf_z?F;jwp{6% zR*$_aWzG39($B{?n|?36uT8wOH@;|6@WVKQ8mHRt*^i71l5=A!JbJ6|TPaJUjN_#$ z+44SOv|!chE$yzruE;q}!E&%^@=>dQblkBY1X>*{UZhNEP#J@5%+Y%! z<=%0>`%RY2O}s)mCbgQpoiP=;UU(v@)1|ABIqRHJ!8)zLWqg!HrQHXSHzW~;IAtdq zR`CXj2c1=CF%l}w4_G8~X3)Qx5p9{__pI&nL#kmNy^6G_;)Su+Fja=$RNPV+^ zy9UN^C)Bjs5=ehoX&_j7_?pH@|FDIfRZv~Q)~#`OcL<)~?yzxp2(H0xBZ1%>_u%gC z?k*d5cbDL9!MQo-uPbl&ZOxuty{dXWtQtMK##f%hJiSAd*gR2ib7L9>s8YpDzL9&$ z-a`K%M&vEzwQ-&bif`(|M>U{fyn?Ekg0irXkYl*=65X5Y5FSeqsI zeHw9Qw#S^dNu&uFl7hwB!adR{_56YS)(yiIE)#y4oSN%gQM&}L`CE=klvDAcQq+OA zUyFftRM5jI!FapxUD{f_#%HDV2gTFD1}lK2%IkMeKQW@4Ewpz}ug$ z4w2!k6-T$af!faUoq@Udk>h~*VdRCbd|VR$2FdEq>7_2q3O}dQ`8!1uMPbd1PiR`` zqY>KwahvnKpzvFSsiAsFQYupZS;|7xP-rcbqEN9UDR-^^EahPXs14E-N*!q2mR2vQ zJK_}DV`#jVz7(h?ycFU)Xgo|FR__1nG_$jDaioY&LE^x0u(R>~H&Crf!$Tiit79pG zUQ|_;9@byAnZn|SQMaE7B2hd61!H~{$|wL1te`;4NSQ$?sqYsNW-J*&f9tP{fq`GD zA)&vb!Ho-vOds}L6{pIbF0XlU{q^X5l7)ls>Lv3?@QO{R?~aBo$O>UV0y9d2N}Uvv zI~3Y9-<5zq1lEn3oF1gW3|9p4+fKF!OF?0y5F@OQehm@$ampTY|Fu=DGCLdBlrEMpVJqibE%#kN3s1Ly`x}-HPUi&KvEf|NZ zQifWRMzWcK(AYl!fm0U`5}JY%M%xUHa3_DZ6%#Iu9x4bxsRANF%FTlyM}m3t7V`Fn zRL*(u6*O{TH(b$Tj?0}BscU_{eHYY%zC>Z(hW2~Yg3k8s_8!bY|HAuGy9kjI^NQ

d2$ODFUn zut!D7^^aiHVS&hvV8;EdG>9N~jJ{HbBo2&Veo>;M4X{9>M}s%+heC)Gji9FG-;Ww7 z8%S^zc*JMTL{Lyw7sN&zp*U{frc^1OFu!xRqreKnL=gi>_`#b}(5684$q|1923c@G zeCbtWPWtBQDBM;EYI=s*#2x(AEK7oqE(P*1rJzi)e+R+yjDA~0`MlHUH0q7Y+ zaE{F*I07+?e)sQG|L}aem9^9NLI@AsJEt&Xgj1JdIAz;djrMEmVgfYO!{YEi0D>H> z%&4PvrBr5)(DnsQN;#8nuU?`7Ggj1>pN=8mFjfsGII*^%z0h90gBkw6BI=IVyFfjH zAV>{}H4qel4GL3oR=bQiIIWmBB&FOdDOo56OfYrM9sS7Ep#0MWf>6p}n>O;l!zbCq^$-M(!sj z1yVs#hNO08Btwuaf*B;7FXe`S{l1bYZ!6$Oi5B~0wvR@wizd~54F8Fepldu0Ex22`pwLTBW0?A(Z82uD_qmtFl5>80ep3f zFGxnl)J{fiJ4#FTeSbRA95^#R>#KF2uqAda-K+;ekB-~`5^$Jqej3@kd7Lri{Y{rP zhN2Ty?hkY-=*>BA5z3j*($H<0dqb?)DM6*H6u6zX%;JG~bBJo^)33}~vt7M)0*#Jm zCS}M?Z?j|)8+eC)Z&3KQ6m?=)=_Om!aWQ9izQ0f(C1ea;V7Yj)lcUxItks}NIZHt! z=lfjoz)-Z>6_O{q;6aE6=MJ~b#W0y4>+1vB9^Fm8)d9Fl^5jDwpo|_#0$D+)qXSWGw}(FO{IqJPktQ zUE0Y`k^?DC=?N<~1Pt)lg$TWDdk2LVSn!`)g90OU;_E(Y&ojS*PZtUow2v*?s4Q z^kWg8qx4-=l*c$0PK5T8&lW5`Pgho39Ar@sX?VEMz7+iOZBEs)RYs5QsOSB9*1mSq zfISJ9pd>XtyVKOptjWS51#<0KTvkeSa~MBxuy)?|F6-P4TtuGMGc=?W4T!kE$X2n0 zmP=9{Pvxllbv{8-(wX(QDemMRv8fOqSmGkK7xULjXi|;Mlk+1qL`(Hzbn~TiPkqtT z5Q9zNSAP-_bBkAZUf;>2C($MudGUr)JbvmS92(DAPOXE)D=aB#3P?v!QN*l3QE$+d zxO#~B$`dHGdFOlJ2-sg5;b3duyufXqM>#px&Wt-_P6B4?pEfWU}% zbkz}F;Se}$NwIx*v&w;F7F<=Uw0AvOI_Qh_hsdf-_!D@#rmnxwQ1&PBO0zyh*=|C> zIDO@%`m?KvP6=3_lV#kht(0zIH%hOJ8lM*BkRqOKkOP1PqzAj6( zb%3ME<(VKCI1MQUp{rN6!Bv{4JzR}t`N0Cen@au_D}laR6Z8(Fxm=U8VL110kq{W1 zvWvb*=rgU!?S+1pjlrL}RhR3^s2gQ)^q_nggUA*JWQ_)t=YyL_FLwdF4aL^6;TTLt>Jry4EI1 zS(BG{C4YIgfrD-kmdM(Xp4TLZhUfLcjdFIqWorjtFXJPAS)Sz>t()N_+W&ikOYo;WV67awX>rOIOe7A2ius-?J&@ynb}@hJmzH2MCU&HDH*mS4c-HugzX&j016) zIhM`Dc<@*1O4GY<&VPiQ#p|A2rP(&hy(`Q1AbU3Z%yt;Psb~G-Q*@DEU;u0?9a5&T zbxFtMMnR*>=QQ} z+6{C}CLktjZXA5+vtHcibK=X)VCgZ48%0jXwrhC#cCzRq!}VU#B1UD|0iYAIhhd^HLS32M;cm!Ts1bFU2XE4Tv<_zkTFyCzP01)V6Kp!=nbLvi&zzl9Y}a=mTz!-Z(rx#rH1?1|?-@_D({W8uhZ@i?i_ z_$;|RXE-XIY4uB~3D6edB>ecR|FtBq0mt=7U7d>fch9SR8s7t5|GHv~Gjk58vqRu5 zbr3qK0CCinYg}`gQQM)CGLKxR$Np+yvh1Qmq|sFi7gfKb^?cSO2Q!iFvV+Cj9Eg@t z=xIE_%;(iV+&a?LT<2Sm@!DejqW56C;(0V_(9q}(%-`&8SX{J;dEjU`G9Zmo9;?fx z*0G#)KwI?y?`vP+mdxXIGDv>w2A`NxrA*8{T8c5RAB`xvG9B4eSu|K5hCcESdE1h| z(@FmRgkIRu>G_W!`r3lf29;r$QiTA6-_ni`Z7B-H$@$+1suo@y=n%;iEB1el#cXIb zS;+qhpb|WW-a$&CQ-Q&2VZVb;K!oJ|pXuvw(DTSCM(O{?2M}Nizd~`br5OLG@?(c7 zCWZQ^ll~KI)gq(<^Fu{d?~WIWjV%E)lNN)Io&A4{DhduhF7E#-sVY5Nm-S|> z_e-O`n8}M)cMOWKG$qS(-ssJhXj8iCECEtfrdce#2o2e9;jd>`%=D@-MuNNr*FIwVagnF z;I~lD=}(|p2T6-ky?XupZv8tT1mvJmiuH#}ATqt?ZusuSm?38dX=c} zAvDey{T!)^Y_g^T z>&N;%>SZNk7lC|Mjl>^@AR0c91i}Qqb&;2d1F(+~-JXk!KL=UI0U0xck3Cae+Yls; zB;ZAWdtON(a$U)j3_aBmF&?I0n_vNC?5o+vWs z?#0zQ2Y3SdC4Ff4orOq{p*WV^#mZn{U$CesSe>!r5SIrT5_Q-~DpVa6c#r#nhDgM} z#TMM|EE}PZ441eb$If$pRRVh_OP*0qqD{PO)&|fW(c$-OcfCJ9{K*iI+7%^Xbe2vO zijJ8FPJuw^ZH{PdQfN@QUk5)0DWsnn6_8TZ;167Dg^>#e>m7ICvUUQ+W5Ampm;>?00f@N>AJSs$Z5-mGV~uj1ZyU9BEFNds`L@`5?z zp}T+E#2=l!vct5igM;)h`XrO!?|4dmGf}~qTUQW?V4Q1gFx;?HT@M`g z;o3^YP~ud%sKE9sF+noyKjQts@XDF|Qx!tOv*4!Sz-|RQP6?(AeOXA-YdLZ41WQ_+9r*JBb)_B+>*0`61M%^wNAjneOy2+dlKBTCxpsTDM)zPM%KSC}A5V z_ALlLt*Am1aA+16EQ)Dyz=9R(p@bD*4VDBr$4et0#}12jQxo3?d(&)>^d#fehDFcp zy|~>zzfDH$K5J=U;Ol_0xGdpdz!~Ay&$FWJDUgsmoVBS<~CocKm;QC2lm3W7b{ zUtRwzojR~wPZ#89 zH%N@1G~e;JM5f5ne7D1#+@={nFaM<=pp7pPSg@3;oRCqmj>y{4c2%|B=wda-9fDgE z@8tlv_lS(jg?{Z7kKOIL3r(%e2f-AtHkW?Mpnk!!@W9aX-c)6n>F8Kqwj@X0zC?tR zZW3q8^~2L1vwDQGE8^+pmLn^m{+4a0RIn5^dT}xCMjM+DBMqmm;d4d9do!CU z#YC1fr4%iknEAr(f>?MBGq@``BkW<3xgo+rrLcA5yTCnDFZ;2PBe17$Vdm zV8+dwc({Oot=t3C@2}C=rcr^=#@E&5^Xubo@Q=9)qkKmcnPF(8B8i!ZgzE};1Y0t& zqphmdMb@j$tML^hE|x11VzUHVm5KS_IObPL%M}xrO(Iet+|Xjh^b&-!X48KErJ0$F z1@2J`9cZKLnUun)q=JHw5cIIsw<(WfA+WsAS;Wes|M>H!da9*!8+++z?vw43*U>@x zhBhv_&Te>JUwY_rb{=!VltilPr-iflm!9mRi%l#5o;k>jKF3zZA z#7og3Xx15zc(`~UTnt5DPdYiYeuy1<9vS^0#r}aTZ%)(LR`p~XgNB#f^w&>CwzJx4>r8%4N-D0b z<)ef166Vc^!f;J?C`nJI>QYquSJA(!!|Q9ZlNXAvXF`?6?@mCecX6i6$)deF!rHjq zZ%67S=S;KadiOk|j9Jp7P}E^$|X1euGRazAHs{Y@dXC9%zV0wcm--tFF1Wg&p9?u z)n)_Jwa_k5JtLPEKiV!oSEp=c@+QSi9O^Kgk9bGKz2`oZY!#uU>u)>dl?oVHSoe22 zodC=Mo2X=rA7O`sSjB#q9-C|j-Oo&QCtLRI!=OOJNuinzdAZ>Zpm(>eXA0A;#?t0I zzZch*&whg5e3wo8Fj4Mp_2Wix&9DH_o6MGfS@G!U*;qNNjOfAA9q2u7<9=ip%P&@z z*|DF+BP_s`)e;}A!*{fp`MRIAZuB#~Tkk8~S^YS_(+$dEl`^a1_UW+C{Lytah{O8D z0aTQ6?In?t`1{w^Tji|dRrBqn(&Gzz|F9R(+suj|_=lLxod2jTc{;4^oh$c5|D*NJ zk`>t54CL1mudir7olgDp8~;>syDCZ?^bfWk=O|t>42QM4_Tvmdkd6F}uz7Y3SLtxs zr=ZT~>U?QnSTC}!3E5c}`nU_GH&6UKHYk$-uO@mDglM-dfW~>_QT1%j#MDV<@IVDY z*GD;#_omGAB;E#n%bYGgIWflQ>`uru%(Q(C@VA5DEC>J1pbYWk+1_(*2D+g#-^t6n zXtiHgC7}1HB2S9P5!I%1PfBP^52fed!4njx_9t34Bmc>1raq{ zncKF+|6Dh1u42|-2f7X=+pd;N0iEiqXFG|y)<@f=uO3&h!WjhYZo0bl(bk-q^bA^` z4DF}d?UM>TQo6lsScvDe^olEkU1RDMsy5x!iU}Uu$p{px z2x_YdW_(aeN!ZPUbFpzZL;dQNKYv`>nO(zTd#De*i*uGZ&Yvp!SIehQc%y!LzR{6XFU;Pgu)uh-l zQiROf``W!`XiISMMd@frgPhm&lHr1n2PsUKoP#o2RONUT|H0$8HlZaTNNVZNrG)w@ z)1qHm`=ep#WBr_AJG6!NWYhww#WzjKmhwL%(bQX4v4O;ewPsbzySTjAZ&iC8J6@=k zNsm6SWpzMc?vn*}L`aU(-0H3(rr97vsD~8yQHhR5P>-P5$+E;v+4G+lPQ-4BNb8S8 z{9T)uUl=t3W-kPTlBr!_&}Uu|w?pz?jA=yds5Kd_N4g?8k4GZyyrwqe{PRyjrsR3o zRH0&CjhCgF^Q%}SM?#Cid-+6QzzRWleAbya?!XP_3XZWO;m|CK{lX>-52Uts$;~_w zgvGp0yY8@Fsbd1p>Jko`#&3UTq7tJLr$(7LT&8haXUwYn{5;JgP^w7AUb+$p(x27j z^8U+6!Rk-!gJa!g{h9#tbU{^6dLbf?IrpJA=@jM6mq|eP;Lo_C46ghi$^Mk-qHKIT z`O?oeM1QPFaORCaV4<35sLyr{BoTi$3r_Zvn3C++9$Ba2$HmDk3{?htC&Se(x$!6N zQ;dw7A{B^94BPhKg3PZq)pK(udX)Oj5W|+N$#7#aMY~6vsakmY?C^$;wYe9saPL+P z+xH)Ujk>{v)b9BnX;np&oRMHN%U&}q@J0wEh)N%j{0Rn`uqGrfI~3RCa$Z?ku2ipG zkgUJEbs%4u-|L-5`ES*(&gFk-=gMydfa9!*+af3Jcc3yrt`$0B4Oh+SLUwqH$*3xi zeqWG~CP$O;$urj3X6bzzT3(S8N(0v&;A@|%N*1eYvruDIYSN)!WP5-3oi($gt#LKq zeHSQM*%}%rY>spj7=C2B8n&t%6-$`(6$!>#=ypN=xI_eCis==z`FJ~UrETDSPZ$;Q zq6iUPg%*+kZRyt9PW>f)rTE6VtMmQ$)|d^u8Zf~N^~jNGhM7(wFs&tj3F6OUOVn=7$BFCs%&Mko@E*miek?KqobceHBpYt$EpEofly@7`wwVr9 z`sXud^V@g}XftnZ){yBFJ_%{#`o9k9fAXa@=VAQeIoLSaxLCPUHs@hT{&$hQ0Fw&E z!|_kk6XSCsu}E1vyZof!;Qc?^o}HaL0Tb#g$R}1g63mJ*c=e3qve3`1I7*GAhSAk_ z#@wDgAl_I9(}oI(uBPdZF*E(_NEMY_&jODyPyKWhf4{~??`E{hgaK!P&sMFO0J_%F<-0T z*-kGl-#QTKv{d2Q+>#GBl65!7zkh1tCj&b#2F*HFY}V`{#G+rFc=-41T>raOkUR;h zD%dI8`!MJrURDDn7IkY+a|$kARwNcJ3OzOo4hpt^gK9wFPYNy`p8wERkyvCMEP(&2 z|3X#&RT30>f~D?5sSZl6*W8;-VZp;!>QF|4e65HerhY{}i-;FH$gf zu>5I7!N$qT`rq>vnq=81O-+mt<;}k@4}z>*oZ>u+^UxG79Go1S>Ku8)(DGMsQ&DQMwD*xW#+WJ5Cc9!R_fodCkpV+Z`pRHJ{xW zVwTkb&wP$#3VH~ec}RJfj8Pvt7}@k($dBRqV`8p~s!TzknIzi$ z*tQwfSiB^cgYm+w+{iUkn-rN2QS>I71?G5W2;{P=TsQxpm^;l@3zR2VGxAkR_US*r zYD-lmt$ECWgljW(iJM#s8G7YxE*7TZtD)W(_)D|CkU~_HJ*WsM@*^yRo zoStnS@sl7*WgeJGO$z&C;hvaIX4(H?fxnEDZWF>Vzd2!zZSJ=*c9X$Ebi4zcUg-b~1;U9NtCBr>Q-7fVgwd5(87bu^?9;bxkn{z`3Cs@nw(r7)0le9d>zhr|kOHjO~82yetFk$JueaT5&?5LYC2OqOXMrmAm- zFBn-PvtC`z=1ol3NX+eo~YrKlhSNLboR`fwWg{Yiyv#acpxDIo)5XjH#?StRNX> z&-cJ^elr|nQ%_vjCgXeYdee&^ z{QfA+#U}O}7ApeS`*r7(dawWGnq7xchwq^vK2uZ2K0@eI)DeYmDl;mX?qd@tt+Wh~ zfoT4%AryWgyGEu@VWKJ9-#-!$7cohLN{FpMBnTyo1r3)TYY#TW)|EeI$r}xlz^+&1 zz!MhMFcbj#mJ@E8C&<4%76o|a;0h8jJh>%TObL?YM9DLDzD3%sG;wHJmQQJ9>F_uF zR9JH|x6G~H9i1gq)<AX zPhGUl^x+-5!h|GHXq;2SQY2_e*%Ik#k2%LsTxTWkkl%O}* z>T5A0qZpkA2&f`S(V>%t$RJDlsC%s`Kd_vV!cqnjAnwAnrOa0MNgXjK{N;B*+^r}M z{tP>`tw~Ph$Q1oz*;ON3LC#yya&XVAU-6zp!}Sp1A_|5pmCR>PHgQ z%LH`JX!|5Xd{Hh0N32sOnf<(>PD+=YU>(!tj<`?EYL-7hzcbP?5S(Rsw3YsquEhSx zFy`;GtSBpzXWo3L`@Q2q!t4SNv@}b!A&G38;T6iXb>+NzNtO~_7A^m~%gfRI^hwUV zNDge{%1JASUnRUL{ZteQ_WfRXj8Ty-pY}V?(&-gmkwx=;UH+Jzw}$E@qi<=c!{ZA> zMEZpA3qbW*w^Q5Jh=*1^+&N&obYm@X7xFJe-nOjW;sSx9fYCt{M6MJ-PB90l?biIz03UvuNem wqkTfpF#W9fyBYi&dbe#L_;H~EQR#H0F;Sp%>V!Z delta 40703 zcmZ7dW0WSrwl$2FZQHhO+pexI+jc!=+qP|^%U!l@+x~i=arU|IxIgm8%*dEAbBxTn zR>oRcc7htUh+02wg2_q5L}YJd1;fV&!zgEJXYOJ_#KOhOon#0`1z6JAaXx58_IuIq z=W~(B4TbUpl{?|-Id+ofSy13PQ6O|Wi>907(2cl{Q1R(){qc4Ojt8Oon|fq@bB-xO z)c%LTt?vtiiM|$A$H!e_@Zkm1T))RG5EH$EZDn{^otU1@)G(N+nTFwbSTV`|uV)2S zPWRgO^2LJ+mBq4c8vy1?^X1BAZL$>h=YjF6`nP?ld{>9y&)YsCRi4Cs19@a(kO%Ui z{^sII37b)4jDRb?UQa(nUUjX{XenW*w&KP$Oj=N1?e2tplht6|lhs*S>)cQ_^neSv zSC{k;2F7S1F*&(TxZlvn<~=rf;<(>mvy_AZu7pfMs**z$WI%zsGK&OF$>%IJjVyb0 zpI=+e#u~S3(#Is23=eK7bT3!ET#v5Vf@gnPl`U`G$+zUfdl@G+n_1P-RpE&A&PVLV za5MZ3!_Aj7PAJC(He5(VlnQNOGjyhf;9j*I=M#=O%D9|^{_WVUA>{(c;|_Zk?oQ_W zs27iYYmR*oG@x5@Ehojax}c!gs8#ds2AkK>$iUF>kNy{ss)Y)+VGpg0!(Ae>wzOdQ zRaXqzJlb4*o7&vuuRtwQ_b6)NAjapAfS7iyU!YT#cLPVkT2}?V4V%Fj9l@PX3@gt#R*>zA;5{BP3)8Cs9U^-a08sopX21{|3 z|3;#Y1Tqe6CmNc|I;XSHX+H4GhPXuK8*jVBdjPJz`MvwFD=_EL++NwxFW8?I71&S-uFlrF+ck4Lo4LB-T0}SYy<@nhTm@*Z)4fV6W%EizgcWVSJqbak4 zsF;Ia?OB_Y3e&G4>+xi;jMiegJO0!cAq~Ud>he}yc(w`3k0k?hE?L?z$pBKa60BEm z0{~Ru+YM2?Hu|<*W=o=KLbYa|UFV(0PRdEYX%z31F?C_0Ar39H9SIT%qS-X+ z%-~Oj9xsivi!gQO8VJ~s;_N@LbbC*9XaVXNX1KvT+XD3OWq+O;b6e%TuOwUcsy4DL zH3`A?-@IHemO894fVmki2#Ak2)`Z(n-JsBJyrs~#((K0lMyP(;3&k9mJAQZAfY6)U zcoY`CW(R%MZOpodEyFX8K*8yOf}FsFj-&LimF4^BDNG^^kThe3u+${Bk1wkHvH-*n zE%^FqaXukkabqCoRpI(~;~2GWOy`Rwpu?LCwpr~!)sow?w_~`qRh7b$&Ih*MBL&R> z^4k{MaBprwRIbZ0eyuFnEh#W!5=V9&xik=YPgi=IyY^aM9%7In{6Ykz3uWZ5guw8f zJh?R7-H6C`x`=gL5{s7BO^Q!-8d z3PT8lahb7%-1xkV88t&pws3wRSlm%*-*nU z2tIkjoxcCi4zzj8(axHOLQWd8JG{sUuV zKhsL~V%pICI{SA*4x@yFTnLWp+CrQFg}p|MfN1;x!beSmu*Ag5`HHsTD≧=qSNj z3n$pQu*#xf5G*QEg4fgb7!9>3u?P#T*ndHy4^Pe1^MDO75=8Y)p#iGB&873#iIh#g z-=LVgNF?Z55bdtRgHFGR;@GltE`frd14 zY@HT`6aEwrAx8S8Isr%--h;3h7KsIc;TqnDcr0A1ZKGpdZ8a}S^oOn&1?O-?9hEK^ z0HlV&1bL@%R=STrZyr&>R3|Xz(B);Pgr6}jB z;h5LjsQ6mks=njOUF#m3wsGgvctTXKHO)LDBj-@KVa$xz?|{Z6>xjU2kTP~aOZh2VGC=QoygO`ClX1=XqQHvAC z+<@bzEzc8O8nIAF+QKTAG28F(vU!@{%ouxIPu&tm2MD(;)287C=Rc=pRfqK^W~N@d zy9%#`q$9@H8lgd}lOs@4i7G#gH{ZF|X@?@a7kCudd;kXKTA8bZPv?!BL|jy8t|p9Nzc~^>UH`4W#L*_Qs%;_G}cXfLVsUsPA49{dMSmUrY1n zT~AJZaexCK743Us*Mqg%_c$mft~v+ZGJa)P4{okW34}@;x7u$CYoPwQ@^X;v5@>!A zB7j+C2CpmCoqn5(m)@pn8~>IaA4p&eO(pbi-nXmPu(m8wTs&fbh zGGX|HR+w|qZ-5*C_OsJG)sQhG6Ud&Mk-ctyb(k~E7!wTJ@7E;{SPY2dO&9~ITtjl8 z3;<_Lq%{n)Xs{fU8_%BzJj|C3LRilZeS04k8x)x4(jTas#sTt^PKoE3qv?ju*xzEqvTs^9v(0U_-O~r_cj5Huoi-$3Iz@DA4y$*@i$VEV%n~$ zRZL(kc#l7Ej!fb1)kzO5j}MzwC}IwGeAqn{aqlZq2?WmHpesSI{z<`3Wx!lXbk5Q2 zO#d=!6(U9nRxTn|4wnA{_J4rwzku~0;P_v_!ubzyCG~sLHDSB(LjW@+AWzh_Q11_d-@~B34eW|DDCgM8wL){QvNAvHmaMWcfG3{@;;*8n`(BLk`Nq!JUvm zk_0J^4v0|J*sniqCKj{6geD6gsylfovUOLSxtnZ`JhkPn*}Ku^X9SYQBtC=fWK0P?|*t{P z3QdlVX*Qm{pF&qzP$PM1fW*gyhNcmfg%_PBlI8sNxfQoX0FeSetbfW>+sE!@TI`$_ z5H5R7r%5sV8x@vChPN!pKtliwQd&tzlB-@J{+N{aNDl=~T?9c--1=Thf!2f!o&IKF zoe5s0{Iz7xib5x;kw;x;3wvNWb2)hII0o+;k1;wgdfYOKF>P28^3W^WsmBnf`1QVO+3R8&r}b=eNokGV z*N{Y(#1x4v8beVF6lpt+10>rNBsAthrs%a6H(qKWo?ZN6I(js)+~4!Erc+4Fa>0r# z*CjxEhR0_>}=aH=fdm`Mdi2yQ6X__HAwV5#o7v0DpsMV6*x6R}@T;xqy z8XI3Vd$vxQ_;jjT)d6>>i>+>9j8qmo+G=2a073{xE7)rlLwd{rAO|uxQ z*vkSwjh=M%f&${`&rz%$zES40`3Q(rIt%;vmO>1?#l!NF+*NAs8S*m7vB)p*Rb$5d z``&k(q(455{hkjkX3zBP5ipp48?z-fSprK04-IpfOwRB~|MPq%{J1TfL}>~(=_H*c zx2067Za0cLc|77d+qSyQ=We$0=-2hxvClMS9K&YZd*C{LvZ=y51FQPPRyb}FsBRU! z_3{7E<^6!}s0k&_QKBZPc_}94DnTaYVZkQ725h`O16LCzfxHL-5J|| zrThydY;6Cp6t@2o{6{g{{}FKg1OK^AS}+zCPR@Uk1Tdu|8;8e^)O%BRiyXZE`o-lC zF(itIR8>7he27MXJWdh-mhk%IbJRNFruZ^FUCl-`FkO1@+CiY7GI2d8vL{GylsJx) zkiEzqxc#7P&I%y2^M zm%f1)KVFlqkIXM_C8+$BIA^VLf4+D9P)9U@G68XS8&#ek>iH_&{dV}FxFg^L`wK(( z*h00R7!$bDM63|zJS);^fH-u$w%nxN$kAFn0}u%l#6YV$ZUp4p(3GDozkfYB*3T%Y&2=A3CMh_J|2?h13c&EnqWfQD5f`J**L5#cUbDBSD2UtM)wgW z4NGF**;H^;dAAIUs1_OWYbhzit9jh6r9$G)P6k<>&)fD8wjN$5F!J0Q`gF&BZ&%Y= zf?vPSp5;NjYbp(*h54z;M@`9>|Fmt?~a6nd>{JCx+dn|OY1$YbP z@KodTbJ@hL55iQYqvYMVt%Hs*9?i6@NH3N0tA(xRMUhGccd~h{E>E_IB8MR^{$&ur z?~Uvr@;RpR@$JaDbq&kK?rUV?>Ou->YFpITDm8^!eZbEwWY>c@?0_cgxC`iQnS582>&nnWE8$EBFMQ1$pW{zoGx2i-}UtsLrr{u7iSi(P# z8JMb>^(AP?h2TBUVRP`R!det#m=E zoU>7BKV}M4CGU3cCDozy^%ES`Oo`uzLk7vr&6_ul3-dx0pc&G9eL#M{lz?tWY3~2N zyyMoP$z!SV^wyi7&YrP`VyvKru(pEJ9RVa1{vU%Z%G+fU(#CPu{S z@S)(iHg^b76O-Q6-vCpHmlv;*aKlAhSTTDfm>E@ut6)VwA(@6+0jM~;0u@b^C2!HI zG+NNIrkAy)x;u(--cKjLp;bl{QwY`3o9A77B&94M=*YpjT(Ju|vcOSiN}HxJBd&~Q zaRt5fOE8ypfWmrd!GiK?wfLO&xQSoi#)#!94g2vuW zvgj3$!CksJ5sl!s$C$teT?<;os{$QI7boDU;ly~B0{q}lga zA*clmx7UM)jb!>y1>zp$+qtlg;h|s&-*?*?@yq0p=EaZh>3sEQouEYDU}458lNbDZ z#m(#0Vgx#405^0?kK-frMDa`kk}!$Fb+NG$p%|?c1t`O)<7Md(cw%c+hmf{Ghef`F@6=IigH)2V9i z#ED>#-Sx1*dUBn*@L+ijM;FT|pEH0=cgR{%m48xveVZ~Wu_AoFTE?1zn+0Tk?E`r- zxz!kuXNDlDQ8oapnl{_rFN7LQ(9r|dx=F;Ew-G!Y?= zf!0am%#m2=kx!eIkJWE;$1r+`bL_hTu(*R{dPJZ?41 zad5fXZb(e4yqUpNL!VpZ)|NwLQYGivY)I-?RO#~* zG5!ClW^5d+|5G))(y_J2|EcnBzgQFc4>L!cq(!STt_q|!+ySDVSvfEJl#qRr?Zd7^`~ zhjXL&;;?3oLgXX#flZe;Y44laV6aBW>>LNySioGk{f_1e*o-q{!@HUo@bj^q{=`BC zvkE4nn!o`#y@hRbA(IbT{tS*E(nElO$Y8KwAIl=pd&oz$`(IP9=1$nm|AjF;OJ<8B zrSe`j4q3?z^G9T-+cU7S#{+#B(4Eq12a;`%)}$(k4++Eca=_(_gS2d?F2b~A3>;CD zlH{5M;@U*ZhUA$PM4AEWMFjSMvV$VNqoouX@izhN9%tuc^BeE}Wda8G15ajVa)`l5 zRw4?H7^Y({BxBAv1OfCYuDER7xO;Gez#jRwdTL zU=U~2;=s*CIAozfe6U8_RdkZT5`!&9)~9+~B*hxFKs-Pl_1kB=d>M8f3|AHy9pJ~pS9j={fHZsd{8 zIa6+=@XpBb%(j_K+{fs?WEI0NJ)Xj7fdY$Yho+GF9fLR_L5rG7D=Zj74;&0Ka6%uzpr^n1^-;xTCOA*T`Q4P+a0?@?g7|p)r&ZRm6`CWxcyEQ3}gOhL>OrEO#U*^n|bC<={a;Jt--T z&LPU|K=KmftgAPF>J9{Jr7{-n&$OkHQt|t}H`$deVx}8NtjqGyJ<`F=K*nudrV@m| z*wxqfxS zx&C_JWz2`sF*crGqdfU3zS7hIfOq6co@|K4QhwdF^Mtv6XsS-WP2E+w-y;<~_X^^% zq#jK4tL^H?oXzYLE}29Ygd{n{&fIQtYJ_rY+|i1n3Bn7g$r&`i+c~*KoZlWluVC&A z9(-Rq={yaGNl3>ltYcQSo-hHfDvGjRnpBP?f_CxcN}C87K2QV36~9X5I?DX8vqde5 zrG{rWfATYPJ@ zp9PpCuZ?pIiYJ93DFrbn1)ke%DpU^=>B9p59(;44Y|!eIR?jx=5fCxOxG8?N86C~9 zX7Ty6dyR`2!DYpvgA^TE-jyba%)#J(f2Rc-UB!J-Y3$ID4ONR!`M--(P387|*8SGN zJR$Tlq?mlGK$C|2aL53@XRu`Yd=$CC=4@RDvH0EdP(^My4v)l1*_Pjc=7b&7$guBq z-?U@x)b0fvVz*R9AuM?5(xU|3ep&}SA{$48r-F8f<|J+hM{HceZhU$!=6rHV__1RA zi;5GmY=~FAM{$I2gHcpnvIa4HFznc3qjn%GHNlQZz5G>+GjYHw+9Lqjz*QH!2bvzU zT@t#Cg31SoDbZsVB2R=&Dryk?cIh8Ed6&5Uu+bzP_VAq1?H zwY|MOo{&2!H(vFiDvO!}ksU`PJ;DoKvb+s%q;h|$s&?i6fj={vr@Yq8x1myb%8!u0 zwr|18hui;aQ6JC{Q>kB%D{kj`c*;}$(!Hg%zoSQN&pdQ(6R?s#f!G-0ns73TQD{pE zVx1O2RC3+H>?SR3OV$8Swv&Xr1rgs3Om>}Kya7kEBd`1GmtqWqJ=t02<4pwpA^xgJ zBffw08i*!_&^0lvvp@aHDm>An3z03sN-L!6NfLE4_XI#v&X~NxyEiz9uMeKqrO=Nd zi8saMcrMJotMTxox^V7X1WTq@Iy(84fC)mXJrMwfU7ad=Jr*H3qRnqXKjBJhy_DS< z;jlOwu;bt@#WJ;EMVDMGC2^2(E;dM?UO`KWJKfJsf!$#s)5hEA!p3!%CNc$RwR_gl zGq$JA`UDtwFk>N@0T#y~!p`284iY6+K9^f|dfFREFzLH0ynfyAuv$NrD$IF}pX6eaV zS@m}9f$?iGKgW?bHG+;Xo`W4ZIBfc!I=e5tT6WU9=p zE>QbDdzmP{uQ&XI;}vw+GaV2yrTY{9Q(gIg701QT%`=EB=qRD}1;#Y#tym7Pb`g=Rrj59gL-_Yuu+1XN=cMXr2LAyIQy%W!HR!SE`tQClpjEh%gD^JXPDmETvOV6L4QTxj?y0!@?lH;0x z!4bG*-3(RTTTSN)q&uc^q`7}alfLd0R{&q>13#E%_Lv%;j+|&ss7FkZ*AOHDM3Htk%J-wmm)(pTN6u{eLQU0fy)nJF z+;-G{Z=oBG@9Gg*h$+lgZ#=Iu>Kes8;aTsmYb(4E`W-z@@$b0auEdos?8u@oUtRa% z$}2zHQ=VVAUcQLlk1syg(YP-ixI21du0+oT^5q?kK#haLEcD@DKS0#KNkIRfobF$C z_n%%UHje+4S^odJqFC9O|C`^*J8y8I^qgp(N~voz-3bRuEfLsAHXIB|k2smREhmA} zGo!GgR1i~B=IRS>S;Ui=$~;rFwDm|CfLi#UuGDoAzXiShAN6&YYi zfws4MJRu}Ls|HF>{xG#`#?k&XV#5XFvx5tW)4VWc`Sfv)X!=~H12Cj(STXGbPpYt8 z!B5}&;aeRPfLH)l6_zF~@($FH>!}j!@p;b<9MGI@AOyf^{AXxCJdFf*;3ZXPUv9S% ze3#mCh)h(@bxvG&8i^N_mEv9v&~pbEI$p+FDW4xo6+0d?n5RN1zs7yBmqzt;2wx|F-07cISyNxX;_uqt@dyiC@#8H3B?apPnI- zjwg%ivLE5H>EzsOT&%)E&Wsktp|-g2VIZKSrCdfK6*x2l6$iFNEa;iS*0X(H%W9Ki z-P_0FUlfol`#rBm(UMogxf~Za^hhYb8Fe7pEQ#Ca$a%`Z0n58Oym<-5k3${nWMkvq zK%fCD-P_5Qxym2KSTa}gVSKk3mML;oG3Z)(!7;9%H_gjW@#;~m_Z&0eRdfdZ*%<(A4fdzz2e+z|+*z zUO6Nt1*Z~510NaU$GjWgkKyWwLmdf;4(Ys$>)Q(Es+7K2fkcFn5IE*;HEr}GVN2qN zUuM3KdI$YjSdNpPw9eS>`(itGhD}E1O+D06X1~VVG>D0WSIOg^oy=?CSBVzM{OU6i zxtKxl0a(3y^}R=VU4wRpR=axr(%AYQKhm02#ahGKp)-kp0`dFcV{SL|$IRY1{pH@a zk)gklM1B`PfKPPSx8zTEOC{jbL_0v~ug1*oI;Dq%Hdm;lq-Bu^V*m$*AQS<2 z@375OlISNsGB6}zvoq_c2sXBr*0bf$W6$2K_k!x?BMO)>X z4x4#8kv`gr>AO{hX#Pm$XD$$hxVZrEB&G6@_AAjaK9 z17amG#=rjt4%ZQ)WAcz?82urVP?4;UDjhZJLhsRf=Q_+L)euAb(}4~^=(r)5e2iAY zme@_i<{yN`RFA|9R$RVbZC9L-r>6@T4aJj~-g*$#Ca1Lm2nRN?>g~|{Uhd>j&poR0 zQ56Wx;msCrlq-AdtZeWBq8m3)u%x;~0n{YgN5ZvXmH(aS+ijyjDp5sIxD=QWh{u9P zo6#lezca7~dQMEB>CfSsz-A9d)neL1BBxI^$Y&Q!ixmImCP(I@&%FPF(QT8v2FjTH z(mzr77jsnHFN`uI9_1bTHNNMyUC7`1ET`+HimfQLMSx?Z_5|YPbUkeh0)M>~86ak^ zH`8Wx^7hCUmfBxqlc^ zn54@diyc7a6ink!!wp4AAl#Urx%)t)Jt{8#7zP8ZV4}=vBZzD{ni8MuVc*zD!%>xK z6IcFW1AOy2)r%7CY2RhU`J@UV4iE{r)-FYQ3i@-84%d_<;o7;R^Ody}#pM|#^|yi} z!uz1gY(r&SzHxR~qMXY})B4OS7_r|GQU%!DaF%_p<~(H4x)@CfA7Uhn&WJ9zcP@z^ z-==%m4hj(!3XXapw_bnbRfG#j*tHX0k4lDxE36_)mP$x)^u`qd^10jJ3}9G^X*JR?v73b&xjFRAt?-B4W*_osQZjIXjrxkf zTMk?37$($W4W-of3??r*NvCxHVm>X}Dk(@vt2HqJ7b;-Jo!{0haFoET@n+9$PT-`+ z1e|y#t}uK*6K(xx5YZFw67Yi%O5lt804R1P)}RG<${dK>ci@gt4ayLG+)}0 zT(x=ULlmrb{}ColoKoXIh#QfXUir>hD=-&K}W@ND5hi zny)&`@&=Pn>NY%Sxu|B}fSgxlT!EGR%i*$0#v?6`dO&{BV+%vv2Cy&}=fdE(ODsNu zA*HBIO?{icV|?ah!+MwV7hZRZFb_s@P;?=~_L^|X?JGWZHNxj>(ch5@t&Q6Gli--L zOFc;#O3a))#8)hu%a&S>j-#Y145hti1?k%?n`%CR^{bM)K6BtA4W7ujsW9vT1ka;*;F5xObzmsA zI_mRQ|9hzQa~KRQF*q=jcQ`0oElDJqZQvN5ZE=aXQCet%9)NPW$aYb~^2bkt-LZae z-GswwI23nQz%$=)6R6lDT&F_h#^l~nE^(~0J^^fl(<0I*$7tM88KSX@tRfS5Imy6_ z(sK2DshtpRccEE~ob4Ck_%HC}sf4;V|Kc=<`K?7~&P(SV1EgJpN^_;U>tVt|X;EL7 z)PH#)c&$wy9YCaBnU%G5W3sx$Ay~AHWc6owtIG)YzC&DqR!@@OC_w#+pw>14#0(rq z#Pf&+_E0N1L`cLv#25{4-iXV`C%9Oka483Uq{|mnQ`%woYI6WZ5J0P3yhRaAdmY^JGV}A zRx$yD+{F<%W+&{|tb9W(QI1`yN-DH+L2<3wfKSpi3Lo;yUZ8%Q{^fisG;cF_oS5#c z!x0k)C!pa9%zD^j>?(c$7J`>7A`2) zpKbR$XNUxShP-4E{6&$K7wWC!96S7mD<=>h36O>|o~dMsED!`b$38l=dJs z*uyA(zXCCht9TzU()(tK?XpKnfmc+t`C^x?T3Nkke z?tP@-7>aE-ms~|fQ^gg8zWFG>OtLtDQIXuJOmHALZA?PpW_NAZvEv<@{z6kgBt^IT z1h|6ka6t;5ngVTR+)t4oOmVedTUWyf zYNF{1;umlP>PD!5FwB}7_jc;8ZCYv$8ldRLoH`$jpxM6LK;dEpHW$Qlcwoz;U?`>t zm(jxEZ>kLlu}x$YiIDJ+#rCq~RqIyb73w!~Tg^UoQxq0)OLQ(MSFd2ERP0NU#~ss@ zu^76{_9{X7>puE+Sm!>RHx=J3S*O}?7~({#ZZXG zdu2;~H=FsL+f_0@Lg#8r(qFYQQyccHXU6%SXo=w*{7nmgmQ_e}vw<_e>d zz5_%YVip#xO0Qj{Y@ouBur{mLr*Fb`iMsvfZYcH|b%y~6=g1-_PIRyBpZXd%hj6z* z&{D_^mr{-Gj?in!Jg9aa1Z;-OTEI!jU0#qtL*Dft>FKQ(OW}mTYiMfD5iL7fW4Z)$ zGC(rJthm+MkTKQ)gI&mrd3UhVHJTkD%=0Ytid5ilal*#>+QZ(42NeItM>!77S4K5l zI!caQsymBzY+pZ~auAC4siuOEB^{KB0iZ3RfUEMvV(;C}LJ}84g4gD42cX{qFbxdr zX6D-m!l=IXsr`!gz0rEDxVf8(>ifMrTp+j`g#1la4!I6R5rZwK$!I6|5rqAyhfscz zh2H@(o=V5$F*(tHILxSrKX1U`VbB^U%a;i~X`A*HP+@mqcSX3~HXw`O;Z8-9oEYW; zroG=g#;G1V@m=DubSXlOaeu&dVk`wSck$ya7yThS_R@FCh@ar`3Dy~ zOmUI0{U`d0KPGQhxeum%m*#a(v%gP#UvP5>l?LshUq5>rsq00XAS6d|>APIgQN5%=X_6dKMxMb}qKG1P5SrP-y{ZXiM$u1B(A|;R%5D*FmWJEY< z0FWP%(xtvoa2A&k@+EW=u*E&dB9cQnFF_Q@!0;%%nR%QT{zIK65N|Lj5DF^l-ggc{ zymM%0Kal~K5NdRD7*CNxuzwEFI}{XLuVp zKz2TmtttHPV$MWdpwNv^kieWxWI(x3JtfvLSgQoEpF08s)x;UdpK{{h1sn5#Ns z8@^w!aC=Oeh~<_0`bf#JH}-k>XwXO?k&#g0_n`T;K;@i6xi^}gpoEyGHvpp3G+g$8 zzC73gaDylukaNVQkizfV&&~c^C7}5!(DR#@9nhcVTOlHUc(_0?Ezv6jhwi?rqD`d@ zK@O`oJ0|--s6>(8L_oJIH#_#nR9h6{y&t9Snra}nM%0nVGjTa^#p@tq{Ce|DwYR-FwcNM0N|6!-87wZQ35hF zc=e}XlCW=&v4XpQR|!9u_j08TJOv!=TN18>F`V@LV=s39C=Y2BpPb|HhW)#-fQtL8 z36Y!&%p%lnaNo} z{H!KS_*>-w;LA9aqKnj3ykXt$hk>fYbK3Uk*h`?D!#}N8bxI+Ap)QV9NdHSdDC2(k z_5QMcevnVzf*QI(EHjzUTho9J0@-MP>i!U`rW4SdqR>+k3^b^&L;VHICG~muw51K9 zFZ!JxX4)j0;&DMbjl{F!nvS_q7B_6It|Q0f#)G5A+(>G3bw+*ACCwBjirBO{*G46hitmuv)E=PFMH zo5>*Pn^Zlpxx2Q9tW_9pqaN;S_LuE-2Xg8- zz33~FfaVWdbXoUK#VPb7(}*R%Z|>Z}iRZ`?-kJU3p1b{bsn&bQi}YH1xWCs5mY?x) z=Fl|*5&rl%ya`ur(hhwy3-Omr4Pfz#(#Ya-nxQedeZZ0Z19{KrfD0C6!`ZnBRP&Ej z*+yB4j!pawqLfYHavNW%b`^^BkgVFJn=-Em00b}=KQZBZt$8S;l;L}!h%0qwRpujg zKZ`#;8DUM;Xe5<240Js;Ewilm@4m~j)x&F8p_wV-SGci`s2|aZR(aZ!@)UkXE_W?B zchHB(!S&U&xv%rP2CXB1DZC3sy=({;D~;%^7)QnRCR%|BF+aFIS)G88Kl?p zfT3<1ehp}-xm)GH6L0)BGrYtwTExQKR46=ZqX^hq96gOE4`#+rvvZRUQJk)}R+d57 zCavU1nJbHyJinJC_Ybi$-lk{eUPvdyG#=_FioH~s=c=_JEMC|@S6DTPyUgpP%;WIi zE3l^%h(`hp*~`M}NpoUwb3MVAmSG)mfSTsi3dShJ1G2M!@7?lt9wY(!2-wvfx#X+> z(O@JjvAjxO_crp?6ZU$p@h=bibYJH*+8#km;qGpFGNKdc3b=K2$B_kLbLcTs`QCqB zQ4XKi0>A?Tpp5dHtIoxC4iR^))uG{o#O&TGZLSwb>UYVSUl*5Qv&VleB6PC30jBsW zhABAm*=f^p1X-JrXI@6D?b|kyRD9GJcz->NZKl(WbD$!}{VnvwD}FyT-1-1SyQ1Bw z<+V1lr+IwVXV(+&OxW&FREuumnxK_at6Cmt)3+7=KStR$S{BaMpQXB)M{|-|} zXVkma&}NUlR)+EUoV=T~){%^c1CoMy1_MtTB6~bH-&}*u;-a~^it2m1jzYJ>($=>y;-Vr}n@kczDp5*jDPuoe1@1Z_&7dOA2 z)P-Sw+1q#>tBch^H1~U#8GEr_KyZ?M^fH6W_FM~r;#6^|^3s64kzbC_*(UP}@JknuIY7b2?2y13b8)DA8={-{e8&Xw& zO}=B?+v|_~3ijiwM<+;kvl$?HFIW4T_b@etEUE`*JMQrY5ezH)*PQ!!!Xt(ZQ3S&BsW7LFwtudt*J zn(LEKO!P>C*MuG-@f)uxq~J??IqSHau~L`!F1?iha!zn>xJ4ri1(bC2vX5uGkVZ31 za~wDK2V#=4mQHALlvAVQiwNtVGA(SlZQ4;`MiuXZEgf0jB6bfAXVTZ4wo9i>GF!b{ z4m;{RbJJ?3fZf<0f9M+*XCtIjIY{0!Ck?SM;c=<7?!`q>!^S){&i<`&_k;e%+eRi* zS!H=Ot!!8ianR%N29&Vjd3wiL)08q%G(KvNGVf`^3J1DxqE#426U$ZHhCSH|-iN{e zQr|#N=dKcm7O&l!#tO}vn_4Se}qAx<*aOemq;daSq+U--7$gO@A5$2 z`YHUfzBtFB38-lL2=y3~fP%PfDIf+n(*;n`+dGRaE{JnSVQ_g;bs}|h__eR_i-C9B zybB=A;I@-Tu-E2tVz0MNRK`M3Vz=7hb=K1S4%fCWfhxVQOJ2WlHJknSxiyMx&oYvF znSl~Vf+G2g%>O!EV#=blw<7sLRibwy_S@pA1aLQ=pgJP5qf-e@8o+1H{)5Xb z|J{WvX@@YE4GBm15k_&xdC^UWj?+-lY&1;CDVHbSxC%78dZ-woa1%yfZ65D$l?Qu6 zsF@uRbE@u}Jhqzi?DEtu`L0&$*t*tMqHitQ5UCa(JrdY_dhepv!i{w>x3Q81J1Z=+ zncK-Y^KUPe)?9UznssN;t|)N$;Y?v2!#9MvD46HBZ8y~jKK7(4Q~Jvq*o1^S1Xaq z7(#?e&}7Kcwpiwgy$6LHO#BKk>o}r*aBC6$?${>&wCBLg?RH+27C(Y%d`n3RpUr%aFR`q951cK*K>lPHq`qZryRT%kMjLMJBT7t_1+yxHN{5hcGC6pydwb+=r5b?)VwL%bLCgxrJ^_3q&@ z=4Ihwy~l-wvYuhSx?jiLgjaeu#;GVhlYk-Uc*DW9=+=wd98&j6Y8f~|-qmBjE(KPN ziAA;BPVHJ@;SN6fwZ%92^5Gu6HOy`@aOZ1QddH7>wpPR`%M-Ju@Erv|wf3LW&hel| zQ)`_xKC^jA;?|adRo~oCT4BW{8fz2z_)1{-hI@bcH5q@x@bnZRs|R3M`hZv?Z=qgv}AmzYm9<${(k_NKxe;LU0X*}>>F#K(wRku zXWd)AQ+f_^US}Q^U{NNd)=-se_CEFmVPS9{fAf9x&q>co8GU0FWk! zsziUGc*edn@$HTvO8$D@?+j@G4kx`yyU zh5BkIz{wXd42#u~4cNAyTA#9uAG=@WX&QlW6k{El6F99Utq|g$GwBy~yBZDHG8f(i zaVk+@BxB}=n>dEx$1nEV+_Bb-+5*qr+Kkb7$?d^art08{g+Q0z$9X|Z#X$haaq}=P?2`II%vPP;8 z%d3;k7aIHLb`@F+neXx`F5%deWLO1l>XfHU+wG<2Co`5E;v^A-k1VP=uvhhoABYaL z4n1Znu9LIpsNR;Ot}vUSe~6~qFw134SV-3QY&pGQp;1rK-Huvi18n35RO4Jz3yQsD zZkv8drh=y@+e8>AjydF9;F&MB8BN z#bM2ELBF%UbaFa%e{*+UOr_V=kpJkMXA2FK0x1Y=wK-61xR*zzu->V6CgiEUp>zQ= z`uy;sY4g0fu3Ex1i70`d2zLV+ccslDV(goEoU-Teth#&O(9YDgHDrBnGd4!Qi#EA# z`M`LTRMK{O6Q7ZQVe`~;!1EoCsLPFkCSc|IlAO&-e^P7qN!onRYoVEncW$*{f#O$b*NQW%NT9Hn|fGqb`CYh`a8z^I=(8{`Xw8jK#ae_}410V}_fLb;WZB z-_Vibe}4ncd~a0z3|d`P7w^O2lDc9)nTyyCG5L9)ptP=9;OiWZ8BB=Lsi3MCJe&Ul z#^$Tpoi4M7d+yk026Wea@RSbj6+J&Zr6ePBRxj!oo6h+uv?t1hpeD0`H09L>H7J;S zS*`o1I70hEudeL)Wn+G88L)u(gZL3GA?1-ce_{JufK}es9S3wHfv?#Orp|{<9!$+q z8dgh<+USLHCDJEQaXh+FImcVAAwi10hGMNz@&n2iM~JrT*$c*~U{RVvRu0vL?F89` zvbQht@toPEik=7xx;6&5KBo5=S_kS_^2N^=?#L`KdL%aQg*LS1Nyxsa15}Pp&uwHy ze$}G0 zUSHt?VI9eoAFewgLmx(=Lo6D5*G6$^e!%fr#c@gnJ@Bw2 zY4}DSn<&q=N^xQRFoZ)gIVAj{>;R`2;399HI|Yx3N9aNlr_wLP*R3;Y(~>fToprz- zJE!UI&Vft0HIGW7<%=Niqv5*te;ZQK z;D`fmrgXETM-?M;AR)Z)^(84L9>UFv;2sYC`A5CjTTKLJaFF8j+@GV8mW#gB5s*gr z)!6W)*EbxDnG*%o5)x$VrzD9_1#U`oLUo$IZ{JvkQz5x)Q#<(!iCK5rUVLFT2 zSf(1u#1<|!(2BgWJDc*}lXbE_f82s&XiS`(tvaUscS}|?(<%l6$4-4#?dA-mOHa<2 z&z_VgKQKx3Qv_`x$qr=HD?G0O)x&-_IkPR34xcm9Znnt683zSf{1kTlFpll|N^~fj zVKWjB46-#DEhRB{RkRG1Q|A)H562^Vdn1yTfLdu9TzpQ=55DRS@0Po^f18lb;??Y@ zd!0;-S{Uzm^0_Aw`3mV?0<&st2{( z!!RdhZifTO$^a8eU0ZL3udPWY;`fd-SUx%hCJnxG9d4Sxnb?JA-%rG&*=}#@03S)( zbo5$`@47PMP!Y8>*;75~e~U>?6-j!Edx1vY6vJYg^KCwGC4a{U|5*E~KhTH-W9%r{ zda@L>H;-v9=AU~Rj(r$#FO2_`e5y3gK#rt5H@|gk=p3Iu3k&WmqmhiGD;dp~Q%=Z|(4tD$#>VtaXvBh^n_c`~-N$Y)p1Unu6-&1$??%WhB znscKvTfcruu}~7X{#u8=!-cHaOq$szJJMs3#T2!Oi+$-Cir3OKe;8qp2`-1higBs?bJg`z zF|xjMSm~}){2%7dt6wB{Or?nV8U1wZ;pf^@!hGb@ZIA2 z8WJwSTYcIHOq=gL3N>ZM^42h$pkk7H#j3l$>4?EY(2WC`*D?>ucTRy^kb=-)|XJF&POjOYh#a!9^Z=LH6QhwORI2-=yK?5s9JP&Y6&Yf zNdDCRNmV@9YF3bRdU5+vS8T5HN3rLH0sRJJKIUC?J16zrdxcq-ZTfng!GS;eGlxBB zf4~H{joa>lek$!>k5*F}jWAz|Sd!1&vGQwnv9zWX{ZQbh zjCvay_p#&_8B%9A^khxFQ|7ywVMQx;#B8Yfif~*uyn5m(f5;qlKho*hS=#At%1*-Z5Z>mtJD++=KbD)} z>{$7}rTb0ZCzo8Qd(I3mxQ%N}4egy;ITxI)7$1*edl{$_yunXg@5WuLcwIH1-FY=J z<>p3bAEuV;$oq)UI#c9&wN{G9N}JZIP42Wr=q!L<7P6S(wY)6(QSiNIiXBo1e_y^! zhi1IfHmT6SGvd=Lb1)qvzir_Mnuy?^Rghw(o1m1n$E-biQk;y9a(4Cj)^{2%LuNV_ zO1+&g-2uCfpgzB=%pyw|C7{o>+iAPhoE<}nT1iDLJQlz1?K>eOAKoB8R*I6C6_;Qg z^9FRC829niDT69iJ*;N{8`gc^J7bBF5=&F3(in9g3@e^^K90)4TouUG#Fr&G#+H@- zzzre#k)%T4x?V{%Z;&=m6bRRP|IvQ|hMS^-mvLYN69O?amw}uD6t{qI0R$WaG&MAn zp0_6tI5Y|`Ol59obZ8(nFg7xiVFW0D?OR!M8#$7G=dY;8c5J8$_p#xa2p?@*8|@y2 zJ=1o##}AZ5%k;>kmZZAf^XvEf5-74LQ4(!AX7^!3L7a(1UPvT>l5@6EjdQ-yHX@IW zi4J*goYsx=s_`x$*G)p7^QK9jb=#!ik^3eQ9&IVPk@K<1GA=dQ5HEA!0uHTz6gr$k zAtV$`qqPMJry6ZEU~K{ogs}j&gs}j2R*ekE&|aIy+T7>>WEO~ZOb%2uI+=t9^rUE- z4A86r!7(`~6m(;h@+cS-0B1qHQQ3{Gca71OEgl7+vtYy+P;4O)V}Q>Eh$MK<0N_L+ zMcsf-(B}cCGYXu>1_Enhk0XbFij4}A3bwH+LIeR~;_QxcGa9vkip{Rc6gapiCYK-= zWhiNijG~TUgz^d6jL+ zp;t<9py2Jufmg3G*|Uw;P7^B%3Did4cnZZuj56qVKrNzrPRW(l^bePAzt6lD}}c*s*5s~{Uqqh?C0)h6mpnWB_U7(IMA>i+iU#iZ$; z&1b7o_xkd9B~>=+QTJ@RSgxLY94|oCsQYO=sJxk;u0Aeh-Kpl)NDw@oEKe5Gi`9Gq zlgp+3@pw65Ut=K+Y58$>GC!Tp&Sd4WFUoWn(hVm zBwM=PZ(Gw1c%1Dn&I_LTY|^d%n0Kp>i^-(>Fuz><+fdxd4Oa2GWlw5iw>%#&Kf?ZM zK@i2%{S0&Mj-dbU4IF3eF1z2mKe&5!|N38NbidK}VCm6pHXnMEpQf{a!WYaJr<27y zg;lTLcQ3ks!|usDI!X0@)V-RVteSV&R$4|Y0qZ>=JV2b(T2t4ohwXNcnuiaY?sd~W zpZ{&%bWfWfK1|Op7n3$TXh6bup+dv+Xl$LDtDd_ZmlR_N5NE?qA}0TRIbKcYvlgp6 z4=H)tytBpKHr?A_e}l(pGd9r(r{Tch?DG8l{f)4HslYnlVqd-;7S7H%*}7YWKx7}h z&V-iR^{ucPz7X*o9D0OC++Dz!oxuYf802<4taYtcmVri_^c}zudmAM3fePYXz}P+* z^C84(b+`){N=*=kRq*PFiS7V4tzx*;B0SszZMrA(^ZDZS#rR~>*fQd1yjo2bv&NL_ zk6%`Q&tI>`t4Sk)K~wfjv7~3PG+3E0fX^7vBI>U-2L62+M-3fKUx9^2RVxU3qwYHt z{qhK$l>8;dtOSnz?H5Y2A_HuGM9Y3CbX~Y)<&49vSbsvr40arX- z6*zGt@P~3DA}y{;+EwwnDiEHAN^WXyYhK4y0q=H}yZjQ54tnDqJEQFd$u-fn28T8clhvTtVBd20r}k6(Y599=6hdaM2^H?4dkbA-w>K8yJDeve z_Bg2+?A+e^`_ZZuBC(Up@shN{ws4+~=03!NTW8CL8-!?$UCfqMX5;;dU5!tFK&nE( zU~IJM-ul;wJ)&G)Ic($r@Hl`(eJ?_d*RBgNr<@OPTvOjcoCb>u(!_Zw@lMWSQAKnA zW&a756*P$?xj5^sjup1>(0+Na6*0Pgx7{OR+=jh9V%!O9fM2`)U~!OjJ0iwiut5UG z{XiM*$30;^&cJq05**0Qd%{A04A#Z{V0kK0`-#_Q-DCy-?gw7qA8HBm2SP z*ux-sA6OG%4{<-e8H+e?Pqgq@yo}lhRwo>F^nQ4G6pk+ZyUsc{A8EFK4nCVB&0WWW zP0}>o#o338#o2N5ZcT3Ybn^T3Wb*3y7Cngm*!gE4Zu>>>$_1!1!@Q=Y?cRvA6OTvS#EsDk3gvfhi;; zMoKj$Vf@9w>&%Q08vR;-U?VRZbKr$yh`dTok-g9z@M*<6Qc&XMmNgmPK9;ga52l5e zN=@SS*FoT}y|8 z7^XNlkcgTknp>YnFTW6|_uJDX*WUZ26~5wL&ml9Gv|6>63SwFcPy}0>v@h9hHRU%7 zFDQm9=6b4KwV$GYwXNxH$?}d-a`j)(U2iG0RHlYDFi3}T-8>`=lZtkj$?f~rP`*D8 zezIcA0xB%m5m{b2WP})+tenz!y<82gn7O1wAr>*n?U%d&Ui}fj6XTWI06Xhh(HqnS zS(?otB}kcOQyM}IpI-$1ux~)#F2Zj5nQK%OtV1nU@lbSsijKUp705+-a0;G`#qtmX zxcWRZ;4>I{nzaf_n~bg4i_a*EF8J3z!K|nEsxF`nqgP7<5eTxXjX`;!J!#$2soCJD zs_@&;1;UC`vSL|PA%os(Ndtr5*o4@3l|BrW=ZUg4!ea!HhvE}fz&Sd}hGL}5RS=0I zLr_^ZEic`FPOe$(Rtm>1Pjn@71&Pk`p2oe&Yrf3+EH7-1z9)+CNlK9SHOIYJ)Xx`n zwo|3H*e>_oAX_z`+dzPo9l-I?&CAvZZF8V!Z!q#mhvmm!U7r_e9S~r7ob;S*mmj#M z(r>iv%@W*{Jddf>tQa3eO>vZM8)tWl%<=ItrXb6I|NkFc_kD2X!>Mn+Ew#pSNe$8@ zACoY!DkZ+JUY@(H_k?NhnhwaSC6@5d0vC_Un4jQUfrcEyHC3!x!LS zb&tNlxUy|~wHYR9$YxFZkdNy;l@=oQDoW(im#nOUO@AFFtwlqnCEL_vSi@EgR;?Lv zb)hnUQ2GiRrCic7Yr#=H#Xu2sO?NDyIOw@O9s0bl7`6veNp`pP^IdT%SHXs1*-lU% zKMUjy!60MsVZ2Zv2K)ao#wZ(~%trHtN_>zd8N{E{J=Q%$i^;=B(}*S1k~9=N0cuS2 z=-Mdyu_S9h@}>;dC}E3uiNt$YXk5s1+(+ntn@NI^5Wh@itK;Y1?(U3)haxK*+x4`U z{?LQ1{Wt@(%p;(+S$02`<(rHh<$coLer4F#4&DoO&2H`)&b{5UHFUeJ##55sGRTTI z>c<2*MoX%dIN_SfyPONM`-C-26^E6bx1<9m%G_B;*{Q7T*Wxdd_!b@HtdwNel2del z{g%dinmZr+BV$ik245>A4wavh)XVJz`}j2%TL`0W`0M-mJ*SNJetQ+CioE|xC#L8J zFeie2LxeS+s5U>w=~mXR5YD_W^BM>-m;7w%gYYDM*vJcPOdB|3L`XwC#j^~M_FM}g z{3x;#Rzgk*TG#ooeLbd@Q!V%X>oF;Rui>gwS_?q>Gw;KcAj4J<0P!`H@b3XnocGd&v*AXsi8ST?=ciU0DnKt({OEH(U$+p1jxM zP0QhFD<9-;zNjrX z=s%A?qv!DHPyhAy`F}il`Quxy&~ZLKTQ;shJeChy4vcFK4F4NI^MmdvkC%^@C;YC( zVaSv5#f!=G?Bj}`@^TV(93YGyb%(3*`Sj$`?CgBP&eyBS=U;H_8g*}f>j-Bx5PTdj zc<25@cf1&%Og^rr7pL<-X6KU+tL>Hr$84G|FSbE0FE#-GoUGV+yj5FW^fdw8bV?Py z)7ffrwiutEPL~(w<3GC#e!atykEdsw%JKAUSX*t%Kp|zpw;od_TMz2z-c&GbF+QE1 zjL#nv>i5Z))ns;hI=?)BKA$`&s(3bq2yy(}{jK$G)&Ba|!`DZ@K(#LqZ&Ix_P;I$d zmP@3KWYz)>Hf7X3;#8;c=gNCZ-;MxMHYUiC~T~f;KSwj zkwjKEN@BXrO8gpDo*%va`>($VD`6)qaBYPZ1E=zRSV{gyR$de>Z8Ma=hM~hZzrHzq zBn-vfX4*5vH@xq}kiLn0ft&&qx0{RsQ7V^*Q2`d0Z_)uKwm`Z~+y! zZ_)u%8<&QR0Ts8`?E&H(m+ZCy77#QwG72wDWo~D5Xfhx+G&q;>IRqC0H{C{=osCIV8FCLIA0 z^ox4Vz4zSzU+eo;)=J)a=9$?udq1<26?PU~1Acisq%Bk#i9qv%1c3JeidqI{ARqt; z6czvig$UW%4Pj_F^lzMy-5BbQf+2qq_y2>T=ne&=G1x;e8bj1VA^_?hZ~#ac01~?o z62A`w0)&7-$-jw6_xpf{U{9DGKuZ9ijzmCFgzSn)S08tngCiQV&fkv!E(kXOBq=G* z_d6UQ?*es)LBI%r78vaab-}C%0mA_XNC*sy_W4H&t_O~2wCjCAK`$>a0kD4yN&xBZ zAj8cE@PeTo0s2rB)ZG(m2l&-8KpX4={i`(rLUw?mBMkM&VSuzpdx71d01NF>1iy{0j9Sl&G*8_kt9sboH3gQlP zMWX~zF!-+?1%IW%Y_k%=P7&$i0!5%vgum*02y=%*F#GN!_}Ae&BamJQzrQVe7{bo} zR~vR7u7XAgn41Sw?crY>3`F>E%mIo9hyo?W#6&>=s2c$44RI9wwSa%2k1O=I^EZs? zA;8ZS=?bvNv;hr(*+VfOgnlTnClr8o_kafY{ioxf79j`(u!BL+09&X73_=+no z|HsChzdOtuU;)I)4+H@Idj0Fk5~DCXBm(a9Z~E^e7F1F+F)~-={j24FITaL;-T*&- zAxQwgq!S<--ga#2IsopfJ+>?Sf)v=%4ExA|X;?PW55!7q#;AUi_a%@m5wlqZ7>fqD0XgbI<%7HSx1l zrrZ>4?5b&o({<-7A|_}3>3Q}q#=IZB$q8OgQ_V+XDfNG?D;)9{41PO#;{au{L((~n zi>F7glOH7NF_PL?;977do6KH?i+2lezW7{x-HF;Xm)r%o07}ouSkmaxaq@YcyVy_6 zSlCw4LuQZ2p5Ae{$nY>!GaA3fegb=XuFxJ!`^{(F;%Vm4($d?U{=RhK<3f#|8nNmK z3fjBA>MVbG!$||Ql!-a&FHu+=3ZiF<6{!iVv?VSP9LqR1;>+Ks3;SOs4hVZRIcO^e z-`06N((KWI6rGjM>s~%)u-?cv{3b|D(~=bJ$XA=rrodifhjliTaZn=+&+oydVgleb zbT0nXnnsqDpPOl7zi*Dke;g`o^?8Ek!X_>&5hQM?wePvC1&AFRrhIT>-f)$+D|s5|ly$+pi(ITf5>+L5)}yOa1* zP4w&?xiOED7`jel4%ubR9iJCJ9jKq5hpYRlQ$@;LPI7*NHQrd5w7`&j&QNm`D?|I1 z+5LZT`Jibs5(?-23dR@jpNow=lMZQ-PL&7(K3<$Syzx-)OFUWK`fa`LZ#S(HY~2q9 zg$S%P@;l8PZOXJc)zKmeu;$%_t1Shyso+EL+2wqNA4Y-J6y=W}<=e-7fBJRvwCNz< zRK6j~93Gw0H5IsST{ObjVc!3gA>;MLm!5wP&eTnB)uzic+(Qc6A(i_BtYIbas^)mn zHpQiW%4j2tez0cyX$ygS_lSM-={F*f#krKoMzE{ZR+ILD>-S1Gg@=GUq@45NlEUlN zT0tC=ez-(Y#(@usze?O822V7F2+bk{upI512{+)f8tjF3SMnS&m}eueJ)*fBxCB(j{Vp>>aEuOrug~ zaOx?G+U?l->H6=RG+*_}e^{fZO{6lrMvgKDJmk3URib%D$|$C98$HYM^Iw1e`c*Fg zEc{8i9FCLPc_QJB`ERDDd}00TWmTPzSgXD@r)E)4>hIn3)K^TMFTu^xd+10=OEN8I&6hVo zHJn4*;e3ZG&ek5jDX(^+YlVMZ*^ueAkVR2yr#7hS>&yi?7Y_CQp1>3{82rUx$VgYM z!QM|}tYQ>J7f!T4YF5);uqXJ%^G*D?MM3NLd8QUkcAWyb-AvWch~zsDmUTIwsuv9} z26`sW@b$AbvN{@-X~~{8?8>etyYkG2iF=aFQA;oCf=~hLDx}GB#oB*KqE?5(snLd? z8YJx7A^>zgdZm$}tvcLcjl|D^;?tj}*h#`~g{cq~Unc4M7Ezp>*l+tqPFRsYbo_Ao zV5874GjmNLb$Dks;PQ3TF}XL+sGdf>(M3pq;&lSFbIf==9xGnDr84UMQP z5oaA~>b)OTad(&D?=pEv#0lJREZ(!=eL25;IX1sF{RsIg z#A=T1B}eS1lVeMA33zJ!#!FNyM_AY!!GyInEAA{7!%w|IVB!<()#v*Q6Ai0W!5s#y z1yb=_saGCWSO(FA@}kF?VhYmai-n$u#Z1F>g6hopy76|_@X3Gk3JOa>yixwZ0Kcfo z{z19?=``La3|TOe8`l*O@R%!NaB;nH`s0jWC9!rz2-blkJL+5I_F*0Xt95QwyO=6u z|}?7d@KbOAg$!;wrZ@uyCdXSa13p8obogJgmMzzRoq zk44Y*{MMTU`tyHQcd_&KH&P`H=4o49{TrV1Op?w-KIBiSnpBf~T&3t94$iFulAUPx zKsgil5B0+=pD$(G`l=|(va*NxLzhatShniYM#bWWOZ0WO*gn5(z5lc09rs|zQ>Ao5qLJljc0`jIa1^dAxIr5Hp|DzR_1D`PnxJDXg_dVy|uZ zH-p2{W`AoejN==Zb@9GzDlC=7F=LDmm+leFZ->G%xs0Y4(_h`L{+tyus8j!cY2b z6{xi5+8je?ZgAOhB0sPi`J5oC;q5Bze2e@>O6!{rG`zEJO!d0J0?RPi8#Sg?$QZ60 z&C`GQ3<|A?FSRf2#PV`}A4$V>p$g&_Cn%4HvBpjG9E7j|8RvflH&*o+%fh!g;I#$S&ek6h z^{8dTA8H=xnd1ltpEv9BBao-<#~qvxCd@ik@Syx(K!O(}vH9Y`u{=tm_tNbmkBX5` z)BG$ID`nVz;3(hnbzqr@;weJ5VNKt3ih0Mc{XKYZv}Cjzc`Om%r{SgNuoUN-!vlY^ zq96$on2m|b9qZn$BhoaEeti1&=hcM^@m)B0jM$R>?iT^pQk#TV71l5GUcwjx={8(n zpY=Uu8p6j%C1H#D2$+V(<1kE(zTiIk%ur}pu!mK8W(U&9FLbV|8i{dQ3alz5php0G zsVh}pFs?GYMZb*S1y`8pZL|A^P1Ap<*SF4_7Sk1W3!~M1fW4hX0=U!nqWdh8?-etK zKD?*&E+om-wMLnzs{Cu+a)#%DyUw)T7(yIzyO?|m$6hj&r-uHE>HV*rn=%9KS@(HH zmo*vfu}9-5dnA)Mz)4P0yo`R7uYi%axF_DrCpq-gYVhm?n`(4pFB&&<`YwN%pNz;e zzURJ$*gqS;-7sU=oiFyS;BBF@B#+9No(61uO6DPC z|lAMVIc1qzp~=}~TXDKHtI zK4v?VR4QzvN^p`Ud}1jJsM^Z)^SW7MO)4sUUZTA3Fx}N4lBLJpYY8Z^yQ14uD9Q0c;;SQW|6q`#?$5_ zQF~L}_c-d)u0Zc|6}F%G^kF4C;{pK%tz)-GQeKu*e;Dsn9?eXF)YfGshDg&?zp-bb zzQN2h+)*ijC%EZ_*BgJWFVV&&x3KUe%a<6^(jnKQ&7tO!p0`vaW6JW@B^7!!BsT`9 zA~E^NI%TY=x^j+#PJWk)>!+%`;lYKoJC&9 zT{pwkdYN6)bX!ZSjj*X9jM%N;lcTw2=v;B-ldyj_R=p*TXN73f0~=UVEXN z_k@=}x4NRh=t+8=@>in^UDj6`V-XR&Rqaz|oltQKSzr}c>KOsdj-EbCvr)>y8DH|v z9WFC9{)AY#&5N)5QZ_S`o1f(;2vqMkzIe83rpjmwN^V+vr8?l(;uSieZ)G-_MN7g* z_>6x|x%^$4>cfR&V>(&aV|<^<^wzt&%k0Y1uR^*9`V}Ja&KAxJR5a#w9UC5NH(Ipd zstsB1LGFt+Pw8(IxQvkD)@$t2)7(!eG^)# zyX2nC3E^ZJH%-^1ZiXo^C*6uJGo^?Z&|OuNlFer^ERF&Q+m<>}*D*ovL0V`TAL*J1p7mf`MV!vZR>U3XK6-igx&k<7^F?22>eb1ON2h=1 z^ZA1en!(t+p#{3h9O7s+DfXF%im#N0gUI`n$v7sdmmb`#+YM5e9}H5{x;;CF53jx| zK5mfhQV)G4n54`qW+YGxl-b0?KIQ$Op*I}{q-7nNu9}qI4L(9`FYkqVBh@We=PFr7 zyspG_mIMNxc%PG(ynJ5$`ifCJrojjmlJ#P?qTgrp(@<|R zzF~f>qUe>1yTh6hUN4#G2wQw)dMt;3ZG2N#48h~nC6&sJd5OIA9pZu-JT1>pD_l<0 z=(5oD6#((kcp>6wFWYj=vQH0t#DpeXXFicG%7sKAw&-c~;VpfOPU?var1pOUr+c3X zesG3t_O^qnDdtIDO9e2K9)>^C3e1Jfa^0VY#@ET7g-5JYm}iPGX+$|h;#Tx+6?a!` zl2XXU<`_Ot0nBiM&sf>}HT-S#Gy*;rzFj}|co>nB98D5%!Vz@cDjc#Q~Q*HEn;@m6<>|oZeDX-n=i{jZT?Qz%ww?8H4nbI0-4bSd@IM z(h-*lb~d?mE-9?&z#cZO;S82@Ydrc$qNuDG%+l4iWuNtaY|?YNpX`;9}gLQHP#Sl@!~{?k(_ z1uMOHor+}PZ(TeJw}l%*JrJ*O*j}!v^^@%U%(vFTgZ{92N64JP_Ikx8B!FL%QctkA zDY{>{MP&QyPG(+wuFFOC~HmNBKahh4X>w_oj4S?>rvn7kNG>*vKK`+{cZ zuB^2f-|RWJBap(9t!u9c`3vb;@c|_MLXuCeybF5{oOgRJ;{W-?# ztoBLBL{i2+Eui8hfNbKTxA{~U9obyuY6C~J_fZ$!@D9Nlv) zyWMIoHbE1P<-)f->1e=jVtyx{1ZPa0hVy0Z`H*z^#s@F$Pq__Xc;)?QwhJB672S<6 zuO91(XeD3_i^hMlaP-75tJSB;Zw_uhB!PAIO8s0?uB_5OhU_780@=zGDRY^CZbBbH3!VB|>IYfJU&)oO0(@UiCF!!;(TW@H`np|0A%e(nTC&F?bUgQ0d zQ_SmlUCgvzk*w>X29pjx?VCvZY%T{mFH8GU12CO)i8fF3*GP}BJ{odWZ1HNISgD_x@&vyEc=EeLq``Rxb&D|E18QDm4J{OFMkvqhKpu0cYXx zj&D1>DOVBs?jV(b->v|6vBP6y=Mh%-DE4R8jKF_$PLKT|e@YgaMd9zj#yIMp_9Cm9 z7b!H{GnxE;FLmNuYjtKXg~;^FyBkTp-)`*^Fh}Y25uAD{I7}q2wO<=tzsk#IovVar z+a8|zO10KysQJu1QkuK@W_Tys)xF$Vi|C~so?JJS0;>j^J)xYuVR~kDInpdi8XthqVUq zJNZt1XMhA+I$wNGS}d~VptZ;B0u&m)kF@U=#Dr~Lt)EjV?cnpRLyd)|$fdQYkrdo_ z`GeIV1I8bV?@!SgEeK7v$P9v_=H4c=l6HUTnY29%)w%vUnJB`e)TDaeT~9ru5agip zsHZXctwhWxE^fI)7jhIMm)43!CXn^gUDHW%X}cl1>G9w}{4lXwebl0m7V}Dscn&Kq z$i40^ftat%SE-7(Oidk-kJIX-x~m##YW7xYKhr|w?wyUf#^@BPyfriA+ADu}6cv^w zD>UyT!-F84T@aqCJ_3VZ*SRioE*D8b(kAUjDnhOz#^}_leH;kgG+j46bg30c^OaYk z)Zmvf4Kzu;)|u_3%`;oR{xsiR^f^ z+m(HSXy7+Pfz2MemlJ>d!SyV;=LQN`tzJe{#%Gh623bXjVi70Z^o6ld4}H}2vm3_h z%odF5wIJL4PUv@)^gptW0N0~`8ot)&{&$v zOdyzmy;`&NIo5GW<+aVR2lzurdGUzjC{EbYoTaH%MGA6id&+F`{xX~2OLHA(2ic>3 z0~vw=Z3>I61#fw-u9O>)P!%ymN`);*uq=dHx5&A$8lAabN=zms!#Q z7nkWp0u8qxDFU+`m%;4;7Psg{0-hX~x(Wgox13@E+Z~tuC;}F@jer938<)~W0v5NG zoC38L0y8z2ft&&q5H>k63NK7$ZfA68G9WQEGMA8W0Tl!?H8wPpVFW0DwN!ar6W11g z3WCNBv8Eu3S11^jY%C&D!2k)1Ax0r0#f2fcAtPZXOeT^@S=?w*Uy&9;kqRnSu%J}M z71yd*tspLJiXbW~OKV*~T=2~Vt;*~B^Zn+RncVZ8<-6y8=Q>Q3hOh++JPL|%jAZjU zycs|o9E^~vKoU`-a(DKBJQ%H0BLv`coOwKkgM%*t5fa5QKZJxc0Dl^(0wGXC!q_NC z0LsOK;Q;(01_=sRfG7h9h9nYd&_F(5A;yIi*OKfgL`%UCi$*axnF{g6H3kBWR*`fL z7dD&DL`VB@KoBC2!Q-_tC_pd;2;u~DfCP`Hj3{8?7>I%@M6CpWxDtfI1wa-eoEHN8 z=gpBxLnd>m#34G31}ENe@eK);`8xqWfh1H2;Cv_GFAE8!-=Pqr_(wYdNhpQWbtp$V zJXjbi2o0AC`CNJrfDe{ILW|O6`*Cxmn1K(}s8A(=#~KR&mWm`bGq~LN_;^mVPD^rd zBATO78~KH*P%Vgm$B7s~eF>VI{1=UVc1^W`vhXcf@9Aa8X2Z``LFqUd16-3#| zzll+eAnBayK6jvn@RKqsL~D!{OQm8Ei=Y?@F$9xSjwC|rv>?)Gqkd2^sgEE8zB+=S zYXrZCh`-Ccr|yGOJ6otuNJQfMpBRGaw97y0&8ORz#4~{F^l5d z^FygVkvL)C{om33vd;0jQU& zxO8EoZfG-qpEgqsNleh-8lXhfT9}9`A@yM-Xpv2B3gS23LZUlr&g{eN|8#z_u+ixCaYv z!QE}p;2JzQ!5s!2bRakcO<=I#!QBQ6ZXvkaAi*J61_>4}=f3l*-rxIM-FtQQPgmF8 zUAxzM&W}4WQZLb~Vpid@eX_B9kYs8oU%l8ods^?OpU7tJi+isCCwSY!s82u&(f#tJ z>fU7C;r!>D-l7G<`ny`{yq`h`(h5r2+1Y7AzTAaZLrU9S|6YGH48TQiG1>a%97(?b z4c)C6D5yX^Gb^l9*_XV|Pq)1ywe~U#x1Q-;aif&QMB(QHe*xyg*JV-iXS-026Yr7D z@S{KLV@@BADijQ2p@$3y=TU7HL7FGpe0(v?YA9zaKV@hes~&|5bEMpc?|0^mx8XBj z0nwuiv5#q=N27|g3hps!ndzkM%JOcX$wG8{wNkZMy~BOK7K@JH^}?am^;Pg77#PgB9o5u5ho1TrIZB zT}sv=2tt&~xvzc6Y?9aJA?D)JVZmz%kMQFn6i@=_)ks z$}j&?XBSr=49<+P_2^r-T*l5720w58-in9njuYgEBp6J9e%5rcwaVtvpsl0S0G=+bvUesQmYkLkf*brX&-U==n`dSfcJyEy> z=MQwhC+VR)-)4mL1!`t-hBujdWRxZNRNDhPeBMYz$yc3a6?KN@&BVdF z7nn#zJH1iiULHb*5Yu}C@LhQ?VkFGlrm9xs&b=yT^DZyCpoUucqVQN00?hN>q)a|3q%K%e(kAWa5;-st@r3j7A;hK+YO z!V?yzEu4R4HSLoTpO`=RsHp8EY*d#I<{yvv*k-P7o(4-<-y|_9o(!w|pNTsPQZ)*Q zM&(PrNu9^bv+DGZn~0Uz&Y|68oa7tP#4&+T_58f1-r(wa$%v=DMnto~LtfW$7l>$3 zOPyKJiRFtNJf0*B*s3qnS{u08Y=Jzpm}hnV+1~l|C`7=!XDYt{-0r@+R~RMW9dX;1 zagR)Kn+F&*~L+bP4bn#R~ToG8YArv`&WS|T43os>>$V{;Reei-oP z@MdF0xI@JC(dpWL-}0oYP(GeO%4Okamet&~(#Mj zyuducNS%%;$zglBrIOx9OiP2~BVxR)H4CrUwIA$e`Hl9`##>GGK-iZE8X99N{W7NW zx;0^lL_5>-za^~g8hjbCf0-?7C&q=_iqfnRoh)TTzYcWBb~wK?N!N+{i}|zO1P>sc z7yh%+61v+0wWEXiVDtHvGL#{2HrV45GQ3EYsVP0PBWIr+=4dc!!J{5`VmFlgne zPYPtp%8tnLpJp#63nXaR@D%tlg>j$z-rRhJ;*U}5ucIR0ZPn!sa>-}D&Gd$E^UoXm zkVrS}gT1d1Q{Kh0q0UTw0_P_+i4h;`A5MlB3&CRXYZQgV3XMi&$!6=)E~+g`X269e z?m|qu^@T6l4;i;>H^!GmtlTG@C3c&EzwxG?g#+-ZKTdAk9N*|zxU8oXnYP;x0eRe~_ceJ-{EI;lxZ*#N0OIJi#q+Q=oiA9- z8qJPq)ohKi-20S!@-*6`cBPr^;x_X4N!c7H<{NHq=)=Ju8?s5w9_20*@t^Zv0n71C zEM2K+gWcxPMdQKc(-6rKUu}yL_q_-jNY^@O>nzjjprnp_1HNrJ^zfvgHF7n zQG(r{++j{}7Ud4u(`@E%;{3b0DdlR;XP_Z9#lfpS;3YIWQ1D&1{JlC98Mz5if1$a|JVl)uU*4t|iSNoThIKj~+b^-DJC z(uV7efFWq{ei`Ypv~7$db_o$g7MR zg}%W+Q!{;s8DuS)L@e1_R;u5uq25)fqFB-x@^p$$PPG1N@4k-+s|f1dG2{3SyR4r9 zzijmbr8I?a@M&M!0Vem>XUXjQ3w9c{5bA0C>o%`8WtuVOSa9B3=5af|WFmPMeebrg z16&_LmaTR}h$nI&1vCCmq@;ehoclgsjOv6Hz8M=fv9K?&Usj)^ZHo`1>(6T=VkLkX z+cYW*P^-6~ABP}XN6m}i-^@kX7LnDT=8VIH9b$CphwdH0{Jtp9V0Wc2JL>E#xlCZJ zsXhaq;IOJ#CQRg!H{Jln^)$(kp!%V2Ou(qNa2Bmzhy!wR2%V5NvC!zFD91EM!xf(!mx+eNaPHCHYt-#HYq^oUI~J$XCgZ zo+1B80cn)0D3-cPQE8L?-CKFXKrA#q^oWdRf&|2jBui1>`jUa-+6&xkz#3F^Aw(f- zAsa(X7b41HO)d>ctVSt3zwD&=WVfVKIZC&UMaY1@x ze`(Q36Re)3$G^(RN=%~OS`)Q5IZCZ@(d}I1P=#&)8gf_)JFyo(yoyN<0JSKQo^hBJ zEBcdq2#Df9XSfpQ1}BRDGWa0sDjt|1W@S^@DkDT<{S23}-r{!;=a$xo165Fu+w&BL z4Q;|2%s&N=pNJJgW%Qw+#hVTtRGJmHFU%l*eAwz*Di)_rf~dBe-KoORor zOojiuM0bu=_Qw$B*o$Ue8r!qG%_~Xn`jeff0h|aYtEjtJtOSw4cN~`_nah)zejJoW zb@;cNq?za$l=E{^iJfc_kP>TcNNQ3b7mX;0dSAGek(E1gL#t)?V&VrJ&KdFUnh6jR zM(7`Oi1lq=JKXaPsT-H?wdW?CrDc!!9pdUY*C=_Eh1w0zz#R+zVh_OA?5&KS;puZ5 zZcbEl6nuSgnPLOaio68tmO1ij{kx}3M_lK}8puv4sHbCdolXSL7X;db(9lp@(!8hN z)#CcZaj1RiEZC>?pemM9{X=fo9+blEI_R78s~h+T_P(N|?$&_HHQJ10L_Oe;>`UY= z6%Y(<edDW^kmWq52sVEiaS4tgRot(ksyN-;TSOjaTrngXM9^|OVQ(;2wp-ibRhP1VZH2)Rf+rjLK3{|M%JZ`je4Y6!wX@WZPU$UqJF13b>=#odr@DJjTpZMFJ&5AXS$ z*czzeSz)O5w50jf>iXi}7W(4T-3;X4be%cPmL9Wb@U?-p0i3lHcv_IzTRK;PWpiie z@ZmLXM@Uzv>zAwUMV!eS(tSiuLe+`O+7A3xh}poDiSVNH0!h=mol`R5vf>((Cdm`5 zE3Je4wI*`%gLB9~U~RUcrd|7_pSk6A^jv948kKmcVi~ zV+V#0E%py*;X%0c+Eypn>p}kele2pQo^)2X*ieG{sLtfnPEYbpqXfQiHz^*`7J~+; zoHt^^?OP-aN3sm6>@n#cxGcx^HYQNTmjK_v1c$y{XA2Uk>xZZu#{9Tj!EQ~aI9_@< z`1CFf@y`7i?Z!jo?CVBH(x0t#+-&B*9&ZutZr6O8yxP@Am4}v}G)?FMy9_yyJ_{&&c^oOA|0mTLu zL=qd z3ydW0&UyzY@g6q^#f6Xe^IEYabdySP0$Mkgk2jt=ABrDn2ceP+;i5~TrKJV^NRylxEf! zdR1(jA+7L(nk|-=?(MWRj^F{E{Vazc5RMy=PuHsuS33Ca-rx=3{+$qT%VfJmRrhlP zi-!g}DZ3kAj;nuU^3PumRY&GifzDiSl!F#cyqaA}ia-9{f7Lhp*v>O4ocLFGWHdX> zFBPI+)lmNM?1!M#b@a~9F{O@N4)jsB4<2 z1@R}Th;N0;-7l;z`2$DE>j782Ka=#CWiU5? z0sPZz)aS%VDoLqU;HBhH?GfgXx18o%ikeE0fXv?V3M~ICeD$C2abdlmTq`$jZc3S_ z=kJsSKdr>iOIL|fQ64gq_|1=yov)hfFg2WFJdC3{F)-2i0PgCu59(QO`;O)nl9V7f zuJ~VRG@0*=&Yo-{oMj87-SA!ht4`x1s9xSvqUC;!@O~{{q4NwTr774%pql_{x6;)c z4HT7`U_V>hCPy^omLk42_oSEF%i%$d&+Hj@ zI3LaOuCh)zA5|9Is2jC(UkvU@bu4FC4lDZxWYkLcEN8eWJ@}H&RwrAw?m?3-tGEp; zyp>l1jY|yU+B9mUdhAl&i)ByQ9C0L0QPp8`^nnVQ@A(Tt`03YP6H1qkVawGS*;1j% z2N{s|m++#LB!$u9gzZ8ysQi#(Ns%Ndk<1ZwZuguxid{jT$JxQ(Vwep+2f_!sD&vfT z6*NEJNPFmOb`%Xb+X^C8#y||_cdbNfjkW#kzVa4UenjT;9?xSIexj)<3T1N6UQd9~o&`)u-73vbM^n}Y z&CgfgKUI^ZNvU?h8I(m;Hj7#UP%6F(_VH5GedIM6c0P-_(JS8EkiDE>5yFE|mo|OB z4XB^Y7uP4j8=z}qBgo&Zo2!enon!kka3_S-t$=X4k@`8Xccn+j8)19@dMKbR6y3`B zt$W5VZRtt>b{Bh<4DDEN>*ylJ$x6)2(ppZ7#k_q1U1N_n}N zSG#j!PZEj60rA?tGa~I}GXi6#X4hknYb;9|_q<4$#K)SD^9ZhNO;Ne%F@u3Cf%hdp z{EJFevt{+{A98E@jRC+CmjVyzuXS@1*y5}iAA#9&f_GLb$&GtLW3ytTWqkwWnEGh3 zqKZWT7Sjyceq3wnEtdnQ%)QjYQJ2x`kFFW$4U2vfBwmEOw$f-7gx`zt8eEBj7XVwV z1eRqV8j+GAhE8OADMWIu#?Z7qO}?Bce#)D*-vnuQYlinb*Gwin1Hx~>MaHQ$QIkG2 zQL5j1ZC`a5MGZq zQ>ilQfQycuEv^$=luzo^WlZ$DO|89rm|)zqz^;*`VbCgt17PH5o0Jk_LPBW8xMtFM zRD*c&b#yD+$@e_+ZdX?SE}r~Mvuo}N7HG3@WV70urqw*+)cDo+t7?V;WmeVJRv03h zT4)@So@&w8uzH~vwTzo-cPNSu^wAVXM@qG180)8abwyWPCKh(vhHjW6C^?xv^)7CT zYv@obptdfim*Hsb?N*xM4PmX|D&>Hp;p2S8k?laB&3?h>wq|Eu(c6|{HcRFzVSGXk z`5I8K&Vr;1b#JWnQ$De| zyuWVSsj;aoZoG$AvQG$NqLQWP06D`|Es)k~rW9@kvWaNO!*Gm};{!jRm;o|P8|mDh#oz^j_+H`##NcaEV1%D#lRNp}_y zqag>UZZ=8Obl2Fr+33GLs)WqTe+YYr*p?aWVy4CH_hlk{H%w>&0fc1;)yw^)v4`Tsjo zpf?4I2nr~PC@RVei@sG5loJ#c5)=^-7E%ybQj!-E784ecrvLv_UbfS)b9eA@q~{kD z68_&(oH;|)G0%V``uy(C!OwXXr#TkQ&!wt4h2C>QZgb)^X(C4{>po-C;~zQY$aNJ6 zJBVOBCG?Dk@`?%yqC7s|)}vx^d>Pt^j^&}sa-wQoQz!e|UFXnes!1PW`Q!|A0mZf4p`apKZ5(D&;eDICuhVGfG<@^QU>+T=5L;JNOiAloC=vch0wA zw~MqK;}1B0X$12!mj+4(;Dzd9Gv6^rnPV0!>6sB#CW`sSvtE^xqQms*V1zly;Q7gs7F z&5d%|UHJ16=mn*P24*$0wjV|SZZBr)9VVpL@5`x-nxk?!sNRm&D5zx$R5a5eJ;)Ip zqCHs=^f;mkC7vU3ScuMOO=CIYoTCUu_#;@=4h$GA8go%?R7~1)(RNg%tAddrwG4Ny zf27|LZ=e#JZ8`0k^Tn+z`CydKc>Hn-bSHAMcPCEm@QRO}PoJY_T=*lXK$#n0(UsvC zULJkOprhKXqOaMkpwD2!Qpsq7TxEqofsbJ3Jh1}(#xV;<+Bu>#&6t2}~D#xNWxp{$eRJX7Y%9e587Mgnh;*9pZ zVa?(jG10`;jddYsho)c%(;8Q0j25zifvDZ}(9;&c3RT(A7KoXID&h&mUGCJmUZ`sD z+TrglN-XPh>&^QF>oxWyu4moB^Q6^4xv|~-luVAS9BQjQtiC1ChEn^HpAWw_oV^}U z+Q%5X#gK`NvxT3D;om3aNe4t~vcl)miy|u`WyG80NZof#EYE^CevL&|uk>Kz>s4Xd z7j;9y1yv%kh^H3}|4xmT;vcN|&+(I;_?)DMo$e#6n^j_y8u+FgxR-uu0X-{fN+n_a z+944?>OPCCp!GS4W;RR3f$?jc56gc*5nCK3vsy;E6=P@IAd6S_OXzdl8G-0 zxHqNZtMWAvjYi^j?JtbnCVzjsd_PNz%3mbm&M^oismb(}F>H4B`$w+mVvi%kX(Afr z#^rfnl}?urXwsHR6KXnNB_*}*kulV_Q@l$niYNX46kl2M`pHPgY3LVgymK}9jz+P? z5O~M;{_-+`B0s3UvejR3ze8~2pTG{R`;&~n{UgFaH8f)NnQr4ldZ7cUuZdlU_6$!| zS9^Im&LQ0=r-EXYvS}Jm@^#ePK2$!OFFgVENVFdn>j4>k*zeI?4DUX$^i0or^h4Nr Xz!A_;1b`NY@8vGWW@c8@R>J-tM^;A1 diff --git a/paper/paper.tex b/paper/paper.tex index 31ce588..b2ce3d4 100644 --- a/paper/paper.tex +++ b/paper/paper.tex @@ -1,4 +1,4 @@ -% Created 2020-09-22 mar. 21:58 +% Created 2020-09-23 mer. 14:15 % Intended LaTeX compiler: pdflatex \documentclass[conference]{IEEEtran} \usepackage[utf8]{inputenc} @@ -35,7 +35,7 @@ \def\BibTeX{{\rm B\kern-.05em{\sc i\kern-.025em b}\kern-.08em T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}} \usepackage{showframe} \author{\IEEEauthorblockN{Dehaeze Thomas} \IEEEauthorblockA{\textit{European Synchrotron Radiation Facility} \\ Grenoble, France\\ \textit{Precision Mechatronics Laboratory} \\ \textit{University of Liege}, Belgium \\ thomas.dehaeze@esrf.fr }\and \IEEEauthorblockN{Collette Christophe} \IEEEauthorblockA{\textit{BEAMS Department}\\ \textit{Free University of Brussels}, Belgium\\ \textit{Precision Mechatronics Laboratory} \\ \textit{University of Liege}, Belgium \\ ccollett@ulb.ac.be }} -\date{2020-09-22} +\date{2020-09-23} \title{Optimal and Robust Sensor Fusion} \begin{document} @@ -50,7 +50,7 @@ Complementary Filters, Sensor Fusion, H-Infinity Synthesis \end{IEEEkeywords} \section{Introduction} -\label{sec:orgc2fc7e2} +\label{sec:org88afd51} \label{sec:introduction} \begin{itemize} @@ -61,11 +61,11 @@ Complementary Filters, Sensor Fusion, H-Infinity Synthesis \end{itemize} \section{Optimal Super Sensor Noise: \(\mathcal{H}_2\) Synthesis} -\label{sec:org2031a7c} +\label{sec:org5853545} \label{sec:optimal_fusion} \subsection{Sensor Model} -\label{sec:org32da471} +\label{sec:org565ea86} Let's consider a sensor measuring a physical quantity \(x\) (Figure \ref{fig:sensor_model_noise}). The sensor has an internal dynamics which is here modelled with a Linear Time Invariant (LTI) system transfer function \(G_i(s)\). @@ -102,7 +102,7 @@ In order to obtain an estimate \(\hat{x}_i\) of \(x\), a model \(\hat{G}_i\) of \end{figure} \subsection{Sensor Fusion Architecture} -\label{sec:orgf3af62a} +\label{sec:org1ae73e8} Let's now consider two sensors measuring the same physical quantity \(x\) but with different dynamics \((G_1, G_2)\) and noise characteristics \((N_1, N_2)\) (Figure \ref{fig:sensor_fusion_noise_arch}). @@ -140,7 +140,7 @@ In such case, the super sensor estimate \(\hat{x}\) is equal to \(x\) plus the n \end{equation} \subsection{Super Sensor Noise} -\label{sec:orga39f54c} +\label{sec:orgb2e8dd6} Let's note \(n\) the super sensor noise. \begin{equation} n = \left( H_1 N_1 \right) \tilde{n}_1 + \left( H_2 N_2 \right) \tilde{n}_2 @@ -154,7 +154,7 @@ As the noise of both sensors are considered to be uncorrelated, the PSD of the s It is clear that the PSD of the super sensor depends on the norm of the complementary filters. \subsection{\(\mathcal{H}_2\) Synthesis of Complementary Filters} -\label{sec:org536193f} +\label{sec:orga4cf5f1} The goal is to design \(H_1(s)\) and \(H_2(s)\) such that the effect of the noise sources \(\tilde{n}_1\) and \(\tilde{n}_2\) has the smallest possible effect on the noise \(n\) of the estimation \(\hat{x}\). And the goal is the minimize the Root Mean Square (RMS) value of \(n\): @@ -198,17 +198,17 @@ We then have that the \(\mathcal{H}_2\) synthesis applied on \(P_{\mathcal{H}_2} \end{figure} \subsection{Example} -\label{sec:orgd689dc3} +\label{sec:org74634c9} \subsection{Robustness Problem} -\label{sec:orgc57d2ad} +\label{sec:org5fda5c1} \section{Robust Sensor Fusion: \(\mathcal{H}_\infty\) Synthesis} -\label{sec:orgeed5209} +\label{sec:orgc88050f} \label{sec:robust_fusion} \subsection{Representation of Sensor Dynamical Uncertainty} -\label{sec:org7f4d435} +\label{sec:orgb09aa5a} In Section \ref{sec:optimal_fusion}, the model \(\hat{G}_i(s)\) of the sensor was considered to be perfect. In reality, there are always uncertainty (neglected dynamics) associated with the estimation of the sensor dynamics. @@ -228,7 +228,7 @@ The sensor can then be represented as shown in Figure \ref{fig:sensor_model_unce \end{figure} \subsection{Sensor Fusion Architecture} -\label{sec:orgd4a5727} +\label{sec:org1d92a74} Let's consider the sensor fusion architecture shown in Figure \ref{fig:sensor_fusion_arch_uncertainty} where the dynamical uncertainties of both sensors are included. The super sensor estimate is then: @@ -253,7 +253,7 @@ As \(H_1\) and \(H_2\) are complementary filters, we finally have: \end{figure} \subsection{Super Sensor Dynamical Uncertainty} -\label{sec:org7eede13} +\label{sec:org81db1d8} The uncertainty set of the transfer function from \(\hat{x}\) to \(x\) at frequency \(\omega\) is bounded in the complex plane by a circle centered on 1 and with a radius equal to \(|W_1(j\omega) H_1(j\omega)| + |W_2(j\omega) H_2(j\omega)|\) as shown in Figure \ref{fig:uncertainty_set_super_sensor}. @@ -269,19 +269,29 @@ And we can see that the dynamical uncertainty of the super sensor is equal to th At frequencies where \(\left|W_i(j\omega)\right| > 1\) the uncertainty exceeds \(100\%\) and sensor fusion is impossible. \subsection{\(\mathcal{H_\infty}\) Synthesis of Complementary Filters} -\label{sec:org0b02610} +\label{sec:org0e2a7a8} In order for the fusion to be ``robust'', meaning no phase drop will be induced in the super sensor dynamics, The goal is to design two complementary filters \(H_1(s)\) and \(H_2(s)\) such that the super sensor noise uncertainty is kept reasonably small. -This problem can be dealt with an \(\mathcal{H}_\infty\) synthesis problem by considering the following generalized plant: +To define what by ``small'' we mean, we use a weighting filter \(W_u(s)\) such that the synthesis objective is: +\begin{equation} + \left| W_1(j\omega)H_1(j\omega) \right| + \left| W_2(j\omega)H_2(j\omega) \right| < \frac{1}{\left| W_u(j\omega) \right|}, \quad \forall \omega +\end{equation} + +This is actually almost equivalent (to within a factor \(\sqrt{2}\)) equivalent as to have: +\begin{equation} + \left\| \begin{matrix} W_u W_1 H_1 \\ W_u W_2 H_2 \end{matrix} \right\|_\infty < 1 +\end{equation} + +This problem can thus be dealt with an \(\mathcal{H}_\infty\) synthesis problem by considering the following generalized plant (Figure \ref{fig:h_infinity_robust_fusion}): \begin{equation} \begin{pmatrix} z_1 \\ z_2 \\ v \end{pmatrix} = \underbrace{\begin{bmatrix} - W_1 & W_1 \\ - 0 & W_2 \\ - 1 & 0 + W_u W_1 & W_u W_1 \\ + 0 & W_u W_2 \\ + 1 & 0 \end{bmatrix}}_{P_{\mathcal{H}_\infty}} \begin{pmatrix} w \\ u \end{pmatrix} @@ -290,7 +300,7 @@ This problem can be dealt with an \(\mathcal{H}_\infty\) synthesis problem by co Applying the \(\mathcal{H}_\infty\) synthesis on \(P_{\mathcal{H}_\infty}\) will generate a filter \(H_2(s)\) such that the \(\mathcal{H}_\infty\) norm from \(w\) to \((z_1,z_2)\) is minimized: \begin{equation} \label{eq:Hinf_norm} - \left\| \begin{matrix} z_1/w \\ z_2/w \end{matrix} \right\|_\infty = \left\| \begin{matrix} W_1 (1 - H_2) \\ W_2 H_2 \end{matrix} \right\|_\infty + \left\| \begin{matrix} z_1/w \\ z_2/w \end{matrix} \right\|_\infty = \left\| \begin{matrix} W_u W_1 (1 - H_2) \\ W_u W_2 H_2 \end{matrix} \right\|_\infty \end{equation} The \(\mathcal{H}_\infty\) norm of Eq. \eqref{eq:Hinf_norm} is equals to \(\sigma_n\) by defining \(H_1(s)\) to be the complementary filter of \(H_2(s)\): @@ -298,7 +308,6 @@ The \(\mathcal{H}_\infty\) norm of Eq. \eqref{eq:Hinf_norm} is equals to \(\sigm H_1(s) = 1 - H_2(s) \end{equation} - \begin{figure}[htbp] \centering \includegraphics[scale=1]{figs/h_infinity_robust_fusion.pdf} @@ -306,15 +315,15 @@ The \(\mathcal{H}_\infty\) norm of Eq. \eqref{eq:Hinf_norm} is equals to \(\sigm \end{figure} \subsection{Example} -\label{sec:orgfe98b6f} +\label{sec:org0122000} \section{Optimal and Robust Sensor Fusion: Mixed \(\mathcal{H}_2/\mathcal{H}_\infty\) Synthesis} -\label{sec:org9114fff} +\label{sec:orgdf5a196} \label{sec:optimal_robust_fusion} \subsection{Sensor Fusion Architecture} -\label{sec:org7816cc1} +\label{sec:orge16b510} \begin{figure}[htbp] \centering @@ -330,10 +339,10 @@ The \(\mathcal{H}_\infty\) norm of Eq. \eqref{eq:Hinf_norm} is equals to \(\sigm \end{figure} \subsection{Synthesis Objective} -\label{sec:org39451fc} +\label{sec:orgb4b43b3} \subsection{Mixed \(\mathcal{H}_2/\mathcal{H}_\infty\) Synthesis} -\label{sec:orga8ff805} +\label{sec:orgb9b52ad} \begin{figure}[htbp] \centering @@ -342,30 +351,30 @@ The \(\mathcal{H}_\infty\) norm of Eq. \eqref{eq:Hinf_norm} is equals to \(\sigm \end{figure} \subsection{Example} -\label{sec:orga353d87} +\label{sec:orgc881f20} \section{Experimental Validation} -\label{sec:orgb00dce4} +\label{sec:org05b79a0} \label{sec:experimental_validation} \subsection{Experimental Setup} -\label{sec:orgc725d26} +\label{sec:orgc3daf35} \subsection{Sensor Noise and Dynamical Uncertainty} -\label{sec:org0b05001} +\label{sec:org26fedf6} \subsection{Mixed \(\mathcal{H}_2/\mathcal{H}_\infty\) Synthesis} -\label{sec:org9c0559a} +\label{sec:org72f2969} \subsection{Super Sensor Noise and Dynamical Uncertainty} -\label{sec:orgc629276} +\label{sec:orgf66f78b} \section{Conclusion} -\label{sec:orgdd3a6b6} +\label{sec:orge0f0a43} \label{sec:conclusion} \section{Acknowledgment} -\label{sec:orge958f77} +\label{sec:orgb16559e} \bibliography{ref} \end{document}