From a88f031b1bc50415ff4633444ee4a6a5dc654707 Mon Sep 17 00:00:00 2001 From: Callum Waters Date: Tue, 8 Sep 2020 14:17:14 +0200 Subject: [PATCH] ADR 59 evidence composition and lifecycle (#5331) --- ...-059-evidence-composition-and-lifecycle.md | 298 ++++++++++++++++++ docs/imgs/evidence_lifecycle.png | Bin 0 -> 62565 bytes 2 files changed, 298 insertions(+) create mode 100644 docs/architecture/adr-059-evidence-composition-and-lifecycle.md create mode 100644 docs/imgs/evidence_lifecycle.png diff --git a/docs/architecture/adr-059-evidence-composition-and-lifecycle.md b/docs/architecture/adr-059-evidence-composition-and-lifecycle.md new file mode 100644 index 000000000..20843bd8e --- /dev/null +++ b/docs/architecture/adr-059-evidence-composition-and-lifecycle.md @@ -0,0 +1,298 @@ +# ADR 059: Evidence Composition and Lifecycle + +## Changelog + +- 04/09/2020: Initial Draft (Unabridged) +- 07/09/2020: First Version + +## Scope + +This document is designed to collate together and surface some predicaments involving evidence in Tendermint: both its composition and lifecycle. It then aims to find a solution to these. The scope does not extend to the verification nor detection of certain types of evidence but concerns itself mainly with the general form of evidence and how it moves from inception to application. + +## Background + +For a long time `DuplicateVoteEvidence`, formed in the consensus reactor, was the only evidence Tendermint had. It was produced whenever two votes from the same validator in the same round +was observed and thus it was designed that each evidence was for a single validator. It was predicted that there may come more forms of evidence and thus `DuplicateVoteEvidence` was used as the model for the `Evidence` interface and also for the form of the evidence data sent to the application. It is important to note that Tendermint concerns itself just with the detection and reporting of evidence and it is the responsibility of the application to exercise punishment. + +```go +type Evidence interface { //existing + Height() int64 // height of the offense + Time() time.Time // time of the offense + Address() []byte // address of the offending validator + Bytes() []byte // bytes which comprise the evidence + Hash() []byte // hash of the evidence + Verify(chainID string, pubKey crypto.PubKey) error // verify the evidence + Equal(Evidence) bool // check equality of evidence + + ValidateBasic() error + String() string +} +``` + +```go +type DuplicateVoteEvidence struct { + VoteA *Vote + VoteB *Vote + + timestamp time.Time // taken from the block time +} +``` + +Tendermint has now introduced a new type of evidence to protect light clients from being attacked. This `LightClientAttackEvidence` (see [here](https://github.com/informalsystems/tendermint-rs/blob/31ca3e64ce90786c1734caf186e30595832297a4/docs/spec/lightclient/attacks/evidence-handling.md) for more information) is vastly different to `DuplicateVoteEvidence` in that it is physically a much different size containing a complete signed header and validator set. It is formed within the light client, not the consensus reactor and requires a lot more information from state to verify (`VerifyLightClientAttack(commonHeader, trustedHeader *SignedHeader, commonVals *ValidatorSet)` vs `VerifyDuplicateVote(chainID string, pubKey PubKey)`). Finally it batches validators together (a single piece of evidence that implicates multiple malicious validators at a height) as opposed to having individual evidence (each piece of evidence is per validator per height). This evidence stretches the existing mould that was used to accommodate new types of evidence and has thus caused us to reconsider how evidence should be formatted and processed. + +```go +type LightClientAttackEvidence struct { // proposed struct in spec + ConflictingBlock *LightBlock + CommonHeight int64 + Type AttackType // enum: {Lunatic|Equivocation|Amnesia} + + timestamp time.Time // taken from the block time at the common height +} +``` +*Note: These three attack types have been proven by the research team to be exhaustive* + +## Possible Approaches for Evidence Composition + +### Individual framework + +Evidence remains on a per validator basis. This causes the least disruption to the current processes but requires that we break `LightClientAttackEvidence` into several pieces of evidence for each malicious validator. This not only has performance consequences in that there are n times as many database operations and that the gossiping of evidence will require more bandwidth then necessary (by requiring a header for each piece) but it potentially impacts our ability to validate it. In batch form, the full node can run the same process the light client did to see that 1/3 validating power was present in both the common block and the conflicting block whereas this becomes more difficult to verify individually without opening the possibility that malicious validators forge evidence against innocent . Not only that, but `LightClientAttackEvidence` also deals with amnesia attacks which unfortunately have the characteristic where we know the set of validators involved but not the subset that were actually malicious (more to be said about this later). And finally splitting the evidence into individual pieces makes it difficult to understand the severity of the attack (i.e. the total voting power involved in the attack) + +#### An example of a possible implementation path + +We would ignore amnesia evidence (as individually it's hard to make) and revert to the initial split we had before where `DuplicateVoteEvidence` is also used for light client equivocation attacks and thus we only need `LunaticEvidence`. We would also most likely need to remove `Verify` from the interface as this isn't really something that can be used. + +``` go +type LunaticEvidence struct { // individual lunatic attack + header *Header + commonHeight int64 + vote *Vote + + timestamp time.Time // once again taken from the block time at the height of the common header +} +``` + +### Batch Framework + +The last approach of this category would be to consider batch only evidence. This works fine with `LightClientAttackEvidence` but would require alterations to `DuplicateVoteEvidence` which would most likely mean that the consensus would send conflicting votes to a buffer in the evidence module which would then wrap all the votes together per height before gossiping them to other nodes and trying to commit it on chain. At a glance this may improve IO and verification speed and perhaps more importantly grouping validators gives the application and Tendermint a better overview of the severity of the attack. + +However individual evidence has the advantage that it is easy to check if a node already has that evidence meaning we just need to check hashes to know that we've already verified this evidence before. Batching evidence would imply that each node may have a different combination of duplicate votes which may complicate things. + +#### An example of a possible implementation path + +`LightClientAttackEvidence` won't change but the evidence interface will need to look like the proposed one above and `DuplicateVoteEvidence` will need to change to encompass multiple double votes. A problem with batch evidence is that it needs to be unique to avoid people from submitting different permutations. + +## Decision + +The decision is to adopt a hybrid design. + +We allow individual and batch evidence to coexist together, meaning that verification is done depending on the evidence type and that the bulk of the work is done in the evidence pool itself (including forming the evidence to be sent to the application). + + +## Detailed Design + +Evidence has the following simple interface: + +```go +type Evidence interface { //proposed + Height() int64 // height of the offense + Bytes() []byte // bytes which comprise the evidence + Hash() []byte // hash of the evidence + ValidateBasic() error + String() string +} +``` + +The changing of the interface is backwards compatible as these methods are all present in the previous version of the interface. However, networks will need to upgrade to be able to process the new evidence as verification has changed. + +We have two concrete types of evidence that fulfil this interface + +```go +type LightClientAttackEvidence struct { + ConflictingBlock *LightBlock + CommonHeight int64 // the last height at which the primary provider and witness provider had the same header +} +``` +where the `Hash()` is the hash of the header and commonHeight. + +Note: It was also discussed whether to include the commit hash which captures the validators that signed the header. However this would open the opportunity for someone to propose multiple permutations of the same evidence (through different commit signatures) hence it was omitted. Consequentially, when it comes to verifying evidence in a block, for `LightClientAttackEvidence` we can't just check the hashes because someone could have the same hash as us but a different commit where less than 1/3 validators voted which would be an invalid version of the evidence. (see `fastCheck` for more details) + +```go +type DuplicateVoteEvidence { + VoteA *Vote + VoteB *Vote +} +``` +where the `Hash()` is the hash of the two votes + +For both of these types of evidence, `Bytes()` represents the proto-encoded byte array format of the evidence and `ValidateBasic` is +an initial consistency check to make sure the evidence has a valid structure. + +### The Evidence Pool + +`LightClientAttackEvidence` is generated in the light client and `DuplicateVoteEvidence` in consensus. Both are sent to the evidence pool through `AddEvidence(ev Evidence) error`. The evidence pool's primary purpose is to verify evidence. It also gossips evidence to other peers' evidence pool and serves it to consensus so it can be committed on chain and the relevant information can be sent to the application in order to exercise punishment. When evidence is added, the pool first runs `Has(ev Evidence)` to check if it has already received it (by comparing hashes) and then `Verify(ev Evidence) error`. Once verified the evidence pool stores it it's pending database. There are two databases: one for pending evidence that is not yet committed and another of the committed evidence (to avoid committing evidence twice) + +#### Verification + +`Verify()` does the following: + +- Use the hash to see if we already have this evidence in our committed database. + +- Use the height to check if the evidence hasn't expired. + +- If it has expired then use the height to find the block header and check if the time has also expired in which case we drop the evidence + +- Then proceed with switch statement for each of the two evidence: + +For `DuplicateVote`: + +- Check that height, round, type and validator address are the same + +- Check that the Block ID is different + +- Check the look up table for addresses to make sure there already isn't evidence against this validator + +- Fetch the validator set and confirm that the address is in the set at the height of the attack + +- Check that the chain ID and signature is valid. + +For `LightClientAttack` + +- Fetch the common signed header and val set from the common height and use skipping verification to verify the conflicting header + +- Fetch the trusted signed header at the same height as the conflicting header and compare with the conflicting header to work out which type of attack it is and in doing so return the malicious validators. + + - If equivocation, return the validators that signed for the commits of both the trusted and signed header + + - If lunatic, return the validators from the common val set that signed in the conflicting block + + - If amnesia, return no validators (since we can't know which validators are malicious). This also means that we don't currently send amnesia evidence to the application, although we will introduce more robust amnesia evidence handling in future Tendermint Core releases + +- For each validator, check the look up table to make sure there already isn't evidence against this validator + +After verification we persist the evidence with the key `height/hash` to the pending evidence database in the evidence pool with the following format: + +```go +type EvidenceInfo struct { + ev Evidence + time time.Time + validators []Validator + totalVotingPower int64 +} +``` + +`time`, `validators` and `totalVotingPower` are need to form the `abci.Evidence` that we send to the application layer. More in this to come later. + + +#### Broadcasting and receiving evidence + +The evidence pool also runs a reactor that broadcasts the newly validated +evidence to all connected peers. + +Receiving evidence from other evidence reactors works in the same manner as receiving evidence from the consensus reactor or a light client. + + +#### Proposing evidence on the block + +When it comes to prevoting and precomitting a proposal that contains evidence, the full node will once again +call upon the evidence pool to verify the evidence using `CheckEvidence(ev []Evidence)`: + +This performs the following actions: + +1. Loops through all the evidence to check that nothing has been duplicated + +2. For each evidence, run `fastCheck(ev evidence)` which works similar to `Has` but instead for `LightClientAttackEvidence` if it has the +same hash it then goes on to check that the validators it has are all signers in the commit of the conflicting header. If it doesn't pass fast check (because it hasn't seen the evidence before) then it will have to verify the evidence. + +3. runs `Verify(ev Evidence)` - Note: this also saves the evidence to the db as mentioned before. + + +#### Updating application and pool + +The final part of the lifecycle is when the block is committed and the `BlockExecutor` then updates state. As part of this process, the `BlockExecutor` gets the evidence pool to create a simplified format for the evidence to be sent to the application. This happens in `ApplyBlock` where the executor calls `Update(Block, State) []abci.Evidence`. + +```go +abciResponses.BeginBlock.ByzantineValidators = evpool.Update(block, state) +``` + +Here is the format of the evidence that the application will receive. As seen above, this is stored as an array within `BeginBlock`. +The changes to the application are minimal (it is still formed one for each malicious validator) with the exception of using an enum instead of a string for the evidence type. + +```go +type Evidence struct { + // either LightClientAttackEvidence or DuplicateVoteEvidence as an enum (abci.EvidenceType) + Type EvidenceType `protobuf:"varint,1,opt,name=type,proto3,enum=tendermint.abci.EvidenceType" json:"type,omitempty"` + // The offending validator + Validator Validator `protobuf:"bytes,2,opt,name=validator,proto3" json:"validator"` + // The height when the offense occurred + Height int64 `protobuf:"varint,3,opt,name=height,proto3" json:"height,omitempty"` + // The corresponding time where the offense occurred + Time time.Time `protobuf:"bytes,4,opt,name=time,proto3,stdtime" json:"time"` + // Total voting power of the validator set in case the ABCI application does + // not store historical validators. + // https://github.com/tendermint/tendermint/issues/4581 + TotalVotingPower int64 `protobuf:"varint,5,opt,name=total_voting_power,json=totalVotingPower,proto3" json:"total_voting_power,omitempty"` +} +``` + + +This `Update()` function does the following: + +- Increments state which keeps track of both the current time and height used for measuring expiry + +- Marks evidence as committed and saves to db. This prevents validators from proposing committed evidence in the future + Note: the db just saves the height and the hash. There is no need to save the entire committed evidence + +- Forms ABCI evidence as such: (note for `DuplicateVoteEvidence` the validators array size is 1) + ```go + for _, val := range evInfo.Validators { + abciEv = append(abciEv, &abci.Evidence{ + Type: evType, // either DuplicateVote or LightClientAttack + Validator: val, // the offending validator (which includes the address, pubkey and power) + Height: evInfo.ev.Height(), // the height when the offense happened + Time: evInfo.time, // the time when the offense happened + TotalVotingPower: evInfo.totalVotingPower // the total voting power of the validator set + }) + } + ``` + +- Removes expired evidence from both pending and committed databases + +The ABCI evidence is then sent via the `BlockExecutor` to the application. + +#### Summary + +To summarize, we can see the lifecycle of evidence as such: + +![evidence_lifecycle](../imgs/evidence_lifecycle.png) + +Evidence is first detected and created in the light client and consensus reactor. It is verified and stored as `EvidenceInfo` and gossiped to the evidence pools in other nodes. The consensus reactor later communicates with the evidence pool to either retrieve evidence to be put into a block, or verify the evidence the consensus reactor has retrieved in a block. Lastly when a block is added to the chain, the block executor sends the committed evidence back to the evidence pool so a pointer to the evidence can be stored in the evidence pool and it can update it's height and time. Finally, it turns the committed evidence into ABCI evidence and through the block executor passes the evidence to the application so the application can handle it. + +## Status + +Accepted + +## Consequences + + + +### Positive + +- Evidence is better contained to the evidence pool / module +- LightClientAttack is kept together (easier for verification and bandwidth) +- Variations on commit sigs in LightClientAttack doesn't lead to multiple permutations and multiple evidence +- Address to evidence map prevents DOS attacks, where a single validator could DOS the network by flooding it with evidence submissions + +### Negative + +- Changes the `Evidence` interface and thus is a block breaking change +- Changes the ABCI `Evidence` and is thus a ABCI breaking change +- Unable to query evidence for address / time without evidence pool + +### Neutral + + +## References + + + +- [LightClientAttackEvidence](https://github.com/informalsystems/tendermint-rs/blob/31ca3e64ce90786c1734caf186e30595832297a4/docs/spec/lightclient/attacks/evidence-handling.md) diff --git a/docs/imgs/evidence_lifecycle.png b/docs/imgs/evidence_lifecycle.png new file mode 100644 index 0000000000000000000000000000000000000000..dc4ed54f5027a200d0d9a8f842b778a014e42e0f GIT binary patch literal 62565 zcmZU43p~^R_kW=%B_!SCny$h&!wRvnjj=IoHkY!Q88fpn+j0rzlH9M|P^fgFTnf2V zBqF+BYsPIP(!~Ueuys2S{DlS z=5qCYSl&#YcOYM%!w3P7!1sYcJ}h4r!{?tiP(!HU9z(<)LlYN6gf7eq1_LipxIP?W zNd2e1H)IiTS%6MdL5c)SCLb#buQg`&WFHYw`2!U_sC#i6`mGzS92 zkZwYzg^8>v|8&Cf29y0GbVnesJ&=DoF(JWd^k4@l25aQ)1~tMsQ-!91WC9HzBCx~b z9eqqlWGoXSb`jE9)^JxCoeQLb46~v;2yDoBHjS0wQ;{4S1l-h7gu;s)fn?DL zoD-kSH#Ox4@dIqh2rQ3<7dbfCP@txCXJ228GXhHtGy&~6RAwNbM06krz)X=Y;DM7- z2r^jc=OZMdeef)*Na$zFu!jd*+q#ChUMRJb>WDXCc_OG+Q3spUyQD z3VFT)cra+~hIil~aWE{^HxzUQ_6HwKA+qrdDqX-O5Zu7#0%bz_1_3pMqU{{uZVZ8M z2;20}V>Ecg!GaeQi4%(O4+HO*fkYAvixaxp8-+U1{VBL0NRY1|mq*0G8B~7^$Hj=x z6k8(@HY6uEir4{k<6`PWvO`}Sd5Lx)YZY;kIQ$$ksW=#8BiB0P(Gv(>&kZ#qm5kP{(AF@(%03u}7YOZ0Tq7b|qMXby;A4>zl?rjT zVF1^NCi~I3FuYxW8y#tkFmektMEdzbjex??3>p6P5K4ftADroE9SR&Un<+%VLa-Pi z@We<5XCW~F&k|yh5CPlADagTv;N$E_vvWh5`r3%;BnY0&G=kW>8nHz%R}Pem5t@i# zcrpn%AvBmYG7M&o=S$ugfvqtn3w;a;zK#LlOGAncc*;aW!cdMxe<+`g2mTHzA`rY$ z!AzkK#h+rzfd_K6R{7Gmo$Cb+?d-JeCWIKPjG0IfzD}a)))-HIAoj|ez zG}?rOMB(kAjy?fQ7dtzFEy{@i{2G$%=Y|NSV~AlK6GPxQ&?x^P992xP4In^x99js| z&&Jy&n8fyVG2z=92Kq1@y=gvnP`Evf#HNz$Os#RyP>KoM0VbIi(T@j&gN8GCC|{un zVdFypP6@(x#QKL2L`G-|l<7|n@Fj=ge9;t|PY6fi1AUMjJRKKE4`upOohW=fp96X@ z5<3tHP!xoMF#3hBA;4gukJk719mD2{D2}33hC*H4Hdi0CSKS zKA4NY5s^l~pnz?n;dBmBqL3t3fRjHu1cGLAjoH3FBr6mZ84x&4h~T=~)A)vNAvh5aPqMM&z+pB>rsNn2rrVpae5kHM2FDJG3$-_dV@*t~ zgT0}letd|n*ue%FXha~uU>G9V9)qC-Ig*22>_U(vNT6w0khQ>u1o|*__D1rpOz12j z4;{#~4htf|I6%Tq-Xv#ZA(I}AhhqhxnPfbPwGzVIj48f$LH4G6KLUyDz+mwOSVsmo z1W7k?B|4cvNY*SzH;SoEV6ey^=7>kS*$2RcEHMH6)=DU}<1F7!#Ssi0$O2Ql02A;LAQ2=xfQB}K<01YyZ}7>HMv@qbGm{}gvYl8WF`9>_I0Z1t zrhFG$TO^e(4hXYyb`mp~wl)DcM+YLDi=n&l5Kay>q@Ry5-djL72{Wc4X#@`11y6Ab z;Zj(Bwp7VMBsQW2`r6_UY-_4Lo(ZRzu&u%AhYqr}3FCMRusjh7DH8chtenEek&tvA zpN6F4z(>iC9j%}^oJ2V=;6HeXr12cXH=+DRFoP+3O zItIlfh)it$03?4j4geKzny-M!B4Ux&Br;DRpoj4xC|6@B%P|#QB0euK1NV*o}tN@ zFrle9gp9RC5RIrXM;|LX*H6rFBOx5cJUEYS=z~D{i4EDVSjnt}5Fi&M&BWS2#GYdV zqe$$Jj3nFQ?U@iUgGV6SI2sXcnbu+i8SM%nU@+S+$eAUCBYm-yP;V&RALT=loN2*i zKOUYg0g-e8I*4y7@b?K4V4Y2ktxX*Ta0ecOW-QTZXDrv))YzHojCZC%!C8WYpy+}s4L&PLU$rjrhJ2FUIzMY6;NTw5jF`y+_591T)YRDlYZFp9$ z5(5dOm|zjsWJijV0Aa=F1c%W~g3%DR2?qFjB$hzp+c`i29eF$=-C0br<72S`V>l6< z>;P7vZ32yKZ72+eJrx(~%rmhQ!?;G)A)%&zE_VK|crwD4;Nr@&C)2ELVWx0jF8BpU zARrm?k#0PD6x;}H>}KmHCa^F*;2TG4f}^25UKD^P*^wa(8i~lqxe%PdH%Ny7Lk85} zDwN8=c+*kBK(dJLBMucoTta=(AeP_-AqBqvB(fMA3|fn+d|!Bw9WRuHr?|mvY!E@A zR>m%_;2V;yshEf{BHQ}8x$pylH3J0-aSNr|@ob#^OhSB35PV}Bp1{`$p*Y2QdcHksaY|#O3Fq{c15N#%xHEf0 zS8cqx-1fk=gVD1G>PN=j+{~RDzeP~kKmXOf05jI~znvVjjMGV5*P=%3ze1^8I4|{j zrA+UpBMlz4yt(YT54i`jPBVWdU+E*us4TUyRC1L3(R`}Zwvv`Ia%leNWboQ4ShtyT zTEoSi|5@zcHGe{C?oJRjhR=Tcy4(5u@!b<9UIHo9RYoxHWJsTTPuc&O#9>*Pieq_2 z>zjTr&UvmWsQCEgI(z%@Ex}lZ`Jo@!cXy9^zRzSWOV*XAl=gY-i|1+Q_ z#isMU*2@=f)Vr$_`}gAsQ8jg(rUk)9!-JNczQ2Bq?OtO(oyP93ryN^vpnhZip~-+= zdE>83^9wTrkWpM%blmFAC-vti?`wG9s$f0cw$t@eRxiKX{7LzN{myao(*@z*5?6fO zvQNOSi`QJc9iJr_>uDb;h|&kLwmTG6CH?PyD~8Kt<^672wav4op7-H_lCx>Pa4?bA zFB-X5pOk-S93lFUO&*HZh)kp1JH{}B?EiXOy5!)U7^TG7oIUQv4yTNH-=C8^LSK4r z$K~p0Z-V<{-`oiN5G|{oMo%?2-san`Z|Hqj=II*U;dV52^uHTZA-hy}n6+*ALP2C* z_^(eFY@3Rp?R52|y!e>!O}`hqTh^`GWP~lN89Y`@|8yR-AoC)UeAgm51B@2wuU`+P%`Nl1wQ}n~&*$ftO9%xP$o;q+J(k&g+WXiw z7OzwipW|x~$80)pa{6|yKM;QXG`|b6jj-Su*2gH;iB}h2O!L0~z};g0E2=VcN$~z} zZ8{$w>@GKoN_{>9H0Qz5^{NO)%biTBGWvu3c7IhyJb3w68^}7Syx{t2P^Vdc^6!@$Ve_ zo<^y9q!Io#`ie&_F>-zqgBVQE@tOYkSk&`z`RYyB`zc!(EeT4#N=r_Rh~;=s&pSMv zxUHPH;`^g*TXTNUs@JZ84AcY{W$AlT#~bH3I?}Z0r7JMMng@^CtV-IbsyMw&djV*9 z$FoxB4<)%?8S3WZmM{C{*U1^tE4~%p*NF1qG<+u&dB;~_Ht(yQJVR9NVOkho11rhC zR&y?BqUm?z=pmB)zt(2?Lp#m2#Vnm=w;poy2*P7v(g#(gl{gSSm28Qfw5x<2p6SuI z{<^`PW)U{-f%tN*d1!vB+vG^!TsX};rgb8X`hcswtDjjG>)}pI z;cN~<45?IjHbq9D5+3u40w?-z-CU(+`siZ=WO43fKpCW8tVi0HsLcQ6U7|OAYSG|8 zW3P`dtFNvau_DJ)rlR`Vk`wTNoGYHUUMNocMKG^FzDzc#+;Dy0x~tS`sOec&)a1SO zMPA+Yh(yFo?>vPrY=(#cL(cit>$nAqDazWT3g@-ddO>--(H_{64j@}qXU z9Ft)FJxeP)sNs7~dRjQplUV*(W%)Y9rKoZ`k;0 z@}7K3o3T0{C#Th`7#OhLGbFt;57L}WJ&mUzQ3*OzO4L`2Qu4y8oSnb?RzsK68luF*(d@@h@ z7Sus1CEhFE+Om0|*mf;ykhS}CEh~O8o~oBz>-<2ui@x}Zo_gY*?N(H3%4uEdK&|Sm zf^rr-;KhbB=ISB4zbC>47h3DVF|#ene(RyHcVr)`UHbP3vE=9!wwOsLAUwCenrxWq zhe21G)hZ(7whV6_R&*WO*|v>(gMA__Oy~XED(AKx`5`_U1CeuAwdV1t7f)(}-&7-wc(6~`b>G#VvlfuBBwR7w8)Ll9JwRzOjNSGbT`G?RI01Yw!|)*H|J1X^k46* z68&ZG!5!(d_PJU2lJB1mR@#9TtlPQ?OVx~2{OCx-D{iGYX_olR-!>J>1=c;!%dBp( zL&)W~n6AtEmCjwIVbQw|f+6EyWbSl6k4;kDV{cxpXT2D0JO{i~%4<9{0g;sWK4l-C zQ}=0`j_38(nt_NJ&&oH4G3L~P^wC#W%zb!TZ?i`c&*YNef@?QgPDedH4Li_z3NF}_ zr=zO8Wp4;}=*RPb|8ZpUz>%ejPCyyL7E_Xx_ny+aS-tBK z>j1A^cbFhNx0`guPs;MK9!h)_VLm)Repp(;kb-G*Y>vuwkO{h_JN&~^-K=`1|4{jg zU)FQ0W}_BoN0Ki9|5haGyg(@65LGhnEt{3=_Zd~%Cbw?FO!l{Rz;bdTeA&bm@9N=%jQDj1as#e3R;Jx~G+g=Wj&FDVnG5Zyq2?P8p1xBs zEgiV`Bu`a;I{C2YI7N!6HSYiKVV3qr&SxDYECbu-Ysyo&j(QSp)oF{$!_(Bqe#kqN z#LMO#cEsh6RS#{B`gk_}II~_jIf#}`-kv`lzu}WYI!DpS|EX@qhZ1lAix@lN6}H5j z*&h`-JD6m!>MSGuy_xOPQpm`r`kAh$wyfO6G`wQcbNp5so|MIHMIN=0Nm^C^Qg}V^ z#YVZRu?_(Ej)%z99)lZAwK=Di)_l4(rEb;LyzrsQkB+&Y65f_S-`?vHweZ~+b7#{O zQgM&`9{7KdmIQDCT(ob^h8S$J#{S5rjoWUuZw{*Wj@%FMp;gfFl4g2-=bNCpA7fDd zu>DSI)kP!rt4C>Lj?MC^H*@TF`7o~^c^=SYYW*>F|Ds_X&+K-)|NVfbv=Pg%wguP$ zw<|}fK){ApzRD**w7yt7`s>k;kMg%x2gr?}C0*&)>~!GpEm{afXU z7gP53i>K?pSlwQJ9jZ-q$+$#x_y=14L734#+7d*1SaZau=B*0$X534)hc{qb3f}}& zdkAz6_xe03w%wMCu)6s_J6Gm$Wvro{oYk-8U;h7y6s;MMfH*-q2@e?F z*nJ>!_FggG#rc1Ltz`5ki2zjd+u%@D;+$4MBEvX9{-sqHSlj>ZiAr>cWQx6ZZrJDX zBW51dddD=|Y`L8yhqbb+iluVDM=sGgLr*O%C zBbPrmC9@R3MXS7JW3m6cp~oz{Bu;uHXz8;5_V7=9ASbs2vgWRypT_?km!}T8K}5;# zSn{u>N`fRSOUp!&qOaB5|3plnMcNeTrhC@ia_Rq_rJNKvlVc6#d*Y8Lu)3r3S0JA^iJ>kS5dgBhn4v=Zmf1SG+3bmp;5u}KWdIu0>5*XsWQ%dEm`H4 z*`()(&J4K8eHvJ>KKS85HnGHR9b#en>4&F;{SFsD2Q@8_Bq)G#op!W0>h}T^n7<_E zG<#VaF((ks^o4!6D{o-*GG~Vqa=7z^j_j6@w2``LDKM7=4IuSN`UNsTaF#ie#o@L= zQE`)?ecP6>Uaie092Kk>9B6~%vn`2hKRk0LWP>owefZ(2?TTL{keeS7@Uko$oQ!Q5 zy0~Kh=a;131--5)Q8Do9<$H>wfljo5g--pv{&Y7Gs3uO)k(RH!_Jmfm-{W&f0kZBB z)@TUdF0K9b`LaXz@412Bn<^{@iQVA+v0m|t$MNB_JeVFRrpR4a#*LG;4VLJdHMqUd5uQ{vkp>DmuCG51>OfP?U zMp{wLeJ(Qp)eNR&_bXV&Ga5-(Ky#7yZ}j<#u+sDBm{xHKnW&QowxA)<>pd506$lyM}E0}f7Ob}AFr8= zhbQ6Rn%C?f5_KXpG*)O)?|L0g%$PDvNNEfvyBPu@Uas^EyPLwVrJOw}7T=En(f$Nm;*%*mvGxGwS^4 zi>tt0{x%m+`@#GYU|yeY4n)3DV8uduiiSh@N2aE)Y`DCS@!^U5MaN? zI_XiOe!h!$I5VF-YB4*sws!gnjsZHWV07e|?Zkl~Fu7HYhTlxTp8^l0SNcB8Kqqf% zk69)!v&KB?l%aRb>>Eii7nw@(l$;8KC}2C`HJ@A&5-U|Z#obb-ohBnAnCRal0q@ou zJZDq3?DLr%yw_UPcY&aR>ePCIr5fUTSA0BDQ|{H!lg3=dOP2YNM^Aa3nx_#l{rDRI z*KHb6^VbJD)O;1L=pjdU~qa zw*>oqv)95t$zh;r0sP7R_)}ilbcy|ruXs88aC~<4gO886I%_w=e2=T>xjhPz-(u4L z5q#P}O9_!_U(wq1@g4w1%=eI+`JraRj0aii7>$T$ZT3j>VX{Z?(Z?~)>&Nsw>s%}r zf6`IIlT}61O>bl5k7MSqH7g|9bq+-Rj(Gp>_s61C`+`ShMJUWn3TaDn?O3_;RADcx zC)Hl!X0~#SKZ~(md32_ zQ9PJ{SeoZomtLf4WwjY^ob5D4D%r}}}n zmE99&H><@ zjb3F9=C>SAjSJnl+N5r5&HnjEK5p0JWEn z4s>u$x&cVYXhLeoZoIL7yCa|bL>HO$SeSWV?QURYgQC%ciAQmn`yz(g($7aq?VWs8 zz`eV|*J{b+whiCA_y0D^5B-)0JWw?6vCaAu_m+&Q?k06km%3gic_+>i_AgX*-_>b8 zZ+q*qT=ABr0||)B0Ces;HKU6m~}F4Aa= zuX)goK%RQ$jbxOoru5{7H?zejbx=o7YNsX3xzX@HR4!0x3hl$MNs^8EVxy@=!yhsI zWs-o5CZA{jHgKQ6S{y z4JK|s`9XOFIu8zACOjsU7-qeH-@po;l%{JF*%oYD-TZ z+oL``ebV0Y@aaLDBvts*bNFWG0kqEIIB?K|zaM=tVGRz!jj_oxeAQAk88Ii;v7K<7Y`;gs4{cFDWd)=$w(Iu0+D zKCZ8T+K$`ogCk`nqra7D$-YIXDV3Xol|nYEpO4<=L+k zcGj-9y|)}OyhLf7FV%GJOwamH&n$b2wp8F8O}a_ICH@$_>F}@Xi+n>Ja$o%sguc3 zj8<4-4iZ|cgX0rMx(f!>Tn?{VZlJ9}Q=n?LEvs;FTxF%N=CtapuCB_3T&ulb9Zmcm z-98-`mvtm|P1>pXiKyS1urAYPwPH(sw;1n>r`A6G8B`_MaK{kK9qu}_`TByk&9R}? zkCpirAHR>j?4C1^H?}-}WxY}FPr1{zKL?W>G!R#onrq#G>p6Zot042$`mSubovGS% zRdr|hrLl&)F`cZB$o9A;T1=&t?Yf7gAZlu#@2v5fy4f%8_-IkPW)eMh{Q9FKdE~3q z=ksY1OKJ9Ecub41OHM^T%wJzE+EOWJZlD6vHW3BohZr-2o%BS2P z2S+pHi0WXMs%GdD1uukI)HC_S+n2lI&)m@3lb#?d{y{n7R@tJqGc_~o?QAQG)lRCJ zJgalW`rT}csqu-^Rqql+HKP>2Bh6a9-pa29&A#u2UmEV3j~lh^=~f-ewO9DEcQwcq zeED^)NUAh0uQH(JT-HH|AWx`%G3k)nH-(MEii)bqy*gh!KuX8nD}3_awF^J4%gKfL zYqm6k(|2x&7&l#cuPgoC*@%(a&`mSuNr4KQiPK(hMadx#G<$fu!>@nJe9Zd`+w~*{ zXi)`DorX!feaWfY-TTs9>fa2RRWE=2R(ha{<@_GLEmIzCj`eueb@R<+_$#eOteN=x zXWi8xy@}IdjK+SgY*2uNEq6d7HMdp8u2;$+Q0l+Pyf_YGSq)kWX3M$b_sxiNU69s{ z3dnz0yL_Fj#wneg$MMQj*q4~Q(Kg9co+9=<=DG3|m#B(vR#+>K5QM!FX>U-e z;G_lpj?0RJI;PKjSX z`X$a=Z|m6L>7%0J87bvT?1fboLNYD?^qhOZ_w~_z`%F42J{h!~&vs@^^qVh|)X(1l zH4I$)gNG$OS}*OQk(0~F+Z!@_Bn6%tB=DOl+tlu^g2b_@vGdA>QrBBHcaluD_T`gW zWmRc7#BSYSW&WYtOL=SMV9IMP+WP83VM~2T6;=&Z$uHGuDKE~%DjDKB!I^CJPFBh~ zYHnu2z!-PLbAx8I=yU0XRglzY7GrLFRHshzn%7HZE!>{ObRG`LJlkUSjk7dG5!oXe)@vWGwf=EeKkMmTR_EA2`eSRc!L`wKpR%mBa@w_r+iL@= zUU=9XoP2h_82b)My#B)}!{ETrw}JbwzrGcA^NQEc2KK;pXMf|S=iQg8^+DKyg-En# zx{RH)R%ZG2d%MxMw^`+~Zx!v?-Ue{6I?QX-plP1?s04-7TA7|OLSdd^q|7st)OX5; zTB73=w)juKKW(`jVtEXyPp;}oPe67ucapyzShmwk|~IMj|l3mxjq{e@eOvR+E0GomP*ydY>8d=ZS(X^P9mb_NOLsg5)hP&;?$!v+tD!> zP9IV$H#xGg{n+>8?lcZz78Uz&a9yIjvcb5OYJM7PoZn{Jtu5~_hq&|RT|({ZIt6pM zB5l>u3ks@oX5EVHgvQnO)gLiB!+Hw9K_{3ehCDb3joqKgf9ZF%_So$!k3EauIhm9k z$#OrgH4+v6yI8H)sY$w4Jn*TeQX05zgrfZk=sjWUm@Q*oA%+Dz=T^SgdQ-;g#5l9J z4Jp68lHOJR6fUAXMSJ0dhcFp z+p?w$=55dxi8bv^&AG3pd^8O5%*2iqBk!W zv)Xo6tYPB0J+#aD#|?yQ(yz2YA87O68Np(npKiTjw!QG^a9r}U$SXH`=eLZRDQ||p z(7bMS?67M77bs_sx?1mxs~@0imqJf+m#pZfeB@gl+|kb;M||6Q>pB)Jz#08$r~Faw zcA2`;Q_#o#@}(9G$Hdw+UH6Ie>SHUytVPuIg8`+-125p>QDjbebr( z@TMc;@J(uUl_dI20)dGz{psjk5KNi@lGY?BM5m5Nfe%Hk-a%d&cZn zm|05ke(Th7RS%i0nq^^}`Hv^M$~AWQZ&3xU9#1SA^lei=+L>bSZ1?Ec*uU7XVU5*c%2U#hl=BtYLhb*0E&5sbP*YQxu#%7{plz#bpo z?M(Be+n!yin)_6&?wppjy0*`%LFPebSH^MknSrRNgUsZtlg1`diu({#Q}R!8vP&j+ zYRD)llOuMyTue(BWCS`mD7CqQd5?VV9IcUL1J*>db%uS;YLD&SSSYD(@pnP*d?*gq zeY&pH6%iCYeZr?iJ3{YudE2XIZ?1o$R-yXTtDot^c_^9ZboI@<_oTZ^;;XB(FCI(s z7aL?MqVxD)Rb*2o2Vrsf2cuUYcCZD}V#R74*Ganw6yGlq4rEk&R0^bwFQ|3>Ey5* zVfaMR^u`xg^jzPZeg2?I2qxy#O?Auz-7))E@bk!_wU?UqGe}blq!0A z0lO~`4J3C#DLim5U$R9Aes-X_CxoBI_MAJVvctvx2FGKY?yj3T_Ya)f)oihGPj9a0 zEy2SZTFiN&Dj~xDn2P?^bpaaL$~=Xg2O7Q}dfiCB@QfW9(E9#@w4)4fBiQU(v$?&3 zml6e8?TS`i^?APRfEmeHZ<9{-rh+}QQ|q(LZ{6&8Qv06Kd~BeY7u!YrR0xAAPp~JZ z$IqN%yq;d~^YlS!Mc71s@fwo@jq}6`9=}x3R!uB)Of0^6VYMV-_DwQ%Gj_EvQ2sVW znHX&6WK7qVurn^@15U?sORLvpyfH3MdoI7dqif5l654`%iA#3Q#+WLB^FO&U%}rpB zzAu8DU-W5=WIf_BX{@DUqPsY)t&0?E+_cZwAiHVXk928wFWsZZvQk$3I;p#VQ*v-^ z&vx9sUn96hDI1zs(Xzk5CnnyqCqV?#{^91e$(e6W9d%CRBu3!3sn@!MJxXxb_by1H zdqT(Bqhe$Os)NnvJ@*-Re74E-d4F<$$qS`0+s9A7dmK15x~#qAs;ZvMkMX|ER}@%5 zD$y!hX~wj!q(|Md-3}2T?`E{~o>$aDsDy05Oz5k6SMo$SiVIOY8!?m?5Aq?u_G)-> z+m2KKmG#c4C`vs=a>!fVEDbcj4Fp#>2s##F>vviG^u1GaiD%kAW(ajY$pF z=Supt3#ZtT~+nfLaj7di<$u+q!E2UF@ji(Ric0bGPAsPz#vKZd5W%f)`t|7U6_@3UYwVT zx9kFWr%r;|08)<0e)+C@`QhStb@Nt)$* z7@!^`WnWUAxt80du6wk@DC3yynayEaY6aeA6N4VjJF?$DpT+9-^pGAYwymIzPeb3V zNVp#`KGShGAR;nZr`Ms4cC=4sblK)IDVY6uT{GHtPrjisiLX@Tl0q5L$@U9yw?b)dPpEy`!QQT^E|H3S`S)3P z3fIK@@i`j?DC%#Ma|w)+iLvYr@v2xK9T?S}yDW1eGnVS1yKLpUq(g;MQCqY>d_J?2 zaYn7i=o%dlX5TGj)|Xn3)5VBl^)IUjS#{SJ?_$Ynbn3lD?jtjCKo&w$0Kj+{N{ zy6e6VH@&3t!Nz-ip5m*$sqT`(yhs4@`=~960x>K=}%8cUhWSv2du&;tu z5xhVw?faY$mh)V`p+1Sf4lKw0zsng-L{Qu$lmkGrIo!)_UX8vKeI5``3Uc<1*PwpQ zOaxU_)j<9X$xkT?o9OpFt2AMHH@Q0G)02wuSze{k$(fcPFk`tl%-Xo@rxU3=lJI#; zB&+w@#Ons<;l=q&&)C7IRCd4792fJxBMrb_-2;2|;=g+(rm3$KYOe{`ei?V_r*Jej z4b{0|ALIrq0u;b}8tscM>}%`Mu+dbKd1Bl7`=qea<b{S1Kk=QjxBJ2dA|Ut2W@1NfSls+Dzx7G_ZEUfD zB7gtW&7?99itoddx{4ui8_k!B*!7SDunE}fx?jvv(brGGsK$t?T_=8z-r^mc8!0~c z4jTM2vt#|XZ~9$~-VC_lOsbF8WQ*LV?U9wn7v6YYZ6giK!PE_S=8N<8Z| zKV&i9S~+yrx>24YWmOn=c1r2ur$=4I8-VLqUotbtNXJGLAKH3&U3aYp=_bc>cKp^v zG046~y5xq27RS~wwj}H=j8Js5c+Y5WVrIIO9b)&ku{~fI(w<*V3Vw6ey`dkEW~@I{ z>?R`}ZQYoBXG8Q4<6#u;Zz=6h}gYu=Ix~}n@;km`G zvyx-?bZ_C+QD(pnBi!I%28wl~=QnsE1C^{_4Ccl+hGe$ywdTEJM2G)LK2w{}X> zrSY}j<`_zs8?QUB@3>+!${33atO$R2KF|Cr_3V)>15bN}GFQ^xs*4*d>nkm%h97=N zHtA18tucT0G?eP5)V5rPXxnL`w?KOFaL)R(y4bt-(O7@2>*DEj7RI%Tuy5N^Z z>vuuc44NyBzS+=X5m2DAv`KA=|{eP^{uHfC;aGT zY&P1n(pTXLLa}LJ?2{VKxa#Uu`s&Jy^aKeeRZjyOrgXK@DRZRb34C9PXOgtp^w)xO zYa{b_Ki{pAgU8g(6o-C%WTm-%tfzXa*Gu0c&2BJ9UbsB)cG!0U{p&^2Qi71^YB?)l8@ znkmNE`3ByQR<*fg)XWP8S>JT0+IL>$D-rN|A9Ah20`#vKhamCZNFXiP~b@3tTcklI1#2h6_?=+xP zU(LGA=helfhmQSP;B@ajOf=Ixld2+J_Hdb`2BLnx8K_iR!YpFsv&WUUFM?z@Y;!_hLVS{3PR1q1BTj%o+sX?M+>J)Oh5+uKMwX8sGal z>ngs+9~vsu5x02u4P1`Qt?r1*ti!BMxTVm*jgpy}yttlbKYV>jf4U8i1CdNhO`#B*R}i$r^9*vjOFy!;}FCc z#e?#+G2uwFu4l_>!OaD8g6hI_TGl0Qn#+~v=#{Ga?|x}f8~ifU91JJMsyLpyx?w4>AKmU6Bmm1`=6M#c=d$#e~sm6#oyF_K(p|V@!-wtEP zRYG@%IvRuu4MNknwkD99V?hHoSkl9d+WU<6F%__xxBuRzGt&)`x8Xbhuc58agE{2<|hunxcCouLUDt{apfHY>|apNxYC(# z?*5Yu4*IOTTTQ#c%l!uw-q?J4g@2dqHp437m~lpvrPAw4W^Oyh>->v$;tk*UpSxaM z{tHZ@%m3)?u2YG#fCZujDrngN2>nr5m&Dq++AeF_xFE8xNbx{>-#+6_yv3P{iDI`> z{|f$`?@p&l$I>S??&0e`yZ)`eZ#*hdg{RpMTf#p+I{WR%o1l(s-pyv3=WI|)av3?) zIpz8*dYpp1Gw$T}00Rq6hMh{9zIlGgp%XcOX%lVSKg+ufmM5u2nEiYk`wbLOg+QBj zK?Z)SJEqp|@4g3$Tw6hXv`jx|A=)`W5|`R&>PWnv_sNPAd4v;Co3h4V{wMZ^UXr!u zUAX988Y?b^?@l^ExOW=CFLu6w{{~o4zg$aRNWyVRY2cqx3&E)2^8giEpD+o^|MOE& zZs(s#ROinW;R4%%v3C6WK3W3EJ*9ze?tiC@m6xc{?R>CkP=*~otc5)c4%nLiTHJ%3 z7fxpoH#BcCFON`K5s$OmzU@vcVBv1XQo&)9anM0r`&YlWfns`ZvmVgzfl6lT+cR&f z19Jaaz#r!0MpJHK$mk0P|CeQFln<-wd+dl^zFI=R%)6HjAHxYf?m8TMGwaZPWbY=# zyCZ9dfcQ;rQU1eec`e}%tl^)2*rK-K66xwLm~UqqD8UOYZ6tOYJZSyC6!@z^yW2ZK zZE5n+&A>N;rXN)X?}Aq>+jX&}UJ}Iu4yxSm|B&i@_Dh!C8GK_c|3(L>@6ZuougnY2 z*{qB1#Ase@IqjJSs^WRK*?-AL(O)nUi$HV}0&0<^uF0|G*)<=Q|Ek^h zAfUW~q<|Pw`~-A;Jf=|R50OqY{*O{rRG!JZ9H#&6p+vl~=WHTSZ!0?V*GgH=lK;|# zH0P8g+LHnr&P)sp6#sfJ<5(R5p5^z2Sv!v8O2@ewUf8?fE9kzFg8yURZ?z?z_4@4l z!zdWKHPHwwoq47b?STYquMd9T`VADPumErIS$jjS{6p=~`{QdOfW(ON=75WFw>{ba zn5Dj!qBX7Sgw*Lh*XZ{ZcDh|VsP7P;;`(Ql(|^23X}5s32q@PC{ko6ZnH?U12S60u z80o@IPk_O1;jeh3u^;dxQJ- zAo$qO{OnW-K;HS~4~OLe9=^$btu3#rmj*KKwg9tLO8NS1+SQ$4kqx*C8B3*?w}Avx z?mB*1>|gRt0+`{{s|_ErvAU20|3N8x3okt@C3S@wtk?J44jb8%TbWX-Q@tyf7jb6K zt1A?kXzHQKhexP2-@^lq52Pv38aaJ?Yllw;*ncgk&Lmj8mKgy!&YZ!mG~D5I?nvhe z7zVIQbS19BL-_6}v0fOw(U_fAOMbVY!5(BY<=BZUuSI-^r%^MMb6ChOgJfnS2L_kBOIS)0Z4~PCAfGO_{3)`3&=ZaJl1czyE53?P@BcQ|!keadjA71Y`Fz8u%{ zsCo3o?mx`CA%#CaC-hMQ!soK%S!CS&PliGL*O++#1in4N8O*veNY66;OQnAffItge z7&w;jv*Fu=-FJ~Id0p4X6el|jnmoqqr|>%FTCzU?iQS-cr_ZlTm&-E1WrXKn;v@`f z{QiXy!Uw<&-2?DAtT-4PWJEw9M@)6X9xBLV?q`}GiRDTtMyzKS)8BqCaTs?l*3Y{C zo?wTErU07S{%W;dE#2Q=9w=DXjjxlH1j^pQl(N%@Y!BAWT^W-w!p8sc9kR)Jl4}9z z{;#0MB-&szeeOW`gI{rjm*B@kys@bm_?o>RHTh9*5jST)8PvR$ir&#D9=)3X;GXs{mb2r%k*XBd zT@x!vk4CGDaA{`4RyDT!0ad872q^S^xv3n7)`mM>b~EFBM+=96uny!$Es82(x223u zMgacQwt~6dTD~WWCY@6|@#-Pvmf$KY^{Do5hgI?X=udTna?47ecK=cyOZ6%TF5v`7 z&x4b6y%Eg<+?%N#ExToZFu$NR$3Uh5RA3@WryhrvoXq3DT01F?Ma#8SqcwL#XrWg2 ze+3190zj90r$zuX%tWm! z>j-SsGo5FyrXpHyX^e|$dI{1JTF-|wVf{+^e1UYrC-2_3caW+X-BZmmCvEobbC}*T zdxGk(^s1VX)EP-nV^bRKU(7E~lo2Y#PG^JZJH1Ly8r9UFQhBx^)8~%bM{zblyZMDm z`~+nU8H4<-Ce7xqh{Q&m?1GNxENbC$bGvQ)50s*|NWUW6x?WH z^;EH5@zN+4(zh2FrxTP$mt5bb+4H$`?A&1+J)gXzdNX=5C%#n!u;XrMdAl~n-dfn2 zIHH*%HQ3E>i%31v(dzZJf9UsEOtZ**!v9xvR{WOT2?D?YDv{*4(pR@L$*V5NC&>(% z9yA2pxy%K*PH;aeBl#xw;C-X1qa!}uao>qe^b1+vgS$RDWi;7SSmA-?S=FVhmr1U0 zsSj)WwS)s=p@ahJ{pJNhr$gR4ZO_5#X)VjQ+wWwuKe#uKww+snj5XN=wY;V;Xi>s! zFb`|b(4{N$+fg1<5#f9V7#XeCL8OuI!I!vMDz&WS1abi>vucdZ?N5H4APc*dKa$nb#B`mAZkuZoaB-+fKT@s=%K0q`{1w3H}8cJ7>OUqq_EP zuTDPJHtmfnVKm7`1g+ngo4vN~s@di>wfucQLb9Aey5u`hvAVANhXdXB!xYl)#inXg z_CH&+()4UezVY}3>TY_;k;p93os69&+;?|dGuzBhuB4yp>*uHG`VhdaF2f$r;$1S$ z@79IJ~*l~+`Hz>?Q2u_2d_r` zUi^PtT~$Do!P*7{0YO^2mPQF_mhKjiQc|V6mJX3_Sh^9A5EVf>mhMhzk?t-flz-N9 z&dq1m233G23C<6#v} zv6sp3TD(jOW$U74z?b&S)Hb748OoWF9h$r7coMh5j!%Y=^uKnKJyhm=0NKjOKQL*Y z3f}!CKK!T0QJIMf_IGaL@7Jb3j)Io{YqY!EtO3IIt*(o*!b0k>7TI7Tqq-)*4M|c2)n3iSKaV8=1-2N-ySaHvK4> zNGSR}ryAzX>CX;TSU@B73%ut9P8o5%DH>hG{^rx3InRU>!AKuiFV11KMRZEB^c<4m zkdm%(4C$*KtJg+{XV=?kJyqIFK4X9ry0nHcZc8(7E~;|OW``x+FBtHr?k^yOZ5<|O z$sWS>T{IFy+Gu6Sj^fnoJ9oVlr84!!q$l+I%<`M8BhgKs@OUn=?=Un(R%i9qtk4ok z?snb;t%n5s;SDN0=08cGzbnrqf;D3j$)dz_=DJk(r=m+Wx^~lV#!$(qNwH#DuW;Tc zE`(9*U}W^zh5pKzrSJ$8UP;YUH6^BhzD!n{O|067c8XuffbLG@hKtHFDiK(#BxC;t z-CuUVG!hyTLPH-x=`W|Ko>i?;`}lm>ZzYZxR!5oOT1~B=p3@-xDtMeJk12{OES|2NTME?2#`Cofc85jI zfeVFUwX`rMN5qFdwX_lKwC`qzE91X{l|-}7K1fK2AP`qG8jPLy4b;xtY=K(e1OGU1 zg_*_yXI}MvQVnB}RrvA`@RphNd;L;QmK-)LbCwSLob%@VkcSNSS2ornTc|se)HyKd zTu}-9XRf~tpD>j(u0tM&6Y8BQ;E5cze5}Xv!uN+GBD@esvY53nNzO)f~J8&Z8 zdPzo9|Ln@Og3;^K30sm1@ey+(Q3Mezb}=+ZOv$#|HJ|gCFdP>~vo1Q7{f#I; z;DbNMB4VY8u{fwZXfpdkzDc5*la#5?acoQGv`l(=9G5s4<>YxZKI)C1Vk2cdH){QK z{Si1iw#r`7D8+gUvqv*;dc{C$;Cel1{VWR!N$E-VlYJkoKH%9jfvLzXQoEAHrOO^O zV(?eV_5@Ad*El=0e52;^O_LpmBC~HXbSPFHV?>6O20>S#tWUoN_xnvr^ptcOAzF{w zf#KK*i}C<4DcP(5Uh=Do z?>y06Ba9%MUR?~ezfxaO{ZZJJ7yM@3MQto{1Y7F1KGsjy#$Wo49BwuG zQ}O^-LG*HO5kSOYo(C%pjlV8nWW?&%kWCBw6{cI0siGg`gQ@c9 zLY$vey8c`{3GrKVUu6ti42r);tA@};*I!8iXUi0t_=nwq=De>Kj{>LY2@V!=Vzo$_ zXq2E{0pF@R)oJBse1>xL^%)3ZLg9-mx?tPsvu42HUwcz0JvANyHL+WlpXxlMPWQvCxUbn1cUP5H^Fy#GD#w~2J`eD3BHd++iN6sGj@R7nvBs(J+(M8>X0)1`w z-N|e(;t?mNsd?kK)lCdF2{RLQ`$*}^Ss6>5c+52V&(*5u2~H5re1X+EnRN}53U zQ_!#Kd2(&u{`PX=Y?P_x!G7CgCnH6NgCfRm?>*1|*2`2zBg<_vHxA+Cwa} zmdy* z24>rOu*y)s^SjN|l!EsP$-MX|BJ*lIh@a+W^ywiEVu+G2ODEQ%!JiOuijfU3x)Kd@ zZ)mvT%+o6q+1@*WBjse()n6Fk`dD%|9#-?HvX1br1w{gprB_P{1oldt?C>&vCN1$1 zDLX@!d5CAiZY0SVb=loW=dNiiU-kQuHajhrRPI+x=yk5MBR5_#-5ds{$( zXmooUEW|p`DBs47PITpQG+!xi*~+6-`{gBzo#n{+XH~+z(y@<`B;^LWltxR>9*}b9 zo?li6F8^a*vYAeuS(DOKe!J0wO?SbD;GG_}Kz0YxDnsaCcb0ugWf3Jq6r6b~xBnkrHygZUjE)cwqzaAf1rU|(c+Qri;RfZGK}NevJjpBZLV zs@usz|2^fkkA8I?SozNw!D1sDTMird#A5pV$ANpS*XyHlemdUT>>@z)7Ua@ixsA*3 zYzNh5bR#untNq{eH^k81zO{qVs$tOY{D~{`S4? zZq1s?B7&iKprsS!8{BH@`8-ZqCDlA`9c3EDxu7)KY8_KqYe#fjGO0V8R|b< z{6o*f`uXud;MU(I-=qFF;WV4R+UVXyi~8U$;thfoih!BFrEaB0hI!M3aPssYhW<|` zaD$WyFr*QHzM1*_V$@6f>IKl$8TKEgbpxXpvwReZOVNqOIZMD!QCgwZXl_U82lVVz zc5RmN#}?P;JE!YO8Ux$oACM6!PbaeT(hW`3q3R5}ICyA7ieKu<>dvULpWA2vB)yFj z?QMYFkJ`^0B!OPYpZg#lR^2^8fAimOaemF>>hO4%ipMkrQVaMhcd=hVTXw>;+X;%a z2}mLh-744bwBL2nrMDl@0sDWx%+totggO~54wzmFooS)*2l0qQoSO21PuFcEYMz-z9$)N`|k7k4o-H&zig|T}|we5G6-^fAng-~!uBeQLQ zRWQpf$GbX#Q@^syJRCCp8oyCNun>}a~fa1&1yA?BID$ce?X>k-Bx!r%WPQdkXGzIs1m*@khGM$ za3B02GX@T+o1qxv;7SB!M;6|j5#!{bpq}a>!uW3-A1(oOeVq0QkA^r;_-mxi&|Llb z89r)V*RTWh&Zk&FURG+0QT$hLGzcWPcK@uBV_S-|Xj1Q%Gh|Y4x?oT6=jjJ2N?aS?_;v>VBWx{gU>9%yd@be1o?<=|O&s&oh;vD7Hv7+~Nd((Qk? z7%zdig@)q}9C54j-SH3M2;kXdk@#pc`P(_(u2RgTuxpX=wSidKzcHUW0V1dY;MoKY z!Ss1^1cz`&lD1S*#;91Cr+p@+r|R)ys_NuZ*RT3H@#kt+!A^ge$g&s3Hev&wZj$Zz z>ib!7NDa-o;Qlz^G;Vb3;xH>LWsWA{(apE94VD?gej7)s)ar3yz$f7$0&*)3eMaDF zfL)yBu#6MgWt*8P`tX{!rDlgbyf%Xh*&d|haA&Ex328HZPRLXP(qh*9WPxw^@~ir} z+B)j97w?;cbO4ul1yJfj>EQb&+}}?L37nD5)Xvimez$PtY{(_hJaVh&BMDXi+WOI9 z0P}Rnmw00?Yrgk8SJy2Px&!=zckABG#UAV4OnDk>u2;vc1IY7n?SAwkeKG>D1Aa*& zwLma+3ZhD|cg&&I@lswvYh}IJofB9itRtJip_Sl!*q{h+tRQbYQ~R+m_|tnUXOk-G zIUT#RO%rTu#F90cPeyp70Yn0w0%t=yInD0Fv;uMfWoG}*Q977CqMVRvp=$CxN~LnF zZ})qz96m@6tp1iQJNqH9V)PwXe6eFG*oYibw*%H3nQ1Jo&o(4O*rk9PxQAIbK(^G~ z;=RZ?#;@4!M#+7ilH;`(KJsl(kQyx$4xnu0MU9ZIHu93{x0e~)aH#u1+Qr_tE5Y85 zGkxBegI~81B+$5g$)X(zl}p9dRu|nVOfv5X!49itB<|viGf#T$snx__0m;38A7kiB zCSbIwDseL;Pr8VU07EnZgdNZ$#2K!BILTzMX4OCHmvCW4r0>sIzU(tP$RsfS2>it7 z^?OMEw2hiF!U)4v;}wM=02nubkyNk=nZeWuITG$8Cu=nu+NZ3DPh`j;ZMNk#GOfnPl**_UyQ zI-v}eq4B7-D-TLmd>9ud`Zdyr4P-saNi5G|tbP!gL_iZ$OLBb%%(FU>nOL&9kPx_k z(9$cwn4HytIY^v5z0Y8knqPr6jLPX<*Kf>by2=QtzA(S^0;U2b_s_+Nnp) zgD<4$IIPw*rTt2CZBfKA706))f^aMoq<@y4fxxGyf5OuZ#l`2{5Wm1Y5@^4LyF`fl zUxRaH9k5UWIJmiGa=kz~RzKQ!ITV1NC^H1SDXvwCaVZ(ycPm|AdB`H5Y{y#6p%6NP znl3_T)kUy?5sC)EROpMyEf=}rGk`B?fE#M{$}HvdjPRD4$p$N4DS)`I;XWDq&iudY?k2IAw;qsT&$QX6N1su*=o&p2D|h{- zs#2mj60ihYsrW3_OkzkYpEEITHzrI9b0(*U+x03Bm164S_?xY~8_tGKDltM~3`9Iu zG3G_>gZSSt@y~Y%V1HhYqeMG3bzcqCnP`t30SrdQ(kpCbXUS04|Q8JF?eupnGux2g(6fOrZ;rR~|)$>ZaV~uN^tgr{`8J&yt zYe<$&?C$oA<+F-4my1vr^@QuDm zr+JN{aDJBZ!h|Q&FT%fIP3fHLa;-_yeMN4r-a)p&*u~wyw7{a!`(O%FqiHvrR7C_i zUgwlKw5VkH4aP|l1>_HZpS&yf#dTazJnHR5Esr%Y1p*Z>$3f<4s^)plf9ET-?qJiW zL5+EHN~VAL8cWy6Ag%^d9*9N7AyU+G)X(5lMv>% z+hv=u3Ag7WM@@zMuJd^vIE0a}b0L|db)hL!&=U}<=;0N-Z!Di5K!?j9r4VggN}m>X zy@5)k;6bY};^eZ*IX|F}^&1c&jqlTE1GhC&Jj5y%C-=TYuJxw;?M(#<*Gru!GWI0v z7e>ad7B~0jzS(8DNp7mY*r?I;fWY}p<7NUMxdD3pUg*mLeCxdX#2@$yD?84l9bq+7 z^m*vq0>VuW-N+4PtM-QxcUolEVmUNRGN1)Anje@BQq6Ek$sGhK-CN`xaXCeI$i~Y> z!3$3pnL4+2ThJ``(EDL7EG85aH4j{Z`)+cwuAw^(z{qF$O*%~Qt$nLD5MTdMTW^Xl zxveYGF0^P)T9jHg%wRujffs)_JlujRc8-pOO}^az;Wqhca`)#mmq# z{o3azmLHix9EVqb@2n~g@|FbUcGz;AGhzY8j3a3pUxuH5PO239J`F!9a=BpC7C~gF zvZ@vlrEJXJFFBax>dKI(E9IEeebbBPa0hZGm;f7j{Z@;kF2}N@OC{xHvh=$IO>Y6v zvRE3?>HSkUX>#^&a@VJ%t}$CcL4&hUy>Q)pDXO%Qq%h<#U*gQ3J%KI7fNw2wL*uky z?@}OXF7Sm^63sC(Yr*y8mt6UI(7&^PM0KIT=(4@8xDSI>NEM1s7nAYWpIek+-#ipxx!T@nN+Lo0e+xT`-{93QT#;{|xwU~ND2%u8Ol_gUB|nudZ%cUHDp_~QeL zNB-fWCg7da^I-%nP`0}7a;x_5YhY9KO#@wB1(Nn^8&LbKC`qC(-rX;H|MoJND&spV zevyG6SU8S=s-3}U9(aNV3>AcDCAZPewUz7*g?u+$O_x!PRq3tcqR{< zSGW%$IB3$KCiMvzG2Z#v+KOH2Zct1BTP2GF>YFw9u&2auyR%KC1B=Bv<0a}Up8eQU zt6X>-aRy;V*q7ehmYYL9tztlr&zY|W)-!4-P}-fHB%$#y25O<>HbE;Mj0zW0k3thk zW5^$FMpfOTze9ii6C`x7;1EW$BKA0x7N_4!*KJD}KYPrBX{4o?p!b+9HM%RC-l*DY zy#idw%{7Y|K3uP)E;n$dJr5pT9@+IPv^s6cXnbio^oqMXnlynS6o;jmc){~9nbXiy zX;Q?ZNH*FZA4|n&ZC+}bFyi6|D;Ak+lwdCLvmA7B?FeY8NS2V3BmXM;ePCz=XY|0} zH+)nDw0jEqUDQibZRHO=YRz-_hZ69T8R+MS19i9OP8wk$ha%MzM>lj5b`_Om|QO-VD*{oCJMR*WT#Y=M#Brgvtbd4DWhfy|>a??{ zCC)7`IVoLHv|<;TCU~&stymdkm7C)qWH_EK2^1r|K=O*PDGcayW?S2o;xG(gk-%1F z-b4vX#!yz(T<7>kJEoQ`SLe?{Kmt`A(%NbnC9;16LWE5M zwyplJdIM;$=%tdfuV1$}uod159a0q098ezmK=U#*oLbi7Y|iSv@}KLA;UKJon-FZ` z7{B{vP>M)<$^NOJr9~o`&_z>&WRM=qPM4UqYbw}R*1tFa`5^*G88VBQl{Fa9<8`!c z+oj)KEz1%QC#PdtwN$f4Nqr*hlZ%HEy)hR8SqZ!bu9cMpY?0X*PJ+@o;6|1Lsq2$J zRxvakX$3#c=Sq@YoR6ubZ>rwh=SK^oJrUYY`UuSzh4+eHQrAN(qC!!^9I3V9@`V)Z z9P!U&Ce^tD-1c%rJq5#!cucr2O0G>#KQtE-!=6~V*oNM2dm-E_TrE#w--YGlzH>d% z(JQn)B+y*l#4AzbEIP|7lmdQ0OAwFMP&%?f&H&5y-rMFvu40( zr$%4Iyb1R_|FK=yzv#N)PqU`wNtvrAtI>$fKWK~N4FF|;)v>Ea$5@BXooise>5RQr^=<0dPRuQ-`L_| z;?wTep8wpSfog*Ts~(45LU7j#ASCe)*O#8^ACN&%%o)Oy=vN{w`n1_z0S%sil!B<{ zK>WSW+pPYZIzPsKeWAPPrSxq4n@eOml7O&pawf89ECX*LOVzONW?WR#6zez}5jJ{* zw&O@0WP>MG_zMF5E{`t)wT35&`c4U1<4}!Gv*&}#zDN;at`NHcjs2Yh!!dQ$TYw3M zH)oewla6l7%f^=3P2^y(@1;;t*TgUo@T2px$9pr(BGW=x1|tog5-MTyC=z#h$Puh_ zfS3XPb`1Oe^+rMz8Aq+!1|?a!D2AG2Bs8`tdXJNN;hX)@yxAB80Um^=OQkT!%^7b> z+QfQrk;@cAIO4_=2R;*K%?=N8=JXD{G8FE7BBu~CU1kV~+I!Ui>i1Kix85Nlrl3tE zINuU}1e{;lO1eG{M94;z+({=?E&DUzTQ*taGcFdA*t-&H?w4-0~S5kaNa( z3{sl1=-KhURp7V=rS;vYO1yfjp>R(t;v{!91X}R7-x`JDRi$|(u$2d|^CN&rGHc4# zzPzA&T}Pa>b~y77Y=U`|m;xu872Ck{a6g!sZ&iG@y%9*_hRU(W6kK~SlfPhib#T)bvz#q{oj4OF}it1tQe^$q^ulhV~#TCQ15uZVd2NK;`D~Z znd-PS?83`B`5M`eKPG0-|J<0bGlx6{SH&xb9TFRTr=P*$iQjX}JO>cmg*F$d69|t5 zbD^ROOx(a^AOq{u|E)x5j)JXwLxvjH5sL1dhaxA{yyfF*PK;*Gyeub)*YggJgxCwQ z7^e%sW09p3Wj&|uvB#y-%*AprK4mEmjugv&hcv-O&WNK{t5_TykdhRjj`|315_M;N%Zr~)X!0IGX9%j_AcPXK&&Oh&aY)%>vHL;2ifQHP) zGM1%HcG^cmO+2=4;&IWvYJkeZH%UHlkNyV-DSaRM3;kH=1<@Dz03O86OMsSQMCS4d z@yt|NJc~1pXb@kI6>HnatN8sI6Gfw$dC_`WKl@#hxCgkECgbA!)ypabiLTA_$+x{i zKhAbqtZo0P!Z@Y($(rIKxdeUZwO}Hz>B#X(&#AQ9uSm5*{Ep9Ek=nL5jPI=AoG?Uy z*A!Ovpw5lswbopPw_?W+I!VXu(zV&k1IB6HV!1caYxpj9UD2c8@hGk&xxS~j48$4Y zzO^yrJRN=N^war*K!mcw)C{tR9_+MMD0MB~*BQ>>>-Cz0Zu|!4&5x3Sms+IekNdRy z7F6@t{0quQmNkNE==(3dL!@N4y~|~4Wn;V15-F{YKN_Przs9`y_8aS=*hVv!gnAW^ z%-_+N|Cu2`#&l6vHa^6#-yB`J#292=_MCO4RvVb3&ocCi_D)M0UYb|+Gx_=*>#*y6 ziAZM8$aM3d5_CuaFr4apu3@H%Y~Wk$$mBgfLPVb_CQndo&Cb+Lay}x)5Whdz_mu`-m39nj~U+rSAnZsASLr=OUIQh=#;mM0P~oEH-=-5B z(AzfGU8n~8?ja>(9${kC9PV@LMo7(Vu3xM9V|rmCe9_Z~bzRg){FIJN^dqvo_M;p; ztkau7?)Iakvs(3-x&0&cZQ!^>t0xgGi09;z7+(g@oqxaYmDl@K>(`LL$w2K>_{WMi zsW9Tm^o8q}?*Of-pDE~IE4HEJuCx+S_^@CU?VVAt_4xlXEfb@q1|qM3qL!Ip&8>BP z+;|nWR-Ygd2j($_#}feLsl(F}`n0oJy{cG&SegERJN@*VY|5#nJ*Gf6~ES zOs%o{%wIg6D%jvrtnG*+35y9iFS2guVdV)oPZEgiM(eQ&00~hk@e~A*ki0R{o$L0JbMj5!N0Sw5uPXjli zl-{IFBZwaBv4ro-8CIS{n*pB2rKJCjqKv=^OeTi;C};9wximI!7NU3VnK$dYKt7UX z$dif~quHKNGiWmmQ#B;^ldf#`y=r}}4 zS$qA8|G7Na&`ucOq^9atP?jvQ#vQS-Fn)_|Rb^E@0AG6XOzlx)Ed$(l!RZXo5mJRt zE96$w_ex2=_m1x_A&%|WJx%7#w|V4?B3Mguf--`{h=z64U%`33e5M|;SRG7!Dg`(p zUh^|{|1~XCVg^+9tV^Hp& zh&`--Je4MTVl1%aL+^>M#qgcNa>_Q z*-3-ypFM(JAFD7W9hSHV38!WNRTgATGAqm<@*6Y*LkVBWGV(QENT&@rXRp-{7=@+1 zV!vVO*7(@9=7izQyF6gID@qG{(?}01{YnKIf) zo!TP2UG??H84vrb=j9s7z`EZj9X=D=(DcZOYGm)_$2+J)%l=}6p@?xpiw+{+tUYpB z40Spl;5c~HbX^Wi+NSAWTI`ymqy!;wJySgRdM^tG2=7jshlm?qr2;no@}>w1lW>H9I5G5Pg$D?tf+mDY=rPZkJ_~N)q zT$f?H4u7~Sjy(sewi(85u{p%)%C6arBXB5K=E}rQ>RuJY8y?drY!(1)K4bBGJVv%I zVse>Z|Lb#PYTY>m?qNDI*5tltsg>Le$eA5knJ(&*;e5*VqYc??F0&`ONta4*1YOsa zpv&*>4Xt80q<=#lNDXre-pTK zJm8)#uPOcSkqtlwZ-6BJnYU|_HXSVt#279C4g4m}y$rd(Yjw@DRu$RvWx+qc_k3|$ z&-*rUcEZIo82UtN#FNybt2Ko3+f$%Z#WLh(e|#cHJWFf4!?O9K$y3N5wt0Xr6oE%0 zlAc@#2rFNs*&TT#^+<;nNWbYNqEz17y9Y`VTspbAOv&BYv&T~kJdXQJ+!~U`7M%={ z4O0SfaiPJ=$l!^j3BrE-LMcvU$i10aazFF!h?(QJigjFuH6~M}`4-z`^EIUMfwaB1 z)yhf>$QB)5k+^iG6)W_54wxP*u_Xd`1e~M#h}`Rl$r#lsqKdY64)rD+)h!WwoD?G7*rnQb?q>;UtI zV4t~ZoEq0upP)O)gH8A3fyJGap-A=#MN?O7RqNu}7Kr^q|AnHZEVikX4;W%bCE>Y; z7P;83E#pr5WRIbdwcym~A?!4LyvVSZ7mUYyFpl?&&>g1YP!E&N1{q1Bh1X2jXn6F8 zWaiolr2fhc`qf(CbvBC`C`ADC>AK{sd?-P0+}O2sa%|@aHSh%qpdApoQi+$r@!WI) zL6FaSWtl=uys5{h8)lzLsenY{8_xvM4dZKo%`eyx=&#d@Wg$M(E5a!dD|%syJ^8?6 zpAqa0zfT`4MHY8*dujrCO`-hY>d%RrX!Cc#5^Uwrh@!oRxNk2g#*jmRuC||Xv#U$$ z@FnhR_>*;E0TmYCQ`XPq7&JFUGV%xaRBLR%7lH{I z28T^N5oKC7tTb2VySshI=Sui=<6Y^Ka>N8j2LPu;`N9!{S397%0+c7CN(|2QEd6Qw zA~Av2W_&tY_S0K931pEWTAl)rax;l{(F%E?Z+d(?VgusSOKDo_vX_VO4=Pou9LKGW zYRrG|8I%M2$ZfC`$Pvv6Os-5(QosLV*oDaR4!qp`KDbQ-P$n*9 z^6L2AIGq?9dHAp6=bnkb+*Th|*S2Q0=oJ6ED$ND>LNomT{P(itdJg%XG#4{{z=xJk ziHv|N>CN1n8)u-!(0|Z#NNP@w7TbjpBp|F9p4S@35kV*rg7 zffMVJ?jBFCYV-@bBNoex@vi+bIz**<6(#JZ2^cf_Iq(uKGSr5=w?rOdLzuFz%mRBl zqJj&3&bQy->8#~Eio7JIpmE(`bpz!xcC|a848tOOzrk{V4-xG9(G%o?3}+lWf%?0f=FvMtB&Z6=bwJ-Weo4ljTg8CIhR!N zR3cKfdDys}hCyUBS2(B=_5q*&M7OO4m#BO*l`mB5Uu6%p=q%=}bl>yXnY8$c@2f&N zqd+7>Piwl=8W14cXb&oX)q9in7Y2!;Y6#xv+0yTRvJ;vP{`+Vy=5I7aULs04DCrNqekJJ1O*~^oFOD$h<-upQK*dK3Iti22 zgp8u!lbv=cluDdC=_Yn0ljk^0zjsJ@cyAS7Ce|0V690`NOR&p(WSA~|%{iK5fbj-b z;1JbAu7L2&`GBAoAj4o$CO9jfn~d*)^Z)fLbTq}G9a=*huc2V65pN!%QuPWlI)pi; zVS>5ZvX?J^8991(JZrA-UV`ib7W?vAbZSbP#Kv#&5c-_J&;4Djxs4~;PO}KcTvhQ` z+TcZWk?gC$Nlw-!I|RrpTP8g8m^EDsh@@E$?iy$Kmu}Ue1j%KZ-oe;uat$^UgLUH6 z^tJZxNo9@)lpY>4^hX>^C(|;Az%gjcgpCkla|)J(5~Db{2{UZX*qbx*U{WFay;1-+ z@AKyGxH~9pG6eTRX<{?&MUSsFMx2-^630EiFD}B%%zroH3$l|v96C8GU#?5fk7q0- zS-LFK`+k$|^q`d$2a^Vy8QB*f6yq=VF2{V3#_0!WflQkw{a3X)hK1Jo>)!Gwn#T#j zh2cI-w}__Sc~t_jwaJrQvat?Ie@FD#*R#r=V*wep1j>1A{8Mg&^SFHpOLt)c6p_Hxh z9eq!(0>%xVUXXXWFeg!n>#DH%XlQo~`&=&AUVG`pcb$K~1A3Oewqrr4fnv*+p-MeG zbeW#yz&drD%-8DG3>i|=`(g#4N@^yKsJ0X}GbJPXIRcpLDBr8K-gqIHJe;{HkHDgO zVFiotmu|g0X&l35jL1uR0<{=MoC2qN+QblKkDx<8gGd0WQ$j2bP$6^#vM&49$Aq-( zk9HIZ$K#y%di7nMSt08|ZY=MHRsZD=SzoH-_DPm?y*D$gIzVX_d@qIlX{ZS|Vtsp* zhl#7ucTE#VVjZ0)-=>>bV^`>_YWE7m+c&g@J^&)M5e)iHw$8BslJIxhK&SajG5Y*v zXXYi05h-`Xs@Ed6ky^M#L9dtrEv!$(1$9UunwnHlu!g>Cv4>a;_yxl_%n;G~!r$^% z4LrE*#n5m*wg+QU#d~ct;PGnUq8#mk6@Vs(jCM}C=%$QD^{|(T#h@IaTqP{12~G~J z+@Alyc|GC6ZIcxx^%X*3ZAu%PEj#e@_g|jUm!DGkzq%BD`B|yL@|Q7MM%c0raA5m)5PbE3D$ozI-{ zrHibed#@0C$x)mZf0jpDzn36U?|jjD6VjXLjL#F%_bb^L{=Bx<nBeifSZ&!WFVh$Y5@uQ)Lf>iP<~+HUsxCIax4b4rkFPLBVffL@k$%{ANfdIw| zy)*B6s&8-_K%_Eo&{Y(b{Q*;6AxMa_%=2R{_ah-95m&KgB_k|6vq6#{jO>%Mc-?%# z(qnVGmeSI%`U3}3pY*VopmThqYV+87^up*(Q2#6~Ykf?046uOLBEvg=QoP-%g-o1O zdfepX?m9iWnGQQMJvSs?&s4li@nWhHFEjk-2{)&Q^K@mm2Z*@V`_;MDS39}SOXQwv zzSfc-u^}6#H?cx&QLiT02E*|w`TMMuvE@3m;xK8-M8b>U9npUY)4QHeUh+2ppKa#X z`FpxAU+2A7Oj7qoOY9SrRuMp)5qP=97s8nC$uV^X$JgcF(*>q>HDs1eE1$sbMWoh8 zO;qUiaU(lq3w|nDGMol*c-4|8^Vg!}W&h0dfg}u|ePW4z%tU&nOj};1*oYN!ORZNf zN{MurH@7vFW;3+xFFr*~ebpM!P1z>w-wslwE{86;#;9?^ZPhjdwVgt@!ne|Y5btX9Pk-g|FXl?m(Z7m|H$QItuFjNm6a?1mM-){O zRzv@MHQD?3(5JV+GDqk6r82p|9cI3v}ISOex<2mZC~u7r|hW<_rGPuyRC@^EvEiMJMR6ZTpUFNb~sW#c!M zfrr@9dKoh}-y8-uCrd!H7RNRyqoIe@uz`iIo+cQz-k_jTrF zw}Musx6R&JknID!a>&)$#zML6DO=LfV)4d<8NtB!*25r#+(Ahg>U@=!B)fA2q(H;U zq1GdiW4N7`W5S~_Bg8(Q)R=7i*Rb;scDX2?m;w5(11jY7JwU zIq^p67BnBg#f=SZE?6or(z~Eg%y>Q919ZZlfc+dyw@11&VXu5NWVQ+D;bZqgmPD1F z6A-X76ckM8khF(w{|fNXBqSh2C49s_Az%1wN%b8HHhSWi484>L+20G=R;md;K2OJ= zzGY1u8I!qu{r*;?626}+NTbYCou;+Zt^c&JQH%OMJfPH7cQ46_ZV2mS9cA1#r8Ypn zdop&mG4keurr(>lgsWRX{7?27pbK=qKs&X_@!DLMhAswwyGOaJeuoY&+xMz*4;`s; z`%W+@e@W~$rSKzHvH?tv45*scKHxoKYk-kEy_fBtb12ANc9VZ0; z#jrfp;kUI@GfUU-aQKOPU1nx;rvV2sP!3f^4aUX9=me!a66ULlFFumW3QN%}IBqS) zo2;CzN2iwX##8LzF3@*oXP&_Ey`%bSIz|3u)D||>Iq2nDY(fnj^#i9J!FeQ0Bu|HS z6M27K^(V2Wux+7E0liPDm+u3ApIPs8Hz4_X%wY*C7ufp5gqD!y7WGn~X#=FDtKM_) zmf~i_sJW%(u0_BZgE(-@sHxChvf5r!J>rbT8} z$B*Z$*-2X~%Bfm$@$oO-Fe-npWj0=nW8C`o#~L@++T__}rqd!KSeA99RO2A3d#pf@ zJ((->m9}9S8FQJX;t{mdLd&NG6!M+C+7axVNs`F*T zKfSLq5^g@S3B7&VlOvz-TXXF(3)*Odhsxet>*kRLJ=UuKcCjZT=;GUs3#FmO%SV~I zyZ7HCr&d8VZO%f?6Dt@-jjX97YCk<}(R9G#o6}UJsjrxqABUX;ysPQ*j zC2t0o!(KNaLtqnCBP{D_nh&VGp@W6PSFzrA!giUnbOORO-hJCt``%YUTWoAzGXZ38 z57ZX=zB~o&nGV`}mwmN^zNdLWg(p(QK6|@m5Slf;XD{)FLW&Un2TmmoW-1tMqsVuY zI51DrEh8#?ZC=%ZT8D+PyJiaO>8Iq61~bn*mc6=|L$by2m-7eKCn^kjN=eHaTqxeR zxU4CpFeK0wD*;_I>j@Aw=YfaG|UDr@cPyK^Q47t*AvOIV$5h^eaC) z(^;mzvBoWbBmA&=7dQV6q@=A)%C7ixQ<+|1$%V)dV)*?qtiHG89W1dS?+6IcWZIs0>8VoEVajw`x3DiD zpanlt@3Y=R9v&VxP`GMfy`vtcci$M)brazj=qzq<-RJ-nAc;RmRc7w|K3UWKB=0kv z(U_3WdCO`xAuB8U96WEoV@?X5{&cYUx6JLKFLrJSQU9&;H&4I<`Pa5obRz|1+um0) zq02wG%JT^&5?nZf@yzH(49?-W+-=H~>p!?Uefi$@`C!Q1)fQb0ji{c5+nZXld7x>< z*2CFo*9_|bxEe7Cw|^m7g?0V+&&}r;P7-z8Un}nC2)_F{y2@8S+uPgodUG2lyxUT* zrfDnyuPQHb;8JrK4z?dVcV4Q0E0(}n2#t$*=!b5$q6s3fUsdL~Bk3+m%W$E!lysDl z={AUHD<>;ec4U9fUfllEUy2s3T6_JJ&TP}n9ddo~6k3;_l*wRPTH3F?wPJw7+Rd{L zeeg(!4fpI5UtA7dSVM)<1bF2am|ju{%6@pc)e0*3$rM>shex(mVOkuR{hReRboyUO z{x|F2zZ=Acd6H}`$c(JL_R9WrZle+1>WzsR_g;4YI~DmNXJ4|6yuwz%#jY->NGTiI z`jk!tho1-bP}ab5C_P`sEWK<4l)-(x!4N94HpM;-Qe_IlEV`c;+l#qv!%vI(_CrJC ze*gUPTIIxXs``OY*$hQac=e>B6mq9f|GDj2gB&B|ZtRb4q?O*3C46V+i~hAsQmT{E z;^H7z`Nfg2+x?cSs?`&PzbqHl2&!W9^>Fq_-kSUj3^JjuAfJsut-nw65#`zYI-AM+ zARM8sFM;vE-j?&2|-e2$8I0$=!_wFypQTx{&;SEKQ?;!&W$F}sFWsaBCrPa3FUTx!p)){s86 zZBasR^&44v$>rwK;gRo%gjX9s=%0U1mM(^CK1`lG^(TV7{6i}GCZa!DdlSlFp?wj5ZhNK;c z9UzC%4a!PUq>vrCm*;2vB!w1r*QKUUGZO%U9O%Y|lL-mQ_+H{N41QF`pc0 z)oF~0qp^5g$Si@b_v~dV#?=E1h(^0gEuD(OzXd-Fe`kmdv+HW8iaIUy4S2fGE4Uvo zV{~i$XjQ9oz*Mf4WA6T|?B2Y$ISH&9x#o3qqDgfHicOiv?C{$=D-UjkSB=GT*Zq7v zk1d-`HcUSnmqy5*7M2Lifb64E8F?2Mmw_a8=~UMPo0`eTi`6D+6pB|3P;_(2p_Pwy zY4v>q5l|j7iSADj)zmLOS$i$HR;>lTVGR<6z9Vpcf#%3QbP)lIW}~|}uS=Ko zgwO`ux}?qR^{JlB)=N^}s2j<}MlpXcdDo*8Jt#;c{o#}RScL($yQV9+ZGMu%$GJuD zUb9x)k5fwrc0YULvNs~WA&no8h_O4V(^VjQJ3y+Di_w$ZZa)>N_r~$VN|7NIG5n7J z+3~kl-+YzHy5R#IS*PCG80nNan1GSZd)2Q-4M9Nu{pnMW+R-kS*&D&PysFrH5e@z6 zU_}+OEZ24zMGI?Cwp4n2_tB+r1x3KPm`55$24@`KtOZ)zOAy4`qIPRG%k<-FbLO`C z(b#!X_uf6UPT!3arg(dwI5oE?uY_vvvcv8Q!%R%XY@w6U4E{v1w#&=y6=u%|yNo)c zwIy`9^sJ`VL;4|ZBR}o3X`-C94yJLJ zhg<|H)Fo6e~~@|jAB?I@=NWqsz5&a z)B7R|0I%qlnr5Ksf#3aAdCr2q|E%pG)Z1Y7cD5lWqJcKUQbq0s*_P2!aQK~S4VY>s zSFWFh&t1VEULw~IUhbToNyjE|+NJ9JTBtk2%Ttk3PX1Np#PK_DZL8u;6WzqGfb!FI z)_c;4`Bxl-j?+YLhnJPDn}_kDSZ5$og$;F>?*SkPTnf^%JN!U>d0{}_F;oNlBKt`* zsC4MgSq^pIO+Jk?j0qjyR<`n)9twfpfT(1XPtWq#K7s%qFOU!Qee~_kfe^B``=?bN zI<)OaR!*-~`(Z47{NJ&8PQ#(1UZGMIt6)_YSd_)>DJ)kDS{2MXvd+H70G!s6>e7 zinQ(G3}`t;r98QMUg>p}7WOTfjhea7sFlm;wJJ}PES$Pz`fE)s4u84yr|`NB>c^(h(i;{nNvfVAsU zsiG_BRmlU)ef*DONGsrl5t|CEqofnwJ8PP$de+2sCf5u&sm!I1Xw{`laiA10wQ;1VCJmy25j%wEH6mjo8b(K#8rWcrp2!lv{9U=qI4{0tb$M`3Mx!QAx7rk)s(12Q+N60?4V? zD~FBANrENY!~zk+`#{B!=W+ni=!K=@G$qrwuBXOIAG2T8w(KJMi%$PXzFUyyu>FeKwum2Q>&_(vTdkil3FX5o3|ef(4p z=$i_6p2*AJ!*}&}5?BvqaHb3m_{hMwDSm! zxJR{t^c>|c8`7zGU6@qqKsnmya^wnxk1WVG;b&5EP%DXI#E>t+R8yn_jPYC>H zkk>p>>j2PQuG#s>na(WxY!m6@bE+e2SitX10>TjSQbik0Qsf9W3A-Y>$P0n-_}=ooLuAnn@E2DvqQ{cqOiOIl!2bU$jr4plGND(s=R~Rjs-e-_c|1X zjFWff30a;g!iB!J{rI61;(r?$UALQRWDR{b7YK!wk_pJlM&i339$cPn6>QUXMD0D~ z=v3fDoxEyU=ZR#^6(|hBQOCJS7Ys^*0&lg4L&v2LGy21D`(jc(_0^$hH+8MZ-a$t5 zk)DqnnVf8BOZ4v_ly9sjm!16G%6E{4ED{~x1&U)`g5q_8=#uM(EvSp9zMdaIMP28_ zIpcX=w+PD3>TtVTQkPR#+8VIi-k^9qM0eIF)e*`Cr7^Gg$Ld1y8 z1*iQsr)oL(6oK!G)-eGi`|*ue(;hjFhK;aFd^J2gJdCZy{ovYc>5e?MyLa!fvp@Cj zPF#D(al0$hvuyG5>qeLgyIBAPiH1s#u2vb5$$?6v1b0I6Sbo zID|Cm(^*+4bLBZj47;u@q(~tIH|hRx5HXBm`F@oZyF$0yTiQhdaQVzk57NjZ&)$^H zR%9U&%=LiIvgV&zW^D{!<4Dkrc5&i&`jG-Vkx^D>`@v$wErO}3N4(cXC6`gB$S`Wy z;E9CH{DjyIvA6%8u9S5eyKmBc=a@?w)ID4>DL-q57p-`wTBhd{hC3w!9I-$0M&esU z+)*ih^0}o@Pxa~8b^GbMn>_(^MG(Pr^|>%(Ma4~1yHk(oplAd`?_BN)#dyk7s#E?A4jOy?=&mya6+*{mck zV{tM*Z3h@lX*7ryLFaI(aIHtH0G&?D)%~`ryN=fwe8I-cG*Ci<*-ar6A{bJnfBF6( z?0c~z$1oxH>$Wgru9&RFHq~qR89+)dKPK~Q1o$Ne>-k6ogEXvbb#+O`DU@0D>oy5J z!MCh99es(oijo)BSj1~P*BB(sns(h(Gx@v8j7Z{_5k-npLVkd@$2+FDE=QVll z*W9Y+4>*wV6{~rcbj;0xr1{ZBEP0WCWBH#pRW+Snz5gX-tlD@~+T&QEx zpSBxsbNn2Q``$GLs)221OlDM31BTaeL`lX;d*9GuaP+nOzwYqODIQou};k8*Ylp&|UxUr5C7b&a5jcWC6^Nsr5bx&Yv!Xs^` z70gm=haJABn;GT5fym%K6ugv#Hra&M@Ux~Z#-=rPh`1sQbYfVTgo8;ZEIpEyP4r?* zR7rLz3SWeky}ZgzmswPNQr>uA6bxRLI?JV>7V35gwhC`Qzvj?D#P?nBu+8h;E zxq_J{Y2#Zv?_`Mrl+V|$O6?Yv!l3j1Xzh!n4yy?f?K2Bp0>(n`v8b?Xs}FK@mt~&E zOIGI!RD{@U>z;>%^`f^Q8om@le@T}#tKOs#(3_nH@`S3aF_J$YDYL$P!l!{7n4Rdq zqXs$cDo-do`bHb+-_-P6wTuRbc>VjHP0=&<2#?prG~Msr0=)bAD{m89?9N3qrn;6^ z??jOhC+*F}t{#8==Rp^E;6dIoZAhf10vBu&KHc5l-@ia=SR#=l`$C>N$2hW%A|~8| zprB@mWsaIZ&yIvMel(S~MXi7u3Z{6t@Lh|eUn5rMb-NMERPg6*-{tu(!NhnF;GI76 zw|?Rj8j0SsB&Apwq)WoDQCNoD3STkFxkI=Q`2xr6s$JGmlvA}w*RJorcyf_n{4VfO zaP6VQ*hp}#T&xiB17d28k3cM7`E49gWyzF>j^Nb;S$nvdn$ln7W-0+3)LWZ81bqAk z1VbFVcc>eU&5ECa3gytxl@gk&87s6^&dNeSOfD2wTTa`ypbP0RPBcR}TnIA$*$ZqW z;4IA>EhRKAnyvuqS^;Ms2xvYev4z~U8kYVqVd)x{=FoQ(RBBxbe2l(+ep<#Z+J`SH z<>H@NCG~+|J#J2*5!JdDd7g}Xxq`la(IvV+DElUDRH#AK4J16sxlej&v;~+J3%m-|EDVU_3a_*#Wl3+Vl046s@T}|Jhb&Rd6W)3Y+9WmvtJ#)SjFwk(fha&U z{{%|AmBH+Y@T(l_>Rk8DDZT6)78ls)`wF~TXFhP)Hfqwq&~+OCKDC}XhPzVnle*r- z1Y6+I7n9!UFo^fdR*3-P`d3X<0pvi{uJw&n<%VD?ZIEiZC$KxGEH(43ji+%9{oI=- z%_x0!UM?=X3w&7e&rc5d`>KHyIj2(e^}c_%j33yWo-M|GpbB+rJfKR2t#JT=no8{D zf^!S^i>H#hz9(2ng;~svsw`9~_I}** zzSA(~n`K}DAQ0w-m!s9ojhvO!q>L!=nbNrQ4)4p=-3xaRofrwT@y0pe$C(Bi)< zdkR)oqKl#F>hcT@8>@qjKE%Wt=A;Y2)<#zzBjqnqKbBlV1l8zsg!d`qSLPVdv;I1&S) zi)GD;4zvOyLt7WkKcC2g{zUB22}f_yeISGU6)=eK!$WmU{6;2tvl}U~1<4&@A?cJF z?{esHMPbs##*O&eBo+*AJ`i0{sW9{Nt1jwUMZ5mHQ=fy6OYxlnM(IWBWo3^=L+ZZ1 z6Sr&w?=-ajyBa+YO3X={%7T;`R=xp+K>Sw*n1J-pBtx5p=neB3y_Egg)*!F#*}&fA z4-f3LhYR&I%KDOjNQs>}G_lj7mpkSzSZ=whKdE40h(G}#t6{tj3Nm`Jv?=hMbg8&9 z1{UINd1m+GK*{2p=pLx*zdv=AbCWe)meU7 z=78aJHWcgMyzCL@=u3oo>@IXg z8`eegV50+OICw&N~dljKJ@V|%7LPA4BZ>Q_;cVTK-`$n6WfS`m_G1W*DW-t zCIZch77!FuJc^6O%TU3|;JxMFHnf=T`@$HVgmZlgY~^gT26`w6D<}1Rdl+tBs$RRj zouKuZpI;jq5|ROQY&~SVxh2{osC6haIGnwk-q^UEcwT~uz^dks9FFd<#K7g(Vo z5>58?S%T-$rjeJA4;O}olQ~Z?P!EBEJ!#UR%OAV`DHCmnw&&y-ix;Oy71#n@9q;4S<7nPXm(cik)>p)EC zmhCH-^Y{19=eg<|LIVenXwgbMl;RYOj4=S7(;jIxrFmv(cpHqhKd_&ydhUHD#%4*N zpl6hX^xc|nTuXgsa~^UV^HVD0US;o+)ZE-&RS4q7rjQ9I|AaZ{lEZWhC^_{axy8aodO-E3?O9H-S!-6l&ehdE~?e<4v5C8pOP?Z0NUmStdBpgSiGT_ z33o0&9|x1pnxni@s%Y6IPKq#O{OhDgDUaf>mx$(81fPHdIg*&2B|p~#Igc#MZ41i~ z0vrA@kg96czeO+MfxX-*aMIFR`0#uSm?&@&y>JF)m)o+{Tnj&w<#2|q4VY@S25li& z?3@_hm&IGqrq6fIZrr46>Fj(G;+09V*xxaATZ-5!j2#9+50x zSN+Xm@- z`x3}WT{*x@l!Xh5MUNz!euvIHN2em4G8aZ$apno;xy)gEZ2D zYnTe&eQhRcQ};w%gk}O+dN)-2ZqyLa{DUEN3UxDr?_FnZL{UNeaI%=?!n4Sh^hAtv7VGu(AtTd4}q->r_MU+vTrudT%yj(?UN`NBNDuKoW8I%G3yOf-& zvJN=1l8rU0{EfD?d1eW&C_lj)Q&71bp)9)NK*U0DCFF@5ppMsGFgp=9HMe8ZuIWJU~ zu+7G6X2;YDwg)bYA)Bw4V>pbwv_t)}!;zl>DF`LjuUur@sNXm~JARF!o01%J^C2i; zB-TGs+RfVd!DQe^a1*I>mZvHqx-Zce^Y3WqEPg8l5ApTgN(tgiu?bE4-Q4+i&85;r zh=xelgn6|LH>QQ2iqul>R{ z3NZ5jS%ig92SAnvzlu4IIpP!JRr}rJAxnk(sAK1F!ww^j*xhv!StS~iUfI<66IH^! zsGDt;G)*t(J8nLZwv5aWkQTF?={eNWuE z3>i!|fgurlne%UmY2zOV_=cvsNk#Jij%YvTZ&?=sD{q8e`Gk~;m-N0`UDCeI=erS{ zhON@m{gA!LQ)V(*vz?ncl!`sKIj}7P)X4`x4lC)k3RU7`ZPW2O9#o^EB#$Z06TK~c zD=bzcVJ=SORzCK}N1s1QZF4Q9h!*8V{3vz&f#-X!E~}B-?aICHF;TwDa{Yk@j{3D^ zsM5QqCHIBi^9wywpPzYp898^Gka+IGlDPimVz@$Um)q;e?|pGx38$(MA>ZIceH!F@ zHz~tTU==kYGYr!3F}EZ_7pR4;)U~@QvhsU9){hVpXXb`J>hl?@yH`8!06%f z;^8TzT!NT({@CJnGmG!k?rGrpaT~um^0T7sKst<8lf#72_@tsUs$|>+Gft8EVZp>w zBYkG>2d5eMmpB|w2ZzWI%Wr+aDI^yO`T7T9C{_TwxnL8KvfQh&6DhFJbqw5TKFdB< zqF&-){;5A_xxDdy&W((}u9*pC_{TqcHwm`N>tFP3zk@#ptQd=VY1vV(0gL&X}q z1Pia_p11c#6eldW?Qp=V#q8n=9k3HG@0c>o8_`?zRLR}hT*8t?p7;GcGZpO_%Xm)z zz>ikvFU)X>e$o`aHtCz_Xl+_Nczy)qQh`MWrlkNb5m8mXla=lITjcqF`UNW1E&tOm zC=0+lL2W)@s58I8V%cQcWE*M)h#yZDD=djDp4^hv8{LwQQSQyBOX@~Yo(cL^80~)V2h|mjkgcJtWy*S|E(@=96%rTfe!Ja8sE2m(Q3&`JrW{Y? zdC%N&_xq5CscDRSXilZg49Caqu0Z7|!z0h(0c7^OKY&yh`fPr=>5{vuI$Q{RTl{pV zUbpkXtK-ES^@^g!Y}yeYT6XD4Ysjut>F-tKZu}4IJ&FIAVRSKUbsjDkf|+tv2=rVz z@3v8R`^LTq7n{!IcGz4$953-1$g@0ou}V_emuN#yd|M(y#HY63fVapl;rE|i)b|)H zfzU>1a(_tb6DovhVED#lb-{VXKIF?ooPvom`wEtMx1YD0ix!hct*q=6`S+z1J}iHxc*7E`#<$Ax~?;y%8J9o zhOb%xKxI}&JSQ2v!?bR1)GzKr#5eVUeQoW}>eo+p7lojY=Z$KDoQKL`R@6)J`yauy z*H=)O-z0D&Aom-&;(aVX+ZZHE;EG5_B8=c5 z$)=B>;!!XpyDqNbEr{LzVWZOJmL|em{(8vZyz8C&bb1U^axvP0sgbIqyy%M3nH>$Q zwDSeov9?e|0Se1wU0s^vEeO1mY?xwqXJ>~KI~018Vw++OH1lP^?D6dH-vo?|j9%W} zpJ|SO3`qgz-AFb|4!aJTA;o@7R$59tGH9`TZehK$N~G8kw*@Ja3iXOKH&I}~>L=W7 zt}GuGv*LTEZN=nXSG9F@lL}aW@hbi>@RD6c75IqmwrF~s9c}5Px`%t@IKQyGX*pQq ze^J*>)P}l+qH7y7W7sd(WKrT=*RQgF3*N4%Gix+s60rcF(&YW0Kx_8S`$ONS=Gv4I zJAo0zCcY%*PbpkC_A;V~T^iz@jA-QB$#%IZ7P_?ze{4k{S0kzi3O&4KMTS0}Oz!wM z*KHpR8jB4NJRE%b_s9EUSQ-Z2{{?raL^Nb z`$Cx4ysY8l$JppJ#IVVi*7uwFr60pn%cXQs7S(Ge_2_yvqx6__*)nhNfuQ@TR3#&_Y1`aUOF=evJYmQtu|D4N5EiiDQ6Sk-mHP4iudPDM`_aas7K%o!{O&gYst7 zf{^1B$TR$JZ#5n<09)~`ZRwktxf>5VbF|d5(l3#Qf9|V>tcE4Ce*%jM`r7ZA+>kfd zjzCxUAbzaLV)O;Q{8K~od^JpH(J4P-Qb{%3?o0c@8&UJ$K&|nhOd;t~ygzUzi~@~& z&1?g-4E^_t&-1@3mP?4++6u);4QoF-#(Qo~;|$$X_ASretolnAyMtZG0^XvyKf`#^ zX98+I<49J;_*sCXaT>JG$4Ey50o2d8zng8!zDnJ*!}Hwua%am|Y-5w7nj1w3bzHRr z?M9jhwiKy;hkCw%qT>Ngco{1@mrw@1@^-V=9vL`x)n1p~5~fsb?eA3evAK)hYb2N* zU{8y5^v>%G1mT<8>K&esm6@-M7Tp3;*3VeKNw%UW98+6*Mn$5EMU^mpG7v!GQ(AOG1M@cBOHJh61wSnDi4NSV zs@bye68P9^I;9@B7}S2*DF2Cw3~!sNgszOV>M~_5CdYizDk94xRUM05RAl_S?b6ZU zz|GjH6S8=EVB07T2-1Q67pI>!oerbJ+;N%!b}Lahp7;aQ#p_I{u85tbw17)75V^v@ z-{kGNZ_f+{Klcb=&}X>k7van; zC9#`Ob`;}ObHuXv*mQk~&&z-4jyd2B)vtEsR2J6Mh=TcCS}=(&1Ca1-ARV0v%3p@Z zEywC$y}?h}NqnlvgZ-!cEwE6M{K3C0T}~%3qz3NsgZm@EZQD-`H>x49>L!=1qo?GY zaCAx?HvV2hJvQiy4YOkny^j`?|duu8|{B>`CLh20)QBj09x!nXMSgSo4V0gI5=R~1t zxC{T?e2^9L=Rut4xQVnn>qzj}dNlQ&rG|ktkdv?RwQqKX&aU}R8XoyQQ#7T)ViL%9 ztL7-tPO41Yd;(s#e)1YV67d+cAe?}C>UF!(LNzT{2PiuJ{63}pko`RCS}uvS=PDhq zNh3xH!t;AR^noV(239lkiG#q+RgJ$F+%RWyG30+hzfm%czu4-J1RQ2oU!pfSl8w;>&+-F%6b$pKIyr5%m;fpj4oK)YMR`1%dUC z2ENZ|FRo_}LNiF;f@3G){KLt(CLOZilF>OklZ6+4UF*mFWb>YQGoKgtjnf3k0XvHq z*eKI4sI=7=e-^5JN*?$JV$ZWtt^LN2q4Sd%R`h$MAUB-kV10aO`?ON{#V8g2PV?wS z>qemz`&u&bq5>tlK>th>Q9S96$=E!sYWL%1%HP|X2Hm^6cE2DQ;`^pldWqTh5^^kJ zS8UdGFjiEcQ|h|=Li2Q6db?_Qi8P2P`?v(?4`-BcP67F(@wnABbr zwW`x7x9@&Wve1)24IVl2)51%WoB0zjbl`)`e=_a?dGIJ<<vzOI!;PU%;s~nL`TG zEY9%qr9lD-I-@g`#pS~6g-gTS5q};fNtpIC;kWYH_jDO7%DzDm+6%-4MNU?1B=}1^ zGm#cB@t+l26bi=+4|C-&VM$$;|6HZ-z~+cbuQ2qu(5wk(Y4#Jl0YXH&s_Au}-om=2 zzNlMc67y^oNjni*7f!kf+9!49PE0q#oyJZ7 zX_O(8*SIav+-k?N#I)%7g81L9F@VlfiF9d==uU?;5tB6-7RmQROd3z`9VEGk968N& zybB>v<*%XQ+~2TD5Rh~y;XzJmjEnxR^M0sbU{Teqe^xf)4*U%u-SIpGJ&+<=tJYBd zsk*cgRfJe)%J!LMB<&!D_sc}aB&*)KtfD{H5gK(Bfl{mVol@!$uRp2WRAKUQ+*s`_ zq!qV4;zf+tU1v3@c)Un$QkBDH!-Wk=eN|4dH}-Au0KLEba2dZ zzEc-T1{2*>P^46~6PB64#{fTTkO`dTU<30Dg8qy?0zPJ)K+Jpl@h;S5P&U#s2dgm&vpgWQJKKp3?Rt|jZE%L)ZFCkgXkz<7;j-^eE+sP z%L}W(uYfTO2L25hchMC?u!PyxmEW6RTKVbD*Im_SqsQLC&HKY%0b#-=*!rGa(`HUzq{6pMkhy--V zOQApT8mIV4?6lpAJuqh*rZ`Z4cMXA31f^dpTc8F<05k4;LHZf|<3& zIu8*)!c~4(%;Gy!f+it`b8FaASLd#Pjcf+`h1xt8VDuQ#giK|GUX!g~7qS_mfuV z5fRIaU)6ci&iwHFUb=cZ7dopd2iegEZ>`(jt=(FMtI88eXp|a{B&CKxX96v?PXTmG zkO0~$VitcnNVUJIOJIDm@6!nER^HUu{n#-K>(=g-p(8-=h2V#1Ap3a(3z5n>l^7%B zRlpuqD6Em5I_yo6feVi~Szu$DOczxV;QjS_$Gbuji4JW zF`zxs@$QNJbnq(%Nz!9Cz7~a&`nNsri`~dX>sSbVv>9cPmC51;boG!lPvc<+ots*> za{Asgxjsu)R2VG2ixN8m&Fx#LAt}&eHW#`1D&+~UX~3~og^lU@z$q%bUI1{U&chc( zAUHPcf4{{qf$DKde!Efb!V6o%8dhej zkF27iG}OF?4*@y&LB&(QuK!ORoF(%R0+yMoE%YXqqLommb9`+%$ygnauaH--FApa^ zSnGDIhuPBHnz9Op$rY5stMUcTll4ou#l|(E;Wx^SXj0DK`sJ#Y)`+ZC6vdB)psqiS zh*0b38{GufT{7TfcYu}1t<(t+R0qmzv?w^>DxQr0S4~U=HkWA8;u>>D@C zK-2PDiiAj?)ASpm2iF-`Z6;l@@N%l;T`VJ4T$4{DDL{%VJBV?4ijYD*sAJPpt&|dHd zY_GWz27h*@)E~80yd|Hp|6E^m|IZ8$l7VuOFN@t4?JI-BsURz`%iUNf#&O-NRGq!uiO0OW|!UeW@7ypCy?g?flr)q80m4I@9J%Z6;*lL?J=mbgSu`Nls*|T6SVNISHTpgt4vFuV2bYU*PaE zR&GV?f3ip|+e}xzIn_BiZW}lM7Y6wBIS3xn^=3fD&I@F- z=nFEEK~n#TV(st;lZ89X?f|Nr3tD3g< z{TFtK0e9FBFOlsyf%aoSJ{f5A@r){35cC9BkKvheomph<;fUBw9N}kR2to+N8edqy zWXt@;@997TbI-HLyV&i0@;zT0Zy49>WB!oplYg;5@ZW9E`Q27jDLYSqh;ODs94DRr zH`YybR&_{E322aUdOGo7)&VuB4*I{cM$w3h>lgLIvc-tg#_33*qpoC1mHY9cuCm*I zp{+Z3VCU0L5iR$pJ-NEPPy>cqD1;a}0HflPJ7v+qyJ@GG9aXtm;(>qI_`Vi(;%N(* zF`+ju|EpX+q*x-}oN0HZkCdcXVNj*}Ln@nszrx*f6ZQlwcrQTc`pAC;-0OcHQ^jT{ zK6_|}V(pkhojtQN0bB%4v0k9uSy1`x%kR;xh)327H!B=;)m+bh;{i_QFsmxOd5ZPv zBfa|{J`eyx@83w8dLtR=BonAWcCf*`mJV7<=;akIMlaa;5&S=V%i+FIFhz&v^lKIz z=A9OdGJP`pg`Vc6?0cVDmae*=Z6``kPhe@@_5M0%fOls4FTmmBvaVG|m!z@im%?#P z@39!MrsU=E{7Wo647rDPd2Q1Vo;V*MA86i(&mq}2D-`;B3}02$WVP%5zNGuf=u=@X zs`!?SbsOl-(b75YSI}D{ zZ?C*i4}M}XcRzsce*1p}UMQvKiTGjBO_?z2q|BPDOcae^LPhPEg~o0EZy>ANNxM47 zA#4*eE5sBB0CV>lbUC{r(*x8%ER$n7IQh zI>j>`(Ja)nI`^CLRmv9bSy_As+$3|L2N-%9_s>0^9tD!sYs}r1Ke zjm$r>oCF2#8xvYcJta0S`agNyV>lNkbN8YSS`>oJnHuW9^Ggmm#E}BfMaa)Q z01UmMrxgLy;z6U+s_I|t;gWT>jKP(3ahEGS>{UHzXxJTQ+5NN$xOLz96&Q6?52=9L z0G6uy9JiX98oS}~cP4Y8&e*0uH+rga3rk4to0lrh8wVvbDZ$B?BZ>q%%-aB_VF5z; z$6EnccBd7IaUsZnm4OU&jWLnh0!qP=M!+iyezixoEehrRH0A9iZuNPkpJR0uasmEBVsI_sI&_M)U9lN z>7zRU_po^>1_+w~7Ygc*IRElw^uMnNS805-~w16WNSz>NcoB?B=FvZweuO)yh11Gckg0@dtYN2 z)Tf(8(^OkL8b1$b8vGHCzcLUhn)kP-;ubeOd zrW4>07cg*(=H7drl$W+QATTK>FQ0#QR=?GxadIjL?{SK%C*8(HFZxeM1HBj${)AWc zczZy=8FwF{Q2}?Lut*ViS2t5Zd0=xR&yQvTRD_>`fHK@_jK7N}#l0N?oaKf7G)CYe zr^6U-OBI5Ti~A7#l8+)VFb>KY8H{WIvw3TK6LuwmNH6e?&`m7-fM1QW82vME!OzU! z!#;1gIGkiRsNzob`h`d7F9>o+3Lbq5G*Ne%$k*3*_yJ+-3Gi)j2C^0hSMTXU#AYzJ zGj_l#v;uz0hVOwlIzW4?Dq#S^s_B&OUhkZ~WDy~go!FSnYnq(&~@33ea|GI3IgVL$s)6StDs*pW?_I7c}X^O7M zpE+!ZPs#Gc4}`v`!i92@GwyIiVZzPQUZ+3>?}uiq-WQr$1X?W5*82zJe}KN3kd_I> zF%Vc+I8c?@5@%eq-mfuuEPDMI&;*^q+4?F>u}g7Du>ja&>hnYJx(~!SAXv4AQ*u2< zZ%_kLX9KA6*0o0Qcs5w|!~?y^pLkwh_!B7XJeq$h(Z-gwQka0*H^J=Ytds#ReUL9u zDyV)|XB|3AAY$}J4TTF-Z+`}?JwT-o`(YAb6cWN;JjslrbwqBp0F0bNMtMsR3_~sX z=9%T;nj>u*LU&fcHqw~3>j3U>Y?MocK2ZDWY-!jsm{~|aO#77LvPAXnIk9k?F-=11 z@F4j7a|8oSe1HbCEvU#444GDwO@kam5g}5tjP)3Nwc(&;K&53x8u~-0!e1HSyIuyS zSHHqBF!n#OsGi{0i!{d-&E&84ih55rN6oe6EwtsM82+G%Y-_TbPuFPhCyMsyhknPt zg8Ka()l{BHj?I-2i^4Ma2{t#w9+(f!Spy6Qi1%(D4j;Z{XrV4-o(ifA?Ioe=Fl|N; z>U|BFb^^~N(ok}ms!@CEvN;Dtq(9!VI`_~=`T{r2eCfmQKxDMxVAP=7^*K}tqfhGi z6)-!oWi92{=fTn7A^7$buCcwh&2a`*f}E|66i@^CfKNopg2kyBpVxz24)zQ89_HP? zyni+Qfq`DJg(pPJwOJU9se2QB1+rIUHQswU3SpgmY)uSH)RW+z7?$C&6nV;JltfAe z7;zL1=euZ`k9UrUx+n>J*QK(YnldfA+7E0h`D4Gv#&kLK&4cPCGQkMQ?|qsfyIvCF z&{BQ_qNo|4{b<)KHf2QKSHY<9=j_gCIhzS}U4uumH0pvrhxUu4R%aiPz95(D?&%9k zMN4I`#k@{6-+r|+RqHyEp%k$Ly<@XP$%91v*q)mOT`;ZGBar`@0+HgijMvk9R;k`M zd_`ybk5!TUoJ|6;kR{=olPtwBGG_^>G9T%6Mg4Zl+Y0(Os4?%6m*Tqmf7e$Jm-O0x zXz^&aRT|%oh2#66VwwD0KVK^V>@4BxQK{VF7)`am0tG_jcG77zYQ+j_Gx?XL__I^n zKiCo+f*D;IFh&~pLmMTA$DfJkI+4I?SX7; zGm43+H}OO>oy&1uVR9Tm@CUM@6hmbW@jg~@Qm7!7KIi{QVfRc{Z&2}b#~}*1OcDcQ zQ?;;ukM%KVKF$o);`Tvw_^e-#GDM@vov^WHd2@!8o$Ot8^ z{>udrcdZ5Syc|!ooZrfxeO}Tg6083mOW3JrDD}$ow;hI8tJ%7W9H=3M&){|!Ie6HD z^MX#O&RL2X)!W2UdC(blKj*u-47CC6%piY9q7&!8b7$h1j!Y=&<5?_(xH~=vSC(Fw zygotT6KsSYoGnT~rOs;q;~Mz;1MH7iAEA1^A!C7}2C!hDC) z^2=;nGEY>7ChB!N+(TfJ9Oyhmcfa`{c*CIQ8|0}?mrd~^?1>=@aQ%@n>TsjNqmjwFRv*|RF1h@z_%FCE%8@%^4;~rV6J8Qe@#E5wd z$=(3rLUnQw{wY53)%%>@@wwMz?2aW9ed>(Y)y0t(rwrAvXSCv9C1(vdVQq;Y5LQaZ^_^IC zgh%Lvf!})I&In_~@xV|o*8J@-u~i$T2dHXBz$NNlZI`r&7fPKsyTJfk1H6O6=}5gu z!2UGPV1m`3#7D-1f$k#OA=3oZvq9;hLIgMI$-1D@Wvs^M35dJuF31@n1Qiq-e zJN>lu+f$&EWR~_eK0}YBeUF|Sn41ex*(rPtcfsUdXsb4&C^)~!Xt8*M+a|~U=wxmZ zFLkDrrY#=)zA*l#O4I8qOW3*d;h6EC(AkN0+Ij>9l)DNK+5VpQ5Rp7jzz?A*`< z&;ZVb5U0!&{ubFOAi%?oQP2hR@nIuhq8Nhow77i+iHFWi54Z&ERZww#m8E=rHXv5GQjX%!$I6`_&12hh&Lt-dqGEtWPS-Jw4taYe3GI2Tm`OSSiZId<}EWPboGCH2ZrV=PtF zg?T)SBa6egHWy5bujitN-;ZeRm`cZJh_N)_dp=3VUiiKd4;&^a01;0WGj$}KMKQj*QP47#8p7-v0?s3BO&!}kAOub z6_PaZO%Bx1UPKt4R7+FsfF*toj7~f_ny7BwD)@S9J~mNaO-UMqVLQv(q6R-oV3Kfh z!60To_=GLZ_ch44U+qj(fT?n@>~!5My@bzK=`X=AqJ5&gB`o(K%1WNsuqGX;A(;Op zRuf)MFRQPs5j?N459GPlZQ}3eQ~V?hnS-rd0Cn}|Iuq-1%U*S-aj)mFy^H}X6So1i z^F4m?s}u+DrVGfO#h`stU0^imO?bHaGzO2nT3@bn)0cThar}KURt0Mt&L3!A3D+WgMnRi{C2iL*Zw3ipPJM#QcFa`q=M@lNd2f-7uF8b+j>wqYbl|hQTtu zaX&KHGT>eSaUe~IShKW<{a7rwk(oLaBrK7WmW=x!_nI<ZhnF1KM5`|h>|39J;}=}9Y(*`5cG(v`Ikx#`FdzV5)l#;l_(D-h zu}3jNF$^(j@p2FSvfY3qD}PK6zaQfbepTBi)D#k>5bv@YxXh%1@7ht6OWBz+Xx>*9 zUlB$De2}|cRw?GE9H(kBh=TW^fjBCO+U_97u~iD)Qq6LeTYPKY4+47q~Q< z9$2aGU$9-iJFAYIdQ**PE<9h%#%VE&EXovJX2eegBT@ui>%R~pdF80?pCQTR&hg%3 zq1T9i2||#lPlAcPA6HMn6r@(oYup@^b@rv0#=Tt<2apwO!Eb0#*$RX^F`hj?*(t(x_ogGl2PM?w7VfENHCG$`>=)=~(zp=S#A zwN$4sqY6lzIiQYT4U}VUs#N91wIu|2u@9U;3GYd+a8KR2hpi5}SG-5T1?1_f=1;L) zpHB81=e!RirIkg1K~A5WT=Rd>OT+kAJ-Dtc(=Vy+m?|a53x4-4k`GLk4)9-;u{uwN zlavCOdUN{dHQPF08}+eeY}oF)&ACr^9l5U$$3Nf|Ex9u-`io41qSk#N*u_&nYR3&Q z^P}DTGseyom3~7O(M?tq%Pbxe;j%=?1tt8_7=?3iEc|{444kX0?F#4MI=ArBTa_X4n0EWCLlwZ5$^F+0d& zQiDOiVj1#+`%j`+PVS6{{z82p7Wd&oXWe+m2B-|EsF&0H-p1`^G7Ra3p(XWrt*y zS!9H=l3gS#k}VvOl#y&9Lb6N9v7-nlGb4LsACggIefLY>_y2#cbGck~o%em7=Y8J$ zx$ocoyMMRvzbWRDN$V$$Rk;%1ju%x)Qx4Hf_w)9Oqf$Ss0xLJ;wls`=-}>D?9{PJ< z4XFU>Mmm6*ji!S?%ZCQ$ke=)KuGe9Ddd(7!#q5llw4!9m90j5411G zX$V8f)&iD?Kc+=p2=oj?SGeuU7Nvy+dRiWd^{$pUW>6e0eQ>i&Hh;NK8jJNjqGB() zhlPYgf~|+(11td`xgu{bi+|Q46Qh^XOnCpPDl`05H586nE-#MO_{!Nci5DT>ZT)F7 zX|2T2_QXgMBWs$@N^P!0x9#6tKKuSZRyPcYc55x}j2K*KY-}`Ov^;6|MaUvQjnyhd z+$TAaD)BSrC;6v}8dhnNA4J#iCR%&@b=;<@535E;v}oFJ*LHkuXU5cOssZK?h8kzf zfwxwOV$_CI!r}p*?W|eP*^t61v}obOMj2ZD#Pm*Zu&Jz%D%pA>B#Xs8*(mlW)V?xX z3KmOg9+Qx?h168?EEoL&=9v;fFjWP_CFCjShHjhUW;MJRxc)4CUdngnU)!YR@5!Jo0con`w9idVc?zrR$?vZw zUvE0*h)*aE@b=O;sB#$3LwO~p&bs*jo#)FjCc4Hi9ybM;)N75>e|Jd=90}QK4A|2f zT^+yhAi7wcMjKzOc9GL(|AMIuUF1UJsA{x{d$(h=3o#pR2O8Q)Zsc#gf||pdpfh*8 zWk26N@*m%ZoKRMT>6|nES!vk(*Qg9(_6O_H0>mA}c|ex>R&oM+33)ZfJy3WN9C#Fb zMfj13ywsQ9C?%xu+{!cin8BY90vkS-Jumx^ZBzxy2$nXTfIH5oy+6#XNi$=RLVrNV zEGO7+i)&)e&78meMjJ%2yGrj|bDuLmoG%%2{d1Izk6T$~8-^_3kcD6^5{mfy(ydB% z-^CgELcTl^8U^MhLg^#m!7e03@)ET4^r285-E=y^4a(z%KtC?usMzqXAh^L1AmH|9 zXK`nx?l8bvRo zT%~T*%Ii*mts2R#IMK%CNa5h>F-80dy!LOiK%!k}+*;GNb#W1cMwZ#ZvI?W4qwTdU zNiUJT&7nf%K{qp`2DBbZCWI%VGSr|OFHz-@(KYbHoQ;hIKwlB#>IN<7i9=SqIY~bK z4iV!5$ek7gH6GSb3@$J_+$+S%NeGp-VK2cE$Pc)^aFwm|cB`p>#icz7fP;(5Rg;S0 zZfqL$&J8==MXAzfJ*Di=4|Rwws083ta+_t-Z?ze={Cyi|R0T4W0)+!W2XpXh?><1{ z$HP&3YcKc5K{9R=61J(XK96QT9s3IS8erDOB~)(ZMn$HK26_6IVF8nzG!Gw<77EXc z^9ns*n^jBVX8DqfpbBJL-{*Z%x5dI@RIJpC$gMEI|lWC;iusowl8=4s3C zfXI~jqwrj~;$W7hu9g_xpVhv0WK;3W^S&p6M4lH2XvwU8>j)@Da`EyW zEr|H&FgZ1a$j3rrlF6^_9zPT8_{sENLXz+^U6c8DGV-hAbK_>40fssNXq4nfC-X%;(O0T5I1} z95~~RHqm~8Vc8<*{{0T5wB#Y-w$PiIS*98(itldI;-%f!7W+B#i$w*_D{x%j29a?N4h{l{ zooX}udmPsLZrsiNW>WCv-<#`6M1E4J9$>n+kf8Up$Scq}Ffi*VM*&>azC0^ck*U&_ zVId`^B4GA-xeiMd@0gZin)PQivZ~vVe-n7n2X?G?-tSOdf{%K9tSVbGA+LJO`tTed zmnM>;o%u6)*K$`=G<{+`;|s7s?LrWC!$_#2?vu^?H@wS`RD-+helvT3q@=}RBH864 z5zhFd^cq~fYI5DC{oraJI4vct*!G%DhbgF3KL2K=XdK)dL4DgBKjj4g`#>|)X2lx4 z@V=82&?hw2;yY7d2Fhc3Ck`jOa)JnF!*=2X@Q_4LK~-N`iR1O0g9C7$bU-yx!Ec3t z`KWwUa?Lh}Mc1oGCs}JesfwDLxHeONocU3{YOj+bO#^+ZngCaz_-b^Ry);cCa8UYI zY{3p`7q@Affd|Xbh5g-jqPS%fYR-<9mZ(Uhp0{BKw`x;S;!B_B;oU8kFw*n-)dKJk zDD%<=ngLdg{V;sediRjv0Nhraz7+h}$~NV2IsI_N3il~1DNCSaI$eFaGqwLSJ<`ad9QAC>p# zt?lc&lMWU)j#SK@D<9KM$n_c$qDoFFc=tGbXpMTCbUBx0rP$bod(y3a#Zk%_I*P9{ zaE!I%hr=#eL}>Pn8k#%3Cf#1|(Lo9mRM!6GRXw?Mi_JmtY9cgm?wRonN|n^M{Y#qB z7yp5n@^Bk+qSwdP944%!#ed!SHh;G|Xn104P4|_PZ>&c2c8WP9t<+xZ+58%~8I=JM z_rj@zS83%w5yc{CU@-L+Tl}2omn^ghPUqF~s8avk=={cpgPBImAkktNORT3!f9g$h z&!gAA!s6%*!M#gsKXbSp>Tb25{XjYcILV>NJNBvZ3WSZSc6R?Uct*U6#anOmGCRv0 zjEu}5nazkOcZwvQrQ+JoV2m@J%R*_<%_LCan`=81^csfM`P;e_66!x(IUoB#eoIgv zUJ%Gr$tzTOQN`d-3Q4k!9H9HVw)wddPkDp0kk z?B!X44~8BF&NrmQ_yf*-xKQ zzYMf5G|8~*wa>Nnp8e~N-`ta%7VgkXSDfsiVv!C6sZW98@+6NL9HTxQo>2Ux0+HQU zyvg5#danvf3<#yLft@-kDDpHLP@HtP5yles_A+*H=3SJd2u_Bl_P8)h0C7iOL8P2f z5s10947#IlGuJu`m;61cJWYR;`vwM103ZqJ#|_s0T@c*;^sl5qg|sv5W8N2dVoJKY z&q51K#>8RSrfe4T_v>mTFcBptjVo$xhDUB)<99ehNhHN}BAN)BUQx=gd#j821m>;& z^<%Ah>C~oSLLY>6^}dr)J`XJ58loel=~5);k1e?#pJkBIsT}CDmiFSM7N)&#AD5Ek zt<%kb-x=Faoz=1(t=;#mZQSV8PWVzlQbQsT=!k`w zLEYNg`t6mjMQ=S)pNK1MA*NKq#*E)WQKiS$hDPpr&e~uH=R_kZlRb`COhZN`_N1`M z0Au_+^+1$5haFjZY&O)=J&%s&q*B0-Nmt3&L>99qDsl! z?vC7ZYz@wjpxTGDCvJ^V21}G`+}+)+zkTsIG7S#s*2m4wt$zQ0Da3%i@5vu-_MQl` z6&C4lEZDG=N~7)M#nrgC#l*zez#a{XnZ>gJf1PH>akTn-``hq~$S62f#vzg04WV?| z?KhzI&na>DHf=VH#OXgHAw@=#RovF=4?dL*82)a^H*}o-b?k5u7YU|?phsu|IG^A5 z^d+ciu8}5}*_%?m?|b;&>x$x2u|Ivn{nPfvW>to)&wlmjD0p9aZ1fDCGXdF&Q^0PJ zfA<>?)TdKfz#U00+xg!w)_Yi)Gksu*Qb*_t^Mhsivl6cNJ|k%UaT%YbvVO;iHcMm~ zsq;|0I%x&1$0yQ5;YZ+TZ(l;A5Ya$>lM)d|1Fo`Mc%!JTw~4;F9z#4m*OiH>yo7s! zf=3w6EoS|Rw57d$W$c))XysKrJLqG z!zkmqoB|B-?@TW~BHJerwWmYSL~`M7m-ZrtgpK3m;bMxCF>vA_pDPSKC7uCa!dE7u z%0dcUY{>oAY9&jy^i@z?Iv9j*NCN0_!nKR${DFGB;&W6d#t&~}h&%P`c7UWzLKgx$bPbde3EqezVOXVfTA$ zY+P{>s*YnJO&ISbcVBdFtga5!oo6EZA=ji)=7#Uh?`N%h$gw|{8HF;VF6e^CKCK18 zaVuo&IKbh3Zd&1@G~Ck2NOjwL;B&Mqa?^x*z!P}RoY8|4;nNbfxMueEWPAi)RkbABzh%ZER@u-J1gv7 zS-wHO?U1CXc{M+T1owbHB!{|x$Jv_9ZHK;Lz_q@m)?+DImLoT7LMt&-Q2XlD=N!M6 zZUQnOe!HDz3nD1wjn@baSoug&0%BGzt*uwfwjiw-jR?)CjTo@CGf1~(O5(kQ!H(I{ zFaVJvD<`K7w8!{C?}z+JOTeD?YgPU5XMJ6i+`}Z>@y;jdT57|4u6mW}9`$_ijYp+t z%}s`|7Iui@jsVWRV$k@SAC2NT0=$%qypyns^vz%)c`)#cgiuOlVhjcoXA!V#AoGX1 zb1oA?qtk~=N=g`nyR-_kA>X5Z z7mU5hR@qD>W%v75%7dI>dx`D*Q7PMtk#0P(MZHCuVmEij>&XB=-q z7kwj(YT9?RI_l|D@;UFQlnsl^c-lo;J!edi^vf5uH*EQK+j!&-<|Aqm_)|juL9r>e zB!R{Y^c7U3kw^nTD;Qfe$r2Yv%Xc;1 zwvh1}yi4cV^uQvF1OZV9HSbgOZhkg-*TB1M9k>ynlELXg>w8E`HT$^XW%cRP~$pGy(_TbNH ztH|0lmnqIKU5w4w**wnNVu6R!$rIRNBj5W_CU930ajO0bt$L_b7hg^m@zd_m>G%0K zz@*?`EneBFY7O@G#9XDNM3D!PKkdvL!cZ}%u2&(2F^+?!x#*W*3`)+51Yu9%e(?~` z`T~D-VQ-+~I?yFfOj}q4=AT zqVkWIhMFPZj$2z!Y=#=%UQVs{)wis?#Lo%Hf`thE;)_hmG(ZrHLyUc8i})1bv^%i> z;}M}6v;qSIZ89ri z348-LAJ$0ne~_@Ec=2xJZnn_rOtTl-uV-f$&jz1<^!zHTPUnO3^rNEpNjEPhHugSp z8+wA8@398(50932=_SgwsW2NK4;& zd{qT;!33f8qPf$wCfv%ynUYN-wLiU1ggY$s6)yfhTeP~uXEA!<0qk6?zdzyN<6qeq zVRrp~w2f&1^-3nCZM62_LQro4hYq@hdZDB8s@8^LBmvQOe zw?{?sH;bMMP5pfss1t(l$3+p2&QeZ&hAHtCc@tE!*jr9oGkx9Kpw$zOpCohN2a<&+ z5+e=}iV0$1*yl$EeIzWkBp+_($ZUNKe=kRecVYa$hvrIF4Y6INE0&TfLsUte*3PjEFkR(!H` zyeO)&`Xyra2rR(S;J83DqwJ&vr$EOSW2P0BHwzjse zg01TnWGRv%LDuR2J}7a*rATl=m`OI%&vOmZ-21=(LHzWZs*i#w zr@MZQ8FBU*yUPQ>imp-?KmMOA)Vmz9;J4jrd%K_UT7OM5Mk ztRqQ64T?(yfW{$Uz+$d-;CLN)SuoGnNFY)eHfiVe*lnlOzE^{6y**XV_cI}%11}$6 z+cll@)4dyrKXv#(4t{H$8kewImi|>*D#_CcjAWn>`TWMuOCQ z7`qSS**Q6a804gwPKN-rlcyi(WQ-EF;o$vO_z5GAKwYH48l0!$48DF(MVB=O%OB^ m(H#)iIrNhM{dRd#zfT}hNSDU$8~lU-elB0UqFSVE8T3CCJJL)5 literal 0 HcmV?d00001