From ab11ba6f478f5bb1b6c91335052809757043af67 Mon Sep 17 00:00:00 2001
From: Tung Anh Vu <tung@iuuk.mff.cuni.cz>
Date: Thu, 26 Sep 2024 12:40:52 +0200
Subject: [PATCH] Update for 2024

---
 logos/logo_csi.png | Bin 0 -> 26207 bytes
 main.tex           |  10 ++++------
 2 files changed, 4 insertions(+), 6 deletions(-)
 create mode 100644 logos/logo_csi.png

diff --git a/logos/logo_csi.png b/logos/logo_csi.png
new file mode 100644
index 0000000000000000000000000000000000000000..0aafb4d52aba36492881d1537a574dd438fbcec3
GIT binary patch
literal 26207
zcmeAS@N?(olHy`uVBq!ia0y~yV4KIl!05xl#=yXEY2*173=9lxN#5=*4F5rJ!QSPQ
z85kHi3p^r=85s1GL71^(seKs(0|R@Br>`sf6DAoxF%jKMESDJ=6c{{R978H@y}9e#
zqwE>?{p0-A*}Kvc%F6a~$5c#pU(ot=gY`USr<e(MW?e2Wk(XSU7UR^xo%CeVjv|fX
zCt-GF-E6nazif!okgs_6_VOxs>jmH9W^k{$6?G)b<Zn<NpJd?FsdMwUDH|&*@0UOM
zYWk`oOXbIZ<ppmBKdAfjSU&%L?f2Nf59R+YyjS}@_U^7y?@3>Nea+6@9?j@5FK)fM
zXVvew+f_aPf6M=WO*xbS0u=5RhU;y){yKK=oBfOneC|5VWrRpDJY|uu`1R?ue(CRT
zxqm;j+h6(kabsU!pNgk`{Jxaq!VOMl55C;1em_wHsy^Vs4sY?<cRsp2;5?vL3JOn<
zghKp>#^rCzsznp3etufI@B7~OnY-`4`d<J4`&aM%U%adS{@S|l&nIusUAK5y7u<e#
zXXoPR?RhVk+y7np@3H+q=e=?M_y7O<&S?jAl|$p>b+I4J_kHBe-5y>0`}X~7`G1b(
zzj%6j`mg){|HgY>S{uFngdoG0bJp)){P+=J|MR5(m#5R?U%hzYu|9skS|Z3v3=9kl
z9MqZoKgM#s-}if+p1%IqS65e0T{3?HE5nm3vim=*&9BWqk>>$btD*kmK=7xGHSvG1
z#$SE<bm_mp_y7N0|L>9hzen*Wm>4$ch;{ex`+fKQzXv~l%s2wo)F2dbj33HoU{JT(
z-t+%xxA?9-d!C$Q)&RN4>(S4AsC<B!^*kt(f#HG6^D>*SReR0n{bpf^{ObD0A1dWw
zS7rkZ1O|o!oJ=rr28M#B1Hw>63=DG=KCr+!>KsE`i-j5|1B0oAm()!A-y7}CCxvaa
z7oT)ZcjvN=OB#3T9bK21`ERe$^-TuX*%=(Jx^4VcmJnx@8ypyIJ*7nPW!xIw#s3*D
z>}M0GtLA1nxA8G2L%`I=B`cStPnzdpb-8pxn%>KhOJ_>Xus?hKty<mk{m(ml@`JCJ
z<k=lg{yg(7Lw(x1lYDy1I^WBheyH5ezGs<S-LhqM`7^Hz8#mPCT*`a$vevhH>fbes
zZSVg-^!Rt#iPt-yR~Ajbe&F(+nLh8kT`Z+%TS)}&{&{9ef3CCmvRJF$sSnp|+m?Un
zYWtTjJO4khitnyEvU=ZXSLg4BOa7I1RBqz5yJ|Yc^Z)JWU#Am$)MtC8ADcF1>Zx1t
zpoouoJ-e@LPqVH0`p|>td(WPqJG=4J%9kgipY!^5sjkn=W&2vG?eX^Ok$CT7-_^71
zzGoi$KY!{Qj&m~g^FB7t-`%-I<CjiZ>tlmy=5I^$eB@@HeCw5b{d&;1&1<>qzTcYi
zd5Ko}pPQmfy^m)adEL3Z#^_!0ygOg5a_r)&qt3l~F0abA>Eo}I%u~1aH0Q316)-gV
z{y{}qHf^KL#B105uKrQUmHx$FIwktm#J|7w(wEuY*gk*ji41?WXTSV3<>#K6?E7Km
zx`jU5_U~P~-^a>$+mbaG{)Ii<eBSPM-N&Qi;ep%z?S7_I|Nr;*?cd+u?S&YgRQ&kx
z(4Al2?v7p6mlZ2Tdvi@fw*)EglS-Z6_toN?U73MR=-1taU3T4n@9r++QtSL~k^RFi
zS9req>!(&H%Ju$-@$LSjqwK0Jarxfzz6F_+Usk<%wK;bE%blCT^LG18_H>NQJY6fJ
zS%3Az3f0QuH5pF}?s1(+Y`=9UQK#PT`w8LmQm6P8zsc8RUEdYezaxTk?$bpN3mrKA
zz83hrgh})El#}1KZ~roV_TRY+ml-E}pW=F(FUaK2@Xhr>ruw%N4NqKtFMOY=E-_iS
zx0H3>IidaKMF*;Rh3EFDXT9@KzCE!z>;mUZi+_91PqELu^X)+J9_N`?7s_sZ6ICN4
z^CqY)X30r|^o9%Dep{T|F)i@)sheA#?K<t=d}HsO?^VAgON-_<9}W1$AIo9$GoXLU
z%iSS`^JjC}v|icIXXvlBVUzF7ocwC<`kg!POBR8HTISBbPd(}k4c(3(Tl3_qO~On5
z98ffy^iJ#6E1R4Lv(5=OFA0_{>$!X?=DgaqhZ$9+{}#C{KOy@2!ChDOQ!TZ}oWde!
z2IR_w=+9YkOIfVzRNib|rk&Gfe(G<vc<*4j`Fy*@lH9KCo4?3km{zsK=ii5iFFa1M
z=SGLO#HroBaqm*R+T4S-Ul#pU{lLOdV5lLdCY2wau9Yv9HDz-83;n0hD&1Ef`F-O-
zaIp3KE;jq*_Wjv1-lz3uJbw~hZD;dosc*oX6*E0QO}%6P*@t)9Z-I5GVH3oi^wNVb
z*R7GgbGmm)HSd<q3%|+lT6D5%iO>8qdJ2o`@6P=s7-W6dOmX^2vn|`dOqZPAQ2iqJ
zxAy~1hJudby*r~mT`6q8Rd(t1o@GzGDyPqFnwe*panVoDM6f1G<j(4ScYN>MV*j|#
zD#*<2)cw1q>z*<7<;u$FTzS*CbLJt=Ic-I{u9G)BXPn0U+ehr>hS(j2dTLi**q8WE
z{_3$wf9louGq#!JYRYf9oa^)Z!l{(#ThYHx_jn(${jv=l2sf_Jymv=%bKwoc{^)C0
zG-tdxyWsMwCO*ecQEgdyO<Oc#V_D|0J(Jpf%`#4O38(wJx6iILpPw*CC!_d-!Oq{C
zdZ(S5|3d1-+jGA1K1o0Go?6(i$==l_@S8vOYKU!6*>`{G{_l%wE^ONx*pa$v?OWZy
zsmD|w$W>kbCse`2@J2cNXw=l^>#MBUA`i~jTBrHe_IOsBXhNXDiK9z$ulL>D+{HFE
zc;T9zuV#zrYw4ff;#bP8%d9!s^}4{V!s^Mg>uTp0x&3F%UFm*mO~^ZKt|u4vzw`Ua
zu{1Y(@r6?<(x8$H?9){cpSoXrH%CkQed$r=lWQCUMBNXk?tLEeb$yYh*X2gO_?Z?V
zA1@XwYH9J;wr-bRtY!CfuI0;HtBS-fDb%dU3h%mZ7%83fzwy^j%TzfIyS%_?@1F~D
zvv&uaN{NPBq!r6)!^luJwcN$&>iPF8S2Y_1ep~fp6&qXT``bsf4j3^mbY^Qe+i~fr
z=YAt$SLTI2R==jycg^cPwqSLf>s!B!#^q|4C;elt@xI-A%2t0V@A=RrH3hbc97}z+
zZQQ$b|Ct>ucbwnfif8g?Xox)`ziHO8S8RJ$H9j#}9vqa~u71|#E4%V4n^jpM!S^z>
z`&=^C-D&?e^V`P2ufnqmZnN!PHT!kmap$-83w~BDIdgdD@2q!`v!?Lh+P02!sn52x
z=;r%O*=x17&$#HV)~?>i*-|D2zLoD|zi+NT#WL?(>{N?I&U-E&5X+DHI8#dZzameA
zlcCm+?cC+sr-T*1$v^P7z4YzzUJdyzxeGI^XXYeVd)Ln_<lNDIZ|i=Rc?=A@`FgHC
zI1te#*JQK)<*ZdQ4f$Ml!E+fqOFPe<+sAx(V`aYD?+vRHqn=+q&R2R`mq~s@TTO28
z*7WNs9e>$>1oyAG`VPtTV36r0Y8TGI(zHhQk`MFTjddhkLM#(>XL-ypx!|a=>;La3
zGxyziyQJ+?gvQIq$rp-r|2MB(Jn3oK)lUcgF1iG~X#U9kQ@)04<Npgw_r*uQni$z>
zw)KUF^(ppBp(!WLwr&41-7{URvWS0gPCY1^PifuyxQXY(tX*GjuBtc}e0~1=kTllk
zQ72w+`L*ZQuPdJ!odOeVMJk22Nw;oos-GNq-X_qb@cHXiA3?d};<l<MOOAZ^2|c?p
zati+^l|venbF=eb>Q6qWxYYQ&!G>?s4+t|XSQFTA{YmkI%!tnm(w6>F@Tl+qBDMOC
zVckNl%ZABLn)bOhax!O*_L<(lz3jrg$Vt=hpHs07FUh&M!}U8yL9Cmfcg=kN<JEz7
z4l}>JKe5+rE7%LiRPQ+F3sx{OOfd|oINmU2=Q6GG#Zz8}T(Ol5EK#{v(Ela2WX~Ou
zQoWlWS>EWs?^reUlx_SX-&0q_g+2RKbI;EAwV$qZ<R9~&uw}WjC;CAVvB2k7sM_s2
z_m~>WoA_;HWo2K!c=5}qdhflf+zbIx9jgsb^YE;S(cEA7MKV^4OX%&URp;ySr-#Q)
z<+NeEa{Kq`SxcfkcS%3^`fitV(VC3ZZ^EAEMb@61x8h#t(>Ko+$gRBX_SW)V_b10$
zrH->trOdt^&G2E}UtYTpU#>;xzx?+0_I2?brofL0A`A-xX8IN1X5z_>NQ^3fu<}LX
z>}FZJ%P01PPcOH5%KFOhXdws3>VGSuud!Tp3cR3sr1%|wW!hDTiz+vEE>doiTRqQn
zqrh+eE6V@0tLL1P{G0trMPqW~mhB7=Vt-55d{N!G`{cjBtJm+Va-GN6aLFwuIGyb}
zH~Y(L=J&5ZeJ<`hMfT1d?LEo|9>o6@`^0iQB;U_(t?1en`<8EzU-u?!`ICr?OKup4
z{$5a0rXJ95vh<AeuJ){N75bq1Y5JChKHGNgWo3AO>;B^(_I02Rl<LdX>-SAk$=!ZC
zY}v7k7boW3-?uhy{c`z#AKI(l@BO}R-?#h!|K7iqxBb^=`~RPx-v4v<{)?mC;=f+{
z*K2w1Dt#>$$!X!R>D-UG_kYTs+rq+k`N)Bkl^Pk7%qz6GX7wb$zk2m|*)-!0TgB|f
z3;$gI_F8K8ugn=MHjBMFcX8^so1wwSf2J<d$T<Fvt0k!a#^b$m;x+eYu5>@~`-x|O
zT4p}ufyCd{${)VG+x^~a(!ILhZ&&}%PX6%n+S=&w#^vAdRr|;P|8;%+zOv`%WMkvv
zUS-Gsp7rbRzt9P1|H(A`-D(=q8{}kjE$PalE$fRDHfemU{B<gRqlMPbxP{ZE7Vnib
z+0y)0Pu{lUm9L2Jge`9qzh0ixc+TM4a$CMHAs6|UFFkbc?v$rju58x3{j6~bx9f3{
zT{*=TV%=3sJh?w>Rk=OgxrF~^{ABfuKaFla`zFS)C%ZnMW!}FB{Qn&G#`)X-y4c_3
zy>jtl<=pMjfA8M^J6Gl9`~UympR{v0TK8qKd~W>SDpk+_&&%t-m;cw-yp$!wd137q
zeJO#ysrz>yklTE{mGfcay7{%HKAziq7hRoHTw2^D^G>zd#LVFGGv(Q*)-1X`<9g5=
zzX^*tS0C?tUmbrj<;HKm*V@1MuPFO&7Cv5Cc~S0t=y$^%Q~L9som}^MCp_xS!M&~3
zcb)X(_Hd-JGg})rxb0QpYzT|gvj1QbRQ4b<$4YCV%;xR>?1$bRiO}SFWVoQkTT#w*
zN}0*}yH8V?cP9sb?@4-^v+f;Rsd<;$;bld?&vfit#JO#^i0P||4r@ex<HTb>U)gdq
zdlRTw^Sl+!uw{SyZovvGE32UO*DpVPy0mKVJWvO6)&2Lc@0Q=cy8i#K_1=@>_EZS=
z@>Tz{+qLxi>)6=S^?$F|zdSeBy6VS=g(@$%*Z<zW^={tRhwbvO#Oof4fBE(G_3Fpp
z`uh4#<Q?dHV|=x*ukVZh|1bVlc6NM4*HtbUa=W_6q@0ZYYt*yXox{(&#=qwI(MfNb
zSMA;<`BYDC4(CC&z<GY6vfmTf-I+gsU%9KcXX)L*ncx1buD!`1|5fs<hsV>Dkb>CS
z%ij})X4r6^QhBS(a4Vku?fb%e;@fY(z54por=Use{(Z6iAhMtB_sqxFODZcXAG0RZ
zPg&@9qvNr|uCo2pE$8;^d)czY_e-DXS|6U&qaS+SG>ApaydHB=<*dqus?4;1HvU)K
z`_FEjU$W!ew%z;Ls*1~R*exqE7IgdHSan2PebPM9n)4dV>z)74vg!PA8dfmv6|C4~
zJvVM|)zY~2%kTf*d;jwG{eN@!R(;L-`dI$|kM*~vdBxX$y}H`|?`8Ygy0_W!yQ{Wc
z{=V<KEhwLyn`>RKdajK<rt0h6_jTo!&(F<WE$hEG?)+;7)3Uq@r|8TbIVVkZZGGn_
zo>I6V*X_E2E#q9LX8Xc*eDi1TQnO^(w7TE^&5ys^-6hVJ)Y|<H*ljOUoAT-6!fuYR
zq~%OsJM2>*ha7c3HD~p{=OICM8Mk-ci~AV{Exg~p?>!Lw$I|2W+pzsVy7#Y$|GhPS
z@{;*~p2q)sx_^sd>Azp=|3}^bam;+(zrSnqYfryB7xDM){eN%wPpD^T-+J+6=es*Q
zot+pGBSd&uj#qt_u(~aocvbGgnwf{@&6%xP`}A(WMV70akq$v7p4%^cRbsTx*rI)+
zyXUAA)2oRe)@82w<N0vkB3X{*DU6_kcguE$4fVfg{|;DueSQ4vtE<DSzP<|04t{pD
zTRi;y(n*VAW7o&;zxMk2`jci2$?N0yKfAHFKzHY|bG65|eky0<4`S;~-up8~jN$AR
z+1U;2_1D+UT5(6kUwp0TTZ!H3FK2hDeKceJYV()<)x--^X6~7{Y90go(`Fma{qP#*
zEU!)N*Q?>bZl14OHvjLN^tHY-|Nor-|Du2WuglWcr|`Hj7CZ(OxUW{P_vkQawK$P|
zxRA|Po-^7+(a4Ku#-+ad%ooo7T72@?%bwfut77MCTFo-hUe6=*S1zFcM_Bokn~?=!
z!ImtQn_kywP0r2BXFRa`+xLzVW`>fI3E|IXt*UuYyr1=DoQO-;do2k=MTQF1FX^lz
zYh}`|2mh=oGGF{o&Z?sR7RxI^`LkXzw*xNfasRsh#Is~Myg0dY;4-M*xVvj<^!B{1
zW}$uk{iQWEHIHY#;ckfD8|S|_uD^xjve(14r(&jO*sPAJ4NGg-_~pUA_1x<YE}O_}
zv+*%!#>WQ>Qr`y2G5J5uo$@bc&A!FIkF4W+HF4XMpG#J*ifwWEso;NTJ-n3d+{eIh
zDyqPDYrUDgn(`^R?dIQJ7&G69jZa*=<0<2p-I1DAa;$&ZOP0z-PCGHXHne_^IC7Xn
zTk5F>6PEWjTg_+xy?WZ6?-SRRixs5!Z07i-7}@?NNKKtfJ3{zY%Hxnrl}Gn4Ue&n)
zTxBO-QC3&Ib<Xo><&;m3^IGClH=TW}d*Fsp9Hhyas{7>lN3rM21XnNqxaQM}y^fCR
z`R^{)o_}4^chs=ju9R)}pWlU-gLcbamwa@wWT9-V@rs>1yR|MWev@C}erSdJDY^Hd
zsj*H7-zMa6u7@_oO=Ni_XE+w_UzWY9=)%Nu-hHx>;UWRER{W?8cyTO+@mA)7Z);cS
zPrmPTTQlJJs=ukOsa8k+G2e>szhUQh`TUh7H51eyhR@6?uI4t_)?)rvzfqmxz&hr~
zYxo>wnRgeuUf*&q(_nQ@&*n2WyWgjVN$YCL%{?k;_VCVOv$Z-gf%l@O9#i}#f8k%%
z5v}4q;-E&$u3&J6{!;qT7u?U>(A~SKS*di*q&Z<<_C;R5;_^UKU*Ou5*2V7~w@#~m
zW;y*Uv&4giQKjqdmERO=y;biZ@%2R1S-oEivAS#%lX58kyHz$!Df2FGT=i;~o8;Wp
zGuyw{EdF!glG~aqpP$;98d^vgW#nybTo=B(nE$W&N=5sKb>bo|H|iZMzMfd~a32pM
z(i=9a?#Tc*sK32zm?Ksq6!UuZud6d6-K|0jeHYJRoVH$e&7Ma2W>tHWty;MepS~aV
z|EN6emf3;VNe8MIWT`J=-&l3`tJmd#-~1Wnwv*m)U)rzc-(+<2+c&X<98P^m6xHfX
z`KRz?mDO|M(EU@Z=Ndj(|LD%|K)2(0&wkq8-yYmmwPvclVEoY|q4%c<mhIVkeaX@J
zdsqKlx2p3|MYZ|z{|$Xtluueco$}8V)D>X372U8=RVp9i=+ar26jvloFrQKqcG>i7
zu+@L(<8xQld0FME+|4dLKKa08`)91pG1rg3^pP;xUYC%dE_>VJ!0T5FN|t1)9d_Gj
zwf9t&?U8@XUp*{RH@&?39Ml>3qd7S@KcDf~w2Uo~p6hkDOLvbn<UOb;xHG*Z?sMtf
zB_$;>d}k)7zr0<Nb6AkOyXXJo3Xc73?5pQ|GAWI*Tb^draM1C$%4cWk(}mMt&tG{*
zuS??Ct@o?S@3-BmUm(Z1+{Uc-i5w^r>cOQQ$UnJY|M1Dm-1jbVJNM+-jlO+LxI@d=
z)n0s{cJF54)?2zecbViC9Zb*E{uJT)>iL73$;K6Br77okYA#={QmH+6^<Q_L+$r{%
z##}%C?aWbrJo&=%Rq0<#SAa@b1C!c6hEV%%-v)<YHpITI*UmohjKB1lnZ5QTU!Cx3
zQGX%kImWWvZk1%L)3jT8VcCMoXVQJ;N;fXxsHmL(sqCU{nL&kJc*&kab8IeH{k`$m
z``K)>S(??4(loxiH~c8m*O%e>ao#8DZ0P$VaS*%DNS(7s4c8^$a4kqwet9^8y-MSy
zr`O})V<-NsdAmnPW$*m}_9r11yDs~#aV}YQSKUZGZ9`IhUgo9Mz0D6@7a4C<`(178
z5b=~}-uIhF)7AH>r6m+N1#R!*ZSXgG^>N#-<zF5IUn>mCjeoh{@a-d=uzBAzXR|Ha
zo4d)T9US(H^Q#{nOkYqlLH%OPOrDi{StX(uef#!(h6xjcMM^)<hUj(jv+MOk{^;~=
z%-rzCYtz=36*o>E5x%_PYHiIir83`driRQDS~oH4*B1LeK4N+{<o?W~mzx*^u3i5e
z_CPn;e!Ink@9#esZ|=I3G=Ki--QVqa1?+mB-gH!|pQrli)3OD@lJ-TPLjJ9}GAHAI
ztnTGGoo$uPPcMHx|Ml!&>1}UjotkF6yZOqsi+^2ie>$@#+&)Zx|NTeXz8zW8om+ff
zIQMeUPj2ZqpOe(&ras^H1w1Ah(Vy})cGarQx&Net?X2di&%Q9tuH;3k(UNb|{%x9F
zW`3n4Eypu*<-WgvA2joCJN&RfJ5xLJ_siw;^W<$RHq?H2aFGAjt*H8MH`8zH@B8uS
z)hxT8PbP!LUblaLfB(M+!<=6~9`|pbeDcYvJ+=RSKEJ)(e}3M4yV_f)K7IS}@NmDJ
zUCoZ#FE1`$H7%T8p2U9a<ConXr8kx@D=wP&W8U#oc9-%}_NCvtV9I+Yy-x1;9{)4x
z=XNhsFZvzuV$-(jeO)(R%ZGjW{rzuDY27q4JL|MbL2BDAD=V`;eKP+1HNC1h=svr+
z=$-rA{ioAI*H3J}zU6%StK*-3xjveA>(AX|&+C28md<%P<$e0b*R{)DUtOO0v{Ji%
ze(R&+{|A?s^;RvJXSG}Y_4fd~T{G2ZU-)KMGW&GOinqFdpH{v4xD7m7>!tcuA2j0<
z8aZqF-Jix6zIJ(8e~5kg>*0rN(e*tW-LIII=Cs9rER)*3Y~oJ0+nJlLo0!+fui81+
zaBtVW@3VRT*Ui7Q$oJW<xJ=WosmC23{Xe#`Cg*d}#jbN|cXMC<<uLUBRp2|@C6527
z(zRtzroK;HqjUS}a<ka5jhkYw+`Ckt;l6XJ+{)#CKh>T#{|jqB?RfnZ*oCQ=W^PnX
zU0MbjuPNo>i}7Rlb;)t#@iQM2BDP#KN_XHrV4poT`pAYL>-q9Gmi}XQ_{op~DziB5
z33|e(d>F)s_?!==^H+VIObiaZ$0o5&a(i~)*|XNu`}6y$OSUd)UBY|vs-^Q}^PGJf
z>hpZ=ZK&7tv14q|lREn9RAc4IElXX$J_)$gx}<vJHgN`r*^aXr8CI}>lZm8<)$}hh
zmy$ixck!v6QJH&;&Fb=z?|o7~_C))~`CCn~Up8sp%xt^vyWe-7lsBFn&xV*!TA%+j
zF~q>|!LRQ>AMN~UlP*`gOzZUfVpm~P@nw3mwYc_tXWnsc!u#9n);pfPZfE%QzU!KQ
z(KD((nS}MHT%BAyS^js{cB|K^;-z0)o3B@ASXW$huzlz~*EH)z@s+v9oz?{JzO--q
z#<L$*`fvLB<LjQrs^1g7%r(2>#+bobX2Zx3^Lln;kL-apqO1a+%2t0l`#|?!)U1OS
zS1mhVJL}{B^y+^x*Gl=g)pobZo|X?1$(SX6CwsQLT36GQ;K|>*Z+xF)Eu*sg9Dk+t
z)@!Cu_wPEYo^njC_L|nETkkGOtDgF9@$LK4lj}b>yxOwu{`Mt5&YiYlzPkDMCA|j{
zGw+vAnpmH<@%;QSf4|WB4QqHS7re36S+)4O<oDFe7rx$lA1QaCJxZf?`r#u_mR_DV
z?PKlx?@Jc&=$8IiH{o*A@0ruio6TEZez!C${ML7~ZIZdKCf~T5;C+1lPM=DP6q(6u
zwl7z`_x{3{SkajGCu-J(o;uI?Viv#Mj|6KOzV(YP%&+_P^4q~?_S@|Ia(@=Az5eB9
z`uyDeKOS|j&i?gevj4X4@9*Egx4-_s@;i$M*N)5A@0shP7XI|@=kxaW?P`CO{QmOt
za@e%(?fmj}Up_oM{C2T>f6X1&2dg)(E4Rq;E~~h#X8P#;#V>xHT48s-`rfjcet&mp
zjCb7Uqw|<=SJ+wKjyjYATMN*?G+lP}i&ytVFHM{4n|V%n{?+dbR;}J5ryXTGXS-9a
z#DUVbvip-Jt5#~azrHcmy60-~Wm~)do7wEEr+?bgJ=b^L`ts<9&v#`knD=4fIV<fS
zJpJ11xL>{DZ;x1Bwy-uod-g?_pXYApnyh?i>|b=OL2v!eGkHr^9rLLz?md6?-`#5r
zd<O!n85pKFfBLbJM}3!_R<3xlXL+){xoPvB307;r?KsGPwO2I$+lju-H)^+hubeNs
zj@$G7>@BlrH2#xxy|BA_p3I(p>!P>Z!P`EEH9V7*?0lx{`?tjZtW9}A!mF)yYjp2^
z{an7Z_GOWrZkE0KBMar}U#sS6^~Y=${=a(K^XqD_uUxoYeyiv3+A}v6^~GkN+?Y3Y
z|MC@cS7f<=Ir8NA%!)eW3z?wuuKm^PUlnYxzZ~fMt#wgxJO2*ew-URy?mQQIios~f
zpTdQ+9ou(GO2{V(d+$~}dcpefr2pbZzjb!&JXiYhWOwVUnKE9Rx-IxJz0D=xavus@
zCd>PD#?fVKLu?wOL#55lo>mGvSeb<`Z@ahea+-|YGK-a#@$0fQxTQtqmtLR#o0aRE
z?c2iN3|2h{gc%+LoP7RON4C@`yz~3UgUc^$d%c{u%xR{|CdcIu`<fTTvY%YD<g@>+
zi#p7u`W_a+|5VQHJY@4rM@9Rpb)k{z(<4V)&bqz5pV*L-`YXDuP=GI7<j2ZIdfVSV
zQ(926X15>j-rD77Z|wC^ox5UYL$qwF;_J%VLgC|;ru%MlIvfWL63Zy%y3RlC_sqvU
ze8w#Yw~T|!1K1vB{#2ICuqd@zu(dhm$Kv&Grrv+dx9oUkXA#r>vmrKxk5|39G4=Sm
zzTb&Q3x8BjR{s9#;*rAYZD(WHX5>5XShfrl2X}dcPJLDSuqhzz;Qg70zt|f8%+O<)
z>;8a~VZ-{)dpuTawO-h$vokxlS_WE&M`-h$|B^N#G5DfF%E}F4%-io)oL}F%>P4hZ
zbKf%W+bZP`!mh6Smi%_*>GS)ZiLtGGqnFfo$2vy%_}kW!GjYPDSufsN=N^0LXRFOU
z={Li-RY!hgYnUH*_A_3`>EI6X<r`(~AHhctR7^A!;LrV<XQOfX+v5|P!otHX3yZuq
zesQ~};w|2PdvX`^Cz<Wn`>G?pu6lBkuQDxsjSXM;Owr%9JEJe&OLcvEA~ja-kzsY|
z^_2^^zuzL+9{>2(;Y|Uq_B+pX3a4A?yf8JWEK>a?!@$Gj&(Kht;u{xIXjgWv+E4V}
z#Oj4UdMR%`Ru>g)536v$xaFe5(aAcockTvH`QDx~_uTc1&Y`=NTYnkmoJ@C3ySn$y
zx;5MQ3M%j1+rgY_-cpwz{MI_xE#l|;R}N?0p3dW}IC04D_hub7mV(v;!VC%FmHY~8
zvnFgh^FpS5Th;b6hI;!>Tc2D0iv4@how(1(`u4dqPJ3&^GVj*HR|kS8R|>ohOA89@
z5^MY7xo+=T?<uO`xiXFFx5{tzWS#zWY4fIluM=OV_65v&H*>pNTA#v{xjhUriXT`Q
zZd^54&K&>rfx=mrhqjv&mVWc&5?woGb(MnCgO!z!g_xhOliS|@?e>aYCwHXmjX(O)
z$A_(T?HT7+zqvkJ&Meh>mAyk__s8UKW{k^Ir<P{D$S^)6ZG7e9Oh2!h^LE_UmD_|H
zLO{85_X+MVCV~}R<t5G=gR0e^s-NPUb#>$9)9ZfR3kZ=;R6liU&59>GmYaXpyR~pt
z=Z?UG`(t-#H~BAod}8mbtA%&s#LKK#DqoKX{p~lq@JGe!?)jN3iw=JN*jHJoQfAHQ
z;Rs5D-JZ<Ms~3Hrr?DnEd0N){SLgTq3A`@YwER)yHs6iSSB&^~rC<827FM(U_@ZUM
zx4thlf3a<=MbY{`lXbs#>`h#=Z=v7P+T~{p(j}zxe_F7u$zBukB&Xf1Dczd!gbT=g
zZ}-|87Y?k_$S}-w{B`qcLMq#e+&4S=Mec2Ezi~F=`gu+5Svs$86;``mKgD&i?CQnR
zyX(0PCwAOD>-FU%Uu{Rt_0Y;Yard_@&$UlGf85IS%eT2^i|0&To|+wd`FYfIiEKWv
zzV&Z6&wrjIDB2(b3bfSTpE>OOKJBvS<bBq(pMCb;H7DSFVYNB?he)%e>2jqdzfywZ
zFA2LcGL<b)5Ko==*f7-ecyX!Y)Z=eki_XNo_<IkWZU3&Zd0#wt)w~Cn_qf>Cu6pF!
zYIB>@K@XIkW7!Yw<I9swFzr66{fhnNvlN-*Z>MU@+f3&P`sek~*z>%oZ2vLCsT#BA
zpL#Rz*@?Y>r`)``J3mr(YL4^8x8LTPCEI)dl&x5m{d_{LUf#TYC%q%zY@UCbWg|n0
zNTWJ~gCw))`ifPX4o5Cy_Iq&n{h!7SNBeJXw#a+GD^KdlmE1K#t~bp}lwNLJvi9fX
z^eP4anI{i4S`_8SyIN2B_Hz2S<hPpKLK*injRQ)h14H_IjbCm0QMmR?GGmI;2Nnj6
z#b*?jo?`rT>|%OORe{u}1JZZb$+J}%UpP`&J#mfa-Kk4<r^vrDOunAH^;lP!lKsRl
zJ{M1Y>%6hIX?Cr8-<{QdqQ~F%dhatY)p~24%NC=t+1M=i`sBNBO@w#PWq1N=L~1PN
z-5uFhv+vjx$t|A_+$?zNJEipRj=gI*@3t=T)C}7a>>k~2!+pe#<xkATk6!&pTa=Vi
z`=?qdul%O9dEM<D6Z&p)*QWbkh8X|(%<6@CY>{vCmKz=a%J{+p9Q<sDcnZGz@3;HO
z+~{SUcK+3;!s_6?mNR#UZDD>mkHad^eShY=4L<X<qpqHFeiryF@$1P>*C~%b?buuA
zSnV~}>$l(R#$~rUD)wz~^qLpQwLkzA=o-J|>h;2eltaG#WQ$~6woZ2Yb#vxV>YYXV
zLrfIE?)y`>qBQ(AU;L|#>*rZEUjOD|bA9pYQ*t}Y-Ry48JpK5alVzIzmAdu)U{`My
z+&roBu$_2;@~_PdUf{)4s#{XsPY2Y=zBDtO``Piq&*p=f<x^*BL~GQm{*8EgZbtqs
zlXL^Sp1+y$T=lCoUThQ5cB*}vEL)p(D`xuFR}Pn27d@VD@omd&v1g$oFYKp(Q9K!X
zYnjWgzR<iTvzFv<w{E@9E&lB{n^8P%S6yCk+)ud~p9-{oZDa5P#R!L|@a}n&nnSG}
zWGB9xdu8k5u2VAHAtDu<j=%kBw=*z}_4~0s)1Dn|>8(%Q#9R6$*7f|If}fJVyVQj4
zi%)iqO;um<`BqN#6S?zmHS$;fIdIwIDYJjBMVkJRy8PR>%Wv`QC`fu&8EAVnPn}^Y
zsE%3i>!8*Ne#K4h9HMK_Z4=IHZu<Vo*5k7GPy5|mx7f}fOAE+TufLX7U?(nYKIP;m
zvo1BE<wd{u^zK`9^5pK6ZoepPE)CJCohw&fzpfIgSv+~!-==Lv!HaBTw>_wGe)D__
zs48#ZHd_%Tav<iya@GK`^A$`C4?Y~s`t)_-qR?dTN$r0M9-L0!EyEr1%u*sZCEWge
z>EE9A9~&E)T_=~E7rC~1&5FgZ4UH>bxx8cA{IN5*<op_!eebociuj+(-a5AR<&3@S
zzEt17vF~!)g8+5a&yoyNoE~s8FnkY7TTm5#*P^Q-H2-eMvl+IlGmLT<7|d%;lfN)W
zX2<Q&!#>Y~+}}@L{;W%_?Cp`~3n%Xm-sG@+>dXk4&V-+O(^M~QUSS)%dhhYgWee}$
zp7w378FPDt^)ESw380elL7Kza=Vz|9&h@uBzN}hJtNcuyO}_}MhV!f^TaLe9vh=p_
zCjQbd^WFqzmaEnVU$XuDKKAv4iHA78B>k@`iF)+=+)-nh(^^(lS!*6G{vp=5#P!AB
zduChTZ;@nZa0ACmm5gV@g*U}I0V|HbeH-<zJ?Xh{>6eFQ%Y5d(s!IKRk}q}AU7aUC
z7oB{*@5ajw-L<!On8|K--@kn?C`~gg0C$g5b$<4+*Kgzf$=vuNdwcS?Q_qBd3%n0_
zB0JkeaI(dfi|;<)j=9+NEnjO^%$eP4Ve1#4S+{&;#lG&<W_sGPx9iTtiT~cKxCQK{
zQy@1@k)87+@96Vvp7Ry2#H<%?dj0B6>#ou}^QPDfR=R~P>RY$LZ=Pn<)p@0{K1xX|
zi>!lJtiH3QF!T7^*0M8k;lK7Sg!s=(pn{2Ehm=j&Pnm{&i_hQqvS8impUe*}o<uBI
zC%Zj-OVx~6|9=teRleoMuU;r_m+4ZQ-TmobfXvSDP-%0n9r9cG{=~I|qMLzX4!DrC
z7SNP(2-_*N?o7h*?~m^}@ts?9WZm+08;-y6ykzWoTQ+{OP-?9}#LW}V4^FNx({qt_
zJ^#@|`?N#YKaW|H(!FMi*VIn=l>hsU?5mJl<+pek90I`IV^8j%yB}>mBN(^hpPY|J
z+k>P1H*cHIunMdz$XxS5-Y2j0<xS1n;``w-{%^y&)Q+rNJTWcv)t5rYy5}eM7NzFS
zy?pHE;;&}A;xY`?Z#Ly9yXl@k4vOApa8N!iey~zkxLz?@j3=P|Q+>Ep*UjphRe!^c
zzjMEuq{lk%*Rq^7R+Gwq$;H3UI=|_`qpD?HYBBy=d-hFG7c@^Y{kPCh#COVf?oT$|
zHGJ>&`+X~Aj{ovk%-RHLIx{eAVRC=V$WSKf@QiofDjPZN_j}E=j%Qt5dWdh2&XeOC
zwVv}#(bjEuX8*qHg~!4ReYdqQP30`EUJ{~F`ejGcr_fUAdEeh}`|iK%&+k}`>L+rH
z`wrjU5x9nr^Xm*-`B&iX3J*iWchD$GnPGkg!xepr2b-C$|Nj%%-ngzj^nh*n>dkKh
zT~h19Z%<u0d)KD}?<Vw#%7hf$f8{a%X<w!AyHl0YI!Df>h<DxEu~G9qbE|a8r-d-L
zSM-A#hvJ{-94ra8o|kq<Z2hO>%Nh@EH+?2{Wzs%9wNqlUJEyM^=)1wWsWjpG=2b6h
zPtJaOie1rCQ230V$kxK=&-|HcuU=cZ@cP0nk_-&%K>_|oOZ&oQ@ccsCuiT<f?y|cl
zEW6X>b$Wqq+WDhPRF1zbJ*^Su-cn+_?&{7*_Di;H&iJ(N)h?AK4riluUKAz<8u<%V
ztlH+sE1S#4a3CAha@jrWInR{UQWneh=EqH7KKrb{w72r`qmI2<JL@>AruW@;j`&_A
zuv_lBaN%SryWOIf1mkDRuDiW7(e>woOyiBa54uW+Pid18jjf$4Wp#^(q2W3xFuzSK
z74a6;e!q!H%$RLO+$|5Qvp=FjwT*u#Z4bWs=1JS>PWHarui1X<2(t#IAOF1c^=ru$
zw-o*=gne_G^&v0o_~i{x-sflA^IzRo_@->tK6r@sf<jb2dnvp4su>z`sXW(izJ0R3
zb<te^)OSm{g$s3}r@q-(zD`|kSJ9og>&*VS^Fq$7%3o!&_MzPw<~NhqaJ>?`{!7i*
zS@*tns=iX=Y_mRDm9JMIy$J>e@T#3R+4GD9Bu~9%@wZQP*fp`F|H=1znWq}|be(Kn
zxWstU?x1!3H#dWfpU&*hytO(gP_y*Lf=9otf=q=w7e`p~6)r!zXMx<y@Co8wb@{h9
zZvJCX$rxBR;Yv89Kgz(c$MpedWuow2%a@OgI40EOop-ww%l3M0!u!ygfOl0wyYyeq
zS+Z^p@4t|ZR=c^6zb&n7GK{mkZPz&0=F;X<)mBq)yUHAnxGViC@8Ql(>W#7T$FuI|
zul-QYRPZFuG*?FW=htg659xzajEt6KP0`j*dOIhp>P}$XfAenU$LcaQ^W)3Es>ZI^
z_1x{@E}5{xGxM&tKK^EQYW@yM)>-AtI<vE@AH3XiY|o2Lb=~YQ{6)XDeE0OTH7$*}
zcFuQK*+UJhKC^YpdLPf&TLtO!^Ds0_2gQ4gg(uIRb0s&<O<O4GaFo4_W$vxaxjV{h
zJ^M><q&OEfoaNi`Dx~zxysJ|me@nB>w3zZc`M@l*KnwSTTb?@#z3#33^*!#zhtAW+
zlaD{+vTxWB^l#mZ<5o3E*PgZR+$C%?<Kj8FE9_BApIp{ko*oS8cd{`Yum+{$b#t_C
z-A!V@{5<W$rq>PGNo;=Ko==-(C*ru=?DmXmi*DW{^E38096Ir5&0L!pkE-}Ja_dg1
zOgk6)@=#&5(bwc#PeQIuoS1v(ta*sZ&iQ4wucyVGZ@nZQ6k=Mq$FTI4&voI>-&>Y4
z2Z#HK_$rh=Jz*kU6O}q;EBD*&+PC#)y@;y1Wpi?3^}Aa;^uCABS`qA=e?QZhf#IGN
zXi<9~`*m;E$yVP?4VxFXZc>-~-K94D_^!B>+s*95uYVR^)>q#b+LUkA`?P=JBF{Zb
zPfEMG@9g!B>w4Zl`G&)Pm%RSe;<@slKK*z2%^n`}eE*N)t8CBSXQ#eTxbyUT&lJ0x
zK_-?)XLg+1WAgRsy<<1$&fb>yM*Y)w<Iiz_Bkbz$FSc1T=hy9Nd-r_W{%wtqSZr`u
z-P&87p4!pz^VDx$TKY*m=|=iX-=wd3*KaMJy67mM*<H5I>gs7PX6JCdn*T%aQ0cPg
zTOQc?8^4;V^~-nLTsiZSy}9q&&z2Umuh4H?F7W!wx-IW>bBu3=?Nh&1zx|ep`urcC
zVh&tb&)?8*_v1nH+X9O_Ubnn%)%|+895hCkBX3jjp?O=}<@EWr+x|Z4)?c^o<z#=m
zoA>tD*MnAt_wRVz5G`N-=VO`C%$TX$&)fg60gchUy}aB%I`W>JUCob+huitL_siMt
z+NJjHlOJ2!g1<J?>ik7mrQaNQ<8$%Up4>;(YP>b~);<>hbn`&4%~`!9=4WgEe6&!n
z?>Y0`$My{W;-)PhRR70@{HR`Lx@@KXcQfz%PaYrdG}+&Abt3cmPahVp&rG=f_|r|<
zZ8>wE`Uu!||9zLf>)y`fc=68noDY9$>Z#w5dw%D1%6*lY^Ui;Hma=L6-$~tE_Wt(Q
zmM@myHv9O-J<qz4!$n`~#~E?CssBM?qJHBe3&V=8*xK?{8C&lk;Cb+CBd1LDxxaV*
z)UJHim;9>mbk<gr^>sS+H)4g&Hl%z$e&$K{qNy*xMI7@z{ps+f#ed4TANoG;WWVSO
zyCqxKet*^&uYNuFoYFP6Wg9DxzT3C)Jg;T<Q}y4UR|}P<UO#gBmPh`(3!DF&_ieS_
z)+6>->_yPL`yRj4QfuCq)#>c-yUA_17c#1x5nZ=?^@i5ES_T_X4?Te0`ogmxmMOd!
zVjo5(Fx*O8Thy%=cBPPgbGKZBRj6zSLoOSr3bA%qf$vjchyk_xVUrU>eLD*E{qmw|
z-;$L}xINFS=AM1+bgAVDIOGoSg1VPV;=AT8$o<rs_k6A9$yR0`RolrWYMBa|pj|6I
zmjW*B{P}A`>(@2e{ont{h^H98vSx5db<>r%4z*lXlXvg`p)CuOUAg-*wlgkpJg&mX
zu;75xC8MYR&llCDt<6Z<zNS&qhu7oXx#w$*C$aK<^_{oLdREw^cV4$<)bl4#W@UDr
z%=7;EzIVm8*}Z4a?>5r=XuDkV|8~XQf%h5tZd6s~yqem&$dxI35}WLHzs!2~XIGyZ
zJ~c3#7NTVP%yR$qve{-V4o5-7e^*NBw{AAh&9-&dPn3wbOU^wZx?TClo}&$XdUIc=
zDX7Yoc%9C#b#+`dlRfod-M-#W;cxq%=zTEJ`&nzeN$jg^K;yzitPFo$=GsjAvT%ll
z%l6dX^|yp7R#o|AzV6Ok!#8urb*I1!d9@FoFTJ~rmvIAg-z{c_A1Ny{k}9Sd&R}TR
z^d{?g#otMHrcO4Ce0-bb+^U2HZ$5qQOWH5YFl)v3-;%WsYBh{cZq6`#a(BwVdl8p}
zr^Y8R-x6Tp12yG;ya?GXdzGD`@bDDIw42FcH8H$1w=d3AC_le!)9&RKX8aDq$Exdi
z8P-f)Qmy&_e)t!e)100z(o75FK-JGatBYqllgexuHCDe_b!^Mssdj98yPMMV%4~0@
zt8BQ<+0f6?!F*%s{V7-Hd&(W=xh23L3L4Y<aMSb6d*(^Z4xAs^eZ(zI*H2yK*;W0?
z_`@b034`4;95!ZdQ{ZOIIFWRIJ>vnr(qlU#u6Rf@Ehqw6X&2qC{GH)V+I599J{OtW
z-&fgboc*2SENj<jWLB!jAIElK%FIj6Z@%5sWe5nn=d@^_MNz*Qi^Ee;Ox3tQ;0(1)
zzaY6Jpxj;T?GdY#>%sAXAG)qCxFYN@`DxP9+1(6g%jAD7<mh6);d}97R`4W^6Z?#E
zIUa!azBHJXC|vJSb7c%~>ry*wk)~|3kZoR9lT*9R^OJ0Ar=`fh;#}~sXk$>xn@s;p
z=AyE@&$K8u)V`WzQ+sUs!F%Pm1P%y;JdnFVM7X}7TbAb`m+6Nsfps5VPB?J+#2))b
z^;et?MT`ryIcyjmT0zdemEbCLU}5773+})F$~Nk~$^QS~vWLuOcU#5)J%$o)ZfV8^
zP7o855*XUgc`|JY0Sy`X{`G2@U&XW_h5@>Zu3_2KnHsU0RT>%vD^~JZPvXhA6!nvF
z(MP%Wnf)^pj|+cgaoEXlK~;JZ1H&rk2b>HSws22kFqQPOQkJ|>RCzv8D&zZNw&Txi
zXVxs7$Dkq3u&d?nJ%#{9(Ehvy+-*uHIt@hL`bfQx&|^ErpBCuPFopXRYr{6pTMHw%
zbjvUlD1frM+Q&O;R}T8kns{HJY3ibrlXP~=w5IN#egI;*z@$a84~!>qFsuT#6E7@L
z^la$zJ+egd&}4B9skamEyC)shhq!WW;WMvGb5xibvScT-Ff_37YSsPUw<vizTiOS~
z`<xpLoB4i6U8%U6{JHYYX}?!GrF&;L9=!0d^0m)yS?jh}pTAp$-K$u3;or0_wbso&
zURN?}KiBSC`(y3qdwJ2ehGs7fJ*KP;U6XS*TO+!5^8Xx3`6V@dt)I%DU7gzh=%wg+
z=hH&-H_i{5ANl&m?=za>2e(Cremj|CDRs2&y;We_qi&{U&*HW(tbdXHf45Jqp-+$h
zG}YJK;cXjjEWNInbNgRf?VD<S*6ot#@mp`zPKT}d8gu!rNBAW%#h<trF;w}^ul;uO
zTetqc9lMtKBX1&m)W@7x`{(2F+b2_sLhsrA|MMBtT-feE-!3<`vKnc7*^5`RcAPfP
zDUM5>&sq=|xa*thT<@y9xaS-D{+}q>Gf&m-v++~^C%Y#6*?ay>`s`WPTYv6}{`|b8
z|9)X$LH?ulFB!jE{9I)f|8|nt;Rq|aPg=j`E@r-8fB(BwWrX|}-zr=GE6kUB{_Hia
z{D0xW=ho)md%o_OxA(^4nt9VJ-go}I_fhWUDu!2YcfH~i|9V&D>8;Ok>8sMFckOl0
z%)K#liMr;`f`H(k^VDwLdd|M=s^0sLYYtUeekm#p435lR<v%U_|E=$JNuL(#x{G&~
zl_Y#R_?hdH!jgaGvR{wxTy>k#!e?ijy5`r{u8ZR4ZrhL_d~}A<+M4Bi?|)`~ogIJc
ztyz!bs};{@<v7pEad*mf7El1q8P76WnXxEM==GlSs&ikR4NdWOUH#{La`RosoQ4|z
zyzqIvs<wT+BIeJERl{Y@mh7!MStfUU(z|ybD#fZkORU>$YyUm-)Pa;MO?$RpoW0v(
z)1`!!Z<0@U^~p!8U((Q@o6h>ZVD6-QX7>C(agoROT~~j6B;}0G<Er$Hj<;s++}64C
zU2XZ@H<Rvvepf23J7w>z@->gH?r|>euZgg|>#{dC+_tcz?#-_^UvJNCE<1iJBwtS5
z#58`lc6n~(o;kO#KFX|2Pq}4%ds?sYt=(F;Ht(C6BKfMS^rO+V`^&3}lk{hXef)mo
z$R(S3d?!6WHU69_yffDGPHWM_P3Ipa&)4a#T|f2b-qSsMa^C+J{=9eJyP&U2|L^sW
z+cf|1v&PUj#=b$Xu6gS4uhH__y~if=^>ua8nzjiye%Y;EU#mZ%?Dls<kJzs<!nq!o
z-+HXb<=E9A>(9V<uy6Ufo8_gm?n(x_?m8BpH2rOf-Q?X@OCy_4KJnW9u+RRxOZ(al
zC0jqO?hBn7x;AKa^4Hsytox6zllpe`=Dh2cUYf<V=RXGoe|_V6a+m5)sc9#o`;GU7
zJ?~SW|LX0o&wlsbzkXfS`g_X)-`Yig%lEy#+{at4b3c0L?Z7$PqyBV$3h%oux<B=j
zO@6v_*v;y98{`(pgna%z>)qtu@|yl9d|SAGo;?1qJTPw4{GWyA_FAl8xW>P1jeh&a
zeTngJDzv1M)n5MyxSc!yn1b*1;?V7pzT1=+Zd2sA0a|df;(&vB|BX$|HoNcc>6+?s
zGW0}h_~xZ+g``fNRk^8>%3!Gd^QK#;-($<0r>ZwM?b+Zz@7?M9pZ}Z}Zr-u<)cQr<
zcH*fja!LDFyLSGW9KQd{)jxa&@~?B_=gi#oKhJUJttU0Lj~4i--rjgw=zHeOPqxoj
zeVgf6#`<&RrSd3|rB_2PvV6I4#aI1QT(8Y}kLG=gZ9I0aXydQlWITEOsdZ)XC*PiP
zef9D6Cp*Jb%lzqAS6(Ww_#)ezdQ7u2bLpSCleIt3{Cz6UM(EcJqo130ADEPUW~=7o
z_p2+e``-q8SMgf$zAeg%%XOJRWp2P#g@-yHSG~&ETj8$r^SzPm_fo(1+g}rcw90wT
zt33UFyM5ZB_}6n7Zzc3M-mhr4xqRe+cBSoZKEItg8SJpN0F$q~Hk6vrZfbnD;>h(`
zd|AK3@_!%ldy*!*aMG0Tw(VP_7f&&YG>e!yZF`K(^|czZT}}5RQ;*3xZVuboer~;%
zNB$|-t*NVC+Re1xmbLJ%8e{mU-x*8Ho`qMZyvXb<D+|2%{7w3klSXeh#qKeF<?z!_
zI#@0KTb<rnTic0W7A|VIyz-UhqFpb`ZcjJ#Sn+iZ|67j}ncWSb;ee1t&6U$X?OOe2
z>WOxVS7%SIskOR!a=!hO^z+7-mY&&~Ui(fk@^tlQq2?W%goTogCwzI!^M4J)#dXZT
zL*1l4KDhl!%=%jQ$C9{}H$^AxyLx-y)Qw;Hgjr`d?Mji4oV;i?^QrRvk3Pkg9WwL3
zX%cVkmw(E&wC3gH-fubDx%*<OXKc$ow?4J}z>}$8oqs)zWZZR?Z~pyz&3b*BlOKEk
zo~2nGp7rAGHvZ%Z0<SIOZ%quiEY_&}frVj3^@oIhn*vLP7uN4~$Xk6lE9EmSR`cAs
zWo6Glrk-n9_-60d%I(4TnxB<V4ddTo)xKZ*=h`z0rjgrkica?ZwD#V&-qoA-=g;!d
z@;dL?`aScd<F0-U@wjb~c3)1mvESpD@4uT{T&G+8fAx$twk8(o_Sd}@-2Il#Ba~$O
z+}m0x>y}ahsBz(|QM~7<UYO<n<$27qb#IOyTl~85c3<ty&bH3w%`Fq}yxZe_`trJY
zlP|GqKlShGEm9MiCRbDTYG;n`z4>eAdahHmTx}thwfL}l$MktqGEceAsNLkK^Pm6w
znfd!zrEblMk6rR~-{g~(wR2)$8LCan++Hi)+!AsA=cT@u8QWekfSV51&(~SKkly>#
zr)^RD=djdQ2@|Z(?{H(A@z&t{Obd<A7alZ92IxG!zmY?j|CHb<f1@S5Q{EQm%#y45
z6_Wou?ed4eCs!?x@l^{i%z1Mva94McposkMlv+=J5!u^YPCr>#Ti2Uk8Y=zyb=L8c
za@~BP>boD(ovm-@-an?Gc(r)nR%OMdx>gOKt#h7w>^{Y={F8d^L$-B#s)%dvOz+&X
zk-0j|X1n`6$@h~dRi4=HkR1Qj_Q<Yt_eHC0t^Ag}_W0)$_A@B|_p+BKSFbvKZ$ioP
zn34_t+k9Sf+khtgSRRGEt(lfC{dsl%dGnm=xvcx&xlV?sgxdlv?`EhlFtA+lj5odW
zQC_oNHS*@vWNBCa6I;(GCAud6)|pZ(_hZSE1s9Gde|u%3AU##CBd_Syyg(iOpG9Zp
z`F}Obd!=n{U=r~2Zbx&|{fAK*jgqHaD{42D`bExMa_9fjmAk{ATwlPW?NL3CmplHL
z!osV?c3YJdw<~f;fL4b2a^)^sk?~;r>xrz{f+bnS_vXDdaOilxuyK*-k$qG9cQHGz
zxpg~t(n23AKK?lY4z{z_d~athJrH^F`jTg#&K}{ac|TdV{Lh=<*!5}Y>;)F3YhE9)
z-mQ2t*sj;nY4!7(EcXoO3tn$3m>5h}zUy3+m~$ZAdXk>{{u>J$ckF!mC4H^Mob*5Y
z^O<jKYSzE5;h*;^s5<WdDIS~KVkN6~-E;d{v@c{!lK7Nvvkz-|BQ<7~$h;|(?H83z
zHCNux7JHm2SH8I=?EKFweI+}29lJpVK}${!+qT2A*s6S{D4(-4G0RPT81VA^Ey>p#
z+NXuDjQ{+8vCUgE3ET5Oe`%EQ*WQ;5D&Na{VLs>N{@fF`uG$yA7cR@VROncjYkIwQ
z<x~!<!|M$_JigA!f9nx`OMs;Xltwbwh5LW^RkzNaI^Fht#p2f|uW#(?XJPtgdirGi
z<0A|5b3W;;zPRB%%V7)k^*4WAxV}K`tC_=2j=NqLnV+8j{^w`$PwPyNx?HwK+aG3Z
zoIB?&=4C7c%~@SAneN`@JLR9j)z(FCpT6#5&zZBiZ^_n0k9E`}f0l}!p8hzZ?(5g6
zS1y&eY7J(IR!AM&m;UzV^SoX6*lJvMa%|_FIeXU+pWW|6HXfX7`EzOwXN3(L=hAtf
zH|}Y>(Wa098qrV?c>e6Fe~H-pnc=dN*V^2X$^67t`1poHLe8fN>wm6z*TDMpWUSrf
zMV@x|=gB^E-rJjY+EPP2Hpe-vtL)GI^%@47Z#>+`cXIs`?***M69isa#-Gmi$mL*i
zf56Eg&}6)H{j*)mtIGQgcDT)2x=H=d^3H?v&mWf;sQ7eym&>f5Q})-a-0rw@vAuBK
z+!x)B$7*A>Z<QAKUu1b?F6yf`@7bOAia)nrjd{NyK}d36kE7F?=QWw2Hr)kAP%)Kj
z-c>s1@v~L+rT;fEXZHS0k<Co#x0zuf^`&*n{+SHr)%|92OIL#OLzH&)qSljKr(89@
zCf;SMDh>|_v)y~;s|&~)g*+Rb_9x-?pHk<mw5mh0;j2vom&Ig3!$TL!BKduFZ&#K{
z`rKTx>%hT?OJ>Ov`2RnZZ8R`#Ziwyk%y63ebN9*nqEU9YpJ&Ie+aCDOPR8n>rODeH
zlAb<0Gb*h&<<HOAbKLZd$l3(;{cVYFH>`J`+1{T#VZtlR`?n@exCFOHcEcv^DKYCs
zVnS->{<h({a&@EJnh92CbRPd_w|;h0?JV<e+l7%&ePn)2*<Z7Id!YYM>7$=CHN;Cl
zto7fPZ=WT)dm8W0sa9rz%b7qqZPoLdY<DN`=n@9d{QGQKs|T-6*BYcQeB-&b*8cs0
z62IrwWn!^DpLmZfxwi1ryZGp`A3C!9e!nF%9Ur{hP`%~!|KNP(%-BH5IURR<rgT^R
zyrw=|=EC$S%Qu%N#{YfG|1EnDzry)YLr8*><<!l+2#%D6Qd8dS34Qpb;rx_ic?aje
z{rOoh%*=2{Y4SAV6`7~Gwgk6Vrp%b=mc8lJy=jvFuebfVnzFao{PfRbiO~k8-^<-D
z1?kyjZl3jOvTW7*uqW5A-G1_9{wBtq6FJNd-#7Hg_&Ue`t;dU84kmD?HSKj1W8}Pr
zFTaEuO71@MV!=CO2btM?&sKh$-xF{7LTCHmn?b)zHl0_oE&OA-DQuf=)U;{K`PkwQ
z_mm_g{W9q8vFfbaZTq!_-)xef%+_S);`^&^dAioO6+Nt;pELJ`Kkv6ccRwxR`8g;4
zcGA3weW{<1T{-+s_TTfJTE}69=5k$dQooQ^$^XJO_*>YQ#wEp{H>-=*Zj1Cfp10=i
zw&VO~pU1r1aPo(%pVbuEJA6@go*PbiKHkH(>osHTtwOQaVtz79p1zN5o;-O<b&1lB
z4J$H&6u(s6o?dlmc}>ZrpmXJ!$A3+dn{DrZB*pmYq4{R3&)MCy3RF8+{-<*H?o>Vd
zGM3*U_bI=ObGxZ&WLBA^$>jeboku9j_Ia?iP}MD^1aMxNzBOz4`i!l)e{@oIpZe4(
z`DdQS|BA-CWA{&6dDiTUwd!*A6o2;qy9^IYn&jLIi(b!~;o0Kc9Pb<bgy-I6wevX}
z)^>#^Zk{y%Y`J=8_Qu^(r)IoJdyuL5a@~w6WvMeY{_o>8s$ILic9nX~u5k5E6I<<{
zn`<xk@t&<VaP-=lvFq%oh5l*3<DaX(Z~Z$*I#vF=OI_~rEv)8?oAzBXm?j^whI#&R
z1;s1H`?e`7F4JWy^$}uV;Ck~};Pe{K7gO)}+nk+Z`!g{-Y+gFgm#~fBEl%$!`~5F{
z+2kFsCmO4Fsnx#K`nd6B$*uqXuVs!k+eY5s?r+8W^_ifCxYzs-?`NO4F`fT--KX<Y
z{O-N)?NXmxb}~BCeY;MX$Lyt^r?(tD*y=fd>Q5VG*}6T6a@BXH_?|cOkD5QLWOK9p
z?n{-+zHlzB_}91p_?os~ny-J%Z=J<|=1J^vyRR>mrd=0j&72fkp4I*-ZrhpParxnq
z{xXxoCue5Md&Ron&3wIL>$-A1-xAx(IoJDqlZAD<XPqwJQ{yAMr25n59+~a!Q@X1@
z6<w}1vi_JZ9^W%%UzgoHyKi;BwpkqB{^!-IzT8E1cV9eH`DC*Ap2YD>TYTc~Y}b4B
zYKGC0vfU>QJ?4ImxeM-=dE|2JdeO{pcZ09}@Y*G7m%Lp*zit<3I|OL8uzkjB)7o#?
zw?uSU^X>Th@wj}x`s9<LmB0UdJ`Wm6xNBGYYs=K9Zyz3Rm$$9?QSkf4#l@?$U%gnn
zw<Grd!u6}>38#dA68Zb@`6)ZK6)&F4zupi!y?M(0k4H+_mhY;QYx;X@=Bmi2mZmQ!
z_)I^(i_auh<y~ZrLd>_g_$w2(f2%z4SLNxi*JoCLJlKDhS@Fg4Cu_SS=56|^_3vx(
z+y4P^)4yI`vGi+Bpj>UxqhHJTUVrayc=cB6RVR0QrgfIa`Q=kTr&yOg+|VOGDeYtR
zW2L+LSz6NIU=*(1v^G!gLFe?PDfVw{zM1aMzHoip{po*Rt?KEMIy1RH_*06Jy`A@y
z_LZx$m+!V%#<TYBx@w-Fa@+EY3A?V{?Q6Nwwji6shS7qhQN1ETVD^tHvDZ1aVLL?w
zlRxi0pWM8=`1st~-9_&U-x%LIpQ-+eU3B^6*vis*mlErRUhinD+S57L#+S`W&*z`y
zl@F4~O!?-#HtU;u_zBC`o!_EAa=m)H>vgXDE6(|^18%n+Q4gJW^+sQyo`!ht>&d-E
zmyCb@o*#1I|C_4+yL(gZ<F?=0!crsG+!Ax%^lo2?VXhzpX#BS&W$oc}dT}d$J%5{G
zo4?Y}SAMG^|GN5XA8I!o&uyuYf2HBR;NCi`{XYZzf5fz(^JF{as_-)A`c|FdOOyY2
z?LQbA#pK)P=(O(ntUUK!Gq!OY0QGkn0<^2;D(*FJ1&z@+7;-d(ftF}61n5_XaILNe
z2^z353dn#4{usVWX-B1=SildO`A8OEI0zcoWeAwRu+s1WGicyZg2iD1Xb_X(%JNg}
zznGxPdO;l<hJg8<OSUc%^#qv+vPJ;ZG-Ftif8e^fHZMpJWQ_sD8i|?qmeI0M?FS+5
z+1t2i^VR8HeLF$I49650nm{cih68gaE?TTJ=?!yjWF`j#0|UtD1z@8s?zmhk_7vY}
z|GRU2zQh-h6$v~{3MHV@kb%#5Qpr4tC%s9``&TYX)=Nu!zz#CE$B}{MHK_5;U~xj_
z@&ER&Fu7Aa-=3+6f+UYAFgP9WQ)ggkIQ+%Ch9B<g3!D%mH*0+SDtQugOc}@#df;i5
zf*CtE^>3KrxyxM$>VO5>6~}}b7!Ex26IrVzbL?NfW~S>UknssTObfihp|@kBi9SqZ
zvqcs-xIugdKhWqsn8m=*03KL|avrcWszaF!3>Khv3yg<b%Mn9Q28I<8@s}bl1zbAt
z=cajl^z7@G{_IqMgfK(Hx1{633=6bChjrLaFUk9->w0i$@aIj9%QD|oFW<%IbCfqJ
zUjMPvrEO2LPrd!b^<D4J@31esZan<{?(@GV(qIQ@9qLnOXvj|XOz&cH4can0Gcj)V
zocYpPTz+#kXNk<4IlXk<mxhpOtv~M;rr((t_TXM?@%^rMccU)ZJpFHO{pa50p8xiz
zEB}Wc_@0>Y>cU3P<E<;bucrh~*bXxNO5*`xh67XgEsFJ4{`|go5$D6olk?*}tpZIt
zOV?#ws?d44Zc)RPjN|7gf2-z<+rs=^Z_e+qlK0nkNhaJouJio+u8RL=l3KTPuk~L&
zEgU?(PJ@X>As-Y=D;PmbabhIAs+P@mT)taNzN9Pqc-^&q`i|@j8q-QcGUr!`JkbR?
zp%jz@EUtK%hdX))K6r6q@ftr7*7?6w3>l^v-TR!)P{|ESlE$F)(eA-*HTTrr&%u6E
z{+*FvIFM(i!gwMYWXLNA&_dqz3m2tZ9nF36uTty#ktJdbQ#Rf}HQ@IPZ7wU-{)4l_
zKkQz`k;drIk><sJCAhz74=d>CKQoXezh`(!E%{R)di>GZqwCZeG&Ti&>9O6-oSOXV
zJiqE%Pq{4``E$KzO?bn=z~EpF9!!_*6=9usDMYkllW<J%BzcCSwIZ^CTw6@@c|}?0
z`gs<CjGhac$-NO8_8~p=<NK$QLJSNo{d4_5W}F7)v^Pm9aha>^xbju|x|kRgQkX%4
z3=C2Ii@z~2>^@=rDlhWz`~B+kzOpbltT^WhDi#*}1ts)TQX19UgJZ+)urV++nS5O^
z9~Afp7(qqd6jQw)R*s4c3>*4Ei%~!l9L~?nY-D8xvzb@v#D6sUb}c%8<@MKFw>R1J
ztvV6CJ+H7>Ie8KT1A~RxloCfHP{2NX5%b{X+U@r)J$<TLF1O;q+uPeqe}8+sy1xEx
zcKqej)AggPZQt+t>=zO!SFE*i$-YIMiVO@4;W-yp`UgSu-}yFw@nYq#RkmNN_J-f7
zJFqrxeR=Zn%WI>zm%P5F`}fcJ|25jDZ@<00JzllEury+3x?YZl8UsVXB^Q>tpqN)+
z-QQEc`)=0myK#Si|Gxi!pGu~MjNbn@=l}VDjvNS&uT||#{?Sk?BP;vz+uPf(zE=Hu
zUjOg8^zP<&_xG<qecHSB@9X&Ze<$bvIT<?h%UzHMN=la0|7fqjusQvFRBg-x=Vqb%
z!jFvS9qVe!V|HD=>G#I$*xB~aSE;|aW<LLT-LwjWf@HhyT3s8@{hm6!qTcIwKL5Tq
z-|qK?J#3oaYZL#)J$)~K^wV9dkGmf~&CU9BAm)SO`<~?QdU54?XIG!vbNQ-C{-!-<
zq4L{y&XdrnnkVf30~CLaukQQ|EDQPrI=JKa+wEU}eSN(ev}&uYyrg7_b@{s$*I&Q<
z@#BZvgO_v5?_GTQbm_gi-?@9gUW=Y|OSocJ>Fa56dnyV=Tb!Qv-JGp4Yl-xeCC39U
zF1a~#$;`@7!G>3_pRwF^x_IQF&bP=nPZrO;5Howdyw$;qg+;sXs=PG$HuKjcx#fS}
zfaZ!nA36Lx?{bxp_wl7aH|MWQm)ZUPo821O=X;Gm|9;fyTYcy0l|9qcc+H>PH(sTg
z{_X7dZ}(E(-rJCR<=Na|_R?ef=9`}PXt&K@zWsUnp6pLs*FU|w{MUxQszqIUQrGW(
zqqp4n^R4IQyUrZnz32M6pP(Z_If9-ufzN%(`@^}ws$b5Q>sb`&Je{{?w_l})$*#D+
z@U>02N#M>9la*8FoS5_KtizovHE-A5VVnPGa(ATg)o;b~URN=d3GD8xX0KV+dT)+{
zwf4ti@l*U^en$6pdnQj#tDPLD?sebNEXbrYr(C+{Y;EDj?u4vM<*E0IXHIm_-B*#c
z@A@;}CjY!Qli%n5ygj3Od)L&Xo?ew3Dxa_8yREw`U-Il`v+Dt0>Sj->)O%~(=R506
zsVqlSbzEHSO8(cY)K{H|j{K?ix^}wd%S}a7`j<XxRX+K>>;CS8j9?GGXoK!J+dgUA
zq-_{`&c3|7{I>qz^ZK}0Vg0y06>mSk`dW26ZvFPR1;QWKxL9p<yq3Owx5&IB|K_Ux
zt37#r=i&2Ja@F@YGrzm++MB8I`FYs&$!}fnzkl^zE@@K5`9-pIi>I77wESS)bN07Q
z;7*740hc~=y)TxnT=wex+fRQ#f10nmy1)3{-O6L<?Wg}fu<!MzqKTj9{eIWBwKR19
z(x+Qj{@U=eYSF5y9jAWnUBM&wse0aQaZtu<c~EXs``r5eOV3Ns=hyF>TJm+xv>(RN
zw+g<9KUlr}Ue)WT)$jLy-+%o0@!R&l7Tf=Nb~}In+WJ4o>!+yveZBwR>bU)NYvX@T
zjla12{l3+wPoI`P9=)w|t#RFF^ZL!Jw^v<g%(e+O@eD8V>5E<a*Wzim@J>s+>@~B6
z7pIoH=zM+F^6JE&`+Jtv6seV4H@q^qc(&nTX6Ki<S?@djE9TGsz0X47e{M+K^*g6(
z@^31y4&asEGEe*ejxE8l_WF9~<iyJ#eKggZQv2jq#P0VuHl1H}`}xm`eN(P4d*%G9
z^Y7UyvITQ8zRNCt9B~uWXqj+f=HhR0d#hAC4+uYqT7Ml>u$5L;-rT)s&z`_}AdiHv
zk9!F^_2lQLrQ2@jzGn94m}dJ;^Yx8IOZL2%eDy*3$+@6^dqY0DJhpoN>(vaI*{^>6
z4ElI}ir9`j6$SU*tBR*b-K^ezVYapIIZ@v)@2ai@{n@cB_EKu<rC&WtcO<H>+|E4s
z{iecklf^Z^WGZI8{&nK~mOa(G+;`qyy5?tC-0W5SE7kcnoBd3f^U1VY<(b~wCl+CL
zpz>9v<fWwlfA>q?d6p0Egk4%)ey{TR)$9BJef?kl{M_8t`hPy@|KAk1w`%F*$B*}4
zN<6=TVU^jH*}^TApVa>T;<NKEO1k9N_4YT<e5<lGH_y+Q)3WXS{I2MgKTq!3cd6e^
zCpvts(Y@kTcbhrNl<MYle%KTGXNCL4&xs)g^=~(qPm_y(9P`rA__xl&pL|dA7QI$*
zkUpIq{8jO5%j_DPb3blX9Ivr4``+{qRMAgZWZby?ea&<0|I=^thP>|o|D*rwwdnlV
zzrUZ?y?g#9@9@?9zt{5ra%*16l5VZ{>0j+|Vxi-_e|`VskEd%XXMf!uJ2zk5cKWB}
z)*nk2m26}@6sy+W&VFzCmb)@5{BJf~+;#N&4AF{7iyBVU9Ir~c_~_HEkXjGhhs)OJ
zO|2_=a$?E(R}H^GO^E{*N}LQkHr>s;Z?Vhh?f(m2u@M({f3aC>K5uz^{KX?_x1Psn
zRGm8!JN3S7(AV_2VKdGjx32rI@U8f;?PtB!?{3H1|B@3par>rW*w2Ix-W_M6V<6FU
zCt}Kp`Kg~jHa%fsVEDg(@9&ejw_h+Z{QJYMw?|9l3Cpj%fUg`{RZOY3=hieGvTUkt
z$+)hgyx_IiH^E1#Vys!;nOs>)0vC8l*K$wVsM9T?8mOfDuZ|(neOl_r!ZeXR$7eE%
z1y?X>8ONvmdcXhwqtDOJfBgA5{oulvY8U6U+)<gQ|MyDE(wC=hOkeWMK<vE2>QxHY
z;y-`468va4Y3YtIPo4Y6Uj2Tv;kQ}+?&r^=OxUJs-Ya=r=yvij<Cp8ZjyXR*^6c%8
z#G~7`t&qKctnPdg3q!-&pbDl1J-3<d_b(ImaTENQtKxa6`^)c6i?Fl}Pp`kvy|KS-
zqRO=Q%AR`h$G%N^oRfBGQL(J}ocx(Hm0q7I%Sx(Wn{8v_7xH|Ui*@WZxwB<V3=K@n
zofsTA-@UrKclV9`sT02~bhz31$EDc()Ax;$U+yg0AL#o3)v?biFJh&h7e<(M-<`GO
zZQhK_VZXhPHIxc{^L?|vw730O=c^v&M_SKsrT?yby77!01H+UBA6OhD+vn}rRoZF3
zP5<c0MK^ixdQ6%a`eOZsb$N^b+*8{7Wrt7lKPwf7UfJEoS{bXGn<`R%JM<=PjZA_Y
z>Z7Eo7yER}>O`G+Gp|Q)mStvecpZ_&-(VznXwC9vFI^|;ymg-xv!;6HQfCdDyKYAU
zU5{&dzWF%o<7>AgyEW`zGn<8)2yf1)pYzX0{`U8OQP(Rn=Bx+{{Ft%hNul{_28IJd
zT>cDGw!X=G*(Z>DRbf)C%{})cCV#6Y%Z0y8tndH(HLLml-mbUro0(@`oK%=~G5xTC
z-1Jw6EiSUSzTG(ebEVaVK1PNGGOg+ir=q51ynOq>Hs$o4Ew1X5c3-h~D?0wGK<!-l
zL><vDR!aN4`vZI5U$s-3ef)h=^ZokEABtCZKiyFFJ90zDGLNt~5?j~UORLXXpP|3}
zU{ig0)U`fFhJ;*@>q562xwLLi_qRJ6ZF@R?SL|c_Wuf#>T=2eIP|2>ol$-N!uPEPX
z&H3+a@1@tf&KddLTr){+)#hA{j=bkp&s6Vk-rM@@_@<mUS;0L$!e_q+T$tAW@r&DZ
zNABB(3=C_0A96N?irjs<`|Z+io6f$x{lK^C%&`)olSba_57kA_&Zv6xPHE=eZ~HyC
zx>vt>eW|!|{|l~zVZGCPu5P}*Q2h1%9SLiU{Y)0>mS1{5yMURGf#D5nt2#rNVb`B0
z*R~1o&7JwOM6~<8N4@B~E$f^vPinh6=k;HKlR4YMC#p=3cbSw?CwuhwB$JEIzJ;mP
zU1<?~;x+bm6aHn*u{g7Bj(PQ)qIdu0?V1@G7N~$s{c836W3F1&?u&hgg6-vmV>i2P
zytm2A=DWa8&d*jto9<TF?arO(d5dk6%IEGa`hHn;|5KCWt~}c=dYz-SJNMLVM(f>k
zZZG?7ZMt^<wWYj|T_)cylAhkp!qCvGVZ*p#RiTdGz8vG3rB^52;Nwn;bBq71bGJ?W
zX35SIaV|dBbJnjG3saw{GJXH;=8Efqe@=4wPs_SJ@8YD58qsp4GPB=SUODnFYPz$W
z`m29FC#1FYE^pg(s;G^D;X)OcKf{{GO7ql(syEK9owtc4P5Q~)^qV*RWPLYJxi~G(
zT>H=3;Ec%a1=ZsHoj*ODAJ^`FvX^(;mFZn+r#I~Mbc~mBDc$Tc>qh+Rq7#o@?yf7A
zd%y07B@Y8b%OPQg*E3x<^_<_6c(i`G@X1e3xfj+egiQ<3dak%_@)@~hwaI&)y<Zn?
zv1j)0TP}}vxBacW=`(xcvVEo7z1O|o^>^XRzgzX%?fkA}iu`olS(~lSzz|^Fs?Kn&
zRQlwZ<&m>hj*9K<dizdxtNy7Y2^v1yGw**_*_<c%#AvVIb?H6Jeb*;W7Cv=-;`}SJ
zVRz2!FRn1-yBfLe&y5!izq4ccD(7SzvY2}P+*uK3h6Yhk2zLhB=-QPkd%g&LXml&o
zN7L(`p7*+Mj|^}6Sx&BqvpAcybJd!=>y3>cC$2lYKDa^h%$MV8+uwIL&ELPe;LZ!z
z!iC+h?Abr{@UPi#_VDvVf#aQ}U5Vj>AM3btD>of2<6&S}yYK_cfo0FS{X<21^pf|R
z)vR~ASZ5MG(SGt8>61k*r-gpon8yihJ{^&JElz#XB2RU(_qAcqcAejMZI!q8H)YR#
z{fmD7mh9!em7#B@mXngez`%OK)5S3)KCF1gx2d;poS&)l`%b^u&hD)A>n02LU;Fv9
z;Kbu2u?KfdNEf*Je)pCP&%Ny%_6svGtnqos*`U><^yqelPsU!){?O@nPfu!!y!cYD
z_HJSKqZ#7Uzke*zJe)J_@^6nWfAPRQG6Cw(t8>3+8toQ-+C6V>#}3c+M_ofE&v~={
zLir|^FDjFkp7^GDulv?ZgWl&>Z$BIL9*xzxSKs%x@`U8#<GL@_ms)NqR9e55C#mqG
z=IpOqdv8Wxx6U}uz)<kPua%*pE5&tDqRqJ~DVIq{BDe8-nAhf&egCEMcdrg(iJ<4F
z%&AXX!*1qh)oJej`8RRX_wDDhT{}OYk8!VCq&xfOmo&#a`j0;LeS94;r$hGKo`0b#
zCx7nNJytOF^Sa;f(>60~nkjH|p0l{+`pYvjpHDnibooijG!eOF?)H1*7B@+xUjMoK
z#`@H!Zkc=5J^K0PM4ii><>w>KtQQ*_=ar-%>+wwvyn16}cj4l7cDr7bvT@7Z4*R`w
z@qRPKYrAFC%PRNXoHwyMt?2HO=M~fU&9D1)FYb6*T7Igx0blwpX$FQ3o%#EIrrmn|
zb(x@HZ^z4i`+pX-zrVfx^7i)j{T+N8&hXp+F_7hJk3Tlye%<ffUk?wrzij81-zPrz
z+R1Mhe$3d~?lI})`%A|+KaTzN<4y6WX@0MkpV!>oe&y_$*Xye8Jo)pswErL1#?$Zo
z;=j$3=T6%C=KFouoh^^f@}1w!S-*Yrg1h_rRSIY8{<rvj@7|HB>a}NPAG^$S=1uhv
zi|hIK&iv7ty|<7f`DpFAt$X~>e=gEv`+R-jDT@%(vNuV0R;*sHQ)F*`Ea&#R-`RIJ
z-ur41c>E{d^L6R>3U@x;c6ENHKLf*oWg_z$d^Kz)E|&M4^g?Z(`lh@`hLK@vhTC4P
zSzdds_xO>Qe`EHXy3=XrF@Lt|$9Kw}Zr@B#F5M(4l&|Dzqo>tWqWw;}``+P2kKX)d
z-q&}xV$Q;i8GBBg`>$4ePC-Zdrb@W+^~{O`f481Hf61&zc<#*q#x-+(|37rKZ{1Uc
zvfu|y3=PexD{UFJy*0C4r(Lmjx7g9Qie|U_lV!dwi@5$LsC)MdknyFbAN>=Uw)Ix}
z`o;5XThw$j&2uHypH08D)_Ggbl8+n=4A)9@K;wrWQs3_=d~^L?B?H3+4KC1?2p@L%
zERj6Sz_5X_6*SQ2k!J1d^pKN*!E6!eUId5RUoSad1aX%@xV)FvD=%bVXgI3@x+&p8
z+2M|gjt*-ik+j1dFIsN;F)##hf(^X2W`5mPP>u|702$k`?Umc6{g-o9yx%f1Fh~bg
zFflMZxbRgu(l7s>!r!cI!VC-{E?|Yurac|~f`!JPw;F%{><O~YAyou)?}LTQ-;N4l
ze{SEu6*_jYZkw*$D^)qF&cLt$)Qn<aIKU|N%;sKq%C}&bpaLmQQ3i&P<2@j+@dYkF
zQhWx~-s;i>IliFdm}*^}t`7r4fG*gnd>1u7O~1IiuOr-vg@NJf=HsASBHCXmO`7Su
zcjoat<wt%Q3=9d@5J#kJf62(e@TOtuH&BOzfnkNq!=B}vH*dDEw-;AkFa^Z2wiX5r
z95Xab)6%h#m6tz$@?@t5<5C%U`Qslqc1{87%MFdF`1N}I{zvES|Mxt8{CK+k|39C<
z3kuf%|6A_T^2BHYkJ9qxg>`ju@wH#C?zjK@CAj9-7ta8&-l$a@K79H8e*ba%|9^z_
z<M+MUTk-Lc_(P^oHNU=S{`>K`U)}qy@AAtt{FXO?2GJQV2(`8@U%Ys+zIXcEd20S=
zr`@x*w44~g_UOqI6+eIf$3K4jI6VV2AjaTeZL4WBcmDk27cU0Z{QY{pu%tv}|G!_W
zQ#UtUWuJEW@{jNL>mR>(q0!gZ#{x=L3=34bmaC;~7FX$OG!mHwb{z_l(e|G?`ee@e
R$knxA^`5SNF6*2UngD(8Fm?a{

literal 0
HcmV?d00001

diff --git a/main.tex b/main.tex
index 60c74a0..69a6520 100644
--- a/main.tex
+++ b/main.tex
@@ -13,9 +13,7 @@
 \author{Tung Anh Vu}
 % TODO: Make a combined logo for KAM as on the department website.
 \titlegraphic{%
-  \includegraphics[width=0.4\textwidth]{logos/kam_logo.eps}
-  \hspace{2em}
-  \includegraphics[width=0.5\textwidth]{logos/logotyp_fakulty2.eps}
+  \includegraphics[width=\textwidth]{logos/logo_csi.png}
 }
 
 \begin{document}
@@ -24,7 +22,7 @@
   \vfill
   \titlepage
   \vfill
-  \usebeamerfont{institute} Contact: \url{tung@kam.mff.cuni.cz}
+  \usebeamerfont{institute} Contact: \url{tung@iuuk.mff.cuni.cz}
 \end{frame}
 
 \begin{frame}{Systems of equations}
@@ -247,7 +245,7 @@
     Suppose we have~\(\vec{u}, \vec{v}, \vec{w} \in \R^n\).
     The \emph{dot product\footnote{You will see during your studies that there are multiple types of dot products. This one is usually known as the \emph{standard dot product}.} of~\(\vec{u}\) and~\(\vec{v}\)} is defined as
     \[
-       \vec{u} \cdot \vec{v}  = (u_1 v_1, u_2 v_2, \ldots, u_n v_n).
+      \vec{u} \cdot \vec{v} = u_1v_1 + u_2v_2 + \cdots + u_nv_n = \sum_{i = 1}^n u_iv_i.
     \]
   \end{definition}
 
@@ -257,7 +255,7 @@
     \begin{itemize}
       \item \emph{Commutativity}: \(\vec{u} \cdot \vec{v} = \vec{v} \cdot \vec{u}\).
         \pause
-      \item \(\vec{0} \cdot \vec{v} = \vec{0}\).
+      \item \(\vec{0} \cdot \vec{v} = 0\).
         \pause
       \item \emph{Distributivity}: \(\vec{u} \cdot (\vec{v} + \vec{w}) = \vec{u} \cdot \vec{v} + \vec{u} \cdot \vec{w}\).
         \pause
-- 
GitLab