From cc7021ac4e6b57ae3859a69587b1f6a08a67505c Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Sun, 4 Jan 2015 20:43:45 -0800 Subject: [PATCH] Initial version of site almost ready. --- Text/CSL/Input/Bibtex.hs => Bibtex.hs | 2 +- HakyllBibTex.hs | 2 +- bibs/header.bib | 3 +- bibs/myrefs.bib | 3 +- content/about.md | 21 +++ content/biblio.md | 7 + content/contacts.md | 6 +- content/footer.md | 6 + content/news.md | 4 + css/style.scss | 236 +++++++++++++++++++------- images/haskell-logo.png | Bin 0 -> 5674 bytes images/round.png | Bin 0 -> 68517 bytes index.html | 34 +++- site.hs | 72 ++++---- templates/bibitemtpl.html | 48 +++--- templates/biblisttpl.html | 5 +- templates/main.html | 27 ++- 17 files changed, 344 insertions(+), 132 deletions(-) rename Text/CSL/Input/Bibtex.hs => Bibtex.hs (99%) create mode 100644 content/about.md create mode 100644 content/biblio.md create mode 100644 content/footer.md create mode 100644 content/news.md create mode 100644 images/haskell-logo.png create mode 100644 images/round.png diff --git a/Text/CSL/Input/Bibtex.hs b/Bibtex.hs similarity index 99% rename from Text/CSL/Input/Bibtex.hs rename to Bibtex.hs index 9ccd73d..c64c77b 100644 --- a/Text/CSL/Input/Bibtex.hs +++ b/Bibtex.hs @@ -11,7 +11,7 @@ -- Modified : JH: Use just the bibtex parser ----------------------------------------------------------------------------- -module Text.CSL.Input.Bibtex +module Bibtex ( bibEntries , resolveCrossRefs diff --git a/HakyllBibTex.hs b/HakyllBibTex.hs index 4d442c0..79f2650 100644 --- a/HakyllBibTex.hs +++ b/HakyllBibTex.hs @@ -17,7 +17,7 @@ import Control.Applicative import Data.Binary (Binary (..)) import Data.Typeable (Typeable) import Hakyll -import qualified Text.CSL.Input.Bibtex as B +import qualified Bibtex as B import qualified Text.Pandoc as Pandoc import qualified Text.Parsec as Parsec diff --git a/bibs/header.bib b/bibs/header.bib index fedcdec..e012ef4 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -397,7 +397,8 @@ @STRING{vmcai13 = vmcai # ", Rome, Italy" } % ---- -@STRING{csf = "{IEEE} {C}omputer {S}ecurity {F}oundations {S}ymposium" } +@STRING{csf = "{IEEE} {C}omputer {S}ecurity {F}oundations {S}ymposium + ({CSF})" } @STRING{csf08 = csf # ", Pittsburgh, Pennsylvania" } @STRING{csf13 = csf # ", New Orleans, Louisiana" } @STRING{csf14 = csf # ", Vienna, Austria" } diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 4902be1..234512e 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -471,7 +471,7 @@ url = {http://arxiv.org/abs/0803.0032} } -@inproceedings{HGH+13, +@inproceedings{HGH+14, author = {Justin Hsu and Marco Gaboardi and Andreas Haeberlen and @@ -1518,7 +1518,6 @@ year = {2014} year = {2014}, url = {http://arxiv.org/abs/1402.1526}, jh = yes, - slides = yes, poster = yes, eprint = yes } diff --git a/content/about.md b/content/about.md new file mode 100644 index 0000000..3093ef9 --- /dev/null +++ b/content/about.md @@ -0,0 +1,21 @@ +I am a graduate student in the [Department of Computer +Science](http://cis.upenn.edu) at the [University of +Pennsylvania](http://upenn.edu). +There, I am associated with the [Theory Group](http://theory.cis.upenn.edu), the +[PL Club], and the [Privacy Group](http://privacy.cis.upenn.edu). +I am very fortunate to be co-advised by [Benjamin +Pierce](http://cis.upenn.edu/~bcpierce) and [Aaron +Roth](http://cis.upenn.edu/~aaroth). + +## Research Interests ## +I spend my time thinking about questions in **verification**, **programming +languages**, and **algorithms**. My work has mostly centered on [differential +privacy](http://en.wikipedia.org/wiki/Differential_privacy), a rigorous +definition of privacy that is currently under extensive study. + +From the verification side, I am interested in using formal methods---such as +[type systems](http://en.wikipedia.org/wiki/Type_system) and [program +logics](http://en.wikipedia.org/wiki/Hoare_logic))---to verify that programs are +differentially private. From the algorithms side, I am interested in +applications of differential privacy to optimization, machine learning, and +mechanism design. diff --git a/content/biblio.md b/content/biblio.md new file mode 100644 index 0000000..9ff34e6 --- /dev/null +++ b/content/biblio.md @@ -0,0 +1,7 @@ +## Drafts ## + +\$draft\$ + +## Conference Publications ## + +\$confs\$ diff --git a/content/contacts.md b/content/contacts.md index fbe7960..5af4fc4 100644 --- a/content/contacts.md +++ b/content/contacts.md @@ -1,3 +1,3 @@ -# Contacts # {#contacts} -* Office: GRW 561 -* Email: justin@justinh.su +### Contacts ### +Office: GRW 561 +Email: email@justinh.su diff --git a/content/footer.md b/content/footer.md new file mode 100644 index 0000000..25dfe81 --- /dev/null +++ b/content/footer.md @@ -0,0 +1,6 @@ +[Source](http://git.justinh.su/justin/justin-site/tree/master/). +Powered by +[Hakyll](http://jaspervdj.be/hakyll/), +[Pandoc](http://johnmacfarlane.net/pandoc/), +and [bibtex2html](https://www.lri.fr/~filliatr/bibtex2html/). +© Justin Hsu, 2015. diff --git a/content/news.md b/content/news.md new file mode 100644 index 0000000..31cd777 --- /dev/null +++ b/content/news.md @@ -0,0 +1,4 @@ ++ **11/2014** Our paper **Jointly private convex programming** has been uploaded to + `arxiv`. ++ **9/2014** Our paper, **Higher-order refinement types for mechanism design and + differential privacy**, has been accepted to POPL 2015! diff --git a/css/style.scss b/css/style.scss index 10af187..75b640f 100644 --- a/css/style.scss +++ b/css/style.scss @@ -1,99 +1,213 @@ @import "compass/css3"; @import "compass/css3/border-radius"; +@import "compass/css3/box-shadow"; +@import "compass/typography/links/link-colors"; +@import "compass/typography/links/unstyled-link"; +@import "compass/typography/links/hover-link"; @import "compass/typography/vertical_rhythm"; $base-font-size: 16px; $base-line-height: 24px; +$break-point: 45em; +$bg-color: #EEEEEE; +$main-color: #2196F3; +$acc-color: #C51162; @include establish-baseline; -.container { +@mixin flexed { @include display-flex; - @include flex-direction(column); @include flex-wrap(nowrap); - @include justify-content(flex-start); @include align-items(center); } +body { + margin: 0; + background: $bg-color; + a { + @include hover-link; + @include link-colors($acc-color); + } +} + +// Default table style sets the wrong font weight +// if we set this in body. +* { + font-family: 'roboto', sans-serif; + font-weight: 300; +} + +.container { + @include flexed; + @include flex-direction(column); + @include justify-content(flex-start); + + h1 { + @include adjust-font-size-to(3em, 1/2); + } + + h2 { + @include adjust-font-size-to(2em, 1/2); + } + + h3 { + @include adjust-font-size-to(1.5em, 1/2); + } + + p { + @include adjust-font-size-to(1em); + } +} + .container > * { - width: 50%; - padding: rhythm(0.5); + width: $break-point; margin: rhythm(0.5); -} - -.container h1 { - @include adjust-font-size-to(3em); -} - -.container h2 { - @include adjust-font-size-to(2em); -} - -.container p { - @include adjust-font-size-to(1em); -} - -.header { - background: purple; - @include border-radius(5px, 5px); - // @include border-radius(10px 25px, 15px 30px); - // @include border-radius(1px 3px 5px 7px, 2px 4px 6px 8px); -} - -.header h1 { - @include adjust-font-size-to(5em); -} - -.topbox { - @include display-flex; - @include flex-direction(row); - @include flex-wrap(nowrap); - @include justify-content(space-around); - @include align-items(stretch); - background: blue; - - max-height: 30em; -} - -.topbox > * { padding: rhythm(0.5); - margin: rhythm(0.5); } @media all and (max-width: 700px) { + .container > * { + width: 100%; + } +} + +// Top banner. +.header { + @include single-box-shadow(0, 10px, 5px, -10px); + background: $main-color; + + h1 { + @include adjust-font-size-to(5em,1/2); + color: white; + } +} + +// The top box. About, picture, and contact. +.topbox { + @include flexed; + @include flex-direction(row); + @include justify-content(space-around); + background: white; +} + +.topbar > * { + max-width: 100%; + h1 h2 { + color: $main-color; + } +} + +// Bar containing picture and contact info. +.bio-bar { + @include flexed; + @include flex-direction(column); + @include justify-content(space-around); + @include flex(1 1); + @include order(2); +} + +@media all and (max-width: $break-point) { .topbox { - @include flex-direction(column); - background: yellow; + @include flex-direction(column); + @include align-items(stretch); } - .topbox > * { - padding: rhythm(0.5); - margin: rhythm(0.5); + .bio-bar { + @include flex-direction(row); + @include order(1); } } .picture { - @include flex(1 1 10em); - background: green; - @include order(2); + @include flex(1 1); + padding: rhythm(0.5); } .contact { - @include flex(1 1 10em); - background: red; - @include order(3); + @include flex(1 1); + padding: rhythm(0.5); + + h3 { + color: $main-color; + } } -@media all and (max-width: 700px) { - .picture { - @include order(3); - } +// About cell ~ 2x sidebar in normal mode +.about { + @include flex(2 1); +} - .contact { +@media all and (max-width: $break-point) { + .about { @include order(2); } } -#card { - background: blue; +// Two section headers, different bg colors. +#mini-header { + background: $main-color; + color: white; + @include adjust-font-size-to(3em,1/2); + padding: rhythm(0.5); +} + +#mini-header-alt { + background: $acc-color; + color: white; + @include adjust-font-size-to(3em,1/2); + padding: rhythm(0.5); +} + +// Main unit for sections. +#card { + padding: rhythm(0.5); + @include single-box-shadow(0, 11px, 5px, -10px); + background: white; + h1 { + background: $main-color; + color: white; + }; + + h2 { + background: white; + color: $main-color; + }; + + b, strong { + font-family: 'Roboto', sans-serif; + font-weight: 500; + }; + + em { + font-family: 'Roboto', sans-serif; + font-weight: 300; + font-style: italic; + }; + + code { + font-family: 'Inconsolata', monospace; + font-weight: 500; + } +} + +#bibcell { + vertical-align: top; + padding: rhythm(1/2); +} + +// Latex parsed as {H} turns into spans, make these bold. +#titlecell span { + font-family: 'Roboto', sans-serif; + font-weight: 500; +} + +footer * { + text-align: center; + background: $main-color; + margin: 0; + a { + // Turn off colors. Using both colors together looks bad. + @include unstyled-link; + @include hover-link; + } } diff --git a/images/haskell-logo.png b/images/haskell-logo.png new file mode 100644 index 0000000000000000000000000000000000000000..97c0937482e1c82c0e2a778f3ab3c4db99edcc4f GIT binary patch literal 5674 zcmW+)3pi7a8$a&%Yp7gD5)EM`B)JSDRKqaJed!=%NT~Tn&9&qhm3==)YA;eY)1JZI-Q=Q-y&@9p>dz3-cJ(ZO0oP*xBC01+D$5)GYupd*c+7yAFN z|CAYY;tn^rapH%5vHX4{=vp8YOS9q$ zYXuulfu=A4n>orr?AK+x7JSs~a@FQ2)nUgZBNYAX&h@iT*Vc<@4ar$(UjSpyd!%aR z$`kkR%~jS&%glK5&<6DK!$ylTDR+dirWO+tA!T@I=a5x z*eVRWhf2!n>*?vaqH?@T!A}yW?Vc0y&>=V^WPP37||sh&eHF7{l-&M!yM7Uf*_r?8FUbiAWCdDbu?8D$Qx5 zbLJ$Fqj8Ac64kAs;vZ=@1$*rj7;&bf59!MCS%d@6Ke{#t$;rxM6{AR5Kl*-(aCV2S z@&1_5_cxTeipS%pE8K(JM#o5~WU%nj;F2TD7KYI02R^f-b!j~FH+pMlOWZxG$GR$H z5N&i1?Y3i3C_cg#ecegHQwI_3%fUUR9aUI*y$>G$li*OZ(p-J4q#A&AG~vhR0#0JG zY$<2M_-vR9}|WE7nw9~I7pQwGMgM4eU+E`Iu&NyF3*p`Y1g zp$|$hXL#8O%2}ZE@$9j!);;GkTDBzTYKS=S!+2d0*E-`wet=(MZx!HEgc9G3aiEw5 znc+>3q*l-8#a|TR1QZk$cEn4t$e*n`G*-Y#6Jce@8_uzaIXNf{c>)yIOxK(UWkO8J zeFQx6YTbmig@uK4q0b=uiqL%EgC|&L0G@?@xgh#b@6?kvGoU?UW{~T*U8fuFyi480 z2u6!Ca+>V+p8mBLw$xgar9pNk0;Y8nQl(fxyDoT}-rUuXV;=!_yS<8ZS{NSMo-)v9 zsd?Ex_77xs&i4zxjo-(XgIN7WH^84fU?N{PA+>H@)pQEq1OdFziiw#fn0|x2gCnVyGl7lTx zAro8N8pi8aLpTrV9Xux03z&VIBCl0d}gXzQeb6e)x0o}A?Zy72usnP zzz?c=gCSoI1efQuUpC=k<~1*_R6ljp;y_NqfCv3JK7d4CLa<|krfwHp-+7ZLbWYHW z_9c4uOW2aZY~F{&H{UMWUN%K;TD5+hsChaOR8`@0d^;k!_sf41eSbxI8VNUHxxMtS ztE)58Q4bcfd)mwhewCOS*S|8{R7@!o^%Se?Q)WhRVyJx9qJmxbYIqOJ%F-k=$W$4` z8Sipz-!zx9qZV-5C_UV2S~=Z16~Y%3DkZ{{-P#fE-nxnJ`ZGSgwXOEZDSKYQ*TX^j z1vHHCpK2UiyeLo$GtGmTtsLbzRZ!k!-4S`KGY?V(+re5U)~yBQi7xGj~P^wnhH z%<#gySd%uN?Tyt7D^f43wn3FYY6*6X*tt7N!BZDH6+Yj5{Ts^C&7w_9Tq{FidwBjQ zmM&w<00PG3)ST)1A98p(2p-y-9DvH=7V@VyWyDf>_uZV?1F)%T>OfTbLSnu8sHzQy zZcDk5v%Wp|k1*>`+WIye?_7CNy+x;>-voe#7>u=)(xK|NrMi<)oint)*cftD6htQn z2pq(WH$Mny+wDS)9RJH)^B^&L@o2E)Gn?gKe`HnN8M_~xiXJ?YvtrO#%UIyPTp!}Z zwHPAzeL?5d*>$`)Gt|>_PQ!>{OTDU>XLkaa3)R#j1q4#i(Nzws)^cEY7k2 z#N;dtm~UR&0j?+c&N+tOdUa*273Qig)!NaAF2^3*YV{n|($4J_;}{Rp8EiSS?>3gM zhJ)Z)SRd^9%-s&@Vv!COI%?;}M5I)*mW|426#F0%JtL!A1X6O?YMV4pv0ih)X)43W3)>g;nB^q^%BB0BB07eKhLpaI@X{E9RInfQU4+xFLWaO>4Cgk!M|$BR#Y>~? z^f-1rBKPAgs4|2=kwqJ06PFZcp?@K^0d#LaNdL%bsL|o&~1pwd>1RH=U~(pd{Xv=Mz-xyL6pO;A}4q%WQ;E6v@$1R zCD>75JP1#y@D!VWTK+~=`cm>KsBD*X*j!;t{NwJ`V=k$wsoz-|P~xin7S~PRzB}ej zH&pouGZE?zQ{>i>j7leb_;0JF9+Xb$T0g){Q{zg6y?}hP%8Y+_w})5YH!J~)Om>bx zeMD<_XZ_Ben0OiX%MG{f97WtL4A;9YG*7XmdVZ6FQ+AU{w@G-O5)$#W zR{DZ*Pv4nO0}`QF?c5KynGO&Gm=NfYMtnr73}dt)zj+?eWD+2VX}Ug#0xZFt>Zllf zP2@YryDya?!VooAar`*o82#{{fUbO`#xI=8EuA%aj%^44DG|=S5i>60%qZmrzn^D- z6E@E0l?3=!$q-!q&1ezeAy%#CO0lvv!vW%E`J~@a(ZHv^(++3)-?!eV0QD2|%; zjM|Cs=c^k(C40VAKpIJk=I9qK#T_Qps~lQ%n%jh`1~KQQcah&AK)(QOV$D>gnE{XM z>e$BtY=gs#`13(itxgS%&<$T;w|`%3UbBsL*F!RFOQZrNA@Sy(?}akRPr+u}e)-b6 zen(8t!GQ`Ya0&2foUB^eJs@$d`Vpd!+PW^bB6CnM@eW7mtJlWf22Un})(ELfA}OjF z5TN>T;R>HyR8}FLyh3xIW-@CeOlS5#HXAVm6|HiO$isfzp2UrT*r=CPm9K&rn99o{ zW(Vg;Uz-)qL>ix1lb5vdBf94NQp4r^H`ElDXNO~44}-YFkWeYSm?v@`&C1X3Jk`_Q z-k$UTvCJd!>)WpBTvPZG=iFwL`QlO$ZBzg{XzqeR@dqtMB_&TW zLzfT5JQA0e31IkIrQzZ0qKk(*Ro&LL4J2l5)Ezzp7J41et`CZMCkmr^@Rm8GQ zA4c{=v~3KYo`tnQoo-gK6xK18asZd~5fRl$ZBIBJqY9zZp6 zvDb3S)F!HCWR&iHkheNYe9y4K99a#|?VVg$sj8~72Nd-WX~=XcHFn$+n*&T&zUY*D zFP^zP_R6B+_P?LHRyh7Py+&DiFZM$jz5u{HOS7 zL1oYq>6^YVO?7X(`R}Jdo%1)Am{t9$&xPF=Z&To-|Wk^=!Y$TPwd>JD|P?Agald|E% z!wHB_`|Osz6dm<#ln?xMmG_8^?}r~heiVO|5)~EICr3+5(y%JBkaujDHN8l%6jQYH zN|5adh3-*5j^W(PZYfrNLX(am{`~n<(;r9g_NwQ?X(wKS+qDS5HwJZi2SiJ;EHDBg zS%Ixl8Xp*N&;@zs!#a`JKcBMKEsFd8!jF;?Du@i>BaOw?vRLu3e@tx@<<_7P#Z{OSmO@~Lo zUmL4a#iP_;#vvK&+dk!(z82Z`wzq{x=2=iqiw&UeAOb}I89S!?%{L55CvQa#veyLu zy-<}X&uE^j)#N)+`8!|tYToC`t#WK|94!gG9IJB6^US6p*M&$tKA`yD8SPYP{;!`^+hVF(~b^|dzWL7s*9!wcK+<_?Bx$Tdk|{HIDbdW9kCaZD0J4& z?b@v$>bglhSTIEzX82^5rXUFL2(hs{v|eceeHSh_C25q@yI&Y5~5=K>Lf#@O0J*R z_x1izfQz&bKBtNFb2*;9W5j5fiJbCLk%e;cr`--@z5o6DcenC>6HBYCgxApgpP519 zZoha52Kn3d02=1ymydx_}D^D>f5l%zBKzxLN7?~`u5 ztULM);u7%QHBvwt8r%%pi=$)Qh32nHSmg^PInjIMRGlk(8mnD3XZ3SM_G7{)G%U+R z<|C3E=_onXci(*O)J2k1{oQ;>aTBgm26TJ5E{$!#eiD3BP;Hg-D zy~DaEsvlKi8MQ$ZwG2S1a7cRWdv?o-uQEzT z_yELW2K2^_FYmExnQlCWvP4ISb-`^tjdTEZAbrV6ZjN#krb>1qDl^DUq zHx__?!T5$IDi!QE^m=m9ATRHzJ^k5}Cr@b5AdlGxjj=eyPWyI50E!64j*bpHuQ&I^ z!M%Kv;c1k9!3?h<7*Vibu=!2q9J>$U4g{Q~w}`~Pu6=ePZ~FE7Y!plH z!O-3K;8KFexKL$S5fKqB4j2w9sX$xGa8cxH$hTq2%KwW3T?_U%n{hIX&c4wMSI)xv z*G=>rq>s?Dv*9kIv2$(mkYHxIokGzt8BBc!*j2x3ty7cb$|;l={S?U(RH&$~UYFuW z!*Lj8*8gdYcan;6e6Dyvtn@)Uyt%o#^OcJUo;U)Y(uF?Xa0?oKX8w3+H}JHx`;QLa zBdux4q!gzkh-li{_U>`umqECE*WHgFKOXE-_!MBiujDE!w{odE$`j7jV+Ge+ z1nXQlv@y04A>jtilnHs1iqU_9^x+_lqENPPj*6`QVKw2tptSUK#UZK!wE6h7-AblP z6L!h0WieQZ2ylD9TXn%lMcvU^6VD7dje2!uPE;A9@Ejd5dvK|m2xFja4=#zM7U;ViH3M7hAx%TWzFFM&1wXm zJUgpSrxh~CpFe*bym62`m_qWQV#~5EP6HIv&Ts?b%-*9Fqq=gc7b}-uD5r=vG*-p5 zK}#acAcA~MxHz{QLszFPzZOL5?hnhJoq67Gc_qp*7gSy8MFW0%DlD2bga^sL0lDp* zIK@{B>1S%gc*yl;n!QHO53v#%_1Lu3)JHHII=QLsqPp?nDACK25N}Ad9|>Cm)SN1@ z^ta_$L>!R>nKk*%U?3O2BA0eoodLDE8;uqT-l3t-C7zi|J;4H_T@G=sGPevce)t}EwsPN)Y|`CH1wW%VG--s3 z-PPfv*C0Mxn|WEy^CJ|RZFbAC^ee2jLX%1}($`FgkpL?T8td5qC8em0>J0yXr}ND8 zS(m*3!w5(K=poEM#C>3{_Wezdm_kDV(%2(psV%eue{G?NUy z>kG~U{cpv@T*xfLAf;^SB-FmB|A7kh_?mqA_^X&r93a+J$OVwMsyEl?_LM(tzk^n6 zHsGmG1_Q+Au3xuyZk2&7eO^93IVkB8G)rXQ<*~S$cX5A}%u%0=Yh2V*p}j6(W9fjb IGWYuDe^AuAqW}N^ literal 0 HcmV?d00001 diff --git a/images/round.png b/images/round.png new file mode 100644 index 0000000000000000000000000000000000000000..7f047601bdcd8f5aef9887337ea70b7e79ed48e8 GIT binary patch literal 68517 zcmWif1yqx56vt^shywuu=^i27Al(QIqy`ewAt6e4caHAP(IEmN-66;T>6Y$>@$EZ1 z@1E^FXYuaYbD#gc|KE+&R9Ad~OM#1mg7QLHNlptnHX@G}02cB-X`w?3IbeNKRg^<{ z{{NQWS(c1EgX5&2;EEh$kO%Sw`ky`{2OMW51LR3OqW=%n>1Dsi|4+I(OIxF$ph_Yi z|3N8QMqfce2|!Vnlm6iG_wdQHuEaidCG=@!J?pw-GJSVTe0O|IY>Vn)C9|yNcz-|X z#~ajGNI;M@Fi>&a&vq9(zxt2lYwQTZk497 zy=%}zTuv$8HB9zM-q>?nM>OZH|7Pv;d$?Y!%^&kjWwmOi0$qMPI*9#!5nV68EYr6_ zubd{df7|hu6=RZr&2_?*B2gz~}Bpb|q!Ys1pdTBcVkrN@QwUA7Jua&4&am zk7@o#H)J=I;RFK0E}s(32T6x!P;Es^XKiL^iX9xU4Bq)~`$QewW8kF5f-8uCw*oc#~Wcqcy|TN9H!p@1DDYMZ*!; z?Doa&tGkVPexa<+O%P6k>$!}Wa1IU*-eDChD=XlSFwPe(V}!!{&FO_hHj`rwQ@Lg? zeyKE%|5$vE^!y^7{4W;O6wK{nLwK{e`NT#gFRT%uk%p}s1pMUUa+-*(=3+qXg!k~K zLgc&89WNk|C#-=3G@8UQnoms|lFy+^OQ%ef4OiNW+)UT43LRE-aEu#jB=i*AIi04= z(S5yZS~}AYjSBAcEi6|~v^;b?sq=Z{F5$7TQ~(o?jg4s%V=jsr63a_xmiD=*X;tx& z#RSdH&KgiLH@?oblbBW7#~&o0@V09I`15L+CfSmFpsh7n^C_2o{KoI-pzHGbnR4uz zYQ^uS^*LVkqS1BryW7#W@xBKb9@3Z@)b?wxv~R#FJzX3u7}tg1Yv0%K%Py2La-wfItTuH4vU4r5-i zQiXo5$rgNBfWYkrP)JeI3|*icS3nnX{?1y+iaW5$a|H=rSTG3drE70*9~+l$U9`IT z&D`0Y&RXMgy(G_Q+9At!Y7E3cO@wk8*qczqU_D;@pX-&++6h5ocb=6ue%@7?Jn!#I z#_$v&%zlFP zw&jY~17}BT%z$h$(V^oZpx(_F86>wR}b6B(6+bpXxdwH;1FDNX3t2>4*c(a z7g&oAm^sHBN4mjh&LJQzQmghq8x+ZAD(%bi9{uoZf-A3Nw^mhuZc{fu0y?G@h(Zxh z@^HFWr+O#2j6;<<8OPFKgU|*x+>qVe{Nh~P`fQ4bZ<%0o7+@~0#ajLC@aVX)wLM-J zb==BcUHR%;_N@tG#|Z)Nx_;Azh^N7Lr+;^w{F3F_m0M%==h@%JjrpE2)wD^$q3WO7}Z3aYOyj0cZZTv4xqhKd7iBAZFQd|C$W( z!_d*lr)`C7{}5TVe;(m5-~3H+WEIX@$s^RNl)4>*%`hTv?N=&Wrep3>`ku(PVLkoK zc_@Wl@4MF#TdZzy#vQrajXOwfAQ;nE21Wx9W zVAY!}pD&wOn=UFaU30(E-X%3`ZHsw&Sx_W2QyEOe^1=f6J#eqnh<9;MkUr;zoRXY~ct zQn_~3+R`#~HYJ?cQo4OsVgGa(HhppfR{6d670{dTl~-Chl1K0h-2Z8PWaQb-zx`%p zV{97MiI}*5wg|rKx?O!w8V4Cy7Y^%HIRUWYNej zHm-F!JT>#e#&$SyY;5`2ZC~4|*1l-w=iLa2nsME= zO-^j=`-!|xsnl(yiilp|E`Gt~cX7*_MYEb2t5UvRmbsexjt(_r3dhyN2w|wPS(RbIIcVfQXjPF6`(7QJBChnMf2`e$qR02-!Ln_UxS*0Y3DtmjzD^W0I z@@uAXs~qkamkEZFeE!sRQxpIiZ1@7r9N+r^d&@JBK<2)a`X%+dzD*Gyk4WwsLJSHJ zrVG*Uy_U!gptXb<(6qA`%A}>_=I-9+`2;tBU3PJ6=RKKlj8h{#%33{l{dv0|?@b;) zpUvvk`dk&oOMY)@X}Q;EHH7_DD~tWc^m-y^{c&MN*j(SlJ7oBa*8_I8qhCVyU08UI+%;P7xfzOg z_|xc7G@OMDJCD^#Zt3~$=>ZF@T&=@3YE~_tO{H{G$HvDBQ?};MiOgsdSJtcPV(4SA zN&3ik^%v(&i?HFT!rBQTQ4k`t1|E;z=^nHdu^53qml&7a6=x~f?_a{!b91m5k79?7r5Q6a)n$|GuJvVw2-+^o0>e%=JrOxd{`yz?TCH#PGM%z<$p zFSqr=2bk@v;`KYbM(&GV_+8{ZzW;kfaA3HIKWP5${`S=ubJp{uyF1U~^K21Mv@Gj+ zUgTfQC20*)iE1s8^3tp0+viX(BDy;K`v?A{0LJNCEL$D&&_6pNi6L zl+N9D`0VulcY09plf?bgJ1yLE4kiF`uXJ9#%({r@Z@SOyGiYp3vK`ST!@W$PVLbUge z_%5B@!lMiGf6dmXc$4`pxmA>BVycH0mKS%|pTZ9h59x|&mF;4fL7OfkHsWUd6}(pi zJIsrQ?Ua{QNt^q#@pq@aH*LNT%s0o&o4<>6ph=YP8q{E#C@ZF&QljH;2fbq@B&s)=N>XV-rg6=1) z^0?_4N2Y4ZWNf56R=*6fu+ihF-l-&7Q63)EH#YXFa{W|l1Y3JsXNBH*X1lU-4oBgi zh_kc5{N?%XeogimCeDa!zGJ<+*JLH^d(J;;9ropE^xa92--y5DL{O{=e_aKeS z$;wBozkFlkoZJ~(81#(eU+#Nx9y(Dwe*-JfLO$^CzkuuNdE9SUTK(m8F!NX+!Rxqu zRGkM!aSJj@KAvf?swg({^*ZwxF6Pk1q3u|UVyI}6f>tPkXr;pGjFr!Ok}N@H-hmgp z>aUbgYqo~YiCh~$#(W9mqGTI-~aIZ9qL#**3^f0?35EESn^S~j=0&l(?p-_qJj z9-}}!pa~5-V`O;mI*^QGkO_v8+EZED@=R<>#0(&p#OB&s!1D6PmKH&Sj~~~O6Mz&7 z@+#d3#M|Vvgx}7;nh*3q(fB8n15idVT0rl5cJHP!3L-W%S1R8`kVY`|Jq=;O=@I60>z|G8LrW|qi^0aLpm^@Hi;Drxko5u+l z_I09$zIM0?S3AegdTn7T-I#m2Gr3}F>ler6dloHzGu8+-7%ozbSDML=cQh(mJ(<~` zNZu8J2fq$d&NL?kFs^9uMQYiAcqWRN`0c)_Qy-i^o%qFfE`Qty_er3##MA7YH*!s% zoYc4cl(D}CCQtK_UjmXy3C8d5nc>QA59ZLyFHnpi+FzTX_i@dnyOfp&T4d2TXxPGB zDDglbYbak>4_S4y$4Nb$my%#l<9EC;{$7ii9JtR}xKBh8h@r$bW&{X?5`maX8rLMy zo?&I`c?i|O1b;-4SnG4(FVANw-itR~4|)^sqT{h=-=8~N!;GH;+*drK7h9bO!%!jE zO=47Uv%7}I#wb;={=E4dHKvJ2pCnuguAQ-K(T9lkWz3YNt7)xxT)aPCY3tp#e)}qf z4#JL{htp|1u1}*$itOz8EST}S@Oh(EMkrmZS2QjD!tyFpjiTHYkPy(~CV01p{87yr zcK6EiHZrV@^I63yWQ%5t>qs}LUh3(BVoP+Z=sL{#|Iy`a&Ze1cZKs(q=ENWa1p}9B zi(5;Z*8@Sxl|J3DYV<|Wb_tVOuFL*B;fAJWF-c5X2%VOFHTuCX^b?=2De;m&66)sYJCHxZZsb)6B zhi?~vL{ppBSUM}@(>u&WxpNFs?A%(1{WGN>c9Tu_B=jS|8hU(`AM8eI=fHKOs;H(j_bkM6tjGeNY0W@3uTa;?r+oTk3@{*;lc4V-=nO|IH$WimS$Pw~*=xk** z>NfUI%jx{6J2!_Td&`2{Ppw?mxr@Mob+WkHNu(kJGXBCAQzx&&P)o;b=js+n z`|iK{4=N>K(O*T*@J*l+VSW&>c)$~EX}1X)#U&@y3ViMHa>6UBQ0f3Bn`IJjpom8W zHyisze8O`d{31k(HSmTSxxK33LZKc9A;1k2gWNoSe^;lI9Z6{SbTn3o4;DNQ0{u%<5>*!pat+>L1Nvih7*&m^^NoyanZ1z=-6LUH?%c( z_crS&B)`k@KJZvi-y%0=17_Afo#z#^(y3%(G{n1L6%dE=TzW}R!(h|40wP~-fnAp= zT&~BL$|Jl*L(F~3eLL68C%&iDRrc&nJE<8NA8ENbJi)O)tp8Fur@m55wPi+S&I=I2 zPzi+U@7BY?=}FD8FOVN!+i^}Y7?-#4`>_{;t14y8i5U;5(hIWa}9a~(u;?xw8k0n@KUY9= zpY=u0ob=l@42m5bBsQ*dvXIv$U8@K)W{G>%Q$EliJ^2OE!?f{Tni6i?Y#k9K3Sp6R z3@H=clP1%mkOik+J|OqfO}@M*4zA8eqQGf!h>0wFzgnwdw+vY6!^yOrn{b0qdWozm zz*Lyrj0dB>$7}Srwj!ZSLuaF6mB^@ltuFzSIdeq`;fwkeZD?3$urIT%O3}*Nf_3iB zte&w|&7#aF9%gG^@-x$IRJ~fivHhZO`~lg4wymiGCeqZ@g{370CFPi=x~A(gv*O`gw{2qDGI z)AL&QBVzSl;wbjvz!LnZn?Z7TxMF7SnnUw^8!oQzJ2YC`F&1mss&s*Wuzp*gOeyju zrbtn}?t7ga5MIXw;9tS}#DjHGAwc1AGTa!`!TKBGdVguV^ZIo}a)d%r_qd@DIX;$A z=RJ>NJS81~c))&S8mP#lNIZ}~(f8!Zv8pTZ}k#bJXOX4G&LI zGlV#_S6w$jOPeBEmRnMC@(xdfM@T4IH>gmlTO`V-2hsh1`nY!7DR!x7P64AxHmYxL z9}JC7OD`4)<&l$Cs>BCf;??nzp&69) z>+VaQ>|y{cQ91&-7ZOgeGor$*u<6h&EGl_>M2c~hHqu$6q**&IJfsd1XaQ$hrm%j| zDN)+ESEAztE|fD4O%Xi+^UqiQ$}w=AAd1OxJFknoN%)Rx(8wpW%F z$HQ3%2NdE#Ip#rU0#$i8lauq*+1V*^BT1Hdwz7JQC!Ha2i*7$^a(s0&zr4JCe~pUN z@`9zTo`|+xkGd8Opj+JvFP~6+Jz-oxIjLDR&OA;c);iv482W7C!l7vc;XA6CIDD(6 zA`a$%*W$8Sjgk|$@EgCrZbZUl=e5Dg{qSP76Tw{xmtTggwfSEd22SzjJ7s*BS5M*{ zp1Aulzls91r4s$3r@qMtgGn~Tnap6V_wAbIi*43rw>E-j(G>I zbDj^KVi?NUZ{QK_;dhs3B5*-B97TzmZ1L`w@D}bEK<2lwWV+CQw3)bK{LoOkf;eS7 zqn(V{AH>bCI(!f4yuGn$iDj^XN?5_vM3L?k$*P6<($GJeTH2!VglHsK06a?(xrhi& zY~h0hnOC8xn3!NP^K95p1*}_PWJrnnWI?&vgTjRVH|XMqiIMa5^P@fY%s@clWn0INF?p+8&RXnn`*CxWd2?`ju4W!9J46|DiuR?dRD9 z%iNg%Nyc65>K)z}?%c<#V8oi8J<$s*Wp!cgIsV zQYr?8v$KnTL!h~ow;|3Hkt>9dt+HlZ*cKSdGa;&GE5#bbDuazGU5@irAFPNT>&`SG z7Q@MHkOv_KVr8Cr{Hj|;KVdTtYQzs?(AAy0-7|FhvWt+_#HC_lykgF~JKPm^KLjpk zhy;C?Hj{`KY#AC&TF4++b`0K@b=6N!E+Y|q6Z#^kTs_tB`WoBl<8uBgjTY2$)S4}ZieinELOX>Ui0yRdQSBnzfPUcXF4lhH@-E#U$RnS zIeQ?n3b4SN)5~qurLJe-E++Pa1hu%)`qiBO|Ajy&r!?J0b$|afT?sSce~Ib?#6-o; z={`Zksq1S292yzK?;P9lOtCx3|9b=|H>C!s2SBO*HIn ztk)|LNokXI?g_w}N+p;8Q<;c9Ww0%q<4xgsx>T@$$U^ZxeDR1GZSr`6pvwMD$HnnO z^=F5oUJQ2P&1%ymQp(E*4mZ0$hEyC$$A|QxE-?xWqI~Z$!epZ_^tIJ~2cgiJ$7okO zUESW^f2O{wTn|r6;#N6Tig`s#%m$bO%XGpS)$No-`jd6Ob&Kw@HsY9(5n-YRredh9 z=k!BKD;VL>*?{8xo=U7HT;)=hPq+sL9nDHODmc!hG2NMz9d!7_W@NPTv;Wqq1|a)a zg2n;gNP)=8vo48U5nB&GwF%v^3@y-uQY!$60L>jy-ls@D9r*7)opd2qH8Rd%Cy#3; zU2dB@d5cSb3%|y3t0*Ng^DTQ?S!IoV{c-5!w!a1dwl$USO zVxDFSXMgEO=RhaY9IMbiIqyl?_1s_b{E;JAudbvfAUqYQ7>+7hj)h(_4mt`@So>vl z%gX}9f?;|JezNyYdn0t>e6+*aaue2MwWCDw{*aL+DX1K7F_p*N)fA&ih}2Zj5PSvS z7WY)>eq(@YsQ{gmY*Hx${dYrN&ck57nFFD}t&HvPhbk z7!7n2UNa5GjWxPY6-j1t3rQlA7r}UH*q7T=I=2=fVgFUi0EH_~XN zpsFNhfO#RSG$>Y)-ZB8hIq?80Tqo=SOVg7^{%VDcalQ4~<}>lU3U2LsZp?cA6?FGn z-EH!K)=#2!4a_gfM=9z94V6_apUo0xyi!UmBVWuiWHcK?3L0DfOh)CLV%^;Z>pXKa zvp^ce+QV1Ki_BQ8D`5*?Uy^KwqT(SwC~>hZ)`|-^S$$jM;CX%WJU05+z482e)sbtakK(gR0yn%QM?|4A8FLih(BMk|pHm)~UOvIi3I_4~# z&#L7hTFQ#|c)8yUr-zn`@r|xC45pii%a!p3cNYbdnd5uvYC^H>aibji#>J5D{kN2Z zlbxL%>G)3MiiCo+;;1EJPPx-9#67-u=U~4%yyBY@D1>tiq|Am)pv#yg{-dR@5Qt31 zUHPD;Cn+>}HbEFhS5GjdrS-CkuuV5g$zBFVsFfcgSGB*%CjFr#?8Y>^mrN)JE`mW| z#yKrk%%!;k#L);~_<+VK4zWiosS1(?LH+PiQ*CtCry*D*iBTx_5+0GRKSz32=&P*B z0_6cFbhOQ)jjpb8F1H$p{W;^O9Gb`9lZc-oQ8QmZDGcYPo$Yv#UK=4iZ8xxk&B@pj5XhcEX_o&(z) z*x1;I4vx-Kiws%cZOP482gBS~{fBy%*p3{-qhE8;mzeTr)^)A+lF5oCYp z5x?N3hN<9UUwP%E<$A}Z8OI>^?UOGD*AfI?=;urI4fg>qnXlw|JahS|%R&Nav+#!+ zaFT~Hn9#kj8LqDt$%w&4(Mp;6Sx^Y?KXBhqQoUxCavIY`9K9?c9M)FN0eUv-s0%CQJ%dR$8!TJd+FAdN#wP zt0ob#2eu4r2mTbUoK5`z-!NWG_%ArHM;mfFKwI478Cn-KElXQ=ONF*BQByAWOZU%E zZ2MWS6T;*m@8NG3|J}1a_j8Z+yPMbVZnjN`Ji!6e5xAzPTxC_Q&W^}@R1Rv=Aj@+S5xpXoEDq!C9Lb5 zL0Y3&ozzbVj1r8t%Qd6fOB8uC%^vWw0!ZF0q7bL`WM%g<JBaKspdWlbh`TDT4}183t?#HgV~`m>Dc%4QQn@ zfhpC@ttdKv+M!nAbV%t(=cO8yB#>>HpddoK^2kX1CG#%*Z(E<6Yg-^WPW>(^pQ-b_ zPG~1xlNim!Yvv&%Iz$Ms&Nx0MEgXs~W>4EGvlx6Cq${tbqLy0_TA-%*HA}$GY^YCZ zgtu(bv7xI=!@XwICR^81Ha&lnqNL1jrD*^P(vQ}q28p-Do(<^65@=>pYD4>6BAQc- zhDj}F^VMvlR6rq(Bs1(a)UJu!P-aE1x{_`(*>d!#LRyV7(RS_(tID9JA>|opy}KGS z`M_V?jW57K9v5QM*fP>Vq?;@FlG>rJS+Y=)M-C>kp%9K>EmC?Q0b@rdWYWgj2#E1h zyf0+!NeL5Ibt#d?``2X0!NsAeVYel(0$(iCtwI{InkqaQYOGOcT$QHBFR<}hK)w9d z&~1x>AUG|tZLV1q9Z~o|qKz~=K{|}3Y5&_so!7GajW-!rI+?T`3YAu&rYOCxc~~z` zFIZs@Q)__MyxLn_ju60cOJo#vi5Wx$6NiZQWXO|pWp7;ay^a`5;L4R4d7UTnpn5f9 z@^tOLJLYqI>hmD^%;mpp7*)9rXp#|*Z)OUFdz|3(vY|I+aqd`K+rr;e!(dt#wzD5R z6swlad|ls=_l?m&Ed2fRl$49>j6_{C5eS0h-vPTOx0GpICR-*jCYx8`dj@K1hSU%vPNYUZm62X}1W!U~I!z>N><6igIn zBV~e!ipFB$<-EN9+1kY}dv!3pBJ3x1a(c|&vg+@3-XdG_{PFK6L_=>k^h zviqSrN98(}cAs2_Hy-hke2HI*a2$Dj*dyZPnHu?1eG>11$hIz)e9bkkRrKeULU~@2 zyf74ZzoQ>{(;_%0BJQ3FX;dIn9D6%)@n`#jxO6N2=d;9$_p>>(r#jgmpp02ex3>nR z4U|;hFiC@1!;xUOsydw{g)lmQzaiE|+p)HGUsCE8_n*ejzD4rL96f=+L~4jugO5#O zQFvNu;hdnYagw!fHRyX|{V=j3OLlorNlXx}h>gk{L`_+|aAas=J+@m+RwB*-lD<7Z?M90LcuWBd-7WG^OGWkve zmI(f`i5z-crls!}IAs&L7M4e-!Rsiy`0|PCrB}_mL_9}zuYXXffi-LAB6=e@CWkJv zX=5S|a2}rC!Q8@w{c3}fi)mHtVy1Dfbd#Tg-z_7BDIOFT$ws{!6hidnZC&p10T}HM z4t#vBC~l6IwtxR+fX@jk?SFe~;ukh!J*jE$My{dd_4F?IcSvw|dPfs6mYbV5ei)`L zj?CO|X*9D40$Iw0ZE_c2QXdk8%7MVtiS)Epoj6-q358|$46?J<|J3(#jD0P~)M+FI z{lY1v%{Q+4Z6|2^=T#y1uT&<3Of6E8qV9w5?qm!paZ zI$-MG9`WG~junzIo9>crOd}pYo>3tLJY2}F6=8^dVe*LgTmV43+Z?tLXTU@nhgD1* zW0NyEN7Hr!w(bx)aLjZRZIp=11|yf`6Fz)vY;xku&e(8euTIjW&vBz#Lw0a?fNXfY zT2^e(n^wnDc$QN`LqpHw652(M!BJOm8|ulNc#6crTtin zD=!%`?6EO75#MWm-btKhtGg*)6U0c`{K~SKm0PNDSNNYKNM{^A8)ir^SYLKe#crHp zU?D2NTw>D1GuQum64Cg7eMRzVVe)p-|KY^>YF_|ZDCh@+6upA!lAG2BV2d3$-GhgR zCyhS07+f8fyau-4J)Kg#+C!7+483KocH+6!UZ@Bqh<4+}rs0xfc!18(e#BxmLt-Jw zbcFsZP&c`uqHu8`$t}tG@RX=5j=Eqm0*9#&0**(^o>8Jx-iUB4lWjDv{Rt-vakfZC zVp|a$S!>z-3v6}8D0@@_wiSb@vBJgV;rs^zf3GN-h3PeC)7$B}y;Zd7iw8G>E7O(z zjMKq68-KK~a6Mw!&n8TBP@QsPy0<_0GK8RTMTF30=g}FZGvN}uQsjz!iTLrQ;|zgq zV#hK5lt;6)c;}>N#j1zcP@R0|8%A%=O;*?3Ib6^?%BU;{)9q~|7$9rl=+zc5qQ_lW zSdp_I&dHjKND7%w)i=LAzClF9#tJ}Sq>YUqTikB|JrOIWa%6KJbw5UEkVL|0*S+<# z{54!i#P6P4@@eH|#+HP!$2L*2Pme2C&LGJykp35G02n%vY>kPB7ykY7(sIXWEa&0I z=G$MS@f5~CsWck&f9)5(@AEh;AlTZXZ>$y!Pci6#F^yFgv+b0D_5-B*z;{;;9Sk@xf0 zfm25}ygQ<;#8dF4LLV3#Mqf>m0*VgN3=b)wuaxHxrVy>R^E{DQAqEsA0MIyj+KOhY z8~G&_TXo7x12ywQWxbsBk=d_sR76pPl@)#gw%n$vroJZ}*R zyh4hk{L(1s;O1pg!x#uAEl3o@UI*u0bO6T}H4a?*5#C;}x^qAG``@f4N#J{uY z(WH@}UYpMNWh0bzO5Et_{uZ)!$w7x_cuS>(bc;vi!{MpUDmAv#7CDWB|%qu3g>NQs4m~+(7 zNnzhd;YrC04$I6ln3I3j&8ly0rRRYFQi~|VhIhM8E!DGy18-8Fo_uRex+a3LUn)UM z2~)-O4a%T2)0tTe%|tB37&u@)h3Itda=j#G0i<1^%%>2JTaX_nHH@NIvUIAh8$$V! z@Yue<%Ed2E7Vm=p0OxO7h>{FW=~%@aJqB zVc&HP1jiJ3kYKHPRj5{wl&zhM8t{YB4r^2d3{~79H8BO#(v0w}Y+JTh0cZ6oWrSn*yHw-qgz*;{)r4^RA&*(u5Fs7h7W?*Hqk{U*KhYnb_9+r6_J>sHmdMU<;(5e-nd*l9O39kn!H|&B1L0Qo_5r2?>8YX0_Gjm0Y#_>@;*< zkNKlVmd;SBpiTJoX4>IE?}$3%io#}Yo8vlGg{N*dE{ zx9-1fFqU$tLbZ%K5p-bUGYy|Jq4bQ5^>E2Yx>m;}Q!~f7YHkd(pQmLg0wh{Xrzj@L!XRu6 z!!noW>}TOOw0bx|XAqZc3-n3!?3IjeNm6ovf@wnG$e$j)@Ht3y1Ji&(LS>N51tm53pON4sfu}MSFvg+ZFR~*k zzC2^6yywwyr;9BAdksA+-we9gH-||0V1bbfTd4$)9OT7dDm)gE32ff^?tSyNl*{|m;x@>-N zu@?|rpZe5IFv>!}^Zi@2w13{c+n7&PKO9b=iWhBRFtA0toih1Tu85q0c3ZRwC-)Lw?XNcO@kMxg(WUiIhz1F< zq~{&zi%_h;d_V~#P3KS)vEjG3F~ccAO3@YQyf~9?5TmB4>rOkJb$b%Ifb@=dfg1&$ zE*3@uV})Xf%ZD>zJCchD1v)`or3PXclf0k|ZvnG4x1~ZpqgJ=iE@0d$nNgX|vW2}W zBj`r|Wgr1J@ptaR>i(@K^q__{=XUuj(%?!`SXvSHOv8 zL2r9f4^-(T522%GAq&Y%3wo*t=8_@aI05Sl>zjYkXa0VBu3VEQ59@}AE}nED_?(IO zm#ra(_T_>Fhla*>jU+}LPdb{ssq=akG^ED;cQkWwMTU>{9SyPe5)ps|tXyyZ5vu2k z4>!M=Ba0u@*Go#lbV*83r)#pRYWSEFqkv?}oNde!6=3R;66I@+TFyIgIGP^qGGqIEXo z?-|n=Y?T#0XumyQ4v=}MNq^gj6bMSIJa2R(aBif2pg+C#H|KWx{P{`DGqPRdcm zarH;^3>JvVjEr8cWURTS$MLn5b)FGs{GN~d@shc@eHIeknsR8>EU(C6Yg+tl*Gz$g zC@VZR2rO{XC$y_(0lmOQuE?)_?M_|eJ1e>+@9q09!^v+>-dXrv1Fm{?lIfvVu1AEc zk7E8=c#2ls69s6o`24n+U$$;}sB2(6l3mUhbPmdVI2m~v6&_?WQht<3 z@}Y+tO9#g%C3W7`3RbKYrNCK`+s8`h(o(!=6WGX#xl0+t{lrX*p;KT%S`xK0)Q%_B2Exb=5Wk9X<*Va%X^ z_;kL%D~g>g-n(8Quul>>9PsUW74_%!Gf(>SVcy-wqM~?^?4ss%+*0Er@5MgO2nN{ z=-KsOAylcPq=_;Kay-bTAbTf_pjr2K7wSnKgxj+rsY(=XpHBS8i*b6*u_(6IxAQ29XnIdJ^xX5{o(1QPaK&&`YfSp%YU&pqYs2 zS4I+jR(>%9fEb>k!gO3Pgtwuu(OAZaD*#iV%2MqZM)oT3Q^c~(h}~E~{*~F;!UQtN z=|Tqa!exWXt6g<8E3}#jGz$x(aTlvU(5&dhbb)@He_w%12fEJsto|S}PpaIyL{-72 z#Wc%CwgZ7bys&LzuQVRfA}_apUrg7R{E%c-4Gzs85_cS#z1B_)R9x%qCzs7E_1JX| zsz{wK=-C4f<2obK@_hG39>blwx-Omt)44u&oF4QKL?EF6T|GTeR1%-{L|td2Y>{ql zjof+_xkM`e`{8pOWQ=WVYa2PCw@D}kO&F5Cel6m4NapnOZYLT1xonmRK%%086kaW? z5p!II4?A_#SyiQa=-Il z8kfg^;J3ydL+wtFA)%p|*EjAW->&hqS{(@)agsSKd9#6v0#QA{$^_l2U_R=<+>%`Z zH@UsxFB>~L#-6a*FTK!nJ+DQq#Hg5iQ7sb_Ut(d56qMeAAo-RtJeUg>A;2WvD%q+O z^YH#AY51QW6n4gBhZq4&h~CGJeEOeaoAvMyUg97?2`w&$3vs|Xpvty6vkx3VdLHSj znIgc>X2}#?NhW9Pg{E`H^p%WGUjNQSSTFW0G~4b>N;teRm7AN`G3bKSNt#G);VW&Y z44W#kUZ0meCs?a!!A?7MreVh0M{vL(7)U})7M|&qUxA6{R6tk}6;R5kOZIEs$FdcL zx&U(kGVK!8NUIss5YsdS*3z5#NDIZ?>#s%cdV1#Nzl%r2KjXsNPTpS+fDKarB!x6z z3B*x~sU*GzfTpBpe~*Az+^pTBb*tp7z}CFf<}q|C`+wfNpcrSa{drB1qn;K1k|xPg zB%Czu-wi=RVbXEwCJ#h+U_Ow5EPjA;Z{qi!+x*JH#`-=w5^0Tx3zEfZjr260*<`i1 z(o9zioR*Z4_9N{-`aqM1fw|uh=ba^TLAa3eKF-s6fEo^+x^)H zP~a?Gwn5ejLS}fS0AOh&ZA3IQlNRT6`QK|x!_&pjogdXhf|hLc(9OKJDr{_opV%`XsJM0Sm>T3h*r z+0RMRRR}mwxE#*&P{V3wY?|~xek^jIvKCh&R6kwf(*yLTUn$zB)Vx>m>ZDdq;--k5 zUtTHZ;LVN%6FFpTz7I@I5i-nYgR(?2kbxSSXh$on4`G93!Td~n7IGP}IKh=xoUZW$ zn@0UcRsA@D0aD-XaMKt``uPaT6~QHY$(1sxrQfP=sEcJZFspeT@~MRa*ic9Uru0!G zMxu*lKy0ip=*}9>r_XOIDP0ImUTmF~HoTSk07ZS!#|^KxGcN#F@+P=MfF?ivO~8#m zC3SKw)J#gls;zwEA+ADRCXzfIpiNTbn8|oHyHDW6&QjuHY}%av+m2A4aGF#qGUew- zGFM{#r&>(c*4ZaW=fXyA+pt5~dosIf5R$Xkbee7RykNG?B@ETk-d4l>B`d#!)0@Bz zAX6Vec4VIJY4~R%gB3FBEjy-}AWCX=E~s?~Ly*s1U0n}vuK&6HK(f_#E@kUGm@dhtisFkyhsgqSeYUi##bh=dJ(8=IK4n~yp8YET{*%o zK~BC8?M6Qz@wtB9^7mKOkLdSmLfo z4L@|?bkP4%@o`|TOQHDckHieoJ_={mpf)ikT=(nL6C$A7IV6fgN=NighL`M^;S>X+ zn~h;e|3RQ~KqQGhw({K0%5Nxmel<#A6)i_8kkzDM zVOpt*;;JrnXlfv;!dg+C!E-zeCl;%vm@J#meegqMz?Bqp=i2H z;kO9Vb7cu*w}&U-0kk~+|L0U{*7dfcLl7tKQD4lPR~cVTsO9O99P?9yH?9K1n`V~ zuXK9qAWYnnLg4~oXQo=1?NwO(d^vC7kSK9$e(G1YPa#fOrJ&)au<;8bbISItEVTw6 zFmZi-y}Y|$u8*))k|oBE{oK!H?2fg0D%ItPcjPbG$c|FdJf5!dkd1gE{_E$-zw3ZO zNECgO6A88V9HQkt9a<|7zWR9=?jODk`+U3_e>*FA_QLOcW^R}_emV$}3fnKVI2u zv1ZvNv?QAy`OD>vLh0ON+CiG@o%8@%8JTL}?KB^GT!t+c(93HRrxAvAq>!w1M2Huw zoms8){OHe_{w(B=$g@jdGMQhcIbB=voye6Oe0sQ9n4gydb(3>%kbv7&iNlud0Gmaa0QQfGm59RxjC>^ zM4HueyJXiuoPY92@dnxTEPD6Vf`B_i&4!=CsM9OOTv6i_Y`cFqZ}+^v3^{?wet~ar z8dzcT&he8s(la{?# zFI~-EOyJ?#CzOT7*CR{J> zAuvwUEaZdEQM)^LWzYzu!J)^)=yNV_OZj}*0!9gAGh@DPwDQKtdma1tXc+zA z9g9KR^idng^WU!az@SsSq{hF1{3KFS)Y5+;aB|2S-c3zjT72^+M4P-!=#PL?w9s-> zF}(jcI>)#?`!v6UTN7aTg$d>+qJrC+16^y%eGcM=l#6xO`kgTKYsWg zYS1Y{milIs)UC%Zc3@TG$je0EUwx0DnFReZ1(c8CVSEqxH@Ex7 z;fHlX5LM|4){oJp(N0d{>DW52w-~-Yji&*;hVxIt!rb$24I);Qv0~}%m6%4q7Gb}% z`j2mc$fi&Sthzek~qKYBR}u!DzpQ^?u%A@^wJTJsUMTZm^C!7?zu`|SB9koJK;e+UC^r2_^n zg>HDUv9UdO%j*}c+kfeRx2wNCK^a#EE`E%)z#$q+HK=h_2*VrJ?3o_Mb+!e?)^{+- z6@3a#>ZwZiONEr6OBl-#h71}@2v({_V8kPE*p@`4rRWXgsD*@LVd~8?f^N9A<5(@Ei||KP1fywj zY|IH_s%de-R~^nW^YBy*b(0_!R1vL`ub$|W>*uEq-PgzEhYv6RHUh43cwP1pZxEU} zvN-SW@2enWsvoACT3kEkf5eWc`~?0*(rIyyj*cw$L2}c%`~$&04`9FBgx+WEcZ4KR z*@C_1tPU#biY=yOpi`={S;kbFnKnMy~v{`^k^#2tzE|7Ys|FL?!Q@Oz73^YP1n9slV8p9d>yvOB40mZ)DuF;(A* z%4D!qFI-1se9%X&^Agijjo9OM<)WCYZQGM>eEzmz$GVE34=wKU0S77fE?J0HEepo< zZq2I~^(|D{u9F@LE-l`(BvsuT|_%_AM)V<hgB;!}+nBV*AyKo8OVzKykv5>~7P z(>04xx0V_P1}nw9)Wpjxvs65s$NMjAtaq+^wPO3i_UPOIA-{i0`d6>aawfr0r?A#o zMdW9}`J%N}r|m`SI3nS=o3OqHX~U99rb&~UAp}&|Jnv)j>iA{H<^KX^zyV0zUY84RNJ*W41l} zdFUHAC`ty)UNTG&g(#4z&MYK~iP6G?L_|Sk2|*%}$88BqT@v4KT5Qk)wL%K(7N>iT zzd>Ad)W?czXr0=~@AcG^ENQ`fWHW3{O=^QcDAo`YQ~l(_E)}w@uI~Ii+a&xw$}>=m zeERh&BWt3)Va8DaeY=pP_OebDT^KXfx?QZyv9& z=T4&l_w&a4rRmxk6L5;}e%jCG5l|L%%WHgCw1K<1xgiwv&KNW6A77(rS)QDk1k^^E z`W1>O@*nF=IPoOaj}Vj#*5i1d?iK~Uyn>XSUx^esJWfSLWbnT>Hcjg{DgLY*_j>#U z5p93(Ff?U3XO*Kt91gA$BDn+FRk-zj`|5UfHQSKAUy-{&;5qq#3W(zTSEZ}*bw;oi z1fHnYDMjyKxZHC>6k>s`$;yS8aEvGp@ef00lfNB$#|C`btrt%SdAlPLvbG&ZjaWp+ zzB5d808xY`FbR8mdi+k@4HRKi8nrc(bk=Ii37IK7)hDE9w z7$N9{TWl`r+*E4JQN@ZE3nYZqS*yL+S_iZnGO(irW~y^(7QmvMP%Fw(f0Px_Akr#+ z`ka|de7p0NG>&&xo5BLP@w{Ho48YaV57TOD_i$R6Dfe?@zqQ3`wLdrq|XkI8NgW3O+x+5%G`YkRjUL;_Bq%X`l~Fh zlV?B31PIgC)-nR`V^CDkw|4m?O2qI__YV(`q1uMkQ1$|1wm_wQI1|47-#&M*B&Osf zN%SF7n8a{Hd*>JoiSJKQhtY-fdKEJ&X2>o2Mb8}<%*zX`?dq>p3rm+^go7F9mwWq- zPOt1DP=0s9hv2yg9r`aXFajMA0ECf@fWwr86V}ZEi`CHBDrrGjoD;P`MrY|&x`^SP zEq)(ogw03O+*v}< zOkxIqA3Z}$?7`r`$dD9crFeVJ6+E3sTsk#I)8!c*W3k4r}r+O=`LQG z>Al0Isd38H(1Cv-iqPYCzoii`dDPIq(=2EOS#TQ&%Q2)E4300$bo`+rQ5iB}DWyfO zTPm;@aG^A+sK1KnR$C~d>Q9``rSlMUBd&Wc75TpXPqr-Lyt(KCyDtA6Bg~}5t zj{u*WXe&wwty&wGL^iGPX$D^*QQMIqRqwE*;WU2ul<@WtW#qQjKgd>?_XAINQo*P0 zG+0{RQ7OW|(97QaYDuW5x_u(d$(|E6xdlEeszPE^2FSz2g<^c`aB2=@djj9)C8FVq zdc=#t{H0%gulAbbrRP@a4R>AgUkLA{Cdbzdz65`?oXOk!o4G6D^wW&3Fs+5h=bn%r zMa%0Y_JK|+O)V9qW;30`uUx!Qv}|P(Q@E6A+1oy2)S;Z!xBff+*T!!%507N6uD(5a zW}{e3d;4JW@UvPW<5?p&H>7P-xn!sJK6})#tB$R;))UYfkWd5Rsa13Gv~)-ia$9k& zm8@m}?iQeL7?(5-8QK53@q z%Gdk99cD?8t+}#e7U0@AN+iczW`t&9ZSyZ77k=?WLz3?853m5QtE;c??ND|(NsX+f z%5x}64xb8BPQIUoG^z^eL$1;R94FVT`!Orom4-7pcP&^@vv{u&tEKek6VwIKG*9>4 z-(m8g4`?AE4!Vl8O9|Z~xU1FgS&mDnLws_oTh!*IeG66S#aTg3AQieTR`CVBXj2kt2%0WYF@CDOMwdm){C&i+PVor6$Vtt&pFbn0cetCTZJ1~?hIV+CG=apV1 z2--Z!-JI@D?#>1TMq!xubhJ2)8QOX({{w$X{; zyeJqy#!Wp=T1G!Ua_94rIrPUUn^iwjB6l^k@F?;D9Apwth0kpj?#>AQaT331@0kIp zoAb3@5IeM2o>qib9xE-w?jNJ58uV7R@5~7s3X1deX}L|Lxgt8MqCRb6OhKe#(5j)c zo_Sl#n)%z+zy~yCBT>oOBKeDMIPL)&9qBAfSU?X!b^#og6oAzv> zNJY?FfpQ*rtrq;F)(e?AcW0**sEz@H?X}|`F|KIFAOkZqMLEa9fPA>;(>MaA*Yy4x zpKbNYpC5kNxv!s|A)lU;(T-wIO1y?6pNbb^z^1+BXkw1XgR;Qasl(*}*;-5E+cjT- zssoD>4aaYLKvuqUPqsUyckY6z?YH^PVxDxRqr=SU8R^)w^KZCyTy=r(v_Oet!zAsdn9q}eURwS>ukzg8pK$U~ z(kLSX4XH8#Dy3quMpfmC*_nG76EFFypeptT4s1-vt;$>#`}Idrq*^_3Z^|>A^6J=! zYD}u6NuQMZ!}8SZ&OupTLEltE)CV0@6?DZh#bkzZJq+9vo?j#?ardw$@>xm%Ew21F zm)|4)9_Y#c>6$q|XDV09E19cMucrZwebSI}5Zk@S1^O3O-SFAhc|%X;T3T9KI>j!E-1 zD?nfX^6Cc+gg!7`h+l$fs-l5xPtR>AvkP!y0Va)bj39uGwivYzvDeMTi)mjXTZ!tMzZtoxEEn@zO-cjd-g{yjzu}ByDsHQlF zOGB?qkQyv%5mjmFELo%7Hh5r)&97)e7^qP|uayrgCV`0t7dSrrnXksqdDn(dCyfeS zI@1#9HtK^_GSE+|^{5f)`3=G;qt;VoD^$fOR6NO8my;=Q31GZFPH*RYB%^!KDQ{5! z3uBoVGaucp*89C+6lq%_*P=Q&`4hFZEG1Rk2cqTp!|W9Y2H=q^NpbBmxJP!^`K@E_ z75#i#_@a$ogfr${9I(TfH>AH$Iq2_iar!I z*CzxPKA7J-;C{ih9kN0tb^FhI{#mF!7*d~t7NM=v&Mw?< z+gRjDp-)b-U5gVkEn-z{Vrr<<$fK;J4F2|z%9+^62J6;};!28?KKR6ZEBKqT#e69m zv4W`A(;;RCsXXZ{Q} zj@-dNI~Qo>LzMn#6^aQbwuJ3kt7RKIVp`L>c;Xh9&!+%Rn{>C70R~EVUhi8_Ki#+W zjvGnW(7=r_(H!Qf#xD#rGymg>mbm8Psi1;LuDD}HN;~qAB(&L4? z$EMGT2lj`#g#BJe zQiPvafinwwzV{uLq5qTQH~rp;^)8Pi5<(4dEyofT6DPmk?|*Y1J-{UIm(^$V^ZA}j z%w~tOWaW3cp#vMfW{@hQ#E@WG)efgmG&(#`2cRgWgr{fbp{j=FB9_*u7Dhu5Zfm_p zu4zxrqRLh=1Mlq%%N{+1pPrqv6301CH_p%Cnc+>XGRe~@p$&cnIFSRU&y0KsZK5IiQ8&CN)n!!>D7QY#^$Az)f!Man|L1B{k#3rMRaK#L zQ4=YWnOEepxjHj5GmPbQPT}T-cCN{(4!}>u9%{)3xJw@$AWz7)^e1)>=M60_g9pMl z;GTz9;i8Sje>>XmpGkZlzpT{xjh0RvB!nY{V+e3tq8y?45bEY_ z|7uLO!fNdG`DvDrCV#eU-B0NW_+6nddpX-y za1$^v0r42qjer;A!kjP76=oLW{4qB?+p~fGYSGI{A-b5#jBeGE3C1}JS6_oiwgh$b zI_q?8X~$zYh}aL2@a~@htpgWH3Z%Nd6zxJZf5(Y@@6+*uB8s4t$1}XgUM`aql6F_) z?;P9L_uai#w02>THyVW^$vb$Ivy2OxGf20Tdl6eBrJxwUZaz^1Bw3K4iezA0u!FA_ zPG}}bj)xi!PlY50)-V>`?`ZOEGDpx;#3=QUpw!_+gpH7NA1SfWceY?^xaU-DgwM zc5J2RUjFt424Kzd=kR&tASmY=e|2ERy^nN5AY%mQvEyM6M%LBnw3e)An)4j9W+4Iq zHa5WaK)q5S!K1Zf36A6P3Us?+yMT)%_S?{&kd#7y=La%ywFj;B~&UiNJ18E)Jic^Zokn7rODCgg9L z1kj|i=uW%CNZ-~C{)+_qT1B##D_sGFa$1)GBbJ{&GiFJJ!Qa^rrsq#vfU_l<#@%_g zL$Bl(Q4zxjNyvuCF|90(N=!2*6-7UfZ@(>U(05N8VS=hEW26B`o1-mywS?sqDfJ9E zuW4GB{w?)j=uM48IRKapT8reljbh_-u$TKW0TJsfJxFko|p@XVcnb_Ix*W2!i`0c_8?i|(6gjPfUjiC;wL2?~CU*Rqm%GdDT%I7~p@9_MLw z#y>2I!*Ygb1a9Q)g*(#rBfE$Y!!0~?G#Blv>e``-SBpUx~8e24MV*n%Nm zt36@7sk>qFNIl(}>xY%ztW`U1oK*MCn~#hhOK*pW!~1vd<}rxR15ZoCX!DF9plaV@ z0Dw~4lG5#aNY`gMld`1TE{_XmfcZH~SHhkPWEoQfJs^e$dYjMKK!*#^@*DzsbuS7q z_eN(CF~uUrYr2*O$wzC+B8#KyS%+dv-=Eq_M;3;wcyo4|o34{C;|=yg`=90Zg@xNA zGHUM)5f0$oBnU?YmNNP>pwK`yX@q>;laWK>5tm!(k*u{bp2<>=je+<16!bUGAWnIIZPW&qtF5V=GX9A!?&jN=Q8X z?ctz}eshFDJCFdV$adBl*_i+qI}jA%bySLj7dvdW8Zsn)lOyDZ&P=GspA87pjST|I zS@EOpSYD{J-xz>k7cVk%-cN#1Y%&4@y_y;UBey%UUEjgAab%jfTuUE^^lk=~roP`7 z-P6FwERDbY;!{I|V?;R0ip)Y%=THO?8{)`917NjV^FtF1)A{|_Xt~R5K3(E#>;`-$ zVUuYw*D2L2b=!_1P9Z8$z+Vnb^0I0N09n=dv2UdNU#0fy>gH|%_fLM@xaX8msyI`d z|4^DCXSom>@edb*%=%t=1M(By?{6=_k@7h9GuCIq>}*r(BNkcxdIsI%5XjqiX#yZ0 zkir6cxx5AO58~AB(@WfdaAQpixDBURg`j^9q=*u%Z40-6KC-Uu6Jv#FmWETxb+~RL zjwlm}eomF%uPiIvKo*nAADFu4u^! z)PkQ36C{!>Y9|t@VBH3%esim^6&s#7`ro6H`1vBKgQ$1yypi^DcsBO>pF%_fMsbAR z&3j&gdtua^8-&H4-Gp9N5je8#-MPYVUjQhbyR5X&XVp9e9gr?R;t`$JTF z@xy={WoJB!Nq$&4>e%=?vgwcR8wm*_8SO9eq)oJ8nsY zMZWjoZE8^fo@E^WZR?)5BW9P=UvR+Hex1vB?aNrYa}(RTIjnX01Wo$~0_;Dbl%7K3ctlEuDMc&)CO$ND!pg<*ouSd6b=T`mKm3zllEiI5$a zP@qK>tlV?nv_B~13&g)q*+j3V?8rz9+= zcVjWd9C4pW8U(a!OA8X41B@4<4#_4&Ii>Agd+4kR3FVrr%R8Vtfe)h5K<R?&Gqr-7yaf?> zqRlM>;sMn)4Vi=rmi*gh&rEI~_QAC9!09BA=tZU3+Km^Mq8o9U=^5SED)sEV8l#)h zpH_`IBD!5&2b=r(ML&JR$+gt)@(KpNan8V5_&pMa3Y+g0_=%_Sg^t-_VzJHMiD; zaXV=Qm>7ZnEY6Q-%AMyArjBye>DYn!erDP{7pZJ9Y-HL%90|#6IrVYXK#>|`YT;Ie ziB4iEi?GG8+k&O-u!48Em`iMBJhMDh)?79WOq0f_gfY|tx_&Y)M?CYGAnhV28B5w| zI54u;YE958ZcRl{8~KBF8k`vDr-DOoW$&9SJSeGQC$fBL`Hu=hk%&p902d|I^Wc~% zFiwyA)6WwMc}D?JnBq_~_p*tGfbVGl&p(`y&o#o8&7!k81fFu4Km*mNhAPJN_zasq zUP_;bbD|Z+;d%~6TQ(fpo3O0)k zvv;>&6@_kAl@rS_-0wX`qiqUj_V?$BE-?bkoj@W6m|ufj;*?Ck6k;LI z3@mA`HM7fTt~%`{JGIKtOt2vDW8V2YfR=ahsu7KFGpl8A0HhZEicvJ zy?*M>?#!?5%+z9@YLUvJrb^V9)4&4f9Wk;c$~=lZ^1S8DWDDZF@WY6x_3Ji%`2786 zWW?*)>-mFU-e$8{N*G9U>qThF`_oFR8-kLRbfmE+>#7)8Y}IWtpO>6m^Rrte4$Y4f zCIrLQG(wd;yTS4-P)?0PDN@#^Aalrn7R#Dl9ga5SPX3!*1|E-P}n1Xfz z$f#sRkjLf||2^@agUL$!|I%(@142&dTb^8Pw#nF))J54zp`lbkpufWhF9JSKbj8~V z%nteojvmVK?u>zS>~9MJ&zp~DB>%Yl2h81S2VNltD%3FHBLG+dR{#FtM@i&8EPP?a zE-I~JU4TEvrmfTa1{|1tR6Ts))wIswCFkYAp}Av`40niQO|eZmUrff2L5>!z_x0ep zd}aR+%*@S)%U3=*T3|wZeM<-q{sds;t(e_A++LV=S&CNANlPhVp{DbBN1A5@29)2A zrJvajpL|bj>k~hJgam*3=KCn5nzZwz=-XcQGCRdpXWcMsHE-Rn%97tCH2rfnOm(!{ zEHQkfE`_>mTf?nP4DY#!QXc%8L!lvyE~(R2uSl>j%-Q<#80;KXXf)ZfZ#fHQE# zS`tepNH{UTO5{B9vr4TLzBIwA<-4t3NnETP<0yuP))sEkj|*e3El*C}DeAfdvd@$Y zWMH0QPC1*NSYtd)^C0xnG+S6d{7N-7sIrEtH)p;J_LB@7B-$0h_ZSXEtCrtC__e4@ zyrO8;>?ZmY=2HOAii?~3$h~XP#%;s@#r|y}|CRRPVtu=7^NG3(<=px06fZ3ehgX1) zRF>S&n&Ymqm~}NNI?Ai!~4P4P(h|mjrca1KrZcB` z*04kaP8R)A`F#t;imBykYZs*x*pO0YJx>s)^A)_z@16wosWZL$t!uT4wW`sm@KiCK zoLv>_f0skLN7ZM9#9a!-QK@j##*UBi`^?5iNCGCu$Kh?21!UQB9bFw|em`^uoFJEB z3f%ooCRG?tW?fIF(6W0K@yZi#UZosI|7TO4AGvWCN>i_{eD}{XDru;XY|*rnAz!F8g8H%JQWjisoNn%?ks2>FOm*`*MC6pr;W3jrs8< z-~SpLAe|yJ_q-u0Gj)a-1~u9_rx4Ds3tJrYF>+~Z>)fY%9Y7u)H&A+JlsDga!QWVL zc}_=O{_XJ#?@s}E@%q>ElRwYb*d&`zxDy;QlR>fAiId|4E@e$HsQBwlH@Y3+GUgYPtPw*e{k(O1|4w!T3t2g zK=x{I5wR^)^s&yAsvdhgCoUb2-1%I;$1Q37u}$*LrkzNW|1N^7P7Ro zrGa9WiPdx}qVS)J`1-$8uaeTs%>x!o>2`wrCv{!jFgk|GKXr)J)M1!wDb>!1=00{@W-i09Y(KsDj8b&li3G*L*9d-G7&MbE_89IG*|u`b`%Y(3}U!!XF04L7U> z2Qa>n!qz{PEx-kDBpl>H#y8HHwCjcHgEu@p0Ai14-pJS$8DOpQp52pk_jJhiZVovS zzU}6}0Q3*M>Y5VVoTFkC+GMl8v|LSj?vlW5huX4=n^Zm&31 zvsLV$O7@Oqvlwn=Ru_-?X%);kb)_|}7&$p={IKAE-6mX3(YLs|std$$OEYn4<<{t{>huF6V0 z0s8_g!jR!1dK?~sjS&XQqES{=U}*^PA0H7ys>ix;`!0@SMj$;}Nk4;D9z{A1))O9h zdlM>llJhB?W>3#EXT#gh;F{wgS9aF*Pv(iy(LdbkA_jbzVTVOtfwjFIjDyuxRye>h zcGy}YCh`4;_KUiI+2A`*93VPzxy>9*ac}-TJd6OCTuBnZ=AiEkj5=W5vVE^fsTYs) zjeHEhaXLG{xtkURMrIZ3sJ+J)LgkhHypiQh_7b}CRjZRz2xuobUTC|okJ!Qg;^kMG zeDNGP{W!0y{#Vzk5*@MwXemPz0cTxmI_B)+D8AE(8e+JPP|*g zS0z+S;{|vYF6Gls0NHK(=}}KFMoK&m1qC#obEXd9FsJLEhPitJckz9%hHwTKQc_zr zvvQ&1z6d5H%~=hKRZq!l=O6TkB6Pn_e7(L#V0J!v%&1}Td_F3FTI1d<*swxXx>F(? zqFn$D*0I&PX*80`s%71Mk{vtfm(SXs)ds^Q|Xu@@+yN(QEQA8^Rk^5cYQ$r6b9 zoWe73^s4VVl~(9{OQ~q0l*gE-q+xEQ7-F#xu|A56Z$ZOiY+;~;Qg`7)M4$_ER_l~0 z(csC8wbsefEdLw^8ckhRLb!80z><_z1H~xh)9q216s<<8!$WTN>0qpFu=5Hf|5@`9 zG=YjJrQoIrTI^xSD9c(JeFLxbdY`UI+SZ=2byJ`b3}GbW%n|HHjQEHfeJ+H+DJJmA zKTdAW^)8xvnx=vMCS~T1yU{a=V%9Y7Nn4%7=7vq(9WkcAAHU@mh0x@8PkQvc3ZDO2 z-(L6Fl!ikXxq9kDd80QBc+KXkb;U#tMWbWJi~mx?z-;SRW52W3hP_b3uzUKRSSMPMcXzl-;obPz`51L`1Mpu}Zx#t$$ zHk%-$Og77^Yi4|$uIt5zPoPZB2TSd^UcF9wBf1v4ZH24T@mwIySXFC(V`$HOhhcXh zUWkm*dE;^TKNhEeD&a|+#$Hq&TCfKA*o^jbn)T$}BgjBF8qZKGHC45>2K9sF(t5?W zNO-wY-bpAw)fA{0^a=rAYfLoBh2z!=8;v^ijCqd4Z{jD7sUlcZ=Bmd5I3t6qKdpYz zM3#$0?yjY#txCvzBBN|GHO>4IW^Jsu))tze`C7+wjBA846JS zJiGI$^bCx3s@2?&x6QV`mv1yYZ7{G*IgruiXKd?)1Zh0R70Fa@Gq8(-RPx6*)J4K{ zo}AgLCs%BI-}}{aLgF)Z(E1O8*e^M}9%;kJUkr-__l}!naf4cyG?Q3%;@=P7M{Z^e z_vTCG2`@;lo-9}JVx$?E>rs`&ON?3alrB#=^E|KF@;4uYf(J~S1O{3d5P#2`uDWNd zr|0kN95r(&z$`ek7@&+?fs!&P={W=%L!xo=|DI;Llz2%cnaLQNWFx1rhqo0rHZIi~ z@OQCK7JbkoqZckH4cTbah|~B|wb&mZ5jnVspesU0+0TLo9YIHcswtAEvd=4to-9RX zUDrTo*qj7S_sJS07?Y@W(cl#c;(V`NEP_oaf|A^K@e6fNI0>I_X`PU$geru;ZYn9k z|B*3dI)^3D#2!s&siK_5={PK=mKN3RJVF22+A!fSUfr&(VJ?d-f@Iat&+$COKn$tp z!pJA-tw9%}?CH(2^4R-JXiC?$(KJvb=yidGmQp#F!>-j!kB@7`PJT294 zlEXsf`ChZp+ny}yB78QUjQ#C!bwsmLv4kH3V~SXqYSDZ1x;e;>I1I_livFwFkVgr=_(l&b8V5ZqmS( z|9fP9j}on)Nj_k{9H+0JJ#){LBICaJQ?_B}_~-0IK5Uk*4R~J`I#q;InvYp=l&#v# zSutP!Cv^jh1Vr0MXjX)Pe5`T61vl912&)NHHfKYj7;T*atcJ2;W=O)Ol8Btftvr+n zGd7YDKRCHkkw`Aj!qt$mS1FyhicljnuLFN8ZNtM-Gr{~)h5kSfpTeeU9#^qpmRUR> z!4Wx@oI(jJGZ0aOikqevn}`&pmaqraT=fz0cA$7cBi6=9{c0;D!-e&>K-yR?ki|}p z3=NA(f;Lj3*d>%BQOeL-^)`sf%gQ3xnzL#tRs&ugj_np2uK*RFJ7F*D`FM>ujaIdi zbees#dZy>++#Fi*Tm)q-E{v(r(_f5|j{s#;;BHa<-~K}Y0WDw=-7wKd%P;b82O|ijzJ7V<5$E{r22q{PQA-os^-}ie6b8W{83M@JmU-6$cVxD z#scO{-yt^8(*VJuiOt$9(k90YX=Ml8etqZuD=U|F0G#Dnvtj@=9`cINd(egNgHQM4 zPP9T0t3&S{6Of_L47Ro|9I$op&DGxY44x5QsXIMc5gGttM#p|x_m5|Zb0m@uZVxE| z88~`M1hzo4ez+oti40B|oN=nxtly#-wH8SuK`!o!n5BotgO^ zJ_%zc;s80L{Fw_!$+DTYR7j@TPIYd~(|5Cb>ehD^O=3}SW0t&u8=5va1zT-F9ZB$v z@f!VUjArH1FW)lHE38_(-lP*dnm&3F9|@2g_9yf_9=kj?sFf%bR!X?f7j&#mAE_^V zZ-x46KZCx-{@0uI^bZEf9-)*oxTdk#g-`F0rcoY5=0Q+R~d{TFESRzMq-VQ zAU#YxP%lxqB9i4f!+`meb%*bTpDYP?LSHSRDpuY)IQ-0|mt9`DvX&7RjsDyQ>FE?L zUm8xNhI~s8c$<0qurjZ^cH}zlDNx3LXxhaz-vZRu%i}s;KIX4)`(QW zm-fHwu*>oyWNF9PVq3EkgHfX>WnqH=D0G4)oL3nPIylWrUnEbp1g~mVNKiupJc#Kf zqbgCMMn6#mGGaN^G?tO$pFq-PHZoRy$f{we-Ce^DQ%MO$CPg=|3{?&bG|&817i*5E z61Z=fo4%Tj4OhvF2mvj2=VlxXb#u^a@P0jH-)~9Ds!TMat=laaN1ter*-aTU3*un7 zZX%6IrkhrtNS029bDtXccev}(>G4jT&Lr4ZDxcnQJE`ufm7a+xot2)p_Xp4{LQApn z@T?Q(b?qAbza<0n$(Tl*X~(a+p-lFJ2peMH9aJYFmeiDVGe+6R;+AYMjy}U#`9v+t zLCv5R#UV-u(hyPANFk!7y^bMYfy{D5jwVGIp*QvXP)aCCk()hbK$pTZhwGX5Tgf^| z4ri?bJ%;zb_}JCgA6=WU8FLWd93A9uKe_dT3eWikeytzW2i#(~BNL-iv6|Oi3M3!o z`vfj6X#!#I$M}HfgA}mR)Sb*O?C%uJs*>M=g(`fcG|X6GCp$|7l(K57_e%l+f4A#O zR4`ps9%|kgtDaTlou@{y74phG4ed96W2InP71PU+Y=)-V-m|Zpq?W)(-Of(@* z)T!S1;>S|E*M_><>U={I&-kSk3DV@0nx^BHscXec8*FTu(@dO!MBi+%OPXuUnk0r} zbUUB7cb|O@3v8fPChsyi9vQt1=XjpHXV3cW;{HVp z$x7!bVlmLhzRp7@WK`|H)PQhDXCP`OupGW6ljcHU6GB9g#UY# z4jAz0xudQ##~5Z!XBLh;!~OHSYiey6UX+UxgS9fkDGQnVVtwadC5;u2{o0vi|C`W> zd~}PA5ckEVc>v$AGb4k%IIQxspaN9{4aS%4#_3bfE6L?FEso$mhKPjP2+p=+70&E9-DrE_W*2t$cr`x|7sheXYL(*S}3>j zWMX5+i~CVi%Vgrimx3`+qID)xI}HV383zUiq87BwAE(N^n8fKGm37VrLEA7%48yFO{vPjz6ap8)-(9j^Uz%%a-L!^;rHj$o5>QxBLG45iU!s12!a6X8!^q^Z2%YaJUu! z_~y|YZkp};_y!X)hG`9|+x(Yuvkwlk8@yo_p1Aa!{JQx{;Qu!9wc%eE!ROtOEEs=? ztYJMnF%oXP6ed_HNrUWKP3wbTv=hhQ;j=D=7VI&EPcuz)Y+aEoSaroT;c2B~=N4Hm ze@<9)!#J?{TC$MfwK9guRFhb8aDl)r1|neIpItrQFgLa~j&1$LZGy6vlk$U9*i3!d zWtlG&kqtXrNq{BXP8g(3&-c%A*ZVXdJZ47xHIWK#M)(ETN_0ucIYOPK1kw~0h>ZxM z4b%VWPRQ`Pu1pudVD|@8LG4YLij2CAWu%4+rY88f?RSkLcbC!BrM1`~h?8P1{RX|1 zp%p_MJ`&`LRF`au5Z>dzI;=O2o(vMYWPZjeP~IXbF`x ztE7tAde(@$5l4Fj`D1l{dW4wG*SG9|!wh0e<@{YBpku^?OO`5<7DTSd;FQKSaQEHvUL@JcMU?sP`0kKKqioT9KN2E;6(YcG+s8xHP}&qQ5#A|MpJA zpQlDt+u4L_)Yr_Fc<*#I~1W4@nLu8&WbPF*yMU5WKh2a{^fp?{sJu}m=c zrmwoR)@L#x34?5%WWiPg(>4Gb{wlbcE%!(T*U|#V1rpzfz6eN zXkmQCWyUASacU{>*HOQ7$|9FvC0HSI85@qHP7Wd|C8UaS1sXpz$L#bO6-roG zoFi3JGSWm%0(*PJOgjTrmB1cU<$Us|BnpqGhUtxLkx`g8JFDfi6FKVTZB7R18)M(I zzy2|L=mUuVLZKJlgl?t`;%EwAa`<~C)k-AB0F?$SYl<2H0pU-#*MBdScy6Xzat4fr zro+W!+%`#C%HShReDOihw$?ZstX$bE}N{;-Nxn>$Wt;msJB8d?(OZ~-~75G8J z$#7-n4YSs4uwN8*;JmQe@gEuqdHDE>0(>Vu3}5(wBlT`B3~cFWbP!PD1F~5Uek_!A zwPe0VMkVIv>`}Zv_cdJP3ZL9B*2_0n{0@0wj~G03tQhID+&+Bx{y|nkRD)A?H-R#a zMIn%ZQWle)hgWJ$@LJ81cKJ1HBb6w;i9t3g;;NxuT~>b7+0QJ!D90AXg4@@6GNzU~ z<(R&fA-0GS{^?<|K?)9mn&`d{cP4|H>YiV07TM zu0#mL$bcPTjeYa;=r7U_R&83pE-qLIkw(X3Vq@*^?}-~aI==InqPjU;jfImq75ayk zwz?56h+xA@XJx2~*W7RnurSz-P#|LvHJe-MEl+hlfOY=GH1}RHRB`Nk%{D7oEpSxh zug%;2@J|Q9voHcs{8H7+RZE{1-Gd_%qNc{izN^5xWX6eoGfxRjrN~{}&4)3>GyO}# z_-)6aizT-Jb-Di<$*z2RMjr9NtpYBBo`MS54Pe2Hbo_xCs-mX#aS;N12k^Wdcy;o8hKgnPi4^^3_ACg?Xkr=1!t3XdN0fkwm_t zz*YJ=jHA(>5tr!UM~d+@2QF|qxW4{*jDbLi5HZ#eke0nEvZk=7EC^^7#`V+rCG(Q@ z8j-8o?`|8HYyxRWe5SyqrK8Oul$GxLD&>ZX;FES5A0)MVS@j3?4$kWa zx1LD?Yqh7A)%E^#bxkyH@((yUrFVIpUmmO|_QNs>E96eZ<^JRj?8- z;nhgl)OX;ps~kp;g+mXn=Sb{fuOqCJ53Ru&bp0nvJ{ViV*gHlNuoi1AG@y)&IDBc& zGT6YekNbv~Ewoj%W+GHl-e31Mw=|#j=V>6!;R>EdcmHh4z*?JF@CyW@n+fkZVWj(| zh$r_n4cHhx|i5c1Zxl1`78Er+(xG0@4)`KjL|diXiDSRpKO9h52i2$TKrCR)xi~ z4mJez%tR<~1jP0M+BT1e#ev~R5wgEx5tcbZ+izSlwN9|HE@sb_@aZK;XFhY)o%Qka z8OuUHz;pn4;z(J{@yvdPmWWAIt$~gsVws6P5rjxbv9L|6|M!3 zH6^s{gQ;XND{VwRS`V#F5Pm>xT#tsd*cD!nd_PZ#Kbp9XkdxvseEZ!$?^kud)M$v6 zSBi`}0gIrAy9Z`opo&Y7W&7~^m23Xv`+a-8dc3Qn<@I&qV%GQ!b&nANDo4L#+C%q{ zZAomDU2MP4A4KEaakiuF4&ZmTg;1y0{o+=_?wrekOA-tSbjZ-|Ex?V)lB8h&@s>JI zR6Y|bh1_R9-uaD zAMF^@DowTB+AvNbD*eDkRVU(+qgFay;w)o{FGV_9jO3MCs5xzu-ok>X{WrB8w zYXyHgign85wyL`^X%sz^3Cwsg7lg~H%FBCoN=a*i~534%tRrS^oA%m7#W{l^07Zzf7 zn`HUjfkBs8y+PkLdd+C5MOJ&}YDrj&)B{%x=zg;M*C{3zD1CXmZ_!;YI# zhe=)C99HLe*44jznv1u9LxE%pW?=e`DWZbeD@_B#hu*ef9}*JP45G(n$TRM76)D@_ zfkireHwjgUh@&@@)8sDfkr;c$IRCFSgirp^gzO_*e#QsM8L6m1jhW6y90mH}cV!(U z{(mI(d1Gio1XAM}3B##Dx#tS9UdfBd2?o&s)`|M6M4|-4aW zP4yS+xqCT*ta@yLnYVv#(VY7W*U?NewG!XzV9KwDHs~r46 z6wliAgI(;<5?e~X2mB|eOJwFZX|F^Yx&_QQ84CxDa}X!+Nu4md>&Lu9j1flCsa2cat595nQD;)ML7%N-L5oR2&c&d(?Z-l_TKXP z*%jfwcdPZ}Mkc@;q*2T>?3nON|KPOr=cop5{R%SMg&n7RGDX|;45hd84c`yvAmnL` zUV$jbU0mSHOy0WFi@luye>X z$!-7DT#I+`dg0ug<+@VwsstO>9aOFg#(Y6D&QI&|)cpd0zQP;GQk10hu(^XxP9E<7 zD%j8d*Prf$up@vCxILh78drT>uWEAIKsOp?346ZmwZp;BuhVq<7w}yydw)Hh82tKg zY@x3^aVOgg3*`o~;ggOdmL_zQ;=(~*So5ccVi{?ixlRXwaA~j+16z-^pod zj#iC`Ke_n73G%lGVor2Jd$ zHq=v2PS|*1r%xa))#Ewh$g?`at79FH5oFPiNvAe-2**;~*Q{H@)CF zaRKw4ZdxchRL}XMnVj|1e_ZS?(V^qSO)GWEW*S4Wd*$&^RZv9CQiPf}6`hqyz-Jrh zeMj5yWA`(B_bVW%fR`{#f^wsb9=QKoEWV-ow2|#pclGUTXUsH>88`i6t8P;g-S;V@P6B&{^)i21v%pTGR+8kwqpn*PxXc zwCpq`P+If)B04LHcikD9wv}k&|M)K+qBtC()JfaRsOaXQa3D{|;o{F|N}xm$Lg