From 548f9fd44f52144dde680cd699c49805c64fa65a Mon Sep 17 00:00:00 2001 From: metametamoon Date: Fri, 2 Oct 2026 18:40:24 +0300 Subject: [PATCH 1/4] Retype array adapters over Bitwuzla model values instead of casting uninterpreted indices --- .../solver/bitwuzla/KBitwuzlaExprConverter.kt | 145 ++++++++++++++++++ .../UninterpretedSortArrayModelTest.kt | 56 +++++++ 2 files changed, 201 insertions(+) create mode 100644 ksmt-bitwuzla/ksmt-bitwuzla-core/src/test/kotlin/io/ksmt/solver/bitwuzla/UninterpretedSortArrayModelTest.kt diff --git a/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaExprConverter.kt b/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaExprConverter.kt index 164ad78a8..f9425f560 100644 --- a/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaExprConverter.kt +++ b/ksmt-bitwuzla/ksmt-bitwuzla-core/src/main/kotlin/io/ksmt/solver/bitwuzla/KBitwuzlaExprConverter.kt @@ -15,6 +15,17 @@ import io.ksmt.expr.KConst import io.ksmt.expr.KEqExpr import io.ksmt.expr.KExpr import io.ksmt.expr.KFpRoundingMode +import io.ksmt.expr.KApp +import io.ksmt.expr.KArray2Lambda +import io.ksmt.expr.KArray2Store +import io.ksmt.expr.KArray3Lambda +import io.ksmt.expr.KArray3Store +import io.ksmt.expr.KArrayLambda +import io.ksmt.expr.KArrayLambdaBase +import io.ksmt.expr.KArrayNLambda +import io.ksmt.expr.KArrayNStore +import io.ksmt.expr.KArrayStore +import io.ksmt.expr.KArrayStoreBase import io.ksmt.expr.KInterpretedValue import io.ksmt.expr.KIteExpr import io.ksmt.expr.printer.ExpressionPrinter @@ -1186,6 +1197,11 @@ open class KBitwuzlaExprConverter( return@with expr.arg.uncheckedCast() } + val retypedArray = ArrayDomainRetyper(fromSort, toSort).retype(expr.arg) + if (retypedArray != null) { + return@with AdapterTermRewriter(ctx).apply(retypedArray).uncheckedCast() + } + val indices = toSort.domainSorts.map { mkFreshConst("i", it) } @@ -1216,6 +1232,135 @@ open class KBitwuzlaExprConverter( } } + private inner class ArrayDomainRetyper( + private val fromSort: KArraySortBase<*>, + private val toSort: KArraySortBase<*> + ) : KNonRecursiveTransformer(ctx) { + private val retypedIndices = hashMapOf, KDecl<*>>() + private var failed = false + + fun retype(array: KExpr<*>): KExpr<*>? { + val result = apply(array) + return if (failed || result.sort != toSort) null else result + } + + override fun exprTransformationRequired(expr: KExpr): Boolean = + expr !is KInterpretedValue && !expr.isAdapterTerm() + + private fun KExpr<*>.isAdapterTerm(): Boolean = + this is BoolToBv1AdapterExpr || + this is Bv1ToBoolAdapterExpr || + this is Bv32ToUninterpretedSortAdapterExpr || + this is ArrayAdapterExpr<*, *> + + override fun transformApp(expr: KApp): KExpr { + if (expr.sort == fromSort || expr.args.any { it.isRetypedIndex() }) failed = true + return expr + } + + override fun transform(expr: KEqExpr): KExpr = + transformExprAfterTransformed(expr, expr.lhs, expr.rhs) { lhs, rhs -> + retypedEquality(lhs, rhs) ?: retypedEquality(rhs, lhs) ?: run { + if (lhs.isRetypedIndex() || rhs.isRetypedIndex()) failed = true + ctx.mkEq(lhs, rhs) + } + } + + override fun , R : KSort> transform(expr: KArrayConst): KExpr = + if (expr.sort != fromSort) super.transform(expr) else retypedConstArray(expr) + + override fun transform(expr: KArrayStore): KExpr> = + if (expr.sort != fromSort) super.transform(expr) else retypedStore(expr) + + override fun transform( + expr: KArray2Store + ): KExpr> = + if (expr.sort != fromSort) super.transform(expr) else retypedStore(expr) + + override fun transform( + expr: KArray3Store + ): KExpr> = + if (expr.sort != fromSort) super.transform(expr) else retypedStore(expr) + + override fun transform(expr: KArrayNStore): KExpr> = + if (expr.sort != fromSort) super.transform(expr) else retypedStore(expr) + + override fun transform(expr: KArrayLambda): KExpr> = + if (expr.sort != fromSort) super.transform(expr) else retypedLambda(expr) + + override fun transform( + expr: KArray2Lambda + ): KExpr> = + if (expr.sort != fromSort) super.transform(expr) else retypedLambda(expr) + + override fun transform( + expr: KArray3Lambda + ): KExpr> = + if (expr.sort != fromSort) super.transform(expr) else retypedLambda(expr) + + override fun transform(expr: KArrayNLambda): KExpr> = + if (expr.sort != fromSort) super.transform(expr) else retypedLambda(expr) + + private fun retypedConstArray(expr: KArrayConst<*, *>): KExpr { + val array: KExpr = expr.uncheckedCast() + return transformExprAfterTransformed(array, expr.value) { value -> + val wellSortedValue: KExpr = value.convertToExpectedIfNeeded(toSort.range) + val arraySort: KArraySortBase = toSort.uncheckedCast() + ctx.mkArrayConst(arraySort, wellSortedValue).uncheckedCast() + }.uncheckedCast() + } + + private fun retypedStore(expr: KArrayStoreBase<*, *>): KExpr { + val store: KExpr = expr.uncheckedCast() + return transformExprAfterTransformed(store, expr.args) { args -> + val indices = args.subList(1, args.lastIndex) + if (indices.any { it !is KInterpretedValue<*> }) failed = true + val array: KExpr> = args.first().uncheckedCast() + with(ctx) { mkAnyArrayStore(array, indices, args.last()) }.uncheckedCast() + }.uncheckedCast() + } + + private fun retypedLambda(expr: KArrayLambdaBase<*, *>): KExpr { + val oldDecls = expr.indexVarDeclarations + if (oldDecls.size != toSort.domainSorts.size) failed = true + val newDecls = oldDecls.zip(toSort.domainSorts) { old, sort -> retypedIndexDecl(old, sort) } + + val lambda: KExpr = expr.uncheckedCast() + val body: KExpr = expr.body.uncheckedCast() + return transformExprAfterTransformed(lambda, body) { transformedBody -> + val wellSortedBody: KExpr = transformedBody.convertToExpectedIfNeeded(toSort.range) + with(ctx) { mkAnyArrayLambda(newDecls, wellSortedBody) }.uncheckedCast() + }.uncheckedCast() + } + + private fun retypedIndexDecl(old: KDecl<*>, sort: KSort): KDecl<*> = when { + old.sort == sort -> old + old.sort == ctx.bv32Sort && sort is KUninterpretedSort -> + retypedIndices.getOrPut(old) { ctx.mkFreshConstDecl(old.name, sort) } + else -> { + failed = true + old + } + } + + private fun retypedEquality(index: KExpr, other: KExpr): KExpr? { + val newIndex = retypedConst(index) ?: return null + val newOther: KExpr = when { + other is KBitVec32Value -> Bv32ToUninterpretedSortAdapterExpr(other, newIndex.sort) + else -> retypedConst(other) ?: return null + } + return ctx.mkEq(newIndex, newOther) + } + + private fun KExpr<*>.isRetypedIndex(): Boolean = this is KConst<*> && decl in retypedIndices + + private fun retypedConst(expr: KExpr<*>): KExpr? { + if (expr !is KConst<*>) return null + val newDecl = retypedIndices[expr.decl] ?: return null + return ctx.mkConstApp(newDecl).uncheckedCast() + } + } + inline fun BitwuzlaTerm.convertBv( op: (KExpr, KExpr) -> KExpr ) = convert { a0: KExpr, a1: KExpr -> diff --git a/ksmt-bitwuzla/ksmt-bitwuzla-core/src/test/kotlin/io/ksmt/solver/bitwuzla/UninterpretedSortArrayModelTest.kt b/ksmt-bitwuzla/ksmt-bitwuzla-core/src/test/kotlin/io/ksmt/solver/bitwuzla/UninterpretedSortArrayModelTest.kt new file mode 100644 index 000000000..4fe58dd7d --- /dev/null +++ b/ksmt-bitwuzla/ksmt-bitwuzla-core/src/test/kotlin/io/ksmt/solver/bitwuzla/UninterpretedSortArrayModelTest.kt @@ -0,0 +1,56 @@ +package io.ksmt.solver.bitwuzla + +import io.ksmt.KContext +import io.ksmt.solver.KSolverStatus +import kotlin.test.Test +import kotlin.test.assertEquals + +class UninterpretedSortArrayModelTest { + private val ctx = KContext() + private val solver = KBitwuzlaSolver(ctx) + + @Test + fun detachModelOfSelectedTwoIndexArrayOverUninterpretedSort(): Unit = with(ctx) { + val address = mkUninterpretedSort("Address") + val array = mkConst("input", mkArraySort(address, bv32Sort, bv8Sort)) + val a = mkConst("a", address) + val i = mkConst("i", bv32Sort) + val selected = array.select(a, i) + + solver.assert(selected eq mkBv(5.toByte())) + assertEquals(KSolverStatus.SAT, solver.check()) + + val model = solver.model().detach() + assertEquals(mkBv(5.toByte()), model.eval(selected)) + } + + @Test + fun detachModelOfEqualTwoIndexArraysOverUninterpretedSort(): Unit = with(ctx) { + val address = mkUninterpretedSort("Address") + val sort = mkArraySort(address, bv32Sort, bv8Sort) + val array = mkConst("input", sort) + val other = mkConst("other", sort) + + solver.assert(array eq other) + assertEquals(KSolverStatus.SAT, solver.check()) + + val model = solver.model().detach() + assertEquals(model.eval(array), model.eval(other)) + } + + @Test + fun detachModelOfStoredTwoIndexArrayOverUninterpretedSort(): Unit = with(ctx) { + val address = mkUninterpretedSort("Address") + val sort = mkArraySort(address, bv32Sort, bv8Sort) + val array = mkConst("input", sort) + val other = mkConst("other", sort) + val a = mkConst("a", address) + val i = mkConst("i", bv32Sort) + + solver.assert(array eq other.store(a, i, mkBv(7.toByte()))) + assertEquals(KSolverStatus.SAT, solver.check()) + + val model = solver.model().detach() + assertEquals(mkBv(7.toByte()), model.eval(array.select(a, i))) + } +} From 8f6b9cfbc321b563b72180822a9e81c1f68c3ad9 Mon Sep 17 00:00:00 2001 From: metametamoon Date: Fri, 2 Oct 2026 23:38:34 +0300 Subject: [PATCH 2/4] Publish ksmt-core and ksmt-bitwuzla-core under a given version for JitPack --- buildSrc/src/main/kotlin/io.ksmt.ksmt-base.gradle.kts | 2 +- jitpack.yml | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 jitpack.yml diff --git a/buildSrc/src/main/kotlin/io.ksmt.ksmt-base.gradle.kts b/buildSrc/src/main/kotlin/io.ksmt.ksmt-base.gradle.kts index cfb3207ef..a56559257 100644 --- a/buildSrc/src/main/kotlin/io.ksmt.ksmt-base.gradle.kts +++ b/buildSrc/src/main/kotlin/io.ksmt.ksmt-base.gradle.kts @@ -11,7 +11,7 @@ plugins { } group = "io.ksmt" -version = "0.6.7" +version = project.findProperty("ksmtVersion")?.toString()?.takeIf { it.isNotBlank() } ?: "0.6.7" repositories { mavenCentral() diff --git a/jitpack.yml b/jitpack.yml new file mode 100644 index 000000000..21eec5669 --- /dev/null +++ b/jitpack.yml @@ -0,0 +1,4 @@ +jdk: + - openjdk17 +install: + - ./gradlew :ksmt-core:publishToMavenLocal :ksmt-bitwuzla:ksmt-bitwuzla-core:publishToMavenLocal -PksmtVersion=$VERSION -x test From 6d65e32716aa65960e0d467b018eed78a4af5897 Mon Sep 17 00:00:00 2001 From: metametamoon Date: Fri, 2 Oct 2026 23:47:37 +0300 Subject: [PATCH 3/4] Skip javadoc generation and raise the daemon heap in the JitPack build --- jitpack.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jitpack.yml b/jitpack.yml index 21eec5669..32c369436 100644 --- a/jitpack.yml +++ b/jitpack.yml @@ -1,4 +1,4 @@ jdk: - openjdk17 install: - - ./gradlew :ksmt-core:publishToMavenLocal :ksmt-bitwuzla:ksmt-bitwuzla-core:publishToMavenLocal -PksmtVersion=$VERSION -x test + - ./gradlew :ksmt-core:publishToMavenLocal :ksmt-bitwuzla:ksmt-bitwuzla-core:publishToMavenLocal -PksmtVersion=$VERSION -x test -x dokkaJavadoc -Dorg.gradle.jvmargs=-Xmx1g From 04be81a38182eb3907dcdcd5b129615a3124946c Mon Sep 17 00:00:00 2001 From: metametamoon Date: Fri, 16 Oct 2026 12:58:04 +0000 Subject: [PATCH 4/4] Ship a linux Bitwuzla library with the beta-reduction fix and publish its native jar --- jitpack.yml | 2 +- .../dist/Dockerfile.bitwuzla-linux64 | 59 +++++++++++++++ ksmt-bitwuzla/dist/bitwuzla-gh31.patch | 67 ++++++++++++++++++ ksmt-bitwuzla/dist/bitwuzla-linux64-1.0.zip | Bin 1707933 -> 1796903 bytes ksmt-bitwuzla/dist/build-linux64.sh | 16 +++++ ksmt-bitwuzla/dist/build.md | 18 +++++ 6 files changed, 161 insertions(+), 1 deletion(-) create mode 100644 ksmt-bitwuzla/dist/Dockerfile.bitwuzla-linux64 create mode 100644 ksmt-bitwuzla/dist/bitwuzla-gh31.patch create mode 100755 ksmt-bitwuzla/dist/build-linux64.sh diff --git a/jitpack.yml b/jitpack.yml index 32c369436..99bcee790 100644 --- a/jitpack.yml +++ b/jitpack.yml @@ -1,4 +1,4 @@ jdk: - openjdk17 install: - - ./gradlew :ksmt-core:publishToMavenLocal :ksmt-bitwuzla:ksmt-bitwuzla-core:publishToMavenLocal -PksmtVersion=$VERSION -x test -x dokkaJavadoc -Dorg.gradle.jvmargs=-Xmx1g + - ./gradlew :ksmt-core:publishToMavenLocal :ksmt-bitwuzla:ksmt-bitwuzla-core:publishToMavenLocal ":ksmt-bitwuzla:ksmt-bitwuzla-native:publishMaven-linux-x64PublicationToMavenLocal" -PksmtVersion=$VERSION -x test -x dokkaJavadoc -Dorg.gradle.jvmargs=-Xmx1g diff --git a/ksmt-bitwuzla/dist/Dockerfile.bitwuzla-linux64 b/ksmt-bitwuzla/dist/Dockerfile.bitwuzla-linux64 new file mode 100644 index 000000000..bbf3dd095 --- /dev/null +++ b/ksmt-bitwuzla/dist/Dockerfile.bitwuzla-linux64 @@ -0,0 +1,59 @@ +ARG BASE_REGISTRY=docker.io + +FROM ${BASE_REGISTRY}/library/ubuntu:22.04@sha256:08ea48a03a3e78ebc7cd526e6a275053223aadd88bfc09cc49b06d5281525fde AS build + +ARG BITWUZLA_COMMIT=1230d80a5275ddf525da9c218c2bcd29c3130e49 +ARG BITWUZLA_SHA256=3639b4bb8c4e832514fe45456ac12c1e1a87af2d66f67518a82ab3014ac90b9b +ARG GMP_VERSION=6.3.0 +ARG GMP_SHA256=a3c2b80201b89e68616f4ad30bc66aee4927c3ce50e33929ca819d5c43538898 + +RUN apt-get update \ + && apt-get install -y --no-install-recommends \ + binutils build-essential ca-certificates cmake curl git m4 patch python3 unzip xz-utils zip \ + && rm -rf /var/lib/apt/lists/* + +WORKDIR /build + +RUN curl -fsSL -o gmp.tar.xz "https://ftp.gnu.org/gnu/gmp/gmp-${GMP_VERSION}.tar.xz" \ + && echo "${GMP_SHA256} gmp.tar.xz" | sha256sum -c - \ + && tar xf gmp.tar.xz \ + && cd "gmp-${GMP_VERSION}" \ + && ./configure --prefix=/build/deps --disable-shared --enable-static --with-pic --enable-fat --enable-cxx \ + && make -j"$(nproc)" \ + && make install + +RUN curl -fsSL -o bitwuzla.tar.gz "https://github.com/bitwuzla/bitwuzla/archive/${BITWUZLA_COMMIT}.tar.gz" \ + && echo "${BITWUZLA_SHA256} bitwuzla.tar.gz" | sha256sum -c - \ + && tar xzf bitwuzla.tar.gz \ + && mv "bitwuzla-${BITWUZLA_COMMIT}" bitwuzla + +COPY bitwuzla-gh31.patch /build/ +RUN cd bitwuzla && patch -p1 < /build/bitwuzla-gh31.patch + +RUN cd bitwuzla \ + && ./contrib/setup-cadical.sh \ + && ./contrib/setup-btor2tools.sh \ + && ./contrib/setup-symfpu.sh + +RUN cd bitwuzla \ + && LDFLAGS="-static-libstdc++ -static-libgcc" ./configure.sh production --shared --only-cadical --path /build/deps \ + && cd build \ + && make -j"$(nproc)" + +COPY bitwuzla-linux64-1.0.zip /build/original.zip +RUN mkdir original out \ + && unzip -q original.zip -d original \ + && lib=/build/bitwuzla/build/lib/libbitwuzla.so \ + && needed=$(objdump -p "$lib" | awk '/NEEDED/ { print $2 }' | grep -v '^ld-linux' | sort | tr '\n' ' ') \ + && [ "$needed" = "libc.so.6 libm.so.6 " ] \ + && ! nm -D --undefined-only "$lib" | grep -q -i gmp \ + && nm -D --undefined-only original/libbitwuzla_jni.so | awk '{ print $NF }' | grep -E '^(bzla|bitwuzla)_' | sort -u > needed.txt \ + && nm -D --defined-only "$lib" | awk '{ print $NF }' | sort -u > defined.txt \ + && missing=$(comm -23 needed.txt defined.txt) \ + && [ -z "$missing" ] \ + && cp "$lib" original/libbitwuzla.so \ + && (cd original && zip -q -X ../out/bitwuzla-linux64-1.0.zip libbitwuzla.so libbitwuzla_jni.so) \ + && sha256sum "$lib" | awk '{ print $1 }' > out/libbitwuzla.so.sha256 + +FROM scratch AS out +COPY --from=build /build/out/ / diff --git a/ksmt-bitwuzla/dist/bitwuzla-gh31.patch b/ksmt-bitwuzla/dist/bitwuzla-gh31.patch new file mode 100644 index 000000000..2a9a912dd --- /dev/null +++ b/ksmt-bitwuzla/dist/bitwuzla-gh31.patch @@ -0,0 +1,67 @@ +--- a/src/bzlabeta.c ++++ b/src/bzlabeta.c +@@ -460,12 +460,10 @@ + cache_beta_result(bzla, cache, real_cur->e[0], e[0], result); + break; + case BZLA_LAMBDA_NODE: +- /* function equalities and conditionals always expect a lambda +- * as argument */ +- if (cur_parent +- && (bzla_node_is_fun_eq(cur_parent) +- || (bzla_node_is_fun_cond(cur_parent) +- && !bzla_node_param_get_assigned_exp(real_cur->e[0])))) ++ /* a lambda whose parameter was not instantiated by this ++ * reduction (function equalities, conditionals, array updates) ++ * stays a lambda */ ++ if (!bzla_node_param_get_assigned_exp(real_cur->e[0])) + { + assert(bzla_node_is_param(e[1])); + result = bzla_exp_lambda(bzla, e[1], e[0]); +@@ -640,7 +638,7 @@ + else if (bzla_node_is_param(real_cur)) + { + next = bzla_node_param_get_assigned_exp(real_cur); +- assert(next); ++ if (!next) next = real_cur; + next = bzla_node_cond_invert(cur, next); + BZLA_PUSH_STACK(arg_stack, bzla_node_copy(bzla, next)); + continue; +@@ -710,9 +708,23 @@ + } + break; + case BZLA_LAMBDA_NODE: +- /* lambdas are always reduced to some term without e[1] */ +- assert(!bzla_node_real_addr(e[0])->parameterized); +- result = bzla_node_copy(bzla, e[0]); ++ /* a nested lambda whose parameter was not instantiated by this ++ * reduction (e.g. the array of an update) stays a lambda */ ++ if (!bzla_node_param_get_assigned_exp(real_cur->e[0])) ++ { ++ assert(bzla_node_is_param(e[1])); ++ result = bzla_exp_lambda(bzla, e[1], e[0]); ++ if (real_cur->is_array) result->is_array = 1; ++ if (bzla_node_lambda_get_static_rho(real_cur) ++ && !bzla_node_lambda_get_static_rho(result)) ++ bzla_node_lambda_set_static_rho( ++ result, bzla_node_lambda_copy_static_rho(bzla, real_cur)); ++ } ++ else ++ { ++ assert(!bzla_node_real_addr(e[0])->parameterized); ++ result = bzla_node_copy(bzla, e[0]); ++ } + break; + case BZLA_COND_NODE: + /* only condition rebuilt, evaluate and choose branch */ +@@ -779,7 +791,10 @@ + if (real_cur->parameterized || bzla_node_is_lambda(real_cur)) + BZLA_PUSH_STACK(reset, real_cur); + +- if (bzla_node_is_lambda(real_cur)) ++ /* only a lambda whose parameters were assigned above pushed its own ++ * entry on 'reset'; a rebuilt nested lambda has nothing to unwind */ ++ if (bzla_node_is_lambda(real_cur) ++ && bzla_node_param_get_assigned_exp(real_cur->e[0])) + { + bzla_beta_unassign_params(bzla, real_cur); + next = BZLA_POP_STACK(reset); diff --git a/ksmt-bitwuzla/dist/bitwuzla-linux64-1.0.zip b/ksmt-bitwuzla/dist/bitwuzla-linux64-1.0.zip index 527615c621aa16e275445e96b8f6924140ea351b..f6997edfd4b00b8ab367c0f94bf7121e34767bb5 100644 GIT binary patch delta 1770521 zcmXtc^E;2~IcW%$wbz7*7}|5$qeN{RuzVE%LFx&Z#jZhWv6Xw?;aDL-L2cJM{) zVg0++%Htt;?OtB<6L2cOjv!I^8+i9vBmAT9wloZ(o%h(+aV0OmfB3hr+4;)p1BY{$ z&27k|&f}Koch(1v$E%RD7CNFIkB>8e^-5mo$H(SxP!r_@3u$q5Z&*i{OX>GO3m ziFv1@Sf|&`satKKz{6eR)#m+C-~Ri(0sMn(d~fUQF?EVCdw^KCGgUB#a`>YFfNYZS93R6Gb=mk4%kUnNpq9L^8Oqh_7uw&ywNpGARz3URK#v zcYpp#>UtmJga+&@(IkH;$#7Kjaw7IuZ7|K$#pw}lcfe8gqRAdU^uR2luTaF6hb+1Ut75sP5U)^rqXx*}`8A%*8>Pp!EpmrxcSD?yXjnULh`QRA zXHMEy`IpXiJxS&{f_k*dwsVhCWTy+HSe*VHAgkBb%fQY!dzBwpCCwcsY-ge1IP#iW zBzMYtE~#x56BO6UqME9<$59|dUSS+xq~)-Hfr)nls+Wj{zb~hOGFT~;j|h6EWLpm7 zB&q1MwQ;eeDqXZtgT$X^icijJ;vXad10TL9k&h}zxd@lHPO)+}dWdJ5+6av8e>v4s z@d?3a2jErOWHF+u(xeq^m7`f8v zs$x*XH5J05dNoI(LZJqGr8$C$H?1ozl}|k-ITmQ5ax?lzb*LI`>Nz+2YdVDk0=P`> z)5}_qo-XfU zx$*m_IE>s=#MsY2XOuH247EzFP|Mr(Gu%xQJK)~o+h+M>mEoyrb0%;b6`U8U(6B`} z4(WH&ZeLTdxlGZJi}Mhlmp;$YD}O`1U_Ni61zL7t(X!*l8{Q_M9C96HYGwUD-m;0G;($>dO7sBEVV z4(%?J4GAi4m)VJPu+W<0$e7h4%fQ={hI{s%yJ2MGxvrnd<(Nl2bhTPJ!W2B{j~WKX zxV7LuFe8|KKg(Awpmr{REXQX+tHl*V*O@)Fy2^}lEOih8-HCEo zd{-T4{2(QAqC=w(x1%YiNM5?chwjb5ly9obFvCU9q#M|ku17R)y=6|jSB;cHzP8g`E93Mmg6cqy{~(O zi?S5*nU2SU9^?GGE5XUJ4h~vXtwaLMoI2w0MJHE5>4M{VnOxi#utFK&8?T!V?#B|_ zcZ+pB1eS@}7@2AX3*g<=r=b|dB*W}rAzo>5vV2;|a^{E$OTjo%q6vjA3{^bIQb#&_ zyx!Rma}!68L!D=Kcum=W+(+7HFT~NWaH>km=vH8P(VZ-f_V%WQN-9j+y%bGPfUZUg zBUZ5ml#HEVn&d94n6L*(8V%!cYiE{S%;Hk8Oreqao1{qLauec-yKsxE&936gfY809 zoA9y9J>vWl%a)A6d6L30-Q}Xuy0i8{BGjE?qr@i48{2D={vh;v&L*B|yAjRFUD92T zIHBpG5NYkq@!I0S?Xck)Ct3|0(kT!Ql?&7uC4uYJx_ajF*cQQ1wZbu`dC-qz= zSVyL%WSZ3@KY({=H zq9(0w&Rovv?20QNl0(S{a(l0FP26q>X8b^0TH3hOh`M4$1o!w0myv)7&stVpA#aI; zTBDXJcd$RLGM+MOw8U3EWiKJDa>R-KXIzR_v?t%+MFEFSPEH=uM`7HgemK^+73hCB z_~NF-IIQNJnQnBH&>7fbSnG%1lZxNB==} zps^(5aHEddTvW`Sl0F|lBvI6Yyg6SDbs_?eAZIn2_N5#aN_P-^BYDdO!a7>4@a{-W zhiBOP?g1|+_F+#kqQ?fp9mToZZp4if4s`bJUW#F<=8yTe|HzVaQELI&S9sSyC;f~y ziH21?T>;Z_P}O#SyVq2qkygOTE1j!YP5Ul^I_B6C;^}I&;a^8keQiz4p1pmh!J;!e zAMNcR2!g?II%Hx$GIB7)jxa3-dDQ7_NJxGN90AC5d*LrolgR0{(Y?&RCUL^#c%SV_BL}@MQJz7-`(P(-KRD11TYuyOu{KRp%LmNn8p32*CHZVU{D+JjLn^F!( zjMe5*4$eA}dBuRE#}^MRGb9-k24lcGL-P)*WA+vq0zBzqR%p!!N#S{VgRRh=0P`4e zMS!(!`Q313T@!|KN}@HxUJt6Yor{8r@#-QccWT*c3*l~Yr>~mcoepKUPA^7oEGp4d zPBrJZh#tmbEjDjOl5zimjs6HnL>aeW1*Nyo?JRGCQVp0S-(X8)$a{yboHQ>d3Tzlq zPfV5EWi70na#ZgZ`_cO&cnTins4Nv815ELZx4&k3{bmtt7+2|=%v4_Ubz#IeN1XUc zSK1%2AAJZZ!Jufj(83iLd>jWryrpdra!1?1KI zRaff36uQuCTkPl<{3yFJm{4i0+ zruX}Urg+GU>8gJn>%m^GVVA5*0{B~?4q~ljiQ>N)e;Ud3olCQFfzo)F%(Q7#6~2F8 zt5H4c^7Rh9!ms2E-$1o=gw4sv!fO_IC=%jGF<+t?zc#gPn(7!RRyGkb)iFr59d6?q z|6F4z=NdJllcK>HD=Mc?w1THdGp8qzo#D9PaRFAh^DP%($FZWHBacdO1^T<7aT6&` z9hrU-9-O4_5B9D*JF{k^)yT%(Fw$$TwPAGQl%mrQtiqCm43IMvl)N`?yBU>m|ZYr9Asqr%-KmNyOnc^$h)(Jc_z< zO1+YiwGM2ROD(aYHO9p?CZ-ER zxriiUPMqLXMw$CU)tg*VHUf@t7PGzSfx`-g*VN8r3zEOh-}?+H6dc>p{#fC#pZ#nr zo~&BTlE`h=x<4pRT?z;(Ig(UxajW_Zbwr9=`6rT1WpIxTVNSBvdHtMN0~veq8(t&8 z2Q7jviZ9e!Hau86U3896lBnalW6EiWp0B;+%l3W>EryEJZ8+U05(ph%rkIa6;d+R` z<&>Tmm>E9FOKjR{aiFRGlBzoxv{ta~{H(Pw$qmej-GUP*4gnyZV3xa*vAfznIUTNn zDYQ|OjEiy-a8d$UJ+%q<=H!J~Aa&7rFmFYYy}RIIgM@>NO4}l-zw3(}Dr1VF(7HvG z-2mCt?hk>nsKqmJ$>j>>UprGY-nou;**I0I845DHxni26l-7Y|dTWe@v?RfU752pC z3O-PcQfTL;2;edzl>_cgYpJ%tRVLr$cJ4DWH!))uVj4+vyj}2C6?Bc7f1f=*j=^R+ z9l_RGSN$N=YV8a0ETu20I@~S>8~c>cn`2s{!-iQ}iEx(KOYXcv;(f@KA#p#`$_zdP9WVRC2~9wz-o!W+nTt-sI{{q$br)P2g!y^ z47@|Q8;x-%FG8-6e`-7By%f4voDiffqF(!et7VS^$Gw-p0)(%u+o5Qp#3k@_aU?6v zhhj4|c2n1GCt^>fLZq5vPF6+xixQRYY`&9VqSi(d_#O547}OF9GFEDnVQ`V@%g^$q zJ2>o|Kvyz}N0X9F!SC1aaIG-ELYycmWqGyPbod%5JiO;=NMN;wLNcpH;7szbeb=$P zxL+}(C8A}E>W;3}$750nQWe=qz41L*3%XIgbfUpnS5PQ9L-TP;3V8P&lX8ycXgNDH zk#+hu)hl-Ea8k}r2=f#SuMuuoT-4z@Ho`0f=8q#BaByh^yzFyaVo_J7Ib=vZs{MJB zimL=KdV;k@JW$5QQ|q<0WrR+E;f9W5gfM}3I}@?Rp?f`U4f z!44sDJjFp2wGF$kN2QxKbyd`t_So-A_!W|!NaVnSc8Iab@}XTcGM0*%D)TlBs$3kv zu4(R&5?a{kP^3Y;sL}DxHj1FpI^s<&Y@j4EQxBKnRZ3V8Xf5?KI9|v{rNW6wgEg7N zZDd{rM4!)d#FXgs-3lb_^(+YA{;*TkGpCxCmC8V6O?;f(lwXlAZ^ZTr*Cs{0$O=3$ z5&Xr@xYcjLz6zIK3HC;VT*XduY+nZ88>S&>5q$=Kod>4ay~D2%YM;DF*qRLfo}8F{ z04l_FaP(x(>rQ}Z^X>);vzLG?dzf94#^0k|&&M#uLZ0qsd5lJJ0Rt}-0!Cdn~wfCf-4ar~g7FVmW;9;!_4H=$V&P{>hE{XyBHpS zkYzjE8(Pve%c|LZn68<)>}jR2=bfVnX}6=IEPGBdxO1pkw!5bH{tIu?ly^Y;j!Z4B z!RtaNTu=y|5WB9vGwCGVhLJa5U+=?TZI3R;FW&lDC#US)!U@b+8I`C=$k8L5y|^Z? zL_tG-fK$+XwZwIQeClP{9^aUtOAcC8eQA@T1MAF=#Gu1A-MC<0s{JsJ!1hL(q!m%| zI5lxMsg*}u8%r@st$!)4@)G3zCE1eX88JDw(dOEWS z2Cj6mRayKdO{`pX@l$9+*0%jbty<&$MhcET+c+(r0E9a)rPUjq<+Wb6kXino%+>6w z$qFiHo`}0=$6}}@t*A(=`mdjvgXW$Rx4$Suf}3cH^nl5DB3HTBVs#Anyd!}*x$ZP^ zA{T<1uZCpI-&355NO=uNF&Op3RV}R9ub-5Xl4M*b=9RTf)KSXtWLa~eq|Tlmc}5aQ zOz(d*Ct6eM%bcrLo0v3*jl&%)<|o$kl*Sp?x)1bR*=G;b&J~mOD&<U!|SN5(QssE=-~pK&L;->8do7KxP@~F z9&VXtm(qsGQ=c-qM5%n_{J@;5N>cSkaMM-PVo*Lz8cW~M&!@4T?5C>^-WRlFwWI3= zEb=J*NUdb(I5%0S$+CQ@`<`ny#BoEJbpk^KDZ*opudQV)3!4&5pNrJ zEP1yB_DKS3=Gzb%vPgLw8x=2#)eV(~(`Tp2sU(PO>sQjwzB@IiBH)5K*F(*&y<%#U zD&LY*q_^LDV3JWXq^+8Wg>T$1>C=ehwu5;M>8It&?KhBhmShh}W3dkVUsiZhiSE;y zg1JgzC!mAdK#GyQXW?u(K||*C?q{~7E^lxh24l9+sAcA7n9!1V15bDjeV zC#M=2r2|8a0nW=5(fmXqqD+OoHfMr*>Lgd=$}f9dHK_Rm9_#wq*=L7br zM?qvz(@(eOrWq9=(vfj4)^#KkvN&_!ob97S+nQj?jIs$tB?mu8mLQi;e;!T3^E z0Fogi7%Hyw4Ws6e&|{bx%$ebOg@%{5!(2MH=xvE&^Uz@K6L{ZP?(szhg0+C;1T5ED z;jNvh)ts-lZB!{p`m&W&khl5hD`kBuuSnX!%cUCdHgksPzH{w`or$~hqC>|q4fAMr z`)0Q7Gd~9^+$7vQ!A>C~&XhF&+QI`tAR*)`L>VN0w&Go4W$sU@oVu+yyD!{Qu5l&e z!J5l9iNk0&V@8g~Lqs9t3O@`DO&}pW65Re_mC2>m`lps>KU7k^9LM)pJ4RYKHo63a zG9QA4Dhf#=VbRUbEMrP3F$f&X+sb{ zIt`XdJ%*Re*T)U8YqSm3Ai7DXmLP14!bR{W6{YUNrzz8j*%Y?P8Ul)2V=ANfr^AT|Wsj?Wdi(F~LhY1ZE2?Z^hQs8o*dK z!Y_+`nWGQJs|U}$Jceuy(zI3rt9PmnO6;kKy*2{Zk}00n4U_vsDf00EwloWG$nloI zd%R*6ucrol#TlcgMs)LABRIE{S-`cb&D6q)cL6=27nbjt-s- zD#N+r_x6By zv*zLgE1W6oTv+p>A|a!y>}2Yx8ENm~k^4r2uY*;pt3AoVI%@#XO@%8YQzUeHQZeEx zM*5zU@}uDVO{ud+y;$y5rd;YUwF-$RhI58-KQzaiPIgqUbK?QJ9SRNTsOV`cO(%$Bh7KhW+=>5tGRfaYg?(T{MP6 zDh`rXEU~IBjf?kI4lzD5EDebqlQbv?r^s!qp7bV@zPfrgKO)%0mdrjh9+y#u`_teL7MG4=9fCzX zBJsA>`K<3*%8pK{Skj_${@gw)An{?+bo8&4AT{Bhob>n*jA*)nI5i>T?b@q~BRdgE zM!U5)#SrMlm%|}0&RwB_t%&gXf)*hMzNbtL6VAX+aH2?#Au(HlA+BXisi@sx1C<#0 zK1BG98}Ho&@WgxCig3n9l9nJ#3`8bK{%+_cX^_c?u8@%dtuyWP8JCb)90pvMgRswj zsD5Rp|Da-Kk>%M2#$evK{;GkL70*OmIFEQ*S-7|3CGmR=d(_&uD)~dZb87m`9%GaS zA|t?H1a%P`_q4tWnR*weo5wm@J$WwaXq6C{eM1K{2o7ozbiluy=QCHyx2uzko~C50 znuu9znm^vp#Vq&~Q#h;1zSNj|*h9fL*7o(_VT zzE`&fne)Yt|sD}J#nBM?uNI}-g>C-9SE%LO$a)`_m3pf%H z;ZB{M9g&(ei|`XB)IR{BzLa2aQDO5ajO`|8FEUlI1x3&jhWN$F$0}afDOA7AE$Yur ziXKZJ#W$1IeQh;KmZ;c50H-ds6KHky5HBflaSi=;I{#f9eMcoe3nTSgLiD=QDruuX zKOR*q^Jvz~1Ak3X8ao>ENv6r!SYQsf7NKXFT*1irjU-dVxT0j(p2l`#M*rLPb)t!? z8cME_zW<{83R!iWo0EM-kei!0RJBW(O^U-7HFi8WY~UGXNZemd z1|VE2U~|xzUB$BmAMjluTI=$6#6>EFPe9t@-F_5a;WY9SToL+g)@7cELkV8nR?A8vkwO*J++{_V zd7*JG$jf#|3TVvd@>!0K@HD(e^B7NlvK2Dr8d8feb{CbR6K=L#W5vx z;_w<3@~@JKxWhV}qOC##fVX9kIDHJ3$m$lC-}WcRoaitctZ@8!POOnkOxQUZj8$Dr z)c{m&ptoEcC(?i0je0~jhCc)V`~z%tk?scAD?99>N+KIklx?zJSSn98V*gyAbZ?W$ zMAlx=-IbME#(hOkSh*ln+d)r(Q-R}gZwTdWNo%&L?&Dm2gQquvT>Q?+-^~KM7d~=T zkXqG@3MMQVkx(_tUmOU5FqGDOU#9@mmucqqfRr)s4VeC{Lm{gu(=F7JHt&2;&3vsGfRAP`a>DwF zI+RhQ1aP`&e<^SRUt@868IBGq2!!^p6`{ga3fy#2AYW_oLMeo$q?+Cl1iu`twL_jW zNG++~@kYheM~&Z`x~X5Rj^)TkT^#M`s;|d8y#a{$y1!vNcA}0Ly}&4e`yEG9%@PUN zT{MSX(i})!P{!?`OP#YEY@IWt4r1KjxEFHe0Pyq2MMFSJ!p-vbVy5{-0VPHOFzY$AksF;q@PE{fvyhZE?LDzn`V+^Ul~>XNDoQ8;0z*60}M96 z0IzmiwCmm+ifR5Sq9IP(o5HP(&OiC?4Q_pcrH z$&O=>X4RMbSg$Awo5w<<>7oKJ7}RXZ+|Kub z1d0V!6yF~(L~tB2s+Zij)8dc$lC*)fTpmMP{>;pnL)k1N+&VGL%CMT?x->`0#u#%L z-~}?iS-e2R!8!A}GPb{>g!yB^q%(r*f)s0qpqK6Fqk1^&L}`Y@1@)(_fGq?}K@TqK z{F?SJ_3yr)qO1}ZXp9%pf(bw*`6P;Y+c%vmnWI3B{r9B4gf0Uzvyri7+S4{smUt7k zYz=5Ef{{zMsHQEH9=5VwFj-%8$tW`Oqm&KM^L~nresmc)elHyRr2@)V=6rmm?{Tuk zXywFMJKhmRS5_=A31ajg`@*X#RCO?x>yI~69Ay=M*FUk_(wa; zCfQf~kmig7i+!<9!k@D!Q{MRB`(=YrtY!&5UZCCCp;!+R_eLAupfK);gvOUXI)lFz)6`fS1u&1b3=e5Rf8`yM3Z>=Pck)Ix^Zw&5`Hv9$~@!Wys5s!!;T~Lf^as0_OPT&ks!jq(7&|6K5`~Ia3s+M$)|qF`v}b& z+`hNP^Uv$b5Ie`-*bp3J_S7uOxwUIU2u$m}MMIU97t| z{b@Pw>mAB2dQU`;HxYvZhfEYh5Y|jNk@bN4Kk30^91BQ+$Pb#`VC`L?v)kc?!$oWP zjuuQV&mt`~tlK8_YlsW&HGDEyYaPb`SYpoJy;0$nB6D2?w@b#=QI-^u6r;aFe#7&a zMf9*|dPkw9jC&-{rf$Q<3!*Wf!7Y3X12mquu+&O0(T`oKAvcCOeQvio7V=`>^a4}< zg5&H%b{82njv_JMD+nF)Hp-9!?+{$kw@?M?F8z>yJHwTFyhW$Dr&E?n2VipWTN(VM zvVsO4$U8c7)Ld^8enkSyXz5PH4tE9dtOIu8qRd8U7eO$QB!G8~B3)Jl`whM&M|x`m z?T!0$Y(s|suRa6LH^TPu)_=zuv zIiUiU5^+rbKLhQLb4iHCXbWQ&rZz&Hut1%%3R7jUg7^L9E+xs8NX*SrWH24~uU+@e z>zHZrM zFmpz~GeFHXz+6H?krLm(XNxLPj{3Tc+5+*jo#njWs*{L*R&)B53j5KF3*+FszF$v{ zj-+b-U_Si4S~I)A0=~dGLz&jYnf*Ywn4jSP=bN@P4;h|PHV0*Bx))on(_7;>5y)vd z6QWrsQK;KCdG|e#qGvlmXMn9ci{^=RixzO+fbX;6+dCX^q)-9Q!|$-y6}>c*{b&t# zNM1ndEB2}e|GSfB#}D^UUqU9lG>9%Rkj(I@1wcZBCt3!a7!4_}nZ)=%kWVy2sY5MJF$XjHY64On-XIhXmq%;IpE{$iR1_xH1#bZn$PF`1NjR45TK043WsRKgAj3al6a$tgR4xAGGaZ&|Hj09YCs_7P0%z*(1}Yh zi=#UW`minjevsbxZ{XNhg_lYaGVEs|W1(qZqs;_yULfuu`_GY10^L;K=eW_*OV7Tg zm(t9u&5+-r(s^{=@(X`O@K5%cK%fj1%>vXmLF1b(KvlBuhbilXmWHE2G!lON6{slT zq_gpkEp-20>L86TJ*9?w3#4|1TCoW+=$Mf>*8Q?UKv%Exh|7yHdC=gM8Bu<+PWf)_iopg|m|^Ff=5 zP?cMr(CBkP)#*R6_XOl5*8=?nGR%+Dd&-yDj&{P-NOOsyh8Bw!il{#P33+FjhppPC zhbx6`qCl~zfPNVD@A`R})&*Go09+%YYdh+Oh+Ny775Bo5-q$d3Wu#|nSMix!r@zO> zUd1WurxqWi^k!KPX8sT*aHGidHHvAKpuC0Z7kZH;J1I3%S+$pkvkMb+*e2pLPcjts zoFVTZ*l7boi1pMm|o_`(c3ih-4B?Dud%lC==FKZHVDmfX-cpcM9;$+|Du8wj&nRPW#bjV~1NX z^0KbX?%VIVv3|^K(E>D4BnAC$g6LO$pUo?JDLoL~|J;?MmOg_P(YE)v_9?aC3&wOy z?3GpM1&Y9`R>x1pJGl5NAu2J(D_eoD@#xU?XHXe)J%t(tZmHrp84z`b>hb||diDVt z6atH3=8PldGZ)P}9bBS^ST;iWxph!Q=gdY!Fvjl-Y zB124BsmE_pDV%0IoG*Xd?*+$M{vpMkJ~Uh{Jl5w1)%b!e9R5O&b`DrK%&=5I_u9sk zzKCQ(I!;0)h6Wszfofhr;Je>lprLAj_0#~HZx)OG8BVeSQC`+WgF@5({SPK^1f(E} z8hN!1048$Sd><9B7`|<^rftHK7K(dY+OH8v-h=!H5Wh0dKBvo|WD*m!Lc?S(nW_dL z8Z2k&Od=3`-yNhh?Rk?T;lbm15--cd0pcCBD{4{;iX0V*>-js}iy59xkh5}<*NASX zeNPvT+W*1&Aj@&2br50L1sZ_lTCA}HYnHA4=RrisNgej@XAsST|39Vgz$EM+J1QZ; z2w{ONMht|jA}hLzA`A%+FkBr2oq7!aksPk)bgWzl3|?Q2sdw+9~5Mt$n5G#*kJT86=5RU$i&S z9%X0^BpsPYl^FJwQOT8YVNt@8_!I`XOWui=qeu^3gs1j(y#2SrI8&GSo_`y3TS@f& zZLrE@ALgv;JAP6ZU;iDZvoS~-owujW6nq5P$#)^ z2KDt#-%lA>-zrM@KO;cJO33sa$~0m^N3u~tnZ~r4T78r>GM5w(;g8*RBZkYcCv2q} z(9i|3$e!tTh$%Or`n52f@s7P$`iu;xM8BYav8u>CP^r9G&SW#6!?8QyFWcl$y6~eQ z7)o{mF@xcfD09Tv*pNa?fFH9^D~|}Wu!AF2oH!X}DT&HaPX14SWBm*?JDSz3<9PP{ z2`;5Kh#${|+?ghHfu;8Qr-%3N?Yrr}_lF%b9R)J?Y(r$Cki|ntInmwNOLRp31s>Lp zSZ^f6_W|dUCG_DeVAQZAg7E_X!TV72{z*FXkFA#`Z92;Hk&FNan3 zWGYT$uuC<@m|#&Dpa;yx1ec-XD^gwCadl1l?rYg1y)}YM>V=pu0g{)HDEv%)`h#i{ z_N!HeWhoYkK}z4xm?w8Df38&4kaYh9LxBkc?$x%*AgrAEUwA=V?Z3?*Mv5~j6NwQM z1tHu{5>RSl!7oJb@&@TCKyv!IIHP?fu_+8R`OQ*$(c1T~1NL>>HX=M?oLpkXJMn*) zqjw``jg|vPAlV^qn;t31p%LkVSfzG!p9abAV_c`*wRS&YZuDcLF<}fKjr2dKnPB7w{e@ytm;j#M{Z!k_x*8%Q+Usn8IWue2Tq7*)nHq% z`nOA{g1C8UG!g|fh&akn@OD_q2f2_jW`_+ zcg`77qCkitXTyjb1+B~jYJiU=`BEo?NADOrQJDfgtR2J94=JaA+j%KWV*c{(X&qumwAz?i4`Y z5Bf|BaCF6dtB9jAChb$jsu2yEL<=@RVKa!6`j@PUkSpYkP;CMK^H3CJK{N+JOpz8e zWE;}4@4n6=(XX}&;um@NV{K{pE2eQ9`w0`uOGRRgK?a=2mcG1o?L1&G^N+2(3JPrn z<{8{#$+4lObaOHDN)1X{0uOu#%`AoZw;^| z${A?NsXrsc12cZ_p!zFOnLpy(g0XCI{#)IkAX+7KJsqKsj4AzQ|JqN~Y@~bqbp|x{ zV5t1t_u4=r47fG|t0;n4r5opN(OW8R1(KYID*;oN2=+B6Iin(8 z0hLp@(K9R_#NAU3mbP9RSFFSR_iXcc$YMmYAItZPny>^!BAQm}n_kVR&H71fn}i3Z z%>~Pmr~3C81)Qi&WHZu2M5rJ-q(n!@ny;vfzc6ZXIDv-TrCfcW0Y z`XbW{S!kTVe(wte?v0|}qmterW7+uqb9H53bRwK6!T)hQqTeF}8`A&_pfJD;D8T=` ze@Dqg1t;~jD4ncEJhj!(E6VCZPDj~7xg5#2ntdg~BoQUz5y!WU_kBNPza*M@2L9-_Bze{ZIYhgR zd>qlefbfHMp_yY+ZIc3)kh5myv+aK+_Im}M_li%}zB62+`rrS2kd(J72**h;rz*+5 z`jdeUy=5zmMyy=q!59?7Bhrx@&G@;8I7c=NW8GT_*Bf+lbC`NR-=A}te_fCQ4w#A1 zNDv)asyao=a7GE&MM`(2b!qTDL+M6_m5i(FOdeYba1=mo{vy&6|IAi)HBwe;M)4Q$ zJDa7Z*p{p_f~PYYdu^Kb1byB1iTQ`52i~<;G9=_HXg&x8znR8Gn%0e8?{c8yH zv(0*Lq%S*k5E-TSywUK=agvaowc@SKL+nuc*(FP7_%m5@dQYy6HDfPwDe^-;p5ns?Mx3+4u#4B6y$4C>*;FyZ{K$NRN% zM_5LOJ4cM~<4v3e!8C%<3qz>Vklj$fCg+2@6&q)1)PgtVv?7JcAVnvh81xS<0t*Rt zZQsS)a(O>M&K3V-dB~Bh;;#X}AjM^ZtXl>tG=~e!PXiL*c;NrOkcbq<4{HP=v!fyVf&h18Q#sFlFwza@fWRs=E5w`JG7z*2WBAtMG4cw5{5fjlN4 zc{KMGSpShRmQIdgNQ@5nWMEMj5KK;R$g{t;_~>>^_P6%a3yVI4?QaIdWWE6R71{1g z6576xzp4^1m4#(33i;aM;oTf~@e2`+Tb6!}jJbhJTEz5|F$db^lJ^*ZpyC ztQF^{4S(%-F@Aa>8}M`1jMiPBvwI7U%@VO0y%MR?E8CGZ0XeP}Kr2o54LF>Zvp=vx z_EqcS@8Oq4aam|_3+eawz9A-i1`TvCJ~%%>@5c@n7_bi?lGvw7!u!?%=;BsVn^wd3 zzu&nJNTnYi(AoGk*G^221Z@7O$|hSo`v*|Tu3lFjt~YhuCjB%!f-Zfo%lmX00@w|$ zTAY4e$kfjF3Tw&v3^=m+-k1DrII9^dS$Muy;_fw1(2M(EHo(KILMTTtkHa&W^7GEF zY{}%P!h5hP_0`2*{CroknS55`#IrBnwtR!tM@;gZa| z>6>x)ZeJc|sq|~UOx@kukGifjj$k^^^sG&$eElZh7iQTxH4Yf7 zxZ2adoxZ1QAyg8zDC>xK`G3~=3BrBF-ntjQbtr6)@2UUvdoL{_Zu3v@r>D3hg;mPjq~Yi_8AOF7;<{I^ehyTQW5vuya0J_t4{6OThF^ zcgP+~jk4xwGey@p=*TnoB;?mcQB7Cd{-FBWa`WERujf~ii!kfz!p600yZjUHu@Uc2 zan$aVZ?|&7J>O^R_2SiWlG5XvpDwSiQO+&&r%=?Dd|Y*b0-KSiDLY>T9z^`5dZFD}{x88ty*M+55+|8l+_}34TSCzlp$FoF28$SR~ zR&Rqoee+HAvIC~p-<|fpE!ZOUD@^)iW~f;7WwdYWENrgmizIaUq@bfuLeFR-Iq>RD z`)%LzFP}C)zCScEFCE`c<}P|Onkll6F=bY~CThpA(^D=0Z~qf)&`)jg)>Z8b_a7AL zJ|81b=g(qAM<3nwb+|^X&IQ7D>^oo_E9{y#2NUuXZVPh&?vYbtPs1A<#Vsj`8HiRR z@7lQ8->G>U(q#OlZ(rp82yy%lhwib}@8!0=xem0*BE>c~1Lu~$^0`x0J_x8h>wV>y z*CY1**8k(h+3qW}cJzu$ds)@wrR(K(3ma{Jij^+Wt@8|{pTez~v|aee=@Z-|PIpDL z%^#Q8f7|-D0+v4?K9j!8q{?69ng}1%mFtUoYr-#76Znzjxg*P^cWeE9**#YUw~J4Y zf9K#>O+dhe-`fGLNk>yp=sB^bXG*=X#;d>mavQFv2K_ZBt1Rm9yWSQ4k9Nj3I~0J8lhcZ`WLI zULj1|{wqJ@J`{fwOZ~Fe$mnO*kSS-n=+-`xf9(4F&&8QNrqllfZd3VE)So|n?X|~$Kz(flEnpe_wR(feLq_ggKc3qE={x34!reP1- z^r_e@v9k|g+V6r?CHazWE5$!O_S*6-LoI%ml(@_FOd@|`agbFQ(pOWx?ALw0z6Yi^ zJ|7d^u>o=q9uY$eNE8op~^VBN}r>_=k)iC*T z-2K8-{+nq_UWxx!65GWk!Nb>4@vSD3uBIiz%w%AD}P}$&%v8 z_>8_cME%w0ULDu?R(h5}n)4=`W#=JW>%C2Y240jeCmA-rt1~^AOi=Hhwe0L^ zVZS!h;<*;k-lO_4`ptvV>6g##YHZ&u*1oWqjhhTSHTnMHe9}NlPBQZ}*J8DeHGFe3 z0M)Nq?d_F-mUQuxd%M4D<62A0Je0-RB7NqmX+NgJcq?X+e+}Gh*M9YFS{M08uVjg@ z2gQGf0|4=I*yZfXpEsj(r9(d$+xmppZ#U(<3VgqI252}=TAV7s8fT8ZUHULj+vJ%# zKb>wqZ)+@jJrC_#d8d=x6x$?qrk?DzId_dG$x`TZFg8!~<|)PUTkTIDy8rN!!>)cs zYG%1V&O~WXq-{7AYkdAR{h9wN^0tZ1xHNr=jy&DN8=ik6|?zCSHnHIpoDHJbv{YtL@3r^9}} zU-eCr4oz5}01*i`RNF)DFMf|NfK+92Lraybo z`t-X1FmmfvW2zd+x8fZ3SAQ!0DUI%B5@~Er6j#`X$j%47v94FIfS{Rd20~uCfAt zpYgW~ECpR|JDEl(zkJm$X7@4<&i450=Q|nwkL3|xvIj23d;Ec~LA8BiRUX4%_Umgd z+Kn}JRs{Yu_kNjs*8F_YwngSXbfL|2xz*XzQMS|6^K;u>tTEHp$Rsh}ulLZowCDPH zm8n00-@Vhc!0UQ19+mezdDNxhcUPZpkapU5?YtFjW9+p`Fd}bmKk4lAa;sMM1yp72 zoYhVK`vz|@)H%dh@{^X`QFsTO;Ddzc`PWg4qp?G5%qF1qaOUsC8FY<3@`E464C@cs zb5g4o53``^7~b=h$(|FLmnPjAKiU-M0#d&NGzXTK-+69Lzj5Mkd>Y*;Q&qK77*hX{ zQLCr#%unXi61L&v*QhaM6uEHl1Mf(cD&akm*ZfDdAK`EOH$x0(N*2ZjtbFn~cqw63 z+TFeHYdy4^KfIs`kmHl(WVNECD`gik3U69eXpLG84%~$|%YV)MQCa#s97OjkS?u2b zGw{J|_AsXcac>rNRbkW?JnSAX@hb8A_>O+xCogMCzqE(nFJ645dF%MImQv$>R{Pl{ zd&UTrq1!K2Z7*1t5klzjTlHM{8cXzoap^`!V|t>j1gFc#IXAu~UT3w2pDzE8qVw=) zd;k9U_qJEH+R|2WTSXVH-BNpXt14>mXzd+4WO}e3_BnS4-Gd6=*FzVss|HD) z2A%ws*JUPX+2j}EV8^HF14IU@b?X1P7zo1$ZOtJr9S<%{k`)y~D&A>38FQow*$?<8 zpM&JACHdo|o#IBZx;i?h~ekV12A;Cs>62SQ5} z%5*hy^S$34o}DW}>HDeu=V-Sg94k}a7pF}Ul{|_+MtIL4+cXSJVs_SXE1Ph`Je7x$ zBW3Ql-t-2pd|k+$yeHw{YrQ{LK5_BaQixBvhB0PrdU&+v$9h7ZSQRZ9AiX@bEDc9m zj^)&uCY@IQn=n1XXmrIECZS_~4o;Pbw0i1MGGOjxZ?ifhhd9zl32@?OS^asVlnsc< zKc3{2c%%@%hKJhDU#YZK@ZL)6s9w2?3Elf$=&X0S_F;m~nIl1iHn5DY(zX5i7r6VC zTC+heYNErlF3}r|wb@nx^faKnji~8;oJ=@ndM>HpxD@k*{?#LYX+SpW(cXp}Tepo( zipv^fMjP@Q?qw`RT1h{T{};J#J%4gwHm1v7=*exN?kp1`(GTohKfbckZ=U8%(U9@C zh~L|fe7<*&5lg|;;X$x0IUI}D8nx${9=wUK(iQ=dFW+$0BLhnsqd~pa&!I|gVC~hQ z?NMqWTV-aMexEvA;GuiS<8R9YgYWMlGRc`xs^r5%(>7<kx1iLIqxFU|cxz!UCbWQMn}Z_ZG)LyqO|@i@&az z7O5O=DPwHr8w2~7@5ODUr;|-d3fkR~wI55wqozI&Z{vk2=wei-UrAn#;ajiiPLZ}o zqqCeD#cS}_J;l@AwfBIb0cWyX{HEe>@WNZ0Vt#T%)kHM+X&S^#M(cCG#0JW>=@-5=@his+jO zNG>jg=AZ5I=9&%_b(;>%=^2Z`sKu6?qi0$hY)Y56`bMAn8y8}Z7IqWaV;kK6KCPHs zwbU9{7~O4uBXs=>IFX7Ez}l`ftmX#0LbawHhOH|%ekhbAu9w3zYPprLGpf$~p4&BQ zcT$$sfv(A)MZ(@2YnKAQuY8bgs&e+@l72MGBCAS6z{(iUCm9_Lhvq~U7p*g3mrc!< zS)nhx8(+zvG_=cs>py9n>OJW%+4`{P{Nhp(d50=q>|olAskiGFxt}Sp>mv8+z-h=U zyr5Sl1-0B8BHZQ(tjpZTZ-v%XyMd0T%k$*{^tmn>ttgeh!9|BU7)9P`S)-Ea6<+qL zYsw+RMu8?W4AF%_aWlsqjvTU3*y||&O0O`DtTePyo4r}d_}4K}0r%4Bl*&72%=E2R zm^D{|h`i9dvS7mgTLZLz&f=Va{xdxeNhK4Yt>z7=c%cbuT3%zVFimvD)b-rkh=Ks{ zoPRvAgS$pznzScfUJSQiXW4c=bf-m~tHj4`{}p?w<5j1T#b<<2w!H`HCqH2%g$_lj zp|*wCKtklkDvO$22_ttuH+XZiS4+r|YI1+fNKTThCf!Ph4!=2XHsxv40{$3asqvs0 z^m?h?A(Uq-)tXu0=X|(x{&b`TzyXSBMr@s@^U}J36}P8s(+uCbPFDQ%?LT>uo~06? zdh&Ela{mVRoNe*?{k~ndu}gJ#uW9^CmI;{+JnodBcu&_>vJtKh4t3N{t*o^ddF0BA z0xJ0vxuo#ggUK%nvTk5G@xvuqDgzw5o}Nb|ygsrlk6+M^;Fk{gNzr#{5&!urKYzAB82Z^C;rp_uy!->vXbC zhnS~F)|K$`M0Xix0b0#J6EMj8)#~mrmnoFaFNgNi2nfe-M%=NP^Q3pB!Y<_YxyY7z z-TofsX4Ybu_CmhXE_AFBn8kDV*4-vxeoc1k*V5|Pbv~MUw_N{$L?X>PF=b`4wByxA zpCtisd<`>LI@s7Rwj+Y&Iol`-Ad{iHOU+Au4W;^|Gl=FmHnt+*hpphzzRGLo%_8Rk zcV-t{fKxQlFr$SHFC{pV0JDWuy}ylX9=xq6<*_p-(R(pOwZ*O#3t@3CS_XP`3T))} z-cwZ9CHTDWyLiqfsq8d z!8K2qV~g1J=^WrIv^A{(b~kj*#CiJ5(0@e}2961Kl}Ta5Y4{I4lZWqH-QG&K34>*- z0j10~v+i=AC(n;|!{!lB)E)7Dvl8J{n2zb|1XRCu zHXJ+d_m0$#k+$+DgP7k$)bn4rnQ!`|gHK<48|+@0$Ocka?m41cxUZb10oZe0MC$j} zwNthFnQDdCo1vi;R#6oPK7M-k^}hdDeOXxAr-VrBIROz<6lHd8-?-QfkBMK6>QO8Q zyQmb+4(&+HZ1LNniudR1nbO>h@KL*$XDrV+2NfT9CYbYI8*hH;LV2E#QAS|{QRCx< zERl@M0JlzAz`{t~i1ZYiLJev^#RbBX0)*BZDht8s<6)wVkB&kH&*Hi9YLLwLng$P# zuCCvCFZ5`1wVdW|qpgSo*YJDhcMNNKF%6Md8L!=14AJZy3PWSuGdoiEryy(D4rayg zz7OampEZ-Ara86GTabpO9+o#O)%)k13wRC%PB&?1tAP5G*fn%r>St=@a!PfG`U7=( zrMx=!aXkL#!rF4;e{QRtav38$G9ckEl*eSK{RcvAf~afV3*ca@eBzePW84{A!+>GV)$&0+gXe7oUm zc?4!l)q>BwmPUVQ^j6btXlcy;-ZelUO3b+-a~?IP;aBU8N}r?{OEgiisl4>dHeTT^ zG$yMfWs8?}awp+!Lux)<@ws*AZol6&Zyec*BDMdURb^A)N6NsYoR9f!rgeYJJzSJy z{-7OEl^irv=6bT2b9m-7*?fsFYr0wCvXz1y{)Ms-nkkEJIw7+>o-hVvfM-G)aeC62 z=JnZk^L?7k3iqu1Q1H)@H8#bIw3`vO=r@(TSD>yd$PUC%ScN+miLCXZkR_PJLo4TT z3zRfas_a+C2kxEISddCp_3aiY;!V@STdW!)opx8>Qm{-&;`Adf8B1lKkea}Zh#2@w zm?NyF10?P-9IicB&p zz-ffSpy}$0xys+Dw^yGpb773Q=ojxMITAmHawF~B@IhsTdUhz{M@ zxdTS^o^=skCytUob^AVFZk<%V7iXa5H&f>t^o6;Y58e>{r63%0(VFkR2%J9~;`s7= zeT;QEC2Q}Xd^%!s=GQuD*rY?7;wwg)gFpIAz6nbm;)gtuBd7DeQ*hfLgG zp1r!6K$3K}`mI8E%|X;3QIvtzwhoZrkMLCyF-rxdc7&bl;Ebwyp)TKO`C#&l}|6uU6OD zgO3U$v!u#SkqolVM!z&YHM^bl$ZK>J;8JV)_%Z|RS`et_)HLtY*I02g_nq~n2f_2J z!`^MQpPi1M#KZT8L06;0M@@(d@<+B6Sl^}wxcc<4#Is6j^_rsnU&(Kn_gdH$6Vre^ z+`~0!G&v zF4X&W#r?mH@INaZ;c{Coh_1@_gjP=rmUsfTxJs86r|{1YvRtxc(=qc!O^=w~!gsNU z%%;aE+H5CFzpgg0{ZgKi`gECF138%a-_Obxq+nCQcaDF|z@_~=7N)HN5}_s{Uw0q+ zWvD01$ofs^CKcWYU2gKz*-WUE1yUIX`hLhd@DO;B&FlctD%BY*IxtTR+8$~c*N}cu zL~^>d*aUr=gfErtpbx3twm)r{rG_d7r)j)4<7r5dmCTy12EO@XIv%m>6Z5UgJGz~0 z!@s+xLt8dX?YiS6xSVLJnZE-H&+Yo&tLF{>u?1B|=BoI9z^w3$?Uxt;WxZgS7o8tH zle_V|);a$I-k!_-2Lc*+ILRbhg--H1N$FUMpKjfD&o-$MlgztXJ5ohDuGkJ*2r9fu zx++PKx*}maDigF5!;twXw?Hr;J`ipy5?^t9oxioRCt#G$YnWp=Vy$9Mm-nI%54?%% z-r6b(<#g~;h2IOXAk6{gbNG9M^EqesT8c9SD&|cZKE|q*^P5(`eh@5(iSd6uIO(Mm zG4=JW=Yf9Rtp3Fi0gTs82G34#vQkp!mwQIHiK?Jf!p^Uv9p1R-@?gr9c0S}CkA>gE z|JfQvjp$s`Q{odF9*ENndT#H+9!?)3G-|e#Ie4%p@XST&w3;j+t4k3;4*YmAN^QaG zo0-P&iF8R(to!EYz6G9!{`_UmRho?jx9xVk6jwapy!B<9Y=J%26RjvwI*A`Gz5`~y zB^WqWu1XBot{CNz={#4M#M(rYylfrKGRZOO16domaGOKmX#6wg<)U5Ui0YPn(D&SO z3dO_yX0k{@mobufACIjCQ z<-X3Z&9P6pBZ(s?7VWl0PSOiE*L^p}ezQqe){>>cP7+c226BAN<+_V%6J(z1Urx|c zu2bmVVaF84cFUywQ!EkT=RW!XJSxr$X}Kzvty(eFL=77me@ABq@)eH6(c;AZK2^$1 zp;DRTKkBE^gEs#GM6~7r)0r>}+t< zZJuSHLQh2>qxFa^ld#RR5uSTrO|3Mt`p8nOKqYM}-45E+#5KD&70NypV-eE5?QIc7 zUl3ltXkpK}wZMlqzL+_Q%TxH(_!0s_u#~ga~NHegCaFD4kfAofiPXg#B@v==nX$ z8L<)wNcmlfH)s$&__!KBZF5#wk>&vl2V*HY*NvEtFGm}>OgE;u?PBZX^*Cj=FRpTj z0gHPLp4j!j%3p=doQy8>^JIeBHP$WNP^#Z##Wx8nxPtLsH&CCI75zK34x1&6yz58f zY}v`3=M%`cE!paLX*DE6)k!tO^?h03QApm~yRB23=zcOk|5vBfOF6^L=d-S>Vtrhh zZJuqG{O>9A1Z$?2_fnpzaQ^fDhNNXYpxoftq&2ZBoTm_;#;lh~#(r!yU72CogXH(U z3scQUW+X%4fk(t9`MV7eo+Mq3gtrIgEa#pSotwS{mhLT$lCXIYRau@ zD1p~;*sOiDU8J5@`Bc*)T62DZAH2huYpv=PZJHqmHjDTmHt8Mg?G?$&nxX(@(w;wo z-x)F)@9+tUuaL1ykt$r-lbl5U+p@B06GMioW-`O7rf*rZetzjSrb1$SPT2WKrZ?DN z_qGliL95U(f_CvxRFuv|{CA7I7Qt1r-fYIW_g7vnwfmCbVAnB=S zpr^Pxy2#D>-S22j03oYb2cYgmib~-dy3H2iiB}adxHKKSqoN=Bf~l)rLwNQMDO1SG z^{!Gr6;rV)GS05Y4lh*`se)LDIrU=L&Lx&-_*uXtuUQb)f<3thWO@UlOXZt_5~ss8 zrO+fwulTG`#QtD7<{UmpG)>0=m z^7(jU79m+2xHO?(K;1M(_0WDv>MeiSws%em!B=ia?kI?l`0{!iJP z{N|Tcw)T%qZE)?gYh7)1Xs{IHNWr(nr1oj7@hQQq8+OiTssk>Mp6geSyR7{^Xm?0J zFws($m9OMZ`%wjZ?JrzzJyJ8~2HBonjc_kbU=m-7fkWS;-K=ZAHvO`;xt);(D1dzS zEZ9cn1c(B4C>{Aa=r=?mDtD)h0ZEBx0PcT18$I~+?T%IU&O5iI#PPD%UKMoxPOpaN zCMJ#TH`S?otrX=*cOzdbi9*B8)y1dUvtK^iC?@87MFPUOrI6vn@8-$rN@xOGgCfml z+MM0}ddcKId~1(s?`VeHdJ!A%*Btve<9)i(v;o1L{dx)@l%4AHFDt>ueW)qvo&zi!ljG?;CM56%j+p7FctShZYpzN8O< zj_|D?%x%=sNETB0eg9opi_db`1M+a1iZ5IqSJ74Qk8Ed@i9uIt^Bq{_la$N^~gt%gMM z#;QZbA8{OQv}iDs^{;1(U!f}T#`z5My~vy`ZFIB!;P-6ikgRL>@^~n)UXs>KEBtPo zw&Ju!rPUb+fClK4? z)Z|-!|5u$ovDsk|&`4AZ%P$RKmPiE5w;4#)>zIT}S|R_($uh_0T9p zp|-TdLaRzY!(QaT?a~!WJw1INP8ZNDg^qc1@MEmBEY;nqE#@QsF}hJvvH$Ipisp%qlmwF>W&aWU8T zT+VpG>RRPc`@)@al12oL%s#-)C*Ds#e<5REAnUEzKj@ZtQ|5xLdx$+tl+_=NQtYo`!t_%-`rxq;}9{H{ae2Ag0&OW_$OSEjY;rd7hrLnwJKN=x&tK}4gHZknc4D6};HTo;ynXSj#-^2tS zan~DON7cC5mC@}JT`_xfAgIyE9KtmPj@Itrv2m`}ER zh`q!fQk^~{{7}Z{S4kY<(ZMSftVHewfDap3x9hgO>3CI=(HKcIJ7)&Q%tP$=ytUH1 zkY;Djj==0P?HY!NEyVC3&y+{rtY$*O#lkx-+~+>r6pxGgy*6mC9Ex1AC-%sTXnfWt z&s#KZG7ccbX^-`5Y78czqi~>@t;~5KOTaPT)7x(8sC}kz+2X*n@f6wgSKGZs# zVjOeqJ%c?LWL;VO+SOKma02+HGIiO7x%TTR#jgV0{iVVlq^vyKYTgd_PI@{-YE;cW zraBEVjZ&FgIbQFe=u!&fY!y%MC7%kl3`aBVn3&vIh`d^LCUbm{7#Ti@{24Hnj_1z^ zx~_fQ5BYh?>#|UrDbTI;VdrEq$_by@ed%EBxKa}%tM1JFpX-=v)*&6dt^ zNtqn=n^G*AJSO83g5`8nVN_(WWw#wA%$217%HJQfez3o<4)~sq)|QB7`kTB^OOsG8 zUTXeEIqX}iXa0id31v@88G4K~;`*^`;Zw@PGVh{Ys|g=uD29w^d+7ZM0`(wTJx9ImqLQXwj^Y!c;ZQFrp}FZdqm?XQ0^7YD6NMKh6Q z^Y}(Nz^GxC)cg8I+Rhu+sCxRWtM%w|Ymy!Xy;)wc)a;xkM$I72* zFrV1=k#_i;Vib*2kL5(h9d(8s7=?xY)f6+2I=%=9wy^0aoUUCc~(8M!=3xcq!Zgj5&` zv4$yDTNc<^810CCun>Q3^85$?lYhPX6Kti>SS;*rtHH=!MAD+PjW+!nV43_iY@qXX z1fqbv-T6O3Cr-q($qF9gXKHu!>EGnMQNiUhd&f{D`2N;_Q(?2okt21YF7i5FHvoI- zyJw&Fu1R1T$RD()`(uB8AOJYC_ub^4e)tLK=Xd7l*BzY?I%L1@njbrqrH0x;{;A~# zaRUD^f7A>;kNalkkQ}uhP#2aC?D&{h*P#+>n^p8_9(lJ8w~I3`vB&`x8|`8bz+k(Y z>o1LD64AcsD>bw9#BQ|)zPu3lksDQB`JWm{d{7lrJP_xb$uy-N*Y0zfwWmu*Yly)( zVo*INMj>914=s$?NA`6&npHZ&PE?7pP=m265;z5aJ7M~dnGRqN#XuRqY%~2Tg!Zw} zuz~WIE5F%y8@z_m&QH*O(%$V-hkq340eO6(Em?Fc&0$;FglWH~S$rTZrH|`79wOZy zMoB6yZk?o@hFC5(z__hV4fkB0g#eAFO2$? zuqL8O`K6XFt^3fLb#AU4kpnS42}5-rdX#*8$tSf@p1+0t-6zLR6~)FUz|`fhLPy^t z(b&knRIxRpku!gBPpgUzf4!tY+s!F6K^5Rx$3$dF&m)~}tKNdiY2BN_yl>=h$yVw)675ej{5wlzP(sVNq4+b%>hfoX!R*<6=`$x`1qe%Xwv?DzAT0NUd(5 zNZ+E@8~f~?jq=f$|G&)#ZSo~X3SbR^eTDm6%(6_KUOAA3*ya4hS% ziz)xob~5qvvsYV3LQ_P_;|L*2LrO^-7G@4pC>f)RUABU2rrm@l8;gWm6X% zNm@Lv|96>I5Uq;$FOjZ$>wRABSh*P37;?#zW$LxDiqf^g2-c$|(_mr#+MmQlSi%tu zU&_(`5Yfo#4D1HUo=)L--^Z2RX|cc9F4zw8Th#hx*4e{XMC8L5BgtKIR+iS&mMH~l zvWSyB$m{y4W(W7Iz1>JF&u1#)yq|8l7&T@N4WVk+%_e?l9HHcWOz1@+T7WT0>Ta0F z-&$t-@UphIU^hN>5J54Vo`0e|Jr`43+4j_l>uWSAD>tLbJfBDiF{ll1S?ovTBwe<- zqOxPX+_T81jKElX@5#@%JPP)|E(F@BX8n+i`ZQ{wf_eXX zG+kAtE$c&;c%g{yM(8;!(JpWra;h#Y)Xp<-_?jzLySJ22G!Z$OnU%V~{u7Mld+2+U zC4qS(iwGyE>Th6MoG4e1=9DRSp*6jNIJZ~wUA_w+RAN{&;k8^Msw>eN4m6qta9*^O(qX`fmKy zmyx4!gi}pG6l&Jhh6cD|TT4TGhLL`hK(@=d=hvVu8jMoVIcEcf^OWnzO6RRs9RSNgkTX!qvXiaF(ELxAZDOW=6c%znOFOZAYc3Ql6V^yA-h|Oo7sZHQm z$n(<-++zUV))S&_lHNUxEo8Uk!Ny>3)OhIlaozmH$}*qS^+Lx|qL9C`p*8CJyK{)! z>S}vg;5GoHL#hVlJ^8slH(`al3cjvzD@!xP8~uI}o@=EZpHS}gV^82KQyS%Uie(yN zI6XW=gm-F(5{kY^Ozji;FEDr`{PCk-lP#9pOjJ}j$>TfC{4hrQS7%D-@oS(vznOqny z@5(z}m0{D_x9SAb$B(m*V|lZqbfY4JlBTv3XD66mO|Shn3l4jl8F z><6w1;cqAF3?Ps3UAe7K@1YebYEo#CV6>(2vn?^OUm?-bYlvSf4guGws1*mCYr0i3aYN@s zY_p@}>p%72kRe)~7E3joX9*{cF`SnRfsmr`UbhZ`PFX#Yk_l*Yfse3X8L(3NBr1M9 zrTB~D9=>w6@h4+;@3SpeAr3UvBDec{iiny0wcg>Aq!c@Yks)~m!tL_hXO`55>s*f7 z;`;Y6NiM;s#r%O5o)`X&kd-diy;(~JF&}`NQpG*@_)Sij0d3XEtzhpIc1|NZ8bj`Nq&*_X+@>&xyWp#!> zy@qxC97Z^6B4g)ST%KrFaS3_*j;30>)&5LDG8g<=E-&a6aqn6-4s5OAhi8P$F6Ip% zR9y@T>`$U>DH%F3it-N@dg)xLvZHJB7JD^Y34--BOD+B4Jb|I>yupBHoma7&sGG5!a z?WbK^aqT4#s%crZhbrvm55Y$MV5mS6`X%RtGMIAiN-9%XJ1OHjHf--TAh-4 zzn4f}m1Wh=`kW+8%&q#Uv}!#{hdHp@ zSvWW*-M@CrgK&BtzaewfsBj zG7C$m!-;_&7U4cs`;APLgd;&l9;U9*LDKz^%d@UIAf*=geycd3TZ-b_ottpAWf^-$ z{w0!%^Zp$sD88rq)E2jdGpZRq%4a*XSw$L@mzh;YeVqyTT7FO^FEP-5JS1Y`y0Edf zSE!0!1KNmyAI(4~#U|YTWXo%~0m>40RGYWtwL<10G-s676nq#1D*Cg(ju^E1XX((P7Pc4EHmN_0 zR+~(Grzet#%$lW&U&>o|#tTdFRDszRm*i`wf=xG$2R7&lX8;QYXhSK()XAS|JXujV z4F?~41ty2M;-1ilOVX@NaVU>tJ?i3Tn7j65trAhbt~Ogj^A_s{DM)lL{N%;2%^q2x zzX8N8m3d!gOFm?z!i{jp zI$HA%Zk2z+I}~;XYxY`HMsRBP?*(*IqfzXYA?dnCI(7n+u-!@OR@2k&dtF)BktZos z$n{xj%|=q5pZ3O&Pt#LY8y3-`gn7UaJ#nG6-r!#yjtiYn3D*yn&)m*GsWa+l zH;t32s(t--*{C9!>7hRErXE{+!=xxAU5EX0d!+R&5DDOURJh?jUTTNpy>M zwsOC@uzuA_J=GPL!;@pD9f(|{7Z3@&WU%S{VH`O^ElVj2N?u_aOP;btKXnjf*55oiih2Eh@@$ zq%`-&B7Z-qZ_rqtdL`2+yWEEJJPMm#3cYc_n&w2SG=>PR^-Jk%r2ew35S$m@HTeCx z&0)GTiGyKas}k)*t@p_JaangOV=NPF)k*B*8o$)ckOR=3q^y9B+fww+lcjTOv(h~c z>G%|Bj)~2MJU$Ur*tbWzW3S7OiO|#gb(N;0=1xTi^zq)0xflN~SKLbftb`jM_m$c@ zNt_=S*Lg;F`x|v7jVmxFAQpAtfrV9Sw{)#+)YkR0-HV~CJyWqQU)kkK$g(*Ruxmm( zdmcW&+5}*6-*l@KC2g5w=l5oJmZ!n3PGQA}v~TED44>K5Ei+!_Hg!^&YpKg-pbX{~ z`uLw;T3YiY7>CTo{+w>(g&+^yRbpaVdYbf7|Jfol2t98zq+|OK)nW^F`thS+q5ox4 zLa9~Ajf--|2`rDNrev4 zWz@8B&=@2VlY=EY)5)q2XJ@-%D4y%?%0`Xv2a`x2*cjt(G|er;pi1$qdoB|u&=-#HMkzPqH%6)o0#hzbL3*)7ArG7yl7&JEx_~r z4P=5^15lr2e&iU<)n#Ur{q`&NTeBpveb{j?Z78wZaqQUC2@dSlgEY6_`tGg_bqz}E z(OT6dbTkJQp;+bPUHw(dDjvAk(gbmx)rPAJ|wQ}H-iepPd2PwwEy zNxL2~-BTKbrf1q4^BV2rUN zu7hf!48!+E^k3IdeMG@C4Y54INg|b;#H4J^ff01(0_qN6GJcLEo!+7Cyg8bLC{)vb zqY<#7bV}NtXn!3oqlIxyk19m&U@(|Xt_Xl3qN#Dw(H|yA7bLxiO#~tQ}CD#=VQ# zhMW^_Sh5@Gso*j!F#s_7@|^p2*0F{O81v{9_@hBE^y&@wkjbuaOhB`ySIlU+kq{mM} zy5eg#X0Fkb*3bSbwGR0nstwfJ1(xe41m(7CFvqZFEYp}n>0BFeBB+2 z-dYe=ryn)OZ+JQeqLQ4|M-S_(9Yc+JBD_koKF;D(6Nf?Jg)Yj|RlnY>xs4jo{Ylh& zV{5)`Mz-)r32s+oZ{p>&;ksgKP+8IC{`GMz=Ol1vf$(us5b`H8M!k_9phj;W|3@}2 zGvqbu``yEdf<07rh)K2#8y}yhz+<9?{%YYWPb~W}Tv% zCn>2#NMG;ZRHX%V@M47D2sRMaDWTv#a`_^JgR^WDzcJqIR|-$u6x&I^S`IG?vaZ;x zR|Do>l)K^(c2{jN1TVh==V|JtqlVTI1UnbEbGTo%?<-Ml->w$^gZ4< z#<6)J3^T1Cp_^>=nk74n{B!=k>PwqV20OpyeK`NS{rL-MbFt45>~8h8SI_T+lzT*- zD234U?5!HNOsw~2{4v4rSoC^$P(3~f3%E)*1kslJ@=K1LAB+{A69MF0$MfSu`M`G16242IE~NcLMrT)8a`VIGry+ zE)LBSYPPSK71JJX&%gUM79}#C-V}0%I*2<|Xw+LS!43^SqeaNTud0OCIoPTLaU)#r zfdiLNx>>{p^GOD&d{B2*luOW-uV3m!X)Lwz713}0SvOciUR6IZsR4a+6|^0I=rQ@w zAXLSM4U|^8;YI2G(U4PSfQxZt<|eQn+43fGsjN3;c{)DwF8B(%b>k?lJ9C@oOr`;)+p`njh|qfNHJEpcbJ*l}kvIaCIYv0g`wopeq`O~zE^@X~LN=qTUw zovpEyC9S z%Z-*vz#I(*?Wde9;a2!W0Y~Y%dU*8dlO^qN!C#mO%@>wkZC`>5Fo3fN6-n;3A~Y2~ z(K8`LJ+IoogYDe&qFQg&?oN|=%Kp+i$ng!eA!VV(Tl#wkOQ9b=>|}}%b98Wm)%(#7TG;{qHg8V+|WZ*x8iuv#>G$}9kZYtXyUL1%DLflA0b^&Ri9aE z-E#lf?DzH0=d?rpvZ8fHc(N{D zOSUGc$JFYP4sh!G?T2=ycB6=)+Ab{i@N;haWSodDB%Y`7Esw|u#u(jRLEYyufT_#M z%v?l!KExyh)h~?}uV57mY4c6mZu}lC2%q2%L$`t%sQw)1RKwicNg}<1;-;Z+QCv5; zSwoJr4-A(6V!jV?e?*`0+)nOymiPE)k^}k9;ZQz{4sF=q$K@3#9Pr9{YR0(vF~A_& zj4D?B(`2o(T{p3Gjg+kEo;#^$fS{JS5R%0H5aMnMEw8rufyj>yx3jE34H@w%8Zr== znPl9eK%HmQQ`k8^8AR*2o#SE82!K2dK#c=v!IFwL_#}wF(U~>$AS?VsTP{AHXLTKw zC2+qoB}Gmn)TX|9wl5$-Lx3`R1u^Kz05euzVJI@8F&iMMqAb?gO*^EZ?bNPBhH==8 zhUR_hN8M4YA?}RJ{eHx@ysAf``_JMR_jYG`GptD~AU=)rf%6U0{_6M2hsMXB$O1V; zV>$;#w_S}B+VCM%P+9RcUX>+o;au9*!#w^cedd@7VeE!J+j1{=mSo*-T2C*7tV9v? zAt)pites=FxbolWI@d9hiB*-Pf~~utvZoscG6}oEbq>Oy`%Zzc6U#3=FK&4ondLX< z#sz)w@RdS6(!q0KcQ>eUh~9Gy$Payu#4Ct-sLxRBYe^XU!Z#U9SJT6BXXfe4aq!o? zF74~-j_id{w{eBbda;#{1jg5wl)nU4eJC?;_jNkISuY_=b<~4p=K8%;6uv%=JgE0B zZ9HZ!{p)<;oRxMA$xzUn*{>~7KRlbHLgeH*&Ya!Z$@LAoJ_vJ}NNzp?q?|_%rgS)` z`4zbs7G&(L$Y57+w=Y-h+E(0?;NRe#B()FqVjn)H<+Wl~xA3@Q~6%clR@SA zyayYj-vsX?_U%z0HfT@c;h+u)H$=JFc@LeeJ14B6fHmCc4L=}hRY0lPs?XcQ{(!4r zXiO@SG+$>84l=!k^+-N8+GBB6;Sr`cVNgfBowpT5cSkJ7ZhT*;2%&ZT*+2D@?r4^W z`Q6>Ufg$KzMx5_)l4#*c;YCfn^i{lX(dv?zAWUv%b>Lk@{959w zwVd=hQop}H3h)i*zrJ7C@P74@L@A_rNGM<3MT4G(2Po`1F%>@6^jWYwE$ghCt2@03_t%kBCj zwGu~wZLz+}o$6W5hlC?1$BT4rs78L4i^N4-d%FfW%9?X3$YEVjLtwAxsP^ZD$kkDk zNxG1wrX9b-#9X+O&HTaPzz1j{cI{|v7g3yT)QN6~0h+S> zKB)o51GP$Or<|t|3wE}#&m<3@DV%`n-vtzbyMF!&N|6a}#B1CP+|-JgoUG5IVgS=y z&Ld*GSq4|kG|k4tkqh19g5}771e=hT2l1Gd5`k-NNCS5_uuhCC@gDk4_=g!$DL5mu z;hc?NI6d7mG?@CK@q29>1{YrLr4Z`RYMvjAEI%v9TG{qkanznf9u-0LJcW`fMd*1} zuqLnsjNIyd*E)dS&2^ygrd%-z;FX8s4389weml~PhLbk9jO9Q2dR*3U(wN~jc-rv59d63;Pnk#jyJB*F2oh9! zy!2_Z`NQtqj{r4Np0HbUz4@qwF3&Z4fUkndx~DaISHF0sDyUN@)lLTewFbw1F)U3m zYu!e@lJ@emw80}kiOES|qSS5bziyZ}f5h2KX9-{sy*?widf8{@m$YQ)wA}7t6sF+) zRUKsOGa*5gfw8K9Vdd~pl`+$AN!}9$k*oK8M>$aGz_&(jI7#OkR$-Sl9>$IXht-{9UCUC?i2Gvy{-rD znez974~*3pFYOe!v@2IP4ou|9+}QiDh5J5kVq%h==jwE9E1^+!iwC7Ck5jr|rur*7 z6A`lLNYg(%VwesI>n&f6GF#Qp=(#daIX9O+T?|DtfKlA01 z`%-fZ!~GL`)OQ7e`~eR#V=3^HA4P?~4>*9c$(A#WIW6w9wV7a$=T;EJ;-+&>-n zN#;|!*vkOx+rj)CfeM`oBVmm364Sg$^drH3FQxCS$FvS)ti;EkJ5w-&G#hyLK1 zQk0qNtGS$;XNT;X9$B8czVbT^wG$!A^DqmzST#HX(|QCABuy9!?x(8kSdN?!Fo^qE z^x>mTOU)g_BvL;!!MJvHx`Cqx4gDT%PKnJ6lfJPKYQ9>(u$KB2$oM+L$l9%UZjEp9?@&pVkA{Jt)+5ypBHN zJx(0>`z(rkG5@iJB z=jyk~&u8)I)~DIl_NE>&Z4w8U#O1r|Z;k3`t`oUI{>?uMQ|D`Fr5HX-^I`!*@1Ve*N8)n1>P~S^D(*J2?}d+8 z#b?c1QqnEvP5<6>zM@?1MTfJ{#x$kMDc?(9s@Bzpnr5d`thUs8v-dG?%~})O>#d># z9kg;+pbpT`#}ux}Wzt$2fPQ{>DbaEE14HJZymcX=_;HbHZ*3 zLCi831c3>+1hTZ}P3q&VTPQcERE9HP@x04nXj`}|pzJF|R7JnE#(B?J^t5Q1P5NXT zE@1Q5PTj+)kZAL2s-Oz5vAyRO5{17t3M`8eI(2;aV&<#EB(*9Oz;Q)dD;CoYMp~aV z;PF)e zC^DNR29IxRwDm)Dv6?%u_Nuwa7&YqM58h{18yIepE^`HArn^v^^-Fclc0)g+1Zwl9 z)xYTN1Iz(}_)LY|WN5n!wc*dqDLs}|roN`guJ3ncIW5PHpZ}B~x5wT#+vZ^;39aQa zYw9=um4E74Sjn!?PA-pvpj(0!42w-s>KZOWDUuZ#yCRX3z{BarMmrg~3AM<`irZhc zG$)qU5rb3h+zD^Po%#9W{Ik@2M}`gmTG~G72FRsfz&Y8~SI8;b8J|N@zy4r1A~+Rv3~LMsdu6E<$qZdLN6XVA0% z;(Wmgne5_%ty(9uCcH1mtCrSRgwgC2gbl*gZ`GI;5gU8;R2f|9;y2fc)%$hB-g-dp z^M`Dk%)CZqC!Ddbs*{K5x@}m_c3CP258u|nOB$D2sM|CV*wrhok}31Kw=;KN+RoPe zLDQ7b)4863f%v&!rd?edBd1(%-I@}RiLq0AI2wQ@Url;g*fGd`eV}gm@iZ)8iGqc& z2tIr6(B>Z`+-UZ9tG9(QWt^W=_Q2E6L-$(?{-dUsc`*nv;=Wd{HzxLw`2h3l-H4t8 zU$ShI5=?iR5;wtRgq}DA5oo#`3^Bsi7po-sbgVkN@8``*t~W+_kcS}X$+qIb^5RKK z0W$1@&`3cJ|MA93ud3ju54kd*>|db@UP#6BDux!gDx03PzsY0@$k@~y z*5p{-oU>Kc>L2%P9yE*qC>``TS8^9yjTRdF2vCgL)QpZffL73+(4 z{Aw-bsB?EQeCDpf4;$@F!1l~EFkTj^K0Pr}%Q!KTYq57jwEs@)o@Vjun&Fa>UAvB+ zkx4f*n|P5$DC~I`(Zjq_#B+aylvCFiXf+}S#HpKlU~5tnfOoJN%-1jzksTA!R(D_zcbPWw zUs8z{hK^Mgv{H|ug8g4RoeG~ySe+O&zw`~5jqf{BGSFWc#U9_Vk6dXn9yiK7Dkb+N zj?GjULOXiXsXMAgno}9^w^as2ZW3D>{*8E1;z{_1(<7+-q+zw`TFvuwcPS~;8U>Mw z{F=9c(Jtv`>}T}eh9YVm{Cqf!!2Bod>0;6aeM!Bz&j?D`x9=_6UDIud952}#FGBEC z{_)-B473*e(W-ekFpv_8d6RhR`~L1?c7_OhH2M>?+8=K=JZZGOx?L%L*B%X(SSmnk z)cu6g?1#ghdTsCnJ^?=7_j?s>3Bydqt{MPVR;$PBot0SIRgJQw@V&Jq_49u@@XF@1 z+7Ec+g5bFeQGlrKSJiJ!kDy#zax9&loLU{Bjke#DI!wu!OsIkB)a1s%N$XA{!l8jY zOQRX)?NLek25Di$3J;a&RBbg-f>XVn*XA0F~Z?Rk-`un@n#3v;UQ7EnK~~8sa&ri4UUXL%X~uQ zTiKl9A( z&AmKI?^7V<(&AFsGGe?)YI_&==E7)H#;YWg8=GjbxZhDyq8VJ z<^EKxOg61Gik=pO8P7AMbfWE(D?QKF3NDyE)@)X$Sv`j@brt`Jlaz#LMWWWN#&+~J zAIvud--70Vgm+1SZtS6ClsOEF}e$&^plNXDmT&cmGoKjiJi_*?F-|y5j;$!;g)wt-X6y1kgMn!2H1PH?%S=?zPf{S z&U%$`Sl8n${)S)y)qj5m-3c3;RbDe!haRl{d?cDTyH{ufxNZ=gKVzC(z0}afbA44} z&THomQl^C5+Pv;cE8-SKOfwAnpp4LgX=^A|CVLtixKqMbeCD}a0y~Gc+X1gk%RGnt zFdBRL*8L>NpamQ|sj~DRZzB(MUip`o&rJz#T<8F>y|KVwEN^SD^tD{oAMVN_xA(=V zlo+GmXH){G+--U6&_=f*A?w~B>KYq&(_bi}-|@M_^=(?6xMF`$rRo25ebmYihK7%^ z)LBj)W3ErjbkuiUwEm2TNcaxDzJkNZPruPS_l~%u83fbDdh9lz&R@r$(LexA^V2tT zRW0I|Wz}!r=3ZVzz`FP9-0R3=PZmH(hk zm(SN^3pnuzc~bavdHp?Ah(SfpUc%8otxh3_3*xhZ_nEg5tp#k0WHt*M?J&t_tpgX6kicE`tFQ*L6Fl^>Gh)fscUG7A2rGFH1gJm^JQ6oBWm8Qg1}-T76Rff_K?kM?P6Pn8;7=* zX2q>u|21ULHR2D!y&;7d_0Oi)haVr%nxK}~QPV?vBXirJG-sK38zO~}1`P!EPL?Kl zWeqDh)x)R4L5Y4db7@lEE@Eq%n`Ym`wzppt?>`thmKCwPO9l2u2dLf#ujjww&A3b- ze0k{1CxZ;(JQ0n|TX?^i;Og9GlyJv?us32zUtCiMk4K^iF<`&9e5uTZZB z7cY4mz>5QCKlrq%|LXrR$EX1$93C+0Mphf##}3-A5gPXcvYj)LvN0Nwo*7$7kx_{q zl14?^wj$a{VL!!yiZ~aJ1&|Yjdq|!r=d^A}Tu&k*`c}j$A2TxFGi0YU-={#Desq9GS9H>3b?4F|rfmGM1P5w><9ezir4TpY_`khXU(%t(YhWXJ0Nf zHyZrptLXUrf6H$E9bYj^bI0D&+3KYl-qwxEJ7E7M&rA}oexU!HTr-l&s@F`&BdcV% zZ7**W#-YjNfQW$F)Picf6xRyn#s2WD3=ps1G_~Hx(49zqP&rP!I-sQIis(>`tD0@& zsKkncB^}30v}^5wGur@m5B&1W1SLNZ(b0pkqUMpF_uX-ueYHCF&XgdzN1L?B zYU;b)(I=KEPhLW9$unt*y3TP^?^17jl{z%_nC5X95wt9^$p$O{l;O)@nvHdmEt1QU zO8AY)Sr3oS#XYPamdLgjKnp?objC{;V5a^I}isRs?)vi^KNe1oYaUb2fNH zXE%!wd#%R!Bw~ew2O5W#A-aUe3CrOP>3-jd;hegun;Y3|mjcvjHMm2l!Q!uiUzAt_h?F zZ0y8^9bR9Z*K=|&x(*ypiPxP-;I=lAgb4iZ-0+NYuIWqL-o0~TSoN!c8<@wt{d}4%$z6cK!EFy`PVhKd1K`9DRw*{h6lM*-ihnLXRWT`KTlWW z#vX@l)WTZ9G%X;kxRX;sE%`LUq*swo6jp{^7cBo{vg$XJKG5}^Qg3EHOm@`|DGZf6PDhVr|Cr4t!EtNfK5Tq%+^q=CNKN?LAiJ-4#WYJqv$F=6ZTRE-Cd%{+ z%Bk%`u4=u#Dlu>Rdmr}k7xI^3Nx_~ec%wFc#=Q#Q?K6esN`$JizqS4`!VSCSdsM##xfIG;NX*VQh-M!cImc!4bzXlI@pkJO|0{s z3Z6eELw(UQk!ss5Kn5lYKapD(sjYz+x6ESs%AaNZ?;sVHB*Q%s37)i-E<2FQqnOc&FrrMN&v$W165 zk6I#mljznUL0X1Y06jRrJ+-U?98r8*-^A*DaM+A{oeZjUYed>SuM?Rc_+TkhfM>Gi zLAp?8h_dhafTYFKr35nAX*T_z#sm$x44xA_rR8L?y+80)?!E>P8aTgEpEh+sOGt}5 zm%#EjpjZKV*bgzRHyFBR8$>~F4n9vA*^?zasdMj6gCG>_*&1f9bMX&cYPiiaEV2$Z zerRO@-<`|NBfnyz+-syJx+FiHrskOoP5R`nio%vW{tUu=BRmp9BC_WK?PfD;hF=W% zR7WO+uqKvBsmA@=d*z=>{DM7fSsdMirHyq)5zv@M{|;jUDBl78(S%2SUVg(ebD6rk zlw8#Y;K_4VKtnm3GwbxMg`v8!s!V*@F&y3$UN&jbsi1LIF_EJZ-=K+?B^!>NIlktR z7Wsl?$zg3s*uPNxtz^Zo)c<6a;FwAMSFkO!a*Pj%(y!Db^~>8>y#55$N|6i24|I)!x&m7tF4-AIw zTlT3liV{h$iK;U7gj%I6x#+8OklFxyGC5-d;McjOTXtxW< z-?L)|VHz)=_RP0YRxT~rJZ#Abww#_MFh;zi9m!j>sf=J)v0~|9QI*?Ywh&yV!uHzB zC{+Tp+$yNjc&I}hNyI(t4w|s=SF2u5fYYjsd8{dNnv|+#ySK^k*Dyz&?cxVxLNrb1 z#*+Q!gOTg108I4q)I-<4Zo!;TZo`RZkiC;UKAM+S^6^1vy$;` zg!|;DpA*qMCPSUJyOqlTK2%Ybc*p(j9}$EZAta|UJAJ7Y;u9M1iq@*VFDQ0Tq#)FH z>Y%=7oD$adCOf$}ThYyJs*P+dH(%ZD3CSY+Z9NPZ@CVfLBPpB)Eh5M&+1Xg?7}=lr3R(4?%VK%O)nE3y!k1G(~xN zG3tU}A~o_>dQZnRM?S5mc<+V(e#;_E+6#>`c4Bv9vbAmYN}A_Qf`^^w$O7sm-%k#a z>_pjv8~bW&$s&qbqOO`M7cA@Q6vd}U&~#v@4{9>Folxd!0ig3z{|>WZ32%`2CNoOIk9 zTNrzj#0IYnPJLvrq!{Zw>Bql)NNk|8GQR{mvPP-PGhi#zv{N%Rf*$?=>!}v*0JL?b zat_E9j3WQHC~K0d9c3O`_g_n>#>Qk*weFLW@-6>PHYTwOTOU;I-w-`;&( z>e2xHKxsZ3mnNm|Zv$Cd53K7>J8}7bB}3P# zG|XGlTKCl8mOcdgtmV;A`wJ1>Rd2xPsI;_F>5g2;SYf=Hl)$uhP|EcOgNtIf6BTNiyCf=9Q@B!3Z$2x-+>e8 zLyv*2&Wl)r2f_v?|9r&)f@t5DIWLod<E;Um5uno5soAW*;bFz)OMW=cD`r<; z{csvC;-I0W@wYkt+TH`&lzQzmI~2E-DC4WglM8z~5(aCWsvENdujgX(6#Hdp`IC|iRDedLThnNAvaSV{1m!Vd<8Ql(9Oz%g|Cp2?pheX48`1b*DN1@u$7 zF(9A=V2bei$a#kkdaaO=JhIRhy}FWj`Cf@qm^U&Sxt&004NUx`<(c5xs89a753kY-!nvgWJn} zg_g2hP>N8)9o5Aslf@<;L%CbGz2YJveNUS$%F94zk-dKS@)a|mThd`cn?zoDU@RkF z0`=fiQY@<`A|w6raiU6Ec((zud!|P=HQoH{#ZJ^`V?Zj>D|I&HzG!3Q{wkSokq3qh zxx)niR0u@vF9{muA7Aa!qv8Am9%+jDRXTaCCQlhf@$GBY3F47|l%GZ$Y)H^KJV-ANX6_C~6pRJfn3aH3iU(D^t)Iw0A;v z)jaUNWl?u0^NNa`xJlN(5sg1yq_{uXu0R%(5=uEv366WjieixMc%E&}mb&lM#|p8L zg(}_5zo9{ROv^Q$3{44;m0Bo1=dLiK)NZf$>~R7oGcT6`hD*Ld1B$*6In0tdyVjCfKvjnx_uw|w=i1x^IKVzS8Dk0 z|1^BxQEM1-=BpX@mX~(|ya}$x@#353_g&PrhCj7v{8q;F-Q#RDe!fYRj7@v`e7%ry z%fi)g^i4WJG*d0hZHNY??&-tRVk!>d0+DKFj&4{RrWAvJ>;en-A1Ya-78$-Pd(2xh z>8+kPXiNhfb+Tg`rawzY>E#Hn)S39yH`hKWS7hAB=6r&y#E3IwTUWlZR{FW6*HShZ zL9Nzl{)vXY49!KP`cXS)e3FOmoX6 zD|ye?)&|+{v~wwJ+(*g9DN`qHYbXudH6u&z4I-KK+SRiUYfZl<>C2(ZF%Lke4dok_ z`BMP5rpeXG9r&${#UY$4xaOIz(ja3m2o_Ib3K^?R@kBOElyvdc%EOn2*~e4L$3us@ ztE)P~yl22y}l7K561DO(C4jaV_u7B~jL?P*#^%%WW0l!}Rog zRjAGGPtbAwPCZ&nofGQ8ehXTrG2(KQ1;5S5NI)YXUH8KXZ`0bss(b=ok|^ia;$t!q ze?6PqAcp!4ZxYti=S3H=ro?%J##RO9$KD5y+d+ORnW>Rq4Y@Vmvk+XnNcpp5 zcPc4!HW+2&GmP4u?U9_vqbM?$7YnxiPxIuCn{ThM_ZG~pHPN@l2G!ROvQEF}Q||1W zcAwz+G{lD!iX?ikdPND$izrWSmEiX}t@_@WX0@t#O7@>AgIs-Rfx^ILje|R@nah86p&C*)1Bz}UyKvOjq#d9?52_f!LA{rB-x5QS%y!{d; z-bb+-vDssxzx#dU1ZWp>$(o~JxX#1etHGEC`ezlkWg<{Zs+-S-)^V2WXPCX&O(^VN~F zS%O&3(xXpx=(+aSnBZ#}%V{)Ke7194ewZeT3uBKOp42q5`gzySAFIIew>8lC38-hg z6fC*|wn~QEGA{dZ@8`9BwLu#yo)smQ=8G#D;ESj@Sp)5x0y!h;cg%mBnI2!XEN&xB z%KE@8!zsTuUHepTW!ltyoN9qb#`KZ`Q?jHt56-QzkEk*uA7=#$V(k7oaNPP$2%mYY6A={9FupA0YIhbpRqQLlyElF? zRSK>B#3u-pzT3#i2nuDES*bHKC7(--91@$I;C^#GKE$Tux<>)+eaLX zQ-5>ZrdA5^gqmmx(+8ta{a{EEpaAU_h$syH9QriCLQF69*4B5XtEnt_8S4Q39T07l zoF7Lv)?n+1h7~TlIhAppDqHV1*Yf5|QM`Q{?Dtvc6|H?ddjFi!sgqM@Psb6PUyio( zYZ{fxqFHIpCY;$`61jRK%6l^V>HdP=bj*9;{s%tSh8Am8_}$UQ`c%CvV1mj-CzB(@ z-_>dF>xZ*CXAg4E5Nt;-@{rwW+C9J)Z8Uq}VEC;u`F@OQ5UlQBNGR;Tya%aea(M^k zR+=O7s>R{CvwCOq`|b%NC)I)y8}^3txhJz4|JhKGDgXCHT#PAn4Wf<5ab41&sW9;c zr1L;#rKgh=yj4M;M1lj5%$}4|_%q7!)rTC$VAFv+;j-K@!I3-d#QUF!5Q6cx<&AGZz*5j zauUBx?c`o?0RG1q`UHwVcpAWhn-PDMKzmv$)a6u8YvWyCHUc}_JNC67%=f&*R)pRG;J*9O^sqG-Vy|47;$~vM^BNbIuRiUN!V*n{*drvBN z88mZM2G+WTF#w`;kUdf^=8@7(;^Dt+;Wuyl=S=8yv2^@DO@JqPZk`tao)g-_?xl{I z_U}OklNm}{fSE;bYhcSUgy$onF?U5ETU$|P8G8~}BzB#aAd;bRy`jQnE!QZ!KTi}v z@TD{}Q#)pUf2z!t4qyb+%~O9q@A=_kh?`cd=Mz6X5$jxHbq(Z97wab1yPHQjk})pNBrLVg*AarkIMQtt z5Z@{Z!C}J-28Le}bZ_F%+?Ts;ll_62geuALM1Pvm=H*#4vfh(g_Lv|>fc9v^P1;gx zUEgUL*)*UJpOr}cG4Q8AG|uUiYFm&mV5uE!A7Y$jCbZ+&lT91B5oi=~yW(J6`)cLC zls}CgaUtM?DrSdndB7=hEx2IEx0Kflq)CbVI^vrJ?&^I1M`uor1JJy7@Z{9^sf-LWwJ zUNP0w0q%+^2(!O56%2iU3;I&-FuHEOqNvTGxI{?bv>2)s(bi*7Ho?Ho`#x%DLT6tN zlyBIIGvjB~G$NGyV=$nCHUQAktSCD^O>TZcn5-U0bIfRx+R@EnP6C=dKhbc?}qS+6!m0^uts5Igq>yBMhL3O zzhh0w1%Xx)+Mi3khO%8=E?0MrIfGgctG2eb(F2_D#$UgdCKg0z0O$$UdSCbb_$5 zNKmzt&-_{a7V(V5;#51e)N*IR)U50F;YH559qJcct+G#Rp4V#Z7|5Pn%j&OdC5mc& z3wtWPGEA`_dQ_`w0Q9j#+Vx4+xahtjp0s3$i}lN{j$wyf?gyo(`UgQPOPn(Dr<(2H z3~#~d%!@lp^B#rId^dJ}ZE`#FhNo8S;sYJ*%JTGCst0w}ifR&!z9nTlTPI4kM>z7p z@f@3AiK<^uaYvbVeh^NL6FVrq_U(Q{O;?9;@TuwXb)up>FeIuU)7>fXmtXpLi+J0- z0}R%;n`vA&XC`u-D9lmrbxW;Z`2ZKJUSt0ZzmPz&e?GnV8oEk*_iv!Dbq9xp^2t{^ zY3T9Fc-_Y0O6gG_LY`0Dy!5(VWIc@Pi z<=cbMXEJL|KpS!?EF=}%I$#d+_z;18(|Are*yA0=%Z^HiQ$2Gaut@aUx=B|xA5#e7`5__8j>>Ghs+<71RxTv|ypP!!kB!actDiv= zid>j69vul&-Ico>GHWQ)KJfOMEtPH(uMBj;lsrG^p-O~&)@`WBXZ2GpN9zXz zf9sxm4L`SejFmxIsdQGJN4eRd*VL`J!DkVRHliM{b6d<6BlAm__Ia^21Jd+*%JyPKni+(3Kxy%%80pIAWVXa|Z64%g?xPODyq{ zMPPa(sARuo&C`-|_AZ);MZD)#Gvky*gHB<)IiBh?q593JLxn7Y`h96vRNIUS*9}u9 z=D)L|8wANP$G!=u=UH>Z8h+@Kc`Fu?7TB5`q>pl^st1-yAlCQSHm1Oog>ASw2;E%u zCo!!#)_qOJZcnMKUjD;v`SxvTw;T{QiD@mWsMm2g2>DZ0d7(J4qMqz(}e6RuJ zflkkEjC*m$)_HeZDzi;w>}wO5J-(OyeUm{#SlCeMQuWJDCBn)WK6c$w*e%Z?Vgt?*^&A^u zY(07n1ooI!JbuPQ98xX79{eWIG*~A<|7$hiU;b?=5MfUA7z23>xfa10lopL+yr0o1 z;_lG|n4w>ZWQX+8Lm0<=lULScnZ;;B@N@{)cZ7yz0w{*Zd1k+{upIo6RR^Ep8&}V{ zmWb0x5S5F3HFS%~!-30H>Tja5*M^}WD1)YXbiO`wB=pfu^gK7c@nMArxFDRp5yF8t zc7_M>jP7&MVj4I!{H1v+dr;$~j$00&)d^_pL2k~A8&v>Rki#GxnHS6&J)g#1>OV6+ zPxLLK2KnWMF@=X#%DbQ&!WV4nqmkq1=Ux9QaVm;KO?m*7luEZ2;Z>vGv7L7MSY{m? zX0f1`81f3rxHr%582Ae^Q@ZyKwC}8udgB8Z*P(&z#4OR*DHfRIC)!?P((p$}5?gs; z?^1TU0IgV%OBCh75S{-Om+<+Vjga8)Kth;gUHhT#ET`l$q)Kin>_3J#HfcuM`xQui zXx6YCMS3PPiL=d%N=WO$ry$q1J|jiA=yzcm_CZupOYFWb>hIG)RhD0mbWv}-6;{iyOza6|8aE3HmvfT zDtyxOO$Ugf~JL3?9wFgTNa_U&iJ2nTd*!)SU^B{lO z4)XgzF3p|Es4Q^C11Nv7lh<|Y#AgMqNdE2K=znClt~EZFT-uVU(4hr6tNMUzwSl=7 z!)TwDqsWjWvxdX{Id}x|;jheslZ3UKY4*tErN+KuAshb=?OYtQ(H>P_XP@|Wro-H- z_**auK!K~i4U3(ym?{he#cgGeL{AU%Gnq}iN^CUo%9kZU2WErWjN-f-OXdji74@Qb z5%u6~==6&>ea8*iESI3m!LWl31?}xpBOwL(p5Zfv=qK?L635{;pAEO9ST%%Q=V_8_-EGU$eDTLmRCeO_dXb| z@Hjo;=IjLT+F3wnhc6&{*;S>xI0IW4sC6d%I1^`-CmnWT2y4(z95|MHC}tNsOE12j znBe;;C;k@{bFN?ueg^oZb3HayyK7%tfk}(tnyCQ0w{COAxdsH*U1SDwRgl!kLu_o_ zK#=kQM*U3asg9`Q>>sifwH@Yp(m(j$2(kRg^6!ivNNH-Fe3$#vMO15#d#|hr6RUq! z!{iHJ_8meA@@Skf=+Vx~kpm_DQ=HTJ!R&VWH>C_I79YBk{uF@mZ@TL$<}sh+g=3VJ6~wyK46Z$O`YNHp%#oWEZoI9ekz)*NAVwmxS3ro#Ac$-hi&P=L*A4W%_%ABsygfm>FM z>tVvve$sB^RjF^l!N>I?IB}_((Vok=z3GiY-6-)sk~?)Na`&QtmHewzpnIR^ zMib)LRO!v-!4wylgXm(3O~14&op&L{Yj@-6!%V~-HsC7NZ>l@rhhM!k0^X zN&f7%Fx^$<-e>+X-eyN;g@?+3i9zU#o&E9Xnc>I30-@~;%=Mq+Jvp7IZXK%xqW&+c z^I*lk;Tvi6a-@CDzWtmXqj2BaEsPCM%YI^U)fQ@hQ(>3et0fksA1k5NC)IJPggeFx1U z6*Y{jCHC`L^_avHn-J9(#iIFvkGdgg;8Wp!oKhXuFpHdOm`7^v%XGZ&wpG*0jnXc;Y!LAB`iV#PMFy!aljw?f;JEXf zo$wnM(g@-7=rI)a>yM$oTemkm;|uJwkG5`wjiaK+rotsTUEp)q57guK_5MqE`d@-$ zq%Sa_-|zdF_Hhd{t>YefaKnnEzUi8O_Zy!58@NmmAM0S1>V(&y-Hax+b2SWUq-)zB z_WZ!F%TipM;jC{Y*9pJ1mEez?2HNr}`64pl1Q}tb z$KxyIkG!a;L2P;jL``2a-Q1fr1}|Go0`D-pGrpbDcN+=+VMPe0PN2B#;1t*QNilvvT4c{|09!P2PP_?jJum_oeq5n=E1sBMh z+`F!(X5Mrm=j63tinTEtvk6agu5`WBnt>|#A%WAr29Pi(?)|U#cG{Oq-wSM2&jtSO zxlC+{p+23OS*+=BnAsOWLj?S|c!8{Wi#%gVRYoVUNc*_lk+gy1JuooUfEM8vp(k<( zAMNGa?uF!TUWqFXRzN=E|7KP(vU<8f_6iccLmFL6Bc1;n6Z$7clJE)>{?1q~3s)jp zWl!ED&27#dhH$<9@6x@49PSwn)Hgt2F!bn>JDfZGv%JHr{T845M;yyyE5(l3$`D6CM4X#+6Vk7qrf5|^D5;=A0fE1u%zoZ&UOIcs5xT-asl#|3(u`@JLhVD{Lhscm~XO z6_t|=8$CtjH@=E`;?F~gN=NbpjmIs2zqAQ53bLztl2i~Uk7+KhTH{->Q&i8?5Dt1e z&_^8Udku23;-$`?W5h>P$C0nsax3^;Wc`EL3f+vdId91asBqm~|2)KWJdMWeBtN=H z7eOT#`f+XMzTcz)14X+)dziQI8FpCQ<)-5^jWen#36gBdZY}VK3%NUkH@M#nSy$I^q5BLM#2xBkk`VthN!b`5>cDA=Qp=4W=IkL_#B~s2Tsr*2@Jy1wV&(=hk8B? zAGq=%Ds0B$pl-mc9XNssary^i^s2}B4S|cj#1#s0-Rx8h%4ZzmHSBi>f4Vo^Gv2hY z`+>8eGHd#2t4M#7Fnt4hnb3Uch_7^*_GYvCjHesQ0AVC>Xv(y<+yXvI8R0q@_n8!= zO2vBWY~Rz$27FG;b8hy%#vJnbH(6K71oK~z5h(^J3SNdy&*YSdublpMPZ)A>b2`!U zo^sRD+*xfeqi}{syLarz0p04~s#b4_vg^EUb3(Jp`&YAH7@yWmJ{52_NaQr5D_;%` ze4UjNp;aG&tMn5O_{Zk&XFNFDt=If&fN~KWdt?fx4bVIJn^7OqdSn`3UZF1ben`2Q4fU=swnxOBuU0Nqy=iIlR?u)G2z|%RWIPFjK z>YQGwidfYWV9I=Z`KSIpv1W|8#{38Tk@xILNL>?$*fz$uZvPRnI(IS)M8lC#Bb54<YGU7B zmeKi>GkM}?m(6D9>l3b9@$9P1-&L7u0QP{dJ0?uM{^1!gA2WAC*_~^a_FUhu+c^C3 zjB2Pu=j^PV!cG*|j_u)@Svd-K?qO^I71K`HV?pz2+2d5z<&GSe%iJGoKp}NrrwHGU z#6qxK>_V-)PQ6%;YiEM1-u9P$39rMUt-kS%UgGP0;8*T-^=^jo9=3R2s;tXivhuxX z`hN_^$p3T%55^B)Dwk*C*Jf!E6FG0APXDd^YuDeCJp!M}nX^-5xmH|9;**d70~G-k z4ik%8w)=9Nm&Sd;xUP81W!#r}KS}f4f)>Q)5RF&T#gT8F?#RTV^!<7%AU=i}mD8Uu|Se_`ac3AH3d7vwDS>|{sOfvNR zSXlg~&`J80aahFYIx;&c^xsU9{w-BD zw;vdJMqT<%TmQ~q1-iw1DL1%xd9641xU+*+w$08v`#Mb!3h?}>6}O}N(*F62oaRlg z(uVWkTCLZ%Rj#b1Vdna@a_nnnTR%1G=e6E^&loL@ZXhH0b!+kv%kkhpq~Ll?juLOO z>8Y*uOe>p+3FT$?iG?1gt&rz9jgETTC-(Ol4VG!kfgHDWUq*Pe6z+>Dp8S;!OUFy5}_2S7*QySNQyCIrz}Hc z$ugE<#yTrz#w8Qk*E!L5k$1?A5{Xuafs1Q5;9-HgO)r9?iW;Sa zM#AyHFw^{gQQpPuNVt>b?VWp3rgW?BGfsyAO~tTX@_Ik!S`5;-CgjYaXce`t5$KUpw&p;RX>Orbw`pR z61MPm#s>)K0g+7T8D9<|W}k@Sv-OaDjF|bGbNEb3%ppp}Bj(lo;TG2$4|{D=UaNhJ zhw5{sjXz0v<0khIO#>{{SCkPnF{~)in3LwOsnvY_-11M2EJVZmEfY)yb3gKxO{^td z71gK*o(nG~3PXX`fFbQ)e}(8lb^+oo;(UY_P;nTmZL#xkvkkGMy)bS)mSJv{)36T$ z=|Jti((ct`h4#$XM+Cv6)#nZ6DQwgnxo)i!(YUKmP(-F+)gL~Us8tLavY12|)7lYP zlv15e;Zih7UMKDK43O4W`#DjOn}AJx zj??s|YCCwHA?D4b@S_OH0lM1a;$Ukr;^M=DrV{It*hummBle>@q z@9~+|-KoqX8?VOTqAbX|!WHm){I!2!5_A5F;eap;{kt$-_0!>8jdqS9@doktnj#Mn z;&D!G?*8x3i&wmrqNj+@@2T?frT`}C2jF5FT2!3zzVZIR+!ChZ9H%iU7;1o2Pc?gS z^Vw@KR0J!>1k49-2aA$6q}r?}ka3BFeKA0$+;&+BX#O*Vf^tt=RyNQ>`u*l?0~h%( zKCYl1lmtB~2|C@}|B|{PaRw)LEa0ieh}GjMR?M{a4Y8l}n8>MTY2}M(IrJ_& z7#|+4H@$Y--n{u?K)2^n(+?q!JRl;E@JY)MsUKv!xd=m$>3w3lSxVynvmpTf zbX0ixQ8o_zGpaW=YDfg|$BXCsH&2KDYXYU(|T>$3>w2?k-N%r0*&}$LL zpWYZp5x9B@UuvD+x{nJm{R#S)7%*&41d~59&rf@)*DICA15_>(dkMCR4;F+^`mqpa zZ?n4f?xtkNLu`uOsNo9`|F3xKu{pj?r&b}V)?K!me`+{MouO!bhirP}_j-K9iiI3= z+Lc~w=391j!UGq~HGoD7Z|hu{Dv+kF-tMgm3g`b3q)hF+-|7@b9@s7-oEiRmP!}6Q zg>qFKAK82do*qjZp1(^HJ|f$s+>e17OFgPp9vD%gM3~QoRb{xH6txm%^RsTY%l3iB z&ciPoXOZ@h9z>=Uzx9OlWHQIC|KXuplU$&^;bwzP;kA-t*1S8_M>oCJL?!@)mv|oTA+U2d33va`5(STwBK~>W z6LgeNZI!zd2-@5arsv^sFO-I(KNynG#Wy(zr!7@BXC4i8giIT$Y${jbRb(t0{raYU zzHtxJF?UfwvAk3d+u~$5y63gZ)k%btGt)M?9+_R~J!i`iU*Yd9hd}S8S+L0t*P$BB zAHb?QU@>a!JOz0xuouc+u%c@}%D>N0;~YW2w5UQlqOLV_6lu zI_eH=BBC79AzSjoX0slC!I)_$M72Y-IuS?L0h#-vJo>X!t(;T3mjxhh4?S^pba@VJ zufr(Tre-^d*TE6^ZQtAD7rEIF!Z1up*9HRW6I*mAT;3M`D!8|G7cP4i+qea24Q*J& zg+ia@N|g#GH=0hw=c%sb1pBit-G3J}+gEN9_(;uW*uopzV`mvkn!~$)^H@O;n z9_M(g*K9)35gkrFtdVB2VDK1@;d;eQml>k5x3dp&^40HJ_va8zW#Ik4i#w)vqid!1 zi{tupjI|^==D)K2h$QnNQ($!@###hUHtFn}&Ex%A&`uH70;MScbRmug=c`5#6J4$t z*e1)TM7d}|!j1Y_%=T~l-!6(Zh3~zeC-q3+OAkRG4jG-Fd0O;>(z8%_jq^sw+ zjG>T5xq`+k>$`IMz$R&P{YF9NlJGEdP*~KA!_FD5Vz_S*$uQ;|Fz2j<##rc~y8BF6 zR)pnrsouY|JE&R5fD!NKmRYh^$yn#uw8oK!!M5VhcJLZ7nAgnIQWe1r5tKw zP+RtzGozJeJi8@`mzksMEPsuiZL!zNstJMKVttJ~nWZs}JC9p&T64EUcQ z%T=KPUco9cO*n_G0rg5f*EG5dS{}BP;%GwBipH5%LvCWoV!ZQwj{k$6whB#IdoYR- z;JKr9NZ@D0^SwiACdWuK%qMLezdx6+{mPN;V&VxTSRB3z%wlJT4!~7+B30*_b5YtD zr-yDpYm}!g$fFEL*_w0CgTeN592VZd!NiaB)`$oV$gsyd{NvIXZ^V$!+~s$vjSaP# z8{hM$C4#8p1e46v=e)<_i{pkV8fTv@2l2Xf3$&t}=xfv;LfB0K4P;`MG(?U+{X{B8 zV#h(mGJ8IT;P5-m{YTzR=fa!D>R-kG-PZ-osucG(onKrElo+Iu)C}Z%&<>F>q1_D= z;fDuvx?z1kht?uj9BU)4X$tYN&deK+=s{4*)BoCo4$e(h7mvQ~HbKy&SGx|>0+1W< zZt%3!g9V~N&XK+7m3uG$wG5stfj!Oi#U}~3T*N)YEG!}rhBqqkV~Z5{lw4G`YA|3` z)uqsUR5hV`+u3^-v8R6?>r$i6;|+X+dp{)t#cRS(xP-J$ic*8LrJgsEDzJ(0ku7@ z&Xim%YV9X)Z4$>nFV5iupP8JA-`AO{X%wn*iZD$AI)pjIolfGuLMC|jGPi>%ep;MU zE}*J33!~fSVQ$we8X+_+kr_B>Kht@?p(*3YP{kp}FUEH6Gm0>puwj6II#h6TW!gt0bKZdIRiOwm zPuwafmARntYnKi&=Bv`&Rf?257tl@dvI5AZLkyJ1H&=vNB5|YhCz`PGPT`SWi_wgS zqgRaOh3sR202A#=22p~tk0NQJFkbeL)bqAX4%Gk90@}7SW z!+Wc%&wPtR<7DmEwb(-3(z2AA-aq07V_cHco_M;;U_Oz|Yx@vO1JK|r>HA7_My3Xoi z;#~mRud&~;*zUD&aYvZ{(1z{8l*^Z*;5J%e20!dN@&rM4DtH7l(emmk*u6_?1wFec ztPt3na=XaP3a~>w{h@?%V#JBAb00*4RQzKu2|_#QZh8~)U3M`)AJ0fLzUOevAJ}+} zNe%$8dmmF9s}C^sp9kO36}y_7L^Esea0RlWjWm(R#Fxp#84oERkZ25BEe0#3+Adrl zG_J+>DKC9#@-sp@{D?d!ufJw#SR<-TFUB0E64Qsg_m`clnKSM_fC`RzN#oQU!GU`8 zFW6f7H>Kx5Fzd-orZD^DNMM7WHtNBN;d*Ob_7nEqcP2$fYhjDG#mv8)b9)iL31oIY zFHm0oXt4Q<_^b0P(&KJpXb#KisVF4OIkJ5fjj;pdFocZ*hJ-08+J#4x*ST2v9r@{Z zFBw9%s3#9Gh;*!ROK+Ll+L=ZA1>$-dr^PYytk~My)ZHJ@4e;RU1eCoEy%x}~YA zK+4oOWxs2rjsEaP5%~(3124P>>eLS7nEx@ZO!VEc*9(o$S(j-(U4Yp=yoMfE*>=@M z1zE~b8#LBfKQ7{(hWLu3oD;2nUxjlTZ9Cun@emKJo}JfY$hAcVgf_*Vxm#&}FUjDgyxB%kstxC%` zB0pxXGA4(dcuHgS)!Jcv*hT{dzN2|_M@4Q zbB>t1Y;iF3Oq~t`B{{ly3i6*n!GTDLx~TiHgl`H52b=;3&(vt?pG^c}27kA~Th1$v z2A&vYcc~xy0Dq^y%6*VaGzx1YvWV*r(+>^ZnWnvXyI$OJusyMNRmH0mU-s$MrhF#7 z`?n8X10&nL_TTbO$=)7}Ls1G`cE#lRcv_oxlxG6U?+>faBHcx?*XQ` z^}dKp!kt}z;)W&aFdw_KASJT>p6C z&+m+M5kuR|?t~^R?ka1@}qK6@s8n#^3*V=s)kEO5^XS)nClt zX)qt28aAZwepo=isLD`ygn!cPiT9!>-gqVh`B?u{j+`I^knAQB%WY6L zyotae9I`X~MaEILxInZN4c_SpN5jIRhhh{~brQthP=`#bVa>A}M;C^RSWOlAhVOFJ zOIU@RSZPS{rGXsfak(uU;q*b}`R0PO`Mm%!`9->uW2?;TG_-cB_RV)apO$`FCu^L{ z(t2`}_g_t1x_;M4>~aDy&$hJ7hL_PVcf-moa-Gh7a~(6)ToxjTF2py-i!WvvATO;2 zaVKx)l3#yugJ-j41mwrD+dp-`BR?X zkkpWWMwuRFjXLI}=(lqQd=ot(TBHG}piw0$!XA3~an83(r0JJaF+lsDy&f=`Kb*Aq zMzzuTOD8EYKzJ~v{+G}%TyA#EA9ibT?7&p`em}g$?n;taiVsv+lNc1mnfP}m|V%IfqDVF$)U$oRVG~! z5+WXVG>MTGJ68pHcoG>H1L2%!2*0S@Dg>orEcSpyRmZB3WJ8Hp=iXrrG^e?m_2RR* zuu*H8QyWV6fAvz&^Fw&_u*gGQy9K}f{sRL!_u&3^9rt@vEZ)B}{%N8u!TlvmMShPR zQhk})3G!CA(H{L9`|0oBd?n3U#OP~3;)}?k3}foW?USuhXl>0`F0eZ>W>4jy2NCZg zR0J&~0Egm`Si8ERLhfG>+^@2`kysK?K2b1+W4ibNLl>PEObkHRrI|Ov)lg2anF2KZ z;+@7bJqW6a9qM3f%fa)gFxvxt>?r0OLZs^)rsg_Yf!+P!b;8nABPq?y;W$;t6PuU7 zJNl;yJ{#8UOG!Hk=U1(T_eRXRm^R9YcNqbaT*-d%FA}gb6y2*;CaVMNL$|0L;-+b} z7-DPk=Z*;Y!zxX5%jl8$hN&oH2rf7LfEraS6Lv^2Z2qWQA%F~4VB|?BUp$B>OMs!( z-NYVDdTu)_pL?a|H}eflcd$z8jO4oWm{4px*dqE)ApEYF$5CSS`{1S$ol4>QOWj{I4QNnaJIISWN9!)2gf07ja1$7w*~UF$4Y z&%XHq+mi9-!5HG z-?vfXbeq1FQwI1Tdk+QxwT`^+p8}j@FiJ>wSv{WhYeOlUv@d8ZRg6|K9=#EWui)a0iKG*Uka?^n58Gj=}UYb)gCuFx!5t(Jl%S&;o~Gu&jJ zc%&Nzh{Q0`j;VxRwmHMh@ju7ecL)emCXkPmR;~TWebPs=JdEpWZqFOa92$T985(_# zvq5KJ+OqpJ$ydaB*m`g8?&sC!GnGb&1;Sya63LC1&%ZU94ODQ`;pTNIqP%Zd%cjeo zLI6>saY2_dyX)E4OeVrt0-2or@&N&y9_LityeJ!V0!QP@w$zl#w#Kvz)0KZF$xeKv zCM=SY42`rb_@d08WAQofw`!X*Y|^2}v@_`S@ZJVe)$#4+-H<^CwM$F(bOSMtA?;9C zGz_6#br2F1;Y`6v+oP&$V6V z5neK1&D>?EDt635WlbYnxl0Vsei~!?dc|&Dch{`{DzTN57J0JTDEb7OAqm7~^0>1i zqIWSy>v%yp&(0LVuxaV;8@VGLk9yeTFn{$ni~a>*!zda60tkUf!H`ImlY)&aR20?wv~oSI{uFVv9f0Oxm zsAZ(xBBum%@y;O8-MbVhqZJ+(10_bQ9aU#W2hD=hK*w{*M(@M{L0(?4#EBBj#m!iQQlSQoFI7V~4iuN{+j)hfaGS zhAN;I!$Atm<0-{Pu}<{0TCi|-uQSV)(|LID!Qn*c<$3yjRdfROiwfJemNo2kLLKqp z)!PR-n7T_7EB#NO{qCY$ZI4(!D-nVJHANsufccE|aAE_e_y7DRHCXQ3JLOJgwBPwd1*Izeq== zIMc!$4nXzjh5E=NOywvp1mKA_lY?ufR8{R$D5`G)Qa{cfGCGPY*3TsVE3L6T3Wa=_ zDOiv7F~&o0vNU_S*7mGwP@o-Qidjgf9!Hs*_1yS2NW60F@`?HJ!?uxi>Wfini*Waf zRt_g(nC$Q;jc~yZ9xYDG7Y!kMFvZGpIyDkc@#&+&Lu=q+$wnctI>P-)L`Hi}9s8cj zECM)HPQN62tuUEc_If6|>LAc8%*mBx78U}(WMZIQvP|@(o&i5dAHVa5C%zu7GSET$ zg=Hl0t@6mAKWe4&9bW7m1PJ1N81v5&{YEX&GPT${7992EH?tA zx~2JF+mjlJ69)UJ4T7D)6^Sy+PkSsqfMWC>4&`1?`4R0B_Oln$oQCOJ&pwwqr)+&8 zQdQ{3ZGS@2(6+ON%*bkZ&CZBw8HB&XTol|!Y-ZI-^O~IAmKBs^7kmAubo1j_1Z1$1j zV-79mYhHn84{<7VK#f{p;mv{0{@^e@-WuYO%lEs-V(b8-+Q-M2W!aO=jC8 z!ms;!G98S3in6_I-FdL=PZ4rKhUIhh9>$+=n6is`{NOVd@M7v=&K(8oMiFZ)#sM~4 zlS-Uyt5tLw=HBMS@B}FH?Dqha>qhn!j){KWU61^9yw^mYcpfiYgcIUs?o;IAL}p)W z&l>(be?URPyiSxFE4r{{fSNKIADBdm{2c;=-RJ$&dFlTyFr&tz&0LF(7F zn7H5N>02>##E;WYcNtS0HypboV`j8cK(rTMq&In*$i`QMu-*>Q}r-LCa%u@Zgi30||CX`7pZ z6aF@b1+bN>AxVJSXD#;Z1+YBm`nIniJ2bQV z3gNG?@5R>bN5#H!h~<@UazRI9139;PZ}mE_&@y+Q7HREiG9l1l*;5k*;)9D*ZJ5%`>RLc!u+%#mlNO>`&+%X zy5a`Hn!@R(slb00sX0|L|7#6swM4YVkK3UGST6{gRaIPcX#3+X2@-YYf}sR8F8PzRNs>pr>~CA#ImIV~)IHv*+tYC`#V7=FHuw zeEz0v=kP7qcxut^P3371?b%tieBtJ@^f|0e*ho(4;Be}xUraxBbV0??0>01h2`>;y z3hG*@9fm>NpX_LRx6FEV=Gc=-fSRezY>}gtZ@ig-AO8-igLXDD+huSQnjSkZ`hKrA zl5m(%xBpS$XQ0V+{j@ZO|6o&muHq~JD7ws>dQuP)+od&SzfsJ6BWv5z9W8P+?lE19 z>(Cum(`bfD?YPWv^aJA@sfDc54d@jAO3;hYxy4AMA*k2gUu%ZSLp63l3R2x5Y(sdq zMagJrX|AbPF|SnP39H#6`6f3t+0+xIbXpP4G(r??g+UUUmKkQVP-Dr+H`%*&YKa@_ zvycXlAq$^ke*4{O=;xEXLWM_k87K~{O7=Z5I27xRnQRZDII$E#fpA?BGS}e~wNX~T zmG30)?=OZJbc7CYfe^%5Vn^}w*5aE8mZzJr|2wi+)wn85j^kv*!CEi#ldQb4hMmUw z*EvZhw;IcpX?qF1>z0s)XqVXWg@Wz##W@AO#X0wts_GY)g1axg^>Qxt8w0@@g1sYZ zzK}lRwKn#NMqQbX*$?XXWGr`-Kw_iuyubp7$X?om!HiZQXmqvMh3fjXB!2nEmQj$H zZNQ7+mh0rmw@!#kyagDt&D11(;A`?a2<ly85^L+E#LP+`FS{mJV3f-38#GpA<$hX(^Eh%0 zZXUTz`s>c+*m|oLM5osqTa92*8))nW)06v@|NfL-FFWQdJCawUZR8GnMUaVeYN!=n zA1R1*D{SElM6GFrM6HGQL-)SmXlcsH=M(A6(LhJ6WBLtH%iLP;W7YZTzqI*X{jY=Y z_6db`(*xwkN?~)0(YupzZq6BxUV&UxxwZ}=Tw7Im%}>y{(ooKyh!Hx_ko*SISR1DuihFd8^Jn=kVo>Y@cj+8veiBiySTW#SZY;TQ382B3!t0>lOaA zAi%Eexp(-d3WsjRFbx-tN#-TahdNogYYg-#KET>wZpo{k{;7E*{2~M)gF)w8v}M0G za~d_OMOW8X%OHf^k>|$D`MND(uRbqBPl#}L)wS7p97Av$JnqpBX|Aw*So0x285qMG zDUd6Ur73n##2rkbKzfOJ{U=;NEnM2VbB1$=7V|vTFBm$$IlSKh{4yJDBr!|B$!%&ZE(4n!VHDngYXch8@W0_r zWZfTRX~5k&@pKlBY<)}20@O9-^gyg_vr^OI7Edkg4z66Dn-$2Kx0^F%{w5M38=~gk zZA7DBZP`xOg3aTZiYq19%InR(Ga{Uc6U?tZR)cjaG)@vM?m@OCL($p7NVjL_bvz2E z`Q&Ce=xH$wIFV9Q6%tthu-(%Os0h_d&rs_@?L@sA`{K_+tUvuS>QAhW&8t5*!g|jf zV<*Oz7#&-jiW>sl2sV%9`r`UC#9H3T%F^lm4p7k*!G#Hh=`xcBN=tJ!?)yJWOZDL} zXh8S)qEUj?CDeK1Ad`Nj+M~Q@N5W+$k?i{?+Z%54gje+#%W4ARyWR~crqXxDbrLt9 z!GxhWjVDN5jSq|&dOV1hbS;8Fq*i_inD7xow;bhllb~5U`gWrDN93KoH&}4FbDN#q%ecMB4?1>6E zww5-?`%!@_U?sa4k!FW=xR&wvM$Eqi8Jor|$cvKD@ssJ~K2sU;wcc}--6z5OIGuUC zz?3bgSRoviq|w zoTl;N5ZU>Xr-E3hh`GX<7bFv|Dqd{SjCS3@?QU@q5Kq)La!rl(>#m_uToVqE51ir? zr5QIoOJq&@@~q;c&se>^i`+i>DIs8h?C`zLv1l;b;+b0O00r~OD$C%uXN7irK*hCI z;_w5;oPijw@7Z9aWW)#67<}<>qy*d39 zMvuK3SGk2k2Y{k(6|i=ni}Q)mXZghV!dhjDhS*y4>NzELw;l$`kzre2{0q=>?LvOl zRAN;gLT3ZO0$|Vm;O@E69|Bn&f1S_q}^V+d(Cs9;5O+G)SfP#;OQ$fYz&EX`@+4ed~3J?3Ko`|OU` zm?HqQY%p8-A=&$J3=Tm78d0QaC1ujIN|A^b_=x&o5BUyMm`{C2O*=2A|BQUX4x{hK zk7hi`Q=;-Vj4SDvysGGjg&^O*$pGYUa}_TSDi%-v#F=GmO%sTCt<>WCPWm^vu11jL zmTFxw1l9k;zvwb|qP|z3k>Po8{C)9XlNY8f13L@2qpMl@rBEPWjZCPE{#z53Hp_fF zuG*Xgij4==aVD;zn+<GtI^Bb_iEL)#VM_0=8{~%p2Q#7N14RR>AjA} zq_?^W(6}PwOmJ0w+s^k-)RvNKLx6-^4gR~_&-Uvs^sIO;(!k9MWcLp{T+ z`pO2ktXnyE{Du?kf-qWT*7VsT;!HVIMU!uiP?|XaEaS~GF>5O!i19_o1lPB{#g9^u z;5t?2^IX!lA?16h`GUtACY$t_vh%NHaq*w|zHj*4qyK6SJoI45J`2_CTR5})GXeaq z?!HFY_`5Lu@5APG;8qKY-6d2BRB$uOuJesZg+%ed>M^`Pu`L5f`~4rv#x;1cNLvkV zijMvW)M{Rg6kOc30X(n%L3jyZ$|dG{O#>sFvB&9@@ikmLPh+Lh zGLRioDn&b0b=RtouhPDn(k#D(64S^&66V8ug+oC^E>nsWCjTi`q|U?YX|^ebHBIs#2UHds!r-V5s(r5?Z11N3l? zvMBnJV-(&*xn*lj;>OP{tN*$4)lyKeI;LX$O8o?B_z7-B=xD;Z8vNjSR8u75W8n6#N2f|-Wzp_og7uS= zG}fP%d(^3&n=yked-Yb%qc#ltRvLgA0U z8<7RmgLG)f)QShS#r76X`MAed^9T(bHLCud=*I5dyT~eL^i})sLnaVf)R7y#ss-P4 zS?#OiSvd(|Q#6)4%HUznKRMuf)Uh|Y_|WmU>mTRb~q;$iwjX3fo8+=Eq6=pWLqQT8x`*Bu-exxq0FNH z*#&bKeKd4e>Jj*yBk{bgSRo<0z<4iYUQ+qAlsxq8%H+3?TU&)~mxeBG@w%E8`UQO^IgN6DJt!94-*3jXM~#kCuj8@2%> zlD;_QR@6;ou=S8Er7T>9t8$pmHPm~z=?!~5#)9nbC^NoYn+1T=f?Jxl4Y6{><8!EU za8yuq=W%=S_x3`wI}(g156(d9^_!27OT918t~A@CjK30>Gb|+#H5$JzKPJ1(^*DRQ z1^rg%3h3NpMR)!y1N-j-cP#X7x5$xy*f7qeE*ajdwK!a=?};5*Qre?+;P~qv!lNDr zM|u6UJNU9}KN#?QCr7EU!*$wC1#6JaQjc<}%V+p2&E;#yi|uXaJUX>-1(|O5)yxaR zh>$Bq2`>h&^zz+5F7cW1IOQ^YitLn8=3-jqlDV?&$*RBMWIMdqa74T88s9Vd2VgwQ zzrCn@zDBW)+%sklV!smN#iW{=k{T0<$*8k)Cg(m70KLgi+u5_1(Rp`w(!1*|P9xC7 zrSK%z6Dnfm*IAt6_hBYj8|TrmPv`cQAB%o`K1<8YmM<>k6CJD;wn7khG`@nLI&?w` z5@)}AYtjj9*Ge>FCUW$OXg@G3aEJM!B=Xl^#=Kt7|fUUPAAu|uWtz=7V7Fe_#5CrcIac{=l zzC73X0#_cDeP_$Yx3d0T&u-5-tQb&BSo1b=Xvb$__E?)iygXyOc&uagskE(iI{x&6 zbKI!_Tq*<5Vcbf^;k|5d321yX3)H)0f-c@R5q_*l`=5{h)j7jXzXD23WLQgr7#gr^ zBe-gjRuJFv_?XSiT z{rriIK+=BJwv+_2ywaDK`EPTLO z${gW3kUg<~v(E<8bhMzLFD+N>q*rE8ls!K1moRv6L1@=qrsc&Xln%(7x;XLGmUB*| z051Q#6zP{D6%luiaTQt`F;=iFG=fTSyW>=Ck3@zS$f$7+u>*UD_j*;BAjSvz;5{1x zuho{(qrXj98yuW$bAu&Qx@p$`lc9vYo#RI7S0n<1Ix;3AJGXztv$a3$%FQgF0w=+> zhQk*q)zB+(4D1#RuzCJ^WvW82#5H0cv_b`}7MU2UGe(353ot~2+D#TA>S7(Bt-`?q zYT;(DzQ_I}5_=m3u}DJAn-)~#S_`E(@wxz2P@+5TYxISJMYu6$e+;x#^EK*k+0&kw ziw^?~Q1}a|mBuDDxH`MBvNWb;;ifsECU&|)n0>K$c{dvPV6=~~X0vuHN=~06?{>eN z7+7%88}BfS3ce@HgBFYdGDM6ptBU4WtMAid!jKbXL>z<^`3jo<$jqr&f1Slqk-&!q z87y43?R?`M&^RSI5v_ZaJkfmrLFyh$U9nXUTPn%^QPC`pk)lIVkVpCmyXVkJEe0yC zyS`5|cL1^2Y{^)ejyLBB7pRJ0a=R+|aBnmX!L#fLy(&t3y!H@8C}b?Hy|b_uDpt&m z?qR#NqXJC@cxvnST*an$4mE|h`1s>=rtuy2kZSCQ0ObiMSXknUxdPhc7_y5v{`nRI zw0C=ZC0I}185z#+Qav?`Z&n<1GybA8`z$3Eh-p*tt&rTm)2PJolb?BUue#>!>__)6 zSJ$Aw*L$MSYHzO!AWBrioO(26j(B7yxt!KDuXNF~$`a&o?p71UR1O-D7oIfEfgsP8 zX;BMPHhhf`M%Xts)~RlLt$tLDqhi!jNNkA^0y{Fi^M)neG;eLc@*igK7*%fdTEKHP z;08IBXzO-RR}Ki=E?G8Xe()PX++r0vWhWU0QxUp~bJ5S$jET#j6tw2gC$z-Z3mTJJ zIbP_eWW}hq{X0vi!(sV)ikZwZhB?aXU~+Wc%RrKv52{6R-Cs!*4_pVW_TCzXwLyR={c&S3$ipQDEj`Na zj+U+ff0_Bq{-JyC$mWXEu7WUFl=$V^@1Dii+Qm8{F7VVYQI2MX2L_x=tV6p{Q$&~Q9j0> zu_CdfG?k$#fXXVp{e%2lr2SN%UQQ|s`fd!`bl}nN4oQyMVkQOi=2$!lHGHEd(`-i* z6L#Yu?c*(JCND6mM~jEaCy4i%Nc6-_w}&!j1mq%PAifoqCu0upg^N_>bGo0q%x#F1 zdrU%7c`zTi#`ymT{?5;$fdO{;;nJMKQnC2~h2%r2Jk+BG9x4OoWxM^~Uh0K4g_wW! z2eb!us7k@9a$2nR3v%wa#(CTbTtKhG=4k*ReJ~#+7-XkzWZtg2Fjc7`2-@o z&_Kz0WN~h_MKB^-MNMX8`47)PFe?ho79F%k)Q~cJ|7wAc`V~NkZ6Y;F=&i(0gn@W1 zdtH2XxAu654n2#qfGsJv#)G|OwSEKR<4~{&l4N^0PGkG87`Kjd>3DG;TO!g4{(DhB z_)>Pe~R+M@MPDKn!*IrVzjE~||UsIg`A(bcw%0D9Ex91Rcr ze#^7Si9r!AU~9re>K@+uRLRyIOUTS${iR#AJFiWN zd(K`t#Ay~%0G3-h-&Ui}4*$5+rs1UCc|?hn=NZ&DE82BNAnfbgzdrQs3jkvvZ%Yr{ zK{^quPgobCts7g0u7>oUZ7}ow3!ZorLN`7B|^4Z?L^Z*P^M#-6mL{>BA)AcQj~AWmVUn5?9N09ZI-n z=1lCOrGacv-#q$~ngoDEF%BTn4}7=@Z%t>;x_cHVr&%3qU_Lt#8)m%Fx8Bm837H3Z zW)gipk08%vZ#tZqixRHYI19;nWHv_6Ch*QzJ7pu4PcxdY6BnxWm_a$|X?f)X%TO$srP=yadRCUepISKJJPU3V|FA^=fKue!GkIFPmD2ytABCC3Wwr0zK^9OdP;{22O^JMKDq z$&bWmql;Ib?CcfP!k{l%rqy%U=Np9az(ja_ z%%gxrjbb`-#dh?#I8niRf8sPb{>OLdX{y^c(qmW}s9VeYyBdLO|MF~bZsRp{F9$am z4tXL@*nR5Nx7(D>gZ=&xi7!-J>1AhXEOGt!!5S~Hr4Sbcu#vBpuKxL1yE`izuJY?r z0FYgr$jRG^wA&j#D5VlHy@j_~vK3$1HNl-?2Yyuad2GYNt}kb}HM-!< zBTC7c&S!qZmpso?4*AKoNVr8VQqWQ?;gt{$79ZH@7Bws@!ZaVsTd4RWS1P6(l!01y2`Eb|$j{va+YWY=t8+mva?Bf20Y)cO z1=wNTdq~~vCYHD-aq6-!y{qGTPcM6)wd`CwP67a<5YT^Z#$+7^K`6sZ(?5$jT{Jx=^Yswcm1%vIT6AX ze%b5sTo_rfLXSx2-xr-`2(7ee1hUM^MaT^o`&d?AB4k%E|EruS5GCMgn&U&oaaVFg z_K|}0J=cP!u89IgXQ|TpVmGsqx?Ll836gL7cJI6gH65TmuGFSI=6sRk6{1dT36sR= zCd|pH${Kr+e|gx^uE1jVNbOhfoR31*W{QyGjzXQFUMS=&%db=#xGu8#PXIWr&K>jp zlTjZxGpeyw@5W>wR|O2~Dy;J9Y>MK#^QY8CD9PEtq8%IdC{lmS1V!?ZWS%6<_tDZJ z^oSTiysd&&!cxL0nF*UnkEHC^5=~ z6uT2Zo^?BeqKO7xXYaU8BG5TjE^P{!+4r)W&HK4x-pC>#CXn)Xrxd^@z2oml*a5G) z?1S};bJS^N@4LU%w8ckvH0Q1K>R(6bapawj1+?uDah=Ukm-Za0F+P1mc$XK0JBr@f zJdM(__hQR|MTJ9Y4nt`l4ne$9f4oZu+_smG*Yzlg!oeLTgqOdnSBg)^y;r8OxUTfA zT0Nl*UOn)a1QFi)wDEWKYR@89{O?up$q_NKkhn=YD*bDXvsuA{Ok@PYCX7nLR!|)M z_b>ZoM7LzxWqeUPg#pb@y&Q1F$Bh~F?X3+c(W3Y}V6yEHgnio>sgwzJefb*8c6FY`DciU_24;cXD|xa<*<~%uk-zxL`Zj5l8)V7hRRIdm5Y1mTw;EtP!~v z1IfV!6P6BAwyX7LO_foEHF?I13bNWB$Ru6P$&4so-eY56ayrsL()1W3i%z378a zXSPF~52B2s5Ag^Ldknu`Z^5if_^!_3E9g+YGJdVpjkyyt6XJ+G4lkEi-pVR3g;rh> zKBzKi`gb4u{JD8^35kXcxq=s((6u8#x8Iz)X@=~Eb5cuOHhO^ZacHfUr@n68xd?~% z#94BpLJ(K{Exy9{%mtQP;*1dKCa0?0Awc%grQGwdK-Rt_%Y-nvjs6O86D{_y5Pxxwtd=hH<=7sT7H*oI_U3PsiNaHT|`~bZ*x0fQ#1}mAR9Bzex?GkIf&>qBFl020nU;c%(M1j-73E z{>0zK{LeDE!S?Ap_@y?`-WG65~S{Zu-E^xP~K*o zDjjk#SUuv5%s%IPZ8<9o448Am*Miubf^*mh;AIU{o4**Ly!~%pdr$F8*IRz&m!X&z%@~K=HM(48YuZKE%|0sLbZAZ=?>*l&1QwJ_D^mjTW zHbp{ick!%D5w8#xoO-QjP%?ClzNyws1O%;1*?=Ey(zN}&R1dD$pO~@DSsDN^uw7Qkav#C*U^s4`)t*qj$a>G zZtnL#=?@qaJl+GJFH=uz)CJ1ZA`2qPT8*e{GD3?PtJjrq;F8sx-l=4J9Hv2vmr}gi z`^|(q{_r5!LHH+fjc8>MYP!kLA_i`omRHRCPm@1Wq4`Ug_i*4{|Ic`UhPZzU-<}@4 zz;KFtQoUCf#2R{Go^+7+BE*R_&eXx$ag zoL?G{h1~=yEK2LvYZ`u|Xdg4EQTLgW-sSoPg8+H%w2%%7*I2avrU;c>WE9)diBo=AK!Cb%U+MsPLlshU&J4tB4qK1uMtq z<3Uk!A*aukWD2%(LLj9=YX;RnEvIu#Pd~#T|3V4PlMlx8xa$3k9`ldV$R0G94myXi(1X}OVc#vIK>F;1n*t< zPnoypjitXw-&)>|^-|?BAH$vf#;>G4%Pzrto+T~yn7u)T)Kbv{EZaHn*3tqn-NM~# zPpkTPojSUKE#HS*;r=!&oOSiXMF3+;g8cdCg8Z6X}{@F_t zclpKQ;UZo3E(e^z*&e)I(X!iR}d-O;gNjaqE#cASN2_7=uB!IN`6$zDd~>CZ?q z*@Zge+BpRJLmiV3T7PZu5qnN)Rw^&?#`=3!(nUmK$deH|A-MP}ROtk$5^k=fF}Gt* zHs0*5no!%gk5b<6RSwnWs`Xl-lfqmx9ZjiP%%it+ahHvT;%_ZYdrZ_fQTZ$_{T*Da z#RnrfwkP6O+o7%rb9PK*n6T(jo;XIH%%heoag{5< zAkUB}w1srmMs())Tx$IrI+M6f;H;(zkK4xj^rm*k7$DWGU>-K^&R$V9e#Ae~Cc(9n z`mInLxZ)(meY8aelp>0{trth$z0`Y12%mlO(lz8mbO-5ng9L5*DAQ#W7|Az^NBzC| zP}%0=9)VWU)`O@PFeJ&pu3u0@>PG^Qi+tPP;eEl&5j2`>=?>~hMPqi(SJdN+T-b;r zN8!;Hf8`UHCINGJ%mn_U_6c4iZ|4)SPPkqEsL4h^9l5ctuiALvO{2}#?5}6yF}>VF zWHZ<6&Np1&zr`9KK|H%-GKeM2Uk5e465`t9moWN}ZcnN4Q^9b^h=y2>?T>js#i$5X zQ2SUDp1nsfkv4b#NU_Qrz%0j%JhGkOLeB(7um`g?^4H%sl_=UU&g^b1(OSYyJl_~J z0iASJKc*>UIY|mtT(^Ns9_Sqe4hF>pJ$vVWd(Yh0)~#vViC@lQR*ibJYoigfx6n?t z5{Oq?aQtsl5)tCEE~&|$^cs$(JfpMJRAALNt3aDB)0gdgj|I|@Y6Bc-{n!~-#SVae zmM3lc6OJ^B@scmzKp*kn=AX)fEC16@A1ioZzabLRz71 zqAl}?V>+|E2-9}KA*mB^*N$ijDsUV8>A#}{J>wa*i8Sbc@**@;k$Ed$rqok|$Quyd ze%!%8jR_v#s^`HAzaAW@s+b0pqXQ&^t!A^ZP*tZBTda-OYUHl59 zGyKMHLfhFRB2W~?IxnqZkikJUfP#MA1;ld^glv8KR>ryAH|K|uvZ*5t&o z%AnCzd16Ls3Wpp(oqKQ@>T^)=os+1_PHWj)ZEHDb&HmEr;Vi(o(XMJKx-OcFIn)s5 z8s3%nPnX>jAA1yCVjHt@C+o7D;3eJSp((a*8^qXqJu8(}A&Gv-Z{CM7Xkq<`z|Si& zmuGW<>a&;?%dH~9-W}X&q^BLLr?L3u>w1&FsRIf8`a3LRWJ;oJ#v!2tpwUM*Ru5oOPS1hC65Oh zmR%uzSlTFsOCHC_KD^gb;v})G5#{3zGIHXiQxEch938@>$b|mQX6nf)?wsRSwrI?L zLkl#rJ-VRYB!YE_sCFN5en#~cSd*S7=sLZ*0DBR3nw(beuS>Ljz~4+|zP&-!W+ifW zQMq+vi(^I9x@&?wbmX{L93}MTY8>ti^`%Lu80k)Oq3+2xMI`I+M|~{s8f0ZeM$U6` zW;YP(w!4dU+SPZBH7qEtqGb82L>ys_ufvXceg_1o4X=WAnHk#$4ZltVtzDtd_E-(& zUh+?JIiJ$U)=_aQxF{3x_s$q9h*p*!G~NQ^!bx?N_QdYFX>;!9vWr|c#rvPj*zow}>=^FM!&}~yfuF3j`{S^D^Xvig3 zN8Q3ZU1t1kn}-Fn!@$vSB|I`^{F!QK&LfqLsiB*s|B!{(h-p-RUeL-fbK?G?&e$wM zC;a@38}mUWg0d~NI9Kea2!`*4-Ec|cEY>;gOVrq%I4_4pMFY~_>b&BJanFd~0Ibn$ z?#e7=eyKoF#b?$ieo_CBg0BDYmqD#glN6M(8tZpnT(~OYNZBLC67>FK)0((9#nbHd zU=m~A9C+^h>)xs5G;n#)=WyaPmVrz{@^RISw99@`4fpW-A z%KYIoJ45z*fyfp!UiYb^ zzS+JJ&$96BV04Rp2mB73<^^|^S`S$Dp7Aa1dDg#iX2QSysEs%wC4dy|ve=u-H=DB* z6m=W8`K3~kZ?l~LhEEl>MnnoLTaL-0IAPXvWDi)L8beVC4{eGh~`>b9R==6qM>au4K-cj1rE*ESR^#{@}+9 zTIG`qpD@nzBzt%=`W{F}Y$lLhkHjPRG2bhMp8>tskRFKr+QrpQ$Kp$ypQ5BzDiVXr z)VY;L62KfmmtpJVL(O=PA2%m*f9X=yxe$v&+~4pVxMrAJ>5A3fdHd}mnFBG6&mi+f zH2N+j<#tW050kUO1O>ZPkj-%SENC|hYhd4>x5nF~+M%3a;e_5WxeP{G=thC$sWtP_ z0$FjxXtom{48xob_#4L#B&PhClaVb>+V}%F`HeB`*!xpmJh1zYKsrEC{UDhT8LW%f zdRbnP0aQ}=s(-ImS*v|u#i6kAnW{pGM70O)q?7%32-%<9IX?7ejgEqGj8v=s1bXiS z+|(aq%gh|QiNN*v=IXGs7j(W)BXQ^2_0^6_R;pg17X3T_uV;*jdEgw!xKVVPJqOUN z)H44;JdOo>zsJmd))N}Q5?)w2%p92&x9X}T2Z!Dd1QKIK;=Lewp7^wI z=Xr9|y)MtW2l|Lauw`tz9Co@1&rgaR=vFXiRA)1y<|5uvh_OP% z+vzWFl~0m{`;7fpdYMLaL%tRDOe_Ay8amx8cGl$=ds6)IV^s9k_*afBunD)hw}!6q zAcQbn%*H+b;xTUS9(3)%bx_El!e9|vsB{l3%(e7zsg{f6>Ts+!+`XJgKU&xQekKI zD&Lw-A8FZ@pMIn5t1bf|+yY#on9`vnd~Y4{6t3ouYvO@L7#I1JpF?&n*Kd-!7PTek z{SYTiUPTUr*l@NuJgJ+d>;_*tyaLlgOzuJS9yHuOB4rd3BV_ti`N!tP$IcqDo{)6b zlIzsSj$@6xuz$vOH|3D?LF?&76-dXiY6T3p*?UV$AcLrYrRcV09_8mlnApD_UYZvC z9)t-O%Pb&CMI+3V=W5xzHU^|7n-#=c6twXeCByEY_c~p~;ZH6+^H0iK)cZi|#du9s zC zd9&X|U6^y@5Z|o2-9<5y+(Tv7fnQ@&ug8H2z@N~Xbhd{<7sC;IPa2%{Nruc1IW@Dr zH<14H23O*nNn?v^C^j$ZTECs%fz_J;`E50}GUPA?G|iRpdEh4c^TEH=ttUK7&~%!? zuM`#=`8TSM>V2`D`jfQ#9`A?MXSjVAr>t`EXwuMF#r*@^?nAg?9w{d}*6dO>MddXa zIKll=62-mPXOU;$(2IEr>2x*v!_ck!dLL{%B!3)i(cg~RI8LlLtt7QO6o%5MlzumC-fP4GeLM%ud()x1c?}t`Y<88`GgWnDP?6X{5jW7q`n<{+cROn$@ z6yMo@Gy!ag=&;>C%lUPN(ZuVrvdC%#+&z~+x3(P+u3%q?vt|Wy29#Z>5B1X|8BH(I z+nkF2AGZIjzhMxuD;e}+RCM%m^Ajg3Uu}K!_1Ms+Ez+-w&Mg^;=q%xpyk=cgO;lp&^Ftc3N=IDLgejGIihq(wZ3Z9dQHL{m@G17EF|5kLO6bT=JY1D5TwYbiHjuB*lA zE;C{iKC6Eqi+QrQGB{pMW|ta$PQ~2#2n~BfI*qE_g#WXsgPzCNu-Ki|tuxeK zL?Hu+509YtQN6l~@=m>L)aZ8t#}!l#y3rE6AX7Dq_hcMBSc7K5a|^@LvQelOeJJzY zf|sN9J=c2*XyjiTO0YTVsbH*0>MP;c1luQs)SL{&0#nZ;M(-}0sSig#7YbU+#`6Q+ z+do3)l;^az;l8bnX>v2ayZ+qd?+nel%UJ$I^$~_JZ3AJhv;TQ)Jq&uo(E_CfmHNAu zME~VIn=a8T@NElHy)u2pwSzKbulvGb&XTdw1k5`F|8bgaf6p#+?yiMY;WBQ^r+RCL zh3;Yj2x-2;QAs`K__y(dQYGh3_0(>+(aOe?t-i8#ahu+cM=N7D9~GUV7y0KTbxFOG zk5S6!emfPUm~$1DgzV%%dqGl$!QLX=K=kx{V<9U1>^m&&dy_%OPIsl({fH{vw|Hfb)z%ZNC!mv*ftU@y`0Uh|{Hms?7|&5Tqi3bNX3Q671ZvS6 zzih;T345sT+%yRDnWx6ho^MIKi#n7?_(g|$3<4)^Tg*L@^{;b&ab>Wy+V8(}^MJpO zY((w`)O^uQPjGYuXWSn4{UNTvA^L7~VP)`WpbX!!TQe7U{oej7t^`*kvt{-*eHgMt zYYPJc8bL+u$Oag83?_NAqvIsAtE)xPrq2W=Dr)9Q-&w$p7Pg9et= zK4_+A7VJmXobEL=SdG4gulO+;O)Yi9jcv`FN&4PvtmpwsmehTk1yptVmR!$@tA7@O zYw;XF^+(vtD7z6XoI1HHFIHMB0`!Wr;Vot=S(9g!(F*+Zbz2{Nr-=lFD+#O6L^xjx zx^bgG_nBxvQz2qh7O2g}oE7#2+|A8m<%qA(f`7v5Khx^P5%LkF&Vg?JZiw2mS%%Z1 z_8hJzf)yM&$@Bw0vKH$eI;J4tlR6^C;_T~im`7rJ6F;>UTA2C=_&^FWO2VWDybd^` z@=kE{xA19;;6c_V z{d14iDN0d5K#buR&k|5k(1no=;j!c7e3{(@8PDYCPhDxGMZ_yl@DC7Ug^D1RcXwAYX*F<2@cn>~ zPe1KPe0A62TBFhlBfRy;%B<-dUuvesl+V!07FGK0WklL*-6A}1xBumRCK!RUs!)F} zg}dEo0JBTO1=7TJdi9tVBb>u&2mqfjDrGF?+sBA3dB4ySecoT88} zSsfSUouM*uZRV{u&KF)`ReICHt!MA&+j_zOcI5fq0e26cXPoPrvHFKr40m0P^Eo>1 z$8@r9U_lK6ptc_~Pbw2-H>Q!Q0kcoD;K6R?Zf1c_UpNLoE`y$D^@ZHe1?`Vc_nnm2!#6%5u@6l{BP#%*o?_@KI`#HUZbZexk*oemZ^!u*ue+Sytt>l zEEg2gu^~x<6pq)zu}FEWAoGVvd4t)B<7s8ZNC1@ z&FXyO+4~vx!1pzj@i{G;78Ht*d#Q%hH`}zIXY6L)cv1a_yoX0Wv1#!7tKmRhc(K@hP1l4PhB3a%Y7zSfTB$%4+7U8@>iE#$IW-07aiQ>C(sr( zLmu*jGptK+x=!NfwhFgJFszbv*!BfJH7jJJVXT_ONlW)cuftcCy_3l@{MOG(aQnok z%JXPmBnC1V2wVa~5qsA2s{;^+?Fkp5G`@KC!wCBPb}lx`@4hHEENHXNZc>V^{~nmJDkv#+&e70PdPJTpU{{o>hm; zP^NWq)n7LZ)h|_!DJ>7GiOiysU!8>#w!hy|lwxnmvg-kLodW{Pp?Pg0dyz z$E!r0s(!D5+cce3ca;&F+M9&vkF6PLo02#axSm!s>ROE3Q`6z_se*2w3Q4Cy{q~HM zP6*%zqsh%;I~`*|9~Z=RU)T)I%#0zbyf$Bj1TClC^w-lOKg2M>#J6|#=S`2XOnQZ3 zy4}L(82Wa8#(#kn?3sM@?bBv!Z<80BL=&2fqufSQXatdCYsljr4uZ|hR_o%#3Eo}W ztZckxDgHYqpmFQpCu72PJI|jk&KPwA2wbTy-eIiiF-6Ch?-I5$T*?!yqD7ziE7@T? z_`yECDE$U~di4!FI@oG@Js>e9sIBZazk4eLctAHpZ>0W53t3i0n>BXey+~TE%+3Ly zwx9L}2>#tG{hH&z3>wFbJF={Lykbiv=i@)U;hd?ST7iB1jAiH@Rp-B8p-+}xbMv49QKWZ7stZ3Wok zrb67F#GWV=X8zmf$|ZYassL9Nj8{q*r?L?Mvx1uI(3Ppj902ZrX^gp=b3sYVR8{Enw0PS zL(`NT+Xqp37O3~zEoB2BZ@-Rw>FTAmy8~1to9Zhn8ZBNtaK>`M5 zi+F}F-5ypU#pgF_A!G4JPLr*8p=GZK;E31rkHVQjD;%=-)QVkurpZR5JxzR;=J#}Z z$eM}849(an-^el|jl1}@unyrqQb+0w6lqr7e~(|~;Eh$J{q!F3K8-b9b&d}j4OIFr zvT0tzG9GDc$N=*VOt?!9SYv8{egb`5SDFV+7H^k0aFq~tsr$1gDA<1kbbZti`-Q*5_EphF$7GkM_+Tq<&+*MxfO>>V+4W9PxhfWPcsN({#L}0q5!*GJx=hC(kjnn4)X56`?|RLJSK(i%lP?HA{jprd zD-Xw77RrnnQyPQ2W@OZ)mXqF}jCZYfV!oqGTx^9L*hnUfz_0Md*VNJT);eN|=SCe) zToaT4(={>tor)1ov0%C?x64b>Z~SGblxx*`!miA57wv0^3wXl>;qh|?kn7}IgQB8| z^JPJ5fs4^cet40wqM)@?T=+9Y!NN^anU*`>yrc5@e?XZWXE?n26laQkr&p%oGG`(^ z7F5VLz(<+RGMD!Jt?3_{Mt1(aNHowC=8=K2J)p}2GeIkF1#(Mg=tZzqo#_D)*9_3-=?TZUg9AHSYV;p$y3BU4&f~^qGYi(JdZk6Sd_1YURVH@! zV#Vg)cervth7VA4h!W!`l^$3clo!>JY_O!kK=m*v2$E^qjQOL+j)DMabRGI4;2IIb zIJ{q&Q5Kk#S|=2;ORj(0Uw`uPq0)z$YSsTn2CVBYXt1oJ{JKj0r>8t`Jgj+iL#_1Y zhV_v%k9lSOoPFgTrsfuFaUD%pBUB({7)Y7SU~>WqJQ#dIU_@nrw-!0b)p9eV<3@Um zylkdkSRqfaB8W?s?S*FUss%!?^H&wc!QZxG+swl$wa%Wp-hGR+azRZ02J9K`3uord zRogMllz}KE=;-Age$t%JL^<3Bb_9FO67}|Ygk0`>2yKsl09X1X?uJ!A;j+~rPC>BP zT}d{iuY}(%)W&^a6%*)k?81i*y~U$uJP+q&cGBis@9hxx_uzYJz{EHso@hUIh*KCb zX$9R4eBX1K;)_%~fO~E}c%e`1QURvbDk6HB+Z{#WHfW>Y=YK%e4Z1TsPWGh*>5MeE!JesU$`JD9j2J>n6gt@Lk+i z_?>rDWS!Nt|9%3(w>|0F>mi@tyWpaD8NsI zV@u>HHc4?G3Q zJm1J11p*xq(_(E9H|PYLtjJAcqbG#EMmmO_BI)RLS0wgdQs7jJ{pjqKy3SnzTQ^`5 z_kb&@IirGLavq<=m6rpP*j4JC_GClJbJjSwy9S6?{5ZDun@m*3rpxe^=)#%+Th?$ji@8$C zc5@9U)EPu7KllhcEnM9KySGt)g^fqTU)ogj*A5B?iJCzM^AI(v1#mZkyn;t>{5YS| z+p#EtN~vk4%Oz?eNLz@OGAMAA1JVn&o7LGMChap^{(*T*?u-|q*C&UvBviNbPs)~) zAul*hc9demRSfwL)nT|WBubJ>*=reblWx5{Dl_cG`w@%EYwQcBepBv=#Gam%7QKjD z30d`W_-;aR{X@Uz6D6;~eN&1pY_PziK6{X12ZRYUsoZGsqe-AQ*bD#upY_oh_dK_Z(0VJ+5m=wfu zsj|0Kydvt2;TKGATZzkt1Y0~QLtKZkvq6bq58yPGpq@_9t2)Bff5?0Qa|5+Wxoy?p zq8y)n!j3aeXz5*+O2Nd!h_(cmwuCC2_lv0Ud{3u;f!OT=NdTTYC!gl&t%|t*vTh~A z?Zjj3ab*h3an2!HK8;C(r!2y@#(REq&GY`#p^eZ4FPS`@O|86;#P5l+@P#pF;xcL? zYJa%*goeIroan z`sbf}iYJP6k)WX1ityIO8g9e>j>cxBYH+`D1aRPm&@~!@osSre$L#;?*VIPk5^As} zMaFb3QD~Hk+fKOTtOt0DEj~SbkL}gX!t^tGV~cmb9<>3VJroXZ6|Nc4Q`UcObXK3U z9ec^+cjUK;`<8E9gfaaS`=w2)@6K+E*vcS|N=Glfg03p*aM9$2G8uMx+qq%inp~V4 zkel&G>z==fGU*NR#(h-M>paG-UktRkO?OZa-6(??9+kSnXd)&Dwy2Zc8qc$iQ;jE} zUPmDQ;zD3e$pVZ$SmPg39Ym;NPcORj8YB$vgwS>vy03II8(L8NfAWK}X;y({j-XE} zqLz%)tSbp(eubw35)UMk?I5_4E&f03xOgNhQBis?rHzk}i)LR7Mxs+wi%iDd*Hh;|l7AL-wM41O zwF7&s%Qu9aMO*Jimke#D6LX^)v9#1elDeSiC5XH=YH)T0LryIytW!5fLudGCn_w&h$JT3UeHMmE9#B8osq+ezcr_* z=iJ&=cf*8aV?KAy_j=QKyLyRV;)<6kS}(EHFN7GN-?G#$7Jz*2@}jTe4~n1Bqm>Z0 zNj(20qwz9C9V>=*isS_u4uK)>xSa<#s^i44@r-Hx0s0a7JmEjUTu{{?D7o>tNVQkq zbix*~8Ph~{j)L^uyL+bfrRMNnS9F)cW7`YpbKW~x6&EXX>ywmsg&YgLfw;3?k9N7w z(W1kLWzeC1@xLsGt39 z-$w#N>`kXR`P@W+|9j-vRLC(Wh)6tiI%4mO-X87TP4}28ttdGXVe?@4_?Pt@rUISy zbA7U4(oKso7e12o9Q2kQJIkqXC7pnDBkp7R{(K)#Z9N~Dpat5CeZZD4FYHN$llQVC zalO>j2*V7*0V4z}VtM#+BAgBtZM6`%Oy6*uXx7w{7IfucKN*d9WHfDyeWM z_n@l=BBrc&ML0#6?6I+JIWGASXF8}Je0dha8$Ihfm00kflzZ*PEUpqY9^l9ktK?pIc=!5AIs zFw)2SlET`r5xZ*?A>+cRW2FIdwn7W|E6_&+rqd?aQ<`C>HBNa$iKNYab(T|hICPY=)hA*QHYWJj|t(fT_(Gt<${Q*tm;|k#go)Q zxO2k0DV9jqbPz1dn40R;cXwXBdpK0|*k>i;c?#)(OI^Bv7cVP`8HufWrL3w3lK{V_d;RE}C2o7$+q0#+OMZW)9=+nM(aUwa zDBJ03MN*v@@6IH$NZ}sXr2pK;^83329alQ;m!j(J@b^X{TkE7;L-bgW=UWQ5Nj+Tr zyeQh);W?nCOI(z(zYU=3PlpPtbZf;zhX)SD1HCT&!m#`O>LVgMV)L}NcT->`ycGID zkQ@5%v2Gm%dE_~caFy7n9762-997U4S#Y0f-TS;5o!Ddtx5_*lTA*3IR$EE$virDI zP?wc|WSg}i^#*a{dV+aOuw*A|?rdhk*g0JEgB+WWTi(`*C7F?QWjfm!FtWoxTCa*r8y_#p-1sm3XG)vx`5 z!Kc~Kef!#UN9H;6%s~l5?xN0-$Z4-9>)lr84O!ig=R!(2yL&d;Tgg|3tuG@LE4YL8 z>UYah*SY3<%r9#X)_-MhCYGLJdQ0R*@J=r10P=R(#M-)xjY)H&9Rg;>dFT%K~s|0NyvN5oK1~MxW9a8?=;qsjnHbQek6Ucy|tEPG;Cdr(icP0vaY6U zH6D(5OFCMOF=U?QR(1jO*jtW;t5I$MMsCCN!RU}3(o539E6){`*x&; zau;Zb*uXI2_D`j^8qre|8Z2f!H^~m*`qF>6$8Vbm)~_KafbuRno_w!Udcv3DUh|5u z=WqsLBsBD1XoMj9j3l5Cs+yFCrxkpm8EjgQg1~IExq&FY;{_=4e#9590 zdk$?IgZjEbJPdS5Wu77wBZOW_YNC!yzRpKnN1sL{W4W33AF;j}WG=xm8u7UvX&BKa zYd`Qxpa8V1Jd6`dmICYtS`=adF=QXsqLDILn|NS4Q5|!wssbr`1CMTf1-;mq3 zq0?Qr4f|`;V{LEQUvjgZ(A*`sq@11l!+w%HV{iCEQqa{K%J6Yrn4Mj*v~;dHDSU_i z$X4(>C)zt~xf78RWH0(=cZ`K@9~CimS|R>ffaR9{5&bU)@dIKM7ygo@y6$AN#G8S} zS$cq}+Wjvycsl^s^>QUYnT8o3zgfOkuNsOYr#1TcB4?iGfvi^%eIul!!kZSLa^K?x zdjk^}!w#rXkK&&)kQbZfIo)~BOqX;Hw3Mb*^7mqs^){mnh5}cQZ%E+t)PPd#5d+}v zs5V(W8K=0G_GtNagqit}EH*+r;*EM@*x&PEx`wj>JrIZcn|U39a=+!5*VI#v_U;C+ zpZ9;iFVVPDuUVx`I>EHl_`zEOzNVYbLJTV77fMHy99b86^I3hVm~G0u-i? zsp551iV^bsp71rI8%k37ykjRx)e1P=4&G@lJZ8CkRnfcSS?}b4r1Q1$$oM0Ox5D$4 zK3R{ht1kB_32~cNQz3ubz)Vf(S!HlSb8v5K@DapdZ4~qZAV%d}?ht#ADpM!lnE=b7 z=@v@MS0tUl^%uD9mU0gvIg7fh1T9wh?3!Q!di9mCeOY9zrHT0Cm{%fMhrt zbseFDaAaC<=-=Zg7{q5)+4NWvn!C_ywxwvri31U@{4Cc$gbbkjuoI&$hzx8cA3l#b5Ivi()q+#31liQh<$(HpM14!e*Zl7B9C){nW!cV| zCx09Lva*0!?mf)WriSQprgp-?VTq`>(I*y&s+qR%Zb&P=0<#amXgsjQqYa~VmKJC3 z4w`KQf_ciEgChHeK@WAI**yp722Nbpj1UvJZ0fJlxYG#0`yp|vqEGr)Y+P5-gZuGV z+E9S*NhEF4tSy?=1AmDXZAZP>hCiW{6m%SacL-nUs-e7i^ckfGcfXnNf+lHdr935b zu<3bo=p#~VIk1slGgJN}OCEM!rCn^l;0=3xTX~j78ag)2c+4mh=T*Y{w=kz}Gj8~o zpvxs}RDg~Y6~y{655X?|o&jH<(zFp3Q909>hTobONhq|2#~EA^$;Su=4TE3t?N>b5 z_)Kz|c%ebG_+1vywz0DcI=6HO^jC*=x$H1651umvjJBb)raTrHr$V=|km>Tp*7h`= z8;=R2>%!yw`a7XoA8|kRK;@X33hGVu=<_ra7%}88*L0`DANx(ZyIi0j8@EmPXM)APaGktV)$>j&5|oS zW}@$S9>eQ0#%d{F{a|3L%_?sBDrBppF$f#24f8YQeG% zD$DPq z-s%6~u9wzZk5)@Aen1I6X&Ow_7>yt6{HE79*;1U}EvRA|!P?R?OP($sK~ z#Ug3DH@yT*C-(D4%4HdiAqD}$yJv8n?^W(cXln}VmRl={=`yPxK#`J{wE!427*<*0 zTfLgyS98!vI`=C(b%aW)G34^Am*2z7;@}r- z0%DCd$24NKM@fxNQhJZ!hJ3L&-fDMf$QPBRPpAF6KIBR9LPI^o0H;#$@DPTfGbb=P z3Ng$6?zs(S+Ck01=!GRM<}8bJLt~@N-JJ#F)pczKQ@P}2vR{58_?Oe%_s~j*Ea={T zz4-&Y`F&e7A6?s1n9qovc1po{fBmLH7O{=u4TInJQ76tAv~B*;ay#aaJpBNrg}Dlu zS0D8=`XMxnn{NpPDnZYPHohYgAnkd8p9DSNChLNnm^te^exX_PR&T;DAW5sX}Ut}eOG>Ky! zcJL>!OTM=g9Sm94)apF|eiTZcYMKw9B!05FCM=6K7Xm%hVc2