From 8e906f14af22aaccc58de9faa0c17d4c7228cccc Mon Sep 17 00:00:00 2001 From: Luke Dashjr Date: Fri, 26 Jun 2020 15:12:06 +0000 Subject: [PATCH] BIP 8: Remove impossible direct path from DEFINED to FAILING --- bip-0008.mediawiki | 5 +---- bip-0008/states.png | Bin 28132 -> 25677 bytes bip-0008/states.svg | 4 +--- 3 files changed, 2 insertions(+), 7 deletions(-) diff --git a/bip-0008.mediawiki b/bip-0008.mediawiki index 4d7c85ff..612fd420 100644 --- a/bip-0008.mediawiki +++ b/bip-0008.mediawiki @@ -110,12 +110,9 @@ 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 block height or the timeout height. +We remain in the initial state until we reach the start block height. case DEFINED: - if (block.height >= timeoutheight) { - return (lockinontimeout == true) ? LOCKED_IN : FAILING; - } if (block.height >= startheight) { return STARTED; } diff --git a/bip-0008/states.png b/bip-0008/states.png index 0e2ff0260840f34162417b7c28c825561b0b95a2..76f6cb7241669d81bdd6a212f7025dde6f7a8833 100644 GIT binary patch literal 25677 zcmd411y@~7ur0ba?hXm=?(XjH5Foe{+?@@<9RdV*cM0wiEV#Q%aDqFJ@0@r4!X0;x zvB&DJ-d(F#Yt8D4P*IXbM!-V=003E5MnVk$AR_<(bOHAv0MVWBTr%~qoxP|-c$ep4hDdy4-xn;0JyOLz_Aek@TCI4C&$b-Re_HJ2orf}3E({} zZmjzw2k$7O;{pIE1ONR%$@D1rA3|7HSw%_MJs3Px1bDB=VqX9-#g~;3)$m+7%W@OJ zQY0SgmiCZ^qhpMWgpQ0fGWIZTHhC_MdtItouUaBBY7Szgqg#rk2`>fD5PGb21gwEz zgVsQQHnOfC#XXz@8cy#mJS^_G2_O(c`uGrR@kR1fM3QClWMDNSup&ABCkgrgVv>YW zZqLwQpa~ueA&N$GZ-ngvrsD}CC%?p?GxQsxT|#gYW`>Zf`Lmh|4MSg9tzgK=*}C@3 z)%Q`tFb{Psg3z;#EC5NU@2)XdWvQU=X~5-r6EazstCoF6N$%<9*!|{r)chf`Dio1D zZw4g5XKRRn5F$w@6G1#A08SsG`SiOZ6-+KI6tmQ|KikIL2UjjJx~cG6Aj>{0E066> zxF9IuU&exYIMmNc(`Q{3np0JDKa=7^^p?|RdV*KVOnSURKeBy?Vu+;Fwf(@p#Ma0V z6J{oOy3eA?GLIR?{z9x}uaM&n*NBMd6Pk#UDwJw(7N50E+-s;;7Tey59Gth~wF2Sv zo0y?P`pBZ`olfm;zg0^XBl*pWamYM>v;}EaZp}w!J6@jEI;EMr>>#WZgEoL2Y0|{k zQSRMgnRsRs*(<^4v)%vpz;_+WD}CbDwb$KC29L*jf?m}&zSYGbF=JGVWAcp#}^xeM!~%UPbXQ(uS=k|`uO{CGnkMdYKOXs}vCR4J?DICFHInPSEl#{i;L z?GF{0R5?nR3~G0AX!MpQ7ps{y^GjVgSO`8Wtt)oQk+)MjGu1`daIpdR*M_KCOyD|v z`jR3Qgg&F3;fA*+FFB_O94cr-B+S-O0rNK%IWTk|;RAgNGKLyQJ!|tmzSj+#(3#eA@ zK6JtkE-VG-O3}(ed%ysMvx7v90Pvc#Pg!*oqp0Ts`84^@Rb;lHXS6fD85smfsKpp>-1%e&KsU^&Af?~wP0M=R$-7h_%8>&KK%ut@b*-UFF`b<;hW z)&`c`WYK=zF)$SzS1)9vUi+)=9KfMIVSO$r3xNyOmCH+lRiIVH9#*4OM^2Z41{d@h z$twd(PD*IbhLnj7`a&YM(Vsirv#}!X+tzmIDSGD~li! z4Hd0#%#&yKR02&1SVUG><>TPI6g8TCkhRzrq`Y6tpMzFq-Q1;);08_bNB34I;*GxPCryQa|5KY(Jc1%LIZq0sF zKB+b|A!{*8U=^(LliTftgS*i_Hh?)?~0pyFD;QWAaWqlnFGh=pG8LDF>N6(Uv3E_GrNfW+w z-Y`-$t!gi>$N#?s?iqc2zM8i?VMUJhWMc4>lZ2ivsM6F!xX4wivL9mo?<#{4WJDgE zuGbdJdm&_L3E0^R0WnABl+$orOj?dS>hkdax3YV;vittJTMuvV%zW+oghXv|BJ&gz zpag;R$G-57(*Y9@LdK;)_fP3tG8(Jk74;V?Vtg9o+q@>DDNlqVG2^SeTFu>4N)rqH z9NX2nGkMXxTDXE5OM1tLm@l~GTt=XE+k`9b{!)z9Uw?3!7a;edkxF`P4dD?&6jKT7 z*NP7=D5aWag%C212C&~ znSOJSANzaQzre&4A8ZulU7U=uoO<*Ofu$}4EQD1SVKZK{n!dU_r{5ICcbk#P>Pua4 zSO_N?J$t?3yEYz~=bzGU$`j&t&UrBwKE{F+n>A+f!aw;^>xW4|lyb&8&C=iF&rQsr z5He_u;b89q?bpXuI~+-z@MuHp#?aMs%G&^$Jn+BA0Rg57lu+j(rgNKRS)h8p zEeEm0c3zcIZ7)1hgA6>!ZMZYT*=YAoi_S;?!#v>44@&-${c%d|!9B5JgpeVBBxz;< zO|t)sN$^*Cr^|2CQ&&G)rRkNERB9)sr>BChTcx8W>eeYDJII9P#&8WuQdyxrQ%Ue< zi~Y~1SD69uu;lM~H(?!)IZ}r|yV~dgxHj3AJB7?+I0R$!D>7L}12?4CgZraB7h2-w zL)K)Lh|uMo8U>i58{ZlnL4@Y?x;W_wzJ8tYDa>lSXKM~k)zm}KdOTL+00(Dqvjdof zTYqj_O5woQw=>d(nH}%C5GOQPtnskKTm8bEKIJa;$|9R?)bESb0z4w^1$T$6mK!%q zTAjGk|N076;$Yq7y8ZsRi*)kBTKaTMvu_B}BwM=qerxCz_O^upplkzJe828c06oai zz~C8{=VJEi8sP@#(RQcJ`ij!VWA}!`uX2ae-fc~O|J;T6V1tTfdqK$w6_ZtPeZTPA zNKm)7^$a(&8L>kwANLat6|^%Fmp7MMB0J`8k2U35=qNUe>~@!LH(o*@fYHqzsH+Fqi|lu3_kNdZuYj0x z#VVV{F3rq*+ScST5d*zM+d+(L^#w66*|SIzB|uX4tzMW+>iz`n{i?&w4`@77lwm{ck|4a!C-> zI+bEVAxdt&NeiLZxj`vOh?@U!AciSkRW-hXt(PG)-!VZ|-QtdyFfjG%+Zw{sUuk`k z{K+*7nZ|1@(}_MHNbLSL`A!bVU23p&EKIQ6j^t&huIkM+{sD}i&r%ug?temRTd9j) ztyQCeR{c8G1YJaBjEDmXcK6vlIm%!xcg|@%cBOpCsb(IJCM@qI<18%-iV|v>x64S? z_uglX?Qd*8O?v6b3KE00SES$j%(o)d{VnHN-pq=%a-|enxoyRuksmTN@6RpdXQgAG6``o|NUX2+ROCU(fB}BQE ze4HQR|M83ecSr?^pj@=cD)66q@43izMJXVpslK{UKjrn<%x$@8^uN}7g4~Puwlmn# z!EV0zoM`?UBT?BNNs5^D8+F>l(dqTNlKAQVRGbZ)Tl`2t4W2i2;gUqc#vkT}Q~M#Iey*jmcH{oS*+RK+R4Jp|rksVgn&^m$CZk_4W0{ z-Xa=vJDFu9(bBPq>3Y^`1PQJQGs zIJ{Sgq`H6X#<^mHO5z0E*FN3%bR-f>w%!_X0;8B@zkXMZ8~OFJoMF&9i%8N;*NniD z=ge}2m_UYcc~jyoV7GVm+DVGru+!y!(5ilo9-ke_xXPzbV~9iEG0Zn#8QgQ=PD?Wq zh;#MHB#Df=lsnd_EBgC4gTw2%E3l){x|M^^I$lgyK8^v1!Q{_#IjgrF7U=Nj4g!e5 zzX|!F!8(msDAqq^5)e~~_+RHqW_~MIr4G#QnqEWJ5K@$KIjAL|WUB2!hCWNMG0YtM zI*Cc-G_PMlCf-C?3CVeiv`a+#_BiIW>=W;Y#k?nNUk+$&t9EozU?Wmv|ECr+^$fFn za_IeyMgqximx^aghQ&RyLss&?20>Xo4|J8B2r^q|2Y0)<;{f9tPIOp#S0C7HX@r*3YAS84ztN%xXCE1W$Y@g#Ms4 zkm)pCRkQ{R^!g(q_B-a|fXyXN}}XXG>3Jhz62!)2G3uU@$6rQ z)Xpw!?rz-svXs9TLa1753BiKpx{#wP{+f1<&FG;o@?JG&Z>e1CFit0x;`}@d4%5>d zgjmWE!0s8bVe+UEA0I7iVqtCj9g;2*D)lSkb4f-T?aJ|NMGk!21QY6uOD{ZMg@jnx z-6kdx;j)XN=S|ZjWWkJKm~h=O1pBSrgt#OOow?(>^&GAOJr}EEs9T_83PKpK{2TcF z$L6l{lN}cmm5&uGdB-7fRULLedYrxtD}1wBUzC?Ji~j0+D+#TymzJ_=&(LByzhi5{ zpC1hc&P2)%eiAJD{LbFvxt!GVJMsn`O9w`IZlUWd*b{2cMa~;eq26_z$bWBrAWx$2 z1+=e1Xpr+bf4iOZFyQ(miNY|C++py?Hg$4buBjv@~*iHea&$yOdmI_{WJ&tsbvDaU}SP~HCl6!KWDFr zFfg7S{#GE#5c*#HYGN5*xQ6IU6%D=Egjr=)q8G)OZ6PVpA(-*i1I(7KKYV-~dj8Ho z`w6IRR~`#o1_l-E86N~|(~&D}`8~*ihwk=EJGaXwr*`V1=U8KRO|inXvq&7=<+Hx@01=cK(NoD^6$?NV^7!dsogz}tuy18goD+f zMU-DyU+yfPPo$w0Iz5L>GV#b_-)xWb(5}2m&No?3{QWU5cTy*;8XAo&VB_?!*CNuo zHOD8gy)3ch5!mP1cuZWN#8WFWWtDCr0S1FpwW>dUr&)WYGc*W2s~c{-@&S&P%JpRn z=k$YTHf4)Df=#IVe3N{6(4BOw*Z;gW+!xu`mD=ss17Yo|zFK;2ySc2V_>_#pFi*wlxtmSQ8jgE_k3aR3*_0Aw>&EJ>%{RXiBE!vN&sN_IV^5X z9Qfs$mE%zH76AJQIF|pcPp?mb_E54pT{Dl#xm!E+wkH+KyjihNiz|iUJzsp@+2sR| z$+9T2F7}F^jM>< zI@;|sl+?Nto~Yq?*D~XuErQX+lorT&ak_$CdH&6^fRR=tw3^6+CY8P$YJfXP}7@>D}Bjn;kw>2NSqc?G~e9Wb>7WTZB zihVRGI!$=~uO_y?2bOI8)^QT|m|&JcV1ez#-M<|LV9UqbF82W1pp=jWgE(=;!+~6; z8TJ>u80T1EdRLIj2A?~-o0TrD2s`FQ0W&!}2frDMk$hLAi>^7+Td~{>=vS%Uc&Cry zmD8*cMF@zBH5k(9ryhx}cPk`|!O^2Y%@?*g(3bXFMwJbxRl1cJJ0`KoCb-b|T?287 z6A|05wG7_Me7nD-3E)QRSv&x<1M-|!q#k>;5qh(2waJ{IaR%RqWgMAj7?S)?TfT6$ zs-ZZ-_<+$BBG!npQpDnP#MxjnO01E94)${TRyiGw3kXPv(n9{^%a{)UJec-V%s;?$!KY|(xuEX zu8u5NU@(MEsnZy_=WbtRI>@&RB0mb>v-kymFzGWv&A=2I-fqhSKjc;=@dd8m8IBgx z6TzcR0W-_?U2wmb*DviG;(xrJ%Jx$x8UEc6ZVc8rR^FZ+&q&Si2hR(oZC*-KkD#u) zr&8KjaFZk5K)y)C!H)xrVjf$4WV3tRd=G0ht^2p~h5#>i0cTLW{{s>boz9O4oKiEN zL3CVg1;9UVk^my?@BX!4UN3eaG$*WB$2LmLYo=kt<^;JG6|}v=$1NGVOy-YT)r-`> z!p?Q8tU~q-EKu-M*LEDNyd`7odYo#{8jJJ- z#XymoVvCwIXX8iZ5A7NI1fBq~{A^5&xAgen>#z+>F*POvWYSaO!WZp&czP0& z`=oVQXhSu^dog}HF4rz8(+4S*pM#O;e%s?BCbQ7^y#}6iI&9KxL!O*8Oeh2j6XQf# zX7Kh^8SW8RL}u=H^L^#WBz5qmZ^Q73_-16&bw9P3zYrRvHL`A^Y7sp1F2wy3g z6y`W6!bmx8KUJoHv=8ePMrzM@Ae5DIqCZ}kQoaGh1<$~2l>xmY>v6~Iq^pR5x^;mz zg4^T^EkgE5cKUiiht-&F+?DmcNk4n4#zoN;%@!@3U_T_N{+*W|@Rww|M!aNgNQ&=ehOwbM zk0pEg&jYFU01tSDO)NX=v$Y}|=`~nC$oBEXBr^xCUX)@N4uc9~lypGNv2gBAZrUAd zo?5Lia1tO{VSZ~>9(ym-mxLqD;jto9z>WAGj7C1Nzwg$gC)Ne%2OD#c1*7dSx{l~Q z-w`AKXcS__C`wg4^=V$LT+yBWX))1EV0MPQHNi9_r^h9y^UzKm< zAUZNV-(bVPIpnR(Wv5u@#Cd!0tS5&Qv)x3c6a>cw$T8O|BS|4Mkp{;{SR(s^Wq8tH0nu}|*oe;*JWC<6LEl-HBDJg|;KblaYwT)sY51*jXsUcC+9g9?O=SH{ zQe!;}CNcOlBpXhX#niR_a>{j&E~vvRC7e6GT4KF^pAS({X?4 z2_;%Gp<9r+Hdu|zKb#;St8KL4nHgTHumdZU7RAurd5)OfT$!iMQs#WmGP-+VY7GjN zYvoTa#&5#g(V>SNWIMha*G77}@u=vao$#We!6>OjJ1biIeY;ozMmoNwm^^wBTIKv^ zTUC21_w&WKbFI&HCigkXGFTq`F~}IPr7#JhiP1Gbg+Dytpe=a=o2>aOdTo_fw;cPB z?%!iPg`0?<>uj4vBAkSP%l^ZJ+wN}7D_)PefK8ccD|W0_HXTW>pJji9JH!H*<`eyw z9S|?}rP`K4ronC%ddzYUa7`P(8oveSr2fuhYd^LyBP__tz- z=oVdqK~)AyvGaw@1Z@>;fy7+41~;kST%Qn8ZLq=*L~$im?z#S_i^LEGqSGsJ`HF)f z2t(e5os^qc%=@9Cul>pn&l;PWm%kXr_Ub{ikU#a1j4bCWtFbYJG`qcm0{rmc4tUQZ*d z3+)ML)dHXLxp&}LbEui|5$#jLEEONH^#0rb!BB(}Z4(j3Q%^DaKEoX_M{yX|6U_)RfoHX0+*!9B#pm8@2Yk zC2`lUku~l0jTa7v{Y8h2gf*(jJsE~F@BX_IcP(WKoXLFzRNq47bSXCU_&vt#U30bH zQ11nME%UfSGWTMIoHcL(Jcsld^SQ0#Ok$6FC_QA$yfOtwE!~jw068Xa=m)~>@Ul^} z?KZ=08*bRWR<4y8W3r0%yMCq1knCZbW?!!TDj@8;$F%#@y#36mC6Gy4_lUkz?XDNc z+L{o7r#s?Ru^!AYu6IWDmF7`PvIXL${PKjf^Bv>el}bksWB|)d!8~`>|HC7}8t={y zDFj`!!wqD{q%xK2UQV66*XuK`lp}hthC>?I}uN%AaAE0RXgo%cJHs``n-L z>sTvehmZ_VB0JQNstUyceHPa6SxaTP3H(aE+`w_%Ji+B(eY8O8Yzr|^dbdtR;z zvTcqPOTbQ5&)1?RFm89limdF(b@)ljqZ8UGNSoA+08^sGhyTu}^-_|Kh)^vkPm*X) zi5Z#Vwr=VN&FlmMAINnQ&#|ocN#mC8r|ie!ch+1p!&MvH?S!G$9lF z;g?~_f1O#LI@fTG(1e+m=|3Qs?s-dTDn3h%}ReN)8 ziSE+VM=T1>zb>^Tgn4I@6-n6udsbsk?~ko z4R&H)eV5gYF)5}7vhALo1W^GLS-rU`Y6ExgOqeX40W;C(Yh4a+spP+0+E($Jm?0(a za{clp9AkMYTf5)HLob^W=KWG1t`f-(Dby+Df)Dm}yLCTZjNCT<`DxQNXln=^iFAeN z?6%3$-Ci<67}mn&6DcdOk7w<(7<3jTk|1efq;V%#7>2N9x%ePDWILHH9Q6?|FfZI% z_ilJ+$5oX1Ael@<+xGKKUBJ*(Q!4LoB_Zd%>8M|;_du=&f$-66*#Hfbk5vxGqVEKC zLd#_l7p7@tjYEp>Pe}x5Am6yJ34UJ|x@zs)mG?#B-}#DfZHpB;vdQl!*MC+W9$3=f zP}?)4)y&f1h8F?I-L6cR5rG}GTuAqg1l=YC;X~YvO!%XU{Y=F@r4X;CR$Y*}~@g)=!UiL;<%uU#5eMTm8pf?3mMo zLL!TH<)^1A$y=peQ1*%J46}Tawg@HRWbfXj;6|>f_7a=#JBhu_9b&gJ#gr774G0+((>-Jg>tjSN4(kZ9#Y1f!XJ$H(|tMnboDgazdCJs8jR z)+s7#=31Q!_&O~8_?Nz~dF#6iBTR-MWex)ZVCHGtByO;bEJpYj#^C9xNNxYsuTh@# z!b7XgQQc4A5F~&gzk>*loFIC5nW0dwdAWLB6Q@4iPB;*nAf6Ja(K>jT<(;LzuTGHh zpZ6JyL}-;nLl~4q4&GQLS+*F#)-X4)UJWxEubr!Y14(!xQHn&u_AW6B(P!boQwIjb zrjP5qAqa~{@#@TJPpe$ur@g;MJQr!({spgsH=vSPF=`FhasEh zuQ>PwfdE!zXS@uMY%`CYD?oB9%g%_s=HdHVRL6++DA8DlzHw|W)M%UHyft#R;EjL_ zQmk>}v(R63IRtw!w}~>63<=LvlO`Ipf;{j-GApaq3W=|8@Q+8*jvWk78nqySjn^-K zqzKG5qU>yt@9AI%AprZb=%ofCk)fkA=xouO&cNC?^$vi%@t&5Z(oV zfcwx^dW}H3f3VVUO5E*;^*`IYxuL+Cf_4TuQ!^m{bvE0o2X?i4MGq)g+$J@c3;#+< zQ>&=a>d$`iLVhA$3?<)IO!weJ0 z`_Qr>|JCm1#l7nA3%l`MyTPjZ`QW*b$_sQ4MH0IO!ZVf)sD>!oSW zMO2Y{X3>PWZqUQl-hW79pC0*uH8c38$$#V7m><~%Y#!-Aq2^hUk zP}>8U(1`{UtiGu8*re;Q`3V;I$v^-e$a6SAhCZsh{F4+B{x?XXL~t>zNfta44hxHK z-u*yC^7n5*Rq1x81Yu9uWR1{9YDE98MVFP3$Kwz0yq3AsdE_v-HM_qT7mmayD3Hx1 z#hY?ByQZ(x&$pXfS_Oyq1Y(!M#I|RbCUZ-6J!c^`d_;1-mnTBrp$JXSH<|?IelWn~ zH+O~XEIRpe0sx#TPJYR^5q_k-3f1Pz<84V#e)Je$xX=I{Z z=r#ut*uFhq!*aiHk*YzGxAoj}84{Fn<+*A-gt=^I_B!(a%+qn3c1_q}<;Yy?4-oNo z@-%^Z!u=9o=7q&3gbGcc|FzugbyB-8DGg^j72e{BxpPsGzfqbMdDPlW^wjz8xQBmX zA}u_jGYLqI4_P0+)C#u!E8^}-A;C+5ff`OMHlk`-Ux`mzgUoifNKPRoxYW%?D)G!Y z?JEyQnwIxJcp0Ah51wLh@Ejy&tN4A*9ZGmP2-@RhN7N%`%3{7%k9%Pz2&BO;Q{hxf z((q}l!d+MT^(IKIW>RpZ%XIf}q-JXhVs|IhKSVg+TGPKKmf}AdWSu%vnK9>oM;B>X znT*oZSvx9uXiuc~_Et?$Ox(a2C1Sc7+3RUWHBV{@W&+K?Jqj`guW?d*O6nWoZj=$rjFT=kOSt)AmOvPnSw~*64iB#x z(`E2|>>r6)1>OgTa~Fiu*%BRQ|8c7P4W8HV$JfT4g!b9+Su8OrMe=iexaFCMo42_5 z00KC8&55L~NnwZvif+ro2SHV$F7Mb%2*9%y%8DZkY8-U1MQ$O1z@;LM*+aq0-aosE>ez_Qo8uXX;9^*Kb5K1#TFgi&lse6fQczV z-V7d?-H5_BtnvyH=rY`l0KLO3Le+MpIP`ZQV8HG0iycDXPG8a*=*HJaRzYnHG2 z|Fsa7Lo3*c&VUP4+4vm<#SMdpcwz;DDw+g6VjHiz8hmvngTSZDmqg5kH^K@d`N8|} z52^PRJlGsax0Wh=YORrqTB@4Bjk`Pi9ist?+op*vcWn0%ZtbtRpZ{%}5Fi4*1(r_& z%$Za!i?v{&Dkj+(2?H^ymPdi4mXA%(zPKjH$M-M=6_`?Nf#+}5DFGe70lALPcgY4! z)a>|t5KJ~IDkBi_4b;nkjK3kG$h$cGRq;22>r)Vk9=2BrmlG5LVFTEfQv@5F4-tRQ z+ty!oCLb0@e@UMU;g|$Msh^TTj^*>suFrKM)1rqYaC}5Y+WPQ=B2tR3lSQ3rHULJ< zHXz=1ZeVJe?akic_}T!7FG@Eg2CRTI-B@q|<kLWT6%mD)Sfrn9Kcpd z7^wavq`s&f@QlTaK(;_S+lv>wo>0W#DX*qA7WCj7+zHiMMC_%KZ%hF6oOiMdEzvD_ zE`Aa!=hR?6y@eYytgNwn>c!}N?9LAngrAc+Ld3AQ^1vO2Yu+sc3C}n;9Km&E?{R!g z$yU7?|A#JBQdS5cF`%uTnPtVcWc|}}_pkVLW4JAZ2z98?^9?9~pWqomzDV)n8xjy& z_gLb;^a-xv4bbp`5I|>@Gb(Iw88c{>3QLY;SygD4GJToT_~ms0-ojInhZd7?IZ9n= zA=iQiC&*brVr;499xtT>o<4qU0IE+V05%A_>QY`M6hH##e!sb|;6)HNq8X>ZG$>|3 zOR4tBwBL(-jb4Y%wfRi4gIWhu!u)^^^9lBLNH7R*Lu9xNy4BjkFJVA@US*3A{6HWc zu4o1^+H07PMT#nC`8ga!Pot3>9EW=Rd&!0e(57(6%b6hmXSNFU$Q03{!ir4x9wetK-hktQ{?m_=4GTa;__zfA zCNAm;yK3G3GMM;XU)82Ne+9E*&75f$-@c-=HRlo5NabD%5B9oR` z{fO>jok4{UGo9T$+u0LE>Ct;q?eA*LctQasSg==UQEW2umO}dKbuv5qI28j1k0I-m zLy%2u9yy$oHsRg0VSo>1{!*J-3F?DKKLqyg1raTFzp#5v=P+1o8#)M)^*Fw}(AW-} z#-7GH=;kJ`>vE57#iNj?MtjMLBd|B#Tj(rDX4SAIH^(C6;zY4iOuOMA5=?W7B(;*v z1=hU#S0DMk&z!&HUl*v%{#amdDITr>JX$&^k@jGFMMMv!6z5`_inAbE_{QhR*wW{& zdc}QjlE|vZ6-Dqy+Wn07BD=Mp@UT%7*J20G!*O-nD-mp?PHE4gjm6OoiFraKKVY_4 z5hT}{BV5s}Tf}-1csnyn$_U%(HESL!)>HuBf^*lHN$mTVJz_TZ*e|&?eY`f$K=0rC zQ_1WX4ezVPr4}OdRUCAGyvRm(%gd|H-99RdM3_#)0T?h!~f-WU^&j zA`;h`{}5T`H_4aHZ=3Q@>NZ`V^Iv8PxKT2FaaAjmV!;d}p z&B4c!BYHj1J%PFuBW;)B>Ca|At)DW(C#D!JP%igFKFfUVBT4z>g*sf zr%Gn8ayK-Ap78_l`ss2Qd&ftcV_TmTSHIigr-JF~1XA671VI5Khq3@Lem0vw`h~RU zOOq+sv%1y{>7%{52Qhw9O!L+2INk&2dqUZEQF|%M+^h+9_@4v2s8bNDFS-Y`t09c= zJ^?5%d$Tz_7E65&nm_+5rmM@W#X!nIa7SJE#U!tpv?D7JE&K5?NH--JWb(F3O$ptT zEWk(Pq*>%1V`{~hJDWoEkFi3k-Ucg zx$j17GIMNe^XesVl2hHYyx{`_(twB>5?fzi*Y!0!Q3pt1 zJ(Z11{?|h@=pVGH2w_e$P*~zg6Y@1_kRN(sh@ElvQbIM85kG@Hh)2K z14he#Oq5ueB{+WF^8vY+h6QK|>i$tzSDoFE;b{q)3JIk}U#uvUewgF5s_bm|+-3_g zd`@mb1#mU%=L6KGR+gDvCe-!+V3Ev&V7C0*KWQKHJKgaDS~peG>$TYDckulV{_Ym*aTr$1OZ(%9U8}s8NlRgajabr)S6& z(Qb=k&RS43;~-E^SDNfhcb-(y{Cs}Ur+_TGv0PGip$S6P{6PTC%OZ`$OWg^UMeP69mql2kAH~)utN|(E=3@BEeeK*nFj}sz02-zeuowIav1JW1^A*>{0q;$I zHOul(LI9#RUKTburg0QPa+V+GOwA) zg%(2tAX!o!;2~l20f;9U9dGXd;%{m7Jd-g-EQMqqP(O4dW+QYV_^;)Y#XGnkTMFfN zxYKxO>ez?L zBug?)Xm%xVbFS%s3!wZ?&E>J!`c!67H1WY1#axs!`k&I?L-_Mf$Db&5XxsA|(( zR(PSu6#Hd3sbT9Kh=y@~^dHh1re{BJ%|=R5A6w18XjcBOQ>X%dc|FDKu55Mrg_QJJ z7mnfSFvn-!Gk7dx)|!;`BrG8#G#JfUUhu=I_EPykq0XNA()W_$uGl&-Szh56z*Kij znGwC}ZrvQUr08&9d$;dvo}u$mV{PP2gNxKd@ISmu!;uzjyIYP06pjm5qoBa*E;Ul_ z{gU)pg%4gUU1+WLp{r|`8r}==tI$<=D1R`d&%oi`i!^V>>vs-M6V|bwX|ntyUU=Ni zq;#;^8B;MyjXM4ij8@;QOGO$y=1#?p1W&qGEQF4iv7yp0SlpXb%rw|r_y?+>inqYV zy~;Z|c+u&b>MLR0Lvxxs=k|UK38Ys1Npc&<1#2vtSeH#)b;`p`SEqUf1%}nx#u9Dd z01vmTRnD7KfX%n42``HauG5v`eLk_{98$A`rTn)!;TzVPujjbIa@bI&N(+8+HOi|nj-y2)SVdYc?-i?;+i;$gxGRW&yO(&`MEi;r8H z#!WP_;lF_&VMF$`&JLe3#Acp7$XW+CDwSj)QH73fiI0|PzMp#RU>G89Tp0&vc1kb^ zz+2a4w^UJ>-O#WZLDy|cvsDhFiw&cOoCWiolfGor4;R}7|5{U^il%sB3fpj;_~E&~ z^<`a~V*S`X{oD_usx>w~UzpYf*je5y4>5m}!Z@DB`VJ<@`e%N(k7}u3({&!&G zAzZxV96`&>71q|&GtM29bpW0D*mW#f(YfpnU3aJmOxMiD#VIxH zuGtD`7CSsk@NgZv;ixwpz|-nS4pJYG5&rWWwfPBR7~#zis=FuTC@EJ&F;T-YGm|{U>{u(p znM{cxH^HISYpc=3LbaDCC>^C*n2e0T4OAs`iAp(+0W6@53K+%zh=9W18*trVZfR=8 z$96yL;X}zpv1u{&N1Mk=-Pk#)Olb9Sws^DozLQ0UWsNu!EtiS~*j^Ho;BrM{Ts`y}cHBrjJ zOh_QQ>kbmg#5))~IouCdM}o4r?wytcf%Ofu;-4P%I05yzi;;}jw*<4SZ}yQ*Tc;`{ zPNSkCF}i>n2dSfMk-_Ebdce0HsQY_VP*3eonGU|(Toju4FCikib*4d~5V=`Mz%XIi zG=L>j=}fYvf+}KzUNWTw0#(r4?Q(9GR5$6|H_Ja zjaTRLO_Ss*SK<{406%I|OK7N8-eJR0tjJB`pthx5TuB%ne$(`AplL!u%+dt5Q@eqO z&GF>=z@)jgUzIGq@6*PBO0I+2C`>+Z{d5iL6IDtS0_S=t&x1#vaUfN$j(M24uhmNM zS`QEuVE~tNF=R9ppdgh%a-*a#g>W;M{a-1DSRX*rAhSC@;w*_a(Of7YD3OX7U5}-B z$fSy$*>_33y~joU6Uq;8G`txEk?{LK68QaPCVUh_25vC?`7=UB>A;RtrSNGDf7Lej ztAgMVfn=-apvKbtOZGEt6ztLGL`6+&cy$k$KGutt#C{IpewV|57%Pz%hEzzoldD{Ol~s z&z&dMS5HkMwNjcu`_p`VQxj2h94rt6V+YxDd(FRaw$m%%a`yeY_>-N!#qThVHk2M! zKf8y_7vb=g3>o0T_piGHW$wuTXikR!Mk7HH(9sSySKR}PjoI2RhN(|Gf8jKQiG3d7 z16SG|`dned-Z6ycx)F0}JzO3tU*hcM4WvoWDg*%@W&4K1+sy=$S(S~nds@_@;`N61nJAk;8XRMQ?AV&tbX?U~6*MCc=biDe?I%$TJ*~qGBs&SN)7I zYV41@H#RJE8oe238lEXjK`wWqn;cE>1{E~VN-p1;;nHC^wTFMQ4x z(jU))Jx6=RTpr4Fm8z#3iayxsh)fqNgMxz8(UOGpr-yDI zI~XCLv5pNsLwSX1{v1;P+m25V$IoMNwNw_>X443g>ci!LRj;(uA@_#ZAucs8hGUZMR(|Bl+_Z!Lz(_MrG!AvAO#Q>z`=b0IQ%oyoxW) zhLjT_)k?@Ty%f2vfhk6YOosT|pFK$WF-tshNNGP$S!3l|8E=&f0C3z~aHv@dfBD<5TLH2sj-(|mFMdVn9RL^32Zhg%K(l|PeTo{(+KjBenAzRTH*;uQofhx=j+9$Vy?NhBU8L)S`qHcKsfX0&sJItaNo%Wc9c00+;Vb}Vt z=kuB>s)sT&X4}VlS%K`Gy{y;_nlD84tNMY%a>d*$jh?#^NV0L}kh65E9?nec}i&|_G;*BI4p zwWGhgWqI~9O5*bN`^K|A}D57SWDjgnjA9i5|8~gJ{Do(*!z|(ovQ(Q zfSCpa@VO|w*v+LqIUb!9Llj25=J%{p&+Ez^i+lTz@@1rPvcSsoeyRL}Sw=$W*Pz$Y zEJ7HNNW3w*D+eqO5kl!LrhK=7>|!*{D1uH$)HveHml-D2x66yPW|K7fb`+iSVPfwlduC6{)HGTBg>_{nVuoN4GR3;6u9Qu0Ie>FLV z0=9p>J-UyoHX-Pz<@XK%)4e5wVFON5ai(9JgY^yKRJtwS!&6yrlJE|RH@`AbYeB~J z{#f%fvWbK0#1cVtw@N<03ZoyLG9a$Yhw5~F=u-8x0DW1y{JE5Kp~a8K@F%dv)d8AG z066L|Fc?GAU}F&3 zr6JFvpc8!~TKw`N@k_1jYx(J}$Sw4hU98;YN)O+Y7QI*N_`A1?B^?9MepsqJ39sr@$@a**`Xu(5Quzgmh#6;J2`v$dFQ{>ChL=i2D^xo$Q#fOjYxx>R&c_;)g9(-;M-cJ+x)_zb_P6 zz;VktY|hlEJyBDqt9w=fbPDGy3ACj-@{&)_g?o(~pZ+8p)^Z{DGNFq+d_OK7mW4v7dXn9hoh z&yo1BEr10K-01}1>Wyt{6)$AXU>-4U105L`yD4no$~)HWhg?PwQ4pg}9FdQk7NY(Y zPR_cq7@^W%*&a3lVBqXlr9C8pUIH)h>&5NpoSAC~LkR>4)pk-RI0EgQ zz#q^40j}8yzf}LV`86S;(l@gvKD!0^lL}M%_t}Sxnm~Y^s9?o)MlkEpa@#vP9p!+t z@`V?xd5TeU>m6!s#XmtPUkbBF=P#j46A9`^ZI$I-OPyaVcMv0W31;^0MWf5)v;5{6 z$HkWrr6gjPJezEi@}M91OVTS#RS0f|h5OqTiB z=p3%+-OKYP7`Lwk=|ky*aX&U);e~ePX(Z2$y>x(Xg*nUNJXC6%Vtv<~{%m`mKVEfl zmg!uSTcx=0IJ0TXo+<66PhO&F&U@C+?-hq`{HC}{?_w;66iHZ;NwvUu*KXX|=?ZyG z<`J&EAMvn`kK-=9YEBDh$WpZSHKTn{g%U z%_Oqw*d{1FG^%uKn-G$)rq((C!N*($xpC2Fs=P@;^` zh=&w5e4x+uqLnmsGNRs>?wzKj3)23P)*k!ASlV^O21R|t#M|CTrU9oDLaoaF=y{~9 zeH<%;dGW+SvRp7#H{ZBj zPvyps@cZIZ*-e(t>tx6dX{vV{#ufS*ph>De^=fl`GY2Z@f`xd(32aNRuZhFt;shYzzz!zwDy4(NpLzjJ@I&> zqYuZ(EqWX#{8{ZHadX*A1q}r=@8U-2>n%r4S~gDy6D@(G3N$=q`)g)j&sNn3=l5Ql zixb-P?LQ|~4nTq|zP76!=Sp-?garq@Cog4xG5DY^(J}M@U!$ic`v%yDNha}_F48NP zoM!w(!>ld(meR`Tr-+lJPvdG5ge~vW8ct*_vO)p5;XN>S;U1>#9`)-44xg@?@;{6zw1KYr-mo!IISr& zmWu@Q(rQUcW+d)@^IFW8IWGOkmo?}P%I~gvy(dArbK}L#2*%s1n+6SPk;VK2oqN?P zgdD;>b!IiC-=I~O9Rm0sK%Q zWJxT$Lc+4C@MnueOkbTsb{U$2Rw}1_9UBN;w8*_~U*5TVjzC2wG->3he_v4JWNisr zEIv&OLvgGJDyYdkH0-8)RgfHUW+(;O>h<-;OarW7+w=yi|NKA3+G@}-|2MyPh0Z)f zSb?oYiP=}n|BMI=(>Nl9r^tb?<()(8z=`!!;E&#-j7j@gld+}1VSeQIpeC+G{BkMV z93>V8k=YB#stjUrz`L>StgGwfDi5Z|JyjY^X*<9VdyA zF%bmvX!VNtf@m-kkccX46l3x430EC3aK_$M1cJdnH=$8r+D~6ye-Wkv1N7iu<-~uV zb>J)6-48WQR3yh(WR?M)$NYw+Z!Kd+WKkzlJV|?VGAN}=vUiwefL+7m<4q@lC zvZTd&_&trZd$NMyAAF1Bj{XhNEHUiK_$!_J43FG7M}EpBio&2Kkp0pw zYl#&vJ}Qbtd=>LGQwek+9{xE9ZE0&MGql5io@n7;t|n6tf$wTL7WM6{(GxFzVXT&P zw^^L!1t#RNCN=>5``LNr17XLLCptfN&}=ca)w*B_5xnv1^Ue;vGAN;#CwSQ8r|ln+ z*6vCllaXCL51z2r8%JxqnF688_bge!8iQLnPrL#S2ti{nooyVygQdz$w=HHa0ZTTp z1{jsO61#jSudZ%^G&Jn|DG^6cbEhaF@g4?Ec}X4IY&S;j96_5TM{mB4|I`|kdm|3J zoc~HTqWAfC6W-(gLazL!>nFE$-QzuguI{V{etwArN&`S$=WY7<*g<)jH(7_6dfaD) zJ&BcGL&n$$W?!Gcv0flO>(-ld$jtmuYluwPrR%&)?sDb55AQ-h0Dfp_*~E@|&i(IT z7cmIx-%xtIp=x{A`R@X#67v%~zMumRnMUm0`76oFi>hbcgH<2f9el*Eec#;AU68`I zm*M~}U;I_y+L@wNVA_w#37BU4Xq1gBabE-ua> z3q;_@A`@L?04xQZha3K10oO|-a=r5ci!uuW%fcr z%{_OO*d0A=AvZZbuF2fOJOdP(@ z4qD`qPldC3c*{e@0snW&MeiZ3 zmj2oAt@JSKj4?;zXP2!KTXvUvjmvX@2qffI=J^G`4(m2Go;CdMS#8H&71ml1c zVVq@3S8=>IA-BU}(k=(ozwvgxZ_atnMk%6UJ^>e1lWLkL0d(pJ)nLPsUq6?Y!Vfd? zrs^+Vbgq7#|8~6kOlOO4P^8-DE}$LwX*+{>;zecj3xzilv+xG=lYB>jRO(i>_@{Xf z+Fzqd*1*j3Diur%F?DHFm{zvVm+>wm`;49rW^8lVu*?2}RXX{_0X5nLRl1ci9Ulf2k@JP`*{e>C#D46rx^ zCi1@8RxZ3#n@CWMK|>kueZ8a65=a$nZFn$AOH9ZE;iqdLaj#JriOPPUnWy`Za6KKQ zStxfl6XHa&k)iY$5h6_im@ds#H%37}?BDuh9f?@;p34qBEAQEuT|K3+Z<-On9c8hE zR+d0pJ#{pdKR&WBqlgILrxbMFco(6>P@u38KOJcE>_(TD@5;k5{-gBfLh`0(a-_C- zN8|9ZM=_T}-R^d}klNEme+Myp_=n+p(^YA_Dnr+)1tgl`ORWv`CvCx(%rpS0gYcU- zf;Vh>Re^)&4B21GRsq-^@c~1H!yViC08vUXbW^-ANHXZqE%{_F7czUadD^KTHhSPe z=;Dtp)gGP)wZ1Dh0m_SGG{G_IfJCnD@;fG`2Saku-*8o~2t8*_ zp3E{3v(F+4C!PY$KMio{3x>3aJ#73mMrR#9Tp=?vjCyHZrGOyY$Y$4ICxn5lptzF7 zB0aKE%Qw9*j_d8|ug2awamm=&uK;B^!3a?y!%C(mhDJt`wk{Q$0-Prhv@9Qou|}** z1=hWG>5A&9U>|MzqcaUJixnI|vl}NIu{F{0g_L@w`Y|(SI3*N*>I`d^gDY1Ka(y!` zKnn}v!g=ixmx0t`pz8x5xqsvNidHe_FfH(z>3|GI!*hlHt+yM$=Vw1oxS{5_o{%clEg zuQ!~hM$Og)t+Q3i5WNQV+r-~%y9wap5idY$*ytx`c3T9=hN~)g&y~gaKjO`s^jHoq z=5gVKR(d^cA3IDqBN%Q~8Hv9L2@0~jDvnjpk>SOVW{BGJ_V%70Ex~*o=!bsr>nHYx z!reV_%YGo zK;PJRs8@5l&&MkM4Ru!KC5E*X{6@t{Dkid=Lr=+v1qwuc%&LIkQV6z}I%#tda(B4V z@H`0n^;yj}w^zj-w88+bw|G{QN zW#cjU5Ob}x?SQOQ5rGYr6U**d`}sYHsH_!QpvnG-4}`k6zS78cfy2uLal@sozq44V z#&<_YU;krcyx6YXIhOSEtA0VkSIb&7J;E`92*i7<@VP!l-tISX2s0l58x|=b=6xt7 z;dAlZEw|8x9|mNsa8)l$tgnG=nN;)}BGg5^;Y(m#cb{X!n%F_Mct!63$9JBN??%Q` z=S(oX$EQo|4G@ub(?iqm5>*U^5VjXzrAwORq=YCszELy8e4(K!I_vwsaT5u9&u~+( z6Ts3Z{BCNe4AxedA)+{|#M!|4%f+Cr^5NfPS|fQ&D2lGoL8sVu7{mf!Sg9x}bOlih zBz^7X#5+7-8(~* zWa~NZJbbp{1LZCv(Q~hhi;7+s6%{cS6&5ivA&M9o3rWZFoh{8REp1UvfBy5=PHpte ztP4y1k|GK$Qni0X`=n(VHzRg*YGW(PymL&y-Sw_tZ_U!HXKcRs4?{5LK!c#q1gG6M zgNyQI5w+dC(prL?t5#fE2)ePdF4VxAn2SY}L!2!wLtC2&0~{C_c)t{kXS=O;O8y#4 zkS{sbbDh81 z(5hKglzRe7uK`}Zo^SfndWtG4hUzLRD(Z%)W@7T_vVvdoWrSrK-#E4|Q}eoTwcjQq za)~%E7#bh2Q%Y)(Uipkd+x&-s-~09-a#7O)ILIVKuR(*LZG=rq6Tc#%@`8p|M0Whw z$fEGlukqP6$>~kWHEqey1OKqw^x5Ls9B#`CsOak~;0#0ZBS%Q^fk|;J(xSsr$<>m7E zd>jJdOJSt}@8=Hv#inU&J3>=qY0~zWa++NhLaMyNVnW-bZ2YA$qU%pg#h!KO|R#H$1Usf;5JKt0$G%B)9D#P{wpWumNLHP{WeO2K}w^=W3g3Li6U? z6xOAsIV6n!e5%WT5SOQ@$28H;_^3~>meVf;Z-uFyf7IX&7z>)6Q;ftVa8+c@g6}8p zyQcU9uM&N>w|6RE%?vWv#Q2yWy|35;TvvwFBPA= zM|KDm5oCh;ra$4T&U_C|V<_!cnetHFqx3zhdgU5{)BR3*h?t!*lwZcw*f`E5h?XQ? z^xUb5yH!p!{(ZiM7Z_b>Nv!XthdDL5Iy?dH6c~ebf5{FhY_!eQ8On$zGq|0lTE_0E zj_zgzKRtTbYP>jcU$x2f=OKV~O)lA&a!<=d{&my+aj}2}T-enA6Bo^$YiV%T+n7a% z2~>pS#1L@&Yt)&!eJ-_m#f%c)UvQsRN3kR#>KD_Sl0cn`SHdlox!3Pp`AJ66)y8Kn zklZ=XC$M(`7inghU&09|dCWywb?S)}J-Z~5k)iI6tbw|=FNHZv)k&9Wy1>P#GQ~n@ zuA3UR4N-x*BR&^Aqkn47j?#qJ#;N`M&QI_B$OVIhkL?;a3%zrfa=C{Q$( zPxGSBkp<6{Z>qaU=eKjlTAp9wg%&MbnG~)DAMOc`U}3NZ#Rs|Qe}<65-=Cntz8FR} zW>|k4DKoJ=8q>M&0>Ro%%)SWMYi-bQed%GYF|3hcozx)6E}o8KaihRY(no%0ISus_ z{b88-^~s4uv%=f#g2cX)OEBzs_Tr=JawvfXanJR)6#9sOcB64@aeM-@GPv9-b-Xd% zOa;G3NZ9)XdInZd3$Ko=a9}7Jse<(j%%>6Y{h^9%)B~U@LJJTef+?fRGbI(t@4l?q zA!JJELYgbc{C$pdOxHK!&X8^fz1m9XlV0S!bWxw0PDnX#VEqw-8?EC6(Oir+^d~uW zrF?PT0rJ!%FWnR;o==5*rKKmH^!nv&@7!QeORN1Slj0Hg#CHp+ex^MUl zuuRM+E=v4HP`I0tch`CeWdo$PyTN+e3i^W#eOb$k7!kGoSQ3SLxq+)I1J+0DqW%=G9))>1=Po*QQOcsVxJ4By0hpZphNgzP?#Q6KSyvz0IPuwr_ zgaexwjp4k@#bS|pnC~q^2>gtLeO^vJ0TQeH6J84#DTtJdJtT>abAY~707CMfAJX0X zPV@p$bjQ`r=ccg}vBc59o6%JC91_Zx>~l6B;cWd*;4{5Sz(p-Q=Kqm~B>P}4q=z6Z z&Pvk1jvP!CW~KpO8Pm^5Fksz{ z-*cP{!M-C;;C{Y>&EuHZYFc=CMpkTa)SpPsKY%%KmCD4(UGIFx`R2-4<*%>szfLfK zdA?01sVZ`0J94muA$(WeSgln;{3sD%-n@OG{9WK~W$O_8rRRotDF&?NUL6yOSw#Z~ z;};V$|10XaM(B{$QiQMkTYS@ED@`v_2Aysof_meNqJEF?um3|F!nn{XZ z8Y1Rgzf==ZWf>sc%4G8f#9C}@>HS!?TG)|2_|Gdb!@8b73@)g}r9eX!2JJVxH zFUsNPQvoLFYGH2~7!6(@lbmm_LKTyK)&$7O=W)NijB4%mbV;zJZg(j6{eauGad82i ztdbK8rV;Vr{(=)nUq90Qfk!Co1DT6RzIL&xCj4ra*&Ky#eAzx>FjDxER5{J{NTmq= z@9&ir_<4#sFA*Nwdw&t#AmUdhQ!hq}Os+HwQ>X1gqCJB`FI!Jd-Ola_3Y2?xw$i$L zTu-+sOdK!^yfv7uy6r*M5y_cOmtKhFNCq1=9P6Zk`GRX-X?UX`ME8w80YN=8=~n7A zbA<`qS@^eF_YxE#2C7w-8|BasEDaU&u`z%9%6c?cW9ah)QC3I1QEks(C6~6UIwlRH z5l1j(0AbTo*P6PBv8VEJb#&5)Kpgo1Jclf3uhV()3%e}i49F~-)BQU(B5K-*s~`H$ za~?_|Et4WQj>>UR`_fx+jfd_xu~TCY25kb$5bzB z#7Eb`AYakEK(`o|_gS=dMvl5S3lw_v+TwST{@wKhWSTX0`c0FnO@9;UN$OUY@O_tz zYX|C>4kc_M&N|^k6g1T!;4q_m(0n#OfHP=UOuYG=dT^ORi@ChYHm20&K7Xm$`hNRn zdGGyj%@hQr9J&{BNEt(2bjM0c-Hq0A_HBj`c3)W;7+_oKk*5a%_ zyj7Dr`0NjT0Hp_E>AiyBc*eii>IAf^^6QX^)zxSjqJ%_wLqA)Q8odX;y;&{MZnGcG z`V?&6=@`(+w%Rf93}z~w%M(&xob8RNcR2r!jogW6Nj%#)oZt)i#&2h@rlE*ZtkvL+>U?Del9-{$i!%!w4({F8c|&d44K`a?8u)k%9x?7ibiMN>SLYl&A`W z|NF03lCwYeenAL$B~dqLFnG%Ads>=#TD`Gww?cIQFE=kY2e%*xub?)Mz#AU!H{2p@ z+^8pa*P>C~|2M(O#nR5&?|+|A8@}=16(AJx+^ENz-ySqbxpdp0dPH=*|1P=sv3%0nsySqbh*Wd(qcXzjE@8AFZ5bt%) zo|&nxzPegwtEDDHK~4e{i3kY*08}YSQ6&I?4gmnrIRZogthn^=LoP6;!m`2uP!omx zVgL(yrZAFJk_CX@v;YA12Y@Gt2z&qlPM-nbNFM-rk^unUHoZlW50U_7C?g>Xyaz>% zc0!&IZ6!4w006D;zaJ=p5serkgm;vZ6@%Y_BZLK5o_Ib?G$2Ndsq@ zd|)ND))C|E$Nlzta6Q%hRf=LcNB!%NiD&6{L*`3&K@sF-qd^6m-VN zgIRn$`q{v9hPVbgM6aH`C%E0)Zy=u+!QNMgR#rIzvr_NEiF zqdnR7Ns9cqZb6vtchu0mkN!}-PgeH_f0O6i1H$8cUUg+UcdMNX(aD2s@Kjfp1KXg`R|0d z5#N`tY#J17XGNsek&(pgRm9Sgx1Df4!CQt&c!wAx!<(f^KE{{5#TAJJ&k$3kbMe|(L_O&FUxWg0N5RJ-zlb~Jmpp1Gdw^HrC$_~;h6A^#F?DzX)* z5w@k%Z6#h?EJEl%to^}6o8pMM`q=vi>z-7J>qJR9bvJ{#G=Q>HbT|v8H;;fkz4oo~ ziu3S1uoHu1AVuZ7*kesGu_gZ;Hh_vdS#>KD(cH#zc<|bF z=Odsn9`}D`=BISh{%)ZDhvcg5UfKF%AzlVAe6jq~Z#x}jV=JCdIF$XB2z%7e*R`D1~%img49m>E1>5uYLcnWkt z9zTb~WR`QV5?yY0I#wNvVN-rpq(}^Ivhvm{)3^E1d6AqK!p}v0#|OC@ms)i3g3u5q z$Jm>GMY=E0M$+FO!E>=4Tu5Rj`rkw3o7tJDJ?(HpN4t`-)^khpt0F{VNC}h;>5inH zmgsO6eQLNl42rcQm2y@Ap(1eyd3T^IdmmQn_}O5@Sy)IAVFIp^53YQ%$n7r%VC%RT z*zrKSL$n_UwbB8tP&St@BVo3P9VS9gI1v9px~r)jgP(JXV$9dk;j!Tj2N+VN-#kby z3EBHQS?LPl4@OqQMC14@1_3|`<{`ifByFp~qYq~D4%zj^m!wl#Kj&&e*)iOI!|PfdT_`VSF-jv1&2Y@t&p+)z2NK;?_;8lq7D10=moRr6kpc6vhB0 zhVPyq?ZHUnJoVl`-egiEP*-h}FW@QW;#D>1 z4RW%()CbmDE&{(N#VJ!e@sCmy6MJ)<%zUm>(l4>m1E2bP|CV!U6g z^2=vAP_w)O&*3B#JL8v#;+?5b(WB}y-`+T9Ul3}s-O9R(NJFA5AE1jI7fvwd6;Kl>=fd`k=p{Q$J{rvr z8RArH-Z)ttmQ=Z)aV|1Sv(rLH_Q6-&Dm>NxtxKJ*)#qswF8M-`cB*zh_18WD*#YW` zY8sc;YVTDt9QPrp%;m(Te=mI}ir$O);7bNSf)FQebTZc;F3KY&4KazoZXqr&Ri4Ob zx^h9BbgFPh(tmne?ck2{V7%tg2u3Wloo2MI?tyiBeRN6X_3MS1qM98o!0rOS82MEVaQWkZcUEl z8=6rsES`W6q`1-E1s6l;)fEgWJssG|3yo)i6?d@QKmsD(9QLPu$tAK-zTRXk+;ltj zDSUOrf19Y%vt27%cXCa%hhb$T552^2j;?+^6r-oOw>6oDmWOqg#+$q~bdM~rujh6^ z|G=vI*Mz|iH5|9VW{w)`_Lu3{j+SB3NxMwF^eFX;myKOH+Dvyt8Y^_M4*h@AQ=du7 zTxq5tRaw*PZFDUjc$O>P{kopTZ01gP1?|V1BCcuoP1+N-UPFE6mRMb6eBN4*@vmGV z#0I6q&&8rQZG111W@ew(Lj#qs9Q%Gi$3XtALx~UVb3JycUS4eqL5{a@1@`(%Auh`$ z{vii3f{R~HA23+U&>MY>KL*-o>Rh5zf?L9ZBs8x_=;POW^RYHxEN?)Q_MfzVVl$k@ zx`i-e0$zMg9_)xhr)XrPPBd01Vu1!KA&vYvdR)P=tS!2Co0wa3pKzsNNY}Dekir=- zGpw6og0C!pKk@M6wvLEv#UlX!>u_ixbsL3Y#5(Dhna`&4eYJHNgxMJXN>42NqiJcN zg!*c4Z(Vif9Ns)tF;$_8dcF)9$eJ$#bx6B zo#JY=Jr_!n2o2PKi2{(s+*Dep_J`%&LE{xr#a~p>3V8&2RjPvvxB`;T6{0K0@tpSW z=WujyOQSrynwhBu>LCEc@LAp$Dl^l4P)9#J&mB@+;Y5(T5#D2Nsy#RpI4*)yTHCd6NvD->^4UhbBw(Z(Y{22UuR zN&wbn+k{Ji)QDF~Wk$0h+wwuOtM$BpG$D;IB=>N>bbN4MNl`YNgKvqgPVD`jt0Uhp ztu>yX(*LvTC9zbI%GOMmF22?AzIY6IV5P&68=svMrBW!NwovrH@p-6{fYr_2@(K&A zwgjeX4jCWK&|2=^ovuhezeckTy@7*a}i%PYTo_GQRh?rnH_UF6oXrQ`WfPTDcQ5HaMRZgaa@?K4LV6Z`~h|O=D%lF zA;Za`=|v-Wq_R0WpsiU!SITQ))xhZUlkx77&UxtI3{>58n6l*4euQ8j1ZV^WvPi?O zz4JS|lj)woeUj68bED~M5&W%1kSID96@T+1fxZ~404@$B;iWb;xAnVl!0KxLXMW|I zjjKr2w2?0J0I|!y*}Ms5Y4h#O1zGS4wEhqCy3sjy+Yd{}vtRuiZIj6k0;<0?vF93X z=Pdh>ONf`ae7u!vH3y<=S~p8K?dM^B`FP07ppB8TTgODK$Ac)KTMu;o0=s-~X4Dh}?`%DP?8ES$wX`p1C*)0v zmb@Jmdqo&h@wOWY#OMj7co5lhrrOCRO<|9ThS~LZkR7b%_P3n=h<|e}2^DJ?{SAQ< z-CWK~?*vEr3B$f81RnDQc{EM0Kiq#S3 ztH(@=ZAg{?Yh!P^+9ngA{PKLqaKo!ov6TJX_Cal#Z9luL>OWAaT!xeX*!%N@2Cz+_ z9#pDg==~^r$Cg?bOz|DBiSZh)`@OALxjYiM;vyS!*$)~LJo0({QYmZ&CcetcA&h=g z=)J9|(9)6ou#@(Ixdn8kH!xG?7q7va-^qqdPMV2jgnkwlI6P^Sme9uL_(y~}zi+|s znyRt`H+Jio>NKOj%&jVJ>)7|Yv}P*_of(DNbKe-TR5T?UN!?~e!$a4le2wf9IrIHK ze8Bd246Eha7j)I!Q3bIw&cP)%okrYU4epfAE2^bW^H`k}u#lIS_23A#Ieyt}|DCB-(*N zdX_>^dNfOgI+>r;HJOQIx}#>};1nMa8l9Rt`W;P6a->sz|G=0DUl`2Zk8C^!BTkUR z)X?_rhH(=iZ__vL>sxFPO$}}{A_`Ygt_rGsjnc!|{E_U{#5$67{>^QI8Y8YhVZag0 zI;u5P+w0aZqEKKr#z?E~0govhYwS!R`MJr1`nYrkjn3QY>ibs`OD zS5hlwbZ+ugz{dQYuiOa8ha=#r11Blo9*N9C4I)k1qL{%{Lrcm;M8Rih5r*0wcIM8s zu-mxyu4kdy3}ReeWN;lRmznYuJqeOtoR@e%NdyYap5?x}y)1IJyUdvNE44iozim_g zs5@I}AYA$NmgAOba}$1#GPW@zP}4qJecs*(0GVef1njIo8GwyKC}2AhDg9V@?q2*> z($jUl+%(9n_3iLpyli}LjVW?5#P6;*?zs{gfI0KvnH#~7BzUNtmzyqgUc%P&xow)Y zx%u(;Y`~sN(2ADuVs*A^GUr}S6TCR&;@y~aF{D0n_j|r##cOEn6Z(&r^1o4ia~$G3 z3cr83+?!WjWm+c-+Lp@vTp@)F5evzs7`aDG*Z5)eNb1KmZuKMV+7IC9r;dDWiBH_S z--G)NMOvyT<(?5!1QSuTzM21^Slq)NigxxdKa*;>q4LMDA1c`m(GmIL`#&`KV;KGk zjBZ#Cex(;Fl>f-zP=op^8920_uZ}MA#u;2rB!WP>^WBJ(oMR$!y8?mrcVfWx4t-{H zm~&q%Zj#58RO_!y38g=N>m}GC=CIMJ=tFqhDE7Awak*Xz9m*lCHEF>3KrCN5)* z>Aa|rHWOTe82Y(!3(TYa8kGZde+0VRKmp-=E+0P9V3s$$hAz z1VPbe%G7U)cPm@up9f3rmXz`RirBPfu9bHz*-s+quKOrA$>;}PeG8q57~+N<<-`mK zxD}{8URZ8xI-w{!+iz`O;Q^Si9Tfo2o;&c#_7I?eX8@a!DeT0o)K^7pe^vKbhB(U# z1%=OX1ZF+$rozHFjIR1NWr@?;IILo@Ot3V-;LIF6$Ly#gZ1%wMzz))4pNyVW2EtA; z6j7TiZ91!Jq5}g`@1PIXA}c9Rc_Ru`cao{gSBK8aJY)fIy*ZZ~g)A&MM>=1?7iqQc zx|V8r2PUWv*W18Z10mo;e2U;n;{46c8jhazcax9xU3Hx zEs9AqPLZp`7MSr+KucB?!kuIa@A2Gfr8bDpZM>Pa=mJ*Z{#F$Y5UPnwvmV^Mw|!&JAdpX z*3@P;ugPjW{mt$u9+gx$fM!xXh+wB~I|<(!DT_QkQpNYNcELIE$FwgG1D&JEd|8CY zH;J?+mkgM5n85mgvT?gv&~jx%TK8__2MNk5AI`Kr}O_Rq56rm z0r1Z!WEWWV3_f(+9&_}{(z0>zvsd7|Ss9wA?X+Q1s#02O)kkd}q8ZOpy~f`kF#4T| z{K(g)mI@|Royry&qS>70l@iT~DgMg--IHRrFgZ)|Z4R36+cRIE`tWj3;+CZx#u1?u zz!z>9Jgz%}mVaA(xs_#6BGr`66`t+d2(@!=)pyx<&#Fy!4bY{ zzu#r(^hr>T}7#xY@ z)|L-nZYwB4oYUbJx-ykma=FA?(z;*eS~OBI*1IjlC(-*rb}loNrJz+paKI3k#0R+w zKwMF-0*#V?b}uoOA47~13ZzFcA)9rbB0-#`WTm3gL;p4-N&_G%434gONRZL`g2&UQ zC|^3|X@TOX4!dc!Yc({x{Q5 z!_)vGx*wlwOEa7kOQ2(ftSB&xrD?=}v|Yt_Ha3{cpil6?BAOL(1m$*C{i^4S*du>Q zh9h5#QMQ^4RicI?U84&tRo=Qil7s2c*;?ai-ZM8M7FOb3bjS5pBqnKf?`I*{C~*;hJn&WOiq zp^UrABrOK1Q-Kn@^r&uiM%fp0>2I4&7pLyEn#^$`u$wd^V&zOjXQnZqt+0L~LmG%m zHMg&Njr^ZYhSTLiQl2hi0LLg^eTz|V7>rpQoqI4xoA4WTQlx5*sP}|%-un}N6zbaV z*bgLYY`Qy0yibU*zvAf9f96s9iV&c}-S6U<{dDy8)`Lh_Fz zmL^bSWZyQON;bHrMAAcH{X+jp#gm7k+cXKl01NBoG-e~EP=N_eR)JT&dz~Y;#?o-_ zbW(chp^yL5Wb+T?Or6oc-eR(ziTk6e3P2X^CRrWMYv*;Mkse)a)befe4r|#|R#>~} z-4}sckrV?P_KZ@*{d}Vgc3mmr!aotiTRn9@0b?kN3^=)Y2Um4j_JBR(}qWoBJ&|_CS zYALJ5Z4rx_?7>Uw*s`87HT5)rhblom&w)|*TkdNamKp-D)jRu{XBN07qYy8Irpwuvf6gYVB{E+a@&^XvCKbv2y57^ltj`6ABD%#s*6N;?V2@ZC;;obd9~e zq*D%WY|)nzY}>-k-J|Ylvg+_Q*{s^#$-<>+TA^@o;q&~Gm*-A?5w&)Q{+Z$36C>Bb zjvNh1ZmKr?D2EC<;R{z1-5rxjLMj2@a;YSjy4V+N6zHrMq9j4vGCTUk-g=qH&Wm5| zvP{E$9Od!;%ZD)qd?xH1C`em0VwJPi8s(w=* z%a_n3w8J#MQr6{S^7G|q2kDc6%U#SFyh)Itwe8F=t$(n`h{LY?X>&Qq7|tBcF-2Ep z|9m8u*=?@(oxY7q*HWEW-US|VOMLkLmjJ43*})7Io^kuJe}&BY;C5mW1c3Qpx6#L; zKYMBMuAK{?x^<?4(I}z})yoX;%R3ItEHVMvMEwe9UB_%O2&S2+<>b{9 zWH3A`XvM>x#qd0lkdY6lp8s~SQD|0$tn7pT*J&WdI#`3#vge7SNcy37g)x1{=HFVL zsgr)2ETLL}Bo0fl6jk%wYbUSCdD?yN+Tg12>Md8X>pL&MBzpeUX zYC;rOD0vH6V_im`9o^uh&v0}3Zl0^R$lq~&e9l#RaH}JKTukJylXsio=c#iqpXU| zIa2#a%RdMsP(}*)my=4?V&I4Vvj4&EN8(O`(pC6>wVyzNL5iziDv z)TuyMWBHR%dsw=ywmynLzVp#+W|B4hFVi54Wa!%$*BoEBlft8amiQ5vB^3C{g}4hj7s|rR{JF2aRgL<07UEI(m@)f!pOdvMJmqx zWm{@<&|e)cHznXHt{K4x9pGz&E-gZ>6+QqwB(IV_s1PPc_Tx|TtBefpDE%c|i}cgh zFnrj2R(U9&Y_%$GyjvZ)QDP-&zczC&0F+wxKxx-69Jl*Y5Hd`!fapqgK#w}?7~mh# z$5-}1HQzKh2;lg$+b=-wID~2rWIJ;l4YY(6#p7`R8XLS$uNR_b0vH#)FkK6IX-H3v zXA5S~K$+-=Ks1noOaLl{JPmn(_{H?|Z_wvg6uQ0ZsZbr+qHKOOy%b99NW=!m7{SQL<2sW&2k>7qeY4!=g~i*SQwkV z^3Z)C{vmOxYQ$%ugJFVSmM_&u;DKCk{(^!qRsT;8CKCimAcEaJ0fj&p0RTaqbZy@0 zFFOakkge_r;#f_}sczF;6mimYyxHtk%m>S&K$bDy_q;K-bHT^nO>Vn(Gb}#qppfK+vlH30RQTo+NeM9eTyOoKOIS z%DQ~2HSX_gsZ__U*`~(l+s~W6^%9fm>6e!AtvuD?sn^Wu`Q}U=R{9a^m7gQ(OY_Di z=_ypECeD9dLn8VqKM{VFVy78*>p>TbO zVm*r7Lmc68)BUS2hV}Nff3&gpCrbaFr=J0Rm?HKsxkLDZf}IkYFG!g)!<3Ks9t&R0 zDUFCyXcW|Egp?`sXmAj%D)Qg52qC=o9Q$6hh`cZKO!3kFLL#*`B(5TZQAPfJy1(7m zLtk7)5dN|xwF$h`8}kZ!Q0@H17Wq;|>M>sT^jv^GPZXWJ4=L78a&U8@oQQ>Cmj%1E zO5<;E`u)P^!oC24w^m~_HAAmynOF`P1ai|#y2amCWrI?cF0#AfWSWt_`|dw?P*bT% z>bmRfE1%hz8g>vQ2Ai=`+C6J5N#h?2~W_q0$Y?^wcTPmn0y$Xc%WlxbGsfa;s$ zIVcR;9roE;&As{_1#i5{pHTle%2^`WZ~~P5w4@^b24-1|ht5FPRw?7BU1b%#GE2Y~ zG4IkX^moP>%4{z7=M=pRE6Rq5j;-)nF50CKmD)&jvH49{B9#b1J3?!sX`kK&AJ7W8jch8i8_V02cJwZHBfU zURMvTx8Lhvps8=cnR!H zKYm9?)M5D6`Rh^o;i2^gYq?Kh<|noYLNknu?kGGL0+zhdtv=ree~c>_Uo#Tr&+#tR z#L8~)nAMn-Q&^M!7$UmbMs`xp|2P!29(68)ua^63m-=*a6dDXNw3A19Kh?{gGAn0npZ(D}$93VtYrf_0$}5c>r^P>n6M8&uC>F7@ zrOnXcKpT`Fi~*XtCUdK)jJlZX{*R+RMoMm9$`C^>x9pF%O`Kh|GIi8=VEduP!&a1nD4mBVd( zT?OsU<11Tqgcq`x-52phv}SOCrobTX8k3|Lcl%*@X;ywC_%g&{;L^Mu6yDx$s!sSb zG2_Q#7Ux+7um(1MuLC~2e@oC~QI=MLukE)#8k3k@C3R~|guiuHoT*(M)Pffxbx#Mq z(GB#I_R6$O53JG5y}+^y#mH*(awPH38h(5aDT&xNi)a7_4M^7&#OK2XA}ix;>VPhS zwu%ug2A~F=#x^3HUhxBCN87n4!zw??T89-A$?XYW_EL z<$vSGz|y4=mvX+zm-}n$Whm!4!>e%$>S4BWkVFl@#nAD64*r4@Y!Pca-M#S3#i=jk z$6mL1#|K+>c%0jbKg8N`vHyYgCmCa~%5s2RO77h2OR2SdVP!%O^^weaFjb#OW}D@> zy9QZL>*#3Ot?Az~sDG#FjqN9;g#N5Fb97Uv%tRxmHk+jRd`63iAM-Q*kre#zkVjC_ zRkCLF;^I9-<2KD}rC`@hyHGNM~*9zHC51hq584zZ-7_-dwYv#7fab@ zEmC3RJUjHo-pAUGRlXEXJ6h!=X#+G!pY}1w?&L8a)Dh#K{CMc~%xYwsX-SS-v6G0R zhZeeKo^FjIRSUX(U0eINlt*n_@?BOM+37~U8k3avuGk!foYR&}A*@b+G-0bao^@&!wx3XRTdOB601+d3s#0x({ zn^cw{B^Q=oqT`o?ghn20^q${v+|id;vR1QU17A;>g=4ryk4rY~nDj2_IIqnpgJ;@_ zvI_W19N2(onCsmm==Z`@khp+{9?b2l*Tu?&%OMU9!NeCk+n@gsZ4W>1MF@5$d%TY6 zR^#F4_g-J5ydSvcI%1uDb}@)S@4Mu<9@bVbh^>q((z(>~@~I&s?&WbE-8ju2$))Pk&QBjNhy)iT*FyNtr~9Nd)-Sf7NrP?Ihyyny+&}Lu&Q?QD z6M!k#$&5vv@(;%aIg%t-X;Tn#Mui)X64&a^qOJQbYu0$AUn4v1;&FCHX>yCmSW~bi zo_bs1N*Z6f;jBnWb?vReSQ(U1Z0{kq68#txw&kupS&N5Z z4ZXzu43Di2t+~~Kv*^EmLT3_F>MKQ_JrGwT`KK^_^qaR`faGJZ0o#+6>h9;G2p6C6 zzwe^M2hR#W3nU5YaX=)cqA{#G{{6Y-kmFJ0X@=?&=-nuP=>FjaHdQVCxo@xKfo9uc z4~c1)s~#cwHZWpygZ_c}vc=z%Rdc5Vc8`fiMx9O&EINzP{ONH74*ws0nlU4&RiRb=>QL2x>^ZVMS5dYh-;RWF0>k1USxl8S7}l9C%BT`(fE`EMo9 zH}5eBR)TjPF*4TE5RuYMKo60!S-@ZC?y~v4J^Q5MQb%NPs8gDI^6Y0%j)W&7rN77H zDlUdd;3IyN+vm@9&!#bz--V!}DbzqB2sHz;H6tpRs#nfPfCA~==evLYiR>!bzfSnf z_4?wZQWI2fskUj?^TNb;A@R{Xr zZQ~e`hpXjXwrgm*dV2<=lglqn{6?HW@GXfj*iqgWaoJ;@i+vj%>Yac$s{RPq%RkA! zc7bkFVTpGQH-7WIeSsf3`byWR2mJDdMK+l3S7LinE{bBov2?gZq;c+2mHRgka4CP4 zmIhVQsCnuHP;5&vGUM{udb}1iqhef();D9W9qsbfStfX03}ra~Mp~5D)-`n+YR}p4 zhT8Yi!FHz*{5;S=ucX%ua!CuwD9uyKCBH6DJ2K-wve7%PSB3`0{a{8+n08j=f0@BX zrNVy%0PC{wwN^}_q)whoKEH!!0MoC~9a?D5UJx(ZQKqW>%LP|Y3oOnp_(rJT8C?si z*{k{VMlbz~@-}byMCYIDS{{twZE+=ucmmi35_hs|?dI0deSAvhMbIy@%9IouN*S_{H7qlWug$aOw}h< zDoFfVjaU&C-9JZ5qI+Ct1}K1h>Wcf^0bUQWPN%LQl8|nvHj($U!NSA0DB||MdJ|!n z6TfP&t2P%;m%??Kwy;m@*sb3^YAyS!lav#w+82E;GI^u-JKnDS?OZuAgsNC5S))3k z9yWIVL%d-Be<3+$G|Zs>#0B5{h^ImQ3T2TmP;zl~k#dbkf;9C%k& z9@puRb_GpT39P02eZbyt`_-;L8z;Wmv~n~n8}w_%f{5VY0(d6_osEvRWNc0J4;Y~n zb#|Yc2;YWz$EyE8D}s6P01IrkoeI3-{ME{U?Yhjw*V8W=zDk7$ zQM_OLYKue*6>rUm#{uQdb?tf6<@@>k}`k!_tXY8 zCGtS@8}U_yb&O6}Nnag2W!djI)K^5x)kX{vgv0hk*H+A{$>i^(;#gfYg-M8%eHH|i z{xHW5h$WBFmL)N=XN0j~(lI+_S}2s`A9GdhA(g6~N&Ggx6zfFh?_V~sS}e2Yj#c|3 z0z*Xd@0vf;9raGL)LId$zfQ44;#|VbGdU$22?C<}IOg_* zAdy4Aw@Lm3uOgWm|KAxHpiKwu>vNd@DE!{`2a~@S910T1UDV7U|Iqw9LHGytS&o@* z2`6w#?eljD+ba(W_LrZ?UH`6RCq0K$A05!mari6t5zpI3jR6y8l4lpvV2q5%!4S!> z<&j*(z%y@}e)+uu@Ratkje)Lzi+lZXjZDbXieTT?7Z(p?-i-=Ij}$Tmq~#Q*WcKkN zyu6Mt42ea*n&hN%D=;$)JPkmL7RIW-gT~bGho+%Ej}CfypVRd8fT;U;MG8m()2`rm zRLyH%z@xPW+3y{#0$x9%U2obK2?qh_OTJRy=1}xggwr?knJ?7_-CYZRihONFgGpuV z;euw-2Go{v0FgB4u}7yrAd%WVznAa^v*ypNpJ2OXaVHB=A$6A)4Ic9F@Q(cFBXrFx zBwRp4W3<|P+`yZ+RggLUa<4`DglrURoz7^4gNw*_oToG z-L|;Tofz3A7034zkhTN>^=SIg`|$InI}q^uiqpWf@rXx*9|OQSTWMaJ-&K)Qmgo{g zMPg_MuI>v70kiW{5aj&1MZal}{Vy7DrJ`tSjxEtO$%;Ry46Op9V*p@BCP}T&by&>} zWAs3{-~yED=r9v=+nG)KcsKly#`RyipwgE6fJh=>L1Al_`Rk%CJ3esNO*Xh*hX@{T zkh(`w@_T|3sx&w71hPRpzqp|y6Peyy)t?(~Hb3sr``L(8Vo_We7lVwoxuJ?~Jx#64 zukQ%2aQ(}_Mf%~AxKpa9+$ZFhCnHZjBJi@>%Lra&i}s2F;8S-~k7~v8XKTPi^|(}b zWuH)oOH;3P0A9u)?=2MXo?3y^6Ohc$ImM;mor26$JtlCBr#CAyjoB*@0bgb_L67C~ zXe?B~OpuQckJzeymJHmMr8PLn0b`p$%>eb`&JqNECxO3^`T54)MF5~+Bgwzo0vHCj zpwI45e3)NCP4nvYpO0kbX8z^u?y$L~;-F)?c?xR(wKn(|#?Jj-?zb&i;r#^tl=HFmn(f7A$-KY7s1U^P z&E$LQkAu5@iUUW%f{h&DQ(X&S%gQrN0yuw#0@t0_X7XLL!h#2C1ixo{i!4oXpDVJohu83?0mFJgY}7jOuipbRx`QdNGB@j(3&9+%U*F@gsVThghKu8sq~6l z)_XsK4Qpt`ez&6xJ^go?5%D{YsJY^%yV7V|XIaq8jJWz(%cpF8l=fq-m6tYZWe}92 zHFTw#jOWCL>Fv9!DmmWEj9GiG`E$|wzKX+~ovW$Z)r(`LH1TbN%Qn9Ai*dp6LhB_KqBTG2E6FeJ3;P*DPr)l{PiW^BNGMaLZEtf*I9jcK7WzLm;xy0Gp6Fq(jW$AfK&L3?gMNWNkKM-|PS^sFq3^wGg zbVknB8-Fc#f_#p~kHET6IL6TkufD44vaua~Cxg?ZRl$@2HI-EA3JB@ur54Yz9Ju8< zF^qA8)EG;Hn$bP43!g0m_$08anNLnKpapKShRv0ZeTJdN)D~un{SLfer(KrOaNbiE z6ZuxOrY5Y+BwI#`UvS22?D%QTwEZ6p=%!XO49dJB!jfaZjcb1~noE@NU)>3|9sQS( z8{euI6!T+OW+Tm@oS^wxUyOU4vfs1l>T_nW-$~+wz7)$z3izi?H~r+@1bVHdES4IKzI-PvrD> z11#wL9MOd|dBcfRCQLP*!dcC_2tTiLH;Jecl}m{zMa0U7EYKB;NJQdIcD7FAul`~N ztHpBU#6kjy2C1STfju}wad^ISu?_zxqPXWOykeh^V2GiLTL}!}JH>{DL;)FNdH+d* zERj)Fsl@Jr-@0<8^A)Ja#isHL^R0?4Atbeb#ctvu3TP08JxNp{7O7>0!~ZfyGP>0vLpNH5svICpD`%9o8b8sE|6m0AiM4q~YJvXK5H2OGh&NJ0c}gr03Q zDpd-Zp$7wAfW}G z9XQzagg;{Tqo672H4|@0Ojd#){e-(&EE=#eyFcNmCpoY|)~zA6+y!%U`sd3pM^wPJ zj9s7CW-Z2&T#A_bug-JnDZLqSG8ke|vXkitkjvwK2>^^`)EP2rP!^~-8&?0StTsj| z?HkTs8+#T1WHNt#!Efktn@nvMwv#B|_*ra<<1^H&Tse-;y0=uRE_N3a2SD=DT_9*T zS{YHWvy6vuBS9WUqw5i` zRcNeWl>gHUToo*Xgu|fz7djS$t2A$r`65?Q1Q{?$j9yxD(U4OAOTZL3?}K}^!YYAu ze^2pF3|h#Xul55~haEB-SqmcHa=HMedehAo zx^EuM`G~;$WLU07{8t|Y`27In$USd7l2>KdTJrAmW&o0jiV9hl*A*L3>tNc&LGJbc z2AL25q3`UWm~5{}bT*yv@1V;%2N`;-Rw$Wp(PrZmu}|?$=U#cH=wadoC-A_pq%Sh8 zR=nAIclG4K^fZ((c4A=yt}D0inxIan@M0H>}M`qQnOi_n)lApXCp2K|10wh(I16ZF0-sb3j>1OYr9`Z-MSTJE57YE2 zT|9MkO*!-H*m}4mA7jzMuiThGQw%*YwIHPCyw?A026%~L0_hj7fU-H1=6ZAtG6j2j zM7pv(n+|CM2>8N3>Manp#=iL_o1Bb{OwXHSVu7%1Mvwga9u#5LH8{NOL6m}>2_N9x zW5frhdKO_D@d10m-OF<&q{mU%kQX!{U2;uZ80Y*iGY3(CiK)jP)G)D0ZOy`cQW-2j z(vk0|KzM~3qbYzKzCIfh{fI4PtgMb+)=1r7p}5UqmQ(6KdJ=o=oIIm*w54;+=%zg1 zTknNK$Wc%qG+r-%Tk7;-*kCgCdRbkY`;Xt5K@Z{2`Mf#Vo(#2C)3FNbY930_=UbBg zM0`Zb7~TKjF|EA~f=Ub#L!yJ<)v_i;>*t-3(fp*6a_@nwqvTk%ov0JJgluPNb_kkW zoyS-r9Ff$GD2S9h4Zn#f{U7G{VoAmnuCT*ath8%GyiduT{TBKLqAXd@{=Vs~*KSFRZ9iSE z{VfW`&^;sC%=>w^HkqX0p|fGm>S{=JB-2S^4|`gub|C*7`F(Hx-1;ZEy>*Z9Vkh@IQMZ}nS=_cm7@oyRYZG|b%+R3|@n%mzqE#g$fP4y+$ zks2?n!$aZT?s-ESvpeGTXBF=9kl+@&Q#%uSmQxN@miI+NZ* zp*HS1Q&6p)V-EXowZDyMR+rLLL2JB1@MVfJjpL zYN*2yQ=ErF)FxxhuMS89Qj`A=XP*CEvRoiFY{R9jAHe8Q-)f1}vCl=MR2(Ms$A~R? zPqlDQi4Jh+Jm_RpG3=P*hpg@eGoyL;{9pRWVl8Y1TLT3Rcr&Rvyb#S<28{yR`sREyub;(tp_@l|#LZ=?`kast?^!4PypX0f|s!%&s}SeqS&Wf5_DbMMK)?hVC#`CGa*sPek|xB&h{4~_*k)2L*bFeReN)*WrNI2?hPQ@Lv2!JX>LXKgU->8wDuFxfJcZ} z(T@Nmb8^2N70OGyI}bzchkIy)UvnX?aDl>sIOo_Pi+ISOe**yUk9;x>QvSY;Fl|1J zi^bJ=D4G#QZkqq}udm72jAMuv+>ghgpMd#@-_q-%3vd9th^OdSh*sDNx^?$gL;Po! zUzc~>vY=r$F&K3ZbBeUlJsl* zIv}n5gO%m3<<(7UBR5ynL4qEZvM9ea(WK(u59CQej@SqaY1PQ60Tjs%oX+NfqD9aF ze2-TFfR_uW_XKZOMjaJ?->G{Vgb=u7ir zfj6jMbnRi!H<}Oux@m6uJ*b*MuN_Iim|R4IRCKV_(x$8Kbp)XE@<^i_Z0jkh?E2a< z1Q?AQ930{qsppOdA&1O|oj^(u`(fphrIONf1l}uc zQ^S8F``o>UC^L@$#1=Yy0{)hfc1{0yi)3S&1w>gMQ)_jK%i$1F#&qKzv5TN;Wj0GnRWWKs3M{P2FhvuD;|i{#J~rnk61`Pn zlH$=zk~}G%dQv*&zyFNT;~~sS^X=GpJkVIYg{6N}a^}w{ zVfhl;a8Z_&z#}$m6QCv3v4o6ga3B6`sNm?}4rA}iyVdfd-?d`wAaA6^@B1h{=Ir*p(GQ$0iE4Gi+FKKnSfovxR%iS|^> z^qs_g+~S54`VM80lF$GT9GIX_byylOaEXEiVhynje7POQFNU*oWTGfuXg-@eGl4+ZWqm=n?Q3XGX86f%7G)Oc1F#TZHKP3ZzWNk?aBD-nh^}0A!(x?fP z337^_e#rL@(4xou2E8qHc?6XyZ4@pG3kfH!FAu47OBtu`VAgjsqQkCECWR4wB1xMx zFO^4moNuJ78|QusMtP57ZNJ|}1zR5Pq?B5M6D!fFaNSK2h)G>33$X$V;I4tdQPKjn z0$jt9d1{R}uGZbetOi>hLC{^&qKp3)kSYS?_?ybENR;?;gN;s)lyPWF*?u;52$Y_h z1thmopRwpsZ8gg!knssfcUry4=k5Ic^wggkly;Wd}Cr<1+yZ$yBMql>fMC-{-)MZL1M>Tv|4I|s(p z7LkkTO0|C^)clZ1&>u|!6M0)tSK!z?rM-E_vz$T=7l!2bKYw6E$sC4l??tzIefo1J z1S&8iH;;d`-FKpGj_eYlXI1#8@a^`F%&0jB&Q_ub`C*H|R(YZU(myvkeqq6qSwHnz ziofFI-dtH*)z9$qTv{(`WhacrwKu96J!hhBk^P6Yyc_UkqH85*ZzDA+bp}29$P%{Jos1;8xTXy z$c^Ibx>65(MK2F;NiQVOPr&*6fSrN&SOZ~qUN9DEi(Z>c^^oe1b~ymsX%e%G@04`~O z(GHmK5_7@F#=iVQNQg&dSZ1r7UxF570 z8g&T)sXW>a)7Q6KH2Y34GHY5a10%SWp9X}j9geAg=Y0}C)5maDQP5tw7C(1~n!G&l zf`z@cvuL9~>C(o**LmgP^*`GEmhx8^7|qHY5wOYfV6~I%{_ChQx7c=Cb4k5KmI#ul zm4*8Op_X_I++^&X6^$*$G%Q_hVg>J;#?DoKSraR7 z(PO<$v<6GiZN#bo1};gY`9Wger34WCMG}IN;r-}$5ggaDw*0U|=NbM>X*w(g@47ID zxag|CW$HKi!meC61!XO$SKjBp&SvAj@_Y>EdSc08VBuj9<9{$3#!|>z-xcxSXHm_M zvVOE-yXsBIXcq-N$)b&zLO)a(MCGf<`c4xW3}VYE=&A2ilq(#G=ke9H_@__S<0px8 zu(vcOtWI}?ARR_2YC2|Irnih=M*|WX0-*s*DGMF_r+h=Dx5WkLNbE23A4Z+MUZhb} z+y}7euf*?uso~e2pf92ydrWf2Q&{)tW|=Upz5hUoZ-~H_bs1*Vf4Ab1)gyPZ%8-et zYvzD2;`xv#R$xaVnJ4kV7rDv~hjc2z58_oZcc+WZPTOIq?LyT>Hx%hHDSdR$cWKDg z!-4-yKTSw~H+iuC8L35uCu0z?LwT=*9mamI@0DF{H)oxIB(j}(zvi&2i)PAS4crX3 zl*0qvD4gzE0|`BL!ZdgPmeznAckl*$TKRJ~{E5pfW^6#I6hs+_hI|ig7NaXy3WZ%E17q3x#kIQQM ztiD4tO7lIgs;s`c?qLZvPJU4QmkApr#XLV`lDV{F%q6<8{C7M5y&u;;IeUSShuZI` zkX&Dgd#CnYrvgsY>llNb91BsuVt<1e_g1>W|)BxWTNisCvT_Pc#JTG{ic z=lm))pYpqBZR~D4n8KJ>k7!-fz-NGktX@fz}6dB`MV)~hsm z=o7l;7Gz~s>T$|hY>r8`pCR30EQ5!i8y7pohUn%ZZmKCev|8kz_}{fDEDa>ah})^{ z!qh1=Ky}@%!8_>HP~{sP&W!1MDjx z=AUktkaxHbWtP#7Buc%%EpLl;Y(8Kv!<_L_BX;@&z$BDyKrP4nvmKXoxb%?-D|b{L z-b^eul4#5d^Mw7|Vg_=J8RYI%5K201k-{64aO2}oEWan1ZEfbce|bjZOmde zL~7xHiyfW=!L|qS3 zVZOpO%d-?KeV*f?SXkh4Yq)k8&)rsd%M%~gknf4!M^7&L;VrwcL!%+{&tscc0T7+A zw(_z#G+Ysko*@aPJN<+T5Y3=_@ir*G`7%yi%NPe)AcWlnsH1mnSG@c>mWKKo1C41& zOUI;twKCHjeV=lJ^KNWruag?H{;n&xj8-Cb1)7~g-y`OPpJe>@TIeVG)5+x<6flf{ zVAn~6nmk|IQUe^)U+LC*X>&8C2U4@YtLxG-NnCI&o zvAC%H<^n!~Lq<$g9Mn=H7pN9wY~CfJPzt?C#$~6O7?KJEVfsG>WIo0|0hZWj5rr7V z&1TWN0as8F;A}dEX{V6L98KSn=%50oydq>j~4Gf+XRmS<%ndc=X&KXPz-le z3KKLgte8vxCrHRljxtz+iS_$Cv@p!DK6)Xv;8zd0;r!GouMP_GA`mAU9`diGRzlEY zb3Ho{8Im%CriKx(M$ItY=aA4BaEV2Cqo<-Y?LLU+42d$S$h9rlE3X_tcV{6Fp3J^onEBELAQ`->9exB?>|K^IMwzU)vinAsR8DxFpPfjJe1}j#Oqsh1e7gpGE_>3h3(+<-Z+zP!vuhLYQcnvZI|6y>n+#2#o&e zY8>o|TKCpUtM8z~3~|)SU%>Ii8#$A1Um)BsMJ;5lfdRGob)(Q%ok(Cvbvk8`6~d<@ zC%D@@>vc`p;=c-({|BriUtR<%(aZ`KDL3NdeD^m{8&;amlBz`DP)L;`wTFag3#Ma8 zfF}nwa8WB>Ggsx}kfg0Ju$WNxKB6>@ryU9zTvQdWs?Ixy!$1>k#Bd!~6ciURD8LXp z6u|dZP&|+m*FrtNs}b4RxY?i3(a-Q5g4Ht%lL&u;nI#n%MFjkX#~f7jdHHr4!paDN zxPz&A1winp{a~VTwdNY>L_{qcKt_XKQToLY3S4w_YM`Uhdiut@-c0lHNpVJB;j@n! z$&)(>BfCJT;&i_E5cS?iU<47!n(g#!G_F>Lci%u@Ty}wSY#j>_a6)8tKi;Wa0X9dC zP6uKdUx`GZ0|mzK9r)Tr2ehaC-ZBlu4QlwkGh2*ELloA;(74CrZZtHR>J$pXW%omO z{6AH%_TR8L@+94D0M)UGd}guj>vR)0F-(qIroXlg>w}%%TAwZ|fV1&yp0y&;@PR)j~6y~?aPNt^o45oHo#=7$JZizZ$Oy0xJMFC zlrhJf0Y01mcV-IJk!^+U;R?N^+10rso7-BV{gc+}8*TTxwF zRtcLA=lR(MrW*zh2IG_&=dvVmbjUshm*IP+L~4oABaI7fTwexSG(xR`oPTM* z*Ih}@XAB0jPQCho*T9OGU7G=#&DnKUA%q5gZCpA=X`hH^J!evnnx>Ed%|eCkRRZLk zncZfl7@WFb3&Q8m=(8vHVlq&G z*5&LDc3bxSV{760_i6=6VwamBCR5wo9JwDDQb;s@q-*?;a9IzuqreA|moQXE1u=Hlxz+2IZ@ z>*da&7H^J^dS2$MPH<^vRg-V1<*=KTx6fqpXIvARa}J%V?lO-&1lG^~;FP6JnQtpi z=u{Ct-b{_jsk?hJS~HqQWZ$zG%EB9oi2 zEi+RqQ@_bN3d17^qwYZ~+w5*1+A~}Gn1ygE>{~v|#$yiYA;@NsZS=wlqoNJL13UXM z75cM`x*OTzR@s*`zs^-FO{o90$H)(B&eWG`eUm32u=J}S+AB*?#a&e*hctR1XR6MN z!*W@YfyB);rHY8PaZz{Z_v8dp2{QcLiJs=PPANo0V#3gi1;3+w#XraPi^!MJtW()) zyqXk*+?NnfBlPp)Oa&Z+Q2BUL!k4$Td@4Y>{N(U(5ghxw`>wDn)swJN5*j!TuSu<| zyqx%*FRgEJ!{jOZ>c0K7^YyLf%K%9`gK4*R@=tJWEZ7rCw6ikTTXDK58z_GxEQ1Fi zdeH|E^i`=Ya-H{YRNtX5TX9}g9JR@Mhu8hSJ~u$O#AUr)N1u3tQkbzSMH(foe?lSU z1ySk>ynR6O1}>~_-I#MU2h?drj%;C}ZlvBckg`_`Y0ot09xcsBYUZi^1@<#}k()_^L% z;0~hl^R}unz4@`72p%}fWI@VB(86#WF#8zVJF0Vn>yfeHJLnQd@7$n2+iOksGN^1P z5-R^nxsY=ejgQ^@NulMD$sN%d_jq-aC(Qlg#SVX_=8ixmw@hVCv0e?WK+&vRQ2n$T zy-m|6 zBftUk6TN+wrgsAeOf!*1>Vk0C!D96fDjq?d0Bzb0H=0Eo7&JcG)kwZa|lapIUPJx+QJN2AM&&SXH;)~pYQm^Fx ztkCdQhWpvo)|7M3Z_3~1N1pmcC(J3W{`@A$e&8MFFXT-X;+F!T)CN3Uj zU@JGSY+N|6Esz%)=lIUFKAlLUA2|F1lGkZXUVvk_^nL(VZ@ zwp>btGx9w`R?&$0Cx~)73aeNW+7zMIouawrepEAS%ah>1I5 z5j_C`0sRpHfprPwICRukTTGOOPe70kd290I`LSw1*`^W`=u{fRLx;}1O7i!$q;y!nX@@p3)%?9VkI8V*QrQb7(!Dm>nTD& z(RCCogsCZ3HI?>Lw#k!b6)PEal-I-h>4gZ?cEu&)O0v?DYT_EwvPwE~3i@(7hH_CI zj+*Q{TvD=UyJ8cTnkQ`=cZFO59f#S@zk|BZd-DqVXl z9mcX@NY`$0%b<)G%5LO6E3S1J#dfcX|D>XFtGqE*EVd#$obJH`Z} z*TJBRui2Kukawit`Sc-&xAkXyEEANJtccCoKu4yjU9k7h>BRoPB8 zk&jrV{rIo206PbK>y*Wi!^~wcMb91?K@8o;(g%^uFDT(o-aVy5c(UCSKCJ6OlhZvt*;N#$(&z0KD>>7cnjIwdo6Ep81Nxmz0O=T|?oF#n1TzLb2oB99vV_wCDgts`ZRTFbuxAIyyg`85DU z&0%k+!-tGFs|1tpwz$4_b<^X2$3cH%Ok&635` z0qqR@C_)3wODKyc~6XeZ@{rDN+!Xw~%+0hIqfZ#w_ z9yaGfURgomPh}j1-|wA?c5aAzRWtF+_y=aLbGz>77jK}tgZN@+Y73{Mk@0C2x;P7) z(Vslbzl#_7;ilCUV_AZ>o^B4l?H>Yi`h=IX%VgxijW6Z?B?P*SiW|S!3eCg$>4JzC zNwExBYfAf)#C@5sOt;apY#GYkwv(_dv2{u==oAKFRKjS}4^o|QF_wGXFL0l)ejN*p z?M5DypK1jMd;hxk9wGXr^G|=fH%hQ*m>rd&#zaAFSoS*RqMA1mcGJ&b?XRFT{m%mu z0O%}MY*Sc!Kr>B{)R~ow7w^!w-u*5NFAbWLKz>IWV!%An%&O_yE`~&?$$(-g18)MC zE)=rq-&jCKV#%*(CkbsIW-%5C2=s*!wk2p0jpTIxmpY(j#A5k5hnurzmS#Nc{rihP z)jTW`4o`?$%+!}ZPl_5rtH>3)_nP=0jAkQ+IH1g{M@Ai%uUBu+!aJ?{iGt0>_68c6 zYpEptKQ`eDaK+Us+0g~otlXnAQlGnaL>V1W)HLI~mO=-Doz;7iFz15gUy+kK-whnN zAlVS2qokWelD^4yv)`H%m4l!Ic{{Wn%DY6v)ekb=O;!0@I3S1Qq9bX@K&~_y`?-WY zto<(;gp~i2RQx9y!>|l`uf6*gF3{JrHLr60o(Jva`|kA3sj&-JL%;uC4XXY}N!-J) zo3|c3&c0BhNInhWYX5N5dq#J%gPrWzjK0Bpe(2TMRUIdMlLtZCleH%|1~Lr!qBCPr zp{>-Aq&60BQC7gA_3$j5idn?O+q~@m+SIXh?@?XUo0747-vkM**npH1zWR0}a*}Wy zPw>KRDZk(WE349qPL#aK4b}ah_8S%GJyB&Fbf0j^1w3+;kW_HQDXCH=?`(>z}L8k9|u=Y4wyTf zg&)T?E1BFOe#q(v`W}n#bySoQx5H~n?0IYc{l7FQC;%0giNWueGsLrb1tamUA_Xs| zsYe8mbRf0ERwUT2bv45Ih+PnS#oEE-7`-Qwp90@t0nM3C_*5UYO))WJrZ?t|X!;r` zgQU*tpN3lw!|^gMfFgRQ;9H5++@H<4x&U#xx2Zzk4qknGmq(%L&z(Ij!#lBQ6p7#o zY*$SFCmdJEqHDlH--V_o;Es4l$pJTx{ghFO_L&eJc&cZ#JgLF^Xc_P=C{z9sP?|ZA zdifL4&_qUTZ#MDbAr09>N5ZsiOi(rh0Av=17)?clVpsMS9it(zJn{2Y(_F5y8OgXy z-N#OB7X#ciC$(TmX;(aUkoB@6WB^c%(05|$+^$!q``eG>irx7y>^n}S@*25 z!mRnTvq+M(6@`wa8a;8P54}VhZD^pmYAt8|z$MvGM$X~GR~g@ z4NC{Nqj_78TQF3$0~u^?T%RewhgWmPkYm!iEa>3CKfhK^X*V~mKVNY&$TP6@QP_2c zi=gwg6o1z;!@vpcp=xKo#hPkYDAkxgL&`H}LQY&+IT`D5o_g`xofwc|kcgc9`|$um zHt%mxjZE$F!zF@xH>9RcB!@jWljqrKKIAGhe7^?RTVps`nES zA59KSN%Xhm;!WmDgkF`Bd=qQa(XpsEsvu!pv~4DbDlDFZf$Uu^L4Al=34T4Ese$Lx z(%q`^a=x~ELxPcJM0tC9EM97w?FbH}*nd+wO3XN>d5j$)HlLGKtxh zFt?(SK^F(K6du!gROG^7I^sDb<`FJA-}CZ$xnUpZKJ!rn(L@Jwt!3>O=7Fe6opuiy zGxcmS3}W%;nX1LpfK$;;YwWygS;N`TXAh;oNIBEEwf&m#JiGed>|gde*iPZ56@;1V?O4=r`r}9> zN|Kh@-cjFr%)G*RPBvF2&DEFINED - startheight <= height < timeoutheight + startheight <= height STARTED @@ -43,8 +43,6 @@ FAILING - - timeoutheight <= height (lockinontimeout == false) AND (timeoutheight <= height)