From 5ca0a34a6370d5df2deda094efa8cfe7b1709498 Mon Sep 17 00:00:00 2001 From: noah Date: Thu, 6 Apr 2023 15:11:12 -0500 Subject: [PATCH] Adding existing CR work for Intermediate Data Storage --- Schrick-Noah_AG-CG-CR.aux | 34 ++-- Schrick-Noah_AG-CG-CR.bbl | 3 + Schrick-Noah_AG-CG-CR.blg | 2 +- Schrick-Noah_AG-CG-CR.log | 400 ++++++++++++++++++++++---------------- Schrick-Noah_AG-CG-CR.out | 13 +- Schrick-Noah_AG-CG-CR.pdf | Bin 53355 -> 76375 bytes Schrick-Noah_AG-CG-CR.tex | 58 ++++++ 7 files changed, 329 insertions(+), 181 deletions(-) create mode 100644 Schrick-Noah_AG-CG-CR.bbl diff --git a/Schrick-Noah_AG-CG-CR.aux b/Schrick-Noah_AG-CG-CR.aux index 2b9c540..690129e 100644 --- a/Schrick-Noah_AG-CG-CR.aux +++ b/Schrick-Noah_AG-CG-CR.aux @@ -1,16 +1,13 @@ \relax -\providecommand\hyper@newdestlabel[2]{} \providecommand\babel@aux[2]{} \@nameuse{bbl@beforestart} +\providecommand\hyper@newdestlabel[2]{} \providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} \HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined -\global\let\oldcontentsline\contentsline -\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} \global\let\oldnewlabel\newlabel \gdef\newlabel#1#2{\newlabelxx{#1}#2} \gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} \AtEndDocument{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline \let\newlabel\oldnewlabel \fi} \fi} @@ -18,14 +15,29 @@ \gdef\HyperFirstAtBeginDocument#1{#1} \providecommand\HyField@AuxAddToFields[1]{} \providecommand\HyField@AuxAddToCoFields[2]{} -\bibdata{Bibliography} -\bibstyle{ieeetr} +\citation{cook_rage_2018} +\citation{cook_rage_2018} +\citation{cook_rage_2018} +\citation{li_concurrency_2019} +\citation{li_combining_2019} +\citation{zhang_boosting_2017} +\citation{ainsworth_graph_2016} +\citation{berry_graph_2007} +\citation{cook_rage_2018} +\citation{zhang_boosting_2017} \babel@aux{nil}{} \@writefile{toc}{\contentsline {section}{\numberline {I}Introduction}{1}{section.1}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {II}Related Work}{1}{section.2}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {III}Implementing C/R}{1}{section.3}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-A}}Implementation Approach}{1}{subsection.3.1}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-B}}Implementation Challenges}{1}{subsection.3.2}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {IV}Results}{1}{section.4}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {V}Conclusion}{1}{section.5}\protected@file@percent } -\gdef \@abspage@last{1} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-A}}Introduction to Intermediate Database Storage}{1}{subsection.3.1}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-B}}Memory Constraint Difficulties}{1}{subsection.3.2}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-C}}Maximizing Performance with Intermediate Database Storage}{1}{subsection.3.3}\protected@file@percent } +\bibdata{Bibliography} +\bibstyle{ieeetr} +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-D}}Portability}{2}{subsection.3.4}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-E}}Implementation Approach}{2}{subsection.3.5}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-F}}Implementation Challenges}{2}{subsection.3.6}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {IV}Results}{2}{section.4}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {V}Conclusion}{2}{section.5}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{References}{2}{section*.3}\protected@file@percent } +\gdef \@abspage@last{2} diff --git a/Schrick-Noah_AG-CG-CR.bbl b/Schrick-Noah_AG-CG-CR.bbl new file mode 100644 index 0000000..9b431fa --- /dev/null +++ b/Schrick-Noah_AG-CG-CR.bbl @@ -0,0 +1,3 @@ +\begin{thebibliography}{} + +\end{thebibliography} diff --git a/Schrick-Noah_AG-CG-CR.blg b/Schrick-Noah_AG-CG-CR.blg index 6810a97..c07b109 100644 --- a/Schrick-Noah_AG-CG-CR.blg +++ b/Schrick-Noah_AG-CG-CR.blg @@ -1,4 +1,4 @@ -This is BibTeX, Version 0.99d (TeX Live 2022/Arch Linux) +This is BibTeX, Version 0.99d (TeX Live 2023/Arch Linux) Capacity: max_strings=200000, hash_size=200000, hash_prime=170003 The top-level auxiliary file: Schrick-Noah_AG-CG-CR.aux The style file: ieeetr.bst diff --git a/Schrick-Noah_AG-CG-CR.log b/Schrick-Noah_AG-CG-CR.log index 9da2894..f99d1eb 100644 --- a/Schrick-Noah_AG-CG-CR.log +++ b/Schrick-Noah_AG-CG-CR.log @@ -1,18 +1,18 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Arch Linux) (preloaded format=pdflatex 2022.4.29) 27 JUN 2022 16:12 +This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.4.3) 6 APR 2023 15:09 entering extended mode restricted \write18 enabled. %&-line parsing enabled. -**Schrick-Noah_AG-CG-CR.tex +**Schrick-Noah_AG-CG-CR (./Schrick-Noah_AG-CG-CR.tex -LaTeX2e <2021-11-15> patch level 1 -L3 programming layer <2022-04-10> +LaTeX2e <2022-11-01> patch level 1 +L3 programming layer <2023-02-22> (/usr/share/texmf-dist/tex/latex/ieeetran/IEEEtran.cls Document Class: IEEEtran 2015/08/26 V1.8b by Michael Shell -- See the "IEEEtran_HOWTO" manual for usage information. -- http://www.michaelshell.org/tex/ieeetran/ -\@IEEEtrantmpdimenA=\dimen138 -\@IEEEtrantmpdimenB=\dimen139 -\@IEEEtrantmpdimenC=\dimen140 +\@IEEEtrantmpdimenA=\dimen140 +\@IEEEtrantmpdimenB=\dimen141 +\@IEEEtrantmpdimenC=\dimen142 \@IEEEtrantmpcountA=\count185 \@IEEEtrantmpcountB=\count186 \@IEEEtrantmpcountC=\count187 @@ -24,11 +24,11 @@ File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) -- Using 8.5in x 11in (letter) paper. -- Using PDF output. -\@IEEEnormalsizeunitybaselineskip=\dimen141 +\@IEEEnormalsizeunitybaselineskip=\dimen143 -- This is a 10 point document. -\CLASSINFOnormalsizebaselineskip=\dimen142 -\CLASSINFOnormalsizeunitybaselineskip=\dimen143 -\IEEEnormaljot=\dimen144 +\CLASSINFOnormalsizebaselineskip=\dimen144 +\CLASSINFOnormalsizeunitybaselineskip=\dimen145 +\IEEEnormaljot=\dimen146 LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <5> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 1090. LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <5> not available @@ -79,40 +79,40 @@ LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <24> not available LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <24> not available (Font) Font shape `OT1/ptm/b/it' tried instead on input line 1090. -\IEEEquantizedlength=\dimen145 -\IEEEquantizedlengthdiff=\dimen146 -\IEEEquantizedtextheightdiff=\dimen147 -\IEEEilabelindentA=\dimen148 -\IEEEilabelindentB=\dimen149 -\IEEEilabelindent=\dimen150 -\IEEEelabelindent=\dimen151 -\IEEEdlabelindent=\dimen152 -\IEEElabelindent=\dimen153 -\IEEEiednormlabelsep=\dimen154 -\IEEEiedmathlabelsep=\dimen155 -\IEEEiedtopsep=\skip47 +\IEEEquantizedlength=\dimen147 +\IEEEquantizedlengthdiff=\dimen148 +\IEEEquantizedtextheightdiff=\dimen149 +\IEEEilabelindentA=\dimen150 +\IEEEilabelindentB=\dimen151 +\IEEEilabelindent=\dimen152 +\IEEEelabelindent=\dimen153 +\IEEEdlabelindent=\dimen154 +\IEEElabelindent=\dimen155 +\IEEEiednormlabelsep=\dimen156 +\IEEEiedmathlabelsep=\dimen157 +\IEEEiedtopsep=\skip48 \c@section=\count188 \c@subsection=\count189 \c@subsubsection=\count190 \c@paragraph=\count191 \c@IEEEsubequation=\count192 -\abovecaptionskip=\skip48 -\belowcaptionskip=\skip49 +\abovecaptionskip=\skip49 +\belowcaptionskip=\skip50 \c@figure=\count193 \c@table=\count194 \@IEEEeqnnumcols=\count195 \@IEEEeqncolcnt=\count196 \@IEEEsubeqnnumrollback=\count197 -\@IEEEquantizeheightA=\dimen156 -\@IEEEquantizeheightB=\dimen157 -\@IEEEquantizeheightC=\dimen158 -\@IEEEquantizeprevdepth=\dimen159 +\@IEEEquantizeheightA=\dimen158 +\@IEEEquantizeheightB=\dimen159 +\@IEEEquantizeheightC=\dimen160 +\@IEEEquantizeprevdepth=\dimen161 \@IEEEquantizemultiple=\count198 -\@IEEEquantizeboxA=\box50 -\@IEEEtmpitemindent=\dimen160 -\IEEEPARstartletwidth=\dimen161 +\@IEEEquantizeboxA=\box51 +\@IEEEtmpitemindent=\dimen162 +\IEEEPARstartletwidth=\dimen163 \c@IEEEbiography=\count199 -\@IEEEtranrubishbin=\box51 +\@IEEEtranrubishbin=\box52 ) ** ATTENTION: Overriding command lockouts (line 2). (/usr/share/texmf-dist/tex/latex/cite/cite.sty @@ -121,8 +121,8 @@ LaTeX Info: Redefining \nocite on input line 332. Package: cite 2015/02/27 v 5.5 ) (/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2021/10/15 v2.17l AMS math features -\@mathmargin=\skip50 +Package: amsmath 2022/04/08 v2.17n AMS math features +\@mathmargin=\skip51 For additional information on amsmath, use the `?' option. (/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty @@ -131,31 +131,41 @@ Package: amstext 2021/08/26 v2.01 AMS text (/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks17 -\ex@=\dimen162 +\ex@=\dimen164 )) (/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols -\pmbraise@=\dimen163 +\pmbraise@=\dimen165 ) (/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 2021/08/26 v2.02 operator names +Package: amsopn 2022/04/08 v2.04 operator names ) \inf@bad=\count266 LaTeX Info: Redefining \frac on input line 234. \uproot@=\count267 \leftroot@=\count268 LaTeX Info: Redefining \overline on input line 399. +LaTeX Info: Redefining \colon on input line 410. \classnum@=\count269 \DOTSCASE@=\count270 LaTeX Info: Redefining \ldots on input line 496. LaTeX Info: Redefining \dots on input line 499. LaTeX Info: Redefining \cdots on input line 620. -\Mathstrutbox@=\box52 -\strutbox@=\box53 -\big@size=\dimen164 +\Mathstrutbox@=\box53 +\strutbox@=\box54 +LaTeX Info: Redefining \big on input line 722. +LaTeX Info: Redefining \Big on input line 723. +LaTeX Info: Redefining \bigg on input line 724. +LaTeX Info: Redefining \Bigg on input line 725. +\big@size=\dimen166 LaTeX Font Info: Redeclaring font encoding OML on input line 743. LaTeX Font Info: Redeclaring font encoding OMS on input line 744. \macc@depth=\count271 +LaTeX Info: Redefining \bmod on input line 905. +LaTeX Info: Redefining \pmod on input line 910. +LaTeX Info: Redefining \smash on input line 940. +LaTeX Info: Redefining \relbar on input line 970. +LaTeX Info: Redefining \Relbar on input line 971. \c@MaxMatrixCols=\count272 \dotsspace@=\muskip16 \c@parentequation=\count273 @@ -165,18 +175,18 @@ LaTeX Font Info: Redeclaring font encoding OMS on input line 744. \column@=\count276 \maxfields@=\count277 \andhelp@=\toks19 -\eqnshift@=\dimen165 -\alignsep@=\dimen166 -\tagshift@=\dimen167 -\tagwidth@=\dimen168 -\totwidth@=\dimen169 -\lineht@=\dimen170 +\eqnshift@=\dimen167 +\alignsep@=\dimen168 +\tagshift@=\dimen169 +\tagwidth@=\dimen170 +\totwidth@=\dimen171 +\lineht@=\dimen172 \@envbody=\toks20 -\multlinegap=\skip51 -\multlinetaggap=\skip52 +\multlinegap=\skip52 +\multlinetaggap=\skip53 \mathdisplay@stack=\toks21 -LaTeX Info: Redefining \[ on input line 2938. -LaTeX Info: Redefining \] on input line 2939. +LaTeX Info: Redefining \[ on input line 2953. +LaTeX Info: Redefining \] on input line 2954. ) (/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols @@ -193,24 +203,24 @@ LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' Package: algorithmic 2009/08/24 v0.1 Document Style `algorithmic' (/usr/share/texmf-dist/tex/latex/base/ifthen.sty -Package: ifthen 2020/11/24 v1.1c Standard LaTeX ifthen package (DPC) +Package: ifthen 2022/04/13 v1.1d Standard LaTeX ifthen package (DPC) ) (/usr/share/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 2014/10/28 v1.15 key=value parser (DPC) +Package: keyval 2022/05/29 v1.15 key=value parser (DPC) \KV@toks@=\toks22 ) \c@ALC@unique=\count278 \c@ALC@line=\count279 \c@ALC@rem=\count280 \c@ALC@depth=\count281 -\ALC@tlm=\skip53 -\algorithmicindent=\skip54 +\ALC@tlm=\skip54 +\algorithmicindent=\skip55 ) (/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2021/03/04 v1.4d Standard LaTeX Graphics (DPC,SPQR) +Package: graphics 2022/03/10 v1.4e Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2021/08/11 v1.11 sin cos tan (DPC) @@ -221,25 +231,25 @@ File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration Package graphics Info: Driver file: pdftex.def on input line 107. (/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def -File: pdftex.def 2020/10/05 v1.2a Graphics/color driver for pdftex +File: pdftex.def 2022/09/22 v1.2b Graphics/color driver for pdftex )) -\Gin@req@height=\dimen171 -\Gin@req@width=\dimen172 +\Gin@req@height=\dimen173 +\Gin@req@width=\dimen174 ) (/usr/share/texmf-dist/tex/generic/babel/babel.sty -Package: babel 2022/02/26 3.73 The Babel package +Package: babel 2023/02/13 3.86 The Babel package \babel@savecnt=\count282 -\U@D=\dimen173 +\U@D=\dimen175 \l@unhyphenated=\language87 (/usr/share/texmf-dist/tex/generic/babel/txtbabel.def) \bbl@readstream=\read2 \bbl@dirlevel=\count283 -Package babel Info: You haven't specified a language. I'll use 'nil' -(babel) as the main language. Reported on input line 4305. +Package babel Info: You haven't specified a language as a class or package +(babel) option. I'll load 'nil'. Reported on input line 4422. (/usr/share/texmf-dist/tex/generic/babel/nil.ldf -Language: nil 2022/02/26 3.73 Nil language +Language: nil 2023/02/13 3.86 Nil language \l@nil=\language88 )) (/usr/share/texmf-dist/tex/latex/base/textcomp.sty @@ -254,29 +264,31 @@ Package: inputenc 2021/02/14 v1.3d Input encoding file Package: float 2001/11/08 v1.3d Float enhancements (AL) \c@float@type=\count284 \float@exts=\toks25 -\float@box=\box54 +\float@box=\box55 \@float@everytoks=\toks26 -\@floatcapt=\box55 +\@floatcapt=\box56 ) (/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty -Package: xcolor 2021/10/31 v2.13 LaTeX color extensions (UK) +Package: xcolor 2022/06/12 v2.14 LaTeX color extensions (UK) (/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg File: color.cfg 2016/01/02 v1.6 sample color configuration ) Package xcolor Info: Driver file: pdftex.def on input line 227. -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1352. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1356. -Package xcolor Info: Model `RGB' extended on input line 1368. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1370. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1371. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1372. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1373. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1374. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1375. + +(/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx) +Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1353. +Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1357. +Package xcolor Info: Model `RGB' extended on input line 1369. +Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1371. +Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1372. +Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1373. +Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1374. +Package xcolor Info: Model `Gray' substituted by `gray' on input line 1375. +Package xcolor Info: Model `wave' substituted by `hsb' on input line 1376. ) (/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2022-02-21 v7.00n Hypertext links for LaTeX +Package: hyperref 2023-02-07 v7.00v Hypertext links for LaTeX (/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty Package: ltxcmds 2020-05-10 v1.25 LaTeX kernel commands for general use (HO) @@ -295,8 +307,8 @@ Package pdftexcmds Info: \pdf@primitive is available. Package pdftexcmds Info: \pdf@ifprimitive is available. Package pdftexcmds Info: \pdfdraftmode found. ) -(/usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty -Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO) +(/usr/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty +Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO) ) (/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO) @@ -313,15 +325,26 @@ Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO) (/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO) ) -(/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty -Package: kvoptions 2020-10-07 v3.14 Key value format for package options (HO) +(/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty +Package: nameref 2022-05-17 v2.50 Cross-referencing by name of section + +(/usr/share/texmf-dist/tex/latex/refcount/refcount.sty +Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO) ) -\@linkdim=\dimen174 -\Hy@linkcounter=\count285 -\Hy@pagecounter=\count286 +(/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty +Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO) + +(/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty +Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO) +)) +\c@section@level=\count285 +) +\@linkdim=\dimen176 +\Hy@linkcounter=\count286 +\Hy@pagecounter=\count287 (/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2022-02-21 v7.00n Hyperref: PDFDocEncoding definition (HO) +File: pd1enc.def 2023-02-07 v7.00v Hyperref: PDFDocEncoding definition (HO) Now handling font encoding PD1 ... ... no UTF-8 mapping file for font encoding PD1 ) @@ -331,28 +354,28 @@ Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO) (/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO) ) -\Hy@SavedSpaceFactor=\count287 +\Hy@SavedSpaceFactor=\count288 (/usr/share/texmf-dist/tex/latex/hyperref/puenc.def -File: puenc.def 2022-02-21 v7.00n Hyperref: PDF Unicode definition (HO) +File: puenc.def 2023-02-07 v7.00v Hyperref: PDF Unicode definition (HO) Now handling font encoding PU ... ... no UTF-8 mapping file for font encoding PU ) -Package hyperref Info: Hyper figures OFF on input line 4137. -Package hyperref Info: Link nesting OFF on input line 4142. -Package hyperref Info: Hyper index ON on input line 4145. -Package hyperref Info: Plain pages OFF on input line 4152. -Package hyperref Info: Backreferencing OFF on input line 4157. +Package hyperref Info: Hyper figures OFF on input line 4177. +Package hyperref Info: Link nesting OFF on input line 4182. +Package hyperref Info: Hyper index ON on input line 4185. +Package hyperref Info: Plain pages OFF on input line 4192. +Package hyperref Info: Backreferencing OFF on input line 4197. Package hyperref Info: Implicit mode ON; LaTeX internals redefined. -Package hyperref Info: Bookmarks ON on input line 4390. -\c@Hy@tempcnt=\count288 +Package hyperref Info: Bookmarks ON on input line 4425. +\c@Hy@tempcnt=\count289 (/usr/share/texmf-dist/tex/latex/url/url.sty \Urlmuskip=\muskip17 Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. ) -LaTeX Info: Redefining \url on input line 4749. -\XeTeXLinkMargin=\dimen175 +LaTeX Info: Redefining \url on input line 4763. +\XeTeXLinkMargin=\dimen177 (/usr/share/texmf-dist/tex/generic/bitset/bitset.sty Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO) @@ -361,57 +384,55 @@ Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO) Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO ) )) -\Fld@menulength=\count289 -\Field@Width=\dimen176 -\Fld@charsize=\dimen177 -Package hyperref Info: Hyper figures OFF on input line 6027. -Package hyperref Info: Link nesting OFF on input line 6032. -Package hyperref Info: Hyper index ON on input line 6035. -Package hyperref Info: backreferencing OFF on input line 6042. -Package hyperref Info: Link coloring OFF on input line 6047. -Package hyperref Info: Link coloring with OCG OFF on input line 6052. -Package hyperref Info: PDF/A mode OFF on input line 6057. -LaTeX Info: Redefining \ref on input line 6097. -LaTeX Info: Redefining \pageref on input line 6101. +\Fld@menulength=\count290 +\Field@Width=\dimen178 +\Fld@charsize=\dimen179 +Package hyperref Info: Hyper figures OFF on input line 6042. +Package hyperref Info: Link nesting OFF on input line 6047. +Package hyperref Info: Hyper index ON on input line 6050. +Package hyperref Info: backreferencing OFF on input line 6057. +Package hyperref Info: Link coloring OFF on input line 6062. +Package hyperref Info: Link coloring with OCG OFF on input line 6067. +Package hyperref Info: PDF/A mode OFF on input line 6072. (/usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty Package: atbegshi-ltx 2021/01/10 v1.0c Emulation of the original atbegshi package with kernel methods ) -\Hy@abspage=\count290 -\c@Item=\count291 -\c@Hfootnote=\count292 +\Hy@abspage=\count291 +\c@Item=\count292 +\c@Hfootnote=\count293 ) Package hyperref Info: Driver (autodetected): hpdftex. (/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2022-02-21 v7.00n Hyperref driver for pdfTeX +File: hpdftex.def 2023-02-07 v7.00v Hyperref driver for pdfTeX (/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty Package: atveryend-ltx 2020/08/19 v1.0a Emulation of the original atveryend pac kage with kernel methods ) -\Fld@listcount=\count293 -\c@bookmark@seq@number=\count294 +\Fld@listcount=\count294 +\c@bookmark@seq@number=\count295 (/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty -Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO) +Package: rerunfilecheck 2022-07-10 v1.10 Rerun checks for auxiliary files (HO) (/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO) ) Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 -86. +85. ) -\Hy@SectionHShift=\skip55 +\Hy@SectionHShift=\skip56 ) Package hyperref Info: Option `colorlinks' set `true' on input line 24. (/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -File: l3backend-pdftex.def 2022-04-14 L3 backend support: PDF output (pdfTeX) -\l__color_backend_stack_int=\count295 -\l__pdf_internal_box=\box56 +File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX) +\l__color_backend_stack_int=\count296 +\l__pdf_internal_box=\box57 ) (./Schrick-Noah_AG-CG-CR.aux) \openout1 = `Schrick-Noah_AG-CG-CR.aux'. @@ -438,16 +459,16 @@ LaTeX Font Info: ... okay on input line 26. -- Lines per column: 56 (exact). (/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count296 -\scratchdimen=\dimen178 -\scratchbox=\box57 -\nofMPsegments=\count297 -\nofMParguments=\count298 +\scratchcounter=\count297 +\scratchdimen=\dimen180 +\scratchbox=\box58 +\nofMPsegments=\count298 +\nofMParguments=\count299 \everyMPshowfont=\toks27 -\MPscratchCnt=\count299 -\MPscratchDim=\dimen179 -\MPnumerator=\count300 -\makeMPintoPDFobject=\count301 +\MPscratchCnt=\count300 +\MPscratchDim=\dimen181 +\MPnumerator=\count301 +\makeMPintoPDFobject=\count302 \everyMPtoPDFconversion=\toks28 ) (/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf @@ -460,21 +481,6 @@ e )) Package hyperref Info: Link coloring ON on input line 26. -(/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2021-04-02 v2.47 Cross-referencing by name of section - -(/usr/share/texmf-dist/tex/latex/refcount/refcount.sty -Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO) -) -(/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty -Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO) -) -\c@section@level=\count302 -) -LaTeX Info: Redefining \ref on input line 26. -LaTeX Info: Redefining \pageref on input line 26. -LaTeX Info: Redefining \nameref on input line 26. - (./Schrick-Noah_AG-CG-CR.out) (./Schrick-Noah_AG-CG-CR.out) \@outlinefile=\write3 \openout3 = `Schrick-Noah_AG-CG-CR.out'. @@ -491,7 +497,73 @@ LaTeX Font Info: Trying to load font information for U+msb on input line 47. (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) -No file Schrick-Noah_AG-CG-CR.bbl. + +LaTeX Warning: Citation `cook_rage_2018' on page 1 undefined on input line 62. + + +LaTeX Warning: Citation `cook_rage_2018' on page 1 undefined on input line 62. + + +Underfull \hbox (badness 1496) in paragraph at lines 62--63 +\OT1/ptm/m/n/10 of attack graph generation in regards to its scalability. + [] + + +LaTeX Warning: Citation `cook_rage_2018' on page 1 undefined on input line 65. + + +LaTeX Warning: Citation `li_concurrency_2019' on page 1 undefined on input line + 66. + + +LaTeX Warning: Citation `li_combining_2019' on page 1 undefined on input line 6 +6. + + +LaTeX Warning: Citation `zhang_boosting_2017' on page 1 undefined on input line + 68. + + +LaTeX Warning: Citation `ainsworth_graph_2016' on page 1 undefined on input lin +e 68. + + +LaTeX Warning: Citation `berry_graph_2007' on page 1 undefined on input line 68 +. + + +LaTeX Warning: Citation `cook_rage_2018' on page 1 undefined on input line 68. + + +LaTeX Warning: Citation `zhang_boosting_2017' on page 1 undefined on input line + 80. + + +Underfull \hbox (badness 2941) in paragraph at lines 83--83 + \OT1/ptm/m/it/10 C. Maximizing Performance with Intermediate Database + [] + +[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fon +ts/enc/dvips/base/8r.enc} + + +] +Underfull \hbox (badness 3343) in paragraph at lines 101--105 +[]\OT1/ptm/m/n/10 However, a new issue arose with database storage. + [] + +(./Schrick-Noah_AG-CG-CR.bbl + +! LaTeX Error: Something's wrong--perhaps a missing \item. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.3 \end{thebibliography} + +? +) ** Conference Paper ** Before submitting the final camera ready copy, remember to: @@ -503,31 +575,29 @@ Before submitting the final camera ready copy, remember to: uses only Type 1 fonts and that every step in the generation process uses the appropriate paper size. -[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} +[2] (./Schrick-Noah_AG-CG-CR.aux) +LaTeX Warning: There were undefined references. - -] -(./Schrick-Noah_AG-CG-CR.aux) Package rerunfilecheck Info: File `Schrick-Noah_AG-CG-CR.out' has not changed. -(rerunfilecheck) Checksum: 08D99EA39166B2E6D69F2C7CCCC457C2;866. +(rerunfilecheck) Checksum: C307A791803EA9C782F9DEB32BA6EA45;1939. ) Here is how much of TeX's memory you used: - 11909 strings out of 478238 - 187698 string characters out of 5850456 - 499692 words of memory out of 5000000 - 29982 multiletter control sequences out of 15000+600000 - 503999 words of font info for 93 fonts, out of 8000000 for 9000 + 12020 strings out of 476025 + 189813 string characters out of 5796533 + 1871388 words of memory out of 5000000 + 32293 multiletter control sequences out of 15000+600000 + 549188 words of font info for 103 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 60i,8n,63p,246b,340s stack positions out of 5000i,500n,10000p,200000b,80000s -{/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc} -Output written on Schrick-Noah_AG-CG-CR.pdf (1 page, 53355 bytes). + 75i,8n,76p,737b,452s stack positions out of 5000i,500n,10000p,200000b,80000s +< +/usr/share/texmf-dist/fonts/type1/urw/times/utmri8a.pfb> +Output written on Schrick-Noah_AG-CG-CR.pdf (2 pages, 76375 bytes). PDF statistics: - 67 PDF objects out of 1000 (max. 8388607) - 55 compressed objects within 1 object stream - 11 named destinations out of 1000 (max. 500000) - 57 words of extra memory for PDF output out of 10000 (max. 10000000) + 97 PDF objects out of 1000 (max. 8388607) + 82 compressed objects within 1 object stream + 17 named destinations out of 1000 (max. 500000) + 97 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/Schrick-Noah_AG-CG-CR.out b/Schrick-Noah_AG-CG-CR.out index 360bb21..6be45a1 100644 --- a/Schrick-Noah_AG-CG-CR.out +++ b/Schrick-Noah_AG-CG-CR.out @@ -1,7 +1,12 @@ \BOOKMARK [1][-]{section.1}{\376\377\000I\000n\000t\000r\000o\000d\000u\000c\000t\000i\000o\000n}{}% 1 \BOOKMARK [1][-]{section.2}{\376\377\000R\000e\000l\000a\000t\000e\000d\000\040\000W\000o\000r\000k}{}% 2 \BOOKMARK [1][-]{section.3}{\376\377\000I\000m\000p\000l\000e\000m\000e\000n\000t\000i\000n\000g\000\040\000C\000/\000R}{}% 3 -\BOOKMARK [2][-]{subsection.3.1}{\376\377\000I\000m\000p\000l\000e\000m\000e\000n\000t\000a\000t\000i\000o\000n\000\040\000A\000p\000p\000r\000o\000a\000c\000h}{section.3}% 4 -\BOOKMARK [2][-]{subsection.3.2}{\376\377\000I\000m\000p\000l\000e\000m\000e\000n\000t\000a\000t\000i\000o\000n\000\040\000C\000h\000a\000l\000l\000e\000n\000g\000e\000s}{section.3}% 5 -\BOOKMARK [1][-]{section.4}{\376\377\000R\000e\000s\000u\000l\000t\000s}{}% 6 -\BOOKMARK [1][-]{section.5}{\376\377\000C\000o\000n\000c\000l\000u\000s\000i\000o\000n}{}% 7 +\BOOKMARK [2][-]{subsection.3.1}{\376\377\000I\000n\000t\000r\000o\000d\000u\000c\000t\000i\000o\000n\000\040\000t\000o\000\040\000I\000n\000t\000e\000r\000m\000e\000d\000i\000a\000t\000e\000\040\000D\000a\000t\000a\000b\000a\000s\000e\000\040\000S\000t\000o\000r\000a\000g\000e}{section.3}% 4 +\BOOKMARK [2][-]{subsection.3.2}{\376\377\000M\000e\000m\000o\000r\000y\000\040\000C\000o\000n\000s\000t\000r\000a\000i\000n\000t\000\040\000D\000i\000f\000f\000i\000c\000u\000l\000t\000i\000e\000s}{section.3}% 5 +\BOOKMARK [2][-]{subsection.3.3}{\376\377\000M\000a\000x\000i\000m\000i\000z\000i\000n\000g\000\040\000P\000e\000r\000f\000o\000r\000m\000a\000n\000c\000e\000\040\000w\000i\000t\000h\000\040\000I\000n\000t\000e\000r\000m\000e\000d\000i\000a\000t\000e\000\040\000D\000a\000t\000a\000b\000a\000s\000e\000\040\000S\000t\000o\000r\000a\000g\000e}{section.3}% 6 +\BOOKMARK [2][-]{subsection.3.4}{\376\377\000P\000o\000r\000t\000a\000b\000i\000l\000i\000t\000y}{section.3}% 7 +\BOOKMARK [2][-]{subsection.3.5}{\376\377\000I\000m\000p\000l\000e\000m\000e\000n\000t\000a\000t\000i\000o\000n\000\040\000A\000p\000p\000r\000o\000a\000c\000h}{section.3}% 8 +\BOOKMARK [2][-]{subsection.3.6}{\376\377\000I\000m\000p\000l\000e\000m\000e\000n\000t\000a\000t\000i\000o\000n\000\040\000C\000h\000a\000l\000l\000e\000n\000g\000e\000s}{section.3}% 9 +\BOOKMARK [1][-]{section.4}{\376\377\000R\000e\000s\000u\000l\000t\000s}{}% 10 +\BOOKMARK [1][-]{section.5}{\376\377\000C\000o\000n\000c\000l\000u\000s\000i\000o\000n}{}% 11 +\BOOKMARK [1][-]{section*.3}{\376\377\000R\000e\000f\000e\000r\000e\000n\000c\000e\000s}{}% 12 diff --git a/Schrick-Noah_AG-CG-CR.pdf b/Schrick-Noah_AG-CG-CR.pdf index 42c28080d2d826ed705ca5e3d13fdcf5f67eb57c..f14f4045d9d16d4e7f3d91b5cc68836aaf928fa4 100644 GIT binary patch delta 68401 zcmZsiV{@PZyQE{=wr$&**qPY2@x->1i6*vfOf<1=O>Ar5bGA;^ZtZ^S`yX^)-S>F` z_{t&#HKnqI6eBAWCmiMM;_xaQCp!rXiKB@PoPYovvx2#UrJEHA2RkQgNu5p`6G#C8<{^%BHhdzU2n~5r9_=q$Y?+ZjS|J^X4dEPe8JEY8Af$gyZ0~= zer`cz5&Z z4O7l6xtAKa7dR1cCM(qG#`7#=?(;o)$D^fhG9i95r&W8Wet)~FcsxcrnM;TATJazp z2=phtF=d}y6#d_WS9XlR0}68=r}0cCO0g9`%n4W~IX9f6YDE8a$mZ1*ZpI~xgzsdY zmIE5C0a}5q30rFV4EJ1aK+nf_d`kyD)h(}W!sM@hSFU$ld8W*dsM!fHzw zS-Sg%fs+we?@~czUg7$FZzZY)MZ8MZp9ihE2;C3ncmaA?2dK%$?F?{k7sxUC|)(f7u zcm96I__kd?12I{;Bh@&?|2k@o?d|dZ{LHj#4R{ zh9n_}yYt;5f=geo$gtCskFl2M2MgYg%P}3xPf0KeU$Mb?SnTDJmnblkveq@k?B5HS zz#eM!k_U0Qn2nYCg-e$u0 z^8O%_mVYqOiM&XchL^UFS&WyD?k`6*6)3`!{Obib zCe2@o$xXwuw1P8DGx-Z?yw|mC`@aR##?P;*n@3GgH%C-mM8)p0O?f5QxnJr zQx$pejKREn_=uLsc{es!)YCVQi$Bxo1}-XK#}-hz@%nmr5@MTGOFAU+h@o22Nonu( z6qX74ltgT>oO+6bnF^W>l-2ZBHADsCTWwgCdR8Z<%;fEZ&|-r3pk^|q9Sz@<`K($M z6d{#dIUz&ezY!~jR_?-_0crg7YREaQ1+TrYK{-lG+hww3G>_8S)pl{UtPs);9eIt` z#*ktQfJ1q8*2m0EgBgCbCd5cCV|hE995&9ny*g~-vA9$@hRC+L9g5T=KD8v}q@wD} z$QMgr$?nwml9UxxC6yNbuWl+G28L7AR@8?j*$t0NiolD0XN*oh5OqxJ8~v5xntRG{ zykAL-WLsoK!rSN*4@$en#Qgg4VsC`8rftS$^`$1}RxGcvxOwZhW+;+W3#m@$^AGlsRV@~yUe5DiCL zV=&>GwDxz|^+}q34={9Ym~K1bRV8sbGrJnA+py4iG$Ed=N^@L55+m{@1bQWnF0cS{ zlElOtG9r;!nri}y1|gFClN8(E&KGgaN7rLp_JKMKr?=q1uLbEd(Ym>gifa*jCzq?!E+y&f4dSee7E`c8m{CupsZPfriA^yk!M3pL=*= zZbeL;Pvie-Eqg{L5BJlJFC?#@!J)wX7i#$>OwP4~0bIe#czyV&w@lKWAg#aY6nq@N z@+SYo{O%osKXOx*uJ%3u?X&B1d;xyW-@DWPZCQ#yzyfNa%|X6a3|+raC8K$#~t;d2l*{8nS2YV>@Z=eAvr7}hus*ohxGI3TrLMTEwo)7lQ$4N=s zUp4_CY(!o0Z=%VvA zyxC~OvJsW&H=A>}ZhV(T4fh7AM0TL%y7UonW#H%1SHzMA0rMF4i2s!V$#<4x0;qC?<(*5MqxA93A516yrm{3pJ{P|H zc80uX2DKW(6#V?K-_S-YQP4{O>S@l& z_#eDX_bjp_97`2ZBSPzvn%8HU?x08rUbwhOsy4AhWsKF1ZL|Q*)Nn9RcRj*G&;qMi znVeqP!&BG&MzbR7IO>7i4{=+2pDJetz0@x?r9lL!Td`x21Dt2x3=GOS^Af>qZ!W3? z=mlp?RK}XxcLwN1EJQG~^ZOJ)4TJ{Y@Fy^>%T$HfqdxaC7tZ1)=pGh*@>V@5rQgBA zeofb9lwI@UO}&6DASj&)5WACGPmgUCQYZZ`)s5t#y?nNz6MCK@> zgY5M?0ExE^+pJ4V479Yqw1fYhSTmEGCnE4exBI6}DMZp7F@)M!1cp9HEs51bktsi+ z^Bg){AC_`xcA!3e5y$baHu}S`&)=sCS|lz*B=!moZG9U^&Wacy589`MZei6p+Zwf& zH8L`qmLEE;>AuA1SIxP0k*0*sr21zX)jJ*t#>d!qE({SZX?Z}d7>kM?N+|>i;ty5- zZrE(FZ+h)|d+JvM`6<19Ixvg(=y`3yg2cmwpTCUN7o=#oEbi*Vw|`FIA_tqsbUV3p zY}Jx=*&ZfntNF{pPWUZPsE!r-f;N%m>b#A7fJL4R)lXaBFEq-s*@=Kyzo&?)++eBD3$EuTBmBi zt3^SpWpKuxt`REoR8PgKeJHbf&km!5(iuxDP31TCFG$>wiX^^*x_3ZKcN}4k8H265 z4n&nn1|U+q9{q>U*);FML>@6|Dt4J@!f4p&<}#vVvmf50eCXy-*Gu_yJ(({cDkpz( zW$=i7Q^K(UA4}}UG@EOvpi3SDw-QP6S=$fXg3M1`Z_FD;+i{aXw&K=TJB!L$>D=L5 z+ohM`uQ2c6)Vnk5JmJq}fo5W0fV#vXRnfoLBZv3riLcR#!^H2P^T3=%XozLmwOLDR56F^lJCeiKBT#aT8YVzh z&)@%f7y#L6o*IQScQA8xb1^rz|1b4l5QU55|D`GHyewS*O;dVwWj#0lH%&>#zA=X} zB_`pH(yi8xA!oZKod$*Q;i+fo$B8k2TPf?Uv;kos91}VcDeSDwIJ;W+?XDW7zdn29 z&I`!j0q!rW7<&J1GQcKRy>DrxqT%S<56wO{R=wYy2~XFph+Z5%TGcuRbGQ&q-mGOx z;SmW**vkR-T{={=vwz!!vkTV+Wyv$Hq!%ztaqpxL;JyM3AHmWtUzC5He{X+>;B?>m zbH|_?hxnQ$sSzTTR^JUQDh2;j;KeFU9SI@xzhd=THpuqc|!^%LY) z31xDbeBVy}g)U@rWZK>vHP7f7H}AH8vhJBlxl0A4&!SQX)t!vgCYpEk9}OFk<}zg* z54rF19w15gvFGl3G{<0u2UxxDHL!br`%UmG=5$4S(Cji7ozgAHAGm6)fMMD%BtT!G z--#mF>c#vR;Lph51D3YSC)1*js{~tWbX>X zaDO3f8I`VD`|!VRW#V_84x~u=-fI7L{;t4H|24k2&u*r@QyqizZ)=1>$*d*WmK&&A zq-bbT@ljhxHA0~w>}sI~$Z|&)au1msEArGiO+H)9ts9PZ^o>0P#Qf2+R>nauW7D%hg9)| zW3HLJj`d+jm_-2Y8WIYP$w^e9%6njwz6Pk~nFJ)iT%npM zh&gSjtQ%D*TVqx@TqUbO2#0o;&*fYV5!{a8@r*#He(O8L0EPLN3ELo|iFrv;VW#UD zk38%wq_gSC2QAEC(lKe*^G3sQi)IH%(IU6%#xoo96WEkMqW(cZaM?Kz3n3@twwMCu7FRK`P48Nd*)2VKcccAKsQR*E$Bg0Ntr%cS$+$}1>aiEsa0Ud>75l?tvi*sFBdAaD4A$2<_)f<&ql zA-#ap_>85ruUilHJ4nq!WCnAjtki2HwH6_Oy@PvEOj#;w z1HAaTN3i2s0wS#b2R{H~lAIamfm00LgaFahO;+mtdcWGVgwz(q1Myb5v-Re~vSD

@RFte_H7b$D=2uk8RA<+i=N0oIpfYnBcCI0$y=Zi{QDk>r9 z{Mnv+6GKBQcBxXJ{$Yb7)>MYCiD!tm{&%E(w?zARLs63FN&s*s5RZldHiQkH(KpMz zJCm+090uKVuuCN;PVZ$xs3xd@;v;@V5Djm)Lu3am%@O69NdghOptMbFrdZ14O8cqA(m_I#(n$mElN?m)E-Giy z@$D8p=M=4C@(XCggAe-aU`AD9xNhi%?XAbYLFZ2zrA*$7&N2gKqzT?kN0~oH*>Y|F z+*(CMKixH}dH@Eh$DW>gEWpL(Ri6i(j_^<@&jhiE`l(y_t9$Jim21SG84MX+sk)`Y ztFAWrKp%qYe26#J`31qc2u(ws8tSFVv3-(Y|8Uz7t^@el0+hJRMiHY~F6EwSmm^*s z?QuGYHtQEvij5Pbb_>rqM@y=Y*jtCHQS3d;wlB;;Mc-LqEWbBEqZ_EXa z-u|!ysTkNL7?r7kGF>DMZ>RwdgE)kl^4zER%gM<1TuUNmebSDRq?T9>)ev(7#z6Xg`*ND@O98od%pucbS zM}PE%X5A6B6!IZ5*^GJjq-Zr!%ZWCn=2r<1+zH!MJk}?4@&vdQ9?Ot&@uPBb7MR!g>-`QkaEqY_l7)Cz>n?f`VwT)G^H>i8eT+4y1Ke2QZSTUU#KX zW6nif?1gHUp_KXY*Bo1)=>$9$-`=U;u)F{)EFN)xXOo!*E_~B`sqcS}q?ehkgUx zEi`1KS*Y%H(MqZX2`cX`n2}OrC87e=d)4lgk+76jC=8pUv$Bh?EiOFf-zL5wj7k(S zHMdDpmR8uG{lBHtd1ib>Ptw;D9_y3B=^h0Jba9NDM2j&C=}i%#lgwN})#sBm>myKG zNDCP51Ba`Olrx^?`U+BG{M7UO*VlnGtvp(#;}CvwgTMA3@Js8AJ7>H&X6UbQt zY7jEXC_Kp^GU#;}^mtBRZs-zo)rF!MdBTQ)(^;G#6-W|$3{?GRJ)L4Eh#-KjJx@PT z9Td!)kF{aBGFMHU@PPzw&6#Mn8Ca#Rh?D51pscM5pOPI9?m7Mx$5gYS^CF3r&)ZSx zYe{_!Ggn?Eo*!QWbAnH3o?$0fFpZ74Yub9U)|hq?ozVp-sulMHRv1?Pw#el(os8JZ zeNh#~cBeB=u63#e7lDAw<_&OJW!L4!J*=t9Eo;6AU#w#`02pEZqj@Snv+x~_YBD}{>oWD0>*oR?fp!~1|KP*IJqE8jwVhAL-v}|LzTuof3 z8YfOl`kBkfD}yMWgNAyMh==Y+;HZfS0B`FQwvN)}Q0CLCDHtjBo2df%>Nu^ZvaIIp zo|lk^mXdDg_qpn8zU6C)+Ynxhe zvS$~(9uNZlQ~D&;yx_f=OKA~3W7LwR2Y@F}5s0@`Yci!F!wRjI!!2Dz3^ zsOWfVNdhoZ+TzO4El42?HN>WO#$K-?^h7Z@;R=^$!HQZW0*At=k-J1g70X*)wNc)p z)Z_(MSA1~%C!+0n`xJ(PT%v+~p6;5!+;n&}h4Y#N-w5ug2L!8o7jo^`B+56&v?hpB zSq`DYvRhL*fHm=sHnB{w=Es!_L43uT9(4M{SFSY(j%DoPiS>5%1uC#oD-M~N!nyu0 z3-IM3A|g`aSihM}w)E=TKQ0ZN76A^#Mu=k%n7(T9Ef@_cO?Ql*yH1EGqwfzrRijro zS^`QBY%p{(KokT$O1jPQ4|UW73TT~{;eEP}$*dp9Kycosy%{<@$Q?YKQowhCDq^<~ zyIp8DeDV~XxKCh#>?P({od9w8i+Ah~m3eh~rt-GN-=I8_+i$-3Zuq{06R(We4CSOA zd`n&A5|$&|G)a&r$(Aw~f|U1yjK~4|pl#$wWYOaiC#`z;XYz);{+Xq52Aub0$aJ=S z0eo?gz~E5=Y$1!zA24G9XvPADd5~EPaS$@g{Jr55)+MP$M~c9$jpRM8q5KTIukHbS z@X(dg0FJq)gCqs)thVkziL39Q3T~e7x7RYGZPQI`!Y~iD_7l7{O1UdfI$0GnU9CDa zN3%dO$l}uu-_FTUudmI8*?XG)~rU5nc`84Gg59^(eNnays(?Pk4bT2fSO_cbqhN9oAU#_!))28UfE zP_eRM**a5*@3>q@chyMaT`U@V3<-}gKtrm{0Ozc``ufr z9Se{j@Di5=>2YuP2th$L;D>KVXKvBIO}LLgbm_QJElhAa zt}H)ndBIr;-LPGIhw16hGdb#b4}IGMGnh=llZar39kUQ8Yk&W`$r)Q|r7!iKxNmP@ zj-`CI?}{NELJrlves{q-cJvzV(YS+uUkC}+-W^Eq-Q9pELr&732Yi^+Y(QE(3Ym?3 z4-Fa?XE9&*y%Jx)wt4-(VVwK_4&y2Q$|`m!^6c%VG5Wa&LLcf>R`g!!Qv8?c@WM&6VNu<6tx-Tp;|b&~sSPp+K() zdIC6cqZ?XelqVJrls>*$88ztggkaKu5cdG^E0AwHBoqdaFRc#YHSDn6NW*ay8jREM zV3O`V80iA=O-!gotp(J6ALDBfQW)SJp5zZ^$e$B&0TL&zNJ65UDt8#=A9Elu14=KJ zLI@a$(#EV{IPK@dvBB8pHyhQ_^;%M$9Rn!Z2)l*Cm^^q;!`EGHyZJ-zq9lT-LVzBU zQ)ti7FwPUQaxfK4`#X4M>0e@mZOE6l8Pssd=wOOJVU!X^Nj04m8@^L;6H^bsfF}U=;b7LsYVCANCS({9|lb`gBsje#K z1M2@078dv+R!BmELqP_LF$xI3d^Sz%!+aHkeCE<5vNs*){>@##UOmMMTt4MAT;KfTG;~)6Q#3Ir0W6YL_C@2J4j1uU+A|kpHL&Ze!t&R8w5;xLzA4Bz``PB-*5<}ewi-M-0 z%aps-ySh6~7?+SWQGfqUL>Sjx|J{M|tsKOO+p6cjXu&!_!*471-mz|mtv$8g@k43+ zlg09CD1OET(YK~;Oh~wEJ)68sfAi1lSIMnJK6ttwdTJbm5-_Qnx>_7Pw*}#;Q&he_ zesoFL6~{yC|6O_Yk@;_2Qmc@v7IVIEW!*q0xkP-1%=+ypg|v0NcE(H6En}~4Q^}!0 zRDLcUwZaFtt=U{R0R%P=QysqN)1Q4&znV}bNS7!DBnny)5`)fC@Fh1);d)b0bGXNo*1C<$R(($4RgBAxl?k0he zA|r#}5_q1bgUgTlE7$9zLEm>Fo}{KS{+b%OpK4c_Dv>zZR-0l|v5ry$DF=-8yT5d; zd^DQbrWfp;ciIMR=j6&(5Ow}(h1)u#e|Fvky*YEJ!j0wK+Z8dg@q~*O@a}7_J*aBE z5b4nx=KzADQ3l&F2U{XI+D7L)nH8kdVqOVGJF{-lGh8@<>T6Va`pwq^b1ap z7)|^q*DlxMsmE(MhEmA;QNaW#rWMCuTPELsW!it{=f3)YHul7K*M-j|oWLs5?QS+= zuRGkuF8k_mm6EoV?YBMW+VS!Cz8l=Nq}R1*7@fQyiN;f|$ZYg`)cnxVogwXQtx;qh z_5hH*`2?;Z?L`^eMW$tUs-|H7^dJ+0Hd`ykN+FUeb;uCC%@s_)NOKcVRR<-ez~YN= zH&ww*yZKup8n-vij@Y1stCg4UQT}-?{X_k001}S^+MDRP)RHa?PcUy326=R(^Kh#n zzEytgB_7|3EJPV0G;)Egxl431F?N!a9>CZBkckG>|}P z@fm;Q_nR%}Z8d6R)7-jtnr69(dB8s8|E+CMx&vZStTNRp$8a!diKe{N)seM^$NdA@ z0_^hKaT!`>BSv6~o2fVlBdxQ^?LyQOzmjl*pPh6n0>3w4O`tOv%5w?QtEk_|ZX0OQ zL)zaqrEUd_pA&Gvn=jpmON!|61yGprd-rD5neVrB-cJr#kus!KK6w>?>2o8|SGtW; ze$^Iqr{Oc9 zRjN70tFzN-&RU)o-SjC}E$iVr7M!r@6>DT*JGC*Uu|O+ zCh3{4&pvA4gBWRDo&3rl8ADwIGr(FO;RYYwh6GJ%Q)wCg7ODDBrDaiXmDV+4>RV|Bo9zN#65v5WK<5t+Sk?U_<0rKcfiY-etCW$GG! z!^-`dAM))S9M5hO7x!)ayW;YE&;z5i&PTO1<+sP*?XI6hR2Tp@15X*_pnklK7Sg<^ zY8bMmH**t1j^;~sSVjo(W?`x;EBwIrcK1+V)S%trf&%y|u; zq>l4tO%wcMK*UjJ^$C`~^uo*LXudwTbyz#pQI3PNZd_vPQ&+=}&Ea9*rOa^7dKHrz zmlRDhL$c^3wgo89td@* zg`4Z4ca)NkKidWGoHNb>&wd?mUGh2CJVq$_ z9Q;tFe`e1J>@=<&9l>MpkDOz_o@C0DRhoHKQivqGRnVkhlK?XP$5x^VwT;tyyZ^@8 z!sRT{pU7FrsRE8*n&t4AD5(^wSA=uj&8*eo^7}M4h%B!(Ihf4M5G5Lqv= zHxee@H9WI+i2!1E4F8YU_@SWcpcA!Ec4wct z{JplUl4RjcZyOWwI#(^B-rBbB@I05-%A~6=-QxA5qlSTsDhu)Vpp&(}9UfNxDnzBH z&xc%Re4Mm1PV$Q-G4%3(8Et=K;8YS4w+hvJ4EX3AH!v2+&WZCp&M_N$*(t!!B>bmb z{sFhTn5uh<-W-u*Re9NC+2J#P1c-^evEn+`dDqa;A5OJF1f?})|Fjm_+{WgYKQ!-6 zY`3%&B#UfTrKV}S@xmUB4AMydo_B>K6dM?8pHYpId+_a#>OlSpdN#>hB)$u6LP8&F zPeNkMy~bU{o75F;K;hY&>HFEG`baC>A`eVVl;-4NWDE{(rDUwz9XY5p!MSolMguhg zR((4H%ZlP25kn|aS6sCwqUu-+L?L&?F9u(N!NH4uR4TXXgFjHYJDz!CR(my+-j-cD zg~3l{#ANAhdd-C&eaMR%edbyMC3-wN(h|Ck{Y!$@Gy0-bTIi>VW1rX8ncDc|VF6W? zZIX6FbbO}(3)Mg4z6>LFug+x#*6ys%bOxn>>5&5mbo5vULqU(_Ruek@AT)DUNCvi* zAn}a#3onwNx$3Im4Plc<9q$J3pKIFwJ5Eh;?}IzdZ&bZb5)pG}$d|_aO=zTZ-Ogl1 zb-MfF;0|}wm&NCnKqb0nw#i472Y^R7rz^GYZ-cDN^LmWfOGyaS+fk-W}dZNi+ zU8JQGSQ|W62MB?C?qj%6S-FP$aQYhsEhLn(jEO0=Bex2W@y8i1@ek(DpC9g07(xJ} zzrVYPe(S_r*up3xQAYG66;DU#miEVQu#vZs-x+TmB7QWuM^qtSqE;iH<$&Wfro4^Y z2s`6-?e<=v9V9ERq85=UL9)#~ypV1uq=^DQj-ddv@QEg~+)&hO%=*VISA8(?2NT&5ttLc2XNVBI5uq5p&&`i&ve1TW<5& znnVijxDcJ2-)Pu_^{jHf2|&b;`COcK#dZK~Bj-Zb`I*IY-rtz?{5Gyp+cb3DZLZ@X zU+r92ITsYm6W=5aK3nHn0E%5Cqkcg@d>yJdY=s~>R^_CJR?`+`$)v*gBjl`7@!+TJ z-Aag9;A=Dd(PZoRnmk;x3im={IvigV%7Hq)IKwcu+)uq>LxpZaXn<<|_eUkU0zGNe zSjLD)zQu+_20h+-Krfn{O`7km=4dy~^%9Aax`3xliRRql1<8uYZ2@>jt{rA@b( zq-%12dg3EkXQ?t>#xD)=T8vgMcTcBQi=UnQyQbF>)B^zy7CPr2!e?&Sm=R7mda=2N zKNTMit*J{@f~KiZ7XUJu%H2J?3e_^+LSooSAZ1lfwm<1WPCkol!hZNk};s)f&y7$$31n zBhtFcBmE7Vs^4xL6P6I3@W>vHgJXAP+%FBgqr{L|5WWYOW`I}Eql5IdI%A%D^_5uC+>G2H>a(1Hc z2j8GJ6q*t+CIF!7c2ylkD~zt?>9?8c@er;PeJ3NUnQVG}m$3Z- zXnTsp#Y4N|VZFa4P^HNs2+j8!{E63bgX!yKRhaRgQ%n3U zti!a5z-QQ5=(6n}RN+BP@Dk21+{v9^Fvr-A;2UBg{(6(w@hAUT(i|I%PQ}@^zj}51 zY*s`ZO#y@-NuVWU%CdEMW^x7fNh6)HGq;u&j*;~)SlBBmyZc#ES z!Wmrx822N;qf>m3AvlZKYMkXGV<_T?F=c=E92w#ow>8uIsXYaq#Si$X(&0XrM#s9v zxtePML$@Er$A6Ph!s8#UKR=>OYD~+0_VomdwgDNdgxQywV`MA5pxHIb+vmRtHEC&g zSVhZpr)HLO&g8AM8*VzaSLT~ynoahnJ}k#}mn{^^i09a^`zjbbN4wBr?h5NqoSo;3 zt)8E8(`)7}mNQ2h37Rcg?Cc#jFCJufbLj+PhXh!}g^)c|%7Zl!zw)oL1Zdrn$tn&g zn}I2D@O(lV)l|xCnTH1t@&hlGOnL@sEe-f*ef{W53=}9o{*d|b+quY`P#Dtdy;-=o z-Ekk`)(qSAbK;gCaUl+UiAK7y)3Q<(axFejmM5{ZRbtjOXs-P7{N|j`%jD55KK6Zm zvTP@;59`_T+6m-mcVyUvsF^Nw9Y2<<3xR?5B!1X4^3dg1PmVcTOamP_`%O58R2S;f z>r>ae<-8g}wUqP@&%Af0!!n@k`Y9&d`_9>BUEfsHZNnPXcR1Z7V@pcjG2n8%(U!K1 z-T^xm^mf!wQN5$8n!3uKqn`t5)L|)EQ@!i_qtBiZ8t-Cxh^H=9- zYmM9oDWobzDn9pmhfMKn-s}YKudX%A7n2(fY2P|RUmFdU!lt$;RMfPDvDT_RCi19N zbMHztW6$JkL+RcS*#sJjwI5nbyUEYZ(YI~~Ll4dE-apV;{To>gT>VhG?fY=1%cC(vtr+eq~@~r-J9QvDS-mz z9_ino^QlQScbLJ_`&TRnv0!f|xLsm!7;t)9EZn+LoLmcS0HQhWClgu0_3&QW?qk;5 z=z;jX)JXR{s5Gp-JKrzIg6v;G=wtdnlXPaE2SD4^nJaYQcetD@J$}e<%)pwO%*@QN zTp5p))F>wWnN`Ez;EVdHYVl0gr8|ERBp*Kmf97^^R7gGu)52_NpuvM0;P^Tvqa?R4 zEA(j?|L0ut9x$W2a}}642=~Y#r&b&L7arKm*&)+VC9mJ}C18E{1{;Vy<1-~FxdXS2 zr~TkA%e)uP>H@MvGWAx9TH(m zLb~56IvS#1ClcP2994P0{DPY$5^cJde%h)ClMbu4dmTn!qw3(UFD*C%} zt3}rIH~5W%8+DzAP2I^q^_LjdZbQ4z(zRnSBbqDiM<4$Li-q*nyEG-S z-1?L?-=C%>rYLah`-0UgU)di)b)uq3RQZ2-yP7Fo$$! z$8fg7hJ@dzOv*${z}Pz1do9a_)Qa++MV)POMaE5@^V2>3dk&um50xrE`KERaf-2or z4=_g`3fv&JmtE_FZaq`0tfXa;m}mWT+;b(?7>)zT8r%RDFPL{vr?DA_J{3Ldyal69fLrbKio<1 zQayF4f}7~&LjwKiERX%S=cV?u#4{rOeKa3pnO{=~(yvJ>DQWj@%?BLUNV>T88^$=V zF08#h;b+r7uiEnCv_bo*f3>$0vK(AYH!kmkFCa-C{~lq(Y<-5f*J2O0Xk^D6aIo16yyX%5#(Mq`xX-%JvW;tyjlxK^hK#dE z3^HluQf!WOL-+~8>uM`*DNU(o%d4k|tE*Gcz`MIJ4JR!}cLBoT#Mah=%IXB>0=gJ9 z0)kqA8W;t@_K%H^!%D-Uw6?f{f+?5NRj8?|EqpB8X~Fc*ehLfbXT=|va)C6? zAY&J#)#P%{j+~AK?|q}ILzrf^-yx=EZ`Ia^4>}u*n^5szb^1xotPPMXY#&1o7k1D2 zLf8dEJK%*cww5%)vN$*!>)IXQu|ZT$4=zBfVm>7(#y5Z3>6bs*H$KHz8_b7e((|{{ zCb0CcPk;Y==l!E@)?`{!(*#a~d;!TE>tWz6A;!R`r;N1w@$n+2+XP%U)w*aqk? zjo|zOI>PtA_8xT1CfR8PYORBjwv@NLlGnXo^+*u9~> z*~$2BI{y~dUt8G^-A(?6W+qyu_ z=@!%U^SgyFvNj<2yl2h->(7c% zF6?$7s>9B9-=&s?>EetVTGC}rD%Yuhd@|^JsVg<;w&$y>?r*GRlhpimB89B)i$oNi ztB+=WiQ7Xo_4Uo;gVe>Q6O}?ftHyRcL^U`;gbW|t!%eX>u+rB+N-pI%fy;AS>X4}(3@56mCrDJKLXf(+kFhmB^1ng4xyR;W9iC&ZwSc{ zYNb%4j0fhLFiNz(bdfNU*vc|1x1?~C=FYd=;z*oA_Cs4e(!f6@m zbHaBqBw=7VlfT{_!;2^{ewi(Qf}-6h6{qPcD?p0_1~oy~Ub+ctinE~`t9KnU8+6;8 zEPpU1HTOIv^_XCet{X$VmdfcxmPOut0W~T2a81}<5nXfZiyB|zvW|+!39iGPYgeYblwZM#jl7NS~1heir ztnPYjs@2rTw2p*(Q(sL0cdW(iy_m5G4tEq?xtgS&zV?j0YSJCl^L=-~Dji22v{P)B z<4LQ@7uX(~&N05_Ih&)G&3h1?_wUiSaSfiCvDKRlaM4$~X@rEo8PYEJl@{xU+#oEBa7|b;z#NuAJ(* zJy=s1EpAA0*-O1a2Cmwd0>AUh(CQSU-Z443f~_I@?AR=bH$fHX(Sa(y#3ZKTGa z={Botj)ed@galk5W;^=sF!ikS$jaND8;#N#VK4hmUxj~Q`=D4lN-NbpYR2!OIKM9~ zvJr>BdLv{;lnNPtxBQB%ksX0)Rp^5u(E3@7ehC`Y_H_jl<34!QeTP@e-6D;JGb>Yv zOwm4Im^y_u?Wd;U{x5ahg z!;#O_X8Rg`5&i`(pO{#X!=sdymzR1Y^)F|XD6!bQaD1`Tgy`vuH<2!Osk};G0t>x@N;srLf!Szd=(F! zfwLbh57$M!nyizlP9h~wV)GLaxvlalYZK06c&lK4+(b@qGQwp-)u6yHTOr1i1#kH| zlmZjEf%a_x0_pdk86J4*Y=qaGkbWFjKd${lKT zio2&@2QXpFJ{2_f`MRu+PN3`@!5zJ zP)y-VGAN_=5aXsttJYOtiZ<4Oz)A~t(iKe%hug9R1G=UmM{-ki5$Y+`WjLgR3hK4v()Hyb#dY2FwWg4*GKb&PPI*Q1Cg949U5->vsgLAe{H_M&29BJ3~Gq)>~4d1~Nk$urJqZ>BA6=N}y>GiW752e(9 z@(FEgyD|sw8lL%dKV;@wXrC)@oeI@+#fk-(Pp8 z-X(J1bzELQ@#6<+pLYbtEaW_KFa*`=QA8XyOd9xV{R&1Irm+NF#+<`nWy;rOhzA{k zQels2lP8AL8yNi<*%vS#J+~QFgXg_}yU=^{zksg0l-7}~Y!G(gIBwBK$>}4Pwn7RC zllUm%y!l*JzWBRA_V`CJ#L~GzFuJ1a&HS+*pc?v2atJO=HNcdMOlXUMGwSw6SLsA8 zgIV-?*99Zlg`ET`yf^N2tn`b9>;6wEe%6=x>B#W~KToVudCKj*ZiC+5tEPm1!mUb{ zYr_hKjxnW0q9MUkTrx3i>hrF7_{Vm(jS^2JCf+spKgVDFfPyNinofN&2x_wh*%mXN_NM9* zRns;U53aWh%=pMAWF@;6hZej#h>gU>=uBk^cVfxPLlL9&wxtwFg3)r%%rYU*%IRIh zCBNqxu#GXDHhj~;&JW(o-%VLqC)2Cc494qbOzgS4;dmRKL}@8`?yo<8Os6y%$vID2 zWHTo;4#+Og=esfQuX8Z5VQZ1Az4k5$Bq8JEugfHa{D@(k*|_m&{vE(9ufR7D&sX-c zE<$L}SvBd8rLz+pgW5czA7ed~)Y?9A+3JLI$UAfXRtlLhMttbsAW~oLcklwY|AWL_ z@}rsFn*+op?B~nlE4^KA8>)WsuQ8v0*V5n>I`#PrT zd0Y?oCp4cDEF*${(DBO&&%-$d2J+XoGbiXgiI5m0hltH=I(w9Pk^6oyqJ#?e6-3PI z-AExLH^^s1mjsF920i$rGo19m{M-OgMww89>*lgYe$EHejwr37=}VI08v}M4;r%(7 z7vacpON^sh3X0O^g&)4rYKyNsW_v^r>aA3u;67hlf6SYIRo(G!?7iEmY?s4~^^4%w z8K5@UW}n?eZEP;1VM@(V+=zBb63hW&sJy?SjK{96Z&GNQ;d_U&uvd1N6mlO*^c|YB zEd0nfP12k5HoM**u8Y2#Cppfhof{a<@h9|EM=_uf7{cXZV$tx8sDu*>(aF^~8g1KW zAhHA{RU;yQyR{0mQ(=^9{8gphoy>ClQzZ-4{2 zw!}L@r8}y}Tpb?ndC4!7?O}%F)k|~JxtHF*$U;M@t%MO;T2ZF4q%X_h-z&w>^1=}K z-~wXm8J|ujm*HWLHcJo41Pmhz78XQ*A90dn=?cv%sN|E})m@p#3>Q!dmZyquo8cj{ z47%=r)cy)H5uCqYcy|~PLrU9Gc@Sx+rreWGeR0$oBTX+J_T_B*Y2Mflg^e>fvP~g? zTQ0{;tU*>*xF0-e_x|(3XSXp#pJ#p;noqdqBF7kqxL@<2)0YmW(Bi=4}!AK`ne zJ`B<(PDv%?8ek8tn6%WLp%r+7UkbKKHHlb9}5CJaP)Feq%WN%~$Bo?z9tsGNII=JnY$5E(XH-EL}M(- z1IO{(js@<*WgkLmaeGy1V~HcJu2YtOnN>#qEWh9_(F2sJE#zh(U{s$EdlQ}%FPXj& zeCURu467oK1&{l3p1RYVpyk^|^!$BIANtpNNBg;?fK#7C`C%>|Ye4;%jp?$rA~u#J<^=YP@;;#tQMTZ`Jc=&PLtr{MfjFl!BsG>u5qYrOAV=|d8JaQe{ z02+RdQeFOAeWcAao-@itE`Hdbs7$SpE;7VZA(hS)Cj?ok0N0JX3(HHnMXqpq@b}c* zlNIPW;#J7f^_CeEhXe0EC1h29rok}&P$CP9*DBq{1k@{b00H`c$E~`!YJabC zds)pr8AJ-TW9ttU9itJ4GvUyzMH@}1v^GkxQIT&a#>N%FtG%v#O;wo!(V6>aVGM2| zQ6Veaa_+(K>{kBJLr6C4SlDpilsTk_P|(>RV}^@$(iJRWX7P}POd|HFlg=i=(k-zI zQD?uL!dqOQw6Q4@|hE=F#?fDfESu*Sxb5oT!7KzRJ~t+fBU>=eV{8!+9)P_ z0ON9#uD57djn=gaLEaN>hgTk)+k6m;?y}hXY@LZ%4BZpx7vt~Yr<6D6V2*zNqx&m^ zy9qFw7e52eb2)Om0tj^MUZIT}7d2(=lgX$srQ9SkqpR^of{D+PHDXxHybnV$Jb>yf zHQl}`)a_@-2b`mSk!a~TQj1&sP{SbKaVA6DIj6{<>VKl{NA%kB&i4>bY!&(@=_H5K z@bDDNq79mRlQ<*6A-?LJP0f9Boyi`rwLH!;LGU+M zWwYtQ>H4jIX-ul;D7F@PJ_t5D?*V%m+~nRF=Q4BTIy^1(%{z_R-e#DtofFUxQJ&QQ zjVkzSPB*1aL_c*)rb0ki&&vcN=!5Z@-0F4l0pf(pC`U2P-E$Qz>3}Q7h&?^&yw;S; zmd5Nc<~daEOW~K(oeqk(XzP6qVi5^)aWAl_fp7bNj3?wkr;)~IUi35lJV7R(#Ic9x z_Ejr|O_HE;KaSlc!P2FtyB+6wM6!fN=pt{p6XMe$(jC?=1AU-Xqp>N(m25i(P{ zhy1*kN=G$IrnbHF8t=&bd}rN+Bt_oN!T&*Zd09s zmrU2JzG2TqNT%J9Am|s@(3Me8VVAG@@p(tlRq|BpYWK+$(>$7mkVQ`+*Fe*(nJ8w2x0W{Y2AHrWW!$C2d-M*7+Ww5|*4`A>tnPE}uRK6Y zw5LFu6$Kn6SB;+zkDw^+C5A8nL?GG|ROc5o zz*bG}5Kc)o?Ys8a6M=<4@Awq7@;Y)X?u}P><%zk>zi#-7z8mk>2o`0K2!qrNF?|^% zCsLCRf$i5*o{fUBV&KR(+QPfWHONpMoz1sxtRjhP&{&PWmfx7?rE+tBhkTtK;$U29 zgCaAeA#i3uxk&K;(H)Bqm&GNzMBq^9CxG+*L0(w5&_hD9Y~HJ z3E!D0trcZvNY~=BA%%g9q)I zy|*fMaINwJ8wTN9P`0D5{`3~Ri?%Q=-W)Lw2*7Pov9Ehj-Ol9*zDCF!TIzH_El6rr z!Z8n}dsjiZeQN)I6jh{dr^c1@wKWs?e1|^8NzI|3bT#ErVonL%9=yT|C6*=)??wPfJ$$}BEJwCsF^^%#<6xu>j z9=6`wNQXS+d$Y*q)HO+bOk{3)L?4j1{xT(PQou-0OY9~+kDqME5~{4dS$dT%uds+g z7JxltV&_D~?7oHA3M&sk8jnkyxg+nogyi{Jp#7tCSWhajYfb^Fm_Z94j({QjNpW6vRgn1R996adJRVN3Ny%*P6SE1P@Ic5WX z+SI_A{UuJ1jFe&ZB*OSDZYX?l0^y}f?Jn4M04>jd*2{bKhgla`y7P3`Tyr%6OJGK% z{L{L}76r8kz%II&Jih?kjh#$=(}RYMjmC$?l*7VW#$e95MUOZcnitbjuCoC1Sz$8K!fjO3%%!d;igw(UvRAQz zj18vzUUS%?Jr<*1l#kEOB=>7URy@IBerQ*+k?|!qc$VN~F)wr4kYV{9v5{9X z9lje8A0@HKctF#5zCm%wEr6Cgkci8uiq;K({5eGMs%IZoEe&WD+g#RF2ur{EA#_GL zv4v&56~sFWJpQeG%qCuz5_%*poHjQ=8&uD%@=+i1c3O8m_^R&r4An9{)jymGIRTTr zX{3<-fT^8tx*x~Jd9NDZOX3l^DV_FJ!hl!)`X1|fZ1ZCMyTR|G^m=qo#@CR!r2(ve zcpc|xlfa;MkY#KtY%7QCSh5<4P6KhO<+K95sjKRZ@4v0hP``eGVe0l9tioiw;=7yi zuHr6%xGX=C_sMfFVTQ$_Dizl})v;}v=u5ULraj_^{K<|TCiouL_OZPz0;}F(2{IhL zyXCouX6=jQjJpvEY46y@c=Jt&)##pobrZQ4ZNF?X=Cb!TeWH`fPPlr!ZN5A*sB2GAo=Izc7{@J|+=L7Jfw- z&HN!+(Px7s^jP0RMyb^DixnE+H%cY9IFwt)l3u1K?w|qJ5ydwHY^(tsuN!=S`6D9q zepv*X-g2cRRb;F&@oVJH69>)S6M&pj3)PO7?2*Vij}U^Lq&8yibI(B2UTEum)HC5O zgZvj5VQ_V~o|}BootL10dRvUT2}Q)^xb?*cEK*41={(f;Q{55ZYI2P@)VhDl zqw_GHtRl{K^)dRieSJ~L;jdeYfm|QXg{Y({UM)s%l}Hs(FNO~KnbT74-!U%c?EJp8 zfY5>Y@5}tAhD=$pc412Nl&Y&HVxIoFW1oa_|4ol~`~1259V(lhaP@b8G|2(Mb%Bsx zdZqYv@6g;Umex-2_0`BgA9`LIoLRo5Z z(neG`VoTM0U0dbcd!x#egO)lnPg-aQjwUf%bq$j6tN-L5AJit>?ua{EqYB zxz%N{9TORRsHXJuTvms#Y@P?}wv}jA13emG+z-yT1PdcczO}+zukx#7X`F9RnG8Fc zmH}EYDF_G7ryRGL!jN)|!MwvPETgI$L}bY>B_Oi}c=f&qKZFR`S+BhjNh#Y)&A@eH z8EdBxaaQLdZOm|g)!&!+0ZqeR8yAG1!V9yUjoRSWmqu6M+3k(QKzE7)(@1%QtUrO= z(*>$Y_*iv6?ECx0SH}B@>3u5=tTF$BgNWjs>nH~bWbBI=%gkIS{K5k;Wku|U&mEQo zb`^q4I4|+G`05AuUOyey)labI0Nq9n+xM@zRPZ;UM;WqzS4)s}P%kFBs=HsE)@)u4 zN}O#wf>Ysk+U50Glk)&`u81^dV1*!Y@72mOg%tZs(QiQ}Vf<>fxK*&NxQ>1+mE@pTiaV(OEo!*nMGgDZ$$!%)nZn>>$x?;{Kx@Zu&e-gdpt8{w2XV zWzd;YkBwHe;aCSWbhs(eb>5NHbeg=Nz6O<*LduzcLXQ>NK-SDQ&Lsw+S*aV)DCOz} zA;%g67X7>IBZ#0r&mqq8p9=4&25!u(>_WNp2m5bne|pniYGiVn+eRF5rLV&^&z%Wf zYMvIs(*#KJi6mSdZBJ(v_T+>cjkQ!yrc@E!_xFIh$W>^45W!uhPGcVM%6vA>q4@Bq z^Gn}<2KXxlc`D~;=chx-`l%A5dsrxu$xq7)`hZ!&_=1K`9mQA>>;h`op_B2FjQLJu zMpg1*_*X1td4H;se~aagfgDh0v>>$t{0~!ST+DPEJ8p=LW7JNN@k6~)_MSF}hGDs& z=Q6}+hb+`n6q`7O#(&V-1#VmDo<*nsS|`wdYOnN=(z?Nf3`g(|Pdv+yMf_vJ*Jnc2 z>1)Ta*WX?r&ArPH?`$MjrigoHNd7A<0i2tIS+t9G6W4j?&Rc&RR7hpyxWj|uQl$aR z^PQ50OL=G%mb!L;!o@+3h9}#6x~^z1&Qu~$pOwzXIAyr6jZH|i89BMoa*mh5&Hj~t zAgYu_ln_E4#1T~a7nJk_E~m;awkkn;MvPQ0$ELf6uhFwMs#}qNI-p|Lm=Su#+->jQDPoir8q6GHE>t_b%ShN&*ShMe-b%%sfXy z)c4Ss1O~WsU{E+0rHYRc^vvXa^H<736R4<0wIoCRnIi(AcF1sscF<>#2X0O@>iB1X zb9C)RU)|ySIwPn0sWLpK9cCczf=+Mzp#-)0kj+>W%AH@Xn zY+|=9vnAwn^v|Fe;9#JzYW;xXn}>1pYwv9C>uue&o(xyeYug1^#=H9;H!v z+1#}OnVd6HP#Q)3&c#ZTybZ5^%<2|M!*Xj%Li{T-HD*>CL&LX#C-1=pG-Q_+(&IqK z0gGtfljX|Bm)>OQhwlv?E)2f&o@0pd-VaO4 zbI0sQT#^;)v*BTqVay|zUCz>#nwz2;GYc@!*Cu8wC;bs@x^m^+r^gw8UgmX6+p#5g zyFU(obu?EZx@EQajmmC#Nu|Is8ZLvM?}UCK|CwNn`_Yu;j(o-Gcz`2~B*_00RkE9f z>J}tb3QN!oqs>W&6_{vvOxY}Hja{^M&{}IM(uQdn2ddRW_AcZWwBXrDPd{jvz#dz` zf8J<7GM+j_N0lR=HCW((=l;H^w!aTuY!??h2 ze4l_~H|wp5pt4B(zKsV`#GWmz4DP7@it&J*eiD!m-Rn2t&a3KF4O8`9ekj#dn_t{(mxg~A56vfT!dw$}B16?7<03#$ zf@DG<4Y!lHgfl^8xxm%~O_0SEIk^-;QO$oOPTfu^J+Ln`zpzSpr_JZ9uxq8b*~{ss zLLW@Mj*Pgjc5A|aKp*TH?QpQ+K(up=v z)#UU8^#^KseDvEue*p>R*SR&7`iI`p1ER1BIUQTBsW?+lr9KrC2H^DaDReLom$iEO zK;xDvnK1l>hjsgoqEjO%od?{BuD1lMNb)K(nZ92p@~Jd`*vqx;<;|C@%imi(p@@Ip zETABQPd)qt^nZ3G?A3BNTrG;%xITmx`&Kd-`D{wu;|s>8 zJL8-)2)a&q9fbTM@!?XqVPCvU05@v7rqTN~05605wf9d$CywugM(9o3lJ#xvnI9PU z){H&#%w=AG6SIbpBn8es2^wH*@etqGHFslxxlKf*w`|xhbV@8won6=#)1ius$UbV> z*da=g(kZOb?a>5^`Y|;yUe!Sx^rAQU0UG~eztjto2u?@+9xG7G3}TuZ(I`FhrvVN` zBLykBJxIl76q^2;90N~}^KazmvUMsdh?ceWVzEEerLo|JBcC{2y{+fLEx5~&d(SlL*y=aWwG z2TOV}wrIF&Bmzd;emIoU83|v;uPv~6Y$#7zPL5gioJ}o>#G_FJMWxyb+~<8 zyV+}he{=&Yq#R6bax~vxfz2S#41%5BN@@^;U0PWZ&kj+6hq=E63low{rXeaL*5+a+ z)AC5hK`jAf-I>cQ6W^%W1uX1oOO}DnD1k#1o!zf7jN0KfK1pdP?nIMIav|Tk-RK)!X~DnS4bXJckMV`$Dl#W+{t*BKHExL$!|KF#%P5d4agMbp`D+@b0hm z8LinMsqBSD&MgBXJLyqGW15WbZ3sL-8bl6mU<##aPtpd76+NAV~wsE4}F$teXirGZl$NF-3HN`L* zSo&BaC^J?^h{09Mr&YNh8tz(yW2qXaJu@&-wHISz|ETm+?zY8XR6-hPOHoXDdx%RB z^oXxpBpVDgtoshrLB3R|OSI$7=s;T51hS*u|h zP*&Dkps6;8Eo>&Muuv9+{T-^7s@#|eY>q^iVb(Y`lVUY@O=4{Wf{Tg^bM`jB57~r_2!K1c*hCBiU+KZd?pEY5Xjwk?{A4JG^8{$ACJk|J{zmyYY(4?&uo?5|U2Yv=&0e?}#?qw;yWFsQNVhHm>7 z9hWQz!gW`fIOlU9p_?y=N8W{;X1<{t5R0Dis`bF1#tPRMbjhg)&s3gPE3;d0eWZq@ z)hsZ(h%J^ikqshv|LWm;ZPqAv6XVIW$=8q&_~E#VG03@pemfLXz@=gK!xMdgKI<|^ zn?I8vivr&*p;Ao3pibL|Y-BF9p?B3Dpa}P2a_X8C_{Y4D0dM4$HE2%p$mz;Bh}DPP zBv!2gOO-l038lJm3cA3))~YW*u$aqh3QfTBhnjdrp{G zRc^oJlp2hGNpRVjn>sBMt3WKQu_pWvh!zWWBE_b4OD=|K`1oIY`}7tudhv}Gd;A*s z8)~VgaHFwnerT3g6?VL96!|FBWl~7K)eKFPH&WusW;@_Iy5mLl29zb!njFF`$fg+JZK&H!ekL?JOAKa;w>r-{9?KhJLZqmgb-LAq8#iC#XQ42kxo0bGY zuMV!t@ z<-MkLAwRo1hBf6M6y{4(2ge}v4Y?Xe8NwR7Q2mstLH08?30 z8Ts$5*m5GbwRSj9lXwJPlK`B9o|ZY;4|mB?T%37juIxK&~|3#rvY#5p*=7G%gX z9#TN#fEUBnU9Q;Hwg9}P(1)RLFsvD_UgCb$H-&ciSGBvfiV9E0o@@|cZQ1gv)+twS zw9w#(ob(aHU5Kj<^&oG5`V>+9+W55;bAhy5cPBwp)SlvsF50%#kWJ&hBO~CT?>B{= zyHfx*lqIVBFeWMmd-&D&7rER)gKt&pypH(3dxK}5h0jWfhL-xG*@>w}nBF6@gSVe+lhQ%a8 zVy8~EccmiU-~Eq&u}+>fX&t}y+{`(-y{ziPtKdss$xXF?Fp+LB6(Bi21wDhN^{y-1 z@aZ2*nm5^ao!MA{n6r(_)cc5!Mn-s_pNzhnofRlqf=S4@+J^sepfav4)Ikt?gwKlG zu9o`UrlhuiP+t;ZNite&@1WnL;8fiz&(|lCO(`r|u|QmZ56u`>+cS+~j# z??QF;&f@6mb$e_6GVf#`e8L(#dh2c(94w&p^rJ3dmX}{L-wtV`2gR^nO+;oZ=^o2M zpX%^+t+S7Ro@7p9ApR%j^lm)a;A2=eA~NH?vhvC)`b$|TMM=l${5NC+?~B*G?M81N zwUbb}xg1LUN`1 zH{feCh+EQGg9mE;!72^ZJ>=WSxrJ^fUd31nb#g6#zE7*&>~DgZ@w3HOkm&yYStK9=$Hx?sK-PDZWER74VLBrc{U{05<#5M$1!RRlakW-xj28$+!B-o!oq%#>exo zU->M5nk|&0a}hlJ_;nSI8XKy!P_HRx_AP*942jE4nXw1vk!(xK{xo*rZBdH_-Jzn< zr%eyHtHCWmw#Z5%3X-?OhM;d*JU+j?Rmu^(v4#EmP{YVe0g_HI(7kovzBJac2HTsX zP=@yOSnKc~E=72>Lz?07%SZEUr)50u3S~2YsG#K*xQXs)7jVUgZH~ZY?q@8FC}iz2 z_Y3U4rN40!6Kr4&cwEh&c(HH65>9Mhnk`;pcXF4>2SH)L}iKzYw-6KNM)_kUQ;`_OG}|h zfvfRI_BU}HoE_UcRG6fj!A+WG9c>SMW@=2y*hrElhf0!Y*et)WSY$oLq{06K+hsAC z3T19&b98cLVQmU!Ze(v_Y6>?vlW>w2vwu6K9RfHolW>w1lRH@r9XB^PHVQ9HWo~D5 zXfq%%3NK7$ZfA68ATc;LF*1{XzbAjJxMOr>ZMP;Ir(#<>PAax-+s2N$V^nP0wry9% zwplSNPQ~@r^S*uh^f+JlpYHQxjj`^DYvP*s9Ahm?Qe`y;5pzdVproUND+3E7GcQ2V z+TPU7Mb*(>(UC`eS&WZ^tjK)e&IrU}ooL{!apbmpGI9MUwu|*&HNes0ucf)8ncF`l{Y&>3=C9V(#M;3H;0p9~{U?8xDG*?8?c!u- z;`KN7Uoa<-^}o_^bFp@?{Lc*N0U)5I3CP?I=;HDh<}da?-TBWt0sl+&CQeRvUjOoT z{Fl}L%)#2#1!!l%2+zX$H>R2E-`JMc4)9F>%!-VIg(HB4`QLJLH>dy5xdTD}Y7oso zGei3~2@`Wi2Rko-InaLso=MTs^>0W3&Ho+CjQ@Qk|2I(l-$L+z3%&nuhI{oeuj_l^PlT{0#PfWLbNAP@Lw(b$=Q{(n9u_SSY@|0l2iYOMwQ zce?)vFd0{qzikn5u>4C6Gb8iAh1M>T)}BCfWouV6D}aTG-QRzn{Y$RlU=9S?Svvs# za{I5g0vK4Bng5GU-OAd`*5Mx#IR32yI+*|03jWgdul$*0RHYQ9r0M=Q3-(`z%6|vJ zRo%#KX$|?SB*UUqCGXc~&rS z1zCFn^#0b(%<_M)>i@^{pC^O=0wdvI=4k%U=%~4xIGF#Pw*M*kM{VW?0{tcVUkl)G z)&Ft+*W3evo`d1Nocxg~alIb{ERZ9iPUX$&B}D;sj{W`_5qmt< z#_#o^j4d;~pPgRI=T0AovR{wJ2C(g@`_q8G3JJfF(|&(1LffY5=At_aVlpg8%Dm8u z@wr}---XiUWY#?TIi;d%SoRJ>G}Fxn`f~l7Hh|o{C;*e<$qCudEWIfns|U3O485WF z{DLa^^!F3>(D>-caQ`jz_d^1@ym&ZDJ`)_j)N|4lS1)7GL$lc@^s76UOU-glyH*`q zvWAB@!P|d|8wtf@+#Uu?<`o;UuRr)zfXeJXb$jl#4Eq%hAY zTja&K;RbZsaqveYCQD|!Gub+AxF!H!w{A49o<-AhVU&bDM7-(RPk;IM=`C2XHwaCC zh?HuNt%6RcXevsl12|uI_w40_g8W)6@`Ha~;^mJJw}DolRB#-f`BHtS=1ixpS$CM6 z&9nro5>wkTvpOQJG$?Qk^=ZLgl~!4TO3!?EPj%a!C;1$eNk^bOrB)1|oG)E}t&}-= zwf3;TbW^E(u6QknJ*s_RScOrjXQPWI>XW-?uoEWBW05kO2$(XUjpsodRUGAB$#Q;13HS$8r)nJ*C-@!Uqu)O!n{Cn!w;&X{^}`7iJ_qOMf~s=y91kxk%Ol-Hv7*Q z5wE-WO-sS=Hgs@;mntPDsLX$UE`2YQa1gA8CIBB-G{`%X57oaX=r|HT4!_&4%wG%B zT~h3%6+>Rk8ptq|)#ql!u3~T)X&JiFeJ`4PM={=wEDS8_gm z71(^T_IXwKeXtucq4mu9IqJe~4 z(AkV|yOdA(>qG_B#jRBDCea9N#LkHG_ssd&Y5I~VNwqZo3d2ZoSb1f_Krt&dn5A1b zNdI&3Y$U>#YQC9BsA9Ai5x9_5^7fc9W%;jnBADPxL56w7YopyXix<045e5B0;z+oG77o@(f0KeidBJ$ME zSYPb$);12mZ+3G_$F4cUPd9&i+9c*TYfe$6PLjC^ zm)>#I5fqQytNY(c!T^c2!#^W())EDF^7){^bM{s#zCWqrQT8gWVJSH(n4`SNA|OEc zNegB5qD7?8?>>ax7O{Uk*IsDQ`T3z%Y56TK>wv?bOT)swl9($UwNJ2n>16pi#ZL1T z^V%|)qr~yZPy&C`4EcOrdt#*T&$EoBPfgM>ZFCT%U1VBP_223jpC;z>=Nyb_K5 zPV&|vvdkDRYDEhjJdtaw@%;L96IlX~GxMSi!x?+><4%8o|G{Dc-{~cc^m^wsj_oy! zy#Pa(k`|8e|sW~8CmNP2;Pax-};C&EUL_ zPU`OB2pNCoCz7|}kgUW8hD*i9Y3u!(B5gvbMM&vf=Q1UYMCl|PXf9L~@QsABM zrcxqKA4OEGE|AP{tB5gJ;3c+1Goys&s=h)vbda1U)ig}EDk$v2U__wSil;T5+W}g8 z0j)=3#R1v4!Y(ZoucH}yxy!GIsn)j@OhQLpjM*Xv-^XJs-L$K|1rKQozs~XtMUW!c z4f%ht>(2q415V|ArPifdC;X0eA(VAo%U)9249gdbGyWCQOGwsNsG_pOIs}|tq7_aN zix(;Ewgl?6xt@0mvVyS9Gt!Ks5lZV^g#OB%J$rzLoI;Sc$QM9Nk%AlC&^hx7@sI#q zK%>7BxKhlzPu#^VE7Ni#HdtziMiw8m>%JIm-Ms;St+|`M@~5@=^z2;M zmi}C=GNFXy-Npm*eWz;(j+mm;VeSnlJ#zHY!3*dZdeevRSl3Sr5Y}Z6l6>etFxT^} zZZU>Od>JUY72yjQd5di{ma zp)tUJOv<$J6_{}aoj(JXokYKIlOJ4e+MB7i^{R{TX4`gEr#@ZIhS7%5d?TLeIDJ#WC46_%`GKmv*Ebl+jGvKn`ucoG*9Xo-}kQRFJwN@R035 z`ApiG*=n<=gNMy->G4A=ZyKky!XFFz!OFIOsA>^PzXfv&IDHnKH0lVb?2{F3_k;Dx z0Xr{Fl!6<4$H(^cGs~j)UoS?=i+?53O+Xr-T^_`{WYm0t`yKbpMKRG=`;&lF~vUjmn!Ic%B zz{`7vo6EkT=}FU^wWAWTD~Lh#p1tGc8Kps1TdQpD?3Z2zC6zATEqC9$(jA)@m(-ZRC^ zYq2^aD+z6?NnYt8&DFCCnaUt~4`o5Ue2DxLaI0YAQpSNFLsHn(Z$=D|z0V+j+o_+j zQP_0r-BcJLwXSGwJdqQf@(C}TB?^UNA&Fg!ki{)df{lolf&xZEjl%1OHI}@%fj!lm$vY+ zua0)|lssdu-iypykCk)5WswK+F-55$Gfz7b&)FMxpAu?jb!lLqSNo8OUq6^o%q6j$ z&2P=fS4aCP7GHmBw_OS1+EQ-H;KKP46~r=>HA9V&pAL&zVLQd1D-VQVeOJ(bnDX(- z@Q#CH0`pSc53fnBAciV`F?PUU7@c-wgWW_diafrs`HgfGut1ei6%JxJpFhKnt#Hpf z0I{xNl7R$2cE_9w%MXN?q54qH`zcy`!t>k$h;Sn``^YFO80!+slin1OEG7_T%}Zev z33HhGLRwd}V!l2)UbDl?B;v!fTVZ?{R34{*913<2s+i z|2F)T4(QKi6c4|$=v=WGyf zBKS_-O!rEP5M6j!_&IL=&Fu*+PIm3FfIZ$JOl0$Ca3s|ge1l; ziY1>0woZI&2U)Pt!QQ|J0cXhXGRK=242F|fy!f_li5yWt>^8>b1KZMg0s(xzd`!8O z7TQirZWjHkC|tpuc2!718jCrQu9yE=`-sO4{;mnBA-dLoxW+jk$yvt-2utiGxkd=F zc6$Duch^8wrUpUuaRlP0tx4wgfrY(x^(7)^XqRm{YS^H8AX!FYS!6Gvg5?>p?#im} zDHLF0C=xG%l*|`@Ttu6s}_GOT&?Cfsr1?jzC9O*;c@;6khHUS&+q9W;~U_41(bd zP6C5&5|dG>9Q(ti-+?n@=h>Et-&%UTx~&+^;*23sI4NGQ(;EU3QJ%}kXyGY@vW8k( zycGDFFstfTsp=oYZ(2}CQHGrN4F`DM>o)zKg*gO&CA6qm&il&vWo8I6>_$2~Gu%4A z16|-M9j?Ny0g%G?`Z{bsd02#sPM(qt?lt@ExK$bGo7m5S{ma*4Ur^~u{;Gx*$T>mc zc119XCIn%5?oIU}4hqNIFD%A5jjg8`FR|ax<&+d4@MrRW1oL5D;&e3Shye;{k&Jlyct}_D&N0#*31NI4ZUCrkm zJz7*byEE{vcw^-K2(W~aYoan$h&`@9X6mD!W^UNqGfdB`s=#_79xc4T7x05e%;g`> zzYjDla>z#@(28|hm{O3(Hj!x+hx2jvWkqR!?4bc4P8Y{6I7qLws)A*eB0Bwqt7^}^Kj z7|kqj_q>P_EZ)hVgJNE?Yiw>COsZc~+a*Fl%cC)+ECMrCw>Y$aOgWlQ4jUN_zqhe} z`*3DaVO+#z*@fQ^bHM|HcE=nu{o`Q2+XVl!L#$?WC%C#D{DR86k$gKeQp&OUaH^n& zFn`Ez7<>@B--h$SLRR2R%&t8+RcAd0#N+muT16kQC;xb0r8-G3n`3_M-!rlH=!%uG zKd9|=HT)H`V_ya16;o|f3bTqU%k=7h4a2j7se%%%A2*!ao0e1YG_*aeczJHPhSZ@f zKK>i8-a75s^^cQ7JXiW`A8xM{gT)vvi43fy%rl>pvSz4l_q}L;Qjz?Nh?51 zIEW7pw-oyOmAHe}v1ojjp}F6z(ABhO^!xj71G9drC(Ts-!j*yW zfywAD?qjRe{*bv8GYZ^YXh*JtI}|31wBPNQAK7#CS5%8IZvneiE_+;m`ZEPIZ94lN z$5Os)W(YZ5stCUT^23^_9Cy#rLh(}aMy?HNqk0wFam>?By5k^6iLve%U{BgOM12%c9_Z<&JWhr!t0dU(qE2NV;hop6%)pEFYk(2%(Cs$9*pl z^|O2LVPQp(%e$nFzvD=7LAW%zlIgwHw4fi!M(X&ZuEI@L8kWpJfR5Lvs%!G+@VJy5 zmRpklPL7x(r&bJHwEjqLk!PPgYt{DGy!IyF{+3+f7O5@67bE(AbDmYh6ouZ*v`;?_ z1Duf6J za-9Rb6-h+HASa)N8^W;$uY6SJ)X?+`|gUZI}9-IUv;pYRMg4a7Hq22Njl8~ALSer8U|m9-4#Y$$d8UsD{URHXfkM>xt!K{FhhIqA$;q+v z8#3i9&f~A-3|Fk;JiSJH%Z+0Zm_3?mGBiG9Huac)uNurwuO|78A!XW6Q0qyJ#MF1- zT{LAt?KLiUl3^h$VR-;)seF*caD-1DVpU>5B@i>G6e@KcSg%SXM}#=8;_~{iGJu{p zos@*xfR+&%JOyv&Czw*0fZsPF>%1KB$T1AAIU?|1F*2U2ar5zc9l8v_z9L?FOP z4i6fCs?Y1xoIU1n&NJ!;8%UPr5-RT27rfeb18#OH+3Pj4$9_c1nezqYTEW)C7JRgi zzm0|zj_)a(h&ts~rW0}$eaR=SP(YnEJa+ir@M%oT@(pl2oQ>AN^1XLq43n|qNg4Bu zt_w#pJz#oT&MMx@Sn*GC+E8E^xNM&f1~p25^#^-4dgeL=qtoI3_xJs_@Y?fsjNd8O z=CBs--NrvWl~*l_PasIFAJ!PWbag|+CPN%hl{)L{7V*G^Kgr*X)BE$Bv`TEQ5Ezuc zY0x2KWW3Y(YD2a<3TqeUpARsZH9N&PcR$0UxYNdVe+PtXp~#E)XQXa$m{M*t6_1mD zWPQD3*heEI*!mM*yX6 zDXQ*0S1dmk-q}2EHO~(6b#Ij(wAY&8H7tt(VaDZHZ7RQ1xz%ObGh&gR_ZON#h0Tlh z5{F4ar{wEWVPwq^3CSm3Wxg^kxe^nX3NGPfzMvw_s&Ka0zRSG z8U{bOD7}A6@y#avs^D9hIq5lnB-8inmwCZ$dgRi5(`x0nn>=Lg`;45l8Q( z^_D^Y#T>qkMpTV?5?o@lCjpHWQF-lJH8&a?+{Uat8tO9zu7XL0qdJ;NXfKg=PFt`I zL9#SMrqT+R@#?_*)*?lJ8COI)q@MzTnGSWXZZLK%hK zJ&n2Tg6zR>TrQS>>sjewI8suAD-*VXgYfL-pZ;BE_n^T)rkz<=UcEQ%JE?-mDk4bu zzGj3+-^lFLD%t^e;@)cWi={ysaA%rSuNwMLzcort+q~l(_BIiF>=jL#AK{A6i^Yk9 z{98Q0eFPewMGSKGSf5f(G-HS`w@YRUbwaF#!b$sVf6QTjuP%{t*(>ti)JVg5%%rwFg$H16MUk_xQ<8UK8xfyyc+TAEC*O z#vg)_1~wiUn30&!W&wV+&=eMFUF&641@^wo%&Ob4eIoO}uFKF<{J1$0?e4Cua{@&j z53s2j5OFzCx0D8RRxFIfK3I>1cLwVy7HI@ z%Hflzt+QExk`5DG^jDJa(J|P!_bK^%8hjSUUpF3Ob^?aQ#icN6#0>9W#CejxP;Ir1 zL}0BM%2wY3u4t&38=a|o^8B#qHV75&No?16*?u?!IV~(|Kr`V2iLjsWkl4_(Rv;>P z#DJK8X+tE`Z-oJR>7leU!DBe&BFsqisuI%dLd{}qR}DJ{71<->Yq^TtI->nS^@8oo z$wkNfb~oc(0robdbzSoW!TZe7w0OXRSlc;+(CmIZvuq>L`oxfBO_ZGdI0A6CG zF??%%-jsSG%Jgda&myqtJV$*Y=q3{S3znapD+z#)At0TI)5z|`37U6B%jaZ`8Rgu! z{j7WG*p30Xqq8(COhf*?N*p4Gs2q&l?B2AY;AX*`nDy>BLd{)& zCH&rdAAQ>qRf=52A9YabaAsI}f^U5XG?pM{EBLPSTCDd0MmEmhtO`~O@YSuyqEU04 zjW*sG0Taeyc;rp@96M02V~smxfu(tkQ4RGwX9Kdy9t6yPfOhDioRcCCk$bicH85f`|6s@H#X?3i(x z^eo^#UXC=>M9d2`%p>J!Dxv;f`x&WDQ*jPo`h)qYDS$(vBc6br6>JkQmEQoFTlz%y zE;WNcY^**6k??N2daQm8n=l#Hh`7NhMmC@tisk}DD4lTLsS9isaow6tNW z*-^zsEqrJ*!fLESF0`;HjTg>|CvMBtor7`+xgnlJDL~3~@I*Ejn!fOQ87bV9L}1NH zpz|&tvcXLm^10N($U@!In9aG(AeV`gd$C%`Me8v6UXfz!xu=gMGJ4Tpd4$~RKsy=} z>ZHq|Fnwd|yq4VmP5zV@X%(-3ZItH19bX?la0Q3hAf=_R8GfcfQv1fFQuc#)ow;7d zZwCxJv!$J?MkEz^|KZF1PT2^@y;Tw(SeZ$z696{ZkA*K}%;xUFG*M*M&5?@4-B6Hp zGPbGwTquQZMg>2X$c^^`G8rmmH9{R!c#jKTScqilH|DO0@jbHYegap228950?-P%B z$#b2r6tA%~6#5m@lsL!|hHRy$&2ZURpBu$*MGD6LBqv6RNc!XJ8~^N| z8|rGli2y$X<5vlj*>ccv-Y;P{04B7w97yfmIJ@LuD8OH_^Mb(`z zamAbn6*1Gi5OK@H4k?2K`;3uiL6|wIM8?^1{x714PN6|zr z-4}`c=D<~S;N}sR9?YL<83Z&l9H;_20VybPdtP*`Z$GtvEwQjpUm+<%8Q)KmRrlDn zOZb+^EtX||{iFnH;P?sHAk%@Y{^P$Kq%ZCn^jCbhQK9R8FYw!F?zcbIi|=i^>71xT z(6I6cJJ?feNfBe={x9=*1N$}GQ9H=0BMCz}LVAq#GzK$25hZTWS$pfOldFcNF{GWO zQQy`!+sCtiG~fp;e!NK-7r#QWpD+1HSbvqli4R!?uQDo5p@L^m6Q>W(#8X5{Aihy# z<(Ld{Oac|RQcUHHRvuqD3CF&V9{Z*M8{5R0ul&=BUpWaR%quWV%CDmz6itYA?=@|;g@ZrZ+ckV6$ zrzFIGL#E3)+QC(h$VPm8YPY}0_iCQHKnSzfeWebrY%BCfyYe(1*deRMaYyA+z@>$W zq(!gOn*AczxRRYV=g(l`x7L?%ie)z1E6&gjzYwsF=cEquDb#9epl(lmhs=<)RZv@2 zjKYH?KT@u(ht3)wFvmKWi5<9biCv&>G3gIz&zJ z%XrJx8K|l9v*{$SmQ48nj!m%0oXnvU`v8bm*IqP7 zLD4uv96r(3hWm|iZc49d4k}>GVT~+uasKv#smlfJVzj9$Vb= zc5mP}OkSQsb4JzzqSs+Rj(e11qWQw93~O2(;rZ88xiF8p;Ikn62n<$BoA37n-#e+c zLjY?^4@k1NVp8{;u~uO_d-NB27)(ol!;_)E(<50n4ZbJ{^h6g7XJW6o3Tv8o>d6Pc z7128oQ8xyn$I>yF7G*K*Vp4#aPkoXsv7|SS0?!L0ekEvLZN+fxk%!sY+noi99WTXQCLh z5qLw4*zMQXpW!|`%y`7fR7b*(BscXNx$5P4@EePkUks8}Nk=Nj`}-SvrbBpLw%R}k zSkCM*J`2{PqrZ+&ekrx=57!ktBb(>11BE_tN1;3r)f^jhf2tM``3kD^UF(VcghC}odi zc{Ae$5(0N#@HsfcR+VYgwQFoWTn$rM75oQ3&%^^w*TQ=N5>yX2bbX_~m+wl*jNO+Z z<7+&#Ni0h{DRf>cyCf&bzSMe4X)l7{nubq;+|h4pAZl;-1*{xeSUD?y@I+3(g)CkF zZp9{1K9>$V6xl8?8>sxnW@Xnky^Smr1ASI8h_?oR8Obdl1iDUlvf<&i=3`NAtr)z- zjI^nE$j+`UPIS%UB>TLVo=TVqYqJ^H;cXF(owu0?MQ zt>DeCCGVBpDI${1?dubN5)^7+YGuGKf9ozR;cUw9q^__A&L%7hIwHUu}tnZ#Vr!zJKKjy&AItnI|Ms?WD?U zw(j;Nj6sb=xiyW`_XT38>6d*Rhk-O?9kZe8iEUN*UJN#!($wI8sRWD_)!;~c(z&~S z5sV1D{F+^IIZZoxLu?O#T`<kr78@EqbRD(AAc4V@EQ!RZUE1O zhkb7N^8Wd#&vd0N9S>=ZVTCMMKjvD04BtqwC4c5fsS1F9YA&|ZFrrcW!vdGKq%~Bh zq$`gdC6*tMi?!jw^V+($$G3JD{AR`agC!6TD~Ze_1+|_QKSo6A_sRbCt-w+LBYMPQ zv^!rm=S0=QpIZN&P4Y45d(wLXR#qfU+q7ZWTyzd%h(nzmM>rRg(Y;d7HbL9k=PI@! zCV0X-)w2kHF0hc0I}hdaoDiFzIkdcjNZ|no`Foa7rT8&A_p@vpFrOCqa&x(S@5K$H z^Q?U2nd0xTo9kaV7Akd<$lLIBhjga{S@W>yBMS6rI34+OlUX&)cpc87=?@y#zE>iF zmh5tjHQ1w2Q(bM@>#=rOm=lNd^j=O9Oy4IXs%s{HsYS2-EnT)FfFTA)o`fwm3(|}A zinY{`kG=!Xsw*5y$dxU^A*A2v(k08t`Ad>>=#+m%gbDJ5e5kKbL@u=16TRv`&bGtDfokoB{=?fBbloY4&l zb4rwdGLPPF5z~F;*$NuD4t#m_!zr@oF(zAq(A*hRUmlG?c!m5vkd%QB1pycbW@t~! zU|O2ZQ>G_Q`l7~JYdzCHKl*=^E6Nd%h!YL;^SVk}rb&^B7v_6URSojwW3Ya%Y(Vj;d&So$EB5;bclX-e7oo$DiWn7^Ou z;Is6#G*P^ErQd+pGc7JE|L#Ve5!$b`^*p2Z97*e?T1X|PEL^JbyY9XJ|+XJF&~@neW!@>9^z#m<$k@Q%Ab)M~ptb`?a7TB8hap-Oec{bIGt58>Y?OJun)W;&CKD05g@ohCHS_@f!;&vdi z5wr)pBAa!L{`&pla}a``cH0TI^7HYpX<40I&*iDZQ788mPgt6R??Gq zN0b7^h%sH-sahiH{*npAsoqhGW{71-mD3<8+yjh=qr^ql$p|_-!l^lfYu14D_d?w+ zZn@7a-j=W`3D;9=QF6b1bVAI3+csipB*EKs?prP@HN_h&I9(|B)Rz;S@yBfmJ|b@J zsct^VeKWUVXS~)TYWYjt!3b!nt>W=I1rXYWOfZDRoocky)A7bZwtphK3XAk-(g-(< z7B;n7IA1^c%vPrujS-kVwCr;L5c#7jey}D~=7G(TL_arx!>>?lv}7oMBD4(_Ip8|1 z==mJeL3(lJ7MMqtxN%o02Gn8kOi!;a_5%f#F^OEX91wd;2z5M{WjzE*n1dXw5F@US1$MVwDB6?nt4B5@~Ye@=*QIC|@| zTkfY1Z}2WlU)il6`Cu}Cz{q*e2hVWa8mX!z2<3+44RjIK-v)Rz^E+$RUMa%hVp8>( zY<)6f;vx5|V~qp2#K&w%j*K3^B5=r^w# zt9jkSRL&8RrBV!%|E7L`vLJ@m!1epaC;ReQw;M5azWm#7BuJ@$0TCvWz%R#eZ$Y@+ z(s|l<==)&GJ%o;$Zx~bzc(-E}pCG{o9dr;7wH0ubB?xo3yv~d(Fs5D#8F!O^Bl6yz zwqjLZN4Ip-jC|dK>~jEOTNs(79PjshSy>t!63W35VH*XHh#S>^SlbpUsNBY?R647x z>^!L8-i3!2*}HUq#i!QGTP;b9V}{rwVg3l%@!5zmC~6NGyUoLd$+BzwO}2|=Bso1U zhex$YP881NrmQcUI5o5{ul(hYm=vauJLO%!hwAHxTHlRIJIyd#1PE8F8_ikP!LOJf z*MlwRfWQjP8&|YflTCmPh>9$ETSJJ%l%E#F-vPeM_{#c!T?i7}B^ma;32XWK&2a)a z&@P(Ig(8+%{9+*-!BQ3&7NLm!+R4Zjl0?GoDN(wKC^hPt_1PS(Bt)Wb&TTPKe=6_D z!qIXF$CZQ5rxQz>Yf=?&+mt%gGoh3?lfv!Hgy1e1XJvaYIn!IV(!*t zd{Lj|&lCJfL2KBvLlh`q6M7QFTfp$Dw{X&+s?${vF_5BjNmIqi%}LdOaKBjPAv}6Z zVMGdlGONmf%Qn!THqOK z2vFIfLiR z7C?wgR%N|trh8@y52}G&XsR*aWAaPt=Q2r?H)oI_cJ#t5ITL}SIKe-KeOy>wWi3O0 z+0Eo0fiWP!kb+Bj>-%+WM)k9#i=y*Sl}nUioBpC7(sS|%8Sr?ZqojKcd;$RyupI;; zkDeEAD|Njj*0z;enQLZoB~aaX&2y>$oo!yeS~X*k<8+szx|rhua;0SkEIi++;)lah z)H{EHyMS6e1vR03#?^E@yRKY(&^3#H)cY#Vuk>(iu~kfT};~oMl+?tNmVR zLVYKOgpo6MH!#mP$}{_gu}p${V8c{lovPcc%SnEmT7wi_MWcy1esSz(J>~(+%R!Zb z#`?w2-Cq!-c(E+mZm~CK-&3dtdKXi>tJy4vui{js^jFS;X13H3zWD2Z--Pu>9b%NM z{+f}c7jUzEi9@lwPLULm3b*KusMpE8L) z=wMF|j|W~yz5L!0TG_xBR7x9%PyYypme^$XY^ET=Z6LIUeJsX*<0E{MuS~T5dneJX zP{_G0rlHf~3JT!=Id10c;ISV%k6X~(Cdf5VfD@3vGCJ4 z;2;wHU6LjRirKkeb4)VaMPe!pcPPVrNdN;Ic3!mBCM$9;()%>0B*j0S)nmsX-YUdF zP%W%b@e6u<**s}~ryjGikcyKF6v_G_$P&csiB-mEUgLPBbz6UqwvOt9)fAB5~EErx(6y==r%C?yxdI%y1g$gUd*ID6f-^ z-XAULfo?cN!3}mt)JhvPnTf&`zVoQ2*Lb)uIh5viw1KLBImY2APQyyn(IPOU)Y8;6 z(KE84pvL3*oxcQv2>5b-q0CW%g$o1CJ#I-oR|cF5uPVo&r{7*fnfW?@SzuRa^&58V z3m|;39Rt=9ID1X*E2kvN4QDKk)jI`fhWtbOz&0RJg=RwbqKb?Qe~k+8O4AsU`jMTc z%7qo{mo zc)^ZuWztMg;vQyWjZ1=LPRm)#Y3CH6tkDtss;iCSdAx2Tzv6=MReZ2P96enO2gfCm z4+&1pzc8DJH7lqZ9d9i7_Qp?+R+2>14Bj7VJnC|PQlRxk-CBZQPlYA@%k^njGY|LP zPaCZ-;;5tXC04`ZY2D->V;IL}cM6uof3mmf6@TSXJ{!>W%se@VjwX6=R@)0D?ovrk zSqM0Rqp}j)1`fQ8Gz&q}ixrk65}Gtc9_r z+W;38Pr^EGzfw1MX$%f^|B0|fS?*6sEo66VO%VZC26WuP>{lGa?k!4h^Eq=zC+0Pu(6cQCQ|-dMbivWECV~qwb|0EQqEz0+}g4V7=g^i2cL{Hq5R?W00av z9n_1`B83f4H)JmW+I%PguWon-YvpBe>Z4IsJd)n&cT47bDiaQI^PR-Y{{|^%&@1X# z-GZ`@-1pqR(5ggl-K3*oh!pI9&Pc^%_Ef0K&3hxj7zL1Qy=X$!0W9KPK>H^z>GViF zS4?##!G&R0&{nSpSYLV$lLZq8_rX~Jf-FgWCo9s;^$Mm#S3aM9f)$y66BmwOFbYc) zwqMr_j+B!g5}O>1?S~&eqe4A|0!lW_=*Pn)GS#DNfU|uQfXuSkziq#N&o6~!e(6Fa zoq02;cI@r=`tdv1@c8@uJ^FN{$|#dK`X&yorih%&&IqQ|Ts=`z)~WTn6J=Q+vvR=c zdsgez;@SY|@9Kt&`uQ+V(UqEai;H*4CPQ52R7$O{73<_KMU=6$mmGY0D}^QZ$FBuZ zS1D7xMb@S+z`NO?jYxfeQ{BO9WVRhH3~Yz`7rWMr7@rlkLhQKrrSJy~fjM|rA=PL8 zUyKwjq?AWdg^&-_%4te1U*|Sn1Hoh_+HcmCUvnkKI9uoJjXcj@17mI_1UuC31J#V} zEB4KiJb21?0;KJo$OZm>*$bcA*3FmjEC??Q?6ak8`h-}h0mi3)>bXi1Bzxz>@E;## zAD0zGYcXa0J!mKH6=;`xNN{#W)X|P%?m1@ANld<9k%~>8NtfxObIA`{>FlJ|%i%06 zZ#kD0vXIFCMs3pHkY{l;jpRxjVmam8nI-;ZsRpMXfS*}}+wN{=wMUf5ya-;aaqk;r z#w;?eCQ`X#;B`2EP7QYce0f0}_RFeiJ_^;uF}G>iwuWV*N&Vurs zK6_ruqNQ5`U8}Y=_pmeypXtS zrs%)xB#@!wSa#SyEAo|Q^Q|laAipbu*ecg%O`5~b!P{FLdxmXMC@}2h!Mwpxq=?M} zIqCR5Vu{n&$1=8v)fGgI)O@%Bds0bfbbN4%J!cnamug1 zISb~UEQY^-0&=B)pa+d8PePUIw(rBynQ_E(>G!ZbOXZ4%G%uMoW(?1sllz)Po#8p1 z?X+{CPSemT4Cmx`^=TA(pGv4 z8SFgYvIUF8ew9P}JhhgRd{wlATO_74V&z6)O_ZWHs=m&rXNQYRpOo$oQ{6@-{onk5_{Z;a znZIp+ZFOTDxOb)>6&Q2wjX;W~$Ky~{i}G6}YyFrvg8urgY(b*DE`oTvHTE4JO{W(# z!9b8K_U@<-8Kzi)So zJBsdN#;(0y?nUlZ^S&IDHe3rN@BQGadr0qUMw`pdJOFwcOzC?zb*SRk1*e|2YU*0cALvs&6yfB;8iDPG zBmVgmhn>df!@^Ags%nw~XgkTJbPX|&x;1jy$O56l}?BA7he-}*iW73{@-i$A5XQ^^6>T+&f+8ze7PI1nY@gwN_{nBm4#4|GZA#B1d%WY;`HF~oSsKH=tUn2Qa! z5fB7gQa4qtmnYO(no-w4v#F+3Ehq&qp2YW}Sc1pkDehNKvqLiDTjk$cO=C=>)*dKaLk3< zu$csZmVYn8h)cNj(FBn!1}mxnc(J%u`%3js?wss{K#K<#$d*ZLDrP`6K!> zkk<)y5s~pq1o+ZNEPE>qPq(TXE^g!axUMPPZuj|RNy}?n3;i(>g`(;#Z5Z#*O}Mqq z4c?5MV4s52777O^0GYLadsIWl9=8<$4K~LYM=CTbhZ)5;fb#$G=@iNvz87_g2rBK8 z?DUb{H-dzm+2(9cXP8F1D-17vIan+n6mBFotTV*JOY zVle*mWe6RG5@GExz{f1zmr7&UxSezyBTByE@Y|x=o=4=joi6r&guvJukuK4kG{aK1 zvfelrwZMp1Bp8%BZnNMH^H1Z1~z&PyN z!elpFb2Ll}y+Tn+z&P08!Bs_l$O5~G->X6b_LQ+QHw)b|BI>x=(8~=~7WNhXW#&=4 zI3)9)W52L|0fvTusbV^!(wM42XUJ98b&HVm#Clw1>FHKr3@R|b+aIU;>f(pTsm#~M;r1$DRdJ; z=w^hXD(upYr<#jOg<4X%q>U)MHZ&H%!=5|OdVh?*dn)xL#==R9t5cVUA(lLZ{5L#0 zwW|zUU<0-=pPuX6bj~v0^m8-M#B**NUT2-@qzbh;ON-eyLYV#$8u`0?&Ck~34gEGZ z#Ew5mTd5;|FKd`!|H>FbA0mR66iZXF{;O%{jJ7g@cSkPrm4sbqYtLN|c0$c`aLApY z06*gJ=CYX&W47PVsMc8F-?iBKmV zzCbNE3zbnAFB9lKB;WdGm>#x3XW(Uc^E~@FpZ%r7_Th18(EFZ|dS1WrW$D~!U=yxu zZYvWNZtMP&;t9rqrWn2EVFeWRP}X?q$tR%&fsOmai1M3|e_>Z(#kQC=RX0RFh~-7< ztIX|xHMe9gVJ8I+cZ=4E9Jp$cJEH!V119k-#;v$xg+)+hMzOt=M&+DN3ZdC?(DNN< zPOIRAV?l@4Z<@X&66cEdpxz&YecTiBF{7v=)C2G%O4E*wvyW|*CKCzplVE2E=qMhW zxrBham0Ik%k<*k-z^iy#_* zeymia>IkOGinq(FzuLluFRU?+zHZe@sW&#`uh(%J5<16u{b5k<7-{>+CIzX4Xuvpi zM>{R+8D`XQ7{Xuv*)&7q`fQlT?QUN;L_!Y5=|iWPyJTW$9fkMyvS?2|_vD62X{Zu^a;nm3Pio`qWHkVlRp)?Sd{^*c*}B6uNzBK8 zek>m55Qi*BpRaNlhZ2cq$Srz`rZ&HPNKZ!GaE=rj?j)%6?+8ea#N9`wHU*HWTvEX} zl*tvJAyaLC4tVIi$2+7c>w`@Fde4BAmY_qlW>wD9x*XCF*OP=Ol59obZ9dm zFbXeBWo~D5Xdp2%G&ePqf4?Vxt#@TqUEPu`?k>UM;O_1aT!VY?0~~^LaCeuW0fI|# z3GVJ1B)B`l-FbZ9?c2AmPfMy=tzSRkdcV8s|`xtEe-Jo7| z0sv)@t*MK%n!T;EJ-;He8qm^34s2orc*nSrsHr8KfF@v&y`7{97$^XL&<2_VB!OlC z4h{f2KR-VbH9*4N!NUn;X$1z*X{u?{Gcq#$%ktM2fT_nnk#|pLkfj}f=KaGJXk+hS z3$z2jQ~Zw|)qy|&*a`@+0NDTm5}#Cb<&^AqOY>_Z_zH*gKhuy))R^%n9TG2E0dA zk(B;No?t5z@L#c=LGLiY-r{|yxxJaoUnTvGz0~ zn0UO$ekXHq0{xwai!;d1@?RM+0i1xACQjxyKxgN7ns@HMPUl~B0{%<&CJqiZ9)Ek= z|Gn!!a{z&zfi@N_NbDT%G0nj5u`NM%NUVSLi=3T>J%F9vo0Nw|Ui5=j5)&LX%e+?TO6DPo50|#XGf4Q32f^0ngJLiAj ztquG~*8joz@9;lDh}&7dE5yvs&BFZ;GssyQV3eGW%lpmm1vvfPi-9|6aqpZhu$6sx2=ip(nxk-%Q(t-BWaB zVb>@6if!ArlZtKIw(abwV%xTDRBWqa+ji3VzJng!{ho0y*Tug3?K$RJ&-0(Nm!q=F z9ZX|j00{CWR$@)+>FB%tCGu=v+}qtBgM}M`-# zW+3i>4WKt00IiM9h5z$2e=eY!?;9sNDLcLURo}M=p1qz0VBh`C`T>^N&dJqH^YzT? zQTvg5-pc@lcmmHVto31QPmXExNk;;w6P?P-NM63ZFa*zwxOY>iR!BJ0JKwW#t^EQH zNWXRdS?RMG{MWj1WFvlHB8F$+N?`>8XKfmF$CADtfI#N!j(OVFG|PR}@LMaJHJ>9)6AS3>YH#jJQ=hCju*mvwB8eQvkG3N=ZuKv|o7 zOhB#o^Q2(SVMjbHF)ot}0Uu{H`z(s6@~wOppsQ^`A^QHfLj^={@9`P59$*vSI-fVp z2~1HU%gB~;ymB!j9IPxZc@Vm~rzSI}? z{a~D^8-hXO8haIo`kqv__V+W{^4hI*LyAX<5Vc3197?CD8HNk%`W%v@gCGe3@sW?{10_IMY196UkcNJ2E6lloFbNL(NaLNV|D2aa!5~ z72haX<@NZ-TsON6)XG3puXSW*GCW+!s@PMpr_9WAI}iq^33n~6P=|R~cRiv5U={vz zr^`!6h^(SE+q3Zll6KCW3*5Hv1DLFeG)%Q94+im9+ZT(YLyu}A^rB+E|GuK&K|`fl z@k>BD#<=-uW;)TTr>_0Pv+35NkSpPxJUr`^c;KLh zs9x&CEG{qXFNJBAmGm%bp`p+= zMVOqPB1Yg3!xlp&-`0>JX5Yct%i|!z?Og)?L2VHRpW2ztCHhrqY4CF&fV39AD>t8s zmE)le6lbyv%=!J}&Ws!Op#BZrLflp>EF1IY&JuiC3YY&ba^NedOIOOo%ixjok~!C0 zb=1t>wqtqAs~b;{Fvu!t*L^*2abS$TAhP~(c_ybH1sYNHvZ{{+bfDsd$b`FV6G+|~ z`n1mah1zY}b$x8Y^Hv85U<$|oZBqIcP8|@pieUFF^_1II#Zrq?IYUJ15=!mIW6Ti} zyc8x41p_0aoK2^u$3w*#-B7P+IE5h!#2W7D)+{&XE2rC^T$>3IX2>2}sCngHOXUR> z5GNEsRk}Rvup1YUUyy3`v@)drn;X;o&CmV=q>=|)$8GE?%x~%c8l01P|CBl`3z()mXp|xi1mRe z#(j#9BDpP({lIjb6YdBAwr*FmN3Z_)dfVkcc=CpZXo4q}%S#;=D2!%#a|icY&tGQyOl!5euMR2)MX5 z!9ubrAm{}`ax%|PdGavsdKP7g0RG+|uW9Me%zRQ0AN_R*C~jp+{1cue5r^u$jX_hu z%^9k+k>VjSK;67g>JEf47~&PCj>xg%U#(a@bBuC+eDf(cVt;Sj+O*MinwS+<`Pr>r zcF*#9b@QogS0s~h5BF--fAG{*`s)u-ses1_%cfWAcp?5>+cHm={1bsWNXSL5-gRj2 zLTlqdML=dAz!&1gF1GoTuI6WeW;t-nB#Pm6@I4Ky!+G#InUbE1s_~vf(`b0r61R&H zS^NE(dN8Zx(UH?CLUQDNblNa>)LwyEx(nfe-$JPn%(E3Xk+TcYLy6fGdtB6K`D*ks zVWdN-mN&808Y@9YZ-fG5x7hZ6&u#17VS~uZS={Ur96#MNc(TFC-Ml(RzxIV6wAaCC3q?yWg-YvNwK*~{l^CMvL<)SAAVVf7yj^H}!YbZY@X!h=diX0hHqhZe+zw&3Z6nBoeHsTLv{}0lntf z2wBt`gojlN74fFLjJtR`&Ua)Vuv`rFBbT&ox7qB?j_m?TE%;Pc!6n0Y8iRoXper)5 zs!)@%Xt~;V#*lbekbAF|+3gXQ8a+M4J6}@Bh@tA2rdo{q-d~Pv59(|slDBCV+L6Uh z0RJsaH^3Bwcm^e(c}j-y^u}^w4b_|eLHZS5ZcKZhb8^;hWoYt&Y9}d!I$eOt#Y7W! zWBJ>q%BXE9a$8NDb*`v=6hgj#7pH6@>s%ocGKE%7vsH{++pD^g`k1;5g$&!9;Vms= zX89~AA3ec3;}Ze7rn-Jm#jYNdZT*Nb0Po+pxtM;TiuI7Ju)(_|v#S${1zCku;Gk{X zPAM3Obh3PxWM8NAcy1!Us(!no+oLObm3{9hf!X;VQUb8J4@8X=e(G83TvR$wCV|IQ z;v2TG5iVYh&Q%QYm=~qaQmu_Y>$?d?dw=ig_906(f_fHQ?;-vOSmJE&H@6VQ0?6Ax zyGf64$2pvIOj1@wqe(yXZ`nS9usaH7iLI9&9MMY>*a%3D+7Sm*{2)vHN~=X^)T7Cb&xH89Nn0Jjgjm47R|F0V4?NDlOU^p0CDmt>)O_7xSau$nK!`SvnU{}QYFGlH{Ihl}}`jd1J4nGORt z2uS+>zF#oXJ+9vS(GNd43WhIT`AGG-e-7k2wBNFmXE-+h4aF7EhtvGIwQND9HNtpK zkhWFuvtrX*!D=r~Oe2-OJTi@uynfeOA-&^l5jCcoUZ3@1O___rCCVIi1QJN4@V9}* z@!bBj12*Ca^0lrBdKrg8%GpaY>z6g6uRLx)itkZ_V8eX|M8+c&5bd91%|FmJtYTEJ zh7rsZ$^3NMXb;uf!s?{G$pH6{UsNL=qIC@%LL0hGPW}0NUTX_Cl4*B#1_ZIygx-bg z?zmvzrVd$|F4+`S?RLN3MYsxBs?0^72i2imPnO^EE1|-Z$yT!NS>ht4Qom918*5=R z617kFU*LmO&1?p-!Z0?4dOzJnFNs8!Jo*LXGhLfv+P2(7n@ql{vmiTolmN`Ey}vMix9fcnUmQ&xTc8)@l&$~Au{h^|kP zrZm)qFFx@5rJS-F#SefEznk|TcG>ArU4l?lU@ZT`6ncZC=01O>-Nkpo~HgNhqZTU4&zwXQKTH!?m>0Ek$zz_O-vj26>$dE2nhheqUSMB7W+a zwC7ho&*Rrysmi3jh-^r~^GO1Qxb26NtF942 z@SAD8cU3bt5O8=~I%zhE&bzY42p1Y=Gi9liRdj%54^_nLObdTO>hx(um; zibN5@sP1f~R#@#0W0-GKFlkIqpl$)(*0N+siiUysQhVGWYlSB99#^J;qC;DmL@L)G zNipH{cQSH5;*>UYBA&_)gZ`!x+|5QBWu*s8f^`JClXw3>z8gQu980ROk0>pBDf!vR zS6u)Hn(M2)VU%&0&qQj2m2VobWj^1wuu}yLH6u#Qvd%}~{kQ@fI^RdQ#paU@6PkKQ zN}Z(&03{qvc!1($+ec$>tkLwS%`0cKK$U0TS}H8L z4fUpZ3tI__M^yQu8fV6Fqmb|(vNCpH7G7j%aq!tZX95mc`H9LPHB0|nOC`bZ;U567 zG#{>-9^L1HC?I^QD=@MtbSckvBSblGU=vxIOK|l${c<%4XNanLUKg^|9@H=TIQ*Es z)4(n8sS$NMajgOV2)(97y!Xzc>URUFSPZs8gLJP)xpC_ewxyc{6s;q_*AiIn(KCa= z%>0g#oZ{JqNuu^rDTDp&l(hK>%>bA?(?|YgNJ*zr)cktMy~gTVd{!!qe1*~(r}%~y z_BZc}8x~%hC82$aLDDQUpb*DtY}~Z;j^F+o#+D0Ye#g@cW8d#~r7}#o&?cUv4)w3t z2db1ux5x=_WQ}TNo^J?lNBvwj#6?)+{=9&gzh z)*5Tu1;cIs-XcyqOL>W@iRTp_cyE7LRob0dr&ZC6As80|I7RNMIBbwD8u1<$+vuEr zB}jaY6i!v4j`)7C*(STbkAf>EjQDg5n4!aK=`Y)wDqC~6;7cnH?2%Oi!8^YAbNM-t zFH~{meF#}+0|O9I@jv1%LUrI-nf+|^u(`2VPs%3>Y?@3V`uyMq&?i; z{u=cym~I}|a2~mC=Yv2hQF_Zal$Y{eNT1o$p+=@;>GNJ;A=#c=1kvLrvoE%u^E*_J zwFPMh;$oOV8Uz6Mx`}ro40+K;g>}bR^VKp_ZL=yVTRJLs7&6E+#{g`daP!CXPy$4> z4y4HG*VFZs&TX(KjD$70@oP=wrH0P0?t_0-kOxu)3@RsOgSn%!2}37t(e@|j&XgA3 z(w*CsM3?&nH|y^X8>zV$R>~aD1m%R%@$M4s3eW1Y?`eQV#d%Xs?0k(_10yx+zXxYKxU3WWr+G;NUlWRACSam1aQ#QB0bTWdZv@Zo zp~^lNSR;VlaQ8U2z9Uhj?%otS^H2!6kc_iafszsJAm+v}kEyq!4`1ZT#_{NM(3$Y9 zMZnWidsSPr;#-C4ncQVdkOZ>F>}OFPof$*{R87tFka!SPm1sRx0Faj;+Xi`2W$TbSaYhcwLb#{V8J1ahSUJ6!deST>qCQ&CPmF5F?Xz;?kw7p z8YLM^$N3&#ttabaC+<^njGpw6jhiY-kbTEEJXyc`JU4AiqqWbnosFGzmv5LYa~QfY zom098o`ELPL6-8SyRP6aPtrEx$!NmX(KUwiwUg#s5_^}>CI`Pj539E>mj0l|wL{x% zOEmLu`9t_l&!%ii z>rY-B=K9TGnIo;pH7$hL$~0KW5ZdKoSfsT%)$l*@^E!>+VaPLYA1Qqx1bVM{lW)AL z!!WaFFb7}xc{9~q*%f~ljr7;Qf9L7sHNgQa$G0R*u?~EnRXVN?z097<2YWQRO#fiX z_G7Tf{#jn(X8ugS4KDe39CnV95+SDp#-lSlgzH-fmIrmZR$f~phan>uzwgP{=`g`Q z`eW34tk`c~lXODh@|Zv#RG;x>!eJi5XN_8fztU8&N3hCcu467q4W77!Lta7a^|u=k zyz?O%l$!~&h?sQ{b5>xqeV*7i#Win}=vK{b@p9jikcqHaRiW?pjvd&O1;&^OpQ4VU z!TBbNho#R*4RNO+_QJ3h1tE{_mz3=BdXbMAwfiU=H~ZIF5M@|74I$EIzfa_Hx+rW5 z5&BQP9egMF2Sk%|TUp^&frb$xa(F9XnU5R2zXJZ|%*C}8eSk|1MUmukQYM#vaDAr_ zOLze*+EO0MmEf>bS&GDLao#5Gcb*v05EQ)&4rIi64u{q4yU3fl;clFfzz)Z)mae+T z1q-Uh7DTFIzucR7Tx|V&&$~z)QBs_@F;C?yqpNI+J*R8@1h zqj+0savBSsj>43noC*{lc1GZ(x&YrPY?rmY$~Z~s{^Mc)Duj?pDZmliG9s>N0W)DY zN~d@{_vtURNue<`0wCt3qLm@zVd!nydcevFUUXOi*fqy z&fd%Qyp-fBtt&P&)cZwy^36O;vP!1tqVCo1q1#cFMguzdcRV+~mnRh5yl`H?$-rAl zY=zYE1#o6DOw$WzFc$LxdU%G0o)=4uRDuW-amnlJrR{b6`W<7S89ZUfQ=eT6t>&?2 zX3QjsBG1Zm#2`}wSVq5h6!Oy~xXejOxEa94`7xFzK`I)t5AW^A8OWiy@7g`ym5Ut} zVNDH|uv)+o<8u^?HgF|fB(&ASx@EsaK@Mhp7It5M2@*$049Ic=Vy5aKd8SV)kuO`h z&`gx)fXDeRW8Si=9x62$r~4Piahh-bVt<5}nnDGU_^Bd-Or10~OA3w-E<7uu^GsRQ zSybK@i^2uYi`^SmmddeJ9`0JWhXqVQ(vzg4WBAq7&8_xH35a;`7Ku;1I0YihT+pN62OIE#S*F@>)cMQ!SQ7p0~6El#0oalor~b&4^6*IcBN20b8{Q^czrW;g=L za6J++p2Jm-3!2<$dlILeOP8}^Mw&Q-!>uqYhH>#xj^Yne)@S5SoO=+OyT@XCdB;4o z>vKG@UEo100vd^5DR`x$fwyQ(O(h}&-Cx4ydiuFj-iqD99*sbU|E$bx#@= zU?oFSU3|*#cUOeEY6x5^@G(zO2( zx1mEE_N$ku+bix$MroxeZ9BXMuq2?@QN5azckrz=PVEG1Q<`A8HY2(}D)pV(HsD%| z@@!=U^H@aX(uN$~&%1>*aiu;T_^^Ci3Ir)G{*M!&;yNb(D0eztNPAVr%Ynb3Gf74i zwx#-U;EbIK)`xFrG9%3<^eXc;&u#Mx8I0k5fgG$;Mm1C1M#lTPK7`irkP!RWWU&$Q zQ}s8zPh{I#M*k;dWkiP?XWl&B-`!Np=ahdRzlSDpohQ%)Y*j8lRY4jn6wvq)iXmdj zg!Y#J>VCDpt~OEv{-g1=J$h{^EX;v1`fD+td+UZO5N893DH6e9rO2d$Z;c8bk80_2 z;BxiBnW$or5waqZi+k(K5)O>$XtXEq9av>H&Cv_i6s2qr=>p5Ah*v(^A))XC-8)n)4PutOHpWBkq0(&6XuD$e#_LTH^xUNJpRTu7 zK?6mmB2Jck4?WZ?Oc&dT4$I2zVR^2#k^pjZ7x*srdfc{1OlhCW~GoZWsN9TEq24;~1(LOy1qiM0w2~A_{00 z7-RY7buSo(qUF^4QpO-Z0JklmscJ5pPSIa+$PFn(V3_`vTM7~;de)e!zqag}J#b#j zh-3Fq8fBznyRz?ZyDjgX3X+mJPZgDH4 zwS18d3l$#2iFELdZgeaZd)_kCL{?79mE>|wQT!$_xSZ6r%*yv z``6KhqJpo7OPqS>cyy>4e^bCjgSrO#fOluqTl%^7YI@1V#KY3Y97C%S$f){;{VbW_<*qu3ci_~JYkL)!Bo zht5Hj9&Rm+)k<1YKseLj6oNeqLt)d7m+v&Chz%a_>)E z50gw>0Ut5_`wt=Rp&WCmWND43?tpPm{fKQoSgCB=^pqI_z+iy+>rcP5T7V2Vf*UnZ zl71JkSdkj)#I15p2Aqq7R9G~0=yKov&zIn{nczjGtl`F<+FCTI=nCwA-f36Lm!`yX zP|CCEk`f7h!n3qfH*Q{qKJOu}KCvS?B9C^qH%s!TB!$2rVhUX+8mLyK7QKKX?)~$X zdDwp*M#YS*fM)|I`YV2v0kf`x`a=>kBYjx}W(>0IGL~56(d{bmnvGkLyF70#%P1Y$ z;+4zC0yXtG7yJ%Si)FJL)^+@Oc2U*0Jfam*zWz`m*j(A2X2eTxjqhm%KJ@*;1(OWV zYN2;lpx^_$J?n=%q6hHf;T8q#TIXIRz-L?;!b1@~VAKsF#yp+K@l&HtT>(o&FDCCc zM-I2WkB!#;S>}z=+~q#R275)R<>qE*h4LYJ^H9Q`@QPNohvf9%MFP6|n)SGhTH832 zc&-QP#L1=d!>GhI)VKrXZUvTg8kr^<4x9Jvb2&zC$Y)LZ(QEwos>wMv6!g)P#COdhP!hDuL_#UXrcp=_d!zJ;=&dLg;HdcIs z)_h;iZdI}|ZELqT#aNDWv5A)>nqUVIym<(P*RYQN&j=0Wt_g$)#p@wH%a3A~#`Taj z2v;{UC|98Zw>xa1PNt%$JkSawsY(LLTQnXqK>25`4Be7Jzpuh>LPR~~9et-8|G~Ht zo8U~-t~76`WQ2a*woA| z0LzY?o7YyImk;MGzPUDMms5Qx9w{&S4#05^a}OS|zFR#7Wx#S9>U<0!h;3fF1 z7DQin(%az^chqGgR`6Ys*i+5TfT<2^_wceDr7tijkYcNy3Y<84MLrFW`r!8syq%*< znfj-Nr(uaFxws19U6Y&mMpGrvMLf7_Mg2SFO<}#90n?RWr7XZnc}7%CF(~feU%C60 zIi4=z05;A|{zy0Z^=H!lLGI=ufP0O>imd*nZ7fG@>Nc;@GoXve^~uK=e?akikCDHf z=1QSu!qn{>OV$d;po~B_IGke(1D1>}HJ@Oq&Y-}n48(adUQCnhUFoP+i7k#_~AWx2-Yj9BR;00P8k&q=mo zp3NINm;cWi;%6cy<->6v)ymaX45JC5W0Ei zTWm^+Q6s!yYO9St1t*@9Ds<-o_9ZtsCb$w5ER@cu^0tByX%-A6DMS_A^g#_8+P~Td z0gHE&JlHODmh7F|U`bg4)|B4byZS$~%JbJyJCY-xnZ{&27}WflfJzyLm8$RiDE+hO zhl^{99-Ly-bAGY8=QfI(juhGswc%rlP2vnXxanuK_SKA^16uA%^Mij0bX;Sswm;zz zWA`FK3$%{LsLro>mcEL9jkyboBxxhv_-XJAL9c}ZsPh^WnB(eUrjMt%a^#d02eKmq>X5Zfy>dKWtN^Rj&6=|9-WEEiQmeG43ZTw%aY2I9>lcz=xb z;*zLYy=|FaF8WQ%`EM8bMyv$x&b6))PfMswWL0vc=~o9n7s^=mD%|v#CR%Q&<}pOK zsh<`(2;<_BSVnG12&H*Ko!DDteI`yIN?HhS^#igp;n#dHlakol}RsegX24-vNQ-QhdQZ`;XlG>ldBvK+O`QUzdKQ(;> z4br&%D_b)rK$0yfVs*bnK6{)g8Nt%C701%UmY@0pU~y(hU{@!$S*Jd z{ph*)Uw4{B0mb_+L3xx+cdoX0ClY#~uX!>Q*NDVr*$&Po#z>dl1dF0K+t~!>fmCK; z>HxeE>uVMXZ4K;YUriSSr5ugc?4Vra2ZlSP78>s^U<*BeM`UQi*=T?T@@ta&_UH@s#9Afvap#;XR_J_*vZ34X=KQQErKKY4eCC z0G}cE&$=Ih+{0yaIsZ5vimOO^(s+B%mMz*lJ1b$=Fn+E0tGI|J(z`kmow~WAaS7jd ziLA<>d7+CbkK)0<`D*d3Jk$Hwvd;_)XoFdVfIw3z;)z>cT-co9w4T9~(SlMS%O)2f ze_<+>3^TiDX{lF;@Ehb+TTvmqM?qx;gpZdva?hKJL3p6+ZI^t?7fv!IbU}StYZ5fC8n18(w$`KblC+2cgI!BCj#2o6y9Fc z{RSeWCd>PInYTah+7@7*vo4l`HkLx|JNB!z_m&i+ZSNs#-QJT{zL>%6{gxHq;!--v z=~J_|hzUk6uthm~2vuyrMW9u{hUFTB zE3((@pvGd#SGZPDJt7Erc|*eWRO4QHs8#56b6~9)*Ts0Fhv>Asvh21&oN{RfsVi>kUv* zJ3jAV6*Ht}DUUL((r$RfCP#vw0R-P0+xyrBH;^&V7+Yt_-?Pb3PQ%cBAIsSZ)9Y`W z73_QDht3>R890AY-{vpvF4_(G5qZ?_Spo@h<4s(~({uEV8MhRDVmiU8v99h%sOFQ# zCtn%`z!0gRXvrGFtv2kB#CJa>9}eT=&FtJ_Z~A$B#soFMs8BRve92m(0ZbqKEX@ki zP!R^%M6EW>u>D4T<8WraqEVwXd|uxJ=s%R@6;*cTmA{ z%IIkLXC8Fs)T*$ARG2ZuK4CD{B83>H)9VGmzY;{Yw6@UnOh@|c1WIY51RI*s31tjg zI}-abpqJ2Xze02S4CUHX0Jl^9MOA-QQQ8-<;&{Cc1@s|!GE(MH#wen_^+Z%?V;gl~ zS#2|tmNw@!cb2ks%JNT9mvfoSi)D0YQ>;3;m%gNRpMr zmiO9b31l0FlD7D#GS;o*XgBjDSY&K8u|2V2Fifqa@h+``QP`1M+W^EMNdpP9&s#Q( zT4CuHtwCXe@Lyhx(k%B5axSf$lJy(Po)HehTeHrel_kzbj^4hnzk&=!_L}O$UuSZ9 zB7{Kd^a8G-lB+mO0NM+nVsZN$#Qo~G&{bCb!up`-l5)(hCaiW=a!T{$b`%m1>fUvP z(^A5y9O>xbM90b2|8lh?EU(0<`;GOm%s66VUtqkf=|J`DURtf7W(xWg8zD( ze1anEmQtnTsy42IGC025&04Poq>E^536t_;a*TwQ@H;ErizFkD4*HTd53u{IDH?|K zXBRdN&`H1YWB09L{)bovDK|wzi@?j;?0%x~KLuC0;yVp>A#- z>Uvt*aPw$uuUhf&^4G8Q(6qW4Jg<^(H$C3$jApj*=uvYw_>p71E4Bs%@?Csweq|@g zD#P%t>Ywc^v;t7z@4R_&@lHpaj|863Op+c(o{l@LbJIKyvbYU4)ihTOqMTW~r3@Do zH}dT&zbZm6^XZWjR9(4rwof$KulVA+K6wyYR+~cUwdhwLrtoq?zY5we8hkhX z>fUSTH|Cz4e&f-ZFydFMRW(4U&rN-IS<_~IaqdUoe*rujWac|>I>u`nju&d0K5IVf z<`VAFw9$vC8*CphWt?&w_@g!!9ba(~iuaR2VE5R7#5e`=GQxP{ehEa}P?1B_{mO$H z<@~jX*baf}-#?_}LFno)(xHQB#r#VmHRM-C{;XO+Upp|Pu$PSP3v9npov};2BrqNn zX1O`3fd#;2E|M{8SVt^)Hwu^$VF0TL2PMS$3^y)x7uL#z2R2pm*BN_O=i{xH`TcFj z1fcWl3|1Yc$Z<3-p^zpOKbPbw86Es~a>ROY3m6WLKHR9nIXl+r6#Y+82G}mx5&Gb9 zh|#rejK*6}u=F;^NVCK?hdAEpJ9_YYkDU=lDIb6w-fH|`T=RizRzPhR7V=y2Ez^ct z`g8K$#y;3y^GLY7E9p|MBS8HGN11_)$y?_I(?bZC$iH+^n$kj|JXK{jq+( zCSa!44frP@)yHd%^fAx;QmlF-Jrk(^8{Y4f^rd)VCv~}xAseDM3f3=O^o9n7qxWRu z=kycm+vXyFeV&rR_xcHnjz$Yb1JTvm{{3PxJ5H2eD|r8CXk8lV6T?9+hdKCj zS`(|Tp6rk}tsnQ~Ha*KWNWa_9gEBJoAImG8W#Bl}zMC~uYrfNu7E?n}V7Qj^+B^WLJq9VeUa zd){RCa)!UF_VFfChkW0nbLFY%RKDeTAB=+cD3nauSqb)MMD9{NtibKlK5NH*39n0^ zQGN+SlP7j4f|?tKOm4^;oa}pvU2O&AX3qQ9reMH)pHsP&d!8BV`To_(;={Yb%H>Mz zR(aeCKx|P(_fqb&#%Z9&*SSyVyjUygklDfZ({^T1sexa|31xiAnP+m67D|JJ9xDw4 z6jQoh@)Rj#EXp78Qn+RT6~#ZQ4fQW_9A?Dvh6II$RlIEppU@escu9e*|;FpHH0MSnM413RP^K*$5~>R|*>1eAaqRX=5jAO?kzuVcwu zBhDzq&3T=~t|Vn4>BF(>Lwkq^UC`uCOiVHS$C^}^P?l5{k)9;%+;4MpS;$JZeXb(x zBMu}nj!6QsD8Q~A&w=ek@Mvz$IC{FOZ8GV++oC&V=kv`OPRzaj3@DQV#IM>P> zU}d}>a6F6l<__^CA|3TwHHgKkF~BSQVkkToK#*e2OvS1Jpv;>Zb~0itMPqP|dHq>s ziET67Ts2Yy8VWuEF)+A+@-}8vqdO5bsqMrQG`;9d#Q%65jbKLI9OX^_lITVMAjyj{ z{d3{oen%>uW}0gRptLg%eH%Sf=5fNWt`2y++1+z$*MnH{#5^h4!3nbm^7)oMuSr$e zek|ML-?mGAN2x4jet{u-a5Dc7zS;jz-yDpL|K%IdXO}5}*nN+-E?ji5nY_^rzIGx)PPf^$uw#m2sKj=dTWYImX}#Sowd$Lqdc%4_ zPx&vP&`y7&R+1n8IU0}rVL`&ja+pKvN5{_tnk-Wm-K0T@Xa_GPpX@Grbu19&!3q=pv6IlN=sJ)n-*IDg3dza z1qNr|E`aBCHngX$i2Tyh)#5cZ$HkgD25pmGg{USy$jb6}7fXH81w!gZu+t+h0t<^Y z@N$?m_z@V;u#%0ESFj;738Bb)+&SwIC?N?wSRE*7$Q~ERJXD63iFRGEQi2$2DGRs^ z{4cC>le92@Sl)&#ZKNN=SaJ?DeD|u&!4E#@;vSpDP~{v$jE^IkKY#iB06JLF~{BmsnqV7vUAT#=K&_Iqx z?+EwaauJF3UzD|GtS%HhTna)+css>I;*d^f3RZgSfd_bY`LU4S+4KJ=b+iB7`hQdR zdTm3fxM!SI?Q=)m27dX97CV*J*OGrt zQy$`DnJr%YD_04R-$lvZ)@w7UH)ZSD|6R%rLZLoc?*ML7FLLkOt*F&YuGO56sW@`7 zD}0pBwaw%Po6DZ=!B@(Rj~iBAip~~mUN^vtGzXyMDz3`WenT^765x3r?~d4;jtlr5 z2K5RH7;8My0}wQwFeUQBmmwv-%B||E!FDsg-&c78rv~jR&D;ts8IO(t7pphlvh$~_ zLU-zeW&jeKs(Pn#Z|z2%{kBfstXDa@X*;ZrHemgScNac=JJjJB7rvQU3TPElD(oZ- za8&WXq6f$U6ET6XC!!V0pAsyl18o2$0XyVuSA@daJlbLaRZJR9DQ6CwhWm?IX^asG z2+PZa>v?pRM7Y<8{%?jqaFg{Ir9dY=V=JUKK-eq%!fEK&&)=jI)ev;B~*0QmBpm5M(kfG5P)Tas4N{y-55gk{Kp!r#QT<+WRFa%4o)-W%|$4?o5E6Ra6 zW~UqEa44QcJI>nYr*bg;^D=C%!t;=;UdiwK;^5e>QyX-~1M8xE12@?EtLMAKbw#@3 z+Dqj&*S>Y)Gki%I>jSI|#i{i__~!gSegEI3{6DoS|BG+gPTikYWn{98V`f;LAOF8v z6}=78j-|6Pyv~LH_Pqk3uKwd2z6S65zkK_7cPYmTtJ`jt)!fV0TV~#dByiY1x>am) zoqtQxJg+sS{`fvOfA*e_4b86~2=>DUgwIU9h(T>{Q2{T4DP(<2z>SnxUnjLMX`$5F zop*5yyfLMDd9m@rtZ~@#dcd85MF68zbd-zr?wPw1A}DnE^2c1&Sw8F5X_TF!bo0av za9ejml_2~#aMcwIO;CGz-|r(r!T$!nuFR3~?C0)a^=4ZW`#f{qtxN={jXo*wSi^hQ zJq*!(KMVY`EZs~wVY;*Smg`QQl92kz#gVVWJ2Eginc&a1mk{77=wFYTnS^hcHVFwi z$9M2smI-JyOd5z5C_LX|I@%?$1br2qHb1EdY3MWxC=oX;fp)5G^tGhBI~;elZ$-ptuJ< zUM#Ggv)rn~V#^Y9Lq1RGaPAh2aV}5xB4=@lVq}9x7*@qN)c_vX$LqKM3;0$5{~WS0 zAB`h8+_J+AqTfFSr=8HlbQx&4Wddl6#`-MGNz0*$EMvat-+|znj&$esG=2GfcYTaZ z&%u5TY1S*uB=;$}GkGkJI-~NRJ-2-_#VL+6U;w3=KYZoK{q3?aw{SXC&O=>$+I-$E46=(yYOH@ zA@`UQPi2fo$~hd*nit4z&mc5QZ0%eeMX6-p&Y!snp#o6JRxhsxVnRTHaB+Q(xgj_r z0?BBNE&Ewf!VO}=Rd&M1NC!v~sgQ@1!l4J0s?+LZV8)6Jw9*5TCJXe;CaFhAlOUsq zgt8qb1-}2TBtnN4Ux-O41w($mL^cLZ#rpP#>_W(+jq;4Y3|p zCmUezmVr1QxM(!Z{8Jx@=Te9$f-xZjl0=w`Ea-kIl(Y%TDA8!d12>520X2l^fOnFv znb)C;NMvh(Ll;dS_-9yY(sQiN3YXSqqx|=SB4aUr0A{1Ug zZDUq~+86AaQ)4;L`weC{iZx0z1lt^1=IB6J0edRBI{|vgI0Q`vp+w|5NY$9YgP=+^ z1ahDRND`(6k&!TEM7yfPUi{rhTfawm_-jm2u>w3M;xBnWaQ0f?{c)5&^Ox6`-}DQU zx7yLZDN`=o5YYSAdtc+WQlVq|_TLSvO*0qmd0W9&u1&j>mV$N8Mf7|(x4LGO_SG@4 zO{Wgo6Lx6m``HEia4E`9#Eu&UKKpBmO{2*qfE_}9BTv$yt#V{scO($*T(tKhuWxOQ z@bkAUyYa6Hg^eVarX#_}rYXZYVY|ZpHr?agngQi@BEV`$17tx?l@9_NFO$Qv+pyMo zE8NpcR+25XxNR>T2ke7u>#iDTzd8~A@}f86A-?oHU5W>#eo&32$D6abO?K<1`#QN1 z0Q+GY_$o#I3$mgc>G^w`senD5*Z%x0k1`Np1=nYNLGp=%B7ClA?v0qz%Odtg@n-iE zKk5w-eM>1aL1~fMgtmE!i^!(ZY;DHi9kL3q%NuhV_31d<4E;vX`0KOKezL}Kt0h!? zi)D-b=OgQUb{)*He8eFd72wO~?>4|2Fp9-buz3jL$C^ubzuI7;DHRCf7oU2+WR#WK zgmy<}{wmAl#q~YTM@E_Fi|+=h4nnDsM|MdmQMHWc`g)tHU;l~q`vN&?PWX^Evzk1y z(zakZ(rg%(%}qEKQI#G~%f*#elG6+~B+d<aKPlvJMMu1?p(H=qFvlSjlCKalDu+aC2f{Im`R1U3OtZ&GruR!MESy00`=YVjq%F zo_N&r+mJyioJwBA-^y0_yYCO|4VuT4RH7v|VjMxq<*Gh$^n5D#=r8(r1v2US9G082L8kyVX z5Q@_gYc3&jNiNakk|LL69Cv?Lu z<(g=}+}Q5o(%-1WlgFvV=Xo$%JxuOm)z4__n-6INojs%7hy3ug%%~YPeCBZCizE;y z-mc*=pnst+Q6{0qO?jDD184YJASZgP-+9cW*IcO+xD`D~anC)FkZB8CfiBL4up}m_ z`h-JX^2##m#p3uh^V++KZ2~Q7i?MHgXwp)Evxkjey+Iz2-Rq|w=SMT|Pi{&ani5{L zF(mZl=Fx+5t86nXGAUX`vt<>T&!$@J4+jIKT170u_m;gK&zpGYx=C)oG5}pG)9Mae z4{EwR=kBBXUJ)t$n{2)>C0LkL1~z$fInF};encYtW;y-3Q-g_xTi7XWvp`k5=_iBD zv;C|C_PnAQ)PPkNgprjtcH-x=EHqDXNkqMu(MmbpPT5=+b$$F;WP1jqB1$>wA`hT9 zJiZ&GOg~sZA|GavW{CmLvNzaoE$68Vb3~6%B2Ai;?)pua5beVG8>SfwV@eg(c5HbC zcYX0>NA~5{gx)`$QQ2RZ&$GujR0M8caF zC1YwlQk2A#)h`(g+qHTo>`vvh0gxB+>iDy6J=LVt_++T@+lCi@C*jg}><_|%S{szs zV>HC1^=QFY!kp7)D(7d&dKP8QVe`pW17TiHBL$J8O%T(VHOldXZ`&Qv)z_XVaZ?jk zLhvzAIbB5yHGMKG&X=c-pm5nOaTKF63&2-1*u|c=CDfGwG%s z*rIm$Fk0+;R_BNo*RzGReq^gR;1=^9XvpJLSl~ZpO*pis*NnPj-V1 zkK_D|{W1;Z26Y!w|Ejp)1^A~vhcZ9zeg({%1kG*4%&n26UUOE!5aBp1ie4#GJ2>jl zPX7Z>V~q%ii1vFI*wm~sb_^Gk@uQC5qJ}ux(vNi4K=L1Mu?rug#hFvFY1gqXAP!%h z|6nr`-#SW@njF^%j9ygQ1m7{?Ce=Xzt%`1?AgCRcNdj70EJ1*CAq{#xL&&ZlsX>JT+?ChUaKscU~gOmpE{a%p<-ab$d{_tJU7cl8aULXrX_LWNT}GiTvM{d<;# zBsh53Wq&VVNHGLsAD8&p#6=cBvl7~3L;Htc_rguv(o?}Po1tENmjrZdoMPj23=>(- zRk_`R@_(Vy9FyL&_}-^zuW&xV`RnF#O_?0E(L&r5DXpM%Kfq4zjZyRvJ7bS`uWaMH z`C6_(q2|llilbrY&8X1+@_-*!6|{|6gdy1ry9+>42Z|HZe-CB3a)Be&XDSMaqN?{n z!+%2$Rw$$OT%jIi8l_CLA+m$BDqpd>C_X!XEhl5!WYQQsoPTWOZBQKirN;G+a!2$* zhcMX7T{tSk=~MDZp6_BM-*AHIuBY|r(p$I!pF)<`UM(H;K?Ru^=^D^Fze&{2OGaD* zhB@EU9#xj$C|@WO^m%2k9;~$9I6HOGHPoiGD|zOuCj4lTsKmP2^^|PJ2Z^J+ynNru z9&UNTRrp2ZpqstwPTR$NxJpcN7z?h*pS08j@z2ekfmNUwt|_-&JgfL}X6L)>c~Zsq znCJPac8;yDdA60+N0BdLlTo)+sdylgRy!qypN{rNFiAUX)MC{KKvPdiEPCJ5^h$5# zqz?ACvHI3=YMFU9nobSJGhR>RB|x!?0J@nf($O^S)^U)XV896zD}$FW z>K;>TdPpMQ>Z&^A>wpgGnT<7*e@fwRYDn zF6@dcFAdp|l3%c&>eS^_B0F&Hun8 z$Bc<*6<9yFY7fXCBw0zxjVku7ZLodhEv1kTbg0hWLi6M>&>3F^dzb;JJtX7vYOfhX ziJ@k!7>k9j#K_j zU%sdMzDp{>o|5N1p}nW_D1tIiUij*Okp+Hj09*4s+%L116F&1O&qK5nO=nM6Yc7p6 z11o)3{<^D573zHw)?65Ag4)Qgf&;8nwf=pReStST18#%{T=j;S9L3>GAcqg1aI}W} E50x|AL;wH) delta 45307 zcmY(~Q*fYN&^GE|VspZYlZkEHwr$&aVmq1Gwr$%sCz{w!_WS+2zP;-|>+`O4SFh^6 zR+oO9=Yf-xDTs*CGSacalFcm*ufZ}i6EYCm8(G2f@W9f`nA(}USP(KYvL?;CPy*X( z($1L@$UX1s4#Bj{IZ)tJZw-+&+)_5R(gU5^fBp*0trY|cgeb6mJ#RAej!BdxzUzrB zW?X%}osSB1o5y*vn?L-0rQ_~wlQWKkE5O3gd-_Yph!W@tQ%V}4Ot0;k`*EiAbGJoS z)BPu0_xW85oDfm@_fpgEtz+9hrEfqpY?8Q^g^EHq_2;g_%(?0f+4~+N5wvu7JO!!h zf~P&(X2sO`!1{L6t6MkoC@q^CjWK`B{L}t>L?| zRtBUvgvor=Uq@rlSAJqu>nNa7ABjeaFpA$p`AR$n6+Zgfg}=7?mftzrLFE4f#H)#k zQ%0BUXxX#g_PqqgVaDyvE`b9rMS2Ki$6yylxwhaf;xvwtxyQffHP-h9!b_0|@OcuE zk`AUwe#boHD@SzDhiUJXC2RIB+v)7b&l`C9?9)=}a^S|{;#T2}^c@Z5+xw;d(gerr zX84MU|IFS$EFM8 z?D69G<+X*=a^6?Z8KB^?Ww^Uo_%fL~y;{PAD4O^-Sxq;w6|GQUz&|~l17G}8ENE}P{B>A>>7rhGA$XjW|h{vf-(b zwq`{N!6H2Wbl|fa2Zok3f%t0r`xi`}#026OV_1mmvm;FsDH)FuUDBy7d9Mi$pIsZW zZx=W2wP8GlS-6+Xc{9!yqp$rVJIRZYMp*LmPATS8$fs_!ZX%7DNX8=*&D2nJ7-v%p zn>P=8)Vi;zZEJOVRt6sZtRGX@)3u)w5?n!r%cl*bE^sY|ssMvx6}{67rh&|Vjs~M2 z>9j^MrLWcU3%@h4!%j06L#=Px;dj-f36?V#Cfb_uzc%+ewnbr4M!&eD)Fd!=o)d~k ztO$6T2*dRL?NLDw=sxAsCw1h{V64~UqG7K}8=Fkz8M%M;Si^(Fjyy%HL2i2Re~ARk zG-Lhpv+()M*Vh4Xr$<;=Q#%u97bjCg+yANlC#_gGk`xj#lFoP#@fa95|2Mh*%d-D1 z2^pC=m^qT>U48=|#xACpDRxtlm-w3)jYgX*v9_CRRAnkQn{rew)sfU}c0JcF&u5Ny zyZpYhajYX=6uF$auQT1F#1v`@CEsR7=0DII8(mAx%?u78$28Zl+BqoK*T>c!$LA)& zWNAQho!B^>oD9YD@*6|4tHbk|<8kv4SwO=h^c4mJm zRmtp(l$5L7#9kQ?v0vZiuMaK_42=*9K0R$<)t48x{w*`PL|?1169R;N>v+%%&2^Aq z!ABS@WJg1wDhEy#AdY#obMtdJd3#1CwubQW^$d_3T%hHkC2p}G=Kvnah+7LeCh+HY z=mz^d6AkD?-ZMdBX?bx0@4yAW{8pL=y$Fb9!<3WDy#|4!@J}zyuf8`&%DM!>Y#CXh zBL_fVk~23x5yp1ruNDW6m7lR?`e(-1$JgcucCc^KRRu*Z2spB*5wgE0E=_LBA=lFV zv@+JPJ3mwxb~|Pna<$Bb;j}6Indi1&Yjwl~{DFv&r0(YYQS+-=gQr+bV9>#_p^o*P z0*uR_WNvD1ehBCE?*sNR^OOGet9iEnw_108cX#vX?v5Lv{rM9T&YU8znGzh2dD2|Y z_+)m=470@{8kmkOsxHU(Pd_7YLi_ptz0?kd|80l7tj{d`2{SM^G_$e+ZUDv-Vw~LQ z41CGJf%e$Qme$tWHQPsIQLJ-dV}nY=(E^^%?b|DWYM8nCjRDM;@$+3;h&g6v#?L6Z;jMwSi6?rn zwXb}zjf@ZK5BZ8O$l2c|l%!-HRFn?N$LwfUWXSnmKd%z8U` z*J=7XC+I_!emej44h12d8+qsuNB6d#oj{ODl)Kn{Dz-or^J1u` z>{Jf;$$#rBQSN=O!1jBC(*g+q!+wlJVUk-e?EadXv=OwZXD-LTh^D4G!{`=5k!fk< z8u;+cd!lfiz89zHY!!cCm8*;zJQc755v(5P=PZ`s@@gx^dtv2aS@VTh?~D`AM1zu^ zF%Cb!F(6;|Te7%@3L@Icj9M+Sz5=|rOFRH)ntg<|UjL`?kjrnbhAqQuK zT$ev%Vr(L{^6Z-8r+pK`3#1?CZK~VAMeh6hz(6H@Kim(L#>|&ra>CNY%){&S!=4=$ z@nmeGS>u(eFj#3-P|SEOP(}$KM3BiAuJjK9&%64%Vi}AdOE|9$Ts9i^r5=CFdDBA6|LouvM9`cFb9j`%|JyvfP%cv{hh}H{6t|+{R2F$95D^-Dh zhe1f!#+1-uh8HmCK#zl1=u_6IF1#d`#tdp1F#13|A+BH+mIqkyiw&B#j6lvE2MfwB zILF(CW*l2x4FB8hn*!ag&l@9IS36!;dfYu60D+!_UUP(lf*?=I#d^Ml0ehBLS2<3C#R2ex)0s+mDbxT%GXvOx8X z&6LoY1JoSUB!Rg}p+MDZJT-d~zHP5JV=?uCLeD(%aEcwLE4?X^AE^|f`8u*ny8`Ab zf~-e~|6Y68En)(gkv2H_HqVN-AK+|qZJ#;5C%P`@Cs%mGuR7H(Y=sKl)qEaPD8o3q zzSrD13nlvV1ayyYRg*bo!@oK$pP>tVwT8>4p9?nMxPjr3${09IFVn5Cc{bS2)Y_3h zJ08ycLzR#UVvl2XO?Eo}+I=+^v23p-U^pi~i9&CeAb*sfkX6}5qRkoP~ z(ryb)R7Q`=aXt-HVd6C-C-N z+xAM+h5*R+dZle#*rEM@ixERScDl7^w&Zi+v6=O({Wui|wTN6Xv|$;7B%VBec# zE|;$kk_fBk8@7tf%w(IeT)K}Rt8bABdx=1QhI7h&b<+6ab~W5Ros1a6kE~IDF{dUF ztoi*`lUtB_jLV34|4ny2DSbhjP}>8osaPyTZVNQevo;hmT*87g1aI(1&42rkxa?IK z8Eu8ddS2XFdTW^Z98JtD6f3xl9TnOMJm)Ufwf$=!eNT7!g9Mc_F`Oj+eB^{==+h6Q@Ip zBNVVq%G1+Mu6>9J8mfyy0s5A`n98{CIWHwI^YArw5EE3+h^{m8xF27N zlV79L`QQ>~34gL%XFE!4h-;Tewn0DlWhSb2RMmbWM!4QQNj&(4mz7!F8Q(6QCUu}` zr=rQU;|JDg8jbcRC%->D4p{Gv7JBT&v65T16|J58 zAZAydYQ830&9J>!*Yb&v)Rov{5}q&v{yO_U7VBV9b!#X$i>xOcHB&Yy(ZghLn@i*F z*PCSE3&A30LI^plo6yCt^a!2ax~_##k-K!0K+ zlF{^Xv^n7P0ddu^Zr77qK*TP zIwPeJj6B#-#w!_;U4b;IngA9UC>zhDuRJ9f>A>L9?1X2@^px>4IWsCXefi?yYmO&J ze9XHTo2eA?TP`2rJvZ;QVSlMM70pQ*aGG5U>}MM) z*?o=MVgiIQ#~{2q7J})0H|-WvlC3pA%p|g)D9liG*ET z7Mj2BplIiRej0b}dIR`rQ)#%j+E8pO*tl$p?=fGnLXkVa%_?UcYP9n<^ZYvVg5tRz z1o|AW5z*=PGe-&*SwAl#b{3af{rfC0)mI4#T87N%6Y*o%Xta!1?PXSs;@qs3<LM&;h>)kJ`y%B;rbUV>d)bqpYug@H}o!q48{5hq|tfe#rr8qivE7aBwRy z1!rw1(cybttP_HVR&NN{r6_6s#TCXjBKpi4vVsLSRZBeYiG$}G7XN~%p$8LVVpTY4 zO$rG#$vzrQ13i-+jeW&oHi>Yoiyh+cJrN{YIHoy_hk%#hmmQ|~65MB^;*gDB3J!bi zhCHXDv2uMO8i~*KOS$RkS+yMA1QOnCL)B=$<&9!Dr_#kkf@L8MD_nqINP)?n$ge|(Th zWrJ}tIRh^gC+7?m@@1DFReM+Cyy(359wk*R5r5rbxBiN4MjAou2?o*BIj`4-ynD6= zskmU^faZw#MHCdDvG+#^HIZ$%vY!&4Xk$rDw>`0YbHt%p#mMu!bCu$`lo8ZUn8_L?XJK=5Iey5eQElRQX=L;}TRnMv0{A3ph zG3=*jErj10-!<2m)Z^_DI+1hzg@j{)e)w#j-jTYXwk|UG(`b7C;c+I6=di`%Fo&w- zXFYIv?z6e&C3%42HEOO0IqoQN;KlQ<8U#i$LF2%oBoVyfURK}>cfrdh`!|y?94{>g zKkT!b)#uNtqey%+ZQ)?--oK|W*j@P=Bv{D~Ig#KekwKH7^TxgIECzaCZb|Q0tCSkP z%??DcLla8Qd&LQ%oGoLx*Cki7flP5dk$B)Maj#;~c(c1a4ld$L^$Ag>MgV@ zZ0wy{taf36Iy!(zt`isvLgkXr<1Enak<2tih3ZZ{`O5*6+GCC$!ZU-jBh+e^^0ckL zWl13Ux&LeM?@PQQ`*ZScCn7d#vR#3lgEX!|kX-Y}4+GtH5#6duaJvDvVdY$`IbvWA zWujC6$sX#QdG%<0?OODyH3O#qwN(>kx&LczNAXnWZa1ymwT+c(mP!4pPgYKFpsT%J zFxUneHgS!zQf+X|C7F$zR<~HDN12o~)-;6JorV#Q-4`P_J*XaFl{6U*or zn>iPGka)Ga*5Xr;4-oux&r@>r(ppV?BT{06_Wd5U+=y;z@`QMwD~pb^jikAjr}bD^ z!&$=gb!PTtx6WUdS7<`g7pfZUTqb<{mqvVtGvp?X$KEn~FRqdTN>@ZoFZs)`^5aj?q$*DV|_CJ@y}bEb*)dJ(-f zrT1KAhdx!PPV;iP!6qtn<0jMCW5s?eTf4de_B)7ugOD95`VCaxSs~VW0OoU?>e4bM z0XZM+<*)yyf?z2vn`TNVlG^3S$Qc*$+=SkK$3~A;laJ0}VTDLh8(@@;Lz>WM6I_d% zhYa%^#%bA38_QVwvf{43Ye&(F9sJ0_W%SmvFFEt_HJ_PgI$Iz)Iq5vLzSmlFZf{mmkeV63gP?GOoY4CB*HPyxB*+SB(-Z8_N}B^ z>-I+a{*3G?BAv5w1b`27UG~1Nwd1_?Kh}iU-)^*8#4brkACwacN-kwK6rox)m^If4 zF{-8xD>!pgarXU-*xBVXgYCLGzi+n!%|8cEV3g2)F8b<2zJ9sODCXX*O7Zb~^xiOW zHT^23V`Td0^}y14?;kEnm||pqu}Hu>`fauI!>Qa%d%vp&Hnuep z(+CrfMD5 z(zHspD>nEPyI*G`SA3UCK^V`?ShnKtrz0KW2pI=%pwKMP_wsGAOs%&I_7nYxdLe8e zvY=(AnM;cJhj=FQc{K_ra@U4rF}?1CSz%i7X!Bd3QX7e&`0jlwQwdkNE;_c5iH}c^U69<*%kk!7M75$*}C@Sd{{bg z!KjM;Or!W!v3{cW7AvdgyUj*FAWAvV*)1!lIy4Z9d0Qnw`CHd7VO-N6D&FTS!26&M z82c)~Tc02LwNsZioNchjeKMD7!`R<(x5!i7R6ns&07_&I`EM!bfo!eBD|Ul|UqI&{ ziacwZSh2${T_=H8SjAf8RzF9Ve5AEQsh>9X}9Qv8SPgidbaM}y03I9|n| zfWq-w#Z3ELmTA*7V(0d#=FqgM_4g1Hq^*b7lbJ_-t`TKj$TiCGwbdj6Q^kc95KVyI zZTvPlx`w$)wpF3_!|2Y${hgZ(n`*j;fS7wQXxgf2&HyiZE6R7GmHBNb!i{=X?!cOB zH7oi^LX2Ax_9s&GUqi0BOU%>g_kDQ^u83{Tj*gRCum-FKTT8wfQ?MQj1i(AMPWgSsvMQKmX#gBf(fd4XaHF7ID;P_0K$9~+fQ(7n*#tI&Am+09l7 z9F>`jIkZ}IcYmRwvz7F|u``j^!6)o&NYFcTL3WkfwJ)O|2 zn{I!c6Ln>64_Sw_L?U|qqLVBWKb5xTZwPQg7u6Kc=6mcq>Qmz40_ z-lBQcEp?bEl7E;ZJaQ4-Sxq=L?iJyMq~RPb2jcc4?DVTDe=Xjv0v~FpiW)VT{R;-Y zHkKw7Vcqyq(saXj{yC4C$zJ{Ih5k+G5Z1PXzp1z)3}e>AILk%rhK$Ac;YEy7fLljdZOlZxKT3z~O8Ua<;&+AEHoepIT6wv2 zQ0{AGn$MrAASl^Tyy^D@B zs7ujPEjSEFLQ->XPBHxWTqR^|{FFZHu9>vDmFt;$Q6$#ZUIHJH^u<`PGW$;!@Yc# zXAxTt7j5FPufXFClR}^hn02zBc_kk(30^vJCwc+vke7x^^x=~2k*6sPS%=DR>GZtuKglt zStUlSVc?57oIrDa>Y#nbplWV5O72-Ldyoi<=yD&W^k3}ED3u))$ zmBjgO^Tv7yvlp2FG%iRT6U(uA-XiH!UPRkGA<_6nt( zLabMWP>E;if*68oS5A|4arF_l229zJ>IizETG8*>eB`#8&E{!p&nU@@rz6|)+`xUm zwc;06Pt5rsTVA^Ag%$Q=o$^pa0%z@iBRdfNlLRI;X&RGgYTV( z9^jlR6B6HlrLqn^{_j|4Av-Fq!;YL9_4Xnfeb8QL$ehhPjz=e?KGm|UFwZ~U@sR=O z^ViTwxB|`%xY|1#O|Wtm5f^7eagTq{IcJz5xLA9JCv5jCiX1zJSum0+IQzTQj4Qgo z>Y}qT{5Gc@Vc)~vbQ>S|%dKp*Ceo7V@s5GUfk;#urEWtnmsDe`_vTzTAh|oe8v9ky zH;2Q(8E?=7nM+hWRY2}vv4?}FgAoNNh4#<`x3z+n|Hz7$Oritpvn&|PY!hrR7yb?{ z&M6AD6QW%nqeTbFHy4r3SV2G3kb ziUl$^Xi*?7M_A*YlO6#lU)3DHd5>zFl|Y6G2Rz+sYS74#V*Md>@)g_(xLag=LLGxHYf0x>y# zD%CdnOp7=)5w&>|@`a#$!B;)4NSwSqY`@tupQR!^j5ga)cwt(EstD#!iXCR(Gk&vR zg`L2(s8wuCnduksI!4f1%Ju;=A}Pwi<&%lc7fOgux_T02n91Ue*mNW)U!%_`tpYx& zS57kj^tNS++w437k}VBl-0xzoT%8CP-`5S}XcOUS!_CznE8j{WGgh%?X$W z_h|&RexPxGV<|jd`d`7B;#)rRikOFG-syBq5soY(Ln@kzkdZf83s`{pvP@q|@i^aoV3tLf{cqNu{;M^L8Te7gQ#i5$)oEruj4d&Cj_ zIl8Xm6xO0Mie8(b>aK2$H%5vhPnSg-wGOfWM3j1bzw$bpSvP=uHq0kk%DeE(OExI> zj0Tr&hNwq>#)E0JGR}AsDjjKKG~vJBInzvKZyTw^t>@N{`*&B^d|r&Ao0H+LrR-4*Qi(Q7#(J=|huVQbvX8$cK?A9M~8kX1u%VF4YL2%?$Oo zIv%N&QbQwjzydJ%D+Ljw3r$!mO5Me&OOY8%iX{KDhMEfv5a94Yf@th;k{1ENX9NJB6r7jDg66DR;<5yYg&@iy8}o)q+5$ayt<5XyEnL4Gb<~) z^jAcSNZ^B8B*WR=O0sm+X=g$vV|m{|%#1+cx1j0moqVNo?i%2egDR}vjVVwCt+D4E zpqI=UD5$Pu`Gz-!aFd>Nh@(O3ug@dXy*Xh0`HL%UPkVu1*j$UjDk-qG|3l&~1)lW$ zvS#=8(+SwyE{zul7f1PRYV`dw4`WQQF3*4c5H#p+L(E59jzOdk*O_ZNgZY(!fWNNV zlr*d-ZbR`LVfuucIbL!HRwPO)Tu&2`n>2VN&L;#RamraMi@^QkR9|BRoZROGEV4)h9>*MegJ~ema6e3RPQ8? zuod``;U1?-a%fMt0Y^KrizP{2t9ZD)-8qJa0;fztUJ)r9rQdqe1e4mD3UV4^sHlqE zv)tj@Th%l%7cj&t0XkP8ch+koq5GgUGZ7vz+jL8j!F6E>hhUvpGzfFRCnnn=hQwT8 zZK8ayW6qiFq>ODJs2s2PozPCQC~~F^H3=*WAuL~g#L8U$TZFZDqUhgHowW?5)39@v zhRODE!qmtMNpjg9>Sunx%m@6=DJsn(yKDc}vbz$M^lz^7|E@_IS0+c^m+jlMxXM3@ zx_~fmo=;2RfRcm{a!9` zeVwUe(HY&!DBoe7Mp0ugch*n6wqS0C5)oaY>WTBQ<2oHTkFSFrtl0kKTI|slYxN^F z1cG9aFrDyQ-}0|@|Iau+iW)$AXw@k45T{3X&N$2pm5V8L%m%qbXFUeGz+4&>HdA<{ zx5reh=>By)-5}kPiRpNVfsSg|MS)O&sYw0nRj!8)T?C3TH$LaoWStJ&C@L0mWkxm= zRseaMFA`SqmT|I6ci3B-{LbV;IPqXmVb_33PC#3f^3iyk`M-UgAU*ITQ+H46j(WLD z89zV2On>WV4o@+p>rlnwoyJZ526m_?UW3W_-ORLlQPh~ogaVgOXS!SIl!bijlK6?8 zTSN@@v-(G_JddvG+~ody-x3&qr$S|F1Q@@O2-1Cf`|SFDBxZG~1XQG9%i?U^3>D?V z3achwpHCg-tB*D2eiGoSX508L{g)nTS|q8FEk?zt?w*>5gh~Q%*GLb>!Ea6D1?yHw znoExx9*czNFbOHYbKm5pXB#w#iQd0_m5MaVwk`j2R>rukVYm{8@hZ`{q7?<+RFx2~ z$JGf6$^sDv1V(t@)|*G4&Muepf-aDQ(cHWyzc1BDz^3!4!y0HPQQh$N)>;8(FT7s+Qdwtx!0Ua0Cq=dL`t zcO$7S`2^ng69MWZLRnkb+q3sVVNpkNyOi$#yiD?o^28*2Gp7((stA+K*YmmLb*2T3 zwi=$4pyLE2a}t{*KvF>O^+iSYlr}METw6qs0TW6zp>m-nbO5*0F9X#rRT_6xq!hp$m{{k5~MqtjU-sFJs zF+Yau6H|4`cm7a!1{bciX5v))$6MljjvJwgraX&dh*>KeOn>BEk(yGaoydNJEX*zK zu8VB=-oIDhP8D?74$11t#u=F_g<)ALS9(}~@H@3sl+YH6*9KR^Lio9`JSBN z#^(iPv8fESn3_?cqW-O7J>5uu9=%R&IriawmQat;Wryne{u<2A3HsZ#`hotka~IzE z1FsL9P>3k&o7HS%hXSBw!|HUozEG+0M_)hi1>o+SJUQSH7i`({?~NG zEh5VmekD4${H|QDe#Hh$PjOh1U5!U24 z0LEf_-G8tyl8voSfL;o9iW7n2D%cjrUR{}#{MkyodMeDBrH5BeTo~p!6GR_5vd%g= zbgzO>J>K^|VK!}3Oc_nXj);RMPoIS}fD`9ctCAgj#eYP0G?ziZ%8~)Z!+r)e7`m<}GYFAX0%*DXrug6XZYsDoa0<@=Ne4Q_YL4$Fw;o2D|d-WEj z^(`0ClID*JH-oh)5r4zv(1oL6=Hw4LOmgh7Q2!;>Uum~!l&7-=DVW&?W9Z{V0OAlm zj;Aue2>l6IOrCWCrTfIfaC7k^H)MKdp6rUmxMb%k1m@%kM8TKd5%$^Zhb`joAn|+b zal7?t%$97~;|NMN*(l247Te{97T73LyuP+9{P;heUdhw4mubq4#oW+WHZEg1Yk$HB z2ct+YFs0RUgtk=c$tC^SI3Jg>0Y1`NGS1F?{XEK=@)8RLqN}DT@4LZN(AP`{;#ps^ z0%z_*4-e}a(!@zp=5V;(;vuJqJcT`_W==8-z4-dq>F(7!YvG^gc^Ar)Z%69n*VsyH zS5KJ!C131yuBn0-gXL3F3!P(q(>uCZxm)mrZ5KT7_;TDJ7+m9IHTa8;KpvEu`)&?b z^F=IdOpY9$kObxRKQKKb`KvU)1PxfInGCJr?1uoV{+}I815gEQI-SA!&Hk8*3Y}_3 z5>X|i*q!O)ajW}+WA_IlyyV0zg6)xPAT z_na<83{(Okc_)|-m+18>(XgHahOX&bsmUdLkx~X40X;E;^44(X2AK_kKVl=YR!hHW zq)?jf;Az&%8)$AXm|PPx*qAJ;Vs2P&F_U57#G+FZzu#>?Vm`nmTcHHkZOy+6y6B;#6z+flmergwy|`7B z7g#g(tOh*!T)sIE;Xm;rd9KPcrZ^x@)^+z{Y;kc8cXv>z0=|mq)T%N3ny(QP7zD1{ zF4)m!Vbys%LTODX{@a@~pSGFk1dqJ%nF!G^6%!vL80`rS=-Cvje*iJ2y}=tda#p zxbDAMLxqzO0jtdC_-EfzT+h~IX2tM&qT_Pj!!x~Zc+_=pJab{HmbfkocFAz6_hdN$ zY7_6|%-lI2eC4^SWqg=GarQQPJOLXO4N@?Wb41>nQlBF4)?A>9fGx`hD&xN%yDCX@ zia27Gg)&Ix79WqBn*7|pQ&F;D1Td~CuNyGUKX)jA{_nPaln^za&qJETc|=;BwKU1L z_Y1w$xrzs=NG5h=<8Bz?b#D7z^YKX4hTRv@fl_I*3^LIXgXtL{j5SL4g%gS0L>vW+ zQK2jtR+)6_)gdt-X}1_>`H93gHpfU);QKBh!J1AZq4A*=mtJ?^7mNAUU>J{2J)%Wg zu>llNQtwA^#Y+;}W5$Hl+rJPOozCBDqvTxp{G%acu&-d&F#3fI_TXOlF3(jeTZzrU z#R8&T7RIy!=#=wpiEq7is{oHDo29YZSgqJ*9H9xSu5rEXl92vc(e5JzKK8lw5@&H$ z>ciiocM-dX))6dOsL`dGsYC8XMq*t|pyCG5W6LjvG4Sc)b48r1>^9}PXMb}3RCDMt zQglToN`Bk^$^d!6KM{5=9kV1SDn&Y<>Cj> zd@UPRQmeed&ku|2lJA=+6?eTMY;275m+Atirai68)y?h(FFvj``CD~Rs^9CHrbO+} z2!b=zANJSCAjDX+8=2iB7Mi|Z26EBRalOB80(N~%P1!FPnn_E;A;j7_@MsVLtN4f& z=GPPzzUuF5xim`Lf|70iZZB)ko?y8^I_n1R<;GB(#}p@#bchR8XI}j zywJdgAc!M;xbibvbqd@zo7M|po|xbOBIlQt(jSgPdhvWym!GG$YR@u;u}CGLHC+wl z8JU6D@DF6C=qC!$il7u}|1jP-B<@iqR=HjolQq=RhV*<*B6ZMfGaPcf$**;=Kc=}i z9(p|Bgd+k9_;ok}9tOh9gES2*`Bjv_0(}4l*3Yh)jLK?M`)OE`w{jt1goS7rKd|dU z?>Ad?H~kK}UTdKO?d_kJmc)X|vLHvgtgRC(MApkUcIba=xHwf@Z*UNSC6WX=0_}fI z2dl|+EhEUZ+URgv9BvhoX3AAN7OpU1ld55<^G}DN@>%N-a(;A={)59V`G;^213U0X zA1{!Wz%A>+qe=?@}9XS8tQapFft1_Ug_zyMWzqRPS^CmQ<7ufNa;q- z+G6H2o_z@QECW3y`fZ*1~AGQA`45SQBudb4l>AS?aIJu@8saq%FTaVkpU9#ngx&7Hho7@0-)exgR@)1< zaJN7?=C0&RsPBOSb+zBYj$*2%8W@_(VaBw85iO zQg|=GRG>%dC;*EGC#!0I51Ndc*zBt1`Q`p^Q#{|AGa@&QyhmAO{LU|vE`dw*Zbvuy8uM>2o_)_NXeo$Gy?~hofR- znup~0Yu>-tupSE`XLA{TG~z2fR9s}V8uNx{8pLFo*#YlB|N$?Uk;mLwp;y+FsRbjQMlufSD$=0viW0}BkacIq$@>J zR!l_bKW-l6(s~e-J>QGjBYSN zjZkg`Gf{J98`5haf7Czl_{A6Usm{X!5XHsCx)|%bZy#a{qx$E%>m<-2)J@1Yj;_Ay z9wXHqTwBqxC>8C9oMA*0SUo{kW~SI-sNBFwqoMCu5L!wSZvJs&Jd<@@OS}Vxx<=2? zt)tzZ=ecl<`uxK5)`y(Wwci7&?A`GvOGbdVp%{Ahl9)m2$++4~eW!E3jx$pQK&zeN zwrg8bVuwW2i%4z4K;&?V{jw0M3q4KHOdC1u!Xloix1OD!S~z3o3@0F0&R5)qY-yZ; zsb3bn|7n_kr%u!|9`rO3P#y!O_AGYOoXiylgC}D}0r}tij+l8S-Y?!7-7~HuCuTJ5 z!5D?F`)uD$6uU{p@&5Fp7NkE0{y?t%N%eNzc0ft)%y;oYGzv~tCYroXKx7`pWwEiN zPurRxPw@R9>#vC3IjHG4Pyvxn)j(+8^A2sHM7Whz*w_%n$#mFP>G`qXX&73^z6Q#? z><5PJFU6b?N}kF^nPB2SyCB>t9dZ{YIe6|l18;x=dKZo^-1yV;Tydr8q^TWP%6!iB%7Hj2;vde>uaHna3<_BAyXr`voTV!f~R zT%p@634@Vr2@!J%FFSN$6VMdx0?v%gHT=twn~$Y~ELzg^`l1vNk^i zVqs`bZ3M!y4_20m1uh~J4I=X&PXpxSS4w zxUAm(erkE&{KxN92f~%Ek-5;%#N<1|0_Hcu)>s!({B5m9YAbsQ5)JMgV@LK2EXS#jogT?;g; zvA>FUd?Tch&h0hQ2L5N)mKf$3KmK34W@c1n0LsGjpIy@co-Y2gYt{8YL}7DC^*BW< z(25~2Io5YW&xPR(M?$^XD`D^%HZipFqEG!&bbkGDrWzcK!J<<39R=~;nm=$t2%@@m z$?yE$YGra6{e5`zGdey#8@DehB_Re}U~;Jc#q*mF?ZCw7_KRNV3t{MGwy_FyZhinE z?^BZ<{BU>qd-Hxa>8cm#3*W$5$NpyJnh*fjKAg3DNBYmMk(mEy*Al<=K>o99@2}VG z?2L}gjDfnEP0R;~4KkB5P%B1%;p3t#p8wn3AVF=WvXr48zpHLOzLbR6I;;8oNAgOn zv;KP7JL_}Q1DmM@TrcZUcCtH3MotM~=dv>Esc}t$EB$i5$O1sEI#{Y-#jhhzPWr}2 z(Wn@~O9OKqMakM13{?AupmmhDyMTqbHL_i#KYw?A?Tr3z=EJN;t4I0K-m>>MndbI+ zkoR@(bnHf97DHs05AiWh153#c96t9i+5l6Ux^K8K4gM|hT1$#oiOiZF~g`M-b$yK{z)P|w_YfLl+6YQ zrmcX~S;D@{F7Z*ztEsc&{{dJ)r@zxgSp(qa_`gpb^*2fv??AgZ3~NespM#W2!|=t( z<@&HBYn{Hq&l}bZH8y|JXh;6m*{;CJY8Oh$?1^C8P2$GO1l(V;pzo5o@T=yf{DKQ{ zi?D*9iy5j#mKp`U)2BCMus)Wm)_|!8aCc}$VrrY#KjuY<+JMCxF7NotyiTk`3BQ1; z`GO@?xUT26*+-I*+V8=5xwvF5#O3Bxp%L$O;V--eIrlbsCWC)sXwDSr*f*rxuTQx^ zX04^fnHL&b{WPk^Q&0HX*QMAbg;VC1IT|`mw7h010NCE4S+NrM2e#K0%%~x9Uk`|ANJq*-78l%>tce zCrZ%$I(E&Bug{VihVM+V&;XI)V`siEPt=yL3IYdoR8IHDu}rYe4NmKU$YJR9ZduN9 zh}OJZ8>KM(Tt;u2o|Fy;9eO#f?Ep8Y-LWwv$-0K`Cd_}_vf1(FreuHMhR7Rpt#skZ z#JPXN(cD9CwwjhPawWrSjDL3+VHr54f_f&{%=sl6$5s_6!l)6@o-@Q z+t*v%97NVJEHpZOVKhgtW7J#;db9}C(JruUD1Y{IYWAKw%4X8;qawJeH`!mayfz22 z`c`Zx+&Rzo#q$${Kl#rOZn`Zgz3~|hDfM)4qP2f>G^m=f6u2HA;rvq}P9)K8zmbG$ z-30VWc#f3PeSd6H!>y*^5*Y!l9rEh}Bb3m3$tfnuMf!s(s}PUJ;;i~uBXBfgBbD^l zED-o|R<-bJ{iXlUi7X{B8kR%gY{h=`SMV4(v;_y4zyxYaa<;E%t(rLNByo!GrZHMQ z^E7|Q7p1ZzCX=V$oo(f9fYc-S=|LJ<0~8qiesEAsvg; z4(>4cZz@=P!gitzRK$vBLI+_g?4poEtxA8TdHu(cA$ky{ViP*+=Jf(nLc`kPSXM1k zKd#{cWtzYQ_iRUwb~yoQZyQYM9fNbH)}jULpq);kFi7}qEZ?CoypF7DP%I_`F#d!v zhC;HLy>YA5q+_v4twFiK!9fv3v}4FYL8=NSD;2qXH?-kj7bl}ct)vG&tnPVoLX}+l-xJan zTefe8nMgmr#CRE^FI@C6y}eqbiBDU+Qkj_HnVyQ`!15iF0!=}c;dMVW=-6hLbIHchlPt_j8W&=j@ho?-!|Os@g&z zi~Lz2>NFcIDF7~WOH7?^O+gq11yqVXDzXpN(hff<`hFl4$tlITZ=io9stqo`jr2{YB{=EnWI0;m2=7*#wb5kaBA_cDWV}d3I{-&^`Pyp|x=M#Ts(3E`*QqGeq=bJr)#u!B}cWj=Q!K$q}TOx_aRp}w(xXZ_2 z?@AVugugugIJSAZ{a*xHURV4o0{l`GLx0!KS~S~b=9 zV^8M0gfYu3OAUVq9hW(Y99!0YLq$0(O5U1^82gr1B=}&wt`R1rLRTjw_$gM?WCZph zYy(cA%0zcnpYIv9ELPFIrVcC2Tca{|N_ee#Rra zcvsoxFO+C;wu?wwb;IM7pg@$V)kX=vocX6a7n&}cIDdb}oFVo2qp0UwlVbTQV6U@L zxlc$LIz@6qpcTB2@AAwDkD7pN)r)F~k`3W#nIPd*r6s?KlzfK0NrCr7TBs{?3-|r# z*#NARArj-KFYW~0JMOI$qvJ2bZ-$j$zH0OMZse+uCw0>y+W1aH;O{t8JW)I^q0Tqq%(^Ha$ERf_gcrqUor5j&_$He_XFs4N?BzQ7Cz4hC+Y4j0akcNU1W0va&DHy_A&ptpo=a zc{31Y1zc597PaS1MwVl6oy)*)+@8j(-`|!WzHE$~3NHAJ=@lKHae;z9;mO_&D{uijdyL@_Qkq6!*vS38KpxEnm=G|LBHr1dW{g*XQ9Ms2|a1x z{CcrSvz?L0tQi4oYAssEB*0%-M5h+7HTCVItT11o=TH3v%b6YN>G}Rqmi||^g&5b2 zmvi1Gk+RVCJd8EZe0w+o)5SnLRrT8-DlUIq$KiTe_UP|iK9{kBBZhoW5w*}@0`_2T z;pQbw=OKegJv;NAj4<+Vt;s`rR?a`3zXav8_Jy`wTYm%oSdiuz?A6^0S!YGSrmJDx#8}iL#608)L&d;oasS4e9@CoqQ@erd|FPn z)7D*wX#2w@%VxUAqBP5HUHC~&ONvm6`v}yUt-rE`j)z-rd9)jNHNySA%O3_kxoVPd z)(H(cAkkeUH;lbia?_gg$O!1BDqiZJsMRZ8rfS2~F)U=J7KY8kDy}SDC-Q#=ZRCzO zli~TXCWb7zvA|tCOmZ$R3TH{6Tcl^p7*()#O75^YNmRRk9ZFkQmzEx}H|5SA9}3w2 zGh;EdjM>|S9O{gn?zY=}e5S1Fu2UNt=vW__mEJs;?y6{57!>q1(_;7 zE)WXokCZ0;Atmul2gmRCLZyw$maksVW}updbNA=J%kA!iZaN1ir;`0?|X*l(SfnV@$zH8x!KwiaJ8eOiC}p|6JaX8FDgO{xm0 z=W(X6@Evf({7oUO-rHjd>u3vK2va?`u48*W}RKu9%oF;G>PFIgF9H^3Q4 zBtip{aEVOu)?=QF$U| zyOZ~MSHAqo=BxuSHBs7=xV1(`r)-D)A`J=9`x5eE$q36pLqhK#uOy{0gGvQKUo5LK zQ!KF(<%ixkAWD}MzUj}qvXYh=puD%+d_SZ203AkfA+dkf5teA$Ibz@vMvS#-9&l8? zY^H%)cq%6R7z~TYy$Dpzjq341hb1LR908bHs%oqrekqMMQMk9QoN-$aFBDbz7}oi}9c+8v#^oh;|N+ zklG#P@!XO8W(1d7(kon%+$>3(UGh69mxVfGym`3xvC2kyhR6pu*zZhvk9K5sw}~oB zQ1^eW*Y#y>Jzq85N?OJ$@V2ny+__76q>&kGmb{(ZrPicN-PEieS`ly_qu9c8xK=>S zIVNED7*zvYKge28fvt-DSd&w!y&%@Nv||kZSRB;e$1uA`)=iYKt}kkww6(EKs9E7z zzUw;33}|Y1HbktH@;!IT-nsUxDo>eo>gj*=2PYmo=?+xidNnnmB{}Qn2+;yfS?mMg z8LXq6n=u55_N(q1kN2s?YaUguFi~-j&{D$d$3s3(Nq}Q}yKcL}Z?%+S!=PIyAiv5NlSx-bOnNud^RWat?p5 z1*ssBcFOc5lXTq?kUF;)a+V?_HTP5u0WFVcCWPm{Z`Aj8IqmWoWYjqjtbqrT0p8WpI#8P)fsWtJFlA}OX&hGjuv zixT7IRIc1f1{UAo7vdJTE=AS0nSy^)5Kz&h)%6{F?oU0@RiLw{53WzGrA~+ABNS?r zpTeEw7p6-P<*yz=3dt0B(M^ZQiCTQE+_@F8CRM#ofu-7)`s|BYqa(PQxzjfcM3_;z zHNiE%226eEmQqR=JF|{ssU22ADE>Hw`ZvN(SD4XXWEbd6tTxJZ^o}Dm122E-q{uB; zk>v66l?Qi+<8>0@)3#W2Q2AP~^TSWXAgJl*b$(FK#P_Uw77d%2F z_P4jIp}7ZE(cH7uqY@BhuOxrY;49`NJqY>OMv`B%VP*B0wkTHS5_n&|jEGX};=83& zmU-lFmk8LPTNCGHqfP#Yj= z&mW1;@D?A8~}-9CnB!wJeY>%s!vMP28bYE89UBC8MuGq#B*GOt{v6N zg6)A!z@+G#VHntB#0?(hixD|o)EOzVzu&1D6`eK}KQ){rQ;T&=!;wJPjq>@P0;iQ? z5F-iJX;UhR2q*qsF$c-4I)FRxN?fvelRh9SsoC=aIng%-*-Lwy)2g$3XEfa3+ov&^ zPZx@Y@!NFA0h}a4Kc|0!1inIWy#_oF;?sdv5Amtw_=kNiD!f~@t}KxS0kRUzNzBd1 zScX*>Nuy9&#KDS?EoPCNu*UT(Yn2|`VcssON)40Enyd&c1Z)Zz1B|M&8%ca2s;a8v zGLDO4>pfDNxJorAWg2&}WiT%-h8v|~WOa;kbXGvZp+5yZf?0oJVPEuOXo%+Jj!u&R z1=$d#q*$dm27R?stbHrq2skkTqUWNfy={HuK|I2Fsur537GkqFgiX5DJosy7-Hzp3 z&?7$HU};xW#RD~Eq+jbsXwEbf18Z)F?v>bFi18*eGnqUK57 z-J-{K*NRE61;L4F&!9N|CO7W;~OOBlH`>`@#J&a(Jw!fZ?E^^;MUw zi&1n$C(wQE4U;401%`uuDV0*lDvr(^nb2yX0q;+FK|cIABAXiqmtOJ(L$o?-JqZH@ z;b{{b^B#XD*5$Ggxu({4umlTiOtZR5N_vh8x(8yCh~*~#W##a+=UYu|Z*d|xB1oT} zUyWbUpkBew29n?30O8-{90YNl>`KD|;=P0p^HqC2a@4R^M$rcnOLzvHbHt9nFbci} zQjdE~@)}x|DAC~fdO#rXpLU8CXxn7E%B{6}0*ZfiA%mAyDiJF(=wDq?hGPW|Ml8?b zCTX{fZ|3Mav#&cVoxGaK$4CpWx(jDB8;GQxmP_q6@hOp5zWgLn?n`Ert`U@8yCr;q zh-9JujUE{`NlBmABBq>aGP~CEzFh?GX%jw@%CyTp%AI*V*ABtv61-i#v6 z-Zgg&E2*`4;imQcX?{jDgNq|G2zE5f^6{Hz9@-p7)I7e5a2zhN%f@+>bfZ6S0^3<+ ze|4kVT>ZY=W&#eew*ekkvKk6~vEbpi*~EXMfI5-!h=;M^U72aRjzi3=x!Y>sT0e=; zJ1AF5z5O<`qj*MR0*7cqmHkJUXQ#k{_@Sc}QkQ3PZjqk! zcM#=>bYN~P3MDP4lG94G2goSd*hiAN(mqiDc#EO3P3HQXRvcZ_?ODzn4efAV<2rwW zXsAJ9oghlq{zvUuyC0h|EhjLqLr(twkk;cUC?L zg&P3%I}2QxY00}`4Vq4xg?u_kAI*OQCQL7<`TQ%EK3sb)$WI~#C-AqS4^nYs;dtcj zex;QtOgmrArm|jk5l$*(7jH#==tr{o#o@Tqr8bAlJFz_fZ0t|=yK&p=q0`J#=8{HT zTXamX))t8MVk}}4*w?R`1ZqPqxWEKCYy=)QN|3x@%Mq(+h`l&)Yb+y=#Cv}^97kum z#d!MhhRr1NQ&M)?$jrf}N^>+XsPoXaYabPh7t!Ng=s)i9> zL%qPxk(hzZW@&b?-XFfcP=jzD_p5dizl%Kf=0mfLqG@5Spr>l^p3;AAz>&O@EYfB4 zdSPEwx!zh$_QdRM02d+vc+tW-ftyxITvkuo3G{=9+e{&nA>>%6RSt8%B;+t_<$|`* zkA@Y`m3ZU&ahdKKk7=BV%zJ?p4WIqQNjI4@+;2p|M>5cPKA&G73@GX65Ym7=kNthR zAwjGdCn(v-C%sT^sV9F`Tg8RQq@={wQ9zWJGS>%XGTBZ8A@A;ekPuxHPFWdkovPDF zaq;TkIY0Dr*wc3$y83ib^*)`96J=WP)a+%)O-ow^%oKwCUqsrxcMQ#C{GjD<} zZ3Bo)&LV7q6E}ZxBs^BdBq+smRC_6hqu5QH^}QF_l^?R#;j@b01jxw($nS_yw9v9_iYL|d*HNKN*+O8MZG z?HCIxEz#+CvYfSzJv7+FhAPJB4mp5L843PXBG1<@D7lbS}~X zPIQq8vr+h9E$q5yuYnt?wsA`R(ZRA#eYi)XmGFuKM9Dk`(-8^Xy25wR)NO%w-}y0# zpMR!8C}V%3q~TmFFzN=RiCsK3u~w&k;_KyTC}iagZoRHWswuB`)0!2MrLV8P2uT^( zKI&(`^v6<4uP^{(<;ePqw8O&`8JKy|eU~(_S+8`68hnwQPwuBjt5tO6N-E8VSxv_~ zB^R=kbw`Id)TQu{CRl2uR-PMDv#kl(xs9mtiXVSOm+23C6)@~&F{EI{oQN}|d2iLu zFoc?)g{VH>0XWXAs zJ<6F6%fFJ;{gzBuLJYEUddg!x9=*nv2!4N#04bRLdWhg$14FO#aLOX-4>tNdin?(O%|C9y&K1C_&yCV2>i=l!C+kokYTx(y=pjFNX3@h=JCT3! zhf_kp&lG6w;nW|d7sW-WD(b_qZSmamdSLej@lKF~RiI4_BiPYaz}1|RM$aXbo`;Et)X1*nHgH3jx*9I@ganF+w9d0$E+)OmxysIwOw{XBOWSh zT}r@voJ!YW`ip>&xx;#8oV~leco~1FF@8NBe&TLH;np=oMD%7^>(Sr?FWA>TGEZ~ z96|b9$ZSOD+OoCUewiUGCn`@Kp(4Lj20wCpDX|HFq7^Zd%`z4MaW?5mw*oFa%LigR zMnNmrkW#&eJO&{b)Wsq+XF3kry^;8pd@Y4#qUm6dl(_{C-@u1dOUgqy#dfAS9)CSB zHrt2wD_&6+J>@HZNTTf#(l~$TPD4+-WJl4D_!#*DtNdy4h66flVu1kronDMRHicbz zRz4xF1eJAgIrEQ$2<%ylF2TU7X!P!)P3pXd;8jWcmbJUbN0A95G1s#vNMf1}IA6Yz z$Xu+4vn6plQO`%b@5V?AG02V)#ye>QktE!Q&p14cs)PNbE6r{)en@{=E#5y8 zF6U#;6%|Dby{QMywR{B;W7bd2{{WnbJS6pPE!IK2J;%4ER3PHU^z7&E(2Wb2IAa=0 z5e&8~`b%kt?4~p1t@eK?7?29T>z$S3i9$vXwf+Pl2_7TNn60Fud_*HhlTxyrjk+Xw zIpBC%#v#ssbI9@Cz`tttl$q1I&gl`=N-m%^iQmYc8zJL5CNg^63wG zEOB3PieEmhM2C=Hu2bz7oNK>fxoBD@yf zh!KNAN|*K&T(f^}GJgjjh}#t^cC0MXNH(_=QLbW|2OZf*AjmL->O>2AePjN&A0~4} zq9gSMNv|KU(s0Pq9evApHadckoL0S{B2p6;Od3V}X=`w|&OetVDGGuI86sSKir-=Q zIC)|w8!jkU-NbNOTjU{+E-GcJ(s5-Aoxjth%|OcbfPa61lU?|tuWpkiVzXd7c>+Zg z`xS0R3<`UZ#TO_xAiy6%H`DuQL-5 zS>d_q*ZhB~AiTwp5SNH-=*(fY<^&%(4gZ;}M7lp=4IGL~tw=~A*flRO@LH-9F1c>F zZ0$!Zm4s^&h1?1+?jB7q#dV=aW8RVN3q#!z|UrKip@WqWctsmjc!;h#Cq+)-N^0l+Le~x=*cOj!S|<$A-QOM2B!^W872Y z?|py0agd&0eUy1uAY!16_N&hBw*l$c_q-7f*k_<^I6o{ierd~zxUw&L^B!1^XJ*HU27jU{3Kq!O2RGgpqX>L}#&VX{f z`Iru$xnLV5QxD!*mu%QYq$Tmv_(5P1Xu*F(Z3NTLO~UCW=8d@%8Nob$kRyoD5k8!L zTnIOG2}amz0Shij+u6x~QO!GG3<*~cl~5D>L?L;(?S^pAo^`rGUUr$jLkrxIOnn$@ z`4}PiNgs{Dj8-TJ-gPIU2Q$IZ6o*V$x6WW%{hqM*(z1_XQ)6@U<20Q35c7AP?#O@1 zA$oxFs1s5C@~)>&NP%;8UhZ4Dx7d^tdesi%%yToEO$ceR|`7Bj!IS2U)`k==UV5UQ;g3J z{x~&X-E-l31!r>^euK9vCa{+&=T3h&V9a}mD?XQA)S!bYx!_kK(iMh#OGWP@O=8Tm z^<#RHSIQ|Z%Wwd=kQ+QLN>nA?R5*xN4e=zw5kWqER=iK`Q4)H$vSJ}P!k2QkLJ3332#++u^NEwj z%td<*IwqcT9JU4}@DEmCplmCd>JDC=SO3Y1TVm4A8X(RHM{Dv>j>y@A<`G!ECFt`N zNJ?__eCgH{=L!58+7cZ@vtobVjjPN&`~6q7Yq2;=1fDAp%?M%zH{01M(eA?v#}Xzq zn>B5V7omT@P8;-(5b1ATK5)y7q<%t~3F|{6^}#r4_dcslKk_!)c2pDu8%H`Of!4?7 zW0MUUOI~Sy76|Zd5<}gCoL?OfOm(2MfCRYpjU!|cm`sL)b*bncR?2_5$x4aUYW4sM z@BLb|1R>@Q7vs)WcGbk*9nui4YrjaAD1}IYaIN-d{zn(Vv6Nq{yboBevDu_H74K{;REBueYw z`)Wn{lNOGwWOLPS8{GKn9Z6v&y~T@>ZuuhMo_s>!%X5vcA=IdvTA>^P`?&4f`X6$g zF9N^wFngq;<9?C{)+U#kLi5p?zP%@gS{Fh<&5QKJGpAv=hb(_j^}Ns1{6=slMzHY| zAruVStzpqHk7cf&_^#};5IKtT(i&xhr@1P(hOl1FcH35QqFkKQWRmfKHU|xzP?ry4 zbp8U%C*JF7+mt?``PGfS`&S}sCvJAv^UNHrXsf5cdB+!f3v?^Da9dMWv ziGx=0JW_v1r?X(($BDoC$j0hu!9bSSBk?sTiD)&qbOpvyQI8Z3~=*y)`Fbl0FN6ApB|vStz~Ppj8#P6FvZ!Y zjq*MY?3y~geu!>oKxD$h9tj&6x@VA>N>GXf5H9acniZ;@O&(M^lyeo?!!v(t& zJe=RJ?4H1n{Sqr4z)bK%R?tUSs5XhFH zEdGBZA+ONa=U>bRDY$LcsgOKcr|=NtTf2JVUh$99Bi<0a*00Ui!X?CnJnh;gyyxY> z3)TL7CG}3Q+tl*R(qu=*0C+5wHVj95XKWfC6G@NeEln?cLk^ZXu5J1Y7h+PN zeM_b41c-$PZrs?Y8z=wdS&MCWjWEZs&q;q#2+$NbrmGbNV=N6C;)M#XxntTBW+4kf zpS#k6kXa#KW`dQ@8?TzJMR)8s32KMo#NnNNqao(FYpYIGL8=@`IwEdXHGdz3EgiUP zHG_~2*$1Bw-uiek^3+i$u!SL4_k-kjsYcIiXp3IdCUDOSx*zOBjmQm0_!P4)&&Gem zi=xiVgc66Z3hOsr!OEe!2Kb_(+MG55HGf?Wo^RP#;MA|6k#CmBTGBd!y!t^qEQTST zsH{4_ZJ<4Jdaaz`+!DQWWhiUBzH;4@@1nDYog#pnsWalFGE;+h;Yk1bvE(w(^(UZ= zf~?32S2Br*g&vQ5xCKK7dTv03`0Ib;uCa>7gFmK?bN1WGgZ0sMDSbQiJ0srjBNA)T zR2#7Ih1PY3g?tIoD}c{@i?uqsJZAt|E;&tHWp2NaptT?F&XyE9NO(v+Z5T)W@oH+7 z*aTwav@%())OIxfnO5GRaX~0+OyIEWpVM#8X}c(;6dNU?4o%=T-+t^fOr3wsCgPO% z@K~MIRzYq!W2k@7^E~-5_vz#9OQ(eiYCC2=7$y)wFb07MYx~wH%Ql_lJLSs6CLkXB zLe5z7E*aWdM}n}uoL@A3S2D2q0hInJ2flcH0Gpl@hUw52!ia$jin2^m3cK_!ob=0} zi`4)UW4P!~Uj6PauSVEZZq9$kliLn9+5!9)Fe34H2XKtl$#1PFc(QpDuD()QfId`f zTN9Z%C?am_x$iyi{ih#v=Zj*L(L?|>F*>UIxc7HDL=hy|DH8>1Ur-4*vFe3BMQZ@h zjYFrgdQjf?W(brzy|{&IFH&mt7y9I;cS??ZESlA8# zhBrEjX+D24AGL#xRT%m?W-;U`-Oqnt?__&26O)${8*QPl`~t1#b(km?TwayVe*;H1 zhT&OpLX~&EM|tu_sfoXz3qn!txzFjko(TNTk{>LNF)}K#tq6f4%+G|u_bTZ@P1E6b z?&B==I}y>n>q?34X~}=T10a~WX>J#jBpaXQ?ukoGpk=dC*ot=z+7NXkJ zhtcb`s@K~Xf%2gQ(?^wM+?vnYC$v5+6JAS1zi*>h}q)u(^nuRwT7cxfSkJ2nk< zh29oT(MX0F1#4(4`_A=2An2M%>IgnJvVRufs>sJ%oVf=nC3Kds z!F2a`9SjegJnzvmw%5dcp_l8LGhd`QCUg<9iyWqCIZ6cnvGzRiBdewQvF3t}0=6Va zp^^NUUn122ZBo>O5h(r7<5}I3*vxP@=a@^s$=WJ*f~nC_$?_CM1b%2aK5nlMJ* zqxe1(OoB`qH;?G8YH#}Na$qN<067K2ZdRw|r^F=oY^O`x5a>!cFE2X#wV;gg$wv~G zF?aJFhQoEeu(`C~e^B>p&)%7@g{MCZg$pvf*t`18bP#;kA;_l zs*e^N)K@v#WxF%i+;iL)T!_)vWVO&mP@l4~l&zC~MLiVRDv0m0WxEsdFq=wqtIJEy zHhuk)h8mQqOVyox`mNo4w{P3}!cIpJReu^n*Uf)8$*q+#@WnzJcfPTYp~N6%=4#2F`hvn= zk8#LIxw6OtP#F&`GBdhW@LXTabfrNZuXj9^SSKLrBbl{VLC54F9A6|HWg{k>1suUW zTy=k5wK-wiQ+11}*!)t)%yyo>n@Hg5$r(T;-UONBOzw;2upQY$XV{#HP&)O6hP>Bk zQXhizhC4B&oP@bKf;ASGcDiR?2)bI#hh<VA*^8ZV>2O`>TFINa~vLa{)`g-Fql1BaceoYj*cHa6@~-ach$V4EiRri+3(XI;`%ffuL6HI zU~36bXa+rFcOYutIBrlEv;h68K++WM;*uMA3)uWvrrCR|Ik`7F%9q&Sa(ge1*BLD` zVV{A^nhOMwj-xwbfS4*qa#8Tcu%w9Oe3Gb!QeuT#RFjwjMc6A;*4gu@5iYlw0(N$x z@#E^oXv*>Vep1RjBtrJF>d0H&fg68%YJ}#6c2hI4j`T*P?>U|GlW(&Vu0udY)yLP% z(-&x6dHdUzya9R=o_-uIzna4aYa?96_-ks^3EV}x074t)D=Ot_fHndp4-0C;&L1X{ zdwg&x3Ct{2ZuGgP(LTZWE4EojEIm|MPTolD%j_+y*8BbN>ccKR(MtESpQe9`mtxuP za2NjCE*GIXolKfB;+`jdPnHH+hT{i9_5x5a=f8Ea+MmHpG}RIB^~(!L(`bcJDNxo%U-3r zuHJ_S2En#slnkq>!o{P2xdsArv;y_M4EppC_wDqTqL&x4g<1z9&X6V#CCl zg-KQ5g7BO92_R&Q{y`pZV&Spx%IFW`UQq|{DrBm9#dwU3qd!Pl-Tz79Bd?o{Vr?Rk zgIm)git1=eKTK_>AxKo$I0J(GjXLFY`*B(pesnip!1k_+i-&OMqeX0`g#2)l#atl| zm0etdKy|sCn!Mwyhtd8|AMkvajG6xjO)0rO3T19&b98cLVQmU!Ze(v_Y6>-z@gNnG zklPI#IWRRe3NK7$ZfA68GaxVuFHB`_XLM*FIXN(s&vYt(c4br?+LATFAwY1K27PLz53Ly+EsOSomx#r zuB^r+Y7RC9N`dVmOl-`od;mp|ovDknD%egD%q!2N3bb^Qftc6=Ua=3zR8-2IOg;XA zyhb{MEbRf*uRmOYwqOT4pgrW3;(r~e1_S~iRzQFS$QB3?S5nrIQTzy?{ivt`_z1KI zI=wcb>|$yQG6Tqi%z*aJKsta0*a=|!_W@uAwl@cV{b|ja`ISr58DIi%b^w}zUc-Ry zWm>wl3y>3V5|!fd4AU!3q58VfTu? zk|~3oA9Ww@ELU0VBW(XldePZVPmFex-Tk{&PG3 z>=W?cx;Jrfu=V&W8vK{nf7JkjI0J1hn337oUvrv4UUOT5?2%di%!`b@1sK4_`nTQO z#o-^AE70k$3!?oqGjy*-n3#j@Z9M?yKnrAl7DX`RH6?)df2T6@zfa_UgT((9f&VS? z{@=v?SB?JLBmTd>=YOS^aH4m4K=LCmZG7ACfT zub20iUBliS=wu7B2fm8@*ZsZ*v9kUPrfvl?v$6l9#)rQlpuPFO_VB9PUmdXMipxri ze`NR{w(Vce%CA!aQTK2F0{%0TmIB!PzYc$>#Kgev052vsE?xi=J2&g=V|;y%yzHDl z|DUvf5wZRAtY89h0=Wb9SeaQ_*#NJ9-~agh^JMTZG?MmaVDmq7qy{muH-85FLu&AHhsGuJ`g+)4hC&=l>(z@2 z{Hws-ere%byyeD^)gjCclYGyu9t%efPrI`8dm}x#wlv)-z|(wUA4UM61 zy+9VjQq=Tgt!S^adHGFPT`pG5z3p)oRl|};c#_F>4kyI3Uv&PIt_A+s?{6K@e9cnp z;&3|98=x?23XhJd6Aymf(hQ6a4-Ix-!1eADG33M{QSqDL`6eHcCqX=nov!Q6p5Y!` zxn176p?YDZKeP$f+qFFQl0C+Sv9bFo()}Fi3?H!!iYm2 zGq}A2q-rQ*%|b8F(Rcg!Z{D#ICvPywYGib}YWv^RFQ=e-OR>;$Wc-wIzck6yGSTL= zYUY<(p;cWa$$YDJE9Roobl^vbosgfs1Q{R7pYDz!tFDvltuMBhr1^Az@H+v%V007L z?LfN3TVYsz0+9p5Hkb<2^Hc7_A;s-aCo$D3H47G@quSL1){=7TZ_$^Yk9Ahu(!P_b z*j-rpShGHc12PqFyoWDXel@c-RTW5>UUmNv-{{2ulC#1!9a6~!eVUjfKriw;S><}~ z5LPQT=Dez88wq^@p#RB#OR{GATD~k@sN|6u??}8w$h5p353hb|DQH$b6j8p6*qmM= zl_1_KLIu^=c%<#Ebn84c#hmpU!lDuEsA4}{y=HtI&P`+;uL+X-xJ8L4AwHx6q8j{e zGhb6Q8O7sZ0WG~X$2X?f+u5jsFmEGssy>HPoTe_fy>zmuGV%3)UCGd-km6^e;0kaV zwu?fAAL{DOLhUmwG#*HGUiZ?xiBvC*nzS3180f9)LG-zHSYnnU_V>6rD8}?qa6{!K zgr28;{92|oFe!94h1saK{HUWHl|Th7FX;8C%buJprcziE=80;R^)0%vMa!d!Im#zv z*t4r_s1fgWCu_uiAyjz(sk>mF7m+#oSDt=HFfZR1780atQqTnm0Nkug9A0YIcn|8T zl*9I@By!nPt(M1S;)eEFNi#DfJ8$T3%UTsZ>`OR&BVi|!j|Be}Mc6#o!>ZwBc1R8Q zwvHW5KuwZdGa zL6R`hpF~T40FYy~AaJ-aJ`Ni@+q1@ONr9&{VxT;_nwjoRiFe#RhGaUgOhO_nl=$_F$YkyNDulw}m%fZ-j#Y#x8S)y*tW&^UurToGuO=X-%Ivt9IW<_L@xTiw;B1qu7ECMvlDL*N$-! zgjA7#F!&4R74?89nZGN8YhT`sV28z_;Q47VtYtQ33*baEGGa`bP|rBp_{XIF2)k(~ z_Klg;6%DYT*i2nxjG5Ap8Xt!_LULM|_DsTPI*7)f`c}s|#lmDP2yHen`~1^PH<#3M z!S9e@ zA@LRpBSD1wmchBDyO4CAyMHFl$udFKs(xUODv41om^hY{pErjhYsTPUx1DHF??ayK61 zE)5C+&G;B7f=m*oBy`u>A%zTcoWW}YH1}@i{_k9^hWE?Frb!&`?c6hFnI_f&b=yHQ zgGL^5$)=3=VfJOQ#}x{=Ptd(tYSvw!*>Y(0lk_4)?lSfLKA;dOHU;SoIN8d7fty@l zs1|#MgW_-unq>A=zHegB%RY0y@Q;G zg8pup&5ui!+ix=9)OH7f4Y~Mjq#ZT7j8H}$nPKXUk8*KQnFDRE1@&=qzpeziZDO`? zVm&3N0$~=Ourh&5mV5%w%pFrY^pum)_y7W9{d?<&gSU9HbkXD^kV`>x+&76EcXmCDe437!JdL@lE? z{OLa^VwdcyO|BNc?>w^cgHa=wrK29=$l5$}(8f?&xyO_}2TNh_wL+zTPQep(*&fm9 zoDey*OI$KBqv0ST;a@Kp@^2JLK0{G}pHtYcudB`+WDVo&GiJ=la#+P+Wpg7 zWwE(qaR(Y&nGRE>PloO^5a^TZ<17^U=Z`iEpeI7&7UyWtxun=K?$K_W8v97AM~4nY zm=g7%&o9_uD=p##8JY)wLiA0`wBVPVMzohiQ#{6R3!xg)hqZiSw#=E2#jevhbsx1l zcCvRmFCxAUW66cxWl$Xdwm13^g1ft0aCZw1!QI_m2Db_B?(PACySuwHxVyVUF8{sv zJ?A`i&#mX(bXQMJP4#D1f9p4^S1Zf|kPP&NOTQYD?cTX=-E)|o8-M3~R{wN*sOXW*i%P)6%XhKf0g?!lH57n7;hr3H`D`V%$BMFDHDAjGt_cTHac9 z=VR)Nz`oD`%%CXHMsbO{`9?@O)2O^A=Zi;>C3)Fp{}D{3C!edivA=#Xq`_j#olpEeK_(Sj~fGOzf936;nN`1H{D zm!1L1yn~1ErGM>fX|>@j$~&pRFHmhR?S9VlhnO zep-YC7b=BYd!HjaNW=MV+p5{T)J-N<7Nw~dApj#+r*uZLHU`9{9~7+?Q@DLQO5Vnh z=;k&bB078zC{Q*yl}~cbDtO>s0+DLsjWYzs6wi%i1E!jAS{DH4hjzW${dH+u(0g-Q*&`mWgS* zTSr`4w_P7W6PCZNiww8asKBAlW4Ckyi0~<5iihB{w{>O{)k*AL?CU8lo+XOom18{w z;Txc~GKKk}LuSwK&H#xMI7GRF>C2t5;t5S0Fa>)7<`>Jw=Z&>UAfDd;>%O09U3$dD z+|F;jFdeMeE*f+3Bdw{lK`)j@P`cG)8KhNF(aLinNytJ}3G=%k`YSdx*Gb}4iOq}W zac{`kvRNPdx6$g4A8a?H$!K%ag}GX<7YG#==Gyj7%q-y`|x(rUgqE#-`4b<`?a6 z8X$-~aVZKhwKTzO;P(NDh@ujWZ@Z@2QEm}Fy&!3Mwl@>AduP)Ga_JGsjX@F_nV`A1 zzyUxX-2_*UZ|&luP-(T$2=wh*89e1w9&hCaNOz9Vy{^L2uhvpt0OanpW%D8k((+D|9te zi81AT&5R*aVYL#Wjt176k;D|{D;57f;+ZLZO+CLUf*9&$0sm&ndcJK#2qK?7?*L;d zPDcg29OEJYH-JW^0(DK>3BMMp!woT`>ZdNB9c<2Wl)24eshYdHvT}p6o)!Y{Y_Ya9 z-LREdD27@Xuvq9}I@%FXiRref^HcJx;Ar|3jVk>0s%|HvG`PzcSO*sO1cA>tzQK{#>)d}zhicKypXh1L<|aY=Vmk!Ozz zVDS`hE?WUDq#M`4E_QxF^YoAuCG$5oT;TJm@*-)vO*y89FPOw`a`7Sno`G4lE>Ph3&O}Ym5dH$mEa+`b^bw}ZfvDOs$F1aMaeoUX4%YebF1Y5 z1T(aHkjZl}LfuX?fMC)@ih!3FqtIYVnTlC&On2SPf*E|XAozu65Z^~|a$V@EQi1!l zJfN{&PD^zv9wmUmee|>Xy+M1UEUFLzK<7N?VD4Jk;v)xky=0#qwLE)W&eQnwbtY@< zy3+7zRZgdHmRO{G#P#u|wEq34p$usnu(iF{v{ZiBJd;gQ=5zQ41+!-YK-z;xPG1`; zObz6~|9z&QBwF~-X*_iE6-1nZPIAna^`)0mVCh=35HETf2zZ)?Z6c@>VWqWR%oG?v za$@2Q!(s1?pcmgoq5*TjasVKP`f@Hb;gn#|`^Yr3(y!Mj+!v-$hfeTASx&eG=&IR` zYvk#u?g^g8?sr0+4O_r;Y2%-HcF4IxcxU()ENczcr49`%>oSQiv@L_5z*9_ME|poE zz`V#vc*){|tmDW*mU?UQV#&LwjO4(Yu1>+8UJO36CTnH6E>1LFqU~F;zPqxd#-@0X zF8OyYl$R?(u_aN7Nc>sMAr;jgm@>e!yzn4=xzbotQj@Bk)xe|*VhT|c!;ci|Ibg{GWrjjpLCQ}eYkLX0iB z(r_4@@^q4(*)n$oYBz`jn7qFQ2ee%gOIU<)KC~qmvIav_DaVgPS`&T*9??i;w!5#N zF~673FQHi2z;o3k<2%dp(D;HX)zC&3bZP^I6_fH3Z5>)W)Jug%-A^|P71Zm;mlDIm%lvLTFI*3xM8ke3hf=9Ahy0r*k^6_U)=6R3@0Q3POt^gRXF>!(hHcg zL6yLvIdL~Srkbg8K^|BW23;Ip2`O&>cteilL)%nWs zO6wGgtWZ&Q-7T3v+i&1u4+sB9xJ}s-RScHB9}HlK#QVdwwDA_!fTl)t-*O{=*;OQs z=1SlYTuv`h9yBlpB*UznS~q}O;{_CYD)^*&#;Bu2*g&evsFdkKXpurklUZl#lEwTQ zZ6gdip9r+@t-PJv2&$0aviY4PxOdhyw&&2Oib)OWeRHenAV-VVfb)^A7EFwi{td6z z#H)&mLAT|&BWwYn4eLtf5P6}}y@QK!!^J@>G7t@6T9*ITXA`|hqZAh0~1nS*(WMN8qkc9@G6FW&g+R2Yuo40L}bZ)Nj35Dv|iOr-AkqFTMh3UtvOa`CZ) zI%e*Ijoeo8)Rf8~sJvTJ>?Kn(MYlLq5S*W;j6{Q`$}l-%-AQ)-Hte;nGsGc~sB5{# zTF#))FXDNzg_w95Rxw?33+l4g(^)Atu=*gW^kS84J}Fnw0q|0=?R>ktWY%GIohK0}}2%(Nz4IhUxrp zeYsr#flK-2BSZ1|%Os|)9J2y?kLS!6D~>M{LR$}>&g=)GOWrAL%Ry`m|z zFSdiPE!%^5SGdQ%OlZoMU>&ndwVE`?rM;u+1$;@%$Du`)nrZ4vN*K!q04bD4SZA^H zQ@Dp9Z0wj`Hs)zhydf|2UTbCF^ahpgA`6zp&5x!Ho|?n6mEBwY{?71!PG0fV0w$Or zIF%$QD8S1-FeQ7b;OA`^r6{-bLk})W^}PiiN4GJ1Ez23zmNP&ph!bX>;=1gK;frru&luSg0Ia;j}dH^d@YJ$txP z$gdi_5PBqhR}=sK+N;(4Bj-Yl8Q5g(3sbx5$BB*f(HW>#_PYP4m>jLm2bWqt+E`JL zjti?RF#J5kvuOCp8`I`T{^#GelQlFEWiiF%t`#SgbC)4)6HA7Z+`zFhOaD`!>7W(d zdR+^8@fru4Tm**4D}r?bY<_ZycZJyrswnKp@v@@Q*Xo zowFeqwSG{iNgguSX?n$%HxJeCL*qDQjJ%ucNHo;AiLvCV znZEYX8+Wj8=-On{!^HIT4{F5x!>=f6FYWn5G<)&$**Jr!?Si^(8Qt-w-H5HHhFm)L zJC$abK_B&rdx)rS!Ee>tSvsa}Ceq}^@774-P3`gshc}bR8QfF|;cY zW$vmj8UFUr3$OkD?kacF3Bw3?iwIX-y+;U^3M@)$WmE}EVFw<#=K^V{%3ns9n1Pb- z{Uq6OeNZr`N}Z*#jg5bzsyn9b(yQXR(K#isd6X1w`8hCT2EoW*VWLa3K}Kp&+=cq5 z*bTSz#$68UFSM;y`20Yf zkJ(Yx*jTPm!~pxoBM^m~+!6P7zu#IM8I9zuI?4zOYCf42vMDVjQlTK%UrEhT#EE`o zIWvV9|I+Wsf0ZE_c2S?WvY9aj5-tfF)hDG0twmgjl``3el@EYbxHrssU0+#iTarD~ zMnkU%W}JULbcC*s7i<51p3;y0{4Nh8SD`Y%OfX^bWZ!Tk*f&f!_sV0trcI+znwoc7<0lig<>`T`k(e72Nq;ppvv!ww0c3 zSUUSQhEVX!O*>GoU7qG~D<%*>>Ld}4w&r=aHaF%}V@(ZvzL#nxN$ zSr5zHFTMvk5M@~|IWk{P$-PExt;Da>odh}a>ne6iHasF{{Xf1sO%;;0JfT)MK8^TI zuY_#bd#@-k9~>s z*o~e(!0}$6@#8xqgj`=%mV@*dm#}%V`-M{2V-y_*cUB~B>4Y=Mrd5u9{WKk$GC1oG zt-t}@RA%lNh7)#!aGv%pxJD5Em2H;Ag0|OJ>bThYNa&!b15}FKP=u^--#N^fD*VM< z3oj`kGMVLEkd+3faq#qi4#euy%kO${44r+>u>gN)||e)TOZ8^4Kc?rR|ANmtM7=fr50C&K>r z(9ouUsi9q~tqA9G{knWO4!(QXI+s1eEaGr9dD%j9CGnst0M8+Nnj9E^<3f#dHck+D zTwZNHmSB{F(kGV*7nOHBbT(f=WFwied#Z_qrJ@^mix-vn;E_UK+y3#VPAkx1Mvu#D^GV?1?C)ehpPAV_^X}VBhH86^Ok9c zsfcNktz3x9_ zF5~_soyF}}mGj9}ze+_hV94#9bj5R4m%D@6@yH+U-YfNa)q+likRvC9aVU$NARjuA znp5wxu;)inHPNg$v_>^H7~ zCRL)C2En&S5ZkyY3J@_Upn+cemSc+bptvlhGYAje2y7L>yK{;T9L#Q zAp}}+fN+nP-i&>K48zeHIywy2{z)Mj%IG5o67n>$0>dzCca1r$U=Z9xl-O$5Zrwa*`oYDE~+;WrD#Mckkv zbmg5mV{^3) z-W2VG(MfbvrB9+R|6S>+A{5SrdjPqjP`gl8%#{a7ciz9##BTqcq=qHvAo)<{F4Y+U z8!CogNdY{`0em;!3oiTZAcfDk;ZK(Ah~3Y-ZnX>v3VGZPQ|6FtKscS3o@LhDZQ*5 ze~w1LH=~f#6e|nmYuO2p0@G#( z17I@9KaB02zS&Kwr9A#YBsX(_(UOh8OxujV-oWlhEpZHS#2onBDT8Ho1^e=QBz}i- zr?DPhn|1DPi<6cgX#{5B)bTKkF40CoMjATLCjc7|ann&1ZoaGRQ$dPVM6o$8zff(H z=bM^`+@QD<5T8W@93yGh9Ld_yIPh37yHl%JuTied9_RB+R3aXOab!STcRTobxgD_! zhRgiU;Xl|RlsDu&L@XGKc_^IlN&r75#bwTK)y^mJ)AU|>n=Cue^lv&r)r7g85J3w< z`~4Ry$RZ9avx0b}t_=r*t<-5fj8$J%blHrbIuFgxo(gsfK$S#$VWrcT!8Bh3OdVK_ zlG4K2bqOD)M{T!Xc5D7fdQno`9kLw`+2UgHjiv94w znD|eIh166-;OsYMw#{7#Q0}g^G>oN`Rv#Cm-Hdf&1#J2*gS47Fltz;vYuq^&OgeAX z4H^pWPp-b5cO7&~lNJL14~hl|^~I3+yPd|DP=%j5t<;eoLHm185f7HGXC%#NCQ3z)KRz#wY17R_($~gOrP16WGm={3) zaU!YG1*(>>$<4NZV+jrp@kl09kF*8wT}K z5NaEgYYE(r>+`y7MM|9YqVodOs!1^W2)bH84k>My-Se&g;U;IAA41p%GC;oJSd!IYZ@-v-Z1^#t4%QC&b9|i+;M3EhrjW;dd2~P#TgzHcI{a4o< zqO+6f|7e>_=|KfU`^Le+Mw~G1{5|Cy9t;`iDqKw)h>jY|Wuu*B)u1jZ!>J^dkBs>K z$ZLN#ZP$P*YCp(&yAdg9=gW6VskuP7M&6mSGmy0^t=}s30oWAdb}_=#4lH2ezl_}8?UQ)c==xd*bvr?c>ZuN$}T{G?R?>mo6Y|- zMxyaXFVFUc{8C^tfY&y|7>^#)=tVfH{soTt5X_byXr~S^upYZlJX;266cVreV z2C@BUl}JyYwVcdUU;C5Rx0f02yk#|@p6s&P#oDKN}%AotF8`S5F@`L~C&B2-$vv?K7HLoX<8$zMM1Vm!>}uTal_iboRG5 zt5>dbNhl}%{WL&4>E+ni$?Ad|)Qw|2@{)d8t35W={VV9D2*NR?$1DQfcT-} z8Tk=8gu{kCz|MYPSRd2F2mc5xq+?61&YLzf^KF_bzOEa`xs{4%W=o9(XvS!I2(n>s zxU%o2Ps@`XtTkN5d2mLe9o756U2~k_5z(9imWi5~i13;fh9DU-xwW5K{Ki;7bcd-9 z1l>s(zII|Tx7c{SuSju<7$ z3^o6kMo&&+CSrRdD_B0h|F_GNn1h4;Uwo6%z`g-@n217p8FZ`k}P2e!@@}7 zyZ)b&U$Zz}f4a4yicT^9Bl&#I+iOL(_78uvlsDr*9dA=gr*p#FYiER=U3g=ArVi_y zL#5Ng)59Ba_Dkbhi_qG^s?q9v9|44Y#?84>3-ifeA=*bRP7v}@=qeEF(Rvo4Sj6@p z%U|_RwxhmwwxfxL(vomJ6`xMItnxv-Fcy&;{fqMbC*>O>9$cP(C?oBBk@z>|@+Zw~ z3rNY0jvOer6^ULDP9^ErO;xjo4bN|dfyvPq7!{sY`7jdkLRuAv?n zKcw$n74J%rW2b(c3En_tk|+>t4aAQ~;<`VsV{GZfg#b zzJIma-n*oH%2dF@P=LcCFB(CM3($B42uL=q(41u6=J`QO`?ePD@b$TWJAWH+

;; z-ke)Fu!r2#S_28UIuhk1Ri4KV06z$$i1^D1IcJD4nT^f<7s_1!8|D9>N{mszLM!`! zsl=VF|M-pgkKe<*|MJVn^SRin!!H+q+A}F7gF9J=(D_ zVGixyf4=cgB`)QB5A;QK1ipH@7vEn>``b7+K!kiay|>t9K;>N&CGKf(s%~WGzT(S* zH>E~fMY|~93;l8r%9ONJT-ZmZ`$(q3{Sxm+bl8*CI8hUY3CHY{H*h-*tgdadc$rtP ztjgeY^imbuST8!=AV7!4p-;(olAsaq5FnJ3lj-7g(cJ(#%ULug0o9colX%@iX757| zCdA;VQ;ces>BvATn~N%v9{m5-EAXk;soanAEEQ`{A-KBsZiYv8I8RXzkWDUwC_2uu zVK^K|(+glAS4L+K~k7Opj30IN_cQLB(xxn>2A_Yt*l@)P~31esSR7ESR0K8S{2}1jY~c=H32JJ;<6pP&Wqw-R>0FFz6QI#uC5ia^ zh8x9xNl;!adxupcY*_lg@a6vB`2Ke#PC>>5g9ma1E~%o2{UF`1wp~yu>-fFp9EbZO z5dY;fOxUEmwki2%6a7O1J*gu8|4d2ma1KLxggAqRs_XN2675v+<+8bRA z8#wvphI|08U53cN(u63ZyvX0l4ZHkf5&f123lO6crqaB z6LQ04c-UtTkZashP1(&E)KEvz&ykBkWt&NZORh>a2VF*G59~ zZrYfc;&Bg}pT;ur&)$gRFEqin11~&g9|^AEE;p70Z>7uXh=i&q#W5qLEg&6m^GJ%* zD!!@o4Xkt0?XUMcnSj1zCd5|=eV%cGm(n}zcbphjccyS_tMNVyq5u!<3!s#yJCmWv z_Qd#`U4i_rc^d0M0=cm}6V72RQQZw6-@n7e)qlc-%V(H)su%jNFp-9&^+{N(#5e%+ zUxaf_HUCX``hO69!uMX=yjgp6Zg|ev5cjw zDKQHZ3ror~J{ale+wlp&zT>d7!!n9nIsu%C*_c`WE1Y~D_Ick4HLyX`T7HcS>qDTc zm&i~((s;-f^|PNw+On;v{%dQI^fPiWlW0~3W!n0~X4jM>{;mnbbdp{kd1vMrfRIRk z5E_$tVkZ=blC+0~(#Q`rAx=DQ1e<8UC@eZ~K%6;_B`HsYiGI#6aXd9pYCsfULwA$5L0K~nXlcQiI&9$v4*=q>)5^R|q8m&&G!M%;xv2Vp?q zbvLGGqlt^zJ>Fgsy`umWsmI=te3w3Vnyp9c8Rcz%>}CF{oi*%2g>^@B#Ga>qfq=O& z*CZ)+_r9a6@g2C?^cvRmjkO5W%S-F6J%iA2x8Ml9m8!Rvzp>@za=319dRz46Mz%dz z0kI=b%+1D0kS=D*An~t#WOAhhBhPWVcRon1?7X1V)l_yL;J9;rR$TY{D2uT~K~^S_>}?WEYP(nEM!m=f!GD)!caf4cTo!vfZ|_R^qT&fMn$x**pINnLJ&H;oqNm-o1Yh>Z(bGXO+1jXBJ5+vT010v1xT}(%FdQ#Z5 zNuDR$d~`ry669lE4c}?HA8>zG^Nbjs-9&+p9f`+|zS9+b}?W&CjpXcG=)j z-XMo?WnLIhj4-IJSMd34Q46?jHyxOd+@p5P?EB`-D?M8 zmVmzi+$f5{Yn(Rf5ZKF3C~~A&$ZKrfZ?Fe%inrVN7pZqw2V)rL7^->-O5%D79K`PhQCxa5=8=GVUoS0AXiu~9)&Dt`|DyCwLD=OiaBS~z=E za)*Cuj#ae@Y~JYRjjK=df*C|IdgB;l0Y6dw;gjxKQhefif)x0$H-`9JEB(P6n;8I# zD~i-0p|ScPgV&bmLVZ}6xh_8SZPi8JU5Iv0u*|SyiR3;WEEmJBW73|bUjPbq^Q@nT1?Bq!qEhK6m$2IwjnjZXk6PIJl*w|ws zAz!-`kA}vh`uPSY_prdfH~|ZG2m3v0$$o(+Y9qasn~BfFax^y`e33S#La5ZF>=lEO z=$&lst0hkrWblR;LZyU86NZ3)lOBUb(`u$Tapk9F`cl@mqE?DBPPDIT7<0v&aw{i1 zLlFNC=B~w1mL42!_>i+-NoT?1Lw$KV6mC~gZZgKN%eWj|_I!x*)CL?)4S6*iNZjL$!;LN0>SPsdQEvGV{rjuT$TNRk? zvaaOfcuiRF-m%r^`}f$*aCsKQZh$Yl>>sc9RKnuJv><}e=s8xZJqgS#heUp#WsOTf zrMPsKKOT=}RT4g64pXc1*aH0&W=+TiX^TzQ0rU*O&C)8|xL*cq?EsCO#&9W1aOOpmEkYViqTJ2W=UHtY76} zAgX)E=m8S}LbkfL4w^f(CrcH2i9z#+=BHmS{=mxc;+79b#c{+6w-><(z`fu!v1#Ie zCk~i@UjDOg!I9$d9gGCX!KDk!sBGzJO3c9p%cxGQ%}mTf%>21e$==?X_;W#niC77i zQOeHD{&RWbKO3UN+I*bM+~V9E+`{Z^Y+@{2Ozgs}-0Z^QBH|(}tfHK(tjq$$|Mx>a zKLt+4)Xv=5f|!||`(H~ZK#YkY7=J_fU)y_4j~iZ>9RzDVZE!~uFwQVNhTnvc?~Zy9 zGDSBpul9m|goeJ+)rjg#{Kgpg1`Ed=X&6A@7`gQe4F-POA5RK?%MXkCZaaX;@(%e2 zGRdBb@PQjPeLad08iGlz7?jJN;tv#x2H=FPCdg|p-0t+ZDnF5oHKAum=!RVWW7d(e rv8%2Ob00n&-F*wH4{#5OUjfZ1g^>mfAD*3sn~ejOf$)} to specify the amount of memory the tool should use before writing to disk. This argument is a value between 0 and 0.99 to specify a percentage. + This double is immediately reduced by 10\%. For instance, if 0.6 is passed, it is immediately reduced to 0.5. This acts as a buffer for PostgreSQL. Since queries will consume a variable amount of memory through parsing or preparation, + an additional 10\% is saved as a precaution. This can be changed later as needed or desired for future optimizations. Specific to the graph data, the statement is made that the frontier is allowed to consume half of the allocated memory, + and that the graph instance is allowed to consume the other half. + + To decide when to store to the database instead of memory, two separate checks are made. The first check is for the frontier. If the size of the frontier consumes equal to or more than the allowed allocated memory, then all new states + are stored into a new table in the database called “unexplored states”. Each new state from this point forward is stored in the table, regardless of if room is freed in the frontier. This is to ensure proper ordering of the FIFO queue. + The only time new states are stored directly into the frontier is when the unexplored states table is empty. Once the frontier has been completely emptied, new states are then pulled from the database into the frontier. To pull from + the database, the parent loop for the generator process has been altered. Instead of a while loop for when the frontier is not empty, it has been adjusted to when the frontier is not empty or the unexplored states table is not empty. Due + to C++ using short-circuit evaluation where the first argument is completely evaluated before processing the second, some performance is gained. The performance gained is due to not having to pass a SQL statement to disk to check the size of the unexplored states table unless the frontier is empty. The original generation design stored new states + into the frontier during the critical section to avoid testing on already-explored states. To follow this design decision, writing new states to the database is also performed during the critical section. + + For the graph instance, a check in the critical section determines if the size of the graph instance consumes more than its allocated share of the memory. If it does, the edges, network states, and network state items are written to the database, + and are then removed from memory. + + However, a new issue arose with database storage. The original design was to save staging, preparation, and communication cost by writing all the data in one query (as in, writing all of the network states in one query, all the network + state items in one query, and all the edges in one query). While this was best option in terms of performance, it was also not feasible when the amount of data to store was large in relation to system memory. Building the SQL queries themselves quickly began depleting the already constrained memory with large storage + requests. As a result, the storage process would consume too much memory and crash the generator tool. To combat this, all queries had to be broken up into multiple queries. As previously mentioned, an extra 10\% buffer was saved + for the storage process. SQL query strings are now built until they consume the 10\% buffer, where they are then processed by PostgreSQL, cleared, and the query building process resumes. + + \subsection{Portability} + The intermediate database storage is greatly advantageous in increasing the portability of RAGE across various systems, while still allowing for performance benefits. By allowing for a user-defined argument, users can safely assign + a value that allows for other processes and for the host OS to continue their workloads. While the ``total memory" component currently utilizes the Linux \textit{sysconf()} function, this is not rigid and is easily adjustable. When + working on an HPC cluster, using this function could lead to difficulties since multiple users may be working on the same nodes, which prevents RAGE from fully using all system memory. This could be prevented + by using a job scheduler argument such as Slurm's ``--exclusive" option, but this may not be desirable. Instead, a user could pass in the amount of total memory to use (and can be reused from a job scheduler's memory allocation + request option), and the intermediate database storage process would function in the same fashion. + + + + + \subsection{Implementation Approach} +SCR: Adam Moody, Greg Bronevetsky, Kathryn Mohror, Bronis R. de Supinski, Design, Modeling, and Evaluation of a Scalable Multi-level Checkpointing System, LLNL-CONF-427742, Supercomputing 2010, New Orleans, LA, November 2010. + \subsection{Implementation Challenges} \section{Results}