From 861fc6e5f8670ebfd5ce2338dbe93fb29dc5a8b2 Mon Sep 17 00:00:00 2001 From: Vonng Date: Thu, 8 Mar 2018 01:38:59 +0800 Subject: [PATCH] add weixin --- README.md | 14 ++++-- ddia-wexin.JPG | Bin 0 -> 101766 bytes ddia/ch9.md | 116 +++++++++++++------------------------------------ 3 files changed, 39 insertions(+), 91 deletions(-) create mode 100644 ddia-wexin.JPG diff --git a/README.md b/README.md index 8c49fc3..efbc395 100644 --- a/README.md +++ b/README.md @@ -98,9 +98,9 @@ | 第二部分:分布式数据——概览 | 初翻 | | | 第五章:复制 | 初翻 | | | 第六章:分片 | 初翻 | | -| 第七章:事务 | **精翻 50%** | | -| 第八章:分布式系统的麻烦 | 机翻 | | -| 第九章:一致性与共识 | 机翻 | | +| 第七章:事务 | **精翻 80%** | | +| 第八章:分布式系统的麻烦 | **初翻** | | +| 第九章:一致性与共识 | 机翻 | 进行中 | | 第三部分:前言 | 机翻 | | | 第十章:批处理 | 机翻 | | | 第十一章:流处理 | 机翻 | | @@ -108,14 +108,20 @@ | 术语表 | - | | | 后记 | 机翻 | | +最近比较忙,精翻计划可能会延后,但初翻会尽量先过一遍。早期的几章初翻质量很一般,后续会重新过一遍。 + ## CONTRIBUTION -欢迎贡献,精翻后的章节,接受ISSUE指正。 +欢迎贡献,初翻后的章节,接受ISSUE指正。 贡献者需要同意[法律声明](#法律声明)所叙内容,翻译请提前联系以免冲突。 +有人建议拉个群,也许发布更新通知? + +![](ddia-wexin.JPG) + ## LICENSE diff --git a/ddia-wexin.JPG b/ddia-wexin.JPG new file mode 100644 index 0000000000000000000000000000000000000000..b2693eb37f53aecf8fec7a38a74fcbf56b0d1b2e GIT binary patch literal 101766 zcmeFZ2|QJ8+c&&qjxrO`E`*YlS%w{jBuN8B?1aJ&Niyv$k$H?ziY-Hw%u`8r=1MZp zv8T$My`ybqPv5HNy6^kBuj~E3=eoY%?|z>5eSi09uVvZJb*|$$&*MCX|9PB?J;o*g z!bi<5%>fP$05}5w0BoXqzFCmxB>=Ft26h7gzz6VfhytAO6$ktSaL54Mzpeqmj$`ZJ zubnwmeyg(q05*vIqkfDh!1Y^wxJ}?Se85ln+0t*nc~b#^7ygTDpN7W%I~@OU&9Q+K z$ot#(`}gh3C5c^m%L;)eV@&c9uAh8ObuRtIkESK;B{{Ouc_|4cW>=6}%5A^A^q zbNsC}j%^$M{*=8TzqR*IbhF3UuK^K0n93kd4tZdM2nVMK2fH0Wz>nhQ_*H(p4S<>9 z;^yJyX1PSTMR)8s;SsZS;g$Cj*SK}(5ubu- zRg1*Qeu|>z#cL7#8zrT-NXzV0QdZfuTT5F+Sg2JN5#U)RkR@c~xq0fhmDTUGHR#9sPrl$0_z$+=^M7#mJHA9< zzBX`iadPqgaAgK@O6QGjTsgjPW(;6Hm+7cmn&|gRySp_0nWW_0Qzo5*JlH7 zWe3>6LeUH>qX&iT+E!ZX_4vd4ros11b%(BXrGJbs=_L7d_2DSJC_db*oH~ogi49Qa zk;L3)5wK4O#SnbS2FSzTlyb%&I-O)Mop(RW z8Np}7r=ShNL~K&0(pk~WQ*2-Zih*7iW)|T-O*7DJ;DRHbDLTx+o#18nu}H|v$R7&X zDCYGhHZbs_w7qHnlkwT+T`A{=5Zw(m8ojCr;*mQ!DFhDfC0q@bai>R})#wb)ogXHS z<_b}5uv*rSKknOkm$jH`@#+Wh1Qef~hkQ|t1;P{rmYp+wLd8HH--O<)-Y#hhYh7mq$G^SLgkp|;hw zVf5snMO~WWuz8u_I=YuWSz46YqgE{WIsdL=gh!@MZ|@U|GHYYa)1Z)*Ru=D&Hh%M5 z2s5$K{oW|%_}&0H+4mDWUcAa?={DcbnV3AK6XifUB6-#LV2c7PTBSnoavFx~IaC%v zv2Pu~1k}a%cA_6UT9kG9%6AJ*k`s5fwJ)?JTXI~Vi@Lza8~?pgC2vFgKMtWk4xs&a zPP!HN_7ybBdfk9q-&y)2EKi8t&mw`B)qf~7{(Vd*7uu2k{7o{mzF8Mar+F|_!c@Zg zSVDCTuZEk1h~D;2H4QHXy+7x+j#!c{O*QH}-8kwi^=8e0n~mP-Sjrh3q~}WGgXGkg zw$jZp+aXJDqLsIKuXVP!!O53RcdbK}vxG&uf*)RfvUCtJ)+52FU`-(?en*($Y{17x zI;@8cY}G=aZQ75f%#WfdQ%gljpQn1dVwZQU?5Jzp|F%kvpG%Wlut3_25yi|!5>{;D z!nQ-_sK#rwcnUVA7ArmGDg2h8s;1O^B75}2uz+6X)-~O|uCXeng%Y1~Jvf;>B^5JL zL@9=(GA$B{p__(vAo0kQwD#;^h3cWc>Zbs(3S9(YgFy< zJ^GcZpcou1T^~8C`n4BQv0wU*SS)iP`bL8MOZg+l`xp+o4uNe80&m=JDlMOG5W((c zeNi&;6)6cPnoHdvcY{0ur;1~thX@oeB8@S%B zzRA(4_wl>NV;ZkkY=ZaH$Y%tdw|KL8|E-=N#9|vv?nyQf8IJQ_-WZfc!YwvXQi#@U z;IfU-gqFFJ8TJT(P0Cg*e$GaurjN4c_NF% zo$>fVSLjck}t=6uh=}V$w2o#j^5-mKpMDwd-ANxb*l_>w~xJccIQbU}&ZCCX+m}ns4Sv(#msh2VH@Ff`&pZ8MK zl2e<6Z9p)@ENHO#?xriATfjGTF~oJ-V3W@MJ>iwAZT#{nN>5HkRD0UK%$9*KQ~BVu zn|PZ`wZX#UKCu-&koIT)sZIW}nc+*Kjn&wl~)u^)<#X3y`KYv#>g}8ATQ1u z1JF$CA=A+SRcotb*;_;y0kVTPi>}kPb4M(<2VthqZK;}C%@Zm$JO|&%2R(v`oucS= zR>WXyz}LNT4h>6Iq?4TdcNv~ z^=`}8B5EsHo40oc6K>>fUSh(HqfY=1^d@>MpM8+}$9g)HA~nHy~RuM0shRlwOADB+0(b$e=w} zsvq{mi0XCJTj?hn!+S$_RSU>H(>*y^FKIe`!L-dsGue1Y9kT}Rt(TxMcnKE+8=obR zlGT-Md`Bw25Y|1(-@OkEY|^!*7!9SVF^k^YPFT>6?5IioktK5Ah^R)(E&Yo7;Khmw zu@+=?*HS6{A_I0(BQ8vo-=f5HXn16XfF0KIE+r87+Ro2J0rZ-F(Bel+0QEm_2|oC) zviB&!O284K@M5@&v6yqzE@IX##Rpc<5XSW?R@ik|T@CZfwVh(7Ov{;xS!x=*rZuRN zk*Z}|{b=jm3!~rg)UCvs4&OK|#RrvuF`@*T4mX*UsxPTNd+%L~KKJ!2mz59kVVBP{ zB8P(V7Or?^2Qvoej)!)3#Ucq$*Z>b3@KPVQp+!)Tam`9|>ynj*my12c-ui*0rLgr6 zE}^C7(Zu{Z>0l*~i;3H%0gl1XPOdaNWY#@Maxnr}uKx)gi7{LD^;x3kQSUmz;8`Ii5UQ8no8S6q;?agv^FQHve zyS(?la0&L5P22tMXy>R({Ci$KS#maO5gwRG+_xBToXl!pKz{ko_<{+9yy;hix@oov z9k^{E;YqVl77@{LM7?&4wm`*Z&&n~cs*E6CHPZ7GS5ff;^__zIu9{TLgDn1Y6kH3I z8zkgl`HaOGhSaE-lvQiqw)&CGF!@38vfLt3$&U8zHN>rkn66?6VBLb2$p+FxsTIsy zzTm2r{Wm6RNN7oo4JfUVQS=Sdu*aTR@p(NQ$sYWJnondlXbB~4+s#aFR)H?luBClZ zN6c@N94=$%(d-30uQe8Crl~!OCQfTdo9uV0mO4?KX0GXkUHr@j6a%f;KzSB+-Co-Z zgMr+MxFjT(p%W#h^FYpYLLr1b(loHFy~#MBuCXp+UNYV?FDG)(N%<ub z3stuatIARkz`3#kKCoq9*ei9n7_RVRuenITT9I@Qb^F|rA_7Rov^yfsn`i?u&xS<646^t0vMOA2LX+!R= z+#l}jeME9ZLuG|8n;Pn`9@BZUn>X22UJ~#a14vziLS_Mao!9!mc+P5 z?d`O3vS?r5n-W-JLv&p5T;4=`aV70-m1w*5r`p6o$<&88Nj6#>^dIyyU<>R$5Yn90 znBiKu$wQ>;6Np5HYJu09=`A$INuKF~9g%F`wiFI8P+0vkrM$wmv@0yYe%mprBO^b=4({-X7L0w_ z;Fqepa)@RHogrbN-4zT`1rwNT$FR4lN5bTxtz8EiQUV09!akJ)VAVaN>I~fO*|i-r zrd01OTa$w-mUvnGbmDR}mSTm16fGiZeJABst$m##&0;T^r~wZf-?H+6dtfs>)+&3UKEQ*piye554^~Cs1Sn$TPLbZ|5uB8};gcXfa&&)#- zigX>8Bl89fr2-1hc2nX763}0sN84o&yPqq1=`UdTL23J~@SFpwLaR3@OI@$=kW$uS z6#+Yr`sq=;e9Ex(ja^@z7O5I$IC=V)oL>kG8GLhbuv~Iy;|6t=d$;c24&~XBoUwws z9cBRcSu>6s=jkg7w(Mo_=RpQ-EJNz6&$#ICc)l^nj--0?_@$H&(Ia2aE}GqaBWm4- zDdM=Ou^A05!98UkHiE2NZo|W9K|7w$SU(6$k}RViW7zlCA$dIQj1>@`6x#jJr^hb# zFJH*~#DC>6SF2m&=3`#xOF9CvHMn+sELMmOc;LBNov1pq+;rY0IlA$@r#A&WJ9wwC z-_W80#p$QZ*y-^8ncK^{IKka1oCn{o>{1rzptr#OKnXJgykv6=MLC7oRy{@o#9NHPS zs{1ZTvG_r1MF$(G4P=Nd6Lq_65FU+SOaN9qC~SIt<=8-(!@GAQ=L9b4sZHhNnLU zoco0oeEmnJ-lO<^y^6{0yPrn1rvg2pGruz{-i&J$R1!;pAx*W1W3A|1#jKX;9V4}+ zFV%FNB6b*Ndk;}H4&AsTd2mS}m1re+CovxO=5&^Cp=#EmkS-`_yYG?}F(nBUZ$cp2 zg%U#SWA>IY_yY6@RPzj@q;=`Vx=njOb@@vS?0JyAL)!g}BEkML9Y(lX%s~PX4zoR- z#i9MA6e&+Um$8)RG$LBgpaU=5q|B2+#8){?%8$1&p9EZ#5B9mpalzO{BiBUnOEV36 z0sAX>%n?``QW+M*41Mb5CB#O|Day#_#Q@*9hL8(Gicpb%P@qn=cji3DC6{mY_ttu_ zy32wWn|YY2AmK468&HDrhlRnBSzyeEVomfAQQ}T5g(d+{%5!Kp)!U9{+A7{C_1&uw z`NlK)(wh~Xhh#<0_lzB|J1)ztW*G59+VI`UkUo_IbW3s|E*Y8>wGoS{+{3F4-k+g3 z@4D;pbEzLY-^&YJdn|9V!C3XHdJL}SGDB>Jh+kZwX3^%EX~;{6cpQhZN?7m2#-QTX zbzHmel6XzliH{2+5fk5nFEs93e1GRn;&b;mU!F3q^nrweFePTOmJMvko7UEs;c(5} z$=pfjgCm}+@RUcRPnlMPk=MnBo$kSEd@mmz|qRWX|b zjCN0d^vqVu*;ZW8wU6pJ-^X86n>?<3h(A`GS5s%Htq2HphGz=zZq{3nVv8K-G-F2K z&?yl}5!T+In)dZGiQ5$GC`qrHPI_f0C3in5s*Y|Y8Qf0kiFrRMi@wdfU2t^PHx?Gr zdu*UmiXm3UP^0>@_-n|p55oF@*rq+E_2UM^ii&u!i^9q?c~#5m8TyP}`&PXNy*+04 z?7Q+}?H?5sJk7WdmTr8#avNR-qYs_e>PCJ1irx@77}4EaZjV)+AJbLO~l^Ya_rZh+u_84QE z)X|T7{AKZzS3O7KyiTgxZMtfuBPqH?f4jF5jvpQqp@~VNZrti7*p^Sh@^TweC*$MN z8T%(6V-8TVqSX`!0(x{vKc+)xee&Y1th(k)(LA zG2%?NrP8W=9Qa)ZA3M4oDXJIgEGmqR ze15_2AOa3hTY_uhF`7eCytO-0V1*zw?=0HyT?_Jd70*t*@q6Mq(jDj~U-xo_Kh}qVH%J^2e!_l1sNA|vp1GuL5U#0 zsjQ+fhg&qpJw~MxzSP2SQGeq*g@a#2z9mv2DR?5jX9F?o6OK0@u=p2Xqh_``@!mON?4O`j!|X$O^hgi2WWr@RQGo%L_ zkUBSy6lzw3=!XX|haTa_we0F;F6DUpWSz9RUZZIxd&jin?%^mC!-w{3{B#BN#R*)E zO(gGPC`|~mLylLmfmVHH*7I>@jPm7l+?Vl(WWzq5MEjI9Mk-x$2u_2p<> z?d1fFHrY3JTC0(IhgzORTzKFs?Ad+e-HNA9R@KnlkG%eIZ|gzD zlqw`47ZhybrMR;A1F4ADIErOJUu{La@kZ*$15$|rLJ47qJbFk1s#a$M{EFXmR@L1s zSbW*KUoovT8(1%8@!7zlc9@xsBNXCl5b>a!4aZy~s?|3Zyf{+yd;lX=-0RAni`Cp& z=umq~BN%z*#(g)WzVE&bW?_B|BiPJ6p}5j!p<8qbRy($4^cKa_N+l{gHRW4BJwAm>PXjz z&g==Wi9rcqf{V{P%p1$q@9mW=aQ7L=F{h2^C?y_9&AqgN7*hsZMNy6{Z}UXe`ZA`ZYo&|6 z2_Qd?kcgt3MNWKOCd4c*Q5!n8aXqKp4LtCrihvTBU3xsLYd;~;{WkFF$2RT!7VWQY zBDGB~<&z%2^qnNr3ZPwuV9SXneVFS#F9yG2j0h>?JTs0Id{UXZcYgIq-OH(Sx$m~- zY#7e5KhWmRgobeXSZYau?aEsEp+^ULeWu5LV zb)KrF^eWoEzlipJR`glJr!(xN3g2&y0qLSS2cRd*9`s79mP0Mxv0gdbosi6N2Ma-X&f_4!YfWVmZ`ZoWh2E3YjrorE66uWq?IhUdJaaG~*G;)M&a z*+eGe2rqCPVG>}A9K(iwob|d{A)RbA+TsU0dVf_$n5s>8$71afxi8Zttx}LF5xJs5(Vl zA(B|IKvBw`w$`ApdDg0am#CiL<__AE-62=;l!LwF{$2Q=*4q>5g&Kp`R9TY!%?1-e z>+oPqlwlJBDzjyqWnw3_hcfF;th7I-J&jd*{qY5-+-oV?ZFrEaG5euI^eq@YC=2$S zHn0X!;)d!Zr@&Lq^(lvRQIzyC2j|0XV;9`4`pS0Z7u5L7cldXz(qSVIaW2T8aQQY! z$VKuoH0hd9#7ajPM>XYplf$-(l0!6fY4<@#x9ZlDMv1}Xi%eB$7QP2|ELwO#Z=uOi z)<$<;ur;0c(GDkz?c! z7NrO2I|UN4QJ@PxVR|Rj|EQbf%Qwdo9`VsGljl!rY8Vk2e>W=mRwHA7ZB_I^LPX(= z_8eG~#ke!|w}syoBtrtrvb{++Wdq{|R0Qimah}j;M;8ApSk9H9U394+PFpI-5SwK2 z&rm~p+pxlEBkPU}yL`2+(4QL4Nlu@=l&e2_LDX2#ji*=tb;S;7k{%2P-GaDF%Q6fd z<|9~Uum}l^DrJx)lt`xf#=4KF`(7!#Oy%w_vFsUoBATcml6>C^7h8l0`7;qb!+u)aH??W+foA(Ts<$5$}c;|20iF^16 zj$M{c#LR~M)O1FeGYPDXFNnSI*jn8sA-c*eLa1pcHS%b6@=UvcpBzNJyU)t#S*p_$ zfgO%06_pk7%Z67~I4RiI*vjH17+>Q)$gE%kuDApk3^=`&j!ph4*AP7L=W@N(Ez^(I z_IZDOHt}Vv6@5y7yRAa+XNim5&yxxwd;7O-gmCcvmmoNB;Z|;di9xYGuz`A^$R-Qo ze&U0kv*+g=baHN@i|0mkmEOkQpZ~KpkvyR#X5ZqGFYNEOV^xqlF!s{f5H<_{kemPBOk-wfxK+s zk`1K7+ul1yX7Q2zJn8!}W>6^6%0@J(i^PL7%>I%E5-0CQ2k+@9&s!<0iuZK6KSLG} z6AVYsRE)>41XN*uclajZWkFY88OG^)=n?n*!PTj)WV?jNbKOLBzWW8iio@TP;)QlD zS;`})-_~l`L^@e8BzlP!DY(nNkSZ^XTugS88xp?@MWOfu@H}%NH*&&vRzkNzU0u1d zwh1?$mHvE0J&oTr<5QwiU+^5NcWsfA;!lGYOCl;+V>po}0lMIbhc%^y! zoUv%GLXoG;=_*TE`Ljwvn_4B4FY`UU>hyd=IMTFP4r~!_(sqX_uZM+ehBimdO`+ls zG9O*XiUdu6rJJs-E}$FeMjh{tr8yqCe@?0Wsf)X5ldHrith`J?0v1=9(uN#Ew<7AW zui+JecEkol7f)*OF-q2Wlf}&vYyW`a_OD;&^~yi(`gC67Nm9h+PkI+sNkWiH%90d4 z6dzP`9IB!3oo&pDG}NbWHdAk*V`F8E*3Gn{lw_{^_ei^^Nj09}v=Dt0`F_HonZj%a zFCr%onG9(ift5u*uFf|JB<6gfe8?e{DRdr~NGP?V)^sS2gdDqZ$4W8ZcFUcCYqt*e zZtvqA##8JN@u=#{48sLdXAXszW1c@a zKBFL_d#uE)s|XYTtJRk#;jXp+>D?xDV(UiRmdC46Vo*#+n8e71QDdZ>7hhd>f}>K7 z=r`}48U2Cwi+WjdYNNm?4W4{l-cSKmh>T*0k_li3m>@Ge8rx)95#&6wY&%rprt$Io zhmHnI)!cK*`by!(Eq_S!`Cn&=jQ-Iw;Cw40S-Q+THsHbr5^x)uWjX{|JE$?YwR5&w zCzDJBtph?Y@7WiV8X;m;*)8(=%PVEtH8zlDP{amCt$LZN*{_p z}8?iX!b60hLzy_;_+ z`0xwv)oxfr3b6PQ@YsBS=ya8H3=E`3cb{)Sh%q=w>f$Eqk&_(`5etLoXKDE+Tc1 zt-M-w$HrKPfwLQ>W!ukYa9#!MzgmlPFyg`nK#EN-q}tGy5+MT%)hO)}B``8fk0Bqr zwRV7kqFSA%Uyi@nIGpDfpi$FkA)8rkE$?`sEA`ej8*S(mT?}j~2PtPOq7ib}jWoNa z<UU<*;C=lIPhCHEzinbQFE3 zCz4{Po&pMYwV|Nh#VyF&G~C9rJ=;Rf26i5J_~ePHt=buHAGh3{iH8T0T1?IZoB1m~ zuB&is}ka;Zyl{+Ez~AJD?v5<`0SO}ihSXnfby%G zQf5F<%%2X|;pDl04z)`s7sx-C_qS|^oQNt-oTL;%C>8J7AZ4lGFsG|4T)z+}=b(Sl z&ce=)OE`3W6o#`lA&DvLk{ElqLk)Uax(DT^6Ue>7^Y*%Tykz{Utb#}MvQOXpQDXna zrA}za^VQ{CbW{RaH)R@KnBE%5S9v}*^_GH93hX>;epUItMOyl`qL}3$TD4$k!Hzg` z_8b+(;#)>SQ@{;-XCrD+86kEyNzwUq#S7h;kSYXkx2}(u20;tf(nkrg!!B^iQvyKlADv>JHRcbRcBpF5!=}TKol5yA^Ee ztsfO!KGC!bvG0V15e(tWfNhA?JH%~q(Gi<)B^U^kZ=rrDFE{xpu% zDD&-tY(SD%4h?hgd%_ET|LAb#NHTAV+hEVo^p?zBn+Uf=5(phHc~0J-?BnOe$*wrr z#5T(ZH5`l98PMYQ886S)T)TS{t8fJ$h}hTr?)Wt$AzASELx7+RvbL~+N0&Q5NC8g0 zBwq(is4=9&S^VO;5*Q=;1mjtItQ5-;n-zZCZ;Yl_QKb3>_xmnD{&5^Qi~eW;R&}W; zvQa}jE;?kbtycg-wf8(h-_RVJ3|=>TFA`ky=&**B{8RZ2VV5of(%L`Z5fn6_!@x*i zHGYkSVC{vM(Z}H&{Ut!}gop2SUw;qZtJ^jA?gR8pEvr6dsaG98UqN zx#q(8?=3>6VZU>S1$hlsX6O#qWaHVb@;;#XRH55nmP~PuPk-Gjlc5K z`8NJm1b>yyKa0@c%debuxCJ=JofrNH3-AjF|K;*4XI=H5bJm%05S>bIMbymPR%2L@ ztU_No+76ee+w`yAJb*-=7*_wn+uhI*d(E=z{gik}+S4$2r71d@*-#FG#bIwXjh;R1 z9Nnfjp!Ruph;Ll}PNApi9Ts%6$`{NRNVl>B;I!j?LqGkb7pL|dIP5J(e*8&)cj&f^ zb>4#r0Bk$Nn!>Jnuz?>Sd}4T|Kpx;^4J!$D4%C<6Q<6P?^#t#01f`D+G+buNAX%sh zBpZ-{l?;Lg=g<^bz*)+4_(VRl#uVqE@G`WJOXF<7JcSKp(cn{O2~2AY^Cfb&pACFt z!6#@KjwQ_i3}h3GfH{sK1enF*h$Pm#n&aK>!!x)#WQ0a=zd3he(kk^k<=f6L^* zC(gfB(Ep`+@|7kbYv~wHgy9cTKoTnAyHGSjWKqp*eRkq*)yJ-2_tY|@j8A&WMBBG^ z6C7KNu1<#4RP^>vNJkYfP0^J<9-_b4TRpxHQVeXx;)7Kxo^_vG(U%RVC)qplgqmzlSso3^J_@k={~GJ5 zsd+WB9B-AvCF4JrV_XUykGO7gd;T?k|N5OXaLTjp0B+_k8(4b>TkPwLQU)@r$#CKm z{wN#BJ;es_u>0KsTY3KG3^rg`%m$j_;4mS-#lI^5`7&g^TJhsElKBnCa6(WX%%N7^ zf%MNH)VSw=zh+WxWajp?9P?K(dRNZ-sk1QweQz&GZ1VYaqYlXpAu9Q)+~T$e|J#qS zP}TtW4TG(=80`YrJ)&`@e-sBTjs>^W>TZxXRezo=&iV&MjjJm zsy-<<=!E??{sh*`3Rc8WpJq2aJ!?He=id(v@qDJW`H7^kTGrjD!7Yl_!-cpXki;+BH^1IRc*$j#B)gu8oB za#wzJ8km8RB2FqL!nm^pF0D|ltyu{0%%CVp#TdzRkwNXdc1@$p?S_{>_ zQ_apM##q-K_o_bjO;*#7M4khYs4{sydI_VHT1s<)kOe`3w9J8~Lxcd^LIM8U9a|$_ zCxQozYnD;kR_FWUXHM9tCvtW7+Fta3{#(ITj9+@l z*39-#2~PHh_^a=Ehx*DBuRas%>*FlR&wgLJ7K?BI0>oPsuUvh`zdkq%!fi+-P>)xA8Uk*FFDQ!}&)|_g@*l;eUawm9E7MojjFZvfif^x@fWH zA(Y2DBi374r4U6bGS#UtiVDtZUyjX{h60ESOXzl)hcdzO)8;WfS9OnYbn=FI6mPqn z_f#h{CMIkUUL!v|;(&_zo^xYh;zv1$q!0Ohs>Yo@x8ypi0c6mU>SSGHe$T@1zAnY0 zLH`R*v&n|6E*iAZnS~dwD>Fw=&h1T1Z6>`@FmEOIU9g|tCQi*8eYW~Cb~WQwW3Hmf zJ|jiI?G8$_jlRuT7{7sbp>gEe4eZI42Gy7Qc(g|7>z`J0}V{pq~hL;O&F zaTe0Eq4d#}o?z+BgWH-Wyg&F-gLj|fTcGQU} zb1b5ltav-sH#V5^gseETP~i{v^_7ey{%9H$FN)1bDb#)FKQtQW)pei<#s(f&z=lAE zR=0cM#Z?P0s*yd*H1IMj8^^kh_RqA_oXwBt+ql>y!UlGDf(w!0tkrq%8_s-eAhj0v zy#=?r^HI{aA~SJ2cWjRZLlR--poYRyfhWXZ*)s)aj=ZW*i=Uc6W_HQ8oZ5!v! zZgRqkq8VOOLQ~pUt!w!8<3G2>QO*moKh6*{D_R07-jLhQ$e#nLwgcG#)Tl~sA1-_Vwh=9 zs}io^vvcZ28#=bMrfS$5+#Q7#_9Cp@lty8CJEnBmfaL(r7$nr%9XN)s35;GYr_vUD zgnLhkMWoFWfougw|T|;_H8xhFZ7L1hmhbQjS|ati>@7wm5`o!kIcX%q$;_baC&ed7N2UcRuzl%vAyo`j{1^c-q{_QN}hH*d87*n%oCcej$c`hLI|&7 z6X1;unp9O&g+*t@%82jcvWpsdd+vWXe~0yRj{Mg;kH0s;|D~fi@-NVppXYbgmaYxa z<9Sl9Tc`@UG=F`MeQp19OELErsQ3x=lAQU3_@-RCwoF7)kF@7Tjf6fyHb9%X!z-)G zv(c^bVf$`}*01Apb@s|X?5PV>az_#=B|cYa5p-nr^^Px>-I%=2kgDm9bF>^ zF|N;`8@tq&#@#f+H#Y1JU$-AZY+~s#4pACn;3TdqK5E$pRZ-r>A?eJ)TvgKKfNae2 z^NTOx1%m~b>-4j-jFE5JA$m=Qs#a_9v-<*aw68l+E8-be!DY^q^SYNjzbL->Vbpsx zrgfXb5JSIoa(=>W(9!82wff2>yPaFa`qnzGHa^Z**Os37fO%_!JlcQ`_AviSeq1(E5vBD=WW0zS+i*>JZYvh}sLke54d!5JNq{ zQjYq@kyegSrP^{#T^niy# z#!dcfKe6Tqtbrq%=XEA5mRu>zc1?Z@# z;<40QE0>(4DKXQod~rkNz0#_pP19vaQqLGmGt>`roC!b^00N*kfV-llE;Q>b zH9+WNXcs%qIRsS7tD?`QZ8;&9UMI{gZTN5_sd*iiv0;aYxSqt@?g^ zYt5eHWVA+PU+O*&&TqYhEQW+G%@zuz*tCRg8uir<9IoB8?ZXF>%JnbqD|vCYtuNe9 zYUt@pP;{5XsJ$e3cbNcLIXX-NBT1PW&WgT%PVSNAm~fd6SHtKtoT69kbF+_Q(i^Re zRo9*%FA9x|>WV72+H8(?wpbSoST^27;l0I@n*+ykIs5itkQa_0)6t<$7KltmaHM|? z&V%zq(O^urMXN8QteY4ncGrQw;TQ5)sm#m1vp0k8_=di{A0? zxX-bvZir%jPA^W@5!9^B6rD((WH^kiiEd~Xrpp5`4 z1bLxiY^Duf3y^$5RUoZ(S-mpxPR`3cmZ|Yf%@4djU~|pV9n92*-)jY}Q&G+s5Ee9Z zh9IT51%zij@#cpH^>{7s1CEm_UwsO)cgakyB_~GgRKD)@ZeNh%Hotgg3=~S~Ca$&K zwnqO28v3cR%Xjg+`8nb9&HH0)Zcp#>INP;-aPPjhlJ-luB(<|2 z=MPYCos~*6ebKu!!S%-|O(fXQxWIESw&cjD&fp_U`P57cyDhs}zI%WW*LhtaI}^&dBf%v?g_coR;iA3Jq^0`X3+P5fSA;U&%W__ED~BUuMy2%qkJ zMX$H|j!zQAM0+UYw!&P?15Q<;N^SQv3o5=u0M?9 z-P25`YOq}+FP%8sWTJ6}=mW0`aY{)WdUtT@orK<2%6Zdf`KR zya!cg!=H5dIp6y_U|^8;zCF!GG2QuwQuPznq#d=kX8vbg{%cMBe?&z8mylJ}KMRul zZRQz7wZ^Ly8brZpTg1=z3B6S30^c~G)(QA^(b28{xeGm9EuPq#N!)k&iI)6#AAbN~ zEBfLYYs^A6@aYHAEu{j+NLTwe0XIo7B716R0DgJZUqWS7Q>fLNp8GSTCpFR+bt=nS z^Ip_Pf8}j>=wq=3Nw(%7oVE|}CnVss9$1q1!|FK$nWv3n2`AaJLf{zgChXaZoVm8g zuht$;lH@ao{R^WDFf{uB&e|^c=UT^!u1WbX)ge=D)Q<&T<|>|HhM?T`!mW%5(dTeb z{9Z}D2~{{j{iu=r{}M#{Kf%(Uedb?h{VySQ{~+UDPc-L9IKs^0`PWXq;+2B}X3ARr z|1akly*ysqV{=0TJc{sMl(hJyvk$*-`TpxB32EO4yeUV2eOd2k^96=DWA*d}{XXoP zzoucX!ZBoP*#oFa2w$`$^lg<7-Dhq8F7DsCmZ#1Vu4>w5b#D0diME=@UsCwx-g^_y z+|WL*yQf`VbUCDjZ&Z1_ziZp8S&r4yjvolT`m0a$^SJZVv;V)&zgwdDgKzm?;Pih9 z5BS?i>?-s>UT9RYrbD%<0x(1D*>g&DBUW=P^#$E{lMv|Wy{n|yOAOs|i( zA4X-yz&emAiGa6x5$0Fmmtw+3Xj2T`9)4?@3)PpkxdI7&zC4GlPFd2g@U#p05=SZS zkXpY{AQ-4KD(oqB%}h&ECFoPqh=%mJBfBlQWaHrsr)WbaY#L`%f*N4VtpU#33>Si~ zASZCF1fc|w5)ce;<5GcZwf(A93Bk2^?Xiq&DUfR~Tq$-9u4DyQ`jt-le^XO0)MZ$` z$Zf`3XT3?ju}C3pxU1**~&~wnNI-vNnY+Qr4w%z zeRtT|$qJiq!u0->o40)o7@4YSfZqx-Fz3~~m{Q@9EBUL1l=cRSXNcVclALj9Y3Y5* zE!*Su@7BCkNPYTLU-2Ov7k^x!rn3b2slKGFR&X;$<2mF`TC#7gp0^Ll|5%?DtbPCf z#pI89sqNj*_maay+{k5N(O{bk>m6eCEM_O1v|fs2>7x>{l(VQL1Yff%Qs3G9UR+gY zHmY#WEostTGoRvZYm;pfruVpcp4fL__zT}2J$N4!YGOW7P%N9pRXcj*`_^-c7oJvk zS{eeJg4wK5c(K3o=lciN_ZW-9V>%3j^!qmyqjb zzNnhkaAc~`gd?q#`Pk5aZicbx(?Z1ODi7B7=(bOE)Ya8BR|LxLJ0$VxiR^FUlqU%6 zQ}w4EVLkypk>c>KWdVjR$tK=dX;`bws$J&htDdqCWdT}ZW{U5m6_Y;ge%BUJcwzKC zz7AyM@OJdlw+8ew_hvQ!b)x4Ww4ZnqyOk_Qx z^maHDNBQ{Hp-akl4(|P28|-?Pllw;8-Adk6p%7+xMLPmgn_;B&Mq_ExFlag8au5-Z z_%nJCLxf*|YEZ-)L)5utXB1w;ps212N5dn_oP|wX?y#zHbszn5GZ_4HK6mEr(vGy8 zaW}Oj09)K(8NmG#0YUJs3nh!S`5BzPxddQ-zyPiZbq3y#zo@4q=QUhi1lMY-VQndylT}`?|00wVvPie!k!JJZn9FRBP>K_U!#RybrJU>-GNF zz1HtCw<*~^ptvVWcYS0zxgR?kB&PiXX=E=QmkFWiX~FQKRlOu?*JR@hdS(PjG_ zmKSDmC4&@4H@-UgB})5+ajRVFvBf^C*H12icog#YsXL(_GmS;#D@J26c8q~h+&ogC z8!?+SP|f`8FlNjsT!A|7YRLL_Kj&4>%f`VaiIVq@#F{SA35<^ql%6qlPVgSkEou)m zcinM)R|*2kROX$%)(xrKwcOpa-E7j5Y-Hq?MyjrSUm1X_O2(i2S#RfhC}4GjOz4Kl zo_!FttR&A77&3*f?-wTmZDwyy&dV!1g0^ZaMa@6CO?u6SsS9wU8N2W3w5ElH>u>Fz z(=aT?G-a6?SN%G`51<0~%Q0^V@Qc+IVP>yu0P*?J|GK^w_P|({2Q;Ij1hi zGK|C_dpbDVX<;36uoeDt+^9^hX8D4IaE~Vf<3k}Ac73;dQ*s1zd!Pci_wz0mD$4SL&~NW4R@oyHhulvbig^p8m|@>vJ4i8`ztEd3Tp1of%xTfM2LbtC z{``*fP%i$?H99WNmTjop1Kc8DBmS4L+=Ku(CWwEexOU==gy% zXS;DL=#KyPascsVO>-P(k;^0s!)+C?t6LnH4g~%hq$)=MY^dkvn_*?oaC?Gga}_K= zKFa{Zdgj)-lLH2;51)Q$DZSAD+tS?41JBtj@-HhL4K!8>Goh?TN(U%Y4#jkmWlvXr z1~{lYoXF&np<>> zRo*o}O^#RQg+ftNM+nzwY<+OKO}pJyrzr$h&- z&ad!O`Y2JRv-jqXz?dub$A5C~3Il~V>CT8O)Hog(L2*2}~*!{K{1g@d>ft<0W$LV^6V8p(a-f zlLEu7n#oKPhMWYGdc#U$IM_rygL0EnL*VShN076S5{rc_iAx20?|$<;mc=kve*G

||@fL;F*KCn8Ta!%lu(!JI;)KJUM=3Xi&)#w z%{*y`J1Sd_Gc~y&$zO}rsHj3pp|OdRUXmD}6#uZzw#|N}Xuj;uObh)U-+H=6=?Hxr zomoXC5PSVNHA2w>e={P+gKlg88q79wECsT|yj@)CKm?~Adb)6*K2Ph{v;FY&%#7~( z_YZWhw3f>>4acs{*RT|yzci8G5rmw^@A zp-p;qEg4$t@CgAIJ7EKVhFn>+<2C!WoAr33=o!9)Z?rw9C&+si$>f%CcGUM{4JL)n zb4f!*mTERKoBFR#*AV}nhi#>IJ_eF2#R!5OeIj;CD}7=RCbLyt)ECi7n!SaV z6l#7Psa|UvRlX$mwcZl%bvajCbJ(jC9BkKYo6j-z!(rauwDFlXK#w~PQ@ohmu`E~M zSBgP2wE{cwgg!ZA+KciMDvcDKLQFix9Y*%x1$@Rx!i?2hlumkDO{+OM4M#aM*(JQY zssL;QInfeJ*g~$7L+t1rYYN`RKFJcovgNedfR%XtDdti0EYfI(*Qlipa8Z7vp5e) zL%1ygyIKw}l0y(AhE@>x^Rj8erPp8MJLy4Z@F7%K8k~OXB+c{=>EnrKZyG#1IduQ} zhtG@8S`@9T+ZS_HMn8PGrWKD_Y+>QyW(+Lm9ay`&Y;rE0vz0i$f;^W#Fbh~TsnhAR zqy233F`-KBPOZ?^q{i{P{4Ef~TNcV<)zENEmwM4?1?NHj zV^{q(Ed>ek=I-5p`FiINA$li+7lV{7>;NEJh%BH9!t;4R-g6z9ADoml%{1=#*eWwZb85a1v(_~bEi zG&&+b)Ka<+nOL0uOn4K(7YdB;r_{U1x2d{sC@mdBE(8VofK3DJpDk7rT=SO!#%!~f zbt)s*aDx?*6}L=q$G`1FvVla`pM^}!rm>&W0}VB?&DW997NT$lX{`Cb!D}l-nN_%P z>#-TIr_?^P2>gYsh$BI7>5fM9OSmP0AC`ZjeSuVfEtprsd(Ba()V^#qgHsdkt~C-V zUbZ0h(tY;_HgBpt+|H=(e&lmGbM|8~)mXp8AtLGry7UiJ|fyhnd1ReSld4L<5|m7B_O{s@#eCBBUb<`OVV zb+8`K)&WoLUK2gNjl_A)A+dbQEStwFMXg`Rh{~O(rBj>U={z$%b#Hl*%(@*<3IZ8Q zq)&9tDD-J@#zOdT(!wW^{1P`Ifk_>%tfWr~eghT0|+{yTB1zZv<~MdVvW& zAW1=IsNv8Ft2`4;DWfPf$V41Ad=mXY_3V=Q-_On;c)z{!{ml`b_63h~6|yY-DU88DY&gnv1|f14LKan*FIHKwoTx#d+#ejLFs-NHDb&id7a~ zZ2hJ}c#-=oGxE;;qq*6UMOWg)W#x0ILk#tcup@b$ZVXqb|D1S1`p-C@q;K zoT{#V!`S7(`U*3-{Ki1V|FPifNI8y@1S#~C+`;GvA^pP0M=?Ke6j%iBNkgIFe&A2s zn|fqm)?=hMo7TshOj>>m0UU5M*bdNX69%H{<6r%LPan?L5tK!_&|Kd*t&3WA&vfZF zn9;g8^5rFT4|?ZiWN06@4EZEq4+mUX;1JWS8>zIOINmTkbReaHFoo_)lozZrTK_==>9qE_67< zU2YLDT~mP}!fS?bx)9>OY3qmr*8n2?c)9>9YuEmPqgAVe&AvzLjyJ2Q6K>63;xW1 zgDjxe4EuRw*bJDqW#(NZVPFPvB$?4Q=ij*L0Afl;3Wa@wG^7P%vga5f7avWkQzp=b zTOd~IXOrImxei1b(Ul#em8KvObIQh1&Yjdbsnen%)*2}mxek)Z1f(;pL$8Ra#7A#N zV`i<40ZyMAH{xerfUhL-*6K|HX1#sK#nHIQx9G=2Z_x^GaWsokNgX-^1rYjxdo42Z zVg>O8aa}^BlM}*Wmg=gQRBB`Z@Z|3cP~Ik=U)R-CuE8rNpR_(?(;nC|_!FouM3Se_eW0QiN*>Y? zwMVCE5kSmuPhw7^u)##i(7Rnk-Lf5QiP)7qpgN!EQ6de&4xF|v$VZqX@UL39=2{)c zSQU9=)J}ie7nqUpIoDuE+1QF%IAjXd=_PPRVAJ|9FcPuE49FO&D;yPGXJEc*!XXX5 z7EQplx=RDyLCztSPE?7UoSs$H%f zws|W)azXvW8bJZ%i@W$*l>#op@2vgDJJQ&+fgJj9IguS>`s)<~h=Gpt`QehC{$Q`6#pSaornB<>>fUF>J%;tCJ3ZLtITcz-BZ;GpbOqORv+X$^Me{g@t za5Is8mwW>fXp%-OQX@xK;Z{`8wOSK})4*;p2>_1YR=wqC%~hd+ep> zyj%g@e4J5J(ehX{x`nz^ZvO>USlTy<$PD$R`r26?&(<7JqBwZdGCgm zupodKUeOP^R5hg?nz@0+d?bMC(lf0z>{_B=Qsc7WyPVM8y<=3gENwc zEI6{2cufV(u07LtAz$9M(~tGyXtzbCQx^}GbGaLN!c^-5fxMpb2^n%F%tr?HG|@+* zpkTBNDnP#{X1eIb^Nc~ZU=AMJkx)kCi`ydKHo>+WevK?aIMyI*BoYvYGVEcC>y5&* zKD2I2Y-SpyJC!W<1Sj5=g2fEjjNi+q!NP5BV@fIk1Wv# zS9_oeYbeKpIFIReKNU#Vi=y)iq+_j`Yi&&{BF30EJlGV3c7Yh$GUgbx4t%?@EW(mjZQ zHTYEh0O=h~#-D10jJqLmQPRoa5^4oPDF@BwhCXS2k3h``X2 zrv$;~goi-34-rI?j|$YG-Lhq5`_y_+6X-T9+{fWPc9I{PC7tu-{ahVw{;PPU!?mF+ z)?SIyM0e2o>oG|;nB^^<__0w-;rcc!iC)7$h2n(EWX?YPr&eC5@IGagFR7d?QJ|}m z{lF!0{)?CK>eJW2KkE;fQlbH81t3ijlLjti;Gl{lA9HYvjHKlGJS9xy9s`>Us-`*^ z-YB>tXUa2ru*M8<#ROO3%t3O|gE&zAxe+G@3D`wVe!sGYI1{>x(~8NLf8YqnvHXru z>dcYy#?f!t8y8**ObhumKiTu(cwC-3Zsc=Z3!Peno^clSecdcgMAz37$JOXhTQtOn zi2xk(H~JqG-YT4f(n{#_y`5@x4J{Aq<#3lZzW(TI^iKMGE;KBRzB&KURo`#nLJ+v) zG{62C%dsJrOMqBzf>L-$m`(4lGg<{JGV>AA823Y<0iK zJ)3@gr`NC3Q&Y>E#vO0uOWRd0KB&E6(M&<^y#V4sEv)`Aekvo1@MT*QGN*TR*Tn9};5c`L&%CV)^;~Lzc{y4ZCk2JsnIgu}ADXI6G>_ zSBp-=W4Js1!0qyZmKVw*T%bonActT(Z$Z#BIt~QnZ{E6s7@n^1V4)baY+?Wx;J}LdYQ{?9NyHnQKwN)$&d%J%B!F2Hu zT-3#51?H0&o0SM-J90f6sxzKVp(4yw?KLL?%p)GmcThvh;4r}q^ zokY#LXj1-%YvW8BvJFqQw^k(VAKTQq?qg;CnSxl2@t6=viKrX2da;JOI+_2AFw6gl zlq+(z7U~imP?TGPa3E$K-=Hl4;ExADt7F+Hi~PKUWBVO(AxID`CBfHxyYNNC@f$!& z>F7$!vYJpTUa-1TN;@>sO_WOA(o*)~Cof?`%3B z@}jC%(b+=JZ$X?;+kap(%abTC?eF?o*MuzgQ<{j7gcn|E`AJA(xN)HQGmOcS+!D(P zK@)MrK7+z0G4TQg1n8&KCsJKwL7i^E7oZwPmB31yQ z$@LzO0q}kn6Ex!3oR`V?!l&OCNNGk~uJ{_J9NM^vSVzADb5&V>bR1u5F`pHU@*$s` ziG}N)j#L{~z8goq@PHl|R}9YnTP1HL{Ll?wHXORZa^s|wsYum(Z#0isn4jt8ep)AX zdX81`S^9iX#vgGThbnf^7ApGwjviLjl7>atVl>e9Q76%;V6>FC1&vAeRWD7N_l!GL z|HCz1iR<6b-ShoaqiQ$Lw0OR;7b6jMr+4NOqC9PuaadAEk-N3p<52H#JD01gcG{b2ZyHgIh#%@wv8Dsb*Z|9r)Lz}M` zsmJO!IahjIPUx6vB!$*=olQ8Fc!?3>eJf*|=D7p+y>ttlO4j0UOs`b+I>;Wlx0bIh zSPHXdxfM`0jr1g8HVIoz==!EyuomE5k+-Q>4RIT+=jd^@yyatj`x=zgfjrY23l*=eGd7TIqH6-33SObq%HOV%jGCV*z-J6(=kw=L z(RUsfjoQ`fi6ees-hhoV8*1+Bm0I} zP$t~W=6;`l@4$79i-FfFt5mtw$o^Xw+(dP3-_@L4<|F0NTXdls#CuHAC}7c3!FR?f zaqz;ku#tPb$ZsP5eY`O3;lYLGir+&I?7oc@ZPFF=5kVf;m1wSN#%bNQM5`1t`tB#r zCfBZ`K~|k!Gr>~Fg51zWc~d`IM0pNK^cWNJuzA8~{${W&S2x`iUKMyT`IgggTmDdE#|=#@WluYm7ZN&}@jDt;nUr@s?#7N9Ah-d3H!71-g=J6cci4 zE{Z9y%%%_rD_pT0qk4U4N$E;BHDGj2jDPTs?LyCR>i^#t)T4eH<5?+F@Teu& zm>fjl8qELOKsdZ(;TNJCnOIc&5^htzBXe-M@)5U;&0jZe7q2RL6uaO0-C4!21-B`U z^h_~FU=Vnf7<)r6gD=rPaLUPeGY$cYpNN#ss}akPLdAN2t+az5PAm#)X1ecCnwR1Ox~<$m~8w9*@qUmFh>OKCE6=UR_-g=eDxGT2mp`OgUxc zhxcYjcA0I^T^G#PqEsizH$8!4KWLZQ7u1c~uiKZ@)Yod39qzmA$`^+X@_)R2dk*v? zV~OvYMqe*1wKe%l@6znmsa|Utmi8(yFXnL2{Hsn$W=fZ=cUP$fXo&Bj&p`U7rC!_)L6&+q&^Ntdz!aT`;S=^Rt8xvIwEqiJ4cbxZ7Bp@*0jd zICAo5ISte?7ad4so)FZ}znU^tD-u)z!N!CdE7nv-HoAouBTP0BOSbbRL3%w$uqF9; z&iVK9`}I?+vkNGW3hvJ^5 zJ9byt`2Y$3aqD6Jna(2t`t)hOV-+2mDHoWo3}o>WdZ&}z zKK+y&xUwf!szB`bCs$m7g9I5kam8)OGN|n4LazMd-a4%ZcifjXe389=SZPP~rSGT9 z{b~ejq6as@_Khg-KvhLGJRPwfiUE3;tI(B{;*l;8HK_p2z;^%3lahh!>vQFYYQKo+ z;wQwf#JUCRj!67|3#3#7YY@j=2odLi8@+4{O2o^%mmQ(Y4k2KqVqTbl-#J!{Ybb8wtDwywUS)fdHaVS;`7{2xhS`6v;cme+ZavGiqh*PXD?8V~xDPnF&(W=TUIv>RTz&)ggoqTc{FuObOU#xK&ec{xI%D}z?5u?eP2pQ1 zwM&3BDya<{2j}}B^GP2Ze#|~2^c%9@vZtX3f}pR=_i+|FPi)Op&sH5ftNL7Bb;zxk z_A>_qQAmpih(chShU^wTB=*Mm=7V)j=nx!x&Ek<}QsIIJj-(S;YtbD$e%26~*>x7G(% zX$gH-&7eL1k9byB&&8KZF~{rbz(6Ij#sus~N3dv5{K&W8Npt*36!Nq)Ier z;sl()30 z9_l4{$xQtzX0<1(s+5sN#?bCG3MeeHJ{R6~H>@o2kT;po-mhg6=n81*6h)W8wDS zu(Lb3;fLw0Dv7AKk1)IO^!_cLx@3*Jd{-ljTim=m~v+nz0O7H89gx-;(D z4s`>guVsdmx9nv#BHc2eW(h&d3{4)?JfE6_v5t;ub z^!XX6e7>;wpn4>xCfI|js6vC zoJ_#x5A$}zSQD8%0OYm=9lRq@+zGP8vYaQSINnXoJ|6-@gdQmJpo?6H75! zm?SMK9QTn9wb90o7h^)X4oRf*JM6V+_^ny?d~Ku_j<5fDcbqe1brA3n{u23#G#Db} z@-I>2CzQlu7j>w(UG?>VT|HZ1Nb9Rl&pLZ{!JUl8(#s8*@lneaFI!K&ErYA}V^rrG zJ~t-l!@Of}C8E)ND!-m-LCWtBK0;XN?~HEZv|zK;yR;)m$kGmMXZ) zMoTzjB{kCD@*dpO@mZI?QBKk9O>YcWXp3z2zjzJvZE$FZGkJDj zlb=i=cT4Gl>!}alU*|RDw7kBZX{mEXZfTUxwam4vaX3kJ&<}k6-_HvELzy`Ar=$f; zYSB;)QYo>SQ0YewFmPj5lWhtby&D=>36}C-mxX=3K0D*fk%?B;3kIG%j31oI7#=JYshtEuozz zj1uaMzWsjt?-~m4d`jZKAKGm9{FuaB(-XJ3ruyhZKcjg zSL715WsqBB`%ce;+jiUVrn@I6os#4w~nD=RpfAJOPyUF;5+0$K) z-wRlq?IdCTy2ke?ytf51<$kQ^d7v6R1`_{@VeDlUbR_|?ZLc^$sF>s|sKm!T05Epp zKA3qoa^oPPLFR1t7&rJUiaDwFpxq$4lgD+Chz{OLR}o*AWeJ;@L+S`3&N5nrCNP`Q zJ8S0HJD`qx^6S;Fi@AI;)4E+PwdUmQUlj0h(Rt|txzbMB&k;I&58YTM5Aw~rRU@d{ zOZlWf$7ok|mh1;HqXsc_vWX6v;USotOa0_k1O=<4mP+jQcenAmwAPMKt=P;!PBibN zFv&odbH3bR9s_D>TVuz+ynG?wz9l04)!!DJN#08dvjV6Fu0eX$05PmIbeq@%(QZ(a z|I}A6l9~->bseg!cq1u)U|I;Vr;DEWVLTaM&qh^Ei8b$tr~^oas=%H&y0VW9gWorE2oJ7ZX4EnQnOfk%sWf>NGP%z!+F_qBEV$AA^2)u; z0qNFF2A#5l#)MLpU7JQy+fHBMk~68CZu+Dc$9WiDzT1z;tU?HgNbAu9P!UKy&{8r3 zXegQ3POl>3XzKys@7<}UfNdy^#s0dRfGx;dhbnXtn)7+S97Zu)4#eDkNny)|-<@`% zzd3!zN4I2fSZ?8^tK#uW!7TwsF^vKG)}6%R3QOTs24~|LYPJQ&NA$4?k3(*^HVj@3 z5RHDX)D+F}XSc8!RPK=3{j0t`rHeMGXRy71^aYQWYeI>qz;5B}^oSs5T9#a}>|%!t ztncTHppl&Efq4Gd0;B%^NYvajrHmk8_O1@|flu zy}dTW+uiuvkm`#^fWpmR>%r$fuhQuq>$Ybsak1HZ+PZCX=h48V2LT%&3pT;ZY)7hAqHb`a zAfT)2a)1n$4q$(A1e$LPSNOJC!Utb};}Kzw z+cy8`cbwyE9AcD38u*)$iAFuil^qi*1#8FKfjD7^qx?}z&ICYI7BezkxZVE@Gj_IY z(^#%BpTRP?>==_`5U)zvCpH1QacZ(Uw$Qmm>Qi%HN9vVE;YlA_S3YkQI?AkRPU8iA z#8#m+%lt;2&#R<9B}r*(*EpUz$$3Ox9dk-*isxrdUOh%|=19SfF8=ahRuXRr96RE; zcG7f6W1WzZoG$u&m_AfPVbHO&rlr4&6zcERnL)6E>ARrn0@F9+V&tNi*X`eR7X+VF zn%pv-i8#$(Flxh~vgjNGvY|G1-GscJ1k2`sgcJIobt?JK_&+lz5Z-b~({s@+0CcXq z2`3;m(a#r3fLmS-7djR|$|Z57U<=dk)u{dX(g|x}Tf}3BC9lgH?|Z&2-f#6->iK${ z*hg!61pS%MKqG&h{~uh-%8rW^m6vq_m(E%GEZe$OUmI3EbqwNFNk7Zqq7$tYcwmZk z!=vvS;-hh|DYN01P9xp>QGgc7iO`uOTNKeS`{_BwdrTt+&`LqcN{}-6bGdw89@@jV zXgQukn1AMm?(qVm>X7Y>6P?+g7-CZ|j%(a{F~@HNY}1!P4J~(#3TIPF2^>p$ zvkxnD;B{w57&50o?+ns4%MPe+E;n@-K9mzgeCyn4IxjrpqKSlfTn&^1{r)Dha-w*` z&`eDghA+CQ9#Nujmv!hZl1^b1SPtx=OgE<*4fDIGmgw+z| zpgBVjwvgt1$K? z#63WaJm1EX*eeT=NrelM+24`F5X#7t(dEx4K_}rcSNhP*e>ysSp%R2TLFp7Y?3iQT z)vso@FJ0{ZfuR}2ibLtcH;41%;*1Gt)W7@vKTDcORrfbKZ+atf#FjC79-0R4JNU(Y|eygV@$0abGz2xisD_dDou^)5aAeg>KCaFE=-BQLevbxdK6qSK)W4N&dh z#^HK3Z-bGwqLk4`)L|GqTL8|8wvre!F%fCo`tY9;u#5Z-!9sxk`UHjW_*ATtEJi%$ zA%?2kqnqworaHLU#+PT;Tbw`bt)jt{NtV1*)bsLd0C9eAspjCH zZK%nx_<{2xcjG@~G(Z1#(uMeNFg6olIW-FaLMH@u$VlD-Y>Ivu8SRc&ns^-FV=iG#N3oM zd;Nzs7XAsaV;qDz^xji1U|fD}7tepAL}>9B;~vXp)dW)U{vKU6*I6X4MCeF9zsg!( z_k2Y9fiE#Z8Z(nKWdm@^=@Ea|F=UAecBqVs%3D)m!^fs_HL;>5>Vy?kC7WPEIthci z-19u=CS7|U=JZGM@#iv(uQRlDpXe>V7n!RewdUDDz0=iDn)4}crdEnx*_Es(TFDjPc3xx=(t$YFz?Qd;LOUFuu% zPI?BByZm`CG8joYou3u;;q!r5%7cJ~CLq@m^H=5&Dx+JROChhPEVD7Xo9rszaxrd; zQk`9t)f7Oy8I5WklzqqF?rWG5 zc^fa;8Xa#&;Qqj!BS%q>=KaavPsGN*K7aA*s+pIE(v#_HdgrtHT&T_ZB*AzwNRSu; z4ROfDj#;|v+f(w`xpYvaTQobx7+OxV6EgiS|^U3_ub3ablp}y&v|FII_}gOuulEC zgZrtIOnTFnL8Rve(y^HyNFQ`3VTjrf96b`#LENBG=D40v;K5DC_tCJKtd%~5=j|zS z`I2PFpqaZ^W3A6J<1L$reS>b}BUn=-(lg}2M>|-%EiU+Y%AItM zwJL}lup9q4&ENY`Y|A;^(QSvk-b{@$?2``1UeP-f5-&tn4w!c;9?OZ^rv2FI<~(q% zVUd-dh8oa;#m@Xm&|#!}*NVIIX>4aw-3Waky<{a58tbTUXKZM>kdCUKv;b`!Sii;e z?ji3E{y$R3FL3a+3|_Eq*DWZfxWfuF$v{Y1xIJ?c*M87wGdzwfN-erCp_7F>MCwu( z$bVhF47KAlY`yfR>Ev)Ab^NRx-^a?*&E0!STUqR-ZV9VTf?jcSuDs7yRu#hUW{iSc zn3{QA)8kWU(dqY0C5!Yg2RftCn{6=HGeJ;D;C{gi`D6~Q8x}{TkJn+oJ33VN);agm z;<`U#p6^qv*9t4SB9kR1JQ0!aV0z>B`S2GT2FbWyzIr+;YjH8ry^6Zim8g7eCttS*IFrDxP*}$!ELgGhb-VJ@tnPB1_G7 zNO_btXvlS6ns?LM-zFnK{25NF`N9OK3J2^T^{v60s54Sx`$+q_>u$_gRW_&Rspnc_ zLW_gNw&C*m(@pnD@XKbNH7<4)fG-Yew*PGBzY0CkR9CRGrTo*z`HvugprFb4R(v+t z?Ha&83NI1dvcX~i=y72tCPB>3CXWlK7^a8T{mV{aUun0EidzhPyqQ#=yR^<*W{snk zgXRY9J2xc~$B%cktBeYJTY`B9yoBWf-(*Sq_<328S*NSk%N_h|+ao;Ec|Mv;s{v|p zS*9IUZnP>^;kZbW;iRf3KunTM5VfVG1`e_A3kyrsLxFhXA&`G$+XHT|y+LuFuaj5i zS4F;iMf8i$@aPKg=oZKhgk$oO)o3J+cDb8PYopQSN8gK#8w{j|)=Y|0zt zD4bu`GdZ2f_&LIBo5;<<%mvSiRpx#i!V7)NZ8~yhYw?#0$R>(fOvB@jbiuhQ^0s^T zU6&fm?K>n^ggZOsma5B&YgebkaoXpm5_TICilUoOUhbOwdBU;$o-r9>ry9Lb?EXJ~ zDDCHuN{H4_GQQJmAQzd`M#Y&npZtOAiTHu*fG=ndWT<2QonVvPuz9o8cMykut~&UJ z&p*Cl#xti)Dy*t#>^Q#qjvqMcdV~!#cZo1*$iYia8uD>HnCv}vyQn$27ge@@HqLB( zwZa&tTG4Hy5$7zCu`k;4S?*PfX<55p_FChJH{?znI&Dm-))vUWi;hm3E{=)L{;GQy zE;vMM7TKl*BEdk~R4Anh9FYV$v@{&IV}ke_d4%*~z3zz5fG=L4``_Ms=RXqOuh5e? zWkhYdFY0dT|D0ROdoR30cP7X-`sP-o>EOeaCv4njxq)V|viroPH=`K(r_U*}q5rQMLPm6pErjjaRR{y~L zqE^oorXigvs9`+%IBUnljL*>2RmF3 zXy(*kfP$nS0GQ%^#KT=>(FBVtj+pU85^*Gveuvna-<1|*q)Ta_tU=>BU1%Rg8EOof z*gMa|*W0SP4-|`k-4L&OQ2&oF+fK(^^&&5-{dt}uKNpj1i~Lu=z!tNIM%mkrb02`mz&VK_o{{CgzB&q z?_eJh$sf4m>_~@&+~|^7hqE)(EjfbyvO9PT`P7s0-@op+Pmo-wq#Euc7Ipe|F!|P& zhY#vQVRyB5{2f4gits=%61RP_=Kdi~RCCY6|7+KcgTQ$Jy6j&?pEzXRJ_yw0gnlqe zT1fXB12GJPSxs9Qj%`k#7=?$l{TFiVJh8D1!5WLSw$j;c?1h(9x@S*ARMRks2~N@9 z7vh2my!k)13U9%?3E=Bzuo9?Y_7rKi?0MHkD7Tym-9!HPme4e)-?xsWYOW8Z@*ro* z_WoS)*NCwXDe2vWTP20j{T*?BV z^qAL~UyOd1h|#Y)$>>k{$>`79!I>O6gh>$o>{sIO1NZZY8)ON2Qi`ViS1B4}2rB;5 zzyZf~amR$GYateFb~h$aC%m5*BknpEr$y~MW)x_rM$drN5Ivwz{7M0rJ#_*K1xrao zYJSi`eY6$QhCRYiVlVQK|JwcgCDPC`6C7d>?GFBR3r_CIQ$KL;|GCw=cfcash2G_h z!BKHan3^w*MJ^@IsC?{eTA7#eH9y5c859F;E)&;kyxfW9u^>P_^W%cfC*TqOG)L>4F(C% zBBIOnLJT%^Qa=rKq8&DzGu?S1Y0?iTtb$s61=mhZT+SuE<7Ur~X}Cffe)kvp@1G4{ z)B=pGAk*28wUI{_ZTg3#iiJdwCH>EFh?R-arIulSp5Gjn)LoZ1Jala8RSTR*PHu`r6OD)IEkb8@BagYDp%1pWJsclX$rPsn2hQ_^Y|7 zk7?XpG+)GVd)73H541c^t@?+8T;2OK)`{0${-62xA0W7 zVp!wc=n3&YUw9W+{z9gDIaN&H!C6J+YBL|)J7bA=4ROkSdE6;?mHU_DN8fur-u}}2 z(3%v(ZKk>c4Vif1S)^DK>8|vjihRp~eV?{55hs*^hBV^ujkE<09EqZusSf_z(OZw! z#U~#ySY3VUnZ+sVw5wYKOs8zToryb@ro3yK|9RLeR>IKSqbPR55!RK+#y|R{5pqDj zjcxxq(n|m&d_d;x?PyVFst*#l9wpE+)9^`7?xb=p$u#?AwkEOVSlr2XmsyTO>o?${ znyV=;(z7MfzF5_Vy5jh0#dMAZyH%n~;i5NL3AHT#qy2cE@U}vemomxna+SxapzUq< z6K3}9xVrt&j9z0}3f&oxs`U(pa`?Oe^fZemhpH_!R4Bz3*K4znEqF>@9@XCRMKz|x z^wft>*6K4Q4KGn9M66U-0<aI|X(^9>?J>`m<_qLS|9 zTp+IkeP;un=`5W0+W7}gOiNS~Su6lj+`WV+u#}f&Q#xQlT_$q6iI=D&dq$~(sX4S7 z?N&ZdmO~vlbKiIE9u6a1+kbPrdJ=EBJg~>-NLhyklC__*|L8G-9-@rDYCFC3TvMLgtBjB)4$r>+mxMLcN z%;*u!9fo=pvqo5sjC?y|Od!CfxQfXmwdPF-XKo8rIS3^+6U+T-uqk$=!O?kQC?End zTTp;gOtj&zB6C;bzYalaK%a{zo@q>|Bn*DxLz7vMaHQTv#Y+~AFR9?*GvjO#>; zimH90qAK!>*Eh&Cl&0)oyHPiwm(G6z|0m%=V%P+HUM7HL{7w(PJjD6tCpEbj z8Bh|Euc1a4{-x%!9eTTz`mcdlpackh&YT_y2xLxB2rha#?F#iPN8Y5x_MJJm=Y!lO z`+!b)saOfQHl&nov>YH4omx6))mQrL<*j!0Imk?$NH!kY?hmf^o=XbSX5=C$QtugN z#4Y>yN|)}m63LMk!Y*G%?GMY3cGGZaE*#CVvQ=lrfw zou$tA_kDfN_w&!`yv7*wJkNb!*L7dldzm$8uue_1%_?5hwSA-J1HE&i(av{AjL!}y zT#3}7^o3J_XS&>$bF0q}8T^?gc#vX{44Icxr5EkJqxon$-;Gr{`DN;y55yxDmjDgY zLXXL0uR$G?)`Wf%9Cnu(?rEUje`6W;7kEL?DQL>PYef4SXw*f_!9G|iz>U1^a29)E zrOOyk^&dk-(>~Td8pwL-;woYv;w*eXw{)}Y{kg97a>_0L*yETMuU#kr58`?&BZzzP zOV`vEEyVIRKfsumV=stVq#)!ZLBIjzygHw`(PwMLZ~daC)nO!(bjv#Em@s3zyr9AO zc=`%jd|{ttN+P}{BACiBqy%<}7|461(zPZkWe>mVtCC9j{76N(?fFZQ&Ry>{R_XI- z44+HgQ8?-gTtZzKY271$N`oc4P|IPEJh#7P>h6Kj_KlgZSdsdVuUSM&WPtqS*t95v zEv9bRgBxcgUV z?&V)EN`7JSEk>KOxQ~8gZ;3T67dy`)S*r|xiB*m*v7 zE)C@CD#?s}s!oJf!5Ra(9EMc{J#ymQ7tixqM~+ms9lle!KioMo$j<-nm|(aAoNstx zRS)^O5p|I68-!6WtA)g|Pie@25N~Xph_6)pdw@10c3&k=XCr;&eM&ysGCaNnRDdQM zn?d_sPM;g&=1|v4uE6HJcl)@OW?n}Nbzr9jCnbE9T^e@ZL`m^g#-PNhdCwI?!0r=D zB2uY5XFpoi9TDgm1Wc>y_Nv2g0&lBUTCB~9THY}rq8Hd5Gd~h9hJp;$aX2}(aNxh0 z`EZD8cxlItAodPoc;rL-eTd~J&H1=_?|$(P|6ObM|K{ucpCltz-j6dK*tp<+3ALIk zg+XVck@n7anMco7MisYm8GXHv>7M-T7}_bDMM}HA>|A_6+OK+(?52z@m=u*of(TIv z7*V-{Jaz_dVoLcr07XGuA0|l32|TFiGyx)ARho5!o8WDf*4i&8i{7E7@7ve7{GjTv zW3HD`YMh0R`81MF4u`wGQLg=Wn3%)F8IegB(iQT*!N-VF7!|1MZ4dF!{R>90?#c|1^` z{^{BqfkBy!vPQjQG{0VpZ?JvlKVn;o5t#1YrgwX=&5&=H`?*Wu%J%Au^{8DXWQE_O z)y=ST?_AbI+W$V;(!`+6_|Yr*%u~XZPbwGmfn3&SR~}-UtUyN1eN_k({4jRxG3SFM zy%0pj4bj}RGK#keb2)T^$EA17d}1LLP|>k7a+a-dny$i1+fy}{WV81pv~YUo=PtvNSjl@aTNI*-w(gI*;s0cgz&YgsN~;LV0fbJq*k&Bn7S1+C zO=a7u+o@=%X~O3(eLIQ+XP+?QSx{7p?Kf12#sOQ_5R*t_8Nxc-LW|%mhQP|Rp9Yw-5{}+DWrL@P@hd=Z%+rp0{2nR$`fku6tXk zpZ40t2Fcg04iHa+f+_NyU2qYyVvQZ#s|@ZhC}Tp1Ot15~C(#j^|FD&i_VGvXJ0{P4PdmweO*y`aqtB;3R}ACQXE7=*qt zixNQRT!yj;E#g9v;~(a|nL!xlXKPw<^iUD{hV^vCkOz%JtM?f(#v2c(us88vSMl#` zN{+nGAM02kJ2(leD9~&gmCv(#5peJNp+6VbDb5%fwr8YO$*tw4YW5o_IJgxrukRMIfsS~}iXS!pvsB%O^B`Q86dCihB`4k_0qN8csho^N_T_V=R zu|k2C6yT|Hix3ad4|UEIc79 zWOQ%eSiMQCs$Q^>$Y`VHQn_LyBJdSnA=v6?#jG>jtSo4g(IfCyzRBXS56x8QCP}{4pusP7c}) zJNfgrz}d@;ZWQypWD?IAEt!kMvg(E`*vn`3(8L3E<+0??gk%kL=oFs;b8G0~L;*a5$(CbizpE(CtIQcRmR{pWy*$ zjGfQg%SbsR;L_1kaiMe}L%i~+`^I-F*8=A$E4Lo^U#omu=CLwPdp&QzAE4515KrT$ z6ns@7I^KT*Fl?kzS)HA8;U%JXWX_YOK8;JIH2 zmnGuw=kN}gtjwa){Ja7*mu`O|cB{qq#?+-Tw`Snq)Q4b?XxvcPK!wLb4jC-+u({o2 zL~MO3bN8H4JE^Mk#*4U^v=^Hnzq%5A7AK@j8HO?G6Yi~TIZH8Bbl1YrNVi(K*@W?C zKTVDZ2t?K)^Gmh~hL-R#zHMb-xpr9!7P0Hpx9F*a>?tqu+i0UeFmvdbvor>&`($NI zBSv)bdtXd1qfrDno8Y-$)$$6s5dOAee{NBMi&X5n%qn^Hxrx^=J(tuPyw#?@k>H0g z4s=C8jj)Jg$M6kf)K0HdiYA|nrj%P_Ec2yWTc4?VjKqv~bD=3d(hcO-g+>KQ845BJ zQ}f=5wssF&(pvo8D58hj(2K`neb$;5l!WN|wyZyMDnMdZ+om$zvRTySzu*2u{16<~ zo5ztwSRFygdmE+G_~B_!a^U&UJ88E+lw_M~-8EGRubFlx-Rsa;vMI5@bJaWN5^cJ& zgqy0exxcYxv3*4E%Ep}*-NI6qfQ#SaR{Nm z^RO1AaEy-;fN!}CR?rblz*`bEV)Q-Ny9r0JnFCgf3me@mZ#gNvPnXXJXB=&%!i^ey zz5Jb2o4R2VTdf;l_BX%hB76b{h9)1x3oPb7f(6Q$})vs+w7T ziAR#dS+TpDhs;HuD?Y>d&LWt4VnwjeW2mFnr4W!ZejuGiD1+J997~u0tnVgF4L?B! z-U7yH%b_hZo@n3&EMBX!7yG_cG1e|u6NsgxY6bD~ z#ick8(r(nJ$3%l(u6&fVHQ#uBzja|@xMa+VtI8{**PT2gXC6hmWXo#greBpni|NO& z|AE`2TZg?NHS~eBaT%t{>>CQ8lZ8MhO;&xbsbkF9J}DcR_Fk8D=p6)Yb# z6saBiq&Kqo)?Lpyu9d9As0B7>4x@*TuORvRYBZEC^KjV9s2Z-jx~snIQR^F9l_;O+ znVq2;kCcC8ryTylDxk?zL8d$&0hw}XHwsrJHsYT^P^*vZ{l0IAIi^>s_DF~)c8O6@ z*%o`}AxgF=$ScZgP+Jk`VN(jFm8bf4k3;Gzk_N1o7_#Z>quMtpFSNOz6}No zSn5Y@xOQUp6f_Z21l?tUYFPlIJyLu7!Ob0 zge)lwf3Ei}j$6TvghL%Nn`ldH?JK9wE-|HHb*a6UEH{=-9O(X3Ue$MKfo}5tVH)8L)!|HNYF>|GxN}1ez~zvSN=mY}}=4DgF0LPj@+g#=Xrt9+8t6KsOV%6EHv3rL_Z7w?<=#fx-1Ap@6A2@Q*8+rlF1e=;d{`k4Q)numuRzlq!DLdpibeJ_mMgZR8%X;Ek=4<=4v^mau+feW4< z-)RIm&aog7Ry70i)HQMo+rrFA!9axm@Ep zl`=~(!;Y`A`&223n`?=w%hUU1`YNUcbf^5rD6&v)eKSYX8HUweLSyT1JsIJcBp)4M zn79-Jq3Y@@Wuu(6jsoBOOo7!Tgle7u84%jbE&{dxBI56KFbow`5rljx0&Py)j(Rlyl`tS)T}OIo=p+YLTfHrx9+jz!CIY z%8Q~KojQ#7%kPP-+2<84KY3L$zuJS6VG0fCZsD1xmr6`7*BGk}xPV(h)l-+>^{_9ram$vLuH)=r z-~)Y^4OnR~##3$vj}4mao}H?l0IoG#vz1CeNV=~)BeQ62eOwaL5}P9r6MDr8l8E>2 zX3lXMyB05W(Db3{e1Highku-x^#B!fU#RnPh97ZN)^kT$W!4}zI|QK*c<)qv^bW+T zlUwM^@)j7TYE8|D+cU|{;NaQIJZh>EmIHS6p~ITNyoGI>00Hx>Ydin^~U+n0=l!b4ZNh&+yiz_M&9pU zEYLePK*~FI?AZB4fq9q7d6X@{A@ z>qxxjLiIW=6jtyrn>QIc=dBzleg5P#nh6f|IT7a`k?RWZrmz*UX1V#?3~%W)w53dM z8y04tM2a`qG0wLzDp^>e_~xsN-|bBBV&nU9OC(ZY2=)_S`t#raxgYRhU;aN-{Vq!!Smxsc2LcjhPU zPpgsAcIaXFde3194vVw59pY%AG4m^@RN5TJYgKcq=jgu>6`g#pD5)R9rNh(Qf>i_L zD$)t^$7LfT8i)J#Z|uuH66-#iLa#$t;KRnc{K;8Qq7Hi4R>qz42xMv`?? z^4{j-`tW0pL#EKgUd=4AJrmnM>&T|vO#DBIj{7LHb+BflIMpWf;|0j-T2=8SrOU!+ zXJ9R7@|UD%UWl+evF@9^E#Q{(Je4Om!9|z&wnCEvW?&XDf)q1`W$wYvLi(4(=qrPW zDfto8+LR|vp2B@B#6Gl$H#3YL_O~lUiT3P@NLq+zT8!I#w=5w~u5~oVD)hb^jX6v~ zGt$2V%9lH*NvxlmWH6^_nD`a7UrxP-Z|!1rqa(n3u-?mvD8ExY&u9Jq683re*Edcw zudR1vNnU;4b~yy>HsqLW07}*yZ|5C(5YB!aV$o4-+k{<($4uW2M}Pwha>D$7 z@R<+NXUJ>v%CN?{>n7W5>s%FZ_h$`0B!w_~Dt628V@dw>kV@t`Z|Wdv-*VoTJSV z6Je#J&deSri-9`!v4|nMA2|U+oox9!ClW0rknZ{Z&<$G!> z>Vi5~P#Z`)m@B9c23i~z-;H{4tf*i|@?2V0s)LMNBOh1w|9wvMpL7OR;SV1UD^n@G z!N;iulxHAfj~86iudnDt9Q7Tg$|$qH##T4bH%=@xT*WVWQV3a_u!`Dxn8cZ^_ygyA z^9OgrbaGwS6{vSs*^#C;&G!mG77}vu?jiVLY32b5C!25`jzxyj;}@GBihsl51pPKB zSAr*x8*!3z2gC9K zYc=`yIZLJ}Z4{Vzq*3hi4Fh+ZG;B^lYO4ubn6p0C%P#p8*3?@)2NFtr%U&1;;_p*S z>xR4GWu9ij0?p6eLoM%Wt=as zTeQVh!?F&^9cLw%%*B zZjYB6C6SnwL!JBGe&4ZI&>!u4OJI*t0d?{`UX087+a)Fc^T%cD zq6?eOOv=2OR;nHlSo7jZX7YgF$+pd~@DolGQ|vQ<-Q;^5LW&jgcQvC;lrL;-E?nFS z$4AHqTS!nmGmrV-c|VLRcjulSr=$YFOuz_nFujr)a{$ozace5h)+9XhvE%=Q-Ie+` zNht2(`O3R$)|~|acrHvBGH1r8WU4yO*lOv&XGY&>;=C2NWESoapx^ZbyAC+^%rtJ) zn&;f^UK3U0vP`KWiMGGhP|qeGR15|KuhFTOPBpn{)QDg2A%1J3RtGe>sa9xT@4m8R^d^Q~Ei{|M7uRzMq46CI3ihFCX zV<_xud(*Y@9`fmf+jBTxD}}5~oVj1+tX@Nmyu5CeogEv=Ju`7mzaI|POG%xMdDkD@ zIXF8z=qrVjy)Wt#;NT$Dau!|2Ol`{v<9$EI=Y1QLt{hmrP$zbtU60FMv2FV%FIfcb zE=-)s8=<0?|E0$F;rnj4^f$kGhrTJ?sEZju6uU~#{Szf-@}bb0YbxF;=}+_4vr#b$&Ze= zg*~7`5=WJ)$u@#Rhv==x@0s;QP@>9Q$Dg z^!cmHr2=Aaf((A+iV%f)KWYs*$UutI!I@U>WnYuPC!Q&4*$y?)d27 zMkmeT-R?!XH>xxT6l~~Gme!B6`h@rdETTNRusIcMlD7^6d{FBoJXR~Kifqb_9UXOf zY(IJ{F~EJjKsYV_so=J~rpHN5ibF4u9%)~ZX^im?Z@*MbT^X!^e%chR3SYCMZ-Z~n ztDCqCLnkGDGyXu&@RF9XhRiom@F+UEwo-2+m2FZq(9*)E&mQ<3 zF%kK^ztwPGg^aCW=6u?*j5$=*d+aeWOG`a^w;-q3 zqW|cx?nf{oVL+v_ubW!w96`=@oT#V^h&%CRYOF0Lth_z9a^3T)d6^fw*55yiH)-9F zHVMAKjGZIx*ZK_jASwt-K`p7!GTw03YtLO*ut-SdIU>OGxHtEQMZ#_ZV<$|RE~j#q zn6Z({?O`qk>S}AjLeP4ixpQqEy zVN%_v)hnxTK8B37taaRbM0-4*gr;^+1SU1-eAE~ma$mH8oAStrrE=#&hlw;HrtF1) z>$N_uVc?XHv!|g{l7w>B!ht2ALAFISL{8&X`=K4LqVZ-fR+DTo1oY0ALBUDh1?hC~ zASu_K17qr{*AqYQ{U)~9Lqcv%xr$uE5BX(Qwv{lm9g1RIw$^~2RUtFN(q~cKq4?q9 zqhO(&Un@0oJk+Ci+5*FBNO~D{A<~^6gsIwAn6iZcIX18+5&wip`+__jah8LIvws*| zNmSZo2e;Hf)kCBwXxNzE6^zW+THNHl{&7{R>a&V1s)er3)&d&7Uu_H}q9o2G>AdKf zRjQSu5Qj@xnQ(FM>_Dr{Vurh-&+6)1^qX?@sI2ZIm%CS9901$hcs00B4&Acyissob zdfr0kce5CGG!j?q8V;pcI`@VFj$_WfgsE9#^xXqBxEUqi0MmF(ALdyHQ?JuFmATLT0b*#dRv?Hy_$4Gxng5KOvd! zr{6*!se;c0z%6H<7gLe$l-yZ)?n=i+&N6Y+2$Dj zxc2TE!DS^#HHl$T*Dgq#xZ*~UL9@&D9O^Hcd3T~EJ8YlnjVk9efkrY4?n1-4n{>>K z`uViDJ3!|SQ~#&2vGhvrjZ(Giu&fiHeoa0H!r$r%bLt*AjEi7%+}K7OS?(SEi#?9c zJ#u+d%M&smShlwn9X|4LBv!ZfX;sNN;Y%HU%AC9p+;%AzD$Oa_ZhMKG2tn@=swCianO%Q-}7jk$QmZyvwPK_ zQ4)xY07~k*7R=xt&{&ap#3zr+9K^FjVU>JK`Yr@v3|VH1+W>awAOr!P^o6jKtmH8X za@8Pt(wq0X5@vLv*Jt-izL*tf`RaDxxW#|DJzWlLMEe=wG~~)ELod@*rE3gC80Hpn ztEsj#xi|XE-_tePI})R{S1m6u`nq>PGcLSaYD$|0MZUk2?*|f|YKIS!(_@nS?`OaB zCemd!FxGKi`X3(7*!%sS2kbqYc>RL~*vnmn14k0WdkQt(2Hg>zwEn68h3;$%yN=}# zbGvcwb>9TIx9|1crbI{yT{+?$GG*w_7_$qz-9xGW&H?<{1YUKm@R-Zpec-Y3wyO>1 zlApT4!Fhx}E2gJQ*rV8t!D%~iEAB*vgV5fj`z9*wFC%-`*~s%><0B~{6;TG_$h%$5 zRK}uqjsuGYo-?lFrl?X^CBC(1Uopy;BxljT)U4qqBQeDEE1 zz-E4=w7+LdZ{M&sNVP3zT7yTlJM^SJXHb8W0rDf-0lJww&l4$s)r`zDc4opfDVR}= zg`9#V?H3E}{QPHd)jX)JcKMJa98PYg%R%pSz!B3zlh~Ht!f^hyB}RZwmG1p7u3uQ5 z_z$cj9m{GI$o4rQ-CxZow+menx**2Q1s^v&HaD2(PH@S zoNzmf_es@aJ41{wL81Qt)BA){DFxbvY>aS`Y5bQ13XE>Q(Qp2Q{)1@3LOZ~YIJ4$+ z)AYBnt-M#a7%cIK*qmFxS~LBWiTbgem|nxJ`TmZ*RNWPO)!*YRI>gXVkjl+qCH&nY ztnq&^^bngOuyI(moFq5X%~{euL4hgT7t~VDIAkn+c#F(~E$2rc&HsF!zgD8=5v6V} zw+ps_Eb`(#(-kYpLAa7`8|C28zhFChA8NWjm2I3CjJK{ya_pjZFf!h)0tl=c?+@Wbd*+faF*e_Jo;kYxGqtPf#q( z%**rN;drW9)Jk7{J?C{)PKtTH0$+lCTo*@V%k!?Rbx{}Drl>1WF`hl*tPbXEaZLSa zSs^OE*S_cN!DJ82?SQhsMWmj^mxyUDEtL`R)2#`(v`~2dqF*gRq)m`Tsr_+wR8$n;;}-B@`?L(Qj{BhAgqqNp@T3$x@rzy*!jZ{*Ji3SYlgQm?)TBQ zQ@e-PZ^=pc+S%XH)?uP>C;h|IqggJO6CA#+fK&On1#2!WA#V>N>lx}oCrEolROMp? z^7f|iyOB^|{=-V-qarptm{D*Zz4@fCvjGB6BK+!a%n@P${+iWXppGyds*wdxoDx|0 zd4qa^w`E5C%h zO@gvS=A5Bc$M-%j0q~DMjPxd_c+ST^Z)g|qhKf#;eh}dNAdJ<09A)M#fFhJaP0{HM zoq_xI_aV~pOk#$$hb}SO4{%{&z#(aYw{`Pafu_S7$C0RE$B)Uu1~1)J3o3}O-Dj8S zesw_aPzH;!Ifo!)=>84!v~lF~x@OlSkAv1E=?HQoO%OeC(26642)|}V1QxBG{o&f3 z;)EK?PAp`cG&!>qX^|w3iIARuYT@{pVBZiu9QOl*JRCqbMOT4M?od!q1isB z$Fc%n2wrRH0m9o7=a@iGOiWhPjHjzPGn9l*1#!nQH!e@+sOAartJ)}~d*{E_8D&&^ zs^4MLVRc66K6G2g>FfQ?p2^KwxlKh1(f4w1pW@q(S?%m*TYMJh=!(-Wtc!ry#8=1h zv;^3!Z|A!|Z;v}`6BgWFPXg9e8YvMgw4Dq`=Y|kl8=&Wev@phu)CMGL8QiYm5J+(f||LXTFIj|0JbrkDQnHz#J#D%C9TV03Xo9?x=tUyG1}45VUoIe^o{;&Dy2^bimoiu&`X-?g^J2fN%T04t9GE_vvH_pnva3R=Rmu+d)}4%KS_<;=2d z9s4K!6MIMpNfokH&ng#WZPV0vcs^Qt@BSEo|1X%WE9N;p(h+%vEI}CNrr_dw6|9gU zV!gLXM@aF5ll-vw?jtXm9K%0w1s2#HRXhIfxvO4;$v?51w{{^;CffA46&Fy|_t=n> zL7d(hn++(yH#i?@$kS!$#cpRP9&$~B0(_U*9q^TZ*W2JGdAMOpEI~xUE=3~AU*lOA zvXj85B4%wzdLvPY88agRua3&YulJ%}J$0=Ute9*xjM-ID6j4E)Tk(KoX^=*jK6E~9 zX2SUyI&Z2PY9!p{=N4yqS&T^nHH5@ogS-Pg@^^S9&Q}Un*iL;CJ)%{)M={8ICR^il zK0!!d_i?}aX?IT~sMpb;&8wxTFd#!tXJ^_D>kv(qi*1kB&*gk2F06|Zo;ii*lZ+yuG_ceD2_E_5brNx?(`0|I9YR09=Z^D5;O znFg00oc4T>;$iKxAxH!`}1vXPcD46xf*@x6<=gZ_}cd?p6x9l$Z*V22S%03 zC*XFZ1GnS!%;t~d#vjf!TT9HWJax*f%3bKv-IKQIIQJ$_08+M>+B;E#V4vZF9}Ie8 z@d)h+@syA&)3tmH*280HQ16o4yJ!}bUErUn9SY*@5{!iO9_s8bwZ~M(!{%1|7@HQZ zIaDEZU-{0-XvNlL8ta;MY?h49$N5^xmpEl@uR642NqAy-U@7!t0-L!RL;&R90YJVh z50DQ9%&$vy8uyO}i-n)K|7-Pv1GXFy!D+?~k@ff~gHmaFRj=jh*hS6s?FVv7pT&CY zin@Q}M0ll*=@wE$0J4_IFm{HKt8^*Bw^<6g%5i7F+?4V4M%?Zs>7!rtY~DQK`zWe( zdwH0J>IYjGAD+gI60VYQ26MbEn^bct!JUE)`g;&toZr63)bgg-`82(95l*u;peMg#Ks_g+Nhdw_8`N2{Gqb5*` zYr3mptX+BFcy3l!c44%HDlP1wlA-A7$04(DxVg>TJ4Abcr!V#;dJ|C_rZ#;+E*+VJ zk}b2|kDI8OJ&UEkWxb`FMVIOC-dW<59JqH4&wqQ@mm;fY?CsurS~QJcxXoX0#x%%u zaddTFRx4Crdr=vPNYPKOC5s(9yXi$n1xpF4x_lHOyS2e>p4=%QD7w%SR}j1NQ@ zhXlc1h7{Swut4CR&oU79)@95}Vo=Ktn+9a$&Oh))Ir#kGj^WOO&A3+?Wb`XZVfZQ#kkE=6>VljNh~=}J<|3V)AF4D*XXnnlTE8|c`ojGH83s-ao&Wp#Lbj8h zidU%xQfE+YNV7TWXcJJNo?ESHIN2EYZF>vl_Lz<2Z?>i3OlW}6?KNoUuHr&<(*I}t7307{E?Wwf%c$mGnr48bfK$ZWL-Yt?>?KjGM6H|B8oHNE^S%7U zF3GGUlkqLypp(w%cq2|;wk1b1;jq$IecHxh(p?gxtt+>N$8VXAq^qe=GImp_Ks(?V zqaVB9@Ms5GRMA6+(es;BrcTAXTogUW&A9NPZm!P!oXeNr&eob#BA$f9`<1&$dD5Rb z1~H@ZO%oei+v%od_#jvw`UsJn8>fPjXoq9 z|KV=5k=6^}X6ke%RcpOTM}kY#85I>%R_PBs5VL~ZqWt%?aJy6Ci5d}I_7&$GMZ*+xOIU}NN15+kBdCb%62F^z9cpr0WV|RB{nHFOW7sxLQ{=m)VK*{C5egs=f;yLux zU8XKBl>{M*5w)P&Ng z+FWl0mF#)uM40a(PZtm3Y)U&KXg4&*-P`kdw*X}dRq(&0R)%xiO_m|| zmbWTfi?f%h264#4%cSW%Rp?90x_mQxMvaO{g@b&}vNdM=WBitY7|nL&K9IP>Ot$pk zLFlLji>lp7sJu5q%7Ev$BjO5i9=4jZor%RWx0JWJhd7?+Dz#a95zPS}8qpwR2?yN6pbIxvfT^D86@{z4DV!AxXPlNnCo#f7eV9 zX3*-UL(sS1$|L^q^fa%6KS=5i#wVGx7>-4ifSm`yv_Eac^fRHPY5da%I}N3|fOiQ2{@RRtJq33Xm3NVsfhi$mIK*eM2tik zCT>zj(vMC^9x@V;yHC{}gkSn6Uj=l-9Df+N&;0qXuNT&UjCzx^3|nfDDZ4=G=HHR6 zntT(%U+hrnm!XA%o`BMG^v8=C|_SzWpsdq>LA4k=Ybt*bocZa*08vK~zz znO~PcK9v*rF@N%G(dfJAH8uWg-{6q-zjVZ?akXmbGIC9t!;96V8Urb1(U4w#uV~Re z%x7@QJQ4pIk1FR8Y2j|myd3mw6}hZ2%BSVQ`q#f9O4u8!6Lfbg;k+XF{0=q1O1SaK zSo&tK!S$INCT{m$$v<(Bu<9s4<_U*6C!q78=T0A6)*!S^t8+LgR4u3PumS0^;9E+ zvF3W>ExC6eXgh~(`gHjlfLmSDP2kS%{L@mx{FqzM(^LyFMptz+VNodob*8U~5y;E4 zQhe{IrL&amd`HGT^2sYoPE^4xTz6DLAPDU!^W2uNNO+KFtLkQbI|zrg13dIExDM!P%Gd7)%e0*ip+Sf4F^{$%)c$D9C-`?-?a=Ke{ zb}d^N#r=WHhdeS+O{Xf=aD=scKI<~;0+Eq4pf*sFO8D9K9-x2vhGt1@6{H6SJ@U9& znJ`yl!yD|{(sg^owzW+WRXU7BsY<&aw?}$E?~$M7M|6Eisa8XM$j^yW!X@ANI@9DA zWK7=U&QJ17da5ESO`TH|b$I{`y~LDo}-^RO!u z9GbNl2Y@bOX*Xrc@{ald;=Qh3dsPYz7A5X;fNl;RWCn%Hakt;;j z+5z&^28SUyCoy)A!pQItJZ#}1^bqlfTRoCYavHlstS^49k?mF1NE`Oc=$7F3-|i_j zW!x>uS!CP;v(2ysK{P(yqoQIWR!+QWSZfX~U)%S5RQn6r*bNM&uS;B_1%V|9k7-BA z!<0k;-6~{R7sI?KqCKdlWSCnWk?;rZn@}EQFnLT1z05v|l&vXU?b|@eQ42O$<6%*C z81{?9o)5_vCLZ+fe$d3lA@;gB5SZ14uGcPfa+;Ka z{2-;=W`5(5SFmaFiX4no1t4r*fAJm}n*SK-&!v1}QN@uHApf2Z#RAfkOQ|A>qeRaV^{tOGE5vV6iB_C01BxP(Rq$4r*^y&Q`C1Q zW4T0$-YE-lM$hyvkV75lt78OWf9!(eyj@`7qVgikQNhXVgN}mjy^Kyj`C|vIQ;8`! z?+%wiQ>{_MVOzEps>a&PU|psYrTg0gvu9D=RG%29&d!&wOgOIg`6bx@2#G)+!{uKp z9N$z(Tj0+DAm*?iPEE?pd90UcA8n*<3oD4JR!x|9@Th&9Q?6{tHfOKwx-Aa&^NXEE zTU%nUMFr{$clsF|+soH`D*0ohw!SYlK(B${%~dw5Tk?>Z$cM}--&d&|VZ)xr%;dBl zvXEc5@S72Y4caOEkjTxL>@yx)u##N3E8U=};<(zS?l8xgdyUwAo46P`MQ!8X0-R2& zXuoH|?FW`!TUo5_{co$kw9@vLo|(2vaf(-F)tk-WVOA~P5`aP(7X%ba(Oe2wKDJaI zg~UJ82VKs1PsazB%APKr&z#>h5~!v8OylD5#R=xot*`5gR}54*E;o|I^*p4gGu1ev zJv8lM6WXvb%YlIe_Z%&+E!}I$zN>A2@*fR>{#8UzNg?2PIu1>9hih~iP&T) z=YMA#Zhge2jnx+=C~okZGtf|03`%+6EziifXP@%raI%F)O4Z2i-j#U)4~}&nEX=aJT=mi|JW$_8f8UHQ@XJ)a{&YP2H57_Ya2^AjH*0kjM1V9|k-) zkfu$7GvzR z^LR$bna0p+YnbiOu@d*dyMn>BAD?u9Rk@CvhONe4O^N%dVIoHkwZEZD$8T1q=C-9j zS3VP&Q+Kp1TIv3nt#Hn|m&^gl@&p!NSNi2;XEwD%NIZxDYcJ|GpH#53fn zId)yBGVF>FP+A`Womp%Tkv2le18bukXO376pnvwj{PUmOj}3;{yn}PN$=w8`%}-7Yl6LyO0X3(Qwlq3YGZNIbfU_S-F-k%s z4rgT+AI#|u-y$@6**9`O9x8sS`o0g2r>@S|(Q&^hk@3hxQ7@skZuVsMLbQXda@PyFGoR79dmgsdj z2LO0m{CLuF%9jyL7SEPO>a`ESx=$u^ObCpA&|$(Z71d$$6+le}8Z+Bheh?U)og}ot z@Hi=n$khF1;l*|Dg`daU%0}o5BSZ zW3S{1*@ERnWKKVMYKxc`V|}B>#Ahn>Jp|y7?uBD!5H`P_Gly2oU9L%9@S)wF6}sXs z=;kzQg{*mN`PuQYhF2U^3J|S88W@lsBB0MfMBV9W!z)bWD-Sotgtb+rDx8zBy&)fP zwsqfS=wGGGTNN|-+a#{ZOn?`eYU5qGCeHm|S76e=(RjQQ;s@p|S%l2R%vC_WgOsQGX8c)6QFvI^ zAz@3YlRk5xSQA6`f7&EhlaA9Y%2q98|MYtvyyC1 zr@PKBh^URf>XLa?a>-dQi*7jT{l0C+fg5_euIBID&}!GRDgYdB^?gqirJg2;43w@$ z(>J77C#4+X2J+iG<@GOJq+g(v-22t_jW?zPmi62c-&ZHA*lL{RY8(TRcf_#}r76J# ze`-|SOz0RBPuB%u3wV#Dn7d-b_jP^$WvW8-Y*p)nNkX5pDwVD!a2*Cnt@)rH#Wwdg zL%GnmqIHE(a#G)Mwxu6B`0>f%bB0R;FK*Vcm>;8~FNMRd&lAHX^npLYGI;7vd#JPn z-s|N3wC=zGHkwX#VzDT&+U+Q8;d>W24C9O%~s)T1#A^J@IjY4$M9SkqiIoiy;%S`@? zGr?&d=cc;Ma_koxNfhKp8cCkiUn7(x4_0Ltm;2dR1!Pa{{dDyO<&y{|H^R0a$KL%U z){!0{j9mbxHRd55d&rXgM6s_=oK!VU^yb|;Zf}=2q!4`~tl-i5KtQApsXO1P)xUd+ z8U_5F5N(dOV1!YBeSa^~oz+Io2un3+V&qpxpo$hl?aXgI9>cX`2qPNX0 zbpl&0H%A&?EstDtHE}AzjvpQUVE4gcsu=PJM6Rx}`Jgaq5BW*N@V7^f;~fe8&C-wx z2Xt$AsBM}EAaOKW#wo?0N5Nf+Gf1oRM;NAfXt4RBp~sm-+MC#v1^KCl`Yu{;zSS+X zyxOMtY9ZgN%$n50?CbW4{GVmwE_~s@f!IIBx4jFx`8Hi4rQ$q}U)nq$;{JEr#=dj> zoKA%<4VI8La~b5F>HfI}9`a8;`?&oJW(J$$pBc*{)3=TY1HZO>x?xR35E)-$f+Uwl z(M=GO_ZiKqy7G}_ZqRoWtFYPKtg`_=$MR2RXvlY)B1#?7W{R0!XYH6mM<6RKZ0Xn`hnJMeR6 ze>%2i-b3q%-KPmd@jpmHU`N2$)0M5rx#L`p0NF#0yCm>gdEDcN_ZH6FFM&IYlMV2G z`8S`DT3Y;$KYd1q|IPcXua<3T-pAFLHW%5ST3lR&JMwyTc;HzmOe+%SPHTYd=PF~H zW04=yqtCe4Q@&FohNmeJO3LhE>?I(tc+4Lbm1fA=4Z|=4$cxiV8XP9@kTR0bRy6+0 zAVKlBw+s&aD%H_PJ>9qiFh(Pxc795fP_3sp3EaE^j~ONNWqVu{&g{9-yYTEL7Gyx~ z9@29%EAJ8XbFL#@)u5ZiZGq*r7bkZL+o3;_8z{15i;0I84rkAEzKM zM_`8XSL$yvI?tZdQM(~$ukM%EAx4}Xz==V20$D4C%)J0*62OJWn`b>rv9~rZS@xDN zu7T8QVFN5mH}3|*rM;w%^dMn4#OH>^=xs>8*Qlih+{~Q*zJlnjSasuD$(KOv$)tRF z>qm@J`%@|Y=?|rNDs|P+ldlIiycT}-{Ft~|CB8cG@As6)rt$#@_CI0TM@EJZ1`~LG zB*L2?quG`?K0n;EnnHHRQYPlL)a;%Qa!?I>r@T|FY_Z1GHerdepyE-UWX+;|}~-*#+6h`_=6ElD(U+^qApPUU_EGaHD# z%C?}?36+0+0OE5r4HauZdR71Sl64Bs_ZXz3U-?@jopwtLOjmm}Zyf}1=!+)OKh`&A z&K^>i^FLPzG3)$y;u+7zhq0Vw=37M^y#ReY9#|O}^K99`KCsM?ZR&k^D<2rMWZ-bm zaU|pCV%beq~=;oFDX}MZEtt0vwFel6}|N4XTdJ^9M&Ycc`R9&PyZLNvm&_4RWu?t~U zU#|!5-Sl}%j!up48g|@AVE*)E`T&PPo_0pvUoHn?niJD}!UHjW&sSGnC4_C+IMavl zJ7H<=zqpkA?~s)Ko5n$M735}xUcJ6*W>!#_wNtqdmg^dEbq_z{o3Bo`V(Ba zNnJG_)rgB9;Y8PU288Q{6|bnp6~Fk|KnXOr8QAWrJ4^i9K9c#76G%r=pMH>PLpW|J zOXhiI*fg?Zw2c>iy#U=q;z!3VuGUC>=Vyq}#t(e5EpwiOz!GdjVnIBpyf0-!Cz04Z z;}5v0coX=&HKFqyzSBfG@SxoJ^sQ)1a}4H$39H0xy4f(qNLSj77TJfZYzQn{nn2;J zUb=s1wSZ~0>&yai*G2KCe%bu$Xm`A3A9txgq#eP1>?<#zTt8 zrHsgdnx_JHdeB2?djWJ8!?}-j?7bCRIHWmq#nWoUFhZ4Zy7X;J{9ev;eEqUFQ1L23emfe@ThZnKROM$fEtFwd^SL z#OTaHAiobJGSr&Edzoxb?n%Tx39EH$&$nTO`OzXPv%!hR%CWIyg_n!RSG5=K>{b=W z|MGMh*-yMdgt;!nxbvHRTUVg)jy}9JkXuU0r^&%(8ZA1K{)RMTH+kImXXCMva97I+CqkSPWscs|&S~KfOMB{cWc&|8%lt%DAv5B0=JNV;dlDqqj$XE&mCfCv z)mGO{og#e?f5vxed1s%wcA;8)> zpx59vARA%I0KDP}D--qxsI8>iYP&^1hz|!6^RY40f}v!g5}OXQD;Ekc=PFfS?(bb# zWu%H|Z-K3o)f=M{@-`p@|BA>GF^FZj;{I@}Y2jk#!D%c%gq(7mV&0IUeJhCHGn~#; zJ~VtJ=vU0U30rKiO9D+mH^DZ^imvAeH3#%4!8!-LvzU^VHA za+BklA{9N}=^%l4sc+k4DzdbTck-!C53n>l>0MI(nBPuI5w7Q&Jg%tW(#}VPZtOM5 zTaK)w2cl>6RK@Q8Krk~BOeU=_Lc;%@mTn7kWeq+SFAgp{`HqF z2mJa(<{bB9>~*fq{kb*&19B2G_#kq=SB+o??nuiNKBPmYb>f2eVal+I$HL+y;pjXo zl~;jZfHBo}c}$x*|2S5SGcsukU}<8B4DCu2jK}rD-Yy#KVQ_H)-!JzzJQ4@@Pr z8R5m9G6}X68*OLq8_5K+f&b>2c>K_av%CLVE9Ol%8J&QP^A(-FHzmG!MD_FpE7FBS zQc_lFY`yNjC_Y(xROi`PfNX~YxwrsPoZ=rTv^?SqgzswC>#Z7JiElPF>j&?D zTBBvJ-S(=R+DGC?8m*vSEZ>8$67Vn9l)0p>sJ(|HPAYKE4ud>q@MA^@-Sb%zJ>Ut$ z-8t8awe=#k#P?Ei!poWPyTrUrW6Oi8&Kwe*47#yFy{^VdkU>z6KnCM2pvvenLHCmC zupMsb0V7H+REiU5(p#Ig>Euk;0xsq=$bD5b!#-4G9T8pH4+V)+*ZV@~hJx!eVQu%_tc&1v`UBhgyX6=h&nmEz&r2UoP$l`)MJbA-{Brm{%6rtKjcx-y`YcTV35} zZsf_n&wJO)>X9kWk-v=2uc!@n>5JIDD+ppHHJ5n``}>$ue`(oo^YK5w$D(%s9&i~cmH^-ECk zsm_ZkX|wrl+GbxGSnA&@STM=%ER{!JLb{(kN*K!<;EVD|q1?LqG;5I01~@jZ=qKb! zD3K|{GHxVbhsxxVs%XO<+P-(5CVp_S;QwU8mndSFAmgL)&aY3>tXe;Z0K@Ter&)G} zwxm9L$+6$$7QN>P7cj5?!QQ;g_9dM)-{3wFWH=+2cH;WaG(%a|>xj6P#`geg zxmS0wIG^+s*PItTBY?yt)cts=dCi0&r^`)$)$EJBl7Kd~(HZ~YGlpP|ej-y3=GfD9 z86jy5d1If`84_b#${L~qgbDk+UL!NI-F=wjm?^6?A�Y~j zg@gl<#zvR&1MC9wa$1kw76_Kz{Qk?4$Ko;3kCXSmjwxYISSZjb*^qL10Q>g{3?iSABeD>|PlADyq~! z))4Bsxx}M?hb4w}2}(MOcLsd;C5dkUmtg~^C>_N{QiyYMi3npy0*7==y%HsPkk^5G z#tX%UQxa-f8;x|3VP$!!|IEH%$8fZ+5x7We&Slw_H8$_MWofj>S>fvrer&r-dhx2b zyDOjSzZj3Qmz*YH;7JeGHh)Xw7tOzAbtBiExZwk>S<673^x1?#5R4FHH5tLfbPxA| zcy7s(t$oTGdJPNKH6}}cK!%fd-$t-q%Z56N7j#j>c-m%L9WP2>yZ!dJDygHWS>a1@D!SOn zZegS+rc8oyo2F8YtQcV2@ye{D+&(sA>U_E>{pv~Qx>Va$9_L;JkH3@?n0`r0A*jPs zlmYTbSkFvUnL;OP|MQl6)ZFWy4|1}H+^g~>9O^G^-n=T;J!(vSiZqyy)Wt9ABa3{) zjy*v7gb16d`Ycn;B)7Q}a4L^T7cya$=B=?aIo8-k#JR)HG+|7w_^64^G}8nAKRp++ zFe(?Fd3$v;k?8~V3KqQTU`b42A^QGw#lyF`AZv-#qcXVOrzHW+>;vCRK@4mBE-`3q zwh?~7QDornx+E?|gw$zPJbWdEAZ$_XB|(!ZB^X>9oF&hQ|w3Sa??L8I~noFPj%Ll$s`5+9?DGuKfQv@`ge zdz%RJ5L3Y(75~j|&~45=BAKmMh>&dSyoNOQ_HF4lhgFa5R=Y{+Tz<>BG^ z^3d6Yt)Rw;F8*@LyOw(=vXKqxCs;Ph-;{9;QpF9m`#7o$@aQi3&b56J9NP(xs_;GH zh(ue?)F@6|@zNCN=&;<7&-o&;qeYFK!E!2hv@ZF@zTTSR*ET!>e}7#W*AGV2+IZ^j z34XnehQDI?ov5QSeay8w-Sltx=QR22Li#DA82ce3*sa5u*-rX>2A3n#n6>&t*>b$| zHizZIPdfIw$p#+Z7Le$9gG>AZ-^EV>y-@?ntcMU1q`l35#k{pD#my{&%@ChG;}WYr z)U6s+=8~Q!Xa|?H?-TJG$58tEJQ{L_K|a>P}IgIvj}h%NnnyCPqxs z7I2!EAAiWOB#yXQ9g}w1kv=k8bvORbKUkY%m{rrN*D|w!lKtzy6K=_{YtGVwUcw*h zjU0S|7}O7!5NR-J2Q0OY#s}8cOlyXdM3&1G^O+LGCz(Db5cNQJ(@|mj_go!hMHt5y zlAUAc6glvga#$Od^}L6)4PlA@DaLiCuD7WLNEigTRnbM!Rl!|W(JBX?mV~btD|WTD zzbw9c;b|?ycZ+t8Ova+(yXkj;f2T+3W~~4(gk%g&%GUhDcPi1BmZXlvd)mc2cC6g$ zb0+nSvfLjc?4J=klAwc)68nDHDu!(pefeMAc?$A8QJYFB17fMuOnY_E;R;=xwzXn5`>etINQ;g#;k-En?W^HI|biX;rwpitn zUc}<VdFZ~kq&7|_C3)$JX zeEdr_+a>JsYCy|lUyAf1*#~KY^-F&o*0T0buTMHsBJxb5mRngQYBhSwj%Bn zpYgTDEo1AzU1Pu*T_2QHcY07_Lsi-OCO5~%U2@eT)q$UM zBfEC3>YeM?gFwJvmN%mj)DhdetDctE$ zpUl2Ss_tfNvabNyl$8*4$^=7E;Sc_%>xo_u3ttaiG__Gxl)Km~5G>+yCnCi@cbO)5 zBr3DE7muCQ^tYygD#l78z(Gh$XqhqoCuw3;W;&Z`U3s1)XR{!lnWXrF=K3#bd%DIr z>=5ZdE*oh6{v+h0D~>^OEiSfKy<}ep1r6>xc@^Jb&ISrlpaw&)Hy#-k=YyL^d>w(v z+=w=F#(=mAyhyF&d0Cb1;l3hAw!l4T4;Q{I_8;)m_j*j)^LqpEw9n_y+DMTT6ff zccG5baM4_M)dY{Dv;w&xY?RvYphMqX&fQfx&!T*d*H-oE^-l#k0C`!sWDy`TL+4NZ z?w@em^8fIWS*8Bo><5SgF_bI;+w|K@?25u}L56+hYBck{qp!>LsmC4d78alC1VpJ- zk3?i6)Q;$JV=xQ7W3S+x-8$^6eWhkX!Nf_cYW4kutP1+fv82_Pns#d+7SPmO8G1}| zxw8cQ=7)k(KYA1+J=ei2Zg};@JCuM^l#Z{TTg}geTGd&|MYmi(eOe}zCwQ5jk97E5 zXPtE)Mp?Mt&c)L^O%7f^QB+tIeLvOlc<*8L_o8QPUt)wDxHtcA*&Ih7{mkar!P*u! z2J5lsk8`dz2NMjQCrzFv?YC;X)Z1_l^%`YjjvcKx-CS%vC>LC$C9?W%yr|{xT9l}N zbT%SOZkaFKdm}%c@Sh?3X0ZAkO4tv8`F|jz^5I~&n*QeH)PVBCoROjcdtf6wUNiR6 zA6&ExKmVtPu^r#-$6owyKQ@d3-t&@$RB~_kXgO1}%l{}lRa?WBI#RRTY5TFO!yS@~ zZM}G)chz5#9Ut}i$X(RVR}nJYY3xh9QlfFkyZDzfYHj$VlPy!X4~P{%FMPU7 zPNh<&G9$wK^vQC*9DgsS4&gn*1;!^5z={Ip2C>RAEDb0tTKCMIG(FL5XJ;RKA7^Jt z)6P%3Hbv0tC9=%+9(?^Wm`h~z=Vt;|M)QwTjt(*8H|j>)U4KmmKh?fhWV$O8=ySei zmvi0v%yZ}cP8@AbpDJGCmXX%oIRZ=Z_oE;Cb9~_L9;qmC{?33jAGO0zWIPqSU8 z_R5!*=0!O6uaJr6*4iNNq;O~uBVvZGCev-8V)=8EOm{C~yr@Xkd_TrA>B%|MfNvbH zzv8w@KIUuJZVBOY@l|g!oi~_!Q^=6RrB<)}kEG zXra%WNNF)&zp9@(k}UJ+u0i|NK<%uxBrf*h-3H4!6a0I296fXhkcJ_@g%k#D_(u6L4f-Dp0tK= zp1`AwV8KJ?$tI(3nR`b%tW%%eVQr@A+{tuWey_UlZCR|(CY9YALk(p;uVgE3;8|`U z(|;`Nr%5-qY`PL~@_;NjZ-(`qb{+fo6Knnt6=@tJyFy2iy7`%V zZ|v&9wq)KshvjeW5%}UO!i6=(B90!DxE>-9vx~=F7rU#I&_OKBKfWi2=2cZCc2J+5 zf|4i9=;>#xb0}vt)(Izoapg zt5HnrI186!`PngCs<~H=rcRY*}8{o_EL8um8DWzDFKg)KDxEq3Q>KGnoT7 zf=XD?pTa>ZrMR)gAsbgWhmB=3t?Y5sVt?ZX_MQO<+}Xeu;FOZc;8pKp$SYtfcjg+$ zF@q0FbNGWnsEhq5I9ixHVxz#mMGyn3hF7zbWo~wF&U&y7^V(*l+SE}qA)EK*=8bs6 zVdt*wUX%9XzL}Q|VZ{7_N;fVBle6b{P{5zb%jj`S!CU14c)+w#&tHUTij?mv6GrO@n$6ma`#$qo zeIThBYp5yoH?J-7PLxkJ|0OTg+lnxFqi4YueT`RG73hgaIDSlXEB#?-2hy>uTe{f1 z0<*p(mJXTj0!ooPps*J_3B#=d{!O(+wfn>$t-p3QuN_|QX}0coW~vY z7>2@Z-gyb{T@D9DlcODMj{Zy}ZX?v_|#aH3m7sXv| z2_i2w4!v`~3fjw20Df6g@(1`u6TRt1?kOPW-+p_$x_}@^J5|v5B-mwi3%>yPydf&l zQM78z_W7{|lT0^b2kLAjw0151;P2QY<)PPF&jP5-7Ch9nzKh^EosVE$`-c}RzovP z6jTeRJR?(U(!K5O2e9eM#F}Mq<+r)rt zhm*I+?DZnd06bKuR0xah{1m=1pPq(AV9$x>+#A{E4lhE*3Q`i5qwugf>u z8Dc;mqd$;+Y8-kbnqh%C`(Qx*)z?7neb+p*MO(jq9o9OnwLf>cpQySBb1^_T4zn|K zKSRf!bcsv_OfS6lAom;SZeiN%^P^z^C3bWN?4u4wEprRYr+|^&XR^X!bkO`i2bv3TZo03+Ojfeas90QPraSS!8@GwVPd`mr+?8M;vT zZJN-+Afk&AT0T9VCY{CH&CseUlWs1+hPRn|-!ds8Cy%+w6n^;hxl(dOq~L1!(RExE zS_&u5Re6{bsb2&;jLc2ej=}_(FhRX|M34iO!9PMRlGVFVP#YFk5QKa;bHQJGV>>r0Vj(xPYF+O)opm-~pUxsg^ z#=C8ttBnL$xj5?qwtE8Dcc`(JStGSA95ZjyP$-_E1comU_sqGFLs-Y2d=3#34SuO$ zKf4Pz6c*!5fyWfAL}+YV<|<1IyF`EE6=+ZH*@628$h#O}vr#XW#%?-HoA1Qr<77s{SI45HJ?poXv{m261LdJ|~v!~T(n@Z*{8&qp= zQp}@BqOB^`{H~wE0vFY2kP-*EnE}AB?{6zx0YK9`0C*5MIx*b?SQ1w948R113pj3G zrD7DX*b5Dp$;((qGzW-6dAFY^{&Tq)UJW44b+*u6@qr<<6;6RNk;hLn?!!d7lq-WL#`amm_@% zOx-gXzpKBWD`tvo1{#_@5ON;^8JM60kwy~-T0GfvqZ9Km0s!L1)^<8h7M6vfvn*HZ8~;VT~}y3PE|u9QlO*qPw!uMuMs5??bH} zZKviRVifjCD8AL-*SxMM!r-jvj;FRB+bUk{A+0{4vfzAW%uQ{x0eO~AG2M+DM-B5X z=0k6f;%2u8;%puHOz|=1Qa-_yxBz(ah^NF@X|1L*1(p-7ttw~P;;{>$rZD0gn&~F;>d-blFRj;+ zGJ8)i<31UjCq8I=vHP$8HMq2Na11zp{9(;-RLS~hadxpJ81YRtE+t$t8z7I#gUVMO zQ!c>Y3xF?I9JnV|wlp11y&oTl`}JQ*Lv6Uc>qNkYsW6x^elBc9Q(0nx*6Ca;$)cd>0)1th%l?+g<$o93Fy1-{LIl2ADUusPHH-D zA#b|v*&Gkw=Grgs`oFJUThG{cJCvrkRKZ#eZNZh_VYH8Uq+ce?w)H9h-8m@iBOuN= zwHJ{Axbd6XSkV#Uy{SSnQ#b@>L@w0J3uLhaW2!MiG)6y zBV8fodh!>=9=;Hr`TXj=xQCZ}Ty29o9=4;FF&Iz@f#12M?tO&4o#_}vS%oiBE5-Y9DR zkyc_?quacj`v$69Oen;v4Qp=Md`RTEJw{nxrB|?l$6MC`yHO9BIzD(}9jpWv^$wPca$VYylb6l5ZGg7^A?tG5q9n7 z0HD?}uo>Gut+qyebzlN6LXp{7z&9F)@%~u$`7*)oI2>m=puCQ0c3Cl9w9JJ%H(XW8 zdL|L)D(NyUGAl065~-wD2JbC4*5BJHuAp*%P0zV`X46^IbBj$s*%uNPq7_)`!R`(% zdLa9rKMs@>)_uLX{qloOC!u{st&4eHuVA)k4HBkk@ZS_|SUa);tnRp|C7? z!m2o?qyKZ4+UpyA0euc9ws-(_JfB@W*^52bN0WBr>$cbyI}D{vlSZ8XL5aF{ALcl*zAKo8@u}wA43w*pPho>_gp2pumfq{LO1osWd-IY98d@pe7-oY&o`Y4;zP-a@0KFTJ&{VltcUPvW zyd1*s{X6;%jf9;I4=Im4Ppq2{mDcuwk$}C8_gZWW zs_0J^%Wk?yIQeX^K7;U#YA7w^5`!+F4qV>Hemx(oc5T4%^(WAu_(ET1s0j zD{fagnB{yPcCo<_`yKR=PQe!Pa zoSlf@zLOU~AQ}KrfAVy^RSQ`w94&LR*je`Q5_5yUV!os!-hOQ}FTNYt#m=e(=%baE z-wo_QmD~@uCVZrX9WBVH+C3mVg1$e0AqFu9g_NICI6emV55Lu2=wHrsM(Q&BVOX4J z4;#I4Dc+>*4YsJ5m8@Sq0cLDC_Hux~95Ne++GhC(x|bM9oc@vy?^geiB}0N>$XL_H zipGiIM(QDgHzpn7VlPbzsz%myQ;&qif+Z0LJ_aANJfIY@@!V&t+)O%MA zS+9WAl(g^VhqDn^(IVxuQjivo%EjIaIf8qlTGkpD%REy;xSobN6!iWeABdrf^r8E^ z4>z!RFOb=*fVk^V?l+qmQeFN@K1thot!E`hzu$@USE>$%E?$#1kqwxr)w7ZGCa*}k z5#!mWvqzgNEwA!Ou3(0aD{v2$rVaPm!KP-+<_b(cL{7nQ)!F+QoL$s|;G!rx_69NKjJfJ5~U# z%g(;?A=d6m0DPOMj~&^YaL-fp925}8+gKYJ;1#wDjMsz@@_pM4+aVud9?YIUyqJUn z4=nvt{PhQQ+$wbl%D~l5A=Gy-zGw%f*}6M@#jK~*U608wunSgQr+J~(w@u{Hk7|f$ z=rvpjemsHQQx~sY=@AMWa_%+-HI=^Jyyxx#nTgknYF`M zC46Ky0gThc5}keb13!-p4mm}M7ZZv6WfE!yi&wau85N2UL#@NoKs03|8D##~IpC<3 zsa()|{chNv?d~K-m5JcLX}hcO=tnN%2?uUwSL=?Y8^1Z!P1^OL3!E8p&$-7;h02T0WcD&AXzke(^ zfG&zbdXvx<@Tb2uvQxZEkp+fX!-pR1d2#*dUX0Kd%(BX4ufGriG3XrCp`6rX`eO*d zc64O2P~%@Q2*-1YIZ*F&V=NXwgnvZ_{5o8VLnCRRJ*%k$3XLv!4B|XY{w|u$bK&H;C@;3e@0(d(n)+y;L3InI=CHbk2pdSac0(4mA0aW5IUG<1 z)U7-w4J-wmB-H!6RcwF7V8%x1&hDS!;NvXqL=#)nA{`QCd@mhLpUQf?Oy3FPG(I3J z%vy~qAZMja51Vw5D6B)D_dQ76)Edb35wo!WcD^AKJM0@pEVM6Y^uM@%y~N^fFn=D8 z#H**Wuy-GWmN-XG{EwfXTTJJvwLjsMbg|yha$W;i64(E?LLA4##$W`y{wmFnbIjms zTFvuU%wLJL&jdTIP-9uj%paak3Jt#dOuORe`)yTK((DooK(sqRJ+%hkefno$GGGCF zNZ83UbFu8ug86`X=OSr%23*m7QMXfB$!^K5K5fhO1^jLV zJ=Z@f^-6>__?i30wd$2; z6P&Sgn_B~QpwSPzgH{r!4#Al3dKUac2}_+a`RIX0;LyW`I8=|+zYGQ#k5|Dgq5Cmw zGGnX%-cOUu!4#`d$50(RIf4&pqi%ry=J22W%^(KKBkr%U(c~h&Q5sWogsvmTsHBia zrA!VNGEbM_PnA6D=B39HM!f9~eUlXs5|r9%qYT5H-Rv;jU^-Ly}?S87`mCzo<33(hqq|ROaJCFe$a5`=($HPt_MM? zJh#*bH@2&%LCAj(`!+$=du2JD=+-(twq)+z>uz8DuMMjEAKdCctyj0xB5+!bZxr5d z{SW>CBm@M@_)#e@raNpR^q9lZm6*^!AxTB0P-O8N5%{9tWMhAHY#9`9*_#T>;Qo_=;7%dIy+wuZ2Z zD%hzSaIuMhL<8EnsXC}3;e5saOBa-hf zaAKY#M2Y_H4w!1%Kp#yMz>& zRZlGOPVb?=V3*!^e7-#YY0_w$Xs0~$NYmL)cgeE^Gt;<51G&!M)`IjxZbEsN5REUk z#3G%6t++^bZ7pOz-E=ms>*{Q=*fQDZ9j}gxc`V;n#r3Ie$Ik>J%#0wzb6^Y>dJhEB zjnD1D6WQ#FzZ*LqaS&{;-`A{0iXw=iFY`Zq_46}hp1#*`bK_?EajUm$R!Q~;Dl(mS z>Jio;^M`_^_S>NV6zn;7yp8`x_9es#i6-zqW?ZEzJ4cR z#^XTD_UBu^>~+6dv(!IAlc2`F2=@(0f2}|F@AnPw`FcEHWt7RT!iUGG16;f0(e=;m zcLB5RC{;FFR`_IaM#!`Xd-gL@`>1<-2gk=?1l73@eo5rpm;fSde41MAxFJMNW~Fc+Hu z_qUC>lMQnUaFejF1^ywLfJ%okm)WEH{*12?7&^Jbs2b2YGh=)-`C93f&zTn^NsP!N zWlxB0w9WS|BR=0rTsI+QTnQZ^B>xz5nop(9Zw5lGnf1+W7BK^7;=H5KlqQ z#T-x!ax81JqInN83fH)1 zL;kVNM9j!=PxsfB^dR39B>A6wgVsIM?&~5;k$BvU(#b+>R-upie*&AMs|Y>2dmT(&BC{HTN5>WOzdj8@0()|38RX09Rr&iNZtr^UVyV_>HK z@|`nXiw;31*xVbT$1_BFC!);Az%df{ta)K-FP)qO#GG8akZ^&)1HIA{&pDieK39`3 z_%2&d@0aauCrdX z@#+jMO8RDl8f_BRPSAg2pDg7w2(UwV>VL@Ys@2F)=M$evTeh;-EvS!in%Z1JTqg6v znNgy2&%)99{3}@%e)YpE*63O}o_HoJFJ9xkvJa_pj=e+ zaKTtea~n%%BF@+%P1GZ#rNmU`WZN+cg8%cBQLwWwFcXxC^0vb4ucC zy^269-**FFYK=?UhOKwFsSaaU6m~w?z*=&iM=3myr04-^<=}IN=1VKgbKb`-&bZ}s zCRrQXWxHypW?LW(tW2A{Q{rDDxkBjrb+DQHg|c5APx@BN%x z>Oy_i5W2SIbW7^ziIw^|TZ;}6pl9w9r38K4?4HnCLh6G#@3$&M3>9YN_jMoG|FXl3THnvj}>)ygir<~0XSum!$$h(ma{OEoJr#? zQm@{g@;P9r0An`lHkt%$kpCX%=oW}dGwK6qLIb+Dj{CJZt53B&HAm|_l^(C%t@#`2 z44lL8ZD1r_fYdDeqjF0VjLt!Nu9OKsc@{xsS(do1`#`Kvmg(Lus$G zTpm-a-X7TN_ufpM4qkFVm4}Jb%^i`yVn)8f?r0ixo?Ulzo%x*EbRk3}`~ZDD4Pg@; zadXy75xLjPy5PEF2xO2UVe-%$ac9BpXC`VID`C~BD-d@nHnNO2 zvNyIGzlxCg?hfMx4C%ky z$F|0fdgJ;O%LIugq7LLa3n>iZV*h{?iJXPTY~%nt&tJK>VW|^A;Z`Mo??|0%Ri33% z)3&2iq{XO8s z)?Ds2_YXMTld>xw_Z}V42Q<>FZJrwx93`T#=uqRn#{j;7R(3Ww_5= z-XV+=o!G{U^b5jGid@@EJayl4lQB~7GH<3dG|CyE@m0Xr6QIBi24#|7;E<=7L}tjx z!h^~pQ~M^Ch;GzT>XLfez%u+E(t2u3RRa%b4v=6Tx`ezM#a099X(Fmje3!T9q7udI zZpX;;uhu$NXS`h=m$pf`=+jtT?f$kj!r!Ri_)b9_^#fUK(t{}K4A~XqM$hxWdN>hem_y7LUCT@X)JGgd2Bq# zb-AGc_0^VF!@ohM!hyi4p!*%NA6l5TY#SIe9Y0jM=Fg8Z^=`~wAX=%49NBG)Rm0ofbp+#Q2oE@=ZDXO@eMdU ztv^86)^O3P#(@eonsdyG&f*x;SZXsq-;FI23&93drVj`@|Bpc^B$Z^3g{^uDRdb&SOyhJ5wVO4^H4wgCD!+Wi?*p^Kl zlr1ygo=iko9Bn%vw^v^#7>37l2@kdO?pwbKbKbOVdB7qYMMfd6sCdjJRcABf7Lc;x z^=U`hXNU0x10ptjy?8!GajoX_L7m00M|WpESB-Sev@(JPWWJHTZ1K4C-4?}Wa_>#VQF%@d z1^idJ2nVsXDs9;d4t%$mgM3L{o z7QaAQ5t2A`1V-^MWNJhBqf}O5hyCYVi#shi z3yJFzLf_zkaAZ^27=QA2O2G_J3LsH_+%AZ&PvRIv{B?sjPaWi|hpY`&BPMJiWdUf) zz-nZDX+yaVFBPdIF6;Ehz4YCg8+5l_e6@t4LgFgfZ7&R%hjh6;@@$6<)mo)POERm- zl4bnfD(1w>vaO7u-Z8;rMT<@skU!)oxylMDTu>5zqWIwSiTbOrWMZDB3F^0Gcu$RF zMqNJ*hB?8DOy44+VRQgs2R5*jCRSpZ;SC(9$8_-nLQ{8sMu%tBa@G-QO1$=ghuOL2 zLgrZ*t^vDv-zDhIhS7Sa!8!ekSW)=Y5u8T`A}bbfVsn^QaAJW2h6)S-z8XfAU^NA4 zU@&)nb9rz!*DL5Ax1mk=DZ_b$wIX=tY}IF}D33ve*h8!)GuFZa_CcEoFJ3OEqsZC^ zEvs3LW?R+7N<8B(+EB&YB|gm`_B39dP{%!b?7V^Xn*%$I3Arn-MzDSGnfyoSgNgRO5UG4+P#zQ8guQ7n47lFHtPAF@{09+GI7xCoU8^f`5?LXJ{j=H ziqgQ>EguU5b&@mzB{%wR_6=>rN8OCbDlEVM&IeAu8I#99AAg%!G1;Ix?>qM$^lj|_ zmT7_35%ZNVk1ZN|ZEN!`&vK8h4V_&C}BtzB=KUCG+%I!}FY}&H-w1@0WEpJAZG8$~@U)TNtZPAlQ}4vt%=nHD!#nn&hhNud zh*%p+Zs8>d;Cds-cEn!J8M(+&Yz6-=Lc;R#P*WwIBFqlT`gOmlP)j>ad?*d zN=zxr?eY{-sJ0k*+nKVqyf2Ivb`mSn!Nv{IXT(CknwQK9N!`hqY&3Nra0==mL(9gY zSp8*b0`5Ud2&T;hqHFxmQeCrpuqzz9))f>{si78A^{?Dc#h4Tw=oIg_ zAui21Ga&uEkPxcGX06wsh ztjdd(@rLV5^MB#^O`XB~R;`LCZou}Jm~NuCYG zt^?8zd6%7{BRV+OP}MD9j{nHO?+vDO^;tfNa5x?FZk>0({{wZH~9R9Dn!WIn+z6UQ#%pM(iPz(x3hPXeRvFHb>F=snmEE|Legl+R4&VQF3mP}90UBcJ@OL5yX^Fr}h&Ddk#Jwb5V2 z$AgniQt!FgZ@N0JSSsYW{7L_cxUF&emi@3revTKQ9HY;^!7|P1W+YS*`B}Iur{|n_ zVQrFGDVN`%C>pPS>e-nya`C>&7lW9x=o=f+)=_Pv-iFI4w%OBqv-h}*YZ^Ffnaf`e z0iUDe*@~E5QcKVN^rXzDh#f0?mX&68I6TKzkp-MIqgh!COACwgPpdW?tyyxlcJ)4s zo8cG*o`jcaf~WqgppJhhegq}1A+%mML8264r6h#_fC$og6SITmP8#Mzmk2_;#$e=w z*|x=d|9~DTzdcQlF60O)Z8MnGa6NqN`exVlo9;^ZB)PU9IsdX>T5~1U{%2e>++Y5V zo>!ieEP(_P1hqX2RN#MtK>uIxr~Rt}k4P^SmycjaLnKfjKnm30)YtPog(b0!^I@D6 zxcg6_{sZoDLB`rJ)-A6nWc2J)SU&!Z>=;rAu7`+yLXJV~h?hEM0!sq2hB|WS**W!D zwd-$u(>7Y!X;mQ-)wrj#cu(zRSssrTv#tvmv%f(@K1{K_ISJ>R8KaPjtHlXi;J>2e zsVwX$1|+NEb%{KQlx-1B!e%GZQqN^DK`gcIKe5tA3HUtnZ#aDAKXCYmfQg9*6A1UN*i_i`Jv78BL4DZb)}(j|5=_$7$9Oq#(Hv%Nqb1&=gexngm%zWKd;=E-#8VNSudTb^m<=YWcZm+us8R9QkRVLNLB2?{nMkH zc|ku2lLI^h##5&fp`ysxYDR9m!4jq(xCg2N6G5odh{|pcq&Iryf#%KYiZ`9~IXl)Q z=1~7I@9^t=Uv||VRBV30xpKsi`c2R!8T-&rHagq|nz)hsR%X-f_|WbmFV;%_KKvM# zspoyGk1wReuy;($ur>X$K^pKQHVb#OSGqE*jy1_EiOULj*PQbPsD__`oKul4dJ8@j z2eYZa54GO}^If>fx?DIarrd{Jd_6+%{K9JVT&6a1$84%jm*cgCeG9U`f5ir>vGpLk z{zCpgF4bwyQicA$RLcLfRJ59FLYgqJ`VVaYY>etZavc6)ul#5JG|qCD;=^{xx;xY7 z2k8FWBNjed#c3JV;NL1Gu~y*eaYZG;Us$%i+wu%@b)S;o2@k|hZA6oLqiO}*Qy-*Z zUmoNeP-clBu^)-m11M3I$le@Ej@O1wbssuAE{^#b+Tc4-f#dDAaO}v&fiDPm z&2~ALu*FvRyw1KX?j=4W5iH$*2oJ#5D3-J>Tu1m$7W&Jf_#X^+Up399+u#J|U}+&; z3tYdt*iN;KJ5Pq8lIcuCf3j>=Y3|z*A}Ht-;Y-`Y%(*i z>{y$)#z6dpN((fZmk0mLjLd(fxx*oU{@?cVKSoCV|HD`RS7e(1+nzY*^Ze(Z`oF>r z|G)m#&HPio>0bp;%70}n_5IsF!>$_XC=Q((oVM07b~&&pMIs|QZ{zM58@1YZ`k9&g zFe490vNZkb&ntH|+dpF}QQh)q^Y)*;@4&73WyfP~$+$(Y)bJHpu{Euu7hX+UV-FX$ zxPB1bZ~jKcLLzI~-UUn;GmKs{lcEqMh6qCOi>CRlIz!Ga#y_#FKhKLRvE{=?pGTM1FRxuqxW!|0Vf3S0;XcC^%iL$q8H^-jCKO1wr(k* zi@S&K+8_P2ZSR3kzGftI2HBwP!mVhdistG^b*?uj)2uXYH#!oJJjq;Iq%aad+$go<9c7c)cSA7-IjFLpFZ_OnkAGQkZm0Y40-TgT zztWd`QIUw-y3snGz0MobP36Lt?AR8hD_y5|jb&r6{*C_Vj7nJ&&x&CM?&o()v|wf+=`Z{6 zxU=CSC;G9g?cGKTvzF=KT43v(l92N4)k`|*Sd+j09p~pBP918aW{HkZ#cj_%XrFmT zPh0w2F^IY&!cF_oJsa)r7fGlQmGfp+U7U1UEqE#YX}*PB zxHai0zt7ntx9_QgLf^APHYU9=bz>w>)NJ+MUDdH<$kfDf-6z+iwdamXuHPbTn_!(3 zQF5}kVWDGmws$;DNyg^pmrrvWV+=v7-dOK^U7r%K$s$sW=>KZ(x`Ucpw|znskS>BC zCA1(YO*&HbC^aHQdZc%drj$eiK@_A{1qB48NHZWvmnuz)5L!@rf)pu|&O8BuPm37-e7xw*ySM9O()*w2MOaHR%kzx_0GF4 zAL;`1o~f3?xrqG)@Jt;iz$J6YYmnkb=2Emj{tOj@V`{kV3N$~s5C_;8<`=Mjet)US$EyU7mQd?D4iB2F4c!AD~|gKm)4yn1F@ zWYwlwBYwxrLoU&1SdvTe?Bi$wA^-cLu$-3|D`JxYd9LFCnjYlG^s3|-3xUzgKOy(P zmY-O6U0ZAhP6GO=C)T-B5wGl&;q^A7HnmK6P3w(wEWB~6BYFFDUuxXW(g%Hwo=LN! zJR48^o>h2<)0EX!@x_EdC7N&XVJt|(;7wBiEF`a=}@@RMhZ%FiU+f#v%dpJ{9B;RG(_tJ~Wd5sQ)CDcD$b za6wZ|s)|$Gk2?uWjP8bDP4*5X(8n^HsVc_IGpO-pn2u{bBBX!j@f9_oU7<>b*b?{L zB-O#}-e9+inn=K!OxdejGTPOyGVD?F(D6Cs4WjP&u2iMx!|WJ_FBXDT4erjaJ1SvA z(C{#|@EGzCHyV!j*Vl0a6voF(`5|n{sxRWX6l+D8hI8Z*LX~21ad(6%y&mF%AL>Xa zxuXVwwMIAiqc1E8M1!BisaqFa?G}Z6EiM=8P;QNvNA%{{;)uiRf1IpvKayLY+c?dA zt*4O?VoM_+}zgRE?TWM+ptXmeKBlQ6MzIh-rQ9vRkS=CIS}P&c3J(nX350inD!uO7pL zOgAIFdd4-5jhX$9t3M1pv+eL?HyJd)vDz`xxF*)`^~VVJ+SOCum?5-3CMQ>}o9A+_|C;jZAR;S170&xKFe}gRRwBa9K z_uAYEk>sxbcH!CdU2Jiznv4aD8>B9;#doYl0T~Ogud1ydmfH*7XE1uPYmr3_(U7L! zN_=4L5)G70IX$_aDZukAWMrA8Uym)k9F`5AV!!YAE6kv15>ABHxK4i^Myuq`tSTo- zf0E{sGrm!e%ETbCNlJqw;L>fhb9JJ=CxLLR>C9ndDQ--gRK2zQ?UYU%i}qhPZ>5~0 zITp1Om$iFe@4R%F#H?tFjAJ}H=M&uUvLHp8s$Ek(v!qocO< zUQ2MS%T00iP+bUXC&0_>kpnLS>Qu>qOw`U=f97Y6!}DXXyzao%p%0Bbc~9b4=bDw3Mb>Q`Bx6`LiQ1+O&1Z?h?rns?ge1S7 zpZcKSC2&4uq-hkpkCq02CVUCTki>yZ)y(Fmm#CTgXMye2ga zSsAee6&u-^3TBT_Sc6Byp4G2VHHx+`H>0|r=B}Rg^eG0~J}!ZxL-%!6A#KE}JGX1GKYrCgg;og`0IgY$;vjN#X$63H zY^hmu)_aRJ00jBoL?YIUBBo1LNF`NDh;QH-y^(Lyl#0CauDS|GZb3q(w|B}@3CmB+ z+e0~OM__*Pgn>Ha#C=cIr;>Bg-#4zYc;e9dA(~Si=2lK-O5A2kmuzk=WIeOf(A%%; zm=&g^OLZO_>nx9q?_OdIw{9}dLD zvHv9o+KwC%jWt;N0uQrQ>jP5j4b1851bQtu#+Q~}Kc31I_HA7p3Y6&G?PUXF3H6}@ z+Q{XubY*}12X!NNw&KI%{z}dYArk&IA&1$0R+Y>VWfy^;L$pjS3BLc}y>IlOR~$*z z%-!B1OqOo(IYSxJPm$1@p%-4)vl>~ISDNJv=~lySf4}Sc2+dru#?{?gij3?kOzW{} z$ryvzYo~d`XnnCK{dPdHRf^Pea>=}IxC!XKJ;leW^D`|-7;FUV@vBQ0T1;|H=ro<7 zGam(H&DT@90y({F>>g<;#1AO#v{l@tJbgfTA%}Dz-+tv+JgNGrFAcwSSEl#EG&bsy zGXSFUl3KOWO-MG)Ud5C8u0G|~b28e#kylkSBkc;GH}F7rz>~m@dzVU>P0g2~d7t)C z>7_O}dGwUu5dTE#kzo^FPJ_+{DRPsP-$hsqyEd`X5A(gA__9-IS%ro&VNW_>y#2F{ zL!GWU&65$XV=1?w>};*apnX~K!l(9A<{H9vJ=(Yel0QDfYbf&^g4gl~pI?0B$OiTF zOX;Cmz_$yJ=8_vHMW!_BPfUrY;icK;=C0*4QYQLsz?mKJ{995d0(V#Lgp@BURL*E~ z6>W0oRizGD9bBBy`x6uqKpJzmdI&GpEwtps38rj);(&l2)_uEN1i+~f_ePG#a#Q+_ z2H}Xsrvvp8tnV+_E_v(pe#6nEA?0_{DZ{SE&xz6K+xgl#{wV{goI_cyqL-=FJjYuE zk?`wda#+VM4*bX9L;cG?L@iJ3Ik#r2N|6k@Yxw#KW_^3?kCXCJwg zug#?wG7PVAj|cfG$HnYnSif(t&hm`=m)$*6;UyBG$Rqh(=(0?Rj2onV<86&Ke9vuE zZsYv;rsNO*G83It?o5^Y)FGvxdtzHekldQ@@khF^-2pm*A#HxP3d*{CV?oJ!UFXYG za2QQZV1{eB{FKj=NlbXEp|W>{t22WjaVCM)Eo=oTtjnpURIX?~tS*h5(lMY$#*E$` zeG8MuF7C)yR~c}z=p+c{yWa~EVFQmHIX56GA|5`UDcU@55-}=rp}&MrF9tyPIJyeJ zssausg7W~%yCB53+l@tAjk+WfLQXOZ5zQSPJePRf=wesZtz11 zUN3m^mzBI#xOROYcc=9i61m&Om@rmd+)F?|!A zG$s*0Bo@=Qh@$nz!&y3T*K*knn|M--Wq=x{>qHoVh(+*fZOMWgBIbikqD^Xhz+s<$ zh*F)s>^{d+VW||ed{cM1ZRj)G+uZp86-{JOr!5QeX?Nqq)7_qgZ9UR}dAEvYB%jO= z;!Wd^^EdlCAbH`;*x;T=UXt<^oRq{KbLnc|fi*|hCKfCDQ2H=b$5o|bb+MInuBCi} zm>5dZ3uoJa!s_Y@LM@k(G(JFj*xPiSsPCzd+pM9N2=1~8X_6%GAKcSDzj%Rrs+ZID zj;$8`@k3jPHm2ZaT}E|n)Nt85O?OLe*a6i88ws-F$J$1|r{3$fo$5j@O|9WK>mE60 zFI~MGcRD1>gvvlAirD;y`!JCaDLAoolVIL%vG_5s8vV-}ER+Y`X}EqOGl%t*ft%?K zmel(Ae6yW6fk9=u9~(#XL_#T?oM@PNC~G~_ux=lBE8hSj0Xf}{(z!6rY@=*cf_y+^ zPN>*85tgVQDX%u>(;Ic6v$6oBS4G(d)9y5MvRlBSFJEqoK18OQo7(~}N;Ldn0#bsG zKWxGS+?UDbiH`o(bMAW`+GBYUQL#p+&tE+k$(WFTSP(#L#L%uPr&SO_q)hMv=YLL^ zk$dGlli0uBzc$ni@()AOn>i6I7iV#=bz9} z%*&1xQ;iadcibk!_4oXWLJEz)V_ob;GR*JSylb0xJhjw>F(-8m9N?4vJPQW!dz%6; zpGM-Zx9}2YGsv<}uL>?rOZR9HqM*e7!IhxF zT9H`YEO>}MP=6)gUBdIZ{>iphXISNGAN*{>V_@zj?fLM`Qr_ECO{i+_9qKd9Bla=Q z2^xxM4?^svPu)MBOY}q?1?5vF4k0En6IS7?AD32XCGxkN)$c|AV)quSn`+ zn^eGv6QN6Z+0s?GYOJ1kFSnq!0y1Fgd&-`i;zuz&mBStoSw$Mgt#3^}jpDID_jwJ(5IXCzxWpgqRB8%K7RQHR%n>Fzgu)*dNfbD!jK8x)$ z=`UX*r_&4-MMPddZ;d*ksy+%Ks2Lci4RzVDCEJmil5<3Y&iI{K{ACCi@B!MB0a`;F z#^XDe;dAi~$%07UYXvVlQ|8$ML3Y%3 zA*c$Q(GwUY6u&C!eI#4z&LNWwy`4RfTiLDHQSYb*)VI=)+{WjwO*oT<)1xJ^@?MhS zh^fLyDg3GI3~#(5bkuwetiH|84U)=Vx#uBMmbN_O@An!1Jbw|wwvCD#R4m=kI$Vg^ zJdsdn!1!U+Iyt1jW+MF$X^nWh2DWsnnlcS}Kv!~WmAP;Rw3N(~bBug98s^j!d8a&~ zj^2W-mFpI|s;WQo;?~>=W&0d z)`CAib6ly)PNw5yN6Q_*4rTjZxps1q0uKrCJ5GjW>yF7C8_%szyz9F3$uiDEwdwKT z!zA_wW(rE`=|KwKCGn7cFyxGO!1sPl{CxEq_Ed; n>1mlWy*Concurrency - Control and Recovery in Database Systems*. Addison-Wesley, 1987. ISBN: 978-0-201-10715-9, - available online at *research.microsoft.com*. +1. Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman: [*Concurrency Control and Recovery in Database Systems*](http://research.microsoft.com/en-us/people/philbe/ccontrol.aspx). Addison-Wesley, 1987. ISBN: 978-0-201-10715-9, available online at *research.microsoft.com*. -1. Mike Burrows: - “[The Chubby Lock Service for Loosely-Coupled Distributed Systems](http://research.google.com/archive/chubby.html),” at *7th USENIX Symposium on Operating System - Design and Implementation* (OSDI), November 2006. +1. Mike Burrows: “[The Chubby Lock Service for Loosely-Coupled Distributed Systems](http://research.google.com/archive/chubby.html),” at *7th USENIX Symposium on Operating System Design and Implementation* (OSDI), November 2006. -1. Flavio P. Junqueira and Benjamin Reed: - *ZooKeeper: Distributed Process Coordination*. O'Reilly Media, 2013. - ISBN: 978-1-449-36130-3 +1. Flavio P. Junqueira and Benjamin Reed: *ZooKeeper: Distributed Process Coordination*. O'Reilly Media, 2013. ISBN: 978-1-449-36130-3 1. “[etcd 2.0.12 Documentation](https://coreos.com/etcd/docs/2.0.12/),” CoreOS, Inc., 2015. 1. “[Apache Curator](http://curator.apache.org/),” Apache Software Foundation, *curator.apache.org*, 2015. -1. Morali Vallath: - *Oracle 10g RAC Grid, Services & Clustering*. Elsevier Digital Press, 2006. - ISBN: 978-1-555-58321-7 +1. Morali Vallath: *Oracle 10g RAC Grid, Services & Clustering*. Elsevier Digital Press, 2006. ISBN: 978-1-555-58321-7 -1. Peter Bailis, Alan Fekete, Michael J Franklin, et al.: - “[Coordination-Avoiding Database Systems](http://arxiv.org/pdf/1402.2237.pdf),” - *Proceedings of the VLDB Endowment*, volume 8, number 3, pages 185–196, November 2014. +1. Peter Bailis, Alan Fekete, Michael J Franklin, et al.: “[Coordination-Avoiding Database Systems](http://arxiv.org/pdf/1402.2237.pdf),” *Proceedings of the VLDB Endowment*, volume 8, number 3, pages 185–196, November 2014. -1. Kyle Kingsbury: - “[Call Me Maybe: etcd and Consul](https://aphyr.com/posts/316-call-me-maybe-etcd-and-consul),” *aphyr.com*, June 9, 2014. +1. Kyle Kingsbury: “[Call Me Maybe: etcd and Consul](https://aphyr.com/posts/316-call-me-maybe-etcd-and-consul),” *aphyr.com*, June 9, 2014. -1. Flavio P. Junqueira, Benjamin C. Reed, and Marco Serafini: - “[Zab: High-Performance Broadcast for Primary-Backup Systems](https://pdfs.semanticscholar.org/b02c/6b00bd5dbdbd951fddb00b906c82fa80f0b3.pdf),” at *41st IEEE International Conference on Dependable - Systems and Networks* (DSN), June 2011. - [doi:10.1109/DSN.2011.5958223](http://dx.doi.org/10.1109/DSN.2011.5958223) +1. Flavio P. Junqueira, Benjamin C. Reed, and Marco Serafini: “[Zab: High-Performance Broadcast for Primary-Backup Systems](https://pdfs.semanticscholar.org/b02c/6b00bd5dbdbd951fddb00b906c82fa80f0b3.pdf),” at *41st IEEE International Conference on Dependable Systems and Networks* (DSN), June 2011. [doi:10.1109/DSN.2011.5958223](http://dx.doi.org/10.1109/DSN.2011.5958223) -1. Diego Ongaro and John K. Ousterhout: - “[In Search of an Understandable Consensus Algorithm (Extended Version)](http://ramcloud.stanford.edu/raft.pdf),” at *USENIX Annual Technical Conference* - (ATC), June 2014. +1. Diego Ongaro and John K. Ousterhout: “[In Search of an Understandable Consensus Algorithm (Extended Version)](http://ramcloud.stanford.edu/raft.pdf),” at *USENIX Annual Technical Conference* (ATC), June 2014. -1. Hagit Attiya, Amotz Bar-Noy, and Danny Dolev: - “[Sharing Memory Robustly in Message-Passing Systems](http://www.cse.huji.ac.il/course/2004/dist/p124-attiya.pdf),” *Journal of the ACM*, volume 42, number 1, pages 124–142, January 1995. - [doi:10.1145/200836.200869](http://dx.doi.org/10.1145/200836.200869) +1. Hagit Attiya, Amotz Bar-Noy, and Danny Dolev: “[Sharing Memory Robustly in Message-Passing Systems](http://www.cse.huji.ac.il/course/2004/dist/p124-attiya.pdf),” *Journal of the ACM*, volume 42, number 1, pages 124–142, January 1995. [doi:10.1145/200836.200869](http://dx.doi.org/10.1145/200836.200869) -1. Nancy Lynch and Alex Shvartsman: - “[Robust Emulation of Shared Memory Using Dynamic Quorum-Acknowledged Broadcasts](http://groups.csail.mit.edu/tds/papers/Lynch/FTCS97.pdf),” at *27th Annual International Symposium on - Fault-Tolerant Computing* (FTCS), June 1997. - [doi:10.1109/FTCS.1997.614100](http://dx.doi.org/10.1109/FTCS.1997.614100) +1. Nancy Lynch and Alex Shvartsman: “[Robust Emulation of Shared Memory Using Dynamic Quorum-Acknowledged Broadcasts](http://groups.csail.mit.edu/tds/papers/Lynch/FTCS97.pdf),” at *27th Annual International Symposium on Fault-Tolerant Computing* (FTCS), June 1997. [doi:10.1109/FTCS.1997.614100](http://dx.doi.org/10.1109/FTCS.1997.614100) -1. Christian Cachin, Rachid Guerraoui, and Luís Rodrigues: - *Introduction to Reliable and Secure Distributed - Programming*, 2nd edition. Springer, 2011. ISBN: 978-3-642-15259-7, - [doi:10.1007/978-3-642-15260-3](http://dx.doi.org/10.1007/978-3-642-15260-3) +1. Christian Cachin, Rachid Guerraoui, and Luís Rodrigues: [*Introduction to Reliable and Secure Distributed Programming*](http://www.distributedprogramming.net/), 2nd edition. Springer, 2011. ISBN: 978-3-642-15259-7, [doi:10.1007/978-3-642-15260-3](http://dx.doi.org/10.1007/978-3-642-15260-3) -1. Sam Elliott, Mark Allen, and Martin Kleppmann: - [personal communication](https://twitter.com/lenary/status/654761711933648896), - thread on *twitter.com*, October 15, 2015. +1. Sam Elliott, Mark Allen, and Martin Kleppmann: [personal communication](https://twitter.com/lenary/status/654761711933648896), thread on *twitter.com*, October 15, 2015. -1. Niklas Ekström, Mikhail Panchenko, and Jonathan Ellis: - “[Possible Issue with Read Repair?](http://mail-archives.apache.org/mod_mbox/cassandra-dev/201210.mbox/%3CFA480D1DC3964E2C8B0A14E0880094C9%40Robotech%3E),” email thread on *cassandra-dev* mailing list, October 2012. +1. Niklas Ekström, Mikhail Panchenko, and Jonathan Ellis: “[Possible Issue with Read Repair?](http://mail-archives.apache.org/mod_mbox/cassandra-dev/201210.mbox/%3CFA480D1DC3964E2C8B0A14E0880094C9%40Robotech%3E),” email thread on *cassandra-dev* mailing list, October 2012. -1. Maurice P. Herlihy: - “[Wait-Free Synchronization](https://cs.brown.edu/~mph/Herlihy91/p124-herlihy.pdf),” - *ACM Transactions on Programming Languages and Systems* (TOPLAS), volume 13, number 1, - pages 124–149, January 1991. - [doi:10.1145/114005.102808](http://dx.doi.org/10.1145/114005.102808) +1. Maurice P. Herlihy: “[Wait-Free Synchronization](https://cs.brown.edu/~mph/Herlihy91/p124-herlihy.pdf),” *ACM Transactions on Programming Languages and Systems* (TOPLAS), volume 13, number 1, pages 124–149, January 1991. [doi:10.1145/114005.102808](http://dx.doi.org/10.1145/114005.102808) -1. Armando Fox and Eric A. Brewer: - “[Harvest, Yield, and Scalable Tolerant Systems](http://radlab.cs.berkeley.edu/people/fox/static/pubs/pdf/c18.pdf),” at *7th Workshop on Hot Topics in Operating - Systems* (HotOS), March 1999. - [doi:10.1109/HOTOS.1999.798396](http://dx.doi.org/10.1109/HOTOS.1999.798396) +1. Armando Fox and Eric A. Brewer: “[Harvest, Yield, and Scalable Tolerant Systems](http://radlab.cs.berkeley.edu/people/fox/static/pubs/pdf/c18.pdf),” at *7th Workshop on Hot Topics in Operating Systems* (HotOS), March 1999. [doi:10.1109/HOTOS.1999.798396](http://dx.doi.org/10.1109/HOTOS.1999.798396) -1. Seth Gilbert and Nancy Lynch: - “[Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services](http://www.comp.nus.edu.sg/~gilbert/pubs/BrewersConjecture-SigAct.pdf),” - *ACM SIGACT News*, volume 33, number 2, pages 51–59, June 2002. - [doi:10.1145/564585.564601](http://dx.doi.org/10.1145/564585.564601) +1. Seth Gilbert and Nancy Lynch: “[Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services](http://www.comp.nus.edu.sg/~gilbert/pubs/BrewersConjecture-SigAct.pdf),” *ACM SIGACT News*, volume 33, number 2, pages 51–59, June 2002. [doi:10.1145/564585.564601](http://dx.doi.org/10.1145/564585.564601) -1. Seth Gilbert and Nancy Lynch: - “[Perspectives on the CAP Theorem](http://groups.csail.mit.edu/tds/papers/Gilbert/Brewer2.pdf),” *IEEE Computer Magazine*, volume 45, number 2, pages 30–36, February 2012. - [doi:10.1109/MC.2011.389](http://dx.doi.org/10.1109/MC.2011.389) +1. Seth Gilbert and Nancy Lynch: “[Perspectives on the CAP Theorem](http://groups.csail.mit.edu/tds/papers/Gilbert/Brewer2.pdf),” *IEEE Computer Magazine*, volume 45, number 2, pages 30–36, February 2012. [doi:10.1109/MC.2011.389](http://dx.doi.org/10.1109/MC.2011.389) -1. Eric A. Brewer: - “[CAP Twelve Years Later: How the 'Rules' Have Changed](http://cs609.cs.ua.edu/CAP12.pdf),” *IEEE Computer Magazine*, volume 45, number 2, pages 23–29, February 2012. - [doi:10.1109/MC.2012.37](http://dx.doi.org/10.1109/MC.2012.37) +1. Eric A. Brewer: “[CAP Twelve Years Later: How the 'Rules' Have Changed](http://cs609.cs.ua.edu/CAP12.pdf),” *IEEE Computer Magazine*, volume 45, number 2, pages 23–29, February 2012. [doi:10.1109/MC.2012.37](http://dx.doi.org/10.1109/MC.2012.37) 1. Susan B. Davidson, Hector Garcia-Molina, and Dale Skeen: “[Consistency in Partitioned Networks](http://delab.csd.auth.gr/~dimitris/courses/mpc_fall05/papers/invalidation/acm_csur85_partitioned_network_consistency.pdf),” *ACM Computing Surveys*, volume 17, number 3, pages 341–370, September 1985.