From 2bbec492f7c181651766135fc0248eee0e7bf918 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Tue, 21 Apr 2026 09:06:15 +0200 Subject: [PATCH] [PS] Fix missing f --- .../ps-jh/parts/03_expected-value/02_cont.tex | 2 +- .../probability-and-statistics-cheatsheet.pdf | Bin 384798 -> 384803 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/semester4/ps/ps-jh/parts/03_expected-value/02_cont.tex b/semester4/ps/ps-jh/parts/03_expected-value/02_cont.tex index e6e937a..124ffc2 100644 --- a/semester4/ps/ps-jh/parts/03_expected-value/02_cont.tex +++ b/semester4/ps/ps-jh/parts/03_expected-value/02_cont.tex @@ -1,5 +1,5 @@ \subsection{Stetige Zufallsvariablen} -\shortdefinition $\cX$ stetig $\E[\cX] = \int_{-\8}^{\8} x _\cX(x) \dx x$ +\shortdefinition $\cX$ stetig $\E[\cX] = \int_{-\8}^{\8} x f_\cX(x) \dx x$ \shorttheorem $\E[\varphi(\cX)] = \int_{-\8}^{\8} \varphi(x) f_\cX(x) \dx x$, falls int. wohldefiniert diff --git a/semester4/ps/ps-jh/probability-and-statistics-cheatsheet.pdf b/semester4/ps/ps-jh/probability-and-statistics-cheatsheet.pdf index c8f17ac3956c0ca61b9c366d8c28df56d94cccf9..6e2af896afd4bf4ff75db840445d745aa062c7b8 100644 GIT binary patch delta 18930 zcmV(xKjE zG7D3ZlNn6O+ImVji}vulK0kjZiwT#+Si`XAnXrr~T}+e!a3%ATe-R{qRS?~*&Q4}R zo9Xk-e6zUTEZ$+u&z~t+4MqwDdxCS(#K3qnZiy|b@xGm}7T54DH`Bk~Y<~5x*&=)m z040VgSOP%`S&ewH*}T7g^!ev+@%;;Ulbl{%rUn(1P=$jEBBk;#b4GATJ$?NC1O{F& zmL395xsKM>tr?Rfey-^$FwCf1M~{r}LZ3vc~TgCJLzt(+W}X9}^hj>xmoZfx|`x=!lQuKX{E;_@^gp z`1SMm=WqV~bj}F0y@nr&WJa(FoGm6`NiUm6urpjUKmptKn&SuOMz< zs2)I1TUe_{Zi3Z(>WOYYD(CT0K z{q%C;H!*$8>&|9>oI-a%goL6*F^*k2@&Z`cke8}a-Ns?!lk$AM_=z&nOJ)KjYjpwx z{m@Km=4Lh9PV0wB_1|g|HLGc6fT~?;sDKz!7K00ra)0m{EPB)S)l3L6{dx_wX$?oi zH<3DOA;t8e|DiCQS3j$Ir8NGDiD@-p1ly|_H?|iVIeof+EHBH|W{#(KU9QW;Ia0sO znFY!v5eavkSv;-ykBvREj0i5{BMT^O6b+6nhc*m=*&c)X0Uix_%_R$8Df&<&MtDxETT~BHYz;Ae7;eWI^>Uk9cnM?0+^-Uc5e^tI2 zdrr3lbdTwOb~ZbYX@i{!K}-U@<}sWJiy*F>p z09iR>PHrnyCG0!}xg&n3H5CO6KcFD3H9`7Pt;Dl`zOhlVaB@a9D({SHI-@=wFl4nG z^%A#w!8TPdz=Sm^46s%d%28xea85L<0QyU6tb$05c-1s><61w}1m*U-o&u!?BY^`? z1DcyaI)@2a6cW=Fh+a7)lG$Meh-Rl3b;ntZu@t01(b_vPeD4YstU5PDfRGNftx$oW z+InAq!lFA`SvUFu@W83^9aJ6Qjzm)6m{b&}sI@kK}f?@Sbabu|00rWoE~<=piWZV+wW)Vt^GX*dqvl zQP~LgD_BuGJuBCvMgwJ4h!oxr9nAGi{DKj`VATicb0_sOoq$@0E48H(U4f8m2@;DM zAQ0NgN7mjz5>u308)+S~SFOBnPG17Xnj-bjNL41Xkl z?TrKb@*<)F;Eji&PL%J7RWCpQiuvuK#^>}*4hvh zgPtXU6d+CX?cx`G6K=nOGrr&VzI{LM-QSjGa+@2wx2`y?biA|qmgHoWg}2X~cVYTA zV-G?I9W+{gD(mtaBYcKX916|vi!2TvHfsw=5?Hh~Fr#Ce!{0#4EDyDN)J*t)df^;B zz<6JSm;t|hc+`v65kMbwKu;HiVk!Wb~&$Rzf zaux%Mbn7MgE_C^|#2%wETAN@r=QF^cKnauZ@mcm=pe$-iM^b9`b6Pl4VtTpAIDwSN zInode^I2x%@LO`?0C;K`wKY`7t$%;csT0tn*PHYjsYWdx%k9(RVo^+c^lN9D z;|330%-ft_wQ{juf%dUFEB#+j7w`uV(D|E9t&5zOOZ?tLrxl=T5mV`|2e!Q#C<5m; z16CfF=;zut==cab$Q3Jf!U3FdpxFe(pO&OlpVRiBptQ`5$Lvmr`3IfoE7V$koa} zAy;d>z%g^uMEjt>A_z@6TU@`rS-sm-^ya@%en$O$wK%_7o%eXSOFL4wICT|hr3QtUn2BW&N{?#b;)jbVwkX8ag|uh8wk zGrz5`UXw~nGuBB_k(Bno^NVFxNLyqh7(e(N9Dm>fn1nN!B7cz`Dzywky3@2vR&9dT zszzU?L(L3G1cDSi6b)OHfEPpqTayK`rjHUpH-_~Qg1RHj6$%MK``lrcfkyd2RQr)W zvx`2OygLaX;n~43Q z;(x4jFH$B>*n|80hP!6qbnLd*yxB11J&c=m_Xn6ZYqZQKHUuDgv*v&1!^V~Jfu2ab zUz}JuT`%5yX0c3*z?Jv;5M!Ka8{@vn2o^e%RMGW;q?Wu;!~lLPZ9z}u_t}MaDZ8*J z2vcxc6bSFy=L{uIbk(YEv}b-{tC#)M;(r=jX92o)BUM2TB@7oTggBqrQ3tp`%;)@V z){6~teCPaC)TNNP)8!;ZBn`>Vjc@LS1SWuk^TIRuqQl_jBzS(a-j&hVwH_lpl@EFG zCY#@~XF_CJ{KgoSUMFoIRZ6Q?N!p|YkZLnX%3%A@rh}yn1tO>gZW2iu3REF$LVqzs zLo*nskusVGTOp%*6v`NNt6Id^c3e+sJNzF(#@G@i1sZ`cJBU)%s3J<2qsdV-$arC+ zp+*gYCa4kYU%^=n>P`cGo6F-*f6kJynm)Pow(@dbJK%saJ=~S*mJfLCSAi}s%Qfk( zjsR4J07kh$@U0@3Q$L=Ri|hA`a(`LE*wRjaxx%~}X-3vgSY>Gl3g+fM6yvUFDqAXo z#L?OvRHSM&T3>0se;^fUP&A>nz}^xLhbV#-8S{V4-!JEn>wdFG4v+)U+ z_ES<$QdWMc`ScoRVy0(RbX6A|Y?O9DsDkDk5VGJ0WT4{;2M&=aZkt;o3x5og)^Mz3 zkHguK)}HKHmo{rMkuXS|_lSfs+ejG9PHrr1nxfGj@UKRwvoaOB2Pz-hi-UGw=IrKl zPrr!C+RYiIw-B??a(!E11L~M=5h)c>MKMvx52fmLj9@sriS42B2;0smAQvn8ApD^R z!fs$Hr#v*DKFmdpho1oe+|f!h&#*dGDgP#L@7cR1tRi4lq2@g$$-o%eNtqOm#Q9jw_R&#rBoafL~z)yD{M zmEE1IIwn`HPL`c7L4W4{h+(5~OhTc7^#=~-RYIl$F|Ck5g>^x+VZAaH2i($qH95C^ zF(CV_6J}6=Fj!b7d^jhl+7l#wA#Bh{2aPE3cvRwuwmPn@6Gw(xS7Ssgu^rN(*2KVB zK~Y?pqQ?(!2)8C&Cf;2p1uBSv{)a4+A`E(pmnn+Z*!CshB!8-C`fV9AAZ>9tD9cKP z5^KB`_fp~Ak_x2(MN;pO3adtYONGrK2T6quhNh%KjCN8ntS?Db-Gq2|@#TE!ANWk< z_is+Z2omXPqL`{C3f4kFnR5LmD^R^lGhIG?G%7fV2}2}TQB9%Gaa=s=%S_!k zn;r(}885=RaewcUv}4BQ4)W203xmmlMu(;5ka)8}f|u$1_TDD#A7{eg5z_N|T2hC|<+QvLtYFXHO@T4|vZ-1W!l(cErfKzqe09=9aN3v~8 zU_;F8ux;0k9BRH8O-7p`4zO$oxLR4a!t*JBQ-Wq0Lz*@;%MoQhD?0qNa)q5QmbIQ5 zty5J~Qj)yw>(7Uk@|?L!_N`Ror|R&cka9@TKRKc(q#RNdQr>n^$S8O0#Vuzl4Ucce z@_=gp^jD=!rAXPW6q&~(Q4q>?D;-e}L8NN8o@5kY9`BFos}O6mwtScWpJuUQ(9k22 zFwLhl>z|mAhfcipE`@JCbXPF83*S%*(otRB7~IdSoj#o#FznHh3Y&2bX=Bn?PV2 zKK|^tu`mbiU|qF5M-N~V4aokz_!L4CmL1=^P^e6>le8=wjRQX&mTe6{)pf{-|FiZd3u1*Hp793Y zUzQi^>&*>}DbLGlQGaa#WJI<^`+rucHR}bIY%G06F=sEuFJ}wHUHn$9ocr~xL^G?m z^C|j{oH)_@8R-1w+K0fx36!po5lGZ+hzlW6o2;MzSS5n4=dXYDnVOj5Jal6#pZPl{ z|135`jEI(StaFovu6&?g)hya@dwry^mE*C ze)Hzm()&i%+8U`X)HzL$h8rfc_Zub3Cxk}TJwpaMHM_Q|L?&jyiRtv9LS1cD)7w~k zt82Aaz2J=ttAE99X_1fNLfA*`ZlgcNvJEY&TVsxM=}Q&gITF8DKk&b zk5I@>Vc-kfXAgSmsRglkt9I$!^Pp~JrtSTZ1N;CPlM>9fN&R(q2cMz#mu6>t&(qaeNXBy10)9!G;1u0?_RZ1a z^8kw6$u(na|2XAkn0(Ee@cL(s5R>9*X8%v6;AJ7)2KtfAEOX7eiw zpru#meq4EztRyIZEB!5k6qT#*u2xqYl6A>qO_re!-rNPGpmlAl?ypw65~aHyBD2dw zlm#naqIZ8eE?G!AkgAHj0Y2H2kELB?Mb?tAr2v3 z4X!3h7v5rOVn~s6{kU4V@&)Kry}DVQWfO|Il%6zAbU_S%#^a93l^N*xvxI;0*9c3U zP&X94^yYV10+lqshs$zxzO2mt&e-6~^WdLBBUKqF$XHVC|E8_Q*^R4(M`EJ zTUMC{s}nYVC9`E&uFI3i2wb^F^oKVZ7QtKDFm^q7*(J1`t-s_Fs(fpzurVw z*sjaditjl~N>EbJ1bJkH&sXLYJvaFTHLfBbg=^Q@^P%WALn&WAN2b z38v4t-WPcsyC^~K!s6Q>jix+F)09H1VML`6MN`Bs`%&i%7;#%P1%s0-lV2w@f2ruu zlO!oo%IvdZ8MzosFks=U`?9Wgpsedw6qbbps9zMW8;vdN+J65qVK_k0Zt}mTASr7W zgZf>4=aO??T&))6qhnW8iEcWP#7eO@cfW1lKvMX|0FyB?aXal_v7IKC_Qh4P5TlFA znzMI&(UY`|NNRrUtx(7E5j{z7e}!V=cDJIoc744rSHD&Ul}%+axvENEROxo^*Q<-= zS&1RyE4=7*M|ok`$->`b8kVRoBFd z;7YzPKS~Ho;vjiRq9{QkTQGvqO|thf48N*bVeFRQp$UGJ9aN_{cJeo>%m zw72To404F-+8}6(Uevm426>)@SnTj}gkIR#UEzk<0 z3b8wj(g10b?JP>A@=1X1*GyiNN}DgGFTRj4Uq+;*AYAS)XybK*q)N#`^AIlW;1ce_z#TPl>M?;t;P*fUQZ9uhJJoP*LQ2 z;+XIMIZNnuPnx7oOHbTciW6t9#q+hl{=9DVp^nhMsv_Z6oeawE^*W-TuO#Z%^mt0d zF>TBHNCG)GNz831VVLL=x=GTDu;{rWD=f({>cXn{>Y)}>rlXm1QU(LM;mR@WsCC^T zf7@?+!^Qjfe#^_lKp8Pd_VU~gr!`4V8{^RtVo*TW;l%-bv~f=vCftpaf^y>Su*tip zP$yKatCk|ktLcjZ>uK$k?N1I{Re644jP%=-JchSoWkoW)fb-Cdu;bu~il-3Qn!$xm zg$CUwo{R>lr;Z`?>kDscR}QL*$I;1nf1Dpz^Vb(axvkat;(S*O4p-WdockD@J8_5i zR+Qr!m}&09sJd0%Xx|W=V2}gMcL9oaP5*TSP6X_G`uzDD`q~B&r2c@VQh~iYT`&fcI6-&S+OiS%hPwPhe#u5aB9759?e*{fM z6>37Mj6r?oOx<~!qi^*{<8`j+-GGnuU9NQGMZ#>%WvZDgkZ{hnPh{*C@7~TLV_cQ+ z({V_*R6V3y_7XJ!Q0GXu*cZUuJ|9C69_Ejp67QW6%&R1!ccz8i?aN6N&)7BKc+`yA zwQ`sK;g@Syt^j|&E|;&d&^bPBKawC1oA~2gx!Rs0c=%&hA(uwwb{u~?rgbK|je|*0 zG(~usWXcid%g(eehGY-@n&t{TI^BhGevGQKgUfJLlT9s2e_YjQKVL&I#38S*|vZI;H4&bQcXAwYU@# zvj0Wm@{msP=zVK1?|YG9Mu9h*!hAUlkO{q0ptaeS*yAwoW1`+MQ-6++Z@K+`y1gLEix@pOY4vPpef|6D zC(6{#_4UqDMk!QsHz6gq*Ij9p*xTFL+_5PE<2`)6_+D&uldzFwSH&%P^H=Or0mV=7&@4xrw{)gOfAM3om@h<7q_BCd$Ulh>1f zlTzOq-YFiA?F9uUoQKtT5g@&kwTCDZC(4BrPVsg_-Ww+RHgAvZt)17i!&uAi%$4)p z8OjpJe;in1q`=})l!wNm?bWbVe1Vg8u__nr2k88!dK}2XQ6(!zlxYQWH;IQ&l)M5~K!NRA=wY!~o2P#zJFV z0sB9xrNV-(;uuTSiRLhciq`751%Bm_fC!li35Woi`Trq5F)WkO0~52ZFHR=`IhRqm z1t^mxR}mnzGnsRf$#TBAGjp;!nJf>qMA?if$|Fj)zr5VPeyaeJR#zr}YEmnvCf{95 zs3uiqCWg3n&{xMOtCPHc$!G13M$De=m!-?V3Prmu?`+tA=?GK-S^BuN+^!ay>{`-hR<7z_N z(JMog5RqAb!rhTj-Uo+CMKt_I>z|bv9st8-~9Z`7owg}N@^(?_HZgHN`z1oX%sQgRlCAr zFO#27DUH@!>0rG%4c8l2us2sJ1*v3>ll|`mdi`=@yMAQnD`CQud01P2ECgrvGxw|+ zXc;_fplSPVCe;GqA7Dofp#G7aou5oI%l2pdy!jM*c|Lh`F?sa0UEkh{!jopBIDFv# z2YZC?EB`P2{p`~1QUz`0Zqy*>3f4;)iMB&Yoe)) zp!*=PM2aXXLf}5M1pbr>O|S{l!CF)IZcWa~$tkPrlm1yFf7_e_gxX9$cJEcVkW5(y zVMxV%_sz~ZS`%8ez*ZGaKuZ;nG6TdwHVik3QGicc zA8v(i@+*`&D#-B9OC81Sr@8&F)05*s5V%OqF6tLf3#&vpzs35-;oN77v*#ytiWC9= z#CgAjU(NLVf8yj6#16mr@aomoDt(R+JAce^R3?FU(k(bDS13WiPhj{!#DPb>xL4K+ ztu>`aM64BlXNpw;Z-rmr#L=+#;7P+<+h+l9?b>zV_|7|kJqUj$=E@8)6)iJY-^QZm zce}FIZh$>lYlo)}%JBHWDU(XZP<}gKB#$Z=B2B76lOJ0Wf51@w= zLAq4SRYFb*0K)I_f}|)e2s4a^>+#oX;hR?Yi{bnE{hR?v8qgYQ&0D3QC0i zq3{Q?!N0m6e{T|ej-y@>$_J~&f*C^VNO<`;Ls?-En&A_cwR|>P<@O8SrlmJwsz7>! zW|xbbG%9leh_N|EKs{JN7R~ZSVkkqHXR5x@Q_EQ9%fGu>d4*Jj zTE49#Q>CbaF>CtE(%W%l4l;I#Tp2zq9KAKupEf| zDPXG_kVt@Kh&^PsBxYEnLRut$k-?>^o-&7%U0fG`++R5fgfUB;(zFR)rk7&+Ed2q@ z^KqJ(b%#E6R9U7wJ-m6*`I10?OiUVIB)%4;t|C_97b)2%umnbvU4|4CpcT^(QZ$~z zXr}Io$TWF&Ye^Kx;{j(_XxBJJM0FtBtfVug+- zms&)B`&Z~<@O26TYP!X@!Q=+MNapc#zQS-83ft%1uw3hi4>tH!+5cHB&<9sW-wf(u=N z>Yg5 z4o|p$m#pV2_tzJwSIwZ+av2?{jq4392vywj%v!X!8*2D=;|bnsIIHgM>Y2aUh=%DV zQQ7`wBT+*CgeFJ$ayeg|J%819n`0&w1Ab_m3w9gY-OKY7LtaR5tw8cF%tfloe;Glrl z?z%0DhLTjUSOqi$)fl)KpdqL`S{{^-YwFNYMux`}BmbphVs|sIE`OKe@$dpLs*ZU( z9o*u-opgUa=2SYsH%+9M89a(;Ppy;z?;_m4mqtvX%QJ$rq^YS;vL0nbASuXH^;VKhhn;!-GK4c!FOz~j zoOV2*8P1hvbU=;dPCiKqJ#+K&SUAqtAB}FI81;SW@YOdvcmU$Dsr4Ac-GLGC5C94UkXL@IpAt+^~-~X$Dtw#L>2kH$?^~vr@3Xi{_xc8=6!*`_=~< zN*^$}o6agj%0Y4^LbIbz`jB)|X3*cC6$yFMW~5FU3^86O4UjYCSnY0}B0!NEd^xw1 zO<^a0(n*jy?XwD^CeLWJ=rNJu3`|zj-%jk0+_0h%T-OyBPpdZjC_yjfs6LtF&9AsuO;Vzf?3$Xn-w$ zl+6laiWa@X4YtTQZ3zs0xo5_L-k$=OO^f{XbzRxGV}|h?py?OP-pbyX$5!tsV6Ev2 zqo5o3xgB!?YPdl!S5BmE=jJw{508PCd@FbuQNXNA0QtT`fZCmxk*ltz3@8Np+S_)i z+cia$;dt56w))`2bJp@M?Z}OJ66Lvn1`&!SQC^f#K9GT;?rcbVf5r(uMQi9xnxnq( zkPI8N764b-1*&N?Qe6m!7|*2wvqjUBF*XplqZBYNz*m67@Gwx^+JKcAg3oY&7?*DY z;2_g!x(Xp|*v{rXbRB^_yFR;_tx`Hzji=uF8;Dj1V=QSOmkbm}m`7#G3eJ!UmJHtj zeyPMJ(T|st@e1ZtZ?l}ttx|qHQIqVgWy3LJH#%qn`wWNKm{t*IJjX;d#(f?=X&;!f z0~02d9$+KB%}8Y@7-A1L(xGR6ij7F?xflV8RQ#VaU>;}BUt79|8WB3UZ($@~{cgS6 zg{0Fb=s)i{5&GIc%evRf;hEqPmu`0H5-&WPd%yk-b&OY4#zz$2;2!)c_jY!EjT+ev z`e~fl=daep{W5>!QaxO)Y#_tUV!m9uH$GB#;Q;vel?{`aWP^WJmxC2-PoR)6(@v+^ zq>Ye8r6-aY>XGARD#f26HD-_D960Hw8!*VXZ9+awvKIpu#ceb_g`ly_wFOV6UV@{n z6@V>kuf+KKky<&8i94eaDiYA0(FOAw%pF6QxweU)3JcERuimV}(Yl^E(KRn2yEI7V zl-x8T))DxXo}hn2weIOHENB#6`P97^OeJ)Y3S-IjHWRkSK;D~jI0ma~P_ack<$w_M z5~fj`Eg+mWP3)R8e8J?aI$Fbs4#4SvO+7W%eh_6iL;beK8$#Hw#s@c_V1x(Y_6d!y zrr%;_s@dw?rKf>E&Sy{Y*VooSu{e7U@7X8bVKZM`5z!?Isv4WGD1jQ0!Vj+%=G$vb!C4> z5_dkB8{Gi5mQ!4C_im|R)RboLlOAV0>22mAMFRUvRd5!7<=1s8u)Lp~kls~tLQf#y z-|bfK(0P9b6Ic5w8A+mctgMX0^Gv$}?G9###$|2>B0&U`F$?Sa#QMG}8vvh`ek%0P z=PUIDAA5iD<ob2BuDw_9}rj3d#;iH3yTNy`S}F z{x}=wlhkq~oSSs=+H}Sb(PaGaaW^y~b%3cHZ#!+n#z%k+ILrplU&?T*GG4f4Dr5o+K z-y?t9Xp5r>V-XiNSAGcNz1xaZ(N?6LsYsPgMNOR1d61*Bm%A9_NufW{T7+N8uFV|m90B1Gb!!8P+Y-|byjGjN-~h&Ko(HN;A?b`7P90Kzzv~V*{sH0hL<#wGh~yYM?hwsEhAxp zC*9af{>S@0=CGbvSF@8J^%gE!LI zhdm>mYZw^mT<@Kg&cpB)#X4z|zaD==uB&T{EFd*;>(H8(?0l=Hk@LD+zua27>wTY; z@7g)#1iS`8PXi21uK`4+14ETLn`)p|Ye5}Y>)L>FfO_VXK`LUQic`P2C;?-{7A{5{n5@`amY zbB~eT0gAckt+h1pEZJ_d-^`N|Y9Ae58Vylp-)LuF=-&6EwC;{5cLL^|%sVNZ2BM8DyVt@q)xrZxrISRbc$!&6q!?HGpGcvJa*(q>mxO&{mY$iY@b ze$6$A&@5RTWi#R?X!Jn}#{^)%rIY4rB7aM{(Jg(O;s9~If}UqpzXn1IW=&|dMPHgI zRTmFge6YBjV#!Bu94)GM6Tz-S$z?+>Z^=Ni4ktTT~q^rvj^b@Jug!t7paNhILwVLi(c9)DL19lc$)!~L7zmkS%((qzYG49Q0MaB^O*FGasu}F~1F5V=Q6`9&SpDdTp=9lxu%G#He9vUq{=6KCWbxghV zaQxsKO2=y?-~*JdX|%H^eDC{luJA3X3y?H(!=`$$-i0w&Y$Tn0++O^%JXLycSniJW zctaG6QzCzmkf9VvSt9h$`F}8zV-zOv`M4yTn^xx7jV4y&olp0s^L^j<$d+{r>tB#5lu(_3nUzyF&oRoB}3vmAxj2a(vcrRk<3 zGMh}lp~=3{Sm`wwWG|ZDp=d#TjetE69cyLCgg(Exyln33&*wnb#eZsn!c%y?&!_X% zd8dXpP8HWpqvmbyXewqasvn)!ADq*AdrXzIwV}($)HmAEalQBTekx{wt10Jo$_a(j z6+!xAIvDq% zNYJqMUPf!6I`iu+-G33FPnu)E^TSj0B(;tYWoqLajaKx!LG}^~IwVaB1zyt&fjyv5 zFchvZa;RR+Z7+x22kA@ySh@Rk8=YnYWOzFcKr5MdrJ)$%i z6`+yHfYGn_Ub$o3G{jWPj`1{HC`TnZCbK$P{U4UqpJQbtHGgCa^NmL9P2C{-h-4jt zrbIFu1SVowfAg_+zYS#vNLjB^L=2-A>p>!hId39j@IiVM+Q~n?bODM`t+zSw8*~S= z*O}T|0RiR3UPeG>jEg;!C81I0N;m@`i}g*0M#IaUXtWp>b~na1jarMN1!^tvSqUpm zc<-+I3lv#PMStUXLDF|l>kIF+Z~wvy)?W0t>3Lk3!S9&YXTCb2dF!RPd#&GU_VbH8 zPk{BI=ExHsnlTN;2w4wl>AulurqB(tm)zW;Xvvrs0((btv+9MnWA=~(UJ95$)};V{ zOLqdPnet$!@zo6{N~%=eBw5^~Dx2iSj7)Nq4OiFqa(@F;ypcbpH3xXPt$$>iQzSCA zmp@yqUtG^`=I&blr(2sw^VQ6zz+KFqF7uI9OiS1ZdbAJ!k?g|rlMrw&e_H>MRyHBVyiDrX+Qxd^MwmcQu6yq{~lzuHZfhpsO1oVF|;^Zcm|TErXjqur)zJ}@&>L~q+C7~5Yq@@%VlWV ze>(QEjBD?w^Tqn*V!oUg^FBadnBFPsGm-US1MRA6s}hx;&aZdNWczZbOt#a<_wKWp z2+MxCRsIlp_{CkUc3a$)559lr7P&8(CKh@1wpRHodpH;C_0^86owM|hSZHyN3*CU7 zr$ZgdXsh-h8A{tRzB{Se^m?{hUtHOke}c<})u&FmQr@ZoI5}N|g7wM;9h8k5RDy^@ zj~QDZu=5+0HLgop`fD1Evu*@K>>>LFxSF?aM1USJl=uDYUG3w+aDttJ5Onj^hU?lm zV%D3B9L$B^j~dIU!rm%^%8?QnsQiNf@R|r7k6~=RZ8jeZIY!-`M(qyBg6c6Qt(q=y88{CSw}ll;7_X1=@dK8Rf3ez(7_g2ujYi7H-4Oc_unt#Kw$VmF4k3Lr`eWLQ$nG)p!4oQOQ-##e~?T!tr}3; zjvHXx;r~ojS_4wa0V3_&SRDK3t~9zEU=I@Ap=Y9mAcw6}ARdKa;u-&+)s1tTHbi4d zs-z(UG`P@^;cJL{cZz3Nkkg;gFPAPr_RKj2uU?RjFhoSSHnzsfTM-|##nmKGL0z$d z;%aXa#noyoT3D>DCZq%ie>^X<7oKFR=?5okiN?V9RrML=08TMf&u_ z5R|5?5bIek2@yrhLpIs5CY3^xi&Z*R0K$(OSil=$1Df*1%bK1VGB9H*>i#c~! zluijEwcesAU6W>Vs4Cq%;a||!V#@A|s%^aLU0s3y9iw0WcbuLXWdRkiSJo7E^En;e{J0rEFe@V+g)2eB-oB6i?^(fmwgQ}+it|p8F zvPOMc#E>GP{pVseca_6j0tbxot81Ptw?dhU%B|ewZGyl9zQAaWFy#17)rFjIZIEhw z@A1=BVhk%pBHN;8XwU>s*V#0aa?B~H4vwE}%ceH;f5A?6-`n|>{d}Wc zLp%E4@5%o<1l@G+Q^pQ1qS+^y9CSrJFH%)!yoHysoGp!yy)yh;K!q58tc9)kzP@)g1g)ZZ1)+$ z$+8>5Oy%oCgF@$SMz$;vjeY+%KcBnb{E~CPTgkTTE!6C{m=J<18>sTOQxKUBY8+KnV2S_)wgGHuIYDjMBG8}; zpgOL}k@WGcnI?W{%^^u92ITpD>jRDyTYpp;p*G9UxTHCLhOgcm{A!z^fK!TfmzCbf zo9?iTEfYhLTR$~oAl-4$@mB3STZRU@5r*)Dqho&EvgQS>IxddMI3Bcl0gK8TVag1x zX*7cdG9vE#)w3m5<-1)y+f1+6N=Bk46+b#pK448BHk1f4;5^wh8YvicL+qjH2e_Ja zp2YNIDu&cLPr4wt7j3c1*Lemdn93N%;RsGwHG(xl7G`@=`5_k z{U2wfl3JJ5$m*AhmZTc^{=KwfR4bs8KoZl|#DZ~x?v@QA6Sj@Zk(Rg4@>5|M@u|+) zwnZhn`>JRhOw!`=@ga}$GUc;j-8&8JmUi7@>Wf@`*$BtvrAjKbtQnIFsiPb5LuSorw$^NbHTy;*S#vkU zKCHRJ)eLK{V09x%@ud7?zFOO?4f8A=!oWiU327kZm6K2uX2AaP? z`?_!e%J$7gA=F*G?Iio@>14yJPbug~!W<-H%ASR=9`AOM9<9+`MXMLwDfSCHxeq)@ zF&TyzWc88BJYXhcbBtC4Or~ixj>!Z=?7?ILT+IZ}p~rRvDV~?luIG#S*^4}fq4fcM zJcjZo{kB8hzNYbJvVSE8dQccJ)8}#RICq`6V-w;*N~m`Q;x`-3quZrRR4K{nqJ4d* z)_1hk3B~G7(r~YAs!>dNC-WIvgT#2g)raoRo(atGiiU3vDws#|gGNqmwb+}8t%EI( zi|%qlu_C=}+(Z&dVHM5_iE&*KRhy!=CV?jR(s0JJZaXuSG=DDhhe-K`zGq@1M{GKy zVbE&8q6@^zX1AN>!+O=X% z|NA{Td55Bja4%I+TTm*3wOl0r(9!0R^E|@J6C^vA%Tz`&R|(GW*WJ@AW+(XMZt^bg zqQF?MoV;EFDu28Q5>RgDu;O>3pvBZ1lQd~IaubtOmIDFX2_*KRGWtkm9~za#{Lr-? zpt8QvXe!$cvJaK*P&A=0wNy5Q70>avH?!5byE8kVJ;k3s48mR|=hY|~<=5|BtjN)B zgQchdbc5kmxHMVeQVS53IpDPr&`u1L9Nf4cR%li! znI2?&2)`<+-IQ%R@kCT;?hY6oUO0>Ifd7E(n(tnJ=AGx)h1p=0PaVx>5GP_A35;S` zVw8SP*#3W_?RbRH4X+nEvi%X-Vte}2g_o)6vWhS|W=*@=RVjgqDsB(YQB`|Lsv1>_ zXfdFwHI2rqYQZ3TsA>U%CRH^>nC3C8hrTrK%SEQjnZ&uFg^EM9DBXS5^1zmvGyE zska?qFJj!`W~$5+b+t@8IG-T#^aT#lUCz?TS63@XOrHXkFw^-9&>wEl=HK;(U)7hRs(0U^SJ4(ieZEFH9cAp{1FMkT%<9gn zHh;QU?Y56AUuXH9+s`d(My?Kjy`k*g+t9D9F1=WIeW z=NMDkXw>k>Q(z12_sQYw+HPmo%Hfad)3mbvF45k|1`j8r0?9E5;m$@bKTXGE2S+w; zKPyH$!wZE1siC~F!fT9&s4CTSMF`>pYE6{ksIq|0RrKHz1a_kr%pKVeiz;;7f+yIc z&t}60m^`hMkAW(Gruf~)bp^F@UT^83YwW*!zKVh0E7(}t4{4N2)xoErw^WqXbFWwH912$GeI&r zH%2ryG&x2&H#k8zH#tT&Mn*(8IX5vrAUriSIYT)!K{7cvMl>}vIYv1*I6*fzIYu@{ zMnpF`H!(h43NK7$ZfA68ATcmDFq2^fD1RN5OK4nW7>56EX3oh>?rqw%NhbIEb&|B{ z<)mqPP1>|cdP~wIwrMIZx+qACD1u_eh2Ta(Aq%0!TI|ABTnGh4T)VS~!5^havndEJ zT@)Pu=iNMf?{j9(`ETDj&bf+W%2|>D5s1yXDwlFDcII+Z0q&`ynX}JSrOc(4RezEVpZ_u;s6tbw=S`f++>D`>-w z;uuxj4mxmqa2jqW=)&#AF{8K}^xzKQG}T_vhdYR4HR66SfJ<;%ra>@-8^^JdaRChD z4&k)KBVZIafnyiqJzy{HFs_U^2KM15aizrl-~jFjE=N2F65LT-mN*U$;eU?dN{AES zFzz@mCQgDQxD&XDcoZDNoy28`$H58Q6fR9X38rw26JPm7tL53h#@n@ry?bAhpV zR>-q-eg&uDvbvsS_p3PO;n^9_miaZDrpm5*w%cFBu?C(K;W;XP9j9gDGL_jZjJd@v{a8~~8));cn0x<;E?ngTuYx2E!md8b zIx4g1Nu4TQC`k#(f`1$+1!JHL@E%IaK?TrOXh2n<8u0o`wt?+H8=z(9ot^NKPIiHP zKufIE)nn<`o~i1!^j2O~pMPZ*K2g zd#VO4^UqtVhAc|0s47@AU$1J|qP2BZBNpAb?JT-E9q{@$0k<9pys;GU=6?ZiKL~iY zJmAi)fDbkUKD-g|(aV638v;HZ57<}@`23xKdv^oA{3+n!R=}fNz_)_|-<9c+^A`Q8 zDQvWWR?r6Y1uE+RouCVJ1AWHy-O`6jU#0;t2soV^1uzUoz^Fw}e+!TNz3Bc2R`MMX Rm-XHSAqY1LB_%~qMhfDE%-8?` delta 18904 zcmV)CK*GPHz89Xp7qDdz0Wp)&f+>@a5HJA@lfV##I`x3mpPfEulo$YPM3-((g$$-7 znT09I$qc4sZ9OHNMSJ*NpPxUI#e_>@tYO&mOjt&gE+$F~L#WlRk&GfG~n_sKfY!SW& zfD*$LEP)_}^dnwuHt(+=eg64deE$O8B&S!GsX+xLRNErh&Fz|Y@ ztRUc&>u7D=nlVX))DHOxhtns^ri9#yEv_e$;#{`D>dg8`;;IL5vI^tva4_+e{{^`jY ze*OIY`I~<~oihS$ui-}`nGtLPXNw6~(#z%%>mptKn&S_YgNQ z_y^F_7FPerP0-J$p6K>7eqO%{yi>n` zPcJ9cCZ>;h-Pw$PQ|JzekWiE;#<5FBUH}Ul^5PrSZ5$>(DbLr7pC}W(WF|neRwppf z56z@zZdSAHw0@ZQ|5lTzSxqwoRP9nj1;miD7+ipqR|lWLqBm_{&4dusuh&4E)^Iec zCQ?T&q?kUeeke@m)z5sdl*T_XG4%sRu)UgbV|$^I)2GXS^0HiQ=6HJ7<+@y)BlXLi zS)g1Jk#NVE#nX!a*w{16h~P3lvVg)y(cs8(Xu|-Q?J=ky;L(8Btdc=1=!$bfg)+gL z@Tz6Nw7|x%3{_s)ee&2@?mEYl*Ywvq=y>=*F3FztpQsS&7xgp*_~D6b{${>hUO(!x_vXzR zAS-9g$!&%5!p>7hTJN-`qJZHC6r{B#NMHO)JnI{O8zl=TXZTThXH?S}_3?lq{chAt z-0B6}_+EesYf>0sttgbE$fV$$XyyU>OKPlwNR4>aG;`zHYN`p!UF~`blp2f#4m=HL zZUX5XCS*}aOjjU!<&a2bhZP{2onF)(XEDZ7kOoC-@5J!ED^#%R+z0<-6IPiwnPBC znE_qbB3^?KKjE|(QWRdVSR`itYWihr@t7i1BgZO0UvV!d(cb|XuG=Ctdrhd7lW29b z*bf+D2%{!Om0hQyy_ulX?2RAE?QG#a*J68r+^);aj%(3FP~gWD>=wiTD^jpW5CEgH z5$sp6qIP;#u1Adq%Bm14ydOH4>zPywMydt#AE3{j)XQ`NY8|fBmP&L5Larr9ENXy2 zXeS?8djm;KQEqLdy`i|K1c>R)tMG17Fx~VXKG|w-+lMV-uxc0xgH`X1H0WXYBWZ7c z9M~t{p}o~@D(&t1{YZH*7~%lEEx^u7Z!;}M!=s6UTC2 zI*XKrTldu;df3Ljv z)OqhO=hr#+ACm=<=xDol|9#@_KXy!e4^tczU)yW%soU)7{|kmlIsn-ab5DStY5$+( zECv+m)=TnT=<;icJw|1;Ho<7lXMjI}5+>o}v+TP-S=5w{q}1%^v~Z@x^m37L0x6Mm zq#+pQv&_Wdx8%eD@YFDBYp9M}fB&3SX92F&)n-wyH|aG}jaodG+o#3FqL}vR*UmJ@ z4Ia3dw>iJ6cd=f9_OUuEtG}Ku;13|6^EaDX7dbDN_`QctD?rsErqW#xYek&5$uSuE2cu=hS6VvI9wW84=R!9r(}D!M+9)RGs97{G6(E$E5-KD+QPWfv9& zVG2%*0^wa(IYWsP?OWB2_RKGA^|GH@e_UhhEI`+8q$HznL`JBJa zda*%{@0`Dix)c(3x}2nlq#@b4shU?p0u#W&c~LR=qQl_jBzS(a-j&hVwH_lp-iN$+ zlg)40Ga)i9eq)SEuamZqDy3DcByCaxNVORxWw3o{)4@`P0uj^#H;JSS1*(uWf1#M6 zp&5+RNEyw8t&rg#g)&CnsunS}9oJLZ4*y4xF}6fWfkq(A4x;26d7^YVnjAHQj2AW< zYSbWTf*Qg86`aMO?lj=Hxjg>#=PU`U>61%uD=+7@0}d$D!(FLv`GD7c73lJ^T$A4F z2tZW`V3Z34-zsuB_2WsoxPHGVf0reUE$#G|E6l5rW@PPzRhEXJU~cY1G46_{vZW$O z9If3!MSP>t`bz8l1F1-Zq6w`9_LgusL=mjWnEzw`emOsdVK(|Ge`Kh=aU{onr8S_6-MiTDhKs#szCdlA<++#n){REH*<0@) zXi*3-wCidYSa}TgD}wbgI*4xGoH#xIZ|l<4K!dN@$U^vSm8+D3QCnQ4jft|DimZX* zdl&JtdRUDe@c-(8w>@Yqs%MAV9^9LMpPyd5p4X{El@F|tz}&2>f8u5VpDU-*_2$w3 zflA3llw;(Tn6cSvaW#bSuK{@yac7xb#>n`eD5dE&fgf2OG?VFc|J05a$UQ-{eQBae zmf(@jaNwtGs9UT%{0w_=hcnKd7?Ic=Px5Krd0!VO8k-Z|!I~}d?Ao>&SD19_KSqG7 z?CxCEF}ZSevg~{be=_$+3>%GO5(*8hKX5Rw5;7HtX@vwTtP7$I>y@cE;Fj*I$+_)| z0oiArFoObw!NM|8g>!cw3CWqeMx+E6H>X0FXzkZL6wR8 z{>@1kK_XpE6ys~6U@a7sDc5hZ0@b@T)8*4gqk@B&Fhp_{)kJ!ipjRLh$Hk+*%+!su z>0yAL@gl4nfA=m)J7!$&ARjHbFqj-@bXaN*i8mW0c$vRv~WlHFQ0$2+LY_}r1Bs-Yd3lqy)P22+}9`YFK^J67*DB(7_^1Ps7v?+py9y6 zyYD`#W!nXhF$^*bEZb;&(3}RQZOoIUmW90sPioWlfA(2GNt<>JIKJ}+U=P9{$+j(l z4KcIBwp}-JsQF?v8Eu9*z_K0Ss<&>1=TiWu1kEyrG;L^>Bg%YwI{ehT!p;}VT2GDE z$=8&WByaor^I@etXReZcE7ka^I=m>P98&a8jwlK#hZKdBw_Ox6${l-g%b7~Uapq6Ckfjd}kGpxr2e63-WdB}#3Ly#0j_+ENgiRHC2u@~lLi*5imGnOFAu&m!rZcie?NXL7n{X-%3tjivO@5T#W+vh+oD#XQZd5(n zpA^3|C^t4$o%ptg5y>LRCeruQ&MY8bL>D4WMO1I)?BBG6`JfJmEX(_O zC#hXS-m6iU4e&7?A(4&DmD$K#lMB(C2}KIpDmt~QbC0l^;C030f6(x-%Xb$pmIldH z*&*tO8LoZUVvzoEK#!>{of(kmO%bO-zMHQa#_9Q}FVcXmsxpYQUeT8eT+u@Lgg&l_ zm2yyB!HcD1(C}(a)e2pORA#WCP?=ySX<0TJ2Yxy%+ZuqX>yVM^&)T0Xh!uKx#v6ct zSzfHKH#ab*JTLvCf7$}bh-``W|MaOf>jjo(2eyz^LI}E zS!{+F5iQ}Wx*N^ZccTIF?lvM;#={-8$;zAskuz3TD7d#EfBs%9h)24os5T*T^Z@o7 z5UVEpnGd(!?{Q1f)_NG=ska{Lg!M20^ZTse`4Tk~I4WpbM;rSod}$6%bzrN4evUiN zZ{FNmdf&)eTO+lFI;ZK;aKmKwexpSBgwUwEXUIUOX4h7g$ixgdF`XV%sH?4NRyNk& z>RRnpFL>j^e`;}CTI6H65cW~K+vrcRY(oowYs_&jeev;4?qSNlgqis62CR;oFq(!X zXrRr>$1s;lK6YQ5`(z#^1F2z?fC0r@xnJ;!%2e(esm#^xLsqR;{Z0FCC}`|f#iGg# zXvW>?dd2#rJcOiO*hLR3tutzw1W*KCB+*Ouq1VsVe=7Z{*Z;$VA~h){!lqE`RzYH6z>#mZGw zth}FdM2j-x3MLFP?+iBGia&DI_dOP}W$^PJ<0^af^x`DQm;)7F6fBpeDLPr2=%!qq zEq$iJ>V!>y$!uAc>+&Qr0(%!wj(WD}FDndCP&1K6Il*kJ$E54FJYIcpwOCeXmBQk5 zn5qbMN||Xb2aVOG=Zms^NnPcCl|W%>F^oJ`+EiGdQwU;JF{(c2_31?w!L+Wx`1K~b z!ggJrUaVZO)0toFmz~^qWu&Xrp(Iv~yN}erdjgMtGKN@}6)1si=uD)3-KuUhPT*<3 zy_djKqv|Zc)o#wDDwuPXM}Y3Uvfj3@tdA+_DnUs>6XcN*K3|zr^xWhV)VPWarGO+h z1w+j7EKold1JR@FC1-1}P+M}gF)RC1YH}dAS z5=@_Oy)W`Oc2R=dg~hi&8clhUrYVJ1!-z@{i>8QO_M^@jFygjo3I->8lV2w@fAMta zNs^Q(W%gOIj9iQ*7_jiweOcE#P}X%T3d_O))GrFxjmDOBZNGn*FdQIgH~C*vkd!rx zLH(}2bICa`u2zfk(XlJ4L^qvCVx`!dyWh5NASrxffXNt{xSjT|*iI8m`{Jrth|z_& z=Ik9`^dxN~lA0fTE7Y-kL{HLNf1#MT-L0stU0<)u)vw;5vhfy^D_{D;r`x$-uP&Bn zC5DKv@S@Wl<%MA5T()-tG`_%3`8E+->e-W^|;|TVz z9UQ@MxHzyYv?`%a{#!PSj3!BUIy{#n*Fd6+k-_o+7fZV~-P>M`e^f*qUR^Gc)tMs# zxNib&7z@!9Y16!Lnf+2wR}!x8x-?68`@Xbzz8ab+%O?^mhG}_-Oq0eZ^uM52T@x#U zEBU_sC?PC~gH%ZpJs~^!fAnzR_vdApA&;45z15#m(g4MKS;f8TdbdHwqSjqQSofkAo!X>yZ#v$DpQlcoz-x}_y%Y5gJ5fae8VB3qM6Da` z=R^&LIN@ht5ySix7`(~dh#I}BD%mOE&NZ=6T<$JtQ|Sgt_p*Wmk_`TfYXO5c zr^9isPil3;Z<8)6ItlhkzW6m`eXn4XaVnyJpKr9M#McaQh}R~-)}+Yi^~DfW6#1Sw z=KFun5_;W}CaKfX6L*&4#F=aHd|h3CUN`zsN9bSqNcdGJgR*oVYt|^6n|r z303Q=rAYE>`l7&kT6<;tlfza%&o7LTew&iV@K&s>NQM`19-0w$96V9+6yjPlxX`K4 zpxeZg(E#<-F@%1r!kgNagYxk>IvJ0D^W$p%`XVT|wK`v%?~1|UN;{HsAA@rz?(p7< za$Ey5&0QE(x2hZM8-f!Ia)9|RK+&%0zmC9(Kpk^QL9$-Dbis~rnn>2L9@HE^S|IAN zq9f?7)ioPd595~f+f3=86jcLJoJw{dOK_)R3Alu5sU7NR-Duxff?$wCXj+4RpsA=r zO(>NysL!0KJ5O`;tsZH-&K12I@R7dDm5#hfn2otiHFE_L&e`^fjNRhh+gW6cs}g=X z4(XPvhjhzcq6Pr!9O)MO0+`$9V+g{-{LxcVd1nNxRFcp;)57ld>6-9YDVo^ zxl8}>%e5<4fInZC%hy=w9G^BnNsxz4{Bf>aZBG$A{4uMLOQUi-jz1mKIuqT-!6Yb} zBD_p8a@`4NTPDW0|6_I%Idh%~l z>N~?b#lx{HL4gV9VKtQqkY38#LzIaV<-!T4c)KC*4HJEvx5xI@&gtYvrR%6aY# zWr<^d4lFTJVDTu*Lu1kQYFHm%;G|uw$_4uYI=}Ic135UVWW|UQRdlE@k>k9zaTtw| z-n(zp)qG9iXj?(mn7ifQCT3oF?J*I!j$ak2iKniqDx4Y#QUfjg+50jv0INb{p|SSB z{!ePDuwbh=#!_{nIZUCVwK{HrUpXWoLZ$)(6SJ=`PA364ld%RT zlOi0CVwokimAzW7Za*U zRhfyRj0isY?tJp|loNS!N~@}xetR>&Sv;GcoN~^mKiyu;mdo|4*$Fe#>&5Kpa=tqG z^}Byel+{E?4I{YEh5z{TZ+s_>+8CT7Mh_XYRB5Su@Zw zc-BDE_T5aX1;9VRjv7GyBR4xgnP!&l&-i)sDfIGu^5|mn=xevWy%mKg%|>zfp#C51 z5x%edzwr07%X*hGxYhJ^$|~pxFkDJFc*xXqe?trCx!PmBaWp(&wdeMA9CyH3j zjU%HS92KHA;TxZ^V_o*uYCvSi(e|r-5+u~ zyS=ENeuZiX=puT0eY3b(1tKB^JyO zY9rz0;|yhmL1>0gIM(vnY?a$Dc$=2qgsB4Q4VqmpZqlgC1t7-e6an>M1z9x97m1+^ zVV)Zr0zcY1j9qVpwz{+O6F zzDRs6h^-=4;TI{{C$I!YlU;@s6rdH;4^lLq!f3|!L}Z#gyH*m#@p!-)7P@Ynq9YQ- zAC;maQGXnSBCW!+Tik&NOVeu|P8e9a6tO}_lS?fkfAaBBpDP3y>(My13rrKkS&BWx zbmQj`o1^_nV=@qA#Uh6CEF+H#1#|_bwvC00Ivdx0TeyI?a05C(WZ{x{AarQrQqT;> z=`38`gVw<1ABFag$t%lT{aMMg~G)0ZhgEFfDY2O;U39=vGx$#Q-5I6;U(HUhE3(bqss zMFs;jL**H(P6NqM=oyrsS{Oy2_NS<@elN>cJ4P7WkT^(E%F9)e4N1plHMAiGt^CZA zcwj+-lzYr9Vaa)Qby;J>`C|RzdVVuMp+LahlNwLBf0wN1tNO1mP_LRntK~8}P#f19 zS`ezZxB%SNJv{s~Qv@a1y8ID7u8?Ka0u zDhB+_9Is0r)^&-f6mg4EVkf@M$m^0|h&|Xzho1FyNkpoI0QIy7=#M9-f}x#*SG6Gd zeUgxQe>>^VNp>KoGf$PCCUvD>a};Lk)$!mmCBbQuq|U&MHNOunI5M{gv|lAdS57iam2YorNb&ev%fXZm@|n5R|u6ubIWei_0Us+UQ@9!@(R&G0JzJ9q%%v9WrL;qJhafUcEbJ$Mx?{Z%k)S~59LP7RPx((pn!%iOS! zH)#fEIpS#B#hW67lUXU)-$irK-VIHvoqg*A4W*AT+)ZbdA>|;s5~0~qCw)jdDKqHr z&x(Y+X){tM4Tc!6lLp9{a;&azo+3bz8hkl-lTTqMf3lV!b=qeYL`|O2XwhRL!x@;Y zroWxIAGu*gBeUK+}22Cke?dOk5LQuTGAJV$=gIWVUE} zGR6hsc9a6<1^5bZ7#;?SI~%YvL+}|6f8+9P032jGO;;g=4cpnghqe*Ov+J{)*(#-j zSv>X5-$1lF7-LEMxMZL(!aOQdR&a(?uw?iK@Jl5&iGIACj8`xxyUlX4dX@6)iJD|@ zEgOy*yU{@t*k?G*#UZbeE+m~kLH~KriO|>nS=K#YXs=ly-$6gq z&5?rOX#f27I+OYYhW>2_i4{%aLSr@&_ag(LWYZOl=z3qzpI`f6P^p7(4$lOaxOB72 zI`P7@x%cbeP{(*xWqd^O4er5zDsN}!*Qk-*pr6Kxd;V%o>R;w>>QoO`D;LOcvzRZJ z^&20lyQl&9_mvBinq-52X3N0}t|w4Pm}#feY|=)^qS6yd4E4zIGL_=b5R2JkI0sI; z=>`n)ZJUq}lkCNSMR6NVPa$Y5b8W$ssh8j=YXx9S>y;RPKVns_G4a}Hgo*@oXLP~5 z26M;IWv*S~r^14B_^UUoaI~%`PPFAEWS0iXoRXVHL>qx$=?OZ2RO_DJ!h%N8m5=Sc zU@D=DR2WOHx0$dr2J+sN!!cN8LB$sFlmkN0OPEGowt#TjG_h;7;R_~T*=P+TIsm5w zHucmv`$3f94E0-!H-xZVjSp@~Q(Q(8$Ngys17rp;I( zqZ?w6%l`mD(+MD*lo3K&CxEPvkeObeuddwBNaD^1bE6x;)^bW6+`U^W7&WEY`=rMi zPkNVmNRhz)QWcy9VEMI81(x@d6Vkg%PUs2b`@7xh9Xii{VB%^&B_m1Hj+K*S1~a(tWjloNoJF< zJ}^7C`7AGgZeZ#}>8=u3qoC}NRC6%N+51^<=8v;+K1nS{!nsK&uT5wC5KYDpA9q6| zQU{pIF}@l^DbsA`=j%G{!?VRQJy(#L9;a`9Lqa45Frx(46d2K`EKvJnz3W>R9*8TxcdGPnYS%pbLWs8P?CZC2C{%E24ACl zw2&o_0B#7?%4Id~GQ6aboFSVGJpwZ8>=+3PJn6<>@@HnRE0?5ai`jGM(N>tf22mS$ zRC@NYq_3c*uCMTe(7uABd4LpNCUV+oqH7R;?a=ck#-h9RpUBuFIr15Ph^1u$#CX8? zZI{;cmo{AzCS<{wg8&vxD&tZQ4GVc@vYUktZR^y=QXR~j)|rgGxFZOY1`|azqEhpq zHqpt7feP9_^d>sVDGNSjXeOnq>pgr@!{Ci{?qSbJS2qldban5YmCnQP7R5U0lD{5* zLawvcAqz-N+&Q$SB|G1$X;gdNtzT{}-Sxgt%6ILYaspn1pr-+bCi2NMOb8-lSZn76 zPAEoiY?Ijix@P`gJ+J-V0Bej%dU#O2o?~;5k=+4`x#*p>H1I6hZnEE#5^5kF zT^bEhW#4FLU+CWVqqOdhD0c{&BFZ4yGa7^HbdyhNR7BR?k;9(qbclY#9b50iXH9Ji zw6Q);?S`kUpxZGFvGJzz|D?^Xs+vB|n~{U9i2Rx@h|nxq9Az`&CTR3Q3daOszoV1q zY9fC}xzR0so8ka*y@H-+Rlf#83T91cwMAc=C}oR>EWTO+N+U9a@Sw~~DD@&MjnR@3}Q*NxLAe8bv>8+6JO09+#D7ebZka~r) z8W^o3^!*`K|6HSYm~$p_t=`LtokF8T#E*Ys=YtYEg+^I`m&MMe(O9uF7-SEzGeFS1 z*cpL3R_sjr*EN*!ASv5?ChH6VaLFfR>IO;oZV^;;h4i;_`iYEicb=EEf5QBdre)yz zzMPhvX5Zb-$G0(-y4<_5I^Hp^&5Q953bx#|y&mPwT_<0@EzItc=PY;W zjr2HOs=Ug#YWP}$L+;G%TuNIhUM-^k2gfII3@B22^mU(lqEv{oDY99IYwau zpN~tjxoKsN-DqMZzV_+fbiVKV9=Wn^fqfyBkSF0OU8UokxQ@J}QKlT5_Agz@TLVsQ zl?0L5J-wwy`1`-fQgyAJKg&^geGrLFTbgbvBD2Z#8=CAJjg?-5LH45Q9f}sj*9h1H z(Xm#BOz88A%gg4j{(KH}U95i=C_IJN`+PcIop)+z<5Y3oG-}@Fj;3O+qWaNk{lPh{ zx5rdTR~x!~Onsvr9oKtb@26r0xSDcar<_nYT@j=|rt_hgYPuq)t9cW```K)@dVDVu zOR2Pv+|3r*1n(rGZ9Xog$*difR;w{0ruQwa3JDt4-pgnWRA+vjr8|ED^ht9Jcz$?_ zo}|w4p-gRjqtS|9H^^Q>L5HMCp}=c;A+QG&3WmZJMh?}Bx$Wh!`yhSkA1imiZllv| zfDCWPfxMB=MfMWGXJY)6yAs-jyA-3Dsz;OtqXINC88G_w-mCf;Hw`h>a?N-eE|jB^ z9Ftict^Nd&zr+eMGVjK~o}`3jz}{tiSnKyWfVg1Ej21DI$hZ zi*}HRVa}U~7<`Z(g?92!FI|8lRO@XH{07~@>~+R^DlfGan|XaL|I@8Yqxov)Qs6FT zPnY?~DyAiD1U=e^|48=X1G65Wr$h{>BfiZz^Kdu7K3pe2)x@>Dw+@GJ-odSWLi}ul zS%27!AZ@Irys?(L-xsTFzNjCP!vKWSr1=_iVPnn|pb-*yi+_KdR*@PIp$fq(E`MtONGqEVV_qipYwcn^?jsRQj@P00?lFq^fmz!a$6V9{QN&H7v5HkN$R5_V z06`0SRRrrjI4QXM#H;7a4G)DdS-VI&+>cNhcBLv9D=GPXq<;^xTAP@zVbpR6z!+K_ zEj$CsQ_~RM+0(T*Xn6zID^f0>3W#ZhaOE;IZGRnmS;n>Z)A?fkaxq`di+LZQFHG+g z^_j@}uz_|}wN;7APv_UWWwL#_QzqN#<9qj6OoU~>+$w*FJpAG=R=X|k$_L-SbBo-U zOcRT|dRwdfl{=h^_4;bZ)y`S^M=Z3s$Axad&eNfeWVBU#kPM~m7~h>(Hocy$))!YU zrhnja;q<9fu9UZG08UQVpkTeKgAU5Z4Jtvzp~sA^57_yQN{j1Kmj0SXETp$g(s}d1b^}VxVqjsPVtQfZwM*z+Hr zWKVaz?Yk$p% z0o!QPXry%94Y3dT>Toq>8EwSl5Yl&4ZWKsi>AlgdeF{Ylk)U4lWZfEIJBI6bl`Q5$ zXll#0zpQOM2~&3PqUnPgpPdgKSUcHsD-&#jUTXzAxfQu)rcUgOHAL^3Qp2dWs^S|g zc&J5%F0(DAri4OoLFe6rmQMReA%B@}S~Z}w9XG(X!~dD6v<9S-14P=laX9wRU1@YT zz#b&JL(fD3K@MA|Ku-?A#54XstDD+s+7OKesgh<4(BDEchOZ#*ohhDSIZl5jBD2xms`rsJAW_p~GSbfClkWg`hNDg;>vWDTpZA9kQv8HK`PmT&&R< zY;rb3I}A&Zbe+PwB4pqc_?S4oYm0$wf^z+ zUAcaW%RFKE6&qH$Ol40^=hgkWo>TAS3M|mV(J_cqJ8*KXpoIdJLNZs$K>?GE%2*c? z{R`o=Kdi^h4t`tq`J0z_eM|OXDSf4^H*&`uk#FN3Iidv|I4-9Hm48%)074GL0ti2D zU;%H03unrgE^B%c*41QfY#FX6^ zWnHxDU0s0x9b;ercbuLX z>nE$l*>msnl_Z?oYsAxYxK$J4xj{`)0gWM@qTydcs`YoFf>Vt-*=Yp%5 zJ5Z;QL)JiycLu=C%g16t!+*`s7qeBqj%`)co%;7n)B-C7xmJQqY`gS{ncR$vXYWtKm{v|B~O{=ESZsyzm*Q0C$4XU07xSB8yNQ?Tkh#^Hn`_IK{Ue^t)(>Gv*pS3($ zY=trv64F+(qs3K8I#BwH*#89X@4-d6b{AgDV*)wT!Kc{@}G(q8ROV_)=e82KV zFHbed5oTn0Bw&Mq>s@AzBtd!fj*E=-OclMZO3sT|Pm^bMM1Q5>^X5e+YRdJWv;!iQ zVLHDoFDXVcUXaK4r}>qOha4dFV_El0Q6ymvF~_XX51AlUjO2>kwG^dpGm;#&1MESK zIy_ByEw{ud0Q1MBFpG!rqf9KWrgu z^%fQsdPu!p7=PiMxQ}G$!IB|iv=g9_dqCm!ANgI2bkmxGs@Fo?q*-%B1q+b(kq79vsI%Lj%H>H zV|CubK+$_P(2u`P7H-DWReP()@w%dZ42NK#%yVE8*ne%2cQ6Uu>6BH;ByeCIerGgH z@+t|`gz6)&dU%QQI%cIP5N0*NtbC)9%&Hq=M6SG!TXoo4J9OzDv(nIC1nEWk0?Nok zhk&Q+&MU3u#GuLl-<_kg-w$j1}`1 zuIfL027mF1m34x_Eo6-U-Y#Cvmh)A6feZ&XbV#lwap_E>64kPzg|Kr&b3v#8q7Onn zWy;h!81a|S&{J!kzAlE>7wHw%D!9vyz^*?-I9YZ>n5leqXi(_tn~^QcLu22+&Cloc zZ+^)+;H_la^>Oy1F7~rnw|&$h>@^-6;gSwSYk&U9)2HN}%>z-C>$Xs{-(orlu3VtX zpEs`W?UA&kI7UH7s*c`o57~6UC{c9a{=aE7QX1=q*vE9x;p*n?zqFX^PrIRnq5JSy zZ}6*af&xw{R$W$lA8)$DGPX<%MQ;7nh=Fv+LC0IQ?`#A34%3V-GcJ=%`U>UgB}7?z{+5 z|EBYqsqy9eX@5+lF(GKFl(3SBT;`M90+{{+j2eXQ8R@kZ7I3+d^Zy;gf?vm?L4SY2 z@a?z-3-^<2A{DzAtf6DkrkHRMlhb1&KumgLg=iw;WHKV|`_;20*5tcgJ=;vK*h)si zl8PUlCm*n;4;xB^7;v6!8jTc;x*_(^^aET?I!|JHG8IGWoG0rbw-;@x%GY@YC78+> z#o-7}SLB3FPccdM3d;~ZBkBAHqJNUpXXzZQ!2KU*q!O#kYGn0GMN3i*eE(irF|rD% zB#^|kHL+lvpu1&*$b@am9u@7tRa5cl4D_GqKQamaDn6K6@Yr{NC zN4b)@i&LBTo`6@mi&J>@-hbd%eZnld%0TlsXkQm~fUQf3j zk}wC!n6hUXtjD`uq(^IXSJCPPcZ&VOPVNH_QcQ;71(`iEnFq{dT#nIdfXOtC#xa>- zh&`B0fUB9{IrP|$AjR|Y+4X!eKYNkqFw`E<$73je(r-Id?Q0ruCVyLEpa+EkGkqS{ zj&s+EJ2oL6q=b4`AbxYvJi1-FM2(W1F51_3tiGeIPAFDyl7@TbQjKEDJDJbW8YIT^ ztv;;p?3us}uW0z@pn`cMKWOCCR*Suf*gDwqxa2M;6zkE;#!V!V6jtG^kQm#FC~Jz^ zngp8MOT!t@y6wzR(to(jA0p)&`ksl69I@$)hC!LL& z{hnp%umE(cqVvakIe#iXE-NBA9pK}>(XRD!`rq%#$vYHHgnOxqx^hwxtmP8%hmJOn zoaYf%o*>z|T&6OLxk_+`zwVx1F+0I0cawK{7X`+7<>d7eP=Db~kbrVChZVmQ1udrD zn50Rwk(-#LvK$DN(MKx#(5Nithqiiv%KAp5scbjMK2)|t(S*L#QrQqzJjdVO%vR_1 zo!R;9DgN|f5bi2DuSUrzzkcsx0hGD^@12a}VR(y#M*`Qu5)0!M=nAZfB6CZi+t(2#MPB* z>eZyu=flh8`YL~y!A)h$I@_EL((txCPE1Bp8WMv8Lwk8g(c>uT)J;uPHGpgyCrwk) z12c-e6U94byBWk`u+%acMyQAruym``tF6$iQZhZr_7HwmQoAYJcH)Vs(A*s`I=pZe z-vR#t*)`w2{>(eiuM4xmDxW%<%^*(1HWC=cu*4|+oUniWMceTRp&MQ=bY%M@w8i%H zrwcDr(`6N5bj+G|wX0GB6II+Do};SvkW@9Q6wzWpRcjiJRn>w)_E6OV1Wl@HiZIP% zSPy+^+?R_?l{1NRLkks$tSH@mT6tj0Od7mg)jT(?jGwO!eU-%q*dJ%UlGA78oV?DJ z$Fef#yDoodC$)Z53u_$YV$&-*^84+1jg=#=8a69b?rQAYR*;D+nE^SG3AH@Sv*caa z>~=3;^5nn;ObSe|?AX2Oo$=(LqD+!Ufk=?>C0JtlR$t&fBL$~SW|C1z+S|-!_8EgCtBAs?cjWZ#M2iz zM0YtyBVS#uYGV2nsDzo$Ux5B_gGOJU_Sk(izrL9-mR;O*z6`S@Rqeb7sCMvbzn{*p zck@+!IjVa19eNdQA=Kw{N)6UW^c@^g+crHw`ne>??t(0-pB-deYvSu2M> zs!!9(_Pa!TBO5%Nj0z;jAcQ*`x%@O8lN}t{xc#gc=?pIv3Z#be#tN@79-^vL&lMqv z53rgj!%<}covY}XP{okEa*R})flexA<&`da^f|U%xL?ZF`=kuo|3`15Mp?^>Aw6;0Z5{t%= zTns}#*-J4eikVi~Y~e5`N;XBh+%+l6Z~p;uYDysq@b{q$#OLEAchAhSMF?J;u!W&5 zgo%*bKPe?_>9hL(BrRP=OcR+`3@}&$yjmz?iq6)cJEO>!&%0tOO91onlu)nIpCu#+ z4ipWjg|$572f^9>|8Ms8;g^xV1QUa~f`_?+0f)JQ0*ASR1BbbS1h=_@1)xv{F*Y$V zH8huB(*+#{F*Y$VH8i(^(*@lIQ9&>_HZn#xI59ynHZU+oFf&3yI5sgjFf>IqLNzl% zJ|H|bK`=KqGDbHzF+njlFfc|iGeSW)HZeFbG(|N+H8VjzT?#KuWo~D5Xdp2#H8+!C z1So$Ul}Tt_Wf+G4@7{Y(rlv`oHd8at^VFtoPMXe1+q6kKB~4n}v=tE-g{r8aAXZ!m zE_9)gg)J2=6fp}IilB7uPADznheaGfaN|-6O8lR9^YFdTx%ZrZ`pyXTkERNMbs!A*reW$9_Lh&tCW%0*dJgpn_fUv=ZO%c95&SR~a zSPnMhs&P%k3Q&ow$2AhSfUUSjTm!KRY{NC-b`ZCNYFsm}o>&8FaqYM|qQF(}!Et{z z)eX3__u}+7J)BW_AC5bx8h8t?AE!sQf;QY3j!~uUpaZuPr{Q*jF5E60GfKNb4{k3` zQ|$$PxCtDqk@kZDT!zy!4T2%uB#xC#hrtMLA5Kd=3dV3#ICdf333lQ3xHha+$Iaue6Boc~+yd?z@eDYN zJB_&fr#wi(mWfXWwfiuy5k@g;v8|48*9 zM&K84x|IgW=zST-(^4kr@%3=;G1K=IE-)5ng`B1Hi#QFJ)peHLFX5Pnvop??`6^CR zWmlc;_NzG7z&R1lQSoayEfc57)$G@Cte~OT`fLrp>j@RuHttm z0f)i2QOyE&KVxgN6MzGf(E)#%&Kj-jwM5RJ*HLk^C( zr%o+SW4jt#olO6_`j@VCbt66KL;Ot#iKFKu7KYa~1v<}ZD_2|X;dk^_rjF8f&std0 z8`w2fwShM8vW2(5)`crv;8l?2LEP2#G*Fo(-_)q$g_0G4Vo(A~!8m^?1H6Z_O`sfT zD>R@APziW_Wm~{jpbgNn^UltANoO@+H_#Gmb$L@~J3xblZ~xMO8ZG>|qN>Tlual~p z<45YAsur{H&sDXW&EHnlX7=*;s@lzdzN@Oka=m}5>a^TjKd9=m+>@uOx-H*0rK-pB z&plDqYxzIwRrOh6@qK?){Z@GJiK+oB{BlRtpcVdpRn?Fsxn)(umMqk&8nI+`Rn@2^ zFT5BmxiKAab3NjvFCt!9jCk$eh}S=jc(XL(*3F1_9!I?Ue8hWCBR;5$_;4a(Z6)I4 zHzMxdj`-|B#QonQ){7#(?2q`WM2}ps