From 1580d6c45867ff7627f24bc0545cb84638181c1f Mon Sep 17 00:00:00 2001 From: Paul Albertella Date: Wed, 7 Dec 2022 23:07:09 +0000 Subject: [PATCH] Software development process model Signed-off-by: Paul Albertella --- process-model/development-process.adoc | 127 +++++++++++++++++++++++++ process-model/vmodel.png | Bin 0 -> 71482 bytes 2 files changed, 127 insertions(+) create mode 100644 process-model/development-process.adoc create mode 100644 process-model/vmodel.png diff --git a/process-model/development-process.adoc b/process-model/development-process.adoc new file mode 100644 index 0000000..1b21769 --- /dev/null +++ b/process-model/development-process.adoc @@ -0,0 +1,127 @@ +:doctype: book +:author_name: Paul Albertella +:sectnums!: +:chapter-label: +:xrefstyle: short + += Software Development Process Model for RAFIA + +== Introduction + +This document describes a process model for software development for safety-relevant systems using System Theoretic Process Analysis (STPA). It focuses on system development approaches that emphasise the reuse and integration of software that has already been developed, specifically Free and Open Source Software (FOSS). The description uses some ISO 26262 terminology for illustration purposes, but the principles and overall process are intended to be generally applicable. + +Refer to the link:#glossary[Glossary] for the meaning of the terms in _italics_ . + +== Activity layers + +Software development can be modelled using three layers of activity: + +* Specification +* Architecture +* Implementation + +Each of these layers also includes <> activities. + +These layers represent a hierarchical flow of information at successively greater levels of detail, and correspond to the development phase model used in ISO 26262 and other standards. However, for this model there is an explicit expectation that the activities associated with these layers will be undertaken iteratively; the outputs of one layer's activities may be refined or extended following work on dependent activities in the next layer down, often reflecting improved understanding gained by performing those activities. + +*Specification* activities are driven by communications between designers and stakeholders. The inputs are elicited as part of these activities, amd may be poorly defined and distributed between different +stakeholder's mental models, although inputs relating to existing materials may have more detailed specifications. The outputs are: a description of the _system under development_ and the _system(s)_ that incorporates it, in sufficient detail to allow analysis; verification and validation criteria for the outputs of the _Specification_, _Architecture_ and _Implementation_ activities; plus any additional expectations relating to these. + +*Architecture* activities are driven by communications between designers and developers. The inputs are the results of _Specification_, the team capabilities, and the desired characteristics of any tooling or +materials that may be used. The outputs include both verification and validation criteria for the _system under development_ and documentation describing: the components of the software; the interactions between them; and any additional expectations relating to these, or to the tooling or materials to be used in _Implementation_. + +*Implementation* activities are driven by communications between developers. The inputs are the results of _Architecture_ and _Specification_, and the available tools and materials. The output is the system under development, together with the tools, tool integrations, tool configurations and any other material required to construct, verify and validate it. + +== Levels of abstraction + +Activities in the first two layers result in architecture, design and test documentation created using STPA (together with other methods) and specifying the system at different levels of abstraction. These are organised in a hierarchy; higher-numbered levels represent abstractions that describe the system - and specify its required properties and behaviour - at increasing levels of detail. + +The levels of abstraction are defined following these guidelines: + +* Level 1 is at the level of the _target system context_ +** The _system boundary_ is the at the level of a _system_ that contains or incorporates the _system under development_ +** In ISO 26262 terms, this will typically correspond to an _Item_ or the assumed _Item_ context of a _SEooC_. It Identifies inputs and outputs exchanged with other _Items_, the driver, etc +* Level 2 is at the level of the _system under development_ +** The _system boundary_ is that of the applicable _Element_. For a software _Element_ or _SEooC_ this a purely functional abstraction +*** Describing the most important logical / functional components of the _system under development__ and their responsibilities +* Level 3 is at the software _Element_ level, with concrete components +** The _system boundary_ is the _Element_ +*** If the _system under development_ is a software _Element_ or _SEooC_, then this will be the same as the _system boundary_ at Level 2 +** It distinguishes concrete software components of the _Element_ +*** Components corresponding to software packages or repositories +*** Should have a complete inventory of all software components and dependencies at this level +* Level 4 is at the level of one or more software components within an _Element_ +** This level is only needed when component interactions identified at level 3 require further analysis to identify required mitigations, behaviour or properties +** The _system boundary_ is a subsystem or subset of the _Element_'s functionality +*** Focussing on interactions associated with one responsibility (or set of related responsibilities) +*** May distinguish individual binaries within a software component (executables or libraries) +*** May include sub-divisions of interfaces specified at Level 3 +* Level 5 is at the level of _controllers_ or _controlled processes_ within binaries +** This level is only required when a binary has more than one _controller_ or _controlled process_ responsibility +** The _system boundary_ is a subset of components associated with a given _controlled process_ +*** May include related _controllers_ and/or _controlled processes_ + +The required behaviour of the _system under development_ is specified at each level using control structures and _constraints_, which are the result of analysis using STPA. Control structures identify system components, in _controller_ and _controlled process_ roles, and the interactions between them. A number of distinct control structures may be specified at the same level, and control structures at higher levels may provide a more detailed description of a _controller_ or _controlled process_ at the preceding level. + +Test cases are also defined at each level using a _scenario language_. These should include _fault injection_ scenarios to verify the effectiveness of verification measures, both offline (to detect systematic failures during testing) and online (to trigger mitigations or safety mechanisms during system operation). + +[[verification]] +=== Verification and Validation + +Each layer also includes _Verification_ and _Validation_ steps as part of activities, or as planned activities to evaluate the results of a set of activities. The recorded results of these actions are important outputs of the associated activities, which are used to determine when an activity is complete. + +*Verification* activities evaluate the results of an activity using criteria specified for its particular context. These should be automated wherever possible and may include tests of the implemented system (or its components) and static analysis of source, as well as human review of an output against a set of criteria. + +*Validation* activities evaluate the outputs of an activity (or set of activities) to determine whether they achieve a set of objectives specified in a different context. These activities more typically involve human review, and the outputs evaluated may include the criteria used for verification and the results of verification activities. The evaluated objectives might be: + +* _constraints_ specified at a different level of abstraction +* requirements specified in a preceding activity layer +* the expectations or intent of stakeholders (when validating _Specification_ outputs) +* the requirements of an applicable standard or regulation + +<> illustrates this using the V-Model, showing how different activity layers may contribute to documentation at successive levels of abstraction, and how these inform verification and validation at different layers. See below for a diagram key. + +[[vmodel]] +.Activity layer model +image::vmodel.png[] + +* Ellipses represent different _Activity layers_ and the associated _Verification and validation_ activities. +* Boxes represent the outputs of _Specification_ or _Architecture_ activities at different levels of abstraction. +* Solid arrows show the flow of dependency between development activities on the left, and verification activities on the right. +* Dashed arrows show verification or validation against the _Specification_ or _Architecture_, and the corresponding outputs at different levels of abstraction. This includes: +** Document reviews to e.g. validate that the _Architecture_ fulfils the expectations documented in the _Specification_ +** Review of documents to e.g. validate consistency between different levels of abstraction +** Review of test implementations to validate that they fulfil the intent of the specified test scenarios +** Testing and static analysis of the _Implementation_ at different layers to verify its behaviour and evaluate other criteria (e.g. code quality metrics) +* Dotted arrows show the activity layers that contribute to architecture, design and test documentation at different levels of abstraction. + +== Glossary + +The following terms, when used in _italics_ in this document, have a specific connotation, which is described here. + +[cols="2,1,6",options="header"] +|=== +| Term | Source | Definition +| *constraint* | `STPA` | Unambiguous criteria pertaining to the behaviour of a _system_, _controller_ or _controlled process_ that must be satisfied in order to achieve a goal. In STPA, the applicable goals relate to the prevention or mitigation of _hazards_. +| *controlled process* | `STPA` | A system process that the system's designers wish to control. At the highest level of abstraction, this will normally correspond with a physical process (e.g. a braking system), but in a software architecture it could represent a subsystem, a functional block or an instance of a program in execution. +| *controller* | `STPA` | A system component that is responsible for enforcing _constraints_ on the behaviour of the _system_ by issuing control actions to a _controlled process_ (or another _controller_). +| *Element* | `ISO 26262` | A _System_, component, hardware part, or software unit, including a _SEooC_ +| *environment* | `STPA` | The set of components (and their properties) that are not part of the _system_, but whose behaviour can affect the _system_ state. +| *hazard* | `STPA` | A _system_ state or set of conditions that, together with a particular set of worst-case _environment_ conditions, will lead to a loss. +| *Item* | `ISO 26262` | A _System_ or combination of _Systems_, to which ISO 26262 is applied, that implements a function or part of a function at the vehicle level +| *loss* | `STPA` | An unacceptable outcome associated with the operation of a _system_, involving something of value to its stakeholders (users, producers, customers, operators, etc). In a safety context, this normally means loss of life or injury to persons. +| *SEooC* | `ISO 26262` | Safety element out of context - a safety-related _Element_ which is not developed in the context of a specific _Item_ +| *scenario language* | `subplot` | Language used to describe a set of criteria for verifying software behaviour, in a way that can be understood by human stakeholders and parsed by software tools. Examples +include https://en.wikipedia.org/wiki/Cucumber_(software)#Gherkin_language[Gherkin] and https://doc.subplot.tech/subplot.html#subplot-input-language[Subplot's input language]. +| *System* | `ISO 26262` | A set of components or subsystems that relates at least a sensor, a controller and an actuator with one another; +| *system* | `STPA` | A set of things (referred to as system components) that act together as a whole to achieve some common goal, objective, or end +| *system boundary* | `STPA` | An abstraction that separates a _system_ from its _environment_. System inputs and outputs cross the system boundary. +| *system under development* | | The _system_ that is the subject of the development process; this is typically a software _system_ (_Element_) +| *target system context* | | The *system* or *systems* (or a specification thereof) within which the *system under development* is intended to operate. +| *Work product* | `ISO 26262` | Documentation resulting from one or more associated requirements of ISO 26262 +|=== + +Sources are as follows: + +* `ISO 26262`: https://www.iso.org/obp/ui/#iso:std:iso:26262:-1:ed-2:v1:en[ISO 26262 - Part 1] +* `STPA`: https://psas.scripts.mit.edu/home/get_file.php?name=STPA_handbook.pdf[STPA Handbook] particularly Appendix F. diff --git a/process-model/vmodel.png b/process-model/vmodel.png new file mode 100644 index 0000000000000000000000000000000000000000..a41b714de2fb73819e8bb337e55a5c1cbd83a929 GIT binary patch literal 71482 zcmaI82RxR4|2}+?jFPO3D3MWFq0DSah$hM&q3p<>MJ1^ul@O&uc4W_xBr9c;QAT!F zna^?deSXjX`M+NO*Z;cj+x`7=UFY>VKjZyAj^lm2&(M=P$F^M&gQUQS#v4# z@OKRlb{2|X;wt?d-E?F`!t%|CYhw<5hrJ~6?Rd>g_<9Qb_m89sva|p5+hZqb{`+M! z7sIR${;?vn#WwfGjT_cfc6N40)zo--c|C{1!ote^RzCO`DJv_VIu)_x>FDTq`SO9t zI?jV;q$QWDSFfHp(IA;8iZ_djitgWE$6vn_;35uD&v!S)OO#`JN--&&@D(`Ht8E`&op%sTeq29Sy`Fx$WEM`P11?GtiPV58?WF!pZw$r8y6RsipJTq598yx zxPMGclsFHl^!;HKH7W65d#dt$Pp}5>gIl+#Rc^({2h5MQP*PHs%)Wc~&P~=>Nr~ix zshiiOFp#4rHFH_n*a!#+NF6%VY@7S**JaAn6{QC9l zK{nc{p%^Kr^_A&zuc3Qfic^!5;q;8GtOE4Zv0O&R#v9AyqJ4j|va*id+ilL;FC(un z9&La5vh3xr`}+R$^z<~vD@w^}@JCW@+xgYv;x*&zBl035B7K90eRhVcC$;|l^XKW) zrv>*mCZ5ViX}&t0QX&xb__32%{NUhVPmfXB?}69PiB}~D*REZ=*x5s)&KcBqZ0Jc! zN=n!?{s>nLSTD)U6b)Bbr9LbvX(4d=^5qNV{%ehKa$Z9o(|x6O?III4=H}+&(Lx6f zX!0^*il?Wh8aXxwYr_8g@tlwf@#E*=;o)UGe(cz>Bzd|xoy_!f z3<(?N!Gi~zsOWx#d(HGKo0*y6H+VTX2#2euzIkJDkPSPGYWr>s=gN?#bn zbc~E*HF!nNzpZX)2$xde_jYJ#MBR^|O;mXuk(8xcCMG62I&^yM z77HfWRo5%o>uWOP>&F`|vB+edq_l9_B>gnm}>fV!@ zSY8;H^O&l(C=k{1@%CO`UjF?-(d#$w!GkByo;|Crt!-dnaPp*cMIf0PkIUEOQy)Hj zD4C_Dysi;Edq1J|tiHZPv^IIr9ubko6?-cyD{XCBy@s}L-&_tDZr^^7<(QO1Pr+<| z<#hu)ET_fBg%Z!%+)J&VLxKkm?Bw9!Z zi66tm);2c!=gzrY9{%*{)0;O3u+a?-4f{MrMKhTMboK=AW4;|69E^|P6&ze0AFzJO z(z1#}H?bwbnnaqphPj&I5@OjJlh~>4=~6Vj|qoSag`G70lym?bg zL&J?(m}9eWath`sIoQ6=|MxeSO`jujKFgnvaW%%cVDDh=2I7+B#>)jvYUL{w$V1Pg1H?<|8R_%`Q%MACKh6D9pD1{rflj+1j7kp?kaK zZ#y}X0!_jz%^p5_MF8XGl{M*T?9(y1Im?(y)I^Yd%LySXx-%FIhKnG7*gMJ`57~ z@@JS*shk{R?+tFSW@TX+UTq&~ipPNJKYj8Xiq^*6yngz0XNbz!x;+^wA@%T~Ls&oa zeEDp}rdXNQ!FAf&ySpNzqP~6kvh$EFz5OJWk^n{)==i0hW1o=FXDe|kTDF6uriiA$ ze*F@jk|8oXceO<}?Y3>MSFU8$gkiO_A1G;Q*&*p*n|caRD~VEKK;>a|R{no~^U2Gv zwI=CuDf)l@_|fz4?^nnqPF9FvxP{nQqa^_ZlG2@#b)TD>n(FH68XG^X3keH{hlLG= zTjg{jK^|Np1?CYu`mSNN#Zg29+>)i`-XNuum`=P}Tf0lVa|^%0S{whQW4l+ zym*nCYG-DakeFy`Yiny|g{&OxahWtPja)yo73mAH8HZpgB~H%c%b1(Iyu7ioF>-;q z`M{L!cHCq>=3hV416dgaRzcgUHB8g!0Hp zoUrMh!cFxHB$AR7wk^^~?2{+A=%32_NIEGY1V`2da}*{75Hq~tu{hCbS$h{}i97h= z!-sb^E}ENj9+cX#)+p-^haSm#}kBgDkSfCz5k zb?=^yc(l5@`c@VpgM7zbeJN!4YQJZS0Sbt%NMI#QWC=`4e5B>K@87F9I85HSL3!fD z2_PxF1O)}z7Js?MG}hm86rJ>9|b-|NyPnys}#eOnKZHP;%KdVfQjK6h@%v>NVf zeltFgn`#2US)RXi<%)Q;wxona%n`5OUGMB@D9Ew&%?c-J0!>7vq@;LxtuV81-@f%6 z0l-V(LhP&5yoP_z$~sumN|w-z87yTCt3j^x`ZHs$q4BZy9@o*MM=@WD{;QrPbN^uB z=;1#zI;6nGzcT|>ScivEQ9v<~-S!Hjr$M~;b zGmV=AS?GZw|9w!^%Ialt@d{VK>hsLZdmgfQe}(RGO-&YN=Ff3*kG1)ApB}n2)l*1E zN5{Nn^K=R64;R}m3U7AFm~Cg?5*Ozo1_W$y^5jXRjD&>#`LWjRyN@I%Bm{bxkTAvG zyIH~(uzt8TfVdJ@tOQB+1cE3q!S(CcxfFb_QHw40G>Q~LVXc$3S8g2fBzWp!K+uV zJO#*?843hQGb2BLUd0t$}}m(DROmpH!1PV&dZbR^9oWRHiX}& z`g&yJnMPu1M#rwWx{8{Xtu`rcARQqhjE;`>$1#k?U}23j^70m^dW#>67$aOBIBXW2@G3cmW}C`8=FK6Pll9d(U93KG>G|`WfTUZtZXJqa#s`|^ zW@cxV*-1srJxqV%agGp^@v>GtM8I}H+(W@9fz{%4j!`3wXB!BygoV%#4iPUVCMH$t z2n}8a28Q7Kcp+v)Yd^x5;haBwXur5AWBQ%k5$}0hKuIJ$%n}Y9lEC9fk3PulCkA`3 z;Oe-Zn_DgbK}Lp1U!mI${>by|rU({Tk>rdF>udvjDK+=b@V4gWK>9Z+Ddq>+V$0Yg zGzd1boUe6*9ypB{%8ngT5fKrO9z9wXManSxF6g-2!g&H$LkxcW?-d`vu`sSb(S#WN z@bP0;eKm4&@>mhMXl)i27XHXOYHp+xdp*I$i-Xm!Wp`;Q6JNikS>(}ZO zL4YoqSqgGx%s9dVCNnAw`QpV39*_D`eJ`)S3Ch>$cF9t(O5n}{b!x4|RaI1U;$$yk zpAHO&`7OIKh6a0_-gWlEg{K%$Oib8XbWF_3!g%|G2aE@zKJAh;s~}yvbcvmv9qXra z%+$z;vpd}j=&?uZUh~*|SJ#DL`VntOgwN}hm>UscVPR3xT3LHe#AaY40~>AZWJLFs z=S`xveKylH0HFj-!$yAn8nA9;WQ3KO*-U@F&gw0`GHFhD@7^k7X55ZN`+}T47TG;M zXb4fl;Kchlj!?DJfVoIMZEcc=4jnpp@Zh0C)oZ)or<_STa^%ReLm@40b6!b^WxOVg z70I|fU<1%${>9NS{25ViwlVdvHopW=A5y1`j0_Sa4qjnlAwnlLH`WNhPTQLC`ZYiB z;6k%>`*e2w+qlieMuvKNAI74h9zHZ{4|8>O-MV#av^Kwr2Cy`44#-7Ux2dDU^W%N) z>y+DmY01A(I86f{Ha|ZP!ZkndmPY!sILV=+ar*R^=4R)a{>oVYaxBxeYbv_MQ;inc zWgxfvX@AenDf%rxeERhExhm{-kUcD^fq6nw(#_tHUzGNe-L0*2UsKL3P4&izSyDPF zxwwewg%P2U#0nrb(im6lIcwqP=Xd-#O^8aRT;c{mbJT+ezXz(Q(w5>MJ;Huf;$;M_ zvA4BNPD!aNT+T>K>v46o!%AMecC9DCZ+%q;CrnT~yn=#)tgP&T1HTZfkfD&#wY0QMO-*%moj{AhIsjQpy<-j>hC>md`A>LX*0$$}ApF`-%<$!xE~UJ9an0lDWNXX;GM2EY zXU}#6?jnRRG0pv~XT^q4RaM3EGBHIm>{YkDe0lNJ%HfhH+SWQcjZh4bJQH8M0RDfX zjYR)CG&B^+9j|B4Ol*3m@OGSlEp&7rrtWeFTUc7w-eFfwY;go$#S~#<3{>3&Lu-tY z${b;yC023N-?Yp(^v)gMx#1Itt?urU5gLcUi>0Kvq#S#)%&WYOHwwbbAPoT7l#aiA z$;%&^lAa!3YKJ}fFZ-{)GdW2dF*U%8n>Q7qF%%RSsHs_D?mBk3NJvP~(9o1HRiAKh za6l?|*XNa$eX99NQ%lS6{P`1cvfujp);$!W!3odjSj&6;4n9M9U*lyclK@!5A0!Eb zh%AemEtZx;I^Kf+27F*?`g?mz%h>$68<-V)`w8NxD)>H$h*0Kbyh+P`&3M=JP5IoS zBH0NQ;Wn|v7F+BKup7J(;p7*eUfP~c(P6)Mb32y`rdm}MlT%+?YlFREXD8<}sHUn~ zRpvKPZi%Y{oFh)-J&B2lo%V|z*_M+N#H&lrEh!_z@z>WBgeWlC6=?v}vuBM8ul&T2 z%~Q=V(u90A32SYH-SF^+H|J9MPduHE*_4!;np*Y#{cZ){KR@asZ{OYm3`#{sB_~(h zl6cIc`^bmgchwV1{ZgNe&Z_ybjt!ZGG4wsbn(+eueo7F+Knp{^ii7cva^rt z=zM4sA5`awK&0~Z^D7o|Atu;OfhBCm&Yj+?e`W#RF&T)=O>uJhrTQs$moHECmHHs3 zg7bj1V{v_ad@z1t;dBwrVyBOvK6zuGB_6wnqk-^%$UM>zBW2f?mSK?cc9XXz-~9&< zt}Oie#v$d%%)&wk;4%C;8n>rw}=6f1BJvKHCaP`NJLjmi)7zWFb zmZm1CT@IjLJ?YN<`_1`I->YkCipA~z4Lfu@mjb7(+h|+5AtD)&jf=bc`cExP7UJzD za&o|gTC;<%wWGz6f)I|`b~T%TWpZDlr64nJpMej%FGQe(K#@o{E+B1Is_%S**CL=2=VpMSQ%$Z2086;ONt$Khi z9MAZ}D!hyvki9U69$KG>agO?Wd3izR0+U&pYf?0%S%G>I&LPzpuegEp4`zZ4g;cWi zH!iP88Q%(Qw`tQRY(S)fVdNL9I>r*m^!_t6Sq5piPMoyM;LrNU*d{qPP3|~hVq!sZ zB;)V~YiLoX#qN_(vCba&2I^8@Z};ip{&>XzkoSFpf-9Z9B-$XQ`;Q-ki%n-UnG&O$ zk?XK`2S$$Ad(5QVKRqD!u7`+L^z_bHLBMC6-*n^Rwzjss7`dum zV;YcasF7pH7RYYcc#AVLS=re^ju)4(Z-BGpT!%k{8{#$q)Nm&MV2Awui=<{#wOMR2cYf@QynN|lySC5qil$0R2|kT|eo+<3%A!UE&Qm=yl-CD-`~V}~yl_!> z29X|jwu6;*ZgzHTbkxAmkYndg#HIR=AF+`?)zvNBXBQ^Ee3S>ob7OU`2{77!^^cfM zW9&8#Nj5gN{- zZ9c6>w?ad&E*w`bKC7n(*gFe|k4eDs1|*gg7k~c`50c!{KYh~V;)=&@F@>rDtm^6# zsI?^WS3CB$POP*GZiYXy5SKg=BYE{wexaRU5aQA zU`TrP%6#i)$Z3Odti)8xwjwypFDxLpNC&L1V#x38+Ev(_6Cpd8^%h;l*$7x$XvZ*e zb92czZ7Lr8?Kk4lP+wmUa-RO`)xt!lL_oj>v>EJf1LkB_ZhC42cBDZ-5udr?@Mq8Z zKoTJh&NOZ%zOY*^l(BuiuWibe(FuNwNEhW5+Nj>toz2%>)rj zC_Nx3h*<%5gpL9xKu=GfKxF&V{q2B)nMQ?-TwJIaK-9at zidKIPaIv9Gl6>$$;`oodSUhvxDmhK{(RCXJ?@_a>}{WehO4j z*Vdk>4rQ91opqD-tG>lRNY8!F#KlSSdf@R$WHy*M5MT%nSl4%d=SHB7;F!osOBWOu zw}1P#W_`WfM|Y2afX({qUl4Bu-Seg1hwp6u)r~WWne)IlbsKF)oV;Xf3(`hh-2VVz zRAa0R#0!w=CklSD7`hG zZ`1M-Y%hdMeqLUz7c$5M;yRQITsZKNafxTk*RPoA!+d<3af`zU=o-h5vr9WCgoZ-@ zQM%bZX2z$K)GB}ENG#+iBO?n73%9FR<)E}&#jb?vh6p+ z;=)2@XH`8-)Y`v&dE`IrIGLkM-bi{tYjrGz=QTtYv7ksyYhixvs#iPsT#($msDgmZYT zEIN>p1%3a>G=JjIPKUO%^AN9~EkIy>FBkVc>d~Vc9$Vz&0JbJLp(x0!fy@=S41o-p zlzQ`lb$Q4N&&)m5za*z?;wZ3`hm5FKbW28%%8nbdl%q~r(?6T-TA6(wpIm{V;0m>8e+RWC(FMFcF!AZ~4* zk&u5-i$En}{XET{U`Q2E3$MDl0j+58o*u8PHkCZ~>NKi;Z!$7=b8^yNB-w^QOhUv0 zdO}nn#A^|eyB_N0KSx^UcVioFhMCW9~!mY;5z|4hNJ$gGl_Q({63)Z*C@FAKyq?}cCBPis6+dk@IQDVV>f z0E7VtYTHXz;k&YU;`s5p4VNBG2lpfRLtYRN@(-v2V5LC8=SlHT*PEHz|n%zmZnfQ?OKln7+VG-PCC={MJ2Fm{yr$%UvKM*uCU zR{Fk#T86SRAqft}Y1As~=3kxpiv`xbA03UIBI(c-?7>rhKR#ZUKXNk#1s#`y(b==} zIa!b%7(-vac=6sMyI?zGs2cdx!~lY{XQo|uceiCzo&n9*_V$=3PY(Ie1Sv^h{lz>Y zWWbkosg-|<4We&#b+vWXBZRP`9}>UF0Y;fvSQ_ift(Df$f#3 z5vZp?0C3Wwav+1FDl5Pk3RYu4+qU@5?0>ufdNkD3)WjKsY@3{HJ6Ih`&5i9268QSn zD^$Tv3$KJI?YXZ3?%5dsZyz?a1esEdS;SLrSh_SB7e5hl@Y7sPY#DA-SVqa%xw5t{3 zC+cP(QudNDm1gvzYBV&VHcijK<8wV9Sx1o~>mDM%-@o5~XU}^IDyqG~l8!yMs4aO1prMdlN%2_9;X+YY4cvH)88>h5$dxkO6HWKK-zyL~cKq_9d zgCQv?mtas}kwCE!Dj=dMp_H8jtyNKZ515&~Sqw-s=|qhBtJ4A}o*pu*2tdq4u z6U&Z@9RBeGUv(f#^Z7|?qu09ecj+}XH2Ud4&W0OVxL;xqfhft`3TM6y%AMBqGIblf zxYf^3QTYB$teIHCPtAm^tY#4DmBq=9B$5)V>*iIgkT_N%{wYB-4vxCS8fI>XM8AgTI=#dnMOBR9HGcqzT zgOz5y{QOh+YAh3?O?qag)2tE7(oxz^Rnhm)!M;$8k>qy_;SFF%%BinM(A^VX2cZhk zS%@XI^9%*KIVxY&&#{n=m7r_0=$DZE~IQ+Ra_-{7vNxKf;2@E7j=9Z2Ojf`-~T;Yw|MG>Ag+&M27Om2+n?1d~ z*e@s>R;`@f8dagVvAUO+H`i_KONMS*AwI>*$_oAGpF8Fh2rA@AK&q)G3U0jTG4cDCjf%nY}MiCjtt<+VX(K!iMVnkqG8@Ja~+;>Nl14%->(h zf%Aorp1Mb0?}C&=SFXvS3PPSIJTiY*Rz!`99_BFXHsxQeX9;fp6eZZ((*vym{)tgH zZv;UDG^!_Uo0-9v;W2T|{Y@XNQiF2OWee1*Hz!kZjyDSRiOMr%D5 zDRmwok7;mRB&G+)J}x#EmVhF@{0%6~Qt)sD1_qXtlz_MbYCwntCH^%w)?4VB6caf> z@D0D^`9FXDAb3HFr{22Nqvm`c5(@;xf`Wn!TTWKyEf*1?{0bOHOYuYXLfHBbS8hXe?0X-w^~~whKn{rQAFY1FUjh7>`TY58yJ>*ASO;f2PzDMb03N~j z@7=qXo$UhPopwHlmya(bI9UA-8^kAZ@A=Vhsrnv6wSfX4@3>h&XY1M+eR2@8cm==9 zd7`RPAM5Mqe*adXCR`j~Vc0W>s;K>fy(G1cVX3Cp2lzTZy+fets6r_I{rd{o2ZA6b z4*cuz)=_3eI&J=(s6*a+p^d;Wus)HuYt$cRmM|9KWq68ab%6hsiZQjd9UTSjy)DK$ z)+a11Ui>SkWWe$isYz^K=jTK1&8vmJk$vx;F4CrCSb}16 zdppcf_5)qsInhiw+K(e6$Jga4vR*gZGvSdv+q~7tafobeqqU z39)FYs}Dmh@D%t$m)tP^6KlccBCK&obV5`MDu|#M&KWcbYHkQu6Y)3bVv{H1QML|j ze3h8ks=D4fCJQ_X=@+$}f8pVAnI%FmlaFlzpV*!~&d5#J z#dW6BaSAZA*Y7P0*UUE6us;19lCxESbadc)|9?Q9>p{132{th;`)7k_7s%*czk_rC4C~`j_ks-3eocW9iM1WAneI}&%X|oT^b&q)$Ojk zhldA><&6gG)-kuQhnFb&$^**XCoiC4B~(Y3i@la`6q>RsHGw+fH1u1(eXCiYre|V; zG*cxPr?5Gd?0r>L;r8_r#W7UNgPU>EilnkP3VoJDY*aVkC_`nu^oT~F|M9j9=g%YQBT^#peHohvxC9Kt8AtiB zxKU0vx$}Hh!(r%5NX^h~fWJK^I)Y9_24EvBY28vAgklD@4I&r>x1h;n{RGu8DDTX&OSzVuH`sxDOIn_s|EhE*JjJIZ?DtrZGsfL3s5GWQkE6LoyJ zDTft)$8Ws+Ug~p`esI#)BL-X#PL{iDV%K~IIxlAgj8r+;5BC*+zdsb z(_Zp_aB6a9=E&X34=T>y_SikXzP^YsBNPXtwISV;ZK8yh^0wQQX7z0)i;T4No?z+2 z+T&45D1}0ng?*v1aoCYUPz4FT!1Rm#+n|t;%_{p86xMB`-S*q>Hz;XrtW2Sh&fMdOEgg_QCEMBQq^R5|7jY?|GO3aeSdt6pdcq( zITACbw1U)jAr}f(yu*Xd6{6v6Viv#&J;&B1bQ6k-cCJ}v`7g0aJNF|#pzIE332JYM zG#QDBbAvToao(+0l!XlQ?yPXPkpa3YQA3*lUx+qqvt9NR>;U-cwrvXs@O9leFf;_) z6iD(^#iPp(PVjya6+>`BgKUcs=tZ`+`&5!Uy_FRspFZvS`qj$9LL82lsiBUn7bt^G zU5E1BvmJSyUZta}sCWCyY3#~@D~oz?y9N_(B_JkCN5_ohrO39jw6}Kym`;=<3t(00Q1hOB;K{>+PF2zo2|%?_^s!0ao>~!N~uMSqz1UG}aC22?hUg0>F`*Uk3{e%1Wot>QvTt{>e2T{(?v*eMi zNSh3I+diRQ{q|!06K#H&UBYTEmp;T~|Bx@Z)cV?b;mC*D+7VzFV}|J;KfVr1jbOSu zq>|Wu30tV=$S&?+02LS_yzUL{4uEWj)AE~A2-Y1`vP)`R?%kYLef(i)eZ|3P759Ym z;JFEKv~BQ1g!G5@wl?>cyXpywz_1Q^j-LV!kfr5(v=Yy*zu$YK&I+ZBGy5JQ$SIU< z^t|3fPYpsK=Q(4R<8THQDtJ_+w?iCfP=WqL&24|F1L-vHts<-5Br_|kN1NfFi`P+B zudL*jkvXrbY6($d=gyr_fWUVk68a(wb2MFBNXnL~pG3H#e*Wx8`R;L>n3xz;Q2^g^ zYo37XnkRZ>ecvmJ^n;BSf9?$!N=LonB~ufVvW4*d8oZ2gI=Bm{89PyfOj@<;ek98K zp{C|10e&(~zn6H;{Z~YnIrFW%PeZE0QHq_74GszO@jKZDX?lZRRIsU0VlP=_MMRup ztuefC;Z1V#jC$U0zbY{kR90%17ILO}r)B|dg(+z{B-3gr|F=m6o;0LAC@y|ETbXkR zkfh^-3k7NBMeA5Y?d+B9JG@~PRH1%+{8dNe`38P5GiVC*D*XKX9jf;9t58S_Ewc)v zIx69cKzv2qfAHYTCw7SSz{^i-P{P~H9o$fEKYb*qjicHmBPAtt+sX$V_6bQ9dwU`G zmkVCx&>YlwB0Qc|Kp|vM0Z_awmaRwU&XJ}*`1#TYt+0)(7XeB6sPcGuds}cZ{3`Jx zcUV<<+i6dE{W-XEYN`)}=-_5Vgzjz)sU{|nd59DU5?F9v#xa}J?H&n!2wB3vXJ%~k znmI`hfCvT93Z1$BHf{EV8lJ{ztMApaKT9SPwJJAP*RZ>HGv2(x6d8}&1%?`875ywx2YhzZ4;oSrXGW()Gc_X63=3H}RgvVe_sXwpb) z^eVAY>)9&8(12>l)?oie-hAF-3m+hAp{R!-ZDKnf0kas~dHl;JbN#_=QG=!+zb;@J zywwY$Bub?q-bqd)Js(7Q|Md$DybpnG2YTI}2n|TMyKG;|9oNv1mXj-oEQsBVOt2Gr z$nx|XWlWvyWB54pzF6v>G&I!OLoa*q&5{2UU*m|=HxFxtdPpUeK~_rZ9G%@T%CJKP zVPvEn&h@1>feqIm9~q|jt{0%x=)!WfGQ+`AaKIVqcxr_PVHnh*Wb)2#d7P=8VX!Ow zEDa~@t>=@HOP478JNqFx1T2OXg1@oMVdf{`-m309m6L;-cVdk>BM$V+d5d(;2}ww{ zgCiqO7uVLOf_j-M9?`!#xevUH7OpX4m506SKIFnMUR7Ci{SK*iE+fS{P)K)up)O0k zW$_nlu`A|7)qWb;W~iHiEXHNN=i!U4vl@(}j%l#A+}juu64Jf!28#t|Wi7}#7$(K% z>vO_57$IiM787V*EBygeG$;wc?*(J(Mw(6QE2!I%Po9hp3_x2Kut4$myeRIpQ{+>3(b1w%vld))s1{uyh70wSyK#D2@m)4^~Ks} z&9+fr$IBQV41-^cuZBPgpxLqojtyt7A9i{o+D{I0!{Q=gzbo*&K5EJw9CA>>OPG`s z)x(LsA{XW#eD7XnlrrJA=+Z)C1gdPY&ne`$NtTqsZBSpYg_T0F%GlVi{*iF(-B&1& zq^Aq3d~9!jthC3h_%cuM|B;x@Sch-?nXSU-k@;1gL+4OCb}U}@>TRVx!66~$WH9g| zcH!DkI$1&9Q670@sI8?18xImIGu(5Gj7Z@Z-d#S2Hwo^aZDdMLP3?YX_ZW)~Eu)~| zPcRJ=P+L#N(%s_6qNa%b*r->y?8~@EUmlMfbz8=j1M)s?Ax$ofw(MmII}9lj_F&wn zw>&f`uo}Q{N0YhINy5jGlan2fggx3~6K!NGU1l zdH?>Jgnt=KT-feBJQj$#4S89%(>~LZV9p469hW0}o_=RSrQpe-OJ5-86z>;p-VUe+ zf(k@~LyOyJ9*3Hp30DeaOizK|gwX-x2I9a8m2nxQfCvM=lXtrxpD(;Qm}Zbo&Yg?u zC)UDc=tHU39O2n|`SJ&_IqoA>4`u#O@4I?(FP(wA>pr(C&)&Vr^4Qu^sMy2q@cSA1 zoai|EfRO?nv!g)c$ zZ~d@zHxua#p`S%$e(o+$5nM)!iW^wRBAaH$(QXXL+35b8D*De%wmXP|OyFKu*Ev-3 z`{RyooukOAi*2Cnu^g8N@Uq+JEBo2IdwPj5~MUroTMIs1DYGT>^XpujQb^T?b2;SiTM{^*O**jUKtg zbE$f>3g3L6L8b(+1#Q8JAuL)hbFQSWeQ>ECJlKqC%-^;)Y$DQVGG-N}TuzxQ)!)B! zO&eWkwx2$bw!OkS$B_2*>6G+CA@X4kuU{u8cTAjzB-8g;LsRpLqR_s524%ipaOX5J z{&|I-q+qzIPUj4DL_p7+x<2VW-HWw3hRk2{J|)D5oSGXFE#M()2W~DF3HJ`}=!PgO zD?>d26?C}I#s+DXzcVAMa&oTXIPESjAmT)`masuqKYVKtvN56}`7BEi<#0@^3B=%u@i>XU<6M-Fv;2BPA`ZdJD{XEsxN> zvMp520-b2s4of6%d%w8&pFOHsofDWFFqq4bS%oQceTmHmzXObjDE6l<6ibqFlMy-^ z8XVwP07tL>Pj=4)bA(Z_8rr3ZaZ#{`$mI2HPaqgot2aez@Y>keP+m88a^hlUR(o~& z(xD3|zrYhkLvbxXUrI&8$fyU!<-EK$FaQ`%z&^o;po@y`+h@CG1YS@596=a}4zUnU zhTigk0OW^`28u?_jfT^g)#0qfU{Kj?Y!pE;3QMo37y$FjvAdkg)P)5FZhbbbe_=+W zN1LNVRI^2et{_=(Gvd{Gp-08VKJ7m!m&LImQEGx7|6g!kehtwm1Ck$jQpe>drJE(k zrG$jE)zqq+nznQQ7#gy)w~vjFSF~#rg5bx^{T#+rAW`6}f1gN2Ni*%`OJ*)EC&)L5 zt@iex3)$Z{HEra$A|L?Jmce(8nmF^8qee!)aQxxbkpt_*`gzR;l>NYYDmyzn(RYZ_ z2?U?H#YO9bYye?7xw#W*y02S*4i9I*&;-3mxbek@Ts<0?I#5a_+6aJFjPLIr&A}K} z0i}Vo55-6kj@>|=T(rZ2(H6Rn{Ht(k8IJw>HPw-=3Yw|LV}AI~|4+&d0^&!E{$FaY zDvA4Laxxs$hA6}%h(UgZu?!_%%hVxD*7bnl{|gj~O@Hcj=Cb;Q3(I&vOd~CAZSd7Y z#U=Lsvm;mv-4TE3xMWD`*msbZ8Wt7oZp_q=eJ02|7%zckw4=YIuwN@18*5F%yvTrF zW_%=8kQUEXYz^Yvb(|m3d6r^Q1A<_`SFw%FPV#Q9FIA25|P(4Ep8iW7ReZr{2ErA2MzBK2|t*cCtA zfUqm{0li=e?2zVxcN(4^*3#9@tXXqeq1?PV1UUuCO6SQzWi_=QsLEmYA_yX|OFkqk zxr=t+>FEIA$hLaY*GGs;2+yyhC2Y#zLqqid#_hO=yrXuIY;hMiwsWnc(1A*ON$X!> z`CmS;szbIxFv<@3?0pLm;{AII#0gc-Bc9G^ML`%EP4%!Nfa}mu>jWCFPZ}6>KsE(cqHU~LUY1O zpcb4A2ffE-`FhZ7!X$s?=O-NVe7>^uD3VGtjsx5~sDZ$I3T1aKoLAWt%Fab6Cq;|u zTc{j_-MZBur(=43@;3aVNcG-d9f;^CPX%Y%%uE4rFDmQSjj^Hd)lfk~f{b4YQv<3e z{(1Jc66xu?zJ5lX5&q^{yb+$}0!bQaXax55_8;zX0VP`Q+a$XyN^{%Rt(G~RXj5J9 z!}b5LD=3sfw-v#rMT~*taXYM8Q|<%rH=|h88K3S@Wh-bG-9cIxgF&(SOavI~+rF@lrXAA??rz-M=q_CVsgQgvgS)*~TE z*i`fH?l?RCj~AeInMN|E6y-e+k0p3a^4^9TgmsC@-s;9l&`-Z`*zyA{x?tHdnibFK z>4}(>fXdYh=spXc94WdR5^@x(sU9sld0^)_fnY!V64N$s3m&k0_inhd;OlepEA(sb z29`pf(jN%VSRNo?hv|Ab1Gs5WxgY!SgBL&mhIj+x-15+{uoyWHN0bUMlV*+n?fXSU z^iH21>|p|D0g4>23aiH4jS8U_kNt?=KpeAYL^sn|pvWu+jh+7J@nZskL2TS4oa^L9 zFC{3LiUKmS5@gHrjdeH-+zR$LhoL6|)mw<%m+b5?0!${WN15;S1wUOQgy-luumz z3QAaLxyR!E{P`1pJK1CCpF*Q5ICXV_&93(L`@iuEsPfD$<;KK(s%&y5GHE15bbChH&*2(FP2AEJ~2XE5?&$~P#V|7X&X1l#{|6=jwsFYkgjlyjfZTWhs0RCP zx46|uBqFHw$oL9ZerUkO>~SHQ7S1bXHa6;&8e&J27(-zaUPLtx4LSG@J3xY&0L^;@ zk3{0dFA;K=ut_lDiFsoqxw3dA4tZEZff7(XM;O8xYsYjK&%5<|U}Ismk(uCXLnlFd zU*B#lcqRfhG;inKH*Vg9)BDQzM>42iPp9p`07xKK*s}`|3lXP@sucD%B(PbXEqnMQ z*_oN)VttM-00Ds{M3$7~WVe>Wq7q~isHNDMT(G4pDEOnAfxV71QZCcV?nX2K0JZE= z@RjD{yNKr=0Moj-xds0v$!`HsgwYka_rKD$DKwn|2uA(=W}r4;6T&7XY@qUZeR(TgYofWG%SyEoqk2nQ)f zQxJ48G-n?@al!$;8&L0p#EE+z6@WDbGx9JlPX6kzub{SIvff@^$^z*zD47v;DtrQQ z8l`#o8Sx~H$zS56tGav@VxXsJivV*Vf+&hk*!S2|NN2(#_sNU!&X;|##FBy7$tlK=%~imD|xgwH_t3Az};<#K862$VsUYC;QZ*W>`Pg=D8wR&&J>7> zXc&O1WejBkWCM@R$WQO++m(3z!dJAm0q4L<05c23@TO>q+PXR#YXa_!>a@WF#r zuslSYVRSUWF}hYE)m*W_^?T??gUsCM5#b!sAqB27I6ck9%9`}z#UP%EV%zfKpG96j z{y|*aF4(x)*zgF8gV--v4iST_z+$a7dFNCLX$T<5gsk-R_a8olnNQrQ?+DDmNGn4z z=eXt&{&A4eNg*#MX9$N(ON$Hc29xDEvbk%^0V1dOZXZ`PD)W^Aibug1Db*;;EQsiD z_gb)k3=5mLeuh!#ty}2R@Njd3MRFE8!OSPB4b4ED4B{CjaLhu70F#18=Sne9pxr(SJ|Gso07l`0U_O z%rA^DVKw6Dxt6{93kLxaXjUh^eV?!}00RPw3rb_xE1yWayvWI!LoR`PrYv+JL6cNv zk&WPe-S0G1VCcl4Ou2~sIXPzt$8@m?{Jn&q6lx2SB@`QPZ*S<$81`W)scC1$b)<6a z-qzMu;HBGu$0Pi-UF82}sUY!m3Z?>&eDH?H9MK=0X$aE0I5~^VE$oQqd$i#ZT~#3C zD9*tVibgrWDQKT4OqJxU#P8OpajtJ@K+eU>59Nn&bqPtyX9vv*&kXD;XesFH9H3cA zXP~B-Fh}kJRzg(s^z=ke4Jxv5Ct`2HSNQblg``+9Og$nbddMC{MNK}WR4&F72SDjH z;FO#0AhJ+PWK0~iq+UJ@G@*42*B%}o##iI#n#}`r zOu1WG{lJ#RDn`b{Xz@hA=pzOd&&OxQyz0in568>X$rJ@ZULO!+5f6_Zg>S39y&Y%o z9*i>B!T+_8;=+DTH;?c~5=J_hgOOUW2SKq=et9LY9>J18e z*n7y2_#0>_s#Y3_E$C8$=@XK}WeW?H#1_KNOMd}K5~UiKSbaYk0R>cy*Re=L<{t5hcD>V#h%A$PXol8=(RCo zI=><{!}Oq8O?F?h21C?~Yk`{C+#hdSQ0-v#F}#}1owtMeWaXBE+Z|h3D##zb3k-SV z_UgFP7v`5t7sS0xew6nd89i{I?s#FD=&F*qOuOhQ^9-O82#RRS4WZw8&@2$jRCIJF zgj@h5FP8|8zA1{LOHNKrm}#i1A3tJ_K7IZSB@9*>9AOBQzczpvEd1cHyX`juQkMs^ z467IZ*l!BK9jJ_&8+VKTPN?I6JNO42&_<3xbclfCFiV68tL^h1d zErJ8k+U7^Z(v$kFQFO*B1a`T1_ikHjYkgxQoc7Apbss+_2aruqvD?+A#lSKx8>jQ? zG(v~m(kH~O)=X1HBN?BqrdP>LA;BKUvoq@Jk;D!Fs^TYf+2mxigKX5?usfnG1TF%G z49`7Y73t8uR@P7Ue)ym+8`sy>wTwNB7~QA{&yrmE8k)+Gb?`6?!c7C; z0UpUEV0;1mb^(!2{#B(*I-mtN=^YQcZ1Sg+85UM7N6p1z_|AE$JFU$_G1f0~> zr*{!|+cSY=2Lg!#5VBWlax#u0hJ?3ag!m=$H-5r0joJJ+cHA(2hq1TmJcY1rw>_PS z=)U-v=mk!ZD|k44KYYmxP1@wP% zqG#UOISY=E%*X$Z_-G*>(1M5vn_8paEXb$9`SWW%wm3m?t%A+vbE2}_7h7#}aZ(z? z;jT1jpLnaY%dK&Gv}a{H)={`WfypeazrP>81E>($SEm%NSE8X531?z?PlyUPwFSUB zHgHGgH7rmSKqBFTMVmd@SbAqQAXD>mRrt3Gt`k%H9nV)l`#m&(Ml10#H`#GzxVd5c zZWB9G!Dp7ungKZYj+e~wFAzw;ZWj_L?V2?tzWX4CTnxFb|0Qb z2Z)aI)^TAp|GWRnuOSL$EFR?K-(Yz5+h!baROo1FQEiF=3HZQ9488vjL?i4%`1}|s zS{7XRBW0j48l_YO1nC44=3pE)^e`XK(~AZS(a*fDOfAMn3j_&6#oNP5x--q!Dv9g- zks%lWI^@u?hKyHaqSJW^@=C1k=CWHZBYkQM3x?DlwM2Q~Nn&%?>QjF+Inf&)sw2y(*U!qMfg#1jGR zRoiwz!us=Q(aRL@@zBsZ#IN?W^Hps{<&J=!sQ955|3-Zq0rZ~Xc2=Nl6HTO7v(>hQ z5LmG>iTwNKI1&eR)$|MRK6Q5&mzKu)oqMel_i1N5@g%#in7A^meRG2HL~4g2HY}Wf zFlCbBh+D51hoA>n*itQ50P*0y)9p#%j{S>?Jv4d@7c=2eL0E;!8@7b36g4z@0zbs* zaDjh=NI+_9e63=S7%QVwC zH=3dy_eUKQov9RxEal*=Xh+A>Q=H$57?%3}y#h7^{T2d80pUz1kqgVpb|DU;)g1h< zASaNEGUvK9@PxLe<}ZYxSRrgSDBgHdWgnDgS6l_A9y~U}sVkSpgPu<8(4ix4qx3y^ zkSK|ykE8`W*4ozQKR?RwS#|g*2J{sRi`X+XIEeILRaZozJTrLVMFLZgC2@3FpF*nh z^<4$$gG}XOL#DWCkxu3^q5)R#s)xsjv$5^J5Z+vjC(;m4Ie@d&c9SRT#GWfp!@}yp z{h1gUov8+Nk$KS>hp>8MJd{|}#pAlVXk%Fcl*0WHSKcm5rjwJGw;RiF^Cs2Qp4Ala z8YE4W*_~ZotKx{r*{_Q?160H20I|C!Zu2VRD8<1J>|5x<1Gyx*k9BoW$^?;?P<#1r z4p-|?AA0+ic-EEkoS6w#9ElPk23D%UnbOS^x9{FDY&^!KKx^zXE z5{?yo%M+|W?(lKdRhnxDB_u2lvZ1EOl6yD=B;FTO_1~ij=Gtf)fTs~!fLMBzaXo4x zxW}Dg@tq@9en+Smop8RoNtmi}d5_V3T-0%^+$j&NgJFl(J;8=u#9%Hic~x z!*wn=6t2zz`1bs{ImFeQT64Ftb5I@7i5CBf?F!wjUEc!^!}p34L$KcMMq+CB8=Ng?I0w=Dro4 zK=cMgL+1uq4!sH*64A`gPkl`%>1IesXIB@VYS+U~>{Qw#^75u2jP&#*2hv86EBT*> zCt`_61>D?0c>ZRA8#o(OM8v!Lfuf%Mc=l0muU}7rON^w$mzEautK?}(=m!BvNBcd& zq3#nCAb@3sgaWS|3Mo50SejQb2cp8lCv^W6Eak!yJDMXaI;jWlWT(hM>CadExSDb3btq|C&l0bWhlOR)0@$9>@y zzDL8I&CLgegzn5;#obZA1=YH)o@iX;M$<*|N9xqaVS@?_#ZDG^s}~J4f`a3z`8=o~ z!hMPz|HJnU_6;CWV>^!Io-Cr23y%UleKSg{J?BZqN&*!-uyG#?8xH^a)z#K^LoQ5d zFZFx4B{_~MP+ybwTh5J)WD+<-OfKi6h=^=7lcDDeJifn?yn|Yn%rP6TI-GoXOzAx6 zgWO>;1>Iu|<>le|ZQ8zxp27thERysUX%1YXf*tV-X%3nk?iJIvcrD~)K?qJfp81NV zD`d;Ad?!;Oc07N^*fXw*n$ zD&h$ZDoJ)qB{b1)QiuqTv>SGbb|o@4Dl$~Y62JG|`TqLjyv{j$$Mf9x=d;$eu634qK;U{=Dy<6&W(RMUoe;2 z;_DZrJK#LQg(8hb$32+Os>)|QOm;qXsu=d3;FchVOyhP~*fWBw^G7i)X(*r*0l~k8 zuD!N2xtmvi={$1TIRu=diQcPjOdweBYrN1Q!-)J}NeqLBpU`Yd*VId4LV&eoaG2$J zF2ATbA$i)%0#T9C4;nbo`O?!&XSxm^VMYOOiymH(qk#Wd5`5?G{pS!lA=^2xQ-LEZ zM3(%<%73`GE)xgUYFC&N8jf0?=M=qF3Q)Fy#~dDJ3B37rU!OV=Mu|chUC`&^ltWm4|mz+bD4nS^P)KY(eiazt+qs+LMkpP z>BWEljTedY+qbV=*+fPk-uuz>=Y485c)bC`CQR5)DM;8A>#IcJG~d*d{{{a+`%q;9 zC7q~#QWSQINP*Ih*LLX8Aqp56Qe4^SPyVxdJk`h{BeBl6cGnJoX%KXMQo(J`iW-`csN6L*US0G&b8!YuP;xcSbvbVP_IXqX(-p|PeZWPcdNanryo9AhZjE2v%%8FiN`8p;g8 zM(Y4*xvnTt-cG`7!UB{i|NPV0PFTU*=StoI@=<6yrW$zR1QMX+8N`Fh*#z-k7Ibjx ze*6t=LrpvvX29G$Rx7YA3BD-k$nM?QI)@1_lAp|wH^Ud>k^;!%0k-h~Wk>~>$N?+x z^t6|SuVaF_f|o%yvzM($hSmgUiFjb>`0+Py+yMNB(*1`Q!RU26EnEvrxJ^<3|CEpS zeG&gqA$HBrX!@NX6VjLbymYj-lAIuMo?FvOc5y{`@S31*{$;@Iqw`w z8L>h?eVT!S2!Yt7r>k3db4~Y%s;MCw`}y)vO<0VsCRTGX;Dw-XO}2leUdriZE>(^8 zD0*x$mG?BO9FunBu}E!C%)Zd%dqjO3L;;4Iw2i4db6#k0p?t_G6qBMX!ZTS#d3Ao* zdPUec3cxQVw-ayQ9%vmYH{3JWnPGp?vxXa3>YXD;wM zsj~HFfy|mg+>sMvi>vVVh>cktJf(?)YB&$j|52vbeM}yDk)~-R6+-G3zMa`@&Jq5- zBcRYgPp{Wgu`(%#eY}~Hg5tA@gh1*l>1-&o;w%y!x~ghZwjtJ0u#!N?4L~T;KT6K{ z{H04p%uV6HS?6iHc=2KeoJja3LGOzd0_J-T z#vjzO!`pjKlwmUA69$2K`_(gt@(hec7=hbQd76jS;>G<*BD*pTiv+g`1(VWoW4Nmp z6g@Nu(B^aV0~|wpwW%nt-*^i1LprEBlW~LJgtOYKXY_TJ*yNruPG1&#M)4*F9znKn zzINw`&|JuVjpqejp1o$%qha2+c+;AbyV;-g0|$muKH376B39 z0xC3opsNiheVQrXssn3-;xeQ0qG)DAZA8@M^wXss7KE7D==#XIHVcA7ffg@Go0CT~ zXzrXjr=y}c8_N&eyO(5Q+|rMW1=qo%gL1}|wyt|)Grad`l$cMS0@JS1^<&uVLv{5* zW$rtFn9L|ITmhhE!g;}G9(Y@5U|q(rH%uIASTplWNQ z;h+#p(UoYe?YC+b*l+02UVZyE(B7fr5ujnvkHJ#8Qff6+yMDZDmrl~j+?&g|ZK){U z=iutC9i^k=|NUc+`-0HDV3Rtg4;Yse7{+x>>ex5?0*2IMmnJ>DcW*Vb=d?{|l@L}$ z2g|(D9@I=`HuTT8yiNkmh^LO&dyV9O{U}CtXlI+6um;IK=FB%CBnAu)={mA^@ak2o z5Dm~|!HIge^2$=B+k-K@CjKKrWa60=er0L$Y~-XDFMiBwFT#K7DRG={L>vcymY>dlnAD*BsFh-I+0q&WMS@6=7iZ&6s|>8aGUYj$tx%a@J(MIcTyRAGXgP$GTu zL$uDeleeb3TCk`2pfR_P#y32o7d5# zxuF)F&;14vBCi-iP#6r$lxO7mwqt+^tEV(&_b}dE5i6VC! zj`FMyvXbde>x!8UscyR)r-Ni*>8M2cPiN;?q|SCJ1j)?XX=z9ikj#I)Jo&tQ#bv&gX$y`#2%>JI+#zl9 z=y1DmtB^1O95SQNfB}`hlqmZxVhIpKgH(RE7Am_25ge}Hl7XV4IjHtc2g>5`%r20L z!G{h_yj0H&P*pvRJnW*_W`bAa zM-<&?*@dMO63;g#%TJ4)30RstO;5r5E zLTu2=_K@`jK~4wKJ$Z5{I^t_~z}56;2#o;E+@gUjB{(&kNJdYNU<#3R#ayksPRQ*Lq3lRV$wu$>E+kyey7Ts4$LVh1W9&{V=#|Qm*cZ#G9wGX|xzU-Q9hgz6`YZ1R5c~uU#;dFoNQj;J9v`7hr+rnSMXn zthdm0(9$^i{!2MPv>83xT!ANzqysYG4R-n!o*>E{BxtxjCrzPcJr6V%tr+2zn^0kR z6IImNt59-(t!3c&?hn3IHzl8J?S8atM*U3)Pi zqW>~0Vn4GtY1PBP8>BnVdFc@OI~N$?f#KnWK!n4QbDx1v<0nn}watp=aIEyEvQU2t z{Ut`Sy@RQvI>nV|>rg$L-WaE*ucwEPP6bqE)dtccXp(WaK-jf=oag46Vy~(fqr2_7 zYp9#2iA&?^)eRqW2YbqED4>D7K-#Ge{OvtNDO~jG)qsNJ_db;4*REe*mpc+r@E>xW zf`Z!TaXo973lhhhgf6iR9yt=1LPY}ecPAO6cK+wbnwni4Pr}T$%(Odq+UOEP+2Oi1 z#ZfK&@L?rNU0xXLnmk&KGraYsx?0?-;L^$Lx@5a-+mrkEFQUkz zD{gOpBIg2#hHpXjkct_l(((J3G3cOR*3qfUYF`JOgL;^SVP7X_w9cf`hp&Hjj3FA( z|41DeqM@O1mc}fhmaqjlcFYJhN1Xv0W+%k*IkJKme+xqY6buGb3E9zC)=T?-E*<2aH(b#e0(5vlDt}qk( zd3l^x@(qIY!{6h2F=~zCgR@#dVfW_0LQJVwLvZ4pcjcdew4Jy^XnAE~r%03Tb&dI$ zW3MUkc!UPG71Q`-%z?}yEKnHZB#V$@^k_1~6VMkgKtlWyZLLwuLYTq0bV&H+s8eWO zGSWc1D?nsu$$Ph@WwpcU3g9qJVsr?7!1OD=wOhw`34esot_}vezCp7uK+98jEzf`Y zQW9;875cn+qB2h>no^S8KLw(V?_pIS%D-P-1ceBCS9DLo+1M3R%CvNYA**DOQC5~e zWI@FAAh}z#t7ybw*v4P-9QV#L*4Ds(XV5gwUr5KI20mPUlb$%sa^(B#$oiVm)49y~ zL@*$-eZ%@LtK1MC8{gi*K~veWE(;C5MAXM~7MbnNVC z&%lzQR$Dgq)-6#!#HZ__pwPlXB6Z`P)0E{R=P=<@*%sEqAqSVSAO$BL3KVZ2A0tD< z75EK9i-Ipyl{&S|p|s;(gNlbxy!h%;(R85Xwovg0q6Ad7-anhJVzfv|DmT;8 zQ08{Fe{o`&bQ^9#;q;M7LIr?M^m~I(hQ%>*AlDiNV6B+o-%ndj=2>Itb8`iCmN< zhGD^4486p&G$%5^=%9un0SQ?Na}Ws&(ZS#yfxA(QdyDe`vE^#xh2__7-!9@TBQxg4x*hK+9hu)%;RrPi zupcb|XXU9KlYsoM{2;euXtGaXmQhp`HD!Ajul^eQUl$kmvT)33e1kZR$uMvUrM{ug z4tcW}h9e2G?_re5d3?^y&QTI4*lk2;*0W|YH1pBzGb|a*82rcf)Nw7hAX;b)XW!W@ z-Hc2dAr&_jumapd%M=1p-lK;|_q`lEypwbtsHFe6<=y~w#<@uMEd$+U1NLYr@FjyV zgH+t-e+owPzoH_Pm(e=M`){Tqui847))>79@=DbA{Wy&NR@VgLgI?<*B-k;h4FVDy z1@GPkf||DTEKdJ#Dvg+Obw$R>a1X3Fh#r)qp{i5vK1x%?`^b<144UvdbsxK<-6xJf zKEi!FnoR#a_2(x6u^*G0ew_d9zIHAM|VkWURGh^7s9rz1+JA+xV zRyF9eu(UKIAwhY|Uk{T3>nwRXT`o)=%SO$nqf>SAkaX+TRks-J7NYdJUVOu z`fi^hA+xWV+Al6Ff=Lqle=ZXNGCX{w@Hl-d4w#^?be?W*5~IU1?W{GV1B!GQ8S~(N{fOq+BCjfmm1rCY4V^q; z0+Z9PVJ~a7%@T-XpCYuE^d2(gOjsDx_rHG{R}ow2YY*s(R0m0k=#m=~u1 znocG2^6y13T=WGWMD6K=!5!+3RQmDUV=|+ZLC5p7e>e+NyVDd<(HG*BFnjg}K1k|0 z89%%r&>^@3r2KyU;C{>XdZNV0YZA(B$P0dmz0tS9EXiO-1id4=8~7jP01e(MV;vQi z{e&otUU{O-TRYXNwoC^{k~l~o31@~#Ar~de78KM4&z?mxTac9{()WTihxhS|5I_YH zdE$h0{+)`!I4l5l7|6i1dpcdU2QsqV*2>ESDHA<#>v~VihbBouBg+&(Bi;1-tr;H) zLvSD@WXnwMEvF>ubIjZ@LnkP1^$ zcm2FY)0Jk8Q$JV90C(96f5I%0dDG_2$d?jf<|so0G?;T6tg8Ct;(;rJ2XW_d#lCS# z=k0xaSzaZ0q`H_Ud3ME;= zR6{{iOX~r@hD1Q$k|qI3oi}|ys(ZpS-W237iZEmdC4!+$y+5TEpAET*y_TF|*Y4d> zl>fEMgBT9uURPcHIJ39u14dhr`Xnd!^HQ!QcZwdFGz<3Z+xLzQR(S|Yzz;A*5DsnN z8g6y}u}dMW!3x1fgPaZmeASG1;`Phki0)qf1?7MubC&Ko>5@eFDD4|NG4+gGv8l7c zw)gv);e|7?%bmjH+`a<`{-rI7Ud3?E$miMFZ>SrfZ2*1u)Z~TC`F3{AG)U-7Q$N5L z=RYRkoX1^z?b@ag$5g>h#a&ilP0Y%b3}}F_$Vr*Li>XP|(w1V?HQ*1}XfOsvFaHTC zNa;A|v;hsdG@2A#e3AlxE?n4??Zo65rgxOZ$lynen64Sd`Gh5b2cnxQ{yBDx2d1N? z_3GePX$nm-n^XE@jf}*tPmI*x<K5 z9}<2N1l82!iBz|+aKG{f7Z()1SIQ?T3?=yTAy{OZHh`9cB9pX?1tB zwdxtZhc))2tsu{sQuNH8eL&51pd=bOU5hD+7-lJhrJ2DmemQmyp2l#;Nv4$ZLKxY` zi2D={eH5MiCu=I`o>A-W#JT{z@lDSUKN~&|14eQh$BcR18mKb#-jA@k%F}l3GPa1P z0^)J~Pcyx}=`fLiZa-8XCyN+t?@z7L{{DeXCN6IGU%dFsA{OJ09M?&L!8;H<;qUzX zOW`Bu(i|gWq#^CCwLL+VhQf)#=#L*h+{hd?ZX9gi7C7S)=8n^#n0aHoS7<*BYjE{_ zIroO=FQXJ1~?G)Hkut^n3&{t|jXw{j7 zLkNRcOi|+!q5fS=AE6@}v7>95n%H#bCf|p0z3WhOWS+Ue+v8kyQ6U%J$FDCu3Fr$TMY2qV*DgMdnp9}f$H8sP_%;w#?2Z>XLnd_trqsU@|5h|9D5 z%WwNCTg3A|xCrImi$H3S8GJ)(4%`TK?aF||xpe6>qnq|V9Xv1|^p{ZNJ#yv{M>nj^ zxvgM+X0(2<#_9yHK(=(^%iS*hb2bN|}MM0dJsxp+FC0wo( z;o%HqedG3(MXl>Dy&h;S_(I>2R`;c+8wF3RT0R@&-0zQ*m0&)Jgy1rYs@KT1k=M{~ z0=D9YM!7q5=$0j?|NgB*8p9dVu3 zV_G!OpMK)jyt?BZ^Bo;oD;B|?*ed6;EPu9X@FQFa_54}8mdkg5{eNQi=|5yhCSU-# z3a2vWn7EjT^pJRF3{y<}!OwgDelrD(u-CIc5-7+!wI9}O$;2Ipo5^XB)@uE}4qYb& zL@zn#&6|;RdY8}`it$3g0@~lnktYF7-KuB9r)$ZgRW*uT82Dp2JL_?HopbhX?YP#F z!njQ4j_-RL#bbf%lKsqF0tFiz+iqkDm^FRvH5Mh%I;Nl#S})E_>5T1GAeM6d`1=ZPhz z*KQ|_z|-_Lh6q^gp=<|>LZfZ$IC0rpyZIWwo&STDzkhox3Wzc#SZ!8$(65C z6jS?y5RB06gI_&sOR(&Vh=BD7>En%+>+w(_D zu%b}m!A(aT3HVp)-hEh@CGQWOk)Qq`syoeY`QLvK%<^S&0VOLBI#DHB+n2mL`# zVc9O)43_cot>|Kq%uD>Qn#-Bhp?CD{Zm!HvCs$B1W1k}S?IHF#X|>D0pl;p?cgbHv ztEV(*;wM&u*fWo(J^jZyIx+ksQR80Gu>cslp=*CY62hkCdgLOIB2$6ll5z%j);(3F zXHKuZBBSj1U~Z*66tTWMWB1sF1(Yc(>QvX4K&z^(h<_JCfvjqNIY%m8Z(q=J7Tx+C?Gmw;z% zHS$Ms%e+>`%}lLm#$9@J>y`%R2Vr#V*h@NWB<44&lbrf|k~8z-hfK5qRgUR#~U100A@rhL!<6{Bl<$ZxBBW!F_9`tna?AW&?QjkR%N8 z(YImoZ?@XLKj@lxGd)!O$_7&q%5;jj)IM9&$pxcFUqTtxOK$hZxCh_WN8xB){OkQE5`z=7FrZo0JwCAC~U5RWL@Rg)9)7btcS zor3xB^wfukKO$UE0J}o=1jiD!>821|kpZP_E?x{Us9xWBE=(IeIoNr+QLnBplUE=8 zX)J2DwNPXr8X&-#Gb?z@wFb+t{$2tz&(hKbtvfg|^_^QX#IZ)uZ!w&LQ1O7hj#8-^ zbzrwWH|aO1@7%m>*{Q6o4urt=@(DQb7WJL43#ejG!W!B|toy=T#?(~ZOH=wirjN2a zw}aG9zY1ZFyP=wwYMHpR#mR}xjVPi>lsqamZ`-;RAtB&K94zre|2I9)>qFN7Ob>Bg z6(=|0sbl1wqJdui{vD(lbRe{guExg7@OyG94mfASXHaZxZgTd&ipjw z6BmslTAY6r`=VNJX8>69@?7a=5#L~cgu+iy`pmiWWbBhS9K+pCT}MCH7y^mYR`>R; zCZoyV0n$@RuwWA~{gT{5R?RcmK|^o{Rp9SZv;G_$Ii~r?PoDhu@w_I~x6gymkI<#^Iv4Ja`sk6Ga{mHR>z& z$P`pZhSTKPN?v0}07n&SswCK(g#4PM!E9g>bvg%ypZHevB;Uk;(TCIHA3{*@=SNEm z>zB0k^qx`Gcum|5iS@s&t&OA_k|ezqo^MI4ptHNkJb-qzSfFs!SOJFSd9Ts2h6p;T zQw$8)q|;2VnIHLEq3pw49uK0Zyu6$;fSb(|$%(Sehg+r|#Acf=O&bq}B$wJprc8hm zWZoz#F%eVBOg=N|ed~ialew`ZG+sR?2BF>WADs?%!Z?+oKWTZn7=BXUNjgAqOH+5?*3}6Pnmw{%q?Hz7yilpR( zBy@Z5W(KqsygQCX=oY0tH@doV8^mpl6ts|OoxapV4n;K$S}_wCc8ju zNe5UO0MtXxaN?LTqP>6WyZR~J_Tc@P0(C=>5*5{6s@H~%8&`{rhoxT#x~Y7H78w#0 zfG>!HyIqcfDF7u!-S|Ex5FhGMS@Pakx|JfaO}!O8f8tn0z9687kkBt#S{^ z^8i!c9=oqOFNggvks&`WbK`Lb=`i`QzyYkT(IlxIW8zspc<$r9;dif)H@c zy4;g{Xf@BE?U+a+LRE+w6W)@UL4L`s9+D*S)`- zxq*Q}3B3>|zG(gNrUwiPS-WM+3eYqS53*$mj)#uS;!j@x-+8*bl+t|1>$@&VGT!qpy`VRb z!s~xY$4JRbT>ir=#;;v*vmh*w&&(`iA0JzLINBL6yAbQY6sP17k`ZfyW;bGMxx#u4A8|!G5n-GduZqdP+~2`G8@=&O!TOOhFj~&BW)Wfq@K$ z*@FjBAJ&l=`3)7;*)|omZZU&{GqdFNI$Y9FtW3v}vB+EpjLVk|ak)R4`PDRJSAlhAj+K-4? z>4EPvdYGr6sCe&J-~suH_GPj$lbK?(;)`>_GA4$tgJn&~Or-1d%a|=l$TbGsZj7cLeh)Tc9&q zhBHLvJIL-;r6FG#ljmW&3hfQ`6u4 zKb#ctwSIn%&b1zWW9hesgq>8Sc=|J53xGfhg>4R3E^SM}>(^`%nX>Yp0!$C3H01&^ zC-p(=*ka+}Rft<=(f7QzVi<4B;s5baeKwj&(<@R2I4)tyI>uAXG1qETRFkWqprBOu z8$Ar&ZCvUam?vK!4twW7tD9nDzymy*##?;iVHy{)xo#<&4j*?qPU|76IH4(4gbf~@ zn0zNWY`L5y+T|5rrnit5atEjy9pC;T!xl2pCxzU$lX!!^Z6RerGR$^B)?ITZC?N@LJShsWE!Sjn%uK`@IoeIjX7)hd<2ShN{^TR zGY-j<)?gh(m&yL3DurQ+yLT<{JM6Y6Kp9bj)8?Gl`}+6l^|h(#8c^boKUO)o@z(Km zh&*$~8ov*RbgXk3)DF!4^kWR#%=hmX(lSKy2;3cWY|QZCm_)XndpWxAzq}a=Bx(iH zGfN7BrvbM!}f7a-pykmkdFbR!Kv9+FBGVrfm(Z7F*30!J$C zF=Mz!#f@JH9>anl2bYxJY>EXOl;6%K&Mb-R3>q*Lb>Lr?9&h{`$*;TG4(^mfEU%}{ zrE!Z-C6d8u3QTO```;yyP62UA6^vTH^-^mJfTOwKW zQC7AE+kA+VYoUoBAMsY*ce&vN80FYgMHh=bR#fl_u5N)Bd1XgMomQQKme5QAF#l_| zN6--%h;?*p@6c@EnlR8gf54SJN9~h$j#o6qHj2b%^p*#SoR8-2aH z-KuYBV9I2Z;mwwFL~2XTuuMHI8PPe|v##ta^q00a3O^|pb-p{MDGTi)n*vMVl~HL| zCw6C;G_`Oc!7=^o^XrEPNC-j}_dqZZ;d4~qe*q547BGCANpY0p)-7=ZE)bfAIqWo8 zZ?E!FMlG)IV@YW}|1wE~UN#0z?`vwtiad1hn3TU4TzUbR&HwC970m^DQBc5B9XVnI zQ+a{YG_<#l_0IE!0%jd!~H`cAb`{CN<0lBmN%U|wP_r-nNZniAMbaqqIBAps11tGJVj zT|Fhwgo@K(2BcyIszdab&|D(M@mip7ASL1N*^7m^g`K2-;7JcQVr}W(WdfK0b- z-wyA}qE;Met3H0DP1(VsL>gkhb{?g=W8<6X(L^AHoT6&xgQ9DrT z+uM5s_u!va|5BPr9tY-(M|`6X5p6fNYkQyrff7$=8E2U>Qe@nV>kas#H_xhFL_C!tc#yA0q8(Lr?gdz;MjM2QH%fwa7$ z9tPu3daIST7s-3cl1Pp_V<6P0OA_Omv*oHx#1W3yK=Fn27JZbC6`tD(hxg+L!dO>g z_0WCSUUg-!%O)sEg`pVh6#Ob&QcQ;c%~pu&l=+-kT#nGFO`UpYS+MKy)~W=@C?j!Q zN$=nnw~xM_T-NCIy&)frfHk9kZF0sMWMc%Rf3`h+UmSg&$xggl__tH+#GhtwpUNfH z3T&9h9tp5Pnu`;FDayJo&CuDEikTwlWJ-$H^-x9Wb@+ce8Y>;fcb8*B%*mTKw;?M* zA|YRLRiR}OE4@ia9k*ZIEcnx4XTzxKVr~b~43KoKI3Z&ANt0cM)#`_c80N~j`96FY zUz|094i&Uz!Dahh(_i(;)F$*t4f8Udnv=Hla-WU2cMS?@`k(x{RQ4DEdSx<>^`TiM zOy8M|9Enra2qvGWX)@~qOh+qW0F%#}D9#}9m2`}3GXQZzX%G4X zaU9|CS2Agd$DlmqExjy65;r6yO4r$f#uFt6F&+a*l1vH`Ozd(Bx@Sebzns&wJjJUt ze5x@PZx}i4-1dBKlk@mUg;<0wbdzbV5CzFyr#d|@+tnQYg1yWWCo;M8CG8N6Y@zC= z@65V(j}oku;44{CO86D$Es?SMeKj7hatP7ob^99@kmsCR_!H1kmcdBj3!7iBGcAvI zCfRou9j8e%S$29SM4`ol!g{-xS4Z%Gn@thSXO^`pm@9Li0e)yGqk7&ve3-q{9=mG9 zA|NP;GXe#P6(Sbd4C5<Ex8(Dw_I&jj%b|Xm|8N@qrlx+vy5GqsHMNj}?&En>Syj$hve8 z#&uXjM`8MR@A#CCo)ytWUzS)z^dDo@eZ;h+HA) zw73smrIAw|0y+wosyT+L`jxY}x`Nk$86lpQAPzIiwVs~O9z~yrbx%le`yP89Z4X*0 zxV0AZ*T(JDh;#phLncwOpL_rQhtM;?jIErsu_ZTO1E zJriYoFVRbkYI`-XKC+lG5vN@(f4m}<6tCZuwwY%(o(gY1ohlMn3ATuV~JV1KwYkhRWZFLr5cxqePGk!}7`^scH(G!sW6 z+TK9R?gvPT-$v(8Gi-lHXi!JPYivluKSn)X#%?c{+itgu=xh}mfBrJyI_cG?xU;^> z-p0D}4)XtI^_hOZ$nP+OrA+~Vnpy^bYu-J)Zpt(_eU0K336SWXm1lg5;q=XBm zppN*fSEonGY6!>7qGt~8oqnVFG1c%d(zU1-(A74 zHX9VkJNR5a3Bs$I4Z})f*m>Y=j|5`fI2>T235E!|srQ)x;0QjLxf^79GBPr`*gE|c zBw6yZ!nU`KkligEgQGU}Z*3&*x;D$Ax$qo3%`XEmls=&1rOz^j>o$z5WdCU=9LIdg z_g+5*)q9EIQXMSO)}OH|-O)1qfM<#=^HaiJXDAJ6*1dI4kWAe9FbM_1G|jKPhq3DS zyk0-b%d2d2ItXE-&q+a3*7o@DtFEA8a{u_qlE05H_B(mL#!$vL^&L|hxuL!t?P?v; zXB(o-9@nLX?=XZd^Rhp8}T_m*$V^OQnl6liUFp4W~FLgx!*3wY3%G0@x#} z6`r)A|Ig;bb?W|YG-42rH?*~GhvA8?t^V)P)F?X#hY)9bSM{o*5iR>((Et|dQZ$MD zf$=IGZ1c&i(*G!KRY>dj3be{%Y)2uODRnvDi8c$s2fp;gWY;0Tx7s3#@$&GX5k54` zk_JU>Rf;}?_7I1h3Me~BOtxb=*Nh$1MG}XkF3D)rYb&T_mf4$}EgnGvz5~tWI<4x~ z;;^Mdjy|tkxOnlcllk4{I#394%8QROGAaaIZnpZw) zN8D%jcW2G8!eNzN8S6z%!rS2d5wSW>JI@j7PeSBloV4w#QQMI4)Ku@|D~_E!$);HE zs-%`%VLuvnbpD?KLHq(i&S_3e-e8yw2>G;z-oCG5Zawgul;fIt%h)wFlE1rhz0VnB^Qc3U!{+Fhcp_5b+J@U((Gf)4}*8Yoav-daD4MERY-)V%{ z;3ak;*=lonWS&>mW<%HwgN(F4n0!|}56DF5l~df2g@%Sdf+elqfmi(}B!#%MN#bc%%6~sjQ#N}}o*=aK z^cXGc_Y%1P-<*!4cEu7{!6*>#YelAjv1T#NxMH-T4l7^T; zsao>+n$IfP&33*+9|VS_g;>Wi3KnJT)89i`A{^@4umhBYqNb&EOa4B(1aD^+A9c%3 zTL0XsztLnuVDi-Svcd`$!koKwDH03LF@i}(Cc`BE{3EtUIo<$>#&6%4tiGp{z*ISk zZzQQz*pzNLBq@-9xq+Glcif6ldFR|7-R!o;|+k22E7pw6{p{EN6d*`SkR#*Vp>6mb3ZyApKvE zxS)8{+ysr|nO?QrIQU`F_GxXLWTteV#Dw&@mCw%il6QCfos;nEfFEL1&=!!ht_91+dBzHeEOe;sKEn;TY38 zb-c9AJ{^!d&_W>BOAE*BHbWJm#rP*9r(|ptax{Fw5@^ZjbA0X9;yEn&ZEfwD@bGij zuK6Kf;GOW2zpxy0&d8rFEpTt1-+U@Xtsl6m?cZKzF?9j6CFGibP0ekLu@cMS@30&Zdp)eR%Sj+mdi?aM+e((9 zLI8QbxAu~}G8-Z7N&lA5UgqgHykf4q;V&>s&0$+cqnpDXttKJx7l)QauR|g*HtSwx zdi$q)wFC{mD#?&4)uMY#Y~;c*{c;i*qZ$;VkARx0Oh1b$3TphDn*(dcRkV^5-Q63A zF1&L_M@9RLUp`aYY*6E{ycimowe?R7>fcp&g% z{W`Q4dWsu;^j8)So2ILnvrqOUE%YgdhN3m$Oc}p!rbgRvZoE3=fjWX`*H)+FnayVw zAv+eEHR+zcg55USn`P^qu@PIREae0`#0N^E8SWH~>>d{{#8f2$aRHp!E??i&?=lSo z-mKe;gLoacX?m7YrtIMx$?Go|hg7;HY4_~;jhKEDag+Q)Da1W@4ngcB(=mZ9zuzj!4)|C!}FyruXZT|N#3YqQ# zY!QNX8$Qg#n2#_>dw?m~j!!2=V&lL~bxg-7b{^(S0=lICetO~fZy%&p&`ug9R5Yljq(8{DrT6#MC)48XzM|RJa*l>mL zZ6{9Md8fBPa++oIhYwp{UJ}c*ISrK>5|Rtm&Tq9{x4uWTZg_NbXxIqCJowcn+F+&x4t&s-*Atw`E>g}qV#{v!3wMz4)^`R>DMTM#TD@@(a0 zMwyS0nqs8_7J%{!GE``x58Qz04%m{tmLBsEQ7c9W;eW>}{Wr)YYCINP++xK2cXa`e zHZy0&0pr6%XE@?Z9Hqb1U*=D{RNs)9-47`aL1qwh<@nC3Z$Gr24X-*=pKp}l0Hg+gH z$RB@DR+fmPcm!{t}f~n=3tJqmb1iw*#cIWXyJ*%vIEw zfH{3svrKr$C%Vt|_HIF9>0Om^mOJBByXtF2p1fqsJ2wMlE}(ISN$z}4xgtLol{>v= zkXy|b&EXovD`x#jZX7ax?EdU=XMLwbe~cQ1vB&VKQ&n$Wt{e@z!?&uKoq*AQbUKMo z&R~zA4jLn?kYf9K9lrK2Rm`<(*iO!QFu8O33#ZVePJ#}_$p3beJfXtkdHiTtI0K5F z(8%V?B8=KCEEo)HfqzC^PX{Alc^6zaJFq`PPPAvd;G{cJdYoL~PCJB&z;54+)NJ0k z8Ssqp%+JLG{9tn-*6gs_^Ws`U(an%qYisU3c;kj%mnj?QDe!~MuNgq1o#)jA?`*Cy zK|T@5DV)HIC26ko7a@bM4nf!)5*$p9?snAj;hME;txryTgj`KSL-6P??Gw|x;!m7- z#kn<>+|!J0`GrG zw~%B-n>?92#SbI>6_{`qUT%TeQr$xqu_zMBS6oZRg&@2dTviA_{ubLhuox(`nK89M z2Z1{JCIkh-Iu5H;MmA>PLRsHxq?ME%(2EFP|BRaMhOu8Z=&-QR03RJ2o0JcudDc&J zbN`v#*A!^hJctX1Y3kY=_PL=Iom>!{!*d}$J~d_g$hLna5;i^&8{wY##iZluYVz** zxVJL*1H>aYV3!zVs8li3wrl+alnG#E{H}8T{kNM(fAfV*7&Fbt-zBzXrcRYi=F>Ps zXSGD58e>yc+OF>9Y=DQ#s|k*6QO*Xzp?+NF>UupUrrs)8=F?*p#k~Xxs$-laCxItk zY&G+u2?3%8yZ{BEe$O86Luw+!Ho%v9W zm{hh`0@-;cTPA;~sVSwmcx!U|*U^7+{F@sZmfzYm@KkQC=K!I>qi?ql0CMqp{I*t` z$#;j}%!XRRMVQz1mrTsqc)6D4wzl~^cII%2AA1cC3S>M$5Zg3F;^t6J(-qXxAJbdp zWC<(hi-}~jups+1bAg058hj_(GV|ege-2l6!EuQ0CdXOKp6UI1R;(e+LCun1xrxla zSTNA}`&JiZv>S-d@H|FpCF_ggMqdJ-;OXG9lCC=2$)4Tb;(9C0ME)@5FJ>CkzC z@PHRxSfsfr%!@;LX(J+idY#K#7O<8i5T}hRhl^ z{w$Q0WnCOmujKi2b|M`sD=UkCSAUiD2{aR-@=Tc{Vy@al)uiu`A!Qp>!n2)D8+!a* z8u~2?;E{wc&c|eV1Ij7t7{~Sfh0N6(Hk@Qb2bzJ^tHsSi&%1fs?%bJ1*O3j3q)iZ1 zh5gWcy?8mf&b!U(o0@3Rpuvj{4D6ISvUfua90(e@T@*posC!G-?);M@O*|`ZOsC+b zHQ9PBf{4S_4C;uabBjTZxA$q2U9VY&L{GwQX%|TcE<+VmED+*Y%RNRI$%@LuhP_(U z^-tB*)tRz164nOk$f=Vj&sxjMmv_|v;2uMz za;CyJr62S{i*lgfAAUE!5*3eH4j&)6Y3&z^ZjQ;?T^N6!vu!p!@XVOBj<=7s0SEY z$E}aqi0etrg}Bp)A*w`F{?$X(Kvz#sH1I`xLhAT+tci~YPejd6MX251ik&@pA&z{p zwTOHIYY)5irLHde$PwYEs^nUL!?ey~Qy0t%!UkmUZfzfYw&HM*(z&t_*sE~0CR8Dm zB*A4r-I;*{Saxyoshl@VbU^8d-Qi=$uw6T4Iehl4S?v!U@l&Xm`CaC{{qSJ~HV+6>D=PBuG<9h>%A)~3fe+CCw*2_P;$(FX&HTwjqfW`? zL+sgO`x<7+9jPML%zN;;6Z03$ZeiMxnb}SY@07a#&!(|=7Y2x{-;fHGeChSERJMKr zpqC<(YdH`)3l#(XC0nhxHiRc}1Y36#X&l-+{+%SV$6EQWX&i5H1tM6JHWNNR=o#+Z zQS}%#(Fs_vg`#Fx1eB*#dqd+RK9s5 zDy{&~IRQzItUX7N1T|p7O@(9PiBr~y%*4~qEiwz4lifek%(}9za;xGlQDG6G7(+sS z%kT-I7VUe4m8_u+M$t@$q7fiO7@t{iuH3j$9LPL# zhEb$CT*To*Y4|l0=Uq(=D`%*@qp6bm_Fc%<02LJj?4n*g6a2Z<*)~9Y z{)Qego$(@8v;ia0k{-jpxoWv_=%dxl1#s9=FwUR@4cP|#M6#ak%#NTv<(?>!bIU39nY%eSqF00 z#$C7|ie$C5uV8PBLm>ZyI=&@q7C0x3edK}J8sU$aETm74r|N`F!vaMYEv_D1dsxRf zP5|t5%#|y?_@5a#C`rb_uzcq%GK9ylGKDhr8DevA!4xN{@ZwqO?iuGsXlc=*t>-6F z?$BD|Gl^y_$bE{9ZPX-XVCGLJxj_{Fjy&KgQzCzFq-RqKX6V?{oI6}FiJwVdl#hb- zEVNxPLwTU=Tar_tpIDxkvI2ti6 zRXiOWl|h3nWQ0`lq0ePnJspOQWP}3!lY1I80F#;^MfAjI&TZp1s_)Brl$$%38Dcnz z;NVMFuaepvSl`Ah7VKy7uC7tmq*F{?H~R(68JSqL3IBYe1qFb+5i89_OO41mO5M6K zKQ=F=SmsU)8WLa?94ybI-}`||LYt=V!6&pBxHZTT$t19oAdw{)HBeTeM)Z)@#$UdS z(Gcm^2E{RjFYkoGpgHZGR|N}zS?P5=E%M00bU{_lHipOHC|ChLf3zlE#$NTf`AKkspHg zMue7Ds!-7j;TPw}bj)ZO!J)CS+ODl^2ihrfbD4cP^Vl6`B@0}2&eA^moIt7j^P2R;6Pr7`n za_}_$Q=8YW^~7k&Jg`e+iI;%CfhmO$XC%IZgGx=$1tDGLw2Ny?xeDXT{Z{I#5U}bx z_H;a7U~m6$P`JACdj|+ z4bIW!i|}+w@%-Usg2#EWjkP^xC1;2M6}?#j$1S}x1~zESxN-MQ9~?h+?2T)AZv9Rs ze`To~q$HO|kI&JC?0BnT%L!(1omK!=jOkicH0i#N(%YAV)zw{H#f|}SFB_+6&clpvjYI5}DRRun>=}4 z{5S~j$2M(aO`G2(n?LS25F8A)w567|w^zy0WhWHT9(Sp>$3t+Bf97eU(mQyf^W7jy z)3U<)r|iMw2@)D=tmnw?>bx&U99-iI!m-BWanLA%5J#!(1$v2P6t#1dFPL-eihh*F z6Fc6apbJiJ%`d+>)g^Q6%jJSb`7IU65P2T6JT#BkE^cZnV@Z>aM=W$6=q4ic%CeMN zNJP!>M;Xr?nC~IK;cW~+Dj8hU?7;zmJ5IZ8`PK%$WTWmXOt#vWjnTm@}C%3#JDphBpd zeJ&Z{z(I^Aoi@+^>5E0&)w5@1Jr0PJb5ngi6zkW9hM?kcf_onM0#2Vnu=?>rj;{Wx z9_ze>{9#UXXM+)R!srmD<+^lfn(>qB-fqDHZUTXgA_{VaAT(~&DEfh&O-?GNUb=B( z9@(%cjuU6a8;zj}iRT4s{hw z$htRZPNJzvI+^o)0o>X}=G6(A1Ugu6YH*4qxE+Mblgcm3E)UdESnt(Oqo?Q(OrQsa z=`!4oq)+@+6CluVse(yb8ubYih8~p5#;muLnv%{Ykb|J0R%|c@i`Lt=v`mIS60V&WN-~a=36g+RL~9)T~nY)58=ZcGNc%0 z4C`#ZF(C17vh|K5Ao$|V?cPNkS%3kSLl|)HH|#D<4SBSh#}Dffmb*4Z&3(-cd;X_o zfQ-~%6jw~98_8#5V|?XPPghl?b?lPn<1$jlkN;>9smj2%stL}pQ#+fSR^{JdSc77T^!&mcrThmh%YC?lOL9@kj7 ze9VoS|MNUsL(A~pp7BKL^+<&oC!MJlG?+W}VDcKFBupm8f%1dEKcDM}AIIeG+*X1g zw@hjp(_8ShG&gq!m@+UEaOMN#r-U zQfQ1E2}ST`j-IfSlq50TTy%5#{Q29M3W*PNdx_$O{z&5b=OamLFP50C!vY_lfVof| zluz-Ag7nW%?msw!bV|kpzZgHJ=K-28DlTSP;v8$aIwT&l5?4S1+E6$+Y%ypCn9a1; zjyQE{87vyKdFt&3RbhoEPK}~JNeQb97QI*^R4gN|W>PaU)n^^|oFclboGjon!r(z#2j_ULk1`eFURRmW-cL}rkx5%rnLCsYfLj9C@Il+_@y_B*Jy|#zP zq{%-?Mep4VMAmM@hPP|8)Sx~BzZfR*@%ygXBF48U3 z0E(JKd+l*vr6cYno{9aAX#MBPO@f&`6B)T{=?0XA7%B(>L_G~XfCwk((?&MCKad2NbS!8M2C{QLwQ>hw>A7+S6C z`r-t7u?)B!9ttZ zm;Dv|CKHo0mR}~+b(LMzb^pPGpg*>f&OL1)N?PLI3Hjea9wY_!N$2k?+apwTs&DS0 zpbSC5UuDAkg}HaH-DWD7AXoKu&~Ql%gy7B9@4E z?~?pOd0563P!~LCMlrPTes)t|C~H;$_bl#WbIH5-;p^P#%YJY`2zB@)5>;QDEMuyf z1`4f!ZKfwQma#aBRm)GdcWQG+0nXq!C{%pz`<*g z4SOgCAQ&sH^>&+8Y^#Ibq>#<@sD`TRcRamz3BQkH({leDJU*fH-aR>wQG!`?_R1TO zB@%oATFT~m(l`V}*3^5m3{zuFB{pHf^q zr}zkFl^EM<{=dG?JTB+-jrZT`X(N?AX&d{J%ATZ!lr}ZuF=iytEBY#dAe)U24_FkjT9wYYT8)7Dv9G$$A8-|QFKXoF9~|#Y z!W091nx#z|S^5URIUy$I{IVje3ui7#x<15<^l4M341_~FYt{!(9m5Zcf!eb;r90#veO^5~XYTH+nk08p30glX`Kz%yD3 zi}%C;v|Byl*OTQp>AhS370JbQeU+$Ilj8E$Up!#rgfTwNz`!-^3mt83M?-b_>N#k{ zct92wx_2aLS68x>*!z++j#P0`(o^6WQEctrUAD5CC^x6-;}iU9sj3&^M?fL=@4tKQ zEu>ooescQW%>WpVBdvk(W){7%#8hJy~6n z&p?jiPrfJ=0F0n|XL@}ZR_1`9<-jD_ z#l?jH^^X?)kRWRz>oai_85Ng@s7h!MsV-2gNcBPNxSD2C(uMa91Kr!j=I)X)9ixB` z#m#S5t+p(kzzmw=Q8!H?tRLZ=-hH^Y8K^{cAEV4x5JGsU4e0pZx{(JXG0M#BigIJD zq^JXoLxaFNo01`!bE^zddRteq35A~_a(huPb2n#1tiHSv`Ck)1y$*y~E zJG7B%1ocOdVkkWd$sa!g9<7ku!DnI+R*18)IP&ww1HTAA4S*lSnQ?aKofq1_I6okj zspW0t)zI%8Z+C9p!iB+h?I)R^f#MBG7q+jyycpz?ghlBrII!Jf>PCbc)X$*SPHpV? zcD$alv)_=mjZv0T<4&A_{UyKRXI)u_D*0XsW8M+Lu_0#z9&&v@u;ge4OjwjJJl8)#=UQA9ZqW(ZM zBcx1D|HiR@uVI$p?cJ*`C5r{xT0;hmHdSfXtki&E!FC*f?_Yl5UXWD7P+mX$&px?a z8oAzP!;f3{^xQ`N%+*+{AZ5ro0#3mK5*K_{uGAm6P)l6(S8@Lh{4q{XM|SN(zcad< z66J*Otne+01IQBj($ghobq(ma%<2lJfFHOxNk48g37Bf(XP%B5k47IQX~Qjqj?}qD zMVQ95^Xrh)8;k>*3?#0w+6wD%EGL9aCuEU0jAwP4f4&0naCdM1cX!MhOn7{^Jhh}%Qa6f8IdR(yuxCHYs zgfEy`xhyIh%??Kos>k?Kh(LTs!RLudhob}(9c*Wb65-5@9Y|>DD5HPKBC_%^^ROADz12yQ^rkE=_E^M(fLFGU7hwB_DL zFgh07CM(s7Ofi!ZU{qI^q0GDp$yX+x*F5lQ%0dW{f8ygEA~#>g_v-$^{+W4sDASKP z#tP@zn>S(PhFeP0WG1&L*pWP|k2(nUdhS$ZU+qb3b*1x$@XGK&Tn z#VJXE+xHIs*{ofN9$Zbz{D zm9w8VM8-C8s?isQttx^!P(q~erSINRvUS$VWWLQ=s1N!rKiLSs{r*}>moHb(?-~hE zbO9L^&LL3VZMH@R&ZY|uS1uq&L}mB^J|;25?PYY2y>RAy{Oq~k=x@T!X6TS1zn`9} z9Gr9MG!%(eCP=0)c|TfzXSKpA+e(A$6B1Qa9u>^VY~{F8(db# z(=AeMD+7x0IW#lbncT?AI^KdIOzbCwtwGm&Yh^MesrchyDqg)%8U%k-D0kT29cB)* z05-v=k1VLm0iN(pp`Msj|G8lw!Wm#U`ZNQ&k~?NvnBuGC<{=p&@!$NP_ww3l9$&z(D0FO=5Pa`$Hi1s-}Bd*|6tG0x)%AKt&W(7Hner9!Jft0-9oi&l8@_!;C3UGlSyJNMqbR-~qO zaU%FGYD6tY$U&TTO8MxpRTPVR8akI>I8#2Y?Y##a1g^6f-LVk0ou^*txlv1x=|8&d zXoX+kFs)3{+&E{99+N5=In%+>L>HsI!m2YhW6c4+|NLUvG=`Jvt~xnL$)Rp%OTTFS z~2gb*u5t&Q&O>V5q(kU3SaB zm9#Z9gw4#zk;;3de!MN6%tY?*^6+QE0W+X`)756Y>p-sQerN1$Cx)ZZG_(S&T`%-v zkwyjZwq7Wy;KhK%qKitlk8^UUc@R7d?fOZL<--CjVF)0DRS~V_fp+i;pjdE~6Jh^; z$T&%Eb`b3acnNknE+4wiXNxjpkw}%5<=9Q>@c${HT@!%k>ghdue&<*~{SV^%S#Ebg z|E(S3(KBt1zp@I3tG?9G=YL6NVG7s-V3IZfD-`%^IsalGY-AvA;1pGD7T3E`&RE*-f>M!_t~kg;I;nsOyV%IIcUoY10kv(R&cBWlu?CNyOk4 zDf3agL|i~mtMO?-tJF0)DcL zwj(wFJF;F~DQ7KM36B`MeWW=322*y}9e}ko17qiKJM~(FSt%EueN@x@{|H#iT1tm$ zC~p(hE${2x^=w+vEW-U`+x{>ohhPWEfe~31>Bw~+SHckN6b_U6zkkngvym|_^A{|j ztfBd=CUQ&tw9mbB?Gz{u@TGYPqyZr%)_!s*T6C91Qgrp{Q>Q?t7=m*%ZeLwLnQ|Gu zKLj04?;n#mv3Wz^^HWwhJMW|ju(Ok+cw(8JN8O7*9Q04s*|X}BiOfq`@(qiRN6{Du z@hXoBR+UG0g7l&r?fizub-)w?E77)lO@0sg$D9uN07;%Il9S{=020Mviz!u8<8VIR zr!yL>nwl$6-ebmWVLk;s#ybZonCeatIWv=9$Hi4EN&am~SA9#^nq#}|!KsHe8hsuE zZD1wftqF$*Y1(d6()f!e6Y8ITJC9#1N!Fl8Qt~7e57d58=r|EL=m`g)6DMSzlF2Os z#;!ekGUg9}N8puhC2Slcu#glo`_u^^NU^$xk`F1&&qIY?yy%C+ilvh`)se_}9uJr3 z%O;{Q{j|>#!>%sqwmD?py?lvoTZ(QVH7=dOtXZhTP3mI+(Zvi9Q&X*Jl02Qte-nrmWFj;y40}4&u@V_Lrwj&tIG+5*Fl60c7$YLr<6?fo zI3$0XJfT{NlM&q*CKOY*_W*JhILzV$O41x%Jv~<}hQNIV)|b|TXR}Vs69kI6w(y>Q zxAj7*udc3+f!$!taT~6yNHQnNWU2#Vn2iuakf{Iqy-;MhTtH}F}#Xur( zG?Wex8WWVfg&7%{7GFR`13)yU$NgX<6usCgpgjkt{`sgE?GokQxm~wkGMLBEP?YEI zOVXkmlr&@`7n$KgDUAM?hm|d-n;K}g{kH>z_RE*2VD|Xo>5^+3?M#?21FgNJ@CsJQ z_2@F`CptAMcv*{9t#BEP`~7reK$MbHW1}3FX&*_hxeBNn_LNl%^nU#Q!=2F4u{#wy zuBM{N8{OUKt}^9d)RJ2r9tI7zeMlChZ8P%Ynx*@X9=!%31!qd;&|8Q}RFdN_UBWDN z71O*#!9*IE<0a~`8DicHxKQ7|XSi$-zG7?)n8C1)xM=Lg6mSMbg?jp0xnb2sX*Fj; zw&;HF^7K5y6g}iI(7jqI-%eV>wC#_G&U}9Fjm@^mXR5 z3;DO<9Fy+dr~UprQk0B~W29OWL>D}WzvJTej_D>=;RwxT|4BKsUo*aH`SLWv6SEDw zDM9aXhJx|!t~GPPCWR`R*O+owLh*-z6q4Nt{)&L*xsqs#_GXc;m|Jc5aRqq?k#Kjd zbBqgLx@(DNH#rN1f4wz-RaMg$ssni{(wnubnpFr6;t-z;?!E$4 z6|m@xWDnYs>6B3-VYopj z_U_U}`Hn=Y;V^&x2{H!~H`G;SP3o?e z$7~v5WOojGZtw>lTyRmAq${H|RV-a1>}{Wt$ie1TJUM6l&QcynH@sk6UcUy60}_*E zz*lk!Ld|%}TIuI6$`wctNfy}ZL39tZ`72b2m6#&~biXqRsAAhv{_wPY?sS%vmHTXv zbg>~WRu0$U9lRY!Qb)1v40=i<)F&N&J*r z5pIA;>CVHOefM3rJnuocFHIe-QPCR(F0W6Z(9at{hEA2&Ch%db=$*(c$DKTWKjSjc z2{>CSN2WMu3srcHx9S@jbP&zbZExCP`;kWBpQEq8?CHM<&q9whh8$xK2J`B;6=9LZ znf!nNZf2(KcdB^6k^&lTnfMgRd4W_dW@ly?9osLftE)eJxYwBHEJ+%~QfUCO3Q@+? zK7QnmbE=*_co329f%bRhRrj1EfFuTip;_RO%$POHYH_|P!I@g&`2ELy`Bu`81;kOh z7YU~{5A48i5L}SsQ#AGYwAU=2q-5s}xJ+uwfr?O-MgL}28fP6}3qM3Dy?5WfSF_Th zhjNr6*Jb9zGE~*bOc|_L{v`9nR)^zIBoqPUh{$xUu_h}h`P<2QT`lfNm9U}gK9QY%S zqtPD2YGcXC@so`NHANi;=z?Xylkce3V0Z3N=hCZmHNUqV<v4| z9CXwaD8oBJgVWjQgLn+?_MK^<6qYF(vJfN@ZNs&dOcKSXU8Xe9)6@I$_4)F|r?wSK zd4fQA-P&mS?K<|6J}ie5B3BtX0-w>iq}s6rX(F(1qPt59>&_a z7iDWqv%d|rfbv!Wt;XJ!g`9{z!z3l_9DFbEf@fA<2$S{#Ft)MweyLm%{` z{`|LeR6pjkE}Tk8&~`I3=|u-Cj!)QcZL=C9+SZx1ili6;1G`+`&!G4swG{<-Rn#(V z#Bd^FZD*nnBoJ-Ns1EuIoJ0&phlE%jbmeqHLgF_)yP_<2(h=>R7*(z3w@jxBwtlZBog z_h`;@);9O<((_%&ix=~NoF4V|zst5^RYc+Tio{#&kO~oaA`t7%P4rOOHxA_S9{naK z5Le-J^5yq9AvMFNmM!t`g7M~lO5eMvZQT9WUxUaA9@#6*WAfg@yTY2zNSGrqOhsEX zK+-h|mOoe(FmCloH4{g|GCh-?E{*EGdklAW{qm#k9n@Lud))Zav<;+RN zoH8RRJ3p0P1+ZAoGnN90<%@++I3DZW6Id}o*hB+X1*GsVEv8l`2qEu>iF`X8GqY7N zX=_@u&CaB>L58NGr6#b)SSl3)JPAQ7JqtSkOd(f0Q`eRA8qB2MYMy1EYpHd zW!;R4+8w`vO}ULyABDBxL}Cn>(vi=f$SYn@KgHnhj04POH8Z7WKWLUUxrG zO*^b}VNd0dXtIBh5i(%v9ru6dk43eUzxDgqm$#Ws-jS1;HNecpIy&tHEX z9rVW@P!E_+eyE1|CrK>Le~T8yfklRg|3`jb-?Uaqiq!`~(6~VV0xtgScT8~kiS10< z1{ZXh#b5hI19XvM>^^`PKX>o;rMNaXcN*UkE`CQ4mlIuLzB+LGBop2GFTL?0CZQvp z02s*mB=sBZQjsx@w848?^tp4Bcwyc4F!J}2TC8?Nc5JRU=P8Vm>!NS*s5^%b8%7Gr z2qB_UV6U(jAN_d?gaw)$NOw^^#m8$IR-B8E4=>)yH;8sn_p)C@qdryMc7^h-3)A8g z-9`)V9bH*#gmdJL`}PG=aM8X5v>bo(r0Rk8QglmhJ6xHq0%pymV5Q_lNjq%dkRkMy zS0;%e4*9k~3mAjsF%qeJci0P4oaho}2eCeBaBkgX5(stlew|%9ss)5eQBe={9Oim{MJojP6-Uw7KnqagTp2U^2xvU>)m^7GxKH~ai9vev+L`6c3I*FjVA>K zw<-{cUF2ah^&5_f%-OM7&+W`jC8=H;;Kp$WXC%)XpO#CPFPHm>#u*N^nB@d{a!Te) zT16svTUA?qoerq?K{(@vA3yCzy+BXwz$Qxi#}6NN!RDH+LCj+i(I0;d%ZR+D|?r&lfK_|7gC}G8#j7Ywj>=+r4B+C@eta5_9>8j+%cxNs=~H3G+wJ+pn)tjO zn>Z+I-)3|8u_p*HbjmR4>t#iS#$|KmD)MEzazK}sK;Oj1#$LWW^w5M37nX@RJbbgY z^$(7HlG2LqjxjFqe5{>B=b@(XMRX_S9_~4C;FPITnfE51*6`sJeVz0R=lUD((L*YG@FwRC>=EPU1_Ow**qjX zvkW$YM&2Q`(b7kN=$!5E8a9%x%Y_0{(*6P?iJn6=;8j$dqU+o5LhCPOnd*J^=^Gg} z)xMpg9Gpn;KwlPR*UqntKrC#?4diz0$z;S@`F|y8h+Hf`PS|FxdihkVUsNF6e16M|Ux0;vhy1=gIa8jvlJ9obJvHXSVv7h$s z-J98GkDTTfx^R}^%FHXkRS9KiYU5W}^V#*0DhgL+R$$1MyRWbrvFO!n%ea$>p;D5Q z&D@e7Vd&7~!M7PCtsrm|<3Y`hmyaG5W9OOc5FZ=6(a+4p=ir2e!mWFIM>Y^PYzVQF zmOLH67K~q|Nv}CBEL9}&BgkElK@mk}^B>6%J4qfFHj>${{mE?vFqJ)c?DAE=3dXDwzQkMiK5boB;+X%(j`j zFsc*GO4qv{!z^xPT;zub-p@P$vsYW{2eg3?@wqiHO1VRTy#KIIY&mJwgC_Q#|D%(WGIUn_FE(rEH4dFSacXik`7hYpaN*Z5yU zqQjyfF=+lA)r_Hyn6SyG0~)zHskk4fe~PABe9H*50}dH<>a^9YaJV<;0LCO_2B|bj z1_b;7RiZG9(bAIu%s#nOMiVE3a(gYG;@PY-4t z_}9pt=c`3Lr&))Toa^T+m`#}frf~Gf${e^Pm30ZAj z-8lwZRK!&HS{<6;n0A>_%vg`nLSqnmt9&OdJ`|nMFVHi$=l^^4>RQ;T{1{165qLlW zqR?R2MG`NPDLVY=8pB^WKPJltVIf&A9ZAsF1a*-G<7vRni7R0%mjryC2podg;h$+| zHhg<^fI_ROx(Q`5ZQh=q!P(_dL3|t$zUHK16lz`m0{;!U55@|bxonx4xQ<34A?n(1 z=+Gy{#T$^>lY8M8(n?3i_`zaj4=f=C3(YahzGRV;JrMK*N%UAIi(+(Socw(B_qOa65>( z>3IP!r2JYuZytLl#IKiyMNs3H1LQ6wEZ8XwEeS|Mj)*%u6C?mi0Kkd+=9UK9ALKAD zZ^&FKDv){eo04J?@lTORen)dYeY#P60rn9jn>GGdYGq8rZQ_O4+}^ zL;R@Vro$GV8RWY3jgUM{!wDNT5VMfEulQ9v+`+H;T7*Vaw`h`BE#e+)TP<^v^c<~? zst>qtz@%}G+0YRqikNV;uwT3RygS|sL~iQJSKESvm8=c)`tj+!K7Z?DNlB|_&C>T( zZ=*|6$YSG=T*IfYTD9?=zN94UyIsj*4mcn6Ch}tRQOVS>2Rr+=17;|oLv)8@!`rwh zN+0zHKC({FlE}|rvV%CxU9*(}MOH%Gp?T038)95(;>#Iepx$&%$-)%si1tXzOd;f` zFH`TO;@A;b4NxyAC1>A z6y1*}Bpf?<5HqhVWD~gKc`|Ia#$7-GljfK`Ay(z(eTGxzrbrZTTD8_|L+u1aMV5w4 zgM&r4(y}z|%A6|Zp9KU4!i?6Cm7o-hZyOxcvr8Auli=W(cWo<>zoewLl@5}m2T0VM z`1Cy~C5jy$zxnJ-T9uaa<>-I8aT0A2HHozyDlN<1=o_Qo0a^xd7cSg@-0X?&t+dpGESg1$Zxh35;@j?U zCmq10G&|79gq6ugqtHRSm zac~oPU%PD(U`U;)GR2^BzvCabWS1{3NDLl#a^&?9&;IcC=A6JMf}GDE#)@sj{fAGn zaF*mTG|0PSutw`Nl?bdz;!c&&T+SeRYoH^TkhsZj|3_~MR-lR0^>qn|v-4-Fl?v0V zGM}i*8LMGh47A@=eFZyjY8= zq|u_467vkHr9*3 zKm;PfCEiz7SgMv2XWHOO#j(V^(I9em*F{QQU(%dM4bLm`wF<-`!8N;6N6HXxWCMaA zR@%Hs)%6s{MN#9<(+_cAyXUbO2GhDNTUN#Ur@1?Nad)Y!&M~gmA0a#9;k3rD&#^w_ zOC7bf!%}?T?m=V5uEW_Zap%CVX#395U5B~g_wRgmO$i}%$*(b+R}M>hYsGz!VFfb* zk)8e&6@LCq#hA9OTVM67oQ^!=a><76e*4cq$jjS%Z($h2%RYKFFYjQbM&I{;&!5jG z&Qo$Ts*9~a@;c&Kbh!-T8=0!EOjAPxp#i|cP1EllWgqL2WE0hZOXHIyi>mO(l7A$v zwmLdGojM(|ZK_wPG?6-k0wg0DaB#Q*yPbG{!2S`Ojodhx&}0`Eh1K0#c#eYN5+`}V zl%yag?2>G&M;4r}Er@CuA?_P@6CAKyRB>7aoS|f_dIkoj2tRP@>O?aVcScJQlumq7 z_(ZOnwwhU-cmQMP?+-Xm2LbT?T+UQx?O|?`S;qFFGFo?8OH`OJq8_hgqdJa}H@Vt-!i@(DdY<0X}iexO`K+)V)sj7R_un5eCs z$biuu_l>`B*mEC)5!-WOA_kvAr?l1GUD27Ht?)w#=vY+jr6D^sp{i*msy~eoqKoIa zUM9RXs;|bo=4lM|5ievez>7k`kQ!kQ3=f0wt4sb&xt%KwBc!*&f6i~$`Pbq|(bYf* z=BnPQ4@ZQ|9)^`~iL_8(nztZhlV*`SVZ5tGM)}9kzQ+{>$OW)rM+cv8FX@?!3dI9a z8;rKo@GMx?v{Y&8rGDfd`pthC_6DMpKQpw2VI`2xqciZl$GxxO6jd=@K_aLXA%X3Jd;Ur57(>p1{(-<1`#@ym2<0~~4nPb;ooKH(S2Zv`!kR<(?OPb^d;LrHuD?MI5Qrj! zRh?m_VXUjM33jN9#=nG9DiwIS)tJRSdPKnmI|s4?<)*X1RQ7DmDLM_8{HU&bJj1=8 zYho#!jH|km#~dMZP^!mSlmk2U`@6pJ8^aB$^I2~|p2oq~Lm!i}AZRrnu}-`zP(Vt| z|1hYjGzq|j&z1v^IM3>*MpX_LvpHY9$ndbhdkRQCY$Z+`(`5EQxG_p|%P*rs zy`fqP4e`}YGzNgtn-)cCpsT$3YGqg|W72gavIjEn*Zo2;b;CoZ(*??MY4&; zztn;88*6A^oq(}1{0vu)W`N3@oQkxbtOxpBx2F?YI(j77<2cfJdHp>Zy#kkFyCEDM zVU`Wss^T1-Gp}DSL=@wvYZ6WB8W3Qe-#bg$DsmZUJ6pj|cS9Q{cQK%D`*tc#E*5bm zOz+oEpU~7)7so$1d?`Dtcq!D*EKs$F4_6{VZC!7gIgx`#p^(np-ynteB_8IuSIk&L z&Ogew-LuozL1uoXifH9{uiyZqbiv@f8OTM*aSv*|h#g$rA@$truBQ1=x}1-T$wo*9 zf<8>VyD$mkZ*=z)=xpxWcQHzw*xXQ~znh)RV28ebg}H3ozCDU!TRL?YFYfzHfmL35 zx|01a1mgzUYZx%+E0{%SCAvU=ju8`nO(XymZMB=PuZw8w{c{TKEl?%OT;gKycJwRN z%3rkNIX@OKXcwzR5m<6)!@L)>~w<{f7?C1W?KEE$ONI^MYrltVS1C zZnD~8c{JE?vY4KtX}^m@GPU6*&p7hXp{>rA1vk->XV0ZP`mmyXb4{j>+fu?{YZ*-> zBi%_ZYExrJRv!z~<1VY*hF`sMCAt;OlqG=;ylsE$xj%QEYqk4yNPG8!mLq0B8$M%< z4#VCr*V%L8em7no%|>l46P7%MRbItF-QaZ{JGw*Y0i7WCYgm%?Y9+IP66RjF%J?X^ zV@tN!J%;9q8^lU417cK?;qj&GrYZx^JL%p)GsoOHuqhZF zph+Q?@6dr3a=mc}n~bSE>M@`IY6QaKtRl4u%j6ZuF6AI1+91GwqJ!hIT12)eUP;JN zCGb+=SG{$%@zsIL&Kd2K!^*EaKpVnL)9HAeL`3LV-5kfmX)bT|7w)IL5}PZ5+1B)% zT*x2UJc?R1L%JEe5eOXmkX>IfX$3OdBB*M|=>r3+L{vf&22=Q%i?Vcbbf)eWp z4Ad>j#zK*(5fVT5dUEqewL6a<`TD$i;h!^2)0Z;FUKg*x6+q%{)8^1G7GlD}F8Euu zU}TsLZ66+nGI@XJD|LCR=&9rQ0T-(Gw__Z@m+A^@IS&-a)rx0ZR^NZy-^oAX;(k_V z=%|RgVKj~+w%GW5jlsw#yRq104DCD^QamVd zd?LK-$~t*vZcew0X;!J#JAx`?xCmzl042zVK)Gy;gyn==^UlmN-UDvz#ZpAI*Mw%4 zUP>CqiT1jiZqEC%?AxoSSJqz}9&MpwwX$xd^0&A}8WGtIg;hKmNcgFJzO-DLs`cSq z$@-`2zT?r(ySxZI^w(eQ_Kjo2k^#HudB;DyUFhavp@+!4LZ=zV0lkU6vA%qThTAqQ zYBb5e!dHm!XU--aGv*XfS41|p8u~ZpLb|+9t@(59+F_p_bo@F3ZQgGh^Oh_rjB0;H zt=&R9CnH^>h|8R6(B(Xe7MqX9#Pr8!8kqvymA>_~D0Ta^i4H*niee0NV6na(xthYf zVzvk+Oxf_86}X&DpFO)_vl@^e1qfa00Fz)YE^6V67>IMrcHc0`qh2vs%`S-EHjRvq zQ`skjEi5Y5an??h*?&K}ax&N+>^$aCyet^vfd4E4oUpgNcmF<<<&iSu_)y{4Vf(&g z$99^GvF+O*={Vx`moMit?d$qRG0gD0nXyV;4zr#)DB%%*URdYOw3|L$p90~H3C*-= zz+4}w+d*~lkF3?!f0N^Wsba5^q^Jr0!fQ1jHVjFQRs0kafLtix;qfU+Y@xGKk9FF*! zhGRR8dSl^ExM;*oc!a`Vg_yWa$*n6mqt0=I5#6OrLnxE6ARr%LP4eW0d_*JUN=k~( z_l?bGIMIxXb|~INyMOE3s~1ZB!BC6Wt`(M)1OZZ3==jJI21B=3opG&&>jS$N_7W9S zYUjQVagKX%XrL4H+T_U}5j9@#Tr(Qx?z>_7n|T^GzKyz~l2}$VffEFgGE2-g&JI8! z6&Qm=SUYfQW|^|GvdxqJMJ2+X5t-F`@XeyjVx%$%%c!mC=eowm?j>y@^XR0jTl)4b zZDJ%cDM%cPcYr7{gg5Wa+!3<~;#N>C&{5ed$VlhIeK-57kZUsF>ABaz0ToIgl)I50 zf-)n$qVE5qr^7UqU=x-IBf^1WW%hqhI7Ip(Wm)$(WaJyZzwOCh zgp(L>=m%MQU8+u17YwlC@_1(qY9s8S7NDB_(bx!swe9N{<3Sq?XY$IjvjKyG5qW%8 zb98WEC>`*p8~Hf^NJhpB=#N&kf$DY}GUV&3^NT=Yx3mug-P_5KaN#$PjrnpN?Ot? zduC|ojp@5c+XWQD32eCV^8saxXEJqlP*9i>&-T&TFJ{{1{GbwcV%%=8%FBhC@G1Gh+9uHaEJ-0L}_{d^_6e*4V9N6 zR)D?8riI_j*t)G0oyJ(4=g*$y#GH|8_tO=KAnrz3KQAbmPUHoP?!vv4-QQ@UG0Tnq zi`cr^bjY>EcUym21{vDWh|Fq9>JTy3!G7xhm8~UTcE=!5JB%s~%{Q7>j808aN*3Ff zkTe>eHR{kIG_#E5zAJTI4Ly03{Ny>b48wAh`_%edi&03>%5*9s<3-wa_U!e=Ps}dN z7!hIuNQiNcMu$Bz} z`8LSxTvh@04XFE{eC4Dk%EM>R{=|bWAvP>E9G4l!q~E{qI754^vvZHVx1r|TQn0zf?He27y0q2QQpoW^ zmPfmuPGcBsywwG|WZ`BXBq5jQ-E2WMq)IZ!V&-fx3|{r+o2z8lmx5$r?JHa}fQHel zwB;PrzrA){)n4+B-C%)c`qszbfH~+jw2;T3&BYXmb45Z0B@X{WpMK5 zyRV!N0xoaT9HBO>FlCL7{Vrh?VV-;2alO{CivE}4)_2cYv=K~AKO!5NY0co$l~*}J zsCkwQX;@|K`7^KM>yMkSk7!%5VLx9);>M8z!%(F@47=+P6Jlpo>iCFswTjZWWP|}` znrWz<*8BTw)gc(N2JKYH8N!aYJmpUOMk$@{3+VMUi>+<-P7$eDjS&iOC6Xl0Hzqw? zn4uG50xie7c}6$7)w$Li(>-t{>oJ8+fG77LP;_N9N>psPfYYd!)mRoF+a@$Li$3C% zAum4G6MHxvtNNM|s_2POS5sTJb}e5-FNT`^E~C$?f%my)AQqO*x(RExCyb@v=5b(G z0iU#q%u9MO+Pc0M&g`TZ0Y|U3mugf6U>W?Bx}Ic@L#W|u?;q)wzBKGoAc&z=hV$Pa z#B>o%4p!O8qo9H`A0;|Hj={zCTniUPo_)L;$3gS=&&%D&AMCU3o^-1JRDmVi0QC2L z_TA~c#P}v|XEJ-L{xe3;bNi9j6b=3ATF}xhcX>`+RU9#iA~l=lJ=X`yl3n^hn74)K ztaxEa#{nO7+wsh>czuNC(=*?s=~>E}R+BLtO>gu8&atXMk%8KRcZ$NPgdScFcj($i+wBOB zLQF{ZMqEk@YBsXhg;h&;coPNjU37i@8V>b>EXm`C02YET zeF{@*==VBrSq71JFmp8m5e6QY#g?obQpgswnaqyJUG;xHQ&CjReJ?Y zOAZNympMdDDi^)+S_dJmaWw#qZ1@(}G2D~3Sx$2dwl%DEONUzyR`&D=af}`9=m@+L&?{m(A$8!M%)Lr_1IZl7QtDHhdg=Kg z4gtAcx@=kT;161*DMCPfuzz{Wfp2Q=VzxP-n7?TgOwW_@vn))musFz$a_#xW6N9YQ zxJ0b=Q{#Vx=4L@F7hVyt`N+=97u-;F?i-Td;7g?Kt&&GmDO06ie*gkL5b;Q{6DF%U zZ$bh+yQVRzmGsJwrIfkCM^d~|h$Zbs<@(Ei#_>&i)$%;TI;|(4vyFqI_x>j@6Fp4~ zeDS(@rYsS2s-GBD%Kp|B|DQDMPRSyBu1}O^@C^A$gdIM1%;=d3jT6-J>i5FQ^Nix3m2VeihYA|g119OJ;u2IOp{_nT|rcn09@)1}J*Z12gcksKKf zUmYG1wIG@z9+Ka4;SkADZ>Rd=Zb}xt=;IblE&x2kH(|5#S185^BA#8ygZD_zEE9qN z2zQh#9K7*Ka?jl)IbL3?Xj-T}uOfNe5D;i7?v%S7x^&Xlr+{~-psBRHNCjml3W#()aFclJpJuM`u7K%)6SnM>8%mK=NK#*I1AaUsH6CM z^43f|;Xt$Q-TQQXy}z$+PrYR%apaj))etd&SkP;wN2oz4QYf+xALbsn`x!`Ch853S zD0b1q%Piqe& z>>{uw##zrZRM%=Bk^Q;0Rtq7*wrz)zx#X{q^y0W>xek&Uk|}r^Oa$k_o%}?)^gH@-3%1!&YuLUOSqB;3+hQ}WZKGpz7yfrJm=9fyV--t`@WiZ*wsX8=+i{tnK8XRt zxFHG^!cG;%l^)@Kl9Z**nE)J)E&$pcF(~3nuSks=CuisTFrHf-<^ixF3C&-Tl>&>7 zk`=U&=9DtRA5d1MgNMZV1}Vu|$PZn5;XoJv@9j&=@m`5*Zp{Q{LBV=3(768Ivu8q=&JN)W zfld@$q7WEhZh)@9=_wL>3XHZj3{xxyJ1Wwc=2M=m2 zkVG#Bk8_fn+X$>D5Sjq>leL(KWu`;DCXz<+Mj?3{IXl>{8_jwt-%=$i1&ZPmDB6)yr z$5NC24uS-q^~09D4CsyESc#H|G@p_v(OIT80nC6#tDvTDi^vh6sMtTAE3M<1Bf}LT zzeW8IDNMV82X~S)R8VNY5okHKxOKjqX9`lqzo%QZvttMj+m3!sb|~sfX59*PGvbUf zEb5=ZLh<;qAKEI8NFKLqn7*K+NXTIj|A1C@aVfGZC2kw4(;afv}6*13IqNaKsFZ<1iXY$7QI-GB6M6Pm2hnlZ^?_wLqQ zpVTO%Z3Pgm%sB8y2n8|$1wL%SopuBaUK_HJ6~0zQSQKD$d~+TqK(_D_+-}Z#&v;J4 zPc=0FIEc)S|9+Z?#FGzxqY@w(UIAt;UJRPoO#d|JotSTHq;t806s~Wn=b|dTCL2q@ zsS2?T_yWDUd@rearu!5dh;q@gCjCFX8HH_Zc%#Y`uQ_ zR}g^)!l$8iEdtg(VvjuduZYHD2nov(?zfYlT4jCtpYqGZ)Lb`QjNhNnzD zky$@FXR~u0^+hp>HboY5VhhL#=`%~z?w$i8--Pmm7)JXdQyJ(Q-g|p~#Y}aDw*cvt zw`GwG2_R38BTP;0c8jm#n0fu`^I$R4-lb>!|$ISImT=? zn*Atf2?vy4SmJ=&FcR{u|6H9j;1)b7-VFJcLzi3@AulgCx3!V8vPG5%VW;@56`blA zACqRFZ9>L|w#v&ZHZE?cc34Mdjj~v-rH=$)_(~Y~R?# zVShNYjGi&k7Wwq)+jsBg87|#)ZQYk`j3B9GPJ|gf00!YxU z`-O~y?6?1+2^_Q_U#xr5E=a@vg{v-Kyf_$$#LSHG(2H23v=`uxcae;dNc!);Jh?0@ z6TPlz%Z|s!G6ir{Y%U)PHQMctEtpQCbM_*3?}Z@IZUFAzuEhd2AAPtaGOlqdl9su+ zj+;>T!h@i=Q_pVQXwK@}rw<=^pI`-mH0DIEjpP38a%`ZWrD!h2&m2!JrumSPah(@F z1z+8#NPMwU2%jq4R`NQJ+&k9aOSp-`Sy2mfc$hJc#xF~$eC1W#kx+B;Lpm#X!M4JB zIo72Y%3=Jg3~an)9)+T(xqryrSA1DacY8-iwPf$}D3sq0M~vL?23-IY0@=USfo$v&My%rU$ea(> z<*!t<4l5)N2;@^`q;TE+YU$T@M46SF|)PUoVKy|C+f?;n!miPD~i*uQf;hPQCSd{kN7Dp1is@k=vkp*gL;C0LGMgB%{>6Ff^?`c>K|0e7*V26=1Y- z@Q+82qGuyRL8(kt+*+1i=0h0a1NlLJ%ReazIl;o5n?2e=XNrv>`XWF`Ske9U!U1Sx z_Q1g;?Zjs?rgd9sQG^PhBZu`xuTg6T6JP}R*@3py?DCk7t=G+@qBzel@Wa_oV4=EY zgW2nXDRId0!yd=Hk5r1D@3sq@=zJE24&{uTcAGJcqB9IOq;`Yh^))yZUSGq!bluji z)5|{+Jls07O9A6r%Mdpss;a(zfX-Af$aQrC$u!w{v@g`=yOS?Wn6RYYrmN&C8eZs# z-xMg}&rx(Is3CZJwE*L(yL8pgOO2b=Wn{q$n%>wib#=KZbnrw`O#b3309^lfT}-cZlj4oqS9$`tktYHgCw^ zI<+#@*y=Ya$B^Mj<_X-J%$|PY5EE9Wpn1#43f5e7SiGEL<-$hco(-BE^@R2v#XeO@ zPc()9{Lzb$t=O;f>)#bVLK7~2&uc6LY@=@Ifj E0G?_2Q2+n{ literal 0 HcmV?d00001