Guide for Developers of the AspectJ Compiler and Weaver

+
This document is written for developers who want to understand the +implementation of AspectJ. It provides a top-down picture of the compiler +and weaver implementations. This high-level picture should make it easier +to read and understand the source code for AspectJ.
+
The AspectJ compiler/weaver (ajc) is composed of three primary modules.
+
+
org.aspectj.ajdt.core - this is the compiler front-end and + extends the eclipse Java compiler from org.eclipse.jdt.core. + Because of the dependencies on parts of eclipse this generates a large ~6MB jar.
+
weaver - this provides the bytecode weaving functionality. + It has very few external dependencies to minimize the size required for + deployment of load-time weavers. Currently the build process doesn't + produce a separate jar for just the weaver, but that will have to change for + AspectJ-1.2.
+
runtime - these are the classes that are used by generated code + at runtime and must be redistributed with any system built using AspectJ. + This module has no external dependencies and produces a tiny ~30KB jar.
+
+
+
+
The AspectJ compiler accepts both AspectJ bytecode and source code and +produces pure Java bytecode as a result. Internally it has two stages. The +front-end (org.aspectj.ajdt.core) compiles both AspectJ and pure Java source +code into pure Java bytecode annotated with additional attributes representing +any non-java forms such as advice and pointcut declarations. The back-end of the +AspectJ compiler (weaver) implements the transformations encoded in these +attributes to produce woven class files. The back-end can be run stand-alone to +weave pre-compiled aspects into pre-compiled .jar files. In addition, the +back-end exposes a weaving API which can be used to implement ClassLoaders that +will weave advice into classes dynamically as they are loaded by the virtual +machine.
+
Compiler front-end (org.aspectj.ajdt.core)
+
The front-end of the AspectJ compiler is implemented as an extension of the +Java compiler from eclipse.org. The source-file portion of the AspectJ compiler +is made complicated by inter-type declarations, declare parents, declare soft, +and privileged aspects. All of these constructs require changes to the +underlying compiler to modify Javas name-binding and static checking behavior.
+
As the compiler extends the jdt.core compiler, the package structure of this +module mimics that of the jdt.core module. The design works hard to minimize the +set of changes required to org.eclipse.jdt.core because a fun 3-way merge is +required each time we want to move to a new underlying version of this code. +The ultimate goal is to contribute all of our changes to jdt.core back into the +main development branch some day.
+
The basic structure of a compile is very simple:
+
+
Perform a shallow parse on all source files
+
Pass these compilation units through AjLookupManager to do type binding + and some AspectJ augmentation
For each source file do a deep parse, + annotation/analysis, and then code generation
+
Top-level parse tree
+
Let's trace the following example program through the compiler.
+
package example.parse.tree; + +import org.aspectj.lang.*; + +public class Main { + public static void main(String[] args) { + new Main().doit(); + } + + private void doit() { + System.out.println("hello"); + } +} + +aspect A { + pointcut entries(Main o): execution(void doit()) && this(o); + before(Main o): entries(o) { + o.counter++; + System.out.println("entering: " + thisJoinPoint); + } + + private int Main.counter = 0; +}
+
When parsed, this program will produce the following tree.
+
+
PointcutDeclaration processing
+
Let's look more closely at the pointcut +declaration:
+
pointcut entries(Main o): execution(void doit()) && this(o);
+
+
The pointcut declaration is implemented as a subtype of a method declaration. +The actual pointcut is parsed by the weaver module. This parsing happens +as part of the shallow parse phase. This is because this information might +be needed to implement a declare soft.
+
AdviceDeclaration processing
+
Next we look at the processing for an advice declaration:
+
before(Main o): entries(o) { + o.counter++; + System.out.println("entering: " + thisJoinPoint); +}
+
+After parsing, the AdviceDeclaration.postParse method will be called to make this +a valid MethodDeclaration so that the standard eclipse code for analyzing a +method body can be applied to the advice. After postParse, the selector is +filled in and several additional arguments are added for the special +thisJoinPoint forms that could be used in the body.
+
+
+
+At this point the statements field which will hold the body of the advice is +still null. This field is not filled in until the second stage of the +compiler when full parsing is done on each source file as a prelude to +generating the classfile.
+
+Overview of the main classes in org.aspectj.ajdt.core
+
+The main classes in this module are shown in the following diagram:
+
+
+
Weaving back-end (weaver)
+
This provides all of the weaving functionality. It has very few +dependencies to keep the code as small as possible for deployment in load-time +weavers - only asm, bridge and util which are each very small modules with no +further dependencies. This also depends on a patched version of the bcel library from apache.org. +The patches are only to fix bcel bugs that can't be +worked around in any other way.
+
There are only four packages in this system.
+
+
org.aspectj.weaver - general classes that can be used by any weaver + implementation
+
org.aspectj.weaver.patterns - patterns to represent pointcut designators + and related matching constructs
+
org.aspectj.weaver.ast - a very small library to represent simple + expressions without any bcel dependencies
+
org.aspectj.weaver.bcel - the concrete implementation of shadows and the + weaver using the bcel library from apache.org
+
+
The back-end of the AspectJ compiler instruments the code +of the system by inserting calls to the precompiled advice methods. It does +this by considering that certain principled places in bytecode represent +possible join points; these are the static shadow of those join points. For +each such static shadow, it checks each piece of advice in the system and +determines if the advice's pointcut could match that static shadow. If it could +match, it inserts a call to the advices implementation method guarded by any +dynamic testing needed to ensure the match.
+
Runtime support library (runtime)
+
This library provides classes that are used by the generated code at runtime. +These are the only classes that must be redistributed with a system built using +AspectJ. Because these classes are redistributed this library must always +be kept as small as possible. It is also important to worry about binary +compatibility when making changes to this library. There are two packages +that are considered public and may be used by AspectJ programs.
+
+
org.aspectj.lang
+
org.apectj.lang.reflect
+
+
There are also several packages all under the header org.aspectj.runtime that +are considered private to the implementation and may only be used by code +generated by the AspectJ compiler.
+
+
Mappings from AspectJ language to implementation
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
org.aspectj.ajdt.internal.compiler weaver - org.aspectj.weaver.
aspect ast.AspectDeclaration CrosscuttingMembers
advice ast.AdviceDeclaration Advice + bcel.BcelShadowMunger
pointcut declaration ast.PointcutDeclaration ResolvedPointcutDefinition
declare error/warning ast.DeclareDeclaration Checker + patterns.DeclareErrorOrWarning
declare soft ast.DeclareDeclaration + + problem.AjProblemReporter Advice (w/ kind = Softener) + + patterns.DeclareSoft
declare parents ast.DeclareDeclaration + + lookup.AjLookupEnvironment patterns.DeclareParents + NewParentTypeMunger
inter-type decls ast.InterType*Declaration + lookup.InterType*Binding + + lookup.AjLookupEnvironment New*TypeMunger + bcel.BcelTypeMunger
if pcd ast.IfPseudoToken + ast.IfMethodDeclaration patterns.IfPointcut
pcd ast.PointcutDesignator patterns.Pointcut hierarchy
+
+
Tutorial: implementing a throw join point
+
This tutorial will walk step-by-step through the process of adding a new join +point to AspectJ for the moment when an exception is thrown. In Java +source code, the shadow of this point is a throw statement. In Java bytecode, +the shadow is the athrow instruction.
+
This tutorial is recommended to anyone who wants to get a better feel for how +the implementation of AspectJ really works. Even if you're just working on +a bug fix or minor enhancement, the process of working with the AspectJ +implementation will be similar to that described below. The size of your +actual code changes will likely be smaller, but you are likely to need to be +familiar with all of the pieces of the implementation described below.
+
Part 1: Adding the join point and corresponding pcd
+
The first part of this tutorial will implement the main features of the throw +join point. We will create a new join point shadow corresponding to the athrow +instruction and also create a new pointcut designator (pcd) for matching it.
+
Step 1. Synchronize with repository and run the existing test suite
+
Do a Team->Synchronize With Repository and make sure that your tree is +completely in sync with the existing repository. Make sure to address any +differences before moving on.
+
Run the existing test suite. I currently do this in four steps:
+
+
weaver/testsrc/BcWeaverModuleTests.java
+
org.aspectj.ajdt.core/testsrc/EajcModuleTests.java
+
ajde/testsrc/AjdeModuleTests.java
+
Harness on ajctests.xml -- at least under 1.4, preferably under both 1.3 and +1.4.
+
+
There should be no failures when you run these tests. If there are +failures, resolve them with the AspectJ developers before moving on.
+
Step 2. Write a proto test case
+
a. Create a new file in tests/design/pcds/Throw.java
+
import org.aspectj.testing.Tester; + +public class Throws { + public static void main(String[] args) { + try { + willThrow(); + Tester.checkFailed("should have thrown exception"); + } catch (RuntimeException re) { + Tester.checkEqual("expected exception", re.getMessage()); + } + } + + static void willThrow() { + throw new RuntimeException("expected exception"); + } +} + +aspect A { + before(): withincode(void willThrow()) { + System.out.println("about to execute: " + thisJoinPoint); + } +}
+
b. Create a temporary test harness file to run just this test in myTests.xml
+
<!DOCTYPE suite SYSTEM "../tests/ajcTestSuite.dtd"> +<suite> + <ajc-test dir="design/pcds" + title="simple throw join point"> + <compile files="Throws.java" /> + <run class="Throws"/> + </ajc-test> +</suite> +
+
c. Run this test using the harness. You should see:
+
about to execute: execution(void Throws.willThrow()) +about to execute: call(java.lang.RuntimeException(String)) +PASS Suite.Spec(c:\aspectj\eclipse\tests) 1 tests (1 passed) 2 seconds
+
Step 3. Implement the new join point shadow kind
+
Modify runtime/org.aspectj.lang/JoinPoint.java to add a name for the Throw +shadow kind.
+
static String THROW = "throw";
+
Modify weaver/org.aspectj.weaver/Shadow.java to add the Throw shadow kind. +This adds a static typesafe enum for the Throw Kind. The constructor uses the +name from the runtime API to ensure that these names will always match. The '12' +is used for serialization of this kind to classfiles and is part of the binary +API for aspectj. The final 'true' indicates that this joinpoint has its +arguments on the stack. This is because the throw bytecode in Java operates on a +single argument that is a Throwable which must be the top element on the stack. +This argument is removed from the stack by the bytecode. +
+
public static final Kind Throw = new Kind(JoinPoint.THROW, 12, true); +
+
We also modify the neverHasTarget method to include the Throw kind because in +Java there is no target for the throwing of an exception.
+
public boolean neverHasTarget() { + return this == ConstructorCall + || this == ExceptionHandler + || this == PreInitialization + || this == StaticInitialization + || this == Throw; +} +
+
In the read method on Shadow.Kind, add another case to read in our new +Shadow.Kind.
+
case 12: return Throw; +
+
Step 4. Create this new kind of joinpoint for the throw bytecode
+
Modify weaver/org.aspectj.weaver.bcel/BcelClassWeaver.java to recognize this +new joinpoint kind. In the method +
private void match( + LazyMethodGen mg, + InstructionHandle ih, + BcelShadow enclosingShadow, + List shadowAccumulator) +{ +
+
Add a test for this instruction, i.e.
+
} else if (i == InstructionConstants.ATHROW) { + match(BcelShadow.makeThrow(world, mg, ih, enclosingShadow), + shadowAccumulator); +} +
+
Then, modify BcelShadow.java to create this new kind of join point shadow:
+
public static BcelShadow makeThrow( + BcelWorld world, + LazyMethodGen enclosingMethod, + InstructionHandle throwHandle, + BcelShadow enclosingShadow) +{ + final InstructionList body = enclosingMethod.getBody(); + TypeX throwType = TypeX.THROWABLE; //!!! not as precise as we'd like + TypeX inType = enclosingMethod.getEnclosingClass().getType(); + BcelShadow s = + new BcelShadow( + world, + Throw, + Member.makeThrowSignature(inType, throwType), + enclosingMethod, + enclosingShadow); + ShadowRange r = new ShadowRange(body); + r.associateWithShadow(s); + r.associateWithTargets( + Range.genStart(body, throwHandle), + Range.genEnd(body, throwHandle)); + retargetAllBranches(throwHandle, r.getStart()); + return s; +}
+
Finally modify weaver/org.aspectj.weaver/Member.java to generate the needed +signature
+
public static Member makeThrowSignature(TypeX inType, TypeX throwType) { + return new Member( + HANDLER, + inType, + Modifier.STATIC, + "throw", + "(" + throwType.getSignature() + ")V"); +}
+
Run the proto test again and you should see:
+
about to execute: execution(void Throws.willThrow()) +about to execute: call(java.lang.RuntimeException(String)) +about to execute: throw(catch(Throwable)) +PASS Suite.Spec(c:\aspectj\eclipse\tests) 1 tests (1 passed) 3 seconds +
+
That last line shows the 'throw(catch(Throwable))' +join point. This is a slightly confusing string form, but it is the first sign +of our brand new join point. The reason for the weird 'catch(Throwable)' part is +that we used Member.HANDLER for the kind of the signature of this join point. +That's clearly not correct. We'll fix that at the end of the lesson as +part of the clean-up. For now, let's go on with the interesting parts.
+
Step 5. Extend our proto-test to use a pointcut designator for matching
+
Add a second piece of before advice to the test aspect A:
+
before(): throw(Throwable) { + System.out.println("about to throw: " + thisJoinPoint); +}
+ +
When we run the test again we'll get a long error message from the harness. +The interesting part of the message is the following:
+
[ 0] [error 0]: error can't find referenced pointcut at C:\aspectj\eclipse\tests\design\pcds\Throws.java:23:0 +
+
This error is not quite what you might have expected. You might have +hoped for a syntax error saying that there is not 'throw' pointcut designator +defined. Unfortunately, this is a weakness in the syntax of AspectJ where +primitive PCDs and named PCDs have the same syntax, so the compiler can't tell +the difference between a misspelled or non-existent primitive PCD and a named +PCD reference that is missing. This also has some impact on extending the +primitive PCDs because it will break existing programs. In this case, when +we add the throw PCD we will break any existing programs that use throw as the +name for a user-defined PCD. Fortunately because throw is a Java keyword +this particular change is very safe.
+
Step 6. Extend the PCD parser to handle this new primitive PCD
+
Modify the +parseSinglePointcut method in weaver/org.aspectj.weaver.patterns/PatternParser.java to add one more else if clause for the throw pcd:
+
} else if (kind.equals("throw")) { + parseIdentifier(); eat("("); + TypePattern typePat = parseTypePattern(); + eat(")"); + return new KindedPointcut(Shadow.Throw, + new SignaturePattern(Member.HANDLER, ModifiersPattern.ANY, + TypePattern.ANY, TypePattern.ANY, NamePattern.ANY, + new TypePatternList(new TypePattern[] {typePat}), + ThrowsPattern.ANY));
+
Modify the matches method in weaver/org.aspectj.weaver.patterns/SignaturePattern.java +to add:
+
if (kind == Member.HANDLER) { + return parameterTypes.matches(world.resolve(sig.getParameterTypes()), + TypePattern.STATIC).alwaysTrue(); +}
+
Run the proto test again and you should see:
+ +
about to execute: execution(void Throws.willThrow()) +about to execute: call(java.lang.RuntimeException(String)) +about to execute: throw(catch(Throwable)) +about to throw: throw(catch(Throwable)) +PASS Suite.Spec(c:\aspectj\eclipse\tests) 1 tests (1 passed) 1 seconds +
+ +Make sure that you see the 'about to throw' printed before moving on. +This shows that the throw PCD is now successfully matching the throw join point +shadow we added earlier.
Step 7. Check that we're properly providing the +single thrown argument (and clean-up the test)
+
Now that we have a valid pcd for this advice, we can simplify our test case. +Modify our test aspect A to be the following. In addition to removing the +overly generic withincode pcd, this change also prints the actual +object that is about to be thrown:
+
aspect A { + before(Throwable t): throw(*) && args(t) { + System.out.println("about to throw: '" + t+ "' at " + thisJoinPoint); + } +}
+ +
When we run the test again we should see the output below:
+
about to throw: 'java.lang.RuntimeException: expected exception' at throw(catch(Throwable)) +PASS Suite.Spec(c:\aspectj\eclipse\tests) 1 tests (1 passed) 1 seconds +
+
Congratulations! You've just +implemented the throw join point and PCD. This code isn't yet ready to be checked into any repository. It still +has some rough edges that need to be smoothed. However, you've now +added a new join point to the AspectJ language and a corresponding PCD to match +it. This is a good time to take a break before moving on to part two.
+
Part 2: Getting the signature of this new join point right
+
We know that throw(catch(Throwable)) is not the right thing to be printing +for the signature at this join point. What is the correct signature? +At the beginning of the tutorial, we explained that the preferred design for the +pcd was to have throw(StaticTypeOfExceptionThrown). In step 4, we set the +type of the exception thrown to be 'Throwable'. Can we set this to be more +accurate? Looking at the source code, it seems easy to identify the static +type of the exception that is thrown:
+
throw new RuntimeException("expected exception");
+
In the source code to a Java program there is a well-defined static type for +the exception that is thrown. This static type is used for various stages +of flow analysis to make sure that checked exceptions are always correctly +handled or declared. The ThrowStatement class in our own compiler has a +special field for exceptionType that stores the static type of the exception +thrown. Unfortunately, this static type is much harder to recover from the +corresponding bytecode. In this case we would need to do flow analysis to +figure out what the static type is for the object on the top of the stack +when the athrow instruction executes. This analysis can certainly be done. +In fact this analysis is a small part of what every JVM must do to verify the +type safety of a loaded classfile.
+
However, the current AspectJ weaver doesn't do any of this analysis. +There are many good reasons to extend it in this direction in order to optimize +the code produced by the weaver. If we were really implementing this +feature, this would be the time for a long discussion on the aspectj-dev list to +decide if this was the right time to extend the weaver with the code flow +analysis needed to support a static type for the throw join point. For the +purposes of this tutorial, we're going to assume that it isn't the right time to +do this (implementing flow analysis for bytecodes would add another 50 pages to +this tutorial). Instead we're going to change the definition of the throw +join point to state that its argument always has a static type of Throwable. +We still allow dynamic matching in args to select more specific types. In +general, good AspectJ code should use this dynamic matching anyway to correspond +to good OO designs.
+
Step 1. Change the signature of the throw pcd
+
Since we aren't going to recover the static type of the exception thrown, we +need to fix the parser for the throw pcd to remove this information. We'll +fix the PatternParser code that we added in step 1.6 to read as follows:
+
} else if (kind.equals("throw")) { + parseIdentifier(); eat("("); + eat(")"); + return new KindedPointcut(Shadow.Throw, + new SignaturePattern(Member.THROW, ModifiersPattern.ANY, + TypePattern.ANY, TypePattern.ANY, NamePattern.ANY, + TypePatternList.ANY, + ThrowsPattern.ANY));
+
Notice that this code also starts to fix the member kind to be Member.THROW +instead of the bogus Member.HANDLER that we were using before. To make +this work we have a set of things to do. First, let's create this new kind +in org.aspectj.weaver.Member. Find where the HANDLER kind is defined +there, and add a corresponding throw kind:
+
public static final Kind THROW = new Kind("THROW", 8); +
+
We also need to fix the serialization kind in +Member.Kind.read(DataInputStream) just above this constant list to add a case +for this new kind:
+
case 8: return THROW; +
+
Still in this file, we also need to fix Member.makeThrowSignature to use this +new kind:
+
public static Member makeThrowSignature(TypeX inType, TypeX throwType) { + return new ResolvedMember( + THROW, + inType, + Modifier.STATIC, + "throw", + "(" + throwType.getSignature() + ")V"); +} +
+
If you run the test now you'll get an error from the parser reminding us that +the throw pcd now doesn't accept a type pattern:
+
------------ FAIL: simple throw join point() +... +C:\aspectj\eclipse\tests\design\pcds\Throws.java:19:0 Syntax error on token "*", ")" expected + +FAIL Suite.Spec(c:\aspectj\eclipse\tests) 1 tests (1 failed) 1 seconds
+
This is an easy fix to the test case as we modify our pcd for the new syntax +in the aspect A in our Throws.java test code:
+
before(Throwable t): throw() && args(t) {
+
Now when we run the test case it looks like everything's fixed and we're +passing:
+
PASS Suite.Spec(c:\aspectj\eclipse\tests) 1 tests (1 passed) 2 seconds
+
Part 2. Make a real test case
+
The pass result from running our test should worry you. Unlike previous +runs, this test run doesn't show the output from our System.out.println in the +before advice. So, it's clear this advice is not running. The +problem is that even though the advice is not running, the test case is passing. +We need to make this a real test case to fix this. We'll do that by adding +code that notes when the advice runs and then checks for this event. This +code uses the Tester.event and Tester.checkEvent methods:
+
import org.aspectj.testing.Tester; + +public class Throws { + public static void main(String[] args) { + try { + willThrow(); + Tester.checkFailed("should have thrown exception"); + } catch (RuntimeException re) { + Tester.checkEqual("expected exception", re.getMessage()); + } + Tester.checkEvents(new String[] { "before throw" }); + } + + static void willThrow() { + throw new RuntimeException("expected exception"); + } +} + +aspect A { + before(Throwable t): throw() && args(t) { + Tester.event("before throw"); + //System.out.println("about to throw: '" + t+ "' at " + thisJoinPoint); + } +}
+
Now when we run our test case it will fail. This failure is good +because we're not matching the throw join point anymore.
+
------------ FAIL: simple throw join point() +... +[ 1] [fail 0]: fail [ expected event "before throw" not found] + +FAIL Suite.Spec(c:\aspectj\eclipse\tests) 1 tests (1 failed) 1 seconds
+
Step 3. Fix signature matching again
+
In org.aspectj.weaver.patterns.SignaturePattern.matches, we need to handle +throw signature matching the same way we handle advice signature matching. +Both of these pcds match solely on the kind of join point and use combinations +with other pcds to narrow their matches. So, find the line for kind == +Member.ADVICE and add the same line below it for Member.THROW.
+
if (kind == Member.ADVICE) return true; +if (kind == Member.THROW) return true;
+
This change will make our test case pass again. Run it to be sure.
+
There's an interesting tension between a good automated test and a good test +for development. Our new test case now correctly includes an automated +test to let us know when we are and are not matching the new throw join point. +However, without the println the test doesn't feel as satisfactory to me to run +during development. I often like to turn this kind of printing back on the +see what's happening. If you uncomment to System.out.println in the test +aspect A and rerun the test, you won't be very happy with the results:
+
------------ FAIL: simple throw join point() +... +unimplemented +java.lang.RuntimeException: unimplemented + at org.aspectj.weaver.Member.getSignatureString(Member.java:596) +... + +FAIL Suite.Spec(c:\aspectj\eclipse\tests) 1 tests (1 failed) 1 seconds
+
It looks like there's more work to do to add the new member kind for +Member.THROW. This problem only shows up when we try to print +thisJoinPoint. It's showing that we haven't updated the reflection API to +understand this new signature kind.
+
Step 4. Extend org.aspectj.lang.reflect to understand throw signatures
+
We need to add a couple of classes to the reflection API to implement the +throw signature. Because we decided at the beginning of this section to +not include the static type of the exception thrown in the throw signature, +these classes are extremely simple. Nevertheless, we have to build them. +Notice that when we add new source files to the system we need to include the +standard eclipse CPL license header.
+
/* ******************************************************************* + * Copyright (c) 2004 Contributors. + * All rights reserved. + * This program and the accompanying materials are made available + * under the terms of the Common Public License v1.0 + * which accompanies this distribution and is available at + * http://www.eclipse.org/legal/cpl-v10.html + * + * Contributors: + * Jim Hugunin initial implementation + * ******************************************************************/ + +package org.aspectj.lang.reflect; +import org.aspectj.lang.Signature; + +public interface ThrowSignature extends Signature { }
+
/* ******************************************************************* + * Copyright (c) 2004 Contributors. + * All rights reserved. + * This program and the accompanying materials are made available + * under the terms of the Common Public License v1.0 + * which accompanies this distribution and is available at + * http://www.eclipse.org/legal/cpl-v10.html + * + * Contributors: + * Jim Hugunin initial implementation + * ******************************************************************/ + +package org.aspectj.runtime.reflect; +import org.aspectj.lang.reflect.ThrowSignature; + +class ThrowSignatureImpl extends SignatureImpl implements ThrowSignature { + + ThrowSignatureImpl(Class declaringType) { + super(0, "throw", declaringType); + } + + ThrowSignatureImpl(String stringRep) { + super(stringRep); + } + + String toString(StringMaker sm) { + return "throw"; + } +}
+
To finish up our work in the runtime module, we need to extend +org.aspectj.runtime.reflect.Factory to add a factory method for this new +signature kind:
+
public ThrowSignature makeThrowSig(String stringRep) { + ThrowSignatureImpl ret = new ThrowSignatureImpl(stringRep); + ret.setLookupClassLoader(lookupClassLoader); + return ret; +}
+
We're not done yet. We still need to fix up the +org.aspectj.weaver.Member class to use these new methods and types and fix the +unimplemented exception that started us down this road in the first place. +First let's add a method to create a string for the throw signature. This +is a very simple method copied from the other create*SignatureString methods.
+
private String getThrowSignatureString(World world) { + StringBuffer buf = new StringBuffer(); + buf.append('-'); // no modifiers + buf.append('-'); // no name + buf.append(makeString(getDeclaringType())); + buf.append('-'); + return buf.toString(); +}
+
Now we need to modify three methods to add cases for the new Member.THROW +kind. First, Member.getSignatureMakerName add:
+
} else if (kind == THROW) { + return "makeThrowSig"; +
+
Next, to Member.getSignatureType add:
+
} else if (kind == THROW) { + return "org.aspectj.lang.reflect.ThrowSignature"; +
+
Finally, to Member.getSignatureString add:
+
} else if (kind == THROW) { + return getThrowSignatureString(world); +
+
With all of these changes in place we should have working code for +thisJoinPoint reflection using our new join point and signature kinds. +Rerun the test to confirm:
+
about to throw: 'java.lang.RuntimeException: expected exception' at throw(throw) +PASS Suite.Spec(c:\aspectj\eclipse\tests) 1 tests (1 passed) 1 seconds
+
Step 5. Extend the test for automated coverage of reflection
+
Modify the before advice to include at least minimal checks of the new +reflective information:
+
before(Throwable t): throw() && args(t) { + Tester.event("before throw"); + Tester.checkEqual(thisJoinPoint.getSignature().toShortString(), "throw"); + Tester.checkEqual(t.getMessage(), "expected exception"); +}
+
As usual, you should rerun the tests and make sure they pass.
+
With these changes to the reflection code, it looks like we have a working +version of the throw join point and there are no obvious pieces that we've +skipped. Take a break before proceeding to the final phase of tests.
+
Part 3: More serious testing
+
Now it's time to get a decent testing story. The test work that we will +do here is probably too little for adding a new join point to the aspectj +language; however, it should at least give you a sense of what's involved.
+
Step 1. Run the test suite again
+
Rerun the tests you ran at the beginning of part 1. Any failures that +occur should be resolved at this point. At the time of writing this +tutorial, I found 31 failures in the BcWeaverModuleTests. These failures +are for all of the test cases that check the exact set of shadows produces by a +given program. These test cases need to be updated based on the new join +point we're adding. These particular test cases will probably be removed +from the AspectJ test suite very soon because they've shown themselves to be +very fragile over time and they often break for changes that are not introducing +new bugs. However, you should be aware of this kind of failure because you +may find it in other unit tests.
+
You should expect to see at least one other test case fail when you run +ajcTests.xml. Here's the failure message:
+
------------ FAIL: validate (enclosing) join point and source locations() +... +[ 1] [fail 0]: fail [ unexpected event "before AllTargetJoinPoints throw(throw)" found]
+
Most of this message can be ignored. To find out what went wrong you +should look for messages that have "fail" in them. The last line tells you +what happened. There was an unexpected event, "before AllTargetJoinPoints throw(catch(Throwable))". +This is the signature for one of the new throw join points that we added in part +1. How could an existing test case match this new join point? The +failing test case uses 'within(TargetClass)' to collect information about ALL +join points that are lexically within a given class. Whenever we add a new +kind of join point to the language we will extend the set of points matched by +pcds like within. This means that these changes need to be very +prominently noted in the release notes for any AspectJ release. Since +we're not writing documentation in this tutorial, we will move on an fix the +test case.
+
Step 2. Fix the failing test case
+
Now we need to fix this failing test case. The first step is to copy +the test specification into our local myTests.xml file. The easiest way to +do this is to copy the title of the failing test from the output buffer, then +open ajcTests.xml and use find to search for this title. Then copy the xml +spec for this one test into myTests.xml. Finally, run myTests.xml to make +sure you got the failing test. You should see the same failure as before +in step 1, but you should see it a lot faster because we're only running 2 +tests.
+
To fix the test we need to find the source code. If you look at the +test specification, you can see that the source file is the new directory with +the name NegativeSourceLocation.java. Looking at the bottom of this file, +we see a large list of expected events. These are the join points that we +expect to see. If we look back up in TargetClass, we can see that the only +occurence of throw is just before the handler for catch(Error) and right after +the call to new Error. We should add our new expected event between these +two:
+
, "before AllTargetJoinPoints call(java.lang.Error(String))" +, "before AllTargetJoinPoints throw(throw)" // added for new throw join point +, "before AllTargetJoinPoints handler(catch(Error))"
+
Run the test suite again to see that this test now passes.
+
Step 3. Extend test coverage to after advice
+
There is a lot we should do now to extend test coverage for this new kind of +join point. For the purpose of this tutorial, we're just going to make +sure that the new join point kind is compatible with all 5 kinds of advice. +Let's extend our current simple Throws test to check for before and the three +kinds of after advice:
+
import org.aspectj.testing.Tester; + +public class Throws { + public static void main(String[] args) { + try { + willThrow(true); + Tester.checkFailed("should have thrown exception"); + } catch (RuntimeException re) { + Tester.checkEqual("expected exception", re.getMessage()); + } + Tester.checkEvents(new String[] + { "before throw", "after throwing throw", "after throw" }); + } + + static void willThrow(boolean shouldThrow) { + int x; + if (shouldThrow) throw new RuntimeException("expected exception"); + else x = 42; + System.out.println("x = " + x); + } +} + +aspect A { + before(Throwable t): throw() && args(t) { + Tester.event("before throw"); + Tester.checkEqual(thisJoinPoint.getSignature().toShortString(), "throw"); + Tester.checkEqual(t.getMessage(), "expected exception"); + } + + after() returning: throw() { + Tester.checkFailed("shouldn't ever return normally from a throw"); + } + + after() throwing(RuntimeException re): throw() { + Tester.event("after throwing throw"); + Tester.checkEqual(re.getMessage(), "expected exception"); + } + + after(): throw() { + Tester.event("after throw"); + } +}
+
Run this test to confirm that it still passes. This is a very nice +property of the orthogonality of the implementation of join points and advice. +We never had to do any implementation work to make our new join point kind work +for before and all three kinds of after advice.
+
Step 4. Look at around advice on throw join points
+
Let's create a new test case to see how this new join point interacts with +around advice.
+
import org.aspectj.testing.Tester; + +public class AroundThrows { + public static void main(String[] args) { + try { + willThrow(true); + Tester.checkFailed("should have thrown exception"); + } catch (RuntimeException re) { + Tester.checkEqual("expected exception", re.getMessage()); + } + } + + static void willThrow(boolean shouldThrow) { + int x; + if (!shouldThrow) x = 42; + else throw new RuntimeException("expected exception"); + System.out.println("x = " + x); + } +} + +aspect A { + void around(): throw() { + System.out.println("about to throw something"); + proceed(); + } +}
+
When we run this test case we get a very unpleasant result:
+
------------ FAIL: simple throw join point with around() +... +[ 1] --- thrown +java.lang.VerifyError: (class: AroundThrows, method: willThrow signature: (Z)V) Accessing value from uninitialized register 1 +... +FAIL Suite.Spec(c:\aspectj\eclipse\tests) 3 tests (1 failed, 2 passed) 3 seconds +
+
A VerifyError at runtime is the second worst kind of bug the AspectJ compiler +can produce. The worst is silently behaving incorrectly.
+
Unfortunately, this VerifyError is either impossible or very hard to fix. +Think about what would happen if the around advice body didn't call proceed. +In this case the local variable x would in fact be uninitialized. There is +another serious language design question here, and for a real implementation +this would once again be the time to start a discussion on the aspectj-dev +mailing list to reach consensus on the best design. For the purpose of +this tutorial we're once again going to make the language design choice that is +easiest to implement and press on.
+
Step 5. Prohibit around advice on this new join point kind
+
The easiest solution to implement is to prohibit around advice on throw join +points. There are already a number of these kinds of rules implemented in +the org.aspectj.weaver.Shadow.match(Shadow, World) method. We can add our +new rule at the beginning of the if(kind == AdviceKind.Around) block:
+
} else if (kind == AdviceKind.Around) { + if (shadow.getKind() == Shadow.Throw) { + world.showMessage(IMessage.ERROR, + "around on throw not supported (possibly compiler limitation)", + getSourceLocation(), shadow.getSourceLocation()); + return false; + }
+
Now if we rerun our test we'll see errors telling us that around +is prohibited on throw join points:
+
------------ FAIL: simple throw join point with around() +... +[ 0] [error 0]: error at C:\aspectj\eclipse\tests\design\pcds\AroundThrows.java:22 around on throw not supported (possibly compiler limitation) +[ 0] [error 1]: error at C:\aspectj\eclipse\tests\design\pcds\AroundThrows.java:16 around on throw not supported (possibly compiler limitation) +... +FAIL Suite.Spec(c:\aspectj\eclipse\tests) 3 tests (1 failed, 2 passed) 3 seconds
+
To finish this test case up we need to modify the specification to be looking +for these errors as the correct behavior. This will produce the following +specification:
+
<ajc-test dir="design/pcds" + title="simple throw join point with around"> + <compile files="AroundThrows.java"> + <message kind="error" line="16"/> + <message kind="error" line="22"/> + </compile> +</ajc-test>
+
Run myTests.xml one last time to see both tests passing.
+
Step 6. Final preparations for a commit or patch
+
You probably want to stop here for the purposes of this tutorial. We've +pointed out several language design decisions that would need to be resolved +before actually adding a throw join point to AspectJ. Some of those might +involve a large amount of additional implementation work. If this was +actually going into the tree, it would also be important to add several more +test cases exploring the space of what can be done with throw.
+
Assuming those issues were resolved and you are ready to commit this new +feature to the tree there are three steps left to follow:
+
+
Move our new test specifications from myTests.xml to the end of + ajcTests.xml
+
Rerun ajcTests.xml and the unit tests to ensure everything's okay.
+
Update from the repository to get any changes from other committers + since you started work on this new feature.
+
Rerun ajcTests.xml and the unit tests to make sure nothing broke as a + result of the update.
+
Finally you can commit these changes to the AspectJ tree.
+
+ + + \ No newline at end of file diff --git a/docs/developer/compiler-weaver/overview.gif b/docs/developer/compiler-weaver/overview.gif new file mode 100644 index 0000000000000000000000000000000000000000..b32f11b1582d2aa030392b74c6b70890ce6a96bd GIT binary patch literal 18250 zcmd4Y^;Z+#<3I3iFc=JQg1}SN20R<6} z5)pjq{P_O<72n5so_p?jo_p?3_uQZE)icmlQg(X>8UaKB0KC`afd7&B-|)XK>3f)(4#iXG+sA5mV>e^KW3&*uHtq>YOH4?-02FUq18{-PFPqW;;U{zal; zMWSh=i2qSWC@UjSh6o3LghLp@BMy;0qx?T8Wz@eIDm(Zq|7(h7Q2%3yGPFP$I-oql zQ2uGCxFXcQzG&I-e=H0w91JZy3>`cSJ;DtAv4&x3hH*uP*h<5q8N+{TDwi$($HBtE z!y+urBD>e3a@pa3{2e^}9sI)_utg4Ol@3Lt4wW+w4a*JRTY{*|Nt?OS306BibT4U0<)!={C$WrwvdhyCl@KZo^x zj{BdqIBa%Yc2QjKR$T9A>_2Hm*z8JdQ6;u_3p@Hb?Vs$*w959h_T{wEt+ap5=t=fJ zMGe`N?b!|O*`uGcXa41+=%32oqW0dR-qE7b<)WF-MgPj>lgfV@Ml0KUD|=@uM`tQ$ zK36XPZ1|_Wx1oKeVRX4+W~*WOq+#o4`#-(Q?W0@mTPN*XKYRa~`P{qwxp(WN_w(P; ze`ZcbKmW_m(UZS3|1AHU`TTR{n8|KA4) z3GkGPQ@@EgkN{y6a~f|d9ZG`n8y4v|myM*d%H7)-Z!RBu!lRYKX>jh=Wc8To&vkiu z<)o_UU;M6hOV#u@`e0(bXy;P7vg zQIa34o*CY_t21N;y=mIhdG@g`m3b|A&)RwOncVx)hG)Nmy4q#~IvHtR|2)|qBBkDZ z7qU_S^KnwYE4_IcGT~gM91sU^5*-J-sWJ=|Lqae6OOavx zTY`6!XVf53YGXDK0K6 zx}WcvYoD7n4+QA|wE(+L4`^AgO1*;XYSDD)@tlIE-j`oKKSyU`_np(7=H6S*_>FFt zsSLg{;MQUSfcd$O$9;(T-gRH9sFe+>ookN-F(7%O`M5|cP}yEAome_VK?2VLbUiJ% zB1Nk^_v^$9d=u@syq@*b;~-!r4sobF&tyFLXrhcZd$xeehn&uhuCMJY-bOpbP@C(I zPUbo~f<;@q-VGfGRWFW1N>UCalT}pk+ppA1x{rIW_T%gtttV7Bt3yd5O$kffwI>4* zVKtUl)R*g$gvCr&Vd*+7@pOdMr{1!=o#Zdr&!9!~yn(_$;QXzK&+z>xi>8z386hsW z@_I$z2YjCf(;7BKq*P6`=Iq(%%FSrQi$l64o*cC%&&{m{zX_)eyjZmQ&@KD!V({z7 z`Mvp{UT>|FBo(_S|FO-kFP)Hh|g~7+hT%#eZiIU9S9jM zbbrs_9(~~Dtb0f_=;{3Y^1tJrpU0{^cL^6dynXQdzt6_MLWB&;w4eU|KC9R00Tck2 zW0vQA8hejb@QN0|^(1MHV?U;ruB7NzA7{KX9B(w@^+fv3CAtVP$6KsMo|ygpXJhX= zRV|L4yDVAw>I6MsUZRahfIXB1SUHeH@+>{F6P;nmU^L`PXnbI6XP4%2KAt`NjPQEk zDB?}o%z}`2-dZ!At4l&Djfega+geki(y$J1yfD2451N%k$F}t=RDYO*y&13nd+}Vr zf(lSS$UALR#`HvgM3liCLl2|?fX@0M4$Ud9zjxu?x99=-nh9DoMBG;4JM5E7*b)tQIP(2YNFkfCzYI)qCUzK)Va-+6~W^aer%I2 z=b5=#h$Za+vjlY|a=%g<_V>}`MtQGi^IFn`MEOoF@Qa%&#oWkg()**j(9cSuv8Reuz)$r_Ra8n)5G@Ror{_Uz|X z6;SqL*q9yxz#2jRX?d$sEPBt^=XhXB?nc+UjLa68n_UGDNM#mVq-hBG;cEz1E(qbS zV6a@#q0;Y!nJAra7l33%}{^7k3CgO_| z)?`vIcK90T2L>H}OkiFLXyYSV8xy>Iq?**ptGWp~5-vzftS_kPuY((pbH6L&j}|zy z5?JamIN4?Ps;lA%7Y&zv$8<6XS<}{!)p5G(dg(_<9wJr3|DN%N_}%}!U40VT%b`=KeCG<+`M&4a9qwqY&t$1&aO-^sT&U(u z6oP^lhoDWo~(b$&l(;OPL^*8`~blaI>r0LS7on`Nw361Nv^3-G3;+}=jHnWMwehtXkh_sB0ljp*B5%vZk~;z+XDp2_qJ zskUG|7CrBgz!}3KC4+Y{>w)t%MpMS7;h_N-YT6`~k%zAFT}6XnK=goU3F*Sp2~F+T zgsf+D!$=BX$mpu82*My5C~HAOkhQEv>2#RarF(65<+YTQCJ1*VThJ4(85I)X%-MK- zff=dIrDmSJ8v`YHz=$2fwWWz=Jhb&9?#$(Ckwhid1p2is63pg z18LhWp(q?ryRT~Tv2_?vTp3TX?$ulrl`9&pzR~2Y5fJk&!RnL`KJfG5u=>_V=rH?X zXA@h8PcV({V+C(2;%72PBu5~Os>6$GG#5556fRA$r`)l7Dg4MLkz-*W27p1IU;26U z>p;xS4!!gvXUTeHAkwoD2>{329S^|5P~v;&>E}3wNGc*FHK56N32qXcNpa3XZyymA zm;(zV<4PO6FD$Q`&%)(Z=|HyP?S%xxVQwn;AnB%{NJ6B75ZZYhNV7~KMTq0JO$-CN zsfBV7%|bX~ZnIh<@erVUJ4XE>rTxi(pK&<(Q=xE|efL{A#-xTZ|A@12 z|7A)?p2Xh%NNHC}y1Yn@+3;=z&U4H)@I6IIG_V>##iN%TTjm`mOs}Je@9wAOBu24R zV$>*as>ndSu#b{QfQPm)b1+}|B2@k=_#q(HVAh$1;J5&HlbQ_|n)N8YN^X$BX$blD zWb*{~n|=3=eI7}6CmeRR@JKfYL$NFw!Vnw*rskZ5<|GB@5fhansc+9l3n4=in!tm% z*v?iczAGg<--3hRQ#kqthj_!ktWe|y`}Pt-1GG4vENjJ|`gOPl@&n8%5KeCf6`NMf zY0tyJ=BB(?gzjMSoNZf~T;20QeExv{PkqRR61-*m2@5(omq-d>0R;KmB#69C_SjA? zQDT$41{p`WUeIG8m;k!hP|HY+3zH1o&!!s~Z9eLRqNKX42qfqCnD_)DHsPd+3DMrb z{zwA7B18#It>6n(uFWE&jJ?GBA`j#obg@p}p7ouv2rS-u)#VN(qixJs;Y-M0NN!k2 z1Pc#*_9{FdnBKGh#5>x*fIg|KG=B_|@2><;sj!KH`#o_bqbyA_Ie275b@OkMfeHkNjW>BBmy_a|Z*r}`mPkU;9Wr2EKiE2p-5f=P6J>+Jk!9$nPC_7nT1tkZW|`vMtx`^6 zDJhyN7x|bc)_-`}ThSg(Ga5Ox9K&H)nW9953uaSlW}|LJOU>FgR%91+V7?(z+pmgV zjTd$wC}dl)RRaL$e!$cy{{#RPuO6Ia0030)SAMlCCF{&xGPsq0X8&F!TGs|NkRx}! zEGw}HRfjzh+6GB)*QVSm_#~U*mwT(TpW@-`cvbq8%&*=$JS!_ zqQ=!ZZ`L`B_d(<~8Nrp3S%|Aw1uoqQuAfK?h(W#gDad;btt&_!CxnG(u{F3-hAdNe z0;sC@y_*S+v}L|GW&O7jg9fQ??j~|Hm{A4@g}&B#?w#PoXl}Y16}4suD|1E4rdXf}sH^`LQWvJ#MAPj{fHl2Rffyjcrv_4{okcKnPaa>- zr-@1A7|i{9#U=;Yi$b-!6r_sn+M@JBxj@%6B^7usp_wB!BmEXU&$am>MLm$Ub$AK- z^BSh$O7*kQy`-rscOtdn790)$P}gLY90aAid;5+`b3xM&vQ*tGH9Qmb+UI~5wTj|v zFgqRy?|()6*02w@-t$k%e874xJ6F)}Ha(efr@@rVR`X4d3#-Fi`F(~hQuunSG$;?j$ zyMad0EkE{nR^P&IibU7pjk*rxO4#H-tTgwCl)nIH)a}JygY)Ko`Q1BpB0GD|`Bi-U zSB$4?+JBJ^f|t)-NS2gvWT-avBQFZA=tEuUEVjGvAN;CfiwXwC!609{`wrLpj=K9K zn`{jJ^ZTg?<5_Nm;Mp{0ouy%q?e*E1PeW^9kI}V}7<)GsGY_hy1jV>G78$nI(>MZK z5@Wj`{b}Fvvw;(Fa7<3yRD>zHo28tJv;U`>F2_Ds|3L~xIH-wIs(wJGr!NF;Cw2I= zV6|&Exh0%gSgZ+*_&xNcyI3kVc2XB66y5$Y85Qvq`sY$E3hOYZDAltKRz?rl)DLi? z)9YBF^#c5PDs2Ns@W^eDP!m`_<`!5{`je9MD+F{tKQB7jK_{hsquaYqmctqe@tv{Jw|%KIsVv*!n3Jk!(cc~!RdWh|1F0^#5e`>Vac=#8_^7B3yHXqlANiGp6(2< zb}f&XqxcU`a9QF>X#&I-O`v-w;*O~D{q5^kKshNikD1+PzP537>-BTkd~loyuV(`w zDg22O!#xxD;6}e+WuRuypt>OgL21@t@<&cnBNA`Mx}iL3u&BC8mfWJ~L&U2G<_mjK zrVCKSHfX_k`h^ok03hD4F6GCkkwt$+6+Wm-r*V`7SKR9G1&y%H+vbvWtf}}|dnVMH zVB7e6hBv=ziWwSSSfwWdLoszRN3oS{RD_vRu-|)9ispD%opHpPC6ea|tgr0t2VUSw zxrAgkg8h7+BBG!lAn{^WPO?Sow_n_z+siL1entGG9*qwxQ*>E*)2SLcUgHXqwXOZd z9pVkC?NjWt2zhpUx?MnSztgSa#WADm{>o`G$sS?WzLxjC%wT!f4X8*Hg<|oN0%rrY zq}8Ojxmw_04n5Q(0BD7#CU>6EV8liJUT{~}kHrpm9uCsn8?$He2>xSqGk`F4~tkmohXqNzMKAv85yvLHZB5;48f($Mwx z_pJY^6F7U&!)vm!z+9L$k(yRcgAd>oe%eS(q zSGFZgCHIE(u;ezS(AIJ>?@#p#2pI|!lg;#pJsmJ8Nf5?q*#!#Yi2MffdF8vEH~Fr4 zlv#91IL+(Bkw(vS-k~Kp#bh1&a69wfc9?y`Z>?D=K-o=Ox3mKfNKz=h4W(dVjPP2x zMsOuOiooUSb2FpH^;an|xa8GnGTfzfw}&GIUWheM^1DDz>g%GRXEazO+x zx;IciNAM$}q)kpL`ez~ryg#KUs7lv=cg$o#J7XhP!4DKt?Z`+hP#Ns3UoZbU%^e2v zH(Pfoo=QzGxSL30%RejR4!Thnu>tVb`J zhoH?S2X%4Na@>Bov!Dh)Bq>wAvszI{oed9Y?fMbhIvesy5sHUzgqe3Am~1XLJU0!b znF_En?z8xk0JIG}s59OB85`J8v3a+>S0F{ur+m12dp~Xq%KGx-P`BQ`F~x|>21UlF zYfHu8XDAi`fXfxg=?Y{q1H$`VAN=X22Hg(r9eksno>|Hh*uPuTRdaXqT_^oP;>Mwl z#(^VO@%?Az2U>604^v%gRcms}HZsC9p)*aA3zk7gdXGqr+GCFdMw=r6E(jqvBC^lu z<;MYh?jPd*P7eZqBpjvY9fgQ+5d?{(?Iw>w@Yut0+| zKL0uYl8|kZhfWCme*Mk-G#gXr{(R_-6PpN;LdS1k^~PD=TWSFw z8lkqyGaz;Bo1bwvUNy?y{PicL0SWmF4|qhVMBVlc6#9|J8x+A+^A!>42y3iOfv&FA zSLyaXqd%zMTKr_{QUH zgBNxw+iHS*7eGi*^*(4fg@brnmmNaA&5|ox{hmPLc^N3um~iRcD+A@t%N%?BOW{`HeKqc%6`%5JOiB<4E8LSmi;3s6$o=uun;m1Lhi_*B*DR~@4U z2?e;-zDGLsP+Sh`obsS>G;wZCZT@-n$;_fIZFc7Tx+yGUb439A@^P6)d8ND~@djTT2%N8u!$PO}LpRo86Q$n9}~#4!DU5pf~1(a(WECBp$BaneC^*Hg>(fX_r&JD`meRC zW;_MrJy$dDaFt}nu)NgzVEWnHKdbn?DIom5dTkhO3LLhZ1n3M*BThKA9kbe`wg6y3Zj$2h|b z61bh&juMa>=ix$ocCD%urfUgwr{Ksy@z|7Clc+GazCp9MQ*SV!fJS%^sJmYlOCBcC zlWXW9t>6TrIaKYQ|EfbFD|4mPB^)0xBTN}SE4R;8Z=_|X7g|kG5g)q8RjI0|{{79xEY$(M$dT34LB4cH;_STi3=ubT71RnK8@Dgd*fnOabxLWYJ5A~3Y4p`dIG3n)C$a* zniW&#S@~A+k?$Bst?Euymu{yrUP%jG1H`mpOxcEOjGbAv)o+TgfIKNM-;Ydq`K7+Z z;~#ueP%P?>9R}Y1MmqmyT@;Mpn~I@qiQ2}p9F0)M3R-_%v|5jD$_Tga;jww#n{!2E zT+GMKU_*qS@!7EFV^I!I0)1gOCHi^2I&&W`i|UM}bny1L9C)xqS3f#ke{=otiwEJ= z0g;!{jP`!3zO-)w?c8xII>oTS+MnpixU8%gDB5LKW~au=vX)$0tb7vZ$I?72@;Na~ zTStT#&x|H z$%nSR6RDJ;JlM+roQ5{UCnDgAJXNd_ypk~(*zVn?p$R&tprH(x4!{(he#SYJj-sj- zv3&!+V_+IeaupV!R0Bo5>RwJfZA;ZtbGpNh()j`Mxuf3J-nKU$saHuKHJwh8%s9?JS0$xFe; zG$^oS$+7PGN^xp)PRTfJlkpu&GC=(_ou+k!-)y_s!FiDUJk0ZEW|Lrd8|-mT=m6M# zu}3EMEdp^irQZ}@Xw-ugD*gngWR%6rd(ZF!@Zb)Caq+~ZQ7sO$U65W|BfNf!QsdX8 zCXr-=*$&{f{I3kuyL$^}Ra6~=v|Rr3fQ&x5;=XMMBS)6*sX!r+O1O?G$LMtaxlhYH z=)_?*`O_#trtq!cSeSj~)M~HB8aN47?|ke{^-TRoa!}&=M@`d#H!5v+2%Tm+5Eied zYNRCGLk5^GA%~}A3*kv`Mc*+Kk}ks;V1J3f{Vp>BMGe=}68gcti|s|rKjNuwAM8ks zCBA$AU=VzF*5tjme6yFJW(;L*!Z`!|tf0FoW;_P^)fA=Q;3@aKeM3h=mxvc(O3BOm zRoS1B%qV8uqV~xD?cLuLDMJ-a@}w^E7^YAm6R&r7hldxD-lg-B6jW}JnSSJ9wxk3L zU*f}e4mJymzd-GEdUD)y^vtgAm|Kv*r~x4(C%jJR83Sh*s_v3xpa!wed z6e$y;f3*z~B{R`{GdAF2#q*{VyKof_-riw{LkIf3@MNlGSR^VYSLq`%pbb|gzo65Z zzjP-%k6;uqKvVX& z-XVyg#wy|0@lh}%HC>h(!&a2k&f#QpCiSc}p6fyOS112fKaK=z)yB2toUMd@%1{--HwFV0FKFUQV^U!w@KlB?OdWPeP(toZ6^3*kUzZkkz*8 zX{{1y-eTwQUGVrUHpVs4uR^HSn=j|-W1j>y-2S4u z%fRzZXU;V1aY5z%*%(RCX8egJ^D?c%4gpWYb&i*OXN8;)2$ZO`!On$Q627c zpu3C8_Wn+j%K_oK5**#Mtu@iT+N}ZdLcnDq`bg=}hg5rlasIEkuje$?39M68AKrQA zGwEZ}a28ix6bR`*!BTPsPll7!| zC-=d6uGtT`oY6G-B?7wFn@WKHCJMSVASuz5ymfP=7k1rPYTmPZ8U^}cpJaQ`x@gx;hm$&lCA}`s|xNoWnMe`EngYbttd7pVXpQaQfKyu#c zV-cO~l~?(gCiZv${KdW8gnk+OGQo#@Jqjxc-~Ma5UE952*>}y~uo1#0?xNVX9{Xf!e8W9HKGajLJoP{rDSWd+g@#esg zxLhFXOO3pJsCgC!Wg9P@rBb0wu1swLQ}ZNVEs$HuiM)ZTjq)dVf4!}kCKZ!9_yL9d zQmzW3p|4rtRNf`*7V-$MYmCUra1BeGc9uYu1kD(#)>M*znx#f6<7IZy+f5a+t^~N~ z5X=&~03Q<@@!W9igF$Hng}X}{q|{v3F-hf?7?)G2sDP%aX6Na0WS1)Dme-o!Kb z)S^(@>VTp*%t!oVs$HADL_l}n!}xxKHaWKo4GliYn-#bJe!u;GPPB!e>_-;y(o)%B z5Tuts+`-Q$`T~ul$_Cjt6f)}ZzE=H7dMc}a!Q!-``G;}nFUL@VE9eGKf&y!Tf>}b6 zRYEdn0=`23yYILSp2y}CAXBfnsWf!JE@*(LWQrA{?5H%$TA{CSMgGV#pJf(jzy!v;7{yGfi%dPE=G3m9deaUB$VTfY*Xt)) zk<}l)Ezu_DZ_bJ?(iZx}^+B8kOCxgExGuLWr>%mO1{seKNhlgN#Q!#Ujvd! zA@a447es++O@Q!GIdX}F05w@Bt|TQOeB9v0)C9i5NR}}5!YRQ{W$-1M9DZPQ{Y+-z zj4$uH*=1Pu!}gnkI73kck~DPG?aev80DPmWgi(i(uU1T}6Q@^)P1XW{Jx37zYzV(h zpMgZv@Tb?bDngH_Xqj4RaB)>nYXGP(V1b&OjbbeZRCKmOl1{FvMrkbha?0Ej*0p#|i!6G^A`^d4QhN$-Be)+344k{qeyR)h3a~g65B3Jt9^v|zGLOtsK z4|FS2G&FYgdO5Vf4Jaowj3n!w^^JEM8+QN)MY&%m3Hb(MQv*x&dT53@4r8u;BZ%}k z=6A&`^U|I5PiVbUPDfUt>&le1*7VvsG5qx?VHk`IpKkW7`NCi#e$ltYV>Bp1E`Km7 z=r!Lr4C=Ya5pW_|_;<@u=-|1&HqSa0CCLK6U^p>f(31H$o2w_1!5AYRm_2L0-Xv3J zT^^GoV&iLJi3sy+-+9$njXV{BoO+x%2Bl82tYU4BtJiBy zqEFIp_w1y%k&jx|0O&g3@HX_%r;VbFXM-B-gPpXiaa9-*tn}>aw;_ZXkD>W7c$C6>J!=w_a*_IP2zY*Vf?R7m|{+WUoIByW zH-XDME$%SRiKOLk9}IxhpdRU?RqA%~RzsOtD5n+d=BBg5_#1T)Rt~=*%xstvP0ryv zzq2vYDlc}^Kjp6H)`vgBuG(WRc8*y~3u<$-g2n3bYR2h5mYXDviw(hs+nZLw8~$pL zHwyNyO#mD(rmV*fcFn)|Q55a8vALkk-#!m?;>%2T+Fnl)t-%WI&3Xtfa&f8F9B3^w zQEl!ymr71vGj5JI04clZG|Uo&eps8P->G7<5OH(x3q^5PtUZ#?HbIkd5zwGuH!idr zs|^5d1K?6hFqxf!l_YO-xo9>C)s`)aPS>jL*4F-@HABz1I&H<#uEsEuw4O(UY4J{v zaI~PH`SN;;8im_c@>4TR$>t(haaSN*3V=&-qv!Epha{koAAE+XE^&7Kn-JxE&B09o zm&PplpE=i_yDi~1HhX&G(+=5{v_J({a*fHZ+R=EEDb+P{`B@B`6q-H5jf>|aEo(f- z{)ZD}!fpHpM-w^!D)u?*z1B1T)&rzbM^BTVg@61wEbSX)MXr01IW2n z(6{ozj}lj0G|0eckQSOTuEa+97|&jVQysCxa{Ac03^$8wd$ps2O(B}gs}{xOTKx-T z+>+Jg#(#^utvW$e(I9h3B2hQdkwDG@0g{xWak~ef#`o+~mB=Of7w9M~T#d&Qm(;O@ zO-rq9>hQn>yRR@2?DYPTpd^JZ1jy1)h7-Zcu)1tzK2`QRWgj|x>Am~M=$4C9 z0c~c(vh5>JaaAGtus=iXMIFEG+Xe^P_Yj3@;XcT;WlGP7J!hkFU^3MGu*ZzdpzT~)??fPCI z4YwBq;gpzj7_S|C0Ji^H`Q`D9-@%MJ?-#g5n78&y4b!@_fA(5E+^gt!y1Fl55545!|$ zHVf`q)e?C(ZdL^>Rj5F0@oUkjV zOXOR?J@ zwLg@89-6%%FK?!hv^kgJ9-sl5cf8Bb^AxTwvYr`BslE3jXfaHW7&SU9S1+~*8`JL z%ZvCI1+>{nsn0mCW#|gLv3^txaft}UOdgt8r~hUd(}iGE`$I8zQS3k0xrqP?2o^VH z*`EW}CV(<7KUWwp+Po7?zQscAznyTIek*C^41uFpx|XR}OWJx3s{(5#g=D|6G>2he zr=GM?M7yRT^PJm%G{#yq!d^a2)nUD8>9s1TdiHTV0S1Vyd1Gxgi{&O!FDd>otk}$x zvXk2Sa8QCOdYpnC+*gnl#^zb$)oG=y+TTU|u)j*=5~DZfdtTS-PNi6pt6bjIM9;U&|>aZbbbS4g}M|!h~@5o^>48 za@)xH{1DOz>s|-gf50)=9h>)(xj)%j=6E${|y%f#?$x_zwW&H5eoS zZ#_%^mN%uQ@Ox6jWvy6^wHooA0v2g2{<|Y-ozeEgoz46s$=uSRZ4e6&gG}~28B@OV zg0%LuKJ(fXuC_N33O-%#A$vK)nXKX+oDLy-W=?1nlS;>T(Zw2z^0jEs+C(d^XD+eE zB)|C@qr971DSuKfmJ)HTD0Hc{yo7C|o1Q7>$gV+CZS2qU%H+x?Pfab}08|VvnhaYc zcQSQiDJLtgG_Xb=#FP#jnG2uA2(U>-H}%Iy94U{pv#7Ho zme_E6!ds!vyouR~3{CA(<&mhB#zE!4_gt4ysFz+PJs<7xV$ooS5Qs11~3mDr-hW8Wsj3F-2p&y}AT~;uGnp z)i8!V^tZzCu9g_{m8zC|4n(I*zi1whvN9@u=}H%yRCc=2P~5+FvAoG*A_)n4#%>Athr%IC#b=o3A!~ zJV=F!A=NU_=;eF3ZvZNJ2j`IyvtR80==JC4_qn@17v<5Ze5p+eQsMt=s<9w}qu~V( z#FxAM5<>H2P|$*lgj32JUrgh=sOgL%pd7H4qjKS}Em5R$8XTgU{Y zmp!6Cr-;!lU3Is3rY0!%QE=>!>j8gr;jZ}CkBwIIEx8>Rdc@SN9c;kP%!ma0TdsPf*LdvcaH z)l5W7YcXx@0DsFh|3{#lFD67-L+*=yhJm@|6YQF-rTg0l3~j`MdMu@s<~t%T^jS+O z`aO-9xl&3i|2}7dGJQl5#;=)XFZMS4r zxn!@XsUQoUemJY5{F9fumOY0y6ECS+m$^jg)snn_aq8VntIy`;VoRLYWnd2;Q3I~S zS)9~;+PHi%yNEq~Kt@VX*p!8C0Q+)#i#6{kfs9g3b0|hC`-SF5pu}3;`yW>Fci4*8 zbF%A%ooXT)6G!|cb^8;YJ#$KN*}}FaF)MFPbr{o93c_;P7X~!ubADrnD3~-?=h$;t z@A+y5#M;|tuPrfg@<;|ew}8Z_^SNCEk9_5`8}K!|&{8hlfQ0oq>tHlpT136t)6c0{ z^Rp}u`{RSlCt>DI+tyy+7{gFr=E(uO)EoruPZi=Wkql%|r7JeY1y-w1i54_eY>nYQ z2oVvPc$TX*srHvu42DjcAd<=~`2#YV8N+a*EwWwQe<8JpzTc#OPEc2D9}2PMtn))0 z;>(z1$PMHt2e>;bWuj$p&y{Tkkg*cZT5PG{fX_qoI$(AIBIdiiJ5x$>hHY>uwE@u$ z!Yk6xY-UaaXI#zAI6$gVCeM@IXO1Zj)_nSen#RuT^@L4dOOC(!o&|D{1_c-ZAc^tJ zN~Ke#!3liZ0804^AoY?Y5>j%SWJNAL5xHC;?Sux`&u6t8Cf1)Fz>-uy%EKt5F|;l+ z)!NbybNI+`S|>9y4te%Dsb~yTw!shTxlKnWK`!RKgF><|Iv z8&1!w*Y6B>koqDF!qUImkMF;3A^i|yj9ZFriFzrbdr}t#G8}B+4Sk?*FzmgFkxhDKkR&2919oDw04 zPpBmVPWc(+^MB0!zW(xFJm$m6CTkpzWbl*@yZ1a&$zYEQi?jdKakxC3 zcpp#h?;9{%@Fw+68vttm0gBK)ZPnXw{cpBj=}R%*F^O zjl-W!3qj6-Shi;)v>yN&oFSWzEt_1nPvfEE1J}(IH`E66BwQs2o==s!^wpM7WH`kX z=be*kY@I`Lq|-3ai>+8l0$9QkQepu-1~ujoJG~fX9x#}~oM~7%Mf;0rW1XkoW(g7i z>pSDTR>&Jc48P|_rN2B^Q{Fiv2mO)U>A>0Dkl<>v+PDWc5!c5+^|^}hrOZ2*Bq)#lsen`X`N^eZJdcT0g) zyu3o3971JD-0syO-I-T7?^%9Z9gBm`{cq+C^lcpj@e+^`gDm|VjI8`ZYR>R zK=X?UUdA<^GsoXi7Tmi8Av(;CxNE(|fKQ7gyDYgQxezE`Q!6)_l)T=(55TfgQUKvO zXOp|E=>l8X3U|lgSg#|`>9#yYo?mHhckME*!!!1aySKW^6hhoX1v%a)890~qaO0Ty9%@xFA7k!kc8F-56N>6yL6tG2L81_`jSX4Ha^eW4vcb# z&yc!{+-Uc64Ni-~AcatP?Q(;p}m? zn;b)I93G^&13U*jTI?QA zjs_rra%T!bqr(a<45!1(J*VY0;ZP6P<%(Yg+m6%*Q2c;~Viir*M>ARHL9TtPPfpGb zReH4iVQ<|=n|XZ87;G%ujV8RT+SYALgfyLraxFH(X#nt`kR&a?=}WkSZiUtCn$K>P zCQyqq+x@6EpS1`103v*kZlAM?)Bg~6S5_!2(i~AlsQ!cD`;CbV{Tvx79Q~*|I#xI) z(I#wK9;yQyH?N+i*xCecA8$=f$+ZKjYEgFF{>6lWcvv;%S$ z4HP~UNsX;ZVnHu61K8_pQiFWcJ8IJRMKX>L(l2W=MsLvKZLBKx)x8(uHGIXAQB2ts zS&Fq;8h+A6AgZHGXLS%I3?*g8kgXz`#_kLZ5Y11l&Cd`mC>yv*Q|owKrN$+iS(Yi} zG|=|@Ns%s9aiSiZh_~Y07VU8S!eZ@nckMiu%{-E5=}c`Yi&z==Jxo2!%8K8Oh2vSr z7g0YD69iV^A|{oMcH+Im6Alm{E>*^B6E8Q2iFLIlVs(Ak0*w(2$Wnr&UtxGCBZMYn)>Db5yIzXF?s(DVFkGkNUs%WoI<9Lo^+zOw ziUza0Tl~ch$SKuORN0zRp6N_F(AR}u$8+l5CA(b#6KpatTm8zXWk$#{{DRB5H}F+w{X?62r{m!;d7UXC#Jo$=Nsbwc76W2|Cr^ zs~1W}RUX<7XK0J(qi?_lc?5uz^#Rh07%FWnSm|41m49KA_>>0c5MRLDTEP294ZcJS z1Toyo^3ldyVs>l(Sy0;h%lI1t7=tzpRGXyD(Sy{s>Ype>^%-L&@<${9i|$u1nnr6v z7bR9=8+PKsBVyQ~d2y%X!FN@GLgsaUgCz@#;=$SVI(Gen=y)&yed8h?9H2?r(+|zA zzmboI<^#mGK_cO3s1vf2WNDdhyv*WMYh$#_Cv{?Yr1R+rWfx#oX!prbN{A|Ds;%L3 z36`o&Q+m8%(Lz)E3jJLOb8#8ZH6f+4b|NHEv#lw&okYJM>o;pud!XNESxl zGMBbvYXK%r*ZaYMy?~EWPNr+(?x8Z0RDm72CsXo`28$TT?fZXCzv;9MP~VN$u|r93 z-`~znT*YdWHF8|Lu+kYd(N#m)tuVl?3U0o46i@_zL&KP^gidr22TX?J-{)#=Z7!$& z36-<&$Bj@{Lxz<=8nWC#$t<0KvyQ-q}e) z4t+zvS^o-o@CzX3gymWUZuS8vu|e61FS#~ZChsA3`t->kBP7eAIu`>seiz>hwPwF_ z&Np}X=Fw@8SMF_PQBu(BmTIO@iCcb>35Z`d*qc0>!c|UAhAq+y7VQ%g5~(9PF*IeN ztv@dp3|U(`BF?Jhzuwkynfg7_0x9 z70x35`dr3e4q>EgGP$Pf)6Dnxn}kxM=~qhL3qTHwC@-+xjDwM$v0=$j`=-+%E}xm) zk({pwz`O!veoq22zY9*H3Ds4LsQvT31`@7qhWXwB62BXvgN(QNPv(>8h3$Xze{?fd zvWB5{3eKO5&f|x{*%1tB5)9?mgG|lNS!=pl7RbL1H5Y-p2PYwI@j68y^L#}lSWXui zeZFC50iulkhrJmKm2WdA zqEX-;B&7ffoDbS;8TkJ47;4qeq9zTnLvq@p-?|r4*&+Fy9Kg}%JWl;k{7)@gBLSL@ z=d|h4Q;LC%jOU}-uR<>3T@#)=|L}ff`L$1lqL5|~YOH-}7|nD?dcXph@Lzw1?Y}EC9*V!zMuR91 zI=-_){-S~fU_^vN0%-qnFZh8(z&A$VFKKVO6i0*bT)>X|`Z!HQ&aOhh zqjA9-{G<-8ySlZCTL2X&LFhIwDx~lrjBYP{`N&JJ3yiERkZ?!fFA^KK-1@PYgL$8O z{t6zI#JLw)?s7Cep8~d{f)7{#UyrOET(8?k1SGJv-9Igu_W_vO0hrr;x7TqI*DAc; zNGTM-FBLn}^ARvxEiSZmL?ps{UvCopeBGJ=6%YcLQ-KR#FDmrFvpaU9t8(XWefQRF zDq95Uvo%wb#@iE_%>HUJ5v{?}4Ho;8T-z3iOzfE=1Jc`qElB?4?@>0ZvzC&n@B4l+ zU+qj!$L+h=1Jkud7ri9|t6zPJ44?T%z(KRFLJuha^25XpAM~QwII^$IXV;!}pXTk^ z5+z-#Qgs$(JDBibrcm=b-5GQ-Sg2DS+m)Ya})(-t6tZp zC8PEYxA@oAv0K}YK7RAz)`=g>j_j9x^}D72BIbEUGkN>>@#jaY>8<|yrl+yu?XJH3 zQ*Ai+Qp3zUnZ(o2L8O?ft2gw{bMLhalcP!~;wHQajrtx8QN$5RL`DkX^1a!gXmB|8)43FL&bjO1wX=d(3bI&!mO_ZJ5B!nSQQA!d*N2y8Vnwx_bI80U6w6bY2 zMA=LtXObD|tFazT6w+w?ZZg__lxvhBbkNwWTUdbN6@0TMS?V!a)N@ZE2^^5hepC9e z?Y;R<%A^XfgE_WU!(btmwNMcOjidYStYo~u!ZSgf{(-dCvX`ah1&)Lp@7!~ZWD!A= zoZFMwN3dVYV}nHqJEjl~KF@7m(ldSUTu7^Zjb$R+)I0Xyfrm&I9iX6PyY>{L*r`TB zxWm`r^HsXf+vnO6JWQjs4ANM)1rhr1e-~u~G}e53MxJRJg@q@A0Y7@FPu8&XyUyM}-?i_#XB{OKMG;Z!YwRK{UjTsN76|wsuKzv$*NgbyLKh8iX$5%o z0s?!%k6c>8UcKPJUf3g>R+vjG%&QmnScW}jl!}Uhih+U3rj^R2m&&V`D(o?%43F6P z8TdsROj{YedKn%&=u!4Z{G#l-t?Z_)?2jdShW~#=`9($fOMYRE|0td zT>`^g!bV-fW?axSF0IQht(#tt0?}UR6t9#SubdgL+GVfDX754Zqm-Gzl;yzI&A{Hx zut(^eu$0oUoaL~`a`XWGKPl*xQgmr6x^x*`x{2=HM2|k^06lt|@~E^mrF1!^_A#3& zqX#*UT6=R^H*;nVa%N6TAJz7j){d68ZkDzll=jY)&K%U%w$|46*0#>n_HNeBY}PIx z)GnX4KI-jl?Okpi-E18_XnpK#p7uVPS?-yVc+BBG#U<;|Jp)0yS#na%5&gX@{ohvi3`r^}ny%LmuXr;mBqd~|TS zd2qdXdcAr5aPa8#`r!28;QHb8e;!V+AFluB;rii!{`XS-KLN%7Vj;B34Fv>1+|N zz*s zJ1$hA$SXs?w7Y+w$W?2v``Yb?GVKUkT+-=l0N`WPMBKLr!bzDdgE~BRp6mZs%~S7e z+MCP}#H(dushs=VARY5WBcSDIzCx>7Q$vgdZ@R%|GEbws&8X)UV+1p!!3K)0tYRmci~f>US8+huG*GZekttYY9&asHY`KHU$+dTRCqbUV z$<}M@sw^)eGU^L6QcKJjo&ve^*-13EuiQ)XOZAL0kscJ;)3r&uWk^;}^)Jv__Bh(l zb{|!lH(1$$CB9~Qo?8pM`Mn$3h|@TW!WhXz}`LA{BR zPl!xm65F@tNH>o-tSCvVDk>r2`(GlWv^ zOU{D;#Ftwrf>&eOQIJDZ>pG?e5t1RiXJgyNK~jTM#|>cCng%;AN_VpQMpo-+>$!WFaakdOv>D
7XGp-C(S4E*3oZb#LXzi1R@~?$8nRX;=F9Wk z?xq;Mz1_=jz>ISm`TpvZ&lKU8r!lX1bH{Dn42wA`EB~N2_8dR#=NS7WRqLd`lGVsB z?*#(<4gc?MmpcDl_jHqo^zWb`#PVn34ncRF0^fC?v4?|sYZCtbS@Zq;?|L(W2y?R& zaf*%A6;y}0!zJ8qV3xBTM2?ads|M1OE?9cdur*6Z@{j0d^UqvXl~@4CJ#PT4;dn9K zd$quLD>yu|ObD2^MZzzQ&2=d)G;*Y>izhhG%fXjRQndF(#ws7W>WfcDAcN^Eg2)&B&aKff1Pz zt=Sj@^qMELwQ+&nbM;-sS%R#D*hL~4LZ1X7^h$v4Ts^~_3CrV}lgUYjK-DCc?LlZl zg1Qu^C8UJIXgtA?yDnt^JZ9lN`PlmSJYOWO5u2QG2{Ep{iYLKy+6Z>_7xbva8ujN5 z!`h$HsIVwnz9?|Nw~n!3wwH^%{2m0nn$YH{u<8?ci+>9P>P5}X_z9^)kzNMev_PSH)eC_t!!1XjmqWjmW$s0GxetWol~ zSm8zd$E?CWSyY8p*s;zFI#9V0%d~#wN_4gK;n@z@ZbSLUx6S7jr2*c_6 zTin824dD6$@WXp{J^koki`Z1((ysge@z=_gM2qJNg!d}ta$%9{ORFeUCC`me_sa+QF&T;MFrj%m!J$AFs2?I$PY9ui!NEp}(>ScTT`>r4Wn>?y< zuNvd3Wc%&D&Kdj=nzqJaj}{Wbck59e`m4Ik9Z|adAGDL3r4b+hg?tFFQh^E4mJi~^ z-(NTl#yG`T{WhsIWBt<0y1dfv*qVV|3k8^#3OS8qo$Ri~3dzC-EY~teCTCwT&IJzK&76U?i-iV3HrD%!{#< zzDP=^#p9LspU`;gnVKK8$7duuVKH-&wJxzI^a*R?DRp*pshcg=7!H2N2sTfMIAI}` zZ#$3#%3~gauhxO}B9n-tya+TNzO4t#eZ-958&03s>{S=FJ&F z>RIuC&HUDs=&VJkO9t^@#|r`It&v0}JJ_#6P^`FIm4cMv-&{W>t!pJ9sf7lK!`+7& zXd3UOHzcpSPye0ze7;w_p}!ucl)MOi_jg)I{UILK_mLN;bZso3sWWfgn0IYRQayIDjq3fl#2> zf^=Xg5D)@nk#-6K(q&KtDmCHd;$qA9Lvy#FwfzvPFVI?d1YIP8W(+}3g=CCGFm)hU z#}LmtkjxoKmN6t782PjV$#aMlVhiO}Mha&jp8A1v(y%3^U0_tirhK>oB^nLV!Y^9I zE#1j1X2T{zCC22Ql@h-S!3vZ!W^PtOl+Hpa4xu##2$~y|wFrLhEb8@GsEr@OIuhZQ z5&i}o?n;Gx=ZACwhkN@)II~6g9fk)`Mc8IU1a(9p4kPN^!5Dd5Y)P0Ow{@_IAFQh% z>mt>@(Le?MhQ1Q;Jg0~gbP*CS!c3y$6{LjqI)7^tSVv#GopJ%(79(Z)Kp;7j>tVq&-@CQbpa@IS1HAq z(czP6z9*S6RV>%edmJMK^uNiDOWXuM3GA zjSRi1he)TMZlP(oPwm1$T%hlQV5dF>l7#2iJoQ) z>s!Kg*dloYP_-7I1+kd5lv=(lee)fas3;J~$`?)X1w|tg^Q<#w&@q|MDLG^ediy29 zk~*zYIqk|gX~;3ndOWGKBF$zst)?SwYRqZ(nk4RvzT+$|cOia+5X+ww1F0obS_54h zvWyoX{5)_f2T8QFUo^jHoC_qfxg*)-Hr&=Y+V%*Ma+H`*8O;`z8PJhgAR1Y8iz=){ zL@K+3OoCfqnmUBwa`VS3+M0i8F?Cv2I&C#-I7^9EVGc@&Bo|5cxJ@*!Oe$NAcy<)` zdn_*HHvBd+T2wUWvr`iCFlW#yW?D3S0TY$GvKjPCo8tplK5R z@pxj%Pok4y69pt=9w%Pq^JB=OrQpm7Cj$8j(jBth;+6R`{e>Ki$YeEfVB3g}; zIWuF`1VU0umT((H zi3hc@c#?I_TeVUmEyxwWpH&Y7@5$%9q2lA8?f z(^PH6n75P>))|N}8ssx=Y!>Y*;#sgr6~aIp@R;29j62+HvnLj-C+?I;AX6r z*ES$>W~=;6FQU7q#k+jQmt^O3}@Vol%?9$ zUFhX%C3#Vz`AxOvL@2WrxNQuF{|r%?k@NwY^em)8FrePjxV{!%V_AUC0u6~2v3&Fv4BR1U0W&+9kHBVj1|Z4k>+<^N&Pyho*u zlQC7_q`=1*JD?vEx;GDX2Vn6xRM&<8>u7M4+^bHHK^<%0SO6c3JFpgp6A*%s|55*J z7W}e0oTa}Sb%yn@1EL+n5i@J9TWjFg#^!eq7kG*lUVy9p6ifCg4y+%i?ySD%j92>y zO2nm#zajS%1RX~c#^;exoSIJJQA%iU^wY_DY^0sl)ZjnSy655y=p&r+FR0JA)eK)+ z-cB?-_d_h#At?z}gLhaG{RqoRD2o-i6ozAwP%kxEo-^B7r(IvuU%z{Ug&T+!J_{`d zV5QE2GAE%Dv!KBV9FKm)9SxQRAp990v;iNhwgB(>77Er6RkmuYaR>6BL0A$x^8r}( zG4XsDNLr;o_WW8TU6pbDYNNvQK5doPd5D*-40!J8&>yhE}=PAqEkx z-bpzNA$%GRM~_m22hO;vaer1zO`sVHdiiv)aNwj22^|pAwC9AFGVqX_{PZl`7LR9#m{4%A)gYv=|J6m+e~Yr?i)!2{ zdS4gyRhM+#mY#_%Y1M+iPBGd;!2kv&=%{gJvnUA?Y!r5A&cJ0G5SuC-_x!$}CtQunj|ih4;13 z^XKR_O-zKcE&Lw|BR4607WKU%Jenh?;zMo~U1Lq|TEoA!rrx!dleN}Yx$R%qI^5QK zG}36PNmc(X;r*#3AM1FCLd3eKS$zRp%z|l^q2$>cx0u6?C)_=$1-SLqh^ber5{}?v z_}ts7D)ott`f6mrY*VcjWcCC~qYf!P`?`7pO)0?T=KLDlU#@Up?a^P|w+4Q8wDFOn zfzm9H;njSZ`EtH=G_X4fzi#U=Ae!*WHj!ilDg8Ft%ocgxHr2=NCo|h5zqTniw;7)# ztDH^p5l;;gn(xz$`bI|&QYCHwP4e?wcd95Dic0!Bo>}6E&dwanugv{q5&zjV*~@H; zxwg1~dcCuDx3_j(b7r@jZcj^cUE|4~o@OMu@gh8Hrw`TiL!_Y6Eyl#DxT3d&EG~Rp zq@bE3R1AV9?5cqr?|6$uY;#5MQs<_Q$9Yk&VR-o0%4kcBGxKe4cEZ+BG8~7l%7=2! zhxAd0$d5TCV~4EM5&YA|&p#Z>{5wp0TW~fOY7)GYG_hCW)8QIboI8{6qnTT|nVbZv zcU3-^a!O5I%_LWg6O7tVd6K*C^n&gcR6_5mLjHfD9b|0b!GK8@UL9qe4F zx%RW?-%r4g?^BrK5Y>~Oj}h}9*Vp0-Hs0n~-mLST_ZDfI{s^o)S1mZY+k1mKcKi}8 zEH=*mAts%=QIaNRMLbjz6Z4QUm^;(4E}CVTkp<*g!+k=^LimFtcMHz`;|^1W+m-Z% z{Y*UgAX+V&JpaH=@|>nGjv_y&Hsd@Fg1MlLkM=O$F%AAz{KQ!wl6mKcPBJ;^&pPH8 zttMHoPWRvVM7=)&`Tk=jE&Zr~mpj~RGLlT@C$G+0sc{_i$1yGV(3(13^5fd=m-x50 z<#ivfG*z!m`+gXoUNuf%NxX}uuDD?RxX1O)kY_FN*Jky_lU#wdbD^pd-;YUBG!3$n z*952eSaHX*mGfrr5VnM+xoy2F`Dbe1&aFD5`y$g;#7oxvPhB^wlTHt3oNvAIfBftG zeXn_oh)=z`IpVcmbg4JCeia>3pX<1K=Tlc~?{{$D`2!72F6+1(Gmdla{O-{g{?l>( zSLFKYJ&v*zvFa%ai(7#iZ-FrHOfzO8V)y1aQ}n9-zlQn$A|_)0fuFYXz5WLX{5Shw z{Vs-N;KQ9Ok*|K`Z&BV0Tgh?py!=3^iy+<~eqz_6COLKA%B7*#pZ$@~ry&61!(j-F z8%-ylp}jpAMvluDMn%jJsaq@7`DQ74i8Z!X#QO4Z!e%Uvn$!93mvbA%RJe)76qTUe zXlkwLXqbtoy>gn6#eNF=yn|LA4I(%vGb~lU3_6$NL}PHQUu95hIg(}Y!?4bxHyHHP zkZb4_Pzz>_@}^)-;*w(|hX}K5wAX$4RT8sUwiXk}Kd9j%T({Nk0`kgQ61F$Xez*Q- ziS1@@%&_hWLL~8xqEW@yeo5p}8$IXR z98VsmNu%jlV)tE{=5mwD*zw^!Ur*{~mVm_3FYNIq8p554C*-|5L+O^IiwaYgP{dXw zha`NP5$wvT@xl;(h~ZJze8aYl1CYE4!DI9?BWxvEtU*SA<2u}wRCy|jh?AD@1+}GZ z^gfff^oZdQQVZ|3=xIrTmPBau8i>bo8g_XnMy3Q4go-tv9(N@j7YT{y*)wXDnC;l#KROFo#)qawKt=XY{IwJh~!}SLbqC3}|_bhKuga{h4)Su29Dkqkt)-Tbw z#+brXoTvCB#jD;A-X1TgCYe>xAW`@{RtQvlxoKEL0$bw`Z0}Vx1JdDi_je?fX;g^N z3&}`^jTTeP+;?PxU&RjNt2fHR;TeRthmjIC?xo2ju&GG%`1ij$6BH#w0LMJ)hnYtl zZ{i9`%l${e*z~H(zl%7!cnXO%7ugCOUX@5p36q`dwZH3oz?E>1nxKg+fKA;A18oTL ztj|ZD*3TJ_5exr08>TL&^%&)@m-tOXC|rHc21~sao zsA|7kIFh8Qf|{K<24*Bp*-0VKb88iQo~&CS(GKC#&|xA#TyYr%V>_j3f9D$%BqLA9qh?pv8B#>rSG8 zCms}+Te~m643ft2fFvCszr5~PtQANQgWd?Y@_T%`DNS-YKE-k41YDl5DG0dos|@&D z-e#A9P@RjK61^=4hZd8kYReJ8;lk;qlT0W-%MQtT6iEuUnZXwe@=e94cwj86&Cjse z$Df~XFN%QjoX^^ZDaRZdvEw|0%vk}r!lxm8H`D!`{xis<;+Swiq;fGg=3viuW(CRR+Qtz`}Zcj(*^Ifc7dLbS|B$!qtHS!Oc#gBAo5b zh+CXs!)iK!^9@_WPBbuTmU$vtBq*daH-y^^xl7!8@`Ic)L?K|Q+wxD_O7AJ^UC;yN6H`SVJF-IKq8? zHrcm-8I^oVn22Jui%pDTaJO#Gs^wxh?5r`64$)%qqh}4k z8cVU8+320<@41G)F1k3JY=tj>znXM-hGi8J#Pv~=3JIjBT#xUJ_{b|jjs02G(k{$( zfw%q5#K%1iPO^%6_!dKNUF5r*Jqd?DMT6LV9q;n4dK@I{AF(vledi7 zvw|?1fECJDV{1&6n~qEZDLVT2;P$8d^7Z2UP+jjG=GL+>1=wYxY~%{e(#m8hz@n6W zPVM!99dAx6VT_w^_WHL!?>h!wz4eH(#{Zz`+qKmDHXO5oj1I?ae-ao#PGb0ov{GE@ zp>Am3Z{iH*1&q=Wd_WcXmzzB>!uH`G(M)FrBxX$7s#!6@C&Swst|q&-8z{~s{b8#J zVr@-n=FNpj`CSsC@gz;bU0^NsYnhIrc0H_^%$1yd;dcKSkB?rt*Et75S}4%e#M>gu zuZK!_CeJD8h^;Rji<3N3{Z{mmnIPvL_w!;J^gK9q@9>rHd89SH+&TM_okY#pjGF2K z4}xxre0h|zZ3*8&Y~|}OuV*-92_JnwUgsX31PR+Rkf4nbtU|I$Jj2MrhK(>!CP@TZ zBWx+-Ldcb`jz%;wCl4OKGAb@VKUR9Nw0}8+$=TmgeAQ`?AK-!a;V?Mj!%w@ux7Ne> zFI%ul7X8U8>7u^A;-@xLD4C3!$)5b9Xq~jm@{+8dSyGekTFpxSKippmm+59YsO1**r4N%S@3{Tf zWzg7@%|^r`BRS$Os*Mo65_q-H-HnIl6(lQaqY^F!V5CXX1(;gGH%(T{IlKo%!7Ikq)|;IDq9ld-JC5a z_e)Ri#6}J;rJpHmNJL1M(jD;mu!j{*wrrJjde&zxGeEK{o7X`Y=heO9PEPSt)>%#_ zMJ+a4xnFa9;9asjxMa9f4dj(Pq`oMB9*7XTgu)6WKI2pY`5}|VvZh$E`CGjVYD64Z zy~MYfsiBl#yLX-7# zr&vy02nr|u6m%vmkais!4h1z=xtGVd9cP@y($miJU#Y2sDZr-540pBQI_fI8I61pP)aS z(vqT^0i}adPtb@c+Y}{?hc=*V5>~k?w-ln}hpvu0)f%ul0b%cLhu$>{N{~+U?oReq ze$oPxIG{7uMf%I{6POZXFh53Jqf+NYqN;z(zU!3L)h9`BNCWhMEx2leby4cGMSj>7 z+_L3W4yQDKrDz^X%uuj>s_5tQ zn+Ox4LgH(K#s>LDbr};8p;`%_Z%edpg+R2CqV2BIJ-aV+|GuQ|2)R5)fMKKbLa&U# zU693Tklid5!$e&_sO2e2S6UpJtKHJg548gk_Rd06wF&>t!st*0UuR)2bf8PK2GTmD zBeVE)IwU9^DxW!W3mq!Z9MRtF(_ZZ=HZ21<&}RoU`bKNQQ%lx3O}7K_v;m7&Tlcxe z{8M)<;tEX2(y&UjEAPTRfK-{66R!RKZ>KQ+;Hk?jKa1Y}&7{CdG`(FB5{hDY1!m}F zO?HZI+t7+)Rs_1$W3ebwvtg+Y>tzWl3Xw0$5aMq#FV?uXhmM7sZJ`jH8Xq`YP;ppEg|-nx<1`r7F7+Vxn}KIuqD~)bYFjtu}&d6Q4^4v%zU&Bo?Ul_3{A>Ek#M^YudYJxHqVm2NIS*(seS28?#_Wh?QjtEj2O#!CkZW&&?6+{= zTLFW&fcB3E_FJGjE0E&WuFp3@&GxUo(J)w=7xDH4m9-JuHtF+ivX|E6ireJxw<*G{ zDbltnACH#Gwx23?M@&JdQlS=nAiWzPoMH$5e23xX&f|g^v(2cu^V|^gh86dX=iV0k zX7he4RQqpczHBttpAN1~VxB)>-p!rv!=3J%Hv&&=1nF(!*}e<4;qxuO5stIjQL_;Z zx8bKiYtE|IB$#ph`Thp=y7~*zp@+)U5S1GcGVX##_eXkp;2&Ap$_MW%Jhwe`B2cc| zm4CUb{C-!hY*(?(Rv}nLyDd()V!Rf{SAyv04R$Lza2Iq<~9y!r@TQrLh0d_lSn`uuP5ZZiG}xO)~;anRf0a2sgzAx|n8 z!~S2{!BE4&e=oa{^oQIOjzP~4Q4|n5p8ZXqgDA^cLreQ@PFtuGK5tHH?DLVS>^Q@7 z$HaY+BnoKU+mU3q0fGH=6mOYFo&uH2RBz$33U8v0t`w`4CslfsT-_)Yg^Oyq}H%UN}_wL z1K+0&Y7>0imZlWb=Aw#Rc8_3h+*Fc_jS9W zt8L9uW&h5{40Ydahn8%W=#RrBDcTJ<@bgy&nQ0&UUD^Z-07%@ z6fuCOgE(8}xf+?0^i-%irggbkGtTJ(7#W`-<2^9tW(8bBT}9?0rx6ghBzF+uHCwiF zI=*rq(-^K=w(m8 zD#tWlkz+y@-=Aj~8M-~5FI>p332y~&J$nHzFpR`9iUG*Eqjdb36xWZHdaPwNW#spNXn3LoU*0Oahslgo5qUW*NKBg6@u08pZobX_xd&uFCdTdF8|qG0qb3UJHU=8 zMxE;V*@yQw8AYLdTtvlxq(8r>?JJTvoKqCU9YMCJNnJZfTsUB)sDPbfN5JC6TnX#! zEB`$1YJ!LHXUq*?)i;<&j< zC}tUAqo2h=3Nt0BIvH4tHrT7r^S!T>{!{%pNg^*O_5bU#f4K5}_!IGPo&IoB{y=#d z6xqVioE&Ojm8;m$vb0^##Gp)Ft{@~Qj= za%j;+5#5r0AvnuLQbr<^Jeo_lYF}*LT9$wHg!>iB@~Rx+qj7XtWNkb0cFI)yk_g_K6m6f2-5!eXyCr zDa1x>h=)f?@da1o@it@NT>sI{^W9HLOnP~)odWxlS%O}hKRX2-4H?LidEBzx8=(c} z1IUpzpC2ntHVffyfqzccI$nQ=c-{%0Z4E|{^1l5ma!xsw+FiokR)mZKvu4iuxJjKG(DT5*6X}}kT$Y;@1j8RNk%8cM4`Su-YU#>YC zuF7GNV)To7zv5Vo=uSs*+>5SxEN(8SD089$jekiZwS~S#B4tS-qf91&4r#cYkM5rN z)A!c}7LwehpYUR}2j$3d|9IP*%bcL>eP1CW>~#p=h?Kwn!_YxTTndjEr6zAn$jy00 zS7BAKNgl9J7z)i|D-Pm5t|&}k({<`eecyV z=V|Z1eX|KnS$*Czd77>K z-Cm)9_g~^o{l5G<`ko^Tjfq@a2LGIr`kH(n9wsN5e3kFGt;&a{E`$ zPZ`3SzNaU?UqgP=*}QXo8Z5FCg+r+T8b>rNW-l22*q`cxKK1fnreFFQ&ikL+>w3<0 z&>d1zYK^Oz#-5Ym%_g#X`}L2JIC|HZh*SsVVtD3fzPr+dC2 z4UdP4{(jSG#tY+4BNj7@9^#fdI@LuDF8(X>shnna_w4V&FQozxfVwIXvjK2ymX7LH z_8GUu`vSMBh~6Jj4PlF%v^TmHgXARaP+E7|di8WTj)uFJxmPCPWO(!IahRhI#TMgLmv-A%A6aYnp7I}ch#IQ~DFSbMVo9+~HYeNM)3y+w0Bt?`uX@aM=#AqbP zcd8M=tY1rokQpzHxQqQ_k@-YL&%fDpK0^Ey7me}3<{LK&zdO`H6Ka0^yP6H50)B;< zQ{Mr6idI^E9>zbjYOgqpvO??&WEET->c;d?-ZIh?ErWg-acyGWBNm3LCbk;&QrPRv zbYoMJwCb8Yu6Lqp6CN;+kp{qXX)0NmeSHQqbD4|w%_lp7=1gpB+FR*^Cfub4&&7#d zGP>jzy0;F_mukDr*0?g(c1izL4CzkCIaa>(ckl_nU!HUpj+sAtm-W4bH9Q=p)%({y zU*RV!<^rPq^1L~(g|tG(Cy8-ywa_0jX||alIvADZohw3AP!^iKe-~~PDB`bYBA+BYeX1=>69t4hmK*73P;vOs=YfNqA)^f; zOBam$9Od&IEG}iZAJnyfuE|l;B<3by?RgrzbFxu?r{E|`mG&!)HUr}2vFr_i;AaSt zDHhzD`{%xI8ptwU4jQxE{KV@@pev?vr;v!ma+ZRHDoQl)rm)EXX&6`+eXz@($fvmR zjwSCxSc$^Ob)SB#5bpiJNE{WC=n-)Q)u%NoBDb4%X;WH0(rtgU6JyVMTJ(IiQLw^Q z_Tc0qb9_!$piICuvn8*qbSF_T!qdaSNno3q9TJ8grYxtZ`UV|YVhzTG0iI~F4^>m0 z0oa^Fq*+AfQZM7YS&1Vj>Y>))W~w4sF^oygW;}`{p`0}3Z~(6)vxVcV!1X+*)b?-t zM1kcbYp;Ydy{!RkfaEBBfXl$81`q=77{vzwq`j<@p`2%a0iz{s=t0x3EP|`bvt-Qm zxCV=1U8#1l==@O3sv*DSY~5}PTwh^hK4>|fRCu~lnnyb~?s4vp-i(2$#L-7Nqm53^ zBeowr!*p7(A>ZfZD66(WFZ>Ik&XJ+?JxQdh@Iq)*nHpymoFW$Gh&3YmjV$?I~1vw@B`m_Zy=TpL362%)c6gB zuxK0VhLD7s$N`oG-#uQh3$jw}*ug<%i-s=tgM7@ux^ek>u zNz4m=Z_K!C!vD*OY|nn_YgRlf87pslYI(mRb(5x8&g~&PvM`$?Jn0Lk`6fc`j#$y1WoiqPY89sdATjS}0`$`WGAYLZ95-K>j0Zsd*sfSe zdO!$yhW4MS$gU6cFkEYE^K^Ks40Q&A7>PwfZ%sl|NScO4B~eJGxlPJpP0nadCc90d zTS#WlKw()(YF|i2vrXYyNS#+m{c`l3u~pOb@NlCvn|zpp2!dl53!iNeKoA1h-KIZg zc!t@g=aJSzJkj1zf<#gPFHMZtj3-}A-}?-Lf@C4`6hQe9gRQU&rmc*|@dq_plrpka21S*o531 z058}AF=Kc1T0sDryO|-77DeDsD?`vs>~Jindmii;la%DD2QBt9psn<;0ebMR^o7hb zxUKYaX1R+2dLU9(l37-@M3!e)Mr>D}qC`Q}R#ul;2FffWTOy}xD@(JhWNIsyW-I4e zA}4FB)Mcy2!7N8%3kN8%Nkl1hm}H9rlXnM(UM!>F229d`-3Hm>DD$hYSyv+oe^?l& z6ciXjBBuQziyuO28L%!9C^ixcPJLuRiZsKb0*f@jZor&9Hi9##$Rtfy|88g5qtqyC zkflkMF&IF*h*6;BE1=1-GmcK@ggv#Ehvzl|_`no+gN4!|!*V?)$|899Hv__+F}A@r zu-%Z>%z{DX&5`jCvFEY`@&GshDSlxL8D`o!feUDSCc0p9!QJj|-S?iROs%sDA;i4E{= z z25*_DBcQfxxnF`Yfn&ZV^H-ByAkkKY-`@&H5Ia!@I<9H(2ExuM&;I%>Wa$WK&ZQ7b zv!}0*xcRXB0W*8sGKfO~T2KLkVq$t1)9@BdCS27t3U6VY0>`(x1_Y0wUgIhV0j=u#4gb5ufsT8T46sk&90 zq}q!L|3DyMLt1W5X&2dNT{O}dJ%Yqq{8unva`u#Qu4*?Y?!)48!!Ehs>@ns<<_YUz z`G_AZZd-9!{l}1W`tL)VO8aWT+v2t|Hi^~afUh&%8^C&68Ayf#qLip)3a#lq@H-aY z{e8N2ql>Avt{+g}Y|h2pXD|(w@==Gl9#A&2h>$~N$HF-(!nDJnnXO`4-X2=*ia*-| zQiikGwCs#x&K1lMN-R{^!CczM9y(g+LGCsVc5O}W55(eFHL%L=_Gb3arw^_rVv zV(7Lq3WP3Bze)ZIcf31bB zl|Av{*3}`jS4m|p<QYb-#-H^0J~EqVAxaN8i8zpb7gj%pnKBBVd5hdimh!sRQctpx~X z=8jt~Kv5l5amOZZ0gb1+|2{{|lAZ;dxER26_ULi%Csr|as%tL^E)>G>b=6Lq@$BdFN7!8HvMRu7j&H;M-jZ+%|4%i>5d;p=l)=n0gZVS|Evqe-%^ zPMw7E+Ktj;4y%=SfzcC>X?*(avB)tm+dUV((&E7J=@8%yUVh;OYv2%EXdkR&T^bjz z#mk;ikoel9x774-s6hDPl%kZ3(YgkgwTZZI0)vO2ez4D9nc+E@W_2)__^iE2=wY-% z^Y^n{=g`(Kx&2y9E2wMP44P1Cw|~hjz4$uk>tY5I_igp&u1$$>{)he1e`#>`Ygbb7 z=6z8D4l_Y1QsD8Q-%z@SOl=dw*D(~+&Op{gBHu<%I+t%WIymo08Cx6um-PPDP0%hh zK0p`NC%C~!u59Ie((x_u_!j5@-&F89*9zyFjC(IdP7jM}s9hqX^*1r@80PP~E-X3y zonEoi^{gwrLjsM5&+FNS5|vg)C9_*zGz;kcN5tO(0EhKM)L(%0eZc0eh7KcykgMSpbIpvC)LKUFKAm0vzAe@!w=h|3AM9nvnLw1_j>6_I_#hY zcYH9k_kHQ)`_du)k5xjOOYxuW4S>KMgWKo#&-NMIzW;Ii{_@@DKhKW;0OSX3rT$0} zwR=1h_N;bSVHNfgZucUs)st%X))Mx)w!t?Ne(%u!-pI(~UAymp!hY4Wo)NFxez z>fZV70rkRx_))g)!a<+fgLt1%d~W~nO*oix*zZ92zw37Y^7jAmIznu&1Bp5i&-}c6 zg^|1>p@LVz!XjZxew;WRVMZOOdUpf{FM`E(fYiGq;y;ndh>pm3k*M^JsC<#=@{Z{I z4kohDZCdPz`VRDGk=T`v*o7N%5#%;Z4!+S5{~(fpcN^t^#cF;7TNd`1LK^13NEYr) zmJ&@->P*oRO*QIFeJz@1cFWK}$ZG79_Md1*L}y04Xoit z)vcApjZ+H3^mVIgzI5KHsKM{fylc^dht7g~(L%g{LZYrhRe8z#5?@NKYYYr ze8o$A#BaRDXMD$lJjIJV##?;IoBYV5e93cs%Cr2+f4s_9d>JVF6^Of5Ux6V6LL>Bn z%U`_Dll;%Ce9-qi&=;4cB{02o`XOcFuWlkLe7)C$Dh2* zcYVvl{MU0m*~fg@kGc`b;2S>S|LWlXz2YN2;aP}fz20t86YbHHHraIispmV=6}BDhyJ60 z{^*N-q|E$T)BDBvKvkzeADBmZjMLrQG~?6$>>qwq;C|xPzV6%pS^9qNCqD4+{_P8Y z?;n0ET!B~{0^IvE#TG}x6Z;iJjsr7m6{)QCpAq(-%k@|7_J6CpfE+duyAzx;E;u+KX{3^O*6U_pZi5hhf4u*C@w zAP%)E)vA*#P8MCYV#WTc6~~LLHg@dj3Z%!8B}IM=>5=5hlP*=7jG3~f%$hV&vdsC? zW=>a69G>8_kZ4h(N0BB~x|C^Cr%x3|;Q)1D8HXUQw9-ftBS)^RFtU<3c4Nkg6U&Z8 zdr_@MwrAa%CHr=++_iS&woMCnZ(Y4~C(a3ag=%4fPe3>qVBcZ8p|wd!$I)k11wEe_nn1@*LTlSKmH9 z{Q2_VyI+6be*XSebGUoLx}^|H0faJ!lkKtjK4Pyy21#--LI{UzY(fhw^zK3pGYm_@ z4j;tuL)$iD#nykh(t=5_2~)(KB;RG~Mik z&GzD)<)S%|B;rY;5PN8`7iS@nt>9YXGOf?pLNp^q4NdeUM;%-AQAs0hl+rC3RrDgO z6x(wlADRnfHqgYH)Jr(kloM4#-z+oLIYp{-)dW>_mDO4o>?n&94e`|1Ux95h3K6tJ ztvidf{wmEz4z*JBv)zKTGstHHbQ?S+xQd?CDdUwi@n_rBOpOKr7u2?EtX*eXJgL-HooD$y7@kv6UJ zLh8ukK_`}Y2-S>~gp(vG_;I^)O`k-(~uGkW!< zwK5PVOps6!i$40{q=^yC8!dz$M5O9BMycEO1gGT)CfeC+XR~C`tMF$xE zD6ib|%Q4Sfa~KGj+4Ik#8%Fe_YI23du`#ZBY6G#2wCRuI_Y_2qj!FJ>cLcgD~_typ7~b7s{3G=T}#Xm zsR?gZ?x*+W*Y)EoMjdeP0ws5T*5x0V{`^D6-~RiK1cDGK$tam1K_(EGKm{(4femyZ z8Jqw*2`WVuLqLcmjB*Qs4B-M77y=70Sd<~CVksJ2Nb5k8Jiw8tS$;cOyIknA7P?P{ zaap0HY&b9$PR3jYLKoJ!^C#L_2uE9r9s6)%Hj+WBQWZK$wVFtt21U$?Q;hy1$gF5Y z{F&wiCs2*dK$Vz4DC<(m`&r3Mheb5rE-x^op`&uxzuCm`cylbv{p=V+PVCA+y*f%J zV349eL~w$I%pgK6Sd=u7kOglTh$JqMiK5(sDT_QI5t&uH!qH1@`qHE)4Yx^qbrM3K zL>}t^^pGUTj15mv!W9A`i(JfNmj45Zoa*DDu<*@zYTD2)i}uTF?MRr@B4*Pb)HC+9 zt0Ur**@{3Ahy*z%b%7ftCpDv$CBEoVtK+7jM0vz;c5|HIWXly!^s)j5azKMLWFeiv zg&`195=>9eg=mbKrfP|?vh9wCMKcjW+NL3bk^q1z{?cGtRa}6h1?2^EEvbXf z&DIz!aDpm!P=XSCpac;JY|aWH17nip2zv0JHgi>8R}=yQ+ARSDj?mRkOr$(|hykG* zMBhQxs}eDouU561ID1hI1i+I{2oJ*CrWmSWS%r}yBCy>LK!68iUC|)8bIAu43AlM)ZJ_-jH$$|@1Gz}McC_}CS8+a4_tr;l9k<%QP>efe85zc;BEvUz}+sut0kQ%fqBupxcFf>VC4z0dL9P? zKd!U0pOv7ES>W4&WMYJ>Rd6O;YYf{GgtmHCEpC7QoZ984Aq`x(03^9U!s@10rHdx? zKvZiCULY5`B!qKANw@<;%!UUsz=&>;GHc|pZ z82MS=q2l_gg+9ud21(;92(W9Mls@-awzvJUL0sby*f@&5+ysfCG@=I+R7TlA<>XrF zTPh+J;sb6|Un{Dew6|y*Lkg1A87F1dJGSm4EdzmOiNe`-de+S|i}Y&S?dRPN1i8kr z;GQ8}+dnh%#}Qrb8wg#{TO?Ptv}Hk~hx`6e3nn)Wki4xbc=2(YXWG0MsREVN0D%}p zAPt=`gr||fgYA}}5@~2}V5MFHs8>NFRj5MJOV9{pd&CJ%*24#4Py#hv1np>VMIrp_ ziWn%_3I1hrcaNZvBcMG3YG}pMn|uVNYnv5Fh`|LsJ)FsE1W&2)HFN+fQHl;k!6PJT zB4ztQ5-!4?1vPb7{AKHtM8FUoK78I;afI#0;36^j>fg7mh6u!9=^dH7)>(oCYk%bS zo+j~Ed64(ND_Qsy#(OIoq4fyloqn3pFN37zOoK#TphKwWY6oKZi()>c>sCcWN&e?| z7o;KPyEd{g^!W!}Wb7m%z3G?V5&qS?of9!Ay6ao9_qJ~&?P%AK?oXokss+`8Pb22; z1M+Ul_%06GCtD%~btHq2E)FR)&N|$w<2>gAfZ?C+iIAKi4@OSUTx%GDZXgN`g#PKz zFetYqjRi8H1dSmS_$h>#i?%*c&tU7(Om5L64Z1Lhx1Ng!cR&qbstYba4OjsJ3c(fn zjo=XO0?LX9xQ^6Zp$jUk6L_Etysjg*kkk^Z;Kafej;<9*&mtgz609&Ic%Tt%%@v|f zE9TA>AfO9eff69V6&m5bS|JWTfEAF<)<(e<;@}Re00MO4g&M{_5WiFj0c*m{^*buV!#W?kPhuo?u>C1^ibfM4_R{U)nF_r%7Cs2 z!VzN&5+#um@#zw)D-&x@752=wbnqY)CYr9PjO+#9cEb=z0H*Yy6l1{en2{B=LKR(s z;as7_M2{6p5g%=_GRDv%R8cFAz|(%Q$%s+Jh|vp>?5n(>1fWQE)-iUTQ7q8uA=YfO z*vSGp4g+DvgLL5L42lI<;N&bw!Ai~v7;3gY$Pzv1qKqLALW_es2nAEnB!TWEHJOhcpy&b&p$dc# zlSb)3PCx@BKn3cc4*b9l?tn2J6EYvOF()%JDYFhP;S)4d7c7X*2!gp53ZGUh<}|R+ zcJL$#fftG)%zg$ujtl}wK)a5h5(R)i^=hMDHRX;P*D75$MwB$TA-{ zjTMNK#NKPw;HwG@ugUIEEai} z#|W)770v#FXloqBPZu<^K0m<}T0jFHA|ha|FrQ6Bkc_)ZU^WXc0Pn0=~jB26(_7DWVWmjmwxQP_BfCn8`b`AOu1{1HiyO zVH8G9K@L8yIxY|-W5&ij#TpMHHPMqQG;KzlP$Q(U4YyDXk>K}`Gxw^XBD$~;qEdZ; z5yH^23S6xcx?sZezzItXeAIx->~cf#&_KUV)toRaw*mqT0ZnDfLI7j|3;+QdU{2|@ zPVMwg>l6Vh;0E~g6UvhiJPR~0Q6Me=<_K*VOf!)HHMDdoZ90SC$SfloVecS-6%w>c zN&d{l_7SGQkPKOY)G9*RBBa_RM%ykz*-9ZngKr})04=RR#KKe#cVkkUQ`EMG+qmR3 z3?NP&z)lsxf&le1S8GsL%TUt*QQvdXFV~7I-banHQzMQ9 zPWRMV1$JOx;096v1KJEnb5w#Zv7fFFDt5rUI0Icr0XSdE+Sv3-IiUbk?+6OA6{Ju& z39c;k-~#l(4oRU}u2T#3t}6Rb3RSiQlCVdj?JC70B3nW9)Zo52K~%SpFr|tU{*vkh zLO?*Mq7B;M+=d|*6fC5$FAs!^godF!6Lo3_f(z0hZY)D*G=eYp=Rkk20CTn#*RB^bsFPwoC7H)p(AbdBNY}{6b*DH zjgksO)7ob5s=!0t65+mb3+FBlDB%K*K=3F**^Yn*Ab{((7s<41$=Xu>^{SW3F!Xyr zK5y>*@&N8ZQO(geuMe4GMxKXO1T+Nx@Ld zBw3(yEN=(7fG2rjvJ~$!Mnd$8E$LLz+LSH$AV6=upnR9^tEjiTTEPzCciRY($|gd5 zRqv}%Ee@EJG+4M*j5%eNFuSnyC-g=6spf=|0z!G=+d3#|<-QxjkLhRVD3o79va(Sgj&iQ##S)tpR5PltBBbw#*8be(MII+fC{U3T3;-gH1pq+7 z(f|OCYm$}MlA+ot1OW}JiQ)o`8q$*51ev;d6M~YXy10pAs*5EtaOOmrn=BH0TtJ&HjLLet z={pWv9XaCYN`L{KY%4@#dlp5jgLZ1DB!Qu#{tXzIugAN#r-^II+Q@)5tHwfbeTtMI z68NAG_@EPd!54Y~7jl76uDi$# zj;l^ora(h@8zWExZoZ^Oud*7f(#-XBMQUD9gDzI}V zs|4GOI$U+mk7INvg(8*D6(`5rn;}Gg?zRL*Jx$28265JIIcQi&bc06au z397^c*BVt)0!XNJ8`Cv?-Uouyp8~*-g+z%gb-0~)j5x~ldpD|xw3S?xewy27C&&+n zBKs5Hyklq!%$xTbDuAMk{^Y+FJ`@Ri$h#@bO51gQ<5oeYp)K-W9Lz(WPr^HVcP>J% zDw`^xKoAN8ntmBelI0M4X8rzbdu_I2)+Qr(V`z;EogG0NveBr!MXgJ48{-zD0+W~C z>D}I)VmllHXN-J~KoRuZ+=WD2>#+&lGYPS{#>00A-CxL~Ie2Mi13-Kzuc4gc9|EG0 z-QTlw!u`4@ zw{6|91>!v~IlOlDjHP-FItStjBAL;gMXNS!nc$D>8Z~&AW4pOW8-NG}m(X~VDF)kU z1_E{6Pp^r`6JU`Y6<{l_RQ6CAnMJ`FS}mNw)**RmRbXxjB4!#^2sUQZVy(P5T2J2{ zrq^ue8N?e=Lv`mMZgi3ML`%jshh&mUF3Ds@&!NR(3NQT^o`x5;_}6$Vt|-`QsS)L1 zVE^637lGW-1s7K_b*0oyeLR#x5}CDuMrLY3S*A0ITprHjTLqxCYsiDDG-7) z$^=*bb%v34A$Z@B$c9W>lShBV1*ufF~&(vxIW>Jn+I0i~F%)S1?mp2@oEp0h#WredPTqB(1Mxb^8< zp+?QI=~!r;(T1ICwG~`&X2SUAREP7@Pm?`za?J zw)LSMoe_6}A)g%Um#gkB*3*JcB?MKyr(Km=LfQW4Xl(J)tK+(}N<~nXaTN(d2uA`7 zbIdX?DXdD-L3D*F>$YO5p=tKzt$2_Le3z}BcC0Uz4xTukj*^ZXUsy`icOO~#wI%+L zkSqdPFnUy7MevvBZ5bo7P6-9^Zbw~+W3%rm4KIZowsa|3Q7Dqxh!6$xsk2w2H#Egm ztvWcGa$Vb+vhQ+7Ypa9{8fIh;v9;^WmS2v!N;R7l7*jS?1!&A8NOb?)1c}VkeVa#xFWHq^)_ZQ-nNqEZ~c1c3ta^ zfmKFg-6~~@mS+zIqHcvvcXy+}r*$mm@3IZd7|4bJdo=HHIHzr1~fEy$t1*w=p8-mb)NHk&xrzjl`a!`miEaDeC2t*qG5Q!&vS^wS$ z$Cz!dBsY7Ae8~6^hLI7EQVgRXBPhl^3KEce{39O+$;U&oC5(r}Vj$%sAKa#O-e*_qa0<}DmK*3N=fu%8{RY0)~|HH++q>F%!q>O9ov(fG`^NX;m!rVlFK*TA-vA4^N%|cy9Q|tG*Gf0R3~q38 z3hdy_$u`1V{Vs(sjNy(zIKwgPFNdKC;17#9!W$lOujFgu{?#|dEH-e7TdXAR!gzln zp0SPD`{Elf=e#<;+=6=yWc21Z$a8Wok!!ouBP;&7xzg+nJA(TZ*~qaVHKNIP26ke;*@qCkLNRCmIE7Bq3ml8FnQbwk3@{)=r(f-)KsQGi6@Z1UZ;k6*>w4F`?zOMQAO`Dt7}m@AFHnE?b5n)&$6}YChyJ7L} zc*A?%@~$_%?`>~jUsuNF9`13Fy(BsJ`~KDF#)uZgU~5#sg53;XxWgL`@rO%1;uN3w z!?%519uFKXZZ-+P$(@Fc|GD56`9-a%J#B2OeC4-x#TaBwU2lt=BvTg2$CFg<}Tz&B^=mIt!ceU9s_yCUqQ|GMe3u5G1jSLU71 z2o%C#iciRX_O!3P?PqTaIj~^u{;l^s%rk@ah1b3AcP~EBB_CdX_g*7{z`+e{;C$#m zKl;?4zV)I10vn{@1Il*w@^6fZIxHvda;G-xAMg0|-<#n{53k0*ucS#tJtG&mzz`-f zg!CLZryQDh5f=aeyJrk60015^5fo^F9IVa8>{aselPqfC^Jsg@{;sir0SP#dl)(Z#Kvr8wiT! zbpi3@1h;^MTo7`+Z~?}EglXUe#=r|KP>Zw31uQTOs_=?Kpo5aIdn_=Ed9Zu;cMH2W z3_3s&0ce6Lr*-Uhi2z^%Jpceb01FXd1+b6^0FVfnh>0s_eq)DTGgyi$@rBAEgyq;> zEHDIwFjGiKi$(Z~NGOawcmag)hj7RR6Y+`{(1U4k0l<)t#&Cc4=Za3?fx;krP=IjR zmWZNPg`WTmCSd*o*O-ml*o{ zsgYKQZKIcZ>-Bzd37Vaji)_dXw{QVYkOu6?hN@tiv&fD;NsxfacJs&rwdsa)NRVpC z0=K}1d;WNM54mf^_l*<@3o-xzCGY{5DTN%Fev5~E>ot<0DV^UJPa#2qbQhV32br#b z3W;EAj_?S!mI#TE3f|eBuommHk=SO$;*={E&fQ+|zoylIG7@!j>hQ+W23ipI4Xq6?Xhz&P-p$DQB zH*KlVpX)`A6pEt%2L))*grP^3_=%wd=%OQPZ66AQ@D-gYs-uL*geQohRr#SUXP_^L zg6s)}LHDDuAO>16U&^x zzhD7vs-Pg6at&vdQ|hOQ2$>59r*Zn9h^nc?CZ#c2sY7~eNjh(3nxV~jq@zlFg!-jq zxv8!CXJkrz3W}!X$DlwOsYD8*ktde+WvH&|t3(ERY8s>*x~DWss-#+_G>V<7ilgxP ztIw)qOem@gda5t#gm-$Uk(!~G+Fnko5}be<;VQ18h^l%C7CYuKhy{ z?kcbIO0V^5ul8CB&>9ltm!J;Erj*L39SWR2il@%VtY4a`B{2&l;zA9JLl5izun`Nf z6DzS5OR*Pgu^Ef86Waong*l{fMH(xz8#}TkOR^_xvJo2=Es$pV$`Q<1f==kECfKOh znx8V7b==xsa_SM_f=9Q+LirT5LkqM;dr3rlv_>l(N-MNXi?mCdv{4JSQ!BKe;Y>0! z975!@TPw9q+qF;YwNwkXW6QN-Tej^)N{!&M93ch`umW%Uwj%HXa2vOCE4Ot^w|7go zdyBVx>$eRMgS_gjA#o>9^;ABExCWKDRP|De+qjAgxr}?bk^8uk>$sE4Lb4$#MRxs@xrp-Z}-Yq_9nx;qs_`Lnhf(F>*!d$0?;pAfsW8@shTyR!a^ySPicw%fbB zd%LvDZT@9;CQ-O8Km2M(A$$cb zfl%z*d%X%0S5pQFvKJ_07zIMZGi<|)gTpJ5!@r@!J^1499bfEOgw)cKpV5T*s_XDJhV|z+y{#z#@07$AoOid3?xnT*!#b$cmiE zczi!$(ZybTcHa8Fu|z+J;~&2xI-NW}p8PDF{K=yn%H;vd2BSfL{43uZ8jNy0q%6v% z49c-g%ccy=wk*rA92{A|FeyyQga@YYs~`NaKHTCnMB_Ectjx#E%<_}W&HN{NaTvq` zPnqKxdxIKK5zWu+%*))((9F%-?9Jlb%nczOtozHB2gV#B#-pRmQ>?}C48`*-&-HA@ z@odE~fjxe#KMdP2u0SZUjL%q1&-Yx=1Z~d<9mF(|{wr;i&Yj1?AE6ep6h2E6%Htf) z8I92!O%QS53SH0zg2U0>JQD|_%D%$6K@=L{VzPvpz;M%eY+2Pd&?3Pz9}^2Ocfex4aZ{Bf-{u zE{8xUp|dlNAv_!tBn45{Xnoecqc~~J)=WXwR_)R54Api0Hd`DP=zP>?=e{E$#^EC% zs^TXatp`cT@VLI&;@u=388%u$xR8To!YA%)Y*+8uD~)5z1M9Q(H?Ope!MYbvNiau z2M{3K>dgtr`P)@c0)~JD7f{s)aRfY22xB5CMZa)v_iBk>2aA2K`+El?~qo z9syO&6!&ci`rQZ%KI0Kk35Eax_{{@H&vt3jQ{}+&I#Ze z0gXT!AD{;@P~UNI;QO5rT`&riJ>*r*D%uRxBz+JYlFAcIN)7|Zsp06j?dV?K3Z0PN zt?&UME#PKu=~WObt`G+>Vd;j@1s_1?bgl;%a1=)#14uv`dfo~bK<7UF=T%MFosKlG z&CLdqE6p_JmCUNfD;;hjGA;eehGEw2ZP{er--dt{7hvClju4Fy10PTV5l{#Y4gnFs z19X1m1n~g|p6%i83K6graUIv-QPFm7CK3`Qv&}31%s19D>D!GsO}^{~5do|~0){{k z5)Knbu;kG`?IaKZ%+3SZ?*8M3aNzx32p@0(;qL6+ZWQKT-~2)y2c5%DZX~@#8}p7Tk8a-nff^ld%>$GOuaY>0E*1XG6FR=^2|@0`@$Ey=3K8(!mR<;)FbW8M z=?z~KINtLJQ3#!I0cM`qLhs<5UK>NB-RUtE_X80|&GA$|xGmg7^ivhIGt0Tb^P|8C zJr4H&&I6(j0GzJaUC-=sZ~=PI2sobDF(BYPzzUVF1|Lw}Jir630Qy$l_Em5Mju6)n zP8!=%?Dei9xiJ-;{=gwfT%DKWR3)M!84@?R%n3YC3a)_oDo+qH-UW^C;G@9y{GQ$r z9s~Qr16^PU0N@3!U@=bjU32u1&ItzY@~p7!6aVdO4*Xrf3Y`xSC609I(n<}63p`qJx^Uz}j7F?DRVh(| zhbvaCc$A0{r&S}1RjRb=qL7s%atipvg)MrWSJ8nQj{^))8|j1L4^(_ zDzrsT5Qk>Ie3@}3Oo=UJuFTj9Nr?|5Iq{&huvL|;9}IDV=t|9p5>5!VI#O|Dp${8P zenoq+6|0T@9Y2N~S(0Vdr&D1LehS#tl@L1F6lL7l@ngu5B~PYY+45z~nKf_b+}U&F zHfS_I(Fvl=U752uEiA?I?_JkUsk&}e+x1JXwIM{jTeE8Im$gl`icq^|tCcGUf1+Il zN$se?o5p?}74}oFoXR9N{rR#F5Fkz*Y7Ly~RGJuj&&H0P>T&BlD(P+%6Lu^3#}^tZ z0lntS^Hw@;wc3yvNjRwfQ?D=v7gTAcCy+A4I|?hb@InkT)Nn%%J1pvqHbx82wDL}> zt-P6h6KqAP9*oI8ha6HUFc(on=`ILtT5U)6?puuq2-Ki%wUc;Eutla?Y7M9Gc=C`a zA5Q+r$q@WdR8O|_mO}E%PFzw=xs;B;psg8SoGB_+tka{v_7eP(B_P%K?=A;3N>8>V z^PG*PE5rj~56Esw002S@HS|zK6IB#|H=cC#QAi_|bW+dII77so%82f^7t_>lI#6fB zvam`DX{43b1iLfTLe^u2xm34Yh>}xP)RC%|uyobN>!{l9gqe43`m)3b+6HGm)!Dxkw2oPHVS+HR6DE8t6Bsc3!wF&Q zwfA0p^Zl%iOEV)a1rlwGH8xxEH1psT16)m8DBjW zq?1+}Uo=AWcf`}q{fkDGLzQ?{WO*SxZq{{TJ55dx)mE77PFV25 zJA~q}JAJJ>!AfMB%`&_uobiL(_P1izHr{9E4Tb|%)L89 zw5KygvD||trY+-Jy$sCZPPg8gw$a(kRp8jr>!h{SWiP$$5TsmVGgXGVrT52(ZP(Ul z4W@~91+PQ=O&X1)dF?y3&aUO@|Ki$e=>Af@CT(fowG=E8O99Y#;-?e|`3U zGUXEy0oJss(hU~7&XcJ_JUOa^W0r53R3ZioIf5ag@~H>mCqT`bnBvy9BafZHNtwBT zPzZ4WCrBa|j){_Zj>Wi?{jV^|Gu+hl7b-1X>tU@C;7Vf9H6s~}WovUF0yWkOp#5oR z=Ccsx+V?{s2C-hZ_zY>9q_Bpm>TbH4O5*Bf9^=_4HM3jDm+WMS545HPhA>%S@RqXX zfw4twV^Rnvh?xooB@JmXMjC*}n4{z*5XZ|N3hnm1`z6jw_iL7sh6EfeN~Abvx|MW9 zHMIxL!d(4ZkmIJb!=edMl9QxlhKBG)pYVbZj^Tn(NRuh4@d$+et%ySmn3I)OP@*_+ zi9rd}kdhdD04S zq$UvXr6C}|gAX+1BM(95jfQhJtI^~xzj_-5doqL}uz(O3yubxnKt#rLFa>>>#r{<0 znmEYdE~r$cK_0TjyF?S0wWQMrA`(qr>fr+sxIo{8`2iBl$RWNIQVg!i0|2~`6}ogn zE7lYN2w;%}zKlaB8u5?_@G@uFdmu{Qv^JofKxpNQWF>8SQ=E226>MzG5Ik9$GSDt> zgJFp)Adt!ke4rIxP)JA@0s%^>ftRc}!bm=#2Ue^Jng#yZs27M+kg3F_HZkyO2}ZGy z2)KejwGqokyMU1xsDTv`;3{2RL5Up2wH2cn;Pi~gBDQHqd{@{^1)adt3*2IjZNwx| zh?SI3f@_QrFhwm(&284M-q&hp;CeF(Q%vO7#M$O>hYeR0RmkhZ2UkN)<5M;DR7i!aP{3-b!%c ziI{Q}dML?hv4|txRuu^ozB4D*>gU@cAt4t|Tb(-bCEGy=1R7AljhpslNat7yC8+6j zEq!VArNL~jA7`&yQA)%PwfCA5QRYn3ebQVTXQ338Io+6 zJp!Bi+n?5oL?n9f0y4W$)h>nEmJkqj{uK(6;^ei}6<`@{45|=^;;d;UVlis7pA8!b zM8%ekXv>L3iMkZNq!ZhbfCN-9Us%Jt4MD(x4RG*+dgI#$`hEcLtxz^fF5vAudr8_?X~Z?Fa2AiUsi6!J zwiUXtR#(6UBOxdE2Xdq_MMBGO>p@Jrfp7+(AKc(=P{Ic)jcKGO9cgLUWE=BvURIMD z>TWD`r+u<&V_4n2K#5T9<`+6CDkmd&?N1kC5Q9$Ck`(ySYzaJ~5v}xK!ux!?NH~6_ zlw_q#4i0%O)p}b_fOxbX>4ZrBI)!vn4GV8YubyhsAs#S)lVBVDM1N>PqQ-6H1$ zwXcGQ0WFb0GX4Xt!jAnA)-p$i0CJ6yTo2KwbnIuJQcUlO6E5fzPKSExp=P7ijqy9E zYyGF5Tj@QU=nAy3q7eWP5>>O(O19))_O;am0I=GLIA{nUnGXm^6&bK92ylXpK&q;; zs75Hc7mB4gz_wlsv%8~-3!sTv$dNAixCLyj&)FX>aTT1%lwrt>Q*bZs8Ujf$hCJ}R zOi-uB5S~Op9mVk?v~d1~`BQ^!i-D`)rM9So{X>ra!>ZCkrUAUO)(9#16Ttq617OvI#s%8?x{?G%&QzEoMj+lZj>XR;^2sL>69pD*;P-_h8 z(mp%9!wyLUpW=lJ-~}0!g!7WRo}fB<(Y#N)g$o!4KI|P9I6#egf3wP1452gs01~*u>D|(M&JZi*djfEGgmN0kEjn$K(Li4gw-%b zR20RRz{G_p1a9d9Sfr9=X&uz@m|)2aQ`n3s85!gVBhz^hN~naCfU~>k#8X)fY;1+$ z(#EyXMd+}WPX2H_5-@}~K*f*PL@N1+5TgWOEX7kaj%?Jy9f^oq6h^NYu9bSf=uo8Q z$_eR%q@uV007yRoNTW0$l*S5*I>bYVd`R!mG<0e~UO=ZIAR;HYg;+3}Jh+8aqZckf zr``$4AxHy^+&Z5yBGag&>p__&LXO{niq}dH6>$l#h>cGuwB=)|)yS5}%NEq|51Zf{ zo&g*)DVtnt36CkK%UDLuXn_$?iV&I(mfDjOxtWB452mL8qja2$Y{spw)1f;32kR7l2XNQm4^zO;WCee@E%Ty z9>t`S{yae!9#}<|P@Adfq5v5s!62ByxsOB&l``-X%c~5h%#02ikGs(|7g@`N(XWJI zqHnRmn!$^CybstIj@Md{oVlU3q$A&G33WjJ0T%4=Di|0tV00Z@wJPOF6{B=eAAOd{vdPpe#&kQ)%>)xi0s*;P!=t-U zEX`642~6uOPZ7+|IszRig3=v@mJ|AxS20ls+MnnN9M_4gAk7}AkO(#aD$RfbL7>l^ zn5TMzM$xIBl#tBUtg_!Ey&HMP^Y~68PoPcS#H>C~zESyH-;6>Srp(sRB-Tb(qCQAfNCJk`^jAeo*C)g(bBRuC&rs1L|H z*J;y=qkIXt;6^Vbr3jz|hHV5>D4g4Kki-lm+liRukW=)CkVm>#p&eTF;nFk-)Rt_i z)bJw7YlI6Rg`0B)W{RbekiWC*fre^X*!ZQ1c!;<=l^C#sR*D0%V6jv>yRwJ@nb41kV1&4js6Uqumjn%j#!CO zdZ?^o6O0I{u5H$>c)-FvyIi^^S1_%)Biy?HU5m1dxFyRcN)Mn3fhr|h)@@yVsm>BX z8!zfr<*JENDBP{urxK`yS^~un@B*p5fKJd^SLlKqISWc41z~c9a)hvpz_!2Jr?)bu z!&8nN`LhKQCFjvO_ghLCoeU_j1Nsyh5I_Ww&EDE|g)u3Cw2BI`=)Z!HLd^PrIs3Ry z=(SiJK2;hEv~byEDOKXC1im@~_%j6fWec{rmXuEt%xFxU_nTep*bUpdCAk_|Ls+ZYSS0{p{wQaPgOPjG&UEGO@_*8rQHAM3uzBaGURyj3`h9`i#n*GbD+niV{c&fq)LNu%>JQzNHbYEN-abEiMo9i<)Qzne*Q}s~wlx5kkAuHfNh=d8SP7QgO}>j&gkw6F*(&^@ivHlZxX zyZD40DaV%OWKp~=yYm#C4I~e9ot$aSDNc_Fm8n7g-ezvL5ZIj_{N&H#fepRF2r0zj zeX5odySqMn5wg0A&1$^E+gg|Xh_nhQPB^i7j@anoP7N$k^7P(2#oO<=QPC?j0K%3u zDX5X?gbpNy0;XiGdS_QSg6D_;Yte%^@QalDJJosTta9T*pkxozDzmHOS@lBGN;yDH zAk<8qCt#Q1>}Hy->B~CmZHfS#Kv!a6 zj!Tt>BEy0>YS}|AHsgU+g#fTh7Auifwh23DQDV(tWn;~W6PTl=6;ii-t=xmjv+IN{ z3M7{e={N{Oy6`UuxG=6>liMO@*=TChlB@nK2E02HuxIN6xaehJtO&K@>WZnbRu~Sw zxw6QdQVzCh&E9OrFj_s4+vm}bj8ITb9Bt(A#4b21R!HrdFuOPy2~y|+tnsKL=z$A! z=uu#WhMu4d|d4Kdp*E2vGHJb?=4vLA5XgOk|l3J54h)_%Yb$S=%C2!ObDx}|ZQbf0jZJAv!Wg;-AZp@7G5S5-1em+)U5(&Cf@jdHe zQ3`So%jdIlt5KCCwd@8dPmCer!Wkn&W*Zoy@T$4sF7b^Vn(2C9`Jv^~b63%_On2E? zbwtw98X+B5QI?BA$}O2pS(ntEM#fKv3=|hl@#zB-`JbJ;6AbQKqQs7t{%rKEn8 zvHVt?;a3-nceFlomj8NAtxh|6okM?jf2U@gIrfQ7b=IudB~q?_O_#MUlJ-Q3p??f) z{|@e;GSz8u4ey!$j5o>w-4i10%M2GU6;m%|k$#2Ap=5LW5zxDcP}K!{$-h^e9+>S# zZb$!`K(!)cl+*xC^^D26)kNaU=X^6{bd%}yG0%)p&s(%cR-7GuaFT4(gfSD2Y^eux zU$vV5{LdY!A|P$a5fmNs#O%pG{!I{v>Dt@lko?@BhA3 zNq{(UBE-OgAqWx#f$)Svg9i;lM7VHbM2Hn9g1D&BAw_~3B|c0zF(inRWsIRrsd6Pt zl~C-oj49Jt3x*~B8IJ5Yl4Hk#8Fhw)*sy0vq6dRgEU45YQlC7JBF$KG&&;Y;uVT%r zbt~7dUcZ73D|Rf|vS!bsz4}FJiknhxGIaX$EnS>*(;Jc!;UR`HtpK6 zWr0ZT)@N#ly>q+${aYa5-ljMI)jPcSZpCqrJ5_#D`rOp1WkD7+wvz9X)^GlXez`aK z>6@3M4sO0X^1#)1Q%|3M7C4|Gd?dIaf&&uB z;DCBaxCj0qd?+Ykffw#UVS*QaSRo(@9>}4G5H1*Eh#eYOARi}osG))p&gfu^ypRQj zc4Of(3$eFr0) zu)+&7+_1wBLmaWh59<{Ib^&9Yv98sE^+QGid8CxcA(Jf7$R?KzGRiBf-15mTr~I8FpLy6CH${;qoK ztfLOQ>#@IX`4zzN(YWrrH#)FaHI;NoE2UKK3Ma;gethQ2v%jSftS-D=s+hw%Xx5fAhg^EMToo( zlF)=9MBxcX*g_MQaD^_6VG3DDL*!-d3Vhj`1bgU1H2JP8LCZ)W;P*eu-4BGAi{TPg z*u)M#QHe>k-xQI^#41LSidWpC6S0`V1`dRLKO7?&_wzWQg`h3%OJV%}GPuFbY4Cn= zl;0fTh(kKw(T>W);~w?+M(XtukbkVBAmx}xK_XFyS}P+X8~G-%{jNTTuwV9whrQ1+ z50kOWD%9_jn_T7Wj`sxL@X(R6oMl-!_LcRWzz}TgBM7Z0 zKjUEzn8eH8FF6rRV-7Qrz-)yuuUE`t4i9@ss6r=3VNB|2&X~+ZrZYFU%w}S9c@3Nj zEz4<6uu#w|Lp(ts_?Jrj6|jwXOkEW|5Cc?lf(P~N0xNhB1ATVkj{Yn`6^?g=7<>Sg zjo`sSV*tW9#NeLAYiJxA5rGS+p$q)%WfPUxxl|f+o}zPOD|G(I5HX%Jr7D$45V;~Y z5Co!wbOh-e>1Roq!ch$$padyma0FMBpag~(1rK=83OzsomGz53Kq~m>5i5!gP=&%__&XocSxLYY*>*^9n3Q=;i z;2tym2Sw0zVv4E!fF9y!2ne*|18O)P1TL3YYT6Hkdbofgya0hNP{Oc{Wh_;zUPVhxH)(7^!$|DmUce4qp|a0LX2cf3wi!3t+J zBJ=K7$Y8=#kRK$TB6E4$`LgD4+G|OgwpE+-!=@`@;DyW~HL-=@Eaei~%Lptt zv4)64VZ-X#&Ca5+OwC*+PzwRmhE)${J>@R*h&lX))Of_jp%op=KnLPC#AXGPYp7UiYIm>9$8^h)yO!{Wz4Nsg4ULHZtukO zlkGd-c{x2efd_@H{NIT2gg5UfA~DOk~n{v+^!!i9}PQ44EjHSnO6$I}C*OKCY! zSD_M|t3nsds)sJf^N;Y$Ae~v<#QHr!IkD6;ug`bJTS`*UHO(U-5&7E6omh)kZUreI zK#5^v?$#$ZL}&|*IpB6qd6=sLYTJ6kTElOcN`&){?JTqhVkH!rSU0=d?e2HOJKmW9 zMz8C=D?Vq%#)o*TY~T0SkH+_%uT>tHKM(;?hmO`i9<@|ws$=~LI|fuXB#IMG>v2Z!nd$rrgdeKJy&@@&(;i$pj2w^9LuaJnN^*!!TGfj694*-vh?t z5kEI;OZs>gt6jJWee2#7IQ=|P)(a0RC)|Q1 zs$hXiZjlBdCZwH(+@FvAIPf=~J$~h8@u2(I)_C$AdD;$SCy0CNryr5WDQ4d7N`lgv z2>vx!H$3ezHH=&EA{Hr8#Vv+0jK%Xp6*wXU7rMR`9{^{KE}mYY+Z$*1YVf19F5o;L zPIv09fpc-tqC27JdH->c-D^7S94Mus{{Yc)t@akOoy;zzJNq z057;OgiN@UO|%a%WfL@29!dTU+>Qy{x3L!OP|?m2nw4En1i+Qth12)xnDhk_oRO5d zEfQ9sUu&oz`;p+HEFMb4UmkD)N({mMF`h9vfhwrN<8cM@F+?H+ma*9n1X@}^u|gLV z7Av4qDYTjzbOI}Uf{0at7qG%8Y!nfW0xKw?sxext(N7mN!ZbA*Cv+IAWzG>?R+%Z) z6t;pBT45K&0jt4LtEHOsd|&Gj9T?#m2v(i!5nc)6VWFJh{Heka$e%H!feWHUAkHA< zu}|BzmE{DM9W??3aF%182%^d)F(RIWa-mkY1u!Sl9ttz_eIaciJoKW(BGY39j4zM=3z1d z${xmFAfkj52qGZf9}Vi31z`{?AQEt0Q~i9Hc9lRY9DznjRVOr?D^P+SkODZO5)beb zo4Epn#m^C380K*TCSuMJP+}ZZ4w$(DwNXxEiI$|P<6#{davjw-{u62G!7p~-oV6Gy zv|i2>*JPhOOC`Q!B{*YVU-YL&nRlt5@nASYZv z^IU*V{$vbL{#)j3B_|X@34B5$NSr;A-U-bd2f2a{8Grz=BucvFNy23SU;ss0WL@IP z*P#U083Qk*0r9BvlX$@EBC0u*S z6BvcS>&e6<7^4Uxqg@*3oe%=n@d69r2wB*eAz+^S1Y-qqV+2&<1yG_>>A??v;|IVR zC42xS{@`VCj#z=G8faHERY4Sb*CkH7(Q<#Xuu;LJ1r}cCk8LS4>`cEVV0pIEXHU$qyCHIQBaXH0}(OAG-E5S|mTz!2mm3$Q@q&4h$f=$Tqd z3)F|?g&y^k-Zjl#8@0|gVh#o^(Ja&yp}~{o0M&A})*j7*(rH_0_7!Zo0_nuo=qYG> z)t7_HM3%C|1pvScvH$>Fz#swu0Q{j$m?@fi>Z5oJLpZ|fMQ7$r=PwnYUmf8!RbKwZ z9Z>U>Kq0(objDC1ffPw8oY1+U9W5qKL8MRY+M_}!OKfSEercGFX;pOUr!uRe;L>vK zCe1~wJW*T@G82Fuk%EejX`$WbaL=r=meFyazvbAp)=_I|POjxfuwv=3qQ$Z{YrGE1 zO97gRg`VdT4?V(AZq^+zfh+ixtDt(*fK6$x%2yR}5XQ9_Hul~4Or#ykYs4DLIzgwN zqF&sk*uUv202SKM)e)h!s_D$C&ov*MZu6%dD`wkusqY|H}6Iu%j);hn%z z&c@=89(-0I@N6SkS_L)_Csf`j7y{240woC0@c^wH0Z^MB8!*{wF?AooM*i!IwFSGj zL?&DS8Ki;Ng6-FeZP=3S*qUwG>OgVI?AqQ*O{kHZHDJh^R|g{02LM1+YS{-YpIJFy z6+l2xeE>$)5a#%(o!VU`B0(@J-TkEDt$vUN9^hKF0&UIVRSZKQk^$Ii?$>T^=5p@m zdT!{Ft?sdH>D~$Q1y72VtiOGfwz;Y(Qf3JdljB~FS#6GG?G>(m>$WLXd?l<|-OnH; z9HEvS@-(XHB5$s&(xDR{c<0L_xsznUxoaR|M#zYH?*_QCm<^qK{rC z4}=$XHR8eLQ&2e+@M@t>mQn~cATepHI7x-pCU5?t%1d34A!Q!N{vwePJuN|M7Ibn| zYN3*|xq==TRTUh;(OQ{NG1cZU)mBDXrRmdUqLMp)6&qU4h(T89ecs-ctnw&Q3gEB) zs&J^_QW2e4FPYd`Dy{}iZ_)WC3hMHf0eR4habU(i5%L&<^0bPbGZWwVDIP2N5@4>y_VVe zk3UZ*&b_gK$yx%EwX|g*Y>hCn6%RJHZc!_8u1>VmDw0HQbzTz+7lXh)1GRjqows&E zxB8DBogPCb8v>1;$C@SQC0taWY`4A@CFv%*3UWs4b!OYi`lLV~|RXfk!hq~RLwoswv-Fb=7&~*^?C{hTJvu5iyo9tF1j~`68P`Bc0#%hvV-Rw4| zp6gQIO?%#l<}9g(8=*aKN^i~;qwsEH_vymi^nnu2I`>G6lCL(lhpHU}Mz3!AE<5L` zo4s=JII=rooVwz5cGI_;*jO0^LLeZ5e(~owA{@egAHsk0_aW%_e*1TR^EV&sQ@DT&c!hH~hYNUz>$is^0ujUoX4m(N z`$y2k1#v`2LtsY5>;-AqMRFv@XxzAs69)OeV8hFoa5k3YGSbNQD$IbUpfkh4YQT6vuJ2OA{K zcMOf4j?|GoB2cY}8owLWDmjoxs`J(ejFOtmAW{;e5s>cgkQ^PO8wqJdLP9`kL52D7 z{V$%^d7t}S*XQSZXFKofnzE{rxWsEHx+VG>0D$2)5bz)F{~rI%V*Xo5m;zi70G~cU zP#@@t3j!3>NBG1BLFm&*7}Q5e$w0}#Kxu=Z^y#B~+QP>eo~YR{m?9W_`WT+JiDMiB z5*)e+4pRh2P#;I)n7|VW2?0}tfJ>i1P@lllB>gFK5>H@i5~eN^HV6rqK8f@>*niYu zYPv9+KA1}%ENBb{AA>#3^XJt5qpPNCs%C1V=F+F;)29|Rrj|da`^2YD*Jn((V#UE4prjp?pLMFBRfRw3}1WF<2t%>Hc@nm}Wcp6n=Te^65Jsj@R z(u(OUew(R$)z-?{JaL~Bn(~&aPess399p&X5`NNHbZND2eU7Cn%`(vfoQ&GfwZ@Ik zh$#`5)rMEYl3yZA9T!wNK{XcB?G2k9p8Hb;>Kz{~dN>cWzf5;DejNzIMwb^jU9K@{ z(jF8{G#1z&Ng$99Ju~(`82ccgHz&0&cr;xg611%m*yglQEzk$rN*gXWZL*mzeA(0f zW3$uebbB^Pj19Lw68E`gKB9>tQKv*O(K*xma4xIJ85JDpd%RquzM2&B*Y9+F0Of;y zF5Ub4>bR#4yRkc9L{%tox=3rFKV)0!xby3$fq{Qf%4C&mVRHih*}knbj#l9@9BcHE zVA!!09Hi-30;e?0-i@I0pJ0e-veI37htp*^&COOByBE*dKCzd;I|kZM6kJi+e=m9{ z&csHPa=f1mMQ2UKonf)3w8db>R_9a`e7lqSQt5Yj+MJw3MY@4*O?IZCecVB&r9b#E zW9oH;dQb>AQWNXFrESzVDoqLqWiHjYDDZ&+lvn2+9(QTsXONwE`Mzl~rm2 zNxi8s*~FKc1f@&DrSuHv>pR5 zXR8dmkP$ZkTXTc!<7&xOUDF`Gi)-_QjBlw3tbD=Wk4&~~0*UF8PPf%i7tE*PDg#W;5pS5`W3><1b}#Za?Sg($*|%88zH4 zn>ozhuD+x&KB;M}*zoCeOs@0aaQ!-A&m+aibGM~PoAIpmk=N}4wf*>O_WUd08t)z% zf&H_i?`2+>Pw=Lo#^pY-GXC#x0aKaJzhpanT=b%6`gxa$5kcp{S;A)``Ms>@W8g`> zUPAY2-SBqzaSO@A)S4r&xq6oj?vKCceX~P{b-5HC5Ayy(-z6tzWS_Nsm=m)+xc;pE z>G)9^QWeg`(GQ!9Sxy>zGhOJEsT%zy_1`+UzmQpKWhB<*dys6 zPu_u(^O>9sY1Stvz-lFjE?^Z|$1y=fX%)tVGg6}^F&jbYYKo;?kqy@wfrKo4*`#6X zBG&!+QUx#qe!12uI?L#OolsIQ`5H@zw3KYXDpv3(J)wOs>=|m(SV=H~VZ;{jAy%HW zRM3-w76N5>#h73{sSu3~VXj1LGKK)D*<19WgIMU2QR8qCC4s#kiT#{qR8<+wTO8l; z8^mLQ_b{2(irP0wJp+u=l<`f_c}Qex34M4QE@7@5x`zz9)gZxItef##KoiJpJ9=S z!#3Ut$K-abU@8uS%hIso280b!+h1a_LwAWA?-j^%*VSI*k%0RYMp~(X;SZ%`iLPTbdCjfw{*^XvPqz=B%iT~WA_}*6a;tkO! zn7Q0D`+#!jN5GKJ*mXgoZ#h)SE5R-$f;7_@i-=1OrwHe=s#gVzq+nmc*b0E*2!dg_ zdV)xRgEf=^7*te%mn7OEpsrwajEEFWb4eIEL}iAXKEMD}x{GHbqDUCA1L`om#50aU zr}OMG!ZJrEATF*o3Rw^95CjmoheTpuI5(wzIf2q?#0mynEW*<1E9vuX7#xvv({#I_ zS#~r6>%b^`ZP7|b3(#+C9~p{|DP+!$C;%373YK920HY2WhV2|4juij^m{v!52mk;i z0mW#<_X?zduq~`|xz6C;a1ZK>PpelPqCbUJl{*rMr^nKXCGp(2tWD9?RG@7oeM4jc z^N>Zl-4CY~B^r5hdTIf`KJ;9ik@*I~xqA1&P=0y5!X^kk%`W)pB^E&vAeuNaA}-#E z6U!8gixn`GWti_t9ti*{TL~m+E287J1jORoHlsnH&A`G~9CE1-IfkS|Brh)%jFHPV zr1nS#(FeFZKR_U6;^1FPY>aHDc!HQe?JC_1z5ENI@4#RI|^GjU^0+n}>S!9c*y z&Jp>y%Vd{s$~P1|L}1FYX9Jxj8tVMpi?vGyMukpzJksNr?RUK_#|^BD#j*P3rD!$$ z;glK$FszS~WbRfsaO=% z?Do(EvIily^pPQVW>}oY!1U`Egla_;(<~`rLoD-HYPj&eDDeP+`yc1=difa4j`_c* zj$lcxe8hkhC@xBB{?HVJ1`rE-NgBw72Kfv_50-N0x$1QgS!JB%OO7B1?1Yowh?WUY z@h0qyAD0T*7M$nb1jtouhSPZOmf1-LNz>|?wV@LZ5h`)JYGb5Q3}a-lNAt((fC1?{ zkp2`*7Dw%f_MTm^JhLKLh3G2k$XY@(#JUSFa#UZRh@5ufkm7@M0a%^^=lazhS7>j( zn5W3PV;E+Nj+{o75}m+^p}!9|_iuIa()h+O#khjN=(hvJwXv6WHmR+&$rZYiSt@93 z`b6;?n=+&|peVlLE#L5TB&E+cG#1$3gSYW_yH^jRL^Ga$4>#%1BauH{l_rM74D>;W zdjDRUdI%QGzbvQ1eAm6)(`#E5K{6bIaru`=p0l3V-c=Bm3*1I}w2UT5CjXm`c1Y+Bns`HRjT$)WKTI4ktMbtq&d;VD(xBfElBsNHPM*@Ww#`aUH_Yvchmg=b?*Oxb`Br zvd8*;H#myNhVe#xZ+x%MkJl{ffD#NmU1zqXc^~p*>`~6?$E+_BOq->3Gsr4Nj|ST@Ls+2`(}Vjly~R>O_b42km3*e7&`@kK zA>Z|V#^!0+j=R#7z)709Ld%x`d^|N0k|m-xFDxeym2dqgp&WXB7g zd517U%;aJ$ofIsJw>}}P9}rx<2)O=RkuwD@4C5ZYCpbmKG( zFYLeUgrx!41;vm8?O=^@&3{?RvK)k_{@7AAVIYu`h%gSuI^;d_-3w;IH&!?q7noK^ zTq}Bgw;inLri>{7meB?FG@)x2k)T$oYeF++Quwn0Z~8&+$f)Mb$7^Pnx0$IFfdN%C zIiw61*@`A344xd&Pb4OfMBqgE5I!*VPa9>@Va|XNR&nf@E{1n(-l9zmaiU#0!OiIe zyYij(3X@hY$R>!?1@->~G zhV!u{dB@jNczkmZABuZ~s8c4g+tJdfu-O!Rc)xU&$XyoTq2;EP=axv6rjfd`V-!!L zOaID|`-?8~*P9vpn*D&G%o!IHFK*G{ zorzPH7lLI^zL+x!X%2V%t^bZDw?di$oyZHK8is2niQ7S6X&sN-5{BCWsO;p&Z3mXE z4Hp`Mcm|$Hs@qVmy{3FzGCp%s+9F9-ixyh+mR>}oMK$r~kLoCU#yVoxmUq3b@Kq_{ z&C#-NP0`~lvBeUm#;$QK%`x4mAr$}+y%u{lT!vq2SjNfPAtAUkYXK;SM#9U)EI}xik<##j8p7)T;*8VU|k}UF&zLo@as4k~Ek&^|_qo zt1RW-YxxS!`I}dD>EDGWIht6~8QraAo;f$*;1aFHODS9hY6wAZtZUmy8h>u^_J42K zlanhe{rF?!BSNCg)|XFPzF9bse|NZUG+c{F5*6b+!59k9fpDbp;5P9P*HHec%gN2} z6{tzZ5u8x`e|V%`R45^_<$F573r+a1xxUtl zskat&?a`RlaYfc3+&9WrUe`fNrR={UzF<^UVko8siCk0B+%s1^I@d5WhiG>5Osdsq zQPoQ%G>Z2$zKdv`0aK@WqHRugw5St?ZW5lAa!~hFE%_kWg*c5iMXWH&oJF!3Z4gM+ z-Jw!1+ku1vmPZm zX8q&9IXMRHbfq7R$>cZ2L3&ldZ}j}N&B*UnZ{_J8)`dORIie+KtPhKm;;9L#nwC|| z9nGkxHoWFk`{Fjd=BFAV@g)do!y#9XVqSyt3+|*n`nMYcJ>KHFd5Eq$L}mAo!ExS= zApgd`)U0(EI#c_gPGcrcfk;o|eQhUVfujWWYE)H5B&xby@G zW$%O(&!~mOgaiwjM!6vfZE7U`H{PRo+M+8-dJSo-)UL4IIyI_(;Ax9@4|0mCf1A2S zCb-1oZ!7Qj)`Z%@m%SZY^@J$2mc04l(Mu}9L}HHH%z+5WiLMuAQ7#j_=20r@()&~F zRaVJj`Pl*7F?y0s(hqfdf$eU%-33xp1upf~d9AZ*)KW7eAyRGc@(Cv{(4G~eAzY^s z!PD)%(^Samp8V;~hv`1Z%*fgFX#O-(YNj`TW-5PXBynaaA8i~mJ47?H&^!IS7)@H6 z<^??fgCDT{FuTJ&_f2YUk7n+GX71Q^?o?y$3d$|zU5bs%W`|4t)y3M zE!ZtARvZgf-g&J!e_3&-C3SsV@s?gCW?1nJSq*3)_9|Eno?SJTo*oaL4VPYvuvmkK ztVI{B#rCbmKTdB#m@Vc%rCNMSFZh%py`EXHp53>e^<_Qx$NGLSU~+!dF=APn0k<(_ zqqc9O{>#S4$Bic1%@*m+HjB-6yv?j8Dp_3!;k%-&MzqC6jo*jV9PQ4ZO@XKwe^~S`d0OP|B zB(*94XLpfdH?xbM7+R@P5(d_@Gwf#-I{~HK@ zA8Ne?e$6%Td&1nk^Ho2$1^%HW-Jz|_p*`=RO3~iu20NG&lY73r!h3E9 zvew%a_FYNte4) zD?ie68#A3_+>iIU*t|Bm$Y5&xnOgl>)9zmRs}rT3BDe|kZn}9HCA=yFUFrX^Huqy= z`^OII$DYiO-aVSttLL|UV<@VVGyIdEKfj-E|GdyFQ7Lv1!hW~qGV%w1s`{^J8S3m` z_yGv5(^7NPH27j^cnBx?;(G1E`1C^K`hxiRCF#Hgm~Rww?{qYLukdtovXC);-fYg# z2SShX(Pc3^F_LjkvBnDvVUxXL`3m59$H+>5{Rt5x=;4TmG>`W@`_+B+oZu$^>T)$t**zd{<~Y#qFV!-x@>bAm2KqY2bBMvY7og*t=;2~a^{QJ1p5Y2hdllMsKtR1T5Lq>*~ z_WO@0Hgz!}=6FTu0E>5s|5*^+{Nq=EGrdDgv-#MZavAl_jQazd_fgvUbL9c{8dUDd zSEh;ifr%v#=67Vzu7kRk2OhgNxEyDwKDduysg3-Z3k|`t&`G({w(|MTMh)@&^%g`O zmJ;I}9n-*vMpq2_Q)Jd-fa^q`3P6MEG+^mCFIyY97{cJ#&t!Zln|DWI{QZT8vvu~B zl4zwvfzNcmsid;JEL6zRJy6R)*TnI;Jo(J6FX%K>D&0{T7 zfPx%4^gSg2W=K|V2TS-mfcU$O<@(|c4}RM*3X9JC-g9sCeGttBG3Lv1NxNDWYFZ4^ z0*Mc%<8ibZ{`xWeJFfh=D*@Ep#nc72%oF$e$_+xFwp+V{4{tg)WhI|yXcqo0unrt7 zGn_fDhIhqsv7$#2TVr-$ahPhC8sPsK0TM_7%E@_5=W+2N?w<9T6OM61k>qU`R%GJ5 zBTeL3?v8_z!uZ|0Fe!Y_1&l}-5jQawM3RUvmY&&rBF4V?Sezxxwnde#=!{(=%_@-P zg|Y72k23#$<~d0kyF!P7kagnjDq{dVY3PBO0~U>*A{1k$e0M zv2qwXxd3I#&YY}Cu{$|+F_IqFI3@N3&zPo}0VL!!g^r=%AStZVvN1f_r3Z^5fF=i| z6sOoH?S#iz<_a|BaQ$=~OEf&{E+eE<)ApmF3J_;3XPGK?E4BW+H{BQ&k9kH!>$H%# zZsYO+N$=Fy!1CTX?Z8mX!>jH`F|K!bi@DDyMX@i5<=m>-2i~a%q>ZIP1Z0rHFieb( z+g9`mCJ{}q$wOXt0WqXrIr)-@^1Uq$7o)kv&orVE2PVs7&F*E0b^al?WDncutW(rl zxFggH>uj}>x&R<`)V1UyxirQg&t9HPb>pxV9*zPr(ZHy0a?3EaFhmBEqX^TQrP}>y zB5}HtVuXD_ak-&^v>FzAG;1$UiCvZ=dt*b6-$gMwRSFbc#2fH0HB67z5TKGgYYf-N8$zs+(_nHE)|khRU&g0bz@z1r2oV{f1qBu@(n`2YkjN5JotY&G;$Nq)Yx`*gL zsg^3&U2Z{Q@IbEKcTWc{vqar@c}8B}K$~e~%cxwhm>;*L+;T+A+LSTa`TS7wFN1&~ z{O0FMZ^v2X?kTl3(PD|iuqn!3pljYBVC2ZB&dQ{u-*hcpe#VxIk{t~zY)8&m!97xB z(g_(uQT!ZXZeo-emuSwVPsFakvFu~^G zAVH`Nl}&L3#<$r}OQFSxxvYNA$@ij=spnf$VkHA>&7s6ZW^m-#xVUaPUl@iJBU#r( z(w5vaoRRtXu)FJ`iukC@esp@^*6Cm6!(F`t7aI_}W?VFa~oZiLqqBkg?d#On&A{Ke7A z%ypsfwy0Ns9g6kRr%UlN0{)BYNXJU=!xTCcxWH6*rO+KKcxDQ!WHv#ok@+MgPZ}- z^>3QZEtflJR-N*^y7StR^x92b2F@QxW;VC43Mt5!7jpdDNYgd$H7tg4xZSQ|>w8I! zkq_mT3gl)9D(u$u^|2#NR5aii_C2DyiFr$y4+ajk3j;nQyEH+)Y&5fQ8=I0>nv!~P zwTK54XllS_ji^PH(5eJN;0Xyqf6au%Jvodf?R9F~(oR)0BKL_5h;D^#OY1*#sT7V@ zN9$I&$T&zDZ6{^GVFxAV5(9>;E!9bmwZ540auZbCUy-8Bu;_qLgj@vB84Vj8fOJP7 zp#=+>43ITEHzKESDybA|nLla4(JW{5|8OWjRjw^0W6i~fsJE5o>_V4qUNz*~+a&Tg zB`R(TEa(Q3{~=DB17TCh|e2>jb;c z%a{9prlVB4JIWsI7mO2#=q9q4(vJ%T$0R5Y$%Z~k_a71=zU!8{3OVe13HoLxcA8Rb zuGmRn*0(Z$%TbYcEJi%9PhiNJoD z!cHGeUOxe|hU6Qk^97C&>~YT@tvmWtd^yGpyezkH?c-{iDt|6*wQw8)e3rM1)04q< zn_cOo`AT(7zRQm&>PwLU+vR5~t^3fo(x)+}cdM>OYAJ&eUS=4{KdWN1OecbQ0c_&t z*S_s-hajF z5U4%q?0wXC<;D-5wXaT!_!Q9eaO5mrn4Hy;cQy^uWL^s^pAj;Uqdub1RSswG&U~Ut+yYv?Fdc9yqO-zsY~Np|JQZ|7zs= zJm#MgvN~1OT_H^xm2RTm@b0zc(?OtU!d4x{*B1zV`4^Gu{ph`^RyI)6>Au1VV25}X z=S2kI?~6z(0dx$h-wQ}nBt|44D)&XA%6tSj@&k1ooLxJTJ*AZ(zbf20c92tIu!kvP zqxXJzaPAbyV;UDb)top{t*KqZqbl;KBC<8zX}ToN$kqOZ3HiW@i^d#(oDGgPL*f3! z>FKV^!YGeB;>xm~r@D$uiBoA6*6WI6muMQywAO)RIfl>WbcNxtOLikS2)l*3$xEjP zrDq1Up>amW(RM1)=FkL9H7F-U@ShN)mUm4VJr~HELn}hzm0qX$Fit%^@2Ck*;^qtX z@Tw~&sheS_&NsHdU2KmZxJkY@4S2Tx;us$BZa*W*^W7gdossir0Kah({3ay2ZHB9h zLDp^4|JA9pbs8*CCX(emV$Fr%B2@}>8j?>Wu>A`gfXSbpvbnZFOE$*@fRY$Cu{W)~ z7)%l%9eKm8_qPo4$QK~#w$V3IlIApEi<`c;A4FpRj%F+-)qzA0@?h*J=Aq8babSHP zy15{uem@gqI}fRNN@Qw3M&h6ENFpX`M=nKVOH~}RV!!sdcOu(Bz$i6*{DZLMTT<}r z0JP0b;&9uM=QceF*X6r;3a!QyVM_?Uo=$6<9+aL^w8jhft46lT+@!>bKuKaZ=8k7H z)Z&Xp!pvP|!t!aj$`9cwqGeO2p3148)s%hWIONdcF5}J2;`cT?bzOQeN&C4tMDIaL z=(dyA`XUatLtSm1f7q4yxiSEkBRD_`doFhWdKI5mZkuPLB4_HJyJIz5$TJcO@Aav1 zeX%qMm{VXPR3FOwee|Gbh9$qpF&L2{JjTC7+^r#!nTVeUl0n%-D)6}y^XCr_nkiSB zE8`|kt>>#L3Mu#L$jUPk$M^QjPQ9;(&+MABPXfVjyyAiR6b3Gn2yF$%R>Tssiu^-& z*TbmG-hd6w?EA8w4cvC4Sg2NS0gLlw;QT-4NC25O`t2t)S`47bJSK}arrkU+WFDojjs1Qe{HVnXQe)-7 z!tjh>b&SBj)h6(Zz^7dx#9SaG(;+rkAhlZ{CetAoSs=h%Aog3J%+MjRSa?>jKyjc$ zbE`w;7V+G3;4kxH)QMW!L?m=RQhFXkdMA?AO_$XUwa8Mj$c|X#L@aV-=&~Q^a)m5% zF6(lB(dGWJC|Iz_t+>R;vcw~;#~-yQTA-^DKy1n$$!irUXoc}&RPV*?lFXN-7nq-A z5leDE^k5?TQ0dRIJf9Vp^%N}h7?GWnX-0SN`zrvliyEHrX=k zin-CWFDqUmt3E7? z-ioV!cB>!sSN)?_1EOR-Ggbo;Ml!*xLCdQlsK@%?gVp40xGb5mEX$gbh_N#5TI5S( z<=gk~M2z0~t-UYC1T{slRy~Wjx4a*`kiVZO_-3ddsP9#D!;(=03*%$?QMum3kv`vw31)F~L zA`8^X$Ky8!@_@L|jq+L3j0=-%pQ2l|P0EK20Pg0n_w!bZBCtS2#urm}zx8&^INIt+ zNnq~{w?@xs@5>33&RN5X$JLJq628nE#k8hKVblH}W+N=%O4^wwx0DtZvu4FjK;9NO zXUnwHbad2k;ENGbTDdf8W5DOr0!uFnvApFHvbp4j)m4Gl^UMp!tFS_IjdC#6>nL!=hTzW9FL+%H)9mSOZ|Hg7em zeV}dqO5oLr-^ynL^A*1`;3iOUA_dEfU&=Z~nKE{V_EqbTFT0NkGnii;5w8M9Uuh?z z15_Y*Xn=6`Ox$PY?``W%`M>=2TX{GzusepQY}6%|vZqC`$K_h3qF1+D+AP;Hm{P*ZgF4hB=#Ie{ zWZB_Fonc}d33lP=U;tb&6QD>KOE@DW!DNMADN)K()El-ZC1XgwVjx4865u1ICPav7 zT5JW1($@~>&m8tKuWxfgQ*$3S#mAGPZX4aSy?^=zRcoPbZ>Te8pi7rqzD~!ZbYK`j zS69}ie{b>vtA4|n8v+3EG}+BmLp11wU!p!7OTPvlV!XCr;rO|NhSO)^7-gv)?XP*X zEZ?Uo-j~fXUh0~HhpLI z*2c`X%gk}v%kMTK4(=8aa>ckSQQLhVs;2O^Gkoe}koyIqD;XaRSOF&)Vc*O2$6F*M z{9T`qYQ$bI;l8&&vGj8`eRRrPvs$MmPHaaGxYTR@+5ohEZRA~PDm19hbdGzK>7j94 zdX_nfsaQAj9vJQN`p0)yT9*uZ%U>nVdga3zt;6+Lc^&v?Rv9kFcIfSjagTj6BBb9Z zsrRR@U4ziiP!m`ylc5Hz#=v2B(_DioR|TQ3iO(Z&>=!c60(j2Skgo=Fk9$Vh2(MM% z;<&9JE)R|wb}PjV_p70+pNU-e$eOwjb(=R{j%}bg+A>$%~vP1D#Jg&F4MQY^jR(# zC=MBAQ3iy{SIpy=tZWYSMJseM-r9!VdSq9epZ2+)FEg!P{XOv3vAg0Mu;j=xRLt|64-&w?p9Wqf2WM!n-kWBlgj>W${njn+BZZi-K4C#KTfjov?BeWP1_hg*X; zw}wSGBH}k+2|d$;qs+!{%~x+Nj&5Jw-CAP*vZDC)`m3MG1Yj3*lNJW#NWrvz^UERT zmt)p1r}0~;N`y%ju1ke7yjKI@+v#!c?|JvjlkLt+?2Xr(P8$Mz8KXG$Y;Nq_pw#? zaYX?+P5$pJ!EToL6&K|J>(5eRD0GP4=CHs0hWj?v=y$rq?++et(=6X+WxdtcezU`W zlhFxexxdej`JJWwHs}0p@xR~2Y=26`{-h}f7Rm-zeCjb#forecr&r%*t00**#Z{bbM*cJm1U58If6VI4HNN+gb=wI5a)yaC9R;@k3v8tL+a43tk^HxVAn0h~zFHZa zq@~&OAZ-vtkE96RW_nl>erN?Dk$k};1P>5U-&Ym?G$fpPq7(7=@2J+ppzOoUcra@8 zYw#zB;8}tY1UF9T>fgS1;MzM{x77QU#(>q10Ju?rjz>VIN>C2r{cmvv{(b!IyT>os zsMGt9U4qb`!l5%#sO_&IE*nV-$9GF&;C@+=*yP964%A7so8%RY&0v!-xX;EK7M*v^7Y+6>{z{4?LOjI zHThOJ4uzoWS_+sphM0{tSmA(7E&>Y|A0CBc$eGM2ANru;U9OVGA@@b%rqaoWza)j?-zcif#a$=CxHU{USzvQbKmz#yS>?d0DZjwca%b=E2H zZICXg5GP%sQCo;5h4shG?`w)rC2|QU#uAdl&$ULa?msT-mYbTyOQ#&QZM0g_{8kU& z2i?_d4Tj_LX+8v;?@qqw`}$tZ3d=4#3o_(NRHoX3f#?18=i~3YpF86Te9uu*Z*LBl zS}o5*&p1rbUt?131@12V#W5;gIsYdch8i@?;OCn^TyWdq5hHYmaIWn{5W&QEBgwFi zcA|()V{xKsh~b3x8v0cfPoEg!XYq)NfYNxLmixVUfo^uDM4=61rX-Yb;jJ3uuiq3K z?;bG4nLj9EbtW1=vvbf^W)bX-&ui}QRXB@Kjkq_g1sdB(R!7Zg=PW5B4xfX!yC^i zv1w@^AC88B2i?^nH<^#tDRhm9j|WrwhN0mG%=lGRv%>#y)HRAz|s{o%B7o)S~{ zRl4#t;H9A*f>m;hN5nIULUR^c%2@w8lRtGzoLEWUPIjwpB%IK3x2%intATwBP>jZC zT(0i0knTg}%*U*vcQA5EzCPo}jf`hTXN#)fhOJ8%1{Qv%OjI287wsS1NmhhFZf&Se zO*P@b5R!q+0S!srs`6me#l45~94n?cLV2v}qMbLGgBoc4f!I7MK?ToN0GC_N3NX!9 z*lj$|fuxNXj1=F$ye1+`&fVcqVVeNVHnBt8(aidsdggp>1wypH!crrcn}SQfkHZw?dahbSmyBBFj+GA&VoylID_i}IroA)F(i zS~B6-BsksYo6u&qRkqDi$T96AhtTqd*FZxsL%PN-YWiZfb8Ck7jTlDXI@qA`O;dI7 zP#6alM_%ixM=V{CN@<>~AXaN{M9f}RFZ#6W(_J(nWn-(Q$9aTBfy*5+<^%xbS&jfI{MQ&p(j{ne6X+EG zJV&{+Va`>alvEXtt#_)>cy7RIobCc^rUYsvrU76r6n)&GvOyR#JI_Gy)MCDPfT5=s zD}c*apQ_Z|=mAbNmWTF)m+jVRojV|0ex&SO^EsJz3V`$i2@p1tJmWbf8>*^6>xaj83R6Q7$tex%Buy1G#lAlZe@pR{ z{Pc_ABHh!u6RZWQ(VO+_L|_r$lflSLBjlu@a-c;@`s}d}@L6;)fsaBB|HZV?8oeGQ zEedaJs>vv9f!?~;v9jf_P!g!TTLqckX7$=UTp`Ukx0{{LewV-1ni-^J)o7wf&4NY< z1z;4PhhTetmHYgw9i`+p#%#ISxHgwrjE$&*MHr(uM0;nnWSo$xY0sOB$Axk??2#@1 zZ8Bl!?QaCFf3h6}fNd!%pLcP|c}phfTig&*mK-twQY_3%hjQ({*nJ<9G|cw5`e-xj zj=Oy#BQ-(UoO|`08`a6N>#Q)&Br1@9?-}->yWVfG(wNbjc)(+n13)8;aMIzjX9Q+;CG%jYbx&t`B_=-njSB3Bzg!)M~)N)yB@oi>qrttaSXIU(~Jr|8OSUiLa&Q-=tc ztv1{6vBzB{#R{iVaoRKH7-{mHTqRd}p)zFqBh(gr@&E`sz%U;23@#$Mj73H|BI9kZC|?^u*`@28p1_F(Uke{}G1 zbV+}5<6na9Bb?2zY(yVB-ND| z?fb5;fW=zh0KzF1_h{^2knCqkP1VHaazd`{RRkm`_5p!mOw8X6X|8eMAa5_deYdcL zuk>j6L&CWQ-ejDv^O7k9JfNvyO!Nefm*!SGkg9A^%7!0A)LS#1s+ko_Y+wNZtlZ_#e1*eKvTcauu_=|-@U!=bs0XU6dZh*Kn*f!8Z2R1z zbT92bc(tUb9!#_uyWTP~oKFo!0(mb3WCa}sGcK1xZbF`i{_VNFD{;=hBiH^2izja5 z+Y2XaX@^q^sJ1OkcoMFKDZOd;1DP9FIoorlZq#EWBviB|dB$~VUz@ec@z&B@;usac z>T4pLsvP|l!EHNuQ!sj})Z{HJ%4w%5?|(^vvTzYC;9alQagKu}>E?AP!>=mNpJ-NG zG&tpL5j?)j=COs|h_9{8md9;L==MZ=GgzPABKOYBPmyr)*-t~_OSf@kSZ(QXZ%0^A zYxtiDog;%6B~2lj7MNCjH#&hj8rvFEKc(3S3YBlA_NB0+2|= z9#RKLBFVsWqL{~_aH&7K)%hL<-KC`=O6Z+5Do9ABBzz+kfz_BZSiz7rIoxs-4Uv;(SfaSi;?+&7;H|1|Krem|}HK z@Q|=DgD|DXDy!AwLak{=gr^G->8-6KPsJKwCU>biq+0E&X-w&VE3;YQ)Gs{hv|VAyw7%Jvp4+ez|f5_X-yX z$N-MHG-*T}4hI{QVVBs{KVYt8tEkfJN&bv~pI#{2J}CraiM~MLJo-gpa--QpBS_i7 zf|F%FR_5)VpfQny>h#eug~>v|IMjS!>|?xA^i*y@xpAOMlChmj{@#fbi&3b(a{!AD zsftc_h4+QVcLw{V23&jVE&puXc!2gMA$#bz++r#tbAaW^D2oPK-o&KI1d}$H z)uWij4U}Xne4yfLomZ`z1&IzAu`&I~(o@WYb3h$o$KvRJfg>8#C5X z3v;SQ6KJG`B|A*LERnG<5vY~Z(OhyZe1+15@VVvjO`^96!y_Bq1+)J zIsTS+@(t2Ks^4Mc^LS4^R3C~N{mM~4JK7u z0x}h6%hG00oG@; zSyZanZ8!$cp*#JK(MgHUOv1{_9Lvm=qYkdl_Qnjr!89IIU6Qu5qO*^pv@>g|_CT`R z7god{+hksh>0QykE*%PSRt!CfQY;7N)!Rq&v!tyY)k4ZWJ}6`;%@kn1O!&rO!OH4# z1$Wy3F#>k8-8ri?pKgf2`Hi=n+#zMJI9-(D7MVFrS|$tPVxo%2;iT0;sX*Uv2ks}1 zM(Gp9N^$=6)iP?wsWN3gS8Re#36r+5#ohL(^pzUR@Gr#U9`t(WIovZ+j%a(ypnT{j%)5IZ&&D~WwEh;2T1oHDepZlyZPTAi9} zD^-~=&|W8e;!=3yWcW~Hae=8?IGX2KAD6_LLC*SS$9_!I;=QKxnv4SnM)rNAz9m`W-~tp98x-Y6C1C+9yR4Z>gUV-zVO(G z`7}W41bWDw(tVOkRguVv{kgJYi5TVV<*VXP&abqdTqi@Y zc(-_ z*%_N86gJYFvIBSBYrbR&{y;QDdhXZ z2&2#TU~D^o_~`Lx==@=f5A~DpZ%gCDPY?QIk3Ul$fTPCW?4klP7qS4}0kxwbBUa;X`}J z56Nr7i1CC(@?(yl<1@kjP4WNvC^sCa9}Tx)RB2x1 z$pR#&msIBhGSpbW)J_(!g6fBr&PjXOl>e(;RQio(HFk*y%CC*!b%QpN*=<>Z`zdK39H1ksU!=l zJjYP5yprV-R^$V+7DEYog*C?8G(HKxTy1;#Rao<=P4iq>>#Hxm`Aq*Tu3_YHjGlXH#tro;fd;f>Fk&liMkc@O+ zO?2P117SLV5-}S_n2n2Ad_q`Ei@aJDdG+qxn8M9O@7hFcScl6gX)88?T-5q`yEV0_ z4V$P9ftzKkyBeFXRSZvr`C0SOc(>~>OV4)uH=>U3+8tfs4r%_5dA}Sf6rAdQDQ&sg zruo@o`yXiT|CC{^+ZJ`(%5mTKcS|^MKN9uW6!j!{!hR!VNoo_3r#+-}rjm`MSI@f%Uk5yG#)s9 zcRnX3-0dIm;>?!B*GK;3z?mnk?necxBg~BV1nWNRc|bVHeZ}0^$zg|OvY5R-Z{dhT zK9VCH^{O+5Qe%>`r4U9Ad!q+JurvvT{T8AKff;Al_o2ZuH2RW1{yOYEw>9|d*4OU7$VLmQqrgE#mn)9Os{E^lQ2Gkdt0LM&_x>Zk| zOREHyyorH~2-2d{w-qFO2!up97=>Kq1eIA zf-xiy2pq(nyvsyb$^%#^B~?P@yShkC0$oBZx!4uO5--^uOfdk@&5lR7Tr8!R!juZd ze3*;P4|U1UrQ|%aSUbb?*v+Ae&|gue%!17j3mW7U9F3R4NQ>YBJqFkjVG5491GQ^# z{-$fJyT-fwDmN9rQ^F;gK_T1=E7?=R;XB^Q*(yzi+)IFT6c18S)eyOiScXgo$WIU; zP>V8Eb#Pqr-= za?uYLY1mCcfeX&eE3m-IL7?g2>?Hc&qU%MvvxeKVJKUr4BykUPa(fn^I{T*FYi-nZKpcCJ%6q7LxAccNNxliPM{#=#BFHsY?qZ8pU z9iXX->!5+l`IJa}0tfLNK)@0L1r`*73}(GLl?4N=2C!beLWoKsEL0XRrh0|`3e_o8 zfRa%`fOE#rUaU1uwJp%s@1MmW}0E8Sz_ugnpf_S9ZU09p%QndHsjH=SqZaNPtD4B z5d$7a7#y*9)%TDDg9hI?wD|Di!zV~AzG`rYfx=lG4x#D`5!EFIm!7bIg2dn{2D0+< zJv3PKn}>%mM0CW!1{5?6OOJ-dz~Zdi5>e0MopIwuilr27(fmd8}QgIp~@&iNDLM%@=TV^P+?#-3oWyO zL@^qI1rrub!5}fs@W2cwkzBaNU2*oIBz_O0?QV12j zQhNoFAA1D7BWiV(seFo42@7#qOAGrb&oWy#twKm(RH7=VI> z$p*u~RR&l96$8;Qc+xc}Y-p%241-XW0Y`Rx1yv}3FyWyr82;!LvSD+DXd(|EJq}dj zkP9STj7(I6=e_6>G*;7>$BPqlBq2vE+ZV#sU^&Fz zOL%kyjSdw8Br-e_N)4mPj3Y7-F3mF|Tb)_~0Dvzg03gAj6Worjb&*cmOr@D_+9?2e zz=;REriHZTXsK*4As(}a^c5nrw7N=Ih}_7cym+*_IIAflJ2jb&!-&C)dgIZugki}m zHRBXQ%{Y!;Nd)KeywuibpoOj~aiGR^+VRJ2A`kM({wXJl8JhQ=a%M;W#%M~4qWyeI zh2lN#YS7pI`}57Mq`5b&i=z@1SwL6&lvJ#q*-C4%1!`NGyahg7#*ePt_;t}eUU}^{ zp(UzbFcD@L>8bB!qrK18OWNAEhg2iDuU_5J>_ImU?u|6(8*c5%AAS9f+LzsPkJ!I* z%ky+Tukq#iKezw?n^J^DMCB1ua1h|kSGB!(&uq2RNa!*b!SMkOZ@814=;r3RXjSQg z)N+*jszkqN!Qy+t`5@d9(St61sXY4w;0wc(JQ&XKCrcPaR4^fhxOHT7sN>rRyVp7S z?J#o*M4ww+#A@fW;}pd=E%o`We&iG44;!er36c*|_cKo+e3nQ>E|QUr zbfnJ;U<)!%k|{EzBn_D`K&W6M2^!Se8(){cCt~k(=-VOsMA$$pW^j9^Y|xe9<~j?0 z@_JFEqXkV@zl+@LlD+h$PAvJ$|Je|YQ;L@eKN&smIM})t*VLrUu`(N;kevpZIJgwTKG8Z*sM7r^sSd z;p#Z3#&ul`eF`VNxw*8mjid8p-z)hWA>PQ*NSZ*_Yc${ZmQbrF3v>x zFn!^BUR;2e!RGmHgUvHl2v3;82(7T1bbDb9Zy0h9=5SOn`(Y7}773`N+Ih!p)^q=Q{xJkW51P=0HuRwpooGcbn$eAR^rImi=|Yd;C~7{lnVlkxBuJXm zo%ZynL5=7~fbkMT2*e{2acV>a0url6wW?X|>Qp~s)vZ4DtZOZ6Sljy5w2t+ycdct* z^BUK`?scw#J#1kk``E@VHnD@9Y-T@O)`&oXFpR=y9s8Lmk1#c~l`U;&N4weJo;JCu zEpBs&-lqro^pw69OEjtILjNpa+J#) z;j;x`4&503)+VC1pCZ-eP^0;Co&&w-LErgEhn{q#FJ0(aLcuXUu4g zGpw6*>rL$XV6*SAtb4yB z_v-$4ZMJnltk~CMWWOkP(uZ&Ec$YmiZFm0Bdba%O*X;Ul zkN*B;cGjK2Z~yx{UVJ)BUMP5-+fCWV`v59o5HEtLX{=5twxqACDChtM(3=QQeGIUo z{0b4^Zif6%m#nVn%EzR5E_HqLe49uMR+>8@sqo&M^x63C8r5U^55Z@j7w z5$_JwCg?1W57oyHe@GD9Dq$=Tj54qTKT7i+%k$bwYXt9@BoPuRQ4T{7H7YR^hyG9x zIdKzd=@Rdz0A~RPmEzC%FDR-`glOjmnP~|VMv(3fdo0M9e6S*@WNw`AuRbZUk}wy| ziWYlu7QRQN%0n4CAsLl%8JV#eo$(nvVHBES70vJSUT^&DkMn*H8?Q0*vXL8W4;*#R z8?SME*pMi+Eys>eBKfANqIMC1PzkL15jm{LqBQ6x5oq^x(k9!eCw~#A{@kaCaFHXP zP(1PnOgcd(s|F0kumsDHDyNbKs}d`(QiHP4D!URMzfxIN?_R5U~~@-T+SNXOp#lF!a!B~0vA|>Z1CV&o)rxYb5S3*Le4Y`7!_e)m1IZtF{JYoSil7E z;14?F6b?3IgCtp>;1V**CW#|9qhdClauF4RG5)mX4I}^!P{mX*paak#2zK)jOyEge z^a|vpPV#kgH8ZCk{Xa|Z;p#@B3 zPfr5_r1KOSz!UZ~HUJnR;8rn8qgIoHMJA#z!hkn<DH(GT_ z&!%p7147<*TS-J=hV&BtfJcCUAP%@l^oDUOr82UBH}ir4JfVUM0!2Xz7A}{^cFYV^ z7eMZV2i6rz&0tYV08s9AJ>o+dtU?0fgA&MsKf1*}uHs9k!ai{@w%Rmo6T>+z#1S5X zM=S(der1AZp@!22hjG}90ft48Ll!0@3r^S+cq5HrAym&e4Dv>R_f!JP=0^S&NivmT z3HWV!vtiXZbSUsjWS}f;U>#5jG`E zSEDj4MM*fqLLMV;bfYw?NJZwhWE#S4OXCoZ#5hE_0d!M0MFU0YWo}QwMHs*^BE=&9 zHfa$;A{OJ2A;m&e6ob`f0I)fmwRxMfSpWzih`~ZV$f5)!pqwQDE0j1&B_MQbqKa!G zYCgAhS;%&$ViRHj_u$4t(115}1!4d|H-VWTqy$QKV~0KBM7TCG&KNTSQbouXm>Xa+ z9)jXnq?yAse1RlI!_-w~!EH5_H^Q@&K}AYju$lPa0cJo3WFVziTBTX~rCmCvTY9Ep zdIlx{2?+I}pr}`^Moj)uBypEnBJ^TznIuIQd53qyk52?<9{3QRAZ|b8T6tJg86qHG zqnCeV7Dxkq3%Ef5STYFs6)xdgZ9p%E6*gu;Y{^DbS%i!`1WG0vA)Y!iennH!H$NR< z1V$hR_IdNP;f3baT$086R2SQ=Gsk^$Z`?|3^yM- zSi6%%Zo?Edi6o&Ii@tZgHJGeU}*`2u@d><>LtO1D&S z88cp?1Eh0f37EG(`63V^#QR%#{a1Q1#$bw8ti^OV8^Q)|AdugiM>AwNA7XA_0aq-d zSyuZIl*G#aA~844U9#Ci4#93bWd4;0WhGp6CKfcb3*?DIbEd$zIs0~zyk>4R5k^| zdGkjkfCb)wHy!j97QKe?Wzt#TA}oD3A!0%oVp6+_NzqfsqOlp;^G&As3d~?YYPS>A z^D5pXK5OC*++$rw0V|}@cAH@o=wgd=mnZ3{(BI&Mk+WWmh0#%g*Q;bag=JNEQ&fIb zY#l)s5cJat=2XIz1w4jKXC*NlG}n={J3%Ekag{_$ebaNr0|FEkSRge9l!=nkGE$G; z@|?SCB6Qz^CU~F(+T`Qg#Axv9i6Ejk(Pk8>Bz-b=?XY3CZ<9dreLiM zQ02KM=S9Wh=_UP+zHNvkX6y#$4HF{DM(N82;(UJR*`DZso@?@j=x3=U#}5^jGS34u zJq|~4hGub$W)*AEBM@JYsO6~SQIu`*ZxElbZbx$-2&n?nlpcSBkkTm0kRw_TbbPQQ zSnzW?B7e6}kId#IXevv!MQ!-Y9lD z$ezmQcHq&Ke!rWBU*{?i%Y z%Kg$RmPph>3o9<^(D2HiKm|^AA~29R&hd`D>Y>6uck*pcs&fG1)u~yiU`&}2iAs4fy@m=R{8AE{FM0$C)+GvIh6Uh0k3PNn_3C$jjVXD! zTawXzcUSp5WW>oKeRoae6-&d-2?M<8`@ffrwW#~rnu zW|)CD-AXB4#$Q~kAxPCJXiXPUYS9U&5>}^723cQ*1qNY`I_}70VU0T9sQ z+NR8e08Yi^lpa2}p`9@qD&LzUYF8bRN*;%4r^gL=%CV_Z7+!F$Nu}3#H&%*ny6PHM z)JdTR3Mh41g@;;Yy^V@3cmZy!(tV2JHI&I!gi5q+8++&JdzkR;D)ST~00i8{W6F!!-8^W@bmi z)N>{$oDtzCEy>XtYe)jYfGwn1q&bW3(w6=$yBuw3@heiIVB{#5DR71EgWS#X#wl-o z##BbrONa*LE_#KHXvR^J>5Sx=)d@s~EomGJgVL^O8Eji)fs4d8xVq?sj(5-r6cjnQ zsc2boSrPo2?I?&ZuDEJS@8TBA&UM5z#%@AL5@UD())5i@jY^v%A)0qMp}iSI-ylgs`TDM71AhhrsN(F~u160(I6c!d&?s;HR~`rqZ3OF>4{81fkYGR<)89?mjW$87#RNt07hnX?savDQ)tJ3}`?D!W1SkkC}mD z4pW)TTqZJ)`OIc2bD71IW;CHmO#WkPbDP+#CNr%GPG^R*n%RWrIEje@WuWnw>_pcq znkmk5axRHGT4s7E9EQHe$rq#L~`M?;Fzj-C{w3q>hN3u7LI%9K(SEontn>QRxp z)TAs8DMx?GQ=8%xr$8mDO;$S7q$+hWuv@BAp9Pifyc8AIm<*{z7)Ll&vhf0BhOIYId_Zk}PLG3);~B#IvF;t!Xz)+S96b zwT;CrYhMf7#-=v5w5@GiXKUN^Fe3s35WoO>`&-`vceuhWZg7uFT;v)zxx}qPZl4cf5ZkFOPP+iSMd+z3lC-9d=;e_)0gvg_%PW zuse(E=C>C6?XQ0S%U=NdH^2lQuz@ciUiyxAz6$=!ZaINnR@6em6rQk!D~#a_YdFIk z-tdIq+u#Li9v6BZ;WH_f|$m+WiXF#Vqg49 zconrEvXP67+{In8WdvzyZ_VJUx^wlkh{P;6{wR?MQqeD-jk`+Qw5+xfL&rg4z9EHOIv8oD&rTe_=QbcQS6ECq7}^`wy|r1?3^5$zpF0urmw37 z0000G*X}m8v+U?!1ADx!D8Uh~Ac0@}q6B6@_b<#)f-4+>2j`YRGj_r5BOKu-lg@6X zsf}v>dZ7LV4QN5C55DSE_*&ed4Yp;=T@xO(Vi%OCNeNof?q;;Y-p#l;4+>#%X4hoY z`7QNzSIyl$0|EeP5JCe!v1=sP;>8R{mtYjo&V>qQ zZ~^Ng+TXRVaCRF2014oI>InC6grl5buZtG!lofj`$li)VNT3jA5PI6pPKk?CBHgow zfG7xj^8TVcyF^X{%N3!BY~w-8CFgI~1&`YCD&r0{>4ZA(V1`0;VidE7DC?VX2X#{7 z3jStzc8N_5;A*FN>(|AA2kvh0th3qL*9|x7KYQ~*qc_oEAQWzu$0%_uIl*UiF^qZ|3W6z08%~^uM|8Y48VH;Wt@x zzzNi41himl%%^_zr+=B}U4V9daTa(2$XU_%T1Bu3i-BIcaDAGWUDaoP`8Q+_NPgXw zet{N%7RXry2w6)o2#axO|AulY2yj9sf|&P#{TE=wM_|s!g5XD9Ob~-L76A~(XbfnB z4G4i0HeeHoeG=w^# zS!uXhl2{nDrh|z1h1*qT`2>hP?=Z0H=!U2ZcJAeuU_L zFh-1hI9-2e7?g-&*r$DC*nYK!WGkkE*Z7F!Ws8GB2P!}agwO|l;EwQU2ZLY-@mP=W zh>v}6kM78i^5~B9c#rhhj`(ZbgfRyy0Fg5QkrDa+b`&X*6IqcL ziIEnWkrauM5($zR$p#9EjnI{jBx#Pum{`b&k|e2;h^37!sgSg&S|=%!pZJo8HHtTR zjX6nJHp!D`=#zuRl0o^2G6KA=m17x%VA)qxX_oM}m8JERYgu!%g$!J9PIYNec8QmFsh4?amt(LD=h2mL ziF&hz2pRAJhKZPmshEk$n2YI{jR~2LDVdQ;nUiUmm5G^)nE{Rfn1Fa5d5{NsAey5| znx$!)r-_=WshX?Fnyu-Yuc?~1Aeam?TS;J;#Pk7*shftmo4NkUo4@Is!P%R`37o_! zoW+Tp$Elpg$(*|8|0$pWN}vF0p#N!@(McO> zxfqy01+Xv+uK)|OAfd8g5D_||7h0hjnxU_Np%&_)8ycb=`k@>Oq9r<_Cn};S%Azak zq9ppFDhi_=N=WdD9<|Avcwh>#;0in1qde-PK?->ZzRys+=mSpE|0cN~))7s;OG4tBR_ciV8Ifr?i2i8t?&da50Mn zF0X>Cx@t=*;j6j2tHH`MsW7Dp+L=y61ufx4ivlat;jGOHt;{N|&pNHqO0Cywt=U?w zZW^oTA)kmD2l?|v+@loZYOd6SuH~ApakQ@9!>;NIukR|a4NJM`>O$4M7PqdxFM$+kOxJw{z(x#Jkv9=5=*fcYq1%NDve4^Z~&P3 zsu)EGX2XUdX7+bMF>$5@I zvqMW6vQV!Ix)@kW7?XM#_fj_90kv!qwSI(2PCK<#`?ON4wNz`hlT#8iakH{o7`FMG z;i@PER55T-r%a)?ZJV}li?(sgws1SQa(h5_Tc@WmrH6U13mU1o@gsD>DU>m|LJPD+ zYq*JvxQlxbr(m;T3sYl@m=8-92WznZO0b!0xdqF)c678>dKhBapuE8?Z~`aL!nRGM zx&*Yksmr>r>$628D8zU524=L^2(o4)9Kr|av! z?F+wt>b?uHG`-6pw!tGqp}dkir>&GYi+i{MthfRUz^~A#2@1M~!Jvw9NF9>31Ps9g zEWrRgz!AC-kGmcYlE0nsX(LG(myic|pa-uY48tG{z#t5`Fu@T_!7a?fzfrG`iW{4d z3h2QLm|()fAPm_-D23ZYD-6Ug9K-^Q6x_NaJ+Z+oxNH#>3=mZc%Fqif0R@hrJJUik zj&unWkp)oj1W$VpGAjJxul_GM4p~4W61sKo) zS)dT6u*SHft9a|0XA?5c<{=wa0tfyFmQnf7=RTT@di-<1q{Ff zhKvca>_1r30MUF1S-=2L&@3hp1daf#;FB!Jd`AcKsta<&4+6>@Ok+Gi$|83Js$3I| z*9)hB0dLR%S&R{mfc^)EP!ON+2@HJ+#?jCy5zUt{3wR&_cmN9+a0tr*3wL}F674D# z4GV>=5De|mDb3IX5zUUE5Mh7;Fiph@5zP;Q2N}K6$ilso!pwt#3j*;85?~N~qRp^C z#SqQVp1=?-?Fh4Q2pE9VE8V;pz|OFM)Mr7(@O;x|@d$YE)Cj=<*@4w)K+G6%)2HAF z9)Jdjj0z^53V7fNIgJXJ0M-hj)Oaw_En(LVeGt*SN1F<^M|>MP63QbM(E0{)%^-0l zzym(F3(Zgnj{SI#9dBlLZ;YqU1bqo(Z39oB5N}}B(~JZiU<0}g)7cyZHgMJ~5YD@t z1ror{9vvAB{_xZ`5Y8BY2B&Zd&#cRyV92Ln11$grEI`b7&;S@v$ zkKGKB2iYndq0dak7Cha}%>ug2(LrF<7;xRwt=g>ZAy&;NslWi2Fc28f+a0jlQjH2` zUEDUH5DX9%sDRrUeaoyp3+fyMc#z=43=0f^0W*!^ETG{}pxgou3va*x6%Gq04!x-0 zOAzwOhRx40=Fgqr&+FC4PKD6e1C7}Oz1ge0+BZJdr@#VPkR9yY++_{R z2aOBPZPqEy%dpS@pJBj?*|#_$c9;!urrd1ywsw(TtbI2b~>Zp6iFu(QokOz}^7XF6+o{+piu3pbhO{KFn_*p};O6 z0)fHmp~3siWB%N6zW{q3XA?jt0qZU45^x1$~w2o3=rr~&;V#K3kY4~RQ&$S zsBq`Y-s}<(&QP$aSls{<>d_%_&fmP^9RL8sjNJtR3yxgtLcrP+Kiw4Z2S{Mt9dHU! zed8t2(bSF#jvxWEFxCPw@pv?)0-*B*AOHmLTR%StKbP;0o^~Z*3>LQw^=@wi48hPRBPiJ*F1PiNH1~Bm;#d+w`6C^O90A(QS)T~3Fh-yW}aTcn&{)uvg;@j8nU%-I{ z3;A-;@L|M>6)$eKq7!4tktI*2T-owv%$X~fP}c011Re(^P-=GNO0yCK@9=098uhN! zh7%r4=q8IuSeO`GGJyt`&qGyzL$LwNM3z^tY(ObG>r|E&S7FV$d zD_UZwAil$(1MQx`;M4n1!4A~lg7_2zM|@%+O$iuipn)G@ z34(zR8u0Cu7D!FWCk$Ay0jWb+=+6-bKAm+IM;h?*K3G^F^~|6e;7BR|0L?ICbVrQ42_aS3srDjTtb@V4GdnD0F6_EMG2_) z(i)2a8zg`wSY%JV@2xCntm_h@gzD8;k^dl!O-pA%Bu+mS`=T($lu76@Nh3`tQpoV^d1XlSO+O<-MVTmfJx1s_G7Pn@Zt|v>U>-y}Tv|j0zOMZ(RCg+e2?1gHyx(h-%R4^gXn~;6#xLJQvv`aDyVtMlqP<9 z>Z{MQ5D5e=$TD-aKZqhTdSMeU$AN!K#{R5P@o)UQKw5uDy!X!3Nqn9nR{)K=s`v3m7odE2^_P{JGD6 zcTryj&6h#`nGbX&JVk!Ub~^tMu6-9=Ae-Kjh#pMOc#N@-1eOOH(Eu?r(z9L>jd;W& zVy!M&8xky1aSA-(L52J=A4g=^KTE}sgyu`z>82HwRABILy#rwR=r_J;4NwEu8Uqq7 zgNrGGWPuCZ;w#AGn+xJki)VyI7P0`sESzFmUkphYo47zd&Z2$tQ{Y=xm_{}|vXB`3 zUm;(yGaUl$X+(5mCq4N|#>62B{-cCME^uMWT$~VpO*CEb7D>VtPO*$+j3fXXSVIxU zZ-xPMB^tX!Lc_7KKz7=u?*>Hq>SL1;emiX6eFH2I0fS`u=h zo|7a(Q5d`i=2382o1yS@Sf@=AZJs;jDfN=@0RiQ~m(#qWD(5Fa0M2rnS%YL#2YOOV z@lt{L6X^^kI!rkoUCG*oP@CnH=2i8y02N%63WQ`LIlubM|EUy`47H#APDj_Z1~87Bo9Zh0sL)>0 z(tNOh)ASm#0^}xFxyxm4bDg^a8i+`-)1|Iv7%QMPG}Cc+#VvorYC@{&woR!B9<{~^ zO&E@orl93zEz3y2H0(*MTup)#LpIQrEOdo(Wou~3xZ817mA&H3-)+-d*R>L^y!+*1 zLor!h2uE1Ldb<8@2Bf%0&Qf!s?qljm%eml>#o=QmonkX4KqtYjS9B+)&gmcAWMs!MGsP^ZfAq@kUqQw1noGRjY*2NtMr z1t++Yf)KBf)EzMxM8v;cQ`1ab{YIZgo$O zSS|fDE#jzlbgTz;Z=>frR}>FvkzqzfGu2At-i0yJ4y7!3Klflm2V2-Yg)$yIElZ|m zP=ENftN!}B>uC`e(!<}JCZ<1|%fcNlaeA8Xp1K;~Wo8MgLL+?2va&B`(&>RthDEiECzI3DOJm^1*?D=E-;;QxzUe%c#+^;H{ps}(*6ciyh?Q~{W5IJyt-WQgZC4Z z{(-ti#5Wf4i3e(99iMo}KVI^YU*iW9KY7ekKJ%N`Jme8CAj^l|>{+$ws8{RRwo_Bj z^o!$%1w-fo`ORN`^pijR>py?{*Ux_V!~gu~mw)~1 z?|%Hp-~IPTe-5M&d;knU$hZXSQ@#Q`zUE87#ycDaR6ql4KnBdd1q?k2tiWrTJ_>X| z4Rk){bA%S_ljL}XSO`H=kcC$;!B;5393?3n0xPV-EZjmZ z>_RZ)LNWZpF|ZjWdqO_%`5M`HfeMsX}hb40~w z)RSJ&19ogjcYH^9j7NE#M|!MBd%Q<{%tw2~gmdgiQY1&pcm#X0JmM=zf;`B9Oh|)N zNQ7KShipiQWJrm8$ccOSsg_xpd3EluNt}%)JCmQ?Sdw%uB)K%l^ak%fW2S#WYOBe9X6u z%4>0jv&>B3`^G$pN)6C}q>vrTaSpWMGThjlJ?k5hh#kB+P1aNj*W?M)q@34OP1Kyt z)s)TFq)pv~P2Nn+*aXg3u*?rwO3ge@mrF~?Sj%e(1m{3GqS__$J{q z!p`l~&g%T7>;%v56wmLZmhG$y&m>FaT+e*dNjZs1%Tt8kp(eHxucd;u`&_SF(@)UB z&x7*M{j8+`ZJ+_=GyJp*;>1k$Tu@;IKRMyaYe9q(6EEMgJ^P|P@!GQt&94o$ACdCV znYuU(Wh)IOQ4WP9%T!7RT~R_)PR4-H4@e4;;4cl^{(nC38>BfX@tY&h1Q}?xLi)3N1GiA$e1_cf-;x)lwAW(l7PWsrsBS zB~##WQsZozU7!;-Z6`NvQ#gH7IgL{`MH(e-N*7%W=8RDyB^)b@yJ%}PYWp+w8nDqC z)OFiXL^aed`z)9s&a!kGGkA!fX(u+lR7=g&O5IdUadoh1PBUwbcwl0pd$jrumuafhS>2S3^_`W=J*F z3%M2Yk16vXvg)isy)jk`F-5Cahr3sP)mNN>RCaQwra@PAHOJ0?6v|K+!+;GMXog1M zfzx;w9#{s!A(;+f0Y{M6@d*|2!UK1mEJJ#O=`aC@ks?#eqqH&sDfK&zGo++I1smAd zxf{45Yb}m&QeQ1soO&lvJy>&W1%;T6$(S0$Xob|!kXBfY3NZ*%8w;H{gdhMJ+T#d` z*&ir)0t3S=GFpqbU=p0j0suf+u8py__^?KDrRwM-Qy94kt6HF<78g zMrG)PLNJ3}umv-SlwU{)a=8K?=!E`BxdXqwh=eE*N-zWL@rRKNo$KmwATg|zsDEO-MbxQ$O>0TYm-Pe2QRG2Oc`T~jat7LX#N5DHj;0+#(; zw5S`r$bu&@6Of^smiQx7$O1fg0x1#$w0MJkk$@n0j!%FI;WZOHcmwhf1K%PrUbVbP zZJKsE*PqSXWwekxpacoH0;Da3&!7Yi*@Z&50-+g=$c>Ptl?aMxg(GkXN9x{dAV z58%KOq#%~O!2mQ60%pltMq;qxJRG|18M_TuCWb~Q#*iqMfD$<6DZXL^u@KpqR00l- zT{wbM4&W?aWdjZhr^4q6P{QY3;>CjNQtjCpF@zA25=Qu zX^NAepR=tBGlm7O{@@5lFj)-n5>()dBf$x)K!qT9f+$c4m>ILSK>-aA00AHX0T_S* znCE(?XM4_PeBS4K?q_=*fB--O@(pECb{+NSjd$q;9)M^GP=-jk z0*H`^D~J?>ZU(}Mj|6@N>Off+G31x z?4s}lW+vTO87~1M&QA7|@x9w6zUp8kmkJ5Q0%--E+J#*>#DkFSUl0hx=SH;_zk+I0E3kYYgxJpx_#l z)mY=;2o`97+r5vOy$ia|4nKm06GnrXy$%y#0Q8>k=jb33yNe_K)g(p?*rw+p-xY16@?8Qq#GQk~slq7P5; z))D>+wUHa#skXM7+o$PTnC z3!rp8c>#@-P&d7Ja<)1OH_(SD)uTWYJZwv=v0o^ z)Q;y=O*Mly_;-NkcDB?VH=#9*^DQ&IS*WrgCYLmny0aCMBz!ficaPg2B{4P$aFYLd z%Gh>2fodqV(qwPehOhDxP4qu|v`(F!dFd$ojTwm>Z@*jjt^485-Jd!P?{J8@D)z%cxB)PsY1 zry`u)(<~58`ay>?LWTKdv!yH#iuC+)&F_28f6!gus2k-`a?iK~qq{60RB;1-%<5jW zxA=cL`f=~H{PG*0uYKG9`}b_T90*J6-%20o%Iv4g?dSd;=>F>uf9nUm49I-w&-UBb z3>a-J0SS=LY=8KFfBAQR`j7wmpMU$$fBfJ7`|p4K_kV!Upy7i+f&&X8JgCqhL4p|w zx@snIBE^apFJjE7aU;i$9zTK%DRLyqk|s~0OsR4uON$qlr0ntG!^4_1{%_jMiF2pU zo;-j0>=_g&(V-7D7h0slSp@tiBxLbxD zf*7KRS$((>GGio>qKYfB*rJOs!Wg5BGtyY2jWbeV%7{DixKW83jp0xRLlRk}kw+q# zq>@WA*`$+CLb>EjJyKbvL_cPPLtFzj)Fqc+&IG2HVUjtfnPQ?@W}0WJ*(RHBt_dbm z8t7=Hog!k1(F;7el|i3><^(8Cf-)7Tp@SY;D58rh+9*wgKI&6McT&n>o)_Uz6C8&G z;)o)ge%dLhoH{b9sDXr9DypQKs%omO!n*3IugdBwtF^{TtFE{1Ix7k_)mf>q6<%r) z3JwJ_3oNJ1!YnMayn>3d&Puzivei;M?X}v%g6+1}cFX>)x8Z_2uDRl(TW-49s@v`> z#||{3#L9#zb+^kjQ+nzY?2H#FL z@4EXwJMhu|{yOo(8=t$*{KA_7)TcxLUh4Q>J$CDRXWeot$V0w8+>Lv0J=5WT4LZcDg`87NJ!QU-4vV#5h!Z3z1oFNT6 z&^Ec-+7u35!WCv66C&ER%pnpfLBt^hk}L`y4R07|z$K2CFa{(}fv~_s z3uL!J#)0e<7?>soN`L`JU~G=cLAv(hKbG|IkM!K)6`IkC5_m)c7HNe9 zcpwpF=(HI}kU%T^1j*uQu3JF}f+HGmvoJJ(1txH+4YJU!Ft7j*EP#b0rrCiYbjt+O z1S={!a0pnyjF_(w0|r>oO;mJstgnzLTUl_>We$@8un0n18Gr_ZNZ}2Wc!LB^@e0_!!nT{drbIDd3RrvsnTL?T zSsh^lSjgfH7=Q&7$Z7u0Q|OkJ%5A`IFM-VEU2kS4btyb4TiHsLfCoG%!5w%Y0ZKIE z3MDAP5ris%Bk**-o0V?~uK0`idX}>Y{^w@Ru#3-zHlUIFS;9^MTf*3&1$ez#14M^` zOPF`V$lTf~8h}tJu)qcyJ%r5`dI%_B016^yfG0-0$={+C4`>JiGGXhoPv9X7iG>9c z658Eaoc9%3i0z19p;xupv5m)afCIQthBC0B3v9r$mbtv;EPuJnVD>VZPcTcW)bhQR zA}VNW+Sx+*RH%1o#$|)bgH{}2&Y;~zo^7hr65!W`n4JiOMVkRduqxn~b zH(KWf0z$zG>HdZC49VT?u2nbMQAbGN5-8sEInN8S=CS|^Z)m_LWBUq&+5ie@*lu@G z5e34Y7ZzgZ0FrIS00lnrhc0`U1{{!pB~)P!S_U(-o4ssjvmx5g*76CU;9fP`DX5{f zX@MoM-=5N$+Y&Lu9ZJwoGnir9plwDWdOGJpOQg^g_`u2<>r9t56&GlQ1q*^;UQ?jL zyfZT|G4YBE47_1qsYUp*x(f@lhO45w-YzUKVNrz7Y@^+TEiO(GVjrUd3PDg78ae4^hAY@YpZ2_LgVSx#{FZy4n{7rX zj&SFt{x?J38bCw^i)XzoSX7Y~)+=9OECI$&bCZyM#Tys^g(0sx2sdB=Cb)@#4k(rd zH)|`5!CLmS$F`d_4g!iBP^#F%;_g5&0W!02(C(gsxOm?rtNGP<@x^S3qw^ad&x{d$ z(#EE(IJ(d|l4hM-iRauNMG0ur=h6=v-B;-EFC<_LGxV3IbjB|wXaMi1Pb9+hE?#5t z4GIRbn5$X11Rged3QrW1S=fBVCD3qIW<3H8#b;%y4snP}G%m>4%?E($R7lTnmoPn01fzd#P zjWf+m+LY9dO-|Yfj5GfX{1O}W zUfd`T(O9B!%^`L{Q|sW(&H&9DqM;m7V%q$SBSjw2jA1)15d65(ORa?eq1paCDdH?z zgoL@yB!7FU5#*tg&zKY{mf}hQ4-FQN!<-^YmCqX5jU3TT1aZzPvQqQ7qDsV6G)g1% z6u}~-#0wn70ksY=Dcap6RWNo9MyV3`Ae9`wOu^)!&K>M}lNXisVQJU;)@dK0?nD3_?m2jz9%t>x7NlR1)r(BTA{GFp?1dfuZuC(;32~ zBSl#!7GwV1L_MP9QCbBPtRzaT4$Xwq=OCjmvLW46Bt~N7z6>NqD*lZ+rQ%7kvR=A2+n zK>B6`735<=Q8Q)_Ij)jG-e&JzOcW{S+B~E|hD{qeBTX13af;_hDCJ_h(ij9ndL{xQ zBtjspXM4gYdjk1(Tv_nf7RqKFXSoshjGAlZxqB zIBAatLzn7lMuezI@WK$7>5{T3mhMDaq$r^VX`&wLnYJmJs%fLXX`3GEqfY9aN~)5c z01D{Ao^q;}E@et6gE5HesFG@_n(C>dYO1R0sa0#gpVI2Bo{o{? z>aLp3m-6bbMvbik>#$Nvc@pcfQi`x5>#~lBt}^ShHfw4^>$G-=vQq1{LWr?q>$XOS zwQ}pX4v4dY>$nn#uafJz28g$cM9qj!ySnSU!fU+B>%7uyz1r)&;%mO@E505Bx^9uS zn#3pgD322Cj~48~8f?NM?7}K+!!oP}Y^uKskh*>ZHu6cLT&bfZ>Bd3|$6~C^7(yiUj0^atm-sUae`t9HX?%xV-;S%oQ zD(>DgZs0bq;qI-U0Ie{bZLWT5&pL!7*rm0!Oc`?S&3JC;GS(1|?&p$j=a#PMqVDQ~ zZtA)&>z;1w!mjDkE-IWT@A{^1W{T4J zvQ1iKulAOVFVt^ItfmaEPfx}qRsPnd|1Kmm3h-_cFaT3x0f+Aa<6i$L zundb54!`g^rG?o}aF6W56@f5EaA7l;0S|bv1pFLMnSoCA4M4IZiAf?QB_kDAuNhTw zC}lAgU$NfsFBgBY7l)G=8xtAdqU+d%4{wAr&`=w@u^W%V4>yN0{K7tM-bCn=L=?gm zC-EsZz|qfK5idSx;TPEaLd zGD31PB~w@ey~0YWbXL^GF+9f;1>!R! z=L`HI)e^xblqJtkPUJ!2<|u<@L}xM|4wOSbR0Gv!B}33!oN`7)VJxzES7e6*Z}t34|poWI-0N({-W3Ubht<{54Jzc0*U zC|MQ+&l~>rz?`#3q_b44^HuLgR-;>IwE`tbKpmGr5PvnE0hk8nS8C%_2^0dJ6#@t! zL4lzgZK!oXLDMY2*!6S^%0V<_5(ZxphA9N*Hvgrx_|;&n-z%JxCm}&|*UUo6f{P7C z768EfRcF!sT5iYn<3toky+QHO4jN8OwDd4l541YVB4_)?1&^CVbV3|c!ZG&~2FABU z+yQOe!3O^0w;7DWJSVdm%rgk1TY=j)PSXUUea#bW7aqJp7C?a*yn-pPKvuolV2vMO zNLd&Hbc-a7?NdPPTn$6&W1hg8RkDm!dx(!^HUV)nPN!$~d z82*-T)F0HfH2Ic|bNV6h)iOyyq;op%P!Lmi`9)-QRBX1GuSdD{S4GGdf@i=8d-!%C z!B%k>IX$;tlT+YrR|nh{voQE3p#pMU0<9stj|mrAArz9)H8%Yk)^&?1=v8+$)h3ZU za?8yjAXBQLm3GybvTzqHI8}-(i*^wivR^{{!MVy|&0ranyw5qiE6doeQ;goaMTB&i z^SXe9f&mx+1wdk&)7m+m!eEt?$~6E3G=KyklSBC|1}ZUb9qG$E#fNbr;aT{sKY) zy^jrzKtTKm#J~*9fDFh$)^EMmbNviV021U}!(&G>gu>aQecG%2+NXUgq=3YKKo2p? zZi`g2ARflg`MwpOS+xw&Q~O@=7516@vg|yKp%o)76dvG$cFTeg*nqw*6D~CUb|Lq4 z!(0$-Ro*MhU^E_)k^3wxnJ0Xb$@zAQq1Cc?Q#m1l&1)3;QJm8o%tKHB1w?`>usz!g zK_Ke-dXv3=q|DSY4H8s5vphGE1wr(6z$Ku94cI_LVa?0rIrm8b<@-6-#2Q7ZSXZF| zDo_^^AybVZ_L8NXMxDVaWC6}AH;-xVpldGk&q4=CI9t6!hn?Lf4cXED*Yzx1J6Pp? z@y~g+0|Wz4crd&|MG)4jQ>b8}(xBnPhhNPoR1>a81C1 z#o{d<7I7OMa?9e)Pc&GI&VB1>mZP6Wf2L~q>Q&AR8YY^|_;FW>5_c%_C~>6qYmy;r z*0y~ccW&LgdH1f3Bd3NyvrrkVN*ru*!%__=Y{)QGQ@*HBnZo|ia2ArULyebeI4%S(07u&H_YRTIuPpZ+uN6hcLo(Q+!Sq%Xess1*PJ z(5M*+04RYX2`LQ6cU{9*q-{$QBJM(ns;onl4BuJxhhBQ)Fpz$AyrzQZ$K9GGjrH zQd=!H*qU+8%#Sh*kRvaB~Lj8lRdvv zaZgze4e-10raKPCA%*nwzVr4Z?mqb_Jr7eq!E*FOLH!QEV?72R~zUH45oaoTA;Uyt+?I&F8AHpLX@wRBlQ7sb|6g(OAmNoEzI zuTovP{Z`N!HNBJ}QY)SD)C0c^Gq-cu-I(K!J&wuN4~ARRP);2NwqS~xtrxvL0anP- zfO~uyy_AF15n6i#1$IF6l0EcfKTj@r-~u5^^`tLW$cSk$oo*WHr=^ZsK?y|q80)OH z-r6E}bt?5}IL;bp6he)#9_ zwpr9y!bKYQ?!EsWa>{ppcx_*kPqE2KA>I=07j-Q-X0S_dJ@{VZA3tui5q5h~Kvj$` zI9>wZ00~$?bms_xJcC#J+sc&tbD_H5sXFP7D4NxIG&y}FVL(_>WI>6fB z%7lmt*|`vkQIz6uP{lh_p$J)hk`@DXWki($>}^iUTa&ERIeI|}VI92U`xG_Ad$Dd} z(%X|k{-(ky-Vu*^%F&SWA*U?mDp`q2R;sd0u2PinCVpK_wwLPZ+3oZn(yRfGMO1JZho_w^bDsygTv2x{Ve^6uoF303p$gO7x<7(CA1(O3{zvL8KtXXh%^> uQjD6^qApG8N;kSvk80GWCXHxGdD_yRa#W=!4XH~{8qq@p0-di42mm`yT{L0< literal 0 HcmV?d00001 diff --git a/docs/developer/compiler.html b/docs/developer/compiler.html deleted file mode 100644 index da99eb57e..000000000 --- a/docs/developer/compiler.html +++ /dev/null @@ -1,154 +0,0 @@ - - - - - - - -AJDT Project Proposal - - - - - -
~~AspectJ Compiler Design~~
-
Todo: add content. In the meantime, the following email post have -relevant content:
-
-
Description of ajc-1.1 inter-type declaration implementation:
- - http://dev.eclipse.org/mhonarc/lists/aspectj-dev/msg00430.html
-
- - - - \ No newline at end of file diff --git a/docs/developer/overview.html b/docs/developer/index.html similarity index 97% rename from docs/developer/overview.html rename to docs/developer/index.html index 48505700e..b01526817 100644 --- a/docs/developer/overview.html +++ b/docs/developer/index.html @@ -142,6 +142,13 @@
AspectJ Design Overview
+
Contents
+
+
Guide for Developers of the AspectJ Compiler and Weaver
+
Module Structure
+
Language Design
+
+
Here are some sobering words from David Parnas on "Ignorant Surgery" in his paper on Software Aging:

"Although it is essential to upgrade software to @@ -163,12 +170,6 @@ understands the modified product.
Software that has been repeatedly modified (maintained) in this way becomes very expensive to update. Changes take longer and are more likely to introduce new 'bugs'."
-
Contents
-
-
Module Structure
-
Compiler Design
-
Language Design
-
diff --git a/docs/developer/language.html b/docs/developer/language.html index dd746ba7e..e047dc87c 100644 --- a/docs/developer/language.html +++ b/docs/developer/language.html @@ -168,7 +168,7 @@ -
Key Language Design Properties (from Gregor)
+
Key Language Design Properties

(1) Orthogonal join point model - the different kinds of join points, the different primitive pointcuts, and the different kinds of advice can be used in any combination.
diff --git a/docs/developer/weaver.html b/docs/developer/weaver.html deleted file mode 100644 index 76a11aab1..000000000 --- a/docs/developer/weaver.html +++ /dev/null @@ -1,156 +0,0 @@ - - - - - - - -AJDT Project Proposal - - - - - -
AspectJ Compiler Design
-
Todo: add content. In the meantime, the following email post have -relevant content:
-
-
"What does the weaver take as input? How does it know where to - insert advice?"
- - http://dev.eclipse.org/mhonarc/lists/aspectj-dev/msg00519.html
-
-
- - - - \ No newline at end of file -- 2.39.5

	org.aspectj.ajdt.internal.compiler	weaver - org.aspectj.weaver.
aspect	ast.AspectDeclaration	CrosscuttingMembers
advice	ast.AdviceDeclaration	Advice + bcel.BcelShadowMunger
pointcut declaration	ast.PointcutDeclaration	ResolvedPointcutDefinition
declare error/warning	ast.DeclareDeclaration	Checker + patterns.DeclareErrorOrWarning
declare soft	ast.DeclareDeclaration + + problem.AjProblemReporter	Advice (w/ kind = Softener) + + patterns.DeclareSoft
declare parents	ast.DeclareDeclaration + + lookup.AjLookupEnvironment	patterns.DeclareParents + NewParentTypeMunger
inter-type decls	ast.InterTypeDeclaration + lookup.InterTypeBinding + + lookup.AjLookupEnvironment	New*TypeMunger + bcel.BcelTypeMunger
if pcd	ast.IfPseudoToken + ast.IfMethodDeclaration	patterns.IfPointcut
pcd	ast.PointcutDesignator	patterns.Pointcut hierarchy

Guide for Developers of the AspectJ Compiler and Weaver

Compiler front-end (org.aspectj.ajdt.core)

Top-level parse tree

PointcutDeclaration processing

AdviceDeclaration processing

+Overview of the main classes in org.aspectj.ajdt.core

Weaving back-end (weaver)

Runtime support library (runtime)

Mappings from AspectJ language to implementation

Tutorial: implementing a throw join point

Part 1: Adding the join point and corresponding pcd

Step 1. Synchronize with repository and run the existing test suite

Step 2. Write a proto test case

Step 3. Implement the new join point shadow kind

Step 4. Create this new kind of joinpoint for the throw bytecode

Step 5. Extend our proto-test to use a pointcut designator for matching

Step 6. Extend the PCD parser to handle this new primitive PCD

Step 7. Check that we're properly providing the +single thrown argument (and clean-up the test)

Part 2: Getting the signature of this new join point right

Step 1. Change the signature of the throw pcd

Part 2. Make a real test case

Step 3. Fix signature matching again

Step 4. Extend org.aspectj.lang.reflect to understand throw signatures

Step 5. Extend the test for automated coverage of reflection

Part 3: More serious testing

Step 1. Run the test suite again

Step 2. Fix the failing test case

Step 3. Extend test coverage to after advice

Step 4. Look at around advice on throw join points

Step 5. Prohibit around advice on this new join point kind

Step 6. Final preparations for a commit or patch

AspectJ Compiler Design

AspectJ Design Overview

Contents

Here are some sobering words from David Parnas on "Ignorant Surgery" in his paper on Software Aging:

"Although it is essential to upgrade software to @@ -163,12 +170,6 @@ understands the modified product. Software that has been repeatedly modified (maintained) in this way becomes very expensive to update. Changes take longer and are more likely to introduce new 'bugs'."

Contents

Key Language Design Properties (from Gregor)

Key Language Design Properties

AspectJ Compiler Design

"Although it is essential to upgrade software to @@ -163,12 +170,6 @@ understands the modified product.
Software that has been repeatedly modified (maintained) in this way becomes very expensive to update. Changes take longer and are more likely to introduce new 'bugs'."