From 54fe11608cd36f66260e525217ab32b07efaec62 Mon Sep 17 00:00:00 2001 From: Andrew Chow Date: Mon, 8 Mar 2021 16:49:33 -0500 Subject: [PATCH] Add minimum activation height to BIP 8 --- bip-0008.mediawiki | 21 ++++++++---- bip-0008/states.dot | 3 +- bip-0008/states.png | Bin 46310 -> 60743 bytes bip-0008/states.svg | 82 ++++++++++++++++++++++++-------------------- 4 files changed, 60 insertions(+), 46 deletions(-) diff --git a/bip-0008.mediawiki b/bip-0008.mediawiki index 7b61eaac..59bbb99d 100644 --- a/bip-0008.mediawiki +++ b/bip-0008.mediawiki @@ -39,6 +39,7 @@ Each soft fork deployment is specified by the following per-chain parameters (fu # The '''startheight''' specifies the height of the first block at which the bit gains its meaning. # The '''timeoutheight''' specifies a block height at which the miner signalling ends. Once this height has been reached, if the soft fork has not yet locked in (excluding this block's bit state), the deployment is considered failed on all descendants of the block. # The '''threshold''' specifies the minimum number of block per retarget period which indicate lock-in of the soft fork during the subsequent period. +# The '''minimum_activation_height''' specifies the height of the first block at which the soft fork is allowed to become active. # The '''lockinontimeout''' boolean if set to true, blocks are required to signal in the final period, ensuring the soft fork has locked in by timeoutheight. ===Selection guidelines=== @@ -47,15 +48,16 @@ The following guidelines are suggested for selecting these parameters for a soft # '''name''' should be selected such that no two softforks, concurrent or otherwise, ever use the same name. For deployments described in a single BIP, it is recommended to use the name "bipN" where N is the appropriate BIP number. # '''bit''' should be selected such that no two concurrent softforks use the same bit. The bit chosen should not overlap with active usage (legitimately or otherwise) for other purposes. -# '''startheight''' should be set to some block height in the future when a majority of economic activity is expected to have upgraded to a software release including the activation parameters. Some allowance should be made for potential release delays. It should be rounded up to the next height which begins a retarget period for simplicity. +# '''startheight''' should be set to some block height in the future. It should be rounded up to the next height which begins a retarget period for simplicity. If '''minimum_activation_height''' is not going to be set, then '''startheight''' should be set to a height when a majority of economic activity is expected to have upgraded to software including the activation parameters. Some allowance should be made for potential release delays. If '''minimum_activation_height''' is going to be set, then '''startheight''' can be set to be soon after software with parameters is expected to be released. This shifts the time for upgrading from before signaling begins to during the LOCKED_IN state. # '''timeoutheight''' should be set to a block height when it is considered reasonable to expect the entire economy to have upgraded by, probably at least 1 year, or 52416 blocks (26 retarget intervals) after '''startheight'''. # '''threshold''' should be 1815 blocks (90% of 2016), or 1512 (75%) for testnet. +# '''minimum_activation_height''' should be set to several retarget periods in the future if the '''startheight''' is to be very soon after software with parameters is expected to be released. '''minimum_activation_height''' should be set to a height when a majority of economic activity is expected to have upgraded to software including the activation parameters. This allows more time to be spent in the LOCKED_IN state so that nodes can upgrade. This may be set to 0 to have the LOCKED_IN state be a single retarget period. # '''lockinontimeout''' should be set to true for any softfork that is expected or found to have political opposition from a non-negligible percent of miners. (It can be set after the initial deployment, but cannot be cleared once set.) A later deployment using the same bit is possible as long as the startheight is after the previous one's timeoutheight or activation, but it is discouraged until necessary, and even then recommended to have a pause in between to detect buggy software. -'''startheight''' and '''timeoutheight''' must be an exact multiple of 2016 (ie, at a retarget boundary), and '''timeoutheight''' must be at least 4096 blocks (2 retarget intervals) after '''startheight'''. +'''startheight''', '''timeoutheight''', and '''minimum_activation_height''' must be an exact multiple of 2016 (ie, at a retarget boundary), and '''timeoutheight''' must be at least 4096 blocks (2 retarget intervals) after '''startheight'''. ===States=== @@ -64,8 +66,8 @@ With each block and soft fork, we associate a deployment state. The possible sta # '''DEFINED''' is the first state that each soft fork starts out as. The genesis block is by definition in this state for each deployment. # '''STARTED''' for blocks at or beyond the startheight. # '''MUST_SIGNAL''' for one retarget period prior to the timeout, if LOCKED_IN was not reached and '''lockinontimeout''' is true. -# '''LOCKED_IN''' for one retarget period after the first retarget period with STARTED (or MUST_SIGNAL) blocks of which at least threshold have the associated bit set in nVersion. -# '''ACTIVE''' for all blocks after the LOCKED_IN retarget period. +# '''LOCKED_IN''' for at least one retarget period after the first retarget period with STARTED (or MUST_SIGNAL) blocks of which at least threshold have the associated bit set in nVersion. A soft fork remains in LOCKED_IN until at least '''minimum_activation_height''' is reached. +# '''ACTIVE''' for all blocks after the LOCKED_IN state. # '''FAILED''' for all blocks after the timeoutheight if LOCKED_IN is not reached. ===Bit flags=== @@ -93,7 +95,8 @@ During the MUST_SIGNAL phase, if '''(2016 - threshold)''' blocks in the retarget -Note that when '''lockinontimeout''' is true, the LOCKED_IN state will be reached no later than at a height of '''timeoutheight''', and ACTIVE will be reached no later than at a height of '''timeoutheight + 2016'''. +Note that when '''lockinontimeout''' is true, the LOCKED_IN state will be reached no later than at a height of '''timeoutheight'''. +Regardless of the value of '''lockinontimeout''', if LOCKED_IN is reached, ACTIVE will be reached either one retarget period later, or at '''minimum_activation_height''', whichever comes later. The genesis block has state DEFINED for each deployment, by definition. @@ -153,10 +156,14 @@ If we have finished a period of MUST_SIGNAL, we transition directly to LOCKED_IN case MUST_SIGNAL: return LOCKED_IN; -After a retarget period of LOCKED_IN, we automatically transition to ACTIVE. +After at least one retarget period of LOCKED_IN, we automatically transition to ACTIVE if the minimum activation height is reached. Otherwise LOCKED_IN continues. case LOCKED_IN: - return ACTIVE; + if (block.height >= minimum_activation_height) { + return ACTIVE; + } else { + return LOCKED_IN; + } And ACTIVE and FAILED are terminal states, which a deployment stays in once they're reached. diff --git a/bip-0008/states.dot b/bip-0008/states.dot index aa919ffc..86159787 100644 --- a/bip-0008/states.dot +++ b/bip-0008/states.dot @@ -7,7 +7,8 @@ digraph { "DEFINED" -> "STARTED" [label="height >= start_height"]; "STARTED" -> "MUST_SIGNAL" [label="height + 2016 >= timeoutheight AND lockinontimeout"]; "STARTED" -> "FAILED" [label="height >= timeoutheight\nAND\nNOT lockinontimeout"]; - "LOCKED_IN" -> "ACTIVE" [label="always"]; + "LOCKED_IN" -> "ACTIVE" [label="height >= minimum_activation_height"]; + "LOCKED_IN":se -> "LOCKED_IN":ne [label="height < minimum_activation_height"]; "MUST_SIGNAL" -> "LOCKED_IN" [label="always"]; edge [weight = 1]; diff --git a/bip-0008/states.png b/bip-0008/states.png index 6477ed3afbeb8ef95d9429f95220272f2eb6e129..f15efdbc17c3319e54b089863cef649ef8d5df3c 100644 GIT binary patch literal 60743 zcmbrmbySpX^e)V+B8mvo4N5lx(xotfbazR2cg!FnB_-V;-ObQ2D&5^MfJk>UFu?ct z;(LDUeCwRGzO}yb4_Pzw+_Cq*?|tok?LDDN3R2I}NzhSHP@YS_2dSW-JX%3P`Df(G z1K=G??JZp3zsJV1QXrJOKmWe97Q~{UyhM=(y;Ji{+g-HK!__84Tjr8}kFuq&_Cm1m zgM(J3@w<1Z%Hh}&8%PbMA%10yXhjf$Fj z4YhcoCz_h$2IqdjLh(Ejbp||zq}N%>Ig%a+aB@NS-Q^zvtE;QDIMNzuRa#_ZWV;6k zhQ?m^n|eE|c?fM|WMtHDb_XLbkGdjA(J+V{&v$3b^_%-ls~7xSuH{&6 z?;O;oJCdB)AzCIckxhTD#$tG-J(!D&i=Qk~jcKs$Nn(GQ4s<(~UJ;m8hR5lCN(Ps> z$-?sTa%pL4UI(}-5#6*DF){JGcki0r_XK>-S+J{EQr&`?68rTV99P1Lxn$U^{yrFc zT&7%M2!j`^m-HvH*ISKC_8vPqIiX>a9iE-F`rV0S4ikogKr}C&{A_RE+uc>`eJLy~ z%*MtB$Z(obTPZj)G7`{UULI{!_qZ$D{iwx#^^#|&r^v&VfNkDHNlD48>+6Hr8hQbN zln_0AeZ@?XbVCb3H+XoifDTGDE84uz(6KaFUp?^uX1~}3DDm|8xY!WZmOp-P5DXuG zk(}LJU)0srK_HNut21WX4ndFo%j;`OKF1HMT@e`>8I2fA?v$>fa{C}s)>2$(wvxvUTT z?v16UqN>(m(kRse#D|X0w7Ijh!K?oo&tHi_PFmUvacpL3X(=NkqtTq0IQ<2m8JO)& z66yW;5MX>jLDe-iCue7@SBQ$(r2-34Rh89r9=f=c;#rCaMMJb1Z-?^i|pIJl%-q8WN z`3Eqo>p{0gXVa@CrGT2j=H>4Zh9I%v@ewWxt(#i5bl0zB_}@tnuX011g=$5B`~%ng8?f zy9n=%q4f2^R6^NP?HY4(VehyQKxD|98(?}p7Nd9M=>l##HRjI~`^~i7CkmB+{P>YF zbg!@Fk_GN!H74MwIt4s_K7mD!gHvtXiB2^(KCavBUIrY(D~>F!TH9IYtJ5tI4IX+h z1~C;LI(Ituy(KEcNw}$~sDy=E0jsg@0>)oxaNir=6)!4MDqH>+b9a* z5C$eDYrwQp6wv;C_Tzh_h`tp^>#5Qr^9A6j!`r~AA$odxfcSFE-!ME?El`*oAE(Yn zeMZpH-EAX4e*csZx3#HhZbU=`V5=!kYnljaD=Ya_9{E8fB{4a9d9bf<2m?RA*LkvwgNmm7bK8lso5L@78!h6jE(_f3cZ6{r-Y|n?Z6mn9937 z+(wFrN8|Sjwu&voN=}|0NiK*p8b-(t98&Id%zsyc+;yHVq!jV3tgF-D+5{d7egE>s z8|#Vpz)Hq+>TDVPUM<<&ONk`+npmKic%CO`pRipu(Go9EA0LI_anA+_oKD!I<)yBepZ)ORaK?D z1Fo*n!d%5{b2_p!k|ydMRz=wlAB>d;e-znmWU!L69PcEAm0kBer?z3(Y9B9hr*Y(F zmfcx_D=v8tw3X@C7(07DmObCAn(nQ7j+;45iQH+$ZpQLXvL-azL{4S@-rU^mG0ZI} z@C#nKpFXZf*^ri=9yi+G|6SE*bE15$U%#d35IE%Ic6!rgQV&(BVxEkPbhR`!IGp@g zB;9c*ueVxZ5NF%a<@K2!I+Hto%u!KV(1NAe|0N_OUP4NWv?rzpOCA)PPcGd2gUiRy z%3ROY^^`EQ)KQ$Umf(I;(EyxMWf)c%T>vC?_v@KP3h@rib?#W4^eWdfbC&P7ZaqP} z-|&>Y69fL0>GVv_++xnjw5Y9MRz^{Zk-FZ!az9qHcJnt;R!I&9me_H7mM=NTv%(Ga zt3`;r{YA2(IpSD{w%`d-9=>1w5gq`(vn4{l^yqA@g74O9()ejT#UZ9m84hT(KV=ZzJ zFV{mPm5{bO0(X)2Z)H;!Vhz%k0anM9yU(j|O>eD4)tRy$@eTd|7A^lSqHp!+cni7u zp&>yhjp(SLG$^U2zbkWaJdFAY*p+=}FPM49qKjmGJI7|!Z%B=vR@^PExo90Vs*^g= zLzq9Rz%qeBJxIfe^?reUb(}gm)xWf&!!7h)m1J#yEc1&hjxHf=|LrTZn|M)S03Mo@ zGK?$sWr+N4zNm7cfQu=QaR{HN(1BwXW0YxS{I}70=eQi&o7$uUI#zqX6giD5`HcMkI;4NKS5|f_F zIM2}7aEZ?Yx!=!Da3*xagVhgbsu(Fx^Xr^&(& z>;bsQnOqc%#x^VXe-yzJWCl}L`-4nIzP(dZQ=2SSpG5C_4f?&k-2`02Zn&RgH0$m4 zskX-p6yLu6nD6rM+#fS_BCnO9P-rLv7niDd@4Y0yE3!&OSlimlfigumAd(D!-}U&K zBgxInyWz+Ozz*xjlVf94R8?A~=46+c)$Xyr75BTbREi{t?_WzvNhvnWAt5Hl9!+F7 zoCtro^bT;4$iV;gwHNf$KC-g?mzSR00U9M55g`UGp3z`2I)-$EHsAl(ji-JmWDPi# z5C%rZEyT%&b{0%NYx#R3t=WieC;+=_Vp)fU4U zv;Z8<0i4=@7ysq#TDdX+Wy)`Rhk@HTB{>;;RP+uR8y%emcnf}B`vuRND{gErZ*Suv zn)~4!0N>Wy3RY8#Q({n~FMRtFfV+6uv@|rkGgad0N=nW&IK2S82njJtsxs-e{vQuh z91suyq6!TUSL50T&>Ra3ONiyg{vrnlhqYutj3aZBwX?&nT@4!Fx>wSRwK8Rd zF9d+-6rzw)$fi+y5Y%=yCgkVOpXS3E5gQ|M6h}u#tKCtFOH3^vemtLqEj30QUX8lCfq#9a6Qd6w%na$=|RyQ~k3-o?q}Z3m-r14t8cx;c7Wu#8DA;5wEo z{l5SJGXR1BXX&uimY$H14{?3=EDZ3x0J_B<%@Pmx_4QRzQJKJcCP6?#A^_|hh$*P7 zXRFr$Ec50s2>8y6Zas0nHy_sdYiGKGupj08{QU0rx&pwg*o#eW{r&wr07&e_Ax5X= z;&N#Zdfpz4b$7aji|w{KveFTX`@sM0xYxZI`nEH)$WQ$Ekp*0h09`%H!!Xcg7~dO0F~w=EiFI)AoUQeuPs$=uWwaFPs21|cEeK`kaOegW*L7J{t!N1_Rrsr>Bq0|98;C zoSu5g`1dqGtO3~SQw$6>;RQgIsc)=)?eDkQ&DR-Q zMBy-7Z5E74-sH3z^rcEgRdsQ3v8=Qd5Rkgu*1a;mE7B~H#D^>_EC_h)3js!Sd3pKZ zVP0O|+5X}+U<^P!Ha?y>~UJ)LSLAxjdzM5zQUjx>i0YGx+ zwZ6{em-p*HzCkZkmY0(QE`{^cEmaGPjm=HVKrkkyh#r9dfvJF<@Y>E)Ub_5^1~bL~ z;by{~EZ4sVfFJ1h@856C`r<}Ll(LiEKv0n@1^2Vyb|=?AFP1FZ`vI0M zG!AbH@Bci_2<58tGJkJ46bZtmpQoyN3Ucm?p*g zfRZxvm9Xw)h2h;>-yi`eHkRY9lYW(_CDwjL40XW$h{Ri!?7IDTg$xfS3IpADrpmyv zHYJo6XEICTg6k4yGHScS_%p?Pr=!s~-lt@x2JR`!ILU-e`P-z8Z)aft&Lr{C2F$(w z{YIA8gn4R=@mBxvcr01OPhr54;g!j)-j&*p3-FT!tvn5Y3c|Z{R zk{1%(RJ?KZ)-BKI{!2(lrJQ1Mchg?aZfkt`f&ThU0i?6-zR#12J^h6;vqki^eqGJt zxuW4DRYh3Od|tK(#T|cqQu1VGeEu$S>3ua-^MO=$E6zPiL~8!dEpno_b`(CJQN8g$4zX6=iZcl(1+K_ zM69zd-f2~Fv8e04U9TSSyEPE`CTnwT?Y_p!S~6|J?-Xq~=U22ola$G&Sawww+L|6( zr5!IIe+wqoDlCic#)A3%t7`~f!&LnyMftX`!PM$7w=T}lVfhs3k5=MXyjJR+aTC?~ zQymY#TmNTLKDK-*B%6_t2 z{9I@+Mm7@k;x*?# z)4S^aq3hq8ayT2l9MCU-L58SQpN^F;i!){G^_}#YIEBk%qEVi_o{Evs6CA0S4{5qk zF}&pp3gHuq1-vFqgwyDE{*#lubSlxhB z%Qs9|dps_L$!E9!YE$X@3+VJtIE=yS-99EsJqY4wS*jfJ(D(bqD|?MOAu7(2 zEg`QT>t8o>^;*s6i5NuFYF+o@F>ofbg%q1*&Iw=y>Mi?SjKg{{#EV(|NxQ7W?od;r zb&!~(MwoAn+HM1FiJ8X1J|WC>olv!rv*E9vU;NSY9P4h}*Μ3LEv#Bk~Add&bi5 zo;t}_@-Wy!V7%+)+Tv1yh(!$5h52I~5Me9zBJF1_CG-;W6)=>N?M=QVi5Q>~Oi zqWQsRe}axGCX^Eg7YDesJ0{*(Xir^;>y&5gX`T*ww{DIc)dfA6u*d z7@Zu{c<^)p6%D?!-WB1pMnZ zWoCKe>@YlQOKzu2^SwnO6;%~cNvU+7jMLro!QD(wy>bC5xtcveJu&ay)KPjz2*TZd z(dT@Bb+I{}B9YPYM{1kjkXGHQ1}H5n89Ol~o(@}CrReiH{dq*U?WK_#3 zu?|m8p7A*eOY~`2EttWt-oYRGm>sMNHcYo&y3)S$oU3~$Rlj~wR2SOcNyxGB;C%Pl z6Tai&C5wmk@+H4pF0QORNQG%Ra_)#njeCZ+A8NKV2^Wd+Q(%K5i9T4v41a9OaoB~m zj6#t2>pT>H8=*r*5Jb3qxVfI~dTeVhUH9(j3SJ}Hmq8ZSeOlULItliP=8(r}gjIQ-zv2juy0O+iA% zV{K<+&qVpBiUrKtG>%uIpjx+8PcMHR5~R{K;h)QRS?bfZvh3%R79No6@0sS^h^JBc z$w@k}J~h2g?#$7zAqrQm$f=GmQ?0VBKR1PfUY+l_RUYxO8GtYOVHuhUigr4KwfQbl zX4eOAwt4q9p@$ub9=x~w%0~V&AaP_=y5_d)$dU|>AiQ}ojZpe{TIaEQ4k4un51whq zl1c`GFgiR0qhTp>vX=L0u`L=c$K+|wy+is)iD^B7qg-^dZ)lzRd4SCE>}HzTgw{%V zRj5we%eHD<1DX4x84f8YXvzw^N(+~xqoSG(g*D|JhdF0iK>OBAV?KLOF=DfBuHMcg zl91j83uFw1^FH${%$Ya_vaqB*v&fwE7E_VySmBmP5XBFAC4%j6&iRLQg~N*OImlzHEXTk9HaazwenHAfGlRP zf`eJ!R!d(>h+mYjG%ho;P%n^2KP5GBq~R}KLH!AB3sf4LzUq_aRQdG_*Yk=Xfv$;G zU_^1J?QTerkt&dqc;<{~*;+q4$K?KkWbi*J%)?Zaf_*A$%dcVRC&3_tzjgVaPp|)f zA-ew~NEDK%S1OjKiHVDgE3LP(vH}5l$)w4jufu_i@MF&V@SP!yD8Y<7U3}~8XjKXb zNkc&~hCm=7kOnXZKKb`xTPdi>r|bYAKiKpdlvs-5#Mal>0dj*(p-s2Q@9uVqi}H_! zpnR;BFFPsR7|uLcXsn5dkoWX#c>9u}t5ycf&~OQehI>t`TPT5Lbar>I>f9sDkH1t- zPYQvo{qgCksrEULe+AOBY+Y$G@fpHC$DZi>b8APQ`c1Cy{O>`oQur5@oc!F}j?PZE zohepfVSTz->AW!js7ruAcs|Z~{%vg#AjpT-);dFF^Hdxh93pc6ZbAb;TM~S@{G(7g zhe^HI^uvec-@oyQi5UsPYDCESolUjVAyz>bl zdu=3^BN?#|Zw2VH86cwQ?(Vi=pYJesa&)YO!TdtkilhO;j1@@NpA)dMvI68DIXSs} z-rwoz@b&(z+;wy0$MEp*^z;QV!gG>0GtC|qKUMQ_>EtefxaTQNkQDpR*JO*A z3l$SEshpe~-0prf6l;J_0|*T75{)uoJq!8rq_q9rot@--j^6=k-`-sNiWox1^WVOF zf`wIIQ=>{7aC&;$(9n>ZOH-t#^BMm#1Bh*nO-%k+Kfn^nZ>XRE`V$uy2NJ+~u|T{m zN)-yiAtg-(SXLlkwWZgG$(G1`=k=|mq~uRre;n@+vAwm0SZPO_bYP1J4?n%QSORz~ zSJyY#jZIA%B47d7kZ~0s1HcRhXdsmW~zFsjl1ep$#59u$#wJM(1y+H`44xus#Db<`Z%1YwYl`2ptD~=g>SR^? z@PSM7Ea_SVophKEpL_07ga;aB(Dbw_QvB8Vz9@6uC0cOXCDkvT_m-InhYhog7zbs@|f!fbO)h@gEyqS{P}i%oyy6>vVq1 zJFH|0WCT+>z*`V|^-Gu(LP?X^B{phM>+$2YJvXp-o`v}?L1C)EQQ|3NWT*2}50p6nYM8k(N2ZwLaIbRc7>UvHm|EQ^fv59{BY zDhmeE$0ZFxD1o^u(poctvWYyRo{oBL6+q_d;$Ug1Ot(H8)wiimJH5Al5?QuuUhK2| zj5HxdMYiCDsH8ga)n*Sw5cje>3U59uHM2obyfhUt>wfJv{gXo>K0@@f{`FGjD=EYH zd2e=C5P58=J*U&c2m0%m%JU!F`$@G&R^q9$5qFqP4a??9Ws}j6r5*?mIdV(k4PJ2bI+vzXD^r`Knky+|F-K9;(-6gp&CepamzG61mo?)$UIU}M> zVpi}n)_{$t_)4(dF%lxPV-%Bv(cr%MeMheM+q-~}9y55ntc$M2wNjnOfr!yq{HSW= z9=uVeL~pT8I6Z^%SxYPxiHPazoSj;elZppHMFc5Z6FP&?|Ee1?4cEu}~Qo7k6-Q@ZrOUKEQ>+Vv?Jmk4f};8OXVU zI$q12tiu5m#r39^DPj3rb|U-1<+Y;k(J!7N-V5g{q?{rcd~I&q31my~u189WNfiAG zsIlAFZDl;@yxA44-5iH4@vmX9vCbjZbMar`*t;Q*C%EjJscv|2lrhKlni}=Ys^s(K zUfwV1@`k5RN~(|Qy8P%TqhuRQdv2PR!*2E?*28!XX3u8ljr7#Af0A(Tuantqz!F3+ z`6hc$VLVm^GHbd^o*eU%uu5iK=i~WXiTTx(m?fRK)_}YB7kvSlG`W%mQ#WVsn_uX> z1Ycw13>tmz&~?3899Soq6_p8FG%~GMN;~58$-zu)CvuZle9~u)O)Gp2wYYwsXzb0} z=Im*HF2-AbV3=bKoQ?UVII&rvYz9c_(cnDAo}HOEIXBSEkt{Kmd7&1QlH#~KlesbM z@IjmS&!znM(IX-f5^Di=l*=NA z;-Eq%p3V>H)ZT8w*8W7|RO9rnlb4;3s=Tz>P{{Pl_Vy$1uWRqJf8Fc; zF5`Oxn9yWzB5ARL6E>tYD5Lt=0i9hFVw>qeh~h%WUd}Gp#Cg76e_bV?4)HlTRfFaC zwc(vyl`~ohbLavQ(?X5IYCK_~;N$0pZ6}x4uA$pI>S8i06w`5IHH^90NmUk02O>2Y zAsKe5F9$5PoA%~|syUC+BFXn@!oIvlU#eW6tHD|vaE(O5A$v9KsO*R2@fqOgJiL6h z>~)|#$@|nY6a-+x;O+&lll`o>H@By!a%h-(f+k(4U@#YzfXlkv_4(fT*ciIr3zToa z848uz^_$dS5HK!oYzrlRf*jq+`8np(r?04F`>g@#v}&*tp0$gOI`ZjZMR}QYKR!eV zfNBB4LsS%&{Wz9fn-gB8BY}Hz%-VzrBTK#hfiiv0wm(&EA9%c0#;m?KVKGotVCa`B zBXJ;f>%zprRU*nPKZ}4xE2uLQ6Q>G7j}KePFFu?<@v48NdQimaYW|Z03oAfTNzn9qusM{7zjkbc zsTm=6xweo{&p4Idik_PL=6327d!I)#f&4n+LfA`CT;mh2bU5DyFF>jti@e8caQ><`$gVD^7(SkPkZ&2 zx?R#0AQ`nVXr=>S%tFT;wryY9)7GfAT)zFumbwHVa5lNC-nRp;1qb~`>oNkn=9?<# z>G8{f7AH;-^3$Gm$)B=$!Dd0n`e}w5#g7olZH%Z-o;=a2{O}L@An9A9Cfbtk@t z4mA_&N#|s)jXEe)7(4Lu=TiUxo{D0>Kzbl6CTpeb$)c@1-AV%oDhOZtipNQ z)YF%tFdhKMFl@T`mRR%KE;<}T%*Av3VF`he=IfbmaJ3T?%KBwaJ7;@TST&l#!28Z%VlNwe4CM0?4e zEI(wP-W4FZU9X9>%1h9{9!%kx(UYB(Gl8W&b-`+0-`Lry_Za^AF(OC4to}ExBN@Y1dJA522!ro-|)-r3lFU%hf|8)o<%>U=9Nfd-A)?VgE}rI zBu=|4=$~8k4?}O4S-|723)_Pa4<6q(ewe(((kQD?C`sl15+g1PU+Kx!XysiLNr z_@~U1_`m}RZ}u23z7r(ps0iRTgoQ>$ZAGsb2;#J5_^zYd0$JX2abo-uZ4l_vI3E9RzEtabVZkM%!Y|2%l-moj_Sh zY*POQ=yX=o?}%J*(>uMcDs*(P08P!41Jz@k8v z6Zh-aGr;9Ok|jQg0nmH^3yPa8m!D(u+Q;275FI*+@uYJTi8%AQP@u^MI67gkW6;YN zg$>`3Z4G@C*9PQU><;`3Suq=d9(RzTU0ary*|~%z5hZszCNs$);ew>uk1*ij+xtChu-swK0ypjN2{G z@+YaqsSGWY+{Ps}t%{Y}o&M=Aq#9GtnyZJK?`nT-Q;}eSvt74=G?~cw+ z<_R4IcvOuw#%Jf}eMY|h^W4^D064F@?JzhE^V6I>8+Mszs$=iY1o_uk)rGLy_%6?$ zs;@F_Iz-0u=#r2jZG@?e&8(oO;Y*|u@4aB!@T~9R%#7B7P7zz`R}@im2MN$$!UNA0 zEHu0liLA3am6KK=J~jVfKb^h9VKNM>b~?216|hvYlC+hHV~nE4?Nl47k4Ur@m6Ive zW$R8G!)Wip>Isk9AhT_1BdCUDf=@KjY*Y}CiMz@*&lcCBUGwV7%5Naa73uAO=l#q#v~3dSy!hsVsezo*)y%7KaN{JnA)HZN@ViTiaz_ zr5n-|){!}VHO=p_kZ3r_q!ju-_CYY)Uumdq=n4ApB9W{=De>8ry7ICr`&7w<6ne9urvRr}0t>#Z+B zyHri`*kp2CLt-AW0-gSZ}kOsu%S_y4Q=upyHW==$c@{8pux2Tx_EV- z@SNU|g?^lIEk6ikrJ~Nx$L{C=Pp^wMo5j4dNdPkr+v#px41$xtr@An2Hc_jLaS0WTh>-0WTv)K5-pd?GmT#}L_iNL|`ua2dYSGhbz zL-`n!aILcx67mEyShdDno_iHwe=h*K9i&!aaN&KnfWC{hWVqDUzrQ4!5*-bcS$qQ0 zEV^1+cr62d+awUd1E$x6N_CkTnqoL1n?t1>@J|lYVDS5am)Q>~$D30aJO>t`hwPx= z##yngRSEH!t!l5^zr59%ynHb;NdqRPTuZd(=on^t=ww6afH!;!7M-Qt-GA%b_RKX z4dv-~3fHc!`ldfjbqiLEc;@t(S@|(0L?eL%qBt=T;y^1i4;67WUcYJd8%y$aATFCR zn;i`$^eKJ5wI+0X7P}YdodK0Qy{*yedcB~xVHMBd=+Gxv%Q;xJ6;8hBGAMO-`hCC% zR!XonQKlh1Ih#~Nnb25Qv)!E(^HSoF8lrlPOG(KNd#*0k{mo&?j8=dEPrlXL{%qUL z@A9w%Kn_3#j@j=qKFartxNAbI|0+G3hWibwj8OsLfxNxZECPyzLj3*nny=FyqCsR8 z6#f*u14$os!-Q^ALEfa3{pvTwvY^3ccZZmpFCu?=8tG^ZMp@8Y8ks+zP$$ek9z&l2 zwupJhIwjIFnui~m-A4Te>W2PB3v#}n;?oij{yMulhQfx5rbQEEQzV9w2FB<3> zO$({*n;eAqjF*+Q8-aRx)i8ekU+5keWX1*gf{mfCHv~H*q`;2U)wN_hnUJ9yK2Sg_ z>mQuZ67bUEQ6x`r2#pnDXkBHdDGP%PdE`MaDu+Kg6}+IPld7Pn(tqagOr1@ho(lhb-H#kSgv)uWU!2~;W2gF?O@XM1 zJ&Tgrl_W2@fy+%6a+0tj_{|*OH z0Tm2?N&+r#@g@p^QUy&eOP~PN(vkt2+kV%~N?U%=QptI)?u_5v_MN2U7;uoDspl|_ z7Phdp%5ogcEY@Tf5AWH2D3|A8j8f@rtxm_0zEu0X^AyHw^lQ%^Ixma1-%#69(L#Ic z)zIKPi0+GtO*|vN%z16hE<$(ZE~>aazY0<_1Bp*caTN21Y&NJ7#kNMr=bKj3yijAY zv^w{4{F<4$1i$Idjs*p|N3>X!QM~DC)^Upl_XD^*sHsWPZvF~S_ASHHgoH^F?&B6W8$+PZ9T04L zkTn=+G(cy*fHA_nPV#~37VF2)(XRxIf{>9?4A4iPoFhoi=(2&LGoT%WP*!fk%PwTI zr^;iN6qiDtivv33?P$q1Xz_+7I~FoaXJ{m`1J5Hca;0d0aeX#7cS%ZEA%fKV{E`U= z(l$AnrGNe)K4i+nmWN(I`ZlFv=`?DNPFndyG!!OG_-h^cA*keJx>5`&`!zCow{TAw-T*qyq+dR;z#vCqv6F_AwhXCrW-Rd=V50~wDrc&6y<<*}NHi%(Dpded_QML8R=8|k({;Oh()-101BS}`aTfx-s*Mi+F8XQ$V zf?!F*5DquwT4r>yfv6(W?qCJ^tygMmI}A+9SG$x)9~Gj2=Jlww0Er5g&$lKei&8Bm!tH5GVCStbV5 z`Or|YvhL|X=l&EZrsS+n6W^`*$b;hr4sP@6q2W{CsSO5D8T-dit&uFo1^ z6Oe@WK#BFek`|iWWN)+W_0=icP*aQ@4zly|Qv==$+M_^f zx&?eaHC6WmiFmc0heiv~OwL{5B%srs3RvF(mBvpkO?rJ69BEUX2mX!V4+8-d`laD) z5C!Z|Gk{&KJw`TIaD}{2L0C_{I5_Lh)^W8q8yaqKSuu|gfl)4;mWU)qn}Rlpr%m#V zy5KH87Pw`S*k!sHb!WY`Y|x-Yz%fU2&PqI8)H@ zC&lh$sCH|AMMdl{u59PzWR*Q%nH-!LkL&5RmY(Krm%TyW`m{dcDbr4>=y3cekD&B= zFoCm-qD9l9_cXM>P7p(WqK(V?5pfhc$B$@;*)1?B8jdFB>&l0awVO5520rq-tuBze z(z5R|B2jirj{TFCK`TyPkEy3K?OXHvKZZQ=f2#x?ZY*dk!z-7#an>5GAs|uDTIM z3{tHHn?dHay)-1?+Ggvi*+|8X3fOHE&@@M-)AR#1*i`KT?yzii7Y2g}pBs(~I=xd-Gq@>mGN7dY&@yNSkUDNv1QccP1J-U19z? z?#w6SB~rui_lThLGqMPL`LPq8U3kA@Okd=4+X%b^Oz!Dl7JQeq#L=4eo%Ieodf7Q& z(S20m?*_PB3lA)RvQPN7(I<((vp; z4!&v`l^N`vZ;ndq>o3;UE@*l`M2RaTl$ii!z8EtZmpj!oAaT)94*5=MtYI0k`6=A7K*S z^=Jk3$@*P54a244T5N{0^JaC4f<|$OQnV*+MvQ@OPBbbNvzHbMAIkY=wV@bkyX#3d zENqI+X^=ql_*7m?ffjo+H}+Pxk&!G6?6a+L`j;=i<#zWCUu~&gvFcf6>`AF;sxFdV znZ#y4Wb>%US*R450fOJpU}DI{%yaC-Da^y* zWj2gJ>X3*kdpfwuw(X+tBnmC!)FrVwN`rfz@@_3E(CA7J6I(hkdLxpp4Y7>8j^Z#b z3h(EwE*z=MI{BQjx7di$DllTT)6R=n8*r>8WM{gRp6CmHnLY4Xbc1!tVqDm=^rRlQ zC+5^5QL(J)W^-YFrasyDX`+L%c9C*Ge*2=pX>S|qZ(Yd`zePOO$Mn=~C(7LgbH)f* zTheQ^>)ar%n#9@GH$#!77O^)Ey$UtP58SyJJ+12_NUwn|tgj)5aRBZca$bm`$;5F@+zo75y}CFkGiZrob}ZGuo+p>8 zXLA_(J>_gQ$y3rPx3lx5pQfUIsf7*76Vfcm;_lgke>eX)S{ldLBy&si$h|z8o4-vi ziR5H=Gy~>f*Sh8Iol;Q3^sx8y)2gcBQ@iUoMfuAeiOOE>Ehf^PjD{kT3!7&#ij{mw_2qV4IWjVI;emmz4UA^mAgXog{vyF$Hh#X9EN8Y_nC zVcrW=%y%G8X+7KB8fUAeb(Z&`aHwmMq8y!W>+N@Y*0fV7YLQ{~&x32Uy&aFW_1VCh zdQ#*C41!3=nlU4-h)Npa>|QYWIm|B7LATLI&${l%Ybacv%iOTh>}%Rec2U_Qp7&n8 ziMbi%*YghwgYqYC>t5_UGPuWGpjnOI?IFTl-g$MMdRzC6w(sfpCB?*u3PH~6@s^(z zcCnjpDBoC$!<8rUhb4r}kDCd;C@Q!ikIgGm!D#bXi|v!spjK%oOdf)9vJj_qWIvH?__79`vpIGWLpcoSb#mXADpICRo(}05sZuCECs_-nw+66e8sIV|q`nXu1 z)`@zq98QT@QWJK?Xs5D;h|@1GUZ0tvHh~W-6+pMm3f*r3{LEY|Ill*)K)b8m{+`4z?p#FQ16Xq zSfwNiN=kf=9wsZf?k zF(H?uPJC%!zkX#@&DYY^t+$!B2cmyzX$dcqGNYS#o$wx@((}BFnqEA@x@{{j zNr3>!)%Bup_!k+L+}K!!d7-M1sOOj09k6->C(kvhH>IV^TtU;-W{S)K3%s*3{cecC zc7)4jL%^^}JPodkdub9a)`hnoME<~9BU4Ng9F2G5C5wVW5}os>{{fVnr#`pQv$n-| zH&v3zhnR@5GIvQh zU4AJSY0qFL0l5d0TPwK4>vbmBURs}Bn?%S?Aq}-{$=Bojg>Oue6Xj7*+L+oLZB*;A*T?Wd zI>=&R4HCm}Eu{)bWlWsu##`VB$mm!Mr4a*-E`VA5={r_^15-A5j&`xY<=21Iz`ma# z3BvRGP?KOUh{e2`DA6CZ;&V%~Kj!8`j5!B(&yb^%I#GL^9VAGF6`Hj8{C;vu*=ey_MZK^oKPnq=F&uU?xp)<1v(Wk=_G~_1)}>jUuulK7rMgvG zd4C-hWh8{m?~UJxbXPHO<>r_H8h%3$GG`dDidOKiK+ODjQ-$ ziUySFz3zM&&{uM#EaZ1fdd-}@^RO;WACHqH_a#I0R2t0>)|Ogvp#ogEyyktT>*@k{ zMzdl-vy&ju0VN#;6m^+JA(tBBJ(istjjOb7d0wqRleO1;eYgYybkq%9ooqkl($hQp ze)>$lUi^WI12ak%Bql+KQqXG(>KOK+Wz8|Mo1U60FO%Is7}4vn3;OOI*hJUN&oe8w zIjRwVTHzfTZ%o`xWz>yvYjogeUfP@Y=re@DM!fg^g$NCA3VwVY=ee-n)8%PIRHw(; z;nP|bV71DA(00FlGp`qxb`D#BeA0C)r2w*=KzHWa2?9ie6Iu&}a>qr|Qv-KqDQ!d`j*iHBf5^^nwDv zo3OHiO->HJxpJdY(fEdg9W5V)*!5z+v!Jxz6)myhFR05daylzc9y9wABEO$x(`KlF zla@9#Zk5$;6oTIxg&8SdGWspjt-P}Ynl2YyktcNb-g>G~g5)PuB3{rU14)h}+;-%L zwQJ<5b0^%A-mUCDmy~11Yc+6KR8n6mESi_PJg=@l+MO@0Jq7+{b)A;FbF^=8Cqi~>R|@AZ=3*UiHL|O>Fd|!|A(!&4(jrK!bTqjloq5!QVD4g32AANmTr(x zx};M=6eI)z0RbuL5D95iLb^d(y1V-<-{1SroSAd(KODy4!{>>;clX}Cu4@+;U)Us7 zhqT`^tap9!DBw>6iuBY2V4-|1j?g|I5qyI&_K;UKc2;erdNshn6rEL<<=*{RqC)*~ zi~eSVZ)xK%Jff4)@IE+DIHySJmEL1I+~Z!{rL^9(7ob1v#?ZJ+wewi&_zS&aqNnC} zkGnm~nM1<_Ir%K^!!a+e2Z#!h{a84$>37g_ji+^4oY0ii6G!|u*;?EOs4}H&xE&^- z&f>F6KJ_YbsG%;y4AGEV87fWsdxntI-m79$77QD-v zBVL=k+jc=H9lP4&&O3FF2n0~sNJqW)dmZ)Ei^3JXDcmm3I&0R+lO+Y>gm;E5>>>;* zcb+7hSpM2=IrO5Ld~ipdjQe!hf+-w!+ZX&DSyw)C+~0uTe6=!Q0bFJwkG-Bj))|7B z(L+0Lk8^C?VUI|0v>*z%dA+PkR~@gtO^aO-m(3;p)(*X>?TcgYsp#SEmx<0PqxER` z56RCN18QEZj|sHHei}2?3{~X(vxFPZJ z&ISPu;h1N4*I0k?$qlQEi$8ur172}8^ZQ{oi~Ej(V{fu1{$`r>r`e$)e$V&Chq6b% zo)fck;bLpKEzT9ig?lFnMozD276=$U+nnEL!HHqNI2e$?Xy+lDN!{vi4yZj_up4(; z9ND4t7bNgkAUNAs-XaI+^Os6Qm%^8rt=^ zOsPG^eLJ&s9l1Cd?epY&l9Bfcm5>Netyn@i?Yd=SZBwbz5J28{f3FdL6&iL z!}$*UK67!an&PwUH9|MrpK+C!BpuB+&?$Zm`|M=Scwjg;wV73Kf=-V#1f8p(s;-lf z^pA35yxAEpT*zbJ5Qw`B2GN!b@=Lb)-~2lXBG1D^@Kzq9w^oNu)Ors0_HIM2U~bNO zqW!_ZGv`IOAL*mfqZ6szD(X!$Np+%7wZR_Fd=qC>+912Sdk8f(HBuxkiGFVY8xA81 zva&#JwRYpN0~Htv2~=clY&iGu0a`Ybd%WSZ4x>Da)jK6C$86LyB=ht2(-;yN{^7B2 zTy(umUYe5-7E$vS_&-on9@0?nU3n}bf4S-Vy24Jnp*ngF{=Tj731Sbm>M3 z;nduvtQl1lOk(Kw0!Nzxrh5g4{*BD3@skbI+>%qkE>BP-W8diMU_%doqeybb8GtAD zoN6w6uj8}7e}WbMy+AxMbniE)M7@h_&AiH@uLa6eR2N-BZ{7rG5rgPtjd?hyzjps9w4`<13W?yY0^pO#=huXdk&piv^zql&ght`b^XL z5?#AWu%wEb-na@4{p5A<+<7_`uWH0^(`-2TFdTO_F zC;8y7Uo$}0Wwjm{8`G7O!$Q~$aq|ko0~f{G<5CSwf0z6 z0U%Gq*=-98RSZ2H~yO{osbZkwy#f2k z|LP?r0w{Yx#y@dX1wjc%#~o;sPzk!>0o(WEM>P$N8;FO8hoYh)JQWQM4fr88HWpi| zGldTxdFqWTKoi(K!r`*k{2FEP>Zz#O+O9;=X?Xd>gok&*l{Mx)qzP26&WTS4`nRNH zQ~kvWGgRn;6oP|-6p{r=k@sOqu`HFprWs0$MF&Fq`Ux}&R&@3C3-j~OmU?Ntz0cpQ zf-h)pX$k#4)Dl636(oimY+`H6)};eNRY0pAec%I+hbm`nZH-O83K%Z-k9R^z3^}>i z8CT!-cnTWKCvcxbs*ZsGi=Nc6) z0uE=n|5ks$XJiKvah*Y3%?lM3dIXf895%-3FW-00ZUcm$sY?gm&eHrBQ0{7cp=nHqOo{+R}lb5*IRBZo^fp6P1`aHs2oSP);Z& zL%;Gz1roSDkU#*5r_!4J&!5RjNa9LMxsa``Pn1LqTrt^Y0_X#KckBc{w>2d9Q-;#Fo-|jDH1!mcTW?*RS`_ zjGp~;rSzCJnf95k;5MERazvBRCa5w>y3Jnb{BqW4&lbVh$ z6ZFRHfDoJw1V2tL+&{L|J1fLFiN~j%}j^ zcV$;yUA@X?>{CWYKk_9%-)nu88$PdnGYId*Yw$yQo%?QcLjyHPP(gN5(ANTdAz(Z# zRel*Ar8jBLcYU>I6%+em&#flp&!3*`>@qJOA_NowfZZdZP;l=XP`Vxf~vrOmzNKhcik^0W)OgB!-e`|Iujtb1f=QldfyZuOPlre z#l!DGK~`2}5qBFFH9=A1=TVpW0d z>ofoUnOLvoXPPxWpPs1D(Ka)4&=`tti729fARQA&(ia5b$!aJ+p2OJR+9WS}j;LTJ zGax1=22}4FHB0#g1ZMBcqu<+mH&X3t2VHU4vFBFX#cCeNRr0QJIN0SpC-1VH+E@#2N1rY3I= zN&F8Wf`Qlz+@Kl7TeXidF+f3DTVEGh87RF5sunY+Qg0<{>}#mmdfpy^Q(F3AKzkW#=UKPf3GAH{-PHVTMZU`-GX3fyE##L&yq zJe<^CKQV#}FfoCG{XK6d_$>6#$U!g#aOJv;zi??mRgQzBxQ^zHXr;!f#0-FLZ3&ao|ZkfP@_nqedb6Qu7CPdk z4@P!~utPyk-uPnKMBGv7*BjuXAw+@bir3oThbAVoqeS79Li|=kEZ|OoeW0zSRVw?5 z0%ajPg=2d@zZBrv?d~+Dnw&IW&`6v_otRE$<2juVB7c>A7r7{fCQ#{a}@ud z`#`sbg$1J!-KQ=cDiI%++wZuzxtmBzz&yv0k;O?IjpW^p=$SC^N=)b92_utPtaLP zm%atY&CSg{()|9vo9vNJwSYgE%>zCPHr=*OAYGB!`EIvJ91F<7LdLY$XvE7~0cOt3 z#MH)R`oBlR&(NWQZ)w)n))w_bJ2WH&tcU=l3#q8;Aw)wm@F>0mJVMB@fuoB{Y;<(A zO~-#mi|&l~DgFLHIfz--{I`~}fII833GAS>jEq29S%|3~8pWZZau9ADDz9EN_}vkB z*QqXMpd4v!4U(?6kozB&fIkTD92kL6T*Jb`%FE3KfgdLahvkv)S)uu|UX&#c#&S$XE%^2|f&o7N~qyxNSct4js&tBXOv+G&2kO?*HE> zdmh|yQVZl~fGzE@o*5a5hy3a2$k-hO^&ga*xN!XHbv4aY9fHR@oBw}q7o!1gHzJ^} zuCBgb#QPrj7IiVPU+@jE#VIH$>&!dv`cs2}Un#`G=MItf#69$}M)I1)JX$)s-aNMT ziE3Bi-m(z4PfjKq(Ea`W`!|%2hqmuunLuhc#npAOX|Y_{Qgk%I`5wr&fxE1SP84+S z%WWr^2r(gGF1PCettV9Vf6qQr-Y9(3^xeC6djX0(E;=kyr_S=~59l-he6<>2Ag$x? zTp#VYS}Y6<=m_i{fK$7JqAawwf&&9T#>QG&TEZPvRaaM6R>GO%+sImZ2vuqodR~8& zY6#+IRJ^{PFA`lSB7P)B6Nr}^_J!f;&_gdShz}6eAfspcPBkvaJa$%P9b5Mtiaf=Z zqv2f9;sRn?eM$MZHL|KbP|KeVQz)xONJ;mH6oq$8-Py~P+pER3&%tsNe%aU zak6v$-{`|?4aaai1SpThl$458-%iOOS>9bOi7n+(6Hhk!lc~0qSQ^Kre<{G&Gt8b% z_pL1Ho|1xozCe@2iTAV!?=;GjUM75J|3R1|D*Qt3x53%ll) z$})mhW|-yumHQG0i1j13_DLzoC&qgczIN3m2=Qy@Y`*or&d!AZQjoXI72d1!ugW@3 zr^nMXVfl&^bGnywZVuby@$Ye~w5+_pl}+@%#Io@S6c{D@4enxK;G+TE5m2)s4898s z11+m7aa6{TlG4&wu2<`DZ;y+E`A*bK}W(%4emcKmfSnkJMpczdwV?4F& z?=1@|7kHl1ffWW;wdJ7(G#tn6*nOs4V^IRElVfl06D)5u(s}~^U%gAz{5z=}92|EZ znRk48Xo7qJu~S726BCoewGk-7va+xUPW28C$2k|H*P4yLi2Rms@)9XpYT6d}m7H90 zHLBNr*^HNV}pmXSnlG0R< zwNb;~qgx?Mj`!GqZzeqoQlB~bSp2G6DSEvVdvKs^ec~K(A!UOp;48xZB6>nr|Z z^wWyf(p{XSqg|`y$lHX_r|zqXF1O8MdyQ4D@y^mkZOWJ=RH(GMqA1{+rc!-$tKSFJ z@Rr5Cc_KdF-lXuY6q&fK_L-&+T!JCDJdc*9?(`{ZY98+Ip96Kb(6HV>P3_hG%AjmC zJ)~rcpC9*vxJE~ZHOM_fA;1eHl;u1`(GiK7j(Jrt1)S1X*d6Cz3)%?0wqCH`CS21N zPOm5w9(1v?CxQA|i}t7O%TRf#UCD(f5VHcstYAMgH!_*BrBl9z!M4gZmdkL&KWuy|S@y z-QwHneT_Q?2OfP(syksoQ;s1Mu+d6U98Hj#@L)$L1BMgEr`F5Y@av2%g1T8La%n~jhQTUB|$y7cI5 ztjAX=Y4m)IT#{bA>1CSf{Or_$8Apr;Wn~kA%AjOUeb{$X$5*a`EEx<>X;~nYjtUo$ zdAVJi)-fdTH&Q%V-)zZYry3XLZ7OS@vt2>#mj>c53u|k)ilz(E)N@o+RDOCq#V(f` z5RkmCf)dc?VQ*&h$5a4?4vFk9y(8f1KCn)*uU+LiV$%NlgoLFgE#bh#E|-j0B9JmRZ04c3d5NeylH7^kFmun`z!XS29B||`@&?8{_T8gimvBU zdyeAwrm}s_OxL!a!P+SJr-p1{wpQOCQAB)iOvAx!Qb zVd2W@?UYqMX1022YJ_pW)wnOz6KD=FYI^*Jud>6{pX6m2mUG$7KEaKN7o{qq8FKAC4?Y&&mqF-F*2`>CD|SpSAqHEhS28wDvcr zIba@g7d>=e)5G7&nJ+Qp%O6kHPkED-6z7Ku>dM+B{18hIu3cKz@u%*PN{J%>QS?<% zx0gThK|cF0@d+-gvxNRF2H_lDsdfmVpm^f4J<|m48rq$Rk%a{xq$F?OUMVgfyhruU zC{M^k@w@CDa7FX4%cad(VJnOzT){+C3+wRX2(xT&Ang`$bYvgA77bHgU?JBY^fl6r zR4kzQMP206J1eMs{4Aj{l>PbRUmOv6C$4ALknr4Zm!(un2EHuwbvS$Ko~=~;JG~F4 zaFvyh^} zw?;n8^z@^@hA$z%fn&?G-qgbCFN))f%M9m*_U2)z{%ogFr<;opB*u{Q9 zfFn>u8dauI!|;zcyM(q<(s-cH?)VgC#wu3~gSq~^YIQ7-*&b~70oBJJlY_2$`8L@H22jFcd2BG0R4^LOLhteZ=%`w zB-x=*@z7N(`;m(*)Sr61Kcas~WVJBuSJ|?R+Yc)|!FaRBG5GD3F5XGp^FzNRY4*kW z`nP|}`zl=H%(>`s{Hcdoz^ zbW~GG@3q?cVOimGTQ3<$$RD_48I*F^R<8WwoN2=9m{m96P}?W$^29-)uUm|x7aNW6i4ibSsVYo#M#Cs#b zm@S%3Me(E(326(YWKYCBIdzP9{Sgn&vwmn8^6-CSE9(42gPXK zQCNJ;7OcunptBo!NAv9+bpg@HJB8({cM>GG`;aFst*7nm=U(;p>gMI^Nnc1=SX-|# zJtDQ{^W0YT&%s9SUyMyP-4%MDG*T0Ntj^*t=iPOahU$ydMi*1)pMqkLs1FHy_0Sjc zu&X2aYd*`}Z|LvXNvV9M7)Vr*o>Q!;zN#QI;&22S#)7IvCx>Q|1Hpar{yMds$tqKwK4A5>8c$$==!LgH{2F(u+_8_a<(%1-<7Prm> zZm4R((dKIf80_u+`tc0FLm#ntpL8GGrb4vEfk zU?2>6m%+tfz1@8N_f$0e`79IdhgALEKLhb$m86yAXzj%Ga`GBB1*X}E9xvZ!7LlTj z|mhm=XDG1Kh15Eb!Osr=Hk42o>NWEnD%^|K0mUfCn*M_QA2O8Vfi3?)sd^s%tB zZvqb+FiAl5R{%{bI8_G(h|9?Q3Bn@D%`s4Xo8M zvz*Xy8LjdS$!|Y0I5(FCRwX3{5^7Pw17`Cf^r`OqT z{*s>N7H*%)j|!%Ld#WdLeoF)F;_V6Cw>rkPRA~Qn|HHUuWY(}1^ss0(?|7;lz0YN? zD?M&^M>WFw((H$BMR~FoqqlWu&yq1Od5LRCj8xywHm~E<W1M$e$a#tsr{T3P_iIEKct z;Sc+t&_e{IJ)c3tyOVJMEhzBTkQnbo@ga)2)S*I+|PON7?0&m`>B`AVk#vl%6=9C#3_#3ERtaAwTaqWGPY{khqk z5dM?a_8-S4g-iC9KKb09gjB0nhrw)j)5`3vmN#{W?-OdsgPRb9M|MTv^A`ro;zFk2 zP6VM39$3EpRFhb(PK&TdI(%SxQ-ITcj)dNFCBT0;7F~i+a+~>?OcWt+n#B%lt(^OU zJC&}Dzo-u1W9QX;p_$;f-;-}3k^39v49{HjkCuE-X#0BxUo;v?OQIYGavFHk5`7He6DS&Z5BA12?E?PFSc>YbiV@o4{H z{X_nIAdZ20&(zeEp}sx^0y5;v%E}TF5~8B7^Tovr^5^C)qi9DqFPdv31dEueWTI$K zCl>wM+a#*Yx1$Msg!o%mwQ#ApPuhPLu2?oZ@fxP_&S#-M<#{f0O0S>n;-SFn97Wf? zzOnW)!{ng--N1#VW801IiKEVaZ=MhbOiz>iTmNFVa$Xy0DeQw$KaE*-nk!T_`hi67 zB7s(x9_}-mwzaYwi)wx6i=Cc4$6s36jZP-JJ&wK*%5#B^)+epSr+*q6F2a+DeoSam zDSXIRPIj(}dwn0_&|-178S{R3Oz+6zZ}fqd^i!1K6oYU)$=$8VN8q$P&_h-j+I?KS zpnCE8^=k$G=Ywb#vW&}vf&P_Y0m&g;d7R4Z8x!u@S~f42O~2AyMkFaV1aQ_Br){WO z?-P7{F)8bI-zZODuQ<<12!qrz`0rhzHFftK*$6{SzT8+`mz6bsbAlQVw?)b1hQD3C zG6fs$IXaIqy-Z3Yl^JRvKd6NIc8UlU35hhG1c(H_!KFB9A~6IFv{rt8S`>Ho4H1u+ z7PY=_4#gkM2lbw6CAdAvk)Q_5k$$MD4znX?Wj(R5;lO}TJLj|8$z~rC=-JAfJKt3Y z><=y(cX-F19XY@LT=hDjz|~X>(>)T zIUxxc<&d`VH=oN^C^@dSlfJA{)V*(ZBBnZ>u=9SVbZRVHdQYW+SL!z=CMGB);t>%! zgFw*Qnzgw2Z)nVbtXwIShA=UI@MGr6Dj(CDf?ii%^E){=x^Ee|)twa;QNxEHjg7LM z%XYEC{wrMHuc0hM;j6PcU2=Z7nXE#>do!7Ju9Ht|(;si?(QCW+Z!BKEgz-*SQ=^!f zS3%+qs_gQLij=}$KfZpY_nu!#myR%{pjmkmI7mt+_P{pW+f#^#j^Xd)dv6PRoQEB6 zj@)>oLsHiRh2!mC^K5ueSik3Px!6=#>h)xv*p4Mj5%4mR=^h>B zr=_KZK9GRGDTG$2c|*X3@-aXd;9Z5idpEu9RuYcidPi>3`sB`LnJ}^W0h{-P2ifW! zDwZ|xwT%LUwgSf#!U2_kSH6Ub{qyP=s*TWa9DO!RXIJYB#?>Xue_WD#lywgiq!|c7 znVp7{larpFURc;bMdcgJR)VMm3%E67U6q(>(V7%h^nrV-Lm~7~ z%Idx55k3FO=& z^A~xR*O15+;#jGWbs_+#czeMczYc#X^u(gM)T?jVm(1VF`tQa1dx1PmJ{GOxB2H~hL8w3f{b5{o;ar{^^DeGNA^VO^n*_-k6irj0 zqYIr_PyoEbOMv(o5VD{lo&ojc)g?Sj)S|hQ_s5>EJXmzN%koSsi%$jz;@g*75?oY= zJC^TNmT_+WS!-HsRKlr0T3*DLa>}|9hb1{9=Ku4Vvc{_EXjw!HwIa zcKxB<@<_#ORHw9|&xz}lODGPs*!bOqm@J)|*u{KD%AHQXEirTfp41)vLI<$VbF|x*_;8PLwBRi)SoA7nOb zABO=+`}b5)sV+?0jNt6=QT2E3O;Aw5`4F_u^;!#9_#P=Kb=!9Q-C_XQj{XrfQe<3E z&|`!c@FWxw{Rew{Yhzi#7@ES{YlS{8N%9ldm4p~9yB)lDq$uBopWD^vr$2%A>+5{m zj+2Klz@vp`2)o7W{m1t)NQ2AI0)A%1k34|-&f4JccPncq&+mzJ0FqY@7yV;}9mA5t z=E0Shat(Q}W=v~D%Zn>@pYP?L9Y2qB7QdoBQu~<4?P6ZuqqbywDteq~bB$WygT;n^Q5o z9<{(y-KMf$wd|D^5qnlIcf;D_y~tVmLJ!C(f;YN#i=BbthsS;{z)zspROPy9Yih~` zKqrv=n@(uRreW}^S;HJ$T|YMW^RNEN!FhZXMpwk*AX6WCBJ51|)ne9_ZJOO( z<-&Cmr9Ur-72^&R$}O2XR8+=1oIP~PS|ezxy&g@;1ZjGB_D+oR=f$7ciEy=s7$yr2 zIH|;BcQJ(-6_=K;Q9e=eS2sMLNPFA+BBIr_s*=wq-sxRr_UIDMb6@R{wjDNlR8rXOp~sm0eN?mhc}qg>T(jL$#hlkJ|1+*5 z$8H40K)dhATS*shb1`$tXRqyeYR{#VXCuF8xYfELPW3{8>E)LTiA#K+O_pQ!Xg05{ z)4hfw-ku0XmC7H#ewi%exT+j@)TRU`!WREiT`jM-qp667pfe>GCJ?=}8j>}fDo)go zz>g-TG^qI;{T5zeTsCW`PO*!@T^ayu>bLn{Jcq4 z_qd0?A_?wbxRNNQj7H zItiW;s>hR&9B*n6%Prf_#XlhO3Q6;?&avX_aF0}%Qc+u8&8XZM=fBLn9~g;k+&qZ- zDV;}M(iT;&i#CECihx>4Kj%3}<(oXsxQimvoYX?nm>j#v+P|UuAB*oW`D({}YgScaG5cM63tLU{ew~_@aZUrzlB=4Y z@~OwbO4ApID3}CSiZQkGQRQip8Pl8sxUG_F+7bR0(tW)~XV06sfsH7?;Kn z;!#?i@_O;wiG$gN1!C_z{8&sRmfDKRq&sN>l0{Pzj{>)V`Nf% zFP1kpY@a{(k1I$kFQ2Yn6|Z=oPL=0+?q2*x&wZ$Fy{LU9Z)(K#{9F9NSxAeI?e}&` zg*wg{BbXdQ$6{AXpEkmNZe?SqkElq>8XLe8b$6w6>HR&6v-X_Fg;W%;#ivF=L_xd0 ziD!<=hUbw*Q_3q@jWw@6pD^6SduAjiE;pW~t&CW0)G~kZ(ekotbD=uHh)!?6|F$uu zP9Wv8LL9@APjt-PNgZiu1UODr>^P$?m^atqdvZVw-`vFU*I6 zIPr_$hP106+w4zp3L~F!EBov^pDb7RxacjWN`19XHegIczHIgGFx;sr&Ev0)DVTe; zBVC{So*-cDhZJtIlkcS4IU^g_Tf7x}=;zwdJ+L)+PP*y2s%W|SYNPHh!sK|%PKMpa zNIGR-^Xu44LSam&MDKiAq1X(Y8wgsG11knu>Q}%nfDi%*8v}an0#FoyH-PD|!XVvf zW3vvaCA5$qF*C~zJxo*jxlW~lk=rL=l^ZIeHlay(?a63;KPKw_MVd4RA#V%iW^RMx zDF1U&(|+5tM2~;Ci2dnt8OKgHs-*hOzk3t*dlxHzPSu-^0dNJ&q>Sk9gu}vhW*_$* z_U=%olEY?>H(|Z8R6o9o(9HyYcBh*&^SV?nEsWb3W0RN<9z7wmoQApzn}Klxi@w7<4`->7AB9JCX0K@mya0W0C1>q8kLg{Z zuAtBfbqdH!v~_jab<0^GVH~=a7C}VElC*soO3~d%C!%8bV&T#<=U%qg!&OIfl+&n{ z4H6~aZsZ6=6|G$|ONB5o>(8fX{EgT!oGrufy-sp>l#<-^zfQRh^KK9;jP{--f=}N} zA$Z1Pv%)WgioDYIfoQaGM)-k9AjO6vx5fR`rhseK)uO8SbD92!*2lumx9VAZx>zR* zsdw)Z4OCaL>y(`zd_Vgr7kskns91DM=R7xcDjbUDNyhLHP~n$*YjbU8^J9ePIIL)b zMQh%Fj{R-7g!?E%C*?BD#}vOYc{wk0ZM!SkLY2K{s1!?>r&7-9J(5b?+tc%fUAMEf zHI-fWO0V(z_wPA5%TT=r%oylP+mZS!CzaTCxM%V>guHVJyERx;fqlcz>H8sfO?C3( zPIjb$e{S4vEUnBSm3pmN$=Kk`3Z+woZ+g++nJp2l`^J1oG2t97)@n6hBrRX3vEeFH zonYC~u)Y#;#~LPr9X@G?J1W^7Yxl|N=WNB#&1yWtr~PQUtq!5g75}FDdd#L?x@~gA zdHQ0=n@!>$if$JDSYCK&zUiZh{D@~>k05~qC+^h_nQ7e^u@vIfW-7M)=%l8nIrb7W z*Rb<#*UKMhwo{plu|J-v(Hw>^YR1y)3sG=(r7zAU>EGzAb6)ig!A_gj$Fo$LY1aTW z)775vIXeQR7Kp&J#RxC5%-ne0@w`q~eqK8$!Y7P-l9?riJ5^Q{=!tttBs#oze(0>>wadTsrVYqao2G~nV22OTNk8J$#gv3jk3CTNXun)_>Qvz- z7aQs}GW=X)z21<4tv1&xZw}0AuKs#)181~hT&XxS*rX{NSlS}X+p zMlgJ1XO!wQ-ilRjpRN+DTRWpBZYh`usIB`_e4l)#8s6Hww!S>SFkrK^Mgiv2$KJA~ zs}0vn+nRcb5=HC&I7_U?Q?kn#u|K+Jpm#spC$sta(qr4AUX|baGHQe;7Ol+7O8MUe zism$WdW4zCV}wzHBS;CBMryxbA9fk6SJFNAqYhM-!y_D=Yg!V~{a@L_t#LH^%g*wA zA|J|0Wg9`0RbSpk;FgfPWR9na|E5)N)|p+{L- z2H&G=!$@ytQ32-X4xAnl02wKhF)}j?cpj|1BY4mS->a-_1Yo|^)m0e7Ju~ymbY}e{ z-pW!VUv55%d#I+Dc9_71wnLTh&7zg7W9U{i793KQWMwU2^e}&iLqbE%C}_m8(*;(CEY33Jk;go)A=|vC4@D)>y)!J?EP(YP^G1tB;}U8G zhnrWBAdsW_%atGP!@5EK*yFmPCaVC`sYfW%<4$V@=hhslHlz;v0D!Zy1^|>$|HpkZ3VgS>%!D{~ozF1VCnDO)H_q`pt|NjpC z8?!X|igJpK*Af4p2(}u|GyIo9dR~>?dsUbIXAw$=sJUkKz4bZW$PKTVfCOGTnG|W_Az_Fc^NicS# z6HdK$UQYNF zU%$Kgy7u%k1Yd-EJs*#lm_9p3FGBD(#p%?A26;Lc&H~-V_VBw|vI=3_CZ9~Tc(RSz z+3!o%QY{!cq$^}-C*ya>$Zp=e2^EjrFJJz_IKhaU-k6r0^O5NZnmO zEBZ33XPr*tkAIwco%j72uIW4ac^+3&Ri@#k%83)4I!o?%yjtVw{U(fTSh8mL%?I3j zAKb_6vJ@Q#GUQk~s`t|sziIzpEWi#qPwt^Zv}jCRP&`@;-T$YS+oW!HNC9TeoIpVCd=h zmb~8!uv&08uw2(iGvP7J&+kJa6Pr@-htp!!i`PCHU7v*ujD*F8RHy;$m5uL4seWT` z;?|A3d2@~Dlb0=6IKy5P6gB@OEaPNb8ZmM|t@Bpl{>u9LAKrNn2!lecZ};!rn}*{yRH0yIJz$%8VTMR~ zxk0hfPXG!6IMkGa{tAGoEWRaIiOumh!PAy}MWUpzh_YtpsRjx+FIq54LuqF1$~eDS z!6V7-xXuu>Vy+6islsQz;cc`y@DrPNxK2#mmQ!(kSWaqkvH{6yos;-2Vl0tQ40SyH2f9C2@;&q~qd- za{WEO9J;C)meZrYe)!(s5*F`>j!@d9NNOgR+|OyQb1vuc`9h#6{(C(2^5oAV66tQS z*h8r?dUtfl+v^tn+%PsL??qNC4XXk_93Y&X_wk>|NHk3m`ub(MEbQJgD^q_#NnYKIMma#b#Pz+;-jF5ly71!Qgpw5 zcXxMIRXMgY=;Aj9`bnk~1wOmeF`=O<3M&PQQ@usr4yxVdE4fEQJ=O2GQW$0y1G{jS zp66#3cCK%1?~hTSp?Su3FWJ}t)-#NSye^^kD?hCh`|Eb{I3SQTLW}|EsaX zPd+U9U8axF{Y8nfB%FEFV=K`RD2H0vaegrQz~r6rE?6@GK^D^4L*?LnKav;4Uu!2~00$+KZ@&2+3b254di6lb(a=FAsC76kJ$-rT#$)U$m!+lpU{`D|WmAqAT-uF| zm4~3|N-%9~#X|JgT5^?lP|P7Rrm`0|HzRrR>{OeGkj~5AIPM#H`+#fM$87G-cfiM{yE=X=kf#yPK&KRTV{|AX^dE~qK-gs!&}_Q!bg+Nqj?tb)HDX9Mqu zW~;stu`q_*#(4VmVBmwQt3doGQ5Cg|?|Ii2azjo~lGQPnCN2|K|7etk$$Lqv5Z0e{ zPDVnhui%GH+vL^fLg){B=+!?*j4Ng`2S_NAhE&rkBs*b=-hE z)u-PY8J>QvT8hl=n&wSWB~;h{bkL$EjeOcJRbH9xk-_e~By5C9pQ(n@}GT zU0r~}&H1AVT!hQ|YfQb|C9Tsy$Y*h+L1Rh7P<60L^P1mJwd~p)I=+>s0<8X`%}>38 zJly&5kn!QEtdxtHFOnQ{g>f}SuqTVU$kl1{k8JY8%o>;+eB@M3YL(EN=uiU$FE^Mq z&3;-S97~>0PqH&CGHAUsO>ZzL$UNNCX;=7s4RK5uA|14=zm>VRhJp}K)hOZnt`~M1 zF*U{QG}0aN?%(j!t|-YQmt040pInRWP$8p46MF{YdobJQd^(uwb5as1_6_Jlo*v%9 z!Krmx3|D5b_PUISCJ)HoexW#KS%`~VNUKf}p`YYNW#oFU^NUY;3-7jV;80M?tEfH8 zW=7;IPo(s|KX!hEXeoN0rjAMn4Xn8=d5hooan_Gvbb6%DYtr-(%opU)J5Vd}F5m=GAAbYAeaTBSl z+wvj2FPal@Tbfha=IAlkUGeYI6HIUx1O96upCv)5M>x~%kMb*DaS=r)r9QeSK1(Qz zAq^^y`9+Kd7J>*KYWe|hoB3jPP2U*u#hOF6B>c+`nkXJ7zX@Z=OiVLAYN|Cyg_OYQ zFBi>F;g`yPx^YOK&v7~n)DKzw<0lZKJ712X)3N@V+iJ-O{vAJenJ+i$0(-kZ*WU^G zGB*46N5m%nzBN_xgk#F6`21A zCRbHgBEb<;p(o&y+20T-^2V2UY2HqpU)I))c@*(0K2aC)3@CsvCjL372$Q~Z6CL(fIHNJ4Zu*}krZE__UI|vcTYY;p zf++9oVK>+>OTSk3?Cb3%<+UY0uk!}RCd}NDm+t_YqTJJ`FcrIYGBxX_Z|)ry1@S0G zpWNT(&j?c1fh8)oyBaz)Cug}JawJd2dg3w30eUAMR-P!mKN)Z#<7q z&^3mCV@o5M0s~=cR@Hq-`BV!R!Pe;Hz0peTcUw($pc-@S&6upnL+#@2vx+mnuzKwA zr9%&c!-Un_!%}$relX9TxU1qzDSJ~k_wZoXDT;+^S|p~mH{k308S%6# zOngfM5J3f=0Ich;sR1!ZPropbqY8O4J^HVoKVK_q09T`Z+RO3q^T&nsbPbB9YK&Qm(ZdaxNMR0swjet$9aCk};< zzo7YBTMqZN^z^9!cVk6{LpnytyU6f9Ni(*#rV6|DFT!@I+i z52xdp!Lhp5k0vIBsjXubCuyFcH)!g~ylYdw)I2G?SB@pD$L6({{%efQrKbG(Yd(7JMxMXR^9Jk<3#vNU(3?oBw@sLW{v=3i^QI;eZe32 zGc|7E)i9Hfi~Ygw{nj0WdJ5-f3woHz+9v1TNOoJj;Ks|`H-n|#0ob|^Z@aHI{JiT3 z7=28%P2Xg8*$FMWH0)rO=zMB--h`Ezc0D#;meuooo$?SS#9qy_g*>U9xlY)q@heZ* zQyo++M8XRndFy5e#5P@>VePjIH%K`o#OwCHBV#d}$nl|-^K-2BG zyYhe>O|0x)k+OoEoF{M)VBn(`%TQYk^ZGgr7IOv^1aSKfjOc4 zrCztq?nfQh|3!weMYGgYHe^N*ik)mnPO^~--aFUotm$467eJ^Nb!=6uIPfs!E@jwZ zRxhgi7-#$3|3leVMpd;%;bOrRMMR_#ly0P@RSwva?Hvq*c?!FoMc0}e|deL*NCajb@C^$?v;lgW>sX5&P#jZ zB=KFXQ#yVDew_QLQKwe=w6+s<9p`S|>(LGFPSM=57rX!cc`PD3P8{K?&m-p~%-zmwla7+;!ht`GhBD{d6{+vaybeY!iL@jxl%T4T{p86|ejhuWJ&IWiM7oe-IE)Ud9tO zS$)cFth1unN`AkGWtLv|A-Ay?I}MPJWGu{@MQfx3^>%JH;X)x~Z8}VUj|zh|gH07$ zYir}Wo;Pls`716r)1Qv3%S#o+>lNP8N}8fS6t!FU+N5qu7jnWb!p$2-cHi^)KTu2w zx%IF=?tetfAZiV?GHa1Ao&@*aQm}zYJIPgvu7Xta_o&nB z*_e-7nrxlCwLy$I8C2_@g%$c^$mJT%1te%x-3|~ zZ7#uoB-(8T?UP{GVvkAF7a?*t(iA?;m~X#*`)-xtqq@@;%09ItZ_VioDUd9RBvcN4 z{iElzxOEKDuXi?26=!CMSLZ^tpZ!GDAaJ;5N<%p+mSM4(u%pjCN->)q&3JbGCc5D+ z5=B7D3hVOlz6HGNgGiW!Q~6uNE!Z{)-2OBRG-`m?K$8ymiAY~T;R_Vr{v(65b5$OP zvEMDmeTZI%WQ9U6zq8~0RB_Lm4UTCm8>7>7BA2+d@S=qhC2g;(>vYVvu*o$3DH5lSiv5&kI>B*L0kV zY)qUp38sWB+g@qbUfb;KZbWRf{zD^IDq zH@V#%B*bM{mmsoLNFh9eXUqI0C*8Xtud{}=Q!4s-%rFDdoinZp7Zjg+F*m2!U2cr7 zFa5ixgpq@Y<_*(LCtZ%a5-6VeeAY8=&Qiyit*reIkyfwj+3yejA0YNKKzhV;Bp0eG zO@)L&A@Y_>I!St{e1dAx0it!Rd?HXbuvI**~5@?C78wZ9pW z`z0-ui-x+|_3<%D=G%$9D!Y}q4V|(_Vt?p3ckSL(6c_k;8LV(E)3CCmzHw5zm}>dA z*d5&^;7n_Uo%r6{E;&U-yUVjffEr&N&v?L@2lhXAf$9ff7$Ef?{`vFO%8FFL0FU~9 zPqBz3CXV{Tum$H%)1`3XUW^zQ`=h9Kwq2dQX2vR`&c5 z+*m}0iY$rz(a(yF;}&v~eTriW4!@rBA!Y63r2T}I(d%}i&eLUN0X zrI7hEm#Ucw(1U?Z$E4Rhs2+fXB#CQ1h@a&H(kfrupsP>?Lr`~pMez7BH0xhH{%5@0 zicwSv=(Awky1$-_WK0&4b{nY`V|oB&BDqou3iuqsme&jXcHG^s0Lc!FP%lr;qY@k#MqTJZIqusMsKtjs0F*P*}n^W}5g1t3R1kkV zy_gGh+V>wm6qT1>C$yB@xYsUbAtA{W0*@Fz5nfRYnraFP2k^}wKYpAjw*p~|W9Tdc z)(j{i*0A8gn~RHenftDJ!2WvW9w)TWsRDtvyLhNTLc_oSmUk6!r(kyy&7c_v$eKJ= z7T}AEzMTMKv#8Gmd}HsAl%8++uaiZQkPZc?o;Ei%!57>^MxF*>BQU?s*(aKth4y&f z&(ylv*_n-%aJ<(1`^(nqo`QdkLgZAbsCQMcv!qr)6NU>`V0qt6DOHQn;(4 zbt?r4cxMRr&8YOofKtU@7V~!vn*AH*Uj2R1fh{1_Qz2ntlzaE!t9O7;O~7HP|Ca;X{r3e&zaUlP zA9Uk0pK}v0NO8BZ0}Mch!oq^rsGE>P3}n0>J$eKzbyQSfQH$v40Ju;I##d}wR}tuP zwyp3^nOlFa`7RzlK42=rP&ozBxUdU2&7G+#9H7fV!I$iQ=GQPcIx)e`$tk*B3_4ge zTw3r}NA#Pg$ofHpVFZMd+S=B@Rv<&J<}Q$!L8vtI=T9&oP}%DQR($~UPeB$cRR9?Y z>BLpXbub6i9Kg9c+7&)_KV#uzx`{VPIXxC{OZzhoT}A5TC?=nB;)^k?p(pn%lI z_c3!bvkgn)A67F-zu!@DNf^I}W8hO)_cmo=;TB-%qT{~&sxJmXG&D4Xg@KRsI?ac$ zlm;5_LPA13M1{q-0XACme(o*Eg&`r?QBqTj?xC82!kMF^BMc2FSCy8QE@BPClZH+L zEtin-PC!2AVNOpajrx82C@KP5KLM45g#8N8gm{VDKaYV z*j~S1*>A=~M=M{#6GgI#)-wvKW`Lq_ zg3J&qV=7S1tE$c+q}Ta#&M^MY`d!F7)NmYQT&&+N3!yZ(ybK6YYyyIgCF>1QP9lt5PkB+AzL;mKqf0ZkeLA|)*?Z521g(#gpwk<%vQKt1~jBpOgnk+gfC1_$be>gAxYWNK{8<9gCN zIjPZyaqBgvLOdZGNJ4!5`W5t);J?U=fzG*`AmFxLl|jLvnf@jk4#Z#CtKg8jx@%D8 zhkXnLD4{DKKQpsjSRpiFni?A)%K}=G{4@vX7+|{miZCd(;V$R?@p1G+O9gzNhTXkA zF4vRqZ{Oya0m>4VA@UJ-diAo0|NPVY_a$R%jMV#W@VW38U*AzsLWrbQ)~a*2FgA_} z4TbznR`QBa3PdEpwtaw%*rpQZJRnlrC4fjSAucX2CnqNY5!Cw*RBhNqF3tkB(BYzeO^}|JE++#4`=$?$PGh0Q>{Q2PDkXv$H7Gkl*hJIjtKf zCaSvMD&m6Z48Wct=EJB79~nU;fw)-iZCFx1ewKdz7$Gby-dyJNXZDSTMuG?#GYg9i z$c5S3ZuX}Kq@|HMdstK(cEy1&dJ4!dgi(W>5y)zo+hY=XOplB>fbfX{0|;+rl$SdI zV*Bc1zXzylK!~xJuEwjIz4I|Jr$-hPMsA2fuoHr|F$iR6SJ_*@3Puu|WiI&eGbF6H zZ#^Nn5(RT#LVpE}e?8V(+^oR19K@pT-OS`KQV^1$j`aTh`@iNvtAI($;dcRH3_3osg4z zf&m94^cp|kgKm%iBbc&r5ulj$9i6OU;``Vph}x%)xy5kdP9I6;E*~3oryA zJ~Rcf2uK=o`G4QeL1p6t+Dm}6e~N_#1V%`p&KNK(8Iti?Sy>q)pXQ1UIv~?hoZe%i zqwAcW)`CQU^jcmitQh(4y2uEXQ>SkpfaV=jh3D$)>mjN7`8Ldfwi^e;fwC>an&R<4 zkaClFoaC0T?glhH3236jHv9GQmVAZ;9&rBJ%(6fqK%-b+6dnz%03>gbKMED*5ZVFT zZES1|rW);az<VAf*t4BQL0^k-%q=OJ5hO~g&N3)`1tss7ewx$3NpH*2ivo3r~uUs)xd=W_kGRIyb92GShPwJ zli}}P;!04+lRbgYwt)Ev8fhyNi>zbAaNRn^TIZfd~=jNJ~^4>}R z_6?+L=0PnT;^Rh-$4C>XHRk4d5e;0hio+AtH!_N@AfG_`LddxXQwK&o0rGCDUiN3` z;K1;uq`a6$zJ+A$eE0SnS65fjTKp$Z!wr8!a5D|K7ZLBc~J*5(3`RMR4>~=Xx6Ei~NYt zaj8AB9d-ZI)x+Z&42~eo&S5d?5AH){s|Sq)hi#sBzmT9e4|7(~=MJp9B%sOwa1O|^ z{hIF~hp5o8v#~|m;%tJP2!NPi=vH5*Kf%DbSv?_A_}wp5!tg&$GT}b7vDt?#{D^?P zb84!_|F{G=;{{qZVhC6T5jxuw4X>DyU@pqm6)9fbBk zl|5piDi1n4r6nb~n(TW}X^@LY0dyuu-@mNPwA|8yj{Zw&sbXX#!5hXvMy+qL@f@BV zcS1!HA{GDa88{oS2CVc9h-Eme_Ugc80DXW?^A$65e|x)slkQMKzNhDHpa}sJJ<7J` zKGO4ae;b817dqh}!cb+Fw<&)hP+`-MxtN>b-<~&JlX(MS4<1oaf;e*-xsD6wHDp(;1b=XUn*=g$SIB^mYH)`~wJ zcT=J81D!q$KnUnGY%YTeOrf?gdsS36h6pt~`&uyn_QlyoenP^r)dkR+-oq+YDkavj zzqbd{UN^hnCB+v=t`sz_vMekthlhtCg~17>d&Q5?=x7cYQ%IQczPJxRmxm8z6zP3| z$tA}rLVa?&@7)r_>v$9xXF1aWMZG+fXds_NBdQ93DDSr^pi#HdohUA+WP)7L*WcgX z)~3T83&9IAZU)<}iiR+QA#lPUn(CUFmDyyL=bCYI=3$A@!`7uMZokT5=CNNRf)y$d zm{jzfn%@$6oUH5ry$|&o>;|l}A0zQ$Vl8HQTpmUP-^J84CnzXr6K!#2 z?48d!mgH~bCBghdl&?gEE=6V(q8Zj~2gnZoW$qWdEo^4Pk1@P{LqMOjM>eR?Jv`3A zEw^lPaz6W(x$-0ws=U{)Kf+aR4jJm}gMK*-`YmazTd%(;grva}_yaQ!CR_0c!xKND zFZduJ#YtjnX1rSG_`!vgbS(FtY69y0Sl8LtIv<#zvUdefPCrbnXBbdd%DD2~=oK0? z8{7!h78St;H>|pE9F)00EA|U6Q|f^y;Ui(PCx8gFf;Ag!S^%I8@T6h&&|o;9{cSQm zjhlk_oy0F~<8V#R&hF<6rHA#^g;NF30cfnQT+;Y5H={X zUF(;OXUC9L7ic)ARbJ1@?a-oZ-ELoK5h%C9`Nvy>;TU!lzef#V`k@g8A453~En%p` z|NMF1_U9#R#em+Pot+)V)Gw}A0?XDol*H$I9gN~L&TwV`dS7l%JVfzbXXiVGlapK{ zJI=40n3?w~9kkC6Oi(f0j;9N~|;)$N*j<1YUktmanf;KE9=~@2&`bmc>MMM8xR9oV64-RH$&~17Eo3 z`v8d#XOnpb^T`ufF7@+R;s4CcVZJ<7wkBrARC*RN4u;2TB}W&hoAvc@!TBmhZ(*N_ z^m+l4h=}3zYf4HV#D`QO7sPxwDD>`m97uHQL%A?)8B|@*$jH<-?x?Bf(Za*f)YRLF*Y;D-1ImhnZO$N}Cqc zC0U`s8RO#QRE+=nqz@Kxa$@91jqg~{G+S>_fN=Hn)Mn_Me5Ze0(6-LltCk;xS zVbG*&76b6PZ&sS${bx#=_3t z-P-EQ`&}3InwpziE@=FW;uh7NNLIlZ=Wop(4~5StwWphS=QdT2IA>?%^OcM8T6s7< z+d}2<o276-NT-n<9LbiiF@mCeLEOVz5Jhd?? z6ZOB+lP@m}1kOw4vs0TAGGAQsUOnL`uUO|7^63hR$fipQSv|zhlWu<*BY|Z%gl!S1 zc{V1Mq;DnD)b2`SeR;&>6CRD67i*fO@I>9L$0T~Vj8@*-{x}jtO@K&ai@~64DLaQI zl!pNwY*7SBLQm%}kFPT)0vp1L$_{+EgA@62#?9L{`Exv~HR>(9*3Qkqo#Da21yAOg zTK7!(Sbjy|o8eHkJeT}vQ+%3nXExFr}Zhi`c8k-zn%#vi~3uxZ`M%d zX-}ET{Fi-O<@{9Tnv0aLwP?&qXs9|pLJzDbVnZZ75);_L59W;{3*@!0&apl6^U2Er zjfhAMgURWubDWt;3>uT*Kif<-;k7hg*PFZhn8H>Md7TGb7Q#ry`PQgO7e~@+mZ#{T zd**n2(%<|#QkD=0-=Xn%@7|0$e*(Y=e`GfE~#hK_hAEY>qqQVPS0KVCn?yyZ53lulrA&e^7=i04`VFZ3`B zA9aPhbnVGi*%emN5C2gtlitvcA2d=wd_70026~dHBMyx}^Ur7$pT2TgeWaY;)h61$ zbv*SdWQkKiJ%bN9*CNQ*xiWZME=NL2t^R_S8~x0}t>ttk_6qGlm>W*{o98WlWlw9* z^lkUj&u&L2mhx*Y=1m;TkYyeU*G(9YyPZ4Z(6==n_y%;_SklDXKSGV4>H4}jTrhF% z?m9VQ-_oOZwGvgvGkKJc^OAnAhO zrRBdnsh{|>8qE_eWxEs+-U?`y<=yD96W4>QqkiVzQ_r&eVN5`soNtKfRe=|BTV_t> zF2mdvtVPKcbTdr96uK2hET;%Au;o9VO;UWZJ*VZ`l)j?2(B(88IuY!_;p?!RXvi(S zL`Y)mEhO(A5_@ITHWBmZZKv1sdFXbq@J)L{%ORw#{{siE#P-^+wRB7cl6iKs53h`C z@x$$dITe{dl&lE8U~)%`Q>S@DPSS5Yb-EMKP&e~Z%}14eg;vai`TPD6uI0o=UqF>< zM~YsnJy@_1@OYEcXfU6=-7)FaK%V)*e^O+%jR-{DH)Ofba3%5W{-iwylq`&WBw=^2C=|i5`M3*)bD^X7$%#!{gedQEcO;x|-jx7)+sLd@$ zmNC@OH7X`nHEt^T;CvzfUHpfd>)UO*8{5yOa?*AN$a}1>*1u}@Z)6u2(C4V$dSdQT-%qk_#R74E;IW{U`_Oj&=v zz#_wm;vtgWQ|}H8P9-lU+!L+F)J_+Wvr|oScjYtd^fjxo%@(=rk7ltE-%=Te?pW%+8P2bhIypN_ zs-n0#x@dp{+f@lrBB{5G*O!@168LOn}7cC=REp7>CK z-TD0imBOIF1Y0tTUSv^TLsAM!w-3MdF6_Chhz+tUOhY%8EvpSaTqS#)sp4ZBkrSyf z+1ug-H1s^FQLpxJD13SOxy0K=&c{Ugw(h2yu|7{-U8A1wNQ#A}tE|EKk52YE)8k|& zNwY>@JTYWUscWV;*1xjK-zPIQ{c5mT>$9QUVvET6f@m+BZb`83YSSH6?^sjbX&jHs z;ji-0J-`X)zPOxSOVl)#_{>_Ri2vmh$`)egPp@Ai2%8S=6g(O|PouTX*3pRaQxJ%4 z%tUWmhAv-`MJ2Zgoz+ptPuu*=xI>?tT~d+HcFHIDPsj6{mKRc~V#v`)U$r2X z!n}_Qcim9CPFYGFWmu%%IDeO+W5+WlH(0u;9??qVn0C%|-5M${IK$GW)~r1Vk>7>` zijGGN7BnJW;x>oFX$BR-@&RU{X<;f7h#BpqIlXF&!BzEZ%`NQ({Pmc{dO7P*QA9-{ zhkJC~Rz|J_;?CLnRSL`EL2<~|t?jUiiCSFZ*p~aJE?$vbKE7N>m;D|KJBirznvZ!5 zl$E^#+8%DSc&Ch1(vxCYEIR`>o8W zJt7Pf^@>XPtA1;8MBl9yS2zi9ufMM2aW7%l%q*B>GD&ra9v;%}FmbTnp79%f*zR6q z;)GD*e`Y{pz4k|B#=fW1y^crHSwE+d1mBRJ$BJ`*8(o^kVZxYF1-c=zdnX9jW!8X4~zo93stGQL>|WBf)zDBIikHn0<#6_x0ha zfZ5oh+4OZ_#M4psUmLQINLR=0xzQkJTTHnf4_Wv~WXLT2jhif0bUeeFrla#hq9i$+ ztFDg?WF!W>EoFE!c$M3D-1;G`p(0~Zjl)-%BsOc^L)zwSk-k}y#~*N{5?Bc4S&Ul} zCIa%mjpg?nZ&Ip3!?`N^p{es}55L?`18zp+8KcQ|do}8w;Coo8pL^D6W3%+Qa)Q?n zKQ7>8cSNXhIBXx+th7rG4iiULjODN2Qx!u-C`5D>+CiTk=~qt&DalY&q&d=uEw`t>yYEG5sO+8Y6xs|v%oJtN@)M~Td&m2TcBhVt#DQdf z#XH|Irl3!^qUNkc`<9xMRI1={x4Vm#@~=PEcJd$We-+@2ty9>bMBqF9z9L{8FG_Wt zqlqgB^&CuN&|DU*ZkO#h%PRUc9QaIR$Jw00H# zq22S!a~`hvoQ|czz>LVe+Jg=9!r_e{hVhCm=Dxm&dz@qUn%r3w0k#6;*o^aqZS-rGxIa%#56dl^UsYu{HNIx-gD_qs>8pU(|DT&;` zIUP|E)cIMYgm!i$G>(cIs-NmdTuDra10@j>pd!vtPQb~o0_EjpEzt-$QH8RkCB|jlALEfr9`2EMw7O^^5cH7-_zd+|RZV&hjN?m1MjzI#F|$!hvQZ4S z)2s)##CnESUe5e8bIh+1a+Ik;$IyL$@965)xTkOOTLkC*XkVJ2whW!Ggc0pr$&^;CzJ7uG{GQNvc#-#?Lp+P<}7=w;Ux&*Aa2@qJA-}pNP!! zkW`|He(iJ(MyFD(Og0=N!HbtxW3t!kvEK^v>tCcM1itNe_BhlEv42a4Z4-Y;Q!=<{ zGGK;ZQacsJH-7GA-$kuKkXNs--+XBs%d}`)70iFE@XYT3wg1A`cOp-E&5zE&#)e@- z@QnJ?iApv>b?I0>IsUodktkQruRh)N`hNvGXg7_cqpuxLH+Vu-CYL6x+B?Ucp_z1h zVlO~MKvAGWB$u6c?-B=F6ruD8>!K8vbtLNSRR?lZi31nG8KnzP`N_72B=}}u5r`b; zM-t5y-)LnK7U|g+b2EC1v4N3Sw8W~ebsrknAB7T7lqu88H~*5!9d~!5wcRl0^7@^i zPc`7U_K?D1=djNxF9=QJ;-o0pPM|6SGhoKye#1M3GpSgW7-__$p%f8Ovc`GPK|+%p zbAcm<>@5tYvE)HjRZK-zP13l0clXQhb%k(NUo=CJFnXAtvJ`V4yp0k@d&&&;SR;ac zWOIXLP0O|RjBDn(ulLj#i>N##GLx>>;!p~OB|nsgNL=)*T%PzOr;wpY#MWqwKkN=# z8Xgw+!kHB39Bo*=$h$MeaY5@w)_?xkW{lfYgTkxvc9Kfx)%*2!$Diy+m|Nj!(3n9W znwpy0+e@pXN2&fzKF0KI%Efjc5Izj2cU~~Qb9G}v%%%ASjed6V-qLH|e@?f*Gylb_rVylBVVX?2&YT5%ms(Hz* zoY*vzV!%y-#ME%?dNG0^?P!bVyJK`^USyl(hYw5`qBa(7L+gS+g4;}Q1Qe)gmHXe5 zjB6)6(>xP>`=+l$O;GJl2D@AI*nwu5lSkth7EqgNInLv%-f~%xs;RD_lsX_98B@qF zxFdsv9M4yCO}%)joQbwvJ8gX>sTFX`o!mqRPa{7Gaqe$3Z@T---s#!$mi+bf?quG~ z@ig(zmnwf&*IR_oa=##)cl5f0Nb%K}W$D^IWXWc;xU(WR#H$%t{b8W>^CVi#B*Rn` zUXjk`$7SqGA0@gttje6#3Cde|du}oc^sm$7rp!*YKg+$Qo<;woF$x@Q_R&S(3AXW0e}J=6eYCx+-dOrl zN6;zB|I^S`d{SO@v=<>d8CF0CPF84jbP;Lgl~U(y9=EpS4wf8#nS-AfKK+`<4^^*< zf)EWAF&6WG{jXx)aM4s)m93!ik9`-Xi+4EZ`dKfifY$6Vu((XIB|*>jS-U+ky!3v= zZwe9&Z3H59z8uu)sWF8F1Kw{U2Ts^8>dGngFQsvx#Vzk#xPO)mFf6-lCi3gak$i}T ztKQ`4%ei2X2oqv&z@>P;k4(zKbd zeLvGOX--pnJ_ey3T_p<@UcsKNk51V}J238NWn#MBPhAt@_jO%DMJ9E7*V}c&3xz(U zx^X#=8il0Q`tcHWVICb4DY-|5HZ=x`9eZ6|QDidGY8>hG=1;9BPdY2gu_v$fXB1aF z$-yrhs9Y1}6TXM?Okw45s7j->>-oIxtQVzseeGqYCZUR?74)c)WOS2zzA&SsuXEZG ztbEg9*I(Ziq+W2CG@dwXO7-S-8O6ZNnG{(JgD0kswv@o36S+~5n$PsR< zN?u9}Gv;e-YPh%@+De(ZO=fU%?_S^UqFVRhecYUx)2o-6nq!ncWFrlBg4ebS>S>|@nsII&aEp9;XnY_}lHAt6i5`P&Hw23?IzTWmJ zz>Rn_F0b*cC&wF>Xi@G9LlZH4O+PAH<^bR6rmIc93k9i^9|GOX6=#;1*p-qhjxX7^ z7iF~p(C6V1!<6mTuwE@DL{lkXF%+rGKwo*fXjo_O+~XM}#jP3dF!?Q0r}AfdanA;U z_LR8Wtp3-x2y{0iWW#+0zNE%ZFG}oE!k;Fi*9FKIt3n8}QMh#s{cA=Cz8)gxRPX3BLHHU`<5!>NV&TecTtBk{*k9>jL14mKPHGLzGq z*kV{0ubj{S9M@b)j+fcZDE!Vg6t}V`sN256$sosyVl2$&rgPb7ZC@6{jd6=CZZ4C+ zL-tBf&t7=f_rbL81tuMuX+@HCeGId=Z*w5t!pchKD1dIh-Y0<0CvIaxEKWuK|W4x@P*;OG1Mo!$E~)$is9gbv|*51LPAG>-NU zJC5b=>M~(4sfq<@+p1sftDvhN_S0jdqDMN79Q1JJHt)DBz4EYZEhvZ-B=0+(jEZkK zY>&|S@Cw=RbHSZW99NFfCXI22JWrg$)w0XOIhW>e~Z=Ap*?QZ zu5l^X=w9jexDL4Hp0@Dc3hRpf<4z#Z1cpJuj6agj%y@!Z^j>m`5iZYNGi&O#lwHlM z-K1o3QNL0;K07;cNfLkF%l(sk8)1ip8r<=Qb^kn&VwrSZJc#c8jIcEd8~PaDBSsVZ zB(l0NpB*Fd++=?7`Weo8c`2)$SUbn`{>W|gT%BhtlL6BMiN2|22k$j7C?p36e9Erp zoUi_1@IEOxEmw8DEX3+A)!Mk7Boe8iY`{N`F8j(kPe+|bGMNxD#NL?iZFeBA-@`DM69X+gJr-sFf{cfg^PyBk@lh^XI|J@>AL zvH*!c-)Y_M1CMT#xyi1#984ENm3=aG`{!Gw({)pt?#W8_Pcbk;N9DCIbM_V!u8#&u zo~%uTH6~2eSGW-5|NNS}6Il1>bicQkJr0YADDqi>9FgXi1H?Jm4dCm0dAY~gfk`|& z^W|Q~A3`kCyEhQX!8;X;S^b!cOMKUiRWYxc4V^28YSyW#JB{8;bfNvIK+CIoaW7Ok zC@v(V7f%1dt89E!!8#y=r)YLed*hk?2sy7ZGA5(l8%(mP=E5!a#k5<=#>qSz zv`&dNH;@~UoP~23Ds#Ip_EG&u!YXO?GNfTfZsgBw!~%X>nr%@j`g9=1q>nd$a=#z? z#y+LlMJ6vt+Vfbp2cy)9rnfUEAXbq+>RjXdP+(;R?vPQy!zky>f+6#V4V3>23ozAd z_?_OoQeikTwE8HUHFWT6K8;=hCECf&AX^OQ;bGLcC@-YA-(1OSY%8m2KEg0{!CL_) zcZBd-S^2)a)z{a599m$hIYr&>v47n2AP9}fc0g7;*4MwE#Lz{1XpPmZgk0$GPDs2n zUmstaEcDT1B@6-X5EyCwijXf^n=Y&Cd!0;=n0>guuf+{+T5iuLTxlX zIDVf#ttmd84c_9;nNEE{!+;$E=k8$iq)MkWwUmXQ-;B0Xo9Q8rX|oYzI$u2+!=Wj} z_-J}x&kN5Lg@&BUm(L-)Us(<%5I4Q4-s{+a+B9uw-|whR`=7SD=fx{GuC#!YTXS-{ zX|{aT=P)tj$evz-43z@S`7qbk)>anwX5z%+aW~Gsy7^D{o`NlTG#`&XWdNYYK+g_4 zx4>HHOH}w}ffU6P!}N4REI%~KFN*61A)+CPDly4PT5CJZu0=8bR29<+TKs@fXut9Y zdD9qx?&_smOq2mBDZpu8hz?u)OxhEf7BC}iK4li^u7uCvBG|>QdJ)2PZ-T~u`8Cat zj*^jt6%k9`z=@eyStEpH6!lCt7P3tBU*T&S^=#*?QsLtXTK#b5>T9>3)i*Y#I(Jh5 zA$k($=w#y4v(iAtH=5@h3{rbHyn2MM2VtN4kOcU zzaEf%69h&fKki^FH+OYO?#=1H{|+CJ2rctWfwwn}zlpXs(Z6j%`DJj*a+*9oSbL1; z!}6(;0?+QVFEScFnVw>+?5(dE(DwvjAK)iKi~4WfK?Y1VMxWKKTczPZ=wd;3mxm)Nfn&~}ARU35{|$%$h% z@Pydp*o8}f{BS)xpq4Ic4C`3xj$!ihm9w^H*QllvSCnx$c{>+|N$CqKNM|Cq^54rH z0Jt2Fs4y15TxR#Zp|wj>rqj?A5kW|D27Px>Ri{(jb*zSVq}}GItW?UaUq&hBLE}Yw z!k=CPSn#=C4PXk`UcP*uN*~QwCn6qR#GduQ#d11ORE&fK;7tDu_9U4M$iMP(4veNo zvaK;2dAN;xTGb*G#Y@Z>c(}MXsPg7=7IzEQQ9UIXgE6g;29I z+?e~-sSydy{64RnE2@8hLEhsX1f3 z;a9eO^~bNietvi17z=CH&lngTwQo zT%VtRi_l@zmg04MTtmuAXvNIpbF~++s5l30-#9R%yJ^dwXyD@G1IFgFFY1E;;lR<; zWyy?GQqSW?-Q5Ukl${w5Ap|J80iG|krW*hS(7eSX#zp?vBRNJG=?lGUAbTy!u!TE; zfG_|_F#6hNXH|V3-T&8dAF=y{g&Em$EG!~Y5CI>c`olOhl@!9Erz2G`fb3LSPHy7cRU=e^j$)wUYr7#N+tq zIX}Pl(Ky<}hhUxgEk9opfpYscvc*J{qRexbQW-P!B;Ji$L&<}94#eX8e6iIGpP(>c zS(DQs(7;&D$2T=?<`q{#t&Q+7)4kW&6%~R+MBM0v|2!u_L;C{wHxXy7P+)ktgR;E7 z@Es(PLQld{?K*crI=_4=!+-|9ep}?-UsjFJi9L95h!~>dQiR}fDkt(zxHNoT z+%zWv2oMxRR}Ku5&4x=&0l~hl zpw|Ha7r>E5iFX0~0frsmY~>oJ5JxC!^&X1wdXpa$_4C5e^Q=@I=~1ZYe48 zJ3AhLmzDCRj5i72b)y$bZgxwzD{ux|e{ zN}VUP1GU2&sl(m*djU;h%Hn|Df=R^te)i*^2KDT%z`#ihi)ZSkrrDV-g0*B;W8U6i zOTE+BqV0b1YQG_T0;WBnTy9Wlx_WSmLABdL>;V&qb*n+dt}8AZ4S#TKsMM{>UI@?w z{$KLf=63J;`K_g-FfwYn;u0s*#kT4efrnSohXobRQ|% z&);ScpdmoIm;(+3pxE*R(?J1>h6d|e7QDtT!Ce!|1*HJfH`wOvF5^E;Zp@4d3JOy7 zpdEICP*NHOf`a?$QncYf!E^o$#%p>Mtb zo~N=c9i;C_XPDNX?x08|^U; zMbWifaS4gd@zMho5QMo|V8Aw;5UvIzOQiw}?5(*B0K!pMAm9%*j^FRoZ(95L94oWWvwD69Q`BDwrJ()o8*>3U5^dM_bUFKEx(M zV&w(6Ie^GO0}t%Hw)@grz(s|Y4sIY8c$S$N89-~`diAQ6U+CroWe5QW1$Jyef`ETb z2H#VWdHgCY8#tTix3a5ZDAKd(g#~e zU?>4FesgV&6Xp!?79Ttas6@xT`G$3M0Q3WEX=-W;?he+#>yw3G$UmVXz-9u52q?4B z;pu=7@?d+rSl{p4uNRa|>S_%D#0>dsq@@MCxK|z`dvz=U8wRB1f`K6c@Oa=^**&9z zkAK}T`0x24{SN#x!0`B7j_870oM2sQju zD1-j~<=2$gK{tmc@cNJIck`1m)eUd(=Jo&ck>-Lor;bRytGoTv09+689c?#EAxjhzgJrmkmMkrF9&Y%C@=WC_>W>>fCD>plAfoA7^;%y%L zt4aH0$2FWHbsM#~8-UB?)Kp!~o?00aL5P}pt{USItAhQ*!6x?Xp0b?hOJlP12{DHc zd(Lidmi1{yjr3%#ZJGr?WyJ^`l>`8Gb(ed2Dn|0CN+*=;%Do9{+k-w;j#3ZjZgSR6XjO>U;zwmU-Q$(6Y~FW+sG>nN!8K(M&3DYQitN>_)ZFXtEtYHFV! zKBaWYRWhV#?wU9tU|J{?-f54ZhGT5!;TWlWb=>$k)p7f0Oo#E9BX64`iSPU$^uYK3 zH+sN4MdfUYCcW8R*IldeCcK{CApw>pWJGS_UaA^XUWfrX0(&p)CTVU3&(s6_9OGR-C-` zr>3Rn!ft+qQDP{D?vNB6y=;f=us3_(z0Tr?!qWS}yy?AvBQ0{nsN)Q2&(+YUTrLX5 zSAwJ+*y(DXwKFPK4JS`I*YPGEH;H9@n>t^a+%5ENwY2+5$EHmGPD7n7?G1-+Sd%Uj z#7e3?&EA)=WlzP;KBy*~9K zq!8$8ty)B)m3Xjw-Qm-v#6Rb;CVH!GT;!YihFfR0vc->|$Wtpq)!kSDP0~A;Cb=p4 zi#&|dRAJWTO1W(bG0EuvWgTYf#5Cp@vFL#ZkHP^s{}Iu%jjX z#^(@-ed2Es5`Bgq*3{L%Gy;AvYIIQ1#af$%VqvIu*Q#@UHjVEV)llck43pC_ot(>` zIWD(&gODh**Y4r;(D)h8_%xCs{BU!_)XM*WYxl?c=O1Gd5bg^NrWw2m;)wQ2r9!9M zZ4slF-3V5Cu9{A{^m0W}Uh??d3;QhHZ2VF!cbDZFUKK9kNP`-h{Xdzz;$oDB^|!?p zgG`cH$T6>sa$DZf%yiAU1=6gAkO}9%Ty8IGd*pHlzJvQ*kM{%0dCU2nT9hPH=kSZgp#+8SVU125||!&hCB%Bp*+|GRD5rtGdY>hH6* zp7CI7h?9It-ARfhwPa>G_j}p==0{D&;-NsphrO~4vBuY5lqKT}*bFX@!fUl0c;^-6 z7V9=}f+gWn})mAYP&Gr zdUHtvYXo1JCC_QE6^f$SXi@&irw_UqR==BD(J>qO>0Dl#&B#!bh7$2J>Ko`+R_=BZ z#S!bVuT=pL_g{;X3fs2vt>NGRj(ivkfg64{j75WNIqjula)T>rXS6GW$hkZnHqOdj zCl{CKr;m5#eW@ttp7j0ME5$NQASE$Kyh>)DlNrb`Fq*80_7S#}>aNN}>E35f<`to# zVhe9G?3gP<5$?)ZWbsOuLd0#M@t6JXCnI_D>9xPJxwuE9HFs<7Ay;NOZrd4hR<={Jm{D5ZPK+Y(K3jNi?mF`Lrsd3k;`aZ!THC9`_a`VtPl$KRpQ z|I#M8)_fkZqf@X|JlM5Bc?AM)|uuz+_Bn`RRezz2E|OSG6k0K*xN`o3B!X(Vqke zo-+F1CA33fGqeahjce(Rk?QQZJN-W|7+O@wYgvo6V@c;a8fbpxQC(GT&ot&pa*!9Q zOss9f?KAfHDV(Ssq=qw`kmG$px(CD0e@3gqI$Z*n+;Qv{i||qZfElmhcKfRjRmo6H z#3g-LnY1bqIxe7kL(Z0_%8^r2>cGY!OYp4B{~m_Hq&Q>j-ul51mj!s7k&%?;Sg-l* zdJ~81V_gI;jvc`HF z*Ty25=e7J1d#@Jl#H*Cpa9 z64AIwK9`Orn-TPM$mK1!QQ#)zd-?V33kmU;g~p3&s-N0AFn2x*1^JdamM>UWAR6CU z|J2y_8}#J3B~YQk;Pw06%TZvkv_y}E)iY%dkKt$I+gTqT;2#S*JlJAqK=GUop8MdU z+tMG|Db^Yxacx#wP7$ANIN9A-5H4DEYbBNOv1|+HF_{gqm3>t48rt@jipD_bLbL6# z?4b&Q!q~d+UCz|@<)Ke|yC_|&ol7(r7+&d(OV%ZKQw0(Oe~QtO=vqe%{^0VZ9ari% zM=^;C%dqo{UI9B*T?~wXE>`|H}@ws;@rOzaJOgbjSkBZQR~c$xTV9~R*{gx};K z)8OClPEJq1;IRme-)r>D3?{C1iZ0YKwlp)L=#sa%NKn=ZP6`+bB;4ZqGZ37MC-Gk8 z_~pU5nB|_rw&MS2?acq7Y}-FR>P}LmTb58LOG=1o6j>Te*@a{$vTwiGkn`OWKPuDO=;I?nU>oX6*Vcr`Bd?4h81 z4DC`bn6o#tjthsYe2_wFR`(nAbPS7^N{GvdN@gZG+Bw=6w-jYP=Hr( zg1g%zr;**+Z%Hw(Pi4G2Pa+Hs3frZcg9mg^*>6)za}l!?6?#`Ju5q24>CeeY=5?<@)R&j`dkmTSQ!2D*aA^R$bePC1_!{sf%Sp1stW;O$^iAO%}!WQaB61eHAvh_?5B$xL)Si_|m3a~$pNYjb zd|ztmfNy|bKjor_HI-rU3He2ynvFKb>YnBSfe&QgB+W_inu3U&aVnn`vR5}ZH?~?2 zkQS&~!Y)4@RPxfMNJVD9%NBNalVEHNhCZ0`FU5~Cf+G>!d+9&$(@~X`mAa=zrJl6e z9p*-9>g((CQ@_gON2W4OoPa>$8?ZJnM{70awL!>%*A0atgO`WDv^NjBdx7?}y}jMV z3eGQ3F6Ay?1`|0#ku`)inshZl9t9f>=uZLA8;gvy#ARiDu#!;cV2M-)fy&Up&s*Kt z_}+(zBRtI5Wo76~46I3&hkwEK($eXW0i#N{H0W&xs3`b#$qxI)jcwPz#>TqkxeTb6nOCcq9K%uY&GBSK$ID0IsQ(#YN!GJW}NQ0ir8h*xA|d zPv2UB9}zmh0k)tgIMrL74&J;9#>rK23qt{?*BT(-aY@+wYO_qTJD0( zq&d08O8`ECPMXZhpgRdvNzixl@OXTyo~DqLfWU{5k=l{5B2(yA2%4iZlqw;?G!A$4 zENJo}sxT3zEy{&>Ra);R#AF?CkAdLOW5==Ya2XBvKj7kzii~6I)^;CL-b@^!3^uB&?O> zP6uJeNVn`b#qQqR|9M13FBFZ`V2aLEN$q!XlTlCSH)xi|Cp-<4Rqy&x zW}v4Zf4e|{XDI4+5(l4nE+-$uo(CM9`^h^tm+hRGO6ciR*Jc(m_0@sjWjiioTEkaN zNu%IB2kFkj)YQ59z%tb{YU5J%eCTs+9B7I=lnmwPHguS;445dIKjqd8~4DSM4@(vVnL_t z#-u1Xjhmh-N-z}4i}|>DY2`b{avfh?Xu@zF0&rOw5;i$KrT5j{eFD=$hzGQQILyER z#I6}&A8k9q4?!FBcmcKS>ng=jJb%k8-`8rq?qA_$-1s_U=p_FK&kniDpe-MI${q=h z9jgNfL`+L-YmZa8(1G0j%sdeh5zrzePp^Fl6(2Id<@Mw9Ew@dxBCH|9lY|5$@G3lg z|N8%5hKK|GnIBtT#dfQxs&bL#nM~Oyw+eCFDH4%BZgUoc8!5zSB8zoXoFGJXN#Cmo z(WA6$_Z@FM0u#-Kx3!H8NaP}+oHDn5L`Zu`Pic z19L}AZb5;p=cFd-KIJyK3Vg`0PZr8j@u3v}FhP?|B!aL6esGYs`)lneJ%?sX@dbF?=Pl zUSvVYR>+oP{00z3oQKS+nWnfUE(m-vKFt52O8RM`X7zSJHk;ve{iSFpF&E39t#6Ax zEuYI=dH!qm9g)MW*55BZJnh%Wk|(yN5>;-!ysNTy&7ypE_#o+~&(HaNnbiZxsWwzv zd0IKkHvmVR+pb0^s>0Gj6$0rc8F@a9db5@h|DSiRaM<^L%_C%>-z~`auQcu?39~Zd z$ZK4e1jZ+dndcHFu*cgov(O-};sI_-B)=KNJ&vaW@w2*K!(=pYr(Lgx7hYphv zSgxC!Q>=!r78S^E*?wemRW=Im9CN)9mDQ&+a&H;EEc~z!8rxGS?ICAEOI~|$R|fch zNiE$u&LyXAocQ?8IVy@a4x;l3W>cWdNy>F)1sl1BtSgQ-S^{OtXAy|H3#DwAN z+TvsX(FL-LctG17Vf}pBKx1qteVKmp`X$Zs=etWmbG4s|t9M<4D|dCWHr(A41w?Ld zDEYp)=QvvW^6vbOX-L7iIqE+4-;2HkDWNU>uWhs@1f(<#gpo<>^LKTzHz0v8#$MjI;56`5Is%{%;|;& z-ZE+M1SYoMX?e#Xod&ss((W%=%`J+Y^_er%w;;6MuvzgkYKXxw%A4N&wb|mU^ITvG zSI-n3?69hFO4ZxNWUu+ip_}I{YMke*(o3h?go_=8Nlxz50*4TX>2u;Bk5Y9&rVI?2 zc=~pF=?%wTC=hchQ+mNWG59@C-ghTJW&~&9JF(Q3jgFXK*zVQJyu8>Pu=S>RXY!Z- zumXUfFZv-Z^-xv&6Eko2D~7*57bzGSxq?2jsjUO80}&^5Y1==lWh*fziK@|SAa3dlheU<3kmsHd!{4)n!_2V@ z6NxsAiNhZ}){Nh(q?bi<;>>IA?kX(3|F`-x{_^qH%YKz@o+LTElRa5Djyl!jH|}8u zk8aKeuRQ)7_Wr&2IzB5k7k{io@=LAoxLAKe0EzPG{#;WoLNpv5CopCY5B?w-HUgng z3kVpEB9ee~g3U&LfKoFvL%Ow*{;>TFxMJ>h_( zzwZs;5n)3#i4e`6t!q-bFx)g`jtCL7ZWn+_BQ!c%+LBp3-~j zzCEU{QjVAut#)N=NJc|zBQ6xuyh2GJwZ3IlnKY{`Ul@d6(B4C|O~# zFV`rdgi}b|1Dkz)&A0>n+Z0OM@Igeh5^YLwC?9|w)nxrG<`b9uC5G0*+Z0Mt)y~=* zd8;xU;o))lGqF-iR@8-)?(mA>vQK^$-{cP!`*WdQ~y=XvYU zszEv{kKb1XO#sSG(&FP!y=jNE;3(rm7VELXSa0bW%}y>&aS_Cg&2 zF8*^~xxG%X5Qbba*&BeTynvJlJ>4v#9;tC&#aW`X%QKtsbpCI&*KEHBPz(MnQpRBV zh4sQjpYiM4k&qm*STCiv*-Ldai!-ox4Sx#S{Dzfwc4Op+jp@LEDn5jR8Z8`~!E)#k zuk>4`ER!M>l%O!A6VjuDM68d=eo7eBCq$pral5he}fKDa4t z>?u}`-H;-3{nD|$KGF3m``MCs3+_Pj^s@JXc-BMR8$JsoK~Vf_Xc(yRm(_{w1$c#H zxKS=i<>lT$+)>L1p5}gfdPaVDsvL*R?wm0v$Gm-3l{Mpns4?`^=ErYM|2qHToezXub-A3`mwQ{k|Pw zeQFMrLja0uXlO7g3=sOa=(psL{(MY$MktCeI$+5F9o>p*MM<;UUzZdFDF%VB`%Com z475{_Q^d6qDb1=wh)EUdP-W^R1;b|-=x5S%zaVkw9~cq#flYUSe2AJ>Xku;f?iz4I z0nj;n3Uk?dUKR0${RLHXW@0;bEE%*CfbI&J0jP~$TpSk_wIzxgo1Fz3Ogx~Of_DO; z3h%S)J3PQ$t|}{MVX;^MYUt9HouR$#OgEqg1eUWZ(d@*X&6(Kh5?Bom4$2~tNHMYY zA5B1}0f1avM+Y@+cf#ToVpTJHor0h%5|Nmwo(-=<$QBBwfIay=BE9LKHq4Swh0a0GdTbMFo(U+|~u5K0!lUd!*#nUOF~}6>as8 zd;n-9sJ@6|I}6dP^YN0x=8sIkGwLW%s1(??VQ$11x;omS9H2681B#JW7e;p>4ci^L z6ej=`LGFv+>K6b=RcQRiuP+4F&A_Nsx3fpF{I(wW}pg`&5$&+Y^321a&d^|MFd&n{|F#%-4u?EcA;$mKY zesgQ9z^gq7u7^}{=hYPam%{p&e<6zmMz@O#u!}=kFbX^CKmZleOnRl4*E-CHcoja5WwAF+E0|xqM4FCWD literal 46310 zcmb@u1yq;e_BHqe5s;Jykq`+10Re*!=@6s@=@vy=x{;7>1f`KKQ9v3bB}7V)?v{{l z=e*wke|_J~npxk>tj~Mby6Y;u@jTBtXP>?Id4nG-$>8H$!$F}?_;Rw6swfot77B&d zhm8q;LnPy04*!E`tRN$a`iuN0y*@V$dt)e2wzi?x0DoGTxjNVV1U z3ei)XXsh3G6*r!C@Zjy5QJRFA7lj8KnXfHZ{QEx zZ52CFS5fZ^A-Dat%ec6>l2TIQnwnquLRlE#PeESDVdrT}5aI0F8jkqY?S)Q~+j=$S z|NXChA&Z^v_VzrgYHG8;e~110rS+!G80Ax0dEa`n<}x+)dj>3dtk|d7QkJIHjq*Ascn zaHJz?!~Oj+OwG-g1fJX`zsbmmQR}?LS?TkicVNq|`Oe6~GQaynRL0blaky9~DEg+% z-0#uPM`yb~qEk{h8quS%+uPgU1P6;(y!aWyVT-(6CXVzUYhL3r%94_jH{sz@va;CH z;nxBZ6Djeico?U5F~r5><#8I$55^f}6#l(NG;4C5yQ}LBK0ZnoeUGWT9ivNB^g*C2DMpDvnbs$@-+Men6@876}S3y^BaGI+f zmhX5R*{-awOE40PtEs7ZNnN|Py|))f)%S1FBtum4ez^Zg75=k1Dd-;<_>hsfQ<#~9 z1D{1HxvA1>-1gx2Qxw0RxyUANX?}iin)d~j!*VZ2&h~#6CCmps_Hbs#kdL4L#;se} zDT2;V@`jF%Tz-##A@uU{I$AGnOwY=C9TtX%@+m3d%*@O*G&9S7Ri2-p|0XiB1J*Yx zK0bTzSX}^~u;te;N^^7bzJUQ%XFlY;%%r|{))p4B&&|!@Od1F?Gh@Opv`5egZm;y; zMDZ){D5r_&%~ZqUB2Qap(qVhNV6%X`@jkobu%sv{BeOiFpQ}W3*J_Nk!g53!_6|3BHc-BFZ|@aysJ_0&s&ZT> zkBN1mc>U$egWI=n50TzLZj%qU*<4t_U}tAPIzG-9iYY3(-Sh4quH|r1v^DSD zyZ-OrQ)A*^Q_mCGQ9m&=Gn-xeS@^5bTh!0b@55v!n`TK^z58J%tksK%DCGDLeG_z5 zR#cRPMVQ^%iiCR?-VHh2nl@SZ7R~2%#^;m#{MPBgM(ESe=5`vxIE*|z#N7!TEyX%t zP_|D0&b0DEN*$eu2c@;OwXCeH*v|qD4RUcf#sbcpVcXlbD6x1pjqPr(#`H(;@3R%g z%9sBB{qpGKqs0V|(PNhvM(u>|+_~!H)6+xo7oKiTRI7cDhTkU2H%RSt*V3XK`(jf% z(6#*ieb7yr2-G*Z3FoaTd<6xC_+dFSiAY-Enfdukj~+e3_Vc+y!c5P|C^>2L@7Loe z7KGW^aigQ7Eq)fncd-!=5(dHI`y~737iyLU1_uXstz~`c=)obCgm-;AK%wpUk=qt*nY;YVuxE^V>6?9BvV! zApYBI8qaf#PVZ7PeS5Sn&&~1JlkZ2B}Iu|EhcJZAR8Cfu_(qZ&m-}kB{?2G zKH9>bx3aA4V+Z62ORn8`;2Iem>>CguRmRz~$1UefWo2b`w&nd-O^!z0EAibs(mm6uc2z>;!^dBc8gZn&6ezu>bJfOiEQQRFE-O9Q-=SZ zO454g0y1#?_Y?cM)+?)rF%3PEm-|OXWFV5zP;g9S)YaqO-9*j-o2z~7VO14h;`{f7 zADa969{&sS-y0hms#x*L5fKpsTTC0sMe`Usd0k7Ne$J6+t8+i(M5TM3pY-+jtHAS$ zcnbMw4@4k8#YUX8Abj)YC0O)3yu5010j2u&=&1O3Ez=%^r+I3TH@fGZJ1Am!#JP@-F%Ijj{H z9?lKFrd#WT-w{d2)nB79`0q{yE2cHyp?sqIOni+ddjy3Gg(9RC`c@&#%6g^LpfSN6 z)?TU1`^61x^gsfd5R;AwBS?fRL-{0d$z9=GK9inxfva#@RXV$PT}K9DMm1(-%^%1q zD0EkN9{e74O`V^a@%jG#!SYx_V&WU9Gu0iMCAw6Yn3$K_Gcz)L18^yfe|aWB3i6cr3V#>kFW~@A4 zmA6_kO+@&I&7cAHTeVuP2l<1QX0z24X}{2 z5F)+Q=`N)(_4jO7S;+h1x>&DI58QWdZ*@>sNvZvVTX0klUe{#RQSr@q;1KU$F5!b`r-B_>E;$jHW7foD>oiOCX|7$n=30WStse6=-ndMQX;JNX-|qcv&ja`^b)rtjt#|L< z-MM#913vjtnLmyWONPXDV>TJmr*W9K@MJT>MuOoL>>5P3}_u%EP$7afH z0DU4}{47925zq+umzUp-ACg$?j%U~0KKf&V@&S~DRYVNG5y1Gs)n=lK+t|cJ<5O1w zfG&W;DAdv6w0D_VcY<;0>#nywJ&LP-`V7(7YB`E3|D&kb41Bo4!^=xVLXs6DzucP= z3j2vdRoYBPEdNL={6Nb_cd#)Y1S#zj3gW})*|XgLDr6E+GDe@Ji9@1*9oLY{1{AFI z$@B_}URapsv-$VAkP=2sb#>C=qNkTodAij+kbeHV2tolZ$;!H9X=y1bEnQGF2Pm!? zsx8X)a8vKL)<+*T8CA|JSFR-9w|e(V*Z=KXik|P^e_khp#fd)o_Gk(%9a2-(tJRn_ zw&A`efHFqUpI@PWwv^NsN^z5&UBS#zb@b0%8?NHJyK*&CK0!fP<~@lS|5d!%e=JOn zj#7=3=t;=Shjg)(s$^j*r3$g?aqKqvUP=^lx=bdbDm1pRcdNnl%b1ZO@MER@T-E_yv%w?RP_&)F>o>`SPXh#hGh7R)2|}Ad+Xl zzq@w{g#;|Gc~4VoFbTYV#?Fac{lMU$-QJ4I-ueh3_5GJoN-6@+2N;tD9OX|s@sRT) z#X`J8#Ux-eCG>l$o*Igze@;$L*K0X>`R0jghqC8`Il7+H>pu&FAh5IG|J`};APACl zm&uKv@{kYaJ0gi_X(IsOGcqyB9cn;0b-(56_*G`|lkz{%lqAY#=i-Ox-=_9$9P}6b)-kHs6M|lbj z$s0>cO8{HF%ZB(|wha>#6Ajmgi!aksU%ws(b!~Q`Gj>3vPyOQV^8pONok%|i=_G5@ z772FwLcdsNQBhIF#5-tk1f^bM;)guZ5km#yQwQ!Y|H!f&DZxp58y_D4Q8Wjq7@Ci_ z2f>_?uyX;z?gw$FZEp~q4DD%#R4BRPFQmI6RkPhmO-c%e1e^uAb^Gv;>(!%3I#FrJ z#N38WC;(SweT#9<7Z(?l_g_*{6d^m9seE~Xe>}`TA%Xl!krrfrf|;&(_JD%L^V35l zfxZ|n3f3rmLRNtH@25jbnignKCjhqf>)nio@>B-MxX9uGINXp3r03)$kcp%X$jC6t zKxaaJykLb?ehSSH&MWjtet`N11_nq4miO03R)&kIFD_1Pl7(D}0m1}?$0Dne*R00p zTB=>a7C|cCBSj_z(itTW1DtemyP zppgItMf7sR#fjxajUz6Uns2?m?XfJ%A3aZEJ z1*^MXd^{O|1wVK+lgS##?LU8fWf}b-8Hsotp@fBn@o0r8r>3S>`Z8X#88iQTwcVFJ&)=9~#5yCtoyp_ZDTw^A3f0$zlz+<* zzFzobZ}oMqa+>^MM@L6XM+X*Qvrdhr*_I$~2UQFo8uLetg{QS9PC|`}N;1rq< zm+cue{YI~FXv++bcNXnUoSmGcA#J?7`y2^^86ZAf8MGlp^lmS{#B;c z;K7ecNQ?LE*|Nv{BU#xdfG!^``WcYNhqaJ-_|Wgw^t*eOeVJ0YtsNa%kQ6?am$&9T zdQa-Mam?C%7zaB)q?oR1_V?l(9rbl`Qm+qQ1n$N%QDrBAjgLT6q@6pH@U)|6hA%b(01Zs=LieLNar>vxKC z?dIE?p|S%o!YI?ajR$yW+NIWUow=&ITF%?LKQrLY%U^fkA7>*)FRntZz<|zn_PtF5 zk=OAe#n;|mC6|-EeAUu(lf~748?Ak0nLm$ziB%f9O~`}+sj0N6^k+X(2Utpg6=;J5 zm8~37QBeW>TgXnA`Ne}EXIQe4}fA@)`^g1>~b)8@`QYIvNmXa zq%;f4HYBm;o+RE~4rKriz%C?QOcXukg+N51ME;&RTo-i0gOj+uy)8DF^N8DW_%@S% zg~#IJf6ne5SFSeb(z1ieQR>CoWHwWEXegvoqV7NiT)lW;GnEc-XJFw+Q%P8DQ9uVpv`6 zn$bNxG$gq-RsRRtig_p=T9q%U1RU4mw)o+&W1^rm-k_&Psi>&PK6(_tIWjyP2-*ML zeJkyiDiMvTO;#j&ZZmJ0ed|z8-I}b$GBGiEIbQiFp9f(ap_?%Q{zU7eAsWNYn?{C) zC}(HqfOXD-0*%5kUxDwEwX;5*ZW*~+UinOSxXa*P~SlHSAESWywWq><1 zGB%Fc(gcLE%h9NsEzjq+cZ+~l2ph8e-sU7VFbfIpFP)t3yB+)v20U&AXl#I!Wlf!Y z>pu%4;>wk!U2fqENeT`F796#K4FG(<>Rfr3exz|7)=_Zj&wPu%2_eZb5UYugj}L)& z>(y`I8b5j*+y9=drGUnx86ub4enHma`T59M$k;O6o#y?0tLF0OgLfeLlv|CH4-XGR ztT8}RU?#DF1B-s?61Q>d8(lMOoZCJhdMq`ipVs8U>H9znnJyoQxg;`fAWUzNhe9q+ zPEMX#Sn!9N%IETU?5z+rx3t*JG@(7GLfJE!7CtF%29Q@~_!S+f0JLwbyc@rNWKNW-w&v{u^X67C53yg_2pn7GmVu%BsMfTFl3MhE$ zufWRp4Goc^u%X>TmLkB%2Nkf^;C@*0xKv;GYkRvipZ&s{iIJT_Wzj2owN7NcX`-b& z>j$$fSZF?d5Q4KEbl#*wLPGu=I+e1A-Jyqtr47VL3I@6t2WXn+(a+BUpdrBqevj0{ z(=!0}5eMa8+HfL|u*^Fgh4fI`2E3G^>dO|NN%^IViK4M_{|B5UKAe1jW3tqfL@DCI z2MC;H5A+0iFsj{C4=#r0TBhztZG?4pOyj2TP1X{&n&w088azXzqOR6? zonHes;ED4avls?7-2xos{HwGzTk~dz71VwQG)V+_S3*${55b7!9NLEMVN^f{hRUzq z{5k)x-rqrog3nW+^bgtO^%$r92he=_-vnqLDomoOnLICrEj zVIc89jn_r*|HlbEe^T^+s}ga&1@aq%qqxqU>-qEN2>mQtJi>+f}VYw+HLhE_5 zC;s9E+o#W;qoD^t@}q!24PU{nF9_%dE>avqb@Kvf^{U$1x3=oYYpP!(6L5`u^QOuF z3dv)@#}L;@YXIVouh#8e$BCmq^Ea>`MqlFi0W2eva~~UOWpy>fX1amtU*}E~FD=iq z1+SAR;wb=(s2z|+ib*_|vt%Nr0h=hIvyq1q5fl4??m(f_wAc@k90A9#^CeO~pqby> z-~V|P>2itU@5?i7b#`__djASt+U)Xj(3>~d$Hh^|wm^tSTfPqtz5+e!5GisAcn}i<8vE4qt&IzKTaacd#14v4F3xD=d{9v(t~SaE0;azFh)s$TVOo?1^w zv$XFiP*Ns}F|zH=eaxN;rEoT~o&pgjFHGwUEkECeh=L;E^sw~Cy?v{abLcC9CJaOb zj^Xz)F$~V!MKS5UH3|=bf_~-bxI2*sQ4DXy0ICtNg-syIK$WQ{4*NJ~T&qdgdABn# zFtAPA8u-=n@^YNy#c+AiCBenCke!sXSZBxyuw`F={3wkwV&?>)1PoO(RFeRT>(6D3gd#=y`hZ-LVI{+K;B4#Lx}W z10(>-g;LO|NbxDq3+WlJYHVjB)H_pYoNw9r|LripUy*Q^$iavY=X$w3PLynlU_Z{@cnNu08sSCy~+F^ zKYeP3?$UOthYBSIh$9{PY0$CM3)HW`+O`ABqyn9*$2<-mUMrw>yPX9&7gtv!Xph=< z+zx+_z6PFm9v~ZJk?7MJ-+@st1rx=!R*zg`wssE|`X65$K*#~q)&{^P^v1#&kfyZ2 z%f#F_jh6K%plJY!><}6mocjy*ifU@Om6gJOern1<)1ld)?t956`KJdK9;MG>_gjkU z2zbspK+3Yp%3P}ae)P8{u~d?3OpJ|jsNXdM7$|%3lMQwROCk{OEBsi0se$M!o(jr# zcj?iq)q%@EKLtic5)PN>g=QuNn8T-Q%L)z$Vm)9!MpZ3M>m;%J@_QPegs01n>-xm#OX8{RMeDdR^--3Wq5 zoChF{%m9`F(Fp6l)ffiqq8(VeucK!`|tS!Kr;TIRxG&-C#R(JS35id z%)okHvojAC2uPTq2`{_rKDTIG+;=YEyEC0%6~a3W8X6%E4k%)WqDpdd;-Et#>>)~Q zvFqm@=S?ZaiH}(A;T$AQOJ{%GS#62gE0f!TIF%f<8?HP1+5A`^f`gh!0pS-LzgKI z{8xXOi42NAYw=l6qAyqs=AeuX%wxiKIj#>cKAi?Y3eXyxkB{$GU9-Ku4Z6D2lp`0M zTznBvj>YQ9)02~jIy%%14GrIVdg9y_0UfAhN#i4&AM`>9QtaV=^5h99RS6fm)%Ip6 zA75YblKJb`uiL^Y#G}5C2X*N3MXW~Kj5`etO|{-5(d^9womB7KkdR{nInsOo)(Q{L zKP82x0Mh%*uU>3|g4COvo7jYeSU}}Jov+>UGcp;J0)BWEh@@cOOB6<3ap!&gov!lh zi;GBhDd6Y%DW|O5u|3-o@1^?1`>$7ajxJQ8Ht4z&3rmYWf93_F1wskav&@QkU)1%K ze}rF?hDzY{`&YE(X@?$>NQLd}Lq=xiIq$!xY0c*j_4W1KPQSI1MA8c$|613-7T-3a z`YREB{x%KAm|XgGO>nw)g(`vT{{@;bltyqogd$?hn2n)f)cRoh+3-)K_1bFu z8-a8O-Q5ZT?(c*Ow9~T6OHWnE$BpzuPAl$AXDE{~O?U2!z5wyz)mM6rqz5*sd(Yn_ zCEaWId%^Z%__oegkKDbna=Vtj)u8nJ{LA83?-(^>05%}4p7=izJ;D(FER!tQ=n!h$ zUS}@Q(Psg1fUpd&yrBkoczBrRJQDUex&v@6433eQrX~f*3!vyjJ}h|XNGI?L8t(M+rqcC`RnH5k^B-a5 z@4gs9+LxBOwos5<1E6hUfUt#5I+6DoK~ZtBk&#h!AujP_+uE4coyE5X#?T_H^k-oq zjpv5_-1>Sba3fj3YM^`oR(>5Hrv_{?(Aa;uB4cN0^Zfjr8`Lt87Op_o!!ube@-tVN z4nzwSz`%g_?{%VUh^VNkO+b+ZW}ppnSe%GxW6h?D_{li8UW`rX<@1CNk6wP>&0xHgZV9o0k+ zkWo@0%D;V+1!O4Cb0q3hxw~pNcQ!vaG>B|YH%5Zx z>b8CzCD73lkdL9Yykj>f*^??v4H9V!m~w#A3t&~tStwv>bh?ZJbB!+;L7tTA7 z9*zO=@-!S=+}EY0TnC$zxSE=p)rSfYT5q`wq@hm)CCfKMBFGpZ382X)XzNKMl%wt0 zy0+pzC2lQJca z!Evf<*BC%p&9G-$ba8P>2XX+in-2s=U0ofp8(cJ$i4+j?$%4)Vh*AgKc3-j11LW~Q z9f>FKaBy&tu(h>qFhF|EBW+Zadm1#-p-L$NXefyIKp+q@LD&Hy4r#8DWD49~3y>8M zXRW{$6VcHTrq4L-pX^(D98NkTevk}MBvH`4T!Taq3F_CXqQOp%j{2*LhEG$QqD}xS zpnJM>&vI#xFcnln6zS0(;^c8Z_$>~4`A6$Xfuqw?3IWVc>gKbW?;i5er)O(F*?W@t zNx(oBKQ$gq!eYEV^L2owmDrDdrgp30HN0*+cqt}1x4fQeYi9zbheDuFOIzDzXdn<5 z3+OQ=wh;9Ta{C92AgHKHnNCp*l*{fCzINqH)<;^RG_9Bm zLgFEzp%PHg@bK_HD7%ZMe7@IML$(h-9E42a85dP5-{0GdN=V3g>Gn3T)t=;%;O zuAl}Ofo;`TIs!yl{&G|`;}g@O=LrVDsEb5CI|l2iy8Ordz&W--v9kla+-;poJV0;0 z;Jtu!dl~i=OhxSK5j+c%&pJgNJJ-=sV0uA)yVqE6+B6T$jiI^u6T@1FjusH4&Bj7a z*Ls2Jg#$#ox*xai^tTK!`Ep1Fr0qPNFPu(WQ{k|jSx`n?Q!QV-2!XwC0+|_v3$DEu z*3NV*v-a1l_GyLc`RHX@$%WmJuYTHY&xj}OfTIfsXh4uymCX&jHV)@2Up#*v3^!%J zo)#1&j^pMV}A6U2gUB(U3-RyYX2=(=U!3xuF1ZK)khS-BQ5HQ5vGKiWj;HDcJ(HON~ z?n!zLlxzl2fCE-BTcW8NnBQF2(h?Fdsj1s?xMO?n?f_O;8q!kZhKvQQj`(UKbSAhc`S2_5XGh#V zXIr~~ljzAqfsBb~&xr46YC-`tZiBNqyRwp}enw2!Xe~9T_8~cwt*}w;*r-9G>+#*` z=y5AR3)1FI+ICk63Ev(lzZ`7GH#Z-?oGgyPC#W3Q;H5-d39XPZ*EASOq3p-jrYm{{ zo5PdY!A>Ug*`XtyUaGJ=bimA>+Um(*B|w1e>RUK<(8tDbk=8`+aab(TYlf%SOFh4y`q{qf-e5$J9;mX?S#D&l~rHvQYK(7GO$$yU> zT)%*vppMl(R0~%EN(?mHHV{X)!FS9~CILh`M3~{rmtjD_vwNg69FDfOVnA62f`+HV zV~l1KppP`7m%JFd1;CSS{~8Xp!E=={?_7~~k02b0Xyk|@20txr?E=O;Kozo$Z}&EC zu)Qg??n-QOIm)=Slwe#=i&?OEB)QOqzK^+UFI$g zV-f`L9)kWH<0titq0~5~wh++jG_2cjU^`!8zus z$%3N+Se6OEXB7#ZoY7eMbCeIX!|4W%Ucf&_QyYLXi_}Co;>{4}2)oW_n?4aa7@GB? zwr-tsOGLrE?8rr&zOxd{CbD1T4ipZ^hDr+5^Zh{3G@fe>27_@`IpJr3Rt-mUxUbfS z@x_#yKLMkHATgi^ngP*#xFpF1;0_AG;<0v@L@gmUwogXJjTa*&9ET#HEm1;vwjrve zLKqAcT(`5c18VEFBE@5f&FkQ7fN<%p&>KheLb~|)a+GJ4Ub8cdYiINAg1cNT zhP~Ib!GQsgcbor^sVnIpmJ31l-*rwpCLntvejKp`^bNVE+W_d)kpSZs)(muXkre}^ zI#fJk&rg-`wo%*SpIO(gxt}x(dMX@k$+(BtxJkWaZ@_0&xYNjBvyt2_fY2 z_d*zqKC_@d!QwzKLs4bFh=c4mNEuKCD4`{P^N$xp8=7* z%3+xR@K69m%RIm~Xh<%Bfawob?SM6~fwcdb@31@Bd;V%;OyeDD5v*T=e9+HMh!^bu z+j9v_|NOL~USXhK$Txy&1_rU$G=ffI1_pF+=ZBz-B1A3>4;VwLh2FqlQP|hlcOZW* zRn$8I&R{cOfOkDfiHS|$zvCly4{itCH##H^FoiFT<~q-}hrfx4Xa}_R@zts-Sg5qJ zaR(tmE!Av-up3?d<42k(V#|iy9SCRquH`Tu#4>Vp5u*r5jG5qFssf58fy*EQ4hOig zT84+o!D!Pq^Y!)aOHEW?fd+fI_2e}`4$_8(^cUcN1nCEh{Yg<&gOi}3AUO2r;YX3D z0Ke{^okaztYk{hYcxihqtKooFTO2|QfH={&!BF-_GE-OW42?ex$7-^MjGLR=1xg#O zkc$r@R|e5}HND0nyh=qC3>|uR(UEqxJlU_YF@z_v7|g+spc9Qq^E$Z#EuMs`Dlv$z zXkcDKELyPk640T5GmANllAB@rz9R?+XM2On$de&`k+n4ec;x~%5r#dte^<2xe9UKqGQLkTXzq-mZJKL8}Lr3t35$BupW{AJC z2ushmZ&4!gly@y2mtlP@AqL-P~}PA9W=?ZEI}K_S?zOevjze-Qu7S|>rUukEw1xCeR9J6j!jmC zU~u@!cg6c5vT|~*tAkTVr&}blvQ>m-N0)%Yh4zA%k3T#hR;@RAM9^8OB>>m;@H7sZ ziq_%czn*(w0}Fooc@6gBEv3jA#oii|;H73d@7oe$O+rZ<4AGd7t-{AD-e+o-j#`Wj zWj`)k(74Do{~>Z&XI$Sta%7O#KUmJ{?u&&toO;ZeUgwpU6LRHiYW^}gy6&5C$ie>m zH#Uj_Ct`0k0;xJXJ9|L+x$MP6w|dRTNfK6R0Es()HI;u{6%n!P8;sR^b_s=k$rF5! zZ&5xRI<0*}J#w=Lzmvc;rwNTYwwBhnv|i`$?|eb#%-Y_6l#o!mrYlPn(vCt!N9X?O z=Bl4vswDM1@pxaDe7Nc5!Kos{+)%93ag))M;=auV{b%JQU6>*eWcj{Ks`9wuCdg+@OlU_o4H_CMi!!sv z;KOd7Ya;+FX~)VhySp{ce{tO0;-P)u^$*-^PT)udSDkO+Ix!y~o=l3s-{Pu-#3S^M z2-gg|`4Wrq;YT%kj9tQ;4;bcdL2Dc=A73yxkp0NsCQq_d|MTO*VQ0Du9FJ^XsEE`TY*w}7OnRy&MWvT8M8#_oiwJy>uwb`C@ z{%(7;O}H}VD4${Syg##4b?acEjo1DIVWl-q5FDPCrgR)kf-~{iovzQ|q%s7W14$7e z5ClO|M#>cECYUv^Rx>xZ->Ca-q_SlqR!Qhk*`5YyG>_E?Uz|C-hxr&05zMl(42z*} zM1RjnbQfym87SC#DHRo8baLEeWu+AnIggHKYCk*n&NOP7h%Ls0j`RHk_qny7!h8PTzcQfy}L)vdcBdSTHh|#^}YI3?4k3PeGX>q$YmHaz~VK(-eS|p zv@rS@Cnn044w9}|td{Od4W@n&e~OF&3=)ygWB@xTW? zPCF{fKkz|_D=Q*F1VuFAPd7P88P2c-z=L{lY#6sY2Gf**fjI#Yxm6%qf_aq- z)Y!oBFF*1GuY-Y+7_8#NBqU{a^U{0*0?iW>*LRn`$8t8SU;q94L_$G<;_KIOvo(S% zqrvyBCPIqG3kn=EVnS{(%u(*`v1NIlM!V8xWo1SBUh?+IHnXfgW!EUc(Hvo_az8|W z_|S=s)ZK2;Er2PuPGL#?=kPFRG)i8(JHfLbo>x*j_3Mbi$k(oTVcXw{6q#ACqmq*J zZPAW_#&1gVww5?Qu~NxZ>P;_JN@K{wz~ z)w_GEeMnSQBLUS^q1u3zwX3)X9761sckOCMHR36j3Xa?g+_I}Y_-U=cdI3U6cdEh_E9_`3&N;cOZ&Zr-vWaodYZi9G!> z9r%r-@WoF7N|6a_nE$XsfdVJ7J2CP>?m!EYbK1ojgDsf5^59A=D0whO%{B2X0{A1lzg;h+MBaIVlwVoPXJ^l zod8AfTes)nzI<7OLV-KQcV$JP%1apKeNl}M8bNCelXKi=2{GjgE(eDmOe_kI$cR~u zRn7i>O4r(|8!edF+}x~mvK!AXc$N4QE|7_w3BH8Z)(X4H0$qKNs~3Bi8etChUg&jA z6@W6h(_W`mU$I~}$yCIZ>zJz5fQ4%~-4yIe6E&#eVpm8WdCmg~Hljddou1Ey`lXfo zTuaa)5)&r}DF)k}I7j8<;cWId%*gIz($HL5S$ooadiY7X%Vt_6^q!^Z2;0tq*P9nV zZ!fkR8TAuS)_Mnge&*R%HlL{b`jzODMBUP=PSX`KyK7=3Bo5`4570Np!kb1vi~Rb$ zY>9!j_4vhD+FP!z8v-Z9s2T6SgFMD-4~CkXIY)kT?yrr`E`1lBS$=RiltPAd zHH#hvK2psWl}TrkGGJZWGhuKHfl1cm-4O2=VqhE53USgT!a(z*rx!eJwC3tk+@U9a z4#w+#KF2i*XaX1@40(74`pQhEly{iYLY7C!4giUO+aWL_!Yj3dREASsy{p~OdWupx zZ3+}``I74X^%3VLO#_;Q3lDHx1e|;(yjD&L`ft<0M(oVu{uf0h-CxLSGHwY7@W&1* zJkjP*25XM(d^_43$#=H4l+1^eofZqQw`>|thBKHbemb_9$cb41$lV}r~>RTWEW!o-Hp`4FT@cVX<)xJohjjM(O`BA zyoT&Q&VjT5ITZ4MKNx`#6*Y<1p+@=E_oX1X18a1MLT8!!i1V8M6=8LdPVPsHR5!X=9S z(Nw&d`S8{7Yy40L>#Ll%h}$ElQ@8#U>ku|?PV$0`i32dHd*A$qpdhaMVedn2?U+}b zjv9*(yKa?G0ti4-3IUBaHZQMbxwWv?QsTnG$eR!xjPzd*Rg1Op{ZsV3uZv!gXqT_t zoYbGF)>m10U-$L_>;f$<_4az{`OM-^S_s-q{rV?;Bc)+b6(MAti$A1)dt>PN{lPbgI-c>;KiOppm zYz%W24O@Jc!!P63<=jjcSfOdg7VB*qs;aW^57>}-v8J=P)reA3N)3nzfGk%O%lI1> zg_74C50ST|!$}P$WQdfMOkg01Z)Kgj^O3BmxuKz7Fo`o#8jLT_m@THgNM8(nl(x4= zx1JITe)fZ*zh>X?)p`PNWOV_g0#Z%9nwofMB)GvbjNN#C9|Kl8`aHWz(8}Cn_!+Ex6+R9ZfJ-KC012R1I z_xIir){{9+V>J>P#xSkPMhKvEW^*$FJ}r<5?JHYh?xXh^zbe+*%dG_OPJ68p!`?S# zO3m_lj!{3bx$p&u^ia8!XKkpg?dZ=qC^;*-=U+6UaajwijPss;CL-ski4gre5okGb zFhAF}4^)ByEYanqrEqTB8N!tbS3lKDHjf^0z}R2puPx=QB_g?-gd)!$o zdt^!qhCU3S!vlbayKB)Wwu+8hwEdS_dAw4B+YIOQcC5XSkp0*XU>Qc2VVpv~6^t0j zhaA9W18%>GeRRVH38`4+1`_(+1-*eEdY=Z^fU8uIIsms>z90qzYtolUjRJKvRGq6D zk3t>P2^dWNnPYfsN(xnp%N&k6JL3XKs$@aN^_v1vDuP`O@f zJR8u-FiA;aG3uc-Ad^vdB8%ICk--0Xyw4BN#q9a%$Ynakz39mCu;AdeC1r5PvK53R zY~6ji@+QqIM14g|qNRW>BIhOht?6jFDc|J&p(|HHO0jeBpzp48+sFBlHXT5ZO=d5p z$(9UVh6Hl zyORPk?MF&ObL(6`UhNgUEg9J^4O@}lP6~{YfzBF_F$B}etA|EL7i{^jyXb(sJ3m2# zoPDFhW?KK>IQL>WuuXvsApb1X8?^)?K45iXbzl=zz>A4$%2v>U5%o-Df;>1(DEuv# z!`O%a8W2>;{~s*yRF$1cYkPZvX}ku^)g$&xR8$-(NX}YMe#0Zi#4{z7*fSFc-vN62 z9(-OxG7el+A8t$S(o}c4!*nlTzhDqm<1rq9@e@JSDBHET2QbK#hupc!cGkJhC7Ra- zQF_4%@B*3fM*4YKs*oi?7#s(S6dsfefSo0ElTzkDX@fBng=(E6)cVqk4-?gF`Jr8v z9g%;VzrLPELm^g8v+kn>aL#pM!gJg*gVpVpfti!ywnZ2+q;u~@I{ z?~QSm8|>_A{{{)S8Y5>nCP_fvN1;G!LL9m%ALLN&uZNVaTn3M%Rgd#UWW8WyXu;ZF z)CCnenz$22zq(jBql7;x2F0t#ayKMpZpROi{w|ZW>hHE-!|_G@yW}7$ zo>Uc2Rh^MyB3i@NC}{Tdw1w`_&Xn5F7W1gVfJ>j}aH@LQeN(sh+--TnLCbTk+j&j( z+0G^m6hh-mN>(v3*bmZ5JD7c#duaDN=%|TkH^b-VPC1@1t9ipuX;t=+!OFs1HX&h= z&SB&8I4EE+2!RF^7zP&BP59IUoFX-isxa<$t$My`ql)LZrt?GJtQ~DK^YW5_Hroai zBw`U?ls=79%T)p!opK^&S93FFX+3!a+NCq?a@`#LuI^B~8L?XgG$+@{$g)u=7)k(V zLiMUIeES7qdf?PCz@#sDuFz0mCTVGDxdco&{1*fswtOs;FzzSRz0Q>BE)8ly-vnZv zXa3~zB09*3fp>9hl%+EWu!w;I1mCL({CqB7e{6}aOpe#Lbw4XmQ&9i9*iA@3d2zaD?op928a` z_x>#ub^W{DLRe-seqXoIiw4q&Ja(-YP+P6gIe&!K>zgT$QFXiq-QJcc=;Sp`6LnZ1 z^=S){4}X%Er=@3K=i$^7@ZDV|%*e|V(|QJmfR7*V^dxd;$({Co|K0{VL=}A0XHQwEn6PW))j5QEdWiTw1BXf-5?d=V|)p=kwEo{eO>K^f` zBNAUE=Rn~8#yACWFa}WN55c;jT?dZI+lbUwR#t|5;RVQQm||$_6oNgCpYh1`e5~3q zXuHz@rU-=aN65026g@RuH(hO0Mo_lEP8CXYQ~K7KNRnb85YBVJ#)1kZ{q*V6&vTET z0X^CR1jhK8sbq?P<3r@b9xE$Hio^#eU}|Ilr#Et2U`oL@l%AU#1Oz-bVG{ur4~Bri z**=p=SXn~LvC{Y;tY%B6JIrwDyR9(jEsy;O-<=?{gqfAJcVhn##hc431O%k=v@im)WQAQ zeCZ<)_f*8#sXgs&=i7Bhx3| z;FKUa>869}642#gh6@J73;Ui;fzovCnq#jo9QCjY%jB)QPd_w|w!!=^9tQ`9EF&=t z+1=Vpt*a9Pt2HsAvOp$j4;Hi}0ksLSsDZKqU9lkOMjhaLxkN%j;&Hw|0@9Fgb~Y1G zo`|;?2zu*exIT9dDHz7V2!ec$A^P1r92jf@IU#Fm12K<+>;47{3l@Af2j<7Dt&76) zv)4@Z+2R@CFCng*K#|LU9fX*vs;X-0>cWA7(+sjTU(z!qH^tstbN7VUK7(tcP%x8% z*sc)r{OMDwf`S6u^`<05Xgk_x3I5Bu^+i&7pkX;o(tr%=@>vb`683(b@$OKHLYQkWpZV0zq+vnH2xb zOa_=SR+U|XF(mN5;=>m*3}lyF4>aLK6`jv4q;TKM0lO08Dk>^A_BC)Cmmne`x?q@$ z#N2z4dkJ~d%E;2~unGpKRDqHVUtxB^Ze#2oXvqJ3v&F?6$aexLC@2uGe0O(fMRF-X!l>$sJAO#>t5X4MFV`D!^p4VDbVRBaO=M7%uIjE|}@l32__x)AG#l@pK zO(8gn`V2(COAUKvPuLhi$?Yfe2}!QnM95XM?%un%NbAMH$|?@u83TnE$wFWS6Jw73 z3Mwc35sJZwLpz$5y$@LvWeYEk6hp{dK$CEQAsG*jWK~TK&g4rl25Vfu zhupSdo8xY~R&fEH7w{?U@EsT!5q@>spy9fkn_ESMsRJB#ji4SRq+LChQ@C@YPNYA9 z+mp7ds|y~B3XTL!ZfelnN3N9vuRv*8o-6Z-m6Nj_h$q%ppGU#8X39f_%(!iC!WWPT z!)S%CLGM&Rkb+c(pU5NM(*cJfEYkNMKV)=uuSZIz7E#sADP2QscA{0u~=6teaa(!C{BYkH#=5^Z}=UhMFv)eRYzysd<#*3LH=w9b4cm7JE(tTY=V$LZR-9=*N+RWV-!{VQr#q>Z4kLqpgRIb1T8o@2$RO(EJd<7WQe}DC8&enIb+Kz(}gQY@bwIi z-1k^*KJC407&p zsX-)s_w7S&?tE6H$U|{)w1*EL_I-Y)48kh%Z9AZ}L9uNZFfk0fm&P*|91?;9-$1%d zKtKQy%kdrUTgXokUtJ1`Rr8QT!%!GR^M z{3rq*Zx}z4gaNAw5pS4<1{dCZ_=71QXcE9j4d)wt^11 zj$mlOQhNYrNSGDHR8>_|_KN_yfi?NHsAE2RPHyB^fM0*$!)1u~8Bx^XD< zBme}Dpq1{2+xDagQcO)v_4VZm2h6Vf8vn_kU+y85R4fKxPAIAm^lsqABBwldAIZzh zXTlX@z*KR3a)LAN1s|#@hiP?ag}Jz(acB7ig3r#5{Ry0_&cVT0R3F4_z#+^ifZ2u| zZcjwi549K@Wd&cY`XwFx3GAPF02gq6u0mB}BoDoUa&>j>2P2Q=%g^8qK!3aySyEzM zzbHhbX4QerR_~pxmy)2~3A^8K>*!EZQX;6XsZj+d!Rp4B=^UU*ySlrxpwozfS$kco zeVX01`Tv8pH-YB5ZQDlwO)4c(NlFSODVb%ijFq9xLkLABWC|G@Ora7g8OxY4gk+2m zLW8NyvkXy^nSEUKyx)G`y}oa+wb$DBy4SPTbL0R24cB#@=XspRah%@=2IR22P=$tt zora;^ewD_ciTZ_B4%xk{8Ym$v%&fODWs0Tb3$=J(OdZgaFSiVJOsk*DpR z0!v0gO)Utg`k_PSiC3S;@4Es?40gOcYoHIP88XoAV22-srN#UA(K9nMH{20?hTGjO zcpI;8#8Z-|9N4!{R{Kw_aOY+U3|SZ+d3t+qq2OF+eeQMN$op9M=Aoc=T2y(P`7rk2A+oUHgb>t7~SKz2{q+66*_g0gOIl9WBX zymXY!yLKH)sYh@?850;3w5sc8%3~D>8>CH5_miv#`7->+O3@%wSJCjp9F(rk>X%gBIxUO~- zz@Mk5=N5=&#CPSIz5TX2+6vv|rVeF7W5cI<;~Xnm_;nhzT{X)nrE)xkxp18?KQ)rJ z(fP`hjuS>34zULw2M$7q1_9Lxkh_Ts0_mcnS|!ql(u=~6U%cQ%lXWE^mcD_3l@zS( zv#P3}yPO03{eu}QgRUeSPGt^zKW7phKu)>FgNfz|Ho7PzB&=I#vqNlqbP(rmd3&#g zIC`RrBPtqo1mV^pn7Pe;=WzM+)eO!R-f)9?XUvO4m*@^Pylb_yvU9HYfL(ili|aPb zh;Rw4k7cAbxJX=@Z@%4hk44)e4jgzw3xi;>QF|Kf7tu~(m{k0S>t2G&D+5L^;gYVp zuaiGM1poM+`{Ib<%Z!Yhh?18s9f0&=1yaBi{d@)(K20rw0-5dTKXrNNNoz|Bg#yKs zu89O4GAM(%pN+C1gLe*MwH`afK>Q9~yDf@>(*$>+O{9o`nH@-2U1zUqhkarC<_oPi z8|25ROT@9?5PK&e8-JFWsrvn*;5I|rCkL&6b(|6r6@8wRM9tzdakK4Lc=#>=R1LF5 za5FH*UOejbiyabu^ydxHAT9XRZ;lHVzbg+eGZ;*tkTRfM&qC4=BFuvReJ9Re3dL9E z*57T2^yc}iCr_V0Gm(VC1Bs{!_@p)?0Db}n?&yhi0-5J=S<3ewPkT`s*Jd)!k?6=mmo-!BeW?vjCz`$8yGo0 zGJ}+@5!o9;A`E?2 zOgI+IgLY*E*HFrC;UuE{0F&JhUuA-OLqkhOSC@(8iNLa(bRIXkDZgU)S4=RNy4BXy zl!5X>b|VycY=;hQL_$GyC0N8j)zo5C4wxi;Z2Gny%51X0mS^kTQ9j=TYrzN}hQtW5 z13Eg<&PpuiDUmEW)yA02l=9*!GlyL)t`5N^F>}eH=0%dzO5}BCF)4qy}#jZ@)Ez&en`%xA3kEsEHo1%!MJDCi=5dx|GE54L@tRo=-^<=W92h*){z zU`X}i*_HQ;=|{e1C4AnpQMs+LGfR@=8!LF7q$KHdnWTYl#C=$WTm|V4>J%9qxdg)j zR}dVKlPxHZsHv&dnfXitp5Gf=&GDl;;a(JfGV`>Pl{|hx5Nq&TjiH$*HmgJxgw%Bl zaus;GgeFN}sAr7YQr!$WCa@6vtFEEZ4eERa5h)CP+)D%;=&&KMLY`a!_6#gR-j${B zW><{K%$G#jj=XI*ZBRVz9`MSjj0(pQvHpU}_7Xka;Zg*~#Bs!Gx8+3#fSx8mN}vWI zE?roQcfjz4vg=6|B{1~FqLIlr58Yo{EG-!(S z8WJ4>C^_wA?%-xLyq^i7OiYagCld#ixqdDfhscbNvC|tN!xf~D#G-RSnn~O~!L^@= zT3%R7C=b}|tKbs^NifK`#Ju20;cxo3wl-32!Ov$*M?E0hq>;Z!PF8j=>MIZ}arV50 z6$y%@HPB_?xF*adlK&@_T~xIADfoN}!IKe^EKfWtV^rQro8(;+FE~1Bazwt0wkA6p z=@*iB%|Ricqo_z_DVN|$oNbu}{}$>^n-~l_-`M+6&HxGT&k?g9-U=n!Q$PgYJC~Po z+b-<%m*BEjq8CJ4`L3@oq7t8m_xmThUFLV@R0TS}VhOGwzQ+=`6Lr^ccH)_QL#YxC zdrUB@tCXx3*#UwREgfPe)Tot^1zx!dOQ73moUBjB*R75o&@LrRXkc$%@E0Kw9`K2p zu?3@=;*`GA3-!B*cF^e^Lumlv)N8JB)Qe~qf~XLdwCOQ#NVmDn$Y5Vz?C|D>O&sGX zjo9SUsM$N5$0Z4;Vo>BJ5Jy53TBt_3gZ;b~Gwgh40nKNTcdj9{QbxZ4GgSq?!GwvgUXOc8}9wDSOD{wPie zKDX#{;NbX>=*@U zBTQK9_K$n>Ud+nKp!-n`uOeCy+dX7h2~b0D+U_(Lq^a=1Q)lKjIqa2Amnw~70-i@d zkt&h?%*51`EXef{t;DYy;RjIdDnfySkqfaK!gfY2AqPl|(na83flHeg78iFO8U)yV z42Z{Gdfy4W_U(ur6c0e(1Zdcz9sy<#u~))Z{>t+pEK?Rj4wwtVJZdu|<2o!~)ZH-6BI*J-&B)BfO4%?j5}$1&tpq!kCtMRjGAD?@|C)`>EhKs<8_%3O z=Z_ju_%$u?RTs!TL6o3_Qp*R3mt3VajOi#I5H81b);xKW0bu~P2>If$Fh2-|y0V)M z%1}ZPFLl^XkcbSla7EI$d1tG+q;P(j+rTczJ^xApJXqBx9>V za}%fyLwL=x&z>CzTqFPiFb;Kwv6hV6lrwgAui7Lp^6A{}SD*a-o8*??AmvFlEH<#z zM|h^AgISw5fNSul{gA$N7OeW@h~S*fEpvys?V;36&q#w%5fPa7l(vjh!VVdtiG0Ahs#w6aI^%B#&koJS>j} zlC7L62%P~jE=Br7+3jwC1`-mUkhZcH2m>^a)M_E;Uq!W%D1XddexR({+5;Q`6x|gD zZnGErcW;yxA8}qxaci@Pw?v(P!O~J0>i^$3#~ZX+wr`hDFZe~hVh;rbNdes~Q<}W| z{4ErMupk)fPP;;Jc-O~g59@O%jDuho{E`J4W*Y~G1avnaK+00MyfhCZ$a02ME|b)= zSSI-AENWDIOppRQE6@UZzw)h2Os7tsJejm9Fq<48`Z(#~b{YtL2EV3;`a)J-UJbe2 zcT{Ex2&+NZb1U`$7{j6epiL4R=@P&wn;L*Vvd}~)pEYppM~m;h#ZG$q69Aur^fYyK zPf;#)mE8OdlgrPb?tF)2PV4ihOIu&~DBK+1-@?xpa*A&A=ID=Fa_A@3VWH7&-|qdN z1a!@sHJGvCseQ-`P65b=?_5TIXUtD@Pz?M19gewYsi~>MXRd5Pb8j8#Pbf9I_V1%# zk7fhBuDRHM;i=yNI7@urE-Y20=j||2+(yJ_IBJv4dp3E@BNt_Kri$FHCCSB=ENAG1 zll2EzJ)`pgEN!XLDnUitgDj;S@lJzTwQ#0R4E-guG^7nv9U;wV%jM^b{li7J?w$|j ztzb$7d=(AS7Owrxsd{UH zZ$KMWihg5Sy36TT{E7xBpp&_CpTSay7&}0Zqjk#Z@bRxv$ITP@=UJ3H^j_fV@CPdp zyMQqu_4RC<``_fxh<;m|NKOO{WCann6Z33zJHX2*#}n-TgYC7;M}`$l066HaK%#?e z?-uZ=UChizCMK%@-oUi1k!cWrN3eA0zqTReR@GfZPhpd<%t}09U{+0e`lw0&t88-(3NWd@%B7@g8X)Fln-7|I6?X3MZl^JZ@3>Lqn` zX&R4`ho&x}!tg24#ZxHI<7ixMx zc{=?44Nv?j5YiZ7CP+?YI0vG2Zvq>JkDorhB^@b%@x+d3ykK$@JQakuZr`3P+NU{K zRXj`V(*CuH>IJAShTuUQKwAwo&N_1X<@7W`2@T3Sr{`he{W;eu-NQu{fIUa8}V?0=gxwrj}KAlsukh17{_L znW%xjzJ_23(ol{&evf<1)K>T3+DE?`w*t4lE!^QKooaj~>DzGW6VdOmm4;nK0D|Bi zTs4j&N3{Ei6BNm;_BLp4bfN$F7V9`*$cpR~j1(~W%)oc(B1Y+As=5@e( zz7mw1=;Y+q^Sj7GCj$~jL<1EXe3&@X;{GHbLRa94xKrlmV*4|mIqKV+B*ojcNGk|0 z#T&i~u&!8-Y=;;@L6+#_?@vr0G?+7WFDJWC4!gCVSER$L`>V4ChGq?fNP+#KXt6Rf z+cFeq@J|9cGFo(c5SE@GrJzRY^4xB4<^YwLSiW4nTn;Fh1yfCW#6X3_S0HN*K8pw{ zj+3>*#Mco1z3ZU2O}BMNmhX-JiGlN&AX%-H2N4kgP@%y6Vg=>e_s{!W=DsJu<%V{* zq>B&MFF^!g94)xis|LH5Q8S=wudk0W{rdHb$NA4y1jk0EFaKX#Qr7fz2(I2pYDr`z zoGQR?+tO-~&3t^J#vwl4W=rwFHacH^cN+*sw~-7M+8d>0Cq|Azi8%HC{d=^==ot=a zdtj3gLqoJ~i8CQosqoS0{K0a^YRGB{U-5*;XeHsY_Vlodmjz*ALF88k#|4CGfG4C< zw8s5VwI%@zCD{im+}nV+z+EtZr=gXnQqlg=K28WvtP++}z9f;wnO=_G!AN_N$kd0b zs^cgjNdgW^)hc2nRaF((TFly9G~=f3a)jp{9DskgnODGpb46^1u3OzCJ_PqXJ-$uRMlaFab^BZ)oOR zHaAy8DOdWF^9>8cp~E=(3VG4z@-u*)$I4@PZ1Jc^tE;N^!ewE&JzuyGGsF5D`+5mi*T32L7I**4SJUh$2TW)DxrZQZ(624BTS zxnN{;oZj~idbuh{P&Mp*4xVl8T=+kB66xtaA?{RlbVL%kq;R?;2A)=4z^8_g$J69! z94VMsxsRQFGw8pvYXVrL47zQ6x0;V!$={8tHvrAe#Kc4e$0+naLc_wEovuDrtN%}B z`=@_s=zv4}rJ-*L?=vnP@QQEH`N|YF&T}*P{?n(Iul!Q}J+qQD-Bv;{Hpa?2+vkea zwb}z5ijnrgBgG3RD3?k+RtPq6vN_e)*6xFw1yGsfw(AhS?x&Dt6%Ha3|r4~dJP`yq7*_!)$mY~9APzl*)x(5j$rzKBpG z_|O6GQMp4WKR7Z{8Nr4$tIH%ZInIvuqz_NgPBtbFs1pG7hv8oPzYyL={@<4-5D9&s?PL6MY~p=7+v~zTxt1WN2tz4ZNZ`H*zH?xL`k6T|@i*NIVD2 zMj-)#l#FF$7-&w|+G5ZLA-z&Cz~JReC19Iy9KR1>%yXoaah?Tj0~nd@L2Q+kl_kv} z5J`v#nv@i<{y}|0X=$bIn36{I@mnAx5>epDbQl0xK$loCXAI;g+FC@^A= z1;(uQ%-qnm^7%8yr)p;LyYWm-u-Yfk>?Vd}sIA`t%=cVt2d7xLs@w#JQXHLEg-ubK z5(3(2=IF9lV5P3~IA=mDZW#@H(+B+@Rv1X&AJ8SH?%AypSN3v;kHcyzD&z|>CwV1i zHwUp|Nk$DMSr|6fAm#R`bR9?2@g+(K-D%Q$q9`SAFd6+hwEG|V7N#DMp)e7Y0+&zb zAEK3g6W}%RDMv3KMDD^m@9EZqvfm25z8&oPxxh?xlti_U7)ZLN7_jpU&&4t!E^fuK zn5eHweyoH>nJ<`K`0Q3zBbshhR2hB8i1_sg*>J(rorjgy^jvteTOSR1>fNq@!iZTNdE&`GS zv5!D{RE{I#7Amz8tQAmmATpwX-$KgpwMIE##^PS zoR3!)e!3yEBKaeDm1-mN00HjcD>fj7R8H;f{=9tOPqCJf#R>TUZZ++vU>D*x`p7F0 z8jJ+Ok#t1kRBstrn4LU&t;?fr-puGi})P0gBTLa;)RM-==RCo*AiI3lpVlC<85*7wr8(1jh zy7Kz@LQ^U}^xwUd7zx;+0u>0Dya!T{bZtp{5s>#sP>||kbEt$fs_$(z$T~nHICc88 zxqo?Da+ykDi2g(paf(BOT`El($p#XpbjRqRGL*>%R#>MWPPrv>? z*+_E+Wwu9U7WUIr^Ezs3w9tb;YPllQfk7`5G;8ZA6O)r9=R?A`2TfiAsJ};}5{qGF zm%F|^;dA!*9U*iD^!O`5b@Qc_TG&jvv$r(z>gr^7_sl>rM31B7@KNZVVfuDof&By$ z5aKzF;=C7&0lnE2!T4cUb(R>8$03g%QP(6jYo+f5-P&v8j$5#VILVkc3idK^(F%Zi z+tU27{Xhk{NfID@MkUVBXV5p{T-haJvl_=(N;Y@)RHs==ApqMGaJE2qdv8z`8Qb|E zl09ZT9mm_o>3GDhY=@-F>xlwC(WK4kFm-V}Q&4GoRoK$V={n2k+v2pCsuPTv$JYNSX-PRohTi^#poc#PJa?Z5zp`euJLXeH4a6 zn<-BLT%ix}3GQu}!~jMWp3-HcNqr+DT*1shguwZ_U}h#y83JD?76&vjfl&dEaYl7 zAT30QJ3WMVl4mz3++8p&1{)~>t3LD9E7DHFunDI2JX`r6wwH#qfwcXf8^v4b8WT5| zC|av*lK%=K@=EM0)6#3fu%A-5_Yo9d6lU46<0NwW6FareocWte;p0~xL$^B~epW$v zC@Z27KR)3^K0KOUl#}%8RWRivs-5p(XvD!3`3t#cnbc`uKD<9{P7$o z2$so}cK}2{_{G0ir*IVTzozAea~ZK4;5_}0YViMGwFexo*LJRO=m1BWS1|6`vlW00 z2}+8lC(0YJZpuAYtRh(qe3%KsLh=US6^^5p72j4A5lqTIn;vaNQhWWI`i2G{@xWq3 zs|2lhnX_l<$OPsiM~)CDXJ7_|^KISW&wCNQIl|YCLjnSY$$dm>bxloHkk5X+)na|P zQ!g^Vg{NuGI(G-*R}=B$!x3Yw22WJOIEi;4>Av;<c0tm9Z`z^akU zNDv|sND44WhCSM9q&tLo3Y(hy#%0=EW$mW;^^EIXRT=#k|DuF?;|GL@Ga!KMq%u=~ ziT^y&F@Gov&TS7{Sa4ZDF9lGN&)vI8*?u(jcdDM;AVhTB&LB{`JHF2`IXW;h^4{{& zbTJPv?{WCyw#l5uyfoylUTDswwEw$%6Pu*`76NAt43K$@aN9Ztc3_9oATzP4LUUo= z`t^i7k2s_OhQSyWfImW)kHDX)J7jSlJXi`czUR^}m<)Mg#tvCTOTPdydnmB0+7J0> zpF|V?jFHh^Zv8jxxyYByDQ8U99f93*!SBzf>kkQ$XDfu%{=~ygq;mm(wAJ8~WWd&m z7?%PKs(5KshE_kJ0ij)`Tz-~cqsK))Pv)IUbm9k~8pPxlaeyj!>R*pM>bN?&z%PWy zfWxX(e-=w78Vp{n{1c^8ka00GF(rwr|Ji6=6r&z^`17CyVH4fkb=g-xmlG?AXm(M` zjkGJX(|4o&<1BX;&(%aJ=Gn8eCR@W$s)8i}o-*5>JrulQf&_3xx!i&T1Yh|=^lDS- z(ay8nah*;Ws#y+z_#@67G~9nOX3!vIkU4hjSfTVaOf6tNa)cH)Ue5ytf{9`tYF8pp zKm_XnEe)W92TDRf1D^T6h*y^Vlaw{riedx;Pbqc4lxPzOtHd!4XesKOa$Lakl=j?{ zIDjz0M;>5n>PYshS9<~#Ft_ZF*)FoXnljP3-fx#70?%Tc#q7=H|4RY!L~%W?nW>+B zoT$aDt$Fdi)>Ff%>(wca3m@OYMeMwlRp+QeYbFlhQA{E}YN;Z2t&1Rv^Zqf$c;Jx{ zAc;Zdv#x3ZY!d)TL~FJ;lm%1bz@5}!K4{Kb=Men-d(}LCOq%T7@R%ly;zNfIlOz;d zkGd63jV8e5$s(ZLp>ZD>d0A^~ev>`o$@|(`XpfmAt;yScGECMh2*?mx5MGXDXAup` zTWAQ3As|8f+cO{_AgSy^K*{VqRRK)f0j%XbUg%8{IUqXHXupy%mBeEz`;Q5|uMFuY zq4SmWDzWt`k^%&1Rw*e%%REfuAe}sff#d^!Uz3FR*YW|Phr+e>ziGi#cC@v&^jQS{~#L0V>u4S0E)N$;f#iz>Jy@U-%_u-saxURXQSa-;|5A3V$b26f@+pRS zWnA(nLPBz(wh!9@d;#^=p5L6wN=S`KzK#|&2}zV=GB)j(alT|=LIDDu!pZJjh;TTE zI*X+!WTGUJXEkdX@?Kh1wY7cF*ML+GzQI1IONfE)iS1!4R#7#)cYrZDdHl!s2azG9 z2(hGlnE~&PeXTswMudwDOse;_BJKyX)_rp9QA!8)w?6STijLam~pW`dV( zQ*3txs3(E=C1jS+013`5rrrcLiLB5Qj{`h}7oy<|LRAw{YZC%5QbRq>*ZX9V}US5yeP;W^f0PUJs>H>DiCNC>31TU8jQbslVXqL^EfIS zXmHl}%COp1k%LGb52PE23}Ju4b%iu%KsSdBZYL6zq$!EUb}7mEQT_t-B9(^oYaxw{ z?{ndxS0};^aB7|-x;Ny8mJ;G3u7EOsJ>roQEdgz$DD z28N_fG3CLU>RoQuyr22_1D{0Rn=dc789|$oOyEQnm3-g?R`aMkSY?=J)Y8>{4Ivj2 zz&&7{BHK@PxIQa7$*i~G_3M^sGZkCLoep=roLsyZS2_-UIiui}tz@_xw@Uw! z>;W;a8|yahz8A{xUD^>j8IhBisp`ch&y7(QCN0IqIsY&^Sg(@%Pt#bv0g6*)ZSBsWoRWuLLvYzVbUn-6=S0`k+76 zm>+;HA^H>`XdROQB1@qokQqde=(6y6i2jOrVF^olinb0mxB=+lG?N1s(#FO?zarj? zvbYBL`K_YB-mhTxY*P%xsR$18AZt-d3e-4cz|ZOa^XITGx0=){3yZ*sPx3QYm)#D{ zPia9;O%9Xt^70u(A`Rx{~( zEW^}KQ`3vI^`3F2kle?9@8faCVWZBXf4@}mTiWq;&#ZE4)jV*@+lUzqVFKPhL@9+F zZUrT0&Dt{1$Qd~OvMtAb%GcRBtfibQys-^>#niiO1O2gXa2>DvO6vbxBv4Sy7-Oz*w4d?9nQd|S#R#+;ONB^C<>*j=19!r zxQl+lW#1l&L`L$=E$5Gelp1s8HW7z1?Rh+|U?7)n5I+9Wt2VTEJzLD&WQ1r!#q;kH2ZND>Jj=HR}}=2;SHZA66=-BZ;zoP>sV%kxrw#pPHNB-dR62 zD3-l{90xo?x@BNAGMV+1kBvI@OWwz0;I(J(6MOTGQ3x+S{xz@3 za6P&DRNYI@V^NB)q|E8+Ny{hKtvA?_{LFp&N9lOuARYcH{vK{SUC_=BPwy@s^O8$~ z+%LEr+(Um{JLinyZ)94OV_I8+7`{rG=chn$*olFZ38e~Tz0IwkRo22Q?A6w5jv8;6 zN$)~Maa@My^0U4-XrPz$TJjHb|L!{O!ni|cTxi8@Dx*O?tM%zz7x~0=J3%2Y`6$VC zOp?2B9_(z368+fxiO%f^H@Bt{J6?hI;vE-xt-M*~OGC$9W{lX4jXS)x&p8yGIecWC zPBZ=9+qbtl6;$ev>*(xDNe$q=^nls4em9j${q|v(@j_=$?LtwiwVT4r8q`I7h}aG3`|tRY-ZVzD(e6`r zGOxJ!+@1rMj#6#9sw-(bGvVau?0)-5aq#({JsEIFlwM(2Gt4h&{N8^maDh&UD-OCZ}-ApKfNxZ-(dO1z(zbk zj~7LfLQ6m8Q>&a$SFVn(h}GIq>Hl`aa`9r!XVqBK3tf-sy>F3ioW!UoNd*ZtifEmv!oQ-{rnaIwRU=O}W8Kk8OG@ zuN-PI-`tQG_AZCrw2?jRU9FV^X0rP3zoMxXl0`=u5hZ}CZ~Fx|qX8?;PW7pq}Hl6Lx7iFaF3L`hwQJB<22)T{mZ{^gL0`*DTlEHiQ~^}DMR&-x*W=K_!9 z!-T=^=8~JKPx$)vyf$7wy*T&CX}3TzU#*jtqq|*k#k-dhthWXuZ`|#6b7S1KOZ&C0 z+1bY-sh_#I57DlFn{Y)V-l|RE!)3w8bwG4HMTmicr1)hw{q>?mj>unZVbGHn2xb6=O%$;4D z7v^t2encVebpA{Hj-;eUsH7_!FYlViX7S2270`!fm^^0Cj=ImK=BN@C)4%X>!MG~S z6S+2DC}ZQZRl6@%f6Uk6Z(3O37w+w`DSqv9RP^YC&0rln`@W3+cfQZLiO&#q$s2p` z#4~S0-rjD#&|2~7)6K^Q!!pLkd?U>)yex*rOY8QXI?8)R-TP`f3@PY?IM$jv2}^Ku z2O1Pg_AJaY=3I4RD;wr~)H5_xQgg&%|K7d6hxMqr>tE+THm(ldlVf%N{MSs^HBIBa z@3(e zFqr<@DQn2;z3J1*$lV<@y0_a$=L(${+$K#Q4Yr+n6#L3=gE=j8&$sq`7oKa;v*+sL zm0swk?ee?+qp#7jo%&V$@yUUU&S`$R!mS-QxawWw(tGG1KbdKU2V!61u0 zXk&pIK4|#^L=(mSK#@v`T8TC)8dYnOAA-)YneoYwesyv z-ri$Ax^tu5)X(m@_WXg#x2byk&Lf(CBE`ImA8Xxg6c9Xmv@BkhHu=mOJ4|(r8ZpSb z`n59cG#12N&DmdZ8M(PNUm`|+3xynvlNcH5yHL{D*dI8~gOQy*-YokwohGd-?&(+8 z9C5EQiwgLVv)J(B?N{aG7iacHISsr$H(edFL9$-J%Ha0T-h4jiKbi)PZ>4Gm*HNF2 zzmwL#l7Ieu*RiJ>>5=^+QArviTeg*_eMwl6I5`lelcR_Ib<=BFGy6)vd3I>{sLL7W zIXf1zw+uFI`U5ES+R#T?FsQT6#fZ1pOBt^IeEpVEbM*0T(6{nouto2HCZC}R_{%=v z;Qsnm69Kv7^2GN9u}dv4sjUh=@z?xG)orY9zQQl^HE;5GB44Hy6)Qd(_L_i#4776-5 zmX^<~g{SS*z_`@Sxblkf49EK2ZKp$?>-AR1>JuNXtsdA~zn11lW_$c3?%c7f&J6hU zq%JX^#|qpC9G;@Fat`((vvf&M#^k zzbAiSzp`W-*(S_1%O@UQ(U`=WB)xVeJW5;_Irn(niDiE@#Xvb4w}#ciRO z#K?EC+Ut;(w(q?n>0-Am5qHU_aslG}5h{Z?7@i9DCK|LyJd@sz=i7hF$#$7dNa$X4 zbe@b{2M9@f8E6_;QO$f#H{5_mY3oY;hkR0eg%H6ntQT{95N2&HVtMWN)tX1aNA#b{ ziaGFc@7Yti)WjlE`u+WT#Y%~q5H`?D&$Y%SBXRW-`yO_WWw2*zLcOHeTj+%8^2$JjzIocl1vQ0k^x)Z!h>cGJ&=&L*OE zmyW$qt%Fb5Z9(%*Hs3$fbU4Ov^j135e)LXG-Z0Xn6z#q&BEGzEVxYEFxj9WT_+bBs zuUTjBcrvq#hw7t$o#B^vKQsq0ufXFv+1c5W1`yQ0Cof^69xgZub1r0*iuz!t)#U4%p;T z*zW^Qm7fM`%`tM5k&5Q2JQl;(?2)l^o$_z64@}pM1A;gcY0Y;g`-%wY2x@nTzuv~T|BC|Kj?e+Dj^=N}`Y7*3Q17@reNrYY%B`J9ad9X(R_bu)B|r8m!LzAZ8RgP>>)M`?Tmw z5;i2ZByDJ^bDm8<<#lLnybK-!0*e45e!6xBD+mrU^748Yj=|{2Uyki0t;1v>qtnEfKIFIU$V)3wYx$Nv*)#K#_E$qwyM%lG zYX&cTpH6?oq3xx=Cnomn-(SJH2Asb8=(y2Y_fzi=Iw|(%RHW>=JYzR~6|O#n7+%vl zF}i9o&s4k1+nI!OI`n(lSZ(UWaNp9pj=2pH4zS0fSXPuNx#>uaE~0l_+IQ;wb(;p^221?Ix!tD2lTu^IX4e{4jY+Mp48hYGcL{CJ+F2I z_q`qHtrXe0ZOySWXCCa<-Ujo@!_pnIF59iG@e%p8VfStST&;8BsF~Jb_yWZnHu(9fSu#mn8IQ~6zEGQm;8VY{@| zS{836ujYY+sbx>;nttZ0j^d?kxNWvgDnIHj1Obh4BNcw*km@;zqeG!Lrc4LO-5RWA zljN*oHSx6=(CmhlpJu9UB&V42HgZZ*_Pyo9EN^3zy1VQeS_cjDL6W{JyHS6|Qkim~*)% zHdTB}=7sfDoSY0h)lw?sb_x$k+V0n~YG2s}=H>-BzsR1$j5~#;3)N!J)~;KxbHXO` z*FE@L3X{ZCD}6v>yd^YqcFGFlEMT*87hEY-GIJ*V&rJYr&{0*UuHAdMq|*DPmciT9 z3n%>oILlj?4Bao5a71mkpBJJ)FlGYr7ZhjPtuNw1-ruj*v3_Fjq0wz^ZNUy#8g9@7<74l~{K12Zj&=8F0UE30uMUw?!J$ImHOZ~GB^gOZC2ebD~YIFriD16`3( z1wmsG4hnkq@nBsN&%myObrm4s5OOf|k31|R!@Xr0XpGG^Kfa;cZ-7}X88 zD=TzeRp07d7jE?BXYad;^3ZyX6zxFp0QimH`LL#(k&$`Fmsu+|#RaN`t!{RbZ0*x+ z*RE@JWL(d+;<)zb>Q?7J_|tg&spR#JDv^RH3Fk*>X=h^o2?PgAjB(3auua={D)@ay zEp$qb=(9s%Ykt$8v+3=59v+)M1;UuXYxjFY=C1pxc4R2s4|TBFG)@7zq7vRU5XMT} z2%%k%DaN(60kAh2{3awW9u7VwG0;b4X0WIC^v_QH$0{CPw||o)g=hFMnl-@= zHnih--52p5u(~k|zFnUAfW@nqWZ3Bk&|rqJjU&@fpFFvjmGu_-tDBjbm3nU57nk24 zo;F#gN|?3~U&4(aTJ%SNas3lBHs*ahT|TXJ;+UR@3=daCx_`OtH7{D>_r*a$e@sTi z0DCcmDEWRHT(f+9v~xi_B+wvD@~ln131Iu3jBltGV>v`oc@Vr3ONT#xNvS?LW$%gT?iZ6-8$bPWhD2r~poxI&33 z10bA)~g4(k8C<-7Mv^T~hm2|44qom^H1J@xqCd(%A8{r6Yi zojOq9M}9+ly{7~D4LYu86L|C3@B6lP{Jo}>JO7_QgfmBR{}uq3T*G{KY5sjK=XH?6 z-r}Xc(9J#wcHY5ZoB#Vqu$FqqUoS2VN4>L;Ra5?5l0rrUR20v-pS7I*d+~wBRgmH& zo<4B>--X30Kv53Uvr>3?)Zn}yg1ji}W1XO8bGqXx?gvmrE3g(zWq=i~zd=*(kZ~%Xcjuf_IERNXZq!#wW4Zu;T z;88(2gFQyp1{e;u%x177DOj2tp@8SifDR=EDr0H9@R|9}Wy>EX*u;wAM+32&phPsw zh&rwOU$>74ipiIkmx|B=*(K#BUTMBGQz`W@IQSi!C^WH3so&9+1oGPtdL9Ln^?+z3 z;tnD!occqwK;nUI`RsrRejyHp9CT!TS?rJKwVi+L$ih`nt}80sqckrxF@E$Y=$xr zy>K#vkr>KQAa4a}x(akSqQk@R1S)XH54?<$cKgrk59DDAD1bBw9u`69nRbnhMI?-n zmjPxzvQBE8ALYnt(c>h|SPD5M$e&}l!2O^;3JBOvA|9W!} z*^>#pp~Wgu$&q33CHtJJCk*PQH`?IHP|ZN&LdV(*EHnhAb+)bOp7uF~gJ&BAHUhCj z1Jj%Tl}Z#X3nSxuI7?W=i3m-5$Jpt`qyPDi_lM5Cet<)XxC#(%C8%kj&k3WSN!sEb zVA(1*6Vn!O9Qn~#qTou2l>o#&braW;-kyJNA8rTI>N`AP428d-t7M9X(17Sc%@l?2 zpW_IL@a+=Muaa)8eb?NN@^E3HqYJagxk}!{%+KDhP}PGY-#a@Pm4HP@=G1~5qnc}} zkG!J-;WiIyWH>j#IlR8j8%G>uV*O|?^RY}$Ohkk8g{jchE*}sMp&`3kxr6V5k4V?5 za8diaxZf`rk2skDF&tKQB~ENGb1oFWh&G~7wi=$4Ij&BUs@)QzUmBjC*lc80UDLV$ z?{P@20J$m-^SUovLra@Lf+Ow9m>83@j~|BcD20(*pj%NiJFpWn{Gr>Sw)m8KM5=r+lZ3?aphU#sD_v)$?MksGFg zdqyI!*Kn~f^vD0Nhwa!)7_qUkG6aQ(e?X^+e-{)$tM&*936)txb&BROb*hkg?7!oj zVGE3lpcaIpCbSN0RkIn%J$pQ06;t%`RMx4dLa6yzf33qnZIc{$wl`ed>I@s7SOou; z*1_FkQO-Z|P9(m6^KZZOeL)i82$MiUw!#*Z)mP4#_Lf@M+bjgm8~FSTCj^_6{vML- zEXdAKr))-HLzWs2!ROpBTAZ;5c^NaKQZ0BGu|X0B@&|AJjWPkC@)`ms6GKdf=A7Xv})0RS9YNnF&K1wFC0mr5$`}E zQvv!DPLdtp;EBQ%RHZJXq3dl_=5=xQ<3TbUn~aL?yPFd9_uJnuqhWpl7&#W-T`Uwn zI8UG-=wu8ecg>lYPw&AW#>ikn{ixJHxw-`non zi!^v29xw#E8PMGjQz@9t;tACM{4s~a4l2SMdo{1(f6FGFV|l>*NF;BJf{-ie%D zRy}a)-@)xfrgDS0n1##{!_|316-l)L3(9lNoWe{2B>F*Q%b=Rwlz@y;9T4_HAqd<^ zylSlXF;yx2y_-9)ys?ENs_|eieR{rzf^rcovLGy;NF3~Ep3AHs9UX-m+WSmexKDwm z9QysH=1CJPD>7rDR?W;`E=I_-nnNsTcK`#n(=(jhZAGqONc!lYNIcXE;u&ayRKx;2 z2QYA~Qs_w~CBa;BsUzfwN03m55C;`ceKJ}73Ymh-|R5H%mg8Vc)<~e zYlZxvVla)*r3*3zz>WJR5mI4W+IE+&N!_u$+8UZDaHAnv4uR{zWN?c7zpa@whQ->D zq7#I*Lg+q~KgPjMhQTHoK*|Tt9(-ZuRWkvmQ0R|{C>ZpJ`x0r|-U(=@pu+eJC4zk3 zxqr{06~-pS3mV)SyyUIg#ULla{`esdT~pCqSf>&T8f>MAZpU)bZ7q1e zIXW8Eme-}lme%uqOsCFA)YU-_8<-xwmdo$U)!`A~T(nDcn$gL`(2UvD0yN!Bi);&kDx;*`01|9s^F z^RC$eA1B>lF!PaTY{L?)GuQf?ni}VWK>7j*67mF`B)WDfSS`Fz2No^<(c5FOqdLJ` zs2DlU0Vji(EDdPd>ljTcTESU&c;9JC*+HA4qJ zanUHg7-)XrGy=ZSwyRBI*lD79qWIwJRvzcI&Qt|r9vR6MJ?g9$Wl7+!Wr2dxmY!{A zO-|?XMzq{N?4;7E2HmR`s#T9yT}#tZOUnIJA%{idwY{6(rtZkSzH1ZJS|rUT75?Bk zxQZD3I|76__wDSRo1TnRp>pO zZ;s)#${E{6lJ|G}BP3m)Ld0I#F2JFOBUsD8$rBdgloOhF&NL<@$yU&hFz|3wmIoJC zV16oa*g>f*i{!tjkI;7{y%=@yCHnX(zu(13v0!sRdu+0(_Hsu;o@_-RM;Uny&lT72 zu~>43VD8b_-~EB_6mz%-fMM%Ug(B_gC~lK$d`}W&eJ&*U%kP*|8Ky14&*6q=^xuDf z6TmLN->z^hLw!XRD-k?&w!VzD_kB>@m(vjk&I*nFm`9SHdG$X}fhMjvlXgYK@AnZEZebPS$q_K}FNmfat|2dAfY^BiRmtSpJX+rj3B=mZ z@wM81!F^i|(w9VYV=VdmV)p)aER@f&7;k@FIUVIv|A|K4SA<3SF7FzA*zjy)%w$c( zi)lLv%A>{0J6Z=V>g}&$$uV#o8JHR9b!nJnyOluoW&TKE=vUYM9Jvt}2CVow4YOQw znvXEP@rWv#^QFD#UUFoo+uqT!m**-MCgY{P#L5SqYuzR^s9HDBj3hp^j_Yq)Qj6%a ziE^ zbClj*=3lYM5_qn;i2_TQ=9o^O3$1g-7mAFds3bNeOrUHQUk zpEA80Ey`N&Eav|$)x5X8JZx@k7^Q$)j{~`?#xV5+EHInY7fzi6ubtjx4Ejm@j%tvq zd9d7jmxZ@O_%kQFiF@swKp95~hnll_f(Xg?jBU4e@ZX&k^zs>_6Q62Ro1vL5d)rk~ z=PAaY-70FvmCI_yduc8jo$He9TU>imrkBFdw#TV zM1W$|yPD1o9tUZXuFXEKdDnS2Ay%*IMDiCrY%@8jvTrBNXU9sc8ZN7O z@E(ey^$N^t)}e z*0(q$N9W8)S5qvbS__}~=^WP%-=Z=@rUlQ5BV`+2HQ`-%oxgT|{BvR3YnR*n`E?)N zWSloD=hz?lmeY}nFIcy%e{ny&jkj-q%$gQ|39oVeGGF+WfaHt$H$D`OOg~v}bNO?) zRlejkMHKx;=BOX%%Ytbf8zxJ}Y29{w>%_N>x@GxFvILm1)vru#uKf~V>iSvpEvF%y zMQ&rtZgtns|Ke+{)6s&~By!35J1RXKGCT6NM)zkO=F~3|z`JEXe~!YP#;vF=d{bm` z@a4p;=hdiO=BPBuqmONrTa5%q_aG6tb7%uub88H2@#d`^+l`9C{xEl}=ul76<7~~5 zZ(`Z|%kDzXAXjs`Vy|Vuh61_MYX1&_n2AWCixqh1R1;>Uf#a&U9^ZRWMumXrt#%u>)ZsO;@{n=k_zqjx6oO7OY9;eg8b_xBYc4j+#`47RunsXs!D~B2qU;KnQ`*s99SoaFRpIrX*qAsO@ zGs24~o{XdJ6bh2(kCk=1>lhjtN%j2+HnI1Eulfi;bC{p+2d@~c(|XM%|LjS2o@~%H z`?%DK*P?ZrZ3{|4GWvN8}qDV!RQYx*S+{?Z42C;=kctL%!5)Fv%)@hsjSs0y>qnJr(QU0h_ixD>!A z{kbft#$(c5gTnY=$OsYw7xKhC*=oQkOv>9M90;rlu>xs6IRsIZxLdGkiC9Sjvx3Wr9jw$SH4Z`x0dZ4Aym-Q^@2^^UAXvdtML! z5{%ev%yT2b#(DaZrEha<^?nIawe&z+bcWj@FW(!kpi+4qlF*UyI0`Z!d$m4m39<6h zd~KBupcaBxdH{iDmzKuyqp@ql5JYgW$niY}gNR)PUmfU@ex{53TMMyoYa6T=Z(KmS zPvhcnG~)lV;3EcwT$lWuh1C;S)|L&_iB!hhh*g=H>ovF>Atd_?aXPkx!EDh33+^&v zDF}jpXs8gM{*h8i_{xd2yOfj^UdS(l275J3nOFks<5TR?0!@wRbunk`i0cS5H%2F- pB2JR<-mUU`f07DR82?W!S>uL!d_lQt$JL?WwV&tXCU*`0?mx7VLoWaT diff --git a/bip-0008/states.svg b/bip-0008/states.svg index 3503c343..63fe634d 100644 --- a/bip-0008/states.svg +++ b/bip-0008/states.svg @@ -1,14 +1,13 @@ - - - + + -%3 - + DEFINED @@ -16,7 +15,7 @@ DEFINED - + DEFINED:sw->DEFINED:nw @@ -32,10 +31,10 @@ DEFINED->STARTED -height >= start_height +height >= start_height - + STARTED:sw->STARTED:nw @@ -43,15 +42,15 @@ MUST_SIGNAL - -MUST_SIGNAL + +MUST_SIGNAL STARTED->MUST_SIGNAL - - -height + 2016 >= timeoutheight AND lockinontimeout + + +height + 2016 >= timeoutheight AND lockinontimeout @@ -64,57 +63,64 @@ STARTED->FAILED -height >= timeoutheight -AND -NOT lockinontimeout +height >= timeoutheight +AND +NOT lockinontimeout LOCKED_IN - -LOCKED_IN + +LOCKED_IN - + STARTED->LOCKED_IN - - -height < timeoutheight -AND -threshold reached + + +height < timeoutheight +AND +threshold reached - + MUST_SIGNAL->LOCKED_IN - - -always + + +always - + FAILED:sw->FAILED:nw + + +LOCKED_IN:se->LOCKED_IN:ne + + +height < minimum_activation_height + ACTIVE - -ACTIVE + +ACTIVE LOCKED_IN->ACTIVE - - -always + + +height >= minimum_activation_height - + ACTIVE:sw->ACTIVE:nw - - + +