From 6fa1f929ad652695511f6842e8a937b7610a99e1 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sat, 20 Jun 2026 09:56:04 +0200 Subject: [PATCH] [PS] fix: add small remark on confidence intervals --- .../08_confidence-intervals/01_interval.tex | 2 ++ .../probability-and-statistics-cheatsheet.pdf | Bin 1120185 -> 1120362 bytes 2 files changed, 2 insertions(+) diff --git a/semester4/ps/ps-jh/parts/08_confidence-intervals/01_interval.tex b/semester4/ps/ps-jh/parts/08_confidence-intervals/01_interval.tex index 985428a..9c5723b 100644 --- a/semester4/ps/ps-jh/parts/08_confidence-intervals/01_interval.tex +++ b/semester4/ps/ps-jh/parts/08_confidence-intervals/01_interval.tex @@ -29,3 +29,5 @@ Konfidenzintervall ist $[\hat{\vartheta}_-, \hat{\vartheta}_+]$. \left[ \overline{S}_n - \frac{z}{2 \sqrt{n}} \sqrt{\overline{S}_n (1 - \overline{S}_n)}, \overline{S}_n + \frac{z}{2 \sqrt{n}} \sqrt{\overline{S}_n (1 - \overline{S}_n)} \right] \] Alle Methoden liefern unterschiedliche Resultate + +\bi{Normalverteilung}: $\hat{\vartheta} = \overline{\cX}_n \pm z \frac{\sigma}{\sqrt{n}}$, $I = [\hat{\vartheta}_-, \hat{\vartheta}_+]$ diff --git a/semester4/ps/ps-jh/probability-and-statistics-cheatsheet.pdf b/semester4/ps/ps-jh/probability-and-statistics-cheatsheet.pdf index 7807ee6841ac0b48a975b4d7d4e7d3d972bc36a4..f20751402ed5223ba939c5b703883716ab3a08f1 100644 GIT binary patch delta 11072 zcmajlQ*$Lupf2Fpw#^B?*qqp!*fv(|72CF*Ozcduvf@l^+csvRJ$s)Ya4w#DyQ{jY ztGfE8yWXw_$@50ZpjOCN4rp$Eo>Ws92H=&jZ7MZ)^UjHO)^4m|fA}@Dnb}SwvQUP3 z@E!}X-~{}_)fvx$rv&-rrT-e}lcQWc{YS=+BlCy=8JN(mqZ($$^bQUU3r~LPmKm~u z_m5I^k@CDL2XkDFmYc$v*0lH~vkC@#n8E-cyB|;Gqk}ji<-^SkN}=eV*VO+&?}~>P zE##oDhf*7%#zwd)Vam4m=X&7JC1&Vo9L}5}L`+kJOLZyzo|=RyqrmPRE^mn2OBM*v zs5QDie9pabu&f)h6(2*Dz{YQUsy<&a%km}L2t5%ht#+;Sq(x>&;2n((NqgWsz`Oqo zeHj5re+7Dd`_pDz4y6XGgDee!k<<=Mt5X|c>7mvu>MF3=$Q=+)*!^tvHKN^!YKBW3 zWa_)JZgJt%4g2FSX#ce_ozeq^EPdD|s0=1{(h-wJv7>cxrSjo{Y5y;n}0yRllTKfClwL7 z#~-{-C@1;Bq)U{pz5qEDV|J()`DLi$@#OB3*!0Q_K7w8=*z4mTwos#>(2-^z6Dc4+YN+ z=YT>~+ob;2>&vrcimJd~v!eTDFvy$BPsfzyU@1gf3N#JUXW_jNq?iUqURi$n)KdMR zNwX1awB;Q9s!hW(e-B+VX=@?t-uTR-#4P%Tg-no&@{oUt{fl%xgp(hb=QsPovFCx) z$sTA-K?BQWi+UvfE97+ek4`!k03|!rG*tG?Nx((Di$00G&ONU2;ZDty?z)nVn0P8; zVkF9fV}s;iz+&+(mGKscb&(m z_JdMH1`czh(&1B&uFsTQ2~&ZkHKoG0xa;bH{!7igg7rK`8;)ugP)_@M79mZ#a8t6SKyf9i1quTUE^QT%` zA_sK{i9Um!eB&+P8z>{UhxqHtcgv{zS8rF3{?=d7K(Pbm-^<&f$UAue4&wrLL6D)* zo5IC&WuZ2H?en}gLR!B@t`gV{mx!zG2eyzl=f;fX(XO>d?%%qiBL?&286>SZF2yGi z`_A0}Eja?4;cK&t7J0N|=Pw2!dlpUM$JZEgiHo-GSm*}e(hh;oPcq+|_IC4E(k(3v zz3+wd&aemd?7Lel@5?TUrR#||foluS@kUJ-9iG@kZU)rnk7~t|Hc0fVDZvF}4@GdY za^BgDl~IoT*FGpPCA{KlK|&&KX1BU@%rf58y?#VG#=V&RxpOuJYP*C)4$Dy)jI&?-@E+`?r|B`3>sj zsF_+xB!hJk&Ifz{TdC#93t>K$wRlB&Z)RRAdm|WM43YcejIpU&iM$|4jq0Lj#4BLj ze(+Tt^@9FThX^ zjdPL*MSgJw4F78P zZSx0!?sw+Q?{_v+f*aFN8Gdi!C%=;NX68Qq(S-1Cks2KV>+I|_ywjmM&1XmK8<}$S zEIc!v?7_aF{!%r|5UoU_fy znL!tlL92uvRr?NEZNu(PJc1czw`(Zw%+CabDMoQ!l)ahAwjs0=Vz@jRZRo$IGZ950 zZ5_?=!a}?%!9mtUhyPhW!8Uclt^rWXA~1`-2Z_V2>>|6Pdh#0a4nj1oHk}t9!7y~z zqe$50n+a$En}#-+bs&NmF;?YrlqtJZOm&i*IW|4Zh8CLH;z93@;(uF^7fP~yr;qt8-wnfmTMdy1VW*Y#Xb00L*bH(=S`KGYdpdQb(V&HQ^HZkkI!YQWnxsruCHo3LBden=J_NDj?T$gZ&~09tiAEigq=a z+#tBoEL`Y>X_-QQJ~Hy^n2y>}5!~8wBjC7y45_&R9Vyi?h9fqBOqg|z0ua&>U8phu zBjhogUmVdlKay{Pnz>OT2h;)ei6%V|3}l+o7mJg&7-}dAx=<-ZXOOqfwPy0GaEofZ z^(axLay8-Zd~)%0UP|n*5dc9|=0}_sd&*w$+MH{=tvF<%i55#0w$jBR(kqO55wr&u zKSnF?_%5Uk7`SNx|{Sl3?mgS{MmUS0k*e z4)s~Z*Poo4G=EUY(UcIq(pJVpc26|e2RP1X++B#%SB<@ z*gFP<)?)fbh11wqhK9q6moO`U#i(ytf1yj%4thZuKdq@{+3O?c!K;?3si()g!d?JF zPuVE(K0mjY_ynr2NSsb`;LM{d(IaA`!7gg(5f|8SgA2(^p?g$F5h~X=71b^CYnxK=tI;>}O|z0WF4( zZc~s^3M{Gy;V8@mqtGIMHu0}P1`WVKee?RN)Is&>!XO*>>eA~5{0T?>OJMKjvEZsK z`_8fc!>$VO&)G@(1eC`Vd^>M_a=#SUYD|A$*Lu6@A-ULjgHwZ(FF@D?4RSJh$IZ_g z=ct69NsPa?fwlx~8QUJsK;Q;p{V7-SE!JOwl+__moYR4?%x+?7R2)tB$P+j@5!sU| z0vMc)0PN63R?!SLQ0`_*WoByUEYDK~iER%4iJdxk zO>fZ!SCq#E=TQ5~IAxbrCNUWwI0xT2O2$n@gb{x-la69XPZQ(-UC2Ov+Fh-hMmga$Tumy8SOz=c^yZG*;mewdkk zDmTF|cybl<_kv!LxTJQ*ZPbe?GZDY_60ZTs9w5L_W@Tl2W)By9I%um_GTH$bdRqxBQ6%wvXUhfXVW zClIoQ4q7X^~l8j1l-jAHxf#aN8L6iTnsTrpb`VNY-vH z*6CndrbMEeaJK7&)7rP_lKOs7>sfu^?H}&^k25%g_YFl?$+r-x$A~0SOcr@ww1l|o zo^n%5%yXr`f^5(;4S61j(hc~~NVmawWur0)B=fk~N*yog&df=JnY@_=1j{elE45dz z`(Gyl%;0rv2B4r|d;3T(F*9Zh4Oi@{L#!}@nzSUXlgL}wmBsnzySGoIW#8+vLQ*gb zs#8xZh>SEXn+9UPq%sPJG33)6y3lcTp9J|c09yG)Pqgu&wr7bhCg$dOsQ-@@6;nGV z93co_a>8N01}tk0T(A*6a4oG=tf}_Qfiw^O8TfBIpz9w^wP`D6rABhbj1oQM!sY_A zwWyeDF6P2op4BbrjA&@{^R1?4yEY>bj7?(tMUhtaIKrO@Q*Pb zQqZSJtOv=PB^wvoea>7makV!qV$DZ#wd#XjXZ#sbZwLJO{mWC2C!TYhL^NxfFG)f> zLY?aUfXr`&%b>RWwmx4zNfZ;h5Pp6lBtO*FtbC*EUdY7gWUf{)!F}26lkj!UbT*WH zn&%Rnb12t(-30(A2?^zLB)Kp;ZJJwzRAWU=pVpniHj`9D`c#m`N!HX=XUq~!pRQX1 zu}n3r)}dJUyg3hY{P)l3zWOy;WUz@e6-$pRumX!|HM?(BAFU)B;_hM zs&Ho$f907x?4(vEj7WYr8v^&YLo0Vcpqm%puHg=PS<6g1+?C;s<^U^>q*i+yW=87( zEg{j|{vKMa;nRB+CAycu9ygq!)8N9-@cjA}-$0Pi{nMR#m9#7w%P`|H4_if)NBB`C zP$vOR>lewWIyw^WthrMq#zKU9WOVJfZ+0n!LWiG8k&;zVqF8vNqS{?rcP7J=jki_# z`?UtD;#}X^xIDTyV#FgFGZl3uc^gUlCga~N>+PI1G>zF7Y=1>RM9$*bJ?pHwgIFJq`Lp(of%;bnoeReR&ehz7tpD~5VyJ5eWIS2Z)wBpTk8%d@KokVDl804eP4 zq!%GPlj@`5@NkaZ!&AhEMuQJXQZU;sX4wgar?pMZ$tJ%1#aSDviTNh5mucyLFBo!P z-RB>8Fq+YRd#RJHKdtYj)qZp!r4*EEiod%`7*q=)&xpUj`MqVk%}67A=DJc)(jxsL zKqS>6Q#v<~7jH8_Ki~H})J&2j8?~ME8%!m$MF7qMKhW?OqN$Og z3{MO=kQ9BiNWcuWa*;ij^js+6SP$&kQ}d`1Ktv;Xekx{7l1;7{7iM_`=?+qYM`^8`gQKu%7` z7NoWMz(AE&@#z`OxU!WxkW4}zjyP<6aNQ`qhrXB5PCL|zA6%ZQ*I7}Dl`A%D3!i4% zfc@_EmZ9>kwBMv(M`sL!R8yJ-yeJa4A6e@?F0VbY)JxH~n6I^L9Is#S*b$-j)PMke z6L}BX8{)_!>I7d`IVPFbxLD|RGHo7W69!yQ2jn)MJfyi?P_DB9y9Gh6{AwseO>vQ! zI}TTaI1gbtr0z%Ib>xmaCVshzufa_C`Wuf1^V==z7fGAD^a>{)m;-TGv<5e;kj1r3tDi#MMOsv&5`wdM7%lOG0;>u;(2vygj zd>djAv3F77*{KoxQMe=g{oz6_l-9R~TA~=?dE8%fb!;j2>wX64%rM^YQ9s%`N5EV=E zsP;?-=AH7dyH+ z5A_-y)+(M1EG40^zog;+&X45yEhbHtgeRdW4?npZzcT>pmxf9@QO5mJ%7m)n6#Hjbx7SVDU(+!L1_IGf{{pW z`Rru1;dj14c}SbFYJt3~7gs|SFE@6!NSoZyx1gBuJZ*0U&Xw{bu3xZvKfUD3u5+f>wK!UOQvY#c1uC$AGii1+8h^ z0{?qPL09|8*U2Z1Uy4V!u&ZJv9N#b_D`FKtl*@wOgaPZ&7Oc3=Fbq_1&hU-69Ed9q z=MW6$jMQicV%5Q_n(Ii=LqEi;1aS*B&&{GNBT`i}m^o zuQ~FY?t{y)v-RB6;0r-;l ztQa}{%HoW^Ci^%JQFts!B&Vx9GxHQ;GNjosl-g~Si5>~m8xzrl+_SA!k7tQ@rw+OL zQ0lA1`aQkC8QaL-acK7(9Q#vN`N4;MzAXAri>v0z)_lk<0Z-apHNvNuCPrnS=+;B{ z7jld5){RQwdfoC1`o_ffg6~u`a#5@?lKxQ*A6D0fs^sUf6+?$PnpF7X)5M5$IH`AGfV~zj2#~`v893=X#egnvIsDROm%Px8ibHc&_shI!=~0p-}vR zUkBftI2QD!Yt|=km@5I;Kuv`aNv%J;az3wfX44}}N%r$H>_5kH=yXx>0S)UA~ zJoS5dPYjU3W$ma%jX*CNHwD>5>Tn1~GArd`*2ZL^y@I$M?on{Pq}cnH6rpd^CDn4$^2#UflHixcu{zZn>G3YC+kIh5@m zG0Lr6hCRhw^$?Eiaut~D`<8ls47MyI@Thpe6Cmg#{(Bu_$pVqtXju|d*~n5xMr1CB zsNha#2+2G!Lr($$Kz~Q!bSsBpUsVF9xg*@c;I0&#LAtRlz%v1<4*a)4((2GNxieYT zS#|z%QAqs9BF`=g?s?DEA}5;TEs=_TbK>fa!rf<|m9(w`W6!Sw>d^LH-`!6VBqYIW zS6{ZOMNo1l8E~LYwiOK0?frX{RDoH<0P}hpDT10%A@aCqc<++W;13RE;IyuEh5@i= z6ZJ-ocqNf885(ehJ{J;_r&-AfZ^=ZF$~XdUGN(Byg#P|C!n=*}a8Y0g>o zv|E4f^%9B6v-U^N#xmM4G~&=_b2m@*vScx~h{+>iqEDI26MLaN=bx+$bnqRBaNifX zny-`9fv9v+KkwAhW6jpD09$chAx5j+S)*zlfIz~!JV5<-oVMSDxLK#Q^SjF&#OFtG z!?h3J$j`a^c3iwRL>kp$7;bJ3VMkaSNP}O4-(s~2UAE92_vdgBqG#v!p@RC{KIK_& z!|7FO8j;4s)Jsitnz8NLo}P#j=vX7rq=ECUK$3YA>p043bOoVal
    f3QO{9jEXg2P)i3m%3#H4k@k zAm8%j#(D&EhKkN1Bi4yU8GH6eAxoS^{qSwEg&2D|a%>B|9L8&=lCx5exU1^Ya*S_D=CEUN^7JHRdwC+_UmQgx%Xn7{#cY@@6^BVQH3&?+4R)uX(oMT`5 zoVLpIr_|60(5+@kfT!B=(DnrGafEOi`OmyV>_;;gB1> z3s0W}*$Bo2y-d^wOe%jopb+!oJBh@1twKzO*19#TbDQ3sj46J`?EbV(dMhJb9F+d)MKWBIRjZ@c zYtZ?3b>P)ubbj0LKK>#L+({_uqi^eWYAlFi_F!UIz37r2S+?(12aEU#G9}r3kFGe! z;1k<0Qw`kR*G)FukS0bW3!#p)F41gFv(W8@fMbevAmEp&@(x0`Ovz@hyRiJRP#`hM zrfZ$3Wo!r@6KtdPGnX9lcAJ`=1GW4ZCiYM;l%K*&y|vZWo*|B4Gp4c(>ep$#1R+Em zR@}ASV>G{DvsCYd*D}113)ytLH8UQr+)`JDTRqU#gPbxgLJii$~lN_}<)jznKw zM)YdP{;qYnj&MMOZ(fM}OV@22V;xMrj&!FgP{*T_&809ZAZ&pJr^Rgld$2f-_WKuqLxOY5W{8SnD-jO0P5^!NZDJeAwgY_Bj`ge+!}y1 zsnA5pKBJ#bucwM(;2k#H3TtVCf1ZqnPIy@}+0GWlRuBKF$*yLCL2KTVE%#q2ksyEe-Qpb{0HeDaTcrzE>L4+odH z1cx{mrwE16|96QY(tnDUPS)-=6zp6){QpUSAzMidYT@gO7&Tupb z-})$JtH2mAt6p%#{!6b&jIwUg#{J-XXkvVDmN<1ZG8Y}42$cvHmZ9vxfTU~!dsrg{ zJ#!qZ;-*arB2)Fri`T=%%g6O(zTb@S*G+;OYfqZX@k0@W-Beee0-yHYq~?@lC%oMh zFwamsoh>sY9}fEF z`g0BK99k+rG_w`9w9;N(V8JmlKj!pJW)AgewGA|M@V3a4UP5;yZ+B{E4dS^?g?mAr~k{6m+kSDjz zNdD+mr6IJQOKfLAt39~;)m#3kv$ypE3}=AV5!sI0y7$ec$96*;o;5zVcng7NkE7GD zHNOa1J3hB!3#A*NyNTn7emcCg>pA}%9B6>XE7t>yvU}f&xc<`wL%TnI0WH`RXu#qW z=SfTeUfT1Vb%HPLwCq&VBPAGQ89k#GID@Gt$@UY^3~nWA zq1+bpWmoF}&h`o7c`pah%_95@x|6#TQcw6bv=c8cLo)Z6&55PHP>Z-eN z5p}?h_MsE1#uJbHETz3HhU-9;v4S#1N9mYHP;R2SEXL~~mHGFZgFfLRQpzWl(irKx ziAJJ}8YaxOTLFmSG(~3u^tc=fA=J8X^2I~t7ZG+4S2moD>bv;45K(u#gnu9?i&p1q zt;S}?<6x2jMdKGv%`;)bKTwn>hR~3a-k_AtQ@03lJW+XB*aZa{E{U9oy2_~jH+_X@ zzWv{PrHq~765qwQm4^Rc0&MjL$PjwG_#Bb{HyegD=dqr}Rs(RA^T9Erc4wb<6=MGo3{TFl~Py*eo)OSwHygk-XRB_`VJ7v`cvE$;H&aUN}axA zx}@9?Es@AX2h4iS1eXS7MPLV+zy~O67eQM?RHNeeOV#VvCO2BlaKowzviFt1`z>Vv z=5>qg=h);S%j=LvXYX^q<%*|vg{wRn@-!A!&X->Cc$Le+`|=eLR-Du#{#x1uWYjtz9?E z*3Z;L)j0->*0k$+)EF%lX@Z36?Z#?u`YP>KoAZIy>sD*_|J4vRUG|m%Yp%33fSOBH zOa5%-c9BQt_?q#$*HiME2N{01;Wda8!e<)XwtpTKYCQG&EM=F{jtT=x?AGraJ_~;t zW`KMbbo(ClhI)3S4M5m;pS@AUy_n?BlKzhj`v()4g{@NlpPoZgAnLyC*v==JA+H8W ze<1b#^i>o&napMY(Vd2^!qCTfRAeRn;Z8_8zYuGuclF3v{BPQZ@D?vwpC=I*h}R@s;<3BoeSnCaeL>T?fQBWOE+m=s7noIFUhv{EY4NdE)ry%*a6 delta 10889 zcmajlQ+u7^(g5Jtw%Hh6v5m%PY&A|+Y`n3p6(?=d*tTukY0#u`8nnUg-ro=S4(?~> zxvn{y!CL(ldtaZHBZCIIThP5necX!*=#Mz zSDG^hEkx87bHR3N4&^!3#IvzL09UXiz8aj`u!Stjm8^}lXFW5j+>iJvxGbaTv0tg5 zC<7l)w-cGHxi)o&mwt6xbFo=kG-onRkn~&c8qMTSF?H*zNshgAq7I%UioKlP%_@ui zxjl%ydb>R>x}tc!je=q2EaIvlm7G$-USy=UQgxybc@Cap-*4@mk{hhf>UQ?pnL?Y7 z4~8VITRmJ9)lw#V3h%pN9*1y~jCesoF1etIfZbQ!HDY{p!WinXaH=M3$?0Njbd7<* zI^?+ZRCsv9X|c{d_rT6qhOY;%%>lm;hhg4~x2soFYjvPKLgf|ANK1HTZXv`_FJF!e zMO|^zK^k3gz1(&Y@29^o0s|gTDy`ptyUUZdJqA7?A;|HRa_Ndpe21TMhcG(w<04?; z0VbUKIHIAd!vcL@oH4`u!%jL;Rjm_=gsqCBE@9N-c)}FPMUWFoP!#8(6KmVBg*_6V z?e}GJPW6eD5rvd0NX7l2p~Hh)AX~pS#>4bH3x58-W)yGF7xCrwyKf%6f+}*RW5tU^ ze0evGzxG;qi|rNbzNyrts(`ZZM}mS`05Vc|CfY2$q*1w7aUK0M+D5Ur3Up>GzL2V~ z?74Ukuf94EfazmF1+~@}z^0z7j%k0C@Z%_x_aM6BsGb=#nOI$E0+p~Hl;za>(i=^R z33twWs$7bn-CIL9vo#7FA)oj1*$57Tlv9{vdzuvmLA+Xm^MLYIXs(9u8$}=^@cwmh z^zWOwcV4vdsQA5eeit|=E7Ae(@aEi9<)Tj9ytr%*A<&XF7X6*p7Jvgs&CeV13kTNk z>=O$0>N{So1l?c2I7M5Ht=Z>)+D4Y&Y=arGxglW_70o3hTANg{AFQ1uHx4~~a5({^>>p9kHv#~j= zS@ew*)|0S&2Oeu%H(3wbwJj_DN)cftT4AzOS$64PSDdas^Hm;M1z-*V&vo4sVoq9N zF=069NW6|#PeA%-^Ed!RTIIPS<+WMB`2j{##vIxr#jGbiAf#2wz?uGp@&|=`uaY-8 zJUDKb5J?_dSzpQrtCq^wMO6E{G?~<~=^EANj+}&C%}eATh%Dr^zXG}n@}mDTO^wJl z?l*AIWKHpowtP*p4I|NpwNyQ!LGP zIA8Wp|4Ijs>VWI>>Zxt)mU0@yu&y_jf>MN70Rs8qm!9xiqhu=`@er>CO6G44?LRL^ znz-5kobO-ZP{zZ@zcp(XOK2BK81I`s<@jB>Br5K*&w9m(K+eRyli|(e^H%NXe(S!P zM*PQ6x0%_aEiO2_Lh@oK&;wW0ZOZ$O7IcM3u{HFK50 z_qNdS`m=QTsG|EG9)|9E$x7qeFdPA$Wf^XEc?!c#PvB{NsYH~;MqonsM`H*+ExJbc zED5`Jfff#eetqZKpQ@D5=S?w`S$#zL%|p@-iX= z0grv?VXoa{;2J?8>)iVc-*)O)b$3=NA!mfsEn^&B?UO3IUT$}Lw?@9M^7@63KI%+6 z?zLWJLM#;6hPPj%mf~g6behBY!dQbQuz1f5un$OjH@-9;FP0Di*kQh#D7~6w zlrQaH+$*vVi4TU6#C~*-9#A*e0#xadN70?7 z&>Ll}H}G*b+mvdmcU%dEn;h0DlrLsQ30w!b>>I_NwzMi-aqNr0e*1P;q9vjfd^ul! z`Fz*V%)Yv_!a72^-`a|Lt2gygr?3mWvWbdj`YmF|EcXz`y_uK~F%- z6*Xffsf}u8ha1s0=3XjGD5do5rFNsWI!Op0!%`m~2qY!pFlbBq^6Jdv0yn^`aFqx^ z@i86!z=pz_M4)Xmc&=VTwouy`u0gbb@|)u1^+AIQbIV9D`&-xTd-ZMkBG5&55XSz? z77EyQ5HIJ4w%Unqmu)KyQ68zaV0g%8SoBuRo8*aB6U4lfW((gx2E#e? z^W&d)s?rbxXyLvJ6`8hD%bFb6yqHq}e^dw`+r=su1y)U3aAs8OJq|ofK2c`y^007G zc=v3LE?24gF{Eh=;%aIIJnzvo`o0~&&>ef8zjx?6LNHn0U!5)?o!fTZ(6XH-qFcKk zYqg<#&n-cb9`wxk{k2%ETr|SJwi<~~_PWk&H}!Se=+4EruC!MxFDN&}RyF~}cgNqZ z&;G5qyYm*eyIU#2b!q5~6R(8HPvosSIlmXrp`JWr6XHYbcP_L8aS{1`DoMH2g0gn( zIy()(hTbH_GYnpPQ{6W6?!8;xw-87jNNM&8d_&mE7_bL>bi4xJFYwViqidqls%}S= zkz}*BVUtfzL(uvF?JFj3Uhd&OQIYqi)+aB)+?UT*Mv=I5Vb}Pwek{TQUcA=d9!`pmC|?Im0u@?K-S5O*a-)N3yvl(iS57P!q1TuyEmYtAS(p-c630GjT0DYP7}E z-%S~v-m%?XD}oGj7}DuuSGq#wqVT8y==p{GQUU*717Om7ktYL zwSOb4PTkBYkf?E7sa-MceCbC`Sl)iMdt@FPR&4dbG=d9}=K9L^**GjRue2TZl%d289@z@=ws)@oQz_a0ATj(4ows45(gpnPg(u zz9GEX=FlN%F}V;IQD_$EkB~f3XbNRm5PHVf6epzRLhdGcTZvz8zV12_(k}OtTyqVm zkf3wvpf%FgvIB?A=3#d*uU|&-^*Wk6>jM#Sig8>!b$2SNZ3x|@I6iMiGiKKW1W63q z7SJFF3-K!L53(lt@zMG>e0@9ox*K|N1a_fhkOac&9+x}%1D`S9AXNQY<5|HEIL5Xb zG%340b3rYjerS_b7b=JeYfU~|r9>PCRGdJmPa{S%EjUJnUHN3`t<~QH$j*kseo{f_OLbR{$wEt{qx~NA zBL<+`3t?ba(9kKSI+YCv+)1cTl7D7imnd11?1Zt5!oz&PDCj?Z<0bWRFWGCe5UF!T zja5Z26AzA&k|qHPr^;8m;#lgYEAeNX88o`A2HxwC?LB%ebkJ7NyzF;hCocIIO1r2D3+kwCyjyq%b5?%YAcS#1>q<# zRd;H^5}oP!p(rrLBFsclNMcm2T-%XxUsl$Zy85e^;L#FNjc=0@Q?L|F=Dp?C);{TR zqMf22acK_ef)$`?}5gs{LonF0dF$d4d?XyC9Wu?QNF2#k0s`xUE&p+qg?+yXq&aG{8 zreE8Cd|ZnnFFq%dIUGo0rqn^TeAVkSF={jS*;4QISu;Bx00(p$IlAHZ3|(L{*GQ7U z#~nf!_#am~nN;cY)^O}kQfo{+A9m)=zPkbcG}dPd#rP>>^$F8UY)csbwJgf^WS@^R!@r+RYPI4 z{@pCS)bDG4P&YYFD$yC3X9MJ4#rB8CxAsRGNohK^`&u7oYJo?){M&$iFB5b}qQ`Fb zD1`-g5||M!cORc_J;(P<+8B7reWJuz+rwIN#~0W|Y`T_W=phl|0H8gLAK{`E}@Chc@<(72=nF5i>CKQf*F~eqp0+ z?hD-Dm#OYdoFc1i1D=X_jQ+iI6G+V?f~%n@ccl_Fl!|nIigzlGR#Gz_8t29kn2F|T zXcu^W+qe%dyE!+k$^=ITA=vY6{GwRyAIW^Q`QOmP4;Sp)epa0R^{B)b#{zHE?$!kQ z=sKFfOSls2EBasZWBq{2(C4@P7P&BFNfbFb*@CR4ov@vD1n4GpE{t#2tPW!*iEdPZ zwKr8hytVBZX8a&kQQV{*GSKHu_;BtOv>x0LV&T!5!bM#^`C2iCVv4EkO;@tpkJG@n zJVTESZqQ(khSljjdrV(;cL6oA%9TDZkb8k-kmFImfjPMb=rv>PfZ9n+Mvvtdu-AJVW=s?jaWrvlo*Yo+Em<$7rc=g+Ix~VN6 zsDR=4Z$A`HFXj=Py04x9OLEFDt6P|h;zXmKs|SIYREY|G{YKE1kJa9UT~&1QhyY95 z;|r3%3Uyp3?Vq#2Z)GgkA00a?uL6CgtbrbQn0LWOU~s+16uX<+!9_N9AwHDW;tXu7 zs~6^*`bIG&eyw%QLey=H#@L6bpF}|^;3}u1#J!C`(N!;wQLt<5W3GEus(WH4U-q=)5F0Oiq5(AUc5~(Z*~uQ`ZNzL)ei9P>AE0w1*YtacL${A;v%GDq^^z2#iJl zNb*ch)-7K=iG5@FixU5Ono_kujebE${mN3%E$404L)Nn(e`krP%vW%wrsv5{%7VZ~ zjH&w|Rtq?89{S%n#}V~iNV|D*A)&jdH|rlv56!>R`Y3j=>=he0-j9Gz!<ZBm!WBby#2oPeZ<>b7@WQTOF%^@4`*ZV%nP9p&dFEIHrWU|B|rY#2A;1UUq@ z{_t7M%S&Ht!Qj1?F2M}Zu>G2Rz${lhDZvhorpke61w)kz>q6mtR*DMw7ko)A$CX=U z66~>W>b(BR%~m_&ec^HXcm5&y;z*Re?p#Gj8>#4cBRjlMYnO`lkpQH+v!JSSVs+Rx zgccf3eYMO??6W{D%1;SyaHeP3ZFWE9bsFnnfjlkXN?klGfC#0tj z{-JAna=5|$22@jz8fx3+meXx~T3jv0D(7vvL1o^RkzsNTZ1WT?5Sg2H>yvy7D%;R8 z!`WoXJl2PG(#9@^(Wr-iGnVAZDHX$mo-r$@z=fq8@hTJGH@*gLwisaQB zd$?tXWx*e0dj1|6f4rUjVh&~~?EhLX%NnkJ`f9paFX=oXx$=o4Z*lk>>v-AYOA*np z)f;cL3fvWE1&(iPMKg;wHTb`d_waQhYufw+&V&}32Y6E&_;rGg?15^j#Kan!P3jkJ zmli?^8}51w3tQ52X|Luc-Qk;owFnF^-6b>E6mlmvv(8J6>QME5K6S4zw^55rco11u zI@UNl{Fr=|lwS_?M@+?E>Lv?BYP^)&;U~_&dGgr!U>gdSho6%%)~DpC2w5VL672PM z^7(IJ!6U$q3|K+W`v6i)I7%0TjDc-2kSce0;%(Fe#qDIN*X1@R3BaC6>pcc^9mx2O zJc`l3)Q9eQaukB55$+Z_V6;zPFm~$Z<>@$(KdUiN9ceRo`u4MVGCE|E^6=tWDPO@N zbUz1Eu(8Y^s^wZDHr#G3u$B-#clA4%@z>X79VnToyI+k_PrxYUOP+%QvlWRUc)UK= zcntMR%n!dH1NmdG$u2jEb+}1if0NN*0b8M=P=23C+uko}e+HT8tgI%xm8r0;m(VgS zd)31SpuQ$?$p?`7Mn3J0Feu{Hj;gV1*zHr-H8O(t*z3;6$y6DJDF&K})z+hY`=7&* zuOmV;li^GwBmrts(NKv7dL0+AgR>~&;0TuqV~;{&`rtk^s0GJEt8ksEOeA^}w`to< zyGMg_i~-C28pSroh&K%ySE-IkirBt!J~Sp`z_niMmqDSr$lM$ts3R0-+x&TO17&sF zmY);MkXQvP(?^10do28@u(22Ig_|T1ZSSJy$Dqqr2+T5=N_D8fSe&X+%{7Uj3c{3e zxCdd(8RjCA$8>r>i3*~Sp+6@3ij2Ew5SVJ2a@IWdA0@L+m)3Ew^so7LW|yUwVKsStdI@6{V&6RwUiyksNgquJv48uoXP1oW^vPI#PMP`sohae#34VKcxp}z;6|vD0uFEH4 z{HoWGTg{ZtJ06*CuH-T993>iUXicT#t^oreyImXgWS?#B8*`IfQ!S(w&ox32)s3mj zwt9^DAi*O3;lbAaPwK!|6|}8TF>U9Bbw!3vjA9OyYpTA2`mZ$+@rQ;b{Cw=s-`$XO zJ$t*F@Wi*g(<+Nq9yE_FNGwXK!k`$G=cCQRTgBqi7ROrxLu5)B>O#!NBQ6|9GsA1Z zm?Ghx(X<7depwDrJpQ<#^>C3bl$k~eh@H|vt%%E%>U-JDG*nnS!m}j_Nw((^Tq(jA zPU%ih_>)qk87O9}vh2OEc6ncRc7#K$LH$6-HsR#hXAZ+S!KF+$XO8@g;+Yd7BGP8#)~k~ zdDsZ!NZo=;R><09u{b^v(T)_85H766==R)u#zfJwv;E&O3!=>6cdOa{-nAz_>EDm$ z9-iFVe4>VQkOHluLHg|kTaHl7qILduyDJ|r59M-;%fH%GGvNGgq= z_38-3%M#( z6$5LZZx23HB$Xy1$=m9~v(Sxk8Q`XPH?(TO=4E=Sr)2b-*Ao*$X|hwOJUuwSdl$g3jEG1R@g`4&lHuQ>r3jOqpm)9*gMhs5mv7 zCUYN%pY`uEJ-!|lfl<2CR(?$ffu97v!+QM~EF+b_8cs=gE;m$$0r5tmc*5?x#8)nc zR60eN(J0}(QIFcV-JYYPMb)Nx~S|Pb#Xsu2Tc!2X7mzq zu;lDEp-}ujakhrtbALukIxsuNV=fa_liuPI%^zN6S%x{Zhrg}Qha20X7Z()Fu?UE_ z9dOu+0ye}<@l-{_A}3)a+Ko*av25r#U^}-^y}s>_?MDp^hfivpNsP-f8|SCEPpjze z+O*`Dp?0kX)N4wBOg-RI`|LGu$l+Gi{7}L zB{1y@P(RZ;CZeCon(tg#pa{1lcf2Bl3%r!G&YvwYuLL-4HY*V?XX^{=4%tgTg(|#~ zMxRp~#!8dEXL=I~#$XjHN zoc4!kONuC7g>haR)7_X?RF3-kz-Z4B0Rt{=Y!{?YbJ>K>8%TcsTsvR=2i@6zVnna_ zZawwkiK%>QsS3|D_Yd0nA-g&t9df$!#7{3LZOs%whF6zb!*@8)VY*nhS6Y(nk(g!& zVzP^e`0C;qD0x(M$FR)&QWI^yppO^@Q-@V}L5&6M>?o1`POW~{4yv}QHV10c_8 zwKuO3otqfJ=``X#0K-SngUOKpWh|5^=e(1Oh^+`|dj(*Wi!BqAKB9 za`b5=@RKR%$%Ne_>ml{(*RtUs%8}(s!is66rMGPlkzqZH&pkIY`>ZCn{uXZ*M_&pG z(0>&F(N6QjZjKje%tfK^UR*zZ18AwcE^LvQdocCz^0)Y1Wgq@~k3T}nsIs4=xd%W0 zS(>QQsYfV8k;NO+Ss^N|Chn=M6rS#3P3JLZJm7AL_LUhO&Gm(mlN4{IOt2%7%>LNX zQHo%af%O(I+KqQ1bLvf%K$dgW{7ILyFmoY%cs=z4(#vE?Ysog10ORi)XHM=44ynHx z3j!KA{w9{z^CXtAXU3%rEIw7#_7MhEIHbp+PJJIll-Jm<@+l@Q%ffcXA%j}b{LmDT z7p;FM3fU0V(p6n7N#Ox_Yz8)C#Mr+{&!mQ3X_a+}Q4Q>la-Rb^b;wyQ2%EkE2U!-6 zP7+g$q4N;~B<6$e7DLf!1g1Bl^XGh~pd_!$zHeduGv&v`ykK@lLrcl zOoLK2Ytg^fpa+$2QTRfJ!>p$V9V0ez+v~%_0TFMy_lq`c)yc*MkBsjzc~kMDIW+B$ z_=7qNl#LYgV`0}?Ar$kVB6CWyQKW@D9-_`CYKH1LKE$-D0ga1jPkhJbvJAMw=Dm2B zYUz2S4@A_BE@!BtwDU@2z5>X1dw1Leb>%3|{@_fM{x!UhocWvgTLn|h^%7S3$Dgfc;ZyJL4fgt*00HbQD#}*1Tw;g`^nv)uvH_wU+|6m-Gj)N|w4Is+w4CqK%*h zeY-D=*YH$XDFetrepN{^hT24XQrbbn<+@R_D!)fVL`CBJUqkN^JZ%^qR$4a<_AAes<$~>u_;9_G$Viz7T-w5HXL;Wom8HwhpWo1Al zO|%O8UXjTNiWX@yLDQPy#}vZp!%$G7_#BCMmiS0Dre}?drY~bv(WF2<>?fk+sBteRl@sZGKZacW-Odtv%=dfSB|kCr z<=LOImY^%+JmF;DH%#Wz5hUNIDC2SS1dOx>49(TGg57G&d1zo83VoLiB|;MjMp`l+ zFq_BMR)$-yOE$i(fukI6eVT{s9TObY3pP@8UrQ^N3~vZ4CZ^I2wbNrL!TYQF5~R+R zWQ>VOkvQxe{}xH;%+8H%hfTyu!{oz9HY^hOm;9GRjy$@dLcu}`2C#N63@&a>fPKH< z7R@D+Be`y(P^^%W0VeO>%)XT^UkJjM&ldHDY#p)}v{zCKvO_{5gGrQ-cqhEWFr5om z({v%cPS~dECd!7hWt;7WXB|3ZKzZIXNX1Y9oYI2oez?#U&?Hhws1ux1xQ+40nRtu; z0%I<5^59|N5)QUaVTu#6SyF>V)KbtB06KO1}!@N+@C%mad~a>z5e8! z&F%$xmUcftJx1yI`G!78NAAUVi9u3C8Xxc~n;GD<*V8RF$ z-ezow>WG84-*ULt`IRVb?~k*At)c`m7%?G$@^c{>U(}|O;+hmZm@i=pZh(Ra{7ju| zF0&?u4<`Dw17n71?@Y@tER#|fslP=*riUITQZ=Z2fM-2Gv2s}A{6iRt)OnFV9wx64 zx|OoD_U9gSSD77??gbxoOF0CKG zL__I}$jQjeBggYZ=ZiP|jQ!szLV<(-zrXzg5#B>AzleSc8QufFAu*d7X4tk+ZVUW> zBVh~o(W(5EHq zxA{p=mg4Rr|GFcZ(Bc%?bQ06#zm1MOc1s z(>ZNay&6n`VH5H5*$(E4`w@`uO}K=~?mHBBgRqPxX8nEp81RLXVQ#r`#wUJ3N*p$g zW%@iMA(JkDneV>g*y=XhBi0I4MO7koKTU7<>JOR5tbH`GgmLTa-i>@;+s$ysYxB6C z>o1nPAdUkrD$DU;`1YpsfV))Yi%`2hgqtZO6WC0&KsHl~C&9jrzrH{nrOhiZjQLf& z#4eIt*NMns4wTuW0TlM*bdc#^?ZWC$B>_TI<2|tM`s;(G?#V{l53^EQ+ZhVeoT1>AjDrFw%azD5yYS z+vcdTYyE!brHQWh=duf^Fsm$k)?1F!>iU~eA(Bzv{@regQ-?q+UhnwLLd%cs?h0S) zFoW$?e>u#O)I_6swqbUq%ox1&spLn{l}6`Z73)4=Zbupa(gmG-kI<|LKjIzRqw7IQ{8Yg@_YjQ=xG4a-h)B J$*9Vr{0A}4wp0KB