From 4af24dbf1ac4552e03848823a4b90b17ae46a51f Mon Sep 17 00:00:00 2001 From: rensink Date: Tue, 27 Aug 2024 20:17:47 +0200 Subject: [PATCH] doc folder + exploration doc added --- doc/exploration/explore.aux | 2 + doc/exploration/explore.log | 382 +++++++++++++++++++++++++++++ doc/exploration/explore.pdf | Bin 0 -> 121421 bytes doc/exploration/explore.synctex.gz | Bin 0 -> 12727 bytes doc/exploration/explore.tex | 73 ++++++ doc/exploration/preamble.sty | 68 +++++ doc/exploration/texput.log | 21 ++ 7 files changed, 546 insertions(+) create mode 100644 doc/exploration/explore.aux create mode 100644 doc/exploration/explore.log create mode 100644 doc/exploration/explore.pdf create mode 100644 doc/exploration/explore.synctex.gz create mode 100644 doc/exploration/explore.tex create mode 100644 doc/exploration/preamble.sty create mode 100644 doc/exploration/texput.log diff --git a/doc/exploration/explore.aux b/doc/exploration/explore.aux new file mode 100644 index 000000000..d490c35e0 --- /dev/null +++ b/doc/exploration/explore.aux @@ -0,0 +1,2 @@ +\relax +\gdef \@abspage@last{2} diff --git a/doc/exploration/explore.log b/doc/exploration/explore.log new file mode 100644 index 000000000..a4705ddc6 --- /dev/null +++ b/doc/exploration/explore.log @@ -0,0 +1,382 @@ +This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024) (preloaded format=pdflatex 2024.7.9) 27 AUG 2024 16:15 +entering extended mode + restricted \write18 enabled. + %&-line parsing enabled. +**explore.tex +(./explore.tex +LaTeX2e <2024-06-01> patch level 2 +L3 programming layer <2024-05-27> +(c:/TexLive/2024/texmf-dist/tex/latex/base/article.cls +Document Class: article 2024/02/08 v1.4n Standard LaTeX document class +(c:/TexLive/2024/texmf-dist/tex/latex/base/size10.clo +File: size10.clo 2024/02/08 v1.4n Standard LaTeX file (size option) +) +\c@part=\count194 +\c@section=\count195 +\c@subsection=\count196 +\c@subsubsection=\count197 +\c@paragraph=\count198 +\c@subparagraph=\count199 +\c@figure=\count266 +\c@table=\count267 +\abovecaptionskip=\skip49 +\belowcaptionskip=\skip50 +\bibindent=\dimen141 +) (./preamble.sty +(c:/TexLive/2024/texmf-dist/tex/latex/tools/xspace.sty +Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH) +) +(c:/TexLive/2024/texmf-dist/tex/latex/amsfonts/amssymb.sty +Package: amssymb 2013/01/14 v3.01 AMS font symbols + +(c:/TexLive/2024/texmf-dist/tex/latex/amsfonts/amsfonts.sty +Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support +\@emptytoks=\toks17 +\symAMSa=\mathgroup4 +\symAMSb=\mathgroup5 +LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. +LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' +(Font) U/euf/m/n --> U/euf/b/n on input line 106. +)) +(c:/TexLive/2024/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2024/05/23 v2.17q AMS math features +\@mathmargin=\skip51 + +For additional information on amsmath, use the `?' option. +(c:/TexLive/2024/texmf-dist/tex/latex/amsmath/amstext.sty +Package: amstext 2021/08/26 v2.01 AMS text + +(c:/TexLive/2024/texmf-dist/tex/latex/amsmath/amsgen.sty +File: amsgen.sty 1999/11/30 v2.0 generic functions +\@emptytoks=\toks18 +\ex@=\dimen142 +)) +(c:/TexLive/2024/texmf-dist/tex/latex/amsmath/amsbsy.sty +Package: amsbsy 1999/11/29 v1.2d Bold Symbols +\pmbraise@=\dimen143 +) +(c:/TexLive/2024/texmf-dist/tex/latex/amsmath/amsopn.sty +Package: amsopn 2022/04/08 v2.04 operator names +) +\inf@bad=\count268 +LaTeX Info: Redefining \frac on input line 233. +\uproot@=\count269 +\leftroot@=\count270 +LaTeX Info: Redefining \overline on input line 398. +LaTeX Info: Redefining \colon on input line 409. +\classnum@=\count271 +\DOTSCASE@=\count272 +LaTeX Info: Redefining \ldots on input line 495. +LaTeX Info: Redefining \dots on input line 498. +LaTeX Info: Redefining \cdots on input line 619. +\Mathstrutbox@=\box52 +\strutbox@=\box53 +LaTeX Info: Redefining \big on input line 721. +LaTeX Info: Redefining \Big on input line 722. +LaTeX Info: Redefining \bigg on input line 723. +LaTeX Info: Redefining \Bigg on input line 724. +\big@size=\dimen144 +LaTeX Font Info: Redeclaring font encoding OML on input line 742. +LaTeX Font Info: Redeclaring font encoding OMS on input line 743. +\macc@depth=\count273 +LaTeX Info: Redefining \bmod on input line 904. +LaTeX Info: Redefining \pmod on input line 909. +LaTeX Info: Redefining \smash on input line 939. +LaTeX Info: Redefining \relbar on input line 969. +LaTeX Info: Redefining \Relbar on input line 970. +\c@MaxMatrixCols=\count274 +\dotsspace@=\muskip17 +\c@parentequation=\count275 +\dspbrk@lvl=\count276 +\tag@help=\toks19 +\row@=\count277 +\column@=\count278 +\maxfields@=\count279 +\andhelp@=\toks20 +\eqnshift@=\dimen145 +\alignsep@=\dimen146 +\tagshift@=\dimen147 +\tagwidth@=\dimen148 +\totwidth@=\dimen149 +\lineht@=\dimen150 +\@envbody=\toks21 +\multlinegap=\skip52 +\multlinetaggap=\skip53 +\mathdisplay@stack=\toks22 +LaTeX Info: Redefining \[ on input line 2953. +LaTeX Info: Redefining \] on input line 2954. +) +(c:/TexLive/2024/texmf-dist/tex/latex/mnsymbol/MnSymbol.sty +Package: MnSymbol 2007/01/21 v1.4 support for the MnSymbol font + +(c:/TexLive/2024/texmf-dist/tex/latex/base/textcomp.sty +Package: textcomp 2024/04/24 v2.1b Standard LaTeX package +) +LaTeX Info: Redefining \dagger on input line 84. +LaTeX Info: Redefining \ddagger on input line 84. +LaTeX Info: Redefining \mathparagraph on input line 84. +LaTeX Info: Redefining \mathsection on input line 84. +LaTeX Info: Redefining \mathdollar on input line 84. +LaTeX Info: Redefining \mathsterling on input line 84. +LaTeX Info: Redefining \yen on input line 84. +LaTeX Info: Redefining \circledR on input line 84. +LaTeX Info: Redefining \circledS on input line 84. +LaTeX Info: Redefining \Re on input line 84. +LaTeX Info: Redefining \Im on input line 84. +LaTeX Info: Redefining \dotplus on input line 84. +LaTeX Info: Redefining \thicksim on input line 84. +LaTeX Info: Redefining \thickapprox on input line 84. +LaTeX Info: Redefining \veebar on input line 84. +LaTeX Info: Redefining \barwedge on input line 84. +LaTeX Info: Redefining \doublebarwedge on input line 84. +LaTeX Info: Redefining \centerdot on input line 84. +LaTeX Info: Redefining \divideontimes on input line 84. +\symMnSyA=\mathgroup6 +\symMnSyB=\mathgroup7 +\symMnSyC=\mathgroup8 +\symMnSyD=\mathgroup9 +LaTeX Font Info: Redeclaring symbol font `largesymbols' on input line 119. +LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal' +(Font) OMX/cmex/m/n --> OMX/MnSymbolE/m/n on input line 119. +LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold' +(Font) OMX/cmex/m/n --> OMX/MnSymbolE/m/n on input line 119. +LaTeX Font Info: Redeclaring symbol font `symbols' on input line 120. +LaTeX Font Info: Encoding `OMS' has changed to `U' for symbol font +(Font) `symbols' in the math version `normal' on input line 120. +LaTeX Font Info: Overwriting symbol font `symbols' in version `normal' +(Font) OMS/cmsy/m/n --> U/MnSymbolF/m/n on input line 120. +LaTeX Font Info: Encoding `OMS' has changed to `U' for symbol font +(Font) `symbols' in the math version `bold' on input line 120. +LaTeX Font Info: Overwriting symbol font `symbols' in version `bold' +(Font) OMS/cmsy/b/n --> U/MnSymbolF/m/n on input line 120. +LaTeX Font Info: Overwriting symbol font `MnSyA' in version `bold' +(Font) U/MnSymbolA/m/n --> U/MnSymbolA/b/n on input line 121. +LaTeX Font Info: Overwriting symbol font `MnSyB' in version `bold' +(Font) U/MnSymbolB/m/n --> U/MnSymbolB/b/n on input line 122. +LaTeX Font Info: Overwriting symbol font `MnSyC' in version `bold' +(Font) U/MnSymbolC/m/n --> U/MnSymbolC/b/n on input line 123. +LaTeX Font Info: Overwriting symbol font `MnSyD' in version `bold' +(Font) U/MnSymbolD/m/n --> U/MnSymbolD/b/n on input line 124. +LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold' +(Font) OMX/MnSymbolE/m/n --> OMX/MnSymbolE/b/n on input line 1 +25. +LaTeX Font Info: Overwriting symbol font `symbols' in version `bold' +(Font) U/MnSymbolF/m/n --> U/MnSymbolF/b/n on input line 126. +LaTeX Font Info: Redeclaring math alphabet \mathcal on input line 241. +LaTeX Font Info: Overwriting math alphabet `\mathcal' in version `bold' +(Font) OMS/MnSymbolS/m/n --> OMS/MnSymbolS/b/n on input line 2 +41. +LaTeX Info: Redefining \longrightarrow on input line 548. +LaTeX Info: Redefining \longleftarrow on input line 549. +LaTeX Info: Redefining \longleftrightarrow on input line 550. +LaTeX Info: Redefining \Longrightarrow on input line 551. +LaTeX Info: Redefining \Longleftarrow on input line 552. +LaTeX Info: Redefining \Longleftrightarrow on input line 553. +LaTeX Info: Redefining \longmapsto on input line 554. +LaTeX Info: Redefining \vdots on input line 868. +LaTeX Font Info: Redeclaring math symbol \braceld on input line 1721. +LaTeX Font Info: Redeclaring math symbol \bracelu on input line 1722. +LaTeX Font Info: Redeclaring math symbol \bracerd on input line 1723. +LaTeX Font Info: Redeclaring math symbol \braceru on input line 1724. +LaTeX Info: Redefining \downbracefill on input line 1799. +LaTeX Info: Redefining \upbracefill on input line 1800. +LaTeX Info: Redefining \overbrace on input line 1819. +LaTeX Info: Redefining \underbrace on input line 1820. +LaTeX Info: Redefining \surd on input line 1843. +LaTeX Font Info: Redeclaring math accent \widehat on input line 1845. +LaTeX Font Info: Redeclaring math accent \widetilde on input line 1846. +LaTeX Font Info: Redeclaring math accent \vec on input line 1848. +) +(c:/TexLive/2024/texmf-dist/tex/latex/enumitem/enumitem.sty +Package: enumitem 2019/06/20 v3.9 Customized lists +\enitkv@toks@=\toks23 +\labelindent=\skip54 +\enit@outerparindent=\dimen151 +\enit@toks=\toks24 +\enit@inbox=\box54 +\enit@count@id=\count280 +\enitdp@description=\count281 +)) +(c:/TexLive/2024/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +File: l3backend-pdftex.def 2024-05-08 L3 backend support: PDF output (pdfTeX) +\l__color_backend_stack_int=\count282 +\l__pdf_internal_box=\box55 +) +(./explore.aux) +\openout1 = `explore.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Trying to load font information for U+msa on input line 7. + (c:/TexLive/2024/texmf-dist/tex/latex/amsfonts/umsa.fd +File: umsa.fd 2013/01/14 v3.01 AMS symbols A +) +LaTeX Font Info: Trying to load font information for U+msb on input line 7. + +(c:/TexLive/2024/texmf-dist/tex/latex/amsfonts/umsb.fd +File: umsb.fd 2013/01/14 v3.01 AMS symbols B +) +! Undefined control sequence. +\step #1->\mapstochar + \xrightarrow {#1} +l.29 \item ${\step{} + }\subseteq P\times A\times P$ a step relation; +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +! Undefined control sequence. +\ncomesfrom ->\arrownot + \leftarrowtail +l.35 ...me} (denoted $\Prime(p)$) if $p\ncomesfrom + $, \emph{closed} (denoted ... +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +! Undefined control sequence. +\ngoesto ->\arrownot + \rightarrowtail +l.35 ...osed} (denoted $\Closed(p)$) if $p\ngoesto + $ and \emph{open} (denoted... +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +! Undefined control sequence. +\step #1->\mapstochar + \xrightarrow {#1} +l.39 ... Stepping is deterministic; i.e., $\step{} + $ is a partial function fr... +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +! Undefined control sequence. +\step #1->\mapstochar + \xrightarrow {#1} +l.42 ...en to prime pseudo-states; i.e., $p\step{} + q$ implies $\Open(p)$ and ... +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +! Undefined control sequence. +\step #1->\mapstochar + \xrightarrow {#1} +l.44 ...annot decrease transience; i.e., $p\step{} + q$ implies $\Tdepth(q)\geq... +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + + + +[1 + +{c:/TexLive/2024/texmf-var/fonts/map/pdftex/updmap/pdftex.map}{c:/TexLive/2024/ +texmf-dist/fonts/enc/dvips/mnsymbol/MnSymbolE.enc}{c:/TexLive/2024/texmf-dist/f +onts/enc/dvips/mnsymbol/MnSymbolA.enc}{c:/TexLive/2024/texmf-dist/fonts/enc/dvi +ps/cm-super/cm-super-ts1.enc}{c:/TexLive/2024/texmf-dist/fonts/enc/dvips/mnsymb +ol/MnSymbolD.enc}{c:/TexLive/2024/texmf-dist/fonts/enc/dvips/mnsymbol/MnSymbolC +.enc}] +! Undefined control sequence. +\step #1->\mapstochar + \xrightarrow {#1} +l.60 ...\cls p\trans a \cls{p'}$ for all $p\step a + p'$; i.e., $s\trans a s'$... +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +! Undefined control sequence. +\step #1->\mapstochar + \xrightarrow {#1} +l.60 ...., $s\trans a s'$ if $s\comesfrom^*\step a + \goesto^* s'$; +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +! Undefined control sequence. +\pto ->\lhook + \joinrel \to +l.65 ...ation} is a partial function $C:\cls P\pto + P$. $C$ gives rise to a s... +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +! Undefined control sequence. +\step #1->\mapstochar + \xrightarrow {#1} +l.69 ...$s\trans a s'$ if $C(s)\comesfrom^*\step a + \goesto^* C(s')$; +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + + + +[2] (./explore.aux) + *********** +LaTeX2e <2024-06-01> patch level 2 +L3 programming layer <2024-05-27> + *********** + ) +Here is how much of TeX's memory you used: + 4429 strings out of 473584 + 60866 string characters out of 5732364 + 1937908 words of memory out of 5000000 + 27298 multiletter control sequences out of 15000+600000 + 575315 words of font info for 95 fonts, out of 8000000 for 9000 + 1141 hyphenation exceptions out of 8191 + 71i,13n,79p,241b,221s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on explore.pdf (2 pages, 121421 bytes). +PDF statistics: + 75 PDF objects out of 1000 (max. 8388607) + 47 compressed objects within 1 object stream + 0 named destinations out of 1000 (max. 500000) + 1 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/doc/exploration/explore.pdf b/doc/exploration/explore.pdf new file mode 100644 index 0000000000000000000000000000000000000000..d68fa6f06519d91848b6ebe570b8734ef21ae340 GIT binary patch literal 121421 zcma&MQ;;r9*kxI^ZQFj!wq2)e+qP}nwr%s2U8ii@{q;ouS3MCkdG%yu;;c9JWK ziqkVQu)~lqERU|kuo5v5*&A8G@bbbi%9`4lyI2r0bFp&~{XYwaQQXqT#ng$2QQXGR z#Z=VP*xtkxhMynC*~Q7!&=$sH^IA(Lev1RC?^FYeZ$ohAL9PlGZ5=}@kRVH}$pXJXb|Nhy!j6#%H8Z3XiofGrHqINd@zOY( zf5g&L@+Su7sGTm~{?hsmjqG`!25K0tkrtW&#GEUv8Qk3k^W$*hAvn2wob^-HKb zQ~PC`8MO(dC{eq>LnCt;@lbmZu_mF?%eUAaRmGi0VOB6ymw~hCzj~w(T)R z{);X!B>Td!!A;_ZfN8M0M>?qHBB%x)NK+I+O%f`8N+X|<N#a6FI0$^5CG|2>vJVwB;xb05IOkj9sau62y|Z8 zh|CfL?yFD}erG;&h`A#U7O_k#2=}7UB_vTChj;Ajs7gk`SI3hYrDJ1joRq zC&D@LJ2GE}FTpruC*1Zebszd5tSyNlpq3L>%w#S?T+#R>u4L6N^uIUReleTjn9As2TC|%awc0_=ST%pBgWtG?oK3cKj~e1g{&E$;4y&z1(&3o(${oJd zEKUoM34+)uirqA+ zoW7cNU7FoD%S5eXBm0bgb47y(mo-Ve7d9`D)xsZ^B3qlOaPn+TifE-oih?-t-{_V{ zu}wiiWJ%B2aR#;Or`1;?6=PBFPcvcL%iKfx_=UM92&O?p0kFn?>~ zBtly9MSCv!qS+W@X2(nikcJ1qo*WbAu`whS4=!U0J=qhUa-sOb^y2pw<_GrdE+FqQ z2c+}E`rDUwT&wm$401ILbs?-Vra2TnM+@aJc3Bgy-bTuGbMIq6){QH$uBL+!^9N3* zKfHaxKv|s;tClrM651C2*zF9@7PN7tNo^?Zco`8ZI*=vxz&}VN&z%IQaO)p$J)ao` zXiazJ#+FcIO7*Vk3S!dH5xY9UdL4dl2CL^G8>CHJ(E{YHe;Psq z)XJF#NM-M5p-P9M;u9|hF@*eI39z;(97)|#tSoh46{1))x0mM=gcwC=B9sb{zMv7V z7=gna(p#lsrF9;`##6p@2S2tjS}Y7SwY;CeViiw_Y11;Mt#7vXz>gCzP{?OO1RtIF zyGR8H#xy?h9(w)=r~kchKu^X$nnxcR23Ca}SW_^Lr>^mHRl7>QQUC=~Wy}y+7YWzU zjs3ak4Co(Q?1b~IqBc78^2U4LVsqsiyqFu(xA%17@XAE4<;jqs3FJSDLHbdOTcz5A-P- zjHqBt?M(hpV*fY&@3d#;`hSak0LTB|*gw{ivELH^-?0zHrxeh+@mdT4!zQj=5Kdy@ zTMet4YLOi(%T1z7`rFs6)92R7R=Vj3@?;W)b3HeAm~C(Nee*E8g(zMF$C5O)a{L_S z5R0}?8;VY%TEpO8y_ZZYefJSRoxkT-;6-MgKLNv&`TAQ^DL?fslAAutZ5l(qC8w0q z>U$!kXM?y=Hnk0SHdImdRJUn%ekGB>=62R*Vo{fHCKJkaOZKKLx|b9suJfX=V;XNX zWm0ZRen;bq3LAa_dEfcwpQoWTJClrIE{VK2y3nnTe|R})z_>)ekUOOwK`y6Jlza!l ziT+Dc#Mg;EDOuuL|I{7P1p}rht&ROQpe;ruyRND|KeC&ci2f(=5*#a~P8q~Wx5f95 zbsF9jPXt_La#4%pvxPtg7)dml`CScKPZ7;zj-uw3KzF%r+Xm0Zcu$|}Ex|R+hF`v3 zdU&_Zsot)}#&Df%wU^2;30dX#<%M7KEKQ3%IAHSF76TTfDA7bjmf)eghEM)eP8y1( zh)>=VpBchX^2{z&t})sMl)^B|jb+PMlMin-h)n{6yN^x-3U;af(rKFKe7RGZs95yh z4iT3@rr%$Y?BVV!7*svBmk_YMmUj?jt}m9*QSdL0QUj!-9hiRc6rcrWwizc>6E6HF zyz!xB*w;U4A`P?~+28jZJR@H+>_>T-9RMg#m_#13QP}d%@>by}1>@0i04^=rI+dUl z%_tiApdQNhyvwDzVuayNWw6@vRLZm(H%gEDUj?wxMPU8FO!(72#?o*MBhIJsh-P{n zM8mI;_UEGZ70cZ=%d`!;tx+8Yo5+ zv0vp?c#DLRzMbVA74=p|ZAoHKMelXtr2f^)Z=-I{3L_}-6rqf1qN1-qL{QbcMV`m2 zwj7f@J6=5A>S#z}(h97UI(iwC582nJ*Zg~VoeJGGa|rHj%SVbMQOo4;=t!#KpX8+V z7e1GYt28Sp75&Y&xd1v^=VR32dNh`R`q_HF7FT4*P`doXCjt%k_NZX^aqRpSuB7P!A1XH9zprp^S$!RzS79`x{;!CFf#VEW?^ zaPdghtv=Go=0!Y4F>y3+yeLucP)$=rvq8(a>CpX*L0J^OMcgXDJ#7_HPT0bqEDs_v zNkZ>S!HA?D!N_C15)YRZ7$JWJqlv_0iTO>KC9pebgS)AHdF>maYH`UV5 zDbjOC@yk&}*a;U#Vnx!EQ_;zWx%9;^d#x32ytML=9ww49jRaVi1#inTr?#}yvZ>i# zUA-c&P%WF`bHwMV!7a`hk*YZA;6*IO&xl-M6K0YY zj6_pH7!~v|apD+(KyZU}aY1mamr)iN8xNuuV$80v#;`9v2oA?ZMqDB#88CB9__x=_ zQXEUDz-44Ole?%XdI;-0#NF&KD*AvntOZviZ0t}lYK{0)wYeoYb+>`Nm0h0Dhtp1R zGumwi<{n=sdK|(f7OIYRA!Qp=TDo67**2>2RH|fWTm4nZejL+jcWc4kQjWz= z!~i5nULa$llHusXMZmQx62>ylU+MYKKeBMuMAA3K z**=n&?!188_l6=-j4lrMAEyW;rCP*_!;Vx{Oabm0-_hD40rc zOtO@UGbaa}39Woa*M&)t z^VIY6#6|yJ{ZfwUXg4a~Rasy3$~8>BbXG(#ue@F1cJ^}`@C)LhsyhCEa{wFD|HT2!M9j?WT>m2jScq8InV13pv;EH& z{LlE`0muIVhW~F(kkjR=h_Cy|9@Xu=5Zv7j9{!JE5YfQ_;pPT|tV6`X-5vf0iL9er z<}Ulxw?BXPHs9O2%B-w=P0!o)c2~{2DlAJ!ELU@8W*3ai7SYYn%-j$ah$?7>?^^cC zc4Gs`-I$9oBY^|vIK2& zhxGn+kMBfZztZoT(ZT=2KByj7N2EFV8~k}G{K1$HJ^?;3IypH#I0p&D1tLgLmR9pC zTe5!+^r4aPO$b1;Ik~(xxCLT@+~f}Sshtt>CzRZs69gdrcM1LI@_P^TcS+dD95O>Q zvkOR85JTOdQ_~aZY5hmj31~}T&A$)(OIMB6yP@{fe=s$`jR>eZ zuBj*OLu2eW?ZqEtWb~R3XmWB|MMTa%XB+>#18Av-!Xy8N&= zdvD)Qu?}}+Vhs*axz3~g-RucGb7f=mOZx&)Qo&`K*uWn6zD0tvdFd}p0mEF|81D9{eb}sl35tvF{!PBX++W`z9J$_?X(zo(kk6INEc8M$S(E|887m^ z`*S8KYttvqwz;J`Dqj8!x$Ug|?ndHTZ5=+n_`P(u9btQVZS4~k7IP{3tt-rx^uDF} zFi3H#(6+Sv%RIiotFJP6b)v>~oQJfht0pILM+kK3i7!%19O0SH+cf2Qb0YACx5m3D z;-|?YE;!GF_A&>N3xuaUN#W%Wy_J^Q-;JZ^XPOqyS=8k)`p9thP0$KNi{F2aqydL@ zM`;6&j`7`C3n@%)GC&2;wx1UOTz7?;nb?ifE^KaF3*BF>HVPEj{;i8_nXSz$<4rab z??~xxEbF9kOgSXjimMwP+X-c&WEK^dAEx+Q3 zuLeZCRi${jvhm5pN)gi&-F_`$M*dly_|kj?vPgGuR*(JVdRHFMVWL7K5Yy;Dk{_8gmBiTsPiE)@`@%*GuVYOs~U?7yC}lthr5)ojr=sF z>wY#T3J(g7)jzjCDBg>gnDurhxrAz{)up+DON&VBGeZ>HsK+lxUdfbg^Z@x_ES5*> zOkS6$g?yA?^4aiCNaae~+546Z6dS!r;m|$Lh%~h7s>24W;>tYD?%XgR%dO0cAnLqr ztK;@OakyLT9c}6Eh8W0;8t*dOW=sjxLHCh^*Da0>jfj_KnX-KYbLyQh#YQ60j(fMx z3nZ0Y@gKXBPX?=Vxz?jnj)H+|5RY)#;@8T^K68h1FjNj_7~0UV=B_Bo32{|^?n4axc?AImuogvwvrX3@ocmqBOnpTY6zh25e$E0W+RQC5} zsri#*1`kOuok(_So4;1t|ijoIok?z@VN5+iAYS* zpaf6EJd803g+u07xiI`L$%QBeLM}g|_!!cYM8m>7R*0kzv)qzs;Neac0%NRxp1GXEZZWN-mx#k3uW)eW{E zbV?x|#1yl1jhxNA-wwAc*Losv9IZXqY_W9JqraCOfQGNlCOIH0|L)pP0^X~(Sf+6% zG`O=&DoYBChLGl7;W1hu&H%DHWpUk5ts(rdn6}q#f@uZ zn%oeKJX9N%v-fI24ez7eDc1$I8WF3pp4GY9qw!um9yM97pAs`4ucySy^)29+Ytd&` z^lkP@KVkm*=DPsTZ8QqaH+pLyPf#}a)gu&NCn_{ZC^1UPMd6_Og8$u9Z~(2bx~ymnkoZKsD_N^8=<)eepf{=(5Qh3&}a zvH}4xVOzaNke16f2O;uO@}szJcVb2eCZi0i4-GCE{n3W%-)PCj{S|Zz1B0dG06%6B zlB`(cdcp3KDL7W|N;=F|Flw}BA6?OsV_vPghy2XL37JH#7w$OHi*tCEipdjC!ACkmw%mX4V0|&`3jQLpLVNRRUW&||cQH)dr$$Bp`IGFgP5Q5R z0yZDaTQH*{Rg`%1-_7)S!WKuyIOhFbpri~pAG$xp@6#RXNfiXFxM{jRYg*q&@i>{`04R=TpFr6a$%8`NrtFK05*Rpl`eiwhydiCj++(%bap{8wOAUBZYY7OQ%UMl6_oRD7cbI+pdp(;I5fflz1m( z^)j+ML8Hs)TvIO`I{#wo<4}KQa=&rDWn->Uln^FgkYE}WJ&sq2YM3Fji5z~IR}+7x zrQn1SYX^d44qbmvyBDgT1Mhktdv=4jr2(`~uMEBP?4x@LH)O0UXlgW*S(EkVhwhCV zAgPs>$3jpO6T+UY@#cy$_Ew~&^iK*Cb7hl9xn=LmY(CyFTkJvDl#=XvE3l;>k(E-) z63w5cx{tFzV|^)fVp4D_$SZ|H*PICnqb`x`=S)jk2D@4A2LQ`*-tL3wvkrvVaFUQ2 z_X#p*$;7Q7QW?{fo2AMec?@%k>>tV`Jj&2Gv7dt6*8L; zd1BY_RoPHOOBL|8ymy=+9$>e2^E+3@=u=D@9737)jSWgBsfxCTnSGOa&LQ&)zI^{q zrgl!oy1>$lSc(t}>jXOrgfCw6zfuS~K=KD3Fg;NDPD=31kKZh3zc`1TZP+x90jB_9Q zVJco>K@8x$67_T!9~ctxj{Qv^8a%YJ8PmdLaEIdFKcWbVkp%G~Uu_X3sXXA}1q z@h$Lud>>8w;4zSUt6TRuc+>-LSs>I*3+1?50`qBRZ!dzwrCe) zOhU(geBvBIzA#9as0NaUFI{=-&CN7h8c8K*^D4)1!-xovv=R*!%9fQmIPmyuO%526;t1J4NQkq=1@csayV`^fXl=zew=V2}mLgQJy^$XV_7jLJ&zLL7{F0fmL zMou~Zs|F(*Itqu?`;op4ynXwqOeC8x&yP>IH;&PkeSAZlQSZbAoAql0f4h>#9^p3s zxijw!{u4Xb8-9I_nE&uppdO;DJE6$K-ui0j9r57nu^Gec4vJZl3A#`F%Ran!iKyC} z67gWqYB%@%(ma#TmaM4O`^ItYYFC3>bxgNlf;$_R8ENea&W=;ec^qye+1k)ci2w@q z&jm3SLnb*EN#S|Vx=B$xX8EoCPN~+8P%Np`U_9KmZ%O&wvyTZ$0IrL*d6!Oqusbui zwC`_yg-R;f;4pW2(?nfz&dy-j7 zA}G0n_^hek4GF;MLBxTM6+3i}ZtpKcck9Sv7Z)8+byO9_8-j#oG7CZB`6wNckC#0B z$r&YiH@lK5AnrBUD!M0=7U&WqvUv!2uOM;__{91*A)25RB{Vvb2wR z;GNm%zXu~GRMfjNP&U3Lq2NJ}+l{!&;Yt{rw6XLNSgVhsR^V}UUZQ#Z__UW;fXs7S zdBW)g^E<{5k4!~6s{wkfEgm_cz1vfN*cnyM-}RiHzcOQ1#d6uCQl@%!69U}q3mYNr zlEz$z#og&CIs-lM)w^tSlFW#IRtmcd7vmH8f3l4<(piWxX2jzB_F+#Kz)Uf3a?HVu zpcNPQk>=(J6AV}7dRvR$WezGTttglR{-rP-D=^fFJ zYo}2WLhc?F__bCImc;W4H?4msYfSF;rKJ8kXnT953=~V06Iv#k2@M{5{%Fu?@_#hR z@LBDzEEQ7IPE}z{g(OBt^KjL9D}npZZ~KiME9_=$wH`M^^=UrTU@}ZBIi8T;;lEk0 zor^9VvnIBA2us<5z}$lr6esrBJ|T(EBu(Jzg#w_vVJNZH3a9!Ui5SY~@|t4C;?ed^ z4Ao=GgvyK0q}hV1XLhm_x>8<4uooz+YeAy+I5nvztPie^P1sck}6pMFftB8)Q?F7=!4P1${y^3lgTMq(Z&ua-=qcN2Fl#kluWAWRqKP|bCc35%i$ z!*P0xHeElKn2NquCRrE`i&->&zr5s|g(GulYO&Ip*SYM=YA%>m)e`j;W~i`RZWoU@ z_gAW=xjC=}y|ag3S4gPFJPvSS{DziMM|8kT4h@)^d-2x}xUn`5#}94##vZ5GUBB06 z>eW6Uv+f`d@OBwyJxVoL#w_k3Q{_=!&2Gp@g6fdb*cg1Tvwq4t>Bf8Ksq^YKMtMvx*CZX z1!j}(Sv8u7+Y3G6Y9X2s)SYNpBEQ-71;+ZRFj*_KHme8bMp{v&%`b`TPrPnK@@X7; z$Y?)GLtKO}6RLW^s<`1Pko3(-lZlM1E7T(xBNFb=OG*&f5`KLTR+w9{G>wY%0vh5( zZcZ2a*Uvr@1;YLaevC`srMZt|LZG#CBU`NjBR5PB+V4tehhyW(vYMd_07o|J#y!2lRG+O z3`%+vAd+6N&Yoc2x}b$tR|y zaTd&6+s<4;U=(jTlpQHX4qRqphr<$-db*zSJ_J5JjCxkh<;UNvt54w0Kp4AXzs|hi zalxS@3*{3u^ukpO#^(Ha052ux{4@Qu>)_lvKafSX0q+mvi{XRe)-WIC@;Xb^j_*t#SPE?h?kQDuB0j$=UQo89cE_$ZIZ5uvW>82P?9kMNAmd zIVm+U#gor@T1L*nn86uA5>d@Xbr2 z7sUW**k^X!w_!!?SB_+wZH&dh0ObL@vQkYl+g=lRYR-eQVqxm^bAB7jJJ?5lN{bT5 zSVo-s_xU(bNMmhqOgf}ep{DS-HOmDYDTU{Qt#Sn^Y+b3X-m^Vr#FE>`Ieb8|8ayrj zV-~BiiYW)rMG?x|WC_=(dSqexI%W)sv;)5?=x_F`bEI=6_ahS*?jd(gdM>V*}p z+oHKgsW)lMz#-P@dZ4mx5R+V zidS{6{503{jQ3Wtt=6bdCrd;|V3ArUJZi+%4nQyCFo<)#q*5%ml}{==y-BawVw_JF z{i?ec0OtP3f|6dQo^fUFC~$WEr6nhBp41zq>=X&7Z)z0EvVmnDhhfFgeJ>+_W#{o1q9^RbEVA=^ln6EL} z?5RmidC)1^R%whX{$*c5H^5j9$UoC*TPO)GOMFrNVr4BuR|OaZVEu>svHkc-8t<}3 zav4?XV?4_4yid9;lWmeRU&W1w%lEm7oXL~inl5@V@N;TzGZ!i4aC)MI^Is*|@fsqV zn}6)NLcP=md9Wu#7VvJ)O6d1|AkP!SWOy5*q<%ypza%}@=tSnwN)E1x=P=nB>!n$( zYyU*!$TfGD5W;MnW+Dp}D!d=icl8S1N+8=uSkNZh*L&nwVN0`TzL2*ZJi;ZAjHYZ5 zH-RNI5U_Nr)rxejG+y6B*P;43h!_0z0cY${`V02Hao~mbNQA4=6 zm=j_o?KEsu=a`>Q^SC_B2UTmrFFqRaq7ZlH!|?_h?`@g$yWUC8jdener1Uw7cH_h& zbJE}Wwv~bk#vXyg1G`yo1j{~O$TecY^Vrt+dwDJL<4cT-UXg(}kl57brca?zj&St< zXU;F5pUUStdN|u4fY*^Xkba~{Jcoyfg&~{+aKt7bPQi~X*ZTg#)=G;#v&LuFE9kr= z&z{&t$JU$>2WfW2XgX8QwvnM(aZkIY#W)M5Hk&;uR)cr0?i+@yQ49%8KOA$;XXEFj zaY8Sv|E@MIBOVL_X%_3f$6{_W8@3PIbRFb6?HfgJm2u5gbCG;BeXQj0Y@rYM(&ZW3 zC8d!A$BdS}s6V^gpel(4m5J1RRa*9|6fmg`N@YBIrMzt_D+9%M_GM``LMQJ#8%3xP zwpvGy{(NtscQLYI2CLP)T zH|tss2p*S=b5o#!m-mr@YOO>+vrliXRn3ePI2Dr!Zgzzc%x^Iv;Jz$=mJ}yZaEML=8XN79{N=y| zr!;bRwI$NpFTnO;JL!Y{%3k@F+O-BIJyc%FSs?pE7YvHB%tssw^50?32`SaOxwMe! zqz+<+J*9(}rGjYJOsR(_s5uOkFB8y6O^F+G3X2SpD~_XPlKwuqY=)&+KNa!@yzn4Q zJl(a{dusKV5Nl#apv5f5gGGO;v%V#AH?33stbOW&<5!Ta}Ds-AT>l9fN&x?@Iibu~Z zcE|9Gl{Ds*#MwMNMr`%!EWhh0G_jadp_JE|yjR3ZHC=R!U^GH-P;8LzQLs&CPRZ5& zrg45>k>}4KI?MH#cd+^=NOQEmT2zU!8%DqbyX-1_AD{peoj3B?f)jUOb0YHZJ596s zhcdV@O`y~F$40Qd-)Me^4_M~&Z6>qZ$SA(bWj}}Wjkzk{|uwBnp2V1PoD~a6EDT?@n{gOkH z(*f?SGQ{w3dLc6P!{3Yn4_Ta{13WevzJ5U2F9BFa3w3Wrtg6dh>2bOYFQ=WVGVT%j z*>1I?ZRd-t1-tEX>!H&wSw3)MiZ(qRB{&Yzemfm`M5tpA)f>mdWgr`e@682GE$7Y8L?zu>pe0;Tp0LF(*~cm$8V z?YJ8?XZDlqF=k%%A>L(zk*^$Y_`wUCo1Mm%iSD>)HIbh;svKaIBTFqsb?}GwcQ>Wn zAqZ`yB0d+6qm!`bNU0UQbv9&BwZ=>*RC)RA{3xeLK3%N^w0+l~YZqqU*WtxJO)PT& znVCrRYhs-|f>&#*aOm%mve_G3Y%gHNs5Eblh;ZN3F?=#?@X1W6itMo7N{E-lU)9a) z22I8mnGUEE1x2!C9+)V8HRX~3jYXX0x^x4 zAVCvrHkCHm^y}!PdG5^A76%&A{Oy1XC*7iD=%sFwT)zetf7DH+?zD6^@HYu;1tWM# zk)dTS@*eFvZyAvHo#he&TBej2Yho@FWaOvX#ec*t5G5-}c`a~MsVl&?K)T0YrKxH= ziv=($-Qsv=`0*}Rmotn=r7zhrBCGrN+-}IdA@Upwcl-DV45?gma!Im_HU}xK=wnhj z{v@v<+pVOy4s?Hr=w@}8vmB#d50r5DDpX`HmE&jli0IdUDRZ0?6_0D~ zurc&&&hlAKpbV)$7Y}!=@TB__+pO2#v`&swK5BO8z`V%Dj;pR0R8894yG`5 zlt~e5&CBeu5NDTw6CKeX)NaR57aGv>9G2hCNH)yPDFESMZ7F=L0NI;JZ05oO)}49D zI4!M)TPF|WeY`}8Ve`VFd{sW72{IaG?nWv1 z9JiuT3zAiNnGdCk2DPSqTbdD~6G2!yU06H-Qy%o9;^z=8pL6v$_QF?a&8kifyI4-2 zPB-$rfT;<7pa0*VJo#pQ$?sBIf(tX@_wz@wq9(3H=Xpg5Ghly$^FbbOzS+!^qIMyB z^#_aAo<&mk#0;aXy3v>w^Je0lY!wc}@8~zbFc-+R(92~6o_4cMqX@e{Y^=S_^{)Mn zQH&Hd_8)RH!tJH_mD=*5P7JL~M266ob^?Kxz|IcR$p$raQlaaZL@|15F!bCo;O{%O zjfdvZ!@Ee)`ET81^Hxqa{k6Pt467zh0mRAfqgXbiG35IO{8rOQ*)>mNkM$XrN~rxE zxgcAXWCca*DGLntnddP2(tyLEjZ9O`+`9B z_)ACGSWuxNNvFYC4N{}59rCICJVYD-gBhr{^h3w|%Q$QLUTq{z=*@ng&sC+3LQ~PL z?hlN@j@l6R)>xZWJAn-ocV@Bd1-gS4)i2jXhymwMnU0@K9p_o~byW!$cvOa{{`?p@ zE#~N)ksqdCVNe2xJ>tIKI47&&`52F)Q@Q8waP&w!yMf4cPW?)u6fD~v=cPOpc!Zb=XRA&0M8|jGs{(0 zs1|nB>2TfT>L1*9r78KPERA@^)DjovVRgL*C;mvHj!r2y1qBmvnjag4$@()49Y^hj$^3YY=N6cuJlJ@ucv_kWqdWdrE(#kc z@iwqONdG)cukXLAMx|4wU4bgiqI*xVuR2cK**wVbm9J@1(#t}PV~fNSgUvvyf>=|xFgy%AQ`+u8I@H? z5Qu$BDtu*fMIbqFt#k>WLDaw;ZQ`r(3)2J|8+o{vT)JCi#;fHTp#BAxuL(MbXt;*} zDT#?zsWSZIkS&^Px9UGNro~r873%*_jH_TMr2*Pa3-4%;ev4R>*hPAQmG17XE|e?J zcOw})ari3t=)cxsG8?0bnqOY^-?#|?SjVnZrqWUJ{5}s&X;A2sIV^U>7l9xapTdsa z(Xo3Hs_j`QFzV}XUOv60lE0od5dHqY2&`I_51Dy#0@qKnPWrpjM+;4_XF+B)Z?C?B zghtcOQ&2p-{ z>hZ;4=gzG56tS`sQ_gNN#oYevj&Qq}yc4pYQyW7V1JAMu)?T#-GMCMOLI~z2YoIZT zxGwrSX%J~2Zg|A#p_W}hP9C$x0Y%H50*k0|>ou5N0#ie>{4_7@m#s^BH4;G7djE2U zc?(}gYS*qYNx>Ypv4d=<&-R3A$N=e@#;e>cy*QLuU>5gkqIzrUS&!$ynU6>P%&0fA zwxmS2^9>iXt(MAf*m=e^ECB478xZ;#us?iEg{VL&zwiyPz68=Vtv~^L-r^zT0YApgg$8ADDRC+Yz+C5^6L9p6ZAy!+?sq=%D4A$x3&lqm15Gbjv4>9Exj zf+4$j-Un-KolY?O=wW!A5ujLsUV=@R5OBtIoovE}UCb5f@`tu(Wqi)+R@tw2w{YCe zyP@~n&J_rrcTp8pbwuWbfJ)Nm?)uSW{w~)4hg({aIziH&U7*u>{Asr-eQDMIyqZPv zt6%{4;4CX)zDs|!U|pQouV5}UJS$REdhFIDm*1fmdC^mbx>N5&&98=?sB6Io9o-M0 z(Hb47`FC#C{IAe{mrmS9LF&lu&t-YgQSL#|ZmC%O}H2C zR&5Y-?MVwmmo8i~a~{x7H4;$F$cUH5vXudfCm{{wv~5`WT0LR}l(a8v(B2OyXC{p#tmlrdj&`K2ei#=Q4go573%HOIjr@fO5LPO}AtM@l1^5Jk}6>8i!is zm2F7Gl$_>jn0fWWS>(n2_G#?*HJoVMyZ3`4K8O=V1Wfr00Mt_>n++dcol3?MDd%#G z-Cma4V)9U1^zcOk*M)Ym{BmXdRlRyWhx^Oo1Xu)ib!?)`v$@DDHOHoZe{_Wh#HJno;M;Cd=uFS}F9No^IA2=QnrT67f+XgY{{i z1DoXw6?nRjiq%EVm15+@uU4cy2yihwLws1CW?T3~6)zU{18eQ}=MXR(vh8sv$c zS0H48AT(O*Y7W06v*A7TF{K}mO#OH-6G{$1`B)#crRK5s91s}Zs;weq?q-f|W(QYQ zRFtV=NfdWxaxTZYG?dy1yvlEpe(>3PW+hAVU1JCo?ko@mI1TzR_nvqM-m6$9mQZvr zffj%LMvn&D?{y+woIXVl4&0k4Uht8c@a>OTG*``;kH(ejzSdCpvU?A&IoX;p!*}M8N$l8=7?uA1_ zwmYhGa%{Xa>oS87%cj^4X0nRFa6J%efa3`JE6vViyU-<8VH`<|gfHUELiBQ}V1p1l zrU{?I{d-Z(z>0XJ_G%ux1foI8^VL73&nv^*oi&61;vcj~bMk9fw82?|!)qm*Zor$lVirTvJGG@tLBx?tt8Y2?<;agVYC z>O^cDPuYsHA$X6~&W~`4W*tuX zUKfqC)T%vkhdjaDdVxNp-fs>q1di9B=M}U_D{&I2zO^z|s@z~L`Y9Sms#;37b(G{$ zqgx?$$_YrT5@7c;YK*-zD)Ib!gt>(v^`@RFP@rxK^)pQse zmO|if2q`fFt@Uz!9F@Ng4!#7S>(;!!%9DpO56frWyhn&ad2gf(yka<9cmP3>t?~sW z{j`1%g1dT2ea($p)D|d2lSKXU`b8N`y&9j>_)&Fq*Abz8p5JLWLsLd4Ml^qkTw0lG z`WY??(nvUsEmZsVmF6}|nR(JT<%RK!$H8589=X zGB!bE$O|#o956GhXX}EcG%4XAF<@^$%cX1Qp8Uaarq5CD=$Njk4YLI^eSVORoPl>! zhere-VZfJDiFnegyARMcC`ZU$;{0y!hZv|X zPEh_AWA6~03)6;M$F^Av*2r427=ZFesyaSv)Phoas5a<&2C6SoVf{ypzBaQ%)NA5?hIgd^+D3~5*ohv zoTx=(n?*U-ayU=JyPg;Hb3zuLA3sYP^?O!UOy#lmSj3C%|DBa_f1;5#ZS^ zd8r_t#)pvgVL_w&a0{O;g;#MO*w}V$qp9mlY@G>F4fvRogcK#A#`TRV_AkF!6R3pw zpjFjx-Dkcj_bbr9qAt~YdCj4L#WE)P zxbl6I9Ak3_xcd4wHGc<94+=~VNq2Gv=WJ+4hadjsvIYfpykj-Hp^;@Hqo}NjD&C7>=;;YU>AGbDxvm{@*qk`pNoQzlY8bShwa znNrHtP1fiDZsPPh#VZQmXeB{C&QmS-+cw}Yg9>Sx;S$;y(c@HiEfCw-g0hAamnh@{ z^D8k?@kdDwPUNja8+gCh;_&k4Lfc@xa!%^eJ1WMU|CvKc4fSZ}aQOgzSfp}5P}bm; z8}D3$zNR-2g0mc;;3iOlY3QyV7%xJ$+Rf1j@PC7Wlbt4_u=#f1KmGSvyoo}qM%Pwq zK#L3e=NniIzM_+4Uy?&HdxYi+Am3>lLlO699BH8_sN~S&J|c64%uQKV4@{`-P8~BG zTOByx`BRTHSx9Y+1{<1;M_<2qiegXtzdz1I!U9^d>k>bXXvH3beVlbW1d{Lf$%s*t z7c_2mS&4srgv;bS_ZPTma^i@b!fjshod^TAfBCZt2@`p-htG+@y-zYe2b8&aF9MR? zj8!1)QW8w4#dMMQT0w5=m6^d$H1`AU!j7lq3Q1`X2Oq|5N#~oZdApGwWnb>ikXL5? z=xrYcbt0&wNF+i^L?^rtB@M5@?z7H35?_Iojy#P+z7-99-^v|c;^J6lp^$x>jC{fN zLNT*QfV5wyAGzwArCvwgB<=lacx}_hAqr*ec;5PF?BOXI(PoKK{F7jbh(^xX=i z2%|JDL+Es>uQgfi+Ry5UT8-GAA}y*YX=bmFCu=lSB*&iDT~q9AA&x-%KxPCyru*Jz zd5>}yd*M?Y36O4c+D0g($b=-R<0@|&%==}wugt5;Tm;VamrdN4ldqEp8O5&I76;UOU*{vx{Y zj7}#D#)~)U{%Q;5bC8xx!Fzl`*CA`7SfdnkTwM=ovjN~!5Vwy~_b zMr5wpu+h$IB(>-%n=aYKFb@xRI2`zWQqyDxfj{*G%AcrFRJZ2paGH^p017>Oe48Rv za=x2yfRW3#)JUD==R)_81B~JQ==*b6z8<@>V==Eatl8u!4^1 zJ$WhFZnF&fSe?F_br_Q4SF@RqEq<6BcMyo6xnfLC*2# z+bDP&+x3=csx$x5fGZXAMriZ^)gM1xq7#2SM9X0=hot%QeVKCH>Cg^W4PG9i)SWh= z!oRdF(`L1Lzp!EUxZN}2YiY+L<#gzaj?f=!-kKrjl9vT|XyZitVDZIJ#{UUatTM{j zMR5zV_NNSw!D2G4^t`@&rxE#CWF4v&3C9(vUY!8x*QT8l^;rR~sp43*C&X69tB6BxgIRRIlr>YR@b}@hxxMadftDer|8voIrg*yl-gw zN#wsMNv>U}i(R3ylUyfUXy-Ltd!GwL8~xy!FCHZ8p$^m3ES3-=lO&#GHV2dbcESpt1Gl zG2ygslZ&4DuwIY{n_iMpTv6Q2uCKUEcsC7c4u-_J+Ek}Bqc<|SXZ*#~!`XzK%{$hO zn94byw*Uhg=ZD>i%wK29EFb_~k5BHmQ%S^l<7ylVM8B3LneZhQDgJV^_lg^RC9bIM z6z(B?d0bb6;f12R@7o5p_!p0ig#y0zu818| ze%B1vlQ<*lT7z`c*fd?=R$(+K|B`h#fN%lxhr(mUQnikK{mF7Y*F5_oN%Ah=z1Q~YUi&F8G9v8?enRvLH0o%wyF1D7nBOGmyz)Si<&^x;^15n$KXQokSG5Kp zN$%p{@M1t6;I0%PVBT<= z(#xlV<7rYWIu3c-7uzEnY+APmAM-nq*;gjVG24m8D3zNC8M9_YWlD**P*yH7>^oX_ zFtR@^A5MAfeWGf@6^#(}b3_In;x*|dy#mQRVFc0DEGMJGetkNIAR9i8V%+d%n*6He+D|3;}c$8cDZb#N;?E z@Ynpw4wTinA1D7HySsL7%FO}dz3;A^Zeui#x0o+uZ_y+mCq1i7euDgWON-;yKH|vn ztUrq#5wW);Z1bDmCIJwYJ6iUq_>3wpc$aC^1vL7aEW)Lbz!el5r~)4vjJVmGsSqSD6LzB5&rzQa4E0<_?japeX5qeq`91HmGS;1s zs7kPfw=y>cnePgLRg&lNFD!+|gnKkWqhDHzjQQ)QwPsFm%%#xo*Ctpx$ zw^TH%OG@S@nnS5BCSaeK)wg;ZgAP&c=lEVI)zpHqf}%f*IWH}$T*nl*IW7w`iLs{Z zGBrhli(8`Xd75`aN}wqBWxK2}CeSEFfWu6bXi^>K4Lx3=L(t0bcp3pt2UaH1pwOfy zC2HE&Pay`wHXcKTQjIbqr{nDLZ`_quq1K_A8fHe~b#~2*?qOp)3*67SK_BdTrPTD| z)ktq1F2_49mhZ2U>7)F}qg{H9DC-jq`9)jMi29h-Qw(yZUZ{07t)*AJ>3$H7pJqxn?|M7U!?SVFkQd}s&mjViPNQ^yl^%bDtNQE^iH)zQyD7EvRZ z+K~B`oA`z@xE1f1!(1}$Wp~b+K?uNWdhhy;^(0Oa`v(xgN{Z?vPw3S~4VmaSo(SLKTt=&QG4^xEgO9AEbkq+0Z zh~Xn#&f7D~I2Pt-B`X`#v9&f+)xO|FRGV9l)}lFe0~N^^*Fn-=7&z&VT$iJIHOPP|Y>QE;iV1%2DNm^5l%P@N82>bwo(FIt|OMEZoXYBTANX}C!@Ao_oH zYwcbKmkd)Fca}*C^DsIF*kO%Cge_m)A40Gj?b?dg?2y(oVg}L|sy;}txAxkS&h z86@a^Y#s|q!)>X~xsb_orv^}F!|iE&?~YRWq6s&aKUN~w%i7F6^J?pR!u<0PtPupe zRu1_zvh)|#!>A`&f0QUQ`Q9;g)8rA&E#85^6u->8BZb_FFLN|w$ywaWYT#vLNHXPU zxx3VdRLQ>>N@sMMDy5n|2s*<#5nkCRMl^)CAXu{RsSCYrwo3-llwb7>dZ=Cf#>y#v zvhSj;`Lf9TorO_5R|^04CTs$Y(0uypk)Xa*uF2Me_B@^ZYfk#Wi037m~ zWCih{X|Z)+d_BYzPX^5o!A$7@;TNCM&so$i2v-@)vV`glWpAG+vWylX z6u5epfU_~~=Uw)i~7|Ai<^m`XLqW1c^MGuaLI-L}* z==E-TL~(5$0QE{>6wpzCg%65^NqHlmm7&|-}E zd1?l^=G4<=%~>Zx7V@*`Ix-8l%!)o)ik5*9#EV!~j2;$Bko;&6#VYZb)5Mn=&F7v( zXDb44^Oj}lqZg7GYlR?~w3iu=>bWfzqwtD9yMu6;w^0rxL$HnyLLle&M_lBLiN|$( zUsfzA(9Qm1odu1)`oCNfjMdW4@3M6Mv^N}04pmq*ND{rd7l>yit|Ima#H3Cn<+f4q zawn}n0<1{+#83v4J&(xI_&z7|dvIoRBKOb*wNHO4-g9Gn7Q{Nrrk%$M>+WRuHEZ{* zYf5d4hfhMd7r6NcfyIv7Y(GI>PT9K9-A~AgVTIYn#)}ILt1L@Yd$0n88zYEIcYiAh z1$Ke~;FzgtfQT}PY7PUryWb^f62~i)|t>-06NLCkNv#}iA{LJFs zayKRe?)ObO*&F0H)MJUofl%K3>vBFW6TLRNETT(<|Anr)56{OUB9T8rD?04|ZaOk? zS<^LV+tUKO*B|;Oe16)~+2O)Cn_;PrqjR7#Zn3{(CCFE!{?p|0ebWA?pMYu9e#r)N za|vp)B3)M)QxO&0ENtKs7aJ!Us*tXpIcxT)TsK|0Tlq4hC__Nyn&Z`S3X1wt!r|;v ze#?$zTl9Q;OlxgyHJ0u-hOxN{r&B(fT(Xkfqm;WnQC}moxJ@2|WxPbW>%|&5!^1ZK z)E8jkH&1D;*J$5j2cEY5O{;WM76jetMp;_ai#C#LmfsC+LrwuY>LnA=&ow@fPB|AuE>$jpt? z;m-7DKM-*mYMpdo$4wM>%K9~KFZ6Gbp_L^63PPU@BK-T#E!tx4!#2*KNB_KW+kjqU zr&U&h$Qskb&XyI+IHDn&(j!1@+$^5G1KgAqSr>n1<-ro!FK`I)3%{&6LEzA{^?4LU zC;m#msp6l=GZ8z+XO-vCUmgz2a++c4GV&CP_hQg9r$#j zE`7WjGi1}&A1v0})I6OW^v`4^Yj#*?mveC~6Oh48dBh6Mi;mYksB$k#2-N2FO97-p z?dO8MFW!`eBzk&ytHe9&$S8Ajw6N)95~!poTy3ZzvlYORn(R3ge}38TP)PdeQWapJ zV>B7Tf5FMM9ojeJjR!LlLLc2$jf&J-HhFr{N7_2qpEU)bk7>7lgoG(|yzx(yzqaMd zsClF=v<^`4sNueNjw*n>^ytDm(4Oo8-NSlc7ext z%vJ4gQ|>IGpRI<9(5~8@UkYKen&g&Bm^+Z8Q+4-Wt13%M7s@*53L!8ZM;*m0Tzb8W$G ze#u4~SsM@Dq;=S(ViDAV&Zb6>3O3iaja3a+BT+JeC9Yg-^?%l--1tBv5=1@|H1n zn_HG|?-rL?EObb6>m%{kFXkqXoSAAR>Jh}gnZ-_)HOSxqbR!qZXL##rNpZ-Eq7TkA2v(;F1f4dt2VgbZ$(&jVEDO&c z8sc}Wh?cykxS$?tNl22Cz?Ck98!nc@T-`3bS_xe@7Dra)rURQ~23a)QMEfrT^`0|O zfKfQHJM~}`^YByU9jWBg>@J5sw5;c3N5vovw*=0A^JfpuryTKR0a{V0-k&H00{>LZ z$LJdi=G`@Lt(NCu%@F^1)FlU`i0Jp&cF|e8?V@};0-xI_kU``)aPu(h@nJrsC1;Tb zcC)NDT^Z;EaqpowTMtbuSZ>#n0|dL^$uLRQq#yA{?{Tqf=U_O`8ax2Om{DT&)#}$m zIE!l6H9FYif@oQneAdSPbXHGJ)-!*dG99F#%a+#eeNkeH8B<@MER^Il8lnwu!1k3e zs0emK)i0NUn?YTr8Io5a9T7fS4k58D`(J%rS8wEhSkelz%OUK@v8+8YzuRzpNEnPz zxEE4y81M{X{pGv$*T1N|fj;XU4GbXVNdyE2WA;9ruk&avQV*%ec8k1D)^>Q&uG zgVq4Pq<|B~^xPew(^u%bhXbqJCmKVaOEvopFuY^7oOu*L}FiZ3y(z2geqonw$gCB2vdysvhQ6M@{iWw5#?#9>(^JlR}kxabzYU(1Mdz#ferr5 znKa|@;F$Ia5-8Y(Sk^bZrk#-u&YdW=I>j;9@NiUdO=4_0_P-6**I4?0(QOb z>0dB_Y-jKU)Em_$$HIdhrV-XfEG?qx=Vi*uRDwRF>Q#uQjEz9;Ehab3@-$tQTe`x{q~_Koz_WciDZe7W`Q{6h%h-P0{o{v_P~6^vE~jl zcDPVV`?xTrpc=uHh_yOMuPzhQf!*sWVg(#EXiXSUNsJ63)jI4-bzqI-9rj@I2gA?< zbzEI%7Y}=9#IZ;kQMK?&-ABe?nN$9{IRwhg3tF%!km)!w!RqVr-!>eqhS&5;?5M1v zZ0uqPhYW;1dqwZuj>a432(EK*JIj+9^Q3%lzS5?l6%FD2V?1Y{5w~REeM-EAeL(Bw zJ00VB*DNh~m(bDQa#P*b@6cyOWTA34T)M1`XPh2C0R5@K*_{M2hTs|Z|Ux`bmvW{P-pwW^&x z4RY49Ex?q=)7jNTbp}y|bx5f97nQz40trq{e6NsY&cq~GpP`sxt3->8lJ=M{Jx%_Y zajhl==X#gEf4b8VW|{U0HZ(xRR0=qwO6+71@xrWc=#o%HxD!Htfi{~;kukjh5=y6Q2&(RzumiV zHJ=h;7PMjZC>)s>HGcVDf}Xmci49*BEu`(oC*f6^ElNVy{sfO#pu4F>K5Wg<69nXZUfmg;3-B$(wl0`qY-02 zoUcgakerO>?n|>ppU!V<;6c(W#HY8=FH`y?=&AXi7dkoUx_CWBs_J)OzCJoTmrY?nlBK~(e_zU1m@&OY7rAuZo z$Hv89qbv4sL9U2uhU2vYWi1aHSn51DF8I|bp``t-YuLY)!$TH32fj&N0snDAV(mtx zgy5oI1rytq9?j?pC}ueHZujgfpEBmgU@2Wvf0zNb1e#mYj@mh{Y@Egy7&^!GqVI=e zudH$zTa;5D^!IC@d5Ry~RaCw0#{l9QqcQ5e;LgLD*=q&+ZE0NMD<)C|NhP*^deEYz zVm7=1>Vf&&%sRzCaa1_n&#`_#a(wwSLy$~b=B9L10hNAjZd6yT~ij1 zV67V)^wc1WXiCt{Pnm%b&_wU+3?jAL7w;nd#b zO=`A=zIxi?vKE`Zf8EcPp zFuMIZ_(|2Bn@yJ?lOFXb=huxSwZEm~uaQ{_x-=3ac0MAzUGp@8TB1|qAQ^mGw!vvQ zXr^&7O}ExxuqPoO(gt-EN*iEA^hA;B+KMaGcT7_=EGRGI_!urkT)jx9v?bs-?g8va(1 z)kC3xW#SFPCk=t%sQo4caKrVFk>8FLMKm3)bwr!-J!I369A3~Jw&MRswK06I`-J`e zCzsF3?=!#I9{c(sw_^&*5$mdpZa~1Tj2qdBJL(|kGTiF<3 zo0s$5U@9Ow+<_vlcO)kssOfHY8X8(*$4GbP$-Xdcz~ysB)$S=905CFT>iz9LoIKMO z2LN~X-6c&a#U<@mc0;VqZm!q&CL1PlzWy5jDXbdAfMV)L*B&|M~&z z{uizH%V;0Wo6~Q8IuU0!I z@*mYt7KFX5A<(SKQ?NG2tPcqa7MqC-u;||;eNSv8p_+en19o5;5n2} zEYLN!FfIR4Q=NO9*0^zP+l@M++5#jGy?gOA>hnXmDS?)49wklTD_x+1Uq+d8EBhiJ zb*BN<(gN565)XN|!hB!*Q_Nlb$rh{}R-HVq=Add@L;B_)rEAG4P#jBwjeKEa8BuW7 zsWR27n{5$A9Cy&)LeaSWHd~a#Oewtk4Rk!^=>&5y*SHgw3Z)DIzd?ym#9WyQ8VgSu zeqTcS>1+#WgjH7^P6|NV>M+JAY4$`xhFKw0Qb}BDk*z7nBp$w~d3_%#IYBA>A0b`P zJdim0(Io``w*MN35x;wL$5vfr>+gOlUJN-2?kS`ZZ{(joN5Qd)HWkis)yqM zkO1s%@({sOT`n)wqL7`-v>nrEPrY`sIhJq2h!i{)Lnh6oZt7C;E>TUaFKHAD5O3x3 z&ke=R2Tt*9tIw8a?n>gXr7DMZKLQ#;TIu1ZV@$9&Isvlz3LFZtx+HV*lV9@+$kKc? zK5xR}M@F4h)uW{0-^5J_`h|Tm`e)W}WX(RR9uYq!$Vh60+LQ4I<pmWQ7#*~q$B4+r$gQqR(>noMJ$~S@kvN+qnjTi;*lUBxd}z)aNyCP$5ZT% zT{c;ylpF&Eh1r!%(%2SBbolZ|qlw;&A(TZatAt`&SVH#FQpH?4KH6OHb8jgfNttD^ zprL*mttHPU5KQ>Ud#GtcpEv{6%=!5IWML|nU{fR+u6?|^Po4>ek%tt~SL1*Q-v&V)QNlebM{)J_?*`$=w4Tk!qWnOC*)E=UioFC&GPHJ8Yo}6Iocrh$r+) zAsKrZ49cQTxj6LKbQ2LaEc0qhZIW(M!n_eQg7~NCkWoU@#96W+=B=zlHhA`+x35Et zk8>E-_prZxum&IN%QY>qNwQj z=@t*5>AxXN?gOy#Og*Q_%=KF?4l>}EK@?vg@~7bdWMy*B#HRb!Xzc)e9=-5f-Spg<*;XcLpKBE-Ak!&x9eLdj)a6 zoCgedA}o$CWY4zDgdkT&Xzzr$;;YXAxFAa^Ks1odd~@#Y?ayfB;l*NIBL!!88n@1D zzqs65n14u+4$x=+3&K=){n1n#JNF!~Q_l};5>W}ys9i-H(cD`6*(o7|#>!m;zJg5G zNZc0g3uSX_-U5!uxGdf`R(CfAb+8vk=8*+EO(kWD|Pi60S5ks5m_347s8;i0)`~B6rCF0S#=VfDHck z^C@1_E-N%%*4F~6LAsa+pvLDQt>h)5sm&YteXSh_B*!f9I_uhan2; zrN6V+Fu3N1M7GB+-RIi|ZPZ4P#%;-R1w9LGbi7yciP=TwrJ8V+T>jD`%JLrIoAsZL z0DAiu&Y#h#-gj1VqIL~KJE~-;$^M0jkrfpMusRtd2EhoVYtAl*S!E1l^lgx869G!| zh!H6x=S&OG{T|`yRogO&*?4gu4OFq-rUq9@eMtw6idx_M`o1TBo8ta7P?c58E3AWz zC23aO7tzjWKMXED;i26ipjBq+oQxg($Mmp1b194nl}2FC@6#*R{v+c z*3o!Dk7CP)N9#Lz*sjVC920CL0dILBNqn>cN;k55gRG-odddM?90!3QR4>MfLv1h| zl!)M6fSsWhr<6vHf$+`~hv+QZmmGDrYqpL`MP|SB!53^q@{DF4T1Q1USmKk(# zDA&X(+K`}pHTr6{Ner^Pc|Ew@6wIc!l96+SW%?2gx8f|Y3Qfkp7o?M=q10*~@)I=N zS2{*Y(rEe|o9kOXS$9tt+FmgCT{%iaVx?g9;O3_p-*H(m{UO==Rs0eWS{_?~_Gs=V zoyReMbx&nrSDUrTs@sND(2lWZ9~qf1PI9j%ZuH%#%2Qp=B`=$LzZL5&JK=u{!McSi zaNDxC@yHRv21Exw3UL829Gl^h)ZuY?ujtd4n#a^NvV?NcFz~vU;HDzK9&%`PRmvHSz!S;}^D0KVB&RjCGiV=(LHU|~Sn5tO55W;~q;5`>9J?4&(>q=aPzzIqXu>of=W8clpEri&|w@@f)a>^w+=Zn3oH~2tAe|5H; zv*auKdL`@LT&vBdjDUH0q)2ZgAGqgj0T=fd02i0+*&*13wwdM3Es9=eLEri2f*#{E zt$T%HSK^rRKQ#mznQC=w+5Y5M(lNuJ^DK;g^%dFdqb5g!ITW3dem*zVWXsY-6#C4_ z=47{g&t;6(?|N*m$i^Vt!KfF$cNdZ|O;2xq2Yth>(Dgm$XQR{)|215^jo>-&CG$My!W@E8meZC6Ti1Q09Ou5{rSQKn=G?Zk2 zhvnT=&?&6#8rp2!x4XZ1fl^#K-;hhN9neD`tuMm%gyr5`bWYD0p^u>Es62%>0i28c z<5>VefLuC>rt8ZYWpIV$^Hh2H@_y~&Kjufe92qIC6<1fB;6RvKpAOB>HJ6pNzut6ZdQAkdI!c_F4d!4UzH zBarH#qh7$271XU`-ps<*qv+$lzCs{d=xD`SkcYdo&1k9W-XQ+T3yF@_i`DLdO3{6N zIAi;c%eOvpPP0CzsR$e(ppWo&WRD7tYnYNSyMJtK3Yh>0ubY3BZ#I!=OUQZwR`)MS zP9B5opQKzgM$&N1F`JUdkX%fF5&mV9JE(4GUAvk4*R%1|fuSi+bpg_s zc+ZEuXjk!;n~7exm)chzVVaT~Y*(Q|Dp9G+B3Y8wG8fmdb9vYG-CQlBWlGbC<2?`V z3i{UyT$);Udvp2XW`~6gpvs@w6-thMI*P8xTK;LKVaJO^x>2r+hIJNU4hx zR>veZ+n_4$-7!1U1M6R}jO+*Ui{3pRzQO|*#?aI=DOu9yiTodBQ{4No9qBu#{A5EedK{RI64T-s65LnTqc zo%I4Bz`jNozk$!OD(#}zoY71dF&+igVOh@0%dt4=Ng^rkOzIupk8pz_QxBf(hS#q~PjT zf=Lkgu&8%9IY~N0laV8vjU>+Rk+#qrqE6IDWi*pWPn-< zg>UdOIcLsu`1FYFneS4i;Z9L<@6{Qdau+AjMif|96YM3iL ziH54lb82JDQz(xz0F7znV*Z*Uq)FDP%Ua>FbbH6m}DXv32f$Qmw$gk;G}*( zLab(|L3l9KPOCUnPDv+G+K9e(4B-Vl2KvKQEDj=MO$nIEY&{#$UKx1V_80K7>Y9>S zzYDGJo@MZ3Iqr?3<%Szl@V=Mewxg`J)!v+=1Z3X%CCBtGtfc;tAgq)RgJZ?cF<1T) z;snb={11l-%l~$mu>N0D3Cn**6E?2@yZZktOqjVi*#BRZXF1B28p`T8sjdAYqQEJg zdyWc&2SA$PrJ~7=jHy1T=##QHl8($BoRjeJAQ+Ha1d3?dNDWw9`9%NFQyM^mpj;r) zKqKM8{oytW}?3dr$dqUvqBf=!1svwiE&pd!VzO4Y*l6h=354 zrQd^tVawyk3+K=Gv8V$Gf!RFCRH&FiPGgk$(2$5LqA7)yrkKzXzL4?ix%{V3xND9a zdVy>xl0E|@sHoUwh{W>2s>8~`Xe^u&g-g{8NSMb#a}^>Y?EBS0IRmhgK-?mvU>wMW zBd-G>14iTU5hOsyg1zyt|Mc=cEuwPN z!Oe{XnT)$WXRSYATJs!iO(zxApk~irXu_n$;39Hli;1%Jb6*&QD=wq7^LgMcY`h*H zUz(RmlRBP=85pef_tyOzk(B+}!Y)OWWdmjNUhfMNJi!R%*B2>ABzFRkc>Sb90Xtf%pgFjAV2rt8M~qvU|2Ys1)mH1AZ>V8dz+{Hz*l3FhE?!EWaz3z!d1Dq z@GhyO@6o9Ue%fZ&=TomYJ(gc%!T$V|aQ*3dx@oJ}y8YuF@tTp>AkOs`F3rV_|G@|N zFjOl__tLlTSNklN^Cf3z_5@d68y~Cf^PfRcXwd5x4F}6{uTG#x!>+H^BtrVKll2jI zm$zt^JLSXM9;u2Q;^ZDr-O|lM?TluAla+C&{HOhIjR!Ko1+Ghv!)vQ{{iFv#HvK^f zD1or(U?1&+qx*4FEOxd&9IPu&D63wOP7%R&`zF*{_FQTE*V4)boBIvQ-9Wo}nLp6= z&J9tf{aN@sW5cw27v%U&l850LJT{}JODnOn&Bb|7zWZ%rCp}pNxhsL5Vy87rh~gMI z#4;`CXxF`C={Up3%=&`9#pYH)WA-XwROchE{`;I*BPwCzw2i|XrB{^jhr#0)XHV=s zYbD{Kds6;2@67t+Sz$L7W+yGN8i8N=_0ASP``pv?3J=vhW%3RcRA^*lC^TI8mL>3B zn4oLt;^{O^SZ71ps@8@6_piZaDa+Aw(9G-P@3{IZpvGy(>^O_RoSORguf3gSn5^$i zM@kgx%}9nGwgQEDl?d801trIh1m6~lhWphpT-O9vS%>U`v^l(|cl3pI6-VahDCVE% z%^IrzWT3q|@HYIdr9#%x8Bf+TPo5Gj@a&G7Wy{tZ5g?^weZ8Afh?M@ zUU?tQwWFM10$%Q`*XPVe%G&WTRIQhoEshZ-*l>N4p7e(U<+`mW^3?R>TKT#fEyXi^ z&r+w;2TQ;1rgTzYM_B;>e(iYf*)Gq+loz2j$Y~MB31FdYKW=sf*Y!EgZw1ezfgik{ zE)K8rVz)!+R_}Jb)%BXNl=*!WHqh*fU+33Gnv6Eatr0LHP^5FIT5&t?u3E8*bB)(y zSnwW@8Cbn7TMBG@@%VSz<=@)NwU+8X)NffW&4r#n2xc|W)Ex zsi2=-jWD}Qs|1@(50Ovz*Y7ql!9I2KJS`Trf52bu&VVZQ${zuErR{AU0Eq+={ZoNSzI|7(78 zv2nBfzs~QNHgJ_>J5-KXXQ^#DBX)LG zAweLdu~|^C2js?jtp0epxxVXQIxz(|Ft{6%7eY7>H!7@%R%-tQi$aPm@cff~Fra%- zL17~zLuMkRen_y$AKBopC}6byTqY>NB*=USw*V3-&7=KVD!23;eiWaX-8di)Tvs3o z6_xbMID7wU)+Ky1P*-4!z=RhC^QQ<714@5^EeMD|g+H|5S;71$=QJaem&eEdKwZV| z`nRu(*E)don2PxY5hMLOy@ZMVcj-Z!`)B6*v<`_)fU(wwkov_@qIk*OF z@)@9~E)WFs5a!gEfh@X&b$`gLza;lSzFfG0kPy%Eoc;d%%7Hn(lVaHzgSxqb zcjX%}xB_XXqoU>46b}SFi8%uIGsN$T)}w;N#zJ}p8p;`1v+c(%3;>a9>H=YH@9TdP z+iV%uN`N7PoIG`j@9bL6tyZ6bB!uzuis;5e4emZu_iq(&oOy}g|FG+bW45P7-R_QI zoPacZZ$k_ZrL4|@pPT@zs=h@9aUlO#HwBRZ2MQt^`XUPfEx`jlw>F%9`}hM-pnrs+ zK5a(d4D7C=-@w%WX#;)^TNj?!5AKDkr$qC2e)a$O{3$!^Lnej-^Y6Eb2eK~5p9;C# zy|Q3kdXbOL?c<%oy@Lx+C4>U{`hGth$E#t2+WH6m%=jIL{D^bLm!iyh@Ktr}m+k0i zZ|Bd*2_W>(l1G990tOca8a#vi{hcWS4gFRf^&772TpI-LOZu+G^ilL%y?RfBTKm~R za_#q{TnsEKfd#Msu5xD0Cz^x!hJ5<1egz2s{F?mmPX4N%|7s^Bh9xZ$`nCd~e+dC= z*eAgsQ30v7kSIM6nf6aC?O%+`SRbc1R>H(gh^N2Ll_UdaF7Yl6BGQ?-Wc{FMZ;J>b zR0G`wNcdO_BR}%%UzVI-J@#@;nB@p~z@OidLgK&yzlS1r88M_E?16&TkMfvU0eaj= zgh5|11!pB6w>)UNHhb~Ao1>IeU_f16L5jg=`$Y*v{g}ae%1}$6h%TV+9y)sx&QL(x zO@Mxk8@V^HIpIJcz4hHvKmwD$`VS!)2-w}lSJWGD_s1`hkRlMH=X1`$uZAFz08rg! z9~d&5@P7}`cSH!DkWD|qr}c2ao?nZ};r>nR%{wA};paE*@4ah)a8Ch8u+ySF?!7|T z#@tJjl_n44%`-A|_IETZs=!SG39PqC-9h{DD%tl|w#PH4loLM@Ic%65J$GAEcS(lG zZVS)If7Ezr&Z31<{34gZr|a>Yag$x;5Ans~X)MN=#Up~ql+IV9Gp6Bq7i0;ME6-<5 ziSOJc*I5d$2BlPL=&FzwYZqtLv||f}`6!%g-$jvD4MePJSOP`B`0vRVi3$4(9gQyS zWkRRuD7RsvI{LcQ?_NKM2jb9YIuZNq-ZSWlJy}QL8&J=Go0Bp>Sk)*66oqPgFU8;Np;M!^?w*Uhagd)CEJ#5 z+qP}nw(FK{-?DAnwr$(CZT%ZR;&t@k4SINHIXsbj<=W6t>;;7S4@4OC86U+7@`z&F z=?uy6(ssR!92KHL<%K8Youg_sJWGqJxzR7d4GtD$k~=C@*B|V4U6GGXu%p&KO4(vP zC1aAwgFV-F*bf!4>y&Q$LA2HjX}9STAwHb}D&v3u{ISY|~3dbCw#q;o*2=c9Ik_SF=nr+*Rb!oRd(vNAgM>B{QOc~kZ9V_iLS z3qk+veYS8z`>JOW#>0n32WB|w-nof_i!MB|i1vJXnY5HYx*vp^0)Y@qR}*|6Rzz5~ z$M3=o%$;kbp?EPGJ@o`Ce5x^26je`VtImUrEdSHU#~$g8or~%+DUf%TO9>fZzXIK0vKpesL8Nz0m0YeFONF zwl%7?xY&Nde`X~JElnnLHFa~~7F@xl<+QZx^HsxraVTDyUElRe54qapF$U!-!dc2N zfGC`~g19wZTRdYA?lv0sxRKxY9OUh>;kE$;(3jIjdRgFve8aH8we2{=t#M}37!fqB zxZq&$`C33yjyB|x{ip7`|4v_b-2b?rg!q|9r^kVAqcN&ZY=HCTYu*bC=L?3^nAoqe z-5t!=XuHC02e@{MnNF17BHU)REjz|`4nC#OIY|;Xba9u4-Iys`(&aH`VOQYsxQ#1j zN5Jiy^pI?75o?AWn;_73M$&v_)Rb_n=AD?GQ8i@Z(uMfT!o&&|Aq=92iiMIm0~z5^ zt>>=9*P`gxU(Y~0bI$CEKTFaQF%UY0c$X*PX0%?Z4t2F+PTK?*q1^okQ<2;lHZjCE zhf6joYOBS@B8kIZp*JGez}4E7OVjAz_Q;Hld=f?X_y&?v!*35_5ia8>q6RLdN+;`vl}1_; zd^=OWlAR(A*Z=n1!&KHAl{m^h4c2Cz{ODU0VYy>m;5R1&%H_TAy~gj4Ac&*!&XKCb zCGmcrzU|l?>L&CrT|{&}%FBg4qP0&qWTMIvFjP2>2yd=%MT_X?YMdHV3f%#ENPD#* zb&pb_Ll-EjYVC3M{^VsJVhYr6YK=agK+orfGNgp4vdE#PJ7p5in1D+xfty!dOFu){ zdD?JeV2gYd-US%MPohKrM#52MWl%~;dWFd4$D4kJ2@z~H}Bvzln%`1{1YuD zCPr3w4k~lYjbah2&%4`>6qYyRE+kru1)PZP+yT_~IUY?qt@f7$lkqmD?0ET~B_%2T z)kmFgrFoXRNWvou9_p9VhM4z_wjMBwXK0lR%q