From 8766667216d15298c0941720d12af25c40e30707 Mon Sep 17 00:00:00 2001 From: Omooo <869759698@qq.com> Date: Fri, 12 Jul 2019 16:57:38 +0800 Subject: [PATCH] =?UTF-8?q?add=20=E6=B7=B1=E5=85=A5=E7=90=86=E8=A7=A3=20JI?= =?UTF-8?q?T?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- blogs/JVM/深入理解 JIT.md | 124 +++++++++++++++++++++ images/JVM/类编译加载执行过程.jpg | Bin 0 -> 62568 bytes 2 files changed, 124 insertions(+) create mode 100644 blogs/JVM/深入理解 JIT.md create mode 100644 images/JVM/类编译加载执行过程.jpg diff --git a/blogs/JVM/深入理解 JIT.md b/blogs/JVM/深入理解 JIT.md new file mode 100644 index 0000000..97e179f --- /dev/null +++ b/blogs/JVM/深入理解 JIT.md @@ -0,0 +1,124 @@ +--- +深入 JVM 即时编译器 JIT,优化 Java 编译 +--- + +### 目录 + +1. 前言 +2. 类编译加载执行过程 + +### 前言 + +>摘自:https://time.geekbang.org/column/article/106953 + +说到编译,你一定会想到 java 文件被编译成 class 文件的过程,这个编译我们一般称为前端编译。Java 的编译和运行过程非常复杂,除了前端编译,还有运行时编译。由于机器无法直接运行 Java 生成的字节码,所以在运行时,JIT 或解释器会将字节码转换成机器码,这个过程就叫运行时编译。 + +类文件在运行时被进一步编译,它们可以变成高度优化的机器代码,由于 C/C++ 编译器的所有优化都是在编译期间完成的,运行期间的性能监控仅作为基础的优化措施则无法进行,例如调用频率预测、分支频率预测、裁剪未被选择的分支等,而 Java 在运行时的再次编译,就可以进行基础的优化措施。因此,JIT 编译器可以说是 JVM 中运行时编译最重要的部分之一。 + +### 类编译加载执行过程 + +在这之前,我们先了解一下 Java 从编译到运行的整个过程。如下图: +![](https://i.loli.net/2019/07/12/5d27ecc851a8286498.jpg) + +#### 类编译 + +Java 源文件是通过 Javac 编译生成 class 文件,前端编译的过程其实是非常复杂的,包括词法分析、语法分析、填充符号表、注解处理、语义分析以及生成 class 文件,这个过程我们不用过多关注。只需要记住,编译后的字节码文件主要包括常量池和方法表集合这两部分就可以了。 + +常量池主要记录的是类文件中出现的字面量以及符号引用。字面常量包括字符串常量例如 String str = "abc",其中 abc 就是常量),声明为 final 的属性以及一些基本类型的属性。符号引用包括类和接口的全限定名、类引用、方法引用以及成员变量引用(例如 String str = "abc",其中 str 就是成员变量引用)等。 + +方法表集合中主要包含一些方法的字节码、方法访问权限、方法名索引、描述符索引、JVM 执行指令以及属性集合等。 + +#### 类加载 + +当一个类被创建实例或者被其他对象引用时,虚拟机在没有加载过该类的情况下,会通过类加载器将字节码文件加载到内存中。 + +不同的实现类由不同的类加载器加载,JDK 中的本地方法类一般由根加载器(BootstrapLoader)加载进来,JDK 中的内部实现的扩展类一般由扩展加载器(ExtClassLoader)实现加载,而程序中的类文件则由系统类加载器(AppClassLoader)实现加载。 + +在类加载后,class 类文件中的常量池信息以及其他数据会被保存到 JVM 内存的方法区中。 + +#### 类连接 + +类在加载进来之后,会进行连接、初始化,最后才会被使用。在连接过程中,又包括验证、准备和解析三个部分。 + +##### 验证 + +验证类符合 Java 规范和 JVM 规范,在保证符合规范的前提下,避免危害虚拟机安全。 + +##### 准备 + +为类的静态变量分配内存,初始化为系统的初始值。对于 final static 修饰的变量,直接赋值为用户的定义值。例如,private final static int value = 123,会在准备阶段分配内容,并初始化值为 123,而如果是 private static int value = 123,这个阶段 value 的值仍然为 0。 + +##### 解析 + +将符号引用转为直接引用的过程。在编译时,Java 类并不知道所引用的类的实际地址,因此只能使用符号引用来代替。类结构文件的常量池中存储了符号引用,包括类和接口的全限定名、类引用、方法引用以及成员变量引用等。如果要使用这些类和方法,就需要把它们转化为 JVM 可以直接获取的内存地址或指针,即直接引用。 + +#### 类初始化 + +类初始化阶段是类加载过程的最后阶段,在这个阶段中,JVM 首先将执行构造器 \ 方法,编译器会将在 java 文件时,收集所有类初始化代码,包括静态变量赋值语句、静态代码块、静态方法,收集在一起成为 \() 方法。 + +初始化类的静态变量和静态代码块为用户自定义的值,初始化的顺序和 Java 源码从上到下的顺序一致。子类初始化时会首先调用父类的 \() 方法,再执行子类的 \() 方法。 + +JVM 会保证 \() 方法的线程安全,保证同一时间只有一个线程执行。JVM 在初始化执行代码时,如果实例化一个新对象,会调用 \ 方法对实例变量进行初始化,并执行对应的构造方法内的代码。 + +### 即时编译 + +初始化完成后,类在调用执行过程中,执行引擎会把字节码转为机器码,然后在操作系统中才能执行。在字节码转换为机器码的过程中,虚拟机中还存在着一道编译,那就是即时编译。 + +最初,虚拟机中的字节码是由解释器(Interpreter)完成编译的,当虚拟机发现某个方法或代码块的运行特别频繁的时候,就会把这些代码认定为 “热点代码”。 + +为了提高热点代码的执行效率,在运行时,即时编译器会把这些代码编译成与本地平台相关的机器码,并进行各层次的优化,然后保存到内存中。 + +#### 即时编译器类型 + +在 HotSpot 虚拟机中,内置了两个 JIT,分别为 C1 编译器和 C2 编译器,这两个编译器的编译过程是不一样的。 + +C1 编译器是一个简单快速的编译器,主要的关注点在于局部性的优化,适用于执行时间较短或对启动性能有要求的程序,例如,GUI 应用对界面启动速度就有一定要求。 + +C2 编译器是为长期运行的服务器端应用程序做性能调优的编译器,适用于执行时间较长或对峰值性能有要求的程序。根据各自的适配性,这两种即时编译也被称为 Client Compiler 和 Server Compiler。 + +在 Java7 之前,需要根据程序的特性来选择对应的 JIT,虚拟机默认采用解释器和其中一个编译器配合工作。 + +Java7 引入了分层编译,这种方式综合了 C1 的启动性能优势和 C2 的峰值性能优势,我们也可以通过参数 “-client” ”-server“ 强制指定虚拟机的即时编译模式。分层编译将 JVM 的执行状态分为了 5 个层次: + +* 第 0 层 + + 程序解释执行,默认开启性能监控(Profiling),如果不开启,可触发第二层编译; + +* 第 1 层 + + 可称为 C1 编译,将字节码编译为本地代码,进行简单、可靠的优化,不开启 Profiling; + +* 第 2 层 + + 也称为 C1 编译,开启 Profiling,仅执行带方法调用次数和循环回边执行次数 profiling 的 C1 编译; + +* 第 3 层 + + 也称为 C1 编译,执行所有带 Profiling 的 C1 编译; + +* 第 4 层 + + 可称为 C2 编译,也是将字节码编译为本地代码,但是会启动一些编译耗时较长的优化,甚至会根据性能监控信息进行一些不可靠的激进优化。 + +在 Java8 中,默认开启分层编译,除了这种默认的混合编译模式,我们还可以使用 “-Xint” 参数强制虚拟机运行在只有解释器的编译模式下,这时 JIT 完全不介入工作;我们还可以使用参数 “-XComp” 强制虚拟机运行于只有 JIT 的编译模式下。 + +#### 热点探测 + +在 HotSpot 虚拟机中的热点探测是 JIT 优化的条件,热点探测是基于计数器的热点探测,采用这种方法的虚拟机会为每个方法建立计数器统计方法的执行次数,如果执行次数超过一定的阈值就认为它是 “热点方法”。 + +虚拟机为每个方法准备了两类计数器:方法调用计数器和回边计数器。在确定虚拟机运行参数的前提下,这两个计数器都有一个确定的阈值,当计数器超过阈值溢出了,就会触发 JIT 编译。 + +##### 方法调用计数器 + +用于统计方法被调用的次数,方法调用计数器的默认阈值在 C1 模式下是 1500,在 C2 模式是在 10000 次。当方法计数器和回边计数器之和超过方法计数器阈值时,就会触发 JIT 编译。 + +##### 回边计数器 + +对于统计一个方法中循环体代码执行的次数,在字节码中遇到控制流向后跳转的指令称为 “回边”。在不开启分层编译的情况下,C1 默认为 13995,C2 默认为 10700。 + +建立回边计数器的主要目的是为了触发 OSR 编译,即栈上编译。在一些循环周期比较长的代码段中,当循环达到回边计数器阈值时,JVM 会认为这段是热点代码,JIT 编译器就会将这段代码编译成机器语言并缓存,在该循环时间段内,会直接将执行代码替换,执行缓存的机器语言。 + +### 编译优化技术 + + + diff --git a/images/JVM/类编译加载执行过程.jpg b/images/JVM/类编译加载执行过程.jpg new file mode 100644 index 0000000000000000000000000000000000000000..d0251883b9791f3417e97767c54f067c59648d83 GIT binary patch literal 62568 zcmeFZ2V7Izwl5r{D-e)gqk@7WMY^6Qv&CD@J`;RfloclxjlOWd1m-H@y zsHi}om%u;JJ_h8g4Y#!dfeZ{lXFwnj1Bix-4@3)m0&W4RQ}O@x^Cc=V5cSXNhd>~d zEr{mN_gn?u4-TNUpU?d1o%$WspYI0Rd3We9cQYW~QUB#LRpP;8`^zAuYc`IqjxIKi zPmjq;N`sUx=o!!)v<@6UKcD>hk+okid^i%6Pc!e!_7JpV)%@cJjpexZvEpz9C~4K)q@0bNvwJPrtFqoF;1j_#+7tQuFE{!<-}>koJ?Z{~BS>|FXn}uPY_9m3r7NW}B8F4quT!imJy(DuxbwQhWsUo#fi`to+F~gCuNgKu; zHTc1OP=WCtcmVRMhWw;x12W=2$sMw3?+w-@WW+A-jRu5r9DU+$;Y)XorO>6NbO&ZJ zK9?)i0%aw0kADYQSd@Z8ql;l~fEwdbDbbn95Z*QqX34+xj zYTXh?uRL zkvUp9qa$DLnuCU}57(-^ddA1mH~gY$OJza4QS}x{55bIAFH%IQ-o=s(6t9g4ICfHad<5ft-*h|Bbw?* zdT*fImW7jd#6l>(i=EOtaj23v=N{anN$6ZbUy=Ad#``bz%A93n1B5fH?jsvuln&Si z^p4NzseX#k9UVEzuL~E;Zr^yWK5L;BZKmDUl`e*Uv%C*FxM|^0NeN-vzx8;1*3qe$ zeGmw3H;4e*W+J*9a@h~ITE5p}O<1`n_*_PjZj${c!*)^P%4fu9CW!X?pyAIH)FQYI zMo~1S@a$z&)55z^9eJi-9GR6#PnMqNUHAgHcp z+*01CEb+dRP2{!05h4HS8}sId`ygf{Ngmm~_h3hVAJjbOqVIlK>OexL)v1XXdqv=j5xnTLu7GeW!((x_mn_qQA5Ui%@P{qAZx{!_Be#-> z%ostd*@kfuLhRe1bgK*POwSFz>UOfQMg-;kM~c-oH+}}c4+=&=xkC$0`zv~_wNBhS zrou~ACwxq(`aAXpWe{56UD#{dg=?pYK6R$;Vi{8=jdz!cK=fExY|16T{+Un)Y6@N~ zH@X*BtK>!B)xCA?WUFY&541G_5=K_UK*0Lgnxn9cpctBm#$_)Rnl8we0-W-?_CDp> zw6&f#V)U0WT};EHmqqc4%_CzaDAm)rBL@1{EAHoMvc|aNE&Y{KPt!`Jgvi(M;Chmh z8yK>9Z7yz`IbZRO0&m%*!;Lxnwwm9X5*FJhb=q6%(P@<>wNQR_PO?#Dazm|;OOLBFffNs zLjJb-XRChICy1h0^90F)NdprJt2XYTwR(P=$JP*O`i#T2OU+o4U=HVG`95e_6Mv+B zq-hXE*2L+HOI&I#HaHTZD12W);J6_3Bk%}m%U+baWq?;5Fmr#^DL!%fD}+ma*+h3K zuKD;7r}u`u36eJjU+^gXkdX}!#m^({Yle$?g?JHO_j3b2GwIg}uu*bRA|(%}t$Q|% zI|q=mrNze&(?7Q0gPGi;Sm_ul0 zS*_?ss-AjkTW8!KSieDi40HrKiHvZoK(fH~n+6h-GhE%9Xf7Ch^QOCY7_bBgbl!5I zaSD7Nghe+@1Qri$r?ASGy6QejdSsx4P`Uqx`I8s5x!Etw|C>V1sDp@I_!?|%Q&VQc zK8SU6(Zxh^=Qe0Z`zx=?D~}TeWGBMv zudvwUsy`5~Aysz5k-8MN4b)&I_*2v8c|vh>BI~G@h0>0%n%E6PD@E?1r7Se{Akt3C zSBUrfN}-@fbMftGfibUV0vnT}S}X!iH_ zP&sD(hA3irGvQRvbXb>uEd7H>(wJ;yeWiSj{lst{Pda?JmQzXi=q6;V^G`hLO82QBF&$hgSob&>Rsaj$p56w9f?V;nAY3)ANu<; z){53-9M&&&F8J^V)}tS;wG~D@i5s(nun?h5#fcv>o;nGzF)AwZ;>76f{>-JD#&3xL zmj)YB0;5a~3G`7-bbYM zD$7ENiBJj7UR<9fdamO@nIhg{7_z_bp^;WC_rq|Dhwe-=>G$u0MwS2Uq7I86nrPyq z9YnD=4Qyxas=nMyeWIblWai=82|bMO`i0(T(>&(_z^%gK z&mL9k*N?NPr9N$5f`jl8O)-=((cnt!tdXOeEelI$mf1M#9DT2;$TtoTKnzXcG{N_NDRvVCkpC1F-;5H|x z3BTNE4PJjKqcM_M4Y+7dzQBrFe~NyGN{MF0X#7j1HR%GG zo9LONh(g$7E6hZ%YqQ*ctyg;bEB*9!6}~?)De;e(Q~-yzsIwC&0jdU*%a_%R^-sok z1uJ~ZI$)Bo_kkv{oLv+{rxYPaGPk_C-BjN48xyKxbC#1{e+UVvh#JgNy82xcYTq@S zuXCrbrI_}$FCBo%NY*;4UXig|>Mzs2(1*%VW10w0D-D-CP|JsA=^upgj`bE{OJ)23Vi+N8RZ<|?}ey+n8;{2@zfMw`ggv^M_lla9;j;zGd z>yf&BF9U5qFc%(uO5et~U~}E9A@;51A3)sPnmSk^cO5#oyp8Bpr+%jB`zAMSfOLo= zYq|)zjb8IlT~><-U57!)_ldUn!clOrGMVpqrHJ+{YNsvyjl&Id$KM;ftOJ{I)A$XM z8avSt8LIC*0WKPn&$FV6{|a7vqQnc}v9c~6pB@;kDpgJ^05jpmeV6;wZn-}19j{Qi)Hjl6LjGVT3AZgS;=^wCU_a0d^yEH1E?L^$FOZW~(H8|k!G-O{shn`vCM+kvdI4`O^Y7@VjRvlUtR(%sY4+6zyY4 z?ROz@McsI4b65OZr8glSgQ_2Pm?ZjP`Mr@Eu?q!t zVlmD^bMOo2cYD48Y4N+uuZ%kywyO6MTS4&M2GJ21xwOeAey~GGkjRb=+RK~3b(f+@Y_2JJo_8D-ze(?Sc3rV5 zBN$I9q!NT;ACP!_zPX=f6aw{4Ckn8MGb(bK&(1EIld_0f4JIWhaDbbj`soe#0MjHZ zdh2Lzo2zBb)hmXsHKv9(8bv+=^&w?JcLPraFq=xxq<*2qDo-pjZjRJlClD9$RUayx zY%(5t`3`FgedWLN?C|C%G3ps9q6K)^krL9Gu%ovRY8uQYs}uF{ILxiLO{j*dL!%c; zD(?4Yls-OxZ}M&9ZsNveG3vTXQ<5}-iZEUV4N*0lOk%!qqYR{{n!5eP$nTA`z~PyF z5GEXIS+gsuY&|Wy58{Sh?a>fG2O+>1C_Vfcl#yt0CG2YN2_~))X?GC0}pG9XMff?*))2;J1y&f>F=x^mv)FX%c9V zwTnMCBkAE5jY0xQ276^!<7aX&!`zFXA_`c|QsKvN0&cl+p`e{G3Qxn9={_jU<%7?4 zB*Co=Q!{M5<%tg}aKJ*C;oOFOo8k&!CIae5IEyClL*>D4xoh;axQRdth?t)7A&fwM zv1DM$s4uJU;EnjjOI*ZH5%d>bGgWsvfn_g6+DLz>)Mt7?><- zod(klQiubMhAJAZpIZ!#!P3`4{cAX-mNyN9eK-pSC6{l$zkZLdP5k~#g)fVK=2hAt zMAJTq=>bV%AJlWc4|*C(EZ>|!?Sl?i3n9e6r05g9QcdUFAtct^w(y0-9tgsWawng5x8+f z9^9~@{PAt&i)U_0q|-nAEbvlB50LibE+hfUH{*Dju`z^d-=jniTfyL%v)`Qcc1Vf4 z=D@(FO>8Ocz0MKUPeP)eJ$7#P5T`n&3BfCG?IG)YIDyQ~G#(W!H-s*rAmIrZ`T(;6a4Yj z!t)q&*(=Rgndvg*dNAG#N&nxR_7=fl#=Lv@7&4n{PFxThX>6B;* zxPN77y5OwQD*AB~&6KjGxcB;rb@U7{5&mP6?gZ|PbS0DDhct8#K?-diI0xH=be6VwWEX0ciSMhl8J`^9%dIwe^`s3p< zEls9ka;w45Xsat69+PnTzC*WpryPX)2V;=GSCn|nc5P$;^e|eqUtI`p(s!Y(%q&{1 z^l?7^smHkuPUDuEg4sG`DBl~C!ASB+>zs)TL2_|VNwIpJbOVBm!(#8iuWNp5WXu~T zp+V|Y#0MGrX>j_B{ulES$St8D_W}!Em5^n#X%4FOiD0B9WO%UY+4qUyO6^Gl^?lIw zYVY-~W8P~Dpwp%VQ~HzwLsbak-r<~8~bcUa!)Qb(p)leYza z+aL(eBcpWG@{X(UEZUY}>_fc=@ka@T`{QaG1$mMABP&qmFHdP*8g zsJ^^-E~5}Nl(>fe#oG53UZa0SRwD`m{L}8}m}o#Vnb_Pg%WXCJp)o4qPX z>4MOzi`up361VFWOup}m#uZ$JJiRvy5og(4+PFsl4Tf)q<~h(XF>yiDva($rtatn57me%PuDlSd9x;f70p#7QJ+p9u>nc4CYlH~tm=1s)2iA_ zKPH?k^R)K%bxJcVf8mQI(dEOT^8!B|Q{Ss=^okZ3FtcqkUu4}DAL80vchl6#PyW-v zH5G$OWc#|&Et$P|v#^?m9O(jqm=NU@qM-MAz|4$gQoce8F2#DWq-P@3`|g*O+$WTW z$Yd+C#iK0=9)1X6+!!5<3ErTOy49OWWj=n*U7Dv>>Dbn0ZvG!Aem_xV%bExVRR12T zF_{T(77_Dt^i7NE@$HYzO6_djgXMrVwkCilCmO(^1XE1{cSG^WlKW$Gwx|3IjTXYT zf-gKh{>YoRs|z8H5^vzsOcN-AaJxaxXu^dn4h@I}77dlx+u29~N+*&={iHn<{}R4h zw`J0qUSOS~9D#_wn*^C zqF03#SRhoS?aLIvhzEpB-%1F9{bGEBk3w(i_l?%PYDT}Iq4T_T^jW#(f53+UqSV%7 zA}4;)G_o<75$_NY^|9e)Og-e;)P3Ap9W8T=HpmmzDCG}1;v=4ukI=?X=av^gHUYRW zC2~KiFyi|R^cS(s1aO8F(F<>iv91p)b3~c*7j?gwJaVptdEM8U>WAU8T0+UvC|(w; zUJPVhTl^mvy)fuMo_wFwma8iuE!g4Z4M_Iyu-^!oA5W@7f?e4#NZNVUdF5+Xjs^8B z-@bs7^;G>9&0>LvlJiI+J{=>Jk8U~k>QsHXtLR6zRyU=^1#~nhNd%&io&PA3QG+Q=D;T~tIsJSb7)MLz&z_BpZ&`Yn#m;* z0spm^&q9{~TmP%sHH-Ay2U$aa7v`c20=FLmVwrBIn{g3OKTgfWwth~K*~^lHYI=gT z`Y_@QG1noo5ym{S_~Ba&c!U}e7{sCw)o+~eM^LIAvs#A^1b`3Mw2vU%dGrFeFJpBl z|LkFB+0x{MTmICw1=PRvnIDd6`R99ARgXEQL+3KlzYJ80>SsMt@#003q*$sUcnz?ZbNWXl*$b zup(+ipNzeA33nQ(Ohr*xFcth#yLSJD zd`~?6SW(bHK%j}X0er+~EO+fbC}4u~LvadLG|0hi`0V;LzwfZYm{Vco<#psAxQHZ# z8WD=`!dy{Q*axwY)f`fFJpIp%1~n|t13|%{C=NUvKPeTt*^1D|Nzo21l)qW{wEhj^ zMLWmB!y-NgsMTx8megK6@8w98iCy%$mm**HK`jf6n_d1jv~Cij7`mW`y^@k)YE@}Z zW_=ii(dZm+16VAiu!fv0>Q}S)lA>qQ6LbCciT6(;yOqV#s$4n`i>3MgGf(J#|G#Wl zoI*ZN(y(hM8P_arZ!uKY?plvl_jM(dYR@<E6j%~LJonS#+xBO}0huOt_teSN+$Lr{Pj}tBxSM%Zra?r;$;lXOAURsc3N+q5I{Hxle!`i+`dQG+ z^Y6d|FZgfzoA#b{`)u-%xOf<4f&|ebC+;AIM#J%9cfbuN#=v zF8=noL>$hDsb5ytR^V{pDZwI)_tMd19O|2d>z4v8qVD8jsO17ci$~SP)XI+q~bKz{T)eLOA zw9v(VhEYL@{!Ejul9JM~4f!_m8KR#x!5A~{N8mOrjIJMr6`5vDz7C3(cYex)=EW7k zAx(nxjS!~F2e^r_a*@-bfk2XtVL~q#{W|MGe_=4s@Q*VwW#77GFVyMakE<2*kx$`4 zrF*fJoRbb(w`;nOz`d@>j?b5z>RcHMFzTe-n-qLAeFqo&byY(MHJK91WiCfBjzCDz zhR5Z@g?9OQGpv~k5*&JQ&p=eysB!eAXu9IPQXlSna|+dGfr=feeUh3IOeu9M-(NHq!?7ID7fvXwrQd(a{)%L_M zE6f<5@=_710o3}7XR0>GHL8E&Nx%R7U)F}6!q3(+AFr|TgxWw$^!MJyK^~A4bm9wJ zre{C6_$`_jz>dK^uq7{AmM13|gVIIG!V+mo>9#2`9juOHk@wc`5z)S*U;-q~)d)xt zJ~h(j02wDBYzW$!&nay1t|sFG2H`%ruwj45&fM__e39#d|l)&7+q!jAvt|8L46NMvwLA2|})a^pZr@Pqfd>DE+OE;k?k3>p_ zt!?UXyGzyrtLgC9@Xvx}j^~muHUAJBi=RMJm4<2KW-z;4^Qqjt zPn!I3Jkau>dEsk1me+!aB-ZBE1kWvVX0V@pW9V2E`!M`0i)MS){1MvDvwqZzn35U z&|b9QE&KJp$O}nW;}Fv{<7smpA+r(k!Fpe!KQ-Naa)u7q z{^(6NeM2G_8e@psh84Dixq0bZ7U1JD9X+hje4IgWS9p2}>vQQ`eTF_B(vYCNIMzB) zvhoOEQ1RWWvLBBJEwl|bFh6}!7h&rre*V!7%Hlalpf~a};tQpCdBff_;0n z-MC*k+V+Zz*^uYMqc;^4sQ7{m%YRG>45kv%^*;QBE|g=XD0W$0!dSQerH+$>^fza* z<3V2dT2`H7zB+PLb#N)H!D^__X|gt+rZ`H+eloK+`gBi-r|GpKl2*1a{;+_BV5IQi z;O9ADo_j0bdBzk8(czDY5QLR~*NcKu2m0ujL=-J8tfiA#^1e77Q zV&VLhGVoOFE*d6?xWAXYs%lAy)F9>wWeTv_EU?zrl_(xoI%ZL1tLODKp^A4!&Pdyf zKJlOJ5Rv->|FRap3k^oLT{YYb%LHl<1AU$kDq?DaCcxk(UZ0am`beUF+>mL=n(C@Z zZtuA_I0qMO?4$$Ahp-Ba@t+O+fsy}z;WVzB5Kuo4Z>Ucx1P7_}*``S?uSV=gUp3oIv=77F@jp8JFUvLg8$q4voR zieHP#@J^+CMW~y$b+uP4)y{Hm7a`~|i{cYRPtR(SYKj#Q-^0;KUzWOtQT*jrWqC-d zY6up36By=omhOWIWppS-!Dn=Wg#soQs!o${ofBS&l zqOz9VGG?>dcOitK%--n44wmlWb1fl{$7dPF!mUH0MH6dbq;tq~1W~eTHDp&r=mfb1 zs7p?#2*JR6N5O197C^!7;BfT`0t{7olJ;#^@M?6k+J%)P{LVY-4&U1yLQjH@-tD?P zCq@}Swn2u&b|M36Fw+1~=s8BdwK+8yH{;P2qLo-iEu*-O4b-f}_^k zgD!M7*n8CL(wBtQW0AMNyY7K6R}O664XlbwVTxyO(>#76L|=uKO6f4;q|siE)HHah ziQLlopV00wH`1Jd6+F>y-t&ZO)v*6v#LW03Qohz1l#bB1_k6wSB%pv!3~41bqkeQB zgo+2IkS_W+!d@Q~q#+yHfj*{bVx_(z3FV~XpTiVMl0crr$Ny);G*)P|m%9&o1tM!&vLz4hPpl zwpXebvz|yyRs`m(T+`zZm-+JbMC7suIgQc|`{n|p+6UQ!sSwCMNy$p-4twuM8l?qE zArCv9`k6M=l#RRHc243y>wUpP$Q&0)^+JLn4sy#{I$mWbGy`SiXj@zQ2NxZ@I5Imp zC1>NW3*@k_Z7C}wkW!S~RnaE`@ z4#_nSD>C#)$Y zHa|nS)m@Zd#4ECPCm95K6s?C2%7sp*maBZd8it=W{q9f`1oy##jYtJo_d(AC$8=qh zC=+3Uk%f_o80D=;dlPikczj8qE0o@5U_{8zE-tS4E88tPI{MzqD}A!Dbm<(=%6!Z} zeHc}z2Rve6$XfU*EuK++8T+q1~ zqCfedxOk60Epjs`a}Bk1Rwd<43Lc*axZ{*Y$Sh^JXCDMU0@=_bYf_NQZ+%|$=3*ei-^$YOuf9o+U-PMTlrJr(*(u8tZ zkNHi%{=UcPo^r8$&>cIZ81i95*$$B9|GR!c{=UnDb7LIHYtHZf z@hOee0O5lG;qQ;J`FHpHwF6U;{=mRV`KgP;LsUMGSzS|e_StUYQ|K(+PM%a zmb)JQkD>$dDXB2vw-tRUoW#INQCr}*Ni|~@l-*G5&*LS-Ta*- z*?{QiHT7Z81M+W-{PP&_TWN+K$TH-AoG5>qpd98;fA6~pV{xlGGfK=%S`piXR&Z`B z`XanAH6iM}g#=h&uJ-pABU5bObtj*LkNMvw-@+KMH=9Uw2BJ+ezUQ=YSUN@d!x#WB zp(gpBPqEQ}6|&(VYO;3Uye*}2()eTS%##YIXw{_#shiQZDQW#ce#H9Ke>FeC8G@W(obPAYlf4%<29Yg*T(9nN9cy!Rw19| z{+b*xp7J2GlPKywlE6)k$Tvm1I9SvK-f)$;L#)^bS+G%@2U#r1T<(+5(8!)dv9#(( z+x68Chy^Zq6%)b?$|9TCIa*)CTB!2bG0)J^iNhpVZ`g47?madUfH1(pI4R@iDrFPTv? z?(ypD%LJJG_Hdl&h(71&EJN*TiAT{x1a&tBs*PXAtfXhoS2LLL%$u0L?+~2pul_nf zAb)GCP+jMprGK(&xBMz5Xde{PmTtRD zREdg@^8;)YJrmeIRV%o>bg8FwD+64}oE%n{XYhXfROj%7DrVS1=SAeaH2Qn_?l)0<`W#|Flo-7UJX+3lC{*m-AD-3E zhy;=zoPLre$h&v;4huYtN<;OXg&}?U?2Y}|cw+Xs+0MJYVe5e$P5<(wb za}HP&y13%y1(!H(>h*}N+5hk-Y0$^dEtElI+q0Bm`+tyESWY{DsObj~6#*Qcnczasu0wyM4{Ru+ru!of}2su$sqMlS- z76!^tb}c))f_Rr5mx8&uZaAI2+o|lAjLN(`|4V34qpHq1uOLJXK+a%uqE17e#D}+8 zHme>Yy3!vm`Iaf|CN9)l>}8jkUa}lGX?^qL zMXi@gbFsT0&ClUFR501&C-W)>j};(UGs#|+rR%l06-sOdr{@W)rG(7?qj^_)Zrmya zZjS-rbLB1U=Tv)3I~l#HJXH{=RU`(+d=FWtt7Z5BwDh;z+f^`L5owl17=UOUPzW`i+js5Ea9fV zci+_D43q4!;W{W@7?$a_!RsS6dSli)>_vmu={2C3$8478&+`&gzuU-#dflILn7a=H z-3tfuvNe|$fym-F-=~yN#3=QolSH5m&h?hUe}tKQoRD=Fl*yt%aS;$9ycnEk_Hq36 zig&ISnSI(N5({+Be0b_-y%FamlG{gSewzC0-% zaw=TpYi>R|VJ-i;@=JT5L^9|FK7}ktPd)*|C)%XoQGky>x3#LW99Iq7N*P7uq}WWn z7&lZme})*!a?#D8^M+}|!F8+QaYD+)ui#;3-Khie;*02|? zDitN>myA5QEe$D!#~^4h=uC-dj|(Q0kJ)lk z%lT;z*NU8L^47m9Q=Mj4r_FJL^=IY7%r=>Q0^Jlz;(-#UeO?a!<~uxL8*gYTN;$o& z0+`Dt$jyHwVVnmsEzQO}!Gh8ZrksbRyZv%Ot6`!s3Ofrs1l5^K3*B9x0piL(Lx-Jp zEO+xBcYU=eelsoxD+T^B{6a6=ZSigqzYRLa!tG3fXo4~=>t!e+Jfkh;)gcDe+bGgy zxVd2%u=vDGr>R_(BGB_#u65&Od~wuXnrC`!u5g5P)b&e0vZPH9>$dV{&1yT#E{2LX zRx^=r6cGl43a1GyHL3UDxm)KYKlBxT{%UP+lh7`5<>=ibg}S#MIR#3*VX{z-Y;=s| z6Gf?ukk#54QLghk4bsT6<=qJ35TXysl*`;hSZxo~SG`L0lN zOfdwj{tf`c?JCa?q@+f;W-?`huukxxGz*ib(Sv;C2mmr5ku6Ix1>?9ExTZi&b0?U{3(d`c3zCnaXb;*8tBwHH}D zVY)BitSLm$zG;Q~bjrx^5>PT+2My;kc~s5U?IYQBDxgQc+;ovoJ~va^&+mpnJU_xyAHTFg&n=ACfqm<^@i3dX0zIwn5QrqAJz1GmAGah{^-r@Ln+P;%Ue~| z1${Y>s;U$2KWDu=*2zJ&V0$M2_Ls4f{W}E>&;myM6n{<%^0RN*0Q>l? zwNr=ybbrymXP&uMQ(EJ|G6$?;+exSV@^|22<`9w`vU|sJAA~SC*!5+%%5WO_)XT<0 zrx)1634$L=DbU#i$HBH6Ck`e%9~%y*Q&8*Js#UHYpH>b0a8To3 zB6JRszYnTD^{08d-w>dVzOe)QAv7ZRU+jL*=ChPG%H&q}N@T_yIuVM=gIY!ILeAE# zhSVI)TmH6hpZh7s+w{dKS8pk8#P2CvL^ezmuGTtoF0k1?qYuwsS^40Q<*Qq!p77{U zOsah4oio7Cz|#^VqTfX;FlEayOtD?fe(|TcYo^i&2WEnc8#ut4Ou|hZ(%hnN`0X&o z>=*~@k?#9+IGv9$6da}#ywnQx>z=LNQgEzp&hSRYe}zZi|HLEn|2v}spygkg=KWJ< z)CyJ7=bwqs{L1p*$=t#wGyA4R_a1~TZUA2pW8Mgqv9&cxo1a;E=bp96b# z^c(QkM=5QU7Ys+Kx9mf{Im1`JN-roJ$o&HDvf-nPpR}KJWr+PFNkji6x&FULEdQk# z@V{aYDnHjj`6(QTOQrTOT4MC*%><2;?9Oi>*0(yI+V3p?6pnb;!XTT^SVCKRI_Q|^8m)@eA0}c*>OS{p)n$@lo2@l(gzkLPqv>xLF?QVtc7z03+ za-yV3>ImW-F$!M~qu0aEZ8Dx+iO93{$s{SToqd;49<9F1qPy7q)SmzDUKRrUfztB@ zPB+_np? zk;eGIMroL)oRz|%nd5RYAAB~hpFVC{c6)=y*TWU4R)-TmLjdoF;--idmymplo)U&^ zwuIxW`d7N*9S&vHop&kA>uj>PM?+B|zQw?TCur0Kh#%H^7uK5+eF{g&FKgKzRrKW? zi@hR14i$0lRL3tVU!(88X`G@%(5aIp>mmaN%26W-1KN;&(c(ZM?Gk_IPdjU3r}@<< zjqW_xQL5wJ;QLwqB)%5Y2w6MGXXd#fHxg@ZFaGvI839=zpIXgNjN1HJIJF}?f8nnn z_Ag-em-iZ|DzNJNv=WTOeIP%dH&}kX(%V)Owx%Qt!H~PYmjfy0U_2mt0OmOZwMFiz z8d4(%kCUToZY{2JZ-wKVYmlTnL@ASkyf{-HVXEm{Cpj?6iRH+nr%Yv6?0{7{F&%$P z>7lvu2sM#%$WRwJr1=@-ZQ7!NNVyO?Q(L$`x&fZ|L%nJr zLh;P@jr*X&!0J42I{!(B!|MhSo?HW-MITSZ-JxdVuYCCZxvV6kSqpu5a?uD`?K|a+ z9WY)LE*PqCnMQlsJAR3K)q7^vBcaCi+~d)}X4yB%ucu1yYWjtnpgZX}IsSZiU2eT%X}3ev9m{PIk7;K@+U?Wq1Q z$NcMPjFS-jd+$}n3G^*O()f&tP`S?`#|HRDHG>$_kB$xJlRUX{DR=Vs5t&*U7LbJ6~|o01&+m zng)+-IbW%R8#P2Fu0D4|A6`)0GUo19NRvR6ohY{Hy}~2mE*uEN}Cs{}u=+xfud|Y>$RB-H&>VsyM1;p3$cYz&}z6u>DW|A~* zYq%c~A2?*fuXeaGoT}B~7}bS2P{YLiHo#)lub0-w9623B;8_ zgt0x=RD#cdzoECqmL)UYz)3!5Y+TV$z)<E-rXTKwcAB8{AOz2Uf9B+a%!SZVwhSXJ?FwE??^!3BQ zjC;jaBoS_InF)ie>LWNNmBP%X2-o=<7eVYnU-anz4h2f3_e6KVw$jEqG zmHYxUZ2REkC|K6DbPcQRx})04YbuglfnkCaoJt`a(d~uRnM5`K;ntS|etYIyt0A5j zSZBs9&c^k9_<D?WZXARQES0T9BEKjAf^J*kKjChba8uI0vupcufp(n`F*6}-IJ!# zJm=%M4CALqI9N6pCYU#C7=evXc~ylai-C)b21x{TZ|^y^Xi?= z1{2mIFRHd?!v}-mnHY4iYX`THgZjtf;`R!5Fty{o34J#xr0B^qAJr*tYBu*!@GkGDx$G7+h#E$h_me;{r4 z6tTBcaW#Q1WQksF3i^T9$BwNq-}>f`M+FKLxAq9XE2FXWG7e|X=UU*H z##S78%yfq=<(;YHrh2aWWO=B{l&QxLMqwA!Y_b<6*tiWww*ejDg0c{0R&Nk)2P&ep zU-+wKKfBlJ>VSB4oThm)%e$1n*g_Rso%8uap={Q{j9B5ZgF*@MbuS9z>L9k|Ab;yz zqig@0@0C|bM9~~zlLn4GK>#meBR~DkW&Z~YY7go_oxTjxGzGtSKz$cRSKS zw2JN>I)2MtbkDLuK;UgaC?WEQPrDBlGTdARm@D=#Qj)`AJ~JN`duT7_#xBs;ApUi` z$9z;yCV_}(I_9+Ce<+8z57OUDEL!DUOf>dY7n&ez6TX%7LeYm5dmMyyCCc09R3&)Ip;aiwSx_WG-))EW z+qc~Fj|HeZPUa3O8X9zc@i__y@_3vC&gsn1N;XUqyFLA`Vz3;KaH0LXZ&acB*Mshu zQoB67tyL>DZb;C_DAs>Y8G&FVLmVeNxUJsr?omGS%@5Sxd#~VoX%M6nLZ2e`pa!a_ z=K0Zw2H7B^jqCq{cMMu33*r{xmSZ36>UYJ9!gyY0CF&iEaw1>uXi;^#(o-!=ys(I^ z38}F`^4r;_!=)|;!*w((%4jVr-afKjoz;AHHwsL&2q$0(<~ZO0+TZbOY7waR2@hrwjPNs z0h>@pwGw|c?vC3z22ahJVwJwuXw5>`DgVUR`S0QM%{A0EIBerMdv`V4ysTP92UggHJpZ3Dkpg+54 z#|`Shw&mkvl)dSDxgP!CV#`IvN~A3}eN=Y7z~aPj5G zsVOoHK|VT>GtDfTXl0_C%V%K!6PFAdE+3lE)kX*#S)TSojP?J=-Ft^MwQt?RK|p#3 zL0Y7Vh=77L2}DFdL_`#f(jw9X1O!9^goGj>T|hvoB2B5%JCQEEgVIA0q$bh=DSpd+ z_Bro9d!KvG``+(9-}8L;57f0}B`Ygy{pOrwjxpx(lJ|~=K4q=^U7lXtpG?1+iFP#^ zL^3X&I&{BUv$jn}Q5$NLQF$079nQ7oK1BwRVM6f2>Z`G+wLJNv>GZx`u{W;E8~u2A zx^t&{C?Q%(?6%U9g0P>)Xvx69*8<}Sz!+GVmz-iXtldPwDbe*2B5)j@gsd0*ISkvCiCz@b?Bxu2jC0BIZy1|j>1B81l4_|Rr`&PCXp zVwa7@AL0qM_NUSf{Gf1NR7=JWZGbFU+|e{t64zE>9A`0*+gjhO1SFRa9-|(S9^xiQ zaxqiVR|z5|GuP^bf!PSxBnx7?Lh@ZeRdX5D=`Wx0&5t%OW1M|Rvl4qDo&3F=IHQb1i8?U(`8(hO#ZF+5fN_5;ohEQUT*D+FYU?c5)gPB`MbCzx zDdFDxRqV6%fg>#eqx)by(e_aWjUw>_uhz$pMDG{igi^lP5a{GoI5Bx({{rCh<~+=x z0d`1Y4x(L(Omy`Kf{U!8f5g9rZdkaIB@~Zp;jo~)IRei#T)BUOyv4p{{Q2R`qVO&5 z!vQ{kTlP=TTrOaYSn%CZI(tRK;V%z7^iL0ZQzGDQ^#A`~g9<|*vwbB3W}#b1DZC+; z=Ob>p#ZgKSH-#*H-E-=bV7eE(cgc_(^ID!cj*?Lj8|1~<^%LaBc$h(9RQL%JuLd5g zkFVfI@|O;_Loh#1twQ&{^ZqE|Ro0)eFG^G&ngTjd3+cbmUaG@G?A)PVC%LESCn&q+ zH$dr6VB)wHG#IS)trXgp^d9Kt4?aLWq)dP-G6MEoPdH$Xr75y#wNxEMxh)VIWvQPq z^FOv*Gf<>IbwT3R4EtPNOi)IuTo&mXUZ)xlzDl5S%Ku{e#SwJ|pA%Bfl92YPF6v^V zqGaQ3TX<}m2#0ryd`j5l^@X|&0HDK70O>O(V4q(n&DF}*%WYAh{>5U{UDeZdrJROh zkq?sWB*KoK7PDdHNFqK-;Uy@j)P8K0O@b+4`nD9OHq_k1l$T1jlyU?_* zdLOY2BcG6IcHy(RzUIFv@QPZwa~J^_%6Fo9)_w9eX(dA%wESor>%MkkW6??}IUX{V z*$S5o`Eyynoej4LS?OV((8cLNL>ADKOosTR*15>)Srz;-2N?VMeqB*O6;UTH@*UT) zPKU?ggVUe$&hjhm-5$IkTh>!AUIh+qim zLoD9D6X=Xi5U-JB2T|OUa|EG6DE4$&6`r;9fste{d(l$j-C?WLmayjz$38s!{v-Lw zZ2#p?P+R~`n$jup6ErN4yz&zSG}O3OF{~6-BsbyBqSVw)ToYi%$skm;c^IuHQk{4- z%u~(j?bv=bGLou8VccJR2P@Y+M~@U7%o}b{Dz}(jlTS(0zti|~0R4WtdN%o+b&s+n zb+CCVReXj?NrdjEGBzU|!w2{hip}eWp{txN*Y?-jWSk#w()b{i;=G;C#a}(<9si2y zV@SU$XlFm+H<3Bdq22=9piH-OT^w zyaCTh2mcD9a^#3#kMP(L-Jkb-w}rPK3Z9I?QS8@dxQ*af5kN!y7L_Ffo@-Gz5P4xy zT^T$6!Trv?(U4W^=4L_RnohLoK^^HmIp-&62@hfU+$~kQR@DN#)y}jAEUN=mC}-(Yw0E}<$-zJ zhg6%knTWs(dvd`(dlMafV%X3SfLb!CudjXyu+L65c%Y!k9ok(MqIB;{VO&>Z|2+Cx zDD_LHQ4I!!+0BghOZ}Oyi|CW^IfCx3+7Y>@MP7HJ7dWS&o(flEqlUT!3QLu?M>*i~ ztCTYYi=6dz(eW+d1}eIvpVW4c`{R&HSD&fZpHn5-EaJX|NyvE)ZYx+Ex6QzVKsf>)U{Qt4dndRZVVDlPUii$ivbI*u}VKsz9Tf z9U<0%VJE2*6_FAjQ?BB4a`NF8>pqQT4Nm#f-?KKAm0p?)LNXf8lwTJ(Wp!tn8hYI^ zg9!zharE*sg>@7}UFvqoM##V}kJz$b?Y(|gXu^ZWT=v`2qGWOxA;QVoo_HO}QC$&s z>V+Ah@VPeQ+sev%u7H3p@eB{kfyJ0`I4gxeLSb>6-Sm;ztsRYimnDucWLo`x{DjNi zz^F-w+H}Z%=}zcIr(DOJ(5jDNTM0k%dc5(7>B{ZujBAvx(g2AQBZiKlo9ypC*Vx=w z*-}c4oahx+cMWgF>Ta@Ll)FKgnP)x{8Sa9WV z^in#q9eYnS+4bPN-orC>Gqxj|+u9vxd=wt0J9AeC>Ybrq)rfU6j2H*A0)u8`H24~H zbD8?Y?jWpR&RJY$XsC{VYW?_qu#Kge`_c;Z%re?OhV2nMNsG|x#`?xdu*y=^j2YNN#f1!oFQzJz+RdtmfM01D!`*poHlQ=^+)wyQhy7nokkX zbR^l7n9!zEgfMam_FAP;2_jML^Tx(}{n(a-?#M2A-aB3|K?iZLac_)WG!f(tYn>DP zUUg)db#@KTu^9IgWLA^#4%eIP{(VTV(D6>YUAXMEc;rSSLHr0-OXzx<5xNiD(XsP# z0Z+b|n@&$(^Gti9y6c*{Gm{5ImbxF^C)g&zJSZY8(z>)$|unCu2svP9pVDSFC zYbKm@sWkOo#WB_5;^L17l6~P?O;Y-RE`V;kAX@r(;jW@?HIiwZBveeY9NG)Z#*@d( z)k8|0@&*$45ueXo&s9|`UAL~gvv$_qIeD}1Z@SMx4va=`JA zrQ-EgQ72hOq`YLW*%Jd`;rrWBK9cQe){7HC5(JY+RU^&s*6to$Y9F=T*j?Q|{rn{8 z`?-0YS#ygn+NR52hUI2z**sR*Ch6KVn3D`g3xUTS{^I)r8Q$ulD{jd>B!el%>c3&k zggQR0c@wTH^1!Qvnr~@k7Gobl=1}Z0q$NoZ8ri~;5}BX2CS^L3`04^DwsLzuKR?+P zSt}#J$*|?F$~M_^l|ZIzhV#u3g4+3o=0d5>5-WplBui&;G(>b8DVWP|-Ki*@`b?MW z^c_R@2wfqR@uJ8D;<=EcWF$M$5(B>WiW%$CP0NZj9#v&o(OzQJO_kQS*} zIS!FQpHA~R>Q8VP?u_b?+Ah?wV=5q2?5wN z53QQ|>c-@IE{ZJj`@Hl$`!5zRuYI1Ha9?6qKQMo!ENt^R!6q%HakV5G#ZPh@+hzN@ z-JUK+NN|@W-N6l8=o^fk#N~e58jAVae_SOM;>dPIPxM0%U5Bq+pfIhl6d}k7t0$MV zX(=_~$siiCPrq{9rmBKdcS$;G*2wNu@gU6Ybj*WoyVfab3$Oz$1QEZVMBu=(xbL)D zO5hU`Gx8m_m!~x)-!v(AJb9A+RB=Z+SmT_7FejmJK7#?lwlLP&R>aosKK<2EDLJ^8 zxB5i9xXv|Mk#xRAk^2F6@5Dx@Rgq2b7;GH!I>D=8HTia@bIB?FKKXUWkO-p+E5-6H zF@K9IrIhcAH^U?2(t9n(x|D^6b|ylgkGDgr<~T_P*a05GfI&TOx{GH&;=|?WF#hvj z6<^IuX*@hX8x<)Z|M}FJ149V z*rW~9eP2CmY#_>|iALBlx-q>>Rd7+Ax6ZiuOT*MAq_*EQNOD>Rt%!9jf;dbYp$Nb_}pJmpg&HUO(bmBCDuaTVC5# zGv=aoy@PJx&5zGh){Io2=s@wNEs;+R;RH0{_?-e7%Q;-!wJ;e8|G-m!BW9o#H6q>J*QBLhHkV^v3yY?`x0nwj^2d)Z#p=BW7nO`AmoPc`(X% zT11~(g!b+TmWxow$Ei(x@$9;*-8N6-FkfQVZHv``WM_zysSD^2#B-Mw<<)0ik z{P5{m#=m)G-Kv-;zh0OB%uMVI^+o%$*ScSE8Uqqq~e!B*kIc+)MtX26m3?UzIr zJ@&h5_?J2tv-WpsuzH1WXj$wL^wzZ5)J(HP(Wui!1u0$KTixBQH0L4gy0@HmQYgYa zKS9R-r59%W3CjOnt-QKFv?biFyE<*8O`}IcFBW~C$3%z6_z8&GAM`;QAnE_-L&-dc z0077K#~1zQ^Ywjnz-BA94rM_Nf$5R30?S7}uotIzs}%HH&lC?h{X z{3xLYEp0saj+u7LRR0Dp5?w}Lj9665vJc%r-}tS+O>?mRJ8RoqvW0C5V4V4E_VRm0 zK)`PK4LQaJRwu8Tyg5VtQ+8OP${6b%E2s*Bz z;s6W--#JRl4ePd4n1DFr)fR0hnqwFUAuBDWydf1|6j|(!nyrb*9g9+SGcED_bku zY#m@AJ;2emF{M$P;AsaUNwnU!D`vB6t_-7vB?SZ@j;t;Kg>Ojj6R>UB*+JEtB+2uFf85{2s5 zlr6^xi4mO`0f2-fH!8E60VX6)T&=H<7zkHA*g_oeOe=j@JO#|1Y6n+&wOa5l7>1l4 zhS=w>H8GD4o5@^16H6Jfc1Iy(4|sa6JhAqqUhd!WVJj_pDlNzP$T^o#+%h{qXZl)p zq4SNfghAQ6a?tf3msRM5699ruvn%%_IP0!~(>wqnOPwkkLkVi0`{4O3oOUbVB-FN1 zr?Z#yyyz?D1kdKBk?c&nO)s)HV^+d&V{{LNe|!Hiz#b+V{seu_AZh#1wPRlF!&{7HjmaVcgQ$dDaS;}_yi#08se34h)|P3@iEVo@w9W; z$~gJheDTNhX!+ag2NMGNRMAv8vBhU8i>}82+B;#O?UId8=4hqBlXT?ycxGOAZMv>{ zNJqf{-gDd1+AAB?zm11>P{as_3o#5%J~K1ZcdPE2M)eh-?Hu+?1GqIzTJ2Qtf1R{c z73cVFX+Tts`9gt)zH=3V2Hm-D05d-8I@xAUuf2h>7wc84^7ei9Y%0>t^pcUA%Rt`R zl@Aiq@Y*9!ZCFKpC8jdusKchFszy6bO6jt%3BaG@d*UYgj-1qSZ*|8AgDA z(QLW_noWDm*OC1I0Iud@i&+LJ@ON(Eq5GH@d3>eoY;gkHq@sgrx7`x-skl4w_ED(? z&ElxBe;1G7_cybq4+m_;c2VIZ;MVw$tGPDn$v>^~fYAbc?{|*};Ysz@uh+9Rqoo$@Tx2ViFT3LaG0J$5&uDQmd zq#_b*Bobxx(BcI*hzBum{dV3Bo{ITT?~1$h@2>RUC`v{8Oj{zAyDx zF+~t4QHvysKV9vMoq@Ko7iZ=TNHh%fy{_uw;`u#jMNe-1BWUR~2avSUXHm)%0+#ru z+6D1|jbsXCVM$x^=yPNo@8k?H-w2rB%(kBjOrZR}V8PY~&DT#BzyFFQ zf=48fD}aOqB?_O!Q$T*{avPz;l$mdv1za2~PSjgyv1CT1) zIi%-;w7PP$PkO?<7n_Hxa2|3p^2tDG<$bFY%_khJZJg`z19W_f2STW8B#VhXvf5?B z*DNQE<9My=Fo?B-uSVtxASzS|*Fx@5}p@STiV9lavKXANTwvA^pq-#2#Ba zcLPrwm@44A$~wH3mvQwlqb^?)d8~@Z)YdyL6 zgP$kusMpb*n(`pSS|&lq%dwCz<|3X{9osdxs8{9q5Q__vff{0u@YAbeX1Eg#4@!wQ z)41c{-;P2MDsUS-)U}Pj^d{!XHe7p!EhLzfNmT_?r^BR*K z_p0<)_+WE_sP#(F|I5J1?R)O6cxCL$rWB6Y3bex6D}flNp%~MqU|{7{<2@n95<^HLUM093+)DS8zK-iikjN?c+{aQs{dM+D@2#z#>7X*wO9h@tf-pFNzAa2Ay9=Ws>;e{ z^51C9pHUj-up5!sfhR5kOF#Kx7m(1oHqFn zAuznenxCuy;g{7?ZQsB^BOB$m2i@P$@LUW``bW%Pn#_Ok2q>6I$*Fi#Xe7KO#+Rsb zCK&%CP(VA~ov5uSlc32`rT1S_KjTN=f+D)xEKfK&O zjlT@e0zhA7k|d$h!`B|S*tVZcI&v3JVtCwp!$Cwu--b1t|1fkvo?PI9RDG|7E1&mU zPMeE#krSFEnR`A)Ca; zg@W&c2-G)h(_nY;{nNfR59#$E)9dJpSDjbDxrR4MubLnra^Qkc?kIV0~}qey5mGAlwL#BQCMN3LclHib%Pn!+2x4Ih}EmvLA|j$#i~L{ ziT0)c6U00v3Q0w%#M3RzMzOshX?fxK{J ztvXM=3OKR+Hh2OG!OUktf9OAj5*f6Ag0jR)P`_r#in0RuxMeK*EDlUKGeC-)VWYGd zp;tez&ou!}_Rm3Y0rRA6cz46&xku^6_v_Vs&b({Tn)tQuLN#`whkCu>eL&k0mrOP< z=~n;K{l0!aqa`MD=U&Ew{wRRNt)6GJDeGi*z1R;Fhxgw^9|PI|>Hc@tDmT+|v+Ol8 z-d{;lsy3>)-7XrcC+1d}@Cv6%6UYXDi5YXaaWJ>_m?u+aJv{>;8o0Vy9v>n&<@=JgDc|_qwQ(q zpL4b2mia{KIud=YaTc>}i@6D$W|IiBJMshSLH49FT4 zOE<5GVWxsqyx}LpP?&x1MJ9|awK7jI_?nn7{y=N5Qwgx^mhKx<$cawM;6kn zK%c;tlG{kS7!#(CG8e2PSz^q>j zvx8X;T#;Txvug27Y-*Pvb#Zg8Wa&2H<8?zaa?ZQ=o_;p<8Zub_QbbNQQ+ktp&0x^n z?i%ylt@t57)28-x=M*ly@8`0IdzK8r=ptG^7c)7H7-8L1Ah&EoNg%U z{PcIY07?R>N=TA?zWV}sf5EJ#koQ_yli8bdCe{wf^iQ&0&ZaA;! z9Q7)g6D3B{L~}PUMDY*rUEIm}`c)=-;!IrJ>1q=Pr9c=nNVQ+#GT7*MZadW>kaEzT z1Uj~6nSiU&bvg1$A>V^m_#yjK@X>C>AG-9A%}8|8kA% zu485!346SGx+Y}n5vSf}wfAlLK>RkJbD{T1K|#+C2|V1QpnMh36I#>*AiM5HuSFx` zf0@CZ1*}s4@roeS+dC#4@*G!|;+|ZH^GPNFNKELfpP(^8yyP#3Ib-x6j|7pGqx<^> z-js+0UaYBQl!!H^dwKfGmQ~jzLkECHZalNYIUc8{jEY@gcow73Bk5)^^K8lfWQTW2 zFJQE5NH!Ya1U&3)0T3;Z@_r=@@Tn_%%QoT^As}6QDsgL8HT^5;^P9m7QTV9tYlk-( zP703YlK@iHzdIo)i1k(FA^M*$>$XAJ2_Iy#N2czK%E~_H z1gu1!_lWoveL751fxtc>A>;xLRir!ub{VhOoA_~Frf_TEI2{ob4x;4$Ss(=toWmJy z3$0Jwa!8lQne>Uon57h{(74n~w_*sia% z14E`PLkO-5x}#(;kOwafhy2oYRdTVC|NnmrQ!5sbh&5YY*Ty@lYW@13*xofiHGdz z$d4czX2$U(xk(*Q)jDDCw@5F-fD@q5<1}0V2cyn3;%2(4{Df6DHip-x=(Sr6BK(VU za7NW!k%7`9NHFoT?t&}$9!YH+!c~HR-5xD+k&~G+4xd$7ivIFG{)$-wvN;&-Bk@uaCwIP$;&4%b>O0U^!s_7Qs#24XORYcauxVZq*sI9En~ zb3J#SEkOa(j{wV|oca}GA~V26s53pdPF>vb81HA}9&1moO}4&O;^;pWt%n}!?~HxX z;xSaaP{$U)UlKFY3Fm?^0Tu@O3pGe7&sV{SJ1uBQnCPBB3^=d~L&>;-LstTEwEnl{j}F zxz6`D3-kbO25aaS{<%o#qkx47SC-WiO-zA5whcq}9=ldb&sDuQj&h0qQq)~xG_4?7 zvsSMMN@W2*hjKKXCM0z>T?D2K`$4Z&)Zt#4I-R^2=5ji0?v|beqp7D>!c`g)rtQ*1 zlB2K~zA6~M1rPH;(3#;Sp3m}p9Fegbei*RGsjpx$9lv5Atno0S1GTMww))ey(Aqeh zpJbLxm}@@j4E2PE!G_oPA19T5DkX>)<5%`s=E5LRoM$vTZ7H=4t4dpf%1onp%S00r zJhu5YuvC3R%?`nVYUz*5`5zZZfFYy1M$7Xbm$jn+I2GwBK^piPQG=8dgs7aUg4Lsk zv~PMqnl1a1>W$L<{}ex-SOTFV@QuOgBIn$^7V_OOa6I>q%{0u6p>*5+@0=hl%9|51CH$|IU#u9B#XMF?Te`w9Miuxz{|m|cSC=TVsIjj9K$)Ay$ zRCi{aYyw7&k3N1n!0#AzGsS3urMvCIN(~KbXc5vDc#8heFj~jPOcH;?TNjmp9w{!| zQTQa0&1w74q1A6L!O!vRLr$3Xl?c~62Ps$a@DP%&t5AQ~hpAcdtg~VX_e-~^J{JdK z5}*u7Z9K+*i+19hNdNpRk6ZzBp+pJx*zJ(*;=MFq!=Xw*rJhr&KlM7(VL1d6z<;gVrj>_= zd5^lLB+Z(fvn{ZX7=(CZr^w(oOZggu6HG*Sg=~*+(ao#R5Ajoph$rneVi1m?NSF!n zK0tD}K&qy+cIA9^v^+bJSyw)6(AVJ6F4+frLRnSpMmxi|(kI7|Rl3h3wazN>ae6J%$SO=pOP;CcxA@U>CkB_) z9uqFM@CwS-@C2gj#WEY=o8PGvD$|z3KYTBXK{E9+RYMCxsBR+hJGjENqafxO0S>6` z*q)nR$Ft0)P~V^Gd*(?$Oj(wpEDEK>qYTCUocc6Qe8=#R>=&5OCy^%ze)9v2k0v3* z+Ok=WgHvWlnc8=Z8+tiLYPCs@b#Ixtv8pTE4f_$H}yuHu{q<7k6HF~PM}gU44q5Nk79 z=`cIy++Bau{!vk@&JgMKd{AN+-%0%T6j!J4g@{kUunos5b|Kd`FCWkTkNB|DBSo2k zTQf?D8fFdd7G0bHt=x1X?ksl*!9^qo{6T9>#2ka?ls=kcJz3^k#6!%Ny8~2-<9iS4 zYeY`JIlTAg74nl^X`Y^Y?(iJ0PB9JEyYY37khhSuDLwBi!)AtOjh`nLDVvS%l9l8( zh&_jP&qgKg4R(l!T!biXHx7E0lojl3FUqxHP7nehC-bXYGPoV;=mHgABQ@Vw44TRv zX{6EQT%oOf@T~l}>M2m|db{5M)|K59xScNPhCdcV6ji3E`F@GJMH8OHQ5Y^LCH90R zC{V{Yxx2!dd&B8E%-MVf$fsZbQZ9i=K$aW$+>-z_(SFGY1xkkbNwa_1MKlj3NOrG) z+kp(cvApZIJp30n@|WqG|6|gThlWA}ULyl*U`lMh%i);3dtz8Uq3{R&yW}StSM9|? z411@1qqCOblc?=B<+<{eP+5|N?TM6Pb4Lo;spp=}j&;a#v9-KTv_g%v%`t|f^veBU z?|}#kH$tGZt|_SqQP=OM)`z-OV z3HOweb^Vb#xR~gRu9GJw7TPQsq3pZ7L-7XHfl@_@i~4n3ybjjUo5S)FcLLY6SfBfA z*bX8E@DY~etO~XW;d3~0Q|MdM)rozMNi7fNA77I^ZIoFHm3uBsyK$C@<_9jtIc;2* zB6>NQM-P9q+NYU421!on2G281m<{}!7LZOE5}5xblHU~@hx#qzbk~fNi^TfMtolF6wCji z2fjaK@K7S}r7vyC8@z59L<*m^AlD8KL0!mbxqz^5wd5HSPt=#Jt4iDz|0rMCJA3Ew zdj7L_+FaL2K+&#YkK~E_{=-mA<@j(>I)#2K7Vv_YlI-vvq1}mSI zGtP30at_{dZnnO{RGB4kmF(O!sZGcZ<~PSM zY1rbA#4{?vE$^3Zbx-QPXr{4YzdLbih^UL8`&0!6W)ApTWBZgQ7g$d0Eyk&-7!5tY z8d&(AUThRLJmBCU(+i8c65~d18-3+%9UZaR>^&WjQ{6UTR_1_kz3UP554lVADrl4) zAsSa;50={z$azW{I7jfFH>5Em=(n1_5*8lGs*mpIH+kbM!g(%G`~kMbM#;P1BYDrq zG5_83%RI&ps6K)26sYP|f5qxYn_B!8980oB%&MOieU77XuDK@>f9Iy-C+#==7>Ot`BWy3cog zou$rGvFmWD9Ko6ab8Hmm1oSrsWWtdaJmsHuEUnBns|#ij@>VwiCj1FMqZKHpqHEYC z?erMQRs+Tfi<+9zA}mI~Ai(9+$H#{wBH}K#iy)hwmqo)3fcFG9A#7eQvYhmY;F%e7 z;@K(p*2HFmciL3T!z1EP2^HP)xgq{WN z*^Bt-6uCf>wCzLZ#}#@mRy8&CwXv;=GhO~=IvhG}F>b07(JFK+s!cScyU=o(&_HPE zV#eJOq|xb8uXjD3>@mh8<45-?-NRWGm#-H_g}8hHAdpo*9=A5dGD@s$xNrHqTvU?~ z;VV96o_r91K~J;5OVd6jM*fq0iN zhLscS%U^90*3iHy<=G0#RNilg||jcNPu2 zKnWt{2(KvT388rE)?{ut{UTmCRw(h!1OCaCOOdv3JegjIu(@P&^14a{JoHvofpdrw zn(=qAV-u|ashrb5tKH*k%EfWp#*w~AWm+Y_Iw>!PtX9;n&U*oZpVM~T*`~5>U#2h8 zrYi%=b36^wIJH*G6F9mkPiYK0p-EkKT)cc_Gq-6}kuLB8S8wdQbfKZ>?Oy6z#Om&dzMXx! zH`Oj1EK?q-_QeX5*&m`@EUas9=k#S)X&8-A)Dbb*^ginS=s}x7QZ9$?g1VAq?O<`} zRWBPBiLB}?ak2_=e6nX(HVxcp=UQD^EhaygwJL`-Kvvh>3yXYD(r}D&d@jk$36}yo z7}{~FRCn)!3aFcDgy|K9`qFaN&cR-0uND@c&}OEV>i$Sq0|}Z8Hj$DNXH6-O>URe` zJCBbR=QNEX)$%ONd%g6|RlTgQ_bHd>G#s7ig_k7-G;n<&Nhq5pg;uQBVyZl|=VY?w zl}1NTo1C zXK$tVH+R-QkdyyNRQ~(F!C|nukFfTV7f=q8ZjqzAR;I(mWZLwQo~*Hc}sp}ucT?U&^k1HbZk6cWt$PHfrABLe?TO% z%pCM0IcTip>4ra&RB^nmQTQ#xm{}xdiotdtEbX;b#Ybw`>@;UH-JK*%wPLs+kD#tq zgolc%Xsm!U`*ezWXV1=6fokhqk3OBV-L$s|F+-C;52m%^SCS(ALyf{f{s{s@dC?mW zq5Y<0x027>1jz#uk_3$1Dt+-2r0NtZPhnDf0&dq`?E_XCd0*_`g*?AF61Q9rvjJ0> z3v!f^lA-)Rx8R>WfJSkpoFqwsiviffPje^WwLu13j}?)7y@ot(w=S9$EphU=H3&^}n1RbB+o7T5NI2d+ zNjbTqE~M;f3G3={qJASR<;KwFv7)wezckUPVmk+$2SoZ)wy*$rHZbSD9bSP7!^apC zMsOuY1hwq!>Pd^F7q^{n@9B-~E;mJwbDXQ`^5#Bn6LHcbIv)&HnM4hu*)s7f9e$4c z>&A7V?Xv>I7l}-nnQIrw#aqL}YXC^^wZz3fca}_IMTj4B+KUbc5n%h4{ z(dVDH{WUI2rKLn$t3G7>fyI2Qt>wX%cbpCumvnJfP;9JG$<) z=Z-n^r|#TeoY&5#XQG{Q?wPN7Z7-YMZ`-*}kaX0^c|Gs(iN_sCf7fuuDd+;!=M4U) zi-f=vq4x+MauA_r(vowbhD7F%-v{mMa_XezhSlz+HLPLPD@Hg>>4I;=4@Kk=gW+^_F+G(9*X5ghp6<2yW zL|0|sM6u*rcVW&w8)15N`nPQD_2|$`fLu=%=i3H&h`ALbEM?HG6p1kxy)n~qrjss| zJ~zSh%nvyf%xM7w8YQZg@I60etYjM*x_`9+ZyCDyewRh=HclL-Jb8Up$yugFGwYnQ zV0GlxUJEX&&)w9)tI~TXH)U*Jm~}Biu7l`}c|g|GLMor~rp=nYXcDW93I}_0ganVn z?(&`egwqsce?+~6@y}ps@BoG(4_^fAh|-lcBylCcglQ+cy8LlL0Zt@|{2Z%U`HzH8J)ERe>SCRnD@V@Ovr z0Pd^BtTfo^>dN2FeVu~?WMX3E4-y2?X&Mk^N+u0f;?jLjMRrxVo?*R`xE`6hm;*vq z&S!*9R=3K1RW`y6yqMN6)_b>haFoJqy*U}!=Xoj8lm5pmx|&-~wdB{BrRgR|){H?&)7r!?#WDnbcb$FKXEjl)U>lo5Rjib@f4SK3(A#x#5 zW|1LwJDfC)rz2%!F&h?e@@Zh`1}Xaw+r>yYE@#y>gd*-|ICu%L3%qdzm`(yhQRa!J zW0ZmOo$m=LZI*O{3G4>mUY_cy5UMv4i8|7IcBdQrlUL)!bVWmTXxMc$>E4UxD>&KR zc$dCPS|Px3bNe2I7@{U(gu=nb`pDv>u8ZyIL?VqUNl{UE?a94QAP~_@t&8POUY(ZPn&J<4m8N? ztbP^Cq$~2vxTWdr>=>eUFOJ9V+?6x8?nmpL@{;`UK1%;|#4Fh?#9VVm2*B)UC6M$A z2?J&^aJ*!MB3t$Bw5IF+BVHRlW+PqUZ)!$dA5>NMyAHvN4QO@%YE~vpWfK&dtA$0Y zCXmuOQwA3m&KbBIvjADY_}~^rs#AXDM=@=X=qi zJJ7qUfa$te%ij+BllGVlD|tzgMGZJF%0*1FwFi7Cq}IKau6bMkN!I&CV0yLXHDG!* zP|^MGOt0oSTqHV?s0hLMYGWKpn7M+p-HB3n*OrQ|_Yx<=+9lYkCyzp4T=`k~@;d05 zCINJ_;>8|omX)@m$FtNSkDRH(lD;HPv-l0nqraBVPqY#iDXqAf(wfLXS&1l97w9Ai zR&R8N-^fg)JIgmC1xWs$-y6ZopPDRKUdM9^ z1wrjF&rOjAVoc5oZATHo5+bETSQb8yk%I~57ngph&WDpZY+<*fsim3Oy=nNPrJWF0 zotUo&N_+`0W+~{T7NVn$ah&BTEVRA^^8zgM<`x>|u+^OdAfy)lRyqqK3)r;W>2=X^ zjgf~)K-P;FCZFw_nO;&swJf#pu;x-k`TqGqk}uw|A7DH2Iq*Bb3fx-imdzyEE(u$m z$+pwtpgxxqs?sb8%}${0D=OMxarS03WLk8;micOa$wn}mzR&o=iRBTi>%rT_D=V;I zz@UWQ6lwW!xQW+kRx;(LD~nUyjAmh9!MTU`Xu$T5;*A*P{V^9}k|GzwaSn4>cod48 zq!x5{3}RGF$hb2KfmGuivE|IBEah*D;IsYXf1;%@PUEFrgzjj?nT^7CcH-H*IG&hZzc%XXq=#-}QEs!;I9OZE3k^j= z)(1k^UPf?I^-*s8r6>)=Y5D9+4=g!ZiZ6!@KMHFySbgv(Hfv>%_||qP^;(Y3^qe`?-(1epqvCKbznkrxmQG z1|&51l7Gu;QsKB;(HMq*C`y0BQ~tEa=_L?H4$T({nLsC{%3I|3LWl0>*q=sd|Bunw ze-+;TxbI)+(f(UQL;hV^`fKcn`Vr|KP{#ory=d6q29f-6Pgn+;X0HsrkdajZJeo#( znt!kC{#SqhQsElj%=iZ=^_wjB4?A`t>Lfj3Sx?+AeZiTM5)GSQRpx)^M|x+yb?!%e zJdgl?2a-%H_}j`LEQW@p3gyhjHwR8oxTsu2IJXQd4r!mo#xzD%4ur!3s)UH0wE(=g zoYwqXUHRvEa{m+ZIAFjX7?{P^#4`{R2WFR6-Jsh#npkZ_z&B}ejuVUU09)Kj#=gOo zndjqPd;@43?}%Al?ie5NRj za`P1U-0r<|xawEapvlr#0j7B7u`drX0K$T6a^b?dJ$BMcO#25Fb_;q8<8)3S! ze6%$5?)#E%SAsrfK6h?s89UHD2YijU|9VWu_y@E+TY)j}~{%Q`Fgl;y#tn{>I zBmkr*L7+Z=UQb~J^o<&pf~2CKAi^@(G>7zAqv+1z{i8~4)SbV+WITm)n;=z9Iz)K< zs0I|+ulyX7c1|5t8ZO(fjqw~B0RAIhBT6><5_(`MiG7QV|> z1X$&xr8dAH+vIg|*N1ia?%SNp8}*s^n$SX0#GQVFn`piS3*3!;eev^E&H7Tni^8&U z2G)Bw@WGp7^DDNVapQ%9kM9D8P|Ly>JNNu^9#QpwUmvNVISv|ua=Gqynu zF_^(LV;1i$iP>zw5W$5#1B-`BQfwGd2j$;r1kO z(*}gdYS&cTS4qO<0%L?Of1J-edWE)x6Rg^l#`jk=|`B^RRw2tz8qMj zmbGvIbSbomlNtp)_Qzi(3_H<>&hQr5Y)LBW#k9!j(Gi+@Y=?n%R@6a|MqFw(?-An5U#=^g- zns>y|5jtB}9_d+yvhMg(`X!qTIN^N2Ur|Z_Rzm&#n5_!c66crb-zyF5udXUR=XcDFZA?0cFW+L zdf)B#+27ODYdb_+EM_^*U8*n#9BfU_#nKd1(_?y0_~53m>sgNjk((`@QdA8iMQcbK zC=nV!5O1UIpfg2h{FF(Yof3b`0Mb!OWO)L>qW!XyK56PNMt?1Rn4vg0aikklCT83f z>0$6A`M%~t;+-Km0GOVTejE*HKK6fQ(4=ixMqpV0q7`6`R+t+e64WEASIYkq+uV0tpv`?R&TFdPQ3H=k%)7V+A}Ly%~fPc%2Og8BS92&7QVs6 z?f688_K%T%gox4>?;lFwr9Izsq!*avZ*{;%7p$q4NUT4A(&wKCN)6Ue(GGgwvN;up z1rhKP-41VG{sqLot`>_9G5CHPtTavPQ@!cOT({1PhLUqZB6y@4#F$J2-W$gSj#`c{ zH7>%v!A$k`-SAwR8)>masMY)vFp}65(#y<H?8mtCKXna+K6*uQ zZIYMLc<{lI-f!c2FODuh0ILM0JMYSfCj2`l;`TNI2Z8l%`x!06mktKW`d7^XF{O#- zHm+}n%m$NWtm7jHD(%PZP*eda(H$I2DKJMw)f-ZX@oSRdz(e(EfeQ+ZYxS8ACTq=j z*z$ASp#hDq=EQzYUN8r9)*aY*O8yDuuz17*T;YKylZ_Sb7kJp5Nske?Z+sCV3}4j zRBt2xyfwWYm5;PGk}LrbmL0wRos3Kxt{ty)+KG&rOlS_rf+@bXDOJBOHxZ5f6sNU>2Y?7#JU?`}i=;c6{qh6YP z=ykZiG&d^1A2y`*p@|BR+n9IFK|sDnP@5z_#)EKd2g(p6_sU7mzU!SLfzBaxyzfCG zUKm5{Ua(MnfBPRl50&Z=z$@AY+QpB40&3K=LCV$=@KP8<8C}-P_a3z#;4F?_EM>hz ztWY-aZ?d>faNx5rut22Ek@Y2zmQ&W>e!sZIE#a+RY#hg$njMzJtQVOw;j>GZpUhI* zzi+mw-UXQ!>#jv}trN~r*Io4a$!DVE#ff*XQ z)Np=4fz3BjY_q-c<>eMeT_K7V-%xfhNyctku*&wC=27LBoAy=H6>8vJ;{lMa3?dq4Z~MrA0jqNf2Pz@# zpad{hbMzym{b?X##kZY!Fmd`@#C~R|2TMsHk!IBW(#ok1kH((^!=&ZsNb2r_@X4s# zL8;NW#lhV$7ysXSwCtYO5)8fL3U7{X=GW&nRxu zYW(0nJ{BFt%zudCZ?H;zsNiGobwS0|WC%y^=o%OD*~d?CP&-(gi@yh8-yei@_}TpI z1i%B+71}s&2U4be7)V(m)pviFpO1lZV_=J#HP0bdOCfNg$HddrPpu!1k?*rqn8XHAP!vz}yvNo7 zfCm5Up?xa~RJLx1){E1VvpSIa*Ypr5XBwl$K}Gg>6F>y-_xqyM-`kMiQR-hd^SwbH&%~c$ zA-`$-Z!dN9!rVXOE!L0;xuRCD(nr zuesGCSORy1r3Vz2Av(A1`@!khLDztl-~D?h;&AB*2(B4FthQMC3cO4m7wCFbs+;5ulNWm1?;Vq3S+=G1leTP5sWH#L0eN^_%4 zakF+*^Ur@*PjUusS9i3-pN)(Di~erXaOFQ1SxlHoMvGSGPfE;W+iSDs#5YLwowslS z-8o2HF&ysMJtVX?(D6OPCj<&@K!9)sdqOPqQ!hU&aG@B2aZ3zF|kxyt}GaLWK8-$uLVfH_QTtCA-1MTRr zCLBi52B9q~Z~uA1L1YB4ks%lL>MJbmQLSo9eB$_^OI<>b8dIVxJTDbcR&5r*Yr(2e#y8;xWJ(lagPFE@z$<(%2&- z_=!^LRR7|JSz$)^9IJm0J)fj=J14EVBjqICfKTMnk){tphN}iNjI7K($R*deU&(Ex zJSy+M=G?|Q!LzF}*&Sm|83!^zgS+C2K`)l*zirD?oNe^J^2Qyrh1=T*c zN^b-_Z4}-+)@E{|_Hnc(2PT?JkSNNdB?{>kvf;ct>6ZK zj0<3EHi!*l$R7N*R&efX-Pme_VvDW zlIS;1PyS_xZG(7s3|W@1){0_m_wLc-yf9suyNu_PITNmB#cJ^(91jo6N~ZA6aJ1P! zIuE$;?RTZuWY)tOlIE966y2BI{VN&9MbHAzM}G8@EZ&ZZUw=~^jkOe7&Rk|MS+I1O zX)^XPIiCmlR{pY!9w9Q?EyV7^O~VTO3sYM15-@r;M4~Bvh$g0>^Vbg??n{VNsV{0d zSw=a~ub0bGOAF#s#(aXWDi89Oh%FddtR-icx9nr=(KGeA)?`e&+IPQbMA0Hcui+Z( z$cD8D5DlNEC80k@rG``6tb}Hi!%fRFebi`?IoigIkZO1BIvcQx=X*x->EL`F+8eBi zU@svQ_c9suwgN3`l9Jc?&4Tq^0d$8f$--!|CA-Sk2t0df50-3SJS3MvbgLgp^BT3u zt7`Zvg@nG%`E45Ne2%^*vpK_p$C1fY6q8WMvIOIjjazwo-KZl_R;LG;@LqyZ#M&d} zO7gsuR0@Y>js{0noq?w@b7_N@RXcoWYo@y62oJ>U=rGfgyu17qJnI1`xI zk~qUN_%gW2$LAYN`e7_(@X$3|<76W5G@#%v4=b2N^@ZumW7sSBX5O&OlFX=wKE8-j z*UYy>Jk7Rk5UzWhg9wKBxQUx*OLjK5VYcIGHd^AC;)r_$s=4`rT8TU1fKcv|$`iU* zFPE#AGrw%n4=y(vcfCR0kD(yQa3GGak*MeB{5mNWdnAvS7s|RkH0){e!gaT;dNtB9 zZxbPh+5D6tasWF31v_7JRkwgVhacYR&?kEpxq|A9wHDGcqJD^hkv*O2x#9+UWsXf! zE7$=GUQ#a)jCk)xx|8gsL^KI2ZD*OdUUl{t&ID{Y6h4w_3!0}+GnVuQ5OiHQDLG)) z4zJ5G%mZ5bX0lz2rp$+O7nU_L%;XSb4=rVfCSMc zUvtU>@tU{JU{~@kN-F2IHf-QwMM8sXtj-N}v{Z4NFDdT1br}o_*f5X3TA^=-?kWz1 z9$so#Gz()-buPJb>RKz=6dX;A+E=TJs~t1$`H~X#tqVw#uogmF;(XA?Wag0RqFhs+ zHCIAyKZ~r)@?<^JYEw;ep(_;=)r6hD=^bpd(w8_K$m?sU((q8tMxY73g6m=6RT|Pcx z3npSEA8eG@Y}MOGn(Wioy2P-$#qK*j5IDd!2yF?zb9!^(XcP~m`snY5EgO>s&< z5S+lg5nB~yCR`~*)nU(T(+y|YKYLQ#P(z|a3P~AvY6mEM`@n&WD*RJ?y;Kq@bi->- zfQo4vCe=Kpj1g6A> zg~`#&Abbi@01b^jN4wJEab+Bp z5n^87j5RtlsSTC}uM5rJ1|FZ2=`3&!8T=h$(#}9NL8}^K`ZkWG{#qv5M6!5t-S>;R z4@g<*ER*|Hk@ralg}dIMEF4lIz?3#PV0&#U-9@BVx>Gk%d|RBtmh48SbsI5W9kBOY zZT)17ygRrr&Yqk&f($tDZb2)GUgzz%4frhq#0^f`-Lc(-16)6Gtao`YTw6`=MWP4~ zR4*2b2K~)u37{9Vwd(`u$j0_7$jXN-sNHOXR#NKql!LxNHMV}l!q=i?0JF7w+w@Bo z%+Os7m<>iI@!;|wqfX(AW;)P0$6Dgzkd&ER`^=zJmDG%O=WUJ zS^EK7eA_jasbj#WY1x8S6qx~ZS*-RX;@-LOPd2G(%H2-h`$p9h-rl_ z;YLz(zVqZbRcD@fuTGQ9@w+-DQkK6YCNqRX16L&OR}RHP@ndAR{AX@Pu$-BmW)}MwxwUU%}?mob{s(n*%ORBPbJSq5qlg8xs1gHmF2GGC2-5m zu2HG)GhjV?T<&JMIjX}DsE7EDl(LjSGC1h}?QI* zBnOk>W2`*180SZ~$QnvB_a^xxHgJ?A%GXbF{8zvh5bR0mmxBZ_r#gHGYDsH1w0SlW}O@IbAk$nNcRP5qNuHsiN4#MgHn;pDHCaOmx z%2T7+SGDLp1p~HVwDA>WfFjDnV}a^2F+Y$g!IE5rgiF>>=my97SLo#!7hzMzg6Dt_ zAV&pY5KVESY@!r{Sln7g3|FZ`=D(Ef_ksZ=86Ntu*zr2Q3rGlp-vB#V**TL*N;5z2 z+kORKd8r@uVvcLbPrr#`|3^fz9y2-Dl5@iw27~^T?xG~VYjZ5CggnDJB7Zg2b> z!Xd^`^s!!2NN|vI=~wL3t8@B#>2X4tYkRNYX{2x4m&H4N&T8fRB{T@rU?S zfXuh7ZB5!MnbTge?lkWTp86`7pw}%VzI6#+Wzk0Okp80(A>^GXz9gQ-dI3$roHnom zq*L39FMBELwi6tDEYxw0(e}(BzV;X?mSXh?V3Bq@q&(}L%?DK@AjfgKEN~^JFL02v z6mCZy;}(&JWzu?~&cLm+a}66D>@98vZYgq77HrDR42-g%La?~+rqnHM=ml=+=C=}w z^#2GaCy5k*O-e`Lobg5_v6-h4S8^-u+s^`TIJ=m7&AH2R^N4*!N>XSpVX*lkr&xS7 zQk8%BMq`OM%Im93ujEgWrfp{#Kh|)pA~?9r!B_R)BC2!`T*a;tRo>2cb7}py(9?)g zx7v7bcpj}jr{n~t(2*F@ydY!CUGHc!hnP?`ch}g-MhgRrSI@4AU#+-xkHYHv_us4n z1r%2bK%V1-1_b|?*9a4eO8+sjk