From 2a96a8b179ca22a4689eabfccf59825073d70d8d Mon Sep 17 00:00:00 2001
From: santi1234567 <45318759+santi1234567@users.noreply.github.com>
Date: Wed, 14 Feb 2024 12:28:25 -0300
Subject: [PATCH 01/11] create env example
---
.env.example | 5 +++++
1 file changed, 5 insertions(+)
create mode 100644 .env.example
diff --git a/.env.example b/.env.example
new file mode 100644
index 0000000..143012a
--- /dev/null
+++ b/.env.example
@@ -0,0 +1,5 @@
+LOG_LEVEL="info" # debug, info, warn, error
+DB_URL="postgres://user:password@localhost:5432/dbName" # URL to connect to the postgres database
+WORKER_NUM=15 # Number of workers to run concurrent alchemy/EL node requests
+ALCHEMY_URL="https://eth-mainnet.g.alchemy.com/v2/KEY" # Alchemy API URL
+EL_ENDPOINT="http://localhost:8545" # Ethereum Layer 1 endpoint, can also be alchemy or infura
From f08a46cf782c47425658d86eab659cb88150b4fc Mon Sep 17 00:00:00 2001
From: santi1234567 <45318759+santi1234567@users.noreply.github.com>
Date: Wed, 14 Feb 2024 12:28:31 -0300
Subject: [PATCH 02/11] dockerize
---
Dockerfile | 22 ++++++++++++++++++++++
docker-compose.yml | 24 ++++++++++++++++++++++++
2 files changed, 46 insertions(+)
create mode 100644 Dockerfile
create mode 100644 docker-compose.yml
diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..3c24521
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,22 @@
+FROM golang:1.21-alpine as builder
+RUN apk add --update git
+RUN apk add --update gcc
+RUN apk add --update g++
+RUN apk add --update openssh-client
+RUN apk add --update make
+
+RUN mkdir /app
+WORKDIR /app
+ADD . .
+
+RUN go get
+RUN go build -o ./build/eth_pokhar
+
+
+FROM alpine:latest
+RUN apk --no-cache add ca-certificates
+WORKDIR /
+COPY --from=builder /app/build/eth_pokhar ./
+COPY --from=builder /app/db/migrations ./db/migrations
+
+ENTRYPOINT ["sh", "-c"]
diff --git a/docker-compose.yml b/docker-compose.yml
new file mode 100644
index 0000000..46c12b0
--- /dev/null
+++ b/docker-compose.yml
@@ -0,0 +1,24 @@
+version: "3.7"
+
+services:
+ eth-pokhar:
+ build:
+ context: ./
+ dockerfile: Dockerfile
+ init: true
+ command: >-
+ "./eth_pokhar beacon_depositors_transactions
+ --log-level=${LOG_LEVEL}
+ --el-endpoint=${EL_ENDPOINT}
+ --db-url=${DB_URL}
+ --workers-num=${WORKER_NUM}
+ --alchemy-url=${ALCHEMY_URL}
+ &&
+ ./eth_pokhar identify
+ --log-level=${LOG_LEVEL}
+ --el-endpoint=${EL_ENDPOINT}
+ --db-url=${DB_URL}
+ --workers-num=${WORKER_NUM}
+ --alchemy-url=${ALCHEMY_URL}
+ --recreate-table"
+ network_mode: "host"
From 7bd12d7c6857c48e9435c68148200ddce7905d9a Mon Sep 17 00:00:00 2001
From: santi1234567 <45318759+santi1234567@users.noreply.github.com>
Date: Wed, 14 Feb 2024 13:16:52 -0300
Subject: [PATCH 03/11] add db to docker
---
.env.example | 5 +++++
.gitignore | 2 ++
docker-compose.yml | 13 +++++++++++++
3 files changed, 20 insertions(+)
diff --git a/.env.example b/.env.example
index 143012a..1d9875e 100644
--- a/.env.example
+++ b/.env.example
@@ -3,3 +3,8 @@ DB_URL="postgres://user:password@localhost:5432/dbName" # URL to connect to the
WORKER_NUM=15 # Number of workers to run concurrent alchemy/EL node requests
ALCHEMY_URL="https://eth-mainnet.g.alchemy.com/v2/KEY" # Alchemy API URL
EL_ENDPOINT="http://localhost:8545" # Ethereum Layer 1 endpoint, can also be alchemy or infura
+
+DATABASE_NAME=name # Your database name
+DATABASE_USERNAME=user # Your database username
+DATABASE_PASSWORD=pass # Your database password
+LOCAL_PORT=5439 # Port where you connect to the database container
diff --git a/.gitignore b/.gitignore
index 97b7a6d..461174a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,5 @@
.env
.vscode
+
+app-data
diff --git a/docker-compose.yml b/docker-compose.yml
index 46c12b0..f1c3498 100644
--- a/docker-compose.yml
+++ b/docker-compose.yml
@@ -22,3 +22,16 @@ services:
--alchemy-url=${ALCHEMY_URL}
--recreate-table"
network_mode: "host"
+ depends_on:
+ - db
+ db:
+ image: postgres
+ restart: always
+ environment:
+ POSTGRES_USER: ${DATABASE_USERNAME}
+ POSTGRES_PASSWORD: ${DATABASE_PASSWORD}
+ POSTGRES_DB: ${DATABASE_NAME}
+ volumes:
+ - ./app-data/:/var/lib/postgresql/data/
+ ports:
+ - "127.0.0.1:${LOCAL_PORT}:5432"
From d8074d0299a6b1a187c8cb7642fe5c888ced8ec3 Mon Sep 17 00:00:00 2001
From: santi1234567 <45318759+santi1234567@users.noreply.github.com>
Date: Wed, 14 Feb 2024 13:39:40 -0300
Subject: [PATCH 04/11] change log into info
---
beacon-depositors-transactions/routines.go | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/beacon-depositors-transactions/routines.go b/beacon-depositors-transactions/routines.go
index 04a22e8..9cc37b9 100644
--- a/beacon-depositors-transactions/routines.go
+++ b/beacon-depositors-transactions/routines.go
@@ -100,7 +100,7 @@ func (b *BeaconDepositorsTransactions) downloadBeaconDeposits() {
if err != nil {
log.Fatalf("Error parsing block number: %s", err.Error())
}
- log.Debugf("Downloaded 1000 more deposits on block %d", num)
+ log.Infof("Downloaded 1000 more deposits on block %d", num)
params.PageKey = newPageKey
firstCall = false
err = b.processDepositTransfers(newTransfers, b.iConfig.Workers)
From 6f43bfeb5b340963a5ac1284ac471f45aaad269f Mon Sep 17 00:00:00 2001
From: santi1234567 <45318759+santi1234567@users.noreply.github.com>
Date: Wed, 14 Feb 2024 13:40:43 -0300
Subject: [PATCH 05/11] create dockerignore
---
.dockerignore | 1 +
1 file changed, 1 insertion(+)
create mode 100644 .dockerignore
diff --git a/.dockerignore b/.dockerignore
new file mode 100644
index 0000000..7ff9721
--- /dev/null
+++ b/.dockerignore
@@ -0,0 +1 @@
+app-data
From 4e34031174dfbb05ac7b7ba91cd911f03225110b Mon Sep 17 00:00:00 2001
From: santi1234567 <45318759+santi1234567@users.noreply.github.com>
Date: Wed, 14 Feb 2024 17:41:03 -0300
Subject: [PATCH 06/11] update readme
---
README.md | 164 ++++++++++++++++++++++++-
repository-images/table_priorities.jpg | Bin 0 -> 70118 bytes
2 files changed, 163 insertions(+), 1 deletion(-)
create mode 100644 repository-images/table_priorities.jpg
diff --git a/README.md b/README.md
index 534adc5..66786af 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,160 @@
# eth-pokhar
-Tool to identify validators <> entities in the Ethereum consensus layer
+Eth-pokhar is a go tool that helps in the process of identifying the pool/entity that operates each validator in the Ethereum beacon chain.
+
+Identifying staking entities is tricky since this isn’t on-chain data in most cases. In the case of pools like Lido and Rocketpool, since they use smart contracts for creating their validators, the data is on-chain and can be easily identified.
+
+For the rest of the entities, other methods can be used like observing patterns in the depositor addresses like the ones found in this repository: [eth-deposits](https://github.com/alrevuelta/eth-deposits), and other off-chain data from contacts/data sources. When creating validators an address must deposit 32 ETH on the beaconchain contract. In most cases, entities share the same deposit address throughout multiple validators. By knowing a few of these cases, one can extrapolate the information and identify all of the validators that were generated by those addresses and thus identify the entities.
+
+This tool is used for tagging validators in [ethseer.io](https://ethseer.io/?network=mainnet).
+
+## Pre-requisites
+
+To use the tool, the following requirements must be met:
+
+- An alchemy API key (the free tier is enough). See [here](https://www.alchemy.com/pricing)
+- Access to a Ethereum EL node
+
+Expect this tool to make the following amount of requests to the Ethereum EL node on the first run:
+
+- ~1.5m [eth_getTransactionReceipt](https://docs.alchemy.com/reference/eth-gettransactionreceipt) requests
+- ~1.5m [eth_call](https://docs.alchemy.com/reference/eth-call) requests
+
+And the following amount of requests to the alchemy API on each run:
+
+- ~300k [alchemy_getAssetTransfers](https://docs.alchemy.com/reference/alchemy-getassettransfers) requests
+
+## Available commands
+
+### `beacon_depositors_transactions`
+
+Fetches the transactions of the depositors of the beaconchain contract.
+
+Available options (configurable in the `.env` file):
+
+```
+OPTIONS:
+ --el-endpoint value Execution node endpoint (default: http://localhost:8545) [$EL_ENDPOINT]
+ --db-url value Database where to store transactions (default: postgres://user:password@localhost:5432/dbName) [$DB_URL]
+ --log-level value Log level: debug, warn, info, error (default: info) [$LOG_LEVEL]
+ --workers-num value Number of workers to process API requests (default: 10) [$WORKER_NUM]
+ --alchemy-url value Alchemy url (default: https://eth-mainnet.g.alchemy.com/v2/KEY) [$ALCHEMY_URL]
+ --help, -h show help
+```
+
+### `identify`
+
+Identify the pool in which validators are participating or the entity who operates the validators.
+
+Available options (configurable in the `.env` file):
+
+```
+OPTIONS:
+ --el-endpoint value Execution node endpoint (default: http://localhost:8545) [$EL_ENDPOINT]
+ --db-url value Database where to store transactions (default: postgres://user:password@localhost:5432/dbName) [$DB_URL]
+ --log-level value Log level: debug, warn, info, error (default: info) [$LOG_LEVEL]
+ --alchemy-url value Alchemy url (default: https://eth-mainnet.g.alchemy.com/v2/KEY) [$ALCHEMY_URL]
+ --workers-num value Number of workers to process API requests (default: 10) [$WORKER_NUM]
+ --recreate-table Recreate the t_identified_validators table, meant to be used when one of the methodologies of identification changes (default: false)
+ --help, -h show help
+```
+
+## Running with Docker (recommended)
+
+To run the tool with docker, you can use the following commands:
+
+First, create a `.env` file on the root folder. You can use the `.env.example` file as a template.
+
+Then, run the following command to build the tool:
+
+```bash
+docker-compose build
+```
+
+Finally, run the tool with the following command:
+
+```bash
+docker-compose up -d
+```
+
+## Output
+
+The tool will create a database with the following tables:
+
+### `t_beacon_deposits`
+
+This table stores the deposits made to the beaconchain contract. It has the following columns:
+
+- `f_block_num`: The block number in which the deposit was made.
+- `f_depositor`: The address of the depositor.
+- `f_tx_hash`: The transaction hash of the deposit.
+- `f_validator_pubkey`: The public key of the validator.
+
+### `t_beacon_depositors_transactions`
+
+This table stores the incoming/outgoing transactions of the depositors of the beaconchain contract. It has the following columns:
+
+- `f_block_num`: The block number in which the transaction was made.
+- `f_value`: The value of the transaction.
+- `f_from`: The address from which the transaction was made.
+- `f_to`: The address to which the transaction was made.
+- `f_tx_hash`: The transaction hash of the transaction.
+- `f_depositor`: The address of the depositor to which the transaction is related.
+
+### `t_depositors_insert`
+
+This table stores the depositors that are used to identify the pool in which the validators are participating See [Utilizing custom off-chain data](#utilizing-custom-off-chain-data) for more information. It has the following columns:
+
+- `f_depositor`: The address of the depositor.
+- `f_pool_name`: The name of the pool in which the validators are participating.
+
+### `t_validators_insert`
+
+This table stores the validators that are used to identify the pool in which the validators are participating. See [Utilizing custom off-chain data](#utilizing-custom-off-chain-data) for more information. It has the following columns:
+
+- `f_validator_pubkey`: The public key of the validator.
+- `f_pool_name`: The name of the pool in which the validators are participating.
+
+### `t_lido`
+
+This table stores the validators that are participating in the Lido pool. See [Lido operators](https://operatorportal.lido.fi/) for more information. It has the following columns:
+
+- `f_validator_pubkey`: The public key of the validator.
+- `f_operator`: The name of the operator of the validator.
+- `f_operator_index`: The index of the operator in the Lido pool.
+
+### `t_rocketpool`
+
+This table stores the validators that are participating in the Rocketpool pool. It has the following columns:
+
+- `f_validator_pubkey`: The public key of the validator.
+
+### `t_identified_validators` (End result)
+
+This table stores the validators with the pool/entity that operates them. Unidentified validators will have a `f_pool_name` value of `others`. It has the following columns:
+
+- `f_validator_pubkey`: The public key of the validator.
+- `f_pool_name`: The name of the pool in which the validators are participating.
+
+## Utilizing custom off-chain data
+
+As mentioned before, the tool can be used to identify validators by using off-chain data. For this purpose, two tables are created in the database on the first run: `t_depositors_insert` and `t_validators_insert`.
+
+### `t_depositors_insert`
+
+This table has the columns `f_depositor` and `f_pool_name`. The `identify` command will use this table to identify the pool in which the validators are participating. The `f_depositor` column is the address of the depositor and the `f_pool_name` is the name of the pool in which the validators are participating. All validators that have the same depositor address will be tagged with the `f_pool_name` value.
+
+### `t_validators_insert`
+
+This table has the columns `f_validator_pubkey` and `f_pool_name`. The `identify` command will use this table to identify the pool in which the validators are participating. The `f_validator_pubkey` column is the address of the validator and the `f_pool_name` is the name of the pool in which the validators are participating. These values will be used to tag the validators.
+
+## Identification priority
+
+Since the end table `t_identified_validators` is the result of the identification process, validators' pool/entity will be tagged in the following order (if the validator is already tagged, the next step will override the previous tag, resulting in the last tag being the one that is stored):
+
+
+ 
+
## Database migrations
@@ -9,3 +163,11 @@ More specifically, one could clean the migrations by forcing the version with `
If specific upgrades or downgrades need to be done manually, one could do this with
`migrate -path database/migration/ -database "postgresql://username:secretkey@localhost:5432/database_name?sslmode=disable" -verbose up`
+
+## Benchmarks
+
+TODO
+
+## Maintainers
+
+@santi1234567
diff --git a/repository-images/table_priorities.jpg b/repository-images/table_priorities.jpg
new file mode 100644
index 0000000000000000000000000000000000000000..3c99b23ec9c9aa114ea47ccb34ab01b61bdb9bf7
GIT binary patch
literal 70118
zcmc$`2~-nV*EJjjjEE3sWDGVa+K5pBQHY6XD5@e+boS`#
ze1lnJs-tVFvmnIa(fic@mvdwO^+#usuAcs4>=J{ehUf>HOfZXdbafZ$>FVq2>7k!a
zLEp#dnd+OZ*x*_V%
zdU|d0-n_+U$9Fq-`R@+cbMS{lhl7tC4T<>a2yz1@i9~gW+G%Qyr-~IW1
z?8Ep3^w+1^In_M;`ODXF>0osKeail2VE@~=Own;I($mw`!+sr?&Z0#0&^6W5U$J4a
zncsfwiL>V4Y)o5XvHkMR2b~7a9tS|nAJ4s9YUSc7UkQC3+CN72|88LE|E-bz`@sHV
zT*H`Ux;p5?(>2AAFYuZ?4>R@AZ9GhTY!o
z5e@zMh+PTigHriSw{$U$Z_ILoah)70~jC@NXMJ-
zR>bX>G{9lwOIXxwo%
z`2Omhp>`G9;bXZ~rPn(r97m;k`3*QPDBRwwqG_tV2-e7X=sf=>OR|75u=a=7+-6c>
zsf@b}cHIkS)FQDjXQk%Mb3KSRD3Kp3&GynSn%CMAx;gr+Z=zeJuZbRa5#PoEKXFhWI11UAWVGJG8vG;ph>@CKYH
z46$mE13Bmu!DoBT;KrZQxzrEVWgppf=R(L+Mv$(&q!J8O5T@QjuBvkyj+Vgmgik;o
zvIR`OCwGZf+~NaF)hQ*q$oFtzHS_SJ{2}RDwiI^{u-t!#9NJ%G>3s0lE;R&S4JrUJCp(GV#VP#an5|wtw60FQk9l%1o}Fz=
z?UbaE?0?t%%3P!Ve*DXPUcv}B_nCrXITFSQ6biaNjpLUfc96ADYYS!N-h0ES6=)sc
zL_p5YadaMl!_;vMK*8d28QbS&xM>^knZm23(*TI#XY-e_T;N1`CZ~|+g*XTP-q=u&
zY{}^2TM;8}jt}>R%q?KD5Z_wZP*K7MB?{{-FTjSemu$(1*wNT;s~Xt6fcbGNR_KV=
z@R_bqaQD39X0QdZFpsSfmJ|Fy7~Cq&j(4D_cEShMs~M8Oo;e$@1&mqayrXk3%XXB}
z63Dx#u`t$BCSx)udv
zRxTg%a`0+gkJ}EnEMW9Kc%XGElLFkedHcyOkW
z<;r>{ZLH1(KaOn!!yiDt3irF3@;Rzrm%Em8_m%mfIkgxgmLFbB*$-
z)&Qm|KC*8_B@UF`Pb%-f`Fqqkk`K^HVl83@fH+aCuiRh2&yY3@qPJDhx_}YT?O?W&
zn?_m!I}pPZID2FT+$1L#j_URER`D`%8O#94-=8h!;d<8*{ccY1HuQ3vQZ^|Mvx6Y(
z?55;*{dL+P%`HIoOSp&Tju#<6X|S7GMAc7Nz?d*kf>J@?R{!p@`KikZiUo`{(-y)B
z>U6*BJ?*3^^`hFaUfODEI&oPQUIUE;IFNWqCVBvI^Xr@V7V!HCT;AmvA8vL6VM!|e
z0|4%uF=4KQYtc22$xu?!#f@&~*;7h&2prcL4A>GK_w+#W=3&^TcC^KCC~Y;@N0gn%Ilrc@+$4sK7G&A=1&ldsMGUo>e(~o8OpKB9cbam5
z&dy7UWRs%^ne$Q|pjo@(D1)xG;C7-5fdG=b==mzXHA1e2y;$GCcC!BZQbk>IH(;oB
z35tlm|GC1Xm$;^G=-A|!hs;6!L5s^YR4@d#z_7Sxh!&xgg$y
z^=)2Cf{k7)GTWFA&19kekxF
z8&~8_+MFR53;0m_cd
zGk3%}Jcl@xhp%St*Lg)^{*vY`V8H#HtOX2~-bTmgXmJRuzmbqmHbxAg9jZGJkkyFB
z#;C343e!#bcHN}VDjzCK=H|7YzpF5c6p*YQ^b;eLh0d~dm!Vsqx*Uxkv_PZ=dt2kC
z8xu)0CqZx30|@Ar4ri$D!a51+t<3EpKNE-~+rrdNmDJ{=*UUw49u~5E!3WuLv2b#8
z&8t~SzE7!;7PRA7uhwZq3ZIQ7*+0K6mcNc==QXj785MyXqY!4$U7*trS&7Y^C0iYt
z1RB_)y14x?0mRF#yQOB@QO*M(a{==+H;3fQgH2^dzVgBvp=24Xno&r)Vk0`kJ)yzO
z`1ZB%7l{z72)^jWHu=y>&;6O`6`kUpL&*WQvFunc!q>r}>b=Y)__>^)qqQlOCr+D^
z)7lOx$(cT-0^f0BSS7l*V+FV+OvhIVd@OSC0erb;+=rh25iylfjMr7k3aRp4?RS9F
z-52hTS9tYKaf{eL>&&%V?BAyU_3-*#Z+>FqZW{+3=LcIKzXQ+h^ttA=($3~B`r
z&b@2P;|gZJk6iH!(xLk)uEWu#rw)*DfhOw3NXRiGRuPn_HE3637^MMV`HKf9ak)+H
zxGsL<7-G>90J-MGrz}0%yT7jyzchwK0GqEV+(TZx3NI3r
zgp=-gRenF0M1&&+XhQ1(qoHVPsy;LL-VmI8G>9&mZy8t1vzk#X=?m+c#$6mjN{eZ(DgOeWNRwf`eqv8E2$a1xv6
z`5M80NUG0Q?~yzS@AC0TQXRPE+I*M~iAe)f*e4}XXDUW=2P;1b`|U^c${D0X_cLI;w7
z#aY^MC;XmcMb~V`_%}NdHg=R33Zj)A`RCt%=J~KKnZcTCb8ec%X>`Lj(p53xs#`M1FJLa}^CN#480%@!hI$WeRc=A6sOO85o
zumAUlQhe@L%(LRh_8FHhV#VaHy>{x`sVQzU+T7@@JqGVZH;M_W4s!Mm<>XC9`evg4
z$+L>`jbmLzPByYdeNu1|>SNR@_*0U*)JZ;#I&>on-!RtgZY7cDJtyQI7Hh4aq98t+
zYa)T5*%3EBwoZ&VxvPDuTS%FTGcG;iyv9UuH@5GZ!$uDYup{HMBd%TNm)YazHm>)3
zvi#|nW$eEv<$X4%f-TeXvtVRrh-((loAop#aoT`ZKjDGwh70SprxEZ$dSrs!v
z*FCS=%t0ze^BY1|a+c7}jL$n-=I?`yo1jl3Rd8@CIj6b>?Eb}Zb#DX++?;47OuM1!
zei_XcFT|&ZBu@24-+YcOBsomtvCNcuW;}$=t?F&t?%o6#B2kU-3S3%ox8>d0D;Ml_`ZzVfp3iiF)?V{a
z{t%uZ9)hT<$Ug3zw23>_?h@Li*T)!#eNn_aNyanjk#WhDa2AceEM$kGa3f&}CMEu;
zU*}2tv}c%eZx?T+oaj?kJ(6CLIo5s2jbe~g;EoO96a4mbI&5Ai7(
zb%u8GbD2RaN3Y54zGuHytAwz>ItJDiIg(%sP5FE&H4CufIWd>Ol`?!@xM3fn3*qH8
z-Q29wlJmS(U~oR-3%EeT)Xtiiq*d*we{OOJe--N?w569P#?}r`w8rLO2Y%Tf@Mzb$
zZ5_|fZC>u`+H>5zxJbtn(|9oO-q_koU00W77=x#hy*fmd-t6LEe$yk^I9>91s*Abg
zE4!*UYhxqYwaqH;`-01tFKyg)LHBa;hmA`R+|Ao>+L+HiMbMppP2aU;%xS~&2_4ay
zD4o88fvffNjViC4TaU4ExpD?$&p93Khu!QXyL85{6RU?m!*ISs+_&guz~x?Nj8?FX;0%HHyifmCc1~m1!5wXF-~j(VUNjzbBoV
zRI;p$v1PfF_9YoS{LT8L_;(S+I4baN5!R;DDX~jthCQI;bXM%#7m1AVBk)-Oc!a+k
z&7JYci3N<_Yq(wgv-Xt_N5CC=@kuUvq~3u<^)inUogs=6Hx;J#W{fBj(duwW831{U
z@CK8%6j9LLLFL|Bb?}6baa|2Qzf6)FKSIxME#%~%f>v@mQ*`%&>@V)OOx{(T^K*Ik
zQ(ETdT|fM`Yu~Gqm495a_|~alQPS#LsZ0NH+%QQpIdkUh>n|x$7<3XhOFk`>(onc+xcTz7_agkO=W9b
zmGt!P(P;ekCkFnQH7hC0s;>SnvhjP0y{YR`gxTu$C*GKmyt75qtlhx4N%G`9P{f9+
z4r;Eqk>k``u0A>sC){KtE5@de-aW#MHsd{ts}Z3ol#5XAz~;w6)z!0PWVO?$Ngqvn
zn@?iaHd6hmuo{DtvOyg3Xj
zp`;O6uz<6a=>~qxR^ZJhP(0v8$l{o5T|a~z`n%6yE^$NEc!}*>PS-R|FsU%w@k2BC
zG41}O?WS7A$jmavQk*&5D=44u#t%)($YMjOehk@;ghk7G!Cj`;z{;-$I7Lw^Am}50
zZ6Ge^_9nBZ3WEMIxMk14X@pSwY}NIuYja!8-ir^Eg{|tmSQUHxGAS9tPU(VHVljSE
z8y(ysmvm8wM#tpz>21=+F?Jov0>v@Z%#-ktLLatP`ytEOd!fvkOzW=C1IsvgFT5qt
zb@KiWMW|pCJFcp|jAIgXH(F*72)Xd;F@f~rUyLT?1n8^E$`67!fX_O}77G|!SmN$i
zJQG?7VTvx7=Gcabb1GZlw|AmBwgf=FYJlh}A8`on9^HzAsL(^|6
z?E8ru?o9H;Xr>vKP@onu&YEchM}rh)u<*ILTwExF=}@GSpYs@8fB}F6xeoN#<`A)G@V+PKDvyLl)jFaj
zL{}9-Gt=gkQJjakoCHFF4<*%8nuk)hv1(J8u4?2=^KqWh#5L8747qn6owpYGc7SCU
zV=K-u-`&I9d3*9MdZ8Nd=5>#l-hJ09-UPqdSB3>am&i`3=ugn|m}%Qizf#e&Kp2SDd<-hjoj
z`EK7y_vHQ1#t&uh^Q&Tp!>`FZa4zr#lu!8%odIuIwtzE?{VF0%@4%;PeW>UXjV4B?w1im*7EQJjZzbo+mhya;?1KSJ;9<%dFXV~;Gwq>pTxO*
zS&7yZik$LQJ87S=Tp)THGnUH|>B>n>pj0HaAT5Rg1*MB?1xw|n0*Wc(`luZ)Rg>W2
z?v2BY(#~)KNGU{OBLKM_IoBtge=9tu*#||kZ9olNyuH^endwf^8lgzgqihjY^uofWbAQvph7+
z@K#WB&`9t8`DZV_`FEo>(Wi-9$=Mygd;@eP`IF_Rm!86XQ<+zM^`Vv^t1z0kC_xcZhoFSQohs5}t&b@t(-%x{?h03W@
zpOjIDr5y{H2mVD`<7f)B)pK>*LA5@-R@Dxbl;;N86mVW)#O
zDZi)aec%!LMeWredSj?fQz7*3m!L;CpsU@CtQcTYs}U+C18+f0pn>TN7!-q*Q)M5o
zu4_`bQJ3O%kZ@>>9lvF7P7BK&e22FpIWm1Sggm=f38C#yVF9O`8_u=1Os$lY^_kl>
zWo-#+mr$m)reumAnakP`#RYo>{DzPDgkbcKinPFVMbuIgE^eRIR}l*DgsuUQg>biMJ-%Ga7_|p0#pk
z14AWN{oDeMP3u4+TmeZJqNWqPIKw-X1C5|
zPBLt1>?5w_8DJi(jnU=)9nlY>sm^Nh6ey32FRU1Tg+s_Xu(X?yMW~BG
zA4hEEBx^H#=%fcjEF_u0wfEs6zjtGkTGENBak0#*75H
zDlg5i4}G#Re2`Xl{XgU
zt^SweZyE!;m@ek9Fkglzou8Df8)UDXdn$bU7u{coQW+iW*9|jqL
z=-oIrwTa$6lf%*FpIpE=kURJpcs=GGEk<*b9Ft647B#vS&g3F{w0|`8HA&K?4?nV%
zz77%cxzZda_Qbt$E<{#FvWf1f;A+Sq3+K-wUZ6xEwPc9Dhw5w4TK+a0<+s2P$ck#g
zJc&w#`|F^`f%Dhf0u6ej=@n*Xtmz#d;{3TT|yEqSnyhg(${Q&Ff`S7*;3m}pZK2~_dlD(f6VdNCv;cyLAt->+&FX>8iVQ8+vll9=&Aum(ET6CyM&vXS-wLJ
zum;Gs^`1lf*bQ%Rx~zUFiiV@88Li@9WDlC4U;))EB+Tt|@Idfkb)DVps=vweF17E)
z-syC9DcXp6>a_97Vv8)NRGefcO=^eg;hW*X8tqejQ~y^yb4W?GVk8PjH)v4SKZ=88
zL?d=`DqCv-e&1XpsxX2|Gn`xdJ-OM`MuMQu_t2{*j_C)VRS&!`l2$Wz(a<0>il1I8
z7Vt=*e=2#~U&d$+-iaxA7vap^f4K}%p_88U0%9(?1>X^o#vpOE6|HcUoY?FM3l0mOB}5kzhAJ?R=NI{L*^M++h|OEaHP@z{sGo
zCNrL+Gf~2Eh?fjms}4XoAui7>X8!q2m@VJ*2vy!Cue2sGZZ9|)Q)+vtq)H}P4#z38
zbG=f2l0Jj4)(`uA*x_(HlK7LE&Y0dix0GI4
zndJgT91TRznWV4^|GxdIgRz92@VV)AVg5omH3in
z%XETk)}uGo1hagST5HW5*8qbBjp^O9enPyCcX@28im&LcH!r)@lZ4cd_04EmNUtyO<*xCW+hn0hcsL_}J7k<+d6u^r4VOIBhLeVVG0GO(
zMJ=Mq$pyA!-BPUf1$nvGR%bb@9F(X^p!v>1I}y(nBB%4L-UL90h$kv1hDB+hRAHTi
zVCzt&J-Caa$Cwdlmkknk$^om15W^!erATlga2#(3e-e`$it6qnM_|8dn5K&DW9d<0
zx9&3RRBvq*r|C531em1k94^g6^ie!Ge0Wg#xtHh*)+o=TRhGtFk)8Sz>|NK%MSP*s
z+%|^`wK4Qn9PaCL{D-B8nWPi{FtMAAL+hwk>{LoE1KTk?Q#8lT9`2S*ZIy>PtGdBi
zl857(&@i|C8g3&$ucupKM>QU1Jp3d$Gr18leTBp-@Yrpw{&{Vb`!U|Fyq3GEDc)**
zRv&4#<^gbunPi*3Y)`t`c&m4Q6F;l<&+7IXTG>xNzxvE%o<<=uy6E5d
z*lBKuTyWgd1V-i-{@M5`P#zcdR+0)p|{N+e!5r1PAgvi~vP&7HWg>ke_U2
z1j;_%tYU8JLoIH_J78+n%?tqv4`(DMKm>6sr3eYDI=W=)V;fEW)>_Uhz3XRjf{3er
zrn+{T)$||W<=;RI`ietox?=uc`2=_sNAoxA6q=*&PlE4x3mEP{edix1(tF~td%EH+
zLqpjU^i2Hsws&(57OBD{*(KafXJU`+>Tv_Tf<*>OVr2U51g+I!?WEgrcG?1l&L5_$
z(lwV^%NWH<8glFR-=
zDX90-1(Lp8MA>84RMEASg|`on-``ZTG5Q9cS%OL3t@kTtw;s3`<64{i-u0ALsYpZ&#~v{YLL}lP0Oukcm(~{(=-Tjvz_|qV&lXl
zqux2d53SbYSgR54hxsPS=mcj2|xPW9~;g9df1o%d8;d$5}jL{C@jbXyU
zNIt|DR-xMP%Nqe+Z%Ln~T0#b{)*OA)dAHcvj4Mckbm-?i)PWzJq@
zO?ccJ{7uJ7vSk1YXclQoPJm(DLUAE6A;EH9IGrr(=cmp}Qpt_0YM@t?Tr_D;Rjfxt
zlB$a9<)L*s(A-blB5R`B#XKVmHpk9Nb>EDSdbaWM1tC=>ch4U9q+Pl}Z8tpOxahZR
zU$m`FRl>MK^3jPAREKeNc7!|7MuRKLwzaXqTJN+;#zCr{on1$}W(Z0yx}
z$TTQHEcmK30}=40gj%2=+_nwGPCF>cLmYo_QY#_j5sH$Xt0jYums9Rf{>5AgVlVP6
zXe>`SKe8%n7@wQKHvzf~RuVcvz>Lv7$<
z3Y4A7Ot>A&$nN4fzxtkYqHp&4>-qcIL&8lhC8Yu6YxFzg!-ZAV+^UJoqtUHbtD4?c
z2~9DHefxJ}EYO1mph+hXc=wj%01Pc)fKFHb+&KS1J1aF9%}A)EtPSdw4{A8`h*|Oi
zCj7eEZt#QtKfbx4b9D!1Z?9m{AB+z_*k4LcyW-b@tzy>5Ik>12Y4eN-XTcSf3=jkF
zY5(9fBxctGk-I``$i|)o9P^mw-kcl0Fg$v2-OmwZ+XS5X1WA8&g~O}*da~RPTO2Yd
zYssL1l74o14d%-FZT4{$#%GH&o?7bu(M(VI3~uK#e8|ryIeC7ar234QnLR;gZMWs;=g?Titz)apLdob<`nJUbyeOAn1KWs6$XBaNcWhT
zDTw^!h_FKtEt+%oEnxm|Ls3~-#&M>$1OMRRRpO#LwJ&pX@Ra{s7n%G>fycLhmOg^X
z>L9pOF*qHl4rXF08R2f=d@67%mu1b^uU$`_bkzU-CG#ZYFREDdlI2FzE`QkT$+4Hh
zg1{hxTq2}ohKLFh=-4A}0RXo=a^I^eRN{^4J&aL1nNHwXl{a6Ijg3j!Jw3ZISGL*z
zwHtFhPO^7>fMjoSFiPPxQKt)KoFPEOF`8xD)4Y8)rKO-{bq+kI9Cv5x1In-iO1XE3
zyITjzao|4DgOsnV(>>UO(C;D#;4zTq5B_pE+yJhLQ?8jaDNX^;upJykubN?HOYSJA3phqzxM2^4_q49sZ<1_{7X8`bCZN@0
zIi4N9Lc`&7S&{Wnq>t8FWOHW1eH!1?bDGdO%*q7f6f;)vfw8V(UjBI9@i6X?Gc|^9Os|yds&y)#XX6
z1_++9c0!-qR{2K1be4(zdF7m#wNZvaxU5cee_9PE*G^EEwOPt$QmKucBG!85_rGhZ
z;xB`~f->taLrRY0B9yjAeO!95zw%TjgbPLW9H}9)s>jZM0Oeoz6UmBpH$`|8sP2X)
zlKc^8$Blg-QA?#;7;WrrvUcgqSjD4n+TkrAN6Z25w^30STsPmIs1GTHj9FXCJi@
zA}bm5fh8{aLemNFvhu?I#u5{MvlugkdJpI%^M3~N@TM$#rXS4lo_Z>KhcY*4g}kaJ
zGg#ob7`_Vmi}#0zu)6WhB^>o0)Y#}Z$n*z2I;Jh>ix5`_(KVUW5cu(LQ*D%!k@Px7
z$LqIm80n(HRKBdX!lPKh7QO|PH5aic?KmVAur_Ia3+-t329`Eb9pK4s{8He!1_*?8
zA!&FUoB@uhxKR8&$!7qF;X9%@nS!parBOh`bH&7ARcXcIm-WPi`;1TDLHrDD%Of->
zFEh-)Z|^4>DcER+$-W3g9YLvOPFIDgrlhIPP1Y?IQFFZkJ5Q8uTmzr2We|P<$3$OU
zmgf0>eM}F~Ls`_WFrsvGtP%GG%#yuV!EABxsAskyw&uvX8#;>CnyEl_Aj4Tz49!oU
z0E@K5_B|Ktd}a(E7}$WMat&$
zP7NYDXvxC}p%K_Fq7$agHjX2
z`zHE&w@-6vH+7^`?%g>l8TQzPn(4LQNa1YN*&dR9OpDeQ)aJ@3pC>AsThxJ*Au|_Q
z2C$o4|LRy?V-B)INyy=tHo9@MzHH6TJqeyF8TBYJyfBv^>;BQ}`ZnAPzz*o#1VrOa
zVC^TxW=ghgrsN_&hBIugvJ7Rn>#1GHH;Z0Cj%})LW4auShGH
z1jtoDaA1TAUNLq}ZqHVr?BTbJElr^~%MVmslU@1NS#G~%$Xj-w+Q9F?Wm63nvu}Lx
zF0-s}uZ1%LL4E;mHS@ckSR_=*wxscVq2$+$8D($|F$fA486+#XW|P5m1;s9=uy*28
zpqKIpgEbIJz(rRWDXH-4VAQB1V6^-Iwy=o@!4`pZ8E-|jTUZlz0u?o5%B^lj(4eFxML@h|3NyRtJ2;O1^U!IRmdnoZkt^#T^R;;Ek
zW%QyM)$*iF3Lj$Wp`xB!hc_V+!Uw}~XJyytf);%e;mwKrAzYVFEQ-O89N*=qXK&*7
zWXrqbMaF)5$tKBpy1GxC`Da+;o#P)Er0k3g)VyrWm)$EXssiz7cr~&MfK&8gENZxI
zl-jZeDx81g!-qiW_E(fH$q-+45Skkk5G)ydC94(+R*Yp5$#v2-yJFKJHOQ*vL^rvBJN`xYpX*|3t6F}`Q!^sNL
zwYsRXAIJ^voDNR<7dFbX3D)H$JU^&xu7M1db1kB`*aIy=KPrWn$HVb3+HfIh8TK4(
zwYpvzn5-b1_}5I7wNKe*W@o2N|IZ`QC)obke?`n+QS<-Z!D69FdbJ-J-19XV*7q0!
z0+f=AD12PZKndw(IU5xRQJ2)}ugz4^N^Jp(Q6*gDI#<9MtU~$bZTQl!@iw*P9&2d0xe0O>
zl2$|Boer!?S$GlP>52i
zT9fhc6>v%oobC5}KWY?EPlnD|kAEqtqZ?<+q$ViNxEwMgqFOT=lms!QfVzma1vxjU
z-ORu#RHd<~obUAzl1_D3GXON#Hx#w2$$nt%Ax(M04BOhLC5Px6nWzLDkiFok$7E40
z&Jw1Gl0;Y6wn}pDH=-FCH8&no$DySRl}SX0N=H+fVM($?hcP0Tq$cD8uRkd`Q$zB<
z@vK-DA)OCFJ+n!v
zIdSLxNpsqH``}DKR?p^6X)CkPO>;w2pAh
zh`1Iy6km&aa7Q<`fMVgD`1kMy;4T9Y`ka1D)3nt2DST-hBi7^n+wl3eV#IV%z;lO>
z@r{_tP|={sRG=o&IEJ^{`n0Cer6CUU=rr5121ER(Z=#(k>|7?k79KhF3JH*tbE%f7
zsHW{jKe2>Ry=h)+1**7JVX)!@d@11eG$TT5K)u7<|_#P)dqM*9}yIW2jRbjyu>}AFoMNI7qTq7S1}5o>b@LRvzuVQRuZITL?Tb
z%I?OE9F+5??<%;KlOZHFiZL&uw0K>h>Rex&$E`grfHlv20`EXznSB+^3**VwG~1xL
z!LD|^svH*I9$^r^|7{>X8i_tDC*Y&Bo)-|K%BuMfhb(lExfnjUeL66t=YHe!9jaV7
z6xHaKarDU1?4fxv-fEis6JrHD36*w|8~NGjS~G%6#T*+g;SIvzL2Nc@Ye;nSa9z2i
z=yXjJ=>GAVLTY*B1Dd0qFT~xB872?5;K98dN0_eYuMtZwq6sDov4PH$i};N#!pCn>
z@VMv{G=K3UQD41_L6N%(2Eju$nQKu;%(n_ORT;GzfaY>EQ*m-W!9@$0@0@q_iynaW
z3z$6vz1x1%9J!TBuArEs+YMHn$6Go9=reb!zhmes^ot&=2_FDmFPt4SQuE8KG>_*6
zvW0=M5ej+%F%hbfF^5Y<<=z4S>jIA`xw*lkE8s^rq8)7pm}hHup0sSqB)Ky@4rU03
z=d-lDuW*^c{GkCYPAP>XGtEscejIOwqF$Qa%&=Hq|3E<)8VrHRnekf_Mbw9a4=JeGpFXrY7T=!;C%tk{SUxB1A6~8d
zi7aCy=C9N;G?`2Cd=kZB5l7%sF53P%C!3VoQ$Y2$X0-pwi`7fDUq|vqsPNmG*P|1y
zgIV(4bx1%Bb4w3m1J*0IwZCL~$Z=UDo1P}X1irW0#P5yvsq{fh4molrk8j8FfCVDH
zK@-~sIr|dPuYwzPXgDOy8`g8cFd>%K>8;(=Phh#hwH=96E7r#6C{v{ME)^;LA-3=W
zF{rw^R!+sjt~-3pNQEn>7BI;@XSTRv5?^4I+wdH;x#EEIvo|H1ssf~7z>Fq|K1HYA
zu>Aa0Ce(L#(!Ssr@A5;t!M-vB6cFc%DpoVE-{7BsDY(TbU8!eYP*7mM$e`0j7rwM@
z&MECz)NJ|xB*W1EFER{&$o#*QVR})09T)U3GEC8bl3`B$iwraJRfb9ahYVBx|Bnpw
z@2PId4Ut1+CV9L35bzrtC9*$LSh5vXf-5w#x1ZO2&pWGckowy&Q=C5sheEl)km}Yu(_J81p|2va2Rup}IS8vakWnf&v
zIghj}8_%X1Q!GIP^l4nxz7PUWH*5GB;7@ZY_``$V3e;fryN&XOFB@cb$E-nd(=Cos
zlUrglx@=J(*SU@5%D8pR$hYe(%DwreiH)eja_v^=
zcNUuZzoc%LP|d4z=STMhau%mSEXc7r36ar!`bmr40bTB9a-HdqsxP)#FrC
zeiS<=e`zXVDzSm>(|y4Wul(q-)&s%F-gIHuxvn8Zmjw=ava)&M8`%5
zTe(wrQKxm%m@58cYaFQD4$gN=hPekG!2R#b&%GCUKsEayQl;!buKew{6H2Xx$px=E
zmLbCv1?-xT&%E%|C3?rY3;wE^24jGerl4
z#<*VJc*Yg9f`HwYZ1w2*)wIu^MFz4CzDyglHy!Mqe4^xfecmaT6jUrl8}qFmD_c71
zj=%`;>+*E<1)V15s1Y(iKqn)-P4z=CVa4IR$F+h8Q~H?
zjwqx$vxbpzfN#4gf2;Pfd(rj8S?{iyJZcNI0M(Qv-K?z|wsr|BX)7b|jDx89;>~3Z
z*-G--@QNS@ZtV1&!wv=7s;#5_5r0;6T!wo-MS4ks1
zQt(F(;|-bX+Q2~+)2InCTCe^;`+}9>X8#*?SxSFkoV8$AjNl$#}+=fpMbOm01ctLo40k{WV}
zUTU)T*)YE_;X;BXJa~g9ZJO@}jNnN5tigo{tE=8!lI5>i0^XVd()wdzdVjlOn!u!EJ_@SrhCPWe|?&I-DGFfzO4wy=g
z9{yjny?Iy@X}IPc1c{0mHVJ!BP*l{YfGA6%(uy=K{^Lgm=bhft_Iqd@6ALe}NZ
z^MUxS>jtUkri5m+$Q}+E=92RamOQ*FS>+$f2uY0SRWs$rSkm@q;XhmPiW_2N9K?HB^8L~Ca4=JM!
zEruES9#OED6q}7}!x<44t2V*%Ogv{dkV%_@txm9?(@x_t3+_#i{ciMvo1+%Tuig$G
z?J=!Abl^qoFItmt|GS^~KmFJL;DraOygk;q^7*7c_rt3fGu6ABw4-
zNw3RLol|b3?T8KTk&fVAYZeMr3*9v=I|W$AS|foeOYJg76dzEq
zhUuL5Uq51)My5zgcyp2B-p2liY1gU!(oH?KP)wbqTzfZ6PM>5fd|CG1feBO|)Zp!~
zYw8r)XvBj4=;Y@q7G{*Y7P_seDf5cG(@!n*D*fcSvsZ#c0)B*eGajsW=sUxu9t;TM-ORPvj|`K;7aq(r{0;K+V*6lE-@qo^VGK7!N@K6BL-OkivpCqRj|V
zU*!ptn)}~ZQG=Ut)>C?erx&TO(GJ`Zwn9#!Jm@tH!T_<_v5_%C$f+qf%N;DyYMl26
z?~FkMJ>2Trm&Q!=!M3CO3L!7B+k<>4{WrzaAgF*Dnt1_YUOz*zh^Z(=2B8u@4$X=F
zBNSYsCoe+ZtLgQqjYZDp$0aQ@=!_V!o4t=w=SVR|)c7VghT|a7-#@VHVq3Ivlf~(-
zGa=YOfFg(KorO#ap+II@rx@oF3I3GMHw
z?6*MGHWT%R@&E7;bHN^zh;A>UA5BJA^js)-&)WGcF-+KPQ}azDTtF1v16No0LY?fr
zgN>Z6kS%QN2qlW{zb{Qgf3&lO_kH%jgFt^b^cVh*0UAY}%ymAv<$OiTL&kATKVEU9
z=FOj}&BkyL4(QGmbtU|^vx|bJH74?G`d@#vTR&($Z=yA0tYPqHUXz#5Uy*Cpm%tSv
za1kG43CK`FE#3)U`lG%OV3Ng38=m3zyp;jc(vUEa8YPM63r$DjT`kb9xHPU)LwDQ;
zV3+M!@UmV%h`$Ts^kdmp6n*<)bhB^c>miPTtE8fE>*Y)vmnywH|eEn`FVzJ4A(-1g)UVs*K`1F;-JN=
zJ<}1f@rg5zWHv~qyk{dz%2dYwshicwjIhF|EPHmJP%I!fUI~9Vo1R?A`uav;HSLVr
zeej^rP-7EJ+w=(WJ1yogDYb%lnQ^tX7BM;Z
zLV{6e_6E4S=BON^CC}U&;{jl8!e(QShkH4d=K~$>A1c9SPm$&VD@Ug@#gKY)Cp1yy
z_<&4}-}F`$AWm`&>XAM8*nQ@iZ%gs)ys5viL2XwTc6b$xZ7}yxOwF7+rvQ%GlBW!g
zoAmD3Cfm62RLqlMv&BVrrQX)RBqSwm7-n}Rn`Uomj639+rTy^qn;GqI#*-PJJ`KGZ
zN^E#4uBoZX2+p}*@_Sh7Q2)@J{sU#D5eMwD&5rE9eBkJ@?b7{c5B;$nRhliL8N$Kh
z_?DJ)1WOg*9krNAq3JYEh<)iCU;&~5)B-89*b7M$0}c6Lwe>c20Ds7>GpsNeI$OQH
zo91`RZY*d?yX;~$Kb}um4YBi9QsPKxDw{vFvfEi`fZS|$1HQAXQGUG-PI?>=F$~A(
z7`P$>A2ZodazBx5fDl{zmsW`>CMT+1*xUwZF&woh&AJ~P6nPeVwi0#5dEc@rYeKN{
z>I!$|Mi*a4Uq@y8diT3FnlAnx_O9A)O3X=qN#-gSy*#^pb&sE3cFy=5?X)X<$j9c-
z58koA6kKS`PcR(VIJ{x(hhzHM>^o1EY&Y-No&OYVR~EWS1h!WO+Z`_?7|Lf@pD-V`
zu0qkz&3
z8SdiF22C`iY8l_OuyTx-JK#hiMeO(
zUi$2u?Jn)RH?mR7{x|{xVaTFX*~lEM37zeXzlJO}t-kQfej=8J*A;;ShTm
z2aN;OW$Bz@g_b%W_2C!qiE-$Ifo`JBwKFc$(z-u?&QoilbVV2D4m^#YeXw$u?;4$D
z$D7$NaPRD-9jQM)NYf8>)J5&q$|$!x6~Ltg_+wlwV#hDF@mmoc8wiBmeMQamWw36A
zef_7W*G5eV7DysA-As2u%B1a#U2n^`Wr^@Q<6lR6`X4@VZpZp7gnd<-d1Rof=pHib
zrUi(AbO@xjICf{i!6!~9U-5R!UE0#Fhz
z(}N^dlJrgx?5d!;mIxVVv-m#9!f8cVFo6B(+=FEL?jKrTTn#acP6T)0{wPkLus}#}
z=glETI)+8T`4m>^hHlN;i0`OJWfKy%G4U8HuU5g(dB8ialg!>|6p!u2PD9j~F3;fSF610zq)H0nmC8RbpfU)IucOz&H@1r>x_%0&P(<}=
zR#F>U=mrQwjMoA(X2_p0pZ;eK1;PRi&^-|&4cK$(*dUrYCBp_7ZI~RV)A0Q*FgueI
zem~O2;~D2oO*D4K38V!94I`k%lS
zBUDZ|N9mr$FI$S{iqrwY@KTSBcOv@b?^f6N#k(ELd(iuf$7Wzbtl%A$IFGdM1B6br96OG{P{I!_qimAr5tmo;SmoB1;W~jiJ}TB9%$2wl$)qu_ku6pPj#@Dc;Wze5wP)9
zwBGN~(R2oNw2|MHew7?gyE}jg4#Ezq<*ZEq@q+hTrM$jgK8(0;MnWjJsiDD`3_8Zf
zR{z0tsSAv68FU2OZ`oS-A|{UqIEY+J@MT9a4p;Q?8;1;Yq~0w#jPnV&CXl-@0w<0K
z9@%jIC>PU@)Z&;nwq3M+QE<0}@Jxrh1nRj@WYRX@1z862-mfhxOP|8zna-Ty
zp}|~A+XpSpN`ik`b+}r5>m}4P5ZEh=;ZTdO6yGU!&SB|U?*t!ImbfHy$Mo4fJG4}-
z2wH-Z@nI$j)|7x<9)?dhRzG;a(FSyjn^IEKpt0h!`ZnE;c032jHuP(V3y~sGQN|~A
zei<@XT#-S1jLraYL^vO($HCl*Dm4a437MTl-b6G+ihQ5FB{&JGue$dff>zUYDt)-O
zNuFI9MDHc6Lnwc|8+str_XzkyBVe0U5SAnR8S^`C3J+5G3i?~s)`-Mtdfm+1vQ}4i
z&Bso49o^>O2oI||e2W?k?jK8e0?5iNXsh60MJL>m&+!t=Fnr={M&wmJaPAaUloA_E
z)!w3JGmgnD+lW?l1C?{3A_xwncH#Tc()bMg)!**m;IrQ#Mf+2PwB9
zbwJTc?+C!nQ~5j`8#07?TM)W4&9$h}VmkYbr(Otb(;yzi2n?xtlls0b79^&}5=mbC
zfv%G^zU}_LovO9v1r+2C6zYvw&H}1zB-qq
z4@XIRTgYj=${&?+u)h3iffMj7Msb!jz~%Yj%GQt4%*|46rSh8V<2qVd^S}>5bxoLg
zG+*^~pvjK%h2wKM%OyBnk|ggi%@I(&4hB<<1_werfyrI%;G@36Sq@}E?1kJln_aWG
zs~An;KQwmmwi@Me)h;y))NvyfL}(Y#)Zm*(C-b7j=w_h>s2|@e7t&A=ORaa%P|UHX{btSE1PdniB-_$pi=LHd1D(8MLaGHOWg3
z!scRJ^VQEwR;;T~!6>1tU}=n#L*
zK=WEy^`1+F+0D-h9xAgU34=dqG~J3bAXxHY-zFnO-pDoUUR2k>g)uoQoBBGHy^VS2
zg9*wiN{v1_xO?J3^rHHji-|S0r9;P2nh-#t+q4x3*^naXvtgOOM22f6R|6+L$S?=O
zMKX+(tV{2-aeH0XMLbS6p~}fnxGW1Mi{pX#)-Bm5mB;vW?TzuI6sIr
zG3Jp7Lc!Y5HGsUsGoPJOrzlk8Fka1Ky@gxoLFBosucU0<}C=!FhsI-9Z>_@eG5SfxMqPnu~-B
z+IaU7C(^UZH{VgQ9LFD{y>#PiTC9Ym1HP_V95UEfrq3J%=80#FX7Dz+s2NwjY{BO)
zg`ztMt}O%bp)r25+rir6owq$}Z%Q^kkgZ-h*)Z+ot6%-4_4m`t!}J&X+4E!sx0lL2
z^jG_Z+H#i{9H$8QA|p>YUxEajlPt3kKlC6*z(ypKiuBcSAEGR)3w=Y5hTIGZR-J*G8F`en51&_D(54VtX>EQCsfYi^zXoQSa%_|N7
zlT{@C9aCyr;!J)N-)3z((25ZgGZN5zYqB>qoa;PjEIE5gLPC$$g<3%G-5B!BLkVjL
zjcM=m2OpQSu1_`sm!5;l#7W_Y%#IZYvp{MUtHFWM1=q46@JRB>hNM=^d6sz90mcb@
zW;_u?H&o}hbCPhmcfd54t(zxhS$auJD0A8YsaV|0CuVW+g>4x`Z6t4HQdh6ySM}A^
z8e61F>{%y}rxpy;X6vutdhvi7
zwfoKFhc^@ZKMhu_v=D^^&lNlURC+RzNBZ~pq5t*Iw;WKz)(umyblu_{lHJvQt6aWT
zi;R*`I#;e3fWn}g>7va|M@%eG8X7SS>c=+9k@W*@{h!029l}cQbh=S1!)Z--H7|!~
zL_Cbo0Bq8D&-YA&z`-cG6%qz}H3xaBI;<{^6C5g`){2sIk`pICH?aG<6_&`i>(nYm
zTmvjf>uvmk7%NtTMW;w*(*Xa0Fq?wfftLr|+3F%0843VP`8<4eA_GIsS7_vWdI%QO
z_}2ROLDS4bPpdnfmA>rx;|cl9KgKKWL^1*yO=~%e#4HQ2Lt4fY{XRp?^}vgT*pW^;
zpZusU^GFxX?`A~(XSQj>k9CeWPqka@8RO`A@lA`2~#moTijo~T*hI1|4qqslMuxI
zvfhd7nCA29%furj6#aSV%1#Q`R;BlbLsV`a>rj&DO{K2A6t0brm|-(kP}f9amg=f6
zaqSVdA6sfu1PKHQ?ShuXXvZDM>G1eCNyvKT1ldd@;F(u&SJS%)8$0Rdfp-xwmS$5y
zqB24_fBbSWSU4ZxcRYc~bQa=hyL-5%RK2!hd^1@qG|J68^W=o;
z80@bgLp1r{Y2JDx-MCC1A99K>urKHH?uhlE~8;X2j#Xcf*QQUTobSzKNel<-mdd*3(Jxv5R$0!NS?$
z-2T|?h||K|-=q*)GcQNEN=5J1;9lGk(sn{cnS>P)r5oY0Q~<^Ww^V5DoVRCKBtNe@
zcaOSWAf-QxPlP@VY=gp^qtE^++}zXALNp9VLu`O+cHZLi#18KQAH!MqVo7HFn|Ys?iHWZtcUP?Ob#7W
zgEYY5jaV|)BTgK>g_uduL84ACU`zA^CjEh8HML07n!rk-#l!2#IrU{s)j~-66XGxF
zFd8Q~Bb(tm@nn$=8X1>vRB1tJ5@OmU*-Evsvxb*Ro)3oA>($k`xhh{I={AUM``-@c
zeSoQ#eJvwm?A`-UPnzZ>T4o*`c`ElNDo6lX@^
ztYKF@WJ4FF(zpD6m19peF;lRQC2k(UK`G;I0Xc_yj=qkw)O*oLFh|0awzOEdS9V<_
z?+*a8!aEuo7;M%RS``r{#+V?iO+DPz
z)b1vb*KXjhjwCEX&fP=4Hiv4JzT645Xgn;2u8N~c!84YMg>W68(I-#@B4psx?QP|y
z5$6+J2iVrgSE(yMI!cOb?s-eV(fpAYutS^B9K6-KnIvqR#huI3r3>M3R!x%b=McL9
z-fLC6=kYEVy%OEjM0N-as3}g0pCC_Q>;SH(Y>Qvd5)Ei`#iT5S#pOb%LW;|r1e!$9
z3Zbomm`=k>D{|{upgbMf!v>}6G*E>Ij10A5wFs@sAl=`?%SUV+x+*BPJc!Giou&!_
z59J*7MHNO$#3CS^WIcSy6P@7NdzZf-5zYZJIA+rfGmCDha_a$*EFa{w7?)*%=F0-a
z0v2~I;w_%e;P^<|DWbA8kKl)@VCD`;Q{zb8DBSwy=6UU}{u1wrGNmu=Cxiu)#K-R`
zonALp+rSa=Q=^qGNu}HBe{Y&##F(r#p$pc^}hGIR4Md3Yi#ji{O8_l($
zze%9*E3nk=HsPak9;h_J!27IjC|AWP9ZzuALngS{1dLGAt62qtlO(d@8cb}7{)N=<
zDBzm(RAaCQsJ2mbEK*h;(bJ!iri_DtV>AtNYO^tehu3ldtq4X15L9!792}Rm=ls5HAUO
zqC_gx1E$byxoCX}bhCwFLURG`1Z;~tX&zD88&
zH?E!LIkB453iQ?t>G~YyvPj`Pjk#(L$nYFupC2+&=TBj9G@Yk#M;kt!QH2+<4QUZb
zR`lU})G$ftJ!oAAf5xUf4yq-k4q*Xq%S^eup7eRx%Tyaxz}JRJdE>QhmKlr&$%@&XSqT3tw4O|T9gVHmjx
zO%H(dC<%<$OoAm$OyL^Q4#UGKXF7Cfw8PjYwh_PtWQo|!AG=d9JS@Un!amhyd_TRuH@&^1Q8$7TuUR=vt
zpHm(fQM%a88*Bi?OTeJIlZO@1wc(ZZ3)0V3sEBYppwxP8?sV~0du{I8M6~8uDi>+q
z&4q;`*H#t~nrLzGYhPM5{VUf>^9q>f(TM=Y
zz^)>v@S@v6yd%9d4P@RJKtdw}_qPv}C>2b=5mI5s{Tno&1~`eAuJSsq^q~$YE+D_3
zgI{_h{tqKG_7EkF<8lMUMQ(X5#ThKMJCLRS&Z}djsGI-~fru;wjV#<&l`%QyBH{p0
zl%qw$xg!ZQ!-01rLsn3)%4A%De_b82x@*qO?c%!1?ulrbB(Q74&x;?=fAO(w^wR&r
zEb>3dnEugk`}f~$-eB&D_V3nyx^cq&^^Vx|Biklo>m06}6?`$f6k;0w*+NGRul;|7~6jKq#C=&)hHx2fEc_4b}PsPjaNId?m?a$w%?8EJ6
zZP#IK*;m=U!L#X_PRy0K=K|EU^=6qGTo{0+_I_l`VwFzxPKL3@l^QN7YL+>QN&Io1
zP80ND1XqJgr>~|_A)?G&#MY&Tw^dSkk^ny7xXc61Lxint3<&tNsQJzMk;FMFH$eL8
zz#zeXJ*s1W2sewyv<9<+SQkB}LJPsC+tCmju;8xXjg)r^SPgd)fT{k3yzxWe<-690N^645P`J5#i}2jkyOR
z#mG=p9TG1k0$*yACygW_E^OXRo<<*^KKVuixD5-4MV}gW(td}qgjYlwGCOp^gM_xjsiNB__Q<6
zu>Ag*2OeAcV}6Gh%lSbuw{IbJiqveBhN0OAuG<~tnXd87XjlmjMIDz8r)xGg#R6Nk
z*OqS3?Ss-!Qe0G*I$Iwnrdwc}6UqJI&7m9BR|#_wY#_2*GOWH$^B1$THI9^Qg6A8;
z5+BhxG0TFKwu)dB>E?R=I)^h=qz2pL7)N|xJizAVbDSiszOqe7670}~gLZ8IWSGDb
zGE(wDwHqF8VGQ6v`xR0qXfdI&8{t6})p=M^y~>S)R7&)S=130T#!h|Rg@hZM8zJ#?
z-2$b06Eoz*2#5$Mv1Ku;*PC$J#k>h?<Vh_`tYkR`gmI
zQ24K(X1SE$Q8F4%ox(Ul$sikeoQB)Jwt>0>CAV}Df>wt4ieJ85<=y5M&s2GW)J#9l
z%9)fycg%Pd0A1?2R|c%J3@}{JGr)l76BkhXY#U%r!!5*pUr!uE_uYG+h}-Q-JKzmk
ziU2p199D`eK(Kqv&rW=`tO=h1Xr}`rd7qy6D7%`>7v>Q`djS||5J0c2a&%J4kB;fBSfmkKsNdoMUqK8
z3Ci0$XM=qCZcQI|JyHQ(p4x0mw?m>t4Jbm-AYTy?1nE2~t$XVKE$
zmLWqpgDDv#1h?bKk9kkk2B$9xJPNw4X#CRcqi-&F%|Avzxpyt|NP0$hwG;a{towoO
zhde6No*r;rWJNfVziB-x@J9BQ1obJmQqFv7={G`JVPpH>Y_WgMj>O8948VD)lz&HA
z`l<6~0)*m}4+aTR9V?MY`nM~S%my3cJzENC+DP!7Hc{vpv2IvpBvcaKt_kNP0eD!j
z(g9)nZ#T&Ov!~cJR7tV+yOLrdv7;$GC35Fs`l0
zgH0$dyk?>9D8Um@d?c7uoEdF@ziab-k~Wp)hpeiI)R^>mXo=ow7SpdG0j)OX@SU78
zgx#dE>*O2|w+9)<-Hy_jznxUad%cOiax7-0OUP2m=jP8F7v6l|)4Oid#GSoO8{M({
z9}Nb#Q(|@E*Bsos(tqIP{5^aR|80jaEzLMu5MrOwzx>G2f@7JSXv_O%0}`?!qiG#z
zUBg}5Ljid#kgsa;1pTrwCga7o`R^l(JAh5$7_e)7D!+U1^Y7`OZr+RJ&U(sub~X3n
zrOOBGFRy>{+p+VH*Ci*lZ~d|A^2>;#%jC&C(hu>G!GPk-choS&Tjdt3nS1OzYWo`?
zq=5B#;Uvx3Nv#>J|ARxeZ@1p*MlVCr9a6>ziVfama5Es6d0;qbAL1^Fyhl27f=xxvp8ND
zG5^bj87Kq`2AN&^4<->+tXE(8;v?9ha&0^J{QZ_;xxrJr
z8VI8@1_~WDh$>9!c+l=dj}FkWoC9Sqtcn>~T%6`F#%vF)WR<7%5d7lsLuyoGKmGpk
z7fVMCWuMPy*_|u+Gp!f}k>*4N4a>g4<6>f~+KxYD4+$p%fG8~|5J`tR4gf-?3lEK?
zDQ>E-lQ;LMFrcyAkR`}SQEo>;npdDG1M)6xERb~caJ+8{EU0FRo2V{$sP~*l(wH>e+4jO>}YdOV^aSmx{v#Xe-(Z*jju-VWzgzxr`+mEPsDk9V4pykS=Js%I?r;YB0!l6bB@8mIXmr!Y
z&lvmD6Q{i2fIbf(-1%D`x%P)VGERMk4&;$untzo?R*7G5fIO0Jq?!-ZE&nEu3`hd<
zNbcMp^2pJk^8{mvbsmID#u8q>ZsFZA5PdSviQ6q(Y?i)$8pzQH;g0W{0{noYNS&?lk6inp4ZqAdU%Uwik9I}kqlmQ#ezKPyNT)Is1im*J*`^_h)hb7VfMaj3&EtkxBP*%9D
zJFdfMwA2QUxh;M8WqJ^)Oo&EPa_1?cPLK3}0s5=A{yxsE_^d
zKRu%?j3lCCR7>uSCA=MOdpEfd8qOm=GXo6;i;m1snO^g2GkA`gJmEkZkP_Px07iEmRrjNW*Aukm_u0spaEd
zPKb!1*AEUP$taUVOX^H-bI^Q(3#{MPaPQ?km)iR-m+oA`=g`QfCAinZe^ij()t;P{
z{dX*rei}SCVD7s4{Ksq_#H%KKNBJeN{+}Kt|0?j$FMVH%?zIQ1Nba)d(t_Un#7P0q
z^I6naH5aHe{J~W?6e>~qzY`%Dx!*CRl*4EWcfW!jIfd~4e^EuU`EAGlRTas7bvMZUfbX0W+LI38!?Js_
zzc~Pk@x958yaai!#*8}9NLY&K10nLNj6cUE-i;O3gCjHf7183sP=$v7qtT%aQs?#b
zNhf`o${M~pRC13m?y#Yr4e1=Kr(YK{EKYFs;GTkV>i(DGCv&A9Urr0P&50S?=>LQF
z@ZWDu{^{qVzrTC;YLnEmsv(u*xEvTC=4;QtXKPHlWoxkc1B2<2II{~qOja3=p99L@Ye04>Ce
z9gq8~*N_kVEleel!aX1Y+b}6
z82`v+YZK6s3AZ_cTtEt74}?qP$&6zx3)O}36ZoNA&M!d0N&0f?N(Uo7WMWYs{A1?fIrEbSMZNbloG1yOjM=c$N#&vQvLLTG;
zH}#(aekFG06Fbkx3ovy-%5U3HHdhw7A4=Lj`hIHs#jIrO|4mBQf6pxZP3w~XP3zkA
z9rZSu-ZtFHcu}v~s7g;#7j)Qt^q3ZyH%*GtCT&aIG+^JBS>|?HVUi<
zVJEe(7=h$H)1LLKskzlrUB}*twgsRgWq98Sb}fU+IJO^2bP=Z2B(B2nE$RejD!)11
zlbC*7>(E?4L&|B!&H7Bkfpu@X{cZ?ogRomd%nah?uv=>jBCw?^5VH6_e!+O%ko!d?
zzY!M~F0_)?RcOOfAv?%*!BaDxwC7UPMK@^EhZ$6qgf$;r<0jrwp(*m2!F0p6@x#ZXRpUtN16H-*q(Vfs~vNJ+fRIAy*z6Twj
z<`WHq_mNpcMC5nqzBuF>kcu998z;x9EbEYhL_leod6;uf{97DlHd~8*p6=PDA~B?i
zqy-VCHj7`Mq^+z!PhSjUGbRUPNQRmoBFY1YX^UbRBHyZ;AUz3|PfTYoEbmD7h>g2D
zf-|76>7zL{AOY7RibL4UC2u(=X=muGs2D%ck5s!4x#|5TZZK$^kKUU@hK948lWes|
zJ#s|_g`M#NZTJK0uX(Nu&Y79NcrLY$9nIHV`c?r`H1krFE>vT2k!-Dm#jNK76|{g1
z`bV?+S<;<3Ad@qfMnb|xtlSRek`ptxcqS?b=)SZphhV{Iet@LX)=CESD7sYXJ|y4|
z+Ruzx3ALDvRxN|#1(bY-5lE**
zkyFSE2!!!9Kwe)9IW$hghu+ZK#TXl(a%wSoRs_xn)b^p+?Xt
z^q?~1bV2EF&pTp-(4udw-G!&7tOdK@$%qBExGkGJVDe?*e4glm@G&n_vjB9rtbiR_
z0&ojDT38t5zTj~L-2&nP1x_y40&-|p<0Qj5bfXi(g>(mCp*{ySOZkj>po&u$0A2m4
zE@Ej`x~9-o?=|^GD4rPIQ!t6!rt3b>u!-;VwTj4OE+Nfg7j6q^K|5%BL
zEbvU+i&Vm{t?W58W0>jJshKwd6r!g=eOprdnKN|((+OIt4R`bC!W31W`Q(S0qY2uAPnb^4LfD0^GO<*E+YQ=K5Q<=L|F