From 7535a12860df345c997feb501feb438959b0b7bc Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Wed, 25 Mar 2026 16:25:38 +0100 Subject: [PATCH] [PS] Some progress --- .../ps-jh/parts/03_expected-value/01_disc.tex | 4 ++++ .../probability-and-statistics-cheatsheet.pdf | Bin 343639 -> 343792 bytes 2 files changed, 4 insertions(+) diff --git a/semester4/ps/ps-jh/parts/03_expected-value/01_disc.tex b/semester4/ps/ps-jh/parts/03_expected-value/01_disc.tex index 5b302eb..5e3852b 100644 --- a/semester4/ps/ps-jh/parts/03_expected-value/01_disc.tex +++ b/semester4/ps/ps-jh/parts/03_expected-value/01_disc.tex @@ -12,3 +12,7 @@ \item $\cX \sim \text{Bin}(n, p)$: $\E[\cX] = np$ \item $\cX \sim \text{Poisson}(\lambda)$: $\E[\cX] = \lambda$ \end{itemize} + + +\subsubsection{Transformierte Zufallsvariablen} +\shorttheorem Für $\varphi : \R \rightarrow \R$, $\E[\varphi(\cX)] = \sum_{x \in W} \varphi(x) \cdot \P[\cX = x]$ diff --git a/semester4/ps/ps-jh/probability-and-statistics-cheatsheet.pdf b/semester4/ps/ps-jh/probability-and-statistics-cheatsheet.pdf index b6bc250945843fedf5f9589b7720b2e3f0916002..3e6ab4b42227f3fd67917952c65fb036e1b68bd6 100644 GIT binary patch delta 18842 zcmYhiV{qq9(C;1FHaE6y+qR93{fq5v@{g^JZF^(v#x^%jHh!-A)Km94?>U6Wnq~$?3tSoKxo>cz1+CN% zSgG%+{RxK&9ux|?mu|E7s|$$=u>lGq?h#f?JVNh$|g(x(Y`FrZVaYM+;Tx> z1Y>85Z;r<&&)WT$mW^(wIVm~zZG{#pjhX|=NM80=sTDm}BHe7u^gM0WZ1`W=nfOH? z<*Z*d*7^;a?!O7R_<>e2CuErB-=djbj7kf3-_GNyn>i)A<L3uZR4!Sayq1{!I{Jp5YoC;W=Q#G{sB8PRlsJGF$-V9z9#ifkbaT z$)90myI*;0lWVTr#F&l`nT2iwi?h6*2-(l5!Aju6tE=ETNCcc%${~wmnq^|4hqd1;Y9kOgcTC3l)J_$ z74*zZ>G|cAXX=4>?_dM3g}*=2gO(Og@9Vp;O)8blQ6&*+|MjDLhTx>oc?Cjd z715XoUipCYk3cU<<5Gft@cOlPJeK6BqZTqkiZ3&Q@!}?~J#`OZ=GP;#3g6I_h%;|_ zjV5DLfJ>u)ux!>&)?W(T;BrS53RK_2C7g^l}mO z;sf^k4&gcqs8ptOs0y25(|WYa8Auj?z}BZL-8R>gza+q>i>Rk#Qnb95F=WL z?RQbcd4NHm|1w_geVMT8WY#(!Bu_#?FJ7;x&rsc7c!_&=``+Y`Mee~UA=n>}TiqKC zWbDBgzv-ZUFd}_*$}PEW(yxT;Qcm3r+`rqNg z>&}d|gL%yR&eNJzK3_)&ef zjm4xOKWgEvNa1mmT|05NtWp@bbFK<1AxVTK>DM31@_*4makb}GFf@;E(R-C?SzZYt zgq;cs`ZGn2b8bf4%%r(`VDlL{p_wkE`}L?xUV^nAv%2c=v1SwJhoAJ=4+0&Hkn28! z9XWY3VYxCb!Gc=q9(ncDHk7{96y|9>OpM|yLumlHTNej2jKojRNe*&+PW<+`CqlTbGBT66QOKI$dM*|y=zYJ@WbJ!$BZCvWT3{7$?q&D*7`fQSP;7JeTz^2Ho$NB;+ZGo`5vfx zfr{kxZ;H@(Bx;J{UmV_L_~!+t4U68LrS1am!0U#~M*_R=g20r(FEu?)Up1vntXOHU zRM1OlZsHps*RQE^le@tNZ{47-cf4%7g&87_S&uR$6@gt&7)0vUZlWMnEGy3!)FMfy zEx@zyhvBn#>ad&O1Te0%qmxFOX7fw!gH9tCBRXhQ*>PP7T*0AKN8;;#%Bxl(OL@<` zg6-1hwH#vV@WkwUKGEgXABfbj^}t`>?=Gfn9{g|WsTZfUEKNDy2c%_*#$G`QUC zWUOQ^=Jp7Jg8zF^bMtV6)J!1h0iiWFBA(Ri_t>Yj9CB~`XR#!jWn+cd%*?!-qQ>5g zk9mq5bAy@k$gLkOL2D*EibPtXT&jV|qrXo_U!u<=(Kyt9aD^rr=O!2@`cfv*{6J&>bQUt0Gnq@I$-Tc-0eDW9M$I3c z{idh?`3VQMW-=uKzPIfuOXJzJko<4>4Y0n zVx!>=m7PA}ucRe9r@||H4=7jlnKL-F5H~xskaZbW^4ahZPkB;&fC-*-P-T?w;a4Ft zwCVoyRoK!3df1%llN`foY-6PBK+a!1NI1oqDqQ6bwS>HH=T3m66%$c)Y5m6^tPq-Gh85{hkw!Ec*}i8RU1? z{xj6Du^FCnp182%2hg>!X$nH|1%Kv0L{2a#jPfy=nT1{85v$!kVIASw@}PDWPV*Aq zi5~){)Rr0ZN1?o)5TtNTc-~!BodI;h zSzj=U5<0BYRJTlQgS?TyZn~XV2QCbSa(th*7dqP1yWe#U=s8aFu`*=2Vq>v7RES~< zSc?c9Lx0TMpYPOWHy`^9)er+af)4Tu&@40m^z1rK=eXAT^t;RipL`Zm|(G-O=xUgNIH$zKZz3N#d*^~(3IjxIG-Bmx6N+KfJd@*NtjR`MPyd@l; zNv+UqAeTrlZ@EP&+&`MxH>P*{F`JWdOf*C>(;jnv1fy)rAz01@152_tztlR#lM}phf!|HAFfA_O%ZL(7N&_@`r?xc{DIG zX4+LgqJ>Kr=-ARDi8Bxlv8C6SPptB<43H}np{7XyTo6p+#!}<8!lme+;2A>}%t3U}(6*!h+p*OShM6*s+eMDF-Wz&`o_jLBdv_BL z@%hNDTg|sZew;l*&(<&eK3q*^U2j|6-TT_(D`iBSZo5H0iO1<_CI}^va*|cd z>E^vWL#&KB6x^n&SyaHpJgHc>%dz{vRj>Z`(mGPVbUlx7@6Hj)x3UVb$?O)`CERz=Kyc<}b zWx`AGc=*YF_>h_njA-*xA;Ijbw$YJXW(l{5-n`%mfqT@n{tOV=4jQ7O5z2I@G**z= zl^qRxvJ6G2Da+TuX2c9y`fw1QOfLL6k#8pE43zYs3oi?>0jtpW4Pk??y4>!-xa4Irm;&o^fA*-{zz4(ka-E2W82oDduP* zHg2_$c+?dYPnwwAo^L$xmwJ)B^NLmCnv!Ya1aF)ol+Vu}x)XuJ4qq_Q&>ZQ0F zI8C+1pT(bRZx+^On7hz|Ca*TzkF-bs&K~*DCaR^B`k_9A*mGq*?)FYWxnNS8=5_H- zD8E_K$eqc7Nsm*#6&4OrjgKbU^Uz2igoeV?`-uzxB^ zrK9TmwkZFhq9*aNzbp+%a-8MOYLq8I>*QE-l49y7lRE{)Cir8lk+dy~{|f zHeH-b?jou~7^1E}ZNXz#+e1=Jy{#YrE90b#F14aHx_e~$+B3`e*Y=f(=%Q<{RM5}qs_HqxCt9g4nxYz*#Fk%c-NxUq*Ec9TCl8fW zAtuF<0Btw^Nr!<6I zgz3~ZD&KQU1kwX{Ylk%X_^wLGRJqhvpi_(jpY)-iAS-1=N7t(0jigf5wEj#g+vt91^S0DJeKG?0rMXAE}NT_lah1xvo z3u4OH|7Dl$n*`D9PmDuGJ0#XnYraBM?1ZA9RfyBtzo8)|5IyJ8J}d};BAU{_w7%Zq z5arOP2&Q=X)G-2-4eSO397K^v-2?6ESK)Q+V3Zqc50V>5`)7}5eqD@qW;k;_alB|w z1@YKd2dN>Gm4qZ3G$KTm;n?>)!6x*LbZ3WCzj#CV){HVREg`1M>gs9EQ+r$E-`SH& z!V*n$_Gk&0NEpW)7$xt4NQS4%zk-aOQTAkz*~lCz^T(o|H2C{Cilq{B7?`&~^GK?t zdq4ri1#hp<^#sYeB;H*}W`m$1ocp#j-SO73+AaiGyp zKM0AhuBe_^>hDF3$~E3c>i_mu{^CAS>`ji=-}tIn7L{fC=YQN%l{kKiKE@qq|`i zi-^83$IWb$QE9Ca+Ha@ls+SI#NQ3HpaD<8)0Gh6=mJlPJmWmrooLT@s1I z-fk4P2og)Hg9E3RU~8}{w96mPSolcpP?u(2yhel1;qcf_RCOJ4gnV)GNtPD2V3$rm z`$)5i_GlC(FuK4ACfc32glif=kQr3YEkaa48177gV`jv4q^R^zsKs`xvanX-!P!=>%E=C9WOY8O7nsB~B)?T4zVdH1 z6QkXamjK6WXbosBsI=61?k3N^S*!_v4&^A*kx)OTJA4|;LLItPSCoR=t`SgvQtOuoMVX66xPB&8Q>Yqr*ir^fl?8%=(~vjF$%%_N_&f&RROE!{ zA$a-tcM;(qp0$J69{$}1{hjKrE7grQqm2no#fo?ql(7DNxOs9<08`d!$I&w z-!f7M_<#VD)LTY0IqHV2`LIsoF)d-@?v>iums`3hPt z203F|L;jOmHNrujPO>)UXuh%ZA*fGjySa9dK?0wu$wR`8m<$7}iTO*g>m+X>S_6Na zcuftWwl0Y}e-wON>?&9rt|cCHYVUGVIyWicSf(_S>nQwfHk=w(YyGlI#4z*B)nlo9 zDDYP#*2og6gL>@iRsxOa7LoUcwcvulnzH%+jGlUHqs}<424j)P0(NPkIPw@aj)&s! z3p3fP(IT@xD>zbiGuQaG2TQ3%B|_iXII5_6Q`;U*_mtzJ{(5E3Py#B7$|1jEIpj{-rMYvocmyMKb% zj5TP@9e0n5)gPH1zoGW-(mh30OyLSJT9>QZ5Iyw_#rjF0ak|b;bfD_SxQ?M>8kAIK zB}*ZC*ArG|6*>?alLuOU0A=WCXc8!RcNUMtKXIsiFHPjey)e!AjeCcDmuQ>GsY^>f zDSsQ%t|m7We?|gBn11+!s(_snQ~l3lzVIz86hpfIYP0%FWK8^I_kb?djQPK|J$9 zS93PXuc@9Jk^bfO#2h|uchb1I{J5V`;M;Pd^9)sHc2pB(*E^j@{dNU7`f|JA_HCuJ zY}cIRJj<}vB!>#(PxPi9vl09glY}(5zbf682U_c`2tw^CPH zU`;5^&a`VqEL)X=42}oMM=86a$zuCcE;DFH)rLsY$cIdEZzw0ZH{(t$j#@_$aGj00 z)~RhM-Gm3W5tiIkof zI6NS96%wqRmt+I0bn{B1Bx&;`nX7WL7JOS2UXjwUad}&0?Pvm+P{e2g8mc@a$_D5H zPRw372h$W*J!wN$MaAwBU>y`lP2Vog@~=g$f=c>PKxV5rQB8CXU*VoON>c-mfzY?S zGbBf2si-iJn9(Tb|H_FPe0`VFz!9C-`_f3g(6xbQeFahbeB--Tsy_WIvPMe5 zPhnT2$W^5y{javnZm1;PZ$Trz7Qy0I7CLXvLB7qI<*jD1HPTDcBFngdZY~VgczJdd zIza??)LoWy^hQG#4jxHoJlzFi(ErntI(J(_xCEnVV?G}qbI$zyg z`nD|1kpl1uw-lk^XjnuJ#2{BNAK>R*a7U77-1p@h_m7X%tK#8tOz%V$i-xTnni^-> z*)pav(XXroH0t)`8_gao*cfR0ZMaflM6GCLj^9b3QsMQKx%rT0Y?+TGBs`(OT?YaR z;wweAa``Y@29Kgbn)xK`2eApoaWu6h1%G}n$^aWwe-*=c>I6?LmsZne^g{xu)G^0s z9`UX!qOh|zTUbuaI67aIH*1Y^)Yd+9OM;M`eiA8>hiClY2<(`pXj01-Y`HOdp?5%r zNZcyZ$82tAT=5Vk`xiy8M3cxUJXwpX;7rx^Cl zI}~6%y}h5BIxP{&0oTHv;zLmWX;6@4Gu5p85xEcxQ-YD|vW{tSV0z&2NWtY77jXcwfuE$vsov$H- zxBC%mBYXmi)?KQYvxGB07E>&g@zj)QuSANef&Ea3#3Kfq|Kmpf52KGx^XDn%*J+rE znJYXWs zo)bgUMV_?Y$yZk%Qzv*|(WNN4XrV}6gZ;n7vWzOE3PIvQ!!v}rs3))eyW&K5KsBWm z6K%F^9>g@1RxC8)#<%YHn>4~}QRVuT_K#|wNxT-{4e=KIRfAhj;~)eaEsHbu_^IaO2QF4hFp zi5Fqbz`h6ZpKplQE-0b>49W*f$U(zZ+|5U9wFbh8v+Qk;@g-5#)+0E;)+S6B~t8IW~nS>Cx6 z$s=E-PDjkwAy=yZJVK-^Uy+?zcRl*dei~b#T4OcT!7wSAl|b@x*E?)7qvKL%bCKme z{^fCiAlsMIwO@aKRxKrzg8&~^{=UHd9_%y>g(>-hGloe(Y)kkzvIBZU&b4(nC8>N5 zYkr5kv5G9HO|DjCL{q)y2_X7=0pF%h;#Btc`K3vJ>oIDd6>P7=wg-l&RhJ|}Ub4>r zu(j$o7>){t9c_MF&Ikcw1@frczO^}scIyo0En@9dlp$ulOdPz{pt`RwE?u0fHp8zh z%0A?Wj`qvODstZl&$q& zwsj4o3L&$#U@nBhX?b1t|BRYb3X?NwGRK-d!O|kXsbfzk|9BU+m!sm!Q&L`G)!~EQ zMbpn^5`T(IfiV@{6$cD0L;RvW>IV!Zj{)<0?# z`QuGwi{hDTX^4X5t5WN8op|=e-m~?@eueP^ma(N{JR;F_p$W11H-U3hlgDhmCFSS!$+j<)n28o9OE)QxbQ%SFvKAWy?NX4a2ew4BfgRUN@7T$ zuu_AU#U}yw^x`%NV?=dq(y>?PA*=y|NXZ@D3cmAUVl2imZ|E!B@;f}xNJA4%dHbtOZfnn!i2#=CI(rkI9Ff5 z!hx9Jj6s&2!SlWkN73Cy&rp3gOCKyfF0VDKIjhC2NvAdTPu?KRrqTn+r&y(8vU(EA z!$3#x==LGqv-8ep#%o{W$gwhbH+75*hINNm>m?fSuBa|#Qv@FDt7JKIYbh2+_t}=Z z>r*w-DjU#Eq;#yRt1_#I*i7kbk;pAf=y^HK%UUOGzi~F8mxPpX_z4n_2ymVL8H|)0 zDoxf*$IfIYyNu>@Jsxx#5vK3|5ZDpUd*T+scrO{t1<}Zl~ z$8rS9kmZ!YvsQUXgiHtVD5T#S6a9i6W5^D{@C(ONY6dE)?R+d~rV~+rLmn1}NDQH_ z=H4coYCe<~Aw;j6npKlqAcGsYf^TbDHPREzC&gr%47UKGN(#=&^N zd&yN~tk%|4IGN*Lq)9Nzlt+FK)m<*7vmHnKT25Z&@D<)B0Azj;alam7Qk4m=I?}z+$*UzA~-81w8WLjJCL1>mTA4G z{GMKWMNYa#cHwC6POI)QA@^q)Y1EJ_3Fm(F?&#>Dqqb(6FS~B#>JDNr-=qLAtS{&_ zR9RtK1oKqPu852CeEg%Mb^jv{_6qvet{e$}644DQ9pg^?CyL-NL})@yB)uHoyyr*kZS8L^oNzBjGH+fLq~wYutOwBH9nh1PvludzR5S5#R5*2 z^*{UezMFNtjqWS=PnO()9UXPsOXX(OTq6f&ebkYtx=vkC@c-!US5_K$dgpO?TcAt! z2m};ug8j)zuZEE8r1wc9E*c&SA9)QO(ACDS2FXVpMBGrLHF3&0VOEBKuw24+69>b* z@f4{&jhvLK;2bjkRkaTOsC66{}$VodQ~k%>F*66e4CAp=<3Ap%rQ@OHyUNOxg7 zU?JX73{kMwlZIRIBa#Rs9D3`VkV;&Uoz^E-H;SrJy{Ue;>A0KszpfgGDf=@&^^9W)Nz<muvtkS?}Z({F!|cWw7hDeQUX^- zcx;ItD$s?dROvPvAWmFu=_}#-REo|K5@lW-tGASC5q-`%e`TiRon7RmB`Pi1|J)*# zV1dEeJd#)_5d)346Cr55*osh%1_6YrKiW_Csf=Uem zhI)LYs%qa}${#g6D8E=4`wq=^EVk9r2N9pj;L9PAVM znc9S9{qEn(6?dc_)K`ejXj2KY@ke4*lPTZwzN1|{Y6MFApIj|jJy&Ipoe_I1Fm|%M z-63cInn>DU!Evh~)euagmoCvky8YmzPUK5AatE6kW0a^u+q%L*DEFraVuB;h8D;p| zH~Qgv%B83}zUYbxwnWOjw%KGlUH0l4!3bihI%S~=1l|I5q6j-aZUiP)#NoagDM9s1 z<;dc|f*s-p8ZnpEbeG|Ldm^nX=-9_c8AM{hdCE3&`lsmWiE_oSZN&JIS*KIJ5`@cV zgISq$RgiqN9EtteNDKn-`!iw&+O?kSEZx^y?PghW`Qnp4sHQ@#XF zB-W-N5XmQCE&QTDc9@yxx%h2EXAFhaexsrkgdJ#lQpP!Dr8a5!`jZ``e5R>#=5(|E zf~L}am0$w##`$~%D*Wl8kRKa@RY|V^=sz5;c43@IsPjlk=nQ4+g!ICS&0zMYOhIV2 z#23pt(Yc~=q~J~m2&)=O+aXk?phBj^D%mgLju}>46UytI`K}@trw9tj-#$(YIA_cQ zAV7D*Zt{EksU?0o+nIzBGc(J06WDPq1-DDmXuVp9PX0U>SB$xB*B`1anCU@AWSRaD zWK@@_2zUrE&Fc)quQ`lVTIHe`0lU8kerC3k*-_ZD8?uKe_Un+jo8pBlvtCxR>V;vV z<<(4>o0mIcvXA@EI>yX7gjk3G=!K*kKHCtZF}ap>2A7jf6-2S0fhl~m%I$m7uj*C^ zoOx&ely5flvnV;FI1{w^4(POO6^<7A6h^)yo9$`Q}YN#-3lQBME7j4xd}u( zp!MKsYWu!SRu8YZj04z$Dhq@%v=qGRWTDiVKuq5*`ZA!M%P6ojcmj6WF?=#93~DTdKo&ajQc2qEoy*Xu<9)fj zJ7)E<^adbaZu%+i34A=@RYF8&+${`E4-}8z+4e+~PMl|EW>=P&iZCOeFwKLDggkD& z#CJcF^e+?(BhhNX+ha)9jSsuMSA6N5(Nq4XG~S9lvaGPJ-$`>$MGO1b>T`QbU-~cR zaQptYt-WhEbF;tl5rqE?$!(Ncx7>@8sSMB5U((O>sSIu9HeTw0*LB0K(Zssd^{Wnx z)I&uLeV!K#BcI+s%Kc7M7^#9C?e$hPYVuy0?Hui^5KQjYYksk1zYsQ2-1L**L_(Ia z>BC0CQHkYv*AX9#Z;dQyH(GjXo2=+3q=P0eNsx=q^^PD)@C->Ox9~VfGDlM@EPuS! zY8fDub*Tmv#&2x`5dObQg$l>q%WAb6W3IGAbDIwH=UtI$uL!4oCA9dabRCOqB|vZN zS>(Mi6oqk=w_b^Kn`tA%R@PBW^RXuL-d1J%^d*N$<_1z(50oV1_gsP33rjH21T$qX zfxAV|{ksL=MGCJkXS;Pb-eSe#q}5#hVaEnC8YqZx{`rW2Kkf?-mwSvj4QhMuj~gO! z=%h4ZXtv9l6E}XgTn~zDRP9?4F^$uz6(PyQBT@3lP*us9vx?7 z-l7r0DW&@6hY$IFCw7{keDaSmb#QAzkbBB?SZ5UT`<1mbYX2s=!Fp#x0PjN^VVR4; zSyKp+{yH?^#>e2{w)wXR_UEC8TkTL$h*_#j1Re^+c%m%>xdUc!Kuo$brh7;VG0mc8bmcGk~&a4o*mqR)nrH7)9bsEqrqVUf+a`&iTRZ)aEyig@`l9DGty_&{ijj*_HFuV@$@(>zynnS9o# z*jK`CKS~SYr6&31QL0iEP-N_A^ENZ}w7u*x^)|!i&A{q@&rnD>3D=Mld;U^_Noi-sct6)M&i|!3*iy=o0>McFn8Ekif|DFd!K4{o(a`M+6WyDiG>4 zZpW=&+ZV5fWm#XUe(~sxQqvJ)--sW~!i6Xuj zWSF(9T`z1X%b_yFCFT?i8Oc~x#G z88hS3=!{>?6jxW@-`fGWMzAh>=YaXr>t-r)ZjE(mQIS#B+v=b0lIxwmK!Z#9A3+n9 zyBw(T0Ur}`jt&|jM5Wh4UNz5^y^)Vf_YJ;_f=+!7iP@l;>SND)_xp0+jUI>c8IK@e zZYN>x@tIo)bNlsU4R`*s<+G+d@xU294u{V_@7-BE_h&ETX?7egI@QNLd_ccFbM~mO zKfe=mjso81ercy*&VmdNsM&h0Ci~AN)(`Fbv-27~o|PFF3AXOH=$Dza0uzxSLA2(6 zjmfHs%unp6q?GS&{#NhqDHsY;tJ{OF9jL?g1%m!w9-OAU+fLeDt~Di}VZ4dQDAj&Y zaj!D>z-azN?0@n%Tbe>662Og+G4rU(d?xJX`+0aaRf3y56*v0wVEXQraT)yCzH0Z% zqJimeF6T>|5dhL18@U<33J`J%vaIKYm}1G=uoIa@DW-kf3iuA*?*MdW&+Y{lSQqSt z$5m5V@iIuxnh#}-`02Ln$*fxUY%r2|0R%a7dB{fYX0;D2kzfgx(y$woc{E( zA6MHXZNLAsr#$QKy$V64h5z^EbVf==etI(+I%XDBUn)my>Nc^}yZ@9!Y8>!(YCF6I zzT);P6@THY4)%C9kj?vhKYk2T%gVSbrJBfD*5iiVbDQ%uw(?Hk{ogZ{osc)sQrsUg z8unNZg)fttFNAdmv_96;i<$DKkXdV%)jpm5uH+#tcfgP`sHyL2fY zK!U76te*ejvm6vMDM%y&3a6dG4hkCy^tJFGN_j%Pp@MAop)f$q_7Ldp77|MP4AP72)y z3C{C>JOn7ACn3Rk+hJ&+ks-mkL0I(AVbGlHtehO6TzY7d{~!D5p|ipNN2wzu`0x78 zB5mj9?m@=O^M9MoIC!`@|Bq3 zqd(w@m73iYn)}Q{XeUI+gX5lrR?;RGj-!n#aqbh5l#Y;tRehJRifIB%M}(PYGDQ!y z9YA2^S_m!bpwb_T%pI3>fbI^%SsxP49UYNOAqt@%VTHU1c9y1vk;uS<#vmHN&xDdd zXIn1Z&RvxqvJ5syFQ)}a7=vNAYLW~6zeT4vu*aFn+AHCqIbfp=m`m40re{U`f-z-H zZlOL7$Io=+YH&7nW26#fWtD>3C&TB^%?FoZla0q?#c?-Hr;{=VAHd&DltOa3jG1#P|cT83?-VB7KBKK zqY!7{P{sHR^)<&rYmAuL6$8IuQ`W)J99<)5Yv*07w6%0)Cz#o_R3)m6io#nK^DD-~ z0jDyP(Ix#64jT+F&mMVB4@F7wKo~F|FPqDlP6CfjZt3ycJVT5o630Tjh-F9+z~fz!wOy5vMfA5V)qwO7gj2)|3v7sL zD9oD2(1ZO8?L#RT0{Qi{5gqi-rUEaNt#lve;oCiN{Nl()zh3bRO8V(pB=FPY<)S++ z&a%rg;6yM`Hvu!3U6~|9va8eIznSK4hZtUa4ZV;mP0b8oda;u92DP7Y((p%izWsXl z%oY;NP};;8_rh!2KK#Yoy_F{%uYr+pDwVG+9O968szpah#eAE|$h?@_Q(S*$;3tmh z2P%v6$YMGRd}1oY&s+5Eny~iv5CeH+2`%Iv@7Q=q0gDA^=1*~90Y3)0qq!(fN_K#q z==ijfr3)bLBNgcl3Dls@suXIwnv?Va0Nf_S#m$byX6IrV;(1m+7!;!K~I zbOk>Gd|&oj+AIt9Aow;Ve{+*D?n} zCV+mZ>Aj)5Y{wfh7*PJ z?9yDN7KtutD6NxZXH67F(oBoc4rxJ}sz88T{V7*!x9)V`&Q|ObQ%DLu4q&@_(BQGMiIV{A! z;zUg3Rj}^R&-8A5xVkl6FgQl$;SDV+$Cpt=(J$zJy6}GAtiIDat8Tv5*ipgdB5ch` zPi&c>wmT9L<}#pa+FAKI=v8AHC_Aue{?&*R?ttu)o$J zLIAiUgaC4Wv4qr>)O}~W%R9cMlm- zNZY^9h**y5GzT4ca3V~&Jq}fIq$-Hy3zbOhPMn6U()CmFsLzKI`eMc;+56*zv*#Gt zqg$*P>mWVw8)MY9{??~?b;pv?*Cp|>p<_6n*@>|sU5Hb8)i3L3JuPKJoK5| z!F!c-?g-0MhK)sOVgMfD3H-uCu`8v*+(4Y^%=4+#A851q=`xk}-N1(n1ar+9j1Ij8 zHJpl&SnMI8yrjX**{?~zc7(qXl=}>!#mA#>VbykVuN|}*aRxBkJoD*B`MTw4H9nya z5_u^Mq)*P0E*I0k^inB`8L*2BI+@Y!+JGo>A4EOylcpeWf z-4M8Yhr?GifCCirb^mVfATK?fps37=3|GG%L`B?^Q}cLzG>dIfPG;~GMvQ>lHE5>d zE3q%%r@ybST~Jr@(PAT2ahZ)cmScKhYfa47#Pt@|8y0>1?*YE9yJp&u$x68FIMHSk z)ay{}J0y2Ud$+f1S+HwJqKPYHZ;Ucb6SvgKqff~NKySiZ;q6owxQ%tq(TrD~b!(!Y zbJ9!alr=6pX=sf;qeCyed8^R=iF2IMh?_-f!a7vbHi_Fa#!`fBH<}e;iIc?PMey`f zurf*#^XzQM@cr61e1r}PeFcQxlgV|i*J*zJZlU$0@i(1o5p7%89uEB}6rZ1{-6ztf zCdo^6fbyKlb%B;CED?u#*qL^F*d?{;k%HUW-vXI}ZO&_lx4~?ircApR@Exct#3tP@ z9!H}Vhc(f2;}$>678Y64UXu{d0d`@ZSD}VTCx|ELpAP?W%9+hO`OF!(#oj|l{@i1$ z;8tx9xy(?jnj|;A_WyqY7zyY073rc~O9V{xqK!8}`+{VD)&I(|o3`{br>tGStff}F zeua?c{~N)C2NzrQIg@Lb2eA$}kjl=Ihjclj`?D2*1Ka(P-NBWOvm!PVd|6$5>f#)C z?r-l``8b=Rc!80W=eU4a{P?73xus<-n!z=g@bcSvx(kmb)n|B@N5Rrj&KBvn;^!@G z(519&q*+*h`V?QC@yLXvqe_}pH-}o9wf1J-Rj7vI^sAOG_1oe8CM?#?CL+8^0kHzy zk><5@b#6*&`~^@8B5P-k261VEco3qs%_bci7>@@VumQ8Ok!C~Erfm^sO=zvgBE}4^ zrM$I5xJ*O55#hC*vV|k_2BkgXb%=P?5U<4GTAmq#xKv{X84s;hhTv)~68shn&|8tLc;fEpN zorbD^RYGK)EqP-fK6o0qXP+Q^-q?q;@LEoqhwQ@}`!F*Qb*-nn_ZqT6>2x=2&^)X$ z5A)4a?NNsLkg}|?RTTFNdl`|j&=F~}G3#VwFB!8?GGMGnuOcQx89zi{Mw{{ zR~cs8NqPjUHouYkvdDiS+=YGe z>P?n^OX=5Vhq49H}w1NBwy4%9)H1}(n}N2zL+ste?7m?qe>HERu5 zH3a)GX8lEhE*6)%7r!(pw=V$bKtG^RHqZ}?YaZx_4fGo77NYL#b@c6VFs2EA?G84z z>$`K*BA^{dEn*qy2SBk6^dn8~b%duz2U=HVNEeO*jIDzZ2%2#o7~nXd0|RJT5d{Vi zx3GZ$+&o~H4!*9;kU|2Dz|1-dStt~sTNVnn`Su(T#Z=Tch<+%;gT;ns$XW%~pj=Qx ze-i9$f;;olb`kFzMSUY38Wp8~tdQYRN226?qqwpR+H(zjQ2H6YaS}RN*d92Fo~C-i zqq`~FH;Rso(0f>kFLAo%+BmEqB z9RTm7Yw+%ksVL1OTxnDMXE66E%1>E-s-Z%lFN#&0=yDNLe%kWW_=SbJAGNS7cWbl|I<{UlGuvxkv;_gwtn#-cu}UMIIIyTUI-Rb%7)li6KLFPCZa z?)m*Zo$k6{vGJ(B$ovnCIZ_9g@n{4S0ya07*Et0ue>hzVFH>oHWgs&)I0`RUAX_mY zGaxZt3NKP`Z*(9tHZ>qHAW{l1Np5CuATu^LATS_O3NJ}SAX_{%FflhbIXOf#LN-A# zI72fyL@+luK{YuGxmA8nut$pS=0B;*+_EKA1v9JPNq=Ynji6=6 ztx(d{JjFKRwqh~GeJSRfiXp|$6pNoKR;AdRVi-}ZPSq<_HEvaZsH%0V{#sRCy1C5T z`alI3-w}5437(mcen{L6>TwzF3b6q+;sWk6u?aNeYH)MJ7O)3bi@QW@1#P%G+(qJE z@D8p4H%r_H+Hreu7l<986Mxr=n<4H8C0rYBn%D&n;P&EZN;n7(;Yv8V6}mwWt_ydb z*bBL;Zfs?qyxG|!@)p!KQ)u0FPi(gxbGlf#-mYb*7k!#K;zg6ngM4f z7C=tai7HZcfF__p?*=+YRiK)vX>S2KOgi11>8LZUL(I{QI=UR#s0V0i?fhAfXP^Ae z!XtAKJKctVP~_xAj#bpL(#v%Q^-yLbj=C-WshgR#IKx$~;C}*@mN83JN2Ot41mYZy zADKw^;}v2p6^)N-JnfEZH%*Re@&fniv(#U@8r4;L8JFE2e519jxc&HC)vDWOqpCHx z$CIko-JXr9+Hl|XnX23FpHHc}xQhPk6JP7L*kdLU%&#`Goq95}LnHXxmI^f0$5up3vQzQ2u`z z`boPA=D{^^9ozug=bK;=+yYBr8LWU+um;w_h8G9Y{|dh1_r_ delta 18665 zcmX`SV{|1<(}o*c6Wg|JI}_W^#P*Ioak69EoY=N)+xB_hbI$tyUES5)e`M@V*Dr55I?;Z+Gth08^>vc#Z9l4PmESY9n> zU)DG<0x;u-(jX5Tm11h~WgrY2cW`R`S)Rj;X?gAKWsRNW)*`vpHvWq&8LS>gX?&GX z4*e&+SFs8M6P12X7;~9S@J}C$uVWdrlt0oB1gq4Xq90M3uu;}^9 z$kT|Z+iu(~yA1t@L4j0Bj*o#aR>HB0x82wCMu31{Wfu*2F5KNiHgQUtzK^1u&gOmI_fa zOaNZ|u8}s%8Y`0`eC49*lu-=7h-8W=Gj3OSF7g2v+!GnMM0*)J$@c=TIXJ?TIW6=` z-cb-5nba}{(nzeaUs1AB`Bjk0X57IVN2j_)FqvdHsgL*M13CrLQ1AFOiF^Fx!b~n> z_Abqc;wQ@h$+v1eic*X79!5fQO=&Py01ej}q7s$5vB zl9eY9p*-Vy?IXxQx70#`A>u>Te(;K|e-u_C^idNrp2_=wHNr}AHLOG3gYg^_G|$w5FlNaP?9?Qof7!hW$VjbE zp$w9nw#R12${5m!`44q%yrui=?yoG@y1S2;A6h=c@D+vOdH&j)p&w=}(2l1c)9Rnv zzMqaKfWps&#`j7Q0o!@hhowS3GN1-YkDN0yb});x&k5s*!({+YBQtCbzj8TU#FZoG z)ea^>BSHCZX-DttGql-NKQF^>{XL9`|z%Nc|QNMTmh$8>aSnG13ujTT%;FieB3TR?DRp1HR&K zH4z*i6s1hxNa&0iR|y8p*pVwoUs9!=zR0)E`?ahq>_dp>J`YvgN|5=C8(ibmu7xU$ zc#(0jahnD$&heB;Bl*Nf3m6CSTK1I#RddlTY|~r(G)8e+uagn3!SE)?V?SV}%?TSR z@xYH+wKHxGHW*B6(T9=24;uK3J)fFu;y0b$ORFx)qOY z$;be5xzTKadX7FH(}c;Ka`Vff?)`$;9X(2B6tl|+$eZ-(y5tQQ7OXYlFAOoH5;0nE z!aPPgcw8if5w}^of<{vWyRgXQm6PfZp1tRFe`SVrKr9RCYO$*1FggUnw@}aI9VUAa zLgUE~P;#_v#hp~m0VES!Nf<2em}8Q3e&P8uN{N45*ibP^8g!xl=p76WhP{)DVMx^WfU%P=?j_NmXk)lV<)3btQ%Q?;qx@z#SFpzrLlp*rs~nc%kI zf7Unv*krtM2M&wQ$Xh5edd@Iorubf+9SFcJNI|CIbr5wq`*<&ym^QmleXV8&gbwrD z$g2-n459&0K=RZmm%P?`4D|R@g_iwK4Mkg4^E$);dnSgA;+NRs z8zOt&i!?R3su?(cf2U+k$NN>*x* zeS$~`K!WlG7h8RX%P2xKDVgz|n|!6?AdJJFq{)40^3kb|)6x;f{OFbjTLhx5H zHMaRl>&k3JZo{U^q~IdkcK92)O}Ysc&fMNCX$c$|jGd=3mYJOjn}eH}nb^U^29BTq z|6XZMPGkT)G04>3@W`#$@R*T4 zHpK?twVv*ivSRyksdF!!qz-qCKKB+K-o)7H5B!9=i(fbb0`Kobb0OpY^S$_>;y(r?Sl2KUwyDKysSDx-dTm-)XZ^yp8xlB6>ap^dQGbOdh zPy4ScSU=b_m2@N=F}s3T-v=Wz{`{Q2pG%EcKkv_H4@5*lK7rM7ggxBvUlF3FtOZx6 zgKDx7b7x0$6NY1_2-{z#;xY+}zvgsZUFH7e*+RaUr*Fzz>;yQXS~s&;E`QQ>Gm)vF535Ka49h zHDfWLhMjA*Sj?ce3(3o`aCVqvo9pR~_+7GW=>tFPwL5cqaLRIC@$@6%$ALvQBeW5l z#3~F5R+*+yMH)bo$UXw982sTHCd-k0fhowK$ob|+?L0NNE$M0+6&C0YT2@0don8}W3q37#;E4(BSv zGYMC%DC$8|r5APA2xg@cE422SlJd(Fe>rs=qFpMTLM5eu6zZByYM)B}6fTpPqA7#( zCUr^Mjo)}V7EqR>)>a$@wD=@%(W^Vjur*-NXCVv@wo2GaLQapp-TnB$YOnfe6MZ3%N(Q7qb^-Mw@uDGNF?-14%{62u!8rMt~X(42jjB zpqB&{wD$9%Yoe|FeO*R8A%u5MZ70Nd)ib3O3r{>t%GFV1$juN#4#T5cgPZkX;qL7u zKO+6>Rw?U6_jM^|W;%|F*z>h3T=ND{gZbtXvihbPS<0$S(+nwh1SbLW3X4w^!OdLG zA9-HUd&Y>P=HLo6rpFcmaXni?zUotMA_p$emTj&v}(#1tpMQjG>P zckT%873{ekLO(Abi#kx*Ot`2ZaOB5fK-b6xfk>EGE*X!Ns)TI6#^FKclNDULVYGgGQMf}PSrHMCuu*RcP&YcCue9W z4`f!F2hFTZ7+5l|f#|K!3ubV;^;Je+ZP)aDL+-N~V&~=CjfHB@SrC z4Y%nVwX%HVe*sx0*?cI=d4pIT=8~;Qrjn-}WkW_8Le*olu@Ct#AVJJurkMmZn0AvBaHh?4d466->~Ob~I=>m%dT!%y1M7L$3ZukjX;!vDw6rP5y=g zG!ZhspPbMUkY;26XEO5YxxSXWf-TL5qa~Rzlwey3lkmdYgtRCGD6249HjQlP#QfPt zW&iU5tyISN&vT_H-)7U0@~4Pk@+GY}GaG^VauLL8DP=mLMtVZ6c;X{awux28ZGC;t zRYy+U?zS4uCl*Ms>l}8^{w_0pri`APJOhqUjR!C1yk$KAo{pND(+FEiYF}eMrw^yU zaGa#+OqX`&v%z1pG<(#+rq>d_AABXMU5Bmv!m=(i|FwpPX|xlAi;KxT5#x?W^_n2&kys7)4&md<$~mOO{aMe; zm%ohVk^F`?Hu0dVCH!U_IoN|VN>=dV+iD#G0EDi+>8)J@9NH5_?CTOtMjE2F4v-y0 zM#&EXRxLkho7jAUhkfGP(~}gWO^XJ1emj+zwW=5UWPDvbZ+n@v(JtC4`o~ph&eZHW>229ZhE$8-3)*DkqTSSiC?tVbasmX@ceeo z5Lu_+nM=(1_jb<|YFjAKC>2ON&@k!<)Tk9i%)^aKlc^_M(OlSP+7Y|fR==0!O-0u0 zi6ja{L|D-Vl)YUmU+djW(o&9v-{v&{dh=PciuPNg8EBL9k{JsU*3%w*Mt*s9|NcJp z>C9;pc`m=-<}PF|ME|50Fl<0(~d%arJx!VR48Est&i%E*2XAcnQw z%bq{$HzN8)AT%B7iVV_1UV6ij?`XoQbbPQzE-xj6rt~`ctT3J!tERBx6A;=}N{!@n zAl)p+;-_2AoGB+goU}$@4zi#@$%FixPg?;$iMa>~E(Y&5lJsth3+SdQx~BH>2mvdBJcTpD zCZvkwBdcS@>t(|aJKE@NNw|8gK?MQd(0&o$fY?8KI5S$^vCEAyzdA?^ z9516IRG|{OEDte%;0iFLt!F$dni%5_kduuy$gqTz)Fk-^n!TLgfp*xyRirwTGi?juOwtS015o`%e=wFe*Oh_ zMo~KD*T+YECZ$`!6GGE5)c0jf#tBD*d3Uz@!6!^3I$c&oDrSSL zY%@G{1@mwMXd(ED=_H^A@Iigj2oyD~y!%6<{-J8F7By!{6iYR*E`mREYVIH_#NMKn zkihDLBOY%2!zI#Kl>?PST6U70(PnYKpM$i2)z)ZR^o<6a#510k>~Lh zLL=BRdrazMHsK=CLBbX}OhiHd;S0+C^XK=GlRj>dv+O+wek1H--4C|%mZq-OBK6(d z>Nb1{YXuA?MZTTcfp0cV{EG!Xa$f}GlTHy^?5J?93a;A_*uM6{WDbWUQyO3W7%HWj zFhC9epQ}mM6)}xn*m$)BGRdVzL?6Qn*50pHKi0yrSDw_O494k{O-<%8w|l zD-dXDEC!onIYHh%(x8U&*HwH1wr)XPJwRJ-WS0K)p5)8V^1MvaLYFQiHb;qskV?%x zoaAgrkXQv=YPnE8_HW9ppM?ULMNCGW=pAS49iCmYp?}iSQm688*)QL!DzQ-@im^zq z@?c-tDTa>%{_U9`_y6c{8G{P5z5u(p(sMm0dE6eVag{+%T2kRjt=N=KJKV!D6;uoyiwrxWU8)8q=5L@YSq zwAY_Som&Okh-y}oSf^sj%1)&?UPvX6u?K&%YqkQ|E1=(#7qof z|4fO3M&j#i7%k5}w!@A!=d{|EisbH?zG8i~@*tWfbvE}DPUUw#)BzkDFXj0YbCLaE zzHzrX3=ylbW6VF>(Ws&e&KQGVtQHDc;GI|3mwJMZ3t&ox>oV4MyhzFFBml;BSxCv` zl;t}7;C2_6rE2j3pFTeq_lxepx5z9b$Ei-L)@J9>devJs7tj!QJ&s*2P50F+-Cn1v z;*m>fuw`pOt5Pwg4*dIg7ggmZi?MMywwOZ%9?MG-rmDsR1}B96ZpEAaOAaWGOgoDi z{g9R3OO8>q-hcOvN)n=w3;?%-`B;@LDA8K7qKKt5`IUeB*x`vLb77uf50>-{VyK{r zCk*rqXb_n4wp~pnJx!fy1uEL@Qy3H$O_`BVWNuC6TF{L}3M7V1HxW@X!J()@Rp^B5 zoU}4&EL&m@g^5`Wr>bEVq807i2ULg%+p(rF7C``_?_!p~w-_JNP`5jOulGycP)WWK@R#l#xi6$wo=6mSmnF!{ zTyu8FC2Q$4P~s&KWA(XWi1G~U_737t(Ci}&7%(bo84#Y|KQlYK0TNJby+x@}QL5Pr zIb#{9vn&;jC4dmmOIX}P_Ea@9k@jqJ1|%qK%F3c6UGYDg^d+^p{$uHEbPhvIhT(L$ z1~bQ%Nt^bbLp3P`@&w3L1(f>Q7b?*R!^INj=hKOal}8u%*vUs1OJvjKO1MGeMr*CPBb)4#Ntu>^8GSnJ_YPS~(lKZ^O?eGFL(J5@z_VRt7u zG&1F$g>i>WHI1g1GZC)JBb>&5FYUPBXCIqovV)W{Gvh4l zaW8bNZT5zW0~RVz*{!-=%Y_Xe^^#xM>v}vH@-PfzmhX<);%0^HZ4P@KpX$rF5cnMm z&6F0%^eatL#INC`3RJQ5f}_Ro>I%S=l~)X zkFRS-=C^aXOTtS-CSgIUm&+#y-cHNqxg?$YyzFoe@X$$kSI(?N1nzS)FHgpn?EOpf8OWttUYbSm-^sO5CZnFp3Yc!v#$OigT3MTsovg0Se>bO~ zcxvuxX+S=Yey5L8+FIAIO7%V_6amcg`1|Iiuowc*7gr?OgEei&!VBbH6vhs8+A`_F zBmX)y)h1#gI>WS`{br{_W!EtPyI_cd$W%dl#;*WItX1wjQ{S8`VRRU_%vmlAhqZhJ zc4|zBC#wBKCYPbxyFyeCWRvLFrG#wi^LsJhCW@>$y#;9M{S1l;fEaVuKLCs|U4 zi%aUa_hN&jGiXBMA~Jat%mGXq%Q`r_VPzR&F=?7pYDcA9hum1G08P zDrPYM{yzWi|H$mxy@^_2KZ61osb~HtGft$+-JM)~D%RG{Oz;Ob#v|YNqFo~^?Vj?i z4x;%Mc6o{Z=WYIcu~|?t9k7dBa*k379dU`KP6dyEw-;yV+n!Opct9pioJ9t&oo8{; zc*=Z2aHe>ao6=-Xv1?T1*}I}IQ*g~I?2ry+Oh<$~59}E@r|VE2Rxbu0c>+s{W-IDZ#WbQ{kVG z!HSsIHOl61Y!#XMbwFcJ?Z}3#S6xc`j%Boo+X_+R07%F|)g7+mqKOwe?XR}$_?3zZ zP;qLO_`rZ?#d8&uRzhk+^@{8#(`!YpRi;TvXdRhFP7FA!HJzs|yDIbw>*7T^0X2B? zo`#CHsqY;tbGD$#jVk|Y{jd@JO;PoIcT^^=CghBzuKB7o8vw$1Fajg{x@P15yglRw z!<(l~QMWA;5%fT5pg*~?kG3y*M2ct86Fy%@r{0GkGj>yus;0KER^*E4l41(-oIfisa*$oLwUTsw-y}~MJ;=MK#&V*i(c1u7!zZA-E?ISf zif-9kON>uc^jGGfk;s$}< znC`5N2gc3)zX4h!bSyk>QiwBpBV`#rQ_{m<^hS-9BlINHGK|LGmqf%#!Yi09p$MQ| zmPtI9m@QhapwALOCj?OR7L#^R6*Zu^>wh?k1oof{ly3*cYN7T6L+1fDB7tGHsQd%N zl>nmpfnl@+et^ZfgR!zF)lpL;b20y49g3ZcgZuxhL+NR|;7KL=pVXd?Y^DA7*pdnv zsHb#WZA_i~rvN6ddVk%i^{c9;Vw(5w+L-KI{x znz>QAeEv0@@W0v(^3_^l3Rn&f_#6`Fr8xpDY>X#jNpD_X1uxX)s_A->NEA;Za+73n zqe>GLZBvCLnW>bHXPJS`Y0UyeB(?h3L~7bsAzr;W^THclC?u=}f?mJpT?HjM-g za8c!-^dj$=!j?b}0cBJNibhHw7>Q;J)xf@5gq%ZLR}k>4soE$XHrOs4!7bx-jJXW8 z0^4Mh?N_SN8^&UW%;c){bCU)bvaHA;l)TLm$I_@QYdZ1ray;o%poAD2j!MDUY^)5* z-z60Gj53LW3G55>E1sl8`WFcmU;(ZqpcUa?RXv7? z>;r#b5Te?awz>n~`lG7Y1NVJ#`!t9@_IkEWNemzVhrJ-)OhZXNXxr)1j2 z!G3I=I`s?w*u`Po5|-HI*Y&>Uky&0<%N8+%SwjL)@a>KD%!ENCHoiE6fRrY< z4N9VIwnwCw#HC4@3qB8zatvK18KIbylX*E90dDvx)a-FbxCGw@pi zED2q>wHY_wAcZqCmF!bzVpEd<=J3p=v0cY!M?($o*BupJ6*RpzXAU|2+$fW>!M}-= zrEt;l0&3=^A4@Kg*{l?i$BCnYtT_lku!5*vqxK7Qx(e6_YH)MF%&j3vFDRks!CEyL z#0phjkp86Gd&_AL+uQ`$n0B1etiqASYrAmw@C(`im!x3M?-nY&mbU2um5R@`->o(> zL8VuOSdI;@Hf&RzkZt} zo)QqAhn1B&IRPtp1iL<~)?ugxoLM*odyZ#?roJWFOy#DCZ?{=*{OV@mWG5fT0M9F_ zYfx!(V_8$H1b<@hzZ^XZde!D_^Lu@I$5qMsgNVqvzg|<6 zCghQBb!66mtCxD9x1s9<#Lr14w}T!9c^$$ZjU!I`?ilh)l7M#rdsAX;Q6Zw;PpH!$ zoq(4!q~4F)zaTdUo&iL&*C4NmO$g}gafQt|k#Tquf4XYy5DKlFo}oZim7BOzNs`uB z9H4Cj_D`ke!B$k54%f*`u({Zrn-!%>%=EnJIc8M{tcxpY_GNKw#9_S06h8W53`H=km ztmfU|(j2Y^u85nzk6L}`oLvEPfIzb7N-%&I1WAF24MA`Z2&T1AxWNZXbBm=gOeLz6 z>0_WA&fW;vDVwGbqItF}l{F~pwk3w2YL0i4cNbsIv~4+)>M2*wBXdtX!c{xHm)c8I z?OREEgt~5obYfKDqN>D%NyjHFx$1`&;ezJW6rmHO-hrsp+k3k9v&0`u1%M{&Mqq=$ zx)DRDje#rxn6c9f^EnV++U^a=FeN%qfnsYihDG#+aH-tzzstY@IC!wX0IQm6RrFPm z)xQnmK$5MpsJ6Iyz2_-#^`~f6a#+>I(Q`Zz0<7f;Fc@SkeOJNYXJH&@vCtwlCdaL# zu~fW+OsW)1L?bHCo_~F*09$rc#`(=HsM%7Q`BgRmYU5?7GR2xuT9yTWq*L)_Sf~?~ z^7F;&FO`NDLRZEMNTjCFSrV#&=|wrx4}wYJg(RjCVQO@ZqQCz=57-Ior#hfHVQVd2 z*B!0BcFL{hMT@W0F3eHYi1&YmT@Sx@FJ8zuI`Z`uspOxk%2|Wsr&WtRB6Bc{+vxqs9jH)RlIF;a%g6=@c|8{wkLte^ z09SjNeY3_y=^YG50>Q7iop@;6+)j}Yqil?ThhWr_-O-g|^bArYtsLDH0ZOy0sDaa$PGojR@ks=&dC!hBKWfjzez3}Ofwqu^Pi$!M<mFH&`>7wVwVATp4ba)P0Pv zNY2M=b47(;xK6GlUb`h_^f01H+PD>fFJwfw98csWXE5*_{7CHa6!IxXodvH?gMQ(` zT~dFralO@&Y(8xenL>T__wa>;@1LZsBQ-l}L6QXSGH!?swkrLegs?OG&*Gux9JIRu zTw@ky@nm@}t?AjW!dtRI@XBzw=eoYbXKI7c$-h@r_G0@nRn~Ygb90&K9DH4X=Dw%& zIVHO*t6r2q(r(x;>%eEb}1Bx!STFR=wFQ`(zv9{1mQh>8Sc@PtH#iUq3MtV#2?-A;ZCCz=Ux5dJsqQIWCf zTEDu5#Yv~-<9Aa+vfu{RI0J|@Xh#SbV`z}}Rk87xLTWNCT08_1H@hRX1%q^2LqD!Y&#djrukor04NJB1zUyGuaU98u|oK|wT)D#V!7nw3{z zNfwtMy#gv2LN3@LdUb|}&x=Xs;Y(T&?LP66A4wrPA~NNbw3iOvgHbB&DCqg8EE=FiDU^N8=0cuB5sV#V4_6G-YPKv+*Ngx&p(VzO~{N%tdB!Bbrwl{ ztIIs>rQ`=SHL-Afkf$o$7__`GYp<#YyGz-DL&i=O@#x zG8F)tYQ{*!X^^%pha!!1XK`;E*G94G0tt_hO z98Wepq01# z9K_XGZj5|+{K@@HTkX8tbSqFZHi%i zyL0@LGQ5swxZ0Ey#P{ClDn|Z&))0uVb6$Mts&Nb$bLt8=kfA9}`hyV$#hBzvJ9q@b z&6!s%ybKrM+b7%7ulL(*gvfz9He;S4362}S-#n7p_rdg)d4gC%_@wemx&Ngg1mKu_ z8_ct;+@EsaO}+O|9Cjrd)m|>yv9f_{V?`>`Ev9u~wM87}he{lVi%~TBQAsfzHISn1 z-o_K)->GVt-}nBx)^kc*zRi2q_9XSt!5F`#XvFp>q!#_2_~){rs{_YYXy8+5+UTRS z*dI!FP^=(nQgzkDl-8?+>&S)S*Bx!N?t{z@BwE~|SCLYKZ+h42^m`KUsjK=d^`+AE zTF2=4SxWrRuUj(-ye@AgA20&H?2IS;asUlrOBp`YoV+n{AX3!ZA({fG?ZxX=nR-0` zv$k;7P%7Vn8?L(NSaOHMdy_HtWTEotNUz)H(ZpHNA?Ne+`01mEfPY8GyB1@6lCm^< z9Cl0)uyvIHyHqIO11j3^o8my|ibIG#_H4uccBJdr$oa{XPe4FdMYd^WmiO^GVLA

w26B6Qxcp|FpXybz)yGCN42%DGc{H>ldsiqc= zOONY#Yz#PRGh3!Qj{P3;)7g{Omez{iHu1SefGDa9oIRYSXcgJh8?cKjSsV+;fD8a< zqXj3=k1wmW#g)li7T3wjlmx)VYdc3Vqw*LI%EN13FI(YEiA!_AVw*l==n#LBPfScaj46J)r(Op5D_yXE$*v6MXsHlJQS4BqvS5F=W;0MtFVIrJnL*urxV=LvdU^?j(_5ktXI&Ohz}A2?gaf9QF1&BkWDVedNh@w6YChf@bmBtsL|h$ES@&{_J^hV{!o z`!mf$BbnuQXvd9H4+HFaDgbn-iDRlz*lm{o*yyS1 z?bq%7&eX%P!~;Co$^>frHi)et^Q!Gr`OHeAc85CytS!~lSW|XO^jVPUX6>QXzC~$3 zb)!(t^sWfqqe*SY$_@GU*Yc;kUz@Fx;7pp)5(=)pOp2+ok6;Soliy?e+x(|uV8Po8 z)L%hr1AP2WFTls~lWd_yxMVZs-}#@v!aXuXR*&vYdB-q5ipG^D0P!qOq+&N(qxeh} zGZYcohThvD(KYgzaLC9~rfnhubmJm|2FDP+^*OHW#a!~}R&~sep-w;$Pi@SbXJY~q zy^9_2WrIA@d99@~ADsvt#Gupf>z#;cnYbRn!}oUdz+?Nq;npFM%!4W~`7Xc;8v13U zEI3~R4_?EhkQ)|%7h+Dsa|!jPKy)}u+PR-5*5_7#1OOFIcSHp4SwWxyrRg9Mfqn>} zuq{;1;Gj-GyN~}wFM$K_R0|-gGdM=esSE@H5s>QOKZLc0z(fGf%RpeXu)9HgA_JeS zATWUc$!16`s-Y0s@<3v@|4fkc5Gp7@=1>UK7VCY8K5#Hr&KCM(h%Zp!%^U<;3;!uZ zDi|0mH_+z_VxR?h0kIDX)YykWZ~1!#kqic;JN|DC`z?eTIFR=AKg@i9Pz47rod1WQ zFAyr=K<}&n(Bd5e01hO%{SRNiAP^yd5fA?%HW(xV1n}zlzr(np{)Z~>5a>W}BuK`V zFgVCvaNyw=1ZImb(*H~lV33$CIjH|b3Mfd7mL5zFB1tug~3k((H2N)Jg_Q*uLkmgx z|6?sJWCkc}Qav>uE)Odllccq?iz_iV8_WM`h-@4@T>r0z*rmH+zsZg2cT+oS3I)zI z#0QH2bt{nmmtZ6o%@Wfqek-avySrF7oBQEOmqNCn%wodMv`+ZHbRvgWy-M}cox4~j z!;u!X2II35m0>qMBZPGvZF)Wg4wfN?Ld^vcnKXYnD#SXK8OlLk=JgNyXC7>$UR+v# z`ZDEY@A|k6;Isjji-uns7Wp=qB_)DA6lak#2v;lSLEJI4vOgGo7P12#Q3#tDg;PN) z=1ja~T^Oi9o>WI{9*It)h!vS^1YydWpwoM86xsxmrJP>2D2innX@ZMc#H%do=!p`k z5)+G!lHWAcN2{!{$4fb<)@ww9Hf4-xAYcWO>%1EY(3I~54=BZKFWS2mMyoa==HQ*v zDf<iV6kq2#3L} zh0RxB6p$b+bi|B}5Dbl71xY_@T=%aIvI#e{A6sin3mhJ7k2AC!UA_UGyU3_R;vco= zDC>kI03D%8uOAtkE`W@AM%EEW%aVc{J*M%$-ws-cW`Wkr!ps5Y%fwjB)BV16(Lum7 zn9Bkhdqnp>aN^)Kb_w`C##Q725NMZbGzehONuU#?k_wJzzapZpW1#R~NkFeooh0u* zs|1}RRE;D{Oskm{X@Hnm9-5^vv2vL4h?5Ttz%W7%)~6TzGEh<P#_QA7uBpXOKXe zvg_cSG0ILITzjZ?xn$25Cn=FX<9$fhq~(!vce^fTv~xGU`pwB2y7zW2q5fsh&(qbK zI;ZZO>y42hj@S=*hap8jB0qPU5arJrTHOF4xO=%q3da6K#AWUEy*4ZftSNHi&_!n} z08nP=By_n^`1)KjNjbFjed(V_brzwQ^7cqJ7>JvY>75u4wd^^Xs_B*9N&0aZfS*X_ zEU!39NL-1ED#lcB(N?>|WuP5bslkM)$ z1^f052flgBT#tc!y|#IdS{4xl5@6E-i8$#=Z}e2~4WqyzU-?us35_=o>;_uGF`L9{ zLTQ=taPyp``;n}wF^~IT{>0qF8$)~%DoE@hYq+*^=f{s5zB_;C$Gy}0q?50$tD@I` z)6iunG_N|;2()h|=P%TMM#IU@+ptKdzpRHobe%Pv064}yGoC|FYHsM zfMII^HQ%*sw(c5xXE#$Q{AM6iXc{^Grm@Pm^_{0HTPgl|;?rMXEY)e9B>F}@GQQy6 z>P%*Z6;YbYH_de}o^c-OEX!R+sGPc+lIxHyu|sbf5aU4A@^GK;=Y*i{aDB(w@i8HB zYWI)4W#W>t_O&W!6U8bGj6M;dgmpBdj)WXHR1uO&ni>CLo|CfMdn0gD)Rwp(MXx7n9w{_U11RI}XDs`}8-yClo4 zxB%8ld4W>{FVrLE!wH*Bn|rXhka>{F1)Z;Yl&7?ZuT4!-7QkN3@C6Ovr(M#B<6QKh z7QYq^esV$Z@A&z?v=w64LWX8xZnso+$EJ?uyv&6$=~z0<Up=3ySV{x9F%7W1zn*u?#5sNf{U*a#&$3Z2*IiFB?Y}->-BSz9v4fGujSK|@f6QT4Wo{ktK+Yt4P-<_e_u3X2;C zt5?%#Zl>HTf#iBX_|DD!lP}Fp^rj|E#Gj<1$T?r|Ozfz80d+ z;D19u_S-15#3jwGq97jk=YvaBh&i^60^44j&z=kbO2Eyj4-!cel+OfHCMg{4zix&~ zO${${HE}yETa6VN)sVA#!MVt5%;-kd!+kk65V@Q`z@a&iEiH+EF-gD%)dC6E8(U|u|>rIUCc`4 z8BSq9;7VZb3nTu2vZ03(!$#aOY9ybz|*our)!V`=pjT6n6i6K9tF1_d>5E zi}t|u(wULZMe|1FH3X4Vf>ewRNEScA{Ze~Cw7?+!R<>C?yxFtw=$D*4QNgJgx_(Rv zxN^FJ@aJ2=bgWVhBV*ve#2Y)Fe5<<{`oA1HGS1V3Osk=XIe%_}POq1I5x(SB&P7nB zr@Pxt*h_f!tK-l6r#%U9cVcE$Uh0;LN_f6NzsS_9AFunnzdxPsd|KZjQD;axjqvLL ztg_X;y%8m%TD&G(kgG6Um}bOkDJ)m#Q>o%ih{v{A}7hHR(lpYTb6;bybUjH#FEG6Ql_p>lPY{G6cv3nnI#e7 zMIe?Zkm>&kdPvW!seN;p_Gq{XwaRb8 zp?TYqDVg^V8$1mx@J|#z^ZsEpzLuNKV*X*?KU5E7T@%8?w9nJ6du7ApGS^knR zmxPm7Z_0f7FA5D#MVf{bTAb81EjY%>deg$NC78vrg}F-)d0R}2vbSwJ?n@t=>kzm= zfJ|bG=(Z?mk-@eaTUfWnU`ux$#L701wVO7B;;_&x*2RD@d6x@B$-9^kq^kz%2E^z} zl)3>Savep)e`&|W0a={uE`OP?7H}7>97xkn1KKOQ4QPX`9a?{Xjk5#`n_!+%QBbgF zXVeC+rVI9=)P#!yUHEIst_^=Xpx(X$pd#&nLYhcBEUs9j9X3!Ks5^-Iqc_oa`@xwy zwmbOLZ0^p`iimX#t*|1}4uGtQv?EQEY|o88V2Y6R6%qAu59+bc@QMF5f`_;xw6V>%=$|@y=>PJ>;zl zYjj@J!f+7mtfM=#+IK12){FM0D%Q*Exm?719f^W%>&2Bt)SnyRqqCo|8wX*K#r=W3 z7-@1Vcnmjbw)JA*sDCY{smgFIw)LXnE+uR?yhb0L{iNZlGTdy1hlZP|PlZcBEM-r@ zQxSM>b_>saj>+qs%w2I&{kIVJuhS1+JBT|K-X`_i@>IP^E!e!4X~ynNBIgSa2ff+RaF#+*E;vy-Iu+6LFHabACx|5p)CbV%cCfiYUNcZ zaQgsCAr2%V#0P(X0~04Y<1r(I0VYlyO5)J53B)jRQb`Qan2?Zc6QkDs{hWMRzwex$ zyU$*0pPE_YMrIb@0Y||xH*2y~1#=txHo=}Lx|`oomAPe0stRU*R@z8t0?nXp!>!P% zt9gp;#21Ri6w4{*Un_cx8{m3oK6!$w5tMi>!@W;z0?oJ_H%Dv%t+*Q8d&D-d30I4Im$(_UR@@AKaVzM+wc(Btw}DRFCL9e2U7#Dc8AoSA57>_Dz`afE1v_xta7T!J zpdZ(Xn}Ya3^v5aoWyP z;52R$$Bu_HU>-MxQ!CDbbGQRIx)m0{dE7yq+IRt6#2v!X=}-lWxWhP&z!F%-P2-r7 zumUdOj^H$ZK9|82unMknwd__mt5dedeHtW2K3t>HtW`i4&^VSs6VMTIkP$gnu|Ty2 zlz;}k8*rFn5d`8^&3EL&^lmgcs>!rAsWcf5Z&a;%R%%go)w3HFRcoF-no)JlvzMQ$y6%OKyY-zkFAi7D3oj-V z-SfGBbybJX;nqfpZ=>Vc>c===J~Hv2`|(0^551I{`ex{)o8-& zy9x2{gum7j{&}5#GHXi+dlTvx5=yrdTJI&af0t1CIiV~44=VQdB@Fz(41Lm0f>Yo$ zI0NRvS)k2c0O!F4a1m6&B3J^;V8x3=E$Q(HQ$N{%U-0m#m&ZN@9||-$GzujpMNdWw D#+$hS