From 0bf5d572e40c5b6666f2990f56c44c163d525dda Mon Sep 17 00:00:00 2001 From: Fabio Di Fabio Date: Mon, 24 Jun 2024 16:33:48 +0200 Subject: [PATCH] Update documentation (#24) * Update documentation Signed-off-by: Fabio Di Fabio * minor edits --------- Signed-off-by: Fabio Di Fabio Co-authored-by: Sally MacFarlane --- PLUGINS.md | 174 ++++++++++++++-------------- README.md | 126 +++----------------- images/idea_checkstyle_reformat.png | Bin 71431 -> 0 bytes 3 files changed, 98 insertions(+), 202 deletions(-) delete mode 100644 images/idea_checkstyle_reformat.png diff --git a/PLUGINS.md b/PLUGINS.md index 645f3aa3..e6e53c0d 100644 --- a/PLUGINS.md +++ b/PLUGINS.md @@ -5,132 +5,128 @@ The profitability calculator is a shared component, that is used to check if a tx is profitable. It is applied, with different configuration to: 1. `linea_estimateGas` endpoint -2. Tx validation for the txpool +2. Tx validation for the txpool (if tx profitability check is enabled) 3. Tx selection during block creation #### CLI Options -| Option Name | Default Value | Command Line Argument | -|--------------------------|---------------|-------------------------------------------| -| L1_VERIFICATION_GAS_COST | 1_200_000 | `--plugin-linea-verification-gas-cost` | -| L1_VERIFICATION_CAPACITY | 90_000 | `--plugin-linea-verification-capacity` | -| L1_L2_GAS_PRICE_RATIO | 15 | `--plugin-linea-gas-price-ratio` | -| L2_GAS_PRICE_ADJUSTMENT | 0 wei | `--plugin-linea-gas-price-adjustment` | -| MIN_MARGIN | 1.0 | `--plugin-linea-min-margin` | -| ESTIMATE_GAS_MIN_MARGIN | 1.0 | `--plugin-linea-estimate-gas-min-margin` | -| TX_POOL_MIN_MARGIN | 0.5 | `--plugin-linea-tx-pool-min-margin` | -| UNPROFITABLE_CACHE_SIZE | 100_000 | `--plugin-linea-unprofitable-cache-size` | -| UNPROFITABLE_RETRY_LIMIT | 10 | `--plugin-linea-unprofitable-retry-limit` | -| TX_POOL_ENABLE_CHECK_API | true | `--plugin-linea-tx-pool-profitability-check-api-enabled` | -| TX_POOL_ENABLE_CHECK_P2P | false | `--plugin-linea-tx-pool-profitability-check-p2p-enabled` | +| Command Line Argument | Default Value | +|----------------------------------------------------------|---------------| +| `--plugin-linea-fixed-gas-cost-wei` | 0 | +| `--plugin-linea-variable-gas-cost-wei` | 1_000_000_000 | +| `--plugin-linea-extra-data-pricing-enabled` | false | +| `--plugin-linea-min-margin` | 1.0 | +| `--plugin-linea-estimate-gas-min-margin` | 1.0 | +| `--plugin-linea-tx-pool-min-margin` | 0.5 | + +### Module line count validator +The Module line count validator is a shared component, that is used to check if a tx exceeds any of the configured line count limits. +It is used in: +1. `linea_estimateGas` endpoint +2. Tx validation for the txpool (if tx simulation is enabled) +3. Tx selection during block creation + +#### CLI Options + +| Command Line Argument | Default Value | +|-------------------------------------------------------|----------------------| +| `--plugin-linea-module-limit-file-path` | moduleLimitFile.toml | +| `--plugin-linea-over-line-count-limit-cache-size` | 10_000 | + ### L1 L2 Bridge +These values are just passed to the ZkTracer #### CLI Options -| Option Name | Default Value | Command Line Argument | -|------------------------------|---------------|---------------------------------------------| -| L1L2_BRIDGE_CONTRACT_ADDRESS | | `--plugin-linea-l1l2-bridge-contract` | -| L1L2_BRIDGE_LOG_TOPIC | | `--plugin-linea-l1l2-bridge-topic` | +| Command Line Argument | Default Value | +|----------------------------------------|---------------| +| `--plugin-linea-l1l2-bridge-contract` | | +| `--plugin-linea-l1l2-bridge-topic` | | + ## Sequencer -### Transaction Selection - LineaTransactionSelectorPlugin +### Transaction Selection - LineaTransactionSelectorPlugin This plugin extends the standard transaction selection protocols employed by Besu for block creation. -It leverages the TransactionSelectionService to manage and customize the process of transaction selection. +It leverages the `TransactionSelectionService` to manage and customize the process of transaction selection. This includes setting limits such as `TraceLineLimit`, `maxBlockGas`, and `maxCallData`, and check the profitability of a transaction. - +The selectors are in the package `net.consensys.linea.sequencer.txselection.selectors`. #### CLI Options -| Option Name | Default Value | Command Line Argument | -|-------------------------------------|----------------------|-------------------------------------------------------| -| MAX_BLOCK_CALLDATA_SIZE | 70000 | `--plugin-linea-max-block-calldata-size` | -| MODULE_LIMIT_FILE_PATH | moduleLimitFile.toml | `--plugin-linea-module-limit-file-path` | -| OVER_LINE_COUNT_LIMIT_CACHE_SIZE | 10_000 | `--plugin-linea-over-line-count-limit-cache-size` | -| MAX_GAS_PER_BLOCK | 30_000_000L | `--plugin-linea-max-block-gas` | -| TX_POOL_ENABLE_SIMULATION_CHECK_API | true | `--plugin-linea-tx-pool-simulation-check-api-enabled` | -| TX_POOL_ENABLE_SIMULATION_CHECK_P2P | false | `--plugin-linea-tx-pool-simulation-check-p2p-enabled` | +| Command Line Argument | Default Value | +|--------------------------------------------------------|----------------------| +| `--plugin-linea-max-block-calldata-size` | 70000 | +| `--plugin-linea-module-limit-file-path` | moduleLimitFile.toml | +| `--plugin-linea-over-line-count-limit-cache-size` | 10_000 | +| `--plugin-linea-max-block-gas` | 30_000_000L | +| `--plugin-linea-unprofitable-cache-size` | 100_000 | +| `--plugin-linea-unprofitable-retry-limit` | 10 | -### Transaction validation - LineaTransactionValidatorPlugin +### Transaction Validation - LineaTransactionValidatorPlugin This plugin extends the default transaction validation rules for adding transactions to the -transaction pool. It leverages the PluginTransactionValidatorService to manage and customize the -process of transaction validation. This includes, for example, setting a deny list of addresses -that are not allowed to add transactions to the pool. +transaction pool. It leverages the `PluginTransactionValidatorService` to manage and customize the +process of transaction validation. +This includes setting limits such as `TraceLineLimit`, `maxTxGasLimit`, and `maxTxCallData`, and checking the profitability +of a transaction. +The validators are in the package `net.consensys.linea.sequencer.txpoolvalidation.validators`. #### CLI Options -| Option Name | Default Value | Command Line Argument | -|-------------------------|-------------------|---------------------------------------| -| DENY_LIST_PATH | lineaDenyList.txt | `--plugin-linea-deny-list-path` | -| MAX_TX_GAS_LIMIT_OPTION | 30_000_000 | `--plugin-linea-max-tx-gas-limit` | -| MAX_TX_CALLDATA_SIZE | 60_000 | `--plugin-linea-max-tx-calldata-size` | +| Command Line Argument | Default Value | +|----------------------------------------------------------|-------------------| +| `--plugin-linea-deny-list-path` | lineaDenyList.txt | +| `--plugin-linea-max-tx-gas-limit` | 30_000_000 | +| `--plugin-linea-max-tx-calldata-size` | 60_000 | +| `--plugin-linea-tx-pool-simulation-check-api-enabled` | false | +| `--plugin-linea-tx-pool-simulation-check-p2p-enabled` | false | +| `--plugin-linea-tx-pool-profitability-check-api-enabled` | true | +| `--plugin-linea-tx-pool-profitability-check-p2p-enabled` | false | + -## RPC +## RPC Methods ### Linea Estimate Gas #### `linea_estimateGas` -This endpoint simulates a transaction and returns the estimated gas used ( as the standard `eth_estimateGas`) plus the estimated gas price to be used when submitting the tx. +This endpoint simulates a transaction, including line count limit validation, and returns the estimated gas used ( as the standard `eth_estimateGas`) plus the estimated gas price to be used when submitting the tx. #### Parameters - same as `eth_estimateGas` -### Counters - CountersEndpointServicePlugin -#### `rollup_getTracesCountersByBlockNumberV0` - -The CountersEndpointServicePlugin registers an RPC endpoint named `getTracesCountersByBlockNumberV0` -under the `rollup` namespace. When this endpoint is called, returns trace counters based on the provided request parameters. - -#### Parameters - - - `blockNumber`: _string_ - The block number - - - `tracerVersion`: _string_ - The tracer version. It will return an error if the -requested version is different from the tracer runtime +#### Result +```json +{ + "jsonrpc": "2.0", + "id": 53, + "result": { + "gasLimit": "0x5208", + "baseFeePerGas": "0x7", + "priorityFeePerGas": "0x123456" + } +} +``` -### Trace generation - TracesEndpointServicePlugin +### Linea Set Extra Data +#### `linea_setExtraData` -This plugin registers an RPC endpoint named `generateConflatedTracesToFileV0` under the `rollup` namespace. -The endpoint generates conflated file traces. +This endpoint is used to configure the extra data based pricing, and it only makes sense to call it on the sequencer. +Internally it sets runtime pricing configuration and then calls, via the in-process RPC service, `miner_setExtraData` +and `miner_setMinGasPrice` to update internal Besu configuration, and add the extra data pricing to the future built blocks. #### Parameters - -- `fromBlock`: _string_ - the fromBlock number -- `toBlock`: _string_ - The toBlock number -- `tracerVersion`: _string_ - The tracer version. It will return an error if the - requested version is different from the tracer runtime - -## Continuous Tracing - -The continuous tracing plugin allows to trace every newly imported block and use Corset to check if the constraints are -valid. In case of an error a message will be sent to the configured Slack channel. - -### Usage - -The continuous tracing plugin is disabled by default. To enable it, use the `--plugin-linea-continuous-tracing-enabled` -flag. If the plugin is enabled it is mandatory to specify the location of `zkevm.bin` using -the `--plugin-linea-continuous-tracing-zkevm-bin` flag. The user with which the node is running needs to have the -appropriate permissions to access `zkevm.bin`. - -In order to send a message to Slack a webhook URL needs to be specified by setting the `SLACK_SHADOW_NODE_WEBHOOK_URL` -environment variable. An environment variable was chosen instead of a command line flag to avoid leaking the webhook URL -in the process list. - -The environment variable can be set via systemd using the following command: - -```shell -Environment=SLACK_SHADOW_NODE_WEBHOOK_URL=https://hooks.slack.com/services/SECRET_VALUES +same as `miner_setExtraData` with the added constraint that the number of bytes must be 32 + +#### Result +```json +{ + "jsonrpc": "2.0", + "id": 53, + "result": "true" +} ``` -### Invalid trace handling - -In the success case the trace file will simply be deleted. - -In case of an error the trace file will be renamed to `trace_$BLOCK_NUMBER_$BLOCK_HASH.lt` and moved -to `$BESU_USER_HOME/invalid-traces`. The output of Corset will be saved in the same directory in a file -named `corset_output_$BLOCK_NUMBER_$BLOCK_HASH.txt`. After that an error message will be sent to Slack. diff --git a/README.md b/README.md index c5380748..7c8da74d 100644 --- a/README.md +++ b/README.md @@ -1,33 +1,32 @@ # Besu Plugins related to tracer and sequencer functionality -A Linea tracing implementation for [Hyperledger Besu](https://github.com/hyperledger/besu) based on -an [existing implementation in Go](https://github.com/Consensys/zk-evm/). +A set of Linea plugins for the sequencer and RPC nodes. -## Quickstart - Running Besu with Linea Plugins +## Quickstart - Running [Linea Besu](https://github.com/ConsenSys/linea-besu) with plugins - compile linea-plugins `gradlew installDist` - copy jar file to besu runtime plugins/ directory (where you will run besu from, not where you're building besu) -- add `ROLLUP` to besu config to enable the plugin RPC methods - - rpc-http-api=\["ADMIN","ETH","NET","WEB3","ROLLUP"\] +- add `LINEA` to besu config to enable the plugin RPC methods + - rpc-http-api=\["ADMIN","ETH","NET","WEB3","LINEA"\] - start besu (command line or from IDE) and you should see plugins registered at startup -- call the RPC endpoint eg +- call the RPC endpoint eg: ```shell curl --location --request POST 'http://localhost:8545' --data-raw '{ "jsonrpc": "2.0", - "method": "rollup_generateConflatedTracesToFileV0", - "params": [0, 0, "6.16.0"], + "method": "linea_estimateGas", + "params": [ + "from": "0x73b2e0E54510239E22cC936F0b4a6dE1acf0AbdE", + "to": "0xBb977B2EE8a111D788B3477D242078d0B837E72b", + "value": "0x123" + ], "id": 1 }' ``` ## Development Setup -### Install Java 17 - -``` -brew install openjdk@17 -``` +### Install Java 21 ### Native Lib Prerequisites @@ -40,50 +39,7 @@ Windows On release native libs are built for all the supported platforms, if you want to test this process locally run `./gradlew -PreleaseNativeLibs jar`, -jar is generated in `arithmetization/build/libs`. - -### Install Rust - -``` -curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh - -# Use local git executable to fetch from repos (needed for private repos) -echo "net.git-fetch-with-cli=true" >> .cargo/config.toml -``` - -### Install Corset - -```shell -cargo install --git ssh://git@github.com/Consensys/corset -``` - -### Update Constraints [Submodule](https://github.com/Consensys/zkevm-constraints/) - -```shell -git submodule update --init --recursive -``` - -### Install [pre-commit](https://pre-commit.com/) - -```shell -pip install --user pre-commit - -# For macOS users. -brew install pre-commit -``` - -Then run `pre-commit install` to set up git hook scripts. -Used hooks can be found [here](.pre-commit-config.yaml). - -______________________________________________________________________ - -NOTE - -> `pre-commit` aids in running checks (end of file fixing, -> markdown linting, linting, runs tests, json validation, etc.) -> before you perform your git commits. - -______________________________________________________________________ +jar is generated in `sequencer/build/libs`. ### Run tests @@ -91,47 +47,10 @@ ______________________________________________________________________ # Run all tests ./gradlew clean test -# Run only unit tests -./gradlew clean unitTests - # Run only acceptance tests ./gradlew clean acceptanceTests - -# Run EVM test suite BlockchainTests -./gradlew clean referenceBlockchainTests - -# Run EVM test suite GeneralStateTests -./gradlew clean referenceGeneralStateTests - -# Run all EVM test suite reference tests -./gradlew clean referenceTests - -# Run single reference test via gradle, e.g for net.consensys.linea.generated.blockchain.BlockchainReferenceTest_583 -./gradlew :reference-tests:referenceTests --tests "net.consensys.linea.generated.blockchain.BlockchainReferenceTest_583" ``` -______________________________________________________________________ - -NOTE - -> Please be aware if the reference test code generation tasks `blockchainReferenceTests` and -> `generalStateReferenceTests` do not generate any java code, then probably you are missing the Ethereum tests" -> submodule which you can clone via `git submodule update --init --recursive`. - -______________________________________________________________________ - -### Capturing a replay - -For debugging and inspection purposes, it is possible to capture a _replay_, _i.e._ all the minimal information required to replay a series of blocks as they played on the blockchain, which is done with `scripts/capture.pl`. - -A typical invocation would be: - -``` -scripts/capture.pl --start 1300923 -``` - -which would capture a replay of block #1300923 and store it in `arithmetization/src/test/resources/replays`. More options are available, refer to `scripts/capture.pl -h`. - ## IntelliJ IDEA Setup ### Enable Annotation Processing @@ -160,30 +79,11 @@ NOTE ______________________________________________________________________ -### Set Up IDE Code Re-formatting - -- Install [Checkstyle](https://plugins.jetbrains.com/plugin/1065-checkstyle-idea) plugin and set IDE code - reformatting to comply with the project's Checkstyle configuration: - - - Go to `Settings | Editor | Code Style | Java | | Import Scheme | Checkstyle configuration`: - - ![idea_checkstyle_reformat.png](images/idea_checkstyle_reformat.png) - - and select `/config/checkstyle.xml`. - ### Install Optional Plugins - Install [Spotless Gradle](https://plugins.jetbrains.com/plugin/18321-spotless-gradle) plugin to re-format through the IDE according to spotless configuration. -## Debugging Traces - -- JSON files can be debugged with the following command: - -```shell -corset check -T -v zkevm-constraints/zkevm.bin -``` - ## Plugins Plugins are documented [here](PLUGINS.md). diff --git a/images/idea_checkstyle_reformat.png b/images/idea_checkstyle_reformat.png deleted file mode 100644 index 9fff93dbacbc9961543c9e71446faea056957159..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 71431 zcmd?Q1y@|l)&+{wc;ge!#G(KmxKsJGa_bF zLed{BIm6Ik@WP*>Q-A}E=>5d*M1f+` z$iO6OBub@lU^@Itq0ql=KP=^7&jqKPy*kkdH_4Z{-$<6ffe*}Y%)|SZ@$fj1Z}FveM*y>!j?nWS&*xZURA(Od zRKd+eX5!%Orc1OCe6=yas@$~0xQvE5ow8f>Bcu7xbOfiF5(123TjXA$=1&P_CGnkl4LiJ1nj6{7^0Z zM?03kby`up;bKU@;)ISvu?)kRP+iD@VM2ST%=K8*!qRaxg>WZ=?Xl~UL|5>Sfqe$0 zI55K)`=OV8fkv&VpHrJsr&8@@35ziuz#Z@xVsM8%2b60q)X^&;lcS>gDfLxBj zAvHsLpn72QgueO?>>hJLW)e=rVn@mJR}EVYpAWI`Pw%yg0CZ8e{10<}IFdh58^W~0 zV8aLp@dt(Wprrha1?@?L;^HNLN|_W=&WkBCo@7NvMm9%w$<{^+QYsY79)?buqm_2uV!^7(vjGZEXU8p6UA>UQDJz6(^3S-%dZNTm1LIi7I`KXji-;*o4D2gG^RDy zGO-!!P9_^a8LRt|JaI6ZG)|b%L2@shO;y8q!7vl2N2^ETBmCC=k_z#;PnblJ6-GM{cLr>emm~98;F*E|y!ZSDq$nCf)XN z_6=7$2QxH?m zix!I(%ZtO`*}r!!ik*6VpQ-4X&$Vo|AU8kz&Q-;nFSY2ngkkpUJ8!|Gf8L-zvoelJ zBtoPTJv%)Seb^Fsm30-I738_?x##)U^N-x*gvIim)ACvJSxP!`n_!#To8p@i?xK9f zy7^nyT?}1zUXZVnuTf7{PXjRHFy8_Q0>lG!MZ)tUc4-D^26)7|$cmNf=X47)hHLAh z?DFk`E|Jhz2A4$j>z4~n!JYkHA$I-Cq3`9!is=>*7sMC5S=-ZkG`cl1R(}SyBN$;> z>#a2X&S;Br3x5>49>EI7>c)D+BE+(xkD_l&#!Pmpr23-!@F%Q=+@33#S{UTd>8kRnax`r0@0O z+5Eg=TG7yU=6+XNlXZc&jo@wEqu68LWBNAyX80Zr#?{NIFClng*frEYWaUR3OV~>G zTPjv)wmetQ->y%n53_GZgihFAq+Pfyk5(98SRk-1$O_4Wz#4}E?jkZaLLEt*68T9-EGqP>MKpuk}DV#G`uZ> zHsGhjjp|lbMpuGY7&8UsF-_^B3Ds~p$DNLT9d`d{yK=q~e~^DcdsFOG@sxV8^;hYS z4vZ5`8Jr(fgK!aQ+mVY`n13t0{L%Yk?Z;T+XyT!&u*J7ixV(HO4OfGr;ql5OK2mh0 zyi%K_fpVP+@geWMbT%q04NVVjB*N%w8AOV0sVCMCmE@`ON-_*}`(cN^PfBJFTbC_|I@}p-P z*p^oy*hO5Uzr%BJfrns%Fcfsp$!)#y&Ufh1cfXlY$#K4VQx&S_*tF8w+W0W>_19sA zfclH#-N29J2l`DdtCnBu!RwS8&NdwrckO6F@tN^{gy1}yE-cPi=bk;5L)ElJOGVEv z3C=Rk_eqZ_O&4>U4OTNLSA$m_nAVt6Nft>NG$Z#{cUx;m?KS2-Pj7p#IX)OK4?Dj1 zeoHj3|sthd2HmJ-AJ~iIV zP7QnrS%*yM0 z?ws$Vr-Gw1mviHb;hoI6R8<0INus-i_MnJ%bGRo+BT1ihs(*<>%W%pojKQR z*0#@%HNHDMB~Mg2wD4K$wGVVVod4SE;Jfd?;A`!<@!p2q3fK*yM%m^acV)Zes=;2@ zx)FVoI#FpV`P_s1y0l@s?oz&8@cz^=YZ?RF3d!iB@ccTV-{&xXJx?-~_hc}!n?R;Z z#;Hf=#{8gsW54%#mk8cRwVT7!>qTK%pe9B<3b`A#C(X0tF>AbI?SAQkXT*Ov+gtLL ziCOnX>A-07<6%klOk7R~B}>mvPofw5)7s_Kh1P}f>5sxtvP0Pz2tc{5Coh=I+$TRY zB(PgbutEw}*4suw)_2HaxR;OFX&og)SiYwXV1WnVJ27i~rHc}ur!jqrRR^@eznM@h zu0FcBf5}066ai~R)>2;$-f~MxfPEujb$HQxdMkmRuk>knhoHKF*7?>qc@45)znG{? zeU*~~qXC5hVBjI;ysq4!pp}WE z0kNyqH){uOS3c6ea&Uvff1(*liT}#tXvs&aE~iK=VqnIp`hStQ`$p>8%~e z{!_?5<%pU%7}=ZKI-1*96aOjKz|h9Yk&l%0PeuRz{imHKuIB%%$=c!XZh<<;_$P&t znSqJ%zh#3&dH=+6E1J8SeA5s$w*n0hs1ANsCNAE;^8bHQ{#WC_B-Q^X$-(yN-;)1I z`F~4(b}+FQv9SVG>B#@TnfY7z--&+<@-qJE`M*ZuKg0Z2ENGnh;dvSVJ7@gx4TMW6 zASVb+N>oVI75uCV*7Ngn5<~ZQgm^(T;y_W@IS=Nk9qY&_Y6iQos4U}oUim8)FK^aI z)2&H?3yMqQugb$|gYp{)F!vA~`spWK_gg`M?ji?OHdzfbeD|jup932?jx#qWT<-XO z@>sTnX4)nEl#C+H1yDhR`~LIV5hk8DQLFgp^Y27r0F~7D=>MBj5e1wg?3P#wMNAM? z5eftR?-xbb8ti{R{)#&#$tAD*Kz^F{e=5o)S9<<$t$&p)$On~3z7!zJ_kYC`$t{Tf zRX(W5(h%SHLHF3wkpJ7tc+qpn|8?X~k+;CsYI0@H9FUvk6Wa5#9QyHA>&G1&Fo4rB- zrCKe&R26NLAe#6#!rPg-y`CIf$2#|JC&%-_Az_t2e@@yt!(0)B&0Y*Z5s(!LK`!um zzT;qWnvmf1sx516@sw+V`e)R3hJ}gSsTW^ca$Y0z^G{9dj?Y`nekRl3)=!U57ta-p z0GUI0Jr3z8$jKE`zN>!RnqvK`81sS8?7jQ7N?LMnZ?Ckze!fhiHM#Bja3QtMs7$3q zJ|4>Ln|e<+|Lc!^+lEr?nW(w;Cd;2eu-9N3UORmuRD67!Va})DsWoqwG7>W~XuXk! zaAp8AmHGMpzqKYcO$I58bOTe^(>W!qrqf(LMMXsR>02pNDo`7E0Cb3qztxhyZzE`Go1-@u&5nJe|xeJa!9YfgJIXj?u&j#b7W=!D`lg zT=*CnH@9tzP+0?m$XP_Y#S^hr++aG>?ny`6_>I+cOZY^mV;*zK*sl?1p~A(+-Edb$ zRasg1{g$XFzoh3-kVIW>VICWe5S=>|}oCc<^%n zdx?$S(-XRavXmY3!NHNzbS}ZuX@yhcw-aR*S#=jPh>Omj)=!=qt|x*pCEK12Kf3IP z?B!cz&&+;y$pS|rab<{nZsH!GD+EZP1^~OgCtDsD1(Vr)WyQt8cKjk2^cuoyHM(N8 zMo-Mn)YQ~yM?Tr_e3s(0u7FPbsWcw7;4IWRqTyL4VMw=!S(1K-z{jPQ9uZtz+(zeH z3vSPc*oQX8-KDXt;he6#*5`?V<%{C6gvZs%+{Q+>@!X>u=ZkKM6b7Bbkq__O zw?DUYoX^*!hX${*(lRjSr0q> zR(gLN9E`nJIa95@gF9zSMlOKzqO`c{&ln0;V2tzs>3m^{A`-|JkH!ny6G?xAgpph|OCbrBY_#6gbpJWUdAy(?kn~&e79|LEUSLcV z@4%11e^vjQA}xPuiSrz`($%Kx(CHK*&BdA8N1)##q^Q2{kC+vNcM z^=`SR*mAiVl}!M6MjUiBt+6IUr|EhbBrtzzH1c9XIFDky*D%9h1kKxH_1^83ABB(% zI2gcSO>@FGdzy7N5j5db>V0X2uymv8mF#NL>qqoRs5?kBP8qlXyy+>PPKMzqBzZy_)3GlIX5 zWljIBZs)L>Z#Vr2m7l6G`gv`4i096njd=B$pnR4$8vxdx#)!BUUR^>FnyTtJY*ifu zO|<`O6HL_(ftKG_v1n`;7{(x%Pl2m$hSQu;B;k2%;ZwqB0*?3ok=s;&uZ&2tCd>aFX19&Ybhanu&h!;q{+{R8wxzlHuoL#xK6#XEWx88NciIBcMgym zccyrnAAQ_#dV=??=b_t0$hh{CwM5b3JDB6{JXLN63M8Uuf1{GQetrckNoy_OJD;sE ztPSd$%jvqS{d2_PMfeK%udH;Yr!x@bAIBBSQJt^Mk=-7W8}i_!R_k(@CT+7%@Aaix zon(wsHd7MC=Ny%CvgoG4=Xp8ymNSqIC|>;fQ6amqWy@7(JanH$$d_qk!Aj7RQa+RX znm>=vsqQ^UC1~@A zBt-0bGMWlMeF`vte|v2-e8gtCiTXxMOJC3DHjaVE>ssr{tB(iPIFG`AQ>!-C;c|`^ z4}i!@TU9A$BH*?4Z7RDDl>M0$$Ni73;O87I*bqDT$a@bg9K)eI-a?2LVj&@^F?}&&wNFV)i?YY3*ZTIjIxI9Vk?fWXZlyhw6L2 z^?5D9J{iaqMT90pJTM4d--&7qRrf>QkGPZ|@)m?mbu>_l)A$_y=s7$6#EMjw&~sxA zQUqj{Py^>ilyqe}ZU0X;3Or1--_g-|P=nK_Z0kkq8E5ef?NG6vdI|LX0qF9YVWrsr z9C5jE0R4)LruXamN;B&zXxg`Ok6+5xqtJA6YqHPLJQs))mP$% z9Dp5Hr-zc1j3w%1!AaBDjJi8sXfvUQ2!WPUr=OL5DwT(YARzL@)-AdDYhO`0}KaMv%Bt`@7nc>p#b7 z!{SDYqwr0N=&q=Yu5c^g)N|1h3*_)Qn7({@u5*Qkf)gpux%$n2dd5M85aHo|fA}dv zHs2SU&0Mm_b&fQI;K}gYo#Eh(?^dS3{{2yo&ijB0yATQqv9NY_XMk7_GY0smuXtxQgVu)dJjTF+8B6na9TZ zabSX)<)EK9Z8|3=Y?$5hs*ZE%Q%FBRt6e`1PEwC5z%7pIf?x)mJzZp*%{o#Dxegl0 z78m+Hk@K!MXZuuq>BLzm-))|;H=K`dR+>i`l>B{JADRQegH_M=osGguWMcl|?<1HH z8~px7G* zK@LIzznfLdzYY5Te`N)3D&cRfI7^6&DcLV0hF>JgGTU87O^Gj1LvRv6EYr}I<~OE> z*J$UjrKjUpziAr$XBY4b{^MMMyZRA3U+{#Mk53$*KC-HQR$B7?j`tb0wGK5jN};f@ zvHA+X)$=M8Z3zF_&f*;NkFN#@^F`(i2^>Wy`P9_`9DKPhNg{UFSJHwN0wWTezkeiy z>w#wfd-BflL9QN>Yd73jRvEcK3ph1fIqB>hu-69c|C>jNnK{r+!ve!EIugtq@`1io z=|59#whi(jzx7^6g@zWkx3|L-&X$G?K8t|$fWKgU|Jy2Rw1K*j+wRV(X_o)DHi`e~ zqf)Io=|4N)ABS^|6G9qo{r-A!iTWQy0o2-ADv%G!0nZ^<2vYB-5hn4+w^aTGgpozcjT(6Y$Pv935xpz z1S|?sURw;m5bDN_h(ruDbnlusEc2>9PdQ-S`q5QSuC*-c=i3u1-i``3p_to#u;Pye>l`k;=;~T3GHQ%^O!8eWY*2`H4Hw9lzlXqgnK+m)!?D9F zQ*9ku?1jI6@Hao*4SZB@^hAjL8PqeguUG}mO(-_m z+*ssNnd06aLf-Sr%byB+Hv@IMJd~8}Fl>TO-`Qo6IPM)6+3; z30(}mHc;I+hoOCZv-h5D-Gy3W$)m+%56!2cA&ggF>VW-R>{L9cf=%_yLTU6HOmwzj z3Cejv_`*lP-RLM)c~x05Iv1&1z(IUJ1b3?w-#z-w7~3z`VqZ&H$|Q0;HtyNYSQe3u zhiJD@8Qs?gvr;V2S8D&SbIg?4`@17(@&pN!3Xhbd7krtW17Sui%UAUMHcYH80Wn*k z1p%65U_7}vb6qO86W;k&Q^c0*IeXd5O5OhP+z3&L-Tv^xa1{QUYQUPN$==Mh#!OtC z>S`5&&d+#ROxbZ30Zkd^p(2tB&A2!QJ7v!EB2~&1dIRaF+roIEF6#0|I=c8{t&jv* z=LHJNNa6@;a~<>EQad)sJ+`$D19r>wimYQ$EAx`?qI_durp+sflzmCGU&O9123NY+ zf+ZulJRP33M0x;`v5tlf*Al7g^vIXC-;#%>)%;_Z6h5KN#q=b{|Y1tAG zd-C3lPH{E<{d`gxSy`oxLYNA#1@Y&rSce!!4rPt6YBV?kiRJUkRPiCMMvU5d)<0cT zR825HGsAT`j>uso=t=T@(R@6TCzQkF>rh&D;-R{;s8efjD2Z|&Z{;?JT5l*stdTU} zwy?A;-5ICgu05c|^SUNv!SFihUu9CUY;+FsjfrgmBr%1%%keq>pb`oIKma&3nScPU-_qkil_KwCSm@vn{52FH;smpQT+esT1V@@VxfM$gXNPNx_NEv_J7 zLRdOf0chCz^_B*Y`y0+w_dS2f8_0-0iI_>5tDoU7_=St>xLm1$7Tg#ka9IfKcEO_0 z2jM1jk!h^v!;xwEpCzTGBB7Vcmo*M!tn#utf#Fi*D;<1O6yd@=XCw@34~MR! zDqZ&ot%{Bw@c1)vehBL1m7COdJM+^` z#L-*VmJMVN<^x%$&~QwxggfK>u$>^-?~j2~47ttCOC+{fLSW3bje%$>`$B0@`|>uJ z=FEUFSTrLyO_yebn!4B65UGo4wX;y86l$lXE5b@B7wr|C7vBbG%Z1;t;A}I(AFxa< zZgI6_zF`_-T7T{}Qp@@)jl#@fH-qk1v@!DT@AbCmjxp4_s;KH zXu2gbjeOX3?JEAj!Eoy`;hlV$@zU!Lx{G6scd{KsCdSipwYfE>;hyK^nJ9hoV{ zAdIGP8BIv4YkUsoH?ivk0spQ&GW2NENVtV7J}!0;#bElB2*;Qs`2&@8R z*Db+@wL<9H9}_YR5GaO*fPi3r$rDjXg?QqhDVNF>2cNc*l%fWB^#3x41LSTIayP1d zD3URiiTGY1QS2(v_L~}Awyv(uIJjWZaqg4qFoLGVW_lmToxiMp zmBE&qO~2dK&WE&)V>WSmD+qAFmY7YCSXMmu9J&Gnxh!;FD0s1b?{;iXZj#fJo_-&a z(8ct`AO=LQlVGYD+PVLRo!qLVky%NP?cnt+$ImJK4a%z7dG7uCR+!f8Fw^m?lpZMx z7xF8kjc!W*eB6#?lv;W=Tj*8v%3Uh~XgH@`%e}O2QYh5j;_Wn^E0uyj7E!pMWIUId zB61WVXEguYu}JoUnz*UkF>XKP`fg!~3&o_u;7f0|hQ@T~5MA@g6+u7xNDOS%H{EP@ z#!I!C*Z8aJF0~8illj`+QGGY)Dp6W!VT4oxyVOLi6w4;|=_NYKY+i*;wQF7lj!?A` z^oKeK+z9E7;=nP3u^s-zUXg{9j5|d+PXe7*m-dhF31+ElKcGfxxaW*qcwaSICl8rc zeo^MBpkZD+b6Hp;Lj4B6JDp%$aOuAHa(}|#PTc0&AZcl}N3d8>-8YqTXS^~ATm+OD5Z>hJGPLpN$?TQ>8nGDAh`HWc@Fxt`C9Y7% zeWBBvPVX|r6EJ}A8?*vp?9rDpU8%2!jIO@?kH=)v@>0dnD7=y($R7};(CT`N8XFTo zcpe*QHs7!=kq(a$P?^0Zd*7J{XyVf`nn`?cf3Q@Z2|irUm3|2GbQ|V++^agvmTszJ z#?bj9WS&v=ioDNwFwrT3$gFozWlmaAt+bok*Xblre(UX^@w#!w_;r$%ZstsU2-3rC zsIOBP(0Ll@+HSjSysA|fuJ#$0m6>-Nwb=FtF=eUJcQ+qf!;1_xf*G;%#Q8MChgFIa zr=rR?5J7Fjd~544UriN###Pud@D*#Z5ebUM&9XwE>$imakGhfLD$Xt9R!F>9NJjsi zaPvlP(m5-LudornCAdc<$(_Y!4MGUG*?PlG_IMuK=Veq=@Tp}zS2oRo%c4#%s3Cm2 z$#=x4k?3;?ISIpoc5L+9L728i=p1j>lhBg1T|eRV0ysu@87R9ywxOT%|A5j*1aH%jf7ho^0eVbc(wEg90Y|zy8bdIx!7G^EACVa z#=xEM01gxK&_0u=pW6t+vkK@)q?ksU+NYBB!$+vLSFenvi!Q$5%kClL9RAklZ$b(zbO}JHLt!zMq_qYbpxSBMEktNv)rB7ZH3Mn(+=1p z;bo{m5Gp=+coe}vA-sNr68D@P9elh5tVVrpjVL*S>HqpFQQhB1uE!;dODXtb8%J*M za`G^E4(ErScSj&LjZjp8RGNUz;tU>MdQJZF^W6X-M^_yu>XTp9{`IrkyppxxBJ|2#<_<8D>@VLy{OEEJfkZ1la+Mr@d+n5;Kz1Yi+OCkhX-hNGpfrO7j~fN8-jDgZS@D6zzCt2{HwhMeR%q%tn?W*E4+ z>YSpdL&#q)Xx|x?^zlX3y<6)&E0i)S(O@Mk8HI~}<>B#pXdCPVo^xj2*V4dJFiFDv zz&tw(!yqVw-#8ogDeEEc{nK!>$KxkI3y^>92SYqd9KYi0$zJ})PBDTq9-RT$VT0QO z@_|$UORda?^;Xfq4BIhCwyAk2Qg8Y_QiZpW_b(dXl3KwQ^8lUF6Yw?rC}cP)jIyq~dA!U=SPZcEcNF*P9Jz|_8QnKO>`?~N4!7>h#) zuanr%?g`rNPm@IJA0@b1q$*1CB6Id@|8oA|dCe>t<@thBf+%31TrOpLwbP*<)zjnH z?M+!#Bhb<0`HcJAH_Z4JdK6Vc;w+E6VQMRC1eF7Ab4$dk)LS^TdHo_w6mRO+`RLQd zn>D$Z4?6vjgg|W&nVoM10R{RbVD^LJfy|@Xt+q`;Erbllu_AdO@ODR%5^PQujEQq4 zR*bevjF23^2OE7tAy+3k2Y6>+;;b&2%s2%k}jZzAjAZhP%(l8YXLZG{SL?ZDrKec7%-Tex`g@0OF7{K zd|9Nsty@%9m8BCKu_wjcAZ*flwBdZhdN+WL($r1Go-*Cq*LM9HhJiX}92a#Xp&m$Q zc#O9hdg0u&j{`6X0HDF44odu~be8E4WP->TRRwV5g7OUcMbIL{#B;TZKxhV}rzbUb zL|Qj`>~zLl(IqY$hyruLxT!fFRp(DHkFNgw`Es`5H4nT$#K27CB^H?wC2L|6oPH@( z@U3A0DDj6|z=q>@_~~mw-;f0aXfJ7ZuCAW`GF>og*iB8L)HJd zU%ILfRo^g#KcG9n9R64)7}5U?7ul@RKIJWhDTBCQ1&&lvu>imZ{|AinMba|k(oBRY zT=)Yc3HqMoRMnN;YcaiTD9+u~Mv4;v?k%?JrQi&okHM?9;4`QU)BSJj3>e+ff=8R| zR`S&g-CZSk7&`R0Z||IV!2hfwa32stbrT{D)`PcY$qX}K@(0B7^-U2BT4@S~U^b52 z_Gjfpyv(htdu#A*7ImzmUoqJQ?+1ZLQ9{1Y$WK6iuF5WkD%rxEJS{1g>l?_{kzoUX4_LP%$=QEj2h#eh**b?EOf;}KP44D{Ti zfLg&|S*$)Q4^nR=M*h(7`Ldbw=9ot1f!UDRlv=>}=7=D$>Q`{Z=H(f;1_O%Qx1w?j z=5WCdVUU7DelWG$G6_F0f?IIED_(gRgem-98r~Zf=}TcYceKFbF=ms?#kgz{Yi7x% zonNc&{DV!BOwuq)ey%l+$P2%WCpdO4WilkZ3~OVl1<^&YtdwDI6cxgdfr_>csBpJRc-^D}vM%CaA=lIM8Uf=vq}>K++4t&pFB$$Zt&|%J^34@MYFm(n``| zVmUwMw^{+95fP%EOPVXUi3Is6)8v|dMhqwyyPy^o@(1oA210Oe5CCv*|6HpHf%YRV zf~kCxU{6zbvpVq!%1qP`zZ^sJ#Zk>zAcPSw<@%rZe9xrb2R4yw5qj_8pK?T*U*|EZ z*F*yXw=n%;|I8~~oVX$sHw}dFJAokpL-aR10bP(78vZ3>*|)H72=ug7Cd(D1v%COT zNg~O-#iLkO?S24~U1LYit;ZS6Di}HQ>*37m|lH0~@PrNuJsl|hve5pXyKh+Q(Y&xr!c|L(IL;= zo?QOTG{ldQ0YldDaG>)5LPDzYy~c zfMD%aPFlh-oS_h+#?FH-wGYE*q<#KZN=;MYbf~Vq=_dXI{ zMTTsDa)uW=Omf&-ohZ`Tet_t2I3dhUl`=DRpYpKiLodFcRPCM0!9ip-p9}WqA3aJ` zM6C#&v>J4R3$Ke~;@pCmgD5;1iOtZ+XlcrxQ?#gqLlWXbm{YgalM<=iob{UIBq`Za z*u(6;JH398=Jt-xZ_T`R_-c!mSQmiCaG=r`n5RrM88w(W{31mbi0FL8?HhQg@Ii__ z(}r`JHG02-a*nwAkA?a>#`o1QemOyA)*nN7!+kVQ>X%y_Zq8vV3L!@%4AOX>r7Tu7 z5s!Qb@?%cP0)a`B>IauiFU}zra|S9Z<7s6XQ~8|Yg_mWVgtRoN82&r1D)qWd=ktx# zR66Tcw(Rb&x4is|t552vTO+UX94j2JGo%6eQa7a0fR=u1F0jUaP7DaXWSe4tRLD|e zeMTAro>W2Pg!`P_o2uusav7G-PUpg_7jz|Nl>T)?MXJt+Xh}CS`GX7C)a{l2q^=)~ zFnSD((%7ExK*W|A)Db-5P7ZGA{6d=znJ`nvur3z%AP}xudXFzdA>it~>h25gR&Dgu z42cGt!qyz%xW~Btfi%XH=Pi+(o2g6;bT#6M$|N!tTek#($pe!hR*<>tlG<|V zhPPE(F;Ubic&-*n!q0wsp1CTQ%AuNBL;bnPa5^%09GJD=jrCS#@&*hskwli(dtam$ zn90)D_(ogp!J8mr;;SU3(+y$-E~KXV82Gk%>9JM3*=9Wn~LiCDqWa`_Yz;7@U6H^4{^=7AvAN)se&nJhttS2jVMvWfJ z)n6HyZJo=^&4qtKi~v3;>*~tuRcT4&FltFlNlCF;Jxw`26S|CgEvC>0e7u9}vfYK? zyN}R&c;J{`{qD?O{e8G_@9pr=!;mv@w%z04^hRaf{}+uOulJrig(~PoXM?I{My35Q z8=>q%ct~=fnSG=tWzK`FtkEMoM@mV^M+SZ4?T`j+>n&pMt_cs0JHlKV9134THBtR| z4P>_@VJ6TuwIqT}nOX?)hqg!s8BvacP%ma0h(e8`RZc;jm;=Jg+~AN5$omdXVMnVt zRxy}mm&>~Y60^-!S`Ra%p`#}SC<28bDhO(@wh&r_$8G+n`Xv{wUP@f{uoEZ1eW(;$)K|!u%qeFL6rLeR`uUF)2x|sEC3Wsw)D- zS~Q|w4ZJ-|qevy-vkz>ll>rnk>UBgDd^#%`w(3K8o%k+-lXIY7ah62oMtnD2a+eE7(p@N4ZVC1dO za7cc|E69q0h@>y|#RXzF@UCvFR4%l9M3+AKQ*7IUxXQAeM_Dj-F~;xiaJUkNK*RMb19XTbP%}Q!wx{N zshszleAl6&p#>1|htYriYi}qqGgH>(YNH4C^h18jmZwN?NnTS1+X>~<-nEJ9moMTi z+upEz!`F}ePsbwZ+*aI3<70VbAt)-836tKhPYZ`~oiS-K8gE0`7(_Y54)7`7Pt-bX z@iN=5Z>*qskovV8)=o)DscbG)rZVFf05cbUpa)PwD$!w{>y%A%aaKdov?1#ckrrhghp&c=7fPD4&qC$F4@qcRJ@$^RyIcza9Q;ZyYa{|xYgwmEIKoR;3?hL>jz2A&Yq;}bzs8nF^tzQb&@G;G!k`BV=?e_+vq%n zcUiIH#)FXKtqCyNN}^?Rzri61Ga88|GkXA?1G`CB$aE}am4h4E+!}0H zg#7+3$vY`7%E}+d$8hQTI$S)0C)H}6l!FWLmR(SdDi?k3L+Gl{D6tImW%GNw&Ga&zXgJ$Yew6+=VIyT}x4Tm8kMi?BmkuQ79gr z$R!RU_Py>+kQpvB@0n%0)ylc6pYNT|uGfea-RM9fYS@d;!L!W5eUgH#avQDGjlT#X zNU3)sd@1zvNNzeedI8LRs|Q9QTF>(&C^E4gP|Y^oyR9?XO_F-z;waosSB2Z;xO}dF z5Nt0T|4_*k#-ng?)O2nm2A%pZFMVDh>hI!?0=t&hOsLuVz$ z>=9b|hT+oQBWqe3A9Z+(UD-Z~+jqD%S;Th`v@Dj7jjeGae1MW~E{kFfJDGrx6VJn- zE|xU|HTS~^K-zzI-oyr1yKNiHqa#ZGg!#TpnHB4SpGoX}T*3h^$|TDtmyafjfYa3s z50M%Z+9OC=zt*5Qs7K%fHK*69@0~XeNc>_82Ujp^ z))rcLNIX-1bT~^cyboQ^9?5Q)!D)5lPO89vi;>0S5pBTV-din)Mw+uCm)kYqV-zrBf|w(<6M zmUlI>A#D^{d<%lrm4nNo1b&f8M8&)3PaVxV-7K zO+>M0jwj*|=u7jtk z(U=mF-C*s2o1hGVJ;S)^4Y%v#=SXnCoO!lSC^VCL>Gcx6&1~o6^@+y}FPSlsC=P8! z)TPxjSoV>Iy1KqUb>e#1NO^~@|YceYM$+cUMEzaVhV#t!7tQb8Dy0pnP$>pPDI z5md4sKy8eQ_hvFo{{L3|$oal6@XFeCH%{yLdk0)&(<2DGqIGJs;pFzU!^8}uHcCoym-fE^16V@D(cQzF3})!e zM{}{qiq_kmn*BO`>rc5OLxaO^Y#SUW2`FgIJQ%Zg5`2R(o4>lx3{vQoRHjr=%>)3Y zly$GXGFD-KT;x{hN~4g{rZ0)YiUCaA5UUKBO1m}B! z_5nd{>jxfBGE^-ck;#n+NQp6MRM2y~XFS-a>qJ%FW=K3naY=(I<0O>a7Oxm+m467A zw!l#7naQ`ZedRx73MvR|s7OKQ=Q>;Vy+wzXK<0ehUC_-T8FPVK()lf0{%51}9XQ=w z{~)sNVuvG!dJWFz>^3D?jGRQ<=%zBF?)UD3^A4rctrd5?DMxY}YzTBzKQg%UjTP%i zPTWS%-J?13{uy$%vYTp9Rd2xA-LF2Sr8%UteyG3EiWQO8;&I-h>(1|d8vy!B)5H)V zi&x@d>~|W2Q=c}@5^Iu?L%@PF^1vgb!xH$-on+qh?NUiSCYHF+^*LH&s524B%py@wy}O!jO3IAQ<(Q;sVTkn3d!RTV-IZrhxiPmU5hpU||1 z;U`YIv-#Ru0{6+0RfyK8;Pnokd9W_d#F9lUmy9GAL5+KUVX2t|A0lgBC4;`EIXRAf zBT`d?Z3a<*2SSa!k>2_7@Ulf7tWS#ccgGhcAMJT)|u&3e^UrO|jp0%xc0gCi< zk~!@YS(ZPZi?1G(YQix#)~zZCg6aVP;2NRoij*2%^CsaM(AD3XYwt3`+-V@9Bzg-L zIRl z_#=e1H&t5;PDXTfme%LKIW0tjNT9)>ziHjwi8k?t3px<*kcI;5NzJ0L#D66dh2~KN zrYUkuS#1DNLwjO<$5qnk;eoT-7s{)f zQyH7=Bw$gnfr`Q5`AOvSY`j+IS-)*Ut(YOAtgNi2rFG23pKe*!5nSAf+6RS9B$8y` z7AX-&AfC$sq;)P(e^m?wXbOP|ILH`u8WOdwz`2*Z+-@V#!J(nqb%)Lq z=9a||i%nM1EM^9Q5s#(iS1`^2B&z*mY+r=VSakMPIaY|v`G)kVo< z10+Svq>o!X!MF6OUwn$y-EUpbo9;&!?8XZ;uR`4~*)6(vXt=n8K}%>Y1!!jNR;&Ghr zZ)=$huFch!(+p8@ktK6;-{@#*-Jl!OJH@5;hKYT}o`XFPW`}9$>7zeCS`C}D$k|QF ztgLQ=tl*(C7l9j)*-QQQk%E2;QsESjhuh;BcSqpn^Cq8$evN_GN9JPJL07c_gSn&;{9On_Fy^Qo z=g2pD*u5evDB{&I3;8hYgrFHo5llx30xJ{0#C&E}gf9zPgm{U0kwTN@Hfrsy-cHra zkMGQ7VKYmN`@`l1p0;Ea`CAkGzTW*+mFeRoHfBiHQXFLK7Gf=3)EZ(&Qc_b?z~ap| zXDDVjSq$GAPUioKJjJ!Zjdp|ezJw0Y_OG@A{xJ%49XexG&Pm4<1z*zR2nA&RMgCNI zd}U?S~2>P9uX>Nk?i2RLq$-kYNnkwOOKKk~1>X11UZK>t5K(X~A|JLs{Yr7~A9C{S~ zmRjfo+w1OO`8P1bXl#mECLjBtC@)|990C!vw31H9=Mj;zJ^te9so>q@uq{z25u1v= z?nx#757EmOaF+N9;pGRz&b?a>XE-exPmuq#rB6oZfqodB|65Y@H9>k_@2R@Uws@n% zXY6F#uujkMO5j_A_vtwg-b{1#v$@NeOa|`e$(_25)%~^c{rcCJ|9qEdxb^c6L7NX{ zJkj%#`|(xI3(+ReoyF;dZ!3^H;7HOvrtW@sr~W)7K}}9hmpWoHC=lxUr1EVu zF(0`W-1sv1nDn0;kKW2>Y&Ty1 z{q@uElk%^@RIxi&r+nZXPokYHt>WTZojIGLDs7R2&zUZ}#krPFy%&dhyHEaM>$J!H-{igb?9}GH#BiFExVtz}TVS_FBNRuYQRsh>C|R7ee+H9% zgxu|)Gxdu{zWy?UF?)!fl`kj-+$hOoY7r=^9oH)g<*UDg;f{%dp;IXoi9vntN)qMM z5dG*!cD^f-e<#O3%IY+9uklF)u7yrcH}^o{N5*?gyCI^!H#`}$K`n6&jFFV?sL+tqfgH$u_*xt6@w36^}M9nrTb-7;pkV=s`P=f+S6@Lke zc53zXZm_!{bWcQEKZM1KAcSA*ZLKzM%GAD-4J5d*+n5E8?|^=s>@#c3tP}f)sSd@P znz&&T@_9ymzD+aFD|eZCcpWB>D!kL856$0loE@hOUj2B5c%3!$5glWDfrM8)O&$qh zNi}(PPeUPQHt&8qv1|ys!yj}mKiu%8K2n$LPj3)>Xbh+Q8TnOy#gPB7VMrZ=%V>Sg z3gTG-bpK!>SSl?(!I8(jZ~Bo1^Rn07;R4eIFDzuP)>1BWeB(zVu|Kb&dEGA=#?!r@ zJMkFXB+CVtOP!&-s|k5sA|iE|@mP%V)KH5m6?3~Fg3uWBNqmr<{UBd7#dk@rmddGER>D#FwMw+mowdn61vLPX4ge8cH~*iT3A_+MbR zfHo9=XyA!jR-|#gh;W3sS4mA6{fu6A)_*N%1E9;+W~t;P&5C&q%`-x}HD770W7fi> zGa4Q25dT1T$^y;Om!i)8$NZ;!O(uG|AU)UM>g$BSVE?PE^uTCF}GzP>s zy?tgw6SQyzVumYVBz|OkCsc?DHTEzR{>WNM0SVE#x5K-c!=F)UtIUSd6n5A5ct)6X zVHZf-w&USl6$^buUIN3?W4Qe3z36rVHdo1SV`3kE+mV!@Y`&$s3udDAH77R_apDgN&8m~n6-f^ecn5od4Qi~$y|AL$9c>`(X|8i7!D5o#uwir*Ywg4 z|3>>tIn6%kkL2H~R_jfbQ#w#q81wBV-s*$73>n{Czt6a3A>>&PwSk##)M5BppPVe~ z+XHGBc^cuF19(Ln-|edox?(-cfPbt~jCRVI5`pKLei4Eh0E1P)%>;HWnL*dN_Not1 z3IwKGuuNc^gc2JSN$j3`?e<#j%Ddj@WDeTGRFT5UV`(ky6ponmX@WU2ak|)n#A<6* zTl#bF<>#&VyOO7=2maw`sNyIgwhyh5$5J}LGt1F=IKi$(D}#N~clf&lf@RN6IgXGm zf3wKY<~s>Ff60qL+azw(u=J9X^x-FEijS z*wsc;W9Py)oc0C%!-^vWVhFUQPD1>ihZPO|dH}rG(cMAjujhWt&AjVY_Sstgt$^jF{(}xUL&4*b7|c(d?U0|cZ!hFt5LXbON&S4H1S{Q&=lOHe6hhcOa-xM+TNxH~ z$OQ(6#6;pRi!EX7L z+KWND0H4rocEa}e7wc(~c4XqJMAL;<=_bazC>4j3=u3YnQ2XQhB@jvn9heLB+ufop zE*!o-iBB6Lve(md_#=g)sBQP?;qPG581-d7w8|rRz;H}LGCzZ+DZU)XS=Arawl$Zuk-#(-Q5(La;y zEZ`(es8Ea2&)=)-(T8PVVm)HL^-gpoLCm*M+4D~$&Sf2mmI~&Y?8Jc ze#3fI@iG^wGn)kH11NSy^A5Bn%_?BW#w~xhN?%)m(UqDUY&&XMvr(uXpFQUOEqki(xa>J8+jHbbFpl_8QYfIH^fsi9-S;dHVKT zLcYcJ`^F{kDa9eU2!XO&otxH*#*uuQ%pkwedtEKPtax9Om6b97ggw+W(!$q;3kgoy zp2$4*Ovzneagy`!@LP}iJN`SwP;8%CE+Gvo3^Jxy4;`VraI?O(OZ>erT%y)JcMEOM zP^dS=reozl&UzQ~ew23fy@RMolt1QeHk=q@;JT7)J3)HmX|naJZP#Qi_9diwn_oTx zONtzU{YSk+x4P6yoqDwCsvb6qf%1Xbo9XSWK5m?sfzD}bnDFtK{4_;c_DI+r&BU` zgqAx8PdrZ>b%)9IbU<3W#`SCC<(niTIg`h>a8?M9j}np5<=RwsyBXZ9Q7Za!Rqf;G zN&K(KLUr4vwVPjkpf2RR=Pp`3Gnvdf9usKPDQ5rlVJ5pcvG6 z&5%r@tW{?afC0g@(q}moNVvzRK@7$Y(<7mpfTLaiG59TBHq`9CtFI44zC6S@<=yEan=&|zrY8(MJbn!r?A`j|EnN*Hvfzkqn@E`22O=~y z{V)vcs!T7F;`#d=$O}OG7-eMv-#ox4FDc|(@2&WnlIOl80vVh87Jp9gONEuALVXid z|4{y|#HW@3f=|~+_SGCcb0-CJmSc^`+9Bu6YZs9I?x@K9=tZXVmc#AQn|HNY9*IWC z@yIugreLe+vYK7L{ek%S4%lOzhA9W_ewttlLX4n{aAiSICJHN-jKjm!AQpK~{kB4m zN`bm2YRUqAQ+?Mp*$=a9#=-W^`UEk=@4q6X^~e*8%Np~!cO$u*yf|!9yWbbLYZGD$ ziV*ha>v|1e1c%Zf!BG^=ybL(aW{Sx+NsQG04mC*Zue!y)`1*|hDuDK&4%p(4zkLsl zZm|3kZkt?6;JsbJ_~ZVMBBI&1MqYv4CDQn21j#Is$?_+l)qI9wFCpmdXtLDvom5+0 zowD6XZxNe``rnpI0l<6$wgGxPgjuYfs%haL}B{gg5TDS$u5Ai)zd`7 zg4j!kf+YVi>@yG&B1T&2Vcfsd`VMp(>MI6S+k8?Mnc zK=Z){9e*P5bNZNk>XvVRyeQr7ct&%TKNAspd+Sc&iAMH)YcB}w7$Vlj1ZK>(X-7w8 zfF`ObY8g%Amdz|{?Hux~_)T1bF*lVd%bWub2(gsDmV#cF&nTXj+tbmIMjq(N>*K{R zb-&o{aq^Mq3N>24(U$8O3!FwA-zHbK@lyx$-y3K>j;Ongyjee-EQR6bg_lbkUmvwf$SeB zSK~;oIGNT2W01v-*WJ(XPV&piXNPdUbo3D~FNN3-X_5=xCWGXVEHjX<;4=yUj>3XR zRc^5gSC&<9V+!n7bW)Z=q5%&YoE7QA~1XkcKUcSd;R z_icJMa(J_7&&{~KjHxs<3XH@K@z-PVw70Ti&ax9igUkwE>@xBP{)g6NY%IV#0T`-)z*mYRh z(e9bMrF4q{l4b_^M>$`jJwst|?r5(tN}@<-=^;_Oj?cm*-N2$J1_#D3-X#W+>oLOo zky2ban_u!aQ!(Khd~opRnIpt&w=dO`*HTs9SXd|Z#6LGD^UPycc+%H7l&NJHkt z24`~ayo_f#Z$dW?G~>jRh(&b;z8XgnZQyaGo(96B7KhEg2mel+zvAAo!lJ}`rFgGk zr)v8TZRG|+q;rN#gXZS8`Z0Ci3LESE*Xy+w0xh_6Ov{>gT& zu!C`~`Ezf*?$7oFr1$wvb#xO@tujFL>?&{P`rIWx7?C_5j|$b~R@~gqXbPN~ ze{fHIO(YM`?x?Hln6_|FtA2Dut?@2R5aEk`p%LyjZ9l0+3;kfYFl~9U;RpU$5a4%e zBnFbw0Hf*mj94jGaH?LEIxAQ^6&O(4cK|sn1ftL#G}q^Mk9qEXQj_z);$npo@u|+oPv@(QN8NjB5EWs1V{dc2 z@0tgp^{eCKlM+X1IV>@k%cB!gEw=ck5R-#F?34lvrU+uR z;KdsL;(4b3iZVmG_t zLp_hGnErVp;sEIaX0lTah(18x7yMN?YB`}8D_BOBiKwCOrMGYW?zq zmad?7PZpb!cXhDJI^_Tc0jBW7_VS#Ix9qbvgQ0K$xi?T})#WI-g+2w^9G z2!!9|g&N7UtwzHU$;$ubf0SVK((1EB)n)qsF#(9AM)lO>{>2ssegu8?vRPJ$XTAD% z$Xv}!tCOrg1`awpUY(|V{Q}z@ID3Ip4Tx?zRo!=n%22mpqb|9Vac%oz1ke2;KV*xL z+-iZwPvLPo_bic)7;3Z@f5>!g`v(qnIEx$0L_=#7Kou2egsP%0+(!YtML{5DD9vI6 zVnI;FbWtxk_gu=IDge?)am#&fzq*XV0>Odh+9v?ZP-q$OFMwq?6rUn?$h2>2+vv8T zL0S8H$dC4YHwJHr!P`d(bxcf!dU4a(&(nEE)LydKZ>q|ICIo0FMH>HEl%gQ@zW-C& zu_N3gjv@?0s+CXaVpgNrLZ5F~K79AOQUm(rEt@*CT5nmU2-&b;A(|)KjDW}TgMgC4 zZI8ba8GZWH!lRbB!;bs|ixB%`#pCo}yJ4RMfFsgawD=!d0Rp2{usYNyWgyv3gSLt_ zMs@wVS8~*DVECR@f8RhP@SBA>ZERe|&b)bZcmg}-B)qBFXPRWomo6@ zlMHA&yS-U88Ux8K5+is`u1#l`sG+3Ln#5TeW%l?dT&Xc0)LSD?_XyfRRLyM2E4+ z4BC!G;8WCb+X+2JMaCAwx=)lOsyf)QP0mC$5JM2mQR~>0`d>gy!_4112>UHNaoW zrL;l^?M~?UysC-}KJR-HeL?T2I%uT)%T?dwvCw*#*BL<|lu{yC(Kz1jk;9ZNc-dSL zeNJ2!r>s1ykhxd>ve2n%_-EI5>c@0$e!V2pvxekG;H`)^bR6Eaxw#C#75cm< z&N3Y)^VL=6gsh)n)F(>h>X)&azWQkSRb2b`{(cA2wP-Jp^0H&AKL?eBGSP69A9<|k z=`7T&!Uys})4%S=R0*R1Hl!q(IPEO`;H1fn{qCR4-?aF-!&)wqG|#oXR3S3KLF=ja zM!~(suy*#_ysx@$l~sCy@qJ50RcT>C|Ge};MvdPOFs9CG5_iC776gn@0__cn5En%- zA!pM@^EN>(7D2Z7T3Lt3)S*B@@a~2r!mV1Dvz|CFT5m+4+sy-}mrWq;0R_>4V zu*(@7@%nQ>=|aH$oF&k9h>`*hx5MQX;t${&I-lbLRS}q~stg0E7g!qhI1GUON}7wE z5l0vgAm}rHfr%8OP=w&i*}@1s1O#v_G6?-tnJ&ggn;{Y~^#4iZcd?1N zf&n=^61IU!niy&8I{gtIpTA%);L*~? zHf>6qT$qja(}aTAUHclQG)`SF4)>Pnpsk0Z25MnBBq_}SuSFOO(fA&_$`5$|NI?3I zsG>f{l3Pv4ykE$^)Ir|*r9U#m0!}P(GEN1|LOL82i8qGfDfi8FlqIe{U2=q~IuZQK zJYK6$(he^%fqw!Z5E~p2p8o>DzNkHd9z{<-mTk+DY%AAXu@xe8{>%Ti$9@*Y1j&RY zI3FTijLKt(qVAC~fwtv`w3LbB(zP+o)7)=#egghq-`)^^l3K`lAX)VNCTGvm8q^=W zI8QcNgg2Z2_r;~rM@28}gJD+}1&`X=`WLHU8VJBrNe0!~gD-;y&_Uma-EvZ`XwhO% zXF}TN%k=+cvRQ6}Ud~BEiur{)E4W1t!`?3c7`rQ$t68=Aa-dGC5l;f`tLlGu0s$`l zLp1hpt5^1X``w?d^SoJ9tqFMD?;e5hVNt9Tdi~A{H8>Ory(o4|0lgwyw@f*vpc>jkOv~|@kO}Z8JS|N zn?b!YzUQj27&?yoXsgu3Yb#mQ7ijWI{I9XO1Layn*AtRs(s&%MJ40`GkZy+EWO_i5 z-z)%g!sL|l)&n3Ko(6WA9v<-$+IlnvAr+o)MV0axwbMu6iZ;Dr&cR{B+8JBQ@Eoox z$?%Q#5O_2Mq5<&42kY03S<$W4ung?5lv*Q5`u18h{2@Ft);;Zx`vRB-I%bw+7pEM;C)@#|W z$gIAa{9DxybxgQ7CsGj9a=JTw_QzynSpx$JlWIv_fYZ)0At;KtDr|c^uOLhkfL=o1 zF1x-R)D7%kCKfXg&fAZ-WaruuzMD9)(8d^3Q17~RuTaLtf8sfeqfsH#0M+UWMlW~Q z0$;uG#D-?1QXECO+VK=e;g{pxH^adQ3hy^&1Y#7n{jkRusm+}Fn|C4rLJ7_MpwxyGJ zn&?U^@YtTS=@=6V3&%6{Y#Rj*n8!d3O={3W(3u=A1Be-Vc}J(xXdi0ZT(< zVv9l0d=SWlGk2_HqLW>;z2L>UYgp2KZs9DiR7(Gf5?g>H;jx711#p$>5lNx^9go5R zF^kr?q;AH1ZBiPtP9&u>?u;hRP5zxNougcH{%AZEPWqS2yjdon1JNeGDV6W*=y2?m z00*P|h)yA!l~~_mxrQ_!@6Bo-iTBfnH?zRafynE}-Iu($50n#4(vWMH<0n7k$9cVy zGCqc%K#i3Wizcb8R)--Lq3&K-7czSOsq+X=Yhhk zKq!YW{jAkBD~HkNBTj67d>3_;dE_io=BD!5S)G8=X#tX3#n$tss_}9*@D=ChwwY}1 zOhD&Hm6q9lrO`PJ+Y@+d7gpxjjjD>uzvd)hTdl%B9z77;b6TxxU(xTC`Tp>%dLAfC z(6(zbX9D4l)75%v_1n``Q_1+bJ$J0gN92?L7@z;mBx%E^%M$xu`_0sWb94iXTAFNE zo!`QEocAOueAW%V7`L9 zEX-&B=_mJNvdpuiNz_Gn@dBT&q{`LZkAE~9b3PBb&Wr;e-%Og!?<}famivvdWVH3i zU0Ck00!|gHW^Vph%rE5690MEdJ!`)Rjdbr!@D5@rGpdmAPaRxgD_p{ zHf~J<_5@`RtBeFj>HBx=wRTG`8?gP88|s{*A6s~5|8JaU*Z7!&p8{CA%Qd@H`E^Ra z)_?a@B9|or#7N|;J8$6z?H$WGU{S}Xr;&BsxaEa>j!`fV3^9Z7|1i!JO=Sw`Hsp>A>dFA`)qP{N zfXLh9RbglQ(@fcH;mM_Ty%q9)(5~kK2OaO&ZwV2Rpaiku{w9W_)>wN6I*%z1_FrA; z7aO&rBXth1XS)*HZ0t%jWPI1OrmK}G3$hzNT)wNn%TLPU!gc;Jw8|uK!`J>&sRZkCS za!!r{^Se`|6)f}rR&R~e7>l6oKeupBd_*7djcnsrcOGIGj^Z;1OAzq7D7}Xv6Zaml z{onA=S};ekGaRr#X-gV>99T|U$LUOnh%d-*wQ3L<#GNO9zESKv()5ehHHwaoE)*ey z_v;|{OB#lhJrZ*xr*?lx`D&~4WUl!7h(3qMH?y&Xh#^lNF+@ATqTzeOBK1X=xx4I1 zY~uM5SwP8Cq{hY)lZ^Q0qef*bRte087Elc7sLe@R(m=JMgwVRx`Lbg~U=K~`mLOYq zFXeO;r7$%}XDl7O5VQITSspN5-&74m*2a!!gE<13=Le&)Gs2nMP$8ZYg_zebM#uj7@M35>z2@(T;1fa6{Q984>{s8y#<8-qv6 z_5^o#)y4UC09N}NwC-`g`xC!yf2#dhk-4j<=qk$Wv;4?U8t3!DG8Je&Kll3xPALBJ zz4EOPV5cVcJarE}!ZCSp0s78M1NzAoz#yw<4tZ|HK>u?3*AeG#@y-v{mHCh zBRUU@Ucq?D4=lA7`+vM{w1!Ckx2G=>Wk*|DIk;Rob2&X90%Be4a}+RStU#9jf{Z5P z^EN!J2pQa4OB=MxPwNLItIjN$oOOxzMyx2n*+0?F^=4@fBM=`RG>afAAoM!4_6lX* zq6K%2AVH-0X70KLJktnTTlZ^`moyURQo!pVB7xg#A(in%uBoBbVTxc?1?mo_mgJy| z=V|_STBwwezZ6M#(r8wi!@*QtM}^KAly&%eVKk}ki411<9U5!Kl3%gbS;n%>`WD0B z*=f!pRy5^;85OJBXobM6*WxQwyuMO;F=^iL3q$q3;cW-O2Y zC4n*X&`pKF~HC zx<884y{;&QK<|HCIth$ev8BZqyHpDlu%Q(oDcX}Dj8&HBn+i1~4nk^0Xl(NWFYF=? zYS!48$_YPg#W}b!<_&JL^=lP?|5$6v`c#Ensox$Jp3TgHOCZYT(3-;HenV%2A@q6; zuDudy{QVr-<1PmGzpU<`zv_ln2jUFv=2o5q5sB=sr|i6wcOO&rsR+(^lJP{q@=`B) z#J`@gI9|S4qa~~Bjzbd}1&!?!&YwHj6}H=)g@nFu-&hZL;z**j^nUF0_~}f*+XHm^ zM;#{8S$)(j+3nWb)Wa5l7?R|CtDR~KA~2?yeZXYQ zei}YRpM~BTuca|%WViT2qJ1>+D0UwNAfpM4vojRufF|n8b&5VR%vd>r2B;YP=nE)F z$;;Zp_>?;!f!ew7xmV!_=5a*|hhnLH<{B^WM?LB&C?+5NaFND#_rmwWf=IvX`I>wz z&pNGkpUWcWIMX?pfeTYrd)WMJM65l?D}QseK}(6AawTviKtY0lR`vfr4IXT4D}qBV zRZB$o>wx9G{+!oXdn0roFwN6*OQkjAZPz-+6p%}u6@-}xVghS4f=NmV=EIYEHYL^%pK>vNPq{b18UzpU;S&jXC#rIEE5rvkM|}xqQp&{Y-JUa9FWm zW7hOtw{1d}^U>~gr27(HQD%&U?w6Lt>N}%*$~`?p?q6M@64@UWDc0f)JjbVk1XAbG z)F-Eo1TB%=D4gkIS~2;YfTbP=@NdY2R4F<{P8R_t0XCQ4gn=C?5TdtKR!ZXPpao;r zFpPKrTsnXbdkC^dF8k3ElWw!a9WQ8J@C(XQN!YWy7Z=xps_S1TUPIkYbHYeD$Iesv z1A&b)^Tli)>DZ(12Y(CA)@<8mY~zMb#~EdL%y53t29v=S+7*w|zVcOe};_>p!XF3K7>lmV)684_Oo+)T5 zPmZFqmd8;->u-jGN3v?KyC-THIzODIbd}F69&n??g6E@Zsf>V(gO|Vb!9mjk7T$wk z`GQAl0=4IPm!0x7365>^!x)`hq-l-Yo_kUejf?TiTWYPK)09_WtFLwHN?v(|tQJ;o z>Z-~=&#i^z1b7({6Vg)?2mLclI(gg=lWmvgT(qE5Gq_Zk2kq>8knSF9SoHF;L2^as z=V&rYQEICyS_OZsDP(|yE|(i@h@RH$)+r-`K+WeoES9eRS$y#Wmyh$pMK;{~jeUWa znySDke?&{~fKgsk9&*GH6JH>6WVzzfm80`AE}3V1g3BHfU--RZKluJ7W5?6|T6Vy* zEAIY0foNe-wtr_q4KFc8v__=AZh6d(b=-x*yV?I54g5Pl_D|jRgv$}oTk&>eXf(Sj z18Si-n2h#wdr$bSX3r1T@1f;OPCfepcGkw`aFhfk6DZXHW&P3bt4NI1`{nz90&Wsn z9G@3l-JiRnM6D@W*#gqIY|W8u z(L(1FW-dMSoop@rz2!r?PX)KIdX$+>T!xOW2=ENZYIF(hpuO6kqZ1~`fVHKEqyM?h7A~Ptf+2V6m7-=nsau_69wKVra zVtoUF4;WxAPJ#uP9XkfdnkIscY;^iHVkm#J!_qDOVYV+*Ga*8Bui83A-rlS{?#ZSf z$7yzO=!#ELa1Ola`>i^ly=|?~8VgRU7A!dQ$EZ>`GJ$ed##EdFgXK|J^$p_DKnp&ov?Jf6uzd9{(1y_}>1Js;vWg%O0vO5yUd zT1h(Ns{J+Bm}&Cnj+z62S{b*F^^^A7@ix)aBU0PM0sHU2B;j`=-M}E|2kD_R1=oBj zFeo?|GULZe&CTDI!sRY&@+LMCRte!5g^$i&-B7F5G6RS`>5cE1RKZ|DB9GN{HM=QA zegz!1k`X|o4TCy3HU{Re()FlYk;J!>t|RtMCg(BSD(cDVNymZrfocVTps-@5=Y&24 zN`OelG3F~Xc;m3>dYmc^%%jUaL*KApnnSrHOlx7-ts#1XNU-WhAkwIZBR>!J;6X;Q z6GmR|@>8x38O|$@Q}rbq^#(SMZP^B}g8C;)T?T^+^Dm@5m~@s@ZHukDyb{^)kSl9G zp)vy>ad#YiqX4cN3y$FBn?R5?kZV@V*xyc#F#9i@3%`n0heb35H{by#*Zm*~jrs5I z7#q-6=<`b;5fRPHMVvPntO)WoO;Eq-yMEDZ(=)TOVKJAczIs7*wFis4v;kK^DS|UW z-sT$Bn;Yn!4Y(bMl3-9kUE2tDiE;?|B=Qk-m_i_rUk9taZcXyqx(;qD7wQ%Y{rJuk~Qxz>OL{1;Nf&3gSMt`*Nrk4>nGpMYBq+pbV+KD6S#qG`T_8KPsD4nzWIXYF07 z4=wP%0A%xB273OPdg?e=IyjA)^TeSBVDB$ecPM}qlzWd66d6U0(;XBzda6PiHaoU@ z#V4-8cgY!g@NM5gu8m`9eSMlVz=B0LCpMsJFH8i*H!^t^Mjtc4e~yy>&0f0zBY1YN|p5zreUq=^)zKmo66K9ud7aQ#+Yd(mRs)iQVCr4Kb6NJGG~uJ*HRug4(6 zcl7YeHlBfQSC~zDDChJK`a)luQn!BPU{TG3#myX_)qWfD$q#H0`n3l9vALEVgr7Rb zwt1zl{kPzbPC4#<62N#qPa&N3?fYQCFe?W<3LdNy7=WSmLt*WD_LS+Wu=;H9-tln+ z47VGk;*K62Up#1` zyq+OvEMwM?!?$erM9@k_!v?w20BbyavFq!(mJQK$&XYRdk_@m!}Q1`b2|_K+1`vnOqtd@9Ay3z&hO6jZ^HbS@MhbFMVx`9 zs`lCp4vkv2(I?;K&Vor$;(*UzA1Gu*#R$Uvyh^KS*coTs49mV-)KUd-C_AQvHq$4Q zJxHNX^SsciiXqord1kSiLHYg{`-jgS3OJ3F-)g*dYb=PyRw-F5NEUnVVHqSmR6Gf7 zM9p&UU|k=He-Xc1t9m#R3%4ywKqyBX4&Sv05!G2p3U61i!B~^I8n8c1$eJ z6)TlV1^&?Zp{>D5=YTWu%{66?R|;~S#o|8v8f-c9kdE9#?*6_lAd_>&0>>T@WH?~y z7Zflbg~q%F-52v`>W>V_SI-Yzi0qqd$d|%K)$yiHkGUb>tqB&B9(W>D4 zHI!P%U{L57*c=-?<*hpZqgTkoX07qkHxe4=y9sH(9^XU{3v$||K24s&e0em7qDP)7 zRq`yi!8`o5WtM9qk_J}*3ka{)snT-Hpu1G-$(E>?e*2PdkBDES#denp1i?k9>r6>f z2Mb0Y@&RHwVMVMGnn!R5$!_2da$h)?2uy)pLEM5tzFY~we z^{Y!8f=J{AS01j~fPBxM-4U&Ie#aU_eKI4S2YN~CFLOe~fspK41 z$~_%nY<_-#Yf{$34PJv;RK<{=*;RcSN{MWP4BCNYzj@&A3bC7KwN&MCNseW>SBb4! z>0$9YNOTQZpPH8^j^xyP1fK!20zP$&fHo-@L{gUA_X6!{>_NBvSPSKPGSr{ukyELG zp}3}HT?Hz|Zt=tRVTjB?F5g54cRn9CrUcX;fXK1i1LI(~cGII(kJ6HmB3u?pKp>$- z^9T8;V>#n`CYaqvtOTMr1OXJJk$nkXYT+JxeGP(y49UD8m`YNMIpCQjUycDV2&OJ4 zZj-UnX{Oq7vB*EWR+K&6m1_YNgG51h^eYPmDX-ci8|m8??A<8L1c!9mw-1@K!Eyc4 zd%P39;XtAv00UJmta+_c)9h7i1Fj{XPXbCVs`1sZ-|vL>iQ2kutxS+nbkkk+Wk^9_^0JwP7o*ve2eOsf`EZT zgb5-O-1IF)_e)Bmt^r->k#~Dk~#`L9*U&`>kOU#{0>Pe6zQMKfx!_&jdwa zmpCzC%kh@3dk^5kppM=zzSqv6`-7y_i0tL}sbEorfU|&ZiW&hDOJG>U5mc@%-qxAL z3CBYIu;KuAh1~qbtJiP&jAp*;Qv#|1@-;racb3&YHdzley?4fc6>z z^`!>~Akc9Pz&e_l58I&rjZlQgBojcMe8)y2@?Jqpn{?{g1N^KY7OJx;kD=5m^$3N$ zUg^qqi8Oo+)%qmy74*EtgGlh}IEsXP2GJw)wWfq&SHfUW1i>P~p#}N8pAd_Q2O*o; zuIVvOf?x}g4^(Y-;iq9ICthmIMr=d(L;AJ(gIkk1}eZtgXh>4G>!Vd1_o$_-)#{$92r zw&CB@GCcw;M7t5>1YWV0zk1n{d%zO5b5IOSdUPk6BnmwadZzHt1ksStlvzuDfuhZl zV*1iciD{+fQth#m*xn3PS=nO7iy3jdJ@?4`&XUF>J5L`{AcLXD2}h(vfwLVS&I~9a zauM5f4I}rz4s?)n$lEt9jJw|SXt>KoY#we*2usApJlRt60usvAWrLtv282s%F)!Gs%=mrM2PDHPJCWJC=x4p z2qG~_jC^`ZRD-n&n#+x|!0DiXktkKqT1bYo`9`ohYiPe?6A6ei#lC!lZsdP+CJ$)D zyd@UIJqrOOS7qLY96vhL8Ox(l$DqPv!W4XC$KwKQZMumf7!1CaZ9;?qrq&(IK2BVJFC5G>LLekazadDzs%>w;*B=!$i7fxSPVgU@G^92!Mi!NWCp!JM1%=#>r?3{@GWU9u zv<;^`cq9N=EJjpJ@Az%FI4WHh4dDGf7<6l-Hqknm;v!i}-sjtZ@C%#fZa0gB(WX~I z-1!<7LP4ibnVV*ac5~E6d$E3vQbDXhMrPw#E73#2=J4ZX!b37k=E@U@DeTbp<-cuI zv%y=&?h5`p?XIIUC1gUxuyZe4Z)aYP6@+7l`#xR<$6yP=iGkDJm^4%d4f2wN_Zp8* zYi%E>$Ax!PGA9vF%^h$?DXQ~~E^zK)`pf%l+y(^Hbq=msj+nY7QC>I&4VC6tNd|Sb zG(#%Saqg~bykwPl=>X|E!&zh{qcyXY$_Uji?R{=#~?hHCoDD;mAjFhw<~w zDD%K*S{AQeQ>0oLyfeXZCb$J4G-kby>4ksLdMUzq01WSHP$%c>Q zBQCB~IWO#r$8yLi-aY8RE&BWpX-m3YXa_}s5`}%3fQK66&>(LsxZbac!+23Cr-`%C zUpIkMz%dLJcvo{9Yl=1oaY|VDGwhBeczfNV`DQy-+|}LLq`ki8U2tq`>?2#%Hw@Xn z5UPTty(E=|I@w^0u>q{~#$R|3qL<{ML*iW{>|985Gxp&%aB>EBe~P)n$_0aNPLDbQ z$UaG4@S`U)-22$58C$4zBx&CP*a!)RG5E539;#hvZh29~zA>VmpE|duCBC#Xh?_~A z|Hj$n+vc0&hU*GmMef1XY5GjHP?xN=5Ug8^wNvwSDd~Ikw-xiVX6?k-%y{9FW+QEl zHVn$#lzi*fuyyHW@UU~&Z^(jLCQlkc2^MAjouaF00+LJm9ED{o(?m5291Z@&w=HId zhwL^V4+7;u);cymyeO>RdkRpeI%>Hf&INhf6m-jNwi}(sWIOJtc$@(-yN)K175m&A zEr#a%MjH9uJ>1Tfla)FCYFVh#ZDfc;>lTL81a)6`W>o&SKySGR(qG*=f zpjf}BGN!vD0E^~h)OlR^7Mh-L4FXrjfHTK8alDzg={TYpm2|B6kxOLNW#d8dAPoM* z0oeh6RBe@V<1+ORut8H^8Vu4h>f{q*|HBck9ou| zHwOMsr(UeRL#MD2a_f-vk2zV04X8J+e)!0x>GeA0l6`AV1dkjXT!j*eHr`Nw1Bvv7)`j<(N$HyNW5*Pa(U)g1i={-m z?Em|+ao`{baJ1y7O;?iw*FLf^N!}X3d~Exn_7(Yvanu78+q==utX39~UsJ}}-+rYE z5+_-oTpa~zwJi>h!CkyC_6gV1*AGbazIXVu9jGK5D$~e~jw_)9^gJQh`T3K(%fKn@ zb%$_i$wuVZw&u5UEq~u=tVzey$vum(UWN^re7}}c9G2$WY#evG1Rsyb{_2>nAl~v~ zB78u3x%3@<{*RC69)N-K`-7Z~nf0{_Rb1}aumCC_Dl$2$_ZM8yEAsW=Dr35YC1^yy zdBg?N?+iyc3SCg`#t_6SDw=O~$>k;~31ZQ0kSa@V&i?(|;7*-FRV%cvr!M^ic8{o0 zh@?6-B}JKqThs**)lFxx*?G4>sv0UFbl0$jn$ zuMP{XIeu@S`PZ(iBQQtn8`%iyU#zb>ea@}YeGcRzXX>X~D+wNVFI9EIpxh50R?K}b za(3}pk6}Jk$d62>r;$}?G(ob5+M(b9xUL@+)PVQ56G19UCzKD;dHYf8u|S=_@q^Sa zhj2E(ob2tTH!A#cF+u1o`M}rV|7QV=vb6u@flcJJeGNmn1(217deqUA^1JB(cK#bB zO*^)Ba0;fme!SWX+?2~pKg2a^&6KSmBVYXdz~^#T{NQIHj=W51a`oTSK>DNZJpe&k zMGL^6V!+wgK)urSoBq#2lP^h?+}_W-y>_YT;uk z-q}T)E)63Tk9Q_A-#;D4hol@cmhQy(5HKW^5N)`H<4_#QdRCW?+V=`p)6AQv{{Hf} zdpwIyTjFK;((agbJW$eVZcZmZ?0{h8W(i5-!1>@|XI zNWm1^o*oyW?JLp@OJFJ`_tS8AS~!^36M!@_&%ay< zw_9^tPAc009Yw@&5X5L0NZK|PM7k#tnioR%S<@g7*+)(93~MxOOdEXr@@Hl5*R-y# z?(N^+cUCv9nPAY1yqBb`8IY&0sl{m9+@+48)E*K(oU}1JJw0tm_m#nS21unQVsiTW z*D75xUHM{PxvsGuRjCHW_`Hc_h}ALnpc`< zw~Vi3VC5!_9VfMI`$qD>2`?rQ1+izQ#j{(uKF8biPv^G(UN3c~X2gzyBC&c{=d}IF zkLmujkLqIj%?M^Jx)zYR13-1WeY>B!fipd(#RJvGv5x+>w>VY2b)4D2*_oA<_Za^( z#Q4c5nY+8Y`69}1gP6wvGpS{29yX}46Ka(ZJRt@oEN)N-dYovzV3E)}mdS{zWJLM= zpX8`8=gk+u=W{Sk1}DQdr#Ry4WAt9EgJNtdL(v7=5^dauHTIvrpU?BSSnfKQ-_5_3Z+fsF00|atboV@|Zxy zvFotN*{QS$fwgpEL$IkC#{QpYIFOsio}3UN44s%Gml)0q%GiJ+{Maku(-4kDl4U}5 zIBjl{q5SZ{2|1G2R0)Ge653}`&n4nWrx7i*AyCQ{Z&o$qCY(MuLj)JQ# zZ3L)S*jRt?)^t9HJA?8*1_1D^(9%*;`x?-5a!C^j2J$6zjd^5Qnwwf9zPkd6t5`Md zLh+!tEKr_$a(~>#B0XV{99J~b1M9I;8$gO_{LTt3zO|in>ub;EL%`zl1zI4p)H1m> zAd~=`!dctLiQxJVT3`-wLxz9{AIc7BL4RiD1_!HL`qN#p(jM=3!|NCYo5x5cfevdp zPlFz223Ldl49QW;ln6;j34SY+bUSK=i55)x&ZqU-t(Z>6?~Y3P63rCJ7Xv?QiQQlE zHW0tAx}A-a48a5dYSL5&s(M2ING1N-$btXV!9fi7j0IO=h^OQ zL6Jj;?RVijlvYs_=H-b$N$*wM?<3eb@f~d>E+egRUlX}?Q@hNezNctrPer$M>(%aG zQ8kfbo8uMis5fM+$FGp1y5FIpzZ0eXrw%~CIPSZ7c$YeAFtE>d(dBHwBt1kj`<-`c zCO$vw=^12}|ttD3&KvM2tLsO$vM^ng+afu|aLUf6 z>=5PemCu&dr&!;1CDQZnwI@tbm`H7c9(HY-$$#`GDA=lAihx zFFoU{_;{ARvjlbKprIgY7$3TP4Oi^Jn9hg9xT!(ggz?Szf#JCMWZ6RGnE@e}H~dGb zI+H4Qd3{=4fdy2WQZ9uo7ezVo&!MN}NAH}^4z9!;9{5@$zektH;???l&^R1EyCjBp z`EfXxo-C>K3O>FCYv^0Tyy#RgYX?Q*?Fgk@LSFcz-j9^;aj}OS51upoi?`|9SPXwn z(q?j_8fI^Znp#dzm>y=#WZCDdl1h)@1kBZ*Ly}$u>CzOKisl<#O+Qg1#n6b7g}Ek- zz}Mz$>T=}W4f|4$EHBevd6>aBJ<6+Aei0;H~Ux?v}G7DV_ zGDD#)OLmA!8d!{Iy2PgSIzm<=xaacX>_hlBn)k%4QN2U+k-wg0xT*w7G?crJ<%m#* zF6i`@Ssp}&qf1(os#4I=mAjnbtW{6Bs81xBrYXnU66mH1yK!l0lVq?X9z2#xrhm@w z{iMc-CTJvEL__kj9lcbHe7}eJ_b?Dx3mrKcBiWV#3u1tE@ zOif0I)C`H*2x_J#%@PO|7dVhnq!F0a1 z*iTHqj*~P2hag5UVxGZB@kcu{UWzj1v-uk_0!&o3a@^9ociuN^3-y_bdH<$9ih9P_ zv6&=9dsQuU#(XEyfStb$w9sFq(NVcbIO}7-LF85o!(aJZ|1fM>5+v zIV4I?{UeAR4qWXj_!a9Yh(b8CfLI}Cb<`BgKB__UEqN)3&S$oi4?ySpuyj}*j z2$^NCAulB>DM)6O1ya3N^lL`r_Cx76WypupgxO!OssQi zWc&y!xFqw%nB5vHf7DH%y5YV4FOW(t4;{fz3jCN0y)d*dO#r+Z;9I>AMdwHu%C>>t z3|kFU#_m_9my>$(P9d5k$Jj<8$2bh&I)~E7`R+3f&m8->sBr|$@Q(wH(k2PI zjRP1)n)UojesvMqfI$}=82XriOhZ2{dCF4DPsBqK%`~vsUeFX7kZsGAMh?5$9 zH6a*n4kIu%!L1YWzWz^^#Wpp6Mxof%ussSc3K=}2lBYtj<^ye#I%t9sR{2LROyfel zuBy3}XK}|c&8@L64}~O;lp%%;7U_3Qf=D9F7#}7D6Ihe+M=Zh87#D>ChNORm2B#4FJ*2 zuf#Ds$wq^T!a$oYc6!Bo)u{IZI?pS-a>a(6PD-ek1+?3V2hs-${YA*$92E%AiR|dE zd@F2m*138_r^jbkgV!5>k%%|FXWsuq1*8^Q~G$({G3I6Eax=)gcK<&Zg%IP~P&oN){5wSxvCT5_cj61IIJlIGDT5;!LjRByoL z#7|WA3ez=EygP^B?NcIQ-WoI;v|RY+Frn@&-ooH~p9vnAVTT;!?_esYnAv=ZtwS}@ zl-OBU?|0-Yo_=Ou?<3s*`0DiIIr~z9%nmdf*7NlNf;0@wjtY|BP_cx{bJ@{1Hq{QL>(GSCHCosB+lQ@K2hJGS8YWYHs1 zloo9um1jn;YjtyEmPdf>tFzAkft~qoed>&P@z>a>KPZBNyMsf#orhQ0JiKfga>Cc& zmL;6|PJ)Qx^*A(pTejKkyEIK)2Jx-a?Z-{vK8c-^n`(Qjg~7n=jpG<4gdYf@;)h7a z!$QN&A!H_}s9V5^iczNTm%6k8qw8pk6t_n`$h!XfE;d6?5=AA1crOc{w0S#T2M=jz zX>wT7I!m!H4$qfm&l@>lGwe+>tRfhCJ^~E)d8OutTfV@i$GNp4zO&K9nIro{NoLlm zuycBq=uo}2eG)pd|A8QeQE;A~hQ@~0KaB3F>qTGrnC(4?TsF4Y*kGC69{LNh?#I#) zu7<DGkyDcL zOoU;9^SVW#iMRzY2uH$hK=u7FMDhyOTM|?;ity?E(I7vIzw$87>i`fNO3p<22`H9f zr%?gm$LD7KJC(qraQv6DL-ex6RGS!J)WmSIXZrN}I0js@5L?K(v5)%zkSfn*UnJUQ zjxEbnkP{nY?C|@<#GW5MU^;0J?AAv*RB-WXuUZyzd?_IsDNZQ^gB%Sx7!bor5cf54 zdZCFBVV`18@7Hy$+GED29Ekb;ZHFQge)}Yz-qV_5lyYp<8RGq>hFv!xO^M7m51?F- zjPl4}>yBfHCEmOZ5v3vSbdO&_Vf55$Eo{KO_())-4Gv(<;g|5<=%S*$ORb z`cOQReCjTs=yK|f4|SCoz&0e$y1FXOK)iQH6wr?bB?V0U6O@OF=KeQC_yYxmN!9c> z8*T^eL@XXU*xPU7Q0Ho2RKx$v5QdikPA7LvEZ*una07YskjFxb*H;EAF(eHK8|Nc5 z#3t(Uw8LWdz#!tD4(4@SF2$j}-L4l%82C^WMrIm7wnx)v2ELJ@&k*e}vcWQdhGSp_ zzvNOqu^-OFe2{F}!#tpcRdNEw`LYp?Kh6#Ec<>PbBs}HKI6lem{H6ZxtIpQWJ2oyH z`tif8O2yT>gTed=MDp3^x_x*AfPJbNQ^KRfNk#q`|Cm9f(?Mm9L?wr9UkIvk1Xlz; zHIabH-c9>xdF$&j&c#kRWsc@L1I(^qw`JCXY0NM|LauJ)8{~Iq&%j zZl!)k_8|R7C;;G)#|E9tf%;Gw{Xu6LRG8AUVW}von%axgkM}jj?~}l09kD<*-0=>E z-=CPH(1{5qq{3|Qoe5JD6XEZSN7@A4iRHN9=6vSz+deV_M}e5%Ob~AExxPupN!58_ zr$t>Z_PZ;`_aXe~H{^o=vA>&$(On{e8!tD`VV{ zs8HNV%vyP9!-L}K8k12hG?UdF4vR50xm4;DJmgr@NY27Y*MD#{dN}A%+9;Upff^v0 z;E-REXmi`C7TW_UZ}udS(^TR6H-rUPaIq5X6GLCnZ!2#bl%Af=TT4sS62icRaaF_)U!PV;xKs)-uQrBZn%5 zcDPIu=>!i4kmk4w#g5z|tV(1bu(-6H)m0Qz)UP|w@;UFGW_e2lS1L1TzFn==wUkrU zAaW192Ob4B1H>Z$=o9$yd|#O1Ij`Wgv`QEX!nmfGruae8An$jIrz;DfDPK+K0h}uo zv6hO^e1E3p*n+j)2M((3O8ORT`h+}`b%-;BqdO8%jA;4XT#TT8fQDVp@8k`ioSG!$_h z{`lj5xvXB;OG8;!?*Ha;1X%mwZKGy1kZe+jS1?w%5b-z)1^#cVxmLmFi%^Y*n=D>{ zD&_Ble`B!+;6wLL;S#q>6-3Y7&PV2ht$pY?;Dp{ou2k*e3agzYxA{IA__=W<&=e;I)%OiGt&EKgmi<}9DT z4}hyY7znR;Lcby-eMtrE=E9+lDtU2AF^Vk(%NaHq9!MKvd8I)_15?$ypr2`|{>@n| zgx#-%vqi%(Prq6iJlxuB^oM-*B(xrcgmdxg_CXSh6?A0|1x zb{(izZe4EO%I0o=;l7U#Lo8#YR!1U>aW-X8!;(q+RItYZv znWSKrA+9L+%tk9golK+bNQKN{->3UFX0A<%t3!(`GN7= zpIW(SGw#?rKT5`Y6Cs~{U*8TG_3}Tt0UXq& zIN=cYDtdb4=e(k5E`j@yfRxdM;tT&fc}CH|kcknT#qIu38|^2I`Wco?eyu7gI&Zz_ zppRExkCt;{)raicPBhZON-Ra2)j7@oYJQaCZ5b)si>`@JI%P>FY`Vk6O-)-J1j;je zf80(vSH{DsP5V7c;iSd06uBP}RmQ=AUBioYZfNHhgFXy>&+ojBr<->|Ux#+tIfngD z9IAuLdwuqVffCmCr_^WnPmRa(eisFw+xb17+~7z=eX;{zUzs$0Msz3@MqtLB<`bY7|BcJwt)I9i$^#@o;wlV=Sx9a_&$I39 zEM@bEaAMeF>&8z-(sCp6S>%s>hFYIXp=@w>g9lgfLaSY(i9U)uM_=Cjf0Ca*j%9JN zOu77p%s;W`btvWb;^V&7;lS=Jbq1|YsIpSBvZ_i+!fGn}r#1P!orFYpl(&o__n-ao zl-r$?pHSFG)A_29Jk3(e$qbG0u&diM&fb#4Ln~lpC>&ZD3=-aaN5b;6^sX+D{GJ<# z_zgZ_5-B)T1t#KSjyHhhBAnur94a*||8C8{tz&@C1RFt8f}|T`asqa1v)QyLD#8<^ zFfufJUPH~4=KjnKUEdOLI}-P)KwH#66)Og5*luNRNvXERNcD+d*JCuqr)OAYaW+dJ zN@V|dCw&>oV|2jh77lGo77(O*tvC7=Hn6tq1H-Zb#)bdrZ6rffa_i+NKk*R8M8DBe zP>UUGZ{I8TVZF(o>@6EeQ{iGk`nFSy zwjiBH>U$UJnL55qR}v8N>zeoD-d&zE_~LZqPM<#Dku6H!bJmRk>#sCXU5_hQMz_T| z^Yer?Ss597-_rfa;CHVT=XAe>FX>#A;-aRZ=#x{4iX=_9Qb^TIq%)Ms3L5sm+G*4A z2)eej6?=Un)k7E{eTF?x89~yWUVn=qZgS2FG6^^|l9H9c4?jB_n*!12JyA$chWtXw zMc~ED?eE&a;l4c z`*fD?$3m(>?-8O;SU`$@#5mIfOY5dYDE?FzM0s&ss4A*dEQ9m7Tx|lBmX>zw4G%Ym zh9(j5kUN(wZ;y$NDUBT%kg#)hE{C)^E+X{?7%iw|YmSiL10li$7L6C#gfQ0JxrV)+ zgX;sYx#UtsgjwX-!_bGV6x-8n&Ja&NNRvn4WADd&ZyH20a0>Bm^ZUN9^xh9HE#~q- za^X9-*tvz!ybQK4@mCnmlg=5ktQhcsgd|@hl1k|tLabI zh-+{m7j8#ZXhGIr`@iM1Y_BW9LoR`BO#hCZI{+rEn|x1XY=tp(o1((FE_RZ65pdVn zbg9b3Ad$`X2qW)P(7@7p!uv0ab)Ri?;g7=?%(&(tpDvNHvTDD{VfBc*FGkw8r4i?) zto|oX;~%rLT@+uWhb&{|inCH^2Tm8C9XtP&vv!>ri`MxgG#)T^&yaHyzD?E|m5iRZ zrvUEDGUDkR%=m{)u8aepC|NSOl~3MQtc`DZcLAEH$|SpZt#K=#-cNqE9{57()4FqV zS}Ick4kj;pRDK?v9P9jK_!NY!oX0jZ3#Tg71x(mwV5-`NHZY-Ul#AoG89%rBM8xqm z+)MZuE9K>$aS_5|^YQU9m*okz?@inajDg9v=%7aHMfXe1D+-A~Z29+yIeq6Y@#bdk zu9i!CDD0q@*Bj&-nJcbc1v@9ZXxlhND<+1Meofb+V-p{K?mA+C&01A{+yk=Fn%HlxWCEIxXbDdc;}t^#5;;`QFbaYeC|LQ3yS=8=s?ZvK8NWPh+#YScBK`N{N3piCk96_So5duqUY7+zTs~Vcq(p_$)ctVk zpyfRA_^obe<&VTOB7od0i+Z!v%xJFp!(^jve&spFDr~?dI2JyQ%sUK|wOg+Najm(PR~dQ)k=i7iGp?A*?AK1y2AS4-((HhYw!;U<#6(nw%_lrJ=c9|4|#=j3#C$p#PaFcnD%zpO~2` z40<{Wx?XW!URr|hlWeCI`JU(VjMo5!H6_R*=n^*863am!VR=}?02YT8Unbnba>JlN8vSN*g768 zqr*Q*t9q_ELcf_5lRJA4o8RpxVO}(19?_)k=^3YkJsMBK~V5x6=!0fjEL8E^4LmnG!szn;RV8CjIK zl2}t1wAIwR`C*|$(htHC6N(M(R!;Z2!gf1P+J?4rpg z3m=!GlFxmT3y(2bGRf`y@UStUH)oAn`H zk>6sAbn)e^Lf)-aZy@k@-T;nT;i{-LJ0)$r{e!uHR@Nex&WA}_Ji)=NY=P_%jVa@o z0mjXxYxbX4-!cSorw)o;zAYYZy!=TKemP!bN?$lSH#?O=ZW245qB0wph<&4P0N{D=d!{tJcpCK6F zh^SoBYhk3^G+N9|Ntw3i)`uKBHF9_B`lTv6yZm3OTj7H;M~0t=;7DJw^}QyKx%B@c zGc-`FclmI#bO&VV+yJ1B1FvYRd8Yn45ncWkxtl9LzBDz;c-oC|8=C)5maI7ceJIDM zAl&)cJLQbjc;qkiBdUtLeTV%4BA3(=#&uu*k!*P~J`fDQZ!cPXY(-1w#m7XEkIyNJ}DXj#ww0j`Of-oC-c&#w*uY76+-gCkmptM`3^!2**v%uhbN59q|xTm zZz)3Tj=$NaCt2_%>s(rHcAdzmVF%Xr^leU0T36M7xet2}{&op+jx42?h=vv>)Br=g zk*M5QDq~icr37ok$rfoic^xm>W!En-Gl9Uz z8cXCqq-hK$5TArHc|oM7>mwa9G95O~0-5MLI?7J)^#hqd_3<4Xk#?QY)j18)pV{|q zSA_Fz2A8FW-}V<1!Rx(;zGOSTAF09APOx`9eS$US7|Y~l8wZ0-PUW=$SL{1)$0vHv z!pDrUiRhp4=R*jONEUKdK7CeJV`)KWD3fu$lUa-3kL;3KMB#(Oz?%Zb!(Zt^c(a_LvIlr?&rH5Ff*$J@VrE@7A9UUA@x{BzFK1mhZtkxB}!IA^= z1FR@{3Qbt3z;mZU!onfO7NiGM#uI47=!xF@W2V3`hz>Dz#iK_&iy*5hv0OLd##h!s z-PY0Z;5K1=B+nr4aJkY-GZuyI>Kaop6gac#cSN#2bBgZzdlu3r6W~JPFSDwt{@FF> zU!@!{38GxSx%heSQI0b908bVHO$sD8TPNWFY%=S&2syL^)9KI5?PrzwKndG9V8SA3+c!PIc77sxKVrDWbBFdI(+5x+K zBx{Wl2LHyeW!~@efs@VZd|J=%`6m{95u_5mUPcA2X|*U$2oT%$e{2 zTAo@kIB6;rI(v4i+V#yYtXJZ@T=C_Zr>jt3PgW^JnHF$TFQL93KCDfcYx>M7$qxVI zL8C8ptSf;c&KJh`RCOObRS%C3hMjhsE{J$TV0Xm-B724s%+bc z9tB_n4G4&e5qPgQZ^_Mc(P=UmX~!3D@=_kJ-b8l3D0hDM+I7d=6L! z$d;+f8ev?CoOAkbTQK9N`^iqiJ+T%S6!PB=jelqx82*ZkS@DKshbLYvlul~SShF)q z+c`6D4lycDo>dbOdQX9=8_dxQupLVxd;11L@k1y$X^|OdxH%^HEHZxn`g*)=L;Wk2 zHt>hzucuc*ozVXYvh&|=%c0pGFR2pdRzA*%D7SP@BP!LtSDm?ue*N8%Ac6_Lf$Opb zL8IT#=sW+CH+yCeh!WKy1AY@R1%%v%_aAF2mxr5@knjWmGED~~lz*-Mhu{LoW)-Ro z?lKmAVHR$%!wL9XSswNQFaXGsr{4W;>@AWd)s;vzESVi}xt#K;c60v-#QFAd6TLuYM1-UAw9h>5;HB=0PDYogEob0glr zz_!l>oL0{Oj04Btb-{Iqmowx_OlH@u6S*8I5T>c0pgbXB&m{abI< zG7n?i*T|(YEtec<_eG*Ry{b0wUg{{C2aT#=nFdR!pwbQ0D_7o+(l`BO*|=Ygt|%yqWa91_ zTU0+GePc;_?Zt6pGlzaExN}fqRvIEJqEY46_9}S=l7cOlO%I3)M;l)t>Ypa_znxsB zBL=Y2Sbr{Ssx^%RzBzTDijSkl;Dcx2jc$PJ-8+&q?jq+c&CNVFO?NbvNcOHRT@M0< z-3s>seGT6lfd0|6D)D1@zdHd2uz7$$fZ~x4V#V6XBv8Be&yVLUc@%W3h$0TRpv zYc(9W&EiDK7V!}*l*uR~$a?il$=;pH@*pntk;Hz}62>Lzu(nNgAJrfFkLu)9vbC4X zixnY6c;v(Pxv$$+JMOnV8}bA1MZ6zOj?>%rbe%OplyRNJtnODlvNg6aJ)dA69_sD2 zU=4RGBR)QGBU4@ilcufwqZiZ#`8wy(kUk0atCEntdif4t{_zAw;r9si#>x zSl{^QxAllskN?%O^3>C^23$eR<_5|d7~#gnd~dXr-`hD~s~d@tB*gYfyHoE({#w6J zZ+Flg*+(d%gtW&jRO&$L%=Y-p8q3Z=$Vq$)spZ`@sYaXYa72SFb@CPhyg zOR-h4syCv4T1jD#$drO@d1OY0&PUW;hA)1zq0A-0&bGZ0|HmNOyGRY|>Ci9O&KaWl ztr1g)!CvbAmfYENdJY3k%bu)!s1Th!rOy;yJQOcC$ zoumLwuoQU2@KiLhE&Rb>FCCV6wc|73PwepIfe%>q$oshepDd@6LP%DJZSwGwMIL_N z*XuFyc3B}ZfOvB@l=r%+jURRNNG-L|B`SE;t*76au4+v8$v?Bc*nT3IZJ6R&O6K%Z zpwM87{?oGzvzSnGFk6WX!R7dO2k#k?P5})+73Lr~AFAl$o+H4mN~8%3^yT2W`}avA9U(G1Ko0pgDA z7uruWB*ZZS!BRso!De1S%89-uc1F?xYs@sIEcwyY+ZZaTEK2TmIBs}u8d-iiBwWSr@|p?Rb#hx$u(;M3OWYmQK6*L%e2wg6 z->>#SEF8GN0XMJtAA_yF9KC&wkUSDgLV_>GG*oK7Ki%=V;)hrryrI?}mZxSHf`{^M zI;{B%`3v-*_CWv}VjD75P?QA6vGfsi!`%T*PtLXbyIxfB=^(I}Di%9a96l6dKin{I zM>ChETGA|up@jE3)HnrJL?gb$Qxsx(;&Z8cEdWSu5Mxuwf1obZn0w-YV7q@EihM&O z2k&S6(=@Sd(`eIio!CbnF{%xf{zapX@r`PZsax)U4(0ZM$Pg_R9wcIbUUv?K1K4cv z02mF7V_p6(BPZhWQ(`z1cqT&lP75Gq-60wP1sg$%f*9f*#%&nJ*gkR?W+&9=$^A7% zchcDWUttU3ct?rO-37|^tin+wu zlyJTAD*+0FLJ>dO%y)*T`UdKBj(xJ3mjvIqPNEPolM3jz)sT9o(iwGvRc=x_#3*_A z&h|asl#fm<;^cAluj^(|zfda?&|L|jC@l^Q;4nB5UBqfZoeZbaFZUgnMSbfSGeOgs zG54+}>$BL%N~!u$Gd4n`q#6pK+$;Py9=NKyNedoYJ$k%xU6R8L&J4FR8BL1JZj*>%;LhuR5$U6J zfW?aQI_KU8!=SUb7592JJQw)Jr?}|D)f=-8rhVDJFY4VJ9{eo2512$zL>-bc8gq?c zl%>#?ILL(-Kz$?LjS%9f>rY^V!|q3i*ycX-Z=af}0DHS4eJY35E20UmjM{FM4WeeO z@i2BDFzXiAZn2_I(^QE*yPC8r9h(VwQG%qA5np&}u>fjg%R*<7-BSf+{->kF%lOHvExJGZJ7b-OMEtp=oo<_gZeoUOm6IkDwDcu%*grPD{*pLrRbVHa zMO1UHsCk?`>N4UPZ?w$?yPhqPj^m0B4&DJL?J7vC*I22s(XXGzYt>ntzW_}J^+q6R zJ?LM}k)CY5;rK2#M>^zmd_7t0O4w3nC-9laQm2$V8E28*LJa?`-owL5F za58oQbc|$>xtsonLt`NpjPU0fZ&IB2&KecpJ3?GBxNx%?)j%yFa!|3bPvLm;k)4$e zm7H-j=adgU7qpPyWwR|*oIPE;o!wU#bz9Vs1ec4h4FpG4sB}W|QMJRS$?Jqn|C%IH z4jiF7I6WKja;9JXxkP7thQ4JJi+EuK zDe(OVFIYoz2ZUn|2P(mHfJB5|N3TY%&9P(7jIRcy=WS>$VkP+Ov1A!cE1^^<`i_W5 z?$A)_#Zo(it1e^mYSFyc(8AzPhfI}6GTPWU&Gs2z-{1OKgjNmtA=-~sVs!4QZfTFY zC^d*L?rx!%8gW9Gyr^B`0~su-0acEemr{YjTZCkvuIuiVh4u$kwB=C7q1ImGf*)L* z^zFu1U8jt#G|sak{y81QvFe^y^hGCWObiWhoP_%No(emdk?bOzhI%h>s|_JsJbIDawcQ-gwF!H9-8Z$A_KNK8E=J4WMf6X|f-3Oo|jOG`gjsibWG+>>aBOg-Z za{S=7>8UzaWa0>J?8a_o4 z>Y-W3rQNFe!w#YhXDhj~Kr)VOTmF6xJ5lWNzz^U9pNGEh9h(}Hxfh5@M#T(A%pefU z#SXLL9r3Xh@S9+NLqqOIDh}3x17bw4V;oRT$R$UlB43*}62w;w=-I(x!_}}!r&7qF zPDVzij-?EfVX!#pweO>NeaX4`H&#R201q~+pepLiUn@q~&!s(mSp_pu#BxoKf4crT zl#}?jgQep`SSw^=6?Tn3OTC)YZF6=~=Ou|DQc3#{V2xpW7J`W z@7DBOA|>WdVKCh!N+!a>@vnhsFn+6ScXpYBK zC6Vbn^4%5=G>n=TozBfJcTth=4p=a+!u2gq{A654Zv1M^BS=$!KmZ42-VVhh%&-6L zdI}r{;4?3QOURmoIdf7C?1y+iB*Ny z{yP0TW6r6Bqs0KhEN%5nD$7EScS*g(=btFwcJvmXaWegD0uw&Ab2-%WK_L#wE<$vu zw|N>1Ch2hLFa!lPF3?CZV=zRhg2^@TCeSt|7S{4jy2r2oriA=?iQWLKIzSoA?@a|K z`^0s=@V6)xP|CuS{4>Fy{|)dAv0CY%!q77R2%6d$G@!tOp@@2lgd@x5VmfUw`7^CP zcD3C7Gr=1NjL@p(cjDZjB$;1p3_O}n+WZEZot`X`jjNJbi zDpFkDkmY5AWm?33a7*n%k{ZB!VjiesI1{GpInag)AMzhbs6Y9?1HS>^#@}X_%Ng2> zV|rHpmpSS3zh%)E+Ch)~m3=M(0}NI*5@^34NLnE~!9XLiC`|#>0_6W6Ro@t8SFo+y zX(w&lyKUPx)3%wmZQHhzwryK!+qU_3&O7&x_x|ruyVjbsYR#$-(`px~V2kMQ{j7HN zj6$pKi&DdpIQC?60;a zq7m359a5ObLIP`G9C09EL@njd&py5L!*~x!A1XI~2gm0AmG#ALI)VB7 z_iqs}!#U-xXGcpLi+D%=?%TiBN}gIc*_`w2xj-s~56@&8XC(GZq_T~6wbJKEJd5q7 zSKCM~bJpmM#)^iDj!xxlmzIKpfaB5R9$T|AjPE5XxbAk|+uhOh+ev}@W$Tk}2A2(X zH11DO?Mz>dY?Y+9rF**+@aj>JuJU%D=E3_6rpy^3w6C#%0VJwGENbD z#c0FINqSF(If?Bfj~4z>%|8~I{!FTna1vV&pdttENkA@OCRoj_-H$>eOd1b#f^X5# z1BA9&*A4*xQHq;)R&?Q=d7w_@d-++hVSVE3vMA|hW7mx(;^{1LksKVu_ko&lw}v(9 zer6Y`7az9g>ykL|Ta+*<=O1R*6S^T^o4C8;wL0? zYp-|)FCm8%+8kqDXN0+!B z!x3ozd<0(2FR&pS%}D(xl@FYcvgiQlP}rGMkEl1YD~@BkP3^12FVTjB8vH5jr4za1XYYF} zktLNS=PZ6gi_GFI|JKZT>h@F(YAb$G za3Ee04R*$ludmO0LnDSU0M3H1cak1;{ z@dR-OvkTEd@sYCg$7qnh$O2+?L`1}KekehS5Wcp74G+-d{~z@QJgz7ygDdItuDOeJ z2W>cZp8e~#`d_zr7OO>TP(tp(?W5$aPMM#{rawGiZn@1z=Zcf!;|1a1;O=|hu4Ypv zGmAMYfhO9->5!YPM&zA09>xsspPpB9z-}MV=sl`fVwEFf-RoO}@){uL0EU~4@ zHgRDVCSK_C9SSEp_v;XZ-fxxc7N4}uBMZ!zFgzSJzWlQ3T*;P}mdAg$x`hzDvAt-D z9v@w}9G)3Euh))(OTU)XK9h#z(+H`;CtSlbLDA9W$9girR=jY%!H5Dc*eBt{$Xxmkn{QQ)TR=M#yxX1RV zxCs0c!LqR95nbNF_@xV>J;+#myU9NXHoy39H3?Xw#jv%YQiy9o;0ND$3CG&R{DSNm z0voBzI|`jg^a04XcNQyO$p9l><5>DHfRxJCy}T3?f?1wRAjLr&aWi23@|;rknhCykq! zsJidw#ph~>`pZ+6-g)b9^vWN3D2Vl7nYYxg24A|rRI7mEna-X z1bqhy`?jy2q5AzIh!t*r@tKbE9R{7I$aTv-6X@|_K`MXYa}%joK=A&tbwijX|HS`H zXagjdxG<+_d9B$vZG9kI-(R~-WeVxN-lD(?Xq_}q^UD{CMHiq^t0^%zo6*Ymixq5j zz9V~IoXOAT`rgr(0i7Lmy$_OWjB~A5gd$UEkPuzYj}^l+na${yngdNIbMR7{*fB`N zqVjh7LzSiLH44AuC&^`qfYcpLWf#)(-xPtIrRuu*FO5d$wY$si8L9CLcl%sw)b4IR z^?)(id^~2_0()`%oQOn}zi`<}cS;p^`Sd>?wo(Vv`qurC&408ePSF1ac&#t}B*@^j zq5~2knB3AZX*hC+JW zi2XtW?ZCTZSUTob2%UWN$RE}_a?!z=N^@Q!9-SiINgEfntYns&7OZMLv?!kX)BYjU z%`gWFUohq z?0;=$L>2?SNf=TgERLA@zDReMST51BH8#B-N`Fa!vLak_1A}|jaew*tUHB#5-0)=J z*ByltCm1O#h@x(L5r0NI`p1yYZIAy($BPBLNfGn)-7BGSeN~efvhFU1gM#~uuDyK- zEgPHvFNwG`-a0?Jn$d>JMp5i?{=im8nVjY{xumQ7A;(7SEJWAS%4WrbUhf63ED9vxvX&z!M1~J5-)JELR*2=J_|MBvg*=8SBI;>8s*)CS$}#8Dqb)RuM%a_SArh z=Xox5_nR<)ay+fc9);N%pH$a?c)lI>Xh=k>n{bQ15Yjm`bbMWh00(X$q44PqOidqB zNWe3~q?-0_-{Ca6n&p4TLliopD0R=UB_0C3EeY-~_0%D{JnSb(G-Uk*qbnuc z%9vX0x1T#k-;%S-S3Q4#20tS|;#zZ>op@}F-P0v+EfK*$uF%KD3hM?nZ$*nA$xoJUw~ zw>+X7$efoy+@GvL@>24ic2C)PR6cQhGWBA=CiuZ{UQ%Ec!55foS*@pmI&6NHs{0SGChkP5T9}M34 zv8Z($>g=YT``iY%|3{X8N}< zc2?fEZ&5Xp&ATJ~QoA;Ry=h(0B$3=TBcUl_=%SIm$|<=#&It*~4GC617wtd6 z)}QTOC%5^)(O-c3jtpjVPfvgI8V5u}uB)?$|4DKXIQ0=073ek_L8uVU(*^N*MnS-} zrMdjrTWeNfsFCwPdWbuA$rM*-m6Ph->9bosk#xpJ87w$-LGl*Q{)T!%>IP|-BZwBr z%!7=_f{0);*(_1hPee2uMg5Hwes_rW?OD3gP)kN2`do|JJwiBRP#;1N)8`f^L2%*U zGZyuVHZy*u*ty!t03#L#Nfw5JD}0P`8C_c=@T0W`QS58LW-HTogb;xBTRN-mk|JRe zn>0)bXnVJ9=h0b-wLN94s4%$Ka;CX+A6$-XG%FDv)V4qu<^?*>CR8>zvZXwrTnJ zO6QK_s0c`>toM2!{pfsLm41J(&EyQ%Q@Bhy08Q|#jur~?K!u?6MwaF)nok$`ypn}L zW|Wv{ztiPvu|a8MW1Y+5zRa&Dk5T$ev-jeg(f_@d&5g!`w$Yo7m^8-iHZ-k|;w{HV zFVH1mMjbPIvKRW1iQq9;?_ds8d$KsWaj`Bg&DM5u8?SN)(_)qVDLDl{z=$qRxr1}E zo_jqP}k&YyxHAP3`J02y`uV|WV$Jl!QqGx^lO)OHj`7rzY?O#VToRg zBXcG=Y6OR4%|D6K_W=q(>~uIlz)Solt^8m=p_x6z@lYb|vgo01dxYFT>0$+qR(DWX z96snQrzi7bCRkpWB6|yPV`0z3w-aFho79L*PG7vYabTI^3$DtuWc=Vlb zBJmLrinK}UP~ohht{aXBc-M=MSSzGL>s~pVn}giJv+%|GZ@_%X7$SJz*s{EB(XOp> zl!Cwk>H1&iE7Yx2nH^>UFMs#l#HWsrGidwY ziV8L>Q8syBHA(#=;U~7s0>LuRxFz?>dI%xQsVZ!?NFL{KqRpEhlS zF7Ogmo8+m=!(4f%X=dVJ)m-Ee!9tTyq)7uozM|8yJ%|4K)T%sbFKq9F{0|lyZ*bW( zzEJqfWg+L%KU^DEyHNPW)a&^%mn&qYCt%wKaQiWhSGO|ibqmh<#pzU-4UM&0Y-WNB zbvLc$t*}&osHuypI{FN$vKYdft~o``5l(>?9gyw}iAQ%@i=R5MF0rE+5dU!g)~7b+ zQuF(kaPXQ|n+L7i8E)292o88{1bBf!aRo9TWyGuaS1zT{nQ;1z;nz`6lrRy_0Ng4C zE?cEhz2?AghGf~TW=K~-_{58YwbPx0?OE;yjcRGe^FORH4$On05p=Cq^*L7c8#NLo z*EqB@%T3x};jFy*D6hC~l9k=2g?oc+MfdHFN5@m`ubB~)tY0X`=<>gwy1MftQ&&$E z9{5&0Eujd4m1T^?Q0KS0Kk%@}=-0gkm)-nzCYLL5BWv)l)_gzoj)5kQlQ>|HktXm0 z)Dr4eVX}-|AJ|di-XMv~^6 zj56D9fTuS%O9Ohyv71s$WUZ1p@RZS zYSTSAzP{}nWMJbMIEbMs;g^PkBP&izifyuzQx}i*b2r!gz2%d_>5UZBnlRJ?8E}N% zoOA!?&%L=m z;P3^y6FLV!LF>m3`)b?`ye9z0tUd8iLuDs&W$<_oehy};4jm=W2E9`{<#(n(s@ez} zcmtiyHnuv#%2y>okfO!3S^UDDa~49q*ttk=yO1>&qo&JH94sJl z22H23sObsM7OP7PbL_L#xzZh8{4V~eOOZPKczBvhZ`Ih9^ZP zQ})GLaGKDqm^hI3Jtr99U5 z?-Stdn%xE`A;_pO*pG}3v2;o?^-z6Q7C;KXwv97AS+SQp(`|A`2r|Mw$tR6A3?$4w z1p-L`)C&E>W5T%3k5>Q=0-HjYDjuZE52o&RY=Jq{iu>bUf(+x-%|!BBw$F1+$NhOh zhTK6ujffwlx?UKb2j>ms> zSUfD5W&K!e?NZ;qveD5@pSjT-UQc_*5u>bQXdTGd3&AjnIxna)3y6q|3sMMv^8U)= zd|LnWCj?2t4bo{kE8W-h^JOZXdF!PV_cor~_qCtFxa;;W|HE`UujIWI^3F~i!^Rvh&RrF)D)t0B7fS>AAod)o}pg z4AL_XJjR|nsAdFb%KP5Tm|p-A6E1hIS`IhKLmKy9mT=xU;fzx01=6=ui!CJ!Srz^f z10&0Xq;*blhm@-Lb2Oa&_cEe6vn8T(a={Mo679asngrnyDnVm0K!lTSx)cWO69Z#L zHT?!wjC2x<`}zWXc-5|-P`^>*n~e}_|*mneYi(*;4qaRcsi6IX>mS^L|S64gi> zGG071iN(YTuR!(Qr?O{pNtIHB+{Ge{`*(X&wnAUQwxH0vi`Bc0Bf9(w<=qf*!h0_x zlCy72ZX#=ms_UNXc+1^OJlkA;Vr6KqgtLu^2L&kb)2rPvQ{p?j$eLJp!*Z%;hDuVl zSlo_Xuvn~Bq7P6#0ZZ-lk7%G8`|o1N^)NMuqHRsLY$%O4Uc%xSp+BwSP3C?J-KsY{ z=rpRvr15}Z)Q6@_68*YF(FlEE$a0lrW_T)bm?D~KMC#!^Wd`v8d#W(e!PO1wW@Ocn zx=f>$9Su+Dy30czNEpltOcQAGgX<7LOdm>M!lm5-K>BB)AxEt2QefQw@yi|Jp|sI` zG&hm42Hv2oCvU;OPyV#{?(5?ci;=oCHip?Pn9gSA6H#4on3dJ7E~uDXfBUG}QYhR* zG{XgYn9LzG#KLc*7Ij1B6V!MXhWcr-)BxC}%vIx%`l=|wprY2d_nglOiD?p_LA=W= zNF8r|(tlxp($4D8XUyeL@@Z2EwG|HU_r_hs3l9d^rCxpaG5~y=$9#NlK-@+8yS#=t=w$7z%w|hW6P7RkP)-_Omosm=*T@@kt9>Vq`4M$H z9q4fVwxf%kp!R9Or^=>~Vv?rnOEUet9GxtinjcoJ?|ARrDB>)@s?rh3ebS%N1XiQS zWJa4klZ}#3@`xCp1K6fMT1IX7=RTJfp%XV@u_OGqPyuG}=P)5|MyR_ECLcE9fgO?Q zha~=IX1Ez16w19uzSoMggg=>;4r*s3JGueA2-(dC&xCvX(~rpYi?=a@PrN7RDLgjG zHhVvz5Px!m+w^bD63u)dGQ^gX(TGs`+|w0yi39F~W}UnQ+!1K5D35Xxd`!zVHYx&W z-w7+-K~58=FqDMC*lc2bf*#a$KoKV5@JARif6a?<`^1fthg?*2cf#|Wo|;}ks5hhD zK8^xf7pCOu2aP>wz>NjO#S;s3$S@8OTab{pPfh7q!iRsD-U$t9W?(Q^(&I;R^^G=- znPnU;U~n|=^cn#}56Rl`!${ z5U-8|`47MllzGL|oM{jHSx(Pqlg9H9bYD7La!Az}88P3C6KXvsCs`jWWB5XJJ)E5U zrFRbY;s1pJ0J_sZu~|RgWq(FOd95vE$XjoyO2?#}<+{QduIS_}`0q!qA|Rb!u_0s? zhI~>@3muTKFbO=im&6dt5fP+KNJWg>NzW@@ajs#|nnWoEU)v91;_6&d;3~E5455b( z-+D*f)O=u`sT1B6-@`2s)m#)joD8l%Ua6#eyRgq>=>8dNs_$eks zb@K2i1w}geupdI>p&xRRdy5F5r44KPrmhg}ptX&_dDv1KUwKD+a0jGs+|I$VunA-y zdA6_o;Tnw2Rxu%JP8y^>QJ9hl`umMBd&B`I(H)wQyyBao4kbl>@C0k*yGC#=Z zwRQZknx7LxGf&J{Em1looy;sTS}WZ`6dvJB!0hXL`S&n#Vtz%{KX=UtRB2Cpn{`A& z;+eCc<{9bS@F%FH+?M-UDRBN?jrsCFpBcWE z?@%rd_9+uTMItC>wu&TV($Yl469gbnZJ0w}cO8Cgln6T#@63ybEj4%rm}h2eby@q3 zCI{7$9!VHVkF?l@`T;k+ZNwHT=;eIc8bNygM^(VOu7n@1R`td7grEAEC7|@dLZ@et z3%rdH^rEeMMgRTKL^HMtFJwjRz-YUXE+|xkz^3r-V7)IH1QnWcklPfgqLWx>G*lhguxgQM4J^Xnl6(v81yl4&uPM=h1>stcyxv!E}?` zZUME$+(2PV7`O9(rU38%CrBV~uT~YtYLEeT22s!?)^eaH7GDui(@47$m=xbadmhAk>QS)+MqcCv zgZtzb?8>sS11ZD4&gV1W(jn^Ye1Ov-3demSzH{odUw!HV`Cdy zJB5?e;&x!)KOuWTdDH-xz054L?qXcn?_v%}lptKY7D5~}-QV}7cRKX~j`-hjNc7<^=cO>k=`UbJ2@or(;^!1fG8ehBRsIy#30de%j!X|Ao!3$@E$@ z3RGggH+#&O>$Jbmt;|cj%vSY3Ku>)y zsp7FXI}g;IJ1aOeFX2Q(&E~TxLWa4e4LR^HCxH3*FNvzqLGcBP9%fv`d={hT-Ha$< zbA2V|!k+(_ivoz=H&gjYS3a1EPKDsOW--$_EwZ8r6bZksueuc)9T1neNmtZvEZwVE zwrss06;H4T=zTx-avRIXl2c|)hpvRTKediv!goV1+V|B@EGEmL9>-woX}V+Ixf58h zQWtm98cty+Sj%T^m5-7urPcx5__E!LnyLY8(4YvBuH7P zz+LHlcQ5Dg2?FhM1k8r^x&J4?zzk(ZtVxP>e>0B9L;u#tw3GKPwRyhA!H@zZ&mF3?+H1Qt7f4ZEb|jc}gu$55j*!DTqWFKSm&shpw(C z(OI?^;0u>bCYHx~39hMIy5!J&wUhTPoOQYCsk5$!|7RDlgLdKthvkJ$;Mp=9>5A}e z+Up}9V41oW6GkOMlzHa#&pRa+|=lSL8#^}Zq9 z1u=Nb%7EdX}vLSB`& z`+3Wk(rla>@GaN!ZFlQkFEjc5SW7Sdc8uyJGxxojz?8T0#M0!Pkpidut)m>}z<&+h zPrp=}x2sgwt4`%}i@7^>;-2p|d-?-m#ql@{mVifL*WkuD+ZPVB3#R3LFV|NR($wtb zwflLv*`&Wo=N3WltAj?PRV>H%L$=kb*Sghc6L$1`Ui`O}<-Wj;Jytxw`scpZR;otg z@c5D6v7WY#&a<7*gwU$>n~C-r(0k3UZ=gD#)kv;2^s6s zblMfkwC#_hvANz=SSj5;&cW7e?ff#S)Rm=!HPX1VE`}Umh;n*OJjI%p!mzQj=Yy({ zFZjrjR_53_qk*Fvr=|!ZuK$(|7lD6Ckeh{stmP7cNp?FUV$A@g z1LkN1Jx&gJV6;$tWRkgbtgC;JFiCoUKfT^ze8PfD&0%HjtmyunlaiXBzFVhBsVSca zxsm&5dVz*hg)h&Se?<>BL)l{7QdW)HD7NzC*Bx*blhapfU;MSo+ z16(|~vJwAkM}@^EgfWwutw`hGeeiMFvC@B?G1AbPLc zR6nP15hVjXnjc=wswe=uYkYdYQfI$mX;J3;)jtVlJ{!OdG50rRt*%`n$J@O%;s61c z5X-{iG?(pHLs4;w-%JNpDPxew^RuJ@53L^0k@gU|??Xp|G#STF7dgpjvLOT$aST{R z&{x}Tcf~;E1pUEp@PL}1HANo>-S4GnYPXI@?-~)~e{4GocO3Ocvv@p;XdwKvSnVqo zdNN*4wX8l^7UwgnREO|e{R&ApY}UK^>Qz*2JmeGajHK8QOjwRkh4iA3k z0^XWd=98V&KmOL0)euuhxGM8Gb19*O^Vm=wtwH zJ%hcO>WWU35>-;NlQVwbO;T-x3PIoZWG-#T8C{yiFR_hXX_w({>OepWBXXRGNKjaMjaE<{SQ$`fqLiTuYDr>|Xdz6$#kLMGbK?ZhGSh`|Km z&PAQF*0B7|N80z3%#?^T&r$NQi9q2aJo|yow%*p2TP#?4gvoLLWCm4iZ2PO8hwBi% zO6`Wi!9307oIech-+MM|UY$x4I}AvIr57TfF3)RLFC;U0IrQpoLkPd{lw6Vi zJn64Ox#7`8eqUAIL^FvJ>8L6mgsNs~m0p5FYKaPU5x*QE!!0aO9+( z9#L#)h0IP zAkj{`VF71?OKYRL)n(CH+*BnOJR%!Ue@QW%|tqE8(~WC^;CsfP1e-CR^5^7 zi@7b^gsmPD_{r21MNSQqc zKgrL7eD>NY@DIzQ4QkFo8Q9K%sI^2kq?dV1bxrHX+||#iUg7D;+Ef~wJ)$A!xw@Xub|;!mjcll2+e12joCm~6bZX5%cz(U=8SG}dTv{l) z(qXr{&T5l7;9`>tX7QMUJMp8W3@2w*46(LA3_M>3*PE<|8MN7juAyp(*L{#yNaS+4 z6ea2Z+EbW7J7D7%XIx^)P%eZf#x}^__nLXLO~)WZ4>w_OU`B6oQsoUiaB9kB^T>rR z?7ZoUY^;c<*F%cANf!ArbghqG;jCf=ZxGPEh z29%aiO3EB31B8cVk~Y1Wi)-_Br;>A2U@`&%UT9D-*2zj^@%&9}Y6f;L_6B;1Ez15R z`}Ys`WMEL6kdp6j$I#X^4K`_|xRdLX&dk)JkXG9Am;Y&}D2+gn9z~*K#|VEI<8{7| zyT{QVqvdwjj$quE)?s#dPC+G6{?(=YXsu4d`j?2Acm8Q|Dp_zQ7Q7NYr3a-ZBZp6y zrk_m4hWX-Jl3jA^lhfx@RBLhkT5`VFd>j&XUd_ztbkbzT$bXPxLD zTu6$yJeaP0K{dTQgTrAbag2Ly{5qaWS4%aw`k?sj{T@7J&y+q%=WH`& z6`R?Z2^HPQg)G$7=I-Wv#5pR&JCXfdf82SvDiY*7@e$#oNr|M9Wp&k`viS-l=) zW=dAzGdB%kD?-u99cGA0uJmmkI1E?I?i0K87qlUVJm1^R+h1gl-32Uny1u#Q`s2JY z-Vg{{Jpp|F*B4u-+M(<_Q>q&hPJsI=tdLam_W=e1$M+V?RMiGj+lnEwg;2(a;18qw~+})dz%KN2w{)@iB0s2i|9(Fz8jV+KJja zn~7`Jf1K4hUp42j<(|1WfXAotFx7QWiJlLN^0z2DCZO!sDz5zAOb|A4sH&RvWgN$5 zl-unsT^@Rk#@wp-!Prke4Q<;vDN8bRtahks#luvXaPdk72k*+&=M}d3IA!F^o6_Qj+a#M#fW@#XJc*uePvz>m2+Jt+mc?z z0D(ccOntcJIfqFy+@|(0Ih|X<;ST0t1FahR2s^>JDJkVd@*c8(4jTg__O?k{$0k~) z`$Bi+J1)KcCBfN9z9+nBA|i6TMe};`bF#nw5iFfTLfgUQlFHTM7|AEf;Ren6!N%^i zM*@vwm4Vih*@*V@h{M(jsG`jn0y zc*aaVs_$IIeN?aVd7XDVTp1c5jMQ}^LAqvS25zY6Wx4IuujtN&5mx3u#c1@fV=Kw!A(rxAO>rR?(qA-TrozI7 zRZ=lB(=AkpgbCG;T))bh-2|HWi*RIyMM*Wh=RcBH^xW@>tkan_KOaX+ji-A_1ZT@W z7oDPIW->0LfX-C9p@$^%I-{HzEx=>bTN36cF1oZPQtOU0_UYTn)o0Ii!j3kpO=$Z^ z7&=eZni5&s1Zjlts03?SblQSz z5ySV)RmVQ&D|A2|)}n19W%`N(u*D5o=iKX9exq*^yYKx5!$VsZX}oc0jN_@M!)WJx zQr^XoDwt|aN@Z4le-L1{ZI93aH{+0i))c^q8*{ML)2C<{YDT$*zhXSmFCnyYRjK*y zk8w6~X4i)!DGIt!g2-76+QrRxy2{X#v_SEKIq*nw0-ss*?HOz-AqnyEqjICrWI$aN z8ev*xu?e>3?sWmPE;b=w@O1`|sA25Q{Y}5ZVCR*2P^-seVrT_sBzY z`}#;_pZkky2|3deyBHG|WK>#j@p}u|rp6ZYgC;bwGacSn{3@=)-!@ZQfbbm`E}V$QOv#h7P~w1&A9jlUKFEqe;V}s{Ng#20~TY&#*h#6>?Dg zO2n9_1CJVZgYk7h$2CWkW)o<}i*eYk{DCDZ%(xEVb6SH%pv{tpWvL$%>9>^yo<=%_tO|z;9N!eKw?TpbgAF4J1g4 zLyotjCgXQ-GrCYY5Jr9CyrClH^;xffy+k)3$hZy%XnkI5t!h*1M9v0m)I_a9aBp<} zS`zhT0kAR8K^_FW?uyFJk$e%$w+J7ivxCPDj71-shu+jJs;<4IV`$C`Z9}zQ+kO) zu>zA+ZKjPPLry> zt9Ve0WV53h!nZZ6M34lC+x2GF^5GfLh}+vJ3P&w zV4=rx43&ZJ)5rXlzfF*fN=G**;CWwkkN z6}Q%FOObV~4sNjHMlho8uCM0RhNg9c&X`r^HM3UR_y!X0uv?uGsu`VkW;%R@t$tk| zi3#^04-OT9OK#csAPwMLfI^)bw_D zi3(Xwvk+hXoGEGeco~%`G-Nhh;|(8eXtj1Rp$gu_A${wAi?8-@l-7>`;vq16l0y6jVvCbPHcm0CAFT5q|b z{0TMgrLQH4R?FFbe$L#Qr|ngmaYM;D2V|(18=YuUt;M>b zXL8 zws?`CtA1UY!vTkmA$ExdS{d!W@6PUQcXL$>7vwI&xX9No&-%kWx)o@o5$rwfr}^u| zEv=rKURI9FzGnYt_A`0?NQ)`jcFy&4f@_;IP3NsjLiAam3iAtTDRq|~j>sgeaC9+Y zQG4!oj8YBHQ$IZU51K>}WxXd#gEZ&b8yjegEoie4&QqX?=No_OYH>86O*5^|`7=#9 z+kzWj6X$n!d%HC@a{*9g&a~M@1U$?9HgO#uuZQQ7b={U)2(Y$q%{$b5QiY6|){+|;I1sZShi(&7E9B0yH9z`8ycgD9=F?@w`l?9Aqy9#@3yi&4FOhr0o#*fXC%1S_Si8xRaz zdoha7%JM!8#~!-3Gxgu=_H9cNeQwf2nC@EZn)bfjCBYX}gb>TLa5JcpSUBxbVnOty zf9R8#--Qr=XDFLtwuQ7g{}{x@CjrMzfR}?gN`nLJ!D>WYq{IKkkboEs8VRC7`E_O3 zL>#yhH$85nG6`qVaGc~N(KsHR6H>M~TlxfNXb%*g|M>FKvl5A`YpqRi82FPk3v~M7 zu!~97*!=k8esg)=7Ro?x`~V{Q)Y1Q7WZ?p3xy1CaocHpUAJCAN(;-s`=m}zR101lN zXXIQTaqI>vbs3O!jhID0;ovdcfh`=`d-u>xcRX_4jzF5lv3Q4vcO8WT zQtn?~JN;^0t_Hoau_*~t)0Coz%R)|(PY!8A0P*Ge{{Ti*pa$S^*_sTlOkzRhK%wm4 z93_`A-aW$^X5B7uY2vP@seH4!Au^}5^;eRFAWPlLVIsRgB18;=>PQs{)MlHl0sv!) zI8BDUdZbXLBz))C8@+x}1lctxpa0v!wC``wyQ2-_Lh)GkKDOx8Bq(uYFnx~d{~{+q zVA~pMcnVfD6iGN5#`zaxZC(uH4Hwj(+FGRj>ja`OKt>L85aaS%@NPxa2~A<}nv5N+ z=?*yy_HPR^OadiExXdOgpE^@~`drf;T>-*wyZAqPpS*kgRD}*h<5%pww4vjVnY z@3B13l2|O}VI8lhk#%bPjKf0aNSQ_RP)*h=`eTRm1^8aq23R~T0y&?9-J>h@rJXHJ zXVVu6yVtGDZEdRxK9gP-{oUjxtP4gS!Xv?{1Qp{M}X=VCHQdGn5^^nd}~q`&{m4kXH_8X{f5 zF(obynx=)Id^C1$h$y-h++($41Cvr5nYU%V_rFo%!uh7qBQQJwU)_o}zhq&931MkX!hP*TC&AyopOLAl}$DW&5b zZOvb+5tGAxZpO#tnFT9FP;t~Q?K+bFTL~+hSun&HT}nHa!`*7j%Aw>nsfhG3{zUi) z6IUjd-c#CjtoD|~M^~eqlgWNth4ZHd@mh@SZT|^TFV3=A%{ko$+3=d~mTA$Gb~7R5~`denL?pUm;{vYCPD`C@Dyb<<}2c3>gLv z5D*s9DXCT~9TLf86N6ze_B5Xamho3=jUs8%e5prP z35zaB$My7xtrk1V>tgvoWlv6$N8c>3HnZ!TRtQ+8J|}V-1xzQ>sH^F`1xvPA)Epe| z0F;y(QquAxk-pE-Sv>CR5o2kLC?=QdqI2~1-2edKdFLLGciz&hivVMF1HQz~NTisc ztOV$^9CLgY3LrdE~;?+OQ*NGVP zJP7uiG0}OEwOR2-;*!B&9@yP?||G-fEL?5 z6_>MJZLp|P*8kXz4+VKhisU9T>8u1L9C~4JesGj zsgk7pSX`#~R;BYLRw{@$_D`rokFFB!&E;m5ySf8@o(p9rI@{kR2RUBzFoywIa&daU zo}U;TtQd=aow|K=oH=9Xrjfk7jReMy+|hqZO(kdl5fNFW9LZxOkLEy6&9C6#K93#LeMAQnB)tF6+_=-53xeSq4$;Si_x_z zj4at#N>4E|pOTx9@EeAU@3WS_Hz`Dn)8js_XwP#S>=tsop}c;-IJLG6?AJt@{q2l6 z|97iL6HYH<{t_ORks5=-B6K}o_sgg5B;inl=*Hyl3%RdaUMwV6M^)|kerWa~nvm{C z)7hO8hf^BhE0`b-P!i^cdsvbT z-H??|M*z}dTm9eS+lkj)DbY#Jm)!!}F~0^uCSuQu3f|`w)0^?=FVe{2b?WArHt}Eh z&Z#PYe~vmJ_OJA#OZ~J-R#{RND#Tpz@G7+C9m-$CboZKV1|X>R2AV~xAZUHwL>Sdv zvr2C5!zLU3EW4{Lyi~Q?(Gsned4)KJivsQy{qu*`jKWZPgPyl4AfM zJy2IuCSG;jn@~<*ljdfAIj?;Cv(0?=g?G~V+CMB+^Db`YBS*Hs0k}f%Cb_~@r~F!0lYZR{4AB*HJ1dZ6!iTsa~8?#dfjfQ0*--PzW8zTLbO$mbsN`5KK~h z*azW$8Ej^den$GV`G!>9={CEDF1C-+t-oPte7+ohdt8`%(;TUI!NM(UDv3)^nET~( zO0EQ1kdZzs-}U%#b;?lJ>MKGflSS1jFqcBFM@+rtCi}B(F9u=sy_FrNGBXsOAWZWs z<&vL{a7PGPlXN%=iyjIAZS-bu@b_LXnCM8P=IvD-&%;9E^65O4@wIRaj1WIH7s=~Ziv@)Fa9YG222{EPSIT-h?Uv$TC00U(m-VC9?u3u0;I3Hj}&r!bsdEC6%f}viO#b{Ee=UWDqnee^ZI5UXRJ|du`7uKl z#SBzO@K6jxvp(xVLbq(*DAlk;l4MoD0vRk{?+55ad6O@*FcM79^7yy)y?2!$Qv0)I zXQaNiPLh+8{qjlXm~Q|6y?*|*I`aBw!IEhMBkSMN{kMI`R(TDC^XSpTT7GHiNm;h+ zC0UB0;eAEBSW|VXKlSx03l1-C+<{4x6W^X9_K*#7_SZM{-Er zZGM^{@Z&6r0Wh4`A>a_`Tm+gD;^k7$(0ruUO6yVYzVqA~KHV;k)(fvwre%qz{%~{9 zN`#7WgW%~i=gNk)t1&mOk%C%X(~;4yHa1=5JazhP*|gyuoz$=WCHg<#Dxw{#A%0V) z&6LgWuG67aW)_1vjg(g^3-;nknmC{E4_E4VM~xSu#_f zB#3%F*5i6y!gXV;cMW(Axu@T=zxtUDm(G|uUnaxy*1vzQ&O`jCfBwFlKW|74ldzmv z5PRyRWvGH6gi31}VlZYrKTWrG-6|F*BwgDvKhe1G@+}$i^Mt(Sty#tBkgp-5h(H+S zw2r8^IvhFtJrqOR1|Zg}As)s@@H1h2oXKXGaG{$u7Sl8aGDVhw2CP(AWj z^;E{_Wr(i9#wcp^L#*Tu$Wy%whmDl4e&t(A04blGl!77mI3?s;xk!k@ruMqE6wjhL zM-ro<;=&vP4uPwV!0GvurMhrXhw@D+DweEOTRW7-33pKh$QID?YX``V-}|Gs?5}*n z2tQYGk{~u>UpS3pS~{jji0QZ?hxkn!KrS}Z$h#M7VKXOMQ{$I3zER1XuLg#{wC)}6u-G^Fu|#RC|U?w^(`C9uM6 zK5FI*Qg6m-Z6eC&Vv{%!vQo@Pq>TQjpjZAmSPbb%61f;6b zADZ|HscXE5a!<;Ua|bbha)|VU#ObP&Di&CE4VXHrzFq;G z^V#bCr*g*H&GMPn)YH?0XYhKrzv4jRr(ao70&DPKsyNh-y7x)Xz$g1a)J?)t;^|r#BIR1d?7y$(8(%FK1!rAGru zfOFj+0k6YiMMw&j7$S_vFo#Z#1P~G0D>#jYnK; zm?@h%8>eIhlKP1=W~{lJLi7~pTrtc}`~c?rF`D5?JyT?8ze3DWJcV!!L3(v8>^Djh zuqfmVEQqQv!figxJ+k~ftR7}(eWK!s)+e(3GUVSQCRVaxog9M|$??d0*)FVB_3|Z= zdtmY-n1^^#{%Pgk>S}7{@!5G#sLqE$7;PO{ek|&dnbIFa=4S(zNJFj+(njC&m~;7; zFMky&s6DTfsfF?L)Ygk$;%BZ0V!ZN@#$(x$^>4(&nq$X~fMn%MPWAxJ8(F~7ipZ7g zEKiHzFN@M6{fy%;G2>zyI*YxY_~(K0A;$$QOk?gBD@jsH@`$|f7b?e;&oEp5K@8n; z7?&%k`}Xat#F#6tSFK(tj0@^u{HFZ2?mt_$Ez7H-QP8WmS54>`i`tv|Q-D{1nzFny za3yZVvjnT2*RNl#;VQ$#flBNB$A~sumn4a-C_C{!_;k!gZ2HLae7t2G#f3PINuKZ5 z<>4)WX6#~2dc9Id-AaoOb~t%Q%I=74hZT7r3EI+2Z*ty{UD(;{N0Qhb^zFh>woA3k z`gYs?dm^^3K{zzcr?sXPM-tlwbXOM&bW(h-^UrqndaW6+&bwD|Fcc&}D7ABBr)XuF zz!C_(Wi$@<5hY@X(m*ZA8)9ZsEn5S%KxW}_676mSfu0wMaCLyq0hz?OKe*j95o0U)5lo zCSp3zZ$eBz;Q38GjUc%KKZ9p8<+d^fSS`GH^E&zY(_9b};aVx*kY>yRiEYs`%v4 z%TDimU5#b+w3RYxS#RoTW9_l@)Je^I>eQLC4kS^_LA&C%I84JuGIX~7YK6x+J8~WBpDkxpTJEXK;%L=WZATf*o^!5Gvur zx#_q_2yKmR*B9&zjnxFgR>&MfiTtk9h)~XSurcU#)rScBY)5R1Gv$Zmg9UKg8(o-! zz{eMUOLm=nPX=Wa$h5(;F-P&3EZzBn>Yo&!j1|m_u>H+A-PWcL7Msi)ev7Q$zmk2r z)kMo*IO29mhCHo0*%+E`!ra1zBX8I9y`|eR41B;>p%|7x>O67aO;U^DFsr_|cq=$r5WBz0;EMx;Q9DVPEk3zA_ zy0y=LulupoDFKX;-6h*({_w@}nR#EAO<3JbOXeu-|Co}HDu2858z?n&4UA>f!&QNY zwuq+0#EE84LvHP|XYURmCD3n@Q{2NJ!-rp_UfhA@%G#Am8!~0d1u{QUOu7n@4VxF9hOc_?Txq| z_~vnr+R+{HrIdS|g8L7e;bo}c)s2{5#)d+MlwlhlY`eqxmQz5&hJ&j#H8x?( zoO&t2!jL!LT8_`%?Q2%P#heou)gN~Mu`GlljKkerJYxx*>R{l|_