From 26eabe0ae5b5ae64e8385d264f95f635e9988521 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Mon, 3 Mar 2025 20:16:34 +0800 Subject: [PATCH] update thm appearance --- beamerthemeSimple.sty | 77 +++++++++++------------------------------- main.pdf | Bin 527935 -> 529244 bytes main.tex | 4 +-- 3 files changed, 21 insertions(+), 60 deletions(-) diff --git a/beamerthemeSimple.sty b/beamerthemeSimple.sty index 5f36418..959fb77 100644 --- a/beamerthemeSimple.sty +++ b/beamerthemeSimple.sty @@ -23,23 +23,11 @@ \RequirePackage{CJKutf8} \def\zh#1{\begin{CJK}{UTF8}{gbsn}#1\end{CJK}} \RequirePackage{aliascnt} -% % copied from one of UIUC courses by Chandra Chekuri. I can't find the exact link now...https://courses.grainger.illinois.edu/cs598cci/sp2020/ -% \def\begin@lg{\begin{minipage}{1in}\begin{tabbing} -% \quad\=\qquad\=\qquad\=\qquad\=\qquad\=\qquad\=\qquad\=\kill} -% \def\end@lg{\end{tabbing}\end{minipage}} - -% \newenvironment{algorithm} -% {\begin{tabular}{|l|}\hline\begin@lg} -% {\end@lg\\\hline\end{tabular}} - -% \newenvironment{algo} -% {\begin{center}\begin{algorithm}} -% {\end{algorithm}\end{center}} % a color box \RequirePackage[breakable, theorems, skins]{tcolorbox} \tcbset{enhanced} -\DeclareRobustCommand{\mybox}[2][gray!20]{% +\DeclareRobustCommand{\boxfill}[2][oliver!20]{% \begin{tcolorbox}[ %% Adjust the following parameters at will. breakable, left=0pt, @@ -73,27 +61,7 @@ % footline % delete navigation below \setbeamertemplate{navigation symbols}{} -% define footline -% \makeatother -% \setbeamertemplate{footline} -% { -% \leavevmode% -% \hbox{% -% \begin{beamercolorbox}[wd=.38\paperwidth,ht=2.25ex,dp=1ex,center]{author in head/foot}% -% \usebeamerfont{author in head/foot}\insertshortauthor -% \end{beamercolorbox} -% \begin{beamercolorbox}[wd=.62\paperwidth,ht=2.25ex,dp=1ex,center]{title in head/foot}% -% \usebeamerfont{title in head/foot}\insertshorttitle -% \end{beamercolorbox} - -% % \begin{beamercolorbox}[wd=.1\paperwidth,ht=2.25ex,dp=1ex,center]{title in head/foot}% -% % \usebeamerfont{title in head/foot}\insertframenumber{} / \inserttotalframenumber\hspace*{0ex} -% % \end{beamercolorbox} -% } - -% \vskip0pt% -% } \useoutertheme{tree} \makeatletter \setbeamertemplate{headline} @@ -130,11 +98,11 @@ \end{beamercolorbox} } \makeatother -% \makeatletter + % footline color \setbeamercolor{author in head/foot}{fg=black, bg=mygrey!5!white} \setbeamercolor{title in head/foot}{fg=black, bg=mygrey!5!white} - +\setbeamercolor*{title}{fg=beamer@simple@color, bg=white} % item settings \setbeamertemplate{itemize item}{$\color{beamer@simple@color}\bullet$} \setbeamertemplate{itemize subitem}{$\color{beamer@simple@color}\bullet$} @@ -163,30 +131,23 @@ \setbeamerfont{title}{series=\bfseries\boldmath} \setbeamertemplate{frametitle}{\vskip2pt\hskip-6pt\underline{\insertframetitle}} % add line under frametitle -% % metropolis -% % \definecolor{beamer@simple@color}{RGB}{35 54 58} -% % no outer theme -% \setbeamerfont{frametitle}{series=\bfseries} -% \setbeamercolor{frametitle}{fg=white, bg=beamer@simple@color} -% \setbeamerfont{block title}{series=\bfseries} -% \setbeamerfont{block title alerted}{series=\bfseries} -% \definecolor{alertcol}{RGB}{232 133 52} -% \setbeamercolor{block title alerted}{fg=alertcol,bg=white} -% \setbeamerfont{alerted text}{series=\mdseries} -% \setbeamercolor{alerted text}{fg=alertcol} -% \setbeamercolor{block title}{bg=mygrey!15!white} -% \setbeamercolor{block body}{fg=black,bg=mygrey!5!white} -\newtheoremstyle{sfbreak} - {\topsep} % ABOVESPACE - {\topsep} % BELOWSPACE - {\normalfont} % BODYFONT - {0pt} % INDENT - {\sffamily\scshape\bfseries} % HEADFONT - {.} % HEADPUNCT - {\newline} % AFTER HEAD SPACE - {\thmname{#1}\thmnumber{ #2}\thmnote{ (#3)}} % HEAD SPEC -\theoremstyle{sfbreak} +\makeatletter +\setbeamertemplate{theorem begin} +{% +\begin{\inserttheoremblockenv} + {}{ % does not work without specifying the CambridgeUS theme + \usebeamerfont*{block title}% + \selectfont + \usebeamercolor[fg]{block title}% + \inserttheoremname + \inserttheoremnumber + \ifx \inserttheoremaddition \empty \else\ [\inserttheoremaddition]\fi + \inserttheorempunctuation} + \selectfont + } + \setbeamertemplate{theorem end}{\end{\inserttheoremblockenv}} +\makeatother % more theorem env \newtheorem{observation}{Observation} \newtheorem{question}{Question} diff --git a/main.pdf b/main.pdf index d82f9988eafb072d6e398a9dcf51c62412df99fd..43f8a84dc3debf0667ce8f4c380c03ad92e3d70d 100644 GIT binary patch delta 31350 zcmV)QK(xQVoFLq$Ah2Bm0W+5Y$p)o}0C=$JRdXs%K@4cNtm;%Bu!f!|($>WoMK@h{rNd|0L5gX`gm_#=R zL;sE2P@mxlLOcR?O0)qoS{W@+&HLDB6ln%6KK(BBc6z6-P+K&BiXHn;dd!@EW9U46 zgc=Q_(=r+q-imZ^W+*41bH!qTa#WcQQ$E67eATqgym@QdX_AUD@oH9w!p67jd0#9h zJ#*dERsGT|H~eMO*5gDd?vjV{0<8Ad1SwgSi}c!Oi}tyG?c0mcx^AmgvuKxL;$Ugt zmpLemPme0coIcW9g$$`!e_`rU4en7SX!%yX-`ba6rSD?2UmTC&pb)n&lZq(vcS$uX zartIpX?zUKbagwWhk5ul_kz~K$L8A<)5k1@2clz^bV$-t_PQq z<^~h9_XFbr0yi+1!8idae^*OW95)cY^DC4~YN^TyJz6h(O3J|%pJL1nd{|&`wz3ak zH^9%&r_t=pXjWj1apKEp9^Z7gy1#x%u+L1ecY9*AN~{v=4c-W*t>RuArkvtZS$12q ztGy39KmBhj7uskhxRTOYtTK>P>=s|kUye&Mtn^+1;-m@`SNz%ve<^=Dehte*W7hU+ zOj5Y>_W0|tHwa)1T)Zj-kAh_vi!7FbTP?dtevKWYJ^XgEcW|TwGe7`%a>YD1f}q!M z^2AOq+393cFRtg)O}$@fLzDVpipP5Y)5-h2-%keC8ixou{OY)IE}DG$Nw7G=6^6RkyB`LT(FqA0?nHhz<>y=zlkszG3y z;u>iqc`znrbwZ(5b5cI5uBfWkO(f51+rbg41#&wGe~>ihoxvQ@mBM$kySgnNRt#Y( zpnuCPtcB!~0w-&?i0fH>QQyzjvCU|j%u$l$1P>Cqt^DLRzSfhA)$*=>NcUI&EH8$Y zKU0rtgn%IZ5ded{9hN0j_L%gd0cs9)fHl!;P;K^;8Oo!km<&*FU>cltczF1xq#xDQ z`7X;_f5ldg6zfcJ>m;yeAjrdwG*o<;P{w6J;lg&#K5jRV$w{|c$WJ99a8=M@Bqa|S zcw|857P7iZk=U#@(|O4Y+M#H6Tv-$)#tFyu?{a|#}3T6)r?4(#r(WzcdDy9cIPCt;Hn)O{%jIv+At`f)PrTFb>(GwYZfo60qjw>(vxJ3 z>bewcS=0=Sm!&kx|eTxkF&I8jV*wlvl4ydGiBNzT_xbVp-;>ymgNIJm#{| z3?*^aA?sgrhWc@&JT^ZP&Q%K3anzjiu=kri4D&%!0~p*kpNK^BuwC);;E#o4Z&w(l zKD_o21)~%KQu)9YPBq&Z3cVbyz~bQ8e~(ZORH8u|O}hd7b%sxNT4~agUs1V8P2}7C z=J9%8g~|OqJ#5=og51wGf2H@7Uc_z}4T89MJPW2RN9+3YqDE^?;MiFkxK7XKQNy+g zht!1gZ58;8@~Pus<(qlxWij>NDW+TFs@}TYpvr&~9tH(V+!_6z;P^$U7VzmVUpT~x~X@~k9Nzy2?W zrJd0}-$65ubd&UK-A>)}^(vjnvICkP4bs$}%y^NdUs_Q|{sk1x?Ete$3&PR@H#3*P zH~}bs-B{Uf<2Dq1&sXTFkkN?YzBK5|ESYv@P^1}8fg+O!$Ce$T@e!^!K`1P2$v~Xz_35gEKyWqUPYvpS$~wB z=j(F1xE`#_ULlms%liRd%icx*{lVLQf>s%1$Y7`;$`}v%{DNj9e0vWB!rAPuwwz{v zk~r%}U1y(we;b1qgc;Qaak`veUYFBV0P#a;-jrV`le21F&1Wl*=;%a?#1U7F2yHM` z?c)m-B3jAB%0Jo0hEo%4T9B9_PKb?>JYud6z;|)s`*(^o)O+HVg9K=mr*_yXJ3nEz zqZ27ICW(-m`-K#OX+jazf+5u+tmj>SIV+cgYXnuBd{LFd@~&F>d~2OwSF>`^6Et6j z_u+hYTiyrL@z>eV$3DDOvk*9C(h0dWgoDB{bZ5cFF_7449)b&cXb^~Stf96VZPSZ$ z7`co~$e7YydMP6tdI<`G8P^bOTOXrG>p^Ca7s5pCvH3zNLdq4KB#*;s)>ssONq@0r z6ZH2{hnrCX8&@Orjwt@PtC=8@smu@~8-3mkeqQ#wM?&{~KSU#mRHh42VMlVi7vrh#jw_!; z&9bSfu2b2FpQ2IxTK**AvJtlX-EOEzys%!ujm>`!&2$jQ$krGEGV?}w$Gav5l^}@G zVh}A@5H=!OSBM7-W^C7NhDadfL_7VBrP>sK(~rCSgvX7^ zz6hZInoRH}xZSWQ|xr7K4`J~~nlH6glI=@*mw|DKmdKamT;4Bw+~mu0wJJv`G9Nn#IM|OMLCB+* z^;NYBX5)E1aN3pP)<%~Az*4ZRYu!R!1p5M|q@r=({WACQyz`TPm5BXen0fk&Yn*?L30Tz0sO#cjvA!yk>}@h9_hrsUg0@4@$>S=FpUu~8Fe0CXl9BWZ zDOLXKIvpS&M)kPie7f+*L_S|_&Sdn?$B9uxD}*}*6eVXmSS+g9Bo3I3f`>tm<NNCso;ev96}o-=H65%RQ6o!7XqWuv~MGix6H9 zrk5VmvKmdw(Div%!3TC5IO%~sL`A^d#>d%j+0BkV_1dw^RqXo=PaneLacF)k@4}-0 z>{*r9@mT&9t&u^wmvJ4sP*f`B|9Mb7_m7u<02l5jU9*7WItBtXF_*wN0V{t?bK5o$ zzWZ0Or&7}h#v6n)J+w1*rkSKoUC;E8-&KKDT0O{aWZW#0!b`( z7rWoSM6+c^vlj<+vNEg;>j!+Hnb4dRLS@`=!nn@1Rd#Xk$E`#E+e)ZVBBO*eW;9l2 zCF9u^yXl>i6c5dcf`h~`Zl!-)aWpVVZ=HM%&26Vv|ErW2c}(PMIlpHB}CkA=+?C_s36krhNy3Au{MLT0Cn>}}pw&DE-GtJz#A znOC1myjHXKr!NnFIUQ-M3_N6T)DUHiQ~B+Cnk}&R5*i3wWH%jUlSzMK3wLUj{R#bV z>!1Z;M#W0J*>0|8b8ho$+t$_2i9bBnVswftMuaxt+Z}jEg$Pt~MCG1}freA#X(IW| z5GzDaqz{?xZu=z1KRqm@p^g(TI6RJ3IUM`ANNz#e;jt7MlSD|(-9_etX+mMbIfGw? zzt2zbqc-`fURUKzuzY{(-`l!z9@aW9SIf;z(0p6BmyN&qleEd+cIi9*v z?oI3cG9Njn%MuRVj98^Qbobt)h+I2liL+JJcti^lh3(-n0)ZhksbyW3QK*MQl)tDy zR_l;2=$MRK)FIZB1(KMPB~t62;;OFBtDAb~f=NghW;2%Kh2`ap7hSXok)LnYAFEIP z`Qmzg-qxG-E+v0{&M5rBu?nJOxaP%>w2-L`?Fa>dIFNPD>!_Hgl4{IP5+isvqIwS1 zV63B~qvt94NF1gZ5@ryr*+j621P3DlJR?R0%qYi#k35w!ky8lOgRxJ-1tLEFu_yU1 z#RR6Z!cMrvE(44d&>ToM7v2-?rY%<~D+oil9I(w<}sjzNy#k z?wJ=-t`{j01~}6X!fX)W)At@w_k)PTjh0PNR3@CMx_iQzhK9mhr<|aGqHIL;j#8Eq zi~_D?ukxo9rvemeU$ZGqf-v&=SyFGGR&VJYgHQvjdaU@PK^RFhq(G(z%2Y7rB7HTD z5AzY(ooIiR_kz`l8$vLk=pALU2U2`TZiwWANt=3|xB%J$XV7ub2Jbk(jxAwv1xpH6 zgan&n=3{A&Rnj7|{uB+2OPGyw{fKmOzb8RPbqqn3#Et}_d2fxoAkV)p`IMnp z3T2U@;?g-S^JvQ^Efm9aNyXRfpuRmWLtC=Hte<~f;_wRwQ2>JF-kPVE^)A%?a_#$q zGt>o>hbCdSS$(WLL7i+uEJmgwBmJH(uf;yox>(?e9szSBO4KMJ@c~!+=?6GKp~j%e zM3mfOc@l%DL6b;~;hzzJO^O#12QP+*_~GGjNH!P>8jTFVI-L8me!1OTFE72VUsua| zvDkln9~|;(>=WbMxHrxDE*z_@RC?y3axaS2Y1^(KF_xs)>hZPU80d(gjZQxy)An87#+C@V~t z4^=rGs+@VC%89PZsr!9mp3txSn6zco%>G9qMtsQV0@h=3#QZhuaU=VLhX&P0OLHCm zO4?%z5V~sXrv9gFhbX)1i2GsAh1+g|!;8&o1(qhi=_ah@FmCm2u~U!6iUqFAZP^Yy zi~rJjtr zKF|_n5ur#~q$20vcb2=PNQ#af#Xx(}lFQlId3^KjtO&YC1id*UgOS2WVSIoYg1BPX zaEX{^m@-d+eF&&B;!$3q+W`!GnVQEk@ z{^{y9EVs2;&99Vx!=u@&ACrB61iHkzUk1q&R-yU2mrIKkr)?&G#EyXvf6UG z`R10O1$=u87I16OzLs1gfvs_Wt1@&A_8;4zIHp?mjd=IbZ=dFVd{<1EjrRWK&vc#S zWm@E=Gwb3~@s2hoDdtMUezl^{g!3RJI#TY*v@(onFVnM&YHT@ggzN>ibrenl#OdWC zG;x}kVSoe}rNg(cm(fqK+r_2ehziVwV$P8%rwS7Y?UX{kx%cONa-S}L7R4_m#8l}h z&hCo|r_na8R%`F)NqeK4THW8EmB8=mih5vU4037_6F_QG4Z$Y0Xu(DWR15G%1Gn)K zFo;5Oh@~}RjEfZPAu*xWN9Qul7ioSEUT_{&D_0C$M8&2`*Ky`&%OcxV0K$MS(p5=0 z6f%+-1r7ys7;*86jT8!f0GF z+AoAaMw!&M`#4{tR$|(jpB~BhgY0miwW~NVpaP>c7DTr62tEjZDj}v?vTVl3@E@yvJTp*HrQC^0r1gh+B1Q0 zgNkn6@3JagG*nxo9=={DaZMBRm46RQZ*h+sFD`*?x+SI*hFCQ9aJ}1XCSY$=lmVBG zKo6JIDy}+E_sC3t9@DZ46%hL&=t=?gW3^bTRL|8St&7nNi?Q#AD@NmsF-Y!LX&nkM z!`G#V@*-IMCHGa8haxQe^sYSj4|lt&Log8335|l6X&LI3ft5n~xJbWc@Y)xC3~T0Y zah5c?nxM_&JWSQvv#iHvZP?1RW-+gGIT}F)pw|3l5wy>LN3c(4+XT9e^lQ>*tT_MX zCsyCQoyiuulDwfY!?4l=xTJxKrS7L68z7iq`&ICdc5K(RK*yrRnBmg3mOaDqWGaM+ z-hl0+hX7aZvDrBvQ);m|v?>En8baeZv4&`+HT zYDw`kp(0-l8oYz1Ckq9bhZ8ZV>V9yhjZlxC^4&W4y={)KX8(EIM5guDI}y*bq`1s%ceKzxn)(>WN%`%OaToBm%umyDt}f>Z`(!?zUx=)trSqM zcJ{r892%q!5~M)m3ca{F5E3mBr6^mHU^K4aBye)T-RYg{DIFTD z{8Hd+IsdeLKl^<- z@KzbjkinydDr3CMH=h_;a0IilYhU^|4SdVpkUP4i4T89^Hmeq z5BoWH*<*ZpQ|-#;SnZpmcWZH_#XuXE79GP9h>HGULL@0UkP1(o3}+_FjQj#aoe-@M zzye%=;aL^&{QDve^P0HjSPHl*U*Pe=Om3mI#g!BUBo$I~A4x8NQ^zdH0TV7_K!22* zYQ5h7a(_fnwaJQlv!4sd4%KP9i*Y{7Hn|Dv-u?Xo9iu|yoC@tQuSjT0pBI`kvMV%D zSZa!Qr8ZsumH_63ISAEaJxFLnQ3h@V48kHrwl0s=rYYC{O=d;>xT?#~kJ_QZBplTu-UdR2vwm z0d&yV?3G_k#*P?JgKhIfuw=tjK|> zqFGPHnRCpmr>PuET4T0?@at)vVC?tc#-ELwZE+hRGQiD#KQ7+GJ_|kbAfKwHx9ZeqGD%wQUnzlq%rTE_FrxZ&e!M>>go z@IAkfi4#me$#ka#wm$RIA6n>IG-H2T#o5pwJjFFY<^#`h z=%!M`IQ~O%Tq_m z{{Y?y4xG1}3IRwK0yr|4!8idZmkl8SI)9M8OLDmT%*-=8!zD=xB}faS1tmdF3ytIC zgeIX)6cmJxB#aSO8+3(>Xp#sT_b3rv8W<8OMPZyEGG5?E6jC#yhLj^g#wuZP-YK*J zt+T>nI-f8!jw6P025m3{hj9{l;REAH!bd<-Bz!_^jR*>D^dbNt0g1yg1ucM5JAcA; zAojQq5Ohd>(BK8QXwil!aH~L$4*Dd>1%OKdErgR1CTcSv z<%LxNXqARhG3QRhWH#RM!kkbC*GJg-Lil*6w%^J9K89zHEUi9?Q8 z<8>C{LLGEQ+8+%tUNtPHVm|X8&w{}#jEZ1rhM3RWg7f;PY?|f0EA*Gbftg5u+bLYpXIJnWj2R#L*oy#06G=P`D-}h&>V4==$iV z;fL{?VLdJjv&9;08j4L>K=4N(;VAT!S+@d+zZW2+vdCG-+8Gk9GOXt-pv3!t;zJgA zsk9D=uGbuWbZTQk`JyV%CtRUi4N=>yzFeua zg0g`(zeDcN2A}YMaHHR0uYI|le;AMQy%$e~+!b|oo^OgPA#0s+);j9V+I2;jXQL&e&SD|38gs&=jVNtPcAI_glC0?49=%{pO-te7*h#yMF z?k_N)s9l^#vF827>hk&@$NyoXvO2r(VWasiyYIOy|NJ5ZA*?&k=I!o^MJaX`rKmPv zDTJ9xL)vg{@aJ4mV*gcQO;MwD#*cj=W)8Ieg0a_*hjzRXo+P5XA;{Xn)DEC_z_kPM zYGAFAwv)Sm9wEtWK0?xLK}q@{LV83anCpD0r?^hDyX5udm2dhchfEqia9AGgg8_fctGR(tD) z26Zw5Z*$%?G-$DRb{QKq)162^#72+Up#E8*uk0Ux%=atHe~Z`cCzNGzu>5Ia9gZ8- z;kb_X!ST7i{5D|L{&gxKlLhJvW%;JvO>--7kuD}Sn22{w$z~CB)E+HrYmJ8h!ya2` z(DWE9E3FC-3rXT%2ZkefHmMbSB>n^QtcLN>0y@ zPsWvhtU+iUaq98uxX30ar(0LUcD{eyZ;O6i*{>$0F~P~074;s! z05YF1_|}bV+l_2CEG`%Pb?NWAPw&p% z2mRgr@!j3{`2M^Yl_%rk4cs|CJq7n`&+HFC8dluPHFu&6~9q` z>Kn-YSe~pBfjuXa`~-d-zMH~JuMVES&UV1x<6%)SmV>kLRNyzm^mp;kyqaQa0j67W zNqc7=>&!2}ir*Nccsc%%^ILE$e<k6)5>?ynN3R`M0 z7WIEmj(k=MWo~41baG{3Z3<dem%%szD1X&iZBN`r z5dO}ua6i>2#mm0Gq^+t%EfEowQi9YEBvQ@c150O{oDB*2^_lhBd$w;62+%;ku;=x7 z_L-SyXLbi1okci$vx6rifsw%Y31)D_Bt@Euh$@N*mC-7T7CV1$eDq`^!c4FTBT9&p zFcQNFjaKkB{N^yELlUhih<_+T4YwnF+9?UYI(!V|riIo26~ZmJF?;xZvY#M;HgNVY zh2U``qj@okr9qMrAIa~*F|pzG(a!E3Gm!uZ5IkB$8VSr{U4gjf(a~vi95-2Uu}qt6 zmN3EN>`Mxd+3e%d+nqm;255zX2r2kfA)%CoeEbndr||AAAYevEpMP7)BI3ws`_(df z5BN7RNQQ_KV-W9V498Vn=O@b+h=})#3p=-}uCgL4o7y7U-IHvfh;j{>Ao@zj{Vt>t?K?m=WX2wW-eF45DvGuT2@r9jQRp9Z$8GA1P(Q&J6{{bpS zJfjpbX&|^fj#y+rk**<)BZ%*^V%^tjSW7E?U7hJgDD}-btMu*ubc*ll&Wu!P8VIGyFL(A}^5)=93K> zS6kLK#(%{iDM>)65XZu2EC9@jh!j%X*Pj04hY@>P?xxS%AsPb-h)p4ChOpX>@j+PE zu61!q27zf=Xn*%8K}HBVU?EW&X-HpfwExIHV8YA1$*a8*kW8PDH4Y2!ncHdXd8r z5{0z#5-5aZBoVX*NWy$+s?#Q~EeW#Pxv`m11!)JeK;j z`xc;)O^IO;BSyptAA0rdJA%Q+rNaAn4v@%?#Me^ne3C- z3s>{Bp*Pp1gTIy2hTQbwAS=jWG0i;P4fEIBmIAsJnmxrgq}#5 z4dY4pvN9;Dzdo~*Kbj?+b4cyJN77QOTDbAw%Q{^Qt(>%e1LleYw@P^v%nxtbbjH z$>OPft?aDKzh*--dH)K)I;3Y=-8tf914nQ7{$hl=ZCCp~1~j0EQ%|^m&eO)V+tQP^`Bq(a&(1IKV-CyP1xS3A zt?KOea6jgj5$fGH@U zT{s8|*YzTR)RPUNQ0)VdS?XHXAuc zj`0I#7?DO$Cp8gPP%aGFl;rN{kAqGB*+`kxk}xVbw+16G6c=QJ)%41FN`~Ri2|z3t zh4OzRwnic8rStE>yy$54PpyN(gW2=vVL!lu-f{jZ;5=0ra#K%ySx_VS;K}Fkn4RJ0 zi=*QcSr82bfERbfQOy+eYO0(f7q{dxYs>m!wQS2pF15r$_N55W-*lG(8 zS!}gbTk9!bUNLfuwKrfO3rBVxvL=ca&hLL(kw3xzkb{wwTRkOlwva4qw%h7@)e+Iz zY5m~mHqFPfF4yhWGdeyoawJG72Tt&Qknx^L8BuD4>fQ#7U^ZYTl(?mZls$;sV_tL? zcu_FCJXMrsUXpMEQGikV*bcdpT!Oaa6D0{(R4OCJHAqaZdpgY>1&55fi9T|%FvQbHdG zR!!7Rh2`2%R(N8Da%lrHW}MPvq(;^5iM>jRk^t}?(WXSeUBZ4*1`bug9_$6@QWHlT zzzi9o-ZP<7oH(bN>wO{NGNIJq%}td49ewAf7Eo@cRI}7E6-9XWI+qEB8UTO!^;2r< zV{xpHB|`?~7NH#VeM(7kK#Z)wlC;BXkGf9s_Q{gqJvWqOb3^g88;!Atv}P`x(1Ht9 z(uLfnJUG?o%W0v<%v{P4$Qd()`V;YIaJxr@NZA0da-UI`>5Srf2$OY6h(_1Y1FllG z@gfGMKctu{>eOJoCr{f0l2(7qQK+ec3vzC7^SDtkV#W?{W)z@mT0{$!cBWB=K!@`n z;Fl)cSzCW;nXGx-gxl-wSs3q^ab?x`eqk3rZkqbKS})sfZc{B+Vfwa0FR`tf_3M-! z8K_IDVTexi?+sn#O6lw;Y?d;+UT&*xc)e-X?Xp_OuVw2;m95IKkov~L@SYux$9ggEq$+WA|2SU?t26k}VAUvFwMAo9_Cet-$TK>J^z zVV8`xr@$>!42?D1s!)I5EwyU+Md~+yTmLoxE1Q2mO%ZLdzjJ036>bGI#ZPhkCa!za z2DjvUzjR%a&qhRz)?FtVK^n!-#$-N=-C~z`mQGsa;}g&x*9+bCSTO)kW4u%`RnUkE z>l=Pl1jHTBLf?;-wh73)W`Vfc)Q|Ds#4p{)pnvd7yH%J)vV3SPyXy=#4NAK-)+w!ZI$R-JRer zjWzBPJVa;-5vns006o9fjsG<@i6^m4iIy&bOD*0Is%kT-E1r!AQ8)F?Dcd0lQcW(=!2oJV9KO z!4P{>4^xo6sTqXuSMsI+X)!f`DWt~#ROo8%0&;S5WpM@B|E`ktw;M>Kr5r6JzzzxmcP*I`7T;&lB4@f;}C5|6nVSqlMM)QY_q^ShXBM&hD0SlK){rL`Z*R z)|PGnE;cqcUN&xkr8B_N%iMd+Qa*kGD0N>vULpt@}q&@yK33UHi6nen_`cei%CfE`{_h;Y@*tpot zA-{nCzsLSBlmD-2|Lx`f$H4#JoTT0D?f+uX{g?9pVwgIB?7jcPfy}VG8)P4pz>uwQ z{J&Hk%fHuH9Bgm#e|2(hrjV_F5OcJ)|EHB8S80%!rG+ZU&D`eiq4`^`^?T*)L5`NH zU{}!ZGXr1-va$Ui9c0hU?I5Sb6*8HBsVpID^uHmc9L>QNzxR!uiyL6-;$rHJ1bJu( z;sW>rA&Y5Y>Gjtv16Wxc!EO)}0Hip7fECyU>G!L0a{*YzevAG_JOEaIi9d)JGFty2 z9yS20^dAHSu*&>F8~|3iKZqN^s`v*%d@B7xd;nIJe-LC8Sylfah!>4N2;xQi4}y5n z`3Lbq?DYO1h|cs6f@E#>2SM^Qb1^lyvxFRcE4M##j(_BTPw77jNP_17AWlvQf}ET` z?tecLtHr+{B!K0=AUlA6)#?xYjX?iEE{@;O;}4zdw;t^7@-KS`#rj_m65r-eHju}% z@piI-oaa9bhz#^E2&R2H`@!#{Q*-B%DL@SnzULkfi)Ue~`y|Gz?i4!++)Fl71u#~cWR zwBcV(0zztb{nNzX$kO9qP2qyjT_IQWj{zk9A9s*T#Oh|_V)?IkfE45A3I3M>q>b+X zf{-?P{0lxV@M-_rPxLrV0l!B`s@9$d!kCGCn1lJ^MSKBWqG!;}&jB$4ENRinLJ zi1wIQ=5d&b^L-r*3rOwoipg3cS+f|N-(4mt`yd#t>(@u5d{ldlqMBYVGGu1YBN<7U-{Yb=jd?L~r&7F^U7GD;>2xiBCf#g$DD!ccEck zwQ&aROCd0A!(As%fRd}^^n6%mtrVi&VWm+9=ce^a`M>T)9_zJ-RyeF zSD8Z}A7q%7?@g@zEZhUI@1njqDuDz@O{CzAC}g^tGvC=3f4HfcfECeUjTVx6s!G2x z3yEnObAGB7IYn8SkG!pPe0sIqKOjtgQU=MG*O+gKSKXuha03b)}PBbg1JT)@az+PN<#2jThC zezkImhdxq)j!J4S4hNVx1rcyC$0|M=oKyz*)>b@&$_8SHiU7Xcsg34UGA zQ7kADB8%n(Qz~_*CztY_nJHl~rvtWcM&;ULkCf?vi<1-X?sn{ez^fXRA6J&Ugg%Rv z8{^!8+MHwho0LiiHyV|Oy*?O!20x}(gcJ4@Cn#+Vm0gk!vN_$WVmVz^m8|%FxJ*?X zR=)#ckbvWip;OfSsD9vEIl-+y(lq3R@VQAYOz0O|T-(ybXvQz=V8fV(95ozM)MstCdxs5WQ5cj3N)r zsZ6PJj62iv#`BswyvJiJ^o}uVsO;HetzRHh2bpFj4YL-$hOzLS zfX3~v7JycmCs;GDPwDjvAI0DQ>dbrmi`%!dJHMD+JkHUKY~6|$3paTCf-`h*%IdzA z_CUATaQF3B>CQzZrP+b#QdRqkWdS_w85o>3#)0j2%gLt4WrW`3b35Vu=~hYk^Lg4& zuVU75odt90TpGiFE*4aq56KG>GB-MN-om2lzi>KgsPJ#k2){xa8n5zlm@JBDjddiy zfB#7Gsnk1sB-HXzo2U%mdE!m#DF@0E!TAMUT8@&}oIRzw4*KYo0S3F!p%jO#k}1Y$ zcnP+3suR=m(Fhdx^^C}E1GBBXv{ANB>~L=g=Wy|-BoWVloBf^Y#^WsmHt*=tPU7ze zj4rXg%**InlW$Uq5=W~9VD2O(g@dF9ZZmTZpo1Myb%X08W?_n@4(mu}vgnS!P8SPe zWq71RH$6D4;wsUXdd>KT5}up3Zidp2d#2egF~g#~@pfy^X0#fM3|T-uv(eK}Cn;E^ zW}v0$u53zwNzZs*%RyeGOGVp^hsIANO?YiEG1FJ)S=!cabZHC12tKkM*C$=*J?>&2nu9@egG^9_rnP9%*DP=)k2GcKM!+e?FSR;D*=-aF&x0RRlw8=kz zd-#FW_u`wEcS=EfrNy?1HRWpDgJQ{3HIDs7kt|M%PoAJo&Q;kiX*c{i++@{IM0n}t zezVdu%Lr>sYJl zK6a%R!E0JsTzX83tLkbuIg$KJ+N7H!>tnNjL?mEVBMO&a+B*}dZl#^OpFuPD58z3){1gWp2oef zzY?oGT-%Fxiu)n=(FZN@!OH5$SSO4=1xK5-pBvXtrX9~>*y^?ZG{X;d(e%J#cO?eQ zExA*~ul}z&(YiZ2p32TXruZ|YzpFILRHHAgd{CO^c2~o3|vTJ?}G;I)X3xmmE39EU&|?Hm!_zeJ-*}pW`W6r1Gd}jtD^nC@XL{_ZYy2 zyaOne7ixqa*Q2+232A{nzF($);JEHHu^;tfv(kg)uBCsN$7{|lelxV=C1Ztdh<$sK zRx))~Qk=h6thE{v)0QkN)KwdCw%i=1$Ff=Zo}yVL22oe5i_QcMm>Fl(zv4YB4Q>34w67?Ce-IaCj9O2Bs<~B!9s1Mg zVm++dkK|rO8H$uEwXW;Z3aZ}74h@5Li!j|~wK~V?r+_)~u-u)UfgqDHd&G52m4G#u z!DgA?;Mo1vQxp5u{5JO+fzr1rdM$6wBt5(hdSjGqTDQ@WMqjyq)A(|)X&9+yoDcde+pzKjDtA{MM~7yMvtm=l$+M?V4v*KL zcKO@qZ<2C9FY;Q*TB=b_dG3JO*gshVJ5H`VuIW>~ER@B?;iy{JesxzFl%tcSydJVE zHs+5=ycVv~*?PRa>rrIQL|6Wqw2}|DI7-}CVvb&OGDn4-Q*bU!5T;|>wv!Xv&WUZ? zHow@mZQHhO+qTdCwW___%c+{HsX27mDz#>1Y zr|hmaFsr~gye#sbe9yq9^UO&ei&a(7FroSvWE9KV%EV(HV9^C!f^mQTVZs`I#uiyf zL{dO@ioID>MDH6zQ?I}_+A)toZ%DTo*XZgTR_M*?^bdsQb*!Y&+y2Np%`a#14&StI@p zz$6nS<^{Lf#w8&ZV&KHc&x$>6!Vp#DvW_>-Nzb=f`zF-qDZ?xIw;+$f*S_AyN_B}c zj2u;?u;VAc;W1hGW|i>jc`61t=^o9~lZoQ(C!%XNYd6R{g!Bz4`2+nF}OeUgjoZFgQwl_oK_4 zC{?SFSHuK-Z9(P?Q71BdK_V`yuE&JPq%tsCX^vboWdWwQOM62kNsDf^De?}~Z*PDA-ZhG|0XYtF$vYr8cB?JKS68fW8~&a)ydVVO z#7eX`AJQ6n_9MKUIOPQ{!&|y)HbGNWWmfA7KAM}*y2{@SK0_CDPkGP|q{L9ny=BD5 zmLka+2BGyoW1cOAoAO&8ze*M>U>Dr3?(~$AZ#`YZ_sQPKInV9|JC2IyD?tNK5G^VK zcZDEpOOzJQ0)LSGspY`ZUCl7NU%W*+yy~A1I{UxYe?vy`6Wo0H`eKlYkH#R?}hW&u;Jk1H!K8tB;f4f{>=#w!n$kRRwbZ2PHB+8FU{St8|PC7*p*(5oHSXy&nNHSGAs8 zD0;W}HY(+Cq~e1?2P!r+v18DFPP)UmR@K8C{mXlf-9{Ivh#&lR@$draA;*V%?)TPm zQ;w{*mJMg1hSPLRb7cvp^EVVPWvQjm;5_{G@(-)DM=SIAQIoL|fHkn^IU4gu2vEqs z628t>UMDLpvuKoerUM6f_TUHv>5$q%ZN{QJcA9|MYxtFGVz2`BLel;AxKOft{Bw0* zC%^5^Y5T~N0xB0F)jJK-0TdkKyoVV=XmIplix?5aEFXEretI#Sz@*e0u( zy&wmJB_Gwl$r_h#)UG2!=b-MblbS*g?~V%$J&7GAJZk3r#JkS9(^hPV*5#R2?G;dK z0wjD%f(*L}l6qs5j#1G%OpsC|6={}~GHh9EBHBct8eB=DDU zzk!aRhqQ7h05D-o(3T>PB*u=`oCa`AgWlGPy7;==KJr% zJCeuzT~a0C1ib6eNa94)uB6t%A0(rL;f+wGpqerGa zTbKFDpverGZLEp)P=A>A6UhOmkI0c%>fV18MZ6krExRhGG#23|@(!_t=$W1frSVbk z35q+Ty=v8x9Tb~R`L^YoQK|uZRe>;&#M6RzTR-Gds~nU?ZbR{#=Y%C)ZfNSRDy*J* zru$b$fSu`{q+qt+*xid5+A3amos>rJ<;wo`ds;DQPKIbww9)EA_fsZD=2x5q6^}?8 z4KJ843x1}qJwh)Ulb6@V6A2VE<72s+Y;TB#o)>Iz(x0zSFgCMSdF{7M?fb8f;8xPs zrCQz~Ug`b|!*R_H#SJ8LIPRK7nUE(-<+qMgYu zQMmGXMYmt}pnGV}T#0;W2w^{0+OATyz905GSLXJvB>CV8L6#mqFi_w8WUAQ?oY5N& z0D@ho1kfv1xDh-;O!6`@Zxw}vz{P>FE~(|gX{L2e@XpD1)E^OtkszK*^_u995vi-+ zpht#Ju_n%V8}6F)@_jrmK)do3f%_u+pU1>$Ff?{5st~v6qiI0vd!?vr&oH6sbN(+Y zBFn{f;RQsL-SnC*G*+pl#1G*^REnZ2peg3MRsgZ9QLnLtBi3RdWzV01w1sr9T)QP* z?$V<(5>Y<<;xU(h2rt)qrPj_itFzZ*yl0;`yV>U3r%oUIZr}WV z7+C%;0dMqMf-RH40p~-`W<3NuX^pFyCCj*^O{KX(V<5K-Uy2X?3Qs zE?~2!4~Tsel`P5LB=1fmv%}ESvZ|o5A!&}n<#etTPt*i z`rA6XU#)D3#~XAz8qRjbR=;~% z2{)f&Qd%~;^96)z@U?mf<=pmyQiNEL+UCUGFTZ1)VUIl}(*I;b4z;PV_@mmF=>Gk;N3G$2)$EITJew z0%K4a=G|>TtS<_HCh!8`m_u1o7C$~{^N)}Jl8gU#?Y2Gfo_6kP7z*9k;aAlHa;%1Sf_TvN-zZ~{|cni1YGVWbccY5 zgMThydBQ#-s>Zl}M9w@|X~~Aky|fn?J0zcriV)MtIVogKU2o&mi=UvMxMPdtIYE$9 z-Wev1_qB_*ILF5(f+>f#HO47BMGhF8*fnSgOu$1+Jmjc{MZ~;rF0FzXpk)OK`sci# z-NrH&j#oVZ=u|D@Sk6jelM>r2fjR_Ia-@&`0+gv0#X_(CR zd@J8=1x9GdI!!N`D<2dprNM3=6zt6UcSO2UY zUzUdRE22B8&b2veBl|F7Tx{efVWor~){^}X5HG>ut1_g1S!s2*!Go0%{Hpz|3 z=XFoJ%%Zf+q2ll3FbI&qkYOKNHKcR3YT|+bm`XGYCm&GPoF_oGjP_v^Kt){>#BkRvU? zX3#h=coOh=&0sc{t4@HNqUWHSk=T}0!aZgl zpWnnmKS{J~mZbhls@jP?fxL+x1|1K5myfNT#nohoa1!Mo6b)$gY;dfec`@G zE$1$5sW@B~NWsHt6o)V)NXVTyp+1**9Hz|8c})(E}ms|K5Wg_e0*VzI&e*VF^hhf{S{u7HT{ z;%#&3p$PkBKz1fGD-{eL;&z+a`2JHZmn7^b+l?U<7d)G*3tS~D%4;Yvb&QUz2oh8l zbwfYKQ8<~StlcZ;^5;MKVH5W5x-6dgbiG8CL$7qq=|)-erB-nogYnlogp69^eS|)v zq#q5Lv(OQ;dU|#3hc79h_o_{zRBE_#I6yf+fpmd^*-y> zOLjBIok=&e`QrwjR!W3rcf;WjD=s7%Fw8g;I^3Qtvo$2tRwORZ$! zAy)vmFCPzpU_xn%YjCu6)mK#^!t}CKR($?#w7_*ABP8EdhE4EL#1n;$LwOKS#LGH& zE{gcX8vYw++x8TxP)EiB8wR6BM>4N>%Orxwa-I?c{H4Xzm=uA*k?95T=1TPN; zyM}{(tu0+FlZRS??HlGB_6PNzLyKuUXJ_@?8x zaZzn&32@JU3~=Swi~QZvE>?ln>9J>_cvA_S#JDRfm551+XX{;sBKlK-F#W;_N4RsE z-hT`rU~cvHHP%;abY+pIhPZ9-6))P0=YJDDuh&V1o~iJAv{4wEE;g(1N^~#%JD}$u zi?P}Pq1RkR{r1(m3>6xKBo5Ci97Q9u5y2R)!%S@IZsClGij405w|E-gSpWvxsCuun z_TTyV@ct~$Ux%7f4f?Q|33H$6k4m;lJwm%^Pm5NhR`3S z*X&teIO!eyhT|nIUOD`XO1PtL|IvM;1mOTSRykxcxvv%E#kTW{6dku3wYMRJUx@-> ziv=ZA#FRx@7!-2^^t%2kUNhEi^9)JYvS^9Bg(??7H1VpIj7#@N_q+(RfZxrnGev`K z`Qj9rD-X<#drQy}4@83K8*mnu;I8427ix&M?iMve){>F?P+cvdd8uZE4k4wMW;EKFRmBiVLq@F zmS>Jk&=M#%%59a2hK66yF|pq(+)ksxwzUqqh;dT2`gJdK2DtS%hNS<2AGMhJHlPR} z9;7y4wY*^M+@*^;MrOCE{w8=mEH%Kb%kp{CmsX}N%Qi9FzoH`aJKeI*Ql$WVL2CV& zsk9Jr<6NHiZ+Kf*NJ}Q|+9R?nE>iG_S+F*(kcJ|(XE=ai`G(#G4q6_(+WF()z<=hv>#5+a z-4r)c=LJ>U`Zp^aEaH5a7Zg7blHGtdjoqs_o=uM94Qj8+{EoRVScL$K89TeI*%(Go zaH3ujHHIw2?It(*&ZKq-C`A%Y^s_Gh?2kY@Mmuq2o_f19_~E4OXZ0eo9Fl){!$;p| zsPQFr2=r;-gCy|C?H`wK3S1NR*_NIpIPh*(4kL2)9xP1*iTh^# zg+Cc9$62qKepcz1>oO`n?#m9wJ6C;=YLAwhW^DpC>ei&&;N&+GLvrDd7)zskFIV?a z<3CGe8lx&u9LDEKn8KIFL2?+iAB_>P^>%&T{*Gl~&;`etzKH>L8A)=E&@Q!xt48u9 zYvS2$oNKw0F|qG|KQz^Hw%gm(IPJ?xVCij_u6Sx^;%`mcdS2J6o6LKHq#KD+*M0S8 zeqYX$4)6jy7cbr25NwhYHWI6JQ)I!amHddj^2U(vIi*Cf^p^~dr8F#xm`Fv=>32d@ zh{FG7Y`UwJ@|gl;(+SC2<%b77LBc-I4jrGQzPetddJnom!+5Sy(16*Hj{BIS)t=0e&p81+dWVLm3NywiIZIJgs zeco0{uLaBpED1t^C2r_O<%cf+{T~yMrhv?j6?@(TYE^G|aH}XT9gcG8i+KM1ZmI^} z{S8(W3*#Lx0JpSPwsw{<<11xH%%gzu7X9-D-aA~oYIC-I?YW;n9Ilew%-Vjh5yGK% zP?VlQH(Cccy_|{O#G`ueFZ!&wsDTo{)7%)kNX0F(+7UvAM}5Jb&A+=o%=l-3Ei}wy z6Rd~r5zF0ti&kYi)PM1IQtDZs11(s&Ep3pr#X^(!rtbBEd@;R5qFu0MP6e-j>6v>b zbC$++`*7cjH? zIZrd{Dv=GhJv4=e#k5c3rx#<96tBjz6I|)ZB3x!DR${89WYD?9aagO~zo-#63hy5q zRbBE1hgzkPqT+SS(Pc6>#fM0CXr-q(pGns3$9Yx3Gvnrb1j9WfU6LMorP2+np~&{R zzySu(6E~@#MYqJu*K9>Rs*|y!&GVobS>pD~(JW`0=B_Vm)dafjlKB0hl011^7KkNZ zlEFtAH7^tE%QGWoRg3!7+MN!gc%O=x^BvsTNlkPAF`VdTS3WKXZs;HDT<9O2 zEd7$9=%V;0n3-Sgs3LMcHUH`FJZ%~#wiUe@Csl;~B8b4wr1=2W^R z+|HR5FgY~o!J+U3jhoA^J`AX+Braf>jFPH7u-)Y1440wdq4|#>&JuZ~k z11x%Zo6FBH-wsmUwa)ZM3njUoCi`|e;rzX4k|G$Iz2H4+#Ok;@R;#eIA&?E6P?ly$o!1&j~Pw`_omY;<7$4i2(@1Xp=<64qBs1R zi0*(nA}x)Cb8Aqq-@j@a=lFWL18sJ$k=xp@(i3 zt$}>X6JP{%J9`oMVtG#06Vn4i)=e11l`5O)^5l2nQvU=uFg#FSM4&rsc6tZa0d@ zv9jjbTUiME_3g6tO&jO!EfjT^SlXlC&D>`HJ$o6o*!d_UPrv=h`9cI>`L^@WuRmTQ zcTeNUs%Os7<@6GLHD~{q&f55#HZLPIQiCTUC8)oxC0%}ry`TY+=vG>l@oKT(jejB0 zcXG?2Q0omZuBp~TAmH-{RxRr!FLFi` ztK=Ge9=ax^%j>KrCnFTlw1KaWM|TK3k6RJpl7KcU(ZFd1Fv4f^$f<;JruHj|3;t-JpWTh-k-0Pm8vMfAZgXv%wwxcCxw7dQ@TNgHb_=&+dp)lp z9xhkBI=E#{aABRcuBze~J{8}akHAHE;b)e>VGW-Lgx#f@i%JkFDi^yT%}l_qOv=UB z-9Gg@=}Z4|@z?^^o?jigFt4|ob=YSu|3z&=u#!zY%8651GfOQ%R`(re{A)NrjN(tA z15b7%H~zWw?)-3C;mpk}SL@*qO#$)qpaFB#Mpasg4O;l~^3x`(g&iqP@5wL{`roP^f?!9ZWjl773Wfez1jts^I>K;AZ%__WDhFJlRj=GADS8uV4~inJ7oS9JstTDRl1cQaxZiQrGN+& z8SxTh&j$zP^uz8O#cr;%nE%AY;e6M-TX-oTkTN%irK&32(Vvh1;)D_&q4M3;c7#@1 zk5I61H=m;qzG8 z8Vn2sa>8xh^YysTJ)w(O_i^*NPsoskiwOf(EaJ*kkydu#R5zss`cFS1XGsK}*jhfb z#ZJmDyqeNO<9Wk~4}ueBN4h?GriLvoTOqNvf-&QXZKQ=4I!4_ZVH7zS5JPUU;j;*L zG5dYh$|soK*H{Px()Q90I~3V2rFu0tvil(%5@9eTMR^q^c!r2{2F{}^^lY`pz(UNHn_AexXVY<`aD62koD@XpBz2-_evrF9_3KgV zxt|pyOWiw6pB z8KFf-zq1Vw6MsU`g^Lf zN~FfIJmY`UXq)!y1J;GCWil;R72~n{KvVELVHt-jE~~i4JIwAoTe#@*)?qxI##kn?A%Nj^Q98$lN)Zuj6X2AEYd0 zTuTa+giM3d-kY=&ejR{`+uJWpEx(Gq`Qa@#Ld+G~l+iuxQI`rUo~NQP0jOiFt4#*h zWNM!NjPmwa!O}KF&`-C~>?kUc=z!4EZA9Two{^$=4rZNk^_6h-G{L!l`!$O_<5HhVPF)<5L0QIUpN z->YvW+U@j}+glr6gG8$oHWmsALpn+pdMHS1-&%6Hcd7 zh3SSR=e5uEJ=$X^WlT4AuR#4PVoL`M;8Xe;7cB4|YG#{)s0Ib8KHE|@ii)yIJ(hDs zYRaLH{XJ_?z5px;njz=dgPFYv%(xuq7matWr|I`J3Hr0yNZ->!l$Y$b_x$eH@--;l zuWO6!1mS9W)NlL~>Dkb^%PtJnZ{MB$+kw8S&6fRQ@VI%hoOVP*t}$nL*Z2_V4E9@A z48ML%rRK$X)A%W&l-;5yqXhDp`)75-4wF{yT8sU%DIVZ2n6UV={B&+EAXhzONqULn z`>n+TjubtRZ4Q^_i(a+i^3@GOx5#q9tSw>3`T+rJ3%==s{mCc1^<~Why?)8}-F#%I ziY#C?8RvYWff!Vi{=kf!rzFUUYh%rSK@1e{{i#gbrS}%kyYjfuu3fbqWrEr85-R~e zt>!!LxC~g$+BEuLRIqRVR_aSH!Cs+R9Qvij@!l-r3Ed5CJ+}doA@_QL=A-yS6D`vS zdxw*^HOYXm`0nm#W!a0N_Le6UBVU$rilQr>%mq7gQvx}=m;S}2RbPVZoe4dnLU)h4 zjaX}VkQ&OtF{^ti3EQ;JGK#;GZJCF0e!=FL-UB#IC_FUTOWSR^7Wo5#a_qzgJUk1U zhs(gF;@PH%?$FPsde*3#`MvkI5)RIn7K3M z2{OGB1C?1#Jv%FYqoWF`p=bYh2yi|OP77~J5wt6+44A7`tR3z<;NSFiSE?5Pe&p&x zZ^Qq-l>;u~7M-75Df)q85jy--=HMZ6r3H+9%=#D~kdrmI3Y0v_nK;%7jYvNfSbUk) z8E(%2c{NrscZqW8n=Bd`H^_ud%BcS(hY{RLkCr}hXOdC!9VqfI&X}$y%o(b`4IuF5 zdJXp|fM6ThYw*tyEp!u6G9iwQ|mr|Ljz?0<0AkJ(Lp7Tdp~9wrC!sAlK~ z(c#NZ3Of%ak=#b`QMgQ7MEAQIMCg;?E{wh~lA?a}am4VZ_pboyn3 z2>~#A`;2AtaAp38fA;76HHL~Yi2CvAY!z)HlBq%+m8@5g#gVX&aDn8-ARur>(Bce* z(}g8rF=bFpu_)`4nH^=4L!|@mBVuJ_+D#p1fQv|QFs`U1n?ZDiAT_`s`ujNpzrrnG zrGPU3kZ?wX0K^dsK!Df*ZVI!`p#TD7p$UzI^Z+$R`)Nb4cqD1) zU|1CEcxOo?V*_$5D{vyDVR0rp`iK)oHV6BV1pHAWBXY(;E>g7va4KsyC$xc(1CN6J zLGD`MEYciQYixv8hk(%*gJUXT@r7+JWn!iB-Xcpf?y++kV2?tN@yHjDHuiCO<9S(v zR}|{u82z~Dz8CW~*X;N+_oX84iGT^A&Hvb=_KxU2p>;0j2Xxra_HE*bLCO8L_NfRA z1K;_V*ERUhPac9ch1SKx7oU#W`UmimYeS2YP!QsTQv)p%k?&li=BLf%2!m0u# zT8=(7W;O*GK-&LcW)2h093mLwx){U?p-PY2f95lj$wKycYmp)K5Z6k zJ4M_t2zJT{&w=@hC7#oB=an~0%%8LU3ZZ2~lUy>%i+H?5>`NzZ_AYGVcjqwHl(W-z z7q=b^cmwAS7z^B4OD@(tnF0B4&ji0O2YYSHT_2#n#c=`@aTnpQ7yr)pTm-{hM8{&c zpmWHUT#irO)&1On<_Y%}CJb^H>YlHBc%^rc+)u(}EXB>|9z@Qbaew6U&JjNme<*X* zWJb5rZLW?VANQ9t=u*;cpSXBjM0#z+e(vUHLjjb2 zUzOBvSgrd6N%G%bw}6a!@W%q3v~h_`rl$}^#47RYgPB(cHZ09ScSeTiZlOJpCv05#7#qE72~cVCdgVPdHUrfu`{IV@?Bur z(xnG?LR^lCWpL9@xH(=6yVD>c7;L9_1Vg4w1j;5tY$$?KOOSvQ+GU~{W&qoDTz;ju zypRhcNTQLK0N`(4;|F{%Ct<-^``k6HA7H4FgNlV#+iUjVLt@OvR~rsDK^E3EMiR=x zc!ObI^+H^aa_N`xPt_7l6QK>^E&lhx@&f!9rV1pxM4++S+JD=5w>-AVLNiBA^P%|7 z@oxFcS0oLwt6z3ofF<_pB>f*uTic)MBJGoksoRAzSiqevyrq{8M;KgzEsOM6y zS%_CitF2;jJ`WU5kWz$G3ctO_S-kNr(a3geS;d{l(5iIXBuAM#N-|Wsbty6LUH*t`m<0Vkl@?8 zV>n9<`{L6EaAtI8Yv1RNGol!z1;@^n1;Q;tAk@${h=#(TT(v2(vQAK0=v3+A<)Xe? zw$u8t|6S>R`YfbxwMZ%KdtblfpCkJ49@X@+xzosB@`KylVH%@F9`F=LiP@Lu5#v!L z4q&nY)LR=e9St`cg-zWstU+0i@sSM)l{j*+SsL2A@bq5A5g4re{_r)|6m7AR0Hg|r# zF8(s%V~;chGUzQHg`C5rn@1G{yy|omBT|7_tvJ%5R!9@C;WTHJs)7NqhG3XL05Nbu z3b5i$&`La6HQ)?Ppa^rp>d^{UZ^45EUGyYhVC4a;z>xH596uGlrboa0U0^!Il zkxGJO732!liG&8>>INK%#v5SOSz7-x+eh4ykw8A8+(hPv}yb zW2p}o#x==vAws|;o49NGu@gbwjo#8|jWJ1qZWv3QRrx?na-ItQ6nfOtOG7_chI z&?1%80Bz(e0?`B&(CqTRB7f@@3pPOjp zjJqCnyYRBFj^R)Iz|VU5@>00u&YFY(!AqP=U4%UyAq%g!YmT?Gb;N0RujU?+NGHZ^ z;Trq8hjaSZa!dBNZLVUF6MGnQ_D$&aPh!kGl6kqrs;7|{&JVoU0FIdwY3G&wL(dsU z=Zepc?JZcHk1Y=Qs~IdUeTaot2MF^%6#@d%UddaZY%ii+Kznx4 z*YA+M|3v-SmW>}Mimen%fBB74A{>DqE=ACUF^Ip7T@W-GfOUB;PXis8pP>s2jp)e< zjvO7m%vsSS3I$WJlWJi7prlO)D%pVAL{2r}kGgKG70~HmG1!n;IJK0HL-MGB&N>O> z^9_lMV67-0RZjz+avXGzKE|o=7{lShxvHbk{&x>2i8!V)c)*i}UX+9#-58idKi{vm zL$=RMAlfoJAV4{Jj|Nen{=mBMxg_#00O-K4=cbQuXOR%Reb2UTJU<}jY2%4q{1d+W z%h$a~Qf=`0r|ygC9R}+~Sx^9yl)P$#`G%~?gwgN(J@ufYOGD+Ku&Faff{msq;iB>R z!?{>0Jp|8zqEiw=qx;?Ygirbp_JG*ijQ*g-I}2a{a2jvh4VVL=hNMO;1}P?qmx`Yh ztQ4#Sseq_JD26Deh#w`20j&V9fN$xKgHnyS%;RFy{9#c^efTslXGVRQQ*flX$}9Mk zSrHIHNv{QjsxT`5gM&77{9!3Rf&H!jaY>AAwQCSYYUQo}@0FZZ8T)^kkai|%Cs0tv zO2VSzqKxd!oGjwvjACMJjGV$ktQ@QyA|jkZEF4@yocu(*|KBOP{|BQ(#KgqN@xQ>5 z#=g3I1&Pe;KPk}jBj&Rfni%8=Sc>-|XfQg*s7e+49c&T*c0S7C%k1D5vB_JW_TpzUw!~sqlR%w0Z$Dw-IR)-D(a-5JF*1zHG zL+r7Y>tKk3ZcUM0J{W`t?L*a{dPMTpjAm-;^GhP}pICcVkR9KO>V9p2jb_J^dRWD- zd^JeHrt7dV53hI&LcC+1W_#~|*AKqp@|290p4#&9>Z9~Rqb9kZMa3GFCUQaxrKaOM z7O!}gs}Ett4tX!tq{hSsoJTX?f9ICuDvDb-o_kMM`a#gD%R)7Tbyu9=>v0;!t(AK4 z8rd3m)Erb_=)c*lxW9@3`KMQ?gzP( zr@;nXVt@LrhRvi`x0QlA`gg)%dFymMYx<=rX4_0mIvzEK*KeuOcQh6&{sNRhL2kbIEEqilouL4l@4&TCwvbzrrO(tvbKek_gxVTjpfTd&KAf#t~FLW}Y)Qp0DgV1}f zr@baF1gf_(nzj!BdFUmn-d}-*(@vOmG&Bv(&1#AjCBAi3G)*o(f{MF~n6FecZO=8z zku-F^Z;)asseUUp<&%rJgw&O-)gCH}F{U91VlAnzdCIIKjRA&YuBo;fwHB48+PCf% zZPy!Lx}}go`Bk?gZ8Hfrn4pa?Ek8f+<6Rc^rf?FX*u?@oM}IR zcwOR;O>y(Wy^jlyvroyhH>R^X(AgRBvsHq#S!iER#OJ`>YS4UX7N|~!Dj{{#Kj*1% r177PuUhc6PulfUkjLF4&feB$*gES0;|KRH!oSaNBY>oROH*KF1eMA4x_!3(%fnG)^KjS80>LSH_3EX?Z> zSW57?yEG>V9s=up?G1oI~;0iO1`ZHI-qW~ss2`Kl9Jx5-ya zH2=~>AmYv>l;Q@^qSt{jbj(HCeS$yVx~y}oA6HwB$johzPD)?GV{SE;jHV?9U6+=J zKgzUgzcuA`5mClEWC?0yog{QfOV8B?@oWlaHqSoTLo)>2RuD2~YW3e@`)e(1t9los z1)MKI3G}b!cmoH@s^?_QB%sVDk&ly*NYA7H4v(p2-qzzdDn0M{pvmUMDGGm&P{4$I1_-Q zHD7@q0%zE$fYAW1HKkQ?C9!%RX?ZeI)zYke4DYC^gJ}guGjZRDMkcbNF@&NI&d#2n z?D%b%(w#>m^w_eqIQKsK%CO(Xu)KXoBsAk`$Da`tv63W|DA|!Ulo;ST87B|Vzjq~n zH_}+D$c@#U9N_D>X&EN?cTe|n&&;rHa)Cx%4%9mimm~mEKP&IHS~s@Mn}&5IL%kJe zh7rA@Afksu4MGp8oMwG8E*DivJyXYP>&y=a?J*@stQS!bAOkVr&T6dSz1cJs6Ql5* zxmSNzu3g$_E5ep-R0L+7bQJ^*dU!v+O^oW=CK5+0(rs)*CNl`JI|sWx8-;u%32cs| zss8D|*+>Hf27df;V@tRHEk_F8a;{Cew8lw%;W1X6pdZ=jUsuog;L`C3u(}XQSt*n? zDXC9&n5b}2u?vL(>W85$NGX`3bpMsv2|r|h@&G|PAKb|(r-MrmK_>!f;#cC!l7GT% z#?Pga=_yymLdBycwfis6fx;g_SIi&XaGsEe!F5dDCIyj0SbYb(?h>3LM;nWO30lub~#MB$mOmVaQ) zUAU@I?fvtemOiA?*kz4ss@;j~f5898W7;7KHEo=9_~}j!W;1|Vqy)Q}aH*oZvO=Db zyEzY_%lW%aNEauDX-5R&1P)8oI=zx9YjCYe;gGwLx z)W=#Px2kh95LYe!N zYbB(#2(uOBV{um0>J~+Xs~tc71A0rH-n(3h6Hx%&2}N#VqtJ{1GIDv8%4*?kh(FpRXjdHF8!VV%Bz7_9 z6i%utac!96Vj3<+J=a^>QXbr&pB~YFv+Sy$9X@5%ICS@p)wBiS22EiZB ziM*QSIM}{4F%sZ_lA=VwG1B%;hVD)I=E2S<7fBfPD#om8A$GLQ&gDeBbk#*N9 zDPFFj6&IK z8>2Vc8M?T+$maG2h7`&FV>IIqzW6MnU{UAhKOAAZshc=809WUwS*FlS53x7L`J z@j2{rzdrCM!aa;XS+d=6pV|Q%ivjWsuvN#$nruwu6kl#Sd%Fr@1$=Zz^1OW{$3>gp z=mj-zL~`9mNF!m7>T6ob223Yfa|z<^(d37s|LYf_fEaVsP=m!2L8b zcYfz$FlS(YU~*If^o)=_-t(fyK_@WNDSnH~ChUn5t9w2#A)mc(d6_*v7~2$hfh1 zq~mYMtg%w0l_}X!v{abkwYV+;PoKNR0Q*uo8)+=`T-}f)-%)Vwqw51s$_T&z02>%} zG6bk$GO_k>d0UzECwfI*y=hpr9`4;p>D~ws`yap>1|3s7PMGaZl~qVQFr;`6GII@= zER`HtE~3K2V&&(fO0ui2YpR~0apxs_uC!$}FpO_msL9q%Lf&4FE zRb*RRfgidNW99B|z>%bGC)8VVQN;nhur&;mxchtKMr0=%ufjbBjB^Y*?-W6A#PEvQ zudy}a-S!zV@bQtv7wfo|>Xbk7Ibr~2eEgyc zadhi8Ef)1!a}pg*tEW5`VkMK+FQ53d83Z`jCZE2ROi)Y;@;Aj{a@$VAhqP&g4)D5C z%#OIFuHvKy!TI5!#K32f>dHT#P(UQ|p}?`1ETkCi)g>7xg_tgRgRd`5U(P|KNHR-A z#D_c_u|%c9!cz{<%oKQHx-tO`uXf2lyXQ{rGR02t7+N+f^6IYA=#YEF3K~~`ecC@h z7Xcxh_-zadxUh_kA*v1T3K}hk6WX(4+9uR9w^kyhFtz}#{SHfk{88C| zog{jua22pzmfEg*)>b6CJok%qF`9EZB0RjtT>@9(lS8nCL4f)XZum!MgAyNGGAtUN z13tkP<`L}Rbo#N4U`+0%{ba~Kry{YEB?T?VSexz3>0}&|rWkO+mYgyeC~)=;69>U+ zTIO%B3B`|2R&L%vsR{tji8B>2^-eY-3|j7$$>)z7W>MQIn8 z{l6ri!R;_GIu)yQ6TX4~hgCzO7L{^cyyKcbGNv?DEl$d1_uGJ~7PT^&Bl)UDaKv0m z+zLpZ9n#=3ggP`g`Okd0*CO9-MIOEIybZHlPk|7cP8v{$dQDQ}8u#W6wj~tp$h;z) zs|MmR9dpL57>|_c*$n4{+!rVgDmQeu4zQ_+RsLo7KMe~oHtCl)8Rn5^>g%<_SA?ZI z8J0N~-`s>IzRZB#a;*0E*eOMB;F`?X^)-r^YjIUG#|&_wz~(8O?r&DR2}Mv^DwkNA(Vh>Jy7KAR`ZN11$Fzkq%j*tfa?#n-vBN??IDn zzF5hgzq4;C-ML)O=rxbbpYQacM@I%35to0@8~oFp+%f^uFsfTzZh_t7*`Fx{9+zvM zji#3zyT2;IB9Zg;%H6gn5qKU5Ft_jmUPE;ViZp2Xrdf=R=a)&W=vG8&wFE)4eIG3T zi3EnD*2>?=C_%^UF?#uz8{&_JwgV1du20`Xo-<=d#qfIdZPz{DxKBswMk;#Spl3i+ zo_ogFLr3cOUvx$~?MvDz<+}_zZ$hm>DZuL)wNUF@;am~PJL*rDh4>MAC!OtgPb}Yl znc;icHE!pEk_wv41eg7P*jXwa%(nv>=sakCr(*v3{yIM(hD6}}YtA_0fdFCUN*Oq! z1xUMYaiH~mY8F#VKFA$lPE5uePBE+$==dRlu8BC-w)#^1Pa z>4ZYNzgxYfClZzwo9_l?(V?zITb;WLC#uKd&?70wE|)8k55j;1T;YA}X~=aPM;b{~ zX*8ODRBS6AHYkHn8(#_7_E!tL)BlKo=pHH50p<$| zf9nyVO{>joM<&br@{gx2M$4&V>QDh*wO&rq($SrZ1MU1y3S769VnQeR(?Y|MFKkJE z)lDZolqwO+ZL57$cZ`a#MNvm1a3PVyH2CrU24w9*n+Hw%kucL?CbNmTs$tL_Och9) zH`njbhm~$^G;5=FL)LBgzd3(g0LU6NId$pJp(%E%9GYqEU*emE&FMQ0hJz#^Sf)sZ zF`0oP6f0OpDlx!DXb)nGkdfCK6Y(X^^&+t$o~h1w5%?lP^c1b|gp9OoO2>nrei37u z`w=pHxrd2eFbGaWmZAo#@!)9_;3%-q|eF)<1!F3)d_kN>q;7Db`>A>y|nhx zE?Hj`WL+!Dmbr^~vQx_@rRs_fhM1|t`t7dV{o*MMi%q)&zV6z!_R(H|!FDZU&L0Cu zRhKHWbp#ho(bgc85^32%05ek%oPE%Oin1cP*#wl{1U5|Nu7V4Ux38Pq69@IWk^Qt( zV=?I<3Ceb7SWaRR@c6ybT~b9dPbtW8_2Bfv4{Ee^f~5SVpU$fTH44n*TE^rF(i;|(evQQ#^f zj##ulkxLy$eL&g*NWTmvpQojJ-l!>|>U;|)Xc7UvgS+m?EA{FubrCMqLP8Zcj)nQl z)sev5Dyi?yQ!FH51}C01k_cq>=!o!f=w8_H>Y9qf9bG;^p(E%9a-VXIv-xNR1=ICt z3opD!kYNl3Q~Ugin373HwM|uf{m0fv-JyF|Q1`QFA4DevFxv%ftlQuKtEfali9{PL zy#MM}!A@LDW*p@Ve9EFkO(kz9v^oqAkqAT$l_B226k*PgPPxwl{idol?DjH>hL@;b z<|TY#WHFIV*q4hmsVy2T5d>-#w2AKQ@#B+$h|p$D;ucRdvNlv2 znjuFSI&b&{V9^_Px{1$q@3)x~e>redj!HQ_ak-o((Kz?M0~UaIaip?aFj1A`*v(29 zeVU{_lQzB1%6OTq(b%Y_*RmwL@Y(3AwWqc-HpW|AP_iv|SkN|#qPJ@I9e}f-27(o} zX*=d;!8nkj2bJ`#!O3(Ya4u-8!p~5lF`R}}NVmo40QC9H-K$xUqBt(rZ{+gMd@*HJ z|DB)$_n8``BQ;L?V3mu zEZ(aFESt9jJYdzf-D%7HELE#D?%tWD?sz!I;#)ue@dFN^ucm4ax^;mC;rO3$OAXM} zb^MRL0do!eTV_NSUX;&FaJX$~v^ur2a8JY+Atp;rO4=^uoeDqS2;ws7W@WO?a9c5z zu-;w_d$0GAg}!3*Ijk%=)Ujw|jQ>CQE*3v;6i~+eG$W%jaFb*zSEI+WVWbwJ^eF&3 zv;P!TGQ*Wy{WUoNNNC~2$^p83;OCCU>RxEd_U?|aS6*knLBQR@Ts0v^QJX}jt_#zd zHF7=Dz6b;*n7{sTb$1*yCo_RkFsx1(NrPR{HZg(FYn)S5UwdSbx8}`sq9yrD?Jvv< z(C_Adx1D>_va3lAtHhP9&Yt8bg4OMB>D~p7L*Qp;>5@4C?6#}n^h16t1gPSx(nTqE z{qMFaItlmCSurFbfA4I&TD{XSyic~fI@EeBvxuSXpim=G(6>?PNivZmNPYDkg7b@ zO3v5&o_4_Ng^l``lCVNreDYOarZY~Ob??RpmthNMm-X~Ff(Epnp@S6=$5>%Gvk8cp zd^PiWDF*&}B~V+SLyJ>Rd7v;_w5Z7@(O8GvAOQ+0&gYe0`8&!KDQm!@Tu`*rh%?<0MkN`L`+1%&{a2Q&p zXbk`XF@!LAF|!9Z{KtCzk0lz<$7M*~Yq34iF_uITMe;L|7<@-@*4#hH0s+MaU6RR9 ze~pS7H;ED=L-^$VqgHu~fpnKn=ecTqXxnok=dq$VRF2ZvKvpE>u>+x%qtr<(Jxs;& z+Bx*ZIMsS3a5_`s`O9wy&JZziadTZW3U>fv34zKBaosUThcFITE;cBKJ24@B zgcEL!`JZXKslOcZQ)Gzmf3!VH?F6OOHzVUXTk`*6lA`n=Got1#`N4}bLE?T?Ne9#tzT7s46i~AvL#@)=mYmZST(TGWRN<5B`e~SiqVm zQYi)c?pB_9CO`P;a+*67^zH*?9H{{MpK^`7d_sO}pSs7RU&}IHL7xSWv+=506wiUM zZNSsNeV^v;@*J9%gRBqZlP#l&>h1oju8`x3DvhDZwD~-tuPfVjh3ZWWcfzil2P~(& zwqUn2<2{=qTXY^|H;r+Ub4m+q1cgovaw72D7f;=8nG~WX`PYk)1^0rWCPIL3?7ye` zbfu&Q3HyzO#gs*>!XPq}kq2Xs)9X@UqW1t?5XPUcl1bomt& zT-`Tk4e5bmhh-ST0^3L+q_n|WUqrC*XTD-O^k3E-RU!VkKUY2DpuA&x4N2jGNy_oz zI`4Mh918B^6KD@r>wsK^c&^jTFhk&Tq60x9HzGFbJlVUJ)i| zL|98YhJKx$bo}EZuiurd4rCK*VHi-7EW+9S%-s>wAL7`aoTg@EConuhr!eFq?p6_G z2QKjX$s#h(<^;@$pXMZ%A~54rP^>soF6dl5Cr_U<3z-NATkdGAeT5I?1PTE8k}jv< zkSpf4&2L&X1fzzd0mWw^^i$O1FJ1~|9!1R#RYtrGus((1;kY)OV|w#wnv+-&7!1R0 zWLdOyOHE}=-C038p+!GE`wJ?m z?e=FN0hHyWYT`Dsbl!7?%>#h)18@<7ffkFy>-;UrX2|Z`vpd&0m47(CWuwV4ZnKBi zs~ba053$+Na*mZQr1r##N+LZOq?YNsb+8MTrp{atDs3tYzPu2;ffZt38Dc2DR{B7V+{p|C*gbWZ~p`iUY6Tm>k zt5$K%F!oNfb<9!e`@80Oj)jhMre+o4EiR(^(KDZ#q+b*?q@vnG+j{ZP4#vbdEnJCl zDJ+5;&EiCAgoHu-$KAV@L%#FHkcIZ}u$n74{tMQTWnIyc^295r2PT6u#Wvq+11;fd4r< zCe>`WCo))CA(T}q(w0E%^~G(;?Cu_xoj@eVU4*5EP$C-P9V7?-a%5`wrAs@l1mkF@ z?HO>wyMoE%Avz$02@{z%E}_bYPq!?pJHH7KeC0j*c|$RD7$M_4nzyHBlnQ~7IIzyJp| zTqHxm^HBlKkzZ}Gq~g;m!$Ck0^IT-5kOGGImU$j8*eAEGPp5ZvK4zD+nab?M(c?d? ztF39TWq&NLFDbe7VG64sW8s&f(NysWspt%s_&(rjmtM7ubfmd3U&Kd&r70~yBNlSe z%@AXneM6K3W)rz!=vFzG0v9JkDKDJWQ>Y>EjBpGys48Mg{+c0^J{6*?!N zER+QiC#j%~L6aPT|3r$|NGvD1kWFZj)6MdRaTL01Xvv+ShL1UqD9skaTkJC_kTCig z;Yq(iNkxY$TGb&77sVNX0g(|obCnl@E7?c_IuJ$(UV(!VCJ}LZfH3Jdk-#0;VQOMv z>NH8TYvUUs@N_Z7hKBGIC?>#bdBIx-W6VOMQXxuv8ey!Ytf|6U%NucyhzP@4JJQg2 z;#(_Fc#yM|5MbtOaV8`Xv4@h;n-;Ys6%e6fJaCu_1+0b}V}&6zbKHI8L^q)^`P9k) z#3^W73a|}uPw?v2Q-8zj-9`o)137UbjX4rp_u0x)2k!FU_9hlsCiJnAo#$l zf07uvlM3ZdvE(k8Svs;&XbCVBsD-MS=&8##z|mfTQb}|Z;DJboc+oAehJnfANF6R8IEfXa{P#l3(~~% zFrU#-8~257PL>{ea86V``cJ15-Y31@TE55-HVos|u+g9bF5#-Vag2IwwB$zpPWkh} zLo~6_XXoLV3);cYo*RCLpt6ES-I(|isb=?jc{c;Ca-%@Xnxr7SVC){;rL%S>y}@94(RwQQNCp%c z9v{E?Y8}wwEjUyaoy%&IN4Qwcv`sIFOb;TJfLRfAK0+jthpI)gHgKpOE;QeK=I-pK zs$0mck7b41N0%y3D|3aPa@rYcy;6NwrF}7@CJlXs-TusN;%D<9B_Ck>-1FSl(BX`5 zti?;i|8HMI2jyIcv)Vi3!jri*z=DL4pBhE(B+ob?)Nbmy3k zWUqF2{rQ7ki`eqTbYb6SESWeMSN-{o`0@zd00!=p&T`~zy;PI^oP_r2S5LyjWSDrt zU2S9H;5*x`YlmtKa~j~T1q+q@Lfl3Y+Lk9t^v1{u5CklKeaIKhe#=-qbqT=xjfna? zwc$^wlrlHsvFED&^G*atJd$Vm=;0}@6rERywsJ}v#-wU3g@Sp%KRjD z*nnKne(iH>UQ6%mh)dW$gYc?suCL*9*#+Uw0&?59v%+rG0Dz z>B;SxYIb(cK6%~%G%sZNu};@?P0(`l3kqOs{(%@R{{#5a`ua50?oBIcJ{YMQuQ(#f z$<1}pci(#7b?(1@cQ^0PP8|cIG}T!4{nA)Y2|Yqno&p6T^!%kpi5MkMI{Tawjq zim`n|{Yk#G#=_BV+vO4G@d*00Nq5^9s%IDLn113Bo^`70f=FjL`0&0JX+U>N{Ryt! z7dxPtzXN#3|BXZ6VrlPyd%IlRb1&G<>qh+Oen0B&zQ6zWW~Nab8^z6Z_4CPoyd)Rm zZjnwGXShr#tDURn%cubI-qQV?Oo@I-R#Q5ee5Yy{Ax$NQe7_t|)lReS2j5YDZ)9)= zufUAhzvXZ}U3h8Nv6hv=w$EMsaHI(+S>{aqYy$9UlY{sxP`pE5@%V9ur5WJ!0rIW` z`^Sfijp!gPkE#at;Fk7A1s`pqtH3iICdse!ylYwefoKCvV-HW>L}wib>b{En3J5jd z$M@Pswk8_|a!y6>jRnHz?8@8ftD~#-V8H#7_mPflbOd>EHNL*bh5GQ?5(2ObjJ8i% z(*fZ?kSBAaSTGTS;MsYH%I%LAl{ku83CCw=1qc=1M|NM{s;(Bs)u*W0tD5-V^Bc<` zXKJuH7beZJjT;CYYlEjZ(emw$?+k5?V7liXso`W@sH3!-S2yNG%G*& z{AOiyX5^kRb${~z7)oEem(_N0AGqytJUCdAohm?6dGrYsSN_MtnLSFC(grqQYjVMF z!()ybG!P1ZhIV(cAF)pP8U=@=^)?TO7-!c`dD@*(i`6;%=JvSunF|h{E%7r4 ziHs+9H=TC`o@VKpFow1cu$)UHS$sRpy`mq)nowWo3}F>8)QDJW;Qt2XzX5HJr3MSe z${=3;&*fOr-cvm0Kngf(kSfSdbBF_saoDTxRGo}O$)t+@1I=A-G$UT5IN%84y=mxo z&h^Tx#pEg!GQ1nhm+Q-V=QBm*;z@9N3V=(Kwxq; z=Kxt+Z81D+^IaV=Lf~JX@K9osQKXT<(1VWZ%P+SD5afFUXY14S6?Y9Yb5&fit#0T? zH063ARI$B(T!XRhD%&YG0B-E)vNUWV5)|t(AL3*?)E%FFVKc8cjRO>1c{ODt;MgIj zt(&xc6hC|4jOIwE5igNAa#abcMJ;hv5I~c~YTi7| z5Y8tN(1LS~-7PW=1YZeSlbEO-aY2;XG%IoE5jJt7GL*XS z`U04Zo{*O7eZR<#t)s8OIodTzOhxe`7KXOl6)*)hQV;`6N?b3i{ka}z_6=LZ;eD>P z7qyL4OvDKGDI$j{l(Nx(lk^CN1~5KSG{{W7qtZE9agsS_*vEDYN5ZxJt`|1tgoB+b z#R6e-#Wrx$EJ!JJE+~7lWCR9>dYtyoH8i^n)brSO!9{*&fJ+9G`TKmXlMe(11aCok zkXUlFnb}H=1C}wwvA--@rjQo_9f|iWF z)U~Gm!nZ@w*Me7DO>!OM4V9VWI1i_2kMCIhLIbR@@6n(N%>i_MA={(lZ-mr8uI}#z!ik;=-jCH3T+a{iF70 z@$qUwco6mS4Wv0h9PoT2tmrQ8@2|6szS8XRh_4_kRw%d5l98eP?-_?-=EPV#k8!D( zLy!7_h4I0$s?%GWCf)~On!|IS-Zd|*=u*sUCxpjq2HPE%1C#Ap4SXhvvjH+=YN_SM z@}rtL6nIUujfTlnvuhUvUROKkwksBPO>`m8!s+~nDzSLz3BZ%PUJj2dfDq}Ntm&D5 z@mq83On4;uB&O1UtvJ+<-cb4T@i+d*isd9%)W#D(DP3n}JO0;TW#h}{-gV0*2gUve znE2WNNn^5>MqZPFQ{Hmw@1M&X_wRu?Uk{PPq3C#O1lsTus^xRuu5*uvS{j8%7W--q zV~1sWy)|Z9Tfo*ROQ4M=Eidh(W0oVuZ3a+Xm{0yn9;pH+$VLvL&?~+IW7>LDOp9%b zPo8qy(AyaC`N2y(9uCy$$pr}*nN|I#UdF84=UfS}crMS-w`&qd+d)SDP~_3SYTvei zAVSu+o_C+yKspZ(FO>sn+fTX73}BT=|> zy>q=;@t7YdjgK=(+c;ff@s50_nMmRa6>Laq3-z%6R83qjI6~(9PjU2rf}ex|6~hEX z%|+T{D#CCcDpHdk+FwAzI!;tLvaKFxqQ#sc#U}yqQ_!Pg(068J)5;QlE6{|J8F|0noOcU5;9rs=m%lxb)`s~tA$=;`-x zf4rLnYv_tinADVQ>L9*9L?_|a_5y=wb3Lrfa)>Pqy#w@VA9(KwO_-8hYR-seF_O)% zJ#-m0`H}MSI9>xBmI5lXZFcPWi;qxADWgMO213sv@ozIzm1X2hKiZWgm~hQ3{?kvw zQbUm1$9vBC?`T+h1k_W_4N{yy=mskJ+ePciGK{X@#Qs-5fdVA!xd_9aO3fnMVk11g z(A{DHk}U~u4|Mar5pi>NKC9$m6F3hV8$g5@e9bH7C-3}vi?O#t3m4HMnX0onKJAt? z;_Qw@l($ld?&$MCOI{U{pJvkgyPm0LpYewmOgN^9 z#@As^5U|8*lSnQ((fix^4dr3^B(BtwM3&Q1&z5hNPMwm_Ne{pVCk!PFOW32&QYr2- zQ4&i`P%T){BbNLCi$O12I@N z5437L^)>V+xbNj~THDK8x|CML94GHye%K>@Y)y?iM@)j@arZ5{OZSau*PJfBu!|g= zx{)@AwY`e32_Suyy2H3TTUpFb6`oJvoU-ZkleXRPwM&nkv}c}xv^+xfw(7qC`wRxF zbGA22Q!OQPiC>ZLwygmnOnSS^XLt12mL2_8@7i{CJ?k7AYn8{S$upbEFPHQ~jaT_L zL|RDca9c7EUoA$=PA90TkMgb}(KW8!!`WBzk)p!KK65|@n>|2;1>VQ}_ zJQcABoaKGt#i15)yeEEYoAmoza#GgM1poz(tEc+^g0P)DSi7A(cvKJyGZPaGqnx>e zrJEHC5i<)bGk3;9CIlKdGb=j>dx|j#B_OWdTy5*}Auwi1h3Y0PFZ$b0cWB=>0el7Y#Y%l9$j(3VukE)t65(hAD(8yq$0-TV9 z1wmkCZglj7BoS+1R#sY4Ru*_vu*k~LB+ip=h*%MVi&G2G*29-E=|3PAx8Ml@02Yt1 z+{r*2khP^PP$D|e@jkH20~0H#R%TY`uPv0vKCmB?TN4xT1T#qKU>lJn8H{pcUUx`X zRwwFl>2Dvn67CXE;P!Uz6QCP3)LsYyV=TN4h+CA>H4*+;%v97i5N3THGA1UmqLZ9uIpE!2*O0@C2j@OX(WOGJ$-&55fZcrOqL=I}h>X=o~AB2Bhu^ zI}T8zF;b<}6oo_rB57=6g4o~@$<4Kw7eWAI-2lLy1OHkh0!=`D zac%>8eqqdvKiiv&nwZzeX6ILThF0N>Y>eSSs3NCWcsjWkK;i7=e^}T6EgoQ^U-0^H z^tJGDL=XT7>!5KFk*Zr;V7q@6jeN9*(3OgTmyML8hNY{xb?ikF- z(!%1@^A_MHLof%B@o5+U;uP+2d z32B*_F#+Fxzm^*Mc&@XPc%j7u7q2*sl#I@BMDU*FQqI_CA`27goIGaxJ;F03w6VFI?$bzlOa z36t!=?Vo&eAk-52b?8HoK(sS(CU9P&?`Jjcbzr$6KosDISOF;I-0={E$^R{bD+^fe zupb)ADEUpk7Koy1Zv@yV`CC3Q)1^NOccAo+QCK2L`kqs`xblla3hj9hEUNgP(OLAX zB>+{-@-2r*8~2-H!h7r&1s6Azh;zd6vfpRc>;Y2bAINtQ9T3IR-W#U&S5X+5-3z2h zan7#*>>@zh)sxqCLjPk6gyeIHFu7xe5NdM!12MGJ;SrbEcjifwYC?Yq?8hH#1mhv= zF#;#KddHD{WDUXPVoN7PE-yef=r`%7x#BmPIIca!j`Gb@my0Mfzz|Lmz>MB}DE z)M%poD}fgY$~t725UOh99x+txcL{3|bv z++R!4*gSk9a-MJh1mV@Q{;$_@RH$PJ773k9aNI`-tyM6#J#}c*E|#mlVwtls($2}wAJq`${(lIc=mhGkTmGS4Tu?EppXFb2sgECLCXOc6;6{xaB`xQiZc2be4C zzk57tj0U4jUT#sIvx0w515ssFrnQr#c?r?@!zp=JMQb0m6AH}1@r`Z0Mu?|i>O}^p)l2=-%RihOAx-JtY156KSiJ`yQ zqkK)hakeG7;|X`o%QB@s3G<}QSiy6}G3gI<&(2blzJ=c~C~x(;7QzcXULd{ereFM*#W{ch;QSAS{q?gl+jNw0L&eQs05rH`|AX);Kva zRZwtHK{l(dVwtZmZ9EC(W^IjXXlThr0n$OTeJ49T7yu zt3q)J@pH4e!HE3{S8XALDpvoxtM@})62R*_^4m3SAN%2---LeFHS3{^V*${Gy>~cP z(vFu<=Rke)h~~|AhK6&e-q#%hnEg$FUH!RZns%^+=bw+6q1>58tM<< z5v*B8XfbKF^N7Q81h7FBqOm$-7n^IzeA8&er_D4ZrW~8`NL7*WANsGo3cmCOF28iC@OqT*>&Oj`Ymf3w* z$xb)U4bCF?I#T{gz-&VC{=jL8__c1bbB!IA%(EBsjgh;#(_yWLLqx@8i36W#`i| z?8Qc!>U=={$s>#S5D()SRc(;ziMcH}f_{beE(p?C1Rb6F z*JpSGfGN23HDpxlpZZ6bSe6Oh%UOSyEVHQ2BS$@NtXv0`bA(B%616d;nQgWWH}X^t zaCI!a1pHI#sZ!vsNq?cIu&dG{(8kGBPFFI;b+12-KjQFy3LMToBB240j)UhCN+_m5^*yCHgHU@hPEr{|&OgMy_tF=bGMu9aApY$-j5(+@QML+M9S>TC$ zZWLO5_`~LhO``Hv6K6}82>dXojYlLM0+QkMf32Fs=_OV7IgXG60mkbs=t8Wg*=C(1 zKrvstJ5}s?vu*xLW;YwHxg=NZBb*Ai?ER3+j7QaD?rV*jQQT<{~V#fxR6L+^xn~e{|+R^`0=J@RdnfhSS zM4>%U#VC*%b3Y((ru+im7JC%Z-x(-Nn=BRfch^@sC8K=#h@*S@+Ig6u z#r#+Ai(0(W@rvhkOn5`K(t^j{8nAtVCkIG)y;xn8PZ$t>>hTwmy$G)aS=iuZ?c-C6 z6WMdBa$imbr|&jOh0DIo0YZ$F$*!qE9CZ^FiqA zn<9W*WNmJ72}x^H{dsG($VYgbF`kElsr1}i`UveY+3D4vF6^&LsxF%PB#7ie(s`U2 zA=@g%XyYdfFKDl+0h`w5MP>zjmfSi|_EpVmf;|RJz1McOz6^YfGIz!DKYHaE)nckj zFI1ePV|_MyIO!}f{oX*TPR1EsjE0_<(bhRerAO~+y+?L*2m8$Xp}_-NJTnk9nt4UU z4zrHBEWutvVJW}t3^Sk8bQXox*DCk^k(G3ingJrV8tlm|fMCdrS2*e}w)T=1i`LXR zeuQL~l?Ag{6Yb;F@iz>wi5e#@M5}?#T2ZPnOqfuH@uLK7W@!O^f<4NEbwU;9f)n_>AM*N*Dn{2dHI}ZJN)A zdf`FL3s_+;K#e|qvGd=cK?!#BjEC0_NoS42HD}}>8V2jWO*`0o5!OC`i4W>Mq|RAb zkbl)l2xeu32qhxV%6-T+4reA1wdeW{U>aU1{8SU7$jy|iZhBcF{!7h1F%qqD1y_w4 zNyhC%wqF)X|8`{}5)2B+-za)=*JAZ8Yv!8)$Ht$Xfcz7mfQTc0$H8&1y0HWaLcMMG zuHlpE9FJWOFcnFW6Z8fMLqe(0<8JIz_Hy*@F((JUzpK@=aHKq{K2EhY=hWqTPXHYb z%R}JQ>$(jD#Oc#Aaf;}~a>YD?JUhPI`?(@mn^B^)CmfG&%tRra*KhsCEE<# zY%xw$fHyKS*Mr1qLEZ_^XeAkR14Qk^lXtMGBiLW|wt}0RZnG>E1;Uz>I@~2G$Ashu zXptv<7xW-GUKQrip_=N=ry4a$o%cR|fIiSE#pr3Yd(SEy{VUlAYA$BvK;i@R`2o1S zBV(Q%*?{Y;-;LYeMcS7DiJWt{N`EPEXsI+;`eNvQ{AiA#fLcwF2eGavk|7 zL(=Thtz&*iCypYIMqY;k&LYZKdePH*c~J~EPvVJsnB#sNYME9>0PL^L_J$2n5{m}U zutyx!CBn)G=zQk~lb(ywW<3|qzQ9F3h&_CwcFJ+vZU-)0)#|I(2*}b8xN}0Z?@w)T z*;gcS6Z6i|$Brxe+&6uawVVWw$(?#I?y~_|LAcozp_v>f89`|MYmzwla)z{NY4Hyp z@jkjH)+mjHKKVH155CuCZg);z+&2DfR|jdB{I|HjRFFM|?`3yWzQ`&Gg`L6nuH4)$$LgI0UB`nDH}gdHXGARSI(E9IJSm6;b}!34!--9kdLGV* zNL^&ayP7X9$Gu`rI6*5+(^jbFOA92jdc zd!}26aQl`(O!e_!&8^}syjPI`x}ghCGoFD0CJ3}5^oSA2NR83vxAF?!Bac@NR7&sIm8LvA-;VE>;%fmzDU%Z0f-nL8~_?(xoDhP)GKvP zYSo6inDUwee}bo5Cb3;s2ayTcXI&s$ksD4Q(d5(NkexT4cvYDmM3=)MIGaQ6vR#IQ z+0hIJ-{`R0WooFvAtXRXz4K^^J;3W={DHWl;r>X&psk}vu9znNCk#}mY%?D{_QcJa z<1h2PYIt=hUGJ6W44_VY5O9$p$L;1v80)Jzxjo6sxN?}EH&Tc2d!->XADgWo+CmqV zH2!LhMq__f-exQK*6OX6)ZBQb=E=~9JxS#94U-t*b(Yc^LQ{Rdk?WBN4AS7g$Kzvq zWPiH~hHKhlteU(;Qn@C6El9~HGT=n|7;(V2N=;qmx7GKp0^$yRQV;wKHk*gT`}jq; z4(?njM)?TB4Mj`>vvX(#;)TwkI-a1`y`}}z4Q{4imu-2Na>Uq=MzM}`nrN=&&~8(;C%x&3I4UU?0H9=c9JR=0g6=9ovD zZg?1$a{{c6fSDm}#x>^$XI+P4HHx-0K~=S0*&p1YEH^ERgtWi@_F!OX9QkN94$txx z15wfFFRH|Mn9`iD%+<}9bH5Pn=E$-BtHkS{3Kl$*P~`tEqzfK99orEZi{xwMT1x*r zDbbN~NjZ@w&p1Qe;>vH=vT&?lcaV+}kae?U0cwrApOnmj${;o|f@fs`j%enmBPVR!FCoFc^ct zLs5u)7*XaIX9vH}t@LiA#;2n1H^=!SzK#W%jPU3y+Wv0It4ng$t)YyUURtG9GtTj) zh4o$t0>#<-y?G^o<4B&y&y&8ts@>n4tb{ zIzNJ*sO_e@-Vo!|^1H*z_WmO4fNF^~H4Nk2RR+gcP@wqE^sZ^jKy=Ev@=RhC>M%tR z?Jta75ia}HpHWXg--~LOJiVwxVW6lBjPEb+RSkMWB)DtA*5r^mUKyS+Tkad~ebmwo zwwU(N_B>X>kF+%Zfve{hCsT(2@1<8sgtTn=O51AZYg!pwa+gTbuGN4T%vD;<2!i~i zfAn-eK*y6m#o+#kEH<-Qb=dhqo-hd8GuVmH`>EERK#fPS6wPiH<(T<=v6f;Es8v=3 zgCF_cAPzfC7KaW*Rib3y(PuxMUXYv56zX^%1>`fx{n%d<9gr29y2a-%V0ct+USF7t zGRKln~9(fxE0kAAh^SD45RLQy~2IM{U_ zY-`v_NK&-45ZY$1E+ThDsGTaPHRi5H6`b-HQC7&Bd?}klg(Yr=vvF}T;jehpLJ3xKW`2TN{SJKaT@sKM^l^z zTc1q%c91=k7$VFhVdLcr2xr`n6AP=_-bo`mB|Is4U@bU14&BR(L_VE{g?Y5A&F6Bj zN0v6vJVkpT)R!Q8ZKw1yFSW9 zPv$276Ce7Qm&Xe@N;O9*643}$X;1`ju9XN0s($7;{J49i7x zk{glMDCTc_sErg2Dw7e)oG%%a9h=+R|9$a&8LX2Q`chaTye=bUKS@Z zaiF%Yi+p-MuFj=i=hrD&WzroBQDQO2$GX~{v52~!_zwpHP+wlDMx!=INzJt!P5CpLZhnl`7+dK>g*?`M&||oduZ4r8Fuw#SySsC3SL7Zmm!gPg z+B^i60Ww|!Fg#u{8p@jp_PgNf2%Qf+a|C~=M7bfx4h@qrw;}EA19W z4u7w5>pT+$smq=sq~~uUMe;u$<~>mk{kPL@Jg#28-dsGg*PvIZ{g*dlX5|068)5YN zfw;avaF`<;aq$}oEgrFI!o2U^goo$5#n)(t(Vm3_FnVIs4t$GvyBr8$)OTjjDJvr@ zpey2-X_NcBuO-(;&v>zvbLdp|PhYb6&s5HzP0`$z$>TkG1>0KmZ+*xUa%r*+rr==_SdZby@IPVQAcLgCl9C01HsHRQ<(h#UD=UJC;elRWllGDTv zK#KX?qvsQY7oz+jM|ZnRCNX`d^Z5)5&H8{@TZs-7!`m^wzae^!#3Xu|1t0ITd;L`N zrX6gg5Dsj-$v;yTL&6lz&mk#1^;OT17(QYdxa*WOvD1ZNOw!D0{VD*_l@Hq=(c7-0 z7rmX}#$Sqiu%k^dTTX%9HOyGtt#e%jEU`*x86eDsb_i`zSrRt6gUk9iJO{Z{MA7*g zO35O-P+xYae@^>dDvpRS+xN&K!_wSU+H<5I*MSy2OvrpO^@_AT(+r}f4*4w07 z_xKB(<>2IF=|ulD?|NtqGO{acbjDb9Eh>oX>A9Qafpp0n;eoX~5Xn+7vMAzW`gUtv zR%5x(S~LtCPvgm}BG`Ot@N^OY@07voiJt*t<%30)O}S#H1QC;VFSzN5N2OHJl_2<- z*e>4;C}@aXc!l4y8RIkhX&2Z#Lr z>{XQY2jNsK<|3FQ&#_R5+nV~kqomF^g>AWd^jhz1ZUIZBIB`ObP?I+xl5<-b&0oXE z{~Mp-3Ad|&;di5Eo>gvEwJ(v%N!hWdDi;m`3rjg};cXDHX3Vz*-L1@~32MMI9g{HP zIh3{TNX~lWN`CCa@7@{mg@JY{Y`YwF@nC`JBoYklIx;;C12w{G?)|#+VYhZ2kp3ConXjx5yp=j2bZa7HmA^==p5- zhk$E9)Lu+H=yNX>G>e%H-Z>u!(|wjG?;wTZrL_y%$pLLE()wh}tcnbG7H)jfzpz0Vl$n{E8LQL9JA zR7q(=qMzi<$1BVib_QXy`Z!EOg55cf%|UBz53j~^BwLa4zX4NFy4{|=fojjM_>!2ZuQ90He{5bNk9tNb8W0v@6i4bN9{zK_?>1;f@_EkT4iSGKBv#xEEOl|nv*D>MjES1 zPX0X+K0k2fLmx{w36J+?2lAk{lzBEL9Pse~{b9kR zOM|CB`duOmwY;yJkhproGi;*mzGY(LVdHIoS8x?cltrj)}`>6MBQO*^aq&R zj!2g5Y(9UPu}(Wzq=kq7j8xq{kfq>dcya~eBnpUAnsz{On*&slaP~POm ztwf^ZQ%65pSj5E3CfV)zDs!~usq`wHeQ$p0%#Oyb3aW)xzu}Q|D<@L8;rGTO#F5VC zj{-|{SO%|&(v)j6&GY(k#{A)NoTp$*-GO9VRSl>RvgS9S$zXpLpHS9O!jq!RncfE? z#nCHCdHpCYkHXBmFZ^mcv)s=j$Qhv0rGs)0B)WbiiV);^ zZ}&4*!}%h)SiMO}mJY_F&^4v#p!h2boB(h;5gM*oxRVf|Ozqny)i^^OvMadBJA~g% zHfWv}Au{k<<)wnJ`&AN-!z=cWlP-o|*PY2DiiMXbh^IvJAzeQ{a@J#@BoIYt`7wA+ zH>&jH$r2U&&~^IBjHOJZ>pkj+T_Hx?1Yjz9`X61bwDsj-vaLG`&)EhB)IS5$aR7yr zgUh^heo-7*2O7@CwWN%r9m0yG<=0jaVARXBZTQ@V8vB~S-%$>gQUH~^k3Q>R?N+dT zhhT9+OsTB)7PK4YDD0UdaMi5Sk`TS3Lck-uNfhjS?PRU6lj6u$?CG&h})F6MzlI#2(YI{Mqq?dj(AqAvS-zO z>WouTi+iAZ;W-Sp@3I<0?zV%d?p7sk*BUi}^09AV#DQ!a0)N3%ilf0S2%YfP z7+!QF8en{}oqM;-)=;OXagJ_V&E8~g4)sH#9^}@!pHKy$-@f|!H1d$XQb$^HFQ zWS##GI|?7ZGFi9ZHLi2w1z5@@q5nKtLo!2|#8ilZ~s%KvYMRN=3meW+gHKLYDSYvO1s)2`PWHz!Xyd{{yQ}f&JU~a5 zm8;%oZm{KoZn%))0dVU*r{p_LbEhtgL;jX)$}dQC7`T9B9bCs8#av|b>m4n<e+*rf~PdQX) z{6Gu)N_C0BPD|JAC430Dkc#^5g8X~e=@%>>hTePd`AL&{1ibxPLgBN_;qyv)Y>WEp6h#2XG$GI>7pXaKq_PdowHh=tVvN0BhoK@+bY5rh zS4kKE*Z-BzCUM=!YYHVXas0ROr+YfPye6HqC9n2GartYuUXp_pMCrX~`WgN(((3wa zCncw?fNu@H5g_UL-HM^l*dxxR4*wM&sqcO9)eh+@XIMGrjGG%-1Fd&w3mFIF#4}z| zZHyJQX%#eO*rz*wb`=U2`6rX%x-b=-<4N)8X<$a$a-XN==3{@{N@vArWC5azpEZ$` zQbjRBfpz?EuJ~<>uVvw$%lrKVaL5y%fKHy>U!a(^6&a-uy0%iJnRNI@jG?x|F#As;#*f&om zepM?q01QIjcgi1ORGDJMJ-l+Hsuwa0Xn#9Cu_svwZ+DKex)IZ7`Hm*gkRmfBOX<&N zXA+BcPrLPfF4PDPRG&5e-R&@<-86ReKq16Tf9LV16JbQ4KF%Z) z{vdizq?}YW{kLow$&kuXRdD(r4@Fps6Y5DagZKBPeh`lGFacJ!amGQO*!r37M~6N( zGyVIEM#PcnE<_RBf(BQz(2$MS=eZOhGYxTriOQEzX9v7qY@>MYy7Ut}UhkaYr_UL{DgQ zS##cEqP+1oz>;wY*V3IRX0~nMI9#zG+k4tYeI10uCNh@#cvaVYz$$7rH&FuB&@OS~g6 zYWwdioE+*VTg}KSR%x162+YuMW#eiy`lvkCvPU+y;41I0dO9|nqxFc;+a=~U`BCsx zCLt$`G4pHt?Ic`aAQUt|Sc9{3U@+_*Tk!Cih7sBh%z{(SrDZ9-MEqYGpEVwQa&kvS1=rN7|ss;%!o4-6NCI;IS z+_)ZnRo{574v@dA=pc0mLU9oPT3myv3!NnYHct9$lm0C8$-ioi z_G3306ZCe9&<0^5(SVehRv1Dj@(H0szx&JvyGx%cqx$%(T0fDt@2H0~qYDJSge|ua zsqs;}2J03!VS#$1M}k=Tgy54uKBP-fFKA=Gub=MmQtIdf#o*@@XXES&S)``~R&zbZ^Ox`yIvw9gFwYJRR1Stc zZZ9e1T@>3G8BX%k_-GVMFAs7wM>}H$)LsS77f0)0N^&;{Br4dP=0F4vY4*Jeb!VfC zq%Nb^+&Z*Ak%81(9!ZcZynojW<@>iEIhaM{ff}RfE+4IHjEw|R@0ly|Lo?v_G9|1WL)a?yQd49Ltn|--r+5Con zJK0Ni#ciSdMk!*FEZGqiJR6Q3YN>m9AMp&5tA+|!UBx-=a1p*mk%*&3Rk^?iQxNuQ zm#H$$wH_S@yKE_swTeSpzL(P>8=1%1Dhi^^2GQbnC8ucRzrD~^6PYm3 zulbrO<$ze{K{Sm)*HikIYqGiL>g5N@9#e~db6&YSirKRgu3T9pBARG!t%(Clzr*~6 zi`o8HpKM8_a62AFQtf53UTdxjl$T$j#*)+-JFui~U8nO{Y9EPsd3<`XRaMG;#Nv+!w&Wb> zRG)WJ_cB$zGywPJ@&UakO!BS1svW(r^IX{9SzW*!o(-8_1CfQkFxc~Bu+;}T+k+}k z&=tiY;7t-%+NGH*KtGk*#B{CUov`rtjfU>cRp7>NWsxRc_KNS6j$8HTDI|hPci`xm z==4QT2mA&CQVM&+i?W&3GuhDLN?$F9wA>bX$2LrjdbTpW_{=B^7eNttoKjseR1SBw z%;{xbj@j)IGQF&3pZP(Q?1o;pC(B#hb+_h%4DAP}CMUl9b0SkYDVMkDWKA2pQ?V#5 zonWyVNtj5_NsA*rO_|t6HFEdu9cUYZS+d}7X=*|f-diTvt)8~<5)X2|>zdz%oBy5@r(yACBk0v z1Lyy#J)~#Z!5=1{1F#{QSS!`|0vcJY%pW|> z4o*P`l4#d{<;$1){MY&Sij*!x$Ca*}(2_PfJ{8Cn%Pa+zb7X0q?Fq+CQcWx~N)E&x z6%NNN0(WmR!1TRS&WgHmYqi{t!#`_{*bNVYvvs0~p{GdzW$o5FaO*fsdj7-0jsId* zzXtQgMlgKAmeLrj^0zyorg+e_g8QoTi78{D&4ex1y=^*BUFT z#Q{B8>7G%aG{Jo<>1yAy6IiMzyGYA3v^kO*)&Tf2#RwY zJA!&`;rVNRp-dnbrpH=$lI17&Gej&uTj(r0knxYp&}q9dGzD3_3vl7{+fQ6 znrcb5nYkEV$ecEhU5+K528+TN-YOq$!LV&LD+xE^{npd2>w0k_bg1Bwr|{v|D{a&b z9%r_+#VU%oHQxbMH`Q3AJsvz*fWY*|OIrtrm-y?==hRq(Dm&(`?7qbTEn?rg0%w1y zpf<}iWQqT#c3e)Mt6u6;Jo;5&gvXqc!~yoOUsd6G`X&3}OY|xqUbZJ>CZ*rl3ZTAS_3m0M1E*o`86@@+t_Rkx_ z-IC$MW1f0;6{QAu>hr%yU5hnel5Hsn3%2-H9c2|(R8SjMBN&P>zyTQ!72&%n4u#=| zFne0alq`}aLX8HuRnX>AeIbNAlC(MomI$J#VdXl_$jLtmQ9#ixWT<^i{-YuRT6tj4 z$rgyLoILX|pD-}^vlg(nBp}f3a(n&Al$YDUOJ%0J>ja*V)WafFk8&gRvL zj6u+~l1K@M%_cKRg0YJfkwLzSFoVw0kY`*ZL5sTdi%Lrt6a|7|`(dH_2a5Ic5_2^f zs0=bhpg}V7$ihG+&DImJk&0mhFhUYWEMercxd9a^AfC~Xg36*wKaTRhR0Lo^Qov-v z1e8J|B@?j`B{(D(P~%AlnLx9pjW}5l);EGT(8Jo*z}P`6tNP*KL|JqsLNR{Oqt=N9 zPI@F1Y{Ls$(bz;ZA^*UJb{rP)9NSEm)K2WvU;+h`oK0aatEI(MD-OT}VnNI)!%DIS zk|DE6HXUE_p9Te$(vBhMVO7HUg0Nyrxv<>guD##pi_Z8V zI19N$eT}*Cb>q5*{^=_{x{j;I<7wmK?%`SY>v8n}%MozzSQ|)_&^K^)z7_e_g7Uf$ zBGfuvr+BUsWgl+w1OnLs+V*6Gm;31fW5=kjUFOR9f{#Cy8*N*s{4UO5EhT?C-31#% zwBpuIS#smuAN?3`=LGpn{){Lh=JG>XcYkalsz~)3V{uygey$dfd!KlZd_b#yp*Pj~ z&@%HGr}S#{KsGcEP9~Jkf-;)BxYc}bTILe-JZQW0-#57gQ=U2iY1a0FBb_o~GpC=3 zK@C+Ce`0VA9K6;KZ5Rx3p{(atE}0>1O(puarYRjdD@x*=tm_ zrT_i)cFDz?74{N|v&_tyWqwaKW4S6r?Qxjb|DU8MdaL_bD+7yO$A?iEc(2bqMM z9bFvj+%H3EY%v*G;gEiw5lHlSjVdj0m~7a^uO|n9c4fl@A?NwK*+P4MP!M_)%vK!J zK<{WYx4g^d)NmZBY*#^Dh7%U6e9Md++q#_WMxGgyGKyKl+~t!M8NHmp{G;>UyRDbh z%o$`CScv`k=laEFkFaZ}{mdrU<4NigUDkTk_Qk7T=O;q!Z@t?x*w$qFO!@v6X&4` zo*b!nnxjMKl+Dpz+^JVJI30Rjjg+$KN0dB@H86ERzE`tim+b5nNMk#7(&<78Q%@0k zJUvF()dKjT`_kd>+8K=&>@z_<>u9SOKb%|Lnn_%lk+y5+<3tllMupJIMP8IC9=;4*R3 z@wVUrcm<)A_&)xA;rx!>;dl5tPf7kyx;Xv4MqXm$>j$Tu;R*+bn#zzLb7Y@aF(1>8 zD4wmSSKOcyzP+)zv-YundKwx7J>R#L*Lz#J6Bujp_du*s#=NZ5!{y!bWc9;WxE*n$ z&2`lYna<%LGqT0OyJPV7v}k`(^kes;?WH*sU`S>-4Dwc44aYIw36yW>Fg4bh7zSSI z#|~`Xhfq^tRmC%*Rz9=^?k+0>h>F`I2&AZ>oA!u?JtGLV`EF{0E!MMW@-Pnd8$@9f z*C}8qXcg(QshCzM2h+Hr8C!xBua#Fg!sexiG7l!YDq@()<(2Ov?@0*aKs@JHCWtYB z(FYniPwykOm7`J${+)ZNjx}NFWdqkqeTdFM!)jDCJNnfkiy;RtnW&xa#$de zia`l*!S^S?+xdFz@O41*2EMQbbRMV(bRO6nHce?%RLxW z7WWM;|Jz}KC;tS|#$?2#N%3<;#kg7lfvAnAU>wvEP2o_8BM4l82E+s~60q_VNM;_U zB6tAHJH+}~<7m~zllOXA6*<=JPl?$SJd!pE>!-roP%fbK`9cWuOIRv3Oof-Cj7TXe zkocre=YTcVBo#`9Q@?aS;88M?a{e7P%M)6-0~E{VUHfnoW z$kPeS9Er5dQa#v1dJN0R$Hi3IZU~_iOmJt`{c}0EZj|v27KIexLM(;FqK}cZyeHf9 z5RWH`@^^mvr_tMF_1g|F=#aW9wdmiW$}dqujSDi7PO)aR<>2#l30D$gk^06Sm>>si z@N!MG^)+F>(5h2|$Pz!=R{XXDG&PyrnQZP=o%e9LPq(<&1R}o<5g&_@RG8b34XLSz z0)!i%-T0xF8Q(r&tMT76PJHtFPrebNetBUZ#u)&^77l2HWquaL>#Re{U8SqEJ_&)7 z^UK@3u({s2(6l`8;5u`AUya7`dU?*cz#Q4`IzGPk!FSSYVeV6gP)ph(7=yq04Jg*} zjsvZ!heA-4R^&5HZ-MJZ=##PcCFT;z&8wBPiVz3I%`QM$6}C=+hO>@#c{i=PcW6av zOqf94cgI!V)%zICV`lW{f0k6~kZE6bwI*`Q zo8Cos;b(#+E9ok;NpL{LK4OlP1=TM_B&(QL_hl(Hgb-^5Y=#fv$3#xZh6rhGhLT^e zOn;r;AYTE&Jd$~+LrIw>=&JX0eC&YY7=Q2yl0bytoGVkMLt1T*V3T>$$e#Y9Jrq8r zX{DF?yJ%9XHmAswYSF!EGh&W*gZasD1mLl?4#BTLyt$FtQlDD13|Yx z?j!hovxS!SpBO<=&mI3r#0GNTkZcg&)`5{Yo_g5Y$k7ac)`&{vN~U_M+VauzzH;IU z(29skN{xk4t3E4Z^w++4*b3m-;{M%SA|>iSlTQ9L6VH+QpW#z~no)qLzR1l--CX1s z7WB~i2XFcoYF~OZozD+gX-2SINTJ@q$lUQE|h3KZe*^MG}RV;?DroQ2L~8 zwBsn2;Bf-jK-h@z_Nbpk>JlMHDk`vAZPhn3?D*9mn=7u_A6d@&|4@V^$Y6!Sr46wj zLw-7;$iZTv_M1?UapF&&&p-e~4=dwjoAU;JTE1vjNr?>#43$Y>X%LcvwR2t;L2jiX zA$rS|_3*HUOfmsR60|byWqzI%fv^@K-kh&AH}n03+W8Ce$vami=QawOlu2*HUR{cu zlflSvZSqMM$Ixw|9C%6{*G9yy> z-n^4+g>7ui&?PfN5l?Hw@Z$H3X777$scs~g`v)zb_#?K4dglP1n7&fYqgJ;U;q#GKIp)!$xOU*aW3oIlsh>tZVgv37k@6t3OE5&o;ZDFUH} zoFXv;cHMSj0Q-^wq67Or&kVKFw$CmhN+u1~yQ(L=kyZ`w?Q*2=^cSN*qS8~ck8Fo zr-XnR!_ixx8r~OCp~>Xw_%ki(zl#VB%=Wo<`9=^(9^j*NzDqSR1EzXy9>n&$htqUcac zPFG&(;QUMlYO>b*#6{#dP1izM>1KT~lPFpWEk{}De0`3Zs4^{1sVd7<{a%M|v9{Z( zT`JXtoc^=?RO@PplP=gx`G?cawvO5o(c@nperI;3J61D{JD*SVW_SBK>7 z!|g;V`(a^adS-@O-7D*&B5UWG19;|U&zZ|~A3&b{4^HG_`7ZckN_tve3AU9er~z&* yI5TZHVfWVKYq*zu%kRP?<@f)lGG`YT8=A7dH- diff --git a/main.tex b/main.tex index fe9190a..916bb3d 100644 --- a/main.tex +++ b/main.tex @@ -92,7 +92,7 @@ However, observe that in our problem the piecewise linear convex function is not \section{LP in Low Dimensions} \begin{frame}[allowframebreaks]{Megiddo's algorithm}% - \mybox[oliver!20]{ + \boxfill{ \tiny \url{https://people.inf.ethz.ch/gaertner/subdir/texts/own_work/chap50-fin.pdf} } @@ -173,7 +173,7 @@ However, observe that in our problem the piecewise linear convex function is not \end{align*} Our linear program has \emph{dimension} $n+d$. \textbf{\href{https://www.sciencedirect.com/science/article/abs/pii/0020019084900140}{Zemel}} showed that this kind of problem can be solved in linear time. - \mybox[oliver!20]{ + \boxfill[oliver!20]{ This is a \emph{$d$-dimensional search problem} with $n+d$ hyperplanes. } \end{frame}