From 2afd5ab3f0ef9859be62a40dd479a2da0a1415c3 Mon Sep 17 00:00:00 2001 From: Paul Wortman Date: Wed, 11 Nov 2015 22:37:16 -0500 Subject: [PATCH] Addition of PBDSec Map Space image Addition of code for PBDSec Map image Signed-off-by: Paul Wortman --- PBDSecPaper.tex | 29 ++++++++++++++++++----------- images/pbdsec_mapping.png | Bin 0 -> 91131 bytes 2 files changed, 18 insertions(+), 11 deletions(-) create mode 100644 images/pbdsec_mapping.png diff --git a/PBDSecPaper.tex b/PBDSecPaper.tex index 1248f6a..069565b 100644 --- a/PBDSecPaper.tex +++ b/PBDSecPaper.tex @@ -229,10 +229,19 @@ The issue of platform-based design is not so much an over-engineering of design/ \section{Related Work} \label{Related Work} +As systems move towards more complex designs and implementations (as allowed by Moore's Law and other growths in technology) the ability to make even simple changes to these designs becomes exponentially more difficult. For this reason, levels of abstraction are desired when simplifying the design/evaluation phases of systems development. An example of this abstraction simplification is the use of system-on-chip (SoC) to replace multi-chip solutions. This SoC abstraction solution is then used for a variety of tasks, ranging from arithmetic to system behavior. It is an industry standard to use SoC to handle encryption/security in a secure and removed manner~\cite{Wu2006}. Middleware describes software that resides between an application and the inner workings of the system hosting the application. The purpose of the middleware is to abstract the complexities of the underlying technology from the application layer~\cite{Lang2003}; to act as translation software for communicating from lower level to a higher level. Platform-Based Design (PBD) has been proposed as a methodology to allow for this lower-to-higher translation ``abstraction bridge'' that enables a ``meet-in-the-middle'' approach~\cite{Vincentelli2007}. Platform-based design attempts to map applications to a platform chosen from a set of well-defined components. These components are defined by various characteristics including performance, weight, cost, etc. The mapping process to select architectures, platforms, and components sets out to maximize some objective function in the context of constraints and system requirements. + +While security in these systems is clearly important, it is rarely part of the early design process and thus, does not enter into the platform-based design process. In this paper, we advocate for a new security aware platform-based design approach that takes into account component security attributes during platform definition. In addition, the mapping process must incorporate security requirements as part of the objective function and constraints. +%To date, the PBD approach to design has been along with the sort of software construct that benefits the virtualization of security component mapping. +%\begin{quotation} +% ``However, even though current silicon technology is closely following the growing demands; the effort needed in modeling, simulating, and validating such designs is adversely affected. This is because current modeling tools and frameworks, hardware and software co-design environments, and validation and verification frameworks do not scale with the rising demands.''~\cite{Patel2007} +%\end{quotation} +Work in the security realm is much more chaotic, although undertakings have been made to define the scope of security and its intricacies in a well documented manner~\cite{Benzel2005}. Other work in the security realm includes security-aware mapping for automotive systems, explorations of dependable and secure computing, how to model secure systems, and defining the general theorems of security properties~\cite{Avizienis2004, Lin2013, Zakinthinos1997, Jorgen2008, Zhou2007}. Security has many facets to it: failure, processes, security mechanisms, security principles, security policies, trust, etc. A key developing aspect of security is its standardization of encryption algorithms, methods of authentication, and communication protocol standards. + Metropolis is one tool that is based in part on the concept of platform-based design. Metropolis can analyze statically and dynamically functional designs with models that have no notion of physical quantities and mapped designs where the association of functionality to architectural services allows for evaluation of characteristics (e.g.~latency, throughput, power, and energy) of an implementation of a particular functionality with a particular platform instance~\cite{Vincentelli2007, Metropolis}. Metropolis is but one manifestation of platform-based design as a tool. PBD has been used for the platform-exploration of synthetic biological systems as seen in the work done by Densmore et.~al.~to create a strong and flexible tool~\cite{Densmore2009}. Other applications, of platform-based design, include design on a JPEG encoder, imaging, and use for distributed automotive design~\cite{Vincentelli2007, Teich2012, Keutzer2000, Lin2013, Gerstlauer2009, Gronbaek2008, Pimentel2006, Schaumont2005, Sedcole2006, Benveniste2012, Pinto2006, Bonivento2006, Pellizzoni2009, Kreku2008, Gamatie2011, Gruttner2013, Densmore2009} -Different groups have tackled aspects of -these considerations. The Trusted Computing Group (TCG) created +Different groups have tackled aspects of +security design and development. The Trusted Computing Group (TCG) created Trusted Platform Modules (TPM) which are able to validate their own functionality and if the TPMs have been tampered with. This is, in essence, a method of `self-analysis'; thus the ground work for a @@ -241,7 +250,7 @@ checking can be used as a method for allowing the larger system of security components to locate damaged/error-prone components so that they can be replaced/fixed thus raising the overall trustworthiness of the system of components. Therefore TPMs are a good stepping stone on -the path for better security, but TPM/TCG has no found ``the answer'' +the path for better security, but TPM/TCG has not found ``the answer'' yet~\cite{Sadeghi2008}. Another example of security/trustworthiness implementation is the use of monitors for distributed system security. Different methods are used for determining trust of actions @@ -272,6 +281,12 @@ Others are incorporating platform-based design in everything from image processi \subsection{Mapping} \label{Mapping} +\begin{figure*} + \includegraphics[width=\textwidth,height=8cm]{./images/pbdsec_mapping.png} + \caption{PBD Security Map Space} + \label{fig:MapSpace} +\end{figure*} + As promised earlier, the paper will now examine the different scopes of security/trustworthiness: local, network, and distributed. Each of these scopes will be examined in terms of the considerations/challenges, principles, and policies that should be used to determine action/behavior of these different security elements and the system as a whole. The local scope encompasses a security element's own abilities, trustworthiness, and the dependencies of that element (e.g. least common mechanisms, reduced complexity, minimized sharing, and the conflict between this as least common mechanisms). The purpose of this section is to present the considerations, principles, and policies that govern the behavior and function of security elements/components at the local scope/level. First, this paper will reiterate the definitions stated in the Benzel et.~al.~paper. Failure is a condition in which, given a specifically documented input that conforms to specification, a component or system exhibits behavior that deviates from its specified behavior. A module/database is seen as a unit of computation that encapsulates a database and provides an interface for the initialization, modification, and retrieval of information from the database. The database may be either implicit, e.g. an algorithm, or explicit. Lastly, a process(es) is a program(s) in execution. To further define the actions/behavior of a given component in the local scope, this paper moves to outlining the principles that define component behavior at the local device level. \\ @@ -393,14 +408,6 @@ With these concepts in-mind, it should be obvious that security design \textbf{m \section{Related Work} \label{Related Work} -As systems move towards more complex designs and implementations (as allowed by Moore's Law and other growths in technology) the ability to make even simple changes to these designs becomes exponentially more difficult. For this reason, levels of abstraction are desired when simplifying the design/evaluation phases of systems development. An example of this abstraction simplification is the use of system-on-chip (SoC) to replace multi-chip solutions. This SoC abstraction solution is then used for a variety of tasks, ranging from arithmetic to system behavior. It is an industry standard to use SoC to handle encryption/security in a secure and removed manner~\cite{Wu2006}. Middleware describes software that resides between an application and the inner workings of the system hosting the application. The purpose of the middleware is to abstract the complexities of the underlying technology from the application layer~\cite{Lang2003}; to act as translation software for communicating from lower level to a higher level. Platform-Based Design (PBD) has been proposed as a methodology to allow for this lower-to-higher translation ``abstraction bridge'' that enables a ``meet-in-the-middle'' approach~\cite{Vincentelli2007}. Platform-based design attempts to map applications to a platform chosen from a set of well-defined components. These components are defined by various characteristics including performance, weight, cost, etc. The mapping process to select architectures, platforms, and components sets out to maximize some objective function in the context of constraints and system requirements. - -While security in these systems is clearly important, it is rarely part of the early design process and thus, does not enter into the platform-based design process. In this paper, we advocate for a new security aware platform-based design approach that takes into account component security attributes during platform definition. In addition, the mapping process must incorporate security requirements as part of the objective function and constraints. -%To date, the PBD approach to design has been along with the sort of software construct that benefits the virtualization of security component mapping. -%\begin{quotation} -% ``However, even though current silicon technology is closely following the growing demands; the effort needed in modeling, simulating, and validating such designs is adversely affected. This is because current modeling tools and frameworks, hardware and software co-design environments, and validation and verification frameworks do not scale with the rising demands.''~\cite{Patel2007} -%\end{quotation} -Work in the security realm is much more chaotic, although undertakings have been made to define the scope of security and its intricacies in a well documented manner~\cite{Benzel2005}. Other work in the security realm includes security-aware mapping for automotive systems, explorations of dependable and secure computing, how to model secure systems, and defining the general theorems of security properties~\cite{Avizienis2004, Lin2013, Zakinthinos1997, Jorgen2008, Zhou2007}. Security has many facets to it: failure, processes, security mechanisms, security principles, security policies, trust, etc. A key developing aspect of security is its standardization of encryption algorithms, methods of authentication, and communication protocol standards. Standardization is the process of developing and implementing technical standards. Standardization can help to maximize compatibility, interoperability, safety, repeatability, or quality; it can also facilitate commoditization of formerly custom processes. Standards appear in all sorts of domains. For the IC domain standardization manifests as a flexible integrated circuit where customization for a particular application is achieved by programming one or more components on the chip (e.g. virtualization). PC makers and application software designers develop their products quickly and efficiently around a standard `platform' that emerged over time. As a quick over view of these standards: x86 ISA which makes is possible to reuse the OS \& SW applications, a full specified set of buses (ISA, USB, PCI) which allow for use of the same expansion boards of IC's for different products, and a full specification of a set of IO devices (e.g. keyboard, mouse, audio and video devices). The advantage of the standardization of the PC domain is that software can also be developed independently of the new hardware availability, thus offering a real hardware-software codesign approach. If the instruction set architecture (IAS) is kept constant (e.g. standardized) then software porting, along with future development, is far easier~\cite{Vincentelli2002}. In a `System Domain' lens, standardization is the aspect of the capabilities a platform offers to develop quickly new applications (adoptability). In other words, this requires a distillation of the principles so that a rigorous methodology can be developed and profitably used across different design domains. So why is standardization useful? Standardization allows for manufacturers, system developers, and software designers to all work around a single, accepted, platform. It is understood what the capabilities of the hardware are, what the limitations of system IO will be, along with what the methods/protocols of communication will be. Even these preset aspects of the `standard' have their own `contractual obligations' of how they will function, what their respective `net-lists' are, and where the limitations of such standards lie. While the act of creating a standard takes time, not only due to time of development but due to speed of adoption of wide use, it is a necessary step. Without standardization, it becomes far more difficult to create universally used complex systems, let alone validate their correctness and trustworthiness. This is how one is able to change the current paradigm to a new standard model. diff --git a/images/pbdsec_mapping.png b/images/pbdsec_mapping.png new file mode 100644 index 0000000000000000000000000000000000000000..13a806ca9668f5e09c480c696a811de297ede162 GIT binary patch literal 91131 zcmeFZbyQVr*FKC0ieR8piUNv+NQa2DiYOtu0jUiL(x9LqEg%LVDpG=^)TWV6K`Dt% zN`rK6y7QaMIN~$j-*dj-zu)(cafZVqdat!+&ud=uej$HL@(}S!Vmv&&LpN_+Q^dpD zPl1O=AVahd{v@;2<}w~09p24r;>wS-r+P@bQFnTG=Ft0Njy1cIg>k-ldOr5`Re_O9 ziuEyXlw#aTc@(abl}Eg}BIPUPer5QTwa^uAZvT&SlHTyYhm|gGqWet49*S=Cu81TR zEo(c>WUUw$X>0r5PyPI`DAg1fH$AhhrJ9wjkz>Jkn1ECaZ_j`Gh0a5a&rM=vKRyxN zW4!%&i*h)G#v z83qXc+gBoo(5dMk{VU&V?%@WutPw4i|J$Nx*Fv!&M*4w3kXe+tB#N#$U?b>&ZZrptgQygq&TGv%*-}|wFe_m=B;-gye9l6~(g;{Ek+l#1E6em3%bL{Cwqh&&$>^e;!f*`%%1Kv}+ zzM+YXE{M7AevInynNJ%UG=nl6e^S&})yF#Nj+J3y^nc>3{9Am2;}Qa_yu^FZ_=P3K zL6;8fI;{$l$#t7Cqf5KuEC`2F0TIsEtB+T5geroy&;E1V+f)dpYcGX`CI1K_f|-zr z(bG!Jhz!4&;E{_H*ZpI=PJ0dU(tE0*@!qa{C8hLOCyKYyU)%o~-i)Q4H&4;Ee~x2D zLrR)I?O?xKtO_7jvf;D_W&+0pv)k)>1Lt;~b{6DH)e#xp|3}nBZ)5RFuNl9*P{eX% zPjBBmm7)EMf8;7(42l~TTwdHQ)+j`*Uv(oDh*pn%-&!jFa&y;d*O2_3aaHp3A5oJs z%Yx>bPN~|XXh5vPT=k2`{*h~hBPg!Mc4}N;mmnk%vA+F$C7N`W;nT*X*9*U0#`io4 zE) zsc6P}ug9PG`yB5G+b`Z@V^H({^tkcbuCMwZ%R;(v{NZD)UzN$d_U=EN3FlyA<-(@} zYKE9kgOxU&khXXG$6djMcaB1EX53xOLU4Yol$QH&QiYmJ@5u&Jqq9e6xaCAk!bOK= zGmZQQ34E5l-7f`3sHl03US(PIT<&j5$RE|PEHW6Z^v#i^b!zc34`kOeoBdw8460G> zpjPmIAndR#laJPm3TM(FZWUA&AGhf;H~jqUNRIyn)z0&Ap?Ymvw(oJ-T^1?A!HYEo zqqV_2xZJ^))>};_F3TN;-_q|$7EE9gr^cdvvq5O>cYKBK+Vu^a{}u-Oo=` zL`@bHBu^V;nYOWGR+=pDL~U=c;f^pMT=+NdBsVZ_P4b|-#vUbNk?|LcR4(c9Y;R{1fXMfatZ8H|q7 zy?9RZv4%+Y@Aj+x&$P(HZCP(;e5t=QcyL8@CU@|#;M|wv$@WVV*fcjfYkNI?Wqor2Yu;OE_YHzol@s%|tu3EZmkwS3C&7x*VZmDL_Kn`(6=&#PsUzZ` zWVQD<8L!ZgHo|x|XfP^|UXW4t=v`_<&tPWt5|1q{c#u%4=UDVitq%I;yg1I3&v2>e zlT;gXX8zC{X%;sB^;DOw8nRmByoNOQ^5eHImEx#7a_Fu+hu_JH_QxSHYTCsTk>xFN{P7Vv0mCVtIvP(Eq zDiQykfpE1v&fS6Wm{LsckXRlsVpa{TO9g z%(%6rT1hC1CT)7{3@KSJnzY1w+MaPQkJ$QZkVbW#x-f!MBn{qzf_1{MQ&P#{N_{X- zB`V!s5~6@s`9%2kB9qdMQ(5#AGnOrd#vHr6e2s!mtv2Tp_Ua$=$8&v)uW*F1iO_4J zFyLBiMoenScK#vii?t|D`weCm{fXY90`vB?NWEYsQKgE46qRIkiQDN^ndrQO6rYXU zD;S$S%iHI=GmZV6Hs>mr%SbqKoz7CSs(p8MtmA8I2jej1GijOS*_5!p1xY^2^~0H6 zav)29LhtqAgMY;*O~NP|nbiXn;8_!8q8?tdAr~Jy;L$iOHd<7bY)lJI_7vm@FVylZ zw1|pr zTT3>rC{>iQ_{3$l(#wx#bwaoeq+(v(>o4=L`EpdUU4l|;C`=>n)_c!jimr-wPVO6N zzh!+jwse3g+)iR&s*Ojj4C(xttDqtAo*E)Vs@=h$~1; z>(gl@`Cz{|*1y~yB4n45sGI~EEmusKDOw3TL@Uz0zA|IEG|_5(9ql;hL2_!QU`B*e z(sLCF<=V4 z=Vp2pW9mlWWuKBmV8-~{bnnY#RSsZKiDt`F9oblsjZ1A_9L4RivLPcCw{%k}M@-hb z((hE}&-u`H#XJ7+cTXPNpLR$rLLQvSGFLQsg*eoKV_eu_yZNJsV^Z^96jgH}xdn|V%;jkRmo zVd1NLRL#Dv78bSF>!rO&vPK=bmbwknwo|4ALL=jND; zW6srX-;f%V@EPWMt6HW>>sOy8q=;}@U%X!dzLW_COl}bw-!0-`U%}~1A(!s!m1{n4 zl9T|4V7}d~va3EMJ_DK~dKmVnKZAnrCgKqK$5@F=6Sq|XhUKq2fmINh<7(JobX*U@Jb!VFX`SFSAa5JuN7~yaCd+g4&~{R@JU%IZ+&b zzhSu3x0k}pY8#MOd$@BKMzJ~NUX+3-*=}}anX2YgMyW=g%<}d8f1QO$WuEYhHxcUh z3kM4ZdO`o2=gqtIN8!w>Pyt(=wp;hv<(aRc|9!&GN#NDrVKuq~y&Cs!l$F^WDVk}} z_Rn_xlOX~k#xiPdxAIxDJf6RCWmhWzJ6NA7#QN^CscSbNXBL*8RXd0c5Ip`js>-|{ zc_%7^_2;`D@C2g8XKL2}y9Zoxmry$T{P_1R1F2o*ynH9vc#LrI;^AG9r|JNy%r%QD zBTjsBXs~7W?Xnpu$nWWym4UsxYG6_U=*O!Loj7#;KcGLcU?OOhtHqjScbyP*7J4oJ z*HQ0@l*!>`RQ~s6ekaKPl?*t=|G{Ry6M88abKn*^(jZ!PrRlmCMA+auRidvS+M%SZ z4ldc8_cHI!ZOk_77*NlwyV#XmtemKld_!IBRGnIe{>}TmPj(yHW3gKR6Ip+)uG^io z=rq9B%m}?!*2A6GtBco0sM|h4r*OL`|Djh-`c3ua9^1Y=5wp(B>i6lN4-4iNw zv2r@_v6R3|cf!hYmyr`QL1?|?5a#{IYvFfq{Xgw&Vt3k~AEnm}hfYvkaK4J3zHR5c zQf&LfHZ4PVV=MES<~ZMtzPfjOUYcm|z+G{I?iEtO#Oj6m{&gxHDH1q17==DXKept(lZN5ZEWugrQM2!jvV>wfzn9hzusBwJiJ^$ zlTj1p?w4bhL_+SVhwFbUk4y|AAKsYIAFL61$*M?r<-=TgVI3%H3-~X+*c*8?gClG@LZq3UzR!e*8zC0g`njTkKkv!!ZzqW5(N45 zdX3Lt2karx11$$1`Rl#JGU3mng`G2L{v;gu-E(h{qyAIRr+)x%k}*|J^ymJb7XLU-me417+hiC-uaHt)T|@JAp6mro<@fLi)8hzuL0~@>i4yw zG&6^O;mFRHN58oMIa)Ry<<2`BeHvZa=E>0Fe2Wm@%llJTH&|d?I`p>_MX|wm;O3&2 zh|ZC(u8oG916F6V(qlWSb+f+=fTkpangBbOi$`jUK6#Q~n0mn!mPW!+*Z>%y-}0X7 zkzQyl^a0yhc<7sXr2mOLLGjME1OGQ@H#4A95@_H7BvpSj+@<*aqk$LR59!3&5ya?! zsw^Ihjf1KJwyBywb0e5|vny6Nhu^GS2SF};P6;%<6q>)$7fA;$xc`h?j_2t~D1|wh zWLg#dY`9pu}7DI^cjS5&)CY= z=$KU3n5GteL#2*aedv6p!!@+$>l{vWV~R($N62=%`&8eWXpZ2<)JGhL%bFL0Oh$Hx zhx{Vp!de>sEeBV@)+fX@K(R*Tw8ZIyG;qTA?B<;$$bXvr=>k}rf^Pov^? zbhSvGxW;yWV}_lq*DeA>F;TP`?kdD9}Pr`+;U@vMmP^X9vJ;W)4&7&$iavN>VP_0+)kn#)8INM;gP9VH$aplMX}(l#Y0?sZ(KyJ*&)_QXdNAWmFH4g1Gi z?=N>OcUgvKyQ_<+N@MDSxIS0-(ps9frN}<2BUjbbjlS-qhb_;H`oWfXn<93ez)PLQ zxiiyvxsJat*Y)!F2fwMph5C;bKGcEJpBi~~t5@v13lc<#iQdMGVRYvFRkgX;WUE}o z3h^R!>}n67PJ}^6y}Z3KqdGqOc+cLc^~uznr-!Kbm92hvKQh%M&5;FdNcPvI^$gc# ztEu+%I}r}nN0GoGwn!*-MoqKGJ}X%*y$n9-`@Rpx&9T{lsV|fVkIBi|Bk|`Sw-*6X zInmuG##aDu_8y2QFRp{`lGZ&VL_UP8%upUBzA?v#_yGPrKRN%3ry9eP33`EGB)d&&cU>E>JXmdieB2fLO9Z z^z~cn3B&zQ51!D2A2|4L$cBsb09@>`6BAI=YO0Ta}GQ~D*7gRcTR{n1x8kLzh&I|HW8U=T2PV}z2wVG)08~M z*>6=rsy_EVbULpF!itM*ARc*WS&Kyhhc)kxce`kh4%~Y^q7?%f+ zW#Qb@WUYd4@1vc@4`2F@ht!F;~fIUSPV*h?#QCI`nonM@4ZE*ZF%IzpEaYt5V@+urokw%v`{ z9e1hu+3iIUfTqhlN9)^6Y%hQ-t7T!21`ar^kH?t!ouLHS#xsP+@MX`VK_Ap|jPymP#iDUv-K~2Utf@ZS%_(|elUIg@7)7p# zeJ|LCWta|yV3jYw5#_~hwTBlf&bQe}cuZ7H%_hH~5+q{#kk|BEtqn*n6FtU)d;K4U zKRYCjVeY2Ik5k}f*2h^*&P#5U3HqVmIQS(yZ>`&m#{_nwRJHth+ok!r$kpTD@c4;w zZHMirc@)tDXnV>Vu42!OAa@Cra1qR1*dHi7G-|jS>A|9xwRx9OS215FvB8=?zS6eO zX_S?$qMR10i102$uC~@}@y>T&cN(r9$%0`*HRL}-TIW^Wikuk`b#ll;}!Z1)YjKDH1Z5Ml;5ncWGH!UMXgEO{SKFwN@RX;{0R*&7pUh1ZrCdl0?ctgN6lP$n`PGWz1Pc zl)9Oba#Cp&3m&6f*p!=Rd(63yTn(3usx^HQ!|73JsH(jFI9x)#f{q{zw+aS4FJMAr zIW_wOScG{F=zcU;ikehfvxFXV3tzS0qT#CaX;58{#m#z|BZR$M8!NUoDI@b^O)*}k zegTq84nvb4&!QZxaFJNyx~p}Pz`|q}M!qyoCiut96sZdj$%l(Lb?>MQpZ&Wbk)HtN z$B2|IrkX+U`ba`yhz-L9D74N$oqOiok?b^($<)qKvN=%Z@t_|aRYc?`dy7!?h|uig z#0n{LjIj$h8!le>9KU7nRA(e9@9p-edkTFiZEw7KBPTO=Iv~32E`*u284Shz z-`RdWAD2tV;Eb&hUT**Vps$_23uY20eNOOHpzIk1dG`TyXzh?W-nX@gUQuLt8=$;& zy!+gwD` z&-i$h{`#sq1z&hLdG*QUuZ<7RSWX%GPY+g}t)k@Ke0c`uzGAu{DUwNS^WO>Ohy2Kg z>}X^8MC@UswnI^iuI#)@nwUijpF0)98$L57e6KHhwED0==!tGrJ z2SwSvEK|d+JX&m&WHNik{;B|@L3S5o!mHr0xE8gsk??_a$k1cmk40a0x2VXZ|fO`-oIW(%;TX$d~j<@Jka7i zicq%Gkh4|W&Dky4vEC=sJ*@u#arbp!8r=4r1M?Ro?`p*)EemWerMhUvc(%?IHN79L zM3X-wj$O2f6;xzv8#fdg+qNF5y&q|_8Ob2i`cmK3DJr`NrZCf|Wiwkc0@%I@zMEiP zG%R1~bD0S+xs_R|&p3m@uaNMf5b#>%xXRrAjq=P;4L~e02x4>j&P}<$3JW2mu(0kP ze|Q4vycyMMc{y)nd5<2dgGtPiJ1c8ero9kH4FltIFG$^Hqj z2FuFRwxKx4#sZ1#(xa*JbKp(sTgzQoe%TD-k_Y~U_KzLOoX?MW3M=czZ^;Ay8&`0; z_XW&Yl1Q2caZAJaC|*X)r^OVuMMDo3ZHMKl+c8*m?ltI@q$@V)iy@~@f8-D`Y7OMd z4D7fih_D#vCRBb7QW$;I7KcR74g)7 zI2mRCxV6}D1`>NOV+(!m9d2ROJySqi7!C++>GkS31>=_otp@7a%B5(G4r`CK;@X7< zW&g+#X~t)mLFJ{yE&9PDbzDU*)rV13VUF|FsFAplZ?Dc=Rdm*+>k#%US{N58Al|zD zdTPxXzf*ZI2FrjFtk|E7G`kuv1NTCY4BcNkZ^divf4T~!5BW_V?xPD?0+Hj%igC>-+r%EmR8p~hmb zbjgf~>WE04sUr98JJ1wf)cZoD+IYfYNbmd?C?|5ivaD6mB(U&5)W+B{_gT|NAE27m zXERS=$(c{_N@i^>Jfc06fz0&1(I#b~6SV!RcK zL?Y>S6zbp#FsYibzj}{*5hfBnHx{(_toZQvs*M+qyOm#YQDFrZ&n@Al7M5@nk70c# zjj+A`WfV)j9EDmeb;ze9LsuZ{JqP?qyxorZuLj~357hUe3Rd(4o=8)^p~Drza)OW$ zVtpd-c}2F81St&E5~zgET8Vp+7$KbQGDxeJZ7UBfIoE}3^UDku)j2Zn@HO%2bZBcS zZ;S={q(3Vo@z6SSl9y=Hty-l4>}0SPW7$z23`j|@9=V!7e4qS=GtB-{FbmLw^Re+I z4L?EcNx%~tdp!pE9m-0qr@n6da<8(-1K={aDdtWdBg`GIU`*U^#f48aqy-;0GbHpk zdRv8{#kU0VPT-eAUz|FU-{ngx3cG z#ZC#@BqiF{EZ@lXj$t{M3bZhzh1VyCIw$?Xs1X zxatUv!i6l^nQu*+EY+VPy?k5#d3rU59%*%NLhK7ZMRZL=46QOGM#t*PARX}J zq3QJR(YXM$(zRz8bFM@LLHP<5Of#FtJBuWqLlg*7GYNEpL{@KMW%GEKfeR$f!lGkX zclcf`v6ZjBgLv^`lk|z1`@!)uXs0Fr1t0V=l|9wq9Iw*`SZ|BY3-i0ZG@xpO;>&g! zip_RFxOCJHD-HTpM>RUIKi;X*U*^Y-| z>6?j*zT{y5eM*m`t%ZncnNeC!oJGTmrH9p;`0QPlO6%pPV?dY%}6Ji zErN>i?#14^FySsXK5B;{%vtW9g*Bk;J^@gls+dboj80|`huS$jVx_#z>AFIe60W$) zAIfA1rDT(N(`j{tQpk-gqT%uzEGXPDtD zd5;)e@+P>XT!YX)*H;8YkFU6~Ep&0Ges#oeaQcCFz=W0c`i}|gHe$FM#C%<7J;ReU z3>yYc#aF*;J~0mNrSDjCX1TRhbZAFlvVz(&69|c@{Bx+se#i$f{P=+K2VpEHnB>CD z_`C02Eh9x5QRujZ-~+Up?lLW4%LUV6T&8*^S>UJxL9jIdav8p&+wH&|=v97{>$oD^Nf=ht`LE)0Vpt{ z)VwENHX%Xi&?(B>F<-5_&ntsC-!Wsf(0<9JV5QeV>+w6xWuB^BGV8RUDz+Q6JVlH* z#zMw!!S27HGBdw-Rgi9r(o4#;qApABLzBp=xQ3NdDOju*Y76bCV@WA zF#X}DMA4-K-Y0mbpj1q5xx+%?UVCh(jak$2yX*cWpk8J}!z)D@cCYM!1#L4xiA;sM z>HEA)+JNHwM&-_Wt1(cM9*#Ga=Y5%3x{;=adhIDu!sE3-%IpkTW`LGn{ka&+9(=kH zNhL{8;Ark}Z}ADN99*1SK;3@F6eQoUCPf{dAi#!i5S(bACt8#G>M=d~DPmojAP z*z3Guo})Yp-K;@em_0^=f;Z_7g5LFePOj{WDWmVz<5=iMjAmq7e5S!XV9H0$n5+Sl-U|MzY<)2rB;#iPtp|51>l|OZ!{2%ZI7^G$;%B)6VsciD)oiGBefrwMsH(}xYe^bo6D3H^o4le8 z0x#B+s0j~H#L0zQ0P&o-pOYs#YcR;#x?FtM8${RG)C$L8|{v-_6Y?;KIRnbqgKf$HdEr=$^|e$AR$ zjVg}~NSlJ>Dh%M4zoSxJ0o~Rtj~xj)s|AeUQ}QQRR>I0@^WyPkT30mpdF9zN)nA@u z%{gZ_6ZSHBq&IlgD{`Oepv;u>X{^D2E_&vo0D+WaubuT!c!msDmWGGHbB)z|Z} zkC~ULgzYmAoxaT5UvTmRt+V#}6+$nQE~v{8d^xeH*350|ffE24AGAslW?VjuQ!SNl^2lED8Xo&Y?7Ll$ZmMcU%VO@uczR zJ7?x$#PD!y&Qu9%JSaPBJr;jJ&v(~k-e2ZRlb{oW>6q&cXpF8~wHxsQBZojt<|!vZ zkg9IHmE6xhsSFu?0(XdBUfwmH(5r*M2+S?^Js<^OI6)uY$?dKc?%8L*7IU0X%{PB(Y(z8ySMXoQ7bak_F$-S`ehE1U=F8Lr#;0= z2|fALWU^1)X>jUQ^ti4-Ou?sn3`H?fVyKiAXm+4d*`b<2{TO=oQk5h%U06xTL_ozR10<^U0C4oJ&~D*L&V_OvuG{g9j}h7*0$7JW<+m3l z|Bm3aDDURFN#$@|3@_@E8qBO@V%-G!Z|7oWwQ7vf*o(2o9_UEEA?I<%gxv3&nFFqF75xnNqMe%hbUSfvAu{F zt{(6O3TM+Tp}A}5t%X~P!>s`MTLR_Q-hVQRf|ZeE5BVyyrc#VbtYp;0C69;JqxD%Y zPYW^@YMpVD;5*l06~pxY!5a-0D+o&UnH#YY1F<0%7{&Ai>KNiTiwlYeDOyv1kf%g3`Jhw}Y(ivfQ3)BYCOS?}d^DIJsDPfgOpj zj*W)j_Z|`Yj-eDF6{ABES|jaMd--1Q3#b8fm%{AG16Wsn&hY6@K_I-RnRfx7kdk=> z^p+(XyWwwaDZyr$(7@JsG)qT8+#5d=Seq*2w|2I-kYTR$bq6*^60K%7j(5!06mppi zMIEXM4-F~Sb$$Qhn|@0QUffO?ac6I$dC}RI z21AeH&L9(!4~d!5+586i_b%W5oT)kpBg=8`V*uA6y>NWl>PU#?tyRL;u!WR=Zw{jP z3Lks#O*o6o$31}QrD#Tid|mv}P-vfi6D5kn+9-c>0mSKe_uxk~7}cy-)Fx)oIA8uj z1tAp&K@lB3DSQ2suNc>UFN`+A#b#5_jF(acs`1b=f%334X3$SgBwciS&Nt;OO9vvn zEqOHzI)!OM6#(YYx|f2}K{mvo<^4a#2CyxlF|H{p?Zrq;u|;sd*FEFF5CXz=I&c)1 z$*z18aU$l~RAy%pQp$~-;PtpP_iQ>^DqmUJ_-?bW@?PaJ9R+h~6x(Q))*WZ4e)5Sk zz(0F1s;OZ%y<4zZl~GCS(v6IXk?2yk;Cp$3nNo2E#>wYr0@>AC%GbHwmPKW3QR?=cC3qi<5)i#X+3W0;&uHki8{mP9n>J_3)dws?EpRLNg^%86`% z*QA9xL6_^Pq`LMTRH?F5DW@NOcU_JX-Ks`N6EN;dXiA+a+3BUR8#=1m1Cu0Lm9;eh zR;J4GuC>`SF%cIp@(4S?s!VLrfg-7oz&cmSQ@t3A`J(u}DHUDv#5Dq+1Z8iG&Ik5% zvD8lH;yCo=BkQYQj?0}pWs5Sy;6n@#krh=e$}A^k#W*2}gv9z78~v$1=R8`gsxubj zjR+8k3;=CCdkyM%iUJYPnoTR8cX$-VC>|QFqi{s2OIbHT;HYToQt%u=?;UJ8-FiHC zYi}S;azPz?-q10ix~Vs1BS5`J(hGbSVVBj}{^>P=2Ra7 zekfyAOJHC;ERyQH5Yl(MZH?w0KcD;5@X#)>T-V&pOYCVzUoyoQn)u$}S`GT{ma2L+ZL$6XnU8BRR4j zjy04fZ!4IY`zcY`=+-9comA@lN%9d(fI2>)^LZ03!M17yjJ)_1_Cz?}4xQrgy)0Rx zj7%1^)MjfqN^-4_Z(Y%Lsa6Iss~Av{SiQs7()AR4cJWkaruwi%X$-N)l z6)lg7sJ=o{A}z_7STD6`<#Sr_+rA?-n&Xlk`>crfqi_#^!O!3n&d1-ff($re}h1Iud~Z!M-97t^?f)3bQEwk=QL}VKcn`9UO9_eSv&AzbDx)XK_U85 zLZ_U6Jn+WzNP?9--eV?ON1ui>ptG*UVeTGBeZm}?K#$hH*TS1*JCP(d4`3k|;XM)x z*7z&&c@DK)mF;~y+bb*!->}<0(8$j&IAX7}LwNS(dDTBq?$u+c!Y%hcj#Q;aD^8u8 zzss(AiHPo%3#ec-WZ@ct)p^qEcyHO&yvtHM8mJeE zyo!YC`Bx*OoY!bIZol&qyVW0cg_-R{Fw3JGZN=^3h8b@$DK!$J$Ffp`+$6GQ!gn^~ z67glTcnulrU(^djm8eOcT+IA^<;I9huia=Ksoci20S`ZK&Z2L)yn^}i@kblDka{Ir zi`@Qwl$jw&M(Clp^1v-zne+r zs^-e+E@5u>%BcLrR-QaMzlril7Q<5&p$5u*9|b%G)M{hVYq=K>7I2QBL|7mFBKr*^ z1fdjqxe{sZh<1008Oo-0gLQ*It$=$c3Lm(C7#2e%#Ipn;e)+*oB6S9!IO`G}x$Gpv z%k*1r+8Zhp9R1_V$=*e6U@t}p*ht-NB>Kf+I!7F2GY7gun1_(xS2O0>G;``O-*?tbARMWP+5st(%=S*gHxiWb+zT=(H?sL5*Bqp zc5dd>-i<9Sz%N30QaEgou@M6kjy6Gz(%M4y!mgf4#6Q z&zFt40n2RanRL|8cLWA^13L?Mqn3Y%pUmmZ7=5_>#nM7?~RFY)X$F}g&`YA z!%L6KhydS}u#D(2goWN?k?RXBup)?=N=+_NoxrAlG{oAtXg7!NWKI=s--;+IyR)-N zPW^HmtDA2DT&w9Bk@XF~CUQaeoZ3L@|)zfh82)7F1(lc9Tu4<)^DKavRv4Kdf6!tQjs zOFzqLi@KQB_QrGFqhMLfTUbg!ZE-!JWEO~Tl0cFfr}bb7dtKj%ewCU&t z66$6JWfPK6DWz|<6~CYVR{Vb5;Kg!Ui{MGY(FeudOVZSq)5bG32;3{YvbjDP$hEUt zDXK}jjx4QtN)tvoi}1VEer{h;sHuW#xA{PyWZo1oai$lfT5Z+$UA(Qc3@ukau@p|2 z+JRZ7%__oq`Ga>+3TZfbI<_qcNSGD4$ar*i0(#D2$izjNO*gqnPtaz{$YG|)R%OQY z;+^U&2*T(etcT$Pgrw`%Z(jP{x?JtlpA2NPwelfjA~G>LZ@enYv@sMbBk_1`&Z zR3)25D~9(x5{Rk%*cfJ(7JxQpm8AlF2K@c#O|I%LZWVOh}8H-F_^w`u{}P7h^u;Z=0($xHVl zy6VMSy&=gz3_pJL>B0NvVS=_P8&^%>@gc8a5W^I<%Y4Ba2O zQw!yuB~1@MKPEYwQ9H@0z>`ZJL`zvv_QY}={f0r+aO32XPLq3e6iI9Tq{556MZggu z`^?inxYVx4$Y(Xu)uMXhG?1}iHSyakX=)knS1UtBF^}Zs)6LTn~ly zE!4Y7ElTQq=*g|w8@y99m1hN@XkF=}wHtcvxlz8~D}>+D#-Sq7#l+X`>nZ~(tIRt< zx3wu1GiBBg;c6PvhDElMGf$bA89Z#*mQNoWl;|h>iDO6sG?)Hmf6(+#jG0sdN(knc zC(RL5s|mOPvHSxE2|RB{yef^-%%oj7#NYjWd0$H;gET661y;nm27N^>0OCn5iyMZa z-U@tRzSI@e3H$zbAa-^uMqr+J3m0;7He(8}MTTHPTP@h4PZo%7A#|Y57z1U9CeAre z5?`+BDAc^iT$zIgCNblXN889u@kTxB_C%-JvjN|1K( z9*3-jlrygZjPdS%)u;pC1Xp#GMj?0CL>Lj49i%|8Qp!S@*~csHWSNb^9=;BL&jUYU z!2c}HE28!xm{m5+8FMHHU_E<$`9>1tJ90tG9b-c4)WUhsEXzI-oQUg-0D7O2^yx$~ zIoFuZxO+;{UMAS8b}{bk0eOFqN*afx0{@(Y<49A0IaWz}$_!(H(@=9{vF!PIPCB?h*?cv6ZnMq2#Fcrje|keb%$B29_EZ(J_lVPCKb#C|&5 z_me+OgLD=)YR0fHKK|lH(D}j}*?k#NKrEdGY0RG2MUy^1Dj(AaUG_u(G2l-YIw73+ zbS0&FW{*Y)Z829`xFe}An#HS)w8)J%dEBXHp+MV@GYEnqYemF=twdTeNOO0fREonD zZ%kh_tUoo`@zKy9%pqMH*}&dOG*nGgsbllSY|#y_h#Wk|TA>2}NyJVXzS{m!5C>c7 z)@4De;+>^@KSLGWcK|3G!;c&OTFv?MroeecsAVHZLnP0T(%*v&Rlqq3H;rTi0;3K! zT{84XC#XG+;u#!gwRa#9`MrXihQ+>SKP64ZS|MWE^x>urOaTO&+kqT+g8h+9CVzCm z`67VWWJ}QiJoLOtL9Wd>L?e{jhX)hY==x*=`Z>sO#OLgdE(Lm;6$32dy=PIk&*7@xdX(Yn;;EsWz^&JXVWeSTbaFJN)N85_?TtXcougo@&y!t@AFq6^@VCp z%>g{!6(Q~})2|mrHv`B(77tda`PSv}bI4^Fu%l&+48oe*ztGHKU-m@bUmR<^s9*KU zbBn5Il1wG+e#HrPHJ{|iGUWLCa7Rk@f?a}sPUiLy)Ozc@HvY}rmO%En9$dZR4rT|H zC**q)Dk8p4ID}AhHpZ?Hcxhyt zaiJy=P9uA!(xX_Qyp2t+!bK&T_f{bXI&a% zH4A*N>}o%zF2L{5NA)I1_9JTpaHC4AFuy_?gly4HaCS3HN=u|OfCj?ZV9Cl>a%3hZ z=t`I#bO0B>n{ie{$e> z5;XGD`49TlqVCC^30uZYwWWp^#C1j)CMYUMznX9ffB5Y-J8KJf92k5$Y*A+`3Koq{ zh)xLM3SgAtunZHj9z{&2YLmk`LXTUm9iWNy&+En*$or zM}Wq1o$v;IAupQ>Z%+<5{lf%bI<8t-m7_Kf|c+HhHHH|w{EMP8KQBRQbF z@zuw6pUSr`K@>yzD;s}UoDeJN| zJ{UKJHXyIJb&%ruPm!HBsti&k93K63iI_etngns3p!^kxe#IXmf}_mkI&-!q8}AdR zJAr%Q{^~>F^$q^m&H@F8I^(scvKOt zHRU{q15#cB>?w6QBeagD80n9bLaH$1{(Xz(|8(6Qh~>x2f1G1k{{CXw;9{7b$B{Yo?@#e& z6*MFB5s2tIr|In23tPPO&Q5O(HSUZa6zr;(Nyil9iV3Y@pCgdd}f$#XV?5pgr z=I^Jm?jaa}02O?ki0t|&xil(jW~kF%T|Jx*BzSd5c^6K~;wcBsU090aPL*C3B}&)s1F$#E6@=d6zK*~j83c5r$0{7T1xy(1 zi(SWCG!y$Bw))JGdr2OQE2{QCLNHdSW|Dw+iVBeT5k)&(HW6qiVbA^a^72Id6Y@|5 zx=joVvU=Ot;$aB0@g6C zv9}9sVA9VJs5yY)gT)Z-#)mWS)JS}iS;R`<2C=srm)3D!)2F+#f$32%AQy76j_fe) z@4L~qPEWQbQa+H%o3!Fe%`m~E{Iy>zb{zzM;ywh_AI|#w7cqHog9t0lXJYq>K*IAH z>G3pRJ*|Z1a8r#3Ox0UbU;v5G)(9&AH@piQ4LQR#fdyjeFg0F=i~iaHP)0USF4`{| z0W&nb6)qpqT7dODr20Xom-!lQsJ2aL_h8qbTcgCe2!SqB3g^E{^~0tDNwQ^MF}ut{ zSfq)#N05ERuj~12_QXjaDXW!f^B3V z#0MBjQnnpAjdW)`v+I$s9&WDArSx4UV?kOpn?WD`PAGqm18FG~T6-<{+Xx#6wTKo^ zYzu^?uL=aipF5Q*>asaVEBj5mYf%O(Q0+FTP z{XPF7OHz;}or$Kq*c>9uujka1vEi`Rpp?~p!Z1`9`W9atR3V4;kuv;@CE8~Z-b`KHhJGyU%Sd7k^Y zkLNj#`}iIH8*el3>$=YCy3YN4oi2mi2(nS~;fPb#QD!RD_6@2m@kv~e^=!@{JM(M| za{O4z-=(VGiB1wxH%s*3hg_mNkPLe7yTP@V2>b7s9TB(}$O<1?$}s-ATf^mp{B`wb zx`6)odgs@Wvr02Nbq^%`(LG0hYFj(3&KCjPoiTzrs3NymiPXl_H!*4N1&=2$Cony_ zV-C(Hw5l)FUoJ%!z|HoI#=87DQ_qUQ-!u29^S?kfm-&Gf!*D?POw3~{JFt^Dgk8_P zne$Wo)|_~aUm)(-wPvRzL$#b}jk-bNhwrLe-=qQ-&O5pVwSWXhrJDEaU}kY(*;}z~ z*MsCHmh!N*a6ulx2Rr+<)%5VfjY}T{%aYSd+GTNceae!(lx&nxu$%u~9LiiF3G=v! zR&u|#Q4o^5^f2j`@+<^DZPZ^#9pAxPtg3!9sgLWp@um1`m97SW(tF;elrK^KT_45d>9Pgdi9;_vGnxiG}4kNo4nvNwK8Y$^ml+OQO|7Rb8Gm@ zOq0q{;~ymtRb*#ht-BL0IiKkS?}$b1Ycch?tgDdMq;zXaEf~_A=dP-uvNen>_`)uy zC-y6=zfC--s$RaAS8vz_SWjefyBeo#ll|)RfX^Ke)D8=|M(_FyjaXB(8$!kMbGjxyNbzLb zDR`oA@-tnR=M$;yhIfMWFnu*7Z7Kx;Zk#9jNK?I}{bq0Vse-QW1(oFop9^En2m+kC z%Y!*Dwcm-u@@c$MM_w8 z`l$U(AX1+v_yx5(q+(Uj=uVAU&nh!pd7cJvN6pti0Q)|bCPIlRdC&F-G*;CS=yvDS zFMG)JBAdWr1R~*fr;8v(!R{|k>FkB4V$O<=-O)_Bb&`$do>>EuYja0=zTG^{zc3$x zABCea_K;04U4h4?k`++W#@`;4O(RkZz5OQ_0E!Wp!Sc}k7Mk`H3x#pokXc8|ia0gy zm14n!$u$hZUKKnh&O;+!gDs++()q_)@-~1OmUrgU{xv~)zH_j%JIf`xz4tSJxv=Hc zW$e2-7Pa`k7Y7wB#yblTlum)ZG3td{@rH$N(lM5P(EW7N6Ae_B8IrE6xN#@>*g{^_ z-p`C&h=a!SmqI;yefm#vR$bv4V_v*AWpm<6-1CQ&t>64`Wv-oB| za_OP?HA&R9{@n$Pj>7=tG#ReD$cGGqu>0M%n(f+PFBg!VJh1JIIN6l}1yK5KhM-aK2TFb(OJPR~>*Rl1nj15x6=IQJj{rSD3LF3`q3{ZB z2lF9K_-FF!w^a@Hr#+HmO|Zpr4<=DK@J>ATc+?&{cvlOox6n@`6M)t$ z{p;De&Y?3tk`rMY4(|``@0JA(nlt0z#ZGSrAhlNegWwI6hGfze<(y=ICrx#=gN$=1 zVe}KM$q~N)Kz8X>hH)>kKuwF_Kxl z+RK1Wha?cW_|J$Z54I@vp33cLisS01=El1^5Z6}Hlp%vU>BDZjwUx!A`Au(oGC^mz z3c^A}Lfs|GsSZGRbsv9FRaShdXWw{XPM?Espz?m$BDvPd? zpeH`+51%3Fbh2>Rk6voFdk?Cv61%W#fEvpH=)$_B{(}?sk8rV~ZvS~I< zHZ@>ZwSO$(e~!n$NH&aN$WP67u-3iSD2UeRWZL-AF)$A+e)M<$mk}WW69bTFfRVE0 z)iRM^^MGdU>c_sojc+|b0MS!Lo&JXSVO-D$Z|Zvr3Z#0Wc6EUXSkr*#O}dG@ zrJdfEJ!5*`mJC@CRI?0;fIsCJUgW-~{|IG1QP?P#+XMUlgG?kL4(ITXnb8R6#J@_i z@yg$uI|aXa&U;ph%uTd~;ts@yGzXZy#{WK}i-_qPdZOVUC+eT`4ERhtalwUuLpjk@ zLjKh8ga2H=jXOqa=#HfBunTtBruS?A<;Q0qJ@vX3yya~f`s#k#r;jgt^UHF zb?;|B4uS0_x6{RW8L(&Xd3#m|A* zB>3U(e;&Yp46e(kCyM?19e5P;1VWTMvM!T9R8<1v1pF)`dmAI)F;+(5VQTUbe!-K0 z)aYhrvJv`q4zyl#l7t9hyE;J z{hQtyUIy1te}1$+AHF;o!D;nl6!{2d@H(?AcixiE`1KwLo$n-{Fyr0*e3}-YEq0SX zRAXioz8QP+7(%oEjN?y5iCOX{AE5xA6pWb8l6{Hs5n(xwIB_sP*3Zt#%?>x!&&`aJ5Mi^hxk|iJEJG`#x zRrOi&86P_W6J{r$FyFWH^69M)+76IEOgzM=`SGGT=-B^Kn30_h;48L~k6;H+?zc1y zlaKK1A~^rvtFc}oo3Zz0m~a*OgtvGfg0pj|_Rv0ZI-P`7oV>M-{CIkmX~GTQC7TA{ zGi?~5(DSAW`3NWAbtmF80WbI8uU@64VLiE>e8My*;EqY$me@i5Flh%3YjPvUYjUzv zR>2KeC7at8@69W_d1W`R?B{CnOP9~8*I#d}(=7VYj1ajZ}PSxM`39ZBhjtXe^& zjE{iEquoiI%S(eiQ46cT7s`mw2^A|iob7QwA1tR; z{%xAwa?@`bB-iFwaq}oV+Joe@R##iiMms_g9GmzvK<{KxdOL@6@CFShgUoS35 z{^Y^sU<87*VfQXp?yL%Hs@f9us-ZdX?^dWWG~h_Y*gP@%g371cSyW8UlKe&a#>DXdfsCl035j6;KN)^_t9Bx?r&45O+23?*0 zcf9h(3fou$KTct9P*9(-eCG$dk(9h$6Kc``miowZ4&W1=O7W|n^T-F>slW*?yi`e@ zv-`-rMj>9GXno#Uw3cB={!Wk+_-Aoc$Nn;IcCmP4`5BGSxS#=9wK=>exzWs52nMGc zRZ29upt=m&>t)(I(69Gj1FjWpmBf=|4>ql9noa9^)4JZYt~VWG|8mJqhZqgxrbF!i zABUKtW0lE2xd3D*ZquK=>CfKuXK(tmH$zZlOi_L_1hpB0+Kd`+MvXV4#+y-Na;Md1 zqQ_>U$7Z6(W}?StZWg(=yqTM|nVYqlPPv&*xtUH$o_M*LPPv%@y_o_1e?SJb{E>dn zl3q?pHP-y0_u zF63g?-^TaB%V;$2;fO(7psn=b&k~A^!gJc3Lj3<`Jjc8(>x=UfO{Z^E$_ep`(#14X z{h7zMtvDh2XQmPlqlQXje6VZg#t+GoDo!v?Qsr*VJR%_&V|uFE?AS&^c8re~A(%E% zocDUejJ`p+A?al1S+Z1Z4w?mujxB9_I9a}BarU2J-$>6^JyS-!LiOVf!w1tP(R70h z5{K44vczqAN_THdFN>!Ew7=T|>^S}qB9X7hIi6y;*6)Y-Dw}3{D>~rgGcpowrzk0t zke9$-q?#GMc$)s=Mh>|eqfOEEtqud{hTp8w32Tm)Uc7nf-|TYvZCmvXIQha2V<}u6 zV4KB<=$(5!i zAG!F<^*xD#j&(WhISX0p$~XBkw$|-m-nS-tMRgrcDBrO1y=f@|H3Vbo-7m>Dp}nav zt1Vw>$x`m`^7YVJY%{)Lp(fv8^{UC>&o)uPHnFIh%EiGpm2Ga*f2VEgAyKA6vr{`H z&kia`-$g*%hzhjEs-&Kl`uMjlWw>K*|BH8Q5={ZH7#Cas_eWQ5>Uq#B1=-ndlA-XD5AGd#9@;LI{5)cm{!S&+kxnv});J;3oHglY32C{sbQE8Tw&M+i z#+*~n{AA)}<}!jr0K3}cGyq;W7Nv!+m6xuKlpba9_`MwbH9thx9I+sz9w&^h2j$r_+nSUe;*imwxURP(1Fw ztNEoMb+Xd?DB0GMh5LWFB(L`ez`$X161*70UT)Y~&VI&dg%s-HDy^r*rGN`d2=s&E z@PS^Ybm(30>CzP5tp>Od59|PEfPQ(T>0(S?lv!3wfeDlFKvHNk**>XW=4)bWP0_f8 zi+x@XxS5#%QDW(^w$eZA^d|WXVdGz4Kit-Gbl8$75lZ{z+WM@ zs>_|2_#;2ocDSj7SY7Ue#mc$&(&-;gb8Swprqf^eYzOT}Ug4Kg@Phh_!TJS{l9ZeT zziBs&+IRVVZ`gt4S9WNSar|7CFEdn*wr77C@h)qg26(=jmLOsg^FO%&9$hW;8fy3v zz4@@tQUqn$S+pi?r8;dVI!Z+IM{X0v8`qok8=K%QL!s@9g==7#?IV)eNiO7=q_Z=8OBeC!BGN#{yB&YcmNoocM*R zsocEc6!%GAUaoN~|Mb~{29I$Yce&YxA1NJ`(%giv{HQ5@)ODn7h8==?|JtxH!O?w4 zQD2Y*l+@8%9oAqN`2;=a9*KGO33wXPI1{*ET*K(EHtTbj2(64ytXa8Cy^PlJ9CY$D z&Hr}nC)Y&7P7F0_p&Ut)<%qJd`*BUdp)sy__A1-qNRhMYty*V<{m6t@G1DKSy*3Iw zf-IrN8tzXhYB>ufgkKxO%RO=G57r3bT`A`ko-dy8s6np{qC;R6_doDF{B(-Dk@WG6 zYc5*pA34Q}P|mHBz;n)-{Y)P+&tS>i2wL`1f^>;dzAq5~k&gf<_RKLIxT%FZSozB^ zHscAN!wJ=NdXqj=HKi*x)KQF6dFbW5{?V+4qW~kwOMyk&V)sAdv^vbYP)2>FD5)o2 z)WghWKs?%|a9$Oz@S3^H@QvtOYY07@51z4@FNN#hKUE_t3NWZ1rzeW0s~c838@OrM z5`3_lH)KA~wl#PX_w2>B!>q=6P=S*w`2{qt8D2>&Z+sCIT{|IA5Qhw7xt_F6;^ZfmbM^s#{ zxGXhA>qSjR40etiG$*%*PSY1Vu@7tyx<@>C%A?uOERf|mWfeD875Fj`dQ%VC*x3dLEiR6f z`j&>*;!Dl8lGYaHTPC7Em7?>uV~9Lhw&LFxDs0bDVtPq%D$*(&0#HncE*j+I`--hi zc9Ek@8#&rM>jlhXKy6%WpMMdJBIH#;9kZl%QN8Sq~S7 z|AGIO2>^qXn-uhM_PIpqhqOyuoP`Se-gl)~+bKV}nYU9$s5ztlq~ugV^nxE+lV>J| zntoZP3aYzEZZOqTR=eY@WD2hp&aYTcB+@UKc%W<_<}!<(BL zljhzpRHL%?OJ$cvfI{n>y8f(sUdODnadX4kXhR4ztgoo}`Y`{xi+MVGM-+N(v40V| zqNH2ONDWyz6>1lZe;Rp|oJyF^$H}Iy3|Oz3JQ4ay$fB7u42QE_Dr3`sU*@S2RvpE@75lwaOvf+LVLgO!+Yx-PtqJa)<7!T4i9`yj7 zQ3w3;Q!i7jt*Ieb7O4)uQaAbghx3Ec1!i0u(fK=wVwZ~C8#uVd#|JzB0~Ph)IRTea zmEk7y=%n8BV=Tf|Mk@HJki4BLGHp^$okQ$SS{Dz0YKgvzubFGVmo~sAJRV%+LMHou zUqLR9Z92QtzO^drm8!{I*blh3YdG`@&L;16k;=jGd;aqY7WAz6>8SZvIB48b!T+-F z7Y(vteMDy- zLWRM2lt5Q_zrv9|Su|0y?t@Ba20M!Fj8W&;mI~7@1L9Gqf*KnOuJU1C5|KBQT5i(Y zsWruUOui^wEU_GT$oo?WZ&=8v#ITdGT{O+c5&c zSE(=!u0OLLVRrEU=0^85CNY_mEMP@>N^XqK3N+1U7U#AnFH&LL4qEGxNx@IM5r)ns ze6ei)d62uY^Um)-2&#kz!m22GDFH2|vzL29WiK^`Nb^IooC!5QjUr9=yOj*OjjM*{ z`$(l4@i zWbwn5K(m+UPIp@*O9GvEstA3A#ti(F2>$rWRj#JB-$84?y)|}KX6UeEsXXxu0eH#I zHpw*$+3np++y*OQK3GRvYBL>G_Mlq^p$_X<#ex`i1~M zD@j|&mODr$AUO{g-QYeTUJ)ioe4@hT+}R}9!6mHOxj}(q=IG+3y%U-E$a zlp8(>BEkNPcQ&&-ovkv8>bv&A_J!dvOm?Ta%ssOaQ>J@WU4a;8L5zXzsecwMeVR$! z;h|GQWYh;!H^*#=jic8yw=Va)r=t#j{+z!o5;)S=K+wftR63utt5iKMoaifl%5=Dj zph7@&Ju9AvQl5PmidrTwh`L@Y7*0xlRJfH;kHs1(YYatCE+YbQiVaO<>xZV#djs`H=;&Ul+<-3&@7J zs6?tQEQ3POn-NR&e1+wHU>j-}5%G8)FZ25hgCLZv)ENV}k*QjyCUBny{Z0DO7CYh- zq4&^SZ(%AU$iw2era$~!_n9`T#s}MF!Av;nwrBW|FZP2_k=yw4RoRZL*qlG&KaZ`I zL-?YNGw2X5&QeusG5PuD#KvD>80}Vu#+>hfq?B>tA6N6A_bXi;vlc~!i67l$-@9U` z;t}179e=Iu3Henp3!n@DZ9Be%z<(|B@fkw{I!SE&j5LUhYhYaPE6j5gQf-zg5|eVbis5 zwApPuVycy%A8u*bd9%Fl2TQlm$s4f&$7e10cQ^eBmT@uy6|A_ApRJO-=pQ38t{OqR zhpl7Au_&|2Ky3Vy`(lm0o+ptFZR<>NN#-E|Q9YR`jz;a7`pj06Ub!4tVYKq(^!{fn z!)a^7xBU_2ui}C$+|_Bn=m3SJDoyRYCkh`g9xK#McTRVD6ckiSh2dPl7(BKF0EDo= zQdzj=-kWJ%%XQm%J>r)nNVrFZy9mY&%u$mMdWne`g<$2b49SvVDV}Rfl>%}ZokPk_ zpSotOU7Nxm_1F$yOB8i3r@JDoEyYXzwbTfgS`;L&h`!~y@x=;iVbF}fVxXf$I2hE{96Has~$yK*^Mg` zh_Lz0I1?~&)gKkqGg-mAHpwW1^z7&dgkKJJIp|3iO2dT*C6NKwE9&x9u^KD{J*y&O z)l|fwOo9%ew^xu@(~dk=sHqY-TdPq#tX|XRAGVcyl>3ZVd= zZNZMJat2-L8eml}^)BG00l9zL)6NM{4!T?x&B#QEiQu~VS=#}!PI|o0_*}#Dfux*C>Vm1F??#pXh*3tp<5)}+`)3~rjzMQ-?|xk^+Xd%K`oWaZhC6KCimKI)$$QCDlbuJ$%I3s- zk7xFIL|^eM8`I zA3BKnfNj4+5k^eevC{4Ce*dC%mdL_8m+nX3A&M}atgg$!Sk1!IXELin92;F;Bn)4+XuQ(cC5UunBkv8cK|U!b$FmzOX$Q({RCIwhrH#= z47&%;)@~gg)rhsYd*V=#G$(=EKggxl=#ex_o@d{J;Q{D{j1`7n5qXe-; zqN_JHGN^-l8;(>myZSq?)2?RnQoHkydt4o;;cG#=g_jg{)d4srxTS}TNXAUR$Kr6u z^Wavr9_l7d)tbuPZlbnAIZR45r>Sedd;{`*MMSEh94fjRVV@Of4 z$diwt0RFC%{}X=~Fw{a}P5;8FKBhQ?W&7a{TsW4$0IC|%6dXuwHOt-eB~xK7MemD1 zHQq~6m2W3i^~C9Dl~H8WOq>Ay+uIMGAyzg6CB_zKP-JvSSx?9A>%j`OAULtrpwSlf zGJPcAE(TPTMOrZvEc>n{()o6QmK8I5Giv{hhSZ{$5`R3xVRSlfV>uQ4viz5104Mh* zuviRm*n%mKwdrWy&z}*mR{tGQH!YW*ZM@Ef<>18lX$RfPcj5Yp^|Rvjl1BGmp5nUP zaH3MrR<`IF~YaaJ+ZvifHWEq0wgIl-$0SFzEa+FRDw;iT#haBJp64^PQ~BbtxtuMfC3t ztOPJeM`xCDXmt6gWw(w?e{e<9mA>L3j8lZQM;Rk=p&5ItmTBWQVc#A~?jm zg6)Ez*#uiU<|Xx`Wb=fIW=9VdR%mW~O`ab7+~FF<#41j|LS_IE?CTBQO62gpp(5+x zEb3aMzX~9f_?0+%g&*Sd85$8+()0I6)RAi*q2R+TOdb^6*DKgDYNcL-cC|uCr{w6D z@#o5NfdBnoV!hi{@V|TfPyO$s~r|&5iDmUFZ|=qZ5@9%@-*l{>J`K$N*7A%Z`F+R9H3@ zOZM$r4TGZ^H}G~fBK^>E_UQ85m=M_Oy4AP+xN{RO6!t#itPVKUt%)F%Pxb4s^}Brv zL8OAO5PNI+L=lXd`wq=NBwBUQtFyj!jS9TQ2_tPke)(XPE_0B3 zY<V@TCfQN7Pj7LfGDj-U^t;ga;2>9D(Gc;M~i2^-h)0r)KgmeU`1^`{`eDt{qG$H~0b4(RF9YJUBRSk;@M}G)jEusdqCS+%3nH7Wxfs;_@ilQ#ACO@rls5WoxQ(Jt!jgX)o@YpZvun7p@Mc#*Xw z*uQM&wHHc^#+P@!ceB1j` zh)gklbrqcInLc;P{SA~;;1{97xKsrhk^2I^f$@FUoxE%<=Ipwa`|wd#D%oSz;{c8Q zmG<3V*6SBQGv6aTuoo3bW>9;{3jx?R@h|I@cHJOm;i&&aZV-P3yZxZh;{mc^+lbbyA-+QqsfHtN1x<0X~8g1&C z>n@^AJ#$lOUr*TBw1EB%hyHgkC)F+Mqe&}+GthB6VZqu0J@14LWz}~lj+SODO7RjZ z=KZ1>Jmo&2@=;6fJ=4z{{IKqFfd;nKua1~O;2t`uXWzJW_wB<^ON(yb<1PDiQNC_kVvb9A?J#JxgwRg}r zI%u3>JV=gr!Ts0tZL#PeeodL-#MsPqW5~L^9KBd;3bT+NClX^!o7FXxkX++JnAY

G4M+>4pXriu81Gad6RRP$){&rR3M*i$TRGQT6G?>!+{pO8E`W z01i5%{XM>s432WGiw1+fx+hVsi;Lrfh0zn9CCiI?CD9W;*a3#0R2a{U8Q0PzZO}vD=@$ z;#EB&gNVJ$6%EuV-Y(uwUJtp+#YEEeMLFKU@#)*K@v4Q3(>ZO|6T1?vv*3@Rb<$Nu z|3k+H5-BOp%3ZDp9t62~>W&Z2yJYUbv5G<)%kCe0Icc0-ta9|Dl1qk{;S8EiC_feH z9{klmttZDz;FCb{uDDN5mp3TP`(>1(se43juZD5c= z?Oj`Z{w-byG8pWd&zX}Yukk%oghWZrfs~124`Nwnc*oL6T6FOZ*>-4OF>jxB1WCKS z!78jAE+ImvKaWR~QgdY<`f&!y-}qP|*`o08lqf%eUu-n6Fq!Pf@-h7D!z*kL zc}f15FaCh$iJjyGRo#aSo^iH9OM~q3;Wt1LW2#0jvSDa`K{Gj8)@grU9Qi9_g1rnH z7Z8o)A2P{5q&!+Q`Psf!3>Oz5(SBIz&GCaGkf^9T)`e`B=X5wej!3{IxQ!PiBwH>v zMX$XAcC>a-33e^34NY1tZ0BM7tD#^TP|YpHu>CJ5Fe^nuq~k5tD5VHVF}en%yfW2X z4^lcw!4hr8FK2pu8Qvo(6S6bk&gq&f>g0=RuJntd-*`g0aU22^kvwK=OTN4rq~l?W z;QM0oy}7%8GOu)1Bs|3#T8)_Y8d74qI*~5T*{gFM3DCehp+8h#P8KSiyDXHU`%B(; zsGWR+)GK5|WlS7&S1$Zt9R><0Ov(+5OvTP3#l7#6Z$gQObGvov>UWrI1S@d#nQEal z`y5#@-zoTTm73Sxrrntk(4=&#>qqlkzT`jTNA|%L8f3Pbvow(xUqLg#$9#~lyEWmc!FtRvVx(BMMLK~Qms7$<*-NSSaCtT_>*ZU(qh99)XLX{ zaC?we=bPLnibGdP9`jv!=9W+CP{3*1+;~mvBi_7Mjtt9fznAMAzCJHW=8Z$Qpj=a zx_8rcb+)DHi9porhY=ZE!;qL3&Z=enJT(XR@GqY6KO58FnS8C9``Y4Q(*-u&SH;>H z*13Hq;g&yHlJBZKcp`R#h%h_z)B+O;MIt1zpZQtuJlF>%65TmAVj<@|e!unmF1I}T zvKtP~Oas(Yo3-dVu^e^0lbuhV?NtnoDMxdjnu(Hc?i$J)YD@XM;HC_PXj@$tJ9q4C z@wQ!(e8^4kfGTzN`w49N?qXd)-61GUzJy4|ObIU6-*3%u+)lM2W&wNsGtS>zAvrhP z7QWmb;B>SE+7}I(qL#I!W`Eph8kCza$cAdx_jRZ6GIVE(@7vb;1(5TmZ|7hacmzY< z?><~8FLS_ky6#k#-v#0>?u{aoM4vLGW-K0<|0yh*G!_CRyi>4k0W-qSe4R`}aFcpqA(|db|6;8`I1fag#$;nF$#OMjSgVLvzNg(aRkI z6FQ^It`9KKfGD@s&NO0OUY3n6-teV+Z}x?((XJ?o&L zMJs&2%?i{|NFN%rWukDQ>{}M9GGED9uZ;2*q^X6yXcOcjYJKD^71p3S=fU?4dUzTN zI7Eia(^K}Hxi0K*(x}RRrj#^KQYLCo6P<`t`!<+jyPsG~4{8qZ9a zFsTb`PS*WCPP?O0bCmNX(=!jK2mfl)c7aa-&x%qSkB?LIfMyp!D$GcS;uQN?j2 z#E={1x#Hz_=CkONZU5u~Fdbd%V=Mh)a#A^3PWA%hUTrSsRrV35vyY5c40Rs(6X_@$ zOKb^McOD^$lbIw-epN^Bh3+Rr4pM-PEuwB^)k$c#g{OF|^R$=`^6sn{{Z|+$5?2&{ zepB-{m5?I4DCHFhZU|o!JMmCnbVud6SR5}}M%z)yQ%H8rNk;W4emoF=V0c+%LT~ux z#NRj54@xqIyV6=+d(oF~6BdO>O2`SZg0GtQVy@Eyaw)e6Xg`9unbQ?B05{C8JfW_<1qT(>FUG>mOJE&Yh{h z|M7$er*|e@<$OJqsGyT*Nv4T!H7SiJ%B*gKgGds)W;B1|v_o8F1E|Y^Sl;=BqNS zRrMzY&hErs^q8PyC6qGR1R9Sxrni=+5Kqs~w&*wb)Gzc?AZs|!$ID=V_go$u8uD=?do^YT z>a|jo(_{&VKb;rjfz*GSjufYBI2OS@VOH)(IUO zhG`mYe(CJJ{_Jo>CN0rbT6Da2L79DzvvBEssUmk8Nm_ok@y!O>%B$GdZ_vwQc?m{= zrwHHw40{9vZRvH^ zK|G$a*`S3$gI!;W8-)Uw?RhCEKgo28lmjimM8q*|PwIN!F4d081DKio(_r1Fh*>k2G_l!C|O>xYDevJ;=AdckAe z6(i^E>@@UK+d6Xf>~D1q-C#$coaDxpOQ13w=mYIE6w0#GW&kzf{nwWQrs6ZOmHx#r z&S;(Pb9q?(aa%Z<6)l>|0-oo-NVB-*MsO%2DitZ(YdQSwx^|_$NAlORbD1rgqZv4! zA*eq6V8}N61R?FcLyROxX(%E5jtH}2#RX6hKECl9-+kB*bQ&&)Z?qJ$`zC9}8;r~Q zbe+0_>u&nrQH2>GJKjRoiFYmbXuP}fR*G?JDn6<8$-cVYgI)|Jfd>R7W)- zC!iaIuKjGYMndyVZOc8TwlrHo+CWeE87{>b6AGT9pC5ZZfg0-_Mw4IK9QWt%0H_36c3#&z=Y z0eQE)yMctX<&QuCV7xHq;ySH&f%MuX^JC{8h+u%OxG z0vH&`P$XTR%==RULYNLm!X)E`o@`%V!{20w?^b7S(EAtU&<~W|KkV%T zl%+Z&Mei*|161)79N`D53=05JO2bCPkk8Oh{i9<1>`R#aESN7p6Mnkh(u0}1n8)6s zydnUT9J=!E%=&`7V3u1SE3an~#6xTLkW68YbqJ2rFv{skt}8Ko@WV6Dl+VTNLN@Yk z^%8)lc`xmNjZ7PG1-|0_36dU0uA8kw6`Z^W{A%_?PE^R|)@^Rx=B?Yjb(;+Hzb(U5 zouy98GO4?QV6(XkO{Z3^VBI!z8k6 zjuyuKHjPCbwKbnJOVAOarG{PRw;ONkMMdpt4q=d6;6prc7oHslq+EAGRI1I(srKCD|ylb1WIP-SdWz2Mw=h@G%|^7GiVqzV^cJMXsL0N$wSy(s z)TDyy`fl?1!49+GA0Nz83kEoXZ|m-=W*%U%e3c;L5-9SCS6zy?r91h(LB{;O_gF;5 zkmm!Ppla*-u7QJ2Gw12BiYUC_E#qGM)fhzzb$V8#%T-YQ&d&|Lnr+4c;G455=npvo zt_PJhxsWr(PyzZKL0X9yoT<7~vxlqSOfkyHE%ths*}<0a{K0}G1F@i}jf_kAc^IrK z%V}Lf{tcyw8RDt+R}2ooRz1Jl7AjvymBb-j0&YyRiQ;)>fTCOV+Cl{7*yR&McA5@` z>Ku=m0?XTeuA~?|49)K6PfU2K`@|;A#9C|%Hg6L=?(Rm3so-qefHZk^4c1eYbeDOZ zkf3P|G~O5XHiRi)C8g-RZ_%io)GS&aFGO@?*&c3J#6*8;Km?c$MKJmBUQ37%WC*a; zt|$s;oEI6E3sb&%P%`NX>f((GWuA(hm!Bd}=WQ%u-O(&10y=wk`ZQvTm1%-~kGs`5 zOS2R7Rt^?QnrsnOtbr{O=z7c__$B1*SgBIji6fEjQ(uR`;5Au1 zm}YQKqTuS`js?Q4+^0M7Jmr0p7w6!;a47B|dSHfN`?~u3A3dHO&Y)Oe{n;2+3iX|= zgo-Z^b9==D#_ZOUMSV|&z8@_debEixIr|=O>Rnp99LP>d(uFaF_OD5l3hG0+OCv2q zs|Aj?@)rQ64|B@lB69Hfj}X=Gx)u(4HY!eocMpT5bj|$AV>ViL4K{ zH(+!lUAFo#_T$q?q zm6sF%BsQ8M!N$&f+nhwwB`K|S`mtXgt1{G2HF~QvdJ=ZsRcga}WQX+JKF!O8>yZ_I zh!xm=jMMd#M?xNrXT0P)DAeg#c>!%J8|AM@X0BCFh2h`1pLd@5dR>aZ@Am7T5?H(Qz+iss_TI*EV=&LH+F z5?k(C@BTD4&bvIDh6OKoXcRye%>d_105&8lt@Ohcd_5|N zm$==)m;O5fm-rsgD()W$Wp6BrWao^u8B_b_07cpH2vE+pTEkIYK#~}mjwZREtFiLn z#W|1=S1N=8jxA4rR}`gZm-Zl-emxj^RZ%2I?UqxQL)OF~6+juDM~U9@;N=EC{}Iox z?^^Pby1?e=*|7Ps5M04z*&kYGdw=`|PhH_kjp(9_1&;0a76hAk@)xvEXP=Un`J4^Y zJw#`>WPPg3{zf~Ls{1+9@7kw8*?z!lgjZM&c4BB5PxAbIp`AMz`X9Oz)wWHTB*_xDw6XoZ!`?9ZXzA-^=_CxNju~$yoY`ngaN%m;Y zZAU|qTkp*SM(mtw#))7=Dzw8NxmaTX3U1&nj;~t2?od;Vxx%1l6w)_dI1vTa^Ql`e zECH}eC<4}b0yKb~3(F?U2%t%uH2WZgB(AX(HeXGkVVncUibY7DO~uw2r9r^bJV=7~v4K*8tKit?G@D1Yp-hhRpjU`yz*2dS>nXT?R}KnL&UY02E$CWh z_#6*7g#_Lv1lJ3Z$pP7w^z(T0wBk(tboOz!-F-dEE^ObQQz&1L2Sb=^!w_bH<=;$v zy^%-{LBU3OzHc7D{^reNs3=`8B9sWPllR{%uWgZmeHK<5c2bCLe82tg(hFZ$Koob{ zR9tJ$&`M|T)m?cqw=++KoI6$M^0xwJpy%^C$x&@X`~3U4ORki+#A=S7Z8qsOOg0b; zc@wbLDPz+1EAsqsX?*UKj!fdaM5+L(bNk`?aC zt=7dIYL{XJ8T6uEhd)>>esR{sqcL~RCV;|M6~Nh&eh;8;m01mSAy%`kqy%`oaj))! zEBsyUZ@%Whl}&i5EOlfRfs^*yG6pfws|b@{>Kv2{6;W!xYtCXkTYSnEP$jJLUzul% zggm7WrODlHJ(5=H`DtaUrs*B#sMIg>v6v^PmiO@Ma24r-#5)qQz%?YHv!!MH_``tI zWeBR7dY>0=mU3R6%PWnnhw#=61ixKc50!#;H{`W#*WG;K5hQdVVlL%;`A6>(3!5&) zdcOw&i?G<+)@Bl(VkW(x{fV4AV69q9Hd(i4o0)}M=9;;>M==UDWUO+|0Q)mhY?N?4 z)ooQc79uj#Uhg*kxv!j>w{}=eax_58oN1=&^lEbAANx!f>ng7A-ZaPA7n zpnpukwRHT)wII2ryAqBZ#d#+~P6bZ%n`kE#`Ee#2&CVuu;;X7_91!I>#tF2^;u}ID zNcE5R9Q-kMx(y>Q0M7UsmyzAdj;nYZ@zq$B2sBGayV>4_qd_Vbo`$_yf9zf46} zP+`Ps#7$JOS3fxB()`#@BMVOWN28v zh~Xm%5y$)H`2nl&rB<1&B;V6{Uj(5~2?65L&UCzQalYayBHh*P(_arROPUN_WMucY zC5e<+_nB5e+^V%cuffX$Y{|eqsEO?jTdZ>8?2^L}3EuW`Ko6f}gC3dXxVw%^Vh^TJ z>s}4hb-Ij$G%qxrsHR*30##9LrLd$^>n$Gv5gECkl50h^xNEOpU3UX}7Iyzf|28N7 zwp&y-kPUF@MuM`^{koGamz3X(bqLGXF<&}CheP1}_ITeUrKp#F77TeA5Wi0$6HATL zlyI~;6Ol@rONL*W)L`rL|0(i|O&QJ`>6cirP%*Mz^xB7$aA z_YES4rH~{S|KzOQ>`y?4JaB97AVg>M7+6i~!h!=&54^T;)F!1w&SPfrB-nHd_NM?S zgRcq6j(})VJI|36ihKxhi)vTfpXk`eAoEP3%f4yf+Z$2x`#%Q&ZDidh3`r@C{^iP) z@5N2)uOgA7xv2cLjs+qiOWqiA)66afZ>-iR>|qI>+KcTV)z1)8xk(z6*mxLKU< zz}Soh8;CW`+s57r4+Z2j;n%!%7TENlXkW34W8EF?XlCKHLxreH)`=AVXrT>oQdKHg zBTG^u!@A_r2gxJzm*n|2Qf`>F*P5T6GMvhSpZ>5mm9SW{XoxTXgPv57kuz-j#;h!P z`^(gW3zWNwWwPDGJV57rj~D|YS+&R8qQRqpE^}kmrovRzC7L()IxF--wuhKOsIvy4 zSwlY(cA5Hs+VHrRyYOLw`EKm0+eO4^Al zFdn`IPqP!JnG)0G)2K0!_MqDip;$k)yK!eUvTP11yF+9&{_@L1^fYa^=%1MMei2Om z_@emSShD`=@M8tFtocm(JmcSwMSt{pnXFcGT6NnuDIMu%YC{X%PhY6wv^K5@?uHj` zYv(fh_3NdIG9=-+9i4+*9n&mRYEi%TyDshds(Y(0X7gJcbPRL3gboN#absLcg6`A% z-`-`F{gG&6Ii~ikW>hip90XZV9;ULZLw`zGW#hZe(RKk{15 zsU}yIOn#;_136Z2!a9dH%)Pxb;L6g>%vIsrX}8H|*s*C5IiX)9$=M z!<=z-z89sMa@6alwij4R6c7q$r&d!4l1JC=U0KAe9-1HwcrR2l=rjX z*iiG}9y$~GTO<2zix2jqqH^F5yA#W&IDPN1b2diruTn?|85r%~@Jm28(&Yve$=wyy zjvJI;*CY8zipvbVCWq^a&xHw1uDS*e+`0p75s8nbJ!eI7p31%eU+16BJmswnM^O6h za0I2G;J4&*B%=Dl5$`c?4>u~{@|_T1Q1-yj;~)dZvvq`pDScY zmTFAX+sUdTH57NkW$G8xa6i8I|7!2OgQCpVb#Xyd5J7@uP=bm|BOsC$kz_!U~4CgX9bRlmA*tIq5{W)D5k z-}+W~!}C7xv--BqHVTT8g>24l0Z}P!XCq?g)4dwR2BAC%@u`rVNAJuRBuTaXWcmPc zG8JJmSu$TMqaPxnniq4aHJ|J;pg)WgQy4NEE;KIWd9XlpI@I_gybG}&Qgy@cl&-V5 zao^>W^Z5G6Z`CZX*J^D*H?-PvagDF0mj)B=M^-Cv#SmzA)AuM(GZ#FYo@&MK96pJ< ze>vpB5j8O24&Y{udQ92e=!bU5RxdeBUM5vQx$IMy!=xfKQ+1}xe}@kmiewS!R1UXH zUB{I4+sw-E(g|A1peO8aFgDm*}Ds1!}#LY~jE_Yr=bGd|XGti#v`OXoN zi`({E^XrA9<5MfgbFUVa#_dbTf~<#Jdz4K;NVWsQnnc#X^qR0nh$c%lI3$yq79BWV zJL;pMWW>M-%=UB<1<@|wQ@DRuW*zp?P;LMt%@j+3vConh+@q5Eh@RK2&f{+gm5mpH zn>4zb7YF{b6U^zkZ*c%tIOs!0TVMN{p71zmT|bYxP zJmvr7OlX*uD(ysy#zmc2OH36aMupBIWla8tFJ>Y9(fk(W$VH)x46Fg$R9be22RXz6 z7#GCOr_27OFJ!$$XoqC{9@h+Hs~m)4=jdw8b`pL`uyXey`#u$I2lJ(uv@ck57llH$CzXwBI*BSb;GxR2vmv!Wqz z^I7*kY~CAb>XdOUcW7k)&e-S!^tNhxaGorbGLeRFMm8)THnnG&4z{$C<^g3cpmrI1 zFZE-V8Y|c*Mky+TWi!tikt{AhN9`;qWx6@5=LZL{(f z(e^0VmDAq+$nmJ9%>s7dHexxlIDX!!0N&QEuQ%jhX0>0B6B7QVgTrg-TRhj2E;HuE zGw?1Jn=S)(co|}TXRoE|efz$e0X(N7WC`w}>IrqR;ns^AcJlikGapfSX)b8_zEyBW zM7(KMG0$Ut$UU8z_x`QJkeaVe1Fm#rwHI{2x1Ul=Z;ZNt_okkza>s1{h>Cr;ti(Lg z5Yf6?`NI^QGEOx{cs;#SuQ-T5JcC6$ab=QA&_G{I%ww0OXv5_*ScQ)vdrV^gxq{3NL+|;Kg7@a+0a;4gH#W!{Lg@C6R>40oh@*9Wye2bU;kG7UGW%HqRG0!V{jJ;FEN3JXJKi|`< zJ}Kb8+1Tg5&jD@NwD&nq;g(oW(v`nlc(lj@ygqVvh;YV(_v~niv0f`whcM3W*6&`T zw4)bdoOz3MnxXf#f&k&HEV&Crs=WkOE0Taj+Nsn(aC`tp=V=BYa7#tpu4YI%1It^1 z_+R()0qx!c!^f}1L?Tu%9L*dqlUdDOJyw=C41Ys4O6i7R+vX(GcePoJ zh`wmSkf~6(gJ`_#(MhYbx)%U`wTm5s5{{Gnm_|v1qKWyha?!0s+e0oTznTwMd;07s zMxOJ4#q9mW+wTf^Q95My6$z(B2Gjdm6%oJw>-{eQ#6_}!6?@y5;)H$>+z$(NqK#cP z8OmB_)yXQClE08v(qXV(lVcq2gHNh}I_vi4T66SiI}xdD4HCmb8bM1tW2mQD1I)^v zf3fN6Ae@JN>`aRu2$<{yuAKPjqEr|1uJO&5R22xQnTIrvCr5#uhEa%5EZSfmM;NyQWWr5_G?)Wu!9QLiw{$1vfZ)b$SJz1jO|4`| z$I=tMPStsT;yy8jvoC5_oCdwq#^|s)NJ?@Cpz2tdY`?_V7+gPB07W0FjqB;8r7^w? zi)sVF)(k584rtqL#HdqT$*Hq^rBvv?$L*bo1qCB&;<-g)FSU3%^!p{Kk$nv!=>M}R?=CS%%P7UVCxpi-?AO_NUx|)&n)(U`^E9)s zMeW^Trb5FhrNEjjCKTQ*O|o9jsRt0~TmnoBl{*7?;9xenDk4R$64B6_%dLr5p`8T` zik0I(2CZkY@GahEsaiGF%aykTt=e16U5n%vP_`#mDFHj~Jd_KosH!o5xx~V`@01v9Q8=o-h zrC1gon_v~XFKBsoZ3L!c)rcorc@XNcL6{dTCML*R9fVGaA^?I?QAL8hred)wK2143 zy7{&bltqGl2td7TvK$wY#A*;`;MiGF^h)Ev+n&jWK!tc^$&X)fl?V3KC7*09{_$D( zdvEOs2%~atd|+OE$hnT>x7oURNQ+Qnj;hl3m2!m!<|z)G3}dW?7b764pF1BDh9xKC zIUCCIiZGIihx&Ia`G6UA3fg=+QK;;DX9EEE_+jXSAQ4Wipv7S0NH}h+pzE^c&KEd0 z30>+uasz%hsetCpFy8N|Q>)ob3l5dHvk1ri~GE(2r_TElE59J}>`BPs+ zqNl?IUF$wW9WndLt(zTN?KVW6o5ZZbKg!TKbH9)b85cSKIM>jO2;d+Ts zXR+Rpc@{wSjC~%{2GL@qpLvsf&QKOiOpcB6W6boXc2;rQJ&`8jFk6b%Kr&B)A%%-e}j;ULWvtx*k^X@JGb z?T)Lb?8E0{P<3+S^9wX@I5)D(PD9A`P~AEmUbM5kT~53UD*kZ)TR#}A5A-t@^gVz& zR!^QL?J30%J^pTnytcHH;mIc~L+gqMs2H~TzlPRTGBRjsuOzq z4Z`)8d+5hRJdoJ_3;rYhB|bO6h$?dULgle=*9^oWho8%l=`IhKlS>47I~b+oyTH`t z!To9`Zy-xZ{~lW1>j3CwWAuAS5ke>sl`zNlRSJKWlvr4GP7 zzU0-39&#q0qf&rNvYw`w8oV3v{Vo{MCOTh0-IVAtiWL{2c;o_Dfkl96CQD{Eo_Qp9 zYZ2!!nj$isiAViSaG%!ZXVtyzq8pPMI|9hID*PWT_&92TflgBKH*|l85@R&qc6pEd zJrR|*Rf4&&2ip*pYrOe-oIHY_R>GnS|AAlH0eA zZ*fBJP}2BNKnSMbQyx}`jXydO3T48V*aiLOZB3M*0OVd6`%EEhHlLM^aO1I?FLd25tNDWyquKu6u-&P8`p8|Ni>k~{+v2w;v-wWa^^t4t962F_Z8@ibizZi`m1(wue%R%9`bWdXeEanYpABfr4~L}62YR~8JC2m zL}gPT(&P6IHft&maoR1<_+cBQI0KGvcqea4(yZu8_bS4mT8z*--& zXe0mUaX^v&XEOiUD*qgW|7izd*@u8Ggy{sDM>L{_ob|=8tUwlbx)K$op^s?mTP?!y z^nq7|O6GCeMy_2&UruGdd9JO05<&Kxrx&bX--OD1AlQ@Xx)HOBL{#;786q;8)-0wN1Rp{*N3CKz(Y8^s_SQkL2!)9cmimZqF^*f=*EDo_> z)e~w^2ZognI0U1UTSS`Yf9UwG0SGLZ{--Nx0wi~C!@UgTnu_p*FV6~iI5weMu%pPj zvjg5G9^FqSo0AVoSvn$2Sr6EkD5E5RYtn@d-r)eFqrdQRI-OBpHhBegy;R8?*^W{QypKd2BZMu67u|r4^Q-AE?_9;BJNv?4j$EOj z$tZ!ok;>WJb$Er00tg4bbajcr!@g=jovXEc*7Yx^2uLw>x13h(VPz_$2TXNw1yU%N zA}UxLw{qxyz20P21TUX_nPk0$TO=U_l|8?p)=UkNqCoV+W0+~iS5xd{KVd?UGJ#As z**TAFt+IicIkdot2<0*nCMG)M4|gf4AO@g5)CoILvuD-M=ea%wi&=Vw1r{2JkOAbG zgQ<`OWqo%=H)Xj%JdzGnvApcHKEwx{hhCrJl$*p#?34n`kbt&wJTWBxqu>AUEFf5m z#FJeyXV1!3LuF7zIq_WC*ebL?6}x=m3Vs9WFs50!^;``WiF&ByznQUkVHAyeVp_x#xbGn$Kn*P_7sp{cUx=_z^R*zw0%8aD-JGd*G8GGYO7ALCkFr>2q4} z@n=#oZ+L_n9RUbdRfXHCBY(}~cDAPhbWwtAc_$-h_0Oz+$f*Ge2oWriz@?!AC|GmS z4K-5jr7Xp<(4*(6X~C;%@nxEz)y##}tSavLg{YB@8kGE8YF-eCD4Dz#vNdfweGc-Q z>rIE*-z#J=3$si@^kq2jIi32VgJd6jn`3Mj1^w|i&_4L1N-<}zWX!IBFEFE8Y0o5y znxyw3QVJqNRW{B4j0t@By&FZnv+L^>KSNtV?|88||$j~Q?m z?_j?@RZ4?RAevn|{y5OE;R=lZ|8!@z#)zJdK1FD8uZluMMUtNLNFn8zT0&qp7MTe{WoOyp~%#~8u1_#Q1AgzFALCl?se=&rKU3B3=F$&neGIE+JemD@r z?_PAH`j-qs|JSnTpl^$i z(H1)kU97TOM}!#;ijUr1fiiO%l8W&Kq(KD=ad%J@|I7{2))lzcH)m{h8{dPow3pcV z{cE2OVS8&)6;^7E*MA+fdH!hC_xaU~;%+5j%chNQ3E?69Sl!3#ipc6%M=6Vb9_Ek$ zS}8+6t}05w8*x5wlGywvZZG0)e5k2e-YN#i1Sr4ByJU<14srL{jCi7#QKfL_^a+5rDO6 zRHD6{goz8==5df$Q&v>bcPW9PHim*HvT~pRp_^_q%Lg+!1FMmBDPgr>5SHjp&!t)N zXIEi0u0K!746}x7W_1fzz{6aHq|`)bfQiY0R~P7rJ29vM0AXreO4*__G7mfv_Y>L% z!aCTUo1Roe0Nq%fFbEqb0j_EjUmf~fUA(r?i0y*LW@IzlCX+-2t*qQa`iy5_%AcRQmD2)Z7E&jpxx-{` zFS!Ak_tv7`TrH;j$=PzPyi%YMr2?iZ1{3c$4O7hV*}Bjd`aafO01HS54}v?gobS6& zK4TNE*AzsIk`(DnJGASDD4=Z}qUcWZp_AZijb2SAnb zFJBH$WlcWzY{59J+G8f&b@D?ep)K-BT%~W0ZraaK;g-w6hrOmE!<#?|N$*2(tMrzO zNUt>m2Kes5)*zX*ar1L$yCzSxMwo@RxkSs8+Xv6DsNomfaq;{W`rojqaBBbfyE-t3 zFx80t)E8RQ-W12~lTE&ER)3?()LzUG(|;6CHz8P`5(XxI!J&p?QxeVl$~!Q?I(+Fv zL{9)J(^hu>fgA(FY<*^Pjg?iH0OYRVv@zW#!;oW=Kuqq;!G!f=bk6~05HT^H63O{0 zv_V9bBCrCVqksCKvLO-$L9lxo$v0NptS9Ia(K)00^S9xMyPy~)*buk4LH=>vH*k63 z1G?lj>7{6NQW)n?h&F6J-=g{#@Qc#sE!26AR-w98U;MIkqoqL+Z}hz|(dIZ2K3gSb zMDU7uyr zdZ}HxaBR4?6lvHNy$6Ay&Wh!sCjSL|0trfC^Lne4HTh30lMe33Ei%<|7b_njTU+BO z9=ZsStlj2U#XaS-afK^ASOW?(os!BohSUGYRQ#Iy&zhqaYl6_=P7U$WosYehsv zg}V|SA;+$zZ~#H9y5Ssb~@n1sGTnS+0^L&v;OkwgbU{oF{SOlzW-UZvYZ z@LMw1Z&B$0N{Jn4FPT8aE!YYbTnn^}^`Z5O!h%~S-@rV7A#JZ7uo~{_wfk}7K?Bn3 z(IESBza$2=>Qqo~Zh7o{`#ZJKf3JXZ1@OS$Bmui|It0%5!!QoDgRqIczUm2}^6w=G z05~#pT2VlSg%#{y?W!0?Hb*g`=&8&}2w?dYSg!Ux1PbU00=UVR=$E1H0zdi?h;HYm zhY?~O8*v=dEwnA(&&bmhsuv^$q{xSHtils!j3)1;?kq8KeTP_jXvOF6G(%rA>?GWp z7Y*DbvDetzmi!_cL+7Q?8ggr%qS>AB`f6SWH@n2-LOnHz-FOCPaUvCdQe5_Y8Kv65 zVPwCf3Y~BU;XR7UPe6Xb>5pzVXaLYIF2F-icmN*2z*z(D^8%nBpMS2njgB;x2?EiT zV>4d6&8-___P8Uob+M|kLg5p0qm`lu7HmMoluI^LfZj7XEh(7ywUXyRke*0l0+MdB zagwe!5I~l(VugoEP|=HOqaOqwVv%1|2ek%zWJVoM0iO`wBl=NQX>*g&pp9zsIp`xVtpR&b#= z-D`9!^rfz}m}2I}(E7Qi?SZR&+0SyS@H0h_nTefqAbZ++?$pi>8KCFw-00HSy}GFy3f`BIflmn~-1k}lvAww{W$49qj|Rg@A%u8)Mh@kZ$?k|BAyN2|uZ8Tv{-W?B{!Sot?445fbgRkr_3 z$;>Lax;9*&>$jRor8+X_8?jtfuiN1|>^a#ykQLp411@`CRx6w}`wxCXQmcP*5_4u% zK{LbKWODSoT7`O&A&1ja3}^|2u@qCH6!-%(szWdjen*}lc>)YWIDN&gfE!>fYUuhP zB$b9-BrK4d44#ufj6nUjO8k}b*?&N_Sn73Wy*CrjZ~YsA4El$AFuH@#j@F6z-qOEf zTSKSH3GU$*#!z0Ew6iqc;g6;bv$)W3hpl<;z2$sFU(j;;B8g@?ei<5hq!k`+LPG&n zX)R(zp$v2I1;2*x9rt>QdU=2ZuEiKVK;d&aCxk|%Q~bL90{7bjJ7~9)ox$>CzNlKd5=BP_s~tq*lojGOR6RdW zOm@ZKTvV#_W@r7&bV-p0?gy!f6X{VRG!NV6AcAZiE_4SX6%|Dj{s`Toc<4G=3pDpo z@yG88$(Ns^mYR!f#PyYh7+yUa9T~Pu_#9G?J9J}o5pK6%85r4i>vh+rX2R58&jF3j z7MlAp=gXne|GmI^a#XRg1nX=#>|4*h(LA8o;C>0hZmESF;vJEHAtA6iOzmL0&1dIr z$XH>z!zdwxW&~qoe@cpxlSY_D05Sm-aEcx1U^Mm^bE%;cdjm;i9H6=n?GQp+e%5Igy&&T6$zM4W>DOlB=zp(*h%2>w6LRo}^s16z!nUB@hdh6xzPpI>hpuv0spPwj5xQ9;IXwV(bPYgJ!{|2}Hc89BG=dR#MV$z@?p5 zf>3qE!V$FB=*#B}fa09^5X4>9kRI8HdkcN6^xz!@R#T8+epI!Y;T%foFW}oF_8Ph$ ztv18RA^PO4G3)pAd7rYOD#ug7y)`mt$n&;Ux2Qqn3l9i^BQ7UEJOI6Wm9m z0UJM$nj``gbe;-1v>{=%agIQUD@;0o=JJHUXA@$MbjWuk4Oojb24F}DsIue&@yNl_ z+McSl;uWAMok3+{b5@KfC4X={Et57-)5+y7l`BLNvk$;H1hb*`dJ+$GoIHasUl1rl(eXt@dQ@{UMu^_^;-Wu#-T(;0BJ3vt^}KcW^igP{MDFTyXUzmpq)vqz zT+J{mBS<}#2;@Ma-%WGUelpo|@w@Gs@dwMXkw4ipSm)1aTW6)*`GP%eeM2tU?`Kp} z(fc(-rQp7404BXt2f(Q!n8nnM3NSKa5WCvRh1(ZpO*wK6p$HuWYA3iR%Kx!T*^>~naEKJbo4VHNY2}Ix>Nfxx|&yf1fYcnh2oh^ree};L` zeuexSyenuj2?lr}EuCC1u^Ia&_CXLs>_8G)qm2+qs-jL*ec=5|1|6ClL6+mC|C?%J zXBOhv8qPz$E>?JV6*kHd$HYH5Pw`j8J#4$TdmW0qw3Ue54mKx{M73e&6t!Klx>tud z=+)z+sTR3_(PWt<3=@4KuqUa@n&4jF7!b7!Q85|bq&PqeK;;SIR{d`Ql^hPEO|inL zJ@843_(UjI&ndIxrkT`-7%(bCdSX>DCgq|x;sUx?{YtQt=!NDmDJOUljyqrAO^;Cu zqnMq`gtC>$=*t(2vp-us4o*EDy*w4uk5y3GDklYJT z3$d+28pPrXIn3>%rkRhF0x!XXo1|)K>m9TGfq-AP;msZEMU}fHY>f>8Bkw()|F*Py z+a79BpcT!ie&xPwRJ&{xxdm09!A%a?>w4E^W1kjSDE9}&ed;%Oc!=BjVj%a;M>~V* ziR(MQxJ7q~*3HC8&xNhQq+35OT&U5@*>X;pt@LVLy)bDdkFP#+4BNQLH zans1IdQBoF(1M4%*ESAekDv`rGj;E7wHZ@^6%{h8g4!QU+gD{wS4j7Uq_hT*li%bS zt+y3@%W9PjxK6Gd`$NJHFOD-?Hs-5h_pX3ZFZ0?ns|x4PlUk%J(y^d= z9C#y!b>NU~MfcA_Q1-6s`9`3C&y7Svx)+BXd+7qeslO5&(sB{$`(A;O_9S|3dFGh>Uqkdm#?Hh3YTb~y*lxTcT4)_P%=tU^8l)7DcN+nUsqZqugX~Of8qJG zi<9!&m!3ye=UI}j4T5o+l=^lp$p^{|w=&PwvPbMRyF^M2;R)+Ldsa$(oO$n{HHy)P zWnmz~yhikbx^w!9*}RwF4cH5hTaxn7IZn9BFHt0}f!M)*=sa_Mc>m2ZZsSy&IJr-= zt+DXLrwO%X=oZXLTnouXG{GH1Cevuy%+G zl~=u&?d%;d&>MJHJ%}_fN48z}hD1@3OgL^pSh0WkbBmupz3)C@>Cddrr4W#|I+t!R z1+3$C2+-VcJ7#jEVIIMnGkBYy6|fCHLTV^AvP#$E3MWxhRRB-RERc*V`=fS}3ER!6 zIm;C#tcLJjcbpx*Pm?oa(xNDz&|EhD5Z3ce<809`UbehdQeB`Y*Kh^1(;+Z45A2)B z<5>Vb51MTMd{G0mD2b60iV2c~l2geu@m7@lMQslnl5Fyr-5-uz4jmCQ1W3%b4nUmN zKrlv9NcZkno$!!`Ta@pMJMYrj)Ayh9%Uq^U+K~S)+@9NFDnxBRQNm&#UcZB^^ipiA zPg<@6f4$Cx-;~^uI0rTHK6mV1h@XTUia(*8MMifL}^jxCfFxd@S6pW9ane*(Yk+}hXO>+%-eFKBiwxV|hkVt-SAQO8GLh;F`5<`8k1vpLY z7{7yOW6|kKD%5*y!_1Ua6+fqQE01}d0HLKe)%ZAl;DkRsRB5%c7V;*`{$4*|4hO;h z<^4T%=|bGCfsK_LO&aXuDl74G1F=p6;)bEBL5d}kJ<2|>U4hm3a*3iP_FSOE{J4D^ z1qmUW-nxiLr-+e(J#InFss8;QPg-NbZ77H|vFu1TK9UW;|61(*7**HoC6m>6I)Q*w zl=fq!%iO>uJP;SG0O5>}V9?Kge>}mN+aj3L0v*{O9;@oqJ1|s@?h%NY99%wGhcp{} z)(VrTMmFljj)%_H(yJZ-gmwMFi09n=5(o%t?(TlH*Q5P=UJZ3-%LVVXxhp+~_vJVZ zA-bOj0G8>Mr)KY3-MGI$Sg{%yp6>Y}W@qv3 z^(PTNZ@f-9y`Sx!Pm}Z?ybZu%u9-(2pRv%`U7>oK;1|H1`}shqcI*e3PW?(Z*VhhC zDwNjuxye>axI65gfJr!U9X8FUB7?JF#3lJn^LnRO^bL>0If^}cHHPdujpKw!Am$B| z+=ZIDSj8j3j!u^kB`w9@zO3n<*Bf$@8Z!}Pzif?z7(EcudI3Wq#A#4VPH1>7zpawY z^$yFO9E2*-ai474P_7(%C>~@41k`Tfdh}ou*iEH_9La zVL7!H|ADlmXJr4i@?)r)MFS>Imd-vFE#qZa#^jp@HU%*F&uNOLWF7Rdbd@jP98&*H zJ?0K=Ts9l)&^Y|QxNSV@!Sd%1ptf1OMkA2uQ&4Tjj;$jZS+82JoMDJx9`GUj9+z2! z4uIUM*3vdv%GE;K)$IC>`A_0Bc9LI1cNfC73MpRu1^jlFMs~K{S6iX({N-GJZBJo+ zPo&DKSJ!ei?APWl!P7tTKMT}jp~$0E)49<~*d8xoHCKsC#JN{(?C%j5ABI|rjc-!^ zh`9a8c{sw}62;ueO>N}DqVNU$*NY-$?{h}L&v_Zj0OZT7Nv>7<#M|i*zN3>n89K6# z%HX&vhBQ`8qT@%3F87^rca8~&C>D9c&s(!Q){p%FlXsnJC2o7X({ows>GFHRfwuA4 z%M($LoCH}-_DQa3oH17LevWb9`uLS2)NW>?Cvx#`RJ&$@W=BSlyRN@fgWf?o)< zj6tLL0Y<4KA?E<;l!Rn4~|s7#L4iHaa4NDbXZ0O;xVwt6sRM8)&6}x zZsU+C`(WK78>+>1mHb9@Mi#1!nFEaG2b|j6p>I=Lt_^M6uFhyDX4a(AkX)m%<=URS z`in;Fir7`4`%TLF1kNEgHH|GFwM0X?d=%gh-@7~~qTGd|KL=T$SS^$Hgg@xwH_;pW zoDr_t?^3>~u2Pi7JOcYit4>ti$LVfwqt1$FU!!sN)VV0n`u9j{w@d8Mgst&J|M;q~ zn_4Bn2Himx0PQOVK-h&Z3!-R^$tqJIFzpP{sZx-Jq#P_2jT z0Aoe8`s`~7F3SP!FU**96&gj%xxHDnZ>pDL_?Br zw|d+~c3Uc-8eW5XxR-_8MG?Gj%bS9Sfw0t1EJKdAJ%$1APq|MVAX{R#dFoZ|E zmpv39zWU?s!r^b{#U;Nu!u$tM%wYg|OUAi!g>*w2PeMvh0jqoZ|8sSjF`{OL^a0#3 zWbV$}?eNqSvhdW0XAO?R@E^khVonV)#%I9zUO%E`3^)WQMOlc?EDp|2dok!X8G#|m zc{Yz8#3=?7GI-`V@veaw^x~3SI|&~~;kfN{m^%Q4bx2BXUDvCXJ-`@pxln=5N(L>LAS%P<$xSdacFG5}s`?-e?;No2*6%qWkx zC8CX>CrO9)+Z&!_Tq+8`(SfOeam{;4vZDVGY7FbKB0)m}@oNvfcrh$wwz7pBdYMm` zW&9gY=*bcRpeh*6)_4ID%_YCd2~&3Q>4RQR7->s-FDXS4FRY<=bU0B5ZJK<_Vfvfw zQ8cbLG}#r2;Y2O`6qpEhUut<28;Za{>`BCoZ8iEL(S)C&Ya2OpHChe5WwHQ#Z&j%s z@pQ1jpe89e<5vm8rKqF0uO+( zl(FCPZEEy>RJQ3Pzji2_5)ktARdY$sfI*0Q28G2vf8!0@ou&LN@CFiP*bY268sALz z5=7|A%+rDBnZ1U|SsCJ-M^Zk!pdmm(!OvSyYzh8 zVcK}t-jL}Z#|J*0U9i&-vmedBfjVZo+zM~CQiD2hoZAt$Zzq$TCS%3a4{FQ!vt=!w zh{(Z(UH31Y>>df4owxG@$Ljg*t@Sf>5nb^tfPlj*G;57A;HEjR$g-E;-4=EE`6^)v zXakfx+v_;g3u;2eFa+wAgf`VTII4vAYZO$B;BxbFWOAMOewUkJc_0qKEAujOUs09u zee;5zmNtVg*>Co0UyeMA}(e~9uF8J&lnjKZ~cbZ8zS6Z zxcGo{|486PP7{*Vc!vdfX%CWBArJFgoPsAvR;5npHO$|;i=UEZ%zmXwvT9)SBfA2g zmyvRljnsO7#>m-UXGBlkuUm0`X7phHg^FhsF&_*`R%gvP1Bta%#7jLn zXe{G<0EOKLuF4RouXa0Ca3)KaM=IE!(2^mfB|(?;-@XFn2zOxSOC^3sOLHrdT=E z?jg38Utn*1v2TnQ0%T@8(s>^gA(@x#H(&fJTFx- z7|pmevb|Q~i2CY*D=dwH?o$Pf2>~Vib|;dhS4x6jsNAWTcKDnsFGHqyDj7HJz*D)) z;9S{uH+PyG?bO}7+i5u0(K9*G00kV28qyE0HY@oVTWfRm_Moct=1p<%LpAD`I2aHQ zHV--lf{>UHl8V-%F9pSkckD>eYYZBN4kGqCodkXDZ_=gYj&d?g6s;!uOgoL2%KRfAl z#nph&Y;sMbQnXG)5`D%t)YUT_yDCP=uFU-Wq?{YgqETrye8Ar|+iNP+)pV0x=TVpx zH5IhI<_00;mX+BLocw-JfEawB7pi&&iP4OKBo#Tt7gpjRNm2tf#WO7)VsbsDA`7>T z`?N*q(WBx&uSR{T!pCn%eI(5P+)B zRJ9!D@Bl=~GQ3=8K=0_tFuuDa2ujI(Sy0Tq0a9@>74|+)7j_@nklBDzuwH_&G(XGE zCP)Cw^+GweCSc!TW>Fy9FQF3KqR*t%*fR|kisiv&Z&V{Q?}ca7Ko}xDwmk06sS39_ zo(dN~5Y~W{LTU_#e@5qllz~cVRcx&vXvjQ(>+fdApih|`sG_%lIKXkL6R4qfRnB!i zU+U*kiQhVGyk#OGO-jdME1x$!x9B`bz@Dl&y>m5d0JS3MJT_sur)C!><;oEHcUIPtL={r46V-uz}^RYnAdW?Da z+o0k~owjfzogrrIP(e;sC<}=y6Dq`vl(g%iAHC0Q20uMHV z@A!-_Lthvb^zIo!6B6$`UZ{RWPDC&zrG;+Q`kEhr>m1%D#=VD|3o^&7+25@B+1DSA z@PuCv1g=n-7wK8*O+=)b(L}Oks}C&CnfSz=*>-L{L47^N|GkjZ_S^P+RnBnNxEVuZ zkx{MP+iJXm@Y*{!GI7N{@v9~6+p*Wp2;tg;ea>`fJHpvbXH7WOO*dP@S5_EaP5Dgs z2%KZljW4V%EUGGorB(VF7iWjYXU^ce@ofp52&we54x*oQeI-TG|XtB8gLS!$!XOOHx*RG$af?5jX z;TrGZUx{Tq_I6F?``jxhvVl!I26LMrBs{jgb1~>87be%?;AenRm8;-KLf833tX)p;nB^Dn-{*>7QFH@~rZD9XJN6wn$S6 z2Mq|>gyAe)*h1^0jv05Cj+U1xGS;iFz+6gnPu~=Jp^Y>8l28m=rRZN9)VayWBf_C_A3>O=z-y14kE^YZ%`cGG zjj7mPZb2T7!Nky+Jrvylm@7J+ow-m}k6&Fg0YW`q**1E>c2F-(xlNAlL^j$7_Loyd zo^?Lc#>riDecD3)OdIWk?$~jvS6+PTzw5*fY|?TH=KgE0jPSxRLCr$$sLaW~9HYed zd!yEv-KVaH>a4HXGBT5(P`mX}$@u3}8*^%bP&3V;o*d6AQdpd$^TtUk1orZx2?FBN~N`6|0spPs?e38yWT{;a{*u_!MljZ; z^^&!nh3Q3ylr4=nMR<;cBH_ssYWluY4tRrbS4q7l_}%a_VcjMn+eZzCW@GEd?R_h3 zA+ERI*B3?je{od1U-vojy`7})oY>lvoXtqn*z9mxX6@9V&L+hNH$W)i7Np^N6_ZjNZ=C&5D%_vS5Bh=N}m7 z&tID8bVX{JnY`qPewYWea@E+k8&})GUzOmGBV~T$${&SEyo?hi)FW%yl4jq!TLY>X zM47k&<@+QDD&>74=1JHr`YrkUbsLAwe7?`1*40*9mDy*tn!9@+wJ_`?IAFY91Lvm8T&U*w%&!YB+Wf^`HK7x4%g*x5RSuzmCL3}`-8=GQ}0;*t#OgZzEq5tUJWlhN9%4N&aKG93LxIRb2xgt;PY_}ONs68cF@nYAL-wTLpi$! z*pb@4Y)kMWi7>^>TLEySHA+EXY;vpKY=Ah?bH3(6emeQs81Y!%*+ zlK+-(eH%E!W?cCzVexTN}4b6rnrJ&Aqj7IM2NWL+JhVw~Ms*0dpXGZk2TCQXIV zpxfA?dqi=a_ww6SDM_bWEmxAi5)IbNnXjh#lzjz3Hz=nZ7F1hShTq|ER24QmJDXRt zN7^5)`&-_x+iso{3X^#oxC244&hBar6^Ua&q>>ziRy=AanI1O3y0J0T1mp-pgTdm- zA-g|ysz~u;fNS%73UvbHLHAX#xW{kMtJkSqb6%V4m=GI4`mocICd(Sgs+umX35llOtU>o0d=QW*a)D!~vigylN>R8p*LS~{i z>c{$VICs96*Jf~e1ZgsMjV=Kl^&q+~WtFv0d@vMu0m6Z<4?@)P6H7w%hY4xUadU>} zaZq~}7z5(+LDWDPD>lUZMk>_9s2Y_kK<)=&IctuowBfv32pqu&|bgOVS}DSQH{)(#x&Sv0j6kSeb> zgA&=zJY9-fUit}o*X5Jdd^x4BSwGd8u&daYPp5Tt2BFAU*RgsJ?|Vx`*>Xf-Ge}0g zXFX9r)(5e&y03{7#GVHzF?k;b3429!Lr3gFRrl6k>_>#81Oe$AWzc}x#8lI(P{gpM zDP}z3AF>#F0a&@2ycFJYJsXdEAqtYPgV@wLNpr5Q`3#B=*xg2V3+~+ijW9lO=w1b4 zWRLc@nG*gh4b!jh;y;OH;ti_GZ29i24n)71a8Z}>{T8o9;2#+*W+=nkE8THy5YlCT zX`g>ddt)=rc%ntj-CiNbZ{VrR%hUTaB76$p;l9ULV7Ya0_E#iTnD%_VRHfH7^0V2< z;7R5P_9#bs2*6h(Su+lsKXS4^bvYP3y)PAxYWE@M3qH1rt+KlR7Z2}nDu;yoXY;%5 zXorRV$A$##v1xImLuyAhEw%g`{~QVXpc53gZyC%zVeqSZ+f(}Mzj%0frvdgS8_2*2Fi8O2BmuejnQfOvlx+pPZ4o2sMS+a=3qBH1fsnX)C6p`;KIo_fl1^u{GWLn}U|*Wb=pRLjG$=6`9wz(A zw8Yf;+u3T*Jbc%Dyd-x33ZQBj-K*H44#Hk=R1vBoWyZVVAC@YEs31$EB>gA<5(I=Z zae2FRq@{-lC;!=RMrK0dkP}NU_V0cHF?YCtS3^xZ@b*9bhJStew^P7ovHel2{O_M7 zWBL$=E?4Vz>fa28_*G@_upe;}PKf;T?}p9%8YoOO`3XdQ%zrZ~nH)4v|4h-pn?uB5 f`oBCyzb}LZTA!+THL|=5{&z(|MLtK?^xppha^WPD literal 0 HcmV?d00001