From b68f9ed1785d864b5c99ab09258a026aba7082fe Mon Sep 17 00:00:00 2001 From: yanglbme Date: Thu, 29 Nov 2018 17:07:45 +0800 Subject: [PATCH] docs(distributed-lock): add distributed-lock-redis-vs-zookeeper.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Redis 和 Zookeeper 两种分布式锁的实现方式与优劣比较 --- README.md | 4 +- docs/distributed-system/Solution.java | 0 .../distributed-lock-redis-vs-zookeeper.md | 343 ++++++++++++++++++ img/redis-redlock.png | Bin 0 -> 9056 bytes 4 files changed, 344 insertions(+), 3 deletions(-) create mode 100644 docs/distributed-system/Solution.java create mode 100644 docs/distributed-system/distributed-lock-redis-vs-zookeeper.md create mode 100644 img/redis-redlock.png diff --git a/README.md b/README.md index e697b65..8f6640e 100644 --- a/README.md +++ b/README.md @@ -24,9 +24,7 @@ ### 分布式锁 - [Zookeeper 都有哪些应用场景？](/docs/distributed-system/zookeeper-application-scenarios.md) -- 使用 Redis 如何设计分布式锁？ -- 使用 zk 来设计分布式锁可以吗？ -- 以上两种分布式锁的实现方式哪种效率比较高？ +- [使用 Redis 如何设计分布式锁？使用 Zookeeper 来设计分布式锁可以吗？以上两种分布式锁的实现方式哪种效率比较高？](/docs/distributed-system/distributed-lock-redis-vs-zookeeper.md) ### 分布式事务 - 分布式事务了解吗？ diff --git a/docs/distributed-system/Solution.java b/docs/distributed-system/Solution.java new file mode 100644 index 0000000..e69de29 diff --git a/docs/distributed-system/distributed-lock-redis-vs-zookeeper.md b/docs/distributed-system/distributed-lock-redis-vs-zookeeper.md new file mode 100644 index 0000000..495ac97 --- /dev/null +++ b/docs/distributed-system/distributed-lock-redis-vs-zookeeper.md @@ -0,0 +1,343 @@ +## 面试题 +一般实现分布式锁都有哪些方式？使用 redis 如何设计分布式锁？使用 zk 来设计分布式锁可以吗？这两种分布式锁的实现方式哪种效率比较高？ + +## 面试官心理分析 +其实一般问问题，都是这么问的，先问问你 zk，然后其实是要过度到 zk 关联的一些问题里去，比如分布式锁。因为在分布式系统开发中，分布式锁的使用场景还是很常见的。 + +## 面试题剖析 +### redis 分布式锁 + +官方叫做 `RedLock` 算法，是 redis 官方支持的分布式锁算法。 + +这个分布式锁有 3 个重要的考量点： + +- 互斥（只能有一个客户端获取锁） +- 不能死锁 +- 容错（只要大部分 redis 节点创建了这把锁就可以） + +#### redis 最普通的分布式锁 + +第一个最普通的实现方式，就是在 redis 里创建一个 key，这样就算加锁。 + +```r +SET my:lock 随机值 NX PX 30000 +``` + +执行这个命令就 ok。 + +- `NX`：表示只有 `key` 不存在的时候才会设置成功。（如果此时 redis 中存在这个 key，那么设置失败，返回 `nil`） +- `PX 30000`：意思是 30s 后锁自动释放。别人创建的时候如果发现已经有了就不能加锁了。 + +释放锁就是删除 key ，但是一般可以用 `lua` 脚本删除，判断 value 一样才删除： + +```lua +-- 删除锁的时候，找到 key 对应的 value，跟自己传过去的 value 做比较，如果是一样的才删除。 +if redis.call("get",KEYS[1]) == ARGV[1] then + return redis.call("del",KEYS[1]) +else + return 0 +end +``` + +为啥要用随机值呢？因为如果某个客户端获取到了锁，但是阻塞了很长时间才执行完，比如说超过了 30s，此时可能已经自动释放锁了，此时可能别的客户端已经获取到了这个锁，要是你这个时候直接删除 key 的话会有问题，所以得用随机值加上面的 `lua` 脚本来释放锁。 + +但是这样是肯定不行的。因为如果是普通的 redis 单实例，那就是单点故障。或者是 redis 普通主从，那 redis 主从异步复制，如果主节点挂了（key 就没有了），key 还没同步到从节点，此时从节点切换为主节点，别人就可以 set key，从而拿到锁。 + +#### RedLock 算法 +这个场景是假设有一个 redis cluster，有 5 个 redis master 实例。然后执行如下步骤获取一把锁： + +1. 获取当前时间戳，单位是毫秒； +2. 跟上面类似，轮流尝试在每个 master 节点上创建锁，过期时间较短，一般就几十毫秒； +3. 尝试在**大多数节点**上建立一个锁，比如 5 个节点就要求是 3 个节点 `n / 2 + 1`； +4. 客户端计算建立好锁的时间，如果建立锁的时间小于超时时间，就算建立成功了； +5. 要是锁建立失败了，那么就依次之前建立过的锁删除； +6. 只要别人建立了一把分布式锁，你就得**不断轮询去尝试获取锁**。 + +![redis-redlock](/img/redis-redlock.png) + +### zk 分布式锁 + +zk 分布式锁，其实可以做的比较简单，就是某个节点尝试创建临时 znode，此时创建成功了就获取了这个锁；这个时候别的客户端来创建锁会失败，只能**注册个监听器**监听这个锁。释放锁就是删除这个 znode，一旦释放掉就会通知客户端，然后有一个等待着的客户端就可以再次重新加锁。 + +```java +/** + * ZooKeeperSession + * + * @author bingo + * @since 2018/11/29 + * + */ +public class ZooKeeperSession { + + private static CountDownLatch connectedSemaphore = new CountDownLatch(1); + + private ZooKeeper zookeeper; + private CountDownLatch latch; + + public ZooKeeperSession() { + try { + this.zookeeper = new ZooKeeper("192.168.31.187:2181,192.168.31.19:2181,192.168.31.227:2181", 50000, new ZooKeeperWatcher()); + try { + connectedSemaphore.await(); + } catch (InterruptedException e) { + e.printStackTrace(); + } + + System.out.println("ZooKeeper session established......"); + } catch (Exception e) { + e.printStackTrace(); + } + } + + /** + * 获取分布式锁 + * + * @param productId + */ + public Boolean acquireDistributedLock(Long productId) { + String path = "/product-lock-" + productId; + + try { + zookeeper.create(path, "".getBytes(), Ids.OPEN_ACL_UNSAFE, CreateMode.EPHEMERAL); + return true; + } catch (Exception e) { + while (true) { + try { + // 相当于是给node注册一个监听器，去看看这个监听器是否存在 + Stat stat = zk.exists(path, true); + + if (stat != null) { + this.latch = new CountDownLatch(1); + this.latch.await(waitTime, TimeUnit.MILLISECONDS); + this.latch = null; + } + zookeeper.create(path, "".getBytes(), Ids.OPEN_ACL_UNSAFE, CreateMode.EPHEMERAL); + return true; + } catch (Exception ee) { + continue; + } + } + + } + return true; + } + + /** + * 释放掉一个分布式锁 + * + * @param productId + */ + public void releaseDistributedLock(Long productId) { + String path = "/product-lock-" + productId; + try { + zookeeper.delete(path, -1); + System.out.println("release the lock for product[id=" + productId + "]......"); + } catch (Exception e) { + e.printStackTrace(); + } + } + + /** + * 建立zk session的watcher + * + * @author bingo + * @since 2018/11/29 + * + */ + private class ZooKeeperWatcher implements Watcher { + + public void process(WatchedEvent event) { + System.out.println("Receive watched event: " + event.getState()); + + if (KeeperState.SyncConnected == event.getState()) { + connectedSemaphore.countDown(); + } + + if (this.latch != null) { + this.latch.countDown(); + } + } + + } + + /** + * 封装单例的静态内部类 + * + * @author bingo + * @since 2018/11/29 + * + */ + private static class Singleton { + + private static ZooKeeperSession instance; + + static { + instance = new ZooKeeperSession(); + } + + public static ZooKeeperSession getInstance() { + return instance; + } + + } + + /** + * 获取单例 + * + * @return + */ + public static ZooKeeperSession getInstance() { + return Singleton.getInstance(); + } + + /** + * 初始化单例的便捷方法 + */ + public static void init() { + getInstance(); + } + +} +``` + + +也可以采用另一种方式，创建临时顺序节点： + +如果有一把锁，被多个人给竞争，此时多个人会排队，第一个拿到锁的人会执行，然后释放锁；后面的每个人都会去监听**排在自己前面**的那个人创建的 node 上，一旦某个人释放了锁，排在自己后面的人就会被 zookeeper 给通知，一旦被通知了之后，就 ok 了，自己就获取到了锁，就可以执行代码了。 +```java +public class ZooKeeperDistributedLock implements Watcher { + + private ZooKeeper zk; + private String locksRoot = "/locks"; + private String productId; + private String waitNode; + private String lockNode; + private CountDownLatch latch; + private CountDownLatch connectedLatch = new CountDownLatch(1); + private int sessionTimeout = 30000; + + public ZooKeeperDistributedLock(String productId) { + this.productId = productId; + try { + String address = "192.168.31.187:2181,192.168.31.19:2181,192.168.31.227:2181"; + zk = new ZooKeeper(address, sessionTimeout, this); + connectedLatch.await(); + } catch (IOException e) { + throw new LockException(e); + } catch (KeeperException e) { + throw new LockException(e); + } catch (InterruptedException e) { + throw new LockException(e); + } + } + + public void process(WatchedEvent event) { + if (event.getState() == KeeperState.SyncConnected) { + connectedLatch.countDown(); + return; + } + + if (this.latch != null) { + this.latch.countDown(); + } + } + + public void acquireDistributedLock() { + try { + if (this.tryLock()) { + return; + } else { + waitForLock(waitNode, sessionTimeout); + } + } catch (KeeperException e) { + throw new LockException(e); + } catch (InterruptedException e) { + throw new LockException(e); + } + } + + public boolean tryLock() { + try { + // 传入进去的locksRoot + “/” + productId + // 假设productId代表了一个商品id，比如说1 + // locksRoot = locks + // /locks/10000000000，/locks/10000000001，/locks/10000000002 + lockNode = zk.create(locksRoot + "/" + productId, new byte[0], ZooDefs.Ids.OPEN_ACL_UNSAFE, CreateMode.EPHEMERAL_SEQUENTIAL); + + // 看看刚创建的节点是不是最小的节点 + // locks：10000000000，10000000001，10000000002 + List locks = zk.getChildren(locksRoot, false); + Collections.sort(locks); + + if(lockNode.equals(locksRoot+"/"+ locks.get(0))){ + //如果是最小的节点,则表示取得锁 + return true; + } + + //如果不是最小的节点，找到比自己小1的节点 + int previousLockIndex = -1; + for(int i = 0; i < locks.size(); i++) { + if(lockNode.equals(locksRoot + “/” + locks.get(i))) { + previousLockIndex = i - 1; + break; + } + } + + this.waitNode = locks.get(previousLockIndex); + } catch (KeeperException e) { + throw new LockException(e); + } catch (InterruptedException e) { + throw new LockException(e); + } + return false; + } + + private boolean waitForLock(String waitNode, long waitTime) throws InterruptedException, KeeperException { + Stat stat = zk.exists(locksRoot + "/" + waitNode, true); + if (stat != null) { + this.latch = new CountDownLatch(1); + this.latch.await(waitTime, TimeUnit.MILLISECONDS); + this.latch = null; + } + return true; + } + + public void unlock() { + try { + // 删除/locks/10000000000节点 + // 删除/locks/10000000001节点 + System.out.println("unlock " + lockNode); + zk.delete(lockNode, -1); + lockNode = null; + zk.close(); + } catch (InterruptedException e) { + e.printStackTrace(); + } catch (KeeperException e) { + e.printStackTrace(); + } + } + + public class LockException extends RuntimeException { + private static final long serialVersionUID = 1L; + + public LockException(String e) { + super(e); + } + + public LockException(Exception e) { + super(e); + } + } +} +``` + +### redis 分布式锁和 zk 分布式锁的对比 + +- redis 分布式锁，其实**需要自己不断去尝试获取锁**，比较消耗性能。 +- zk 分布式锁，获取不到锁，注册个监听器即可，不需要不断主动尝试获取锁，性能开销较小。 + +另外一点就是，如果是 redis 获取锁的那个客户端 出现 bug 挂了，那么只能等待超时时间之后才能释放锁；而 zk 的话，因为创建的是临时 znode，只要客户端挂了，znode 就没了，此时就自动释放锁。 + +redis 分布式锁大家没发现好麻烦吗？遍历上锁，计算时间等等......zk 的分布式锁语义清晰实现简单。 + +所以先不分析太多的东西，就说这两点，我个人实践认为 zk 的分布式锁比 redis 的分布式锁牢靠、而且模型简单易用。 diff --git a/img/redis-redlock.png b/img/redis-redlock.png new file mode 100644 index 0000000000000000000000000000000000000000..fee93168059f5255b449a2aa6a168e44aa753790 GIT binary patch literal 9056 zcmd5?c{tQ<+a4`cN>3>Yk!8qI9wMQkD4NOE*!P4A*|RjZB-ytyh%Cj(ItCd#^OUkx z#yX?1g{))AGA8?X&+{%l@Atj`eaH75uj6oF{C>Z=@9Vnm^E%J-ng~4|%_E0+4nZK0 zBk-Hokr2opCRKurLkp99sD@xcGJ`o0%7N5ezQQ*(oaDkXCd(G*9?5q=Z79Y z>h0U!U7}=MeNrmS^HhqQ{XoAU)#li>1IP6CoeU-Ca;>ATWKT@pj_cdACK=vu^s%Ax z2F|0H{k&0pX|MECsKkl1gW=i5T*2|rOv(+;KKnd4BG4B7^{U9HDV=5i^rmC?M6(`~ z>K8t8zeRx6{0DyJefEVtaY7=IWL{fV6pXFW2DjbP9K);W3k%~miCb{!peyLw&;}FQVeTah)h})jreGtgyVB{VM zB>n3D^W|o~Fo=%MWj^v~Q<$NF0X92Z=p+}{?6-FzO53YF@((&+O;1?)&C6T5e>^$c zoqKDwg1EcAxWORq;*=Mvo1(h9_LcD;lQbzR3q_8-dir#ac7~FnW-MPE<=8c4Yf1>WOBOvgN z8-+WJpk3p=tcT-8&Rll8YHx2pJKW&6I<>PkrAnK8>1yQfU#}6v1BFXSO6p(cWB&O@ z`z2SyT*y(C{96}lL^h^YS0B-*yVPf9W*$lzyhB|tzJtqdTiVp-c zQ+s6^__jU z<5V{COX?Psl9H1PvDoWJRerv5shQxi^y)J-E4v$Nc@YCSI#g{T_xe(62e z|9aw6N|9xq_aW90vl@@wd!$TUb@gSCT*u|_ZD8+39+r|u#hr{s2J8s`6%!CJJroLM zJ7RG;mL6{M&Me0HO2Bx2SB|FBw?Bes2W#G{y^i16pb#abrFDrvKT7vD2KWVloz4!` zRbiL8Jp$Ig-UpjWS(_ioOR+-1KYsj}ChwHY|M>f{49^b5a&n>e%S%f06+NrXysi(r zvG6V$LRXj4UuFx1+qT5^>FdIB>lPc$&zqHA(fj8TkYo86%n7KN7_EUZ+{3&E6e=x7 zVYsu@rir-(*w&Axje(IJQTXz@zgeSyO$l)awY{3B+7}nNDhvZf>^Rccz>k_1wDf3$ zB5vL4`N(ZuoSx42B}>&hG&B^A1u=3MsC2H~TK)uuJ2*HLfH2?S1mbq@10i3>kj z+}E#>;n`c^&{N^qCjk`^$+sp3npHeV81@}Maz@491PX;Jp;q%V{g>hP_wUm>loxwJ zAP9Hf?EyR1233@H$vN%#@#BxWZg4xyQwd<9Jip(0va_5*oKDnLxgExFMg)EFqU$bAeej{aJv`mk<#-CDmhxa&vPF)WbMtJ70%TE1ioXIK>>l zq{&Cd#TiF&oyTNl;WrnF*8BJGZ*OhYBW1#p5)xixu_7N^S|k+|j5CzH&?I9zOBwrx z>Z|Azhe9jvemulHUpy-QzN=ebUMe_EeomD*cTR7rBZHUj-K1Tt`QZ@R@nH_;vSWX# zjoI6KF*`q7RA(nrtYckbpFP{Ry~7|HTUllD`+j3-SZmj{5rg^F6w%mJ=SY^;#P@W{cK3U#lDHjMVwyVW`yyIbR0i z(>9y${(215h*G!&`qFi^!>l1zaeKr!0ys@gO}}{H%K3-72mjWeju$y4QT~Hl&y%7( z!A~f{klTM&nZ)cM6AE+m9grHD+tjxW9iYG+O;SFVPuL5yI^%L#% z6MdWLbyt7?ElC;~r#wxUvdY2qa@u}A}|a%FRSyu7?TnY?22$)J&uX3?d# zatCJ!hr`pbWmcpy`5iH{AR)$tdZrFbI<}SA!L#moA6`g7-o>41%E5%&T!gkwt;{c@ ze&g0d%$gb*k)`nWA$+Ux?YqmkMNN2x`*<@$q``QkWj{~I$YKgMl}x?2+Z*$N-I4|J zMEL(IDE|wB)l6f#dz%=zjjDLiHD=tWlZjj!d7PvxB`Nvx?cPayaE ziTxq(Y@1*B=(r{L>@39vVdSY-pV$@?#QcALJ=G&6kjdK5+oCC65W-2Y%py@9zPxZ2 z&fGOJX;@qD3-Rf@Z<)>MY;ODg#($oJdg&P$tY%`z%sM14NJ&}r^{+rm6s_E=$Vh5e zahZZ6^EnyHKKumo1>8jOD)U$8)nG`=Gqu-dyH8;eQ@z2WF%7qs5%4o-?z70#ZtTDQ zkXqpohSe?1s8^JfbjsrfPrT#W8;eA0HoqX=QnHxAHi6YQq_Mf_C8380ccBLi-Vf(L z2mgO}=SL~_WP&QMZL)DX>s5K{RZCE;bGu{vMb7+!MZd(eu`X zYS7kFOV(p~_HW16G_)~j)NcX;M5*P?XV0G5i`7bX9ySeF>7u$CZ=Htt<**{)FcV^6 zKp8d{-L1MYowJLA9sTx7Q>5+GN;oA15^Ll7YG-|Wr!DyEw|n?02%r5{;I0I`nf7NE zB}R2F!_}W3cCbbwyRDID`8cwiqt`RB!)PVAqf<1zl#G~I{GcdOpx2#3rUq^LH%g1_ zH?MNZXcHEvPYuW>VD#K?%R1Zbj`49oQ#_}10)CE$G5JU3!-8d((xW1< zq@*N*N&OykAN51Qk()`3_0*Sk_a8Hr_BH}VKw<%VBxRUy11XNV?(sa_) z#Dq8uX6Z`Yu3TPT77}BFZUZVzvy>0s?|rEC!x_6#ep&auigNMy%n?8vqIhj5;k8=m zjkWor0hc=MrsqczNtEhE3`bZK;8&gXk5?*yx@m1&G;_)`@c-!b_NwT@S$0Nz1aIqW z8~GOG82i3GRku)|%?2us@m6U{UWMJ=-8=!;3_%hID7qsI1eW^teq6Lnn8=X8Vb?9F0#8D+3<5LDor)0 z@%?D2$a$Bqjszu;ru;}|1Eb02E?v>5FJ>>Y$L(KQTH=v+#I(1!Gg}B*C2MhGVW^Inm6(_~ zPk)#fsWo_wYeA4xAwEPQ?U6Vr92R&Hl#nHBAGuIH&T*R4k7RP%R?h9))zh|^)YPwt zZaP@rZVI@4oc?g+WNLMY)S$Yk%UQNXxvxmsJAXWJK@X?&dbMN3Yv(Hm>iG*g03(T( z0itQC`9)a+ijIOQD{sbAJTs(zZD80Dor~4YQo(@?q})RAE4ZXD0D1D_VGRMSh)N71 z0vR|gc;e6z6`*&lK9NXAAHyhBzhe2VLDUq{p+qYlLDVihWxvol9;aHubsmUuWP?oe zgVuOKGh$%F^2&-I;XzlnwvJ8*0zb8J=~r3QQ{*J>K!dN|i6?l2+&O(!mAos zzZFOa~`-fG zZUDkVc_q?O)?JLV+)XU%fULVPr-z$xSh(oQO*r5&2JpPR++6vWH=s#D>J#C|ghggn zLAbGZ(4Dk=mN7)vDIP+`ESmr$;=eqCwXQ1mJtED|f$8 z{|Md-g*U&Di_;WLJj4Nlbds-C=&6>3Z~8$+1GfjRAN<8-5|m|tFY}2-_-Mv?)AH*; zDlT);#hVLty4=?OWk6Hq(PZW~Fz6lP_2n0tX7V^ntVM6DeI$|Hh3Q zX61GflcX%X7meJ98U)FlS!xlWq$_$dwS3HJ{h+vHuf<`@p<1s*tjkG;c8+jjVg2W4 zQiXSe;^F%g4JO_XhlkG~k8^}2LT7+Og=g66rpdvOE!1K(W}p!S7Kx|YHDf_H*e~Bcz85? zc^Dlr%$>0LrYr$&XmwAG%dkwfRpcpOp@)s@^$)8ISzg->1QKu6FuUCk#9;W23Q+Q7 zvmv*pBk~t~=K5tOCMF6t_<*xeM6U)?8U-39{qsfAG=XB(vpUn0ghnG>JvHzBSohEL zmlI6w{cb2~cbjuFL`%dYKZfEbEcE791Yym>HX5}yXS&#OY4T-WU+tqAA-GxPL(}hq zB@#kW)1W}QMl`w1ok4nYfWDpmdOxdgn=yhf=ZI@*Z);z%`XeS6=DiMpVQfd8SNYf3T9-OToEIJ2r8tLGfcsxCSb*w8+*E$(kG zh&56jDMNQ!N9&eWajIS?5A0hrbMlk2ZnOX?u!`#uUVct>uj4gQ z`Nv5IO?yA=xW#d&#;a>vEyjeu2*iFc8_+?&&1#+sjf`VY#!{`%_x;g|6~)U6My2%& zEG&W3n%_oiICiWj_xed6es&sf(gHi4i!0S&+y*4_$Yv9a-(HQQ?{cYv$j3mYfvkPK zI0cP|&a@^7TaiYi5sZ%%v0970LWz!7n6+&aRNayTvcto+_8fak8rpn{%Sb+9@n*ax zdz6;rvIJ*&e#G`DzqG7iSX%us?=cxmL@`0C*sE}@AN;< zhtSL`gPm=b5)j9@lA1{#U{qe3r5n{sAL5}$O2+6pbKI9}(rV4-S!-F6fBToWCR5KK zABUHSOGqr+l{EM}yy6_fuNZ!A1zlD;CaK|J_~~dAEUTw*-;m|_a43S3fM%* zPs!)?9UTjSQP?&;!Er_jYrQ>dyzwpMCZW)J4&aiz`#46cLiS^Erm0W9h~X>9Qtpcc~~X8viPV)+JSMB>CDIGTy= zZ%HcV0P~RG8`Rwg zc##pV(4z*PC|Ur3vt|1bZM=-Eu^81F(9_?Fm5{zD7**IWV0Zi)hha^rf{>Z-;|Z^m zhgqwDavDrePj}g5EE+QwhKM~RpV?k`w}JqEfZ${dM}o(SBn7b`EiBTRu)%Cfz-Elf z1mrsD#fyAk;+l}ItVA>C7us1Wmg3^#Ee(y}SeiO{H62mty}Sray{-|)bl14@P;B`2 zCWC2_qCJ3|t<+b#dFJ1tF+dnQ9HA&iMu9ct-C}*IPBSnt<$`wn&s$XMG4Tud_;~>H z6;L}bWNeu(BW!c-ZSC&PCc$H(eVku%`Fu39460m)V*P6LwfdOS5m2JdqM=j=JyE=g5u3tjRmD<5e1JGC%M*J_LtaNl@L8lk_ z6S)h3w3s$V`b>9TLj$u~6rkuW^l?tk3C5SL65=NgIc%=YQ%h~s8$R<{S2{rFy%u+t&_=zB$4@!Ln+bPBC;bD;+d zPkglWkz13*9;%iG^Q(M*_;mJucCH5<>55%%sC7QBmVWbuT3Sh+oXz`Z)1)gv8Uxom z?Xr6|^GegV_ik|8TJkA+Tn7(Nz?PDx%x_QaC9|Xgmcvsf%25=&sq9_Lk ziTeb)h9z+KolBC>o8Q|GB+@sxZ#8tN3voIPwLOy>Yy)Ivu=N?=VC(Dh7eQF;dr33^ zhXp!crfF@3Kg`t0ddU|9Xyt$7m-(W%5j&eByKio7ID*n)de)S2xmv&oH8Z)l3o9ym zBZhALThgfPvv9=`mmvw4uK)3rc@Ls$eF?O7xdm=fKDN~A#Dk{Qi8uD8Rs)o*PEfbk z&c@tCIylU%pqGIX#5oUK33%z1104L9!$G?N@OEiQNxxy*V+rB^!5tsS=GuXhvF5eq zPr{02`l^9*O-tahxXc$D*b*!=*#*e6z_Kq^;@=QqE%5{}(#sx!Z%CawJPV{eV7IJQ zzDsw(Sgh^T+uX5A<-f=RWu5u)5k9U1`&dn#D8RcX*VD=7lRy*vKw(+kzx~0Y{o?m` z{3`zaK+C^NO--e*h$|g=@)ub#R?q*capL=TJ25DfpbCai@o}m#K1a|B&>y#g?C*qe#byM%DZIOI5(`~P9VPRnw7#N5LBq8_Bo6KdOJ=M)- zMWDOTa^h6bgtZ({>n~SUR@ALXbmw2X-4_o}MsICx=`9X7q?kIn_JaWtn{71HWVY># z0zCA#YvcNxXqm4dQT30;n`1s&ksitZ>;1>!z{5}hPG5yacMJgBMscYUU;y42Hr^p% zKLK5AJKGcZms^V3lEEzi{on`$YUGrs<-L3Nm;;W2pxqrAh8su|85kjW)$JKw+2#|x zwi+Px+n;DPI{W`BMrV*haA2Qo0?Az2J+)$4#Z!g zizw{+ek(!*!103W%IAyRrcRm*!wq#bFb~4BOV{gxfdm~@!Pzq# z-VTB6Wo3RAfLVTTbTSH=SwgEE4OL5Vp;pXr;-?Ca{*rM#)^E>2(G_4jyQ{N(G!mIA zaDs~~v+6;Y5YU2J+*ZD?JzX~?&Y$lS*!jWs1@La>SgoSk{!{WefKsOT*Zs@Wj32_T z8L9dM?HY+~!4aJO=(D*6`g!1fZI!Gl0XN=%Po0i#_Fjpx8{&10Tsoj}SdPxIeT4ffBTlp&mE>aUn@(XDGkhlljZOITxPQ1&hI~C@A_Wr6aM8f(4&z^Z7>)PI&~;C&?S030^1{$R|O2W zsSKaYz#kz3`S(egN+8dD4Sqge0P_JqFakmd3J2pzFv7eIMqX=+Blx+whx0>q##sSt zsg*86g52TaKiDEkhXx-;tb^P%l$Q*;Nq z_cn4M(i;6Jf6O=mJ4B`q0dI%hR%;Sy3E8TLUzZ7N;|lO!b@Ko4kr5s0F53-p*MWe; TmzbZWfxvI*TrW|(^Yp&}k~;Pf literal 0 HcmV?d00001