From 678d953395e5ffd5d59de2f1ba1f01befeec87af Mon Sep 17 00:00:00 2001 From: TobiasFancee <59149844+TobiasFancee@users.noreply.github.com> Date: Fri, 21 Oct 2022 14:20:57 -0400 Subject: [PATCH 1/5] Create Fair Stake Pool Rewards CIP --- CIP-Fair_Stakepool_Rewards/README.md | 176 +++++++++++++++++++++++++++ 1 file changed, 176 insertions(+) create mode 100644 CIP-Fair_Stakepool_Rewards/README.md diff --git a/CIP-Fair_Stakepool_Rewards/README.md b/CIP-Fair_Stakepool_Rewards/README.md new file mode 100644 index 000000000..4ab13d9b5 --- /dev/null +++ b/CIP-Fair_Stakepool_Rewards/README.md @@ -0,0 +1,176 @@ +--- +CIP: 75? +Title: Fair Stakepool Rewards +Author: Tobias Fancee +Comments-URI: +Status: Draft +Type: Standards +Created: 2022-10-21 +License: [CC-BY-4.0](https://creativecommons.org/licenses/by/4.0/legalcode) +Post-History: https://forum.cardano.org/t/cip-fair-stakepool-rewards/109368 +--- + +# Abstract +The current reward sharing scheme of Cardano is unfair and anticompetitive. As a result, Cardano has become more centralized over time. The high minimum fixed fee and current pledge benefit favor large stakepools and leave small stakepools at a significant disadvantage. The current scheme allows large pools with low pledge to be more attractive than smaller pools with higher pledge leading to centralization and potential Goldfinger attacks. Furthermore, k, the parameter representing the optimal number of stakepools, is set too low resulting in an ineffective pledge benefit, the formation of multipools, and a low incentive for stakepools to increase pledge over time. Finally, the current setting of a0, the pledge influence parameter, gives an unnecessarily large boost in rewards to fully pledged private pools resulting in significantly less rewards for public pools and their delegators. + +This proposal retains most of the original reward sharing scheme, but makes changes to ensure fairness, increase decentralization, and reduce the viability of Goldfinger attacks. By removing the minimum fixed fee, adjusting the pledge benefit, increasing k, and reducing a0, a more egalitarian network can be achieved. + +# Definitions + +**Minimum Fixed Fee** +- Protocol parameter minPoolCost. + +**Margin** +- Stakepool parameter PoolRate (percentage fee). + +**Public Stakepool** +- A stakepool with a margin that is less than 100%. + +**Private Stakepool** +- A stakepool that is not seeking delegation with a margin of 100%. + +**Stakepool Operator (SPO)** +- The operator of a stakepool, can be a single person or an entity. + +**Multipool** +- A group or brand of stakepools operated by a single entity or stakepool operator. + +**ROS** +- Return on staking (often annualized and represented as a percentage of the initial investment). + +**Leverage** +- The ratio between a stakepool’s total stake and pledge. + +**Stakepool Viability Point** +- The amount of pledge required for a stakepool with zero delegations to distribute nonzero rewards to delegators (assuming minimum stakepool fees and ignoring luck in VRF block production, i.e., rewards are exactly proportional to stake). + +**Stakepool Competitive Point** +- The amount of pledge required for a stakepool with zero delegations to offer the same ROS as a fully-saturated stakepool with zero pledge (assuming minimum stakepool fees). + +**Stakepool Saturation Point** +- The maximum amount of total stake in a stakepool before total stakepool rewards are capped and ROS diminishes. + +**Unsaturated Pledge Benefit Penalty** +- The amount of potential pledge benefit (in ADA or represented as a percentage) a stakepool loses for being unsaturated. The penalty is larger the smaller the stakepool. + +**Minimum Attack Vector (MAV)** +- Also known as the Nakamoto Coefficient, the MAV is the minimum number of entities required to capture more than 50% of a network. In the context of Cardano, this refers to the minimum number of SPOs required to capture more than 50% of active stake. + +**Goldfinger Attack** +- An attack on a cryptocurrency protocol where the objective is to attack the protocol or network in order to make profit by shorting the native cryptocurrency. + +**Sybil Attack** +- An attack on an online system where an entity tries to take over the network by creating many identities or nodes. + +# Motivation + +## The Current Rewards Equation + +In section 10.8 Rewards Distribution Calculation of “A Formal Specification of the Cardano Ledger” (git revision 1.1-486-g301fede) the current rewards calculation equation is described by the function $maxPool$: + +$$maxPool = \frac{R}{1 + a0} \cdot (o + p \cdot a0 \cdot \frac{o - p \frac{z0 - o}{z0}}{z0})$$ + +where: $maxPool$ = maximum rewards for a stake pool, $R = ((reserve \cdot rho) + fees) \cdot (1 - tau), o = min(poolstake / totalstake, z0) = z0$ for fully saturated pool, $p = min(pledge / totalstake, z0)$, and $z0 = 1 / k$ + +Current protocol parameters: $k = 500, rho = 0.003, a0 = 0.3$, and $tau = 0.2$ + +The current reward sharing scheme which includes the rewards calculation equation and the minimum fixed fee are inadequate in promoting decentralization as evident by Cardano’s currently low MAV relative to k. This is due to its anticompetitive features which are discussed in this section. + +## The Minimum Fixed Fee + +The minimum fixed fee or minPoolCost was apparently included for additional sybil attack protection. However, it’s effect has been the opposite allowing stakepools with low pledge to offer greater rewards than pools with higher pledge in some cases. Moreover, the minimum fixed fee is certainly problematic as it places an unfair burden on small pools by enforcing a disproportionally larger fee than that of larger stakepools, reducing the ROS of small pools and incentivizing delegation to larger stakepools. This leads to centralization of the network around established stakepools, leaving less opportunity for smaller stakepools that may have greater pledge or community presence. + +## The Current Pledge Benefit + +The current pledge benefit in the rewards equation is a function of the total stake in a pool that is significantly biased towards large stakepools that are close to saturation. Specifically, the current equation penalizes the pledge benefit of small pools. The smaller the pool, the larger the penalty. This unsaturated pledge benefit penalty combined with the minimum fixed fee leads to illogical rewards where large pools with low pledges can offer delegators higher ROS than smaller pools with significantly higher pledges. As a result, delegators are incentivized to delegate to larger stakepools even if they have lower pledges leading to network centralization. + +The unsaturated pledge benefit penalty is part of the current rewards calculation equation and can be described by the equation: + +$$Unsaturated Pledge Benefit Penalty = \frac{R}{1 + a0} \cdot p \cdot a0 \cdot \frac{p \frac{z0 - o}{z0}}{z0}$$ + +See UnsaturatedPledgeBenefitPenalty.xlxs to calculate the current unsaturated pledge benefit penalty for a stakepool. + +## Goldfinger Attacks + +The minimum fixed fee and current pledge benefit introduce a potential security threat to the Cardano protocol: Goldfinger attacks. The current reward scheme puts all small stakepools at a disadvantage regardless of pledge centralizing the network around established stakepools rather than pools with the most attractive pledge and fee combination. When SPOs with low stake (pledge) in the protocol are allowed to dominate consensus, they have a potential alternative incentive to attack the network in order make profit by shorting ADA. Because these stakepools have low stake in the protocol (operate with low or even zero pledge), they would be able make profit without any significant loss other than future staking rewards. With leverage, the attackers could make significantly more profit shorting ADA than years of staking. + +## The Optimal Number of Stakepools, k + +The current setting of k, the parameter representing the optimal number of stakepools, is set too low to provide an effective pledge benefit leaving little incentive for pools to increase pledge over time. Specifically, with a small k value, a fully pledged pledge benefit is far from achievable for most SPOs. An ineffective pledge benefit leads to the formation of multipools with high leverage, as operators can split their pledge into multiple stakepools without a significant decrease in ROS in the resulting stakepools. + +## The Pledge Influence Parameter, a0 + +The current setting of a0, the pledge influence parameter, gives an unnecessarily large boost in rewards to very high pledge and fully pledged private pools. Specifically, the current setting of a0 results in approximately 30% greater rewards for fully pledged private pools. This boost in rewards unfortunately results significantly less rewards for public pools that commonly have low pledges relative to the saturation point. Given that most Cardano users are delegators and not SPOs, this exclusive boost for high pledge pools decreases Cardano’s overall attractiveness as a staking protocol. Additionally, having a high a0 setting only accelerates the wealth (ADA) disparity between large entities operating private pools and delegators who make up majority of the ecosystem. + +# Specification + +## The Proposed Rewards Calculation Equation + +The proposed rewards calculation equation is a modification of the current equation that removes the unsaturated pledge benefit penalty: + +$$maxPool = \frac{R}{1 + a0} \cdot (o + p \cdot a0 \cdot \frac{o}{z0})$$ + +where: $maxPool$ = maximum rewards for a stake pool, $R = ((reserve \cdot rho) + fees) \cdot (1 - tau), o = min(poolstake / totalstake, z0) = z0$ for fully saturated pool, $p = min(pledge / totalstake, z0)$, and $z0 = 1 / k$ + +## The Proposed Parameter Values + +The proposed parameter values are the following: + +| Name of the Parameter | New Parameter (Y/N) | Deleted Parameter (Y/N) | Proposed Value | Summary Rationale for Change | +|-----------------------|---------------------|-------------------------|----------------|------------------------------| +| minPoolCost | N | Y | N/A | See Rationale Section. | +| stakePoolTargetNum | N | N | 1000 | See Rationale Section. | +| poolPledgeInfluence | N | N | 0.2 | See Rationale Section. | + +# Rationale + +## Principles + +The main goal of this proposal is to ensure fairness in stakepool rewards. This is achieved by including these principles in the design: + +1. Eliminate all anticompetitive features. These include any parts of the design that treat stakepools differently based on anything other than pledge or declared fees. +2. Ensure that the pledge benefit is fair and corresponds to a consistent boost in ROS no matter pool size. In other words, assuming the same fees, two pools with the same pledge should always offer the same ROS. +3. Ensure that the pledge benefit is effective and incentivizes increasing pledge over time. +4. Reduce the large rewards disparity between private pools and delegators and increase Cardano’s overall attractiveness as a staking protocol. + +## Explanation + +The current reward sharing scheme includes two notable anticompetitive features. These features are the minimum fixed fee and the unsaturated pledge benefit penalty. This proposal removes these features to ensure fairness and promote adequate competition between stakepools. Removing these anticompetitive features promotes delegation to pools with most attractive pledge and fee combinations rather than established large pools and multipools. This results in fairer competition among stakepools and lower possibility of Goldfinger attacks as the pledge benefit is effective at all stakepool sizes. Greater decentralization is also possible as small stakepools will be able to offer competitive returns and potentially extract delegation from low pledge multipools. + +To ensure a more effective pledge benefit and incentivize increasing pledge over time, this proposal increases the current value of k from 500 to 1000. This allows a fully pledged pledge benefit to be closer for all SPOs and will force multipools to split pledge and reduce pledge benefit if they wish to continue operating with the same leverage. Additionally, a change in the value of k will give many stagnant delegators an incentive to reconsider their delegations giving smaller stakepools an opportunity at increasing delegation. + +Finally, to reduce the large rewards disparity between private pools and delegators, this proposal reduces the setting of a0 from 0.3 to 0.2. The current setting of a0 results in approximately 30% greater rewards for fully pledged private pools. This proposal reduces this disparity to 20% to create a fairer rewards distribution. The result is an overall increase in rewards for delegators as most public pools operate with low pledges relative to the saturation point. Given that delegators make up majority of users, this reduction in a0 will make Cardano a much more competitive staking investment in contrast to other blockchains. + +These proposed changes to Cardano’s reward sharing scheme are aimed at ensuring fairness, increasing decentralization, and creating a more egalitarian staking ecosystem. + +## Test Cases + +Stakepool viability and competitive points can give some insight into the fairness of the reward scheme. These points are essentially start-up costs required to run viable and competitive stakepools. These points are very high and out of reach for many SPOs with the current scheme. This proposal effectively minimizes these points. + +Current stakepool viability point: ~625,000 ADA + +Current stakepool competitive point: ~19,000,000 ADA + +Proposal stakepool viability point: 0 ADA + +Proposal stakepool competitive point: 1 ADA + +See FairStakepoolRewards.xlxs to compare stakepool ROS between the current and proposed scheme. + +# Backwards Compatibility + +This proposal includes parameter changes, one parameter removal, and a change to the rewards calculation. Because of the parameter removal and changes to the rewards calculation, a hardfork will be necessary for implementation. + +# Path to Active + +This proposal must be approved by both IOG as well as the community before implementation. Community consensus should be a high priority for proposals that modify staking rewards. + +Implementation can be staged to reduce shock to the network: + +1. Decrease minPoolCost from 340 ADA to 100 ADA and increase k from 500 to 750. +2. Increase k from 750 to 1000, decrease minPoolCost from 100 ADA to 0 ADA, and decrease a0 from 0.3 to 0.2. +3. Remove minPoolCost from the protocol and implement the new rewards calculation equation. + +## Copyright + +This CIP is licensed under [CC-BY-4.0](https://creativecommons.org/licenses/by/4.0/legalcode). From 0abff289057f2ba8a6e1c4792735b7ba522780ba Mon Sep 17 00:00:00 2001 From: TobiasFancee <59149844+TobiasFancee@users.noreply.github.com> Date: Fri, 21 Oct 2022 14:25:44 -0400 Subject: [PATCH 2/5] Add files via upload --- .../FairStakepoolRewards.xlsx | Bin 0 -> 84783 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 CIP-Fair_Stakepool_Rewards/FairStakepoolRewards.xlsx diff --git a/CIP-Fair_Stakepool_Rewards/FairStakepoolRewards.xlsx b/CIP-Fair_Stakepool_Rewards/FairStakepoolRewards.xlsx new file mode 100644 index 0000000000000000000000000000000000000000..24a3f4400b169f19337929db6dd9d35c8b2580de GIT binary patch literal 84783 zcmeGDW0z%36eS8LDl2WE zh%xtCb1s~Stso8h3kB#m5Cjkq5FtFc1&|7!VLL5Cn*}u$`?Fz}87$#r+S! zQJ2om#+snu7YIcj5XjH`|L^)g*aB5a{c?j0Fd^3xUBb!KmW}oT5Y-!oeTZa?cmyO@ zShTVQ9M~Hh2d2hCWmQ7w#fsSP-@R=vWR1GU4Ya?OW>TzmqBMT1aTQ-ym|RaDf8+o# zf>j4Nph-7C8`d7)EE_gG`=T0XQ>tR-`TxW;goqjJ@o21<>zIoat<>%7jWufk_u@uh zwK=f`M7vwFt~%X8B(J8W@m`+X`;+(yrcA^8SF4W)J&Q>rh9}uozx_+V$Ay}ZVbrjS zWe@6iD;4g%Z|!HiPL@J$3a};=@OP9i4A#1f8l1LJgDNH)#3qX92z z!?0imf_^Mr?Zpj@xy#Zr{XvxLIQ}TNL+^Jlf`q&A^}9y2X>^nqLMRAXjB{aqACE8j z-bWVp?4?k^-R9XcTcrP?*Y`Ilki!2%qs^)e#1B8e$oxnU`bVSs4ghOMdb$Q)9{?5p;M5M7oZm!HzbrQ9i8x?`y- z+sg8#$9IUu7H>uB5oYPsu^^F)aYE2|)BUwZWHq;qUTT1sg_JL=L+V=D^Ue}yGksT5 zN={+TsS33tQBRe~*|B_gds;*rj2a318#W(03HzSzpZHx}nEN~NFX zhJ{k}QSUXF5Lb4T+8UgcwY5HeuIF|8(b-~tO%ysAD*7}?e0VU--@}64=|zxF_uONwVAh9r57 z=7f2ntR~T&?lcy!pM;ts?1SpKHfzE1E9oEB`;n1u>Upu%Nk#@s3+{tNdV`J3&U`G2jc~t*G=z=e3C%0wO(z9_N z#`}GW)nvoJ*fFUR92G&8ji%FR!QO{h8u^_21+{(+M#GwA#F@vNhkqTQIUp1q@Ebj zTPHclvOQ(W%wB4exDoW`6lqKay&mS)toFifxNuMPg1=DYj*ba4kAVSy%`f&lY|6xC+KVQR%w>-cFAFD3^JQ0os5~Du*YtecLlPW zLdqK?MuL6}Z0qzc?HCS?fUw+5n*D*H27!9@c0YPxB^_Veg(r5JMN)Y&y)zzjI^2dV zU%sRVS-bw)>pbhywh4UZ=}Z=JYmS5Gt_0y7j42$9egFJ@uSehOFqlqINf`l^DWshr z!7&oeRw+V-PYpZ+ zlgV5*p*q+pGKcM?MRINNymNQHe3jtGMP6;Po}M6l$AJL7!*M+8qs`*Dgelih>lDQu z&Z2BXIXAInR>xXv;vCn|CAhRl%==c<8Savh`tMJUll2P@&x}ntWbu_9NzOJ|F0EhRq3jfm^77zsRkJkQYPWrzq?*EscfPZSopSk~MUsVZ{ zmO~6MqR+u!f%84~Ox_A1_NMbnX*QWYet(iUWQ@SIy$`Rgl(@$G;%pljB?g}H!aFy7 zU8`S6@UhHLO(dZLs$2lZR$$k|lheduedf~E*`#2gV5`R~>YeJA@du>_8GK=7Mu8xM zn|8%8>k6TS_PlExR|Z0q@fpPdKweiSHT{x6>&Y4Xl_wS^U3+hmc3h zQ4cvZgWC0x#f&R+Vc1*(IGa=G99k_YU_7XHR!6618yW4s`^OqrkNN*!IaGGB4S)Cw z1cX`v288i5QMJ>?^8On=3ra zI%>@V>;phXKsQM;o_1XO@ynMirm;A6usM!%CV8uBVw8T#%V5`>f$TAe0aun&xp&jf zwbr&KazaIsI!gvsX!^@d`K~6V#iggb|e;I%Pxv;O|h`I8D6?q_^InAMDhoaeam3tMHI~(s{ z0m1SW`TS|;U~?-gm#_I7qnYz2@4h`u+gCMjDnYdf^+_unzpIHGAu&jkExOSpBxG3J z`DLi1;g)8~(7$Dbic@YNoO_aPauJppOkzRMA zo#+3_%Kt&ls_gTcEwO}R{b7U;;RbQ-Ojo5iu#?SM;0}C4pg|k?$Jlb)BrBdRJAVDc z;3=!POk&l1osxw5#6u$nCbgjndf%_h=bi7@n{$5O&$oa0-?zTLFQfF=8Ls>vuerTn zpYmTj$475hq2HEo`o8ZUcHf^j@43C7U(dc@cUK-3p|1M9A7p{O<0tyt&6l0{FPZ$D zA1f>8sq((wpLeJ1?1wY3r`z5R;#ZBt@N4m-7h}pUhn(DZ3ApalFMYGHc1tU1?lUo6 zCgOUH#CA^-uG6+q==lA653-2DN8MWb@pSFvE+STXxi#7)m7mD59j%2e&nJZJo1>*X z>xkXn^z`F}Zc?y(8=!$zpkh_Z9R*uLfx)Jr~I*w*Tcy?MAvu!6(YCeCftAb-7|ll?7z|HAkhUiv_ubLoH6 zGCOY5N^E+MJncMV=VWne$xN0abH zWP{3fV(HRNBQJvc*^p}QDq*CjV$HaIZwc8>0Oh0(I z=xOQb?cgl^L1^waJ3f9W{MEAcyVc^o1KIXa4({gH06p25_s`nMmv2M+%9gjByf+DW zZnE%QVBiJsRPkfa?e!xI^w&fzB)0c6(U8Juub=wcV6D{H_i4E96EQqy;(86lwQKRM zHxgdj3+9&(;uZCVh~J$)#Ti4dJINy?+mAggWcF$B#f;&jo;1;tI8(}oGMRpN?JQ*8 zuhPZ|sh7Aoax|aGQ5x-jXy4r#hF2j zWwfI{-JXffne#pN$JpI;cGtt_7a9?>EWo8i*@toJ;0gAUo5`F8K4 zv5*?MOBQ#nxw#*#jtAS!qpyqaM`mA~K7Hd~ljprX$6Q~d@HlB41f#wl-`hCHSf97C z;{qXLko;aBf-t{8|B)FS2Y!}zVow)qhWOZKSe$T&Hy|1CRj%~y`1m}n2&CEiaCJhY z2Yz1Wwx7iE^L=q-+Kt81PmN9+w>{k#TfEzAxbg5LUywQ=Bo6oC>(}3hA8U0&;92aW z=Q2uturOt6_ zr(3bb!tO}}?cZ?eJa|^$4*rww_4SD=ou}sOyG8K+wVulJn#0~7ck*^gZM75rA=+%V zthW?{zTEv-_1eq2HBE0h+#_RIM{oJo^DMn5syfxQEyJ!~+H#&+)9tdgO1AyFwv~6G z1fV+V{8~{L=+RjR9N{x#q;>o%qW>bpjx*J}1B>f+i>nv&*!QuYRqIWWtGhvJ3)N_W zH{kE}c-H|>MOjTvHGw4ON6|wvq?Ol2Y z=D;nxwEXhDKHDv2ZB&}^U_1PZ31)EV4)#JzlMYrg=~1V1=_DJYCe_Ef!)hf)mzi#y zNAII?l7U)G=1Q6&S>_jbjyKR|BlS8XC$-+(WU{MM_LPc1TVq4$jZaod@nvUm?osfv z#q_LiD~-ZI11r~1pXOu3+!M8Pij^8u>_ynxo!U7rSsuT@AUp$)leP}BIs zcwwfQQJTe-nBT9M8*0oVRA#t^Pk`mEV|4!_L+gr(;>`~>jD_i7daoTl?SjfB;I0?( zVnVKL@O+`)=Fde>KwH0*+a1&s44$Xu&EOX{6V7>NK9}HZMxoULA6zG!S?SnIgt@Sm z(7Ih1ihiH6Y~1Ynbp1X>l!(;SL`VahbYm`Q?b2hTl*#b3>~I3z`@@e|s9#!cAzdG7 zH0qz>YK&Dgy`)PzlTBg*!5lT)Y!%J8b+?xTp&38bcDW6rS-3dgMo+|avI2b+|u zb#^~pqjSpoTb<5TjH4~UZ|Lr}_VWeOtMB0*XV{}PkuYMW<4e37ys6GVOr*z`7Z?3r zmhHr#gzFT~C2;rGDF(JWJ?f$EEM?SO*9H=>N0(lE)Eljh-#bJ7ylvx427I87ubBRv z_n&{K*atUf8ekklXOA3`2~zVqPu-B(=0;;Bp&rWF6w@=9g)>Y}I`VBuM=b1*!;d}x zT312O`zxf*LYkKJka{P3IJ&N|rkNpA=IJma4{ds7wX~ynwKF$@J2-G`IoV(t^;uQ^ z+M0Bgt_dTB#vx8Bq>eKJz;ZmYb$Yt2 z1)09nHWgzQgCBJ`LIz@h!)lb>yQ_@DKnwK`u z#Kxq+u3QK9>_#g|MIufFTk5nseQHi~@yjIuE41ltddC^}$c8E2y8feL9Wsl(_L40f zX$m*v$w02cF-ucRZ;zK`P{VP1Cwj>m+6yqjyFDB@q69~ZqZI5ua2ypL==n#?k|Fef zh4|M|)a&1E8Hc|C;@lu0oE-bu_Bb;Zizbl(7kt3#f}6zbMh z6!?TrB{>i5G-f+Al!@1N9Wf3Ohy&rfJc;aAs?Cl0UR}Qv)1ixsTN^{~QqXJdw1jRA zPtTUT-?ucRjV;(k!ZjxAPp07OQj&~anWt8Ezu9$dI>wh2;H)gfASQxatnEr@e;A^0 z!~$580t*sE`&H?W8@M1f~VH74Ub>TSqK$-SeRao!PqDsc0Wn@l9* z8+rVWh+zQOun8&gRbT`-O3w2ynJ@W#ZHtyK!HGXK=^c=4VRuYu#%FkO&N6|%hoi0! z!4`rwlXK5av?f~>f#S0_MzDkR;S;ShG8X`!XUteP}Ccx3K2RMWdZzUG(?>`LxR$cPfXy>);2L-R1}Q|->n9y=9)@?=9G@m!I9QCD{-1$3;}R87C*6rkhw(G7!r>{Ef_4aaY2B zOa=2pEs68x!!3@*jd}PiwK#X5y0Oy%mgg%r`T{UpngQW(mbN z*}zCiD22OR;zpqhNHX2ET9x18DD4krR=Qon^(w?9%tPy`?@YI=`t-Y9im@wNfD@TT zF^h8q*y<=Y{2E&c>!7@0S5JglQ&^lQS~=Rb$l;PQB?y z)Kz4`Cf|(w3tyQdT_`uEwXu~bY2q1R9+qFbr~%L4LA2)vw1nuWVUfu^Qd~!VA| z*ko!9dMne$2=OR4B{-KJg#AT#PC%vxNv;%@r^*c+Mp+0)mgs3}X9honVtl{cap&S1 zos_6L5M47yj|X&%$TpAhOu**DsSVLVNEMbSIvvPe8e%vm%q+w}b7<(w?Eb@$z`aMS zEEe}8xMRs?V@4jOJuWym9G&T89M9i|!M+a&WNd_Z#QMC51vi{C1UOIPA=SnXyjKnq zB_j72Qa&1ujY4T_B8ij&F9@y@)##jv1I0dmj_58WzxRk--GBzf*YRa%wf938x!~Ew zT!+f>)jILH)B2mg)zkW~OikxxD{u%qL!I+>)>;U^@8pR4xFLx4dl8N7(#0+37XZ0z zsmt)QZjR-lc_1l&NTPeJ9Sf_~qcW{Q5f;x;<%`2Me zN5VTiZnZRANHKt%F6Uf%H44%Tkl{#D#Ehl&TF49|0NWjK~06VrJ^>!8pDkm{U}gSP!CH}VJ<;E z1fk5SGj1_B6HTdDtT)7re%qxNB;k+JEP&S{`7!03>df+TngeCXbx~TAEcMT+Soxfr zsmRRf`s_*dExn=G$Y%1O=`Ory- zDPApX5aDo^l2062^#{C(H1R#C-ACWX8z_x!G=eyLu@DYRcW^#uAm$@^Tp zSA9`s1Av>a@1Z+c^z!PXJpx0VgM|J142r>5vfa?t=#n%vjDh%&l)bVdEsUb;P^)IA znkxq4&(aYfBB*4?C88V%1dciPssTZ1u~EVw zt6h;a+d0AQM5p2fCC7N7AgyEh1w!fii0B=dB)AwJvrSc~ATW+0m2j7BvN|n}!cTh- zw$6auSwM1dt84!(!Y)M=r4k6MlJeW4tfQ+0%73;Z8g|1NoJlboV>BkEiblN>5gczr zMOwjs);HdiP=1>YjFA*R^iCSdFSEmnvKV~B2?8aneMBH=H^eiq#o18oBiF-B-!~zE z;W!zDBN1j{tC@eL742= zA|c#-fUqSvJ^u-GK$Bg83&@n*S7U7u^hn@C?O9=Fhqx>z$+>M+b6(+1wl|3@{+oTZ zp-2*{c|sAx~XfRKVD!!vFVW@eW)%#(4nL(o6F^f5JXYXyl^PCE)28keaT!l(G{yee8O19 zfpIC!XT{**|GwE@`6@EwF}d(QL>o5V~BUT;y8 zMcF=bOjF2tXoLc-kO3K752EQ4bOXAnnApDHBB$VYkP}oh-;cY%OD{z3h)|yL&lT)6 zFXfdme-Hu1YGp?VVQqK8-Pq?>@W4t_(elq&E$*0DLzfkcG{(MXLglGxh1Kl}bW`W- z(MdS39|#PD%$4Kz2~T6Qy1B<{9>nY-`#zYk1&_zogXEEmKIMFjFTzim0)-6 z2ULcDq(*}l9^wNesUeb&fIkzr!5+e@lDuZ)6qp5-f(@?Z?^J%E_{FSeMG*Z5#hio% zva^L>Qsi~FYKe!rX&$%BLjMLY6Dqj^b!yHLTRxMwdJ84hnt|;0XR|3aiAz zk%{=%qEh+VsEr($40X4N21R5KItjDoJrtuXrpOd}F{)riJkVkiZKjc$d8re3FuJeR zGDRohgd9b76O(c)vYYifzJ%E`=+vBQ#XOUQ)wHZ(94|aY?ZU`vg7v&nT%wcBHAfxu zxV3MMv8nX<#UBZ0)Nm!tpgwI&j`ud`3Lv}U`5&`vzia)N zMf8R&aeO6rltW>Z=JDW^O6lBVeK)!Wf0qR+jJ8b5yM-*j?bZ5jwoECiX$sNwK6y$y z_J=T!Yhh1Yu^Hc>dp z^A-Mwo(z#{HtZ7DrEn9?-?gzX5^ReZZtO%6YZFEK!ORuo1gluk>#`Hwi*Hjn9RRWC zs>D5afSn=nJ1^V9bVby)DwwH0zHs9K@V1U1+4`gPs8CAap-2U39@ZL;n>-ohFv%Tc z5$VDfu-=FFHl)HFs*$c#H0fLrB-NP5X$Xj)qbPJ!Bnbz>6g1+5ARiJ|f=gpaWPxr~ zHTpI@`KyHEwxr*?V>KwfrCE@01so2!E3B&XXp*g~8WrLM5a&<())$b^fw^4K?WF)Zg-L|@eZx4w#;1#uiQ6Ms+?s~_S6tN(*O2ZSO8Z^NlUTw^p zqwlDEE+ULS*&I$6LzW~Up<44jF*X_M=%-Svdl(MH)OE<8x7Gi#O zo4;SS3n{Ihe(h-dx$@Lk6>ex99MW@&oVDV0Tl)Lo~D=GRwUS_7qO0PlVh+Xon zyx7k;A_;C4pq63ep{2XATZ6Iq3URffQc(0#!}0rH6}5$Ul=lA}j6Feh0; zPaBlX_)pEdh_aeXn>RTAFt> z?DWj58@Qr9r#68^KwO^n1u!CMG>?Vx8{pR2WR z3eATaHpHZ1Y@JghRSkXp?#FY_dWfl6u&X?E#o-(Yaj5A8tFC^97@OOD zJn;kBtDx-fbqUIz*gq+k!QS9u_C*W`vJeHY0pEOMnhgT~Y>Ek>p-`m3zAs@eL3A>L zNnM3{;vtIh^0G*1!Nuva$NfT&zaE>*hW0{FfI>mnoH*Pv7eh$QijR5;X@98F7MC)J zXYoUok7upb-rBDGHBDeX1RqJx-*{3YH%fe;n*U{^{IC?=Fc}U35N@y+#J>roR2%Pi z*-5%Sh!hELJv0J}uwZyNsz?ly?)c%gNImcgDKuTHeweV7bTOREx84a&I5>+=P&-dL znSAyGxR4g7)0HoHzS*_glzb!a^{%0Vd&H7h2s`>W*LSlUnB!U+@?uqQB zvy4pQ?(e)z--RmsVcpb`xD$MSJ}`JtL-G(KW>V};VvvfLEgI1S+8)KJWJTw3;zyCi z91k==+SHu_nS~;HsRcYkf1x~UNxE|C5QzDdTjmxP$UQdQDOEeB$~(~ncnmB2WYUOK zRe(19Ag@7oyg65_ZKS0R(K4dWtC^qwk3_ zLWE!>am~RIuQxwjAZetC2%(tKLaC004AuXq+Yu#zGG;;yTS#lVX!`#TZKe?uAsmbs z)pE{qvbGe?^j5g~1XbcvdASZEf~khqe|qstH;DG+3t`1xl2^T5eGEl&8Yf>fw%|=e z)RTVTv;kxGRxQ{A~GX(PNbqmqqvKOhCbJ*q7ea;Ypz2 zwfKt$gReW5V~KiW>I*%$nGcnS%ANsu95H9Vm~OCGqeE@5_#OWNqC;a}SQKZAivjVp zl4XRFXd!sw>4nWy@KgT)+0a%bKBvgDJ9`o>2LL;O6UIq%axq@KNMcu7?L58LzcUa} zd`M9=%3mhRFv`D)a68wqHKhUCxZou(EpqYbBPSeDHdO~Vh#nCgbS>TaG|&N3SK}V! zMmwHN^So$>gZrM|$Du*cBPQJ#aN{p7dM58BMYXk5cx(whY^LtsujK!I`Fl)F;_314 zakxnOWjJy)Ae-FP`QOb5VrIR0stPzj@v6}@lzn9CnAoJ#+$PbYP!w!})JDPc_PGPY z_y&`~wBa<)$O>t=b)|xo8UP}suO5UH#^AdRY+$=TA4>~4V_p!fE})El0M@AP1xRHr z>=2Ws(NB&cdV(5}H|-QpO=?=`kiDHmC2f`#zUodkD$*Tp%NWEPH^goXu-9aYQH0ah zX;|8wCi)kFj_?>YM82_Th2d&72I`XYQ$=Hl(_{OCoZW=6aG%moCqm9Eg;~f;`&ix*Sf`n8gMc`u`ZL=J&rr~c;OVML*c@sqQW4ki2tKGn2by+26-q;JAmt42sMJ%62Ds> zsq)iIi8fBE<;&|ZkgxS$t0s;uV{fZe?zi4V_n2*xt+ye{>^ic3Xf!ngWftA+Li0=O z+5g=^4j}yOR>Ni6qllEo$+vDAW&;#-#Z__YISXT_09u7k6aqLabUiioOzXo_M)c}s z>^sUk|KXyZip!=3f%`~dZDqCAP)Z5GxcY<%JC+j?;yB<;C%a&TnkxNZ%3G@vDNuP7 zc|`OFUCwBdu5WbJhT>21!IsI0-2vv7zdBQ4Nh}%MlCUG;O+fLTIJ%K^xX^5D%zuT# zhl?n$I<=sXw|GVOtyE>0+?GfJ_+hLe{l3)RwD@gG>piVLH1b;j0bYucx)zK*i{3Ej z;a-{QNJ@=iaYiP#h($zrvX341vBCy#hLZu@hTYej7Ls8TbCFJ09nS$DjuY-ksy7^z zx!l57t?HhMDvScBusMo}ZNFV%TT!QgmEN3;E`+r7^D{@QE zx4tHhqaZ2Gzn&rhQl60XMP!pR|n zym7f7_5sSJaSJb+tUqI#z!{kV`8+J;Y;tEM7pKh(gVo1ytL_f!t;o#CbdzYPO5>th zqAu`q?xNE(XK9A5?q?Ss5@5LAfflVNk-f`QX`YC`i?sW#p@Bom5vFh&Q(*M_r$!Rn zl-3?26^1W3vmF?HggUgZ%6j%2hfVDY3dI&Rx-l|Kz2PSOn|Ac|r7NIZM;^{nA_t&< z*k`M06OU;T&uHp@M?zX=yhJqU038hV07VgF{GJ;#WE5f|+6Ny=C)i%uzguHNu4j9i zU9_Eoiq6Y1RR&}N;KGj6)^Z4kK5Qn?8gDW1xpmbNW$Ls-TqoN1A0XXe$iRw(8PCAl zjW9u=*!S*I(#XHk(wbtXv9e*V)Gk?w002p1|1I9cZ?USlW8}$F)?hoXzIBjP*qec` zw{0(LM}Xsu0=O!XZt%^+8jC@s6t6o)bQogcz>^{>ZEs7kHnQv#8`OOI#Q~=|8EmiU z%w51(b;KkA&k2(zS4+8>g0Wb+sId@}iuCinmE5H)I3$xWePpZE^MtoC<^CoErIrxO z07*fa>>$La+wcyfz(U8R5Q=J12t1=b_0hCkG1U~DxYPLMb;j!PpOam55!n(Ik>uN$ zOVoRHmee6aaYh|Pm1aXGk*n!Ps(|FBq)W>lNsVLfRBCyP z(&Mc$-p1U77}NDf&9X%Z#u;SR#}nh=R*H$qTc??PPKB#LTw1WHk%y2YB{Jgwlv{zf z^9$Z`3MwO5A{`0ONgb&_M^E^EoveYrdbh@wJdyAU+A?Ms)*Y1z3yg(&nw~l%zJWyR zR1y0qztAXKbm~j*`taW$fAhQjlr?2PFCGk;zwxylgx8spk6{$pe3--FWr@_38HdO( zN3@s4OuMONK}3I!mivsHB8^ybi@<=T;sA8vB%7D;?a#ut1u~nG%^aXwb5RICZPF>q zd;rlXl@n#9B2q)r5Xu0IXcT3p5m%*uBza~lY1%M79PB6wU7`xkHL5dv7ALo<`eCBnL2_$ytcsFB(A z8rq9)7B=up>?BJ>7FlG4_g?ZXHWbUK{Un|Et+p(Ew|X-Kko=XI_Z_9#-!SK^Eb=Wm zj#aRrva%>Zds?t*xVmVSJa?<;!?ID|M3-JxOfZYt`G`>^NnY7=J%@ya zMx*WOpDFN3e)uOKOo*1^grB1ZBXlKiWHm^A$RhZTR0(K?^-^9b#%l{tSCh~hZou$j%A$rCCO0mY34sKj(C^nMKz=a3=^)ZOs^=syn0iWz+NzA`< zw(=0${vENbFlMZ8CM61`z$f$}Sgw4)A8$ueDOB%c7qapC_m;*#+M*8$kg1pCxU?U~riwd8{01cd~7l zr>wPIQhzV3@Y*Uj{2LIDi+_Q~22zQmUt;cc-2t!5FLeWsiSl)e?kVMs%bd2>Pw@VA zQZCX9yh2=)TX?0ANUYQ`u z2OY(yB|*)fP$LXzOQ6p9CA6&gSMXZ*ELpX|cF}rQIR>9JF_MJ*P7;g)-|!Q{UOUS{ zd{=fF1+ICH@Ere3t}03o)TU(#J%3PS-d(pKq|}=ZAHCj(G(CXZ*kgJWH5q1raJ0K& z;!U>BXM{!}=Le9HVb^30$PXY8fDE1*(+{~p0S>i16pBd17Ji3Pgnb-+@2nT=VO+Qt zyi`|MYCfl5+h1zeDrkrc3Sqmv_e}V!zwulIu$($4lv}9XzSHT`|APt$%x71Pa6qR+>!4M)M4kAsrC$= zHTKvD|L~Nvov1TR4Z z<6CKG&c2sTVUpr3T$uuD)ojiMM#Bwr2{>>=%fmv4gRqY0Jry! zea$0%HL4NI)4GRFQCbjKz&TSzUM%VoxfH#9FIoMBU3@pq0XiCPa>%gs3569wEz>5@_tgmdmAortX^L zTNh;qg{YNxR6I1!kW(T#;=!fe--FG zyBD^*QZP&Tb6e@nG|ks(V)cg|Y2xZ9`qHy~fO3zZ^8uc1vu;0+a(Gdq%xZH!y#%gKg2wMnht<7g#ztnYA z&N=f#`$hN`moGgtOE-k7ZBSAZlY`+@+B5V%ve(rYe|vw^d|l}6WTv6rGlC%^x2JUK zsgWCLdsPLnI~+||Xt5pZr2eonb@m^ST5@DS&)2L`4o7{;W@Ky%QuUVh}>qIUZUbyY4 z1CycgjIpPg<{hTGdn#`G|J%{spNaJCZFT$vC{1munj|PqoCz=Day4ye=nPgug2jyG z3JMl7R46J~iBMq4BSk`j!Hntu4QcJE{;#3xUfU_e{JeiAw|Sg)cD#Gwnyp$D!LZ^e zO#vxa_q?zHZeE)Iq+XX6ygRhJ_`n2Z3fT8ARR3b8d9n}>WhB)Zz_#aMUZl+xbkEt5 zzamx?Qg+i+9sg9^&LbUy$W|a!5F%A7hb8yZdO1t(|DEw{nLILz(wVzE^}cVEaeedS z|4Lo)^`5nkGMMA>eHs4>=KZR}WnW?U?3KlXNC~S(D>hJL^OJEMQ9FK|>dI+#N2KcV z)lb)C2!zM?ISPn^m^11j=I{9!3)-Shy`-kd037fmo!>l5V?lZZnM@K?f(#|;wNTzh z|7+#D)#=Vs@#v?SN2b52_y+O)e0BZ=^Ey+v6~2LX@>1eM))B}7z2T3m&a9F`;J<14 z1fp~yMs9MdmqFmA2!p?QFkcrtztURq*OvRMka6##f2v_t+!S`>5<&8dzP`F=T3@$0 z#vwmu0pnF_F(X)5Gs@@a~YVHtmv#;Aw#eL9A$HO(k@~slwiv z|FH_oo)x_dt7&9$l)yQ1X;h|ss;YN>7zP+v-kl1F+!M43ONzh_26B#aTccEYoqKM! zERB%BgCXSCxCzf{0VX9{e0`bgDLpy!ucNNy$7++#1i|6iMCx(n{3uZ9mfid%R{IM0 zt58dP(le@Q2*DN-2Xtk1cjSg-E-{&oPPslg0Ee%}*Fi&r$h@*m&e6enTr^&>Q?_E7 z5G!$z8rk1+thKo5qkkviiz1ZMwZdA;r})tk7uHloRZJ#UtjUB8`AaRQC=U8QVx40p zjxIumzzuf(cI8JsDT(8Fj@xt%g%uM8917;-llvazye50eT59bIY8Dqz38c}TX$=#Z zaaBpGMhl!oY?X*BQkR4tu=}A*_|<8*d>Pq$89%$vQDHiu4Y1|0f1|1-a!v|@_JX4c zP72@o4M{${)#9^c!8T1K{z_4Sk_=vhEmF=6{Q!{=v%qIXI}1Ers&M6`Cr`9E>e40X zyhzg(NGb}v66RJVc*cxdE|>@|kTO>HvsS|`DZ3*hpcaivV-YApMW*B_lFxhU{GGlF z5{Jr+H^%&_aJWgyXhLA*gey;a~a)Bv2G0?Wl;CY$Epyri}z!PLetHRi>n-!2lI(9A)MrIG;C0e`6?xG5upg zmv}72C1zMfdppRwxC1e<#!zKFOr!ki9&=r&bC;OGB&RnWE^&F0i|`?gw9%UAAgswVVd1MTdp5qm7LPQj$oOfo1mF@ zL&+pWi)wOUGrRn-iu_#H9n-K&cLpYET;bCx`}}ZUs*1zwFSBw3!`DbU$Xg>Qi{-hq8c)mBwaa*fXd;8~vP1)|)`om6c>%$h_D1EMXmR$h zQ#7THVxW@+yCyk_iMBLJ0(&HV9_0c!iUR(k4a5kFXR z=?GXa3m2=&t6_h?v?e~n91-Xqg9nfpS%B#k5Rzs8yLY7Vy8VnMd z8}Ia398{KoJc@F%G$01`DNwX#?jUrtU%Nm(LTaEU^KUy@D808hw+ zW?iWOn^@Yph@50P&35T*S|uJ1*kTl;2pVj>cRR)@I0$9sBu?&@M%HO*E@B;YAdj?& zI)!JUxH&1od!1MUHB8T7KRUNk-G(C<_VnU_2K#Jp2>^Z7HdAj~^vTRH%*I>RK(re3BG+mSp zhWfL~SJ=8GC;{KCtkCEBI4-*r=%&jfbmzqj&S)G4P_&FS?4A>^3Uaxp|6y`B#V^Az zB0GhGBvXkK*P*=>%)T<~d3Zrd8b0Mv$a<4>ND#RsEX9kaIztytIg`Uh#D0Pd9&!B6 zG#%uegQdS(Az~jEx6RO(f-iqCdbXUU zExFIzZ!hRUNC5|yHeu_8m&LmWidV#*uDYmG^cFcFvCH-M74gsFfZ@b`vm;xbMideq zh|?BGNr`N7ovdPA{+KLSFKnYSidV|)ATPC9QzT-jMy#wKn*>O>K+$bzfVYONIEZ@L zg{!X7lTgA8$5yJ4`_d|;GX6draJj2(71rJ39uDU$BX%BOLs-~_;mN<3R#2y@o>Zv# z3=344F1ph>lw)SE!Cc$qDA1>|S?!T1t01%a(#!3O!7dGA&64hcq_fpAmKQD}UTu;s zlYqlD;k73r5}LmBpG9{mI2tKFexF5#-CaV*wLiEmE6`Iikreho{+8tMwktuaXBh~{ zIK?Q!#%gNM{_TveqQf)6K1i5d%ZME$fonJEVMTSDmr>k&lW8gNx4w&>cHQOhaiL(~ zOm!48HQ3UM4TOj|2uQZZwv`VA^(_11|03$G!=mcG_hCutMsjEgX{5W6PNlmMX@*Ye zF6r)uAp|LlW%uzlH^hvrfp}V3lsFj%rh(w)ZsZq0*@7euW?oh~r z;GB-OHO=G}fofQaPH43KiSh8YY6jBYKU}DIj-@Pr2F+|Uh)J@J?X|VPWP`5TtM7LL z$C5d$Owy;mNh2nS+g0AzjY^D3T(Uo%Umk+BxEaBN;v)6M;v$!ul?s?2ke0b*^J5#S zjckE4Kdaj#M&woF(bmU4OAVTDn`p8MC7OK(e^gRZyP4wZE^pd5PFVXp(0snI)xEPDaR`Zl!$i ztNoa;Lh~<4Ei*yBz6-CUFX<@qLfDs&%Uq@ny|1~iy zw`@9L>T+q`_THCB{E5GIY+Jv&ec%liD{I|vn?=z&t(PNsT6b#sL*RVOa?B5f^QRn7 zuA_l+Q0RAG>#ohXy*<4aSp=&wT}-B=&#MbkrcmpDYU(SeTDdlej>n7l6Ph}xZ48Eb zw_C?9#eJMWU}I{1EkwBzH%=Wh0u$FMThOQ|Ms^3G~bK#Ur-xE_+WVB zX)3!Bq5zH0o55;YLY2@9Pdt`#09hI#Ez8{O1qvf3+0V~h#4D%UwnsXDF?Z#?c2L=# zw?)IX$UD~Rk*JWCc2=vzRVPo0k|uar@&>m=B0~xG7C!J6nhfxk0Hs z{gsmUukqUeycHF3lkKbwFtX@fUTy6j9pxwg6~vce_TBc3Jc-Oi-`>7i#)ICev)(E` ze7riqWgZ(+wAWS!4*s!sPd5CJJ|lwk^f?t!OWfRt!X><;W{!7{FZMmsc{~12$==mm z$IzT6JtRWutd8dk>YEo?2f;>^I}3E&2QNp0Q}rBHMwEs+jDo!qW0QVA&@FaK*qQa) z@80~JIMYqX&01v3Qwsc*bY_j$i8?J*!qJs#+!BR<@z!x=qDh)W)-`y`T83etP~?c* zAdK4;3*5htCR3@BpYVO+!`JR~dpN3sI9-to^faxqAU;FYLB6CoKJ#s5$73!kl|iE4 zZmf@SUzS~X17>)neB(YPVyY{PsVB3NMQb97?a0f|#heD1eGEF0#3Whfw>iO5rl7F3 zb?xrzoGQ?D>7`;!79su__kZMx(kk3J&kKH?vLRi{!XK+Gjq7Hq{SskwQAR z*6rLX=g~xQ73Lu9cQzzfNme_E<0{AK3koi4F`TV@(ILDl<7rODjdn)Y^Q>q%jjNiK z^@ICv$l`D)*yI4{J*`MqxF%bzR&a%{L9K7cENlYU;h3M6(sIg zuFaX6isb*{pq(3s8=t9k;w{6~@H=j(}``rZW*{WW=PTRMA z&F45kT%2V$#5?|zD6w|C>)_A%$w%$s9%DUA&~Y^0*{Hq$*hv`cm{7@n1cw7m82GR0JrM6^gxYbT|4d=n>w% zPgaKeP5sf!C-&R3W#1v(#k&X^{H4v%adBc3JTYApa|dZw{l>OCtw+g_Ck>Lc>p#c6 zqFO%~k^cB=03M(Zrgk_e{_L?d=Sto2XNiYaZ+5U=b45<1=DJX&`QLDoz)4G`X{^Qd zPvXzsjZThR)&98GdJh^$uTEZuaQ?MCEZ>`>u<^+luEZv`<#0YMhoJ#}p|7a$gPfEaF#8wxE&(cb1L3O`0nI_oyi-t<; zZN~Czl^M@Y5vFT>8Laq03cGLV=T~cT>cbqRS$?U%0j+QnhVb|VlN@dR9=ul{#_*kz zuYM__#86Lh&HJTPPpj z=B|nbBVf_cq&exHo;4eeD{TyOSco_dApk9yUx&^ykFu&t!H_TM>84LNUR$H0U+|~Z zc|y3GKR1?fdoIGsLPjcfX=`Fh$iycE?;6^JK%ej~*<~^O+t44fbvv{*7QJiC_0D3W zkTC3ARjpT_R3F|o2{Pq%73jAom`)72Fh%-5+9IND3Q8?1{?_zV4fJEI=}7ZaHC+7Y zr*g~k#+=zPhRrd)-@LC+t1*fD;}-d`H&*>`NhUkGZ@Hhci<%igCdQGDS69i?|CZ|c zcKD_>cuzX-$+$=lwGw^r*1diaiKzJ*#$90|pIBmCs;3uWo?WMwx2sKVv?JasWhLSrx?XpzcF zh=7XZO%UQrusHggpVHyi(3n*mtF>v`vBa+vvYi!UiKz|hr(bq|aOQmWyIZ&Q$P?|n zg!m1|ZTS!^7G*RSq&3%QO$>>VEe^WN*5`%9W1gbcWBWoaE+IwlJr=EbNW*2r+cd&D zainmxuJR%pa005F>)0<93=0ik%*mjl|I}ku{1Q`J#wHUsr**)Q>RsZBmJz34C-#Qb za&xU_Cdgbc@*yB15z{zp)zA3*)?F^=iS?UdvY&BxQ`EDe34lE{>=390egj~yTuySn zWC~bhew=yfQgE#^v5}iPZlO(nEoWc&(5^s1S-8QdNN?(WFQjkLA9NxSF zVV*T7t|f6k>9 zT8e?%%zBsE|Sjk#`>8$(m2m5l}y$i(w8OD0F!WnpMX`uwgIfwczGzD1S5A0&7 zMKWxC>(&*d;hBIx;r}Jup1Il05DX@;Xv9y1rOu@dLohSEy>-p{Nilz6o;8=2`=+>~ zdKY6h1v$R)E-tZO_jxT++Sp+a1nfFdhrRJ3t>0&?zX$UDUO0d9M`%NwZpKw*>Ha0mvK}4mYb&W?IuR?erYAk z^pjOStJ=ZKH@qtxGRr*el?hL2%S3i(6dHfPB2OmjNpXiHzoPx`-EWf@0oqCQ?6^V){G5o-I?;Y_@)$0-?}wm>xzM`!~ToV|L`DG+$u=-=^h#3 zPRpu!a0$+w67NCcc+DxWo?d?e8;rMd7$YmJu1MDw?>=^2P~{GKi&%cA)>;> z6cq8_v44f!HG@mDDKqDZtrv_fT{|r^*LNw%AcV?5milUPA}D#storM^C#T4&*$oDrHnJUObdPd8=RpH^CZ^_M*GB=?_q_-!Vrdjlxxxtdlw4ej#>tIA{ z;LzCI?cvX9jaSnof2AZ6$9SYa;%_=s7vSi5PLyATV&}@;tB_e0C!1sNpL$FT%-^OD zQ*L$GW<(JQVEhjK{8M?%b=`y^>ocf^w8!JalHyO%M-9tqbLRFrjCXTPk`>A!CmXsX z(k%ttD!2B3XZAUZ4IAxtDzHUFRhPdZLH_tCEe%+cOOtw2MBZ8kvUt4HG)kyd2nW7O zf~IU(7%Ai6C!M(rX^7!IjtYfs!kN7PygI3c_n%b_QVY>6C^qG`zLssmS{5nnN2Wv4 z|9b`eI-aHXe1Y+1ZT8*gE7*@dzHh}6yN$YsXWjd!{s9XDKAm!^X>yn?oL{%aDA|@f$4Tz zYlx1~N7gI$Vfe?4*&aAm%Phr!72cn9`)-}~ ztn7#kt?F)X`kZdei*}S@nzqi}>X(1(yqN~M@X;*ZK z8?dvEkwBnyh+xKfM-$`x^26b489jS10~&V@qC`3CS z*FF$A3!&T);psfbvL%R(61PB2BuecW^+!bURT1Kb+hNOqVd`DQ}KIeGMxqjJ&YUr zqu(xhHj)@A+qp`0q`fFZx|FWVu`7q6f?XfgvHcZRLAwA#nCv=0VfA4QMefca9=eqKY3xSU_i>xO~@)_i1zptWO>!BC^S= zMW0+Em@&>l@x?cieHeOR@;X8_ug(O5H>EawT&eeh@-!-Ubj#(nP6}fo-`27UAr@|+ z)#jM+F|gfK&F&KRKAVMbX>KLB?G4$g3JG@CBVDVxv2KJa#ghd6jr_7o|3*dBuQ5mTa!$d7158Ml>X?V zP@AQX8v9`cBXuuCkk!A|dDV_rB$WPVMM?N4zml}QwKzQx&BN5T86KX!y->d(ij|7l z1J%HvhxXiG$ct>G8TU!#gSQ<>E8cOwspMWdf+jv<+GzqV`tN9KIr_lD+CBsVn{`d~ zKhMI=re$-iXVc{UeWcFP@)1p6kP4G{&(;?W@3#GR;1=-yTMn6pTaiBcpQEvsj|ne9Xq7@eHF!NB51rl_ieN;; zr^FAiwPNdk9kw4gg~(X{frf4B;&)xEg%v-WcaWAfXGpy6f-;4nF$1B##!{>3zN=}l zU<@MdEZIU0+B^CM!y~7m*5boHB?TGd!@$!btne}7kA5BoBLgkk;h&491boA>cgx$$ ziqDNyT*DKo{F-C8eAd=GwgzS8r)1g^dVJu!q)JXS+^IR8as?Dy1(<3=JZuW-+wjCgZ#3ncHCaus*rbhz`||RM>{-l zjgbuKSZ&IX*rt?Nhq}c9m#?f$zGtB)wYMs#OI14eNu)6EuYQipPJgRge9p)MngoqF zr&XRu_`dyyN@H*_K661Zp(WC{g(u}^jr%&hSQa?z=G4Gx^5FF)RVZ`T1TzcX&@U&% zF>y8_!Y3E?cb<|-U8e_Ed#Gc0c^G6C{dZ{jK(j}slH$_cO{E=+^}+C2cM`NxLG^4+ zW>DQ&2o`$l`i>lW#od7QGf<^NT4i^6Nt2%E$43#xRE36;w?F_)D#JUjP9v zw7mI#FNnH&<;W2qS1Cyces!orYQ{sdD(NBf@|wFRrUYxBxA`pqo7*~uowD7HbYTsgi#VRI3L1YyF(ygH+Q;(U(P&1a4#P?* zw}gkYm`Vk2elReLIH~s8p6rhJu6etbz0Hpnfs9vKt$k|bY)X@oFmvXG4o z&CFT|z2IPaR$)4Z(tRkJnC!yu#H3?#mKo&becmq|&kj%^9@TB*@;yU3?Yd;!AL&|? z(c7yT*DqrxDq!xNhCk(*{GvFAgP0>lhUN0~!mdk{H_7OeePQBf7P8S#B}># zkvDLB%90puIq8C{*(@UVuNz7tmOd$o%MD|3HkHIGyG3#Ku26ddehA~6Cd05x5DFdt zYNY!~ZzQBe|IAEa^g|f7mFF!T^Vu4b{!&^qf7c%Cn!YtNkty&DaBD#|1`1!N3zTrv zh`mmE;=gpSa&2T^u1oKa84GHzZk;x*cP0jJP@ya^&WtYb@~YcT>~~sgwUfMqCsFOf zC%OH4`Bv8uyOZg3$3S8G-#Xl&v-ti9J*y3iJ4$CfDN%z~@+%|Zg7Hfggvu>ichXRjo-JADJ(}Iqe zo$liRhUO?Gk&?n|^g z@AH;^stRgR@GF(n@!r@EPv$f$CN`B=NiK;C!r} zii*zL(OF559XH-jzww!5O~f$r)}>HLE!FQh@_+Tuw);Kf=vnTIQ*qte*OpA-?2M-z z+F>LF6E$+Wab5Ium-E%U+mpF!+6pPc7ovTqG)`>2UA)4cn2vrKh^Gf{^ty&xaCltN z9WiP1svYLMw6EDa`ywH;)V!R{46uCcT*l9i!#djy_#2Bl&!>>~bk_T{wk!6u(-QFX zJwD*^!T8^O-ru7mnQGj_*e8;~7AX&QLTH8D3&%?lHwMtauTG>jLF;d5)50Na+Y=Yt`>(WjzgHPJaG&94y0eFA3UPIBTMuV^-X)?!Y&f3@m3HK18OSFn^F zyPNb6UX`sqX9gK0qhSekuL=XS$XwGV9~aqPQ~qvqaL|AT5&`HiX zd`R*{Z>8O7en~&&&bLEv`e($WECvEQiS;chszN%cl| zY<|mit;1FhO2R94j0l7`;1xKXs#~*tL~*RNB^eP-%xbM6%Q*e$S{pNpAv`|hr6m{f@LeIVQ zFg^ZZjVZ#>(CE>yXr-5uvy_i38CEko&D{cW7;;ChE0G04fk+|{<@2=*~DBBn8YR)m8;=c6@hrv0s z$4xs+KL0NdgYL~cYxXj2r-pxAZ$y^QsI9rA{q?q5c{GuRRBgZLuVpH) zX7U<5WTz1uLy5M`zVGlfML!xDR<}~STSrCLfOqXn?V`WM^~TqWBI=cQ3`mt40yW!{d6Y9zYBbI zpI`cAxv1~&cFLgMzi;(40x!$*0y-Y?{&_z#{c%Rorfxk7q&CE6{#)_B`<~JG>ikTG z97E>c%YqWh9UA|g(+iQKt+G7-e+zX_H(Qiq=Z_0i$o-#@DoVy5{FNLH^6L1)n2jmL z_K2{nBHXlel)1CE_a5IobvlU6p-I18#z?Rf);K7me(5x;r-TxB<7jn>+#BqKl^*_k zR5a2sfT@~H`M#JuitA{gT$qL%BhVKcIj}1V&g-$IE?n_-#d%Tn<0a+y4i2gS9*!TY z_;qFRuxpOt>^)O*7(+aWC}%uy@DC?`X{%-*cYX&4IY~4$i|wZM?hd2{9QZ}>ol-t+ zq*1~f=v>|v7|(2)m>RzjU zYuyctALTW&HKw2M;Yv-N^;*^Z%)BJ#=g4OFe{+3MQ1hpp1|SWflMVG(D!fsnY7_LTOf z@;F73a#`p1S92!|=*w1rZ5tvhcNT~5Mqg@^M=mAq1Ogvh!7yKSd7;wGNVD*4hyo;UQp<;rO!?U?O^M$pXEX@Q zQfcNYH+v*!OtPSaxuaVFwh?>Vklq5XgH2b1*)e7sCDI7=qHY-iY*n=pv0#_NUsZGX z@-DUaXYa;s&`0MQedVZj(3A`>whC9MvtTbl-|Gsx4 zpXQJy;r{8Lou9dc;S3_{<;TUs58k+zhBeR!QgEDH(Wy2%08g*yA!P<~*A`MXpn zxUmde6$rSR1aNz|)8D01%G420g$Sk?J*L}y-mmf+#U;q94KW)9NX!^{tk!;gQA4ZP zeA&+4OFi{nQzrcWv7x2}g*N?P?mv>c*rHe9-#dfwd;5O0kF7{{MN}S8gxxA~amFYS zyeznmoWu??t$Fw-@YGZbGq#gTIsg0||Lyy^wLY;CZs`uYq%xeh%U&mV6i zi-l`lLyM2?yUX0&K)%Pef0w|3p&M~{&~CB&iI zM{elwW(=-GZ-^{@ApSJElD@^W4?}HarpT;^Ki73RQBQDfLE{e8*-OV0l6zbEbuMsm zcsg;RMENEdg;zO}o1T{n+~CITGj$hw$Mo_eoufC&S5Ns@QN643x5UY!A9{}TTK-$= zgNVOqCTnYu8qWa!wKFx ziUD!hg0`GI0>-sod`eNL#^NY2oV_z+Fb}VsAw&`ud|!q+H$h=e#6B#|sbJpIo^Op7 z@M!Z;=Y}6_MrmoCjzjRkDD=F>r5d`G0)g`AV$Hmv>Tuv9LlUJQ{s%@;#U&B6o{Cxu zgnq%T6q=}WcY1;cej!A*2yykcd^8-Mptj@}T~gNBE<7usWyJ51wG2qQeG4MS&@Cv( zle^cXjHg$GpvCH%f^-28JrD1m&B-m3z+5`*@S42HIBZv5mfxN0%kN8tfh7m~ZoIyU z#%#kolU=Btde1H6VLJ-8d70R@JB#+%&-lANq)=Rb>=>Q)O-~W42I5#Z3e$3)i-5w% z#Sna3YT8lcEd@HIhN}zU6F$m$Ee=1}Q{iT&#yQrtM+2F}sMj<(*ISy#hXU)Ut5RmD z_vO5US+IF%L2~x#97z4<_#cQxN0&s<$4}-Hzz6QMqgM7j#5ajx8wi!q&vb%xAH0)m zs;GEdpeT`1GO$?DRX3U30uf8coGlI?Z{?6%J~qBnp%ZQ6J1)jrxO+q&svsW9}p$?d~X+|y2EdVeXVR-S&h;3Bz z9rZ!z0QOOeCKmnvWoj=E6cxU$dikV6v22CA?Qw03xt>K;MV|pd++p1lKD% zKh8l-3~m6^@Vui66`f_-tTa@Gnjim{mCZh{s#iNrkEf4bMP1h*_lwSBeexNTeW!%V zer@gkH zovFk|4N7&LK${a1*8&ft4l1XCbu@C`FE zz}>M)=39A~Avq}^JI4^X6xXc@+>?{gK5q{l*)u{p>Es#TB}NNc&0o^^m2g4z@sJrz zlwcsqO~rAbbkO1)gl`?8Vb&Rz%ZhkqB`kcxO(sYijUlUzCRuj2AE=>JJRT7YK-V(6iGKa+t zbcfny-04dV0~ilXpgd{7U|6We5YrF+W|s3wp_aIZge|tc(IySH+4} zqV;NY@ttH81<)f)(}98w-;c<)*Ee#DZ8cDvD}5>Y-GLk$Q}Zuj0YWT9icj*_1C?iK zR0|($OY$~9FjbsGVtQOjKFcTc+>41ee?3y%i~nUd`d_i&4W0;0bbkm-`VdxcurVvT z)rd;-I^Sq;1|*AfReJPJ)|C4CRgPy*gGtZXB7iehxxg3_E4n-7R+?|Yf7}sz2UI?r zGMLNh$-OAZvTn7`hQvHpJV03hD1Z%fD4q3Sce}Xr&!wFOR)Qm-FZpGI zu!Tsll~q#TrBEljd&ubx%5q*XTV&QvpCkHB7YJQwyo!>?r;U0YdY&R6rmtG9hl2xj z2SKjpEF{>AULfn`mwqZyGb9ua$1QhKESZvUn0s3MK59xaX9 zg!WquAPanR9K>Hhi;gf5;7u3|`I4*m;AHPY>P418BJ9=r9JHP`-GIRZ!R;F~lm$0K z|J940d%%~JhJy!rNt6wJLr-T^S%;d2dV>QT%O5%1UDJut(|xGszm=wB<*O%Ifb=AZ z4mlX1)jI(guw*c_{>1_W>B4i6wqeb=;O69OY9R*uY-+y*LCIs)kIP-~fxYX;amSP4AWGuMU$96^<1$07^hZ%(%r$wz z8+lYipMwdjV8+j>clV4dh8KQn;o&B5h8S%#czc9J*T2X4^2^cZUL< z-*#$Hb7&8_odhRp6bDO-1SA@g#WvehIHKThgU&;cqcG+s|KR{JD!~af>t>W*Brc*( zrdAHLSJ9F2R()|ueB*QH$zD~${9+-Pf%7kL^f33xZT@YMrwssL7zBi_M$iZr3e*4m zuWVY&q3+;gj-ns9`@SgKMD7>dAo$2B0h!IF_Qli770S3*J&01mF_y2B|9u#$@)j$T z=hR;3Ias!=;Q9cw^;A?~4KUq8r~^^|O)O`0r)SULV!-{@P|1gOL>tLFk<|=IV}KN1VT!Qm+4oB9yonDpZX4c?Dh~ zQEzIe(Nuy1D1!q+pyl=-_3`yUl@7}ZS-t9e=y^2-V%9Vl>c{tD>hzT4G)3A>4q1KF zt5?>niOMiukg)&6Lj`~>4WzM}2^L#D`wGjNP=;wiSv8CZRFfbI*0_jGb+37$nM zgULq;6!`Ngs68K#BHshsM`UW90brQ_RnA2ELJa)z9Pd|V?O4azX$@+^+@_J6E4n>w zz8v^q9;q7&b#B$@oaQ;o3qfR4IX#U<%}U+v3GfHH@7XYQ z2)BWtg^Ldw5%njwP2&^L$)}4;BzDChchNFw5fSX=y;3*eThgT;W1K&Ir3Nj6!ul_R zWw>wwhUX9T2sZsRPZdRyuKyq~laQ76)7fnry8~nURU584F$@N$fMm^C*!0e4@m*8x z{2*07u`R-KwgQ#6cXh+av zC$b}sP<_%?^-p}t%DWl=?vi!V#%|j#tw&l1sHTobaaAd-dH?cmL z5%1CQ)LLzXMu7r1yix)1c7TywXTHSd911|pc$av~0WCZxKnI|q;>s%8vV(&Su*#jt z>zo06AzLAh1`7{191E9xyJUNSF!r$oVpHeiKtwZA^qEzQnYlpcu^Ma^drUZ%5%3H- z$N(wsu8(eRJR#(OS{y%9nU8Xysy;U|1(R7drB1=GO(}#b7|J?9cPt-0n04BLo+wwX zslvp#Yi*~G8Ie;B8rH$`AoAqBxKQ>uA8d-lG?SmDRU=3Cpdwk3f>aHk1Z|2<35W<1 zxix#TeccFw;U}|Wif4Aw{M2cuaGB>)siZ)VlLIYs^ zos?&u2w*|&Uwh_3`UzbaG+UXc5l4%RrT?PfW0+A@xiD@iKBlE|#es*iG$>S%$ZUBX z=JfQV5kvno`Mim`|83%O;+rtHGHnbQvTQAOT>xzVSA48>+x5Gbe`0=2Gvb3sgW-(i z=Fc5TQ=oDW;qt=rTA(Bn_^#_Hm%m_(< zK7pse+XQp4sIh%ED8GW_E;*t~SGsO}TWCh~sZ0k(4wp|pOoH7}*=uzeavGTDJxFmL zY=oHL!koIOgrt&*-q^%4gQvmS=m$9XAaq;7V=Xg3g*1!M{)nD}2KlzQBr}DNX|MV! zf%Y5S(&+F?9J&SIQhn7?P3~#SI@Ikva?V<1l0v>ao;+XSYxHmjMdnw|w%F zPsagwSt6quYqjt_*BtGC+u%(7^2D|+feITVxS^vYKtIQzb;fNk*I_``jghwzA{D0d z2I`XovVBcUQ>u^siIw7tXm?|>Y(@>-2KQYDS;->Y;YVF69KN|V@tMA!wZ)IIMa~xq zYs4BUf5E|RxkS7y=^Ze<6EeXC7M71UYPD@ptkcHpyKi-3vc4jsK5Aox2NH2>g2+{DBUd@1=(!^ha=Z z=3R{Xyz&8WjGP<-qhV5{Dbp_AHwzln@r+m&tADo6JwCkv4j7Bm;iD$LId>03?XFL* z+mb-}L>l3f@pJjQPqYi`B?pIT=w_quYNtt7s@|()%8kkwq{i0UN7I5IxFxv4w*~P@ zN^;=67Vfo(7C1#Xn}LtAFXF(_<%;t)<71bV#5e_a8xP@8&v+G-C)-ZVC2qL#s%M`Y zW#Fg+9qpOsn99A4wgR%&0xBIG=hfNdZqH@VItajMrSm?3RYd{Ly$yD(%=>*RKidXN z(=MQgs-sP$$6^xTBa5?ee~WC5i#5wY^bW1vvXQH@t|NWRYFUuJ+x8OpR}(biL;srH z&)Z<6v;pQ(zm#X(Tny!JE@)PLU8?m$P5Jk*GBHs60Zj$ajz&(5&Xlhcm|=auLOiTt z4!}!G^3FZpI~EKKX5$0RRQdpzgj_Mr6iHX%U!bmTMtaJBkd`ol??m;d=)ZAO;Wj(} zQzm0F z^&og74#ijfDB8V?sfDrNb*l@D1a+#*n2~D_AXd>wm3#sfC|gYoU0u;DR|A?65OOfk z3V04+bSeXJt~n_T6Iw9|>}%d46ShoSPIAGuj@>})ptk#T^Ri-^0##@n+&c;=P4RWf z|MXmh_8X$(3>h+=rrmM=@u~TCLMUWdI=wgVdRY*oO+-|+{&IBpVgC7@Sql)j5I;8n zy5d01kKAC;RaXuU(iBkuQ66P|Pawh$ygh(ijpLhI(@vzNX;=_SbOUi8klhN+v0v?@ zhI)S&U%*$G++E5(%C-ktl}%+-fUX$v2tD4~3(lo5T2K3G&2erMNJv_`EBhJ@#zjy+_C=~mG7jI5a}T)5mom`HvCIgb5UCtB6vZ;YG(KQuFlJSJ^vtXb z4Z#AyMw*hF%25#75=9gd{KUwhb+ndP9Z@p9ukrEgxa=>M~4``cK%%aaMSX z9f*o}`p8wpt^_Wl(7xiVF)t!cMYxjJ|D}Mdzd-cR22EF_mnnEFGmcZ4Z+ULp3d^^7-A;Q-|S%Kfb(A;VaLM`gLs0cvmX5;is~%$zA7VTj?eB@D_JNlUNT zibH9ji|_}yav^wK<~1uH&U*wGu7Wu{&Gj&B{Sd;P^1`{xgC5PqoC#>o-8V&SNnIYnXEoaP+(8mvzG6Z%hRxNAzx&7mo; zFUZXutYG*WDuJLlTJR$M!2}~HwKdpaE_ahWnpVO;uMr=Fikihrm>Uc@l&Obsrb^}B zgScqicf&X&d8l68aJsj_b=O6gHv-HxM;cV*bg*q=B%Ka7|78(?$Lf9mwL*8z?%6q! z4sjiZOpUO`MOy$*9s;WirIk`5LVjbSIYULd0Fg3{2?!_8U00OpDclQjuVfN3RmeQ} zCOQA*Fi+@K$~9jTXoh|U&xuHL!~%ok`V7~i<;hVdQDb?B*YhPMEdNn|7JWWKt(oO_ zW~B?U2q6BcucQR+i-Kk*1N2e!?c_cAP<>UX#nCo}xJX3eZ&mN!w&di^*BQ0x|1|F3 zTPm@WXbPr~5>&xz^w;Ma4RKF}1!ql>a-J&-j%-1zPd?SRUGpQG8BjW`J$!X|Q(oG9 zPy=*&#`%_KV|0c47Wh0LOM^rUm@@C1TjP$SGuow>G6PL@=wpmq{}2JV|tUb zy-12!wTsX#TI$g8Q+;lZ!+4vY{aU$w3aJ&ldh#7aPhfDV?nN@EvV@%9q&pN8&tkyq^w(L$J2d0Ctaa9j6t}1a?%8c{2Ek57)XA3Tls&p-U zi;<2CXtaR-#;Av0iZcdecm^F z+Zv{IS(K)&sHjU^ikLA)t<4stWh~{mkBrzYnl#P<x{G=-&d1LYNl47*)3%oBsP{ATpK?uwX~MZh_Bp{! zVb=);_|#KIR0aAR0{_k4O7?bxbF11T&w(3Me%nw%i}x5grKl8k$AgZT1JJTSt z4B08}EnXQ+{J>=v34u)&OZInzO)KZz&w53p#$kEBy>GM9b7Uy#5}bKf3g)jhHzy|4 zX1Xpw$?Zm59dptfap~)6PBKaLOt)#s{e1-x{?7R_UTQ#BcYAK`B|vkJFk}IBauZZf zCWO4m<&b{FH~c@vyTQ#>g7cHI7@)3S^uZKw2E{=URS2anYUX9yV9k_5B#f?|2S$+Y z@Je$eIsqark)qs3%7<}!Nf1q39ERyu6inBkRP>mGjh$F>9Dp`&b|4Nx*%aenk480t*7Vg7WNQ2_Z6P z)UTQo<+SQyX3Iv<=giyJRU!O&Wy!qE;ZOSh?=EWfEbN{f25O-}YEXQ=!~dR6#kfeE0h4DhQQUJ6tf; zyTum}Z`7-^0M;}}btKLy3EGa3VGLE;Y1R&~{XaIm)K+40bolN3)OO|yXB_5WN`1M9 ztgF8ftyn7gB=y&@F7GKt0gt3q5w;bv8Xdj$n#5g4fskon0RJdthB;T;U*{29-XNYSXq+$R|j3(~oxshFq`$8oJ&Xv#N2X93KWztRtI3d`bDK2vCS2 zTXA0m`_Osz)=Q7kVn-JpbQr}-eJ}4A_;r0A-GB*3Iu*^fMYtL~{&)I5=FF=Q2MH>` z1l?tUE)EKS?_n52W--Y0oQgbJfTk#PDd(Mo4p2k^k+|2Iq`hQ4i{j@jkolpeer4VD z@eSrsLSN3v7lC8L(53CgO+nrW>qP93a}(;^h)!2vbPW%Qxove8>=@e5Z&SW@{b%V@ z*!q=<7|aP4uA1{f!uWqWxXcoqS+2YM5aR=(_DtWh>k-22^w;ATFGczP=Py?vs@xLVzQB^21;Xn2uR@16-?#b$@f z^1J)xN6`U?=ZQP8ttL7 z7uzaODNW_xy^9p}3TSv;y(o_dbgI5*SJuKtQ!r-OgT;o@A z;g@r*z_@!Y$MX4Ta_3X98BDwZP6oh+rRVOz$&~u!TJsU?ErC=r@3$!pYd*2=woC}U z=IE)!MibNS8=o_3eYo8KgFosaGnDVtzU>QIELgg*{ym}5e6jQIHkP1t^r@@_!>Z!&a+Z!^PxtxWPpM8Z7+QC3P2b_hkZ?Rn~uT>H#R-BuC4 z#&t;_zL0q;nxX$E!fyFzvjA3lN{;4(YpckJ*4}Ek>%gtqu1LkKGy7fJ0x;+l8DDBo#izN%Js?`qMIKaknX?`?M2z0|2C*lKvfn!EJ z(<>2w3Bx%DIM&*5!0wBmFj9#6-|o#<4fesdF20_&to+v-@x|c<7_Cw1QK1vN zn;77?&p4R;|H%64xG1-%Yei5&1f-EvIs`=|M-Y_mZV(WW?ilG7#GyeEP`ad1YAA^z zq*GFI=vErP^9=Xi_kDlgUkc8!InOzJ@3q%jXXN}SBd<$Dr}tm9B!*_fTD|oz5aRfb zD1Z37prwVA(BXX~OA<)JWK*+mgiY5YeU)4#Qvamm);;ASGbN@{qfllZmCU}HmNei8 zrhEpFf^FSc;VBWA&irDXF6I?lKz&cDt(>t*hA-{o{ni!?b1VO|5Xbz$CJBt)A*}pR zDNkB2p&=~Ykm$$75g`2pKH$X3Em?Y5C8UOhH(N9Bt*Lfm%5tW|vxNvm4Hx#0a&{AF zzd#MgNT?f_LEn;?9sy-?)3 zOj_>;G|MU@Bm=Kj;!FQ$n6a!R&oneFz7+1ANxReV4Nw@ejm5ZJ`BiI(=m=Q4viqjg-s?U6O-q@E2&5sd;yyV zIZYq|qYwwZZ=(Z=CKON#cz>Y{dJLB>vmq3USG2t>X@F8t{hacB2f?*eYp*W&)#OPAlbFM6-r2q={trdK``eJs$v@l*J7I zZ0xlo!##bKF>~7SQzKMvd!|vuzy|d#9MUTa_OYCZQL_vkzOT22>b}1i^d5I?wPe20 z^7(D~)YBN>7pc}PJD?$o*lJ_urXh16oC4)L+wXe`u+$)anul%&X}pk698hGr?}mlf z9Q2b6DAE3hT(*^D6;tJDkm2MFFr2iAjw7%dqh4hsKQZmo>pV8oLtQO(35%kfsA6X$ z-=f_FT*-nnTQTdJ@^nzpwQHxspZlPrSwVZb(yh|Zl-?HO04RSn7ip>| z8}Ofo)?z?S*2cF0m;7>>D(IEqbpGjg`>}-ESv2(dp+a0yim>FZ(Na}~*Z9$J-ZpKe zhbfNiz;yC~jU|DI>gp~FDYn1=)r%uji6KXkn2cE1_~rhBfK$kG99g?ZF(^m=1~@>T zcqLR$;7t=u1vtHZQmQ19)l7>MH4dRR=g`}nD7FyR=IZ_x%|w@9Z(XO^W9jY^M!v*e zV?aF{G~-F%e&8-ssv_gZ*B@+!KW>}UoMQ6y`Fh4CJ~fsZy}QL25v54ANWVJMqf#!? z3e`_PZ?d~kXGfXZG~=Nxs%r}wQkT~(9o8AQBD$}lM0W`&o4sPJuKduz8Tr2cYfN@J z?Q@9d)1DAnQd-1*xFo4 z>i|4fPZYkiR6+^|NGS_HP~YAVEZky6~)2z25RP z!Rbkb6Z`IRlMd^Xasj#z5Sy@T$N8QWD-B5Of0Smdo`4ndm$mMTX4tU$T(WEgwRD$Y z{Qdat5BSQYeyMsq+1t_X3-V)E*mTOq2Hs7zkz#o5I#5#HcrSp6Pu7{XUXcI!>+IH0 zhgfe*LCwfLU+~|U(nPpqGIng=ZvSC0`Qd@vOyI0wyXb=e*AkiOGoRdvb;np6t+e?| z{Oh7fwVhFo()!=miuMO{+sqac&KwOn9Nrx$j^!S*A#3g1)deI!SSM$=HyOn`BBtXD zO0@_bidSUK`CqcmGu1uh4H1y`N>3p;FnNDhdW-wJA|9*ZcIvTk-B*(ADpF_a7)OE` z9RAFCn)(|yGALcIoMPI(D_sdoCxIPfF3HXAC;T=pUZgWq0_zKk=~y2sNZXi@r==a33&@P~rWkG1!g%d?!{=l3=EKG*Cy)pUEaUj-dkI7(%htemj%)4VY zyh>OwDh)lE!^=FJaz*Qic_D8-Mly3Q%MYJ(FU6aQ*hrOnWwt-!{u#EUL-~sJFbz?5 zz_A1^sR>$=Y=A)J9a>i0RH5femxX4+MXO+pqk`AA|0q_)@659`dY;YVZM)E0nj6qx z|0P{A`bqMOTD&{fjgZ=S|4wbm+oq2TBNAP|mprJXtaJYM)}3vEewb@GE8vM_*jdNB zJ7zbdcE&ctDaN+fj;8_#Y8yjl?ot=w+uJp7xu!(TmKuE6Df)e=J~4-8`$azH@EGB4 zJGOkt*6e9RnQCW{f?&45_ zNJROxID5FgikeTaVM3u_XNMbzqz-(mwvB5llyO21+-ihnYG2Yl8Hf%?XbPM5X1{uV&wOfiCQ)-Fn8zu;LB{%EdNSw*h_@TDnDJ_8!615$KU{MtE4|!fG~``G zq!SWFF7frZM9&-zDsTpDR-0^84o^I9TC9yN(GYE6tRwM)Y~12tIQhM1ZQ z%2P5`Uf#hS_HJT)CiK&2@gMn`(r+^py$UFyC}`_qne6SJ3M<9H-f23(aw?tLB%Vp5 zc4$IIM5gO+Qq$5i!z1qn3%k#6u3l+!qyZ_;Dr)D}&W{}6HH zBu&-E;l!kDk25dt-85+E7%ylb43g)WI-WZ3&v2Zx3quQf>R%dIgV^lJPXy-Sq%=cA-|LY{aV5>xfFts_5vKJ3e9q11$Qq>u&E-iMU)GHeFaA8ovi)MJ%Q{k;O>Ej{K|I3x zoU$NSUQ)Oo_ix9US5h_K?z<}_F^+iil2F5GYerarKbhL*Zzr~p5=~bSHnl}ZsQ>oZ zMY<_K9kkWcj@?Lvyvs5<-Q(m_dAQ)U9l0(M+5wls(=7f%c_)2QC5aZ^0aD*f{aNpR zvANcBlZELJ-gAX1BM{@SM(g;0k-v`$SEuB;f9DpO4Lr@eN~W-<1EMYk(c~&DKL}rD zoq~QX{MH@QuiHHBsD`qdJ%0NybER%Q`gAvR$AArAmWYI?s4-(=QdLxvc)l+Fhxss* zix&^=q*T3Q`23DyP)a5@wb(kXEFH(zBK zbk}HPUR3?gom73qC^@6ZJIuxjgMA*r)ynw9i&8BrIQ`s{1Jy^|Zxy*jB^pC~YCFkK z?#=R#`ZN$o$=_XIHY*z3p7h~MHuZ=;dnJh4#yaVDh?)IBlX=yyCqq^y1EKje|_dA41`r2=U#nft!`JY5ml zA;a-l77`V*>Ka9^D_tAegCZo(SJWKBr@L>;Gzhs-P)7O0t}AhRUt#IIB%N1g^+5_N zb+7mKr?JZCjI$Z*o7Ia-iA8wDqC|(pOT7`-+BC@O&O%D6Yc!{Q!-HpN)l*OM@@j7y^v}~~0*G^t>ueF4hawjuO zFr_nan!TUUN(@&rt8SIhPDJG~T|IiRc^Xy?PCL%lUC`8sr@KMv(tWL+Zrx*cb3iqB z?Uj+@^JYy@t|pgtEU&cv+44PJoAIlfNeTY?cSG!y^`}n5ap+%|@!x&)%vqPO_fgl( z`DtRqaq*1OR>N`gmT`2T@A)F3Z(r@VpDQ`wP{C5||Dat{*m_=$C7QlGd#>o>_SDW` zu10~utQ-~O_9Qk^tvrol;d6gyjRupM{<4&Nb?O%lzvqne?Lo$jB;5N-ffXw!yZ3l! z<+id}PU${4(E44|>$I3Hq^8lpdw)DA$UB=qXGp@&A$olaf8+?~0ng9ijr)!qN=+ge z$vK{it+E~mJ<*z^-U+ud?XvHc9;%IoncM77>C5hN<%sC@&uoljVNnf^Si2=mPi`g~ zs)N89$pP-sxOsxOTT4)?BGnt;c*Ys%-oi`$Dbv=aChliC8uTuluuQ~ztdhgddVAzr zK)FZ#@U!G+?oLIU_Q6j$C+|J>ttt0Fq$G6uSU6TEco5b;d+*@Rw1O)EfV(p+MJef0XO1rNpJ?X(Tr-3uw0tJi_*&yfV z@UichI)0KlcLd;d5ted1kwRuphvq}m$qe}uMp^IlQg@^7)luxp%j zDK{Cs&EAKyg>_nqCN6UAs~7?e!R*?Jne}||ZVXym-_+y9x3}te?uFV>K{=o6+IzHF zZjP1o?})px($qYToG?mSyApi?dEL+w2IEHYl_+*VshICCAPHInS$J?J_R z_gSjZ_-s~+*bV%P@EMbj?@!Tx0I)omKF(ii)3P2-VQ{Fs)k{7HKFW{A{!4_r4;iVo zXtySya6#7!>|7^Deiag83ls2vM8py)4+PBh#xLG1P&m*mOSszr}~7bk?UxLd>)NH8V5C&Rb?Qh3DGv_V20mr8eaEABVe9Y$KT zV5(u<&#d=D!-GfDUk4)~G>^cb`G0%l(CqZPrdZO&kAz*KBUu4a6Bq=w;8A8#DQq`k zSw#3uIMp5?8$mj?mt}h-kt4|{hr)AM>cd=m^aF?W$86oIKSpWIafTyFr}kVVhgo!A zOeVi-cGXLqg2SK(DQL9)z0VObk3rk0d2;Ia39-czqN-H7?)Z%7b1G4g{IdC zeI1Yo-#)Prf5`hDJ1IJ~4)D!oRP5O5b??FC(4!YuzuC3!I?m1O45eD64-EB9i zNDaENcz^9%?;SLEig2mP=odYL4Jd*PD?e{!ufV$UJnBa^0E8gsldpUf_+)Cwpm03s zs78s+EG%9xiMTXDAnWI;Oq=s{%{nvY`0utgjVW?#$K00t=-&k!V*tl7^uBrX^F*TU z0u+}s6sxG%m#mYgRrddibj@ol7^^hNn9pF^LNdd*XgdlBv5h24e!3(-g$q=&Rf@op zv>CcX>oj%IjkyJV}xHiCldEuX>u0XWd5WcK$cDD@`G& zKLG3gxV`LDuF1ulRCR`O&0B^|e}z`Zw}s4t+sbXQqD(uB+0;Hj*!WdyqhC|es9KZ8 zd#6uJ-@cH1Lh*9))jFoie5VklTk%jz*P^xV=x7}YQ=x41?5{F94Tq9J8cb`#k&=($+ec=Tm7fV2qm#TS<;(@vAirTve3tb zQy^o0r1+~GzlBOQYLQV=RiK>MXi(OkmHlc~u?hNO!brko;=i$`N+lf zaV7)qWX{wThSNzrM^~vReMAP8X~YtSgXzW)7D?JQYa#@v68TSmF-Af^@dN{mmr^SE zin|N4=7qxaTwyad&=z+PIq*72`3D=h93a8B*=1JR3)FFXpRpOQu7l&3lw;z#}8PRoS`z&is&EFSkkJ+=-#+?~d-pF74L1LxI`mTxmXXl>Yn|!zf~D_!`zl*OzGL-2j+T1n=XN6R@`^}KPfk@+Z5sdBFIw$3QUOgq%B}#qHm7Yz;Nx3xxHQ)W+@k6pKL6?ZlkjWUv#C! zoS9S$5&^U$>c2B1o0=1&e)GMhLY750s<3$gN_fln7Ebln@MdYMsl8RTCirQOF@*>m zR*^t5U}q6?iuCy!9B4od?In7{{tvMjfepZrP$KTa%ID3w<7Z=^PcJ7>=#=Dp%mlm( zj~qY(mhEfU*H6=HSNy{R3qiy0=B!$OJt!a}+GF-)FTs_VLo_ieM`|ZVG~ykN2N@Wu zS`W%An1d6tR4dD3+_YAXhx5Zlk|@SXQrrA*rnJc>0j7(L)sl`-ZfsKd!@2Reb_6oK zF{I!h&Z)cB#&Wta1O8vX@4mu4l(2eJ-p{AMCKpgZx%0JZDjg_ODQ11^q4IQ}%=Uu5 z{`Om5zn$VOe;JkVuab}TS%UKj%lmobDXMw^IRQ1`EI4t{>G|@`7wIqI1<~5k1>F;v zD$2K2#;m$gT(t)h{^A5ZOn*YvomY{CzuN8D2e_@HI%pv->wU48QShjr4;W>O$8m0D3)N zFVFk+&+02h1r2+JqdUpZ3RMNJOInOo5}!mZ@cwYq7gh71`*f3$Sk~{QO?FH1f6;jG zX<02X3`Q0_n=CN|SAaR2@E(;k+OdeA@cK;YMFj;bE3^YAoLDmhbwaJSAcz~=z5OVL{d$~`FL$6`}>P|0u; zeSdl=fHXPC!}*4q1MyrnfkVgXVeXAlsTY*l?c%UYR;Yk?A(0ZuF7hW+H8Bu>r?l?d z_Zpw|&NTJD?j&x5*`|iQVORL#9+L)_)mBnruVa^DB1q;(0O*2IK%7y@-O~p!;szK`S>FC6yXFO^0!^5umHv?!%jPn`zTV;#N zl|^^KNY~*}|C3;zsd@0K@@PZsgd>&0P}vTKVaOu7Ca#5a6nJjGth7Lx+CoW|;PKh* zKJ0DL#Od*H!Yh4i&;=hLe+8$3w`1xJzH(1W^RuQSYVJT z^-A9stVhP1{DHZq@W_2E8sPz)jqBO!OcNd)+MaG~WlYm0w7V!jb8R6)D=KUr4%ioV3{2 z2Kg3N0tAK}iI+>0=f%Ll=>2@oFW9_%#7)SVcQi>0o)zucTwTi zj|35GYT_lfGtlHJfjqd^QtQh6U%Jz@kR+15Y)GkKUA*V^Fk_9kGy+#C(Q?=_giZG7 zHZ7_;9A>L8=W{JY8!vOqR&W>n`=e%Yx|xSRE@$(NX$oHOY^%YT7PcLfDo+-h*IGl8 z)Xb~qSj1pI1IDGuyCB~8lVu_!Zw3{|5&+YldiYeWY;rXfdXO3P^A7<~(RHZ!{$|gJ z!?zz5)M=458bo=QD(JI+Egyz)cUG^}0Z0J^h9E%gML1u_K#E(_oW|3FEbQER>viw& zK44L66`Nuf2L(*x7xp(BE;p)a@q1HaXC0G70) za(uIr8wG?`ld=;W_fw1?u&S)V4e-?DVpJ^~cKOIHK*f98VdY;jN7yfRUV1&ezI>zV z;U*x80Cd2RZPGgseoC0@7$hzBa+ha++9nmO@IQEvX3JYXZ9I+_;)kG!(z|jEm&(FDZsg3#U5g=Fh7!=!E={OGX#3na`wLlxhrVPt%3b zkrL1a1=nI@ciDWV-z*MiVO`8*stE`6=5Tu2E`Y3kFv!{rP5|q8VbPD5GG-8WvgbjN z4uZiebR$;@vaVvV(hn$((0hmoF27$K=NDgn ziv}MteSb9}@S-V@F4ftaOiN$;ud55azvdU`au7?@{4{dPnf`HVU@pDz2wS6{-G*YA zvcR`~cyb{8obm^6((;QtMQ*;mP!Vyy&*NdTEO-s0OAs$LrRDnIHg+XzYl?)|EjNe1i2SER7Jz6z#cS)(-;$`8-=1^|&aK~^ z2M8a48cY@pAlCqdc&IO0H+t$FgMz!tFlEsMku=HqEqt63?)t zgnRm77SVmN_%{=k2fqm)2tp+AbEED0C`aNYi0_ttj}F&GyRIUe{L2bvS04N~4r1)V+sd9;i)d7a8D`g5^0N;1L(uw)EwVA_ZXQX6yJUCGr(9R%4Oz7wtZLyAU`H|A zh)NYA5+g|`x8uYuy%x*P1>@li9M~d}U=HHwiAKh}eF!&f7nI$_Fnt~K5!D|ZIOI$| z@Wn?X)LT7BFbdgjkv^X57Wi*&uPq4!#|aQjwjOy(yj)moTMih3lgh?~VsXeWqOZ>; zD%CMY-j&?N-h3gJ=lA!}#Od-dF`H|*m8#>c=~VKEL$cIM2cBdpi&t+k+cbmz*U;0*=M{O1goZrR(bimPfmhXnq6Ni(yiB+Espc6B^B*onwYc+1+QHU!QX_lBR~} z{XW`*kh*-}T)`0;@5@$E>5M0=+t|tb@dWlEb7g1YEeuerR zXan1k2ewtiJ3vPPN;F~2XttyG>taG|Gzj-;)HUEG+4!#ICAPr&eF|>J5G_;}I;?m8 zB-r{|V|)TCX6dSMk-Q|jl#Az+R6}n}>CfJ1jEpo(3`1ZbiFTBL!0bVd68^5ngS`9R zqNm)`A+8MmI0f2iUN3E$Fv_Ow+nw>Nx1PZ)RMt#jQVsW=*hGWL?Gp zT!c3RNWlh%eC6e%-s)aaO?Q8KGbevX&g!KjYmYhK$za|P&buqr0}gnzVGD}JL zF}a4jGqmsHpg?+LExF7@w<4&C5WpNuqOET@Dv<uCaicHPcr z-DBn7B$CzQKI$n_`7h;1%|+c4v#B5*6(8tiRA@>dfNKD})t)nE`eAl0_1a%Br_y|% z5CA-Q#`Udlk{*$5)LC;h-*5a$3U|J~b#}Qbt)6A+SlRA%iuMDPvUS;m6OkwMN~+O5 z1Z~TF04WWu>(A|;6`6hv9Zh-zK|3l8%;NnI+A-hh+>ns+i{Y)d1I#PYh3G8_w#&!L zmv_Yj@hRUOQoRAX#_A({Y^@aXqLVN#Y5@9|b0w5LUL?~Kws!Sr0{a|Ghk4mor{2|X ztHG<~9)*2&L~H(lcohh@BL2m#sV@-*yzz@gTy~YsuOta(FX*Bm_ldhmezH*LWsvlJ z2iBra{?iaq^FXeZYQrU2(&Mg<#aP~ce~hq5l3BS|W?v!E&i3!m%L8Ly3J3wt`~Tt? z;p!$mzSEkuuS8!%=8RWkwCe`hT2QJ1kRpv;T-bM%IWLv%PSkUM3eu!6H+gE;=be43 z{#-<6f9S?Jzql7PT{>q)CcWzscfZ;xG62vF49nS{l^brDeZ`)tP}r2qxI*IdPC*CP z==parRH#^pb@fml}t91ycW z2>dPthDHV)R`ygcesL=H37mzd{3{KD_kZR8dVGZ+PZV!Q^czueii&bm9tZ4cn+3IE zlTZjcf=$s%32`YW$4}oKzxQZxm5kGfn#JDK}w+_&Y2`8K67*mgKcj9nds9Pbu?(cWHI1XKG1Lj)N=~Pn8YJa?8#C zW}cw*HWqMP#ry(Iu1z-}M@Rmls;n;T;iNrK8JaF=6YMQB`A_3b!32Aj)^!c9ch0F4F1IP@h`-qGI>}hVK!!dv1jd$B zeTUy+X!6WCt_J5TQCwRh6K~LF9=FklDVJMC_-!%xV+^Nl2_^wqN!Z?kEQ-*kBd zCejW;)D{+y`D11v(5maFon%PW(f&rcutqxiTaAWa+J)ZUa57ewV}aUQz2a{Vo3Xm9 zG$*pbl=+eopD$v;)mtmU)%2GB6SXK(`+n8X-R1i|vm#x|S*l)>v~5ue#f!b=^FhR*Jjj6cP!-0pi<)k}Q$D~59A#+fx^vV<}0rt2S3!?BbLSf7_*)%7s zOz(Zl$j>6Zg0fpfVkyzD$c|ty{))x`mmYh4tn8iny-beZ9fs?6z`F%~6KCrNE$a$K z(@J-D`6AveSr68{-kAc*&#zjGQMqzaq7)z!p05WheI4Mc-hG2w`NACZ#6|44 zmoBRt=Q9{KN1V0b`_k4XIH2YFLbn^nK9vl1ym|P+$*|>K$?WLw+FpIj=|2LV9ghGr z+6D}Ir$%DRja$oOkA7~Y$Le%+d2W3G-bQv|1lYUwL$-!m`y)foQ||!-LCLhhI+l5+ zM$ST)c)GPP#pdLIkwVDf!u43azD%7qOf-_g#gJX4bOt+vI+Lp_OXb-B!sIXf?Byf1 z{?h;zN5n52mQ(T%+o9n(ESYnp&76-`iYku1I)=EMhpvV?KL36@cMQ{f@VDyCJ!}Q8 za{#jAc`?wWcZR%hxtFcKRJx_?I3bdBwJJ_r{4F6ogZXlU zJRTl20Y^Z6CzcXp?=pc2bKfjB;AXO2D|4bx1^=jx$iyHMOgxh1O~?UwLho{!;Ws_$ zd)K4v2pf2Alhh-V`wD(tm060u?Gl}R$4ATwfhNkoiePr@pm4AH*qnK{ z_|q08)aDp4^o%%$C&hxhcn#bB%9dPf+(w zj^pP}p5T6BY_b7Y@k$7PMG~_z-jqBNK8-L18ddw_1YV=E1J^rT8==Q5XsDW8+rAWdUWA6k1pBSw1iTNEA*3Hy|j=F$dX?J3sPUntKsr zkH;VIthMCqghrD|)CtPuF;j<3Ix+QHGEIz;rt`MWI<3LMXvGUA(_h|q=9xO7G%RN$ zL=95tbzBzCup9up8dr(YVN|ER1Jk%|g%SGGG*1gJ)Lxb8ECtedC$7O50-WiZc`%2! zj7K=d9@@6QJd&k`gZFAPeR+1mMWn;>=O%I<(&<8X10crmU%%XKf9;iPRmN8@zXNlt z$zw2pK$g_bTKoHPWlfu~o-_=^3*BA#L(aOBsTrPVb^i>cxoG4tBL4JSI$BLlcwmR- z>99WCZkA=;ElO5#LY;!VVR9G-Phz5=RWQt2Ix>bjbGX7&pvIR@_t`pt}gWS@4*>m%C22 zL7NN?C4-)cPSrD>j!Ly4qRnsUMlcqf;4Ha9&HxMvRs9;n9|ps-iqj5j7oN5u5f~k| z!4zX58bG2#p6y%_0V?Z13ZbyXb^K)IA`6Nz_R1bHBOrv>v{mZCwCOY?>lc9+BcN=! z__G4DrNzc|&0M$OA`H6#-VJe;{g_yp@Z&EsgB)p6(VraWKZC)AZVQtLNe5#CNN0@r zY5V|4gn;hBwffvzcu2PEMK<*H012g>nrOdn$7RZ7GC<|U=4zroe|wOVtt5z4mSKd?OWxjr;>jb2^?+Y)+Bzk4D!Bg6DOO47 zrviXihNf#UZRYDboVdh=%CUL*1yJP07~W9-k)(?4q@$g^DqC&`cP7wOo=?Zy;BKc( zj@S6fOm_{`X$)Q2CX|3FqFlw9J*h%%rgqGRuUtC1(vaRHz-bx2OQ#<<`X`iOo~9EF zBoWSRy_r|&N;O;$L;}UesR)c$g-g{TC{9WW!}#FC|N$2 z-~bub2qvDVpuXe@cI=WS2w#$GIwq5S9U&(VL|5ffknC;Jy1-+++k+uTMFBbbBH0Wc zbGPdUV`0ss&?xeLb1km5AYLuJtPY8e9*^Js)WT%o?AF~e?ba_r=CDv2u4D889n3K) z#T=6taN&v zv`*^tYln`t%U3fF!o7C+CE1_@`F{f)+~3tfO1w2p>zW-~u2FNL*-CQYoJXt1K{F5A z)?^yMVNCN!M!x)4?}YAFC=I%IGH+Rms%~j=b+vGimvHh8?>oEKnH2gOatOZrO_OF+ zSfPQpx-^nqagOvU5B95IIjs>TibDQ!JtF_$zzkO>@hR>KdIaA@)o+TV7BlrSL^aX! z+&8(Yx&E<46||p&$p9oj-*$(j7+L;xFtY;Bdhz=wgk;u?S~T(e8l_)iqe_wCyPmJ? zg0257$AAoa@#WwNyS(S2N)gO9_%aok>@GYh5wQ%IP96YbKF`7vmrS=VTG)t2BxVH+ zj+vC1L9CScwDXO$9@=)mq37(JUo#v)0IxCCn}v$+Tzr@I>&y$?8SEj0EJ@}Ne6xc0N2}M#{ zel9Dd6Vrhg;sC)y6F#I`T`aFB0Qr{Jmq9M+)3+C9wCK*=KbQ{G4$Qb3)HA?=!LFeQ z!+5qBl;aZmm3l52PE!>R0=f=P_)KJaI=OA=fdb4(R4vymT7(`Ci#?EW!umc{FPH@Y z)Br>S6b2ZZV_@?SJ}ths_>)%teCRdv{n^(vTOa=0F?sDckN`^aE0BkD-oKx4>W%|U z+Rv;6`ZCOg<9Xko+GJ)QvTM3z;PQp!m$h)j%>!#oeCD^vt`U3%;Os+aC%J7j+ORBZ)~y*I-EV5Y^2*Pcb2dH>xfdMGqLX*#S>=x#6?R%ccprV>o96karZ z^m}>-6jmYrBn7*+rvmQMr_dVSWIR=0a0rKF&?PkE!#xXxiaaEGn+D6Y&TZd zpK*nHCS5YrF=nxYigSMGs9f*wq_ib;PSj0I6Xod2HRKa@J{8=k0nAP-djbU#lvfBi zg$Z`;B1@SS`-ZjNZJqe}KVvbFL|Oy-<(lsFZ`-cjY5jysQ6k783IQkL0>1Z$g0d;T z^O_Y$;;tXY9&rznRJB@IhQv^WN`u{DSCmuW-Si^f?;YZeH@Q~ceU2<5i9$Mu)y#Bva55H>j=E#N zID+BQHZ&}~jb}IePM1M#WXRE1>iN1uKLLI9WqcTAq57?{ZR;1!!3&c7r{q6NVnA5H z;F>5-zopB=6A)1^d3k?&H4<1yGB4Z}F-VEx8*N51)1DIs>UG|7s3uG*eAvs))opqA zJSa+E;vBl4_@4e`Rq&p_k^h1UYVUQ~Z6SWYG?zyr&AhK`RxVGkVBBxfuvpa`NIQ|i z;L;e_jCLgU%_WT`@z;SelK*7_GaP*{*yVjmgF4&ZB{sqE?z-8yN=>yCumH9$Scmomf{P>%!$K3=N>_Ogv=(GyWUzh$-k) ztE588Iinq@ZT}=56t1JzjS0F#^3Uq-G%yQtnhh#f_37W(O)xj5YLNJoX`rW5ZAXX& zF%yNCu(Nh78`s%J(hGp`9ZH0DPeVD@tsCG97Dmum^iU$U92q!qDXET>`v8h8*;Wz+ zHW2R9PRMWC9|k>oK93B71F8Y;TG8WMtV(rklrDU|0dRc_FZV`832W;ObC%=20??Fy zx~Xk`VHA@|GhZwD3%rG`53M1Hh{(}Df(9fe6sB;}C@<57aBpm%sv!w=*tUS9>h(Xk zn`R5S=&^CgB@E2qniuYVlxN4L&j59L=Jl`I9Mg^o^C{+aiHD`Q?rk0syWk2|zoQqo zZTDstn{s}Hpw&OB#)Tn$;o^GfJTBD%>TLfsr*#piJtQnRog36?Zcb)%IG-B~$j%A|3e*i{I|e0>dT( zvWOBaVF=hCm`&s(44zYaqka9@?=_fzUR|&hS@7>|zVwgnu0@GNqM7njF^4o}DNH-T z%D2H>827g#=c@4R>q?t%%vb z#=qT3vC%UR&1>Oa#arL-X_3eNG>1@T6mO#m#SR15vIp_i!eGFN_Bt30>-4tnPm>LTHPJn4j3W67xhVG>v^Q-kQr@myRuA3VG_ zq}Kp${H2-Y*|iojn#Gz*?Sw;j++sML|6K7LATUl+aR;+JIFQ}7kV1yB!2%O!Dv9Lx zv@5z-tH}2mfl2mX1d|0%ycbsE=K7y6j;Y)E(bCoAX+MuQrIQli^yM;BCDfI|TWy5hOp)4jBtQ%G z#9v>%(=!Tp6|ibX`QPji3DebU%)}QSDGd=ekYv3OE#UQC$ zC_Fz_UfxsfhY?P4Jz~j!e-z2o!`VPc5h&U6Snh56>?5Agy-p_M;^qlMg%hsX+#MGm zqXs=!&f9-KfCXUqYe!5A%jqOY$SUxrX-$RqX=>{S*KbU2{!>`M%I1*zp^!}t!`Xr7Q2sNEP`#}p`O^OQc9?@C zIXXVqf~xh>m+u3hLO7&aBQ$PC6Mmg|eGC6P=K25u8Z+1YyB-OtEW_%uY_${tD@KjP z@Scn7pwN0qUDv|@^TT#Qn=HORk^OKBQ%ZZdxL=Wx7 zP-WjAKlCc~3^V!D(J+!zOGI~jI7PGoBQzsBA?tMe9!krD}Con zS6S$m*s0IGm4AB8?AV_g-w8eZoBk0U8%%R<@OMX@s7vhJabMc&@Z{6qS(F%zxh-kS zcVAtX=FH3Znrja|`b^pPa7VdRhmD7>LUa0ZNjD@Avd^qaQ!2#tRo4EWFN`fs*)`g|lr51yk5?Pr!wQO0vqyfev> zr|{0eE#K3XlNBjC{5u@G%qyPCKN@PE-&^~Eg%i28=HOIPUD1&x&tmdiE$b@6QrGI# ztVMRmizxM+H`jX|FxARdn&qQ!iD9&Ri~HUxPn4Eo&4uH#{sR}hp_ zJo);^yr<-yF)zcwBTHBKMBJ?6P3DCF7NqxEbhd zJ{jaEV6l1QrLN$`lczlQSOS%IbH*ikoQO8({b81wl6x|H&5)$^UUP1Wo1vA{Gg5G~ zcWl{%lSQ=ffuqP|@Su=nvL?#3yx$QaXe^v9bi36_;AQ{SUmM6ibJ{|)<=Yf9GNu_` zX#ViP_^g%(ihX|k+576h(uzvfxTnO&h-lILT*Bo1&;EB>qW$vkN*C$dt(8;_RPmQ*7uk>v4PKv-e5M*Wlg7^f+tV>KgQlVE~=<&8wQIIq)TAv?vNY=q+3Ej zN-05Uq(PAGp+>qS1VkEXLAqNSsiBb?kWhqo4|?Cv^ZnlUkMEz&=s9QBK0DUB*0t7N zgL=KX%eLthOl-(545m%lye0A(2o*hSgz-VxSe!!XTrJ@8Y_|Hth$7(E zI;?dRJV4masjledMIEi_t^O0sXPSAyp~zczM`P0^T>u!HC;_QG;@!aaoz>&iAa@So zlhG~6%XCBToPRgcdSc88%T&fCeXjf$2}=B{c46v*e`9@No9VPc2&vbR;nqyl+Bp0M z%u%iL%6KYKtpMwYQy-YkAz@1Dji{>aGxen~-a8})Mjsn`L$mtCenDRhVL*ha{AY(p zH$Ohx(b|T>449DP6nSSJrba^C%xdE~64`8HA8(G8PX-)h`$g%B)|{5l0+}Sf-a9i7eWp1~>^O8m$z!oQk7C z&pm%mB8u=iClMUHK@jRLJ=^}~R$ih)s$kJau@A!!+%?4Dht6?Yf?;}}M4fD|M?Ld; z(*M_}yEd`hjP`le(54k4em{-TRv#5T%te%>pH;8FvBSj`Q}=u}Q85ifCvoahYoAjO zPAW>!O-~f;a`tZ`L}KMX$=!KA@Z)}c_sh-|l`cNjm=CPS1_&cF;YNgrFdhGpn!W|6 zYFLyuQL{yQDn7}u$Y#PwOA-06R$D9PzS!SExbmYB^FdEKwTVif_$>5YX8N7E-FN>{ z<|E}nvf)!E$zL}U;KO&yOV|^h$G?=9^`MF~_lYVI#6TsOM(WeDkXTf|R+}iST$?y5 z!ws%=q-xwPW!g6Uvsgn_|4Dk6!vib`%O z;oNU};W-6cdxytLvf&*aA(5z%`&Cgi7bhT=vdGGK3t0)HLy(tH+J&X4DGz^bH8o1q z;&1L~BAGQ9x#F7jb_)f&mH$LP)8koeMK>}CceJ7(DNL#2 z2{+Rtl8qE_*wz7f#SelTTp7WD7Kwa+C2Jc1rFxnwy^A@9aanf~T5%V-*(rl(%pOf3 zknvoB{zMA$KAb$^Ru2QF8aTO-S_o6`!)Wir&M_Dz(iP$P@Xq_taPVlcQFA=s7pZ z1PHAum_%&J^b@tL_}bgap{XamK}$Q3h{?R^nQG}?kx;x(e9&%ct98ZaDsx?*0~An%jq?bVJhMHVryn~ zuH!I2OmOa8ZRx_Lh{A1t}$Twbb&;Ij?Y&3Me&eN_Y2#hXe4v}sg4wRB=`qLALJiw~n?n^GU< z%1bn!DxU%9hf?r|LpCt?9TAiBw+9>@V3i~w5kaUvGo-@U~gS$jiJDxBI_e4Fg*}j6C6_uXBm-l?Ico{t(C`Kq+>Q zjR%3RT-!atNL0*hPOo~5&O7);SJbh1IM1cwQ8!ZYsK1^Ut5(JPG0v-7!I|&klfMwx zHFnI)i2Y}CEHDTwt|Igh)rKEB6VaQKAvEd8%D5j(HjGD&!TPnfMKV$G8QlnX6NW-V zz1^n|v(*tU#RL^thnuGIzn^!RzKwmkxj^F2xno@r(AewGka3~x)p{>sqhCw8Lr}ik zRC1p#(!z88*H;<=p}#Je9q!T#(V5sklKr6tRo<(&R*?S|?l^b=+t7qoRxvXh z6`xhUTamarkUN}xnL=}>Ipn4NgjB+B#IjoYsTKchcBOT|(FJVxF`slVHy={l6T*h@ zX2eVorx8hoCFRbauf=_%jwvL|ZLRQ88u}%AMU&w6)7Nu{|PL$nQ zME#o31-tE8&geIsx7n-{1xW-ir*hl%QI*gBn(9OD|IDOVG|08;xy2nLFTk@EWRa}+ zwS=H>3K?TbEz^DM2ZKG#7QXS~%~jyDeg-9K?RW*HZ_Ba+yP{adUx2tA^B6=p*`0q2 zM@SSB*OeT37mw*_EIM9bvf)!@QIh|WH+A{K8RGrG)8*-a5GCr76@!lXucUhSRUwT= zgDBgzowTXk={fLx?6)uRYYr8*+JLlsqLEPIFL4yi3lncKfjqoblvJWsQ0KdwxraeG z?6(k!(c=MYM!qqpp+`HOP?RHF!nj|_?0E{vc)Y@E3uT+rWThwgN{W}ZWqH?!{sNn5 zO>Q2Pb(hSwELh$wtAvm6xrAOabRQ87yzLc(v)G2gB;cW1m8e&H;0Yi>MK6-xGV}c% z_&dm^fbc*D_yHim0HO?HqWjaTrW%2J8%{&-l}lQHO|q?oI+GX9y!EFFmm}KPx`=?w ze1A2-6@hH!k6V!^TrKaOMJo1{VV?57(4lgV6YTbL^_8;+TfX9Y%U51+c?(ZQ>(QTy zBDZ@N89&1IJljH^{6kqtZkxoZlQ5}nNIwxkJ8FsDkLE`GjEw>fR`@68mO8e>@$qe6VKf@0)B zSK2@R#a5P{Ne}vM{JKYh{kY!lYv_m4G{?jY$bQq2-`#AXUg9wn>b{IJfqr~?UD76K zr_h+SxRlm(lUGWGz2X&GNp75|kxWF5r&?kXK$B^lG3fg&gf%&(KOp9;3IOEkyZ)Ur z&i%?4V9J2K!@SbB6%rGAYT~%cq3~>AvwoS@-8Z-wc}5p`*r33y%XhjVw(VIDjX&mC z8B+g9;MqND+H5zjI?n}^7ch7Lq=JXRfP#sj-yc?X34@E&Qk&b%aeHS)gX@k%cXov7jC>n))<6*a*IQybarLm5-*&A*c!CU%)=%wjp%g ze-5;!80=_pT}0?5q{?WsvnG-*@xn?2oW8F19zg&4$=df(%7gZHT&A0S>@T0d=r;0POZG6hE0y5@HyOPee>6`COuerA3KT>@^YM4eRgn;js6s z2b@|#o2!pxqPdOeY|oy~lrKR|+j(56gO8jkeYtjez`EY8r&r*p2>bd>ehOUkg8a2Z zLye_Q3t!qj*KTe@hlGD4>OV2Ks+!hKj z7ghfUmXqn*d6;rBTilk~C?g~iGkIs`ZXir8T|rCP4D5)NCf2voKUvx&q)Oj|%!DBC zzc5f_zoE<1ZkKVRBJ>EgFo`ynL*sV(Tyn^7H8}7)KYVA2LowbWl1e+S8Iu#Q`C$$z z+b6+n+t4lU!^;<*@&IZ=DM88%Z2BM(Xqg99)WRZ+lNADJOFF`yI;(_);slVi1+58Y zqH->DliiKmo510|K8%i+oG155(s*Njuv_yVa;+rdT|^EQJDNi3Q{4$4oW)qx!u{Qw zpz&}%Py6a&+ShCmC0qI9y&|;$8a)T=l3&OawJv|OH8D6iR$oTophr+Ch?yj675v3v zZB0A(Wj}vs5RH~dCNnOM2fiEg0D~Q*N>fi`7%xl)tUKPAdTO|#K=zq*{EE2;)rOp9 zKF=E?Cws<)I3wv_WAAya34vyW3=pC8<3K;~p}>ooG6uQ^Y{{LbYTkJBRC&we6-e$d zG+l7TJu=V=hDju|0DWx8%M+6DI(O-ztM|G>%}sSD4lVqjccc|b*W=y&IY$&drZI~- z^P9|1G9uhD5kJ2={3z;|Ksls;WsweOgU{Rph!@hY6|s*FVqdZdip5AIV@Rim3@V^8ZZSpO=1fE8ucSjnA6YUnnafL$ z`erow-uWp%@oGbN6*Xo3s3{}u*9I+jKf|`P{cZg4v^(4jir|vCs@-&t2S7SZFy~}`o_ahu`VzRN+kdA`bHO$G z{j7_uOS*ZX*L{?m%>^fu!+_K6qB(juRrn@vRz@AOIo@D}eXx?tvyETok9Sgk-$xy@ zdT4Fa6{O8CHR_bK$qbwy(BBLpZ{QusA%n0qE3lBPU6FiA>CEsDgkhA<4}Wk5dy2i; z?zZQ!q>q174c-z)a_Mbkhl$^(omI3T_AYZ5v?#(OsopofBS@%0*R5XG=XHzL8knjO z^sP#`Nc2lAccvZE#bjMZ=@)b3`qKwhm8R&x@H`8`RWZ)2T%M|g-SRxNQOwje!kLCi zYcx5yvJretzP75d?uLP2&msFTWH(XPpk^BhIZnyOU4V7C^WQG>U@rkj*v&W39L;Vf z^N_MtC297Q00;=G9m{w*=w(Lik-YI!Lt#z-Yn$p1wFKrM0IFrUdH+TqLh)gxK;RL8 zLmnhLG^!wI?ZMI0SR!pg`Ed<;BDHWKog{AZR3W`vP%-<7oWDjpp=RNDGXqLxiVO*-A*Sg)v+u+g-xJ(fc2mXtICylXGs$N$ zu=}feLywPr0%Nzww?u`Fx?7bX{v1zS`I4uJ5R~fy7S)^4p?O9na&SImq68nc>3eg- zyTZ+=u>XWpIfccz{D^~cUY}6|ps0r4^C0ynvlA6~=rVgvq(;#M$3k3dSEG-QjV*f| zrpPm#>pBpPlLY(tA_r1ELp6`=(^Bp}>u{h?|Vdgh;FUfwR%xnu#-bJK%b#Hpr}zZlim&KZPXGDG?X@>_@lQuzeo^^ z8qbfvt!Zwdy>EB}HTwi6aKKPXfkFNu(!y%?zRQLaN?FFCX7F!o8xO^%U>(Y@OniR3 zwQJe)M_iNjw0O;5#8=by_~M@XMuh@$9nWCMJZ5#YB;XZXSa)-4H(jJo-M-`47K;9#{I{m;)JK z$>gQ_kv_b8wfpgrGBkBy@S5iO=a&C<&asZpqQAVpCwn*1BUs_5s$~)MN8&%tY3N_5 zEuMN0sAvs4A>Uw(qgaR;U1ySV>Rq89{NEE@k3Fdvo+^$+ba}<4^CM%plDij=8kM6L zO%-b9qC>X* zo^1WqCC_E;5o~Vt3NqAk^>gFuvPHx1_r|lU6THhs;=6yGC}@6X1<6c`?S%k{xauVQ zd4^`EMKLHw6I)`F!9UXmLil4FnYb~!!IyGWr=$}g>t1WxkEqnyqj~*Fz#__s!C-oY zjsH=RL`*QQ{o><}X;Lfv`qBjgm&or61j*v5g8wD_lo;+q)suz!gXI5Cj(i?dpL@4C18Fee1!(>A!0F7qMtC`>i0jd1hc28I;6c z-7p1d_~+FkM!?94^`C)FU=jKN-e-(JsB}SN7n-=yy`@CAwaKT)DxD7+b@;Kq6KqusVvBv z45q>IA%^Aei3|Zl#TBbSs`#s!7Wmg|%(9)_-Qv7E@uR^(`zcmlRqWdsA6DQ9s;>ImO-#+g$ddtUU<7c8D;s!{EG;+F5H8mHI zidtR70&#o_+6<|8VqcAPN57_|2gCu^zZONO#hs|-#gRYMyE%Q_BYq+RIUEoFO9Guf z2o!Un0yJSp*EKJRpngd)yf0kR=%jGYwzKcS+#UIx#c~V-`F`26oj-OhE)T|VGpmvM zY2NTl&+jkO)9@+0$sL-fRA!y*+ae@U#yRq^=b||)NBc%+efLfwK_aiI1Ss7LxS5K- z+)OSWbtl;D?CQ0@7*wZI_(-uN__h*Vu+I$hAho53m9P`GJ(s6T53)T1$!C0Z`gIZs z^`OeguvyImWla3+iPK_y<_n{i# z8z;7uNNleLWp>P3_^KuqgSF_Q)abW&ajo;2oozvd(=r~Y{U_s54-lQwL9!s#_xKY= z8)NRIQ6)}JeL1i*7*`mkiaY*ahbY z_^S6JC3|mOVzf>=S;7SGZR+_=d&L!KS}(%Y^0FR#=OOBRJWApnk8YI2zo8+Cx9(r<8Sgk{iJ9~iTHh@mslYlY z)r*&Sic?GP+!Fdw&O}w$6$d{iX{W+G8x6x*;Q&QoD;%t+eenQTxmcSHMJWVe3^gQt zQhFoGX29DN2P+9^8h>*QJ_r`fqYq})+KS4tk?|PDgd6>0^sTr_H|%A%3J zS?NLTn~fT;zAAR>N}JsJ!F(NZLr6?wZckrWgC`Kc;ni z)d{|(xvMTRm%67r#r=HPj9BZmScAUkVCdzuxU-wgB1QH2ZXF6;;em~@qUS+=ZK=s) zwnmA+X@w~6qLti}H!knfy5aYC<9B&~;xiF<#iaHo*RTbsAoQ>`*7Xbnn8yMJTz99 zwQoK8;RDL$vsTZ8^bb@-5xgGG$M1|F(o>k9Mp?AB1)Od?#BSNDwPf8!=g19iGHRH~ zj=mWl~H*E|*^B9|(|6z`+)HD4Cfc!;%ZH-R2UUACY z&wm0323JY@QP*ZN8m3;eeRedku_sa}OZ&GKl7{$Sc)JLN8FEY7v>#31^u+lI>Wu@h z6iCu8bn_w=8)DOuh&e)O?H&e-;1Bq`u@X%69aIgTF~CH03pRPwv_<%S5t+-aGXyL1 zkNF2Qfx3jrBe+87)OWcU5WfR>6Rec^BQ45Fk6;u7r35)<6{Fr?et7s=+?m6f2!)H= z-bI-{ncF^WzFLl4r8bP$lca64=Q|Xg*@zf^PT8&!qPKhe7N?THkEyOP8$q>GAVlxF>RLGyzU|`&?R(f&M$; zaJIiEz~%@BwT<3U`rJ_Fw!l~dF_Y}XF}@fAhFi&o%I|o0*HaPt*N8HPKk`SgboW03 zV9=bDVlm^DUytD6@b4r2nSaQJ(g|Yrbf>P<^FI>rZulQ2KT)2J_7MEp_PZu!tpEjT zuuI-MV2lVcyulDDmD~eZqGrV-h`ewg2bL^ znD7epLtv@vyzc4*9ws#^=B}#*;gKXhuVGN*5|gd&z335P(sUqRJ&3B8`rk>jVTw z#dX1`aqLvN`L)+1*X-`P<_)jsJ+#`wu}8s%CL2_ZoG~K;=)z<3tQO?Ii6MRF#O)00 zARroL5na>u>?uA02+uWfg-t*5YzqjRX7ZGsA%9327jS5fw&m~pb4Z%iBF`Zdfb_~f;}_}%&KT(;GO{|tjP%y_dgsH)FKtxpAj*) z+u)~=1Vua5&JAGy#Z89*S46I|fzeA^9i4u+;Hq;Tuf_jXaS@JH90g)@7EJ`J1X@q~ z>q@$dX&&R{+lc)L-B4|j%KD7(rvfUkKx=|;?;B>=&K=Gx`RoowqM+yY5y{Bklq{_ zC`O%j+p`)GHAA8~N7+7taoZDx+j56_9LPFLfq8v3xdk{=u@mxZ9e&-qQ9#PLa5L){ z57UIKn~&8}${V`0!I{a0h=Y4J7vD}KRKKh_qUtSp-wiK40!WN1Dq((bvs}@J+w0RQKgc(Uk_ZB!ihr$I5XNaX z?|ow2Tlwfi*$-@um8t(mV6G*)?BRpKb>={#Y(^V{nn=iKtA!Gw7=Fnv%$#W1DPqZj zsD`07_##T00c;HAZrML<3gXbcay%qyW8WC4B6&x@1Q^87gHlv@2~-ROZTJDbFmL5e zL}J@Mg4NzAk?>!PDac))p{XXHccVft4#m}aWAgA+zFi`?zv*Jj551Tn7jMU0 z{S!>MC2cqe5O=rm-qx{0BppJTFQdvu?a|HL(ayp= zpkii_ZRac?Zy&61C^FqTTPM026JPdi-Qr5O#URe0Y*_OI#RO1XG~a@0^xJd_U(PLV`g+lNQCl{Sc`&jc!1}w}jQW zZ}R?vhq=>t(^unQ5};_>Uw*3m!(+P`7MFBwP}0x`yrTk=e!h#*C1hlY5`hoi@h&n9 zDnJp#{UwxqMLbH^gEr=y_sUyAr`(~dw=LsMPwPnPuldD}-)&BSoSg??f7JuSOQvfT z^6E|B)d+9v|In;l|3bO4z*yO>DVx zhF8YnEqGAzChVA1KHt<3ap(Z-DyQ~U5)~tAC&aTXkXfY9g0jDV1BS9NC8E4XV%eMJ z#=(`QSfEZ2pmOFKUOt3$I&j<>OPug4q`{XKt^nkWSb+ahw{z`t2vIO;x{vYiY!pxO zG^7KDr9bi~jjE)T%i(-)OnlvS$s*_S=0?D1f^qqyYm)dU?1*eVvV2(uqy@ELQ#NlO zTDz&oiQx`87O3aCeRpMYrP2U}J3Ki0%<&dAO$=>9q9ovCP74-gaTR(nh1Yln9pjM? zLbBZ%noyx25(L&`YU=N5hgAydok&@&PT4G_ArGVFRTtMC?FYeFnqVq|u3L~NU`DhW zm!VY2m#bfABrDM9Z^NmokB2Dwo3qmWAo$g|(_?TyD_akU1bH*^Jf}EHR#aJj{K2B4 z^+k_J{$qzNX%D7qK}MAwZj+8yl+-??$F3Y|39^{MhncBwhokcIPBr0qZ2B9Vx%?ARxPj! z;wCnLYr6Kwz_$BEj2h2Q4v2STbho^)neY`NDK5I`XTGf7mpY|Pa@nn`iYc=lWnM%YyLo3Z_e&Dxa!>{ zArW4HvY)Vm46XHHNS?mm`yETf9w8594 zkAee-^>YZgCS|nwq$mknfS24nt;gsaoZ%a#(b~LiG>|Ta_w?~>Qmb%1XNMoy*Gn+; zP+!8^bOe=}0~REpVr+Bu-!{?aWD$RXHGw!cD$AkN)n_*15Tx9(_u7O$@T-GglLmh( zN^@a|S!eeQn|@fgsuOzZ z-K4*cWIu-Kn&a2^>m{ce{`En*QdKdK5h9wi%X0 zC1B<3&7e}@5OTUB{$Z3~hD0ALMFVS_xVk(dN5tQy4^8gn=j=6vC~b@Q8Y&6UZzaQd zoJnU@{>StD>wmf_K|}-KW3p^yn*F0qV-5dF=!|a~PhI`oijInIj5$_bbB4J}*etBA z*o744vAd^|A0Gdp_XxTigDVgWo#9 zd+)maJPg;=+Q4RP(_@K-CngU>Vsp@FoA9bbZ#$ey3;#C`^B*o0%3r-=6&EiXVt}&` zXv$8>zbP^C?gj}>HVPnk2L}lcC?*u4e1|_G&)kfJ`hiT>3nfUaIx)th)-8*aWv3?2 zd>Def661#GZVxZ5@0g_xHY)PE8jeaMWb#DuSpA0wEF+Eql_;;;^bFh8Y)i`MHl>S#oVMJ-yM3?E$LmC&P=Ta|C@jNce>JofK9&! zVXSyGX%C6Sx<)|2k0*<;1&XQBvTUj)VMc8?&s+2zyWY3*KxWy0l6=%{65V$VY(Oe?89hj`1(_xR#G{|m z@&+j_1qGq|L*`YCF^i9~Z$D7fOmc^;V{pYVeldq&oi8MNbUExar+qPOnSCS;vU@=) zCn`hhzXDZmzsV^&Vc8ckS&}{mAyBWs60wieZIY)ZzdAv@d1L0JYGyWp!&>|MR9ebn zDB-@xoOCQXu6*E_Ix6UHc_OQh_mV_s6_iX%mwDHLEq1TtIdx^AHNO%~z@^|27f8-b zWZ^`$fT1TyV~v5cmd^aR;U0Cjb}cSU0uBm=x)WR-54T+HI$Zra{@vnxwRVM$hIVy@ zhH7kMr0)gr;>(qd4WM_>)4qJ$L2j;vpnF`vML<3_>G7sj-*|d(_3Bi}?<0Cim&C~z zb3L!9=8zky+bSt?PugL3d+E+Mieg_zSv`8eXR`h%(R1J+2S4;&cHYUUAV$SEFzwZ= z2bqS&jiVKi38?Rv*&9_ELUi7#3xXJKbo(zc2cLV(G*;vC%B{+zEUIQ&><`iYTEC6z z*-f;^DmQNtquoKn1U;ogqtVkl&AN$(7Jd&6jR^dYhb@nbwWXcq-{rX*&AaE+NtMYM?YO2_7VIsXQ^;V4-yEIBO3aY4Vu<;QnlvZ+;}A1d9Kytl~d zBSW2a$(C}OhW%8>XBPuQdodRZ%63}WTy4bc76k7r$$31|@7$VgDHxNKI6qrX{-mR> zvfb*%t!J^jp*&ICE8F#)8JYc&E%a(k87|ve+`}AB>%LTLkguIk(TIZNJr~XR}s@v(l+FdOo7_KIo7;vvI_w ztrztfpt+HJf92$Y?rjI3EZ@AhZyjds(F=#W7Ld?pp5gVXr<+S$S5@d6yXWUGwtp$a z9!kup(Q=(px)hpZYAF}tlGS#4sNXhH8O1M57hj)ymS>@2GR?%@NckNbCRo%SV z?ez3OcsAc1$NR+JY&xIvXRRQYSp*9g7x`R~w|t8tj*;#s#hT|G5leA9>Q6G-&9wi|AgW@5T0ZxiWugh<6kjjk+&=>SMm`&|mh%Y{&_JGtd^v9lpIg zUS1{h9xkn*5KTZhQm=s3^H|p4hS#pPqJCOE;|m5xm;r);k+)LMw1UdCVq|Yl>+_Qz zTIk;zK7MsVhLQeqw3i)E;4>8*b>;sxqpL@@@r2{gWB!!y=-SCdY8c1wOkS1Zg%sop zl$_AKb5qpcU5_uHOLYZ%Yuzj{?yFzGdu^zD6t_Go5EX4mKn*Q*ja3k^#0+IIm? z`}VsERrsZM`HH4|v2(CuEOEauc&>W~SvqEgz2n8W6z$WxTf`kUpw_185_KOQoYQ75 zSAXJqW-QDLyB{zgAcG&|u40c>iCpNB9{o-~E|_0Y*>C^U@jg8o@q%^dW=q}0`SUN8 z4Z+U)$km}nv)UDLf6}`#H!{BF#bV1x_rB1=RO$J3IY+4){R1{n{?jCALi8nb1lRf< z82#*Mt1ywEx~O7y!j01}6hV3^kaC{PhM1UF)X_|-e+FE1QiOtoii?Lzv?G?Q?w8=$KYm5<<$No8YWDmUjs}{3AjdHNV5Oee)i*5>MXj2 zhPF(FhKBohKfiYIw6%PV+R3X=uN-oPh_Bv^U1G?7-m<@cJ3dy$na+5ecq?!2rIz?h z$#fk8Gs5CKR$W{1X(uiFGa*u?{$qJAq9u}o2j!Cc#eWv6LdkZ*tntE_lDkUnvkV(T zR^ARdLfwBZI!NRe*kGL^QZ%fijNSwi{xLiLaOQtp`b@P1cuPoziAZ5NW)dJYasslSk>>)RPMrECR8 zqZG+odxILYGs9L^ll7M0zr5iwk!!c6ky^h)?@!B1fWbW5$VCwKk3V%BDP0xSyQb3ASD zG!Ed)0fdCC=mMsXYD~un-EOv7V{$|=ka{2FR8zujuhQ&lBZt3@lD_74Wvg zaTMCwECr@*E73j&_Y>O*GP15dw-4F4d)U84c&Wj*QBJSWPI0m!coOcYD3mKgpu>okhF==7`d zs~M7Q(1O;?s(W{D6TrXaxZ!_J@(8+>`taj%zKN^>M-JPM8@7fPTN{X1JG^V_JV_P| z>`a^^ z%39Z*m@?9EWh*(LK*DLat}$ZarU$uyQATuU^-yoH-|_-B+)py+YWLykte?`S z`>tc^w9T=>>_Xo{M2L~HFLkIjf4qCggif5Lm{IwJ#H1u%3d8Hko3yDc5Q>DFq54=20=tbY&-RDV9c=pwY;f|JL$!x!I<<~fpwNC0rCP)o7GP*qH zZrH34&re8(Pr`^@GD~@vMHa>dZ?4;B)Gi}evm(=IXR;mYzsd{CylA?Dn8Icn7$AD#D=hl!|Ebe*dv7Q!-9SS_0t7?+Pp4U%I$K(3yEwnJx4Kqs zQ98yNb5i&|W#6vKD|Nz^x$iw5C1sMgQ)Xm*l*_pGref-ZZA1LEyE@v>ZuebA*|YdW zh5c?1H}~~lNiq3BOcWf|_iwRue?e1Z5+h-!xz)0ftMTk+`MoC*S{(Pm@6H7FpZ#fU z{(P@aZ$|pDh@P=*oEkR!C}bys*oxmy+2!ITvPUq`$*1^)>V68NhI4yRz@ATe|dQ6@yYVEI9cKS*`;c-ku5G4jV&_xgh8C`|4D zDdDyVu2{cFLA4iiZmX^QimY;_>HFwi+A)hHk$#Z*yg@>zEvWcTr-jQ=55)?buslv z2y(^qnR;@r?z{E7_H@;AWHZ(GSJOpex7-d4G8Rf}hmLt4d5HIL$hqS2zxYyB+pwHy zBJ82Uk@+4`9=7=7j0Y^N{~I0~bg5n1@u8tbnV_TL|6O|KrncrX)}}A*Q5MxF<9q3< zyj%W0MzTBpwy(h(eoy6-?1^Y)W&x%3k_~k1?fWWkbzUj9ef9O`F;9=``O~?Pb~F8K zhQbJ^E8>f}(-Du~@7ia+m+Mz=&Ua6EjvE}Lj zLF0FU@bmk<3+_ByO9I}?)|8*md1~s_?;VF0pG$_T%agLj%gdO>W}nO7`;xxr$Zj4< zKkr{hS(3iLRd9UHcAoj3t=H~LLKm9T9{L<<%O5VMWnCTZ*IqrTcmw^Tcdm)lRhg9T zb>H7~yJ#C9TlizmodXUpv1i)xID~dOyqeq4_@bNF-Mzsy0YO9@pAC6Maf~sXZeF$P z`k5QWL9T2ix=500{rWn{FGFy~Jv!p`2HbL~X=zthYVM7TxJQ`k_dYTnk=H#nOAml zuEYK{dTv=ytDD~V49#uC3(r&~hk=xQY%tsutZHrCjxO|eUtv%hiIk$JNsk1LSyI%R~^g@xVZ}Ve8 z+`q4!q)7Sq$vN>oE466b}oUd@F{+IU>j61gusDq&3By*HzO+Q4gkv3t-4?^`yLBx6JaCwz~IoKsp^` zU36{8mH&;G%qY@reLytso_f<9i^)hhnafAA<1JjdDP5f@I1$gK4$ni<@b1>k=&^er zb|X9vF*a&-ySv_VtXzoJC=Kf#QAQ-zn*W~AH3MDa!6ZoCp^O-d8(*5%acfcZl_|z~ z$AK4tj0`%MmZ^OvJ9-h4v$i{3>Q24Wp`tL<*)Fgt7QZ;c-qQ09L+)H|Xs3N~%Qr4P zSQmVzB3>gC-N)l8{Vlf_1#VFsdZg(aC$Mp#*7$67K)U#X-s&Fs=48>(XKyZOm0!R) zL$4OROvkbZojb4$cm~L;pTa!AFRF3fo8?rP&;8kEB%QVvR#t5?J&(G@3EVn?pP0Zgc$U_-*| zy@h+75M-PY3Kic$T!` zH|k#_Qw7Bu8d;;12V>PgSnrG7pRAcRqWbwOL5b^w}Z*i-ya>zcq2xI`}Bc&5oet`?HyBiE~{aUXU}!X%Kf%OL3cJmL|9 z1>$3S@nxE*aFcu^Iiy+szSC+^hJ5FV@7!4_CcL;R+PD`L=uooh>bh8B)9jaE{L-e5Xj-uGcSl1& zBV~H;6Gj7Jk=Wv%7JJA0Qy(n6<0!r_v6d?I?ie?>iW>Vq~qI+DY9=O1g08CZD*_ z3fn%>8%>`7+EdK8|2|06tTrb)JSf+8D`$xud(!zJCUH1EfTbp{cr(~u_iw5hclkN2iU*N6p%!Qs$77aR|_Y&RBs^nNw(p_3_Z zr-JMk0^viYvl+}#ub~3#xGqWZMf}#=Q(SzQ4h@_2ST1;0qk@fxmz!_HZ3Qoxs8|yO zy8_ofhtG41EOqn?n$-&_OIsKw*AP2}Es2PXydmMUb(Bh;3QBE7r}NP!yMtkr#2+xgnL%^ zj_S!$e+f=3`#!S0AR;}{aCm-FPVVrLGcSet+k*e+wj{*wbhan^#?z#w!E#Lef6Ccj z$-Oh@eIoP9+zYcPnxm4SwX}xB|J!ydp%#eoYEkOR3P#=@h6JhFb9$V7RAuHQd+lk+ zU{{~qpLQ!{UjK{gT4wKHrxEdV{rI$2ZI0fO+4_g-;+oO+ST^6rZbN84)I*$bp(fg-DUh0d5Rj{MN(njet*ad=X;O!oXsY^)&SErb4*#G2`sv%e$h9`6Y< z`6j>B{ZeD=*R^MHa!JY?B*JmI>m)c%SYb`lCK z^SZW1ie3-9sJLHImW+s>4Dwwhd|G6m$SL}9%q)xu7+fvG;`oBQd+Jsedd?}H%tn>D z7l#onn9*&JR~X_<4k>0*mTyBuGp0(O`{;AKJlZ%k?S9Rkr@lyjclJeIvtegOS$=1j zakWkdX4&H!bc)_HZ1bQa0})AiTN8$%*!~JOHWE|jU%hP?rp(_7zx87s3DB~!NAOC1 zx9xpOxL%OPrEWZ(jzO^UF=%k>g$g8~IzNreDyr4Lf@3t}7RFv8Baw>ZlD(3mkjV2| z3kptWyLql~mAIODuHK>_vzb9jR4VQd)lPVo&LhgVGyHWUtCY{F*^||DcpKpx_4LoE z;CSv)AUGwBr~#y3N2w$6aIYkO#b_!*d%k`7to^- zE&H5&un=Gg-_`E9ft4UbR2km(3UuwBy0ED5chGs!ugp%x#(nKR$L2Bgyjj%ZT6lao z5M}qKHW#_xUDhHN1(B;krIEW(Sf)`JWb_+xl^*WlJyEq-?j8wg zA_}mG16Kl)41JtlgG%ZPO0FBHYXB&Y*Um^|D#2q%YIT<0am? zt}Yz$VbA9W_IoTYHo#gkb^B)iBl1#BiB#+guFR@WWeNjphG~%g5PickuDzvbkK1Bg z*S<-E?!?h>$L*dmo}_u@Y@gk&7e(aF*e99egS9u08H!!`o&C9`XQdZ+L%r(J@esVV zQi9)?_WDD$w);k@rMgy6`A^vM%Xrtlc-8rqFd(2UAo{{_%LrlqHLL8)on8hdW{p?{ z74`TPSuDyU2qiWC*;O24!@}U zdYzTo{=VD(!sdR%W=9_v^L%9kH*a5|iNM&<_GeU*yT^B#BAX{FzMG$=RV5VhoRPia z^1*NqeAfxP&OCnrPnh9^)Rp2}agOirEwNx7>gEA?izZGOO>C*f%#VVzM{Y@0sC??)Q3L z{Cy~ObkjbF<}bF6NM z$9z0r8$J_UDuewz8#*)5cH_KiW(l^?y%f7G8t2#KRR6VHo7}%AMwM@TkAT9vQ@<%R zUgT2X48cvZ!7M^ z3C`u8o$Ic;b5)h-ma1^oZX$5ye6XdSpK`yy4}R!-kn#?v$Z>o1Y&kP{dh2!2ih)7# zwojoe?{M{B&$F2g-o=r3&ZY`S@tkGxDptwZQER@gp+LLNTnk>LwkSw$G8Is88M-68 z>jUg5L4zF$rZxEAisEW>Uaj2OaaxsnqPty|KC_sZskCvkyI5^b;h9?hi`Uh&(P53{ z{F)@K$rcxx#zydu97UKg3P)PHY~G#8I4C_XxOJv6syA%lXyE1wgF+d6JZ9&Aj?D_; zjz#0eaf7DVp}Xf?Lp`wga+T^9#r!^86o?X>> zs6@19e@zpCeZwzG;d?w1Vwt$TvMo=)*p6#Wy<6-$yj#r{9>}rozdndVhl}4J{_Tvq zV@{{*66VWhRgBK7%WH6hyaxxA1b1D>RE77i4EonAmv=ppiwyOH)sGD2lstNDFMsOc z%{3NNzUe!P_YF6jzFkZSJBuCK==w)vVV14baPzGJ+mVm8p@#{2xnl=DoQQ&-(&@3`WnZGc z?|%>_mUIO(#}c%$yz5kW!(XEVFzbrZXpWh***4|X(aYq2jNW>-o-x`h`_gscdsFax zrm@!V)mjYvr(orqNA9jT)kN-5{w(Bee`%|s!_b7Y5_0n6o7*^QjtbB4VFSM^A`_*u zi+>X}cFbvaZTn0Ev}16m{G9->oQ7qV54&8C>GpwzZ1es!_P39zPTTusJk0tXQ8N*f z3ODe?{=S`v-Mni;OXoP3LUU9c{2mITDAAH}3)yG5S-4Yo*YU0QZ(pE>M{&YcSHx|BXD2YdspMGg)N=9vs}rwuG_Jd>L{y+U5k&XwP4ht*zviD6i}4LBqRkn1*}HHb6BFj!7Z&yJ5(4 z)y0Aj@D{p>Ejaz$`FsANPD#?6?rN6k2ti_)5&du%o7O_ZiJVK>tzw2l`xP-_Qm z^Rj4_X-94++zTFdYTcJ79vJ*V#7I!R?z~X~U-7|9mx6pJ8}YwI+dJQS)!8*SBk7i^ z-=5-kqSw53@VnL}<|%vnq{gJ!z>OrMm+UEkY+jr>ZfZ{4(4v>uL7f?q0U_7C`{&47TOdp%YCZMGy8s-?MQj-<``hZ zYc+RvgTn)K>7Le<=A4<(GM-yqJtrpE5@9||zx7kWG%lqi;$2u@0-p|ZU8#=x{OMy6 zjN_2bMEq4v4l1uV+ zc4h#WE55)%>TBLr(X zdWBlG;&nHgSz@M*8GJk1O4xUw)U$l|T-E0++z|`|=LcsqC^^+avv{!mPsn zXHf;(sr`8lV~=7jN1rk|23yW&dS*`?(^ocaG&-^5Ii)RbZjj#Zbm72Ih+t)SVA(R> zJenPxa$j6-X>V>gHJQ{H)p7I>tu9t3*RN5zU-mEMPZVszkGn1IO@0Mi0Lg7CGnvn^ zJ&bOgz*jqX{!jv6MLYvg1^M4yC@42vY%g^x3IvcZhps4V1eX0Au3mRB=L~Rh7ppxX z9&=);Yu~*&4c+KQs=CGk9CUdT1a6<4x>|8cx99_+s0k|jjfKO+hzHMRZF4FFW zLPO`+d&A}6=KSdmUg9laR;OD%9W%1u90}Mz{i(vrR+=xDlGo+0yfxWf$3*fB40iTR z(r7|#(^}1USJSK3Fv2b+dTBeZXtMJ35DFp#R|kliO=Yx6@>j8`N?8a!8{Iyyw@KZi z=enVvq8gJYV_*90M1Sg?G&F6Sxy+>eWpl_*=8+)YWih#+0MW(#pW3M?H z*fex@T~d!%fw%46vyZeN&MI$7z= zD>U~I$NaWnvq549QWTm02R&3zR1-cl{Xj)DQ4=$U2&>6@7208c$ zABX?w1VdFY+BM57TM#~jdfNAGGPby>G4gy9s%h0%e0)s9Ew@97yQSOLw`%`E>M(Gdz* zMp|4a>4eu!M8Swo1p6K?NF)^`_4e&`62QrY+<2#_jCJ@;bTIJZ*0REjNMoWa$S*ZV zF|P1$?{2K<@)6Jd>D`u0`A2Qem;Qm~=~xvVqC&vdK5q58a<06{i+lS})E5(nL8idw za{V12P_IxO}b7Oe0qN$)h>*?#$cqR*%RqRU2`Zw#rYC; zX{?;#s-O3yt?X5^O;I{>qF8q z(l=1t{?KZR=n>q5w;-g^vKumtnrba^e%FC4?)yu$L~tYNMkj@n=H%S#1NSKd#^-Dq zK}!(E=+I*P`-2)k1NMJt^%?3A(vT!GpYc-qi3N}x?vAcE`I{&kD&n8tc3(306<&?q zMu1ve_5S|SpYF|I$TKF_@wIK}DmEvc7@*PK)CEdeI6LqY*q^~WOXjkfqfR7G2rydX zdiwIUDYC|Wo-#m!kcKM^=(eOApO?%VUzvik1~@2qI9vWyxj`>?ZOWzW0M-XqdP@$o zD()co_U1}h%d( zb||UdkBE(K?~$;{23dFYc`*nX;W@7xBzM#Dhwd+8E({n~H+~^&lY=nged4lo<7-)c zkz0ynhJ~D2ZPSOHlyCSQ5TSX!Lb|EE7|L)~2!7@zy_@_Yz*Md(2%r7wc!F>b9}`g1 z^nN7Fq8I$3B=wY2Gd49S<|DePDI=fJr7i%XSxp&x9Rfjbrt4$>O@2pPLYj%u*bcW; zlGN~ku@U(?#sXvzQVgqLu9~l39802Zr+v7T9c7KX)Q0VeC*09Wv%&m(BQ5)M z0c73=S*as0o~j7b4f+Pc0l`|Bdufc46|T56rki{39mtKF{P$MgK2)+!fp}%*g0d=4 zrMP;3ZU)jD)BAT#H8^WN6;keNSse4><)s5Q+35B)OC0J=B=a}CgLAO4p zuPs6Ml)M>17)l!;^rbNYFEb5xtOFZtP@p|d&q31cmf`T~FB&&Ya*In}| zBx3(O`js6B^3t6-Kdt$il>JWch;yup^BWY)*yN!}%F5v4*h8qAoT942l|g+Z^D{1x z#3zbhs)n3PH&AhBQXT^hz_rqy_9V~BaMXu5={l*Gf?&@GT{@QgC>x6Pp3uRmOx~H> z3JR2hT#KYjL-Jlknd)`6d8^oQc@jfkr&afN((Nt{Now*7X9oST))Yg&2&LC zWbC9GD)H$4Li)3347dfblf-|I*BAxMs(X>XXicZ=mtPu#s_vDLb$wxVF=E#q>iM#Rfi4Jxu1lhiwU|8DH$&GcuDSWkC1=B z7|uXH7ekH^g!_<0nxWe>xqk{a6`tXmIUiz2hbQtbWS?`ku+LwDY8t4o-n1RS4i$7E z4U3ltIX;&K0#d5Jky`am56K0PC{W*`Xmo@V6l7T#ba+sz_rnF8c{?g68#1AJunAWJ zg!DNRDX>n=1LQGJ8R?WwSjI@TbwDxPCRRb5qGij5 z;5l|BE(8Xr{k1{9Gpm<)ZIn{nYtse)7cah@8X~Y&45&p`&lcGQTuiU6^s*yIYcJmE z7IkW_`j1-`#;f>(0BOZR*Ww}4g^RfsRm<}&iZyoZA{zVf(fT>k@u2sh-&gAo{ghLt zrKp&JEMPgiO$#x|NpmLGh(h%OUWLd7RCri`Dk2=;l~l3f*U1tO#CI@xe~$j1F(9OSW;dKyJggqGWS1&XKC-=7OB$4|bP zjx?gHg37_8KQ9Z&1d!!I0)O!!sy5pkBhP*T7_LaT*H?9497ye|;$*_GUe zz`HPELhGBkLDlk98$&apqoW$+B=j;6sVDi{W_R1t%LN9@4;+;%f;19)82av7s6Du| z{{#(^VdR85l!7wI7+Wf!`v~VL(6%U=bJgVTHNT~!c&a_Kr?Ox12$=9-#t!dqFB=&R zNEipn&>b~PhIODT$KPZu*zPO;Kr8%!&z6e2bg^KL#6qMPgrp{Gtl~9U|zimnSc9%#1#uVhY^Oac-=LdsiDR^jpv43V zcW5J<3JUSujDZv;;H`iHr$F-=IWv%;kEvP8MVbY?P%nW!zn%|9s)6C&VGvKcK-(YK zLjVp>Szu$R3U)j~MX}NoD5C?B!p&$Fl6w`w%m&FC>V@kVO*$EUGw-SgG}DV&@BxUd z@F^#v+F*vhRvZb+Qies}K&uCpgDB~@UReiKT_-dO@L(Q#qX24IMmGlvfY8;>7Renc zI=V2fOg6$c2rHuo;OD4?xS3r`^bQ$xq}w9us8D49tdpoV*`UfMtBb9^a&eGwQ9Ot( z?#eG#5}rh$6Wvg(r}uKRJT?ib(rrX(Hnc-J8oHT%nRDGLpnqN};iDaoKHR3ww{Icq z01NFsMg=RK&5p9=bogndIV_VO)(Kx^nTm9lERBs zQT8Oq!qjtZzI9aiHOTLcoktlet;1DNM`i~u9Qrn>5`yl9mpDC1LzyUKo<^Sl-Mj0O=Vc?K1l$brzm5S4%4 ziNYpEhNUN7fLcs||JwuA4%00sFSVTc>Z+X}1y@x}kIp>t( z$UDHda0&3O!QzG}gXM&;iiLx%Dpv5uNKL!YihVfrMh}tI*dw_I$@0!kKL^j#~ z>)ug$kt2U~x5)jE`faUj^AHZ3s_rGDP3*YMd9AhNYJn-hGqu1qt9Unn8kVF6ZF|Ts zH73jK&;UaynJeQpeu6$7Kvge2&{qo)*$FR>CYbGHRUEPaQ}2i zyDH)Z=qZjv*k)0*ju|)-p)r>-x#^!irXfnfAZ z3sybe*zxo$@#;#*2AU}=hX=ID<@xXn$h4*5cl;WO)h#gF za$NdW_vZHHq|4vG_w+yclli|snxW)=6e9+YT+hQlTx&M1wfC?)>E&_OTiVXU%K<%` zu|11v?e05k;IIGR{^J&FeY{SFr(tx%6OEP&skz*OnRAC6^x2v2agQGM>fey6AZA*1 z=|U-y_T`Oin)l^T!|`6lIQPZ12j6y@Tyr>}^R!jZdB|wO`LXUBvCX^5TiqQqMb|Tx z+?SRFfmNI5ARF(sx#*p6&X?cuG87&bJbh|w`(%>nsHrgq!z!Y z2p!5~V)0*-OB9XcKGm{$`c;6+x`dn;fomhKmPB@WNC)En7`+d1Rk#Qm9g zY-iKi;j~$u;il;6nw*Z=kHp7fzOnq8t&0>JSEV-%ypE;)aer>?9Z$LayU}HMtn7b3 z^|Oa#r7-|-^C$c*=Rcu!`s~^NkF39=DJ`x|uMS>w@agDxjR`ehmQ9(hvWHdc*B!ab zhsQW}9*Gj&pYN!y5O@< zPK^85xZRb*ZfhH^A5=ZL#Dh6Hu|}S{2_KqrKUpV?8eCSpxoEvdUJ@<1{Dh=neydse zjgJ9rS0_9(ZtDziUfbH5ea3P3#wN4l|5236p8NcsRN*dw&u`29&?z)#@s8QiupV#V zS6ci!QCOO{N9t*fxVA;Q@ky7YCEHyoFBczbX^ z)h_n2&^7jZoCP|aOtxe_C53=FOiqrqt$&@+m6JMrTk2|rU7N~O`g#aY8)_cP3miIM z99`}+vG%w83Y}%<4?eoX@>{CccV>-aI)#^3OsC>6ogb}wAFSUYN5BLY&3+7VF-T?F z+4Q*04|npMu*G6}i?RDNmR9MG1KOwtzofJF| z`SVQ<8GGG4TmiJ4@RTHalf%FNSZH_#V3#ddx0`z8SFC5(goDB z{%dv)ydc8b%fZcCdLR1tuMyv1KFujS}ZPyj*QPJY4_Vu5ru> zvrKSow1CjRCM&YgCo?ww=Mw+*5cg+aaZG$!vxYZs!y18qtwY-K*CD)}92|VSrRo2n zzuV&1tNi*pjK3F(-?;X_y&U7$1%7@0{_h3sSm+D<{WSisQ-6KT_3x=T4#w19AA0?D zg Date: Fri, 21 Oct 2022 14:26:08 -0400 Subject: [PATCH 3/5] Add files via upload --- .../UnsaturatedPledgeBenefitPenalty.xlsx | Bin 0 -> 12187 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 CIP-Fair_Stakepool_Rewards/UnsaturatedPledgeBenefitPenalty.xlsx diff --git a/CIP-Fair_Stakepool_Rewards/UnsaturatedPledgeBenefitPenalty.xlsx b/CIP-Fair_Stakepool_Rewards/UnsaturatedPledgeBenefitPenalty.xlsx new file mode 100644 index 0000000000000000000000000000000000000000..b15d4355e8ffac0ee05542896471442736eca56e GIT binary patch literal 12187 zcmeHtg7Mh}%$%;bs!sJQCj|kC0e}X;0ssJFKn9(qjRhD00E7Yn&;hXE8bUVKjz-pw zIv?F^jU2QXT&*mLav;H}vH;+(^T>6pu3M7r8_?4>+1>TBEp@t^dl;7{h5#qxS zOTSgMh-M4yb}bZYy=?4$dzL7PUgvK~Ea-`fq<5aanaNPbm!^TWFTzQsrDO&-JR~FZ zhH4T92yfxLm_kx6LR$B<$Ge^BA6sa|%_Q#8LAKh9dgucoJ28S9Cml`P-wp<9`7Tj6 z(ToW;tAWUZ69Dlzd%79ZGw3Em&uokOp=JNE*aoZHEe{U)+{gC})vDG(RuGsIG!x_e z{$VJ#;AIP4$fJ`=4u6gNo5>90t9!k?Kmg?a#?g8uCeo|dPo!Tdi15l$9eX272S$cJ z_W$GNe=#Bd<*%2;$;kf6&Bx%u+qrKsKtU-N0r6JikKVo#t0?u6xny|XIw?WGkGKI4 zVm|HOkHah9xFe4SiEp-8%EHkwxJVmZ%7c>c?VMm}DD0C&?aDU$P@U(l=WafWNxD%v zw@1^IHWg({4Xu-k&ioLr22L=j;KHHjgMu)5KKrTn%c!mC-&KIk2`ZkH2URt)WgW#& zeDPUGDmX;q3*nIdKK=R4po6~2QibQBCGqu7TqQ+Q4znu#40}!zHyuOEu1n!Bo#;=V z^dHg&6-Zdn?wBXU2FSCnebnn%evG8M^|8VAmJXf|`G*r0t-YqJe-^=91#iC8PiY?w1)aq;&4?rzOtZ1+J+O?5(=hM@$G1Oi5_Oj4x3bO7$& zHF?p%kXoiR0y9S+{i+AUozLrbeOGy~upTIj3HWI4Z(n{4G)UYl%QGi3SN1a^HI#Ud zxJ#;BZ^)v^VbDTXbND<=GJ{Jg%DQ8jFcRm7~`nbRqfJO>x|~j`xpulxpD?s5MM5tA(`DLiUPoO z$&($I1xXLe!#WqfWk)d!A@|s$2!>If_93Nx@!jq8N8Qhyf)y{FlZ5T|AWe1I*vmQG z4Z`}~5nmy4d=Eh{Qvh%H=HsDA|N9XNQ%Ip|BQf-v;(a8>t|RvjJR)wMK{s+eKy&7s z)S)nQ%uvaI*_+uHC1rZ&1O#BUQ*Q^WCUX&f3=jmPo*Lv>uKaOdnKYb19KM7G&yYkZ zz@M*H;46!Ev?wWKzF~SxAhcruDa||eP}63GJ4(Ij8Jar;v*}r3XdxEP{%;SJv0z)w z-*+3Qr~Pk@JfWzY@+V?|;#@H{$4+pllshAflvC_CUX17cepmy&uH2LY++m~(4g=u` z6QQd=Z85q8@(2t3SvlADm%2Vo0^{8ETMAm&1ka0Ngr6=aOkJSzUB%Uew{+>xAqralVH zj`K%tdWV9$I~>nJ6hwP7TLu@Fp9Knf+@cT~`;F%*iWTDrhBnmD+)v4#e6V9g)@!QM z2CEguAKBy(3J{m=OqUJ$JW^I2(I0XNB{CbH-!iX2-CcO6SUN|zJUkUT?l!}8%_zw9> zHojL{;R0a6UMclw>iJh<{WA@Ly_SftWBiV z%d0PAA76knJ@KB1Zw4b+!H+MYkti%Xdi=$rwZxo-hwEu7b{7GY`Fye;O4zT1Lit>S zG8T2m=wU4N1~efU|DZbjV=M`~<~>eF8XvS!ANoM?n;mwwz-AqEQG?P^m+b4l!F@RN5i9@0%1yb&<(z$tj{Mov405x1hzLLPF5+X`UrXBAe&)*)i zuEs6FEPW9Zhlb{t-7!UitOOL$OK@p4sS}fCw+h#U3+DL|P~u1=x7owVcHfxc7~f+e zD5NP6_8T!^R9z&6qX+NOoVrQT^ z;*x+Z>q_d5vqQ(VZbxZ-h~_2WY}aG|EFF})`Ki%mdQ*eUIao~pdu+-DZiJTItkBl{ zEMNB`5Y7byP9VYkGs2qVXaFWxAvLm7Md9BF<}x;VKv%2RK$$V>_PdDp6 zZO<2(KYGW$y-4tOdOrW0*gk$3Ij&?f3|Rb5pwspxvyG6OhRx;fD;Mu`he7npS?j=w z6w?w6di_$6Eb>>%fvtGOJK=}I2Gy%J`;3aV8qSKnT{i=|3A!Y)r3?R19>&VM9aT?z z_{=7Kx2@D&x9vhClknXimTujF<0G`Z9GIDDJ(O*#1ls2)Zf9!~*dmt}SW7*W2)sdo z!11a>S#zh9vc9%fgG1GV=rjrhj<3tM{j{NIPXRZFPk9d?mv|||o6-7pT52Hj)Sx^tZpBHYU!dM4unYf^BpVauZT z;Wy)zOgc|^pLNvj9wWPW%jM@R84te00OkTdp+$P9I6KP57^(vV+u3)5H%j}0!DV-$UJzDZ^AJ*>748rdDi$q44 z%##;iX~p!-^%<=_(V8 zjZ38R3#+`3p5k25(%v;^RqN)QwXC7BFI!4O5NZi6RY#O5C-Un&n2bjv5_OEOycoG$ zSjc2^(a~AYVD&)Dyd5UJMR0#HzC{l`34RJzy8C*V&7buX3dXaW*c;5s`S#qp@%D=C zah5RF_~m}T^NcTz7x?gi&&zx___89Jef2H~ zjWAE%RB4*o8fsXUpjeMo)d;GXl+`{0Pheljt7%}bVH>x_Ie~$>;%yQ(7nOA=WISRw z!+Wr!#OHmSr8jQh%jI7@8@*T3<>HR7jp>darr65DZ9juU29_@)q((aTnoe><4$N3hx#oJ{fy4|7uZ5+e z8{?`XlXGq9HU^O^$)djl;@jL#qtEZ|>B5OKHe&az_x1LZP>Fwc)>(35ilTy62S1u%Xh2 zZul1nyxlWQ|ESi>B}!>k7c&aoGe|`TS=}*yVm5Tbko!KC%h6k>C7~Qfg~=QS3zO2b zdJ`Vb5WlB$@M}^g4g+K|T3UotYB+O)e>A2#s6Co?50T@ODw||wf6~H?!&z&{ylG?= zoar2b7mImrKDjnoT?Ltt{};ngini~cgzF&vr7X(xSf$PK-wj4jNgy!z-PM5-QQjly zN+h+lIA+zPL1_iiA{v8hUJFhH$m20UCSdlXlFTw|36<^|iy~Bi0=kgp3oqqJH{oxq zFPq}j37Mg)1QGKZL6qkQHbp3>phMLiIc31)BAAZh%loGn&?0uvU7&An!7@;Gk#cY_ z)D6+9Xi9$(p%Pr`U2*sTXEo+d!%#nLR0rOQY&ti>tuup$a1$zOIH-OyIY>u6Wbq1r zm-`h4xg;+i!Z_&C62m?s+$=jkD6lR!uA;Zz@FaN?UenbdK|nsYh#R{;K+1m?*bSw- zEj~~)&h{kSG>DiMz!2MA1RlYrC_5#FK#w#}L4M>9St-yNV~t-p1f#q#1;{Z5(zhrs2njxlE4n1 zY+b(}eu(&-xLX=}f+}ov(+)<~Z&X1ubIyI6>Pr=MOU$I{LB>MpowJ`Q1t-0E1 zPe0CO(yNGcfM1c{4++RJn`Mae?F^cM_?dX);>Q~l(GxVWeqUZ1arDTl`1+4lKjBdK zfwrPK3hJ%`Dpevch#!_m31{*zL1GfZtHYpRlhIDRCSiz>#I?zMu*surgwJ0Q13>P& z`D~7+fMDNR?L%Ld4V#Z6+)7-+00B|<6IckKb$xvua@wFUKcnroLoMjMzMc6tRP-do zU|6p=H3e-RSZW(nkO{P#M?4rq^a2Zu@0CH;bexW2@8)k52;vW`JDVy+rDW!qMA9Td z1TraYv;=}>)TMN|cNg(HqeC;j54MZ7Q0D_5fB~b)W}>MFah71Gh)`mQ;x6lX!t|74 zn~TwIF&n+Yb5MobIYN*lH=x(mB1D^hRznJVaD>|2!*$^ZgJ7-&OYE|OI6fqmOiAFe zmu+iqOXv27N|QN4Bo9K#CnMxuA}A7b(d9ajctZvgEE6?`dyETSuE10s}G z8*H_N%BcZ^JA!Psp|*ha$^!FX+bUfhar#JNOn9ykxOsKJ!UekTObEN9z`=XO zS*EHDj%Yj=cfEV|sDbW*_u1`2{T}J{(5sQd0%XHrkR|Y%!S+nO98%4OY39Yt*&r5@ z4;tbhqmquIvBEx{$RVGD)#p#izCG=A9nbn&3FeY(4-B>MiYo1LqJk*`m19Ffpi_On zYfUP_9|kLg2vJ7#pUO)==exjN$OheI#iLg6$*4h`itZAj?fUj>K~)HGm_`WOaz+V( zk6M-qxD@4?2iwbqU=}{&U?jvjH*}Q?v2Q4cqv~!EiS^iSL?d?wtwi<+ko6FEB_RZx z&gR&e^Q&jEsvR)+ns7(bN@@n%c7=km*Y)TotHJ7+UU6@51_p?u_$FEdTykxJp|Y$6Ur%pS;X)TnyQE+<%+(06X5G;j7uK?^!eniGDSd;>ae z<&T>obHSU4^p}NnKx@93v0vxNK#k$o88kMtNZSr38%O2Dxb?n5N~j=8aMg0VrYFHf zX{%S4+B6jq)W|8wE#AW5sI;9D^LYGHqq6|pgl7~WZ3v-IuDqEee;Fm^{iDqOviSAe zoDb*a9jC!h!&(I{M3> z_aRhAy`2N#7q$EYteXI|JAx3k7!FCqFcTmL;P~@QixyR#%a2 zbK!hybi*mibuS^_X?lo7Y*Y(O{tis*5U#) zw1*tpRM9UgXJIqkwNpwAU`m2GdKGWF_e()6stuu;A#*mlc;VjTNE zDlk&(;PG4;<@2k%_p7+K920==VFG^IEDhxFtw$mWWFd;n4-Vm!2s0}rBh}U+6~=1$ z@}e<1^KQ>qOu9G(;Tsl#fd3TX8=NQDVC^M>79GL_{O9J6%F1UQXOY@kUGXD&>S5vs zI*Kb}1i~4DmTWWk^Y|g}-p;JjUL*HHrzFlR2rEQ7uBV>$SR`>eu-1S5biD& z7po?^-DuR!?fv1(N+Uk*6&(-0YW+?!@k$oAF&WX*fxMnrU%xbcnwPZ$jzuu+%6u%) zMQm}HaC?F<9TYuS1I;uyV0EstZO-rMaF@Ub`FeVCCjwC%IpD_dZ4X}fhN7SkQ<_3~xuE4%GEEc2Zj3SWA< zPMHZZfdJ0PPZ<<^NWCWQg#*mEgzv{Q=g3fVHe6yhu?dccS zT}DF}t`MSSumsIFAC+*p=gIACi;0^0(ev-)OD(^|!pC85AQzWu6;78*!Udy`6`?u~ zuoXNv+-djkfnfZ22Pw|tipF`7HMlS&ajw1>u?m8#-%^25hlvaES9&4CS-eZ`GxY6~ zH}Ld_6uqIK!-SyQTlP{cDG0No@m1G&!~TI_N|5kFq^UbINko6k2T{H+M@L(2X8E_| z@k{tjK^*cf{3?f^_FCAu@zc%fUyAC4dd%691LuNpLe0LV-z5B0>E&sh53k5W=1C9R zV{v4O+B=iCpeNy4?rJK>i14_j^nEi3}78#M07mCt=a*1g|?oY!?v^(z8Pf+*R#h644Syf-t_(Gs~diQn!9j zf+{2i=iiJ}Mtlw*(LtW49nqk=Weq=Tr*)?FMl-EGr<#O|a46QDO|k56t_mzW?o99g zIC9z*DSsxSni%Vzv#4*qL6t*~@A*z(J0Sp)liGIuSim*$2<+jg_~EK(eo8fGX-ry7 z>1q~)IdhA5fmv!D!dVvKxE(3wtlnr^hm7lFE7|6Kr7_zw1~N~z(+R3KUQkY6#?yu^ zlODa}Hqa}RgFv@Kc|{?O$9Qe~&~yLy8iJCTqYfWHZt zI(2;p`v=T&@vvIFY6?&WnP7oxcey6#k~$j5(5F5GXobc#fY|&z-f%{JB6(M!$iaPLw~p-_E%S zxVcrn#PVR>t_zKc#ZhZUmJ*Ys$pDTKRPnQL3{*(wbE2#;S~t|!$W(yQRvsB;JpR*S zQ2SFE5j7D-zk=VIo+wrvff&;=t}x5xobvRj%Q#6(0A|jpEcAF*#7V&0NpF~5OL(=? zkR9Sx)vwnx)<_+jRo(WoDYt8G9@Ia^kAHsS8-&cQR<3S)SIxj}nAB)m#qmCyvr9|3 zeQ$9;ew>=Vp3MC+D|Rf#pAt*3UoL03@5T{rzhNmMRv4@*ZzSk$^tn`1#;1(Q7frw1|oMe@>dk!@;_XbqFbEE4y)uXfm zPOc|<>Ki1wgBC0rX4-R4ztK6kj2y%jlCk;u8`Qv5`BN-S+BR%WjG3*+%En_@gL{$d zpr|>qwdXuENMH#E?V-en?b*h*@Nkjnv3{y}f9qS17UvD){Z0JKmg#-9m3@oKnw_Ld zp^J0R`{ajCxZ%#!l6w4aXQ?G)^5#p9?+rIfS-b05wIWd%DjN^SRWGLSuW_Xw3g}1% z9&e$`+C$n3icUf@gEs5Tb!fSRLtO-_`IOB_**(R1T})}~ZQ)r6_;qc#)=Mr6$q%FS zgd7?Bd6S4^guhkck+_hn9N{QRmD#lTyH~F2I~IXx-K2DW8e4-P7Ojp=$rbk2)T1D>9kURXMOU_EXI)1$u&WZvB@ zX0ES1Z&-W#5Jr8=@VJ$=GW6{3T9j_eCcJ`w zn{2=4SwMcMFhL1&HH;4OT1WP(bm0Sy5V6Z7{kd?HQVboemJ%6^tp@kr3!-Qfl;S~iQ8#&eW1XSuUaEI z&XYe;Hlr~Tq93Mq!9XnLXeheDaVd6;t%?g0*U0o9t*NaO!9t^IMlo;6L_Y}d_0Ufwm)4O{kj}5sssl}PS<80iv5mB{;UP{wI3-d^Q zD~-Tr;EPFVxd@ehLW_tRu~}hkY50J3QXegtJ*TJiIh~DWwi{rs5AB^VZRoaCh)JSt3PkAfu5y-kg1-T^&eTsF-aq8h95)tC3Z1j?j>UT zbo^W{4RxEV41lT2F-8_g7;8nm$OAp}MpML_B;Rw+>$DX`mamodA-4aJ`6{25z?nhH z>s=bdlf_|&*VDymz(_&!sjL&%Rk35|^iD>U%{nNx#j3=?>#%k=(3|F)TSjH(g{S#= zacN=jX6pU!$gSS@Be$Pi9eXoQ(${93g)A;sr!K7nZ5qh7148kU`5tQ?$y%7O$@Mb0FoF?SZ0tQ9YnQ4p;}^9?_^kN&pj#9`dgX zwOGcCquMF$OdfhSJ>NeqA^f`Vi3zJm6V`!v^!1JOox=GEqvzbdz7vZ^%U&jPXW=E7 zlBQZC%p(5NXRXqhD68Bhne`YY59i@5OH>+(U;#a;4`JDLg9_?hSusXCkT@8;@!?~W z%$^j@!;aX;`6iZ6J1fTS?{cTd zk!4j$vXp-cy8;fDb+l3CZ`WL(A85c3ybmOcdo41R48srD^98KCLt;dNBezlO!jUFPCMt`;FeJ0GJamslNjOLnL9wU3Y!Lhs@JQHI*i<9fJZ`9Ma4*P+!=GnN zziYJ}V&A5f?+AdtwPuMKEI6sL;pq20MszR`WCSTHTHR_%5M6gjb;5+S^B& z)A^6SMU8UZ@Ac|e&#zGm_^-aDXKVXE*Lt0@e{5-SBY(J-$gTLJ&<>9iJZ$#xTS4wV zaN&GRRXmev)h6d1oSdXelemyLa9ZcfrWW3ghL*)LuX#a1EFt28cuhl~C7qV)n=Lap z4@U-OGIYsp17AT)u&@i*kxo&ECK`3hI5TgsGtYbq+Z_B=bqf1yER*3tCo%w{20gG(l~-KQS4Kd zcdo78NCYvynW69MpcK%m1)u`HwAMooAmDB@z$GIiKSGoPC-gOYk{bim8r zU=Z7m8;D#8ESDIE)GzzM%Hnl`mzSrb@7{~+D<^@8*xLcJ7^vr(o6+w2+EMimo8PrM zy2)_|jIgv>;tJ-6qx9-K#5RcWoNc^u(B-wtUc9&Kdh2=?5)o`2={n_zSKFOcK| z?IX@?axNf^i}WESs~-4a#<4Sz+v$m3m-(4m3GcW|(kNp|Zy(JkxPSI#z`*HW>!bfH zWd7$Z`seXK$eQJ({%+v!D$9QY|2XEo7GnRRx%?gYyYlQW=n(Y(2_F8bL;D^4ca6mu%J1#1zpOCg{j&0Vv+H*QzptnNGVnt1 z%fMf&>))Zjm%V>M<4OO7{$2$CZsGUJ>MslS Date: Fri, 21 Oct 2022 15:44:04 -0400 Subject: [PATCH 4/5] Update current viability point to 1 ADA --- CIP-Fair_Stakepool_Rewards/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CIP-Fair_Stakepool_Rewards/README.md b/CIP-Fair_Stakepool_Rewards/README.md index 4ab13d9b5..d59bc37a7 100644 --- a/CIP-Fair_Stakepool_Rewards/README.md +++ b/CIP-Fair_Stakepool_Rewards/README.md @@ -151,7 +151,7 @@ Current stakepool viability point: ~625,000 ADA Current stakepool competitive point: ~19,000,000 ADA -Proposal stakepool viability point: 0 ADA +Proposal stakepool viability point: 1 ADA Proposal stakepool competitive point: 1 ADA From b6f882dbae693088af8d17aa2c03f64fada129e3 Mon Sep 17 00:00:00 2001 From: TobiasFancee <59149844+TobiasFancee@users.noreply.github.com> Date: Thu, 1 Dec 2022 14:05:18 -0500 Subject: [PATCH 5/5] Make changes for merge. --- CIP-Fair_Stakepool_Rewards/README.md | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/CIP-Fair_Stakepool_Rewards/README.md b/CIP-Fair_Stakepool_Rewards/README.md index d59bc37a7..a1f12e8d2 100644 --- a/CIP-Fair_Stakepool_Rewards/README.md +++ b/CIP-Fair_Stakepool_Rewards/README.md @@ -1,9 +1,9 @@ --- -CIP: 75? +CIP: 75 Title: Fair Stakepool Rewards Author: Tobias Fancee Comments-URI: -Status: Draft +Status: Proposed Type: Standards Created: 2022-10-21 License: [CC-BY-4.0](https://creativecommons.org/licenses/by/4.0/legalcode) @@ -171,6 +171,16 @@ Implementation can be staged to reduce shock to the network: 2. Increase k from 750 to 1000, decrease minPoolCost from 100 ADA to 0 ADA, and decrease a0 from 0.3 to 0.2. 3. Remove minPoolCost from the protocol and implement the new rewards calculation equation. +Each stage will be an individual protocol update. The first two updates will be protocol parameter updates. The third and final update will require a hardfork. + +Before implementation, IOG's engineering and research teams must review the feasibility and potential consequences of the proposal. IOG will create the implementation for each update and decide on the time between each update. After approval by IOG, the following will occur for each protocol update: + +1. The protocol update is created, including all necessary changes. +2. The raw transaction for the protocol update is built. +3. Genesis delegates IOG, CF, and Emurgo sign the transaction. +4. Transaction is submitted. +5. Protocol update is confirmed. + ## Copyright This CIP is licensed under [CC-BY-4.0](https://creativecommons.org/licenses/by/4.0/legalcode).