From 750f5e59f6fe57f4b3c40c18df92d87aded4b9db Mon Sep 17 00:00:00 2001 From: Luke Dashjr Date: Sat, 24 Jun 2017 18:35:25 +0000 Subject: [PATCH 1/5] BIP 8: Refactor back to wholly-contained spec This partially reverts 7f6a0f811cf27ab6d77e499afc81b97d6d11ced2 --- README.mediawiki | 2 +- bip-0008.mediawiki | 132 +++++++++++++++++++++++++++++++++++++++++--- bip-0008/states.png | Bin 6684 -> 20891 bytes bip-0008/states.svg | 51 +++++++++++++++++ 4 files changed, 176 insertions(+), 9 deletions(-) create mode 100644 bip-0008/states.svg diff --git a/README.mediawiki b/README.mediawiki index ca0138e525..d37d6fa024 100644 --- a/README.mediawiki +++ b/README.mediawiki @@ -30,7 +30,7 @@ Those proposing changes should consider that ultimately consent may rest with th |- | [[bip-0008.mediawiki|8]] | -| Version bits with guaranteed lock-in +| Version bits 2017 | Shaolin Fry | Informational | Draft diff --git a/bip-0008.mediawiki b/bip-0008.mediawiki index 3a1f2079a9..1409c63f11 100644 --- a/bip-0008.mediawiki +++ b/bip-0008.mediawiki @@ -1,6 +1,6 @@
   BIP: 8
-  Title: Version bits with guaranteed lock-in
+  Title: Version bits 2017
   Author: Shaolin Fry 
   Comments-Summary: No comments yet.
   Comments-URI: https://github.com/bitcoin/bips/wiki/Comments:BIP-0008
@@ -13,7 +13,7 @@
 
 ==Abstract==
 
-This document specifies an extension to [[bip-0009.mediawiki|BIP9]] that introduces an additional activation parameter to guarantee activation of backward-compatible changes (further called "soft forks").
+This document specifies an alternative to [[bip-0009.mediawiki|BIP9]] that introduces an additional activation parameter to guarantee activation of backward-compatible changes (further called "soft forks").
 
 ==Motivation==
 
@@ -23,21 +23,105 @@ This specification provides a way to optionally guarantee lock-in at the end of
 
 ==Specification==
 
-This specification is the same as [[bip-0009.mediawiki|BIP9]] except from the STARTED state, there is no FAILED condition. The state transition from '''STARTED''' to '''LOCKED_IN''' will occur under two condition:
+Each soft fork deployment is specified by the following per-chain parameters (further elaborated below):
 
-The first is when the threshold  of blocks signalling is reached as per BIP9. The second is if the timeout is still '''STARTED'''.
+# The '''name''' specifies a very brief description of the soft fork, reasonable for use as an identifier. For deployments described in a single BIP, it is recommended to use the name "bipN" where N is the appropriate BIP number.
+# The '''bit''' determines which bit in the nVersion field of the block is to be used to signal the soft fork lock-in and activation. It is chosen from the set {0,1,2,...,28}.
+# The '''starttime''' specifies a minimum median time past of a block at which the bit gains its meaning.
+# The '''timeout''' specifies a time at which the deployment is considered failed. If the median time past of a block >= timeout and the soft fork has not yet locked in (including this block's bit state), the deployment is considered failed on all descendants of the block.
+# The '''lockinontimeout''' boolean if set to true, will transition state to '''LOCKED_IN''' at timeout if not already '''LOCKED_IN''' or '''ACTIVE'''.
+
+===Selection guidelines===
+
+The following guidelines are suggested for selecting these parameters for a soft fork:
+
+# '''name''' should be selected such that no two softforks, concurrent or otherwise, ever use the same name.
+# '''bit''' should be selected such that no two concurrent softforks use the same bit.
+# '''starttime''' should be set to some date in the future, approximately one month after a software release date including the soft fork.  This allows for some release delays, while preventing triggers as a result of parties running pre-release software.
+# '''timeout''' should be 1 year (31536000 seconds) after starttime.
+# '''lockinontimeout''' should be set to true for any softfork that isn't exclusively for miner benefit.
+
+A later deployment using the same bit is possible as long as the starttime is after the previous one's
+timeout or activation, but it is discouraged until necessary, and even then recommended to have a pause in between to detect buggy software.
+
+===States===
+
+With each block and soft fork, we associate a deployment state. The possible states are:
+
+# '''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 past the starttime.
+# '''LOCKED_IN''' for one retarget period after the first retarget period with STARTED blocks of which at least threshold have the associated bit set in nVersion, or for one retarget period after the timeout when '''lockinontimeout''' is true.
+# '''ACTIVE''' for all blocks after the LOCKED_IN retarget period.
+# '''FAILED''' for all blocks after the timeout time, if LOCKED_IN was not reached and '''lockinontimeout''' is false.
+
+===Bit flags===
+
+The nVersion block header field is to be interpreted as a 32-bit little-endian integer (as present), and bits are selected within this integer as values (1 << N) where N is the bit number.
+
+Blocks in the STARTED state get an nVersion whose bit position bit is set to 1. The top 3 bits of such blocks must be
+001, so the range of actually possible nVersion values is [0x20000000...0x3FFFFFFF], inclusive.
+
+Due to the constraints set by BIP 34, BIP 66 and BIP 65, we only have 0x7FFFFFFB possible nVersion values available.
+This restricts us to at most 30 independent deployments. By restricting the top 3 bits to 001 we get 29 out of those
+for the purposes of this proposal, and support two future upgrades for different mechanisms (top bits 010 and 011).
+When a block nVersion does not have top bits 001, it is treated as if all
+bits are 0 for the purposes of deployments.
+
+Miners should continue setting the bit in LOCKED_IN phase so uptake is visible, though this has no effect on
+consensus rules.
+
+===New consensus rules===
+
+The new consensus rules for each soft fork are enforced for each block that has ACTIVE state.
 
 ===State transitions===
 
 
 
-During the STARTED state if the '''lockinontimeout''' is set to true, the state will transition to LOCKED_IN when '''timeout''' is reached.
+The genesis block has state DEFINED for each deployment, by definition.
+
+    State GetStateForBlock(block) {
+        if (block.height == 0) {
+            return DEFINED;
+        }
+
+All blocks within a retarget period have the same state. This means that if
+floor(block1.height / 2016) = floor(block2.height / 2016), they are guaranteed to have the same state for every
+deployment.
+
+        if ((block.height % 2016) != 0) {
+            return GetStateForBlock(block.parent);
+        }
+
+Otherwise, the next state depends on the previous state:
+
+        switch (GetStateForBlock(GetAncestorAtHeight(block, block.height - 2016))) {
+
+We remain in the initial state until either we pass the start time or the timeout. GetMedianTimePast in the code below
+refers to the median nTime of a block and its 10 predecessors. The expression GetMedianTimePast(block.parent) is
+referred to as MTP in the diagram above, and is treated as a monotonic clock defined by the chain.
+
+        case DEFINED:
+            if (GetMedianTimePast(block.parent) >= timeout) {
+                return (lockinontimeout == true) ? LOCKED_IN : FAILED;
+            }
+            if (GetMedianTimePast(block.parent) >= starttime) {
+                return STARTED;
+            }
+            return DEFINED;
+
+After a period in the STARTED state, if we're past the timeout, we switch to LOCKED_IN or FAILED. If not, we tally the bits set,
+and transition to LOCKED_IN if a sufficient number of blocks in the past period set the deployment bit in their
+version numbers. The threshold is ≥1916 blocks (95% of 2016), or ≥1512 for testnet (75% of 2016).
+The transition to FAILED takes precendence, as otherwise an ambiguity can arise.
+There could be two non-overlapping deployments on the same bit, where the first one transitions to LOCKED_IN while the
+other one simultaneously transitions to STARTED, which would mean both would demand setting the bit.
+
+Note that a block's state never depends on its own nVersion; only on that of its ancestors.
 
         case STARTED:
-            // BIP8/9 specification follows
             if (GetMedianTimePast(block.parent) >= timeout) {
-                // implementation detail: if flag set, BIP8 workflow, else BIP9 workflow.
-                return (fLockInOnTimeout == true) ? THRESHOLD_LOCKED_IN : THRESHOLD_FAILED
+                return (lockinontimeout == true) ? LOCKED_IN : FAILED;
             }
             int count = 0;
             walk = block;
@@ -52,6 +136,38 @@ During the STARTED state if the '''lockinontimeout''' is set to true, the state
             }
             return STARTED;
 
+After a retarget period of LOCKED_IN, we automatically transition to ACTIVE.
+
+        case LOCKED_IN:
+            return ACTIVE;
+
+And ACTIVE and FAILED are terminal states, which a deployment stays in once they're reached.
+
+        case ACTIVE:
+            return ACTIVE;
+
+        case FAILED:
+            return FAILED;
+        }
+    }
+
+'''Implementation'''
+It should be noted that the states are maintained along block chain
+branches, but may need recomputation when a reorganization happens.
+
+Given that the state for a specific block/deployment combination is completely determined by its ancestry before the
+current retarget period (i.e. up to and including its ancestor with height block.height - 1 - (block.height % 2016)),
+it is possible to implement the mechanism above efficiently and safely by caching the resulting state of every multiple-of-2016
+block, indexed by its parent.
+
+===Warning mechanism===
+
+To support upgrade warnings, an extra "unknown upgrade" is tracked, using the "implicit bit" mask = (block.nVersion & ~expectedVersion) != 0. Mask will be non-zero whenever an unexpected bit is set in nVersion.  Whenever LOCKED_IN for the unknown upgrade is detected, the software should warn loudly about the upcoming soft fork. It should warn even more loudly after the next retarget period (when the unknown upgrade is in the ACTIVE state).
+
+===getblocktemplate changes===
+
+BIP 8 is compatible with and reuses the GBT changes from BIP 9.
+
 === Reference implementation ===
 
 https://github.com/bitcoin/bitcoin/compare/master...shaolinfry:bip-uaversionbits
diff --git a/bip-0008/states.png b/bip-0008/states.png
index 8d3ca71156cc4b124ae915375251892e724c455b..828757365d9b63398812aba25b54713dd17e9112 100644
GIT binary patch
literal 20891
zcmcG#Wl$YY&@a3Pf=h5GSa1mL4hIhq+}+*X4j}}034!45!QFzpySuyl<^MdN-j8qH
zx?Qz3HQh5kQ@yp@zv=D?{U$Gof=GY}004@#6j%uWph5uvbO!&<0Eiz5sNb6p<|1+;
z08kl?^lS+8-X}GdQj!AzFDd|l`~ZN*cNSzH09=^?;Lrd7c#{DD*Wpi-BLBMp%1Blc
z47>$L54XSf5FDg5odE!~`@aX2NRLYR&V+N3mJ^5DfW?O)BXiA^G68^ZmeODm6_3S}
zG(lkWeB=5mWYxNVK3IYAr;=huSf`RnKfcYXWaX;<2BzIu3g8e41_i|i-4JuRR#Kekk$Y5LBgsD$<7WiYgEi0;$pvp^7I;>
z?sa{Nivo;SILp0YpyJ%hefXlz@(s?zE)!_@Yj2ET0a8#jD6Ng68NQp0jIb^bB;msa
z6R4h$2c9?;w-1mxA>>IR{QSAa$AQQ0?N#FH35m3+=8+xrHFS+vMrre5aI7Rb#U&;og?wTW{3azqQxFiMNM6QLU#2A6JxriN!UQ!H
z%B|$sNFtJV`y=U%ddFk8Js~9x%izoJ+mwqSU-vg`hLg^BHC-C5V#GHGsWlxx=C!}
z3n6jFzmEkh5Pf!=De<2F?GVap=xzi>IrT&w;^d-R54&qK-~W)Ml-HYkOey_KK~8Hv
zdOx9pE_=`>DdM3fCR?OB)l`%UM<%5xopLAK3lAV<*g$*G{(2Xh3lm8dt!lgN
z8`3{GZ^rmGKh#0Ues*yst>AU`!sB25OH*52!9m_?c8j=#c9-FoL$SWp<&$^_;G=xZ
z;af{IPN3jc&fX_zy42;7;Q7u*DJVB-)9b#2w*x<#a8HtQ_`m#SL3Fu?a>5+`&V_zA
z=0hLx;`{ec_k|Z)7XbWq2ay(Sq2Jzi8s+!>2+Ve%ha30mz8yQ;ym)*xx#xj`+YiBqVOM7RBmUhpQ|rRv9ghk13zl3-R%sx)L$UV6LUJkWmqq2H%3p
z2dZheE1bKS#E|WxmgmEykY&e43`Er_7N!BPHul
zPgqY~t(_#eXM-QWa5$#}P!Bu6+^P_Q|Fwo1>Zv5?-ZeO-s0blKPHra4
z(8}sc+YN2aRsG!v*`BsKyUk8{-LH#SHkLO^X7|SY!#ZBXY_PelRs!Fy|I)8FN|7h;&
zdcNJ;0oB9q`;GT2L_mv~{ZKlmt+vHtVrIBAlX!ZY>&fABcr5kj$|jz>W2!d9m!eb5
z@aTa52*cAIB_d$0<9mF9D8GPrEzxSoSxO18d@??5JhEUT*Hf+dB!Z~`Jx2F
zT1>8<6PdKBpcNSRvD-ESBBMlFbIB))Tr0QUm?2~Gz`Z!TpjvMe(rq$Z}
zb&4fRQ-o40`d2}wJ?QjwbTNIt%l)LS_jvPcT#38q<_^z8eBFf)Gn-ysn0NB(XL-$9
zv-`1o`rm)U?_?9xU4IqN@hNPCwEV9_ga2j-BemdSKe8{K0GCAf6s)^_`}N_R%ecSz
zYSs))a~>R~_m`82x6PqM*CV$({xTlnm4iM%K`Kb^O_V$^Z1(JPcs5Yr|Bz>ZShh+y
zzkHFs;pD#68@)UD+`Ah?aT0}z|I01TKt4M~lQtepq*+)0(R5TNFkgH*i%U@B@!#mF
z4+Z@n3ws*gWd#c3Bep(AiT>r=VaFE1)iQ-orOJ(m@vbY6yZP{(U(V~3-Mli_M*?5J
z$J{3g&t81;>KJk-9?UJG2XyEh=V-3xoIX`w&a!Baj%-{ZxUg*49PCd_gi55gHdqt%
z;yQRLUsr`cNsboER%s`wh5VUhD)hWuM?dgMyGkI%=1z1`gGDk-li>@Vx?YS
z5WOVZ!)DZvP{4#pap<2;rNI9vJ+C`M1+u6RG`h?@@M{~ncUxBpJtTyA+IbkSdM&PN
zsduD&SNve^7OY0FjGA8aDez3TO$ctR_g}?=Muc^-ZrXQ&@?+F8BJNMUPZ`G7F~=C2
zKBpOrKCo*i-##yvM5pkZxLfRWRAQjq9qGJg-P7=h>1%x2c7W)TJy!A6RINWwNlX!c
zKXDEVCna!Ia&Av+S)e6;Uk>Mwzsc1jrvFHcfKNKdu%vB0oxl0Gp6_(RN>(Cpm*H*B
z)QMQZjvwGC;4@QSd|w~Y_Hlt&3xURPvvXPX5Kdc=j&nATvSFcx>0@p5ogJ>?iIaa@YNpBje-lkv)#m!rs@@78+*=aNrM!09RVOO|*`N2mrw=t45X~_+5hCQ#pa~GZl`$
zy4&c2`@@l9e2LUU&oYW<{BIjGy%NK~OLrjh63o=ZUaMwTWEJV(R$<{cc!C*9(*ncH
z&#^`vm$`hI_Ztb&`c!|#ugB;zsGn@Wd98t(F`M`)?x9dK+V2l;iJPty%PQ)7PH!n^$NB!2m>+|I=4Z*+Emk@}pmhTFWQNEc3xan6l8yMh8W1wn@U5*ePT3
zip2^x4()P^j>FFaKPaLv&5dadWS$Y(`?gV{&*y1zjxn2;|Nb&OY!mrs=>iHPP
zVV_iUpS`0q9JV_o)o3Wgz=)qdpk(*T+p`F)`_*sfZB`$3zYYG1b?Qpc&_Wda3}rxlQ}RM*5Mukwgzn;8I6k`AFqc8aRV?Ka
zjBQca+sW3$e|=Z^>M|K<|I{|?Aps-Wh3WlJm*tU+(T?8YpjXSKVkq-0VPO~RCw-yA
z{e$*`P^1-Uls+9P_}%vOHJ!F?ax_Vkt$bsa$F%k;(ep@$0IYAztfbHKg~G`r=y0aj
zm5%%}8Qu25E(B45{)1`ZC3h49WqD(JbEdQ2?%KGw>6Qt-d+(T7c|G(h(M0F4%kz90
z91$C|!v5~^zFT#pOSeXZ)5y!u`6|L4i(yMwwo=GMdnIGhFAgeVV0APl#AKYZVz+f
z=e{c*WCl92)W08W<}1t_ZKC|~S*5m@8OihZJou?9GLH^G#3{^S#)MT%UPv_(6YqPx
z_G--5Za8?|^Xf*BAKQLPo|J>N*pBy9D{l9`)y`&#%_%K`T6IfMFKwnZz}96?D#Uby
zvJbCzoj!-QRfAMc3l_rQX&W~5AhO?5+f~d=GRvyu*|$)4KkEAW4P(r=ehU1YJ(j+<
zP83XH3pLZct4o(dKtr!R*Ed#mS0Iyp&^*)mU@1jUCh^K9M^8>J!v%Wo5iu+j0gF`%
zFiLbH3ZqSSLCp5Z}%nrE<-qffP}pZ>gE{$L*e+1R87
zWcnIL0cQhb4jvxM$eB}VfD4$AYZR0gYRXC
zM2?_$Ye5d<63_B`m$Kgz`k)D>lI-z5`{Mgu>ItvGxMS=|1KUKIRTa?8h+%<0^G|72&6OSVtEKp>`;6lh*t#nW+rsn3#`oHHKoP#s;U!ck_U
z)@`XpHavfLzV=;J*&if?AgD*t=7OPfFaKM{$mHp&!C2u7pUC+|{7hePv?Tm06!789
zn9L)V7Q6arkM`rN0tYmNfc|@$WKEl@@73-|Dwq9m_eLnZfVr^|OPBPPXzM_G6o_c>)J%I?I&z&rGRILPcRY^#3
zrQ^KWd;QI{#||(;x~_>W`sP)>@wD@DL>ryMeG(FqWW-98ycT^5AvM=By>KO=DZ%(ZgQKZ8x31+tTnfQ}lr+kp&*2IU%cwjjhP
zVbh>VXXGQy#1XyibZ3tJ1pC)f=XG_21T>>nU^e!w(=uaIKpT9~MccBsux>t^mz
zULrFG8OIQ*yLb(=ra|0M8pHGy4rLKObdhGGU%u4X8&-B%@G%wu$>L{S_Q^^PgcUus
z_HJ5363MyN928K;h*JHmX#Lbpf@oYN6|MT*N@Caj2&`iFaKH6DD>{$k1%Crji$IJKf#hbctJI<>9|zp=1c;@^P8{2
zLOh!nh~DmB7^&cDas^;7Zt2!piMDn$yIOABUe|mUX#PVR`3tO;T+!kB>Kd&ns!pW^
z&VT#Ug(!C3vGDctbbDqAXEY`f1E=B3YaDr=S6;K+&X|PfJG>G2egab;Nl>uf_7id9
z3@*a+n-A7TjJes6*Vp$NA&(Hh?DH0)5RY8>R7z$5N6$8wQsobt^VckDF4zn%jX@TVQ8J;
zyqhd`0b~nwNV&G5i0)XgROP$VZ5pzeyT-%yQd3{rX0)8QicimV4e1%OtOV#eg25$#
zFj}uWJsNuG>-3M?ZFtMEKY_IYNm)KiR9wY5-TjkP>tdmA3u4Au-+Wd`;&k^_Ak=mc
zwKwC8EB;T6bl5v!uh+~!pWTN2(@e$Ni~*R5oD
z{}Ii;vOZQ!ght=*J_~^4%ldjFi3}E)f208ARJLoK+p5ui%f}FlN<;mMsef31%1z@R
zL%+LrgMRN==F_M%wj%O&WAj41S(2ohXykv~&$eI7=D#`O%ataDy$F9g`;LiHN3EJX
zk(Eze>4OwgFvNpr^`SErXGFOeslEfXQEc5?IwFL3xzNd1!9Ms8?o7wV&l0o+>MO)p
z4U2yf!f)j)4cZs)MFXtD4?}M
zv4P+|Fjv*SJz^!iLC2sX0Rt{!H}tNK(NBoeI@1>Bk%=II-B{Q`<{T}RmiX=otPGb3*IR?)#-l~Ipm0~v^
zm`$>gDIX6r7kmDtXI}~AQCAZE;uA8IrF0L?R!#ZaT;w4bVf5`ES5lc68}A1{mH}VK
z0_902SqUfe!aC_{h&91p1%0JJzS*7Myv#)eUQb6WM!i?KL^{XYKkqF4tj;eFi6K9g
zFDoJo`ZG?C8fNG9jSpDT)#QA|999kiD*a5@ZPv7URhbbdT4K`5Lul64
zsmBPsvS-NplJP_wH*;~Co)C9-Z$hd5)94ZwyYZ831o1}nDxXGhzW~u%8e6Mi^KqhP
zZwR&R6>(kzAM^^W%olDy854K2yiUgqZsVYfK!Tnh;j^Q042E-bD;GZ%T`@uB&F}b-
zV#&_`zxY4`a=i?)RZ_LR!-Zlxia$K?mtjXF?T8AxBReQhR+X-;g^gN*`{8CbDa@tO
z%@mjrNi#LOB5ysITOw_;P}laszA4SAabz7GX|Q*?HrXHl9Jbp;$~OjrLU
zt$Q$BSS2z^RQCyd7O8P5ouv*5`NA{MZ(>XHBAC^keR`URUDa`syFJ*hndRoJFw%M)
zaRRO(5(IDS2V-m;uKvrEE9GWh5fE@ris3yih&xZbF}fxA0tVwU(=4yFqG&ZY2UoDV
zy4z=QgntiCRCRVP1`F-CBvCBdN&>YqsSm~|^7?#ydPlC9e@u+;TU
zAFql8eM097%V7Wh#C7fi({klRfB_2_cCG$o?2UBw=W=L9UOw7jXGL@rO1E0|ph#-d
za^mQKTZ%?4<6_BGc+n52Ifz^$f>SEsbQ1y%BSAg8!P>R4wOg>gwl?pe)zz2qopS)W
zFWc8E?ZTTMQC66s^inAm)Sgnu+MdxN+RaeZN-5>>!{|%)s^{#j
zPzL=cVa8V%j5anrB0sGwIgQqvN`LuG>AJZLtr;%|Wv-YGXM0j8qWjOkdCMt7cS+TAr%c&W~~6h
zgzYSxbR~}@?=qu7kM**ZluO%<{-m!_?;5WnmUdBuV4rg%PlrrI;sf^*ujHa_3U8B2
z7dKGFz%jU9Th}v4{>mHfXC4(@3j^um*jum1q~?g+-HJ}Y`tibSjRtg>q#G>z93QfR
zN>1!lWi=HWwQl;=9;0>v=5ds@TI=t;8LMfL6Sn6b?ybfor35gxZkXmaI*bjR01-SK
z#7*@M3i8MV*vJ(xh_w1rC9ghIoWjAzsn=(j6OK?NF
ztMpWM=RMJ91rsq^E4qSrD7^0rN6M>2S{_=1zOZGF(ryR6AM$Yw!yAzw
zby%RSaQzW=F8&)EEKsdLSJAz)Z^gtn-O8S!(m-(_OQ}bADPlY@Ozze^p#TRY|A3NW
z$MJ!67{RB9o4z4N-uC;oV2S`RpuM;uI?$3l^stCr{ysTmF(r7qs^N5N{K5RUGhCV5n}NHnn&Q$I
z)j=s}NZsq%#iLOw=P&Z}+;BjRioSq)SJKLz26Xp5b#IS4O|o@tkMy{quBnlU)x9ow
z);l)?mUMMxJ0;_t^rcGwYt}ZFKWDY3aeTo9Y8Fkn+H`Ye`vpvR&!EYzpgPj-;{T+j
z!976%M0?M)@(C`>-akJ9++b3sHy;XxHp!ZusabWst@qUP;UPM_Uy60ft!6v!4V6F_
zo6tM8r^aD@`HdtHW>fKJo^|mwy;<l|}jK-%nEI-wP
z%s5|8SJ%9N7Prw)akxc$m9QwMWyM%zjwwtre#hfWtThwCbX)B8s4M7tz8EcjZD@-h
znA@M1L;+>W*xZj!pLicP_zDV|%OI9(B+@T6!#;Aq%qj>xMX%?v0iUMdPecbHopd|78-ij-u*A&+-B|Ouf&GzV*hCsky+pV1O(L1Jy-TQ
z+uIi*&_Rv0f6Srz#Klk|Zu+OyZ&bM5Nc260rRGp{en7s{qSe^YxbRdE_V!WeDJo>&
zwxc=QC@7u&ZwuwE%SPkj1@38h2+hSN1sOU_#;X)KoBj>kcxwrA=OXYUgobt93vQl7n
zhd^f*t}!CSbY*KSI3Y(ch+R>>9eE(l;Ar_{29!{Hgy-IGnYYDxd<#n60;I`Drt{K(G~+GMU}0vkdKNFigH9~$$QL&C_i!mh+QJaEjR?9>?!Sc7FL5-
zf-9{b$T`-Y!BWTy8q(YUA=??ohMkH$8_U;1+KhL{HYZ=OJk%(ifr-iiN
z`rJw$`M^d`5bg}Mp5%=Nd3KEiH|Z^cNbB>u9bS0d=1^@+#IeBmPZPN}*k_tHG|>`+
z{PH+yLF(%b{U5}Fx*^%kP`(M3c?dap4Fo-*R0)q=mng{WaKOrMZhdgn9-|t8ess*O
z&1Mwo1M68Wx^p;c<07}P^MT@RNI#nnEeir~Q=UR1&Fh%2Gx{3$$88V%Yjo`NAxqSe
zIMzhw>C?{e>}PfNuu`>ace9_Y8#1B4X*&@r?U@ocN@>-y5i=(5uYsrv
zN`q4Nm&pTbJFliRUPfQRgTdszpic&8Kc#!A^;c|B0fFuz1yt0>_y2w|_6y53Bb~E~
zrUd?b)xt<@yvAZc?10wWdofj7>8H#5@rH(vf2@Iy>bLvve{_g{@A;3WC|e-+!^K6Wv%}h4GbUG%3HrrGTgaX!79c>3qaiiT!POE8
zeK2}!sDEfHNAqGPsft{U_6HMTQxG}|MM-v*q7j_xiLMqsOnd`GuCzefUfAVg@~7+w
zH7p>~Q;U(kuco@$bX~tO2-gjZrd*I0yf?(Ox~Kx3+CArquxOQtDUMlr&Ii`rc
zLF`yX!wr>CS1JRUFrtf9rVgE1O1~`!@8VOEM2h@hMB%+uyf5AEV$2>twJ8Z~v1|l1
zj7s0qW|oU6CG8@@ko%}3?_SZ317$*-Ejj&^*OxUVdLYJ>n`bx~-Z*a$4;zp_uhl!l
zk&2ERTA_=5);<<*<;n00&7XPC-V?0&I`rsjuc~^rzEo`Y5~;~vpr1bVP=Ws3>f~0s
zl}PrUIuh%>@(6NYv=ZoqBzk^$Q)cg;oC)3$$E$#)Ox{BA)5=vgn^EwJAs7iEgX(=q
zuVt-d%`xtSRZWsJxR1YXHO${<4dJ7~oZm$WtDeQyJqUI-*Y*6fjBj~zzyYO#6tlj?
zVZ^q1X_AjO_)Q$oGwZ>61tm_>ZwC5p#jCuy5^7(h9e#l`r?e|da^6D>QLq9p
zI)}5H+o=}~my72-_1*y(Op@mBxyL{?J+`pW_gXHV
zg!UdZ7|i(3vZcD(`3Spl#D6t9j_shEiPdSbsWkH_=^mJ|*{d-MKf_m=-#h)5qIvv)
zI;c#J-nzuz+oOd^kf_sl@|x*jCr-;!AkO+5+bU?aIV42znU*4T6mEaE4Fid9T2ZaP
z`=YV^J}o8ad;VUUgi7-uJo#dn8+kV0EZEBXR9~~WU7iSU`4_oCoDBGg{n326-5-Ja
zY)wJ?%;oJhuQL(x4d&jZU|5rq#MAmdDr#iZHKIgG7mNipghxJ!nC~`qwzg__MvFRZ
z6)QvhaiYCyR9NrXSVSFC&5f>9$bC$LbK5wd@I{{COQ_P_{@eeE=fi!G
zF&n`2{V>G6*xSZ*5mTBa$^5#>67<&UdxU(5xip+M^0
zi$NAblywcDW{kHcm89&)?pO1WVNnaU9YYQYj2B%~4_Euc)^Hr2K7qPCwzWoioB4DL
zaHL_Pf1XK>pK-HBUsLSu%;)pGJ=Qf
zyqW3jvh%W43v;8D+nkc&d_InYx`p-AMC1L;nelwN_z)tB?$~_PkxD_~n%XUxDJjPc
zkBpEXy<8z7PNkDHP)kpk;#!O+3SdWg>g*fF(EY&0wC6`bs%+{JTQd{V6Vshf@yAV#
z@~qnOp(8r2$RCyBs>6RRi13bw(jfdBAP^9>jHuw=h_%Z06T%3x5dRGm^3?r?j(&r-
zM(L%KJ)_3>@@6}~+eaXF@ZGxlwr0gEIbOS|f5o(Bhd^sNd*pNK@9PIXbEaxvto5&k
zb!FZh=y##E)Qcyw4vvH-9wDnsu7su+LNfMCHX#?5RcD<2vU@Bm70d0)J7~Oy^A(;s
z`Cw%(+$(1_X3CTvjNd{0EFKD>v$$&nKa_LLRL*q6bv6$w8Pg_wq+`D)I45GzioSWW
z`bceiB=M4DM(VLwzmR0fzjC(kdmco8u
zo?YawTzVQi?u#&icCiq|llW|Dq@P_zY&i|_p^TgQM4tUL3Pum%kjr=7Qp5UYw4+&_
z&)2XMB0F$xd2k5{=`Y|jB|V|k8#i3B&{|2`^+r#t?AJX0k{dsZk3ku?!Iv$!)nf@a
zOr~FAgE*0WGNXK%$Zbi49y@-{rr0NTT_H^blQId@X&T1iEwV5&*E%_vi-crR>C2mD
zA?#l}lm&#>0Okbzar+9P7)yKO%VgjJh9Jq-P@ko#lscZ8EXIW~io@10EnAAm1u={I
zNbpK3#>o}k?p~<|p9N(>3UtTGtg6BCmfF`TtG}Tv9VwE|Jxfcxyd5b{b~o%2s`Y%(
z6WCBCEh3|4P#V*)4AosiKkNfmTNO6+(2zCN3LzvfAOq3%F94($G@jehSE?xOP15KJ9rO2=-~qqi|Ke?4zCmkn>BvK
z#i&4Rs?TDDBQ2hh3f%5((%=5h87*y68Tj^{yr1d#6-d2BP9K06kESAhui>6AK--<>
zxq{z;1b|jzM(XBg4m(7YDZ}^SP^TF-{Ao@5hG4dmVq6anho^xjz*
zbS7z6x9)F)4YjIKTcgxhKa}U}U)djpg&H#(7Y_hP*LytM;rawh_-|vVx*kq+8`C#0
zJ!=g>+NvS|R^BVx?Tk>!&~!shtO*pur`#c`^oqP98@N<=d>s8*Ot?!UPP=Mf8M#KH
zz|uNQSqhmhB`gno74g;fJs2N8?O^W`NiFKCSip!kYc~85_mW~}5e1$kA~sPHWdqsy
zgUMoO`b=M|mM|*XA6)MD(|*Junc&FDPZQY*IlZ?)k1^A=M{8!UrQ>55FK(L;-P3T8
znw(%hkg`u7RL6R2BfXnNfH5>shy@4ib2w`2Yqt09px6me4{|d#CmmsRmzHef?FZdW
zaIBd@HwORf3G-fST@4QqGvYMouXPX^w%hTGq}KLV!}&tms$
z?A~{NY^x&;ANW6^0Myrf0Nyke2JpACO%PI>sASjv5egJl;bVBx}%WJL24pRs@SDcG123gY(#D4kB8=~-ku^Xv;B+nbl
zE4^P$FtxwnX_291jku2x5H>C=r*Rw84oD-Peg0_siW2|s!YGovVoOLU&
z6)~t*t(W+w`Z{x`rMNX0KPN@Z+aFspTmo1Ozt#qzzu)!PS{N)2pXDw{7#q&;lBTK6
zo_x$Wc~9(_jJKqBy*9VcS(KrYR)=CAYu!J%-|Ob|1Pbt!*dsO9^WlwqCwZCCie+|Qg=}F+E;0;
zLy5R<$;#cmXTH~B$r?-!&jB-drz!ErSBdU(X_kBV>JNIxNgmukDKuuQ+WCu=dxTZ{
zSUP55mnwkWOgP$31}OyE!hF!TK9~_U}_o1%vxidinr#p=6XH7UrbYwV!E>(VODf<#m*+|oXOmKgz6=wbXaAwK7
z^SwCje+Sp#o;^9{Qe@g$SshLuf!1&mg_1FbzUxQZefWC{KFwB2!)s%t^Z$F%U6nbp
z!E$sYs34%FuvzXyE*EW|I!I_^tG^KACr~WGW=l%hi6g9)P)5!d;vfG%_mpn`{9j&V
zQemh3nbv)+FsVm)3J7=GEQFTZ&|9-ja_;HEdI-Tfn2RDq+@~NUt*xzl!P`I65kPur
z-P!M+gHoA!Zs|XI(y6JhufO~L*J#kAQRMS6JvIIpUUF4EF
z0o>v6oAQ+YpYqvg>+(>Zpf>QsE*+874fpTLbfcR^&eUedy+2U^ZRAEh9h&g9J>UBF
zvCo&0g#}(uS>HX_F@oShnwyF@G65(`^i^bDk^1gACPG~TX2GHX>GiLr)y^wRay^Op
zMUgD~80q>6u{|$*FuL~9(1252NEoC087`(IMO2po%D6-E`yRiBa-sC}(VGREK?#oz
zwOpkV--0^cqf-6wnBJ1DSRh5(eF0oyFDX=3(JFvc=b0i1*J5lsx+*L}9+nhw;Ld{>
z+Tfo)#$0pi5b7>a=sl~yIc5HQ4ecK_1O?a-Wd2-wtb@GUM=}M_+v?M<`y|wce*SVl
z5KMUbOVP>)>Q5as8f*atH3JMF7!*#A{hNgTiSayeyRcZXj46V+#keN~yxx4VRgjJr
zQj5E85YW#KWaC!GOoOjkLBM9<6o~Z66AJj;I*_LFBFIt!na3lg{R$7TFtGxp4`uUh
zxIDo5h5!(vXAa=Ca3Dqf4wC=-1z4k=^A`|L^L%>&kyoQ#vJ}}ir0ge{635?6d*c$9
zJzl@V`NjUo*!-IcoXVcYf?L5C;ydAXNd>Scrw=oAE_)_#>RMPKL(>H6h1%q%EYQ!)}|
zl|eh6Ahm~sZi=`1nVdYBCY$9c^suauiu~~JG9;vM!HgVHj1}EASq^+nSK?5l9U*77
zQY;I{=jt%=QlLl?--oqS873Dl6=rF!o3{g(A`rgsv^7?D$Wc|K_8EP`xzn3Gn<%(!
z+LIO?!4?%0eF6fc6e-lW9h$hM@7~$prk&ai5}0m(
zdl4kI7iTGxqyH$5gRU5!*ksKnkvv!UkQ}#cdzktd?~rXdk}_6wId(%tl)bOZ<~{T!
z6wAWen&mId#5o1{O+M-7zXQmk1lsQ)@cvrn9&Gg1Ncp5dTK8&m)S_TcU!9A@3Auop
z!besgkvSCdc$jv@lo8WI9|)({1b^QcdA-{21=K$9i2CGSlD|?(W5T4-Z*ZtfVGaXZ
z3+E)u2;*l(Bl#D9+N=pL^0B~8g92i9AMS~APV&2q%S0)ZJ2doGCsOieckqooM~k?k
zS^!L<$L90EL5h25$gIkfK=HSt_Te0D*MrPg!pBakB(E2VtzLL%36EI!HJgodG7L(k
zLP~U$HCb>?dl+}tp2;Eq^?IkjK$9sNI>HEM=(7BzL>jKkzbJWYJ2c-qgv^h1efkHz
zQ;!quYvgg9HMw#q7#8Bt8y9NqmC8Sv)k7n*_x(?%ETkzGCs~7E55&C*K2OvHsCec|
z-LI$}-q4%6WYAf0|H3$|C)E;)-S^bhJkh9}z0LD4g#v!*=qT2kLvq9j8$J|nZHKmZ
zho2U^3;PXbOuKf*$Y
zLdzaCJGK~1UbsXF0i%A6llMqq@T4Qe>+M%$t~1O
zG%(WzX8iF%$l)0V#0846!gH(O*bhV#M?MBDOBK-2COf35oG~6>g@aLeJNaS@%7AVKk
z=+Y$fX5+X1J^noSn4EO(^5Br1jxBgI5`X*eRe(z3vZEUZ(@~?U#QYejQQbt*)
z_`cvPEtdKAwmVDC7o+=U_t^F*$U*INVJ*P=Ls-ff__kJMbDLUN_JXsQ&RdEN1DN&3
z2Bmf|`dSX2e6l=STp0_{ESK(@`#>dUtBl`q?%7FVwl`$9{Y*_eCWv^CXeBTtD
zvA4Y{#UAV-*-C?roNgb911I$xs9ohfHrrpzR{QpCPzBqPM4HgD(nx5B=!eU6oNNY#l_NC@XBCHdf~
z=fg5PdA6x9pQBoF8V~SGWfbvfUzQ^jBg6*mlxRo
zv3kPg1~*$wHk8vo=bDyt7n7CdYHx5hev+m2QUDhJw9W|x*QrS_5Sj_s7
zXBV}<`>qCP@YVHQx{m0zA@IT#8uFbFkN1>9OG&(-M{cn)bbrDlyB3w|MQE~&Hi4rx
zZsyT%0Su0}$3*z0#zlZ8r;wUbf5Y_@KRe6(DM2{!UuY6>UhWxVsX4-dvVPZMGZp4d
zn`n(wR%u4{cUqRxEp?M_m;$OnY}+M!FcY7H)xbk#53JCBNhwvRJvq4*HW__`(Mp=)
zl%BZT!6L70xkXn+US}s+jI1o@7%gW*sC?lceA>ZB7^r23B0Bnp@3iPcY!7t+5W_no
zU+$q*k`rL6v-syi>}Hdq^szLT({d3vlae)Xp^Y1PCNujcG~yER|8ti=^V#=g$ph>Z
z8<8NtS>jszz!{dsymPj~Q)g#GmXTC{Ul*Fiy>oVIb75|nA?}mfO#?lsp8@qe3o9AnlvLz4Y5Y5YJTjp_vc5)}MCYYT$xu6#M68F?b+zvr*n>sgs6c@L&bMPykw3mZ}?3tnmahR`ZGRUG4uV=DdQM+}b_<
z5~?VmAOaiQD1tPBP$CFYga86+54-E1A#@aw
zBE6sNefBvs=i+?d#kn{$Yi7-?^?%kg@5P$+%v%5VcX6Q#7PQM_2fqG8qC--k@hR~3C7?mP>PZzUjet_
z$xBd;_Lu(-b8x(_AtmLH^P*ZxCgE5kS9X3S9v#e+MtgYGN93bqsbdZsX1s{&hlL5E
z9_WlNot@AdYsV~rOi{|V9wEBhG<1-SrMS#_Qtd3-;#r{gUTAU`9weG#UpilF_$-Xf?(Kc
zWQY#(HH;(U4=jRVq*g(*vUbK-;NbC>bR_KiORDMpy=BMQsXRKCh~@M&Ugy4n1deoI
zy4ryC4{8;h!H1^}we#sR+gU}&iHb9IAs3Q2wmIM)nP1td%fepYmpK;|4Art(=4f9N
zH%u54EMYTLy2*EVZiR9FN9euT2x>4)NI&HrtSD;n4zviSuciMUR(}TpT=Us6^)B~rke%3)Ar>LuBPpeLqTzm~Ln;VPgP+Is&Ga@p!
zMqz3|Q9a;@=^3*q<%OW`Hc49C3Wq(fcT
zB3jon?WE<^CfvHQR5&yjpTwMw2`v#)WEu~);E#GAsO9%`in~;uNpj>JUqQh_r^r3a
z!VdjpDeH|eZQ((l18xpm!4>YL>qK~D+9AipNyeR9=(D!uz4o-&a6G?Eyb<)xPsyQ!
zlAAd~`r2VTF3RijaD94>Cz8DGlQ$HCfzM5LFEUM(pTeDP!{C};)2gA9OU-aaiZ-1n
zxb7?KtNQuRPyGG+4T;Xc4@1B~fyuyBR6LbrC#V2Nm7A-IaEgR#3%dq&6_m&Igih>q
zfaXdcxMlAm5i8%R{v6)dl#w#>5^ph)X_Ux|iM~O;HD8wlgFGHgAyokVaeY
zL09VfO=QO*1))U&C$2aKcyoS8{LE1O$G=rHxf{3`vPb?x}Ny!Cctg|f{yd*y_0Ip1lalYEeW4+ScA9IVt)?C^gO|(J1F-C&`&F+H
z+9D~e&uE#q7bfUB#^8han(Cf;HetZU=?>Tu0zQa#@jS|7V+G&7uyIChD-YSR(Q9}d
z6Q0-RPx}5KnhLvcCgeG3+~!n4E)VEx`fvu#lPK+$X;^eck{&}Bhlg$AnT~z(OJQ?
z@jJD$X`0WvflA%L^~_6f6W)dmstNxGv;~I#v%%X1wOGPB6fhHXl!5F&9O4=Xa8{K)
zx3S&-BSfudZ5O=KUY#B(LD6Qzl+A#rvSd(c{#-V~ASV@2BSbo>CrUIc_UW8o>tdqc
zP9^=PR&@PMr3Y}W<(iHeeE~=jGdfI_QSV7)%(u<7^vmXo@!WE^totAo)gnnLkJ~rh
z_BJ&!sl71|+iMj#J{1(6{dNZBa5knZ#l9WKDERZKRX+cVkRy@DFGQE(8Y^Ph>FqC}T{$#XfpR
z6p76imN;Qck8>)}OWS?it$^XE)Q}dADS{dv*a2q(JY09|L11(khHKJJ@2l0ym~Xd(
zI2}4h_u{X7#vjb%+`_J*XA?SX`95(Svqc3MqI=S=_t=T9W9!^WQBy=wSY5aIHFVPIx67ny&vI}C9lix_iJ{EV^vC}w
z2euLz!x`+jWYoJ&)|Q}v^vc4sGI63s^G=<6mgC}nUm0j1I=UC#W{BsTsK2MaJ8O!V
zu7Mq|#(#5d=>04{5VEMCJtWxb96A4zvLd$
z=hIcN`dtaHE22>EyT8O6g&rp+$>w)b3LI*Je|G6$dCQS@IMjqd0OfN%>F!m?v^BF(
ze>tS&Iwnmzi|5n=pAuKbtQzm7Qqr6gk5Br@FeKV_=|e|+uEXnu8`+m3nrh7*tfI^m
z?7*|2g8?`7;UrIu7!0xE8xG4%sau#$`|)PMyjB6N?wzq-E4EBSBG$XAY?Th-+~1HK
zp<>N3yv*_5C&XR;9>qd5{);qSH+FEIgMzAaoaxm6W3&`hVAUEI8Xt4vT18
zayHDRtBH-}zE=k^fLP(hOvQepE|CA?h{Pw6=soQO=jA~TAYgm!;$RzS5y$sFYH3^7
zJVqq!=Zg{OK_-=RxI`P_ya7|Q(ABh^FcdN*vVC#iyZd%vG
zj@t9_$rJK;1$T`@?!8O9)_ER4#vKIKhuEmDpNu{o?ebxV54CSFbp^?9pxj5
z@=^hTf&;89kGz&seM>vPW~7{k0a!K8UPL@+T5CM3vYMs|kp}~QP@T8|0Q0MZ-HHyV
z@uF;6AzcLwd^ux-7E9kH{xRb1WJ34FaqucV);+T>r8{0(
zt(}rzfQ`{BOqOKkm=!TNnFx7dkgsQP{8S?`yBJH_V6C(L8F7aCgdAO;pxrmmVoZi%-Jn`r{x#+D~F&atdNedLn?8o=4Nf$Ua1T&zVOyuR@fDO9W)=
z?kY0V04l(}LtkDe40Ro!K+L1ZkBlciH(yq@U2?N$T6n6rRqcd&{#-
zx!+|-<*wYZQ8mZPQo}7=@OdhRj*>U&4jWFfp}r+^1K%S;9)vA``te@@mPRF_4Hkh+
z9NoQJR&mV`Jljl?BhgX+v7o^i>sSwbMW8n)3JXcVS}a
zw5z@BEgKBUg#a}%SY7yg|AtOniEc(-Cy!X-x#jNqT`O?tjtwXSL5#IgBrNa*JX)SgBH8BB&~KPpE=%hJp9tqOxO6TrK*+72k2K*`->~$bCv3Hfhr+>SS4~)
zGn@*)(eL1&<2Ty2rd}KnFlrNKw{K6;o7OU*J5Mzuipr%f-(_J60`@v*BS>pQee8c>HX>;MG
z%G`m|4GRtNZe6}>cN-QgUMRAA9!0qsSeYnj(5m@p)5Q4xoXSCO+G~VVE?3$Y^q@z$
zM1pnWJIyKb{6Mpr+_V-rwk+HMQpOawMQzTA@AC%~30w8VR)j?2w#X8G`
zA@3}OvniK^*cVs^nHkIZix`x_*M8X>9@iXC%G!MX1hdDh)H8YC(>Hq@8*JV!*OxPd
zbMDvdpxrt|S1T9_r{|f7v1^>C=>bfPU?$%!agLlI_|bRQ%DDU;)z5g*B(*lZzY&e4!IS}X)$A~(+3IyNtk5J%y$DsJ?>FbfW6_iuCnP)}7NQ6RJ$
zAgLPm%#we8V=MhZZe%J*kV_VVzGL;k-s^|2XUMdzq{=Je|c@s)9s^WPGCfB+{Cl@kViRCJh23N#=
zMR$IFDgmAL<_&}(21%5|3y^(5$TNr0Im1zx5J||d77+hb^!8UF^$hYQjp>8Yy{w@Q
zaw51xqp^tLBD)B%1E+e(8MEhNII0N;W0mwD&5;x!$9hG+{m{n8rV+B8A*QAg-%qvm%Dn99Om1WMoL55;izsv6F
zc$f|+L)-BM#PzzIk35c-$R>$MP#>8CSZE0amSZVFi&ZXb^G>Q93cOg#vhrXG2V
zU)jiYIX>wxHvb*GWHM$jcK>>x=0Bq
zT8&OXH7fg2$k006(gQ}1_QR>Y>7DP%J(M~6sf(^?{{TPd+Rch4#3}o60cT&SkCI47
z8#43FmC9Tn=H8LYN=_Z`<6vS3*!TWhbCIQu+o1uYkuRf~66#e=F}9|U`>XP$9d3?y
zuvLQHd=Z&}2yN^|%%IZVgZ
zy)v2e;{COtxC3`wB3M4q+WIA1hvo^syhb2&=KX6!iC#anKq7!A${l#Q+q(LL{Mok6gA-;cj+f=Wh=gd
zM#U>NTbm(aciF2tF~mOvcyED52XR#liK%z!&i=tebpK|wpj;%7SuWMo%R>je=cf6&
zVH|ty(J|o5Q|X$|+4C0@UORsT?A{}`=Vy#$e)Ag>zV={V3z?xogs?h7<9q!C$a}?E
ztCpX+1p|zw7@%p5pHpSw4xPl63fZDbM|Z%XY%>D}Eq^pWD7o=h$Cj$-9gz6n=a`kf
zPd!pR_+RO4H=_a%bTaNhP!_lPIGT^3Jz3Jlj;In-J4lR>y&mC7INzHue_+DJNb8B$
zhrgAbT(A9VelIyH)q6C7&%A4SAlyh=5f4x16x%2A)z`VzuCI!D$!pri6B4#;8NJG!
zl^m8fbN_knkaOiilV!OS@7pHZ){V@jf%W#8j!-S-$RPhs%s#OYS1!8!Rs`GrrR0-N
zu2K*kHi8+d)$^nRVbf{x7puLM%_{G9fP}u4o%rbuN8;+Mh*~mYC@k*#lscw2>?@S*
z0k)iGiEX6@R#95pl{{>R0(W^0m;Wl3d-Ne>XLk5#P&Y1UdUnNOf8^%bufSS1sS?;vn5=iNt>tYR-SqW$zqFeS|=L|{eqbZOz*!F
zvGY}wH3>7VS#1y4iPMfvXOkYVdeR|CFM2gpjF}3AG+Kj
zjW>uPPuIiPPDPxWRt>x~rX?8Xo7v!&%3-Ot$=gN1p@+6Q1dZ~Bl2ylsP`n!}yULsG
zSlv?s!|BJ(Y^fMa!Oak+KjFBQuTj%e!W)BTrMj$3^Q#l2y6||=syxN?q0r{rk@I&g
zf^Fxds8yzs7xm{Kjx0V!#N3Taj!|u6bI^K!!Q5l)la7#$e$RYd`5fs8<(yNLTu$N}
zu)HFP0pa6QnIS4I&>gQgrmO~AZU)zF38gS{(=&6-eKtJh_J-Q_WOg<5=379@n
zm@ZKMpdakviN23B%aVe`znrg@HBpY`!ACJbfO}B>le`2y0;`t?kr@KxSFQPd8ZNsR0
zcvT^o9CQLY&P#{JP{SDWG=sN6RlZZe)3sKoI9><`zcp9_YO|N^EY;rKtf_R$sG*Vo
zCIc^82z@8IbC-%RK^7AIgfZ6$_KnSr$xzC<@>;8LB(L3vk#xV)*$?Jteelpq21s&5
zh2HL`--;Adq&qK#D6u04=*7-1Sr+l*Qx$J7cAQ@L(0pDrx_w7$xhhTZTRxvcPO!n=
z$ZN1o7KxeHto~^kNprCmH~I6O<>(d#*taHUZj28*EYB=gYO^>7yzhEb{@p)j5rpf&
ztv^u#)SrgRLSm%)IAVgTwlY{39Q2DCPk=+!*?2A;3r;+T+_FLpytA%o@}_s5Oe2>a
zM9$44_(^~>Id@S{C^Abawtp&ny~9~(v-NB)`8a}HlHi&-_`6Zbe(YgUW!GI{p;N@ZrP=fmdR
z4h>t;=eykCl2uO~A60?6LygMu-kJhGUhnMQjW#kv$z=SUZoF@;6qn32ok54mmlKY~kLeyeL?j_|Cz8!@MT2XZ$9p
z1!t3`670u8;d?FitZ*w|+B0%^OT(-%1fJ0Ccd$sajmw@0*NpKQ=s)1|<`~y$_?tdG
zWQOA2KGXYEAMFA$f-~K@7Rw4t3-^S5z477lZhBKTC(^_K1GmcEYcLHj7c_(T%k)36
zH~Nlpva_$gG-sC1h>Yp~LZy7W_{||+q_Ge)q}E<3N!nI4QQFLtPn%onC4s1Sr?ZLL
zbpLn@)qZq^@I=h|IhA!yZ~zxKPc|HP1~4$1kDhAnvd!<{&eF123IIDP5usTG%2AJZ
zNQn3I$^)sb*j7kmf-{uCM?Yj|Pv~qC6yuZ7W6kHu1^$u39rlTS9O)0g(kUbtsL{NY
z9HQ~6>9D6VKS%JRuVai|^f);=yQ0Y=E)W6e4I&G~#%OzZbrrO~EAJyoRsg7IN;&C$
zZW{KMF$&U;V?i0*g2Jz-_+*kTgxoz7+<2FZt^sd%tz~v)hVP0)|26gU))QXA>s}&+
zi_L_h5zPAF54PavVyNyV4&briH1WwSj=@WE_LVL9E;pv2_Ed8t!?CI>BA))C`8X?C
zJNXmSv?wfD{Y`LhJRIF3%64Pv7W95k|B&Oc0ngK2*4gg>MyNS;Ti_We2M}YoEijTO
zZ5t9wJ=Yi^Du)IFE
z8hB9GGgh8lxVln89n+S8QVm9AM*U-_47W|}E2f;rw@JtAMx@gc5f3jeIa8_LNN)(b
z=weBSSE}g%x!v@TrrUPot1E^1#G?M4Le9WlNI7%s#e#Mj78@Sq+k8!XVc@V155ji>
zg-V_w`>5y{|G6qO#6>O_3Xh0Z;OK-pAM11^KRRcel`52uiDm;1uR{b0ee!LB@%mks
z3psBW|I|Q@qT*-wg6K}XMC#MkReg`4X{z`hA~<(|p5;`8Ce4`<+N$k&#wRfF(XO%a
z;l$I4nQx}!)7~!rG}z|!DO}Y6-EH)RsP}w(>5o$Ssxb&!tLb@+xUWX=8BPH(q>$ANRw^P>+T82h2R3Tv24DE!hK-cD
zTWg~uI^9AhrP`g9^+$?wE7_)nvq>~uJVf<(ZJSr4;)CR8wFZjIms!Ar5f%n7)d_ZC
zEvHNdLT%m$=8C_fS4f999zahDMl@H?
zO*{HLl!Dc_^UM6+E%t5evW~R?p%Dl7h%Y*>PGd|NqQ6hhH}~m}gHOt|dVNCz$)w@v
z(%;ETYJZ9I9m=8@H6t}F4Y-2l47nPq3bG*29WMcZGnvM`ncx=0rqPK7j(pF0`
zobK5#(14uwkQNWOQ>7bFfoY?6^*qGHB8CfsWw2K
z)XV04?xF*K5=nUfD|AM9-zY3i2=XJwR-3{i;J=+%X&!WD61M#=u!cgCjDB@P2%o&O
zG>oBG(A1;|x)H|i;~9ipV_%mw>h;!j_98WoZM
z0jRdbzXAFm*OT(x%SIj37~Zj&(f`MhGjU^1C6t0KT}axPTQTtQT)`6|O=>W^B=l=x
zGj08eR78{0v3@F|P#mVGYa|U;(9e|`i1`xa)@zg^tg+}!$j
zo8Q#Rb==n2OoN7I{;k`-bW1nCytl-+^ULBU`zIgE*u6#@U(J0>tL*!I*h{-ivtwD{
zOF`dCdj(tFZ?`l(0(8O0FR#Fow53Z=;N90(eG7AC*~2(|
zN}p6MSCzx)SawUI!d=ydZ;e2`=$_dfJLb2$iC8W{M!@+fBI1
z(Qm~&ew=JHhrW8*pu%?}XOAp^VKM8CACBW)3uy}<9_~I#t&Gy%ccv%r%jwv
z#20xiI`rTIM|uYfIYSsnUT*M2YP9FAPdj`+=M3M!MT(ortzw^-=(Z^22=Jxm4ms1}
zL?zeVr{^6fJlsSoSwFexeW?RJ0^D#U{AKkQZ}7hsLS4)MSuw+h8;4I>f69*@a10UW
zt~S3iL>}F_D8>X=;y6-35!d0-Y(Ck5_*Zj?yKg|*3Jm7ZX%!$Qc)ZAYK5zDHoo2`^
zn!&Fn!c}7IOf}scnq&jSnA_;4=wIrkeVk7Bkfq^-^BzY2@k*j}uZYjq%}(hiYpC+?
zOtu&>*+}gbl?Jo<-Uf)P#B(c;qux*gw*E;jT}Bb>nBtQz{?gARH$8wdE6tKTAA72x
zh@9YJO4T)O37N4k2lRG8rMtk6OmcFq1e90fH5NXo+plTjW}U#DF1RNig<8IcF@IuA
zCFlXs5{UqlbJ3sZK4d}WpPM4xLUfU0^$dBX35QX{?gFqjvIr>-
z#jpPJxi{Dm|B1sZBS!hZv6SG>o>Xry*9hs>CxG`UTcU82@c#p=7q6Q%9G
z&IsQUg`zl|gnc)c*6bS(`Ewyyb*+=0(=Mel$MeMt(5^~T;6dMg#;WWom*tJeMigkxu8uT^`>o`QCB?42vwP6g^GURRqV0o>N#t;!9#S~Hs_4&C(kiRsJ+aHV
z9S5wt$_~P0w6y2gG6n>FY2q_$#Q*N~?Z0(!O!FNaE-#Jn%7;J1?kr=XCObmZX4)Bh
zz7+zDH_lZBQEU>G*UcQ-n8N)geLlcC
z%(>a^oAjAG7jn>065sgNMy@+y5jv0!TrxWn<<>pl+b~BdoruCaRT^$UGQE=f0Yc^=
z&p+f`{$y%`qs#KAgqWw(M^}cG^lycc!XPQGyLL;p{l5z?uTlhqg^X7;%2S?Z#7UN1W_Wci2Krb^aX>6b_Jb(+5
zw)SFEEL0mgM;kOW2Y#fUF6~{F{L{f@e>Py-M5bLJeauO@UD@9OO_i-3CPG@yys<;^
z7k?pgupT_i&6Rx{Hc+Yzcy_&U5DI1%oCw5~qxAmK00u#KO-7Z8GR{<7O0Kc(YI#yY
zu%4S^9XWUrV;+%~
zOL0z{8O>mF@`Gay#gM(Zi<#i#%Rr23A06Q0K1TsjuqKhjvWGNZN$iuN18X!O#}X?$
z@TU5HuOCQ2)3Sz@pG7@4A>#qsQ7$m0K5$RYR~qw}pqXx+f$Z;-HNl~b
z*?p=u`yV#fG(--m6^uwN{LZD=9u^qkMXN0ql$v-_UbvxrfG353F0M?ey$_0HWGAumAu6

diff --git a/bip-0008/states.svg b/bip-0008/states.svg
new file mode 100644
index 0000000000..56afd15480
--- /dev/null
+++ b/bip-0008/states.svg
@@ -0,0 +1,51 @@
+
+	
+		
+		
+			
+		
+	
+
+	
+	DEFINED
+	
+	
+		starttime <= MTP < timeout
+	
+	STARTED
+	
+	
+		(lockinontimeout == false) AND (MTP < timeout) AND (threshold reached)
+		OR
+		(lockinontimeout == true) AND ((MTP >= timeout) OR (threshold reached))
+	
+	LOCKED_IN
+	
+		Always
+	
+	ACTIVE
+	
+
+	
+	FAILED
+	
+	
+		timeout <= MTP
+	
+		(lockinontimeout == false) AND (timeout <= MTP)
+

From 17e158b3c3ccf05505cec60c7408a9968774d15f Mon Sep 17 00:00:00 2001
From: Luke Dashjr 
Date: Sat, 24 Jun 2017 18:58:12 +0000
Subject: [PATCH 2/5] BIP 8: Add a contrast section

---
 bip-0008.mediawiki | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bip-0008.mediawiki b/bip-0008.mediawiki
index 1409c63f11..7be8bace87 100644
--- a/bip-0008.mediawiki
+++ b/bip-0008.mediawiki
@@ -172,6 +172,10 @@ BIP 8 is compatible with and reuses the GBT changes from BIP 9.
 
 https://github.com/bitcoin/bitcoin/compare/master...shaolinfry:bip-uaversionbits
 
+==Contrasted with BIP 9==
+
+* The '''lockinontimeout''' flag is added. BIP 9 would only transition to the FAILED state when timeout was reached.
+
 ==Backwards compatibility==
 
 BIP8 and BIP9 deployments should not share concurrent active deployment bits. Nodes that only implement BIP9 will not activate a BIP8 soft fork if hashpower threshold is not reached by '''timeout''', however, those nodes will still accept the blocks generated by activated nodes.

From ca8e9b87a7e1a51952d4f68dcfc3280758a0a47e Mon Sep 17 00:00:00 2001
From: Luke Dashjr 
Date: Sun, 25 Jun 2017 05:39:50 +0000
Subject: [PATCH 3/5] BIP 8: Use block heights rather than MTP

---
 README.mediawiki    |   2 +-
 bip-0008.mediawiki  |  32 ++++++++++++++++++--------------
 bip-0008/states.png | Bin 20891 -> 21180 bytes
 bip-0008/states.svg |  10 +++++-----
 4 files changed, 24 insertions(+), 20 deletions(-)

diff --git a/README.mediawiki b/README.mediawiki
index d37d6fa024..3b80b33df1 100644
--- a/README.mediawiki
+++ b/README.mediawiki
@@ -31,7 +31,7 @@ Those proposing changes should consider that ultimately consent may rest with th
 | [[bip-0008.mediawiki|8]]
 |
 | Version bits 2017
-| Shaolin Fry
+| Shaolin Fry, Luke Dashjr
 | Informational
 | Draft
 |- style="background-color: #cfffcf"
diff --git a/bip-0008.mediawiki b/bip-0008.mediawiki
index 7be8bace87..b00e447192 100644
--- a/bip-0008.mediawiki
+++ b/bip-0008.mediawiki
@@ -2,6 +2,7 @@
   BIP: 8
   Title: Version bits 2017
   Author: Shaolin Fry 
+          Luke Dashjr 
   Comments-Summary: No comments yet.
   Comments-URI: https://github.com/bitcoin/bips/wiki/Comments:BIP-0008
   Status: Draft
@@ -13,12 +14,16 @@
 
 ==Abstract==
 
-This document specifies an alternative to [[bip-0009.mediawiki|BIP9]] that introduces an additional activation parameter to guarantee activation of backward-compatible changes (further called "soft forks").
+This document specifies an alternative to [[bip-0009.mediawiki|BIP9]] that corrects for a number of perceived mistakes.
+Block heights are used for start and timeout rather than POSIX timestamps.
+It additionally introduces an additional activation parameter to guarantee activation of backward-compatible changes (further called "soft forks").
 
 ==Motivation==
 
 BIP9 introduced a mechanism for doing parallel soft forking deployments based on repurposing the block nVersion field. Activation is dependent on near unanimous hashrate signalling which may be impractical and is also subject to veto by a small minority of non-signalling hashrate.
 
+Due to using timestamps rather than block heights, it was found to be a risk that a sudden loss of siginificant hashrate could interfere with a late activation.
+
 This specification provides a way to optionally guarantee lock-in at the end of the [[bip-0009.mediawiki|BIP9]] timeout, and therefore activation, while still allowing a hashrate super majority to trigger activation earlier.
 
 ==Specification==
@@ -27,8 +32,8 @@ Each soft fork deployment is specified by the following per-chain parameters (fu
 
 # The '''name''' specifies a very brief description of the soft fork, reasonable for use as an identifier. For deployments described in a single BIP, it is recommended to use the name "bipN" where N is the appropriate BIP number.
 # The '''bit''' determines which bit in the nVersion field of the block is to be used to signal the soft fork lock-in and activation. It is chosen from the set {0,1,2,...,28}.
-# The '''starttime''' specifies a minimum median time past of a block at which the bit gains its meaning.
-# The '''timeout''' specifies a time at which the deployment is considered failed. If the median time past of a block >= timeout and the soft fork has not yet locked in (including this block's bit state), the deployment is considered failed on all descendants of the block.
+# The '''start''' specifies the height of the first block at which the bit gains its meaning.
+# The '''timeout''' 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 either considered failed on all descendants of the block, or, if '''lockinontimeout'' is true, transitions to the '''LOCKED_IN''' state.
 # The '''lockinontimeout''' boolean if set to true, will transition state to '''LOCKED_IN''' at timeout if not already '''LOCKED_IN''' or '''ACTIVE'''.
 
 ===Selection guidelines===
@@ -37,11 +42,11 @@ 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.
 # '''bit''' should be selected such that no two concurrent softforks use the same bit.
-# '''starttime''' should be set to some date in the future, approximately one month after a software release date including the soft fork.  This allows for some release delays, while preventing triggers as a result of parties running pre-release software.
-# '''timeout''' should be 1 year (31536000 seconds) after starttime.
+# '''start''' should be set to some block height in the future, approximately one month after a software release date including the soft fork.  This allows for some release delays, while preventing triggers as a result of parties running pre-release software, and ensures a reasonable number of full nodes have upgraded prior to activation. It should be rounded up to the next height which begins a retarget period.
+# '''timeout''' should be approximately 1 year after start, and on a block which begins a retarget period. Therefore, '''start''' plus 52416.
 # '''lockinontimeout''' should be set to true for any softfork that isn't exclusively for miner benefit.
 
-A later deployment using the same bit is possible as long as the starttime is after the previous one's
+A later deployment using the same bit is possible as long as the start is after the previous one's
 timeout or activation, but it is discouraged until necessary, and even then recommended to have a pause in between to detect buggy software.
 
 ===States===
@@ -49,10 +54,10 @@ timeout or activation, but it is discouraged until necessary, and even then reco
 With each block and soft fork, we associate a deployment state. The possible states are:
 
 # '''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 past the starttime.
+# '''STARTED''' for blocks at or beyond the start height.
 # '''LOCKED_IN''' for one retarget period after the first retarget period with STARTED blocks of which at least threshold have the associated bit set in nVersion, or for one retarget period after the timeout when '''lockinontimeout''' is true.
 # '''ACTIVE''' for all blocks after the LOCKED_IN retarget period.
-# '''FAILED''' for all blocks after the timeout time, if LOCKED_IN was not reached and '''lockinontimeout''' is false.
+# '''FAILED''' for all blocks after the timeout, if LOCKED_IN was not reached and '''lockinontimeout''' is false.
 
 ===Bit flags===
 
@@ -97,15 +102,13 @@ Otherwise, the next state depends on the previous state:
 
         switch (GetStateForBlock(GetAncestorAtHeight(block, block.height - 2016))) {
 
-We remain in the initial state until either we pass the start time or the timeout. GetMedianTimePast in the code below
-refers to the median nTime of a block and its 10 predecessors. The expression GetMedianTimePast(block.parent) is
-referred to as MTP in the diagram above, and is treated as a monotonic clock defined by the chain.
+We remain in the initial state until either we pass the start height or the timeout.
 
         case DEFINED:
-            if (GetMedianTimePast(block.parent) >= timeout) {
+            if (block.height >= timeout) {
                 return (lockinontimeout == true) ? LOCKED_IN : FAILED;
             }
-            if (GetMedianTimePast(block.parent) >= starttime) {
+            if (block.height >= start) {
                 return STARTED;
             }
             return DEFINED;
@@ -120,7 +123,7 @@ other one simultaneously transitions to STARTED, which would mean both would dem
 Note that a block's state never depends on its own nVersion; only on that of its ancestors.
 
         case STARTED:
-            if (GetMedianTimePast(block.parent) >= timeout) {
+            if (block.height >= timeout) {
                 return (lockinontimeout == true) ? LOCKED_IN : FAILED;
             }
             int count = 0;
@@ -175,6 +178,7 @@ https://github.com/bitcoin/bitcoin/compare/master...shaolinfry:bip-uaversionbits
 ==Contrasted with BIP 9==
 
 * The '''lockinontimeout''' flag is added. BIP 9 would only transition to the FAILED state when timeout was reached.
+* Block heights are used for the deployment monotonic clock, rather than median-time-past.
 
 ==Backwards compatibility==
 
diff --git a/bip-0008/states.png b/bip-0008/states.png
index 828757365d9b63398812aba25b54713dd17e9112..de9450188513aadf047a8a573bb166cab12b59a3 100644
GIT binary patch
delta 20674
zcmXtfbyybP^Y%UG|bw{#;sf+F1=(%m7o41|{Ea4q2AM*Xo&G#3FPkindKr
zh(O4Dtc-CJEpLATx|?M-CK&dzeCrCn8Iy8_%c^k8@5+?e+IO}Gg-8im*GFzC)1QFR
zPIZRYMzRk}$}u>{kv?ec)Z(7VIoMe?!r+zI(fHkP3qA)Omt5#FKb%?74g14oB2L!Ec%IU1)kkx>YGfs<`_$
zCC9lmC!OE2qj=g)<|cPPD#EuA0*zamM4V;^0nN{n-B>A~(h%0k*^4KJa9iVUe8Kig
zoIo+f0gg%Limi|Sm(IaSFOSw}tT|XzVopXyYwQofUH-ySUAso_&K5{$3?%Ksi}v%j
z%-{IHrmAk>&+X|ypDyl}Gm^(hopqWW8q;bIPv3D&Y7ahlman}`~mLoKI^MBWf8Mw;~-HcL>zoDb*t}FK&L}tiCaW^~$<&gio
z-yxh|+JD{4)rYlk8Ja(QUCY&n^DEr885-`uh(C@AWEf^gA^|IrVY45F?XXW2-FFg?
zwp%rtS`NIyL4pvIh$7O%fFDD%f(uV@ei(>A@ptmNLPA~M07C)Q&&Yp3se+61wdY9o
zXX5|@Sl)JdtcpLTU?yu$S~b$i&O_i78vv|s&%GJGxW$DgLxghQ5_WDk&Md
zz;<6&8;J<{7Ol%-8_W8-Eb@&S0*q@c%2+`@d)ygJ;E&p>c?Eb%Ku;}n#jNrB-9Ej=
z3t*w^%4y%4PyI*k*WYzrpcd>;A^c_4ki4e-^smlA0M&{!i8k-<-`V9)w-g$^=<>73(oKe8Y11hA{(lWA|9_xg9zNc?g*IeI97jpC3?q@60FOEM53$bhwOSU>~-`_9{$DFRAh
zp#F{&r$f)L{z*2oT}Hpp!LHAp`5Z1@DF9j{1U)$Bb?_jtL0i#)t*b%uSu-hPZH8m?
z8Ez%#B5#GD$~MXjR?=y`#=AQ|nTTY6YJNTa)bOa^T6u{#a}r0bmf?dWvDx2;&X6n3
zcv}7h&|~f$ujdmJIk(5-6eC<{Q^O;DW7`C!G#&P)t=^m8xN0|-6;&8`?9*RRW`jF}
zucY49sAN^W7GqL*I){5u`+9&%=8?uiqs_zQ@;7rpEpHyTtYFtBLgyVbq(M9`vJ3@SAofQ4d+u(9yEM5u(P_-7*9L7koLwoz+a-;RJ
ztwQiU{y9aJzE6}beYn>OkP$BwMFoC4R}Q1GIaIGd&VC})WD!8@Qv!zKv~Y);GUI*=
z11&9`G9pB(oub0MXn!4td3mxo?cp<$>rKUu3^T3xV9DO>x)SKvfaR;diyZH
z6?po7*z56#;7g!bgw!HJORbkTPW}8*1f>c>R=~T-I~%Eu=LQ{dHlYz!c+JADpx0mb
zdj6gm7tUocw-g9h1)xy_V^?6qA))3VV!?BVn=Q_T!udx#pK8aej?V_<2{&T3IBSk>
zG<>|ibljrInBxfs?H5Z-r773gq6ff*esOtjDwbG3Zmgal=T{vRat#xxYSMZl;ul
z;=S>FPtzWSbxxFJZu9Z{9HL2$P?$>ZYe-X?dayTuovNAMJE6Al!+BS`bb0ZKfuG<}
z{j*#Cu0}8fdR?&%p9~I%ClgDw?<-G>B<*y}<&TD;uhf$RBaxrvo)vtfvkpu5-*CF6YFr
zFL)t5C11cvL?b@mxlnP2Uk}UAXDJ2Sv*t6|+^P^Xy{Xbmzw!eN<#lTtO+TG?_$$tC
z>vfUaJwDxAiShhoY;W0j-?SD9@Rs8cFn!YyM(N5O)(XE1)XSU}*Sc$4dis@uA5qDN
zM}ANcU3Hr@&Pbc%@MVifhw^xu4sE1BX}5PSLNo`YGa%W%)BVxBL@cn>r&J^Qx6P7;
z>>!K0{%F0%zT1ZUC?kv%pZx2T8@qQkcP>(}qSU-G1&75Hr~EIDg4=t})q%^G|K@Cc
zpe}B|SatX3N9OIzxYsoej91l>Pr5@zVQ)$Mt3Ub2?A+!nx4|+C$fn0SYGw7)*@S%3
zi>zC~-6r4pAkv_o%gJ*SkJa5Px=M;2|8k;dQ>`s_Id#$
zjfc{oGAzCB(V2k2r@!s9p6YEM^x(`Vw}v_hBy$w`aUD6H;GfjF@$n#j!BS}XP>JzH
zeTvA&1Ii%KQj3Fry{AW_>H4$i9S7^Ri$F^Wmgo$=j<(~Yb@mfq>(uOfGpt8PJ(tqP
zhOIb^dPx@4A;W){hF`^h_fs(U5gim(m7^~gE4}(p=RcMToRufHk}9-8?&{4WI9>f}Nr_)XDT=4hq=|WG-u4%U^FQ
z(;Hk{bwz~QtMHeiLX3`VOH%O2Nl-I}o)H;&e)Jrog?uF=rm(4Tg1xn2#Yu<%`(!NH
zDdJ>!jMyx%$jR+dvaWN*m!X`t^PZ4F_>+x#q3~f-)>Yg*1CFwmiO~mV1yDdhqxN#!
z3;~(vUZqjMTRIm7I%%UjM>;Bi9
z%!=QO1kBY>A_rvjPs_e*66k=3pZI$T`~>T|ATGmnu}??`3_mzjg&EEs^G*&K8x`MV
zwg2W^pcSM*SSO-Te0IN5v;^y^n6ofpzxUg7LJJ@!KY;p0kvmP5M4V63L-<}CFa(h_
zzoUKsAo^F0l-u%(T6PGo_Z`{6bOB6d-%JPaG7ONFL$F&M@)A9a%Y^Px7YOMGlw<;h
zMZC0VJnw4C53*`6{_aY7G*|e&2G%rBcRntW3k3w>X{k*+&boE?`~;sw>a=iPx|6#O
z4#!2B@ydH}{FY9k{Ygo9Ro4J!_BC`Yb84{rYU0>AM47;UeSFdKkS6
z=Q*mOLLa*7=Z_!vQ=%9K4D+;CtbsP1|lD^(M
zbW(6)A#01fX&iy8zH!g|AgdpmUAlqsSgGt);bjM62TJQf0!)(Elu4Gw@B$lTebPOc
zw?r+piKW(@gMXDHU5P{CfFnFlL(1IOo>~O^66tK6=Eit|VSZgMO}>mMf?c?VuQW?!
zj^8_wO^Au&d6KM^zth?a9;j9~-2_Q=s!^ic#WMpTB9pLu;rK%O8GzDWcxv$b0Gdlr
z$|FeLSg^48YPG6bRix6M!P^QhljDyj5*ChL`|GT~e_D{n<2LfO1eY!g8D$J*Bbi^K
z12RvxL}vTD8F_jW*!pn2#dD}ZLxR4&>fWxJmZhdWS$P7eSA!pNqPeqqWf0%H+x_lpH41on$ka
zgeH9}>6G76Kc4RGN&|-w8GPcMlljbJ3eOC&#V$@L%{CeFXs${FhK`(+%
zN$7-tQKkBz{w>-1w)eK=hj+4Ef_LWp9;!4nvb+$uj*pr7ve1CP{KDrIzbLnbMzO(N
zr$b#eGSWM|cp+q$Tl<16#wJBQx52|(J^AIiZAU*7#fnBAyln&GB~n+tmI@N<{&Rr%PA?Nbp-B0GUS33{
z0cY55QM9U`0!S=xFI46Q1pAHT7PjZHVOB?zpV0w;>v#=jr7iKJguv)k3upCcI_5!d
zvvN8K;0ANFuC_v^lN8;d~>#+|3(e%2At(@9f{68%bYZ}0U>eEAILI~y61UWdzS
zS(B89iJ}t{azhRTJ~dwut)-n$;-~o(X;Vspt6-v-R^BmPa|{!RZNfpR{2>(a!`6LA
zSk{a(S)*CAxFBsl^9R&X-kOWObX06f0IQ=J0obplZrqv@%xZR8?+Pd7*V$m^GrlO$
zg{K8}eh_`}z7IXXS3qzw28={Ga=LA+O#mt^F~Y3^rqfVgNO`e)
z0<PLk%}WOm3rg;NCJ?wk3_|%9kf!X3rF_(^X`TfSrcouacAO}I(-4`WR_lWw+ew|p+`r{vh`q4&QKt$(QlZGzsTb|^l-#6an
zJOjJ~VFEMSvvxg9AY{=?eB$GiGgskBfFwQ`1Qttf3I+`-s_{*?rHTT;@58?`PoFvF
z{dSinGQYPgzso!$YrlhZ@xQy_U3_+^V3BacSCB%3445=qmu1d
zKk_1ciCEJdS;hVhrHl2$f~N~!bPIrA%ss89yDvOIJlTnUGlm7wJV5emA8%qmH{&A|
zf>k)P3D@6a|0JjkOnlowgWuip=X_^G6Rv=@XBDqvwfh{%Pt)z)SENJf%1D0ld=;I
z9)GK#1mGk6wTyOc?LvJM3Xv1ba@!4Ub_jdk@rk_t7-<
zjeU#*Kibj2wJKS7zn&tb$*QYZJmra#!ktP)1$Iq(vBo!W>t)%SFvrTH{`b7w2rk`D77dGsmcg*Kb!e
zCT4hfk>9n`5t@{n0Wac=6v40rxAN6V{Ni@rCeP-$R0Z6p&bz7xu#S=8h1fCt={GgL
zLP}}>;@)+p7k^^TZL2{~NJQ=L3uq>%Ly$<+V*l5Ub7;IF~0@{#k-wUl%_;
zOm8@8gichq_v;vghQbj2?9dPmI2cvju?7_l4%_Irt8XU_(c1Tg@bZ#3SMv61GNI9Q
zY%Re!#{v>2{z^Uzs4?n0YA}XDpx8hLr<|7J*&LJTIli;nT+&uDq$hj9umaR>`P~+u8OHEtVS`
z1m8(DNcz-1pG3#{Gp$KIZW%l}Bi1%ORkM?cmqriw@$RDBIhgM{;8OAy@>RSgQRSk-sHTfF)16o(fE7
zU)HNY1`Jri^h}t-t;vsNX0z)*^^a{lTLZ(3Nu?-Hn#B11=%V%bcVZf*Mn?xzGg?kA
zeOCs8zntJFk~!)VWTDUke!^OKORvap-3@dO{ZCQTYR3?8sXGbrgAyzA*&rWd$+N+;s
znM;4*z-S+={7Tld``;HOos<^1*agtWo94JZCVByJl5fL6!VhITl0`X{!NT2pM$Jj;
z2h9p-5Sr2*5|qltfz{X|zHF56APY?m73}W9-Q>8o(<>&;D7!#bG?e$1aa`O*v^2{3
zI})e3cqX6{b8X%$sH#rre9-*AuALWU(T0}GzInd65}_(wUlbH$VmO(VWe@oL4++1P
z;?oZj5}5tGR&b9fnPKYqJ%iW5Pwnmz2C(*uk)w5zcxOh&x#d)!rv5Dpdc=LlE=Vk%
zuLG^K9F*&2IMAV+Upi486oBosM{6h!S1iv%Uk1OnTBYbyfwLcmLo-2-FojDQe{vW%
zcnk;};dBlU)CLk=zk0fT`po_wt|g)T-(UmdR%{*(b}H&mGT*wW;d(+r-Wvuu5LpZb
zNLQd8UtWIJ8u~fcnhsf!y{Q()PO#8)I2$%ddopr2Sy1=sHeh#=kiHX}!jIss`Z
z`&Jbw-*T$87XKYVx?D!|O>06!Z89Y-O`Vo*P&6;~#r@3Z!n%50jXs~e^_XlJ;_cj^
zu(sC>hHj{(pid}c24ZLHczxMBFpSaZ^B)iEJ2~nvhq-Gfv6n_y8L~%FShK|?mq{TZ
zR|{FNT9gVNY$uU_hnT7S&ZhO7uUcwzx&n9vd>z>jl5W2+#AJ31coLhF{K}m$WsVqp
zTit$GtL+tM7+P_q*xM=-PQ3)JSm-({goc)ee%86d$t$@F#)V{iCNvq7i}174|X$~PQ<5*T(j_{Ql<(3a-uPoUntY51!Z#>tUudLgycN!oL^p(@@z`>d)X*fJI>2oR5gFP
z&V!cvT3>p-BNiiuq8=UnE#20vA;kQ1Q$M*Ze_`fXe8nGfM?V^%zz+8Nfs#6TqWW9k
zt7fN{KlT4)oLSRjb`nQx?n`pxcC63YDwPW6o<^;Gi>o|&4gJdT`e#`BP-)aJgU#yg
z=fZb`k%4MUpERvwOK%;p!&sDSR__?ZCkdMPiLl&N&h7I1>+Vb&FKN;mXgPp$<>-i|AF$3RZGA_8
z#q*ra%d?-mo!5sJz8UjrD13qmVemyQACh8&QY<#nQ|K`{MmaHHXrIDWJd5lavZB1V
z+tQOvvJQY1qsrNv%NZy6>@Qls;=YYIaoim;sh+!t@wfbXG~b?N3;2f
z_B6{%0-()~Oz&t;3`MYX)p>pzy%Np_B5{ICd2yM7)?$7;^9u<-@jbkR5nBevo(<3v
zXFYkbtw|xo^$0sht9kWng!i7jQsL&)6h^+OIm6QDx1e?Z&pQ{9l4StMGXSV=WE@s*
zN-<-e@oMyz_(^9LeORAFU#(Q{S>BXYCix=NAjW(SGj`1HXwlvKx7@Kfmvn6`7@qey
zQ~C=3N7##rJDNukiwCh~8Vk@fhDa;tU{hX3#@VsB0HFR#i7?N)rlFunmD*#S1fHY|
zhA7Dm>iKtg8Ea@rr1~hfb8;d8#)Kf-Zn_8)<**QD5?NA-oeg;BqRN
z)nt8$^}MIf3$%L-4?p!8T$DMp=j9sYlS+{z*B&GLgyMw^zbVB{%67o0HAmeE;U9(r
zW_BQZ$f5a&9f=TRHv~CmNPhBRo>*rJ;|2KXWiqKdD^$Xh^>0emYG|7>a7r;AGRiEa
zslk=I0sx4`0-UYuEy6*Ss}6
ztW05&%mwgkY?wP-69Mv_?jLuxt>X8Wa2RrS;DN)WMeG~nVISbD{AGEdhh#rU44|o?
zo@Xu712aTOR72FIgjpZ#T;PG<>W~&3!6u?=dHk`3R{dF9O#5np@w(fhcSIbg$
z_Y_nOB)~!h(ecrdSPLew!s8uUqx3M!HGT=SaFNYkx%?8L@aOocm}2M`5TaT^XN#UM|U!?h5?7eQ2mA
z_ew#m_01QMbve(lGgj})ey%vDz68!cHM0Yp+A&PW(nA43;y#A=y9z8ueUZU2;vC$D
zi%qRI)lFC+!WTH0gN!Qhxb?kz__>-N9!6`#Zzcp}jP}dP+rg(7f05%OQmD-3XG4hJ8@ibiFBvJF!b=@XVD|b}0w16$qXw-M2)sN9)IrQTy?o`KGto
zlo`&4)guK#LnzdVkODPyXR|jF`lik&51Dc~H6p{N6$*{cb1=mkO>l_}-FYyo9df++
zm^BhxfMDB1PlFw@?XTyqzdKa8;Hzt`bZ0m4-qMrP6;X^7=A_D~Met-{~tK
z1cNJ%czGCn_|bo2Wbuk8zCE(dCUJ}4hVkZ$Ad38CnLl63HN2$VM|Ci--;4;o(3qgN
zxDItvTYIk)K5)CFd53jfc&K#2rrD?&b`cD?M9t>44MFl*Qic~+5oxVS_v_8mytVop%O?P1X&q4zB
zBph*o9Sv6VsoCkwf9XlYvY8hS7M-4Wj}VtkMOG$p8+cgPU#+YK+@~L*A&eg>b-w5tB4>HB5yq25ECPHefa0)3Hjg)T92O>e*O7sWp(z>4pJj|)%rgG^AIQSp?3i=n3TgW;%Tc7*5X7tug)-UCFhsl#`lR42
z^8@-#$<7(gAjV+mH+Hme4aVLv}oQyM=-uSLVY*8r2qrtIQ)@+Zu4T@aeKDjRw_
zGRpR)K;RTyBK1Z2eb~R}Frps^%Fw&?+}F88Jq8d4c9vR`YS*4z51^T~#p8@CpII4%
z|FyFs1GK{JH902<14aq`zR;E*y<1Y3oM>>YH?oyn*%+X}oMoeVcD(F}!8pW8uo5+$
z=0Mf;@}6cZ3P5RGpFp;g2PvEKUjrY)5Tfq9Cd0Un5dNX$>WWm^Ckoe*ED`dg5SKRE
z((GfY10`|!KS7!pk%OJO%f8w2zX#&Evi=pKL}-?mGh5fBfKfZ5(?#hyN;0-=u-nr>
zHnd%j8&b|yT3(hBM=a73k5hSyPT7LuEfWRbz
z#HvRE|BlwluN+*V)H7&a#^2gs1acvNAeyoh@Avq9r!(fO4#&3FIU+sNjuEfy^G$uu
zE*GVN5$%UAU$FTjLVW&~e*UgUe#>a@TUkg+oMl8&O$^2lxsf|kV8yvX_GI2?eXYr{
z6a^SgyXWo0U-ST_^Gz}QPW9eN3A()XgmKeZoB1#o;3zhyarg<_u3*K-@iW;_x=+Bt
z$`7v}Q@sQJ$sT`}+bH+Ds#O(@Q242g^76@P|8@n({Irt()QMF3RnB@tUg&vNUgS12
zd@|3+y=zYGQj@v^vqylCW?fl6S)29*+BjT*Z9w>xIksTk~yF__IzRw7GHm
zezVFZBog5ugzsbIT{0kWM)aZ9o72Qn`=Mq3-k+Ops)k5!jAp1Cu~^GEgBbN8>bO(y
z4BHdtH?ywdhYlU$!7Ptn^mzNLjs}fAA-V#TMBQ
zwQvuR9j$4_wYp-Nmz^S-Wj%?^wVdB9<9cL|*I17O#tA_buqTBpL5kiaA={uil
z_y7k14Vow0Uo*Ko)5DnF7MIC%dA!oMfi`rYHD&Q#=H)%jTM;|T?WWYheGA88s1|~n
z&*E9qz{WmXQ{68pB&7ac5=*kF$+168F#COew@8d;HGlM=Agwyg9~l;d%=hiS_h(fWnkFV6CkR(4
zE|@w9;c5H+_LhCh4=9JObEEbb{omK!c~6RD+6sRJ;{o2UsbRJFSdbb6)3ehnzkklrl0!!@4?{V9ghz
z7WUd!>#_Cxx4OULwCf8kj^>w3-d&4NB5umjYWV1>Q8+?EOG{>QIS!Wkxe_P}K6|RS
z&l4dxTdn2#M~l1RSkzIj3Y!M7kG%2eXLOR2_oyfm`kV*>ipUVDHs1)50GZczx+o(u
zNUr;K^`0!WBfI&0_%vDV;%Wn`htrX#4z~4Ft6{6P%xMk|!hEk{O6WXO;6ta!Qnc4h
zev7Is)gXq#Ee3sgW(56Qu>2lP^A!0c&=<{cF4bLvEgq-Vnc-T3n!Y9w50k^Drwc1u
zrg^+($cHJ^?cj0@L+n-1TgD|45GBScC(PGERntpmKM>HP{rU1+Bfew*wcQ|WXFoK&
z5W=K6o{|LLwjR2qA+g~G@4&XwnLP&}@;uaX&f?Fv7P1EFr-I(8G;dLVC*dP%l1pD$
zbW*E#DOHnKjED;LL@4lHJQOI{WM!%&Y2F0l{P2pfbs%r-sypqye6+IP#}Kzf-`mQ*
zju_IqbWnN3P31ec+Bypry2U9byUGfk+-Pe&DO{@(EivC;#kUwew07;cmB>Rev}&Hr
zxVu~r{ngf)L=R&2{acc$nB8x%db3zXuTrlFm0aJ4LbWxRE;<_8XS#UHU+U{#cK5kI
z>~o_#QS59HNZjcMU2&q#tJjv4R!ENCUPE20evU6IGAm0QR*5IwR1g)rBrXZKAJ}`v
zE~%aFS$zp0c!atxD^I8|GDPbv;3nuz1?g$xq~>4ttbhoC?>^v1;$jQl<6=j<2n>$d
zTsu}-gr&0*j@_jVwOgh=Vg*C8poFEF(hQcCq@`TaDLbhq`vwG>R`Ot-{a8V~E&>hB
zAI_$`$?1sHx}>G7dktSiVv1}<_9f9l3X6>U6AS{wotnv(pvo-EV&!EW`^S(vJ=PrR
z{v@2iEHGr?YdR5B>DOhT2cj`v!EM2OL?8tho~cY8kD+o7)ozhIS>V37B8(&S*N{@Z
zZ$*>%pdC$CNn_~Vt%cw(dgbK;n(ov$d))7{ph7Ej{o$+NI6h_8IlF5;NqD+6&#isT
zq$rLT2Mr11QaxusJY(m1%q@
zsI#oV@BLG^k$yH%*DQiTYx)7@&-I&7C^mjb&lA^RN%T8!(lM_`Bb0v;SvRs43c}cj
z;8Q|S72fEwsMU>Q7Vo8{JZSwlWJe|xM+WOsSE3?|tJnZ~G0&KMLOU84O+53CCLwkg
zpCdN^{($k3C2nsna%cKWV1>!8&N~+BSu(($w-kAOh`)KN6m7l~QR~q&;)Z!`1KFmp
zZnl#sK6&vd00T?Q4AYqpt0hawD2ezAq_)MqIP%5V$82peyJfx+1c0t9TTH-{`L^nB
z;PyF^H#elk@Nx+NBVA_
z@w}{8u;uQFbH$nvo~Phd2E0+yp=nQ@Nh5~fwtG+St1Ww-zc=6e)%mEoqU@hQB(%hz
zX~K$~ngEPJ5&A^pVJHljcwAMcYHR?&66jgWVTeOD*4|iu8^w3VVN2wLuq!w%)732<
zqm>RkD$x^UPOX1y15_){mGU3z6meCK7ll_MSo-~Qi6xMbS-GW5z6KaO9+%0Z?p%C<
zs5PkcIA}J-CDJ#ID~=%qne2xPjg!_!zZ~#qSdGXPBpR4v_u3k2=X~
zdVq74O#G5f^N{Lc06WE?&^Mq3bI7}!o-A_O2VTt$uA&oDu_+=L(ilJsNh~F6me*mu
z@~yPZ>ul;kT>_3MfVE4y=-O1d;?X1JrbwsqMQObXtQ$j(7%?M8S+MW0Y9fr;0!R@(
z2X^cacIhjlo@lzmeo23&!{YFQuW%}TaGg$W?PrkWsJ}#uLe2?8gY5o*pep&e5^&1b
zY=fyJRUf1qs55fonW_j%FA?)Ml0GB1Aj90Pshjn0RkFV5)bRn^ZZy0Lqz0FvO8OJ-
zxQNw6Tt_|%^xLU0@T3)4o9_=wUdp;_UE_{6+ky+?KUl(SX!#I)3ubC(eXV{1D^p$O
zvp801?SZBZZ;(S$yr3Z_QaG%%5}?{VX{~C3Hb(=TM%5Q#l^JL_mR(@~9sIcu5n*72N2!y7r+gC~5G8)RNU3;!UG8(56TN&E!_LIViy>`ms
zVei@Noi#x3V{uTUJJriB7fkrN{RM=N&0O5>QV`1L^_z(a5yxydF5F)qx68QVnt0vP
zkOX98(=Dy4)Oo@dlY*nq*TsOE=Fep(LwHEXX)iXo8Tl1D63pbz4!E$vehp|Dexht4
zNy*X0&O-oJPDQ+%qkd}ybcyIZV6|iz5?0)4f(-Z5*ss7cI3)+03yo48Qd>xVV`z`}
z(YW-JiI6YW?;qTJzxWW;rwkPg;q%Rw3iGge(14Qnm#;<~B0T*k#q|NB?#l{qMa+Fb
zB7DcxH(%7b$EK6}+;&t1
zjyHlfor)C3<{~DUZ+ibIUeBiI{c^RR^e|r$bfD@f{JU&V-N#JHzl)b>e7~8>Fs4g%
z(O9|cn3vnKePs|EPETBESGnJ8T{Nm^I)nA$eCpWyD(aCB-qfp*y0Izn%0Snma8CPb
zGFrRw?b`)gp^ih0$87Y5ad&A}hk&kkU_B3k&g9!>_fiIcP5(d0^Zu{VhXAHRn)X*7c$VVK0LF(dg$uw|Xo@H~Zh0QFp*E5!2P25F;;<
zsz7O%=yy`cYztHsg{$Vr9&RIV-pMmGr-;iDOvo)0~VjDgw89%{p19GrxXme8uWQ-7FB}K6vhyCaUD?rk6Q=1ciCV|na52s^0MWZrisGgrwmHRuXUtOhO$
z%gouhih5-OVXH#C=@zz!A>*{x?}&_D{~<0@#0$<$*7A5R*c{EP8aH2fp{Uh@&&E0H
z4nE#$S4Og|=ubOh6fNI|VmLy0bfJuK1AiU
zKcdXpug#ygM7F(&Feu~Tc(pk3`LuSEi%NWD~W@f@}ZgCT$e6O`Je;5#0~3g
zAiD#T9lwh6Rlc|=J#x!onIWVh9qvKId?4{l>)3>9Ys>z6;w_iQE^l?N45>Yy;dD5-
zdAhT1u&aC{ckJ#$0~sLZHXo=FH+eHk_!U@b;UeCw)*B=jYSy>4c8_-Z9f`daSyv-p
zfzq;-0|zGcr{FM5wnyAFC|gJZRO^jDaM~59SGm8hUtlHi9x=U9IldCzT~%3@2PF9v
z5V0!ZXRP-OL^}?11h}>w7>qva9}IDipP5`8yDG5GW@npDifv)xh~w`+Zi@X~WV3>i
zmN*2X`=|(Gov6Bal)7gmc_J-!EZby_k}foHw1XXi+qF{f5+J~+-+PUe%8zm4d%JX%
z!wj%KR1{No3)u!^t=B*laSR5aUHY$D+I;~YD5Zf=v8j266(9$e!t{L!V`Ew9aEPuj
z0V>~?jz=j!0Y1|xEK6apiwazh005X5vRc!phyB<-1)`ovdeAFtfT%N(*Fckb
zDf0=RVExw+=t`I;_dX`IHgKYT0CsjODZ8go?W+^O%EJ7swo&a<{}c_*$)>km9o{=p
zMr(84Cadx5y?1T<7t|}XR~3Mv=|%Fwh3DL@j70n`{*cXHj=hJC
zPV*i5#npJ<=w)(DskVG9Z`|m7oph(g1o+LyH~SObeCt@rlkS~2QQ%ZX<-xH86uPxP
zq4>VKP$|>+Rp4atn(2LFjF;9t@6E4oNp5y2IkNL_S}OjyB~U}d(?P7qe?rd%aolus
zfw)Ns!TW}J+lcSD%r$q?6!faegAdb`qsUWL>LuRo6-1&Lj_?NbylO3t`|KS$cbNSW
z^p&V)zZ#4<)>c=kGHKYIyf)rP*29r$xe*;!XiyH{`c
zOV67WomjFWJFv%FB?81L7-FZ%nvQ^)KBwikaYp}LHQ&2K&2>wY(|0#lJIz%JD3~ZT
zc>5?4Qoq?fqcHTjA3
z(nCInNy#@9T=r6j{2Q*t*F<%f_=^!fd
zAI5S%kj$T}RXdlz1*7!~%;D?f>btzxZbUuWHLB^Ru@S}>%liP;AQCWxQ2G696>L0Dm7%jo>rrPAqTNjJE))rM%N}0dt(BUsdsv0K(pQ6&e<*2@EPK5#dpOEI^3I;N>tvHeDzIfCXv$
zF!NIWvl5CGQV9Uj%fG2xBK;l#qwmYk1*wP0M}QGFQX(DdBwbmRwI6}!Jp{IRFDKvN
z&b*?xv9;)1=ck1R%uq>y?+zSi0BWwPuly0WjgjR5Ou^(45pJf4e%51&S8zyg?W6rG
zSZX)*isT^wRrlM3AKpxr&wc3BcjmClt52G*EVebO^|dk6(~$krI7!09GREfbYOYKZ
zbAB9IxxES~%-Y<4DJn2~EbF^yB*Ksp>{lP64KTZk^-Am}j{zGNB&;Kyt63;(W!>X5t
zX0iR;DY}0L@zf@K2?ef!5e_N>fQOF~9v1c_-1XR?fCTJ)1CrTi37H4|O~l?`puSSd
z8*9s12e%P!eHupV1BZ&A_2fD$QBls9^80H_9lXV-$vAoMHe;wcMH6nF6W%1u(2h^i
zKHp+BnVt#tjsZG1uK;%AtcNZygT;8S37K_`JSA-HkF>!LcX#I()Nm4ZBRQBHKQ}ih
z_;&RtPRf<~+u9Eci2gAioImIAa|{iQucf&?f-A;i+(#ASFeCl~?k_9%wd?at2cc$j
z^jT@EuBD;x8d0HZ@m!Zk5#{WAdcqDS7?Ffr|&Bc
z4YS0raR(bdr2EP-v(bI0u+%Xt2uYjdw{CJF4xHhMU+rr40v8jZ&_Y%=i$PCG?8P6<
zU@3iHg(3}&j(BhgV|jmWxoSwr&r7Pkjl)H!1^ti4kw#g&q@j0#*lfabr{X$V!+2v0
zE_h=)rNfDI6`Zi0862aF|`C2eHwcq@f$;dYKOp^7eo%_-t4GAfRxWkSs_3oS%2wUYDmS}+
z47z`7p;>VwNINMUYq_TXeaBqy3$L;xi)bXVkAAcB-6Wz8WOa*Y>rxJ-v70-{qEs_5WWL=NZ-Xw)El9rAtwycOf8Mq!SPbO&~!a
zp>t4*fS??z1pagkB7(H2bS}LpT_Q+VsfrXS0s%y%Bq1Or)Hj~9?p^Esw%0B*^JUiT
zJ^QyFdyCx)emJyt;$&=fbAv^S;gWr+@A$R02G;j4V|`L%=$4!FL!C8#-8rxhG6~x*
z7aNa&B!*0rtGm|qjl?APU(Z7Y+d
zoXdq>&3bG{)5y-VgJ&)YlFmS^ImIP!b+@&{ZX6pTO>&UPPpwiZ*2O9N=&$-lQ81t015Ul;ht{H2w=bB
zK1hfZD?xQps3TMz0D_gmKpFl9>5IO`_E~jT={3zOhhiN!qBT69Ow@vb!pNIw@zc#
zzY7gD90PsL)I%a-#iqztL&cCIH2Z$H_6^tj&volH`8+u4b>WimN?p>_I@38iz==-Q
zNm!7srH{o|oXzTk{=K@VT-W+^idl~KlNaQ~OXu^NQ3c`#^fIM=9anrMG$wLWI=cQ!
zNsI3wn1`k>YK|_uHeET?HH9u!WO9nbRgb4Fk4qFadmUt5v**RZn|>kQi7zk?
z;X6p?VvkA1867wFMXv#A?ksC}nLvC(iL9ALOvrly5@Z5fp`&)pI9*(Y84Ophtn?VD
z0`%`Rez^NW*<%}R1|Ad8VCM0<`imbUD({+FYBe3{Y%1509YQTq=IE9g^d-bZC7CN;Ct7XsbX<1ZOT6uu5~O{C?$?RvOouV}+g
z2}NsbPf3fKUhpD3Hfutiy^K$eo5YpROciH2oh{J&8#GLe%S1gHxMb>5lK7q?A
zKem_bI?}tOubFcug(kl=X9$Ds1&qC+ow0NA|9V*e*sMLV!@27Kt;|$xZFb#3KeE3S
zrKagQTuU1k9QIA+GKetpF*6rcqM2mz+(Udt@6`maZF1GBg6zId0aMSplR%ekJ8;u)
z7k?;<(qFR^yk9(8P^Q!fa%){9Z_vzJ2ON2^5VNcMvS;Vs?a{v37B=mRHUe2{QXgWH
z>pOYu^T>lSZWRJ2vSWrimZ&sZHtyP;U^NIc@{(T9%|~q1r!nex
zO|~bt?B;q4795=ocBk5_+DmE$WMD}}mGp)8Wq8H;aKKC&vC;EKQmd+nm`7yz`5DP8
zW45gY@}zUmw6`dx#mUZmG(XRe^}=NIxvmmqe?PqUgW%!*<02LtD|Bg3QbrrK|I@>e
zB)Imf4SHXXYb7f4;qw9sjDhu%(-!4}}2Ip=K-^6ooObW8d2vI3ZKL34ad+
z2;%10p^V@FGnC-;$7cb;R~B!E-(Du{bEQgBb)~O%{kH9jpX;%$-F)`6{}W8aP06yk
z7LsVOXQw~-it~WQ-!qUFbnU$8N3-vCa7S-l@RPHMM%wkLF0=9Nvz3s<)4|r9lvqj?
zS^!R`Ek-`FgZR93J0>-6oR~%OADrd~I~o-d^-TkCEy&CIK#{<$PVC
z_S;9k-C9MK#Qa9`J|*g%z17IrY&K9I-`$E$5&Oak+N4YJwNn1LRpHVtO_mQN=<+qR6z0>kI
zu_3<7KO#vF&z}Ck2`b+}KLa%1Q1vuC`^Eh$x*>wJ2(>v7jXUlJ&g
zo~~S@9bW8$Sm)4G!0*gSCl-Q8smQDy;}?9ZmNh5a@$2fVFub~?e^9!5gN=)$_-;YZ
z;-CfteYteG6-sTHx~BZxJ6nq|G&@OpaK>z9`B-#JW7rrtZ=?)lzrL@uh~2Ll>+o!!aNn_g>rpMQ_>
zdr0Q<3ccVu^np`1&iq^VyB-!`rXlmbdBYR?pXpa=&Av(%&s-Rw+Tm&t
z~G=EPc={=Jc2BbCCYH7OVCn;T9gS;h{EO0??I)=U{XyK4JR;Y04vuzu;%0
zb^1MuM{Z|O*)Yo$kwVsxImmn*MaDoH-Y#%gVT3Y-M?E0{%@kYtIBWDev(h9q6=kcS
zVB5>1q5QLG_Q8c|q&qprT#~@3R&W&oefpxDmXXKICrUbqVk!z3Shi)Bl0jzrtRx$N
z1R!_b*fEYUTTIBv67E(D3bcSIT`imCW)VC|nQJj`rR!3;3-r&5e30z2
z{MckN@iqgf9XCgnNK3#L2LUWg|A==8nPD2EnYFh+rSVgSoOsp$;e(8%-dm-@6LGiD
za8d7(f6zd=U=nb72C@8Ke$Yi$vaTA`KDLq6$5T;Sf#$DFeA+-`uSPUlpZMj*g7Yx6
z6q<8*`{JwN`HBh`yXo*d7(c?vD#P=O|L7#IvKddE?)q!y&f@2j5FX#9IL)Rzr7`1^
zAka}Y`d7IV;atx~@bh|Bmx%rIafa&0fi5(&mjP#VKtvs1G+ddYCR{A4ioJXi@3YPz
z>B=aurNB2kq`bA!g7#S%n-}WJik`w#nY?!i_CswNx`Olu!F%sPijK;AQ-$%(%7?My
z3FXwpCuTV%Ry9ey+nmCQy!Y}X#EKhzj>eWNJTP(t2*JIoFukb$uhO_QKw{ozzDX6*F=M^BOPG5(d(M!gz2
z*1`n(9{B?y{8ZIn${dT;y5r;_4Zn}uiM*ZKFw^F7iL$jSW8aiY@~Qx0(SsFKu1Rz*
z^PC_|WScI>mw1D#hYNw#sNfRg%-_uViOF3vP6GUf(y${~RZf^rUdvAoM9hrOE`bJ=
zf1l$-y82e0Ci{7su7=8>KyF892wTL=*_`>Yd*Pv8<2TPvyY1YLiq&DNeb;BBR=lh7
zjbCuQIeraZYiF{N-}m9aPt^>-56b#pdbvhLEPXP^>PRM?stE(gl7z+UJPJsVo?>9_
zmNkth8Z}WGBl$H>^A_5JdNlJ_GQ*+^ayty*3zl|l%wPtvyPj?IL7_eb7}W!H{9wt1>RJlN76X=P>s3Fy|p
zz2dd7@^8`snH5vi|JCLZ^R$*E{snlI_l?FDK9@%hAEqu@qC@hhM-FC`2H6DU9o4zD
z5>N#~CBt1y3pAvx=WKhK6u_7SamQlJ=j2xNncqj~LmL|T&~D7zvKdwTdr5}ju{~&4
zX!A-bmETK}wVXJ_Nrn_0yrdC8ZXf`M-4ZpluU;q*3OmUM;MG|gSGgW-piYM447BF-_ja8bPC7@UBzF=w0Kdou+mNHlQPTw}Zl|_*I2-QdY*?}I!`hUx
zYctN|_&;UFn2WsMWjR`MoJ-n0v|BE$?OE>X)_x8ZSF{01YBxH#5;IA+%X{8OMNPS<
zdw(+R<#fE8X^^S($Q|WZ1l0rf+DPPLaj9?bD&IYna%_sBl3qd^-NJn`RunjiGj7>7
zLbMRglfHG1qSQbJMzH6cqO%>_a&Gfg{;JF!@t7}NvPydM;eMj-iQFDwj*I!O0&C)cYA0&g%mRiVJ;cZ
xU@A-}!Y-5NS888mLNYGE#o1Ifl~rXG6*UzVU2q)T85;j@N};1NGQ$V1^nX{qbiM!p

delta 20394
zcmXVX1yCGa)AcL_OMu``u;36}g3BU-0Kwhe-DQ>}1a}F6;O-%~LvVL@cX$7J-tX_K
zsaw^(SE{FK&$*|28gn4YS&*o3kb=TBUD^ZyzF2;OimG_b9j3Ue;HVRKrR7}fK@k)?
zBGAGR4raU|<;292S&G=Q2W&Ko#zNlH8ko4=@ZKzniU&AvLMX>X`3{OyE^^&!;%
z|3LvoRO1qz9T1jjSUn`fe+A^|)!yIe`V)CdRz{4^hmB+u{P
zkk?nwEllm2?{5
z>;8<(blCQ?O#7q9T441s6N?`Ow6dIGL2YLxbtH~iYi+wtz#f+5(HTCe1yQQe4HDg5Rg?(d&Z`<#qV*)G)X)gi5RL(2lc
z8BPyhKiKLiWq(izgo8nrncG%CeEIlVx{BGL7~@|Df)=lRwi>7j9{z0-%WCMZ21Gb@
zhV9{HV_FZmYqQ>bm!+21o4!jb{zFAcZ$5N0yv}z%2E;FT&?hJopvNa#Bs*1>6^n!?
zBq<&7#@&eYqNLftd(i)U37U(LNEa+=yX_b<-a4;E`8M2E!zg~V^CW@i@u`#S!*?0sxM6ej56HTIYD33-a`YI}!pXu%MWsDm1H~t*)}{
zINunlyUa7krio2C?%b%;oX;fOP;Rrn6G*0fxbosj%X(QGxipRd2~AmIZ2rSPuUn(i
zKN?rr*}QwioNhS|D$0_xt?^jn8H``(;908r#p)=vo?-<{I}%m3^B%etQ=YWdjk0s2MjdIIR`U@Ea$e4`Mfad)7wiELyvLwgVlk@dh}UG@
z!u$5|)=4J11EV;)ZxGH=A|Zxk;)YyGu9Xf~Cw$F8wa1II}1P0ETc4nQG6&3T2
zu9tbBP9@%Yl6Dd;BAV6t4Q7Mk-_S|8;Kl7~>-mW(#LMMR&l%zCkg~X{tv-h{3&~*o
zHsNgDYo~de^ll}ekie-u9;*c5;!_4HI?8U9F;FWgI47ui#PIso=&OXV>06FC!aWc3*VUC?or4PywO4b$poX-y2@R{;oden374G@E3VE!?iX<4+=
zaDJ)UI_%fc{GIp(W_5aR47C!(jWR@Mpuoj8P7*+^I5K13yH
z2mro$y<2Nb+#B)~HG>5>`)3d`Z_5Bye6m~XrO5sHukt_Q_q@rcf&-Z6OT}fz64z6H
zSywNxJdtW${0Y{oF%*|A6t7JU%UQs56O@N|?DDRZX&I$SO@ps0_a7%E+PX?X3=FB?
z(9N~4lfsUw4!bA2G47rnuO#n7Lz5#o>#wRin50VMFi+5F9HAF^OMs!z1EWAl9(a`vysEq}*Gk5}D0Tg1~kqH!P<-a(3hQbte(*sLTgQE`
zph$Q}y>Pdi!1R(Z3V5NRhJFM}L2g_FlL`t@!sO&8GYqY)&b8ezmR;3f(vazCtFzVM
zl+*Dvhht-TsbqFzEHI$sMaqGg-DD;B<>C+HN}Z&+wmF4Bg0+n^ez3r}|MGETWav#)
zGNozOMFz(=bbw{Og)#2<996cts1(kjW~q*2h%PnQX;ja*W5d5HnW$dAg&8`7gJAjg1o%
z5cIAhSqeH%DgqV`M<$F1XKmyKQ-YFOZLv_
zC)b$`SHPbgX2qz^5;~N+e?o&vR?jf9*nHW~asz(IG+BE;jk9HFic)Ju{>)3aha4RZ
z&85z?yB{`p9jqOXDDie)UK4mothn%FXEMr*@Qt1SD6IsS8{7}vQ~&%Mcrlx(j+*mW
zu6H4W%QByK*>ju#ocZ{AsSfMWrRF1VD{j%cifu?-sTv*E?FX;SvbvHb#hZ+`Xrw+x8-0};Tz`oD7U{mY^7}07E7{H&ohXem+j;*>Osk4c}=wk
zrqU<~+_9
zCJC6hTWq$LW1(H|>pW%L(0vrw*Lb(#0Mn(o`^#VXcjazea-8(*p>s$mIgzW9b4yC&
zEIsMVet5q@lk+=la4<^HCzWeJ%C?391kFeEd?(@-Gva~kG;ed3w%28xg#M0#K9eFEbOM``(@kdnn`p|eHr<`__c{O8y)n*wVqs4k`tGfkk7;UO&T%_l8d4-Ett^oB
zmnz5}zK>{=i2~=a62S%O(38cnWob$rKHpO-THv@H`mqZeQ?UyNlJuRvyfwyRr}1No
zJ#in_2lIeW(ao;DbildRRz1C=AqqhB#IBKH2z`m*c9xH#{76P(tmrU0<$blU7+WNL
z+qr<|8T-q|Os~lB+nGBMeg;BW>N%^_>A*qSr_y|q=Ff<
zRF5V4nDs*zsXCwe6$mpSD=o{z7+;$7ZM3XX;nF|5H(G;V_YHCQuk#7GBwCx4_LdLF5cKX;@ydP{GEbMNZLi
z;6d;^RpgnuF};Dz!)wm&4YbIU8G5_}?1qIuKMnVqMgJMPdx90^IIPru2!yGg`sto8
zcZ-YQb%kD%w8@!Cni8;B;Pw<%c}<=5Bi(aSi~J~syMjo#YjWtVO`-3^Q~Pz_qu;42
zD|JFD{QPU)n|&Ov!_MdAloS;kfePQGyy|n)?1z_V66-GW+uMDd&bJ|4_6e0YnVUKT
zAzS^@b%rubATwcVuaeypU*{aK;#aegvsSU+@!a<_+NnKGL+iEBdpO`}t4O&R!C--K
zJci1utgRGZfRLW&CCeLA5|3g+mWLim{UwMGl@g^T1N^QyA2zxrZxzpq|NMpCR{VQ!
z(n0GJ_F4Ld;8)a%5FtRMvuSF5FZ%T1XSOe=s|mCTT$B;4L?q+xd#jvj^j@m-w_XYR
zzBXdtL(hTRd7i3|wz|OQ;E?k%HchEhoj#cDPZNgI6Oq`+Lc?q(6<6`3GbpY_epeeu
zr@+N^`IF1oH~ahMDGx~mv36|l+v*IDM64FfMhCqr9u-5G2T2RNXunUVI=tWMPl-jF
z-V8COf^Py}($84gX4@=BmoV1EKWuqGZ?6(L^JWh~^lhAy@>w`lIJ|@GO?J65P@W}X
z+TPj)y;fj+WtxA+8^J_fTG!H$?yR@9JmPJ-Zo=r^H7s6Q1HVKv+BV?wFjIm=!U3DB;$2()m!uf8UjbVbt3OrfY>
z`lu)!Y`^PTB}5bSr!ID@(3Q3-iw5H=)6Evhpl~IjcwGkZVU?2&my250ZV7P`;Jq#c
z`&fb24E3+OYq<(DMr&xleU@nLWd?J+J$HYoiq2pHFbOJigkcfYqDOL#`1qSnukA{+
z5ac2D~rs6DrM#s-1YbB?jFM^^YtHsKc)^oU0BBp
zC2$0rXS%AsIjR-Nb@tGX*t$lhum>%6j*W~7jO;*evcq?F--Jamd0=8Hnb%Y|9a
zhHr(3&@zqdrsZo2-gBcdeQ=@MI$c!iJe5fEU_8n(n9tIuS<+8^*eJay#pCJa~ch39t&!vf|W~s9`EAh<#jggo~mo(#O+|78bXtr)f@Z38yOPO
zefX^^h{K5FgZ%cH?AP0aHiZ;N_iOC&Yx!>h#QG{vUxq8{d9OB#bOTQxrHYW>P;bwL
zPAC8VG$DI_$iQ*-wyq(03JEp^zJU$Y+?TndT9ibgTzL$;GvajP%M@dB`L!DO0<87;
z;Atb>o2Vtf8MGubJJ!jedbQ0ZLEeR36!J-P@f?(UPB?xD%qxs{Ege4P5m9$pJA}6*JW59*WT&EzF(guN#DXWup7?n-z;(#`>(5rpI`FWIYJ960FlZR%
zRT38xOo%0t6Jdp^%KD&nnftCJTBd%E^?I*c{QfoBL>{6DDX=yU=U;mHffy1s;D~X$
z_}NtUAK|*A6iZs1HwhdFux>xZf1|>sufh^K)jeH%+3=b&;e#Nns{qV+SM=+EkzFvl
zm#n`p7sR0dNAn^rH}u2=_`=VKUgJ22v$$qCYKgC&GUAk(9Ok3XjKDqV;SSf@jxG{m
zHe}tLTwwF@_s7rO=YQ>Y0Dj;XJvoh?><)~SLSBLc
zUL6}#ctq3VR_t%nznxOxf`<_?eoc|8Y*zI>-x^Hju^$Lux!o7hJocVC7r!5}ba|Qb
zZ(FS3Pg@Nh67y4krvAhNQbpE1AyFAhawUzuyY>1!R9Oj6$p
zFLRsH`u*8{q1O7-96~Naq+@GqO_sq&G(eIQ(ST33NaSNuYHH+HNUKdx6yrD2Ra^K6
z8{|bz*1GZ&jiyk(+HwP*MPe`Blj$cmYiolMvdQifa8cv+N%GBc#pr7QbNXaVNd#^v~_PG8=Z!RjM3%+=juHJ7x?$bwR@g4>RB^YsI+KM7&u1Pr-2k#Id
zZXjAvHQX45kagCl;YCIymzC&GIdyOuuBnP|
zOT8RfsTqi)S+?o`k$+eBh7o6Zq59#9uW=txxP7LZcxN7X<{6Yx_}VAK(o#-S9~8`N$~4aPTa?BJqG;(&)Wb
zAnuruyCqL#
zsJ^;JQXC~%@>Az@i5VnUc?=V{f3F#@bM{zGRG^YL2h$c(({Gz2!1_8
zs0k;^TWS9Bdh{3x4DfCZg$_-7E1rZwG5odpWlN{>g&IeC2ljS
zeT{L?i@&A@da4)Gynl;jo?9O%#=~RobR7G`a%FwJ--!0*nZKoiWRpG&u*V*ui=Yc+i
zx9%(l#t)M8dFqR#IHhdvqHRMyu04pRI7~bj2W~SBucG}uOC*`YZn<+WrWgY&!hxzO
zu>UCM5J4S8}cnEB?t-A&qTGLDbEdf%x(cmKv0O0M?AmWe<}{3;v$YAU#w%1Z
zmFxMRcZPmO+lSlupdZR-W#M@}X-E6DQ#1O;yKJdya=zjYi@SH$2E~7RqVkuNz#nm2
z4VqR@Dw7f<^DJ69C=J>=HCW%y?U^z@q}`LoOr9R4#>E`pm{6<#FgioTt$QaMM!Fig
z#IF(9BS^BG!qFtua1gKA6+~-$PMTB855I^g^MTh-#>Cw$r_C{q*Erzx8&T)?(5ayq
zCc|ll#nT^(uGo;$h8NCAHE##Xf-eF>9BPdWs#QXTy~C+uDjJ9k{9)P@P1&b`Z_NzI
zkyT}AZseeq@8&MBLAr{~G*E!4Gra4(CqDqY!J&t*L3CNYpv
zj^N1|@~yAfL>lUq?JR7Mswt8X5w@GIm#Y`wXtouYvKZ&d!BU;hn|=sySOJph_nB))-A*|97aD
zx!+QX2^|~%CrR$XAw@5S_ztyS-K$sgN#3d&!Iek$y`56wt4Gkv#u(EuXmDB3+WZxM
zVCfT?uOv6Md4fgfh$}msUe=y0~Ufs1lmBoVZ$%<|ENdc-XQP9`*ezcf;pNkd*Sc-Gm_nZ{Qx>
z5bc^dS}Zu8ni@7ijOv;q{u3@B`*Gu9u|;IVO>{Bvh&X4=X@E=AH->&U9g%t2uS?2&gC?kF3Umr^iS2(XMuQf)rNz9*?KK|>GO;8t;yrzCOyRiOgzJ00p
zW&U*7jp!97$mPWlvGF&UsQA5>&`H+pY@<+g&ki4^q6TSZ@(oMHxnJS5(7~T{g&QJl
zMXO2E;RKD29MzQT3zpDqmu&1RL84LHDWp&3AEo#fm<>9u7p$aRnlJUoe2u!6`4n-q
z3&MoDo$Eff%7n$=^3L-~&DkdL)vL7g0)Lsf`c|r{!OlL)C%#ZW^N7eQ1Xw%Q_DT&l
zEm!!~dSo2V_eWN144~B{)nLKrV2>SAbZDn4tEpJ0b=jkK7qJDfj-V}9S%2kATS^HZ
zwLS50Z!#t;CPJ`v!#20kVXox{NRW|WZmQRCusasOMy_x+o6J?B!4<$z>}_7sO->(q
zLv#rq-EfLMw%!34XC3gV&B_oJEuqy<&2?su0EPycMNlpgz*=G^_lPhl`MFm>#hPaC
zHf@aSp7c`T_R|%5zLgoHkP*Ave08p~uHC{bK*~{ghLXNEBF)@?R9^=dm})37EX6a-
zyD00$(g&{-LwT?+75Brkf3jG^5j44rE-`qIc3UBY4ONLPf&_aa
zJHANdd`je{!IhY^>-K0ZcJMnvZ-=qGUkjiQ2sY=h+@Vj$e&Ij_Dij#XIu>`VSokNJ
zIMY;Wsdi}@MU|b0X9oGNwkcIl)VcN943#W
z5mebjfVPBO&wuSoPEK>77wB_fJajBs&yPqhZXW
z-IB6$r-NL7P2S$7O_6FE-X=e&t*))78ZDMf0YefU4<-@@{8)`vMdOxZ#$!S#eFJ
ziL@AjVlRa+HHU(eUCPZyt-9K}+55bZ=eNT55kWh)tqqw*0jZ3C8mX^bR_pdo@sC1-
z=uX$DC@>Myo}{6fjL*2n>+`T{7s2mAbnGi;c$gAt;0wHM5UafNO`2F)6y)`me^4;d6+hL9>#b^wPHGuuatoZ{_LY>2s^o@hY#q;k*e^apVz7k167UZT#`kzw82FD=H~>Mv)f1MFr(e
zh_JVcw~BHk7>V1g`Dov>0hnDp))h2}km5e&R|Zb4SDY)oAH+G@p2pX2^{uy#$4uoyWv52fr*>iZ;3t_!yeB%anu%?`JnC|Qml62
zZuWzHRVMfs-D8ls^MOVZGN85|s*$$w&G6)VS*7`qU{8Z=ke1ZK?HJET2P?Pbzyr)^
zu-41C_q$uccqLi$_OyiU;vzBrq-en7_6$kNXR>CDGK+p`AnM8L5`1I7&64@rInu-C
zSy%Kp$>Z9zdiK*?f9@Z2MT8ZZV5dWqSartMF#{s`W4X8?_MyV5ciSof|91{Y
zC`s7@wFfCC98Bdzw7FnTETa(ei;lFAJ&Mmmff+}_DjNbTB;&df^p??o)0YqBM2*oD
zxEk&B#Um!6wC0PEZ7D^fIMtAx&v}^m`iq`xLA1SaOU31nI8iFuAmm3DgWI1?bu$^-
ze_;`?7#57Xpw4=)ifgsgd~<5?oFT!nM~!|e(>pq|19^mHrgyzq-C<@)#NUa4ky`_~
z^2ikfzaOfwWn+j)NywX@4Z5s2ffbL~WW4+DEql?Yf>greukYQEPHf@efk4J%;yrVL
zl?JCUr&s1O6Aqo4&5Yf2QVuo5pWJ`1{?F|$bKrlE8M6KFMr}ntm@7HN=cbf2>!Ee^
zs0*a}qpjJU$k8WElKK_XIN4KeYZim(F{dT7!y^7J%1x1`*~njv;@{;gU4&KZrYDo}
z)8QTqqfN;LR7>m1@{48OiPS^Z{m(VYx$D(Z2tf`^mRiX2`~2W$s8?mnQt}wOD^h*p
zdk1p?@m>ed*FVOABr5%ZgF1pDqGcTdpEht8C8ot%hmS_RLyjeEyAL;7(Qs8I*pa}CMG;h4;+uK#x@285*fpA5~RjuH;ZfnrT
z;<+>tS)t)Q-|&&K_Lt)E~rnv`^{5H6GcOmd*9!B
zsY(31pH~{@FSGgyF%V9!BSch>qrvK1p|*zV&VQD%jrR_CkYtEr#+MkZ=w>fX%8^=M
zDk>a!T#fU)}gQaQjb$J~v-9{{1=E5`UHC
z77|34-N4kqzPnOJjhFC?iE%^mJSV1z*7wb(fZ(xH$~iS9-yW72RDlnZ%NcZYJMyCA
zaq*m?-QI;l$x=YiZ6=zD;n~@`U(@3(sJEXjhX|?XlF73z>FXkrhn_J;wYTA+Q09M@
zjTIHn`?z(3;8J7^$8HA;yVG2Kar%D34KQi5U1=10OsF)oee@+s^WYY}Pni<4X`ZvI
zQwy6YUZ?x;Dc!+Nf}Sl;0%ZS%YZb865ELZzKu?uCgtRl&jP-_pLQ$=!-V~;PvHDWe#owi?Zd#A6ggurD5iwkKYht-E
zJjXla@L2{2FjCA;`M_Jvm&U^|pW~?XG|xk0=F_6}Fl9iogi=YqF4OcjoybQJ0Tn1#GYy^@BN-C||+c
zfSdfBj-vXQ?)#Cxw_!x)i#IdX3{g&0a|I|-&Qx7h?6CghxjFdL>3|e8SdDuj#6p<5
zx)#!a^<1w4CS=}qJeda#h*_v@8gfZuJ?ffzxZ3YEh2nke7Oc+USgw<|nMt*Ph8xC%
zIVM?t#tjhCd1h;B1;CMPmW
zPD++6%#9YWvWfeho+nFVh`%;HCF1RPOM)60&E@%!BhClMBkOO%~Xzc!BCyG-E!uXQJ+uIU*nwPvFOE~J=uMv
zH#`#f$kN00ILmT^ywJ$4)_xk3iBJyjQU)%*C*qaM>@YeS%6iTydI!bd8%;^#+%?ZE
za91uqiXQPr8O1oA4fq)UU}>bESwd<#0rR1b8GlEac|Qcj4C0c@bzN7(`C_!GS&_?M
z3vLF<_Fh=-p2328^7u{352^J=3>Pi57E`voF;mKWG!H&x$4(JqQOB(EXUeU2S|SZl
z=oi_%9?d+QR6dL6wIsoe9y#Gq>=wT$`$U3}G=|V-8p7o*Iy*SsG}f2>=8Z+UFJFp<
z2w2sh0fbfp=0pN9I|{*A^V=f}6wo{-FhHs)*k^t`srqAO2J`GN)m~GGmMzuYthhx@
zICL=?>+qamYr9y3--0?X3BL7kO4VRtUG4L@)t_Lt)+8zC&iQ#hzSblsyGu?<)f#^I
zQCzs9M$sWNIE@KJriymq@Am#nO$w`e7^s?R`7p9ah=Ewk2LP5AQx#yVlO{X^rlA2J
z#wQy-OgAQ9u0TE?!>cX>zz3T5H-tB|iEtW<$BA-!cDpb7gdQOfHkV4^{(~%*fsR%n|!Z(q%yYS9>}Qh@tn(+LuIAxui*T=}=os7F$_+
z|6;JX>XbAfWY*UBdJA~{kqs(>pJcN`9>M+7H&i_@~uc1f8z^bsHe`LoA_Ys|C$
zC*1q=yio1wF93n6_4D_Q*iT7i{zMV5>Kg!&EHDeUv|0`fsLRboCo`?;4#G)#-?<@M
zs(%TdOxV(`{!?p1t7_C-C;izE?IH7L=35cry7aoaT>#epqJBGE9KwnGsS8%u!;5TY
z`QoK#tpR+pD)UE__W~o`j){d0O;^>#>mgD6%B^BbPpFHs-{z|i4kF)+i?nORX#d?&
zMy-_0v$PITmPTbr3dw<^Oy;y%m&`#pHWTDp&^rnMaN5_
zt)e==GMNibo$PMX5<$oKjnDg{288WV2n`X<-+Rb~b9LzI2G;aXRk>KNTD{Egv(d>kZThs#l0U$doa6U|PLwvU&kAz>eulxx`xzAo@zXNdQ5(^9CvxG^`J$e`!C6H?S$p?!Ej?NjEzzv=G^RX_3b
zi3T@}S
z1p=QXFMj7QpK8d>&Wq
z_3@!%#yn`Y9ub%jYAj^H<*o{}E1|yn+IwgPKv>$fIXv$r{r&FbpejTpuk9QWL%>>{yj${8Ag?hIR6opP+BUv)vL_L)=bO6q
zjpBk8tX~XnZP@Sgm;9_=KjuQHo^EK?3EKHoT4g=Fmqg6H=v-jY$DV>B{?l*95KZ8N
z-C+40Wln!i@lCD7b|_)>sJ(9VY**{~m1z4Sm;e{ae=o{>BX?EtZ>Iw*ss=YM6RyGuE=T(rebSZG^83d#bc<7u$S%sF
zyRGTtOZfDhqW`QQ_kRN;06Wl{ObR%Z)*>U>%st#A+Pyc}&=5^?7dlq=4cq{q9}5u4
zYn{b`YB6ob{#=-&?>%=9E6nic;J5L#=lg_BGJ<+`$azlxL+fqo?C`YP>^)UqZIbTf^)~
z7-}VCfSh#`pA{*jO0A3ZvI4wF-)t;w$|lT8688pir9vfvxzG!30RHQBr>%v-+`w`6
ztfaBwBp-Q-+SK9Ow8NKzpvg#MYWq_|%d|xaI(bDf?t#|Lt^18`R_8atk45%x8fy3n
zM!XZe%oxQ@rVFRE#<$y8^mgL*up9a^KjJ-We9p@+F7qY%GBMqpmNe#ddf!OFew``#fW$c5m(#
z>M~XBK+#f85D-JrL_H
zjhACp?KxZ{vH4OL{=0G}0<^Zu8f|y4``%XPKeWYZ;B|!X{HP3th=GFxVGPOg>+_js
zNXkZ<1{6X&>rDtNCwr6g-fb^kZ2$M`O8nz{$84%}J1eWbv3VYU3jEdYSPF5n*k?s@P=%BFM@q+q!k8ZM5g^iGGaFoL!)VPh#=WhJ
z=pl^gU@nFVb03G1H8nMD2X6dGMStxxT^0Q)vO)kAyiqNt0|BvVDtXyc%*4!@|682>3B4>c|H=Ll&7-|bRgle^*n
zS)8bIv&b4>YrO$U{OQA2YZx#@F6{YNHV%9~49?E-dCK~3BMuV<_R(FIJyQt6QDZKl
z@`=`TOtTQ{60r&u^nO|aKNnXxFV4$##^)Ac>TQKJp{z+DF0zPSrsn%wpb{O#P8}b`k1Fk72Az7UmhYCDji~J
zuA2jHA|(li?l`RvSMPECEl_)pIqKZzO_@m&STf;BkBMT7j*U4A1CsKUd)p0FHODslT*E+$B(psex74j``>T{AyFMb*jW3Tvr1lbQC31{!CGap6L*whMIV2OO
z^KTPl7Hs#D?_wP?EeDf^3(kfwNk}qxbU8rp{tv-87S`5me-K7bsG!gC377v}ALb-6
zeg!~xmeaQpBi9E@#{^S4mKq}FgtEG;T_g`F1=SSZvipcmqfy2pv?wMGn(q0)xV=UN
zx`!!i)PBvPcS8r&$F>tdrJ}mHF{5A5V3+(XCXPn#F}6YG_lidHk05=rryO3)xxHBieo0X7z*ui&`n48WU|<7FyX7!ke*evL|q{(gq6F
zn_^(13}Oc_$d5^;;Jf^bkhiwO0DY@b(%)8h>+g1r-;HuEQ^s&tX3L>rSxCUIo~m({
zEB|0s4-U`V0T0J5K2gn$u?IfwN_Z2!AFcFP@ywRKSybD*WHfb2W3b}=iM3Zlt|c73
z-*T0Y7zg6l=_3S>nXCukzP7f?GO5j|$yId=1S+%J>|tL8m(W@NahE
z6ARfXs9(kv-=JGYi#F(IT?e4lz^4ma?tk8e3lXv;;a+#5`tE0OPbA194@EmY-G~(D
zfA5kKm5YST&Gqhg%YcmBD}drk#LGk#I1!jRlV&L})nJ@7#2Y~cXs(yX77n}dENuZm
z>NQElbjQ00+W|#JQYoK*;3!BkbYr#hvs#H;{VgJlB)H^Gvvr-xHqt$e4f?dw~F8=%T>n
z;zX$dTmSS;FziL!Km8b<){#*skD>(=!3HSVP(%(b1jSo(Pl`T|(uPxAAJ~hTRP(^P
zVE#80<5D98()=HhVeMZXwVkm|S{wn`dw6n91pr7rd_Il!YZA6gbl2Rh@szr|o}v6O
zDLrRp0f95=d<1h)I3+5%3}O=%S;@X31NnrhMgXAD1k0#^1z8Et$uNod&8IV*uyql`
z8YXilOYcCm=vPp6I8NqFphE@GNujG4&S$|Bbtm!GM@$DBax#j@%7gS7vVuJbH$pxI
zeVdQk%8EIHnT=D~0^rI9Z_&TBe7H3OV*IMU@CH-h`vGE4Lp6WV*A23On4rm~VUeE_
z5{pt%u7sLoBD09dlWd^^IpAVj{?e$TCcDNAki&hC{xf+w-HJ^SWdH#vmzmrBkA0CK
zt(?o7b+-o-E{H%Vw3SIUAH8+-?&KVu#e^{akF|E_F-ND2u8l7A74yC;+Q})Qjs6rg
zKL2ZX+?tBN9|r>uQj-W$n*HX0x7Ef&oX~h9#}Y107Ws{BIC%67gCuX8gBVkgvM`v%|be2xtq3ta$0@1K%F70TJVU
z6rgsaWx0qF
zgL`yK1Z=lzBEJe?|1KhJ418JsYjc&HU-F2zoyu2?ivXB)MF%9eGW%Ng9lo)Lg}?giC(yhM@;9euE@}8JiA}J4J*wigaEhkuQEl0EO#&k<`ZuP(?H;|S
zjP`!5Yhg69CzMlXj``>k_%yQY<%DuLBXV&qnyLA7CpPfYWDe9({Bsct?r24>WQjXV
z)`(1rNn*LEedl0WkVRF_=D{z89bfw_E9;=Yhe|;~+(XoqeMg?R-~uOQrm1gmeM5u$
z{c7p^a#`fjutBKt(FpN1@kKp8=4iGu^rB6Wxh$xJfBel)FDQ6dG3s)OpD8XI%x#}_
zLC?K~%}#f|-8U6GMpqgu`t93NoYpd@tVP-jk4o*Lv7-&LnDV2{ENFQFvRZiP`Negr
zj@X4E@W>M!^pzhZ;5(wyQj*B)l$$FL-Wm1CtU{-G6do&~kK<~JnY{Cxg+gQPu~B}i
z@epCiDI_P=T=Lw1sS*+42qd2YND?MBB
zy1GdRLLN;YuI;=%l!f2Hs`s|M6H$1lsF)_$o|4iEmx2+jHCjwj9M_X@+nwW+EwyMb
z%V}$)h?14%9;WB64VKUUO-SE&hXA+WP{6=g`;{KEpX0U~0HXLN@Db
zieIi#72g$Sb6d{gr&F_kn{DProlMWX3=TVctxPG-WgugckNDCtJDL9AdpPd_b&3v)
zlV2-xt-1xdLo!%5j~72y+u2a0CDhzh2WRkZ9v|79nj5A`_#}7G!T0H>A@6x;_6^o|
zycYeaLMcY{$v2L7{+InX0#lLO27dS|kbcLi_qzrKU8FB1J29??Om}@ph^XfQc19CD
zSWmr=#fZGA6l}rs{@4j~xtg`_hm)uK2iE)^z2A)B>&*&X?Guq%`z`AdD-h+j
zPlWayXfPpG9Qc}_cw6zlSQDCM@V;VNm!}qBNW<6NS);nTqFInopl}{YZWzE%1277~
z+nnv2R(w|-0I&^jH{TX8#FXFXL`KDelhIKifBf%8GBSOSb^+&^!;cb->-FuI`}yR<
z*2^D7)jEwg1CaW?;dZg_`m2^Jba$S~OZA5%?)(n`G_0ERG5Mm5xnaN8#?|%u8^wo`
zB#(9Y3k(%QS-UJ3Lj6W!o#lHW*@-fj*
zfBChzL*$oxZRYz$X)SP*XeTgF?2Lv>Zir78o*IBr2-UhfN42`)dL{W)(w%Nk+=2n%
z`1k5-;@+kP4~y!ZoF8q?&z2XR0N}S*5*hKDcCE?Ab=e=R{lHO-k+?hF&pkzc`wteEoQln6BxKC=5^U6)_m=NUe=>?j
zrIdIR`5QWP#!ckh)pn6MHJuxaFLsVsztEugY+Mi|Bc#S}DL?RCNk-AAloBIRBk$T)
z`=c-}%UY{Yl)Ymq=Ukp^rkR-fQgN&Wak5I7>g>Od?^-g7M5UCN4xN05t|&bX+J#~y
zjjDf1dtTlfutg0q)ubY+spZHje?eob##EUyW$=kgDbXDH8y9CM>l>IMu~3Yh`WM^%
zo;fUc|HPU1#hj6flq58jSwxfRG1K|3CZi}+N{RJwKkqtFR0l>@F&}f?BRhov(7$Mb
zpIbj(P;53&P)By)LWkYwz)(F@N{OAZC+~VUdP2}1$0W}9y_anO=vV-1e>)9VTq`b{
z!)PZvP;awfLMj+4he|1NgvqJ1lFNtN^~M6@uuO8I_HI$@+yNfc_(wD{S#~bLTQt5e
zrjU*!-z?<2qKq$5DJ2@MBv0`p-_34W^QraXrF+l9fl+p$_RY
zi#@(`g%w-Rr-JZ57YAq{f8HUs^-he6SlFXow@R@W0?2zd0PJdqew
z05HEjW7lc`X0v|=ATTu%N3FDR{Oq=7x~9V1V|CL2EmI@_>NT2_^v-Hy_*Z>B9*uBB(+Zng)6YQTS=SQxuP
zr^Oq0<=Y~LGEhAwmI)tD7jQIc&bK*?lBu9djJr_4p~sY14yd3?YWnqDDi-^AMFqkKTo+24EDT{GL64Ko^q)#dBe(
z2<$nNAOSyrsBlUQy^saq8Qa9TyiwtlIHFSkfE9=Mwu4bhDw+~s1rGG(+XlwhP|=jQ
zx69-cDFAS6IWS{2F!_#fb^E3h5->Il@c#p6IyLoXQ@vG?il)SU!`w`c0f6QID0SUh
z#B8+Rvwq3Hum41*FR;oq!t00K;lJ^1CF4sfm=f=Qe(bI0;R^sQvY*~=pAd1iX(i`_
zu8rHhhv#8L-SGOL(Wt@RANe+u@g)^(4+tOiK8Om5u>{n+T#Re4bLCDCRNuNRIKCA+
zj|lbeYWCe=rv{y;@NFjJODa~Mm~&v}tXV6q{Q#i*#cORlT)x}`KU|!7?^i&(&mo@?
zP+K2=z3>6seM|+ZSbgG!^r^alr|(1nT_vpL(A^=Fzdy)
zos2K3Sbd^TKV1M`H{SxVsNvMVBwYJ4}6-$Z5@pAX^M|_*i
zkWIz9I~T{PtN-$C0;3qdoj#GF+I%~GB15%dN@S=8Dx*Z(_e9YAyzM
zkWvuss0!!~+8ZfxhyUA46R3HTK5wokF=VN{d5tYxg@2S&2L`7or%!x4<|3?Td~a6J
zFM8dYB-Dyd%yn=0LC(zL>qbktS(jLUAyCS@vwx$DTJvB2EG0x(E%tRlXkwn*NZ#Dc
z{*iXiWJ0V6C_{;>dL=c!zt}+9Gjn&t?ym}Z7|WgCuucVC))SOa1qSCRL5Yi}3B7JP
z74}{E{S#@AQXKxhLAQW|b%_-N?v=P?A!hB<{la_p4M%AY`TIoFEHJ^4b%_;!1kRP{
zvjFp!3W^A588k)8TkhvX05j|5U$QQ-V!-vgbD(SH_|38c&yJ4Fcf?qfBHO${MfT!c
zQQ){w{Opz4alOpYF3*PMJ4(|h!flM?f^~@%1&;f~vD>X5Sr-?b^_Aho8D@1ra?JmB5C{>r3H>k+E#0mqaeWI|@v%&jHibPwdrvj)MR?5sf
zpJ!cSMS{~lao01$|CJa?F#fUY*JQpyn{|m52`-hGxd_uM$q}!{m8EKkmLsARHAh3h
z#u6(ITq<#2g!#{MMbwyeMv#25wAqh<4(k#t4qVQZU4z%Pl*kz_^vtt
z;050XFeGr-6=nKiIN!BnlpnZL;*~^Gwof5LZn#t8X>`%#yLOE719wV1hwgk=j!}-_
zOo_3fXwP@$8084glz5we?5grzIYv2xGbKL6cYN24QJ&yzJn;qUE1Jd4bi?L(j+|Tf
zVs+|tH3ks;K0l64ecVcGssHhriHpSNZCIrSxRH??LAy0qHDr`6TrKHu4Bz5{)jyS(
z!v}R}C*(Q;Y61ZC*AUUf0_Kk*s*UILQecoOiRppWMERcqZHg~{#HR~a4ZtWJob`!s
zQA5ETe1&S6hb5~74tt44^tTMZwquIgB=oTZaMizk7XXsgs}3!0pYj9%q@7Xs1b{h`
zska8DES13*94R~nX(A#zr=}k#_F9HHl6bZ8oM=7zid~1%
zk%+3{y?l1EK2cSF;OdR#69fu=SbqMn)*{0z9{~V=C(jZOPIl^>da%gYo|^uN0Dwan
z%u$sXoWhk7KSM`bu^fCbOt+Wt0089d(aJq)Z`!P)1#Zzb^C$phoYLygQI!~+!j%#;
zp`%y^v`;V;p6~^L2gxqEi=o|?$`INx><55zpSzmMl|Ms&#o+3VB@+sEi8sStYoLqK
z-Iq0iSEy5B{9Z5Knw$8Of;1Fn>)fgHs$@WF6Er_Y{!3xEVU)}ZPR
z*x@$`Sts;+=cX5<$&^?=;7WC0i+X?AVZ02LzW+ycAU-5Ew6B;L{puN
zC9M_XBGhA#JiZ5%hIv?~M|DgtM7aVp`x0;!Lr
zcNFiZ)5-k(HDHd~{QCfaXWInd%SzL*;lsaj-<%oc4$i(i*9s5r^7W~GFhqQz*?+5V
zJGjnS(stHhyO`q((#AQK38#p|BAgOA~k$$oQHCjq<-xR0D
z&s6JAwrmtfHQ@3Tj45l~uFDELB9d|nr$mqI%u54Qa^s~~Mq#*A;;Y)i^X~FR-8IU8
zB)k-dnKCLKTyAgeFcNd*6MFgr{K$m(ZNuqC>kD=6$+xrrKkuw&@ZAy&e&JM!cE4ao
ztQ_$|{=||}p4-Q$XmER$X-31a0f$PAC3L&vdX1-3Fc_)=w*t`Frha&1iLvJ1(c8g<
z_^rdS0@}>S)RNBL@mr47j(oQRgKs#0K4~1nUjAm+>lGK{Qjd)BoB3`A2JdjKM0{@j
z$ofJ9+2PlEq`03_aOV<61%UJCGeiG6pW4g()PiGOQd%8jLS%5SMA%$u5bG}EwM968
zK!$sOKHrVNPyv+i&T4(5d)CD6MXi2*)@F%l_-VsZ=g6plC}Z@*_{1U&|Jw6^k_vf8
zPHl2ack^zxX#)dL!W)a2z_CFv95%`&Pxzv%I}c={E8N(7L4>E5Gv@o7ee
zwd%ELsmpiO87hTRmB?Vogv~qwV3Y4rFq5!RVG8&^6D`I7-QL@4lPOXo4l_D4Gb=DK
hIxsN&gj6DvT2dnpGdeRfD=;uRFffhT?4Fa0QZZ;Uv-to3

diff --git a/bip-0008/states.svg b/bip-0008/states.svg
index 56afd15480..f7d9f9daad 100644
--- a/bip-0008/states.svg
+++ b/bip-0008/states.svg
@@ -25,14 +25,14 @@
 	DEFINED
 	
 	
-		starttime <= MTP < timeout
+		start <= height < timeout
 	
 	STARTED
 	
 	
-		(lockinontimeout == false) AND (MTP < timeout) AND (threshold reached)
+		(lockinontimeout == false) AND (height < timeout) AND (threshold reached)
 		OR
-		(lockinontimeout == true) AND ((MTP >= timeout) OR (threshold reached))
+		(lockinontimeout == true) AND ((height >= timeout) OR (threshold reached))
 	
 	LOCKED_IN
 	
@@ -45,7 +45,7 @@
 	FAILED
 	
 	
-		timeout <= MTP
+		timeout <= height
 	
-		(lockinontimeout == false) AND (timeout <= MTP)
+		(lockinontimeout == false) AND (timeout <= height)
 

From d7662ab88c86551a384be0888f3566181403a5ee Mon Sep 17 00:00:00 2001
From: Luke Dashjr 
Date: Sun, 25 Jun 2017 05:44:39 +0000
Subject: [PATCH 4/5] BIP 8: Require the bit to be set during LOCKED_IN

---
 bip-0008.mediawiki | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/bip-0008.mediawiki b/bip-0008.mediawiki
index b00e447192..feb932791c 100644
--- a/bip-0008.mediawiki
+++ b/bip-0008.mediawiki
@@ -72,8 +72,9 @@ for the purposes of this proposal, and support two future upgrades for different
 When a block nVersion does not have top bits 001, it is treated as if all
 bits are 0 for the purposes of deployments.
 
-Miners should continue setting the bit in LOCKED_IN phase so uptake is visible, though this has no effect on
-consensus rules.
+Miners must continue setting the bit in LOCKED_IN phase so uptake is visible and acknowledged.
+Blocks without the applicable bit set are invalid during this period.
+For flexibility, this rule does NOT require the top 3 bits to be set any particular way.
 
 ===New consensus rules===
 

From 155ce23c2f78158c92dcde56620e20797c3a3b91 Mon Sep 17 00:00:00 2001
From: Luke Dashjr 
Date: Sun, 25 Jun 2017 06:29:23 +0000
Subject: [PATCH 5/5] BIP 8: Add FAILING state to allow lockinontimeout
 upgrades

---
 bip-0008.mediawiki  |  29 ++++++++++++++++++++++-------
 bip-0008/states.png | Bin 21180 -> 27151 bytes
 bip-0008/states.svg |  22 ++++++++++++++--------
 3 files changed, 36 insertions(+), 15 deletions(-)

diff --git a/bip-0008.mediawiki b/bip-0008.mediawiki
index feb932791c..26e8572813 100644
--- a/bip-0008.mediawiki
+++ b/bip-0008.mediawiki
@@ -33,7 +33,7 @@ Each soft fork deployment is specified by the following per-chain parameters (fu
 # The '''name''' specifies a very brief description of the soft fork, reasonable for use as an identifier. For deployments described in a single BIP, it is recommended to use the name "bipN" where N is the appropriate BIP number.
 # The '''bit''' determines which bit in the nVersion field of the block is to be used to signal the soft fork lock-in and activation. It is chosen from the set {0,1,2,...,28}.
 # The '''start''' specifies the height of the first block at which the bit gains its meaning.
-# The '''timeout''' 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 either considered failed on all descendants of the block, or, if '''lockinontimeout'' is true, transitions to the '''LOCKED_IN''' state.
+# The '''timeout''' 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 either considered failed on all descendants of the block (but see the exception during '''FAILING''' state), or, if '''lockinontimeout'' is true, transitions to the '''LOCKED_IN''' state.
 # The '''lockinontimeout''' boolean if set to true, will transition state to '''LOCKED_IN''' at timeout if not already '''LOCKED_IN''' or '''ACTIVE'''.
 
 ===Selection guidelines===
@@ -44,7 +44,7 @@ The following guidelines are suggested for selecting these parameters for a soft
 # '''bit''' should be selected such that no two concurrent softforks use the same bit.
 # '''start''' should be set to some block height in the future, approximately one month after a software release date including the soft fork.  This allows for some release delays, while preventing triggers as a result of parties running pre-release software, and ensures a reasonable number of full nodes have upgraded prior to activation. It should be rounded up to the next height which begins a retarget period.
 # '''timeout''' should be approximately 1 year after start, and on a block which begins a retarget period. Therefore, '''start''' plus 52416.
-# '''lockinontimeout''' should be set to true for any softfork that isn't exclusively for miner benefit.
+# '''lockinontimeout''' should be set to true for any softfork that is expected or found to have political opposition from a non-negligable 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 start is after the previous one's
 timeout or activation, but it is discouraged until necessary, and even then recommended to have a pause in between to detect buggy software.
@@ -57,7 +57,8 @@ With each block and soft fork, we associate a deployment state. The possible sta
 # '''STARTED''' for blocks at or beyond the start height.
 # '''LOCKED_IN''' for one retarget period after the first retarget period with STARTED blocks of which at least threshold have the associated bit set in nVersion, or for one retarget period after the timeout when '''lockinontimeout''' is true.
 # '''ACTIVE''' for all blocks after the LOCKED_IN retarget period.
-# '''FAILED''' for all blocks after the timeout, if LOCKED_IN was not reached and '''lockinontimeout''' is false.
+# '''FAILING''' for one retarget period after the timeout, if LOCKED_IN was not reached and '''lockinontimeout''' is false.
+# '''FAILED''' for all blocks after the FAILING retarget period.
 
 ===Bit flags===
 
@@ -107,17 +108,17 @@ We remain in the initial state until either we pass the start height or the time
 
         case DEFINED:
             if (block.height >= timeout) {
-                return (lockinontimeout == true) ? LOCKED_IN : FAILED;
+                return (lockinontimeout == true) ? LOCKED_IN : FAILING;
             }
             if (block.height >= start) {
                 return STARTED;
             }
             return DEFINED;
 
-After a period in the STARTED state, if we're past the timeout, we switch to LOCKED_IN or FAILED. If not, we tally the bits set,
+After a period in the STARTED state, if we're past the timeout, we switch to LOCKED_IN or FAILING. If not, we tally the bits set,
 and transition to LOCKED_IN if a sufficient number of blocks in the past period set the deployment bit in their
 version numbers. The threshold is ≥1916 blocks (95% of 2016), or ≥1512 for testnet (75% of 2016).
-The transition to FAILED takes precendence, as otherwise an ambiguity can arise.
+The transition to FAILING takes precendence, as otherwise an ambiguity can arise.
 There could be two non-overlapping deployments on the same bit, where the first one transitions to LOCKED_IN while the
 other one simultaneously transitions to STARTED, which would mean both would demand setting the bit.
 
@@ -125,7 +126,7 @@ Note that a block's state never depends on its own nVersion; only on that of its
 
         case STARTED:
             if (block.height >= timeout) {
-                return (lockinontimeout == true) ? LOCKED_IN : FAILED;
+                return (lockinontimeout == true) ? LOCKED_IN : FAILING;
             }
             int count = 0;
             walk = block;
@@ -140,6 +141,19 @@ Note that a block's state never depends on its own nVersion; only on that of its
             }
             return STARTED;
 
+If the deployment is not LOCKED_IN by the timeout (or '''lockinontimeout'''), it has a single retarget period during which it may still become active, only by unanimous signalling in every block.
+This state exists such that if '''lockinontimeout''' is set to true later, it remains compatible with the original deployment.
+
+        case FAILING:
+            walk = block;
+            for (i = 0; i < 2016; i++) {
+                walk = walk.parent;
+                if (walk.nVersion & 0xE0000000 == 0x20000000 && ((walk.nVersion >> bit) & 1) != 1) {
+                    return FAILED;
+                }
+            }
+            return ACTIVE;
+
 After a retarget period of LOCKED_IN, we automatically transition to ACTIVE.
 
         case LOCKED_IN:
@@ -180,6 +194,7 @@ https://github.com/bitcoin/bitcoin/compare/master...shaolinfry:bip-uaversionbits
 
 * The '''lockinontimeout''' flag is added. BIP 9 would only transition to the FAILED state when timeout was reached.
 * Block heights are used for the deployment monotonic clock, rather than median-time-past.
+* The last-ditch effort during a new FAILING state is added to allow '''lockinontimeout''' to be safely set after the initial deployment.
 
 ==Backwards compatibility==
 
diff --git a/bip-0008/states.png b/bip-0008/states.png
index de9450188513aadf047a8a573bb166cab12b59a3..f4acde197f253fd120fa0d193e1599e94e806a20 100644
GIT binary patch
literal 27151
zcmd3N1y>wRu=XtO8iKn!L4yT%cXxN!1YaOPaCf)h?h;%>u;A_x-2Lu*?>XOZ_?~n2
z?6g(abocahRXr1-tSE(wM1TYU0IH0%xGDfZM*slm908I6ta=R|K>lE?L=;2-pe`2q
z#RL|TCNq;(RR92A8UP3c1Hcm`EAS8iJlFu>*cbr#(f|P0Ijdbo08#*DDkmilyobk5
z^gvRG&eA$=0Dv~|-w%|`h(-v>gm;%wkbvKU!-pehOywY@1OV$b8F3MH@8#2M4}EnV
z!r=gvHRikmgviLyV1w_A#KtYbP5aBlCqFwXx~oImXd;=L7b8O#K@0^+?mQd^uV$9U
zhxlRR+4#Tjua|Duv8Q~_LP-zSpR<%H@|5W+`%P9rNTEK40Rgo=ASJ^d9}E1*?s0
zCO}wV-8g$c?~+CKC2OH0wiw#iegg?9RDwY+V)gwm7-~K{W1i!$qV&VnmElVS_M{dX
zjJHu7wdzlH*&-~0QG>Sh
zisxs6?BMdPOwWVJEE2-OyRJOt#X|O{0kBC6n{lj9zWUV>zt&CGT}0APd1|^(eS3*R
zzav7`&>fK&(u9+x%g5MAm0p$}6PMN~M8RrJqKN8{nkYN6^8ap|p1QatW~m)K{MU=n(T4t&@HGcd5f1a~GM!fRZSib$s-#qo|VuR>`fTNWsl=4{pw$vI`YS!WK{6G|OUW
z?+f+rWfK2KqDz7b^NF!rDNf!=*^UpgB6vigvt*STuhF(tl*Mj$Ah48mg+!SSC^WK<
zG0sZ3(WFaa0J+J&+=)i~el1oW0P|8C28H0PXi4RdAWzU=68OqFfkn$H*h&Ug!w*OA
z236=>q0MB!C6;XU{=WpA6xUIeGMxs@P|^bl^I|tQl7zo8Q~f(W>X^#O0v-^kD7LT<
z1kT4^*DK<0_5JQ_Aj~37WJZU&-taV-P~!D5))b;bA7z~O6=Zva2g>yBju{#GFO}&A
z`_r&OlzWJp*kQyBS?t|6@}V{z-Z0Xb$T;7BkWIFL0#onLJsl7MgiB(S-Q84W_={c2
zcWK2P>UN-Ba!wUWfhte`i4S*wuX>{V?99q_GsruXc;m%D5;4T^UcbB2>QIzE
z2`Px4dPqb}E91!{#jMnu`n|M=yR4Gkwj=4zio?D5gRDev5*9}ub#@SDEAu+I>X?v2
zaEwW(#$uH*tU5`w93f5B^y6GHhjNvrKG>UjjenhA*)o6MTkD(TrVuG!JM4!@7`9^Z
z>Nz6|1x$1RI_aSi8nEBV{ZKo(RC@W9U!N@57S6h4z)6Odb=~FEc@P8UJ~@GeKvTJhWh~ubSd1G!^HRh_odVN6WrHN-*5#31DHt2i`MJ^lP^z;lnz%Cv-xW$X(xcLZM
zj3-o-9Imz@hVjv3S(5!3)A~St_nvLL{SEq^JD2pmfxXp^3txIZ
zp;-P0WHTdr+a0|}#?oxtce^60licI8T?6`0i6;x!uBSNLY2`a-#3wynJ(c9
ztoZAC38JInb(ou|U%s(ubva1_JotD%aRFasHR9^N8QRQ0wfS75oBjaH1eE}~4A3$H
zob5%dmd|5oXi=tTkA^YcFL;*OPj`%NM(F>oK=}yN%Q~W_xko3rcF%r(D8T+|;|wLx
z7L8(qn~S&-SS&%>r+h!RilNV=xZ*BDS+s!)^gUhgS0@LRR98PZFWrkk=4b4Vg+&pC
z1xYUd!o(i+;yR>C&PQO6o))jx?+5^tHWC&9rLWs=m+%0=dLA3Pnd}d4G4s)ePrITK
z0LH(Qugo}s9vl9|#Y8<)`AJZ2&!%(F$6TEQ@@*;RdUaSj3Wkw|Wo
zo$Wi3HhGSUyL6Pd#^Nkt7odyAv$RGrfm-%c!5=t7N^
zBZ@}D=PP8#8W@r=hG$dVM=!Fd6k!F(@0K*WeSdX#FQ^Ik6DA=Ai%^@sC)sYe4=_Fz
zli!=bBTfn(Ta)iU5un6hE-vr{0=lRAPfK;jh!SrmsuAfP{R_;vHHV9Z*=KULIUdwd
zy)~JsPSjAfo-RlE!_6EYc*A64samAPDyx~=;=PN>Q~(v>N!y+c&V*?tbJ(&P>k
zVHOhA^e2iOP&KnK%EAOLc64j?i9ob*?JvV}X<>A9XY5!M>apu?h+k}FqQ?Zj=->Ip
zq0+5%w7REQAH#?CHDY~ws~tRH&sExJ8GEqG`TQ4&!cG<@?rz{f6#>!}1uqKYr*aAB
zmI@2`b2;0`;+-y6Ft&wq1c2(KJOVhpInT!Bg6-m$~
z$=?fiM#i{`cip6XD;_(tznj2J<8I{bWF
zxP>a~q8^ELX|_$A#+s&VeER46X@@GCX{tzD^jIPmDE=Z$ZsQE1C%yO{9p>(zF=y-B
z^8@wlfVb1%kD2;&8|wy0nO7y^Kzi&|A0Z3cOlBb+Mskrj*_zve7C_T1nNeP6gauk;
z#VcWomf%&V0L0fuke%Fdy-Zvqx7BQ9VZ6Oq4PF^O?=N~0+prc3@@i0s_YqD$-9c1C
z3Y3Km6;&r<)cD+dLzNMzE9iv*69d($^`^mi1s~~Iy&j7Z>rs;evi3e;mSHW0wq3wI
zI%>RWv}1V>6)4gmerY5Z%om^p)0_6rB-nlcEwj8ozfI0+@Z8o*F%zQaP9U)pJ^@SI
zM;0GDlvU$TPsFDj_Z%uNjOpGt-0&+`nI*y);{7Vux^_reT$Pd5S2oI4N>Xu5u0~0f
zuNN2^7QHV$jlGt&K3m9(T5M2-hBK(pC?C~M3(b7}VG?$3DrFZtE2El$-1YDZTuv%n
zq2LLf56{b7?*y_U4-@Tzf{$E+Hawqodk;
zxo#HjJu0N|pNiR*UyJf#Y6B^>E&uoX+(N3{=aMhnSTUshZxc-M5oRQ8j
z7sNB>2>5@?LRiELpx0(_oh=rzvJbM#2aHwVfeg@bZzic@petLTS5#m#aBM3=eD&OA
z5SA~SBvENKrFehcb#t^guE3}G>iaigy`WxC%258ZU`9MsTcaJj8&xBybAzn9zRPS@zq$>2LH%{x&ouG=fbuL}Mc1Op-m#%+=
z7@b}zyx4
zmlT$kL?`RVbIuAt1)ro1%pPlJUY$=J?~0eyuRJq*^V~A{FR9qT+!4*)zi1+*Dn!tv
zo6s`ltrR8Iz#_$#sr^BU@XX-iZ?xXhao@sjZngFU9&)FNlY2gjTS_O--S_#Cet|;JwF;g
z!Q=(^5q`iAVo)JLyu0m+N9kQIcH%*8&dygyfV7Z3n;q{4!Njq3io|P_VeO?s?oMl)
zTm`cERVY)B@f2)D@4NRV5s4+!y?+PuJZYvb6ND0%Vc|f>Ur5q&LBu3M{}c};Uz=Ju
zpaf1?UVY~*SMVc?)LXG=6%NTVTo_yv|#Z46`CtdB1;RJT_B4
z-QT5UZH-agWmJSG7C!=;OYVZTlhxnW7WOrT!vbt+9o&^cra5}^GM}JDa~JF~u;X6~
z|0K>TVcBzyUjtKl3?MpqzEWpR2s2)cW#{5;490`wxB55noz%H{z)?
zx>0M+w27v1s^_ec5SqSVR@ylMVFdCmUGRU3IMVhwr#zg*KQ|?gc&)|8q6WmDFO$N`
zQu)Q;c>Z9hV>0bpWBzZ0N~{K`Pm*5Um#y2sE;Imvujy|}LY5#$pAP7Qtd(Ec?P8RF
zKLQucG{6l!lj_#hNp61c#p!24T>@tS$91@Hk
zqSPM0y*#)idaiUs+jxs<(yK)vKJQOPR6o}fV6@Oz^0DBK=-VAld-}ptU3$rV&S6!d
zw$q~hcDVy+(hJ#b8JJWM+A28;6@o`3))u3C(HJwu03X2*`UOe1A*U-;3)XF|_9*{7
zYyVF8hnEM7Q)6yu=y4R&RZvb9PSy<$v>7d6Z0t5(pYGS#SO7ZeP$2LzGA~H()X!Z&
z@IOdcxxaHiwr_k#0Qh!jzVLf9I}KVFgGmA7I=N8@Xh9Lp*VeiV_wTbkrIN31IwT$z7oNm@6>Jmg^K
za4xwed}(fRjC#6cDrU;vo!Wh~5JW_RBQ}<#xN%}V;?H>UF+BXbBcGlIC0z?Thw(sx
zk9g-W&3^eG0w1Rx)eaW=H)Grw*V%~8)L6W0zWJRW01zv{Z)JLkkRAG3cD23AN_iDJ
zB$7uyS=({j>Ddq&)_5lL_j()-g9(iH$jb4ZJd?A0G96Cv5+P)DQ2uGd(@1j{GTKN5
zti8qH@?cuTgh{Wk7rSb_bu
zCrH1QkQ_|N0jE+F@=tzyW?|x8s07&|%XJ~%93;$tCvH(;JPgD?#bs3>2Pf#tMbDB*
zNE3Pzg7q@}GAw#(3KS=6_q;9Cp?uk*B-tB3qg?6#M7QC|Iz+2dKzug!d0WwAfei5!
zXysn4M(>CO>&9q5#UooGnm$-UPN8W*kTMW{EW{)shX};Fdi{v%#0GITNw~Jw*mxHf
z{3kdz?d!`$n2r~uR|H6LiT}@l+K+bh3ds
z?bOLQJ5?P2E0H(!E>zq2@3G>Bs1+$i)w#7jFz|GagrGqYiVxmGHM2@x=UVcVM1wSA
z3uo&zS!*$p@+hyO=dLdtkVZyiguE1>`!2#X`BUFeA@x$q&8b~`UcXPxaQ?K@v9?#g
z8?1`Hm$i;!P%(V)AHUb60PJv6Nqp`3DJ#@Vu!IacvEqIU%^e-GGX>bI-{cdUq`kLz
zYn}}vpna*~yxAr7h->68R_9(__>yXL2_*l0we~L5W>ARGKR1X4%H}vVroN+52G);@
zS^>Qkf>Innr6F}rzFI$WX&TJz=XwDQx2bzq$l<-v8{*4b_}C3!YPP`=Jr5$=nLoX*
z35+wy-l;C-quBw;!6l*W4kw4Yx1!A6jC{Rs$aF>R$8Y5`v8*Nz?6aU?5
zFv!(ngg?Ov+A|*LBI}u1Wz0k%$h<1jo|I&V1I_2IXKQy*lP@>+wmUe1n3QtCRh`nLa|d
z7KKGU3qzW8t?lY`^O+pevx6fW7ueq$JXjn1KMZ`r8|9LmT5J6La*{CCYoEa&!wmbc
z+A?g_1LM$bYF;?co$q$CL9uy4%!51`_P8tpMG)DPSnG#&Nx4M2$ifFvPxc*Jylhni
zu~lkoowC~Y-~VOiW(1_rjS}CJ(0tA_CM2kLYq)-JVgUtR)iQp-LU30}6*5v=2VBLR#(`coXH7@)(FKOY2y)!3#crMFA*pTEC7+d+k>;}rm2o2>aH(FDp2n}@@
zFKaE`)HFr*8RU}PA^=czm90)9n`c!r45a040i%$SLjzc@02wd*5h7xNLrLU=&KD#@
z1K;&1JxR%RhmnMR0=XTyn%*PB290TXE^2JH$DGBPfUOd&dg%^P#9R)0s_e;ZoD!N}
z#(@ck?S?-@Wz1Nr<=1q{j+Xg^0PB`Ur#h~Je%;-lG{xE~kF
zh5vS9GQ&zaWqRDgdXJf*Lt8htO(nes$}XG+$G)}XR6i7HJdZumTJXldbQ>V@W`DfF
z=FPNW$P#_(_^S&@zszyFtonq#rN#1UejXG_PEVoQH+ML4_z?8V#82r}!zv|7Dko=#
zB`&U9r9@D&m4r^Qyh%+q1E;nd{A(QDYfba+ucQu&kEPnTq35Dp>Uo_*29!P$uU1?Y
z;@UT1k5Cb65|Lchr^++9i6$nH$#!RM$L1PE2GYH!9GOk3?%AiTm)EQ`tj%t0TrOdbNi+N#pxrR=pCToWyIRt)an8A3Ia
zi~v1O6)YP(-Ijxxl+OF5<*@oEXapv@Xf1R5w1<9Zv9u7W1DoGiQ5_GywjLCutdIk}
zq4BpD3wlf*)PE_@jTi8C7E?%_oxO#xdw5)DT@$zBbJ!e2cJzqf8n1Q3oQMDDUZ+qN
zJZeSxFkbp1$L+*t$|tx+ImD;-DGYoUL#UHfil^?cJaQK-NjjkIEl6=$RMReM==3nO%*qr${U}3)}A9A;^MUt%_bQ+k6+c
z$gH8MX$xobYp^fcAMJSF=}7q9Zl7}p%EuQuio*iV*8&$jhQ*M5=vT$(WLWC1Qz8k2
z1FF_o2cKKDLP1VodPfnVh5>mNEId1HiaQjX!atppV5VF#0%B@&JKPx)R`PLfBZsfm
z`%E@6EQJ~{GNOmhmhLjDFU%#LNMD<1YJVMp1Ttt
z*!|`Sm$i_%03USQ`tdWZ2HVjL=AZr0Vt1IVRH&Fh&2=lb$>Tqbe}ZX#$#J0v!t}Vo
z5)k0{vLY|R0PXNGuu#2V!{FVfd$cFNEl_QR9Y^CcMyLF(u%o^`R|6X${1?A;@Q+{}
zl5m$rqS3BSRLziAyRKm*SDp>3^`&ZvqCs!X)C;4I-XVjK(>1YY1Gnmf(l);WY-&k*
zL@Ety9F}-su8l*WqEcW=V96%MBoz@6HOZ)w!q>YBRXKL{(gDIl>MqPB;fo-hh=36d
zIH2rtGS@93fNBDaMSsa0ywFCx$?$ME1ReNt{;tsV_+HJZOu5!QA6WMa65bgN(VNXM
z*z|Bh_%ZT)+F39IcX-x>1nlR&(AKOMdKM@i7(fFTBWxPN8k|BKQLm+5tv`YGb&943
z-2M|QkUSNjWi7Kyk*>2%v14=nv(X(6@0-$(=O5MfM*0#e97upV;S&_kX>!IotmTwg
zHi4d#{uHa4*!vgf*=}*dy9gE*%?|gBM<~*5Lg$&lQXijK`~N_+X=w(5n|9n2-|GO|
zH6GA7(95`EZ|FQ=VH0@}l-4
z!{~1}PAkQzOH@zRX{RU0h(Q}>;oA#$x4eEHfBbVOu45~fDvvO?Zer!B%-M&3!o@hh
z^HWx|08lnSc6saoG_81Z!3UsXbFM@6;zrQGGvEFB-gcw48R0?&e-*>qEr_GjP~TbZ;*9&%
z#Nw)~oaBp*?$#FSt4Y&^;RaT`%3XRU7w!X}3n@S4kr=;tI3L*zW4oFY*|GQ!HLuM_
zo!8M^KG$z&zv~&AM~h+|E-zbuU;G(Afj%bm=S{aiFNr)~ml5QH_S0;E!FV6jK@?U_
z*f~Wb5N^-y8ZC7e?iXRx+ID7u
ztapW=MP$*@(-<3*^`%N4BTJ2xbjk|FT|Dn6m*cu8Ld@b@s98wsX38q_=t+0Gtp#gbzP=wE0*-8rU
zUN@crX^Ep6??Z0d9-r68hCCQ|BzeZq;Hg8R#8iSVZ@FLobsvrqo-O@v_CGuO>fu9c
zsFmPq&)To(yPun3o*s1V4%$dsA%8>{3z(h>yil!=I>q)=VGY6%RVCb_5ZXi4-L>L3
zVfVd6=P{vw-;7|$xrlumqIeTwN0Er;?&lXpAgAT}j2`JC-uWe7^^poOl=>g;_#t)&
z?&kpL4$sy;A(lEN^-x@L@kQDvx}yumPOib9^JB%0=xI?HbS1QV
zIDm5r{$n@lr{V!B>r^u|Ig0n(oE+$=eV1NkpSy!Q`^HX`AK6O9N8z*Yh&*k7A<^QdmJFiSc;7eMsNMX%M6QDZ%&CBphpVZ3
zUQdZgOC+JHyINd@>Zt9ffzoWecIc!?s$a9%4RXwv1{Z3%rZ8{04y}SW3}O+wIcox7
z?6K}V-U_XeBrM)d8N*S#-hB9lntuC%tb)XXSToMN`TL>;ETC8O7s^x5J}y@x`RcsF
zh9Rd8?jUpdPZf!eUsL&|&40Nyu^WnYBlsUfM+a6m5QqikyH!&s)p@xrxV%?AMFrrY
zLIVgp0WNP=#ui4bYO?B5CA-N;BT
zQKCd7LiZjJr#Q=C2AYUR7)weYr{8@NuhydWZmB*)>)>@N6BJq-vKV!@_MoWQUxT@>W
zjaW5Q5<|7?^h*Sr5n3AXP{8jsbXK`vlraWtGjPCiZr3Npv6KEh6&ij@8N<^yM(mlA%dw=S^u?CAjn~sQK_C4;x=_!4p
z`^7qS{50`;oT0O0`Zyb4Gv8V|_jr)evC?jpFWHV5D?vzYR19C8d%ELIeUk7RKxLW6r;7B%VbxwWdB_q5v1M8`#71
zejYwke~moawH~#`(y#~xKG;#Ks1W3mcK9^J$Wm-}=NT(*<5-xOTR#M>>q%ra`_-1}
zZINoUhhLPXq6KmRfwqjL93JH#hA?*I6jVCBp<#?hqdN?4b(!Vgm>!xQTH>&h?|FBD
zz_Zus1*twZLAmq128}%<1~XZEl!(*?si|JGmVS;?JrrCPSA&&IQuHyt0y`S%GM7bG4jPsH%lZ
zjjpJSU=;bT_gqxtRGf_K3Y_5qBjmO2)=e0sX`(MTq0b6Up
zcA3TbnJ4`xFWX-#oYMqY=aPNnstNwjv#dxB%5B?jU4JMf%l{-aQjTty%f1ulGBt&6
zL+Aw``(qrLWg@a1V5fWnhGJZk{`g;bb~RyX(np#J?mGg-qDN}p5%oTu775k5%{wQ~
zG69p3+txHq5vCB<6Z)nGaxpI2HjW^#D9?bj=yfcgt~lF)fW%+&F{;)Wut)pqico|@
zk6hp=j%Fr0+4ulsdKZ)$H4a5_WTIT!w}J|HJcASOt}E0_)5w(`0_KkuWT6yPsncE+
zvf(P!+&Mqek4%%0b)qyH<%*=?Gzwr|Y)I)EzZX0Ew2W~i*It^EgeeuQ*aQjx|yLa;$L)V5D^Z%fpbNl-Oksaw{k?hNuq$Vb&9
zuuS~dD9Wx&u^P^K2f4a_O0%vfjZx^G15=bvK+_;Xb00Mjxo>f-(Wh=GQ;^;OYPdP0IHx|;iVcO4xh
zSO5bx^oh_AUlzO%$|Z;=;SPwbMtXCJpRZSc9v){H1Vut!A^(_&FpiQXV4dT!J~0wX
zWwAS(tIUbFJ*!~_d3}Ly!c|Zy+LBEg+k>~2a}xI~t7MU}(>YZ9idAc&-vP&c%dfP4
zo4)gn(^_{B`ErQ2k+D&2sIddMSZ)Fn(DObx`K5a{sLGA`Y`4le@A5PoE6TsgC!xlG
z0JN3}h{1z18Uw-W_1|ti{5>JrM$`I2=W5*&GcMtX9i&?0aUs{=ZK&a{`d
zV;@-WahTZX+4u06C6Sh%>#1H)gWVmCwe%c$)PL8tL=SPYF)|~xq)?~4a>#6->URGL
z3l{u){uAlto9(I!YS8}E_lf!E_=~oO&|I;AB^vD_!5@wTx!AAQb(TC1WDhz`EJX58
za%5yi>nV=`jLou?RuSpi)_Yr>VBB%$
zdO1xXE-5hq@+q|N2*)pRgRAz-!QUk=vEFMuH4dg{%S6qcq7}|?^^4alU=i4y}a9}H*c2PP&uXyyIY8*Igpp)rWGD*3=B5hD|K&YDc{e$$HaCAm
zvRs9UdjGHlvw-Aof-G_XPvE%{S0-2^A$#g=ojm=4i)uZ?gi1Qpt67l&aRvo(m^#7k
z5)x#VbKnc?A5cZc#q2CT5it@z?9m`6u$
z!906rKc=k`)?9JP1#2)w5oBil6vGs#%nJ#R4svS5RbLs%!TRSSBgDzVSQSY()0`Pp
z3+)LAIa-NKuAn!Y&m!KpjtM!2!GE{ke=hJqY@d>Mk#EE!`5E};j&3Y2uZiwUG9w9Z
zMJo)VAMbGK;$h~cvuY{bo1tQ~k8$$1JnJ3C!z|I|)$=|uajl9w$StjPAAW@ns+E*=X
zcJDRZRm!EO^FkD8ndXoK_-IzDb$3ki9dz~H*Z{;KSwoqyxzz29jGmLc>TG5&zT|3
z+6v|ABf3WbJ~q0-0$f|;1{)+!&@m9Q@=k8LpeLizLT3PJ$(!)xIS?o}MovCN>sb!H
zxFo*2A|J*LfYsrR9gxiwe?wni2ZjcG-F!3Vx|s$3V9P!#b}zYD4OBrHp=8?jwo=2F
z@V3SJ{)1h}eK>`Y^kCj>?2TGML@f0{ry&3yhR;l!wmX5q99gzWSpA<{hS7zA=>ZKo
zYEMdYAYXtc{_zfS4uP>MqV1WXGZ%1ML4Gh38!N>18ruFvv-z1-v;tcl)z#2?qXS+o
zAQ{cWWRZ4*{OAGvG(#9q{y{Dx{Uuhod>L?0@bLvu0to`pTq4yTVxB1S=}^FaAr?>`{I
z(@pz$H`|mH&jYstBlA!Ub9?!4z0vKU8=P5yYz^qj0&xR~a2ZR($ALy-g5^;De{-jm
zeJR<&ru5TH@xvhFuaR`WdNS|66eO+eeHii}6nAF-JBtG^YS+74tT#K6G1_c9dT
z9v1>olKY^h%;;r9iwv*@B%NpcmE7FW1?-^%;~qq-=lvTCr@^Bi2ivQhxZ8ORJGIJp
zHb_~I>B(_1JeNL2gUDWAd~i2;YGeSm<22_AxB7x0Vjyi8=aWrlEvC8O>B?@b&|Ax3
zbZ&|jsmIJ0p5E&hy&9fw@|SLtS7>;Fp!(Yrf(IV83!kx+m;4`vO+R=J%C_6EG1Ndo
zy_HVt5$r!SUwgvSv0J~}V^7ZxcctgDUPYJlEZXm9Zdm)d
zLw;wKhZnstGpTCCWjA=uueO4Ihe(RrwOoM;yg**LYlSe*_^?y3mbnDT+uPY;IrG!x
zNyqD*%O3LPDIA2%0ulXCYYuGwvs1zCrRmy*r|$*=|2_tMcw)N5do-TH1Jnp!*S1Nk
zI&))YhCiDDrz=ut4zr#$BtUVV5p0d$+r?xSZv~qd_h@zxn&z{wB*`Z@+Diwu&TJR}
z*P{c#+aJhfZttjL2|Tqd_s3jF2J-gc3t)anDN=kKer>BfD2JDGVqLQI6?AHn5AqZK
zdi7n%pJ*JJif+>FHIe_sN&Bg6{R;<~-TlbT|>0e<>t!NYfQs+E4SA!ehoc6Bm
zIjA*zT(o*3c}~TQYqOkoMGhGUX291fnW#z6E&B9V)ieh0?Q!D*-R=wY>s9vENMEh%9JpgZ`oW#N*w)z4KY(N;h2W
zY5ce(N4{EMf^D!$fQb7FwBi_Xk(v|!dGKx!$H4Szf3oLtjQS@9i4K}LD`x59l2s<-
zQ8N*$A$3>$QHRyPxK2$R1D`ZlThG@1X5>fn)f_s_HpKgx$fBn11sCm_00zam+KY)T~+=iW9GjmM2T=ay+3*#jO+m=x}V#L*h7|40%H
zjE;i>;l7|EDr1q-v-%t6!lVN4O=(+83Ru_+MpuyOCw~v
zVPNV
z3!`ZD*4}^64#f}_7Ixa+Wx7H=IQX7?_4%l3ghV|8=T{{3Fz9L+d+Vv<_>=wDqSk-n
zq%KZq7D_gG?2X%WlUT3gosC{+qYnHE&l5Sd*2M}-|iPqE4&mtuFe6Py++h(i#{(g-r-fn+vbf#3fxfv7@QJCx=?
zn-&6TPs=1ze+?;t`)`@SgTm`1;%Qs|TTM{x;XKM9E%)(oNG;qf@3Q7}2U0wV>7<7(
z8cV8=^2=99KzB7u+stht&Z*?fR%gE($p-N7TN-p>16wZu!QU_hx32!61+Pz(5{-9Z
zv3-R->&a_>Z_T#7Z;mo9=$sW(4NrDJ6Bid3X_rnJWRL%pfW`Mb@KYwT_qHD*aIt@`
zy7EI?o$BbOILQxazNYHTAC3A{ngjOOMTS+QNS`HwpFt`yctiuz^QqPGT}dPAEC{{`
zb`@n^YDLO$wiD3_==;4O1bTI(fDrg2vbs{xJYETfwynZQ%0cS_U;j;ER1xQ}2(;fo
z1J2GaGF9k4WGVL?#vQyW#xq}*%q~tXje?*h(a@UiZ?%Bcmjv2+5K2XI%|)|sVgb0=+dzKm>=^u{^i*NBaa!B6E@!f
zAlM%yJhY$>2oLZ;i5HnY=mSS0`sOhEP{PhAK-{^^W0+cjtnHN+LtqxG&%v%9QJ_o!
zqT+_Xju#Y=@qVu!$3Efrt5`=30Wdz%-gFfc1Ez!Y0fY#s+F8sI#0fZnDqsQzOHLn`
zmV&td0FY*!f8M2|LtjM(zLPfWZC=o~tSCXT^{)ACMTBDlf$!09i2ESv_cSEnNGPzf
zR~|rk9-F*|L5Tf`x92xLW=HlJ837p{FqCFP2l{qE06Byg@tgqw=^Ng_Di2hl*Pbwz
zBk{l&iCjO0-IVZJx&-cj?BvHLyMcz#U4G!KPqxiv&%QC+@<%n7;)jKJ_lJZwbmhUD|Y{!cWksM+Z4yWASTDi(pOYjK=CeE{A+m#H)CQMGE{QTigyx23yzzT
z(Dl;dxnJK^v`jvGbx=Dcr>gt{33#nF>x&{h29XuKfibQkupx1-)noc1*vjB=CEHc~
za~7T2vKYc8+dsVzR5EAkv+e#cHbM;|JGSRC))mK=24%nffXUX*vwx&^pk=S_(*(Ksc%J@n)1xfad<~}PNW)+7E?x;n
z0e7tVJipSiJvsg9J6Tl?ZRRQ&s|I%*+Hai!2l_`V3dkT%-#yPDHLdRxEJ22Msnjjg
zV``GEC(+I;j*4?_)S+Hy?)eomvP}UPq9Zq$FOmCJ-=9d=*E@8pX&|Hi6PBD;n!G==
zD6Y+H6srGVH+@jaRq9~j%~PMx~04+WH;yRMjA(h_M|GnOqC1
z!UKWr=A^jwcgh{wOLpS>&SA_eIcBP*)l{%%4_1Loc&Dn7%t$XX*glhaG}f2Nc0g<7
z{09o7N?nfPPJJ}6S)zu#=+$<#(n-zth~XWpV+sveufj#MkId))JybdPR==m4Vhnx+
zK@jlcPmlrMp9*T0n-RongO#a=@n2<>i9v`EnK2c}$?E%tuozbkpMJo^d!Di1PS}YB
zQ^Ktcl?%;~h!=15=~Lfg|NcXO%CU1JHRKW8(6QFN){gw|YjA+wF^uRp7E+bvnp!tD
zFx}rsRhgG$oPtS^_KPeB{2y5F_k(uKcEEUGstGW@M7D)ZF;RxjLjo{)Nq~Qa(Q`ml
zpHq0IDs?o?5ws7|x!)RFXJ{L~sUiu)_(M}Y#aG)}?$^M%Xz*e?y2`Deo%WFdQLf4xb
z+qffpmm^aBg@=SEOP>MgPJO^wLruvfG{9~ND$vC=X9_SLZ7YhHq6e6IFsWg9ShiQa
zre?9*Vcw8|_CZMuCaxOB9p>_n26N9a*Z^MrjUz4)Fz@h7$$UZ
zN(+KXhll%g2izL)<%_sqtV;gXoLTP9~rq2{YPt#mD
zebve&9Pl(P&fC<9Q@D_AG2{y(M9eciUu-Od^Ae+^^P~9Sb6t~Ed>I>WiaCs|-v_sNVZP{(ppHCBQ_&pawB1}nM
z&~*if1KO^mmo0s+&?~V#;?UiEkd(07JZK0^Q>9U+NnTSfvj1wY?sk)P`P<8hdQ(5^
z6D%v7QJ)W(=EBX1$jzEe1(q+$~O0t<4
zasPN`AkVP_ckeB)vn4sb--CTM
zR-}z)Z~J@I$5epE>_@`jBN@$}KF;T?Pa#FR2lx^rB{48B=j;Y_f=L2ZmoK%bqqX(s
z6;hp7uZT&rJB>HX9T-p7B6q_POiqEC@etH$UC6s)N1bsU65ro3@+lZE1h@Vfxz_PC
zs;NuKj!p>sx+{0|{&fp}lY0Flyn=U9oE@U3Qqy81=}ju`?CD#Yca?{9FuX)_LWt`O
zw0$!?zS8FVp{T@2F})tdFmZk-3>o3=$XRI!<)-3nN#=r1x|BPJHsQsMf+|NIm4=K>
zH{@OH2R@@dx>D-Oc6D%|`B~+)UkD~4~bs};jbE%nALa%RiQ^`VZyjjlU
z9@+%8V7Fm3rhlC(2VM8^c(XQqEGt3fa>%Hs+J%b**OZL$t@whL8>
zyN@&f5~M&%193vCbDJT=E|&rG=gIfk
zK=;`!#;D3)J_w%fc+2w%OKT>pc?Plh`K$D>gY4gTHUtrSIGXDdxpTg+iXWM$Yl&>0
zukZg*yc~UgCkN}%xbj-`(eeQvFsNF-i%`4F)`|NittI^lyTKqD*q({(fCOe#x3Cz5
zEW6FIAgy$MecJ@Tuio|;R48eu3CPY)X{#z3@P0f@1v!+23<9{NrRc!BF&!dttsvdH
z+U~2R_j*-~+4VtoX$(Yh7oJ?Ee#MRRwHq)WugKd~1P-I_Qt@;8!bN(0Ndi8d%=_<1
z0pch&{cUZikT0f!aR92FH#$X({-P%;pkw|==M;(fB{V+u)|!<(cz;~at->A4>eFPF
zz9`!i)`L2&pN;z8^9VAW3!C2HUG&BO?JFF3)pstw#7A
z`M$mqXa9R(c6P2Kp$`Y|c@lpsD*0US=d#lhEOasE?NZS_^A{=yPYocG>!qT(%pZ_h3RnE@V`
zB*qD&+e%-#nTq+@_f#UjK4u+}LGX#^EJhJ+y8{SpV-3SBof*0zQgS^0wcl&e3-t$h}PCtcG
z6w4x-mj>;xjNr7ySfo+Fit2qW4*v>kE`jA~H>C+5uv
zaAz-3*y7Z)=_(x)5()csa+eh^(b)X(l(YD4-nQBOxI4Y^xm3h?%DUm!Q`(3f?R>tNt)
znr#ZDO@r1OYf1>l87a7Ik}raQ8o)MF6@md$UDf&Cg)Z#oDEp*K=fUXKurTMvPQz8iMc_vi-iivYhHD$$51PoT%X}HnE}wnFAy-e
zy7G(wTQgGSr-8L~3-EVyHI45oD9IQKnp$|1|20MG#=X4j`g6$&=KbfrqNzzdmj4mX6u|Sb9s-91*kj8#w*Cft3tdG$cfVI7
z{NCkDkR?(*D^Ub4`l%cnE;EJuOK+AU(Guo%u_ZWZ)V50S(2OxeO<3aOBMjXcYvqT$
z^uu~~`~vP&*pEK%f38>(3#y)l%&kxw0@
zYkpt*<*;GJ{S)68=&`HDlw5)s%HCC5O9XNZ3N~)Z%en`YWV&LQ5CK4=8tQl`*U!~?
zEUc;ePT~D^S{+@u8pVN
zmRUm5g&4+Ku3@bNzLdfqPSVlB1(*y?9XoaY^8|DQK4k`WIF4tX1s9+ReTRR!bnrBN
z^LmZVHM~Gp4d{KVKjSNf_=`BsRz*E$NwmwVh^px={K^T+vQ)|WU{^=e{T0c@&e>02
zchGXu-b{|aD28Qdar2A4Q_Dw2t)ctxH*BJoCLKcI%iYrG0pH>5BUlaD63dN5n-j{j
zobb6req=ndWFt;}YNa=HfI@-_LDwwji|h*%{08izpR8(EgBY6G6D4AK+KTFrB0y_?
zBg9rJ|pzYG|PfeF$P|&=Vu9}Lb}U_*$((7Uj3#tZC~ujp{)D
zX}F~L+cdw#3z&f;$Y^cqnJUfqOGpgniNup-qOvM55JF2!7Qdmh#h1g|%dwVS>`%yA
zJaJWW-DlR0o$8o|4IiK@X+K^I80D!5gEuY9
zf@O}>n%Nsp@Hs2w^NweHZi`!rJYk4T$ab#BGd$Lp3hK<3U#H*gX#h-nG83!H!&7>w|;Mw@Umw!%obMI76*q#;CLR
z0~~Pwcu>QM@W}5A%0vX>mQ3ya+P1QTiIdIVo=V=Ir4Sc4UDfvDHM2L4C2(|%@)F(m
ztkm-s$(O{3>c7=_YB@FZ45_}@S)XG$IAGVq2eP|S;ztyU1?0hYQzl6$YuW~bBkQ*^!tD;l`OmXoj3UBxgKD{~fW;;w
zzeDVRp~^6LU?TU`&z2cT+HU|HF_F~2THEDb`v{4!_8aV={BRZDz(orHZ=@!zl30D3
zRw4V%K`6YXB=95=4ymk>_&de+7~4)^uyXfl$ks_L15A&0p4jRE%AlcmGarPDW-M5dWA$`nG)|6i<_uS$M@U)G^GqF?CZ-
z6ZZb{tiCq|VY%neDH8CfMP9Qt9IuZsvaWH4Ocq=4oDY^S`G0y3;KA#!`=1@ds`6j*
z5r38p=&X=FXY@5AM9Q2W|3b(U^tSrk3`$_vQ7cGvMmUc7o6PjZt1SO)9SEh{-(I9v
z0d*JT+>}%h+cI)$dsD;-X3G5B6)Aov(Q+Xl6!=s{ZYxCV|NCAN9D3Prd}$xX8=Q&1Vy{ROe~-j)P5q(014&t897YNI5L&Q%hd
zOQweX=}tEDcJM;rNf*qp4`#rE`RU6&{eCl(S%0!~GeD^N;Qx%m@-gAAyhF0=en}G&TRc3{F`TNjm-C955LF|
zGXp{Qw_^X1~N$qW1{bGk_66V2uLXwZP?J1W+es&p*4yRPdEY
z!a^)moiYuqLN65g$KH&t`r{H_6vA=S6>OP*`A|G(amBlUH-~mz?GAwhd>Ma9ZCVH|
z`JsMP^%y`Wrn~R)Ia=O1^P9_#pLh3#4(_p<=1)P)WTEPR-W#z6co^G0uF<+T^}I5wTFE2aNDU&Oc-16kT*io?wJq}kl0D)uUZoUPT3kD;qVD=cGhl(
z8^0P2l%;aX4A0`5yPVX6ebpUW&O>wTfV|_Kc6n2(Q){-Mx~(+2uonJDzb#@t%HF+`
zG7pBYqXA76(o@I*yh_X;d|FMrn|u3}$A>brzSM|v{LFY=363HMb>Iqh!j~kCW3g1j
z8R7|_d{uQV`J2Tj5_6AWKc&9nuKZEN;=2v$&(8M+|^7K7K6Wxx~qUUB|Cw(8S_1DzP_^7c3lY=dT<12NxhdpO7o8epf-nHz?HjpA8xi8<8
zB}m^NI`U;po04HRO~%7(+EAzugRPEj`UD<4)i
z2lUr{*0Q@g)wZbN;=INA#=4-(xg-cwHEL^0e($b`sxxp$*AN*rNI-3NqXF9EMHN3h
z+V=2u7~Fv5ZEcow3WoIB4R>B#Ad4+ntDS1J&qEjlIq$#K3?Te;fh-lkr$U%0ikW_K
zRRl3!^24lOyqSo2;VDFUWA=Otf^h14D*FCL{1>C~d*oyOTiY*NzQk+xV?67nOEoCC
z;+67Sey-+a;7@hQ>24P01YZUooB;2QS3!Y?&5gnI9$oVmUR*(uY0wsSO0fO~^y1vN
z8I+>iz16)>fs^NVk@JJ6s9741dQj~T(LzQ=4{og!@W`TWlfEcZ3nyx8(|5}aZ{Q!!
z{VL>I`|E(P`6XG=-*owk|V)>Oj@vv<_zlVP_@8Nr@%u&(~G(ykR-I8VT;-BZI
zFRai3otBIF(NsGRhHqu~mH2Ie>_(z~g9v%ERb8JBS8bo(QkyYoN}Fj~B&SoD4L4&%
zDh`Yf$H8*};=jzFupwkrvK6vLD~j31qn^wuRRjN)jGb2WkZ(^Yh!vC{9c*x>$J~lf
zdY8t7yPuPLeNH=cS#2HE1u+Lo0iO
zOqB@I@E*1%g59ZPcTp$@wjY&yd$o%&y2I{@;rj6Z`%;&|M#2EYl82+?S6#Z`yBU%Y
z89dJ(BtYjTDX$wcmpxYsS|2_TDH_V{yn3VQSOr=4`0j+nuWQ8}I_GimiriCGQ|Ik{
zmgWg46340__xz{ufY_6n@`tQ_rO+{QKaJ_(NfQ~5dehhQUK9b)Acv7P3j~s`G0Z6p
zONT>~gg5BQ#9ldoo^O=?bvbbqQ)Y11i@aEPB$vD-zez=Z)!i5-f&)8h1@n0SNEU5B
zKfQ`F1weQc&lo9pS~U&y-(nc`)xg9o+Gu8=e_2SlU%OQ6C>kKf!nMyrW=YTc-nSJVnbYGPCBbb-}N6W^KUr
zo2s?zFe;ad7AEngPO#S#&!lX1M`iz@VybEDqC)Bzuu5@6t5=d%*?z)t2=)SiLi(6Y
z9(&uKW@Ro(=_H4O(x&b*IkhKWf*I}8AB(Tddh3Qt+IWHV8(wO-=Dv)9jGEx*kts
z4>an=&_dE|X|kCulLHCbS0hSiPl%=dlt-+RqTc-CRA3LdQi?)dN3nuMk%5Qz0HvCoyC>brA%P9L9Fr;8*yyR(1YHm;>v
z`>#S%jrh54V>xw&MH7`tZ?BaT=~mjVavFLrA|d!*!^AR5$-Hz2Aup(CXb*V!sV#zC
z^={8?qcsWk}qc`#DMx(!@#$iTbzToBDxAm-7xZ72(YH8`&KGCOj
zIwTZ?Yp=yJ#=at;ZAhYL^T_-^7fWc4zC_
zuJXqcO?Ek=YXEod24%4olRR+lumL?+rKER~%ZJz+W@)4??j+D-hkkte3)#B8fdOf$
z;UP&WD06;fxCH)$cICLkappa2n35d3(P
znQsK^oSZoIfOoQD6+0-}rSSdO0v-IF1K@hU$lj1=B(r%-WxmFYES+*Bpb3p4?VXA<
zHG+4ie#b+#{I0a1UDDaY$#HWu|8inIIvY{+^4WhD-OM^GGb1xSGi#x-OwI^C!*oE7
zR4Vlltsla(-L0M-A+LV-!C$u~kVt`vv(SFv(fkkL#ET{4G>4(u^=>Rfsith&zi&B5
zD!!L88!6Jx*4AJXYiny0F!+C7s7WMXRWvG0C@LyUDk{Kg*)vmUS!SELSP{{1yvv{N
zrjVs^hAkNi`jpnCLcO2qMyu0Uz5UqunZHh1cC>R$1PGk&j01fft4nom)m-9bJ>^D}
zK1tKdO(>2|$WFpeQ()z3@RS@=O=Nw3LVmvSCiE+A!BshR<8UG6!uJK`7Il-D+
z!EXsYmzl&j+8vojLDC#BwfecZ^0q<@a`mnXj&s-$~g`^r|hne*MqgyhqpR4rZlk}C^
zBcDEAXHSmigOoY~?oDbYc|a`F&9TZfc(74mjp{GsC+_oMb~;A_
z%Uc+_?5cRFnS2dfbuTkki^lT3oMB9x*r|t_!eEZm2v<|AuwAZ)np>I=OcM~?@03ru
zkgooR=td)T6HGUAlHc;>A7Xg-mTFNUyM3A|)bk+Olb}ntlOnNT@6jtu6gc|*a87vq
z)inE3_DV0Bk&}s3iDeUOR5k0xE)`u|MpwN^vW?*RUF~2xK6SrzWHF*n??3;G$Jr&x
z$oa-Wf>CD9k^$|ng9nog)L7qYnqWY($n`mLxI}FemdH!Am?GXw4tX*E#4r*fznZ~nZxO0Zl8cLvuv#%ydZE6cw6mT7yx^$Fv0Ltr49sBbeT{Fe>2
zaY})~ISli%-Z-$lzTLwh-yi@%US#lt2qb7{4eQ4mYfg~xf
za(7DJ_Kcn_dZq8ZhhD2>e9ymy`}gSXf&8X5I3}yBZ3P90KdR&-1+>r#@WSw$!3m}l
z2k6)*2taJ0%b|9J5i^e#1~v?=>M{}7XxY8H`9jx4&BrMw2sVg-p=U?M%@|ky+(cm2
z;rjjyH)`ay$CE&9D>93pP}U1|3vy2V_i@CCbWltv2nP2d;5;LcfJtb|e4lyG$K?1L
ztnSOxd>I#YOn@ah&Nr+Ni*n*%In}YqjGYspm^2Ke4bPKgF)+wCyx|H6P*zN{T91Z_
zc`NAm8if=Z#SOR&rc(8`jl`AY45EgyMbKJ$UP?y?q?x%1p7oI*>+{JZ54geP!qFRx
zDUDqyO>eySVMe@)Ad?%h9D{@i+NxV9e_{^Ew&k;qPI(d{9qmsov|Yo8!$+A0p#ckZ;#HwuiZWNou#
z{IN3uN*COQ7=ehK&9956{wL3fMMm6&h=@>vA__G+Ef78;vttJ@;0a@`2Q-WhFWn82
zOcAp!ZBzx|H;rGK>84Z4c5?wRJ~sQX5t1s`RJn&7;GJ`+hx+wXbRDEn`A2p@IGe8y6yrcwpQ(f1ycmJ&6Xf|@}&zMIi_0HCf_27nyjWfo2
zf_vYSJ&T+e`Zoq6T@im&5H06y{zopNa4xAm4t2J6==q(ZYDS_M{=B>EIkD9`dOH0_
zEQ~>jFpCmXzWhZtjfO6hmRUEGC^@#!k`?g0nz8|{I#F4ovqAD@#_^NO1Z@wG<+LYY
z6!$lg-x9oF!3ZuO8{2nYF35Y`C*JSKiRYcsKbX*bX4&3rqC|w#(n2f+Tu&Q~p-qZH
z_BkbSr=byxSIt7%4?|vc`jP1~GxQ__McWo?pl4;5E&@MJx|!K#^rikmGd7JDrV3BV
z9U`at;_9yaS}4WdBhZ3_NrXvZ#oOQ!0fw)rHJQ)KvT8Snk+o*iDd
zVk`PkS*F5gS}AwA)&g3ch>j$wy_oL4y;j9%|20=+t`BJHrN?mmU$OCDCU9&%zq2mm
zuMb8-Fro|Oq~q&+YI{!kM0JWTGlnVVZXLzNSMH$KP8cwI^Gm*l*BUEqzuGt9KCK$0
zX+pGTtHs{?RX+CAy;hiRh~)sQIo2hn07Mx
zo5y4!_x+%4-;zir=0AP!`3wBphO4pe=g2a4Uue3r8MBh7@y{u3YRD3q1oVjR(
zG_~a_T)U|wrA6sJ(J!;7k25CVq$R{k>vw00Q62eDAta#DTK?zYw^78rz`b@8Ti#b~
z*7+nbl|{e0633S^<58G$%49PJ;iXPacc>l7KMfz1q4?V44v{-q+myNm?#vUj6jL-f
zbg5UbAU>EySBMw`IsKUIfMw&59H4Mb=p=SI{c$%$M0|l9+DDuwm$aI=WTF-Ux24+&
zB1D(ZmdSOVH&KdMtR8iOd8|VF@Kw9_$&LE9hfGbK(uY?eu&f_{WbKnI_REI0UnBZS
zzICm(46MH*>BnkXSmHIKlG`U!Om$jRAD@+FK0Fn_OV#7?cu${NiiYfQKh!Al`8+w<
zqh#A^%E4)_h?Md@67TqBZ$=+7wP@XsD60`emxuA6+mT($a2dJAzr|?3A7J+S
z6MWa_%-egUb!ju7^Zow8RbBG7&4j2(WjSw%k_FEOFLJLq-BhcFo>bH1M_YRC8|k)t
z{~hIaK3b_TU2Cd#iEQWbe(U5~d9xc4JXwcl-{ny*`Ta(;Bj+spefb1)C9K2s3l)p<
zwGFRB8R{l@!A=j(~rZM({hxsJG7
zhBWC~v^TYD(t-~u>AvkA-lg1$?4OnLH3VyNz$js$eJ;9@#yiZm92IVzOkcuTVx#MBw1qA_?Lk2oS(dZ3
zYeo>F7b7z5t}(*WOkn)~o5JV+p4mUKz%=_Tr$o_kSneY_S1BD=GhAXjFtf7o`hPbNT#S%|H6Z(M1a$`s
pSD0eHIpE>p!DeM|<6;WCNZ1^lEwj#r$zdM?2?GGoDdHOeAiXD|dn?{qe3JhJ
z02R^5PsVU>bqW({6?p*gq6GlR4*+<0BSH26z>OUM4vYXmAQ=Gg9n%|>h29u2U%yC!
zf!C1eq1LzBdq-()7XU!(`tJfIGNBQ_5fNNv;iPxD5D{n&-lC
zhMSh!JaKQUghv4q6p;~HX!JF3Ie@gW=5RsOI|vr8Vy`Ua
z_O^Fu3^uScLvZb0C_4If%6r9oXR!V@)BA)U1|~2Ertth22n0bGVsjYTX+EmK{ssqI
zw-GK)Zz0?_Bt
z=p%oAkjQL>nW6JrrT-L`)s$sbPL?6+zDv$_DalUbx9TXGd6%=zIfxARBNR{Lo+=ru
z)qzj*t9UO)+LuhYO;Xm&>d1D3il+g3su()=6
zSlX^rVtfDB?sAq{{0s>Pb+OOD(Zk3`B6Rq+@kxvolQ@q;>Qe5=4~9)Zb4Ku7xd@7Ju-ZjV^P<8n>543M0e=~x@2wv
zCpAF>qPE|JY||evI&-i#kK)j7V-gF;!JLYGMBOV&&K(wwlTA~Dedr;a6gM>L`?P}B
z*@;iT_)JF?T7->4*U!St=z{-ohzB=079`%*z6-n;5tN({5Twb>6PUjH-}ms@*sFBC
z^b(H0!Q<+#YmZw5W{4vRcU%UQp#M$p5-cnqyzS>0z*xEtD;&M8=NQ0BkF;$CM>^2s
zPNDIqyGBdfk@qlOs7X`_@p0hKk$L{57Z^V@c%U?#
zw4oSZmpjmqPxUL}AAgCWtILhoXx3NbKs-pnZe_em06KpTb6#dG!r9(a&=ZjJZA9HibPCZ)6X6FtwECgYqDY5
zNTP|lRPeyV`>xR0h&lTA`MV?a{YLIl>2V+U-xXhKRf@UhRDTfq)0mY@Ym|UkCh1fa
zTb2z6LIkXJBLbrUNH}+Qj*!0?8uIUGQ5w|3+FvAdyA`yDY^?g6Ij@nT)qK`)!B36_
zU0iT1;C2*X=Vq96-b}(+o9+~Kj#J6G#9JY_x`RBMnRr&O`QgD&Dk?RAl2=bZBQoZ<
zRzdRJg4jvBW#lkXd~W#21!A=sSKFUJTJ(d{%|b!~=gvf|Qn)K^N?3#+EZhDPnhpoE
zR-eu9T(w&(N~#Pz4r#B*bN7bdNqnkPf!4eiVNiLwgn3f?euPZok;z1*&BfsIH)lw#
zU=h2bXx}DE=Q|~N`fzs<3Y_0U0&M1bv+T!hU5CK6x*_oRvi+kSKCZG(ntslGNF^Z#
zHyND2YCXC+gr01V`u@q~PD`evivKh2C0UKWPmC>Xq}LjdohT4P@#9iCg39Jtz40{n
z1z(ei4}L%i7)j8=9&O1<_$>&uwRKAg5vXnTCH^1#{dWnEGP}3+fd}OI_bA_)
z@U+h!A$%Krj5vuUFDb?0UxFPTk2)o2*%x%xR@Cywraih-NovF;#bfj{v;9-Aq(#4n
zh6b1HG;-hls1&IPqxkr=xD#~#dDQFq1n*mrNR-4fTwA@DH&)}~NffyX95nFL^n;DW
z)@zfFD2u?DDy(L4Pw@Ni2Yr9fjEfht8QY2kYXVUyfr*=@V|>kF_@dV?H(RVLg-aPb
zpIXP8uCE59Np~XkSR0ORR6N|iG@QbS=#xnXomVRiFs0{0GS(BP_gLynrf5;FPx3U#8GM0UG1e&yn%*4{5V;taM6LNM(%J)^V1L
z8(OB8)zWO=hcR6FW$5ISGU4_jSvv{wrUqPbu==SP^|M%c~&T8uWO-jJOXvCkrW_e
zg$KS!Azp#e-I73rqoAc*jlfD_NDm|cag}$8p(0;KPmH&Fn4U1Cm{a4_t46WKP3-7x-(S@;7y2@hLIn0mu1pi$g)tkSPlFvuWh8cy&Mjn-Xzp?)?<
zlgWDKXzDi4+~Imb^!ADy#8vif8s3P#FRP!$BH)u%V%@gi;=3439Nc$3eQDyczJEhgO}1y;vA%otuWT&;i%t`FFLweV
zpRW>u4wF;3(7k2cU)8XnK8}TAv=pJj)}&1x*JO-*$3Nif>+j74TYa@B;WbT3PBasj
z%DLc^@-dY6OK6!~JG
z5|=CmR*#kF-+E6I+Im772HNVeP;U?Ph%{Y)m3(4jzIEYiE5i_;!`0Dte74Sg;c1_l
z|7?cw?5O8b-rTg4fYvC^ggj#S@7nOY=+A-+Q3UG=b@-tlO%P;AzY+Wd!$Z)11F
zc8p16=)`nr1gX%voQX}$RkQ@2ffP&11$%_On?+p8_pS32+OUQ0Dwt_{Bi#(r3t-Se
z5MxEhM&V{lh2HSSx+^@`UWK5`6Xc@}
zGgcPt-xp)?ZXqYbQ}|YSMRrb)vQ3>Eo^0jJz0de`f?sUZiv^Ecpf?GNbXdw-CPvcE
z3VeJT_1C**Xn^JY(m<4FbGG})#EyAjlVBhW*+{_%MTh)8?92-*0-5{-8kdD0G*yzZzDSPX
zda*&^gfjh34g-Q|-!+r($}4Kw!MQ$m<%ZA%GF1F99m2^rKvWLJY;!0`_Assxctl>p
zryWv~3KA6Z(xUQwsH;4J)?fYIm+)w<@_P?#XrAxMtdI%>2IFX{%{tDz_4fUG5o*xF
zdK*pdHY5@oVa5*;(CXjpNf`MizGESXGc<8mrnvwZzUVQ(mkXmQxR_3X>DRRs5$qQ7
zg&scR1#NR6pJAd24rN8tKp4)6$4Fv@g*r?Mk{cCm{g*!l7kfXvM_An+?!{_LxI@jm
z9`=JBe&ZG^lK6`6+?Di1;W0Erw<>x$-<15eA5#3iPj2B+6Wk!~8GGi9>Y^Lt5Oh(-
z+vjfH_5>~G8@qnowQ|)dSBzH&cXOZE`=J}l%(;Q2_>0a2t*_!zyYDY%8NwZKikIn6
zHX~?V*e{U{6$VgMzskrQrp3?=85U@f0!^oQuSItyL>#SW+j&duG`|v-c*6jQ==}js
z2I!}NnU0U-@$}sJcRIT5;I~)2)RdjYMw^eT=u$rokxARq8E7g^as-Kr3`ECS1SQfA
zWZ}|Mve4d`nA#ro_RYs4f!-{5g1s7Eny3yn;s}woSSF4v$)D`F}C-Nsa{-4q`oYeppZcYvn
z@hFbd
z55^r~3vEJ)4d;;bN`xCxFbr^l<7r5q|K3vz?@%m@rQ6&XCn&ZaTNL^`!dG47%{K_H=NNTFb2G3^{cZZ9}996p5N
z(wFv3+FZ1>{BFIbR#m9lp3d6}CWq~hCISYQUgvx0-#={#lL=deTKp^5#q?5!veArh
zRse}7OERPV!<;;=31oA$(c(4Cpeae;-tqGfG8jOst{!=-_zRx(GeT8Qq&x=Xy;L))
zq!xWE$+X`RKVKiF#L8{lXZD!D;8M7i3YO>?lhziuLsv4jQsi+q+(z9Iid3uRVK2OH
zaqtwMQMLN8{yoX&uJ^9E^e0&k{s(hj4^=8ES#A(amrPEfEI9Blui#}>I{B`^IOe|7
zv91~k@dHkx0HVvieG!ztMN!Xf`1oE=esy8j(a%J&s+kLC*MM+^*i|p?$#c1gpT%W&
zw&6!sRBh_wxgv9#Cu!SVe&;0dA_z0u&D}P$#(a)LrbX&dVbl&})LMF%GP3Dku~P{z
z~ue=`k#ZYEea9uW}-RE_jvE#e>#%nh(f5FC;%9B9fkdQ({gB1&4
zDMBvoUwfN6yT5}}zXm~U(aoU`*Zf*~Zqn4H89Kaw>md3C;ekkY@*{frFiE2F^U~3GWUM&3gmMPZ`C)>wPTo5b^U>A=_*E!KkaijF(cRyQlCR=-V(8BI!jKC&3
z6jT>O!dGUCaSn}AvZFjs#_X9hoIL}FuH(}$O=~XTAz8nM2p{xvaFa@upJ?TURGP3x
z?UsdW2FZZr%FbeCZh(K#NN#C&5ffr{GW``5060!JAXeI9Kg;lp-nFsUj%T4C^|vZ#
z5dm&MsLcC!0(E*HVJK2IDK;8YWRvDpdvehX1y*XoLFQSFP5#ML)eCE!t8@l9-HaUe
zm#?(GP7Ru%(8o<*nyuwv2jlMZNI&Z+@cFcKT2CCkJvBs8RC|-B3J%o5v_t#n$|c5OcOS8W$7?@>7B=}2vLtC9Tdm@Q>b+#CJjIWAxVX1+=
zp9J5$AH$At72uqV0V83yyk6T{6MzCk1b?TeqS~07dmr%u=i1OiGoCF$O>A!~CX1BFyd67pvloJEo
z!hMdt-*rvVieoO-dXoVNe4tDjg3@yj+49$%NFI%6o}85}r7A2yJ-8$PW$h3EhFg5e
zTi*ed0kCZ7jvWNLMyZsp79Cp;->F&gT^)U2_EKlB|DHxSQ_rY|N
zAd7}TNBMj$#H{!dL296{=_T*ZfAYEBgb4}fQB09|-=|hQ*73#lWzq%OGRViShbQHv
zgNez~%}llMg9rRMdP56)9P{cIttEBko^?1`cRh+=i|!x#x-16WT;Em2SQ%x$G%pV2f*M2{^R|^bqjs)?{
zs4qJ8(1FlpFVQKP7iW&*vp{iN|KL*bZT{e4MKzw;jtpS{_g6ljqTl|iSWbAS
z@~4~&lFkRPStap=Z`nh}*`Ric@%E?lS8px|DKAZIX)ma562H&qH73=LS%w?#ThxZ;
z*gEEKFipH41}sg;vRfeRa{hTO&13Nq{MlaYhY1XT>Iqa>|9lt!wG|hxxCU!J={7w6
zPm;>e)Q>F`*!{f#_D@DskqQ_GRuLQ1KLfUo>M4Iq4}ZgjmWB*{03bO+AD28^LL=e7
z+gNt(4;ueq)5n8zOU=tM2N(OCFT
z2)PoigzK(j{3n|bV&5nzxJIHngpBq<5^tw(=wNU5PzUnxULG|PKPebPzzYn&a?%Dbjd>@5j2oylY5?z5-?e!jdU+sBUg!pY$AF#IWOWP{X)Xgt^)lL(HET$U0B$U
z%|=OH2r)M$Y+zbXi5T>QQje&lf&2kq-f{=bP^)wLE@eB&Dqux
zgHdLY*~xjWy|%1)=Z-gJhW2`Z^v}p<7fb}IR&8yaT>rCbn*7eF)Hh>UX8!M`^+}OL
z`D+cqNaHRfl0x(X5sqt|mBMCg?FnyM7W;hC<#Y*rE8Dn+*Kb!821ZzUq2KkhQJUo2
zfp6^WH2#Prx61Wt+|o|&7SGm%3e7c+-==
z_47l68@aOa-&kF43rs(-`R?}HCc&fH@P{-I%
z5Tu_Q7ODXQp-4E@prFEH8UJzf_~SUi|Jx-d;^AES83)Ed=Y7Ps}7h$!7^U
zPJK@eLN^SQ8c1PPQj@)!qZ7O)cGsF*(lWy|G^Sg~qeM0{RoTT2{F}yZ&
zmS$#J)z%h$z}bC)Z&WjrcqeeA}H#-vOJPyC@ImH8(gzeD;_h+u?+FGE6NeXwCkF
zFRpU0#GEs${m=8VtY5<0S!jTpCdg9l-E9rwe*Vq(c47hF!&NPt9JTS@K=nGjzXvCeIxPxh6qE^bqhj5ZdYUHMT@&O+r8h;zWSoE
zOAu{Li%~^V*SD5lBFs;q(1+4LZ%;3&DPAjTz)o=v+^-L{%%?qaptlcEekbeM`|q2Q
zPFfpG{F1+oH`QrpT<$^G?Q`$orSyioSKuwPpUP8u(aOL;0z8njOI4c
zRimUQS#U-ee{T==HruV8UMX>Q#TBBWp}en@{5C3qF;&Tl0Q?Rdsyl
zqt^c!*?CzOWn{JDhv$bIA&TP7WquI`y0dv%*1)g-5OC|szWgL2g4i!=h4cxN7-md9
z(s>>I((WCjtG}UVYo8|Eo0D>GJJ+Xb{K$kF_1LxVPbgZb18%S!mg}cG(xF*gIa3|x
zgB-HPYAB9YtuBJ!roORWqv%tGbr^v~HAM?IgH4`zcAPML3hfqHUv^;K)+*Ft+1XifI6
zRuD7ELet@5)FAW4$lYW~-KW=p)j|Ao7emlC4pFB`(QR2l{ce#T_2NP*lnEd&uAB%Eschq*c$7HsAMxYW}Xn0CqD3&=Yn0x
zu#Q*VS99ZjvYOd+!@pGJn?Ph4R7cJ?RcO9>!6>%xK4qv{!Vz!{OszN!C&-q8+wdRqA0BcDQ=vO
zjd?re5+R(k$n_twm8WmP-`U>(ipUx%k4ZP!uHAht{xlpNq_*-!(>lKV-T^a$Nx5$Q
zflhQ9uZ5QY!(HXlu5hrSkjBKSX}P*UV+7rP4_>AGMe!z04=SQhM#^3n8gJTKKgJ8#^-`R
zHb{bTbOQI_Px5LPzp$1{pd&Sel=5KGXzJY9#(s8{&97H{{Tr(InNfMLbDh+}FGelR
zt#Ei*&p>F5=yFAq+Ca-;p%N9oTpHtY+SYdrSia2LzP|Xi-+g;*;hVjfiNwR76aib(
zCY=%=oMy3&nnsJxHqMR)LHQD?;#p$X1dZ|D?Z`?ofgS;CM%D9o*KXfK!+WP-pPUp5`X!+^WrROHH-~N
z>N*Xj&HR2Y9RWA_Gpv{qOE%hp4bYZgJ$<#SNhZMY47o(9dzU`O{YYA^aQ9^f
zt%m_SE<$Ci08n56P~1s5tlgEP$Gzgz>8hF~B3#{v!ib_-|JvND8iFzRL;+%Q`U0%i-8e$nfikd%=m0US5WXuJgy;q*#|SD+JuVRGPNTp2
z^0t(Wy)_EK>BbM`YIW2t*;wUhPuUfgl9c{y4@CeFj{!LKd8$vVg8Kn{R`#ik;W{vNV~+_Pv63#m|;CUF7$nwu7mH-vyfr^n}gZL7q?6)d{E
zJy_s4Wf}9%c+>~@E`MDaHNp#LILwhcp1+xOQ(C(j$Qy*V6do<;p4snlhHtQNSr7er{Qu-yG?Bi2HZCoh=Y_W@Vpb=JNjD73k#t(;x!Wh
zvd0JIfMhDakn>{sGmzOUTlt4zc
zb>BLZN(EpnSKFu6J1HL{ST3tId{6o+>+E73Z|?X>g(IZZHC^wD63*|d1iN6l<6)<)uZ|S4Z&b1d@|&)z3u*J@P`JU0z~rFjHqmz
zb}%@$z`+z_Jjo?GZ12gae#G%k209jB1ZUeqONAtgEeVD$TBwB5-%k}ExhhK<*N9~L
zN`k?L5?Ser+`e>?3L@935BkbSA#08}1!z3Dv47%ZaZ0CtJhRNFa0+2Za2E=}3;kkR
zyj;mQyrw=xb}(<;jtaZdn4-0~4Rcal?@qLfx?8YvHoukn%#2xFzlF6bvU8SiKw5t>
zZHuRT;MQn&Zz25@w!~qf=~K+Y@aF#HpKO0n#q1}F{d0cQWU*_tzdj9$O>G@ra|xO|
zB^t@pf>HM|IeZ#B*iX569QZZ5jr8WGhbdcCVtjZ&nDf+ul|~#6Q!hsbJX18FHPt6ovUOdwY>lG^vS9Hf&fs?^3a13+|N0?o4z1q%*ZxH6gT*
znJJolhuEEKS{ol>qXgs%Gp?PFqsEF4&^SR|wlxGGF`*A09|#E%dZhn(d4i;U{jDc2
zi@*PRx3)h2URps>!j@$X0x9YlsYe
zo`vew@wzJx?HDV`O4xLk4O!RAdzPgn5UF`{3eirUyru9xARPf0^WZfd!Eplj4=G<)
zsK!27uz_d=pDT^9yxErO5JMd(ODO#1PZcM0wAXMwFkkuiNHkwIph}nk#qxS?=av{S
z>V$W?D!)WZ#gq+kdl||Fcj|G1Dmlt4E3y*^h1wFas?Sl$+mL*GRLTwcE-i=4uru!`
zec%E?SIafKnjnC08cuB8BZ+rU>nuGFTOi{CT#)^@J{?ak^bbf=cIxv1ukUR3V$Jcy
z?j~EbXXYvVjeVi1&&Bn!BrvA^)Z^>lDg&2TxT9aV?@`z`-v3b+RF+^FRZE~lF@Te1rj9^wf@-7}
zzEsONn-KXa=CoVy0y6*{w%7VH)}R--Gg83oHtdh4Jz<4qX$&K_G@d$|In)4F59Xw4
z*f0(o^n^PVd8N!(X!e`%Agg)oMwZBXDX?G*v))lG5+J?#f?)ZZD^Lj*SU4`Hjlw({
z<

s6Gj527`+_p7vLnE_#VC10vZ*XejSf@|{wjChw^-$49&wXlH>d>T|Qw&`>Ed$XhH-WJ!XGzHv}_dzx^*5suRIoFR=ABF75cUv-s z4=o%^!CG)?KFb#=LtBR|Ee+{B%mKoZ{6Q`>9ryoywc>L>V$Ie@mU^^9!8Zik*e8jh z*0n^mHw2i5(z2%ISrZEeHS3M21b-k{386@ulE^Q`FAnA{dwFKu=*4V^^!qgftcIbiRVQmAs z&Ax}=v-?*wS!P3eJG=WX)NjG%aHTZ`Oy*}Ia!8T}EApkQ+mWfx-$Uu^;+b0~tX|o= zHGXAMFl{^K=EvpI314Vurux>+JX2wk-XPLK>FmOY>KYq8_$cJ{$sYcgWX7RF^QDHn zytzK)Z;hRHJhy3_H+4Eq|gumJXLY{R}Y$ZW`C=&_pb;F?sT`Z>@1K6HejX9 z0Kx#Vv9-wJhG)fpjHgNZsLH#9RAwwCxHtUK>$L!6Dx0dfpbdrz+25C`u(IZFldOJj zr~ME?cO*{#xYtHSe|CWaD$wMqCefs#ACqW>-{oH|ls~JCTzA>vZikpPC6G2YL&dy4 zoMg=tsuuCyR_nR_^0#_`;;ieN0vyXLm%6`^m_pc+r`06msZl&eL`_X%ay?n@=ZdGu z|LUpUxk!N6YPFFc5G(42Wzj&sE@&FaI`+Y5klsm7-lM8S;A=7nC?SET*#00u1mxV> z=^~9uA-EpeHF`2pkL?%o;8H<5Mb(B>k7uLL9c&vZ)+5&I88aOm1bN=YmC<;n!G_IF zq-k%M{1#SOse=!LSq}d8O7G`_;rDD>pvWVJx@?AZt?m+H@jSE12-6na@;!-gloT>M zTU^yP%jGpkI!dN)2a{(QYOjLYHYt__FE&v?g9YM^;FM3kGt4j%p9bj;hjPC5&3rtF1#kG z(7*dH?mZmHi=_s3q#b zPVQ~gh}N}($}@Hb&!yGQMVP=nRw>C1G;DgSqxr0Oqei&Q{BRxDV*J?JbnhAsDQ!!En{p)H&C~UHKLe_jX#( zDSgO^>O{7;gD3W&AAG}(vZ!8PR$e7Oet!#gt@$;%s>rA;c3dNxa#uxA>XN*|=YC}G z6~Cf(eqi-25bqi6x~e>-zDyUZvxJ?bHxsOQJm z=GL*sA|i_!f8rr?q|-9<86yM)1>=|JNYYta5|?vGrtM{z92($hTFLu2*iRHC>cUY` z{b6r;n4XQwXh>OsK5F>F6O!dBvaSdZlUZaxo}u9x?$u4V1y@5YOO;o3?4Ls$^qBJ~ z2UDDNIX@Wwbr_eG0QL1Y{_rcwo5hRS&q`z7)uL5HG>5Vo-N5v4}o zsus~>)8nDUljCC)8Fk0Fv4vRFiIi3p|r)mI`Kt2L~n01yJx)P2Y{X%TXeva@xJD7(C#II zHz%mgO7PjG4?MAD9OJv1r@tB z0SKKU_=U*BP!J~hw5CGU*Z_be(K1&;;797Ly)phai|$QAR!D~-H!xbJ>pMC|Yh5@L z!e@x=TK_hNDAt^-<)s@Gu~kl&1=pgO1_Sa5#SjpgIVDWK2O2w`R>&joU3~+oHL3JD zXtpFI)3!`1P9PY?U|76sBVcbFbIRrf`d47%)V7wx#pEy0&lem(hYvD3sT+ELbB$Eu zicRZ?>Tw_|*|5M5pbdS*yO)+Ede#S4%?+li8(py_Dg@LVNDWFZCux<}VZQOLwk_yx z=|WxsPRM|bYns^l47t+r6Xlj@r^;nXy()}5Lyb5QBYN3^`mMhhTK_!8K&Kia3Q zj(MT#jYyaLPJ_Yb1zY7*{^UBF+CE4p&enL15`&l*fdbn92|`x#am8bouiN#{AgYm; zY@*E0Ph_aUE5C*>+)DY1*oFvkx29~>zgK~N(`n!VcHOABmxv9n!<6)=+_B+n2{=xC z6lixdAZP7}+B|=d3eq-R8=CjDS(aSj|3Q-G!zxE$+t4$*8|(Fxm>C*!UPUp=>yI>T zxPu*168R0$5h5Yw)d0ozS$j$mgAWc2pLIQZk`ODt_Dl|?L1_~s^Y_&vY zU14Wu2>EK9*Zl-NPDAl6xHC=~H#39yKZ5pm9F=R{{GyeX^k=aWq8;boWapY(nAn?G!P&hl=Lf~GVpNM>v< zWRmlt|BvGBd{#latNpZx`5M0iMPKpXReQ<-MsnVLoMhw2?F_mJU4pCT>Q%>r{I=a2 zgZM~V!fLzf!&d8(aXr&H4C%|6Q}3IYXC7EnuVTvPmY^F0U5nxc?VIUX?dFdkmuv;P zj?tcTQJW^+C7B%pdpqR`F+4u9XzawC68)oKweV5RsZ#AU6ga=0qeO6!Q zNrVkf)eX({)BLp6=E&rIL_z+7LBfLmR(-Xa_4EJ0Wws%|aep>)s(>A?H@|d7U}J9$ zxZ7m^OWi*B+wnE=HtI8jmb>ssEi%99y9R;`qk=eaQzyX zA$$CcHFG~uD`kexlc_~iM@mvrwsX1F$r|SvWWwO(^Qbmsw0e_>Rx~T3ZkLVvp?d)& zeQ#ROhqSRu^FOIr%XI&bxmw%uVL81V*DfoC{tmEWcg*uatPTuzyeiH&g`&c=h;7Fe zhM=Y_m?t6gq2zDv6H}_~ZHJr5_Z%Mk+_m{q#P&FbvyuMW=X;w5`^tB6r|vFPpdms| z^PxIXlMmzg-+{F@4#MqPyk-y6Fz)wRBduB{LG)msrh1ePGJuR^%4#9oWUTcbh#`za z1GLNk)k?ZA!2;z}APN>WlIQ(I#Jhwa_AWpkyago-A1u((HGncm6TKDv@6S^lAcm8U zeZIp4sqmK;KXqVU%!13_NdaW!ZpT$`SqKwBz}%QFYVFlA(ACrj13||GetE)nV4UM6 z^^e9Y|Cke@gLXOq6Nctg)O@7CN`$^IetbL=4Hm%-IzZvu*7Ypm$H!wDgJCJ?bybDU z76<@~0#+OPw2+^>=RnL0Q6Gv73}m!D1&Fy2dJnXimouL6@Hc)B1+PVTavq{nY6EBL zN8PpItlt1@{Xa)C8hw zdJ(;8)(h@dMnVCWiJ#mig%gY}zBGr+s}vmQyw<)c*Q6?|)6SoVt)n=uI`UJC6p@6> z*Nql}E$8tLWAoDlejF=bEbe zN1hgQT=^1*3d;99sJ2ak+5P@4x215z<{;1B!$zm|0rl!;a$x*AHLhG+KAt;ae6c~Y z+hWT9hmCLU7o5fRiLw{n2XBI)nX2leQ!y}j=Wt5#b8WFwj`6#o>Cz3;$K*IKtwrv; z^dBj1c4>LCiyzvm{w zRE{CdP-ztVbWjwHVmQVf*!QlzJmIT%*urt{oAFqt3N6&0yprpshDtKgSM+093xvcG zvBlHJqIvc^=e~LgKARb&o#!hB7EKi!e0&y)b9bYpg7$N3?5?W*dvsqIkHpiA z%B?vm5>FDIvVKofn<{0XN?+X#6Na^KicMwh6A@~u%;ePmP+THCk8 z>M)6`v;+TPF+$@Y6IyGoNZ)tXPuT04`a*o|A)m(}VWsovIzD%Db<1wetCBFG2klaL z&vg<~QnK!A`9J}!P__E>h+=$e7^j#Nn^&SeHSK5l=%SmC3ep(?8J z4iZ6@SvbFah1-jF##b7(`Ai!j+E6?JU;Sghpm9d5(kn?UH(Qtc5oU5mOsTZ;SFnlf zR<43Wi)$l>w+-!8Z`P1zJ2UzlqN^Q*h5o}t-gwRYtrI1=PD|LnGpLYpB~yq#Pu@0! zngMu6T(i>8kw*&yF+!l={)YuohN&iE*e~#Ey&v0zf%NXfDwQHbK6w?UP_a~P^d0JK z8m{Hn-7FbWRC5HYN|ACGB+S_?ulgJ~QC@E_@5v1v`X(9yeQ~z3rAeTrt6R~RJT!np ztzp?%@ynDPh{(08DA>#4irC=eW0i={y^v8hNKeJl`p++;2P@1NKjTa>kAHb%Y7!&| zmnZt8$XYFe&m(C#Bq`ZNHRb?2k{23798Z0LC`uv%j3eSNf%vqG>qM)j7653O1O7gn z8o_4MoLSy)81DcSD+TA3eCk9A*>H$lAPTHaklHKM0&#A~KY_ugz)3CcNilSY1U8%1 zh@z$c3U>-lCF&M-jn99|+$uosoHhI$UhI1&0AT=perp4IAfGBcfM?>)_D{K9Q{{O2 zYnToGmTcd-fgKiv$Z(n&+0y|79hiQh1_A3|ER1y6)|`_#4zLtsCM65s`S|d_VOauzM$cSY_#J!MC$HmUgkvf7y*d;n9l!I6)g+I?@v^rVxpKr zqo5EH9OuOV1h@>|@)2@r!tekLP>1x~TWHW)7)EF{0K~5TrfiG$dj^ccSDlM8j#Ezn zBTR&38sur3iW+M_JkLiEWcg7}zR8_&O>b*w*|)(@3k8^?5c_oGI0sO2)O_cSx^IrI z1Rx3~&+ssFCA9M%E8P4edK)tK?;shylxyO{yf?iclYV+LRKE_OQa+eNs&Bq%zO&fX zsMXg-&&ovf%VZ~t5Xqice5kuIP0ssyV&(QOY{JmOnu&FPU|@DyyHXMnaP?`W zG3ToQRl>X`L1Q7m>}yM+%QK%Uz8Z)U|UFvdoK2XOI_!$Kln1bd#F z6cB)eA3!SWJU-)afQiWGE97@d1rr^4o4auLK276|K_jKFdUD;>$Vitfg@bkF4&I`( zB<$P|+i{fa!b$heNgtBts3)hXU+*zmOfLlbCjgzhcL1v~^r^?oU^&riN@`Q1KnYV@ zhC1Zw;o5^@w~+nja+Ak!@Kx`6$y4=fZtc#I&_d;R z%WGEXJqSm5tg1sCvm2GW{K*C{h>Od*>5&(ySStxyEFGS1U*s^qPK$}!A_?BQB*(<8 zM*2Wx>FV3b18v0KAH$+*SWzlJfg2#Quo~k@#v`Q@xMngNsi`DMlt%ca{G=2=&`?*T+ zHRVmf1$+7iQnK>#E0o#l`qLoUsj`dsY7oWV+Sl9m^*@M)%dH6NYs+625-UrVPCbop zA0D94A>jV6X3i_B>89Jmf4cOhA{_*TfP?@dy-5dwfIvb=G=P9akt(4#gNPt4DxH@u zC>^&DVd&+M;_9Z@Jms{&t zJ6^6*EKEBod+b@!tCMqEf>r6-*tTjzF79t}$WB0n z>>@)}&>9QY*?e3|w^VPDU`MDF%V%xf7a&*#BydEhqq5HGht$yA!#YQU-?V|!tn5IZ zFi*qh@&6zjKzHYNtF^^djdiRYNux9CDD^%lrfzRjz*bS(^?LeC)L}0)r!F|K3I0sm zLv#TwZyH_qRWhaxyuw%yu62UaXFj4lZhY%j#P0_^vSP|;uTq2_N4DyjV>kxs5Ve;2 zSjU>y)mLVhg){oJIA>Z*WhiDj&`X(*>}cxQdA9M)#Q{?3uvMqnq|NTuHt5wueYkNp z9R9IcGTFK)c^Caf*I-g2i+`Y!OCmPOb9NigP@ExE4D&2F2mt;#VMR1q>Ob5GrnoT5 zn5MX>FYJzkN8o%SmSp=5-OatSdVVF{G0$^|O5^FM8R4@XKc}R7ExPAwDs=UVHfz^M z2IPY#Bpl>de0Hin9m#&deSi>tu^83;zi}Z>U}C&kSTl9l)_C`a+V^11ho-Lis43K1 zak>BOs0Z*Y^2#^q6zAZ+ZMivoS)G||P!B#5(0Nzs5}ZyQIK+6|u2%DE%vH{XUy*V@ z6Lu@VFyP>>!nf3E@Jn7K{aiCL!*XAS zxW`j-Te|MA+CyyEDUqme4rtAz!5j_mIZYrQdlHU-+WDxNpm&`$=Mg_d9QrNBXQeK@ zWJwq(v^Ev+_Fqc=zO`uAp4KIG*^DbOIO&BMLkM&SIr@fn+RnxA%YN-6)3$_m=dL}p z0#lK-=@kdv@V;i0vYN+GHEl>>$XCVl0Act;Mh>c2Ez$fLLTp**#}Sg29&W0Gn+dF*q^1JQ2f0!K2V`kEG~R9ZKe^ww-SnsQYn0CXKq{uZnPFvBnC zb=;M4f8MYwzxczI!jYzx$|=#l{j{ z(vz6pO6~V#KPb^kW5otNy83|bH->8vpwt6*W&C0bZEUa)z@LBfB*&ZOXEwF|kNg;^U{e-ViiDZhvA5-w z6(K{V0e=UG6vWN48#02BrYOOw4^NT87Z$FC-dG~+a;Hd8b)~Iz{kH9jo9(f!-gx?? z?;}*iP2QrhT06mf$4+#t?99FmSBjt6W(}S2&FXb!Z1+n(;s2ZJT&A-o@8|n_g@-dCb z_e0NRUL8{vjKx>U&N^Yod6&UMEqlxbbH`CcXnFNv9gfN|{5l=THGGLY-jCIB?aT)P zFa=f%IGA~`#$k!joJau?(~zR_X4B8Jz6N#JFJ(+#=ME2Br~VnaEC@X26XH`+Qe%R6 zExjoXSkq{`ap2RfUT8tgt0(VLg5KU)36IHQ1A6&xmv4yJ7bNPN3*!3K*{jCDZ1zDP z_yAsIu8o;Uy}K+aAXn4NNig-NT0dqH3BHu$W~-Ei6Zt8H*<-ME{F{Ob`f<3%&0ER( z2Ok9Gm0-#z;i+O_85(thzf?3XIe(g}FzgV-a5q)^w&oI>+_unMna0^qa~?{lo^N@` z?vE~zAag-@q?E%plV zIi7;^>B=$K=Ecrm>>Qj#{?3?iVj+l>h|JhAe#SSeTXV4;zOK3i#j8m81*ECe*|<20 z{mSoI7*J)PFOw>>L@6&(zbZTR%2Fo`&P%%7{Qh@VFUas*1)7;1 zez}+ris{3Tf2=-AZP|R2);2kGGQyun$*)4t1TI+6lhy<{HZSdAe)KF#B1BjJ%&~xs6Z!7Bh>3^Rdy6)#=rnKjLa)-uuKhdwyntqWinm*G{wZS#WEU^c%;?YAXT$w)O_ps3!c9CN{e2C*xR#VvHb%4jBevI{rYyYZGk!Ws zvky@;d?TI8hFP|d6toJ@hUeiZ@(I$=R=&F;qaj0R#A8xqBW0*OoHcrlS$@JW1!XHI zXZwyvRpCeB%)K*HaCdUFnFN7RIsX#O@X7NsT1FmI?+B>?%1{wF|I$s<I7=JH}yV^Koez!tE+SfhK_R3TCs^D1s*`a4+NzA09_NDr5Jya9u2OG5pg44v<*_ zk4_{JZ!iFDxLK+MS^~BxAd+SAZ@Ca5BSdv1qx#0jRDMd83$OIwpdkav4$Bm)1l)DB zm8jS7-w>f35b69hZ0SFsAr4luma?IJOg*WWr@W*b&0mr5q>jd3nP{*!{?m;GhtRhW znssP-{zdRL4f}(^_Vii2buMhN?&YE;KXeozcj!8onqi1&VBOp|CRM{860u8iRx@ zqrj#d-^`%G=6Vy_dwFzDs4FvS5>I8^;S%VJ+R%3ebOt~>9RS2pVP~=+u2Eq>Ml8OJ zn)ui>yV&woBJUQLa02h0T=9!V_1*`gOXUcRY(Gr!6MC{RQ6+%GMc;;(bDP|Mpl=&p zC7Jb!Lu%ihOx9bCPsrA$22QSHKtegbvtprY?)+6+MOkf8~B&?;8cltHe{VM0!T@Gz~_OGvSL206Uk) zU&4CIj?#Kwv9&zF$fY1i=Af2dA8s8jA;=VjR_@WLDrz5{gH1$zEw}PLsWIf~gi|q$ zx(eh~$enbadkfEIr2u^B>&`0T9*ag<>^X=1psDpo#a7OSy*v%MEigvBBr9i_4yyJ2 zqasWzg_2n!&57`WV{j)qO3OM)PCn%2LP*Zj4Y@UDOA~^mtg4!>A&3GG3QRMlrW?pl zNeH=oxDtEtCO#lDSp3lY1RjF6%k=AL*2WxvcPhJRsw<69_x>ly|novnx5`ZlrSb;J%qI0RoIAJ`? zWGSxL3sf~!uo4kiY?SevSvMi6YuZVGUtbD(0Ikdp(adf7!3m3=_Wnhn0rKv09!XVQ z&sAeTP1RCW91zH94-R4rn?9K}J9IDD*Qx*N(P_7p(_X$ZM78Vsbi|T(1zi6b$D8e2 z=ec?!6aH=2>i4m-9_U_a?+Z`Yh_J`&$#A9V)cyau~6&^V_pab!*-n6FiK%>S> zq9wk>s$EATs7Eq>CNV6yz<)KQHJJH?vhg}_3<+b2Hya9lkji(mB6bADjZRC9ubNc_ zC{5UMHLH8FR0zR5KT6rEI5raQ+#PPYm{mRc$mWS0ac@&&xS5#+5YVb^x!^g!{9nth ze3JS{BgLXA+TrQ#VeL=F8 z71MT-CItpAsv^mCg#B*uSF|smD+~xbfsuF>miiU$hwG@Lp*RYrZSC3ya{!^gx$bm< zSY7&Sj*BH?(FVPH`tG-s>NcHRcM%t1_Jb7i-rMXu4!NJ_8Ip!2e1m3xNn5^kgV@md z(G}Di9ODk$9}KrvH$Pz{g(cpiYrrJ-_u<=@I|Zt8_Wc;>7w)xSF3a*Vfg8w35h0Vv=9qR=mA0>DUlWCAEk)xQ_d11Q9rjHEP;2fHe`#62Eqipp*eU z1L!j@(V6xwS+}`LKPBe&ILzlR8F`(#P+w8^gtG_`Cr9450MV~6lCYYQTXwhY)eTkk zLQQE?QKb3hJ$aB}!U$OQ#n0{Vb(YL)6{fc#w|hKQd3Zpfk4zC5EmS0_dg8oB5&XE z2>qW8 +