From b89d66edb5e170a5287b2213ebaf3c8625665dfd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20Veli=C4=8Dka?= Date: Thu, 27 Feb 2025 12:25:05 +0100 Subject: [PATCH] lepsi definice distribucni funkce --- nahodne-veliciny.tex | 2 +- skripta.pdf | Bin 121103 -> 121140 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/nahodne-veliciny.tex b/nahodne-veliciny.tex index 6145235..1b8d85d 100644 --- a/nahodne-veliciny.tex +++ b/nahodne-veliciny.tex @@ -79,7 +79,7 @@ Je třeba si dát pozor na to, aby zvolená referenční míra opravdu byla abso Další funkcí, která plně charakterizuje rozdělení náhodné veličiny je tzv. distribuční funkce. \begin{definition} - Buď $X$ náhodná veličina na $(\Omega, \mathcal{A}, P)$ a $P_X$ její rozdělení. \textit{Distribuční funkce} $F_x$ náhodné veličiny $X$ je definována $F_X(a) = P((-\infty, a]) = P[X \leq a]$. + Buď $X$ náhodná veličina na $(\Omega, \mathcal{A}, P)$ a $P_X$ její rozdělení. \textit{Distribuční funkce} $F_x$ náhodné veličiny $X$ je definována vztahem $$F_X(a) := P((-\infty, a]) = P[X \leq a].$$ \end{definition} Uvedeme si několik užitečných vlastností distribučních funkcí: diff --git a/skripta.pdf b/skripta.pdf index 6b342cf6163c309137fb0d104dfc9a605e3bccfe..26b3849323074db965cc402cfc10da15b814d4c1 100644 GIT binary patch delta 9793 zcmV-HCcfE^vIn%X2e5H@e>E~bJ_>Vma%Ev{3V7P>TT71|w-LVQSM*VP7@91;rPTs4 z5CzC7Ms%=j>EPMb_!1p_a(;fQimYz3hn$^})-VFZhB31}Y(DDo)mK&Y^4nq-jsKb@ z!V*nZnf_TGzu>c9@xQ+>-@jkJdzTmdB|vb?`_mGGiUzD*4gpjQe=gYN{nO9)T05(? zg@=QMjDLl!&FPVzXbt#_dBk6=reE-h1NjS1S|?58<%xF>2T1hAXdP4e3|c03Pu*m> z{0>j@#5~f14-oNt4DuGu6Lon?<6SCSquCPAO)Canp4wPG7G_{5*a8(GO6>8~LTjAhf2>N$c#Fo1(s^a>%BaqQ zlZx5qSccSN7cG~4k}w_HUD+eqO}|%jKiBc;RE55pT2&x;P$7DMra(AV8@6RHt(=No z+iDj@3Ucz;9?ESR{XYU*O8vc62a^QV9=pFghrcoDKE0 zaC)$$Nzxd}ntd=csvK!j{B-N&IIZvGsFn3G*>w{D#d1FTp?<(9qg@o4{&+W<)S!hV zpE}DV7p>0a1u$3C3cgyNtv*7I%}50eQij0xGu&75e+sh6;xPZL`vScLm7`5Au@Ds^ zk0H}l4pAswI)hOFHv6R+T2Y5L=_-WsrV!S>ZlGQqsDWojAyh&=Y>6`DRdV3jv2?Nk zI}_d=%b}e|AHU&P_Ef#WL1~ZZvzeVPxX!vq&1& zlfiJJtenn9Ci;H3p@cdJLB@O%6s%@zx;0r}e+d?2l@CZ(_?4f=ChnED4#yr4HG`$_ z)9s;m8ifWJ=zKaxlfK?_VlQeRZ8WXpym}%Ncs;a%10YPJ9y9CF+l<1k*6_JlJeelh z0dqq^=Pp86rveUYEZPcncsMwKN{1XYT&A#{BL{PoJ^gBmBl4mX5+ZY)gduHSL-aw2 ze*x1x@~X!Q%`5$>M1fx9LC5`zvJqjgC0bQx66839H{~0@l>~(dp@h}Q2wH=-ALsB1 znefw?{0(8D(+H9n48As&IIK{GQPesMObi)mw}Cu$;*JOWw&2c^Uw&WkLpc+2!gZ5X zh5&K-(mjrJjGWx^@8w_154(4R35bk5f5_*oGrsGz!|yi5_VJ~66Q~T{?Ov6q`!{I} z5>(_j-HzMGyB%Lj(m>-f&S$?lkx)r6P-3x56sRca2^HamvO`UA2#Culay~LGNsowz zxD+cP=7?N#kn$9YM{%H}bqi%apT|{$@q))wRUuA%S9w;m0{vZe`C(n zcvd;^x|vw>&5}#5<~GmFcxl+kft-`myR($i&UL_By^`euf}b;Z{zl>K?J_OMl!OPq zVY`^WPVh7!hPxc|4P-Z=b-^xl<{j6K;9{7OUBShNgSl@QZ`99fP}o;fEf_`IY*Ya6 zVNHcTYBP@Cs8-Zp5RUw2lIu9ke^?}d|8)`yvv(_|y}3J>5GDi##RF)Cam$N_0O*7D zTP8b&(h#+`FNNhqg)u&x=NLY#>Ur;-rdR<*fKPN|$l^^xpe=aiQg-gl_n!4Prj@Zv9YdEB>8S8NvDI~N%BAAN(8z+zO)nMbB@6LoAKgGC>z=$#$)3of7zV+sP(qV zv;_>y>cWErS~lYH;0ZeE5L>x!Oit?Fk7G(7ozmGl;(`Y4GnO!Rli+`x@c(mCx)np> zycqJ!q^bf)-ovhl@%rr;PBI1lGj4S$LHRhV)Zj1-Ol$Rog6nuq9Ej>RJ@kwZlU2wR z&T1;Mm1JJ%FfW#EVG`lSf1A>n$poEl(AlReHuZYQYypzWR^zD7NC|@;dkwQwoT??^&!Li{Y*Rz+F<;hwX z+2rF@OvY*sTsiIXzga3)s?EY?+~+2+Ko?jd!dgszqcc>aA(17$e=m496w|otM99i4 zqi+*o5np-pJTR^GpH6grz~n*$q8ha`lu3Fmb4EYtkX&-jPECBK=D&@)RP*QD)uel=Cdpj21|+|ff8J%5C!q-?>^|#y>BdyH zyfKH1T23&MPq&b`1_*-6qos(!;-^$x$( zjzld@clB>?x+V=*S$IBfM)UjJ5+JzGwas+gK4Y%GrE{>K#7T4)Ot1>Zz0Df zMtUdqp(Gv?`@?%Nw263uFy8x}mM zD}dXje}a~C3jHm_|3!W88kVAOL^r!OW)qLq%K_8p5L`LugFGajniAaj@LnF`lG!48 ze~C$7Pa3w#`;ZqKlusB|Z@{lwd*K@{_ru8n*N<^k!A-E3I}1U|ucC9_7RC?Oy9OcG zR+&p~`5l+_DrTDg;Cxg88BtiiEEJVu;I7s7f4FHq?Urn3308UQLs@g|cwV76qDQN9 zm}i-*v02XxVq4k#YHw%r9V^2m>VEj}HL+!<3{M3j=9{f9>~p$^%mo7Mbg@3ZP8TuK z-MEtRy|6CKpQH=;>NtP!fPU*EaR1IaN)fNuZeKl3yP7#pW}mx$JT2N{QUfi#SWfiM%r-+@$8dRZ!bBpOhYjD9cwZ5lG({B~^2Q=| zww;wmD~)Ka86cQBu9=KVL0d!+#4L~W!`*n3F@91Jq0AQkPA73D>+a!T+5yhM7>V?*J zPtM*Jb&j(ujPNeUrei)yujq!Jcj2n^YCBs*A9Mz}aWA0t@l^t%D;yyvS$}~+zKn#- zpCF;+ke|o2H=*_MRT9d?vfUqUL2#3N`aA?Ti`bguE)TgS<GHxVDx8jGt{1@QYSS^DqhPNw*0UI*`IJZZ+0h9rMGD?d! zk}|*+PErN{!x1pjDI_R^)<`57OyOYkf*qWu5C9v5p{>x}PzY$=83+N8AwelD=$MGc zV9r6i1t9C7iz1)`ycYrG7^w&#kBS1kLosLv;vS+S={%@FT<6gU_;CU1ix?pQB+w9= ziz1?5gat8{OAv*S5jc)Sx1c|NNF<0*_=gt>v+x-yz$89Cd6s|+NJ<3Xz~E?1izrQ{ z!FtLOhUlee7l;Rgp%>iGYv@wKo#2E-CYA$Jg<3PT0z9C8OZGAcBG66gVU3W_8H zHBEPieuIHg(K;9c6soq0X2+AjfsTWtMN#2F3k(PEDFy)3;+%k;~NOEEIBIvRg_Xt1uA)QfS#0M zUkq6!!w6bkY4(kp@hjDTLJ|e(5RN#Sq04DVpr~+gi4aPw0PiddbTY;~+E+^z!Hmwdp#G4jju5kh88 zz?XA^{*qG+^h{xh7xUTKt7>^tzBqbRzOFtk%j2ujWp$Vz5A)-=JBTETTBJ}&|ErU9 ztU5`Lf2ot6ILXOCeB@*#E>aRSbxjty1rBmj(f&D!D5t-L@dmeFu*)r`#n7_}p6hsu!R?O? zqkDLL)8-9X8s4>$WlOli<|2NlaMj>;BSX`_H!^&YFYZlh$+#Oe9d1#|UBWFb^i420k`& zVi1zpouP82Tn%J51FdR;YEV&wpc`2|e+Z_LHG^OqSvv@B>yWMd&je{sRSv81i+ki@}1~i=!Q4_hTS2RM0Z|GY!q=&w9oXc4#e=_e#tKz*#(~mv)V#OAB5XXHQtvr< zu1lb!97CIg1~P}uHgTSK-sYpxM7FqTM5R_6o~m_dlL_A~gt>I+7Q$#cb_=0TBX+aq znyi^#&R_;}OA|1L>8b+U8q+BQv&MGHz^idPu+e5HgDlTR=@dLYO$|2Ve|O5)q89ta zqmH_YgTz*J${?_noiaesb~OWRS-pcNHEf_k(VDlIViRfGT2l#V)^!Wn(sv7C2phVE zu!N1f88c1JOfO@wos(VC(4kYELh#^prwlAO(^?dKL8$E1d21-VDu-{xI3l?W#9sh$vOp=Xlkux864B_taYpbnd9v zsNdCJTC4oD|c zdp%&>=x^n1{`64xRj0GjbQJ3Csy@TN?ylI~3p*5R^LhD&db7J;-`1`ls=nHu&Mj>9 z5qG=m%@>$AUtqqa`<{CH1^V_2%FXd`M}4@34aK>=*Em_bIu3>0Ua#PL%5ATgE#LFE zu}^I4?e#|Kp$Xe#e}j{5X!Z7bYxHnOXyRd^Gdn^LLYoZRLxY2Qjox0bwHTTmp-W+W zAGe1Vy52_px9g3K!?0s~6YWr&9rZA;wL9vCA3DE7KJTzE+Y#Cjnxx%PuQ4_32%RRz zq1i#-IDQ?o9o`1^+1RfK{?PAc>ga*L6b=2|uD4MP!w&bbe;#YN9sNxZ+hSu4e}rbc zy+v^RrA9mD> zFcdq+SD2VL!KD>kdnV4?=yJ;Pu^pWe{F@#12!88@0oHIw)nd6wS7_3~So(Tkyqr`& zT~rqrLYPX3e+o-H7w|!zH$EK8q7X_TJ;KKd;T=BlLHm1x&7PDeZlifMU8ZXeWa*dc z(=uIt_^M$!9EWvh_(UPad3vTcTiH-OY`mCPAJb)wH5-q{^Tl#iR6ZRo)@+uCvm10( zX+^8*#co>Tvfs;UF}s%4nnO6V#oGd$Opt^Z}-<)zdJAuM zQIM+MW`}y49qPyv>g{%YmR~-r&c~yNvrp;kTZj1MqpFD>&a2UKHoy0D^t$@3_;bAc zP<+5R^LceK;5Q-XH)qxS-ly}AG!ASx&}N2$oJg(p5ONTNQ6Y zGNoTDEGgu0v>Z)lmvkSWPISNaPlu2`qVOre^AFR=ojJUH{hvDp_U-+H$c%~ay4m!4Gs11Vrusz>VG$XApzK> z8|L5Qlr0C<%`t+F1+ReynM=JgwdA~n+#J)Z+U!EE%cACOV%gPlP0L2J);oYI07ppS z#EMSa4$fySJ42a$l!cFN%0YDP5P#4o_;zVX!Kdfnp0>Bam=H%c1GX?huY5%^h)9)> zC5v<&pAHk^w_8Q#Z)kQHjCVlU$am23oM%z5@v9nyuK|@gFGRPps{)6TMe?{ZCiX!qdQ?T7sXS+g?T)E z>Va81(UdAvkSe67vNnxO9#IlSVodYuuSy?p__BjZ9BO-N9UB#F==2FI$g@|cE}WlBO^x-ti?DjdV;6X%5nqGUTVq<9|z~U|G}$pXes3 zP_9s(o;K%`lo*MQjvhb;d+^DY)|=A|I!^MODKuE%YcLjatF(+_)Zkrim0m$GsftQ4 zCUvkH-9yp`f?+)comy~@hf|p_W;(5PMgY+WB=U6%rui<4B8mbr5CI8BtW_@(3F0KR ztY+QEuA^N$6316rWFuiiwR-Bl{GKBh(I)BbGz7g~O!4Me2&@_=y*lzAj^2z#}Ee z8Y&ZODIjoKbue7Y+LLGly~lBl=`)MDCtrLaU1-_!Lw8~y*q-YEjN4{&V&_%%fZs| z@|sT{j~RFs&QY9_^dO(&GP86Yqw6pol9E`<`+VTjr+z8Y00cRBV*SHci)ciZoW`xG z@%5Xq$Y2dHMqLHkT)5f|KL}F5{l;5cgy>;a;nZcZ^TGbIgQyu~v3W%H~@^7L5_P zxKT+-pDGDJouam>qZ4WBR7cg)lR|p<+%m;*pHN7Dfn{xqM1h7wCrnE|q;q1xjgZp} z=GgaQS%1$hjIZaT8fHq?Fms8k9L@Qz8I&Jo)>h2gVtsNgoufFPNlT0n&=MJ;mM~U| z2Be*%J94L|>*E1lsa#*&K0H2Ro)w~eI9gPx_W1F^@w>Nwd;09<>}oWX{{GAA@@6uc zv-zvfi)D3nJiVBu6OYUBVmbeO@8Ep)z8aLzd4B_ZJiWYkd|pkL#fX>tMcsZJk&km-S zlYgoZ<)g{ya#1+Y{XD6_%Zt%;wy1s*tN*NM{r8}jji(da^~V;E#*-?&wUbYRpwViH zZ0r$xZKgZg=l)9V_aB%4oSx0jVT!U*mKAnB0u!@z9GK63UeDf4$7o$aeSQ}k{b+gk z?)dGqcWZ9c4@66S7`;J@QFla(Yof)}Xn%3Gg%;O9i*BI>6Zie}MjBs;23q|0M9WtF zHPBLj&$>d3(R-j}8~uIJ;%}oR?2ne?-yR+O`ewyV_>o{SU9h-s0gHEA!4gyxELdIM zS9}lCMF0Im%NF%Dv0~d;@%u!Ue)9W5CEkWg+#f2h|LgVRmrqyBxE~3X(1A++u7Bri zp%U~qs5oaDP_fbyDtrsve1E8HQ(qG*u>}d(xN_AI>J{KYs!%-Q}$f-+~qF8Ma0iEPWeb@tlPCb03zsLZsdT z7KL4c6cx_eX*i?LW|lTD{qh9{`~r71G+y5E3Uh^b>FnO zmC|g*if%1fLRzr!7al~yivI3c=~rO`E3Uo1b^EMudx`Ij6@42kdVj1O9)CP~_3mkd zm#oMiftK#-)_v3J)^1M2jvu{1?Emv9-fuwSR_&0~%V;Xh(tda%Hv7Xdb5k6gGX&9eHGa+OU$0^*jIp zV5WQJ^Q-D|R9^FD%cQzk=G2_bl-HA+MY))a79YyLs`;#(O{;SG=d4_Qm{(PKF}sqW|J8T{^w>iDc{dWXMa@7M88g_5q}07d^PoVcVmUN zv0~R)W@9X=8gTp9!Ou^g{EpF{9ru~be{XXoKU{BJ)y5S!M$>9#G;Du5M$1 zCd*Md8C|_UAC*@(<@5$dxV##bXCKDpEL#*2Y<3PaT%mYUEf(b^F91~tJ>|pluskXs zrC){kSNW`bUcM+_m4C0x-^$<1QTe_+E6>Y|^0NF;j?4cp|0t*Bb-65W%1;f0wN!Xl zi>drF?aE?GsE)-N-X&$jV81+ncJT5!Mtk*ppTWXc7)-3qCAQnjh(24XSlo{;eK*hV z$86hHx^1hg@f2>9&B5WSd38>|7=Ij1s_9vkjFbJOwouNDu79uRvrjpV6bLMC-Y=?U zIhxOBe`XI&$(!r^JfHnJ&8g{ZzWh)@kvY4V-7G)+Ss^=~UW}&*on@8hvT_Qj@Sa!p z@|!8#dA`7a)z$U#GY2DBp0NVXJSOw?1>EGv)!L)0%+GslQQpJ96S)RhTIRbuSWFu% zc1J9Bas!qpFMob}`urJViN6h%_@hFx?+eAs*Ivz+mv4Es+bzq6j}->O;ZS;~%{bwkflZPfhe-G9+9k6&T1fBx1J1cSV*p2e3! z;0n^l_d(il$;s%)pGEXuwUjGWTe)jAKOA3PHV~b%>lm`BWNvxgXo$?ZSu_29xk+D* z&vT~ww4w68=|IRVZeU=Bt|fmVgt6>$KANOV3UBM;RftOk>t5&M#r0(LnW6an=4`pj zuIM!LD=7kXSpzOD3*H?sx{VjJW75Q4VU3rgcRxQlc$A`Uk6W&`v;Pa2OuG}e5zzsI z1VUnEGd4G6H!?UjHZwLkH)dfpIXE&lF*Y}4Fg0X1H#a^!Vr4TnH)S_6I5svjHaRzD zVKg~7GBzWrf^dEs>3&{cI| z7u7Uf*m=JFPdA_W&G)?LJ!j7Hn3>(bA2Ca@O5BVqu^#th10KLb_zfP#!+&Vf+16%k zVIv-sS*rI4zJsUm1fIqwJcnoSJbsIp@CshVYj`7K%8tIcMXLN&;;@_^k8!e$5`VN6 zzANiK!%IA_mgP_N(i-2#1X)p<_e5OBJrnW2E0fqsva;X($~L&3o-CXGoA+egKu^I` zOqVUH_G{YWhqChVUQ)0^R(~6nf)a3;>e z*_ekJ_&mf_!{PWO zK7bG62pow;I0`%AXk3VkZ~_j%Y#fM#FdqwWFm}cv_y|6Y6Y&}Bf`2(!f~8o7&*F2~ z6&K@EI0nb!ILyUj9FMQytN0pr!zH*BU&m#*9J}K~*aKJKTlfaPi67xAd>hx`d-wsa z#Z9vMoao752W|x$8iEIx1P?U_kIoGqYY8^~6g*YvzvnHorrJ<04);rKQ-*Hrdbhp?~}`-%GXZ*L$J-9XlVk%l^p>=T+PfUOtxMyM&Us$;%EY>2@fo zxxw_T;QwdHPAPMBC|SL{?2{m zT`Lvb@%^&NTVH zfEV#Heuv-Vb)FmjtnTFdeInQf+hRLR!wl)}Mzenb;uD=R3T19&b98cLVQmU!Ze(v_ bY6^37VRCeMa+m+u0S5^=ISM5uMNdWwyk#MO delta 9735 zcmai4LwKDHqimAKwvEPVaAMnP8Yc}K+k9i&PGh67ZQHi36ZQX=cXww!vzx^{Gt*E9 z8(Rlk>)-)!a0&_{I5|6-8rmSZuU+cM#S%56cO7dyI6Qyn(DK%)fHopSi2D(BVz4^b z+g@=?&HHlj{;n3!$T>=GW~OdM2tgr|hR>PFxU^q^+xXE|rm**`(PO0}f?_WB@)j}X zBjDd>m(R2B+mYVJO*oWU)AR5o-!8U!CovJ+b<{kt{#KHERmh<&i~J0Wj1IKYF5bpV z7Jl{4C%FwzdH5=Ybi=|ei%&IqjBa&>igps2Fc7@2i=xDzPh!#Ub@Q^x z=Nq|n%N9H5jmc)wpe=1RAES7ra(VylU$IuK(&-PaLB4d@*JQIxtl2P-3&%Y9y~rl! zeEkm~%|hn7^W6yqiU;?BB1kMnt_{Xt zQRJV;-~sSJ+aCriOfXfuGxrbpLdu&7Hp+3<%c9sxoX1KJt>*j9&QMVkJ&L93TB7HOt-PdF?h*Hw4_C#v|}Wj&?VE%g@7n1miLvvh=@;)XI^H4 zL*|+-x{ynt>dcmDfB*0I&T?&ZGEKB89WM%DZXDvJ^pq4Ots0lv$O&k{Ry$NvCg0SN zXz!a?jEl=CG4-!SmB$ub{B#Y8ap7C$InG(kL1%bLoKOXCF0VY@y0ufo>pBNn-5zoP z>8|9|0W4Wk3_|%A8)-)H`WuplY;%3KXcB^ZT3~|WpMjo~<&9hYL@F7hfpe2U*1Rz& zrik2P=9uxdm{?Ww^T2BHFD8><>ykSN>LiXFkJtW7Yn5OE4C@n)MEM51RMVcy(nIT6 zem(0TBtCL%4(U_fxm-HEUW73Ey54u7eg@jniNcduURoY2j6Xt615Z59{t8L<%ZYjO zZ%dJE@j^PZj4)Bn<~n~*&Ob0Ymg1AIh#M`>v!@~fQ#^&sgmhvu?xf=m?Urq^A@K=UXB zb)=)Pe!#GcQIKMR*TQYz8y+4L(3YLS2pP&{*|74xR3c7U31&Vx|2rGK{z*HX2!!bl z(KL8~R&zn!#f!!RdL;>G$*>kk&<8tI@2P9r*k3`Y%v(4L5hHib!l?;M9Vc#8+>k z3RF}r>oez4}m&J3JlT&UTW-%{;)@Mb;Bf3@<(g%xzq?#tB{-_E3X$=vgR{n!K zUl@8TK@(K4d{HH9viHIr#0A#zWcZGNF6yAx&u)%Nv0bx^NwHg^ddsjO`VAe)h{)3> z_oG%A{Z-SX-ccT&txs53m%srR_PveVwAZ%V=7l`Uk#(o57w+Ng68jzw{=A=g}EM|aioAXuN}H?jmS=t)~J_T`$=*++2+S; z1hqjlBEk&ghe|I8-r8cHvC(glF6d!idx9&!@;q5uLbC&e$@T_J3*sjQYEIYDMiOA2 zn7D05HsU}qLOXEX%}iw2P)xCwxgO|fi=IQ~^`&va04OazU?+XAdNj82VH8w6l3bAmD3Bc2S zsy*DAbK(`Z^YiVgqzyM)cDfIhkOm0Mt{#!QtL@%9Xp_DS?N^t{;UR-4NYRuKdXOxU z)TfGwNHrR9vqGkdm&8U4rwrl0(f^!Jg#312FTR`qTV%_d7f3Tvr;^;xTqMnuF$^#` zI!;L|;s)@m(Y8t~u*-@pP)ShT-T58K*u@{3ps#ye5 ziTt)b`T|2c=_^)aa=8gd%0hh;LM6v;G<88pe(pqgm8(s({@PoAv(4pj!XCVt-gv@@@C!m z%*Iqq)kK~_J%*>^E}v+)$j@S~O2BrD7Mbq;yBW(*eBB-2ag+kXof~Iey zP5dA;iZLY{-dmTlUng$fz*}|A{I=2a13}O(1D>*a0&HNToTaos*hYI6P zj)QAW=6lm+X`;AV9<+YqyM6+-eql7=p3<^CY+$GUzQK{G?!Q%{`q7KG3w(bM{3qdo zdMTB{l}`xnNJ`!a;?S@S^<&Q-#SZi$DdYxyZE?Jbfpr)!WpxLlCA#$*eg!r%+pfVA z&Q$69|0=plxT@Gtz=hq|exnblFkp2h2q5pi8Pd$A^qpDafYT!UMU!^PwXuXiY5@-X zt2U5=XX3Lu!r+mbq5Nh)56BWUU8wiMlHdQfbyX*0?~ur5PctoxjMu7`GxS1#H_}lW z5!2?hA6(?q5 zRsUS0__b{7`+nYU*tob3Vc#BSt}5oP5cw0Sa`W{zjKf5l3*t(PNE$(+GOfp@#S{q8 zF6iVlvJ@mgacyKI9&*$mEkc)@7ODb#Cqmq(Qf373YV^$Ho+|?4M3g{AAFK9`xHQXF zb3fxsL>3r_D6V#2fm_iQZ9{MM+z(JAQAeiw9@pp1`I=K}ZB zSQNAoBIYM=<=*9|kF!{Gl1IwMT2|lnTs4=aHvW*;zS*RxQZ)F0DV%L2uB+e9M8PGP zGZb&ypew%D9;~Nt%P*9to;lf}I5xYX*;GA3wix7{I+v0Oh_oVfUbj>vW~M4(^U?)t zLzO(gkfG2gv)sARKkj$H6a0k3jF#of&_vSpuC__Y7tvxENr_f;^9W(ULv5^fO*lGs z26If>)wfHqO)A72e=E5CJWdMq`zl#`1pTb4fdfCr&BYeSGPlgE_9}!UR#BuD*lIZI z9I49cq)}Z6VBNGxJAQHDTctYUrpLqn<=yb_n7bxxA4yROK~0&zEdEqIO(>DiJgF%0 z1dDOg8Pyqt4W&+u_9cny@+RG{QR{1V6h*4HO^0W3#io>*T|NKtXmZ~P?`yGE*GP4P zvU%23{)MGb7JHv@$1V)Y;%+4OL6JRP@CiHl!MVNkj}LgFJLe+q0hQ3R8wsNPS3y1R z&rKJ&>OJM$2(nhVnpxDc5fBfcd-U5)kL6**)ct{-Q?hKTm~hR=owjTzNX-k|YMdN| z(V}zv@#_;&Dpf%=kTs;4H3Wi?9pZblLMucP1kfiN$(hg;z?2m&vZbk6Bt`+}Qj8#wGtQH8~WFl(DurT?EWIozz2KYQzAgr$s*M z)p29d6F-LkTK^v!5fFtTyu88OS5fSw(}1~xRO&fH2fH#!>0Lbo>=if;hRQ=I>i}{n zau`c=CEOaaC#G6(uk%dmwn$${UI zNURMsX6#R3@gW-^1$JaeR7k=s;}FpeQta!{RFF*(BTzGMAP~i&9WlbfLh>YLi2jtU z$ibm0;bAWLi}v_I^!OWjV+wPtj;a`%7MYWj3sbY8%p|H_5JDSczs;S|Yq3z&Bmm)* zR4T#{edto`&O9*agJEzR>|L|NSteS45=FWO8jYNlze2RJezF=sbEg?0%|kvFEgQo{ zNtD)RfpBmNx_M~H+ZDff6755947LcvV}DGVNA;2&pGZYvkw~l1U9onFQna9n6%`x{ zJ4>LEcg!@O^qR~1ksw<&Cnkd-tGsC};sX8!|$*0}OlQ&>H$D@rRnIy;0BKpH7BEG2m(?Rvm=?f!8 zrXhsX!`wp5zo&9{LTCXVVm(AKwD9#?Ge!1Oj=<|qFW{{qh%-Jb^ock5ZU6MF(NO54(ZlNkk9KU zlhPQjRP5ODVu`7TH>j-=<$mALm&gq^UR)&-3jx#HaSnrtM+SgflrhRvgxRC~M(Gfr z@TbhGu7}A!E-~V1TBZ`?q51pP&Qqi}$YeztrhDcSr&$5t6Yt-@{ieLO%?)1=24^6s z<v=pJ{?T65NFiY?xR8`mx+b@vSbR=E<$GH zOLpJS!1ZV(g@0QkHxgYfTxHbzwhPWJ5_E3x%?&eL#2>(~uX|fs_J|z>%GP0@#FsaN zFMs3nMveNZkUh8?-a1hyjqjvNSVw#K-{C!7dpvl2VAm$te6Bgia(M+6$%5kl#|J}o0Z? zN@A|=6{9C>+qmnm|l`oUSkh2}Z9>W?0qz_T&k~pI}nx!7Hvnu(y&g zL7E^~r-P~)y6ln6%tNZ>g%OqlXYUn$}sluH9Z8UvmS9z2(#;$ffx&~X>DGr+u+Y5x&mM! zBTDw$S;@H4c2tSWLS<%YTO_>8Jjh+qafBIo`ylSt#xn{oEF$R(o6j6QXsFSb5Ewu( z^XlXht1l3e=X7pAi^ivrU3}!x2c1_nBfknfETfY8X z9|4X|{2MBywuXVnE1gZFV~Y;72Tz{R%Rg+rI;~rCx{-ZEb?j=mWKk7XNC1K?XR(Ur zWu1ahJ_^ifgzQyx542U26%u@+2CIiB&#J+hi!fb;{kIl@x|w^-F zwTseFkE%@-miHMj@tsGg&1%d@$OzSCjAwMZq0|8fE6OCw>(K3b+T{snTC4Mh|EHgf z3+!u=dFi!lXS5NXt9$5wEk^IjY?){l@Tg2br`?Ky{n$;0wB?W^SlXv#6fz|X?Wo01r@76OZl~KDs#TdR zmVX~5T~?{**MxEtOusQToSO;T84EY!e=qOuZnygPcyvx>C&C-@cdt6gX!v^@#C$tl z@z%oeYSD`IrIIzN$z4}-Ec^Ts<8=mM)~evhfz2iH2+wSVgBzgXnzc^K=E0+VFr(Sx zoB38%>`07a1OPt6pT6TSSJfYvp9CW+ts_6|b|;w;R2MTZlXX+#y#Khn z1iM>a)!yH7@PIJ@6{eL^^mx`>Ym@J_9b*iks3T0B9{3gZZ{S}b|Iq!prDxopb*G*u zhkg!?OwQy~#oc7Sr*C~$R0$emwnt&4y>&DFR*;Eox4Ne4$gVk0#su@JpkVf~?FEPgh!R8&kS2NcuHsUoa9sl)SG%#(_RUZyzTV@}*FIGEC0v*glxVW(oPW_J3PoSV z?>+e(;WbTIet5hKJM-!16*Dzei_X}rq6XwUUg@k(q zM<@9j%X-9C=1AU6>MP6EV$%Yxb7Em^KgvRTBZ(3l*yH+??7RuVvA$u>L$WqkIN$`+ zyPczOXa3$!X?@*5K8!LGLMQEyMi&LXc;Q%Rf<#-CQYifGdKJa}GdmyB5aA!|1HO}& zTc8Kw_V_hB`q|>%WOuIFL)uBKxGa4IuC4hSmh!>SkFVJz<@lVn6s(dKSB&0toaonrFQb9Hd!jDn& z%*Mb7yG0D^r(Q42tDP`Wv$VQ1vNuiPj3cQ%eoljc85P$QS z!XjY2p~gdO{i!X)mxhrpvcrR++QZ2W=CzFjV{aq z8Sb4PV9^!cM|klE0!dsr0NrXaQapfLhUt8Da`uWU%v7|Ew#Ma*7^vS7hoxvcY8SA^ z4o7pC)66jyxF1puvnqe|!v}FP$;G*T1LG@V$PN3Q9V{^Q9#({n<@h zqh(N1&EeclB>Pj13E5v3PtnN!r?=Kdy>wuXKM#XVvj_FPuZm6Kn~$$$y1O$C)!OMF z(vjMRc<8t+MV?Z9b^x~A96E>%)((-J2@jK>cw204)PF8q)e2rtUcOYCy17U>Rb_EVZuj^n4eOY{f7!*1|i3-$1+X1Q_ka!~fAawl|{9n}MoI zRqw!&5hkWZn;fHqzWCFsNdd*>&&l!NSCpm)Uh#GFf1b-%N; ztPzvly}wfKYmqb*+QClvBkC{4eDt4=1kJ@msReWMVIxYacq4_%5g78GYH48-lcF)j zx(Ul)G4w9$0f20B79I&xH%7+WFy`X~SJAX+l$SZr<_`Mk6meo*Hzx^RF#)wD%BxOn zBXKs!tBP%lRq%F-6?1D)dzF=rPnzVML6X^4O?9qB7E-yS)aL9&JcD;prSYLKjzq9o zo^|6J*4!@xtxO7)Kf5#V^9iV@S$Ou82ONPsPo0`eP5|QmIk+?=JpnYKyGJkO)MWv4 zD3#ubUEidct1EX*J7qS9LHV^oT(XopDmfp*;`k(H@ig@}=@Ro*iN*%U_B$l6()j+NIh!C~n!aMWD3BCOQ!p;EEBt(42+6`CIlr3!DpUDc zpZ~ZWsLh$9XuV9T!%v`8{xGE|2p=F>L0$J(>Y_3I$~^atp>Z3~{dDr=CBIU%r59)_J5 z^%ZLJ^1sK|+wl^H-y5+(vM0jS!18?~pbYOxsFuZ!T&igSkKOfZ(?Lf9_@6xCTDG|sWAIZG{E=(7#V@1_%X16WtJ*EU^d%BpEJJG>%|OGsA90irZ0DBw zK#95ShOt)O4WoT$vxTgEL1Mlt3D~u?tlP)G^&jqx?)SSX5jgGjuO7Th859BS9gVv> zwE+VCOCteAc2JBtiDPA`C3P2zx|))? z%A4`wMqfXz(;Hkfi|PH(f#PJ46hvO;Gbff3HY17~hSU|YLx zBejG7{N+u#X($@^7l_j4hbboLGP!!)tf)QseXFIlGc@K%&U!@so>5%&iQ)rAvFqRW zUyP_iQAc6mQvxknsZR8r!S&^uTtV>qZhflxtVHNPNIcFaSIx?$8GArj43XfHwpPEo zatVKOAIq<=__~!cc0!3zJ>hQ-EZLU{=NfO{pL#K4R$JETYPjQB8Hwq4o{sgjxQVlS zVqgtWZgRcFPv(DF$>XT^<@7B7#mGCO_rLVG`$~uTubK+uRN_3u1-q-(Y+}9tHlk<_ z-@qpqv6ks4%cmTD27y3L@#mFoecl80aXtJ&XPXpMJ~dOVGyFF0&o<9p4n z`GOD_-qw;>gPI32R3uHh76$uV? zxeGXB>9dcI-oO)GNj#+g;N+V`Bcs$k_+t7ZkIus>JNLL=sDuZUJ()^MPs?V8Tc3Ft zD#TziJRfm|AfxUG#M?qJYP3CI;PX1s0A!vNH1pM3H(!D|)Z zvpc35*SFw38!$@9SeUt7hR_B#6_?=$8ECb^+w z$!qgUk1h)&d?*=vW++KKoPx3r@vN*;1NV|t)>6I22X0GFA95fD0lC%LdfOA8^5_iG zPQKSe;FbaDX?oi;z#z_TvHnFBPFG~@MNpcMnFs$P3e+(!^y< zAZNy|^vaIKT~3@e3)#ERtUsi0&!3;Dfm<-8L2hYaba(4G;nbgqk-_u|2I?oQ5cd49&P1%cYB=0E+;*E)!KE4=lJsznH%?#a}OpfRLdP> zde35F$jKd^6cCmS;2Md|D1{#s!`gfeKzO(eA=%@`ozfE6>u%8e7b%Uv0d2-V|Y<5sHqoAe$d@Ia-S8d-GErWr%e+z@jL#xv4yoC@?Qqm z{wqzGaU;}=@XlJUr(Q>Hh;>7+3qRt&{H{RX6gT>}U6V?`ANKT${ioben13nM`_j2# z&33JIV-f9{nFj}35K?z}TPqXtxB~e;`n;Zkp5NW=o=mTcob9Gyualp*&PShsEvnS^ z`Bd2GD(e)lm*LcA$|~!4FWkfNVKoMwLqX!l!+T|h^@A?&r^91yhV?_=+b#qzQ&S)m zOTRBQ3|rk*HlD=?e#px>aH~bp)j3toq?%fzR>1s^yjoimZUfY8T$xwl!(OT%FCY zl=uBXwWRp)S7W?e$%|!|_O|dd1f-l6Lfrp88ui8S) zhrZ4F!fmX5ukfepF_&I1Ur2W`y+c@DtWTOff6P{6_Rum01+&8J7dEF)eL%q`X4j=6 Su0oK(bAu45sU?&o5&j2zn*P`T