From ad88a2a4c7d94e42476a6cec9b6964f66e84cdea Mon Sep 17 00:00:00 2001 From: didericis Date: Sat, 9 May 2026 13:18:10 -0400 Subject: [PATCH] Add min-degree-5 conjecture and computational verification search Co-Authored-By: Claude Opus 4.7 --- .gitignore | 2 + papers/plane_diamond_coloring/paper.aux | 2 +- .../plane_diamond_coloring/paper.fdb_latexmk | 7 +- papers/plane_diamond_coloring/paper.fls | 2 +- papers/plane_diamond_coloring/paper.log | 103 ++++++------------ papers/plane_diamond_coloring/paper.pdf | Bin 215556 -> 216857 bytes papers/plane_diamond_coloring/paper.tex | 8 ++ plane_diamond_coloring.py | 28 +++++ 8 files changed, 76 insertions(+), 76 deletions(-) diff --git a/.gitignore b/.gitignore index 6e6f65b..b9bfdd3 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,5 @@ colored_pentagon_reduction/data/ __pycache__/ *.pyc *.pyo +.claude/ +*.synctex.gz diff --git a/papers/plane_diamond_coloring/paper.aux b/papers/plane_diamond_coloring/paper.aux index 4e82dd7..3a542cc 100644 --- a/papers/plane_diamond_coloring/paper.aux +++ b/papers/plane_diamond_coloring/paper.aux @@ -5,9 +5,9 @@ \@writefile{toc}{\contentsline {section}{\tocsection {}{}{Notation}}{1}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Definitions}}{1}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Results}}{1}{}\protected@file@percent } -\bibcite{appel1977every}{1} \@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The unique smallest maximal planar graph with no plane diamond coloring; it has $13$ vertices and degree sequence $(6,6,6,6,6,6,6,5,5,4,4,3,3)$.}}{2}{}\protected@file@percent } \newlabel{fig:counterexample}{{1}{2}} +\bibcite{appel1977every}{1} \bibcite{robertson1997four}{2} \bibcite{mckaygraph6}{3} \newlabel{tocindent-1}{0pt} diff --git a/papers/plane_diamond_coloring/paper.fdb_latexmk b/papers/plane_diamond_coloring/paper.fdb_latexmk index aea99d3..71fadc2 100644 --- a/papers/plane_diamond_coloring/paper.fdb_latexmk +++ b/papers/plane_diamond_coloring/paper.fdb_latexmk @@ -1,5 +1,6 @@ # Fdb version 3 -["pdflatex"] 1778346213 "paper.tex" "paper.pdf" "paper" 1778346214 +["pdflatex"] 1778347081 "/Users/didericis/Code/math-research/papers/plane_diamond_coloring/paper.tex" "paper.pdf" "paper" 1778347082 + "/Users/didericis/Code/math-research/papers/plane_diamond_coloring/paper.tex" 1778347081 7877 4504fbad3843f8cebeb3943b86c7fcee "" "/usr/local/texlive/2022/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 "" "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1246382020 1004 54797486969f23fa377b128694d548df "" "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1246382020 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" @@ -61,8 +62,8 @@ "/usr/local/texlive/2022/texmf-var/web2c/pdftex/pdflatex.fmt" 1665017617 2826443 7e98410c533054b636c6470db83a27bc "" "/usr/local/texlive/2022/texmf.cnf" 1647878952 577 209b46be99c9075fd74d4c0369380e8c "" "counterexample.png" 1778345471 31680 49acd944c061e194d20aac1d5cd8ef86 "" - "paper.aux" 1778346214 1030 91a64fb2301d318c3529a163b199f774 "pdflatex" - "paper.tex" 1778346203 7393 d95c3a990ad0a8a45120d7bebb561308 "" + "paper.aux" 1778347082 1030 fa34fda9f562babd4bf0c5868b521a80 "pdflatex" + "paper.tex" 1778347081 7877 4504fbad3843f8cebeb3943b86c7fcee "" (generated) "paper.aux" "paper.log" diff --git a/papers/plane_diamond_coloring/paper.fls b/papers/plane_diamond_coloring/paper.fls index 9d05727..aca8a20 100644 --- a/papers/plane_diamond_coloring/paper.fls +++ b/papers/plane_diamond_coloring/paper.fls @@ -2,7 +2,7 @@ PWD /Users/didericis/Code/math-research/papers/plane_diamond_coloring INPUT /usr/local/texlive/2022/texmf.cnf INPUT /usr/local/texlive/2022/texmf-dist/web2c/texmf.cnf INPUT /usr/local/texlive/2022/texmf-var/web2c/pdftex/pdflatex.fmt -INPUT paper.tex +INPUT /Users/didericis/Code/math-research/papers/plane_diamond_coloring/paper.tex OUTPUT paper.log INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls diff --git a/papers/plane_diamond_coloring/paper.log b/papers/plane_diamond_coloring/paper.log index ce4ec80..b92f819 100644 --- a/papers/plane_diamond_coloring/paper.log +++ b/papers/plane_diamond_coloring/paper.log @@ -1,12 +1,12 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 9 MAY 2026 13:03 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 9 MAY 2026 13:18 entering extended mode restricted \write18 enabled. + file:line:error style messages enabled. %&-line parsing enabled. -**paper.tex -(./paper.tex +**/Users/didericis/Code/math-research/papers/plane_diamond_coloring/paper.tex +(/Users/didericis/Code/math-research/papers/plane_diamond_coloring/paper.tex LaTeX2e <2021-11-15> patch level 1 -L3 programming layer <2022-02-24> -(/usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +L3 programming layer <2022-02-24> (/usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls Document Class: amsart 2020/05/29 v2.20.6 \linespacing=\dimen138 \normalparindent=\dimen139 @@ -18,17 +18,14 @@ Package: amsmath 2021/10/15 v2.17l AMS math features For additional information on amsmath, use the `?' option. (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2021/08/26 v2.01 AMS text - -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty + (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks16 \ex@=\dimen140 -)) -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +)) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen141 -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2021/08/26 v2.02 operator names ) \inf@bad=\count185 @@ -69,13 +66,10 @@ LaTeX Font Info: Redeclaring font encoding OMS on input line 744. LaTeX Info: Redefining \[ on input line 2938. LaTeX Info: Redefining \] on input line 2939. ) -LaTeX Font Info: Trying to load font information for U+msa on input line 397 -. - -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +LaTeX Font Info: Trying to load font information for U+msa on input line 397. + (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 @@ -106,43 +100,34 @@ LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' \thm@postskip=\skip55 \thm@headsep=\skip56 \dth@everypar=\toks26 -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty +) (/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty + (/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2014/10/28 v1.15 key=value parser (DPC) \KV@toks@=\toks27 -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty +) (/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2021/03/04 v1.4d Standard LaTeX Graphics (DPC,SPQR) - -(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty + (/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2021/08/11 v1.11 sin cos tan (DPC) -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/graphics.cfg +) (/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/graphics.cfg File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration ) Package graphics Info: Driver file: pdftex.def on input line 107. - -(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-def/pdftex.def + (/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2020/10/05 v1.2a Graphics/color driver for pdftex )) \Gin@req@height=\dimen150 \Gin@req@width=\dimen151 -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/url/url.sty +) (/usr/local/texlive/2022/texmf-dist/tex/latex/url/url.sty \Urlmuskip=\muskip17 Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. ) \c@theorem=\count272 - -(/usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def + (/usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def File: l3backend-pdftex.def 2022-02-07 L3 backend support: PDF output (pdfTeX) \l__color_backend_stack_int=\count273 \l__pdf_internal_box=\box53 -) -(./paper.aux) +) (./paper.aux) \openout1 = `paper.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 57. @@ -160,17 +145,13 @@ LaTeX Font Info: ... okay on input line 57. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 57. LaTeX Font Info: ... okay on input line 57. LaTeX Font Info: Trying to load font information for U+msa on input line 57. - (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Trying to load font information for U+msb on input line 57. - - -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd + (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B -) -(/usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii +) (/usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count274 \scratchdimen=\dimen152 @@ -185,46 +166,26 @@ File: umsb.fd 2013/01/14 v3.01 AMS symbols B \everyMPtoPDFconversion=\toks29 ) (/usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf -Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 -85. - -(/usr/local/texlive/2022/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv -e -)) -[1{/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] +Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 485. + (/usr/local/texlive/2022/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg +File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live +)) [1{/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] File: counterexample.png Graphic file (type png) Package pdftex.def Info: counterexample.png used on input line 144. (pdftex.def) Requested size: 161.9989pt x 162.34474pt. - -[2 <./counterexample.png>] [3] (./paper.aux) ) + [2 <./counterexample.png>] [3] (./paper.aux) ) Here is how much of TeX's memory you used: - 2669 strings out of 478268 - 38618 string characters out of 5846347 + 2670 strings out of 478268 + 38814 string characters out of 5846347 339139 words of memory out of 5000000 20714 multiletter control sequences out of 15000+600000 476338 words of font info for 57 fonts, out of 8000000 for 9000 1302 hyphenation exceptions out of 8191 - 69i,8n,76p,770b,362s stack positions out of 10000i,1000n,20000p,200000b,200000s - -Output written on paper.pdf (3 pages, 215556 bytes). + 69i,8n,76p,836b,344s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on paper.pdf (3 pages, 216857 bytes). PDF statistics: 92 PDF objects out of 1000 (max. 8388607) 54 compressed objects within 1 object stream diff --git a/papers/plane_diamond_coloring/paper.pdf b/papers/plane_diamond_coloring/paper.pdf index b14a280a550c41d138cd793cd07d85c6015fac9b..90dc46dc3b718211d4e29970cd333f5d22b3074a 100644 GIT binary patch delta 51443 zcmV(^K-Is5lnt4l4Y0a#1Tix)G?#%811W!2OLN;e48HqU=(f^KMDs0iZ%Na3`%1fw zXL`uyz*tPItz>y6IZdWB``Z^FX-D4bB2gd+fcQQDx>zliZ{9 zT^dpv5LL-d`sL&K)$1%*l%|*O&Od#=y2KBbzWV$zW9jFw@2=ivIn&zcRAjfS_sf4b zQYVHO%{AK08K*>2ndDp$!-CCM-S%&{9{0V=av?;@i6r5y5|gtfB?T`M8VN>$|Y5YTI_(3O|Z;jd65M*Vo$zpIoq-vw|4G!}+g1`quW}XF?SPDLFd?!pU5$ zjFaLRE159@HuPctTULsYD*^Y)c#%G4ygW!AQQ-ReFUq8=g6xDOOd?6bV%>kWyZva# zy4%{Oc@En5T_1Kq6eIu`0P$1@=&MN)lpy=z&H;!Gn9+*!?ipG1Y(m(j1CgD;aOC!dbUPjeYBSpH{3&0I0SRbvXr9kb)gK zd~F}xOkhy+=7m1L4KsG2)~GrbcgQx0wG7&e*Q>=p3p7C!mT&_H4No+1PLw8Dw~L!w znpCg}y!N&6!>hK5APl-0O`7C-@#o?Ko7{Vjn5?LEAs>)n%WcTF^h?Zq$9EtDUS;Ls)} zf!@REDpt2V0Z>uGOAdec0|2;;O~u`Vm+jgel4+m|m;!F^XTjkJQ^dp*H|!ROD_Hsg z!WIzb`ECabnz|-@hb+V5TU7YNe$Ti8&Ys1n)Wip)1<~@Cp`q!^oPc#}(T6f=Jp=*V zGHyZNRK9QG+uk*9<|2%jL=|#Uc{s)1HBF6;W(&=s^M)bH_h5e*1-|>hw;w8SiBA?_ zZK2xM!&#&W3`i=W$zzH|u>6P@?cjKWhVlLi5N2m#vF)NnM8R$s1(KVeN*7VgOi_dp zkTW1ZG;QxA&Vd^q0l31$x=g=zNC-%9KMvg%Z4@lMjGNa0hwBF~rRkTfEPYtINUz;< z3zv=h0X4K1w^x6guC>D)WSmQ4=y8&)d@;fA1Y(jO;PCL6P--ag@Brt31;*Vth9uqIH2MOC5iJf%m8N2a8@~Xuqae!#F-B z`O^2BU2H%sjyNX#pN+ylC=KCAm?y)|3;Mz7pb$%*qdt_$aQ$#tL9%KPxMMot2gEKZamOet@L0E65D+kr^NdwgWmL zQcHmCJsd$6md9*v#_|ixiK5tIx&MCErjV90e@~FXG?$z&;P3+1;8hJpxs}_3V#_e z0{$KjfQ^~$zv2G&{v!~`?oVf9Q&X_5y|JAK$j$;_4zd9PK1nMuJG(nG0*vj<{xCGQ zaeo58`5U_$gKUgV-VFXM-54M(rVKEC>+tXXoJ<`-_RdbsP9U2XQUH0!`oM?!of+;ab~)-R!*ngUms8X6ApiVdi4bqHYIrZ~@9n{%!Ln zLi|T&0dxj%v9hxAaPtCy4gjFLsU^!F34hc)?16tO+5Ql}_2A=W54H!GzqJAM0ht5e zeh|H!j9q~MXGa&HkJrBy|BDdW*Z^iAQ)hq)&;n$K_)qjVG0^-k{C571Aa{T+>l^*p z0IYv}{`;i=#xOImosGvo=6@bBi>joy#z#elzgzyVQd}JD4)9{);s!9WbFl*0*nhY= z0X%OHKK~m>$r$u^9slx`wKE3;`2H&QZBG9w+4XM@(Ehz3bb$Yjr3ijwE)YQb57G5l zxmZo#zS#ah)BR7E|9>q1Bg+3P(f@Bn(k?bOf9h%fGWh?|8{2|xJpQ(LW3G$y+ZKET zzwLtE|25SF{mdltCMv$et+8qF*^&J|BeylBn@&0nkj*tO)dYT%U^Q!KNigf zWCv6NJAwYVS^!LJtgQb>_qJW8)^FE`(;FxMQ~}?X=YLa5*_ndP{@611w-YvYbTsxr zd^_Yf#0BtTds{~{p!=UJ2Cy*Oft}x60B_Ct0L;OTh<}_YHy40K><`gjh<^vbBJmI6 z1+Yl|gZKa}QvXFfYycLSe-HqVx}9 z2e7F8gE#>!YX3!iZ+@o#MQm@I!2;`~poZ{eIR z9fALZcsq9%XE*S_9Nxz1@+bTs9+Gz^jL3~?e?n-MdS5ezj>&7;vBTv76)uskI^)ZxlpE;;HP2Nzyc zr97-Vw|*J-`hl|5v9AmJ$_Lfl@<>l*Gfa`{5qh7C=csc{GUxFrV4ayr;OQ|h+|lN) zZ)P#GCtu0rVi^#9&VM2~3cYl;*rV>}J=ZJL*qyows0eiMNuaMW$EIn##E+8X@D{yF ziXt|J7PELlqlZ@l`{U;2H3%qtmGB({OPPey{S~^fsJgS=Ow%20G)yNI0W|N)>fybD zs7qwbP=UoLxKcTi{HFZ?w7M9FCjE z-FH?H^ra!wObe=TQ!wVUz*K_oaj@K0_D`G0!R@wkt$&)P3p&?#s&!DIc%G^r3Zi_9 z0sibJX-d3*ey1bvr}W_>)=@fL@K#DLukJBTfM{!)S<&~j)L&z^#sOYIj=^vm-fFgC z2hsUO+f{x!kE{cz=K`OqaG~rFC8!Z6E4C0scyiBY+zw~B@t)>HTC#~xhEk)g@Ltr_ zI&8$bnSWV|*xR$bOD7MME|8^Ii~LERjD`1sfZ_sv8ol&`*a}bQf`~9hc~*WVp7UAK zh?@ZY^nQp97g86Jv^0vi=H3HakSZzp%K%gXJALCB5$xQ!5m5v$zgA4^=ifH!<%Dp} zfwFm5BD!wnP=q^UrU*1ThepK&)1}#+8#TyIW`7@m(nZPdahvI#4vtV}rar5g@y&@F zZxw{2e+gRAjT$qKrAo4>V{3adM}yNlN`zxQM&S8DYOFG8fI*w~q=09ILHV8B)@_5m zjk3+|yW=*MclhhH8s-lLxP*B9DX(&^Vx!jw&H-kbL^rH&6??1RN_XtyCl+fBZkHz3 z-G9XfU%1L@HpbnzF?yoWE?>Bz_NG6y@!eUfa-a}g2@PGBL>97Gud|{~@hDx-i#TuLCmAS{+y?+HBrxf8l&RVKR+a|BN$j2<0nF%O|bXY%hEfJFl z=T{^|Rw}=X+bD@*Wmhdr;eo9cOoY59`OW)|rad>L@7h}U2$b30yL^TYfsN%}6LD(N z;?gTZRP=SaHf|Wen0l_!;*{yxo%pmbW{Tq1h9W~ci<~zoXlheBcs}`!)PGY|;zN@e zbge>U2{%k;(wOr=H<=#Pn*Nkl&ajQe9Q0_1b)3F7-2#l`^7T93_vfv`n_D~|vUA#u zAp4`>+Wp@5f1|^2L~PypHWO8!Eic?6ahQx4uFedDA{8#tw#||K&S$|A zXqVJqyd#AbTS0#RS>j38eSd7+y~?gv!hy1pQVrC~jD7{W(_Ccv1=^<%5Ro@p8Oh4+ zM_+y>di6QB5SZwStwXDb7cJZt;PQJ()|W)fzc=SoX3P41nYJJv43pDhjw;QlA}nTI3pB)1p)TDA3|_jgoV3=fZ4?y%JEZ7Y42G* zrZ<0-;%7%uUdzF20$AZU*F%VS^d5sSoiDhm)(AKv6NJd3`X<^5mRe!(O3->2ymeL5 zwrhpCKFda81(szxHeDmTqgz&4dXVp0YkXH7uHp%nMY>b79Dg=ei@(NR2cM37z733` ztwPo`b5fVR6FS#_m`z3h=so)`E!Ir#PEWf`1+`qp!ym1Q(~K5&W*XCX? z44`j4T*a$_n0g0!ej#=)Bs6*Fcn#3lGw{2i-?w$YrUl+s5dRj^8yu}6zkkW;6aSWF z!s|cPGOdNOkbnBIw5FpWq7rkdcn1@NXdkte5>7YdcwUN}J$)@NiY&g2n`w$)f- z9%UL;>xxSUcWy8$P|w+_6KAv^VKs;Y{oCoOYRK%s?tj}H@&NSf-b)RtPTf4+o`~n5 z6mxX}0?wE4$hs^7Wmv10%eaTY`q(g7i?(1gi{wr4#u^GaHHkVQc6YmFXklsF8tq&r zfc^TYWih+Ht2Q97m=Unuu$9{J314?AByPe`Pb5my`Mcn75Q{)dByuCgfeLY@?Rsxj zb~;_vO@AqNx>S^&uoorLbIQWEcerNQ)UnemfI6gpdb?)_;D7Xu^ac$3rVFgML2fGDQ`QdO5Vi zN**B2*6$d*I_k6S$r>!}!9O=V zVSnj~@c!g5*Er?i5i7Lp7YstExQD7tZXD_?Q-5g6f+63=7^LK|@1G9dp+EznW5M(vD5&sG!x z49mk6^45_k%3OG%8KbfRWmeyxq`v+#QGcWRiB^r4LlOD4UbxZic-{4}e%qT0kD2o% zo?dj;Nn{lfbQdyd57A&Uu%qXQ5XpxsR^GRzBY5x1P&Nu%tst@2mN>ysLbA#W6^)%l zeD4v?>@G30JeW=MrAxge(PvptcAqfBkt}ocVH8i!f(SXYdz=4YRZ;|>uyhm<2Y*MK z{+ke^hdJqtgey`@1=)yY^`WE03y#mIigybKEjoOse?=Nol1Aann785l3-d@tPMoXp z$(HJVvH*`d^_aB)^sWN3xVX_zXX^qV1gYMAv_^lukPj*-gX0v^sV6_Q&})Ld*E}ZA zU3~YIF)YiiyIeUn;ARVQAaRZ{<$pC>Co*||l_dD}a$rS4K4Q#kKN&2=GW}3oru9i7 z@j;r8XTFTp1eN0$7t90_2|>CA6pIj-6Z(#2=sGj|U?g_i7K8B^9u1~`-Sn@IlW0Q{*H;BZ(a{9bu7#JJ5%1t>plYban$Q8IbC6(##tjYH; z7#z@{6l;jX&n>M#pFsyYNVN!~L3ODplp%b1@t0o`rSe{u)T~SmpS@yHQmltHm`dcJ zXO+L+`+VI0yf)ZG=Q9gkC3pPMf?|e>>w))|VW&m8gcG|&BM+l|W;WVVFy=C1fwSwLGb%2@gk>Ov^M=>2}FCw22Lne++N@`^%m|;Q;3|&ImWj zYyzDX$)}aq6Y1y}qAsDu1tFx9Dz6PYTDke5;my_RQcf z)QOOMJc<(+RGz*u2E9FDP{OtfeF}=Ze77E?f_b`-LqY0vEm?Y>~17XDBSK6B;~+0=*Q78H&TxFJIjL8Wrh*S*k6Ja=)4l;26C zRT!F0)wjz@)YP^iX|w3azCB6F8aR_#smw6^wN`J_r z+R_M}R?O{Oda<#c;dWrxll|(ql^oH!1~J}sRzMLVYRo~`kC=l5smOCA$5T%RGq=sg zQ@Xz(-{46vC4j$qKRS+&VFadjBE=d}5uu^R#q;RF3n|mmO#Y~`T;n5AI(|wl=!oQ82&Z)xHDa!XK;rT@%-wLvQnr&5GF4m|m@Z(GLjWy3$`X~Fg)p5&&s?M%^z zoOX6OGwEFAaZYl+JxiY{81i;c>C&9;{h8|%XV_$UkCdE---Iq-mu;Z{RLGfQ45}j( zc_i>`{7j(1-C*Wtz?xz}%2?`gMXVK%W`EHMWqSQg9PBJy!s2NC$WW`eh77IW7HAJo zcTcuhQ%q2_`Diy?sD}GSq#Enk0s@aq3Z(_qQU{VP^!9lFwa+(u0fuhL+jUsTL&f*go5(zKBm`gPm1#dFoBuq#(#8B zj|sk5EL$w4=RE|+N3;_c+@ye6hOwo}#k&P4Ijd@O!Lf9^R3q zsk{d--2$#>&4XljLq4AoC#DyS&87MQg;G8n4NsQ_d9ecj;L3CWIfvlgZvnw{vlcRR zn7+Erok6kX_s0yxyrLc+%BrU>qZsE2lUklHS+>W^9PW!(p&)tk$Vw-d@PDZ|v+(+5 zAxC_PS}l=FoA!XjF%3UWGmrIEE;+QA`spL@|~*edM}i(+VDzS7&NaRB<7 zj@yq#;UCqx}DI$eLXTH!dt zfGI>b=6XqrifYTG{OCCUsWoT*CH9&se3H+y0Eb}G>d9!M;7Kw-Rowt;B0L&we}&%g zYEHo=Di)5Acks)^0s90}pZKOzbAevtQ#9$vO6QdYM%4=oLwG~|#(x~vps=bFCYe#K z`8&`0BL*4oIQU$1!#GEMDVf;SO=E}Ej3|qkVq1iH{l<@W`LD_FuCz6hbu0~6D+(s% z7=Fj$i)K6L%PN%ut1{^#BF1uk8fs|UFCGR*tCg=!7WuZmTWLmhI_wcg+fyOl;qRur z_Qd2&la*EO3XmP_%ztP%&{i`%QhztyfF;L`)XL-}qG8r9KLmTK7_VIo&5|fR)jj7g zCZI2#gpRroW=M#(y+p)+w4V^vjgDlU6e)QI4hcZ%sGVFzGX#~Y=;m49Sqw}TN4{d? z1We;47{3eZq9}7fHK;XNxTxveTpmWC-+l5UcsX;tJzM_eU4O;T--NF5PBBLOQ;)hQ z>d4v$lM7>+YRM0%)jz1XsW_b#+8fcUdD$3$ZEMzz|8Z*nMVlWO?A`AOV z#CagvB*OE&&$2a-N1|x}kFpJHm+}W4fL>;TN-_3bNa|2*d)9%9lm3v|sZgS90swLG z$1|LtK036ybANb5N?07-kizDnd+$%*dM84W~g6(%+V1L1yEbD1jLl!vv8Ta@NO+o-C zL0?j`)`fK)3N9aczCig&SIE=xybaB3F131*<yi)1XIXx?y31(78RZndltCxSAqvf4KAx$-r z>QX-afVmHg?#$e4&V5LDwvgMWjy<-7Jd{nppX0R5T~N`HA-jtMFsyi!a~Cm~$(BN@1NC~+Dw zabzWM>Jv6-bx^jXpEpZIUA4pmm;Gdy!7h?KKAyVjYU6jf;ZSrs%{GRXpu;SgPxSM% z^N5mo!%=u@SIm&nJWt^bWZ?i)8dRvcViB_wqx@_E`OzaZtOMhGEK(&Fz!?Yy|0@(8mVl8om(x zXwS>&G$)*=H+4Y$I1IY zK2Jm>mM?$sd)2X3{#@m}0+zMifedv!6@M;upB(jE8}>2^1*GzD6KPjledvJiw`6SE zjkPO=xRFnZ(}an?^VrTyUB13!#r70~x4*);FNWt#=uS;}#H$qwcAAC|VRd!I4-sAu zq4%_c?GiiWKu-`U{-T~p?_-kTf3(E>-D5+D$pEQR{@64iVuCBcT<&~pAZrCCSAXVF znZi@2ruRGxk^9}|ws6yKwM)1ogH2(5EF4tupr&y7#ETugvqK)s_oRbSW@O8i*0DOk znhY9(L>}T4T(_u5P|%lRHBG%84j2r$_w8)%kvfXhpM>O-N7`5Sl@yMM;+A}ErhI>G6iZ}-^v0o?As8*9+0eOO1!-uP zS5W;&{FCLAVE&;765$zdFSjG*-rvyt zFSZ3(xxs=k1~O&ySJ~IB$8{aSr?rsVk08&b$Fm6zDB#lJsqXtcagD-Da;V@=K8XIx z0T4g!rv;sTf#KvcuOdlvjep&s%M|i_}6?n9x2Id6ukPxxTjdtw*yqe>5*rjCrqWI5Nl14ukntfjwJkKW^ym# zlYOZQ@TNNZXO7OiHq8wf1yiR2L%jQ3+^#KAD#MGNp4Cv-?%`D{_J3j8Er|~k%h5{@ zXLw}r`ZD+M$43gAq&?>m^~JLCaYw)k4H)Nb~{Sq(VpM;GCJdov8L-m!lt=AlUyai0KrK7 zqZxk0>xSh17oohMzFziU5&;}ZuvZrE634H2!b@!JC(|yh5QM7^3S8x7dUTOb3^Zw) zi97=4Cdoc^*(6srKk37h&%vPqJ3G`nEy0#7t+@GWOHT0NRyx z4b3Qv7&l*A$;Yr|@RdT2_QHK1xo`2vb99SFjmYcJgjLX^nok*e!KuHWAlg~rm$AE~ zMkT=Xp7FW|jDJ{(k5hoRCE>)?CGp!-Osq&b$Smsc3*wRwu>>%XXC)MSI zes<JxGxp@NBocI9C)B_u3|0!h*pg~SFhm314*9X_WHj>2aop>#2;6!~7 z=OjB~!hfZ~HQN!?QUWj4Xqq?eB)VVv;iXKWhHNTDu1EETpQhh__#Wg}!Fag9$+jU$ zih^CKkv)8*5$oSy8z-kD+bC?}Jxy+*BQ-J*2zjuKQ3*>JLASsE4NKyhwBVaBF3T5Y zDPylE?kV3;3`A7P$vkOToKy6gNGObe*88O#Xn%X2R(4{zyZ5zb5_CR7l&%7<9nqgJ z@rsibbm;n=Xvl^bCq%=z6z)^9GZ02D)*@I!f(^+Tep-fQ-TUVDOI1x!Seys@o>pvC zgj5K8i~C4IO90>$6XoCH%59Ag!er+-<3w_nt&ueN80)x=KED+yMw7J|2Gqp=CA8xL zK7S@+wWQqF=zdSBq+c-<2XBWDok)YD(>1jS*GM=c!kF`Fz1ut%eD8G4G!hmSpAv2F zN%-mf+IGY@HANHwE0p)bnlHwr87)KnUVfllbav%*C`qEWNCvQxdb)JXG?stoq#@R19aw}o-)qhDD zTpdpHga@qZ)$Z8$Ej;BB^c(gu)$WND|IVsFE0Y_YR*DJ5cD3C|b~p@7%L9|k;g**3 zo#=k#Y+|0ouq_OMuc>;cFo$-b2j|yOyhk9G|J0 =N!(Ii!b%ZP*EGw|zx$85GBV z(2mi_u=KUWb1^`xk>Fskik}lEEq@UK*8kVmh+Lym#&n#=geTGw%+`6DQG8*6Z1x_Bx>W$TS!{L+*Y)787 z-FrYn;Tac@{yG2m<{&d-dS*rm9;3?)Mqx_qE5u@ zEiE1U7=H^x!0ajPr~83}8h^f%jKYm=nouk7A|gGS$!5sh4r}@QFs%1+{XRh$j1+wF z9@#k!d(bVFn=HQ=DrR!W?$!@tU&aKTc zGz@4`+w;AZxIM3B@n3T$uCeNh%+4khZ5iN34tI(yxM2?xOj%)d(SLqkRZ$-VIA0|_ zYjVjrZ1F8I^VzS?8r*UbydAmtN#ujT?sO>TE1#Sdu=SB=hw%j`_|_reMASQX}sH{ z^RF$Qmgc9&K~!*!et#F^>+uGM<(9hZX_$Sx`=t6vIg=LQ?mx&%66RKGx5*g_)EVBJ zSSQQ(7WeG~Y?IiX;o?SL%Zl3FP@RNhUQ%}wVJk(@mr$RSs%Rg00uzLFg!89ue=Xjw zXv&egN0%r=Pd|nW_fvIz=V(rySn^z0?#Rozo2XXlE5Q9s6@LaJ4Zal9({bcIgdodz zm-*xw8KOb1V;!t&J)mJeODbszNN1 zc}NLYwb>%X(rkmrhMV56n{o^j@8X<=z!{Htu8q+njzi~ z?xK3Iisq5!Z7jq{JCw|*S%>nNdI~sgOWdN$@|1LJq|}xqrycZcm;%XFkYzQX^R8?@ z^kuxQ!=W)u}Mt$VJR^FlHC6osf(Z+`gyAW zAGWaBA)Gs(;{d_SdkJ##59pP zeEk8{*8Vb5yIbsFS=HY3p=?lZ2%G|QmEODsAzG3@<|s6FgGv*r)g zRtvqhQKceadS+6+4)oDvRPY$2& z$<#jrc6Z&eoi_JK-H|DKb>~@KoZxipZouQ)HEYFrU-M959U9o2Khk%26Qd?H4(k*T z!l2Mx)>4$-B^9;LsWT5w+O+Oe-wGIeK-^60r@{mv(&G*)Z_e)d6Bgq=Uc!O%IP08O zR)5j>dgB=`o&YV-?gqzl2Lj2gncduJq8VIm4dVMyo6nPu@8q2_z1@0dzR6>HaFbBF zl(M=H9K$WLpGg?pbxjS(Tc)d-S~a>`x0A3B+KRfY2H6(UYSUtG8o^l=nnXjN;vw>| zQtf>il7%xKAaso*CZ4}mVk=Fjr;#@u_J42);QrhYDItm12hFun2l8671}d3wf@>u! z_|3noC1mk@tBj&cJ|ZZ#^AYrW_=l_iCZdmdPEntYu%|0Map50l)cxh>)<0rD9E0t(k1ag z*vNvDq^d`)uQ=p~onA25Ultlw=6_-*W%`Kn6#~~rZLhD`kLOWj*vQ2f4rb=DTO~)= zFMqoEAT11l?3h2R2P0dj5bR6B*fac?4-Zh4`jy|UND()cWa~hJyjAM2-WqubD%N7^ zjVi!cKdRu(oOrNB_b?=KVH7NZ(YNkaUnZmxU9!=;$|&&g2m!kyMe$H< zYkyeAtDmjvu))jltXI9s!m~M?ZjCLXa_aUx#_D}`(71&aX3eXVVF>Y%o2HItIijTe zk^fCnClpo3Sq8QUK1bzY41d>Kwe zIGcIgdJlE8CobL6-~%E@7tFvVvL%y@@r?Q5JC> z%BpXIo+eKZdtx9hLRJ|6^oB1vb`^YA?O-i?)}gplKzV=3?SDZrib_|(bhbKlcbQ@V zgHI2`v+BIUqS25+X#a@tcvpHmkdc+o$Eap`U(Bw6-E#1}dg!shWrugp>4t0QXBQv2 zUk{cTIabf4ue6StxEhVC=ITx`qX_9w|2Sx_AKxMCmA=RWk}&t|yZeWvMNjzw4<2>q zoyz9)iY)5tHh-nYH;Jz;JcY-!&(Cci?5R2DdHtIQZMCgex-p!ed1959BRy@4q+}`~ zrCfu;Xw3IeNp@KseTU3Cu}OsVb!nRyOY6G&(vmKq$p%aH!bcP?0>~a~#^rqN!qsh7 zJ|m#hz6eceCLGqVr)rM_h6J~(xP@51%r}$ zo+>Rfq<>-PeGTJ*^KVI?t7oNBs|_~Y&&&ziG4ef1G_5R&@d6Yvnvu`w(8#*a*$m;H z2DZDN_}MJVmOo(JB>Hq~U{KJ>Ru4u+34rVu^A^OoX;vq)zU{moS>*$w?CVQx2ugIS*OxvvR34!5Czo+IijaUaRoXO zc&WBU^cWXc;(U68WnON-?7B=l7kHuJJBBe08Si+Z}2VAjuK zsc3>VdZDh8b$_ZBD0h*_7*<9il1~YCwSPq)OZ8{~4v}!f1{-7RK?ix^tz>hUzew`G z%0GDhrbbWD?Ixc$=;wKWJ6KO4ZgZJs^0N89XFo|;G3YZ7*H4u9V7 z=*P_qe!YMN)rFZXxu0OGefn47f&SZBeZMjX_SreELUW$Urym&)QrcWScljieP?LnDgvooO zJ?ot%`u?thYUJX|wFXq9yyB@ddv zrXu3lB1lGFgQmW(xFF#kqMtpa2_|p|qwg>yg14R3e9x4IwcD7pMjjfSHG+aZ#{NR# zYwTg(#rH|scu~c8|a9%G=LO|ZIEZnn0R@uv9l!{Rg-|{fgcci zWPJP$PB33geKRE4VMIW3m49|)YKHS2bUM+N_Oubf4n$%0mM-jqYBzWEE!{niyQCgHCr+WXVSACJfI}tV&`(v60goj}Kin@T$cftthCphLfig&RmCL}MQCUV}C@a`qOl zzw8z8@}t0e;Uw~yIHMB{!ymTh)ET|ZLyOKR%SZJ)6xjw&i2_?YLg;-#kV1bqwpA%= z+;t~Z)~v9ne3O4EDSwaou~vA^fl;;PwP(mKY!?n5o!Xi=U%A{I7A6^7(vIdcLV(d! z{7cPe(piPMGWr-W>i5kTdj#nV^$m?=CO78hS){gWcW|LLY5|cIqBOei@ zMYauoe=#wY0UGcNw3p(`4*Gq!3h|>M9$<`ceN;>ATxx*MXn%&hm9v>r^nVe7)X`+P zzBhZf8KPB-OWBQBCP5$y%8y?4YEH@Lsb^e*N5p6)K(zF6 zm5JY*JlW0HfXJUgzBcr`PmMO>_p|GnRBJO$mv`}ij?E1bqF|gI z%zV@8`+R`VcYj=^$2&mBQ1EGjf3`{7^CIV<#FpcMLao~#^fgbk8(`tf`7na40ew}x z`MU+4PKUTvEhWcuA-}KTgxF+aY#Xamo%k(|5!TAog&$XnciPktj$I>dFx!v!Zq@Ae zt?pN>5{PyVcp?XQ4> z9;oeCX+NC^dn%)|q9v9_^vFu&f#h%LZ(jlaO|y{A_}&8JI&Nq9CyFmObN)tbeDFM4 zC(SP|1XI!_-*Frzwb<_ROa4+*X)hny-(A13Rxo7(c_NkS!hY5EBU&L^%+-*A(%JCQYQI@U9yWVvAgkW7$kloN zBzF9R5d-yuxldZ})fW`N&6f{Tg?unf7>^!?{g$&C&8j*R`dRZqiM(u`ykDKOiN&OJgo!})nn*E%q6XAjj^mPP6#5^6dr zuz#P>>X=+Dd~R_PrOZU`tNc0;=g6aS)(IcR+!vh9^9i1%KPIJzC8iEOt>Cde<>dMO>dUb)=%2k5AO zjTEkcHSc31r;r?+zKP(w`EJIg&sZ*jj}U$%sHf3{7bfb$yl%iqH$>B$^X;kjA%A?Y ztH_sBHGjxO-c6sCqqY9w;Xo8{k?-}zazwzEwio3^6*cHR4_AUj@lT>yTi9a>WlMg6 zMI^%S+j9F?E8H$aMCTxzr_R^yfCEZ{bnkIVsbX(Hn$(z^Lt;K$1Tir( zHkXkW11FPC@(6#7I}|8I3Y4J5-QC^YAwY0QAi<@$ySqavUfc?_Xn{hJ;_gzQ1&Yh1 zGjnFvu}D~fEkLqhXBZ0yE4v^-N<~G1gB`%m&c({k z&WS-wt8E8!1pP;jL8}XLh1!9g1^;Cs)3UcrX zva7GwfsOzzu%#Uc=Jj78=!I=zFo+-%7E6@qb3U;*- zWncz)*uj5n0h%Bv$kiQW1^8VuKo#f&`l~cn3|fG;tsV4Fg%;Qv<^gmC0iFboc9tM# z=#z_^vlYk{@N_yrOFz}n6c1W=PzW`%jem;pd%tKWt|M=1EoALxG$v~vVnJQ@6vIuIZ$p#cCsRrptZ zP)k=k2n@;!wR8MkBirvVPi>ZQwvqxnIf0yEP>kRCN!z)CET8)B#rD^59h|`)&OZM^ z)^^TT*1yZJa)YqxINQ0nffS_wvUw6={3Ejg!2mq${Cr&eJOGdj0OVR(6&!fCb3L z&KcvM=ucvh^`H1@{;qbO03-G%`f&i*e}DddGI?T{71-I)>mTz!M$D$Ftgox6&h%Hw ze=8*=!JYsg7A{Tz3nvddfPOVQV z|3w1&zcz#c@ZZ5y!B5l$0qFl>x-mNsyXDgt$Nw|m|8V*LqxtVB|5v8}Z$`3ij*frm z>HjqN|LB2Ec8*?uSv*nK4feDKD&VJOaQdM^8{I`+rcbt|D?^Ia-H7`=V<2)QU^oreqS+9UhM4uqkGyiONXax z1p36yKUF~J)5^jA802pZdRnUg&O^r85^VK*`#5=c0YFz*pclr|@ShM5z=z{$O|3wl zf3O?C#_9})J-Gm$YW4$IgIzIx51N0M55Ok%Tl6Oq0I6?h6(Q z**zNyi-eiS3;5||pGz{TnP;tVg?ed!lCK2cy7t4VlSkwBpo>}A^lQ;R^L<_4JD2Q1 zM^G-yrx@C)+SOB6o})}iCZPL$Llf3!F{HiCb58s^f5Rz0cr(U0GF>%`N=dlu8Y9W0 z7I$rMcxVZ)kNjhFprU)w_79pc7@myK5ScVLYOU^45zbxyTld2(d>;$B=i-NdR{fQ$ z3~5*Os;9PFr-vq#^eH`jw&p3;F&y8$ugUQsO9YY`t_8(AQC5q2;S`81gQCfoP~F~4 zJNZv5)f?mvis7M3UJKK`6Ki*FO6dwl;{ze|%qmGD4^>;={hDY$#JXFDA+*1)OT*ie zVIs_7IPkL$E*hY5%w4*m51rP3<22&WuXM{eaH)-Uj>V7hUTawL%_=FpIpJXY+-RBkK1Ryh!)g7(x7KsrM0wB& zT}P=6t$JK1f+J6P0@i6A=9{PZjPeG6XzZ#~q`ZF^iLWlK%`nXMno^F{hN>>vV-q2T?b_?S+K zwez<8Xojixq|--Oo#i5bfoQA(?{;$z&$(((S<54aW(8)5HSa6#TRAdQJ75!w_(e^leUMBx0AR=&<#ye8Y_qg^9Mz#Yg)r z&7mlNHl|z5tu4X>Kvo9svLpYNxBgNRr2afVJ6E1k_i`!Fs+qDmK*)-_s93x7**uRR z^X82^0kx%4Jmb=g5R>=#3sn7>T6}M82LMrt#?-1uzbMduWx#@WnzAKTC;N}8WY@1flZda;DT);2cYuEo0m)18QSCO z96nzIpT8tP3VvoC9s-v`u`p_+O~m;De2X`EZ(^dTMq z?W_zYOxMJ_o5au{Saw`OWc7iP{cRHDpxfJ5gXh1n5GSarl`Qvn%rG#{Mejb}X@e(3 zN*KwWw|*YE@hSG2@>bFkPZnO$W8cgTs>OqDv;D6 z^3t1sxvEfIMZ!X@0s?}UD^w4|I87|=fa@3BXOAK$DfJKVh%Yi&&#Kgui3zxOph zpEHQ`c;56<<*=BGnX#!a%ALoLwW3s@jHoW3iWk_~h=&6**w6AyK;(VL>8BLTer%>& zM>y6IgSt4%_LjHDem2WbsW3z$&DAkMyhNo!xO1Ll@0$pv@y6bkos=J{&F(xbfuW45`?WVlAf z`+9WxvR$E(z&Z_V9f}Ysh{fI)aiObTDL4VpKAo%)eKbbVUFdbfb(z>0ajYv`)KNx% zXS>;XO(-hfq_rBF-pW^m&GP(mw`=z0%fwg*wxk-mTAp86pC`+&o4(DV2fk-nRW{Hy ztg!gbt)FK!%I-F5Pbexg?NA?3PpRMEqnyyyd{sD@sFPlIk-Z5}33t5FmM0r>o_z4i z?gQxz3_RXJLnV-wa-zVYTohxzCKP~wT9eGJ9a8VMz-84My405`a^G|~#GArc*#r=T z1}7BY55{G^Q)tS%0(9osln@XdXRUcXUDgW7(Y-M0J^bDW$;-1fFw)*ETBJH8*WMYt z_X2xKcWKVu;iM7+PRN=)E+5YMt>u z06%@!T7hxd$eKh1K?R?XYl?xk^XI!7++>%Enr1b66j5JtBWNz4Gt5j zO4aOWsa$-sJNbsaAexGUH!yyG8L^GE{gaDv)}C6gH&^0?cWZybT*f zW*j%gQ~n+R%#Oo%WLnI~VjS^e!DyIgGZNGNt6q-uL7U3(ZR4sL+hPOYT46vQ19C z3X!qbMfS<%h&XJ`hFW4TX|*4!D^lY<&$ZB_ zJ)`K~xnoq{)%5U<%lzJdz2E`j>>8|trJ}1>k$u6s``my9wwIZ)Usqkv>7D!SXJSYx zTsVfX7B7sW$+2(Qyu%`ECkigV9ZunpaDv>7A=fbTY}yQjD}$p2!!Fga;L3H4nr{I#2b@YEPzrPsp9W`j&qGhh+Ud z3!Xz~M_b-NnnUS-`uS~#(yJP$=w9ll60MYQAy>gxHMi}u z9ckEUJsl|Tr7{Hr1on5$##lQ19Q>6h#CMOXK4Fi@iS(IP+Rhy?IMimh*`f1WOeJ24 zLrsaUJmnr)6T{G+9TKZuhGiK>AKTY%$`WWVb$-QvW~Kq21i#c=th<3)r!*Fq%o#fc zSUPZk-!tvJK?@(uuMC|+cbWLrJ^*5=p7bx%F&9vzuUqHg9&m2&Sg2#p=3Mg>t=S@_$ zNM`YWo}uFsTr4G+23AjeQ%imCxIF&VON8va+|-*#CMJ-?o8}>C#PVo`eZ)a43KIW8 z;s=85TURJ%=!Xb%WW_JZ4-V0tZKHBBw$pTbVlRS20maYPYDmpfb2r5WqA4@L#^TD! zK<#uBO&I3)XWreluU|5Lywnj2W09G7xgDB+4DQgj*jVo7*{W^nzWczL(j{8?UCGmh ztG9IRvl;9yd3E-F!dKr3y;<4__To{I9hpS&+V&LI6He1L*M?HTe0p+u(JIj1g8Jxk z!?aNC<=o(GVThlTUd}$t&nA_1i7{`eIn=^0AuneBz8BgmPGFV{?PNnp&)bxZ=ni>* zrj{i0sWRR1IC{m_SkBx6{sQ=lza*=LhJNLA$W({xd96!U(JgntV!7h_QQXzTHn$QpRVvgO7^_B$qTMuyRrI+WFAhhDe z0~Q!Z+#K6Ww!uUT;jq-?rF(~4wr!t(Rh0dS6ma%f!Sj&#F9V31-%I)BXz?N;W1XK5 z2U=8q3QncoINyJwvD6AUB;}#3NXlzxPmS7G5D%qHYxdugMxUbQ7s7f|c-r`Q21O#z zH$A8mv61>wl-L-!EOxzjIO~ln6l-RZ-0AB7^p99Rxi*pwc8A$}w#O^=j!({iCax{x z`ZKBEvujBa0h(W^KL-zqX|fqxcoTo!4B5Iq`$ZXyP64VC+8e;c%_bYR&Vbf~}0mVDQ_BQj;VT zSAcd>j~{mXu|m-8Q8wo?Newl2X*g2m!$H3hdR;okwG!=?CJvl@+&{$is=^raM}KBn;=)O1z8`&mnS^O31ap{P zVad)t;3lVi`?eWbw*2}elLYH(`KbOSJfehJK7CCX^t1JQTKc71$e8q^JQXJ$as~?| z3RCICzb?{Z^PG!P#7*W*V?QMwjs8$tSg66iu5Y;IW_4a+`i$}f6e3E?k76>{J4&S4*>nv|XOYFO z#x$JhG)A*AY@Ra^t}eL44FjFRDwkm7CPoDF0$0GhO9{;CWF7v0fx&)o0wV;9MRtuX zQ+na(@YX`yS%c|pR7f*1#yKx3lGAHEtd=ljzS-|p$DY#uoRY3~Fm)yW%k`MNREUgV zm&b5!-UOkHB|c_yes5K;h{CV^$hV4v=085C=rd?~o~$J8Cm{BDqVr6!F4&e+qqR%R zlN{vFvkxIyHu-;lY$H@G#o7#OJqauobU`8<7_#+JT5f!h6%sah%>NpC=ilplTG_IS zK8^SMT$|0c`@W2#_C%u3;-GV|xbb$&v5MBw`mc68WMsIOENz-S1(l0+uV}a|enM_G6>{IYmTu~N5p&*`1IP%-i7@Qv zWBd-ouk4EUP=qb6Q*-j$;4wDyi6fX^35j55BgrkkdE?EG%ctcEp$n_0iFEk2^+kLW zt*I;{8mJO~5b-IEh=6*y9^`wQac)t&@hTG&3#J^-Kk=SDeK^8*eCnV}?G?kS%hzpO z*;E*Mnp!?Wv504VX?s6%^aA!=nb}Ui$YV0@JyUw^q?*8Xn1tUbaiKBhx|iuQW)V-b zn2(h@$Q|)LtA)I3XyNvf3!D66p<*Gs+tSD#v2clhWJYo4UeYP^-Kb7_WoFb#7SX`R zG+z$}JO%T$XVtxSK%g&h0Q!N2RWVl^Ld7*CAx^jBCH~=vaAPWn4Fx3>p(hQ@b`cMo zc!}wWnR@n%X_SzWulYoN-0Vt2_?(!-9jX@47OV~5u;}oOC*4XPdXpv}_deLlK@Y;W z?c$|>IVn8&YTXl4c_s_cNIApc`WK4c`auu$=)uJV%Q)%^zEjExUNkO-`-fS(4WkQ$mc%f8` zarps2R-KrGUM$1AMeeBQ8ZL~&{cxo+Z1&QBL^~qW|8<6YE%~jOh8KqYTIkojlJ%4~ zA2Bn0S?Vm6agjpK8?}+}@{hg!hw$(aavn*QZ(fG+O_x^7F&XxZhgMs~+m^DA1!P6^_OXu^+l+)FzOWd7 zQfAA^WOn?1cE^^Jy2dY1Vcm8QxT-;p$&|}N3Py@}S(4z>be8ho#fEFVH{M{L;Gxo` z$_A?{L|mCS$+yFFy#zsXC^QPLa};8ali0X0(w!cHco=!nLcqY=d}R7YLnRsM*-!w_M+hkF`_<`3s8)U)vz0`vPTVekfMZ$$ zGWJBHc(FJ82K^Z_(AAPKD&Gz2d+>Z=qZ(QFb;vBI2a(XQ5w9p#cFAG3t|h-3{Pi)9 zj9ujynA#RHp}kMrce)MFqFF#MTFN+fgFadQeTb7M!nSkoq}^A6mB;O)xrTc20d&PXKp#701JoaJCD|`1q`S}5DQ zEZFu5SFL29hI%LpjZ#{$94;CUE|iu50hItqyqT@ynS4JqNM)v+ej`Tq$qJwGMlgJa z{e;tm&y)UpJ2wQgMxDQtk&G3|orgRRI$|OGE3UyrStE@7gz>6b=_qxUsYP5A#LBV& zu9%A7dypcjA$f+BRyYuU;5dwXGB9E6Pol~6g2ufUoF-kGxnL8viuT|YczsZ?2YkNh z>ztp=Aj*+eSoi8(F{;_MudREuG*3O%3w0Rv>(j99uC_>4c)22(V>B(ralMh$(TbO< z*b+#F8xyXf*BhIZpTS41gx^c3@`Ls7WhZ-Cu1*;WkZ4Q|aMs^{``X0=G~W$KAn`nk z;HlXhe35bn@_RE@agKu?cuSU0O{Rlhlerl*q^A+U~o+yn2ufP5js{AB7Z<$ZS%VjQD_k|I7H#3W3? zO21_C_1q&E&pqUS^FjhW&7*Cqm*k?+d~s6w>&)A(dpfvJ4*nVdzQy7j6D(QoR!E0d#q zZvb{s9-zI1WZZ`$$NC+t!K1GqfS$7&lJE?xAs-Slg*gd-jX^nOL~Azu?;YF+N`d^{ zwXX_-R)j+I1(~b)dn*o=zIaW)aEh*+?wbUX|Ob7jUGuig87pU8A zt74=SxnH^QsGN$BPA&3|=*XOvD?jY}Y7FL^x(|0$eFX2{rMJlm3-1<^!xokF9+d67(tyJ`AU*sBZ3aZMsRo;i9UoEY(6Z(vHUL!EhNaA6c9PghiHpjU4m( z_ZX-(O-y{RI}R<{kxDJ@~x)a2M#S5d6vc1}_O`Jq?(AzmHKV{9RB1XLi!*p6<)Hxy_Yv+@xu#P> z1{ZmMVbiYfV?Bd};EaV?4wt+4X$9p5^`Vsv0YoI}3LexnQ)?XoW+!#oTV&6$0?w}%!2>3ixkJ@ps(uPmGD2gcIo=B^4h;7cSobicSiI`oEQm>!ZB zPu2ESd-pOhu~vD0mOjjsEc5F%-N+xUn=J8vwYN1k2%f_sN?r8_ikcQP6v$fB6mlHY z6wL2w7;X2T%;5)foVu8xi%jeq_?wSeq!T^Z07A<+mh3$rKI{Kz0kLUkeq0%=RJ89O zv+=GC@;HE7<}TuioS}G0wu6l%z%e1mXz+?CByZZr$?uCcrHL+F>`&OL!z~h2cESpO zIK%Tv{Ln8~+iq6kou%^tk`?-qmIhQiVq@(su?EAm{_{5XtQP=71}py6>y~XS8WDmq zGIO_`Yjx?@HjEb^1d3lW{P;-jU&fNRajdQNON+MLX>yh<@D~(iy!Nu0hNc8Du_h?R z#u97hGw2~Di~UD@R*(~CZwkdmLc~FTo+Ac2O1mZNFJS(*S2h!ou=)MSRSo*L$~62C z^odiS*kEHht zSC+RJeeeb6aO@G>&@NT!D@xHHK5JiFG0OuUeAPB9YqPNX5<8wfG==C~^X(>St*()s zFJzZ(Czu4c=x3CE$CqS01=tQzC863BFnl&4QFc=OkZj*X0cs@?A9TKch&13Qd7T9%S6Wbi`Mb_g$_^FY zg2S7hAm97#>RqToL~H8k#*U!bC0_RS+GQaWml_ks(4u(P-5P~GVz zRy%1ME8g@tq4>T*Z5+cp)@5O^5geHlwgX^LyueKK9@&M`w{q~UQPEUhQN(x|R zYGz0q`Ot@k+9d&!qP5I_@0fB_4?{hBlRbswZhb)k{g*OXLFzLxbo$*2 zC$G=OkGyCCSZLHnOCBF@IJ*Y4{hYw?peq`k?EXgW`NLfwY{}9Of@o+PHDbHxhVc z@2ll>Zp`g6G%UED&iCUdYz?96-&yNbFo`pENz>sc2vdzUve~8;hYzO1So~KQU?q8< zh|o$96W%%q1|{Np6kY^gze-hK!0#7esEVL7Bm$OOoN0W2&!~8eMXKlDv+rB{UYo7m z7KP%up*!YtAgQVEg5!SXTF2hlP43e5Io1lLX_H7YvxsL9Ie~rDJ`&-EWqA15^VlOY zqFO;Hi3bud5K(U}EbjGdARS70nT&xHNfhmW#@lQV%XQG^`m!3X?@G#sH7XTZtPUMBrNPSvd!~VZhBvcm?&X6hZt`!M<#0=^ zc>kmZ7e&c3&SPGvyBIE#f#TR)F!x;J0ALZ;Y!%H=6y7b2`FbKigeAzrYpH1Eh;)(D z&|L%BFmkdWH#dM7oHG;|m}g7&Uf#GpuDB%z?VZ_J#F;R=ZX@4U0wP}BjT(x3?syJ= zwc-6=_w_eq6esBp*CB+42kff5pEaKWH7sVS>w=gz`9o#OmYzA2`P_B2Vd-`I!uSfN zVabMR=GLSv7*otwKm6`+G(grvr)UozC+}!r7lLrf#zIX$rA1zRDI<~`@8#|-7JN-I ztn^*+T^E~?gqJkL#v&qn39^YZs_}?_aJ+EwE&hnZ_Cn5RMdT$?dwA|}k2>&KU2Zag zo)T^l5fY0BJ6X{&DRt~{JgyY|q=q;E5l*Mg%4c1%$ax7`#H7tT7(yzMvw5^F(h`-W zO&5Kyf2V>HOB6QeFv0Rs$1z>|}Qw5FJ>Fg{x+MMYVo~O#gF#%l*+t1x9LAP>0HDibX1y`D{uroJe_{iyOb;et}Dm*C~Q(p=q=YuxDPfL)03falyp zT~z8!%Tnz@VX;S^;r5tpknrArSJ_qgIudC8m(67DL8ZxCjR_JIJWCxgxudZOd1GbN=dCXvkMfdenDKJ-4#7Uy7S@7h>QT^t0wKp5 zILwtq8Jy=9`(ehdrpJm?+U=`CM#Y>RJ@`b+`YEEawf(leOLlH@rW zy6ax5_$?IL58M}f2M8<(EHe6nQW8Y)J@!252Vn}nKjhTr9Sru}qTGK{>=lI~#$L>Q zxzl_zR6k0N-s4hK*oWbNSzfI{-DdO&E9s;8g0hmW>RC?PKS11oY71 z@?X3Wu13{2Ovb@t_$obhM?A_`Sl|3W)LwCO`VeH88Bks_zj8*BG%npT7lU#?DT?E|{I+9;T<&QwX6P5^n{K-)G!L5n;o2z5@TDu1CVz431p1NUO03+E{V61~1c{hby5g(CK zNGseP(PkuU96gFx><49g8I3&r9#Ev{I=%J!Dl4{?Lh0Z~nznroW|?J_HzU^|m9>jc zrHGOTM^&a(%Xqngu#L5wQfrBa z^VM7nDOT=f%}&!>v0yxpo{!`UtV2-nhzP5`dxd<7iV6#sN@(Erk}L!M*MeAu)nYxR zOljgT_r;=ajXBj3bc!08g0@gEcOsslJ`M!~gk?CNAX$z67f>@I;*7m^(v;$e?1a$puPZec~p(9mEyyBS;wIN?h$ zj7L{ELbir`D@g*;K7^=O5ch+07k=%}f1-+eLA~L#NUZ{oNDP` zUi z#0o7mbq0lX#a`LZ0Y9mN-3yWZ440{TJ>hCmA5T>RKi;&}(Pf!p$@3`?r6;*orIczl zzVRevL+P3?Rr_Ko$)=WxWw_V!%ws|5)v^Gj$>5Yv2I)hzOivBC)L_o8z4@BM%{+(> z8N+^m{&7h3VcDny*~D7@*+g$gX1XQV>Loj5tN)(3T#jc8PF!m6M%ZmKUic?!I#Gs9 z4CVkPwnM)$hultQl!FkgPx6GA``1;r-lC&a3#qP+eNmN%G~f92@al z=vgPC57zNaq}8h+hLjq^b|r@z&$H*MBt4ruXmb58Ks=eY?hO2_{paSO1&}08k6wna!bp#u)ITz z2Y$bGD5({LA}4JDRexT5MSi(OHacH~RVq*29dA@o`hNhcC7vL+s2l;*9uYM)3NK7$ zZfA68G9WQIF)%WdL8}x6GB7kaG?$SU11FcwI{^uQL(t$3jk~+MySvl4HtrfA5Zry!2Q-xMUuY78Rgj;26KM+a917Di@XfS7_R z3p0S3nT?T|nH8RbLfzWc4)`B2JcT9@tj$au0176qRzUl=h-M~s05wN5YoM#wzbL5rtz2E5c$t_y zJUkdp>|GcgL6(9v^Z*ZQS1W)j&;coW!Jn*kkM-aOnK%z+@lTX2Ayj66We3Fz>*vHaf#^nm~L2Ef9|@?X0Dc>gA{ zcKFNL#LUdm-pRzl%i6&bU}0?s1Sm<$GrD@Z(gRE!%zqo2*ts~q`J1?#SlgMHz8U;~ zmAMH(QbYw{@>bw~%5yOTSv$G9FuGXV{VtK|H_cm@B^=Df9PRCa4z4cnzw;Bf1_909 z+U~{l_hfAy96cO-{sSzm9n39$7h&$^#H8V1?d%4W5&w_Ln+X1o%o6Ad;9zEE=Hg)k z0G$CqPcti~-}LHUPQbsEEWgEX75MpoI5|22EZ&L$`dM25-~Pe-xR|&D0j?l7pr6k_ z75_%?EGz(XYcp4XDbUi|0sasBn;2;EH+~yF$l4R2$NaW?ECA-;fB*ev@U~v&jt+KS zf6V`yFO!^_oSdvU-QN}eS0^g!=n3#)U}pv}uyQa1Sbi@V*V`Arf72+NSpO$~jeq#c zI9NCWc>d1ztxf-vvHO1(fcihjK?C?Vm!jj_)&c?4f0kUInSn904h7WSpR-j01R)V z`Cq!X(=xMtdpca+R`M?u@a=N`9a6%<%+dV!iLr8U0!%<46EFC;A-^FGfDg;tEt&&8 z|5{=I6QhHp>zfPUtvo+~g(C?5_e42408ApkMSmks0F&q+#06jy`-8ZD0Zih55D$P! z;=hQC8Nej@2eAQ|Wd5KxPWeCRjYaVfdSg-gFXDdlQ~QJ10Zi(D&|5BA|3y4+$m9=t z<23z)Sl$rG#LO1>_MTg~{*kl&SN``-{#WsqgxP-)#~YcMqutv){zt;j{##;i|0m$@ zK{1*C1HOd>{$Y4482GP$2rR5`6hM1(6BnyL4gBrn?Dn?se`r_%OcsCOn~#Ns^*>17 z@E^#*_8YqYBkXUzqZ{ZSd~YU}|A23Vf8w*h4c^Mj$qMN34~sY1KLRqp6=L%b_||mW zf55j!{WJNuF53TrZ!ZwjA7+j>SBJNK{)hgpe8)e@yg57mOZ`@VjME?W8=2GF&y>Tz z2FlLzAL+lx$^MqL)7!)1_>Td-{YW!8{}-~oMRRs@d^_@gPw98Z|It2{w{E!nDdEk@ z1!!;m@7>_|Z3A@wM-w^TNL=2Y?mskd`TPm;_5w1wT7iK7nA=-%t{#s6aCmE$+dtr2 zpWXif-}3PI$5On1dH*9A>l?k-pH{rNdILd!bN}nvFmnUFHO}>~hyCqM`5*k(&omI| z2{eOWm~}Mc3$^(c+Im+lg73kwGb%7ev7_~whQVh6)aLep44X_-l^MJSx)Dhp?0&zz zB|&{Hyh!})bJSD|8{V9#((>s0WE8JDvC{%SKaTZdtl&t0@re+Jv(!igOU2dUN-kU`Ha6bD>Pc-IPz6UwvVG2M)vE121G+X^zz)8?{D6em5CZ+ z9yn^=pH+B7hz`bVsB?wper#6_%;|JdN|O?ag7|v7HPiFXlAr?hTUEpDB zr1R^O2YsoGI0aSVff3_m>* zciXy(Vm2w8WNrdpo)rwcMlU-Z^=hjyfQICg#Ru(RIJ14!C^)b!{uwHafp4)X=c?$+ zY!bO7p$xn=s8p!yFXJM}vM5!I&-n>YSeQ$E;nH6D zTMq0`Ya8z8Ggk+#&Q`yKu2mca!qwGPS7!(f;u;HGa-|$$As7vRf!0fIzvT9RROV-A znIXIsa2>mo23tfy;^RzfYV-rixv?CuJ*I1jfk9iRW7SH#R(zY7^1JcEA)0;hHzT6Z zUvoYU)NgLyWmjT%C(+9=x|M0pt3Lf+^@RCj*DMN;d5y5_LP7RkAxDR~d^pzKhjR@l zX;%NP2LJ)eaUM)3Wy2M?g-ptSQlHe3V_cTQIUJlzZCMUOhJa{N?WJttb*XzVNng)&xM&0$}!Qsjc&rz~cSSFcP zd57Q14&$cLyE*zRl(Y8Yc(1x8qm-aNu=UX9C-&0 zwF?i*5{9Fx>Z)uh@4I52LmYtts)TLo;pbMFCo9E=+F74%B{Tr?XBJ3#ce5FLOla%6 zubq?wqzcD}_PxRlS~Fo4I0Y5<%cc~}3!kBBAB@wFV0&{D*Akh3EUtU9?Aj=lC0KKL zi8MuM)I{Z(cKJ)OesQ3eie-!Buia+Z@m2c#>_ng@Yo6DJc94WgAcczp`wSM!?V~#H zn1I^VtBy^*ZKQPuVJh+xAm{6-fMA3^JC&-1y7od4--hJ1t+4;f8CdqE#<1Vtd=N&-<~E-9MrPfz>+mCeeP+{YSF1G8df7#VOxu2bU$Qin{pQ8ew#eh zM4;y#)K?rMy-{t=2vqF;%PW;HRY>Z}uh;G&U+&?7L-YxMPA`jiA)o-O#D~U2H>~rx z&`-v6c0PD;w?LKK**GI%3v5m{Jn1!M6ZZ*kT#XS-qw1Uyj32sXEJU=W+x^jKRj~?m z{iaTVVSGL-rNi%nDpc68_BA#6=5t#|BBqd$&?=P}m9p2Z>07zE%Vvo}j(fsBSmp@m z3#<#1O0GYD$VuL*=bAo#j&Iitim{`%v#jjOS~Q)kh+ZLS+%KI;nfa-|@qBN>uEK&{ zJ?sxC^Qx^!)4!p#Y!sGUGU4j+c{DmDNu?L5y2U9 z4@(SKowUoN+^f6O*_o@QS{Mb>S{&aAq3q0K4w3`B;9{mTS--Phm~?w*nvK^j2G8B! z>n$Q(IFrK$4)4Wyq4&kJX>-MuMZ~S5Gz-y5WQwGFf4hv2j>}2Ez{3+4O=nXI-f)FOqH<(;KM@m+AjfFADMhO8cH`_I zkeWyY(XIh~;unkYGPfJ!r5oL^tp(DDOF_Of`T+02+6fAH$Cj$KFP@MC%%5F?QD+Bm z(X?13J;#1c@29Q-EMM&7qw731y{_vPQ75v0NDaum{c%!@oZK(Ekg^EF;?r*C`-&Ms zqC6kTF&!Fp#45yC9(r9%&4tNsi@CwZZ56|(qvWc=zfAGvcOFhB+675IP{Sb1e^R`R z{0h#uzENoYQr`V|0-jLu{%MW2HIo0w*WBc-KJ-xZQb?E1uRQ#9Qn5&462>1i5Av*k z*4qYqDKJ$MMfC|TJ(&`RvQ5q8O^S+!2lzj>^D_;IYnWBQuE zL#p&O2YqNntA|z+&0vM;tFc$#1x%hu{x=h6Fyihvt)qkIM9 zkb*EZ3ia=b&2n6^Rd95wX|ui58k|AZ~bFmQMs8fXDzwLebIi3z*QKv}gBPUt6 zwsdA_n_;@z?QrOibz&@Em2UvIWKy7!3*OY{^Av&RzIiIYw%oj%$DVk_@|ipU9b_-^ z`pYF5qx;9@g@f)IByC!YK*{ZYkjwR%V+Mw)uur_#ECL*fm>6-C54IT`qgH@!{qZT$ zE;F_R!n&!`2TK>_&*tO|6Z$t*qth9b^88L6P-u-PcIb${P5v3R-1`rVgS{#BbQYui z-d@G-A;cR--$cDDhr)Bhu2_ZKr(5A*APz5Eujj&hw82gCNw{%m3hd#3Q&B91E9EyLTJX`lM53dN6k^DWhp8 zW*mxlJf%*8tX#4!qR*FqbuLVhzar}`sjo^rF;(c1T?O?jH@Qa=rCj!tm|+i-3JeBx^J|KqvU&4MGXm6MNRBFjy%5`eVNnA;{C>sw`;KO>~LN1Bls&Ue9wLglwnty zf{NC60RuCP3pxbn!t)N8WuTPzMpwrU%R$|6NbO2bTdpFC&in~@e#G)c8xvKJpA^f9hOeG+0(d$WkC(RC8!E3@?Y z69ESy)L2Il*ve#66c&d^ zJLve>EE%);+CjJzRvI@`$=H2)4p^@t*{OZXy`EC;9y<0(%7c-p`g|%d>SVHSh!8Yy zb);kqX`I#YD`U&)?g6oa+s$j49CVSga+&OZ25;eK=G;Ta(dFe&^1Na&ll6dq*LjSr zL0J00vq}(`+q%vUd>K0hOKBBlXeVRsiS&tsxJcD0n|5(FP;Sgc;C@$#d1VguL zQEJI!MNaro+y`zTe5!D7Ja0JJBqeu$!^cquQ{d5m)B?3F19CnUDQ2?}30~7dwRS5H z>|WXKxoDd>J)T6<0lhyU6u-XVjg4M3CxTTigj@k6inyX89x;^0(PPkTHk*_d3^rSB zj`8SC7rDK{sqNwL$R*&0qV}rGm6&LgZ+ln{Ce|y3=xsuHM&Ud6hva)f$xx?%ytdlB z=a4TdmFYCA^YgVL>Lic%7T-kI80(JnXwiwLYkMx&m4iT%Vg=esIv=L0CwW{ zgB!cu2}9udLX{sAW6mx|?ANCMFkIxs|HYK;HSuU{a+ZtsbpR<+uWB^%z42uGutau# zw+CJq^sxyMK4Px-uJwhyNhmgdnxD;3_1>WHV}9h0UtfSH%I>LFJv40EjzhRh%x7i? zT4W#ODmx+F67S2Xu!NxuA6JjR@`3cH_{71-BIb%V9acwb0w{c3|ua%BLmr|i- z_n$344E3Kr(k5WeKC29E6f2rqe4txuZC?$|b|ifly-=j_uGM?u((=%Ma>QgiCeE!^ z^2uFnd6{a5!cJ6{7IZFyw0 zuM#ZsOEM=QH($q|AL-D47rtss92cd$A7DJ(An6?MA*GdFQsYAIT+|_|f+N_6KDAjw zBBY#L5ZRYSq$}Hv=xAzzLt8`>xK2^b-67|6|E7kgu7moKYze1QKJ}G-wCLBKPzKl- z)y?s3&wYR-wz;O1{471)9+nGcxztO+x*=0ziF0ia)Zh)c)u#YYK(N0)f0Xk3dtIV( z?@;j)S7Ai9TOe9`M$W#%ys)4R4ZoI^@wP&1gy8F3-r%eM25|jEQ(Sh&H?_H08^v#; zNDLG?fc-;#KxAMa!2;(Q;&XmNlCmEkbR_9itK7{L*=W4_mj-0X+XwwUyysiP=|o6E zJV*q-w0E7phpGT^{oY_Ce`&XA&R3Pb=kd=}St@J;rhJ}cjWNV*m&9tryrnj#s3%Jl zjjposuuOtOxk|6UG6_MNt3lnko(9!TFs*_#o2NNlbq0ZUS@)0}j_vRD_HxH1`QFnj zQWjI8TbD%Y*C?uV$y`WJk6eutcM7TVo(RuNo?`DQz9PV?X?LwKf7kGr)3jKvYt6z0 zwXs_?Ns2dE#V#?kki=5=POOea|U_pii6@ zy0?5I_{2M?Y4iv&e<(Qfm4{Y_*$-=~PM_3g9uw}AO=Hpf$N8Y!wq&LSy!$e)a4mUZu@mm~HCe|J&)VJum5H7+g_{_|6YN@%U#@+!YZmo_f}RPf@GkQv<##d^)V z6UCNgQ8f;pf3UlduJ7Q{rP-uCv%Q($E%((AT35CWO-r=;;9!=hztNHdK6${D-|f?2 zMt(}%`e2BmNCK+p(eWT0KhrD^?%x3pbS4pX3DYS z(T)VkG2qUvXcemMC`XM{ij+!Gh4fi2GAD33<>cXxfI?>tI8f5q; zIfy2q5I<*-J|OyWGlv`v%;21rf?uU+chi3t(#mjyXzO73xH=%epKP(;$Na04$3!S0 znDvA8A+aMI4=8a&!^gq!(_ zp`{57r_CA$?5&c5pin4a5|Lg>YYC6Bl#V;qcLxKso=fKKNr5FI;v>kJz{UFI?=09_ z@?yosTRCVOmQOMv~%EY8&VY}4xgzNgEtXG-S>}JazE>v*CG>&6xl-UIYEp* ze+@x>LeSK$Ukb{i-E85j@b&QQ_ERb|?L{XTDIC zHRq0*5^A#m&yV^hF1;I*j%lzNj5X8Ani#Y>dU zLg~0lMt9x*!Es6Kn+mx2g!4H1bljI;e>TxUG7GtEI>}D{GJ`0froJR5$TRz-JjICE z%GO(jhMy8XD)==wF3?kXsw+Rs7sEWkJv~d;h#2M_hQ9~pU&U(QyUlU0nWu1ua8E}H)l|w?f8JzEq}Q& zr@czwt&}Sd6I~zcrE8HSYowKTe=Tnp|H3#RK_^@@w`CGNv)(j=gh-=q->~~EsSIYi zi2M^)*URGbVJGW8{tX>NdqcWkW>qt^X_-Ckuqm&2k5Y^|pBfh27OYYQX-sh@?w<1&oI()}JM=%ZYS$4zdQ5!VDvk*ZEbW>zSXPMNv52G=?w zeCXj>-xTEwOe;B>u@_M=9a@TvLFJ(Z zKGEG&2HP%x&4zf$W0Wz`h@*W8ZlH`T%%QWf!-s&;0%gLn)f~kU>u1i%4j#4~J^xU` zR$aI15iqva_n$olJZKXUvq#hK37>}%2o3o(9we~7x^u%l}}Lxvo>Ah2Iz7O+c@gj`&PKI>T1*VlY3D^68@kDEw4 zE`k|Ptp$89#O*lm z$@Flsmi!5>V?6dtAkr{&!o1fzYUWWhKxvDE908%PusC)t&#+3md%w$YIg zYqTQZX1y#>e-F9|kn3;=!xlz@#;2MuX8bG&+c6>zN~*bcm@e1DukwiqCcM;4-PkFv zwY>R~>T}l->=M*uERkr}`!TI1(J~OfFxvv9?_14ge~Jp>qDZw?*@{lz^%q~{hTQW? zd-o`8ODIi}S{Onr#2eZ5y>2HeGCQb-K1Sz^5GqY>A{z6{tu;s~n~x^8?=`G(LW4$U zf&S!lN3BSk4l@k3y1rPG=Y#QgE*`5zzPv$ZV&sjomZ4!BGTMeoN z%i`+8f9oCiH44X%I6F<2j(l+Rn{e}Fo#PB6fb33U>SG^*no`)W2SKP)xK&qF-A@zW zC0E>2h{ZMeT+e*_2qmhj3F?;s|46}4{zGp53K8M{5Q3Cy^t4qOljUOpqlm z8-oB!T2On`@%@lW6fz+gA5(y&7+1{B^!<)b(r(o(N|wAQM$GbizB2OE1+kq^-!nlc z%loRbt-aq=h6#Sr9EBlkqSFwds&f?|ewv~_i`E6A9>DfzHH~qJ8;%j9s?ut4L_f69cK zS-6LD3#-M$&X6i0l7MG#?L$Ow9!A1R*8(t!^*O{qA*sl#F~$BUDgGzR$O}9Ux?j(Z z$Rg>(_!1QmUvQFowdvMzg}GvW>Cj)F4K!56_9O65OhU!3^U|A`$Yn?r<4hCjitK+> z<%!jp!$)qezeD5%_ua3OXswKae5k!MGZp>c`K&yGNzW{YIOorf4p$(8_agK7J;eJm%_XDSp zVo~@dM-OG6C&XcFsKslTRfirYn%v=@g%1_#9$j%~+V+sRa}A=K!(5}sf5WSjYdwNX z(Y8`IHrVmf&Qiz6jM!E@^OVo&9K+PBkG486rQZDMos5C#(U|Fvfx;L|X<+OPURf)f z(T=oCG_I0~NAyd;P%O)j43(49i)vo$S<0sn3I@6cSx75XMRG-Sd-PKfWEYaoN3K;| zN%PIn>Y(YaSG=6L_Z?zGe+@S2(>m-(9g#DSYbcSL)sOckWRDg1jx`3z$nk*!n77@| zex6HP9!LZA?L-Y;KdMiMx+!*qn>DO^TxzQ=n*GyXV>fGCct8$6g7?ch@JR{79%E%Z zKcf_PSU$2P?ZsrKm}vXPe4U>y%Yx>=fngOZ?n(fx0Lf=zLm>M!f8v{UvAdbsqO{IO zVYV!_kxYvbAXUpu=<`vrl0eagR9^4;ZZY>UiIpOZh{hvPb{)EX+gvX?4N>QX`MDWr z+|Y&Hef=I46wAVDG~wl*`H=}RXf{(FVL%g(8%4FWoVW2WuWy~kB6!&E5R?d z_}E7W9wT|Q+a@o%l0yK};bz4O5}BvRFBz$c?r_%_C*vZ`I=`{sb%7edOulwR5=rJF zwmC8Ea3|o3OE_~6K(dBRnw9oYx7L*hbBo!U*ys*Tu7;7Pf5otjsM89&(yFU$Hj~Az zDpNRGAyqlS#1J78(T&e_r1he6BFNi@)k>!1z?_o`P6slFIScBGD9zBeM+ks`PHHhM#Y)VI%oj zYAKRvlUoF2fA^rI^CZnNNJn^2lQM>lZdEdyVeyFuM%KTE<&bB?k-;6pEtI`(`ZB$? z2W>K0VREG@fS494JB(5@oHKMB$0bE`uye(@?+~{TWs`(_J{vk^B)&K>f1W2_C7?FF7yaklJ~;`2h#khb%1xi)tk0Y|R7opB=U(p;GJ$M+Gu)r|yoP%Yva? z;0F^X;-LB2!1hDi5(;Eo%d))LQ0AzGe`xkU8{V1&NcbpA?D*u>=S#;^KOV>YWQ&x0 z{rYjCbbgNLte&}yrUo#eBY9|2enGM9M1jQUTYJx2ij|20&lb%gsyB$*FrJoRFdS1{ zx1${qsZJw#`jN+fP>M1`x}%ditvOQ&*$C3XTLnWIEzlAJFF_uk>b{Rdl&+F+e_cZM z0Jfn0)EbDCKs~1%5f3NOG@$Q9{m>g0aWW7z=>p6>O4c}1KZ;A~?PT7#49dKc(^xvy zsW=Ha=yLBy)UE6tbFf|L$EZ&Fp&8~?tzhJ-bt8^>%hK`@b?n5HJ3B3NV%smmebYWJ z5tCIE9nI>c9|UnCG4mN9Q-i7dtZpCLGO04+Xbwexc zONZs!+j7%_#Z@lx-B)lfn&A3u83dd&mNUHDad&#+sOEtWN6eg3*4RDxf3C@N6$8~^ z*5x9t|Lhz&(J%k`-4zR~#U~0B`|@0?g^#Z2F2q^E;S)i39am~E#t(x8J0t6#$gxMc z5>7_^+H~tr28vrrl3>@<>{-6sMmJ&X0C(=XfFnp03Pd#!^O7)=--b*8R95-HfCpQn zxFZiJEgGI3s+(av|D~CUQZ?R=Y(fD)#fpu7~}>QRK95e~s$1I@pH z718@K@m7c=`7Xy??q$0}3tRg{+UwiGezNuABvw3fos<(w;ZJMf;8y`Wqn;s z_H(j)C+%iXay3NQ7`-PLdPCiATo@~iO*qz=^PRDCU6lbG^FnqgJsH)@eKV@WsG_Ev zRvinafuiDCxj4e3e^X~vAbjI$Kz1z^xsM!jJn6UMdPN)|1_eaChq5O#1J>EsoA=+# zd5LMAQ-ix*#H55aI}wq5ie7%LQibN^HhL89${!z7(nnV-T4l8H8C5nl3q<&w zlra<8n+}`bl}bf(N>g&);x332P{HvaPr9z%57#0^J%D`$e+g?l@X>!NnRoE=>BP5W zP+5(T2DPa{3)@>G(h@iu)hCsNQ@$Goi*F%s^uZ{-@X-!u_ZUgc+y-mf!dVJ;nZ9bk zjQ(us42~H5YDZ!|Ai2n*7c$g#N;L1*c#&ucPXADe3c(#d7{$mqh4)c!1|k2UH#$;l z5I^EXFSZ{Ee??C%2VEZ6Tkwd>>7(ROYGajB611Gbm~AcQcoiEyy7bY+~n z-h%4N&|5>fvUXU{a*u|^b5&?fMfE81x+EUShMvg%e_5DTM`wWZT{qmy*#}NnigV{n zW`TBckqTJXy=sg3_oxcnRJg-IWRV{T+3SA|drZvmZU{tf4E>;ZXtxfFoU-J*cCWn0 zbsMEHy5cKxW@|u{fBhCsN0xhES|}8!^ypcpMT9((=iV5QS4(rTj`O~eTf;ZKRfiGr z7cF|Ve-2VycKJK%6T1L@x^$MnFM&fSF!UJIRhrTBE#<1aq&jQ}M1)CsX>u0f6Yn$W zq*w^5N(PQ1Nop2U$s0Hj1$)k%Ok)%0FDFihY9|uii?<-N!B(z<%;;ek0_mJ^omM>W z6LM1d(Kuwd>uz?Ku#X$fQU#$Z4Ca9@tDu(ef9Bv7u9SVr=a!Lbzc#^T(N$HoP+z3R zJbo6u_ctV(3R-%$V7-nC4*zC)dM49@MPscA$*Xs$H(Kpg5#Y})6c>Yr&*?oSR?16> z2raoY23sgnb$LBvWe!?H-9f+@W{^|q-6fX$(U(WTGSetj+~QI(4~hgQgl)~tLCY^5 ze;}BViF{Z8sGOVk`lJPvh=2DYYQ;SKLttV`T$WE?SLP`!JhLE2^VAvp?upPP{VF?m zCb&A4W@2TFEy{U~i6OzE18Lwti&*ee<9)botj>&0Xyf6)@Ksik^2+_V#Wq4e-RBAJrWEVqyPzI4@Q>{v@;URsyhl1>cA!fJYt#fa{J9yhWY7g3_at$=AF17 zaA5il+?F)GK9SRi3kA_YGKDBvImyphFv9}yBpD*8@1nx_Z4vb9@-;h2C$j^YBWe8! zoF(?4Q)+2ymRqQ+!Z$`VV&NXYf4L2bYj5@eD(>=?&naS7Ta`npws!O(F&NRuiH2yW z!M0yC@6#wtL)U|YQ#hLzoM8EdK@Sh(@p&YYk!39!vC4Z}_1h$?lLcGfUxUmH4T9RK zRgRi+pV_i%DRe8BwLd53z*D@!liSbquq$k9#QJ}b@6KS0G{o-;g}!e=e|wT2#G_|V z!7Yh;UIa0y&5~ZhGJ`yM^0K>q`zFsSve*fGJQlG@ElEgl@q=k}k9rN!ffaHF_h9JsNvt}+T zXphRfzEpCM{P1JG*5r#N#)Yt5Uz0V1lkd`K9v(>1lSbr+L(^Kse++_kS6rfVrGALz ziSOt52M8a|;Sv?Tg+^o9SvqFkL)$nfV<=S-`O$Gc#z6d9hd`selxPs*RW_(6l$g`$ ziGn0QOQ{-G3g6j_l`C^-2zoTBJd=>z<7mgGrPXuv$i_e|3jZIRUmIQVA-5B^D?ZMN)Q9qiP$0=|#u9s@QxJA ze}u!rmGWoL!9l;U{pb?9q~-qJYV*mtnxJJALJVYSVdR#*((2MZMa;#Wz)V|nH(*)j z{G_L$Ohf)DHPmn;0uihX8_K@Z2*6qZ#~B4qkU8%pzw zsvsroME*>V6JImMo5@AgXa=Yrw1jE#J^+{`X?-%88cb7@buAR^21CBrixJqgU*I@! zP4;Nwkr7t1c-=TP%Pp8l>6Csq-``SSbBGYrtFOflf1`}?n85r%gc*#HU>E>0kK-9h zb+>m+K&ZI{9qaKVH()W&F~*fJzc%!Z^z2N&Pk+`Oz#Xefpb@+xDNl#A!X)29+>`}@ zkgVty`GFhL(kPj#LQ;P@d$XuHN{2<=Zakv@l!xa!gyg7|K~cQXk`%cRBU0x`_QeT2bj& z4uf$bPO)7-{*?BFKJK3UzR`XZZ>s)1HcTVAfBz?qLsR1;m|Xkl7rzAF2vh$nMPTG! z@qxh^cKAb#>heo{swt&Ewvq&2&8QTIS=#wE>`NC~oX~L?GI2PmrhUEfxeRA!lZy^I zBbgKSN{VrM4Pg#3trg`L6HM&3q`g9J_#vvepU7jz;EcikjNvya2$jL96E6;rCr^>z zf8yuwTC{Fil%fqa?cGD2U~y8>*k$9XJ~w0sQN%a}hG_UM2bb^CjtCWF9o6ME2*0>M z8K$2sXR`73f3@+FZ$luL5(luUvSCIwCktc!VCSo3QoTlP zC=OommKJJfOy7an==a{>VMS(5<85tx4|&#H6{6p~^%*V6vxI3g*)^A{PAq?S8Ok<~Vs&7o!6_eEWKkQQ4`tS_f0-xY z5xJ#+$Nz~@h;^GtpP_73ilGhR^%cEHY64nBa4ROz>(SV=%;r58KVxBIv-vF1LtY~T zb6nguk)+fQ$nYxCD9lTUa|z(V$!^QXLOwsebEjbM%-4>-t~QLV*@odv7x3{yA@() zFqhpvAqilj=Rk;z$OzJg1#F%eRC!YjWD6VjRYqoZKiAd@T+*!H1_7Aw7D4PQjv zS#-2+5>iY2A_)W}IX=6?4Gt$pko4@btD2CQPvDn?JE?$PGi=16vO zZO1ODdtpFpiSd|ee>E;!IO>6g=Bq+0xyfII8kS*qC|3!@g~-S}J$Rgd4GtRK$Hsph z>m~KNF;dQZ=)y<&RCfX%DY-)!BFuWnS~+c>O?YMr+0fOUWJ?(?h+aoT^XTol5*Rla zhve;f>Mf(TywcS?-7>rzkJs4T`cdlIO^BYn{CIq-j`yV@ZhEPU(%4pAAJD+*TH?Y3i z?`bHu(4b4H^YwFKJ@%SLZYI%?O@%{F^>-}W>-5zx|7zV0LO>Ris4}m?nCM@wX2tm^ zD=sq#gJHZhf1e<@8K4LgNR(Y`U9CBh-gvayn!v?}C0WXL{Tc zTuj}Dw>Fqcr{>Y{&enwWHF?dCF?A1Z@!S&ZOI`5Kms0oGy!4D|slaoF&Ayhe99=8d zlvtZMEtQ$G1AI5*o-k@dJDd9C9e|vQ3AQFqMpiy?iztdXqZd4I+ zs9>4A=xS$()FD-DISN6bA1Vzk67%fyjOw{kSN09H%tQjCpK{s(CpUWunmMMDs6c~w zfp|X4S2sXwiY|{@mReUrlLnJ$XHzgP#5g z=Y5(cf06Xydb+m=v6`EL^T`VTlr31=3_JR@KiXLl76PN=WiA4o83nxiSS|W!qjp+s zm@|F-BxSWD)#~jp4X)4O`@@N^&Yu$b;{o|%Q^I;EB_euD{og&Eg1PA$l^z3_Lw zO*yd~ynQLh6>-MR&9917Oefn6dfWQBt6QQ=e>jO=6OYGw0rLJg^;->n3J}1{nI&h2 z{*@6jt%~NY-AT2szA@ctgYK_>@7v ze>-JoB)o0ZVUS&zev@x?KS%1_u(&JW%g(en&2?UXc%X)bQ+#uBlK$AGXnKxo;NmB_ zW*v90s-H$-tZ-1!y?ePzs~Wfj2RCFMi4X>E`l_B+j+L1VODpkn_Lv8frsXsuhNJ?y zYk0kFA2PI879`J1h^)G2vl_EO6RPN(e?Fwz@o0I#Tso?_twq@HC0Yq|U9R7^R2b%% z7KJON-Ye*=m;dl`(iPIFv1Z*B0Zv-aic!- z#cbZ{$W=})7zUc=eMVeD{i5|WJ50_+U67raP3B68td@Q_5T%y$qAsT1P)4bNe{oIK zktqb+;{vpIzV~d`+S?XiQ-qf>pn6utEtpCiIK!GEW#$6*BfXe-g6BegFx*B$v$(xH zMlt{{YyAz4R38gL9lkAjY_XR<^J7t`)DDq5;zb1vszGdH!g^dy=%lU;Ohx^7vsTOR zh#KW*N$QndpQkgWG9|0#=Qh%Ef9jrxbYo0c_^@E!;kd(WAOFxSKP%SEd1b$5$^x6{ zfy9Cw(=-!O`)=MZ`4m9eTu}}=Q%OM9uFUZBc^OIBCs{_xQbr(BwSEXRFW}fW*nn(v z#>Nx4fem&wmXpONC`mE4hTAf|^^1v(E-7Ydgj@*`70$a%ww_wm6~be=f0e}Q;4$QT zTbI#&IBF$_!=Y92%L#&v+=s3UsCwlr)uPzQB}SRp{9gyS;Hr~k z$-;AK{twZWv0sH+2s?Z!zwL#dT;86gX@yJJ%X&#mt?;WGr{+j;DoJY8~wfXzUA(&&}a)IKLP_No&=du$#u;QZ|v76du ztVmpG$6EUXaK)}>;~_qhwJoWgcfn}A@AOH_q!tzE&S5t*LjZv8)2Md>zevpS{M zPn@ue0+rg6Ol7ecvW`DEHl)tSajNkDq#!yoZNHAo^yStLf7uv14~cG#5ZG$1Zr!!6 zAzj-1TGV^XqIXxuR(CR5$4QkwX%>|EgO}Eh)|y^I3jqDvyU(96CdE0%=kl>y?~}6D zg;8wQ{q#4GY&1!lN^TAG{8hoPL334Jz3m-8+U7?{DU$bJy_YK_h>Q!g8-J2+cj8q% zsY@NUSUbJzf4KwoAY5v$p|EO-C}cv_l4epNaojW}O~6EcuQ$(t3W_RHfcOr%?+dfN z&X=)y$#>nsajdW{nPiV0=q-cQp3v#r{0Y}ztxyCHV*kBsy3K#E7N#OSeadmu-o;ivXjfCf2+ zrSyM1e^6y?Wb5|^q)l1uWBKkb$$ZvOa-Dx);p1V(5SQXj%8K9CeU5PMRWxD-(Bx4_ zAa4WV)#g^S>uS_hUdEiH+o@Cmn)_vINX-bs32b-s_X@Eg0^v<{lLjBvJ4d)-JI!ku zN4E4soBVBA0UTmy_5(bM_FBRT_OOYn#_L`Ee`bX>W*{O-ROYAlf&@_04gLV**kD?L z9#LnwYa9a5#_X8~8h%vc$_F0P!5xj_;Cn^xZR=VB2^**^{9eO50Di&T-7}ndr_$#p zq#Ab-`LnyRqDPQEAQMtur-idR`H)Zyn~~ApKe3Hq-e!uuFfzLssXYr=nF~r>A<4}w ze-@RSp|vpg7uAvn%hxJ6_QIVRa_=&hX}c4Y~(>@^WGU40WRyYwmw`y%$(7F&?_?0`bZ_wAZ#gw^AbC!6>{p zoSZ~0?g*v9=(=Zl7ct`=d~e-@KIA!pnY;S!;jBi?C+(RVKc#)lWj9d(nU-^we`09km8Y zuJgK>L`;(ncIbgcXkH*OjW|PE$cLoP1}I@(JLj<~l1ek1m&3{hC*-zban9|_e*re? z;o0G^5u*yueUsE6A83G7OkkIB1M(%i1d1{X^m;IDBxV#vvyK{*rHWx6{r;VOXAXOJ zIbdR@Yr%DgYsQO@iMRwkrMHt^bNqN~whV=mbc$Z#gX5mzn4$Zljn`Bs3Ojmp=;v7! z#dU=!FS8*~CzOFa6I-V&#W`(re{N)DkFR9(Wk%$dR%&|-!^g`hfrogzFp8xZAKqaA zQcVltgUc&hw5J(<5A^T*Y(h`qr1v8|`2h^tA+6ws!vaUjwGOE&%d7ES%yLW*Gv!WX z_gh{35^LhW` zRxk3nhjd})!%W!00OoaH0)YDg`jxmzTiTP*0)1hB>x`0F;_j%5Ht|zT{-#}ebGo|J zb?Nx3VJatdn9}QKm{bIxLekeer9g#13=*r#1Y%aLEA@~AxT_R30J*siBr?NbRzZ(RmYXY}i69ZI|6!x3N`XDnti!e{~qnkOK(0dNHr! zbqXhm)`z7Q%(W4g5jK#OOLZ|%!e`5p0yC|Q=8nLM(r3DCbDepj=|)$9NL#LV97ujw>r4`s6{R0`&e5UAkxLC7)@LoXeNJRq_=;RQ-i5<#@^@t zl1OE1z<5#b{Ck?nN;O$a`y9Glg>2m?_ZfM9Y2&_0w4sUN)_m??q}x~97>TSbdH}3G zTACj2BdphDf5WMgK+H4=*bCh*H}X~k!i9U3FSpr(fQkA}G~)@$)F6=)bIkIvfJ~9y zyrHR6PtzK(qropaK?V4(D2un6)|@ZDnpNq+9hOFZ`f9~wK9d99k=l$o!}dC!FHxW6 zp=3pu+XMN7a?e6a^nUStf@*h4;?eVWV#EaDmxb{cfBp=Vnu)`LH28k45T%)Vd!#7J zG}`#fII672;3~`tY;q^ z4b-NVytNOCv)YFU6^$~2TnMf;%ZFowO9XS@X|GSTCcMbJtXw3@abYR>a@RwHL8$@| zf>Xipf5M9rZS$v67jLK;(BQ6;Gf9tMH~6H$6mZU^-lj%%FhI!GJN3p9QxS1MK_9`} zRV%Nx_`|58?p$FQQ%-BAo=QIMkgYO^@2J|b=w37er)4i_bWq4U*F*W4KoLIzIB222 zbKv)2z+aFv(AB1Wy9h>W|hJ2y|zft?ze|=Dag*wjt^i5Qv%DHZX|A_WV+Sq}W zR7iV0oWi{?K%3-zzZ|~@=yS^o(==g`wU3I-RHL5yflA;ydcTwQs?dyC*GgZUumd+) z(d^ER>>GTd@i9O2vF=|~A3l|gj#^XUqf@R{$7r5I-`26hulH^b1YMNCTQo6yz>>>Jmb+~e_j=P z`(M7G+L6T~?Z9i$@ykts8QYi)B{DuL^EXB9X?;}sqH*YW`XWPMFPAFSxxrp+H|%X0 zo#I1AyrM-r&B~BCWb&S&^8EVKl?1r*{A7h?EfofA;A1xtn=HFUT^m=HRQ1Lj($j^- zx@a|?`#2|KuKR6cy>%v14S3T4e-%Ln9^F{C>G#)O#+|1e<54e0mFbsgS8}p9hc-ln z;ZfxDd1H?D#lwmYbUYIL??$H=FWRxz^|q(m)XWktdU9k^Bhf>s)Ynaqb7@6Qk+ettWO`Qx6xDuAHfFGq$8@zG5tRmfUL(JtjI+cnL2;Va~ zXYJF^A0!_$U=i#g-9VfH3H5Z7f2l*02tZ$YjBbHy2jc$#Af+(ceL#H8C5rqpl*&&t zrQb(Zcj6aGfGp47b&7b}f1LrUd+`7p8Da`k_&HkZRtrti`S~<{Iq;$2-Xi!z8fZ{T zUet4za<*mt`Im`s6m+EA$!i^=&ASW;ru~*CJH$XHCrYF$ct%L|BI)W&Cu=&z)*76P@y;csAeSPqLY93b3(#NbK<0rx4KfhJ=92^^{IRfge^|#F1G8+w6SmGs zO~1VeC4_lmv_d{Q;n;D#ZLTA+r{gEpS|FkJd?-Rx-CVFzJ2Wlu$m;|NlxQuwxw+%O zmR?wiS8iB?q*NG8FH`PYtsuLlVDfM(vHd$q-lnJILqNt5d)SxOVSlu`L7o69*E_TR z6qs7!Jx8R$7n~lxe;Gzp&e_bhge3N-Aa7+`+&^xoeUux#s8;WpQy-HDv6w14_{>=e z-}n0&ld`J9D?Oj88;zIr-gr4ui>jU`4$ki^7hS`Cj^yuuBvAI|JAm247`U|PEy6>D zq$r26Wg+r&v9wEN?hf}Etk4`C=?o*Fidrl_-S>PD-uMFZe<&bBF=h05=FdlBtC{w4|lca zR|$-acs6Kl@pB8&TlyQK(l$Q97YTH9)V<@nD~xdhsg( z24A%fC}SO}^`AJK)(c{sLR?NnclBO5d?B%)Bt*iwedqxI7(RUqTz2m3rZP7ir0B%3 ztYRWcn7^-*pPeYnK2?|Bxr48aUDX#}j8Ks`f)d>8+svoQZHxud!8z#~Fn$z^24c83 z8px0;*pJDimtPBoVfI#AETaq!$RPWY^CFms>WTrk>WTu&tpqVRFfo_7I0GL9F*q}e|@ns z#`?-6cz3q4@F)dSSvbpuRKa;p#W=90a$W@xpz<=s3buG3fj(9~c_5Ni&@xs|SHY@O z0juDngH2V42{y+n8W0kWjxL!2Y>6qz%G)YwkIbrM;anf96r8Hyk&+Sw2Hli2z%f{u zxBy4Pdx*da-V>+>S}G+$=Lqjwf5Aor6XRenyxZhpgnu4X#%TZ+3EmU%L}D#HJcd)W zmhcg{Y6IE=v`X9P1{%n;*8o49qXP;C2LX5zEd&$q2Tz|4#KDj2x)N`PXZ1jAjIU<( z)ofZBu;kuA?A6op&E%w>f>~){w>}*W*T>(hPZAb993PVYJb>*J*oP+|mq$AT4Szu0 z;uDyHST0Y|Ce13Cp_!U0Hd6q%nL1RO=Lmqxb3hA($Ta9f4UIv3GmS-5@|g~y!Z`>j z-cH6R`}M5)1ORMqRpOxjKC3=A^52S#?m?qh!bZH9jBlE zPJUEkV_$66-$p0(-i!50ysT!En}528Z;8nLP!=$iu(n`I=r$cQAz~li9RF3H@Ubs1 z!2#3VU;+`~w{ah+u?MREDTgZoDV(q6Ed@9W$XXy2{#khK+=GA`v(W>*>60^R4U)+} zc!xn30?N;HCL#r5h+&nW z(GM8rso+Fhd4E0uyx&p)>*fTeq%kGrQ?7VLCuJlo>@86#b>bDgF5qkNiJvak%00NM z9ZC@uBF=J^xDY>xEPtSt6oG~)Otag2l*y8XE#d(-gm{K1Hz;eglw1wzoG5iYe#|_J z5l?cE8JZD4M@BDEf(3*jB~ld%J|MORT{uRRmnku&!v1I|6It?EytQbm9hR3v-cARQ z2|e78GJB?>Q7I=E+t`9h&t)(5=r1fJb&+^RWBuFRa{AcLgp~1 z<>!{_an7YQpFcy3fsCoCV~Z8Fm&-l_9e-Zh?Oe&FV*#196!N{XLEjKWJnFgYxH<4J z!#ZQA&Ulg%l22%Of!x@k1!@GT=kbZ0or*}Hf^7R~RJqlHB)^P8M&HlFC}j#Rbts+OmBASeC1V;HdBd@Bi+vFJg*TUBjGvR# zlt>iy2ZbpY&cMekW+hb#oGX$IJuAd}tV5MA;gZK zfi3ie;HeUsnE3D-?akbcr`C`<8s_g9&Rj{GkDLP*igsrO1jH;`qnH=gqkq+wP4$9D zHic_bGlfam(wId2*dWDIR)FU`E_?!=9s5*8eH`KTGb8iiF>=@yBX`SrC0m1TYZ1|o z6lTFHa(oPeNXd;UEd#=}%VJWX(B>+pOs+9D@6Tt1b4N>Bb|9CGQu)m+JIY z<2Dv@31wTTB$};C2pcM)mVYY@x4Y!LMB@!t2yThF7E$)+b>hHt&%2msnsWnVX~_R7 zw@W<#`7b}1PdP^I$ww4rECQ8Q0#%;?m~az{1|ooR( zp?uEY7C5^56KCR(=Mk?_E=js-gv9|W2-WwwG%A@?Yr#{YD8cB@TTl^W&L@B6+)(pS z(qyoC-J`c=cp|F8G$lRLSSWOm;=x&PH1kvVDJ#VDOwW?!Z=gJVJHTV2Z!dVvE=W<~ zg6q8^IdH!3B)YvB%xRGlgQGT(!b2&dc)eYZ&d%Xu^aFv%;Ik(R zAHJLoFGeTNuFfv%3fS+@>dQm?)7U_K$eW-T0gvB% z;*EGK_QZiW5w-X-5?_DDHxqF#M&d7VDXzp=jIU~OT~9{iQ!x=UF*~2swV3@q7B~N9 zHMT}@xOL^98SX>n-Ol0j&2>O!V}D}_EXrn7WC(3koa&%r7O2Q2kOW;IVpJQEO|b~n;tJBf+`eOK_rBYf+rJWClf4l{ic3&=2$>_$AHs0gj<}UYsf@Z(h znj7TX+u+-;#lAQc!;9;4uxmXVf@x3AN8)6Bc{voP;%rh6XY~XOoy~hAzKOp}B%E3W ziI1BHd)u!GiEw{A5UL6Dpnee!Q7y#*eR_#G zF6ys0!wU%aFPQi6-?y6c-x*}U^B>pe^%W(;|3EUpWO#oyf^3j;f}p=Y(~&ge1G6uE z6<=@0;9azad1G2%j#!jw{SCNIN8j7I6rE3e7eB;*>&dufwUrX<-p;$dw;O1+B~GYA z z?C|({QUiwdmy7!Q^yYY4&$xP)IQf-|#oG_-FSdVo2&ZMm!U0SUf4+o2nTq;Xz_dJ4 zN#T|{E7gjfop*n}`2*BBSl$J=dET+VsQUT1RG;S%U)XW3Ni&ZnA9y*mgGiYc5^(VkGKe2)`!!YesS0P8la^){^XW^%C|L|OlNpB zr2T=|88#mj6p24ar?c}Z{z{if5617Wpq!tAIBs=udiU>+Jh3Z}^~>bZJ$d}<@^pW1 z#%*z&?240AAr5}X(wIIv;SthwF0~zLbkA6-1x{LkBYWb+)y3)DEIZQJ9yVc#sf_DM zlUA3eb1&>jbB`lyyTC?urHOKNY1;Rljxc>MHZ5r40-DehMy)PP``XbK#`k;}zn3eJ zF$-i&PZ+(rFx^(XBTmnWWeXa)fF^(SqomL_VeDPP6r#kQD0X#Gy3J}w7JrYO zie%$^;yfl5x4XoSH1VEzDx~Qp;`oR}-0jTT;skkjUBC{b5vT9OkI2NGR;VM5zDF9r zkfxW2<0BGrw=3z0)AQmo+bqJ{^b_ALX&8V0KgHkw-@wVR`PJxjT7BYQ=Ia>zMu2wy zw}Fiz^f%+P0W&Cm{r^8s5vk>uQ8)t=m-L`FqMLN_=zHZn#vHa9jlLo+roL_S>#FHB`_ zXLM*FGB!Aqfp95*CC~GqqIMit|(Do oIq4|9vfVojhS$H;@ggJtsfs8Pm)l7L9t$=zGdKz*B}Gq03a#4G$^ZZW delta 50123 zcmV)4K+3vCeW)t5zbD!tj$;td^a!ySqu~A%S^L56A!bHhTYJ;@_Xq7#p zyX)iGSw1cZLDP%lo7>scA1FG#z0N7Ry}y`!&&O0sBN5M^=9iOmAu@xFWHRJ`gj7mr zW5%(eG2^{kyUx{1*GGS5G6g*l>ix&GAed?94QxaTd8AKJl~Z(u^D$={9k(qQ1i31n zZM}-d&*bpK{>qs_t{$bPioGI~C@h7_NX&lr;<{G|lLWPut!)?Wt@SkugUUVv>t>g( zmU&U2rfNF>wTsFfn1nKo3nkuvi;N(Wb97NvCGdr6Ag>9Dq03937%*GKbF+>^+}L5` zwst6&eHa611RjY1J_Exs^NSy}f%wWN_VX74F*=Gy-6Vu3pluT%n0YItN-#A_;aG%n zOcjqccoKjm0cJi}YINT$^06nl8~Ud9ITS_Hbol^sxULT-nbH+WwGaj0tQAe`j;PaS#DJ=QSC>%Ms);3IS^Y3G%q@0dWk$nyP(mpdBwm z)Bsum4FVaQFkHZ{?6Yy&Y(3`-;5>?H!5W&b48c$n+G}8?v_Xm82iKLZkM_wZI=$qu zz)h9ZP~@v%1)~27#@>W~_)yCnQY&r5BTs6b_((0IFz~%uURhr?we~;FQepi;^3?Uq zu55?0sq?X*JnW_aKF7UpHxk+rjH12`K-W7NJ%X~{Se2j79ue>)qg?)HRo2gk{skBj zSZn>MPjD&Jo=btnr^99#+Wy;Qvg@6HNIhP}2g-Gi;W5wO2l;G~} z?ou3zTYzA}-KDrgafjkk++B;i7I!F8TzlDa&fe$$eKYq?W|H5te7);gZxTvUWi>`o zGq4Fz3T)@h$jZdR2M|{j(`ID>u&}T*v9PcqQc|jeoNa*rkt0%S0v(+|U^~8lS%^CV zjh)|Q62{JdZ-$CsJAj;v4SCMH(&J5@Xc*_n@lT`qGvS1tw>AX9j?=o!K9T z#x_oW;5UC`S7VTkvB{gkpQRfEq(oH!#%~?|-Jg@GBgo#_iOC6M^GA=&e}s8EW=T6U zaj>l|(9YQj@sIi>K#oAuw{!Pk{(HFAc3?LEZkf?0H6Z^=x%Ds{6_+Rbq{;spGww0#BV+Lc-e#P0p@RQ0DVB_ zz_$-XFDGMHAi&wt1?c1TZ^i#2L{?US8OYQbU;?xN*&+TD{Y?xs{|mp(-x1^v&}Dg} zA1i?6kJo>n^xqg}2DY>D_{aRu5i?6_DTzvG(f{4@f0bflV0VBQBPSPtk&TlDz{<*h z#R1@cd+_<+ILgMLzw7vyudJOp7{L2ixo_w6pORhw<^av#3qlL{-&jiEH|7EXH2)A? zkA;)P^zDuH|1;hHbou|s@;{>dzY_ibRwU(OWAmq;<}ZW)AHA_H$j0Mui#O)FIKORy zBKU0=?EbH*7Vxjt6$9It{a>A|v+>)1E{NJ$*!=exK~7R2cc7Uv$l28LFS`6C*Z5=6 zY(REEWv~ z!~X{Z{|hTfACv>DEl``gU$Zs@s`~2U+~Su`M>aO9hjXh9fALZcpEdb zvm5wd4sWOD@+bVCv75R$I=)?ge=g=5C;o%~ylH_zcc3Za@&eeDKiH}^xc$CHl*o;7 zZ$faEa!)IjmeFh3vBTvN6)u^!Ix}#?@m4f>q!)c{N0R17WQF9#>!hWB9xk*sQKjw4 z``IvFb$YK2acK&7aI)}3v~GYH;XR|e$iDZBgSTdYHFOJPmmFoTg9{I;az56*Tfek> z-9Xvu*yn{kmHlcid8FsE8OCUhD7}EF%R>9od`0Oa?##Gao{yyJh*NZZp_lH!?>wfjcZ^ohR-xWsoo)5j`TCLEdGM4c zo=lYM4-?OSz7%!ES&ry7)L`G>1WlnEcJhYpOgXc?vL`ljUj{SCvf+uL{w&Yp8J0`k zV426Zb$YJ>r8T90@@S@gO8S0!Kp1uQC9CsineeL08RjX+PoQd~Of-`IYy?x9y`SOK z_ig$osj7y-=$SC<90a1b!w_(DTyXtX>!fBq6ZOI>xdEOW+ut^ z-k#-MI{Bb~4E}7TZ^$3zNtk&a3CJ$sr_oDgL|3>w7leh#%Cify@SIP-jJWaBP49)- za3XafNlBrIY3)9;hNyiYeI0-*WTR_1C4!wBHzJDS;nR+54ftiFQBDZg94woEEv)NS z4n?>)GZmn2#yclwyjd8D9vHHs z8#87cPw~Z~mbLBK91TwIFd2^J2!Z?O2V>Pq0}PtX<(j;F1#cr@YFwi;aFiatts@C%a)aR_v~NE8nw;9b2r`yIq-BcT3e|BOwJS zRTP_lTk*%336sa!kkNCUmJ|0{K<&qRJ=|c>J*=PoOd*&?!eUTU*+pgh+Lr%RK}B6+ zS4p5}RI9HN863oSh`RlwrI*Wwz>dX)_p_~j`^6>03G+%xk=`c?E<#=U01e3q^1VTO#+K?9|17U#X^&xxNNpu%)cQMs!iWqo+x}PPg_q zs>PSscxA2~hDx@k!5m45iM38ex35NZHo7%966<>m#owO)rY95Nd;AH@@V0a`q5c&I z{t3&JvK!5p2AgyRQOoaE6gwsSKhGK9U!abD=W1oG0 z-~n|wRYaO1RV{ZtMhnIlXPu2F7(GW~KX1-t#o}g8vbsRJ&T6zS;?tF5ftsj^WQmxl zI)*ldD|0LQr1;bCogH1Hkhdo}BUxnbEWLM@Ueg!2Sz$(~PtHu=?Geau3c7=dy~2X#X?;&I7veqRMiO67NO z8zfMy?5btSJg~JxiICSM8olqS+VjHtZmfk4L0Rp+%ctlN*jVm0Q70xXF1^A;Uq4TO zOBe<)q@8QFIAwWuCqM6rnxgo%p-6w2Ma~}-FtsTiJfCd*;Hf4q(_{wyO(D8}gbOC? z%b4>(H;Eq9n*Nk_?y!x;9Q5}N>jeEzvI2p^EaMb$m0#4^j{#HJD&fBqPP!w%Bvt`7Brh?Y{IEZ%bmu zSCBpgh(GJPkBz%m+4YJ$kT;NjtAkpZ(62%FT8qq=pgp=EVR@sKk?g#F^yL?#-#$kc z{1aXAwP+QIB844MLJKn0{uMnZPY>s%tG0H$W2|Y9jG=dXxlcHyy66c|kQF}%Q2LM$ zoUOQ#;MoThe|T(rehuDd*b>&cXcF0fRK->n0|{O2PMs8;pRT%wX-dt1>xo)ge*>pB zR=wLq&*Xt2frUzgIX|a^?HVKwSCS=EaV_TMfbwkn9nP_MXB&V9u;Za6mdHBZFwq}c z&W8Ifa6YatE5P#Lvg#8`M4$|liBfh$3jaPd$!o8u)d0eDH zsBR|^%SLQydmAMshWMF(BTDHq1hCuv7>3&-B-AAc%qeD9Nt|L#r)Ke(-uPLHpA$oV zBL}YqV1eKG5k|zV_Y{KZe8E|@M!+7OBuEm|H_=Y8)Cz-Fg4Vm>t*e^8^-YK~KsFjH zxGc-D=?2*y-LlHkgLKDQb5w1(iaS&m>0aG(*jPRB2Kxv2WF+8!E;xp!3R%m{NkjHt z@Ld0KHVs|Td-h#=yqVm+-lsBE)N*MLf3zkJGaB>_rP!VK&0b`DjrS5 zw0p?&3(<2y!O45a8-V7nf!{6No~`>04e+kw{Vzei!S6Ms53jj>VvX4*JpNNH)7mHt zX^N#a9raO_m`lZf+n69k`(rMO!F|Mal+veGP?_l30TfySv>oyr{Hojb<(jz;<)kvY1oX z^(`pBm;ta=znRwY5np#IEMdY>PdG-)c~oFHgqgo38o7aNU-f;Z?T_B7oDABk+fwWd z$rwGyVJ%jF(D40fK^@n;QRTmhS|G2>UoOX7E_$Pk_W7-vqai!Do=Xol16{ZA9~LQ)fv{V5Ty z2`Zs~BUWfRuNZ_-36E7-TsV~3rvA|6g+sm#aY!iaUztWKauZyQk2lr!Quw(w zD95b%p?4IJ#l(!xoUIFe5F~r|&>H;p!emrY2FJ;y(vE*>qt}FbuX#+KyZG*@U|5!0 zce!$C!p#=uLgE}@%4@YwWbs^DA!vSY!XZ)$OOyiSE?1MC)$aEF2 z1uDleE}RJ_5`=UMDi(fUPUt(9sRPYX0XRErI9Ea+7joxcM;$>d_6^H4WzLm3oGhpR z5Hm(8W_#4g$UTLOo2{14cK-62?s7mfX$b7_fxjzkzHO3uA0wuf>sYr0Spj{2;S3$z z+(Xo)j{Iv4zBErNJgHVlupRw!iRYp*f+8+E$80Z>ikyXH8hoGR?4nygt1>?JB&jh( z`W}B^RF7mm&I!v+^7qw!MfLJ2S8KV}Vl>icEEOIEl%I71$dv9jQ~^ZAhzr-1=x4rS zmfM1xQuX;8WNdmZ`V6~%v)@F29Dy_?s5VjubORBexSyA!SC)(lk-pih2~#$MyhkG+ zoV_7*;qP!w1RjXE6$KwMXSng4MyBi<2m`0k8>h?M*f`eF7el(um`%g>db2t*d{qXgc*dU`C_%+daSA*%(fUfjs%VNLD?b^p+?1<$0N z!7sBFLYP9O_|W=i?HqU}Zt@WbV0^nfzgZ2IdLTi_1@~SI1fiE^?;c7kpm}^(U*Y~G zAh~+J{o3siuH`FUpZ{Qg`-$L6@Bp~OWJdXjyw4)^`z!wjR#$9O6UFYO!30#U5W}ZT zCSs|lwWLDG^c+gaB930Rg7p+gg z&nvAvpFsyYNVW)}L3ODrlpzGZ`pYkgPzqB-e;o-=VXq#p!-!1uuH?aZ=j^K@d1@0OY4RE~RjBpXpCed0EfBd>) zj05O5Mlk?;yhI!1md{Y}Vr`^^-@qRXl~d+-2?)4tmk3%5Crv=FzFLV?D0{!RzQy(9 zD3E$R{p{pJr~T5mB>&Z_IPJ>RUf<6*jYptcWGAjCmA$clz^Y}BEh{vTG8vMWTWR8g z!qYd-ptmOiO2}5BPeEyi_s%2yq^^hH^C>(8z<7}sc9KNnnO1^Hczgk3fww)Y+MGl6 zmaXhOW?H+YWef%0jr;?ep{gelyv~>lt;5!)7vK@=7WD?6-Ev3mbR*+H8D|qi;`=~? zJ1i{^{OoCeKYSwPLQ3ymoQl4{9JqhXd@9m+!8}9IA+w_iTdu#nLV{FhwR2uxf@oyM zwCC=aW=|kr8-FMcpDF8*WJ>0!1%+J(H*5$Zq*N~UrWab7`#vF=eDp)CDt)u5##TA8 zy80F*O*Sn_P0jFWrM%9i zR~y?IE(bO}+0TBPDN(I!5aV5^g=AqO#_Y8Hh`C6RO5BHX+;t={b6c$3rF#qV^`3N+ z{P-IW-^cMWjKGvmAFxJLg{dfU@jQC)!pgL@QWQ0pYkb5@#~(<>N3$%t4ol6c7>4zh z7S6AKHU;#U`%nE>>$UT7DuuZcz>{ZvThfNF>;AdV3$_=D#JAttPL*s(X=azRzMQK* z%}LC+XX`VDLf-8vUzyWVpSnJCL`;_VNXlvYP3ZD=*%t9bg`GOap*lj5MgvdBPxsEq<>X8EO^Nl&1091nuJK?#dQxi3*4` zAMRub)^OblS7RMnKwv~sps0VBENme%x=KIRh*2|N!YhO;dbzmYvD5%`+VS3&5q&iOklbDEZO$YTD;fqCcL{ocz zs3F)D(MGVmf7I^$02Y?oUw?DL!7|{HXH9+bptE33I`1!8;jTDV10V~4uyw75lT7E8VrV2g#vi!6Dp{NHN{FYZ&ueNF{Qn+k7MRY9G3S+F)q_DTnsP#TzhW zr^8PAR4LV~+xnT-S3i5z>J`pCPS*{8U#;#(Q&krm1zs6eT;T@Tq%6srKEZ}<9 zJcxJJ_wUD60^wn-`4~i~R zAJM<(5%KU)Q9E(@j&YtesqOiiZF{uL?!I^(4w5I0u5@yVoJuf@tXmdz#25d6rY(GB z(;k#Ors=0;=J8{dQw}YzZu-!A?S$oI`W{KGwarrPhkVO!G;K4^JO2;%pWDG zs%kBh^54h#POLc!uCUkC;J^4R^Ro+lSv~&VAaI-lP}4Agnuv@A+h3#C|28M%6cLR? z$lt#-alk%?)PH~5skK0-`7!o`Vx{xS0)yIxg(1A5enT!xNJP~!qx5%w?fHApx<{HxL#!otRKeVXcMTdy7lhpUypn=A@!eK*sMYIWG64!5Slyd&RDdF_hInWm_y z-WMV}*qPC+qpfCor2T4tx&=#&8>yGciO0gMUCD%csv56d56u!QKi9q#EGD5Z9*2K- zAIuaNX?u-IRJ5NE(2b2|nG`O00S@s)>8KxH$I^$Cs_N!j-&+h!7DxZa#tE9nOEP{J z(nVJ0fNJo~WZ|Nwb7OfJfo|v7kKpyx@$Pi_(z}X}uL)iAol=~C*vB3XPt=h$8IucR z>1qiX)asuUTofG63hfQ()p90~4T$ZsXG*g8;tQD$4aQ9JX&4NHmB>Q=;t3vzHp%eZ z)Y-P?iAYrS;P0#hTcvy<`=HmEkW!327vfqJ+nyglrAdFtoHQsAR(^n(*wZP_nU4-l z-W(p0G8TI`q>y=k_%6Ir*|n|PlLz!tMeSynexi>83%mn(OK$P!5FqV(`FxXrWA}%q zxR_W#slvgN`#7tUVQB>cjULAKOF$$3ViYsCt*iMxG-SH1>W7*k zEm;&2GSyGq7sXnyZEG_Sv&RdAH7DWcX*(?RA`^A<>OYj!hlH>3q6$~f0*u?_%H2JD zTX+bDUF;iw^1V@7g*ne_2!2!O(mK5;nF(Z($5c;k9%+;-&e8Bpp?pX)k?c}Ak-^-9 zMR#WEHRn1YJYC4^)4(2ELLSPY+skv`@te%~2wIFYYI0=OGX+nEtMQGI!$<_&35v+y zite%HU^ac-%|1e|M72;Lma+Y~oLXL%Yl6xPuN;?u+erx5{6qro9ZH@?OdeSYp8ALl zS{;-v>F3E-)le((z-2q$p|^`BO-!V$x?cYkX*d*{LA8aUE#NRq;uHJw;yj`(R(}|o z))hBoG|ydh3t2S4m<|O%*O-jT3=YWTKdh#UQ! zJWZJVE1&he)aCO#7Hm&Zc>8ONhhlh+r0%rTC%kWhp-$5f!Yr3mEw{STLzMm^RA84Zvs<&R8*q9!`3LQX4grl77*GY~@7DN(*3ri`Ss` zci8?ev5zH;C?nvV-Q zd;G&Gr(Rzr%r$?NqYKGnYIWUz$=g-(;w>Kf98*f=t0k8ns$DNhPk7NVuKV7tfhk^m z0`PBmb3Ia1*2sAD-{YQOP2UYr3}-~2227Yr#UOq&LB7E|ia8Yblb*@Df=}_KD8!rU z?4LP2_1Z8uU=T=~3J&w`b8)+|M5&A{c6w1qU3-96tJs5Sw|sw)T#jCUdN9K+jn|j8 zi$6Y6)FkCOkEkyyx+*6a5_HJT052YG@c3Q3%TMXfNH;Kq@c~EMtEIS+2g{tFko>K5k`y*}JV6@h5ve->cZnQ-+$ZM{%3x@+?x-Bm)E^F-0@{sNd@n zdx3)aA$`4Um*PR}Utq5--X)J;b4Qlg+E1omSRn{i?H9VrOZVs^9~)>s19o<3bXtNfnOkuS)R&wRCxYc_rDo$f=7=AEXH6L}jm%^#W~qv; zA&GN-nD;8ENx#zTHOW-$GGu3PApcbB47Bz0Z zwo-s$OYbX*9P5Qk9ldAq#C>>&Mv2Jd(1cakqgFs3e!-!?mn70z=$E;(q)x%lNX>B5 z14gXG$0@|y6nEl(>=OTFDk}O_CB!V|AP{no)Q#7d)%Bq_6?PEv^rPBxQa>BhM?Eah zntXd`BzX0OJ(3IpwMZQTFt=+fSx!l*S;e~s})H%>?m~29s9@`R+~v2i$L)K#KoY0{5#?xln*tPV)BB@2}o1Y zJimd=l@%^TsSZYm+IKb|M-U-TD*{W>qM%^r9_GlyGi*l(PiEftEf}tPCP$EtPiGMv zf2f9`Y;K-FHGjX4W$J;AviF=i2GArWnnT95m+OOTUmN+tuMtc9=0jnlFD`Q+lccfNGuM=F zI0hoB#ALn{EY1mfO*9lnQ0v1|F0?&&E8Baxd+Kk0X5zFyg5<9Jt{t%fS9rxK3OclX zPE;gA3=<*|oC*)AIhhC}7i&?>VWEbk^k8J=`m>NM?t>Vrk5t^6w}@q`;I5C(ASa9!i08zQW# zSP5k^0;J3AXObMjS>GU}RJ?4G2pTq@=i)P-_0stPSVd#%PqZKTey&7cMS8PAo?au@ z^?I^*n!sG+6O5V{u_Fx^`O;QNrL0exb)HAa?sbcmCfF}Iaw%i-)=C;&A53#c2CeFU zecQJ0TX@bV=r`*;Dn1UF^kf8B|I5u0xd!Eb%;^M=2~YAN0@EuK^>m}ovs)5Jr&=C%bB1@l z0{TddUBQb`lG-~bju%8C62e+u3~5Ez`cOD69fKKnsaMLMLV;Z!94X-YhD7~VB72-D z=3YBLZ)PrsBjv%ePMeN0F{IoB}~TF3qc8`Ff=#a);% zMVxEF0a|}i2)*dL?-f6<4)4`}kL8`%fPUQ+!_Po5@~{%blHtT2{TOEQSA_smIc-M| zr{%!;jGndOI(spUiCn#%#%2|9(?sD?RO0u!gY~(MMM;t<{JTV%Rl3$3xM!Hb&o`=W zu<5wP!D>!{Tq&`f2jcB_1Pxscf?@SUO(P$Ttehsc_|4n(g<`?ce?_%6t zXJwnmEV)&e&ccli>c&VN5*;FHnn+c7T7HEl^iY)*N*7c&lb8~;4)W2EZVW&^{KsEk zVI;psd6`Mftf7BctQ~ECOhFu`#1)m87X=Ati=if#yfB1qrzFqiwY2FYkTqwu`{WoP zRbZ6ple7PH4GFimCZ+A=e(an}&l0Ov5e&`L!?oCNg}`xNo&)G^i;LpJc^O_H^;>+^ z+>VM2;Sjwk7{~!{5%T?}wq{2L5^L(M=^81iE zd1Ia^gGB3bA^GH62)Vgz;iLKq!-aCj%$*;vESgUb8$UMV&mtr#bb+6p9?*={1 zxQniC*Qic~#?ougn~2F?8Gt#d!FYuar~MRiQxKq{bx_LV@)*wT4*yuPqh7+OXi)MY z@Mkl(pO5DQbxZeuTzq1$Q`cH=FY~VAsFY7GC0grM_@s$J;$FGjsG35C`OrF-N?n7} z2F(MTj-CI8VsZ{JHLuNi2jfiz)&Gs-~!$^mdBjd-g~y0HCGQ6{ziBZG-RBLTym zg1=iHS{I{OH(N*!D00PcM#PdCR*Pi8B0Zg4FQJZL4K}lX2C5QjqhwVIkfbAy+*#vb z@bSyl(2e3@EPv()>||GDlDG{h>5kK>UC&>bKJP-%C}T@rg>Hhz3(*^0cz(yoUH-hH z9q83=O%;CJNT87LM|nQ>p?ru?Eo!i=>%zQ{v%c`S++5*dO|%SAeOy6{za7W{Mc_#1 z*4>s3yXh(fTSRe2S?Qkgfyi*o;1v{0i6T=k3^tF}q?r@7gbqwAW z$d0`9BAdn9kv}vQ|7v8lmTmFf`_0)4$34nsUyybeuT|^5m_Ar|A?lU53_Vgle%Uj2 z$KW#1(Rf!YQ)#a~X!y!cPmXFF-#UZUF|!t|%4?pKx|Xzw{qoEllkTEnkHJ&>jypD) zeC+Ih-4ZO}@dK*oJZxMS#!v^Ou@iA+79h(mGwvo~oBti3jSIDX?+cf|ZDm8we06XD zRsy>{MCE0~r`_|s4@`AxTr){RhW>Y13tRTFlw7?V$*y)u66COs<6sb4K3WjdEf=6; z9Y1P^em0q!a*E#}$mQmG*8xK-VsIq7eT&0?Rk{XsB)Y6_hwpJF?WN^m(rk{Fq3?(* z)!?0z4PDoa45k1{=+Y;#f$KmkNO76a!}UO6vU$rJ64{1Rq60@fBuvkNf^Wa({Bv}D ziwuYaS2dU?3>*)ONC>5GDkz-nqtE7I9JR^tZx0DnEAUuh;;lj9w`BF0SBfMUECHr} z=x$1DbyrZnS!#yVQ@F{}i|GiVOV2XAXGNDkduo^nggM)O&G{n0esMo_%#rF*A0n*u z_965r+o_ZEYDz**J%;W9p7DxfKj46kID?=J#w0b>Ts_8ikW^%zyqFJ(>0S6YrSV5u8 z(vebKyzXsr4(X?n^LimY6Y#OKMXr5T02v6W1rXCRcOgE?ezF}jJdT0@@^$XNBAMfak!VbXF*TbCn=6 znp%1PG8SgCBb#6DH=1{H26DPLkI>T42ySOCy@9cglr7HLq=3oE%U55I*VU*iQY*ur z!zM{+7-Et$2MJ|f81Y);j?~38pxT85>-8#&UAy(*T8Nt{$xrTaYQzE;_#ca&{AapR zoD*aP0>lgWA#*`E-PX1bG7Zyzts5ms5(mvzhQjASiib1?)-3q-Kq2W_9_(G5Dy%g| zXzA3o{AkZZfy)D^;lTF%Ytvk}ymeO6FV$%KzH@oo^yLxUGZecwCdQ{5na5L!E{nq* zzfiW+W;i7?L-W)%anYW&`DE0MP$y^!DC?>n?~369Tsfu#X+m`(1}IE_lkP2tcO@## z{W8EHveX66B9lRQbmTaNOrB_v_GR2vS=CIs$H{^oXOx)HoQ5&ajmr4f+w1RnQ5!AU z{lz*6kgQ#3uaZYC9Ud?V&|HkocsI7uxt^I2F;|<45-^#c=PxU{GLzF)zgcH~bI4uu z0`AQtX!qw_@;+IQ`YIiNclQPP**t+ChWFNNZaj5+__E;$#x9|KC{8x_oz}Qpv08AU zG?PNf;y_>P>Isw;%e9-vxDNJ0uUD*IZ5xAQyeJ&q@)@v5bL}H{mfPCU5lw9;*K1@I z(m@ZnpZMUX_U8mMBP(E%%W0}UM6xJFvb*7a*4hEm_;*mRZ_Pn}>GodmUGyd`=KE(? z+r6*$m6iXwsZ%PO%{8@BFV%8B@N7`|xfXK>k4odK_JUYtu0rsY$i~Dayj4LXj&VZF|f=2!5!^M5xe9p19pyW22u|Nu1{E$qYts<*A21J zXZ^COfZh2#w;a;u)!<IZUw*{#r?6b(OZqP4IXsO(FwOw_Kij5GA0s^sH1en8Nxn9HvMY4^!v%k7`-?CWn)0}e$|3~ z9-QH80CQe{+Yk01GmS`SJT5PP)zu;+AeS1KLSyoE{($0fjd`+ffMK_Z_VH!2 z4WH8f8(eDcypcvsZOghB=ztnfZ%tY}hCr)si+NY`^~fa|dtE{Jhot-2cl%Y+3_QZM zj}PlfrXCKvHR8;=2mPK#`V*PX*TpInu4xN7>t-i^2V*ur7;!c>+O_HDL(a-}J((C< zC$~UROupY@6m)=1**Q7J8!`1U8nHc+0i!kg(gIgihf8%K(h*3ckVIiK>Q=56C^;#x zAy)|mg_+oE;deh7hzv1E0?C$#ugve)%=}B6Cv0M)RUhByDcnPSL9@yeHavPf-Njz^ zqey#ypHdwXX{G(h^s0bcy3hVKX+}QkMj(qPXuB|oS>!{=km9H<*Y zD69)|&O+|>n=nS3^oJ_W6Gj` zPjd6IgID1mB7VHLdgWSH)sJ9>er|JB2GLp)*sN42%*>_i0!AfA2&oM*ggx**uWM2? z-qY)isI4=D=bR|&y#pptnsaigI9x7A!3%@}Kb_3UwvT^*qpjz*u;{ekTl=EtX1`ZL zP{P-EYv7}%O6${Gpn1jpsJm3RIlnm;~-^ya|X#qw0};^lvj~| zR)8sMa!t505q3EExir*MB2Ba7O!ZmFrRQ2NhJCSnDlrqScJz~q?E}iKbg;f}3ZtJm znewh}Hn*sw(>{c$L zF&U(M>k+pqBlWI6_ z6(X;wDfOr6=&olO`I5$eC0O&y-NH)oDj)Fr;m0;u=D%zg-tfJ53_Y-)3Cpwv+*;qu zT|OtZeG?bdygAwOiL0Id{LuG6s$}zwqkckmflj*0(47(}qn?By2IiM*_1$9W(ji#z z_fpGP3B5Z+ODz&9>`0))Hbs_t?Lf4KJJTPEY=kTAQ*af{?$DusI7%gMtsF7g=5N?u zb$E}-fM^&j6TCenJ1y7L71SzMa_Z)_x8E{PU=->VD8*u2hEFsFh)lcpN`tAo(v7%e zpR_Fh8Y?H)DLTn6rxmr2fy#epd2!-e{E>|{R0FHSS@Y`g8{x{}x3vcf-h!&6}&B!KL)uX z<14lJG#3?A9E_`nM2icTn%i)^p9|VHQkmR85hck=8h2>*{45o+%^neP zw_{i^v1?LsbV`1Z&bM9Js$>@9H*?^iIq7HqE@#qr-Cc|D0w)TvaJc=1?a)IR=w-9= z4!HOG8nQ8eG3%4LDfu}ZVkzB$@A7uF`6gB0B{kH6woet4j?u}Bjr(ISE>#RhGFogM?q597KsH?IN@qcxG@rrP#{RcA z0r!bZ3M`Mvqe5m=?dm=9Bq#YQ8)ksj>aS8&Q!(kRv4eYIH-2-SjSH+x#Tp9#>{owQa}qL@(x{4X zmtRV*U8PcG0wD(a+7LUtICB`=eGvXH+rg8DIfybcB#qF@Ta=5ppC%ZFi=%?_W`DQ~ z#1Hd-67CPhgeYwxs>Ox;WQ1TZ)>G?Os(FMmvN zEmELRENF3pySqD-q5%Q~OMu`~+$rvE#oa0H1qwx5+$mC^1&S89bY{-Xob&%{-Mg|@ z@;!S$+uptRn}nWPLz_*~5^4^XgF3?5IN52)A*d+>kc znDlyJXBP<6QRrU`X=gA9{wR|H!G9l#s!&IOlB+#{lN-RvC&bAw1Ox)OfIz|j5TVXO z02z=Q#1f#&4p4$Rf?Y7_rJ*oSXNa{8{4vgd9s!INOaM+nL4MXh%mI=PU}uO0$Pu6l zg4=){9wS;c+P3kVqQ`Cl#=MQq@3m=FhtySqC($iamj>TE5>#0qeSz<+H3T3{Ej zvm4kF@VjJy8pr|sS842+^Z*?jh|8Y}ZKxI89pnrKJPPa~7GOu0M-x{^ORzKGF*-n7 zQ3aq513UgnR{4{_3i#`A0G#Zcf4lq3`nMy9;~&N#3k#?N4CLquakK_lLF~Z*bvYGw zxCfjS0CKeaO$6DyKp*WvZhs(%J;?l#@JH$(fSjZz0Q6YlU-h|II747?7j_qj{qGt% ze!F=*W?4r|X{dt(*b(l6`8z)uh%?yY@!UN*{%WqBBh=l|`#;DE;%I60y9`TL7>BMS z#K{$`DDxNRQH1%A%o+>_@B#(+xdnIuU?%|B!@`E+cK{tv82Aq*=YMbUV-3FEFenUQ z^;ibj7h(l|{J`{f0l9$zaA#MrulK(d|BWy?IRTas3pl_WYz=Y5{KxyF7;NlVc0Py$g?HnLNoU6V4A9}_=3I88G$N^&S`4{7H zbY0<(YoH2!Tn5MgrRszK++9_$CB)U?f3=Em(BnEtI$A%DG=Cc>4?B?OPdUUz4&ni} z)PTS(Z2laZKjpf=7tS8y2-bkQKz?5_k5)k7|L7jK%);*R8gY4?%|BHjm&cWZ|Ix_b z82q?Y|DA`dqXpFR_x5q|@&Q23&LB_B$L2pGUVt~}p0srf~EnJ+Ou4*O8+}U;}L{LuBu3mAmO%$1+!v|%jO*ay>v$GbJ z%jFgZIOR-iyVazeu5wmCpLuULP&In;T(D8e?O9Wq$IU-nJef`Oz9gra$8AN(*H4k6 z6e@8ZM1Rnrh{Ef^5Vy1*)TYPvd0F58CDEOMuvCs;DWpTKtEaX!ONE$RQ19EO7QD@T zL}!QhoaANhrbBGdRs#*q(vPjo8W`cVS-um$9$TI!_MQ>Dql3U=;ce+qGzO3*F zxeO0ljoxy>(_gtIZig8J-sbYpBn~YHE7q7&u7B#)PHnbN4~?lAlY01V%#y64Ilp;b zQ{cmv38m7U^9pw(Ethh_sE}HQ#S$-F^!n2w3Vo|pn-q3RVIj(%i?jVx>%Ux;Qxy#- zhk_YdRTD(-E4RP-Hqm#+xLJiFw!f@R!QYl;Atow=5Xk?*9s(n;XXsl2)zzl%whEFj}#}g|`>aeZg5*mlVUIQ%#g(3_-Nldc(3$ zMp6FF2`9&gMvL^iXlXBZhm8xL8jlTQm0<^Hv2T@EhXe1?`e*#N(NG}(RZiJKcVuu3 z34414P1VxYK=@C}O2jxzgi^J(q zgGg9!y4#v>xL^=AZHsb~N?yI|SZtbfCE zZfmj^XIY|8sSLYJsUFN9pr%CMrO5S))^3IZ$IzNj^=YV%ND;T2vorhFL8trB*K#iE z@l3%hN`)|k)IY)G|RLJAmA-uM#0 z?%AdftmaJspxb#<%t11H9xuK9vpq+xv-NHY(-^QsO#?HcmrqK3vOa{pMR1(y?QnXg zRH*jbH5cy5*jT$fR+DJ+gpBWAV{Paltg#RtQz_J~gJ&oN%eO-lH=HLdQ;YaBPjG*~ z={MDLjl!T=GPhY35lCGgVxv}{6&h{~sf=}GFM4e=v_>NRI9P76wzr8702yg`EA|50 zUayuDVD;y@nb``|dY8)qmd(`7{=$|#1%*1rxC^{OtXns3gtQjQvCPZ!!Yp2sL};&~ zYY4n>>;TV;G-uY_2gN{6L*{%toH2ijH*FKjcnl%p;7@ax@uJ}eR&C89-))tDy`7=6 zYqh^vr8hlypfkox7u;eS2+G@eZU<5sd-G!XI!$L%gVXy{z_S;Gj(HJp=W^s0z0Gwx z$2+W0LpP7|s=OmqrVkmydwMWOUu6q!jlNsIxjb%K6B7@3wz%D>llNr=daQrto-wl_ zgc(Me32r;VKmLF2H#zLRS?up!|#9U1P@-fy7BEH*qusZ zstpxD*4CPNmF)SPKqSkhk;^t&-K1k9s2z{K2Rl|byFFyxTWmIlBd@ZiOxgjuwga4? zuk_7_Ej_pV>TN^JBNj;ziDrM|F7xiY1X%Oj^63E50SIDgFlDkX(cL7D4#S3U3zOFe zNDa10Qh;x7DTmL0Vk1q_R4H5R@0wy_o{RnZ@Jk0eC0fKx{;c)G*o|kA{{k)S87f`6 z?gTmLoqxT5Hm@evYi=Qu>=v>S5d--tZ_cX+3q3{BS|mP3Q)gA0s|bI1h^4=O&`P=5 zVJMfe1q8Hl!E^Q?dP4EhIsLtx=TeQ033IQ4@f zec8*41>Zfd&86W3bu{8X1sm*V_{Jgem2vqh2LX>w^=gSH-bbS?jdPUn_4tiN08j0t z62gb>?T^LW6INdxh-`l<7{t^LA$zzHbUyR--nf8%+TV>k|U9k(SGlbyAz z_phgZHQ1vP*VTNLKOC={T6>YX1yBvMztK@3A90+%_skps>kbV){BjAAL|)E{gobca zP52m70cwoXw|9TZyxIa*)T$YhUnI%T>2gXmg|c%9A_@;rDLy%vl=DiWd)MW!`-MXp z5y}3u6`zOGdL9LaCuY67Z(X2*0!ITg{mqhjvRz`$FM~QysK=*f+v?*~kHUKG&NL(= z&n70v=i==-dV7IN&7_pqs4P??WOksCJVRoy<#DUDI)8tH)X!Fm%qxagq@swb1jO7k zO!OT;%Bt}aoyx15)frK`jo4mON0URoNsi#f>29L}Ox@>Bew z$;{JHyC03LPG4I<+S(gvQWv8B*D*W9uG;7HKl^DVe`2u=S|^^pF05S{b3ooHY*NU6Q9D1yo8JbR(~#yFNUQ=^4skSzA36?`+P9GtTiKow{T_ zmAh$PPkm({FaPPYt<>*6i_LJfB3miT{SZCTYOe+E#U7n`CBKec!}_kK`#Em2JGZ=h zn4^DlkS?~Wo_=}e1^d@$25j)X^tAojs(LQ3?71KD!Nmw+m?GMIaLy+Cffcj&<{7(@ z2)XSDiigBg6sAnsuhY+FO~H7wPqpDV#kv-}-#$ujNJIrf2YK;^Jyc{qc1xy3Hov(W zRC`D9NedmI5_ObiHRQ3&CBv8!IPRENzc_!NwFFs?DW9Awi*~{3U+9Pl+Pq=Leb{+5Aa)wguiZ{-0-z$Gp zRy#zkNUWL`Nxt0u-1EA9riTEXl}-zc;V>&>h*TBR69e-b`(FJ$0t@xka-!s&fPK= z&JLTIZFkuUabO`nM|j;3>;G`C`;LE}`G$|o=*wBN)b2*&V!X)c!Hz~W9Sq5~%D-o5 z-@P9m!U8E>g;WJ|@VqptAE2F#UQ?!XV9IRl z0N#&cctgMgTiEGHl_L2yWL*c7cRqdW-l-O~VfI(Rw}s)1CB%zwq|wt@jz52rw~{Zs zZoP-m0T_PZfl6>2>14|j

5Y5SZ4UuNHBmRKnM^b|9JdbU=C!JL)^>bRmDi{ja7I zZ0~*T{8XkSz8+Qf;f%?P4wzKfd^upUtI2GGUN2s&h@d<~O4s?GK^g?T?_Qu63sj;x=i;;uBg&ilfj%D`^df52x8nS<{ z>_M3MNffJewbNNYL+IVBXNQV~nM1Q_$j+TcOU-?OA09SuwZKp_w}g#$XUpd>@o$r} z)iqgGbJ7z;sC8xYZTct|u+Z5vJJf=pi4n;>Dm=yoW7Tca&-l0)c!Yl!%W)UKX8cQ@8s5E5+PBWM&~o>PO-3zrVq;GA#2aJ=9cjyD$xO-@|C zv%BTk@m@pSpGtp%W=`Zi3y%FbgtYaoSU{d0KLR$<@!@c&MfHc!O!AH6T_2r=w*Mg+ zFLilBPCGC;a&u84ggT|!Z(9aqhE_lr`%V67%GIz zUTDHGrpAdK&VG;offW*KA~@i`u=>yT_@vAD<*nbgrCoo2AQQs9mJ$`D`-%2r_>hDy zlevX2{^!kzjWg~~>L3g%aHa6x*i-*${XzCpOTSC`d!TIE#smgJ(W(UJc5`uz2c$Mq zuiObce!R7&BB=^*9`@C`NbQNcr}5gnQP#2xmy^Tsy?74$mty7Sn+sv@pFeflcmnZ4 zdvg0?OVob~PG<4eQM>F8*9R=uJ$e;wWJQOAO2Uhc6O5e!Ite|#IPJ%ZfwxDQTq~s2 zv^d3K$m#b7gN7KjshD#K7Or=mZMs?kcI!xSkH1KoMkB~7J_dA$2K#ip(wNQD>l|d< z_gbAgaPW5PeA}-EXU-k}kzs*{Ad_A<{vrX(R2YA5H@nJ~nSH=RL0?kRj3QTheUeU! zeYJ8_|KbUfq zDHWaZP)07r%Y~4lpn2_9ve7zJKJlZP_Hd-d5ZCOl_Rr1)?4c`L z{BwWOZ%w47@;0LOY6(SGoa3g&KMl~*3bWv_RY$uct;8d%OE3Z0GUxG?ApKSy(T%)_|55DqsD zbn`2nf>4^65zX?P0cDqxSXGI-0z<=t&^Ui)m-G~j{3JH@_eQ%Z~8E~7wtkh=gJL9}S{>un=eD#m}_ z3T-_JC>C-;CLS8G@l;-Eyq6OeF?h)R6!Ocj-{-WVWesB%|Jk_?hjaJcJF1!!$pQ0& zj^V<_+im+wdV8;PU8`je?GG)->C0rAgAF^{mE7|L3GKWa zA0;fNhjRrZWHMAjU)H2)H(hZV5hj2Cv6K_zqRhLZ6Dl`X_vJqgkr@x2&AK}3m%<2;)Xup6a>6zrjjm|rJn<+eS+ z+{z^hXQ31p#mPjLUwZS#O8}2w+Zo0XT2B{Y_jCKB#1?wfyR;~fs(*N2%5#50+R=Kj z&u!YddCeweIuI@m5!QyM2`;OshiPiu)o_l}FBrSBKIq1JLrA;u80zIVoxHI7^nyuqj^+P})AJC9X zCmXv`whoMjdqh%#Vb@cl^N4tJCXfRaH3YFI1k*VgwxGM-M=kJ=Sjno-5hVK9glGlWa^7#2*fN^J|QiDj6wT`qoipPwt&3L^pO>u zpz_>bsg9byFxClA_j`Yt=2k;-E3WB@X}ccsDW_;7=}j+Inh#s8g$f>W@Oh&SGJfu{ zm){6JK4R7bnaa(JQ2yECDtVUIJ!832(RFK)-3Owr=*$e`0XqB@0)B78;%L*R*N3|8 zllugyh?=SD2RmDBlx|zz_2!WmFxtjEnC~zXi~7K$$yhC>6M=sOgFyS1liJ3QE+TsE z?g*8`oYP5{`BcnQv2vtAr>ShE{Ywqk_;0+Ryg?(y%M}fll}LE9ZxU}u8TttWzn~74 z6kWYhX=4`$HmNn;}f@;iZbGKz>xM9hn^U@&-n%j$G3Tt{EsER=luI}f|M z2c1WP$5;FxZ?At|wUXvlj#&#R%M+R&0~@FV=Aq|a@AQMdkB>owhEer9SWb~sl^Z&` zf6eP4yMHZnaSGF^?6L{ub6z|+RY_zJ(l>}4=tz$TY+08VHK|yNMMs1oDx+oMNZfMI z869h@2?^vE62G)Y-ha1-t}DLEv^}e3PCs?K2#s#>PuqVJi{!)E8W{FtO2bf3z^o`6 ze&x>lk%MMz!^bYYlo3oy$3e2HRM91m)w-TYIsCIXha9N-6H03Xo6^~*A2{84!lsqS zC|1loaf2~k`fY@ZH{7OU@1)&Fk)7AI*GyBR@Nzzo$?Qj2s;1^}^FHG*v`d~uUXtVn zlaip-;6Q&u)wLREI0ZVdJhPejM=d$kQk?aE|NFUd>#es3upX<$HAF|GdxS3DAx>P& z%A&UTBjtfZ0z(x{&sHalMyZ}=x_*h5q~W7{`_%e}>zEU9H?l;{LyB!Dd{?ZuiaNb? zVKMg;o|y|_$B9oAQecp_-3L7jn;c^jdxoX8e7S%A6`{61JoTb|I@*y)bZQx)QiLdc zgb;crL^MJW$yTPSN8;VcFpa57>Ww&gpCtkFjZoM;@Px~l--Gd6I}Z%2T0@|NnVcQj zjh7&-3d5747l;%`MX zxk0b)~1j^_e(Id;PiyHi}k7O_G=lWD%iaXIwV^bnYI6?-u-FF^-Y$!6tv% zQ)hw7O8vw+G7i23b^|rIXzJ3>b_~=t7 z$m6r7)Dxz);Lf;o5iVjQaMru$>(+k)b#`t;#UO$1n$O%0dDMMWS7=s8wX94$ctS6K z_H=!jtA+P^yleE$kBk`++1gX9f+=S+_VPVDC zSVcWhPuu2=!8H*dA`sicqT^mW7i+7pTCoLJ0ebTJz#x95Ln4>;*# zqGJ@sX}}o~>@TIP&Sg)}#gfQF#$*%X;%DYX@MrXY-ZGVc;?-WA$Ts^z%BJN6x zNf!6|{+cP~n+jlnGjLD=ho=7I+_a|0YPx@bcvq=Jf&B?5!N{bZL)?CCb&(}3H3V0V9vK&ah@k3%x&d$zfZt4&YuCe}Q?OJ5s|{7p(VR>)KPw`dQC@0W;Qtm_8ZDTq_p8!ycB zQbDNM&}MiWDDc(+FC{n5;9^~8cv}uJgT_zdZIep%>l!Yv?|a6VZ7t*`B+2X7|XTgE?yCTXN%Ag-~FvYR6^8Mo`#jVm35DYQR7*v z>XV_UFHCzh*%--!L7Aj&Xbz#ic_Wg}ozu#QYabjZlu!A&_&=t1h7zFxM+l;2ag6^=iJi0gmJ&if@Ztj>v+f{e4+PRgmWL8Gpi! zSq>1}VDo>|l_kZY1qtLW5#g8T4h@33J}`9+guSH1*GJAmPVADx$6JI?Ebs}$-GRIs z(+vfYkh1a%?!8m%G@&FvypO1_BMCDi%HA4s{LC&S*b-tHPRO)Iq|93IzD?{ueX+nN zze%YP%yhlU9hdMaDkW@B>!Mxa+1eVrWdH+GY^#5~a^LI9s?Tl0Q_5lay@O~8gV+rb zLxid*QwsAezV2mlf+EFZFmIav9m@;4J0;`L;B6`AR2@i5W;0v)zT$*}gutSxf^qlt zW%HCH6vw{MI0a&ztUir$m{S(f@+`1(M}Mi*wFr}slny^sIpJJ&z0{28{gI~Nl-as% zV#9ye=JS?kmt6@Rp(6a_;bkvcr0a_r&+jD5+1d>_fz9ZCs3D6&$NFA28uW0a(#gJI z8iRT6V6^&tHPepwEDgH zw=e|CJk^h)nr-Z;fc*>#`6Nju)R33G3cIEfZ}9SYv4bY3Yne$i{5C6@SBr|P48~Wk z*co-*V=x0%DL^mm3*E$`cU!N1b&T%4u4c8s)SWX=yBG*6Fxh^mCf zK`M>K=O^fEJlSwp-?$;I5hCoWT+hrFBCf5TfRCKc4k^qMe{KnyPu$Xu?8{Q-yj>u-59#T3 zmrmk~eGRXn8Sih=r8wV4zsI#?Jg4Pr+*~+d(9i5sWZxvOf$M*{B@~xOn;en(4b7mo z(LOKnu@XXUBd5J}6WAI4bwvACnZ}>588y>UvbQV+HP|2u#U}OL4;FGNH9JZR;V-)o zFFj30r_Vy~@n{t2pDlVXfBCo!={cxPSuB1XH#qWvpD2V4vg^zZwj;S1Dkt{ZuUF-Yy zg|~c9^7x-?dE>sk?VilIYxv+(ou8weWgiK`D7^&NW;h6fpQqgfHQ%^2@R}#=F74Zf zWncr55xxhD%ChXE4+YqxnInhhU>Izp63;WeVg9C=yX${MwSEZjDJN$QI8utvUG|)r zdUp}A+JLh;XVa#=a}tIkb+moEL*jBfzb3XH&a;Y?Qd8_)oe(*vksp%c!vLUvh_V|c zDK`YL)X-#eI9p1QxvSc07QN&q6F94AGaTd0H6@Kmb*fBpF9#4_2pOZ>?HQ~6prDUu zSQ?0VZ|Hxu9KBG1;kz{;&2gR?7}@!GFmg*V{wP0fM{I`br0LE_N_94c->AQ?$Lm9$-Dl23r zEXIGF%Q*eI>;|33y>SVb8O#`$32882wq?Z5eR|Bbl%1NybC(O*XVF>XPb? zLdK6W{ba&wQGV{#sr|*D$qQ z!A`c5_Oww_vLDdiB0)yxQy9q#JuxZH+E8k@$D(|0_dp?S_N`CW6 z1N@{}YOiQYnO$*j% zM|=~JeZw4Fta2xoR3eUpYg3=b#CLzxX2r)v0sJ8jAHL~z!tqY*aI)D)ou~{M4hABM zP#kS$NN040v{1m)fPu>HGtDkUHVPBoOJ47dImzeb=6a2ZXFB`Yx;;xyP^p|M_eQ`{%4dzX}EH>3rzU1P1jjH6I?5xIYY+DLyk z#L?=_YIL^AY5UsZZd+sI3rD%o7vDRke^u(6c)b{2eOjIPab7v*d(Ol*Kd^a{2uQ39Pv^EnTyUd4IzB@#atF{WLk9o7gVA zJW1eE<6muwhSC<>R4{Z0;FZ;N7X#G#sL^uD+txN`ZG7j4EVYBii*JA588GMqJa>3o z{ZN`9sFbn>0%ra_m-RU;euy_ICp%RI%4r<1p6(|7AS9T2RAr<1ffF{}hj2;7Okvs) z6J{9sY}L{>NTofA+>i^pvD_Wp{lm{!2y!2Q-&AC(8cbrA zU~`}}805;t#>~nOkWf-*V+F9Xaxk;9vLjJZY1+El1OFpNqS6LByV!z3{QoeJa0Z&W zzRD!cTwm>!z#xFUn>~Py1HgaA&CkZe&&mp5XJzI4A49M+KS0vV-PRJI#0-!JgMcnb zR1#oEFK1h88`sw`|ML|faDaxKB0$9v2>RPt@oxi0 zz<+uJU}I+cFWrBZF>t^h7pR#qN94gk;z0Q9u5Vfjt3>E#IgOUd?I{91vZk0XEB5n%ON1klgc3i$dD z$;ZXa9SCrBb_4qP{8RC7gv7=Mu(Y*s1(*Y^Z9zzX*k8p!tH1H<@SSZv0S2tEyT=A# z{r&gfZ$_`{WeEn^d;Ky0YrZV<3etLdN(_Hj{9m28IM@^5!^Fu7U}EQD1+e{IGM?8j ze*dOXHM9Ls8vlRrl>=FU0epXF``V`e$=Llr3qbpyQ4ee_r*!T>k$y{5Q-0ZOQ+4Leg&b_J65q|I+_|)MgI0_Fn%ncwJgI*VhA30>7RC z=zp8)0RKK(C7`9Po5TOs%DI}o9)cLi+Wx<7v~`iT^#p%fs@l3**!;aMf6KLgUzxov z2&f8nvHkt50GM7!^S^Yjr)BZ(_33bVUCF;xz}L(9cStFa1=#ZUiLrBW1I(PA&AgCa zhy04T06uK5w`d9U{A-B;EX*LV>#GakwLCw771$Z+_e8n504!p^MSml10E_q^!~ERuhJ5Fda=>c5DG6~H3>2XO#c zi}+rV*&p}+rLiWeCqC!vsBOF)ZGfPESiH*q5s>w@ z5W9cC*QUSw2YhYRKa+p$qQf8f`sT3wVdi>u1-)+YKlHEVga0J+>J0vu`n4FxKk8R9 z$Jc)!CeXhI%E|U0>A%Ox`I@!k>r(>$$ADgcmRX$s3prk+Ik|yf&-&j}`rYw=w2$qz z8!mrJcy)3CI@tbuH@JS=0Nwx5M6Op7m)FPo56x>ne}cTec`U9r&cJ`n?X@^p5AZ)6 zUYq6i5BS<=_kY0GJUsrf6tCX@2*&wKhR@|k!3=5~(;pGsGi8NBLz zEtWde{bp%XiuRZ20_l^_VRJovL`$+->x1v3Nuv71b}Q1{I8Ogq;h|VvA2A{klcs;@ zj_;F`uXfNo=w`?cd8%9|H(oT=e9T*qUK!82zOu#P@R@D3ohohx-nT$zXw=rPVb(Wif1PhsSYy^zW$G9dXK#c~w+=&!NI-Tm}l{-Vk5(uq%r zua8Fz{R?Awg4#!XFHIhI)~BRssegaYvsti+GzXRO!xGaQ<~{a|DqHm!P-9Px`|x}_ z+g5HWAe4r%A9E|YrnC{u#F<IHcW?&sGja8wP)S+1>FKFrR2wXtgGA6{wMI9mOz>>@@@piid>t@?Bf* zZCsa^iyLF_gSGF@Dm)^^hvL>Xc|!A|+SLPdI$c!KWyE5jKHqHq>_IfAIMx(*Cv#|w zN7vC5y5Ah>{QT&_SSBY)MN>4d)Tgj77~wl_G$&cqgI^seiWBv#F_3?~_M6HrEd)yD zo8>sF%$-GO3X^X`joRnW1mc7mnz#8B-fIv&vy&s6WIrZ0DShlK42wB?n*ah_@6(~} z6RF8&Hv>Oit_snzt{2d*9s4#S93z<=Xl#S$Jpk_8l&(qyhE z7BOJG%p_;qZFpyi-jjdEHwjg`7}l;}{Spi-7c%VBgQQ%Q6p7S2KpfwBX@n=Qh8*dO#C%(Y2L0qkBgznqgOG*&iB?z$d5wEyOw`JQ1|%oz$I|kAW;Nq zkN1ps9{!w>{YjX78N*Wg9Zh=H+Jju0D<$6JTqBawx9TMbtR^_RJNf|`dBW8Ht6&xh z8*8aALi&qf>%PNjedFC+=E{)G*-CEcYQ=saLPJA!b%w|gzNyG1Pud|4vdM5RtU+q~ zC9kKdASc^T;!A%a*Rfk!hy`?10q*qXCO>BdH@1C_hfi7(5U{qNaO!1UD{3dE{I0$5 zNM@e>El8*gSDj7+4O?1vI8`{^$qX_~Zsc0>t555y9)SBc9nl;rP}a`afg z49C0saIfN}%oyJG0HB<6oQ6J;bKnczK&NDBPUp^{rpm6Fo_VgLS16H_wonn5St;WTh$DCTy600CcN zc$S)-$~wio$~)plei%QU(GBdc^o6|_&wIr!DLpr0nw$PpEB$BGzHZd=i5I?((UMh> z-U5Xb91DLsydPsX>xO66Ij$AdBBh&gW4%`oAUMrKk8jC4ZIro|%7zk68HJ+@D%Ue( zqD4CFo}_!cPGpLfla-r<;6wi{Hf@&ogW^J>HCOk?WUNVDdU;^)JIdp`@tc7_s@{r@ zi6Lx{^_6vYBXC*IDxlKjNkq=(2fEu{p18w_G#q~}e*+sD!d#jqLg}Cv_f2r;!U}*` z8nq-8PZ7kWap6H-%5*qYU6n24eOtnJfG0Fale9%U{M07*Xrp{zKjX8df&oDL$Of(G zZt>Fr8`ierb0_s6xzf>rL$7F~&d=})yuu2HC37m)`H!&l_okl?;d}FvSCd(+e)VM8 zf1`g=m1581C(#z8(-2o=*%2(mIpM-AlgJh;SiQ-z7pV04(TPk;(K4qC3zCLQB1edU z_y`fo>!UsgPI}wbtBFgyWukKiWiIv{px_HuLN>vinfjpfcJ-Mk@f)hwmeSq}cVKyL zjq$e|GuLcV1W^^X!#tKO26KBou$?n-=IwO0(lKefm$!2G9;)URu1z-b)9- zA!68<-IbGf%L`WmVdk{O<8{P|{C2hJ5@41z1{ZDd8S_qqR*Fy6F>so2ioUf<#|}W3 zeN)Y1-utEqGZE-{3-cMz#9&lcJMt~=z~z-%ZWXGg>dPWOz;FSd<+5SKpb9k(oIP!Afw{c4k;o}DRE$a$W|izUTgEnC-trle zkfWaPFzXy4L!mWMa_O~u1?gMOJoA5tkBRNtL2>r9_SThMSqtWq6|u`?O?zcO(|-Oi zTz|SV<5XkAtseFVl=E#kX%{sW4;KNFT#Vlx=etIU`3G<(GxHD@(S=D9P~fQOYUWK2s-)%~=z!gY3DzAS2`vTS=~)69=T=q!wHhfsIsvj!;up7F6ivDhNo&QH1_ znr9PqOCa$M^m>cQ7X8fOfJE|QzA(u3Y~EOQWfOC&D9b`|6dPkU;4ILXV>kCmVXy$W zmKL5U0}1eKh$M$=my!F()5(8G{I|*l7L;j>z^zrQxt`F2 ztRG#1-_8u;W9YC+dybt3pI;4 zJTd)xuCIjIS)4D55*yT{Cs856cHiq-W+_T>Q^E@|{!Te!I!2)yGIvU#pz~ll**-}6 zo)!*y?!EG5^k+zcwe=#)=P%t4$B;=CZys0a+oA>gKj)=x_F;x%mO;C8e&!Qwkcmf? zkTMO^-p{vL`!>`|g{^;KD->*8Nqp=bT2@IbeD!OpiL7+s@=`~G5!gu zqCuJ1M?tz_b@9yjU55EeH|W40=h#%Ss=x?g(X3D_53;$>=P?q)edAPdb*W`1pELQ2 z?IUFXrn7_C%ZW=WR(Jp91xSAtnm)Z%sPyK$%dazV29|%hs86ET3^D?lgam1f53U6Q zvrd5i*P~OC9adZr@|wA0n6-=QM@vek3B&8E(di6oMM1|77>p)#drTDHX8(+O-o1O~ zq29Ew3|6B9-d-i{A*Aajwc_5D-y?Fuuh>Q0r`r(VpbjqEe$7Vo=t7zmkn!UGEObCh zTa3W7_LzSsgGWNR<=K`-)D!j6F!DbS%YjO-xU&a~&+LCmMkGzkawlWG+iQ%LP6 zxC&-<=VTG9rt zco%?6n=3-X&Hw9hbr%&O|u$LGBzD=?@=mv-Mp44oiEasFH_x+to$sTdKiDWy1e|!o|cV% zX5ACsb{?T=F;+mfyXMmE*z(I>x|DwqWHlD@^sY&r`7quNjHDiav+^2IH?)GHzTZG8yo<4fAZDAJAP{-cKVxuf+~;oFT1oM%A!YfFeyE zB!&GP;TU$T%B=ZpD2eY&`XG%&PnGUW=Zq(tWfZOjxXR%QJqCXcTVb~3oSja^N;s^< zf>-t4+PZxS>|WmLx%f75dNhfl=lo`$Sn}63e|+qMB?-KG5%e-3Szo-u?@10e-o zFmkkMFKu>jxD<4YLAM7%7wnN42_Z_J_m1s_qFE>|hM(Q{>fL`K(T9TQZNI(%PxPHrov*O) z>D!3QWnadj?&;g02Cc7OI7M{Xjk*&!OJqNdm6&>RUTjYug`s>WvZJ{b0b>C}=vSI@-Zmw-d#wh6rrz5qibcFi#Sbr> zqs1q?A{h{4G}lKrJ$C`pxR%;7iZhH1yErb`Uu2#O*Nj=3N}cL^V1}+CZQl2xf4RHU zC;5Nk9V%JsDvH8!1H|~0k+Y{XCn{`5C#Yj%x~0?>Df}{SIAtimIOgY&7{)o5J-J#b}~tZX=rX&As6+!PAZL zbTTwC0W`8eI%22qfjU6aus0Z0)@_>mMXi7DY5XHimKw*Pxqv4{QyeMBC8@?Rf0>>6 z+v7#5CRh1HcoyOBc`7d_nZ(Z8D?#1(o<`NpaBaeL8>cy44Mu_XS$EJ};Py8LyLsc% z0&f_VsY_@uZA+sKYn0WxCC_dedDxhmX>U^iC<)%tJ8#{GuD8eU?K?vdH6jsB1h^gH%VcSOF&*#-5~2B$Ew2u z8@#)xug^HzCJm9k&bb~xKkKb?na1Nv`I$}?-s=pWcl)BJ0eb`(X;RZG~BHtc!7_1=)Q12T-)u~Ci*kPcAcN2 zu`4?#DxdL(<=wj(6-a#{5ijb)#!|Ic5)v|zK0aosh1MG^tq5v$>GBi71TQR#STI~u zt<@kNE4MC*YjE*}--dM6LB@ZUWs~>J^k&vs?`iJ0EpHi{m+JH(z%A0&(o+K7d%%6U z-J`>fexJMQci-qjpg8(Q1zh-~ zqrzRrY}vnFK_E)DJNtiOPt2I05_eYtxpGOOQGm*IX?P~Al?8T3gP}>M3)P?rGY^1z zi1Kb!R-D3oiWP~}U*-;3N+7O`WH22@`NO1i8+PZ_mL>T1&ZbXt&I?kaQI z&}R-Q`O1;;m2EdljX$J()Cg;?U0|p3)#E4mxk-ix->PG#$S@t)W-~7$cL!Hz<#7J$ zNFoS;VTf1TI>S~=v-9bump|bzx2Ow#n$(Wg@OMsII}zS_&-6alg~1>zZ*IEN^0OWO!*UvEpdnA*v;Sp|nzsW>fL-p5 zx9A2dW8qYIAy$?ahb+14hKts*B1#jLlz;ko!?O)H;U~f7AG-J$_XsZU2>R$Wd~=3` zz8&qeyA>=o<+N8Bx|Q+dV`CcPJa;XSWsS7)ujcO%UYG`dB(N?xd#kg)0Ny770=whtHEOX^$8V#KJ*b6^PC3UssJOE}t(u^! zu%V}LS1W&ik(%<$cl=xU;V-Sw$mD)jLJv!DQj2%H+|E%7As*LxStdLaaK-9+6`5I~ zBzonRl3F}#C`h3PXMLLn$C{K}fsYN&s!BhT6%o6rFx|@O?m6=+*5oPs3lpZY@!Rg8 zwvjUs5~qaO<|=`A2U;%|c>zbd(Ip4Y*rSG<@<`57{D=Szpnb#j9f zp|PPD)*s*7U-6m?xsIlhI?1mr9lzAwO_fO%-e$AQLghw4Hj4ZDKa zmAVIohZE;qh5|EVy++mSE31Rt*ic zAIeKUsJ_8ZrXLr>PNda=%IjIe6^Vo>TaXILvlrA^)Dz=25T`W5E$SdXxe>yC0St53 zW9TU-O-D2*WSO#X6Kt4zBB0)0`(U)W`RZ=36|Hl^Ir4?zKNs%5K-My%!YG$0LE_SX zArJdn@R+$B`zv1`Kb!eVf~pPu~F=+s>2sl{LgQ`L`+Xt)7sq>EP9lAhs#Bbuzukq z+4$JhB1@dNwWtuoVupmrFf}~ItYGGUxblrj0ooln0*X-nwYQU?yx~~s5|kj_ zm8{+Ey&k^akrZ#TEaYapB=q&p`8q(M0~C%ciV90eGgrd=Q5e2sMAA8><_R99u4uX+C+eh^-P1@VwFO+yeEW!{s;Y^;E`~{q25;{MVhHs7!0t=oj}(Zoo`+Ms zIYfTnoE7OyA;~9FF5*pa4lDRTB}mzCFriij^U2p^ZODO|Z`}e?L*vPeN#sdx=?LjGLvf*;zK>9CEGM>-8U-KNe86g_|3XMADhsN3kB_#iNJ4kwE(mA$S?3YvuJ%QJw*+M3qM z;i_SwrXQ6_H8Ti*_vcnN3kRJcRU%{oPu{u*DBgU`#FMUt5K?QiD1jm}(N|;212Hm! zkJix_1Y8U!Phd2$Ps4;#6;Qc&DZRQ3Yxtr(aVL6=zs?35tKtWc1t%t9;@9{Y&CC=s zq)PCnN%Y0`qSX1~wPp#?TE5<*a6|g;RY|o~#=%ptXhivc0m;c9-?GLQ*lClkDA#w$ zX(9-1U`{MO^AvpT7+R#R4njLKuvK&kex?(~Kr(GASPj6ad3LyP?qr$_!K1+#q{!kP z<-)+POFs95q>^D%I#FPRamW|pGBwuWH_mFnOb}1)aL*!y33ZRHxHbQFpS=CcnPC=t zm63p;L80w`5Ft(1M$^=2+e$3 z?}MPbQ1zmCR`8`QH$tm}rn_DUa%SIjNPKU!`!ub8$BEhz{qtcJJzBf^;m(ZWq2dl) zV}yp57$}5&)9vKvxwz?pI{3Anq|vLt`t*A@)wXDhmTiwqeYI7K|EHJujrvwTXHb9e zUU>&0IdS+yyqxDp^pXzi2ac58xXd&&UEjFRb2H^xu!7fc>=GqiNq}V_^*E!l}Hnk@o4lNP`B?l z*NaZ$w{xO`yi9a%n4<2!eh*r6b2@UM|IdVn6|h(`=qBF6GisH*TM9zA=>^MPUbBu(gBQ>!d?pos%JmgvD*A6=_ zFoW2szrd(ssXU~1$HpD*L_7&eXYK*0w$LdvvL2eY`ic;4ahntC-Jz+~aEkO;){zZ= zI^kD34V5hx^7vKdN{7qjYRA}EVkBbviFsgpF9tAA92lUlTN_0h-Y*s(E~tKbz-+{i zD!s##{m8T-1} zv#S8qWg0K7m#thI`Ljg0hC~9H$*~2Jx9_r4+MT`Eq07DbJYCJc5j_)PrlNuY&*d;S zD$#QU95xm4czDTVDbY?8?VfgVYRL=FhZgS2jBt7Dbf%ZXWutrjkc@M95gydh5ZsWw zM`K-_=AfUBHEi(%ha|BhZ-{AsiNYY8@JoWcvJTAr&X+b&Kv!63G?Lu1oTHfEbBNO)lyGwMQUck;ktU9nh8bViS>bhW4bpQJ_xs( z5iMG!#jBO7vc5=Tw>IU=fDu5I$UA7k7`{$5rb~+-7BlgTat?>UeWdcGNlNefxnJb0Q@AxCjxx$}LKC~Sm)fqz#u zxvX_({3vDD6asn*>J3u+(C}snYQ=S70fLDqnyjh&{Ui%nzr-hhJSEK8eP_$Xs#9l#aDXHA_~^ zx;{GE`CFyPCo|!9ZO!FAHcjp6d@UB+&D&@ky*Gp>Vnd*5qaCgj|5_f_eJND-uz-5M zB^fcopWEcU1phsATsJVAZ*4JW%ubz~$3u2smUOE}mGPHR;WDCj#bxrcm(3?I{19cX_&r;{qRS$kazDbPss`C(9eB!bFXxAn zkH}111*e#shwFFmU#yZ4?%@><)8g`D6rz@==64`e&Gm;20S5 zp9EZ8^;8D<9mtz3ZU^+zsGe;);Jk{oi3iZXg00bs>6|`~ku^FpAOcC=e@^e$(kS)8b2yf-RqlH1D2!>+o1=>YF0!@q`q`UNU7 zIT(04Dk!I7{;8mLx@N>J8|p1W=9o(L(n@f(&*y6b zGlc9+3{NECvMD~oh8X@u`z+9Q;tL);pe-tY=1mrK3X=PCPiww3Ct_7r9aaq;BUxW3 zq2SiRhBn23HK~YPk}qaO`PoXKU!Lsz1-;?>78FOP?dBxrrs_}GUzIBO={|Q-d1x5> z&PhYJ^Sl#dfJqGq7N*7RZw}3Fj@M6cMx$!T+P^1bnWt7XcX5tI9c`cOq`PtyY)BV> z3gBuw27~egpFe%Ur`)V4Xn(ZfHBjewUnBuan?lQYjZNE$%jdPL<6q&EOA5+T>asjw zjZwl7h20gmHBqND3KZtH_v8_*OPKlC6oujtux}u2HfT2{@$g}jA>6gX$fTXHc>^$S z$A|+(Jcvv_dwCx@1PV8T4jhl9N)P3z+$DCz?0mg#}}MuVXc)_o%klPKN~hL6#inbq8%3<%HvA@77+Tg;T_|Dg*n|P zArrJ)(Cp{OMbnCtSK_8GfHF6C9RL;q8{JoMBPaH97|X>=5WM9`0Q!(h84XO;#&--(-{ zsVqe23G;)Y-Q*)}h#Nh!`~Zz)!FT3!Skj(Q6ujwz^o;6Yk590~ATmjPsK_;|A7CE8 z@vI9c|zXx=w}Mykm^swOOmfie~rs=d~YB z)ey4UsgqUfiE@yWbI)Lj+C<4*b%Vwo`AB33!Ct-hRkgVTzTTSjEaQIa0*egDCOslV zpk#-ytpS)!()aj!r8x(GBQ7;hVRjK}=c=#nlJ5Mn5u z1>18cWW@W3SJn4BQs_hcI=;EjWpcPCT!rZjqZ@gQ!AS7vC^fttBZ?tIkZSw3I;DWH zQ7wuyfx_{bUmc7ngSK+Nb{=aEk!{{-Xi^fpWFS&9q>{ovHD#fxY~6lzm2T8yB&`G#D(9jRvChAuqxvtepK9CqLO+kFkd;Viov)rfy2is=YSqA=2nM!D`n?l zM>6!Tu`V4oqaU8iR2mhkSlj2qp7JblMyEgU$FbtU?l!OMM8%#AoQWsieiV24@}72m zZ_q+aw-abT!7*FqU4Z0|xXOveqx?v_eRo&F(CcJ3=+A$-@ZK|FL&$VHNQMxT0^)U1)<2~V zaI{1~GsIM9TqZwIxKR{@sU_91RM?ZBaiJ zCPT@=BN}?*eP5NTFn4(N&F|830Z~?e^%o(X!G%Ba;F>Hk4T2GUTe1hnb`3Q=VlJFo z+jZg0SuF~UL?-Qy6CqE<43Afh>>dX?TrPN7-3l?0gZ6#t1vVy$koJ<&_oGz3EmfJ8 z8w<|$OD*q>&Bx)mCQyP1Tt903E!9j^_(qZ9v!YJ9O(BOp9n&dhAkn8fq7r`r(aU7=A*?Af6-|bCWKc8d+N} z=m_59zbd12yX_uo)p<&Ph(UYsli%65VlG)MX{sd$++!;hqHX-dbk?~lCLv+ugx#`B zxfH5W-)AIAu&HYuk;y$Q2iBb4B5Mt1)CmsuDLbvXX+{`sh`o_#HQ<_xFe)`_BZ|)` zVK2QU3j(6Uk&7kLD3+cP47>2@qZ&dEDVrQ~X?#$gt{OyN+a5K4)(?EI)#8cCB@Zp0 zgj7xtycqaW+E0Onabk>^T{T9*7}{}~M^5bax%9MZltFX|#+lwB4&j?djS1}M`X!Sa z3SG){Arc|WaoN%2-~%Dplv@t-L0Mk2Tm-w;6Ck}ky`AWaaxkB9$*?jgXouT zF}v1!vteYwuz*#6FL^?`B%NvvW!5v!}=H3S=gzAMi({E%6BXuP~*fzxv02s$f&i*2XHBi00pLH9xRTcG#p zxh=G=$+9B^nkHOXWVGVQc}GrSH~F`6_RcHjir!(ztDY9QjcY8ZW7JEXulaM@rI8Cm z>nSCMT3Z?jIjV#o$?%1Cux`BWyYhV{A=6IMmXTtV6Q8e`v?<(5TDIhvJNWGkJoZO-N*E3?IpN$x=vmeRYi{uzvgvJ7Pp*Yybq=EPc$l&vlpz8ep>bx zJ~;%X{=j?lkqqKtSkxa$BOyy{ZJwhPYfSr18St}ga^|uU(Ux!&QKylX1BDCdtTUiU83`GgTj zCE47p5$0@vbR?+vwl!CGRV*WUn@x>YZ4mHK&*sq}aP92Q=xIw_zvvP0MH7W+qcz>U zCd6-lhjAyCjUVL`SE}(@{Xo}Foa}Q}E$>$44It6%`JT-P-i*@L<~>agA*$7X*^^wD>z$v~BXqgNN`S-U2=_1OKn140 zkHguFIXb72KS`%pv0l~;3?>b6_*f1`Hekb-MVR+#u9hsC326(>Rnv&!rZcyO32QA< zsb+v-rduQ#rI6FDC6~cmGQ8er;7d(hc%JsJO7J!3=wPpw49>%dJweDI+K@(D3X=qX zb%&dcf@r2kUL?&g6~o=83g3E}idRWF_G+^AtOl%9Fb33YA8l^ar8=mm)yJ$c4@RZ3<8M&CW`xdnKR(Xpd`0y6S<K-&xqRX&g&DCqg^BX0cq_ zp5mC&b0^aTV<*oIro!puCJs`-?E>Sd{AVb^5&cmcnIVd+2_djEYKV@kGMQoDDi@+% z25(hRFYGyo&vsLORs5#@=fUSIHdEoR$IP)TD>gb&Bt@H5{Nb{DYL6xd#Joy>A*iNX zYjEt$KjvxclTh^)fD+3Yc-RH4IRV=c=kv>GNF$-*?KmXaRyG;93C;U!s2&Gg!%%l_ z0Rn2QgBEK`Y9NXCnwc++5!5?lhyufXF6D-N;p3H2(CA&N!EYQ+>%IHU$4k=A=%ejn zHC$o7Qy0>m%TOBAs~%cys>pSJMZ3u{-d)663BzsvNCc=<6bJIWY&RLB+N6nW{%k}i zAljk}B48H6u_}fWp82&uY)+4`l8^SLH>_+BSX#xSpy5f+6fhRQWT4nj8~nH{GlcMV zOh_acA~c&j+3gK#`#=NKcNSlfoXEyFMK11-9RbwB*R&fM5Z#3H5~Rj|blE81nQLzQ zs^X?8Bb4{(F4R;c>(WgQ0&#r~6ywA{tb}fr#Xo_AU?1y_b!EIdzNldIGL1svk+@N3 zb05J8v$EEovU*$GzsGucT6!tI)5SqTE9?j%xIZ5Cp6Bwl(Zh2CP@nEV*K>vSC+@jb zo!X7hPO5)@ z2-sz8hc@dGlSIY366ZyR!^XkjBRjg%T)iE5py5QpZLDrHbibZyYj8>x=jh{41%>pk z`MvX|{)mwL+#m<0SVWsG-sJClrebYF=2bn@MdcxHn~)ct824FOKr37L zK!CN?jD(^$Ye^siF#7FckL=3ItN4-4BJ|+%1X?T9i}0#fTkF3gO{m8Od~bKOPR{b` zY0oI2gS07RUS?!}vxFk8AXi;swA+F5BkCmio?qf_od8SQqymAAR+Vn4D=D7y0O|%{ z^&O z1VlO{G{3!uy4SU(E zs2d-ybdjE1lkRql6IxTJCW@*~D$odz>&%2+#!Ufrm=Nu!H_;l-*o^weC`9`a)+7eh zA2Rl85;t16?wGbixZDY_lA@A9S_H1b2cdj3mjEbU+h4UwPuB^&H=dZiBuM!Q`(q9Q z-O*&OpC;0O=Hn|qh3^SJ7&ef#d6X7U5fP`plWx`)lQr86k3z{R+~#9#^|NJ?$fL|d zWEg6yR7ZELtQFdV-y7}bFbPfsS5G%knr@rc5p3y}cnv(AeHDQi(Kw*x>AwjG>Ow36 zFAk&UZt9KVHapYW!(QxOH3xo#pvyFHmN_ zkvifkKGpfQ)>jP?|01z{)93A;{0`{NN#`k2qxuftTT_C{tROg?szs>3}@!*eW~FR|6<1|%6KhK`p`+k z`e2H^cI#+av2+{XcH3~6Y=^|uM-p%Ou5Yk^S>piujtl=%xoD}x{yAskBdoy2m3#4# zz(?jEmCqf-@9k@&m^B?zlDMqoQ7qu_<3u||+pxS%WeaZ(4&M)*h4#J_3^VR5+>)f!i zbw}~G#u>+*U?;4JZyF_Pm@Ql_52B%P!@cJpY=h<`@_xVxvFY3Tp%#pRRz(C=1GFWb z?52Ogc`sj`Kf%a3A}8_DuynF3Y7{G7Sg9YhpXIM5c-=a8;ME zTnt(=x+{g)Kh^159BpJ&IxOzz`QQ-N94Vt(gO59FzL|6rRmmaA?`mq>w_CVYZ8i?t z>x$&>dP?H_=`?jODOsZhX_O{)Vcoq4W(*o2JU{k%n0maA(w1zpyE!gGgz zNS+jrQFH>lp%A+y{67JG4TADiYe@jP?T{5KR>2w{L2%7n;hlKyBx3%B@C@6EEM*z; zB8>w`A;5`oWI9j7nX;R7+f$k4Xxt+gWq#GtL^aH@pJjY*{v;s3;?100%7Yg0HG|~t zBfW!<$$uU|5pno%pPUB}6cM<8#9Z9J8tTJ^f;R287^;GGIGpX`7@y3cNV)HY+fbow zVk3FkKfhqo(An!itnOmNNZ!sB0`rS77_5_tPWhFvCiYo2=ed73y*kMdgUV7ye{&ox zy`l~q?fPJsBBkXNuoB7g6GhUcSBurCB6ejE<3Py9b-w2&W+Z$7o~QYL;8^5@mBvtf zhbsEuDe*s3_N3f=XH3%aY`oSL>881GAKPonix*&h3h*nBtG*-6#Os%PSo?3JeQ#H2 z1GvL?2Lj?S;8PjU&i&I-AIFpDjeqg+1$k@weu%c_a=S$7GcQsNH3$7@v>;EU21R8k zf7Ku=TU9~xWbGQQx|9xoX+ZM`3+1At902t&ScaZ?5d6uGh_?|H|CK}GlqhhQcWc1s z5lxz>K%f!}nzsm=!Z8q*C*v4Nh9k@%9R+&1m{1G4X2lPs?Pv4Dc57z83qq)JAKYk+ z5(t>!qacU7q!d9sQ!relZZ!8ds5c@&1uCV29((y@e_66I<~Uq`F5}By!|{PDM7!T- zJpvljWr2j1xn*kUGiC~-<7zTwYTN?O6Nd}~-AB{&$HjYx#~2f@Z2sJ4<2hj9NHRy} zMylN?@3$9s-nwA40J$ym3XFrWq4+Et_m#iqGyG*Uzb$j(RjgiQifur$6)`+C{#S@= zsh*@XB2y?5XZ=inTn^O`_#~2~7R1>wTTxppvbZAzqEF!B%x}m~p6oQN#;upVc=Tr1 zD?V3%jAfZ_mlnu7I6ukQBG*;J9KGzjw`1wuhQRgqxLc`@=R#~IbRj<>_1DP%u<6|Z ziu|MD&i3HR_$ha=51xj|zCasAC0RjO3IH2DNzfMU2%Ua^jlIifJ38DO8C?#G+v}ky zW`BG)Ca1f=g%1xgf=&KQKTK`%z>=`*8W^uY`*(A9_F|Q+|)~Vo*hh~!A8Wc zZpf3<%Qo?;^I%A$if9@A!7rIpnvuWQ(PEZu<4T>%pyPH2U%kv=v{sRsx9B#37aML8 z6Q*8K5if^-3IZMtZ)4kAY9Jnz-v7$tV4`AylgWTfT1u0~nO#AV4_&spxM#R_?AqOx z^w~wt-Bef$?c}s~4-2fXT3Q|c(3CI^+h&Y%y2qjDp@p=Qn+F)2?z=YgaZ9s>8hdN| z7ZYN$RUh{?%$G+oo)Y1>DkF&f6G)(506BQ+CKl*_nZW3M6^g*<>Y$W%__HZDbj@6s zv)j&+c4dGf8Lh|}xz9>-!>NV<*4LjzFN)Y`&!&BW56D63i%!Q3^GF3>5+rM16a3@nq`?1EeGTwy0Iwo zv~_AabpWfbukR(*g@HF_RH+u)8^^ z*x?pkvF9Il;u{53ye5Pr4}k9kT7WwrztGWZsty7>h$1AE!HUH%hafv4Th0_;VBggn z3bBazkfmHl#IFhO4E2=Y8R>d?20}tXLMe1{TdWmQybpiZRqB19WXbu)zIPn%K-sZ> zX`4F*+S!61eR7!tf{PsOBUgaM3_cgb9}L!)ZM(*b^sAQHH23QHd!GR*p>mWFNy~2~ ze5+F3HCHe?U7M(Ec<>LzBGP%~L3=Oe0@8kRM=U5oGVP-1hORkCPpt%t7xPlZ5|DEi zAD9hYSL7d2ly%XGux)fYlM>nDo;@Rf@;^jpg#+-JQ`B;R9)CRCB4C6FUzlK!N@*#Irz!q;jGZe#WhbuV znqcmEr9I^vY~1$~b86Ph(vCT&fDXWH{{y=i|Q7ca?wvSVLpCL%E!!hHc`7rMU-Sl(n}daqZ`Ou?#KtRw2KUuN)Xv z7^SqlLhR-Vx2T@<=~#KBe$28cMi_m!KE5ph75csM07(tK@U0!C&cewL@*JF2DcpTQ z@QBY+hm5n)Ode>%);HH~8`|qmBa%_i!^lSfpWc%DH&|+u^P#b{zlZn`q@#CwV z-@#J~Lo58d@*jnHoN_KDW*rZ&!arh9t_8WFR1_)zC#~Qb1F`uvH+5NmCI+l#dD*VG zYBIza>aDCf1}gzeJV-E#3A;d*d-L|UMr;(&>3YZ8DukHN2&4GDNo8vM;fwV3t?Y$tf`Hmz6xSLgMAbFcqlw0lJ!>t&pmJyNob`FGafRj!aki^E=8s?s_k1~!?bxAi| zrN#CLtkRjL^8hdt*Is}X4}ZoZ*6j4c#4uYKEhV(f86PVbQXOJ{|`eeA_eIeKjhCF5>l=4#X835>sjaK>_&&~sgRPH+TrZ_8z1i$hVa1z~vw!V35 zsL`}=Im+<&JHfrxS(F{x=tbDgDyF1}s3znbJgQDNdqnw7g)p;BrlzE4;n|Q6rdAC5 z%qk2Dk-4r3@oD9MmAeBDlhhQP1$el(_pC^iB=Y(^-K+kNag1{62iHbIu zy+bfkNLB1&_1|*_8aSlm#`TTs}JO%f8AITdtL_|`Yc$|xZ z2=$#a1aa$sC}l%yp9;VCALCFjy{_oT1EU6uNUAyEJef@~U)v>90wh@3d+-7j+V>{g z)Z1LYSop{HXV>1pL=*mnEMY73^n+9UW*_0{^=>Zu=RPj6k_h3nyT2eK)4FPjH>Qu9 zeHWtYK57lxcNtTg;fD~LmLJ<+^v}-Xc|;gSI^r{a>`KbF$k{B% zeseN{K7AaiWOKEZ59+K-PC=3ixHO+X*1GWE^HVAe&FbWe`6n)^KN|M--{gdrhOWO8 z`LQCREX`SV=$O!^@5s0-?L=dFl?qz7x8VEtkBl&umK5MBINm5gVCopsp5zqUMP(AM~NIKRwPca>UN zQ%&Ps0~v3xbM<=dy>H^eL|n|t^@UgRJ3#R)6s-dR2H=k*4=MbG50P2 zi)IRu`7Ckaw=rcsv<4A{UpGOhZ00L}!&USWAAwkGOdAI&maS0XzH<$KZcGn$*rq<* z412E)C9u*#Kgs{K=|%{;b(iH0tNeJ&lA%yX>Cc1&0SE;l0|>94CMHU(>azOR5!C=C z<>6=b#vnniHF@QpxXwCcTP3!@B@)~C%;0em*-DcC0v{Ldj)3?y2tHCr@Q(F=z^zg= zAew(m?NIdk$@o1UbDLdJw_F%dhz*n)O(Q9j%@qxOOc-6DV6Lf@Lnfe+a-I@r*w?tR z)OVq#&x6|>O7gg@AT0~7e#n#x&~z}qQTW)xUu#YxB!hzHm49ijy+>6A!NrUW2cUue3$F0Gu6v?2E7^rpmxSokC^d zsHA*l;VcKo!+8!E4y>u1^AZH8yu^pT@*X6yvGPgE%1Mw07M-qwfpeX$f(L;eNEvmi zT&$w@4mMZO=`irRib(=9TO|$qy|0p$pjoVvkFE-`N(tl+ppVqfRKdc;DUb+WQE?Bi z5!fnNP*UmvOqBwE`4p(GbcDU|YT;}J*eDl37~Tmeq7 z6Bn&Y1Kh72h^yhL4j{6EgLH(0z(7ia@`I;O2jcL@bzOcmF_0?=z88GDj zKEJRBdA{xpE?6WE7;Cm`AHzZ2&z;8s0-T8S;d z*WweHBBXhWCTUi|3eD71v6%w4&D5dNJXeGa&k+pW(4Y%7GzRg_G!{|GXF7xm=OCnb zJsF=K)U)a%0I<1LiNpH)toqc*e=9P&2aR3{8}VW?zPZN8m?K38<#ll&4kyE_={0UT z{ZWaH1F>0ue;b|F`!Cij@v@ptZt5PsB_j7jS-@1n+JY&e+jPu?h`rxC`KvzVV_#l^ zf2O;^1R}t1<33Ph4^;nC4p#zFx>@0Tb4LKpA*ZAVIK@Y2)EeZIf5!jk@zdaA2w^S4 ztCwaC61I_R39`IjgVgEen!<{+rlBEc%y?|Gx-n)1uCLAP%V8kBPxDwO@uj*`N-m_iMHW$r*f<$bK9NSK zvJ#kol}p~m7N8|0r9!;I*2*?3Rx;qldbyX^*>r3s7O;dTb9SgAn=JcKXr2XSh?m7P zv|58)_t8O?{^xI{KR^w7D)1o;Vuilvqz3sUhMSH83G0(jNnh;Nnjjl(E#9u z(9=m=Hy%@il3*EdVd>FNyg|p06m;641tCX&0DHqBsbIwiw`SpZ13R#dMUUXQL&1J( z%sh)R_%3H&3D$t{L883Se1cp7nr9y{9=yY#3jyV4IunrsF~qP+(5?pz^HgvmuDm~= z0N!sYfOT^MQ_`3c@+numqLVTb7WS5?lsfT>#pWIU7Vr4!Vy)bRtJhNM**q3P@@eRmSYJKWE2_9bq2kGatB| z`iRL{!A%-Tw3ppO108>ainenlmyQKw)>6p##s+;u5b>zzuH)vw!wl<;p*rJ9N=QDT z;RSMIhZd+2q@Kqoa&{^rfeH!*tC!@=$!2O7FvS5+f)v-VMUmL3Cej~J08Jb|^;#2W zPfr!~O4MY+enZ`rr{L=BPQ z`j%yRT%cmf_nfB2E%(~Qk-XHBooz%(EhcTUqapXU;1x{g;bIvnt;Z&9Me04IA;04k zrf{9Q4?}&g3uJ#wqQsJliL4CHXeb%e$jBRxja%%4$S=IP3}bwsq^3los6Qx7xo`$P zW-%+NO5j|PZ0K1b-eVoAbSrGhbRKgaLZ^}(@U%)bn_VUMHVh$l{0wZNCj?KG$i&2l z*Jy9%ZalSy)X^}1$8hFK+Pvi)uu!x+DQLlp0WZw=W*c^=mI!|!xK>zrYY%} z#zLWk6c5gVqnV$=Pgxb|KN!4pdk6p=Y(Zjo-;Ul~{^MV6Kt10H#W zwTpj>K2l=6z)7&Z;4Do}MHhJdYR7U0r=3YslSD}pT?bx}BvQ%9se$IvYr1AoQb7tT zA$+h>oNHJL8iQOU24Bp(S~=HPlWmjdI#3ul*5uXF#$NjQ3fm&@oKrJ}rCYppG?H!T z>8Ii|cl>mGv!0$#M%T0Pgg-5RHN1o;&)(&^ zb1@QsiA!-M#$tR`i|cwa8lQ=Yn2Fi>q^`y6@3FY~H*2spf^)4azbLp5kT*L=&o|cr zkd1?lC5R}S0g)lJ0dcAWh*&K(H@{;)DSZUqJthzV=hlzpZsx zMeA1|4&Q9P1+AYibpwrBCl6{{{Gxv}=!M!=mRifg383*^qP7i7)xNnJjjzr|)9Z`j zkCsYl6_qyk){i${gG#$Em#JiQV@MnC@oaOKXFox+-)qeca_eny>jQBlh8Nf8VAXmy z1jC-5kHqQt@^UE7#Ft4uoYfOBb2jdc_$K}?ad2uC96oFw?r*;$9K!7|s3w2DgZf1% zM70zJ^yE?7Rh?NypFjTGIzHY7efF1`)yl@KGX0D~b6@r8ju2hX8EcC&)*gO~E8dZs zCzIjnf9lyq{dv~RC&&X0KE4=V%}rhl;w|dSv*Gky)L(Cg7ZB>7A>GlxZxHz7n+e4J zxj6rEeO_Nt68sM&0!)NgBglUQIUfl6_Lz>O86TKE>8tp9GX~$HHOv{)`f|jgOzUsJ zbvpXq&ZFph;=A}E{##GREt{>BRQGq@?7!YXn=Nrc9U33h`j?n2Jj`U>GV_+KG0(0S zH`4-*Z+#S2O0v)QUTz=nAPR9wKJxRzB7Y4E{y`{g0}6kLKQj`D13G{4+lRRE+<~vi zbw78!b+p7u7iH@qE_jRktyBt*Uwl}9dknxI951bIsd_@i4Z0jCZf*fR*x_+W5Ub*{ zBsiIj|7H+R0MO|LVs|o}5We*s=^UxBa0#c0%h471BV&ih*OMABtUq7W-={Yx(|X30 zv&6}-R4QJ-Uw^T^LpXmeD-{l4g8HMh!)vwv6)-K2R8qL5&PtVHXXnkky+1&m!{r@- zo97+-i)x>bOZ9mU@x{&TuoXO?mu2?xB38aOO&-JpB;*z*lq7#u zTV(ENi#7?E1A^tG0}Rx^4mLexD2q_mpj^>HW~Kam{CsO~dk=q+Ib7OW05S%z`~k4= z1u#mrfWfzOV6@h&Hx^Ah@rHmop5FkP=76(n-%W1n=?s!U_7={gMHz3Qvr-a$`||MZ z(Fa0jiQk~x82p+7?x!jJG&pw@ub~)DPe-HK=;Ex-E`t?>UFQ5&2cZ;;F7myEAgq)h z4|lhZULXCod+>j3cZq{L@~X2{WoggC{Kr0$R=ZdZT2}tQ`k{}@h}C??72VKjPuvp9 zij5X;-@y@ct^M+>I{oXr|86%qe*g3({*T+-CcotAZ`)!oV14*mZYB`NnnXr)0-4@{ zEF3m{S@puV9*e7w1?d)CVv@NjtiDdq?|IzKiO0Te;Pm!Mjq#tgWtYj^=tTEf)iRN{ zS2ED zj}DhRZ@sJ@ec7|)j9K>wv%g2my`_%HzxV%m{kM66QO>{O60@~-pZ*`Z@UxZS?VlI* zg2^0z&;B^wAStr{?tl5N#j|Hm^JUHnG;lIDva~RDHa0PLax!){H+C^Jc5^gzG&6HF zurxMtu~V=is3aEN{WLN+n%r2RS+9C#uU>Pa#IcXRtKznNx%xiLKJMx&E#0MC78Nq^ zxwPml>Rfm{p^&XjP3Nx8q&z;Sq|JsKZU}IGFO9DIdEb9tjFQrRKNUtLflkiVZe}O6 zGAEdB@{C&Ix$T72%E@Lo+pb%0oywfT6_T9NuRbBnvxBwn*2w(sJ diff --git a/papers/plane_diamond_coloring/paper.tex b/papers/plane_diamond_coloring/paper.tex index 0963d9c..44edda5 100644 --- a/papers/plane_diamond_coloring/paper.tex +++ b/papers/plane_diamond_coloring/paper.tex @@ -146,6 +146,14 @@ For minimality and uniqueness, we exhaustively enumerated every maximal planar g \label{fig:counterexample} \end{figure} +\begin{conjecture} +Every maximal planar graph $G$ of minimum degree at least $5$ has a plane diamond coloring. +\end{conjecture} + +\begin{remark} +We have verified Conjecture 2.4 computationally for all maximal planar graphs of minimum degree at least $5$ and order at most $N$, by exhaustive enumeration via \texttt{Sage}'s \texttt{graphs.planar\_graphs} generator and the auxiliary-graph reduction described in the proof of Theorem 2.3. No counterexample has been found. +\end{remark} + \begin{thebibliography}{9} \bibitem{appel1977every} diff --git a/plane_diamond_coloring.py b/plane_diamond_coloring.py index b64d803..b7dd374 100644 --- a/plane_diamond_coloring.py +++ b/plane_diamond_coloring.py @@ -81,6 +81,26 @@ def search_counterexample_comprehensive(max_order: int, min_order: int = 4) -> l return counterexamples +def search_min_degree_counterexample_comprehensive(max_order: int, minimum_degree: int, min_order: int = 4) -> list[Graph]: + """ + Iterate through every maximal planar graph of order in [min_order, max_order] + with the given minimum degree, and return all those without a plane diamond + coloring. + """ + counterexamples: list[Graph] = [] + for n in range(min_order, max_order + 1): + checked = 0 + for g in graphs.planar_graphs(n, minimum_connectivity=3, maximum_face_size=3, minimum_degree=minimum_degree): + checked += 1 + if not has_plane_diamond_coloring(g): + print(f"Counterexample at order {n}, min_degree {minimum_degree} (graph #{checked}): {g.graph6_string()}") + counterexamples.append(g) + if checked % 100 == 0: + print(f" order {n}: checked {checked} graphs, {len(counterexamples)} counterexamples so far") + print(f"order {n} done: {checked} triangulations of min degree {minimum_degree} checked") + return counterexamples + + if __name__ == "__main__": import sys if len(sys.argv) > 1 and sys.argv[1] == "comprehensive": @@ -90,6 +110,14 @@ if __name__ == "__main__": print(f"Found {len(counterexamples)} counterexamples in orders {min_order}..{max_order}") for g in counterexamples: canonize_and_save_graph(g) + elif len(sys.argv) > 1 and sys.argv[1] == "min-degree": + max_order = int(sys.argv[2]) if len(sys.argv) > 2 else 13 + minimum_degree = int(sys.argv[3]) if len(sys.argv) > 3 else 5 + min_order = int(sys.argv[4]) if len(sys.argv) > 4 else 4 + counterexamples = search_min_degree_counterexample_comprehensive(max_order, minimum_degree, min_order) + print(f"Found {len(counterexamples)} counterexamples in orders {min_order}..{max_order} with min degree {minimum_degree}") + for g in counterexamples: + canonize_and_save_graph(g) else: n = int(sys.argv[1]) if len(sys.argv) > 1 else 12 num_trials = int(sys.argv[2]) if len(sys.argv) > 2 else 100