From 4adbea85b6c3d378a909a3dc62462d904efdc5c4 Mon Sep 17 00:00:00 2001 From: Varun Agrawal Date: Thu, 31 Aug 2023 13:36:27 -0400 Subject: [PATCH] specify K_{gcm} is K_{gc}(m) --- doc/Hybrid.lyx | 27 +++++++++++++++++++++++++-- doc/Hybrid.pdf | Bin 170632 -> 171197 bytes 2 files changed, 25 insertions(+), 2 deletions(-) diff --git a/doc/Hybrid.lyx b/doc/Hybrid.lyx index 3067d5c26..44df81e39 100644 --- a/doc/Hybrid.lyx +++ b/doc/Hybrid.lyx @@ -264,11 +264,34 @@ If we take the log of we get \begin_inset Formula \begin{equation} -\log P(x|y,m)=\log P_{m}(x|y)=K_{gcm}-E_{gcm}(x,y).\label{eq:gm_log} +\log P(x|y,m)=\log P_{m}(x|y)=K_{gc}(m)-E_{gcm}(x,y).\label{eq:gm_log} \end{equation} \end_inset + +\end_layout + +\begin_layout Standard +\noindent +For conciseness, we will write +\begin_inset Formula $K_{gc}(m)$ +\end_inset + + as +\begin_inset Formula $K_{gcm}$ +\end_inset + +. +\end_layout + +\begin_layout Standard +\SpecialChar allowbreak + +\end_layout + +\begin_layout Standard +\noindent The key point here is that \family roman \series medium @@ -307,7 +330,7 @@ GaussianMixture \begin_inset Formula $m$ \end_inset -, and is not dependent on the value of +, and cannot be dependent on the value of \begin_inset Formula $m$ \end_inset diff --git a/doc/Hybrid.pdf b/doc/Hybrid.pdf index 456ce49c4bca1986a443255489ac6ad5053fe838..182573412c3f566b8465ebd384d6875490290502 100644 GIT binary patch delta 10510 zcmaiYWl$Z!)+Aiq-R%;b5Zt-A26u-b!QGvUySux)LvRi5?ruRZ1W3@$tMBdBR_%}d z*JtKTO-)swn(mHhMeg~5+(3W?%frD2OoyOC(}9ckosNyV z4s4q)sR<5ERTqD6()+r7 z3Bb{iiAYL#&C-r*VJBpsLxwP!G*=G);-s*ZNThIR;q&HvtauChLCLM@KU6JYK=t1x zwt?1oJy|Rns`LC31m&>rBv?ORYbwto&QAk6liLd=2>@#vwrzWCiA#Gvnqko1 znJw+7iDbg`0)Ioz+V?gjg!jxahCb0U&VvO|QQ+7WIUg3vIP<;`s<2*~!?lMKpjujG zJd{du$k2+!QuCunekySmZ(-X$>O-JTz^prx0PrZ1=&XTEhLqC8l}nHk`Mu6iy9QNF zYZvznJvXPH+4_qq)uS-uMJH;qEuA{sa^HS6Ok{iti-ziY30`VRV zC~A#>)n24kQvYCRn=F=@y4Tev>e_E80(4q?^^SY+s=kV05}WwkAPJXdmoY5d`9Xec zFS#J$lNS*;l~Tqq?x|uj^k98=TZV#&P13ua)E}NL>Ti@QTz{+uOTns0U4u8iH?7jv zjuPRO9%FlqFErKYZtYK0@{S6p@mYgd(!J=YrKKXZLgXA_Tp6WLO}{%^i%dRy@{jvc za>e^Ub_F((qPcCfu!xb+i`)X72n)Vd&aal2Py+fwIe zgOiS~Sg)(vQk%s+nK8g6Zv(cg1EP(Sb9WdP5AV-fHvavR(sWu2Sipru2BuCxm=c)@ z55KN1QY7h;GQlxgoI*EzUi|{?w*xyk9Jy{uvOxvS^@q6-8%*PqQShpj9)V7Kgj%9o zHfZ|tRZqCmIZOA%sHOlNF(>!W7J2IKW0e9*pTou#KYLIB(|O9hOUOjXy;DVZ-xv0- zw=cBY@Jua@Cnvn*1mdAM#5b^do2N@?EiB}k>Sos=Xg7S<#w8H$6ui~j6K+D14(J3t z3Z(p?EyYB1Isov&5`5=GqaB}zo(cfOsF5cgncbjSrD;51$GEn(8jV?e8{kw|6#DCJ z(6?UndM7NZPof;nVN2Km8b0IDtRw7y>ku~z=J#e=KJv56ZZl+Q57laPO`L1N)OrS^$q&3J!rudWcmK zoF>STvqNBCc5||O7OD?N>JJ22(A#vXaDczpZ-WHNTe;di0PRX4angvyeeS_qhS(iy zKLslz)Qo{j6%5{{Ai#%!M!$DRLW^s_S$^GK9aFmyypy zjLEoGWm}UKxRX9By=#6pR0wsTHzZU`lbKZDsL2kn|2Tt!Z$$Em` z9|psy7X>W*bp)Pl=iwl-vwkJ-)``;|We+)0)*R~ft8AJ@#oz^2^J=H_ls?3 z#*s-14}bA9>lZoo=*a#yR_J^~^+-gwg60k|>IWC@Uet2cCJMT3d117d>KUA7j;e%O z3~z?=Tp6j{vLp*sJpO^^{`4nL^O)Tq9drpoC$BU#Q>$ABa6g9HB{fL z1cQyG6d3!IHK7xdZdG=Zs)72&5;O-Y;X#`N;f?I-+A1but>i^XU*&_g&lGV(3XNbi z#re4*5b`%aUS?|QmGPyx4=f?g2s+jq)(QS=5HKK!bH6kFa*}mjg5B%jd=6l;BxL8G z+nkUvO>M-PJOp1QP8fqdaZJyElAS`C1@`rPBhL@hM}n@Lx#_12za|AF*J1a46_5|4 zYQy<;S8#q`5b29Rl`)H3@F;2;Kj>ZSMmHGBIq%lN#Y~ELeVVtqMP5DKpxb6=Yzw(0 z<^SD7g9As&yo6UkOwSu%e=x(Gbec0Z@-o?4h`WxIfy+4MKU+NG^09#Eav6EJ2`)e+ zv`i+W48rm_1uY2SwhXT#>BiF^Yy4pi7SAm4s2&9r*wPpD=j`uY*s&@)Bl5lF5l-i@^KTI%ASjmw|#xDm$zcI3n(4@I=b8?Sfec$EB zh}2?J9-MKS4D_^Bj2J!HjL^d9lD=d(tzO?bEB|Tt`zG)0Dp+X$1zpey)v3hv6)#_8 z%^lXU9cGQ$VQ6&N=&ptb4$26z*H+XVoK}ctqJVqx<-l9b+#p%(2+PyXUq@;CFTy&b*BEp6pI|te*>I&&!uXBYn&} z9kbucfu(vVchnk9HiY5Aj>-5XFmCn>qX~qaZ(A|o@T=ge!_LnbSzrvT`ZVT-`lXGGV#`^q;@t9OpEeDYn_<(pCJ3Y57#|a;Ry0$Z88pm}n4w+b4 z=wOzhJu4uk=1OIR2(|3n1q$KRMT2*W;4ZI%pjKh1NfD}Wxwm^#Plyh(4e7w|0b*&4 zqu!ll3ckbe`(jdgkkD4BJba4-hd~7K+_7?{e(0o&A2ypPLgTj<$Rg+8Dc~n`cbUWe zsUb!IHp~D@6>6kNK8nmhx5^J_5VP`avN0|_3>(jXwd}FpKP}sV^-s$x(-2g$2Sp-4 z8YaWHYah&WZ5bo!QisejNFzDKv$5?G?+$m%NuU_S0FqW9Q=jB$=^~MW`Lp-u3#pfv z>S#I^3I0MPw#dTd>g-4poK(Uj#6N90ul#Qen=5XKwO|Gz?oEYv6Y~YDHp{B%%l7JY zB}3LlFqkiMN=Hm}XuE5-wz;XZw$1IYRoUO)&fKSBN*qsR3HwdMgfKV~__?L7$S9xr zx>-vZjM?pW9n9sGgnPc=>mbPuRh_#guX6Bjrzu?Z?%G!2`C|j){TkX;o;F)^$Iv<^ zZzo?&{4RR?bhQ5L4H3g-O;xS{g90#eN(OmF!8^06%341{M{<`sS-3_OE;P?RsO7zv zZ{I7t#7eNPD&iZjNQ%@};yR%5ruoVjPtZLEh-PwX?rOs9YVWv^xBIDx^_-w>W<)4G#kstNGx(D5sP*cXn#ynYA_gBYcZq-fU{-=ULgL$*sHJtYO%h&B%JD zgCe+Z@(d2XZ|bNvZ@9z#&{#Cvn(M#u0-uTrce3dZLWooUaLB6S=FpdJRV*vWYvJZ# zrRv?#AQ%2_%23v{^upzGwRhu~*3Cp@A*1$k2$bQ>$+Cdr%n8dGf!*@$n)0ue(sS zXZsY4I(tIQU7>E##mjEVco%10C`bdGDerQ5{1k$2kg;f{6839T8Fz`1^(QOd5JzU9+JDbL zmLlaZ3+g#nhAXNM3Pc=W>OD*wkH&5k9NO&K1bQnID`O*66IuCssR z7p<~$iG*jN#0&fVV|~}!RqcA&?0se7$rlZRZRjo&@B@}=s$%ZR>Cgw_qSMWiwmDUf z7j1o9R_(|z~V$4>;1+#AI;F{AY_my{V;3mKE-uS0b zjPqrpvOQM#kL}DcpZP5G6O&}QA|he9jU$FRshh(-m@<0QLRau+C!P~KK_xKdB7o=J z#!t;I>x$pz&cF)&KvX(VEtGdp2nw$aJZbHh?eH4UdpkpOqCtiMhQN!x&Yb&4AkRi9 z8w^9GwWz88dVvICebiQK>A1(UB3>FSG<;-ANrLb`O!9CSBwtuX{T8p+c-=q8J1 zcD$)4xdQ~#73)d0KP~z^^mY;gL8xP0jM%-b=uj96PwBx@|hg4N{`d=JsmY#<^cZiKj4D>@EVTbh3Nv6+~N+9<`p8vUsKKqcNlIfQ*n27TbKQOiF2IJ z>PUky-jLl!5Gq{4-76w@Xig9rJ0MeUmG?ibN;@Noyt4)i-2j2Ldy+Bj>89yy$cm2X zaBgk5W->vg)bpn_LC+Fy7o%k|FlJkdX6ZW<^Mv5^zoWkEVn6!Sf2|It3+e~J0JJ&{ z>UFb7hHPm>$%UfU%}dI1=m+rtb+DITKX`B;i;wrj0h&tCL<|b>>{f^#OIyMI(kHT! z*f80Fp7Jp#K&B^JTZOBG(duXq0z!`@q)`3M1lY2pF_M5MW=(>=_cZym+r!DPVo>jN z6qn#RJSG~|7>VPf zLZP8pX8}*qY@y~iTpT3YO7dcnhkLnF2dmg)P`}Ff^>yaxh+#yW`$r&lYONnLv{dYD!6~ zzV`)gAZpwI87e=WZ-s5e$s41;kdQ>c9RFy^$zPFj>eioqTcxU}0QD=4@B^l_7V5%N z=eh{9>n0a!|H&7Z@1jNhq{opVvdB$rcGp;+X}J@~jgCD>E z!)033YpBUPE7IJ7g#e5x==Tg#SOV)5vY)C(C9lm5rP;Dj)L<1$6*|%A=c2hH#UT8L z)B-b>J=IB6@3}kQZiR#BrS4^&W#9u|wJ3((S={x@?JpMHOi%|(=QmZUh8r#d!L;vfE;Rl5L=@0Q-q?U>AIY~}1i*zFChyxLCa)ktpxpr5 z*LVw}DaWFLY4Snrt{;j`!}k^a!o^`@obgEmJ&K4eu~5=8=R;fha(P%MhLYftu%1ol zu~p}MGl{Yk873^>&#>^CoTJX1V|i*E`;NM=jlnnm>aD&+aq(%c#Uyi0$II;k>ZcBctk=9M9nW6;nP^P@e%|p z3hSh7!rzQVnkQELaBfY!lUl(PIQBC#MYlgQu*Kgxzsh%~P>YGyiR$*hnr?YfPpoXh zCO{jza=ME|Nrpb-N{9{w600pOn|ARGQOb%RhP-U zs%n87dZ4{2h(s|b`mjCMW+oT^xj zM40RE4x?(o8Hr~a|4%R}^kxUKjTE}AAdyKyrGI}}Sg;{Fdv>*iQvG#QXV1G{7smDo zumAWK8}5$_Y27w)?ew!NV~kT`RY6y%uOV2Y^qf@ItL!hNC96hB>!X(S)n{~FPYa_1 z+X#4xYtC~gw3*%=JFJ&Fh{OotD9wyL<)&8`8P5E~;@jMUgd1Svn@^R|{bleOs4P6g z^GlLqXKiQ-LqFsMhz!$PD<|iU;~Nb<^3gvK%F7RFk|BEXj)LREza3J)$djDxp$R!@ zk+VZM9J$vYdt4C9#W4qFZ#lBt@KjS*LZ#E(}m|B*LA!_t>oI2E7VH zZV3;n=werI|YR*UfV<+i;UMJPjvIF*XQY3DndTGN4x84wF08{b@md>fWR zivOqeaR_;UtUw17Yh(}znMK~r-on)q$j!RiAX;WJT@1`0SZdh9?$qVPN}xLKuRiXtz>FpE#UV01SdJ3MphP|Ex{Z(0$7U{b#j*!EeHX^L=C9(Vk^QY zWPSWRXd|tw)@5M4sm{{p%M_}kRo+IcgVRNvh$6-#B*Xr*$R4<=gqIdQ;@DaZN_9A- zOxpxU`SN`YSZ95Ituh%Syt#+5SvsiQPQo7Lpa&(R%>;8s@ddaD72+?# zQtifv4}Xt6+wc8K<&w#TNihby!KSCzTW{Ucrhf!ThV8w$CB-dP>;)+i!yy`Sd|Ngj z@zmExkIIL;qhe6TYz#mSJ7v*lk~za*qm2ul8~b*_E=!TZ{OpFpPEMM{Hi z{vi4_(@yF6Qu&EUk@)g+&Tj^~-P0w;elp%+*&rKM)u)!D%T}1Aj&keG_PB4br?#qK zLbf^tORJ}19jYuXcqCDXt+mK{+Yv}lI7oDH`C~M7P3y5I^FW3Bi`3xKYN1ZdhV?t} zWfjfKK5fX2Oc2R_AemnWz35J%jUD0V70jnzE&bcPnZ(>8fx$cW==aL3;?N#jMr%+0pm*Khm zaX)`cxouCrcxAq#dp)|p=q*UW+&7g^)ZwMudYZia%PF-XF(j5cX((9?XqdDCOYX6% z*m%u!$#eE#8Ha3U|J}va+05APKj=RUGBqoREY~Bz8FhX-D@7~}w-&sDB zLi7HE_{}h37!&|5)@Iz&EoJ~0d-L7mCCR_$-J3;HXzuh-EojR2B~<7JS!mvWDJrxy zGk}}5eI^u|*AT$Xp8gL2+v$&>|FS}J{!bx>2k@XwXNUrzwvTWFzNNToD@13yXfw-LvP5hlGV8_(UT3 zw1Z06+=Rw4w~R=|lFG6fz@l(BmZa4|>cnCKT9jIOLhZGZCLB!^J8|30d~+hfjJ zb5N8Tx`JpyLj)VWyOR8h*fggG8>#k`?nhTZr zv^CV0#>1M*_6Mx=YUgi$zuLI=iwEdmC-^1c_9&=g2vqL99`r;SJYmqrgz}wZOsUCd ze^OsZR-}hXIEfi}%x+CR<#AklSjl!Kb(Pp^TA1HEfZk;%6vmEeJtRw!&|tE0*nn*| z+@)IBR268NFb1z-O3Nk$*%jUrJFbJ@{fHULnZ=@BUS$U(9P8y@YJ%CI7+F|h!eWNO zF&9p;=bVgV4SVXsSl5dyR+<9{S;HQ|1`7FbqH$A2_{wi((D7IGyoEfly^m@OWpJr4 z<$(H2fqRH<&78T%q>^E?oam|Yn41MyJFO_C(11*PGxZ73?+Ij{iXL4nsfp`Fz}EQo z-V5IJz@%yLcb{?KQ=??bzmU<6M)s2*xQrC8skQYAixI6NZt)3BO_=&}0!xl8lt2fF zFyFWW+z`6&6yeKoSbaP8163EMmr9noTQeFszW`EdvD}=E##^ zg>o^`Oc|pzb}PzyWMRfC4ClJ zg`^BJ*@a4D##~@TI0A6#MOF#y*fWNUFA;uf=}>6T=DW5R`hLK~it^~6$0;YNC7p^C zp$(DZs_T|+{*s?X6MKNX`_mj%EEX zv&ed=y7x@rsIed{&pXZZ-VxcwIrrp}6#HqbvNE>HVB5{)A-BRr51W6QVI-N|uwq03 z2clAWgC27wG+}u7a#pCMHwAlnhW$Hpd=5G;&6)ml%GX48N#uvX8D&1Wcu|FrF({w% z0E9Z(H4-+}y9~NDu>*RriVGprvBFQ{Y~XJ(<0`kQXoN6mio{*yE5 zR_imtWyv6B)10Fim9TOj;75wL#D?Br3>EJ9qrN`IS?Qd*IL#5xb&I>i6o( zH^lG!sF`wT24k)=3#j^v`@>LnjgLm(MN;N_Maofd(}GOFevCY7F@_T&!8>DFMQP`l z)5`a?wu+>L@j%icZ%9Ap&9oiIZN{lhFvQxaxLW$G)4SD~z9rZNp*i>$D}A6S?}$z& zGD+-(hI)uJYT)NIV7QsLT7*In3#&?CZQ*K0mDx`d)!`C3vv4nIg!V!n6e0k}T+OKI zCc|Z`U%?QVn!c0Bn0*k=GcKvZBQCElmQ#^m)vSLez&iduv~~p_gu|_V^0d-4pQ@IvTZckq|x@T>lZ>O>U$c+g}8|sU-&8PM|v)HR4)1W_DG-ix= z9)Yyh)_<{n7F4$Ch)E+@Wm0;HmF;QmF%bO4mvq1eH%!Yefhf~Tn>Q9k;kzoaV%MNj z+{z++{{5EEyt-;AOhL-wZwG;evylsMp>@l9UbH&(?8X-7BeGoFnZFD|)uu%6^Q?tu zsbkqw{=-M3K0Jn8SEAMG3e0#!)pR*BVCM8Z5pHdf8q!OT#6!N*r`((Y^I!f}IS|}{ z8CdWj88!wKn?OgB|%;7LhGEA=#M7t5<_6uBm&ep5w)?jAg`Bp=en>z~&0^;aGKskoWLKMS~X z0CC|MI==dqiD_xV4k9AMU@-zw4EBCBF?La54rD$b-}LF6oHzFrYdQ3@zxep2HG<)p zhU(GIi#j;v$LiYTW!joze~xT$W3*)J(PbH4fRY66B3~7H6IhN5K}q>XjUe)GhUmwU z-6^X^RglPT^6~mRJvp29$QAH=Z*yOlxNdl>toXzC+}OpZ5|_Ik{``r_G-hKQ14Gg) zyPMum1`A&bV<#+YuO|a5wK7eWPr>rQ=?j9>1! zjtoQNq%1J~#Mj48CZ}%!DO~|F-K6A7Kee2hMzvzQ(^mfovt+b_ihNU733$}_UMx@t zp8L$%>(CCCY2o=iKOUENd^ly|qYKsOA0vJlUSbXPt-&l=pEs*4ulxOYI|VyP7tGGT z?0Dylz%Y*Lnzmo069;;Gpy<{d`f+*j4)i4}?QP8Cd0u(5_mV4_7ekhBi%L(W+)kzk zc8X6o`$(_shkhjc#h1}WA>g+x&G+Xnw&kp9a#i0r=hfr6)oHp)Ur&_Z{n!c*__^Q> zF!rOJ?K8;d(Q=kZj1?73!~}QTNxjDwZZ3d}H(Wcq?tNc~E^hSm%lDB7o)O|b=s%ht zz-@D6czLI+)iLWE{MxTlsTbn|1IbTkw?l9K;TIvuB+q@MXTJ=VtwT~a8*_QI)~X)8 zIu)3~v`=GK2##gFX%0tSCLxCqxRl1fNGM!!jH{KPP%zb>Cl4y6Q7{hx3}O}UYXOHEX)oLYK-Q+O!lkCTP_vlfefJ2_oWBzQngdb2rX zB~H=jdJV2M8l1g6tIpb<|IRPYGKl8}{DwLiyfSChO_Dn`Q~oD(cVn(Q_U|t|o6sLO ztWR7n#pzRrCsSHrd;ZVehl~!j^3(dqa4yN*7QN0~I>vcgnWtN$0uD1i$LRAXR}YLg zX+yEP8(a1>o!hnbj&1Euk9ekT2)SAtzwlOaWz@d-jM6wX^WE52cMbO7*wm4onvdsI z?-kwcKUI=UF4_rd9i4~dPx^VK--zbfTdbwgxr(WV3%!(peGDG>^_D960^%&i=EhSu?g6d5ZaB9r1zgb-Ovs;Q#6s>_Cce*FKMwbNBjIdV-;e zCQKw7pNivXfoL%C$F|?KibdoD1KX3w;Quv`Jgonhc~tjGU&{dCfO*&qkXh8Myv=|- zY{)EHKs`1f2k<{@styjWKyKcDM^uqnzS^5R0J-`8TSx%)K)j-S5@H;zVr&u|65PC8 zlAL^;65^bE9DMAo98z3j5<vQOMnF-_7;^;T0*|Q@Qk|Y2 zed59m)&rVJ95^GS1z49FtA6-EI-kx9I_ou5xg?hXV zk|5=)cz-qSJIgd~dOmHuZeK`k&8MNvY5Kgvl;V*Lr+>==P$2VgvLe&aNGeGo|1T(i B3KjqW delta 10015 zcmai(Ra6{Gu&!b7!QI^*f(;UayA#~q-F0xcAi>?;-Q6L$dw{^8L4)P)z0Y|$PxtMw z>iWCZs(z_&b#EsysukFPj|2na=1&n_WdN_}%BO7cV)f0}|M*s=&9Mu0^n1{AbOQvb z+IjeTNjVuT?qW#*;iRNZv;x2L{@8abSkrFvV#h)X5$S)0z#ADE3W2AWkcw$a8ME~b zl~M8uvapyA9EJa|{yFv)zz(5(Qg=)S)bnkOf9%xu?@yWrgi=EwXXNSEdHrcc{a{zy z=x`0jx>xj^AqQ{_ZA|HG++Jl-qX*3a2L@dL8kadZf=++JaxA}*2ezH;bLoz!3+1vGR~UdvAJk#7#S~hd3KYY zFc5z7zJ^IGfl8``(`3ZmF}krW^UY2Ip7B5z)!g~$;TyZz{je{zoePe+ zut(A`ou3o0%Y6{j=T}3{4S?^CkxRBQ?exA#_G@`Do3SBG3*ZzS`r5o{4yH?^QCKfb zH0%l*SN~>=<3Ers_}o0%rO!XV*TI>&ji-^Jy9#RRoGrunRIGLy^DE(19j7nOwJhjo zaGxMmPz0cU5ZbERqjd)F7~F&!mkz-do?NT;O?lYpG}M}yE&C?YXSmB6qlo#u05gvd zpVRRWncwVSkiKyq@W-dQ7F;%^ic#oGS3?_TyRU{ptM1P~UG0IoEU%bi-{_3b@`qak zc-1E9-9UXwK;>gMqbge}k+}-U8#EozY0EmQvWV}lT_x_xz*kx+cwXtTE;$;@-QMoU zPw;Clbt3mc`K5kA;lm1JF3>Eb7>JY|oGgT-q3M)2y2=+q;4x9g4c<(R?s63Xp4uQ% zm2p);Z_O2jJaLpyxmQfht@o75PDy<~k?JY!jGcMEEkUE2pWdrX@|oGrkc}?$w0Cq` zt@b%rH>d_ftmebC~(YZR=i;%UeulIpI0m=m@Z6GdOH==DB zIy8N{$mZ#ORG_3%72qy&gPlx8S6g~_$n3s!!t7ZwE^p-$0MEOSUwt>U?!mM_zT)}< zmG_LuRS#sh_nvn{r}k(l>FJ5!BRAc4b&Ov9&6o+wi{i)p8YoI744VpURs6N7S#}hRNvjOCmw&XJ+gI@yvz6tL$E6( z+3uIr@(eg8i!8Cqx%(N(Aike2MINncHbt~T1J&mv0RDNJk@Yh*{zxPOS^%zsAFot6 z==~aV@s;7=j+Cy;!(b$8Rpol}9=YT}=2Z+u|CM%g_tPs0D(eu!OLK6)A*q#a!-Y8Y zNPAaw(WouSyZ^6Y41Ix{DXH-TC=Mi{pg(i4 zDCY&VXyB7M2E~s@XN@#A6>%0nK}AZwpTvAl55_7^U`ochLCn@ z#Pf|ZT@O?ei~Jcn*HCrBrzBO2NVd?4~<9w>MN~$3Rsy{8BnirTgh^DOB4nJyF-min7~6T6~r>c$rwpB z?+0E%h|&o8t!caf&D8;Il%ltS<2vEh>T)ymMT%_AJN>|@yRl!K*(ZXwtDTfDCNN4b z0uUTLckSHXkR*LPD82nzsmAsKdLT%;e+_-E%@-cGhZ@vTy;oH=0TagrLq5n7V)G>i z`r zB8o%v+4?bMV-fPIx0^w2x_6pnbkI$ju8(UWaInV?rlmoBs|+{-1=a0~-b!F`UvL$B zj1$DbXl3wnDgaz%Sg2fwC^>KVaIA(CL1Y!m=f2!m5JGJ&sN#ebS~Jg!@LrX8u7eA~ zagpJvGF()L*SBMhBn3Ug6n0v}T2fi5t{u31wbuFLlXNka*jsj_2|R`sA+5mOShqB1<7ZLz0uiGz$J70A}8CdFF@YIb*|Hg5s*LbrBZxR_Dt|)9@f3DcM5rG9` zHJ0G34vnbokKX*8KVcC;uppHP1rXJ)ZJJtXC{8FEKO77RY$X`58wWu)v)(OTt#igp zstJDup+nCFJKHNEj-ULc)(3ySB5kB6ExASs?Anv~doUCE%OyYQ@fPz%A(s06P{``c z^jfD2A_e6|-Q(#){DllY)~c2f>O<_}82IUlE75@hb)lv;3UbNh{+DBYP&r+R?4aGA5mLsoNefv?Eu4L+bPLZ*v2$B z{wM)(eyLTs3V`C0j>auKDc>Y7j4W1=&mhUYU2CviAUWtTe){2#-$gx$UpU?{C=GUm zltK3U#I1>KZZ{LfI0xgLSY@jFrLA$SP~#Eiam{O*yO}#0q|1ThW{oL{_(XjLAJmn& z*lV%lNW%B}Z|**~YvAx^8UYjR3iLwr;7fIR*eC`g!?#C-+?j)eZls{wWu>e4W!fke zrt~xX6mHjJoJdSlEm@z^qQ5J4gMdT>3sA*dKU7`_u*IA6^Ka`r0#pL@y^d9# z%u1+sG#sR9a?p3p$%|ywed>NOBCy@9i%p5^3nV3Ce5Q6k{07F340=uWtQ8OkS+GJ2 zu<^65guS9ecPE`CHJH4jN(Cjy3s!(a2V3j{;6i|SzF79w-ol_Gh?c~AjiFwXV@nDX zY@>hK&P)`S7Tmm7>*Vcy^@J6Ca3+u8K2z4*9*9!)Uwzy(87f#qdorlsfg#4H?I0rs zTsjRPkGBNqMi2zZSa#3L)MaC@J>oouX$lrIepB-|sprYH8v^~6t9_*R_v|aan?v{7 zeVE(<-lBHnD&vht8_CVnn2V__D~P&`FB*y2sg9VJQ3$TA}Jh1c1(zG0OoTdVVfgpFlu@UUcLU>RyZ0=lf=DWK30on?E~IxnyW zjLW*qUm@e%fgPPMCsvl0+*EX*+&$g+)a}ct#HpaQsyCeOz(#h$%Juj;&3|55=5O(H z(>DaBQye}94J;viK3!lXzBPq;X1=yA<(+25mrs>VUTX@o@3}qRofFM#Akb{{>!B}n z|4n^XeI2;p=VNw0q+QnZ6I~oc=O@FN6TM)Q3*FH4G87jd1`7Hw z3fnZtshS~Zvg50^(Jnsj=A@@9frQgZUinR^C^fu^i4;o{0~i|@J=z;v>)~*kMq`85 zzp1Zt(oY8dKLhe@HNi*)MU?w27`U`gO@21A+6am&7~$Z}X7V1s;oTupE+OFfK{z@` zrnHNfNjHywk*se45k7l)Nobh6`<2tMCR`D|f=4aWMoo_GUb(d)WhWAFcRWZRWZl}C z^!K~^`xAZm6Imgt_ur)rIa*~^rawNZRgpMq@FX9cm~jN|GO)d8DzHVYA<*Q59r2CE z8SsYY>a31hWtPvWE`5mZ;f=RE`CJH@lo!TBfl&uV85U4{JkH z^-B$WrfYrOA|G#%GT%POfkh;25Kb1RWoq;LIx9HF|LN_N$uGUuGkTu+`{?GZ=Kj|V z6^2vg+l8{4o=DbVO{6WtrE%*eR~c*g#X@n9^Y9BbEHr0lxrqiR~d?S zl;Z8dyc~iRZU+1;eXQAM9Pzdt)YNbJn zN#kHM2H;0Qbg)@CXg^Sd#s2T<=!r$w1G>w8ul#K6r;9_>j_2N$cY=~U%tE3>XkI5u zai0kh?DlY2?H>{A!5S!8+Ql{|m@e8S8|hPS%}R!AE?zaCuPDq|Ib6InbuxQyWxm@( z`{#iMU8Arv@kj}nn}fY0MQ`fHB}5gmMfbq;r3fQK2M4v(13L=ay%x~R-mb*lu)25l zncF81>&I;j@=pNoq8lYq-hq2nN+PUkOW0cxG{)#~K1r%0@qS`R$M%$7;xVq=QkCXG zo;M8wI8uprx|vB{9=WhXr=n(g-Jw-o&9yhG*!tt5;d`pp&4*oeOP`_nS`c(~-7{F& z+~&%OUlwmAK>GU=2okyFa3Z}!J6*NzYctu0knpv5jQ|4wbChABY{9;N0@%r#zSZ(O z*`<2<@M{(UR1#bdvg2~^q|hCBPV+fI)lg$LxQYlB{;Oq&)H$0T^_`G`CU4gO?}uk6~B3QZ84(r zno=m-)&YfJhTvevK54tf_EQg(f0BF&vo0H<43uj@al-XpOOA1>ZH}~Ue=rlw-fq=G z+l>s2m^$>yloi3`S$G{GQH3K^-tPZYoAWiMJE?4(6G~4UgJIeO1-ek301=F+Hw4j$ zF+q6JQ7Kj!#E@;ska$^)-lvcG1`q6vpUCrOmA23?ML(+=bG4(`v3;(BLun8-mS^XK z2+W}dwc<4L~o=#i9c!w^f@KW zU}l2E>7?8!zWdeNYFwU|XM?NTwSIXQ5r*q;B_WoD!G<~$wCfwaKl*X&4Gy0+M?rne z?`{>^Y0HiLiut_}TMgEKH%|2Q_36$>7Q(Q|4y7Pi68~a!x$P>&2^eiWS?NiXk zft^0L@AZh93Rmh-&%JVu35`gRPf#Q=jg1ayF)jFi)SS6`SeNL^&iO4SnEo8`ayFRK zYq3eG&9C}vAP%ON!yVk?-YnQ8f)39b!v1smr2 z%fLfCdM$H5b&$^7m791=5qSMw;0GvG;Y>*m>*Yz;7;hg;bH>*PCn;*Zo}Z`XS%M1S5MP!*(D8Y zO(=WOFdk9Vzh@j!@;24-`(G)(6rDmlf5s2<(p|uWDoer8R&al_#R60-#|+rQ276?e zQNkwl3&AEROB#dq+~W?9qT#tnS|W@ju(LbqYz}P-2fl>HOmL$+`1TV5Jc>i9O`f$S zB(7px&|%yrvA4Hlp;iXEYoq+x?sVX+W1>fx2665<)n`s;px`yR#{rBo1!i1F4SH`O zb6WBFqE^gx$Iutz~ zg?>u`eM57Sphk6p&x(F%0utygR&jHfmzs|v?PkH;5|lNF*rd9~_8v;!|F<8o%`4j{BXNhFb|;qG5ZXSsEG8`GB$JL{VVU>>nK@vX>i)u&5i)VNs9k z#=NCnuxhrDlhjLIU~gam9S_ErP?h4eAbFH;36A&;Oca4I(`w^l(gVD8W4g(LU1X@? z1&w_<^bVzsRl=Tz6*BWqSIterfb9@&irnIc3e{z3=)kzeF(#stA_J z2)L0T3$xWJ`yH)ftsr?)ykSqHrFlo%!f0R@k9^y5SQArD zv>LUkrX(FuVYU=fxYyVoye(;L1@o3j1>hX}wk#QP+NP*D+!>o6D@G=fMjww#3Pot= zk$863@9tvVU`eG6nuJ|SQJDFwxqjGU0!G{2$M<@m9KP`Jf6BB2xuC}eQxKh4K-yIr3}%voU4zwH)} zTa$tN9)=vbcn5tO1r@S)*Wjo}J$P6#G*dQ6Wzfh{fXZ>l>~lkem2S*JTKFjQV0Nu1 zYy7cL@(K)|&t$9Rqr+Xd9o}-n9G^W=2sz2RSV5L}o;1A5i;uUNkQSJ`e&)7HhztPV zy5oFklq-KAz5796gO@cm$D?XM(T;maR-^_iF4Hyp7Xw{?T_VBjC2&X+GZJ|-j`Dnw z@R3MN#6=T#K{-4ZT~5C!ih;}n9QW>#Lx0YA8hvZrJ~Uos**ux?@{kM5MqmarY6PcK zEOgray%2rnC%(@_h3U|fLn?y@wyol+#5j{S)2zR`xF%ni8S>>~0Pc{#pA)3{n^CfX zj^*UZ+66Rxmy&W%zGHh^XIgvTrpvFnn_}9nQTwRX-T51${tx71JNs=QwuPg)o4c!p zi39K-rotzK=KNPSiC!^6bN!=mn_=xX3;AR8x{OiR|XFY*N zZHs~?Fa+@YdjWR)KM8ow|2qHAVf$BnfEVTe+||AZ0_dx!PlEs`>C$lk30O`Z9^UlC zH~{(osHQkT6%jWG$S!5$>gG~`aO0od9_w^9}H<&B@HbL3(Z{}MZMBA zRk#9%?3{mz zg)qUPk1-VUWQ3G1&>bw88prMck{{v6hn%2@e=N!#nLmSP*F}j%U@*R-{Nx$n;I+dI zHqD9E^SXBQVDHyQ(|EFX7T7-b9LHZe7`>O{Uq2evd@}Xs>B}QQtv4pg0}+rV!V4bF zpXZKAjOeH}Ubi;{ganKP{|J0fW4sQ|>hja_@Z*Rn$0Z^nQHdxy6bO4*v|km)_dukb ziJ&<~$y5LfXFru-5T;me$Hh~}uei{7ED|6<@)XCUBZn(}5el!bE3b}k?!NZs=l+p$ z(C#ftcr$qE(AoBIWu4nw6EE(UQb(Tb*Vx28(!0YhaVXWL_hELJFNy|OY@D}GzoIdk z3sRC{8#h7!cx@on;DG0l>WybuJ=SqqAT?2G|) zV!}EC^)uW(=4D|$v$9kG4ZN^m5mBtM%Z}0e2v{6#mn;o@p%Xn@<|G`k%H}`fcz0WY zk11earMmG%!XsxKoA`S*M>C^lVI!mH%u9-i8CNLdjZvKW>Xyme%n`HkXno76P)6~< zg$!DWsc*%1p#Rs*Poja2ev3VYBI@G4Hn1>{Qc*@hdT@#;s*HKhQ67X+g`sVk$}m%o&0b>+>?Sx9 zlH}GZr$e{~yTs6nN>+FzQ8u>dhA#eFH>apnX>Dr7Zerr#|Xu4{?E)r6z08b;t6g2S^pTp71bb+TJed6s@ zdNmOsagg@WgSXEA%7L5}UNBuO1qW8B(JdzATRqyyQ@jk3;*tDih8%HZ`V+W>9m-w3 zl47m!QC69ElqE(*ulDu6QqzxNN!4n<>G-DD6Bb&^1%`+L1Cd+LMQxcRtj3m%9s+v! zquthj%b81nRJ1!aR3RPnPK?1`yOK)Hp z)mPrSF0%3qmSc!#nux`+sn-<>1BI~F-_aP{Vbz#WKNI{YpS7a$aPMfRoOgkySM(8J zUMv~%NEQlz6>;Lv9WtGWzCrmVD9zL%pzcH?!>^K~f-GA+Gi%~b!WZsp9|0MiTF&@- zf)1d@YCp3P9s9&iUsoNh!~`ypJ@w&j+b;B7tW`<+Q-ztAxH;!x5OOdU^Thica&#~p zB4HDmdi65vYpnnH z(NfLWK%=<2gflB^{@eZA;XMI?@+M?vA&d2u(4u^ZFrFJwpY}CwWt|xpfUkR-69Mxm z(N|0{D_Az+u`NB9nyGY-y%9BcT~aE}jZD^LS-3vSxa3Dr^lfyBM9XrL_$RBd8kZ`v zn5mvzCP%OkfGmix>lmyOC)j1%$^knUixNQjg)zJ*uFB8+b=iMpQE*HF*HXTZMdcCL z7AI@3A>N9WuXB*vcyilD@m5`@r|aJxSKF$*|y# zhwD3){p=+P{$8Vs;#d2_B&+dw>sJmxBAIxq2^Sbc=INyGAK+lQs~s|L&01)u{$$X- zNq}>?KQmxju!>q`#-YTcc`!0|Xaj94hbdE<( ztrAEheI;IZxfW{dN%4*XBBkTocdJ`-!+*fFhWwX7@!4` zSLtkyAz8nq$576A^x{QK-jhZYa}MEw(Ng z*ti(yaNxhT|JCEhe}9{uYvTvu`7XSXbH$z(qPWTnF?LW6^=^zra2C;{vaGt2Y1@doG5wpL*HoTG4fUm99zO zO4nZQGzP&ZomeN`>SelPet7QQJCbva(XSR{?5h$0LN5Qk9?eqxf~QC=>6C?IccE|i zMal@L+CCpIvxCF<{TF0H&pXyEIjBnYsrYfEf&ISYz8>S>W!SZUf$^|3zBJlKfwmAdKa?RIlPYv6* zKK}v-Lh{__yYP2Ro(cue6UI(YL$5jnuh|N#Ze6_i&xO5=bSrx|B+kElH2XEQ|HBx> z;Zlz{nXHI^2{PTZneSx1c2h*dhTVei|r+%oy&)9|Yhk(j=!08ge z?5LKf{Xf<3YZzyv0{Qp8Cn;V2i86QI@fP4(k;r0o@4W(I&tc`YP%cC-cx54S62&q6 zoep9nl|cz4l4tanAnngSyi)>x^PV5iml(fE`V6uYW4ngW)(Or%hsCI(o*b0qef$lS$P~c8 zuAgBP1iOM(*yxX@Z_NdWj8Nuu`G=)^PF9xQ{Sv(b`M0-3cNk6LOL!{<=YD|k^|tv9 z=Dh<{V?UUV!ZlT{^+dh8d#_BMIs}8n)onjV=;eEo_v;6e7`jtG+Pj|1B8*?wb@xwr z`2BWD%{IKa6yEir`R&&~x7Z;T^~MSQLCW-I|A&0mf@8V{!5<$FaG*j;O8BalrQIx8yCu|>PDXRU3?ly(nnk+ zjXL3y2}d&?i@E!Ih<`tbJn4@hNc@vSiXU6=ItIt4uq!)xu%+hUb76zTa&ZYT0rd#I~wD zg`Jc5^d!dSm}++Y{^9-ifgA&TbNum=#2jd;sz?qjaZ0PNq-&S)R!@FMl>M7?x;E_- z@xGn%7IE>ie`xJ5)CC%Cl%l5>AHfZv{5?0K2LO7hAQ>-Yl+eE8vvu^Bw z@+SX|VDm#eGZhr1-lPf*9(;-2BFv;7G54Lk20G#k)b9b&*Q)SEB8tLeyRha9qf z1l`qmM#!J)xX5C!ozcJj8;ZT(jo?Z@_~ZsIqJ!pb^PAlBba1Z~J$HP5{~PNyy6547 z6Ko978jW1YUg+*)gn_;AUN|{>QsWiBe;bs2Q&wdC!kX5%1HGAYd-ff}S{Uj5OJwEy zf3Wy}v5}WA{V@wb0p#ukq992wDKQWq9|*+7!^a^^@&7ORrwj7` z;vOeIFU5bjM>@l=25`X{Ik@V-K%1FhisfLT5+p2Ky8-?r8O)MkAAp;Xndks$nA2(M zn47~o!_)*$YV|*bzz2210Du@bg;`OJ1To)!MFnTXXx-9n7P0%f@2L}KL?awTwKN;) zk3=0#&DF_7mB>W5Ohidz0+r1rm7b|El&O@%^tPDoF|PYHB~AZWX;2l#YGkhetYsRR zpFPj)$g8O;X>YFjMxL+f@kv0JXTojhJiHD^m*))6uljq&QUIz*yYN0a!wnJbzhwS@ dhwbKW;_B}0YGDcF