From 3c63846fc2b2a39b615ecce58bb70d649493d806 Mon Sep 17 00:00:00 2001 From: Anthony Towns Date: Sun, 26 Jul 2020 14:12:46 +1000 Subject: [PATCH] BIP8: add dot file for generating states diagram --- bip-0008/states.dot | 34 +++++++++ bip-0008/states.png | Bin 25677 -> 48261 bytes bip-0008/states.svg | 171 ++++++++++++++++++++++++++++++-------------- 3 files changed, 151 insertions(+), 54 deletions(-) create mode 100644 bip-0008/states.dot diff --git a/bip-0008/states.dot b/bip-0008/states.dot new file mode 100644 index 00000000..5c5a6712 --- /dev/null +++ b/bip-0008/states.dot @@ -0,0 +1,34 @@ +digraph { + rankdir=TD; + + node [style="rounded,filled,bold", shape=box, fixedsize=true, width=1.3, fontname="Arial"]; + + edge [weight = 100]; + "DEFINED" -> "STARTED" [label="height >= start_height"]; + "STARTED" -> "FAILING" [label="height >= timeoutheight AND NOT lockinontimeout"]; + "STARTED" -> "LOCKED_IN" [label="(height < timeoutheight AND threshold reached)\nOR\n(height >= timeoutheight AND lockinontimeout)"]; + "LOCKED_IN" -> "ACTIVE" [label="always"]; + "FAILING" -> "FAILED" [label="NOT all blocks signal"]; + + edge [weight = 1]; + "FAILING" -> "ACTIVE" [label="all blocks signal"]; + + "DEFINED":sw -> "DEFINED":nw; + "STARTED":sw -> "STARTED":nw; + "ACTIVE":sw -> "ACTIVE":nw; + "FAILED":sw -> "FAILED":nw; + + "STARTED" [fillcolor="#a0a0ff"]; + + "FAILING" [fillcolor="#ffffa0"]; + "LOCKED_IN" [fillcolor="#ffffa0"]; + "ACTIVE" [fillcolor="#a0ffa0", shape=box]; + "FAILED" [fillcolor="#ffa0a0", shape=box]; + + "ACTIVE" -> "FAILED" [style=invis]; + + { rank=same; "STARTED" "FAILING" } + { rank=sink; "ACTIVE" "FAILED" } +} + + diff --git a/bip-0008/states.png b/bip-0008/states.png index 76f6cb7241669d81bdd6a212f7025dde6f7a8833..b6d73b78d76cd15cdc8a5aaeeefba190872dffeb 100644 GIT binary patch literal 48261 zcmb@u2RPUL`#!8v(Lfp~Bc)`|GLn@DSs`SFL{|35Od@4OAt9-dO=fl}D%sgHviIIR z=cn)Q_kaG!v!CPmyYJ(^8=ud6yx!OAy3Xr7&+F~4tSEDE-|>A!L_`N=uS#7fBHBeq zM6{!xWGDVap7NO={e>=H}y5jO#ZJg|cgLov{ixFR}>DJT)}ejr+n}u>bCMGDXIM+&A&q|9E>r|kW)}_u(drd;+*;7 z#f#EX4=XFq8)^nEsam^q`*z@9GZzPv)88teixRkZfuH}HqGC^h&AW#WFKcOO$;cfO{zsVn85xu3W+x;t&uc@(dV`C$nQ}_6Z6Bq4%mdrQa|L<~L9qRS2#9z0xu$Y^h(<^oRWYPYyt4qh++&s^`anznSve<68 z*6J$dzvGjSyh#^!p1CC{DS7Q$KwjR37)AY(`{yICRSvY@!%?_&3m5voJ+=D&Uzamr z&%k~Dd~;h{TWhP+KxJSX)Yj`QZNI`Phk4!;HiHeeP ztmiA?-ihwhC_03Ng{dnjC>R=^BJ(p^{g9Q#BP_hu>$x2m7!EuH-y3<cffB>2XU?my{6LhOy-;V)mleEG(Xa53V0aZC#fiziQ?ewt#CFpJ!oV&714Xo!XId@zOFfy`Suc+p|q}@7~QlbJRqTRuPY*tIKVw z>r=K#ov&*u;b_xeOVii3Hj9#z$C^_#CMPC@Ps}ckw@OGz2;A#gn4izi$}(7eAs7Ez z)P1cj%jnFRGrHGSms>LQ#RLTM#kN*i z!`&2;v7+vU4&ygWO-y?0D8A@bo|TlMSLSias!Om`syElXHBCF8LXwr06%WnK%*>5+ zKZWGOJqHVI2cJB7vQKhks=KJjY5JJG^ncEpoBp=J^zPle?_`39F4@b;J&A~*lDsM@ z`K7g0Lt5H*`K4E6KtMojY%Fd^@_SPg9}A0YJq=;~%FeeGvR=Gcgmh9~?p0M_FYMlw zprF}1hC`W|n$A#DWX2~XIIheX_)x?sIypM}9=bvJ-VQ@mjX$$1hfYh+P%n4nnrqJg zcrW{0u+C?fGe4G1_W4;xpU}|Iblsw}Bld(l?4>f-MP#SEecL$rN1P_}q8E0#=hiB7 zaGbc`*2cV&#frm3&MtgZ{AAm2^$OpE13ad3azFjZ87L%iNfp939$H}~c^$^oeCqM1 znTcG43#p&i98c!bFP+)?t!Hn~zhsE5AmY1I$1vKg^2c7n;mD2BQn0i39-uBas{i^` z%7?;VikF}NFVB&_(2$Tr{!)@8CHEKQ>ObMbL}e@&9MsD^Hk}W=ij4H9IL>?fab_lW za2!#D&!b0K29jCN$?++#*UPH9&B$Zw>hYjv>M4 zW};5zl-d#G&7SVnT^jHLlzSi6%EKYG&Gcxlfzo)Wo0!qHJRT#f6S!r zbqu$`PCthPrP!&_(a2}dG7T#BP*Fu-FY_5DCna5xlDehT$urSgCMGO=e4Mf8k#4@z z5s@#i`z=gO`!vLHULyOSN)GClmK>5KC(5Fn1Zjh~Y$znj$jI6hIC&$ZV`H~hW(OWW zCUJFj6%Y^@DrxKNOi4+}?~Zm+yPh|0?QEKrnK^@N9B<7Sj%E}n8k##-7!b@%OE|P{ zeW1fphRDdsK)Q?JvyN3kbn8o#MUIoNUcC72d+-ExH6bS!AJ^_mt*{vTowQ@e4!%3T zl-1P-dDtUl2v5vQbS!a8y(BN)kn!wU-yi=#(6(K+`CHui8=UR zA-mLd~e2-s(gCU#~nprgH8D6_=juFouhEl!T**NRBimDg~U$&CRup^*wy-*iiiLAjL$kn>i!3F&AIIemyiagamG( zF+P{xNxz$Li)-gDI2;YRYGE?ib45+<2;=Xzw(puBEj#n_QX*fz)G4rjFq?;@lauqp zm`+w!mWL;6$PNhaHK?y6c?q!tyqYHDhB9{yI7-frf4gz(*w zcOJNZn<;kj-#XFJLy0}t;x#36BYuf5W;0+ z$y=N2_d0TZR9C0$Cj>0vw(Dj7jMxhgD43azjWoQQpPTa~qx-3Ezm4{$8hNldU&DZJr1|%6 zw~dvMDrGNu1~HG+q$G*$i>rjo8F8@~OYZMCq<^RwD@y13;L;NLeWC%ix|ckcGb0Hf zDC1};G;7N=C>G#Vh!Iwokl4X^jV!3-~;H`?miDiz;yp;o4@R4AW8o zP;djzw6-x)r-X!r7=1i8R%~Ybujoncu+k}Zo~;UIAc;F~-g4{V5Fus18UCYL7@im( zA4n_2%fX?bp%D>LfRbO~N6y8@b~@xLFaW)v^~rlK-i}9)9<7NI2$qaH$HL;iv7&PG z=FR^qMJz2#$=Dba{$GFnx<)@BCoj(+>PF2d6{oDDt7~vz*-A1_xvQ%ybLrb@nILf$ z!d4}rFxNf9&Yl_<7ZM&`={gd|rlI(fdk5o-$jDD7b@bGB52i=#*YrI%7ynf3^{MwE zJxohSw>#z#;Xbud7bqkX5|C#_2QQn7h>D2lC@36cTD1Iz zn~@i)@Si__oJFEiNbzMa`ih~5HUMxI7XNE!=jnB2Wm(Ri-E+d@5<9!a=GvlzgF~_3 z?%TXBfGY+D1|*EKvOg|5P2rYFg<0_ZKBuaL^p80?@2@A3l9IZ$KL`(RDREtX5f*kx zGDENAV{Wed++R}tQ`>p3MO+LmEjK6H`Fx&z{Ai2qjg z9yMN9xp5=>=~H%Wz z=T4ut8*PkVx^eaDRT2`C$Nv6FA3lsoZuCC)_WqKpm5r|EVW8f>^3s#gUC7GKUH{_; z3m>1|NPS$)6YAr~3z3;+g6S1ri$u=9;y=#8$H#Z+QVCLcRixd@xpU`87;`Mzc_ohg5a-yBc^YJ0x=Ka_DjhqmEx%wALQtDJgOA7!)NQD_T z6E17Ir{t->|L3#m|4zNqZLh3>r_o*Ne)05aqm7l>fX~l0ef<2!M@P}|oMB=LpyBh~ z7Wz-4xSOu-cgnkW&!eLQC>mQ^dx5n9uFf5iGdCZP;L_*RFSS7Eo10%Wsf|Vy8C3W> zcz*eJ=_N-(qQU^+^^2WtmL{~s#KagF7--34PKCUB^-4-g>KLca$l#!{nOR4-|9{S9 zI~kN+egnP1{rmT^DwdX$fHp`q9wjbnx1#@*Ui*U@lj;YYMLhnZ%a940NU-?NGNlKt zYy7)AA}ev-f1fO8Q2x)K%@oFq0fD1G@)B4qyLc7 zwt@#4Eo6s^(vg$~2%@H@W@~FJm~o7jw(C(}S!jC94#5(9_`VoEJknd{X>5Gvk>u#_ z8}`C6iiu7I9TV-@LVN3KY9@bs6kU$6>$_7yR!5{=);NmWn@RC5d~)zqh~Vw-&uXpC zJ56z=9U_mOr` z4x5{st*Kf@rlx}CEvY!MVYR%xJlZ$CV&~6oBD}n|f4)3oyODY_J@1P{;9?BD-1HI?1c(h{MB&NHVbTrNJevucT`x5PEyc2JI-JowRm zs+*dcnKf~#sTSRZ4tvRHH9y%7c73v|{`oWW5wp_k->t1&92_w`M!v6J-4qum^84$$ z{qGJ}yvRK6Ae8WP?;aN`YvKLHF`R_y>{&Tk*_xP(RN8;)<1XU}@0&(zYHHA&W9Q-* zXcfMWg`!}ZfWTjp!2BxT6d8X zY9J}`m!-+hU>eZrBq#zhzv#qC=9itDd!C>FcF|EXKl7qz((eZU{$*ljj(YWq(q9S< zY+fg&|5qNP%3B#I5UQ%Gha~w-YC+B@Iy&Z|UIYaNp^J`KIrw=66yphtQY6_u?! z37AI`hpJa!Uyn5H>$|6t5e*$3U5uh}ZGDsy7cQ>;yt0PPqlTX6&!3;>;Mkll+jcDQ zfB3Kh(NoS>+V>$2ZrLkRcNqOlxavXJ==z2)fnb4|`nhBR_f7dV7q=5Kf9-AT*S6 z=n*2ovX%eB1u{f?P>`d8LkXS^`YNz4t6|a-5}yHKK}=khlnkQ3guMV{iE_Z!6oiju z1)k>Q^Z-JgnXx`}D1?UZ&ill~?9}>>4l`q8bv->Glb~+<@f#(77YGSfch{tP%)5+? z-j0s3p`l~c)Q>q>*w~7!|9k;mpw+U0l>_vqJbd_Kvz~X=0D1wT)Mp_ffHgKC&;C^S z#fo`)pvX$~ds1a(Z>FFKh>Mpqcy44_|B*B@GCFuL5c_FlY>an!2Fb6Wpx}&rIQNCP zd@(^2zaLIl`~EAcf2&WZoI5haQ*`3^@egXOF^U2xwtRd=_ZL|&l!_zq10-l_Qs&`jWY3ldlTu||-yv#_|Jy6Ec0JbJX-F7Yj%Irdd= zse5OAJvS56?X8Vf_A^&Z)-@P?cJAB>5=)7R5>=5<-CBbZB{XIWXZpdu$n zMgUx{SP03JY3EslgoYj$^Ke5S1RNL|+SnK`k6fMQ`V@cXvcAO8d9br$^#IA(zi=q7 zX!!KfZZiL)X~QWWWx%Fj8yy`TRD{YPx~C<;Vs49L%>bQ2bQfE4y>9br>F7jPrFzh~ zi4n>c(e#_%`}xjb$V|;JyDOucCwWU zK&6gOu~{>#j7$}RO+!Ni2Xgzj$L`lLk)veTk7WQy3KUOl8!yFT`}x|bu@uCJ~R z4h=1hw<_uD_qMmYG`^R0`%Zq+r;l(KBVljS4Zmd+{_B9tPK@aPFRlIDVkbdzy-_|F zkdM+p5{KtpNlEFCB68O27hw_V6U#*|jG!J7n2=2Gva)U9qx33P1FT_v22oL{RUA=65gYe-IJLfU|#gT^7;9HoPnTOU*-GhpY zH*)SaJ(jwVFNGq3U%vV94<`u}>S+LrBMa4!E}&k~3fcMu3oVL(t;w5I2SbO9bSaj= zLlLdLP4C(ZtZHs*nwgpTy}J6{^&}ETM#eaD22oQpGsnxmmmXX@%XaP@|M~M-?93ro zu{Dr^cmDXdp6>F@9VypURb!%~_mI=GpE(nskr5je_4KIvOZ0XN-JCN38`w36DJc#0 zpiiLA5ncHQu?oJb>t2adzHqMxoYTwb=wh1z>AidXKyramt=y-^x`?qN02|Ez~_DY>SGh5)pKoE&~Jv9fsi2$ZYZXdx7;u=5mT%qaWd3*Wq{ zw`_Mj%^H^c=8dwpcC{v2E-e)mMs{}gast~;RPSg1|4Cx_$V@^?%5gL2u?-tG!}r=+ zvL~#B?^|a)EFA0m{1ADZhlkKkVS%wRZu8Ovo0J_5lPdw2{FI8Tkg@J{rv2#k$~1A- zutNOe^S{p5tMpNmd-?C*YRHcW-@p?BhVrKTH+6Kn(29Pks6c(4aTckbAtv5wfL3I5 zbd=q_eBB4d4jTk0j?o7l(bK0-Nr}DxtEr3qoK#{qTpMFl8PJ|-u*-<_f%r>aKHs%}E4$BO= zt5>=C_?`v_#|qk<@|#2kyw_7qLruN1G^verY|&^)>5tYkK0UowVGqi5e0)60)?^J+ z({o-vJ~~=j3Q3I&z2?S7N_*kQ;wP`l%cD=J_*#d>j{{ABWH`k9jOZa4_oatl96b(| zb4|9WU$}4qMZe1_{AW$g!F~GxuH+017$v{|{5ghOpG>)Ao0n@<9A zzVDH3|5twy=82`H^xBdq`>Fy|npzoBKb$*rrumzGy1usR;oQPPMz$0|7M8NY!UtJh z2(s#GdC+fOpEl*%TGc_EVR3;SH#!amO4~U&fPZ6Jx}m0K*7)9GXeecEc{)XP-%{~( zZ}w}kZ2{3O9istH-Mx7h?fsLJ-H)~wKY#w*nyw20gp-Bkk4MUf4<8hwE?jb3vHtq_ zkQ;dqUxA1ZeTxQX71|SPft%nLqozSLXX~{ zz#p1noI) z0GR>(M&OetH*?LJ@g(s49v{61iW)5iD;pbjL4oz3osy=YUZ#7?xXzt(-rg#C_Kc#M zpYqtTV<3&#IXQ=hHZqN|>P$>(8X8qgP4p`lmbSP&sfs)KhRSNtrjtos<5Sduc0s-EYX?~0F)^Hisjz51O?d#K2$%1Bmrw@>}Uz2xj196xT` zCVD@9`ZT{)vivhbrR+E>)8GI00(fk8{9!1He)vCHYfEOCe!A)@LQt1SYfcx_vTtl| zKJxLwesJK!Pvv ztp9Xi3z4*Y|FHo2OTs5libGn^7Ic~W+t=3z9?hz^lurBOyiD;pkL>$aTbo|8hlqcE{c52hCg4|5z8`qsNXM;SL8o#gj}+OV;XmS%ltm=obxOGaiXy zFr^bm0hmB2yYD;1=dS#o*{jq9QPPTpm7J9l{Ym2dR*1p;xB#NqgQCHK|qWfv{Mkt67XPY48Y zH8@RnJlgb6N=?mjnojZ9B;HPJaLx&EbyHEb`!P?f=tWy-5 zDg>1_Ee*8DCURq5`}HI>+x3q0UPq^2elw7n-Pe~6GKg+;=HEkmhkOl{2VEwL7i!h< zDrjs$pEM!hxu&}nViM(LhfetS#3asoFL|5FoGzqeZvx|%WlP8ATCb>@Z z_nQZA9Rr$5ldX(+cy#o4+h*t;N%p-|@K=1%^;q;U7{DB@LspTDcvCA-8yaBrgW zxqPecFMq6&S1j}C`0gAClrFLv*fV@+l%S>5kes#1IDb}H7zw2rSyX_BN62YPr_&O3 z{W23}1iKb;fv-oYH$()_?ak$xKNTQsP()BXObrdc=tzC+=JHEh>xwA53o|Tz%Hk{~sl9Obj~}A|mfp1=2%;`<*3Fw8pblKfV?smw z2L~TfP#z8I_&6Bu<0CT7vxAS6bTv);-M4SXha^FoL#d1Dh?a~iC@MnMTgQrh`t%8l z+BSz&sG9V9KNTmkC;THy(Sjjz@wj15t&g|IThh>MR@@*Ev~RCGMUR=T^QnJy)SsfG z&>3FbQ8q>x1Oy#Tm{ zb()?11oyo=cYH0`Pz~MJ9pSvl^Ixp3{yg#J(f*VhY1dU$BEjq+ z#~{;}JLaORz7}AbhpFP(_*OBxKN{*g-CE29lgEVD11PB>>AIcPN9!y$L*kvYj}GFi=LE} zgmTeetWT!Bn8qb0(AC|Y#r68r>SNW!i6YxgBAKSdaTixE2@=SZX>Kfr6BNnaAS7f=<2_oh0Of@0FDaZ{C~)-_uoKYtAA*k-d>8<>jk!xSmq?6BjwPwL5(rMLaeND!#M(al@ZvXJ_YA4_<`F zW5XG_2!9V4gIpIx!zZn$=K)FrKLF9Ria=lApg!e7!Jjx53aJ87hi)p<|lAN}`oQTfmQrKw$x)U@Vtqj)}@ z2eT5Zg!T^a@iW&257ggJu!v1iW+uW&{r{Wd$Cm?K@1A_b9knX1Q0!FJ)dWO zepQGX$Y4-I(D?mwDWlCZY^W~Vz;3QVY+WHaNPW_7yye)4a=&pSpnHCzSJ_9|*m&@R%Dc=@AGC%V4;?+q!O3X_*mwAF#m#`1eqshE zqFvDqhJ=Iw=;1%PfrtdRaRDemet(F?$5fSA3 z_eXIXe0g==ykL9&fNMf-g=oy=Zg9buNerAGcffWhO#&6yHu9RQppH3ga;#y(7H!-X zpI~@%b{3q^i@IPL8W9o8XF@hFnb#{_*{Yum9TIUCcl?6Thx)BknMHp$zJRz+I5v_AD31m^YE=H z?Qr&4MJ3Pr#>R=k!Ef%m-vSznE-*98+`LKfu1#7WMk9_~23RuPo{cVA;o7xdJ+Ivd z+#-sme*T}h&Lw}2J;?g$laC&pQJUab5*K$(90d3zVI1PUg5|k(Z33#j+YhO}h@U~!#7QC-&RgiJ0955bITU6Jc3i#*4i3iU}r>; zQM3Tr`e3HI$>M7+Pwn>h_J)QAlDI4*KTdtCpS^uvk6^JYb)V0>SEi+{?TU?u{6ixA zuGDW)^cL)n0~zU@^0Km@t$a?Vc;NaSC?(ZbE2BSGT6GPA>V?PE1eBxUaFmAt-8 zos1s?0s|{5D$teUo&b`!&_+z$(=dGu4NvsS8kPv9%Molq4m0lKH_VdBD$xCptR%M!L=_=vG2A zSD~Aem*?y23$fcs^|jLnOKTOC20+Af2wl{F0*|1ZBv=W`l&yFjUR@V3MWz$H%b!mqq0O5yWHcz(kR_&|uPfz(k$73JS zSz~G`90P9Dd?(D6S;j#jIZ$P{NPeb|Za|Gs(W7-_d^|rdk5^dXv=0b;>h9P`_wB9C zmNadDe}A;jGC{Nkop!|>BJ{zz!}-joPgi{YY_Kx(2m1LXbUHvv$cYaYWu_#zlgXT_ z;+GVG`}_j}4$LdWVmVPF49oh#T_O_&5Tk>jsW7mPe0hs&Z;YZC)~5PWj6sDjTngvK z#I}1%Tmv2fO|y5t7P6~^HEp%3prqEbjbs!TGTHri@N7Y1BD24gu*ZgA^{eHnZh|eZ z*oCiJL6$vIaZ%>4bz0Ui1;AX5U?glVzqXk}uM)f_A3yR+Z?l$8M9llTZ&ufN9rQfM z%q;4fCpzu7OPGmM@nhZvDU!kAVLqoOVjaU0a!nl_WPWG*hsdM^pRE-CdFDCleb%z_ z=AqA?k%VpAl++)W@G-g>N(s_0+7QER zJv6~^I0~FU&$G-xap({!IXMGhpb_bX;1fm{1bpCLngVP^7g`451O+v##9L<%xL<>iW-o{0s+UgFx;``EZZnY=takz$@(Xw}(R zSu-D$W*WYYkH4a!u?&c(x$HO*aw(kcaY=dUy?=J1%1UYBm|B;zNz3M?{-q8svFiMw zE6_0=quLs;M_rv*h}L~$o}k3wGTLb8qYRJl@D4d~Z6AOi?y_E(Cn3cjIC#*7v=ER0 ztl#H{NT5~|&X(om<W#&b&=Xc>n2>3*cY02HF1o7v0zF0om>B=219cF|@-ITwA-p z?~&o1J9(xJZ_xplfv87PzzG(XvF*#Y0kKO;NxUZ& zkcXb09>6KA3Qf(;HFb5%v$HHP!=$ITG&KCcZ)aw}@SO;ggPI5_OuN9^ptH%F;`pWe z3%Ch4cXu!$uf;q?P3zy_$r=1OK}`)V%g@ix#KdG8uHX0Xze3#o{XqpdfD8t!>_cyFc)kQt|Gd1sASq>*xPfUxb~N$(oOR~1?*SWo zdqNpUXd-)nRBdW%!t$*T$9nRTU%Qgn0i+Ujp+P0a&-&?X>-D^;m4`SG&k7maDqQQeK*tdAMAB^c1_K0+7i{D zkdl!x3N+A27c{sGx03i-RVJnuMjybwPcBw_xYtKTZ#g)eZ<+XIq@2p5b@g$p-@YGz zlh>C^U?t&Xt4_QgC3Pi!583bYeA;*KAq8Ix^f-^hn|J){Lr2W2l@S$Gq+kpLthP4P3q_-@?|(~dvpZQ zR0Y#!b$_xucDfJcRx$F+onq-cwqWXp=?cHg>=ia?T6Uuyxe*EqRMhgYDj{Z7>=)LH ziyM7??-(1i(8W9;BO92UxK@~Sx~yQu^R(5%FY=#ULy6Tu8&9_co{>&F7xx4P=1xtW zg)B!e)?+aCo8#1}(6F#x%EKAD#RbVZ{H>Kkng0IWZzQ$@|7fc(Zq~*;ym|9^V4&r8 z{_^&8XzZ)|MF|N~IyzIMO+?{^`}o`o&9}FF_4JimfM%OT_Q{9B&&37z?>@^WT>|9;)I^Yuq~537H$2;E

BbXogY)*Dt0Ly9CWyGqtI^n_+x)k&(*opyu8Mv*SBY81O)C`d0Cm1C7Z%kmLEEnzJ(n_AR4+i70%q9W^Kf;EgRmA4_l|36rrtZj%2}%~ zCwF(~T7Hy3{_tOs6Fgs{jdx!vq0wwQQn4`FxxFSYz-znx_s5A(y&XI?5ji^YGB;<{Ebwa&6s28x0_it{9u`2n`KsS-voec9ywl^ou2OP^6ABk(3dX{EZg)C z)B)()%{O1a{&Q_DyQi3x`T51yUmr@FuWntES5qt8oAC53h0j@~p8Bq?m#=GuRWMJo z@dZY~?bTrh5Xdmz4O9j54IP?3QyUwc*fg4=5yi$PU-K%SfqpCDV`!|>?jJw=8AL7S zS8RrwQ@GmGt%ntp-@pIf7;lkqisIB)ZUJQPikkC{n1AUoei0qmrsZLIQcSy3gtb)V>(+vBUik^pr zWSO^e0v#Pbd{|#!--7bmXEQ6S)#cvd%F4?N3ws!ST2guLnZ3naP~QM2e5h-S*!O-G zosRD;zey)H+1Wl>T-ZZODnXuH`WKe?w&kcQ|Eg8f=H&ed4laGY>Yq=lzdJvsI2H0W zFp!Ev$65JCxI?OB-u3IJATFh)ksI8T35sT9yT~mndaHwg?v3Ec|=YrAQ;+U$-x-KDqltgR7zP{8wZCNsDr)3 z_pC6ZvDGQia*>*s7j~UfhYqn|*ZYxeE{}5?Repc4%Xrt$eqEgvq1T7$gD*POHq_6Q z2hlO^*ufSlW@hm|FR$^;nJbZ07%7VgYv$#m;lFyUFnyV|q!6yoyJm`wzoUI9lGC?d z$87Qo2`%8E^p*t+xd}dux@d1>vn6#(R>p*N;Lh8S5KD_xC9A2Y1{GVL=P)Z1ob+Ks zpa%4$hF)oLo|Ue0=hP(K$J|Sp33*~1=Ob0c_vF^4l=tzgd_TJ3Mqj1G^hY7-{P*== z1Y7mhP4His*rHL@%Fn4UJRNvOzBW(Sx&P~Rs))N=TQ*FTHe+frPo8X74(8{cpPTh} zpFI^3pMN-5I`De?N8{vRrHLm;2biy|Y-cHb`|9)Un`~H^Sj>mEwuRmM6?wT>&dpp` z9Wd)*t>^P#jk`bpBAl0ZS7necuj52$n`Z2IYyMd#9fOO8JF`PWqbDX3N#ew|X}`>= zxNW!$70O-t<~1AeIyw3C`m)omT>^zgiIgNUMQ4%|?zH`x_p&fHsXFbG85LISy71xQ z5DyU%1^bY{e;WjK;++q8niLHTb`LKW4b?N6yKjDG-|t|*XXx(>5%*Vtm|yv;6s}Yk z8$5hZ_YsAylRm|<@M5d(L8oal-far=y9d#}u|-}pIB?F`ke7+qcK?#_seT1lx@<3^ zO*IYD{rlf-2NrU^aoZxy`wb~jlgV)NX#JWC$;&$<`QhW7xt~OTe=VcWjkLm(Tp2%$ zH(Jtm{rC}A9lrW;a+{NpvFz4^^<49)>0U8W^BYS18_#~I*Tw2nQbja14=T;i!G*W- z?B?)|3sZstpuj9&VY=4SJ`%qNuBP4gIWKib+f9;#yq zEP+ZkWJKnrPe^h91{%u8S$9fc5ae=LnEu`a^%$09nwRnSmw-|hMt1fBa1bSB`hnx` z&8p}T z@|O}NKX-tL$bC1NU&X*I*z51#O)=F6L<*7@@KIB@`T46?A2iaLM#ji)mb}UpxO(Nv zX6PA{3_bTxE_NDL3fA17TO*(B4wBJ5d3An#+q1hRBOm7H-h3{}%a>jLe2M*8|Kv$w zK>@oD1%0pUJ^sztka>5?4Q>Ci7L=*7V^;hn^R~zF2VP>Xj*p(m<&*Cr7LJc- zQ74J}Q&H2^-7D&1dx2wetH`M#Fz`Gk&Hyrm1fwGbZ4~@2#Uf%4`7^1iuIDiv@_#=& zKu0ek7!ncD)-#0ZKch-^z^QAp{;@10k+dqgb@$PMe4Hd^tABugX?YGU%f2+3d@Tm|w<#UYV<`LQh zWdkwus;);{(w^{m3Zg#L)1j#$qZ4KtVJGS=g#Gk)*7~t)9oPYqdLjK5m<8Tz`xia#TCqO* zsKO`9OUWSbPWycS`x7eb3`m^O&V2IQwrAFQF(~MzU;ako;lBY4rPsIj2}kr^)#>uw z#q)(+jw&+=1B5Pg$339|we6qC@~q!Qop`@8fX2H9&ioaUb%`G}9PZ0gPv6+Ba=@FC znR(miSwO%q%wQ15DE3y|)HrzJ!UQ0X$etKshh%T>osuJ?O;3;Pi>xwz18sE`zae3S zRKTLTB2t8qB0>G8Tk8M&!_T|suYe6&nX2G3B#b9coEXXP*`4YT79M^>PmezMa{BYD zF!3_`C|g>Nb{EOGknS$9S)OX>=(z4v4;njDVjfG`%5B+^1HSRJ&(2-??-M+Z*$bBm zvWEE{TnVc9bHS?X9H0q^K{;)0prkW!KvWf6bew>jSCXW=Xc#`zawGn72^W{oC9ZlT zjBtt3U34T7#*BR*vk3h(L3VrFa5LY6)VnIKusM=1I7^0jVsi4}fdjbt*snJ=0^wV~ z%5>+>T*qZ)kklaYNf=pkK~Us<`t+d6%PVbYNZNBdUd`;VoC4c}Ob<~Xa*GYHh+byg{k2a}VN|C0tvJm_p!=Y)@^JzCBry8JFzr?i;N z^?)*%e-RPdU=zFZglOhA{Q4M@#9v_rVptjrF zwd!dW4JOSTbj0~$?Xk+ z$4}GKt?cb{Kt$cj-ih&B%&=ualZ5-*=UFDVO?7w@yg7Rhh90)pbC*>;yf{?z-hKU4 zsYlw^@Ko*mDZFGs>Xb^R|K?8AM>J9d2l}~lCn-oaI#gi}f&&)1u4&G8!kOvTdn+GQ zvYUS&IC@0QU+UbmcJsS&YHDtr>~8Z@-QA&~v=(6Gq2Oj32Qci6i)&Ky`ZKpdr)p|0A5w?F)t9~N4kidR?PZ0(c*(O*$v1VG?j zGa2z2Bl|0}?-CM*;K&7CR!EVPl?ATs#iR^$Cd>js^w%ZX&kd>&GBBnhsO(Q6TDk3o z2@_|qi0hY@Z(PuoVxrVYyXk;&Z6tn);kof!`Y=YreFe>of-so!2FlP2&|5Gty0XDi zM@&ro_3Ky6uGlkfP0LD15MB>KPzs~O&AXe92KS=L@z_BYH4w-d37H1 z=#=)HWv?(ARbDO*s}W9visZ-&F=zzhHN&O*{4R61Yt0)?bMRO2bT>9$r#Gqn^A2jP zPyI*ZYT}sho>!SdL0IF37MRp!xL3WCs669+dioSzd4NgBjoASi_yszTVuC;c2 zJb`!F9D_9M>|MLGCPAITu1**edf;wz8K4TRhrT|;&!nj)D_wB!ytaR@;{6ElBu!Pg zZ*8=-NOvA(QZFSg?hmAU(05QN2>d}%kYe!UaleY)d-ocN zvGoZwOkEBAe;w!YN`D#@1ZT<;Siyw_a57p-$JG0lzuxtk0x=Ak#2uXke(3g`dj12S z14Dzs$jUqa-iSaPUr^8nK?M$2Q19?dV7!2vW%tMqI=3GfqnBo)1pkZ*Ae4GTMaAIm z-Bl2On69wsKaM9QeiAkSkQy0DNd%=HNefy zRces=+jfKrvjRjoyd9OBvsDammRwa*ioIa@>J8t{vWTD)R~+o^L!UqYrz2o~cXQ^? zE=YhdvEX#D2B53Q9snTX?V^TDAgKozk2&#*FJCNhwHq4*I2vFZATcG?mgf=4o{q`JsPP`%lmx);~&xH{c_{c}z6Rju>PwgVux_9Elxp$k+ z@t#@I%7J$dpZH7#uztkvDd_i*V$OO;gFeV_3|3ckExMxg&o zOL2avS>VtP95~?Pw8w#EohZ^gYtRuZnbXD_|K04=JC zin{QCLKDVM+=rd+`~S_`-G78I#i0Udg+9W`4q_b}3kdNjN`pOF*Iq=_NoOcbJutr@ z%D1-Gr!hf)$bV*@c#Y}bsZXNaxq_Dxpg7Q6u+W6kg=>cg-ks{-35a){cnMjQjfZCz zBqrV^0$nv{TBoX4hx4_28!=n^$OgV6Ew+BtV-nXN?k-z5NYA^5Pw$A(X z+r6qW_q)AtNoncp$vKRNZOqq+i3~U2Esj1ll+#X6HIfRU6Edwrw4e$K_UY5R_9W~q zqx_H}ES}he4ZDdqsKA~l1bLE9I7c-~=E@b!o&Np%*IF;l{PU`J^#NB+eW6a&T#R@a zYdOykDM0C`B{MNIlZ(GjQw^&t0YF3D!GxOUHo>!pqtf|Rpg{wD4~t0<-2L#Sz^J#e zFnTzG)V^0B(L4k+KN2w?Tq-zwUMz-yZGXOCfnU?@X9!zyEH1vfx*AqCy!+;R8L=l9 z#sJ~#g^#HW!V2Bw7eg2&E>+Xm@pJM`&;)#4``Qj4EiM;kG)pmvwiUuXaAbaT%fYJQ zUxN&ccz9F5Vr1a91}PLjJ0E01cSU+5Wz{ ze>IDtqBbH~Uw<3WR-|$x4PI9mlTLu7B_)L+s|D41eQwvx_=Cb^U7Q>M#MaL4u*LEJ zxGD<@Ual*AP#c4R$ll)Gl>hj2!+q)hKh8>z_cnq$od@Abh~zUtmci9x3ZQN9!0tzr z5}SrC>AJ4)W?=SHg1K=o+7nc31%(<2#4(6#pjkXmZ^eCHR>ThKMZiILqZ1T*t#Hu$ z|HA!r;Jwq$IvcBFL!3o~^TX;lx_}a<}UI^fw<#PM>U-->5QZ*$`g;)zl zKX~vtK_Ne~C7h9SVd7ZrANwhNDk^hk@jp@4C`xpCaUWA8`JUr%b zS&Q|dqg)gHDHWzG3O7SSjc>}Zo;j-;B6Xt4u(x&Gwr)C@uk7NotF8cPgj)}nXV-cc zUhXAS_o=!{sLq9+v#8x%`ywmrPavFzhLGT3_@EyT@IoI1x&<7;WYF#X_RrqG|BEmJ zdC#d^_;u-e)d{fKgb8QlbASMX|3gl0aBy()d^cE1)F}+x{;H`lsd@FS@Jf&$QHRi1 zT6_+(o@TfsXwn4dOqFpdYX=}Gj7@M_wRd#9difGB72+Pp#Fl2RSr{Z=pcr5=Dkq<6 z*O&5bsH!lN68saByac1(H4Ll(WPJJ34_h+w@FwG=^d=p7hQyNMuPt?46u@RG7l(eS z4&Y&PvO2UmSp@|;LF+gE{-mpo@QfpQNm5AJ*=6H4@p1yF;~3NY9{WK)f-~gl8D{4F zBqW56niysn5+V$cuNn@*z=C`2sz^^wB{-A8V&vp3An$)yu>N}UgtpH%QZ%3;QF%{~ zC|b?;?{9bH+y(B(h2s2}XN(fEOTf%-HfxZp!c+&4{aya!5)^RT;X^PiVAJ1DAvOTT9+p6r5}q2b%YLSgt*5ZXxWa1Y_d5`If$?EsG$ zUA;xOJLLSF%Gh{CtjQ5IWUTGBHzm?K_1e?HJwHkR`CJU90(M{m?(yi9{< z75k&9Y-4VJj3P6Mcd`34{FGfz?@JWicqZTmmX(t;KSHDT(0VIx5$PADb(W{lQ{s zW&2=Gafi6H^q$qB0+(P1tPqI zX#d<@SB2Kb#xGS>R1_5A;jnH5yVi7(^O)-a>t}rU;JgJ2JrsVM$wlqyTRFrMzW@t5 zJEPd41kwvw(MnLjQHQkfi+&S9f{=!bOve$cYtJ-+_gMt3@*8qfBQ|MZ(hmr@CN54C zX}PTZQe*M5Am=#~{^MzcH`Kg{#bRLp{57JXiA3}fVFqd!(HxK)%E(#8=&O2Bw)@UP~JK^&5EoENb2bED-CcJ1&I$~n;9 zjF%zU!3~qy)ukKv;Ls_cAe!naF*h=rSI=6^Yq_%zQ`i3+VSfUaV;io0<9DW# zq1%u-m8s`36G}-+WG+KOqcLd`nlpz;8A2i@Q>lokXpWK;g(Q_|PHE7nNZ;@FtnYol zVf%l7+uFAEtVMNqUFUfW`?2r)(aRKZzU$8hk$m#!&)t4w*RNmSN+r%$K?$fR3c9Mt zcz^f??IG4SCOz=>=+Of#?`2T!Y#F3>G&|^b@ogxstySAwv7&Ca!*8LwW5adamrlqY zFuk;U_?_URZ@VQSXA@jUjY`;{zY7c$6O2}K)(U!0U`sED5CU88N&OO+t5r+#=)MHm z_7^-4)REGOP|H`YgtXb(*5<>Rx6_hnnUxu;jHSl*>B97Mc(2(eBYR63TwMpOK=%XZVn^F-=!E1c06ULN^w>#i`LFConFBtXVaz_R7Sj^isiijeJY()6JZ&9Wp~8? zy6uK$zFqz0{s3 zYn`C?a=k>BCd<#A?|I3sZgfx>F9eag(=kDdH3z1^U}A86kd?%&4!#G z8nl7_X$75Ni@u+ngqH!IGyTmQ&av#wZ7)AAe!0kHrS{FYFCU%e^U#VRWZR|_*}7Xj zC5$j2A=oDCy2ip{Qq8dDYwmN@)H>;?`3&3SKdGKNEhzvmdtvDZyhC@s%JRn8&HC%t zpE`N6cw92Q%*T%(qa!1)DcKlfp^2oopy2F)YW)Tk(^&Xod3Ae&-tG)j@+=-4mCEt-dd01E|ff7wJq((fBQG@WJ3a0D9nYYL#-8*t!fZoLgB!cio8Px;%3 z902vgH7Cz`z`4bqBaj3~;Pi0tU>E)XBB+7}n%SIn>^K7}%K_)rM`wB)m#y7#Y4IiR zV?1Mm6b%GMp{}lRcxDQIwzp$O@+>JyAV6kJ)&uumtf=^io7B+MR9RN`o0b{jkyZDa zWA|u}rpU|BfSDDwezuZQqFv3U@bGC)E?-FFy3HwF0l6jhd_Gq^Xn_ zf}KjqsO&=m$w$op^eIx!b<`PCmtUI3LoLkBP3=N9kYJ^kXc?W+6pl6R&D3PFacGk;)7 zKxx7)fOCOX$@;XMglj!NNBG%(U^xdxcAcT>-?ulhfjh3sh48ddfCVf<+=i)O)O6 zyY>;D1H@{c2^K^^E0n}!fv9U8C?8daP0-`8q3AlnL{q4X4x zzR88auQegB@L|0)d86hI1wnRR-cJk``E(-XU+A1?BZ0w`uhFb$%OFR2zpEr)O6*p$g3%fS!t1(qgPY7o3jml%oG&M> zHM$?5pr=-tAKZmEDs`b;kWZaH9XjN7x_zu#F_)kyo1iCw!YA}epzc37ebB~>^!QkV zDdnywaBtYK^Di`XGdOsIo*o7TH))^g4fZX4>@FQOr@B8E1hfmd$+94=PBk|_pS%;Z zHLX7$1Gth*yqF)LdPzP-##nq?nzPK=6w~P_#?uYl65gI1q;TZuQMyD?0mam$x_X(t zspe-fgOPSmiM3FCk)=1Nob?wSCoB;eQ{G4YiZrXtNG|v&aZlaNNjf&lNm^5)Wg*xp zh`Ta!MsO(FZ{LN*H@%+6g~&epqbDKn_D35{j;ZNaQ5ml03_Z%J@{P=j5Mj04cavj6 z%_?=mI8ratD{;-BVov4xKrpvu4d60Ohis0RocB*UCz8 z3^jqA%^XW}^VPb#4<0`@e7L2jeZ`{vB3U3MRM*c^k%iF&1euhv9|y?iw0*T(;PywP zUhh3<0wp_^$8)h2m_MI#`wi$WZX)!*f(Mwgz_%7~qmhX4hkJ`{^0QYLC*f76Z+zm6 zuEK|pAM5iYYbeNm614!tOG`^<+|>-;J3U;p%7kWlmZIWSgs|Kvey{Xr93(`{n3GxN zKR!8`n%}J}VD&HoAV2ScLIChXMLBSsX1urtH0}X(YV-G$xpNYUo6RjPPBMcv_YbSk zljzKN{rcYh`(D24Gq`B4FV7fD={RXpA3?tHceG0gTqqa9_D&p|^K1LIZB^gC(Rz|Y zef(zo`u*rFpJUEb?IBoj^X-J`*?~Id)R}EHzKR~LukD}73V)}sU z5wyPa`T&j6LgCL}^@(H0jCpB32)30((?mCcfHE3*8={r3zF?#0XtfanTFruleHYMIB)qM@KbpjTWGqC2e(6cJ4axg#VrR79@+96Qu| zqFYRNp0=1EI5f2B#}9rx>fOitTR^e|R5?AO8YxC;E=5{J9ED=*fPz{4ko1B$*xaD)`Wu{EIH^m@I_ihfOu(`_0Ux!IbvWoAn*~qJ$Z13?P?gEj$hoLQ32Y3%NAfV{wStmS&SNUG3z!2iY zdvC`F<3IPSGCN&~mZ72>8~}`U_UOUtni|pVRlhy zpCOYsJTTQL*h7+O^w)56JhCc?7w=5$7Z52bzkffi-zhBV%`dANY!kb;(hI>p832i0 zYu#rL(cj6(^>-I)?$;A}P8{o#et#W9p1g~a^8U}`B<0;Y{HcyfO(JPG=XRTZ2o735 zIJZJ$aV?3!`L`*xa5bc~F*M``m12A0>iSc5re=Ik-oAW}lCXy@-4Epv64tJcnsCIO z&qEJLw9NTw^2Uc?@<^>J_ulpX&z`>>eMF8tmvH-dMa7O@N8jrGa5YPKXr(%3_G~>Y zHPX+IM-M?(MyT@QmSmtYm(W_`h=io1NYJ`%+bu?sr%t`nzc*S|R-LgnHpq1zcJ~|o z-zFPXZQftLd)Ua47>YfTMi#Ji;liVufix^fR|P3%01i`WE14z`nm=urU zRQC_J{~AJODfQpe(OOU&5qu+~Q+aFmk<#LwLJNJ(qn#&5^Fu_SnYS{jEpA&_@A?Zq zgtMa~^?qyK5PAa&Y~-N03ts~3k(N$X>8Y$4te+fr>MDm5*NS1ohE1m5yK&>l;+y+F zRQJ%BZl+pX;sIjzr*&BFYrEZkjWZcB{Ko|t>fB55!F*d~w4hfnUxqN)JE{?p0<;Uz zEk;5yv9XF7d>Az~HOeD>)WI%o)*Nf1YPTf!0b}32e^0FT^YtAr6gB{Y%$^Ek`jUp5Cgd@BrWQB+qNyT^728D&i?Rd@Lrjq)tu4t!|)6>}4UpScJ z!Z$!x7R#wxQmlR3V!~v%rV#toloYB;AjWQoo;-0>sEZ`+w1cH0^>{MvMSLUO9SHLt z*So6sa~@dTKN_3eeM9$}YbTDr2HBzb5shl>-z}gD)i~Me>W_23Ab_1wG-%ATB$K8Jeco&Pk1fw79&YBNK4`9=-A*Iqcp-Z3O|q5Rq8YqH zmJqW!X$#}WJ@7iAaq}$`NF}R$NTZd&98pFfQ6l{eIC^gGCA*@L{L0LU8fP$>j2#1R zOpk{cgd2U8xt_h4m&N{zHsOJLozquadu%lY4PYKw`%Fi6kcN={mpj3oL9g@dU+)3c z2Ghe!zS9PfuK5egauF~&E%EmloJ=tW{obk}OyR*1n?M|`wry)Jel8vnht5<^?kiC{ z^8*5K*uV*YZErS99z)6$Y5iGc>O~U_4w-~91_p<)%F^K&Oj1xVV+JIG0Ozij8L4s& zRZmn#^yg7EQ~CIvtpzreaw2s6k=Yr_v*X7XbN&HaDPb3%8Lh@0WFkAm!XkX*%YOF& z=wH9KqNwM089OaT1`z>vdL&%&Lm2hYD{}W})AyR6Ft$_PK)}Okb*_pE)`lDcTf-MG zUt$pdC?o^}yvES`=76F9urh?6oK{kK|pV<5Hu-X`E5PQsuOBl7J(^J|NV9mc_l za%cFT=zbJq+}?Y4?yN_^@%1Z2ukf2UpI;ffr*NuIWJhj+4rn1YI>tpuweKCpfr=^< zuYemtL2VVUN7~rfG(Lu3nkARr1!0jt6d<#dl+3_|T%Th58lo3U7(dUX8IcKnQsZsv zWEottMP1FD(NRZ{Ql#N(5qG@Huw8ZRh`;N%9)_;)_p!SoKIFcz1NGow9k5+sR-Hi!*VRXj+dkKxLTdg(Mtcf6`)vm5`kMa7|$fv3)F?1`ezo)YbKC z@W_$Ng<7KLEA{l+wa*Mc($nZuNX7Idg_9IielPUDbZG~J(?DJ3U=)wT`}Wch^6{3L zr*VAe=01;_8)c-7;M3yL?y78g0Vh>1pySss#e-)GEG|JVLB5DfW5oo#u=@$X6DCMJ zLqyqf0{WY|VPlA~i!#5$j?J4j=6jtvqp(&iYWvH$Q*!QTLK};wHfBU0b^1V~Ew+G{ zR=YgRN!lkDqazCG%#4h&85B`qmW;qpc4dWvR76`9kZ993%{3Sa>e_9At?i8Vb=uk} z;aBq@w@f=!#Q z+%v>OLQBidb@JG;Ygexp6VS2?zE)K&xum~t-3mYDhZLKCqSIywDD;3aA=qPs%&_NW zdb)^W=Ta`C1iDCI++k)0G}hIaF^$N@^=1$-9P~>6!}H@-Lt*>~4t@G?bkuxpd}Umh z89(@E$`p}HlFRG!{{F_;^u&~IvneF+BIS0~vy5-uP5(c=`}A3}M$LEq$th(xm7j1^ zu;Bj+IoCP*G!b5APOtN@HMin}t6XD-vg}eudOC^e!TnfbA5k9;LawG)y?DjQ1xuHH z19dBm2H1XIw8^TaB3f2J)hD)~AaIrn-9R0=3&sO#e~EtmA|F0XKKFh=bqzuJ5T(Sh zzIE{qzTsSQ;?w!AmOa|H*TC?=nuj#}C?W#%h?&is_{MPPrS!J{j2WZZe?H!xncFX5 z*`NN#>e$ICs~Z1xYI1UUEi%Ltgqff6^YgoWIgi3HcHBUJSuctpZW%zy%!6`t)7)Uf zrjlh|lC3o88SN8wvuMs*P~fm_FXd7XK}4I>P=aXoDhrDI_urbi#;qz^fT-ZPr1ww@9)0huUKfNYI1QhXmN@8&G^`-^*b zxQgW2#tTV983xfmJ;dfL@@#1gHIwJxBY>Px5&J;9T4b}2#Y$M%C~4{P+S+RY z0a;8>kaB$J-?Qhj`}wo9YiE0K>IG+G8_e*}~$gukTXhhb3OgrUY;lm$=u|E#G5q1;at*+8^e;xjq}}cjPhI zV}2MJX-6a;y0H4EePUF|n{U3+vY%#}sP^sgH{Ajxz%ttKc;{+kV}Hcl6Z9nZD~aB( zW}wKru;JaA|9{9Z)j-XXPFGh~E~eoSEdB1Rxl5)b->b5Ngihb@+O>3-77{{1jY$h~ zQG4sXGC9VNs<=~2mp(M!0~dAS)~z=&=oC`r-T+CM%oImyvQS>lMY{r6!7 z(&LHtxDtub7@GdfXV4C#?9Rxj;sKm`MN(MX_vE+IQtxZmYU}H}Qa$1fHyLPai~j|C z3$OhJdwW!zClYb8reR*lMx(ZSt{?25hUY~W9iZ`{ODUV;CbN(JiGxLL2@#X*>UR9N z$f0cSFLz<}wFVVAGrChtrHAi#&dME`L!I|>zobfb1zLQBo-Iv6yAsg!FjVe1uE~j)iouad9mGJ{pv36U7hg%lu>YnAZ3h1%{ z0IuFUPoVw!)%1uQ|M=x0F;jHwK)-xek`uhLCVq_qRaX&Sdw1x6cvme8kr4-YwU zLfrQ_&G-498c8YeZj!jcMUGNkHkCG4~IIWJrlu>suGa&2?$Dtjloy{qt>dvc`f1 zrc~(M3$;PRs`aLaSD$!rP%jqpJPLb}xwrjND|#mWzAQ0k9REv%5vHG#^)0fNt!dqFF}(5N{K9 zkCOkvgKY3a9^C5H4?{vk9(~lEICp(Jzw@nr^7F$g0Cv_4Hh9Zcs_(=WkgWJOBx;Hc z`?^BF*H`%-{pFiK-xSss?#;0w6^n`d=h`nMn{L~&gQ3Td0*m>!C0e_8Hvn4TKFcJB zhm_ubjJra^?(1)yIy)j6ZnKTRzzJ`pyK93W-S7|CF7~~+_($!+l)wZp%|Irn=hY_# z2PDOvk})s_c`bzeAtMtH&+YebS8?$Z4A=UOnC1RaBhXl^Ddd2J$hTRylF0*8oGC^z z`xv9}{;AwkK_33}1^yFOpQh%!Fdn~aU;GwPz{WBp4B0FeCXzt~B_8`3ctHSrLG zKH#cwUbDl}p)1_79Rz>BM=(n!l;iE@`gh};F-E_5!+j@diF&}knXK&d+0YCooc<9$7a7~aJvrwYtI?xg9$k9wL zmo2Nt_nsmUw>Qxf3Y_1oY2p)Dfk4ZjBsbPyn-7=q;6NM;s8F_Tfs0zKVO;MH`_wH4+=*>n#dcp7#4GFv6QK#`F zPAVucVBy+FTY0wx9Y>i46N29*Z*QQkt(Wk+{nPwjCk}B>^Ge`JDpZDw{D)}08$0bN zlSL=6<4tjU$U!C)xC$sv>j}SuacVcS`wN1ng@lKTco|rILy=k^ZoJa}=CfNI%I?#{ zJF;lVeSNx-0B}rtRp2PpGzm>em=CI}r)Nh^fZ4JOl^j*ewr$%SWrk`7CnnV#>H_E( zK6lSHHUSCxLRsR%iRcJ9t9dzGJ2kvoJQo8ed?tTWggA;`&X?pSy{@gacaR`JdDcz5 zs2SLxGRiI6=R6kNPZqmJJLZI+WlJ52sOO$YsREbE{)0 z>1uK^;;0EIh2}E#1hO$sJE9x@e9q_(;290)Wi{QS9liD6eru-fz+RVPHt}GWznp}> zTk~Xp zW$C{h>X-SJ(}>}}3a(qZ*;1nA0U@2K*r7uL#ui|{#c>CM+ivRq1H>6$-A$s}T5VrK z2-P!lcp`y(K>tzyR9F4;Aon5Mb@2{$7y_?#bzljG1rq7=33DVTTgxv^SxUmnLycL|Ie*Sb6V1AzAqoeM)`{9vp ze{Oynj?~+w)v%9b%yUzr0Qu=}di~$wGW)}!Vv8p5%*^4JF`E=cSw~Xk!Uk78^_*HK zJ=WWtQU9}~$Us3sNlwN2vyS>*hngY3j+T|_U%HgMeS4%}I%cOtB8a<9T;Z5^FnMuq z5z+cEF5I3mL|j~))X9~|{+P^Yue#_*=&-&oAU34m+SOc@{O`X7GwxOoRPVgyf2p+~ z@8Lp$9Q$nmF5)*|kaUYl;iQ1JgNTXzy9tM!{M-*8q?xqn24u%OT|99@+tPBf0QXhk zbD6C#{@GVk(Q$G0%`(|}d2^hbO$D%i3!|(?hL6>(GGHM0=IvWsplfL3&5%GcGWOcr z4*?dkGZbBy&zJR?et}YoB_$oc@$lhPqRHpzdw-U$Uq42EGmC|k1wT7F=n#IWjB!)> z7kc%w+xP>*RaRv_P92LaP3mc`a^*gK<3++0pq^oUdkOs1>w^PlJia<7C(CpAP2qse zQi2{DPhw(PpAA?)pk%6|qW9k<#5`&i2FeI1MYYMHwzV2^Zn_G5C%d}BxsA;yAO1)= z)`9uWXBZQ3bgi7a-P{*cJ+TQn^M> z(oQ|GNN0{@u4L71M*FX65JV1j+1R@|;{h@FZyNnf5`#gkhRe^g+l@bpXEl&%!VMB$ zlAD+SizU6=Bl+p!2)od?H^mJ$?Cib(qLIzzsUregZ{4~D{*Kic+?N-rsRSIx<(D)DIJB>`a61A~q@-Zj{6l3b z>0-#|^ZN0w?E?jbyfKqcE44HWH*Xf(b6Gdy$AFTjU<}YU=z*E7c@9^cz$T0N^AG%G zarGfPtd1_z11b|t-xs{kVVzgL;x_le0{9_6RD?NSn7WAf=s`;vW)!<#N2eaT2CGDd z0m(|8&=6`-jkxIea>PkG)M_dlbQFL&y^p?Wmj05E5v-GxwIs;)Q@M3|C>@C4P~7Cy zW6=&{j%}e2nB%kk)vH|xf7QM!OIN*pE7$#0erT|zan$#ppJV5a8aj1ac)`=AYW{Bg z_>b-<=bj!Ne{7lBxhoyVe+}s)`AYjVu7!CW(KgF3XFP6mC|$h1V0*8=yVvMDn8bIi zbMA=siWCZ9|7{$6%9EdHVOd>W_xkk|%jNft_b=1h)-rSwio|Y*sA;{@4(WbmDP`}z zeMhM|KW5tn>%3@cs9_mrIxC<4zs+x~0wOR2Yruevb~u4w7t7pafV)+zynfp}3Qb8% zJ2Py?7!rM-nsNJoO&vRjg9=fc7{y5N`ulI0qQx?F;cNz@dZl5$Mm@5P+|y3#07Mo2 z@$`gA;D7n@OGB`ylbV4fVRk$Ovm^E&cmcy{%qX4VlX>a1xdohC^{Zs6L#bViO=4PQ z@$-+c;qa%&D!^u!3i~krQBV9{{ULFhvFrCL)O&iO*9oZvtLEQn zX-%INUe#Eh_~zPjwcSZlq(|u!IwTh0B(Zkxtu*!`=BgMsm*OMMOh334KKFy|>q(X2Ldb#RM9g zr8KZ0HE-eY!9QWBOz>f>nUR%skQq?Gfex6ARWLIItSi198VWs7W#+ct2NtW;dc+pG zh|Iv&J>9ul?x;p#Vtrsx+n26bajB_M(dsfIob^|)-cz}1ZN!7PxHl=|9z;cb%f0t{ zZ{@D(Lt7gorqAi$(BSSrbJ3?H(@_Nzc$Jlzb2k`$zU=q?%^U};POt2(*eTFIetggd zpWYH1qIP|_o0Mem?%kHmq=ejQi92PLg^5VtuZ(ze+r8sBN-(Y?DHzQ%DgaZgcn66y^&UdEdY1{cWVf@W}Dgrl}J_K!6S&JV-2B z`@ZXd9M>HZdizg+2ErU0luLoyefwnktEuA5V`37Z8Q4QyynB*OV&@CnpM@|(CL6_w z^qqiwV^Q z*ic@&HTB9mu|s}^hxS&EQd3)byr1{xP#phl|F|YTdsbZ#t>lnCOBJ-Q^3B{`JNvf$ zXuo;u)}6f<9i2Af0CeAIm`V5W{#M9l-T2eli z&$OxFPEx|D3>(Nf@N`LvR|-Gn`TDH)$On!yPQ;$*(X;)U-;TFCr;tU)FGr&Sllt+l z51CPYLWBF}$A0vy-M4PPnpN_Vg*HVO3ge!dm!u3Zl74huuItL|M~p6Pid^459f5zm z)TjqPo3eaxH?9r|ruZ*&^e0?W0QZrSQV3dF=lI2IDmSR4s_F@LJ+v0QPMZEz`Yjw- zXc>$VepBy*vgL9OQL6d@+~{~mYw7T%y$IdkR=W`QnSb#@zy_CNp6 z3^0|+_5XVY7y}D|(i0~?A|%uc*ork(Rnr~r^|{*L4t2u0pdd3$=8)po6dc$3ztU*z z{uhlVm3*}4lN(9+x|~baj^C%xI)7Juw>-Q%xXaMN7qYH}Cg&eL_2I(5uLNg(^tI-{ zPH&%QTjD;g^@0LV++#@3`OeJ~<`;Q}1>Jk~>iCTtyP`BndFJ1y`I%gsWj=1Wj`kRH z4><{ipigFR<`q8qfg8`A(<@G_svMKEl`8|}%2S!J@(K~v9HM_g*KD6D1{21PU3fqP z_w2W+spT{$*Mfr}H{$(^(f}ehaK+n?AG0ztxKCRRzJu7%w=7$=ibfUI+EpB?so5yX zS)) z0k^j|44njJqSv7g=hm)8Dom#aj@ZQrDACShUC<(@t-G1=#H)@KtSFBIfUh=v9X zVDYMG(MoywcsV(NfM>w}LGm!Wzg(CCriI-1vidNNHvCU0X+xh5<+fYhEP0X%uLi@x zx6T)H?nKXQOYu3zsyk1S$O`}k}xs5!c4&p?wfzwaAw zUzhuoY^r=k+1AY?qwvrngGu_;5q8rS2A_a>Y!b7NqJ9#lk1$t(D3PHS+v#>a#ob=O zF=D;}b$Oq&-vH8Ih0!|rHn?K25UY2=O#U^2uWZ^Vb5f9CH&mwopA)a#yDl^dBvv?& zUC3E%Z0da#=kD9O(`I;-caQ(KUL;d4{mb+nL0i#2p@lntCN|_-wmvHZC{VF=ErLn5 zF;*S7aIqu?oXYnBnR^OE3iy;EKNP#E{Tlx5c4a6(aGjpG*|xH1naq>TWlQG^PLEV_ zb5+@Kx`bsEp&=@dv*yoV|LRqvMQ*13K0oQv2fk$0I~Qz!9C`7;AE#~w0a0@*J&uQ+ z_cjqra_jwEWnk~2F0GgQjhs+h^;7j)(W|Dl-GUDSO-S|a%i#NAbaViqInXmO~xDI1N|oNKFWtjb;g zj1+(7&|bsj0KKzIYNa*ZW=T?VH*@ zH8r7DpGQa!ZF{_Y3sN?9yXwQIPydW_`l9mqv6~yQEyEk-XU3d2#yR|Iop-V+f~7=sKV+=3;eYPKh05|qr;L-(q)z~1 zS`|bYrT%4HOH0=^Ei~r;Yr;1EkuI%2lN;(kG)h$E(~NgN`Eq+~#tO`o88^tw1Ge|0 z^FY!sJKa>!Ci6Yv&O(|0HPL%|uZcw0z`cZO`-SyX6ko&WR~088OKF zkdn=*^ruaE5|WK+DZf=*pJYaCPYY1{RXMUd4=wtE#Kg&AjV(s+#`~VV`)%ByLHG9m zDp6J2)g2@Y4ihs>)Kkj4zaEN=Y@w%M2l&Qc3z{c#`xupyJjVrKEirX?ZxN#bk++q? zMjAvWk-41m`K~)HEdjB|*B9qUSs4J{wc}p09w+X-OE+&WCY3<{oBqoyd*@^PAq3Nv zlysIaXNtwhY)iow?Mq^ZMEEVM1Mb{`V&LNB#N=kbt!(VwZ@Mn|#+oWPY-7U1O29`c zA3usVw9MW8&wKDm5%bREVCO}vym5_ZZPj=G94_BdX6DwWph=0-QLQI$k$zVGT}6fW z?OQ4LjrPt~RE6XI<#&52b~kK$gaR;nP?NrfM*E$W$EQx+>l@m4nB2gTH8E7r7oEo_ z|IB*2cXmqZv8KjTH*R+AGB<~lVOyQEdQ|k(Y3g!wa`p5b0!}Vn;M}olM`Cc)>T@`F zT&}!v-z4i**0k=Vm;6xuW5~Ys^!oYxPq4S|FnTvru)Ddc(Y7=yHD%s_fhE%=M`;?l zk1A?PIXQ?biJ;Fsz~{p6JJv_k4t*cST($Rqdmv#ZaZfmhCP;gK*IAplM~@XNSUU%d zkh4B(#7dq?vgvoQdfsDM``lb<+GHwb)``)KryI)=?CC0|PoFLju!TM^Zv!un|KRH> zO-b+F1Wv^_Z{OYy*%2sq+eagiT!Atx;}NzpN&#zR8j)rZHp)ld#?b7~dzfAunLanr`{rAU`8KtQlSc%tPZT#OE&xoh{IoLT1;Fkp}G=+4u^&xgW3z1lTVzo{I3`=j|*21}u)0>ES4MD1Sj^(*@r7GBzG zD59??B{5OlK^Wn+_3d?ZvW=xBc8v%LF7v`3J=%-HN<&ET%2Z$QwXBRnsfmqVjT!lG z-iQ=Mg6U9GsCo#q?7XXWB zCa_!(BtiPZEos!~(X0LhLl#8G?lsFuY1G3%Jq4_X=ZnOWQc}vOTrB&r#-*3I_@hho zWlv*bR$ZB8j(arJ3S`MFL)d2Ek!%W;1uExB(TJI4F70#zty_|^B;Gy>7$Et!U*&;x zYm@cs*Nz?g(cY;%SdDn%acbF#Y1f7Nw8+}+_^4P%P!#@=zEe}p>E;GB;*2=ueE`UPmFK>A@;_X^kHR~oydxs#NJ~o1do9+XZ(zNS)WO9K7J~y1xFwtN+wnvzX)!^knRBI5kA+t!~Vj`>;imCyOikX1crN@XaZt`XK@jpYhQ z_ zK3@E!lvJX=iB65zO1bqdEsq--Tm)d~2_?X^6as|&*7;s<$nSO`qPxcSSt{^BkFjPL}Po?%_6%uJizTa0ne z1%-8(eO&A&EV*a>R8}ZJcR;@6H~}h{B+R=WHu;N;frg;r&;D;uYzwYjsbZRl4yLAa zZw$jQ)&S8E4I9SB+s)wiRt0nR#7uS5op!jbd+Wl_vx{OdFTjjlaQ*H{YxCiS+1Z6F zM^;yk7UO&v3)8+g31ab!I~kdSHsH(p<(V&v z5g!?|t_P%HddcyCL~_dPp8=4=zZIF35En%bLuG133OYrKvzo(0c2(t0X&n?9x$@2( z?N$D9;sV%csMto%+9?b_s`>dy+*{EC%FL0S{`2>r+Bi8k zHPuhv6KYR;cE-jkb?o=>>@--rS9?pzUcs<=jtz_fcb9b3uc5$0yu>~n*6T6G^}BTG zxKamaZ`#K}`d&;~VZ6^d@Y_+~*p-lz3FXo$feTc3c;!Jeic>Wk|8U<==i2I*iKVtp_S3N4~PeBGa z`sU(i%u|<*)qd5xPwAq5Z+1SuL_${3X&f{tpuA$pxnuB0IFZz{ywox)$6yO4B~!`b zlP9k*G<4-HAs2yqHkk(`VK>n0QMOczq46S-C~@!JScaZD*3GJl#1~3oXkLxL}Lu`@X`}ul**k1;4ss95F zPAvW4z>I(<0rdeBrFMLR5fpHy$xLtw&{vEpGThJR0RC8Du)#DF_AL5E^T$OqJw@bO zF~-kVJ|6zPe8UD-5hRNO67~TQro*3W7_mu-@CjfF z;CjtbE}s~H2uyk4as7MjkLKb5h~R&*0ZJ{KWJS&x4t8=(9cms#D>H$I+RMY6HxIEf z<1f+(rTSmhho%vOdpGB9pQdy|CV=ow9p+$X$2+YM5g*)QL|QGovAvF-LzRG$1HU>P z(HZmRxgudBI>&i2p3sd>8eYzXgGI6M`ZygPL#BxI0m^&+3`ZWPS*3csGE`W-1vwEM zLk3giQL1DRbdhy}=oQN641%8!oI$yV7h1r7*eP5T{wOaQi8OB#5}cf#{{spQ8bt7^ z1(b*MjVX#~;E3`c4W4c#9k;fY*6)VrQfwlD^+r{Q(2Sq=-`i1`$3HSd$%>C)J<*h6 zkV|)}y)qum0j(b%2WrIh=^}9x=MnjjOXNmpxcP+d)wpbuYtcO6PV<22|iRjQ)D8VbP$_VnvfC#$KXxTPQ>oV5fczGeNW zy(;R|WYGMr;hQoU{qOj<^==9YUo6zxzdxRWJiNPxNs`L7FYpyuHi3VOh(RC`SU>!Y z)K6)AEZ72H%@hGHBcydlrXY zpoY+3y?Py7RJTrgJp~-K?Ulv@S-p$r-y(q zhmXz2k`l1!Cljawz_YM$RFIx|D25rdU6j!Ob4{PXzNdoSvW6Gr?jzBh$P!cjP@jvo znGWRh66U*y(z|VKS4!%Xgt<0;I)d01S(}~ zM|j>rlwmqu;>a*n`^g(u1-*x_8RHc6>pb_t>T`_VrcIl)w6-DWCgh1YB5un6oB8h_ zUV>GMi0@ZcO8H~9eY>q;W^ytci`#*y1PcOn@f6-i6l5Wr;5tU-8mxvpwcLvT4-^e3 zF7g2^zPA8A8!UO7$IAMc@Wel3KHBZwTl2!GmbuBy|E3e*B$zxAiyY&{%&iBzAf56_Uswh&~;G7oAlgA?*ZpWeL*%AEIop!Xnje24KvL7ys(3t*+P@0>@1 zs5;&7`1gI=t*sG$ynrQq;X+P%?595X#{4mHX&XIs?H~32ztwzp#C%yh@SI`HSgrBr z$D~J|3{%}~^eR6q!v0|1_VlUCpH5y>vu42l@i~&K|Mj_Xb!tq^ zEc*2{AGI0G_`F-6=$jHCrB z;!YQZT4M&t5B{s$dqj;?QCZ0YnFj;`f#CIyv2MzvR@Ib3=F&Gb#PQfu$e_W_!QtcE zx8~o1y;inPc|7a800AF`0Z{$Ml`HSv&IEYcYW9|BwQil?Ec5f@isl}G5QZ-$%cyV= zz(4mtQfL7>Ws6{m0)~?QkRe-KOZ?m_AsM7w>I#gwP2gm@*#r>+b@aL>8|_I($() zzz@J0hP=%9q=rV`*B2GxLhAU-M?{v8Ir96mpUs|*7Lk<%GxiTe-X)ZgQM(?qwaGD# z=g2hxZrwbo!>aJf!xkA;f#9rtk8UErp$(DUdP!_Z>va$j|3kc)l$Yv3Q^n>IxiNm8 z&`S1lFGK-t$+);uk!7YX(dq}j*VVC7ZT*@x=l%RnJ1C#mr9uN5W&+#)#3N)! z0K@>vaYsd8lhUhkVj;~ZgH$}9GmVr0muwzX0dsKrTp9LU57{XZ$8B{??wFY(PR3s zzKqe)^1}=H?-Mu=Ez?_&32~h=bol7e_nDcNmq)Ufb;C;xrjrC>PSQdt_PayZg=mK3 z5&9~TsVLXv!~}JIM0d$`E(_L)<|<-hfc(}VEe;M+{rg*Qe9TGA$D$pHz#M%-0 zC^-ne{_wspC|%IV#2yV1LtbU-Z&qBTjtQC#$pny2u6y-Y3I8KuosRV~0? z7dbKx#$P9Im*DUB^(oVHPd0t9A?#9+<(!f7>%j6NjxD=Q30^83ejjHK@Z0X)x-pyG zIV&F-Hxckhe@TI$<1zfr`2k;?@jtUM3IqYsu*v!3Dc8_%*dYjQM2f;>F{mB|kIlVP zN|J}3NpnE~!(vq2k!jL{f-0f6nQqa+L{*Zk3pKs9^?Z66`j#rKw}}H5xptDEWYwI< zUD9nR!D@WWx%`6VW6m*!9XDLcm_tBE!{viIc6mhw2rm3oxXt~RN(&ZrLz{q~GA^6$ z4sv6#)!u0{^xP7pa1+Mqb^0%H(!(B-srfuLHG}AzOJztR*bM|K?N~aF=45T6&SX@Y zTqbtdM>y0Q^WhlO;V}$q-T&Q6)_6=~8bq-Gf1-E&0xdpVu7*?&CNN884m;%GU#Z6! z1u11|Q#5BAJx{q&-lQnpa6h~xLRKyy9fS1c~kqJVB60Cq41E6+l}3Jc2=rxei`KlT0ZDM zN$Eb$^GnYa6ZUckwZ^=~Op%TOZuc&OeuE_3c)9m4 zcaI}={VeAgY~1*?MU`@5%fk(hX&?Hbw*l6*=-fI%C_&>V@-k-SCI(x@m6Y*GO2A@5L@Tc?T9M;#Ogs>;^{h@B<=4)o%Q#rvogZGoBe^dCR6SIdpI_{*0;5kN!_ja7Td*3=(~C!zKa`e7Dp%lG_F; z42skIfUMFV7-|mCl*yD{E+-@`k01E-r`mzvPg-0~dU~d+-nj4F@bxhDdv?~b1#;WA zZ!eaS6PRA#I@6chfL?gR8b~)R3Dq7qu%JrwRh>XE^3PH&jdjcKJ;>1fZfY*Fs=d_5 zj=LYWyw@-ZmFj4!nTpcVz0Fl`2|Qb8?=v(kq<0h%B=|0J!u+Dd@dHm1S}i^Y7@b;y zz!k!O-c|rBfSclxIz#bcPW|-BH+74xvR{--`nE<&!*Q}C-^cdj7Eh-kIn>+joVYtgL z$-iG2FhBmNO6-jrV`j~2reAxqx45Yd&N}*k&$h^qblm_6EQL`Iyrzk4wFL} zHmdpfC`_7Eki40nL}o;Q0R{n+J#`De{J(4OV3V`YcIsttSQ>vEdp-W$ea?^mpPHRG z#b9Iq=BXo*ri5u8J{I7j@6!7tWjTf_vHsUt7Yp`#kdU(BA?*LUucmXZ%8VYJ0F#L2 zmI)13HKh_gj^KwYa$$_5Q&N zq~XO#`{)d)sp?C97*181Faf^bZ1QNH$s?dE``yg7Qz7pna_kv%s(T<7!ZeR<-#;B~ z@$0ok;r9W(jT?Ov5)Ob9klA!rDxQ!>yWmXDE4{w_E&@H)LDT0Rc1-zn0eupmgsVr7cNR`vs6tg--DW(4`E;v zhcz~U0ol?ZYUl8so|lz1_ddB37c%c~o`SXEY}Z{2B>px3w^&93ZGn^P;wd+)_kW1h zub&^^nG>-ewhO0^2mfNm9BP1595Ce2B^)ZXse#NWm;~5;892nlj(HDs$JwkQHdvx{ zqr9Pb$ifr5h{kP?D+b2;Ma)DU6nFEd_@k#!FC{xR{n(1B^^~J;Bd#sJ3Gj>*YqRo; z+yIHJP_3@v5?}W`1#qJk7}vUP)kf7eD8HeX7c^D%`V$*UJaZ&A*DTS_6McS z1{Ce|TK%7|U=z&;INwR3*=T9&9M7s zvs`aqjKjiVrXxZ}+Q>eU*{gCqt8}c}jx7KE6xnq}MpTmN(B{-BWU+@dn|N{JrEZEd zXNp`M4Gm8V*Ie}JDoQQC`svZX*#ly=&woj1k?g&6;zUget_x4GwkUpN{q@zpHe49e3M@nic-bC)VgXx+X+LFmqDqudZLRvrmPGp#lT7IJQn`$e`T-)--O-tuFHNVvTl zezVjmb&z~YrKm|f=2gd!GQ1TOgpP9Jzb93!R#LD81juSG(bt>(ETfO}-L~_!k9ORP zc&H)4#2q|UvVQlii)Z6bEg6RxVsXkIi~%1OD3lted0tgG?jfD+Z`<_3bFa(^A!lB) zfBzS%qgb${%_{e(>HznI&Q=4<3LV)I{U)rf(o39T6f#-igiz$2$V!l+;w9rzjbQf4 zO;z*n|F~yvwlt5V~+G{*!$ayvg3?F_{c!gCV z%PcHxQ+np#z84l}libZsmoj9*0)gn;$~#@GQa_6HAxz$Npw+gyhx{)8I*VN;Vp8|DO^_YM7j^8DUaOG-9Po}3~aQgyo9#h7g+T5hnW z-ZBGe=&#)&QK83?%8_=OaT8hjShsE4w!c_);#0`Dl%2=Voet}(Sw(1YOyhG^G02bz zOg_43Q&<@CFgSYhWu}%Zj?a!AxBX3`#jh=qbE}5%8+v&KKU%R_y}Qv?qnXl+t(Hjm zE_-pOck18IWdfqVq%3YCUu@B16n>rl4;BnP{mY@>j$mEquO4xyUhnvrle5#pBY$i) z3T_GcNcml3E_IJtq^B<}j}6K(2RWbvn3yDPEyI|beG;zkmI?>6%+ljp3n!r-!Q(b*d|M?+$BXjt=keCJ%AxploY-nCu2qvd1X*8V=KC=wcDV!rrH zDVSU7F+xE_@qK&Sm;E~**Bcpbl63v~+2PTO6)|=yZrSlRiPyI7n6Ufwjj-=RJ-vdr zH2;gIaKCI0m=PaWU8Z{d>IYwPumgRb8f9-NCf7I5-pMKfb?W}k7 z`>zi*tq-*o4Zb^lO)o*V151ZIjIS=)bAPLiLeN92O;h@b_uJ*W?J5mK8UXbtZfia%&Ja}Th?t$R_a8l zHU6;{)>U1aP5xz`4}aOHynj)>II;aeX0HkdsRTva-}R@GU#GqP_(921C(nK9*wZqn zwF|snMEPvHSUA_wEclb|uh*@$*R1_&l=X~0xOw#M(>g`?GRFVJJewVJ3T!&+BZo9i zUa_P1(=}p(Lx&ekcDgw3^`i$uXP3LFPxJCLUcHK~c++XJv&uVep6c5P*>%nPB;?H$ zALXX~ zywvZ}IS0b*x<16)f!D8jw=REhocW)wtKs)Q)~-J|(05yO(fybwDykC6#CwB+Gjqy1(bugqtkYT)oOG?ZUs4!tSMyTeHB>uWYOCg^T@)9;c((FzM~!{Zhk2YHIHA_uiY&yjNPGAndKvE#Ps{Px+RGw$2Z0cNz5F_b;gD-J~rKwM=4e z)=Rj106Wywet&%NqS55Z)~KF+SJnUCUNT|fnEh&dcMQ6^UwzW@Ml*4vAB&7ri+2k( zQ97I*wL8y`H_*$wUvp-&P}6?o_ba}yb;9Ra&AtA8$Q@vS-Q zm7*+9C;lHTU3oN=YXhH(h{_;Tw2-BwBxK9dWEo1u^pR~V=?+4)~p5kUcI(Tz91eiaWp(D^|jC8gkCVAoe(4YL~i;v9)l*YYcQ zCaewv?#f-e1&7A(&eDEnHcZOq%t<{6%T}VfT2D3$jOUaUm30xHJe@jE(YQk-i5-aO zW+quAkHuMZdzQ3DHu(upuhkHF7PW{q0b2*2>7&{ML0RA2;P$#n?&M^2Vd3XpyV5sr4zigvjT>-3r=@H1jdr4Ey-fDj^w*2ASJYp= z=u~yKlJVv^V4d*VVP>xFu9cx1RVZL@vawW(>TRWC%J#>l-$-lz2sHaqY>&_2{&2ZG z$?kF+vsk%dTbH%(`~>DWn)9f=v^u&|@dP72W1e+6PE`7_xw!>Hg@i3emHz02)rC8n z-97_RL(RUbYN;`CnO7U*rKK&`Ew`x_8(yO!iPqN4{@puHBG#kiuPVn~WPPXxD9rUb zcFf<0%IdC~dwZn$Y0G5AWY63Q_^VfcTr(cc8!76f$Rn=g$NbbE>!82qFx8S;aR##o zbBOPw$kKuNhc6s2$%L3*FTO4(a-2u(0ImP;jeOjMjjtrtj)aZ`*%a0~jF^SQNguvE zm~^Az%dkY)+A6{P^DF!N{qI4`+1R6H-x`G7B*yY1twaV@5IWR(lRlSy6*Ji zX@1h!-h9EE>5Bc?kvC4sKc8GMqFM$Cc)Z2_e>G#Mo!ol;grYN-kdv(C zmh2dslku*XlD=epT=Z#>re1EBHP?pE7lbG;AYy-fW4d)Zd?DO8%DL>-QS-wJ6SSWE zZ$*wtj+Hwq7KP_H^LhNdh7+UiudxiVO|x6tKQ48nrguYeqkSRy$cj$S64N+xoVtM1 z!Dc_K6CQl{qWPsTi=saD``*T>pVX1*(mIn+Av-?Q-0D@%GE^0@v31=ko0bscCSOpV znw-4wGsafO%EW__=@by4aNpa@c0#YWnMt#=L^ouSb=fv;sww4>)4nALUB|La1cyvQ zs8WF!Ec1iqZW)zOPxbnU;HQn#zst3YFTaFewpcgAoDQNasx8rI|5#5B6eWBxai7T; zJ&@-iRw?GKKkGP|+isj{{6ya+(0?|^Bf;C4`E_GP_rqk{LsU+}$SnPsY)VVL29NoC zL;calL7{e%tC;Mqil+ME+Qo%dUf%GkUtY2Hd+ZfmkD;EzN8ULn$?^!*`=I*f03Gpb z5%ioEWtETppX@zcIxnfLl)TI;w>yQv8|=fONPs1K*U=1)l_ZzKg~2@?rIDMrj}&Sr zFD24;Y%)AC1Z+}>9`1o%4AhA9F5H}bUgd=bH zZvB8MG8O93n`_(7$AzILle1O3 zd%W{baIWY7w{5x-XI)$()2xt!FA=smZ?lG`K%{w1_Uh^HCI+A?ZlIIzMzhe*+Dj#5RnJ93ci4ARJ zI4(gV*YbMT1UFO-RqwA6xNcz^t+_9Z5z#9nSs<_&^d5ssBw+$y?U0fX<}9ZVB3WUp z#IJOaC37z)W%=dXP^S0zpRHd8BW2`RoQ$%v&Q-X7oP%e~JB^)s_d`fGzT&|6HnL80 z@ROn<#i~S%6^RTFl~HDN9%&byPL|&*Y;fYPAWds|nOddGjrR*)UI=HA1beEoYa1O( zHGcGFdttbBx$C&Qa% zCc`l$3#x2=goT;ec84-x{t!|^zR|}BNbd_2U?{OdOuuXOYWVPpv#riRQ3sH>MEG-9 z?t)Mv`5^MFNRiD07sA7;|E5!C8txl(5<|c^Aa`&phT|%R!FfRWU2 zXE-}gZR*-|;P9wb)M!el$@ss`t;&ii{3HPAdrqUPmEa3#8eHYQ*7Awb(dZd56K3o3 z(8S5}VXMQ)C<<&yQQ;@yJcrNC3k|WeQa9O4Jg7e=)A&sc^_dUUntMniflUj%Zt~T7 zmpefX@Vf2YP`Q)DjR;VLg0KD_3H(W0T3Q;NdGhk6)A!gZ{m4KgcHxXV^FZO&ocHSliuMKf5ycR z)d$OdIR2T(+(NVmz}Clo?x^DPy+W4M(0B&KFD6sT$_kmwi$dbH?&o|o0)J;max*sY zUX6~<5>vf$(l(k1F^Z<|gjgTHp$blKXk!3VgnA-tioK(w7jnzp9ZJV(el!l5rp zkW<3cQS*vI=Xl`f&x%<33i1wf1Be`hRc{~tgf2%$ZyJOPNS}c2LiW)+_`6R*$qjQ( zr-h)wweSUz_`*$6k0!YyL$f*gwGAA#ne}XgCgu!??*UOZt}O#Tv8` zv4Nxp5FxHBeyvh$OXZd=Gi~qdESGeu-OsHzG3pZ8x-|QxwKEywuT-tT+s4uZqSo5m z4;FNxW)p#k_*9@*^y%wkc6LC;CcwFuo_IPE+rCM~v*$-tjq;3g*G0kLl`+%-yZxU9E1(HAf&L6 zW__Yx*cX=~{k5U7am{y?J-rB1LWEzyuQxa?haqf(j5P8(hnexAZ0NSPRG7v$4{ZK-&oB73v!wn&ge<7Pw`ansPBJf&EXH*uhDN z4nz&5sAvqsMwmd5tbhOhNqIRE)Uw0Qm9UWfq=c&}Dhj4lD7ZhtN0fH8y$%7h+;?7 z*Id`X@4aXV5fH-nWFF&$QB)fnrh$_F%auqG9Np@*zLb%eE$s|l)5S& zY!jmOV0Fdn5ehRn;UYm(vl59L$hY!RS9AcU1S>x};=q~m7z$lcPo+6wxI6(OrlxwJ zD{5&mAftg@?a5^3V=^l!ur()tkathG5(KPV3$9UofDvL^?_AWq6`6g-xHwdXC`pl# zmF4+;jc~SYKJy|1b^y`xlfZ?2q)oLzgK8ruoY1g)?_RbE0K%;}eF$t#jvNtH<{37{ zcNuFh!hQi#!8&^@C1n|UYCOAxTNCOWoSdB}x=UMGtRFzVL2?4pzH~wG;`Px7!Im+= z>2X&eCWhHUwUr@8nHUTNabZb7`rG@iuJY1VP$96i!8QYpmqW`QCEH@>hV>CO13$gI zy>T&!i`yZ&9sqr(+3~)D2mgR60(7RGot?I88(R=*ZGda&@F7hYJRhiP*ox1ArUT^? zzU#M+HmedLRP0wV*Ja!Peu?B71S^bJKU5p+pBMf91ZT&+H2!$V6+0vX!BCH)`-o&8 F`ad`#ta<VWBTr%~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(AJ - - - - - - - - - DEFINED - - - startheight <= height - - STARTED - - - (lockinontimeout == false) AND (height < timeoutheight) AND (threshold reached) - OR - (lockinontimeout == true) AND ((height >= timeoutheight) OR (threshold reached)) - - LOCKED_IN - - Always - - ACTIVE - - - - FAILING - - (lockinontimeout == false) AND (timeoutheight <= height) - - NOT all blocks signal - - all blocks signal - - FAILED - + + + + + + +%3 + + + +DEFINED + +DEFINED + + + +DEFINED:sw->DEFINED:nw + + + + + +STARTED + +STARTED + + + +DEFINED->STARTED + + +height >= start_height + + + +STARTED:sw->STARTED:nw + + + + + +FAILING + +FAILING + + + +STARTED->FAILING + + +height >= timeoutheight AND NOT lockinontimeout + + + +LOCKED_IN + +LOCKED_IN + + + +STARTED->LOCKED_IN + + +(height < timeoutheight AND threshold reached) +OR +(height >= timeoutheight AND lockinontimeout) + + + +ACTIVE + +ACTIVE + + + +FAILING->ACTIVE + + +all blocks signal + + + +FAILED + +FAILED + + + +FAILING->FAILED + + +NOT all blocks signal + + + +LOCKED_IN->ACTIVE + + +always + + + +ACTIVE:sw->ACTIVE:nw + + + + + + +FAILED:sw->FAILED:nw + + + +