From 0cb63d49442c4f5385d8877d9bcdbddf75b549a6 Mon Sep 17 00:00:00 2001 From: Bertrand Benjamin Date: Wed, 7 Oct 2020 09:33:26 +0200 Subject: [PATCH] =?UTF-8?q?Feat:=20Premi=C3=A8res=20exercices=20de=20forma?= =?UTF-8?q?lisation=20des=20suites?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../1E_formalisation.pdf | Bin 57756 -> 59003 bytes TST/04_Formalisation_des_suites/exercises.tex | 17 ++++++++++++++++- TST/04_Formalisation_des_suites/index.rst | 7 ++++++- 3 files changed, 22 insertions(+), 2 deletions(-) diff --git a/TST/04_Formalisation_des_suites/1E_formalisation.pdf b/TST/04_Formalisation_des_suites/1E_formalisation.pdf index f6990dfd25b002979d076f90fc3b7294b0747341..a1e6c905dc61f2da47a13f14d4f95c4475710e33 100644 GIT binary patch delta 22597 zcmV)OK(@b}!vp)w1F%L01Tr!?HIrckD1Yr*Npssq7QX9Opi<>BF)`b{0_eHTBzDTF zRE?9-oU9yRl9o_I0yIDK{oyHbw@Wr(mOl87c*RBxhpSAXBb z3$xq5udklJQg}Wr9);JL_eu)gcy(>TRvYY|MCyDON*0 zh5m{NmsqhcxFCvs>IF0T1|;+RrGEgi5F~}5inpcRf5}o{(h%|DLrmFX12m+IRk4Z_ zO-V`?#E^kRns6oVgefVytKN6|6>R+Cx~~3;?bYz7h18^vIZaAR6K0QY zHwJbiW>}ylu(8DNwmD1?O%PRq>p_}*fViKa85pPXY?^0Hj7Wk+l2~;LGmB2D^Q(Nj zYPVjMPG8L0p4M5tbC2J*h1cgj*ugV5&0GoI4CajnxDlJf=*?*IfPY{dnkSp&=j*C0 z9XBQfz|FguBr4*!ZnsYF zyPewWP`qy+V2b}in9_SyhO4^A)+O>9+$R~tB1qm;(gzY7y>wzrBnS6An%JlS>a&X{ zHl82`4y*`BQ^WS_ZGWzL-GQ$ee&6Qh`!+9Zko`A*#q`6Blu`*@Q&%(q+1Qq)BjhBFB`z9aBmWrZ#@00+EzN z2~8n0L{&*sa*rsvGdV+4kKBs%#b zd@!4h;u0*(bmHI`FZ5wVc|gAo!jp7rpa%+C^Oa*rBsu5j$sc1 zeMWd-*($V-H_Ra2pS4>W0C-8gGk!VgK#)fPg7=mg<&8vWl1BT<@XW;xs{_|% zEb!uKvD;U5-*3TLw~o>vNl((Lnp8UU%u*nLV%cGsK?TnMxg{i&Ha!u3Sv^`;51$o4nGBJ9a|7(@JNF@J_`g5o~L5KLnX*X5cA85FWuF#Q6Z z3vmL-5T}C-SeXxa)W!uo_R}K#G|mqZ0I14@T*4l)Exfed);9BSEi9iNDtJnMcgADQj$jD|f29=0r z>G4J^>>yp-5$arlL5zcW0I__^`G-~x&`GBYDI3D!+8tS#-|MH!2z)Ho&kTCWO=_kt ze06IKvp4na7B;{-qQg3Dh;^trY*A6>| zx_Qbew7MX&DtgDgz`km4o4b4U`mS)!{powE zfDbVDpaMbQ;Fux?`)G~+Ptncf;!p#!^zlG@J_Dd)UgoR2jkj&{W@G13j1%*uwSQ0g z63{Q+DQ8fz2aM)cOAH=rbOEEK`KeF5%Tj{`wP9->@9W}&d9t>PLG%ZNkf?npy0;!Z zf$juJLsmD_=&6$qO;HMEPcZ436;Ey~zcExOf35*FG|0R*r^db7M6;ys%Qiqy)~T2T zQ&vaLY718xgz>2>TmD~cs{k>1Ab+LZ5G3o*dVTZ`bfBv;Gsn2D+mYfYgVWxL+Ut~R z$)2-3+^!y!Nk>Y(F$?1|DYxa{zAc)$LCjI!96v9csc&PL>+`0zQg;ZU4zDLMO$G@0 zWYp-Bgm2XA*@y&-(zxLU@GJL>miggbh%<5=6N~w79g$fa0YJbS_g#t?> zyiWy!6n;)We-ck-G<{UlicZLgBc8~|HLU{w>*UsMV--DAwiv<91ia>?!u=E1IVv0e zHJhmbF&?Uo8YM+(~|l%YI|^{P-u>Z6s^u zx9LQ`ZT)+fUV_sTMe>-M{(ti-y{6i`?96oi*bL!1wiFX;gX(Lay}OqJ+n4{U&G~t` zF6!a=He?%az^WQ?&gU?*Rur7w--0{34_RLSe7JMTdSFs#U>eUb!8j!F@!z|KWt92k zb;%JX?95MI!A!7nN$?4a>24@ZEM7VCjVkP;`j9^U+HUr9*W2#12^&QJ3Qu)ayb5J* zWOHPQ&Km+aH?yHe-5UZpIg_DA z6q9TX4g)nbIFsQj6$3RfH-M+o;fpT_M8=g zD<lp<7!(CGf@0m_NWzIQs29*24MV`O zLH`ONbln|`#VCS60RaILP=BPa1lq?pz8;q|LR(62CrOV&cUXrPfuI11|v_?4d~ z!Uql`+DI86XZq7(*9$;BN&3K@uo5mf!*; zlotwgMf(7L^;1R)2y#UbBuhYl1JVjW5aFHrXHOttynp`n z>$}0{>wjuh_)ApW;ufmQA*bFUH}80o))Tkr3*>nF$I7EdOQ-vy#+OW& zU&$I!pOk(Oe_$DJcc*AnAlLcX7&|XHR{RpB2-8j={pjBQ2vhdpIgfslC?Is>fm8v` zc24r);aKqJ7Z#GftsMLuw(OTk_n7*Iuj15KQ-Af@KH`cCX7Wev{0d{GKD83r>x7Lj zP{~~nLL|w*R_P|avg|hhbEAd2t`{Yy6H`8w`h59Rtn79xyoW?NmE1XJ7dxDR7c6{zn`SU1G@#ySwq?TWa0@3oA(rVKg zRey)!T|vmpTq3!M`$Ac~R}dv_*#LuZ8D?b~eEtcQOR|{0Ls`u|E)FuWok9Buhde;= z3L6{e2N5o+?=_+^p6(?hBpx>cR+~O~Z;(*!cwQAtUUpOoPwzYHiGf|_O-8Bg7Y>YB z#Uu-7C8v(v=V5N;9JoYUNcF(8BXv10#eZq@f$hsTk2^rS3Fb_+)Ttu9Nn1&$W1R2HE1laA^6qfogXRiTdc@J)o(5@Q?cAh8X8*eP`%lA7Xl`yT z6|+txwqg*TNp(&h+haRloLVz#+O*0nh0&B-Uu&#(s6Et;UGKL|x7J0P^jO4CkbgH6 zetOFp9x}o8 zVIkLg-ZMpxZA34lURi+aWHof;Hef<a|=SrkBdr<2FiTnCl=cypB1M;y|)n!04EXdlY zIYqPlhHYZ8R*%GB;wPo`WFY~E;wF&f&DJ_L;kstdXJ0?yyS@m`?rb8r8-F-l8#pK~ zFmanblmxRo&BVU3FhuTxi1)vkGCwqY^qxC{HrQao=o0cZPk+Jdg3O(h2`W*CwYqVC zwW_xOv{vt#P9RUIKljF_^&7oFHIkkmR@K?hDY}owlmn+U+Dlv3WroQjAMb8o3CJCB zSWBikWSQtJnDBorM7ldHEq^AS9|3Rw_I9K(pHc;67Q48Srt(m;${X(8mfFtv>_Hhf zWtDhtPBCSm*5($FfA7Y(_=FI8kGXqtlvjyz*d7jG$7^oi|;2 z`p4WI09X6IXboOp3@V}`M=}CJg_Al`(mI*)C|@U$-W#K0#WbxstSLMi99T|hON+6CdKCP8%6axtNw9BPn$T-sZi6J3%=ak-CQR0M`0 zW!uTG-*hnWBIOwfzL^m8v-~-)R)IXd4#Pq2GX6{Fo6ctS7>_2pmA7#n=1-gw?HuSi z&z~NP7T9O;L-E#vCVv_pkEe7f)Zn531si@2=i}1aj{`#~Pqyjkvp=qL>n^)}bUmT( z5LGH=4B9@wgI((F%d}6HT05gow+tOZALpvZQ~kI_r}No9Fuz+yq4H^MC<0Ri-K99r zISAu@-vXRscEM9II@)Iq!&7j17AcM~)2;*DoQ?xKNrkdkTYs&^Ik$ZlV_y%X94LP& zqvw&nN~wca@hPwikNHzTFrQZ;@?$zA zn(CxECD}-`#eefu)TYEFAd*nki(~JVCY$P}a=M-fuP5Vbd|xT8BJCpXM5MI%F?u=Z zxEpu#OpvP{ug?i_rzQH*29h-%$zDvJiNR%P?Z<3LjGF}_jiosnJZG1MSbvBDm^13Vq`*dp45g$k+0)DO zc3MPn992Gm^Hq}SS<3W1%;{!7b~ETR73VB^lV14{K#VIogF2?YdSkxd+ExmjGnY16m92{Uf#zI;nDs%A|xrM2GpxbwW|r=?r=bO5a}QsfcU(Fj-Et<)CfHD&+| zjd0#xkG6e+o5~-L%fyPLU|YHoek*-yG^QRvT1r6PA--&F(r?(=;?DaIrh`Aed+Go{rI+ zX@A(L(nFKpZOuV1qA$CKj24(Kn|B!f#eEu%7)RKQ=`+QxSt5_*wZ-CD#jzvcKv`B! zEW>KAos6P_wdF9-BaXx@W7dt&ew)O~yC!qnwyrp7u`&EZ&obj zdZh=SXxBnlw_W-;F1i2l?VyyE(iHolCV%=H2Zfx|0b1}!7|NT+KaN9yuR>1r>}_3M ztYm^~YS7KgE;sf0Rm(%R?_X|;VvDC1`C81`oDmeT!+OfVNMn#qKX~PP-WVOYe05#w zfYjTcEKNeY-0_mNT57I#=>B~fEA=1;5{A%tE9KD<$>19)-pgb~MYp{xBJ<<9cz?5i z_s)Fudct}>@$eTZ`z}+=Z0_ZgUjSFws1_eKbQjAUm8>$n!Ra+UoFGwV?hCrG5>bgB z(y0Et5y_(_snn`|sIry+wvE>;hOq+B=H}QV7FK)w(_2C-1c*ZS4W?PhUPGu@$2s>& zM}FQ7#r}k6wVsi(lZ;NCzcCzygnzAHO*V9~?GN3RjI#QX!6>mVUGy+gVyn?XpkJh5 z=u#DHujXXPwyjFl=3TkF53L|O#4l+?Xf>~!EJAuc>lSAR-KsU!X}^A7uLV%?eNpwLV0b0h$@C@+$A!fit&b;v8> zMijOtWv)K);!1zo_kQ0Q`L|S}1B;)dXj4-VPwFPuH0A1hST#=?56ge>Exp>CZbfSy z8<~Jdz?c$LY2SSOT zC7mzc?8s=g;@RDZ=$GC!RSZ^k^k?rcep}+n_KqVdWMea#C3=s&zIV}`c(JCvtAE~1%>R|#eR?ft zq6qwQgRKmU66cU*Uhf$p z`eDtlH=?5V{5G!_;$e|z+-DQ^FTO0(T@SrIC=7mZ#tbh9HbmV$C$QoW6!TxeQ ztiRN+F;4%rM}X!aJ49ip+rYs}&hVUAsOCe9r|zn}5B@gWh6X5}wTs-5@?P26@ZuF_ znx?x^5VsCDC*Ye8&fhN7`lV9U9xvQe$gXgb)o`0iQ6}g_rfF#F~34voEk{kCoO8wlNt-GdZ+x!SZv)at#{l;svW zB?j5p{dHK_Wj?2uWN0I&I=#6sk90KRIAHiWy$5FPLavO&)ie-#m4%cwWl;(n0}3t; zTb6qQrH_4CgfSlmf6fH%?4Rr2VAC}F=ziDmm?SnndViX6p`=6wpe^=wUv>IT;?u4U zFYyI|Ksx3ct2w`wcZMXb7HK)DF>=tHei^{hFh}=Uth3Sr`e67WYh5wyL1rxU46y8D zV&h%=<`Q$eE7!&B2`Ni>VV0?^$0G_qhOO8uHMB{E*xO4shGKkLU(fs_d&f`fmJ0#9OBs}#UQi!7FYGnwl(~&Qk{Y{AMjPcn+K9Z zdXGad>mT1;TNn{XKV#1bzA<29k*Z<8j2P_#9e=(1dJHt+aHuJaHYJC4Yg|U;;^N7# z5zjv_VWPO}R202=4WL?OrSZA)A|7bNuPdBwTV`Y1RCdCiNZOV{$JZAQgr7&^D;yEO%<~i`Q^0v=vfM3d%S3U{ap@ z1ASA9Kty*GI+e)PPRSG~M+L_Km;WZK5gt$)p( zW~WKOoYa_q>p}drNL=a$7ke0Q`Z{9t=Ok=qy`Npz({29Aw`nC%@4O~0+8Ia0f7RDP z#PQ+bY8B|d`?TF>)@^<^^lnO~h@wg>73Fx9PtF8GkyptDL?^G^CVcfKwP|y2}p~-eAR`C9vtDAc~1c zsbeqlraS@`0VkIw7>_6WWtOS?u=9Dy{;3VG-W5N~Vi=Ysu0tGz?^T!arRJ6rOC5Nv z1DjYLU6LBX5vx`=U&O@~>(sU<7x=H8uw^cOMcART2QhxoPc3DhdB_&VvV^jekyqw55|1SGS^+>SbS`Ul+e%`+oR*jIR8W>uA4Ya-z+8 z8`xU6L_oSi)M#3l6dSO~4jhVayFW%L6nf|t{-bm1Ei_C$|I{H6mL!G3i5BCYI1m0v z0e2KXEr&)W=rKdScoZ($u`)1`y4O=#4tr1)=o0sKmLxpZGmJ1DKYw|U>n^-{+jwB0 zc$#&w)IgaUT!SriT%;9ox=}=_DD##&)@UQ^>0)S7$ib4Waie9|&xh+*_-1KMKQz&6 zRHSCj*%6}({%LX%84s^4-k$h!%BC(?5lDA5CKb(hCO@HO0fHc+h>7lS< zuaR+PN6FsJ$5u5SrHw8|H#%B)z7WMNnNK6(C0y;i9Zj>;gGzZw;!=g=IM@%@9_NsI z(JHevODVMgn@gtTs;!YE_8EKC943k-1%-~6Xrl7DRgJtw5!Cq-M6ub~Vw zXBFxU@3b+;my58JIW>qsfY5}Cz9wz^o|duAUhaV(>YLX6{=*7u7yonX-OzWPR{cm< zFOH3+=5@97@2)a+4==9x5Vbtlv)w#ZBVWV^Aqkxexo_Avcfauf(t)I zRdO*u6F8m>zJEOKB?pCmIw_B#72?_okczQeOSiMmT2$+9$+#_@;nZjUYBMz?**|JA za!L}?BAh^-b$Tz`rAd}dLQcEEQ)3x4M+BMBmvPBhW`}3$bi9r|;*9i;C{L{q=b0z+ zkFemHZJo_B?iySTQMGFlAbm#>1=n!gQ0`#nx89S7sega36LiJV6l9~aO)pp48o%?Q zGOJ2JWfz8;H6=o3DAa>#m)FwS9EURFKR#V)UlFGtq14LX^YmCAT>pebdGbEu`Y2Q6 zu@91r4|}obd_Q4NtNfnAj~Ko-?Np@AbjeCsh_NQ-Wts)Ig{-Z>x8osQDj35F9_vy1 zJy^Nn`zG(LV1+j4JBpGi!^T&?doz;tf0BN(m&l(BD86aqU)BCj zx0bw~%^VoPq2og>s*+GvBHQytdBGRAbM;MmiGM1sbuc5%m*YylFM&+Dx}ur_@&2}9 zRyQ7~+@zGkOOYB=Yu_8Wlc_L7Opyb)#Y@B6SmT3y0ndy{TYu7vn;1QlGUVZuOIUHs zeAZQ!_IBNj%*oV1{xy%?!OqrHO1LZ7eJ|%VF#LM?xjakmJ=&niiFW{nm|nZLCbNed zntxIC4llbPhBJ`9yLR{Zi5Mz0nzfy`e|Q<05(ht!;A!Yx$lcMKennIvU+3yiQzkw+ zFh?RVl~r)#&WO6j%|~Qxx+T*#Y@)3g{ZMnjY)>T;)2z=S6;<40bMF+I=S%ZByPd2? z#N5=zutD9#@m7Sc6`49yr>UFkGSF$KnSVQsi?R6O#;w47cgP^Wc z&IslRe9tt|wd6O{i*e{|R!!&g3mCdCz39v!b^$38T8eque$O}w*XX*NqZJ;b>S~-b z=SG(+ammSr7he;}#9sWuhk9X&ae~v=r$JhVBi>xR!;+QRbNP@rKWk-=zmo}HbRP|_Tyu-GW5d|&Y= z!y5Z9q~j@lUTAF+-yBmyxKwEN!pUgB0YDidGeE)PV6^W-ydK2 z(78`#LT-sOIWgNt;jOxBhft1s!6C<+C0xvp&nVJccCw3ab;f;nNZZ2 zy}!-nh70JHaP_5fyTvN5jek6=)z8=S+FM=AaAe&r{uXA{s&l+J4m@=+|A=)oAF1V# z%ZZJX3?$ObpLu=o-P5H{39Q0clCJCrxUci#t5cW!VtVMwR~jYmwPa#RjfTX|Sun*E zX2VO<-1OB`+5@d-%ve2TkfuBJ?lnHS2=!3X|*MM~PmBCXOA!ha`yayF|0!46o*(Hj5kmzWiGDAv+74C1ho?>(aqOo!l53L zzR&H4Se9Bt>=KWjYJV47<{jV?VzZ&+#U=yKyc%$l2C5=o4BPxSmLPQ2_m{Q8tm-@4 zJ*U!!s^}wyraLMh6)FeTcN_b5mGwX5jPJZ~H>H8o*+?$hYNB4VP9M`&2U-_f`_ zL&=U%BKx`ijkrel8Yl4&Ze)gBsEJt9x9VNQtmPp5K4KN`EX;#Jvocov^$q~_6ni}=(Bk~y4JkNG$`P2QOD-s|M; zJ=GWMqHU=e8xGV^q=VUI>Nw7KH>vVCS+l={IuOT=t14C8ml-YdcXstoVal)Qy}|qlc7cvv-W-t8v;2qlc7cwvl^N-76Lgnlc7cv z5jQzD3NK7$ZfA68G9WlHH8GRnDij1bH#0JmVFW0Db#-M_oJ+bj5S&0DxHnFMySoMm z?rsfqXc}nTB@o=9@!&y%JHg!{1b27$;5TPx?zuDbt#8$zx1PP9UAuPGs+W#RRf9#s z(%u{>YY%Z|;b3JK1ZY^XC_1pH1Fc=aW>5e-`=25^J31YmCde5K{4W@tP8$ey0@*_Z z|BWbr1qGTp|EWovIsf6yLO}ot2PlAp7r?%Y0RFNoYY(*s{?TIR=iubz1~A$< zJ39!nv043rtp0*novc_PKxejhf0mMgSW4M{+t~pj&Q9nY>;OxUg)_h$Xbpm(v;8Hd z>EQqbZ~!cUR{xxTG;@Z6+yMscf40N{VE=3U{blsWwWU1-?D2neWivY*zKW$ro zx;Xr=b=Q9d#Q3l9-vRzpOWEETWB~*){#%g$O_6m0ga2Wl@jrb3KQuEt5ZL42i2qH{ z0seJn0LK4M{|9F?FvvmzVh#R#Umz!0kUP*)736GT1F$j!I|2V$*Me9Ap%<1OnZG7U=Uc_7*}xpQ?jeepgD6y0L7JadKn!U4&nu>TJmn zyY8w5N(tXxa^*$LNpwu@MBJ^tJ>)EUX|UBLV7E11^-hftB$%&lL9#O6WcL1l`Bvoq z&`HUKb4RhgUEh=oVrflq+NeI@b|pUfj*!{$e0w@$Urw05vHZ5o<`jjY{)qK8!dO%U z3K2g)*K35JR*8((a>*)*$*Hyvv`!b|W5)^Pvioy)Ir7Mbn>vNxH2r8KQ@OSjNDsmY@JebEgs2_}2$y1_jPv_U=3Re`jJKao-fq zBKl?xt(}jhAr(5PRsbs|mW~V-xXNHnX+410bV5W-YR4a(KsqfexBNuEWP*lq29_GC zimWNO&3=;Y@Lw6Dc{W$E1}PdX`NbTXKWmmOE1SblbH}l%OXxe2S)Vk2{P*n8b6;^e zH!m*~{&1M{FMO4~2d-Rm;DiL>2w@FG!yyv9d@R7&&DwbPl&62g`pK=bd@N*kV+8+U~VkV0fS`6ZDY0rd!SniEmJzZU|--t0FC3 zJB9ZwMrCi05og;`9af~;AUKJLW-MZ!Ok#{q?1h5>oK#2VX3W734ruA%)%6W$;ZOAQcEdB9KD3ky4`fSGk-9d5JG~;Wu>gZl?Bs4=7i`nK4b{uVlv1mCn;H zNkEmmeTXVO7&EdPDUYPrtB4VG=>d4PDkoD?^i%Salp<3piNWXclBr$fuj|u1`AHj| znh@jJy4IkK8B&tO@;y^)T?{L)itpnkZ^ryGZ&v#AzYKV-u#QVhco3KLDl{8~1F{JX~y%Qv}nRN_UFr$zCM=f4DqjMwu# zfJXfVBB28=c}E9%O-U1j2;wBS(awtxMd|KS;axs1C^vXNji#d|%xsJ9bilIRYzSdE zN-i`l`ShMA+C@T`VMGI|{K~tr1x;HdVnq%ihiR#Q4XchQZMZO^oatvJeRgJ4=zAVo z&e{05gTybJ+jI3Xtv@WfG6cc!vvjMU4bNVUTc#Q5zGjkF)EPLd&Z$fWT@l$R{3KKl z2(F%X;Cy>m(2MXUePF%WU5vr17gg?9OKF``Yp4s@dh3Ttdrxd_mVkyy8}}Xeu@2?C z#}gudRd0uFrXD+WKN2}ci^Yc|7kaoR<9Pw#)Jz!>{24F9mGt0FGX9j8nq!4JkDF>% zS1^M19QnLOEB@HFNc+R<>LH5Q9|{aYR<jH?m< zGD@qq1Cl>%-Z)BRAC+{4JgZu5BZVc8qjnyD{_Nslx=lHyUKT8mB8$^Q5Xsk4DL0A~ zWt}ojSJKYI|;?Yhq1l*Q2lXJ~#v@b4@$AtF^CsvtI8LK#d zck^vZB#m|{rVw`rc4tjVQuz3K7e?ne#;%qyZhO`%@&8KZU#$bmWm4Z2EfM!t1IwxV0Tcz(dlJgrr{NM9S$wK>$rz({+XtW zmZyhws8d6gf_1uxJgx}v>uA~IVZ>8^n(la^@G4#hF9zvF{RQj=Lgtqv!mu0qe3)Ed z@<8Jr=$I>rR86TKmP&y6f#rmCL>%ZsWUfH=BeKk0xj<|<1elZr<5=Bmd_p`C#jjNE z%CgNvy_VcZD^Z(YAo;p(zM&dvjWt|;%D?#3xaCRogRzGf1xB+lu8;gA@s4JHu_lko z^)ROB>jnw7BvoN-(t`;n&iYJN@gs$)CWAqD4dFWGue7cSbmj1W9S)={osv`+DiB>y>SZBr6pgJ?C53fRM_Alin$}w%;Uy|hSz)MRTy6~ zdPMUTQJEGNx@P?LX}3wj&?tiVqMS4kn=-?Wc}qF`P@jFTdbeD&k8+`ZZ`t|moUKY0 zx8|695Be6$Q`UKP1{SmZN1KFgi?`t>1kj~4e4Y*{8-%Btp(Ocnwgd$g{k1WNrJ<+w zyYRsD!}m6Jl1>$3Xd|flw7wtXT{ve7I!EIHf6~hgo&L?BgjI zAXIOd|FG)!$F_4I&@StLiQddiW@G$>=Mt-@&_2FvZngp;brWNP3~m~G%?t;SdX~G` zardkW1Y<))Aw=mDWkMmN;^L1>FB)TSE3_uZ`<>yLORSRhmQHi&=+ofglw>%Pi!iAc z9%m*Cza~Po{Sj%g&6#GGKY3sm%Jqdm7HxhUo>kzE)K;3Nz)rS*v-$pMCumoZQJE>b zq{+N@0LfcgT<=ws6P^3(*o-$V(U@U;(JNQqU9HL+gY^T9fts4xQPei7Tykj3qBnXJ zE?2Z*ggA4=*h8Q2h8gQXW;lp&hnzGf0Y{R*g{_|9D6&Gum5$nt5$5<>%x8zs7ufXU z>>`yKgBm80n!A;MW$Mjohz`k2EsUF0;zKlh3c3gelycjm7;hEihi&|ha9eyod~n&W z(_yCjwxgs@NoAKc4&^LHy^q%6g{AR3MD-${97^%L71Df%~LOPC4 z*%}X_v=O*il-S>@s)2?khb;n2#!<6Q&wbKh=4U$|N9+ZEf^~sP(1$T>C>axn&_zl- zdpzM*`37cxgvRAsy(3x>?k3TEc7vft@q}%(+@xWSq3S47U7z%{*u&&zhhScnBGusK zOem{pY^ML3E3@uV&xX{<38A})bp1&BU;)dP;QJgWdW@(hf;I#p? z%r)c%Wyd+pub7yvzhsxLWZ=`>;=uoUXc~H)fbD+MK*6%XkX+Lu=1ea}w=rEx_-ZE+ zEe@zCOHZ7HC1~!)QWY*s1qB_#0+It~F&Zi~7{V)mnly-FGSWjE>TA+)hEirKHB77L;AKN& zZA_)tAe|F)+-eo43)8fkcsyV2W3!>l+luF^Pv+mSU?sGfV&KsNBcm-jeU?ux)U(hXjG zFPkV|QW;JbmG!b5c$Cg*D$!{_(fz!+sJ&K9y#E-PZrvkCfQl(ub0_>cy2wVvZmme# zGn3(c7pXZst2I>3!EN7lzx8WABD&VSUlM z(&)%MYX_|Aw}+(HtX2WW!BY_@2U*zD;YN#aJ&dQ%}=& zBzfei8;U++ppzb5d^G0NS&`92|7jW6qEpIDJeeudV-7#k^G$}_=X*W3a{y{BZk(~6 z;XM@O=ThK7b)RA}gmF)D2=d#1$_aFO6HvaX0+;!l7JWB$m!3m5)ULLKMN%M)NIB!T zmL#QXSBU119F|`Nx8KjPCvV$v72}x<-^4tp-p{_Z za6lvX-4AnqbDhu4$nUT7iZV5jc}#1R6}`rtsfsKya~vsixkIC?R31i6vq{4Il(2UN zT*J*$61s9*N6tHZ@@Ii8%5aXM_$$V5@!Glvz7@;RW-K^T)d~Je^pA~+U}qx~?9^bx zjiSivDFoE&ChUAOpq~$a90&OuBKchHrlFf|!O3WAU&#)F`Jy8cb#3dl&kIob(Z8T@ zs1?4)c4U%u^FI2Zffh;a?Q`jP0L@}E%bqAnmq~rM$erZFcKnslOoCTfCx^s1(z~7I ze&GFs?`^f>#9W2R#S3Aq+S>IuIK={D>?Jlw)1V&eaj*q_Z#n^gH{Mfw4@?U6fq-u+ z*jMbsb5)%zSH+awEiM%UB9&3cW6ryE8t>neB4Gkygz(d*U$*v_KF$Z}sm`S&PN$_C zZoQ$-5--r}jtoS@$KGValGIMPQxOw1A{It%1lT1Hj8Y!)wfBTx(V4o52gmY_Oo7%d z+}EXN2xTLdp5W{fru@$B^ zJANPf)65q!vFr$Aqb&XgdSALh6lL}1#_bt|XOs?%?g<4Zl8tWs-bl^B%RZGd?LEqZZ;xlz=$|sMM_yIz&_w}Gs+G? z`{aw3utaWI_jTG&nF1EE8#$_{2fN3R7dA#H=^ppxcUG6|vO3K&QHdLMJw?lcEIX+Q z`?Z=*(yEMqo=DvG`yPyVAJ4q$mnbSRCkR>K&j7>&YN)UsJMU{7r39T_KP0bFtQ&L=fm@j1@zqgU=ko4e$(@~y3;0bYP z;kSi<7^Bp7vvq|f`p+w=U0(g-9BW`Yb!E6~_>^Cd`xLf8%15>NSV*u9&MkE|pnRnB zo3r;>^O)=|Tv5v>o2yOor$}Jg8E&&5;~QZRq`cAfv0u;{kA8&VEKZo2~Bqt7Q5H<}1~I zs^s;@buo?y{bXgtlFKOtJ{k*e4PtYdrDKG#d97e)X$aeney>u(Xkhn0ddcCkeXgr^ zCHhPV9#n>4K3b<`aD?KXeJVe_MPmgnNCU0V8>n00ehx!^_eSt(o*={bt?Xgu3omSl z4Kk;QYp9D3^hXA`RMo|to!@5!i!~8{VvnU?_zH%fE9w>^6g!{8MGSAn4Y*U4q`$sG zHZrI6S4w=R)MNLH>YBHi&M4r8H6CB7_}foO=?ip-qD{I7OagcI)pIbdM4Z5yX_IE- zdHnaTwKz4fkaNHtUeCroN+;-=wpLh5|TU zM0S&GMu@QIEJoT{v~$iU=vIIEnISREK|Pb7@&5_hrEU$!X31GBjUb=HZIPU+M?OdMhNNCb`*?TcGJ?3oW<<;Rq+3zjb2 zyH4GZ>@kbX;2pvlt-`WLa&2tVCMd?j#Ci$uLeH1)RkyipmC=f)9YIGjX4)zA$ank& zjVCtf5xYFCo&50F9m&;y%5VWv>5+tuEawS0pY3{WtU-IJLUiJVHXe}lqYL84`5aig zJ|<(9319A1!07Mik7n6bS+U%1?<0tRMvZ+jyHc%s=S0Kq@HGxWwlR;?vc7#JhNjc4 zQJY|6qJBLB6Vbcc*oY}r_iJD{Uu@~!&it<4V6ipF_3}kP;7JRAFV(T2zQP?>!vHTn zM}Y)R#Pxz32uS=!*SOg3#MkR)u4X)rEOLjj!zK+n$Xt*FtDL^JsdE!||bLWvF>7p1N3KVw_5+rHS;)T%S?(R}ti(4sL+@W}&IGld-pKtz)b8&9=UTe*s*%#~Toq6UV zBLX6ZWX;Bq1^8?&!$K*^qBbh;s=SIL@cuUCiSy@+L5D}L_ORK^0M-_O9siZU0J;dk@9sGOrlz#3C%n}@e57mffIQksg%9~-C8a__T<~C7hZUbTRg(~;y zLc=n@mVnXmnaD2i6i0!fdXMu9`&-y8Smwx!d|ZsH7Ni9`xjY&?Qce{061s0&(p!!u zdQ!dSY{B(-)K~wMCm8>Jdx~Lg(XBCe{4zFX6!H8|0DyoK{v}NvEwAZC~_#w@7!gmRo>P0>%M+2jK1^}lQWu; zGua`OG%4fpXSc{9k$bRzB9q8;su)7FUTfWG&7}CRA|*?23mOH11C}-MGc{U$77xS; z;3UbUMfP}CcU9INw8wh_CoSAYc110E0h2~LW%E`TB?_-o))p#1upil zkYMHu;-d)aTeFh;+fwy2^+1r5aZZd=j^$Eh>KPlPRiL4)5%}{NhNZ5`nBEZKB>ep! z`lwyob>RiV3s>R}?JT-)EfwKap@KFA&Gi5&-_2NTzg5Grq^6PS-IyPwdK>EOnt`36 zmhir`Sh6k(i5R%?OroB=^%!CyTQ0xIXF~baK>&y5VRildF$$N?O3e}p&7#t>F(mmF zzalMtsO|6a%Db0u_;~+@CymH!Gf(kI(NI+S|&2%r^xSou!CYRHj1};^|D?5JFOlk`GS+d@_of7K>_43*4 zTw5dgs#e3CQ7arR)PootBR}V|OW?*@WIyLFwW8?NEt2v}`O<&u?9X!q!jnn?pIpPN z7EIUpXyCc_^&&4^OyZS2)G9KV7$_B|XUs~=(Rpr83I-FKwRvklwI?jYa8j}h86Y&d zBodp`XWfGhx;D^m-OwhLNlni4kiR2`m-}Nz-#rQ3t4S7jzagxtYMqYCp-dZ?E4rs_ zJLWN>L&iUUTX-AwV7c;FH?J2P0(cs@pMGo4cza}MMcSVU$uiy!Cl^KdQ6XE9Z})rM zA{E%Zl+fJo9WA$;TZi7O1WaIwj*T5#QL3N9T>9;`vEr=ua$nkuepLxLE3M(m^;M4h zspa)ra_Zf!XcNL1hrt*&d>YE^XwhxO@Cqc~_6M^jpdml$FtnH={F4cq|HOp(!H^Hc zi1AKH3#SLsHsKn0m)Uu(l5~$f!+L>oe_N+5*3if03 z`~$6nY!&#t5K&`PPm?&o#0hOKjKjt-qSzd*(wY2(vPTSkAR_E=ndDat`N-OW$Bdiu zN@HIt-9*vliV0j1^;50P1-|_TuVzVf*aT+X>T%hv?0j8_ zTs%$nMSJB8pf;tzx&#&pvBnHjraq>;>va*d=lG7&%lalGtckspq<$8s`c7JBDDkVu z*qx|z=4($0?w$99crwanNBu%lT*_*=D$SKmdY=N*G{$%E<_GER(NN_V*Hl!^|o_yjvVCM)vluzVAPi@mhN;T7zVx?Bcr357N(gn~XxuZTu31CfIw zz2h@PPN(`B>@mLLZP>?~T{F47*(IM?uuoxNid`qy(gd+)Ti2vEFvZOL#NI#kV4RUI z2Np0x-YY|rr0Y9qg}1`uux?38jzX}j8z7A4?wC~as%j^wx}JQaHiplhgD}(K(Yqtp zrTZ^UU8n-6pL-Qg30ITcsEjW6#jB=i%xbvA0E?w=SQrt0G;0PtB!50M6O7L0(%{d) z40^j7fw3;(eTK)CP>H0e3q{ki3_lnzf9bd>%)kNQlktu%q>cI~^TNeoTL&ss7*S)= zWL6=y+G{_0T{FN-5%BU$#K$xnnFzV)f>=*<93cT8Yd7A6N=4r?V*fCV8=z2H3&{*v^)p^L)3K(; zAd=qMX{WjAaM=>LG@6k`Zlc9LWlU>nR(#tk0_c$ebHdpiLUbx>2hPZ!wYK!v4PA8w zHwqyQdhp$0ERpr|G=_g)T?5j|9iLf-pr|fJxD_LPN;*zr>}i4sxr5;x2>YSgS*=u9 zkE`&@4YfZawsn>0COqDleTxJ)>^; zi8o99^YSn@TDoESu&pz%>4kJR*@-Q}$dV?9eKoC_s%Jzphv&F2m@-cMTGpA&Oi8)% z(-S8C#$D0>ORE3`KuiKm|4|c2NZ|2nArpT3U;zb01cZ=8(+vN&0!-J@fCcdQmFzt{ zp-dp4@P7doCLsXmf8+#5Mi5V05iv^elXStmPF6wHoH~gO|w16bAPE&pn*HiG7`oLF%?`TJP-a&+ba21$(P{Jmc1#WlfjAj>O3QpD!7 zK_v>(j0Se);h;m3j)|R(lg6J-L$7yLgL9Lk9w+xYk91GN;M>*OR!({228z z`Xp>0IzGFjqh2GTg_<>}!{hM;%`LFLh3S!?qa1N9PUmF3r?Pj#V$cH3d0!)g#60npYv(747syp+uc7f5q7&N$yu9N-Z5QH?3iY*CFi&~-ZU2{Xp*vRZsDKNJ?Xgw82P6a^PV)t^T%SUrvb9(Q7MS{BzKn`xE- zp3zoh6Au%53A1ac zrC2a|J1!eZH|0Ti-juIWM$B-!fw@-m&hO6=H{p;DIDqDQ01aNC3TNV%W^HqFeTth#qb~r9VMidufT9(TN%I$X{2%@lt zmJBq3a@-0xFF~lYgEem&iE-msG)hg6p$54wzhVj_<_|S*A#=kxJSMFfXlxdw=Q$K5 znkKZyuy5`Hvh@{j3H3X@A019*evzTG28uKU=}lK2Da@c>{y1;(UISPU{#kL-*Hn^A zQa$vWSQ+)JGfFhc*P%DhHO3AkA(0-qxJ*9!^rk9pS3!1PhjoVMg0(Gf^nxe7_qSkDj9RCFr*%zsE+grNd>@w;6Hs5{kXH6AIYx>HFOyUF zG&Y+sL76@JYvHd^U-RvAya%UVWb={G=B{Vs7^P%&Zw(tl;xGP~TB_ASls%9^KN%zx zG{kK~?1@b}l1^k7%ufeVK-hG8{2aJ zs&a^taCwplOKa`2=n`GmV)V91(-*+xKCo|WHfb3&=ti^Q7{k|wd(l|iP!vtdVy zl2x^#?jrbTxN{9o46Eai7iN@-PP;V(-pK@XJpe zZs85^76!gp%?RW1{9FqbEgvQm|4sQaTXQzJJ3ke@NU)K>s<4W_ijayTcVev$ zi?u1A*w>>=a;Ji-p2!;ja9iN|L_>|YmXVwnC*ek(#<7v2e~+*xG8iqf__5&E`W(FP znM3-uuv3ORcumcPb*+v6HT!iEI!?p)Su1w|jzu!JkQ{39@Q}HC8Kx^Ej6-TZw6BaD zG7zOF!L@5(&`A3s0E`rzR;L;k2-zT_vE`CCm;uERsr9k5jRk@lCd}}ik`$V%@rzu^ zQ`;eXG^%y3-w8#RWy32 zgR5Yct|_!$3mBWJ|HtL3iK(GhgOeMwk#)J;1A&mJ%F z?L2BH1Wv0$&6`7>c1s5fSfq~hw!-+S!!G;F>)G-l)4WTHO$O3*jO_uc%YUhr!wbIF zKXR3ZA|6Uj2;fy^XT_B+VJLgxo#p!nh~^K+;eu9_!Gj$NAJ8}iiQ8Fk5omMDf*Y5yw}@xW^PcW?mQbMQ(N z^+z%iEXE?uy77*$B#aHrQw|v!C~UA;$|D&?z{}#D4p7a0+L9Hf2JHv(GgaedEv5bs zH|3R;rLw^C${Kid6rgOibals4g5E8`LA$$t=FmZVZlTZ6sx;1Ve#t%sb}^#)6wuJO zli!g}?2imwqYm0cCnAbd-p2;7ln2)x58sv3A2B#F@J+&uNJL9x%cy4J(EiY`9he|A z{7z9TiJ#RFW2cvA&%iw=mtIx4*2|1)x2Qi+<_|TcBh`M;l{8a5s^{Ox_^CE;@>`xA z7-YFr9*}lDd7(eqpwMtM`B3C@=ZoP}V?Osrde#_&p+iL9!ELcf z1!^Ry0`rH_+lXdg^FZNbHQNg-xbA$3>4m<5Ajg4v^S^~k0y+*{AGcIqjTgOF*c*hI77gCJJkB`%Rj^VTzd%Q~p4jX*5 z!*{Jw)&84{U(83&)Equ%k0E&RY7SG&6hq7=S0IIwv_HbMjEPF-tZJJC_bCMd--WHc z?TK)i#!%>}58DrGT#?_ia;{d8?oX#<($Y zNt}OD&?$4G>wT{sqju`|#5S}923E$}UuplMP4tZ6E~9rYyFjlo;fTKFz2`XhsjX9_ z#Mdu<@>uCl{f`NA^zZc*S`~vLXF)d8GW{Z6voiffHaKA+g=93v|2dq3S2*LPnhO?K zNtkfeLjkQ`F^+03X}7^Ez<%_gN=`yFsDFq%4tMHu51Qj#B9>NbD9`1a!>VBWalF*( zsW-YJciG`)OzooxHkwu)J~xvDrwCw$C+LO|cHN^diNLSR{t z8~`XRC;$M6h$;%piHZmSm4v03{=ZL%r2c*MKaf9@pfCtYiouDXnD`Eoe@7j*elp<} zJ%q~~@);J(xdX5P%=uNs%9Xj{%>Lwn`hA^!%~34e9Jl!pW!t{G*gEg1TEbEI0Rx#V z7@AvKC6Xc)khTykVpD_f`d;OY_Gg0H`2Hw(<`<7cvsGnIM#x6L4-*B8s_9K-{MN}# zF3}|iMC)%W_F)c!lrz63ip041!;6=~IWHmgA8;xLa|n;-l^E#v6wpmLa%m;^6d7*; zA7u&5sadJ}sejbO*^g#NLq^RpQHIs0vrjd41+FIvdaLat-ZzIPHLbKKrIM01`h}Z3JBu8eyymf Hg!g{{v0c=` delta 21306 zcmV(|K+(VZ%mbXm1F%L01Ti->IFn%nD1X&iNpIUm6u$dc3z?8qXo-=DN~BDRYT94lHyd|Jj-mi*4k0}Y-~PQt1g#K3Z>|WAIs8NLByj|fh)a&j z6`J1o{ms?G6@{AwQAA@*!U#n?!a}0O=1MP1#xdmz#h9rGl_~mk^&4zhYCqpxJ%4{K zLZomU@(A60LM*~uC=>~x!zj90q7Spz0VQNsl$&IoRY?%ec3F`Jb0)}anO63tsb<;!7c^ z7N0eWncM-*fM_wI6vt9BE!*7DpMUcZgtSb&`W!GmOM!=Qw#XKNGMt2TMlBmyhDvC4 zE3UQZpN8)A77%`Q)3plWm_!0a@C56CSw4IuXbF4o;0^~{{%uZf5a$wyS_HI4e`qV6 zA+xn;Pi!F-X27UsKt|4{)-d@l%WDwcNL=Sm^v0H7p@MUG_qH}J8RJ+nWq-{^83+@h zIgK^}N_P2gNYRK5l}k?gqeAK*2Ykzm7T@p+evY z6yXBtmPld`QQA4h;f(ZWYJYctbYdO64eT(dSi~+G@-ZzCk8#vF1JtNJ*0U1$m};n{ zy9uT#W*WFo^4tK#eu8HZoW*DJe9*;cOtDnTnN!+ZY|@-BlJ%lqH>ULV;?DPs&B~2m zeyFp?o_p|vYk$o?DM<(SMhEf7J%KpEe1Mq?mf@o0@)0?be{gSq1FP9`7+GP**38BRQL?}b6 zuu_#Bu`ZF<;9W(4MUcE%%uXaWcIm{XVgccKG_f%W+(#ErY(ilU0jwDaLo4?Cbz)@Q zK&)AL?~?qXPBI6w-+xI))2idjWi$sjzq*=gpZesqb;6Y1qZ*HP9$IX+T^~!`x)Hep z6ArFLhXqCyreHM>*b|5zLe%B5|>~2D~wEO z+EczxkWczw+m86n@@$tiFtfN%+OOsYgH8Y)d!$~HfC=!Sg{Nw`H5jMW1TSpY3S3lr zr|Kzb{mqobpPUr_;&4b$z#+dl9D>m}loChqkU<~9qVVE)2;meu4ybZ~_)=?k>upaL zS*L*m@pZzoZ-0BeeV^%+_kExw#e@i_TmjW~j3nqyYKv|_us=25JcepN$*XNqT8A?Z z%cEIhHk0h_WlSTj^@RY(T*vb@!^BW@R)6i^iGZbZq}LJuDO(l_OZ& z|0`RYiihm%uEUvaV#5$L+jMUp z7yC9aaAxn=(Df7E80(?pbOIWb{YNlzEJ720#A$#g4mY=TRvkLTJ?GU~ zi6MZyO@A$GywsN!x*Y{U#@$y0xIul!&nKKt;EzQWy?BUds7^=(fVniS}(C{KWK<}mIo4E15Rec@`XZK3yo#p8oIGfM*Zf{ ziN;Ej3IK7ar0}SY*o2M*7Ao%Q$Q5pHT|zF~RDa+W`tjH5tzHKjJ#@Ah3a+4Ri^gK# z9TNMNQ>qoXD6=k19B#~-u6a|Kam_mORb|trB~_KITD%!6lrd(q;a9s|h$AX`(*#|4 zPDBr+|Ffutz4=DWnlZ|=sX+^c1QE%;i3er1l8`Oc*g%Uz26~luW@F2`XQd;cwwIR=1~-tH7_CVPMHRcC z*5o6!CQr@-n+at*R557!G}|-y?>Chgsph>iF2l82VJq((yt(<{e0{FKf8OM z@dti+Mq$(lObO{T_~k!?^?Nbn$$QuGTIFsKj6%aWv3NK7$ZfA68G9WfFIXIJ`4;2G3 zG&qw1NhyDJ1ymDk`!^*qx};?iN^c_trMo+&#uzYS8{5dyC?yC;sURt>h$2WxgMdg$ zNJvX4sREMnpZdJd^MBs&JLmh(&e`s(uj{^kzxzz^vWdC4sw>I`u7yJ4#32%31)#d2 znH&%dmXZL2B>{qh76_a-{ErqOXa&b$5h$d>|FVCpW8hF6L8k%55!?(>NT8mdHxMEP zgvcsDP$bY0it~W`5Gul;-avB{3<1Xl{VRpg4G$a+tpEZA1O!MxeXtTJ zjJto5uoy4^f%5>G!Le|RKin1gYh0ia)Cc~1FbRMl(82?O{i8NVx#0q!7&wri@J7Jk zNGu`159tcW0135$=DG$zV>BH3$JyYIgBb9ys{ukJAb+R(EBaR=1oC$<6b3{2prObh z1kxSohVX_1jkOFUaDg~6AQb8P%Mt30MG=4Eq5e>WH`ImT@Vjv+P)pSm2qnz-*K}AI z27$(5C9nwZUlW3Ur6F9hCel?M<>LcK;;?{U{b?XDa2Vm%gFwI6>V-rFAn||BZV05S z+piH^{m>vwB*NDZuB-8v2SEk+N9PX50cF5ou$(*?2=@iT17RMZU&$?k(D2_z$S;32 zq5n`k8ifYB5k`QABHZAF9{?T;^@js-7(aL@{(l?(Edd}9peq7~1G>Q75lFy4*$Ha6 z+aH;*c?=>DcoR$j9s~&f_4)hcK){wO3h5p6kNfZCf-DS;bo8`Ee-He(NlgtE2*is^ z$^peCWxzlPL{btcM>vH3JBtYv@mGHr;D2Iuk!~oU{GVnCxAdQe{r}p&&|kz52L3yj z5sH9VI8f*xfZKy*z%arWC=E{{is-?nled+xxdw=$HBbutI$h-a&ua z33&Cx5wLHFA}|2?->%m1KXf&OyCVF2{@bdHgAzEPigfq>`w|gYEkq#P)dYWmgL(Xc z${)SuFM@d^kZ=mT1ul=q+4;zE;yjchOuK>fWBUiAOnF1+ zyn3mkfY8k(sbaj{g5=$!@!;7f7LwRD4gn53b{^7wrgtM(@M`OsdTbx?WyNzvWA=U} z@lqe#h#a)TCYGq=ZUlcJQm;K%?j^mv>c046vz5BOA1S6CS2dmac=b%IGQ0{+BD1=7 z3f|A_4QJTKPw-SQ)xF?rJ$)>ve)#eM>ym7IgdYE8PDRE2tLePEm^;({yh_u&+It+C zRhMHxw7jOYT6Bgl!@Au-K9{&e3J`aMa``SJ%G>h*`VlhBN;H4nMWd6bWmcp3++H-GfqB%#{%x+0dg>ZBa;;N8!@ zIM^k=G^FxD$>6wkT$*rhTITp2UgkE=K_1c)swA(@%+-Vp=dC2Wr?1jGL3_#OOtjRQ zA_K}9wdCQj5Q=|K=_}UV?x>d3?bNez&bL)BT-p)WJmA>FmTFUa#PO}ZMrmQKg482s z|N6HF45Pjp%GrG_0FC<uw=A$@p`>wf ze#GeL#?QP&$RyYMr2?BpuM9c1QQhnYB|)y!_0Z99z~t4L6^jSw!sTJC0=j~O=e`T~ zOmz8c#0{C!hSseDy$0zz0=qX==3bA@&bdV>^xnXR`gJvuAU!!N3Ouo%AbOA znecC%V*!7|TkOwx_vj0@h&u|pdBACX>lgN6CePG@@!gz-ZbXXnhjp%ygfFw&53k}o zAs^aQTn9D6f^0A?85&i_b}40=eG)?{9~C#!gajSSnn99QZS`!z^(~x_zP#`5`6M*I zyXCXf$l=z=L2-eJ+w86+nB93U{*{G+&mM^Q;FEtT^Id~`Z@HsrgY_p3d3>Jp4irBx z&e=Vkq!M-fTtDHjTJsu!((M1K9mreZ&%L>2^GY{Rm89>x^~=1+6urmeN`cer9Tlw` zG9zTs>3chu0}4hRKc~?gu}pRqPx_||k?xI1i-{LS!8^Xb9&IY3R0f&FFK=ck-_@w` zh5LWDXLc|?N~+|htPwBBFQW|9+}Z{T?0>wUbTOq+L<;qKvFd)5?U*PSFKQ%ld{!IL ztuz!DcU3Vz@>P$n-U)Xnz|G-ZtU4bSjf|?!myCi?;iZlhHBYBKt2Ria_s8sv-bw<9 zp6%<0i3CJ8D*q(jyZCs0n?Lhqehis>1?PYDJ-|yc)eFK8O@ipC<>Ep=I@bF5acOPm zO!i0~ClsVVsSXVDk?kPAVdbdrP0BkMY?U1Jqv|oAX7M$8ZHB{w)$UJSuew^);yjz_ z)?O!cn%{R$v3I2BJb!p1TI`T30PVK9YNGC$KCMlm3Ks>)+X`^FoK)0(7#z;Hze9gV zpZ8&dTW8h%gWD;6r>J5DW6;idByOeuU5-PV)aRen4=h86Q6~i|iB#Wj(rM2+1Qzwm z$iH}47m7faLiZ?6@(;uK-nIg#nO(c77@Zt)N8lOwLW>NixEZ%WZceAc-P973OBEP-=H8V~T(6Lu9kd=pOVM2*U$9O4w6BcHUPL#f+(?z}9AR z^QCUL`vbDG7B0Vhq5#JGaTowDbrue*UZR-s48{9OSv#r`m0x`{D|E)pZd**$>wyGM zSa+GNCz~%S6ZtV65lwf|oRMs1*>&?)*JZ>dBT|tsm&e~KPBqt0=l9$f-bjDL*J7V3 zuKUfcj%8WXrnsMzxf~nDMqXtS`9fKD zm9(OyTXseH)5-?2RW-i>pOahtfLE;P0VEEet$7f)DKTLd=wl?!(dae5D#St*z?|LS zEd@3_VyGZ(&6`a&_XZi06~hMn(_13Ejl2Gy)e|RHhYtBqU-$zFC45Xm6le1c-~) z-tF^>pC0T|Rx_P`-pcMnkMtz}KnEX^bQzkhH4#3{_F?9$*2L@f*LGz5!nRj#D)5SG zt4Ap8z0eZnGhzS?k8*#8Z^YW&_uiH5Ip5y2`E9eQ4q6y=i5WyOSYNf@^-J^|mDxGhP?eU>lZS^pf3ey0&?E zT#&Ul`Y@Px|F*W_f@#>8;$4&e9gQJxqECAUj27q~+c#*vT*-W!}fmU z=xDw=>7(_XAimsq%8eJE{GvTeJ-zl1Ch%zk>ES^cYZVy|!_D-@hb5dd0h;i8XiBS- z?|Q)$V5HH{ zqaV8bt#F(UT(!O-bx7*#PnIR2RprEEqncTu6?$+-##$}Nk%S>M(OPM2R5I8&!*`Xe zv^3neI=U#4i!T>=`zJ=XFRbq)uRy61c9mjoYrly60=R$LR;BEyvA0a-xO|=A6<)Xb z?j(s4^Shu6Yf&#y!|E?*H=}t~B^BG$j+D2HUbpj^#W7X`+TES{#KP)Me)vjgh5(VM zcSBhgveyyHHVH28q@!o|LUBLfxotm5*-6Hx&tDk~LBck!q#3x{4TSDV##n#PW|Y{F zF1;HqvE6^*0e-H_afVE7OH{GMs<+0JSPAsJcPqp$GTwYl*RLtBF}H z(f$A_=GnZgPr_z4^!z;aB}aww#n@o!uQu^~FZf-S=mSU%@VPLe7_A7Sr$j`Ho|IR! z-z4UnCXA)x8V|9~k~-p(a3>1;EM=}X`Q-9I*0%xd+_l$KqJzt`F|?T(i2Lk1rm9XvCwb&D-#Sq@nf{;*jyCIxryXKP zXrR>Ya=OYD3C0$spIdG~f|SXcd-|VmS--CE=J_U&l(4ax%oDxE-PmXKAYQKR z=owfv6Z3y2cZXing(#|fwb4$7MUit~sWba1i{im<_e2iMVG%!TlZQEznQG0Zl4O6^ z9CsMWO3-`m8K8eL#14_)?bUa*mNPgf7OH*U>ZP-O4bvUYwy6$E zyx2qTM0vaN^T_gLW}4<(F%b7ocW2Klgypa*>~33XQ*WBi!!gD+qtxlfA1Fr(`HY=X%|RPxrLd6F6Yq3%W^W9YSu5#4l+e z^vX*apOr)@Z1pL))a_Vq3s$6KS%lH=hkncj?jD@$7_(`Zeek$ta6%HF7(2tbR9>zO z&=UJ{pfd9+A^ART{mt@VQ6+8YCsHjAwM%s4q{{(uZ%WrU;mXS|Ez66$c| z?#22tSW-?r^e12yV`A%D_lk$P!;OnIZ&Jzv@mDk6}ChaxHCY2`+ra)Cbb`fJJ&^eV$QJ~N*CD3|Ya-g>yyQGYhtYP+4q)+RUZXbFFg?fGix+%jb& zHr024A_*>eNJTSa;p54R0At3+X=zy`*+{m6IO-95cChiFtwpA~!zyB|2Xy@A%L!1Q!?Cs` z)|4FDt9}VlfKMd9PP~8kxSWaNmUC(B)^&hNjkWr0{|~QtNn4!-hV&F|fepQ>uKlsJ zEaO@webGo-Zc(k7?-JC4`X9Fn&p%jC)6-3Vp0l>QK$GDI<2Gd|JQ+8;%TkiEX7L!3 zTl*L|tF(hzk3PuG+)7Bit~Go~d!qE~)w32Jg%{oBMXs!y7j1uHhmaw<`3dl!AyN<+~KgRnN%eDaWo(sJqyKDCA3i#v`u?cy(7onCGw~ zNo#2_i-E$Eml%K1EOpTF%l2Dsyu%(X#0`4`S>_lP(pgp%EftlY-Hc%inZNoAr^25g zix|}KMR98>{H^oM#qv7E?)Hg*1Bu~8Y;7UwCzg4DQw+hOAMXnf`-7ke1rgAISg*pDgL+{OUAj+gu5{jW2M zp#DV-T9gZ(NZ<nAs?8O}cHlHhY9!8NA*C}f1_+P4O%c?2Y@pkus zn9kvjmszfqke=>|#ygd74rS3zsWub0>y)%_TZGep12S}J)i{5PYRsrY1Ekn*0_J`5JwT3%erLuBlU&wljLjYsFItp zbOE312SkJ_`I>HCsq`yU=o2A*gn8(%KCPUVuS1x)bp|@Y~PL^ zkJEou@wkl*IHjf7ZnT4Kbjk&#t3?fGbVzXlTkOE$#P&PmltQ6L-Vxusre8zD)QZj= z17WFBNW5qn{=Uo5_Y81n*~2PmOtLOBUhJ=+=t7dsUe3ec1BH> zJwNVlT;`vrHGSVquU?&*tJ?}_2wO#Q{h$Vh&V7(C~Z1dHBrZvqL z(05AuZA!E)?K)CFXI{SEAhMk~u}Xi0rP8@kJPAS*A^M!O{aaS{4tten_wc(Jop0Z* zarTKnw%-hY({9s?cJt=gTxr=*eelg~&rJy`qoK|qP%hiB@Rox@Kb}^_(F$>G2S~-)e|}(Zle>Sc+S{5P zE}iZC&f(csW=NWU%yRU!B&1b1nL79EcAjgqESZFyR->2tDrkWSGN~uyn!U;n&(ZFD z9)HXk?Hg5<*$~0INaP=7!8PADpKH`Jv>u{j-z-S_h9U;8?zE}Y$t+;Ae+{Pgt^TST zo~AetnP+fFu*co-DiEN#572x-I`bj=xL;jN!B!=UMSBSSl}P+MX3ClFm>A0ylCO%bW4s%zjfS)j59-T7Z3)o|>rG zN+r^tJALL@6HdJ-<+3BF#;GDuVdz@7DR50_1Dkfo%PE(<=AQGYrzY$5h8dZ&ss6R+y!MB?+tV2lZeWl7{O7=k8&&7mSPE{_ z21QT40m#So+rKuMKibrYX>fen12LF`yt`$8TY!k6TD?WfW#@mpx1lL?7uHKs08cehob^KJ`w7#CyN-OZbU?`BAo zL1ZLB=w(2ve?EVLx?U+em?Q8l(`3(z-*7+Lv8zSp0l#0s@D1r@7Y4BlJ|dwN=%*dG zjZ*PVZhQHf5pgPRM)?cwbOjPT&aQmjwb4xMWlu2FODl|%oLEewv&b3TKshLE3GN`L89avmUCs6#aMW_2=6fJxqg4=$V`clmveQ*@$*+cVWiax zhs)96?hD@Y_`B(g15&c$vCQ6;W6EriyHn8)NhCDm#N98yUrC6Ad~X=gl`uDaU~ilX zf4;-!LybzW;rz6<&j0QGj9Gqq_;EQ};^wDq%jf)_Vf^&UAX^~?QiqB0c^QG@kMaEd z+wD*R*+YLAds`7!{Qk)1u?+K2v++c?NxF%5nnT8QB~e~?>diuB&LYzc5nkrE@ zrE8z9s?*dqZedWf3u)fZM0kiK)zsotWEq~^FbVeC4Dm3M$9i{;S@e@nol}1~@T$18arC>d>?-B!TGzMddSab5 zz_x=DnMoVO?c!o|Gxmv<;c%ssY8yEZj)bH2+o>HI3Ys*xpe+;91$_7YidL23A3q$S zBA-{!O{iXBxny>bPyIBLXGc?p|CW3`X6db$cjrjfiyLeMt(vOOuMJCwzxR4l?@vS; z$y0x=c-Ko6`&ic=u}9)Qs)f!JPW^6q=Tk_M*|MJGNi~gY*YzTsh}klZRH2&-fTuG- zT}Q+UDQ>5U#_91fXcIqfYG<+Gro6<#D-QY#T0jdIl3lyDg68gXep=EJtO(95=TMJ& z=`i8V@*C?gB?EZ{^TGLQtVTKOZPAufTylTi=bHmF%%dHrLeIXc>FTtQHRL|pHurAP zHVfzUlQez({#w$N5`!BZjl2CRmhp|%iZ&E9thoSf(t%&47(*v%ck-gM=A$sj)&{FYVBIa(=rMC|MSq-!_o zvv-0a8v-~ovznbq76LdlljO4@128o>lb{b21UNP{Fq2^fD1UW!WmKF?x-}5oNpJ~` zLvRhjT^o0|ZlIB-fyP}Df&>We5+Jw+2_D>Cg1fr~g5R8(x#!Nzx4!lMdF$Ex*|lp| zty;xEqprm+339Ro%Q->e?A#n&LI5pmc4Zj5CfLT!!NLW=#r3Di#f8bhpbddLfd31| zWY7h>xI&zuLVy28ly(7I!2i@_EZ~3maxM^nB+LcCEdb!=656PV2{7XNvm|Z+*I(b?eI}hKVFnGB60PnbY0Dk|er)~lHmmjYGYgU9> zI|1JP(|x3jSwZ2MPka zI6$CabthNIU*`zG&dtmFUzoNn#L6BDc6I%;|9}60z);YCO(_etasol1HUKTS1r%iA z0{Xk~7i{I`;_~M-{3Fpnz5hG5hWs%I277|7Fz08Ttb{}DYC>CnS4mQMuy2p@@Zt1c zL|mckZOM|k?`i}~i`-uF=0(m){+Qm0yj^>F$W!#(V6RWiWpBFbn;I!ZJYU;_Vr{v} z=6^f>QuOZ773jvZqukzZXwC}-*$|(8*X;MWl9*y4VRJs;p2^sk7h(KfaZ_%4ipErb z#DR@8`Y95PR8Wu?8!5C^GNZLZs#>1~FT@4y(suA5a< z#6sb_F8qn?pFOyCKAMJ72ve^FS57P)87=UZCpD&Z17g!jka1|8n|QzsI@TWf2?5E( z4P#8~-)Jhcr#&|N$hRXVGe+`kuVRf-v|93uxwXf?ErF_ z>(z^F(o5;h$M=@A7$8((FmGs(3V*6;2YITy`xn|p9=~#ha3hZi$A7BB!*g1T}J9moRC7wc6VAuqi1+#bT9by^>g;Xqp6SA;mKw2#b5h%*pl zKPte5Xkv(|QQTR>bh+!wq)#MD7#~VX^!_TZ>wo~+HB{(k}WszYW>CUDKdrb>9tO#l^4Z#aZ=Z#0T~KD_{}B+47}*qLJC64eHN6^ zeX=e|EEgIArq)N;jDN*+i(CMz@fHP^aoB4!ZRGq~&Ug8@55pk5FAOviMN+3lam?qF z??_G8^Sr<&eFdT)``z-64)PikCkBut$Zw+Ii}yw8p3@PXer{;jgySYN(UKPSMYnnm za$THA;RHZ8x|V!K?-Si3VVrQ%{!~HL-PnT0EpqW9SlD4&YJbD3Gg{lLB+}fOC!ir0 z8@kIIetMptai0$oK5TB!)yK3pS#@RzIUxRISPd~gdocz|GttLpRZ!OJKdZ^DN`_pK z+A58cXa>EnnSt@Vye;TK!b|U8Z}t>tvhG2bKh^=R^XLqAf?IC_aOm&IY%Jn2aOgjm zzIv!bEA@Irrhn=AVV`NhMcao$h1FuEnCQlc&}cgU4m>?uPKtOYz;q=uu#-$Q?W5sb zsmbr5p56H#Nq3HF-l~;obX&Cj9=m4nb!?Lold!eD=qqhJ|K!KM#1ng8A-!ko*Rgd$ zWPI`(n^zfS)!RYIiksKYk~v2uoncSv*4rrI$z$jphkxUp+^jb#r?ksL6`v?S8z711 z>!?+jM2T@so2LVH^Kf`Yl{QEhh7acP=UUs!tUz4TNxLr9eET*a`V0TeL-R2HnS9G-%^LiA9FmgJN zyD8_N=sM~7yD0`cwA5d7%oI_5E&@y*EqmP$dwB`6Zi*nkDdxo{AA%vyHmYxGC_q|F&6#%P`4B7isp6dR(?e5|yEJwL-N5xm~Sioe3 zTEiAz#rRV6(zZ;vHx<(Q^q(Q=RJR04rdc$sD2`;19n zY)akj>=0!tySI9Z?iR(5l9;s3aMYmNO9m|AxrXV}Q>{t;=;7#4+TbURxh2)k<9p>2 zQSY5sX?n@*75%n|#=Nl5J>$1uyKN$tRuR-6?WBRsoGs~Cpo}{J{mK8TXUje3=zojL zORl$$aO;xAtvOczgWiRTlyw2U{>7ZYkwy{w;%$V9cbL*zevb##4Ivbd1CS#&m@}pM3GO6(||46435e zhdA^;>=P;(A=PYHHd*%t;yc2Kb$`pdqc<~?IhpMU-C_-t+Q)V+Emoiu9^$OfflX7N z*`Xi`?+Q0ZzV6j`@A08xP}1~?a^bKM35kcLXRXnfl{!;neQ-p!66<7xrPD7AjA@7n zKw0kOA{?59huNvZtOTfTATm9^CF{>+J1_h~`QC_!qD_^dpGtgDy1<#&_C6P&TN zm=IXV1wP{#muQvNfR!p&ykZr)x zs}_GnMYrubJvN4~J3vip8prH07oKADyJ$Uuq%=X;rykUkLuvk(!rE_;=C{Z|;dFKU zp6+Uw2n#P6pz ze+cDOE7J^I&VJ+&i_HvNb7#{(>fVqZJ|XcGm8l<2A1Gko5_*&C%82!;k+=;>*!R(= zBOU(d>L)?xgPaKXc7HsEdtB>qocLIhudYN`f1xXfgTFsPO^Cb#pV01U9%Z%43*d%( zC)5!mNqhO9gXS9YLUTUD=2y%t)}M3ARx*g_ZU_)3?;8gnCX#l)YN6rUVo9y(knyA! zW7?W8#b-H6MoR!H%hMC4lH#@ZV`&PPr9(pxlY)|ie_}OMYJV|BR5ogn#$=>_Y^cl4 z4zk>ylU4RNB*mra?_^9X2?-~PaCcji%^rLJDpMdcr)=)7`Oj+VLUY0hb!O3*O9oSB ztF+8(<`CsR#@d?8tU)^_=J+%!PZwr>^LTUH^0pFO<3nacwGYJy>E4Mt*Pkc8cV5Fv zdH4*~Nt_G8^nbLV&kD9}3bSA=@s!3R;YXsrY>LNeQNBc1csEKoSa}1PG(jP3Lpb6W z?7pKO2h;k|H`X_lLF7IS%|F2jlr^!cS7zI?72qLQ1gF`VOQZ;%?W{kW?jAB79;}h{ z59(&2(%i$?T9I|N_UA%F@p3|=95Aj4T<%Sd{n_5I~zlO#cfN&i~VHmKrZK%gpJi$I0YrwJ;{rf?R{<|Vv?0zmP8BH zt%&6c6YS3>6F~H5!9qJe>MokfxXgUy?;!qd>TG?AgZ3P$Xd;gZg&#)q71gT_Q$8Os zgMa!T(0{b|8A~!E3MSDY27XrJXSgqW|F-w7bFnUhhb5MS=wqT)to)Y|>2Q9=QtM}` zqB^6!`Vq4rp5b>{g( zqybmjA6Gm{QbQSUC)rm4X*dLkS&j1x5M!dG|J!$(fm_m$Qarbuxunz1|7(^$N|M!a<0eE5)@d%XTv14 zxs@!kF*)qMeB!N#Kf4#FKjki+sIm|hiMvdTAAN+6)X9|G;uRqF(7!uW2=CP{5PwxP zKi(~rR6dT2{TZHz-XV90f2wk#r}t7t_#?w%xzw{^zQzo1FGHIKpM?^GtP8$A|S%UJtNo+FthkdjO z1hyseL8_}OwVBILC<7$AD1LMD4}Xba^&NpxW{!BaSh(0ZSL=!DIP$%$Ehx04+o8>V z6%(Aul6$SLDynu<#;MJ6Is&-Kb4B0AXZIUF56&+qMw zE496?js?A>LU>c=-tG$zH4``@+m0d!8XPz|IG+xIa$~W^XOsaMY|`|nqkkU{-<{AH zNPf02mOruL*D_B10!JT@`Z5>6)V+P>ETD?>DQMIr5 z;Rkl#AEnuKH@{ifT7BWzR9&di^ZTvNLbhiCSNTz0Uu0xZ%#09z4nwip0RCG?l$k4;u}Wm8n#QwXB!NDOO{9e;=vPc z?kqMNwnrMwUx&=}BhFHS96^JAL5xCpPL*EKD%wK11TOP25`RvTs=HAfgm3z|^F9iG zzD^408P3e~?twFpe4N*Rsij+!Y~feJkayeQ;hqU)D9Se5Xz?Jq1dC#QU5=Lvq)e6Y z__f};zL+m1PBq2s^jfNFf>Im5)Sd25N?4%CC-OeEGA1?P6s@eCI2pdRjHRYFK-(*? zXq-yGwXUCprks0?Zx2U~wYl-%en7@$ZcUuVeSagZZ8kqLC-=PO-#?N&>Nwy$ zNd8r7kcC85s;Sxua|RF*#6qOiC4x#ovdKCf*e~Pj=XJnIxurk=bI5+*HuyxPUwg?L zjhbqV6UCUwRSBWkvXk!4G3+~+9UNqie6`Ej=WjnUn(5t1Zl2Sa4*jOz5?W`ii?aVQbrZ_52RcKKz>KYP;!`3uzpI$p^fv!?)3I z$xK7$RB}?ug)}gJj=fHn8)nzgK{j;@+1_UFRmcmbVJ(%+9;8OsI{|I&@Bf~@lY04> zz+g48C%~vY8Dyh2Vdu^(DoaZ*pITPqoPY0rL#02_c%k|FTvkkh7tMi#(wy8Ek6pzf zCzM=dxxy7;=F9l7U(P;f$VtF+aFh6iBYVr6yrvZay?97bmo%1)|peV(I^N!Py3E8u~)0o2HEnit4{&Oeh(LNcz3*^S#Vt=<6 zQsyTBNY)iBtFjH9ilyM)YoU|tb8PVr7n5^MpGm;kgkqleV@*Sr{bCKk=*as;dx107 zW=_#y$3beqgfVkA4th7gAk;kFWw!9Q1|qPhKdRG~VC-bb5Gn6ujynMVZ46?7uRJs6 zLz_(=w+ZmcVJ#HWbE)DSqVLo7`hWOh-U@V_h`jw=$Pe~%e^GuFBi!}O^9w}`ifjLq6dSJG4#^f)e;dwhMA+>e@Yc zu=`;wrG5Shy;m2{{c!rEA{6_sB*1vBK=%xbP9hl7t01aIh4p%i{2C#mCx1tf$4TMhm};d<3F2LU#)5G68yC zzwxtoQ}iD(YKX!yPD-9rq<=fx5?#1`JulGX<(jZ`36xq78{NWb$NM%n13Tge+(XW?R_jZ5gruOWy**Sp>zSCDO;dl?E@9s{@9~Ah~Fl)+9Q|g@g z2j9z?n|_>R{?v7c@PAn$o_61RQCGY-Y)fo98toX*1(B5N&FOryA1+VmlQ9QSr7L;% zw$8$u^e{DQ-mxQ-f2U?b6DxATLH6sunj%qcdF+vS?)sHFe$f8W+g4JSmE#G)MDvOF zGSLSg%G)M=gej*3Z%ZNb!}8NSip+RcuG(7(Dn0~Z!?w$%yML`W##eclzPEHCY@=2I z3xW?`Cig2!Vz_M#%G?&bc1Ut__Vouc1{$4Z2zW>hjS61fGvz8JX0yk5Q--Xut`WyX zB1gY9A_dAjgHvcH9gCO)Wip8Qm9CW|p>}tgBmE3pXUFKXTc^KFdc__I`d%L*Gv5#5 zzrkWM;Q%N6D1V{!@~{z$@Jn=*_n-nT%Pds?^d#|_(eQqzcE#ByCs6ZBlPFTWIZB%E)O6og$-^qW-s%w_8EixYR)Sk%Ab z_CtT3M0-eVl%X#L_|IUgpi(Ht4st%pe%+NrYecio+g<}}bNgTh z3ll#=fQWw6=xakbR7cCZ+b|(Qbe#4Sq;k4of`8YF$#5jxtKJB;)F67XdMuS+=-1{e zV7!`>4oCBGe>?6W^?Ji)YYF|ALjPz7fB3*C3w}ncPrO_0RBYR2%|0y;OWaT3bJktb zC`Ozd$z4-G=hsfXc-H)L@@IQ96Vq^mZ$EteV~6>*(|MNgMubWdQ{PTtp0UQ1Htpk7 z*ngRl*M&S)P!s^L5(m4FU%UN9Q38(jiE5NJvN{adej; zp)`m}K3{#kk2m|XyR)-9voW(X8_jlW{Ao|uxvciRMY{_@Cd~c?(DB+b0iF>39uiAA zhGI(~C94xvJA-yWd3Pz4#eP5xv~2%mj7F&L%?r}%l~0Mql@zh>Q{@3abSFOOd2te3 z*vlnJ_ODFLl^jwA{lu|Y<;#gOfBZ55^E^1)%s~JlpWve&IVO29fj~(2@iY}1M^5t< zhNP@+ogYW`tKNE!bhvmFo-lH+`4&F)Uv!hgmA^8Z%xv5(H;448ovV&i8F2Bl%NkN( zNe88zCcI}@{1s_&dK(O6K92CEY7HOr*Qs^XjcT&_6!TKh^s1Cndw_d$Y^7z5l6gx> z{(e^&6<4@;FN`B9VTG9H?fxnP3;0R>$MFj@nzIY{SPtz6xTJOjZe61rgxO2S)F5| z7w0;l+%vgKF>`0odtHaLwFO{-Mz{Agnj{ zGt3MFVO5 zN!~LRCd$id+TY)@$=`f)9t$@1Rua9kQYEwc7!y zw%3i`7=Q96u{Gj9A$(rXC}lD*Dixul8*(o#zg@-aeSw`OXz7W3Zw1wuBHvo(`H!rM zKij!1sz69_Dms{T#ET1*s7vbexY~+UBn|^jQ!?r$?NQBQ2a%I1IE9Mj&)=d$n!L(a z;jGHH-(h&s-g1e_-{?|~_Tzx#GSgPvE6v4k^f8gfQn(>eGn>KKmtLASsZ%~rcx#$- zBVy7W_Wi1QAF<%y9pmh~EV{Oi0~iD~7%Uan8xZ!=BdqH^J5?&@F-U!=8kK$4`PwBg9q-#j(XE-UFSTOA21?DoVL8Bb# z4cA4$BcgFb)ziH%7P(15MBjnzU*HzPjIoLV!qlBD~QOHw|iq2Z%G zZG>UmF52O5?zxOjO(LX-#__k_1DC9!u^%-?b8GEU=zQ(4`Zsy@ucI~_B#EAVtpa~v zUq!sJ7^!zB+eZo(P_uQj;4lV6>0b*S?jMdHF_AV7B+e}qUmJSwC9M{wep!1p`HUNt zj<7xBn(Ek(MoUsPTXJ;lACawdD5-ME44H{QkjKnS*R{{}1$wt-r9w&vA$qiY*+bJI$ zm7AsBJTKzF+m6~k>s_jz`}*erOUWI3s0xM5XGTTL2LOb`z#_t^hk2&|!B`iX=pj%- zL1kwzZy%7Di1`0rsDr=~Vj};wJ#u7Xs>dKf6Z*RjW4lN_e`okk9mv9BjZFZsL(;|J z4~b&L2Co*6h_fxbH&U1VZZd>5nEV{|KpOmv`8TPvl5W{n;l@>2)PIbSIx{Xqc2?@N zx2ol@>WLLicm~oPmzRe1?UVsNgbvL<{QTL%^pi-spQ2$|ufGT%>EsUkAmkWT)#LELNfh z{h)A{4KKN}w^pQz%Feq^Jp0bGG{MCyfEX2^k`ll{*j<{P{kFdb$BWtQYv8Qhu^fAt zBH2!VXXYcFjKJ~EC}rs!1XIps!QaZ$r^YE5xfDJp4Ou=ouPMeu4&OT!7WJY8?t}R> z#TPUkW+xnA6EQ%mCL)x9tDr?f`2f_s`F78cX~y zHo6qNJvX>-4t1MHs!xd=`hekN$_v}88?@Hgw)m*fRv!F2C5P*j{r&OB6`nn9lG-6} zDS8E1z^K`bi!1zDLCZ$YE!L@iDo?Gwy1uC0>fTaqNhP>VPT0fsYz*mJkL$HwU-=7m zHWIzI;_TaTMT1L3-O_ih3a9}5S_?ZQXgV31N?)@bl z;!L+7J8=JM1Shor;lb$k0lN60aw|J^AH;iOn)X6`M(Cm06*8C;R-HH$Fq9*)BCdk^ z%2`XYA@>UoHC1T&HCniA_&9I2LZI=TqkhQ<+0dV8DdZ~zFK_zI7Om`4+bQ8`(azWR zo(U&MwAvC5!8mgd=if?Jbd7-z6H5h~o~HtX8>AEXn|bCgHb1Eq-T}uoNV9RbIrCSF z0ggX#5MmA{R95ltX|{XqX88wwq|<|v;(sNc45*_$#DvFCim;5pHRtgPVL=?k5uhtB|5Vr{(67s0we|BCgup#3zb@N87fe0U!8 z)j~7dtYf~48(niHN!Zn5+U6vZypG>rbvGv*2@wdrOXS{|$Mb?OLB2HJmo9WHEvE|MauAwof`gw!??P5E%v=7SHOL@)PX z3?_?&vkEvZ;GpE{9yTxc|IRL(EiFEO@`BN6d2@xunMelKEtVT2qb|P z97iE8rd5ni8{F~RUruPnxXw0f8U5AsRLmS})5=_{YIFGfeQ!Wf%zR^4HsNgRXx!81 zCfj^Myujn9Gq8)8>DF3ANE5%t$#2zUnOK~ zmU~W?c5Uv2U*2G+eo8jypgK0gLN0bafbv3QasFWCmIr0Cj?0@@(O`wxR4bh7KaLim z%OnVgjdH->(w5+24Te}{fN8ONBg^_VBm;{k;XT~qZgyDp7FK*#wV1Z~O#p8fYQF+q z#Bejr#j?#shfS|W$`_EWD@!`TY1eq4&19KD)u`^X%~L4+vS z#Z?cp%A;iI;TLA^boqgk03c&>ZFraN7LE+JR3Tc6{inrAep4Usb769$yo`C^OUY+X zNF391#BuSCfb3qHqW8r1N8 zf`bQ*S7OytCec~ya_N<_T6x7&x-oSJ3nT38G|dyP*0QZX^C>z-Zy3_HO`V%?`dC^@ zHy46j6kLZ>r%GOdcgkg_lhms8vHF+t86Ej17-$+s^^is1HZ_mIdG9qtegu~BDn?St%#YLOwM#rothNohF5b}&}p` z-k#S7eFM4d$(DjiHD#%#=o410l-x4ol>X<+Y1Pg<`Z{?#ODSG*acbV8${+>nq%cd^my9=eA>+y0Uewiy>p{8!392W*1(RgWp34df_<6+D{Vvf`M#&M$G$h+D^%VICWIK&=?CQpnur4801+L3g zVR}g*CbprD*7u=z2d96R#*c5d1k9B*kD-rkM(*kpRV901ODVW2kpPA^Ota2o2Hc2- zJ<8bf=Qp;gwz&7P*_+b;Fi5GwaVh`@OHn3Pr zjEktz&>%vplRIbq-@- z5A7md+tAzcepyL(JQPKDRO3k(=}DZ7&;6T^zd{Mhv<KAaamP2}}5zhF*nvZKsvRpfV>Ve2`QF1Z#0^p|DPfnwMBLD*>S9q+HGG8xv-t16|xzz5v( z&lVGWuF6yFNsQA|rjUR5ZR-?~phsqA-k`OUO^nDVH+zqQ@94(O22vb)DKL}SliQh3 zf5fYT7B#p2Fh|1>f}F;4e9!Mm{Q24e|92}~LKGFd142lMnG*`?IS1K;B*X{>jXM9Xvo1BL71uflQyvi-<#D@(QB=`hQVzVG$?<3V}#K z$A|1a{-3gLf0x&nd0P!t6=Hv%}(0anzZMQ)vJEG;ETNkx*gQbdC$ zUdu!)REeStPiS=80Ex=g`mW7CK0UHE8$Q1u5IKRm0$tUdW77GoC^X77^{?(Y^fp?v zrQfi{x3A~vKh{OEs`q+{$tIV9ZzlaMKH$c01as<&!SAPjhp{6($Q5ao`_j-GiJR0V z2vwaP0`OBCW_&Ii;%zQ#?4c|rI=w7qfJoK=#fL0K65p|H;;&9NfNFRjlL@@_a{U2q z{gLdXe61^}^{{Af4ZU9HKV)HZQu}!$a7BCwAn-bhwDz^_9p}