From 54f89ebd7efaa3abac10292aeffa4d10f5e3bb85 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20Veli=C4=8Dka?= Date: Mon, 24 Feb 2025 10:37:24 +0100 Subject: [PATCH] oprava preklepu ve formatovani --- nahodne-veliciny.tex | 4 ++-- skripta.pdf | Bin 106319 -> 106576 bytes 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/nahodne-veliciny.tex b/nahodne-veliciny.tex index c011e05..96ec17b 100644 --- a/nahodne-veliciny.tex +++ b/nahodne-veliciny.tex @@ -83,8 +83,8 @@ Další funkcí, která plně charakterizuje rozdělení náhodné veličiny je Uvedeme si několik užitečných vlastností distribučních funkcí: -\begin{corollary} - \begin{enumerate}{(i)} +\begin{corollary}{\textbf{(Vlastnosti distribučních funkcí)}} + \begin{enumerate}[(i)] \item Distribuční funkce jednoznačně určuje rozdělení. \item Různé náhodné veličiny mohou mít stejné distribuční funkce, tedy stejné rozdělení. \end{enumerate} diff --git a/skripta.pdf b/skripta.pdf index 943135d2d6131ad8477941ac3c4788def47543d9..ddc15a888618f0427f957fc0e8327247c8a61cbc 100644 GIT binary patch delta 13134 zcmajGLvSUG^EEv2L=)S#d1Kq=jcq$OwllFNw(W^++cqc8`~2(M{C3}_7hT=GIn{Me zcURB!K+pb#t~2%m0ayhD;9Ojt&5Z2eJlDImWgRvp5PJS;o>~&QvmSPFSKIsn%LM1= zC_@rHz~A4ZPCHIeeSeUhMxcn*SZ~fMK#bZ-Iqo|diGRFx3+THS#76xE+c0*&63!gL--OqJk;OsL8)V!^Iar?E){7{?D5F_bj z%y5s#eUE2xgeZ7d*6Y}mT2-||)we^Ga0suJRpu{I3G=S%p;dEpSERU0jkRsEe?xQ5 z2%uVfQ(N|_C>XO+n@+_mtX9;o$a~Y(AW%F)13#7jlJ;LxZxp*He>t;C8PE_vkUq+w zsA~BAc_g0#>dh>dvc3`I`{2RjERt^W7 zty`-nJ#N!#J!$Rm1reJi$SMb*}r~? zxfqjq%D~zAPKsW`>j`?Fm3xj?6td6hw!zJQx25JBM4B!)&RE(}RIcBxcZ6>8hU%d% z5t#+lXxsRA$IV%&n7@o40VXd;k_|u}!5pX=Z)j4DwOQFO&=KZPlr0w7y-BTB#sD>8 z+qcrABY=ezP1w7lFkscABztsNZt_J8B>sI($$xiw0XG!_^bCGGED<_Klq&I4YEUe5|sH&-{p++^p}<*_e)m%iF@XvkQ0Pab|>n)mC( zMASmkMo;RHk_6f2&=)T2OPJZvPbI6TbBhO^TZCE(Dz0%WP;Km(nQj_p#P?j;KTimLCD8Ri$?Rq~hVd?CV9BXwlM! zIo2FQ!iqur1++!NW`!k0VV30=ZmM;6$HL|+#=A7=o^ZNF4?|1j0WNKaK7)Wz_?0i9 zYRL6F=@2Ow*h3v9&C38)Q(;!++&-FXSYwtGK&e6n1DW;gxqu1CV=Rz=!rxHWc;Cf& zn6bcTQJS(?E-LlLflDszRmGnN=dFkZKS24hkp}GZeNwu+T+|shHPXc; z3HimJ4f@w8^OXPOQalOOkj;l08Bj!Z|Bs`n_(_cjw*x6tCK*o~RG}9wRMypmI1i^3 z1I!IFB9OwBJZ3!TcoI44&rq)tU@Y4tcqek7os}4GqM-Ciq8gL!|^SJjH zJ$mR~ZJ=OG_^1p%u~Udio!84ef81nDi1aVeuU;evO&>BbXaV3LOPY(&_C+-p39rn= zNZRv#HzCC9()QV%cP+g!^f)A_B-!iLlj5P65rGxAhJ|rTyFd>G%%=W{JVmM_bCp;R z0B9kUNNA}^x=d=D|C00!D_z8PplPojD^sj5Q7sQ~b~qY5IeEd16$dxa6<5r6(@%p9 z*lykzb!p63FK1j}U#Apz(cuWCGE%XjwrS*s+VsCruNiKCtIRD1@m_#%wtA4F%4Uk{ zBet30Nwv7UiaH3Ry~!^^jD#)Pg}1;aN7qhW#+eKo2j@a7*V8pkIr9~r;-_e-w~2P` zg{_ji&xMOMqn-Y0NKX;BV>q6>5i;0fS-R7`GtuIH)-6nW+DkWyd^f3HINypb0D_2l z5kjVd@k6cbeK|>(#jrrf8gB7}E+$sN?=u0}?TlE4Z4!IYl{FSO_DC3OkROAL;M$GS zI1K}ad}cQ@&Nn(eul;!MzI2vuiDl-;9EZ(#evKB=4klXK_csi(=A7g^&76nLV$@1u zcdtqWmZExN(RunYE@vH9YfeJ6*m{)x6#IWi=g^o_bfc(9UR zMSWu}jBA6Ji-}xBjC88=GMnjdO>dwqifgcsmhDu$M9VX%>GwJSwaz#@+9(9w3~jO@ zTwz{FH@7VRqba2uR%lvm&w7goaC~!b~Mu}+=3yt!%bYQeRj$iqK%)eQ}-Q#MgjH} z`W?&8z}E}?HG}z2=^5?GlUKH*w=+wbF?Ae6R+IEs`0zo~Vuxp3`+mCyiSvz{FR*ka zy_4j*AoNDAKrtf_EBpVFy?(N8bfFM(=*}m`C-(rerO%lH@y|#sWOw(pF@y)(bs33> zYS&58uTSe7b3zTJmrEWuK&sK)@7OB~lrOhJz&!nQ_Z9xua3>qNg6o+bvB}(%`SYM6 zTazj>ro+`^CxKLm*_xVx0aNex_DFs+t2c;0W~C-$!^Qz9C}>?SCTa0gfDkQm)kT$% zs5K*OI9IZM14<<1M)qstl5pQ@Czi?^xbx{m(7p{ET(EFD zHWqH0hHMfz5DC|jNhdXyD=p|Vl*r}WdD8g%B$)%`kx|d6FzeQRQhc{jUo+G3CYa@L zJz2-re1WPHG&4H1TnAPdv2^o|t?cc*2pa~--R z@^OHh4?x1;;?ocG?L`{G@)tFPgY=Qkyc-46?K|(J&xw_pi5b7W@9r-cJbt(X!|ik= z31jd}*O{6O1>L8il6>DI^!c6pu6lI5~PE9Jzyws}Jia2k?m zQMbUt54f9%*dkH(?X%#d27oAx#?NxwDGcbK6#YuO#`y_`wmkY=b zCReA3uJGZAdL{an{h^Ax6aEdbeJ~f8Z^JggD*Yx&6L!Sh$q+830lD(DV-8xX)yj;@ zRX3OP8*-#5-~7ehRFlDz6N~K-DbcWDWfju3E%IWD#GDj+KnWb)UU&Hv@vsqRz|ePM zZ%)3fv8i=cdeV<$qXf5VdEmOnEE!6aiF~*``^CMzEVbnTYHZ5Aw3LgfQ@&8v$WLXQ zwW9Pv>Js-DC}h;y22J5;!T7a9U@#|wcwc5GFn^RT8@$~@->t!i=RyXfd0JyIsHZFx zt8vU|)Gn;iu>0L^eYoZ*6lYaU$Ss*AMaEAv`}4KknY;{^E`obz^;#~lvttrRd7zx% zsU!n;MEa>bQ@S7dXd$2Our7s6=Ews|?wp&NfU^35l8$ZZAWfHy=hCi>5|Y{74mAAJ zIiw?c_p4iKqPQFv%efkAb$42Bm`2C$H6>F@TD1;W0-*z!J9>Rq1`4(JQ{#65PK{lz z7rtDwl7HrCmYdaObdGZ;j$n^aqeT1@|Ilh@q)Aq0{idG_-WuS4FPW7$Hffz(iAGK} zHh&pzfi;xygZvIkEZGHQpZ$cg!xJDx^SRQjItN-QSIn^v7jziX-`5d%Vi96(02^yR zyYUoMGpbs3IATV(zAQcv;t96;qwO05?BiEX9+e&>Ga@Y$J;^m!OBj6c-1-upB+y0(y!cg@8`N8fRUphf1=%KvxgqNuwca4%qyL&TI!|}nL!&G zBUL76b?wMO1VvA2>+9GPow2*0?K0Bhg+XL22V%CTEv$Z2vY|3HJ30)2wz7>(7lY4} zct8fNr%ZY1>Q-S~{r09I{Ig2EB}PddJ1kdGv8i%He6CWlUobSUZ)0y+)9>_2B~S%z zvkT|%I{lWjF;>@=d(OqX%WVPU)_4V}TY9{_=*asd%GoE>*3$EhlBIHg8sl51nS6UG z0b*qe-_}%Dxv?zGevj{Gv53sN$ilLXl#1O(eEajc(*Xa9=pS%WIv45{(j~HFC}=2P z4uh2s=FpV=`bg-Nj#*r_5jkAxt_-*jx@0Fk6q`J&^&!@V>LOu7-{s(TL4CYxeR}u( zi~LP06khzFu(|HX?<$+LWT2R~wc23!1L2V-&l9*>g=V;?3w1Z|H8vKtr)!v59(9PE z1AYgelwex=d&&|8CP(gbQ8r(%wflH@+E!l*d8{N3TuW^hb+DjE{iawNuk{rOn96$1 zW8J>)(2k1Oj=j2=J;jJn>AcaZUP;sL!_wz}KOZyhWE3b?O3stv=jXX1Ye>k3Zf6u~>xMXZgUiE6iFPBm{ zU?l@^!Zb2#np#xCP(`I-oj!*$DKvH~9CjRLeSp2b=>+-`yg61y&xcnjgLUfC)>b?! zZsmY(3zN~7(G|_WpZPrciSBt`pv`}pn5`9kbCwX2dvINV8)IwiM9C8j)4+aweIRE2 z_3yfy%3s_Q;{{&XQxLhko9|KZ4xi7jp)bK^p8mAeQxqCG@c=gVs=v2&_h05`w|ayT zmnZ&cPqJ&D_X_!9;5AgxbJC{saNcWh=eGAeKJ@LPjMCG8p5fR;?qNMLKsHZrJn)u{ z*PY7>>kPO@ju~kM5M=3tOXeEdzwi`z0(1{D=`93sD7*L!a+ zSNpc%%X=b$x&DMI@NPn50EOg6@6w+JHRcmUf!*^DBW(wZXuyDft49~(jZP(XSYu%9 zXggL!wlxqj0{pP}E<060nIYTnC8558ePL>?(9Ug>BaVXK4zllBd#jvi-7%DJ-My%B zp}M_64ZhRiMx??tdjiI{8RD~ER6Yp?> z>~lXUenX8DVfHB8ff$^;)n28_C;5i3b&J-aV!>S3Kf{d#CTrrI-OnSQ?$sP7xQnnw z$EyYHg@-YZ5{s)i&?-9AsnnV}<}18S^f1Ekfz>OIK3_&jNpS{6`;eMRWqtX8`mBNu z?OBO)vj8uD%Cd!$z9R{vjoZ;mf@5DA{clJP)5P4=kdiBkLbD~9M(SmI9Qr0@haBH$ zM@_22H}Lo<1n4N$e8vP@MA=D9 zH=|`ZSxQ^9)h8wNM>;>4P%64VkXF5Pf`Zj9RD5a08xQx#Cin_4fbs?X-Hb;PwJ~7G zrFo+zCwS)`q-f{NfO$2#-i_B(MrPge83t@exVX(MC|ublvuo~Hl(Du*Qb-qMcSLGx zC3O2&-{E68xhJjkh#bZ*<+Y18g&=~~8zq42hCX-|-&jTK)4i!_w|;p_vCaL6bEwCQ z20$Y}qSNZNES<1Ma4p8c56*9!%jd$5oJZi{%38JpHS`@jW-p&T#QtI6>9Qq=3_2kJ zft;jmQ+`{c5Kdl?*)HRrF5@c_xmYN89J3lnBOCoR_>#NYnLsEmQTf9)FV5blkm71a zl9L3}Qb5qgs90JY=}KisJ9kk%^rx7S^?F}=W_7vsHE6n? zie$nKjwTK4N2Fbs={om~U8=6}uFdcTm&FjciXzluchYVX{~FX;Ql6W)t9&2)hqtp# z#EqzMU3+O~Vl!?L{I_%O*>sx!1u`vzjg=G)DfqZm53Tey^kvF4SE~)bk$AsM+XE}Y|nDpTINFkNd2z7*D zfy8lXnETZ@|IBDhxPCk-7Turw8zrNY1C3tv>XlZ%M~)Lfrk{(eXwPt2Be3(evJR{O zwN2YHeS2vp|HetnQW)x?))DOoIOC04TvZ^cT;Le@gHn z54Iksng+b22XQNhutY6VBAMyf+Rhy z4(wG91iIthRXBl>vCAn+aU%S7Qk@*2m*yKFTF#1uM%paLTr-^J+?vKjOY??V`SH%R$PYOJg*NJjxj{gN~l=? zMOh;;n;-*FK)X`8?7&}F{ud`eR;JH|#s(ZK2_VzWmOtO3eq+G z(h2XcpE{{>x@TyUb{Zk64Q#>=?C5x~?lYqbix{*Vh8<$u1lMn^22**yI>E;YDy|y@uH1W z=f5Ej6;Y?O6aO0C{82YE`O3fZXF>(XkuBRqlM;nELf^gn3O4#y@OK2wj1+wlhtg!7?TR}$4cYIIep9~vij^RVXp4L+18THA z1k5iY+rI;raaDZ+|NL+GS4aNIu71)b;{I~QuKG6q<4F1O5FdcI_9>x+xBm6!|L=hugxCitv=81f&$t)3 z3xdmL#)vuFWv!>*t&0;E1@%Mbbr;cc=G;BwHk*P!!28BFlUYvD(xL*uD7o0#{&%3Z zF*Mv|Mpi>#%yf?53$$Sqg@8b>3y>Cu=5`EVK}R-5z-N~J!C?XA_kRUip98=S!NJ*C z(>8;_#NcTYS#r4t1gN0Jb<*fUz(hgnBt&rKl@+%Y31Nx|R$VlF;|y>R;{*{fzkNc5 zY0)9e0oM7nG>JdLMG9o7$@x~Hci_7JqR6nfp`%iSp-Qv2m`dc23zO$79nnBTs`lk0 zvg)W|i-^j>9z$Wz!p#FhOB10Wmro%P(RJW0MRv>eQT`w!CI&G!p%es=Hi3b*4DTRC z!9Hz6=jJ4J%S3;sa#Kqi(!=agN4iH%2A7dlBBP4UVH?}j&T0kKv@$~?B9|e!!p&p; zDGI)W(z)2R!UJ0fXbHfSGn>T<%7Dwnz^EdJgsz}R-311)t;Xo}C8#9OxuzipT*;}> z;L=4A&uJ+`Y7J3G{g{p^`KbiLDUvV=t#@7I?68UYfrlL&Mr?*aVMu80{Ks5)-YbY6 zJ=ZW;hu@MXeJ;3&?JpEHPZ<$13!!u0W&k`u973@^Kp%}XK$z9i871NG5Afp_j9t+AvaM1C3$%!Dpm?aP?D@BRB;Dm0e9iRe^-CcJPVt zO#ys=eT^7kSpOUg8Qj6Pj|GNz;jh4O-i9I~D{1|$ifS22jtGYb1a02JTEdr&zzV_Y zXOkPj8iI3TdKIYD38BsZIWb%Z_Y%Dl-SYjxIjyRt)u-u*2iEK(eI>j@2rVok+N#v_ zry=;ydp~?(4fs|PT%am62uh$l=f}4QxPWk|6fq<$H^U$F(ckD*aIT<7*4b>x8Y4_@ z9%c-1etsVAJz5N5L_wh_YR(w=%;{-jVvZcWADl@}FvG#_FOUbQLIFNtj+uc!+DJ6$ zeiB1{=50QdgF$zoZ>g|)4>BL%kbsw?P2)%9OVH3p*Y_h^r!qs|g2)Tt`eCNzc4sA6 zjp4APj3Da4Y}vAPRwYo)mAFt5SOZBC^Z}6gxMkp;rH2R?fdiGqwEt2Zz`_p?rR0#b$D<*R0Ecxhm z^gx*`|9rXMDt-BKvzL<#;n?)t^aL3GP3W5ve>=4Y+dGW6f@=T0`Z)ryfs@1ET@@C| zOix3-j4+Lj4&T>#AD#bBm0vpqG6?z-KCyX=uYB$qX<3MIeqRA1Alp}*g3 znA@@A-qI{AK9euz>XHeJ-UG*#Yi?|_|GhEW3`{5ASq{S(!%O(<3*=J`LiP*EIHF3G z3n`I>k^tq0K~xUsYs#5^|-c#Hl8z?CPSJJw45dSSnYzrWk2 z)LJt(h$Q-*>tZ(SG1+iZH~kIrU9!IMx9ksENX?QqsJ}P`@Y8&d%=0epih3@iduHLW z)K&h;BSaS%7>O4&UHVK%r<{@f-b#ay1fv9DIStI7&i%{P^cRKKf0+9gC%?{yUioWdpJVsxEzpHOT_TC}JWPeOGYOrnebe_9qg?Kx*Mkkx zTdt-`x1#wu5PoYxg{V^XjTnh*5f--i3s&nZe|mZj$rWrgejSy%G}* zICo)xN}FGKlMa=1AxI#*HzzQ3vL|y`xg_j0EQOtD(={2buqQWTN%5WN(1bh{ZBB+x zwJYVw{XM-8qcrqxuYhx;)8r5~--3o{g^B0hdo>XYvrHh(>UzX8n*(rcP{92z(%^t0 zC|4g6Hg48-um_}0_GPsG#~q+7Mx{!P6zJ26mU$_qGWpX)fUj9E1g~x1LkFimwx}kZ z*=!`{|Cv<0k=ECjd>h|Wr3;LX*+|a+a{^O{c;>EKS`-eb4$GivDumP0IU;$jkEKA-`fic{gu22vpT_{i=Jq zxF}xvv?c+GNC9hOr(ZjjYk%KVB0lwZ_&1kv?NfrRt$Mn6a&d=5Nvjqzy)PQCleP%l z%hLHz&b!MAR?+5RtEZ&)Tq~`%E9$kqsyCb~SvRv>JIZk>x}$kbRJJ?zw+w~q z1{Y6Hd=ki6zGyYw61`Twx1~#O-l6=h+p`A7zF5oenDv^GPfzP1Jv+=jzsyZ8XK5c} z*OUy}d))92U0Rr)pm)L?;2QIRXFc1kh%6y4zMC zsY{fGeubQivMXHne%Zv?;(Z>D+)lTjFWG7=RN1$F{ zbDU7+Vo1^rC!@bZpiXeNc81LWTDt=FJjLCRFCZMmp$rS*p%432(~kNrTX1-TePv_wt&Az{nb)|bGc@)fS$TDtOVAZ z#s})K-4miZe|BlYTIMW>S`Rtv^~jCU;(Aj;4Mp2@%H-*0Y4a)cSe_^&&NO`lBqr3> z`7F-!{$`KX8Wi~cO^p%3x?wl>Bep2r;XqnoJ|;8D8&=1H+6YivI}{6zK>(Bg>stl} zlI}V(U8WI07eMHXpzpPfVv6a^TEGFNiL_xALy7oI5S2fF)gAoEg&w6 zSG1DD&)_Q{S4(8s?&&Z4-~n#V^Ej7H*4Nvr)#a;8RuRuA5bA=+MTsxYL>w;(#D89| zu90CmM4nTF@u-4R^QOK?5o60$8s>TkbKs=a8=((IlmC1WNzgzIc?|>EMY@|R(O`{b zjF0$BsC!OB6^;Goxu2H+%*8vE?$UaVbJ9`@}M;xZPQgCKF4YR0JbLGl8Yq z@$!c742GzVl$LOQgLpkU)J3AUQZ5N4$O8OkxCT@-BhgHn&O zk3U#fgB4rY6=sgaZ#6*JJ^N6hl$I4(LrMg@m3)+*3bCD8*zn z2%VleyCBNc8u*ldLKf7U;FcW*1+p9ZY*U*VX8a>XF(4R9oia7CazK3~@n6gC7DY`j z6G~SXF3|`aEsJY7QkrMF`Ss^tR~HU*{?K43*!(j!|EKby>fk$QGcqhhv%#;B4F$YC z}fA0;-S?}z&?*7a{ooxOS0 z$kDXX7xQ2-@zI^tx2XU0FLK1`!X0OHOm_nq{pvLAY$VpNoN zI5OEgdNdjPUtwF&4;|woQtc38F)3D(17!gSFs3C|oQ%kt8NhVE8jDRFxG~X3i01BE zoLn(uXs~3z_G;Ypeo|xla2uk2hrrDS(?eiWfil1O&lpUCa2BTJfr$E^y*y~}&N*iM zNQqq~XzN0F)ic{2DFo%hO3Ur-_!?s`&4D2%rpjpujwlmQlEA+4pjqm4zB*cfpBkKv zS0jXP$12k>aylSXoF1?nd}(6l3g7uBtl9+bX7%_MF9nK~Me5!U3I{_Yw21jl@PHhv z2Qg4ev;7cE%EdJk=#y0--(|yydS5LkgC;*Hyb&(-0HH8qUqvbiv7@q|Nj|IW|GOg%%lyt=ez2yV9DMcyiWi5wnV71h`I z$8$huuvV|*x4Y~mL{Wz0T)XG`Bz(_Pnu-^DuP2Mai8F1`6GoDMGqL-l=_Ew<0aF=F5U!5-=9-O>>bTf@qba$Q~Xa}AJ zDGJKJMjRwXn`&MQFDN-X=I&n(zB+^B;q4Fo3WjP5hIUXHI3=U)XN~3I88}6wt@EK& zS!eq_I9`D0oOFU{3^q?`g+tAAs4YShJZ~EXLtA3e+k_17M7ft;Al{SV9Wt#f zos<_=9d{=tJ@DADuj4Ksfwd?0;X!l)_sL94S~Cw*E73Y@bY9+Hw=5(}iDg6d=r(?! zv^H-hqy8T(MmHRW4_29H^Do-va|BvwWg?|LS&g?7QL~&k=dyH8wM|SVZPEWyiz=h+ zs#dS+?@wwSc6v7TA=}Rd`t~*d7NAt{%8MA;>CKVE(?!Xq{)J#mTS)<91AX?dj|LSx zKx2+bk3KwsZCfH+BWjVm!#1w#XjAvl*@VkqF&1yeq!(b++SlDjp*t@%Db@`IXslo8Hc!2^B)=?cDRb4M zwv3ElPbYH`7-RSDDcP2$>zm#K^C?-Vn-%}b$sU2`P z+s?zyi`*(El?pfL^t-2IJP=>2om^ayt}1ToNpz-?k(JjLUM$e(<%7mtTi(5x_so6* z1EbFVq=I*Odw9NltO>d!0Skv{c_uyn)-^Q`88-)pLE-AmT1o~Eft<~Hrbpvdf54%E zlz#Cc2u@d#>#-pT{YXC(e!XuHAo{J@MdqxWH>F}NVm@9OePIRY#+DOI`>vrnaOSI+ zSlc;pe)dvXIa+)1R>?)|T|9DqY0h3YI9J9ArIr+B=fg3GQN9&i368#BFm=4wdVY9n`Gp-N2J=1;v_a#83>)Yl)aUzWbfDTFiV6TEe{RAFBv%=*=Nv>1wvS4i(S+ z&c>5}&yr}gE7V6|6wLWGK5^mfiujag@M}DIX23byHgc6iAQX&I*;iSy^a#K-xA>Fi z=)k#klP+(t)fL2qG@f=;c`xs!_>0=avbF7_sUq=8kS0I3RheA|XTXPb;07@jg@5FWy%ZIiNxD z$=S<|vP|r-Z1UO(ZWMiZVdLJ<#QLfQHTAdv7+{2qf-iqit3nBOeot4XADJ8JegMYp z5=pz=b(jQKHP$a(Drf;Cn0wf3yfL#=%e9N;Qz<65wApkpQf}6biUsd>{UUuV6C5BJ zGi$5`Pg{47y6%oQht4?1-2K(w^mVky+$%4;{SAkf_uNsEag95beMK5w2ABv4MI$HK zPW`Qg7Hidyk56#swsW$<**!&limmG9w+Ug!8HYKwL>A7Di^U5d4}sB`Qld!wj*oUI zNW6Ao@A2IDHg@m+@y(QTX8P>#6%bfL-{>`g(8}d)iNmjkN6A^WjU}=3{<6`SL&c)x z?wQov>c!y7li1f~zMq#FjP(j?ISW3`Txl3P9o7pTBU!LvJgZ*H+_o~PP_HgqS}z9r z9n1E9`rkgT9f0t=ynJVmWcQxEIa;4fDh9Hc-}x3B_S=(!8e0!kX6<5~_x%DrA9)sZ zWD~BQJA8cJdwW2=4L3c#pV#Lo-8~B^esvc}lIxO>t2e`f@}q*PG$A1Oovj-gy5drTtW^b<-%gLz#6W-}kvX4t?vQO(5 zGv@o>j{td&-k-z0+tfv08C3r+7Sj%j{Tv-y0Br`M{uh{Tj$y2O|9-mZZ_dG z7AO^oK>Mp_B#)hszEDtQFW67rt&ROHcQG5Y6JC4GEiLh|6hDIHqt`GCnjt%m)axTA zcFM}7t2mdf2Wve5opF3jP6_KXqn{>q(%8XiT zTqD!o=ibabtp*!Yw;!!cTP>kW6XY_hNYPaFRKShou**Ro=0z(Ce`)HZ7tpHKzoW|( z2!Ho$djN)3Inup^oKYq6%Cs20Wu!$5OV&j2G9JQ_IJHlh8#~-k8$W8mk$V{=3Zf5x zst1EM^0JMHtz+TrgIfjLFk*Hej9P`|HNm=!N~vRYA3(+rRCgqIA1PTys5Ex54P>at z&=^==g%+)c(HOy9Me{LosEYKfV+z}&t_m%5LI^W~Tpq6H{xxy{SrrV19f9Tqr_eu! z9n9uPJKg`vjdx<)B%_ypBKsTk1j@N%%7!hU9&DXvz{{5QpFVV${*CN2l3H;&>Pk_a zmSRSG)>C8ZHAAmC=6@pttVq#H$pY!M=b4y=jt>xP=JGc*s2q9K(bZDwY8T(XHPOA! zR8?tsscxruBu*od)?pIcxq1E%KH+cEp>#sc3K{o^*KF_inc!9)sylu{azgvs zsgQ&W^9^=n8DxtqT~4#mMQ2A^dtR2=gqnF-KkVG^OZ&d?xAxtM@Q@;&)Q{b5yS(*J z3*UeDAOf!=wVm&JozY8JHxePKLyuhyth?V^%$Rt)=r++yq$C*S#vqih{ATzTHk<#^q<1C7LTr9AfZS0qRYv z|Cishc>p=w*~Xhh3)z?59R`9{w_MfabUY$icJ3COo0}kgC=L5X1;7c zz5J^2mc}cfGApL!>1Fq8d3PsdtnYYmJ9mtYU!x?UGVa=H(+)aKgqYmpofGG_9Gcb-z_`RJCW9)~Blp@~Q3 zlwRN75kQh?&f$yFbo4XI1bz5rFqpL&_enFoEzi#29UEs6zJhNmEhf1~zgbH2qfe}J zvtEVsz(B&#vpCkKJ1Rb^@4U$Mo)lTyO}GlNOVGOQ=$>QBr?txxv^$x2C(7dq0)P#_ zUK9cZSk>6Zrk}BDatnY;392zVS)mPMwIig>j<$lnwR4u)>5I2t~`#a}rd23}WM zYm2#r$zPeFe#Yl2yUvU3#5I5~mR&owApasH!?Z=qN-1J$D}u0+uEx|qcul8BS%Lm% z67icZ?Pc|MY*Fwwm985DBPD}f=<`l)#n4ZmhfucZ&1kDeC z7R2QXt=NtRL>u-3mcY($og{_dG%j*}Av&WzLCp z4KJ}KE?a|x7Nria<^qGo(ZV-tki}MjJGDS;cE;3U7clDCX>$Iz=d4h9b?JwbqiA>c zbkvtX4jANK*2%z$#YDE^Jud$WG?qVft}3m6itdZVUQEzgvj4NeEB0Z8&bb6h@^i^B z!Cs>x8BuvqCX9!aO`ygU4)v(;jpeF`ZY#Os<0Zvg&hGmb8|+?DN9ZxAnUeryhcFfX z75z3Wk)fb1nUGXY5s>iTh?I#kKqj+zgE=wQ+0@;SveXkjP}<$CCDqHw>&z*RW&i$V z@`n}~fb?M+B40JwM<&fHkrT-hI})9h%sRF^z5Bd-Y3J+~9h`{cI&nxC{0u{&Fp=-_ z^)hGF&GWOQc5R&m_&iQ-Rj2?k!DgQ(0a|n~gts9^*vE~~$^T{u3Dt9el%-0kq2~Ib zt%O`1iB?iwN!dYJ)A)^+kM@ILpNXo43-6I`!Gk_c<*GXO<&^J_q=)F$Wty5l*LORKKuc}El+4zTM_RgX@v$+Cd6G?=q=dV zfmbT&w-_o1wAv46%+s2Gz;uYVIqis07wMk502lo=42VHNK z%5H%&3pGwAIM!wViVg2zWp5yRt!W|yQi%n# z%S=bsPwE_)C_s6$Nq2!y_@o!ZM;v-miNZ5s*z-yGu*flDplSm$)2df44ww8}2G$DH z#%#la-znk}1sYII#`CO-BX|C!USaL&4*bGjvN%=KzOCgk+O;%rcpDXmKjLP*6+8BY zo!ha{&u~zCIvdSF$w;HKrE(gy)cfq2M1KY|)prKP%hW$W90#lrVoq9S|2POvvrdy` z4c8WjQk?M6voZiUL+J565@SO;5M^Ue$b(MZ?7=;zv#|c!-kfnIPOrsjP;0Wii!kD{ILte!^$Y0}Ii9;F4i^ex-!sZ|=w#2%)iT6a z#D;O2&*L8S)p9g{&v~OsuTq|43?4UTe+xJb59_>I@p7<_i6MR*mIcW^5%~;a85j^r z6APCzv$(7Lqj0YGP*T3JvzLJl;LQ+j?z7D)WE%FEWwIJ8)n+_S>&Z&{v~+tdKb|Pt z`-pA}^gWYpg)lBdjd*Ql<@rgIPAY=HKY?H4-181gj3lz2>KcRDAQvoQ3Si~=-<{ns z6=WCs6Eosjc!*J7ZuXX)8Z~SX;YU|;qle>gszy|?!UVaqvC#L7By_m*)aL}SU|G_! zUG{~A6co_F(c<-mL}gnv!zDOXa)O!^cMx-gb6=m@($B*U!&~yLOVd z;n5u*9)mSsfE{yQ;MZGK2|80A>WvSHY*@nio=cC?!txPk)Z{Qm|Mv7NFtsZ-(oul$ z)RoV#g=uvvcW6L6a3^)Zk&tB}HA`a067O&7i3$pn;fPeK<3v`cBCAN&ipG7akHs3` ziB@#wwgiCR(F*eSM1i1c2=7m#Ll#AINboHDp%H8bDEr|`56(CJo6fVDix$RF6uuF% z`X}G0CEZWxatk?#2i;&whlH8Oi~ca*f5l;R2Ei&q64vm1>I#)f9DR-O93=@$q!TqW zx-qL*Pwao6RMH(2R9GatIKyeU>q4xf{mNPW;HG2T<;L_=oYqpF$(Qw;hXj+WUbrp$ zT}{J;sVkY}`!-+6V&AKaE(ij4%A7qShl%}#e z5R?vlx};>mwbuetste>rTIXU-Iog-r$L)>tmND~BZSIc(5BtJf7=<9gOAr3}ET3!< zrMukD*3F%JD~OR*sA;X+JO+ z6T~4?s8n1M=6eDj7iY-lUW!Cnn_$@IqR4d{s&?KC9_Jc;7-5tFUaEP65dn_O7NL9- zfDrN3?m55f{Ju!-SSl;>QMiveC3SE2feRlo;C58I*b-LayjT*TRx0sN?}7xk)uM?} zmMSC4JS}7>ICxt4lAjr?>JG;NRcZ({hk1)0tb)(9vcs}+!LmXwZ$2#t6>Fi^2d-Mh zN+v}bixw8`39p7p-X=zx4pK|O?0Liq8J0=*!jben*0 zuWef4cc5s-TaR%Z5UXQ#5Wr5j90^+iR|ugpV`qeuADRQy5+a%=@~-oy<<82=w=s@h zjNsh=>bs24bV+xMpoUgz2O;fmdB*;FhY%UQ-|ZVq7)#t}=>WXyfXq?;R^_|-Rt%Y^ zOGh8O=R5l{J-%Jr?#@HcvrI>2-U2w@yIMYv=vFR={7ZhZH{|8+MjF8MN%~83=lz>G zKjcUKtJwu0C*$I`H?N+xt0~%wh;MC6;m(eh`ct2;#e=SIP}$)=-y5f% zT)Evz{T=?2_Kv_CV?Iq;syp0)56uz2!7EKG;S|g$iqPaUmh+@M4bQwbp-?H4W(IBL z{G7vSW8;ie&SqETq0GH$eH{&hg&$*fI>kF+iEK)IG}v?|7UZ$LuRovd77K5ihuryc z2Em_-D1Rcjy$;i*r>ws0%cAX>^rRJ_$AtA~?wX05y&5hcfCx4bNrKo9E&QeMcy?d@ zy&x1ppPAr%Dx~4DtLt!(r)dxVy-z$7vc*OErhpNT)@17?hc&ENqLazULF;S&d^8*Y zkLcQeoJYtDXEx(~C>=CLE?&Bclg-p+DYSsLCD|Gqv13+#ulYc)57v+*(!XT{Ywcmg zx`?c{&s!C)=x_W0(FM(`w93EMvEjFtp#7K>5HEXMqfi*2)H*Sy;N`~rQ<=HJoPxwm z0oAFdsQN+YobvGC;4oOrwo_4|2um4IR2p^d?l>}Hn76b>EY}6|tQ{uPk}4~gDl5LI zt*=KPb@cESrc>v!eWbs3KI86vGXPVIS93ga)~N3 zk*;o(ga=weYIUK`6>=bX`U)bWu1_=iX^j(N;W#%>W+6&!sBUV@jr%Xrl-LNMXIZa> ze(dS#T+oA%{7)Cl!_pDX&=iJgX=!>omCCY_UY}+eM}4|bP*9{;CPy|5c{uO$9*pul zxTUvm@Mc}D1NmaJM})mw*0Z(e`h~66x8JOP1K(W|UT8N0*eMc3B=7>T=rpL+k&FJ5 zlyAc6BUH3dL&J@WsHt@$x&0HMh@h)gqpZNPgl(mwoG{gg(G(pUI`$z*p}456(YO>( zhC#%Fb}5kma1>c!{8b+O3&J03caEMGwV5P#QM8>T)MlMWG6h!!xh|*K+`_JUNVO$H|YE}Aq0fCD*}lowg96)^q%XV1Kauj-XXuEI0`(ntv;@A^-*40~5Ls zyAh{4=!#*N{3I;aln)b<^PN)U1Pp!?6YPV#CdG-uOD3B@L&MB@Hp_EwjjZ+UVq|AG z&5y}i_C#|ZLoNUy|H(XO6Gq56<_kA@699nBg{SBa0g-~j7CWmyI}HLqAtu{2lVqp zk@+@mBMo3eZ>w>6jx4q6kbf2b!c1f4k%R0`pYXZzBufD|Zu@bs2dIogreG+{;T$V% z!l7dB0DOq-U6?KOhs*Z+bPoYyq#B*xWE!vexZMt}kWI1P{ z3@*AE4Yh#eFi?-hAIfsJ2!I-TdX~cQIDW!`N|hd~o=s{W|M5p%_xMy#$&BWK5G@MU+a}fmM)zx5EVfxIX93M=6908K_4Y@<^sq()Jf)Zb>n+3F^ zpAIgzQTP{C<2(KX89E_zZinYEc(y1m72o3c?VKx&ba=U4P@X;VTpsJ%0T$zRSt<{x z5h4H?zzz{8PK=``Ul`3Df|5|K)}hL`+P8VFv)C-k`}5>D$$j78K`cqH+~iP+&v4PE zg#}&g=>r66@YBv4L{|cJ zJz?Xj6{`;Dr?tCB|Ka@At)Vl$b294*MRPPw-Pjba^H>L?yi@12rNoV7U}z0Z8IcUZ zA=NJT^WYrh(tnHI_f_zuECYV9jACr8jskmj4$2}@C)!%q$Kgte0#;ONX*dn)^fo}< z>nL=-&D!m`epxWQ{6fgXp0GCa&CZwxc|?Dat!~aRrzYyUrOT4nA3IlAgJ)s#==U^# z@bkc?ZLabTBlCU#V3fk_IY*;OvP%Yi*2Fw6|FG;4zhLw?4zS&~NObwe&UrT-``z_C zb7>6w@Ol=EO)rRL|K9>eH6R`*tQ|njYd!BXCdvCsUsACe<~Cd$sprW${Vi+fhvON? zL_sC-w@8pnfL}xma;Yd^EUjCGIwv)cYFdVpBIccd`RU`2Z4|vdGac~DRx`Cic67RE zuOPJ=nF<0pxaD-t;1dA$p#t!Y7v%h#@bctdh`AMEUzqmZQlW z7qL(pFR5pBws6d)da__M0Ygp9v+RjaKgN&!FD5sI(9TO@wq~@e?6YLa(okH0R$$ud z?<03b(aKK(j_bHDAJ6(M<`ZfH2M>yl?g6_}!cEf= zCim>!8{oBj$;fcj5WIAaA_Cy7-cB7OT8xbTr_-Oc{k-G$D{f=xW~+uzYg2N)q;^M| z;G6d|kjo{X_a`SqDRZmD)gIi_O(TjsUUh=Vgy2_K?t%2#KtrG1f_@3zgu?IXSzD~L zFyr)8ic4gDDsSol_g;8*Wm}gL)wJ}4w}HW3s7iWzVJE-~-q~O zHc-k8z9%)V!Z16AYH^Xf`ooYMQzi@Alr%8e20pQl!^_oPSJsDbcV;Hb#DjrFQU33t zx~UCE4U1LmLTQ=<5{!8<*3aiHujyVq%7Z(p%i?F3JZ=_kNsHA}yIzUAGx<|rP)p-m zAbp%n4&TSj`y9{`_yj->lbw(a)R)T>q|#5#he^WO+kJ(8FWw8s{2a!kvc(q=bf453mFSNs| zf5U$;CU>*H;cEtqaWDzn!*=j$7(6j-Tw4EDMqrxWih#<12jB~A2X2*ZSFloOh55ZD z2IcxEP3IG23-u2N@@qYuvK}@3d*rx}j*6kjJ#T(-U&hQx)0O)go?cgu#l;CF$ln5r zFvOXA*wpvlaZj0Nx$J_AwpNe7`z&g4zZ&KS_Ur%6J2CS7&X(V4^hKHehSickY=*aV zviQH)zh%ZG8aQl5a40XBs{7FE0GBzG^G!6CM6gr zEwoog9~wAD%WW|D0R#jGZ^m*MxCBBCrMaMMM1T?^yle(_IJh_f&ma6w?N!BFQ)ZGU zg0oygO^+rv$PGENY%VsaPX#q>uROd0YE*kC>HEiT`dviy@)Yb`ncw9>+~`zNMRG-T zT&RkF#>r?fD>@^vqdg#Hp07<*Cp`n)Gvx3|VvmnH6kiwy9 zCG?G<3~kgkp)vmekV;Unomnwwrb#KF;2AT~Rg#;r$1ybM-Vorjl~R0Ae_3dTRD_yA z$u(sxaGv;5AV@=c(?jNku!f5l6dHmX{c=IAKxb8yq>!aF5mU9LoKX#O9>^_cMCbH^ z7J!$pF_FB{Tb9OOD}0Ii$;mh5K}m#qY4#197A3R2%W_gHDx4fioePxH^GIR zgPyQJq%zq$hv>vdsOC-NLEM4k{@53thtu^=^1yEelZ;d%{uDa6JGrLAUc*(c3o^tA zLI=;uE+i*TuH6awf&4Qi2+pxI%AK^K{seliIb=1AySK{1JT}bKya+cPCLe*p6wwqD zJ-hWMkd~hkP=~)n-B|r+U?=>kwxWsfhg>c816j{68%1P6RWSIihF}&I6quh=njxe+ z1YqF^ZSV%6xy8|8;HZ+AgkYpSD#am?y>1ERn2a-Fjo{>nLNF|LBxgqmc5Vs%{qWro z>`)6=R86n}e&T;4in@Nqfg?}-h*E(jJAL86AyhzOxJA3j=Su@TJo z2eDgJ2Hvcfos$i0Mv`B*R^<1H*vCVcLmZ%C^C{~v zPZA?;Ok}7U(n>_hRXD{Fq=1O9P%FVih(9Ps$6=dOB+yEl8_C*>qP*2&l!i~kf}+!~ zhd&N8?rzpK4X@&)_H|#6-sa=ljt6Fq5BF~m8uJM?Gj}WY?`+$QugD=^6G22Ce(K!; zU4ZH1zC#mlHiGZ_ihRZH1)T48!ilNw&kn%d^;WU;;rW||XBc16bY_&y>~qRSX7^!L ziOy95iO^eO!T5*=_sgmAa0uyvW_s7-HewCx-KULt$}Wg?wdKzdLu9cs1Q+V zabtPt3jJmX~{a{c7Gp`(LqjkU7s|g9!OcgX7F&jFDPDj+|Vjfa9iIVrjFcq zyY9Pi7s_AA2$;q3-7WfY6@W2NbfT@3Y|?(=2h%tHz?Qd>@goMD8ZdGP4hrp#L7>}i z5w7ZY$f4ciC8|bI+Kl;dy3m!Hmi#%ia}>CLg6&kWE|^N?4lHG~-^0q76QMJ*++emG zCGw{m@Ol*^S(k|*uhedp{CA*ds)=BDKl?37d6f&(vD3uFF&&vPu=;S)xAk(co3m=d zelE09z=rvl0Ky3c0opYW_fVOZ-IJ?*NN^S##rPLB-TUoieT?=Mq@Xk$($j>F>#NTA zdOQ(@NCs*W{`hr|muKeV=q^2V8ptnjNgUEEF5mN0?D+}fP(1ikM_l+Uv-MXj@eMcZ zo<599jtgGwfGQvK7~1UKa1kkbHfnWrmNXM!Sl}mztXY~E(ufeXj%&@Abc0^`3XkNQPwGZdM$Swmu zRYXPVGlbXX|ITTv<-@5+g~K)6nt@Va(bfcaI;@}`ty(wPdD=mv5%h=~MMYAxNX-Z= zX5{~C)gcj_vQTkUNYPZmD^taNKFKta!pD1$Em&bc4}i8?te68cT-3scgKvTpVvht~ zc$q{pdCM%9A()@ol_K)bn*9%P+kfFE5%GveA+qZd!{MK``X6ECojA?f=F*bwM;PHE zsU+9vtfJBJXtZL0O_B0_`lNoO52*OS=P*)4`N!CK(<~o==Pd0mpy`j1&N2}DQEKBrnQ1aZd!)F? zn?3B8p1O0ul3{(vKr?2;u|XG4)Ban1C7`+39f81b@bc&_{j&Y+(d%sU$oHP;?MPs} z&JE!;^(pLf9jV*0@yx!fJKq}CEY-QcY59aF9_6c1&lp%cyF~CNA9vmFyG{N?U)ODv zGxJO^yxivyN2C|t%|>v>u-xJl>Ob{Vy0x=@qiD*#z_7VYU>1o?)?h5%b$ILW7jR$d zYrDi}O;IpuCJo!|cFh?GvcstDRwXzqJtt`CHWFZ@{fKxQf38H@mzU5g=I^ScxZ7Mv z2!C3Dxx_0R7_IT$ha)Jm?-ME8>GI{z8J-T>j}XlFM6$+tWU+o+)zv(0uds7)tQraJ zT=dq#u8`A`LAlASaKl#iUJ!oL16+Z%&XXvd%`ygN%A^~a07*p5KK_{U5k@xAc#Bb0 z%)cZ!F4dC>tax+%>lsWG#BmVBQz~olQGNAiHLTUWN&wDk4r4_-VAHwA_Xh&cPhWi9 z)Rbczb(A6_fVHhg3AP06#dvo*l%;8!{JOcriP|_0jANz0&X`6^C7l8-0AokReFf@A-9+pBzsod_2Yt))ECZGE4ItnUK&bp}ugAA* z0jph3mz_j?b8ULFmBNM%lO;A7!ei6&rh_TBfEhC*XWKGnBI{?Z!=5*(7Splm)R zD*`RANnYhOZk%&dHPM_^2Gwgvl?53RwBl&!o?t1{U7fs;3f!IYcJ~n?qx(nZaR@?- zv_m-9md)x6qfU+ik!xCi>t202ZrlG{?FY-hPY<$Bp3B^##^6kN2qtJnS@9b=*_BkZ z^F}PpMA*M%rE5_$3yDvZL$k9>b0|<--BBD!fTAQ)a7s_c0*PsSgu|8+>g17Vn)gBJCF7k zHy*=}9*MIOEMmNAl8kl-Hk(-HR+qhUTCor}z6;cXX&W}N4~4og?;Qolq_b7kRar#O z5vdq)(zIOx#iApk@K3Qq!vNRn@%3{u24{`tMW$t${JZ8A{HB!Q6H5Ml_A-l%j9MEk&rDX zH}C9>P<`dC`ixsj7Pm}@w=51ps^&L?_VK)1d85DsKHvn;obD1oD2Vq-AFwECxecWN-=^q!V}Pt`1mH zac8vp$W)(q{a`>c?!(C-I3{Xl#H42F)5}Eif{={X)D^LQhSl!btRKM!V&Bo+YoZNg z&B;=PLxPTdJn_mx(g&~ROcg6ip)kdj`Ne4RyHQf3CSU?L2wrlW)h?&i5(l$(B(@`f zc?Ht`87UaBditY6-yy>CBCMn_!p=CJSY2fuGo=9xBARYEzKX=Xdqq{Yb5t{n0yEbz z7~UwPpYm}Ul%V%4GIp|kRbj~B-8`pdRt&=ecf#w&kt#m;sDK*`kY=8|LMd~2sC2*X zO2X7$N<-#wE0SS*_mXQXHHi!Z{-QY`qSt2D75CmuC=U0W;LDb@mH=rW*#-*PvXHx- zHErrCeh`(b9lp#yr@!zJ8VQHQT7eB^fi^+*Eh-i*Lzh2NOA+izm9Fa0lHlgltOr-z z)4Q93l&saz6vJsJ|i!Q|j9~_n^Op4D}R1pCJfl zo1ipr@2uVkzPpk*+QLq!$cYB)NU@ehvzEp4PmmrXSK{}2m_xm|MQTBm0~JOQn=slW z8%0rNc)hqrGtR95G@5Ni^pNVv1lvgxDh)TmAEn9CcHCIQLEKvufoxn|!AU6eOrzXH znj9CAp-A3=ZnR1(CjwWOvnvBJ4d$G3;|_kIUJP{doPn=mfS@1@8NDILGzBB-k(bmR!r1JV& zES7eC=<@Yt$1^e|A-h=}r9pl*j&w%nV6BZJMtN&j7bf3rVWfDW8(v3vme0OZ>%C|q1_A)k>nR1%=}m8-*}XLz zIQ>FPqEE-!J*Of`=fw0+6lKq?o;>&cYc$45=p`zhl1>DjTtftG7WZ0{@E4Uk1Y7>r z0usHYa+U$P_JhXW7>#v_bf>#@F{+KQm{nr>NC2U5z^DIIT$ghBiDvmq$Iqe4Un+H4 z)+%gKZz!(;8hs)x(w`3HRqDpbSo0Av>k#zzqs|Cv9&~l_SRF!IUmuT`>lq!fq}rP_ zIv?;l8o&O^(pJSY@E^EJx{md;{ItthO$X-y1oW?shLk$PV2{X--mimqc91UM*UErc z*lQ%?wu3UAu&i8EFR^OYtiso2{q?Ix6K3{WM#ek3yn2YbrwaXyb#x6kDg>CE!e{L3 ziu4e$NpKh=3ZkW}$_o;+~?~`d-~>*n}c#I#0(t*%3J>a`L`*UJ}5ST z*~&`&fWM2?x;^cS)xBo^90+t*`Ob{G#PFNI-&mqP^E<Xs4sn?|Q+j#};i z`5B*+<7cBCkcc#Emmd~2oQ&+!wY??7d1?7ODq-bGEs=dvE={BIF&9 zU3tQ~4L&fpgdMvGgO6=vBU(%ZjST{%z4B9tD1p-|e4Oy!ti1C!q_|89f`OZq!5)G@ zZ~iJqx7?$W0o?Nc;Iim|%r$=xAIw-k4Zb?^<3P9N%+`QJ(CV?QVTSeoxvUTOhg!z` z?y{R6;GeW5W)UIM?2Uy#n^fPo0SfcDa%$h$e?Me%&U3C|Tj<7ZUrx@9o7{kOUAA;g zd2_g|zRTyl?R=qkjAEh-uPpgb2X{#k0|&#yIjjsRbvGx@OK1Ga=6FxG)(;PUS{5K^ zmTLhJ$VaOzi~@44r!rf9!Gvj*xRn&jOF!;pR;M`moe0`=1Nx))guVOusB|+Lr#X)g z+=;`%AKLn8m$GwntLiT_WMq6pW6F3Dk;Bv>kOX< zl+3?+xPSGW@eF_I!XR8ml6?uH0CI-2nk~iF*)s;va;dX|1{PD_ejBlVu(y^=)BNI; zxr-U5r{idC&yMRU<5VMM?fT-Zwmvjr$NSFvV50^C=iWU&o@q;^_T|Se+>s>H2WD4Y z!bWwLY%A!cdm(|sR5abhefl)&aVo|}likVuXs*5RFK0;`+$}$gbCwVyt1%!8Y9U{t zp5qVLJsK~5*?W`#oipaLz{&ZVnl%4Dx^>8OFb}hLN|{*TPkXrd1ynY7KiW0^wl6wd zAIRIpxh}f*vf0?OuYD*2Q4JYfX4W{DXE0`iivf@TLGsO-r|T64CeODwAA$qd?4a>g zO)akJ+CB9IAB(c(%s;q}Rv%IV1Jkb-E@&KVr5ZJS>Lusw(~Cqql4=QQa`#T?f=Y2BOY;m31=Mu zV*szsr=cg=%k^U?!v>*aWb^jSr`3zu-Cf-pm3pd`P4ZoD6B&W;pF5`wBj3E<_b-K@ zjQ-0uQ@H>(U3{#s-)K_LgNUL-`ayGVpwI zC|@oAV;PZu-`R3-cj<}vSkgvv$_GMsEb__PIA8XkEg`E?%hMqf|o zB(9sLPImHJ%kZF;1g!KyZmKUpZsk$35~^c-RsytES%X2+`uRljuOp|^w4Tq~<9m^O zjABS(q)$I`&j7lE3y*`w#7XS{7E{QD6n8w?{V3 zBIh2uu42TOMbolLq-X>7SF~f&9zTq;w%lZU@4g}07d=uh|m*T_)L1D67D{qH|9t_58cC0E>$ z+vBnB^nh)-^sxGC3nmNW|0v75Qb`gm=D5--h&YCEll=;JIJ}>Afb}G$^ZQzG)BlKP z`@VqhIFIid4ULZO7X2T!y(`kxKxk%EBrBZy4J+}02Iit69l67hhhPo))>4;?aDG3A zHvn6CA6hUH&l`aP(wl0{aC}E>qOXIVOL}#&zEx((D<;hi_aD08n4FJ6 z43>tNf0g#&;S1`uIn{(F-u-}*)^OU33{}ynFIHT?zkkfMCi(uQf@Yl7>Iz7X>mtH% z2Bp#*7kLDY7rl#(PUNA5ux73=u+@i;gif3tDDy?%&jn%U$@QgTJ`Ka3j#GOS42RqY!&0bZ9d^G*3LFR zS4dH=3tz8(J6x;B8`-_*TjQ)LschCQKS542H+OB{D>8o?W_iN_cep0{u?V~ou1$!A jhiP6A5i~aSZ%Oc{|6pg(6oQk$b8_**Q&CAOOTqsiIGILE