From 86639cfaf027d87e8786c7e442d103d4889af1ec Mon Sep 17 00:00:00 2001 From: noah Date: Fri, 25 Feb 2022 20:50:23 -0600 Subject: [PATCH] Relational Operators --- Appendices.aux | 2 +- Bibliography.bib | 10 ++++++++ Chapter3.aux | 10 +++++--- Chapter3.tex | 14 ++++++++--- Schrick-Noah_MS-Thesis.aux | 7 +++--- Schrick-Noah_MS-Thesis.bbl | 7 ++++++ Schrick-Noah_MS-Thesis.blg | 50 ++++++++++++++++++------------------- Schrick-Noah_MS-Thesis.log | 12 ++++----- Schrick-Noah_MS-Thesis.pdf | Bin 200518 -> 202909 bytes Schrick-Noah_MS-Thesis.toc | 4 +-- 10 files changed, 72 insertions(+), 44 deletions(-) diff --git a/Appendices.aux b/Appendices.aux index d7112cf..2bfd601 100644 --- a/Appendices.aux +++ b/Appendices.aux @@ -12,7 +12,7 @@ \setcounter{enumi}{0} \setcounter{enumii}{0} \setcounter{enumiii}{0} -\setcounter{enumiv}{6} +\setcounter{enumiv}{7} \setcounter{footnote}{0} \setcounter{mpfootnote}{0} \setcounter{part}{0} diff --git a/Bibliography.bib b/Bibliography.bib index 4948956..f61d816 100644 --- a/Bibliography.bib +++ b/Bibliography.bib @@ -35,6 +35,16 @@ url = {https://patterns.eecs.berkeley.edu/?page_id=571}, } +@misc{CVE-2019-10747, + key = {CVE-2019-10747}, + title = {{set-value is vulnerable to Prototype Pollution in versions lower than 3.0.1. The function mixin-deep could be tricked into adding or modifying properties of Object.prototype using any of the constructor, prototype and $\_$proto$\_$ payloads.}}, + howpublished = {National Vulnerability Database}, + institution ={NIST}, + month = aug, + year = {2019}, + url = {https://nvd.nist.gov/vuln/detail/CVE-2019-10747}, +} + @article{abraham_predictive_2014, title = {Predictive {Cyber} {Security} {Analytics} {Framework} : {A} {Non}-{Homogenous} {Markov} {Model} for {Security} {Quantification}}, doi = {10.5121/csit.2014.41316}, diff --git a/Chapter3.aux b/Chapter3.aux index a28a841..22dacbd 100644 --- a/Chapter3.aux +++ b/Chapter3.aux @@ -1,13 +1,12 @@ \relax \@writefile{toc}{\contentsline {chapter}{\numberline {CHAPTER 3: }{\bf \uppercase {UTILITY EXTENSIONS TO THE RAGE ATTACK GRAPH GENERATOR}}}{3}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {3.1}\bf Path Walking}{3}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {3.2}\bf Compound Operators}{3}{}\protected@file@percent } +\newlabel{sec:compops}{{3.2}{3}} \citation{cook_rage_2018} \@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces Path Walking to State 14}}{4}{}\protected@file@percent } \newlabel{fig:PW}{{3.1}{4}} -\@writefile{toc}{\contentsline {section}{\numberline {3.2}\bf Compound Operators}{4}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {3.3}\bf Color Coding}{5}{}\protected@file@percent } -\@writefile{lof}{\contentsline {figure}{\numberline {3.2}{\ignorespaces Color Coding a Small Network Based on Violations}}{6}{}\protected@file@percent } -\newlabel{fig:CC}{{3.2}{6}} \citation{cook_rage_2018} \citation{li_concurrency_2019} \citation{li_combining_2019} @@ -15,11 +14,14 @@ \citation{ainsworth_graph_2016} \citation{berry_graph_2007} \citation{cook_rage_2018} +\@writefile{lof}{\contentsline {figure}{\numberline {3.2}{\ignorespaces Color Coding a Small Network Based on Violations}}{6}{}\protected@file@percent } +\newlabel{fig:CC}{{3.2}{6}} +\@writefile{toc}{\contentsline {section}{\numberline {3.4}\bf Intermediate Database Storage}{6}{}\protected@file@percent } \citation{zhang_boosting_2017} -\@writefile{toc}{\contentsline {section}{\numberline {3.4}\bf Intermediate Database Storage}{7}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}\it Memory Constraint Difficulties}{7}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {3.4.2}\it Maximizing Performance with Intermediate Database Storage}{8}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {3.4.3}\it Portability}{9}{}\protected@file@percent } +\citation{CVE-2019-10747} \@writefile{toc}{\contentsline {section}{\numberline {3.5}\bf Relational Operators}{10}{}\protected@file@percent } \@setckpt{Chapter3}{ \setcounter{page}{11} diff --git a/Chapter3.tex b/Chapter3.tex index d58353e..1c42ad0 100644 --- a/Chapter3.tex +++ b/Chapter3.tex @@ -20,7 +20,7 @@ of the original Attack Graph, but the reduction can aid in simplifying the analy \label{fig:PW} \end{figure} -\TUsection{Compound Operators} +\TUsection{Compound Operators} \label{sec:compops} Many of the networks previously generated by RAGE compromise of states with features that can be fully enumerated. In many of the generated networks, there is an established set of qualities that will be used, with an established set of values. These typically have included $``compliance$\_$vio=true/false"$, $``root=true/false"$, or other general $``true/false"$ values or $``version=X"$ qualities. To expand on the types and complexities of networks that can be @@ -89,7 +89,7 @@ performance benefits of memory operations since graph computation relies less on 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, 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 + 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, some performance is gained since no SQL statement must be passed to disk to check the size of the unexplored states table unless the frontier is empty. The original design was to store new states into the frontier during the critical section to avoid testing on already-explored states. As a result, writing new states to the database is also performed during the critical section. @@ -109,5 +109,13 @@ performance benefits of memory operations since graph computation relies less on request option), and the intermediate database storage process would function in the same fashion. -\TUsection{Relational Operators} Fifth section of the third chapter. +\TUsection{Relational Operators} +As discussed in Section \ref{sec:compops}, many of the networks previously generated by RAGE compromise of states with an established set of qualities and values. These typically have included $``compliance$\_$vio=true/false"$, +$``root=true/false"$, or other general $``true/false"$ values or $``version=X"$ qualities. To further expand the dynamism of attack graph generation, it is important to distinguish when a quality has a value that satisifies a +relational comparison to an exploit. An example application can be seen through CVE-2019-10747, where "set-value is vulnerable to Prototype Pollution in versions lower than 3.0.1" \cite{CVE-2019-10747}. Prior to the implementation +of relational operators, to determine whether this exploit was applicable to a network state, multiple exploit qualities must be enumerated for all versions prior to 3.0.1. This would mean that the exploit needed to check if +\textit{version=3.0.0}, or \textit{version=2.0.0}, or \textit{version=1.0.0}, or \textit{version=0.4.3}, etc. This becomes increasingly tedious when there are many versions, and not only reduces readability, but is also more +prone to human error when creating the exploit files. As a result, relational operators were implemented. +To implement the relational operators, operator overloads were placed into the Quality class. At the time of writing, the following are implemented: $==$, $<$, $>$, $\leq$, $\geq$. However, these operators do not take up room in the +encoding scheme, so additional operators can be freely implemented as needed. The overloads ensure that the Quality asset IDs and Quality names match, and then compares the Quality values based on the operator in question. diff --git a/Schrick-Noah_MS-Thesis.aux b/Schrick-Noah_MS-Thesis.aux index eaa9e2e..1ed92ae 100644 --- a/Schrick-Noah_MS-Thesis.aux +++ b/Schrick-Noah_MS-Thesis.aux @@ -24,9 +24,10 @@ \bibcite{ainsworth_graph_2016}{1} \bibcite{berry_graph_2007}{2} \bibcite{cook_rage_2018}{3} -\bibcite{li_combining_2019}{4} -\bibcite{li_concurrency_2019}{5} -\bibcite{zhang_boosting_2017}{6} +\bibcite{CVE-2019-10747}{4} +\bibcite{li_combining_2019}{5} +\bibcite{li_concurrency_2019}{6} +\bibcite{zhang_boosting_2017}{7} \bibstyle{plain} \@writefile{toc}{{\hfill \ }} \@writefile{toc}{\contentsline {section}{\hspace {-\parindent }NOMENCLATURE}{17}{}\protected@file@percent } diff --git a/Schrick-Noah_MS-Thesis.bbl b/Schrick-Noah_MS-Thesis.bbl index f8ac336..ab8202a 100644 --- a/Schrick-Noah_MS-Thesis.bbl +++ b/Schrick-Noah_MS-Thesis.bbl @@ -16,6 +16,13 @@ Kyle Cook. \newblock {\em {RAGE}: {The} {Rage} {Attack} {Graph} {Engine}}. \newblock PhD thesis, 2018. +\bibitem{CVE-2019-10747} +{set-value is vulnerable to Prototype Pollution in versions lower than 3.0.1. + The function mixin-deep could be tricked into adding or modifying properties + of Object.prototype using any of the constructor, prototype and $\_$proto$\_$ + payloads.} +\newblock National Vulnerability Database, August 2019. + \bibitem{li_combining_2019} Ming Li, Peter Hawrylak, and John Hale. \newblock Combining {OpenCL} and {MPI} to support heterogeneous computing on a diff --git a/Schrick-Noah_MS-Thesis.blg b/Schrick-Noah_MS-Thesis.blg index afe67f6..3aa1185 100644 --- a/Schrick-Noah_MS-Thesis.blg +++ b/Schrick-Noah_MS-Thesis.blg @@ -12,45 +12,45 @@ The style file: plain.bst A level-1 auxiliary file: Appendices.aux Database file #1: Bibliography.bib Warning--empty school in cook_rage_2018 -You've used 6 entries, +You've used 7 entries, 2118 wiz_defined-function locations, - 535 strings with 5191 characters, -and the built_in function-call counts, 1883 in all, are: -= -- 190 -> -- 87 + 540 strings with 5497 characters, +and the built_in function-call counts, 2047 in all, are: += -- 206 +> -- 88 < -- 2 -+ -- 34 ++ -- 35 - -- 28 -* -- 111 -:= -- 324 -add.period$ -- 18 -call.type$ -- 6 -change.case$ -- 31 +* -- 118 +:= -- 342 +add.period$ -- 20 +call.type$ -- 7 +change.case$ -- 35 chr.to.int$ -- 0 -cite$ -- 7 -duplicate$ -- 79 -empty$ -- 130 +cite$ -- 8 +duplicate$ -- 86 +empty$ -- 153 format.name$ -- 28 -if$ -- 392 +if$ -- 433 int.to.chr$ -- 0 -int.to.str$ -- 6 +int.to.str$ -- 7 missing$ -- 5 -newline$ -- 33 +newline$ -- 37 num.names$ -- 12 -pop$ -- 30 +pop$ -- 37 preamble$ -- 1 -purify$ -- 26 +purify$ -- 29 quote$ -- 0 -skip$ -- 68 +skip$ -- 76 stack$ -- 0 -substring$ -- 94 -swap$ -- 24 +substring$ -- 99 +swap$ -- 25 text.length$ -- 2 text.prefix$ -- 0 top$ -- 0 -type$ -- 24 +type$ -- 28 warning$ -- 1 while$ -- 18 -width$ -- 7 -write$ -- 65 +width$ -- 8 +write$ -- 73 (There was 1 warning) diff --git a/Schrick-Noah_MS-Thesis.log b/Schrick-Noah_MS-Thesis.log index 9d95dc5..4dd00fa 100644 --- a/Schrick-Noah_MS-Thesis.log +++ b/Schrick-Noah_MS-Thesis.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.23 (TeX Live 2021/Arch Linux) (preloaded format=pdflatex 2022.2.14) 25 FEB 2022 16:46 +This is pdfTeX, Version 3.141592653-2.6-1.40.23 (TeX Live 2021/Arch Linux) (preloaded format=pdflatex 2022.2.14) 25 FEB 2022 17:30 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -299,10 +299,10 @@ CHAPTER 7. ### semi simple group (level 1) entered at line 52 (\begingroup) ### bottom level Here is how much of TeX's memory you used: - 2121 strings out of 478353 - 37194 string characters out of 5854635 - 344865 words of memory out of 5000000 - 20194 multiletter control sequences out of 15000+600000 + 2123 strings out of 478353 + 37223 string characters out of 5854635 + 344878 words of memory out of 5000000 + 20196 multiletter control sequences out of 15000+600000 407157 words of font info for 39 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 55i,7n,62p,310b,1268s stack positions out of 5000i,500n,10000p,200000b,80000s @@ -312,7 +312,7 @@ texmf-dist/fonts/type1/public/amsfonts/cm/cmmi12.pfb> -Output written on Schrick-Noah_MS-Thesis.pdf (29 pages, 200518 bytes). +Output written on Schrick-Noah_MS-Thesis.pdf (29 pages, 202909 bytes). PDF statistics: 130 PDF objects out of 1000 (max. 8388607) 84 compressed objects within 1 object stream diff --git a/Schrick-Noah_MS-Thesis.pdf b/Schrick-Noah_MS-Thesis.pdf index 878da6b5623843f8a6ddab4b4b57c360cb584c41..c90e2b1681361f8a110ec811dfd72c8f92bd6136 100644 GIT binary patch delta 47795 zcmXt>|NhzK2ly2 zQX?AzID3Y39XM@@4gv;fi5MoxnrI*HtyIV!mtD(*3-AVaF#7e>`vA@ch|TV*BDOqC zf(g&^e%yW8O;SEg;qfQe!K0YqwH_hW3H6SIEj@OP0*=+ac0JW#b_WCVmLBHq)iHpF zeK!6T{3Ig>wE12AW5Vs5>$pBbTKmWDxsY`Ql3A5vRLFRD3?MovrK9rg`0)yO{!qA(k(9<43FgK_t&G z2mDMMZDx-ky?dU-G{AI~xeH_VmRO@U8R1;Y>`u@)KdF-G(8w)(pAn>(9*nSE3?|Ko z9!;aa$JfC=xf*C6DxHO=G@qQjAM64B1n0*~El1SQIO~vbRYTADQe6+@elj{o5&S%xtZjA?@1Tp zwMV^n3q6BN2TF%JcKOwrqsGK^+3;KGyPxI0Nri%gV>-y)c36yDjK|h*H9i;`ZdZ-+ zhoGP}-94A2ORmZ3vq%0+vcJd92Lm!UQ^vWSrbU{Gx1*5!z3oSt3HVToU;63-B>+R| z^Is;l(||3?GA3MGKLxc9(GVW@U(8d~S6&)usvWwK(y87nof&g&2Fc67aDgN5IX&?R zbPR|~4G|CtC)DBqTJdeqq1?%^@m!&A!xfnizr7Li5xOlv*$f%-82p)iW@%AEBrmcT z>@8VnX{@Rs_gIovTnNR(n~OE*;1A9Z@M``i8vWAFWKgTXS^0X$x$xkb`qA5;9Fy%} z$XVthzAo12Tvzhn8`EwpG#R(3>{q@t}}#SD^xCPoXXAB=#{QN___sxmTU?#0_ba^Fh2%;Tndf9aL3{Z!lFT#~Oo zqW`(sO?SrgmKlH>A+!h4@^=@y%~`YacnTbp8++uFa66$xNQxApek;tQ%#QokErD4AhZ2kW)M@ z$eLAh;+k%STd}kyqfeKMB)D08re(W`_YqYi0&FDK;)FI<7|x>a^gw$xs{8m=q!fcf zH7y=$yBc&cGMs45SgHcQGK9)Hemgt_MLImYG&?4Dw zYz_6)Kbm1$ZysHi1vzerqz_}N2DeD1h87CBOCcg5`tak{97(H02J6F`8$cr}92}SF z@ZaxhAFCzp9ZWI$n~E5#k3t1IR!jVh_a?2JLYs4waa@+2)^i-UM)vh9)tt=wIei23 zpO!CLmN7U~aG3M7qQNj0d7keeaT;U4d!80(JLeWs)Hhg2Hdgi&V+cAB)f5{-AS;r{ zLT|Zr?!aLT@ay0XmTP7hKeDlOxDeOrf;Bm?G>{B;9@9hj zR534s(Icj)y>7+*#7@U zjwUt;96SJ4!2bl*f~>-Am~A@$%9J604&LuFNE|)umfybJ4<#h(^!I-E>>n4 zoz^U!WPFS-zpXxt??S?BWR{mC-`~twJY2xy)Z0-o_yVX{91O-LDTH$YcqZ?PmoaKq zgW$4+r&{c~gm#v>h;aW<{@-aKR6~kX)sx2MSkcZZX=TcG2*aOogu9uL1Q8&0;ednc zT&MY?O#WYT91g$AO)%)%F|NKwS!#=O!K-n#lAUP7GPGqH#WpL*@|wN^AlRL)8$$me zoY9~_ZbmTAsen!?@|3+gV>0R`bEFjdo~NWv0LSpY0GZq6b&JAS&bU6 z_XHSFie6zyqryi2H$5#E_!kfmK(_xkWI$ywovHCu=om_$~$iu-pNH+0l+%b6a z*4@`-`DIZWp=60%RXf(*LH>IXi^*c7e7%tau=@vBH=+#>E!vKn7qaJ;s--=ChgA~q zP00qen1&b2Q)|1pcPC$O?g7p%KWwlOdtcN4y~i29)nm8dh{7M)6sZMNrn zt`Gee4C--Z`^mBTGcRj%8TN%M@-xH2hUD`CW3 zVr|78WNf%gmUQFP$T?^_@rYtu`l*u5=kaYwgOy*N#3gl-`It@O_Ta^mnxIs3@JBCV zXiC1`bNey=ND8PcA6r$CI#Zn6f+&Qlgy-ebYzWTqTG+8zO!X*J8!}16E=1EA1O!tm z2T>0-TgHRG*_JSK*&_-7vM+}(_4$9WNg@IO6=58-PJh)`u`M0v<89+IsrF*An} zFkylAcC>UNzgT0k!ZCa~AwkX?31WlS_(ffP(B}4}#vmdHTk$BI*b*9JG#Y70G<)q@ z`zb5+jD%RvG&*^h?t``#|1n@EQ9cbU^!{)oQg*&4etz*yAq{mC*sg~k;Q+sj#Cm&^ z#}&khMlP@VZ@&{0s2Bn^EEG$bU4Jq$eJC^)ha8-qU*rih5`8jdR-jiB^;#MosK@TR z%&_%&#jOOTu`@0gBdLskv88&Sn2k+DO%ctV5>h>cr)&Gj1LoEYG?n`NAkr@q;e9R- z$N2#yF(^k}^mU5nUpH zk2!fG#Z7SyySZ`A}B(~cX)hW)eC&Un#6kb zV{qp=wsPEm%8x;*O~8yS&2{!{ZXa`Jpm>T10wi7qc>X zwbS8$c!0@)F>K++D3rrxM$RW>ul-|9ESgS2Re}@o)m_NGH4$ki9I|FVH5achRppld zQPKR}#J!pD5Ts&ZgnbLej#RJIqcAxL&j2f}#OqqM&3FA%wP+EKx|E@oD!LcVSPiGH zTP`Xla{!G3#_3iZ?~XnkJ>KJ_kx=A_A84?Et1z$04EWT%m~XYcXzUE?8%-!i8g}vr z#{!~>MEzc7aOr7@`Mmtd3MCGr>7|YI&y!PzjVgd?0<~Aq_W2?9a4`lm`{kAGLfY2} zTuG}9Rz3>leFZ!d@J}ChmjE7?6wvGNtk7X!@b-(XPWafUz5w$S4Z<@MknpU~#S6}> z*ShSJMg>LL6IP|~!RnSvE`R*A9D_(dVOu9O-ehrn=~o8y-}{%T)mg!1!hii?qUAhVNVW#N{CrnFZv8dM($(b#`8jn7DymjwZ=D{8p{iJzQe z_$V)`<+FO9bM5EsP=u0BTU3)oRHh^0=qFNG2%5@qS>~Trx`DEg&|STTMpd0$DbO_R)55t;PcoSZIOYWV_GC=g-JSV6u#;}Uq zAOntSY|#0!lNU42y%YQ+77e^M3{+GNNj{Z;dEeP%2V~cT{h&TIq;R=T-{po5Hk3MI zX|qCO{#LL*yiRfUi$V_JGUe$-IzI_mQQ!(r2bjeTqRIZk)h=sR#o;h(D>fLZ007fZ z8naeTNkSmmmwNCUr_{ z=M`p17g=k!MQ9XcHS{?_(Gevvy+ND90pGaRrRf5-9+3G{327ujq5JvtyE;)74*u~` z7~=Sw!V8j@xJK{@!iFtbMvts;-siR4cGH1*iuwnDYuM#Xy6B@tBmw)t5b-+#d_2Xu z6*Fa@0t=Fpjr)H_Vz0J*!WK7L-%SIWOYuS`8J%hZgs)6esZ0=ry(s{?*>_&oz4 zUbIgyB(8N#bClqgEb&^)R>i`qh4^Jq=tnjR69K9jrD2^s)5chQDQX2F*s2k_$~jCR z>kD#Q2JXF2>#7)($HY6WX-QOIY<%RIl&AyV?X!a;D1z9e{O1VF01~1`z6F&p(cj)D z96?ET@8}xK?!BdpGkS;7!Cyu))f`>DBE#~7H}V&gmGvgd3~044CHO#}l64EqaJZ|X z9f9?yESfvfY(72bYKFF&q&sWuIEd)0?5}m0vc~QtYq%jEQZ+8r06Mw+v`n#3IB*CO z`VqSw5El$p{jMWmr`%7?dPE&=S3|3(+C`y?rJdaR0B!ovT9bM%=qa&OPae9){~jKL zopQI+A&t&plH3Se(=U&vk;ig1sp&Ke!H<_Vvdw_yJ;g=!JZj|SAWO;>S(^#^h?$os zlgg{kJ6|*9lEH7G$LsB6pFBQVCc!lT9`_;|M7#XYuI=v~A{De+Nd;b^#^%@&b0L9f zD?egohTlrh@;S(4hwTrSq@O}hejm&E9M{?in+%-+nb zwK7pmBL9lnA?pus%dRp4?&Pkv=b|_ZvF2={BD$cwtXe!g%-?wD`=+?OvHwIb(BDP8 z3aY9KL-}FjNw}Y-#%sy`uu-a(U^Ib8flOPV*AK>JkF(npd(X5_&%F2REaT95V5Lc5 zue@xBMNj?^>>%zz_8=?@Ud>(QQ-0NZ9)2-5dqq}sB}n5o#FS30A&Z%Y=#WbgR|)I) z$IF(S;yW)WIEJFhN2xn=)hx%zu%F72E};f4j=Y1X=(0f~gy1a4g!w5!uXzU~f$lS` zTEskNOzDOn9zWl>mmZYi!}-VQ*IG>vo!70RTzC>VFoNCizGg?9kTH?x`%2r<(K*Nx zbpqK!dT&h7YSfpJ9egKmx)PSVDl(dPIf2nkbJi8J4fnalFc-*Y(cq|6CwzY9R+ze+ zm>V{m!lT>pkdzn-YYKPKQZN$ipx;DDW0%X9_E3ncu#IQJ^}76=hpc!+D;laZ5ex!C z3`~gLzuYOfBgieu&R&@Qlu}Kb@biZ;Fh@Q%Rb=fPumak@;Tu%?L>OrN=03KArWV&``T)3C0ng6<+A4&r`; z`}aJoyEx+qBlfW;e6&2m_#y%Vnt_u^XUxocxZw}7r2>3Glv@j)MC6{Ck0r0cmb)Yn zCGiIYm*M^5PUfX76|*F{z2$QZ#fH27AwEUvvePAb&FR0JI9hlf_kx+ znstN_%P3yAl3GfDJz>;-$3HVDSk;HgTxyD@J@`H=zuO+sh$G@P38a#Vi^}5T+uwrv z6B;!nv(X_ZfAS*dxMPm{p%S9PRV*ZE-N@!%0`4^!=cLz@aTjDk{j5&5$bdjD`X(5o z7A`odrhR@omiC3M{ddV(=vI6}rQerI-g;fCBv<-03pBkH2c9pBkQ7FVV{ERIhm?GO zNl-Ca^h69~w1YtsyuI3`XP8TUI_|xEUFwOt3C5`b+Pfqq=Wn!;*0)0WLLknuU0u1=B9D%^^Q%Z+3_l;9f+XsDBejR1_eSR zMbY%+3{s(wa5r3u20qv9G2jsqh|Ju3b@=XW_-@_h>_q}P@!}1op8mEH$Kui%AdR;t zC*g>#c-`6Hs9&fiEwtRS|AaU2Qq3oOIt%xBY%b#HJ)c(`i-*VhYOGUl=unvybGOWl zmL#{DwGGs(gV$CG4q_NQ7Oh8HXGjnWFi1aIFzm zYBQC*Y10ITYkF6akL%7Q1Ztw;%&xYcM&gn~VGt2gWo3oBiwFNx4b^HrGL`aaU3NWE z%95t3I+K%Qfh(xnEG9JMZKmrNtBHDG>e&$#B|LR+#sjjfc%a1J$!aJcWN0hFlvs%C zuAagn6;IOwyezk1q8K(Xlj4sRrQ-r9$0&FkQo1lz1Vf(qIf1)<_-f2}zF5&N#p+~D zkiT~k0&RHHN=9~%Dp&Fl`~c>_LxIyDybprRCLXF-Rx3-tFi)gQXjzWgBnrxKAtI*; zM$;Zv1>*Dn>VqWT+>Ve!|4u(|tQXx#K*4TfKI)^bdv(s6JY{e{!VTwwDQ-9zJgBn7MwSrkW%mi1dlDkIUxnx z+^qE_VvNN3UHyT(jW}0$sM|{ekGYnK%K??%9F@k+D7(8VIo(x`T|KD^w!g#sdVixW%G|QTbJr0^@b24+u@d;^ntsi|<`ovvq4BG`E$Hv0&|S zl#(-2a0vjFmGWEhul0|{vA z#J{3HCLrRiiR1=sY%&h=)1-}Qx|QsS6#SNHn59Lm`4+`*T{=#OGA=Eil_q@(_CwPk znLsmd_jU!Mb@Gek@8(vW4B}`@ICINx3s-3U^7pZhau5Fb7VOq?O=_Rs+zzEkF_aXo zvM|z|u{L|TNfc{rv7PY>8KQ)4Sk9G4OwxX}t?Fp=nvkb3CWY9uzt!ORZ9Lp7HM%-; z*oUT-G%HWC>QS;5y)Oro*y4xPz-^U60U+zC%G4I0?CIy&d#B*}mIW5SY(7jo*D_sv z!BnkXHxx`8CP@2Uq9>USEuh?v-d}22XBq0EzJ*Wl4(nlv`ImOFi#L8Qs!94tjA|3u zLi)enLlY>(;(y9t4gYK)bYp_tT~AI!2+=Gq9Q$Di+G#T{Rl=;@`^)7kJG~928bGK( zYRpOMxtfU)v_4y8BxDRLzHIm{r=!udND(>&hdgyG754;37Q@w>AT-!+Q|-W;w0cG2WS$i0gP zquyFWew9%{?i8|;fbq_F^?!%$hF&D9w&>3MJth&d&^+K7e@!Nc{5pIprDkOrUuzt z#;!#+Bl)4!W~ppExs_P&hKu|hHs{`K6UCRm@O-!2=q))~z}f40yi5*MpjFV|PzFRD zZ7s|_4K;3b*CnNgqex!lwmo%Z3@~KsV+Q_U{T($9&143SPd^F#xfT;aBgO6XoW)8X zliLF`l`T`<306h^62lT>Yj|pIl|)$0*-!fn-OMGs@tpbB+!Ro%Wux%azTpC;DV9JD zn)5!0B@oQ|PdxB7%kBkT>z@`c{rL=^w6Zu#$fKvDkJ=N$1m)nK7Nfs+Kl@hj^pe>O-Xi`m(16y zBA2>K_VCQ&K)>T-4NHFQdG*6xwxuFOCV{RETnKWWB|Gab4K*rIyY*~EKDY%MD?oZ6 zP=lW*mT!$83sv7Y@_|5Z4U~zb@}qs_%CY{FP(0Dfb*2+lO2iDo@4vHegWNl+e2+;G1%EjZ!fJK6@okn=o{oJu7 zO>=l0v4NX{&3OpAcr?2m6oGNopS3pL4H~jWBV975PVSzc61EV8z|1t^1Vt0$hu8ZF zp)_S*Eyq_OAICTb+mdU5Rq&-`AUh;-@}QJg7^&?+cTNPxD&ggq8RnhFR*$;+ za9Qh!+dDtnc&4o`wRgHArrt~oG2C0!qrBygqf>HR+Cm0>ESUegnOczSmb|(9>9xX_ zuEpK`V_Pzp=uc=L7R>z|%T};6=OgrM1+(&mX#jxmvPB!^%7_8WvTB+%_a3rYG#_5c z01V1pcLSXMTs#}?2)KXnjJJ=@oUcjbs=EaPt?Qlq*xEQnPmcB09tLZFWk>q?F$0g( z2v0&NgU|p{JW(X26{l`LcIcw35;0bPj-dDZx%YlnF}U(&TXboaa26{XWMqNSFzR=O z(m9^HKAelX%D_$u1`PC>yg)v7IsDBU?n1~VqCJ;ZbBC}ho$p_(0@E>(|xK z4ECrN<>W;jPJuZ;5Q$@r)`{vQo?pCyh#5d>bYzlc28Qb}qf0v#8x0%QZc{>q& zLY@xqFk1DAiYe$F+v42%ZyAc6m7DW_7ycje35P(GzL$o|5=f1e;rPR`Z4Z*(mKgm) z&+b6pM44yBU(;$E3kue?Bp+y<2Auv?NpBZh4V+dSIXS`tPRq zKqFR;T9SGG#_7>xfQBCQ7D*jR@y7 zON$GQ!^@4&9DX)0*S&f|Jb`%^kcUU_#7QqS+pD!D4e=BNha!@n?`d}ciJHZ~?;IQWIx7_%?YdiG0N z*n&BHKNB2GfInh=aD_vB;2qNSy#U|r=(XojzEhdjl;7kGKq44yt!txxr{#(GJev%> zNM5iSBPB4;5oqW~GrEFFP*zDxoip>JFiA_Imu${!P4I#uu{3fCmL)mAu-YpZ=QNy$ zla@9z28k+tOBzgl(!d*-!E&mohvrdw7PCO*0r;I|IwME;Eywuov=m)UxN>h^m$rq& zaL-^s85HIKMmccRK8aX?bx5Rb6n%={QLOZKxDo?MxtJ6@q*lHJqOh!0kqZ9!0a}zy z;8oQw{`Ui}@xlEWY~O)HTuCP0C=zSKC7PBIoGps#?i|c7FhU5>8}%W2p_}VD81OmQ zui>mf7)c^@Gl8`4%m)`hiOSf#r+@*SU%+*YSFddx+QUH4cRDWl6Qcr*a=b`T$^nCx zo!)`$o03;<_$UPqlq0moy16?@`scThB!RqS?foxDFK1Pro6lvI9lH=-f(GV(DV9*4kVY6-&FOW=rC;?D=v_pM?Afwxq*+F+1b1|b%IyyeJ z(WVN!NO8vIL8w6(MMW*O6ED!N!JJGo^V_=;Z{ivh@SqAFS3TscWdpbj{gpyjDc-nP(;2mQ3H|~>vi`IJGU(8w7 z)EZ1PB4k`E5cM%yr;XjcUPChnHa9&rAFOW{Z^THj&!BN_nNu?KnP~DhPq$vLHRO=p z7A4EN4hcfvdBI_iQceh3O)5qZ)Xj2 z1G9crN9iVd0#3B^-7X!xlz(sV7y`GGM2}Eq0SkB*Alb$@0f-J7s?DyWv1xJ)nk2}b z=4L*9ui=|m=5JGHH8f#Vz7kJrR9bjm!E^S5R|DtLQ%ok=_$l~*wwTnE*{sy+nA~^n zD#sltUgSTA-B>>02)t4ab`%4~gb%4k~c215(fVJYVPca;>=%rAxe!jGjt-MuQGIXu z=>58Bes$c^aS;9SIiv`vuDEcDzM5~4qH`_M7a}6vVEjCeTf{;GsO2M%IrS*0&6GrX z`>j4=08L#h({=43TI^EQDfyb5w=?*O|VP%_+NZrI+YikvkMUPOL@nZHQEA|l5=tx3Vv7r-}E#%PAfJoG)&WJZ=axBbsp{4ZL8`>wY zzv^(BOrc{on}+vBN4I!@=11$sO=E%ktE#47|6c(_90Koa;Mx5sPl!ugg3u?3z70?Q z$>h(u8c~7|^)bmI-b2o?zrn#O%du%nf?T|o>%f#}=lx}iMwXCClj;~MiK-3ehnn5} zhr9mbj9Q8`wm`M_#ZCk2%{QuEMk8^CVlp@_1Q+lB-xYo)9CBj>6c`#aqKUwa#-qrk z2aZ5=k3X8=5FTa1+$T;z>K5BuxB*K!^JW{A^;3`HlfhslaAHRIgtV}~3dVR0g-VZ^ zW#cvTE4s%Xu2X-r@TX5)H*I|3eR;i~Uws#9pl_h}Sz`!Zp`O#RKh5JOq;fXhj1yLn{%CqWITPc+!?}Ci6o6qG3E0+8Q z_H$F;BMIeO{~lla^?UdO-!=VAzWA4rugwk17tk~M{l=?XTL`N7Wv`9 zN{7Z6hh6U!U>ElDRdbrg^{wr*z#2@9M+hcxf<7yybq|3tmqJlpy0&~2`2<&h?IGSq z)c9#KW5}BlCqR*?rmW&7g)iY>;fbunuMLaT5MLxtyno&WH8Sm3VUQa^&a@jStnY~+ zbE@l6)T{EKuNklb_OwQ7nQkONnADtA^s|6y+}&2sV^>QnwNoNe z+ynNfM9J>*sBauV7K{?sJs1F9I)jtTibu;JOCDoGwV#lGy6Nj?jlY8T9Uk?xFKq!? zDiT^R(8=q%M1*)`VxKgzvEW69qA&!4D~!Nsy&XLMJO5W5HDF(aBTE_5+=j;sWElii zOnMg0HCi&yh*M-O8POugTC{X9bvKqo+-p78Ec+5?_XiP-!cxj|#xf96&;A6$6fG^^ z(vrt5X1-mt+OL-p-!U)1W~P^b=nt|h98m?MiRW@;27@{)k68t$8CY>1e7Fb*X=^hG z$w1ZNh{P%1oGNg5G=C9{6cE%f(5#9FrNDZzuE{Yt)Wg665+)zWR$L8ch`sUauOoDj+=P}E)JTf}ydE6FujRe7zND$E zx3E0&W9ZK{WXuY&d{dm^hW(&s4IL`!G|Ly~eZ(RcrKCV;1t}GAI8{w=scZ%WCEehwdz$kP^FNSadzf>iMB`M;dtTOJCL$4u#u>R&d&l7%>9| zSg{G3Tz?zExj`xHv+*%>4TsWa^(gK~CL#~TGNP^;DBhI2oG6@I?%@cA4EMR#<=N5h zvF^lX6Ji)3G7Qp2=EF2faKTg#nQq6<(k+e@@a6|mLintV&vbBFkn++PaH5iYDE1!S z#lO3vl+7Ub?RMv1LeHdTXn4N@O!A?HSU?*SMD1kL#2pxHzSTD?SZ-QsBqD>JWg7W^ zuR*h}tRxK%natYxB4u~6GMOq6q5673l^%sd;>6-_il#}7X`g9rXaZ)Iq%}~?MN;}g zn0SQL)^m*6!cH1>AQ~+A0A5jN3;-2b$e_`LQDZ?%$2ALMW3&!jQFq1;;Zo=^xI^k8 zSz3Zf#o2!O1EE#sqYBaB^z8&g*m=% zODC==ch_d)^7$x~vCis=zY3*yf@BOwr_ngX*K8oe+_E+gNOv_cd4xbF3_`lik{VMj zdR_{PH%3C&_WVb*-wJDqtV%bq49k1og9)(xlRBkbl+kvwuuxF9tEjN9(rGSdFiqmB z%5`ssxNQ4VT8?C0M?@^xC`rA=?E11aB=}~V6b8eK#FvdCN1Mq+j2eIEHdFv+&$q&8 zO+Z=<%BN2WL>`K6XJhtylqHS`@o%1hf`pb#%ZY=w<^-L5&X}VDP{*{Wv_M1cys8Ot z2h3=WNW~76xcGQrAhGMpl8|K6+S)pHL&-cvKFNU3aoyyIL~6$#a=7Ca)V1RD72E)m z1=NGX+ne6{|L&_`SeM6@%fftCO&Km)-4-cnECd?^2}fn48MCVl6x~pY@H1wmIAf_eobar&gSqCRbJQ^zUxI8Bw;l`~%*9Jmpb)>3PS^O7jj6i#udGbGjHq z2w5xJ%PY^9W%S}rR1PfLkaNgj@mqAY>f&cI68LL)-n>mVARFwSE0SH|!i4?< ze5?a_$7}>1`!7m~9X`zb(76M1{CzhBCwj|<#fL?{$cC!1+j_ka#Db!Z$wTcdVsFX& zdmR5fRH~JkAH_eIX_d*y;0>I|jUyntx5mFf={;6U!1r+7BzE{$e|;OL^J>Y;R8tMa zirej;R;f)|-T}2WXk@p*>)O>-2KxzUGTuGvK9-scWA1;jiJxS2ECzA7Fd7Ty#%3Gvj%lLN&y!h z;?x6%xljqwFX|E5pkZuN2Q+wul>?5hbx4#&u*0gwu&NQ@b@6{yQ5p~8wiXS#2*DF> zGoX9&6w{{@2GQ7h$6l*>1&q?P@>hPM<7M#XX#H8t@l0?GfZfH;gU-mw2B-U9e=y@J z8ypD)CsNW@^5LbhSZa-4Xx$=0k}WikVb8%JA5UxE^7WJ#(|lPuV4{c;F_d+{1N(IG zy%E!{>Wmw{#jaS={qdzwGHBSt^t=1x{o2ud#|Bfn)2167HjKUEp)q)`LKD6E$|hwv z?A@Gmn#*na@%_KgURJ&>60fs(ePKKLE$tG}Q*&S4qQ<$!a>&&t7pA@^hV|(R%y&+} z-V@D^mY8`Qg8O_MSL=9N$LHMFjpyJF%rBOZ+!aUFA^}y>e|~e2JZFQs3f*G%S#CN> z#q3*mML^k=pZwC61HS>qHh)P@QZ+Qs5=yF6;tlztp)CJ#DO@~j%SRFDK74Jv^$G`q zG+cY^=etif3xkmfwnl+w^y*0()HZvbc8Oeq>a~rx_Qzhj=(}3!P#5{_Wz~PL2HUz0 zm|C5m=kF&et{38Q#}xow;BNo9pd^BdZsAS#3#j?Nw-uM#McIGbjWh(Gky02_{PDe7 z+e7MP_yPRtWKy9OrZ{n8{RjQCtIcMhZ9wyY$ibSTqubZ7tT+CLt`PM_PF0pXTv>jf z!%+(niIXfJ2}O~U;FHTp+HRmpG=w7pk`3}p)ed%`Dg#ZdYoV`JzD4 zSX6<};MYe@h$$&TQ|NC!#`7a_FIQXXl~xCVqU}n?*Ub&FM@Ty9#>b~0-BnK<) zs(h4eJD1@(Dj^N$-Mm;AhF%f~Sw>t0r5xMIEx1efR~@v4y?+Za(A*KVO_|M1f?}MS zhQxc#sMruodOqY)EHl+}XH`bBy3FIcWUj%yx=SO){r5HUd~;j_3vVXOua|*G_<>{S zfsrflvUdbshdHnamQ0YWv~(Cz9AvZ*NwMB1RVNTIGU!bf=2j|1Y;XD*Am1&g(FK?X zcuW5r+Bcu2GLgeXkt4eG-Ab!vTUDRMX%rAer^)@}Eb)bj@+{?;j^u_zFZ86|#y^6iJwbEDfW9e4q#M z`#4(SZu zcj9IldZ9D4x2ejTek2$gCAX`aD#CSZOj4OZvTvVdeTqbleI30QM63+ zT|@=`Zck+vVFe_ZW?+rVFGs{L=*5;^EtMoMa$L1d>yvXTt&i9Om(^M}U-G;Isqfjn zPM)voCGwTYNx^FBnlqSBILYCKnHi5JQ^}dia1j*vw4LMFMo1h4+b-9QBs;fkdkqFJ z(`eBLDe%JpFR>W&z1j$S^z}PFEN$lZ_UJIpGKY<6~RiSba?a zB#<4j0LQ}muzA!XCcrbfc0kN?J^Tia4pnwCPsr*qGhEGG)G*4-ur2BANC*vel6*j4+r=xo)8%Jdx^^V|TbhjT9{6AE=$TyD^HQ-1G3xD@(<* zL9IHi+nMPa9tZ5t-gIdKyQoE_Z3L<+9@LBp#)AeCeT>|K7r1)J;Sv_MLl72)D8COUJV#7Y!b zOA?2T-=}E9r>~w5zU5Eo%uB9XFa*Re>?q+z4<{L=TDm6ij zf@43iBDMg^g$`v~g)$q}7#aD!ouFq@yOw%j21N-t^?&vQ=l@W6pfWuDgrl}Af6&Oj z!3DSnk$if8v|XU0uXS?9?lF#JP`B@VJeTduCmYR1_s^rb3@qz8uUSGyoq<5w=yI88 z!^H$o?Y%F`hd4CjBuW=o&vi45KH&7oN&U7T63OVQn{F2LkO%G)*PK*_T2}{pr)k6-r|` zb(wSP%1a!4JAWG1AWI%$EOS-`b@2jz_m|(xU+T?Eku>s2nGAnnZmPsU8R;t`QFrM> z6?_P{t%R0Q)*DoXdDJelMlO5D0vgV^Mmq3(rThuq=p-7{-gm=67Q^4Drx1hZLqoMym)J`RF~y58#; zI}@cgh!1}&yLmOF=vWQ)-GD#8v#9+&2n2MHG;%haUnx{f`U4OBGHQ_Y#_HjV!J1B& zBb+l`0Hf3nLL&ZE6UZzX3<^asaG#D`B=E3u9M~iA_2Li%?7^SZ^P^nJIg>xo+-|8f2C z3@4;{=scnD{^jfj>EsF}ydoZk=A|f&=Y#=Qv#HrpL<38Q`wv9yu8zvp6glCE_OC+` z!%4`ABUUyE+B2=FSJd*c{M57;_SBF1eiHWWFufR@&Anas0dt(R3^kedg)VGIB)=d# z*;wZYbbDIMOVk0C-nB*ed2n&Hv$DnjjEu zDCj-u0qG_Nv1})#*W3S&zI5bbnG^&$3gKnG9|#YB3%3|7|6+?mjZj!X+51ynO2(K`&m^T;>=&$8hriz*dGoUO>K>_ZSUF$ z;z!UF32w9V0&w<|R%L=K@Dc>xcPknFdvQSpXNwHiB)e zdpPOK`L9v2j(#xq(*jtDN}!fzRi@&ELxAP5;j+7GrGyCtc{liU>~^s1qbL# z>ERtLYr_>RG9SI{E~?7MpqD)pl{x%u7y=jZIqcOp0{kki?%P4VI}CVE(RtTG{i|QdSEre3 zljvb_5b^Se4%lrWS!UHcq|E6|haoKO;^6eJo;Rj7vr>0#a1+wsoLuvrVeqT02}_vH zY4SE+=G1#c4t>=8%C_75Gr0~zdUF2bgaJk!17X10dN{I?^y#>(H2jx*2r3YHMvQof+9d+0AfUk-RoBr{q?q{(C3 zrcIo1I$HIfl?<##%@v7xxWtoYhuWI)&f@G8MK5W!%NFIHIkme$)FJ{UVj47$hBtSZ zF&a)~#v~wcq_NDj_vL_1>KQoD7&J(y_mxJ3mY)+!7ORBa)$ryRC#1pLGmrv@!Mce` zWri}lwscE~OPw!q&>{OG6xkGkCF**nePSxQLtIoP^%hAW<+=`q7|F#>3*l#b#@e?J zY6$-|*3Ph+wcUuAf-{iX-kK})g!%qYxULCu*_qNVXF*XXehw&6`CT^Pt%;=Qi8_%& zT&s{B*kg2k>o5QchqsILE{$%;DsbQ^FpyWPDtyzqBW|0IeC?N2TnLu4V#mX;hzIk{ z5>g<=gF%Hv^xE*E;VgHCb|U{T6dSteW7N>%TE=_x)vz$f7G@CEI&|{)UuA8$t;a66 z&;W8I4q))4z|Fc%v`o6{}O-(qcG=3Z5Xn#&h&a-EcodsKb=HyU6*0 zFg|pW_i#j_Jkr8n$E}ji?8k=2!d8I}4)tq%eZZg`x$^SY_W&lS7!?VdBsu2JfikKb z7BJzSZ0URQ1Z7Z?#$UUm^WbOl91i9QdA$>);nO=;VQujtNvp|h2#$shEBG@l0_i`x zEUBAi^exU#>fA4uNG>N-=QyZ7pCNFh#H7*r9UlId_w!1MKSaqATk~N)gpAlmj z)ekIDz!aCyPxx~nGoaC06t)_E&kCHKI7taYZ%SrtThoIl2I&YU_5#K4PTs=JWFo=efa?iW%MIf&0n^P#LUL?-*&N9gE5PrAc(``(I-V{~;>#3P6AtzN16Dw(zii#b ztx+r0FY&^rYS%;@;H_@_DvQ3LUDumo*$+n1=R>RU-ec`s3nCftF!y{ef;^O@zbe-% zz|(h^B7g1_5e8CbUPx?rW|D+V1I3hXscE7C31rEK!)*N%TtgM2^L0vDEynDRhAGl z9!6z^UTJ)O&bx8y}Q^p`j33u=z4IHe9cBR_VR2G?sPPYhM zf5b=VfME(&@4Bj^n~zoR=vUQxL$o`*tjtQA2E(T%(E_~G9EXhDaS*gP3Q}Nq?l>P^ z2SP(uwY1Kc)idA2;*1N~`*vNm1g$yZ@hHy&ktWYQ&Qox3m^lYyGDT827e~&=!uj~a zu2yvATu*$=kcWeY$S}y`(U33G2~XJUfBjFS=3?U%|AML(YxiZD`o35`(D%&7kV9iM z?to1^2@X@;RB_m)Z#h@8I+rq~(Uson=fzfY2w74=|^ z7R<&1tlx*aRi?PF9lh7Ma!51X>)sZJt#yw(w{fEDdcah2qTKp@!X?1f!GRNAe^b&^ zXgT>5)36gk7(@ZRMt%h1YG{{M^0AO>s=un%FO>qV;*_(c9_kXeg5B@+#E%|K-lv3p z-!Xx*pe0&~UqxBkphQX95UrtbD67?OJlh)WykPoDb;O881`j{O!%4#aP|H5pI=9Iu zx1lBBOCtuVn6Us2tUf#Xuo8u!f3g(|w63K>s?8}r7P2kc^%fcuRpMhO?-wV3o<#6w z=tWSMG6;zn@-c;E$h>89^7UKjm2e1ZLDWd^(Xuw42%u`fuJ-09KcAev?M^~OfsiT4 zN`ibJXV&5a??Up$A^(5gO(k^0?A5!4^+2tQ5_?saMC=pQckob69{FV=eMmlJm*bC@j_eG~%IhhXYq3g$l%Y%IbrpSCzSrV6Uw*)RI^sz$J>G`qTZa2&Ss;n|Jev~>HbsG%YHGL%?9QNn%Ij

H?A!B?bkRwO*zMgl zQEZgM+6`M`h9Tf+Vr@`8f4x?%(gOrIPbEa(ShevJ^Bvd1oz~zPWeyh2C~8I%=7GED@OW1_j(dHhXw%|d8nAiGROpfY7iE>I8K8^yfXe6v<}(y6|#Jf zY>ddt5n1sT+4wE8;tAOtOUXEqX|K;OuIIG1+8!Ds!aT_0*JH#MdU;1_ zA7$~6D9gwB;we&~f3)UF{4!Ls{RmgtI#d;uJ%arPjcyDXN)fWN{l$Jfv)uwWnB)+Q*dgp3XNNfMIu$Zp-p!^yR=4tKw5(}p zm0Tor9qe{J{%>M1 zyHK}6v;nEiC^aw&FHB`_XLM*XAT~8JGzu?FWo~D5Xfq%%3NK7$ZfA68AU8EJHkWa& z0Vscscn4II+tM}y(xi%jR0Gm$0s_*T^xk_3DG&$=lF&hVmEM~mNJj;vNJl|HK)Q4V z5s+R41XRiwJ)V2-x&Ob`_pPjzy!)AFX3y+-W+y9L>;}d{N>H>TObv~~3W0=y(f}1* zV@nVa00fE&1A(GsTwEpyEE4uNPR3;h^T2-~&?xEuV5oS&z*ro14~)eTbKp;RA2$cGpi1v^M+yi?dpa5NAfEF4B!;o>Qpxu2v5Khim+&+Il0(c>O z0FacFq~LFNfRY=`0|5b}0J>nTGt3RQBLs{D7^5Kw7}ob6A$Vn-u~>I$5fN{1Z()D1 z8%7xI;Uv!|2=GQ=odHHL49vp|1_k^o8K4JtgZ(K@n2ZZx;*7xjWiUp=vEE=07yt(# z5fB&(gLCmjL17*M-0lElO&x%~I}G&~S?4c;AmGp806@Z^e}((w{VNax_1hT?fuP;o z!6;t@$_W5RAYlM~H63BB4^|KWMnQjn5y40d8s`u80wa)MM;zgI>R^DHk|6+$tME^K z7>EbL9g7jhAdtUm6!{efcg(6Ns0!N64Ti#E$bRK_58(lW;LhDwt9c{IE6vcD5USd>AzbnqHCmTXr?9br{sSbm6g#x z0DmD-DS(ia1P}lMfg}KulHz}Wz<xRL30fGNz!wnh46?cnZaMJv3g5hT9pZlt! zAZX~XVG|XX0DwI_z`kU-UgK8c0Dll}Dxol+-(m)c2&2$goC^R~V;}&I_8|M!STTSI z7=x=BfpNw4!TFc*H!gn)0*E;My3$}Cu=}34?)=LD1c)GU8T}K*fo=$tC+0Wsj|3r} z9v--9{jDTi_J6N`Ukxyr4-7&!JB5bGguA>5Z#%6~V)hnV9U@v>>WE3Q?1>h~a!)_@ zch(`!Q6Imr>;Qdsb1>6jrXq4|Du9`P_jK6D=5=1kLWV{G7Egb*XIXh)sIdS0;cF)t z8x+mtG$NT9vrMy>Y{*LGU`=SvlWIP779rUsw)Xr>@p%Vk%}Qzu;07o?re@Dz#>Ok< zcWmK5v}EU8!VXy4P$yjXu+H){(KH=7$A5@OI8knkWBl&BY@Luj@bTl@yxyKnv4bM* z?rMo=k+h6A{Iq}A^9NJ<80nJpv|eKHxRu3^RVvbxI2cRZBDog`93&ThP89XFCijVX zHaO|2gj~~q@UGFb4lO<i7^VA_eCmDYvYMU;HyxaHbiL!(NlFfY( zZa#M=n+~95;-WRsB+z4bS@ImbEhzl$Ne`mR;#Ml^Xuaue+dx;;KALlvm2NyF$)Y`H z>&<5JOHJ|P_cUhwsuI{*?P+wUJzrve;zW>9K|Y~DYlpgwm7>(lC`Y217*(MO&9sTm z8eWzjsil8(gi`PXH6^X720oY{-M@0ra66H@cKMoN*Y~S- zNsb=-BBCUA+65g}&JJaIJX+X0Nr=X+q_cHp%khwX$*F|`VBxZ z?;n46vwWm&sbvw->hpt~5R`%tzALgYP~F!#7hSd&ZNB!bxdN?`?oS3{@EK>k(Z9*l+2+X@(2Axw zJ^o>?cZ=01M>XxBbSJwxaRUG7CwJO%7V>|V+9kbBkPZ#Lku&Hyn_9l(*V1PrfdWxT z3YAk^KxxT*7cWUTix+$n9VP%DxtXWCwR5X3@C2#A0^whX=Gc8^7i9GGi*2P_hLmRBn`_(5JUymz^*s>6n(>U(2)4#Swy&Q&iXmGqes!aT!!&SZ>~ z6N>hN`F-?*c~tGL*XiRO;m9>5%~O8^JN(MJZ133|+ES=yzlNVHFXTil%;#qkTWo*G zw()?efo2`tUwgP>2*VUXzB^=D-B!3GvhDRcam2c?`R5EEYgY!XN$&-S;ob?>ere(ScM|E2YOR4VsQ{j?cl+z4y^9CSH;IcYZs$ze!UW&Ng zzF2yU$!gtQcuORJ$=9$nDy&(bFT9@ODNu6a%QzQh1ZlWBdGU`FBflrKhllVD|EN(r zntRS4j$~Jg{Ijz^E2j@`P6hsW)jOMy5ry-p9QrPNuCecXKJi@97Q%KnwHC!Bd7meY z@yiwM=(9Vn`f?0A7gdT=rhtEx@()PCj|OPfhYJi}T=Cy$^HWNa+$XS}V<*}^`SEgi zW_`j2-5P2)&H0i$ZuRiMmgX)pJ#pnFrkOiD{Iy8Z=g)S0IqW8@Z-T)ThxkiRcV|cI zmgqy;jX4Ts64%quJnis|W5|@m53(hcUZ1Rk>FASkb#S3tnS?x_Cx<@$+Flm3+ydKIB~d(K>#@0A<-`2f7; z=_S2l`p}itr)G02!+l|$;EEjEqjiNzL2~?^14nEjGBwMYS|a&UKiaFyzKqCd<6WIp zk}<%Jz+i{n(EWt;brOH`NwbH(K$2EQQk=H=y3(sxV*oZ3aaq2)`E_ZmN(2YEaJ_HtDbp-<*OaF z8QFE^z`BeL*SdfCZsJ9w9p1Ug5j)WtE@~jY(%Jd8TX-v8+%VM!GQceiJ@IzC;tr$X zY75=7@Iv25v;nD!b6&Tu?+H9eDlTAqlcw4LNqGNamLNs9cWYYY*)c2q7Ir3r;7kLS z6FF<3QorG)x4XunE)hsxx=pc5T##?u04h{sNO~2QCJ=wHR>Ql}Y&Q9IF;>0&DN-_2 z8_sNg!*9W(zRe&agbR^b87G54;p z_1+Pp`o08I-EnV>WwJ8<(R8TPw-oi1B)abH65~vh(n?zM>vk-%qjp&1ywDoYB*X_Z ztXsqyVGw`AU;h{et4J(`mv-QJyUs=3WINRW@kx@DCn7lFN4xhzIf1M*7a{dk-DV1i z&g<7>{0`Ud_VxsHmdHadU3^V);zPO{%-s6EWG*q@FMH>tGQgO8n7lXhswL-&l;73X zRg-9yg&>hP*at1iJz0@g%h0U+JDE~(y&fZznh$>q(Js}dJKD#zJ}!kV!lZ&kL#G0c zpqi-{U&*^QbCLIS_6)5E#6nIQ4TMnWqqc)~9@$aL_C+F?&^AcqlrpYBG9->)Rs41) zH0oPB$`2_B}f<+`yg%u(u))LLQx-0&rW zC5UOo{nc?#0^0yFF(w6H+*jBlERld^eCRpf*DowZCWSkArN>Z^c0rMARn@y#mybbJ zMI_89pdUk}`g7K$TlZsLCT@W%%ndiV{K9`HZfd<~p0OxqD(Vu$YWf1-bUYCzoVXp+ zW1V`tm^JL)ZPoXoDemsoYW!8@-)a}Ky!JfwC!oV9Nz}DsnsEZSR2Y9X^R|Wbw~jUW zzP21`{-FgORyh7pJYBa`3O6{#MMi+tpRN@cManlir9Um7F(=tGle7yH*6 z3#L&&0&?*(ZWDbMHw)i_kD119-ZuydJUJT=kh_e_!Tp};64wtf=q6gn}o}!>lJHiKWBto+V5{FjR%R9eKw@q z=u~DiJ9@ymFQr=4LZ9R!NA}QG0Z_I6$lv>FwLO)%*hz`nuG2(k-JM6u+3SBRx!X$R zRo9o=@4pz?AEdgq_-bM7P6Kf)TU2q<=q~8F0sQ8B(x-=lQ^q|75=YBzS6Lo=6qi{i ze|+ub@QJ*wq4sAy!%=6D&xtzcWdU<|$>xY~U}5v{wRdSR%Nah5bf^twr$K6JbCN^l zZa#YrXJ@!_i+`}aQkY0&&6|JdO^ngq7GA~K*@roP6p*HN#cn-rO}EVak5A++*x$OP z!@dqE4kPI)%`Z8|%~UkjPaoZV@5(Tld{x%>G*8cy0-Q#?SyJBKBV5|MhmX~(FL@J< z6n#P6dzXLxVMqUvYq@`~*eUvR>?z&{K=5IV#&Q=$;yv%r&8N1-!Q}1CNpxG#$Ns7* zbOR;b54}TX8JDtYggNQVme!n^uzAORuAHu}oVItis_6*#A@HWcAJx>YDum`4iU)&- zKgAv$XS&})8dg6}HT;qtL+H3vPAB4ic%|X+F^fs+{SLLUyM%xC7n4dfDV?Y-TEq9m zmql*c3I5!EGP0AM`9vXZ2g}w7$#*04^;>yQzVh(XpWn9#Ho1a2z{)aD#^RHy4E@N*qWXlr)a$^>KnvdXX%2fhSCp{kS zsV?qWW5?#4^tFFk;tij0{@{EecZ2Cu=yaaKCR9-j!bfc@R>_n>xjD%)iO0pS8>qq3 z&6K@Sk}snIeX^8wwco?Nov{XV!{xj{jfRQ3Ga3?sVa2BJsPmkBRO-(Cn|r7t73Y1jXGACI&TvLPyb|k zOk2xH&8b2DLjj>j&ngN{A7<97eKS2Z;Aqtzj*JwjY8$ugfJxFS0IPV@k4X?vX6787 zdKo8IVyV~Hc`Y@ClH!mK&%f=;I84&5eNh@E(U7ix{&>k!gVhm~+VHtmqtCy|JFL&h z&T=e=ky3w<>@lZW`TGowd$R{-ObYG?#J*#h%{L4dxYXoYL%aHVm7|D`XO9cjwPy^R z>mKOUTQ?DE4%lx-2dj|mo6!3$jKfLSNM$E7(&ElSt~lJmeJiVirnGq4&X+!NIs_V# z5>bT`&js0(2h)7k6Lp0bfe+E1T9RUqf~Ys^54?YtHam}kwCBzJ^K>T`#1y6z<12Iz zY`;sJGs@hc@w$~1L7jEg;AH3cOl~XWD`sP1C(H+} zWxF(8$^Op!OhW&oaNxuIVC>dlkT}hLk=cLe!HPP8r!*xmpFVqa#wr$|o(@Ftbmq##a3{7l`$>9Z-(8*1@)oQYAHaohnli4C2xBoER*s#mVe+|AG2q$sQ= z()C(hxQPC>K<(WK915EOOk2$z{wF4XswF5sDy zT|`yftV=#s=}XFoxSIcPEh(yK#~-w)<_UYT%UVjGM@82qYg+bVT5tZY4jSq*kC~2>XG+be$-gaIgu#GKs-0vhk-)P;evfmVy9XlP$ z=oKKO-o~OB-gqh{7T#ZJ3%x9GAzs4|L7c z=mvn|m%{?CnyaGbQu6SOz>1du>e16TjYneGsK%FW4q(BhJ=bc+|Mx4D9dHBxNw1fTj02OMFlF+Mvb8u_wn+BC~6 zQ8QPEcAU$uHCsuH-i*L=6I>W`HWo6sx}Hc$FsyZx=Vi^wfL!^?2XDRAM|EIirF0DE zslNE4!AiJyxBY00DlmVRU3)<+W^|ClZguRt)BOu6U@cs=msiG}L+)Y#4w)9tbydgg zOsWiSg)GOC>VN;b<#2s~q|7}f%fD%{TvLKUB}4mMg+Ro+=8@YC;;Ih=#_u_w8~$V) zQ_(ppI!tb&_sQ}m{nSy)8ll#-kb9Mz;sHnaifXF-P-H-(j01lmRS&t>Pp;EjbJZr+ zJCG?N+r3a2ek_N2rYVz4{9+YRxNqz}*2`y7+7oJ+Oz&ysYk%W~36vwX@`ofN%o;iYETgI(5}K@Ya#Kx*GN*zBm3 z#Jrx8_I=jR^%{S#W@!|?;zds8_hZ$hY2n8paQ5R3$J@ubSFCgWd`D6yISFB)r}M6p z;+aq*rELe^o(M(%B)O};=JK8U(JS&llB?Hz6~FXcHk&T}Ao=~5LbrxYAH+XnU)ERI zQL+Nb&h3-fvVT>vBI^BKI*AapkZ``;b7j*8uWJbZ3rBxe&|JYBaxi(AFchW|6`s(Y!%@}u&a#vmQmx@G+T`=xfkHylnklh0@SmTo~ zZ@5@PcKCnRMcj@0P8VihRdU=EZSW+^QiY|6p9;L0t-+L89q=%b+^B6X`L5kJyV5k9r~a^8+qnT5UfYy&HwG;cI8hC-kbD#DdE(GtqGx zIb8-cE#D2H5G_cb*{5RZaVFDQ(Xl4^eo*xE+f;uJs!l`mmd9cG=ikPX@9^vU{cI72 zG#$D?(yA=E&lW$-%#6?`Zg0wMNnTI0yqR5peEN2OQ&349HK4hu7Mm`Tr*QTzHhYP} z7K{z1*N9LT2l@oUSRJKEGL0Fzzvn$A*$4rydUSlM(kf%q2u{8l za)f`c_sphK!R`*vZr-|MMSttatyetK+T#x1?vN1^+Kfc@5A*hy& zBa;s=Sp744=;s12G&s&YahhmDjiLWO`I($)tP?uo5t);U%&x{>7CQehBEadMVBYP%trNQ(LLha$viWQ%d~(Z#wG`}z zceeQbsork&zMTQ9`5dCf1h24}6n}s3OUE>5NjCDzjI#_h@43&h8nkaLKzq~=RDGOy z%hG8f)bIOu-=Q>;j*wgenJ^n2TJb{dBi9olUG_NbtsmA|`kX)!0Wr^u#=9+A6t1(= zqjvAJlgRoLdW-swJssX&UY2owBk>w2j%`pFZf~({u@u)@d17&MGG6AV9KCsRjD#oY06L+Lg=tKcY05&JDT#-Fr6yW4w8Yz$}} zV|H>NQL{}~B|n|fbTdbxR5o|Kc>KqKVtf?d%LL_Fx`yk$UBxKYmGk4`%C8F?D};5| zMeLbZse$b~ygX~9ru(OuGdX`Tx2+uAnMFpvKxr0|6&pn($uX5I#TRO&f)3Q)3CHb% zoojwHH`2?By$%LETp<1ss|}MdBg;<)=YjW8KVK(rc(&(ybWiu>(xAINy2>qf;pI7xe?ps#~)r||%a)ZP$cxrDaxfiR*X?4G_ z1ro|S(Gfn(?w=#~Vp`rg9q>AJ+A5PV2;=3+Oq{cSe)xTzb1aeye<1#=3{m^hds}@e zg?DXdGE1Mn8v2{Qwm%i3c;Ib*#K_nArLGbr&|~pGlh2(Nm%)Gn6qo0m0u~WCFbXeB zWo~D5Xfhx%H#Rpjm(S(`6$CjjGc%KM8z+}eodODf!QHiScXxMpcN%wh2=4B|Ay{w? z1PM-XcXxM}a5-~kCTG6?ue!Ios=J>h&yu~?e!Izul~n14%^XaC5)SsR^vn!QJOEL7 zHECuR0231{0}~SqEIGNFm8&iAKXO=d4WP4&m4iLcKP*I@fyS;MGBIP<4?}qedw`6a zEr6MS6~N5F!_3LU!~|erV&eXfp@TCIK+M?P$_yaS0FZI82fDzLi#j-ZIa^s+x_-p@ z&sPAIDK&tZo12sFU+w^5JD{_bsj)pk-q_U=X!jA()YulF>R@UGboKfl3MxKJS64?K zMn(@04+dj97X}As3ju06fQOZzX$-LB05wZ1m%kON z4(6^N#?C;%hrrg#6lm}A;o@d*26P5|Lt!#~d zO+F0%mAWxNLRcAK{88b*>vJ)6wsLfJVQ{gs{i{aCzi2+%EN*Wm>R@LFw0CuZ{VP8) zD`%kTN8h~||9!YN_6{EQKL0`HR`zD*f0be8=E$gSZ{_3$lotE9&4&o~kIVw-3Sehq zV&Y=q1^}G^Ku=Rk#=ionc{u|ArDXnpOZ-uTpO2%1Bf$Kl44|KtIq>5H*2l%z9SCrB zb_4qP{8RD22$q={U}k0N3NQg$SlPq=VgC>V&Hu(9=kILg3D9Nw7(ZqJ(_gRue$)S$ zFf#{xTdzOn|2kqu8BIx1Sxwr1m;7I)h=_wHz=xid13=Hh&J18?W?}_!vNHjH{Qj3m z$=K@Oc`*I)m9{r`0C4}E?nj^gld}82XMpP83qlR}UoHiQkI4lBsQwJP9uqs0>Bk%M z|L1Z4m&^aZDgTS*|8>y+Z$=VswzmJ$Q~ho5|D!jyv$FO2x5dZgy19OAfxN@VF4+HH zQ%&ICt1AyQvvRZhzglTm}o-GbJlmQ_H`n=5M+B zU;AcjWe-$xaIyO9hWYSfV){S2k0mp;`M5<~K1TCjD&WTs{cl`xds7Fqzm|=KodaO( z>}>1>%k(i(EbQz6ALfs(Gy{76YnTCy4E7GLA1;888vOv~4$iQD9V`cbJAhI6FVWwK z1HdTq2XO)zMgJf!0HfF+#0_8+|1aWX0x(MaLCgR~$v=n{z$pC(eMFG^gFYh2|3M!S z6#k%(2#WtjTptmX{vZ|rqskxj5kd72VgoR${Xrj`TK`4dAMuR;pbwqNAM_E=^uLJx zLucw>`*AG)k+8A-C9$)A`{V!Dc`=&(1Af#E{L`VokdxcTVE-}rNZb4m{2(+pxB3(E zqYQH^_dg8mf0;YDIsb#;!^Gkr@PonfPl6vuY3b!?3AF!*#fQx5AMm4on}5KMBLA7* zM+fZwK<1C?{!p=hxY~b=nR{^9KKKkAR{9sj65$Q(a^o;mimKy%kWQs#e4 z|Gq5#EB+V~$B!$*;UCTYt6Tr*1oKB>E`O5y3jy8#Q91jExy#2*`d`YA^j&O?T`d1W z@e$=u%#Rz2(bdu!_>cB~r0nY9@DGO%4!3{6kM6nu1Aa8X;}2x{@b>%%{Gj*x2mEM` z_n+iGn7o0`e~0>ipY=9%bN=X#>%Z>dkKO+d{?~&Q2=oM+!Y<7_nDT~L*N3z})(Yc! z(C>}2uptawN8Lhe?uz5MA1DWj@;%+K7DX=#|D4^Ae%eGmVJUlWvC+b0vN723&5Y*3 zTxx8GG&k9y^PNQHe?D=Mb7R?;?dsAoVzoE3z`XdbGURc8D>OrmMdx(2HUN5f=9C zf#nK1P^+y>yyIg8N7>u#V}Xpr9u8btqe;LF`EHLm_Dcd)&~1CjXDSnyQB}V0Dk|{| za>)T^KaM?r{CA}jf*hq-xoBe!(yx*pb%R%oMYqTEJE?2f9dG%Vr=L(My^`yv3w7j) zk8i$MT!MU)ov*co%FJ##*>*Xi`%L$hMr!$chyq8&myVDJMupaO!G(3(q1kwz?knMU zx3!BFyCW)?^qt6KuC69@(?ZO9u`^W;YLM_639u`Ft}fl25FkgP1wz+!X&-T+SXSUc zbe1kp8suDO>Qkygv zo79o>Ay~=k_|=zHPl-tS01(hvKP*+j-xk1sZ7s`|haHpSNlFFEOb#vshrn3eGlY%A zykNDp5bGk62SbQO+(tOJT2@TeGTpM=y&BeP1IZYlj+_o?&1mfQ*pi4R7fTX_FQ*W} zzjiT*G|%gvY#ND3rIqi(xO11x@XF6~8$351%W!^a!^`|gPL*lH0#!tPDXxZW9=WG~ zIyiw=m&XV+mK9rYY%WEMRr_>SQx2$_0C5EXKn zRxy7#ZmT3c->jU03xMJ4>g2BA4yiM;m6sOo3}#Q33L4ki9Zj2K(KtHX^?s{Lu_&Hf z38nR>;N+@w`e|L07?km35;J)oTM`9-;Rsp#xxETw_8bvvKh~0PjX#c64+VXBrNt`Y z<=`a}WT0WG-sP-duVGC~;i#(snMtiJd%hRTs*`iHq&A zff_Kqva@|E48~(?ar#;|wo@!kI2fW|72C+0r=uI)ozYypwl8f5U+;smG^>j@-Vrct z>vYLSBh?S`G*4n)gCS$;_HKlK@THOq1@>U-bN2fTcF->aTgQQ7jP@w zIN`7`CIra#{LSf@iA8bmmjO}ie!aytWQryeb4BYPH(St|VhbAki0P~_Uha5r#DleA+L^x)k>J$H7E$N z91a5RTWc?agD3n}FX<3}1*mG9r5Fgw%{O+RPexAss8b5vEOcG3&4P_C*cmupM&@Tp((;y;iIkN79!B3Kfs@AxzZfel!H@4+O@jS zlr(aoPe%Aeb4boe-b!Dc+<6s8ez|My9xP|uIN6kgPH z^{(3AVAjm!@e|E_3jSL`U?GL}6QDM@<{DOE>A!x%YgHwG_>b#^H0vVc+7dRM@wt~5 zE-*f)s7uqaV!(e%!3PBOo=@oTV9Lp?fIj#8I z^;a<>QRbI1%}?l-8_k7@k*~x-(bTBdJF9np0418sWi8K72c_u z-|ZmHOQ{%t)kHnVWxd!sMe&PfYsX5iMS`}DRKSK zbzh)iT_Wlp=$Z(HUA>0-UHuBbOlcN+6nCq)jVnBVXAH!`Er>m0B%=bY8wTZ;Nw71S z+8i4cXAQ&3ESg?ywKS8ArNBCMmU8fHt!|<|Ngepm3;bdNBEmA1e5q(KKGDQZf9k=? zSXjzk!v&%G>5C)L>-gR0aYVO)5x6#+pL0GH5cXq85r+!kloptlmM(x&KLy;hp3+NWsxOMc-yV?3BiP|e2NUo!0S}g;6QsqqG zIe>QlVxg^2@ak;dXzGEx>z`iL5iC+62rW{7PzFUo;X3to(ca+ux4dY_>F1M1v|=$3 zq&Eo)>Dke1&oKhva~AojDaM!;#?A%ocIY?uDTv^dOTLH9p4dWBCQ-DSJIbuID`?cP zpJ`w9eo1_rFM#U&z3csBKzCW?+ZMtK8>D_HA%Asn*r!$MLvf?R)bWwA+=JLMZE0eE znTN0D_B_~{Mf!97={Do`(xg4n)+9$!B4Hx#pWT<1dneo7BpxIccUhvmHY26KFOFI8zhO(27ITySZCtoZ^wqYL2Z`7y{63Wyy8k?LOy zo5McY!8W|#)u4+~;+&%EzpnnGn7J{3%8Uxv41ycfNP@e*8Nsrtw4>OJ+7E0I*@+R# z4;-KPGDb14IgyCV$Oflvp!gEqi`;byZ)6YFSuC()uaYKi7;DP`Mu04F`k-y!VBg|Q z?#MX+=6_6xIK08 z{l+ylKLwamw5~F#PT<@0)U@`g88FJRR${A zH2aEgy2b^HxCUM+HU){pY@AR>Eg@SBYB6gB2_*9Hv#t}bP$IYPOLU(UY% zV;CQp!gfbKrg!}0=eY%H(laKfmXXUJk&>(|(L6dgp74V9t;i4~tTu(8#n20$WRmn(S+_FM8*(hDRqJMq{?9`JvS&^i_ zSlrEuSM%aZPi~Gj=TUuq@6O&Ds6yn5bo7IdsGk__ZRnsjAaOn}n?4(Uo^n++MAKlE zg|y^OCCNS|D~T#dFixR=w96^&V7T!670ONcyrW%Le6*4_0p_1UZzb~j9F=lMLwjP@ zxfS?X3ri(r1Ya6K2l_fFrgWH9LZVdR@VDbnY%>rMrC~FkBkzI0s1}#v==1QlEHDm|& zKto|rldTQA<3U0Cd&M7@W06A_GxAei$-Xnr%p9W+p35yK&6+TOLJDmDk$Ye0s4huC z4td_7?U7cuUz6*L_`QL(5?)Ss>0M!KOrk?>LLVp|`XR1)YXb^+tau{vxESU??DeJ5arHz2q-bwU$^k#F=yy2ie~Do>+Gd@~akka2UK%_>MRTL5JXF zV067m!@47%@&jm9k_p-CnO|ff5;Eb4A_|`%WQPEU{@5|M62!}!v&S$`a@KZWN@U$MX6uJJrwO~WdoQOZ({I#7vewvjXE=bEl&ry@{~q5k`&OX8xQM6 zQv)eDvDT0zKAqddX!uJ<;h@Z$h@LL^jnL1t~J)OM=_&$gr@93`cR*P2-6B1-2{w`b#8@ zc}=t19mNrU`S;yKEo2p3_DI>&_1SWw_fMGq9Rxq4f}KPPqZQ*VRDRnh(qEY*xg1l| z(f;x|RJU9HOqpR{B1#<@V7p1zS3`kaDHoNO1E&suEd^G1=?0k@2Q8=GO(|o`;mTv# zrvI}&N>~8gSfy2WDhP{fq^o^Z!RI20Px*6xDH?PS#UjW!lf&$aw|tIY=^JuijK{8t z*c>U!%GD~W;%Qa`d&?XDA~w|&{7N9yB0k5q=qL2}K8bF~n+WJ@nb(_}R+;3Wc{rm~ z;oj1JQb6iB(+ld%FOddI{GmfO)K04wx;+2Iq1vaPraJ4;}u9yG6Zh#l^X!=)*|ihNmeO?O_#yHalXOA{+PQ?W-x4wL zF7EU*J3_~LY%A|o3U*4=&{_wv_qDhiYlU3_KLY&53{lxE9V{hq5V(^?^|dG?90S>W zafe10uc0e=j72y}WjUip>QU@>K_8BPQ%O#^8Ulw#nDcTE!&m8{eDW1`F0V1us(D?_ z5E^KVNn$R%kpe)hS&Zc|ek*R*QA3Hyk#@p=hxdV6u@+H_BVeuPR*%a*sd8MyBc@|}>&h?5~r7~o*5_K5_#1xJjQPL^vhsaW~Bc)Zf6GW=G4vv;#~Dh}Ba&n;2E z(W<$ym>2w?x|39wQf?{4dAX+uN@=&o){^OpIApF=dmDUMz^{HsNg*#RYa)8LNjqvD zGPrS~L4-~^a<{Q4r)I8I)Pp8}D(#@wr?C`+77`#qv>OPIpLjTrjTI>rTxQMQ;fcrm zT95adeOz3)@+H{bU%9q$N-eh2R3G`;>XJ?aZ_dFWCkurKrjNiHEf6a2pnkUs>C%XT zfFrZR$vN=5#{_KcZUTkw>rKi&1Sr|V?DOimS19`YrvDKt9PKSaSWsAh18#CWU9sgv zT1RJsllR=Q>m>?=SYqnB1ftD_>u+VmYhsLF_{t|Dwn$X%!)(cW0_!}%mY>($tDK&@ zAEeg@@P3NXymD%mt?aUY_AZqyTE2EEU%Ya9--FiE;&itwvI9?}RzY7cs zbM4{S_PjzYLpSor$Nbo4t&6SpCKn=ds6~Wrd(LizI7J>yb1VtHq8&g)`c2FSwp;b~ zj}y4C(j`@qa#@pqy0fcB;$s3M?-kaY%(Unleel?Xf+^I?8OjHlF>EPvl{#eMR^}^} zee4z}U&BowA%bdfw#eOFaGkNxI40UiYj21#@(P3I)ZJkjj_8G=e`tmhT#eO>n>n@V zgKCtdTdGtsn47KD#W`3wvwGs#uEe}XKRma@ojPH<^fzyRu96yi9f77kS6H1bvO(9` zdB}+cRZ(bzj?S_P?J>voUU<;-EB;=c?&|+U$KOWVj=b9GHvCx~ZFA{KzbJ~u(mfi* zpU=#^SV}RQOj^HlRW)N)f!xJl5Yb(`X+WxShy-km$ZD`XgA|N!9gWj25e5C{pvr6L z6f#5vt~GUkajVUJFX_||?^%{1zV9U!LUN-c?1!=9zTBcgEA5zJboUUPtVg*fRkvC^ zEkp?2aaRO}P#N8XF$9XpzV*moe(2p(P4>b`JJikD?ot%F=h>0F$RgbkGadP;nSt%> zxH>UqsQF{Qs&~5aMke_35Ro$3ZjX=pNTM&bXAZ=FZL{&!l1{ejF6UG(M{JB5$PW5Q z>R#Ms8KBabjW#3jg^;Z^8p^!T*g4*H<&8*td+YO!Q@vC8s?Ch(Wz>+B8EKF ziYdOa#8_g!`^Q^+q;&y)Wm0kng{_x&#^+HJR0@v+N!&U8i0bW5#|;-Yd-v8dLoybF ztgk5p`!IWT9kHdC@o(13?KRXCq=$q#8_-UF?;-aQ)LmbCOzL(B-a{UmiTuwGK|{FT zaF0%#v-WGN<%2EpjkwxmG};L3?r=9k3&nRwk3~!hd}Faj%UjhOlZ>aw41GbrbOV-7 zxB%#K{#Da08seVk9#Ksm{q0CLR^~-qNESasJne9(61(Gj@?Ztp*P+9-I9g*!R`@)B zmG!Waq{eo+n{7^?!`OW7FYX?`uvNTTx{O!N;Ue9{G$Q`;C-iGw$TbJp53=5!+%|Bx zlJb9t3LH(w_NI^aXXvH-vE9EU59SqA%U1R2A+25HE5-W~Mo}yV7}X_cr#_DwIfBP_AQ3w4YG|&rojt(q;!&hX6`u5w+F_6`Zsu+$jWvF&D@;kkN?4}ydys$ zn)JCks}I-^kvb=P{6LEEAFnRciS^Yw3h=B2M|V!X3%5BdXwdCgEZKnntW(r~3-ccv zFZGOpB7d%1&!00y$+u8I>4is3lZBX-uu1-g;w1LI-6Zz8m+CfG-byQDozq!=PP%vs z4}7cW%)syyfP(;^9k7BCgeQEfwQ4qp%2DdE%!=!%x9Rz;=9-7AP!yIaBMikKqZ|M$ zsant`e{IiC=j~4Y$-+O6I=*}=C^nySAkdsaPKXbD32)gl915%_9pmIZj!F7 z88dC2LDY2uafJO7C5Ggp6Icz1v_xeMK$*;bZfFT3QgwFN z@Yw@=}`0_CQ9VYR%f-mdU3X*FkCX8*>X}S@0vcFG2iKOYoP)$v$NrS{lJcMy*7{v!xJP#o&*XfdVdnmcYIz`2ZVPn~= zr53g5ZCnn}a91(Ug}QR0qWp7G6)p?aB_`e(YUh$+q>bJfU(`=K#qf9jW#T`79A6~9 zqJ=eLxGb~`ct)@W3=-UC0TVfIfvlW@es&l4-QODTrH5mS+%isv|jX6N_SDY!EN_GX9K3_TV3l$021{vEYkD`Hu#SB@N4&-7e)H zgUdHgz^daxy$K4X^-8X>J!MsKs9FX8pI1Y~{=?494EFw~7+ zjRm&dm1!R>ZBH=o8sd_MUGDP_{t_lIGqYSV*t_$eTyjJMFIN9c;5A&jtM~NO&V6-U z?cdc(z8`LeU^$q)1K8{Bk4O>j5ZLv`4ZQ6841H5XLd5OJ3HBQath=)riyLEUbN&ec zXGxN??*_Cr@&4T7wwm5*6O|2Nf{bo%p?95cE3jMyf?C=xL7%MY)hcd{Y6S{ew_lgr zw3zy)*VH_0%`0jGjgF z!MAr3!^q=r`_5`Ypa6YFRT`CA&iy^jzi=o}?$L;jHbn#|>J;%c=|RiM?8FejLNj=K z`g}$VRS%r{M@sr6c5F`3HwwQDIe|%dVL8sw@PzRZ@0XtpG%(cr(VD7FxnEqR5P)_K=$8RG})NR}z0dm4Q}1_V1}*e$9F zz8W6W6^YslJL;H%bZuuH#--AlsTAdDWCVr)78fruvAp?<=`}pkZm*0Ngput+-Oi() zcIpjR(=j9vPg zH>LcgH312(Iq@kvIprF_3^SenyY^Q`!I!6Mkj=8>+&(w@okhoZlbu(b(O4MjLtMW* zvX`HuoCM;kBn5N6ym^|rY46a$E?~jDXtz3|BMINs*7nxdcIR|72}ZcVQt!Lle0={@ z;5CrcW}{fq^^?pjo9v$B0+(Ujq)>;*k&is|Il?lSGe3OZRy746a-Xp^73>Z}6jk(? zo@n-F^DDzJhhUW&a9b&cnT1lM|Meyn`AuXl(GyWB8KH@c;U~R@)n`ulrxyIVOB9JA zLESC*Gz1FN~YP zF5$V3LgN0G2mu-(NS;TNcEr^tF}sRBul=qEN zwuBzNZ9XPw;dFd#3v4*}t13PTRJ;A*OIBLC@1FCH-*-OM<^heo%Un5tUvUBXr+}x)-)-6VCPX&n z+x&e|2?VQ{ggOl?c{q=pjL6eQmoulEt2^cHgOE>umY<|`p=9XW}j*8ahd6ELr5$t zaJ5fQus<09?Y^((wmV!HkE|h9{UexA!rh}30@8HeiF@T;@h=oVKuBUs(RI-lLYBUD zbuWBrwpFk$^Y5myBeClnRxDL~-)Lh6y&Va}J2g#^_J3lsU+pOmm)ldMMnq^|EOiEK z_?I7U<7^pR`xNZ(f`5}zKuc8z+GIxTq{(9v@ zx+qqfFw!x*e$nH00~QWYXJi@_D#;&r!OLN2bOo8CncQbe;c~_Kri1TW{3rmLg-HEJ zhQ6hU3Zc@W5ES$$CMRK_mSscNl9uI&ee`k4Z5ltVt|rJ69;w!?kisU==uoD{p`C&Y zOOf1ph$$%_0%fryf#SuX0+yme2*dGh{>*OKH3wdZk4xthh+N`1OtIvnD? z7!LhJ#N|@FrVO!v{5Cu7Zny^HD+~*D%*70Tf72_OIYgh0ZkVW?PM^veb`Y1%gL44? zUeQ7f#|C<=FaxF3A_EsN>Opx8I$KrDOmn1j9|ujfr8T!73|<)do)yy5uFY~#BuoXc zmYidej)67BprHQD8i}anxCheLkqpo8a7MT;->U^THwbl6(zyF5os|-LGtSwg3OeV8 zr#zvG*{RXu4k!wTeZdMzbkW43E$}&Qtn?jU7gu81M6BO0B({MvS!s1UF<(3;gs;H9 zL+`u0xx_+FH=EX`*wikgDO0s?goXmZol@*pm#BLK7>Rz`gpw0l7903jMo;P#I!WviCcquLlO{BN#q4VJl0l?xEk_z1 z$Vo!#H{tpvKBgb5yULm7LWv+e^5-o^UT<=o!6|-L+6#+y$l06euL3MQ#kpv=(*8 zfsa(A8L9n5Ab);u%aa0dlGq@Un;-ZC28-E~8OE6*CDcXTtLiNV1FFFfu|JE+JYD&( z?_^6iw`s8*I3!hiDvo|>P^sv%QHl=@@fsfL8dJ{jjlxDXE!ze&F+f1YW2{O-w3uZE z&B?#B=FAak-zYNRnQ$0FQPCz*Fs0T=PZRjB?$5r7X&jS23@rgR2S*W8i?ucs&qq-d z{TJ>2?Rd|^AN6*np=95@?3(2W1?!az#t;+7l%jd0B>Mb8{B4>OoG1nY;T78d2#FEc z38-ezq3k=q(ETHTryz(!Uihk2W9`@m#o~~_k^gc`ZV{;9JpKxb$Twf>J$*snPM8*$ zQ5!vltYS;aL!1F{3MW%Ak>F>)#dXu#QCAVg@DFdl?Aj%mSAWK3(;NkuHc3*1J_ccT;Czv83ZuSZTb+>f9Pk;L;7JqGeR z?!s!kQxbowY~Ft~g+pACEWGnO;4+7+u$zEnLs@*&)n);?cs63sbfhar1Q1;lo63@E zFg!zlVbuZRt}FHSa82xM1FQmT4$6N7b(|tlbuZ%d{N6ZgXvZq}o5}q}lX#<737wmT zl1AU8-yvL5q8YV^`0pI}A6K>t2{Hq+)_0r89fpsE3d9R^@a{OsF96qh@`DU^Rs9^1 z9RSw7Nb&U%Rv+*UEuvgglU>C7kek4mzv{@;?QMWGe?UZNl?knSG)k<6*eG}X z3OypFf_;afjV*d2pNU8jF+F`975!SOY=G-{ydRY>;{e_WMfr5qQ8i^-`?p+6<;dem zxd0#;cLsG%k_r%c0r{lPf~TdQ8j^8@Jj)n)kt4%m z@VXKY!741-pzaIQ{>5Z8(v#DsKs>_Ch>@Rk8>@Fpia4Y1AM0q24feuyIsG$Kc%`jw z%$&8j^%Wvm<2ck9MS~5ms^XD6vw}8S!#Y4O9b6Pvj(8h2VA4nL*6KM{wS94isFMz( zh{&fLNyUs*pX(!d;_-`C+&^h+D&gle&P?*6a={wqQpM$Y82I;l&dz4$nG1-AnN3wb zLO&5B;P11my(oU#Z5dMv%gT`V3PpxTs9%FTR{4*OQqSbMN{F{Ze8it-0^ck$+D-JbWDbksIFl1aa-77E7OFPDN zwn1-;&}}3k1kw$GPA-MF_Xmcm$uwY&6#tJb+>4q6Il{0;mEE-MW@Dv`%BdT)^- zRMQ*X(pr3u6h(B16J%qN%>euz>h@=47>mDF3i2mC%}8#wS@$^Lwcf&TrF4#Cj|mV>j@x~E{)zO8t@R^0ku*F}molheDrD#a@$kRhoYm}&Qmc8T^AAAa*<1Ig?t}l;( zW+veWAsQ9oQXsXvnK++57G8jfU}R^3Zuwo0+oJ0;CrAo*KD0S+^|U+k5{|3p_hhjb ze1w$AN==I|y>E9HTbmiU<*`s!Z;n;7kHDO2^c|0$hC5t1Vft$E=eoiUf6u*7u*4Gm z*`tY7aYCBM5AlTwlH-=lkKIbDD^^8p*|4}SnU?;fhwT#b6+mtyXns) z`TA8VDE=SOuN6rx1*cmS5yVf)n0I{2Rx!V3TW1h-W#Fb@Nx@wAa?_NKOz?R@Fvfh> z!narwZ-PQuX*sU!Sd6yVlOX?W-iUJr6~{5neHAk^>9Cz6h{zpA@^dCz+;KG-YC)5B zB!^2h`B`?>0uvP|`whU_TeC~9Y)G#0CSsfv*?i}f?&l>93TH-zkvyxZ5%Opx2bH@L zQMuX>+I8`yAvta?BA-3_f&_oBEpicXMUkJ9g9do^LbP&*W1fQm{F)be3wE58vxVR{ zQIj=GIGy=xPp`vx?)U_wqZl;A!z0=^ZUaryRkAT)Do8lpZyw-+qCQZeH>*&f`-yuUI(Ha><$Uasse&l zX=c3Y&yUcasUtuM5;jxeaexZNfyVTu0($N!L>O7W)WJSM6-H{%J*Dg+MyTh8FYmd0 zy~kpsv%-mDB6V*|fT1N|4Z;E3(~sx~#0q;QlHRMoh8KBsD+g>*Zbl5f6!RWWRw*hO z(-n4jCnn{)y_za9urmM>p=;7&Xo;y7l7?LEkQ)7sFnGsmDQFX;3i3HFe#eJ@*a_22o{X036Jbv}BeEQRfP`P*&8^v$+f zcF`iJLVEQRAo&xStIWW+~pxS`H>?+nWMOX_IGFL-L8z| zA4bq^6$F5S*vc%6aQV*6Xzmm^=(pC3PjTt1owY!b1eET2DqSBN|6k{k!x%Whg6nr0 z-lwPp&wn=AMdy+19K*V&El>{*j2@`hl$tD7^5g_|eV;D$Om8?6tPO%dW$i9`=g!F~ zTUTBvR@V5N>rTsOO+)+9P0ZR{|ERvlZ!(IU$SDCMhLr^@=Rn~sKhEwT$yXn17-kFZ zGpsl$qNaJ^Ldzf3vk@tN)6#gvMRsk1nei;JDrMn$m?Ayj6I8LG$IOn!^m2yu^nO&( z>~&Ynuw?ejdN}udiS?n~Jyq}@VKXBz1|m!7U`l|Py$#QeMIa<>CBols4+rU zR_~&(wvL5$xu5SU8Xzo9@(WWq5#xMzz&~yMT=1p%6`OvN79KYlR2BfEZRxhNwo18- zQX@AF$i%rUVM%;(5piMJ51l~u9cPD-CQtwgjUUUXq%iQ8jiUqw_~%@n4=8Q&?WrFI zVK64eO|dy%!|5Qw)80TVQ%!a%xGdCWx2BMS_Y>}i#;=E@lFTJ+;;0 zt>kaH6At{r7Q~R0gMm)7wM&0^%L0F+R=-h<(b>M)bsn^aFy?Jt>tLx=K?`Q3OetVU z{518Lb_~?3%0(Gc34@^*)WT@wngd`Uhh#)*#xVUD`03|nNpb0NU|WIm zmeHL8t(T=dM!5W&>1*vKq-;dBh%{h4ItN&pb(X@7rr&1zE38vrrk2VjG0vgWSb2o?~LvIbNuI3x5& ztFCS!>0U6W{H4XB*WUNDBX%|oD83N~OA1YTz`L&R%<}#Q8QftlmhvlaLWmfI&eZe| z!m^Cqg)CSHeL1mhL>_xnQv+vb9aHciW8`v370p#}Yh?kb7NF+*bnsX+zlaB3Ef$<0 zy_ zO~IMlw_aRDa<}XE!Unu%yUWHZ-dd!t`DmTW0{A}&^3G!o4=eNUWIvVpt$==8`spN2 zmpAkQ1waqlr1oVqE9zGNhlc=n7Ub>YmCB31Y@>`@i4LyOxL1cQX$~E6xv+&u7rDLc z1B~hRt|bus`;W$3EZ|lF)-aU0&McRHoss9i!O2?l*gEicFF=%oZW0283BSDWb+ZQh z@o3A}*BB?68*BbXVwLfQEHRU$4bPqw7q1rT?(H>9RNgSV)`6=XChD~eKTH|ru2?~H zUTCd}R%%#OGPOSZeolCv9j<$pIP*q*cHS&(V*gb&HY|-<10Y9LbYvx~$vjKbYGpY` zq0Lxv6$lDZPX>zTtrDjM^6shtsRfncHxx~xNw+|`*%3LW6cTnxw(dh=W+hcmrRiMS zmOhnIl8th{1+i0G6f*PrW%E;X%-v$dtX|F&$NLhQc)J!=>VO+9cj*}@R2fNq$G-0f ziact>-9-}@2heGG%MTrZPTJqM8ITweQNHjWf93kMZqj!{f4Q}xK$~ZYzRRUHKvrJl zTJUEu1I?%5O~uEpg56?`NSnkj6!YdECn zjb$ia;M$@~Bel~Z)F=HBOLqsFL)?8U2CJ*_Ko(M_JY2r$&nYptXSreRxhZsUIw&IvsfVbVa}iCGdTbW&gnPk z+5mmnQYwM2MAv_02_hPCE^?6rm@!R8glS3K>55I)jwg0y^o^LeAbM=ag?#jQ5kRdOHw&*XJ<}%r_EUb+6-+Fxy+aDz zj_Gt%_-LiDS#w8O(8_jo`v6n(UTW^qbOK&ySDM_zOh$9a2yHzfgYuR9i6u4Q%m?v3 zZo77jCJu608LDR3dDw}oq)Q~Xq^9!*a;0yk={#i)>%H|io+fP@fn z3y5lkFl$iR!)6{ewr>Phwz7S?+5?E(NkS@O@JrxM96UO!!M82PE<>-voZiPvv^zJW z!&5lknN4U4gV7I!6^b4=TiW9|X#*+2d7R(USusaSQvG$&NLAzQZ6Dp6*k!>e)o{cZ z{;6G>jjH_6P2Z~;pkgf55^9dqT(S%&2h=zD7W#qR?{y;br)8-#kMeCVhBryV{#~tT zZ6{kJw&6a$v$#>ed)$_xE?X!;n5jYY(}<37NR!fvBXvN*M-#c^ZU9E4$MB-|-d(T+ z4sO$RA9Q7Ii0qO==y(ddDIdx_DngFnBMMWI!rHNKul~>Y0Yb5M$bki0H%8&p1|aj` zCMx4A9pG|y%tg-sq^rrgKXQvU!naS4{fN8DpSnPq!Q>+r4n2!z%X6^ykHJ;IRk%I9)3&%pq>ILg<6kvFksA z7?22|Y1;l8%_kX)PH%u>3>#t>$vvU-4xwyxP^Hcp4n(fot#b4HunvZ85e z#Pn&rUB}Woc^h`?iLLWsc{5wD+Rkgb-I&o}H_E&JSSr; z0BzP-WJzoh^iyKDD4z7TP;!BspUtek7#}suYo1CyI_;{4(jj-<^7T)GXr^zgdD~2L&R3`CNX}fs%lc9I zw7uTVG#JRzUp;%lL!0J%)KHYLTrxMG4Is1Luqf6>HDoag&eIsU0dDXS+rizI^^e_7ayiYaJ1)<3 zheduMVD#-c#2Cg|sa975lft~QfDPWV0-HfR-tKD*u9%Oe2}(o03t7 zq9P#g%a;Kydf6)n;}Z1n=Yyy7GQkv~$P4u~dS+~($uU+WV9mq#DX5DF1mNB{p2SSIMw(6woVVB!DASc%obq4pbhnxA$VT7X-fyX~Hhfoi zQ4e8U;yY3;p@;^LlWUz2p;Kq8W&L6V%{*sbX6sC{s64)cHHDIKV3V&SWU)(NE>#Oi zkbiTE#BV$dcq}Fg3h<;}OZwI6ji!EGf3jgH z(QFo~j9U}Y_j1mjs0S(yXYc07XZAh|woty{t2GYQDThCS$5A|5!YviUGde2gHrib> z9h0g3+TGOTF5-G$nBK`GTNz!KGyUesK&IJ6^?Mv|VGu8HLz@FP-MS@zH%_S@W?e&= z9+NteO44u@1yGWMo7}###yaHhgH)$2&3qzOemu=xz2AQ2EAaLasXg!DFaT~Rqt3{U zEDeWxC5N8U%x#+h?rhwj=+VuXNNQEVPlEb~yXo_>k8=QYTi}-xY!qOPr4N*x7n{^y zfcvvAB~9u&|2HPjNTYeY6RPo4CK9Uzd&T2ve&1>f3((rAvTApM4i?e;f9MXS0%PF$^q`ygR^ z*T&bS249TxG1fqJtao~}wLD2$TsIfaON<5z`e*p|p39X`1hQbNw@tMZi}Nk|@SL1L zfSZ?%4Y1lZNvn)TDk@Q|o}PrT&fo^@Y=8LacGY21Bs#;s(e>7zyJch{aw)U?R$|;e zQei}0x{Dz)jZpY#lg)>O(}IXkK3PJ{gG`~@PS9D{qF=d%KXCF^^@ZMS)`aqLlsreA z#+)Nv^^TGq4SS9u6rt~2J^8e-qUxZ>=suob1yDlsW+1rh$%cF8HVS;pn7|K##K?18 zvg^1X!I*v)8`t2bhXScs;En8-{S%qiaKJV@rZ&AO0 zHGvVc0miOxL3c$~x5=0L#p{md8GTUjB|0bjI@qdiMj3&{ywTDWM}j;w@)wCBW6&30di2c=Wr?a7ATA zWOAh`JJeOD;C0*1d|3!xMn>ulWF)}`t@TxS*}LGyw|TO`cC*RD?6LWg`AZ!|s0XCx zdto5ce>o-uyvN89q1}8@L~>q@HV7UOdEHs|=WS$=>;`T3`V%ChJKWHeO5c+IGjcbI zB&`_DHQ#05{zV=4_rwi<1wvi;CWd)0K^a~`nA_x**53f&Jl=MAChD4OJ5YY{&H9D;aK~ z_}gDl6=54aH7Rwt`zaGm`iBA(2k@N44E3A(aEp&552w#|qXvn(bBAYfUjwx-904s- z0!KDfm(D@{XJ&ya2nY7ObmEg>b~XKTvOCS2Et8gH&1K;{MnSu(?Y8Hy7ZN|w=n?pQ z+-{#Er?%0LebI9`tuE8|Zj4fXth)!^U21aTrfz-)-!u=nvj`S1lt4pL3t*rDrz7*H zf1jy?Ib%I(QwnrVS*Pt2KL;E+zDS14XEoYjwLjMI25{z?(*W69Uq7lvh8X*+(`kfT zn>|R*+$b`_{cUa}^3uwh$e`VzwbDX^aft@AhTO-=2>~YGydf#-|4m!H520=&1NR)S zfu}v|Yg*2aD=2#g*u%hP0Yu0RIN~0D{R8WV5_r2kWNHxA#|!R>d8~|n8!gL=X=Xdg zBz#WD0;|b4nvqdi)x$MTP`WKfC|-6r(>j2^UN6}9(DUYvugFXaQDd2wmR49jl@9DI zn%7frNmlAruJ_M6azm5m7A*WP3lPMA5!lQFt@-%8OiRx$3*2ze1@OVylu+a74;dJ@ zUDjaO?A2Jl)6!+Zpn=fZGqm7Jo0Y(viNIFT$xe zYplLRKr%p}PH}G^eRW7f`S0hjlWJ=5$Y!(~-d>C<;&!5zGB7bk4}fRnshJw$j`W{Iz2V9b>j*Hn{tJ@+_nS++> zU7uS)1eDhV1ONrE6>5D*=2=2pnxy-nscL4Eiydqxz%R-ZeXJYkNUVoE&|_CVPu&7; z#~F7e9Sp|26-f6{{2G4o)1aeU#Y|qlp!-bPs;mW{J6i|^?@MLJWMJ>Uw}}=GnE15P z>m+NOl+q&C-t*-Zr$-AWPA_Iku`3@-4z8Jj!k$I%zxiifP*@6CynI**UAo|-&DWDI zzz_FB`<#rswS7Ub#0@4 z0HK5Aef#h4y4`w%ImMNWsElGHSGc4ijXXKNnJAsCOn^qM-F&Fet} z7ZRFM2nr#i-ZTc|Cu8|7J({sDh5cYXGK!fK`Hlq1%!5ezXgv6A4q^@$w^UjZ)4LOm z0b&andiz=;c-hKeFOk$6d9mXycZ2S>OR%v48QMn zLr!VFIx>A#lMza!I+z+_oe(%wFz)`}{@1R`W`d9weoh-rk}DBpW#c`G5Ts7E(`iuU zUwwldWrUUq@ZCWfaoRQRh)xhL$+43s{SMYvYVXB*2E1?l4je?1p|slHdK0*xJlr0n zzaW@~P?#h5{-ItjW7&;LVj8~hz)toHqlqk0cbTLFSZ3NwVO>c~o*ogURC*Tnp8&0? zF*=_(TB0RlR>a+`Wfi=L=$M?4Jcrx=Lf~jL8atPduRNJYD0VIj9Ac>BL^|EW4FI-L zo{vS=8JNG8&J`IB%o7Y3dca!*@)0#@S&)k+Cm&rhR-*q#YafUp2w zx#uU0mf7PX=D+&=-l3D^( zo&5gTG<~;AyKRPC*arFpk%I1dnz`>i~r&APoq*<8L-92t!ze*f)FxGae#kqzBP} zUi?y+QV;zzhzV+J3#~qLtPM!FwN=x`nv=}EFs*@lear?qPesm0n^67~=l<5(1D*ab z0$4X2aJsFuBW8CI8p`({i}O>w^}4uckzVN1`+acOu0FoV2wO!MCjDtE^-hVYA!`Zs z?@&`7AyNuDp&udaDWGz1#^iCNC7*>_etUL6dRn`bI%x5>91v<-)&|&?b*IB7X)^_% zIuanjP^$tHOk37jSavA{xC_xGWpS2#^cet+X6DiG`prX`SNtIh`z@l|(^g?ShGy4R zE&Fxx8oLgRS~fm`lA**x6*TTj<_Uw#`Z?#7Uimc)SdD(OFVy9rsiO8hO8s5IoJ{qISPVjiG=o;ZO zW*}O6D9%)R2HO$1ORIolddpr}aQSk)NK1YDQlD(G=`*O3>g#y2DAUTZZYX-g6^sqJ zGv4Nk8F;2PXA_1bjgoFpWo|_BZVzSHE=S_BJ-2xGfmkl81YP_EK%6DfZzeU zrnH6`t4H}H=h%z(Ev5)$S0s2yOAo16p&Hb#-!j^-bG^HAV@R-A*hFGiFMBUZN4=V5 zIR+)a|Gz}6w#riwK^$-n7Di^Kv^!u>{Qp-XgMjuUaQ=VK5g{`x7iXGd4KO8OMq9@j zMFPcltuB4cC#CVsuc}bl3TgD*q6HsdDO0KhekoE4Ug_rkhGYqI&|_mUz6s{W|FGD^pF}Ty z+EDS1jU^t@f;B!)(Jnw4YOcE9J$l;M6#N`r#Hv6C-M^WnT^5TXT}2S$9N{P1Jv!f$ z(j8(I1Xolocm_c+1PB9WkJ4kJxw!$H8c2r`F?_QSj~pBGjL2RHEZ+)%0}7izBgP2A z756JNMCuP6AH~Ss&src%Gsud>7F3=9oQ;(ZXQF79pDw1*?F}Iw6X2^XI1fViI2xb` z9Y1RAgxYBso{H*_C@cj7%TH{!Pbo$J2N>&+Jwwt|W}Q$lIM}*}+}+=mAQ3JDY23&Z z5*JofkY_24;8Uny@OhH|#>eis2TG@V4!8VI=|X}1HGWo^i^mr@mab?p9oXa0a>}?=3fh2eqe0dM?*-0?LYWx zVyEX2gEuiw0I3TYN-^is$ZX%VQFEbO2P(Iv1*qG=pM&8(UbHI%^8p+`G!`cKV(lEs zy$NNBz}CMIHx>zZ{6H7iNH^I|6XExQ&qHL6X)hu-N+bn5#%o7eU7Sd|E+K3>{X0ev z#xiOW^eMcSEYGpah}*U+#-q^uYoTX3bgxfV`+Z%RvP=N(<~N#S{^FP(PjYbU=@+MW z*#AU8;A3n_!f(c|&{KB|aRguDCM+y~TxEda{|#_sGR`6dIsm1tZK>@B(SMU#9@Sq;GJR>si5i9 zgY`P+$)?HU#X)0SQmWi91~C^0jlpP$Kg%hVaH;{I!m!8a0=8gQvZQ+ANpz$C!3MOd z3NSF~w5$w6fa?aR4x?_J4q)Xt(%AM?72?ScgrSjhyVYBOG6uQ}mX~H&@by{}vRj6o zCr{8-_*>P>tb0;@U2cf@T1%H`B4IE<3JSU9xY86mliv(y(wsKCj-zZq#lmDh;xC)v zEL{O8G`?1C>`#i)#jLAerl`hNS-C@YOK5I>mEGt|PGo@{IM<~VOR#1(&N}L!IPUWJ*v*Jyu7F{l&8F(j%%r9QEPa6{M z1>?($G7cH9&dIkugB{SJM*ozgBeYIK;#mS3l>|dsdvc_lSnHGJQ#P_Y_bJLPv$=6x zqpGF&Y0iW`L+jXROR&;UDq0%_Rz_KQROFU>lhY?p-Atgvr1+*)sawoKoqA=H=8A!A z;-X(7^uN)|C?wPHPtec!jN1yyh*Iwp9Uz zz1=GqXUn1Y9Bg=5#c0@G(%Z2Ye2j2Pg2hgr1)6++(rw%FTZQ64Ry;KQ3?^0}B0kW*2eFIjPdP;;-U4E+_;EGl^+A5;0uBLBbKkK4&Hx$yL-dBAwm;)9 ze+uSy@%edtz=h-D(2*+1kfZ?sOqw^Kg3mpuorKcD9GN=mhd{^)WJRV!`C?M#H}7VU0K%}?@E$mH)l&U3=D$-FxZ2`@_jS2&h`ZvM-7-Czv|tWvQPkEllhi8CDH<@8wqFo8+H|049b; zS`Vonnp2qSc*UNu#u#qrMKlfsK6KE zz3`A+`?&Gng|MyH_fi1N*EL?`S9aIU>zzcC_*P2kSC#={?$W1ct4C*-)lV^>CC`!` z1JE;|krFZ9;!wlR0aYKn17$Ev#ZRO7&z#>3D;RZ!d98-SmWmn&787D~YD z!Bm3As|Qkw)#@@b;~YhWBODwyHV2wV=}qvj!yDNGqxGzYTLOUMXLi4Gt8dg{=j{$D z+qVB9KQ!+k=o~hlS8Jw2)4C6u)xV*D@8T zdj3@E&DM)m(q@%-y|EwXhaqSbtX&WPjZ^pm?}(p}DRC@{mjK5m+8H5P6Ki4Toe61r z3M|DXl28i_BL@)laus}{IpZbfh%29sPh{h*j2NpvXzUQP#aFOkG)0FON5g{j9r{rgq4X^go%lZk%Li;kyD71i;azg zMTnV^pOE)|ZPELmM%Zg|=IF!QN6u1I&APIcH7uoOEP)x$qsj=~(!NR}{a5OY@!V@oj9`D{;_5m(S z6JVAW%$QLIa}BQhouG#MAv~xf(~jtH=v!k_f>e00{vL7%A%T+iQw@uP37|<^=ObuU z9EKZ8HtBVrPCAaH`59x^Lkd0RHOZd{N_9D%W%L#7vpUOu( zFVPPvA`R(_A^NJN6?`J_dYR)1v=i>CUjZ(;NWYVa79mAIo1R%hG|*kuWZ5w*7kKse z{0$rx@J#X}E*GrNZz(R>86Y6Fu3M5G=!WhDlM2*2YVxmXwk}BT_rKmLQ;_p%8j1-t zLlYg(7+r970qVLWoMK_S#IIxY3J{$xFMAk-yJowgn30y-{+?QExuF^a>z$CVo+4Mo zTljV8(T$ud$WJ4TO$@e zB6PFHXYD9hfZz>9g5}fm4Mkp2B*!UsZf_UqJl<#5y}wdmlVX+3*F{=NmiPLzIJ-7q z%9k)a&gMxSO#&j}#Ql$H0tZ}ippHPW{T(sU;}|BeS(jLUz|UC;DCtfrCRy!m*Jv)i zT1#RFG~^)1dFC2AjF1puCj)=-pdpY3h7bm$j_orm3VIsdJ7o{y`K*C8kVmY6JdrgF zqz9PGBufe%0d*pFJmmWHnLbYSlFjcQu&B2L&q05l=e{IMs6mK* zI7n}&7=qYwfDe+yF;3t;F2ye*{eBBdvO($k2xIn$$Zeu0(hKnX2prSHnz+P<~bkQL>amRCrgWM~YE()C-bg5BUwrDnSTy`sEza z&0By6JEg~WI?aCzSY^6M%lo<|aUTwa>?IYj|I()vSKkC0ktxpG<;sscQg^*H z$lJA0_U*42YG#JrGQnS8YTtVF2Df3cOS?(Jn%!sf8)ZD2d6utN+DH3ov9abf)9ok) z4_4+{t_$tbwdo5C&3$%nb+%|xf-nJ%5+tan*LkP@H*^w2Cw~LQrfhSw9uN5k12Q!@ zlVJiWf6dc9Yr`-Q2H@SlLZdWD)t#)b(S{gW0v)WabZBFT2#gaN59zGGRp-<1lvJuDJo_6t=JJsR9 zcg-_g;$RjBdvR#u%W=xf1OZnN<{iRb zL!|Rx+^_WhHzEAz5cmy?uQZ@{6BdMC}#phFVN}qGh`_Y*enrG=gndjiZ@gf z0l}AX1OpS3xfc`zGcz@lVFD?C#gnm4!!Qtr_dbP3XRxs^PHc~~YETgZL<|gwAtGsO zHN;h71dmTrrxi#H6;fgG{kqeg^?yE3&EzZtg*c}=NdTE8f<#aTDM}MYnbOFV=m}pf zaubmlQhbvQQQ~ZIaep_@qi1u82v@M{A&I0?s?ZZt9ueR&#kW!4Q22F!nD7`Wz(u{W z%_@xYE);TK_$o*)B9aJ!X&)FnRS;UA_=YiXl>inyRtyn{sb&XAFhZKS+O@&`tOwF_ zDG!8-5zuQ<*Fj!aet`Nu9IoAjKXQ1WkH@)!tl3K-Zo z3UW^Yj-ZfNFRm$ngF$KakDuhLaflh!oFgI>qml>vA46#}HsN4kf@UIy0Jt9787FlTx1Gdw*hxD{4zLJG9CJ~)*mZw>-vZK- zA|E=vkidtBhqvS5Rla!nMx~yVeilW_%Qv1%q#rBk#X9k&PQASFK8x4yF0S*-o8?NY zSm@=~{Fj$+^wGAJ%tAj)VsE8FUj_;9`y;=9`t2(J3-%?ExcoD}eE;$4!~2gs&p){T zyGtJ2Tr9N|Z{6%-nS~NBaK3(nAy*xU9MCbi=lP@odYU= z({1glUz^GSjTy$yjoS_XFP171!(i4+m5MvY-gaic>tDbG1KWkMW&?$>61Si`nFi6xR;jSv!_HPU9Y^$S4ZHW1 z{TnQhhM~CVdB5TH+5$r|aJs3N)r;yRy6EfhmXaNrf3QV_$R3JU(mp{>nOu1}~j4`l{_UV%s;$KdKL%WNE+ zuyJtYjB~D(TPHmmDpVTNglvU(iQ*_kn2bg1?xw^=EMSO{066$Ajd&H)2uC|}*bN}^ z4FazmN@nP8E@1pc>d>`o>ae+izQ&KD4AgLa0bFpPfD)x?))aV)%Y5-|A%P!JCZmb#4_rFijtl3rb_@LA zKbTFX%1^S`Q>g~&(*I>PnSu*IGvpO#*|FKEUrfbM=M;s1MqbHqk~#Q+t_x_H-DQb+ zjE%~4OL2mXYwK2PDr?nH?kjh{%#r>0T>c?O^%wqg z^~*Sg@Xr;0GgAlM1H#ZfsJVMUV7^On@<9622z5B5qe`8*{6F8O%Mg4N!D&~hbCgUs zHjJ<~qEcvjYRoL-Pu&7cTDYLQ`z2mAx74X1%(p#E`NEIfg-_hce^K(p?)#Q4N)DPJ zn7}0jF;eiv-OwgZl!FLQMFUDk?>KCDgqZ`?KzzWY}QJyB?u5lK;x0zRZoQlvo9M;1td*aunSdWGzYwnW*< zzwZo(+Lg94dMOGWL=NXk&Nnk6O5hVwE~7Lrc$t?`eY|?S;%S*A+8@rA{;1Tn(K4Ng zuRk0`^wwVe0iOsOH=uGe)A{4}>h*hBL_%=TAfxRrf082MDX31R=DF0-wuwHo_wD`I zn|PyS#uOJn#G6!U_IoUIR=GXWbM`4NB&!Zz+U}khouz}1u8IY7hIS&2Z@0g^eyi@_18df5ARC>1z!9ZWx;;dIfS zf6^t}SIGDj2d9A2cJ*OwyiwTQ2sNd;T%>wZ@U%dfl14}nh)_z_R$XmS;_BTNAU$DL zs*)?fge*1JxkA`}zD=SA4#7RH$|8F9tj9=kEhMZC(MJHi2lvvpOeHTw?scg=B@dp! z-;A|(4MCy={1lU~*Q@a;o|JlGalL=0f6-jSRf`1b0|hsjHT7EaEG;M5@9;&l{NT7T>j5)+aCW=QUDq~}Qy4rzE8mG33V3+HTEm3O6eL<vJnf>ooVA)@q-vqN>0rd)D9<3D%Z5F*Skz->3QI-XN?gzM@tcV>v(I#LGI!j!}I?myb97C z?U#N}l5XGI@qQmz9OP5ghog(vMbhQ#dZDpKD?vpSsNY||3ZT(*L|lY@Gp z={1rQ=4d#gQ?oZgnfKl+3-RN+X@`0o27{xT%**+3g~yB1vQi&*cEsk8XUr%4p+P;W zfLUzcPHBs$A!ytLN03?#G;P81!`oMMSUK0XccU|trUfPfjmk2Jf1S}T7}onDquju= zg&-*pPOeo1Kb1nCOzC&mI&>g~Dm)7XPhhH};t>S=8~FqJIqR_H;?gG<{6!Y_3wVRS zIS@a#ILeXeJ}hkKhx19KI0b>Ewxjr)lwTy7!Zo z3T19&b98cLVQmU!v*IXde*rL)(HAIxg&4_>+cxx`uNd?s17k<4B^`Q5+9YUCMKeGT zO%EK4w%O5Qkkl;s`o4{_WT-7L7`^wnyoGP|$A@?CKd04QlI-fDNbeqwcV!BH*{(|N z9-6y9BX2sr+2&~xy=>AlQVx-Q*=Yh(HoliUG~bJm?)&8X^6C>RpR zc-qQxuMgTeW#2Yc8tvFJ4`(BPdsXX(0JQ@ie36wS$T!!hVvT|=RSVm|3OBaP5W2A) zZu0|wA7QDAG$RI-vvL|X>n4!-9yT5jj-wx~-jO)jeksof*pkCz>K6u<*2u|~DzOG& zS8EVTV!?M(UT&ke!S%D8ySfl!=t9KoMtNLXD3A88ljx(~lJMJG>46b{`e+=SHBO?F z?(s0YD=d(^0$mCI0p;{wk)lsb`(oAQ%-bHB{mJwW!yu_qH{SKUDRRI@a$vxf6_yS} zMdKsU^umtOvvOw-jeaNfzI?jpCC`q33ec1h=voXt+^!gJ%(pn%AI8@6RUjQHA4d*+O!FqP0|H=& zBG>`(!!Wj!C}h1g#g1d!zTt8WL5Xa}E+~OCid+Ja4FcjB&KWQqljfWezeXxzPd)o! zzvGAd;|z>wWpot%2;R6Hl5XP-X=lD_yOxynGqXh-SGgFo3i(}Ay3Y6J4i*>L$A2PVn8mEqmWrDFpw z?^e#GE6IDSnfKBay#OHUMJJ19}GS8!- z-@;v6(64yIM=8{}VNk*LN2ksZK6A{}nY;|i$E`TY`!;#UO z)_gbMBp3`xVM!^6eHVyoK@y4u?76w0!GEdTlk)-(5G0{ypxj4aB}L|OD0jffHrg^s z)fm3>*aUQc`DREtW9(5V%85>e#1061D*&qHRE`#VlcQF5D)51n;f(W~W97`ZxQN+B zQJ~dMOFLnHFpBb09z*n5dLe+gtYKU^Z_VTAx!zTjPe;x`xXx^!jUD<mr&38`3cdW*eys16?i@_)-;d+p^O}k`WQ0H_~ucELC4xd1Snu^`3%^i z50GX+Qb5KPbg?8U07;ULOEA}O(uP4KR0%ahMU7{yp5&q@S<#9{4=}4!NA0K9Y#&LE z3wRoX)zmJ-JuBLAaAb@lu~fjC6Cp_2GAiY)o+h&$qdc4- z^lbDCpQg?P+g#~ZMh~TxH=V+STFXFN&qqBHt`&|_H`lsJQXG;=sBbiX0B#z8u>kb_ zt&n>DPECoj3ZjIn*dD0LdfsrfL&uP~DgKvuw!-enU)`Me`QQeGnflAmfyONgCOcGN zTHUSb5^8Rq*YfKFj>&|w$@6M*F@$eg14DxZnvQ0|HXK>F5)mjx!L8R61ytQ*6g7+( z*}=I92zKlla0hEH9$vhP6N#T)6;*C{f<=ihV>FEX_zPb6abP;` z&vqD3XI>Sd%E^QB^6FT)u3tSc8=QE;x{+0}L%A67(=6G=Weyo5+m*GbQ{d9O zPY>_@0WQmjZj(l^C;~SylhGF_f2CI4i{myBf6rfG`sBbxt8ZI{zU*BWT1v0Sg;Lnv z2d$$drvAv;%IE z>^^s2z3Vn^vs?+ma^HuQ=Yz9}v#AGH`Q{aO+o5lf`eVt9ydV8;a3ku}f8FRojVxDE z(R{skNyS-z9MWd2Y?s9Se&~<8eY$s&?vMU(^eFK_nQYv<<>UI-jAkov+Ry^Mwq0Im`Xsxn1ERc5--gc+lkQfsiK zh%xH2s#h~-$SHAesHq=f3Xkq;hXBd+T-z|ALgshNlFd1Tslkx}I*klat#f|jxzQnc z82Ur1m#^LUZWchIf9jjbXcdOD1PFnF>~?{t01jY-h!88ugd(LVE-U#`H&7Zu%iM0l zpi>i@2KJM6AR|`63Em8h-Cz&avq>(Z#e zoT@@xCb&b`+yJ_+Bvk6VL#_)zqm#!Uuls3;qWpZ!C6&1y$9mU=mqk*QKiLsUnfD#8 zqeDlB+K2UZS@IluQ)_eT%^>IZlgT7M){}{Ti`G+H1Xh(otGita?&6*j?umIZ8vHLW z(}MRX$P3_4e_NlNNB@A7qfIQdrD4hh=?kUW1JQxs_w*|&j5ZtLub4>D(G!vLFTu>+@2Z5Hpw2pJ;3 zt9P@eARLKJJsz6)w!V(ZPKT@eY9Z_-kJFhh1%SEof2uc=zjlXMq)%v~&kGwE1p)vZ zKsZx%psvyjf3G64Rhi@XLB{5tCl>f4Tp%;?J!!t4-={OBE zQ(RBXn_pUVZd$ncLL?<#*kWuXA_ zA`3bKG$SmZTN^PG&VF}so?b%D`{8e7-s1cP(Z0j=&$$C*F_7=IhS#?0V;oWSWA=JxDmelSIm*B8Yz4~a?7rFvq>dYPCQjP zOnktQ7zt&P&;p?4$*)hpKuKfnNsR{3Xmo%5p{bvqKK$v|qJ7A+LswP#!_(_S)^&%x zD;}D>IJDWr)9~<|6o+!R&$7Hq{x*=sqtGWnQrHPfmX`cJZ*iPLs!-mZ-TGi@~D% z4|{UBICN>t4v(-MFPj!gIB6C}J0G=U*)20V7tEwRYkIYKas}iU^cmxqme=h*aH>!| zt6oI?{XAN4EO<3PqN+{&(xdGYFHruS8yB3E=%FnR2cO#Tsk|C5mfn9~OD*AK9qw$4 z#J=KhnLHO?@Z_#do-1%84ip6w=gTjL-M&uiHJBh?r?9{@EXci4e}@7i zzyhW))?J>Ql~dygzWRx`_f|O%;qhKpaFW1A3=XbRy`&tm0u{;H=lY9mdd@)F@clU_ zU}tIa#K5f*1(%>2;USkug(V`eWQb8LK@SPAj&BHb8^p*b;x`|TPJjN_Kg6()2ap}i z_pCTcuV#t@&Ic(ugsa|80&dQ0$g@XMrozb?5^$jtkIYO^L{vQT@)xR6 z5M~>fpzC)p3uxItK^m^|yvxG5?qa+g-rIRt`k;pc`S_kv|8p`UrlzZetxh$ILSX^hR5=52-Qgl$T;B`~9 zP&dZ&6xV<98E!R>Z>+kh6*NMbq~n;S`^EA2f>+n6X@oD!SqoDkmh@77&7{-j^PVSmWyS#ruZz25%atbQ%QdMSo@*DJa5Uaf9 z1|q&&n-Gfk&#sWbffeN_86^IKF}p><#(X%|UX4iWlC6~mB4;9FbkolI`rv`SSF-u{ z#SkHW9c4z|OdLQFVtK-2g7MwB$bcCwVI9&5{z?-@A~#_u#wKjW=b+B`IlzhN5y}Id zLuh}*ApsxN?~k}CQC6ItnN+lLYY~9F-)e09GMxqXdF&&s(4PM@@D$_fd}8tZXhH4oJ=KI{vaky0^T(zR7wxYQOy?63(#6yiX!(?qH7!i8DMO^sKc^ zAuYANFC(!+`yMQ;6Q*dpWW;YDdQEWjE?#0aHgqimry=05Vq%hc`-4v=#gjxUXsmx; zYZc;(XVy9P)|^-7G|-G%z4GFjX=Tv#CT3;wQN96il3NB?f7kWH#BJA){T_V#UOyvo z!|nZQCNWei9{z;gemL#7GX1M@K5z^6Su3}Gm0=rqhI8dAk66uV{9dXcu9w)?3HES< zljbl+m0PU^K8lIhUq{d@|Qv{C94}1~Z zxoh!KN7CZI3^c9A$$DV|Y>y)q^vY}Ed^C27MkcM8W}1~i8fvxp2)Wu@Y%JFv^U5|x zwmV?T>mLA{^v+#YUN;dQ@p>&?kKoY37jpbY8+pwnaIEE(29+8HWGz}h^7ntA7`C!t z<{i=2{^-cN%ewORkh(zCd6I7c~X~+8qKz9Ya~SYg>p$ z*S3(mA;3E1u&TP`vzZ8GBXFx`sI?h>Z555g4EIMG2CI>Vd4f_=H`|xq@*LN9-4*y< zC%^~c23~cQ$A-6yPg&R9--AF1yt`u|u}I@((vJU7!ZW_@?u!Bbzr*Buk|M~gfyLfj1<*WF_+Sfymr;gh8w!iETDo&%$wyhm{kF$*Q!*4&3 z9*q&Y?i(Jw+_UeKNOqX!LWZj}javH!&oR6*UI#D3&VT}CG=G8w69gjXTi`UTl%8Od zTXb66QnD>S6+h!?s)+1}r#`w4^{{>IjP_tFIu9vRPr8+n36$}w$1pN1h#bhYTK7B< z;XFA{EpJcOE+va#^%Y`bdtUZ$el*>d{+;Ot_qGR^9C7)Zr>t7z4!Bi(EHa5)c2vi7 ze@Nmuj{d8EwSS%cjUt%karC`$=fQQlulF!BOnhZv!02N?8VA^bVPhF*F#M+;^$XIp z7s{t`a6|xrlS20wAuB+Cbp!)hqaQT*%Yj!i@?p;-%^w7`t#O=17BJG?T0^l%Phs?# z4bjHzgClcD*ueWJ97t$TRZ^4o$lk{KFLLI1f3_LrV1LG%abNejigZg+IFKEyIDpZI zEGuz0erPuh;LhSbR*BqWpj`%#LZeqSMSGs0#`taCdfnMt6F5i)*k$f{W?73>I2-z~ z=k*GHqET;Zo_}x&-!x2=LoTc4-2suE^kAI`4Cw#|JHp=^bNyOjQ;5zTJ{l z9eFgjqV${+@9aqDNQuUV#@3I5xT2G9l03LyeLx8+{^V<^9AERv;?KWGcVLw5GDO5hS|)a5IIv0;+-%%b@N ze@E5OX@W@b%L$5;04WI>3L^8*d99`QuzpUiVki% zPvf**K8D+fO&0WUSdkjM0X<4SXM(D+ujjlF6 z1$1MAFfD8IJ}8pB$D+lVTrgyTerLdye^=_Oo2`cjDOs$6R48y{duB2rr3h_Ak+Vp& zwU&;h$X5+Bngq3rQ%aEsZPxBb(KIo&cmBd-2q6X zemp<$@Ix6%{18>!+vRi)nCA@!U*EE45E*Xs;kEdjo-H(*y`F4%Zyu>j2=v7v3@YY4BsPE zS;|xNImy)2n_qA3d@zz(xxXCw{rW)@Jg&S(=c63?lLCj_Fym!e=P1^7tXMBd`8M%=S-lLi`9FZK#qDob(s=!CgjQ0n`^8u1n zAbT&x8u%m+0r=3I6y7oMN$n0QKgMOwMwPhq?!)uD{{x+OlSm3>moJ(DCjm5*(HAI} zf0_Xde<(nswyXPiY}%#=0yJ$G=tI*7u0-2xWXTn&Y_`9?b5WKZ6Yc9fonUOY%hdlVRd$dNXRz{8(Ma0fgLPE0hvt0oDDbkW61Cmz(g;L6h}4C+ z0>l%UU}!@a>h|vmY)8}UT={{yVh~Vl5D;JxSW^XSfMZ1?T0_Kje^NG#cPggde7bbQ zf5^KP%6aXLlb!VwoYK;%ik-q;Qcy~}q<9OoONCy>3eP{S)OVBNRp5JnGLj3ze?hJ;+Bw<-CcLO>t^2U#rdjS(=f$U0y<(;!A<&A>}ED*cH62HVP%ab9$RgR)+CBcz9y-Qv89U^^U2o@eSC7gUnO zXx!9!L}Ur!h?aoPHGI)QB-dcNMnP}|h*raWYIg%*w93iCCC~$;=QCLpfHAG*sabeo0I;u@k|KT} zC7&TC9Z%ZB&Bkd6g;YXesg`UCA-tRYkV9^U-c4stRh2pu3X{49aosb|dYRN+CshPI z)RI_h$UT~cDlQKsER3@OjUhfVIOLxWK`F0nxoj9mIX$~dn)Wy|dqZ(Xe}OZMA9w+S zV!H+$-M4(Dp9#)rV$wpo5?qlF$U{JSED;2bK~Q&(wynUdZ|}tYDaelC`y4|?EP`xu zW-1&FCi)wIi4#8#v+0n^F`YIANzo4GjR5&WE>{Jzr4jF?6fJr96*_bLz#SSxNMbpsJRIdJ+%qV)^M|nhU z(YjS2UAIc`*keVz0Zl=c)BzXO8q%so-m2LWl<6Z=8CpXD%lzdiasV$FaDBVB*<_$yqH2dQGZAiNb=M;0Y;zk z!nCN6785UXsS#6}tf0gJzxQ3qmOCgbk~0)>z$qRn?$Urb7`_p2@91(iqCk4ZBE zBX+m*_R>+F!JEKzgg`>0pBNPsQC zn-WhJN?(fa0ZLaic!DtVykNS%_B!T(DWYjc6b>ZwW#H|XK?}ROWj?&!#?{U}C@g|C z<)RQToeFjMNgi{!@*N@wO3iUJ;Ov%}O=mRKtX3Fve^W8{0`q~C{Hf88|*;wbqg*MNx`YXJWK_6;(B_?}0)ftJQG&9;n|j6jBaaaaH`sTB|j*aA>3 z%2IssSxf+=0~=R3kY}hotXawQ@32GEyLLM`Df{rY9K*(BwqC{OEHA`S@6 zKa(@#t|eU<2?Rl$9gkCp{w?QMTl6&;~X z>IU6Xo&n!O8*$wtQ}5$6^HAK;8|H8s`6BFd7L@JQ-;d!-L{dY+oyO5{Ty!tYngAm3 ze{OO-lBY+c-g0uEKCMM-T$KB)$YC$eo-eN1udZ+N zHj*+uR8<}whp5TnSEQ|sj(zl9^wV7?>uxh)(mqa#x)FX_I*n#6<~VNz=2oLAxq0nk zDY$f2Snx#7DNexQy2m(ge}#3wrsbXjcA+)E?vabUn%P?HzPZ=_9RwQKKTaLC7%9Ix z{eYwNg8#u2ysz)k`*;)oIDU?@C;?uFtRZ59vop3T#jqKJ5St3n6CQ{vV<_gIe9&Av z>)E=exXncxCsmt?<2ZRrb#^m7?YIzy_PT`VA%Q8Ya7-(nT#! z8+Q!E6|Bp#g0oo8Uuc5^Cp9^BG8%*`tAqHofQqW;o{Eb0%km1Bvz7p9Ro;^|EwqOH zc7UN~yFD|;+ca>2e+|lz$>+skT45*|cUhIGh39mN+h16K<1|!r1z#8(ObZ?@jwa4(Sj0B<K~i2 zVMYpNZe(+Gw+5>LY6$}}F*TFX7bt&?R!wu_I1s((S8xV0fH>j7832-2P>q@MOm+mIg zEoq##J1aHaQ`L6YHt4H0@*FuSgs+0|VC5~`!6gg07fA1=EwvSdOawgk2}GHIHVo1S z=LkXJ5Ci}qtXY$1XiFs7y*36xiiCp?We{LZvS(c`O<|FFud5QFwR6+ zr1?=aPX1i1bCOL^S({a5wwOL8T`eI>+v|`~I4*(~azBRSE*!%ybZ}|Fijv0ZqBw~? z49>ZLJ(laDBxuc*i1Re{WgMMGT*MIIAaMc4V&Y1=5OWt}>0v)+3uk4vo&a3qFZJ_+cmyuK|#u z4A~@qAWI>g0YvL*f~lkqo+|0fRGcSM=p22uVGkqDz89bxssq?i5h#Z&$ofLD53}E7 z@9u;J0{333yd>@CYyS zS5qrT^QyHjb=5-JideD5F^O=Ab&6x=b~kMeDi<;2X#&OBQHX_S_zHSy{Fxaa;R&~;PDS6yGkHdKBh#W7zkbYU3#k^JO5K%4pps;AhTA{!l%g;KQu$OE_`f~z`k zAug4BOc!q3FE19qvY@_7>e=1JNy z-Z5E30=I#g2a*fa6iqMef=NZYA`#I;8j@H8D*(S?G|jn0;hd-3mp zho)|5r`DNS;2ZhnpA-cRFX^fqT|;X*!jsU@gj0Ke-NC&7o5`h*J5dumBRCJ9kMSuVxP)rC26eZ&1G=ZVv(7)|O zoMuoD6byffkp2&ZiU$;g#@JLrXbeyni2&U9gabsx03s67B9hWTAV3rdl=>Tp^pFOq zg1lf5fUXeWJ`w>%5pk*@-F-b^PR?jdoxcD}K(xPa0X$${fQXcoq`>cRfRY>30|o{m z0J=J5e$L@jFDg%6z%(u6g;xdXtcYuu&}qcw-CsG4JCy1aFXX00C>aD&Hy7Q z3hLnng#dny4A29)LH~>smt2O)f62q%Ce3=Re8tLq4% zeb52`5CZal3kZUvkeGOo7YGIiIbZ<4TL%Hul?(wO%!GgDLxDYD?r4+{3I_i*qwudZ zm~B==Kva-!ZcqdoMf9sbRhS19jM;Zz;XjA#ia>fJ{Qq7#!VnP0Ut>T#-GxmNu!o*d zE!965jEU&qHYX?=AP$t0kPsIEKpz62K453zUj zm?ISPMdXhHc|iea4^L>I|9?9Exgrt~0YG42G{6Ds1Va%0J3Gbt<_uuf}M=Y$NWof9Z!~bXGe>s(vkv;%_K~X7ypp*m zApRR_4*g5Ix=;wr)9t^#T4)eP4N3?n45I~qMeYg#@BU?nq10hMP>2Bx4R-#EHGkPn zf9VYlLqH9XDA=zj3?>Q){4XCyWMEg!Qv`*f=5H4iqoIG+RYQQ0kY8dG6_)^jJUl?Y zM3}S2ti%ESA{bRdpgzCJ3=kGVAkml*0A|KOfFsg_=-0uD0fa#)%*-&9E9M-We>s1D z+kpUKHyFYb_1o}|ieOI<4~+bNQv=h^-|OF6heCazV4}HcBv>ZGHS^I} zYQ3w<2Z99y-;duqL0KS32B%TUr!lL46#Ger%w+b~xYpb$=F^vtB)h~mUVeFT)q&cu zlG*{d0g6w_+0q%&Pn7aHcCa5?vT-b<2Q43v$5VP(XLy=unT}pzKZeDhDYwPZfA?Lr zj?WzY^yytrU++_~qeAWOYKf{yD*D@g_u2A>lKbhYlXC9AMqzO&i=V2Lr6sa|(-*l# zaxLQ6OD_JHEbMDd>KF5DaMDu=y`>-YzR|M|DLyTi*R^=WWVe=W@?DsOt|>XjS)k@A zhcah11nYD#W4~Gqp5Kj2!veso>sa`yJBchQJ+suoo^Oo94+mWQfY7(+y|4-k))d6aX4AX2 z!LFzSB*z{z^+af*MSIpx&vw#lE%DP26lQ#C66jj(8Dys&Z$e(eWUx_w9Vd>BW5I zYtvvms?wkb`HoM1#DCj3Y1q%VP^yczg2$wGP6V&oJ%7*KZq*mhl<{WlYj-<$+J=v2 z!^J7?0hPm`hIBuBL=n7yqA@|dMdec;b&RQXA4sR|q=~?z>%C*+$#-HA>ob|VYoYG8 zn+4tDg`Qs8tn+22R_3o3RA!L!^=Q_?Bi!)3w?=qzDmf> z+P$Ei4IA@^jH+R}&3Mt4cb7_zBbz7+Efc2R7g`vo9q3$%uG)z<->PaZLu#h^6N%9J zOwivR*yiqR^P~@GMUtGKUYP5#G8<*7r5+XUW;Q2GVxRorN?px>v#S53c@V5afo>D0vepHj!4;Ume2dZS zdsVi*4Rx;v$znDNLYnm&Sc2%v&)UnN* zEskB2sI&~;4mU&AJzel>$@`kD&{dbpDwCR1D>w8}ULc}xwWOls0ei*w#|*G($OL?XHwGPaGWK8%kQ|2DaGcb(!9CSyaUktpQCx zS03=0Sh&xBk3^Q(fzYqUgQf;rb&mepBW1%VhDXGE!8qpMr9+6H!K(&=pQ}aH=vk5na=-zm?;ZJdgH1L3>tAq3@ohHPkx^AFDKC} z3&YxX=0trj-#W+xU^UMy>%E`}TU)O*n_nC05AOt(W!ao;DohCwWA7e0pbOwB8P4Pq zNk8?Yy}Im5@Qk+J*GVNB18i{&cG(Qw&j{ZpGM+ViNSw93l_{#TO5g14Tl1P_k#Z$} z_N9oYY0ymeb(djK9hg}Kq`1)UisXz*9~ed0RDQ~K@Y7IHVCM`AfPO0SX4|YyAC`DB zRAgkZ$?@fNv-HpQ54;2I@oINwH;W+LmEG%|jDpRL#P3A0gc*AQoQLs&QFEP)akC$3 ziQR@CRa;#$^c3ol-Wz>$GWP^Lblfn1io89CT^XCLqgnK!Mf>B)abq5D#y9+jdHgdA zU`yY$-r?4w{OlV)VNeU z;g;c#dd^(+%o{AY4@!KI&(f2s)&P$G@M;bxS+{Rz zM!4#fnPvw)`v~V!6Pgt{XP{EQ<)yc`!LA_@NL>7tWDh?-&!$17K#4Z-O^I;Zm$dX(e1TOxuys{I=hJqDQ{nuG|j|c7N{jyF-x{x`1MyPP*>2+Q@x+KjDvc zjdOkzI^9+g0nIV0H(2`a3X*+a2CD74H^wqp8DBIVEA=l&RT4zky<4WAZBklGZGPL1 zhIiDCXkHaqW0{2dphk2HnI9R%@YO$qLdz109g91#yj|y`=vdA*MR+BD2}%=S>`%tJ z_ro}V%(K^_^%dP_3b0N}${4@njeC8)0i8wike@ETCRtBHyBo~h`oBC~rhi!S-brPU zKIu4VfA&pF)(t7Yo2~06(JG6c*E!X4k9&w)2|MRyS1|6syh3IRybmzXN?Ae2;@oIQ9HNnm}UDC9#rtF zi10aST)t#z9G{x_ou`nf!xzZ-bblL_a(Rwx9CboJC$_O@zURmmtjU`$u^$BWeuVB0 z7Y$b-kM1S(YI_?xeR|@a!zW@(MH(hF9UGlH(zR1dtYa1vbn@|zz4 zLPWIl3tcNJ-p9Ip3a%(5U_=1@Xv;NTGB2|}jCq}~11d8&+~V|$n54V^s(IGp1w&z% z7+T90*wgV`2zT;-PE4_t2k&j36Wtw_Z?8 z;5bT!^Hno`wUGYSu_52zmL<(Myr{$Mh&}v-x?3ul3zY04!_Vwb-3p8%_vNWn>&^9s(Aoqm6QwTVk<=*qOYc#Lf)#oumdK&!B75Zth2W_oI;YiZ!(> z>7hUE4z`shg2hT!45_y|m08SAf;bMO)CyZ@5?$no9@{7YDmHWdy>C|Ak%^0)6{+tz zO?KAZ%~j6aT+9BdR9Zo~-2U*@=)n*f>(ZOW@w*Lw_^~WeFA~T0L|z&=(tRMTJQkQX z?#-7tS#7(?^vvT$iFMMaw_f(2iQ5`#e>|Z*=?wNc)8P1-&lpj(Jt`Df&^&VMed_B{ z+K;0h>cg3-;F{X3q%b+Us<)18v^QA!hT6-8@Ps$K@p@v6?zQkJ&doi}@*@E^wJUb( zacQ}KJ{T;781om(38a8PjsPD5(`lYPQWMRW5!_udCr+Nq?QvcBgzdY&YpRQ&Ct z()M1V;=X-sv|fEtPc&Tg6?v1Zl9o*rFRku5S#YCq;g_G5>2rt%hOj4ic$o=PT%~-r z@yz{6+?QZQEV324ORm=g0kTUYy)T}gb+C+oGwjw-{@k7`=T8NbR)sXm76kcnyM0B; zW}0q=O1ZPybzqkmw#|QA<1W_A)~MfKzL_CUirrf}{Kmzmo)U2^W+8vSz)xXLbvHy# z@BGn?b_WCr^ArDvv<{X$^6Yc>_%DO0ND@@NSDMd% zZC->Bw=*VE??9gUt0hwp7Ii=N4xOW4&ZH3Hpf+3HaArW~ocg(PxVm!K+})|B#ytQ# zHWge{leeninx`us4ITdw%RPPS&I&iIewJeRB{K%sVY!rA*!}oM!|^jFlaz-Y>f`rt z?XIVkD3Uu7J5+`r@P8J%X~+9>`N_zCPIcztg}NQBTEisYkJ8ld8tU7?_uT+(xXN zA)R!4ifIaqlTSBLlc}2_bE_y%Mg{VGIpgMlhkHAHjmT}6t9*3|2J+5m@FNs6I&D{j z`)oz!L3)cjFK!j@Dc*IC9cvavA#d#zPxD1~QNt}=-4>#Tx(JeoeO_FR)q`g$OY35K zSdBVXs5);G15f`X8dO`$XwA8QLEdA2!Q85{0@KG&Yt_G*o*S^YYL7%l@>jG?Sav`q zsT6<}JZYx{FbE@KmQKBllPkW|TS^{FEy2V%xc$p-douP@)Ei%v#t1Z}>t8-ww$x;H z5J_oRY1QoaZ}JZBH?p-H&!Q(4AbQ53Uiu+jQ+4jhj6uQu2;X=7Y4dG=gGEktxz@0* z{yya>ywkbU0uAk11LwLRy?W~=T&+R7?dT8{f&&v8zr_hh!VN;%$@J8?%g`J4cQL=p zY9iD3x!bOmKXKRx8WG}=h2hT!KPU~MSkV)8bu0uOBR%g+isc5AZ`U7rEpK<81Zyvt z`{(FRE{ZA4Bs?k8J+k?KE^SUPbDP48HSrO7#!ZVAnVS*HtjUBiB^Fc(LI%rPG79-@ zCNH7^LbqO{Xujf{n%bIC5c9pVV`<`YWT@$JKdc>9)H3j z^V*Y_eXCC9;-hg|dY4!G(81+5m7qF>&imo5!pZ9F5~e~mK=}=XWv+J=)6KzjDU z$%=8gozO$n*5Yos5Awdv@=Q6~d+$pL{ZB%HkMly%J43<{FM|%uPdwG zTrx|>)|sNhvR+Pqm-YE>tPl32;G5*fsfb@{csQ+?;`NY=zvoDZdK$+SP?ONm8A}k9 z_DQ3BZT4Q?(`}N1YCK)9^(7t`T69VH>JotDaI_F{xSMS=V$*Ag{ob7Jk^XEFL$n*I zP~7wQsslnJ>kitn45Xf{%bhO-*W6(nJ#8XYRI{XSWCB@#$qpVp&<)N7PxDC6LKA8g zP9H_CQdwo*Wzmjyioz}H-F(qiwn0Xv7?)#GnF^TV2A#5V_Gt&$8)^rBE_}Co^+&*cq%NW=Zq`MgEA%DhLtV`;T#E|J+OdZ$s=32o?J*bA zm7^;5?6*!S%CWg|BfWD5d+{eS%C?3H`ei9%-#ht~Z;91~dm>tKI9@Ml^^tD>%(v6W zgI?QzAY#qnc(Y_57APo1Z7AGRw60qR4arlOecL~ZC*jpr z>vn~I-L|Og`1x>pA3rYnS2R;sd5!gGPHi;({etT?QSIPWBR~iSqjgtf?n;Vx9A`<1Hzv>v(5>k>ZlB)JxYXcQ}LbHIpA;2~_%w1e~C% zQ9ipxnt8J7+7zp6QL{IPcb!XaHCsuH(LKU)6IdK~HWoCuqD&yg8M#l#{krCCP_A_C zqqp9AZXF0-E*-;ht}ni1uomInZ8sL928?CXUKEQN8)COzAOG(3@LCF3>!{YpBje70 zE_XfX2%ZtjcGW=bPN@v-gs#RC>VH4nv8Nm)C~;5D@NZfw)smo9N!Pwo!4dYZ$#uJp zU-5C!_yfmF!yhc;Dmo{H$4N~zJ{jJGpF4_~AE`GjX5Zu@31W{}Q%jK_jtpp&vBxFr zCHDHkdCodtZDPF(p2oA;4})UIvTHnlHDz#lvQ&W=;TwB^_VSsM_JkNF(Rf<<+TDI- z0%1=nf9}A)@m4?5W)@!U^O;-1`)F0d;*|<{r>ZuKK0f{1D93CbCq-`?$6~Y0p)Tv~ z;Gms25%up|EVg7yVqTSm{VV#}UK783z)=iogFNT0~pKd$cInBO*VV&*g zJDNPjfeRI>TyUKde+n^D`fAV9`$*A0QSPR%xqRnA^qTxdQuT(f;+Ni^&8Ev21ixP? zbZg4=gZSZc_9q&}8p#N+AgytIk=?hVEqtdQ=GM{&wI|QuJhP?zQ z-pWp6Nh@tv##gO*+3Yjr@N9>JQ$LyJ+6*nV{6f^xli zCYF`~?;ean8=rmY;baco<=qr^H|jrMoO@HwPAA&nNtB@mO%^}r@0qKAL6uk?aWfFy zu5B*)mhpMRA=>a2!^uI7F`P2rrS}w&NYCJh??sPAz8JC+#3@9j?e{?Mc0p{!#^vf6 zjoLQ8z$(;Cbb>-omljFIds{H{KDgiP^9$(-2Gcpw@h15Jk?5IsDePpOhUP8L!u7Ad zjVImZ)A#$)A_Q(ab^)hY6x-GXONttR%msx*${_bE~KuH`isI{aX zngo zlb#Q{XN|{MKy@)U`*xRIY1gI~(Xj6!6V-BtJ^$96xdIXwA`?=7@sg>LD-Y{kg;K6o zx4kPx?fD79*V`wXelNVYO}w+`N%5rMhjBO+PK|Hwb;bqpxiRHUdaLhS$qQ-XWpu3X z?Ta(i(${dCvd>AEzy^YKqm4I@Rm}BkE(<2Gon0jC*ReA4-nPCvdGK~8pIEf`lc}d- zq7!c{ct0VxXTBDHWYyvq6hvQH8#e9KD3KYj8n#{BegBqre~V|^UO9ofpe$7U^YaMy z@!XW++5)RDGKW?|O-aPCF_p4|u)MrcR9D5jQyS66mXUMccS|a-;>TMSxwqLnEM5)Z zD35|S%uZ6TJ>c!v5vpGv+E#_YYB;f(V5nQ8+$=!93IAt*>2;lPB`^v`!&x`Ngfvxk z>rDCSxq_ik6ci-S9IV$IPqDAVd8 zz3?suOX(j=IW1D96))ujX!(+CZH~oNLG1Jp>t;anFd*_BjazUJ-V&rRKy#S>_s(N5#>dsA`EggcN19h&xa9E2>;3wAqA zxzYzUE`6)uydIwMZ?4hNs0aqvW7|%bCKbU3D*p%4c(z%W;qL+zmm{SD77;Wz3NK7$ zZfA68G9WQGG%+`q!2tpl1UNS~GLvzzCzpz)0t$cb?ldmJ-QC^Yy^+RUg1c*Q5AFmA z5-eD73&GvpJzUP5naP>&|Eun;uIhfD<mRV!Uqsn z)R1Lm1F*2LGqJF+Ay83i0Nv~@|074B(z0}M1v-NG{$U~RVrlC3E|V~IdpA^c1OepS z?E!zR>;P6SK2~l%78U>-3k&am3>{tg01~DiKns8(6F|-pWa)}PCGP0t?EAxhV*sXzFHT>F}P>+|(YR?r09Qbo2h75VQg|Zf;I| z%*>vio=m0=u1t~1M5@o$@V5yBstwWS+?lZAza zhm99t=?t*+GPhy=D}jc$ljXmZtbc!r-#PgEIypK4tlnu@`U9;j-+vH%T}?eK0d6kt zmj1r~RQxYOU}XhZ0L|S1W|r1K5W=76?_x`+|0y!}kfZ za0J1A9K8U(jO<(hMmA1X04pmCJAj*$1>k@Gzj0Jd zf&Z?9<&Uo{$jTAG`**qTefm$y9{-*J+J7$y9pHasDLKARt|fr>&!8KyaI%=cf3g05 z9`}E_{QsNszoPuV4*LJCNXp&b{$G09zYYF>^rj9#d+&c+yicyX+xr$MI==4$=>M8( zTmHSeik22YcZdJ0m31?H-v)nCkoEgSGqQ3pv2gq?2f9iDy(}$MfNthCe^1Tda?QW? z%^nD{RB?0#{&mB=d$F+mAKm+sncKbJBChYF`7f2_`wsnYUP+L-qs3p##>UA7Fm-V; z^+sTMpC~p?PJl1#`&L?5di`sd0nAJwN4Iwuz&l5OfR&>Q!e0l=#R-347X3@~H{t>? zi~T{|0A}$&hzGzd@dxn&m?i&6*&u9K$#QCl> zceH;$mj6gNIR272IQ)O{|LeS%E&c)Dd0YMiz87ir2fn*oSpokfcrV%t=<&y%^DlEp zcb9(zcsH^B2YioU^QWBmgR}8=vatmH!{S{A{0DqzYxfWMPRafs@SU&2AISR7On6$@zXCF}vBg zSpK8^?!TEA`KIc$cfVzLJ_P)mE9G0f#gb4{^A}$6N zkB5gH2_m#hG^eXptU+{k?wc&7>y^mFX$rB_;bZ2&C>!V2;8G<6IB+wQ@aPEHN&Y71 zNa)i+9~XhV$rNCgYNt;U?>Uh+_@*;7h}O(?OkJQ&O)Y^*A?2e*$B}2ij%;GElMFl0 zhuHm$%jACt{g7o-@vVu1Z*+B>PB#LqGmjWF-YJbUMS6;4N7vcb7hqNLKkIE^GILsw zw_Fbyf*4BaWtQ4PmAERiyF%}omA4n6-ZZW&s`o}pkD zRV>cAL~3Iv8r|-bIBcvB#RG80C%lAmvBB#qMK0J zFPI0HkH$;B(KiDOzFc7?edrQfgH0{$cwr_MzVw1fZkOfZkU4ZYfcU&Jahbj1B^AZ^ z5ez)eA6H%Yx3%S#j!o#qj;K~@!CAH8kqj$9X$8eg8*ny_<5(`c(Wte|) zDzJin6jqCSC_M^0S^}^5aukkNbZB}nv}olzC4vzIU!@rZ<`j%v0ZgSU zQ#-=j6fS5$ZykbJoW3kIOrF(S`gW({2`t2`y{~E|;)L#>X>2!yr&eS$P8z;Qz?e=Y zvr^@ABvX@&Qg)t!)R=STNiha+7e#;T0`P%-)QlC?)+;0zLl>yffyQM97jwe>#&xYp zRo~zW0=w*8ZoC&pBn`odSov8Elkqb!r^8znZ6;xi3VxLI5agq*WG<^GwC_JdG*bu@ z5F>sdBsSj`3AKttf!M{1UjXk>>}j^pry--Ve8FxV(|HY((}Y2L7H&ifezkw%#gek* zCZeK@fnVuFhnPB@2p*0CnIZC}Z(meN96#{X7AYc1O6+og8?n4_a=;da5OTCSmzIxj zm&lR~g&NkxHS_1|>BsbbYAIRWlXXC9^hIBs(?H2(_jhqTJ&}Yt{Cy|xFH071OmJnF&ap)B?Bj^IR5S8 zV>G9KNX*=aIwX-u&R~XJ{Z}(=@QK#ravV2=6V7JxI=(HOp4x7KlohCvNGgbj!t2(-Szxz*uxr ztP|z7p(hCfTEL&*KEbZvseK8yqOtV>T3I39cUq{isvhXE&^jxX@W=L>?2jAN6>y^6E zf!;*$xCMGaqgN-?ejr@D-ZjYu+7S|BZ=n#J*eo;1I;&Zxf|8X+3W|zMz@sbBVHCo# zaneoE=xidNJ&b>tPj)fixYXWo(d-brIRL)43~wi}uU?(B-H{-{g5<%&Iwi39#lIJ! z^XE$U>Sve$UX!sOM+FOZ6QL*Y%_w`nkE2BTI`UKbF)}o}>wiPovQi~Xwg@N%Yz9Mw z7J(+g?Fg*2fZ-VF)yK{ai8~f*;RXzZ62+|a!5y1s(=30)g;Hal1BSbfX?YIQAg)%HMb1WO zjV?TT0GiRQ_(6Y0yuZO{aY z``{>IyIs$`ZzU9H95wPl36jPd$HvALQ0A{hke>2j{X+j6v&pS9f5D)PIl`8ZKY5n%hYW~x87-@x5_1j0h@YmHm6)GfQ@u{&p z>`z4SysIC3MYV36eDbe1N2D?OWdo`7bj)kz5RPkHh`k0e&z`Myl?q>6teVX|33dW9 zYPv$iDuv<13d>=rsokbae}RnJs`6u;W}bhJn=wlyz))YMsAcEIuDr&HEuXTePRy~# zf!N#U2wP!QoYPPtsTTtGnSF6Z;w<8rb+6dUA;XUc41|w2cKMP^L{oe8E7}Q@< ztJ*|f=72T~BN40(35Q*wJCHOfN}CuR&)bhH*OeucyDzl@@!@F~8_o}8*iC?BDf)k6 zY{?I!#lporf;<+N`lmYGrS7Gb_!%+K=IqDhCj!%ew63%E{zWpbuAT+(*)?ta$;GbX_zO0N; z&t98kMn`A|BMxaLBVJvP;@VX^P;Y-k?*+DsZO4if1Wrt5k5m8Do=hTO=0ManQhtu< zN9(>oG66w+D-qfTsijLA$Juj15Ti+*-0OmxK&>uRPTaFFS7|H$T~vNOni6q4CC{lY zdh^VO3{|216wpeaSs}JpWcrp9m?FgE7Zf8vbR~D|XOJP>5RIzbWL6Q^l`elHpX?Sa zF04qE63>1f_usb|+&hjkrgQCd%l;_8p-}TQAcYVg%0Ak1K7S&$*t~eY52p{Ht1>*- zOQ;9qO=;3d9;p1a#9x>%QLvHq(K0AFL@=5{ZLpd{`+LcC_k>WfLb%~e$kM>gb?GF+ zltJ{D+pg*`ZQry$Q5e-xqF5W;Q|m!TU`Y>J_%Dn^9ytor!3B` zqZb`f((G(8!!)+xfKY2{>!sH&%iEvJeRtrZu}^g%9MjT5At>4B3lPs|hFFQ5=gohG=MilzU4A6<>7n1V=j_U`0 zHu7KQ-NU*qLfN=9bxOQwuDL_j=;QNc(fuopEc=vrZ?=><@uqsHL+JCDd;c0 zDQ%8Rbtz05T1tk!i|bz7Ek%7GL-7@h=36wjux8iv1o(YYF-&RcRumpb2gzon$D7F?0 zopeGMM@kfNKt{xR=$c;+=I2k|fp9!|Un6{7QV5jEjtAc`*Bp)=#*6f}Ej$zhlF;9WMe7S<5e3I3~+4?H@3y*dh zX*m$)7ZKN%I4oAecd1_J>qxjOxtHtfuW~8DKM_sRMElFi0BI8}&ls~KVof$g!v`D~ z-++IMIxII07)%sC`8As73ojlN$wP~gdyC>W+woXQR!fe_9)r6$YC}dUL6ym&LtG9F z@@|VpV`77!ei*;715FTH(LVQ76&_8vzq-iGy#B10rup2Oa;cg_P4QCGCGp+8+f`t? z5$jp4S$o_58ji3f!@Lsa#Y+tOT2EL3_;P;`W!Lqntb=$O4%9={mDzzilzw8&Jt2x{ z|J{VXUh#2{jjpTYnbpLn_WL#6&>)`BW2%)fN-@%wWdxcauI?rC(S4}r*{>>!q1N-+ zX*kc5`#}Eq()cU1AtLPDAV*j(ReMQSPPV{Ir)~Z2LL~EZ$`do_$~cwrrh%9e_HTc# zkGv;qtaGRSlvmE=n<_I=69;J7W*H=oALbLse@n$CxOyk6)t&s2w9^HY8t|Wm_?gcw+WOUd{NN;~KYin=kCCr2*1vW^E)qCfrQvq5wyG4Onux zR(y#M4Dvif(PiJS@TPyOAIBBIRVxmg&?xG(4j@$Dlc7cBmC6Sc2CWT^m z?)F<1<%$e@gh=&R%pR4t^9M)DuFx7^h)vL{M~(AS@4f8WAYqRL{R_8t`SK2DkWZO( z@zRxR#ji`}w_P{`9c~YYVh6}{IwiY&RIqxPBZAu_G;TDgF}^1agPT?<2qJXQW+@Nk z=51ruWL-LLvs`+wB8nQkx@=C?*($S+xEMF66*DDKvNX;bZaRC|yPW#%DN(g_f@;e1Lw}kck{I(Sx zp-A#7tLHyD@T<8%r7(#aplNX5$&D-$mArtK&TJ&g10izkdWYJCtrtv;`*Y0MmH>CB z79w-$#6<1;POn9{#U9FXZAiRh9Kpl}%&Z2tz8dTuCGy~ANUNjfu_yQD)Ql#?21eZ} zt$nf3VQBUx5@lW{#mW+>##uc5@G%T64Cs>$S4xip&dqiIo>E~;oNQruJt*?My-a)%3`%4-qG5H-3#A- zIrb&y{;4(o#2LqRpk-r)!qoc^Jng9xc>0S2uED`mK_Y*+hFTYVY>q=@mo>is+>?Gl z`S;39_W&$|VEczow3Tn}KY}zdHx?fai=)|WJYvuT1T3sdWR!C#WevZrsDGMMqH;AF zLh;c3GAL6$Ob#(l3LNVEL;)eNhRN-agpSoSr1lavjRqA-U`to>)$XpJV!Fd;j%`?= z?Q^Aw!q|T(=RusLAFp`uawkqW!yObi`(d70&5aIUD=Bhs{3Wq5%%@(GSYl-~zecp| z4ud<|seVLR$A)?P9qM9_d!06d8DY>{jI|&Ogi@|H8_PY@ zJ2>5T=a0(z_!tUI(7sXoY0Qoqe5#|YFsTS4gQUA%P(@_%iqB+Go&r%}t|UUOZDenxPtJ+js7gqZ!#0#Pm~G{rW=UxNY%2A$x8pS-%C?ZGIyt3_ z+TPpeQ_z?h2DRtDG{L-KWbM{Br*&5jkjK|@V@fuotkTrMJ^0;*uDG&`gjZYD&N@13 ziUX3|bvWm@(7Q;w?(9CZhHc`v(EAqBfU|!C@KD}Yg2R)RtiAeL#Sj}J6P|WCt#*=z zTY~klBFUYxBQdi=zc}2nim#f@$)+>o#(v=0y@17I9srg?K+R06mZaC2XY?1(flgFA zpj9yss&!AOmjga+Qg1?EK7vr^8eF&z*VkC`WdSc$1Kebp@g3e4yOXDI4nNTO?R|eX zN9Bu+>qN~w0qS*ZGs;K+iT~GyJSzZbi2e5Xriu3}gZxI^VBQ$Lz*-5t9|kQ$i$qXA?M} z4Mg3Ldk7%%#=l)V<@Ikkl>36rzI5CS%68uk`}DjZO}Toy^|;#AAG(mS-7$Q_6Ih1t z7=G3KKw<4G5-qIM!)P$A`9puR&E>oixh|Ua4GV4c^=&M>ZiPbEfW=~k6COKt7!l&6 z#>^){8>41EBdx+yyiiJIx8F)79m({wMr@;q_RsZ~J|=nSVMc8B@8IT2GemBo+R9LE z6U+ibaJSnbC@YnZU01lw0Kc^OtF!F=t160CyP?a}Fz#48=XOdk5x;-*IG#$YfO>4) zJk+$k&Xqxeor6VQZ#iHup(v3$pTXdk5@)*mN4)Pq{f;W$DEryn#djyJExrd?8kn$j*>ryuPA5=SoZU-{Ey3G? zq)@yb#RS5XH!$%EHqzSOUf>%00oRyd<-g;u*OFryxr_E|-KtKE$fJd?58zh!@;tqGs#J5R+!JT#xV+@qDd4t^q(57^g86M-7-HU&Bp%d8^So=RKKS~}jf4tly79_zf zn-?e)xY#swocbwDZ{R!BFYz-H7E5CASP$uYZeCQ9VVn*w<)j_cnjE1)>TGch*~aOb zSefC=D>?A$$Xj*3(=E%MM1wL1bpky-VXny4H3b<9pAcYbp>&Uacg5zo7?Uq7J< z`BHym&rvXMI2TV#NOI;{qpt>-d)03DrnqWJ?Gl6gIpLzMqyT5f|NEzYVeXBa`6G^T zPIHqd0$k(cqfaCSys?*0A3Jqz+0N+;r&;55y)P#Q-dwyl`f;K3+&&9x%f-=`-xra3 zd*5={?m0JGN|zzXI(-uN)&NkcY(y5=eGY%_zfW2_zbnNQW)MlqA-o&*rfD=5VK7lr@U-_2hbPx$Dhq|R_~8|0k}(aIK8Q8}RCo9qSyeWqlQ-#DOFABdmn1~zI{r6|Ck<`vOQg4xt=r)?tpBzq7X_jqCg zFufq?c{{2qdxOQYDL;H2y{Ht=SWs};HbJ7M>j<-XE^>e6s*FW}37{85JZOYD#(~g= z&OFT7@$YFQ@V~z;Lv4xxvRBN>Gi-m30nxwfI!O}zo`!2(aC=z%YJ67ySgLjS78NXX z_1rVd55pg6Ue};|kB=ngpNd2(m9OfrE@XJkpAMb513w>ao@grirq8p$br(S<(wz5Y zYeg-BXKEh2lh$$%+tBHb3D!D9Ojd%lKhlQqng_^%Kh+@ijWQSHCmVEFxxwynd!y zL!<97Np4U@<)|3>;W*qkY*#g6>PST8r6;CY+42Zo&m-f z9VPf?w%~U#y&EpB`I$!B_ltkV`gTQyqzcP^e-?A^sQXe1YNCPx^COF2hAz~EOk*jX zuyJH8P*hxugzQd`^jx_DECD*)#%N!@41=;5zpbBY9 z{b4M${d;gC{Eu};5)WwN5W=*y(jbCFvZ`Y$JtdX+P#2!Rf`X|v_Y8kl(g@kDJ+D@o znrYxeyBuZSY9oj(qb#Z=)$AQ@`n2(WPIh8^P>pb9+AN^K@x=_ zdDEQ;txY^wZMP{S(uM!d;mzqbH zWxX=0qs^=F5N3xLI#%U|Ko1%oBy3Lv$rjmqugTwr$(Clb4EZr-B#TM#WAlwr$&XQc1-|SO2TKr#(A^JHKb0 z^?iFo?^c@J(2Io(J#zH?*@RViL89E)$m#PVr!{vSj7RiEM9x+SJuS0hGARor z)FW!t6HREnXgEk3lm%s-?(U#i)3VOY47*=j2zCunT(I+}?}CpEUR}n<-KuS!Z4^7j zSQSA)wY*NXQabsSF+8CJOT4z!u;RW!Ds4;Hm>$*725*eiHd23UV3zsao-o7xoz_U8 z-n3T)66dX=r?ByDw?trH;wG(~xT+p7;hhikTQMS&WAvLI!f8Aq@vHJl-Vuc$3O9Bk z(LXJ#n!D3r90-bPacNsTB>eHkrWOthaHqA*N2w4kh|`Sz(SYug(H*pzgJJGS9;P;< z)Q^8+n?YCr6Mi<403Y6yshiqR)9k>aj#M=+KjEOVG-c`5^*#5_ zy?ZqYE47gub=N!H_XQx68Ti3=dtLM_b|Yw@w2%I5nA{M#jLzA#h-1ZwVY>X8GS@#4eZRJK_o@l{b? z+I|sg-si#6pJ!65yqr8?J^b_Qx(7lyU=tw69FtJ&7{=zebw_<4YYq=398xwwhDVH( zEe-DCnI-64|EB#?l$^!>m5C6%7ddwE@$Ayo4=hcm-&gi#XDDp8r@a9nVbIRAq(S_)|Y6-#8(gN;h*3?%Ayr2PHWO!wRZ z2XmQ4LPc>3?3=f+#ePV+(#;tm-ph?|lyrlxVd(&Ci##e9Y{6#A+ zD>U7%{0 zoe`~sLzeGyQo2)Sx~q>K=iR6SA^9J#$V_7$QBcC6xpo8o-BZcu zM~255o=?xsFu3%@hHR#sZ4J`bGw}KI)@EZpgyfJKvVEtz3Ti_@^&Mv`YvOPYH&4EV zt#LFT(|%@7)2!w|%wZnK2-}r-tIVd#NODC6!iqHwHR$*WDaNE$k`~$qne;uQ^K{6O ze^jNGSCZh(Tg*@k&LI>p8Ugf_iZt8F%wHXb9+c2Hf$EL93M^SvdRPm-+cP?vpNQN{ zM}!)qp<_44lRw{pEP@uPwSL0meF4#tQ2x%808)v1| zHXuvGBN~u?C>4g2`>L$!5(QTN7{Lw%%}sd&*XP-hy@3ys#Ii7a;VF;-w$-*3WkB(W_aPPTo_OQtBO zTuDFADG_}!aszK-jRYq6xW4L9!+bS=!P$4s;p!&NW)mt~{kj zVcW51yr{A2pf`E}n}44o{?ALC{|Y32>Q!!R{J<#?ZOlizX-!uyRR^s54ldzDkW;#T&I`C9Fu@{MtHnCXv9&Uz?)qx3-1)Z7~#{0AQ_JsBA5TdA<1-V;y|HjkyaD%pF+WevX#@ioeWBUotT6+BilUh2nIE zep`a7^u+G$aY(YF5xET47rx~{-A?Zrp`M(LikA#s26Zet!ip>EZ&*9ak!;&seD=$a zuA4Qmx`{*g$D9fTv&M~p${^8CHKxuoLgqz!~mFVf?91YS|Pp zx{m5$#r?9#QP`?}?G1%|dDW@cs3Iu;VZAjg*VM+G%;XE?9;!GA+wYH--jvKZQafq)?A&f$7*k*^;Usgjj~yGG+`Vpu-68f7cK zgK@W5hFdlULk8A$p4q2VA)NA^)=?NZ;2#1-%ON*2WhqG?*<%s0bTQ#q(J`DGJ%3|$ zNZrySNiyvQ9S;_GJW%c@eE;dc2G^}Xm?R9-cNa&HjcxX2v9^s-#w4l=;y8Y;0?UncliBrdgdAD= z85*s;xO{s{d7zD*2Cgk_JNFFS$c-f;Ms$v_=a}?b#Tb3G+Ayb@eCx;)7R6D`4$hIM zB6qoBoBBc|3;Y@Eq;P5Rb08#7e{^^}ohbLbgzXf(N^4=&^7!+$<^ z34qoTzBjl1BBMUX5XZ9eO1i1+LJ-;^bC(t3tx&M^? z6sPLiy7DJj*U&&!__7D?@w{)p8IHb9%~ntm?AuJ<3YBn{R&_9|SB?o=6#NVz~GikKB>7;F>d#vS)y+oWnKv?!!7&9dBqi0T=ibsyy43T6lP)1lQ8v0WZ z?=&t64{B{Nw$7J9V^mX|9xkDrp`D6eu@{hpP4A<7{nxPs12qs>TV=q{6|L(4;RaoX zgxR0z$UttzBV7K3can*#rk3ew@uW;&21^n2l41Wls-S?`&8+F9s+|*8`;C?} zs~3g$r#y5|NaVPeL`e>tsiopG+ zCc9)cDr_<&zwn1Z8zUvUd3nDd_X1wfN4FrKG#ECOye_n`4$WK5f*RZz zoh={Csn^qZR4x?wm30sYAB0#U$M~Z!Q?kXOe5?PLr(Pe>vp38?n2t_oU49HJ=_E3#pm|Ty7phC@8-~-Wv1mm1R?84 zXxiAVPdIeI4T3(0S>xJT?0$LeFHYt4kR@yi>1#xntcwKnZdl9At=NJGH=9Q0rC!f@ zS!ro>W$Mxf6kOxMS%_Qdhaado?0)O@Ow_3RRh=GjR{<4xI*gZET*%v0Y6m>a=8=N{ zLTA8ZnRaPNvjmnqZhVtFPvX{XHM;8FT?OKaGQc`Z-<%S?h)ha6B-oVU{V1!5)a!T@KrAssW4=%fduHS$sW0C!*}Ht%RbGNT zy!kdQ##%#qs{D7F#0Wv)Jx(gvA}7e)87oNB`l>3km~dbFqP?$uy%hRSE-+a(YJjDs zxOZHM>_>uMYd9f8@v7GatkqoE(hS_9UZNENACp!5lycAFO-hpQqzS==(>vHceGJf= zu$$`MC-g%JnvrvGS7mNf4AjKk_zDYYTklOX!pZHXXf6bBa?58=3#Kak?TeJTU_yKj zFV<~QiIs3*i!PGItT%d+kC&=#+$-pdB4VX#u31SjBjfd>lr*&qgR8KCcVc_+o3TOk z7xN3{lpmFJt+zGglXlg$ZDv7sLk2LYOb1Is3iPzcfN?inkQ~;fM1{Vdk z4-W+EP@Rdt-3l71k>(>;Rz7^9$f1E=s@`Tlq^u!kr6Gn5uX7bFCb`)|SmJ@OM|JX| zQndy+@Fg?L#Mr(0cs)aL?A$UnQv)Q#g)w8LgR^rhk{yY+Bo$FlxpnJ&_w+Rq@-M>g zw+md0vP|P8Hn}=$?aZg5d7f8B3s(nTt^efZxIyj418~!AD)kJAWEajT$2*?^V`WA< zdZ!7)a9P8Lp_9{X?X7n=V)MYNK24;sq6e*W#8Oiw(K%k%PiNbFh^mRyR1OhAF0PtG z*O^_61{K`4qf_T+3k%WY&Q;oFrOOr6B4|J>y9VoCf^9Ze&NsVrWfZeA(-;?rO1MH?t@I##ZsVNr@Dh$XD#-h zCCXWPfd@^|2p!+IDyKpSYnyMezD4zHg@f$nGv+dq@g#CFoj^^NqXbqf?`#1mnz;AX zE4WX(pcec%1y}z#? zXVE{(aeuo+-<}spSZ5$irGS#Rzu|jO2k0&71YEs!n?VFdP8|?j*u%&v9I-SRvK6T9 zZl14ukAl?guE24cojsmH;#58uQ^F2@35ix`?QtmJKcE{c6&*i#l4vWIqg@7{g}k|K z|5Jgncgp6EqoL=K9b&`O*868?hk&rXvYQ_ZgRVY!LuioF{E$>FLf_8tj-i$|VZA`C zvAJ?55sc?wczfXIA~jwOr9C5tVx|L7d7~_t%lf$dLtt~5>+0c|_Z_@$D^%g6S zCLF_7HPuo6WHxY5rpu%Dclch^1X!1bpsqWr`e@5W$TyTO`> zo=*yGvI~7@TP?%ps`7l@&W0W~%KogO2$Qy3Y9fwPU&V zXhctcSrSc)J#o}8)y+k}9iHjA0-7RnbNte)?V>xo}aPn@XrQwEkDI0zB85ov0XN#$5PY-e=aJv7q( ztkRr~oAfMcmuc{Y-yWJ^E*xp8uNRFrZ$zYhS$`XTgBUS7voVd+uwN^-4uzv=nhw=s zjd(Q@_~;*6I|hy0`hjLu0G8ZDX+{Bvei%{}69ZDH^wgA0kGz-3Y(h#yjQWPD)z`Ke z5f?vYxr)C~>T23m^w;KB702c^c#I+jt$@uc2HP$Rozod8{9-d7Y!-PnPRF0${M+wJ z$5M&sH&7PfHcG}A(1Ed zGfgq?`q;fmjJQ7E>QZ_0;8|jne|^&ul?U(w@&zmh?DK%&Q9Z?E7wsS8?WTo2DQy84 zq4itzUt{b9;p?G2MEJa?S$QZrH>w{@VKjnf5yHsGJ=Vo5?-8?`v`)~umOki&=T*Txg#DkA^Aidqrp56~QTn z`vbe==Y|X4WLeZ4p2^h^LJ=($>ysB#>dA&e?btC=JJ#RoIo=^l?UwnuV*rLn82Q>9{u0PTl ztp)rn%wv5fqO9SF2&RC*x5`rM&cgY#BPx=pb5&u=nmh>mia@7?6)U(Q*Dc<=vhyzt zpFlTy?H_NuTR|rpJF(lM0KcTPEg3bc9t6#iZF90rR9!tgfY`z*e$6{&Sq88(0k?~e z2Fz3}C~8!IqgM1eP;LdWI1jGD3q6@G^XE^L40u>~A?DeiG%3Jx&`~o4iZns&?M}A~I-&N679di5)DQeR}uT1QovKhHJyuW|`f@1>4l(Q=n zXV;JW$(15p#ty>)d%Whqe_{ivY@P<~XXA7TQGezlFyt0i!8itF4^0=CsYVPK-reQR_DN*9Oy6+eIWooq{e_8>TvXF-XwJQ3y;D&Y^1W-1PIax=&TFfwaYl0b;OUlDxbD_#$c`%f=Zvn=in`|SeR9%t zt~Wdq(VZBa=9pj5VEaJ(5l&*?CrVQ3WhA&3n4&&iZ7h(;}DR@nvIvRkQa z2d~Y)+qu2`QU&)5XnQ?DS5?sBKSbJ2@WDtIWU`)Vn7(Dc)=Gg96vD!#OkPU}A(N{L zKUaz)QYL9ex2R?Kr)_hOhGWJMcXF9-ETOYV>=>&fRoH1}7o)t)IoEL_3oA)@*N1+@ z=;vaBLZdcIqiMOzrVy3)tmG<@Jh{R&hK$QEy0#7e`@EJkSaSevIqcd5{zhA}($!0; zT#8Sp0`+mN;TFK}?6l*0BIfR2i(@@;#o^R~*>$M1FU+G7Er76CHCr#?7;zFMuvWxW zS<9hy3ZI@fJCyA$^N~>Jw}U_vzK-F8Tk*(Qix2btBemel#zGoBkZ8Khu=t6V`W_3T zxtxR+lan! zz97C5VZwx#;H&D&mUpIbAJr|TFv$!4Fi{fC22`Y^M3VR`kH?&qpuexg>I=`{){|}) z6ZK8kkp>XqLwufbbn)-ag?Q4RL;w5|`eOC7R^>)(%y@}^I^ z_L{rMXj|QyW!GL#FVv9o`=fAvaQLw$s~OynE?cFAKx1kz`T=#b#;;B*LpHq7ZNe+3 zaS7O#2pSh@xqqx3xsfAL<5emu7mF+^9iF$mtk;=T^h*yi>wR>idWcOg*NZDlx_P}E zJ2ICE#ElFdR)H!V_A0jv06sKluSC&zn}WC&rBFciem#yz__w5A{-wYE?^W71B%c7v zpH@w_iB_%xZ@x_BX)keqO@DZNXO8*<>MvmXSSxlqxFMT0-&Tx)HEPKA*J45grzBA_ zb#_OePHXH9nHdZu`;>bw;|QUtMDFS_x34?#Q<$sT(5D{&M}hWkRvDB5-_~tD#^J*w zve(|{?Mh-*YH?CP8b)8hnM>K85vlCa0AYp312tYAlf#+*j>VCNk^&Xq6#8he`75}{)%=Yo1wzapQ0)>(utrB({j2eK5+@qS zCJHR%eYY-d{|-%yP_nv{xv!s;7Z1byjY|WgYQ~3i(B)=T z?5W)j;ms_Rb~Xz)Ue}KU%?UU8{tbj^hn9M|_#CyO`E;DLT+Wz1I2HM~P}T$@joY&G zjhcaOzwpY8cVYJh<|bizSGVu4Tm)B?+-iTYPj0oK4$Bda+O1?`S#%ofRMBVC-YiF8 zY7FjR1|vw~wC`lndtRFUX$%dQ|DoOlih7v#(9~XW9#N3gh>9!}enP5$-3B!D7z>y8 z`bC^i{b(j6R&=VG-m=TOyMM$RnhdJ)B? zVqu}v`w4pz+MkaYL_O_zaTax^nNF>JmXR@u`J|kIDE*~)<{igjw0+l3S`B3#6fF}P ze+1XvJp4noUV!0*BUzwS<@c`duFM6?$6#AV>bmM=&N<&H2#eY{NhMH}FJ!S`Kg?Ka z?ruR3#J*pBgtgQ!Ku4W8x)n%qS!Xwav=QbYwR&xGzoDCnLd<1Dq3%A<_O2=2qE@T^ zN^`-OJPzBTy$MPC6vi+PG2oZ{rFk7uKh7p# zx%&lov6l6DKQa1sAT3MZ1`ZrX2tQIH7%0=crp0;ZT8qkEJYnP(R>A9j87 z)H7HaVR<_(X9!e~V7orT9d)8Lf_EGJNwNG9c;1fH5e-FQbtqAp%ICuizYWp~%5e<- z)7J7T8g63@d-=i7!F)B19(McOd|Txc$6-+;5!H!VA*-1PEzizf{9=B8-{-+!bFwOfq#UQ)ualb zhM2V~KUFot(zJQTJ4CvnRISPl!soya(M3AWF0k&aJ5)jYdBqO@JO7bWcBM*co^}BO zA!{iOaMF*b^)jY`&>T*{H@TdecRivmP{MG-nH}Wh+&ly(ZDcSO>ddYgxyrSlngpwF zb>iy7A`a{>D5=NZ+*55+WTx`PA4I0%pCMg@^X0&6L1|E+>7kZ^sJA<-6{w5Y8(dvL zMz=%rhG3LvMLB!vlQGHA$|SS*N7P}+%vivb+a`}TF4T?jRIW6b$XYvY_!rYIMCW)M z)p=z3D0!s=of1~ZW}ot$X}b63owj%A%wCbHoB`TNuQaRlWalmwYyaj+wx5E2@sR7? zH9Hz!Sq-t(S6;$Y*FrSNerQ+;J6o9DnM4PQ|t;`(ehIlKUeU0qjFj{2e%!^LC#$+Q^bG; zNdjUDU(D@#B&UQ)d}D`gbs~)(9}#=@^19^osIx-vs|2N;gr8xD4SfC(7Qn`Z6I;~> z2#9u)+FVcX7>s{AbqCkqhD}eZj%;S~hp;TUA0)5MOpDvqQ#)6yM1xMEnjv)L-@db|RAd+J#WkI|7~oHfP)sV!4+Z^~gMo~KK&UaGiOtQfx_eOyjk{B&}LlU6;;yxaxXW5AmH)pg$0#ZgAm-;mpT|q0uKGCd7ZT!#~ zgFD@6!6gDqZnh+a;wyBZZ484cn*-*9XDJUvG~yj6Zv69-%3BkMRLfVPI=0^No`YP+ zpu@T3SMN9F7u-+r5W4^Ha5G^6phe#XbsO76%z6pz?$4*Cqc$h3^1cftJc!>Zi8dbk zj_fy!ZbDv+qgBwv!o9Es#Gf-1nOUlZ1!G{!ujEoic%dW1yqT=Q6bzuYLjdPs#2O9a zY42|DsLq303AQLG^xXAWE&I`}PO;xKYoXbsQ?|>VhsE6>beh`H61A;?A}?_z_}ico z6%#@hRb!NgZ;pWn1AFn+4kCneP{ySP2Z!e~hLF^ZN+~y#9mi?c6-rZEtnZ{R+?wa6 z!h(K*NERLcLoMbU2DUiXsakCd-IuGzHaNkcX=y)kZJHcx*9gb%$rP{sTa1 z;6rk8aB=XY^TC4?{m%%12k%4T`d=ax2^$B`e>ASZX+3~Cemk1qbM4$=cXR0Dr)KH~ z9f`3x8W)5N8250nDb&r#+7Q>e8SpbV&EiizwIR#XPH_|}Ud1w>U&nIRybfzW1$-hT zRjf%aEn{Yi0_0$^(S|-1BRiB@nC=DqlvLo_K%EbD-7 zDH#S(Z??%o&3drOL`__S|KmB)TEV!>&U#EY)L+DTfweD@NydVu;yDX<4B8EEOq!-u zgf_%dYY!MRWnxjn(U=xf#|SUNCxY}6qdi4S0`3;>Ji{+F*R?!_+pxk0-Cj-tT@JQl z5`oosO1X&kA`+?vas{e7XoZX(TQ?=XBY_NrGJ@k{E%89o5ShWB4hoZHVH07J8wOKA zA7~;|Kxb;8F(MO@1W)dl52?W85HIN$fs%?P6^4P)^8#zZleU8!79p6AAvMfS!*EIh zVSzPR;j8RZ%|J{Ih#I0na6)>LHFBO$>KxaR#nd@XMwp5|!nymMhMHxZ0Lh0!z@Px+ z0)^U#dV<0MB_dCR`j&LzO6ij(!M5<`fjQCP>FYDF1i&lK4?4qi;ULt}AUD#mVHjhH zwdM*~-zGb@LLP?aR22?;h6l^CX2fJljS)4!sIn66#C8nh+-Bn;MMWE0TE3+Ep;$T9 z%}BfN4BViOfWpdtzS*jEL7V>>M;`$`v*Z;Jg%SDl;CaMH!@dW|=3TS;tNG^C-P_E0 z&JRg)d`TDfb3`9S#O{f5CaJIXpWv-cAs<)n^Sz4umErZMXWtPvlrCrrE|3AB%N+Nb zkOyEzzP0o9xB^CEL34ttg8dm(8euf5ra}A|^24H=KMMk4tU%zhBX(in=&{Q9m|YOG~7*J z0VLJjh8z(+g&YmTi4eoiaBl&xjz{{cJ8OIghj;9Vwy1RMdU{{-(5$TNkVWl;u(N@;t;W=yIGwsJ2<(v@V1o)e__OWHsEl_ zU+;7H-|V!qGNraVgz`vtCfkR9vKRhdt#-SLm>wl5vaN)j|CiUC?qUPtTs0|WX>8_e zwk#SG9sN$U57o%8|KwjPygj?`Z=&RYTp~PDdB%F{s$U|*pr|hM{x#TGi9JWiihQmW zG6EUnY^Ci*UbyoU*RMEJ&AONbV`0viyg;o%F+8+Dk-9Qu9b&;MKXFFQJzL3+l##)r zj?5$`>Yt#4kEBV&;no94I%h(5&X#4zO11v4e}~xJXEm+{PLJS)sD%2%ErSkX$CdGR zyDf+V7W2s~Toe1;HB=hLGSCP?HR{-C z^5!{I%u=x9?Ijp1!tWls@>#1xd zL(9@8aw8p$eSOQ3VV}i1BvZDeXG*0e-TW>SBj8H4UT8jA+o&VR?Oe@}6t>tcDQUkU zX`yJ|gD(BNwrn1S=6I;Q^qlkjX&ENVUMpL6X;EL0w@e5a(pzz^Q}%mqPV>Oy=-%K2 zt6@P>5Ruu@>V52d`<#HEPga!-B3tZVU2=FNfF;&CrRL!{vBZIr#yzXTA!*?OSGw&y zHr9A%?{(u(+>)8+l#M&L+T~Pp(_pBZ@=_V9dc~GDZ@;2vj_!}J?92AwkOSUV;{h!< zWy5X!7u!m}u%fP#@11th*~Z1i!Nup^KSY0i$%V%GpV~|*q^-#+!{}=@GNuXv&Qs`a zf7J*jBn3e-4}Yg$8PTF{VFZ!VU*2zPgd$(-6k@4gs0N`@KW3A0ujYT@zxG+ff85&c90G5YyJj6<0+3&wRBrVB^<#bx!V4Xk3NiIyfD2vw9it1i z6JbK;eefQ6e!zbx1CMuKetb_u{CNbyx4Kjoe@1;fu=_i_gOBpFt~W-7F;e9%rF=^; zBKr3 zm{R3*^Y;3*^91kY)btPQXByQ5sO=B%3izCk_{oZ`?pUh&SQAtAT{8B@bKxe8ne6Y( zTX8|YfQ;8U_~jIEcT$=>z&t$}-4B_l?b~w+e4r&euN_?^9<~5t<*x2J)S?DF(hxqN z6fdfjjNWiKR~}oV_6~_*j<$YwvVKnq?;=tU50CmM)i~S*xTRMi!~OiyX2qNF0n{Em z?mo@#5Of8t#?KbN^lWOH>CeMPQNO*}Tl!0*2r%8n>Ri0eWc(opcAP8Jyec|6ap$%I zXKGBg_ZM4hb9;l`sV7&PtI#Ozg|c;5-vXVxcgK>-%>DmeFX$L9UtRDL=tE7}bF|Kj zh<;2KP1X*4e`Rksrt|j_{3Rrmp-dY}M@X}`mK4qxMUBmBH)84>1Q=ogN#b_~gk`WT-8WTqVE2rUQ_ifSX9`%Nto z&A&rN)*LYw$w!836XAxQs7E+I@YM)2#sHS&5=RCA$H)qJxCp>fKO`e-jVPZ1su0H6 z46s%W>Q0$QJBbC8G;)L~peF(dRbAbgjnrb>M#w6I3p;7c?{vEL{2vYG@D~*B-j@JhBNWqPX$R*V zABn2A%_O;kTaE!*mkqizLVBH&lPmv}y_Rym4hY^8M%RlD>DI{Sal^l9PQXVq@Xt?w zKA&ki!?C~998ToDPW%Nu?mrF6+D3W`-`AwS%pM4u+O_-_y-jw8Ku@Q_0yk6@W&4Nv zWMSuEVdLfH6qOWZ=j0XTWfPU+k`Nc?;1(AbA`$q1p8)=EOJwKf`H!BLa&A&7SrudW zwtHrEMKAFusQ!l9d{Bv3fu?BX7K4_<0c7m_&`>0@C_yHVE5(eRQK2fTI!xr%9JSL4 zI8RU}l_Cj}O^Rc+lK=X*-^>vKd*k;E1B?kvG+vpmmjhrC>^36!pO-g?0tCKGV}}e{ z1_n!S`I-cFaKQbT6fF=ai8f))ri_%#rPGujyh$OqVN6)t%r6($X99Zc?1F#=EdN76 zSXU!x9`h@JlK3@#T(jwt%vt9m+a+v^R5mHV-2cJ|Nz1moJiFM)c5@<`0&x?LPC1ci zZyDV@>=)FIfaX)8VZNH?4yCROl$UTZAnpO2_=|2f33P9f|JWPog7osC&nv?O@ViXr0TkEd1icx~%bSQU1-VGIws)!ld68Mn7R8|%Sh?_Ow`_jq ziW{MWk*+%I^)Rxcx)XhMZwF{=V`&A#bCt1E?C)8Jozq$NJd63$-J}|Zr1zVfmAz)a xR=@Q#fs6n6X(`-X%#H2;dvr9hfpc{;c5(A^F}HwY<>lq!;eey0lvI|2`!Ccx8o&Sm diff --git a/Schrick-Noah_MS-Thesis.toc b/Schrick-Noah_MS-Thesis.toc index 655f898..16068dd 100644 --- a/Schrick-Noah_MS-Thesis.toc +++ b/Schrick-Noah_MS-Thesis.toc @@ -21,9 +21,9 @@ \contentsline {section}{\numberline {2.4}\bf Compliance Graphs}{2}{}% \contentsline {chapter}{\numberline {CHAPTER 3: }{\bf \uppercase {UTILITY EXTENSIONS TO THE RAGE ATTACK GRAPH GENERATOR}}}{3}{}% \contentsline {section}{\numberline {3.1}\bf Path Walking}{3}{}% -\contentsline {section}{\numberline {3.2}\bf Compound Operators}{4}{}% +\contentsline {section}{\numberline {3.2}\bf Compound Operators}{3}{}% \contentsline {section}{\numberline {3.3}\bf Color Coding}{5}{}% -\contentsline {section}{\numberline {3.4}\bf Intermediate Database Storage}{7}{}% +\contentsline {section}{\numberline {3.4}\bf Intermediate Database Storage}{6}{}% \contentsline {subsection}{\numberline {3.4.1}\it Memory Constraint Difficulties}{7}{}% \contentsline {subsection}{\numberline {3.4.2}\it Maximizing Performance with Intermediate Database Storage}{8}{}% \contentsline {subsection}{\numberline {3.4.3}\it Portability}{9}{}%