From e2f53f8d8ea5aa31a01d615a300aa67a7cf95e92 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20Veli=C4=8Dka?= Date: Mon, 17 Feb 2025 12:55:22 +0100 Subject: [PATCH] pridana informace o deleni na prednasky --- nahodne-jevy.tex | 2 ++ skripta.pdf | Bin 58104 -> 58605 bytes 2 files changed, 2 insertions(+) diff --git a/nahodne-jevy.tex b/nahodne-jevy.tex index 79591e7..d6a73e2 100644 --- a/nahodne-jevy.tex +++ b/nahodne-jevy.tex @@ -79,3 +79,5 @@ Přímo z této definice již můžeme odvodit pár základních vlastností pra Případ klesající $A_n$ se dokáže analogicky, stačí uvažovat $C_n = A_n^C$. \end{proof} \end{theorem} + +\hfill \textit{konec 1. přednášky (17.2.2025)} diff --git a/skripta.pdf b/skripta.pdf index 4f89a4d422dbda673fd57c27dd4c50b8cbc1e16c..efd754e080cb3920a7293e77b85f6fe650ceed7d 100644 GIT binary patch delta 13784 zcmai)Q*b2=u&ra;6FZsMw(VqM+jg>JPi)(^ZQIzf%?a;+?$fzX_kBIAs;=tl^{svz z0l%IAuQx;kaB&L=z`3|On;F@`d2U|gPsNh8-RIWDCr#0TEmR-yuEO2nHUwtddOCD* zdzx1p26}?#J$zIgRAud4Y1l}xHYITlXlG(&(XD=n-}vthC@lUMojRTpNA&+}?R-hh zeT)D2ulM-$eY}6v7a7oL_xJ!dxoPq9Rl0h__p4h0*00~+L&7qbafJU=Wvqbhl9B*R z`5z^j?&G;b!M&g06L8*KrNBE4+~Q};!mKz>A_`y@-{N0MFc>Rv`g93@Rj7aW#Pn=D z$X?TJJCWHi513xQt+Ap553j2$WEgnR>IQIAf!Hl{G8hxOfo_Wz;o#mFB{T((Zu?CaU4trc zlhD3%QSE0}9Sz35M+J<5qnjlKxF3|&2cHZ;)%;q<({;i>L@P?~%-ywT0zT8!CogYO zDbu;hvQH&RzT{uOWaStKr9ydCJJK|3$k`-b!K{&*XF~ObNm>T8) zhB@Pa8GgIkzKk`Jm+K#azL;P4IYus#=@90-M+@uIy9tQCp%=+d(%J)5A;gB6J;Ltz zb3QQ;Ltt7#p+=-(6XX~1G&NXggTEyH;8-eXQU+ZS_wDHFI|o5wD(m&uD0fkm?vd{( zLs7cSm2~wluMDGP1D$R#tBfhSmnP)_m@9jGRH{(ceCuFZOo~OX0U9`L66)7(YVprx zO`-#YsA5LOI#tmUjGO8b5|aAKcUPAO27tJ~xgLQ5#eGo3h%;xa&G1bXJEh8r`J)Ts zOCOLQsEuDRI@i#dSj;>ra-I9n~|5entNzrR{5M#I9nb<8VDXDlWZtQDjIROxQp za?6DmeKijmFv;R^-=!Jr)Bn;~a*LEx(hJ%zEui%i3%5C;3daRZKz9CD5Q$^k??F58-_Y z4)3}WAW%4_k<*)47+j3Wq!o;S*-JYXe#!~QsdD~dY88p0&R}Po7lcIUib4wJ>(i}o ziDDR;*p$KSaPI&VuxfTRLNSsyxdJeX$sEjq-*tYO(yG<@A&^C+5B9y6wNlDp%$+34 zgorsx7@bn0^vMHCa)Xk_UkvT%mr2(?Jg5#n#-7?>3iNXl5(xVF4HDP@iO=JNm~{EG zE&==BrlQBwV4|&siWgfnaL{;5-Th~o>GQ%Vx+*qb+$BtgW(C(>45ZSBI%?&8Y|`t4 zsJ$tmRRx{2XwO*Lx` zod?chlR@q?G=BlmFeHS<>S-Z|7eWt{t{P#k#2|5yhy`qT7r~-^XyK#xqT*Q3&l~G* z`g10N*eysGBBTIal*eVPGr;C^A(obQ4~@~ECfA%PKHSoR0IPLa-!9-)u{`h>$9X2uP-!E;qfirIcV36 zZZM&5nV_Akc;aZ#XN@cpYi})?O^R0XE=NSr8aCOss_;77s(F`{X3%@*aK3#osp`qy z67-Xf^G9n600&T-DrXXB+B>rRWo`BL%IkVmy1F*X&DB9>>YeY0#_IXa6g0dvki@*| z0`x0-S7iavP^XkMTV@Cks&Z>K(x};2^Dn~K!rd;7>v1EiE)h~fZP-{zihma_9BDeG zk~%$Qd>WPGrwjuW;1eIo#N&nkWw5kxxuP7w#p5sQFJDzOYuQ{@CcAiv)dD;?FN6bF z6#8uQyEDmI=Q7E=NQ3Q}abyz4PFilv$Dekpn`Z#{YSXu_WZH>bND2x&(r0g!J}5kn z?!?@4U;IUl_MC)o?(n~Rb11{Mo&&|9+n5A?72VwbXuRI39-b@rx!(JSngIm- zy9wuXmHv@9QRoPPV$5orwf*tJSlf`MKupRDBV^Z5qijK5;gIgZf5K5g1KG?L&Veg` z{$*7pztU(y1!JX;8yp6#vQgwR&6?H9ileBGvZ_e&)8A*D}XQT-j!7^31Ob zP34n^^>+U5+IVBgES27Ks~M-5&&$O9h%#^qA%nSaMi&o$g9F zI`oUktwez~!>DYT&HcNUM>}!B7rnlo!>#g^*_uqSPbb>qO1$%G6@Q!f>w|hDECcx| z9f#G!T3F&~q4yrEBy>svHowcma)2vaulJ~dhNo|K#HtxKup;GyC~(IH>58NDv&>3} zDzc%OLnPr9lpQghkk(o4Uo+rRg>tTxIX9c0)%0QT?R>MUnTBY+{<`Y4GR+(#5lwb3*pXWB-_2_S*o^&v_ZQx~(wMxMD*my;+iWco@^d)L` z_5mwst=Bhfnkpc(5LSRwLnoT~-*{hU38kA!$q;>OV}-h}z7_i7JO+UFySscn#igly zQ;r8yj?aT#V6r+h`Pix8Ln*07L$RZ#ui8%5ZbRe8^w~KmsX8et@@`ay&(Ov0K-_W| zC9_A*xzo61rH8*oIcSlbk;cW18j(4Tqa9qj&9~FN4j#pNj>J{AW=h0rGe-u%yfHxwG z!W&4DC`SX(!l}!j#2-SX(_7uVeI@q=*P4=>mB5u5jg#J_Zv-$iXGX2C2ouHa+a@VI z54ELaHaO+n=0O_2ZnPyhZ;T6>ky$CaJBYTRgohhS>UsMdO8QiBTS!w+zZQeH*@9uJ z%3g&)(Mcw=kTycECX+; zA2EJydfAkm&)f6yiIHd*3htqMF#=5dIOWH~pr&6wMcl!kpY0vqJx3Q(yW8?;It04c zv=hB)JSn+of;~vgugTTA;V?Iemnf<~utCI_g**VNADJ(VXsS9M2o??JffiU46+#mnl`A{&UI}q$PN82>bSXz`j z+tOyq-J$EIGf6N(KTe;ePcX@>%7-v=f1e`qkM8@+@tFM! z_s>x@?B`YQp1=37jQv|h+Ms`12$@i(d$jTkSdiKUXgD6DjTxCys|ZhB>TeBg)Ff*q z3m@r&4dx+ick63;pW+xC4XziA)!5Mcd=OB8s1Kd3XZL%pMT&7*-ANfO^yDZCXPiz1 zuZIzdbOgJ^!-KDMS&~xyurChxKYv$;3%ec{%q(LMzTEWDJ58LNyN7>-=ZjIm|wCR5M|Oy?#g0`E+2&FPp*zGpU1%^p#(i@=}?fz_H7WYEAd`dGF4P zhyL8_?zVNk2z^@{k!;1ZwU!71hLRku+=0JhDi#DJyN4rwE?e|hC?`{Hn- z_trMkM)uZs3i4uK=GDl6o$%CC3wrs%!w7KxGOkK@s)gp2LXIK>k#0<#@CoT8i0Vwi zLBVLbHKe34#a%*5rTY1D!WlspG+c3!?&DR=KJt(E5WSYJb;{zZg0mAgg!t7HdbQ`F zciE(nWmep~8U4Qa`tT*xihrI=hqkr}Z(Cgjc`a&p>u80tq^DZ02Y^>|53@_%W(&81 zd&GBxO{)wJ!2m7}w*Nikl?+%-Rg2Cs#fZrA2)NPd-udqzkeJXD5d?zyuu zIX*t8`kuKcB1orSyRSdrdwZ{;fpVE404AImEnfW{is=Y+K7vNyDr$zDG@zdo6?dL* z_8mC6kW{v?v)_0g(*$Hv|Bl`CTius$IfehUK%cb9!g9Z_#%7*`RvZ~jaQeRAr}1ie z-X7Td#^>B8mY2cXvIFzMWiV5G#W;c~5)08kgaVu-9MvE1KE%kux8j;eX)shpKyn`o z7rE&QrIEQm79)lFu--4UhiR7EL+zVU!<*K2h+d`anNz1jh{$cbf$cxR9lW8&@9Kn{ zQq;gvs*=$XDwoiS?eSv2?d+@KYFm4mR3<7`A1fwKmXx#^O!%fZ-FFKO6>k+?cNJ1j z$@ui-5zG=wC(hdqf(buyY7{3Az#Up5#D?_t@l?n5RWZ4JrBrf<{Ro`0f=oRVt(iE> zSMC+&Il9B7{(g`BKUyPRvb5Xv&fl)5H}i(dxe-}((+8B4kq4gV8v}qWVBdGIYI+K4 zTI{^RV*=#3$kA`pUyb;%5*oy`3GCzAN8(2mreqH+4{(i;8?oI{V#HnXfE_9FMrbd@ zjqqX8dnwXE(M1%2#6Xw?Idbd?(Fau62UHOf16EQT69G^GJ|gBM1%WTjpb*a~CRk?X zR91y|ki0d&$_$ruY$|@90mT=tFqtP>xb$(4%4inY>E1)sUNyDnD0m8bFZ z+c$@oA76>ZX)D&bIkee#04Xtrqc?E;YNYAbrB=ZGtU++jD!a?-X2wgj+|M?*Z&;qe zgVo<9RJwCtBvwyiT()HsA97tUyDd1JfHaeqUaX}AvJVVTYg9(WLF5unPNg@yY&j^9 z&!3&BD1BMY`d5qTv(nk$+9Efq_q(syn{9>auG$6FP+p(OIaKNv0C(I_T2Chf8ZR~P z7SC0nYPRIv<6qICul0q|9;XnET4msOP6+h(G@=iGjPjG{$(c6w(e@@w^8{2r;L*ne z5UY>eC&moo7O6)~@*q$m!G~RA>^v9B{(#bO#5xalF@gdEV zr+ZB6YtT3fvAp9706*V<(Wn*Sj-X(+*Xp1!MppjHrC4hq^$*0Fk~fD*a~i5^HpU>B zfbI?Lqxav2XuDtvTP{tyZwM$=A0+FZc_MRt+T&O~x{-9Zt^l%b@HJhIumhD+)*!K} zY>PHKOk#sf3z{7vO#^z$*t2tmww_!-K67@7y6j=n{AsK$z#m&7NEMiL2P-s_-|E;X zVY!Oc)Bj?M7@KYXExP3N>AdzI^*q5@9{#hh3`d$O1Wyq9JcD?X zi{7xaRgr-K2-g;(hvn&d7UlX_y{!xoe6~2CrT(M=X(Sef`4#A4xGEmoRj)9vI3>k< zL}z(%*W4C_3}obb4s8)Z!I_mkEsL%kp(n`YKqlDDt4MR+&#l9GdX}TaAUJHs=DbI5 zRDt~Tw$ig}8L|WuXB4v&Ob6=7$SQS*ztomz}biegD45!z7soe-Mq4R}@RuAz_V4>yh)K8SffEaZK~FMTE+p zu^ArlpwyyKq8tEAZ`!%TEyS-FNZ)1}4mc6U3_t6|OIt9})iac7cN+=V%h{HxBe8rpzmaFRsl=VW;2i8HEalQq1tOE7=5=jY2rH)7BdzVfZzjqt=!*rj^u~E1+E5hbef%SyA62Q4gCt3_@u?**UiJ7Q^PyJF~fXs~kuS%7V$(7F_5jC^l z4VhJwHAsdn8*~=T7W5?N!*fxI6(s;Vb<`Stwl)bX4|T4KnS4A3BdZyW!I&1^+H!x* zFppWTIRNc2nuuyKSVrS?394poYh~lYuBlzWjpFN&G}&1l>CQ)6ajAK6u*W`-3@!-{ zw`*+Cx)}{DWj#vQ4U-)S947!z&fXH0>SJj=gCP--q??^ywIxQJr|omj)~e^D;AwW|Ow_UiMBr^{amO zLS#?QT26nqD3zwfeNe4n=??%`xU1&;8|K83T6_a7kPmrIGYNl~MnOe-*wR?^vqEum zKS=^*+>TO}+fDoiK|nAkPc_Gw4A+ z(_A?1CPhar^;bY^+wJn=FCGIARK#B>fC0*`e(!_uh}dWbg; z&W$sOhvKmp_=Vt0^DzG;_u$(RK6b{lZ(=G==&Z%ltM!2?u_ekL}oUejHp(^dtai?c_^mVMG0wRo&wq zy0g9wT`DP-8ODJZECsKX3+`IhtR2`|b}c$#btH-u<;4%0TV{!}Ws0?$F?}U{T|+xv zK60)1yeuXajGtG|?cIK0Le)A-Lmjm$!+i4oR(TYW^TM8u(9Lkr#64tE8{rD$Dk01i zE$B~hG@taDH4@;1Lk(%y^M?p`RIFX!`*+_c`ON&#Keo?{N(Uv=g^@oF0~zt6tlQ|s z&1vXaO%X&;q>vwluO^WbxtBxo@f$Bt{=FZbHjM6t6qNX{Wd%l1{7JcPPLn0g*W>FH zkUV;@xh6_yG|El8rK~~W!)EF@m~b_%<72$SA03Kouzx*93B5mBlJPq*{R~u)X%f-2* zAttm@zt1~jkKfmY{>!*1fu26|# z`1gxuGo4wo-uY~%x`X~))zMdMKK>5ZnIZ8UF? z7+fJ(*zxx_%DjZsttO)DX3ZNj&cH>ze*3=@4WeK#`1A)2fM-TWG8mr6M9vH6o*l&yy2+vpT~0T~rJ2l5sSMtE;3}Q$0{w z6_YCC3)`YlCB1clCt^2sSUHbhR$RKax@rVTc;*2C72BUt1}rY9q6hD7g&UNbcl(HN z&+;N{PtzD;^M*^Ire;d<4{7u7!|&3MF>Yj)3wYyHz(p^Vzl5m%csXw$Id9)}o`UgD?||M3T}HZa z-`K3}oPxoV7sHG?>Q;IfTtOJP$NGK>cw1~mo>o}NVpS`+!FG0q^Mvc6DFP})D%8r| zaD%~6Ru4#%$FSjs;nE&Y#`1i3{rCW?1<7z_t6-?Sju5}8$(+xZSAg`kYZ2yp{#x_9 zOxaYv{Is~yQPzHn!N}z_omKPJ(k+&Glyrc{`+DBy28d74_XTDBrgkIlp4U>hrdG`N zj{QN8bW?8M8@wxOwZON7VF0}jlTqP{W`vF^n%#MNv0Tv#aL8lt`jyMi=&mP@Q3wf+ zO7Lg&QEgtE#ye{rpV#vd=IPQY)h*TYkH~A50{C>vXrhW*{AW^5iHhpfF&-2C`zz6u zt|-0!v#t_X#B9t|?A9gTd-lBzrIRypS*B0^K$@GrU^Een=>B&`%KQHFS{ehF)(3`NUHnG@JYh+oW_t{V$4 zkJm)(`U5p?r83w&*(Z^R3MD}pd(Nd}o1YbFtSjM-B^e`;Zw2$BcrS%j5)cmAH$Qmimc+8ljE1OVW z9NMI)RYw6lER?&Fs}0(UmsctJ{4y}?QVL2`_bP~1>5U;+M2KQT?~Qc){`R&pDP?QF zs~Vh>X3zWgEsl8o96WeB5g)60-nE~yL=m76xDC9Z6#lU%B?A)uvu9P}gpw)HQZ$du zxh=U&fv1Io!O01k-I6TZ0*mf-|9F_xv#JPxqn=ld7(p+@%LX;wm5JW9kDyXvi zPWT)K?B$Z2;X?W=2o#-shC$HfX#H@eaE+pkqYn=L_^{(Vu&JqmSlcazrBh!CImJcJ zpVRYfo6tDaN&qh52>ubzt7Vq2_q64`o}>{0?zbdv>*IBuJ$?F}BAo(t2gyZySPH+& z)v6ej1Is_byEWx>EgK^5qheHwa8xH@YS7v=FL8CWfyV8QHya6uw_8eeuM3m3>H&II z6q6!!2G$OfLshcy7ys77){hTZqDQrBm(sEv+nyawH~|`$$Bn?uJ13tmJ}BzD(gM{ z7$TjIXn?^^z!-1cA!p~Fqle*_-mfjr5EZ?KDMDLOhtt8GgMd9tZEGelX@J;b;4;EqBMW1hC4!9V$X6WT>+biw zSPx}v5SZY1!)y@PsXq+kXS|3n9x!rBH?u-e}|KHcwoMM9BY(j7r+v%Nc0keMWx?=-K*$X&kAByxZFY*6%m zZosJ|w8EKe=C_t6x|m}f=6fqtjES%T^3!zz-p_x{FoZx;Zt*MM<}>4I)O0xPLGWcw zN+R8S(XpqPo{vYUq`2k4K<;*JlZ9g5zge-I_}k!y_x(OV^<*Ef2KcGS$r-Dl*xjxo zn?+*!Ug8)k#J`HyrinW6|JEiY^z`bVF4hghi(;vQJ&ZwzOrMJkEBoNtv#*;P=FG28 zZ|k#DEWeW3Bht&y(xlamB1M;PFtJ@U$s}eQ^rX=tUNWwBYZ<+vsKrunL=*a+d;{RxyIEOD00Icl)o3pj(*!;nhMEmOPE9|4^;kJDLT0cB& z;uDbrIfVR-Xn7|d3UDK3t7ap2^8ebsAS@sxF)}5NIy?7Rso7dt;ctwOVJ*l|N`;*( zhL`(Q%4d!N^p}5;Ff8%Y-68M(2!yx zK`c%c>>dVhj-gVL&Md_oIdDYDRk|=M)9fOJs1joV4l&?~^r-dZfihCq_n4{$b3?)r zhC-O6r7~DV@D6QhwjgLZ#kL6@e$Sqi4PA<;A{Rz8kz<_7`n%m+fjIP=IuRva*yJ}! zh^WsmI?)EScoO1gfDqgcyKB(sB22UJ0W*6NRwO3`l?7ov6bv4ODp&-lpdlvClRDHL z+$=L%Bn){9MGk0=GkLcV5wrHnyMLQN0 z2%-Yc)CeAckgdiNg3p!=LDGPNF_aYc!eVS0>8ExM(nCJEXc;6$Ltb78^G9Bnq&Fyl z5Q@|emM4)AfS*VgC0~jPk(~^8A}V41E*p{>Hu_)+^Dc{@3W~O*E8{t$-$OIoyOTV! z>Z!Xja(>vN-a$>pA1gloF_LB6w=N7t_7qL;%1ghSceUhk=*@(`veIWi z>HQ$d{r>u#-~0LE@%ni?d$~3u?WO;kuaTw+Hq+S;$b8#ssV`GfyLqoO_&L-%PG1cM z{0OASgdN^IADg{?y7TGM#MbW^TJ5yg79G?2{mIPW@>yvwg%}>0rWzr9`;UcZKMB3a zDh8f~P|4lftK{URy488Mb^Xas0j!LCKLabbr6=5FUa+Z9#ky9NsMW+eo-89w&lk|< z7K_LLK_!xk!!mJ!FqlNlrPg67&4XEEQrS=C5lo6Gd`T}|&SpH*>_f&XH@VFnNU{(H ze>R8qpX+m9INYlqXO_H~DtPfe+`M)$E0-8|k!q(ja$=X*>3Ouxxpx<6rV2GIv^Ewf zrz&G(1L$B-Y0bz2v*72GZ3KzH$U?jnJP`5#r*dPa&YQ6lN3H}#8Z%eCc&gPwM(knE z*AsqYrVrtLdvl%Y zJU!bX)u_RuzF54^dcu@ChN&spS+@zVNSq08--I??0~+{jGK3TNfV%x{k~f!qx2B~Z zl^pdE`xA3ZG90-{C;9!m9WkGwiRMzF401mF={%209X3p-m+@jL5x6CL+0vF~m~W6W@~^c7W+?yj!0Q zznz-KL{3Gqi|u4$;Kzuv7c;)?AHWFA6c{$PDeLTPG5+$3>7k>ehQBcY>9X#MHY`_e zati6XAG_`J*z~Y2S}=?gJ8caBX!xk97NUjIrvT6Fx4l7YAGn)C=b z_)*9_d@IFw5clCgGIG#-ExMCj5!dR@OC4)t7vVlb3qxkGhS-8Yx1Rt3khgAkW=%0X%GbDC&YZn>M&TG zMVpxF!k!Lr7K5d|Nee&BT0jrT@B3!sfg-^I9C3s6NIrnZ9E%MD?RFG2o0l6Hi9iL+eH ztFfeo$St|t$WP}esFMTC<;zv&hQ(}-WbZRu*dg1O-^M?d-nz!sg5vMs7qGTG7D}3U zt~7Bq<8%Urj=~)T*9rMc3+Ka6k|i&Uk+U}r)45{Gx}TU+Mu#(`C6XZsA&X=|sEQml ziOI8B{7foxmGP>KAtR&BS6@wG$l3MS;{l~Ai307tvL^Av#1sJj#A5wn$pN!$R+&rj z#MB3or|d;(?Mco?>1HzJWM?PyA-^jN3`w4)LFzy(envYr%2rue^90H$0=eY1sNSUC z7T&o`;qB?;m&tFM(2*?xKok*j%N8XmQCqS3MIn*59uH;mNWK(wMrE<# zeA2@wIs0lc<8Xkq^O9TE zY@*J-F>jSv_MSD-7&y?RR`yUdv1xi?<;D7&k~R3w4xcS4z6Uf`V@38CVC;BRCY2QxLXh2 zLc+r{m$&m}*KYXQer)G&d1J2saw4xWeHD zDceTG;7{;*G3`*0x*Q~4F)XpNAMCq~@`zq4rE4t%5h85a5m{c=z;coC&U%?>u;jWh zP4-&Oc}{1h8^lMxB2DptC)2obbm6+)(t#BJ3UN%4 zE1xKvLhte*!73a6j^Yb7kA=;6vuo5SQ%pK0)fc%(#qtVItda4ekR>c6XJp5f-Q6R& zqY2O_>s1LHc`?);-TdOz`N$LeboF#q(L){`w98HY(^fPPl9}h9wR-&g{ni+D8c?<0 zoa?)_-dWz8oO6&~D-wQK_4f;2>}%*<2by(fJ7&^`2i*}r+|n1nXO?ORPweKNBM0nY zCr-{=-#2FM^DZr3Z$*v4DI#LNB+1{;vaDb6(VyZAkz2zBrxi}U#I!p6Gkd2D5D z9})>Ftcz=zgMfm=Dcd9~k>MyM%44(C;ED{NDA(a{odm_<$gZU$yBXG@|4_vp=E18I zJH5gE1|Y2M+h^xY!XjYhO*y(}zg#Vyg&-Sdp^*|cwcO95RC3e81?uA@>)`a>%MAdk zilL06>Xn1QY)OQepn}q@bQc z$s1qBx%V_HS&pfjpaD1Z2W?bPDE%14+*bJ-s8NHy%|PI*S2^wzI}-g|@nG~i#AreF z%gG>u#+tcST`|fAl>ty&9AynjD*#0crGpZuraY&Ra*T4KW)rRuWfV>w>DS=@UC&+xuCwDzJIbjOAJu1~gYbtV^v2mtTxplB+37R9 zwMbp*q}U3&!#juAW8}_e>120*qv}?g5AUz*$19^V)$kIT)`9p5Hetr={eA?*1{D$4e>{Qb?)#>PJA z3D2g1IsC_VYXt4p4Ij;Ew5>fVg$35acdod|7U|Od%5#2sq8>1~5^g&3t0rLQ{TKiQa!$LwZ?VMeARA8KqMTIi zulWAzhB@arPiqabH_T?`?iOy{?;(s8zJ#Eg(NLI-Hda$8i=09n|LwwBG4JU8VWz!0 zV#reQEk{cxu)ACQRQQe#Phy8Kf}>HiM=mEBe7;uL-CNP8yjOGJ99zWj?OgkKIc7#SZ6x~V6m|BC$ z489!c6Y$QF&pT3&W6^#*$%oq>4^G8pAT(=%{{-0ZfB&|%IlYFSets;YKpMRpBOU8I z)i-}yvj6qPHllGa`6{u*`-9IgFcNgy8=6&GqPKJ#br@AvhA@z-5f`fDxG}0!bP)kfCr3wgcrIn6X0=aAG$ww#1Fpn5=*dp^(2?a zlLmAJ6hHpLYclKp_?H%3(~}pg&=!~4pe#Tr`)DcfK;g?Kq%1pIyx81y&knSJ#Ii;IrK^+o!=LS-<;bMX~b*(fv82%kMhcMeTD;@_Y~4>UGBjBX&>a zjEKiy5W>n_Wv3Tz^->p7kZGjTqSCecvJFmSkq+ri&|m0JVNxKFUYMQTh>Mk-o!OL| z)y$lmm5q~=g^Syio5|S7h|`#ri&KE_|D#B{1xf+_pWhk!d2Ts1Wt_16$G>2cJo$7% zFbG*(VBj&}3|CxNRY;RGlbI;+ytq7Q^tR>fAz`axGBRk*Ol-p;xw-3!N6DAjNQ^m_qzw!$};By5mvu=!d@ z6#b?dG^@rv1Wl?qE|)*o0CTNG9G5Go&rOVmtcBn0c|$oIcx;X5r*95fe>2;kSe31s zq?3H@Xe?PP&-DdQqwHF3zSl1zSIIQ=wD(%0tjMgNRq(nrW;SJ7E|yj$tFZh8T5y-s z>Q_{+bq&nLcr7&Mn%gYdYkNeiPT#%kpS3?=tFU=C+q75eoU1f)aCGxtp-K&*PJjg6 h;o_RB8-Gr}!Qno{Pm|^k2;sQ7Ip8QL#1$pr{ts;}=k5Ri delta 13297 zcmai*Lv$t#7o|yI&Zk+{HnijZxQ{`*4In*t#qkp!IhkX~f ziQCoy=pCrQ(TnPE7`Y6f&8zezr8;K)I`wy><_%WMhc6WG^v}@DzZp@0^7p3idraL| z)X#UT_lw`lRh;9fJ3dd7H*n3fjE{KU?ncSe93ObKv+LWwvJsNye_zqk>d+)PD;T{m zxP)te^l(gc^E2}hkfk7%AGnC=$)9_A{%=_l;k7jSaWUbSOxGCPal-Dhup!Ub?;rso zoCjZb(z-%+68MM9fsU%YoyUAIKzYvtMkl8!APNlv#VA15&9{u*XJG>>X6K=-w;{C- zN&*;TC^zR1v*~ZAc6eu)K8h=R60^K&D&R+mq)mkAbTcyOD&qQ{e1Z9zbpL+8&3vpU z*C#9`vNCIy6Dza(BySGv*9_mQ#v_5V+{(of*1Etx?x{!8hIa+G$eaKyW53Plu zy`R=SQA28Tee(L_CIX+-H_2P^IiyKDivg@1WSTOuvk%^lH$SL)^JL`nF{QGUy+ap;mbvlRXH%)A6icWNwox2`hJCX(G5{tG zw?)Tih^}jUG1QG-w09-=fW0rW{yS!2#+hmy$Gd>_rs9AG1B6v8-ouiRfrC6;A~Y^~ ztQ(VJtBktl}&JX_LH7?|ECgk%R{QCy(ju8t=XS=p3CT)*6+H|Uv%D9;pF zn6kX7w=qgXzm3_UlrSKL!YalxH{Y5YS3R=ynkXNpvN{>bL zqQit}!AwmxtZGFXSCwc*MRXG$h(iav-{CR2F9`vMf5_rf%^ydbqv|U*OO+e*OXt-V z!!SNjqQ1g)uAnxGty%jhl=p$v7uu|1b-y94M{O6DZlTRDNSC|cNY}Nd6M)Y$nxl+j z^cCNm!UC)Tk*9a|xzba*9t{7uaoFQ4Xx_k=Rb-Dk-ZLv_+F~w0m&#H%by|&8ZQ)sD zY?UN7xzeq&>(Aw8q(RV%CUpNW_1p_Ua$3aHvRHsS1F&n=u$g~lDEDi@y;rr}qtrfT z38XRmqey5OHMK%O2>d2ZeFvU*@0cwbH^H|>Z-~M-u;8u|r06u6&#{D8rvB~DyZOMI zr%BAE386rG`eg{tWzN18CE}MOf+4fSTUJ^n=9Xgdq9DBIt0v_2Nj{JVK3a{?It<3mh_iS}L_ zr-Qg2->qjjrv9kq%X{EZ&pb^VZI=$i51%+`RU=rYj+tHC?7J#XZtW8md|V-CD+yyq6B9WM0+!fbbuHSTt!1MWJL?*vuy5P}R_`nZ0n& zvPqKYsFEnjL)2u0Cu{qZIg${r^#CH41r?9qyqi1905zKML=kvsIgiKXz0s?TR@pw_ z{c&q{a}fD&qJX-AqHHv&u+tN=fD!DH<7}_L=a*uR^vx4&IyfxYo-+jcCM%>jYK;ix z0V$+ug&ZiUdXNf(jnoZ379L>;nm6e{Q#AIXC^fr`i$Z=LngGWp>)SsEALh;Z5E)dT22B7(tux z8}_QA{E>=KZ`N`Gv|EBpZ_Fnd7E$2|G~BOLt&UB@4gk=PSu@H&t?$s~RjjMTu>$j7 zskT*;hQ7*~t-xdQ6`$TE*2wMa$-2a_3!{ept^^w5^w@}J@o7o3f;p2@hHXD_Rt zM{fRittn8#!HD<}cu}_9JsVv6?Y$%4vzeg=cYjl_YY+cB5ilanr_z2JOhu%)5lzK_ zmzeW77Zsoqpt#v8LwV4dTQiD=TyUAt6PzRD#q&@>pnt1*G(#9sqDwlV&x(y-ExSc3 z+o#llUp?09psyHW{cWD+T*|OOjv$r*yacpZvL%hpo52>b#kKNC7f1PgcRL1BNoXbO z1R*(&a{Mxha-3l-Uk4r%#oJ~e-7a*>M?1MSBnVjfmSg|d0&{eJ9LEinw|AT{IUZXd3bt!UGW_!J*P%-w+(Oubq(4gJRzY{k)6eU;P}*5$K@R~xPh*RX06u67 zf*c>@u*=V0i5NWd>9P7)NEkLxH0HyZLx%IKILO6l-H`5C-5zwWP>Q)df@s~|D_+@+ z0sx$zeaI09D)#qKUe3_3DP54JmomT%zX$r^* z+1;2-3@$x&|JnI!{P29P1`8t(5)*E!8k@znO*Z}5D@%(Lm~6BwDtT*qy8qO|IV1yV zW#UZJNsnt)ihr4ijHrH|kNa-^l%_MFQvhm{XY1J}I7m1OsU$^&z*xcT8(zV~i$kv( zCzD{j$~+rcJ;1lUId8x;FP#6vT)&#%sB7iHPL9zi3t@ks6WWu_Q|NT3`f~8a3gPY# zjM=mzqmx-%%31Hxs*1^1LYS@Py@5e!(r>g@4fxW2c?DK^2Y1}TTjX|m0E7Q~v%qfr z*=*%ELq}7ceh_p9ZPPXlPpR|E>co+8B;&Zu-!xg9VWAw-O@xn{>Zrd)a)k)Q*^Yyo z?@B`(&54{*`AHDQ7u&Qp)Gc5`HI}o8hg8Kd<{Th5rZ}qsz80W$A+wDr>`}U5I$_ts z@Vz)#w+<+?yg>*$L8J1up>E<-c0f1T%qZgnmsC)hL=N6eyM--80dt&T+nJUuw$?n} zn%Pwo5NgoGFV}aH;Uwwrm}1A8@tSi>jKK!udx!Y0=gx8YC0Se5PnSwt>Gi|{1q@T_ zIQh+?Fbt>aJ*NrIKLk$rXg{51TnlIZFmq`S`xn`PsYe;np&E~>-kbyCd_c9Qguem2 zi(MqePe$F(X210X&k!}poBM{NF0S}-d#<%{ZsRmWI45E#q$cj;QO0}qfIE8@rwLtf}&c8Bhp{7jG=7l{xPikbut-Ik1$qhUE1ZtUN8q{O0GE-ES%@?ocpqn#1=e}ZxG572@RKWz2;GY- z*Pd9i0TbC>Kz6^}c{rm2yi|RDH43Oa(#)pSkrYfqp)8zEC-GlQqAP>5^B{(YL?v*lg^E^8s zak z3}Z|bX>uu{KYOpdYpAsQ$H1jKw~akTpgNn0&g7a9JwwZ;)H(cE%xkm^E2_QsIGpP7 z=g9%nYkWHZsP`o;i0PWhr{a7xlC?*a>#NgDG3; zlz}d{Xz6Mi0wWBWFe6g2fa@9Zv2*^C=B}KJoT@tv=m6Aj_=k%>C8U$g&yt=rD8W4h zhQAouqM5yKxeE%uYMSezK*l2qxYA|Yyu!CgWq5YE75T11*C2S}Ju!1jNIY&qO3oPN z2tqQ;B>T*UKKhdJrCV85DS3%Vp4lI=HI0q|k6oaRhWl~ZANzYpyybi9$}D&+o9ACc z$)_L$^j36zREpg}(|Qw6tTZZhcOaAD|4k_)OToTnImX>|vtWhwjEN&yFlyv`7a zlw+Cb;_&75_34=Z*s0c)uUH{!nnGIoRzpL)|pV;M|z`xAklS z^r5$bTM|YZ6`kC^-k%=Sy?kuvqHm0WV#wy&LxGk z`Dk@_{bIVoCYk9}{X|rm!=+|Ad?Ye6YwPIX$fRT*LZQmm=e*O?SU@B7-{~XFgCj$& zVxOfL+dQ%we69X{2sjLB!Jqv;h~%k;CTm$ISswe=6F|0Pt+JwnR>g~w!(@*^$2qyR-SkPBmACI8XkDTvyjR`?c*DU6kRe*DX? z2_dCf@>7&%umM?2-7uP4YU{%6AU0@NYRZJ77d{YSMTm)gcmd~fIIhV8hJ51rph0j7 zbacw!^Ial0*0jZhGkZJ;o(?rktP#{TjVN^UTErg8w}pG+hBCaWVk@V0rGy@VJM52E zhn6aP*~jBU$yS-ftB-vT*`yF|Fx!U)h^7+vuNC`4wrsN zXqatY53J|Waw|Thir)ZfiBGGV$QkW}fNX5s|7%GsYr$x$ns*A2P!_5HnABz)ex#Ra zS_9Q&fWHrRs(Oe3{gUBbyJ zbUt2ghcePml!6ovjs)BhKGD!14O^Tz+@6Jx>sKOLTWNr${04X_VWJ z@j<|K5lUQk;Per+#KrcxDL}+1Qb(kGBp1R@{6_LN8+GR>j$sb84 zzGZML|D^Br{q!i1&&bS(osN>5u&_XQ!e&H>kt&bTnIJa)@`TZfrW4nf&=*!Gu1aW; zqH6?M5C2O7%!=1YpqD~z1luRW3I8=NA|}O=77oT-5k|Dtvi20ym@F8(0;e@<&i1X>S2f3 zYCLnk0N?kaXGuQgd=+nmFCD&)O$PH9s_y1E29bV-pm@KcK_1bL`$2yn=<3WjO~Dvg z{PX4%6k@CsRAm0;noFOA_Ev&8cwtWt>l&=D6Roq z;nm%PvU@n==Ku{IPYG?!yda}x*OE$`nJdw^2k7HTNhsSh>ghC(P6MrEyp|EXZpWI2 zXZuRg9tVNdbhDPb9ulU~-Bl528HVlfn#J@%PniMD%MFa>#vJ;00`t0uYGaBsUFrnt zS~)F~GiWdu08LS~M9g_ubni6iyHu=l>M{%-j{R2)GRFuC$@h8g-hH2m3seB649tqH z1sF)iARoCC7{O{)hws*U6=JicFPUCx6^L|swYD1Inr4qoZmwDsToncyNTAW>3ysXcLiOgjVo8Sh`x{1l5quUYTxfJ=C^(HCepa13f;C-D)fJA z#>k$xPFfvIM9VnMUhLQhBCSXag~0KCKRhcQzeM<|!y6a3WcN+HI|a7~9kUzdPb)ab zf!OC_*V?B2mf0174RM!fNoX@xt66;PO^#ldoD z0M+nKOhcO_Au8n@Mid6|MaY@x)4yFuH`q$L71l(_7_A~ctzz$_!qK^~rPClqLFu<> z%QI?NP37P|C}P>-PMoI|v?tyUqjZs3eX}?l(Oma-rjvb%bsR$TkR@HvwD4MeDO}1j z5~%mT>ShW+y2>KP_4}To)0l z6^+p?=43wS7!2T=?tVr6+ATvEOV{XW-KwTHV&+RCsf?n%r1WBo;)@!=urm-Mo9arBHv< zPa2Bq9jH=_I#gw4i*y>)wq)y|&tG15C_{4YU`xdBP)dn2=TE~NpgFcYQekVc8;zLN z*-yemp0Oogqy z#1M|3Z(!fiuU8fGn1yVJ&&vX#%l{onriiW)0l9Y-S0_G+#=T^vzwgE9 zbo$E7;(Ep{hHF}a8&G?&x7$Zxp4+Xh@xBJWsCc}+nCps?`;*i%T`05vMC+#DH}J~PacevF$$J3z-&nhRPrZd!#9yW zw0ju#E*$chfkg#Dij%%z*`m?2imZkgJxvx%!4gmaBXt);zsA#5HEOHN{8-aDt77rf zs*lB3wxai&hmm+4Y-pr0^SzCsu@f(w>F3kezklg&Tb-IXL88_(?{J9( zOAk1y40%fu>2PxMR2pN2!d}fDwFW5SUebxIiG%M+fS*{ZR9apw!bPG-v4xqD+irCP z`2G*qmKFEdhLz{v+s@6t8GUU&TywruoUG^v854)Oi7yJf zP*G9411pIk|H8D9+YGBLex`Zj5jP#Ve#(8!A1hpHsvdapCEE=ZmB8QQFqVl3rx8$e z70+4F4LDC*72&mHWJ|z#`0FCJh}UpnN6HLDsTQe;=+%c(YLaMc3u{)!u5ZNtvO3I< zr%9Y!61pDz*m4XY;3<{of`{mT4RDY+8soB-I9oHwt!?r zDJ~s788rZ4e~{XApCH;dG7{`!FlpDl?@y5s{++9x^_zXNmERc03hZ47hP|5&tfn-f z0iq~0K%pgP$mmrX8fj4{)HPaNdi>LOR-F{cA!?d8FLT!I4yjMsyhKQ~@)6wbg}r*> zRWOJLksN^L0t5Dwj?ma~O}T6kyrN)FZk%v=KgAGj4#`v!-!O`+KxVH`2D>IliXvmG zaj!i#+>cP8E1Xk>iDJls+O^GFNL*<*0kstn{z%E^LX{I+nNnhmim&pndK?TyzSnAU znl)+KAbl_5^~kYAN1r^V<4mlS5ZRO=mqrk_A?9OmQdCZ;VV>>lPl@U zY2X7)=ht-|UL_sw>3;?7$p}V&uzIbUL&}i`y(K}iCX-G)?3rs+oj%UC&yYur1Lw2R zs&sMcE~95t0+Q|l_9Jx*noYiSL*NYkG^y)r2;7{^)@aJQL1mM!pwrtM*LPjKXWO(# zy_|x<%2?i(dg3{OhW0GuqkD_lI*cA}TmfUPi}N8X%le=74SEUZprAD@Isp^5A+B9` zG@V{Re1d6C@Hu>&xI#ES&ps`bP*93B_4q~)uvGaa4Wt;en*se5gl9XfX`&6> zy{NS-rh@=2`RcKvDm5DRGru@zwUWEZKL1a*0*g}(!QGK8I;{>LPUL9;uSvU9|g0ui|^`zVL^`>zp370yKzT{;E5??>`5kJU6s<=<=_D|l% zKF`lkSnKaGb~dAze765EaFnyJY_zL6rCYmEoJh6)(_#uiyU7q3NaB*5b}67K zj1N&EL^GL{7Wc^upUI2j_-fR;w8hp+bO(bG?>vKK1v|)GLVarswTixQ_~3 zV!P89(@BZzGi3EoJ}IUWOjU7f@pV<0fmB#obq%=#YUYFle|?HJP)0`CaO2;F48}?+ zoW`CPw%4uHv-1+#LvD;F5^7_Tb0Q~{q#!NOGu#`463zBG6F>KBT2nTuxt@^G;`W5F zfA5yCeMwx_Vz7sl|3Yq=nsWVxvFv*CmUz;HReQQzR*Pa<1t!I-KKXnF9r?X6F{04N zP@ObY$*uiK?!x>Dh~+3*vwS7)&H5>=d42q#Ld0HdxAZD!H?mk&)^e79Xmqz$Rav5x*k-+HzBJoKFMAa z<3o0DD3whJ%O0xKz$%47mgtOWt3OB^ckuR0aucUQTku>T(I4pechpIMc#`Z^l|CiX zR4JKDnk?9*D;BtWrFpjr5rkdx8`~@Ej%5!V%_>_pq?GWfw}tep)60iJzgHim&sj)q zuPVzSSS%%8L#yZq>YYM%Axi9a+_7JWis+zPs%!K|fWZ@}c{OT7O906CCq#OF0%E zp&}I#4Xe2n3t^uD4nI`Nl=U2yZkDPg(qT54!TbT>RqV!lDdj78HcLU@&FP0ivRQ7X znSKSX&Dihxv3gK(Pf-DVJ?(Z$e|qW2o#V^~g2i)Jc34e|vK$&2F6U6OT{x^$xfjKayQ? zsIM=O`E#o8Cs*~=h6_O?R#IJGyBd(10QHh4I33M;~6`UcowR6OB+A+f-J4WAhu#-6p}1#I6_1MnWV^v zOflv@BPO+9@x(5Qp1jzY^J~M-39kl4zmek*Wr5jl&vFI`aw*FWm4q^ap42?dL*}5% zUQ%l)Y^f>=1_oNs!~{+1fe5ep3koaok}!<96(!U!f2_qE%2hxYgLw(=yX*xpliqYV-hl@@RO?)T)bI&wGHn zddrmf2um#sgZzjdW%X?FOtEo>Q3eN(Do4|Txwh#{COV|c}fPj*504g;MoY)nENEbhH8A8IsC0t}Ko_ebxfJq3>mIkpJ;Yj`e)O|F2JP3P>t zEUG!nIv#+13#Kj*)T;ufKZ7kniV{%FR?M28lp1_;YHSD}J6{s^itkLT-~rdqfYS+g zN&&%^RvZt7o;W4ZW59Jpj{~L&mk(8rVa3ff2N^^wB=-(t7{|<=zn7jCKO9Zi4@{)) zfG7lo_un5s#1|4)XSgM%8;1*4nw2*T`UFMhi2%*vK89YJf?0AZzk=ol(Tpa?7N*Ug z5r&j}9~dK~1dGpzlUbiaGiB;-+XI>Cen{6%z=a2c4pc(EW}>Q=T7khv)dl$@`%K0! zWu!nJ68tL%pd63|s1U{%g0_uN2a4%kj~xfI7wuP+Am?Y1Z)22^RxYt&TFRpz{WaXj z!HJavrRnub$@^-jzK@wNufAX0WW+c^d@t&|pLX)misprnig$h3_F>!=fh2QzKycxm z-p#w5ceh=;K&rfd$tuMC(S!fSey*${`e|nTw(RlC$wS9dgR*LgpwLZk1)>G?*@AgH zNguU-yg&8js>Mn#fBdW4@t7lO3DeNHirQ2L7I1Af_Y}AqZ>FZ!IoKAI9b6_CMWT|D zPAc3J+%gLIbKM18V&(D8!ziX7c(1J=KuhHKux0ger2GM0wT3RdC~G2H0(IQC2pIttt>evfoG`-hivpYW0pGF z3|Z?fE0mfLUryjhnMqy$Enese{{HC#NwlcCqNCE@n09I`DN1h&K+s_VKDGQF4Ti@h z&j1f<4vB!Bjue|5>mXfcv8t77iO!{6pf^5_l$%`ZAl+nPK=JAWa-WsYg_FX|z{f@8 zaa`O=Ehy&AT4q@Qjq%cS1EJSX-Iz`pDzWri8#?If+A62hG@Qvcg$zA=RBUbRTzl9a zo;J=~?~#_QbHe-b^$WiXz8$VKKNjELtc-1R=qfP)|AkUy-I~Q)f$t-Sf)_;QVMClq z{!y?0DeJvgu!QCVl0VWWLjvOr(p$2weq4MN{nfpfq1*>B!0PBJs8wSx)=P*_%*ysT z-eYIB^pC%tkxq4!bKX??Sq!G5T6gB1d$Q4!1pv2s7<#$Lx(?OcSzQlkwcKbws?5X4D$0r|CfT zx#o}Wbg$9rU3%e#*X^_Xpv7Vx>CmD=dxbikMn^y7Opn4s^? z^0{H>D^S>COWc^VB(ow4RcKEn{?ms@{sm*)y>|yA$ZK0ReRk8>uHy#@pJrSC1Mq(}pWmj&U;M{4g7FKIY zw~b%G+Tz?TYRt9H%++ksxhHfOX1|(+$Uj258*-d1X(fu3y*`xAH8k4oKr(#CJ0-_b z__v8Ty?7D}C3pywWWV^@O7sb*g_#8q-)>>1E9s%AV%>S+4=hzl+}W&+F^>OBOu-LK zERGG6oDoZBmAddqPQA}|uLdYzNbju%F=reMx=%4e~KS@DN&4m$e<7t8u8 zA)2&M3|>Os+$gMxThvObjxmL`!i5ktOzWF2p{Xs(wL6Cs22bv($sTIB?9nOkASPNz zFdy$Vf7sw@CTzbJuz^fKZ#WCQhJ?!o?BAk4^zRH@8J+e^CWh9R3VYI%8_Kevl(Nwo zmYbP~A;J6`ETci|2`tz|!t2HKb3JcUsw%=_6}EjP!fGDc3Z_EE%R+fGfY-L-J1via z<|#z;jfoMEpQm7j>n_?Uu0u9_YuIR#PFT)4U`gg!KrqM345us3j*tZ=EYpNN9UIF$ zigXDvqFIWwLO_cZqddVq4y=h0u|F{8hPl#+Gc`xYE-h(<;doW*tM8gBC0o3pJZvmlkh5{Ge4Tru*{J| zFJyaL)9%VvHJ3)ScRdS;Uf^c$ZhZ4OWDgZabyUxJ;PzGA-b?T}vh?{lT1*q_T~x*L z_iOb_n*F<>)ltijTKf$}&-Yn!)!I8P{QhG(4%4i&0|#A{2aE|HXyJq3!Z7lMCw9L7 zoDI5n6_?>a_k&$~W=>UK(cMJ&HgXs^;v~12K+jj_T=$?V^#lTxBnh79>=OTZx3+1z zdwClDra%PETxVLMBp_IE^qE`xvB4ZBOJW>9v(UMQZk|2#d)ly${1)Dbb$2< z@$dyGL~7W)OE!(qKQNBQXqeqQ5diK8T-+n4!-vyfNJLS^7Czvo( zYXRgji||aCVYEzw=++j6Qg2bi_3;Me1<15g57H9F*~g94i6d`~i%S~MCH6OmWbnU5U?HbjUkY9y{vcMBf;vj~iAjtmn zx_f@fYYEVVS-!CyW318UGiBZAc>Q4Q+-7}kcbjKd@p)+4$>9wZkP&A?0fbdUre=Ji z4fjH;)!Ycc?>Q@V=hJ1_k7Nq8ZcS#o1{tIaWipJifoyY1*>l_9t5Ol)a;A%|Q%FJD zB-+W%A^+=3QaSe4t}Z}bE8gCoOw))`-Hu#sVFMJVQxX^8Rl^ibS1G~Sm{1eh3<;`} z!|;rwF>%s z!2|g0MEN!IeV12uuI+7On8zKqDC%q5o`5OL^(j&nIr_pa{;1bdamud?Lq^6Ty}h6bS$}@9dG;Q7 z#y!saX&>6%>A3rU-FXIEa~}=F-l>6?Z}?*{o7{?+7kPO0FE4_|wTrV+Os#$X%)l+Dj(H7)h9FU{d23v!FZxa5$Jav11e`FkmUfp}Q`MN|mL+^0H zAvy|<>Jz=M!=YRMa02tS(qIaFQmjvs%o0~>gPS}?uTkMSPLKefAe6o1m+Vhr?bw~T zb%-KJ%O_!eEzGI<&a5PiT?I=V zZFXxi*>8fOFt2bek}ql@a_6qh!Exk-?}dJgjs7aqPZD39kDmgXquGltI6Hze)Ttv$ zT>wUUrfv5s7c$K;&pWd(J?a_GvTVO_=!ca=Lt}qif z2REk)t1%0ksgW5Q6Spa|v8geqDL0#unJFi$A*TS}|K}p<^gs&8^}jGrKgTPVq>LYW z_kf9kj9iUgGe#g>3|fdTc0}r=N~dB?4IR$O#*-26&wz*x(=@}?aOOWhE$tE-BTWJy zybVFcrTERz$9MBWLB&1F-PVTXz|8>KqJ%&&2dOs)!|y=wUVxRo^35d)1GyKfTk8wg zj|0RG)+=Jous PY~0MS6cpl$60rXVe