From 181753782d762ea99309def6a6a3f4c1b2738166 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Mon, 16 Mar 2026 16:16:15 +0100 Subject: [PATCH] [PS] Small fixes --- .../03_examples-disc-rv.tex | 5 +++-- .../probability-and-statistics-cheatsheet.pdf | Bin 319001 -> 319003 bytes 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/semester4/ps/ps-jh/parts/02_discrete-continuous-rv/03_examples-disc-rv.tex b/semester4/ps/ps-jh/parts/02_discrete-continuous-rv/03_examples-disc-rv.tex index 863fe39..e84caab 100644 --- a/semester4/ps/ps-jh/parts/02_discrete-continuous-rv/03_examples-disc-rv.tex +++ b/semester4/ps/ps-jh/parts/02_discrete-continuous-rv/03_examples-disc-rv.tex @@ -21,14 +21,15 @@ $\forall k \in W \; \P[\cX = k] = (1 - p)^{k - 1} \cdot p$ \shortremark $\P[\cX = 1] = p$, da wir Konvetion $a^0 = 1$ verwenden. -\shortremark $\sum_{k = 0}^{\8} p(k) = p \cdot \sum_{k = 0}^{\8} \P[\cX = k] = p \cdot \frac{1}{p} = 1$ +\shortremark $\sum_{k = 0}^{\8} p(k) = p \cdot \sum_{k = 0}^{\8} (1 - p)^{k - 1} = p \cdot \frac{1}{p} = 1$ \shorttheorem $X_i \sim \text{Ber}(p)$ für $i \in \N$.\\ Dann $( T := \min\{ n \geq 1 \divider X_n = 1 \} )\sim \text{Geom}(p)$ \shortremark $T = \8$ ist möglich, $\P[T = \8] = 0$ -\shorttheorem $T \sim \text{Geom}(p)$, dann $\forall n \geq 0 \; \forall k \geq 1 \; \P[T \geq n + k | T > n] = \P[T \geq k]$ +\shorttheorem $T \sim \text{Geom}(p)$, dann\\ +$\forall n \geq 0 \; \forall k \geq 1 \; \P[T \geq n + k | T > n] = \P[T \geq k]$ \subsubsection{Poisson-Verteilung} diff --git a/semester4/ps/ps-jh/probability-and-statistics-cheatsheet.pdf b/semester4/ps/ps-jh/probability-and-statistics-cheatsheet.pdf index ac6cfb55c1f0c75d07cff3babab9493140d71a23..c5cc2d8072c43bd102cea02abf3aaba17891642c 100644 GIT binary patch delta 17018 zcmaf(Q;aSQjE2WEXKdTHZJjf=ZQJvWZQHhO+qP|c_D?o@y%%rNCQX{YckR>kE|knJ zlsaG-kUa86P?#hT0M>ceVtO>l34wg#OaozcIr^d4?i!^DXL=!avR$-gi?|QB{+Ol6 zh04uSfK7$2ACVRB$jYAw!7{%Vm;w#(xm+b9G*L^@>Xvkz)sJ%WGEO&~T##Z2BN#Y8 zOvon=e>Zq6&pPuzhU)OK#;)qXh8ycD+YabPv|**f&M&gCfZa}E@X8rDB*Hb&WEy3{ zCfA+Ry0aL|mFONY4W&%uSSZycB7*sSl&`{Xf-iRLb>}r@rcw(mVi_{Tt_m+>;Gq<# zJ>F8m{pPS$!XY_Mx)4;c;>al!768vTb+h|FqzW>|I1p#tS4ZS;ytw_2X{E;1Advbf zRgTDSKOzWJ01-;zM9t#d_P;s%myy^bSJ%57t9jg3m-KZ9I!`F*ue5+|M|GO`0KNbq z_vC2(UVpUa#YaarOICTxV9EXOxqj{0AqLEQ7}am!?VBQ9@;xfsVr=SqI$TFOAy);^ zAQ7JTU^cFqu!5}($;87tIcdMKogV00bnr!++x-H5wW{(X9p#QN-FSh)DR;>0N2B(N{*5ash&&%GhrsxIvN!S z!Sc>O!0_0MBPp+?@h^9~;Ns-cj4TQ<;vxHiHR_Ck|Cb_ha2X@G^Tdr+Hk=UCnHaJp z@PgTYEj0OZ=@eMrkac3ui7HDMcl17hsQQ!HXgYA&?gS5f z=mTj8@%8YSsM{3-^g&kUk&}&JrW9>`rH5qVEGD)-1lB zLq?!yDh8mSOUItvf6nz<`K#2fnUpD)32cqp4`%SuBcEJv{S;F+cPgpUlE3j$5WR(t}V;L4> zMgBX}YD(pT`GWsTms(_h(&|^u#5|XI%lE$I@lb1anMD&f9w6!5!Pf>N;H5^$Q!*S% z1z%Bn-Tby>W2i?+VDa`xT$&qn9kEjm;8#keM_9!a+b{O<9MT2b4bT~^pD?$hw0L@h z&sywT;{O`z6f`(WiXqj!8g25>ia3Afy@nmw^~AM2K}ZijT~Y<&Ws9M4{NjWY4ees3|==mkg z(6cuyI%?40IU)3``c;Vit7+A#-`*C~;B3XIdukIGSP>T#vE_s=60kPsyV&4VV&$nppKd(AB@Z3(^|rIfPtQ($^wd?`h8 z4{HVXq5WZY>=c{9ekzM~o*%gmYCw7B^zyZJ5+O5U=ZgY*p=^xdG_`ed68|+T817MM z6k(_R^B}u1NwNm{A(rbhjPCSfUq-P0u4gF zVJ?9al4PbbuQ%Aifb*ApDyr*>!!QS1ouoA*;lw8G&(HVMcIW#6Zkf36Lkoi;2@b(x zP_VNGOQDzp?+$L807(gr9~6c+h@lqV*bl!@P@qNK+5M;JK}ZN0yQd)-Qwzg*fC08R z$0#wh^?Zo=KOCl^iioO90N#kAfzMSs*+tnW%*0^XH=3|acDdR&@@M2AsR={Azw&0# z7201WO3!>$&>-nXS!1QH{VoI^!x#91ct#?x-!ylOx!7=2uh5!|vzOiVeN~QINwQ+B%c3$#>CfEtWn!A5>Bjshfln~}J&?41081J%ARUjo88$D| zV%Tk>!sbbH`K;1;DjhgnFfJgpz#tU)F2G#hs)2CjNde?+q>f)$-YqCxoQUWwhvy&P z93?@RrNDxj>yAXCn;C?$aDtZ6m1uzIzfg#JWrmrPXsa8U?QpTsO?l@vn+sz~Yt(u< zB%5sSs_I7BG0AmqfB^!20{%^I@gmcfE|1w{0uIgT8fvj=5~y_+o9{^@9*AVO|D(Wz z|B>|joLtdCtz1=B%?SbDs(O)$L4B=8&Ap@Z7@s7Po+&A8_IT6UOGHshmps_Kss#)* z31Ez`ORhasOeig2u|P0ll|P=+p{`QZrI4=?fv5YblwfrY;EA1g>3T&CRTQ)@9E^CX z#CH+*I{F^fH*MJ?v~s)EAJI{S?AC!BEV2-Hwe@zQtEms7lmRn)9!V$5K+*rWxm@Et zYQw@jpyZK!im@J*%C|_i=*THv{nTOeS*EBtD!o8X7S|4s%(2GbbPjb8GMCaIxg`kf zry=hn;vixU7>|_PGS2}!2mzo+;;3|PXs$Z%MBt!7^+Gxn68(c-0yS_&EUAd6_}4r~ zB%xH|T6OOz@i$FVTLy_-KZhE^y;Mfv*y&3tC2curqPQn{wQ++2lJ(-ghPBO`(YjaF z*+-{F(hdzgE)S}ZU$Sfd+7Wxa(Xr=;lL3RQL*V)eP>M6v9&c(K9c+@4kypIQ8)UIX za9o^Eu8m}I4R5K)7NLU4mXXn9geNTXUsFnEVg0I*7$I@p@7u=M$aSobLD=k`DwIw1 zNWW*-r{n+vTyg!D0jLJ($esK;QXQZWnN?0S7QR};I%LDBaj`+^co;@dY}KpVY=@6Y@Er^0pA5fcKN86>*k@{yf zTKsd5=a#_S1d7pl6M>{96oe_J<;bNjcpazRBcFt)u-v)%K2?3c#xLhvmO+x7OzqaxB_Q4{4h=ai)8%=ecCQie z%2~}J_Y!L;T~dil@;MYWZ4qfj9<&Q#tTdEu;)->63dl<;Sq1Yo_L%!uviOZ6$W3^f zNUW~MY>_~wENRAhr^LQw*24Ei^|A+VmSw<1{LPbd^w?$ATVu@1?&J+)g?+T%Y*VUj zU}^bm2G%xlGh>dIsGwH5G=om)^cw(RDt71-&i8+Y+&MK7E&*YxjuQ-a5o$8%W=4bD zTJTxs&+NgB^Jzf~l=ov)S10$bqBz?^A@w1$o|A-(ro3}sItXjwuIWPwjn-5P7p0kp zJ(ssK+^fo?tob*8Si}*eg+hlu+s1$|=vfozYg!uk!UiNcC& z;Z#jBDHaZ2Hj0ESzw?y}UhpF>cascODeNvDaE%Kr8bB9OQX~oyF2`KqD5~%m?t*#u zY`H`5?s*uEOl0g5?U6ABbAjD0&V;#3=(&GEYIaS(Yasly; z)q_fp?my3MTY&YcjKi3_|OIsKh3p zi4^4rWX@iHe;WY-zi~G(S_=fn&@?o<)AmUI(Z%L)rSRN>X9bx32FL)ET`PX6qLPz=e@00sO0g(|rz@-oPlZG&krbCC zA}u-5Nl%1Dme$>K=v=ZdG^hSg{yO(CshozY^-|jOJ}f*yzJ`Y@(i4hUrSqA#5bDt# z@K29VBeVIu(-PQ1l?DO;$49KR=q=m$4Mp@$Kl)3*4yl4z8F8Pvt&ZA+=z5 z*u7lp7CQN19(y`2@#IClw&6 zc`M;|f=<#`w`Z2zPs`$zA4qZk5{I<~1WT)hj<%F|#cK~aNe&0_nj&o(($8q|EtY6e zT%@Akb94g9n4YBV88NerTJ4$Bg^Vtg9AA z=pX+lD@ov4lb{R5Pbyu$m|c?f9GA9rKeYQWc}^9Jae_|f{jNO2@i>{ZyFq0dyoWXE zkkjENRxMmijqL_VZ*L)9N`8bCpz^hlceJiZxz|A;NgzvwQs1=Xq>Kk<~5@okkGc9zLp*Ke`x`*DNQfRJ1 zNveC<+j!(;6})=b4~{Gra#V2*`!EQxB51)Z0^rUWS^fpc!AU-qggKE3Or_8rR=t_4 zj00=E7lb$I&T}|v&kL()0JM>4j`OI4)L=&Q_Lnm%&^917OzZOG+w&+U8x*+i77eJ@ zfs}Qcquy$p^)wJ^p6;4Bfqpx>G^;sU8B4loE5(|@uuSBd1IfKU(@U+jE`gbeBcgW8>k8vlQyR!zMlM)^ zkbe*Ch7;V2KBFy_h$ZCodx_>b!l%PbtFY>^%whqb(bzPGes#%c3U*pZp!U6!(0O+9 zBI!E*4Go%w)8DZC&7q?N+IkRk4&&?B!`a0^6SmO$0E3!%O_A)^C*wAMW-l7Wf)!zN z?QNDI{mMSILPcXksH`?wgo=x06|U~;=2lcSw`G`}jwWvHRP^^W`XHaBn-))H+QYem z4lBS3r`oXcz3h#_#7vOIXH@Z4$UJLR=O0!Iib3tJtSkPO);V4&2-QJyV3LSd$6kHZ zWU5Ct#q!GS@TpqWZz;80`MtI31Thobxvb7bv`7^h4=AZt=&AY%w2(S01n^- zk(JhZW63l=oqGu|ScMQH|gqskXRB*$1q;T<&I80&O)1$F#J+3Me{jwF-i-2MY`KJcrI}XPQ&BLfSD0Q;b&WFu{U5 zG{I~uGs=Ea;Bhmo^YXxgtoy~)W53Y9_4;AIVN07Hs>Wl#8lk5I!52;#q!Z8r85wV6 z?RVeb|G}u-OT?{yNUI`eYXF_EZD*l0SsyC$v2rf@16 zUOHw`DHbHHn+-FAFsIn`8EWL(c&tITzr`FGYH<2}93ONjXyd2c*E>2et^qqb_*HEV zgHpG12E3X0IuR2bIY$bkkYYPkKv6d>oX&M4 zn#pGMt3yEt;&Y0l#T6fo?1H&dXwEe}X;4wzI?)!TN8UVD=mk{7Q)EoU+RLfUlr=nW zRx>MyJ;LLU|8|MFNMswrfxh!N4ss7uE0w-^_jGL~bpnX18@>NZr~cfpqZ32W6DPxK zB=wR4pQ}wa*F|LIQSWK?Cx%!p&mLT&SGZogz|>s6Gz43|?TV)D+7g4PN0XM_?AeGQ7OB>l88XSStrl-@tQo<^efC4ekr~ z*SJ>&`2yY<)=^nANcZF%hZD#uzF-H#kAZViZT&l6yUG0&44my@fhL&*AHslcGJS9$ zWSf$ASVMpr+2b*(jUsno)@k>*an=vsEzJvPb0ukcN{)#VWUzDRSORn0WU8R(zdtY3 z+HAYoLQ?qd`QEo2_dZfh(sW}jEV{{x6q$jCGXZ+Tf%IO#&Keh$)Gv|XDuprhG!l{E z*ZQGn4Rj49<`TtIA%wSL+%1;b3*AzlI6XPs-XOQiB?vhyUf$4R{X!wz`xezWF1*#2 zS5&YNJbS1R>YYA^@-9#$VYl*_(Za??mZ=|xqqEw|_azO#Qpg5Gs+(@8H16?W8YfGvr@Vz=KhrIV_D!T}H> zu!qcov7WV#zyE9_8pbp7Qaa4h_p%j-Q-MYCKa`}R5YN2qKx}?!j=d>$wp#X3dEGFqzU*{hupI%YEY@Z|ix_Kw_TY zJ?bo%;vuKaJ?ikT5IyRKH==mMDgee%%oBmLxN1LoW}G^&Mfw*<^NCrMbRkfnKiDrF z^Rq5xzcOfwy;~DATRjUBPmQUf(OLMT5u7DdoqApkGQ2-PSF z2`FtUs9V%9tWjAlyA*?gZAYpy!j3(k9adu~JvE(h5TSY}kYM zPsf)VYRdEGt}MM9=&gNdJU}Ue15d8U){Mh3SBw+`4=$)mrtDk{9?f*K2p-{7vt-5# zwEmDR)NL9JQbO~3ab#T3qG$vAYhKU$e1Tdl+CQP&D%XuVO&qtP6VnNl;<5~|7s@A* zv;J-+m3FWkTDP(amqOVyA*PJB=0H5*ZB1hta8hYl(ilSDed_~_2Y^%8h52{L#Fk2f z^Ag|4`=?u|RY<)Q7Zo4;9mRc$H`*(_ ztDBwh0{4+2BD6}67OUeM+#v)jH4tEcZfc~Px*lF`%X?C&%$G$Cx2@bX-xpJ5CaBEJ zHRq4>KM@&iGDs*mdq7~GqUnUvN#sV*Gwb}nm$h1pnw%mfqm5|(vaxGUY?Bz_!YNK{ zu?LJF??9EdS^@eK0!ac79EHygB<1bX+_4(-+3QJ^Azidq$Y^Tj_3;p>Ct7FeR&p|~ z2$y{PEQD9}f(8RK0zHRZi}dazB@w86+{K%vViM3vxYgg536)!|YmZ$TRF;6e_kYVC z4p-FU^D8Pn$vR{%9Sm??zBZR^S`O@hWLbseJz4Fr!L}IsAt9qnbmsh8X<&^rNq+c8 zU#TS?)1A5ddjMVQ?rdgdc~{cBQ>fak>k7sk10e6;cFige3`w#4_;!ENnyy>AqM_Zb zsnaMqQq=1&UIH)Q2d~8EU$2+clh%+Gld}``{qhY%)CP|Ao`yDIp3N*oiS&eN7 zc=v>p=>%f)WQ96Mgbum4^L&SXoybELsIrWgj40%h9f0}VuM2*(SY~>3xXYWPw<@Qb zHZ_$@Ds)ScsRa|?YH-!Kw^t|BcZpD)0@}^>wTj}FD)y50{s{bhw}{n4og3xdzPqn4 z=&=)<0ovFu#?`mb*&AkXkQDBtGwis7q3_s-o>uZX_2}0Wx^8 zx*G+L)o}9|9ige@Ak+SGW*VMI5)A z&e{5)n<2276-=v}y>e4qJdaG-X^^XSuBX`@gq8NCm_?9XF;mSS)GA_Yqtn7hI{hEJ z<;eq{bqAO<&1i=P&}eka4v~`wOwJzC`foukn{txyg|MW<^wjrDFCgbe{}Z7^nS~gX zdQ0YlO#Q>3>`$)YGiT+fo}Sm^L@$7kC>M@~A(~Plg`I>n&HyDI)kN4{Aq7PthLJC8 zzL-K(@5jlg9f5%N!<{)`fQvxj`-bLKC<@^1C_0Le>;3pVcz3IpgV*i(5bK4IyY+d> z2mOso!d;Mo8jMvwfJioUHhtWUQ5!M;$NM!_L8y(baMycsGM;Km*1yEY6VCUjqllboz_7W19o;`ymNfLqZFJ8Q#JnFUS*x zVoMN5ECG9onUDMv9E|(x`048Dzy#pnJ8<>}jpQMJH8@Yg7T`G;ZtK!WS{}Z>a{hU7 zb?qsuF+HaBkUPsnrYXMd^mD*Dcwusurrfv=Tzwp#e)3l6=y`gpd@vCju5!d<#aYqN z9Ov5C?ri=(h1vnUK9BW2<>=}DxxB>hvi*t*7W^>$e4Q{~DV;EK+-B5)=z^(9JBl^k z;oLI7WVOCDEJbIq|4jLy%_zT~x%`StR6U}fork(Aq6p+mu~ZX?KmVE*7O4aR&2xzn z%5;|%XOj|&1KUopHVaX!o)d!^Tpi$x-bVx z?0Ct^6QwwuT<`%0qeArU-68q&s>Xfr zw;c{J{d1T*m^g5!@bvXU{&mxSd3kYlP(;ovcses-iIf)N<_|?Q`p5U3uf_Wi<80vw z9*OSh4b9UmgHI4DuP%X7dKE=5jlt;`>+Shng3MnS(WF}8&mYu;J}J6_lsi!kF|p5= zHz^U2)LCNWwU)}z#hxyFd!8Txq(7)D2?6r}UF5Z<`_Zq?%3psL#6mQEoUBeXDW2imMnn{FJ91%6s0 zdhD@E;BQr~#6voBYeeK<>jw~dL5XAPyDCg)i0PP+ZndODa&#Ar4#flCfKdolnHS*$ z0w(!pv$_t8aVQ>1k!9fl$%Lq2Re?Z`qhN@@d1P#t61yET)P8mOZ<{Yopg%3AtdtlB zn-o~{OC^IoOIu>xinf8#ke2!rY+XrETDzpMoO>u;{Fcs9EV4Hf0y84RW>`s!eQLlc z!GjCC_AAinIXxGF@re&M2-ldT9&Po2#%7kAzFalEd@I>=(LW4BI>?Q8d8606rpff4qw%X$Q6(_}b zgnvR6LA9-Trb&s4!0szICIc?IUXj+<<>+?_Xn1o1jLR&@m$TbkR^EtM0{1Z(4_$M(qn zXLs{>`N|Ubpjj_qHw(n|SgnUP|jX?3<7-hC@+n4F5_T!YU>1Lqg zO73hT%}X-_2hZ6o@(>R&h@!`3lYLx3+Zj!$IY=&D3T%PN>x?4cWDOx!G9`F+;*HvE za4Rt%R9KeDLZZ4puxU@E=BYAZYFa~?FKfH4e{t3XGoVi*Fwtbu3lZ;l(vNU-NA_i} z40v;9_wjKRU4IjhKwg_WziQ&fmxCz4 zADtKEw49z7ICWU|0jJEM)8f^fZZSU)YE{%3W(-HU1w>HchrkAeiFUrVlFX*!bqY{_ z%}?jj-j=42gfYRuV_!1LvVbAO)zjt|JXZKiK%Z9ftZIcqgN3R}jqZ$+^eS>>2^Aio^GDwJM#_M*sxP6CNh0%?BVgP@zf|#?nEMGz4lGVbmbP!k7*J z&?&#WjiLsBCdAV>3cKB7Uxz4Hka|!a0&|SlJ9(DibIQ-N&tcaor9|nhmZEj9_13#O zU<6wuLxOc%cRxU{TP0t$)}7HB3eNwI!hKxZ@Gs9oK$iflFlcxFwYg>7%e^ldr%}Rt z7i>p`7vw~Ly!~4eVtOH(0?yKMFTOf0xM1&BsoF1ClBch@wt#dJbXG)Sk3cpt=iY(D zhknf>}!)HEl zR)T+-Lh!u9qjz07C=QIJ9rRhG)2*bKFkx*9L+{zKpOq9Fx>PQHk;9pp?i4uxX-gll zZgFv5gHHQF6YR7&SL^^OyJ&6C6Vxi+$I+WpNfre-Ka|yrGNn)(`-d4HQ1|q-clXpx z;G7ahqR5*HIkH^o8+LRiC25EhUAs}(Y!tDR^Tj2I^IZ!{6_P|^ufSoPyPIL90#rr= z4epVsN69yd$z0Ja_4cWS3bT-xpA%ggT76_+TFyCz9D(IQc}KX#{O)yI6$*d(A8NJz ztzQ9kKQ#kq)LHu3$SY2`+56mGL>E-nrrWx6xOr!jX_w2JcEa(V>w z`T@XxtOoJyq$291Q$dFjhoPzy!Lo|eL7JgaL6 zom3-bFJ(llv!2=Envd}lVd^u?kWn8NL%-l)I#=H`zRCV**QHY6u@zj7u;fPsz=(bV zvJIPS70+kw0{Eu+uZ-L8`bJEUnxfqS$vcYec;Qrml^u`Ot;U#e20VI0S^DPTS|fmR zr^mIE`-(W?JR|t!OUgxY27UQ!S_4Yo7b74w6Z4QAwQCZIr$QVd=G$$C9unv;?4{e4 z-A0is7fTX?t=Gm5Jw~>Ya()poO9Eh@zsl791uOMXf`9A&VCh%s9Z2FA_a^9fa|F&U zN|QF|9hLR+8EmwI$?M&%7aXEUh0P^C`w&VL&F-3w&$|T-B%xv5W;EJl=DHRXHQ4~6 zQz?k-S;?3Wc(qScmQU+Q{v0;K|gBjoU51?7Xj*$|GXAl{{rmTrQ3JEI=d*gvp2f z2A8ZDkp=-2AHsrpk0Y|Zv1c^OSwFAtt8=*Bk79VaI7C70zAqatcCP!h(;1iI>sI=5n?H^Bt3rsX{j!3*Uv$@XIFD5>Zk>yRcYY z=>5Z`#emoa%Lcwqu}0 zKdNC)yE3LRI9gAq`IgW4itqWv+Jva}g(5*Y+)w|D40tRAIM$k^+J$)HaH2dna&V$% zs8YTqrR3Zc`xJk-72e2JlvfN?n@IY}>?hXB`|J`knSQXe~rMIPJJU8)a3OJ$sF} zHRz<1-QFHLAMtiA@vehnN zUxdKWwgs)Daw&bgypjHZ^%~%x1JID>D7Xm)pXHtCJ`F`ervrq_35&<)v!#Ohq_HY%9!8X~h>zIw7Pk)i^jiu72c(1UL0JuSDiMq$p$#=Xj%SBsLpouYtv! z%V*lh$OCP@AP`4hEyRZhM$JsvW~o%S8RQryE~Yh%N}wj|qkOJQ#uJC%#1yQQ&nh+X z-q;HP7SH+?+dG)*2+86qSiIAJ`4&stu4+9lz_SeccI;9di(sPYEovG;*a{*nl>b6# zE)V{CJ;H*~8{u$-h=Ui0AM@_sVPd5ciHF!`S~rW48$_Bi)^mRg$tLytYQ1SIYcH|5 z=So4SqaGSg@@n2bYLFD{R>!2!W6)z0=zY%i^0vn0U?I%Tr`2qqDQ#c$&1;*e2itYYd1FKv`q2zew z2IjhTErmK?^Qot3lS_L`oy1u5BMeq??oSY^+|wwxk-J%ZQGeKbBBnH8DUYP+N3<9L zO#tvI!_jZZMgfO`@}047qe$a6p~B;RL>VO}ToZ^R;U^lWn*op-(>~5DRYJ?Td*apz z@AK+JSF5#_zX`<$gsJ6-6BK(0a;(;Pm%2!_(e{yOa#V6%tAbg6Wm<_4aK-5eJ$Gb24%T8nR*;dw~l(Rh2Gf5TGm?1k}W2f-$?BpgOv2tR* z+GE|wEuk8pA(w|L@sfg~$n4PudSA-#YI%Gg-N7uy)xmxKHa6BWUIsm|TJzifeZ7SX zh-F>YpANOCj#;K9=o6uvc0fu*+|=AI;v#=C@6cq8)2<>QT|S=Z80X4pKVgERi1+W+ zM)4W;jA|pFN@MF=g+-nx}>XYE}o*0T*-TA&$#}5ygBnxE^}*g$XA7he9F?H(=O@WN zI?4>>IAcola){k4Uy?xtM;rtjl`}Q$4Q0>sI|DKD$IbOZe;yho&BJfSY7 z>n;MT9Nfmk>LM5`KgT5(%Sf!s@{LI^tRb0^vo)il`ov19@g7KM(G>86TT@{Z-F+d^ zKX2OsAMS8!qfOCa53?eE$h>X^a)`ov1h*HxvQXtXA4O20pYV%% zd^Zq#O3AW63P8R=iaQ1@md@3uLNXFsgK zZ+Li9oMRse`1Vp>ycM(OI1&@cxv3F)m$8-f==nab6D4rjl_Ty=;BX!(V<4l{xDxHW z!VS()SRvw%f{rKI$$q{y;n(QDm^pgim6pD~O6=`8AW(z6Cy|Z{*(F$b?6hLJf74$I z0msa4owtCIV9O8s4d(c6GU8NNBcX1kL8A7J?8@CnV@wz|kHA_3%u8{m!7<3C%G)ke z3Ez6YrZU?OLVM>#Bpzp9T^!6_H?;zeh&zR{`RecmYnEsyouW^S2WuP7(FnXXcHB&R zHun&$plF!jI`tj@BAnAcQj32z+GOvs>PpN-!AF3X!C{t~^36^g9@*e1XmKe=0k>CK-J4GUR=IC~V6%mrZ_#UkQ%)g>vot4gD*~ z6?Fj70bP}SgHr%_DBjUYT=G$DT(Ys85IG=PuwO`hW!-w(rLsifif{sQDfd64IsA!n zRWpSL4@xwR18H@n<2>k=LTOUNS7709?8dXe^4t)WRU4N% zC%0*+1jYtu77Uk1Q}yqFh_jGC4b`UAGF8BJ?40q6*(0Vq(dfDdG7^4hv=cEiKK<~`yG7~n{RI}sW z1Fjp#t?cuJb_u{WTm@639BH79E&wydJ~s0S@2Lsw()tpG2`e~P+L(_GV41?kh{i4dufOi)B=>-2i`=kAEh9pNg|p!sR(A)uiU(!71NX zwq0Xwj-c}xjOFnLVVPqwd;K_o3%oXk$(sZM(Se7sGHVk#4J?bL&iFj&tLteS$4Ho= z)g5t@lt*iSOookIXWsBbR)MM81zY&NJ6^l&B*fF&cBHs%h-}fCHo!h)^;P?yX+wxx zdaFHiBGHdPf&$_yC5;kvn)`kRC7e;s=`Wp(r{$cbG(Z*u|^Yp zW0A9RZ%G5+2zznxN{TY@)N83o?yNkZJjAvXG)qzh3?sJm`{zC0BA$ z>jujJd51deV$)={Gy?Mbb|CY$;z13Q7)P{X_!ewPLrbkr9-xY^QgTH^pE(~(F4Q_? zy95EwLDs5IDR-&*ZOHfl|1iN1CNo-#P6UnX?dUkb1hM|L?J0QLc3@DMl_oHn0~yIvYO zuXJe$1uwLJDWDex&zUO;eDgi2$aW?~-QZBujnGBN!ztP_3}$IOtK{cop`Z633%#x9E&EV zZHlC6svlggFof>kMcA&p+q@zdnXZHtpEK2xDm&a9aX<{H51VHqts@p*fH5`3?Ou;( z6b}(&u!KF7Oj)v((_~wQ2hOq9^%v{Wy``qB!mU_R*^edaXw-4i!EW#dhgxC zym!0cIE>|7h=sj+Ksb-I=eAct-RzUfEmN$I%+~9|=&>z{`InV>!v?vIm7`JiLT+rX zZcfT+4gfW4n>L1}y!H)WjA-jaev>)qo=xXc9apbL*}WE3ZHzFBa_BP$RLI6T%{BQ? zL;Rx;W2QEQ$oMPK|bz^YkP}MOvixQ1g|mtPZJB|?I?@3C6MW5B6P<= z8e zp8T!hj8~$$UPH3QF8 z)aoFuaJpav6&68XPDL1QAmEzBj$|6qx5aqVY$;n|sC|^88te7pfrwgl$y?Vv$kSKz zvdJ~F*`|lUGxo_=Ep<~KG2DL+e=0;aHaZjR?4|O8=B3iyld#KG9S!PbJf8lxkGi+a}D|QG6qYO zrwsLAPA1_gPjO-|@P!=^?y6R-Yyg=;Sw%*E%;n7)SE1*Zr5cEPjxzjM%t<+muDu2Y z4;QYkt`B(~xdYYy{j-Z`YN?8t;xdNb=O;E@&jE^~@#tHLD1^}H22Yz~K?HGyOrxat z(;%$+^4bk-N9FxsOoa!SP|@);R5)%DtG}KvD|pzxe&(@fm#AOO|JLLbW%oVT%>s9VJo4 zqYA!$dY>F5!M7Bx%GTWtR+lECj&X6iMe8ME8CP5PuGU;LaOx%;sj59GhIH8F33z@X z4>u7EtW!aD7Y@{PXF|PHwbbK-l8jz18m8F++IxsGqv3veXNro47C=y@CF0#X_J9t@ z#aj50{=l|t3(USPf@N$vCDtRkDY2U!KW*{#bTkdK1wELGPdI1qARI@d?x+07RA6z? z##CBy3%hCc_`5$D?R(RbH^DH7NOok0N?3H6Q9$~e(vF@OEgrQtN@@)!8}0s;HIHqS zuRUlLvl-<6?aUv*7GR)n2wN|(L_y+BNyI{OX&s)Gl)H)z?pzuGtKMcjMKEGe#*qHy zGBfQbH98*J+pEH{KiJwcv~;DjE*edET$dUiq12M1HPEh`x;XQma9Jg!pIjnrN2vbs z5p{f3loe0w*jA<3_>66Elrm7+U!~P--yK{OznM5Gb_$@$>)7jF zJSiUTk*0Bv1C>srod2i?m1-%o+_Bvrp>py!(NW63_T<-2pk zr^9Xn%SM29m+WVq66TNIk9aJ84=LI4*DALrjS<}!yRf% z577zqG!h*p7n-tj&QWsNeF>>>F$j!8#V0B3CWq|k@w*b-#um+;5Qq2A>A(FnK4@bw zgM#Zm>~Zf|>_+xNThUA{hKf|{IKL^A2FV(_o&9m*TL*3PmWB+ZB`rY+>&aFp zi5LKbw1k!N>@Uzno`1|8?Yy>rF+c6;g=NL6L8F{+pM_I_(j7X9?^ z_O|`un-|c|Iz+IZ+Nua3>G_Q9U(NXF+#f8Okw-r7TVAo6iuW(e5EJ7t`Ga5J9K`73 z#CcGZz-Xn=XeHqP1oEFiTcef0rUD_^nb?>(Ss7FHSHW=qFKG>21yco4;ACXvVr6C) zWfTz>W?>WI6k-t*=3wGrW#r&sWf5cN;wR+&e@k?r8UC5rnmL;jag@$*Y3zt8WTzvjcjQ#zc?KaEpUe)9&USdowJ__w4O>0QX zP%I!eQBm?$X*NK+M$v9OY)+|QkX{~+{nW4lf(;nrkMOLc_`Bi*vfL)0IkH zd_|%Kyc4&I5Qp#+hzCqHfsSl5N(Ve-JSE;{pa({LOf}JFs0O0YxX>7<&PX3_9lPPR z-m2fr_;PH;Xcaigjy!Sse*!lG$o+qhd5do$;~#|<;tPD7Os~>M^7TGJ#%hH&$j*Hi znLa~@!>RcJGQPCX!Ro|S3Tou-mTI=E>-67MKxeuewGu1`!(a<zY|Oq;681?I)v* zg_hKr_5f8uhj<7@1q-IJm;#5v5irfu6<{%-s>N||0-OXhU>2MPXTVwZ!4`i!10_%e z3Q!GdKrN^P%#kxV&bT<^;tYv1B+h7f8(%PDY4TgW`5@@9G^}BFrouG=YIz#n)#$Xh ztG#Jz=Y(8c+|T=@)U33ls~u@VR}<2DuGZtMTn#tI-}Gjx?`kA<4*lZl7rMmNC29)_ z?^N2Uv{PwUr5Rmkrk!DT>gIpc&AB&RH-mO`7{xgI5fsDjN5M4E&7l2K89#yLdT`3) zl*dm2YUI?&sga-McU>S^{-`UVba`Z;1aeC=uk@hG(&w{Mg{AL%q{^1=Kaq;N^YLd= zad-YbDphMXUY4pe`?^J{-t4c}QVo`k{VdgJ*@Zh&O_tqwD%EVI)=z(=TC8;GrPMqt zy}T#YYI*b$s?GA2A*puDdw-GYu>AZ5sribNms7kE%M<=UQs8NL)Rj5%VxBU0t;_08CrvCv@ UP3EAN@ZAI<2sR2OB}Gq03Jnf8{r~^~ delta 17043 zcmaf)Lv$_*u%%<$wr$(CZQK51+d0vRZQHi(6WdPS?boZvJ*YvgRii!HyXvd#Zq%%9 z)Oui85F*khP}o!ufUri?-ubiy@FQZmw54|9s#?r_p`%?YOU|@%++>>syKa#HK9gAs z@iUF5&j5!yV}Bw$f$1ffH<6mq7WhIn$k|*)0}Kg!p~lv9ob9(7s#;E0oMMnlNJAKe zP%P+2c0X?f9KTjG7&BdjBnxjf5cBm_FAUZKh*?i6V%z?s+%lAmqg_qZBuEi>Tt8@CQ9fKbXJV0*1fx9|QYJfl( zsC!bPey=}z^W3`whaHD1RiyYX;LNDj@(?rj4ZP|n(7{uM5%mtOO$9z}9Rr~wov5oE zc(5S%Yw!=ArI@mVees0zIwiS~nWJHtXH4*U>+78~plE^}5wxS;UTa|K#Xzw-=-~Cg zDWiP92nx-%`#;+sM^Z^lScgFP4E+jqL*i~=OhT1d^Fb<_9emDoPr1BG$J+qY->1fP zT+5vXC%r5;2|{DhCPY4A6=c3Xef`v!%BesT36o6B0lfEbnz;&wK z1RF;{sfn2{HwpoJBOq7r@42~+Wf?Sbq%*EF2h3@`Pylt3h*~BHkNIoMZ1`WSClcsl zAnQU$%)YB^r&su#`=Q>~>reCB9}l*auI=^M&T-Gmn5D5io}4+H

#`-99IRsPoTQ zdnjVJd8_x1>Z!WeJ8ThWDz-lQMlP@QYI-7ow9&$9e{8%x0sx%4iEsHynf2g#n>!-# zz891kG~oSRn$bWK=o@93Z*DfCsX~I|jdu3#4IfVm`%(a+iYyR@5rLPFk z(xDq9nV{$Uxb^o;h*KGJr}2>wlUdwKEIpI!6nc*N?lscZYmz&^_Zfg7Ijd?M1J|$^ zD^Br5zd4ly9uQHIE~~=zsN27ag?%>jn&)@H_rBKTK8rqXCQQb&L!cLw-$R>-zjQc+ z2D!5KqT_eL(ZHCP!1e`3N}d~J7r6tV>|aV{L|V-p+b8+<5j6QgW%Kca zoV7NxAq+Uw|I6eeBZ)%)V!GK)Kl0?0=K*ox$dADO7%@HUYC{W@haxeL-6i=rmfiRMkRG zstlwW2%Vch$N88KWWDv)Am2!cdZXiMtTf1l@J9n9*&dQm)U;Q*AmX+wH6p=SE>WN| zhB2?^@xEeytZi>v)GCugsI(g(D?LgSmJ36YnFSUXaK$SoXA`j z2WJcMuJ>;F&ovH{%R=Fg6(O`1m@&=i^cFr;&#jgWp${|NZUMGpfK(^IHsr09DmXB@ zeRC1K=wwsnS)K7tMjSb+g@nNiF0&$hb&{^U^drYK*l)nc&5oZlf*Pry_ZDVDQe1-d zph#zR)CK7DG!Dx|U3?Yrj9^+(FYq#r;=cS1er&w_15;2syId6z^*v&o+?X*hRB12r z5?z9Y)}s^+EK;IP*+{+Xv>SoX>=2(PF{?4S5YG?`JTJ7NkU&d*-#qI_Xk0A0-gr!W6LG=O(Ue~K+MlH zAM%>7aQM{NJgM`XOb3b)NezfD)QduU3A5F+Ya`iyPyxG{Y7r8b^A3s?B_g@a;g=Fv zr6P*85T3L0-WE-Cv4XM?Pt-7bkO-5MiiT)aVp=|qvcHzz3>OaBQ}JAJxU-;fM6Z`c zwkim$u4+@7725%F>md=P5ntyP&#@fpa+}O2;?i90qE%QYfjMSz1RpmLfQxtg-wEG^ zTuS`TC{^y)C^Zx`9~1Iy=@uL7*VpLQytsM(5fn!yx`8>1TFGjYIs66c zrz`I*XeS0V{}U&3U{eHf9ukZhiL2DNud(HE9EpPo-3w`7K%xM@2x8)eQe7EGE!8}Aj_Zi@zyQVLZjB-=gn;EwyJ&20$C$%sMO$@c(!EWw{_OR+YN4zkF~&o9~&46@xM zJS-}q)A-TYp((1$&J;wz+B>%%|XogsBg8cpbzUy0))56%L+nEZz zlqmAQ%Y8*`W&y+MypF)sT7r9_4SuHfNpN6P$hrAlQ$Me)8W_{tCjM!iPE#95WT;() z)5TCtV(0NY9W+i)_+AeJ+9yl+xKi>B^?h_~YO3;V;u#p{9fyIQp6UE>!ngx$ z_~xu;Q+`S^lP{^qC;6L*A6X7R5 zN+VY@X0c76&=j-cy;0*{ux=6jp!qsQu+G+FCH>$lK6vjo8EUfNWOMh1vBN)HZMLe` zGO@ROu!88Bds;TfPn1`w+E~ISb^rhanTuRT1@rwMptp}K#HvA=8d84;JBc>y4YHy^ z9nO1g^5qTT#s#*bg{g$F=;%-dR#Dw8&wL1FB(Qd)V%tNMXZIAmU)W@D;IWEjCsd}Rg7Z_s4I{}3)J8)aaC4?hWT1C966-!Sabyg@J>|sSlmN? z;0$3fWBRS|Iai>A%j2+=U8XVj=s1rrNbe;iEng)POpo)$d|yAnevak0P(tXRk(OHL zv67(yz*b!KcQ+A`2^+Tqqx3=W%uPe1`kXH1@13pAmkUqL_?JMqo`Hbow5%A1u4$6U zB@9dMLIx}GgnZ4}hN<_$Rn4O3N*X1Zd9 zVsf%${fxv|lxc%KXP%`yA}czI@|QX1$>p@vEqC%JuVFD^sY2?a{gyzsDs(_dI6+c{wLqEnZ+|GC+hMLJwco>iPjG|&TlivPeC69{x$MHB zN%wNGXPC_US+HHEnvz|c?pH=Mha3&aeyZ|OVRIq>wxck2I6!OvVdgVR=P|CSc1n<} z=Cz2|H3r#8>#k|iC_SrVejvrmcO1?E2qK+62IfNAgP=XcJOvQWZ-Js~!X&TTw@9j6 zagK)R)WHorb7GlMn3XMLL@Mxem3@{O;!)4wnpXr_9|hqSXy6A!?5$@B2{-;Dzphab zv2R8}S&Yc9Da{B*h*GkAuAn;WBPDm^b?Eqh{FFKd>l%a7>qm2%{cb+#c#YO1au<8d zrMS~os8OJT9tY@}*3(74n0yb(N9$vw;^t7FdaI2mgCO%!9qvdbw3teF*6?et z{1;f`w;-ldcb3gvYgJHLEm#|w=Awi?SQTbEe`h1V0&^Wg$Eu}Nt~Z}zzEO_%c3z)q z2UJ;k-1=y1PYdPkjTINqv0fpR++zQWGGPo*J7hoMsGcaSEQcOhYl6mn<_{`#iT zcmC=5{I|r-jOcSVs?qz1sPL2J7>wom50wzn6HHJ!~Pyx*EG4+XNW%+1wl+}Yyt!zuo zR(pdjQm?*WrA*Dj45px02C4phQJJ&5x~Uso)pY^xsIP-xD;wh{hdC%<EBQ?a~qBX*)$^;2A>Nab{;F;U2ZU^TmQ9z9Z7$`@L!3x1+?3^Qbo(*M^hNsMtL z!a(pt{lm0Qu(c_WqM6Mea_pO#Rq^fot`gt~18Tf3;5%W= zEYhS*o$aKDJFJAE9Xiw)<-s#v6wu8tojN&PTMNcu-f4iu-A|avOg~_^^m3`1S7OPtF>*f8xN!7(CA>?r*$064 zhr+?&u(xR%m&3p4GuA*H$B~hD*?0swUb&Ek9pP&=kar0%Lsm1S-vu4 z@GMbr^o^ZnNKnS8&gs3LbcqB+;g-1ZQgoLWc znV@LIQW#%rMI_c^Sf`N1cBO7WnH3uY3}=}SRR^K~9g3#tu_Wmg&J%38 zq7$q)@)GUG`S13_JMQ<*$p*e%-FFN9TORLD+71kuU~AoXtB{6EkbMxuK>+=&kdbj_ zj{diOBmZogb?KyRE{uNB$ z%DcN4D`-YXj>5vs`7q|x@q6Kgv$O)Hc?Zom;=TI3HqR#UM5cIPQZ-5>s_j?*-^1dV z9zOk_E0}h=xgLfisWwK7T)?6$kFBt&{KZQ5)vnK}elv;{J$*Q`Or2GjyFgH?mU?XE zV~0T3gRlZE;%M2{nZmZZw?~WHz0yxQTog44KDHG0d8H3kl=x`?tnhcF9}4SG;UGKA zK3m{d4P0oglX1xI5M>;knjozC-%@@3_R{lihWWL?JKn^gROaDMFo1|Qko+Xr^IFY? zL<8LLx)O2u)|`QeQe1Nx@Tvo)j!kg`ML3u4CAYL9uwrri**S}_qOk10qyhoM5%GVw z5HPf6;-hN)7*i@j!+LWl8pA?QXF(GiAmS|?+*_Fi-^}dX7W$*^-7rrd7TRHy+&t{O zT{;;CC)F;?KfyW-wg8p!LOi?agkyYYE9O3hz<8*l`3v>s3EV8P1;Ju6w0Lm~ih(I? zW?8hO_6G1~+ELTFyjgV0j?!VF+9(T8SK%p_P%JAbR=aL2E~g2Vj9n9XcXPco1L~@Z zz122eue>Q{CEIemrBlFdj7t1YCXv4}`>kPYDWB|8sz_Cj6(D-uTz8WPRAL)len99X zI>*jj%YBmDNjej)f!B_bo;hM3rHPS#qMB5d1%~Qs42L^5Ju`{sn1i01k9YD)QWlT8 z!JT^+jaqr~s>uW!7<-DtsG)kUmG3G<&ri~&feugT+r@c@iUD!zO{;?o>k6oYOKA1_ z5I9W_Pxz~`7ce*R&gGE)=q5Ey46a?MtA?aJyc_#ds}Cj3jd!Fx8acL82^@Xh+~LMJ zvYBjIzd8hbAT_rrL0a+N&?bUEmG(r}gB~5#wG(YkZtB-VlaWtDI#t?OxUH7PT1m(M zdO5Rl*gZV{K)zepS)|Yq9`uFZVVrA{R-x)AU})el3D8ek)$S!Pk^OzMgGC0#Op=M9 zn>0)ge5yLu(GpisLU*d!mmX@lu)KGNRquM~1YdLa-4J2_x+SjeG}l4l0y^T&)L5aa z72*5p4090t6xVFis}f&fTU#uRG=4##5szK`#Pt2#W>CR)8 z(&W<+0rY)k*umh)qufz;m`tFk2ZSFCKLE|iw)O9P8ld)b33Sh)(6b<@q^qJAF^F$kmNCH}9gTP-g`m0%qzCg)@2popjIY=$|9OmCBMCX+-`0zsZMOOT3}`~qQx`$R)Gcg?GDJb4=I zFK7@U_)ajO)jPe;%^%=Bb#D>X_67T`B}lR=YB6ykvtqZ zSiAFK>xjKXAJ$;7HPF|Q)y!e8pf-I(L~#quhtWn7&8FKwU`|Xrm;TI*pl#?)w+<_D zVm9ewdS=Nv(U-656OI|~CO!$tszjwQLkgzG;u)8m`%cM$2mR_^h z*gbURkJgzXC`V)13nVleC5VKyCf&2Jf+`x$5dRp02oYRV2+RT()da^wUbP6^fF*q* z__WwB#zQQc`PLCUBKg)$>?H`q0O~AY*vA8w@wC5ntU0y5DopMVXVMC(7^0!T0C?Y> zvs0es-%^+gLkDw92g7sHj}6&E355hxal9ooei5X{LkF4~lK!25V|rM6rE8BWSzwEQfzxsnRogeU#T1P@Q*1*( zKFZV`MQycNct!xhA59NDzNCA!Lmv(=VP(#{huV8HHX(j?)B;1pf2v){s_IAy3J~{S z{@lKv=&4US2D6Nw;5SZTfcT||_S`u>htu{4ys_d8{P>_sc}lCX__UMF0tBQJ9Wr@e za3&MVP|xWwsEN(1MRBP?YZC2jU!}b-tA(mDn9{$V8oc&eHF3NuuB^vVDr)i|zGxrB zPy4$Sm3knG>AY$yoywF?f3f7ZHwO?39OxTMK~TscP$ZH1oH*|30Poxe?#%(B<~KCj zJQoB_h9tIjIDYcR-!`jJH&3ImQLcc<7J=*G&b7V~J4_-Zi$UU7@VAycjPC z9-g;i%6z7WiP0;3TP-f02!|0Zv_XM_byFj})phZTTYi&66hCa5_-$n;1V5Q8GeH!m z9(Vwr(gKRwWYACuK)bLKHS00;qqzN`&mSua->Wq?O~u6u=4%N;wSOLXaV(Mr$`*KW zB=4|*-T|8JHA2is#NveRxN`p;sLGp1MKjIj)0bmtle*}w5DE0GD>G3r9}J!n-IQd! zkxnJV*$7{{1!cCHE2J~O?DgmVb1Uy!>M9Ya-?yqBtKWphiD`5v217{PT*wOZY!!A9Y19S=?N!@6_y>VK%bu47K$Na_to&i{zv|N3KHp z{uvx|vzkY4nyXjijxeAKbXw^%trL6C0#}yyP!xhb064SUgbX5%7E4c#ObmLn4K?Nr z(x;}9i$xtOuyo-PS`KU*_x5T<1#OV3QNwtkqr^VD3K%U}6-1$Uc<3YO%z-Q>;I2r@`)EAD~2# zXqgoE1OBL`MuZogcx=*K^+)w+T}_QcpZ&U9mkANY!wN-@>66nZ!nu|yr?Ek8gzR$;#l5DPO{gZ+J@YY;D25VZi(YZx2Q`8w27_{a9U zWA(I{2O=O}8TaY>~s>aM0&F0WrKER*sDiQ!Q7-mu%5k*CXED~3Y z97-MZ%R( zUGs5+@0>DLJ}PZ7LBGEn-uV;@f*cM1WuR*0!NR9Er=#KNt!g7CINJLhq8zchr6t*Q zu*1Xma}N3G^%*ek=`-h87y9jXoU&pBA#s}t8 zW}wd*yFjiEVm02^I+T={3QpKpbw==Ku@W_AdH$?|tdo4j!Yf#n<3KE+H9(qRbL;Yf zQmj5n=Ij|${6aJMd>w4^DULbQ=FcsC^wF-ORzuuwz5rBcBz%2T9xq?&`IpXJY8GTP zE%a~}`3k<_J6u!qRU||Y!5#pdWNuyyKQI9Rf9zRm&}nx=R1G0XrxG$vF<8LePa{w_ zdq#mP+K$p;v^i}70cO8uGpOim_>vouL zjsQ-DDJto#f2+xdfsv>=jTSm;?Q z02&GeLmO4toDVeUll5u2fBlFk0}@6wsZ)f4LPZ8FMPHbHC#EefzU2E=Oc7LNi41MG zslH^*Q%A8acc3T+64p{|)SLpgYR{Jm0C=|K)OuCSKpU~mzJM_WFEMGS)j#!THo7(b zdUE6+WP;ajSyC+m*}3NktFxx%E$Ay=R+hxD!Bd|a9@!m zm_Ih74sQ*C4!9$CNBXOYpa*$pJ0&uzDC&S)eq$Su|&fN%C zJd@&6d5w;c*_n=Uc*qAeIH5)H?%+EUaPW^}Q@S1mPn1V2vFXZ!>Od%9BxM0Z+O+Fl zAC0haIn%pt^YOyT5!t+#`p&T50Pkn?&eK$#Lv+EN>{{rf`#ekJS2S~V{#6C&m5*iK zj_nr?sZ0u~5))FM&5H+fge@3Zu=@J%^>o@Y`4GkP_Fa(rh4%=FE|YA2w|^cH|+T2ox_OY&M3ezbc}uXSoGe3 z6(!npsM81ezdbzFA$T5F)(zYC;4cDUoePzOW1xvnW;~eO>x!Fz;H-3`$zQTd%c{!_ zi!AGvnb)34q980n;yV68XMRraf3GwNUw3g9cmebKu%&LER-?J^PaY zSI-(`f9Ldi{}z13H>jSqRgT;87SG;WVPX?~UN2rjXj?BCf}~g#Q8T5ezmr7z`+gr>9-^zD!A}7pa z^OgDG2&h+4nmoKiY>&;kv0wEbhLp1PoN^$)szcVjwMIVXFFsj{x$s5(^^9+5eQZ}n zQCCtS&sMHo7Cyi|yOpgyrul{`*a8lMG7r4e%zi<{Tb3y+Rihb%2R0sIH~>I zlDJc+LqBl(ECyX}?ddkl1Cee;y~&@ESkK^SYJzZVFyttYdq>GUMqUp>8o#p-(y7mi z6*!X|@W4@>*d;vSsBo=xr3G>AB1xFL6@$x~As8^pn&kMN1j&FhCzdya4M9@qC6Bq! zQ^MY%7a0KR5O=HQIZf;@zfIcXBo)mFxE?ZslC_ykC?qZ68fPR8h=@pLqZ|j7{~q(` zfuDJe-1WRc_mHFs8ZML|^t%DEwnrX9ONgcok0y^Kf((lC1de)9#-}DnT|UVCb)iMU z=d5mD*(1ieH*NNfhz6VgLAx-Z`?>96LujDca|m!a6zW@s{hL`pF(l@^k9ut(hxTl@ z9AR0A5Z&-id3#6h>IR|4NCG z<`F=^t=843+E_5U_=i>++Dx3C7Uu&#*e#UEjx@YP#DSkRhY47TOvi3AL7RS`)0JzY zt^S}1fs#BnmKq@^eZ$028-vnRQVRGz8$R5+Tx;cm4Inj?mBmS=58_bDl#P#%-wIml z3psC$)0uh$RQXZENHwov{Wgl}rcaJ6OaNd{ry5lWqeDuP(;HdiY+GA9z8d8oKLktF zPTYp$&CI-EAU9t{vhLcEzT~KglSV8qUXbEdT7)uF9_l8XKKVCn!;1Lc#*C+YX9+bUlG5WX|4DYg1)eFHR1 z+|Y@%%0i#<#%7&RbyL~<>c5=5?PGo+3?~6|7{azf@PQet)Z7lOdZZen|K0RbJu&vg z;*ygG;Gd`#A}Q4U&~;33*Hw5MQm^>Do-4b#fU5#ubk~djcINl;6b^uaLM?{M zZzjSSCo!SgfZyK{+CMR3sY3ljTLYXzt8J;UPiFJ7QbH^iCw6=OZ9%oYg0RmpRr6It zvOViPFwy)r^Cw1!gIhZ4#b)jw97N_7oQ}WVm*BlnB^@8d z)-A$soqfrFerewd4boO{-Y0!wxBXMLSm3O9yBbJB7Y%I^>Jz8&~5&-m`wCh}P zKcD%m+@G#n1ErckK+1wOJ9Sr_Oxp23Ay(}6VWkTHg-EZ zdM}~FUcaY2m~j}U$E;Zr2fo`w8PuA_W-HxsNM4oW@N>QFad+VnX_;uXnF4kwTBfoJ z{G3=9UpzXX6qLh~A##%BUIE73kn5Iu@r3VAV==0~We>pdKiu2UzZ=8wZLvCZq3>vH zm(O5E>e)Shdyav?)@t(h)3eTSV(5-n?D&4IU?9nj8#Dba=CiqVqEs|P1g#lRx)&Ma zJRr3}Ei`+bUKUokXx2ZrGmglwmd9V@RQUO+P4oTNb)TV-F&iVamH=pMO+kM5{|vq+ zkyi8N##0(%UfxXAe%SfQp^ej%i1tF*p56^yg|jA0QB*OF^73yi60p&e)jp@147CXk zkQj~;(;;VgXUo7^y0b}9$Jgr7&H$EiUY%)POf^)T(8Tl+>C`Ca()-~|n(JkI2OMx( zP-7?~&upHun(=2Q6F^n1xkiFi6$qFZ#0?7B;q>||XP>0#EP5I<`k3T#M=@*P^K4N+ zFqN8bpEH#c7mWU@~27P4YkKPfDx zvFinRcTAi5S~C=Lk!YW#H_q%}!1m?F2kY_{g;l93Eima722jI7H0=OEpDSxrsDc~_ zk5tLj$E~&wT}QM*+~+E`WL#3+lT2xoDMnY7Mv?mr)apHH&P<*0t98?>S6IA>2IDFWQx{9sr57d1#9HFoQ|4#y#{+7zAxw z?7zIA5!n}jLHeWKg>zr`e|_Ve8Dh~iebp9$Mw|4taWhu*M|Ob+Q=~Xk%t3%?IcK5- z>n!U)YkIWygV*7zRbUv&!GC<4aCq)A4*EICVCW!+${97>dG#3~p0D+bUZxsS9EMcI z1Ay9H63x~rI+4`$yR2VrB{Y>>7Ll87Bf~XOV7V#7nYGDN zSqlTJ$07d@F0E5UsRSP;X=DP>{M>|;iB<2JU4my#Dv`mqrX6IXJhEI#4q8)r{@W7( z0g}}8&Z?!A_CrKDX>^MrfQgQ|0<&wL42&_- zzRr@c+U2(zdDip1vA8lS{#evA^$YOzjJWnS`vwmt&Z#9r;0w^$1(P!97U;@KOEdAy zgU<{|Cccyam$@pt1Ix{U7Y@;-K)FD|!)xnKBK;6{cuSdt-$vOzO(gi!TpV8DJ@6;U z<6hEmfHu8ipu$s}ML*VXmFWHqzS`{%27^>Qn^f`tx;S?eLwzNOk%yq;~4UW2cM?_L|!8Klrb9)~T}Lf{RgNe!r9^*V7l z`h(RDXEz?|Z=uZ(70S3A3k-lp4MYL##~Gz3zl#aRm32-`@EX_vx#!?%$f;Q|m`!V64{c#_co1P!lPXX+Nu280sehEYOwlmV7+u(US`hvw3*!e&a z5OB%%$V&B{a&j)mywlp1IgLVB__7ozCFEz)E9P+%j@+g$kv&F>HcEhINs(@hcEpY} zhflZPO|e{UeokWEOdEA5C2*rEWrXfD7yqcBUX zxqZvQn!loX<{^BsuslpIObBnZqyA4!WN2?&rFgUEJU zpM|8FWctE^MTOI50>_35I|^beC{|1`4~%NSmGT3O80^PO*Pn;D*yb#S#0>+ zXIys&#Sk#0u}e6~)(|#hrl(|!jcM_?2`gB2EtZQxZ`XOWU7z!vqWVA{Pf?V&z8fI}d$Gt9=r;JHogcX9SLvP^qqWWhVa11hl!_ zp_2%xb0QYsBR~TitIt!jkTv>FxqP7}YSE50&Q-nmQ}dyjGskoW!Ok{bz8!~e2ySpR zOhk+BR){6m)hL;bLbEpc3$mITdr`#Y^9OK_Mr6FOgz;n+;FHi|+^8rg+G;U-XwEo69YwE}eKS^_v?ZOLruOe^VF zgZsgsYFl*FS)MF;(<&xEyX2aH)Ga~a_>}c`T4i9VMj5Fv1>aL~8F1~$3t(i)ascdu zb0bi17j`e0Y`8?HY3CGC1D`;i+5UK*pZw}9>yQvP;aV*Q7dDiE@JyIM^swD{kh{)s zm03<6y>&II_-Yjqne3HEe(@-vIVsY#v!@TM{4RyVZptIx^pk6rP1!Pu-d?PCdb>URRa>2a|3(g=CAlez~zs4cP zx+&O#XV5K7+-k!cUf!wl* zCrB|_b}4@#&zDp%jAMZ1tm3&Fhv4kP24bUMt0)W>f!3O|R_c;pU?+F`pry#D0|K}~ zph%}1QWPiX)LN(4{3UGnXzQS&?m?XfTUyK!=D16;0`_0OtZItmR-Z{%mi+qM*7q8D zw()GUz$)R?_csVvqt+Wa7(hEtHVa|X;t`t$r;K;aK>Wyp7O&9~lm@e%j6ckT*(m-B z5BS`wW!pR6z)eev)5d&;`vJLta*^V1%j_Mgh=-hhmR=~V#+T>3dU+zmPLW@X?o!p* zQd5kkx@F+GqNNu(s4UDvw5NCaM2?KR65c;r8PJrfu_n)Y>e-gr8bAU_gtUTGxNNbm z+V$g~K)zZ)y0Q-zTm{Larf`Cx?_)T5_sjr}8-3RN_vy8OpfA0^z zvxHh(U1OUpgzyVPo2zjus~+{Bj%=$85 ziApUPEy^-yEq2FYV}ROYTSJ)9-yJfdm)lyUYKzc?8JS_AXn1KMQOuILv+iy~OFhoe z^K{IWiAoXqb8#o5M1U)T9%a*=BqZ^nw}{$uGX*UitBwA|0_dy9X*=g=qzV5UNwc(f z+d%xE8L2L#81$S%3(pJosCz&B4uvTQxAmPE9fxq?;&nZzaKH^O0|l%0P}j6BSJng) zpx}>Q!Zbw=k*gIwh0Yg%1`J3`(Fm5>`pnZ?y-d{9!qeXiwumg3-W-- z=z0zF4$t^8z<&99zgiG+_Js zy-0U>dzJ%5{HRhMnG4#$|5kbw=e3n&8h@Z>RBmZQiaUc93(gQwm#uBM(~8?RS;OVs z8n6_W7(8kCrT%#$rdem8w2h(ZbIOpruwtdLn_dS`;sCV78wo&Cpl7^z%vrBEdK}SC zn<4m~rFWtgzE7E2DG z6GZmU2?1h|`UvI&9^uK$GaE>>c5q~X^V%b7GxOXSo7{W5iVs6a%%!QRjW0VM!I5D4 z8%Ok@gR4r3GteRbhzhi|(B}@ZgSrn!sx3Hf??v$Oov zT!1cZ0!tOcd;VyV_UD2|bEqTRPK^exUcHJt1M1pD;Xtb4&pc4!8uv_(TSK_Hfmdmc@5+4T3_?~?HGwoI4?pkb}5i&K|x=cZMqR<*%72&N;8Ap6W!o^TGDEnj{OI=2Aq$83rYS>mDncaq4}=oV&+sD}e>LglPhi>M_1R?&2w^8q)kf z8%mXeAdxj=#9J^8q1L5j!FL{~WWh}s&T^_QlN40mH0R#iahOz!h)F!hY5*NpGZY%G zZYIoH{Fcxc7V$W{NC!xS{=mbm0$9<)39@T43qcYQ79LZ|tDujNlXwt(3`&5@?zaj{ z5>@}v85fk4a7LnaVf zj*@Fky>?@e<&^t^EcR0^qPfMBd~ZKm2)ZbRMV~6@KanU}XQrb66G_Gw&{3#}T>n8` z#o-++iy+d$dHSR?SyZU>*ePMG262Hm#mVe^hBCulz=yN7tClC+LMP1}Z3C2>+85;- zxa&Vbjjdz&C@Gw*0WJ)&Z10Kn{%EAT&2c_O6zV`9=!Y`IAvqP^$rh$ul+!m1lSM1r zTpU5y=!sQjD>PRrsjA8euptLO3Tg0RU1!kh3EF%n`oXChV;y}^#bIo>Q!~&<#<-V zB$gyMh(spu10s_dEw)06eM*12s^(?G3$%(jyF~j+lUtWpQ34?XhhQ zAhyDsI0HA0DP&H%qq4?#vR`Gbd0mg9<^I45t80?X-Z~A5#4$UVK`EXU~#=HtkS77lp)B}T5-U@NBoW;QxV=I$emD5y1iSmWjdrNE~o z6aX+f4rVy|M^(IUY2&j8rw$pA(=J!4xwrflSx zF-J^onj^Nz-V&VzGO}faJGdWJNzhLhK$^x|)ax?=BtfgSNtrl<$Cn|tWuiN3gGa}I zC{0ji-+3%LNTNHIoeukb^*w)yJ#JF!>290XtS3aJ@f;3@Sum~(y4Zg8g1T2B5+Oot zQDvxs`UU?N3y>@`1zCp6++gp)gKpQv>DB)~P=Khpc#LAvdGzNdm$uVWfQl1($L93m zG@v9rW)uPAR52>_YGWy_3dF%DVWPufnT0!hfUWqy?5DT}<gYbRJM-xK$W^qkP_-zQVO|(91e$>c`Wpq|kP*d#j%vp+bnjm9!YL z?eh8$Bcr5_k*LODIa&A0=+6>dYs~f{kZs<-Vb)pFIz|^yl~Wa_u0v^Jb{fR6bvN3pZ%cf7=(c&8Nr#%yCh!)b;s!TL(G~rxqEkdm2uIayxB+j^FN#ZM1<^ZLQ z{j(LT`dqAK2nT1of`X#e99C^co@s~e$X5rCM`P_(GVyhtaH=ZS^r~%GiIXh)SJNbb zV`7xt+wwC$=mMMtn+fl9Wd5!Vh>tx8m+Ew?7(Z>!!u&!;Xv=ICB=u}&=hOky%O2=S zuA@?!yFSSL=SH5A0C5vPzf5l46E1WOl@TBR(Cci&QKcST?THph7?k{%plY@sc*+7O zYDkP~M2sr%e+BYifwsk{f=!1&GBdL=v#@hz7_5Qe{lBIyXbnsQL|K?cf>V@*je|*) zo0CISjFW|(gN>a-l#Pi+giV4;j8lM!@BcfZ55p*D?qKO=Ma0d*nSu;L4Zu&8wNqC| z3xDN#-Co*F?`^j)XidjB53#f@Ku4leD}PWTs1X8}p*Dr;0EJ*;lKPJ{86HN0NM`E) zyAXs#fq<2Xg~c=^Rx}j_jcU9vh8p4S|NC$1_xH5pRmZk0^-p?Z>K9cea8tU9EQ~st z?9ea7;#{M}goBKEdLws*3P7g9n|dBZN7#Krr9xBlu|9YGwDGuJ-}uqdET*2{cLG4wlazN!De(%a61+K> z)ah9HEd$i1ID*3djar3wk#3TGBm8b6tUS3lMP)!EeUB(Y3BA z%&3jO!Mm>hH=#Pp4rdEdBc+CHE5;wbn)s4rD+C`X#B9gR(KMo;X~U+G`bwuh-Y(FN z(}RCqh(oLuwhP&gL|2w03Lm)0>~ef}uoq!;oFnCW*a1R!yfyK;*ZGXAvC#%jk^3TosXmMYWgIz2lAw5R(~o4|T73N`}mOCL~;)Jr0;j<|SO90iA~?r7Sb}GNpajaG0QH~( z8bBjpj-0`9#>E*IXGokOaYn=2`GYY_GuQRzBcRjLsD|B{3fBavv(k>PcBBbiO-SpxT93VQHQYFl>CIH%)kx|b`o+~Rbcw4=)D{%pskBpR zr_!!UGrG=9JHzhO&8eGzb8fg!2Ce8AigEViD2ClnfH|O(LF=V5ehSO+;FQNHkDme5 z$f=Q2BR|J|Js?^B69=gE>hQ=w3FMaM|IvlArOS&_g{2$)QgxOdK9!2I^T`#dI6MEG zkZLfSsz^1OeOi@TX7cFWsFq&h6`yD!yg`T2`dD=fcKi?w|;9k{wTaP9BFCpQD1?Fd}I8~D5u_~Js~ zRtkLC7r3)4aCaf_^~Ztlz6yN*IPmaA;D_eGqp`q`t@@CTAf4?RrWr5`R6!L_b-epkuhpngjT+UcQ7yOp*I(l5@0Zj6>Z|4X3T19& ob98cLVQmU!Ze(v_Y6^37VRCeMa%E-;Gch+fF*ph(B}Gq03WR#kSpWb4