From 08a0915c5b993e86ffa490f777097af5b6953395 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Mon, 11 May 2026 11:29:39 +0200 Subject: [PATCH] [PS] Small fix --- .../03_central-limit-theorem.tex | 3 ++- .../probability-and-statistics-cheatsheet.pdf | Bin 437975 -> 438073 bytes 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/semester4/ps/ps-jh/parts/05_limit-theorems/03_central-limit-theorem.tex b/semester4/ps/ps-jh/parts/05_limit-theorems/03_central-limit-theorem.tex index 8115e84..2da1d17 100644 --- a/semester4/ps/ps-jh/parts/05_limit-theorems/03_central-limit-theorem.tex +++ b/semester4/ps/ps-jh/parts/05_limit-theorems/03_central-limit-theorem.tex @@ -25,4 +25,5 @@ bzw. $\overline{\cX}_n \! \overset{\text{approx}}{\sim} \! \cN \left( \mu, \frac \shortremark Für $S_n \sim \text{Bin}(n, p)$ ist $S_n \overset{\text{approx}}{\sim} \cN(np, np(1 - p))$ und $\P[a < S_n \leq b] \approx \Phi \left( \frac{b + \frac{1}{2} - np}{\sqrt{np(1 - p)}} \right) - \Phi \left( \frac{a + \frac{1}{2} - np}{\sqrt{np(1 - p)}} \right)$ -\shortremark Für $\P[S_n \leq y]$: ZGS verwenden mit $\displaystyle x = \frac{y - n\mu}{\sigma \sqrt{n}}$ +\shortremark Für $\P[S_n \leq y]$: ZGS verwenden mit $\displaystyle x = \frac{y - n\mu}{\sigma \sqrt{n}}$, +oder $\displaystyle x = \frac{x - n\mu}{\sigma}$ % TODO: When which? diff --git a/semester4/ps/ps-jh/probability-and-statistics-cheatsheet.pdf b/semester4/ps/ps-jh/probability-and-statistics-cheatsheet.pdf index a0c2077afb57c5a1ad75a77247a2340acc840061..f4cb347d32810f4cb560f8226b95f4a22defd0c6 100644 GIT binary patch delta 40528 zcmV(}K+wO}-5R;x8n9##0yH_3VFW0Xjt~zdjXT;o*C84-N; z@@)2cPEQsz%d+{C$1lG7^NW*TUVi`J>B|RydqAO+Y({5PlPohcl^LRhn4Mlec>PN@ zJA>c8pJjySX7pJvMFrtPl|baM{*uoY0zO4-A7-x? zlp>-nuUDtnk2w-kPAtul8A+W zo52v@&g?i3EFwz4M0^bY!E408KQ-IJuU~#RfBSEzOG=>aHT*~f)tt`YSWzx>z})>K z*c7HH;Pg6pW+-EPMu}0JD_lq>4PbQD!T!PN>;acV$s9I#{}8(3im)u_rhW)dl$3C+ z_r3d1N*GSgfkHySwLYeGw;YU zXhQ**fBiA29^lb{*NhZiE9i%G ztpA*G9)D5IeSjaH*yeAS>-F`cHhZt%TmZ5%O0CG2ODE?%1(73sr!f@?4Bw+5jWt2~ z;#T5W*VrgoSUJOu%37o9)~JsM4C!{GTH;18*v9n&Ojwaz18YTj9EcOpb50a>0R1^O ze^yR}LcFS**>O!d)d=M-cRdD51x5r1o_aJlf^-%Wk|@OI8xXxxNFv_K08w9kLM}KEe-G ze&AoDkxltcCAA8ZCPF(Q;6>FV^&mEce*?Q&09{u+Tmv6J;k0Oy=T4?k1^N{hyjMjU=JVwMr8unuV6*Z{H)lH8V&SR&SQ8#bTHd9e<>G? zlndrQK%YCQmgxl4I$Wtem1qluObL)!+x3T$@}M`w0eYKO}jh(D3&Yg~Tw%n7Pq_XhtnRP78-zDrp2%&{WiIeUY84^^h(B|+LkTQ!y?H&~q zzFt`$lNlEvf0RaBD^O54rWq)iZBYXx4On0A@iH**#_7jb$?@M77wg@_a;=}Ta`k^L zw(DZ|+in0GMKD2_zAIE^EE~NgD)c#0l{WOMd+l#&ZEjcKQ6tx0|8r1upqr?Rw(LAl zc}NlVB1=e|(}d?3_xQn%_LO zM#(@Ae(Al>toQzMd7X0qQIQjYj<$RE-)HXrqsO%OP{}~?HJ$dJs?9|IpEpF*0Z50K zdpz`v`~L)^A)rXNUXka%%da8!XqnL3IL%T%1N;e;FaaN5B;N(fBInsiN=<)>3ultg zFINdCe~{!UM;d~mzer3Rev3{V0FMnL_lD}Q^)E?v7U0@k?N-Hh7hfY;tHooveOz43 z^LdAUZB27b5|xmww0OD&Q{m&ZZ_|Cj^6wi%Fn33Z&v3woAVB@oPiB1Lx%62a(BfkXADs}?Ud16lZh_5 zdVm8way4d_P^z{=&WG~Vs<7^AM1K@;?3dENCUXLs*=YY7281Uy(BH$TFZKpZm>GHA zZM$4(SR=cdB1@YtBmDdEn>VZV8BmS%f85Q^l;mix6RN8Z>zPE|PYkV2QPwX->51N|B(LMA6KU2;y0kCJK{2Gy#>cgiiI? zNVzFP&J2-9-Cq!jN9`}?a&9fW@>A?D4ilBVxB^mbBC=N~#h~bgQVb9(MH>N4f8mC+ zF6;=|JBUVH`|SNgc;0F?#$Mp0CjEzcs&Yuig+RrD?xF9n8VBD;_KfttEp=CO;!2_{0YyM|CY+TAR&=ZOG%M&B!KHJrYl3A?d zBCzv5A7YHtO=H|w3Bf`ok}BFhkl2#vl4!thsSN0e>^{5jE@c+-eT}#<~_gJ_GL7-t;YzD^C7R^Ci7b+CPc=?Z;VmtbkcTFrMPMprA?9psn&y} z3_6829V}%?5J3%alR(Olpb8o7ix~=%Zv$*V9@8x%gd{T0XA=3L zke!YZ3`f_YJv1C)-&qF8Me{BQf9!y;9hk~8=9^C+rlLl8wF8Ng43#&Iq}Z=88dR}= zdl&oNaIsg+7pSeZJa;nRs?lgSd*l5BEealnwq5NUi;ls51+YFw2hq*j6RYR{Wn0+t zXYe%{SqQ&vQk7CLYKzIZF;V1mo-{E0U?W~O56iJV{$DjEw&| z%d+^Iz>hQynoe{&J+-3&az_wtSDI*)B{-zh4EQM>>K1DczrY^s;S6&pMkIEJlYE+X z-d6>R#^!{#ux5`uecQHR5|d8d#|Utx>CaUilPgyx%P!X-bAQ6H(J&?E8?n~kkVazxm=eI%1q=BZ%_OP5@BniXjc;jYoVY_xqX`ysNTn!E}K6Z z6&yslCW6VJCer%|y#kpyEFSfBqHdgt4+Hd!<$m3`_fguhV4{b7G~mL2U~-_*eyKSm z-gJ=QrCUFK80J538Mr}zhCgx}cR;f$G>Y)3g*(W9`SQEXuGoGcr3cYkyV1Moe35A7 zzCM9}X@j=FcuF!#yr`~P``KY zNoCsJKl3PQ-L3}5bzTF1>_GS<*|r6+A*y?9+f^frnlDF_(RzpjEZZKgI_s8yJ~?no z&@4kp1 z5k(=zkfM;{wu?drxnnPHIa6tPd^45@l+)9f5|tuFyHaEtk9bahGNu~oh-wHTx!rn_ zP=HyuKf0?ztV!DPZT^3p#qvQzk4VDQpVO>=rd%94@y5Fud@DnDIi-F0hEk9U>hgxD zo1vvem(r5z3x_IW36h~uUisXncP!&|C{zHzf@a!AVg-9RZ9y3<=)zFL_U}h3#_yeU zP5vRWYCoDYHyGuAg(W;)a!-Ul`$CaKY#${6h+F{$H;zonP6q&%g6Ft;w?kKc;bZgn2>S6hWF z=PY3{PE+@$sFllDjp8OVSBCpKa{Ay$#V-ZQjfqt!zU^UnvOq3&bq<^(WLqW3e<`HO8C0t+Wl*g{4iQ8yvZxj=2Q zdj6A31l=y*{8naaVv6(7jdecr_g4N{?S>c;4Pmmp7EM>zq5<;u8xc$6VNY$cB4t5j zlvWjg3hph4|11{7Bi&O}nGhLz0J{x{Ws_;wP(+gnTT8(C{>q_$AyG(8$_m`vVp6e*wJ8&xNU z476%??Ny0H%zzcsvx5qCHC4^h#@bn3tGVibIjdb*4Q`v|=@>4AebnyO`co*|WVyRF z<~WzWxcDafFlJxEOniF-R?AHoOv4Z~(5B>Lm`f=i+pqO~GLNEx)UZjwfWobu7JMQT zmAghNbCvs$maA2LQ|=oI8vUwRP?-VExV^4dtWU~(NScLR)UeVzqn3#SMPPXpy+jv( zdi_$a(w{p0uZ;!NzJ;kB4ELwRJQ+JeAvcMEFLcTtbkb7;V)0(>QmN~|#*`}@J|#?6 z)-q-b4$FP$j0ToqzY?OE5AvWNZ%-n{FO#b)fJ^D7_d^Wu10+mJFxxuy*IpichT318 zow13htF@4nrlI;N9coDM7-J$}a?q%EP{+t7ue zey!4dxfPM9DE(K=;sIGh%K6RiHxxjNQl0y0Q(8A~Hs|T+4{C$O@_XIw?nZx5OaxRt zMH{L{)6_R_hy$WOJY0?CH9Gw*fE1Oh=U1Dn9Z9-mu_nt<2XE>EQqa2gRrfc4o4!Qp zwueafd5Dr=rAzcqm*b*^q!Vr}aV$oXAeGdS${6X&G@NI7PrB|f>B4w0E_+CqYc!E` z)k7RYx@uhQB3(YDNVG&QJsZOnj7X(Ei`v?9 z@-@b-;^nHP^Y(F)a8b}pNdNdH;N_4K@Up7}yu;YXXqUb@q4U#=6EA}fRC=DXRMsYM zWo@F{a&zYT+>ph(D7M8(We~2eC$^UFqLZLDNHW%y<-ml5mX_e{RhxK!DVN8akG4F^ z=B(6VtXfmnrH<)0jYY{q4eG_JXx>{_x?}|q-7FtQF-rx@FWJdCF)|-jvh(`%q6})< zmSFsL6WnUMElw{sHvZ|%t@*1~I=s}v7VnS(3(4IF@83NcNNP=tO%xP45T``&e$}dK zG)@L;zCB3>s!(;|;c7d7jZ)^+dd~wudvCEf&0Fk4db)|wQ&0|BV3$wJRJ`MIAFu3H zU^@jQF)GDmT}D7hjFD*M%BviWL>}lDF$sl#VGWs?_i{qa;`umk zYyj=@@z^ubmtrN?m>9?uQS^4MSlNsa12v(Vju!(5E?MlhTC9pLwJo?Sgq!+Jbw5MN zY8l334HaU#-0fY#$f4H~q%W+;{mE#`lQ>Pul^jM?8Z?FXnUq>*K=a$8DHyNp$Vn@a zs!^?h2|@)AyGcj&dfkh{BDVl_i^5f-v6Wt%?;j=%dkEUD2cR;Llobs@ zeO_I|Wc?Xen^ipQ<&YvP!R04{7{MoV_uF)(yjh@7}LQ;OaTT$7(zTFm^-<&~Z=PV{yt{R5Rz_Y(zU98Uv zj2hqI-KRYjhhZo4@@iYZ;;>9q96noZ&UZy$6m^nW31L$^?n?@P?j?nf6Et1(D*;S^ zvL1fr8jY=gDcpR2TJUtuuxccYF)WJ4w-DCSA0>&FYI^Cm&+Q77@m3-i6x$zKFuj~` z0K?(pKwq>~M4kMXWMWwsCEam18bhvuL>GgF#Q~0%X1Tg|of`kBAUV9vTp+8{M+9(c zPOTpvQP*u#EVs%2f@ii$T-Ob1hOp)pYT)(^Q{oVrCXP?&e?dpPB8Gdn z^nLwFqFN#csgxu-qIl977J^jhj+8h`N_09FS-TU|1fw8Ay43QmGqmOMbBN8W{Vx-K}=3 ztE$$BQA9M%(RHDghOVBA-Kd@5_^mA*Z=7vVg-j4{lO zapcT3c)lucM6VistRnQUTqOLal~mcjaff&Fl}JgO4o?X`rfqqOB#?5Ggxn^7BNWqJ zd^bsa5mp_yX8BbbM%`f*-bU15%Gqe99F@U{=kWcyubxOf-eZ+LkqC?opF zUY^_Gv^vUZLp(Y{3<~HvEI)vc*6t}yxxIvvXN=fuZPM;3)Cpzd_N74bs{6`-^)&X% zbf<`ITL_gp{g$;j zm8}rv;&D_o9_Odc^38=;fopTVI`50YVNzL=b033qC$9D0i*if>GfmwgRkf-bO%1{E z206fd=b>oZ^j}5b1fY(&w;)S@(zYAk^_$RRYXM$lMPp(0r(LQtPsQ+Jx?s9QbK zc*84tH{c_Fy=yk|Zecp+e$~XSNH}NHB{H__dGBYDFs=&t={TfY$PUsiI*A$ps8Xbx zPX#cw&&Lpihxw!Dr1Z{za9XM)zIUd9-Oc+-Bum&e;CNJw+P1Ry0OFTxTdn|qzAn~p zu=Y7Vt&<=RoA~2Y1>26gc=%&dAs1Svb{u~?rgbK`po0ofG`WAjWXus(R-$R#6-ghK zYnrP0Xmyv2v11gX9bB2qiFLmNjUwsGc)r7Ui^~t|)qB!K-bU1ar`}7a_WQ4-FJ`k% z2>GO{*n>t*_6Hu8Ym?QL8#V3$CYuqZXDz zLiWFk+$YkiCq1=)9P`w>4HF8y{!A5ke(W;F!NxgnN?#G2=1T+bMQgog99t{zxXE3O z?8r?ul&RpR8Z@uAkO{q0ptYHX*kdv8Q=;B6Q-6++Z>jx$y1z536frt3*Xr2L>PGm@ z&l#0B*VnzJjAE!{FGq@Ouf63cvbVRhxnolT#(Vq@$$TCyeV&8;%{ulsOK(k9)r-TR zylRV4!rmqOO5#e^*ye~VN+lyouzLr|9dnRSiIa^k8hA?QenYXevGARMRVv}25WWP zGQVO-K!k_|L;%hFf2XlCI|^lPWOH$B};L zuYmIe9tV@YU!--;#<8T`WSx~o#qmn^10+HuA`+AdP?r3%e|@XE=h8i>9$cklBb{Rl z;9#bwFV$6FU7L+AMr`!xD}m;aOd^NFcKXjYi)l{SY=`GJ2V;Q&8uYE z6nB+^!B1e`oQpG{!zlW%#|h`jlM}^wrIZ0X{GNPN8hnyN zhlCz~Ro`Mps`7u1%Rod@R7R)~{A=sU;KY(DUvc9`+Um-3H?#n%lHB*E-={BZo8pzW z^&I}lB(JB7@nitDlEOjX+S?c>hbasjH@~DWa~0QOG!d16WJ#R*rQk-;&9s!b%W_1vXuxE*4&d&XZqf5x>a^Hk|gK6 zAxXoM--WCcGeDV@HnI6UZ z$ZW!ur3nlc4K~Ae1STt?>mI%#7^6{@;e4bGu$q5$(vZF-4Inkc`f@3q*RCnp&^}-E zgQl7*;Mry)0ZfDj^7es8@QxqF7r}i(*pUt`l_vx62Mj>Lu44MY$*7xxzK9Pp6(XC8 z-qr&a3Dn_)E=xq`U<NrDe zo1!p>nC;HU__%@1;ESXtq^%4zqz#9C$A|hR5Jd0+K-jjWp)GHF)W)(I6hfpFXV-p{ z6tN%y50f>qQ~__3im@~S50k&Ka(|Cb*yzzH*pN=bcr*+MFaI3=Hi&vr{}AvmQ*QKn zbn?457q9;PVbEmqC*c2!nMgaeAFTxkg98X(Mu7obU49~@D&6}>0Ye{$N#(%pG*IlSD zKuc{`>q}vL_4CbR?Pq?yc@$c?9G$!xoqQLjx;LkArCBqHibePbmJ5Gp_5bPjm)CK@ zdKSUvvuO*livq?vQ67M;4ipgR6o?@cV|Y_@PavhIq{XrMOh~NvFudTqZY+~9j!83` z??&~1i&1u0V?9mil&~jD6@ToaSvL_f{&g{ZaTzUQz)eID^IX=_9O1 z^NVP5p07HqRDV}WZCd+MDggkA*G8zCRn7^98s$uK)Af86Ez{r3UtX@Ft$S^+qdl7h z)fz;H)Y)5qAnbjp0&|=K->3>y-#}y1$U2m-;lXcX&(5cdMf^5j0)Ma`ufp_!mTO?f zsd;7amULc!zMH?T?q$RS0|6MFDiRElqzM*ouN%`KZ0!DHz17f+wL{KCx(8OB>l>7n z5y;2*RNp|$w6WuR_+jFQZ9eYP1c5hF1OZ4(D4lg-K}@>?eO9GiSk4#calY?bDpne1 zRma)(^lbZtiihW#Gk*)P1Sbc8NrO_4G}mgIxmF)^u2p%i;hWWI7vfwiZO0e0>neU* zu4XHk!tgz8&-7*?vi9QcJ~ zeP|7mhGc!F$ND1Y%VB-)UaKT*2jqNPx(0M+D$s_W=lm7Qu8o^UeO#taBfIuvz9#qf zY=xXu6sJt?B2UcFT1%&PnN>G9tJ{-P0q{y2?75o(ufxkb09*-Zk^3Csf;Pv6ND!{7 zgm%#D7B)5)5PwR7p27qwip@o63JF|GE|N!aE*< zaSX{xR+B2W8v*Z=Mz$V*x}ENmgT0V-Y1sdz4)TAk^OA`G0^q{utl=S=J8rHnu0V`L z*3xL7YJ5JQ#Y-=OaxJ5IqJ)bY8tLE2EYvm4PHZxnRtraP`uoWIq zX`-%fh+ykciWc_6aX}J)Yo^DBBpaHR@qU_afQe!R)@NeQo&Z6A2#Ra1pIeri&k$7k zV9?JL@V7TWpRftWH#I#ks`&RGu9i3PTcmyb7HA*8;Jvn?eY{Ynef)KS-H2biZGbyZ zU`*c@wz75`6cK0uv7i%3Wkk?{BrrPw;9dk_TSv#HEd*B##>!5YutxxOJ(?|Nt6%ZE z86&U@7cXvamdmhzhvAQB)5}vnzCv?foYV~XdQborMn=d6`EJmt(9R0F!RYqlqk0ZN zr%_HTlX(t;;Xo&j1JsQihTXM|r&k)sL3^#IRmJ-fttzzLDOGg`{uTTN-UH$RT}1;+ zV!otQ)ps>F1$z8u_G)Xbs`vaZ&V$5dXMi#-uAc!NcPRFMy3)WX8h>3f)=1)$gvO&@ zmhpLs6d-jzSjs*bUqhIJGnVH7O7hec9KEOLj^aECd?NhAQnSi~n9$0DW?_ehtO4Q; zI8VEl7<$3--e!RAps|rSZ;}X9$=hgBijdqw3aP({a;k{1qv5 zxdFlnEW$f~S$+|U)7&xenhXxf{Q~nPvUSHm^;%LW1^VUGczPM*h)RH) z0>JoozFGl0on4U{Ht2ZcR=r-c<5^FR0%3u5o5uloo@FFe6}dUaG%>M}o5ORJ3;cXX zZVrzyEkuuS;vw)Laj|@X?}r(Ws=9Wu)9*L@h|h+bGj4w>+Jf?{5G(k z8rppuy6_A3Yj(S$yP^bk1!ra&=4P?#c>`5{*o^?E1L|bZMOB$5F9TRF2|3SRUjBkS zaSEMTM!?yDPuqY`vj#q|%BWLW5T;w9&d-4>|6+kF4bKA59b8X?0JOPj$IzAD(|g6P zw5%$jRVsLeqd7nCD5}U|(|~GOZyMnQZkj573tL7w-fbDY8n;YITL!M8#%HrRZAF8B zw*E}(-7nHRNz@QH%io^nNw>U3^^hh~& zWItXP9$=pCc(6&9XY*cpHYt#2Or`Z^jOQvLM2hi(>7lAKUaRlxZz$vH*PAsT&I58W zpBIcDit*a@@l6P86w;1E%;(MG?d&dHEhTo#zkk2e2a#3{dzyW%(GH2y>Z3=wiSb!C+8^*j%M3HX9!k+46k z#}K3T@h~Jr%3qMgp}8HiL9Kqmov*CbwQ}zoFWJD-KZc6Ivxze9QpMI~r7c*gEJuj_D>#bY{z1 z$;WSD<0vD#je~z|Q1X?3)8mH`WNHvrYBvPXXYlw!D%fA3S4bT#uACeQygE@<`~8x% zwgz0vdOuGT=IE;jrO$2csXw-2t?0}mAM#g;p%tKq8h{?5$Fs#b zg0b2#5QzpR(0jfE&5$am)F6+oIEKoJj!0>@(m2%?YM9#9rP`=}i6C2mNAe>moKi{9 z!ptEG=YAs<8%A1diANY|)6&{V57#%{cKW9KNcyJQPTzF8?ob21d)o#p;Q>MbR#6GT z58F3QTf%^v>vmQyBL%?_mDmrCx`;+y0gc)v*l|Th6E~(oE(&_L zW~9o+fMP+?N*LuJ_4o}r^Ib!jem_7wzRSDP+hpc!D&+FT=GecSbJ$P@=mTm^!*ohI zA50z%}x6T_a!emK=n#Ulv2I0)RXD;6}ix# zJ997Wg*vl+aay~LP#@WSHpo6lmq`~*q!-^PU;9orCCc_KUl_BNBLuxib33dFalc_$$ zWO`yU*WB->8DeiPx%A_TMhedENPZG{0hj-56PAZi^57ZCpf!l8)-MxFPXzoFb}QFF zV6+FqWp0HvB;{<0dZpNTTiZ%=f)a!Dhg%agO$Hx-pk{*_MS`1a@5&E!5)Z&H?{lxn zk(@rbWs6Q9H|X>UbW+3cR~R_AG0sA*TT0GC-G!zA%koWC?B%<1FGa}-9Y&n5Bo3LUBYu3iXAi4?aY1u4Heg>#N*Jy?gWeUq zK$|?3JC7#>ZVq(CZq*fH1P|$uE$R17EhDuIE`cD#XHU**1o#UgSaRygXL_Ve^4 zuQ){A=xCMn^vIA1p7j)WN~(b4aTHMjk7`DLP{70G1a{P z`#5BRlaA)O%9&!QW2cC%kLL)Hj+z1b6dz&*M|Y7yCI}+yItujX0m{Pv^3EpIpKHCiVp`P zM)(#I$nneB>b#o#C1!tLSCjA4dTyDa1ASmHWq5cD-&PN>2ccp+?B56#rda2oAyK1= zM-ACZGPeiqm%^^p7GYP5h5`1RWLN_fjVVS|+7F(kgmvgWA4+fac#eY)F%npRAg`$o zEa^hjOa~Wj`2Y!plFf3xUm-+*X588WG~=*)7rSCjY2`51+-f`uxUW3^cx+7QE#pmQ-4>ZO zHcPCzPa6ec9?r<3I5M1UkTd|YPSVjTn3Xe$y(-QDP@6+o)?&S{Xh?{EwK$>gsuw`y zvr{^p7gWK{wKG~AdUKO(#KK_*1wjp6trQAZ1?b!kR-piPX07ar!#tqR1uqeom@K2# z1$D3I#sJkYQ$8_5VWg(S&H=2qeCVtvm^q<``qng+_H98a;%Ed041tA*>$t%;Z$eJ_ z4F*lWqd|w%9I1oz4xX@o(~0A{ahwomB%vf`JLX>UVy!SHfalqeMv2|0-3-24hPB}QQe<9BNRYrEJ54^DRRh|N!u4;bsF~JKiy6KYXLfyJDdg`3A79LtZ!lHm zwu*iEkxLa`<8bxh-*@#77iksFRedc=sZgR)ZCAK^x%|y(>+^$uHIN{(T`vJ9)~brN z*jJ}r^-Zi;D4pAOT?)~vazBC9E6fatk*nje!6*t6HuzIkce0%AlBD~t|M>mk1Jxd@ z@P4F$+JfV)CKe#g;BLn9u5D3vAkVHGVPcivz-mcO8>C`gGjIrxXb|m&GJy3W4Gg)GKXW9=D_x)x)VQ^O|@4+D*+B@Z8eyoZ-_n@!+ESc|NOld|3i zd&W8pHmnbWlY_~cD)N-hj+Hru`>eA6ldJ5^A5~{}XxFsEDtmp;z8ZV?3Q}Qbek+Z= zBhT2;zP|2R-q9loObjC;1*QuDi5qREc$|vPZKeg7s+1gmJztb;Z3QV+r((U?PzaU? zjzZA6%ZROis+ib9aK{l7f?y9gk0pIsQF;$l`(3oI+%B{j(&-uvmaGd3k>jM7jL4oX~ z)w&^r$3?1vqc#D{xKKfHlMRQmkuVjqBTZ}SEcVudbQ;ErOgf{K}qv_9qh{)xwd^! zL~#OtlIoFB@a?FcL#Jd$_0#RCo>zcMHc>r@U}5zUsJ?D!E2=m9Qau0#OdLE4)i-Tz zpnB&jdmN&VE&bEbyeDa%Ec4((%JygN;Zt(>DPSLVLwZqt&%Vk-_liU6I<&+|=?;K- zvR-zY!>&~q`T<>HM;u4m%PxkLm?=d zqpMipX?wQwwCx>%q9qU_bP3A|*+Y`|n}*VUQ5M}0hnz;A{I>R3D2z)nG3}k#JEJ~- z8FO~KDVw8Q(W@6FQ(2j=^SeC{&o0FpNesgCnB9qPxZ!nnS`LL8Va-IW&n7?%w)r}5 zINqbn_6^7OfMC}KuBo=%vLcgx|9CmOUEE-8?#bE9%iHN9mS$Qjw4`l3m|klDi`suq z^8GZDe6_V9w|}Cw4bBBp3O9E(H|?5#p*2-`-r$ z7OUCqud}-g6gVJnLNXWdqPxZG)%<3lj*>QAM%Y?~o?_~&b}Tw&@s?Nh`ByR=3v!Sx zQI1QMkd!XP!{Sd*sK{mk`$5Rur~ECY5_pgV`gn&zk zX-A=i>B2Cy3+cSGA;VCWT@Z-VzHZUomM)0hTo37~r$rP=axv#(R7_HbW{{2PL)h5b zS*SZh(l0`)~^wDUdWveLmoqyn4yob&ss<@|OslL4Vfy+LNy zH|>`5+kg5%?W3brLi^BOR8Fb9r?|NjJ^ZhW7#^CH6IzGzhAvIOTu6L>+MEoF{`7t_ zY!!eQlN1AQI;FU32(j?5?+k45eSzC-T4?f*kSu&8yRqJ+CoLv+fF7Q zYt6Ehbr0xFz*cl^l;xLXfL_;jKH(sQ09}Cc$e8RQ=LFmQ9~#7%34;&IhY!mEw-3t# zfqf4#3NK7$ZfA68G9WQCF*BDj)&Ug-F*GwVFq5$cCx5kgWmH>RyERhW-66OXcPZ}f z?h+h=ySux)LveSCOL2E7R-~o4L*b+6+*j}Y`;Clb=kdAcnrmfbQ<5sFG64MrK}soV=>By)z3dg9^~X)z;Vvz{<$X%nnaUDe43?cCiB4iy6BBc>!E5mH