From d49fbdccded4d1f162799c3ea8ab923a7605bf3d Mon Sep 17 00:00:00 2001 From: Pieter Wuille Date: Wed, 2 Mar 2016 19:17:04 +0100 Subject: [PATCH 1/5] Add missing arrow to diagram --- bip-0009/states.png | Bin 29300 -> 30632 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/bip-0009/states.png b/bip-0009/states.png index e058c8da130b6d47bafb4aa834dab23a2743a627..09312a1c0381845d10afe2ffbbec912ee1b1b1e0 100644 GIT binary patch literal 30632 zcmXtg2RK~a_x0$}GkTYdgb=+3(PAVKq+o=oQ6t*u(G9_f7ST%(QLj!gQAZLbdJ3YC z7KvV>x9@m=-{14#F>~kMbN1P1@3YrhTjaz0cW9|Ns9-P{t>#^%E(}I&1cMPJUmyps zXq6{7f?uTWw>0%HfG__G)>!a2CHk(BI}Ap?a{f)k<9R~{yvXjMVd$afV(a1k)XfIw z?d>gU@9f}i^%QL*>f&aXv38RK2D=2)M5^h($XuE9PGv$3<7cKX(`k}ZhES?el52OB z=jN6Y!5QyK=akAXHlSU62+C5dge=bE>CBRB5J!!uby8;1+MbBgM9w5A*zymFh4pST-TBJB}6zO z?p7leNomg@xagy9ekrGg5FNajJd=crl#8HL2b(5|!iZt^^gZn|A>aK(Pk4Mf)F2+L?jh$XEiV3T4c~>CF~++hs#&Y-;KR}G6TkvrIc52K zuIL~|+ha;z*W`3wLHFv0EV{bBms@=e@q zG&GNflAeyN68$49ho$F#dnux-j+#uo&3$gfVK6cVenb+64A-lVOH!3Xy=59e)x7vBGsDx45KwNGKliD~^pT?y0oY=m|x#)!6c9V7ZArNL6}2`AVv zFz`j?<3B=&w?lUHN$wLhkl2xg2};{h58g$|6`;$`mz=R~wo&sZ*}h#>2e?ra9%2-& zRG==(ur((3lAQ7gxMThmt0ZR&=Cx_a*X;NQ zSn<^Ar)k0oSn5ccN?1o2x#3e&%;M_QGi;6nQ@slvthk|sfNA03}+P1DQQ@EK3911 zSIN!H6}??|1QAOxRIWR;sK0Y1hZ4=4)`Mn-+1cj&H`_Vj%a0=OGMnrQPW;qgqNc>% z=XWPc@nq)!ORqI-`Yd;AS1@zI{o4ESu@|PVOkGW13A`~$$^HKqfQMA=dol}&9wkbc zg*!aE8@_zcf+Nxf_rFbGR(+}Gi`$zAqg<#HC1W`nO580w!TTg$UvRzuGZ6Q(sB{Z5 zkEN2lh{Nm8WmNNfnz0|Sk^EoW^>mN_+-fk!gx84|16%uBswHn;Mcg6EKH^e9q4YTR z*WBqZ*P>>YNlek>J05s4lN92!eq^Ke#~LG4eUc|1SjtQ?qmC4;N4v_i(FdrY?m;Cg z*HKBU@2<6wvhi??ct@01=bBu^x9~7l`~rcj*>m4zypOcfWbDYs{{Le zuAh5|TX%>sV~n}?J1`L7$|1nm-wgSC&I3{?2uLAVed67J^44m}=PP!Jx;i?$11Wlo zYD24>(-M3>@iB`vyGrf*#Bu)K|NDGkuE-CI3f6N^RogAFKVFH}HIpwa69?~iOBhH0 z+>cED3SCqi9xgK;ZSZv1@Tq-1RAf|Rduzmbye_6ML$32?q1!_D&tg4+egBig9VS-R z&ZYu`vM2gwOW|$I%*<6bJuEQf%LY%aI`4@lAF1)WB*!21!DEPC{wdY+SnCB#+EtGEzceK_>5jT)3!Dpx(c)X8Wy|IBO(Ha^m(8(ZF zefo3@dR%cIJnY#7PJ&y}D=+Bm^!RYOLi3C^TEh0R1@Nbuo|vyfqN29I483Vm5h-TA zk-Mwo?qEc^`uh6AI#GXTB6w}VROOo&!5c%XBkab#+#;JNhWt@l)#+568l z?2<2+D_XPob<(eRPB!mN89!e!ya~)G%-pM!E*&}5>_^e*Wa_`!-kTvOHnZu(uM96H z<{}n07#h5)pAPE@*25Ire5>=o-levPf<#4@>yUhiNlXH|^#~j213yqi!!}x=Sl0L; z;!SelSRxh}$*pc#kRUgq21&jcIiL5Ryv|ZTAbYG)`y*Ol+U!cc(lXC~!c635d&F8z zI?A@Z=i~1n5ROw#X-Dg=DvNt6C;xuLyVXJS0%D*}g@j(cSosAH!1l&+DRuzq+|ICIo<}bq!c&;(T z`yg}`LcA7D`4HR9?kw0Y+IK`L*kg61+2+SJKDhkAQ6Ljqd{AoMPC+hgdH{ovytq%f z|G0WY;OPytrlFB}#Z5l_oyQhb=w}5>(g$rF)@jdJ=B6rdtxBp5SKIW2Oh<^lzqm9T zB^G;4aTd#$n-v6{=sSoQx;7ZkQr&OWHd=?ft3BHTDg(c&tPVO=PUAOfSxwMtUz*jW zUPKz!JDV2Q)?1#GcdMcZVpCR?*kfYtU7q!b7}xGQ%fY932fP&CvBIBk@Zt@c3*7o6 zbPdW<2__^CF@{$9HYGCuS zwk=X{dp!K<9zn~Q{1d;o-LEJ%M>2i1w?5Dn&v%|cbUjtJd!;mK{r9At#y;o{d>$F? zE_kc>o|ZdW==DMa@h?#XFHu79S4ctSbDvfQP0 zM9#!xB})QRwY0&7$h>z@IYWFuUQl)M^;+p)M711RZX+D~lhnD>GstxI?RGhKh4fSu z5y#K*!57m_ZejFifGGyc1hXR!2>yX4IlV)|S^}A$d0bt$i(RBNdCgMM+@mpXY9i|p zySJl+I+5u!`w^fqkDf3rAx`-E$R5k-*2^+b;LYKDU^cVc5D8teB=6?t6I3t4$jbl<)M<4A6L0H9q}=rHXpP;^W%Ga?)b!Tc zWTW0kw>5(%9LNyt3Le)$-qzYr2UB|+5)y*lDmQJ^ZT8*4Zjn*5h=cnji<$QyA8fPB zJl8L7f07+|XwM;iS9Vy_w9Bxv5pxE6i}`_}Q=O-0$uLiLkQ5i>tuc`hruJ)LHsoPR zblhwqKRui7QCug@KAhT0j=ymH^mF4*%Vx`Mb1u<<&#pBa3M93`5{RvIsC-v(bXhcd zr87?Y4r=l0uW&icV$&U)iQaw>(^tmdpJqTEQ{FvSu4ca>I-hz=oNgeD`C8ZEYW?(| z$;SHiDzDWs36DR6sUvq9cUNi#=tN24sn3H`{gm%@kjTL#L5Mm`t}yxd-CJ!al2Jg? zHTTS~r>uU8W5+w58afo&5E1{fJhp`O(_5pFj`J*w8x$VNk?eOPoAR%b*R-d+q`Lmh zMH>X*y;WEI;^hcpj1eK>tF6gz;eTT+I2-C)%n5{nJcthyKQ$i~g;v|qGh>}%v&e`d9Hkgw+DaV7F zEQQvKmOP;bmGbM${1e*E`cpq|*$JOsMx4RpjWy<9_tuVOL#O1&ug)yCw0)>qNl!%l z?aASkjzpEDdqKAz!;5FQONcTljG37oS@X?yy-7J|(}Nsh>yP|IB*=Mb3nfuP z4;$*_JEw#61>AjP$DE|j9U=`?R@9^*Vua+3JQ>?nqWU0*XHXqQ;t!fbvj_NxsFMdFt0Lr66jQA64#DN~gwMd#+T4!xyFL)Q6uV=;=Lt%*vpF0^JDghbzrh zChzJou>J6-bVXmIhx}hvP8g z>diZ8#0#rv7i|gxd2>+A_|iheYj?Vi81LtF$FOJ`-jOQ^9apWJD@6V@HpbC0# z?fs^}jJ&!R)bNZ^)4s4Iw8Ijc-aGxgDwB?tTw>EOB6uUqd^-4e@&k;F^1@s9$%|HQ zI;d9E&}C?hQciZ0hG0K&X~UYV!;O}>Wvi~4T?k>Saiy90X^aHXlHInm%M;36H`Q!yjejT&NGxAT{@AxUQCbEO{cQep5+z<9m?vGSKNR4oc zgpWW|$;F977uOmiM0G26;xgiMb6;-|V>~a?8p7V>L!`VISG?K>62|}&-o@*S{YQWu z9duQj?l+*GI$_kMrAl3@)vvbC!YfXvVhHENtB1uK@hx zcm{X6I2eF7)IfZuqc65yH!j}svdb-bImPYu!V`*K26&HGMke+l0=XKQ!jQNIFN2%7EIO{DPUR7V>#immWSMucdM~3m<`SGeQU$^MATx$%LkGCi?Qw z`&HKk)MWhq1yIV(f;|}-WSI);HTQ+2$JGPMM;jZT>8-3by+z(#A5UR5G7LCHu1nlS zChJyz*=Q=Eb=(MW(Zyl###rfIUjiNu4+C1GkFv0~p=<+|#e()08MEq|n zYmKyAe~8t6l)T1a!zlP?9PxPYl0-jIJ^dorx`XG0Gby)~Nj=FQCI_u+z{a++Ii5nJ!s`jgT7uGrbZFv-*GrGJE*&Hqo)$-+MW+s+jnh)Un>`$|x0%FhcYj*i zmhW?m>~g}ZKW+Cedj29!!hUo2-#^apZ;C7lIt2EK;RpF42$!S6am?~2Z(}XTGuB^I zLb(ATO(EO6Y@2-?<{AvpUREv+mdITI~|dt5X-!OCj_8 z=}+IA0?v+iyM4KESC3M?X}1w&o-OpPXe?;=+tQn764K(6hKkIRmu_RBx2UfEeKsxWEOb`qY|EjBJjA@xroCC|V=f0V9F<4%|w>EgotinPAUv zIc<@v)=t*E9qq`1*MStSeBN^)YPz?={QHc|qylPBYw|V%;FTsSx!Oc8SQCE)H7G~c zY4h*qw)4&@vyINPCcKeuq*8ZkvvKPrap^p)6h$PVdlI>ryt?Ev005(zj=f30Uk0z{ z#u=i_zv7i3q7kCKi%NcE=n7~mVeMoq5`+=GZa3i+>`g4EI9JaIZq%r?;G1X-^}Y8c z;#oLQN&LeH?9;PK$o2rJQhNQzmH_^pas)FDh2qtDf69Xo{c_6G!kp6F{Y1{jsOnOW zwK_|U35d!0)h3AVjAt`sGl8V{QA6wB9pgsBtStZk|~{oEhd zWjhK0OKH?3O(u2ej=V6Q4NCgJAm&P+wp@sg7U28`6=NS8uDd1GmTkznQpRN>U+t7e~OzCIwGTL9Wk#9FkpEZ>kV7*YKbg=3SWbMXIw z?=IvHKs(rlIaEN|!K~hYdl1BVe$az(Q(L~{tc3L3mY-$`>5jwHJ)m0tDgTUI}=-S@NSqajTYK}s3o$#KqM0q7cv@C4Trp zV%KI@5D|z708b=A=1Dj|{h?It5oHz3j&KvK6w%rfKUfu7UzVJ3a1yE%M-TSo@>`Zb zfeCG1I((8{&nW@S1i;J$?9X-)<@CMY+C!cppR9qZtTU!Em=P{F;g&4qV> z7;Xg>F`g;_5?yiiMUN5uR48P5^QSjz@E^G7i^_E+#{HkJN zX0~Y<%YW1@(j^IC)#}CInuHtXt|UoXHih~!V;PAO3vKr%ZnSN%hx>u!1DLoyfDv%g z9fHQLR;ZS|D>>$e~uBNXRc z-SrzpMWju$tBgt2q=BqM!Jjs6p#s1=1@7yT`jmSdqH;!-=d8!JU+cJ$1`>k3Mf<69 zhh)6k$3V*05rwm|dm>En0!>jZ21Be(B21#hu^r9wVnpG^OQou-h-zLmCaMsf;t8+jVOJa$MX_t}OXlyY=nW8-U8 z{Q%o#yRtW!ZGs#lN+Be-oDs1tC0xFjishO)QSQI$XOudl8U#PcfXG=6acn7Vhb+&M z?k_-3qQ~njZw%7!HKt{2bDLRsG7M6rFe_f~_UVKvVY)9@lx6GhxWeT*{**)YFBWAf zoMGg|i*wapD#QatOSdZgKFB#U6E-0Q#EKaTJucyaZ{AfV;?WxtdAhhm+K+d#R_at- zjC(!jJ=2k`O(p0M-ov#^;RPdUQh)s7ED+y(I^2FR1h%GN>+u_db`&}-z6~e0;fj-k zcyP{nWmE6j43|xr{J1WU+-SWO^q6fHc!i`Pqea1)NEqTsFo80BLR9e6$=i4HF3sPL#>jCzxOTr5)~gloZ%vSYU?sMD z(Y9NIXEWJ-hQopqTf(dnBKhHJe60zyEZ54;+I1!`zN?MQA}uFT{-Pt_3dbRlu?9o< z;EonmqKh=ux5i}I4As9nywK|!NZMQoi;*}eEGoi^7$5t_+|w`C4I8U1F0)YF2ISowYL&(Wt7R#O<@?NtIzM-Aq67!0_haAma5G3*2Zmw2}qWhEL+M3dK~c zo1^?j>0SV{No5mF%GFY?LQ@?yX3(S}peDEkbGR88H?@;OGCrF$XOLh(NP1m8oJhJ9 zc6ot!PO=KKSU*GlZ=F$hn2oi`d{Ie-i}k`JhueKVlZ*S7cSrZ|Cr_P}L^tXweFCIY zpydD40tljg5v`%uT2n%Rl+-gLISvp*Ln=GphV zFQXP%Gr#}i-jrX!vY4o-sOOaXfD-G?-F8;0Uz zyHin7eE>-O*hhD}fTiL>4?wioACuQq0Osk{xXz^?6+L(S168I`pH^vy0I9ttd!UVl zAguJocxvRl7yKhd{p??ia$#$^@;IM0URXrQbDwd28TYz6ZEEDCxq=&QWee*5VGM;R z^^i7_1KF5{{nu_Y%hSGk91soF=@0p#JY5re6y`$W4dbX84(;F0s0zUCLzdSviy((L zxTy!`aHA;B<5N*l^xraxVH`ZZ5N%rf7*;VC(rbm*$ zbI(QBk45yz==!`1H(TMZ-Fjwh@Cy|R7}UU!LZm4FStV4WgH$I~{GC2I6#?KTqVI>V zxB$HG_}`BQ+F3W#mdhJsL+O=M2UO0QN;6O_$C5_vs9;6cQRp3Rt!^Y(K!2ykur{(Q z4flYlCm8VYcbIcxvHEm=p;-%h8vOq3yZ$oe%TAhijR>@@_@f3DQHMv*Ct~f$%1f5L zv#ki#ycmlr$%iN;vRPdA)zUuw27MCR`^`BDeSnL8qWZjWPsHI6aItTSAARX;N( zf}7S5b?ewBo_?Wrnm#Bwz?-<1HOZS2kh!L3PVlT2tCU>vBoV!#D1&LO0z9a0jjc|3 z>**nO%eF5)$yeDDIdA+8z@Gw>+ffkS2WB;$vNR0o2$}hknKNn*eg^ z0Pt<9lAo-~*|8Mt{D*0S$J5i}18GM?vqiD|FD}}{{X)7Q zsJSsiWzw;oeq&LZDgL$@`E`OgVed7}LDAVK@}Z8@h`yD!#v_29@%a9Em%1oyTo(mQ;YRF$M#oZeu>-!B&0i32iVy7+r@@ zk2epO;XMil)-6`mA@M1Yv;NQsx~9_Wv(5rV{qG0raLVcZN@eF`t)g;G>1Pto(edU7 zQ<^^$N>x*4HHuA2A!C$h6O=`{LU}WMSvOq(VII}x^fV=tL^^64cjc>XH1TZ`@Ajqd zJ+i11byT*&(0f-YPJub{xHDk{FSg6a6*7$OArG%eNYdmb0uYX6G4`T4LDH?QT+JnU z{wuC3h)BzIvhSU5xRQCya!2oPhhJ=ZM9~~FuVyVr;$2s&I=A*(&y-#`PT*W!DZVX6 z385e~AW7Y4!dS_BPEXc@Y64FVB^^=y2VSfO4DoTu`Fn8rwq;`f3v%j9K~tJ~u029c zR}drEE_<_sX9OYmK?(NXu7ULfTb7|l)d%puVu;5+Qai*8tk|weGoPlUo`hT|3Qh7e z9NX2Zk(YtZyn+BY2dCz6?LE|4v9rxqXs{gRxHt-xQnD21%5y!y<>FCGO3~7Wb$Ji} zc}20_5fib5rOug+kvX~`N9|ICHCZhCmt}tz(PPrj9FIYKS3@?u>Z+NtEGk;kH!;}q zfwK!E7Uvpry-C(6iydyFaoFP?zsV*{h79LCS@SxH+^a69DF>V_OQ5KgHji=bb7nv? z!sFhlN01Ltt_rOTm9TOvc;sj%@WV>YTeIY*?k^UvJq-1;p6$1J(KTFI6 zC!WyP>m3;I-r@SpFi8V>D(q&cpZZ}GK#g;p1BzP-%I(>Az6u;rxXz`okvg~Ql(bUG zktq*0SNHp^vBs*za#9adjVyeKczi037DHD)=3&DsGs>M_Cr}d_D-}{6Ne(KhHp`Y? zU@4l4&4``8Sl^4kYtr$TJKKvN=wP6ww|O58P)sFg74_1CI%?NeMip~dplKSRI)1uf z>cjUYN-in=9m$F1tHU41(GJi1KGQx_X;=Jr-5KVm`eEc-kgG#x*kRafiQuVA$Lg*X z12wLgjn6oGx_5JQjf9S?Sr|VjQHt21?+%5{SmTmq>4}K=bytk_{`7C#iPrr0t`$## z++vgr2p%+U5^Kr$pB^l>UCINx1dsKpw}A8f_Wn*BVJC2|wptApFwW6ceHHTA{tZlL z#^t1J81{3b(9x9{)qHs>2~v1liTMnGJzS69OJA}1OfnqV-IFB~5}IwEcMCy;sa`Xh z>+4**$M>=o1PCGRgVk>XogUW5erIc~%je@H$s2NVaktEL=fS$JKy00}o`3U&%8MpWRAPu&^zN`*Qm386(@$|ai+DAKs z@h66cT_B%wKbrbr@1}k~=wxR^cVKU<#|8N?Y=PH$p^5!meM0uQ@IH4qJ@1;IBf#mK zwz{vkEdorw@NtD%+ae+ass_g(0KT`YoNmUI)_JZs@5PP{TWi04;>$CvM!}uv^>zV+ zU5P#04W0h4?CO{w1iW|O(ojk0z~Vsm!12MUVrmSV1Y%jufM5Hqf=nugWdBF@>4)ng zGnGM!ZlK&g=0~8aKfDHFuEfZ}@=xGtWE71QMMB%ZKVF5g3LD~AMr-7kir&9z==57} zUR2~?%1gNa>O$afxoHoebNTwq^a|-f2G}eM0#wWS4lxfr2z#J%k_dPr@;GKDChIFw z2C)D&J%>QDeFT54;oWT}S%4PmC5WODK3nsI?ZWIp1xo`S{L=_-7Mc&YquJs;UJq56 zt4wdPOW7hxjkHok^S#%n;EOzHJkg`j(zZ~FqhwYlrj74fVy*;CU`DIHVW8SD2g-D= z{#LQXLGE>Dz701Wqsbpy4HPN92yond>>;U3~`EIzT0g&csU72@C4pcY>W>M=)Xl+#xzeR?GlzBP%?k zFrhxqEc0Wxy0`qJkiL^Q=q79k3agl2&2;M)^ar8|*ts4DP&NBm-aA8&-FqcENwZym zVhBQ&kXMjB8-lFca{z6VtiaOuE`o;&A0s#QCqs=IRb%^gNeblNYp5V_yuAh-53Gu` z^TdnC96<|(We-LzVO1id+R6;^hjyH&L&?qqNZtErEie!{z$f8 zAu=L2M*P7H?a3pGdrqQ_LbZyNM+=T1t%V2OXFi3sEnJM&)K^m@($LU|(wE^A$EK0(=3o-%&yPaWhFkr@M_EhVM@yVe1xth(wD&E!5v3k zne*@74)Eye_l)sGEO_aSX_>K9|BD=ko?Tm~;YN#nuemPj>a*4t{fz_US9M#m+;2$0 z`RdtYjQTCQ)IL|F@;+mCCno6MTydU?iEaCAgk$1h}@_0__XT9YR_rvMJ zo4DH%z-O(H^A>O)U1UL2m+k~%RRpmWgKZK-kZ4?qZ`V5}h8Vm3Qr_7y#gCRg^mNTA zKl&K^M&j|eiG*7j(V87+!974u;)#&_apWCTjO7wU4E5jwI_6)QKfa7l#LLya4AsoQ za#2i>dt7#dS)g)~_HHoZ)RD@hS!8C9hgP3@%D@y3CkiA*Kkqo&8fP0r4eChpi**vd z;paoQeP?DB0@Rz>OzLBbJ+ni-B+G0_)kjPORQ}b+D(0(b>!oD}lqtsxOQ5Zk zbnzcN!P5|Ej_nNh<%wR9?du|ADHT~1O2kd#5;@X?W^HP8Js+?vN%Mz5&ZPG#T6W}3 z$WmNaNp6NycNj!<#UZxBu@ig;Vv;5d=ZCjT zxM&g#I51Gcix-mGIs8y-cI>w%s*H-Og_FMuqE5Kw{_KsAirG_T#u$H^r=75l8$xVh zus8V;0m%7>@Z$7*{tPOM(P|r@rc3dZ!Z*jBSQhE3C3~`_=K*o01u9WJd&i!qn9s{_wYyvv(+pFF93-ahF)tuq9D?VL-yFbD>Oclmg% zfse@VuVtRrsYY5~K&waVvCNX6p1|}wSC{{>PT)!n>xju*`_syyD&i_Pb>tzjm`x6} zr(df_z9hka72zf<&b%?r$1fH5sjqx8`%jHSj3)BQ^_HlvR#$c7Po_oCd#$$)0F}R; zi6=as2=rkbS`532;Kn#?oRPjRvb1=BGL65@?bFtCAyEBrv~;)5F;o!XL1ZJeseL?e zobau|xx!PQ=d&Tz2No5TTS@pE7J6@X%Jhdib?vcOE+T)mdGR!t;80YpKGX}=N*q2) zoAP#Sa&f~BFAp``#Q5GPGlT7FRtYWyihT~Iv91x0vH`1YLK=N($2Gmm@yiMCb|A}= ztdBPGl+1*CVS|C7kLv5NMzq#7MP>-{t`VcS8O@%NOzTKG<5loah%>Y929xDL>oav2 zAHH_4#G^1x_2@4rr@+I)$DV4B>3d#5Yq3D5-1|{vhK;3u!Sat{Whj*4@y{F#Y@)Fq z=QqKQWBATf$7M5?W!r4^j9@7gDAAYYO^`e=Tav}RUzv1>?>E{Vw(q4&(N5Pm-%5z+ zAYQkwY%vd>L+xzS4BL0ZQKpd@T$^f%dK|<6FQ0MjyU!dSu8J(^b~k?^_jE%6NM<81 z#s}h0lq1NCmz-S7m1ycaP~JHj;prZ4A?3I48oCqZWF6pZj7E~NwJ|w5M%#7$3gmxQ zl;{N9C&Q>+P1UsKvh0O!y2xQ9zD)J(wyKJuP9#G2%AzxRJ*x+1!tj>?BAwXI7FA36 ztN<$UFPBezgNJNb(sw{blp5yS^RnK*JxbF=5`{XE<(J`KM&?mE*Djyyd7iR3Z=2_6 zb2xq>TCv4t!W|JU}J9m9h1LBev)XM3w`#rlb=E5Tjnx zoy!{v&Xfoh64Xw)q31cxoUr$MU5>?pdgHEP+H6R+iEyVeWxcq47$IQH_fp%B!Y9Et z)jG&@>|Jv>dj#hTWyX4+1Gu#u-j__S{|B)!V-iG1tN>H#yivvsBuW0)5O$GwYmrO4 zbX~YnjrzGC9I0&HEdbSbnmp#us1^lQf`X3H4R_lBB`w*?x ztJd5o+b~`vba>jEfTb{J8Ah!(qbK% z5_^pvIj=jxVfjrP2*=%qc=W1lUN|Pr*5T7ul#*dRZ*Zq)`a>>;Arb(Oqs4!|!upeS zhUHs%sNbqU_3JgRoEo_~iNHo6PzDd7A?#PqR_N~xGA%pke8rU+W-~E(Hbcru7~id1 z#G}GJmT8GLg2pn;sifMJ+sr@MPA7T1P54GFQ1P z6a0WHl1AuKr2d(TUtbo|=X;PMw)9d|D6h_o@b?ZE@9!Wxn*R`bpge?e?8)6Tgz5$-+#Xn7tE3ru=>- z;r}A}sTpM0N37m_uTuj4Uxb{8BkH@Z5qmuz>N9FuZv*D0;74nQElHAIjPD6vRDb1Y zD$Iy7vMHJUU{Cbz?4pvFhh9WDXVy>zwg%xSh2vSfOLb42fTaS5Qj^qh5@$gaw1JSJuOb? z=chcP%cG@&(AdY)ajR|vmKsz-@B_WC1{!>bpigDLc$}37HBkv^p3k&DCUtpe)Hpnk zJQJ8>Piw%Wl>L1(Z{yz7*@CZ9^|Npxn8DLBi|ZC5WpJu{Du_2rwquPUAJZlZh0W*v z>V#rH2Xrg9IVIHaNA1b*R{)XwK0~}2E-B^nYFe?{@2O<6UEXrdks)TA!=U79R00}< zx?O_;z9xl7UDimzIFEAm*lQ~T2KhfdzLRQ)%E?;m*{R8knXt6-VSTjwV!zGom&Cd& zJ)A~e24!t!#z|3*DB*W$rQcM|QIlr3og@l+0Sl8m+F9smFI(4mgAh!DTg>v4G%YJ8 zfU?C*G_+LMy5#iES8aTzO-U|1{+_Bu)$C<_U!6|uC<@T%=gNIcr!V%=n~yLxsBa%g zpA&l*FX5}5qa|$4WwSB=6Y^il$+at)eMVyP4jSlG`jJZ2fBv3Lb+qQ7XlmIjn>UcN z(DH4z1bVPEaAY1wWyHW`P-||k%#K1u!g$Gom!KP9AZtH}>g?(WtpvZhwS=(@<%@bS zsAvgF!1wP**2UZEHpX%4O&Qg7vn9}-HwHXA+dNuTx77}d&v!)q5n8_f-8oO9VB-Ap zQF#7Dh_K#F;)r7sR-3|1e<*&mDCn^OqAys5#8_X(QcV^vPjlm<;X4QbF<(_fZwv)i zKs6e9oLARd$Aft>6^?DguYjy)PTS_P_v1qc@l&cW|;Q$@oTfcUbAJV``1f{Fuqw7Yt+JMLmsX`$BZzC2Pfu-VDW z>wnt8=|b9Cp0XWvp)^jymODDCm*p@^{XzoP@DK`;)o0jH@Z zpP$>uJYp^TmK$TBe3YKu=Zm{JJ6^EfawKZo3}35I}jRD#sh29gmAGIb*zeSW9e;f}X@emEK2cA9KR0=SavY@~oB+Tv7rO$3poF@FQ@ zql)|u>p>euuH_ALth-QC1bH5T5B5 ziv7nFUx(O=#%eRg_cU91YRun<)DG^`yV$U-F@JOYC=35hb^CSp-zKIYl~v@tCZR;X{J|iafDj|$7-UUpK9rd3 zMtK%Orxa`?(v0x|bEa0^^x*guD71p#0|1Yni3tr}qLb@0wOEsCi9y*lAtB4n+4d$N zne{(dNNL*!s_2g2eOE_MLGMWntGPcsxI5|kHt^LHs8uIJ76zzh39pr37CsBzNuwX# z1%URJ83d{YpqCOz2C*mheXPPO02^(B7XVaQUTAr|ze&R>8x8s}&;ZdSA2^$fQ@Q6< z9WY|*?K(FYa4k+`s6-EV_S$_nRUq ziZu?gAzqu_tU>59-=H5+lHuIHjxNP=6_^3Rp(vj0-5E&%On^vABM(?@TygOtL4Dm! zY^GW)1z@6(0{*%RDUN90_}9QUl9U~v$s?mWAC)@-3>cqQxr;3dX)YJYPsbWz4>Oy6&BjoUx)hmM>^ChwH#4IoM< zRM}AT6W^RA<#?Qm~a<-G~_{MewQ)%u42+J*o; zH3hV_!?+#WPXIP&!>wCe(3KzYzjekB;SC9v7W93gK~d1RM(WQ!u5Gs^28Ht+L-uMW z8Fjr19(#RAK2|&?*|#%15rb(FZDzHS9FzW}lV8ln8(8qJALQfdvg`Uuv#3fGXVz|6 z$eEz`F?&*?ur<>3+wwtb#6jzi=O&~EO>vy!G;GUB-bBN59lAPKPS!p>$N!z0-p;5F zY#!yS`Jb;k@|S>p*R~EuY<7CO*D7VzK?8zv_P3*#UevoQqY3A|IN5PLO6lB+xjS9A zK|zSxI8vvRe+gItySx}huN49aF)=Sn4dX$R6o|X%>3}`Z4`kXPy@o&3ru-_NMb4$R z6*`jirV7t?{cDlkYvG|-q0z|wb+8)C7e*dJ3fy$ZV-vZIbvmg`v z-}-mkR5{A!eigxQazqGv6A_ZF&G)5j6t9}*C1G0(-HM)1@g-X~EZ7n{c1)==!>Dik z*pU@|Uq4xLq*&W-f1L}Ql1Wh_Eb+V;mZuSP*Ft|={{*dZyp;fFi`k|92zw_bQuCduF-Fsa57kmTCMy5_EyX;>J4`3>f?_Z1;!h!aT zN_C1k$q9@?9Z3=r2soWL%b6|ACsIrEikI9Gk_=)HJMb4D#-)q3o{yIyMY^I3&3FKx!ck9D>u=i-Xlz@MNqes`bv3=TI~_B-kAO z`Q1;t^`nsLS8{qLJuR68m?DR-?!1%+3pwan>=l9kr4X0{Q zQLd9-qg#Ta!3}ILKCP3YCNCq*XUT&i6#9-1!}dG{%g1+Lm~>p6(EhZ+?jGeDy39E1 z*%w39fxQcqrcZctva!8n;U!D2Uu)gx59Gf-8dDlER~?v;(A2;3>AcBPcvrCGq8f|p z&eG7|@A=fG4LJ5c=ZOKp(Nwne%10|Ti6NyRF-Ul?O%S#Pvi;ux3Wu1Kgg+Rx0)Uia zSpM-h$Fwj1gRI_1cevYu1B94*pRXS1$hsy&F2oI#?u&1*0pT_CAAVY7-&EGJ4Y6rFf}Y8&wXeV7o%`ms~Wl-*9TbB4CBk68lu~Nw6kjOK{_Y zC}AmzQ5b%t)UEm}wv zZoIgpev6nFwHjy4^6ugb2DUKcEDPN(dA(pgS1Z}g*6XM)QL!cNon1D{wb~)Gfm>iP3NAMHZI+Z{7x&4!3JUg?} zA=4|L7S}O2IH7n*_KSWb$xsv!86lv_=Dc^~TT6f+2+A6+t`eYq)DG;^wrx7amCC&3 zsVXZ9z%$V)tE_(b0Wfw{vHN*rkCs?7Db8_JZrWcR(D+uvegjH-;{N++S?7r^(1*%? z18spWEB63QXgoN;3FS6{JpvjwzbsP8Nx6ZHa846fv>d)N4;1u?t1zw?6>I*di`L5J z66)Teb^ppKAk*vjGC7-j_ok)6OQss$;oPKG>i(NxD;$34 z@=JcH_Ij>U@y1fmH59G&ZL7ELkE5*uEV+6XS6^zApVv*1yMoKGZr9gj&aaOE%a|(u zG-Q1f^uW4<1~UQEbzKHd;vJNQNYXa^&b&J>Gx+S81o11#~mh@rr|HSoL#_^)iZkdV;q$HlCu^D@HV=OqVV!2FPJ!JsvD19(f-fbwXj zwQaP-LKJ{op9SLkdZ|*jTXM7;W?x;uadx~N@L07%H=ioS#Env~K>Hm~5NM8YkDYjf zVq#)?2-e8Kaadn{5wM=8mpRfggMN7Dz7rwefWWm$qrT-~1|9fS2 z(^#P3JvOiI$@zZ-sEGo#;+MG*8$(!T>YUg4#};0lV{m7L)?BX?6S*(oCBX+EdPx9f z=q0yE7u;Rs(!zgoKW(3<0P1}?jVqlD&TyN2jn+yQehQ{$Gf4w(!yh7Y`#FOI1CG9k z+aT~g_GUTc@T1rtz~MB!$~XTm2Occ2o@Z?;YU+>RXf1f{+TB9-|JT}=M?)R{ZO@Q3 z*|YD3EZHXeRwzp%QmAanh=`DVETzywc0(vxvLsPiModbiL1f7?mSks87#Yj^nSSqi z&v~EsJm)-ryqzOW^PTV9-+TXDpX<8rq9;`HMteQeXFjeJ?=n|T2?;i2&0nE<_t_P%{)Zg=k7uF8sO!mzanVWmF+^*OTvtOHE#9(wh|23E}2yOy2r)LI2;v{Xxt*ZT_( zhYaG~rqFy@=|}$&A$S;>Dqzs^Cn5wf?LHhynCcK$juKgk#PKT4Zklq+*RUwyc^3Vo zvhvN(M>6DYXxcC~OyAmbgX9|>nx+QvbKuzcsq;HcUL#{rpZ|PE?7OS%msUiLQ+YTv z88$^%W{wmuBDP+5eqQzlk$=HQK)1OSv-|YhC*)54^58I~+>(^&IC)h_2^sfpc8=$1 zS!se9IfB~kMKIcui%JubuTE-)A5c1FG+$s{69*dG)~LJ3$$Z5T``_61)tswKr1}YX z1Bhj_b8u6t{dF#0U7`oo-Tp5*#BRqj!tzOAOqKasS*btQOKLg4s9tLRP+)F!k@kDE z?v*DS!b&2+w3~D_o3pG>Wxmm92+dAm9=W4@b3m{0zVB~Wx-aP7?|*=j!!sc=nHMuY zxwRb5JGryBLDIG;o!{NtTrjjh?q!lBar?+oW@er>ccd!wl|4`HmaNUUkK@LiuUN8k zTYca>BhK^bwjH~T5xZ;Zr+xdM(tF5SB{BXuemw3?*K(r2`x9&q)*Gc={gv`JnBYnV zL0FwT+C4~*qB)bR&8yK$4ZTEXV4y_26v`Y^hep>jhE;zBZO*? z?z5ASuns%YmMrT}?qWJEKSJ--ZdH9fS}@9jv|EYu>9E2{NJ#VCB@BG~x{1cMVf8L34vwV!jJb`&5@|n4528e~2NR>dM}23Cww1aRZ5b_te@@cV z-h0o@!SO|(&OVu!)QGS{jBpbNDvy3+xyHO`RNLdLyz&gUSK};v5H8|^i-Jgv+;$gd zBjP|AAl>nWlLP*rmd+lEA`t?Ql5~+kh+u1&BPE_1X5ivU*!e^pGdZ_s=gd3q6hkr0 zbxio)U}2}To*7g17H>>ytTnTIdY`c9=zIs~biOU(S2FehVyl)?cuar*iQp5$;p{;{1OHJi9BB<&TJa>@jxjz5t6zqG0T3?ULxkLIKwO@$j2k*#q zr)XP?8#5j}x-Fk{QFhC4tqC6&^AiA!=q^Gz=I54cckCQ@Gv<&Ff<(``S1VX~Xu?o+ zm2Ef#Pzsufccy~TInng!4S@;6HwL1O2i?$?$gw)gT^U>;UE|l8x<4(1PFj*Ld0GbN zh!jz&*2ht_r@XF9kJCLB_obh>U>kptDN4io-DnsEkC`2n8fU6VB9jXJqC?Z+-3u?{05be2e8&$a7|g&z?~v(|fD`Q&qG+$+pG z|HTuVci5CPUXKv-EU!&^1^Jk^`CX=26PLHXB#FLI^HBEDb7RgR{X=KQ&!0Ocb~!%# z6S3*=KHUM^r!T7+zZMc`s@{t@(biT5?=6G2%!AlxN!D2i1sjxo64z|P~eDzT{?a*zFcU^=|%NJo)SO+)s%Z^1gR9H8m z0#&_qwDuDrSGjr>-G8W~?jm;31eJ|OCuR>?_Vf;R5-QZIWzZWoz37~noukk7-ks4T z9YzUqVj`7%rOv8PXdWti{xa0j) zRQxe+n2?ov^T%7fE2)w7XIBW~tn^3!&xF8Z)h=i?B4O7HEo{BPrd<7YSj$+ z{zU9hR{+6l-~}lFh3g|+OuuCwFyf2S*3z2UL8~2g8AGBs!cbv@1QM#6_FMu{H+0WZ zt=cw!;EnseKP(R&YnrkK?e?GBZ@nPofo8)F?niI@3HVTt&2d8~8oe6xMyF?$Kvz|& zj_>Yz+PiG`i{q)}V~~ z!eTHgjMEM|V#e58~$W!!FI@iMA0UV&r7zq%xl! zqY&e^?kerEtre_sX7PrC`1iG1EHU}4dziD@%J7T515Ab$T~ce$_~l ztWGIUXudr2f+8Z0x^*pmK(fF1J(GP=EK_uUP>lF!z%(+E_G3qRguQq1eHE4(c9lW~ zbg4V~5#z^4{+#!lir4%dGb)?*Wg>;>8)%;(8V>HymvE=GMJgiCFdBNJ(XA(2g_s&n z@QGl)5EM)`HhA%OVkTCKqY`CykfYqeX-d87q8hxJSWY7+j`ctI*(WnJ%UOdb>>U%) zR!)ji+bpaPJF788uAG-ySR}V6e|4`KA%E&Kz526&AI0l;EEdGL?#23^exr#uZ*K1P z!47gTVNj?rky_EsbfrRP;le#r?cB#M4rewUwuP1Cr$Q1KK66%eRx_PgZ{nmi+wVV? zdzhsp!ko{d@yNOo^@(k4aRqG z=yh-G%6LDbAGPoZb4{Pw=1?jXdew2Q`BDFZ(J+}-w4irRi1L@?cGq&WQ^B?un?=ac zB6kg^;upJ9_FHd!Y-YZt{?0>YfA4KlDUCd1FgR*8h>xinv>F^`ay!5%+HYC(M)Nj1 zyO*eUB+KQD!Y;CrcV61retlVO`Jo#YjQ93f>}>k^HrY4Bnr{Xnm!-TCCHD2de;hCC)z3GN_mW(=_c;AYkS>pN+sq> zZ>JTL+j`U#UX&|hxsf&^@2tD@xLiJ;-c$ou)Ij@|@R47JSox%(5;+&r`HLdE2D&tt z`P}3?#Y1kGyPY{!-G}FmdFr9%>rm9rb8l{%)`#PEVp()LNe@pft_`cWp^+8ku3HI}!rpa#MiA4(n;$L~H z5u5kexdF-`{o#6t4EH81myAuok z9g7!HxFn^Vr`HWG?L2RM?|4eIsFsoyv(!ZUl2Cr)4Tf_i4U&dDB2vDUvRBuOuRSQT(QSp_>Vn=AYc%dV|CQ zFBNLVG@1U*ZQDx1y|Vm~;P7|zRcfdc?W6o<^25emQI}ff?u>2rvx^pdviJSTx6m63 zF3CX(eMq$otC?VfK&3q`N=bKVP6!T62}E$vCJ_|Z}N^tQHK(zRZT|GK~ZeD6^# z&KR+Zm=H9WR`1rge&?!>yY&4{UGn2wbbJPz7(RwttS)k7iL@-$yC=5#ev)*Z;N@>1 zdPRTI{%}~15;u|FF1bk5JIa`A{|F`;i^(p!p;e;as>>8f`?;_Lm#lPk=PvfZJ`u62 zZ+SUy1YL*~b>w11{%W0?HJneYaN<&#KER0W)@5358R!ub#Ay`YT2s9hg0+t+yK=5i zT&F9)Q0#O;;6;<^5OqW?rKw|aImRW0L06sp_{k(`aN4qPV?x_`@7n0Mx|ll2$T+EG zJ&VodU_;ie^XFg7e>mRNsPn| zNxvAUA0-k~XE0bn5IDnVSJ7cDz5b+_qYA@TPidAvuP=60OsgnWQT(!1-Sv{SkcavWY>AU2^N~xXCEC>U}!?QHQJ*)Lyi&_{nnx+$du14!ah{ zsS??}@;hGU{2p>!A5}K1k1TOyU{$X6TDbH6^d`gjZ0hgcrOX8GkjI7Q=_X5Smib@$ zV(K_N>L{mUdH!a&e zoTOQBqweTPq#jxHg6lH&taOS$)1HZ?$)9jN zg{5v(e7ApR8*%SC+J}~by+ZB5U+IbU+Ae}4eL9YU8XS^+fQxiR+tQLx*~TSEUp_x{ z_c2zdx%tY=6ej(FmYDd-JB-*gzsNY_!3l=wg$}QvW|~Sv#-`Z0d$=n%#N`K-TM0Ml zHV$15sge4sJh-(QjU}>&J7o5quKXRgc`R!f*_XjG*3}lIrYl>IjfleFme%H)6a&!{<_SFvFuQ3Fl@fe9h7&)NUkTF=fmdG9q#V$&v0MXEyfjrmA4Iy5Hj^dHSm_T5jcyi89&8ESc`&^G@^i%(b%B z^kGdH)yBT|6dN6iHttx=`Vli1GZRiTp&7}dW0)zIsx`noekOTle}{O-Wu>6K=h&m- z^2@$*;!4}<`sP>m6vZiFbS{#sw_+wr4-ql9Y-SA2y7q4OG;w8csN}h`R~bBDvQ2M% ze0JuLm|oo|QU6%=N2cX$Z6^MlbBxQ0mOW2U-LNN$ocC|+But;&`Ah4vI~p4^R+2f! zPE$4!6ZQLM^FoM~f%aIoy<#)vuWihLJO7uUJDUs>?y0kW<6#^m)rsGDnA4FdwV!Z6v_nZ1x8F`k> zs%(sA>z90_bE0X84Se(eL9Y(oJ%)_Wr2h=UH8YZG<;% z&*MyxGHsk+nqEc4qt*He8-$s7f|oW*(4f{hFD{PzF+{C84{nI6-1as6eiE(LN!Vzg z(j=6>#_rtr^&ilV8X#gE6}rSFBo01@1tZj)ew20|Im31Pr7@xW+<5`j>ZOiFSp#2y zSCAS?4fl5rawN%G!=C>@zE^)`OnyDS4o`y$dz1g+LTX)o7W-u){V~fQJ8y7JPJMb0 z;!OIEv~iZ`b#YeN$IsKuu>ZTQ>pS{oaVBTyEQ}?>nB(3)R7ekz!KN`5Dnbq_qBIH1uf+R9k*&jruD*_PTj$MDD18B7 z44$dz8y6IGUm{K$6$Bqik+kmko!Vi|1Fzct-&Y9DPPEJeNeSy1XbPFABiU(Xg*;NS zcuo!(J!(Ulq;`Zd{HS5>&=7y1s;~Z@lOyS}mDK5i<9^4~7d+?yg=sN`4IWMD6}8j$ zK)aAAg1HxYUOBsv`aB%x;8MISw!`l!?#8~O64njWZ>cnM^w6+E!uvO=?=u<=mIpMl_VlQ!0%J4r$6gUM1mPm2A(Qowc%?H#s zk4R>}P4hkZ?8dW064rO9^%P@WWp6116;TpGEwr_j+I0orbey7WKqU0sE8JI2KV;e) zj(;{FKW|$?lphU{zCUs`D6;xn4m*eG`B&eBAA4Uk9G^D`GVpA$L;wb49YFoe5)hz9 z!vA#KCEe>)Qf%5*0l}C1Gn}|Ya?)*inOZ=yyI(mq83Y-6W*(Hgz+JyzLc$*Qd;iTi zfKg&10-fvs!kPZdAmTZcCP2mOC&4H)(PwY1SicbR?QSA9kbI?jMndxV6X@PBaRksyT-Rp1 zS10eW@HayyPh<=nR$uXJ`W?HRC_k?2&GZ-=sCQ* zQPb2yPD@R#1Pr-)GC{ivNExpIlc&0lrVXN{K;<;EOIc3zVFQ9iPT&wz6zDNl!0PWa zIVbpMybxxs+q4x(N-tMW8b$t2$@86k7JH#yQ9|Nm7jgaDb1^n&cRWy$7S69i`az35 z()@|WYl5qk#go~Wmuf7u6jr-|x|FBpeR0Tj;FZ%dSgF0wNKL(}(+DZM)h+*Ng6R;s z|B_D&83SpLQTWVeBM2t8Zqw}_Az~ow%0FxwPRP~O9vy}I=f17Lh5&sd9BM5s^kuO* zHo12c3<`fz?tv5E8z0E{tN~+6N_Y(DIh(swO-}>IL{AK9m-VqzScZYdpv~96x^Cd{8DeV zyJaYu)KP&WG2?*@(Z1LU{1#1MbYazfL=fP+^%DfP&!LqyLvrV8wW;Q(QM9bikYWna zX2XNDGP%l8LSk5e&c5o5{rgZ=TgMQ$@UT40h6|NO1Fm^gDh(KfCb9}^eIm079E$@! zMr%!Lg7DXe{HUM9RAX0ap`r37;G0}q?jNM)wyB1u*Y&}Y4k${PO#Mhb1Qgx{lJ)_l z5zR?u*VY6#(DfFI=!R{WUuuHlQBy3y{`dpwpqn4)c+VDFY^FKk0*}t*1c~fXm4O@8 zr8ny5iV6lSjjmqG7d!n<2D+)3oNdKJAAK;5r5blO5`keuf;`ja2IOO#fp0Q73_a4p znh2%54-S!1Ig^mKnvR#wZTk@m{;%D*ARibH`;LPe3ajZa1)5935E;5XmBTgfg7#R* z=06~)Rsff-k%-xVCd7^Hkb+isfKgx`T2a^g!s?LN$S2L!Cs2i)XTmeQ+rh_FbgvPf zZw*vYHaTD%`u&Z^Iq)IAj^L5EL&QXhD<2os307L4Kfi4|+wiCJ0h{!@>jMe4PM9>^ zjUUemlSSrOs!AZ;roX_HOQG&pvR_`rz!-pveciH_6=wOW;**@^S#et-dGirTU~FHM7jQIOQM?9LeknF(!+kk z-ZfKGmti?DgWh{)u+qhFoATo@Ie?Sgl3<#1iThIivnncYqxR-xY40hw!yDRp{#DRX z&%l5|)Pf*K8T1)%N#ZqFb-c*<$K!*`>ZnUj#?e!mV#m=1sEtXz(G! zSk|KhH-m_`cts<(Z}v<=KPy}L>-sSdp}*CgC>tJra>VcJ(M*1DVs-ve=@O!w5ohw+ z>apZ->L;=5pcD?@UTrO$C*){n>}}8JuP*(lbdF^ePUbm+*_?=#>x%`SzMH*P#w|6m zY@(e$5r48(60eUoXhNdUGL$MsH<-!Q3GuUj+y^rPv#^tuZs^)L0oApyxi9JUU6YeW z@93DTu4emz`^l%+ukXADn-AJvPC6C?v%3IHlbmCtpfdw=N>r3m*DMe|5|_h3pT)0y zWgk#h&S8p=yzy)31yI*%Qh63PIFh6Jd#4?VmJo1 zr^*B@^gjYM8|vCOvHGCpPH@Y{Snj6j$unJCwU!G$$wz?Cg|XB zlH3A^Ns+Y#|zv(B~PdO0*gwj@2HH-1oTul7#XHhFkw2+_m*4^ z9CTYfX*$!9Z9Cuo@wdF~H|Up;Z_>2TUGLp&{|&~?f>7mCFoG1%NB;diCGXVOU=t$m zYxef$ql?zG6U5vm6pMV&hjiJh|kp6);QX0DLMiO$i30gUMD{Z}cPX%!2=c zx?^OlaG=Tj7!U~9_Zm;!p{FYR;a7`vPt$t;CF(1XL8mQHeZOUQF)-DpB$PmI{gHs` z6=;`YV4(;Fk4FoIExt~>IJW;O^ib0!b!gFDF!o)Vq-=ne$Qsk|cRD)+()E*W&}%Df zL}7Qu>`yizpLl15eut_o^%-k4&(nMVjhG~W20iv`O>{;bCDVXxY;-tn`hRc8@9jVN z?k42Ge`YjoyJ6QqCkP8ReRvZWmwM(zdYc+7|BZ43SxztyJFBjpGAh`BoqN?Im>P)R zM$9>qM$VC({wMo;TVAsdN9`)3puXOGBR&?8B4YSY8r_e-QFe%q3-{9E8AV(*7hXu5 zguSOs!Q11B20{6ZX$YSp8Bu1PyrS?+Wcz2@ViL&-u%+S)8l!2rG#kM!h`OHXGGHAv zumIa#!)rfr|C7zre;a}PfBEp>J*>S0YIu;aR&(6waO+y^`GRy5WJETkQNzj|q>oYO z@ua?yqZ~;WUpZ1A=&vi1UhjupO$^Ts=>g#ZiI>F-}*|A3GM0I;UVU-e|=v`#YuYA*Fx!8H7k1^9*ljM36zck6%^Qi)6&~$cwELeg_2d2Vt9WHR_c$9mkS7Wk$rO&foD?j9T0lHuYY;gI zX-FZy1B?5gFgM)UwTL%4;6`$s)r&KsL0xC`GO1oL2okl84$MVftfTBbcxMc!K6n!` zr)~NLgAe@pNYq!Z{utFnD@@!u1o@Or`dY?W5@~h}o_RBd(0|jO6~kr6 zASB%JK#Mt(r9l|O=6h_#thsJJYmlEBR-!Wpuj3t$$HoK}(|nEEdz4UO*;e}K5nVX` z0e%j>5rfSUq05GFBOSucArG;$G;3TjbyQ=wKNu6u|b|DDKC zM_DHB*grj)6)1`b6yImZORHE%DSn+pYV4z;>`n$^K@2N`DD9_yiqUZvJp!xt|8u^DY zGJA`o!YsUTu~=ThI-Hsw)f1(G35(3X!N#zaHOPvW#w!_|rH{hlum_ME`$o+)NNVGv zF;fDZ4kt6K*Y#s0#Ujiz*#b?n{JSIwM1ciT_PGrQGrojHgEnVf+L0NO)77vl>W1dD zMjQYZM<>oc%s**nOq&D1$TP|ziDXNNMomVsgA@2K_^v1p=1SOyK84_`)bMn3@&Q}U zba!@+l65GW$!HzrJO2A!Qf!>btsYL+|Ih*cOPB^zl_$Et?i+@kgQJ867VS5L#pBH{ z9bm%r6oQw8PQ-32!E=q$OSqUhs0gU8r;fWmYQf22hKnPq$8#+C^c@Y`QQ-A0@ z2a#u5Y}^$^Ij?u;<&oMfI&-lR8e^Cnj83F;OQN*neD7Rg{BYrny3n;#wRL`-cV5Pf zdkXj}`DWlEv&%M48WsG6X!W($p$W=&0)e?dMaY+Y7oXCN-tWilRmfCarxN;do${gP?8Wg=*d~6SIl7mohT=B)nhmYad{K*25El;qz^ehC!?_-EC$i4g@^rVCnHQYzYWf)~p zknoS9tJL*nT1mjZcR@=RmG~>o(aOJ|GrX6SZIYXvCKp6S2V_K;s|tDuUi#xl$Bmxm z+wQH?Pp!H!6>^3mtDR{H-B(fLH=R`~ zFY({1cB}V%DCAz9+5#mpfRY#x%4JrBuo?VzjF(y71du<+953JR%fIqUB}>0f$l=97 zDE(!(>SMgrRsme0gdG*esv+}{G#s@sqU$>DjD8;-7JcLV?B@y6Zs@@TMFF&$hz5@N zOgYVv9N-L8RLHarJBYl>TB&f8e7%a!4nfl6`XO4&am2r)oW--{u}eYe;6L!@ekv3_ zP7swkwnQSIf0|Q|55u#_@;X03qu>5~pY3*V^Y^!T62$7}AMaW#Sn(_@9m7r2z;u}&KtjUup@5eDjsw~ z>8%@OX*k7#?f*QgCjdOjY1k!Zp*-|JSj>9W&k>ByH;!8NOyDK?lRZ12RvK&tMq!eh z#-V_^q$;40T25H>at_aOCZK7{{hIv zPPh97WL4P`-|LVMKlCU2j9|P(Xe#n-RyXrGJ32yTKa%?J#6H+eaFo!%GbCYe?F+Q5 zUYIIns}<6w&lJb*Q-=tf41lTz469< zfu@71{lv%%9T*RqC+3Vr3D4Hf-+xPzHAJAoXf(Js>3cu}}SyY+ip>3x8XP z^V&`ysg?F9BY#B+{__j7)1KYU1x#0Z$dv1@?TCi-8VNLA3NSJ=<72{3LwwyCo*v)*{m}Ykun!?ZbzK5KKl34 zhR#&JH^)@WUF5B&JxPi;2!f58FjSQ3@G-Zt5sX8HWdQhUtZe@=Gcsw>fm2;B!x0Ps z?!}p$Vy-%z5^&;zLbcsZYVZu){lC{PdcNLT_s3*N!EU(cQ_z>g#BY}zshiBCA(Ip7 zSCbV|);->m4FF-h2lz79X4v-`Kz!Z>VyDfNt8=11djwK@0*8z=6v5&F%aoJNbw%n5 zp+tRMbXRdb0-!({Y0Nb-fI7v!WEp=ZhfQ!xh)p)NS zb!vP9kc2dyDVy#ZJH)YVp(D+A_rsY1+*FaoM>hSdz;}n3_a10#va36_9(=dZel+*J z7zHQ$_>l`8aDh4y=zz6L8dY`Ss0Z|32)qmdmXnkfkT1xtU_&Y8Ua!R zPQ9sxP=pF_QTec;yAYVJeB!FV^C-?F1SanQ6}PH)b%Yr}j6Op^k!_;}+<6jw{hM_V z-+lV_%#eC)47ggG4b=q9S*I&Fv_tu*r&(m0S#Tt~JaRWg|8r0{^=B0Goz;B_RPgQqMUlx!)k}%8<=ga-jiA zF@vO}WZ?!85QT?AnktRNa(mPkdD*hqB4-m0D+mVkBN#v_#I^2xIuKQwY3+8Xk3EcR z0!h+$a9Sx?^6CVWG5}iu7ySdsT@O&m3$!L%6B8NiKzTV{JDDKYmw>(b?F2)b?D9yR zfBzpy8K^*mCQM&N0*n^VR;CJ(vP0nDT`=x`_^N3)tK?j+#9Bz7hSgJbU2+lmUD;?>Cjs zNj*lb82LFD|Z)?Oh4m8JQY$Z23~@TV6V7M=2@uO!hGmC1(W4BI10SHh(?{2XMr+ zwE-jos{oYDpM?1L&saBieDrs~VSgH?JQfPL1qM$5ODcK`3aZ~I0GfHB2uL^scC{2h zpzcw7*6b#Exnoh#IV06Un7KR8AXDp>r%v2Z$V|@Mz$;N`UqB(TEf09Bp#UNPDbcfu z2;}VL(xZK&bioR)5+)L)JfeFh~cu+hL>i+^b(*Aqu zEAj;(ygijyWKqvyP!)=3FTFW8N`dlcLpA~{k7PBM8J4wm5R6~Wg`W!EUt zbgL+(*0~+>7>u(Gqyf(ysGX3`-T5c`1}3=E1zp|!Yr3!UG<3cb zkS~~|z<>w`^flck642qxAya7$(9CsnUi9(Ny`SQ_>_NE2KAn*h&|_+!cq<6HsMY*y zu<>fxus14r*X{f4>Tj!izjdPr`v#Ndk45f=1B}cy76H!oW=Cr({ie+71DEdOs>A>K zp$VBEZng>=0}jfELbFgsl?{%2yE`6GJ>kkd0H6LO3Hh~&hhRiN8AgL!tlB>o{^yMK zU(g>x-#^js3h5e3!O62+b0QBVB&LeZ|IN{KZ^PS^lpnkW(XTJygsPAeF7N@nV<7PaHi0?J9(R_{E!GVw74h5+(f?~%WfS|BRMY6mG$~S zn&wGV*yIf4SXKPUs(AgLMOfruH$)HdO?rUgJxb=_jlNMXSPcarPDz#g-t(&+4XNO( z06A3ok;&0+9)W3&bJnopQNxpv0znm>b^`0mja;~IFFWjib)?*mbTt|UtAe=WT93Ck zTzUWQh42hNGl9a z&leyANWkbZem8k947$w?H{e*0VL|wjly3OYh{Lrx}9I~2FZhT%qy?Pqxvg4R42D@`n zqH+-JBwc}>h^%~l=<;nA+$9=R$D%c=>>K4PK_Gij6>p61iVo#3y+IRk;K?FsLC%jA zT5>)gDE!AzIIylboi>Png#SuvR5lc(7cy;2$f5Ug`s}fHfW?o@)Fg{a|Z?PFv!*d;+yD;b6E=c#4TD7=5h8zF+c5kNk8 zo|FmIiKKoARXrIk$H+B=auCn-lv|Nq;aho#E50N_-H?3-Ff+szjYCM&O4E2pqmQ3! u-l5Y+@)#$c#M=bzS-OPELT)~6PgM8WB7@K0GinI zhu?eO`{(6(=3#es=FB-~PJF+g_@JY$N_X^O3w`Zvv+g+G7Mh+?OGxufK!tXJZ6LTFin|LMdxGv z$rR3yo$e^{t4};O*(0J2O#Z+?l=1~|tz!`XKgMs^uWAY%uE3l}zIIt+N zHSmpM$Eeq%^<1xgDW3x|ud=djg8{UAb`UE}@JHznPsv|tH^aL(ip0Mq8zW-u%NxGJYimmCDI=;M_O^ZNKYeB+fpem+=?&oA*%t z)Z@<7$MY;lk$4%nOfp`d*}ZVUgQ?GhiHpPx=6V024}xu!`QHbRaiEy{GalJu|NqO9 zO{K--1CG~^e!h^$eEi|f>GoK)^>c|CJ1U8#pyT=~E#;lb3fNqu0LDIhGa-R70}i7LxSVNzb})y^}b`Kw;D-aoZqV+G1BUQ+QZ z6Vhljnfza03@_6rSC`a*4_vvg6~;f?52Z~Ozj(wb9}+a~baj4^_jh*MF2L1c% zxrX69S#F{{b+Yx7Ypr>*!gNlgkI9ybQ?q~DPgfU@gn>HQUcL+~&sP5W@H-jU>pWY( z?c(?QNB+0}Hnx71(P870+I@dV5=F}c(n#a~y`JSJ*gv}ze9mm!7hf27zJL91G_)5@ z9QZVTr8#h;@>I=!~zMW1oROvBY>N;r!6N&3A3yYjpS;4;T=R$On-s2Ehg4V>-CJ&svkV_tnbaP*NRc0Rp?SqO&_EOyHS+pTX{V3i( zxGsx`-J~aJ0`Fo59l}@7KM=hd3%hGV%+yBS-h}0%UO;`{BdNmoh7f1$;6UARafO8v z7ja=a{~mPO`Yv8}#EN>de%b4pTG03RWI{w}iv~v;p{{FDU?hf=)^y!o^8GB*;`_DO z;^iQ*=)ZzI9?h0Yrr}d>$G#s{>clThn0zL5;~1aBU+uRg#0qsb8|e6(@V}}rN!cY~ zl+X-}Z*-aan|F8pzT<3`m|$=&l8{Q&kj)FV0MEtg&6?Rr?eNbFSBX7H~-&0WMJ`KwWU+OzOz%9q>jB_%@YbP)xM&ozl zWnx`nbg4;?pe=?^KT1Y@P30_}tocs*^halKVCO&1_H?~H>8p#CgcE^w_VOZdD&~d*0 zolG8Rk?i?=^7?QV-5#f=gP#S-}5ydsekmJSQrT$ed$~19G62DY!)o@d3FA!RnDMa89*ZPU{?LxM1o@ zE;4FN`aLLV!x?g*V#}$%o%JI$cr_%(ZH_I|?fvHU$C91d=0HdDaEIfkknaSBW%~$= zJWlqo8x9x7DPP`0R-M^)GfecZ=`zGh1ES?6QmpSkKfXGl4js;Xd2-x1=bGh>mY8!+ z7E_Z+W8|T~yWWt80Sm;3MsvS~h6ufP(*=DjfpNdejJ$rmG%DO%XOwh*9C*;-_n}eq z?Z9xk66u${#yP>yJI9)`%ZZ!KkZ~;aSDy@1d^~8DMe-THQi||8#s+hrb2V?;?Bbo^ zrD6MF=Y(kxTD~FUXujyh4#mFZgZc3-?q5i{3m*y}lKyz~P^h#Rp@k8h^63*wA2p2n zhpK~XOVss!4)En{F8l+-VZw1{$XQ~^>B4DeY!G;{VXZW{$TK!Z=uh*IdYFc>j=fq# zO20z9uK1_1r^MF+Z|UDH6gNSPiSu!0B8`}nn0#K6#rg`sF5<{s)&7@ABb~MnS~N>C z1@S!jzdm`GZLs9wVt1pbA%=Q zY~g}rQT@r&#yrE7!`jE`&6x3n2uh{o^QZNwKV~i@w30j|gBYpqxIOa^nc>zF;Ba{n z4cpd;PI$A3p0o#Edz3q{l$ZH$t!%K2HpoUqGcb|w?UyG^fN^p7y*u|0n!t#lkhJddS` z(+I8$M(@T`6H!5Zn-DH0BQ^SXHrI5oRopRiNoCUCUX*%;m!ht4Vi&%n5cU?o4fyWI z?Q7^r_Q3MjxBrg%9wDTCc$2wa2#(1+Pgkdao&!U=2lz>&!L94&EH$(4_3`kN4Y-D& zb$=o&%o6N4QG$H7biaS4o2v&(7HQ`U-WPOxb?|SytV*57flTHQLo3VB!dOKUf}_p3 z%dtblybz`(n(a!woV{txzU303cL+yl4SzuWa|rqNkJn21n}!^eHtxpUjo2CEHp8y- z16%^jMsBVlu>gKE&|3G-f9qLDsrc<*Wqrd>me7yxGIoRY&KhLj zoRpj>CD2(0iJZ@Sku8PZ1;1Lc4Ebko5%OXaBj;rM z7oXQBuSkTz<6VU}3VO2NXb&w=6bhVaxCDkJu45i`$N=g-#SSPml|HZ*Q-@_E4_gdJ zP_#~J08i?^N0xN-;8EcKY%?!z;WfuJ50hI2b;7uJS40}hii!M6~S3&Zi(%QYN4 zoNsibWuLS0sV&Lke^ox`{JNd`+NF$uZ`j#`blpSUGYd6;m?C0i`pkuXps(g48Rti2JQny~@JQBak$G{ED*?yr+ zbOt9MQewc38J`V?8e&L9=Cv`WTr56YBmbB@MSFwLYIFi;Vnu)%|gX*7&(j?*8N5lR&{&ZcEJ` zQxv{vS-J)NSR%PBmx313!6WdJEc_ozw0E8itvz;5FD#+F^lJIiEL7X^>REKl70pHY zkJ=1G+Xho#DSgHa!}957v*tK$N?g>S7(tLmMC!VXRRgk#Abe^?0N)i09H=sG7|CpC zN@?+cJmRx_45M^Jet-9|+%wD=2VB~o?Mkl z8^`^+g`R~p9xKljhQ5e?yN$b>v6kW$9WfC8f!4;Gsc%38eoNe4yK3nIeL}6rk^rO- z#l5yrC-kllxNYKFv!iN;Yi#ukxVY_lfR$ku(?u2!ws!N2uQ@vg=%+fhw)NUwL26EY04 zH&o@t1%lW3m2PY3F?zSNpQwSJRp-i(7aHY=!K6LyA@O`%6XK`7{c@pP2Ywy=+khd- zX}_Pte2rHNP8$6Mqg`Mt(2D0U2Wb!Igj^;d7kJsy@3?@x3i8Y@D$@#@-fi+}glo6@ zOEk?F;zK$`jDM66A;@JcQuCOYCZZ0Mnw~W0;n_ox;yv6mEiiLO2hrll;o1T#dTe_U zWXb<2%XTB$#mvSGqFl3oDn|9`zq|~R+)w0Fg*avHR_rO)`N=D6{`{ME=TkylUkA0; z=X#^YlmooIHp{~$Wy`}p<&{@z zZ&JuZrz;DFC_E!RYW3Og4+!M6*E#;;Rf&73`&uO1vD?V9a8SV5N2IPLa`pYW`fP?y zmq3~s_-8FY3E}<+b_|Z;{AQKKEa;hOe780uIEx)d|AX3JWn2Nw_;SWmvLV7EQggX< z+I;*7htFk)sUkp3Sbf~XPz6ilh3nQT4aAF3%7dwxZIz?N{!`Kf!UlI+2j1t19I8So zv4MEyy!<+oPB?pdf=HUD(XLhHr#Z9XND&m_+5=P7nRk!aQy#o|zuao7H9hm@0qZ0W zP3V)lPdxTsg#!azaBVyZo_eO2ai6(e-rUCPWPalrFa}?B{!mhGrUDqM`Ymb0H_f@SjBCdCeIgFhfo`t=78?C|$+Z&{3N z2PmUwORoM^;)&{VDUro3sk@5w=@y3zsSGhwA~I0A+O~GI4nG3O2dT-yS+>yc=v{6_ zi<0kzGd+BI8TAxj;Q?gAs^bQbCiQI=ljhpBpVWH}*e}*!lN9^vC+YFvJ-~lcXbRLV z1m_ZCV18~6lZ&%$L;$GdKy%>$gbre=%S4=7LE{JlRp=b^J|69jd=*@31F^u5m#DMk zqfm4$8L!4xqXKZ#g4Zshwd1Da65_N%W zd>ExjADH508F#26Var@Es_@54TbvJh{j@Ux4! zM=x|TLlRGr$dv+WJcvl$Xt-*!x62E-m3Nbvls0H3jgyN`$*{y&_#bPe7%q)H?pO5_ zN^8}{Ytcz&!t7TgLEtbJni{B710Ccu)nJp(EpUc#LS=i_i59Fy3mf_J#qV z-7Av65`j6^gkXk5M{Pq=%-gYkinDh6&Eun!PYRKt8q#7PXttBZ*5_#bjmEWU5_?Lc zluQnfQ^gu6SPi!!F#;-v(qz7Z#)_y`wb=ry>}!F``3##&Bdu;4Z$<^bYWF4UxK+sG%{6*qvy5F8PPA6Th$F%(IrJrki_E zmZ&Le5X6joMVfou4e31NjY1%hQ)&daoZ2u?jbs3w!cM7HJZ0PMe;Q#Gm6`h8z7p=8 z#}RrbDKcet@IcT+yM%EH|Fu1|7%|iAOj9Ijp*23KJf60!et&N=(2w>|AP-Ok&t;Mi zrF@A~FUrQ2NpjWGDppC3cXE|t1u0lY6o{eF7X6J@S3Yl0MDouR7iqnO>wHxQXTbK$FX^HjlWRi^EPtbhT4Ii1%F!e$ToYt#j$)QBY4Dj7~q|a=<~_`GVD8+MDhgwwD76PUXQdw zn>W7}b{MuAi>`&PH1=o0(+_`kIQD28p0GQE;*RJK&u5E-mFuxcu?(q#+FtZZbBN;z zf}DxtX&zsbXE6KS{KCQAYG`hZimWBVS3VBLs>h7S6il1|*3$mI;cgG1L$_~F;`}Sw zR|iX6#Xv#6WSGD{`9&5^imyVhhr1f#Mi{<&)TaraBM;t^^g3VgbC|BSmU=Z(N@C{G zL(>kVpDno(FTZZbE350DeA;`!4>`}OMYbvgMg+K6NNo+^I^){yHpTNl;;DE9m&RD) znn;3SiGk~)*36nl(6kP``tX)*@|48UR;=3AE^9ku!8ERpfwE;rqp?!%535rE!K;PFzJ}P1}e+l2hnO2i~TY2@Z}uY#A*zbp#J1f#o}SR_$k^bq9lO?mxAj*aKNv z849lLQV0OB|1x|rtx|5k{iumYx^Ubi=olaAFSl(nL7FIiHFwzu3RdDv4jz1avMq%& zuqs4mQEx=1h^dX+K>DyW2r0JShC{{@>Bq7)I8Hf`r}!6Aj(H5j;K$NN-kqV|At}g~ zF%rR4G2`)Gc4F<=Y>U+| z?ZLu zXLKOk^+of3zS_P3sDYC^3xjH9pC|nTCUdb~V!iAqNw*cTcU5f0O^+}}u+Q)%MC$g2 z%exRaLud<#scnc~nWU#>a_F`Qt5aixlVt5VIjr#iic@l^}wkc8Fz zpWV06%Fam16d{6Aw5_uW0h>(LpSx%`r9O*D$xITQ^Kp+zbZ!oTQ0w26a8rW);ydNL zMWyKOP{s>zwGgZ8#&ro9q=RtoVHImeZWh)Qw$ObTZkSfb37@4PBF-h+CAyYhz6;|T zc81J1%PWhf^q7I$YTCsKmu5SoC);^y;Xe3ym|Yqxm!3)WBG&Iw*`578^70%2y!+=FaI5_?c zMXku%YYG|`sWTSeQzh&?`AJ}sB!pLq8}hiB{O9kh*YR7Cqf1Z89YYEOI#vt_IU2Zv z{y8Nfukh7dC*?4q&GwU}pU_-EEeXXdDmXoBFTq)42eSNJS_pZ0+b+Jq9;Q2wZoOQDh)Px$)|f>yR!&!}ayV zT^y2(P-r--pz#wb3+fx}-6=fFESivi(Sxr_N6`_Pz|KvuKp?cz7Zw6dQy(Z%{bx@g zAy_P*OMxXxMVHr1SIpGJ^Ub=S|5BRlY=|# z+`@rv2nwmxJFGyM)84czSf^{fu<`?6iNSYRts;?=V-Eh0e^6{fp*7ize(FH7rj(Fc zPyFnt9fej=wyjL@#$Yw%7bxUW?|5|8Ua5AR%T%mR5lr|d>hNyeiSkbZ+F2K~$18gf zDp&ZCh4~3v#>)e}>B3VnVbLOm)F`AO&W<*jqM5#|BGFqO!sk

F>Y>-m{P~(*#e` z+5HoHB$c$r?|HCC5X8F`q9_)`9I@ny%PK5O)5UI}bxSWfgYHe?%0|d4_;sLpkpE7rBj-z6`!3vC@1=c{*VD#v1vxswM7ylr7!?Y*1iP`@e;B9)g(ts&*7J;M4ZfOv zoiAtER?srgFnjZ%XzjQX?fa|nE0Bw_`wMf7c>sEjz&edX^mL&aDX52PxvSQ-+1LqQ z=H!Xh<%zaSI29~7Bv4WJNuVG&xZ7_a2Nb#AlVKdi{HHC0B0mWS7mk74y(eROztc6+ z8&iaoYnSa~Pw|Z=jBoWT;YN+Id{yBZ5I5aGwx5+IH?Kthahu6f*>J;rsuZIamq#d~ z@DxjJHoDrYz&!JtCJ4zQ`S{b#^KV03HL~gR#7rDp#t`K>7|7)j?$`9#`>=Zl?aa7L z7HJ+1>;NpT%un`Nz)x$k*?(%btq@?2IoSJ~kBHRuKz+*)d!*hV90f~4ez^B*sq`+A zUB)gAfxb94XTgUIJbnslrsPfff3X#vXJ_Ej$~W&RQ%Wd2yn->A9^wx4`qG^ySn|i% zUS>1lt^qlTBra&C4HnG2OadVW0ckjPL?Hmc#`bV_K&C-8#^W-O=V)i_XOL#aaR;2j z-&lG$x?Ge!s0Y}$0$WcZc}ja-l)leod0|P&pl-zlJQ=lqzk1{GGI$Y{MckVGxL_2b z!vVTMRj~VlZPXqE?fe!otX2J*h6#N24K2te^W8!r;MwN{%s}#S4Rpop!S|x82-Rw_ zQyd^Yj7KIARL+14M0N-SxAwxTKw7LEm^n(*y7Viqis-rd*Jz~LtHwWo&yUk880zyo4( zvEY{j!_LvjP>eRJjd9^R;sXCqvfT0d0l1PJg3A{gitB6L^N(%_q_Y0B#5OMkjm7@W z<~|t7jZ7hkC3w2cYj(gtxO1qfTqX2&is1ZJ8lNk9=}+)U{s}ldQS=YFdf&C3GEyhK zY&Ub}E=&OAqEW5W>)Y(}*)Hu6GqPgjNJe4HK{nZ4Uinw)@U9fZje~?F4G$XFo0%0 zFK0-@0s8QG+7{HMY7W4m=nRq1o7dB}32Q0(+K@NFT_HEo9g8Ef=Voutb_r1chWhoF zk)^rVes19Yr{JqIp0(z)Sto=j$V12wf=9}v27u%k8N$|BeoN-rWG$`>tzyp8i7Fo% z#tJp)&Zce2NM%oSwkLR~?z zQ%)0~lkyl%n!0r~yuN-;CTp;NkIhf(zmR?TwKzTW@@$VWx#8p588|=-z9I764+8*= zB(*aEnkxQ{5Fdi+f3*Oo>W1kv0M@FJEq}TB8F4GS!$@h|%WON)kIB}1sA@$L_IF%EDAmzvvYg%_ zH-HoPZ;j6Qqeudj!{)O+@f+a(SK^=UV?^k^q*wnLflCZ;-EeK&YphS@49oGIEmebE z{)rXxzcU$n`Ee7DbV<91B7wA% z6JSYv2Ne$er{)0`aA>;5Hg@E`gJWp;jN5z#KC33I3x)DjwLAIVO9fUG4(+XCshuu^!4i^ItXmSp^ z?rw2YivA`}z*l{&7yhTeW<=kdyq>Josv6!jNHfc|CJW=Hso0`JlsU#9D`16%sql0_yA2@|L-8 zAV#2R9?tsw9d!=Z+-V~q=O_?ibZZy67ez>IlO z)A9QDi4z#cK0lt}AN4Z2QNLm;X7B*!?=hgrz^oUq>uJf*A7{&VQ9KSs@A3of#%1*! z-ebsNu~aju?Lix2KEccZLjEdH4ye>(#;E8$@&?p_)vlqFA?Fzd2!OcG)n-%2iKtLl ziS3OsD+YLdJvTua$P@huL#=)6&V-PC92pFBqW3!_QOj4*9^aPz@*Sq^pH>-CG;p*0 ziRRd?C;%-}$NTT-$>zI#!WqDYp7FVRDITYxLIF?<<(2 zD-BE-2&70%OQg;XP#P6ua5S&m7&y_HcMC7S=h({$e;>95zg3F4^Mjwk#Yiv6H&bms z?s&46tZ=aLn25^vm5M9f;ghP3zf5VE0NPB?3M00%wA$HxO@PKJQtjj53-$Zz0h#@B zBPb0v<=LWL?xlX-h{b{zqCP&wa#4~Ek`t-hs3RZq7_@PKd=95a6?^n~gH0`U1^~=W zGG+On8j}0n1R$jn;MgNE!(+mp5U|~JhLDjrE^*bhDtH!_vbc*0voT7QVVq;6W7)r4 zan3~wIu@srYg~VxBx_# z@)p?(?C~qWo$?}OBZWvlhw-3@AjurE99u&0+sCCa z(jK2LB7j~h9}ohSo3+$hi7FWub#ZRJ!j0n-ne1wp{-8FSoiFTS(p#NJ2wO9vieYTj zw%wMB%(1f7di1xx+cUok z(UDaAFNas99=3d^`$`uxgN(@)`jZ!u<`o{8?7aYm(s4<=(M;BlM5>_Hcv|mZ(DbzQ zsvfjN#>}3A(ef!#jNbj5(zeNxNgLpi)OG1ujLhFRJ7#vT=F@D5w?|F!TsC4Xrg`gh zMn!j$n<0=+G>27oQ^0)h_7eQT3%Qb9-uC87s+V;a{ZSj?>7Aa!pRVh(>iXC=*(35G z!|MwUv@uR++`)phIERGE3Yxd-u3gMPzIGvvxCPTYl6Lo0e%n4|45aZ~`nRcvBUf^eybYLVjAZ)i)8&0g zq43%>-Ixu@d=+jj1Aez;V0J~2r>buQ3I#PG(_qea?32n7P;xdv^e~2baok{-rP@q? zLKVXW#p<}cYATVR!>{zcmk{dKSOCsXZGwPeyHK{On;`y{bNA@m`i?yVSjQ$&sZ^DE z+cPq1KJ}+-9xZg?D+Q7~eLRZedEs+v7FPnjPf^OyGY{IGY!&YO-162Qd{j8Jk@MFn z%gHLAoC;b#%4kns^f8CLBtN5jcoscfX*&(Szgp{Z?=G@&~_1JA`w!>XciiKSqaXy%(y0u(rLSC2b9`{E1WVo& zfcnB1ruz7FR53q#aWB5g|A-J6{+*4>KHRRAn?5i=2$!b(()j3EwAL&~?3N*>8~L`o z07mY>@@yG;_pa7>t~5%mH7pVAz9J^{k2K>Mf%weB*QDN9jY1o(FHuKOiOOt`XM#qV zj!)q6kGttPJo6D9Ils+F2t)G|*!_qm=%Husr0b=WDYh=2e98LOl;x0){!Z6b&1FzT z!O1(s4Q+)N=b;tDlpDqfxDLNI<$GzN+U&bTp;F7-G-H+Nl*F^Pk<_AB@krC~SjtQz ztl?p27uw@q>XHoNssbVdEw8au`}?AkDRiN08Ssgmd6Q&7@Q0>$S|qt{$!?j%;6j*u zk&%f{mVk%6P@`^tL0Wu+Be{Ssvg3&5(`sOZ=yNkqQ+~}fa7}DP`mxdL)kKgV-n>eymC~lr#oVGIV5B`m+kD9j zcOoFf9Ziv@(@-;1+CJPI~mUE?V1}*2m#2P>GI$mtTb6V6qI;s>A{Zuq1nVSW3kyb9V4>oO~ zLez$A#ffT;F9xQO&J_?hN?Z>IM=f4r0QJ7p8W&H^7ZyPOdKIrvb0o^!kY#5oVmVs) zjk<+){3bh?oOz0}QSA{X(*rS#k(88V>dTkW?+KN4R+uAN#7u8#n8lN% zqGf{eYK1KE8CW-UVW_dqssp0IgN%s8nM(wRq;Z`V01lm{&pY+R)_@k~bpsZ(} zZw{}_&YEHrd#wPdX1!!9^xytlO@0AnS8b~QBe7T!du|l0K>7=KrtKRsQpK4u)DeL5o_@(^0zXSxp@;R6Pd-(XOA!pyG z{!HqwpA{ywKP&JS3#K#01Of^99vNjY^#LOz4oJzUDE2tD;XDcpxu>elNjpw2`b?2lNo4;d$=Msr$a=wHE3qiVF zS`ou%v756wH%&mfYf=ZT0dy9x0CC}aQs&Ls2EO|Q1%pw-*=jI_hkkgj!O3WQk|Y5J zBzfpu*|w4@AT_<$h(oGOtF16K(o*<`UpBd#19E&XppchhTqrJlVJB?m9EyO$t)yk90d0D225QPBJ`n-EkrrZRaDKQM?3bu|ehg|7qM?D4lOD3iQ zQnfao$+4x9--5_V{?Wiy%|8Ho$pRUrDtB$7dzD5#fy=2PZ%Hzr_#;%}@L+R;6GcDP zT@s~CK5cnyRfV52LuZ1ssb`$V__hs7i-ozEkL~1IB0iq_E>$tX`e<1~e>vBj?}UYJowy7%my0+3!@ouN8`2qIus49(PHH6% zd;z@RATfR@?r89#QQT?Lpu`Lfh-3ZtTQ&e8K0Yz6K@LeAF)hE< zYJbvh+d=0%fH_6c783vp=Ns+uQ#dDug*toKO87cWhNqmn{13X<*3gCFUD~1KD-wnA zu}J1Ob7~9>%=pT|TpH36uFgUbY*0he$rA{f#-;uV)3%y4WE>mr3ZIZ3cxBE(l5|pn z428_{3}pDiE0e_3$K^qLNk2lPk;lnqep=4u$YTPc-A8}+VRJ+>S*`FlY79JEe>JOK zB=?02a4?fM?OUKEB85^+tf4#TU7BwjUr4HL8@;4oV*8E$vT(H1{E1B_0~k42BbW2v zlKy#gcYzQ1LD&KJgEfFd$=qEZD_2$n-60xuaY#7@B+?6-nPPH5DY{YbFl`b-#t7;?iT@!7EH~^j}4%iXsG|~mvqUbER_3G33O}+s@jMPEX5qW2H=9FK9!x9j;-EXdPV$4-aC^Y^|hs-8)v_C zR^8#jIiJ@b3lNI<^+z;f?az~C`N)Vl7eeuU3;YqBOSRbn^dz>Lbc~L%pWLCM*k}~| z5v@rye0D*$d5*8`uEx`kg<^-p(9+aJ;%!`FhIh%6>p#^+4*!kw- z6?PWp3R{cK4P)}+!Oi>WoAj@g%K^*Y5rH2!H#~GLE2C+^m1m)*Injz)t=HUWOc^EE zRCjEEak1WlSKEH8)7Z`RdDq?W#U%g-(U>m*C{@aew(RLdfk)`&&%AQrtn$XaCqi6q zQML)dE2$f*EIMWZfqPv+C*UOD*m@IudBVf+v&^UpX-m1_1ps{(E$55}xoyi4#Of!& zda?ijf=1uWn>^PBJvY#}bQb>B&I|9u6T(R#a#aYXlV+e^~~^gouN7CT{Cdt2-3Uf}~kv=tAD)KOD%K-yys!^@ofag0pMFL?^ z)q%cXGj5hf%&r~;XN zZ0+Bl`t551n$udiKrYn_nHqyRLayvY-T9a2`wJS`FA$M}>%r4^QtzF3;a(q+!v9qK9kB6Eqc963Av_50UNCo4zH?1Q z3K@0JCk=(IDFldLNRXQ)uUW5=VS-JCVANj)nlg1v-OT&db*wuvT#F>vP}E@4)Zs|& zU*CWTU}%@a#Z>)^?JvoyegF+O2Ecj%O1IyeZBX6=#>L72SKcac*e#>NWlnxPr?FT` zQf1+}lq$-&H$wq@NuB4KIxW93s`~?#KCgn;I{H)S-7RPq&{*@|W7Gv1rC$^Qmm3TK zm%DCg7hewiY5w~xi0GZDF>(8IAchk<<~2B7dB3@|59Einm~aM)lsIO}R-3PXVn2sY zVS?ncb+b*PmRO;a=Hn8mQq&qM2X4XIOqSO)9u-H%)l4#E%crQj>irPYOx+*Ps4zgw zgunKWq;N4F5K00O+_*s=xvg*&+%lzv9^%v;`Y?@8o5ueK_TLIjhT@xch(F@!Oi>HKxZ>retv+T`Cp z>U@3!YNmBh>Pq3aBopAe(ZLQ>>FIr#i%2c#ApT_r!+JedfQyayzzP+HS#H^t3oJk3 zw((M&wD|)7%x=b72%9L;RrXT*Gi@8|`>xI#=CRdToEMTAxZm;~K%P@F?|qibfCX{= z{s2H%`@gFL=sfv6fGRldp|ku^ZXy9Gi`|;4dUTH(8+ysyUaWvd+5lYtR}hUAGsv$s zSa$|%H7Py340J=4q1~^OQ%Bc?2via7n^iax)NT%+MQrKr&_-wunP);KtS? z;Mug^UX+Kp5ufss7N;Y_sp>!%o;;EvP}gr*1KgGyfXz*C%n*nM-<^XmuRy%yt8u~tSrpqbg8_pr?*H?9ftWpl>Z86;F7jF;64Z>cU=XhlWn9W>Hu46I6`?@v`8zr4P0Q zlX(}&*X-f3;Vy(Vip)bHIE5m0zo2I+h*R9k(UZ%+MO-pXZi5exwE#|FHlh@T&r_L& zW0y9#RO;JYSej-7u=&Byx8xmvy@Fj%b=@l8-QGz3j-;9fs=qm2NPN$I%r|?0eB<}p zk4NZ7Zvc8l#I`rC;21nAQ)jR{tokUp8yMT+`Bp&u0ka>O0Z7Ub`Mc|a)g-|3_}IuI z00b-wL&lv-t^oZrTMyI!a#K4bsKN01K7t3N^j3i7gt15yq4&pPXR2y6nu2}$^=I|F zWL?|0uRl+Jr7K|XyorfCZiAa$5q=#{o?aA!%o$rb+XQ~g@Q7qmw*SZj;`>@bCl3X& za&FbsuB)dv=Y&grRlF^FJ4Ao{;7~KB^Nw$&wXTkGq?8sI`E3X-SRt%TkpQj{a&v0* zj_i>I?=!nN;LWxxR<`)_{gk`f{r;9r&e#zRtnHG!)rTwyAeK7b7(5#OuwN~%sl9*=lUoiRP&W{Bao7q0bc>DYNlor4G=)IMpAl?L%2Z9e*LWP zsZIRQ}!%FH0o#8sk|5>QBC4n@zM~U8VNqhVkA0!K40|9RWz&BcGk2hu^ z>+3G>2@h=-fa-7viaE#Gh?7lEq9+a97h4pHcadI>A{Ht=fT;T|pO!WS{2k^7XiIt&y+U zMO#>*MI2r+%x^NUUuoY=(2T1S!`hcI1OAuBp7;Oc@^f?w_pRpA0*so+l( zM?3fO6m4k$j!1c2Doqu4# z+a>G?=(Mzd9^RO8!u^$bsv_=_8)jhUj026y{Uba)0UwLD9(tGEN+)K&2;~LO)#x+l zg0VwX)fuogv9&o*_nS#jr>IZR#uBW8|LSjX7`Lpgj@}J{n1>DNJ=nrNNjt$5rp+L_ z#<^CU_Gluhrg9hi+F-=8gjt+16X|U42RtX+?B4jy3H5D37Dk%;43Jk_dfR;mqy9k~ zC5Hn3>tG=Oc;}%5w^2wkmgw-LdR`Dn{y@ij+;fC|rGr4HA)^qo1iM)6X`gvEFu5?V zGH2$bGJoE;;_o}46|)&L-ryb56MU$FRm@9NvVx@*Bbd>}qVK+;rJVkn$;l#63A~3? zYfjR%7woK3_63x;jKWkIq;c52nKOR}Q-1x|BT+zEQ6D_HgH^a|^zdKf)niCtcjD4E zgZ`@s4^WX+9Pk_l|3}jQ3ibdBzVCNQZH9ZC3HT77jJKcbmF*aVtPAgi`r3JSf?0(_ zNe)N5{Y4?Fn1PsY2Odhy|(1DDg~lWr=|GBaa#xQmDJmR+8DkV`xGpd=W=Ztj^#i{@)m6N0?vO z-mtT4npcjNe{WVQc;9?k0Nf^;b^7-MGC2GRVOuucD(s^&YH4`)cJo?%nF7p+NI3Nb z`YB$YB*}p6g3&#|>=>X3P+@+Ap(i#gxbwK)SQeNp*k_oH(QUU1R+z$Em3v;x?_V#D zhAT%F47Xv$a`*r-Q%idjM-b6G)_mrVTg=1Y+^G@#EGh|gCL+x^@yr=-2sn&5d}kb? zriZ;O_l+}79CZhJFcWv!_Ex88Q{E%kR5|#C?lluWCL>kI)M@xgvh)=)+B{AUa+5=GlxfnNX2^lC(YBYGYZnh9*x z_^)+-`3)#wN^`T-FTOvOfGnA!wg_GDDYox|DFJacCe+t`_i?-TqXai_UGd8LMHAvw ztZpH!631!4WoAASd6`7RW{WOwLv&;eU%pIy8vYEPiInPm^dsZ&+dqB!m36G=Y@jk3 zPNlAm=fmaT|5MtRheO$hZ;zdu^37s|Dj+QMx=sXHy0xQ!KjOX5X6S&x-o_8td&E5&u9ZkF< zz3$Haf3+nDWmoA zWejHCwxnr$%)}dXibU#+o#-B4YgkclP`S}UQ0aVu9;Z+?{`v=rHLtCQ)b{wMqHiR( z2IWl$1~<=Gqf?wQ&X`qyg_$IqHAi&dSBjwSIDq=ImX$+w6q-D-0;5z&(sg>@kl?{z{6N-tc(@YPWX9!1XCB3 zTbtC!KH{mJ;K3|zxSAjDC&?$T_!IXEzc#0c9zc)2IKc6-;UU>u`@xM2f=HToi#>i# zqFvD3Aq6qa|KQz0=EB0BVxAv{*my?uWB#THIid*1*`PIDx2$HAPpPZ4lm9AeAcA7A zph-LNl6k`HV@@FdgDV<(M*^edWIZ)BtB0@xQDVA6m=Huc%LLnCf_IQl-Nu>%tj78L zCD*UivMoziWrw1;L}~>%D=E25^Lky|`s981k}(VPU0#6)kGG9%o~((Yr$y9UoQ8Up z9htm&obq};2(pY#CiPj9Q}BN=iOAn3>N-NGe9AVywcm?Flc~^;1|kox+H?b()Bd>x zZlm(j1EV{*VWv>#8b*5)E-M*IdW!C!5PS9)2qR{Td*9A;)MxKy^a%@<*ggrV1!E^p zjQwNFJv?ILBi=_br~bgBPO&wtyT`F}H?VTaGLQN| z?)>=d#AX?L?VZw`x@o&znL&J1V@c?t%_7e@v+wbI^V`S!Yx!)h*lTn1e`VL=nhNEZtyy!W zjDBf+q>fu>GuiroiF+tB%vu>MC#`Yx9v^$K?pLcI4)+_FT8Yh$L1r6me?3KfE;=a*x|%Ha@SkU!nIls z@$zYtuZ`PJ=Gm@Xy)1w(-n*gs!SIepyLsDTi;difZEEbi7)C{u_9-AvPNt3RPr7h% zAdi#YM=`kx6=N55${AWYLa_`3KElLNPBm+ zR#kV$dbxlm%TXV5p-|3Qv$R-eim&-e{FVnty?f4Z*?qD*0-KI(?)-a5T60R$2c2nZFl<+TI&60hj_=?=!*a_Le?DYg$ ze%ce^a|*(OEEg`vQd6_{RLd5=TA*_D&FcJQ->1nwS6?3g(??(I^p^zE+nFT?xn0RR zH`99^98>k|MGtmY<10k-D*`XSz3%tykSREb_ zzdONzhk*HB{bRqsSg&HVT~NY&(?nMn(`u(kL?_3Rd{iVOJH?%Igni^bp3>Jq7H^k5 zO37uACOmT~$DAb8hVEfC#+0heyVV87X+>V{N>{Y1+9ao%Z-nNIy!fW3zH{b*bUR;v z?ag-%eco%b?ATJOF!iGk|0wP4qtl#E9aqQLVn-X^xYP} zHikw&Ha;Sj| zDN4y0%cVYZwIz5DnW0I~3$Bv|Hx+iHcl$R{v#sV6av2|70$>P#8 zQE_G+W4*M2+lMB_UN3qI#yz;k&H*9%gsJkbMpmLo3cT3q2A>Tb~~^T5P~ z&Y)@u>5altVdZ{Gl;ma+^|9P_l}G8{>nfx8%Kakkr;QwKmirFf+>qz5ITh2OCuDMG z4cnZ{=B+CJHh7o+SE@jwiT}fSAHpB|WpRr5#=cQjyk*#-oYUTwQ3Y4DVkd4m?H6aC z)cJb4`rIO_>?|$}ueM^qp|$0C24+dkBYDT2v+P$(rI@PJFEdOCiQ!G#} zMxiW-@vi(xB=TE$xFr0GkvZb>fA=xwrabX=^9&dIeaz=gN^Tk9>D$Os9i3lN@CJD2 z#W<>B?9)869K>P@tNLZG(jE@pgL{xM`!iqaXC@DBsg3Nf>l~Ro$ZVQDcGO>--T@u?x_!_*eW(U@4mgLqf_*9R3%3E_L?Gj zCVHk*X}kdZ8cKU8=ZpT+3Pk!YivY|jL``0rpSohNzfyApZ#=? zD>6c%bk9J9JpI+FRNqz-8H0Ld6sMQ=>&QT+Ok9Lsj9HfcVbj~sJS-CQbuuH4z%QTg zrYK1_9Y$H`K!<*Nee-%syfZ&iTAqH1zH^xWUbF$?;!XEH?N zMtNwMG=0G63HC`k6LfSQ(VMCGHuk?}8bLGnTWS5*%xq{T_v0dC=QHo|KeT9hFX`=r zJGZFsxSld(Nrnb)LIb4{Xg95|N**km9n^+BrRU*c?1O9UB2zC46dBJQb>v6ph{U_b zR>>39!;Cqp(Wq{&39hP(6H&Vhc{4_hkTKzwZHMndrb;%sPkY#Psd{j$SsSaZ!~D|e zmD)jH2O_3f87gDDsN6Za_IJnjfM=rlgl9y=Vd%5FJz!P|)R_wto_fcD#NZ7nq{STt zH&vSi9mGF*xB?!fXqjGyd^a*Dj%vn z;Jo)`jV@a#9S#Z9`1?yBLDs?EY2&g-$sRg013|Z=gc4??*ueETW0(G7Y0$&G$;`yV zO**e6%l`#C%Ol5+Kb@O{$_L$h6hW_&1Bs#`y2N830mKthcA7U@gljfvY6!nxCpJ0} z>BDwJ#BLF6Pu6j-17_A17C*Y7{OF*}Hw+vQ%Spxbpv6dD(bLM4mA&8Laf&J4j0djF ziJvQ`>MQYOZapVvSKwxsp@w%lgr+k7LO>HlHzbK}A{bZ>gN5Ob1^~EkfXM0)9X^oJ5iIQ;E8vrSw5?Ln6n1eLvc@ICwk3Y~ZBf+SL)tE;O;s%4f@q!?)|;c{%$ z%4BEu;0oxd9*c>Am)5xzaSRj_3M*HaP=AEo=z0{Ao4?6aT8~3$YD=mb8b(2J!$l~X z%#YTqjNq6+_v6uV5<3n`rE6_3wc?*Ye^VVoCkDJwF6;<_+GxZ*9@U5npK(TUpQXlQ z`Jd3|E0&?oDDU&z=tRXYe!3bC3R2ZC%3>zyim=T;3wJ%v>SXr1z*XacxD*4ntH9T? zW*Du&o*E89KNJl(0_^r*P(H6^LU%TX7q;kPotQ)C zJ3d@KMKAJze1;6{7He0{#>U187+|O8`+a-t2nw$Jz+JHGUotc>pxcHuKF7}Vp1gJ- z(LO*LDlzKL&dx?qss~;GLjgSaDD_nvu=v}7qA1Z|qp}d(NUyH1%|#Q&K5!#ru4cT{ zpNfZGI__%U0%g^6P>W;eg=%>DWLAnzb$}vxHHaZDUb)4Ro$9yWqrcec^P@eRlcu4M z90ovF2L5vU(|4>aEVLVL#i>dpcrd_}ay#v4a0fUG4Yk`~Yi5*b6efsm|%|!cV_#a`_1+< zhz|gLq_V2`5X!=Rw}O7EeBkQLpB@-@hJh`4BwDgU<}yq%#`)o$?NgIgAosgau{G9| z2$Q+Pe*=_rS(%xc9nv&^WF$>hC4;C8_Mf_|wr(tSKvV>I>!6Uv6dQK*%5UA}@ zpD!svpp6Na%(2wiTJHSQLnzXEx?eE^j3gGeY@Wd+iuLb<0hD&9<%4kZxd?nI zztsAz{c&q55in5>gZi8Zu1U7`bWIm7LeDNs#n>Vn>S`xyR?V*>o=<>`%(RhAH-4RT zV4qeChKswGbX#AzSqs&`h0%BVagy{R-U0~4tX0JWQ#?vXA$lCUD9UM6q!_xrnOQRf z71;}w8kbYti#VXhNatDvfedUD1{lRq4TbuwqZQXB4J4*xAVX8)`+bBSA;EC>a4H%& zNts(9%Q`+eoCISv5_E!j2D8|yuE;nO)yT&uD%o-0;-q{)O}Pjq{R>IH{Z}6!7gD|B z^1R=G-W8e7f~vk#IzTjgf8mC1$loT1qMhvxv`4=Joh^2$*d?Y679)?s9*k$2sDQ8U zPX}3;%)l9tn*0N7F%Y)t1l7X4T%PF@zyU8t%~c-HNfFn(!)8Uic(XF`Y;92Sy|UZsiC#P5y>UsLttJR|^wcii1lB2+m`2r=y91>j6~OrFD7^)ZCqnd;hgmjscU;6e@5(;S zQu@;aee9F1rsqKZliRM;(V42!metSu;OX^i^yE=O>8+n%Do7i^9jOK`(et!Wxb1Zy z0XCML0)n3x)adW`fJRp#Bt$pbd>;@cJA8qIvI@_*BG50|d~&EduqyA7=W2-*#r zz=}Rv+uEmb&N;t&)u58LwKj}J8&+CJo402fU$z@mI4$LC0&#?J@)|3h|KbAe?~gfIx-yhn-E!5DG1@1wvUkKX zdCo6;1>raJ&`jR-F7U;RW0=4ff-|6ovGcgenUFTrQF;xykhIqQ0Zk-QA z>E5IH`VuIMVOWjl{5(;;Z1KA#_423+JW=a5SVD2Yip6&jCb-??y->O#_StGAGN&3A zw_UgBbiX@$q5GJRs~kk3P_ZoVW%#o-gERlPk8L{M-$>9sCm{rAW6$1`czTS#wNx?htmTv@Mkn z$-v#JpH{IE%1M0)e38jC`^|f#*0&2S5fOUd|G$=2|4-|%|MAPv?*l!QOM5HDP$=Ip z$Sp2WC?;s4G)76eUfPSX_U$)~NSLOrwjO# zID&3sI^VBM>FV4}qBr*|C7J17*v23=j4cdEWiP{<>{+3t>)E~?LRNK@LJz1MRYSNi z8%3?wvWD;~u$3aBSXmK!naVeM$o0@+TLWUfBISpU?&m3Hs3dJTYkb`SD(6l}#D1O7kf*fg>`G+4z8Awjorb62aC`+w7F;tG^_6LIH2{ z%x&~^d7&?iW)!Q&>KL3dZexcX%E znx_P_{wc&3ZWZrT(xvwFqn0NEfo!Jl5#Z&;6!myY9cg1KRLVrAilK}yg|aHMLY67o z8<8lBviKLr97aCq%VXGnUSPLRMDta+n*-}5#!%)2$mvH)-nt8k_uf?;-F%I^Jh(OF z@|I@#(lj|hjH!m{0pEk)qJC@Lky7P>1d_uq8i}ESNh;YkTE>AGq4&`>6}t0q@`O6G ze;xJw8GGlDvMD%el)O&TB~1vos};|ISQ=r*pt7%>Ds6! zP&u#cDn>acwNcg)maoONaeLZpj}!g-AY;^mRILAvSb@mA*@K_F3{=X@jXhlp@}r*R zk*ma1vm+#BJ*T{br{vV=Y>$J0*y8*Y1+Ep;;A zLRM)(if3etQ|a~JHNhDqI4j0Q(N`IlrOR45oXeQ1QS(tbKLk$H(SQ-;4W;>#5B0jIAsb(Ef;*%8^Xi`7#!!(G&U$e18V<51l{ zXhilfNQYCiNaO!Q(zfeM_)ktMFCZK4M_gjHr*!>UFMYsZj5*sdamk)=n>CO}-d7Ns zaK)(YsXWx(1%w$zBF|q>m~Vu>yX2L>o`yO)vC=NF;c{rE5RqA)6W1MXkGQ^+k{h7V zP7+gns5pY6B2g2VEIo{`eW(v2BCL$G;&wNNka^mBN>p7I=VdZ>4&?@}syRjxs2-Tv z_m{D|Ww@o74SSd*$elC|BBU=7dfoKq>2t-eo+OHJevcazV%j{lUMW5wI0AM)os|9y zCGu#utC)KBj~$vgC60%(`Sureb*^87)AlFIE9|u#AQ~UQA*DZahgoub?3{4_?Mdj% z!uavXi3#c6E?}O2LaI%FtURoqpV<0%*MZ|@8uQ{2U$dGd7LrG=bTBwaQ$cl;|};3oQRZj#oyWR@Qhab3$N zIa3?+oh3<2NVV~|XMv5<)ZLL_^uVz!{VRv1^zzhDI9qz>W` zL}J9qamU1`xmS5dJkX@0PAt=pB!lKIv(Yk`{PA*D1jEqQTmL{ZyOIwdM{n$z-`$px zd_fU$f_eKICXlhg>UPM7n#VkgvHwCY>@Fs8@z*faFju_((Bvk2mCo0!O~f6>)y&0F z(j2ZatTzES zb+7f$^$bUh6eF({F?oD&>+O~0^Ex{3&e!|IPVslJ84V*~X}@Ew0P}qR6j3${f1@KuH4<%V)KGZ(u zxh-F&??Xp%BElv0m!&#dRrZh4Ofi;W1P>=nHo}zg22&|=t5+)Jd{h^I_cx_2^@m%0 z$e5cQFC-br6aySfJa4iflL$4~gQdq)%O=HD&ReMM2%B9cnVR3ErOr|oXzq|NJ<>S#m@VcH1nB^uq*% z$W<-NGCGMQe>?kzGBzYv=xu2^S)qgaw-2FsXk9+6vQZLN!KD|Z- z4vdn(M4Cla{4?iu@p{Dpfdp0|E+E`U23`Cuf*qFPT@lnt_z%R256=oXu^*)Ve_xJk zV{0XwR2TQ1DZ#E434gyRXPd{L*Ilct^C(DEjPvUju6A8f1`PvgQZAne1iBe%mv_TFO=f9J zFQsEhvbWc!1sLCQ;>wPdXPU4WyA~P${0A8fN$#|YCiGp44^^f$(1u=}*>Y_#^?4bP zC7g$b=N{x~DP6!hkH&`PlkNDCF$P_q81GwDb+DX|^XbD8xDU!aB7Be_bDwc@)U0D( z^<#Ez#bNU=?E&7_ zfAunFyI;e&?*>$;pRU0>BU8|<%_{UwlY*;@3BY|!EXFGrD~;mlV0a7{{bJl5@xhiq ztNCDkEkXZ0-4XwWGZW5)P`J{!uHgI+UMS!8BVi>`-k1!=I{v`N{<#6x1;2BNE$@~q z>1*t}i`NYd4GHRjO0Wybb1b_n!WNEf*&cJ|&wRjjE1e&Ya;K4!4 z)CsuCmuRt8NDi3E;HC2waFEo}DEg)q|7flt0lN)*HPCaACD^^@V(+SCihEtfcv_0D zgRah$1h&VT_tc0J*|Jn>vCYI*Uq5p1dvKbUTT!0}Tc+1_ZnWB+5LszyX{??5bRRLB zM4E$>_qFPmsY8ZFqYb^g@ZP@2 zF%J^3Rx1JweXi0WxSH8<-T9>qz#%m%nB-1@= zz}{sZwqf|()L-gh2#_Zb{*ip546$x>_a#sWGK_%F&nReJj$&IbIs|_PSE9Yc^aRpp zh!+{No@>7q8-I8u#GeNH;b0~^3J?JR{{9#P@K6Z0^f_Cxlx;+)10Naw;W;p)0gCOl zZ?O^p%YL~>fJBQ42N_uu3#Z_xG7zsRgm?g^5EpeEa9OxD=NUHua`!2FI|l85mCO-r z3#ep%Yz=`!5nYYgUkN*75N><4rfX_m8$hA>T}&*uF3d@VOJU+4@Q5@5_}9GocgeQm zwgmj@&!lTn`l_IwYi*!1^af0SpzAn5Ecryt3+@=UX?VhR3cxpyjuqHz$)Mk>C(rKr zy4v-xe4>FfClQh+FTUPL4?d@_ufOSk^}GB0$VUZ$J3Q3sr#v4JL?U54+EyBMViboS zGui@L2m2E}odXPVLBX{He=M(@k)7ef)wW{LK>>`hXIK+9#fW3fN^Z+{&;(k1Jvd3( zfcFM?8L`9OJ8X`lb@!{l7i_`jA=kdx!Za{-3J0`R>Nz+&MV{qRIjkuHtGPq;DRHbb zz9fIae)m^EMqA2;LpaaSm9Tw8Dd_#DY{spcJE!TJO96t!;0RkZ*Qa6(=nr`17C>Fi zxwoFKWg_?={*Kbz_D6u74;HMNcHt=&KRnjy{z;V~#O7Ub@rIOx)!=9a-Oc#ztk2m8 zTpuYntGpmGq|ze;l`?GnmaQ)fqKAF(O81`-5N+F*y6>Yah$0R}MI=hGTBoXEP2L?U z#aI|m4^^uH${aDL`Df%_)!IA>m^A8;T0f5(W zy>sIr8^-|Dz7X>1!9E5a)X3*@g{oua+se3vCbCf@TVI$d@;hzGL{2 z-^84gr=+nCUKq}>DCvhsO)R@^gU6IJpy3N!YI9ZeErz60(aw##Y2`n84qm@a2io>4 zxR4?Aw8oigd;_?dn+%ZxjLC%AguM|kX;tWx4dggUwn5>38t%kqCE;72kf%3hh=_#} z0^P_A_9Hn~y$vHkk0ksNWM<~B2?jcu8kTKVwawXSEXI+xS@b{w#&0EqDzMAPK`0tX z(Y4iJ*;WPaV9RsE>3}H8`OVn0K#}3k(iDBW6bby6bBuyKRH7SN=DbfZ2t0T!xv zT>5=37rP+6%24+!51Hv?mKJ>CD6{~k;az&k(k<-6;8u!oi8&Nmis*)Jx6M<#1Yi!1 ze>vdAJTXS|60Fojp99yw9ueElV0hn2`|V2p^;f|es2hp<=OO`%K|;DS87^s73e~N{k+804p(ZjCJA`48 z4A{^at++Gm?wt&nQr&;wj(Wfw&=XToWZgFFgtY}y+Im+q^N6pbZt|iNrqtOOE7=Ya z(SP**-d%kxaQsZPIg(86N$%5xROBH&Ti(8ux=t53AkPb%k4+28+8epLO4AWz^}toi zRK-n;Q*;Qv%?@Dw^KdePlFMSo>i+z;i(*>~wRZ4pKof46*GwSih3IR@aL;PReIoRI zCVy3Un0IIG@u{Mg=A3@H0)~qW+1VdMe|bgXUv z%W6_+%=l^w;~JvjhO#sFJSR3(F&);QNd5ByA0=9-7nyppRl0=BCDJ`oY%h+8$g>$a zARZopT4ap2c@}*E?^8FJ)#WZguAqfjiuRvo`oq?yP%r%$S5FN#$)m^MZwd0ov7e|t zh@R`pL8*k5rVE!brEdu8JcA~`ag()YyjY;JYvBUuunOioUlNz_v)}X4`8-_Tj)p0r}A3lVh<~9;vLcMh+e}>$0+k<6ghLMZGBx6xA#Tt=azCpY&3we~D z1|+n*2z`ZQCj5C{>(0k^*4Kvv==0qVa^+H$SP4X+|W8>JaqP) zKc%t%rgfR95a%7=HJ{ybkr8?xFOA}?2!vUKB!mW^i|u{GVJ1;#QQx&Y*xxWrcLS@p zsGX8~(pzZW?IouZN0>EPkSy=$SKQ2Ce`l?aWeSo}y^<}>EDn~^r^PvyutOw5U)Mw@ JPuns4e*w4@!z};+ From 760e2a15bf04f888ee6c40f90d70ceac25c315c4 Mon Sep 17 00:00:00 2001 From: Pieter Wuille Date: Wed, 2 Mar 2016 19:19:42 +0100 Subject: [PATCH 2/5] Make the threshold independent from the deployment --- bip-0009.mediawiki | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/bip-0009.mediawiki b/bip-0009.mediawiki index e6be63a1..6c65c8cb 100644 --- a/bip-0009.mediawiki +++ b/bip-0009.mediawiki @@ -25,7 +25,6 @@ In addition, BIP 34 made the integer comparison (nVersion >= 2) a consensus rule Each soft fork deployment is specified by the following per-chain parameters (further elaborated below): # 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 '''threshold''' specifies how many blocks within a single retarget period (2016 blocks) must have the bit set before we lock in the deployment. The recommended value is 1916 (95%) for mainnet and 1512 (75%) for testnets. # 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. @@ -95,7 +94,9 @@ refers to the median nTime of the 11 blocks preceeding a given block (referred t return DEFINED; After a period in the STARTED state, if we're past the timeout, we switch to FAILED. If not, we tally the bits set, -and transition to LOCKED_IN if we pass the threshold. The transaction to FAILED takes precendence, as otherwise there +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 1915 blocks (95% of 2016), or 1512 on testnet (75% of 2016). +The transaction to FAILED takes precendence, as otherwise there could be two non-overlapping deployments on the same bit, where the first one transitions to LOCKED_IN and the other 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. From 63d626668c01c6aaa5baadf7f80341d6eed0b090 Mon Sep 17 00:00:00 2001 From: Pieter Wuille Date: Wed, 2 Mar 2016 19:42:41 +0100 Subject: [PATCH 3/5] Clarify things and make notation more consistent --- bip-0009.mediawiki | 29 +++++++++++++++-------------- 1 file changed, 15 insertions(+), 14 deletions(-) diff --git a/bip-0009.mediawiki b/bip-0009.mediawiki index 6c65c8cb..8a765590 100644 --- a/bip-0009.mediawiki +++ b/bip-0009.mediawiki @@ -74,7 +74,7 @@ floor(block1.height / 2016) = floor(block2.height / 2016), they are guaranteed t deployment. if ((block.height % 2016) != 0) { - return GetStateForBlock(GetParent(block)); + return GetStateForBlock(block.parent); } Otherwise, the next state depends on the previous state: @@ -82,27 +82,29 @@ 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 the 11 blocks preceeding a given block (referred to as MTP in the diagram above). +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) >= timeout) { + if (GetMedianTimePast(block.parent) >= timeout) { return FAILED; } - if (GetMedianTimePast(block) >= starttime) { + 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 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 1915 blocks (95% of 2016), or 1512 on testnet (75% of 2016). -The transaction to FAILED takes precendence, as otherwise there -could be two non-overlapping deployments on the same bit, where the first one transitions to LOCKED_IN and the other -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. +version numbers. The threshold is 1915 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: { - if (GetMedianTimePast(block) >= timeout) { + if (GetMedianTimePast(block.parent) >= timeout) { return FAILED; } int count = 0; @@ -133,14 +135,13 @@ And ACTIVE and FAILED are terminal states, which a deployment stays in once they } } -'''Forks''' +'''Implementation''' It should be noted that the states are maintained along block chain branches, but may need recomputation when a reorganization happens. -'''Implementation''' 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 by caching the resulting state of every multiple-of-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==== @@ -152,7 +153,7 @@ To support upgrade warnings, an extra "unknown upgrade" is tracked, using the "i The mechanism described above is very generic, and variations are possible for future soft forks. Here are some ideas that can be taken into account. '''Modified thresholds''' -The 95% threshold (based on in BIP 34) does not have to be maintained for eternity, but changes should take the effect on the warning system into account. In particular, having a lock-in threshold that is incompatible with the one used for the warning system may have long-term effects, as the warning system cannot rely on a permanently detectable condition anymore. +The 1915 threshold (based on in BIP 34's 95%) does not have to be maintained for eternity, but changes should take the effect on the warning system into account. In particular, having a lock-in threshold that is incompatible with the one used for the warning system may have long-term effects, as the warning system cannot rely on a permanently detectable condition anymore. '''Conflicting soft forks''' At some point, two mutually exclusive soft forks may be proposed. The naive way to deal with this is to never create software that implements both, but that is making a bet that at least one side is guaranteed to lose. Better would be to encode "soft fork X cannot be locked-in" as consensus rule for the conflicting soft fork - allowing software that supports both, but can never trigger conflicting changes. From cd6dfb94116224d552b3cc884b3454deeeaf0ad8 Mon Sep 17 00:00:00 2001 From: Pieter Wuille Date: Wed, 2 Mar 2016 19:48:34 +0100 Subject: [PATCH 4/5] Recommend a fallow pause explicitly --- bip-0009.mediawiki | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/bip-0009.mediawiki b/bip-0009.mediawiki index 8a765590..ef7a2ab0 100644 --- a/bip-0009.mediawiki +++ b/bip-0009.mediawiki @@ -30,9 +30,10 @@ Each soft fork deployment is specified by the following per-chain parameters (fu The starttime should be set to some date in the future, coordinates with software release date. This is to prevent triggers as a result of parties running pre-release software. The timeout should be set a reasonable time after the -starttime. A later deployment using the same bit is possible as long as its starttime is after the previous one's -timeout. This means that by setting it to 3 years after the starttime would allow around 9 deployments to be initiated -every year. +starttime. A later deployment using the same bit is possible as long as the first one its starttime is after the previous one's +timeout or activation, though it is recommended to have a pause in between to detect buggy software. + +Setting the timeout to 3 years after the starttime allows at least 9 new deployments per year. ====States==== From a3df16e6504769498c51af88afd4cf2148896bd0 Mon Sep 17 00:00:00 2001 From: Pieter Wuille Date: Wed, 2 Mar 2016 19:59:18 +0100 Subject: [PATCH 5/5] Correct the claim that only 29 bits are available anyway --- bip-0009.mediawiki | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/bip-0009.mediawiki b/bip-0009.mediawiki index ef7a2ab0..7ef014d2 100644 --- a/bip-0009.mediawiki +++ b/bip-0009.mediawiki @@ -48,12 +48,16 @@ With each block and soft fork, we associate a deployment state. The possible sta ====Bit flags==== 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. This leaves two future -upgrades for different mechanisms (top bits 010 and 011), while complying to the constraints set by BIP 34 and others. -Having more than 29 available bits for parallel soft forks does not add anything anyway, as the (nVersion >= 3) -requirement already makes that impossible. When a block nVersion does not have top bits 001, it is treated as if all -bits are 0 for the purposes of deployments in the context of this BIP. Miners should continue setting the bit in -LOCKED_IN phase, so uptake is visible +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====