From a75e11ba81d8577529d4267e25351e1fb4fa3cdf Mon Sep 17 00:00:00 2001 From: Fredrik Johansson Date: Sat, 16 Mar 2024 17:46:42 +0100 Subject: [PATCH] logos --- doc/logos/Makefile | 14 ++ doc/logos/flint-logo-content.tex | 65 ++++++ doc/logos/flint-logo-day-opaque.tex | 14 ++ doc/logos/flint-logo-day-transparent.pdf | Bin 0 -> 62919 bytes doc/logos/flint-logo-day-transparent.tex | 14 ++ doc/logos/flint-logo-night-opaque.tex | 15 ++ doc/logos/flint-logo-night-transparent.svg | 240 +++++++++++++++++++++ doc/logos/flint-logo-night-transparent.tex | 15 ++ doc/logos/flint-logo.tex | 33 +++ doc/source/_static/default.css | 1 + doc/source/conf.py | 3 + 11 files changed, 414 insertions(+) create mode 100644 doc/logos/Makefile create mode 100644 doc/logos/flint-logo-content.tex create mode 100644 doc/logos/flint-logo-day-opaque.tex create mode 100644 doc/logos/flint-logo-day-transparent.pdf create mode 100644 doc/logos/flint-logo-day-transparent.tex create mode 100644 doc/logos/flint-logo-night-opaque.tex create mode 100644 doc/logos/flint-logo-night-transparent.svg create mode 100644 doc/logos/flint-logo-night-transparent.tex create mode 100644 doc/logos/flint-logo.tex diff --git a/doc/logos/Makefile b/doc/logos/Makefile new file mode 100644 index 0000000000..bd92915142 --- /dev/null +++ b/doc/logos/Makefile @@ -0,0 +1,14 @@ +pdf: + pdflatex flint-logo-day-opaque + pdflatex flint-logo-day-transparent + pdflatex flint-logo-night-opaque + pdflatex flint-logo-night-transparent + rm *.aux + rm *.log + +svg: + pdf2svg flint-logo-day-opaque.pdf flint-logo-day-opaque.svg + pdf2svg flint-logo-day-transparent.pdf flint-logo-day-transparent.svg + pdf2svg flint-logo-night-opaque.pdf flint-logo-night-opaque.svg + pdf2svg flint-logo-night-transparent.pdf flint-logo-night-transparent.svg + diff --git a/doc/logos/flint-logo-content.tex b/doc/logos/flint-logo-content.tex new file mode 100644 index 0000000000..427f6d8e87 --- /dev/null +++ b/doc/logos/flint-logo-content.tex @@ -0,0 +1,65 @@ +\useasboundingbox (-1.3,-1.6) rectangle (1.3,1.3); + +% Some radii +\pgfmathsetmacro{\ra}{1.0} +\pgfmathsetmacro{\rb}{0.9} +\pgfmathsetmacro{\rc}{1.1} +\pgfmathsetmacro{\rt}{0.73} +\pgfmathsetmacro{\rtb}{0.71} +\pgfmathsetmacro{\rtc}{0.85} +\pgfmathsetmacro{\rd}{1.1} + +% XXX: these need to change with the global document scaling +\pgfmathsetmacro{\rw}{12.05} +\pgfmathsetmacro{\rwa}{2.0} +\pgfmathsetmacro{\rwb}{0.8} +\pgfmathsetmacro{\rwc}{2.35} + +\draw [domain=-30.8 : -25,samples=64,color=red!70!blue,line width=\rw] plot ({\rc*cos(\x)}, {\rc*sin(\x)}); +\draw [domain=-25 - 0.1 : 0,samples=64,color=red!80,line width=\rw] plot ({\rc*cos(\x)}, {\rc*sin(\x)}); +\draw [domain=0 -0.1: 30,samples=64,color=red!20!orange,line width=\rw] plot ({\rc*cos(\x)}, {\rc*sin(\x)}); +\draw [domain=30 -0.1: 60,samples=64,color=orange!80,line width=\rw] plot ({\rc*cos(\x)}, {\rc*sin(\x)}); +\draw [domain=60 -0.1: 90,samples=64,color=orange!40!yellow,line width=\rw] plot ({\rc*cos(\x)}, {\rc*sin(\x)}); +\draw [domain=90 -0.1: 120,samples=64,color=orange!20!yellow,line width=\rw] plot ({\rc*cos(\x)}, {\rc*sin(\x)}); +\draw [domain=120 -0.1: 150,samples=64,color=yellow!70,line width=\rw] plot ({\rc*cos(\x)}, {\rc*sin(\x)}); +\draw [domain=150 -0.1: 180,samples=64,color=yellow!40,line width=\rw] plot ({\rc*cos(\x)}, {\rc*sin(\x)}); +\draw [domain=180 -0.1: 210.8,samples=64,color=yellow!10,line width=\rw] plot ({\rc*cos(\x)}, {\rc*sin(\x)}); + +\draw [color=facecolor,thick,domain=-30.8:210.8,samples=256,line width=\rwc] plot ({cos(\x)}, {sin(\x)}); + +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwa] plot ({\x*cos(-30)}, {\x*sin(-30)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwb] plot ({\x*cos(-15)}, {\x*sin(-15)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwa] plot ({\x*cos(0)}, {\x*sin(0)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwb] plot ({\x*cos(15)}, {\x*sin(15)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwa] plot ({\x*cos(30)}, {\x*sin(30)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwb] plot ({\x*cos(45)}, {\x*sin(45)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwa] plot ({\x*cos(60)}, {\x*sin(60)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwb] plot ({\x*cos(75)}, {\x*sin(75)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwa] plot ({\x*cos(90)}, {\x*sin(90)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwb] plot ({\x*cos(105)}, {\x*sin(105)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwa] plot ({\x*cos(120)}, {\x*sin(120)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwb] plot ({\x*cos(135)}, {\x*sin(135)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwa] plot ({\x*cos(150)}, {\x*sin(150)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwb] plot ({\x*cos(165)}, {\x*sin(165)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwa] plot ({\x*cos(180)}, {\x*sin(180)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwb] plot ({\x*cos(195)}, {\x*sin(195)}); +\draw [color=facecolor,thick,domain=\ra:\rb,samples=2,line width=\rwa] plot ({\x*cos(210)}, {\x*sin(210)}); + +\node[color=facecolor,scale=0.8] at ({\rt*cos(210)},{\rt*sin(210)-0.05}) {$0$}; +\node[color=facecolor,scale=0.8] at ({\rt*cos(90)},{\rt*sin(90)}) {$1$}; +\node[color=facecolor,scale=0.8] at ({\rt*cos(-30)-0.05},{\rt*sin(-30)-0.05}) {$\infty$}; +\node[color=facecolor,scale=0.8] at ({\rtb*cos(150)},{\rtb*sin(150)}) {\tiny $\frac{1}{\sqrt{\kern-0.5pt 2}}$}; +\node[color=facecolor,scale=0.8] at ({\rtb*cos(30)},{\rtb*sin(30)}) {\tiny $\sqrt{\kern-0.5pt 2}$}; + +\draw [color=black!10,fill=black!30] (0,0) circle (0.135); + +\pgfmathsetmacro{\th}{190} +\fill [color=red!50!facecolor,fill opacity=0.1] (180-\th+8:0.1) arc (180-\th+8:180-\th+344:0.1) -- (180-\th-0.5:\rd) -- (180-\th+0.5:\rd) -- cycle; +\pgfmathsetmacro{\th}{195} +\fill [color=red!50!facecolor,fill opacity=0.3] (180-\th+8:0.1) arc (180-\th+8:180-\th+344:0.1) -- (180-\th-0.5:\rd) -- (180-\th+0.5:\rd) -- cycle; +\pgfmathsetmacro{\th}{200} +\fill [color=red!50!black] (180-\th+8:0.1) arc (180-\th+8:180-\th+344:0.1) -- (180-\th-0.5:\rd) -- (180-\th+0.5:\rd) -- cycle; + +\node[color=facecolor,scale=1.5] at ({0},{-1}) {\large $\mathbf{FLINT}$}; +\node[color=facecolor,scale=0.48] at ({0},{-1.4}) {\textit{Fast Library for Number Theory}}; + diff --git a/doc/logos/flint-logo-day-opaque.tex b/doc/logos/flint-logo-day-opaque.tex new file mode 100644 index 0000000000..e01dc7c2f4 --- /dev/null +++ b/doc/logos/flint-logo-day-opaque.tex @@ -0,0 +1,14 @@ +\documentclass[tikz,border=0pt]{standalone} +\usepackage{amsmath} +\usepackage{amssymb} +\usetikzlibrary{shadings} +\usetikzlibrary{backgrounds} + +\definecolor{facecolor}{RGB}{0,0,0} + +\begin{document} +\begin{tikzpicture}[thick,scale=2.5, every node/.style={transform shape}, every draw/.style={transform shape},background rectangle/.style={fill=white}, show background rectangle] +\input{flint-logo-content.tex} +\end{tikzpicture} +\end{document} + diff --git a/doc/logos/flint-logo-day-transparent.pdf b/doc/logos/flint-logo-day-transparent.pdf new file mode 100644 index 0000000000000000000000000000000000000000..64406948b7dd0606cd017590ce1751d81f88e0e7 GIT binary patch literal 62919 zcma%?Q*b6gzvhEC$s60YZF6E96Wg|J+s?$cZOp{BlZnlp-P-SB_neE~haJx#7CCQi@Hzz#$HdvRnHhJ%QS$lk~bhK~=1QP$MX+{J>3iIerMsZ6U z7gHx9MsXWM7gI4)V|x=*7y$toXBQ_^Lt7Y+^_HJ9@f1?7ThDbbX{^z7`=6`CWUMUW zlEz-)nsD%}nt3e0S4F;_1x|W<8LJu%PpM^?bX{p!S@uVL^V&1dp0?<>dcD%W2KunS z<=T8Uj;PZer#b|d*zE}Oc0P~7qI)|hQm^M#wyJi%+(l68ZLs#grrcS{^rwnjw_T&_wjceh2+O$WL87qgF9)e}ENjd$zbX`bj9y|qUE z^;H*}Fl$-4f{sE(NvVR2aoy!9P44}OF6pDKg&n=SumE(X zCo7tNK95K^R%bDm9rU_W#lr99^XVXU+4++Vm1H%8Dt8<|TS8Y1;RR_|Y#wQHU`tTY z3y309=Aef*seL}yuRMs{RoVPi>Bg{IHtpKpZFXt(=JXz4NL*ujVI94#x~)n$a2cka zz}7`Q7j4h@T>PyL>MZr^ncr~e2hBX<=cTw&^vTFP$6#yRJmNb+`}3{vHKjCMIKOOn zY1G31q8nqcpA+!d3>krK>B=@5!%ww>E-x`d3pYgU9Ux$tqM`|!=&xhdpxSDRO!)TLyk|z7%gVr8mx2}XtSY}jFlLsF%^@|@v zd)o;~8zlb+Q>wP_@7N`0?ces*Ql>Dv_`!FKAKq~yYe3{)iIx7Hi8!A8`J+6z3Z zNOYahFz){fm{RJ&fTkz47PcqI!&8aus$=)>s}#{-*t~C+wSHDKGeieyKWpLF$OLJX zAsfSq@`5)O+)z_EdX&$;;$d%lpg&Fvoh0FdYj<`C6)1v-6~z>&*bEV$itrO_Dl5;y zuyIbFjo<7q7%~24LGcwi-l-DzFL1S?fWc0lcp!^vh1UEX!65W5{h)^Z4*u(i6mDE! zsf19VKSvf9flSf%=n_@O7!5%t`a#$|zXKSi$o1%Viqi;wDL6le<@i0E=%F#3m^8>4 z1Q#{}B6G&sZn+C+vJ#{H*l|&%Q2oXxY8x}+c#X+57uk4HUDJ8!P$A&3n8ZnVat;TE{F}d5yRK7m9-geINVT5E1sDL0Jq=K-Q zQ$FGor}1{_YwHyl6g-?BS8dQ!4DO*tbi-v@KWxf*OC!aax5k*yLkzqJG&4W ziJeyJ1)NeXzVNQUxrvdg)x@a;S+a3m`;_yi3uZxX^;(QbhbM)K0|#7H@$;Sk-iV&UY#rSD#qT!Q(7 zBKcLkrgkjUpZ%^R-*oZAMlHM$b=@UECxE=0P`%|FEIj78!4ne#jGqx;JHlQB?iurj z@!A8>K@Ekw+VdH2XgS+o!(>P6#26q*so`F4#t2j>^1x#d%)M^b(CCa1TN^wcj9yiN zSKWLCdn6@4%B?z~dZ*>Y*`~KXL`~6zVj#lKExb0x_MjD1xIUAjp^QE7roDcbNQc;( zOb;i_tHobyvJ${ElXTpCfC%6|qtUl@Qlc~s^uf2;blnHi~|!Chx_w?)}btqcAhMBB~|Y|CN+4H+6_ z;0y~iRns*mk23<E~JqE-t)Vt5vSk!+7prD4(Hd_{z8Kf;^DMg<@2dohf-~-$j77?*N&3jvjL5pxA znqjixkY>k^!R6#*W@5dQqYPu$#6?AN=`+BG^b-X^#7@~@LNY&t(Am{T^qNQp>9vuC z;Hr85XyJ%h+w(IguMP=?AaF&@=8k7QJ&jm|hr971rx{}%L*ha$J8Pt`h291P@VJs% zH>_dD-MAavVBr+;I9JkO`KY6ux!nOArt$M2)Hd1R+zaq7Tx2nPd0YyH_O^MRAVKMH zBLYHv&o_-!;67r8;ok!Kiey{Jow~RsFdjwuX_++X)x)5Ypnr!iXbqA92X(2&mb6L| z|L&sHqkEA*V+eu;%d-a;2qFpA$5NFMrC|Ixs#ySGe*m9M#ej!vkcUSfBy?58C?T?P zVrql?3*bugj1)&4KX6sYLVbz5P}7>rW1AD~BA zcF~n+dR1$t+TSe6x*kb1= zRtwLa15oC~2D_{#u;yi?+2LE(3a2FtN0oL4CIDbih|4=^5VVTvc!MUTaaM; z(|a?m$W4-g6fnNiIhH{*eD%|v86BvXD(aHUK^zo(;wrJCccE|4{*>{|Y+_)+u*Z0~ zzSW&9CCaR7h;; zp@w9K;~q+_7AS0RQ%om*sFQ_O@)0fsXK{Ma&vghi$-o~{GWF?2WH>@LK$hYPyyn@) z#>F&ZrPMXLhTK%kq#GEwoWy9PJSR>ROY%a+Er)x%YBw{jrFyby-U|{_7ey?!%Xx~B z5V4Dgncyft)Z+q^A1KXgL@(a(lt8RhHjD<{80RNkTIX z3$iIRmTU%^ndh zn2CD_T%nE{byFt?Tv*kHRG_>T&N*O-Ou5QiZlsLDrTVsb*Z)lPIT&#ZQ(#f%gX(Qh z1hMY6_;jp1T;o;mk(NTuPxW)Sdpf=|zhLE6>4mmD)KB#b&@&%DpI?yvru0rr)#A7K zHQc@ae4d}7@vihmOLgRz@;%(WjR+$0W63c zy(NE`rQH7H;K9e@X(s|qE62k~GcT?P~mLUQpEWi){fAYxUz2q6K2cnFc;0t@7U zfFB0sEMNo35fD7&NMwP9lh6PeqVi-gVN~FGbHF_Sl7=2hEU;h}7NBBKjsh->4m_V0 za)1b@dPC!1ElDdblu}3M97R zf>9d4j6uOXj4&HkWw!_ud=O6qlIlM<9bo038&;SDc)lr84<8cs?ABn-VLl5!nd2boGKbLt!vU!W=J@X&$=v7AYY#O;kEW~uKmiam~6*=l--$V4ipv_ucx z-Yl}g0ZrQT&%v3Sr5QN**=*40hziYYw(F)6$S7m=YFrqtkNuj?)>n5>T`X&Q*;=4! zD97t<=kKh3$e=hg>#BghI_xdkh}6JwpI*3?MWw)}C`sSayvDla zjP$|;p+wn{f)YJdl3QA;nT==o^a0zM(3B>b$?_gOp5MZpK^YDXmpp8J9t4>&enZAfnlK3R)+oA57Ya80AVz z_O%|aQ&aPcFYW)%-^N+6nLp=2t=4Hmz;|0%_3xL}lPaOL)$UQ@EiR94EY&PICLqYo z!^-?>?nx|8rJvj!Ua}Y6bG}#i&UIrF8)$M%tzG-`Q5sYGx9A2T!iQV0d3=5sP6I48 zcNEFIzuX%GDE&oXE7)ZMj|&~=C_coS7wrIOTj*vduuJp{V#|GG9okp) zP=)MG?6IU*qH|FX4rzC9Aq@^)MLhq#x}6hZl20KCX=UgCP!xzijoFhJyJ?>GGQ{Tg znxF}2?y`_)J5idr zzP41$`+|-43;W)(n_rJUK{kVeNAzhEKZ=07%3WhGQAQh9rkiFM-;{vX-k=4&&e26a z)mz`X8w^w_ZkEkY)_Mdrc72|yeb;DT4kv_`8jGX3zCDe@l75q~C8Kc8MN!opR#GH< zzNF%1NhGV=Y^fx+j-7Nn>=0Xbl0HRfBNmyP<&Hf|ms74R&<>0CZ<9_mo2@7DiXkYl zFR@6i^3F$MP%W;O3QZCTqX_-bBn;3J)R)xA@%VSvBB8HvL71%ksvyJp4?leL@r{Wn zjg;5F%N?f>xuw&uxvJLBhxlZ37`4S=J+T95R4E;vc|-U6B_wg{!q(*4t|{dHG`(h{ z!0KcR1OF|*#?`IFzieLdqx|h{XB14dp;WV~9hq?{$Dq<%$KlDd%36pD z$3?kFVw)SS_|C)t6~z3;8#L-H!On@&7kpfb+-_7xWy@?OSX0|WL=X|>Y^9iR4CR`0 zNY%A4Ct-Xd(f4ufdaqW}8!4g7t|gBpC%J-TGHOR)90m6nCVLCofeGt|(s9)b9xX=sfl*0V^hvc+oc4v>6Z*rPz4)%jeTQ*sdexcE zr62AYiOSj2sa_)sJ0%@~n46Olp51XE zwhTjS*Wu+J?5?$joFC!i%i@*VLqFycNX&0BP~FMlIjk5E+lMhVA#3of(w+`-rl|P5 zEyfnsVRA=5D`XY2(9rQ~EFjTuVPtbx4JQ?DE*MGLIH_tN`?5JX(t2u7{$8x9DVmfb zJxFKBzzK?tprV9Fvs{=FV@sI@X6Po$Q(h)Aq(MPT6`E=3HKuov0Q~FtVWWqKp}RY? z|MW`2^#~sA+F)4|nmhlTeoOEuntK|#B}eNOd?W%prY}B|7EzvdcoCVFDjAb{NCPE^ z&mP9qt;~OetwEPc$GQnwUV*f&aql8Gg*_BB(QyHZ+tqKXOzr~UusK+P0T8I zaC72N7LYVP3fABu*u>=E8_9eKE~ceGy^Sp4A@JRIJmP>S0!6%3Gnac4rDh9#X1MV*T5WHIH2z0Hzc4~1ifet*IR!ZCzu^+u5 z&0|{PkgQpjz?Ipxq4qM`mr{8`eUB?DvB`UDeV z9`ZFkY8Nc9g2T|`+%P>s_#078L~6uW#VJBcZx64U0K5~Y!i|a*HABZ786Gvo_=d>E#uh0a8)78^9!Z=G9mpX>9LMVZO74PMSsud+~L5M$qH58S+(4I z35~}c$4b;-S9vG#n#aQoM~9cn8$Lcr0km=n)g9HsCGc*I?v1m3jnG?1H9^8(BHoLb z1*(URyN)#5!RS3y_wlU6Om5tBUx~b2wVGi=LHuhGCishEnQa#C*t~szto!UGW{+e; z@sR&2bVpt}6OJ}4Itjx2$&KSNj%O=A%aomX2*WO+IaEwW?ogK;Kx{ROuTGP4rYhr& z_7ye6S&z!lsq%Ht8~+{13N`UHn2*D(&TixGEjT^iDt?&%JM&>9H?!{txxp*Hx#K8@ z7Nt`q+AiK0^@PygY;Z%Ta!h-{Lvf*&P`cc#>_QiMiSFc#M}SW( zSzWL7MD^1})=%5b=T%g~|3!)CASwsIOkn!gzn>Kf6-tTb33xb{)1A?j2P1HCVUnEx z+QCQuadPax>^`<818m~is zJye)D85v;&kVSJ}RlVMVRbJkoy@gWyZf{6a-7koIh^(7nUImAY28Vo*bRA#IoQ{l` zL*uvRy*q6Sg|CXv@Tl@w?C6R4a0?5t4KwZ;`s<2aHXns)G%)*}MJ*8v2BZ=G0Q~tl z>dkdRB1&&S8dL0hwe9@;hyEb?ECX0B?VXNTX+-j37UI9&wpLmx|Lz4c&y$>$BYxap zKuO0tCQq$`-Q5M2XMP6SSTmeJ)d%gH&Oed=C3Z2y_43qlU%ONUYWfI6JK1hvKM!DlHV_l zped(Rp$XiPx808{r!<6b;~~{QDLoH&Y!JiJdR|)Ylihm8`r^}H=Ll2Y1wTJMxchHC zPN00L73*SX85sEq^6t)qG>p4F#t9W}IeA1olslCd_N%-I4_oBsA3uzg4YTpJ66qN| z$90@O!qR@yb8A@A(s#(z9=BD6m|fq2*6?}!W_X^0k~n(faSa&UfQcV0^I4>wqu-y4 z-P%a_olxg>$7?0i+b)?8etj=27`j*@ldL<$C-KZkJpc-4sIgrCj72)JE%MLMa@KhdTGu{-d01CvjKfP5l^>q1VT2AwIc-NM%CS=H&}mf&E&dKj+ls zv!{}`ShYFhua@AE+!&JF|AN}=qHOH zJfx}qw{s}`NW068`;)a#!VvGzj*5hgOSGejw-GeI4z%-|vEG+Nxu5H0JJn9t&YH=|{9CHzK3pY4r4~CH1oDYfg8< zf|nuD;g14d!SO!y4c6}_tt)NvM(>xZ!M1}Y?P=Y#B9xI?za$*EKkqUV!)CSm6rk0f zn7|LFGF{w|+v-+M$@d@pzoz^@m);e4zQ(5J^mdk=^=ENQjH7qbOJ*s0F{lReefM;J z=0qJIUFTEMyj4_w&R6aHXdz(H=ozk6l=9_1!QAi#iBC~!`={e6r0@u<*#gK8wee?e!4IuR_UI{UKYKjHuVhqCJ% zkwm2F0LIkLMgy}sz|ScQ`dQ6-|1D5rplL`FfyNQGK_P@^9i z231mmHdIn_Bw=7s;erJH+)x-cMfl-8s3iIN9jYiQDx4vc&jWOZUX&mP#b*Q%QGiBB zO+`guMqWOv0ChpEkOvHmB>M*kq;O96XyS#r zDK7v}LatG4rZ6v&Kii7H8*7t(kVD8%)+{DuOoMZ{=MP$gpddpZAqy&pGok(g#gY@# zC`=TvAK>X#;1ug#{krZ{cZ~Jh`XIu)bH^Y?gGS%f&y?>P#9VjoEI>H%j*j32KZg=j zkYLh+eqA|!!x%S%5xUNL--(4p}6#botj_}IdoDG7w*0MSH1y@cHU8y zRn)i__Tuq6mh_G4z>xC7&CLSI7|K6&UyFMdR4-0DpJHElwX`Tl!Ei4dK?8|Mt98so zdRHW7lI`J`syd&D$MZiP;^&~FKug4a{4gy!0x5?Ad4%AN{?P7UoWp^4FX$-<1pVf{v5%INg$w8(!0Jan2S}iNs(jAFhklys z=LzCm!D>e9%`3nmeLjAi%snL;BB7z|JtKZRBS%|UXq{G+Lw{hu3JR;Kr7$89k&%M} zBV{5%jf_y70%B6AkY28N!iZk-1;oB5mc$1Y12*;l>Rm1D(0hOHfm{;?-hh7Bng(>5 zFre*zhM#g2DHrWdrLTT-Zu$TE*wOr|n*2^a{oYC}!vwqKoqfmL{f-FU+y(XtM#vm{ z88WC9#CI-&-Srh>{O&8MiV_j};w_5>)wL3aI1721;~3;;-|JP3AjSiC`-*1pf1UAz zh6j}pfmh1A(bs?_BBP*r({GS*4b)|L?YEMB!B66da04_drMuQ?7lEFArKf{BBzKINoUH?+t)j?*cBh8A} zuVi`!*1*yB9%wg=@1nwZ#M|Az35zF;YCMu%lD;XD*VH8&*=Yqo?>^C8c=mgNrxA5B zkCdN1d}aDJ-mXfc{+Xt-eICDeO+9a;TgeQSwXfS2d~UZVIQMD+ZIcV9T^W)|n`X*C zUpsHAA!&iKb}3!^@YSZ#pmz(FDFyyZcN~A|UK2 z9mo8vKPQ7lg0LHwL4(xvMN#0&e8^|yM1Qt1-!-W(GVkyb;^rE~FL)!@4Y%Vdc==Hz zueu3~6}_dJs|?FME_#Qqv*8^&ADB1-`d0T;XjOVRWvmowP)yFS)LREk&QbT8+_cIp zx^-rL2P07^UT$&L{%((oq&#&vveTF@EA((NTOl2ui2&C#{a9xFqd)(v)Ew)sYiAN7 z_TGR{7qBCrhwMH*r0EU_@R8!wsT;@hN5sSaBZ4B(w9VPmR$;;uHMBVfdXDLAHq{Y& zUH>{=)Yg@BH>d`kUP0z}8C5&ATNTe^`(=Wu3puwuus7M{22(}ZCROW`^~9um8`9=2r|B9nMO4>U=h8AWo0CHQhm<`-s9henX*};*R`;mWNONrWEEX zQ94`$?Z<@Lw?9(BF{Z#7)`@r6t+|QXi3p$Wm8^&3QTXfS0j(!T28Cj1)O#s>=Y-u2 zOMZ9_9b$fEscFBZO##UlgNERV^MLTpL8Zut{?y@Bz7SEj{W~i0BXvR`h(f)wVuW~a zkr}7n-k91pkn{6ES$w;iNg9GSRP!v8j(Q6bRcopJ8t^e^XVG#PxqsIJReYWLYj{#Y zL+Ls2-qBJ`O6Ja_d4^JS?zT+biJk$cG1gYfI&ZvZps8`v%&`lxO!S9XpES&0*o9Wd zXqNs+7!k8FKb2RA-6n)7WCb<*bDd35Op~04AEV{Ex@{c2eyl~Qmw2vsyhp?xD8iLoKw-rUMRHq9H z4h%=ly+e=t3e2iDOx)h&L-uNcAz5=W2(&3TX6mfv^H!`tbs)J)mX^t9p~f^2!sV3n zRvzo8JyQY|74$ZAWi#!?2)jxpOs8-M(y+T+9D^>cM8vv)h=BtP zO9d9fo0|5-=$8(8Rb$Nn#8F}h@fx`(?awwwsTVvuMc1LvhU$H&`B>SB3Q8x&ZuDIC z^}qCGkcr)f?83nkdfD`C7Gyp%Cz z4q=v&Jj99UkS~y&RX~Mzg!VDm!Toql7=#<}kZc+}V41DhV|cMs-Bj)`N(CIk2K_Q^ zyB`5qbd~9j)R=3%Fosr{Rs_dzkiUsqy9 z3Og3g^D=oSY$8e2+>q{Z`Cs}fq@Io8GHuxfe!?)f{*HPnLPI^AxNn;h#=9MO;(RH# z(aKv|?RQ_bkar2&Re0lvWZ859*|GvzPI~W;-#G-N)7>yZ)|xW>1+N?`)j4$W#y_eN z+OszuHu=TbL1A?>vr2lA@E5#KHa~rP>)7ze*luA#4ePsS?!}3f;rb+u@(%26gq+j| ze{_9zpq>}P*&8cyY0V|eoQuv5vi=s2w)Ofa9y{ZOJ7xsz>Xw|BpWwW(DB z2@LC2sM&72xq$v3VO}}e7V|-70z?4Ljc-8w_$?rI9 z+z^}b>fh$geCR1h3<;o#ZlYZN0(lCgtwRx-iea-avCR-|J%x-Uo3!cGob&Lz-gR6d zsFsD>a7tDp%p!d=+NNE73dSK4K;a2{T!Hy62ib0Yzwy1eF@~)&T!peRD+}(MKRbz+ zKjPHTJU*yyNL-TRqvh?zG2JwBe0o`2&QSZUnF85mDp3YS7`1;7a3i|+NXAUzd=O-H zl31kTcnb9NHoeA~2;0%gQl(y({9U|2SL#X!VF!cdexcL4Z`tkxRG(nyig?>p2HVre zYh3Y9dth|DDXx)>?sCcJhxH{sl!6lYc*`KRLM`MVQ7cn0^kd8ZP=Z5T4-Q*(I+09Q z?K8AN{1~#)K5e|6#8i&`!SW|*Zl$k!;ryFQ{#WksMBefP^wn0F^ex%y6{K;^I()cY z=kq>=tinpKkOuWL4n-iz+j#h+vPVcQOAk2?=)xvdY&LJwZx}kZ5mU{BiL4nJu~z4Y zb!uHHyt&-{3G~U@K8!{rmS3Km=f(ajY!%X5DwM|k5f#Yq#iV=zyKj~j(PtvoTfH8o z+@emUfhS|PAq%>9yXp)}H(Dp*U4&ejzaTK5Q=HU`v7Z(7T?ywJcRYENe{cxr!7ipp zB33D*Wy4S0oObWmY}px|O%QC1 zt)mmcc!1b+xgf#m^fm~(bS6O&hOn=+%OxnAI*cB7QKdpC2w9Hl5HZpaBwomLRkhBv zC)IFdEKw8dbK_}K!L^?3nP$!ICaZD)p-<$6hSIiM* z8EPI#E%6MU<=Z!U3S3sMbJxY{Z48e5_~q(}U*6^TY+y_H>Ufj%(+zueXfx0=)LUYC ze0!_~{hc3H17#VyV#n7?HwPyDbM&=1HW*);t5TBtY*J+U4!;#7dR#`qCxcb!r<4{- z7&-HU;e2@_Ef3Znn?+QH+PENNuSfrtQRIrrndjqA!Wpi6xnh{ETNmZ)m`~UZNWmCA zqHOpTS#k=`l5d#Ef<}Ppdt;sKo4X}KSt~5khFY8s>?mmmAk+pewGw-z?eUoO>d>=SKOnU>9V=p z?x~15o4OVO>jOW$lZ5JM+FbArCA6P;pM=4UwzVP(MsYi9cN8{rC=+#;LBqKD zwDC$aGZ13OwRF};vizjopW3~=h)Q1vHIx==PgC#eHKUIAnwkr}v$4nB9m|h{!nQvl z!oz9+#78yY8#*H17tJr)ffPBM!p~B17)oRdEwy@l8v<)+Cu;GZB93f*rebvM?uH}w z%A6(L(2K|V{qq%-u~e_r=36b-LnGE{KC+$^eJM|qO2+gnn;at5Zks+Q!%9p!{MwkM z)G&^+V9XqLOh4g{>H5i9E+MCM32z~*UEwF@kde)nKYrGu2c0j@aIuuZ2Z&OpTIwC; z!1Fxgd%`FpoIs6zownB9PWvs}-ep~#VPXg)m8~Miy`R6Y61|y&|2tV!g7&5(i9@*SBzZ^7t1)s&S^I+h&4bl1$N@tPra;`PJx1|*|D>2D57Ia)$EG#)&*OSoA zxR#lYx}d((A@05FH>13An-d{H0w?6kk}S$c4%u1kFr z#80%*G;+}X9fBl31k8MN$Us`{N}l-Z;pTVbS9yK0*qUN$zb4gP)f&(E%<0Yw&WNY$ zLDbr?=gYq3`{N{-f^B5h^$vr71l&(6?zrVkPHQf=38%MMCHLRvXY>5|8aB>TYDjL$ zH^%(+^RyO|Q5EXd`~t$Ge03Kqp4a(qWa1q+#-X+H` zqa#mIJ_ZT}=M{VR7O$gS-e~lEAQ$jp2jE0HRlVq>e-i9+?n;lIksZ5PF&SEEcuVo8-rje`53{Lip z#6$Vo8I0*3mim70l8NjZNjH~-dv>l(kYWth5{yXz{k zHpmoav#0w^XYtQ#q~M&4-f=q~2dW7PY5J^ufmJyG_$SIPg%A~LmRxPd68Iygpha*N z(Q*#kKYpwj71?ajtq59SJ~Ii{?(ABseiasQFu`mE>Faj|DOU39RA~YjF~wRApd*M> zoyUU8>)s>?plgm%+HiLH8wv^=K{yLhB`SKwM}PCHB3!XyhJ@^{J8XL?#Tjz2+np3G zr~g&l0oD>OP2F~5A{ECSC6EaqXdr^5uC{Mh9*AKm3%xmegoU}VOU`?4{)>bPUE2}N zu2pRn454QSB_!rP<_EH|jUSV(ZRk;H`d`o@4ktq=?qyj{|Aci!M_#FQjoquDy6ZSE zXDZJU_w?vHS?(z{*`MSP>oV(?tst7&OI{M;CZQn^E_E2@aSlukAN!k*(9Ha>XywS* z2AC+pHoLygV)pU0rQcRTari0N-uUn7sXv3~EoC>nV0PiQ9UQ|Qdv`QmLb<7_%VDTA ztsP{P=gxJF+q0;y98TiNSEVSEl zf|rsJmh$JHo#19t2R0O#ttZM}b5D(7Rc;tJZS&W(uuz64<<01B-Sk`NnQ94*mD&4X zH6x+zLd75dK8uYj_xrIIFJ*{cG)2AQ#@JTBfrT`qPr3O@vzbH+E?$ssLw);>&ABiR zvFNeXq!(Vt+V*JYqnyVrQ{ET|dXGXe4LU8-V887?ZWW?92tbieJo)SPYJgEUoBf^!}m z0x1(Kl%t`*K}xDoh>;@qr0;|TEJmR@bN1n?DIOL(&Rkl`zn6jh*$gZG z;wCWkaKGoM3%a(6gN}G~uZs?Pmr*CX)0CkWt-oZs!zfES37wTQQyX-a*01Xe8#qk= zjnJ0m74VWf9RIu|Y?oatHVPpUI^a5WTE<(q%)el6Y&KUNr9LSWTDSIfSzkJ(VNg}- zc#I3^yfPoEzW$v;a$H0v5b~tsAMzTjrjqF9o@QSoh&|LZlf+Y z-Ry5^uy~p>@+Ygg4C@z3uwnFvUHG`B_DPcB@E(d!sG|0bB>bA8fh@s%*&;SiHqvi|x>+yI z9P>={{whb)sZ;Z|hWS=Ei3;BJVBMJ`>OH-~#1E}e7<@wabgQ+tqtLoqD0p)MR40ub z@t!*7p1i2yF%u$<8uSt>5F9(uqsWhpIIH~;6kVhi-M{|sfoZg^wS;H7rdl*YtufBX z7m(D`@GoX`p09y$T)nt~XC@MflsRY1PmF^+v^f56V*ldL?x&*594oQfto{uB^~``` zc7eP5dpvNH%~t&fTzk{|6)8%>9Qw60_qg|5D`6ajhm7cwH9hC8MO}yQ6uOL-7?)O;(EPjE}Hjj%#m|3NbD?gKW(>UuxF=_jUnzSDk8J`+5v0sr=va$NtetyaeyW)TNIvElV25249f8?}#d>e`#KM3r2 zwbDOY#!y;%<*1Ib|8x@Imk_f^>&;~kDibg{RWiXmWwpIvSN{m&3?!){q&ow?`N$(p zkz7_Xrv`cqcUQDfY-cPrZ?(A{)7X{j3(@{e-Dp*V7ZGWNOzc@y*=Ug}!Em~g*KM`) z>exIvT9wP$jCR~2{xo;!*2(@-sI?#;N|VPrKJX#n^dRF^dXTh>CrFaT;EUVF`KyF6 zsZab)a_gwn_Q%9WCSppX(8p&qcRR2#PSC@wQkd-AF;1o3iAP355${5et^35lZ!RG&Q>wzTO+Ip#Vf^i%k*gjtT$ZsK7cfzICtNT%#6l* z;w1mdGJz$m9UL%o;Me@lqiL~6^7atOh<5^#!?j32i5bM(p6K-<>-Xlsnp=)AH$m^lKpAFp z6;c1RI>E@!J{9~22=mJGaW{l)Mk_GMP;6*-9{%J*w|7s+IghEazqBoPH*g%6Xv`t~ z;G&4cnzJnqDAsPg>hKc0H2O=w&@B$Zr`72|bGpIwB=|w~i=# z8vZ-DlaXG2)f{5kuD93u=%DFP)lQQ*uyZoVOCtDy7|~u^tqP?vc$$3o-mGV^-`AO7 z$H#5TeDz#7d_EjKw;Oz#Wke7cQlP{^v1c9Ru2UryoX|y`7mH=|s#cgMNMv&NT$g;n zwShx{jk)l&cMaohqgJ^RP_gR_MwXc+Ig;h|_V@>PUsS;oxSXult(Sg<=QTK$h1wz& zrF>{`_PVwsNL~-0)T{2$wf=A>u+egzU9StHJ1mo5#&X>C+h-Dmg|5A{)vtzep8+^IWk9bxIa4RtyvAKI6UB zWwiC7M$)mESF29xvXv`{pzx8;tDUpUFRk~UbBwxvt34CKHRGadl`7oO@3H7(B0`Izd#+J?Wi!a#+e&s>0hw>0zP{VV<} zNpTPE5Eida5n2U7C5Jri#<}CS2en$^LSoXY2tdRH{ zT;;Bz@V`OB|6uR`_nrJ78fN8U`40j9hlZJ%xc)Qyf6y=!JIntZ4MVdn+P`y7a3o#I z?8!X2j`o^zKKah^V9CZ}kFG)!lOUH?YegfIG^Vqsu)i~SYmr)~eK+&X-GB36d(Xb- zai8!$x9G3<`U-Gzh9_3kN5QT`Bm5|?A4Ec~$15na2LlB+sBZ^i(LwGXbBG!w-t<`^ zwL#z=#0nK3ex(QFKq3t7yPh-AZ7UGQg1Pu4fQaD*NKOcs9Q7Lr!NH|{rjz23LX{8s zATtE?0t@3^0|$Y77WSjU$!Pd6cjU`SM){pf)q;9-jV$kl@Cz<|P^e%ylz z+ZH~2)0kmGgE=<{eZ1kIis;55VT3o=9^126A(YEH!?=MT>_w+_Y%e;?LLKFW{CvAq z)tsjq{^vlrO>FkQi7vf!Fpa$0$BHAJReJHqQ z3?d)dsXy))bs!N^Kg3=PM9!`q5bacO?bfROf)KmU2X2tC9`v9A3ben^@B4o-b`DX3 z09&?AR@%00+qP}nwr$(CZ9B8lwr%Uz`-5IRc!QqCFb1*W#y)4!XSv~458&>b1dQ))PWz8Jx8**-t{=ZGR4NG9Az%EjUHLEUdmq79L|HNfE8@>d#+9L?$GTiFm6+{7*^ zdoIT>bwz-qXxCR^dU`Q3z>vN^ApTe4eIhYD$bi#4=*=(Iuzxu?WXwnyz}vkbfEx3k zC#xdFMt|}jhmVpkqA7sF0DI_lh@X4?2w z7W8}zWS;t*UU9~O2oPM}AAkz5oetyT!hp&4F(N(M8lD*TP7F&ni!Ji>BNcaM77npv zDy!2!8%+197WjX2l>A+!*ry__GCVf{PhwYgvFfmUed8K8d_lrbe7ykM7&&?K=n=xEY1RH>&31Xtsk(3;>J@3atSMV1HRkK%01G9r*q!L8xl{1zNH&B2S zaOugs z(H>$r#MP7S6n*^8&H&LhdWUphmIsk__NomQ5bh!O*P*k}b-eNdQws=gHN9Lgw@|CT z-uBlLYxE$@LM1tQj!5(v#g4jk804u^+0Us&P_SwIq^)}V92u#6dD5Fl72727WvJAF z>r0mqJK6FxLwxC;*rZocBDooi3JTd*bu7EYGOg^z#$AR`PBmqVMf1$m&3=Q}Z(i>3 zfEscOMtCr#PH^61s^#mMFZ0jnP>~-JMfc zuFK5CInjm7CNjtQ-fHTFv|159%bYV zP)sJ;uWp-^BKmDqfS;Uq7+{sWtiyP!a>33R2pVFb+c_Hcm;rRF2KI&)Xr?h1sp=Q5oqRXLB1dmQg zZ2OD7ATbWQ_V9^Q68Fo$D=BK;twDiXi`Zo)so-yT4gma=2ZH* z<8JOmY&Ok1rl_jQ^M^~PB3e_?Lap;8CUA(58*9T%l3N$!k0>N!yur#g)>^L+O&|oN zq({ZlMkai8E!&1DUn3E2}~YR;j0e^d1c*9WKA$6U=oT_=)vP_bzSZrmDfD-as}Tu zq9TP25iRY}T-{imWpEP4sdZ-hO6VSsjzbs@wefW4b`iJXmTg?lBv28Yb7zK9i1%N& zC%uRk2GH3z;u2FaI0=a2WvK3aYr6t!T=q1dT`l&irPQ*|^nr}LbEVw@v`w3~(=|lg zlERQM9~(a3Lhzp81?t=~X3%)b(Lt82jzP}>3uO=r^={T6HoKVS}*_0Mt zeuWPjGYZdZ!HM*fDgv}gF(vKsC@z1*akgwS(*e~Bl0y=tJ;@~&arklx_ge;5O*AqC z!a^E%(`}s}NNFBi@>tFD+Oe?JVnJvy7XZ@o1j3)ZbHaGeA`n#QGTk{jo>%)knkm$@ zV0WnuCh6|e9S{D*@e!f2yGm;j*-S~~%AmSzTg?cwI$~LbACEU^l;34lUPRDR?V+=h zSU6Z}P!I zniX^onEOD2Z6pkor7ks@t>UsM{-M68%asa2F-zNI!|kuvxH6s$jc>u8mj*g>dl|DE z0bZ*uqh(h*zl?jaYTf0|X(f1YchN;#dj-Ih6qF4b#zApvJtI#Yq>I%kCsnW1h0#d!1HFU?r@DNah&lnzZ1z_t2H|EkI)T zwVmCOXBW4$m=3J>lC-F1Vp}2|o1+XJRs8x5!80qY5Q0{GRMZ`dydPRw9R8TBvM>#j*&(afHJ>pYfbVb}N=?wAxe*8fKte9o^`Dl< zMfLDVISAUv#4^de@EGCT^YrwjT_XWA0IlRc3ji|%$G*}X9R`{C*^J2nSF;9nUHOeg z*4??hj8RWrBx63B3WW`(mP~0mr|XU(Wt<<$<*8Isas9Q4h~S zf*656n}6no96IYDn!t`9Gkal3h=vNryor&G;GkWN^x!Awd?@TWyp|uFg6J!bCMT-- zg{lX`&^Y8!H!O%O9E5jd=!{V+nUTnsnX!wgdrvy&SX^5i7O}`)1)=_m#@IXpFCi3Y zw-1ZX0y^A>0u!w(tUqVn?=;Q_cgI4JSSMemLrf8I1dV}S=IjJ{;lx#~r$}fM(VDC^ zY08S-hfBQ8BNG5qq;`Z3Q@5E@eU%pRR%1vCL&HlT19lK*NGx%s?a4ZP&r3NO;9tN`ysQi=>_ zjZXF`ZyY+Q-*k^WCP$NI3HqM1=DLxs-}IDEOC3+^)p&%F8qnCyX!bp78VH7&Dv2n- zmXir{dU8M`8+%hs=0~Pn$$eYoCsG2h;Om$#Umdl6Uptp&pf0s>L1V>wns~SxC)ImD zVh?V-89I|9H9+^gyZS`gU`&S>raL`EJ3g{{o(z(3>v!p`a3#+c zmF>O%5X!)yB)%xxU*|kYW-J>e)V3zK1=jZ91OSHgB3$WVQz`>X@rm;Fy$VTBxRnP) z9}Tu`hxW{$sZt55o!JH8}K>%rd5Te?s`-ET`RHjQP8U^dZbrFYeaiT)rOXez8f4eW~3$Wb1Xv8;=p z)v7N#MppgAWAE~4@O~AVOmV1N3ps*IoXc$6r!uoAk9bfos*3Aen z=PnDQgnIX#{EiZMEpaN<3M&4ZtdFc8&q#FEs4H%SJ(DP_s0l&&Mea<-Wm@6Q?Sp4H zcz1V{&Kh~pR3o*q8(OPOi4?MYI)+qYRpsa{@Z)Z9P&3;4Tz5U7NA{v8Igad)aavM# zheSW*>`wrxj`*vq$04R5zA8to8H5h(5Lhn6&{kZ?q7H?Dyt|9Fu6|>MbXLwYZ7SZi zw#_JAnZ#N0N5-io+{Wla?_zlxh#OETalR0dqaN*nRxZ7kBo}0 zf!#6bCcfCWz^|Z^G53IsgE_Iw!OjX8u`EfR-mb=>PP&U=gY($kXMXuNxRu$7|90hCkFH(vYIK}_w`_1kGfyIqD6(F*F>Tp7NL*|C6Sqfy=(A? zWx}OUG;S4DcB`=3j-2gj+>?nb=)2@g0n$XZP{=;RqoA5P@A__b23jYbOHy>zF)$&# zeum{v*mcoIz)ZhU-&Uwe?#jQG&bO`{Nh-9L-HLDaK)8t_j4yzh3*PB5?b26>MY7us zNh!An0b!;d_rXIho^m`Hf7~UN?YLYj^J8`VjViYaf3ueS*eFB8fy&Mlp;#iJ>aP9R z0WKE0QcXQ6BOv=!S!P+WQMrFXHV`V>YV+h|Z{D#P!LZCpa(U)9c4PO%BJ0D{neRgS zFxM>`Wjl2gY2RLQfnQ~(h_y^qo6(`rW>g_qNIp+)@jYC;Jh`2mAd${EvZz-}F&K2N zpe&eecCm7Q@fI7fmrgWxssc_(}$E73KsPUXdJirI%4hj~!~u4!;)$Xhq0MVhYlh8fnn#;>$tRQr9hvbT*c4W4g*P}EY9 zpBaX@O22}x2I3GgQ(`({$;Px(gr2Hags-jk zs4WzM^%3psu-4N>_y|;c=|qaduH8jM@s>okYoddacrB+U;!+|1gS*BAF)=1!xxlyqiiaO8{c8+0^cJGOHNbcJ&hxjoy>gjgo~NG3`KjH{eM4`A+W zcb>3TXKbXukqLoYl#%4k$LXUPkiNHNh=p@dYvGzWxsv({C&Z)&7Y3o#FTU$ zsY2lbRZThDk2Bd!AE&-FTx^|$`)O~Z*V&Swz~W+GixHO}xc9CK&GO-DD3=ft%7tvb zprzXk^6*Flx#vwTUu+M$9`H{OE!E8nu|z9fg;9X{FOS`GIf0FPG*!$?I;C3YNbk?V z`K8@SihL#uN}mpk!OWWIs}0Kgl^O|2)!ey5$|}w@kf=1Hoz<13dFj7fYf=p38V89F zHS{J7O{KklK8Y2|{|-9g+o>6p66ZkPo$u$Ml_GiaqNtG4o$&ZQ$RM_Fs+p!Q4zKx4 z!n(G6^Za-b%jGYWFC;frV`cg+2n&dvE5p z%dc6qx2@2S&RP4r#ZFGD%J_gZ%k(wbQ8?2a%A6|XTIn*h++z|RR>%ah*kf$#zuS1- zJD=m!T_223duy&C$4~vfo3&DcuxrSrGZQo33e!Q)c29TkYS?zZiC<4en)0 z-M`P7VOIxTSEbvI?OL)+SV>zf>N#S?g^_qp&~t1|>I|q%`!v%(u60%tn8@#^ZMke} z>mdY8apA=Cx3z24M^8e>b>J9x$PWvIk%l%?Fwt2pZq1>dzE4eT6d4mX9nPmgVkacgD+o#lG;)7Tu+ExV@%Qp~7ghqDLw0E0Xh;ZOdA_ZT9vLWP#wwO!i ze_yK*e#p7<>r2Dg2tw6BTcNM*qS(A!L3?n9Y_oGT{1Tj{^@DdD#9!@VGRCbe_hGLBUev@k3HaFs%_kx+2>DcPjmDgew z!8??_SQb!-pWllqMXptm1v*ExkR+qFPX)nx71L86#i0Xaa|7xLD!K_hYB`5d%Ul>m z9S`X^2<5@lZ7mPCBZ;=oQVeg|*7s#Ld>k$Dq<$AB8*;sX0oIym!TEFg3{hI2L{zDt zD7WU;h7XLlprT4|*6>s!16*P@z0KK6BiMO05PZayqTnM(ZHkD*#6Ksy5JN;|Q)-Gl zomF#GtJBTJP;o@vKF6ab+iM`tS7J#?;dM)2_zq*hO&itZQcQCgvst;m8hS3`RYo}F z%9tq83kgWO7l1cWHKgMEu?98)rSRhX2Rl7c^|Bu*B+!dHI=$?Hl6J#V4M)UiP>6r9 z4M4Dhe^YK8r}AcT4O#~RH6Yhs$KYh%VhU)Hq^Lbt5ha_{P8dsQbBWt}8oQ_Ilk zTT^slCfdXrYb7dGXAtG@4dUmA`SKr%K90DTE#OLQm>)N2F{)h_5~530334euzH|oz z1kTbk-$r}Y@)jkui$qs+b^Ut}B1Z%wIz8;7&s1Sa@-G4Br9aI;^-`<*Xp7EMoo9~m z7S<&$UZAA8bbZ%> z`-CnHj};o^L{FViZcf)&c-E=!On=1)W#{=lIvpgM?wV5GY_kG{H=Iu^N7uD`5>s_2 zzyzL)Xz(Fvv}@MT1@RY1Ne+Ju70-G5ij_DRkIhD&v{7pDKA*3-ZR~9vQV0Kh9!miq z8+PUd18QjSJ-&CHvNi_}{hL*}EhxODqQdjCG0Auqiu67c&Y^N8`5E^#Z)2ZuydfRh z>c+PoWmh{2D@{m{ocs1vG~HA)vAar>3bRkwN`4gmq`8%3K)#XK6IN>10rYMT7l9Xz zEi{#ldi<-CMK+O*{q>E+YOhFMOZIV3U$HR-hlcHHMa>fUv%(9N(RH61uI`z+t7BWdW=sA| zAtQ+fZH29XL;Zl|_qX@|7X--iUlAbN|M;N)9|1D_cLd1H_J2lzuAs`uS1YsxIEsmZ zLP1La3o*{(L<_*s(*R7s(|_?Rf}MlH#eeK;T#4uk5Sa)2*=lTb_P=4GquDla)R#sT681jC>-VKKT*&77FYdtXwn#rXtcwd+71j53fGWa| z*eQT0ps+uGetJ7Qz!fBb*Sa8xFB#jDE8s5!8 z5#XQvt*wEd-rvnTxd?fAczv)I5kTvHSb6q+zs90v{m(w*r<3h`T>vJ0O!q*5z1z7y zIaG7&b%MRwonMFFCT&0;79tiLms~#J-_7Fk@H?Ql2M8cQZ$UzSX4QZ=0K>DOU%sZZ zzGhuRfi;z~90u z)-~7**iXAEPRQUBf1s^__uVvbkxKrae%DU5P#e`JpDL(qOYDgF+>2sr=};ZcQMgb1bz>~pYdOEPZA1UMmG`DyT;85 z!3Tb{^@C2v)rhaJAgkS+Q8;%4nF!ArHQ&DKgXb}}Ob9bRh1b~QYx1Qhdc>_$rsUrf zx9bZt?4#iA@b%h(-0KTk*~%;-kDK+H3zbEsM*1&DPoZ0_kaE)bx3i3!mjF?2xPo8XX8Yc{^GNyWk>okWiURn?pxBt% zjjxZ?(IRI2GI>C!0XM zrX;|EZ0Me3J*2A0%ZlnPb>|xuX04t=VHF6j01URxE0oiUndh>McO==y2e%!#W(C70 zq|x)&VG)Sow|`bJM7MWVQ9VEm1wyW7{`LzMUGTA2&;0~Fp4+uXOm4g^F%*`9gGjeK@S>8EAbP>9wFJhGLB006F)vccP?Cx zjkrg0GyF?mk_X?_z{a!QR%MqN$0m3EPBz-p zXv^_dd0+N`w0ot@u4-#iIEK~;FX#x|i~ZdHYBG}Gd~zy6?w>QOzR8H-winLuEMY6z zSkO%GNa17~8+`}shs@G9_XtfVD6*V+OUiBDRLUBIIQl%K-#XD1Q0)3M8(l?+mO6Y% z%Lx7^G(Z%d>CZdbEfgHpzG{U*UMY7sjE_M#oLI3C3?3%9wTQ~PtKOM@1Mr%0M4xEN-5$Uwji9-#N1EIZ&6p(3vJp3> z{#ZYwBJR$-zYydMx!~?Tyn?-wi-naIwF2;PwnAX>yfM}juQW-~_^@KqP{$C%m(<32 z7(dcYNab1}cCu_6v-=F1?9-Xo=6!~PuZHI>dolKXOnAX>6pB{=(18+8(rL86xSMG} zCmSIeGJXaKw;$ut_jaU->i-z8Vw6+2yfr7R4>GPkqkABzSo~4a(ZZG_$@34;L5%hi zxdXCfvbasfX*7<4jR&z=5w@e*&So?=?bmd8xPvAEb9MauqyMj<3^Y}eV9PntM#i1S z{`TY!9-SdAqi=SdE-6ez9zBNUb zrS$S3%2100);mFsB@C81e(MNk`K1ZDQRoDabGECtECKRUu3r0ogCrSTbbqh1HguET z(1$E-r{gA}LkG!dgsXuHQR|G4hvEwj)+1-d(&EkTpi=9;6`XF!HhqO)Qs)Ma?eI^J z?Ho^dnjx1&T@N%2b>o_wg+|LxdQ)$6q^qa!6SBbxilw945(7ul^iZNjI2sWN_yLTsYotx9GnsoV?Ld1tZk2HOeIXl&Wh3j zvCre4Of)j)!guVk5e?q80!9J_F~f;&7+mBKTKGBfOksyp-Tr)qVz0!HnPd72nDdc)^7o{2iw3q%YAuT#B-^66Z^lVXi3w|_81h`6jIl#MS6G9( zE_uu{{#bp*maUX8W>uUq70*5|nW~ab|DSsUw9*(o)qrfkn)N+yt@LvV!Ay4@6QY-+ zX7eM?;1M)_ZUUUS$CXf0htqkM*W9k$QmXw&s4BqJLnoRSb;nw|7JEpUo{QDW@FBgI z1;Q|W=|e>;(VWt`@@$tJ+1Sa4v|Zh;_UbHO*sM;q*Tg02LBz#wcvpRw00>ic7fiYB z{9^omv2H0H9YbB20FaQ8(`M~?hGghO8mPV#k`%=B-OoS=x9DXj0=KZEz{&1lXRnT1 z1v^5NvYnf7{OVhnH@$2uE@I!k#%Dx*1+Lz;%H)VY)@vhCGZIA# zNTo}7)7JxrF9{ae(bCZhK^Tsi;L;m;Ke^mZ%V|qZZJfhiR|@V?EgT+8wkvqp={Z68 zK6*TN0=gJ~LVBtJ``_c}re$=#*(^`gLy$#dEA~h9uH!sI~S)q|4T&fr~pxA@TthQ0f|U zRXRn4>cBB~mUC)N22gq-_7l7gqT11V8=S8mU+pzI>FR|P3bW6|91_{l-T@PqSM4b3 zvoA$-l0NhpRD63(1^)SiopPM&nZQ)EvdP`dnyj*g)>11rq|D66>+22h@;QAY&E|g(tgr7!7we~_-?CTdDJ0dXx$#%$t*iZQ=9$kCR&C&-RP(?> zTFKIqD=cM$GfGQZ9W0@gUjjI)o|~=y)#;7ZqNW2W%T(T!4%9Ir2&lm|7(t*(b}QobBsi5hGvmUbFVB_PJS zDi`}3J^yykGG(?M;wLk=nXv2z6o1EC9GpNE*t}-qHrY&{c|*~nsR(#(U#)KbjHZ5g zF*=@aUGh>0KkmGG-6*kWvXh#p=f9=iw_;o-5QEX3-(`|zD?&9+@l8Ll6bq=6R@E#r%VeA#X-=VWhp~W{y?;B~--1teMp_GZ zWHV<>2EOma*nt37M1wnYPTY5`GOF@T$J1Ko%-Eg&^J7?S*6L*Q$@|&oOgP&L-~M-kbZ@f?+BwVS)f4o+TcWF65&9Jao{z*p2^(@-AISZj-F zb@;zz^g5wG)~pDlr^`ICIiQZK>*%kg(3oE{fN`EYpxh()`cB!sQpD#$BAg^S?+|p3 zXGuq)Iu{4wiEZRh>9TnE?)vY_>(2p;gs6=SH)_b%Tz?sWqsWe8V^_IE^`K~&AUe!< zXoGTrM5=Wb&m9#3W2|Vc&wF!pVlcnL%aAq^JS<8sBf!pnYpRrr$$+u-&_(ZcaxSvaBg9it8JEM*eOh_=~ou|u7$kP{-I zr$i`Yd^RdGWGahs_DAZgst)TU9J7q)6l18?MA5}u-6VU1t9QyQ*Q(DI-H<2dT5I_w zLHN8ZJ6}viV(tF&3eo+nAll;#`r)oR54)~9g~E^R$QRgGh)4w*hTWL*;`x~x7SIc) zsjx+ujX>7(-A?zLoP;nG3l_Htr%iaceS+Zae>D~uOyybY&EThmS`C+ismM@CV7JnM3SmE|gQ>5gN7HxC@2 zQPaEgr~*EicsgOb?eok`??Q_lK0;+T-v>|cm>b2SA@q%&aq3B?VGvRsl|5Kf;865z2YAJm4A}>MPxB?Xzrb*s^$kRY|+NMbi6dA zsn=MqCYIkMMYx=~*6CJ#E*{lhv^QDs5qU~9Aei@D6V%`$;-9FE6Pb_Ih{W}Lp?g-Mx~=Or}c!#6`y~yleKA>R z6&k0rz&Sq=)x_IXyU*!wlWjs%UWn3XAlv{s5Io}}w%9cam{uacXiRVhO=r$#&sj>~xi&N| z@8vv%mW96iv-lIMiQGE4xwx@Z8!Cs5NaEE{;DS>}^ig7ckIuVr9da-YjRP&wXZxk; zzUFJuR40c1dk53s{|f6knOtLxI@Q8wVk~bNc`Ps6t=8^=&?LRhkS7(zC>UmHqI_%AkvfsoEUS# zLqcaW(5Ix&Mc%mf)dY({3I}J$UGjPJw2f+l{Hvnx_4| z?N)z_@vE|k!(H?*=8=}=p0qr;ta52*nB_pob4mylFc$r-`rcVFMjjHQ#_zyM6DM4< zpjk1LF0;Ur)ySb#(8ddwG`nIOy~dRqXZT3InZ{)x+gf4gEReQs-%~GU8$$}Vnh+wQ zLNfi-VD|5(7xQ#1|0sJgfkEJQ&d>X~?UbFW1U)wiB zuQ&~QX@4@?+|QCL(3}EY7lmQh9+5ClK#W5fQn)DVl?UF&Fc|bAF_8y7FE22%P$mLQ zsqxs_lAnD+b;@3k^JvUa(kEP>3wo^o({Sq~hOm)$s?3bn6nMII`~a4A*%x8Pi2S`+}w*V(3VaZiRr|9n`j6_MbWVr%e3X11H+|wVXlFcdazeyz^~7&6`{Potw4- zGBw)w+-U5+``4^DDNd~>U}OiRZmjp`j+w>1&c=Ajz1>?_l2^)UVH~_6SPCF?+t*oF7?pd)Bhvr*gCGd>w^3N`1qMuLo z6$9TSFHOb`4v%{)kS?X$R!uV~9u(PTgT~RG@^zE@;=n^=V(*&f&tp<%EfhC&B#k_A zjl3N2u&;NOm;rVjG-vj#cxOr}Azn*P9ujh*V7C_Fab#S5*lIoO{~84h-CHUJ@1N<6 zm^mahQ+$`DSlg|Z38UloAL}IJ+W0L3CXrn$m$lHiLYuyY>iLbN7~+W|WOMgm`279+%Y@m4bzNQ2jXH(s))U=7h;awbP}ekzpoF1Q9D@arU0G z`Y5=tk3(6Fw2V&u6jPmjQiLbwLgwNiFr}0*-dY*0ac&vLeLC9EeP#_7RE8<_NrdhL zDgIL^%xD(+2)x2O$u zyI3;&X%L1lUiUIYV9%%S{xNGr010h7X3s%xlrt>dAC9^nL(6j{sZmxgzSRcg&5*t_ zhM;Cm%v0WsmLG4#Vdhi~H0Ha?L_|Dfq37K+md$EugX~K}6N2CCQeX81X=#1dM8n$` zPTdF2B=8!VzRoNfd)zZ9I%+HPzE1mR4X^iRoSSaxU^?W0M=;z@>YyRMS1-+{cYukc zbP=>^VrED!!Qr?|mlv5-#hH?S1_}e*C%=J$)W7W+EzFQzIAub7tDnNJWLt^TK{x5jev(;WfCve&L-J!fOp6dlL~HZ>Ql47ZBv4g%!2!5U^-+g!<5uQ6;o4u!nhDz z_Z_p5*7_j1+qZ{Rb->C8oMPXJHih`bzT5NhE0NB>oW$c$EAW-52~bL6MS)c^^=)4{ z&~E!3=G4&e2W-o`&+os`Keqo$|JeUG{iA38pF-IGEda7|aQxo|KzA@@rOi&31rg4L zD8O?T!1EqAa2#Pta0n2=Kw{^3-4Y^kB#@FKf9GOy6;GsMa`7ZuaWw(GC-K+0m1IkgSMu&Y~QBO><;b5Msz=;Bu_Yb$@>Ve0f1+aAdN>eFic8 zg!;Z~WA0RXI%uGn#80^3PBiGik#%N#b?m?JF+gV?M1c4Z0OFFc#57wN*{ zbR7PFhQaos>5)Ot3KZy}G2%Ek7I&fc49Ag#jz`=<9-$gMiWp z>+2Zcwnxf?BkG5S66&k}`W5e~*^e0V91jnB`}l|u;G!!ur$r_D)AyqVxPYb)($mx7 zr8DiVjsp;dgI&#;7aDT|IH`f0(1l@O#y*F*4*;+OBLapL(6__eB{NM!`B%ZxFR}oj zdkxC_1;G3Ofdl_o!vYXPeyDZw&G#V^$oB;i$dhjjAq75&T4*Q$YZ zTpjyz=U-5d-l+F&f#0n!zt#I0_06H}hP;7>^7aZD%g-_77qfqLO<@`!xb+-*ZuvE^ zCvE)O+R^1Kew8&>sM2hkg}7 z4G(zh2T=c)Vzb}#(LKCoX7h^q>2VA25kImiPk3P*LL+72K?m*LJ06?MoYvT+d&WT+ZW*rMh+2tK%4)| zwCxx6^{f6vHT5g`^m`*dg%$C2efkS^_xnbG3ts$-2NK({qn-^3J)|AS=-`YF{J zN^ch2Hs{g9=^z%Xev6m~VcnXNZ)R48-5vjsIiZ-ZWZ63>bi) zO_^ih+cyCXk0esi&<+n^JE{+WeJ%2Gsc$y{Gz?FkEe+qEGv+b=lYnz^eH@asVTZXV z`P=hTV}(8q_lG1aOF-zDXj@mfHD|TF@guT24xWz2ZMbCZX;jkCW0wcknFW7hKDWE- zo1q+Kn^4MUN(c`i#_g4*-7Eh5Cy* zTQDs(XB~ZSj*T>aD=NPJmwDFt=ARe=iP$zJFFg6==Uqq&D(dJCJ5X~%hs+4zOwH}A zuLDFR+h%fGkTqCHCg+Kevck5YFqSoAxACXT5ccm@-ugM&kYe?wldET|QkFA`-0p%p zq@|>R)$?uv7Y<0`V^W!*G}Hsc03BEJv0c^pY^)QBmZUsN=3+M!+gkq=W2Yq%S_vkn zh>XPPPe=CmyLZacozcjh=?HX&{9aGUeGnBUY1hP3OVz4$XD{M<8M_Bgctq01C7Sb= zs|z*D!Q#-4qyY0xv9@*Px^yUx_#8EA`FB0ILq1iPTNyy^8_&7%VY@+Jzh(>V3oGM| zz^UP z7Xj#v*er>j&d~jsF}(?aRBhH_} z_~*bQhgyt#KmAE|{E(YiQ#}vsB5$g{z3t3~W-n-~MB5FZ9I9t(N*0RFOfw0yj?VW9 zt?Ew#21?#4gWRWD%xI3ybE5ef;fr>OAD;tkdS_YfPV&>tBOe#-R7Kg=WSp4suv4#0 z+KA=$@%&DG>N7*S3!anqWy1ksdMl{TIKotW7t<2Wj0OZ5#37%ZxcDXR1=08{h_m3l zF>we$@Qfyzw${58(7Z#HO@kn5M;(29P4NshpC@Vui9BOIXbPDX`v%?h86%WlH3y?A z(019`&35up>*S1E-Mjh(S4 z-Vjt961j7ROV8CSQeAko66y}K+qAKN1qyaJ-FXHPbzbcU%2@o^WIC#D24LR7JX#`! zZc~DZK2@ctxNhuKd~K%34YKLCi5?hK=F(|MrJbZ_Usri!9yBOvIf7 ziP)4~<_2EgP+Zn~oj9CHW;=m70dKzkGDU#*-BMuR0~>Ui2BGS2bGqmMn7@OEl0<$z zhRe8U?dPu5&RrfcY!0U0Het{F;T{d4$R4QVY_ymrKW`BI<#BjG__8-|TCMGQ$ zQO9r0ErcZJdA3LlW4y2|W_@3@vnU0WJBy9o(+XfXd|}3{y^TXzi3DnDQd?pSZ8Zz* z>$%998VetKUyA!eQ?tbW$dltyYY1{2FJ3KFFTQ;cq4(=7#Pf2P+E!0+xD_jzj0VN8 zx#CfL14gg$@JqN);`-UN7Lc@9=mKed%pUGC+sza;V=KGK*9+b3JG4EJQRm}qE=mwE zC9Y#J&~zsv(u*pou3m#Wvd^r04HhJiy-Ta&or_teVG3@^azL3RvoqCp-#pA1NvM#- zHI=HMSfECJ&qr;XQIp6sAzO`YaS)NoPFY-!K!^(u1_2wDeS#@RmNtRhHk%TV*X^JV z6BOl90EVi1R>CU-rXr7?9J+te@u1hEYK46Obf>vZjmc#UuB%bgn5~O>5px!tbh?UV zODPMPxPOJssSg={qE@r4Sjro1;MIXG87|cta%rS61@Hp8!!3(AU0+_Ms5Ya~RW!4y zJC3@vHM4bnsd=Av9Pdo}TqI^-KKnQBPd1rDcWZ$bcQM=sJd7U0N)ugI@*Z)5npaUd z-3NmW@FIUY+OC+!ij%D7~@Qe2Yo6~ms3 zZbj#RDy3*YtxaY%c;zMP7*|k!v57{_Bl0Ji(Wox=6tO@^494i}(&7s36yb8{MHPbXB$Av{oEOjhlX~%S4i~ifIa*Ef`V{KEQq+3g!jaxTQ-|2m#=0l z3l)~Tsse2(fZd}7TwBr zC)@0F!+fO$lCEy6VLWbADR)X(hxdt5V7lB0*$0hNzW#>^PCZW-gyEw9$t^$L=#X;_ z7+Nwpjf|unWvuIMs3YjQNnr4jri(5WIk&ml30MM`*{??^cSL$tVCQSb1!brcmzM8S zfKS)FSBLw$kbgYKJEcv9h}7(_(S>Zv}MGT zKiDn@Kw*+K#Uyo?&r~GBPa`U)@_H(8nNBY|FP;|Ud4VCjB?Qyf0M+FjGXc;4r}I$y zcl&TJ3d;|13zv$(E1W+?>UQOg&FLfIJd*;dv8)IVGdD8ck9D&}MaJF`+vDziW-i(V zG3rWkoH7i5?nO_j7G*3Y{RCl7E(^()nARq*PTnV(6GBRo(ds?vr*IW{0?amBj~eiOr9JMLOaHz-vb^Tr|c-yGvb zp9N-{@05~q8IYEu8nJ~Zh+N61M5OT#`(--Yd1Rdbl;>8 z*QsAp>Q2UTT{bk(dTIJs^dbuSTfGb?;^cwv7F27dP(2)tL#z?tJ{dSUBN5aqx`LpZ zgkmwGov&BQePz$5JhiJkwWCH?Rjg;<2Qa=i{ChdNSTz!<15f&Z$E2V#DiD$va`2x7 zK^-4@F5?A562Gn$xqD%^TZIq=InH=Ygh z7--tnUfrY7TAhdH`TWNzy(r@W0kG^QB{(Mm;cZydTM8=z#!O7#5 z)h0X7AK4?2dIwS&EYULPIz(ucp9yXk-_fK;5cD2Rm#d;9v} zb!URvz|b*j%*#Q*e=i}od!n%MB@^%1d;v^}YDuTO_n48?ZC_tnDM_HLN_&R^PrBgv z6hw)iDQRrxDxzIS26Qf&OPjc3dbM1s&`Q)vH5Cf z&)(#PC$%+|&fjqgAS}xk5z^lF-r=&3b?3;DOv*WQbRSFx&+x!Ip1FIRwRW|r$SHUN zg>hi|SC#r#$XljXICHu_>m4p!h|J+iCSQ(Skmvs=N6k%}Iv?SUuVuyKGiOog+bUoq z7CFB+(M~0=L2VJScuYICNR04TCUOYu9(1+fcgh$$sH7A2_KYd;r?{KIRK&0 z)liJk1Yf-XdlO+&K5=$JG!ObJV0w3wdC?zzlwRogmHSz-mdN|)hf%*&o@Gak<7FaZ zFrTP9!Rjqgr&49RaSJeTvD(AnVY)M}o=dZQ3lY2!$>!E^t@ALZ0xzv{tGgh~_A!t?o@;p(jC@D5Xj5RE8P=wM7A-6Yr`jd6<1<=u zn;DV?j8ahzW~Q=@{nOta$rXKNqw9;Um6QfqeE68K@EWuFj8&*SD&}^6nImM_IlP^RST<_hJ?m6(!g^#@K0qE zV)6F1OP?Za#}ARKLs1D!o{re2f-TWvLh*>e6pEYQ^p$;*K8o7R#elz7gMCX;-%CG*!B9tnGFNF8f&0 z3_NckhZ~|Fs0iEnudkMM1p4ZoaE*S6^vYl)!aEGdIQ0v?st8AN#nfkV+nKA_PJf?wxYmjr(2_&$6 zhjG0(NJwbBxl}%#hayKL;Hl9HH>iqb`H8eprlM2$TJ3>pVvBU+>MpJA#;H7v2&YSt zvbC_{g#na1!z+BY(E{o?GBjZwI({w;^wbVxgpIYQ(Vh>PJ)y+$QN1z)h0h~AMc~+= z%}rY%r}!mcZZRlcuX5^X44J5!{8w-m-deg*P+=7{f!&1uY8R@GzhvSeM(?=duQ zEi#?jUqzt{yIl8Y#U@^CKFOv>kFJq*xxv%Xu$ODLzV5DBekGLTg41*nU3E#uD8VnwMGVXzINxWHq9c_*8zCa|Nf{P7}x6k|y6m%pE%N zvwhDp6gfEQxuxyQ@24JnJ{yWc`J}77n9~2I9};LBXPI{{O1df*b(0XQF?7s%;{%wrpOeLG_L^QOOwz+$uwmq;H<{=S1&$L}@gv^7alhrHPZL|idU=XNa8vA@Zi~3J+}{85*VuE*p0cI@*$f7C$>j zj1)?!4^-S*0!BF3EE=#{ z1K21ooJlF_44kik6Q#YTx4z+&kH26~YvS;uYaT~~cipP4b>5nRC?9$EC z8J=7^cGZYnauMV~k9Dk@T))fiEPF}3`I_<1F4Ru#C3lO3s~5qK{9ZKwkic&6VMVa< z0G5Y_2wExXsZOmn19~~%Dubh?x(BjpWl+<|z37)&G(xC){Km(Gy?a_qo=LBc!d3or zsH7c*;INR|1?k*T5rt)v1rA4G$9prmo)E-S=KA;J7hQ!tB;sOLS-@p&kq%Zd$~;Kn zh>3`^=JvZKGV)pWos5+^C(~lM9HP!hgZ^9ha9Hdp=a#G1CX~Q3$dfJJMPWsF-=&7J z<980>FK<5R(exJJ;So>o?y6}gkpuLHQ+543f6WZE)>o2RD|$%L@QctYd>C```(zFx z1S8jQplo{@?P^12B*=YmEtXeX&N59rCfY2SK=&)1IG;3Vj1Yf;f1xHR;Mh4&OR2T&TZg$Jw5EIR{poG;qF>i!6zX80r)&& z4v0IqOTNCAqRm9{;t47yDSrrfCb`1>=)k5!e!8jCv3mNJG*$V5M!i;nzd0ycqJkcY za`UJt7HgpAumOpk>Pf8gbG=VqPuPSfN;QBfec2>7T0$zepVqYyxcvCGT{cZBJZ91$ zn9&GIIu-S5c5r>u012$B@Ee!Rh%w`UchIcLBOs-`H8r5Ti#S`9U-i)c&yAdIg33*9 zr^9Q~^zg$q0Tq1c)ju3}eh;GZ3Ep0ePct1L5%1ct;@8w0_hZN6LX)`}_Ve8tT8A6C zB#Hwm5#B>jn9T|?!)G|qR*I-!=k;Ugd6RG7csWz$8iLbBUU+o@_-0eX%wJCS0S%s6 zNQGUy|0``ip<)^iT*((ZHwEQhi)G!HHO#}MUaFWGy=rqf-Lz7f+zP5TNdY2cyu`bN zK-njK8D*WXW-|1G&H*DqP=MG_(*j-gAXbu6R73(D3uF4c`*MdpfWT2BwZ4Dm1+AjC zVNB+D{|j_672ondU_7q>5#w>N{$H^@W+FDO|NHj;#&}Hsze0Sfcc1i<9z`j(q+oa# z5ElvZ7dYk+SjOR4oifVG%3xr?7bq8LNYGZ`7idVpR*F9+IW9kaE_d2*wOTfFKf7;U zSAaZ=yP4U-q5uPgsOBIl66A8g7q2f$U~p+~BxC;=#rV(|h2Z$CJ&**~z)u$R2E38| zts|-MVE{1NwxJ=~W+{|-fm44& zEZ#sI6krz$Qw_n+_x6FCYo&AM-%fB&VqKuV_IAp14^E;pIF}HSekeiIn8paMA{ya- z`9OXYkca}`pTuC5NrEuv#Ql?($Hzlpo~|dNo$KNb!9YwrGsN?OZ6o_UM#_5|LqXVU zH~N_Y9 zaKIbH{@KB=M`z!E1aAPjFJu4-YHeUAbzjJ=HJj0{W__~IH)er+xqyWf> z-w7F+7#ZjkroWr`wYzT-_r1N}pXVbWa{(3Xy@N;(Naq=;9;lrT?pxyg4B<5tn34lg zGjQ+M{mVscd=63Y013?yv?+uH>NgqRE_~xhs|axq{uVytp`c?7@&5bs8!!tZ$3Tg4 zaQsC0e)n{uw!)&6rqTCiaTowNK1tjS%m)&1G|-iV+Q&pe0Tmtj2nq}^UjQEZbsu=k zS5yn7LqYmoqV-PyS*btUdpi57f~Vil?`Tf2TpR?N{dL^VQOH0H?!EsFVEOhK|Bc=6 zYy9ft{Mm!2^5NwAc6a%C{Ux-oXW5=OV*r}bLPX2@&5~?}LHdPf3;tfHCWnK0bNq3r zqlSrD4Z<5lm^lG_3G@022V6UPn6-1jRf0+gUH>wk#(ys`lyD6oGvXKXe61CM8ws#bWy=H@*FaB!(sC9E0V0GWtAs*4ww@FZBJ&QvZahgAVU9;Ucs*dWN)D)n%?Ur5n z(t7c--^}&*c(5PZ?WW>4CcH9Yh7~M#QTGM>j&wcU>ABZ$DU$Z=lv{c~Q;)Qf>X9?s zu-G42Q88N0mj6X^dGVHH zYlTMyT^216au^>xls(osxt{S?ng7>K{PYC6;n#B!9Px3uTfX3B-x*^bvuG5h#ac?bYnc-Z?p{xW+xEP=FdGv^l51~Z= zVr^ad6iVAP-QNu=C%ZbCBnI_~S$#R`-wWk}+CqY_K|-#)C~@5a{ILlAV4WK}xrX-N z1p~2CQblX$v?K$eAG)}*X%2zpzD<7PgVl`pcJDu#WguMz!nHR?M>`50Tc5no_-Lh9 zNKW|l96}sD`Yu23;=srj3LbfVq)^m4)=^vSE1swqsh^QYr;OS7Meh054sqo*&~%F4l%Z+$2N5GMQb_ zZAcI+)RkrtnqkXE`1dbUopkUy%ud~uqt zch=Ekv+la&WPKM1m}r;i*bLZlDb!k9^WQ_|Se)F6mIsz&%94z3*|ifR2}BFzof8FB2jGQ5Pa)cWmemWOSv! z{M-Cq?vDCXi=q;d^pqGeg=~+y4R*kJN5ODN5t{<#jM$_n_Q_lP>Q|%o7$5BC*cZT(7qp~~&`BuQ^VOMbHAaQ65 z4wL_{Fs>rY@_y3iad57!x60%!z->bMk2V`Z&xL_Oa66|`@Bu%ZZ5tOMy!k8CAvCh< zfGjiB(yYFJUO{e4*5tU+dF8|yrsf5<7OtLqLY;3u0DkUtJzgxR+`O@}#%Ks~^~YFx z=X6eT?9=Yq?&)~6&@IoPjRoPa6^0J#g1V+i)Vqt2Exws}D{&&&kNb-G%ra!};Pl>7 zD9FGC;Z276{+LXJcp*6kL!Z_c7Iq zwX%(+D)A&J`Ug`z;BLKpU7pX=FJEw33AzQbpnzC?+80o{fs0=I6yXdHHs%zefMBWK zkx!~2-8!(Vw1Rq-Je$XOdoiVGGrzBr-7Z0V5%DhrNjv{ZI#|ou_WZ_WYr{fzLU{;GG0HzZXoB*8+htMVT|yzpr&o+3Y6nB+{4cU(&U{mVi=k z6$LF?Z~a3`!;U>DnW;~J5?yI{e`Om4e?L^S^-l&|hlEhZ^yaxXL%U3b18SP6s*E9Bwl7u4Th{_6!TV9~I% z|Gq*B>6j9tp{t3C7`=nHK8d9n6dh86XUTLf7tlg5C$Ri_JZGwbIbui2VSBvqG^vF+ zMs;bVU&bg*7~ThiKlvIm+EBp9il);M6b?;mMk3j$;h|F0CUYU|$@*sV>&LyM-M`~B zAfGy|Tuc5&M!U@lW|%muhhJigOeXz#r&17HJl63V`gfV2VMwEvBOQKk1USQbp#s@n zjW6T^<98~d9e#{OlP?w;N)#a~oOE8$-ow?^o$?kUvK}lkVKK{Hm)&w+njZM4V?l&$ zkgUNL3>@-hH+k4GJFgiddJ48`r%}cnhSj^B{R4hMb6EYFf9t1u_f(J@X$%Byi4tNC zWuu1&OUQgc2+vP2Z8z4|91txPB!MN>_}&6tyh&}S4){}N$t-~4D8U1jDpu- zUU4g4AfQ3`!>Vh5>e0=_>G*yr+)L@M#!v<*efxZceo?%us(DB-?aRd)KO3%aiN~`6~o5BwlBSK<0^Wj|F!7pG|G3V&t;EF9~gP2GcoVWaNq^1EX?nf zx~ZLB*_u$}`;u?L@21#Mp$ZrmW^_#R~YM#Xq|ED$H5Xj!>q+#`enGeW1_< ztq;tke+wUi;9qJ(V8=54JxxFT>X{1DAkfIM!$n!1Jp?h*5?$@C>x>+f8q-Qac&WAu zw97<^UrP_gWNt>AXTQoc4smizh@DD*ojHuXc&XH@ zux^7xWvI->p2yCfSG?#Nsb{Ii6l*(2HpI2;Y`tb;*Q;1xV&&`n?X^Me?i(LOS(2~S zO&GRiAt${hcT0hycSSnil9+D0J1bH4;$Ob#o>fUTvNVZW>wb%Za4EZ6&r-|Dm8LAv zvC>W#gvLQIx!z^of^g;EzxQyG6BTOZ7lAlTYKX096#G_KO52z9*Q)}RM!{aN_qNL1 z=)s#M-B#HXe%kw4KXy}Cutxo@tCKwnYR%>Gr}l3Q(&s{G#*`22WXR5gHg^^Txex21+PO@4LRAnd?Ry0cZJ?m%ZT9H(Zi(2*M-BsITe`#hu`|=~!;Q*ysNqdQm;n_J1oWoXqmAfj;D@WK~F6SsT;Hqhn=VWO5dJBK~RSW=Gqcp{m{Rp68HDgfIt`{4QQ0sHPywJ0o{hE5K{Z~wgek(dG#tDoMz zrZmLFo)#hL_@e|^hi)%S@FMEn&=|Sh<@FLGn{T7b6mS7 z-V+i0XG2q*tuD`+Jom)C~#$*7Gvt zwLL$#!&GBg4^3lEPJ*#tS!U~hwmb$T)!I_wJ0Jf%1;6I z=FMjmIq4BF2zB<-R>B#tc=+Sg^<~h0DryF(d$hb{KBS-A)v|b;0hvlXImWDVHlo0- z<+3l^<73HNLzQ8h_C{A>v1)fr{U3oTS^oTpuJ78pW1(8TtP3x%wqJ7qbE;sbx+tnp z+gsB?ri;=&DqVqDN$Xtd`ia;aNyDML5^tjvy^|PXXV|a{2~PPI zsN#Bak7OnCybXK_0gPuT`9IKwOT4B|0;IBS9tIb%vae`enCZ=I!yY2TQ52)=d!)9~ zK!muwnDa$P3zyeJtnhSI>A3VpI_xnz1bMcmSgA$VCqAcpJdGs6WDSpYH_}HTC{+^%}5_#JaVi-`u-ad0p$1rBLxN$%(Ld4~BccF~{J?CpsS$bJWp+wqO9mCb0I3~&1K zPXoBE-53=&9CW*4K>Aum|B{y3PJ%iu9Y22EhxFuj#<*d>4a=%FbD&K(Fth+>B&kwQ?a$>Hg+N#fFWIgJ$Z^ZRKHrdJMHZH_P$yDH!euQXPhtNo~|QgH%gVvM*!{( zm+<-O9S5VvpTh+p1QFcBAiBI?<*7ZgQ*53?GXXjfHv~G%l=Q+ zzG<*jg1tJxP^k5WS85|pv#u$h7)ZtC6vnnMhn^F@;2%FDghEB}ox6UN_krx&)H6b( zGhG7Rj)za31=-`3;`R@Tf({P|hM>z*Ioj6T81MZj3ebn)+LF(hrwW=m0Kd7^CSPhr9*IWR=_nH02g1f%)$S)L``Hk~ zUQg*(jEXl3*3cytAk)_M2VSMk%1ud8P18z1#aiK8n;qCT(R9{zl=aKxegG(WW+&*B z=9=oi52VXw`?QRAUw$y^HGA*GD@qV-4Ol(-+P{orph$i32RuDvgixJ6>vq3%Wh^Js|K_N%fL%|~V6{YYxV=$pm0GOp>k__v;AXw~BDW+;*! z$(_7j$!N!RBZ4YjrRCL(iG*D911B*Yv*(e8WezD>lW$*s@#G1Aea!vOAAB;$%f74K$4q!)#0{}1)~TZkOgejEHqhG3A*S{ruXE~($+-s$TrRZx zxG1%m(96G^R{sE(fYX0JlIr{at7ArXdL`4ge7^&B>fWXFp_zueBDearhhkuP$xefD|5m-NW z>qQp(xTxFVDv{XO5uc@AzB$}~|8D&)tZ;aZiuVqhq=2*5p3#HJ zRwGr?Q9L1ube?}as%)~{q;fGHY4>q&GPPa{KRSv}3egf%w-!r;F<+HnKIE*|JLSyT zJW0Ds_0C)j>uAB*@UQLI!YrVl-;wd8H0R@!N_HLotkeWIIKp&z%q_j49`C^|bYSm+ zRkt_BX4;oL31#fgO5dC3*x3v?Qj)aSxl;IN85fX}mosH`z&SK=afe@zs6yh_Nlt*Y z^B>}ags+ssLFCc7f=hX!n>nsoWd)UT*Fi0PToe$h`%sQ^M=?L5KEs{-j5jK=5F+uY zOl)5KVvSC6ss*dWyz=9qecn!+JpJ1(s4;qkMf-!Rr{xWK!f__eF~I2i`55Io@n24f zJkn~b>Cr3bu5?ed*QBTAoPE%5KSA~YyX^Lxb12q3R#H)hO=ng8#AYzePPV7I%`v?3 zOFMdmeXWMh>l=VJJi0pjS=t$y7Uq%twF)xUcpC0JJ_O~)NZ-n!?~GI9YBj@;e`>1A zfZ~jQ0oOvU=8;O8Fm;bf7h~*AKae3WlC;dB2eeB+$+ml#*umZHh5exR@u|1?c1=>y z-jDO1$$u6Rsyc=|6x<_qb|L(CH@omnJ62k5g|LJvC62C$LISAPYofb2U5E74DMM3a zbiHA@DzHHl&!n+6%7Yyv)laNivO00&WBhNL?peFXVeL1U3Q!tfV}!GfYL@Zz;wSs4 z&FpeiWLNtv;aplhU`?j8p85Lhk&ch$gzCK4ZXTlV9)15C$0$NcZ<1K`zL`3azoC2i zVh3rZ4V##Y@}Maby8J*@VD4vX279+#!r9<+-zMeu110v?c*N&TKbRL&e+uF0 zbjlRQA^s(8xRxC@4$=SAa9jgmwH05V&>`S|ZJa!80jbXx znu{q+t`>6S%0?Ya%n!Y4#SEST+-hRf-6wzHCECx8pqR>Gl_AXGhaVo{)^)|Z6&W{a zsU%yq1RNTWhjiBpQsq5Hc~fc_rbNR2$a83SnliHPf8)7*vnB z_1G;Gs!N}Cu__pE_Y(=yd$sFaVL=5qYfsM4t6E=~Osno%A@UBst7~^AVPATm=cyG- zMe3L@0*d4kSAnQgnYCTk^TmIcg;5vpZ%1Vh+UA}1_#t=ECOSs*M3oboV-OB4J;Qdj z>OO*l^?muuu#30H=R5xtRx-ZsWH~AAgn=#cQ)V9n9{e7+Fp;Se{+4vs_N<7y%lV0n zHH;H&!g^Z(r_r|6J7=ah@vFM;mbnrlHBE6r= z%E`w|Yvdc_Mq1`sH?Xt3T45dBMJmWf3^jo3zS80OAmr>d7Wn_NHx{P)!EF* z4#smcwiR3vZyJRzrmG7aV{ISI!=nvM$1q6DJ#mCha9%JN68^T9xV;M;zIGs32I}+u zco(n(_*J`GQNNkJ;NMx|bMdyuwrX)Tkk%2Q6M|8Mx+X)UXoC_|*Hg%h!0n%z8Jn1y zi5?g)hYaTm{xKUfWCiNz3@SiM3}7_X6B1l+l0$&^KKwoUIitHa1PuGQSJhw`VT1q7ov!Ed1DLR)&|mN_sl>BC>ot6P(o8P;b_h= zuo-n6-4;9)XgP?HCt>L+PF+wUkbW5kF4*f=0|tYM2Wwg@GLCDrf* z$TQf;9SA=GcYFoZ6#l))ED&NI`q{%K2P+1MkEedi070)Dej4>0280(EZ$O>s@0QD7 zo?)D07|&h&e^u2G^R5s=KYyye#rA=|{5XLK#B4VK7sTE+Ke{zTTzBv9E z`q~cZt7BQlHhkKK7$>v^_5K;ScLVhf1Y*?iNa(v0!2gY9^z;N;HKf7nM=^yBH~gXi zG+~=QVfyz5Xw+lw!@o6sc>-+*`2O@T`>AKJp&g!o6Mp7vOuuN0i9NIs1NP{Cx2Q-! zUqIe_k5PfTkJ0xb?(gp(LBaAde|~c%V4;4x;sS=LMQr~89rR85@s|apUO%)!X#Nl& zsrLt*Ee7(_V1gNb#LvsMgSXe@^?Cl}pZr*i|K?Brjz0#VfBvc$@86!km*t-@4E~NG zx`Oa{|IT=-*YaF@!7LZdH35AXR1%-pEvP|ih3w@1tX08*@+*X}4!>$GFnGOlb$t9b zhU}pA>l4|~F-}k3GOT==t^Jzp;te1rU@XIbjln+Qjm&%t^qvtnIeYqxZReGIl)*mp ziv0G}@eadSe~;Baz;uHE>FEXSV$FGc$AAI#^3JJP!9RYgOasx&L!rImfq3375E_EI zjl3TjgLeSy!USae2-gAWTK@_O1JTC@kP!O=rSJA7))NK7z7sxAH-B*)dSTFFo)acu z_M1H+zUPeJ5-I}qga1IHK{#@KL-NnTVLlVybFIGoAIA;heTVP5z`jfD?Qc-`Tt)Y9 z=&xI_`fY9P+}uRIasdBsz=6OXJ<>R=Y1o4wf;AbAwE^y?w+fxy#fP&+PC8-NFYhJF zjH6E8wuuIhruy|8xPkt2ufO2=&?$-Sf&8?&y-v#XF?vyNZvJ*$Ht<0Hq4K$Na<&UbtTd>rQ2MP*| zK~Gs$>dXWrLJVQcY*%re64}`2XW1_1kgbm8ccnqtu+sUUndj{!<}wvnPVq%(+!j{`-!re$>UoJm5nYo3JZ3wFRuDJg{YGQO zn=||wjbI8xw$G0mzIN%1nC5mR3yEzq?#9x8v0~L}?K?xhzOZZ|omtPRLrdH})p&0@vMU zB9rMkR28O+o}bi9f0VIFh8?KZ-~(W6S-$7H#n@2nKhd-)!jXhdT@0R3zf$t9GrX)b z9-nW+{AbGLbkWQ+e?{YDVlvUkcq$%A_x^S!YU}`0*d!@YcjC8{^tcgdz(u;H?{jm9 zH)+qjVRcxs=EL{ej7bp;)?61n4Cbb%KJ`$$%|$Q}V7J{=P<^-_uf zTM#CQ&s*+i0|h$(ReD#>)hY{^N9;n_FQ)n#C7B{w-R(rjvZArXXt8xgO%C#yVMPk; z!p@^zVj!yk=p&ldkKk)(S1uIb9hd|Y>OV(Uk8ks;;q_BmF>_Pb0ih!;K=55rl;XFj z(Ibu>QMqof_nPTPO=3`KmUwF$ElMKpPT}0!8l1FqYpW}Uy~*|=|4~ZUYdBhvCQkpH zNbbHk6FLmEy%c00Ia?OobKaEC^8|cA ztoiq0Hk$^LaHdt-jo96m;cntpkT6qnm*i***mx+h3{+xZ7xM(pQk&Wpui3LN?$D*W zW~SAogUazMD8GId4cOGvcM`2BC|+nd)lMMMOjXh(#5G^3Xmo^Mmm3L(m{n&d-KgGn z`%eQ}Cso%GMnhS+Ca925ur$x-HL3Tcs%lSUWH}xdMp70nZ;RdOv<7}IWbZavfE!If z^zGAe`&UF;MHHDDxvskklExBO9k-G9yDVcxPr$Y*;n3aOR!_z{DE`_iSuzA}X=*H) z*XRgJnXTB}(Z|>lviLQvs4Z2C-O{5+P&s4l%dwDAr}-y{Cs!*=c+lc1T(F#jLo%LV zLp`}}FK=EQ$Ih6nozWw zK?Xs~8@x|KO2kU90gvwajW;V2$H?LsF**zu{@(6iVi4Ngz59qIVo2!gsNQy>3rma^ zgLP$SFVj9P%W(5W@w+sP2JbPKtVrZSIecILET*OvM^+>*9w@az-CnZ^iq4YEMvMKg zcb+&!_efXC!>!nsD|Y`fr#J-;gToBGFl>DIsU7JG58p^rtChtX9cZE+_ zKp3^u%Tx2y-H}S7w()=aDoX{wmx6Vxi+`D)isHI=9@l_}d8{kbh&-Wco}BUo+Dndl zilR|m{JTZbK<;kP<((n5Zwi}FLrsJ!9kBmV=kp(6fM3bMo=9ftP{6Zd!s6dv<>Fm` z*%P+ceEzZIWfU9!<Fp7 z-<2Q^q<`?=l$V(RPS=`jZV7_J*u>pO^6!mO*ug9jy+ypu+!_{QOYW4DnSawA#VDU{ ztp*VtDgpc)`jP?$7rw(qurn(dQ!uPM*D87ASg`O7e6ctwq4_vm?Y{}=4Hs+Xjc7CfINx`EJ{gn? zGz7QGr`lcFY5-k}`a^zG>~+g=bD^?$S*pd}BrZUT+ap_1G%&+aAs|ouiPA>l;F69V z(Z^da>vkzMnix?W=Y(Pe>b0D}dBuk-G0 zTb`r|2j2}#4qi;%If)ehmjsj2ny~~@p=Uo>;zW4qWEnzFfgY>p6O4W8><=W*Z%}UM z@w$W50!_9aiMQDYRAe!Jqp1`I%cbbFi^oHt=63YS^?7hKW|X?@l)6J(7Rg-JcyFB< zRp21#FSjS?G=0Mc6WV#(|JqZG{i?4>PS zKGMb#7KfybdgOBg=uF+_T0y2jzh_%jYmX9v&iIYQNS0KbJLdJrl_0obH>~bG-F%?( z^Loj&XU zPWjwqNJ(UDx?G@cbCgB+*){*=$bol9u~ORpj==8(_bFx_B=IS$`z{8zE4DGextK8@ z+uNUQ{$!N{I$cY(`YnSL)xLB;dgE9>zBGiHmx;wYMGj`$A$$O-{EG}8?Ks>K2Xkwn z-X*t{pqqP=Ab)ZNb>{6*Uwd309|%iXAiuVG@&)Y*9p^o`I;+a$iQbi%PYoQl1Izf3 zmy3Uz)Xd()o@3~Ft+EqTzQo-%lYy^6oL8eKOg`rcrtLn`M&Ja#p9eC|k1a`DA7xfU{{w)`S&Z!g#Q z*K6pgk7&Z|5m_x6Fg>6uj zT>2pHTHX;Go!Ymzl~Coz1KJGpOu6;?(O3$6mfOMlb0#&cfyg^s$l4m&9sHeZ?S(p2 zu58@R7dEH9^LLaRFSud4L_iZ*8p1P&5+CqL)H{!rLHywHsU8g?}%9ySw+PZOtZ zJXa$0{Zb^}#g!9)7ti$LLo-|JRK}$6IuMT9_q8 zC3jKg*t*k3~QB~#xpV%4V;SBH6OzPhe@=sazX0sTsfi1>| z9Y^}UEr<;elHHhpnaCnZ^4ba)DfuY~AtKY>m&VGSDgy;fsdfn3!tBRpGbl-BKA7lt z;=nxKj@?3)y70JN_?7tN>nJu1##qYcy@+Bn40tQ$7uJTbt~7t^8pU6i7Uy6GLcYQ= zMp4XdZITqH*{IK&k$aK!>7o^n(JU~CEl6oI&t>*JhX3e9OJyb_tktRJ8QWroMpatW z#lgP!6Cf|=$|vFWf5+QVBR|2il}6+lmeuwUv?LbhT)|ffzm!(kLPmO$oxlJYC*r1h zsl|Tm1U*pUY49&JE>aaOf@R5>23!5(0>;?sf`8`C-u`MRet%CqB=hT6WH7CK~WL$`RbwLN^D;P_SNs)#*zaYCZ|v! zA5mm(*jU$9E~|U@rZRjERjYDi{U2$gQz%`?a3c-1e*N=7>@*MI4!P(3fb%5JT@{k4 zpWO3W&qh>Iru<)(6Kl{hg{~(H$~bL#HHQaWCHXYz+!7+Z-Jl)SFBei1d$IeWKYsc+ z7x0W#qi+x*HOB7v`c{9NWUHwby12Z5#crFc~Y7*-~iV%@Py8%BbdzQ z0+Vk;UOgysZ8?cryD61a@_aruA)_z%qu9HA%4PS}N(Y>Bd%wwe{UVJciPMNqBR0mo z*i|OM$hap3+hLDjeDbVi8p_Mi9jw0v6|&MAV@I9q;(t|lR)U$I>;%N@9yJzevCiCBD5Tssg9i(N=lTZ6}_Ldm^JM z63ZEBxpBA{OW`ESdAW8Iye;#R!tsk00gYq^wV%{M!Z~J8R(af(hLg6-PE&7Wi6j?4 zbPoDS_lQC;-39aW6kdOYuD_Cc%gnNLkH1-Sm9$ir^(yRu(eS+kf?aKqk&*wF;?vE2 zsUKz)M&dH5`SNru>!pf^Z+RYLNTnaI)CNdRipB|7kl^X!!-&>;zUTJ<_DcFZjB-53 zdALmXx4r0eqbrU9ndE%daD<6n|{_U_G+i zll+OX&M(E2k<<73zyd?t3VXNq15R)9g_HflLW%3+s<+eDp>>SK#8fl(ezCY}U;^`y z15xc^TgDEhe1m9>bAeqg$Nhu0_bCp{XD`DfXVS%m#pEO6zWKD)_gnxlEljUUz#VIl zk%|h%p3b4dYQ;Rn4Nc2yf+)vT-mJ>`i}qyJ!bu=v2?`t#@scr$Bm*jsC)wr=YLXEI zJEaCDJMa}dBU-P{{zL(z)xij7fhOOdIDIxJl%~wV{64;hf*e~=ujkkHl3=N~QsPT8tFDd+H~f+NdF+HmK_2n)JZ&XTha{|Gq1-@sF!HnWU_1 zJ;i-~JyX(Eooj26#19+=+g0VadGaQ-;y@y=}52r?DGJ!LYJ4)AIz-n7#SRee9o{@(PvBSQ5P0ALDKS0G#WT}mi{X* zD!)Y=HSD-rxlJQ!perFo?fl9SSXqg^g^GLUW^MW{6VryNEalme zTg&oGfHePsSqgQ)@0mY*EZYPVSo~6(Pw?}?8?dJBBR8r0HU?4qPb!q2{#cC!0pN#O zQwk$MI30?B`%cTccSpK%BBinYGaYeylnR;%u zxjYOs-kn)tQxg|8e3zH;JFrs@pZGhrZaL=2>D?2)WlfK~%B7uMXwnvkBfTY$eOnHe z1Vxw7x2gwoj}n`SLhE${Ga;{DXY0{b`eXNA6y%Ic^S(^)*?B)Z(ft=Q$L4a=6WHj{ z`|G-ikj1 z-B}$i(!cgODD;qmlth>d{riCCRVkRg&Vg7n+h0jgCFl^kf0Ymxox64pQCL6g39AMT z*}LapRnBUcgRAX=B?!<%Wcs!Qly9MC(hF30TT%&zQrw}IZ`~|@LgSmQ)&%@2Qbz8B9d~A<|jyplw$1>S?diHGuN(+FsG& z)VCDi(<2$*Dv%-HdC?o^Fy90j}4f)y@26Y zt*6FY?>DvkJGLnQW}z3yBZQ#EvLgj-yo(8fsF9cAmd6A0=AA@@w7RHrcI8;=8vqI{AK zYNKZ+ARfD8!N;}rBe96(%mOHN_WXNiGqC6$iQy_IXlj&fmd*>Y`LTlsgbDd_V~oQz z87UWVaQ`H9J1IvY;Jp*4$}UISxx=P4A(rQGRV+ki(6v zXb?nr9q6+Yuc5z-vi043s#?H)rZvT~0d;hju!#;jQoQWlp9uEsikW#uLHBfn7da&4 zx^g8G7uE?(xN04VKBQYtFMulrtD`kAKza)UIje|B{u=Zw8^wNVVtafHslQtSC;A4~ z*qk4~NxmB*<{#$#5og-9>DI*_-jY)05VBc?e`BKRNkhGZ@-u2cKO3U^tydax{#ic^ zf0|Y7*UUgtqJ$tx>}>B;#(WvSDY`Y@T>n$|PJ-7F1XNcgqNA&g@?7B( z``MOZaXh3vDt1Y=TW9%3-YR=7&%Wr+?Iy-Lc{%p=Oe#~XGkkPbzwoSBkunGW8G5`+ z`LOzL8y}eGV`~Fz*-gDo=_pTX0UHOEZdi$h-EZe){0-qfiH>(XJz=@`N(r!)y2JrK zfY83w_NCmkt4sr8iIyqe1BZpV*hCuA)x9Fu+ zcX>pTOF5`}fWUB?r%o_VFo6B}miI$oKwzF3v+ERewocX!zR0fP&Z1_N>9uC5A0xD6 zs1YW^?)3x*@vTRli;i`Y$&%xngKF1rx6bIiS_JTNghpf7PglXX{w%H=4!Be#|40@3 z9+^Y(avjQsjzKJOc^osKZH2P*jOx3bv14g=syQvb7i_RMTN$(1RtX7aSSRZVOwR(N zZc07#F~!2G)d4skf3f~36F7^E{lk;%$q!3~928BQzMmZ1+&F~=UaYESAc}Z~CIy>N zq))a=n4U`>wnt5BZ`U1|f>K5?H41wUep5U_0(tx8?P1rE-jY*vsPscrJnL28W-c{$ zcBSg5LtL2@3n-JgHo*X#89Ey&{4veqZmD>+_o$n{V&G5`BUg`~G$OZ?MGV>Fu}UJ+ zPV)#?7GvEJM1GfW4`!}0W<*u~ilRL8%LhBwvf{|VFTjj@go7Z>m12kExl{EFzOD+N z@|V?s#Qr79coiEhv8-0Disivc1kh)6Oe&sE}3r>A}plSR2#pMpT z&i!F7=d5q)0Sz=11C9MSEcNd6>#?;XvmRxEoeaT{5wSrINc?M?JMi8QwC}e<_w|Vl z#Lr3I{YH+19mQ%zBjAqg!W=(fRB6LN_XXRa{R`bm(31Si$_Gja3R|k69?*Gz&FIQN zBu+a#LwJt*g^Q12BrQ@Zp?SY`-Y(esx2)?t?MY)R-|995L-yb&b2IWfK{VVA@f`kP z8jk^(J`pQBB4S6-8Mf-?;#yb3a&v5&a2QC+VWKAZ4j zrxqq#SubRf8z_V9jMQTBk1g}=jZC4&42UiNo36Un%)94fPNTM5v>Y@&T7Q@QA;P}KF8YA2J3Pk88tJXQxJXFrYxAt~-3ZerDVwaeyt^AzzN^zbm-*$gTfRAfY6_pTh^t+Q$(E;8#{(MHDybD+7~ zE^T4^p^rD$FgENwgmWBS-aQTXgg)Vsfl#dr$%QKTqA0O~`SJd3**v`fENYAP@en=m z6;-+vsj0-94t~_qsICVBpsjIYxAs=!npRx!!H;E?_vruYwx47i={vgn8_axo&hd#%Sv`KPn!FPv*w(yS3kNcswv<%XU~Ik*2)co`4n; zLvJx2rVR$(g8J?Q{7EG+WPL&-+#z*d+E{FwY?0GUTLdM^&mvJCttdIYa&s%DJs?sg0!XymWOd9A5)`uvdf{L>FfbW!pYn918&ZgB03N6Lc8nL(&f9 zld$MjP-Uk;M$JF#_tN{MPg$wcpBgAO|pKou- z#r4zCrb>t||EEPK(j0;k@!M3I{4VC=Aa*d~uL4#j`PDGUbq$IjF=ZC0R^bel@KhWn zT6qMSssV5S1S+d%Qvtc2VjTxq;#v|d#*p1?!Y);j!W|{^u5E_fsn#iH%|-~+yn5j5 zkze^t3e3)*8e@>bHhH9pydI$ueE+d;y9IPKtlk9-Si<7A`6jKhE&^?%q(5qacu}@# zkjvr$PA*!o8D&8(`w{JQKh9yDIuzL?G%aQ#RaJ`Fc}5qWjTM4DwKY_~PZ>gpJRwl) zR_VKpkH#rf#||F9ldDcO8DFT+Nhvhf&h+KAZrkS=1*N%?K#$1GNEI7G0-O0Jvnn-W zNR3UUC3ohCiMJVJk~lrTMy8iRRf4OpGEoor?db62% z8?nA!Z9|uEKt#ZZqfkQKM?FDXPS4`-`{+AHG66zvD+QyJd-hCNV$I$Wv80xPx}E1BR@ngJYAV$=ax#4YgVKz4HQdF2COw}smA#QvwE;vt|jv)^(4j~XjIC(cjw z675LMpy$Sdt8CUP`2#5Au6bHv%+FLT1%Nv4X6AVA5oQT45kqIDzFKnJPnY{8N>9PHaZmax`rWm4)6U5lhqK|p=T1!yJSr%z zsps|=Tj5om&dht|%lgX$I~U356vOiCJmXn8H^H+t>!=wMANERZ!NT$S#kM73|E8QL zRH??bmAt46cL7t!#|{EBgm3EI`4PH?DC&3dVk*Vp%NvX!IL%v(e!VUmg$EE}A|`%i zgsDWBB0-eP!oHic8CerP8BJqvFD|*oRxCBwL(hR4jx%A#Og?CWDzS{MQt6_)pS8di zmsQr?2;xmpT9>kFSQ4b?-`&EERT-tokB6gKspjB3tt?kTA#|vMCZd@#Anau~yB$oU ztt8PE<*Plvy~$Z9UwveU!+8jmj;{LzGwC8S!1r}b?-84JEV0O-;LcZuJBv2j!1+yM zB#otam)%C8#>=m472O|9!&s*JHWHP^OLGIH)T; zn_^ZOes~%5`OB|sX|!GI>AxP~Q88N21VA~|-l5MBx+P(G)P%m7Pmbwg@u!2peN6E+ zU6oCquZY`7d*hrTdO_lo)hqd+9-(03bdvWoYkJlY`E#4B-w{gSN_S81 zQpFU3|R5T;M+?u2~n|<;c*8%`OAKzEafbCJbtsv5Y};z_aRsAXO7a-l!Nq~&#;Nrb6SKuR3vr(L^aO>nHhIda3DBoUSz{r)o$UnA5Z)p_PZqevULLaXt7K3j9+O^FH?avBYg$@ z0I17=f}ujyZHHX)BKz+nFojl|<&cEkbfB41+cK9qJzi%Q@8*8&QVUkpA~YS=r(!*V zSO=Bh0p)o(Eqw3wE4Fg&?kqKQAK+56_t>hJpx(WqN>Wj@yCrJi^Y^BnaoIFGG3SSX zh@cn*1jA?Z6(~uiD*%BjHpn7=H#ms-<-{_q3)$3`E|ksUvAil5mL|+X~?%m)4A?9J?!l(xAusZV^716>3HeIO;dF~g`$>@{j7h> z*CC2*L`Fo)Rv6;MwpK=#Ud=iDd=YG#A1ZSt`=hti5JEEwBz-*1A7$B9sz})K zy-qdy+H7()@Ov2zOb9rLdxe8QoW)R+T$%9js>atn@vSq7qk|mqti_92nLjjQFVu84>Jw> zgLh{xm(fMj{J~#8w-pgNoG%Z9af5(tW!}(Lci%3V1KAskX73Cm*`v zIuig5!zSSaw0EZU7VC5}Qe5`K##mP66Md^7s_pbu%AOvd4zuxKX zH}|JAA<=AjCOX(F)4hIB|FV2BC!6$o+-Bkdn?0;#)LL(^d(|*=Hg{nE4G+PHfuKUA zlG<@@`u@3u3zzPFd_Cg!%7#h0t{PieTQT-rPb1xAwIN--=Q)rpTmvJe_|E!kDtz5L zpEP;o@Cin_9wwQwUUiV%Ho^)xA*Zl+4Xw9#Clm$^a#U3{gZyVTn<{CFlmgQZ2ses* z@qiP0nT1m9n5gjnr4_5`;Wo%98JPk|Nm=+U91w2?#31(%nU}U*`}E7sGoCynXZf zK68AbU^f$XtJHfaBA)dF^<}L%buud4(^~1wA@6(Ej{;9?6eD5&7_4?q?}OX?n^mro z9TwTN%>(g>Nw=9BhfK$#+k6uqS&kdGnVQK28PCkSwL@__&&>L-hLuC{qOY!7x0#m7 z1X|Bbg^Sxnn5-hD7p{W3)88#Rov#JER=tw$UJoOZi_7TK+)WobeP5e|gBQZA6=ao` z7>|*mPx#2ph%GvI>r(x{frjaCpaHP|zd)lLXm}{NQ~j^dz`sA9UK6=4KLBCz#$=hC z^{lyd*&{I@7PK>Z&^l==G@-uWbNCq?@Tvt9JDqc zqj@%ZQJig%mEy9Wu*xw#E$8g+qe#(qtUfNbT&#EULF#LaMS~hXDa4{Bdep)>)6>0v zxn)Y}D_wWuPpdsn|IG#WUZnVhD5dkVawq-Tb77OXoO=K4y7r@3mrIpa&C0nk=l-Le z9fRe4Vk_z9!;ML*wFX~V`Dgm9onor@tal3jzUS~vttLca#b>&t>3}n<0 zIz-7gnq&r;HGPe4!{QS9rl9J2wp{-Kek|As0Lm1&L^<1am^vHC<|2MZkwW zm6YC>@6gY=G<7jW4Jh2cQJ27ja}k&OnFPXag*tC_Gw3ZI*4Amj{#FoMOpxkl;K4BQ zZtrG$-2Jw@gZJ@=!p33?`j9`64Hg*Tff!j=T=NKd0(23ed&qAbz036nTOC|0pqC&b z@C3$H#sX)^ZMS823J2wiFoPATrwd=FU^k&?%noKpO!sE{A<5tR$4f!J#h4#*?-h=M zEVzsqx1g;62N4|iGzkb>LMR&&n>@dF4guvby8B?p(^Tx95+pBycQg<5v7<`~+i|}e z<+ej!{$v!4m-XD(p@=XKE9FCreAr}^0uO6=ZEm)x))z7txB1~;$lUx7GF4y5So|ks z{-Wv8Z6@do8Lv#nFJz#zilkn+jQ#}~PIs^SQish|$Z77zzmQq1KX}2#Ya{v#nLk5a zaFN<0TXfgA#d3dx4D;V0L;t@(MoHQxj~=n(ma08O;+!DL3WOLn-0+rQzuIbEsjP!^ z%Q5adUm*6&yWdczJPI&H*=V z>0=gcFgrmkx0!x@M8R7QgZEuW5Cr+7d3(+AJV7o-K?09_h2vDl*4Kf)D;)7wd?Cl| zbh}jOjQ?kLeQ~;ZyZ3e*$8);x-ua=MW0ADSkv|jaEo+x6ZiwvMBjT7&@CuytE5St< z%q{Gy#${FqGFBI=S!wIa?^mt;V6E3}f2ENI zu~B=R=EjdkG{wOWdU<5oBuUpGQgz4@c2t&poqAF?ion^eLH>nExTCK>J-CR zGSqwwF@`b?c{+m?`Y=-9`L1=_B+5S2d~x#fhDczG@V;P1VoP8;D0E+<6@HLtXoKIU z6DhD94Ku2W*ByXgP+9nev(=0+=;CBw0DCC?)4t-o7iFlw zk?t&{D@K6H0)OI)E}|LxmKcL&6ld4*y%!UYcgK)i=Xl2}Vn0D&I}|6xLYxJ~9Z^I|nr1$FH$t9bH* zU}N(=_@~U<4?WFp-L~@NphJxW8xfu# zW9lr@t>OeD=WSa!IkAIXvb=dFzUsS018#-Gb*`IvWwkPxHycBCE-Keu4z;jlHx14V ze6+Z|QF)8J9x-HhI^9h12Dk6nNq8gIS6gBh%VQD*JaGmy{CRdhC_Xq(orhdVOePPv z&zT|tVS7c}cggWQn&{9dKK}kJ@5n{F)p%Vn_remXzV}P4uQ-EjXt%Ja3|;Xan1kM} zS4fk(KgnrcayYd*kD69VxT~M9-(ADoLavQ;sDJ5yP|@JZ&T`tlX^#0wd1VA&E3bWu z)6j5dB7`(SVF{p>B^~WbmZlthcCHIEeA*6bOw7I#z({X~yE(n`;3BNj%B)^9qe)Wy z)NffX4`+MusW2PT$keH9aT-aIewlWcuLv)gp->6-T>&8nRsvi4?hC#JV(0W{amxCJD~O<1UIh%ra6*%u&MqM(`6lt@9FjLJwk zG4-|I2~=(e@23u~n_CsTs?OG>f-nb~>Z1i}W(IbBDqUh z10bZ4Wb;?6&HB3MOr$}~LGf5%$q|*;6$0O5r7~O5|ID*VE9~pcG_R;ET6=H$O&dI= zo)fJ^tO`U|LSapDK=c#kSD+2~L4r-Ug8Bw5Cb49$EmM57dLxbgj%Ecz;aauC9`u16 zq3Cs->YRMJzZoJO8)U1+u(ofnx?LoPxHFPxKANu0U*wO>+} zEjE(ZX*X0OCKVE6JG7l3kfQ2tptr3NDpxTE6-;c+@t0ujdrLnZpS8w0cf3)mUw08VhcT1Z|5V%C`Kyf7s zX4uHA@B8r8x)Zh8zP}z=jFG3hAH6*F&D6bs{{Ofg@oKAisv}%l3-KJi!0Yldn;w@F(FTJxOSj_8h=0P*L zc&)Sh5#DWD-$B#yHe-sKJuq}02J9&gx@LB+nL3dBCI{Yz=7!8LbOzq>#%4x#pKV^Zm^pE?2csZet+Y3%EM)a;NSpQk0u6cdx6@cj|F;3~CbXNs`mYOG6Dl z7t@^E_n-IEG>SBr^YJRs=Sx*7f9o4T71Q{B=M(m&0agWq_kH{Ugv+-@g9UU_lHBA9 zWC8R81RF>iPEM^X2$&C!8WbLAo=Cq`IG7)LzT<%VeZ>(H4rSY zbY{3>^pkQkzNoD)nwfh!zQC@EQ=5fwV16ky<2XAlSvYYYS@&5z)`zM z+ey~vu@|-ze+t&;d4`}a*zbttuO)^NB|0uPS|uc%n8z|0fh!Zr)P*OpN5Kmd#u=bY zfw=Z}$ZktM11B#>9V*Ua9$G3(6%>akU8YRz+Df_M9!lK2(YBqnh(-^6E=Os`JfVVn zz&c1>OV?LPlhRkE!bD66E8|0}U@PRvPhv=%1W4EdxbpHnS*nK4f-hqN{l2YgBTZzW zKK&{W&zp9Tmu&rBL%<1fyf)9_+mTd>{HJ8 zGbHvMFYWAea8E7mhJ|R|zIFcTFgoPu!P4>2Oo9%kL*-6kD+*)K)nf|&71VheuOo2L z1zm@iW#AKG`dH*|h-UkDFU`vQzw^>NUrX12hDg4&C@KFtMAAq(Z(bFfVofZTOZ<s_mxbvH~4{*w=fFKi3rk)Tf< zxH0f|=R6ML&gq7#ccTx2>n#7+?r9O)l-6_mMG~aw6jwhBUC6O2`)v0;bkicnD?71k zt31)jUhrhQzOqL?)SJOu#S&Y79I%Ace4RZ+=y@xsveaS4JNrmZTV2U)yD;^G*zIv2 zr}VJJ`TcRYK3x0UgjJRDI61)>X2IV+(pW3lL}k@w!DAU~+i5H=Uk^{|m4E(E95u*^|^7i6nUuVZduYL^4MpnfL>lS-N825PFt@0bGY z1VUQdiMVwS1x{wmO1)i2F_UH5PO7`|njOFACp{);yYe1Sy^4!&$Z|Y*&#b(PCxkFv zO{1TOPPR`vdY=Nc)?UW0G_o+S=S@Vs?^ESBOpLd^j0G+M$ZlDwORr23|IybeVuNv_K=?2g$FBz-M3w! z!0Df?4;&?JjRBNz+o4$>in{j-U_QXdV^v`PP7f3PztAIRZ)50W@TFNmZfj_)WTZ;N zK+8l=%g9IpLnrtpTHt8&)$`T-&s#GaYoRY`1AKBJ4n}%LCVBt^3j-^Ffti(xo`H;> zp6ts`+Q#rdnJC%o+1eTze(5CWSvnZO(8(zYtI~=%Sz7ArSzG@#79~?N2mG(!e~*b8 zU&YAY;p@@(09pnn24;3f7G?kqBQ4862m6m9;!Bx18{vPAijmIH$eB*aNZ(A)ngZX# zR?pGY!AK9^`G5X{g%&`|^p^?6U(yUl)`ow@S{eQ|=&IyqYlKfHt8cF8Xaz$jgU`tP zSJc(s!4aQ)EsLM4^@c8ak3Y7A|LpNb!7q1VP z;@dB!q$ym=aew|O;ozy-p&S^DBh>d20`c(Zewj-eEQ{&5azNrlM^l&P`mu~*{zvnn zKi#murxV4^K2wE$a7WZjH}9^*zYKz~dU@|5hWJ2Beo;yv-_FO!OinUDKoDo4e}Sh? z-yUw)ME#8X9UwWgZFdciS1FMGLCSq+-zkhGiVqPw(#Ti^bg9t;1 zU29>>>|Noh5KBj9DKU?0j$}onH=~jxt;k!MTeItgccn{lMXT!^HLKUohciUEfO&_u z#z8&B=2{WP);K+8R0X0=!@M|JIau!xITqnRK+WcVr&Y#2gx42`FFxv)ee05#EFL#r z+HN|rTl54>a~VSi0U6STmwDd_8y5WP>c2bfdUrB?v?b<}-;;{YW;&s(?<_~kgu#-1 zsK>=AUN?+G+YyD4M4%xWdtD!XS+}Rl(IV?7de$z1*GaI6SaW%cUqLaXr8#By5p};z z@uOPS@~*OHYLZ?dd;zFa{CKFCx1CE+La;~2IG>%NH|+3@M&#rd#xe^5$x7gj*~o`X zglAC9O3>uh-s$k6;*NoKArYD*%A(EGc9+mlmrT)%MN-sq(75iEm8)Z*HTcz8B=;V%+lt8AV=I>N(k!aPHQGd(kYDc`LuoUkoPmc;$VUhY z7VWG7Pk2z6ZAo%Sn}*_^UA<&yOni7e*q_aOJbANL8u?>yf1pb~N5L8})Vh-7yIQ`h zj#a9SSTEy@E`g4!^+>4Hh&I-`n2#FyIpJ27xr<9sPeqK@f0%4Ega1?)ludbQnVJl* zB~;p~rU`KEyb{|cY%95ta7UQW%zHa!lDzpLl;PEH+`yGZ{s(;jTyQ3L-+1N zSH&ianc5jt(o`>}uER8Pvs>SJsMg!1Jm&g~`I83r6JHiQZpk0g&e2 z;JeGR)$C(uzEJ24H+gEJDpnI{z_Rru&34yMdmQyHMze?thi3`R`duRl&#@hECkt(8v{EgC3uWQ45An(ahcG>k5YMC%y&) z{+D#kSDS*3jU)b7K%5?5;V*Mz8~lH`fxm8q@HM#T1w_~Z0!-|zto(xXjBNDGLc*-< zLd=W|Y(n(HOe}0X`2X4D>nT!3)+Uao_zVER|Ml()b(jIZ2M9ap`cXpON?G#Ql%dr> zM^UscFjUa-4C&i<$f=qzSaIU-0sOuChwmXeo!g*S4u~8x@r`nPLUPEMqhbnSM!m9D zHk6f)`BdE3`IBnan}_xWaLpTPg2@`EzC$g{JNuS6H?2T69#`HVcyLeU-HRjIgO9*( lXiuO#vnT=o{-PZm_3Ry8?Y~|v3nMdt1%`w~SXKn)zW{{EIS&8; literal 0 HcmV?d00001 diff --git a/doc/logos/flint-logo-day-transparent.tex b/doc/logos/flint-logo-day-transparent.tex new file mode 100644 index 0000000000..23307d1378 --- /dev/null +++ b/doc/logos/flint-logo-day-transparent.tex @@ -0,0 +1,14 @@ +\documentclass[tikz,border=0pt]{standalone} +\usepackage{amsmath} +\usepackage{amssymb} +\usetikzlibrary{shadings} +\usetikzlibrary{backgrounds} + +\definecolor{facecolor}{RGB}{0,0,0} + +\begin{document} +\begin{tikzpicture}[thick,scale=2.5, every node/.style={transform shape}, every draw/.style={transform shape}] +\input{flint-logo-content.tex} +\end{tikzpicture} +\end{document} + diff --git a/doc/logos/flint-logo-night-opaque.tex b/doc/logos/flint-logo-night-opaque.tex new file mode 100644 index 0000000000..a7d8ce08fb --- /dev/null +++ b/doc/logos/flint-logo-night-opaque.tex @@ -0,0 +1,15 @@ +\documentclass[tikz,border=0pt]{standalone} +\usepackage{amsmath} +\usepackage{amssymb} +\usetikzlibrary{shadings} +\usetikzlibrary{backgrounds} + +\definecolor{facecolor}{RGB}{255,255,255} +\definecolor{darkbackcolor}{RGB}{80,96,117} + +\begin{document} +\begin{tikzpicture}[thick,scale=2.5, every node/.style={transform shape}, every draw/.style={transform shape},background rectangle/.style={fill=darkbackcolor}, show background rectangle] +\input{flint-logo-content.tex} +\end{tikzpicture} +\end{document} + diff --git a/doc/logos/flint-logo-night-transparent.svg b/doc/logos/flint-logo-night-transparent.svg new file mode 100644 index 0000000000..49da11346b --- /dev/null +++ b/doc/logos/flint-logo-night-transparent.svg @@ -0,0 +1,240 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/doc/logos/flint-logo-night-transparent.tex b/doc/logos/flint-logo-night-transparent.tex new file mode 100644 index 0000000000..b377b4a648 --- /dev/null +++ b/doc/logos/flint-logo-night-transparent.tex @@ -0,0 +1,15 @@ +\documentclass[tikz,border=0pt]{standalone} +\usepackage{amsmath} +\usepackage{amssymb} +\usetikzlibrary{shadings} +\usetikzlibrary{backgrounds} + +\definecolor{facecolor}{RGB}{255,255,255} +\definecolor{darkbackcolor}{RGB}{80,96,117} + +\begin{document} +\begin{tikzpicture}[thick,scale=2.5, every node/.style={transform shape}, every draw/.style={transform shape}] +\input{flint-logo-content.tex} +\end{tikzpicture} +\end{document} + diff --git a/doc/logos/flint-logo.tex b/doc/logos/flint-logo.tex new file mode 100644 index 0000000000..a1502e4928 --- /dev/null +++ b/doc/logos/flint-logo.tex @@ -0,0 +1,33 @@ +\documentclass[tikz,border=0pt]{standalone} +\usepackage{amsmath} +\usepackage{amssymb} +%\usepackage[default,oldstyle,scale=0.95]{opensans} +\usetikzlibrary{shadings} +\usetikzlibrary{backgrounds} + +% OPTIONS + +% Version with black color for use on bright backgrounds +\definecolor{facecolor}{RGB}{0,0,0} + +% Version with white color for use on dark backgrounds +% \definecolor{facecolor}{RGB}{255,255,255} + +\definecolor{darkbackcolor}{RGB}{80,96,117} + + +\begin{document} + +% Transparent background +\begin{tikzpicture}[thick,scale=2.5, every node/.style={transform shape}, every draw/.style={transform shape}] + +% White opaque background +% \begin{tikzpicture}[background rectangle/.style={fill=white}, show background rectangle] + +% Dark opaque background +%\begin{tikzpicture}[background rectangle/.style={fill=darkbackcolor}, show background rectangle] + +\input{flint-logo-content.tex} + +\end{tikzpicture} +\end{document} diff --git a/doc/source/_static/default.css b/doc/source/_static/default.css index 019ab8d02b..7cd957b993 100644 --- a/doc/source/_static/default.css +++ b/doc/source/_static/default.css @@ -21,3 +21,4 @@ div.body { li p { margin: 0.2em; } +p .logo { text-align: center; } diff --git a/doc/source/conf.py b/doc/source/conf.py index 3d5fdc8b53..3a8eb07325 100644 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -82,6 +82,7 @@ \setcounter{tocdepth}{2} """ +latex_logo = "../logos/flint-logo-day-transparent.pdf" primary_domain = 'c' @@ -115,6 +116,8 @@ 'headbgcolor': '#fff', } +html_logo = "../logos/flint-logo-night-transparent.svg" + # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, # so a file named "default.css" will overwrite the builtin "default.css".