From 0d526676e90d00a4bedbc01dc0d3c559b917bc08 Mon Sep 17 00:00:00 2001 From: 2293736867 <2293736867@qq.com> Date: Tue, 27 Apr 2021 12:18:02 +0800 Subject: [PATCH] JVM Chapter4 --- JVM/Chapter4/README.md | 191 +++++++++++++++++++++++++++++++++++++++++ JVM/Chapter4/pic.odg | Bin 0 -> 15365 bytes JVM/README.md | 1 + 3 files changed, 192 insertions(+) create mode 100644 JVM/Chapter4/README.md create mode 100644 JVM/Chapter4/pic.odg diff --git a/JVM/Chapter4/README.md b/JVM/Chapter4/README.md new file mode 100644 index 0000000..f7012c4 --- /dev/null +++ b/JVM/Chapter4/README.md @@ -0,0 +1,191 @@ +# Table of Contents + +* [1 来源](#1-来源) +* [2 `GC`算法](#2-gc算法) + * [2.1 引用计数法](#21-引用计数法) + * [2.2 标记清除法](#22-标记清除法) + * [2.3 复制算法](#23-复制算法) + * [2.4 标记压缩法](#24-标记压缩法) + * [2.5 分代算法](#25-分代算法) + * [2.6 分区算法](#26-分区算法) +* [3 四种引用](#3-四种引用) + * [3.1 强引用](#31-强引用) + * [3.2 软引用](#32-软引用) + * [3.3 弱引用](#33-弱引用) + * [3.4 虚引用](#34-虚引用) + + +# 1 来源 +- 来源：《Java虚拟机 JVM故障诊断与性能优化》——葛一鸣 +- 章节：第四章 + +本文是第四章的一些笔记整理。 + +# 2 `GC`算法 +常见的`GC`算法包括： + +- 引用计数法 +- 标记清除法 +- 复制算法 +- 标记压缩法 +- 分代算法 +- 分区算法 + +## 2.1 引用计数法 +实现原理： + +- 对于一个对象A +- 只要有任何一个对象引用A，A的引用计数器就加1 +- 引用失效时，引用计数器就减1 +- 只要对象A的引用计数器的值为0，对象A就不会再被使用，等待被回收 + +缺点： + +- 无法处理循环引用，比如A引用B，B引用A，但是并没有其他对象引用两者，此时A和B的引用计数都不为0，这样就无法被回收 +- 引用计数器要求每次引用产生和消除的时候，伴随一个加法操作和一个减法操作，对系统性能会有一定的影响 + +由于引用计数法上述的缺点，`Java`中并未采用作为`GC`算法。 + +## 2.2 标记清除法 +标记清除法将垃圾回收分为两个阶段： + +- 标记阶段：通过根节点标记所有从根节点开始的可达对象，未被标记的就是垃圾对象 +- 清除阶段：清除所有未被标记的对象 + +标记阶段： + +![在这里插入图片描述](https://img-blog.csdnimg.cn/20210426201921525.png) + +清除后： + +![在这里插入图片描述](https://img-blog.csdnimg.cn/20210426173623187.png) + +缺点很明显，就是回收后的空间是不连续的，工作效率会低于连续的内存空间。 + +## 2.3 复制算法 +核心思想： + +- 内存空间分为相等的两块 +- 每次只使用其中一块 +- 回收的时候将存活对象移到另一块中，然后清除正在使用的内存块中所有对象 +- 交换两个内存块的角色 + +优点是回收后的内存空间是没有碎片的，而缺点是如果存在大量的对象，需要花费大量的时间复制，并且内存只有原来的一半。 + +比如下图中的A、B两块相同的内存空间，A在垃圾回收的时候，将存活对象复制到B中，B在复制后保持连续： + +![在这里插入图片描述](https://img-blog.csdnimg.cn/20210426204108976.png) + +复制完成后，A会被清空，并将B设置为当前使用的空间。 + +在`Java`的新生代串行垃圾回收器中，使用了复制算法，新生代分为`eden`区、`from`区以及`to`区。其中`from`和`to`区是两块内存相同的空间，也叫`survivor`区，也就是幸存者空间。在垃圾回收的时候，`eden`区以及`from`区存活的对象会被复制到`to`区，然后清空`from`区与`eden`区，接着`from`和`to`区的角色将会交换，也就是下一次垃圾回收的时候，会从原来的`to`区（新的`from`区）复制到原来的`from`区（新的`to`区）。 + +## 2.4 标记压缩法 +标记压缩法是一种老年代算法，在标记清除法的基础上做了一些优化，和标记清除法一样，首先也需要从根节点开始，对所有可达对象做一次标记，然后将所有存活对象压缩到内存的一端，接着清理边界外的所有空间，图示如下： + +![在这里插入图片描述](https://img-blog.csdnimg.cn/20210426205832537.png) + +标记压缩法的优点是可以避免碎片的产生，又不需要两块相同的内存空间。 + +## 2.5 分代算法 +分代算法并不是一种具体的垃圾回收算法，分代算法其实是一种根据每块内存空间的特点使用不同回收算法以提高效率的算法。比如： + +- 在新生代中：会有大量的新建对象很快被回收，因此新生代比较适合使用复制算法 +- 在老年代中：采用标记压缩法或标记清除法 + +## 2.6 分区算法 +分区算法将整个堆空间划分成连续的不同小区间，每个小区间都独立使用，独立回收，如图所示： + +![在这里插入图片描述](https://img-blog.csdnimg.cn/20210426210811452.png) + +# 3 四种引用 +`Java`里面提供了4个级别的引用： + +- 强引用 +- 软引用 +- 弱引用 +- 虚引用 + +下面分别来看一下。 + +## 3.1 强引用 +强引用就是代码中一般使用的引用类型，强引用的对象是可触及的，不会被回收，比如： +```java +StringBuffer str = new StringBuffer("a"); +``` +如果上面的代码运行在方法体内，那么局部变量`str`会被分配在栈上，而对象`StringBuffer`实例会被分配在堆上，`str`指向的是`StringBuffer`实例所在的堆空间，通过`str`可以操作该实例，`str`就是`StringBuffer`实例的强引用。 + +又比如执行了以下代码： +```java +StringBuffer str1 = str; +``` +那么`str1`也会指向`str`指向的对象，也就是它们都指向同一个`StringBuffer`实例，此时`str1==str`的值为真，因为两个指向的是同一个堆空间地址。 + +强引用的特点如下： + +- 可以直接访问目标对象 +- 强引用指向的对象不会被系统回收，`JVM`宁愿抛出`OOM`也不会回收强引用指向的对象 +- 强引用可能会导致内存泄漏 + +## 3.2 软引用 +软引用是被强引用弱一点的引用类型，如果一个对象只持有软引用，那么当堆空间不足的时候，就会被回收，软引用可以使用`SoftReference`类实现，比如下面的代码： + +```java +public static void main(String[] args){ + Byte[] b = new Byte[1024*1024*8]; + SoftReference softReference = new SoftReference<>(b); + b = null; + System.out.println(softReference.get()); + System.gc(); + System.out.println("After GC"); + System.out.println(softReference.get()); + b = new Byte[1024*1024*8]; + System.gc(); + System.out.println(softReference.get()); +} +``` +在`OpenJDK 11.0.10`上，加上`-Xmx40m`的输出如下： +```bash +[Ljava.lang.Byte;@1fbc7afb +After GC +[Ljava.lang.Byte;@1fbc7afb +null +``` +可以看到，当垃圾回收的时候，未必会回收软引用对象，但当内存紧张时，会回收软引用对象。 + +## 3.3 弱引用 +弱引用是比软引用弱的引用类型，在垃圾回收的时候，只要发现弱引用，不管系统空间使用情况如何，都会将对象进行回收。但是由于垃圾回收器的线程通常优先级不高，并不一定能很快发现弱引用对象，这种情况下弱引用对象可以存在较长时间。弱引用例子如下： +```java +public static void main(String[] args){ + Byte[] b = new Byte[1024*1024*8]; + WeakReference softReference = new WeakReference<>(b); + b = null; + System.out.println(softReference.get()); + System.gc(); + System.out.println("After GC"); + System.out.println(softReference.get()); +} +``` +输出（`-Xmx40m`）： +```bash +[Ljava.lang.Byte;@1fbc7afb +After GC +null +``` +可以看到在`GC`后，弱引用对象会被立即回收。 + +软引用、弱引用的一个常见使用场景是保存可有可无的缓存数据，当系统内存不足时，这些内存数据会被回收，不会导致`OOM`，而内存充足时，这些缓存数据又可以存在相当长的时间，从而起到让系统加速的作用。 + +## 3.4 虚引用 +虚引用是所有引用类型中最弱的一个，一个持有虚引用的对象和没有引用几乎是一样的，随时都可能被垃圾回收器回收。另外，试图使用虚引用的`get()`方法获取强引用的时候，总是会失败，并且虚引用需要和引用队列一起使用，作用在与跟踪垃圾回收过程。 +```java +public static void main(String[] args) throws Exception { + ReferenceQueue queue = new ReferenceQueue<>(); + PhantomReference reference = new PhantomReference<>(new String("test"),queue); + System.out.println(reference.get()); +} +``` +输出结果： +```bash +null +``` diff --git a/JVM/Chapter4/pic.odg b/JVM/Chapter4/pic.odg new file mode 100644 index 0000000000000000000000000000000000000000..c4377dbe956931e36fb6c0f40d0e4a5e6cd22b39 GIT binary patch literal 15365 zcmdVBWmH_t);8KWgkZrX5Zv8^yA#|sxHsOOU}9b+xwhv@Ar=P z=bb&eM^&$y&#bjdR@JQe$Vh;JqW}QV006vgvRnojO)n(?0QmiV{|jJYVqswC3^dRM z0?keIbnQ&6ENLAq^=YhhZB1-xtbhiV`c``O76z7fG)6YMKw}d1dg7Kab zu(C8XF|xP$7nCgnt(}#X`FC9#+W(!Fp}Cc=ox%U4h4nYKfL1_z;Co%||CiQ&tNhP( z{5xyE?+mDGX<+_8Si||dTH06{*%;W`{_ic?+UeTa|9|M={f$Kv3tb}vTUve-I}2T) z?fY;Isn<78pJqcLW)%=W4MOumw- z&NWBuaH5`Nd{$B}CP|aD29-3BONx(($c7(@3bFdQwHIga)j3WbwYC1JJyw2G1ic{LQ-+wc_JDOelN}*aPOGG{-1XT-& z6iXOLznNV@AKe6b{8G(Yem8=qLMYARF2bh;WNqO9oonE@{OR6>&;zeCpd~t8$%OXO z*w8fCN^CkqZrX#)*QBd0%lA0UucbaKkgT7P>_*wx-hN9oS4pFyjgKI7NTV`>;xKUK zM43J(uif=EZ5GE6<;F2lR^bYb;fyCZdg(N+OxbqWb%ey{_^~UyV{_6<1(L$)`_6%z z>h1!Bx>3|Httr!Eq5{ z!M1PvyBsrw1|o??X}wrkyL9Gr+58(Iff8r*wDI&&le72ACYm`i{VR%_B$&O_BSuPA z>TFaZ))I7D&Q{)JZ!WIt{zPYOKk==o@d7!AT#W?!G)Hi%RG7!(hjBzdvtc2c5z=9` zGL^jgbcJ+$!M7*G%I_ONrvMBaig4wqvHC89XN!#&*@`eE0#t}TQd0Fqu=;jHrJ{PS z|B?>_D_~)|Y>`Ory5<$%GZ(7H5=jq2+}%t+7ksQ)&}PQ4nUY}D=M1ztOVn8nio@BH z*<&^mBg$j1IN%x@{PeZHcz$qIVC+{FqMiMx#Z=|D`vTiLQy!P(3#y;1Q^Yyr1KMhJ z3?GfAcEN(XsIlzGVZOzk)){;&6rG(LXvU2(#a${}HG$AtuWIm~}e$tPd7Q&r#E*8>WY zF2F%f3?wMO-cw?_p~s}6*%PwCLHuZxmXPQUOzFyvMdSYY&7RUsY_PsMzCK;wpdpH~ zn@83%d9k#^KMUV(#-aMSZkQ066HpnJX6G!LAs+8IoVyGuG1^xbMNY3h$&>Wf)OEa*Ryby?YXgnJn z5hkej6c^#y39C=e;m>*Ga347qKkb@KVd&T%kd_EUL0UGDPKXHE{$BKEc%H%YM)r9e ztM`(9$tX_WQhb+}e9z?rq?1L`AkoLIWk)(+$A}Vk2`Kk!1+MiUq&D6c%~V`~z)fUe zWQiX~0c?K}$mRn+(^pJ>@5?Krz{z_*XiY8&KN3;_V<&o#cxb6_0h9Zxzigeqx}}?> zx4)O$GDHrXKv0;0QTo!QuRnipa~H?SyJd$3A3I1bWq28u3QS zUc9Iw4hm(JiV}ie@kOx?L5d`^zegGh~DgZ~B_ zdd<^3te1`BOghabh1_fmRC8G0u95oq)ltE@w>aUXD5mP+j0q)0us2e%l5mDTN6AuGm)4i+EH7VPblvW2 zM@-m8Ct4cd<`3uB(LY7WUEdA+G&e{e*SYy0CFlXsngW`j~K~vhZz-)qX0l ze909}*F7!ojo>*fZQG^Cmr9iBSt;Z1yGG8sIu6bo|uqvWxZ5q))oWM1uQb`)fH zu^O;gtbrt1+3JiBBdl>z;fXnSii>sYTrU(?S6UFin$qSqcuqQV$88K%YR_x%uSzI} zJ({*#--M_AJyB~{#4mRykPi|1TTgK;8^cF`5eGnNX(=RJJW19yHF!oBt;MuR(1nk# ziDYM;9p3TvXdLliVwI^@_x>v6bSC=rNa2Y`G+Oo+gFh9A`(98g(*1m2^>0e6mp3i<)IJ z8vSzP5f#!S^WvuQrvH8YaprlkZ7LT17N%30r?R`%ks13-kmLNtosM5QJ_dFCEX2!_ z+HC2|g1YBq=gc#KdV3mt^18GYbBW^`-xi0}48_ht5iH3gcY;ZU77*$%Ieb2f6hN{i zcJst07cC?N&G8AAXe9PF$pd?*>vkLe(y0p_ip;wT+cDony8D|%I9}0_Ud>~FzDTP} znQcA{r5rRSX2cv+lnx5Zrj-BT((6wFRZS1%YJrODlb)QldeoCrd>myq2@W=;SQIli zqr{?V-v*07P$BG4j0MAkx@K-|fBBu*g>g0qs2pI_|=-niJ zhuinX@Ubue@b4|p->sHm-&f0eR+e_Zw^i@U<}kaln^_4>HMXv!hmA-xb#A+Ky&>gm8tV{gzlfY20?aa4Z7o19(EK?fQ6 zP&Aop{6M}wLJ#1gbV%Uvd~5ST^f1!n{M>L8t~`~_2JFoZ+M5%H?UgOD@%7m4ez(R- zZ1;S#PZ<|{rijB~oTSUC4*0Bs1?BPM4IXI1^Hsvu_X``|_?DA13l@aLz&Ck5#BpKK z_%hi?_r$m=cSmb(4gXhF9T7{r-DOzPub~4*x%-doM*gLr_24ExLCo|TZ@RQ7@#gHxPa7ga#j;+e&57P4o)Xsqa;3_TH;#oE@`@h8*{+>ZMI z&?9|@6l|;$0=h0s3o}>hQwA+2QN!Ecwl8KbR#X=o!^!GjvJ-j?TKh<9W%sFk>9i!i z^*5c{pt=Mv>T}v~29jZieeq&<*=qXS-{PP`Ac;9KXKu9Il+2tsPE=drSmr>K^vWRAQO>;K03xDM07VgkNIhNg~ zSB|k;DI3_QwHtiaC{iik0GgH4n%R&E@s5+n4f9c1$Q(%rRty7v)ll~)S5lJho#|Io z>jOUy9&Fe2=FgIjR%|qZm);@NRh8Gk_?ST^m4}$wK+AK9+(k@90k|-hZZW@MUwbnU zvWTEjwKdpVnXgBea&QWFP@%%;;;EIkLaiE>o8?Ow}{IjH<7r_=zO;UyG{-EI(v-K6&JBVX@+=$?fM{xBqAzrxrFUYXhK!&Y)nh^cFeSWwckSz z19gpRPHnAGUjBUOc(>Y=sxj@}sZ&~Otw6PfSL~t`|L>@F-dg1cjliU)f+X5&9`Z~IpZb0bI4mBjr zoB4xch#&>RZwjpooN&`$&doXDbn0x4t7~U@oUPqq%egWHCLmDdwHtojnjeN%Vmz?I z52L(E?^||5Jt#Mgt|5kd=HctWxZt7S{1Mp5xr9( zw1y#%_Qp5E9-Rek_E6^F^6#4?_bLW8w&+v9ICM)4=lLd2dffk@45PG@Z%iHwL<5lXEBUDrom#9m%5?S z2Ff4UVjJp&EDoXybDv|&!q(g3q+Ht74a`W|3#ymK9U6w`(T<_Mlq7zpR9A;vms*-n zi#Zk1w76(ehHVyVs!ygoa@yNt@Gh%IJMa%)lQN=|`IGkrMYoIS)QZ;En~-P$j)ws1x~S*= zuLCt!Lsgp3q$+(Texk27d{UqvqHBMx!t*=-fD2{D_w zJwwBBmoN#KEM}MFKB>Oq(;~#fG#1f7R$_#EtCmK>1i`F>r9${?`D!w zl>*yumQ}K)u8K%^?Sa9cR5YMWM@5RIV#soElcLt)w{OX3gCKV~EB=*7R7QboUM!qb z{EOaHuKAZ7r1@0c*jq~2*A#O@k2+=F#M|MTI4ZWHXMH`Vi|210&(ARv>2D7+w6B*b z-R?jJfm$s3hD9AqPZ9z=3>C?-uc1I0|7v=C*w&UT4V2*z9ea z@M8@A!;0RB{@dX)xNvnYjg~uhr=ZXVOt;r}K{yJ2!i1&U!xnluNS2Ho6NETfFBsjr zk&-M1yPRPwozT5_0fY3nEp%Fs*QY(6*ZaPKjH(}}hp)$|ppo2V;+#+!$R(%WWX*UB z3cx@|U%F}mrTjyCCUfJYMHJ~5=yGn$279>j#PYAn1KTqUEqL3^kN8vlzrsieA2-oQ zPZ6M$_5*o`_8yB|BUE$nJpMI^3h;E3j`st>*VZQdUoNUjs}VX>Zl$=v#gOO*0$lIw zhF^;UwOfuo{FIYKphEhL=%nscl#&9qsh-yC2}MI9Ay`I#kC7|r7X1OvAg_@;=bY&;MW#z%aa%ccqs@JA$vp-2xu1BP5Y z8~?~fL_C1D4P2K4U~{Hjm<65?#NNWo;gZ!K>vo)_<51kO|4G-}$V7*)anc=1!WY z2?k~quSZoa-p2m?VewqM%b$Qv{o2ML<@d&J&v3-EtiB#jS@z z=J#S*Q7AJmWZI8{DZPYyc(D4;l-42fCM>aBu|DqjdzX% zfyrXof7ODlwVC$AK!+d3uP$L-KIza<0$04^>HBQ_+OP&4?-oFCJHgdW zvt*6X;jr{@Hg>dKZQSOU2g>BXgeCX9=C&52`L@PM!tEboujG|(ae_Xuf)6&L&|I&)s|)|N$s_TD?Ia+#hk}xTY^R|9zJo+642+4{L<)`* zB8vdk9uDIxs$vt`lE};peVtd9=`wwukWBTO!d;kxK_PjpcQMwoqQBE=!5MaOb3?gP zf02S+Ux0~RB^I=Cq?{s1d})25%k{nB76cug*h9A|AyRi>>XKt!F6j(IU-1#?y|sPzO#`+MEg~I zYf<6q7%`2=(wm~t35x*8?%ElJ=>lfR%gxKW;%qr1N{}{%|A)JkcwnYaEY8@9Ir!mKFtN zvG+TgooyXf6Un{dmVV_F9e`98e>$jK-E%=_3=(L0={zgshJ4mcZ{BnEQ%vdvuh+rww9EDbXMxz94 z-U;_`E0vs4+{CwApBKKI9d2j5{hG;=3vZ1wMxVza`D6gNXR@86}8E6!vQKZc1 zAz(GRIB-bm`Mf-(;H~B~%bch{(Dmt?V#$CKJJ;?yPVb@zi#sV5HMByF3rm_j9S5uA z2)N7)c%o#dUp1t{iNyEhw1}(X3BT+FU)6q<{DBk@SzsdJD*XCc zvfy-)olvZthw>AR?~nyK2Sx>2IG%)_xyb!l-y6tp@6d4Hl=co10Dwmf@;`WoKK?#S zHL$ZYu{8SkX{wsK?Q;Kb_mB*`Nq>4giO^8BnEItxEH8aFSqQ7x@wF~Ysi;b*ranlJ zK0}iCj00AKNwmZFf?!&UnccPqB0+&UMvt)$M9YWdt;fM7o3oNv&`>0O%b z?M7-1RHJ)APEM16s8ra-&fs&MlRo@+|3WNF8j)gDb{9q)qaCP*q1X2O&RB62^}xlD zt07w3n}{3%s}oasN{CJ1xb0cMXjz4>fHUPVdd zAMK3a7mdXE>4lXGbSTgzUFg4jQ1R{nE9QC`P zw56J+@A_;ds%kI|vE}G`cpAi`^oDbzl@!0W_?jdYr11KbLJ2d>>*KFqVJY653t98# zQYfDIRX{Fh)#pO^AB6#mi{6K9=;q(FsIB1daDKM^=&ekXALwPG9@fOKCcx?0V=yer z-yMzO>fgZj`vMKrH^BRX4B3@H-nGS&4&gFRrKh71q>}_`CCl-}1&L{sBvT45Wiu-1 z%^9wz2!)YuMrn&ifhy@TG^+*$#xtl}Hb2PR_OlKupFF?CB;1s{|Iwwd;)i5|*TSrW zk*#&G`N(`T43$bznFU7mbnQwaK2~y?G3|(f7gO7K${)m7Wg@tC&b!zHP$U{^lD7E9 ztku z_Z7H;5Xs6{KRdiA2V55K=^H+l&0hzrceTqoa4*{+B(*f_Etp!BMF|!i638M9A7{&w zBg;WyN4cd6m_sSmkiwOzcM7i2wOXb#-8zUVv{JH5=xZRzeqaKunKvTPrYkh7n!J=n zKzk)a5g--X45I^hikz(ZK`J(k1NO7E$$lE4(o9Q+vRCNCOWF2i$dq)N`;){R%9AuA znCn|t4bN|14tfS@&S1;LNy2SZ^E3BE53#FH16cYN~7bf{kFks8Pg8xWx zA)J-CMw_lI(w*W;B~U&LRQ9x?wm%x5SaW`TIO_beTeh%X8*Fd3v4YKZ2A}!_w#N## z*8sNH<9*fQeWkPE#sEyOURzf=J1f2Ww(HRw{yMy}&UmM{%dK-Nu=;coJ4Q&4H#|>W9E8fzSp2M}@&1;{Fc9mAd&Fh$p`}`Av?dRS0kri#aI{|O! z>sYR*na+ous;l$Ghv$cd_1DAYr-5-_8aM&m0jEX*_=N;TpN_@t}%ZI#~wM`5lU?Q1PF%T&^BO z_eSAFs}g)eSd^%qR>DOq$LoyM@?qFFhW(@?A&2=ePI6{&_SzR=B)cWnfXR=z&84dN z7MjA~M_SUzI9aW%mu%oJ_@#I3xB@}~bQ&CrwKCi27a0ZKligw3RnRgLh=qRWD)`22 zFy1EeDt$&S139bF6XQ{P#w-;d$t&jV=&Go9Y9Qpcg|uTpa}?|Cxk@*VoPXBCMH+^s zaETr*`uZ~sFxK3o`R%Q6?tgL>CvWf(WwrVUNP4Hl1xB% zA1$AqkYx~I^=ep87b)%MxkHU>Qt`%yrYtK^Vc#`wSkwF(Fx5$%%ar#v)M2U-M@gnx zuE}X963vn~K5~^xv{3SVmsv$EX24YxS8d}~L1oXtHfG;}TXD70ry>LU$(F&@M(PdL+h#x-L5f&* z)%bXD)dh6vrt~?#Sv`mqeB87(O*?LMOtOV5HRgD}rmjBOf`s+V(u(W|qNZJ41dcm= z#6f03LUe9w)n&)82Rj460ijSTimk}rR-Y#NK^2`Vtv-y|o^^~qSpt>IWT9bZ*_DH$ zm}F9}?YsHBqXfUQnD}1qiBq+VW=u)Tg*;hPJ#x*fc}8km6%^mjK{D;szd$ImXVkhXT1yu7>? zp33@qx|Wufj*dolc6RRW?lS%eO5sS#kw~hsNSaBXRJ=)bGLT(EKDZ>q8;5Y2rcs(F zG3sR_8)RY|7NHoIpjgzP+O(mWWs_LuP+I3QI2Z7k`bb!Yidy+8*!pW&2g|$rD%mCo z10zLUW7QpejGV)DJc5Cq(Z((Xd@hCj9z|mIUFeRz7*74@PW>1z!x$cum=RX+ejX4J zK-6SAfR`(NgdIV=CtH>iAlCz~&;umcjW;kDDl`BxC=oU$4mu?cD$SRjkbMOnISS($7_g+@oVWJiu%N1jSklR#UWSY4e`M~7T{yLw%geqFXnN0DJiiDhlB zU3IQ&dx=d)nM-rCht~{dZ!};i9x$E^m`(%CX98Ao0b9j@{c^x@CE%(aaN7uYZ3p!B zQug*T_VjSw-EqFXv2AYhA0JDHhlhv7d#5J;h>MF$Nl8h_^GhuCPALgWt?@3)_9-d~ z%c_VjFN`lQPR*?k%dd|vtWGU#j4f+QuPg|wE%I+H4e6-#@2ClHZx86`2(GJ4Z?B1I zuS?0!&Mqk_DXqyVZ_2E%FQ~6AuWK#sXfCd)scC4fZf>nFX|;m?#OY9$H-;o1L9qSy|rN+S=XUK0MqzIy$UH^m#W)H$Z3E~@ z-V_p=m{_ZPUTBO2Ieu7wG^pg^dx4zZ6GYMAuTtbp;mcSgRe~n2H&KuuT({OVo7y`3 z-L1Yg$JLUOC&iQ{weDSAjXR&+o;IAdt-8CWJi}_RAOS#m0nlENFL&z$76abD-0$AH zjlx~MLGCZ3S{k?Ty|i&3+ALgYA{w$hdCui0>Z`o#piXT*FK>cDZ16lS92RJ;yz%2< zH9rmFnGXn+zJ0xHDbQT_Oa*AiOlN$WnhfQ6lW*H!ePQJW(rjS6L%zom*h5l7QiX@T zH=ia8kS{!~?4LnZU|lKT0VOKT-Y&F0 zip7uuN`kP2G|Wavpx9WvdBn_4sb{{W5U9 z7nhxaBmc!`&&FSahBX#qeEq_FOPZ;&1P!$MUBcK}W zh9fKC(kxAn7n5RS%cb^ch=s$r-YfF_Sg2@oHm?Xuiez621DR>1-#`&W0|(L3lPR=X zs*}!qA9@LyM5!`qP6W{1e5GUr$n#Hw?aBfTvh%KSIx?AE7P{fLMhfJgF>wH4#9=s7 ziCkdHC`(`uMeQVP;pGl^R2)hmMHcXMQySE!(3u`k!>L#W1+UuD^!d_0Iu79F^9#4y z(iq%U14x2=G39KB+EMFkb!tV+0`PNDrp8XQr##}=j8-KClvAhW1=^jL=??Nm#TAW z=jI9QeGpX6cdtWi}iok!O$tS_d*6jM|jNl z2oTa|4gxY-alfjeLsIK?@Y>XwQIHQWDdi3ecMtaD*LpCw?C*AJ27D|zQD%=mbkw%tV*La#1CXJC@D`PV1_8b8s{rgDr~)SriD4(dVZih=qtS6S zSXiEt43vlTI26~vY%&cF?CtsO10=oOAYeREptWxpK<=|oGW=&6{Ly4!<59EkwNd)c)~tyi)GVDOn`Jv=rbbMht;L;$Z;sU=9XSnx@KLQ+>(wGv1q} z{ysLc4>j`5^m}L6Rt5&%TP?ZL_%3}ah$m2Ae>;va0}HAuhlIZ+83ZL1Ob=u)ZQVHe zp>p4#ER^h5{9z^x<4XO8JIoIEb<=SeAD zM7Vs`+}Pa}+q`ruA_}*7sqvCv@eZnA3xTj+XVu$OY520({CYzDp>?Vw*9cwbhyj^% zPh(bIqJfH z9sw_j<;%F(ls-L`#OEXwMM~ms8iU-5Z! ze6+*ju;#fmAwWY1EB^KivP+pdoU~n|j@dpaJWFuOU^&&#MZB==315Z?WG{TQi*%J` z*b|~^{^|UqVB}v5SEgk-abcKQ@%Wv`si@(_v(2sn!sQc+n5DXP!_;`~IW6jUO9JyoDGF2bOL_Aox-C1*-C z39%|EN(}tN$E5F$rvM1m|C^ta?r3ahbmO+S0piw|_$ zD5jtoSfF*zFN3OFlWiQ3`tBiuUAy{Xp&N5Adjg7pbWE-xAch+Byl0@Y^jT zV3La*WhyRZU^@1Vo%`FM@g49qGB7Vwi(kpNpU##kx7+q7e`0I^@gc2@CpK_n`K*5% z8#Wj|1)hfi%>3YxStd$1Tmei8V0YP07wTS^(&hTn*O$hyK#q?`s~Vlh8=%-s$V}=W zKnTFmCvZJ%$gwcUPL~G2fU(<#`~rjTl1gD+5b;}?f*cKFt4n_6%pRRw@kQy5>vdl|<0<6+PnAj8Os~jz&IIlc}!ISR9@U!eCDOTTI%Q231=eiwV-HVY~s*VF3edl;$K9ijgmk*Gd8a@&y3?|F6s>?E??zIe!91NnkGEUBrZ>1z3F+DUBdOM z)1KONk%lpa!*CJnM*UX|F+87BzB+;Fo7*AZ5Q&*pmu)wyug-P zz}TL<9OXl(h9HKJ=g^lXLdrn|hH+ruQiyE_t$ zy1h~heRo<8Q^N8T2dA#AfGZ}S3^hv*`KJH~5t*Jrb;0jGXeU+ihj-M0gN8MHueaA= zuV(Hpx-WLk4Jpn6Zpc@6OB=+xRgz1_s!^_6jUZM&{H+DW9eEA6MJI~dxD6F#-<2TihUw2RlG#)`u8Z>Po`-PcAqqU9X@jP zy`5v3^U=)OI!!BO>Uh2)}`zBK9L> zd{qq%8W(!qNx95Gn+umPOxyO3IO-WhV4NdoZETn3SJ>W9JKLWxNB8`f4|_FIC$05; z2T2b8$As9W*uugLqePE@m} z9YOmBYWa+1Sqlj(NNhZ?cqPY)8ap0LtbjmRtT>P?CVm{OPI?cQY^dYPMy^>27VPZU zryf2a3HvL%?~jq$VugHKemW;;w))t(ag5n7=zd}*4Mmoe7_~A97r=H*x}~2#OYF=O z8;_3AKx+#R?QSROcG`rvFh7x+KE#4(myfq(J|o%de-DfJCIZ=lLt^KKjBq$0*;+cm zXwybiiX3rZjvt=MQC%cR*?&u6ZXMe%m_8O3Dd$`@!Rp4g`x=PylWf{;JH45MV6g%UO~{|4nxBHurw{3h4^DQ)k`|E|kliGBZ!^V