From aaa1a0e2ca387622eacea1843dbcef7103dacd5e Mon Sep 17 00:00:00 2001 From: NotXia <35894453+NotXia@users.noreply.github.com> Date: Mon, 16 Oct 2023 21:12:13 +0200 Subject: [PATCH] Add SMM MLE --- src/ainotes.cls | 2 +- .../img/gaussian_mle_bad.png | Bin 0 -> 9844 bytes .../img/gaussian_mle_good.png | Bin 0 -> 9968 bytes .../sections/_machine_learning.tex | 232 ++++++++++++++++-- 4 files changed, 209 insertions(+), 25 deletions(-) create mode 100644 src/statistical-and-mathematical-methods-for-ai/img/gaussian_mle_bad.png create mode 100644 src/statistical-and-mathematical-methods-for-ai/img/gaussian_mle_good.png diff --git a/src/ainotes.cls b/src/ainotes.cls index 7dbf32f..61a807c 100644 --- a/src/ainotes.cls +++ b/src/ainotes.cls @@ -63,7 +63,7 @@ \newtheorem*{definition}{Def} \newcommand{\ubar}[1]{\text{\b{$#1$}}} -\renewcommand{\vec}[1]{{\mathbf{#1}}} +\renewcommand{\vec}[1]{{\bm{\mathbf{#1}}}} \newcommand{\nullvec}[0]{\bar{\vec{0}}} \newcommand{\matr}[1]{{\bm{#1}}} \newcommand{\prob}[1]{{\mathcal{P}({#1})}} diff --git a/src/statistical-and-mathematical-methods-for-ai/img/gaussian_mle_bad.png b/src/statistical-and-mathematical-methods-for-ai/img/gaussian_mle_bad.png new file mode 100644 index 0000000000000000000000000000000000000000..a01a987b5e0a198337d2552e68d37844c62dfbb0 GIT binary patch literal 9844 zcmdUVc{tSH`}d$ivh)$7jF3WPD12s+Y)P_Y-v_0r5k?Fd%LrLR@`tt($EMs4OXX^WXuIG>Ex}HCu>-odwI%nSJzVCBy=XLILM;RIFa2`E%6as;8 z>R!KU0)a4lLLf}}Y)8Nhul=`6;2)EhiH;_uv>WyV3=X+y7-&Es1-<#IH-P`RuV%gu}q$CiQtCbyu5sMd9C**bbPz7I+{ChPHTDxQo~CPe)Ds@C0dvoCO~ z!vSs|uuP%}1@E$Zs#{Pc>BS|b#TnbaThqxaaKYyi|zuqm|DR9ivq|dvnT_`I=Xs?d)$fIg~QBX+*NT%vMas z?rqcWsw5hIMI!Un!oJ}5SEqG?J$a}QsV`S{9xRV81y$SOH(P|^YWY{)>>~Z%cy2K{ z!hpE{ZZvK*pv_O-m+w0=t=-_pxjA^PQG%zM@YZ#@p>eM;5-~_*Rl`-QH{J|cjS66<%NApmF zF)NYhptB}2tAB-TdedAw_-i>Y>r=ZmYuCz^$lQ)XY1f4|6z)gfH0}!4jpMk^JKqsc zotij&0mILxYm<@1ZikyT=S^ZCGlhRPgvmX;NY66&<<}^rC?IBDv@N5B#6?^0J{h$4 z8m(awP*Cw~wz_KMzvMq|tI9`m*rPb`;kOI$HoF~7yL!tR8}$V^UvKBdR=O$g#tfpV zW^-B=Z(X|3%Jkh)f=eKV4K2Jg&|X}Sa|~n5>YERNBCK-b7P8l zt5Nk|PeWgPhn??Js^q^PWnCn*2Yb=Id$G)abiSCcd5#T`X+0eNO2wmk)Mxn3`|ID^ zb$+>`lq2u6UtFgFZk@7aGg%`*_Q-jeUF}t(?o}CQ$3DZKuGlWp8HY0 zC~MY@vV-lif;jWs(N7Nh(+)}V_BaExxd*2%LznyamxT{J>1HPmwlWW_3AGEOb=5X} zq_$YW629hpKm%3*lN=6`YGZ*Lqj!U&oxUa&x~48zVXd4O3$?pYvht}rao@#d)Pbl8 zb+Z}%(My3#{?jFu{`|c#_nPUXheF#*7D5%T+%%o%%{LM=cVF)csDu!VQIK4a*2MU* znBz&*q#vEQs$VYnb(aF6lI{l@myRBnT&kTfeb@kURfg!LD^P0Eg=Qj9uqXc*p5m?_jy`L8GL{D%RxO3>bMq$ zbUb^enRG6A;MV-eo^`Kp!sL$IU%^#8+W+d-TP6&Z;DSkJ zwj7>EoR}q8o4y%ZdAxGc(S*%YefztG~Q5Jw*i>K7H*mqout_}-FG1->E9LxLX9Eg=T<#Z==5lc$Q`4b33 z|HH(jyMkj$mz8Bah*vh#Y3w4x;EN~US-JHih!G_PRbIIXOLXBk8O~5ejIn(G{ew{M zfAIL=G@vg2eJAC6dBEucsHW5HLE6vs26y5e2o?}O;PFE$6?^4VoW01?vFXGbqzmca zmCZ`i3ZW=GmpVKQnYB*!xnDq%hSPQgDouB>%l*DX2R$s5qgngl$3CDZ^Tp>_o0=a( zNtEZlxviHk+4)p@D|hsmnKQ9hF3Ln5uDNV2;fEtA6t0Z8e6t(L*sdT+fD zoJDaYKOc&XNqxKB#)Oq6;l{YeZ5XDHbf0mnY&Fp^*_`Jz@!u&E@BRQP4p zVPrb`e1*R(;+rMmSz~~W4^@EP`eC-Xpo)X{{Y_R;iU-_>$&@pkiKYppli239sYiBCy%nrnH$74lZ>Rz#nd{ufxb`Wb(q-Tal-|({Ee$BuM?%mSBXB z_tHlh>$W97f7!8X^0^0?k3>|`5oZF}vZ+-B0jIACeUG`!*GJG7$BSNGS6ZB6Q< zjI>UfmaNR{Pbd~)B}ehFK1HG8Ol)yNMd)3QKjU;THmM5+=cn>nb@in8!~IgJC?#-u3P%H(9;4qyXWhQgAMfc%~??aw9i$KoF=0|Zz8YJ0F0P2u-4 zX%GBo=r5h(7)v`d)ykT@qvXecc^A2Kk*E5NI51U_b#W2iBiNX+DAMV(SY2I9&$p{W zLrB7iw_7DTCY`vs!73oZI3kKrDs>@7Fo%3N?^Dw}@L!Jdp|$SU8PmFN=NU{~v^ z#+?u?H1xRRKOh5MFd=B01P;=g)dRBPz<3H*$sd(kggwzKNVUS|+bae_a?gOoo{W}x z2hzh(1^V*<*4Ux%WaPtVun#XbmskYE0gWh_jvM{CvWYpA^=S&Q&eh`6@P3};p{N+a;%gYD zTyTrg>MuDBuh!#~SzgLG^#S|frmxXq0e-Ny)~vy*l&SQbVuj%s`t8}f zm-4cc&Dd0beQKc`b=(Bgg*k>7C^`!trOS#f{Ah|HdMKEj6p+cxSfcObgPi;e$;P$~ zg+R?90>Y)tC6fGA?P6+?j%kdwapK}9U)y+3T?dN{!6JnQ+GNt3F4wt0SsFFi69hx{ ztD(yG(mkz(gpv748#0OMJ40-*2Ob;7G{2HncbRXxU@e@nwg^Y$=<_JFNE9`PCT}kt z5l{ddiMFR>JkykQO|YIbh0M7kU~vMC8=(tq%HRM(A{&`f7-1XmH5#pG&7lALlayrT z^T49%bu+P)Vgtb80pM_=eceY`!te&3Xjp_PhI9S46w%3l{e%S96-(801@=`Fe`BES zP#)G}Bjhh8rl-W6?9q&^Fyi2`9;GE6aSQlHQ4Gs9ppGMOb8g?oFaz}5KgBV6^v^5; zCxFC-K;oi&V&YkIXn)D%#byx@rs{dL$(+v~VQIS6-fq4|2J{XVfkTXM@2HN13FlS4 zhI_njJPip2va`Hc(U5F&h}g@iy74AkQPc6WHzb_9T!s9QfW5XY@uln$q_Vj+kVob{Xs0 zEXR=R>Vjn=u#3swFRCjqJp>ZU;CQjJ#2;FEpNf2>ju)3ZZcZTC6H57Exiu@^%)tRzLbUM7>}eCe3`MP(h?3-REtv;~}B zNkxgp+m}wxKMf~XqU`D+GkSpN1GMD^!HkY+&_>zK%I#tv+}x<(2o3_uN&}9#7Lhvo zjy@_zG|~A6*#j}Eq>>`}uO&C4j@&On#~zwX23xQ$wqAH%>7L&$ZVoN@A^VmGSX$!i zsoeJ>YUoCCOBdW63U$ySTnpY}5O}rys_)EdrMKG#fD7~NJ={RtMDnloRgk;&iVw#C z^#w4v!-j`P`JIZ=iH#SU9y(Q`O`)uvfZLi3ty(!^Oox#CoxI=LFZExQ1AD2Do6v3Z z6*^-9i7dwOIUSR-+pSBRvj$NO%-mCLrka*Zu2Di9#{pHZf-^8Ms+Q1=BR)gl*7NwI z>KUNw?dRwlf^<~+lkHA;qdkae4R9zozSeB}R(+~cQMjlq^)qL)9Y6;T`94c;EZk_5 zGe8>*c!oaQ14;(S+`_>dl$QIlm(>2VSUzQl(!c>_>h9Uu0=Mt(Tbq-g7Dp*ZCpyEB z6Hnt77E1fS3A^7)BH(Q+(JHqjxL&d_$mB-l_|q{QiQC&kkESNkhcV7TwG7KkUe}Cax(N(M?S6<$EZ{l_)8s8XLzWT(pnH5+^{$jiepkQ zg>cLz{+YCQO?Zs-HSiTMqzE&=X3#LvT1u`Z%kgyl?Y-1`GMsx2xCk!V*eKl~C^xC2 zi~Qj_BWSKO_kdW$fgQ4ALK&8nq2xw220+pQP?MlzT9S{Fipo^f!HGY29;CfeT~3xf zIM+*AQLgJ?%@eakn;DQOsfwm#5~*L<@oxZ+y)R#Emk%HFJ;KEg_j{dEsB`EgVDX%5 zX~3Q^l+;KmB;2}AIawUT(tQ<7|Ixa8K9^4MQbsLuLLV^JBi{iIOGUo;5Q9krIacUC zO9gO(m7=oM zKLOVZT=+a~vW;;>LN#HSXdH1lx|Rsgd2z-NW7sM! z=d}ASNau`LdyXUG0566OZqO!a8Yox~P@!Z|Lfhd3)e}C;doe$7ZYArHLJ2Lc$N|npacc%1#)o#dqo^kWJYSR$Yff>lv^)?wU+0rzrTIj$r9J z)2hL8vhqc;8Ojd%J5&`C0LMFIi=ZTeuO1&V{XZiUH8me<)?gU&-b?%3D&SGuH)1to zQi$LNXLeJ)7idGSD8T@zZ|M$q)1ufC`75&L7*Lr$`cCgVx?nLMwrclZfF-)v;P>D_ zz?p$D7hqsxTfZJO!>vP)L}_kzFaf-e&F|G6Q2@H+T145o| z0F+sa=m7p0%)`nH_i+JZ6N1zyoiYnCpYK^pVaS&l(cTmb2dL$R?JZ4UNQ zUlXQ}1SlvO$N^xj_{;O0i82&)>)MffT>l-$naN&Pco6gbt zKiN(H68O*zmUj($U02rlQ3tWc2`@VmV;Xm+F9!3%Ha5FK%o4 zJtGHZ?*H~{+g)YM>!XQ!k)iD0B`aUSiZoZ*Jmqcyiv8dOgu+Hlo_s#n`r*(I>^~{n zGu>0x*gaN2$F^9GA)-h_oQY|d)07wVZsfJ*NnA<}TNiPGsoQyx%i=c9=-}$LS39fPl`wtuw8DTRi`w zZRbDAHt{^*#ytfhQXd$Y6$L#7ZWRn=OCbI91`o3`eC7_#h?@HAUxQS7cy0^_m)xr` zjs<(zS)oev4_IQZ5p5e@X3gl>Y?C^&3=4>7v^}0-SgS20RXb)U-dLUFloA? zj|r}4%-OqX>)&(y`=TBK`(aY;bU>C3Q_XRzh}cl{Tb`0C@BX&?2xfpnM8q0~qIdh} z)vPYqRLoUCy=jU!DekZ-U^M--dIKT>hc@NVX)?6O%(?FiLSf1W7zjC&hxJt?ipa~F zS(0H$qZ^#W=_-aU(pe8N3KXBz%RJtBUd|`5d3`MzjhtzE24KJ?9;Q++DEv*mvsY!v ze#3rvyhTY>BHpNH7y1wcaTf{EkG!$)x<+=D;)+W$Wb+UFpKWeX9ye#vwcyj?SgncK-x&=bFjVhq1I5!4| zh5p(WbO*R(nKfdMyLJkq1b)mn?E5(Q#Ocv(1l(K@+O(+e8NAI4rWv)jOP{*T3|$6R z!2OlKwBNwo6vn6-6=sXo`JUtGbm~8g6{EkfwEuzAP@{4mDfufI)@k;Hu{wPJOX#@n z;zvSlqkpi{1v7om>s@A}ze`r?LhPPK@?T9DDTrb^3@qFs!W!!H5K+3r&9*!*7o^He zKijGi`wxOem{zJCje1V*)D!pzS-ey!*k2=kj0|p8ihm`aG?CH1o!knCwN%X{W`cnK zQxl}{GKxmzt1w%k%}Ftescppx-O9(o8Zmu}MMs(=d>{C}IjRWAbFL|0iycMCXba>i z9_;mgMmZ$IvVy?g9%r-{_T!tM`CpS_9--X~D#oE>)b9N$Br+F?o}PddUZ#?Ac4|mE>0O`*Li%3 zQD_!OxYyMq-At%=Hnqkd!t&vp=MRT_~7y8k$%@_j{=%ME=p4`P4p;cz+&JEn-8Gssn5|Lg6u?uGeph92&%>AgoYuG`@vKBGDN1j`Q_ zA}p|{9bfim391E%R(I6yDb{e1f0$xC(Eg3aZ2Cq8m#Oi2Bdh1%TOT4*K23pvyWo* za|UT@T0h&gdne|USdWGCuySC)otio!#{H#shd*1!J!>7^1xY;Pep@YYW8C8A{pFnr z-zq!V&JPekihB>1ene42!9cC;`Xy$2DhuX8dw7VqGoBiw#)bo=Lc2Ql}+&fY}ByP_eB2s#JzpgOEl=9 zwcGAz52@2a#2_;FtIgwuxiM8z6btLWJ^aEhDpCt(5x<;ovnWN%ZItXRm1Jx~V?%R& z;68KRwhhiI z^P6_qTh5%rTE>Age{3KqCEO_Qfr;1BlElqxi(7_Dtu zzxGX!lpv<_Fa7yBz35e!pHkCzMxU>C^e<&>q)>A#cR~?sXIj5L+KCgE%{ZWYM7tEI z?Jp(A@wW%<+}N@=3`2f=9Y!=fJ~#F&#VfixZ6}4wIh$sh=G$jYamgBl6^hK=H0jVpCeJC$00C-^pO#q(lLcV4ty}z3&K$F5o zy3g|DugMmY#Fgc!OKev_^TM>h=Phdd{#^XO^quj8{S|5}czY3Yg7hb{e$>y@TVGC}%pe18rYU*4Puot_8nBT{MwLhS1H z0135r3K6@9h>tQBG+W-?1*p|HU~k?*ZD9uOYPr~xtu?I!SpgtNd~9#gHxs-vQKKZH zm+%KW)3w;_Nzex(o9V)pECrrZ0Tgadx1yKL(6 z;HQMbSl5MokWd*NA1j(#ASd%WbS^>G?Rv;Tm?$(I_9}&cQ116p{UOy9QGT!GOqQ-JH#j*L0a`SlkfU#WH0x!XCgziuq=hpf8zpWcU8k?frP_Wo|mp~AcB zsxWme08O(842D6!MS0-PI!y?Y(&j03M_gPXV54qa#=niJ#||(NrwxMJzjG53k^+vm zKR(Ln5+NBNM$PR1j*Ma381cGU4qpDLGpQa|+#*#WUAf|1Xf&g{B~C~MfP3&8U%cA> zBl;nA)4{0Fr&oiAtK4kCC=q}$(~U8IkCQ_mQ$gzmm0>d930N*O53GP0a_5ub|BK$I c^qkEDXq0TBYT^&g&%yU;595lH~Oru=~ zo*RktZfKn(u?RF8HNO#mCAIm<_mNfXk3iwm3pjdlvqy4PoL9Vc7zxrbCgRUecu+5d zT)^sx886MdY>o`4H%w55DGkblBa7PwBLk}==|B5UZ78qq*Y{k%aqS8NBm-${8gc@X zq4op;i8y_h3W130L^DA0&kM6bG9LZ^Omy{hK$bG*Ke0xC%(491{mR1jjZMfJiNvK+ zc?zTQ{TUADr2G16$6$%w`}EMQVN%`Qt%lW5spG(5r(`Dyi{h>!CU(It!O)GqrI<_a zK8NkJ2sy6?PwfBNrXv_cGl)C&yi*)bmGvl-w61#lcL8)&?vb^JW!(Agm4HTt;Qi5w zccH%$-(MX+nSVnT@Eh~%*Dsfc;wZJ=A=7-rzCDT-^$bR#YWzl5FiAo4Imu8%O5I#$ zT$wKXV|E~YzLGFoei9fJ(4EXRd-e$O<<9>;wg@)Cpt%oAMc$zvRetmT)I+@~wf@7) z)f2WMQ2UxEh=?bA=o;bR^|Xn%MOKyK!9Sas$|sJGwud|Ij(#n1z2DK;nqm*H*)fK+ zh_=#IL{qB1rpdVs*#>)UQC7p`8i#pHf>#^lf`{tHUr{ja0+0Bm{nYrIWD*p&EQzDg zOd*?sHq&V4zqTm>c0@)VMqxJl)Hc*$rN_|hvYwUZ^km8rhtm3+o*5y!NY!YD%eOYk zCc}o|d;KAYN863c$0=tkF~YN@ZQq$9?r~5dr zgfQxY$*q$Ikz`}{77yF?REJkijk{mHW4W8`PhpyLqM_$m6K?&|DP0(Ee#}(vHCn}O z_*Jw&DL>95T691$cC$YZd>P*^oW&TAw|uFES_lYvsh$t$9x=}Q^x>G5NcQGz9N zD*b%O{>SS5;i1N(&4YiMA3&S-e1)4H&`g-DnkWlVq zNan*8KPEPQR~F4{!c)U8?-j@Myg0%(vV;U0yL_5Y!tR3&zyIZbiBp=7%Ci-^8f>?A zLYfCljd=K=KW#jT;y+|V>Q9>YcNKm#p22{MZv5e?(d!X-u+|>O-8A_vhJg{jS14=s zptaA5{7M!(-K~6l5Tck|TeTZ4I-KTBylL02+0hr7&I+=CoUy;bCGX3X7txkH`-E0CbC2K>^0aFWM&y91zxceh@Zgk0P| z_@Vs%5d7&GUyBd;W0kFYBfSRgPPN_rV&NQqwElj*G96*hv(!qb&Z)YrF0^N~mh_zt zzA$M3ouo2)koy`|{7V#+L>6`J_K;y`_+TOqa^4)dtF5F7KKtG$2zyuJR%MCPkMscB zwIrH@T{U;(oD`|C38457XC)}5Dr={V0s~ruil)hVzccfA5t;I8r1z`w{D#o_Kgq-j zOS&`h9872QQT8dsb?h`wt{V|26Bcr!u`TCu%4-hCl9ih2_yfc`lk$%0QP?7G2(8Ed zyu2tt;qK0fIVNE?o>bRge7FaBtB-7azsl~ijq33#*l|Lnh&$8}f$^O-xmlsHs$i`y!V zu}AA*th!;@i)8ZpaM?Rt!h9LKI&M=~=6SfcNjh!+H`xDWC1B*ULf&=DRku_~rLOAa z%CCNfBU1eVo(x^b1n7-uVP0`g|%~*nnPm%<=Hoptbkc zA?qs7c^;8zUtx3y{h2tRM!hUH^w(6`;dbStH7X^S*%-55A*|&qi+*b`)Z=yvvo8DS z{(&O08pStV1+QBwTZ*$ga9D#kO#-)5(TIrCg_O1o)-uRZa*}PW3Ufn%rK1ZH;)p(1 zaC|xIryg)#m`;(4zvI|0jb-C=5KxF-`v?%FIuK@$c!J1S6?sBhF`q6|so);2a5EXj zI4#v`u8+@)JZ}Kr-5nlMu@!x@09b~_(Z_GxaYg_>48PYoc+!ENQ(njyy=VxqOI6^BR38LgGocasQkvxc02^aeW8^O zV)~qe31XzG#t%_Bc?yL3|4rO$r4yZc+7eanA~^Qv?w&r@bAotq^KApx20KeI8;;dq z?RZb8^^}9j)b>Pm!}b9}q3U>^nvTtT`@ngttUx(MvSFrmxDaA?5o7|~bzZ@%N0_SB zWB@L2$9{Fn&D>+lSO5xmDblpOmoQrXc(e+->gPSRFfd$zuFnC$F9zd_xDzW-^YKKD zkL!=_rM0ie=C|lf6VnkHe{CK9I$DwnpxnKcei=L5eb~fQezG&!MH{R5W~h@S;q+Zw zIaiA<|0*qZh}L19!s|D4r>hP5sMJrf1>=d5jUkR}2K{;;R?XzbZ=E}UUwsE5v|z-I z&OHzq3m{UUlWKVo81-;nDOi2YPo$loVg^E`(^BvxY}Wu)P=gt{(jKF z^WA%Zt^>kgpFV!a#14*t@HMiZmdvk)g$7c8S0*Feeb#EZ;m68B3A@on5a>>Yr=PLH z%h#9*?OGm{T64}IvBy8ED47 z4ivUQ#kv)o?ChT3@v_gGsr%K&hGOV~T!gRy<#wg0o4+# zzuaD0y67UumQN4XEi$O|DUBOs!CVum@oDcAG#-u-A1;o>H9#w z=tVQ!xrlAbZ1yfN{k)Jvwo_i9q5vHv33o2KPa$EvP@6#GHL?(kh27jE2BRxL{o;7h zt}q){*H^W>3xH$}NW9ms2+LlQ^$)HP%4D)B_{Qy*efqby+8%l>*ZHtmlytk~u&FI= zktRw8j#>}QBklpL`A26na&aKK2%UqSuHdEn0ustQ!tqFxhN;ZT&*yX0vP8`?o`EC# z1F4NaTw)!%o%aqC4(!0;q!AlndK#Za)`Zzw7BWhV;41#vfnDYU;9OhApL4@c9?3lu z@h1&%B|44W)$>HnaN!UC{q6_f?yz11ej_n8erZ!Dg*#q4xZS^Wxi52p>4Y+Y-_t|Q zdk`5H0NUn%2}~M!UYk?fv%&bA;QA#fX(VG!%E%c^mzfU#W?Y!+V6gCa0+Nra0i*?>iuyI8W3V+x>~tsD>CwFfzifgFzqBW9nl^S-++5#@#fLR+sLIYqXIX^) z%u4{lnuJOnf|T_+o@jQO($Aps21PK}E1x+8sq+^Y4B>Ox?Tx@rCXq#&&|+Jg)IpIV zk*1uWHXIA4i37lJQ;wBi(z3aG!OROn*uNwdfB8r~8^OzoWCIjGi-+vLSZ@j#kw3kv z6f9OP;LPv@Yi1xt3!n`_{-xq_MOwcV{*ZU#V}qsat4d{*#Q%`+Rvs_R``ok5_*sQ0 zjU|EfJp4e_DJ?NqSUD%Zj96uxkx4o9E(_5-853Ypd!%-P89vHG=WspODi^Ym2KLnT zf?^0Q$R&_lWV4SR*q|Y_bdXWRj2+gVh?g(_GcF8+=R~coGD+(IRdL{rt&Qyld7}yE zZ$6R$)Lugx)r`M#;P!%!nGOH%bKt-S)es_Uz!t}hWFN8cTo7iPt25a2Db13-abs{x zyl%(E5H~4bR-l+qzX4+1h7G~C(7hUIoulQ0tIIik2Ead!w$v4?=QekNTWwp>C%lw? z4j{=~K|Yu6rm^*39XTXIsyuEI31d1F3x=DKV=5Wb@~;$p$uBY>ljvH+KvMaNz*P{W zh|C~$pXrPL2;TAoEs`jkq7U2Y`Ed-9x1$;MoI~2Ts#LhLstC61 zLm6;39x=c)O|)(_0ojAPy9|z)wzvpbJdqHk5WHOLAnWAdkhyGj5no$FZj@6g0VreV zM~I4>CL6yb#9i0s<~aeDh%*hZF(yQL7y)@{TP96uD2_eyea&6amkGFl1br@!Tu(Nh zXCGR4W>x|$cYzua2Ar9QD62a}U`+Q~D(^fs@yDn%0tP(-!<7=h1Do5I%U!z58bI@B z)cAXSr^9vh-FR>h@U#sv>PIsK!OhqMoTCOs9336KO2ldEN(Jmu1i_VOoN447^<93yOjtG&B3(4v_*!F)3d-M6rnk-Ct~)XPE}+Ywa5 zsSI4)W?Uy!5fTKfCP2r@9IUaCUyRE3b%@_vre*|d& zXQP;SS|SUv5hm6lI-rq$zA1#ZtJZwHd7Q0cYF3r}?adYw7}LgMAZyo7_cDoqhj03@ z;==-IYN5#$JyP0VPykRWG+^Y*jZX;csU8zkEBEVaNY3Y5v1DWuOIz!&NqDsS@DbtY*L0uoX$ExUq{%{kwJ$IN}0T z-UdRK!XnI;l1%p5uC0Q)Rl54`qfvw~4tqFYX^Y(S!3+QNPb!SNenx1HlQz&)5#`Pt zB9H?QKp311(u`)9Ei_R?5%L@3sUDmq^O^8&>5vQwM#IMoMLD= z-%98ETAsIXv3K79ijQO1(*UzQLw;;I49qw$#2_~x0vs%#%&R*_}bKO+@ZAFw-UTsYvUDqoPrmm5l_$_Pv!jybm zZO!1lovF{oTW&B2+=jzt(Jl?bAp@g;@}i_E=} zKr@x5 zKY#mXIqG35X+^nZVUq!TxqKKHj6xbQ5mOQlFG#CZ) ztAHnn$?QyL2{ZP*hR0K41=24>^ZCUo*Vs5#u%%(($6Ryla<}j$QCLH}c56k`68bD~I4g4u-yC3N= zkUhZs9B8E-AH}Bx!W1}#^Lc{B{2*M?y!Gvo&vy_`=U#I#&5&DOMFEuHQ{#Vb!fqi5 zWI{7zB7$mO8pD`q#sPkRc9WnY_XMG$h&q)+JepPjtLUroX9yNQLE42U^U)NY|MA|? zzxWSg>f5&*OtOI8TOi`p!j`BRkN{|sMyiKi{H-chHGcBjpqgJ+#Hm;yEu77jgPPG6 zzcliyFiLm8@me4zo0kTY@GuGltX{gNT(P>KAz<#|V;=}D@epc$wdc>UpdI~~S9ic7 zXW?(2cjUgRS_G&E7&+qi#D$AdNCgbo%lTGSeNB$&J;HqMh}D@Jt-rC}HP$W>T#l~1 z%WW-5JI@5>m`ulTOq#pj1PBw>cVTmpi44*L*;l9O@L39xQryMtbstVwUTRfk)fZ@A zzWOc|$wkjYG_8pj`&!gKrP2UaP}lM@(U67AP8FGugi@9`Ks)F zviW9qSm;u#YQrgv(e-pKFA_%l`zzk3P+5%j_Nv6Yh+0l+hBHz$4QPDAl)Z6Fbd}tP zFk%Oq(sRGxPpw>x<#wvtc)3X;bTGs7rG(ksXFso8iZe?zwjRhBV3tk?T+TlIS+wcX z!c!?rX>HXQjgtY{DeZV(fTXGJpzf8Gq!kWAQ~u|F?^wE0A1f@4PyR=IGANQoOL|qK zAE)+O-IsBdrI!JFsZB6a22)k|t8-!}Of-Kb*%1ale@IuTY(l{>F_=Q-zM$@cWa^FqqRN4=@GSA>Z z9B(!LXVNCTTGoVt=y_Hnq5t{h$G=N={dQ0&YLq_0VD@>I+`b~+(|6?rPP#)64O(I+g6GDJ-7h9X7F-ca2K!h+L!Zjd*$J)pi3mY2$ zY3?l5{)wOb9sN*WmyN<2P$?jENSg830O_9_XyftDe?NO?piS7vO+9*X0r109jTdO( z5cko#6dx+La*ko`-UT3>NY|ZiRz*Nz-bKJRt#pBeW2_86)mm0q*Y9U%rlE3-CFU!1fpEgfUdEC?;fkuV_(N@)` zIYBMw$~DzdKGC)hi^hNsftPEN;=d4E^}5OuhTUapCzBa~)L!HS_xy+jE^0>Rmg3L2 zDi+q#^)j0Bx%4PVY%`r!A_o(<|M@ljz}-k(P)lFiNhThEY^FwII{K_K0UsVF8Nm3- zZK~i6#7GtIP3#*Rc*=;>^NHxY(5gymWkV6(bv$8oez|ve?-7G3xWRGv zp3j9N4mRJ_#c>j*Qk=x62m<#Pjs1ML5bbY`4wfBqexwKnNJJNw`t(0gRv#{rF{^ zcQGbu+J#edvS*0TE_lgayt8N{KlE0w&O`|xNE<)S$@v7U{skx`gHlg~Z?y<^8_s{oRfoZk)a-=1#4;qk2XiX7SA>25Gq|jCT#`0!a;y2kzZUQQ-;aK-KjQB{ ze6W=IYy?M+iHWI#J?09RwtP`DW1lPjd-_KB%I@vIU}%!rGDFurqC>2@d+x%@@d37! z9@JVMzl?b;5`|p>nEl%OTME<7xk@~xW=r{e>uSr+A#)NifQv6D&eT^oK(AnLBd<$+ zu%PA>`_ZVyVrg3aB}oV6tW)_%jLq3PpN&yMLRh_}tY*aMrcgD^P~{D<;jFk{ zX4!5Es;`{OXZDd$-YcczuN-Bp?aYRQSO5wu_Me^QwQRz6=Msi^`S?77uc6|G8icKD zg8bLWGnU+6G@~C2$2t@6j^ge4XGV92juRaGGcTd{w`Yp4Ne8O&pSjI%NRn$c-Dd>9 zTOX)W>wCtHZl%wyjS{U2Bkloc(aH2uch}B>x92C>@fYNx3j{}x{kGbzy~W=}+~cI$ zGt(-l^~8KL8Ef3=LnG)9yW@{D#Xfqz(G%@WKY_>FU$YEZr6^x{mrC6cPc6zFQD~C( zmp4D`vFGGB)^#yhgd%<+T3Sl0CNm(_cybF;s{6^Gq$mt<4b{ z9+3ug=-uypzxG5g7wj--<#h;i&iqCWy2k*rAgyvW29H~(`KCc>*7}y}0}>jOcYYhl z3Z1cUdV-iM|MoD>U>gsCv6|UoH<<>SjnA31A1&h|)KA<@7O?ke6BFb1$Y|dhUr+3? z*w-U-$Q=P8BrDl{@TXXhs!hZC94?^qa|^%u4b144yUzia+B=V>WF8fnG*?5~FYmM* z*MFGai2PO*H!-bp%#7)ET+{a&0(IcEv@}S2ezbDoE#hv0K)?)jdykM1a&_2+Ed|s_ zf-Vq0EH~`8@2*%AjwCg<_g!Ztny%e37<6u36W;(nqv%scspjy~ph5|NO)CEAdMg?w z!y5n2SH&Bsm>uK>omV`ZL6$Yv-LUTmD>pX?+r^z;^v<^|w%K%s_BiPI6&D z$Q{Y_rNBzz1r0~5m~{6PMPW7r5$qpqp22~?DmSz1SejS(^kR-}1sj(OhD#3(VXJ;s z_QN-Kg+OK#`uG@|0q*z}u1hr}^yrQd7Rx>Mh$5#GcZF?Va7WYP9=tVNx%4_r!S7l* zw+uwzZt<{VP{)X56t?_ObVarEjH6bA4I6dlmf#ozSb6&r3d7OT7(p#|HLgdWNj&mj8GS?;P6b z-W;+68N?0maa3Xc&~?L}?gypHf$HE|Qd#|Du5am0*Naup=Mr%zLig z;4_gNLkd}EsaBd9!MpQ$P9^fw8%y8w(qE@P_;Q8hk}=Mo_vb&<%NtK&?^6$_$uJjf zLj^?z?B4uv-}Ua4kYm#DR5=v7Xc8y%RT^R71h@Tb^5arc_<^XxdT-!Sz3Z==$8(6+ zyyy1qRw*(+I4qu0yIkIf-UxpRo|$J#I8K(BaX+oivaf0k=hbX84jkM0$nx5dq88Uf z3dUv51jakeTvjvJK%wC`df82q(^KX8`Bnua;H3@E?Vh;XhPWT4;1fQq?ZU*4?!+M}O^q8bLl|#K8mDaLoU0JIEZqCv?Sk*JyumX!pna_cp=H zm81muK5(e-!-;E-$#9$0!=F*gSCv>)VoR-6dK9<5IS%h_E|!CBRs~+_+*%q=Ob=f9 zNHVFLI9v%B=9}1QTdH60?i745^I~bKya%qtpb`t-yMDmI+w2nPxv*W6`F>IA!R^vJ z!M{2#ttU(z%*vfaM8H9H!>)c>VD&TYg_3$jVSa56^bNd`yjyl*v2CqRI19{4a^Pnw3ZX(3DRK8D+ zxQ1J@Sq&OG1ruTuyp<9*j)h!4hFT>tCK zfhdFm3N8<$M{3&8R!c<1jb8QLr;+(j)7)M%K-_4B`cl4t%>fG-=qTt8AYN}QKU3)plrz~CMI*Rk*EAMxQ$L4T>PY^jeDS* zKK=V7I%zpj81tp|w`{%X2@$K?8u3`~WW;bzZH;>O0Hk_L>r=RNrj*GZO$O!VYBZ(R zbF>P)_xIC!fV2f4fTkULCD0wgz)6Shd@V`hg3xN0iUI8)fPRoffqszTqU!O~)ux+T rC+7ryzeV4_^#8I6>q|%3F}q_$RX)k#ati2DgWT3M&?r{3fAoI