From bd8344a45b8cff4c0cd497803576689d71cf01ba Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Sat, 15 Mar 2025 20:35:26 +0800 Subject: [PATCH] no more blocks in thm --- beamerthemeSimple.sty | 32 +++++++++++++++++++++----------- main.pdf | Bin 649205 -> 648232 bytes 2 files changed, 21 insertions(+), 11 deletions(-) diff --git a/beamerthemeSimple.sty b/beamerthemeSimple.sty index 9e80b8d..4ef541b 100644 --- a/beamerthemeSimple.sty +++ b/beamerthemeSimple.sty @@ -132,23 +132,33 @@ \setbeamerfont{title}{series=\bfseries\boldmath} \setbeamertemplate{frametitle}{\vskip2pt\hskip-6pt\underline{\insertframetitle}} % add line under frametitle - -\makeatletter -\setbeamertemplate{theorem begin} -{% -\begin{\inserttheoremblockenv} - {}{ % does not work without specifying the CambridgeUS theme +% theorem env +\setbeamertemplate{theorem begin}{% +{ + \vspace{5pt} \usebeamerfont*{block title}% \selectfont \usebeamercolor[fg]{block title}% + \textbf{ \inserttheoremname \inserttheoremnumber \ifx \inserttheoremaddition \empty \else\ [\inserttheoremaddition]\fi - \inserttheorempunctuation} - \selectfont - } - \setbeamertemplate{theorem end}{\end{\inserttheoremblockenv}} -\makeatother + \inserttheorempunctuation + } +} +} +\setbeamertemplate{theorem end}{\vspace{5pt}} +% proof env +\setbeamertemplate{proof begin}{% +{\vspace{5pt} +\usebeamercolor[fg]{block title} +\textit{Proof.}} +} +\setbeamertemplate{proof end}{ +\qedhere +\vspace{5pt} +} + % more theorem env \newtheorem{observation}{Observation} \newtheorem{question}{Question} diff --git a/main.pdf b/main.pdf index a9e2ce582faea8c17afeb783aa9851afad0fddd5..54ed29718e61495376ee25278aee2485513566ef 100644 GIT binary patch delta 13180 zcmai)Q*@g~QyL!`(gUyV+AH_~N|XYW3YV5|6uW@XfFkc@Y%;EXfo8j4&~* z3R9bFCJK}g#qmu$B|8=FHNN;krU?NB>EriKX*^8lA6k0IVsnNb}aS;Q5D0# z2(W%(ni?H)^j=KV`0C1~jvM=ds}V<$2a8geS_68@^pj}qSZ}Kh+RCGv^_MEeoSQxe z3w45#2Nt04xc;&QiW-v@Ef81MjDkw8r-x{D>i@zb|EQKFfGFQgE15dOQW`FkSv5l& znL039i6wfJ{4g;3D#h={ie1=BnuBqx5KQdg{+eBSbzhC*c?V-T>M%`X3WGvxde z+tHW`K@U(uGUBK^pm2KjEq;!R%7sB#b46n9$-Sf30^FqT#WC&o+pV`R04XpKFK!Ha z6y9+_UVEPm;&;(%CM_~`E-DslL~l6!ZdA+~3M#+s_l|Ddz7MMguGZtD4Y(w}eYm)| zR%0obqAnOthm?j*YA^3Yb>H4&WalbxI(>O?ajx?DE`)|Y)G+XuMdd}HbZ*HzfYk}u6I*c zM580Aj8~!K>9eCnurv=4T7y4GVajvieM`JWUEK{|Mn@?rS?Xg!vqXYjVd9)h{EBse z2BksO_z`qiZ)hMhTZXM*KT;{KYNNY9mU^74Km9lh*8XuUvu zts5ZEA5k~2tCrT)!vw`vuANxME77wJ#n91rkhB0EZ|3M0cQ>53#hrN(6}M|zmx+Dc z>h!$RFE47jh26A&k?41zn z(XhNwBf7m4vR|vt7>CWglf0!Q5_R<@x0eF7NZUB^<%NH+lPxNmL^hfXl5SYMSQWrw znt@ZMNcZtPW3mw&MfX$+5(DL*0EWZXFFYD!1X4v@#Rw*1eC~KDgx?(PnXse498t+H zAL!azyK`{&RL`j9<--BMAM0PifewV54`+?MiHXgC_vN^*UV3;gZR0TSO8nJMHMgFW zAm^_xtNLE!o_7O{-GPYVfUsc}xVwUl=DXU5(%x;=4S8K@-plvG+o-5yfYxB|sM&}4 zYa%FYYtiHeu-zzh=DV9FiDz7!HZJkoDdX|ho`k>R{U9+vipocfz;!ka)K zZKHA|)C!7Y_jgI#JzNdv{!|6yVG-x4|61h$${jXbV`Fj#OwCUw(xT%LA@H3CE>|d` z>C6lfAM0)mqCOS^6AYvb{buU>M$Jrs)1Iw%>ui%N=0=CFrS_^_uO)}?I0O5oamh7L zCx0uk@+U05GkIZJ{{b{=BNJ@R0w@zF>;C{Yt-cw%$&Tc^Tf3)BREV5bZXJNaJ+>wg6Y1#4ijvKkO>=aB!TdT zV2>r)lxJBG&KT&FKTc0E*_a#0{$-xnAVLRKhERD(vue!FDz6NTJ{ST> zku$PpWbSeK!phm4sD4+c0_@FiUd}H1hJkeqwd)5QVONj&Y)=*!N1Vu#^N+@b5?@0{ zS{)*A?$)I4PP5dR%Zs5Msy&=PUVRp~i1gD>$)}MPM~-i-xColf6Y1OEHVE@YgcvFE zG0p2^?;Is%o?kX%F3KfKDG@2zutNdZ9G}fOqG{`%adIfw$q1;Y*%FpY>{jtSgWBS{ z=k{P0c{ys_l2|vkc8)K*Uyf)Pa!w};Xc2}>wz%UAB;4Vki_2AkW`4b8lS$4o*;Vw!-p@oqNIc2~w6(un@@(gl!1hNz$`4OoJZ**OAw;B#8R9u1%v%;I3JF9(s-KuehP61K4>6uKn@6Wt8( z#P$v3CASni^Lf2;dyneI`VGz6&5>7YyblEn1T}iCk7EWU#9c9@Lw+kyF(ANABb}d- zCw0i;1{|JiQ^+*U1U4A?{+dK>X?*sLij+g*bhM+neQu(9RHK4G6vzXt0pZ*%zn&4n z=zvj_x8yTqheM*p_29d+Uu=Vc;JNn~bF(oR$Z*E4JR>=&i!k*@Ua3E{pSYfAhF@u>~J~;K0#7J(s;vj!t9kr@< zujc-0g(TP&cLWDGlAx+n1|j}Y-jZ|dpKs`(P>5zyPqO5t*`2G5h(~^E<8!6$g?|;Cu8jmog$OP=>OKc{~Qnb_yFqF{7n)STB!gG;YL_)nE23|#@ ziNPF_bPo|!p7OK!-m7^!;gHM&1+bQv(v4sXi zluW^J00v6?CA}_Aya`+Js-9|-`Sx};GZ$?L41u=?+Vvr#N>fA%J6cmQoJBckJYiyE zL|TwZ)i%J}eA4Co@X_;fFv#E@s*h_2qb3n2h@t)ZzZ?SLQbnqK;YZKdwNsx4t29!B zvLq8zK(l>m_GGzUnLj=LelSib!AzwG#IY4k0J48J8Ngx;Z%7DFSMpA08pJ@f4|_85 zXX9V^V8FGADj*LRjSL#zRy8$S@yEIOb<&b5%2SuSEb)jPiipK!sBOrQPP4a=XM$2< zs|*5>@yLyETe(PrP3{vn=(iiuoc(yAWwR*Euq436&SCm6Rh(c7bp3!b%KLOEPngH@ z0cv$ExW`KdM9HUy2hQMG3Fo#mDPWOh_l>^d0wKxkSAAj8CKs`c8Q+P@nX)fW16XCd z#N?Fh(bpHER`v5y+M@aFfp2^&t__93#4u5!wAYVDxHcm2KBFpCU4k`@Z(uJbbLGQE zmFXMg@4qPPanfKJW(N=vRnKvwb>4W?0k)JSn#;+ejJVU86yb}@X#f^YHj+~7*>X^v zFeeOU{$W`Hu*3C~+yq|_nanFQ66ZaY!BTo_xq1``$2H?(`3!JKQl~rvdq&E*DnCwQ z8P=qI&~}ZE8PhNYGgEeI9Qm9$}S7%<3146FnY zEN3J4r(qnDS6sl@*(j??g$r{mU|8sn9-5m@^337#@^Zh272d3@C^{%zdUJR94>=TS zI!NHyng7Ig1sgZ9>1x6^1fdVy58b3+Kx5>|$f0>mwBk%vcmx5~83sD9V_l0jp0 zdT)6gURS8;?N@95Qpczj`-A+VE41y$H=DNh-Iy`W|PJfDKQF$xQ>8{l04VfS#=^spy=s)(P$gzsFB0Jq8}7 zWX+iJ5OXgWwpHJIn0+e=o73cI$Lb4s{pK;FkTe757-j6-)N_IXXum`uZcL?pwOGW} z$IssRp|c4@_`0*!eyMG`y_A_~yWBleW;pgPx*kpMTv@tvxcu~Pm!$S#$0op}Gh`m0 z-2EoHnh|u;m%aU3Y^#vAsO%$lc{Sgr^lJSzvzH3{kTF=T(e3t&T!AlR+@U>!SKtG3 zJE=uO`Z)vA-Iy&C`%-ZLbTn|hk*9CjU)jqE<8;UC2UO!tc{&OC4K)es937OIndAT3 zQ+4gQO%XJ|U415={ctn4o3!e9pa?Y;@ClTNuwulWAxT;z?wD@0zn5Hxe@OAor&^?u zQ5djCo$Z`^ZnId(ErOuDJVnK5LQ)3a5q6M<&<8`Mhgb)bsaz=M-Y-gFi+^l}gQa7k z%#y9ZX_^C>UHrEnXKW`z3q}}`=94u6`)UgCVhh@>xx`MJVXmJk3*22E-XD$)w?G1r zSs$iAIcg|$l~B@A?FAI1{N%ByqBHpaP|4M{W51$L=WHM!g%bGCc*GG^d5QTCm2Ul? zMlt_TiEB%zc1C|0Y1KQ~X~b@xXfiBg4mi3iN$=L}>Uei!;w(l>X9AtTi3Ln#e|5Hk zRU6!*i_BCD-g=M2K-1?x?!hQ3V%a0GB(Z(0>zEJc(?qSjL9($a7%Lgl z5XtHts}Fd_FMv|58Hj|%fetTSb&?Qz^^5u?sY-;(=J zpNI(QNFFV%QJ~S_TDpW%6ly|Q!I}_4tjas9 zL}}t-IQuFCWqvpaM|g3Le&oWH=^J+$dh;suWDhNFV_HquPMWPFAY!ed+?!V&@IC#W zujgi}{E`ARCoHQ8lw(X)h3Mc*+zt_#$Ojc00zp;fK}mZNvUg3WQf9(=EO7B=BbPE` zXJ?n={T9`zSR9M6y|Ye|H*Rv(`0TU=Cu;$vgW$X4L1k$y{tvP2HVKo}vn5TBikHML zY13wS)P?8w*#I~|-41tp)MsnY3#;jN^Q_SMQYF+7kq(JNTWAwaT zMl}ejS|tjmbdwXwcK#M5wVnnM0+f;f(A9P z@U8-?mc;!MnlyDk&T!xvWp80w{yL~GXS6Q1s*eq#l-~O2d>{m|rwlchU<|7#9Y*qx z{aB{ds7N|CAKL~cM7e3pTIzMx=?ru2*C6ksl6%s{Pt)|w%hUI6ydJ2s1CwI9@-coM z3*`N0`Uw?a74%4q$dr}|r7RTUx{_AI?38k5l_Yk%E!dmJpQmbgt+y|bg;kxGg`iN8 zP0=#iRA1)FYE3#85pfQ?hzZNrdH0#*!?5v5_x;02xkha|I^ybKrPph_4f!fp-9frS z`|QB*a{6q7HRnZ94Vx8wLESuSMS~Ayy{{O)2G1D)B!VyKr|XjRM?sU9%^}GZ>mx~_ z#!BLjg`wZ66&~?P7@d8~!gxVmYR%zrhQE0j0%f`RdlxM1*6Y|Ls6gq3?rJ`s!3rfv znxugs0JLhyDg92`Xp;QS9)TY3KFd|7*xR`5% z!wyP`a|=IZAoA|@`*m{4gRkww9KXU~8@D3t0W$wIqEp~{zp&tw4wu}Mv;aSMorT5?-#R4!atjl&}q2HQTq5v#6!AUiVt+G9Pua=%IE|{+YVn1K#x2x2S*lbCN8y?zNTh(1VZu-_6F0s zsGgMgRjX=Fcd2NYT|UF*ALB&MWkh#TUMaG-8TfR*dd^I#z|CX^4Z+I+PM1G7IeF+; zzCcG?7A_Wau%vbK&nmHYM7PRlOco(SpjZU_+(4S=D{<(ATy3|#rlMLanyM=pXs?mp zJ?YW)34PfQ519K~+T}UuHjD+IVgwW0S;#`f&a$$Ze?<%0yNZK}S5Oz>mOv_-c=x=l zoL~zCL2wiU+Qa`$8z5W*0#o)ab#WmrKNOySUxY{tfll4QRX6%84uMt*@LDi(L%8{tc0~w2}AqpQ)AOx zHQOg9#Kk2W|8~^2$f}XHe<-TI^#HeXwJQjH@ZkaPZsin71i(oEI)y#q#z(?~@MRT9 z_Os8tR3DpWd&oVt*mvrFn*jmmy#^Yab}Pje-`TCI z=CsBvnRYe%Rfh4&|Xpy^RtjoomEZ9S;S0VA;S z;41Tw9+o^m0aVG-{r_T*VpcrJQ0dr1$3Q0yE-jLlaruL6fjst%w5yU%>lW*X|dzl+I zYyH2PDAT}3*B`b8)e>ro3&Tm* z-#lIM@2=QScJd(K(5ze%GY=AkA^H=(0aywK$wa(eeYk=Ko1O4V@q zFS9yO`^E2wyM^U-|07e-w|fasa=p^p_|4xtD4eD)n;;v|S4ZU->iiE)bJ4iaB=+oAR^U3otKwUR zA|_cl`B1A_AhTobgfE$hvk1P8Da`p`hRL93aO!m^oLq%2x=x*DB%sEe6&8DH9q52K zF_O!I%^wn{%RwB!6c~iu>m9#8HzXKy=rdnVv^g_q>#I>(TGY%~G;d^%(P)2oC^IZi z_fGabeh&G>pIuBunX*~+uh}_zO;RbFqE6gjh7^X646NM=-6i#x5LI_DHY*-juQxc<&`tjiTp-G&gM{zXD&TgCBClT-juNhL;= z30k1P){eA@VQ!PA_qv!4Q?EJK`Sb74h)6s28!n8ONa;^5u<#k^45drqH zN?C()x{sx9B_3S)V8a2LeFlIVPJt)oc<4qXB1Lp<{*abcxgv-yB7spY3jSyvz28gZ z`$?KHXr{nmz-VYlg4GScL1$vq%LSMtVh=2uAl7mTE^yxb*_tz%gH~2!*wTNaWQMiY z*4}G-kOiWK$OZ$t{mq30E5Kot4b<!I04favP_v8K@pqspp>9;eo{B1{1~Qyn6TVTUH_rW=R)u_FBl>ZDy-sEs3XO4>U(;= z7TJ0*m#U!JL5uwwkM76d1u3HR5NF9s>uohXrrqFct8@Y`KOo44D`diOA% z1T>ihY#}(Apd4(>!%;AKzAPGAa4cywvf3|P7|eN6WY!!-Vy|TuQl-cNPC=8dzBtOF z5^;DcaX?_S>cByVvIVG?dC0H>U%qvg_~RMeMxJ+@XhhcCRtF_d9VO2xuU2IUBr&=p zKL`n^k_Bjlzw@s^C^ZYjD&TwIJK`Jhy&#O=nkdNBB^KZ!F#`{hz!hu?;94W3#FYiz z5(;ymBFz3}fqitSSr-WdF~OztrDRYjG{w9_4uJlHV6>(|eq2u6JYgl$D&r`mU;eUr zU3G9#Xq5&!apAV;8Y57p5!|7wP3Auy`?P4pEv4qt)-*a6!9+=Om68L_m^LW#v8ImT zsh0_%^{j&d)?H8Wz$mv&aJZn}1A$;ye9THW6iiCd2dHro6rlZ)U=$Fb_NZM*RdKw5 z@&H4l)PQZ?7vuFiXyg8DA|}ke-ZEm=k-h{RjJ~m@vA&9oFGRe;ko@sR0^BF4omj=c zbS*se%KkD&F`yiCd%0dXI^o{yK5nD??jx;se>69qF-UeR`%brgvAj-IOU_e|n?&c~yl zHfsPqKa5e_ijhm&0k+>~a7~=&`MnkT(ZeoBp!nd~>SySVb1qDHt>CBE{68W1%m8C9 zF*tY9$jZsdB)agC2ug!MB4CHkwLs^ON14E(FL2$z1@uvYYs zNBD3{XDy?D`5MVjL0GuO`05%DN%vg%?5Y$}f(E-VMzPG@<;My?o#|=WdG z9J9FQKjpB#fV48xsYnT>t|G@Av%rO%RDL^$5De|c$On1!*ev7==& z2dUucVsLiwm`+@>Nqhzo5~YYvnT%OtH!vg?2NJ9jMj!?Zg-x-KPxY~mRRXABCu)F& zYGS~UEo4p&t|>dF4Z7_Wes^Of%h}RV>Z=|vhesv7AvMcB9}^d&C&PE0qux6#yoGoE z`h@Yuo7nz5bciSD@}fWLDXXmX(bj<`q@ul$9dQj64r(d_HSI5P)mf*u)SYN!%mN{b z{Bzh*fr`>7pe3Fy*;#&eodlStD^Q>n%)gdUDw;CF0bnVXGQ(onuvpZBK0RY&sHSI* z=Z(4hc|}XDgsi)&R60J}&>%aYUoAX>0iP^Crbo?|hkD0WuBzIHROa}0|d6a$^UInxsHdMw)K-7gtTNhiEMgdpin>i?LBvXgaPDHNZjWB@S^Y_ z+JChLge2oX(-5lM@|ukE@HCu(Sut5x0~Qdf;7d0}qORgBKd$0XH%4E_zMrn-D_DxT zBmIEIcG=0cW)4!y0frTQ(w*Iioqun79!sh%K0f78T|FJosQ%jqR*d!n!WlIWnJ4-nE6q^-4S)i_!K{w|Hb z%{+ke$IZ033{}R6+ltvtss1Eco8ssmHLh<=H3B2jA|B5|egHmSjtXkT5ABO_kB`ro zXG4cQQ&%y6rXeuzb@^*Ah-;5tFCJ|)#&O_&P2Ma2y_Gk8(nFwsCn?RzL5#9-aqD3r zsNC2!boEhQ-<|att`!xlj=VB+w_moF;KtngNC}>DGRcIDuwjY08W-y`7WokqVbPz) zYui?Qwq7xMumRYi8*G|3x=P!$oDi+qP;hztZUar!%QnzDX#%KCeHD+} zc_7C+`8H(n?S=0{r5KObmkDc!P|>i(-!@B=HNoj``v7jLJGIhV{m1K68l96eo(&(> zY8#14V!uk8zM~>{DWBkv{Ag!aBKmR)75yN3pBYB)7BUOd>>GLOo}2X1qL0svI5A#j z8NXCNd22_owETBdbryF1l>UBTsXM?Nq0~da*ug?hIUQ2tXCo?rFHiOQ#(pJJ{$KHxkDPEQO>eQMEcogE6)-D4LQn>Me`ebLWiOxY?1~ZMl4d>83<@Fp!y)9Txo*An#xPSWcBV7L4LEAePr{Wmg%^^ybs6UaY-w)T>P zwPJ!YvoQW|fLPYpmfsRX0-V;a@eNZfPu^^Nh-x?Il_(NZBXgD`Visi#^3lEpt@R+? zuez^T6SU0o4G1PZhp^>j-|j}6$L66EpG^Z}XQ9c#oQiu0$5UXb;fu>K%lr`#4KE0K z(U#f09vV8tCr($S2G3IYNX`c-J4}9H!VaV!-is`f0eqZ*t%!|ro_~_jt~P64>(5jV zRJWeWcYYwFSfH4HGfU*4;nFSY(X%~+ZJXRvx!Dlj=LHxO#RLv+sy=Qq13e~N92I;x zJec@7yoSw%2k9X3$Hfn1y;fJfv1xItrtgpoqR;4zM4-+TJ#hJR>|Z&3-|Rhg9g@8; z8N;NL0opFG-=d@gYXY7TXkVIy+@Ge=-ZW?iQ}ST%yfO?P|Eeye|7Gu{ zGn*Li&yaTrwM>Ltdue4+ z|1B$E%SqHz{^ZQCO|D1IHH$P4ie{{UkHeH}G`xnSp!5DqK+w2~iA3)Y zeZU`z+yk5C_^X7I?Mro2RiLhJ;?)Ja zgOoD|)H5vB$#tVfkP`HcwYZ`6x@{RAGns8Q(^aQ_*lI0vl=;3G!rg0VhPg$}s3xn` zgs8Nwu0^Qz7TI*x93|)?sVC)pt7IkFUiUfsybqhYX*%SmA?!qnAlZC!PR5mw=XpDO!c>(f=uzLill*VR5oMEeIOdb zc5KCCgm1rDX78zI4@`Bo31ZBVe-{;wI3M83*8!39A&rm|6=o$-$vt72gR<)*Faq+j za>?7u;+4lj^PwLd8#a4^)AsYYuV38JCjC;gy4uLBHc;9p6Qd&V^SMW&R~`Wcb7St5 z4U1b%Ii~TSw~;m<(uEfc(`_0S&B}Z}Ij=$v`&Wh#OYd_t-iQE-+Eo3OXT18 zveIA3DIY73XhZ3zv;q{ya*s_zfdI0~(cdd|lB`tKb_2X($+gaRA;#})mRqq@AE8Xw z9C}!=hU$48d|b9LhpaOLd1tXwmBbR#hgvX6_Ba6OskOBsE5`ZT^uWo#l6H)vKQz45 z^xn!(stPUk8=-%bPnI(z5`vpkmh79u(5n#eZ4jnQgQI0TaMf61w`Q6xhX5|x&juaq zOdH|m1C5u-rTfYp2g>@agG%;qBBQ0uhYPa|J2i4SdJs>T&##8#6$JNVIe^+pMlFik zs|yjs{1X|?boR1AZbgZdOVzs03FX8GC!+A@Ppgv4nr zJhNjnXj@Y?I%#YG^oN|SgsP-M)j)%n%*SS#xmjnAyWe}+PcQVueDSW<>h=E09J_&U zuGpiz$6DEbhb~;m27dN;2Xw_VMbIB*eeF%h;Qj-yLGg*{{m9 zd2V3TR1q+AP)4@@7EAwyuK#Zbe@96$dStl!H)qDTFy@c`nTYl5PGG+gJ#|A z^-4aVQO{6M0bJy>7NR#7lJt1!II(|xpyP}qvS=wQVmKV$?i@d^bpw_c6M~KW7C!wv z9p94NM2P4I7+U|`JstsDw-Z%XFjqnOFIPh)>8jj}w#nK}Dobr+Jc?^yqYBiJfGgQtY24UT70N2D2lSePYH zJqO2RV|~bE)RUX-nAj&0dW00oW2JK^1lf0zy4saH@(kcfZzdWS77v}Cl*Y%*?81;SiaK~HuAeM6b7WISKb+_%V$tbXYQLTs7&V(VjsIkhl zk4@VcqmLy|r$%QO(%%5Di>ChsP4&f`sg0_+Ksb}tSCRcxf1LNzbotUzEbNk8*TnepD9;1$>NQC?a#PKe-+64$FnRj&ae#hl{9T(^L0ANJbHN&xYaH0C$WL0QL`H&- z*B!1?V^SS_WWv69XRq3H)923-lZ*b^2U}UWN&hyydpNXM>rd;fsO*izpCqS&pkd}; zUK+%H5MIZa&d)g=E!h82Uf%63SkUMB*hhQhzz-x3{vS8O?j^wf3H+ZR{t5D*pjz)G zps8c2*_atwSXtO<7&$2z87Zh>7-a2DL=0U_2`NQ>Gcz)?F|siIzmit5Rp={NMPX4< zHZE39E+#=Xc0n;lE;bepHV!T!L1s2KCMISkVLn2h|8I#d41_2NRG-9){{hPJcuiP0=A_Q zH+6tH9g(KXrg(xmJ_HOV59*$7s=fLP#*lt0$m}ftuV{}nsw}&3rn~B0k9+e4RZ5CL zIX~7))Pw;MnzjU>Ao(rt+bR!-IuC~0kcc+$xGp#nrYsm-0el(b!tQ-?H+w$`5Ir|X zX|pnU?xHhqR2GyKa_-oy2)fa}^3bB(0!pqjzc&voDs2e9r2T5C&^#$nz3jasIDycg zOs(ei7+*l%28%n-AWJqKM$yY>3RQXPu0Q;&ti`^I_82^?2hwMol+ zTx!yk_?olW$WLN$IKqX%5z^hH?50Uz%=ctALYtQbik&&e&GKLW-ljk=2 zKGXmVf^Mr^d54#As^ooWllLt#(Y=o}I%6H0>^2y>EpE{z+yXYbUNFOgWovdJ{3Zm_ zpi=W0s&goaw)GD>KKxO!MrC_OJ-D2f%Ay87Ew={}@t@*t1C-fH4{f0z7Ui&ZL7n~32kWEoPjTM@H}b8nm{%ERO@j@Q8AJh4J(TX ztIfP^WopXGU}`e=h1vr8xu<2r@_BpJ7KoL5LuZA_hRpEt7+;Z%e>afqbt()pqPPa- zdg*^S#}far$d!-SDq-FWiuAAyD z{lv8T?gIqTfaBW&%sd~lPmczFcfO@|J18oSG^Ev1O=vxj0?^1(O`IZOXv+Z#iuq)| zwNx3_<41I&qN%t5Eya2=c??SG`lIzU^c1c8Ps`iAkkKrb(X2G`tVZFP_SS6m?);-q z)6)aYnP2Kztth8Ty$>^mGv3-+h-sVz+fMX=6Cbacw@+8P(@7F9MV2N3?kb4wmh3rj zYXL}+(E`Yo0K0j;IjZy4qf6}FH*eSZ9AE7{+YR+i*<3T&c&`eReP^z z*C`*RdYYlCiv$D8D-JNhcfV-9uF5PrXR}$^0S4odlZ+mr@Jr|IxT}MFLH1XYW)<-8 zF!Z>(sb_B9)+p1#`pm?jsrg{zetm}tSr6-({|i;F3pImub@3*Dx8Dq14?#oThuOt1 znI~=%VPH>w;NY-Aj})dUrr#*tu5_>QB@8;T^3_r3GJ*u6kkE+Y0=O-D;o`J&S?RlF zk=VC0%5uCrEPxtfK?T#o@TF9wNe?W)OHb=--+S)%Hrr4ypi#+(N)CFBBdn^r-_z*K+G?+Hoj@B76 z)o1Y;es1-s{UCbTL}WF5VvLmVU@F)~D=+SZRG?T5|2+TUANbwVd?xy<`C~pAhe5Ow zJLP&k`ZL{AZ+e{>BCiRFa{7C*2LbaKh%v% z0Yeoie!x}B^~#pHHit#7g_d=X{zX*%x&Q!-Lk&-Bw|{LiOpM4G|FlMNN&4fqq6C|x zziUwSk;we*1pg91IVe(!LXw<5Wu2pZ^%hZ{P+H3PCjS}-aeMElp2%MnGJMbNG^jz% z@hce(#v8L0$+=iIwm+L0kR)u|PIy}6#GS7^0vwJzJK0v*N;ZIQL$TzRC%!$*W+lw; zXPvn?e<}3P{6=VbTtzjZ&-1AhvO-RPk!o|<;i+3hz=V*!>vRAVZ z4&)Fkq2l?Yl~VHyOjy06_JK{sN-#Xnbx7QIXjs$!*>NrOPc{mKQ)4*jmaW@@nNKyV z7Xb@j-nS=KVk6B;=T+RDNk@E=DThS{{bd`a_{mMb;? zvqCsjY1mz2`Z|G}1(#XSLQpbTWAj8t2Cx*JE->krtW_o8t{*ij&)jeO5Z^JG6)V1m z!ux@q|Esf5fp)n#E1RxfW<7?O9j$y1#Qe*{=ZqsvA-rIn8lG=Nzkw4z``F(G!77{9 zJn0s(dU!g}I$@Q{b^fk`uZfR%ckDMzuwp5D$%~pqj~jo!-nYFqCsr)KIVR0960i(A zHL(wD4v)3AS@_ev_)<3)eO4%6x*BX)JzC$Ha9hk`~_r0T$nr&N0 z?c-B&=!sXu}Fz)C&?zOl>d$9(h8VEjo_36ew0>G1FYPVl35io<*F@j6cV!9QtJ_?X_ z-J!0CaZH--kkh~sKuacrGTd18>}XPmU%9Z))Jzzo)96}bWAwDjb&kLmo(nFD$3a`_ zp$~a`S1V6r`GA0hoiF0~Onqyl*IIBp=`bqH_3GHH+2zuVk_}57Ls?xqx8jaR z7jO5?2RVvnQ71}!%t~aZlm3m&^wp%dV*&~VI*)(Z93+VCq?Z}mV zkQHZ&)+7wk%|iw*EvyoMvx^|C$DHjLk#3&O67meGljkeA{#Yw5*LE0gBvGM3T!E5Y zz+bIUtEaf8#5RFlZaE$etV3;qB3qDMiQ8*;v}4axc?XxYuN72yAwZwSoc3d(&ecF= zs4`$cIF4*d`NS5~33s8As&3-n^=Z`xHcx``L$ej6yJae#Se*Py5k|cXe0#$+(?XqF z&8(dz<;GmPW)#G1OqNbWXU+Lc9mq0qV+Hy?n-GfAK$_DBP2q|FkCwmpL-R4JyP;;< z$7Z3+v`GTw&E2;OIFVmg;UKk0Do=)&{8A}4HaZJ=JQM{U_C4zvFYdMME`pu_@D-!T zNw9b@5f2i6l-bY>1Xg`uWIXhPe)K950O>()cE(L;lHa-1y!x7F6Yf9+vn66s zdOnw_4S=db9F9r>9aE*rANRqsE?xTsc@~)|u?}+s!$cowqLTIMs9m5z7PDPOMliEL zVA$HpmFl1(gODoMx~15DBvQ;gvwm&Qfs{j-b^7uWWW>^C9J(`-0Aeo${B!G$92`t* z4#W_%e<2s-r;n}S0kd!@D^8}X1~p@77v@yT2RS3g0TE(<41^!O01O6Yc-DJtww(H4 zw}e2I5-$Qh%h)OZ^~{R!MXj4)huGqQ7#F(*c|W>*CkBec;)}sQ(Hlh#wM`_E8?OxG zL6aq%lVYHHsG#<8F*W&1QE{G4+7%*m@%dVXC{*%M%g(pf3mEg>Y`beKgeFdgn z0{Fo41TB!}4MHL%gPGuA9Lth~brvLxZ4rPQQ)_A`HPfVp zU%#(zXogewmZm7}RdZWiTD{|SX8FL!IrCj80?iV^jbC>&45BBzSv;lZzVGTbp@_Cm z<<`W(#^);3{?c|>=H+@{n=%8TnnD)g{sWLy#3pDzlzeI9V74MAkBZrcmHzE`btj&) zOr7^)_8EDrWy4jG>bYjzy|ZCkjyrXwpc(;i`k)x*(0hy0*oB7>kJ)rTG)Q9JrvhhVW&0nMoYIp1uP>ta zoM@J(i9kufzfgz=FrK+Eg_&eRoszIZ$1w1UFmTsjYJd9@iOW#h@C#MvLb z@C)EtM8RA18t!%{{F5^B3I4@pnn*e&CV?RyJZ__J_7EkAg!yGb)-P8FPbL$d$b>oo zGquc=mD?_T7BBV(mNZfcIB*4!?M{4LoNB$@e6&O872yhkHndkr@(o64!m|L<*yJXX zW^v3J;0}`GxZk4-N`zn11ISa@9p38Ff7lp6`Snwg>D>~0Hx2Z9QYq2$u@-lxSz{oM zgK9Rk-O}tUkBznMDy4-Xr>i2ydy{WVGJV>7z3(<`kxO>NRS=?p7{TM!-H_UGyw+Hpb& z@aW1U2`KSgWrzIcld=^;u$0sqex#2FHTl>FdU~h}VcwV~(EScZ@BYvTqb%z6+B^3J>l`XYGPbRMt#C#MvYrm!*)XxGS4|9ST?|0A zK<<^xwn4cN(1QidQiFJNe%BUB(#J)g?{6v4kj12X!9of|Azb69-*$gj5}({@G^&e= zBtvL!A(jdF^;^w&>xtl+ zg@|3M;z{ug5qOXBJDQ^ZHy~0iUE?s21cX1@3SSP@K)<;Lnn<$Odw%Jvlov7I-3kOI z=_h>^*xL9|%)^uxo+tX*LW?pO^Rk2GUh|9!!nO_b74McImC|I2943RVQ}C;C{!dp& z2ah#S5%Kv_O$hrmCnkdaJ4p`qs99P7V%t_za;9;{9B*3R;ql??}?Wrsv; zqu~a0U-9UE&-ks`4$J$!UuVI8Qo-bjUf}t2iS55J@Adu^_vCbziwPbi;h;k+K*INZ0RpjZppWT{x0da@k?4ittFoSymt?+L`~Gr=4WHJQZd9d^!(k z1m+f&&Tn14ZgR{6*ickAgMNIf`KezIo*u6LQDbaHIm@*nM-97Cy^>7)jmslONZ>iL zk2RN}>7AN3F>|E((`9>6dP87QQp7fI+5WgZT+IbERpX9bd>;ZEK$y3hR{6RZEo8KK~XDvlvNEct=IH|Qf(9# zjYzId?<=fO+P~Q-b{fuYdAGtb?3D>hT95iH*$ppTKs0(&jrn%BxhpnyROHu!!2qSX zFM81RwLzT12d1T0h3^l4u(4l@%5PWZwSt0gU}XsEE?^Lzd!hIZY|wC-NQ238O9GgS z3!wSgBTa!KgzYvrjM_WrHD5n-PUnUkKVS_B8~#a-cW6mvCm3L?Y-x_HpfvxvtZv+f z7`oq%;hw-=xVhUk>ozP*yrsB$K7E46>T_QfSA@8UJ(_*g>yyucBWfJK@kR+?P{# zn;<_JL+rfExk!hfsy-rSjs{xH|24V_9&D`<3_I4YTHe#70q&k&JeAG$h=S|tA->2A5tmd zF1v$|NgKz)Qk}A-617K~rTqf7Oc~gmLe7O^Ryrf(FFMB-i-&4xqPlsBY&u4UQz$b6 zv-l?PXvHMWywp~A7hUkaRP9T%RWi?IQ=5nRX$1)l`RA3WB6MR1|5fUBeB4La?Xh7S zp;1P}XY#_8mcyH{Bmm_yC{(O(!t8xcIn2}#d4D#OHyHEZ%++tk&AXo{1!WLUxWnJS z?ZW}65zfitsSab|M?UFNsz^8}b&>&Rj-lCsWT3^kb}aB2GYaLQ{X%xsOPIqX-{}5@E=0<9 zoI}f+fyBZ~h5{DJ6!0bTB+CP$!wXnP-gOu$Cugah4G#a<+)rN%Hn9!@vsTn6PIec7 z+S{5BrPWoKqrmLET}=ws+KqdFBGjzN#sg#ml$u!7G{|wpZF3m~6E?_pkrzh>i|u?> zRh31q-*3!?cZd89-kfkAu~KLYja-G*9su}|`p+btVo5{5Pqch(Cj-y6ms9Kne%mlg z0NI6En3Zdi{ii9`oG#WL>CfLQTvu)Ok1~Q&^(bP$FQ8P2V+L$-`<$`MeR?ChFf3FL zt!XJOY4q90IYP;0wre(-Zs9korP^+>1-G~t9)eY9W*sy8Kzt#c&Ycwr0#aZvQ^}sB ztAg$ze0{L;Mf|nY^I_5S*-eSQQkq$Fc*cI?Z(R*$_GV&CqvaRL6Gt@5{D^tfgG{p) z(YW$Ccwqcr;usWZ`Q7b+Wy^(8%zyxCNDQKJ(J^o^LU_!u53zLBb2;-tXHM|ss2}<3 z;Y~-0DYn5+W2^x+mULn-+hb>Wb9yJV;_Q%BA# zGL3S7a+QCg9e;PiB5l2);*{_Vzs0x2vZ@siRB114E*s3ZrrBPqnqO{^hAQ>w&tcNe zu=KSImh2?%x?`9jwcxxrz&L}fOI_|plR8Vw-8ep?w<@0Oe2 z>`YU!q!-OjCtLOX2&YI|N;nj!oW;3%Q-yt+=Wy2NmS7i*nmuYw{A84>4?&Y;@SFF) zo@c|&z0aVdW_z^6r#C=_81xt<&uDLV;2~hmp@uR7BP8X^s{Ew8s9+ zLRfGX?*EZt)G1BbxD5{Eo}1d;zbwd(Z|D_C1uy8p`a`a_7lO!Q`ms$HceMQO^h9p_ z>4PkL35YGSKm+~wH5ucQI=^5bU>{~6Q+5!2Aeq84uV`v0&m!!*5d)2pn>1ay5>?BJ zmRi(%72!rN#D!e#4-{!+gIYR9EDy!r->Ms9&-JV$U`Z2J?w9uy+ge<_P!iX}1hFS= zf~7i8-YLT*ca|hcvEI~w^b9Hj&5W^abIab(z|21v6B6Pe>9BSpY9dWKlKd3%X#!zh z3w6(xVda$a{N7sAT)!tggIu{sY3>C6dkm{}f)lIvm!yGA0M3GgRzTI}X>U7)C4#s8 zKc`%4mrDvda)-*P3RL}|of8dme~d)ANskZUHm=g5o9~7{h2+PluJVzqE}QG0XfXXT zDXb(I1&YDx^S3C6>*7TzSPpDuJ5!r+`AGnYvX}J2_JKvf@f!sNI&)^axj&{>Nd>5` zY9B)z0{(0`?4)>qG&FNEoCb{~^O9Eh;P9TlpJDaNRA9tu*m5W{-A$J7oGsnOX(J<$ z^A1eC)({vJ3sa6Ager}KhW=;xI6qMaKEIH3=wA%@fBN>wR1}Y$I8TVTE(UXr%r!R; zb!?_w8}+^&TD-xt$=O*`-Z0Ob7ZgaUx4mAx z4plXx{Zvuyv)NT}@CR$cI9BnzezZ7oaW6HNiJj>`>EfT+nfU^lSI1|S?LY$(dF)_( z4@HdK5qApCB&a$;xR8M(SgTAb`~?jU7C9uxQ-@QJ2UalnZzDO>-=es+d%9D1np}CV zVNJW{;=C;__v9k(?8CG}Maozc>Jz!~f{Eyr|T-E`D;c)+O&X@89YwF}Nk!$((XZL|prW1LXP=G?{~kB#{>3DRo~NMTdD8eE z<-6*4#xVZEVtl{?dQ!2*<`t_^+N=%S2=e?@pRNq1b&#R@TvnAbvaB`cHsWUV6 zD!X^udnDYbNAu?O$0{PHQJ9AxPk>leYhZFq@@+t=er=1i6xn75Vv!NNq(gcT?Od^d z2JD>7Z0?taOH#A`wi_WZp=LEUB? zic7=XRmS#SH~Wkj-<%DBgqPlyU3dlV1>%e}sY9$MxZAnLqc&aZi+4|YVSf#CAB{yN zcYf}+q}FLOI2v?2xGPYz^&D|PVtN|`r{p#00eIlEV4XjA?%uQ~T$jYT4cj{K>KMY< zq>+BjM|!-B=N1;#7><^vKdlz#u7faX!BN~6HP7UUM@p)3&UF>SJu#DTCIfI8z&TwH zI69LcTjK^21tCYL;|Uq{2lRCzWU`rTm-)z&AEQ0BYi0P13OGTs{6Nb)^CwIuQd|WY)3q>d$k zcdiaaaE2h##5e||4U&FKDwWZ+sYB3&TC~;3n>BOi z8^gn-5aZyl>x=`5Q;B7hsp~}N9^fj&%o|^d1o_)0WnS8A;*21}_LQIgV;5Vd?3u$_ zzdFX@4$v3X24S67tES6z2IC~x>RP|8*%a7+BTL6}7&!`M-t|+&k3 zP6yh@b!ZnoH7032d1e*Lw%3IeXq-|nM$kB>I$6yCUa^aXndLR6O zFT`E2h|&qR9D1>Yk*5)#hgtMnPwL{UrqUOk_J{@krZw3!J?ni}071ZC0YmTxQ49;@ z07vH;khp#Hzrls4vBPhO_~*xfXMTG zqXzDSfTPTP`stUCRZs*X#G$!0SyGkIKY7f5JmTTa;#g}4AUAGTysM=MV3)$OTD@ls z()=$(Er4V!SHCq7qu+%e|50BSIKFn%RF)FBM?A0^nAGlIgz?1=Ja9B!-&-}>ZXciq zleAks$6HKJyq`7E5s94G*QCAN0e#8^(#i_83;WsLn0GaXuq!G}kG_1%TQc|StV$*8 zBj<_oQZEkf9cp$26q^8~K@=0wI?0(f3E^fO04Yan^&}^`zK{k$xvn1bT(+e?>*Aj_A9Ff4JB!mA^nNri=xkjFp@ zVZmDE9IS<4IZ>x)%P2Td=t_dnxLSaiE##0_)j>VuFcUmUr1)BvVm2VqODSQH;r8{g z9Pr_*8VP364m!>wb&-fRlE1PcnM}OBTJl@^LnN?SB61RfPpWKC6?4rTAu(~|L+jZF z0{+}G{ociklfA@VT`+|(dWlGI5{yXb&l9*y=YoOwgPe^GPcMEeQioFNuNVZRN)6cJ ze+k+kp>|_OOdMi({Z%-me>>WkN?Ig5=*>n!WJYHIdaAs zG$q|J$!}CNtOH|ec-*zD^?GC=?{NPgBO33vJsLk)66V)yUXqs(A9ccH5xXc+m)gPH zc;16|DW4zyYox=z+9bVE&H?u~p&sfeo?quQ9cFz2n-gV6;_TyP_?}ZKL=Q=Kx1Mj> z_)g`xwT*xke@q-pM>ZkgQeAqa+aW(8WRB)3hU2WuTH9-l0f7j_85k37l^S17r5NtNNL0K$&s!GJ$iTW4cPDiNEVpuXnvR%$2dcohhD|NvUW9 zapYq&GaGL56Z`GobX*ch)mvM=hH1NumD{o zswut`u30od$u2sRoizoBb;~{jfA~G*xRu>Yh;;*f@2Q=0s2(InFh+E!ct2!(EcW0& zcq%!&J}BoXN8u)pHlj^TE?L5A0Wg^v1k=y^Wc%duOjJoZWc)GEZ6>RCL4b_i^f}@fyNUXCiC&Xo_sPR0m(42tFZ^4~-U$EX+6IY)H z9?3V|UW|t|55IvfLFJ7ZlCF(7(viv9atBCc)(L#d{WdI?zrdf4aWK`>vnKLK-Fx^Y zm@oT3d8*M)X53IgHTxKwsQ^s1>!yqXx(M$0ntvZm)xM5doV&g@?ttmR(XKDx@UtfC zU;Z85@__-!PUBH6Tlz^3B06$hBsM*;0M^ewdynlOQA%JGvbTjlZzQgKhNz%Go|?VP3;GvWbk9?A zogc1NI>#-T{mp=jiuu`J-MQoTT=U8Yk-5CU%ekUE{(x7=num9to0Kr#34u+PAqM9! z{>VZ*NH^dLfLJHi|HHzYv=tewYnwYN;1wJE!qoqr>a(Z8FnvY;-Qd9EK{mh_@5*-HX|FM|T-{hpO?Cg`ZHm<4r_sib3 zQ@I|zV|D$*lxze1yl6V@AY)Z+KicoFit6o&xiyFV#f1gO1bGF8)|!#Z=TCmEnp^C-UX-~>O=mc}m*lU^=2ce? zcUWNERKr>a1&8hfvP}zXc9-YJ=<$iMLf=5%L? zzJ}AgFqfce#^!kUQrb{C9}d>d?%>^-)$|9KzmsJWeU#pEo{V;$x+kL|=zUAvbJEC0 zd{-f=oTn4>INcqD_^|NzGmV)>z=Up{ehLuj0@dBY(+_spj#V|+23VESQk*lNsV=n>Y0zg98!)vfrEm+F`PAwZvN6LAA<>;7s>{G!%dL9 zdtHW^%`=pZ8%&mN|MBrE;+tyKBq4C`-&?TF)~CHf%K3LJVOe2T8R-hpy|?yqg}%B* zUT`a-g!PO5=7r*0;=rI$LC@eE7O7!z>H1VTymvuclJ4#8$3&!2h6HWSUfxoc6j%(y zz@TV(Mu?{4f|ot3qBB^U((w_DIdD}UFseUsM(5(y6SE**rdgDAV`osf@IYi+KP^>;Y+5tXAicxtl#3+X0Dx9NXpim)p((EkAY5AfD2GKf|za8`D%|H&6i zT3i3+3uNGoVFAB9C}k*7p_DmZ3&chwCQdvB)blP>`o2^wh;MP~JlofWJ357SA`Ml2 zV~aPlS)zMa+|Jfrcuq-B4kxq+8!9$TG?5V$FMYlg%e9g)NotoYVZ5LCXs` zmlChSkBUPspsjHfsz)sxviRXp_VARrK_H+==oCEmI`ytL3VBwQCpBi<>*VZm_cTt3 z8~+vTL;F%{uzu%0bBoKlHL{_Tt-4S&&goJjtp5wWU(UsY-P`^4qq>aZ1qE1w8V*@L z&i3<$;bv!aMIbeu>_T{+lW{;s!LEL;7r33J0^yH=4?oEDYn-KB0grjx+`UTl43l_D z61#|gyh=qDB07+e43-6jWVbwX%zIL+QTEZT4{WGV`*ec&g?f0Eq7Oy6xrbNS{Kfws zayh%a*dGJCJr)E_d6|L>fejdsc!%-;Ua5XtUI;+jxeFKTA;K2T&hcJ4*eamf9L^uk zHrkmyZC_YhH(2NPuEPe2Q~@9zDdiDMpJ6NMy%OXT*Aw@tL08l>=!T;>z-bhRhAwgh zvihJ)*-bhnGDfMZY?+tT%ji{4N>(O38}-;HPWoi$WHB$c{JF$ttOR~A$rDZWHb@Cl zzBOpGh-y5x8m2A5S~d;2SfYlu)kZV@Nz3P0<{4mXFa>Ci5*el2LEc6(9f>>%Vr48` z-FiK24-=|7EQgd8f%TEnWXl2q`5F|U=>r+Q?2a%jV&Eh%{5q>bPG$jkp5 zPb4K0aVdtFr1f7!(*eSd{>^aX6koo+O9(zcMX5$Mw#g|asfN*tT_E&|0D*9@0(sCy zr}9*x5V!k>k#5{Wv06Jz{5Qt*_qF5LCZ}|c=>ur=L^%sgk`W8}TveJr3jrg|QRv&0 zzp_u>FY653O$ic|EO|M^wRhoNLPcpZF*<~i0Sbwb5B)|qOf{g?OMhihR4JlLaf*F) z%S^FusJhCq^y2T-^8!Xges^r>zqG4PeAVpUd)6zoENrRYfGm%5;`%=70ICMzm)7(EODz~{dl10x|! zVAmXuLLRubYj%L)GOF=^?>}?{%{ZkM4E0gD86s9G$Bx8emH3UTnZM*AaKB-N-84=Y z8vzSH`ti2QSlTOCyt-1&sysfK<;Z*v?#SRKU(iYGNvkrp0(t5i&!ZsC;ex<9CE)(3 zzNr_iNpib0SCR^+Uxul0;*l!OpKNm6G>ul}o}=T&v_N33&B95W<3i~p+&a3pJo^#4r5vs6CFD)izQ0Kp>uidCPJ44 z!)2;lf!IuY$q$tkKMl10fU8yut8J{WbdSCG;@>LNwp?|1Y0C!eN39sr)n$AKa+;MX zn^s$%(RZM_oeRmP6CV6?^l6WZT;J8d!i9KtaS_{7u}duNzw?TR?h%Mv*HKZG-oznpXInD4TdGQ-kl03(@Z&O#N-;gs65K@~ zV?kMzkq<^mjtahHy?1zCm@D|PDUq|5#>U9bf}nGcglibF^EjamPH^}GDF%UMe%X*3lWLUC!w*YSpYw`tk>P|MzAXu$v*4)MVZkV!dA z#|8BIxn0taysVHGViJ(@bM|%n_T3MMV%)7I3NOj50KIt6wJD;c%XPC#vNb8tPPUbM zWFE@0ad!SXzU;h+NYPOyp-03^r{xEJKZhoGUv`5!pV50-QNR_JH-0b1e!_RgX_Jp) zq)uAuX}IR>TzlbS4K4VY7Qx#14P;_yuPx@H_$R`|gHYMQt2Gnfq$hVLXGj@~GA-E4 zdD@uvVMn!bpVTzJ6en|c=O-HzN^1q^^;P;px?o^z26AW_!Dy;gig}=!>_Gs{^b*o_ zE7j(?_pi)0KfjwI7ye12{#?-2E{n!)|^w_YJb((_G8|l0V`hh3h!|6!O1s`V6Mq zXnt2$u#=~%`ODBf%K~DHM%jR*WXkB3NfW%>B~&IGTJ@(<%nVd`D1!eK7-XnfHy3^< zy0;;bd?nKE4&g7SXS_oiM4wBiL#ieRUm@H~$YoTJgV`6(1QMST@1cd(=7hJ`b`ZM; zXmO+L*Q}urpr!sMeTs$Y9^N!bn=mR?VpW)0{8}HIa)u#XajQ{i#Bc`|lZeOCGX6wp zqi)&!_pKI#3YMfWjwIfee$OELcNLYH3*KW-5uzKE<@6Q_am#Jbu`zA#QNXye&ANU~ z;BRvFQ;UGrN!NUQJr?Io{Rp|9eFi%+6qbdP*oYQ7OS4-k7qlj}cfRT@D)SV(S)Ik$ zp_G%LWF>|xa(SJ)J(>()u>wmGHgD{A$hUvZN$>?o&)@Zl!fU&zbI%?AuI|g_k*1xs zH@deH@1Cm2jV`$?>%6kg>m}dVtp8%;{Y3p=c{WoH;ku@C*KaLbuBg*tL*uy>f`7I; zCr==T999O;Kl7zj@g=T}sVl3$L?c_ljkYd9*B;Yd4Yr?NOqck8=5-ktrxdjx?yl;; zfdw?1y$*P$%Yc;GY*flTZPBrfo{L&%(Z9XFyUJWzU-Y&EGm&IH^WM0&7L0lD>{TwP zz)Zdv#=gXP?DC(fy~w}>JiF*dsZkWSMQ`PlCwE0&q zk|6?h?jA(PfL-;Do7;;a`WBv?p=ZKR0*58CZObp*{)Is5r&*VIr&EawRojmr3VTAu zQ`IUfXFa1ZA)iXHkDvUmXYgai-m+S`Fa&Xk|A71tsQ-Ze4?rt|I1GO*Gz&8a8#5Dk zn(_h+{{K6)x-7t4!l^KEi*SpGNpOm?i?MPrbBjxeGIKF=af*qFu!#$curdh{^ZkFX z=)?Y!GqbaBu_R_@`oCgIu_$Y^sE$5z=UvL0^X4w2o3AJ%YgM46a~UK+%>YR+L#I@H z^kogo87iem9a@(-n2xUgO2;bsO#h3G-w`#zm`N1)P&g8`oXjSQ+45yu;szD<)OH6 zF*C0NzX(sLa0-A0%B$633unQFJX-M0n0BA#9OuGRoF3bV<8J+S>TI5D6_zmcK@xDS z=W3nki#kOo^2%=5v6Y2GMW&G&|4i#P`>(34H;gD;JhtJ+FM{nXTOD4i?>mezX3B$( zaz9CDxIoL)TGr`TPFjEWl~tZT#b`FoK?lv6?&a~XADsh_pt&kxGqn&shwv)3pyLK~ z;E=M^>IpgiNzCvTbx|2Xgfj5){OzJLMhiQq+TI((O722?{#UNu$4+q*xK)?3;gW6% z7wsq%YRPJ2Y9*%Fw@|l5zcWMQ7tMRMz|+x*C) zY2qlZ<1-290B|`K&ad)FJ_W(wQ<_@#n;jNVaY@c#2Ubv?}Zx`gNNxj1ngP`tA8{&Wwf+{96#h zN)yLhyz+7s?3h)fvjUnWrzui0^sg&Z?jr_h1M2#<`GLmqKLHrI{U0-tLcjV}5$Sxj zYbXZLabi}@&l0>VulyAhEAp#RD^oV*dn3JsYHQU~x8Li>y$a%pS}<|7YA8*t4|GU# z_#l86T9sI(q;^IX2I(1GlZhFzcmX64a^jm1WS94p(MA7!V>jhXCe``-0FnpgeQ7{B6B1Y zeu953=No!~2S5eu)`jnmALtcxzV+ezRYu^+lJVA-$b_$lit@5k+ArF1?d!O5>iXi- z*g{g-OlXWFhPB(oLK9g;Jr%Z*#H52r8G27o3FQikTK=-~$wW@7?x059?A8^on-;DG z_38G7X-|9Vw_S#lqL*yNX`aGYG+%&-&` J;))Wm{|jWR6&?Tp