From f1067f7d9a35502b92434a2e6959e4a3ad33dbb0 Mon Sep 17 00:00:00 2001 From: AmyliaY <471816751@qq.com> Date: Sun, 12 Jan 2020 21:04:26 +0800 Subject: [PATCH] =?UTF-8?q?Spring=E5=A3=B0=E6=98=8E=E5=BC=8F=E4=BA=8B?= =?UTF-8?q?=E5=8A=A1=E5=A4=84=E7=90=86?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../Spring声明式事务处理.md | 277 +++++++++++++++++- ...ateMainInterceptor()方法的调用链.png | Bin 0 -> 37592 bytes 2 files changed, 276 insertions(+), 1 deletion(-) create mode 100644 images/springTransaction/createMainInterceptor()方法的调用链.png diff --git a/docs/Spring/SpringTransaction/Spring声明式事务处理.md b/docs/Spring/SpringTransaction/Spring声明式事务处理.md index 1faf209..e901fbb 100644 --- a/docs/Spring/SpringTransaction/Spring声明式事务处理.md +++ b/docs/Spring/SpringTransaction/Spring声明式事务处理.md @@ -1 +1,276 @@ -努力编写中... +## 1 设计原理与基本过程 +在使用Spring声明式事务处理的时候，一种常用的方法是结合IoC容器和Spring已有的TransactionProxyFactoryBean对事务管理进行配置，比如，可以在这个TransactionProxyFactoryBean中为事务方法配置传播行为、并发事务隔离级别等事务处理属性，从而对声明式事务的处理提供指导。具体来说，在对声明式事务处理的原理分析中，声明式事务处理的实现大致可以分为以下几个部分: + + - 读取和处理在IoC容器中配置的事务处理属性，并转化为Spring事务处理需要的内部数据结构，这里涉及的类是TransactionAttributeSourceAdvisor，从名字可以看出，它是一个AOP通知器，Spring使用这个通知器来完成对事务处理属性值的处理。处理的结果是，在IoC容器中配置的事务处理属性信息，会被读入并转化成TransactionAttribute表示的数据对象，这个数据对象是Spring对事物处理属性值的数据抽象，对这些属性的处理是和TransactionProxyFactoryBean拦截下来的事务方法的处理结合起来的。 + - Spring事务处理模块实现统一的事务处理过程。这个通用的事务处理过程包含处理事务配置属性，以及与线程绑定完成事务处理的过程，Spring通过TransactionInfo和TransactionStatus这两个数据对象，在事务处理过程中记录和传递相关执行场景。 + - 底层的事务处理实现。对于底层的事务操作，Spring委托给具体的事务处理器来完成，这些具体的事务处理器，就是在IoC容器中配置声明式事务处理时，配置的PlatformTransactionManager的具体实现，比如DataSourceTransactionManager和HibernateTransactionManager等。 + +## 2 实现分析 +### 2.1 事务处理拦截器的配置 +和前面的思路一样，从声明式事务处理的基本用法入手，来了解它的基本实现原理。在使用声明式事务处理的时候，需要在IoC容器中配置TransactionProxyFactoryBean，见名知义，这是一个FactoryBean，有一个getObject()方法。在IoC容器进行注入的时候，会创建TransactionInterceptor对象，而这个对象会创建一个TransactionAttributePointcut，为读取TransactionAttribute做准备。在容器初始化的过程中，由于实现了InitializingBean接口，因此AbstractSingletonProxyFactoryBean会实现afterPropertiesSet()方法，正是在这个方法实例化了一个ProxyFactory，建立起Spring AOP的应用，在这里，会为这个ProxyFactory设置通知、目标对象，并最终返回Proxy代理对象。在Proxy代理对象建立起来以后，在调用其代理方法的时候，会调用相应的TransactionInterceptor拦截器，在这个调用中，会根据TransactionAttribute配置的事务属性进行配置，从而为事务处理做好准备。 + +从TransactionProxyFactoryBean入手，通过代码实现来了解Spring是如何通过AOP功能来完成事务管理配置的，Spring为声明式事务处理的实现所做的一些准备工作：包括为AOP配置基础设施，这些基础设施包括设置拦截器TransactionInterceptor、通知器DefaultPointcutAdvisor或TransactionAttributeSourceAdvisor。同时，在TransactionProxyFactoryBean的实现中， 还可以看到注人进来的PlatformTransactionManager和事务处理属性TransactionAttribute等。 +```java +/** + * 代理工厂bean用于简化声明式事务处理,这是标准AOP的一个方便的替代方案 + * 使用单独的TransactionInterceptor定义。 + */ +@SuppressWarnings("serial") +public class TransactionProxyFactoryBean extends AbstractSingletonProxyFactoryBean + implements BeanFactoryAware { + + /** 事务拦截器，通过AOP来发挥作用，spring在此拦截器中封装了 事务处理实现 */ + private final TransactionInterceptor transactionInterceptor = new TransactionInterceptor(); + + /** 切面 */ + private Pointcut pointcut; + + + /** + * 通过依赖注入的事务属性以properties的形式出现 + * 把从beandefinition中读到的事务管理的属性信息注入到transactionInterceptor + */ + public void setTransactionManager(PlatformTransactionManager transactionManager) { + this.transactionInterceptor.setTransactionManager(transactionManager); + } + + /** + * 创建AOP对事务处理的advisor + * 本方法在IoC容器完成Bean的依赖注入时，通过initializeBean方法被调用 + */ + @Override + protected Object createMainInterceptor() { + this.transactionInterceptor.afterPropertiesSet(); + if (this.pointcut != null) { + // 如果自己定义了切面，就使用默认的通知器，并为其配置事务处理拦截器 + return new DefaultPointcutAdvisor(this.pointcut, this.transactionInterceptor); + } + else { + // 如果没定义，则使用spring默认的切面，使用TransactionAttributeSourceAdvisor + // 作为通知器，并配置拦截器 + return new TransactionAttributeSourceAdvisor(this.transactionInterceptor); + } + } + + public void setTransactionAttributes(Properties transactionAttributes) { + this.transactionInterceptor.setTransactionAttributes(transactionAttributes); + } + + public void setTransactionAttributeSource(TransactionAttributeSource transactionAttributeSource) { + this.transactionInterceptor.setTransactionAttributeSource(transactionAttributeSource); + } + + public void setPointcut(Pointcut pointcut) { + this.pointcut = pointcut; + } + + public void setBeanFactory(BeanFactory beanFactory) { + this.transactionInterceptor.setBeanFactory(beanFactory); + } +} +``` +以上代码完成了AOP配置，对于用户来说，一个值得关心的问题是，Spring的TransactionInterceptor配置是在什么时候被启动并成为Advisor通知器的一部分的呢？从对createMainInterceptor()方法的调用分析中可以看到，这个createMainInterceptor()方法在IoC容器完成Bean的依赖注入时，通过initializeBean()方法被调用，具体的调用过程如下图所示。 + +![avatar](/images/springTransaction/createMainInterceptor()方法的调用链.png) + +在TransactionProxyFactoryBean的父类AbstractSingletonProxyFactoryBean中的afterPropertiesSet()方法，是Spring事务处理完成AOP配置的地方，在建立TransactionProxyFactoryBean的事务处理拦截器的时候，首先需要对ProxyFactoryBean的目标Bean设置进行检查，如果这个目标Bean的设置是正确的，就会创建一个ProxyFactory对象，从而实现AOP的使用。在afterPropertiesSet()的方法实现中，可以看到为ProxyFactory生成代理对象、配置通知器、设置代理接口方法等。 +```java +public abstract class AbstractSingletonProxyFactoryBean extends ProxyConfig + implements FactoryBean, BeanClassLoaderAware, InitializingBean { + + private Object target; + + private Class[] proxyInterfaces; + + private Object[] preInterceptors; + + private Object[] postInterceptors; + + /** Default is global AdvisorAdapterRegistry */ + private AdvisorAdapterRegistry advisorAdapterRegistry = GlobalAdvisorAdapterRegistry.getInstance(); + + private transient ClassLoader proxyClassLoader; + + private Object proxy; + + /** + * 处理完成AOP配置，创建ProxyFactory对象，为其生成代理对象 + * 配置通知器、设置代理接口方法 + */ + public void afterPropertiesSet() { + + // 校验target（目标对象） + if (this.target == null) { + throw new IllegalArgumentException("Property 'target' is required"); + } + if (this.target instanceof String) { + throw new IllegalArgumentException("'target' needs to be a bean reference, not a bean name as value"); + } + if (this.proxyClassLoader == null) { + this.proxyClassLoader = ClassUtils.getDefaultClassLoader(); + } + + // 使用ProxyFactory完成AOP的基本功能，ProxyFactory提供proxy对象 + // 并将TransactionIntercepter设为target方法调用的拦截器 + ProxyFactory proxyFactory = new ProxyFactory(); + + if (this.preInterceptors != null) { + for (Object interceptor : this.preInterceptors) { + proxyFactory.addAdvisor(this.advisorAdapterRegistry.wrap(interceptor)); + } + } + + // 加入Advisor通知器，可以加入两种通知器，分别是： + // DefaultPointcutAdvisor、TransactionAttributeSourceAdvisor + // 这里通过调用TransactionProxyFactoryBean实例的createMainInterceptor()方法 + // 来生成需要的Advisors。在ProxyFactory的基类AdvisedSupport中维护了一个持有Advisor + // 的链表LinkedList，通过对这个链表中的元素执行增、删、改等操作，用来管理 + // 配置给ProxyFactory的通知器 + proxyFactory.addAdvisor(this.advisorAdapterRegistry.wrap(createMainInterceptor())); + + if (this.postInterceptors != null) { + for (Object interceptor : this.postInterceptors) { + proxyFactory.addAdvisor(this.advisorAdapterRegistry.wrap(interceptor)); + } + } + + proxyFactory.copyFrom(this); + + // 这里创建AOP的目标源，与在其它地方使用ProxyFactory没什么差别 + TargetSource targetSource = createTargetSource(this.target); + proxyFactory.setTargetSource(targetSource); + + if (this.proxyInterfaces != null) { + proxyFactory.setInterfaces(this.proxyInterfaces); + } + else if (!isProxyTargetClass()) { + // 需要根据AOP基础设施来确定使用哪个接口作为代理 + proxyFactory.setInterfaces( + ClassUtils.getAllInterfacesForClass(targetSource.getTargetClass(), this.proxyClassLoader)); + } + + // 设置代理对象 + this.proxy = proxyFactory.getProxy(this.proxyClassLoader); + } +} +``` +DefaultAopProxyFactory创建AOP Proxy的过程在前面分析AOP的实现原理时已分析过，这里就不再重复了。可以看到，通过以上的一系列步骤，Spring为实现事务处理而设计的拦截器TransctionInterceptor已经设置到ProxyFactory生成的AOP代理对象中去了，这里的TransactionInterceptor是作为AOP Advice的拦截器来实现它的功能的。在IoC容器中，配置其他与事务处理有关的属性，比如，比较熟悉的transactionManager和事务处理的属性，也同样会被设置到已经定义好的TransactionInterceptor中去。这些属性配置在TransactionInterceptor对事务方法进行拦截时会起作用。在AOP配置完成以后，可以看到，在Spring声明式事务处理实现中的一些重要的类已经悄然登场，比如TransactionAttributeSourceAdvisor和TransactionInterceptor，正是这些类通过AOP封装了Spring对事务处理的基本实现。 + +### 2.2 事务处理配置的读入 +在AOP配置完成的基础上，以TransactionAttributeSourceAdvisor的实现为入 口，了解具体的事务属性配置是如何读入的。 +```java +public class TransactionAttributeSourceAdvisor extends AbstractPointcutAdvisor { + + /** + * 与其它Advisor一样，同样需要定义AOP中用到的Interceptor和Pointcut + */ + private TransactionInterceptor transactionInterceptor; + + /** + * 对于切面pointcut，这里使用了一个匿名内部类 + */ + private final TransactionAttributeSourcePointcut pointcut = new TransactionAttributeSourcePointcut() { + /** + * 通过transactionInterceptor来得到事务的配置属性，在对Proxy的方法进行匹配调用时， + * 会使用到这些配置属性 + */ + @Override + protected TransactionAttributeSource getTransactionAttributeSource() { + return (transactionInterceptor != null ? transactionInterceptor.getTransactionAttributeSource() : null); + } + }; +} +``` +在声明式事务处理中，通过对目标对象的方法调用进行拦截来实现事务处理的织入，这个拦截通过AOP发挥作用。在AOP中，对于拦截的启动，首先需要对方法调用是否需要拦截进行判断，而判断的依据是那些在TransactionProxyFactoryBean中为目标对象设置的事务属性。也就是说，需要判断当前的目标方法调用是不是一个配置好的并且需要进行事务处理的方法调用。具体来说，这个匹配判断在TransactionAttributeSourcePointcut的matches()方法中完成，该方法实现 首先把事务方法的属性配置读取到TransactionAttributeSource对象中，有了这些事务处理的配置以后，根据当前方法调用的Method对象和目标对象，对是否需要启动事务处理拦截器进行判断。 +```java +abstract class TransactionAttributeSourcePointcut extends StaticMethodMatcherPointcut implements Serializable { + + public boolean matches(Method method, Class targetClass) { + TransactionAttributeSource tas = getTransactionAttributeSource(); + return (tas == null || tas.getTransactionAttribute(method, targetClass) != null); + } +} +``` +在Pointcut的matches()判断过程中，会用到TransactionAttributeSource对象，这个TransactionAttributeSource对象是在对TransactionInterceptor进行依赖注入时就配置好的。它的设置是在TransactionInterceptor的基类TransactionAspectSupport中完成的，配置的是一个NameMatchTransactionAttributeSource对象。 +```java +public abstract class TransactionAspectSupport implements BeanFactoryAware, InitializingBean { + /** + * 设置事务属性，以方法名为key，事务属性描述符为value + * 例如：key = "myMethod", value = "PROPAGATION_REQUIRED,readOnly" + */ + public void setTransactionAttributes(Properties transactionAttributes) { + // 可以看到这是一个NameMatchTransactionAttributeSource的实现 + NameMatchTransactionAttributeSource tas = new NameMatchTransactionAttributeSource(); + tas.setProperties(transactionAttributes); + this.transactionAttributeSource = tas; + } +} +``` +在以上的代码实现中可以看到，NameMatchTransactionAttributeSource作为TransactionAttributeSource的具体实现，是实际完成事务处理属性读入和匹配的地方。在对事务属性TransactionAttributes进行设置时，会从事务处理属性配置中读取事务方法名和配置属性，在得到配置的事务方法名和属性以后，会把它们作为键值对加入到一个nameMap中。 + +在应用调用目标方法的时候，因为这个目标方法已经被TransactionProxyFactoryBean代理，所以TransactionProxyFactoryBean需要判断这个调用方法是否是事务方法。这个判断的实现，是通过在NameMatchTransactionAttributeSource中能否为这个调用方法返回事务属性来完成的。具体的实现过程是这样的：首先，以调用方法名为索引在nameMap中查找相应的事务处理属性值，如果能够找到，那么就说明该调用方法和事务方法是直接对应的，如果找不到，那么就会遍历整个nameMap，对保存在nameMap中的每一个方法名，使用PatternMatchUtils的simpleMatch()方法进行命名模式上的匹配。这里使用PatternMatchUtils进行匹配的原因是，在设置事务方法的时候，可以不需要为事务方法设置一个完整的方法名，而可以通过设置方法名的命名模式来完成，比如可以通过对通配符*的使用等。所以，如果直接通过方法名没能够匹配上，而通过方法名的命名模式能够匹配上，这个方法也是需要进行事务处理的，相对应地，它所配置的事务处理属性也会从nameMap中取出来，从而触发事务处理拦截器的拦截。 +```java +public class NameMatchTransactionAttributeSource implements TransactionAttributeSource, Serializable { + + /** key是方法名，value是事务属性 */ + private Map nameMap = new HashMap(); + + /** + * 将给定属性transactionAttributes解析为名称/属性的map对象。以 方法名称 为键， + * 字符串属性定义 为值，可通过TransactionAttributeEditor解析为TransactionAttribute实例。 + */ + public void setProperties(Properties transactionAttributes) { + TransactionAttributeEditor tae = new TransactionAttributeEditor(); + Enumeration propNames = transactionAttributes.propertyNames(); + while (propNames.hasMoreElements()) { + String methodName = (String) propNames.nextElement(); + String value = transactionAttributes.getProperty(methodName); + tae.setAsText(value); + TransactionAttribute attr = (TransactionAttribute) tae.getValue(); + addTransactionalMethod(methodName, attr); + } + } + + /** + * 为事务方法添加属性 + */ + public void addTransactionalMethod(String methodName, TransactionAttribute attr) { + if (logger.isDebugEnabled()) { + logger.debug("Adding transactional method [" + methodName + "] with attribute [" + attr + "]"); + } + this.nameMap.put(methodName, attr); + } + + /** + * 对调用的方法进行判断，判断它是否是事务方法，如果是事务方法，则取出相应的事务配置属性 + */ + public TransactionAttribute getTransactionAttribute(Method method, Class targetClass) { + // 直接通过 方法名 匹配 + String methodName = method.getName(); + TransactionAttribute attr = this.nameMap.get(methodName); + + if (attr == null) { + // 查找最具体的名称匹配 + String bestNameMatch = null; + for (String mappedName : this.nameMap.keySet()) { + if (isMatch(methodName, mappedName) && + (bestNameMatch == null || bestNameMatch.length() <= mappedName.length())) { + attr = this.nameMap.get(mappedName); + bestNameMatch = mappedName; + } + } + } + + return attr; + } + + /** + * 如果给定的方法名与映射的名称匹配，则返回 + */ + protected boolean isMatch(String methodName, String mappedName) { + return PatternMatchUtils.simpleMatch(mappedName, methodName); + } +``` +通过以上过程可以得到与目标对象调用方法相关的TransactionAttribute对象，在这个对象中，封装了事务处理的配置。具体来说，在前面的匹配过程中，如果匹配返回的结果是null，那么说明当前的调用方法不是一个事务方法，不需要纳入Spring统一的事务管理中，因为它并没有配置在TransactionProxyFactoryBean的事务处理设置中。如果返回的TransactionAttribute对象不是null,那么这个返回的TransactionAttribute对象就已经包含了对事务方法的配置信息，对应这个事务方法的具体事务配置也已经读入到TransactionAttribute对象中了，为TransactionInterceptor做好了对调用的目标方法添加事务处理的准备。 + +### 2.3 事务处理拦截器的设计与实现 \ No newline at end of file diff --git a/images/springTransaction/createMainInterceptor()方法的调用链.png b/images/springTransaction/createMainInterceptor()方法的调用链.png new file mode 100644 index 0000000000000000000000000000000000000000..7b2f9ff366f66c42221422f95e7cd7d49aada21b GIT binary patch literal 37592 zcmc$`1yEe=w*J`!3lJ<=g1fs*a1HM6?hqsdClEq#cMA>;jT77v=m^QC<=m5f>2z0wI5t5>p0&V3L6QO|M@8KO4mY zCV?9`V;M;?(DTdJ&*p+y;0%JJl$J9Hgwpl$4HZv^f(HT-gFcE0tA0s4Z1#1*n{i$B z?Qt@uvoqee5pt~km1qt+5+Pl*qbai`Mr$soLvozYb2sgs<^j`dz}8Ec2wkpSRja{t zN*>Rt5K0OeQ9ZBpT!EX#275Wcm90$#CNdvKnptPwl6AMOSqgVKm^#&3K3|ntMz9 zy7I^3q%G9TslN~JpJYMAul@fzD!YUvQU3XWY4Fzw{J+op6ZgJ_CaAw-V-a%o=J2SW zGcIvdg+vM7sZ~dRa6M?Q8e4Kx)N@m8+_;@bvf;&mR-F+7&nZvFHVEebsjqbrULbkx zPp>o@jq!=+c(+0HRAIggH026^X{_BG_Ap{8=L$J&O~1`C$ZLR8=Aa>2nsJ5ie%2vG z5v>}V_oR#VIDH~+ifX(G9XHCXXQUu?&C~yGulrR7^=d?Nt~J4zeX8g4_%_qJL9Nq} z#vNPpEOTs7-UJ02j23GNj3nb_c4^O@#Cqx5!(*P;$1{%_489k|sxuLNJIjoE53uJBT}><5?)!?3 z;o3vgm)Y{oZdb~LhrUf_dG(HvMLP1zsYjN)<~H>S<)zK~0j_p|h=@DT;lo7H<+2%j z37c(LnlVvt{SNVLRiOi|_sRq8^Ulu;x6*w?E7P6L`18*&S30AKqG-8{>|N3KH_c?N zyp4OEM79q{&u+iax406J(znx-6OG52!2=c;C&!2E29_bR17VYH*A^bnA<0}xZV&M% zOOF8<9%lv-CmwtLC#kJTvtz>s&d*Cs5*|!2o(UQc3(98ZcT47>e#BDe%qL%XoK6B) z-E?|Q9Ny1Edw%X{tkx;T{-Rt{Erm=b__&n4j zII}yDr%#X6XSjY$Nxl}bxSU$K8vZa=c9w z!$%BLLLlc!c8`(aEu2NEIulcO+fq9mKI;o~0OxA)7KB(bkC%`NvM;VGWn z`{?n47(6oH->odJ$RBE1p2(70uci6slvkEA>#qZ$f-V~FNA$}(iwneX6Kr7PdTPLz z@I_ac@jnUl_FpNX?Hzv!*<*0pLd-rh18b`M;w5O-5C#WBfo&x5iOUb)u}9#=MtICoB|F_@@Rz)Fu7Uuf2lDC#S11tsNY zRDB?_oYz!JhXVcdCTK;|x>ev&LQ>&YvfA(F+uZoWA+|jOey?UHwcx5+{LQSQ#KWB9 zuEdYH*GY1}*ZX2jveE5ixxw||c&YI=bf#3#q|^&Ix!>&__k7ZNo0!ODhfw;OgKDG(nI=ae<ga?#IdxYf zN5^jn&j*1wRnjsNPJQ6$R$Y_I28gQEh(QOEE`D!wnMVU{F9ti&R)_X-#HQPif_md< zO65=GrDPpn2A`)9`{K6a*|*A@8-IN{3GB-pqWvYZyr--bn0B=ZbVvGr1HPNf(T{7V zz3a^nOnpp91^VP--pmGbDV0+nm3EtHm3iR$Mp^BrROhL;DmrIwK5s4~wP)}Z5>n=v z-cV}}tzCUZ!%e>%D;9bfd=C4rU)zXC_eVE^FT)$lBU1XPbe0ZmSyz~MX0AqG&_Jl8 zgojIHOis7`H9r7r>b*JBR=bZvkpFm`4KO)Rhti`S;7$%aV)!H(Q5w2M@sh@d#6S0{ zzz^;2z2Re*P9pSrnLq*dB5S<=)@=~|=DXGQfTN?Ms;VlW&!GKmW=fBi8f%-IAA$45 z8fEHC$2on8L|^`lX!u@1dEGeQ{5eY$xSsQMIez$)`J~OE^0dpfUhXUggfzlg5|}!S z5x!ocM~S9uY9hrR7>Dwap+>LHj?31w_Q1XC_+k~>Z#`?28;>so-e|`cM%!lbo%>h2 zl*O3nWz+brL~B|3T3p1n9qOa6IFp+no9oDYPLOzv6hu5%191-5Ek8y}3FfTnhX&Gj ztX)BQ7Y!n-&($qR+bGG7d{5mbnMW7V=_;)#`sI|S7B}^(q&JwL;C2AWGq3Q+}5twhQ zv>dAw2gp)%dJAw8;mr1+{BAMwK0*^5oCJQ{TIk|4WPm6t!4_W0il0fgTCXJ(9F8>e zlW6x&6*JafoK*|n_230C9sLACUjg}YSp#8z37N<*9qUACVK~M2d@;DeVQxByZQsa? zTn(=S_}1oB_fK?>2W~&k)}O!*e9bsXZ#hJ2o9k-CYi6p}n6vsSP<}r(*vzzf0clrX za)dLh>W|BLqE{0Mm`yaxb&O=RJp0hXlNL^w#S@e00N;`)#K01M5dN6Jf{0KWVcJYklPi@2+{4NGa1SB`Fds$i*4-XF~6a@MC_!gFzOS?m%{Zf5K*gik)_GB(< z-(6IVTTGVus^IebULYMnyT&C&Zokb`i1#=}*`L#>cP@^gy-~$NBw^uuo_spKmNzgb z?D4&`oD)?s2)`5$cnDRM!mu>3fKytf8`-J~cFQ_n`E|fpSqf%8xe+iJ{zi^p8=d6l zW$;?k_J~Pm(&CU>>&QNoU{@xQMDVFuwrs(B2K%HLCw~S0i(q0jUhmzPYtI53MO!T7 zL=GD^B7ty2ae>hU6ALtXh;6S{x|`i;WwF}J7*agdU8J;>Nc}c=mQrr4o2Z5CPfUl= ztwOgjKQEv0VQy*3`)sqXGYHj&{`lAPyN12%=S@jLkByCy73Xx;M{4hNr1bU`z2|D} zj4M}jKQH~xV02mjPJri zLJta-&s{GcJFuP6?%sMJFXUBaRXh07cjV(p)eHMEfxtgI4~rH&nr9uptClExx9CYL zS?~)Uh0XV@?|i*lM}^EIFGlfxR*3_dFHt(v=iL897^f-%{aK0kGDoA{T}>?=yW}2) z&3PAGo1?nq7_1fFUsT$oUJ&k4K~HEoRUX49x}|+4`ONy7X;Z!##PmpUDi3}f6I@Pm zKev5414bhjk#UVpKBC=jjG|tW`49_`rYRSC`}~AJ7%&m7bVD(m>=2hOJTuOVZf>J* zaCkEx*WuKdQ2c`b__(!-bHAZoD)>W^SQ!UoogKL$3-8$QmRbeL`aXW3otK zM-e6eu1z3VRlD%hVd3Z1E6L|CCfm)E7ma+L_@Kdkk25^@vyLX|GA!8Tc)8MmFi71RHdd~!zMj?$|^wN2o= z<$3KHu=1!cu^?I^F{GM>%=qH($IfSM0?jOvxTR1&0DH+V5 z$jtZ{Ue!`#E9)--ga2MwfL8?a`%by};b+MLVxVo9*M!s00~FNr;%n;nx#VP#g^1;X z*PlO9=nL?|pZ z>TB7ex7DGgI(h+l4zDf`A17sO>6}K!5)x-q6FhIoB<7(}w+l=8Zdij0T=e)#;Cra1A(iOz6xI3Ra(<0U6_crM)r;3NQ<@avE8v~4wK|^)5-)a z8O|J;f`^COmzdRi^X{Oe%J0B<#kHgUC}m6hEnU|coHhl>rE zM;GXlUhlJ^1pmk8FG27(^^>+P*N+pPn^#3#5y4RVT4+ykj5IHC-n|d3cJo`O3bzQ& zbWF2^#E%{Y@?2if{Do&{#8tG+CJ? zOXI!Y3+A6d#!U^~a4Fg)RI!dbG1u;g+%@pKLR)oK+v6aRh* z_~U5Nzr>{$$|@lbjFyt2CB?sVWKKR7&wq(e)6@2U{T4+5$LsVDCF)Ns^TuWKzf@|% zyWL(uLjEOE{pnc}%E%HUd8tFPsU_JBcup&cr)p!g>CCq;AwkAHIGYao_3suub}wtO zHL|~pQgyCnof;p(V)X=dtU0D5+VHxt;>(W@CA_KuEA}d@Na~sDhagJ=*GhmHxC~e= z5|BY7tygZ-_0+m8?0h@;y7ee}QH;MI!gebYTZ0v~pY!3<)iXy83z4g)e>xf2>ZvSa zL}@AgAV*UKc8+F=LhPO?Ju;(juT`PUr`MnoM+kOLknx^>-`0tN$WTG-npnbPE3rqj z#GG+wlF&`_kKa-1$cE?NJs_dVwVYBao!R@qq|SY!SCM4&wR(HFEa{F)Iwk3Dn9F`x z`b((2qEC_lI}}>GEisn8A3up27R(TO*(^=LrSXd_WoA_DefM@wqd!_7a^p}`C^vm$ zb|k01n%n2w5f_fS2<*<)LsT9crhLsb=m|KwVUzv-kZJ4a4BA=SUx%1_F4F?S`LSy- zlXDnR30n9>A$c<%q9k-~zLrh1C+w4UacXp$a%ji9H;VL}Frm9;lihAM-}ZREY|*#a z0}Z$@jTET<^pM!ydXvfI`a9z|jQ_D_Vx{3K)j-2Q-JVy4N69q_T9Wii){%Lt5HUsA znmMUL5)Q^~kY5*a9gq9Q-0MDRaJx-l#Yts~)x@Vokq13HHoip7gI=#(iwjRK@In*m zTb;EZp$v{}>5zY`;gO#HghzmLs?A=K$tM=>Mmxo%Oow0iz)(?B-odKJCkv$xe2OWx!O$hecpHQiOqN{@I-CC9C;M|&gAuxgXsO$u8I2ho7e3>0}=g~ zb^^Y9fCjB*t&it%Fw&uaOaeMSHX7Zb17nbRCeJlx#?|SWLBSTziatM5v)p)mC!&q9 zXwnH;IU(dRvQEi%tqDF~5%az1NA-;4VJK>D2Pbia8L94k`R=1={1xJBp)Px#c-+r2 zGa_ZWVMp%pp9S|;TE5rup5INgIcJAv)1CK3`X2mITSiexo2%3(*|=EEGTE8){I!(2 zsgnowDGlv5BU%1ChBM>I_ad>T~eq6^EK8r&(p zTPNBe)HmTdy6UHRpJ0n_2KF?$ktq{fSD4k8sg+?xDh3yvvLs>$R!(3@iZnr$Z{#(q zi3P{J&ZwR_^&_$RYv^%!DORW%Txs4H>dw(A6oWwQ>9DCY*38&)d+c)8+5^0;*~fVS zB2r1OE$S)z!}-i?LK<77l0}k1ZL(WiDJtjGbWAGKj+No@l-O!o9|_+E7(wd9$Kex2 z7zWMyoT+WjJxGMF=#-TzFB3T$5!s4tMCTc2=3TU7zjd$Uw`rgGhq=aW&6vQ#2uHyw za!DTNL<)FpCtH|XSS&0opb`lT>Nb5onm38$pI%<}*&WTAD%L1AMa>BIz6~{)wci8z zT`_rA*g#HeWY~Pqx7}LKGc#5C;v-QyqLqW4Gd@II)(87})~W8J-?DdhnxXrZOsJ%+ zo`qynunD80n^W@(d<$Nvb`DwwSgJX*Y*A7JLj zl5danBtW1f!KYaIq|DhCIL(#8hpyzKgE^g^)|$(k&NAB-uYzh!Mv9H?p{ABgS>cBQ zZL-5$iph}&Eyf7c?hesSgDVkUVHneol>9ENX;Ec~=}OFag}bMxq>dEW;}sZ;zSLcE zkheyx)l$0Y7X(h6?PhsEG$OS!V+Bi@9U%vnWG4$SOcb)rO1x$_#hf3R(R_&jCTr}o zNnxZ=H``aCWXUD!c(2#ofSw0ESyXVt|FRcoM4|g*O%s7iQF&HH+bsb^y&<9U?3(^X z!Xf`58(7c*oC+^LZ_6C5({(>)FNdDJBKN(heEkh?cz-T%`RT3`Rr-j?iPboo3Bwv; zPC66m_ZN|@G>G409c;zfXnIx56W8&RINxny6)K0e&z+>BQfaaQA@!|Rel+{skl*=A zIvgmEP0yM$c356!qyUQ?lb>g=!lixtD6t7bQx)->rP%)OF;hF*4~z+-4`0fgo4r4O zzM8MG0XZJc*ED-x|EjG8&MPhfGGuJ7WXsLIZwTwg*KNtk`L6jHk}-h)Zo3KJ*)TIw zOLbgGz=QZ0FB$EOFnE?Nc*4JD8&7FbK5@V5bwz+#u!?s^9e)f4W3QO8w9WUMB2|d8 zmA&E9IJwXc@6~s{Hp)+^iB9NzUHq8hO5QYb;(b$|K$JgV*rafaM5Sbkr)aGj@ZElY z>Vyw!yQAVtHb1+-+MapE?}0_gS_bb|J50#ud*501N5;``v1My5qIgF?H9CP_ZtnDk zE>*U294tzOp%pv8^dO#qpjhc1to2*7K`6iW>Q1lnlC{ha`4GR2c3#r-{45q42%G~j zTH09+tg@wcw(1AwBsnkoo`u^J_A9xtlvg;MMQ!+?Wz9TjJ4760Zp~z;W)#B6T2!}g z$%{mZ;TbSzZpMl$+=|7$Ybv|w_%=|&su<{fT6$kdC5Ks^{I_TP;$s`Veo* z?~)WOU^T)O;TL^TT_}Vf>Rw=g=k<4yEJyASe0-jO0s}Zfh`WQ=SziZ}@9lwscdr4B z&%=Vj@{L`0*rrk_NI=eiTY-u->QwR5>6W}ewc>gxNQlxh%YV@KD5jISugjP#xV@l`Lpg`v*OrR2$AJ{9??~b9qI2aMON$JMR6!{syLH2Vo?=xgB zF)J7!G&5H(Nz*3`a1EeIm;Y9^HD+b{b$=?JOsDp95vD08{f*kUE=@XVSJPN`9svZ;Q0EIYP{-}$@Q69^Zo?bSx9KRD41n)ORO6Of&eP+a5{g2o*gbMW&a5IDJji>J#Ip zYg8%?1H+5+L#%*k>hYc==KJ@+9)@vBFr1(!jNr#FqCZ72;L2MDQ~&a@+N-4k?O65W)R_|g5=8p?&N z=@3iN^PDkO|ME~Iph^%E(cMnyH(aoSLe8EoBxv>^Uiy`sMexj@DKAwS`S1=opregK z^7o4Thpf$fEUZ%Ut8}X_wZ9tKxwWpC(dL>|8aYXak1K2Fy{V?J>F?@I)_phWHMtBm@QVHc19UrFd8m#<;4F2p(D;#kPdsVNTgdy zu`wAu`kfJBDzM0VkQ5M3-@kkP3nQ4^1n}_=A3iwLmT=}Xj%40xLD{pUt#I6&ym3?O z?{OEu-7Pf?WI{nh`R++8!KZxgvk*zTRe6S1dsb ziz8EC=vB=mZEoaMqDr(y%(#;SzrK3#$tE@=3J3)%4N5G&R?3X?XZ_u?)1nm{NKWH! zwqIUXmSqeLCvkmf)AL+y3F0fwSaANF(#XtzGhhGy90QtQd=WLt&hc__#bA>%jIAuF z*eL>%N>Qb5UJ$&_$x%E72Wy-!O4V03JpR$AR_fCS9{FLc-Y-9G{mUZdDJzNRXO-3H zRP)APaa}S3F;ZgmYVQp&sEw>`ZNWc}Sk!V}dIlRI83%1}RIye* z+yontG$hrd@aot6^kViJ;IYqo1ae+44oX;W0l* z4B~i3+2oYs961c(K-Z24cQ*sZS!#JP{j0~P?NCO7#8o{J-0LcM2d&26&)sJk@ax9-d>wXkEZaq6t=3 z8$NU!>VAiur0Y}0kT3YNclGePQ!z{FPd>#zeYYgkN@d1`zIoGC;@8kF6H0PUTL+YsE6IQS8WPYke^A4+q#>ZH*vMhG ztXO87JiUxYe%tT5>mMg_K&`@&R$Vcb`Vp13#*s?esprJjSuUEYMjP@=%%3k`HJ&%A zi1u%|K^|0*?Yhrmjt(rIP(TGag`pEsfbQhjIlFo{v{ zsrjM$dc^qsYc05vD5dGUAzN<*;BT$7NwVU55r6ZeRrH{ie@ZE8Cl-TK&&8n<2yJ$? zlmoB_Plbqt7N9!O3a)F3{{k0Mc0e6^^1bt_6pVjD3ue{B7t{A;0wF+NiLPTet6NyUn-5_YiainKK(DS4)rFoeJ$s?~kV*!Cc6W<^^!7#Ah|O;B(dj)uY~ zFQ95MQ&bMj`pz}-B@b92+hvazO{uY`w5Jw(wkmCN<>G&VA@nFW!j1_4p8^Z1$HK&5 zJj6NQkPXp>^C|-`#?H;N>zN{j1dWPnfs3WPvxz=OQo4tdoFgE`QhyEE>h-?cD=1cn zSm(n4fW+`xpx+Y>$a|p4@{HVSU=bta1oq1{@kd{^q~$7Yw~5gx+G&-XsL|HfR}zdh zeW&cF<|JCe`X*&RYxiBZ%V-YEyZRK|0HnbA#qF-u@8B$ad$l}S00Ef9srhMo%73!2 z3t4>97mTji3p7t~y+l1|=z?L_lpCt1LErUsX`eLsRnzy-4bh5Ow4Y3XwIMrT8WHl) zj_TvM@f*3h-sfpx-QZy)k=I1Q?RUo0{GNl}{ZLtPA~9EbQCcDI;8!wqPfG42YgO1G zVvcu%vt-czeA|Sj)A!QIaBMB!vgUvYaHub`PG%8gs>1ar#%+HJkYfIK@*oq8tsQ;8 z8LJ?0vl?)|Ga`5~Dq6ef6#83Nuu=V{Ul8v3&(%W4!`X?!fdG*qzEeBaTcts>vCWG-)}cm%bz#M zAGdA=4-toVU!WtY12`XjmLgueRJdQc;u)PQgdy#^4Ksw)gu1VvZGr~`yCYXhy@p#f zJ6QxslnuO1!XL8?1L$h}D3=O}2OyG>q7TPVs4e8x&`3)3&QpAX$Q5)qt6Ju3f?r4jEQ@%5Tzspt20#V1 zBC4av+|Gx%1g~aI_FQgDCnLtreU)@H@HKr{M2z9E`a zCx>*cl9qHD<3*N-z(tqcDZ(SgMT=2=7_#}gh(@24Kp9pVYU+zpcXk~f6dNcvd#s7i z5Dt)x>z_p4GKj-c_M1tihluXHUPA%Ul!)SRY;2xMr)U&Gdh*J$84Sqpc0;hw|2Fu@ z#_w`y5I{;T8O^Q_Iy#Yp5B*m|ZqhPq%B=Rwg9kbzm|Yl1;f^YeKIU(g000me)ax!q zlCF7x9N3HCAiSB>H#0Eon`CEoaq|Ve?k&>ZEJC6n<~nH{Ko-!X0kRP8_8-Us4fX#{ z7B)%&vS3=Un;okJ{U6~%rLz$1<4f$ZS+7OH?&+~|)ZTI#pcBrr^0LC^4IsQo)eKR_ zqodU-wZ44DcC zMD%xYImD(%F{9^JMs2Uy%s1;}znok0SXuxPZdJOCGbXff~dL1%bLx$4aWz0%;n0bJs(1 z_UMyj50U*y`PG=;hyPqb#CKt(w6F7PdJ5gh(NcaibVS5(3AWcNiceLi`~_EI^HUvz zu0|;!W~*2|Dj&cF{^iUHiNKllC|sKx%pM zBch|Dk#HEf@gqX^{#QECvGxBu9nijsGp+1>fdd4X+pHTl)CGw>hD(Oh1sH3#?yERj zKRsNxdZ!_Jw6O1mJjm1KDkMmA#w=fLcXb18?H zP6bWFuFET+Z|r8xM;&0l*N}R9Irx_uy0PSc!+==2zhFSC zVmP-Z+lQ^QYd&P_P6J^dPVpspRDWVAnF*(e#c(_>N=izQ;l}T9?eXV->3`farq-t~ z6HC`%bK^8_`%DdR;`0or@51Et zUT38JDHW%TuUbfuXYK=G2Ki!a0?Ue(mNs3rlc_0rvg|7%2ZyrX=kmq|$W6~WHyWBX zcQOXHHjPICsSfo%6Fd4Ixe5#l`>Ocgm?a1@l{Pfm_ak)s#?^Q~Jy`6kradZ(5afY1 z<9L{rXyYZkh<)>OdCDVo7ABeEWsQ$)f>zIU06+b3;zQ8)rcDm}OB2 zI3Xuci&YY5$J&%zTg9-W;eV{Ph3t}rDVz6$eSpl18uM)4FU<69=B32MoVFnHPYqfG z_H+ttI`D02avE-6>NIkG2d3PF3T*0B|HJS&yPQS6IbfOVoImzy9Z;3(Q58UC7;6Qm zHKeKwA4%jC`SjdbaaF{$P0`frD;ND-el(Sg!k$3F1g38L)^#JXxBq=ay+9S~E{kPz zH6$1Rh`%23<1D%k{kRG&LnI}Zk+tuym%NuuyEocI9@2F5Yr!R5`xf5KC2j6@#a_!! zRxd;Fvg*~MF?XxYpOyE=;JC>1kh3wpc0>bwV*EEi(Io>x`&+Z&ZDCFsW6)+|{Ge?S zhMj$==gk5Th4Jf<-KM1SR*h+J;v=ub`{=_WGk)kr`l219iP{+gkc1t|^@eHrtC1zzo8DAkHmJN^9 zgC=$LASX7Mezw6zw?rjT8fg)xhTBKvxN`^#HVXXTrT&tQNx40&cu zk3NaO3tVBSO}5I4$9qA==NA<(8EPVR{33d!jQ){TvqAH#LYrbnlGb&zA#?sUEmt$? zVC~>PWc{Bb4Yp$cS9ExBj^_J?c5@Y4SyVHW!R>Q)bh6>$a#(Rha^0s&Psnlmf66ZB z08LWqWtlbFpX$(}Rff}3zBlaqtl)ckRwnSYyPc}O1exJY}gLkTh zDN480NhZ)w*7Y_88iU7C^9EvYC1sy2P!RyA1uH!w3R~J(`yyyhQ`1MN5F}`d9Bfx< z3cEP5H@De?Uo)&ivcDAr`4F%~j`kQ}BSC26RbR3ql-KuA$^4(Y&@<;XpRw4|Mmp`+ zEHV5zQc?L$-hFVfrQ3;jwY{59W~`SpA&AVJL)01ZvN_-jdr)Yqw6Y)JyCVk~F5lqA z7#RfwIijS|PcKK|bOZw>GZ5%6xi3@26)y3V3m-7SON0`1%NktH96MlxkL=7M;mYHx zqXzCzek`qjmje|$a8lEK5hVB?=!thBr`GKC4-dhg5A6#|h8AR=;1bcQ@@5dTLz>Tl zO3a6yvuho?eFN?2A-sJ^i`Bk0)g>Zl*-V1mWI6FmPt{gHO?$aIb=W7W5#PmS|9-q@5-;V@zO&H!mEHOORvUStt!t_JU7!r=lc&qsi;U^ z`iXmNhaf$fb|18lIb8V{EEU_*f%L-K6I~D*tZbZWG9YL_T4jw&gM^suVK)F}u>n8J zJv3>EMhZ`U3C)B(2_%DDxIUDvR{3LNDzsvUt}8N&h}Ax3Pu zC&MxjDVcD(pOdtHGa6Oy8uXZ=HbM0PxRA2s-xpLSyU^4&^L+8AD-%Glw1cTDUWw3Y zuxF2u?k%oQ*NygT=ZYl2K&;jQ1W<%>Rh7!{SdR%@C=c50%6i!}c>sER&9P2Ckb{8t zJqp!czm+z)W?%qDCN$yT4WvItF|Hv>CL5u5XbAf!%_fr^rw$Cue9N_-@S)eF5rTOe zqk%j)@~o?!OBwg`4D})DOOLk8%d1Pczy(gz#8zTQGnFdo~9Bsd1^aBKtRl#+vjWd;ob691JfZjeno-hG0X8wPjnKb*=<2?oLU@ zqu&xe{8RkAQub(luQD!D!-VmbuuL;{r0G3LK}^Fmc|iK8_i$>trMe_ghnsDVWNnzS ze0>R}88p02I4n+FXTzd?d3<=5>HfRbTW-U~`u&^XC&j|6TXCSonU6e8!C9lHK56}m z!6s?|j{%n&SdCJL)RVFgDu^dur_;r2rEj_>mgmFEzmOYwKdvs5JRMJ~!Ob%^|2w^? z2o7a+ysUU|bDh~GnkHq$Vtf&q;1f~mZ-XUnLC;@vmF)4d76nWg_;JH#=LHz=4J<4q zI2DSc|F%OQeEQoY@l9Op+VOyU^@Uph<|0jLY7CMgYmprt7ZcQk1}qaqy&ezYMOM5s ze?t6Db0xe!MN+o1a4p5;wByfGars408~tUc7?&D_2?g;dFwT~whUbfT*jf#_C6;b} zSd3xY%hU8s?CmcEf_p&6gICp-rf{{iO^^JI(=#x6$7Z|?WlU&laVa9}_%KdzZ=vLPugWJ+ za>=+Tz(OH)Nlr(VlLGBFOoUCH8WxOEsp^)b9B))PX|KXd`0XgkH z#8E{c`OGAn8@^m!rj(WtMY?)h)Ubk@BlTdWOz?721yIbZDhmAF2D+M>hNZf#K6?E3 zhtE6@oxY1-9t|QBu;t^hV~Cor`|D30f($lC3U_c%PldGr`788#4EGcYCqROH9iwv0 zN{sdiJJY4BXW1kKJ0=(rb8Cz|QkArYu*i>0;8T}Y*Rb9+xvYC1Sqp2l7(`7qaFbC5 zrARC*>9rECQZ08Vj5|->90#?!G0l{8UqXy^LTfj6-cPFv#5e|0b$1$^U^IRaJ=tvT ziqnDWlCdA-jg{)uL~r8flR|GcOEoIB>tTC~u~cd8jfbGiOV*^NRfOWkfR+K#_A~`RP)SL9QJoTdH-{>qp*X#61FtN4zq!3GE6g*h1N6*d>1yit^ zv8o#1h3{ngK80Hy?>x-b0{0e7&b#E!IGqjZ6f^wjHK;AZ9*I&jT1gm7o7l54DQPm* z$lYLz#439^_mQK8vU$lb&);{4V5kXWlB##&nT01Zlw@P&uNeAD<1%sxC4;-Qqgo4o zB4a%cEHudCW;sy=vgO6>{r*u(Vx7+z9&D3HBUgdt#M25XV53`{viSs?jIiC)GDH!T zr2X+-C4tj+>~x{`>TbCSY~R#HS(%0w+L=5WJ?ws4KcwkqAz?VOUo}TxB@4Lok2DA#eFFdc0?Hn8gzx-L-^eq7$tW31{RRD*B0P*~7FD@t4)A@(nZmtEn{2PU`4v>U~v(BJvWOJ+^Eo zjNWN@23ffbZuIxX(+7iJjn*2-@l~!J4OtIPHm7E&g#*UpiUETVU?WIQLTsF$7Od}M zk1Z%;ZpGdmEB+JZ&JSvGy_&sUAo2+`@Q2>GVnB7%<-eW}t2VXjkLWR&Gaa8X1c843 zO>mY2anlxbV{Rx@6TdhMCNM_rL7IIMZJP)2^r7!dC-%u#Jm#AoWEB5b;|Ghx|1f@R zdpA|94SpsnR-=x{uQFs!uJaZGV1VJjSwE7^rN0>usA6m8a7sNE&uJ3|(uTay98+fQ z^fS4MB9;U5EcZ4>(8rnLi&}q(cr)9;3S@e{9}v{9W~c#2144goDvb-AH}VXtWA%bk z&L*zX6gWS+a9O`b3Hqn%t5{WcSsFJIz4}dmRgjGM{ax+s!GZk^WyKi4MZsP zb7DzUMe_~$0x;Oo39lixHa2{~zyb`QKd z%Y}ubl!l_jmuIYj8AmF~!iujbsSW673H*j{9G$Bd7%x0W>c|@nwbEj(%f%u#SYA*j z`TAnQPVAO4>PJ9ukr+7_I-q+xw-{pcuZpr-)v3PXGNrHt$!{K5m8V^2i*rT? zU#R#h%H8jA>sVvc>mS!zj{x?2jROL#CFHTCEQ`>8mODOxcx0jge~GnW_!pF(e-b1f z!Dtz#$o7WzIC-j$xidq;({GZH1}D>lX~uZ}H^ls%L;0Fy(PNhEP|m;gfa;wP3Hq@A zkD7B398jc2NI9<24(;YCcXjyB4wHEKTNP!F!q+8|c((QZztko25zQr5AV&6iIwmhn z$RmW2Hyw@^6vb#>BRErwL2abtZzJ#>TNeK> z&XRY09|Yxz9{aa@1T`9~wUU{IH9 z7CfIb?&cJrb{#FJl`IZDVSWYZ3*u%DP^nh=I3(|ag8n<0tsOP6j{1K# zssOoZRFzZZ?@1ki&ZFbyq!53{PTGU1rvs-b$8iR}3#Uw?#ZGpDD5!0H>|sHm2BL#g&T>IItIx)8I0|@XkOCx1p64fq+yt4v~2jP&8V%JxDbT`A^81+BWKQt>c zYHS#ywjPk7_+c)U#xn1Nqw00ABQ5{oV?i^r==V>CzV||`wH69ZW3BTPQ$CMNuci^G zW^tuuO!F+G4EV02woXWRD!kZvCATC|;)I|AAt_S%geHP+b3=-k_0Uc5iPTyn<*uU= zX5;GKHY(HO1(RDZ%yl<$vM)Eo8D@P6l&w?rLS4<^h~a8srC~B)@U#EH@rtnKk|Fs5 z+=Gsr_L!yEYXi-?EbhgPD`#Qz$nK|KL=H6Kx7X>`E#wph5^MRc0Y%K>6M(_WyoR;4 zid}9(t8@9_rl21LMDdy=TtyRsL z)TDtx&=feE=aMDQG;!a_3QIFt;sbs)&J-f*SMjVsd>)XcjSW(u2=2`K7hBYzFoF!C zjNoTxEUuO3!^D%~SR8oJpe?_Tp@#pW`8FZiz2)F%?!9Gtz=DBO(ZjzuTw19MaIaK6_}^urOZff018nt5ei_13nfnT z+9brssPQ@%{eXVVHX-^kNPCv1i@Jem%cMK|Rt$Kv{Y!iy+G=$X- zE$*D$sr_)Vn!(0MuR2wPV zqkJ-$a#=RC{tZs5FWHj4kJ$K%AbMd4^P3VL7^`5iX0D=g6YH|9Ktq)%)%eq$wpGSj_UXF)rwm$ zJY5;*mo@^v;EVMPrUEkE)jO{I@i$>#yy^O@p|8QwR{a}UNuqs!GdtZEWS3CLbp7W? zV`$4g}pD* z6a$;CNLeLe=;lHxV%L=XB8!H>$p_naNjK{aBPJ6U$S4J1E$jjUpK|U1cz<0MWAC&- zs;lPTdqi?0ST89YkcoVM*b|dTMMs$S?S8X!UarGE4`VpAEjscJ4wYb`-`$KLwdHfZ zj6JkO&xXaXj%l`)`8yP{2aGb?l!fyM0R&JI&gpkk%^$X`^$#TRf}j2~CH#T@UzE_2 z;crS9%|1`+OZ$^nZEMhHMmKECuW##m-uN!S>&>u_;G6C*94UbAGeT{7v3d^AH#KiM zIND(_1npM%7aE^dX@)6ma0>FaO`mx>m;nX5e>#2I8m2|JxqvVHO-p|j;uc`Na$P})_W zQ7QcMVMZB!Js6OCA^l`Z1eZp~hp1Y>K9)rlDaCwYS6P}lac^>K&k!);ApYkL1Q|@F zk)VLL3>RpYD5^!d=ej_JgZ{+@BDXx><+B&chrii&H!m=rFV>toFQgPLP73Uv$-icJ zPWP@XH$WTT4QH4x@VxjKSn_6nk#3UDIkr_fkRG-?mYx@KR*+RALWlkh8Id2&?)Ne! z%DN6l6fYLj%D8%gHTjBmVLV(&2>n~YWz-uaS_bN^>eLAWsGk)hkfREvRYnl^O6Qmn zz5;d-F$D2AlE2!7%lRG~$@>HH*{O(z#JznUr~;;MFX}?b&p!3LM{ILr*E_Y z`@a71@f-iaVf4?3{>Nsh(SPi=dMQu;PlPE?R3s2WDnOv8$I1{GWyP-EkY?!-s|MRE zNkBJD${;4N{}b3ng+KO?9o}Qk0_;3_aV?&40UJ_^7WKwP`y7*Qz;2hA|9$6F{6w{? zO=2QK0ye|Ud+m6NENWMhL@^9Btv>;)4ZQ{_CH%?1MZoe*FPoOuI}|+0xyITQ6nAn^ zWXfajQ#iG1TS9ECE7iNeR^{g4Z_h5=lF;3{)uqZhIm+G%#9~f)e(#BiTrI)nr5j4> zl>Ka4kd}OSR06({=LVpP{mY@HO8u)kZ}+;cUVm0>1$*5CNkJB4H_4qa20h#$d<4Kp zo|Pw@ZKU+?p@V?^FRu3Y(^aZYb>sJKje)vqM4x;`A z0&vytVk~?P7e;(NZCmDyCnNW`G63cO0(A?X-vJx z&2r9T#iA$!S8xCIK=+w!>sSs|A7aSxE7!QI`1 zySux)LvYs++}+(F1b25QxCD2%;BXfIy?6KCJw2zUr+TW+shUsW1+t)6&wAv#uiyP% z8?9HxCu)waM(P)asOqM2UTweCSUk@~Ue}tX(@JeKLjQRnV9vCXJ}m9lA83r$NDv3C zrawb|>79powwbq8UQTKZ+t`$`pPK(p7n3dX^wA6uQaIM`8M+2s&@6ON3P0+t=2NyY zz6(?4m+zNk>K4#xH#0anU#H}*yA2l75q(_-*V2Vag%8p5e5q^+|9)WlpVG$)!3~@6 z8Yj~I&7_RsdNQl?Pa2ZL&(kkC`?#wAKt4g*t3qnKmRP3j?zpK@5+PeIW(SUHAX?GcM#%*B};3jqLd zB<^z=>E%cj8&Pb6Ci>%cp=`NGyQ;_##gZT^^FZ{F&=T~s4gh|Xl3X!8IvUjCBR2YK zvE6|Gs1*=c3X&{Z#i^Sp0FMR%JPS3pKhCxlL<-9y9g&1j&>hYVnj9G$_Hh?q3Vffi zrf(a49BudhguFEfm4&@;TZnzn2AQMz2v*bhe4e#Js+ryzgR|V9LH9bDtL=E0#S)~+ zm?bQ|j!$0gvzj1{Cfi(Wp+Ghk=e?W>Gq)Bon9hR#DI*54jx6wnY;R96hC?FGNhe>URS_+n{&iPpuL;)~X z&s_szlxaXTpo*zAW3tV8A5fZ@Zq#$NN5f(ju4t7|)xSiyyqZ|+*na*EAsZN`P9zkD zngwGfA;D@jR?n81g+eKA`2DJ^d8Pn%cwLjTc1B0%s`ia?!4ETS0!R(9Vulwvr4@Nr zng}T>9M62i*ma`2V<`#2og-13?fk8q>p+sUqV{+bkI(wFJyZhl|titU6dAQZPC-w&@iY~>2+3R zdH;FCdEMl*ZF{X2lY%Fggdaxw?YX<^`r1o>Wj6culQenz7$SMF?w%O z_`Pxd(h$o}1E0L`5d{a6Vd2dv$!64ovRPw^r5x05vSMWUPcoH?67pG=g*a3K_I#cdvqz zcYBEUqi|6mRYuky0cwc(+4_s?3BV4&uz93DkixZPJVFymDrq0i^7Vb!E^Ic!ShOF( z5~MC(M-B!LHL@;RcYAersEZ--D&YpzsFI(+eBxtk=O_r7)YZjOfQwI5_|P~Orf zZWe7P#5U?HKwX$LL#39bl$WUZ#y)~YucaM<%fED)l+PrOirj({4+jL2P2j786 zhw#U1^!&GxL{G23kwg#TYXHmH67tKjXq8Q(>>p2vA@z9^qX>QxBXVJSr9-Kc2a;L| zo3kTH|ryhC05wpFrHFQ_U{^~I@5&>5}7ncGr6%@OSk z4_{iB3gvo&?k&}<<{MayE{avqHY5QSnSa^Qt3jSR1!-Nf;gjf8yR9iFt-zBe65;cbF zZwp-=$90^;jah8;Z=Ys2R`-|$l2l8o5aO+{)8|?=hDtQ3f;AB)bOi_`B0lQn1EnHj zX3a`Azh=Xae(w1HF&_q=BQA#~ElPaQ2nL-Q5sFRsOFC5EI&}ohY8I;0msM*tUtYw) zi$y970jgN3!-A95bd81uX%Uj(&?E6x^+!FhNquOY)6`A{e5DO66ToZ$oz{gkSUkF6 z)gJAdwiSzvvl3P*PZQ1a@SGF<;HL;Ht+>lrxEk!V8wW3`f`OS66BXPGfWp6=uSzV( zLm!SG#wZ3^1(wHYkI3e1Qe1UFUzk&%Y0o<(Y<0DxK!pqG1-kl>%Vh!luskI>Pqp%K zhtund(Cd#Dh+n#G`@^qvzNd-;xqu1hdb{UOgHn$yyBB>xq?apuEL+x?U^{nfOE}X@ zKcC|@PEyzr1@vp7c9{1@*gTbPHti%e5POjwa*`V&pmKrxhpq(=j}#s#lSzkZoO;8(k<)q6Db%w}ME5y+Ht z`e#w4uvs$$qo8;7K)zvy(pRz!3eEr4JdjpxX?|o#xqIxOm36Gr$!hFfUz3{_DgMG^(NlHE_!`DJ@1S}a-<4~9)spK%N)WyK;M2!U%}xovG=fAkbN;)>xI z^Y`w^A$Q=!hbh@D6Qv?u?JbG03awJ?wLrJ?_{?8p7=a#mYZ~n=zgy+?n>FH z*b1`)+1ZJa;iIT`QSH62K;J+K+4o#XQ%-@iurk0@lOYt%hb;;dd9P7xvDYG*`{04> zp_xT5Q~tP)vy?{$j*18M&fch1@CKiXIc)R!ulEbV`{2mITQVYpf$s4@$@3VFi>}yDdHGob*4geInV#ZE+-N>w9f;FyK&{GqYY$$$%wOR{T)vYRdCiZK#tv$;q1r z89$0oblEB$gG)9w@2K|iIO^cPn` zK&YrV2u^5q=sKDEn3<6s&AHQ9xSJ2{W+%*(Ojqisv;PSvTNz&jk8JV;{g|+@YEU}U zVc6vot?*IU%%kXWr*XeIgMIabrEvSr$-zp@8ETR>+^QlD(_OepSggzHae2G5)M{LgI zkPFY(B>wO@^(8Qf{%(HhWwXuV4t*LlZh!JZk2nR7J09}dmukfU`ky_!y=Z*1uZe4E zc&M*>h0$hfG?$PE#xy$ezcYKs)MPJy32{pJC@0BYaS?=V4?A4R(R|*HlexH^9u`Ko zUSp;6E|DsPwAEAwl7{nVU~pjKb3poi%NMf(TRPa?ql5nhd?YGr0+t!JU3G(jgI3%y zN_77RV3%6CLQH&&B(MD=NAX8?*cHGHXIgl}I(M-tKYR@cX8{?>OPX^biQDK=F5C^D ztMF0#4HrJ6Qh=6t*dgd!g;sy2CSgIf1DMv!5kp_ilHa5U7n!S1*QsDG`clnEHe-v{ zv}CIBmhtychWg~dDwezsB;58`ebO^5?&4pe@3r1R-ese8t{I-$>s?n8IUc8z^67+6n1{P-^VcK6W1iIlY+^nfzEj!@iBWiI84{4rwCI z(VZ(Sv0iPG$cCY8xDrW~FSYNfKNfw*hxUe)R|0$>Vt^#Xs2d6N)X-ZDw0rlkYuW7R zAF#DoghvTIDhSFJfd~Rg&sV_TP?_RWi-;>jgRBz7zG`5T4Bk|z5-fvGXP+J2ywy%*DJz{ghxKkEJ>n&s6HjOk(_NU{eX(5L2{)K zV&bvBh_S-z^Ov~FfUliBCl*53(yGvRsCj6ZH<(`6&Y7r z%goyVZmzcX&|u8oU%DXWF-$-Oi{=xdUlfia`+K#YfE|-H!)sQ+x*y0>eBYJ?R$wSv zheD{p)D}+NNE9>;RABRDrueh_=cRP#AKBbq>$#6eOTzyn+RNiI0uUOi<}=}snY$rE z=ivVg?FkIRZ#p2+TLwM$03$Io9mwvZn6=#a7Uoa_uI-wHkC;qmL(`nJm1J-o%t<3E zDRvNWQAV235RiYgMfwZW{Yy_IaNPfyQTYGT1nEC;zs3ZhFVOozg*Z*_Rsr?W<^(OO zjO|KcaArz{dd2CVdm|||x8?z69>XQ<(Gd`^1a`=rX!A~hXqZtzU2IW0Pe+eJL#tWE zTt_7(sBk1m7fMDTj?#@3K(F)9fR4uJHi4Y(xlYUx<-@bM%ln>(EA-quyxh+Il$C#^ zRBq(CaM(kcR|7}}{x9RZ1-JhRzMHEi3WtC+&)8d{7e=Z3sTq^lCF#1u`*QP3rCgO& zE36Cvj}WbQ3Z`MU@5%pgdhqj9pdK6E4;pz@1PI`OWu{I~_ujJUGuLr17+{Q0z$Z=} z)XY|u15s|!o>FD>^h;hTTe@uGw0+|Wb#YwlBcO7ClcX~(=DfTMEKOOiaDP<;Mu)WB z0ouY7^0PJj#!gS^%TuP#E3?kr(C9U=QW>~yjV0Z(CeC;O!y)&rv%NOb;g|#I){}-* zQIjPsM<{c3o-u~DG$}6SH$R)UgAlDC>`dGlWKgj53Lji|Gh8!TtkmmtdsA=)+J{{8 z+7DeKW4Cm6@vFN~6{CIVl&dmlXZz0FJ~?SH3U)@RG)*FdfE-jR9Mzi3Za!QNXFfqTEanu&ma z=+M4)<1S=czo>sx{rw?x`^sA8DoSc`-j8@pojbRNQ38*btN!3%^GiLqrxlHCp`y}M zyM~k4o~;vdj?*_E*UI@5d0H4Z!_N`uJ!bnO?sc}W7{E9L6gEJ z&_YA|fr)RqO^S!IXAhTdj9#i4;mYK)1L2$6D4FRHMd{7OIc2^Nh zO7POvPd{^+UD&iEqE}`{+k-njT3y`kcO@*)p+TUdJGl2M+FcGK({V9k4bwf^P4Pl! zWJ+M?L49)NubYs*G-(=i_gyv&F1E#uic3u#u=MiG^wx5q&a?0MYqobxJIYfW3+Po3 z@p#=|yuLgEEu%Pqj~Z-NXo?;m=q=YDTkqLjPu(_=-Zswce3abY%+^!d9wzgZPR_lS zXehT#Lp+vXsihSQe*Baqt~yZuqZ`xH&;KRADLgcgT|;A;xymI^2`v%cBp^;NZ+->Q z8=ZGwFjc>;MAs(1ua^^A)s7zgM69!`P!N2l#n1{4B&IX%4;l4LuUp%JjP7iu5#$6( z`{DiEvlBlo6OCjwm?C678Tc357zr)=B$_H^kh+g$qNxXodI~!vM`F}umbLO(OSZ4SZs&BwULE4dI_i->vrjQ_#@J2+c*@8H4QWcAtZZ_$83%VU@ z_QDI6n~?q3+&&m=GP=oG=To_}O+U6MCp*>$P6M&H9rc$L8#Hv!yx$$m)00gLEa>}E z8GK>c4Vz+^io}E^3nWt~Xpkj82U2UqyEw8<4qjO z*5_1dEiD?TM`dVB)(;%CaW_IN>;kJucI}QdwU(eK}J|G1byE2Q*KRi*A3OVQQo)^a`kJqPanQSUuE=vtoB}N)EnCy-`T<=#` zh)3TBt4(J6I_E|~MuFbwFj8l3I$UTJ=3TEzIgej#9lQ{D1+b4f2hhwN)mI7rAoX6^tQ{stcpl0J!PY301Caq!rmD@FE zO~%2CO=;^{VYg9!-nFOt((WoKM(+#*j+LduljLYWf(hMc)1-f$bFIvqJ}c&#nBtgg zb3dogDC}4FgWPwCwUC6Mq{5zro<~tse->U*$IuG9p+GXHRvr+mNGQJx&$b5DdZu+` zLy4tJFIWy)1mp%t2Sn(_#sG+HnNn(7d6`Ig!z?#{T1)UbzTx=+{V;QyiDda$|J#R% za#JOvGa<=aer=GMDz&BRV0E}=M(mIVO9yUXb&99zZ@F{uo5diGP|s)&(>mmsKQ&iy z3`efFEG3USmO5euX~GFAx#tbG6KqiY{G~7s5~>7EF;ti+R@_)J<1J=IkZL6`P@FP8 zX84m;V{RZwA>V=3f~5cHN+S{?;+|u(R-^3)#5DZZ`;E>sin=fJr!t2cVgyQS;+k}x(3ZHN ztCB+%Zi|j7mQJQ45HtP|q$aFt*CoK&`z{`>DqOAd3l40+nC+u1&9GRCKIc%uI5*=Q zlNIA^w8&TN7B{RdH$#lJ5G1@s(l^)rEPir-uBB@5HrHxIzt^W~dKD{sS5tN7$W;w! zze39o8SA{}A`}pLMv;%WvVJD6;V7t^RyQww6djBep7?4M#-B*rnWGKcnKilp0Qw2wA|eJcpJ915L)A;?K~T9YfT}mHfPc=ycWA|qWW7Mhv>z)T@#@_N z@6g`8=yx)(1LQLsJ`JnQ~^(2mih1ZFr^L-o<||t@}~C=3%;o552YcB zC2eAJmm#*2I|bQDz`|ECXlTl`(ChY$xdCAMef5*w0f;TMl#~?61<+MAfm|2F`(lgMuBar`b!W zhd0Lq7vyNMQS5kjnIjvS*dBiQht=@}#VY!U6waS|Z{(027H3x|g$Jke>OoGsa1xNamr{e;CGZ;6mRwi`Gqo%bW z3`|Uhmu>O0+5Not2(P#eUWcQdcZt;}O`XmwgVElb(1Sz;ELR>e!RIU53d|!Yw_;AG zx0<}VpU7QCORv;^TekI?ghA*(dAg8Oa5;iyWW{r9m7+ zSZVjUj~q{I=uvcVU_cO$|3zmuB>&Q@bgdlpM6%F-Uno<9~ecdd+xxt zv}vv9Yv{gv2Z_o`6&i#KQl#jMc4Z9FDngVJtH4H5y@9!vki7`N z&Fz*oIdE_;S@;}{8uH)J=M#4e!mmj;o~IcTO0olIxE&c;G?b6`l+31+aK}m6fANK- zs*Zc+y*!hy+6L?mdBd3{&ns%6Val;XK_6?}_7LztwEbE@`La1Xg3INy$XS0S*TKnf zx9{72Di!q{a$C+<-OcuAVEB^Huv1hT6<8(8q6R0$h}^f&buNh!uaxQhNkNP0pi-cuKWqy>QkZFqc&e zjM$~N(k@Z;Zu zb4On7-%h}(#wV*O?LN6w5_CU`=KEA7#JXe>JYsa0rcwORvB6x?q(=xd_z2~}&&;p8 ztT}}VjQiOUc=%ncncvb{G^1xwCXLYoy+rJ$qmPZI4#MCiI|1xzMJTXOQB$X;m2WdXRIAgRG?ckvb``~7=Tv=D`|I+7 zC;xe~ZETklGqm(ne_wwd)v$@0Hf$wHvW}turZ!y$;ugk0Mol3cLW}Wb+wjOICKSqn zLP2G`utjC_rQgP+7%m$2l?cEh59#EZ4qV#H)Nrbw!7<~9<8ea}d+Lg(f2_(70q|t&1AU&fO$f!)cO6Pyv3)t~$H;@;&G~h5Ux2gond_zE z;&5YnA4zT^BdyK$=@E3EopZnxCCm&3*rtDc?Qa$v5R4fr_yj2sBtP4kMD^VtF~qA6 z=J@LZN@!39`Br8BgHY5%(2m5f*mT2C#Z>aB#|6azC=Oqi9f>8^D+BL*g%rtQ%bn+G z1rwx>_w^}(JNM(w=Vx-|Q9_rB94ZcFIb)_!R$r&t$^*R-sA9{CE?V>6#d*X^2Bv$W zI**H>0nq{$!f1W{Tt8KoJr_@=)K6}LlAg?VH6=ebV1u~}5n2!hY{!IORuc5`K}8&I z$(WtJa|^85dtn1l%QQ2ONiBax2|0fq4t;D~p&Iif`s~Pl7a7%zQLH#aQ9uz-`iC+@ zXNYHdnL-j(o#RCK6Z&vod?0uf9u@?JH}o%SHg?T#kvr4*VpOXid=|Z?*qi~6xYh2-BuL@9Z!d8IhF>b3A_v z@@}AUZP9iHr0q)cQUtMwTZGZ1K09JoN~N{3$OzXEx7% zo~!e@TZ77DbM@gyJecpk-I!=+UF?s|jPyjiIl1_q%U+mgO#^J2gk&{}K# z8@3*AYa4}3OsD>E5afyaR`{A?f)p->_NuI3cj&TuEgf(m6Z`v!i=Bn~Li*nMLK^O3 zG9e93^)hynB8MOQT2WcCgD6lX*ZHAA!=yXUWAo*KqHM4r@KzoPGSJSI1^@ICDsxET zA74ZrAq$k<`L|baCh-E~j(`7;z&}5Sb5Oqg?K1D5Tr!>t#rf-^e|?KJ(}A#Ueu*ps zleCy^6OeMiH^AK4vzA;a1wIAreSE^}Z@nJD%^-V_@#TZZIkn|nr9+3Ef$M0$9Z6+-(6&=Fc=NJb%82DBa7 z3nez1p}X$phkv72`3}eh8MTy7n|>=N<3ZSYvSoOZP4&jn>2B2!`5xUG8{M=>Wkvey zO1U!cR+!MwnTRi-WhjA3a3sqmt>~x<)QzJyD?b@FwN1_;yU_#0-|wQWN>k$Ha4PoI zuPS0bkF%+5+_)w?3zm7#IHYVDv@U$y>l)nQC_{Y9fLs2i$+T-RG4}KMwB(^ zKB~c4vZW`=510T>yd8ZY`%OfSUHHg?@Gs@I6?9b2B__qq)z_xcDmOjzn=|0v59EJx@=Ih-)!OfqWl|f)>hh=xNE(+NN7Ph(~WCSD=|N zG!kB2%!Ta3mfYLxVLv{fhVNTtlvJUJ<_drE2G}p`X62lXh|CW{4uvzBtJm9?hW8cn z)6eg$CriO;ikgane@fD{;mOBkZLYJSqRQ`Q4+}uEWLse6<4_^1RlaPaplos#?cm+jLN*V6jNII#n#s3B@wN z*-wvRmitTyu}W2aQ9J(kICXPG-A=@W;wo{vu}Q-12lpJ+YP&j|b`iZ+Ro?#y#VW|3 zbDS<;-k2X|FMNIP4+qbmx8GK|AX=fL(#VC{8+wKd$dpe9zq!e(lG7Em55w6`5OHYi z{sp|60&<&6pL?f3YLIu!3F1ZbjhGdNy*)qc^A!=9ii~E(|J+Y0J9;R$u=^Pxtrt#> z22zRo?do_=QK4=6dvL&rqAp?di;d?`!&51^{xm3wC6O0wWMH$^vbFt?GQ)k_Kl~Wp zn!@20pIFGVos>ZDi2(MyNHP*eXF#`*|1otVk4|<&dL}(eZ(I&Kfj~%vs0aIdaeYQv z@aB5W3W(H!s){k(uc z&A|IX;|;1|UQ3kCKbrJ=Aya|mW~wl3;_T0X=T`V&)J$d;Zc*fSUM-8UCV8!^ zaQquA`QB^Ni=fqt{BATjZoaK~XNijWdNe!C!&P&ZgCJaqIHOy;MiupwP>&}|F}`ix zU+Nk34zCnG%ir(~#3O@pbmRHA&F>BJYM_3sNS2{PLF2T4fgxadN|)n(Fb4W=-!AB7 zXJ*!??7X}^Ez7;04M)Gd-0rorr{Dd&TYs9qeY?$m({rA9=V#x~b?6XsJVkk~+kPr( zksgW!Mlh=m4h5@pxJv4dOEOvCx5tR8!11D}d?(91%@eU>WU>3g7uW_`3}5;DIP~4T zKroo0qL9J7qM(L+xT7fdn~E03%R5%HDty)QayTL=A6XzLQpG7|QT#Z7siuNW!Ujdn z$~KLls7{*7VtYPrN>_m{NnJ?i-xboR3jj5fJw6t_>hZC*8;r*Jh@cw$t^RKT%r1vBY&jjdj@0fzDwRL7!$|I-a^ei!I4! z9#Ov!PDb-Rc6yr9|H7S31KmFH~)$6h20|#-lewr84@_kw%qm0~mZGhgUHbFgFt;N@Wa6zMK-_HG&d1PG#(@zku zDz-%bKvEXH3vVRMG%URBJ8T@6SeR0~n^#jdT}s+88v*+Oky@7uj^+MprB1P=NcP>< z1=uDbh(=LI`4~Ta5^@NrNPczbKX=wJCxOsZse#cblzkFu`s3kmPewKqHyb&!s0cCM z1^l?pS|B8qhv|Wh{r^i&XYj{R%jhpMc>N(eIO@*1o& zCCvq|@q94aoNRxk6V9{lCY7K0C(ulTxO=KxIDvC+> zadUoPAnJJEgYJZ-5paW@h=9!yx4Nb#m>+qz*NmjsApb>i@It5a!4f?SK1l8Ewp==2 zrtg|F!*AM$49`D8jLce*OJ5ejYe~i3;*-IyKawp9l4(8|n)P1ln>JvDJ6D-A`5&5o zZF%1$w-R}>ouEU}_#bL>RHltM$KTHTIwW{k3voPd`tfaXMbd)CRyc+p!xM!X+Ut17wj?X@WA z9Tpe<$jll#1H~s0$+X7vxJ}V7xU_0*C@$7gj-E~hr;!<*X{vM@1Yu@) zvsgv83vkexcnpqlsE7jY0$&ab{(yR5cUwL{*$aWES!8X8W`f*dxgv}ZLewMt6eSSS zTxa?&#~l@O8yOWD8O-hX*jj=lw*8>kss_H8C<#89%zrs$u}elt%u3~d=B-^hcJ0-? z=g=Cw|7r5tOQNhnhZ^Pt4=eJqS(8wNBL=(JGN6mrs&{Js+eR2cnSxG|cVwukIm^9c zQQsdW?B-5`soCG0p$TBgc? z^EMZRZnBoMp}c#{Z=rI4?JdK?UHM2%KooL12>2x1w3`zH!#=-y{NcMOIK~VzZ&a1L z)7DFhHRb5SDeTHmI+&%HQ!7JnP_Ma`Vqe?`m|lq3cD;FQiDP{#TM3JA8#ENROe{3` z1_2f()tP?W0vOmKPCQTw+#<|Sarq+4mc4T;qoPU+T;~PfK2(3hcKahH_mzEbB9i!P z^IrwtW{l`E#F#cl@^#T4OuTAf`;E7*gScKt?+aRSg4E_wGJSZdlK}Ph!I}f@_~mK{ z%U4j|bgJ2l)~`W#iR`-zLcHO+RHJ6QxX6+H6-TN>vx9{Rv7_6y0FwE(to=wJWdeCv zUs7{#+Wm+s|B=6ZU|=iZxeKV})N|@p6F&J#USC^{qzCCxi~s1DF3F}gDbOMR{wiW$ zMh0iChCR?Q4H^%szcBVAK)Q!61ib&c>h(z z50rw)W;Lm#z{)?G&IaIda&p8R#0r2&0cRiEwU+u|jf}2r9IkV($62Fjn}?a?xA??+ zU9|DNYQ$+IHO})5#^+o{)zKh%OAq6n<~;;e)TF|oZimr)N79fI*-mufM!?v45%WJJ6UO`& zD>%nFGh&y;RV5!+7^GEIN#p-slKeb;7jLb{e2lGPqjOVD3)9nVijqm0$`a>7xHKzm z!2yGw;E_7h=Y$3YV#m~Y2S)5(w8bq2n>H@dkZfD#+?d?~Rr%4)zGb3PbpanNs|8z&_{TDSdc_zbPBvUBd~W=Klp$K**TEf(9m5Z(z} zvE z66Y$_P^5c%8m9@05WowKjF8_8nIJi}O~1*2U2q}}D*Ja}PejpdzgJy!i=9W2{+&)! z-cw7oaX5MqbgiusZ?(A*sg5>>L(zzq4|E)=J5 z&|!d%40KIl)_JxS>G~svlaRw;7}^;Cq~G4xBw$)=Jkso$npoUU&lu%zIMPsJuU~?@bWqH zd(nbpg8=AsLZa)elXX;d>M16`v#7ur3paID)f0YCzJ zGkWb(LbomI zb8hmSU@l1J5YOKR_!|8nK=*((cvLKffT9*VJav&4HJY0lV5lwHfm4-B%FbKHIB{q- zS#zNRY5?z2O;faZfY~-=LN}waSee)L31~;?Qo_8ot(s7TT!KJ zhX!EZ_5UgFtpWwusJZ`*_$|uZ+TpWyJR$KdW-n)^i5kLARsWK)a;HdDVV52fc&6|t<*ZBvP)r(I1p@!L#n{e z&w^d?RsZ%6QV zAU$7nSS}^troXAi8Bpqy9;%p`-7GPn+=8>=R}$PSW0sDU(d+}|?b}bs0geXzwMyao z^#Ou(k_L&!GvY*Gd6)wVk=D@fej9Pn@L|L?W6Wl+RyB@PJJU6OTJ?gdsqSOAmX#|eC{#g05;WsBE z2NdBXYnQD5v|8={IbC`2d5gm3I$Q6wn;vw0eTh4EZB&`Jyjovqu%T_cqyGcU&P*ID--I%*@enj9#fX#cS{nOlCpTkpa!hRvA*s8|qibH?? zWD=ok10ZT2Dt8)EX^=*SrqGzr(taW75 z;7jv%bN;)B&{ARnqy=u=(?`gs7LvXWIwftlv#tBn^8tcD~U z`8RjW7M=zN3G%pFuc-g@=QJ=d zuvzGY3u$kXBE&C1Q(cZ? z10*-bp@O;CKcl|`EZ?Lqn?BYmtCwD=s0wO(w)1n0DWqQJ;)8Yp@>JK=DHX&N6HH#u zUp$Ph*p@R0Me6D!SqdVP1+$!V{g@`gE%AL_8XLM0hMW)}Q3c#xbc46lv0*D=Ts_`p5B)Pra{`Lbpz*aUVNg{#2|BMsl z*u|5e_nO$&6>#6Pa#5lllvC~Qy}FXERy$BCys2R-#^n;nWFLA!27w5(Lq~G$ z@}hvBASeiDEVv&)%4le5LA!vr4YDA8W$)yaf9Rj|eG3medc9r9=6&g7Zz0WQ>~WG< zmPiCV18R!^3z+>`r4QR{&YBrDwVQ4X06Xg!FV&2d)S1Y7ksljVHEMZ~{~HiHmGg}h zIX$?w`Db`mQSuesfx8Apwfs2~9PxCb&hzb6k3~)c3B+x zNULv4ISy|8V&epBM%n$av8JT2f#D3%w9sTEk4RWz62l7idFC-m zz-!APsKU<4+L~qubaq|Dn*(bydAS{{t4bNmtpg$~M3$Oe;&Z72tke0nrAgNQC~Ncz zEqAh8*1nWt{i&va{@s-M?BpCAWzYBqhYAXWtp@hD1~v#a2!+U_pC?w*EJFF+$yPys ziYkM9yFbcZ6SJFgJ=z)QXvns3=z&e(;|hg7exVpA#t@1Zskh~IMz>j-)^=om$xpGE zYa?Ht)ayAVGmlyY&Z`!*i7Nh=PDb`WvQ+5beW&7Ta>t(1L@t+;AI_G$*CdONk__W|KhQkNKqj# zY{W=t=(oh(6a|*?m_5J*o}8daK<`or?oJ%FW5MPf1zdfs6IVX{j{+OqS)Z^%%2HMW zJWw3MlA8t=8{+-ZcYZ~#lzeW{8RBo|d&A;tbhgUDl-&9--z=Qyd0BDU+I*wcY2a674V?h&dQi=}e6@T{ZWA$$E-0rRy?N3dZtrjk@T#Dth)9 zGMkn%d8lXu&#Ot%5q|5>#hEI})$W$P*ZCOOd*2mpx1i#8?kDW|{~M4tuZTG?$NVJufn^{{dytzS z2p)>}8G-_p7AUbaJ0GjI)^hk4nk@KlamwLci-|sX5`H#}nO1 zz*%dQ&fqSYU1K;{N0?mn@{}*q8Uubm?H8z-btzaN-Gi0g&!0hK!eI^=C}P|2_%)^0 zlBBA;ZkTjAtt)^6w8xARNcSyvJ19}Bk+f}i^*4OPPHX5_WK!iR;AD6f%HSx^v5!tmOf+m@EWEaimP zoZiZS)s#b86;vg2Vhz`WPN=Xiz}SNYaYA1Jhj`B~!K2_VR~L0m=6D0OiN`fpY;j;| zQr70U-ge+`M67~#J*(`dtJ3P|TZ8=1n3MougFym@jo2Y%MoqW`|6O^#z&nCE=%Z#> zTb-I~I_e|%iAIm_Kv~=Yzz}1TE)78&qol`;+0RD8u A4*&oF literal 0 HcmV?d00001