From 4b803691f220547de062f165b2034e6a419b99bf Mon Sep 17 00:00:00 2001
From: Joel Thorstensson <joel@3box.io>
Date: Sat, 4 Mar 2023 12:49:18 -0700
Subject: [PATCH 1/2] caip: chainproof

---
 CAIPs/caip-218.md | 194 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 194 insertions(+)
 create mode 100644 CAIPs/caip-218.md

diff --git a/CAIPs/caip-218.md b/CAIPs/caip-218.md
new file mode 100644
index 00000000..3bfb7527
--- /dev/null
+++ b/CAIPs/caip-218.md
@@ -0,0 +1,194 @@
+---
+caip: CAIP-218
+title: ChainProofs - Fresh Facts Straight from the Blockchain
+author: Joel Thorstensson (joel@3box.io), Wayne Chang (wayne@spruceid.com)
+discussions-to: https://github.com/ChainAgnostic/CAIPs/pull/218
+status: Draft
+type: Standard
+created: 2023-03-04
+updated: 2023-03-04
+requires: 196
+---
+
+# TODO BEFORE MERGE
+
+- [ ] Fully define ChainProof EVM Profile mechanisms for identifying minimal states necessary from `eth_getProof` for EVM verification of contract calls and blocks. currently under "Instruction things".
+- [ ] Flesh out ChainProof Method definition and examples, especially the EVM NFT Ownership method.
+- [ ] Example code and test vectors.
+- [ ] Clean up ChainProof Methods section, move EVM-specific stuff to the EVM Profile.
+- [ ] Discussion of ChainProof inclusion within ReCaps, UCANs, and W3C Verifiable Credentials, including their relationship with cryptographic signatures in these formats.
+- [ ] Complete remaining empty sections.
+
+<!--You can leave these HTML comments in your merged EIP and delete the visible duplicate text guides, they will not appear and may be helpful to refer to if you edit it again. This is the suggested template for new EIPs. Note that an EIP number will be assigned by an editor. When opening a pull request to submit your EIP, please use an abbreviated title in the filename, `eip-draft_title_abbrev.md`. The title should be 44 characters or less.-->
+## Simple Summary
+
+<!--"If you can't explain it simply, you don't understand it well enough." Provide a simplified and layman-accessible explanation of the CAIP.-->
+ChainProofs are a cross-chain mechanism for proving human understandable statements using evidence from blockchain state.
+
+## Abstract
+
+A ChainProof can be used to prove any statements using blockchain evidence. These proofs are encoded as CACAOs and can be incorporated into any verifiable data format, such as object capabilities (ReCap, UCAN) or credentials (W3C Verifiable Credentials) to create interoperable digital statements that are rooted in the blockchain. These proofs contain a formula that verifiers can check against blockchains for truthiness, and these proofs therefore do not necessarily contain cryptographic signatures.
+
+
+## Motivation
+
+<!--The motivation is critical for CAIP. It should clearly explain why the state of the art is inadequate to address the problem that the CAIP solves. CAIP submissions without sufficient motivation may be rejected outright.-->
+ChainProofs can be used for many purposes to prove statements from blockchain evidence
+
+For example, they can prove that an Ethereum account,
+
+- is the owner of an ERC-721 NFT on mainnet Ethereum for the block 16756824.
+- has a locked token balance of $SPORK in a specific smart contract 0x83..e2 on Polygon in the block range [16756824, 16756900).
+- has been a member of the $SPORK DAO multisig for longer than 4,000 blocks total.
+
+ChainProofs can also prove general statements that aren't necessarily about accounts, such as:
+
+- The TVL in the DEX contract 0x48..ff is under $5,000,000,000 USD in value, using the ETH/USD price table defined in 0x77..22.
+- The staking contract 0x5e..32 has over 5,000 calls to `stakeEth()` that also sent greater than or equal to 1 ETH.
+
+
+
+## Specification
+
+
+### ChainProof Data Model
+
+
+A ChainProof is a CACAO that defines a new subsection of `fct` called `cprf` containing:
+- The ChainProof Method ID `mid`, the `String` name of the desired method, currently defined in this CAIP but potentially in an extensible registry.
+- The ChainProof Method Parameters `mps`, the inputs to the specified ChainProof Method as a `{String: Any}` dictionary.
+
+
+```ipldsch=
+type Principal Bytes // multidid
+
+type ChainProofCACAO struct {
+  iss Principal
+  aud Principal
+  s null // null
+  
+  v "cprf-0"
+  att []
+  nnc ""
+  prf optional [&CACAO]
+  fct Fact
+}
+
+type Fact struct { 
+  cprf: ChainProofFact 
+}
+
+type ChainProofFact struct {
+  id: String           // method-id
+  rc: Link             // method-root-cid
+  prm: { String: Any } // method-parameters
+}
+```
+
+### ChainProof Methods
+A ChainProof MUST specify a ChainProof Method, which describes
+1. **Claim Name**: The claim being made
+2. **Claim Description**: 
+3. **Parameters**: Input parameters to verify the claim which can also be used for (1).
+4. **Steps**: the exact steps that a verifier must take to verify the claim.
+
+The claim MUST be described in a human understandable fashion, and the steps MUST be described in a code-implementable fashion with a reference implementation made available, and SHOULD also include test vectors.
+
+#### ChainProof Method Example: NFT Ownership on EVMs
+`chainproof-method-id`: EvmNftOwnership
+`chainproof-method-parameters`: 
+
+### Verifying a chainproof
+
+1. Load state proof from `fct.cprf` into an EVM state machine
+2. Call the evm verification method specified by the *chainproof method*
+
+
+### Chainproof methods
+
+### ChainProof EVM Profile
+
+In order to create a chainproof using the EVM profile, the following information needs to be retrieved from ethereum:
+
+* Storage slot(s) merkle proof(s)
+* Smart contract code
+
+This information needs to be encoded using the dag-eth IPLD codec. The final result is a set of IPLD blocks and the CID representing the block hash.
+
+```
+  ┌───────┐
+  │ Block │
+  └───┬───┘
+      │
+      │
+  ┌───▼────┐
+  │Contract│
+  └┬──────┬┘
+   │      │
+   │      │
+┌──▼─┐  ┌─▼──────────┐
+│Code│  │StorageSlots│
+└────┘  └────────────┘
+```
+
+The specific storage slots that are required for the proof depends on the specific ChainProof method used, and should be enough to load the state into the EVM and call a function on a smart contract. 
+
+
+#### NFTProof
+
+Issuer: `did:nft`
+Audience: `did:pkh`
+EVM method: `ownerOf(uint256): address`
+VerificationMethod name: `erc721owner`
+
+**Verification algorithm**
+1. Call the `ownerOf(uint256): address` using the `did:nft` identifier as the `uint256` parameter
+2. Verify that the `address` returned is equal to the `did:pkh` identifier
+
+#### SafeProof
+
+Issuer: `did:safe`
+Audience: `did:pkh`
+EVM method: `ownerOf(uint256): address`
+VerificationMethod name: `erc721owner`
+
+
+
+#### Instruction things
+
+1. Call `eth_getProof(address, keys)` to get the merkle proof
+    a. `address`, and `keys` are defined by the *chainproof method* used
+3. Encode the merkle proof in IPLD using [dag-eth](https://ipld.io/specs/codecs/dag-eth/state/)
+4. Encode this information as a CACAO using the format below
+    a. `iss` and `aud` needs to be DID methods as defined by the *chainproof method* 
+
+## Rationale
+
+<!--The rationale fleshes out the specification by describing what motivated the design and why particular design decisions were made. It should describe alternate designs that were considered and related work, e.g. how the feature is supported in other languages. The rationale may also provide evidence of consensus within the community, and should discuss important objections or concerns raised during discussion.-->
+The rationale fleshes out the specification by describing what motivated the design and why particular design decisions were made. It should describe alternate designs that were considered and related work, e.g. how the feature is supported in other languages. The rationale may also provide evidence of consensus within the community, and should discuss important objections or concerns raised during discussion.-->
+
+## Test Cases
+
+<!--Please add diverse test cases here if applicable. Any normative definition of an interface requires test cases to be implementable. -->
+
+## Security Considerations
+
+<!--Please add an explicit list of intra-actor assumptions and known risk factors if applicable. Any normative definition of an interface requires these to be implementable; assumptions and risks should be at both individual interaction/use-case scale and systemically, should the interface specified gain ecosystem-namespace adoption. -->
+
+## Privacy Considerations
+
+<!--Please add an explicit list of intra-actor assumptions and known risk factors if applicable. Any normative definition of an interface requires these to be implementable; assumptions and risks should be at both individual interaction/use-case scale and systemically, should the interface specified gain ecosystem-namespace adoption. -->
+
+## Backwards Compatibility
+
+<!--All CAIPs that introduce backwards incompatibilities must include a section describing these incompatibilities and their severity. The CAIP must explain how the author proposes to deal with these incompatibilities. CAIP submissions without a sufficient backwards compatibility treatise may be rejected outright.-->
+All CAIPs that introduce backwards incompatibilities must include a section describing these incompatibilities and their severity. The CAIP must explain how the author proposes to deal with these incompatibilities. CAIP submissions without a sufficient backwards compatibility treatise may be rejected outright.
+
+## Links
+
+<!--Links to external resources that help understanding the CAIP better. This can e.g. be links to existing implementations.-->
+Links to external resources that help understanding the CAIP better. This can e.g. be links to existing implementations.
+
+## Copyright
+
+Copyright and related rights waived via [CC0](../LICENSE).

From 009d4a5d346ac15d70ec78fac0635ebdaf9d0c2c Mon Sep 17 00:00:00 2001
From: Joel Thorstensson <joel@3box.io>
Date: Sun, 2 Apr 2023 17:16:00 +0100
Subject: [PATCH 2/2] Add example test vector

---
 assets/CAIP-218/jthor.eth-proof.car | Bin 0 -> 21555 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 assets/CAIP-218/jthor.eth-proof.car

diff --git a/assets/CAIP-218/jthor.eth-proof.car b/assets/CAIP-218/jthor.eth-proof.car
new file mode 100644
index 0000000000000000000000000000000000000000..b9cf3c9bc7302c0c42cdbcd6d0f0016c0a198696
GIT binary patch
literal 21555
zcmd5^XH-<nvS!FZa?VK+1O+5#B!i$NCBtlB$T<lZm?0xM2uRQ-D1re+Bqv3bASxmX
z2ue~g00NQ}<n1Ax>+!(h+;{JK>&=g`W_R~j)m2|tSNC=yn~(DG^z`$^^d2zXhlB8@
z;UYWbZfs#RSWjSdQpGitK(nsKzYi^X*^_FZ(&1f_-Y3TZl#j2orw5`DACZJ$<w}EU
z)}ZoSZzhHpeyE&Om-A+|U(EN0o~V2N%13wK`IKc`MsWK555&m56`Zfp?3ZvTR@vmj
z@7XX{YcdM-zg-J$<*WznPxL0<KDG+J9&yjH;>k;vZW?vgwDW$nU-MK}m0zZ6rb)+P
z;;vQiW0esVZ94Dk;`roFN(P9?5wlNJ835n)l5XF+5>rI*){#^($^qZBk2lP<e-8vW
zzPeqn`4pZ=rR1b&&-wGX{6Z54eM16njDEw(4#z2VkgPiLupFm!iuKOZTpgy~*n%7J
zR?3}?6@bfEfR|v;cr^m&=H&Pofg00$j(FLU2N#NND=)iGDt><X%7NQpe6o~4{0$E0
z(f+HftU(-dh3367PIiqH_*uBldrZz9N0hI8){*aB%F`u{lUF)AMJYW)9UOh->EW2p
zj(&GBj=^OklJ-Vn(S7NJv%;1S%YO{Y)wL}s>fUgx*Cod-%MFfK<PuscDzN4oGoZcl
z-aMgJ$gAOI*yW;|_51c%<y8&&u$<t1#_Z1W*l^+VcRa0e0a^)kryC=~aBXuozn$1&
zR{?(1<31K^L3_O*haPW!-TafZ=X`9QcCUz<SzbvYdwXX*w{oe(2_16ds|rEJ*bxfd
zefw{B1P<5qg>c1G9qe0tcOM;&!0oOKN3=D=64`C7aC?DkHfj2vr%*m9doJ4`E?YNG
zQy))%KNQG)pQDaXa^dY#ElaR@MUr-dbqeLhc+sfbthFYCg>u|zoXt-JfetrSbTvLA
z9VXCjQC!BQ230N<g=t!jKLmpig-!2ELyvU2eGJF&b+cE<hx>J|o&jGBY@Wqx-pw7!
z?#DpApB!^vRWDQCac%5qc5eQhF3=5f>ctP+=0-kKA*jN8;^;>(xs2<ltRO?DU_a}1
z*ge<^=s7(466;?h!&ZBXvK<j0P29WZ#0l$6XKPK|;)XY?$ARbdu1DFF#tqet?QLrs
zC?p-h!P7(%7jJmH-y`<$XcsT2kYOV<<kL7kNb4EEw<w$EbjnfVI0wUd3v~^~=ds9O
z&^&>kAErV<ftJ5oAT~WZyeE3HI?<azVb6lE)|lo87jUV-N9OJexu%y>wrQNvz70ux
zeB-T*I9<o(9r*S>BY?nN@8(XKj$*2)$@~872S$-N(xOv2qrT*f%@GCFIz2IfPebE{
z$d%L5rbFRpE0j_OIvVxy2JlH3;`Tn)@^L`j2SOs|=_51Gv~OPWS94y{-^*Euh<V->
zVR6Im6;bXj(_?_`@fD%A*&2MWJ#3%i7kOK7xkp$M2O|pO+w@6)s?p{H>(xM?JCZsV
zm}TpSj)Y|`jdp94d`jct7m}i}nz)nV0(7{ZO7A}taHjQi<2<`;%>_m4wUq3$`8sb!
zZp9D3w=f1%Yg(~98b5JzWjuR59I|l>Kh}h%*^sRD>y7$SPFReBI4}DHOlR8;Qs&G>
z=zdW;ZmU^2L#B8$&)!&4f$y^GEP9hVyP1Ne&e&}J<i4)D(i@T8vp?_ie3E5L2;!8Z
zUJV_dKkc(WHwL)PUo!c~5EX7^8poQAzdvh{@OXAc0TAw#D0g3F6f_15gU6b!EpSWl
z<G$K?PbcAhv{QdoS~Y{oEy^i{BAX9@Htr*#tU3=vgfF3H51r_|Bx6~oU71<w6V2R=
z$w?tS1Z2>93qx^oPx|KZM_8*GABbH1Lho;R-JH54?={r#B@OhlQK$H|G9!?Lqw*|i
z5rx+SMVlTZxTJh=olYy`^w9yGC1K67vlb5W@v4Ehl|JfZYc8f(o~l{aB)M~W!kPOT
zAf=Eqiayj@d5@PZ^nhmHDVyt7<gRZ-Ge;7~8e10c=74;>SRR*a&wKL)_IX^n!5vRB
zWTf669}vhRzQ3KyNg4v~_ut7<>V5QkwwG8}l(*cb!S-o;myaSXco%6T9Go`}^g=BA
zVlR}Vovrw3mdM6<e+1OJbF(~D$Q5#sr2m|34BqnvcHJ3z{@wV4nti^z@!|&>k<yFj
zNs{LxV`$3=uXX~rmDgRa!h~rjSD0xl0tXsbnqoWCh!U=yu*~kc^3y#YESI*wC2tWi
z2A63y-*vmq#z?%hN{GMXVpZJb?5#W21malH1aq9q`fm(mkGGcfS;z=II8;w7Xz4}g
zM{86qPzAcO4vgF1azJvf9eT|}szq?Uz1Zc4+GWX~`M1W{Sw=o>QD?WHVyS~1kxOB8
zeito#aIcAOL~_uH;;L1hkH!5Kai%{7at}5DzK`xgQ7^@)q7r%WRK1UkEcDOcb34G)
zG)z!*N}}7v9$Zn%er3zb<Xq}}K4-+!+_ee-^+&=a`cYThMr(*54A`#`kf<er5;@23
zeP4CDC?dd=oI`rpIsd1m!z(B*h77D8?ta7mB7L~}+PqIvax~)b3C9>^@+1g($i>^r
zTc!*6sU4E-x9^=xk&XDVzq0#g6dx&zBmH$PLOa>I$>EP-;79!x;)6@ZFBq)FFFihx
zO66avmUWz{-Rd4e__<f%#$tdtI=<O4MI3r^FNa4Xd3528rR$eD4JI~)vJWRc#4_fA
z-$ze-(|z><C-ixWZIwI2CgP~V3{HO2N)*Fe>3`=}1m=3eJEv^A11`6#D}BYu@M$jn
zVvvJel2!jOfQX}3v;^NGSzh112wlq>>WU;({4k?FSpJFL;!%S(y|Zka`>kHUM2K{y
zGq8>c_<qs^_3mm*<(n2-6?>v<c!_M5!C9&ufc=Hy2fl0<qyYEHXd8A)bBqksY}q4w
zDnXqpy`{YNIp9>sT%`2U_%V^LE_0RVNqMo_OtCVtKo$Lg$SAY(OQnE{?oHW~N5$lV
z%l;w{TH0L-$n?dGMq~=4xsnH4lmy+ufj2a$&^ekKCkfQoLn7n*IrgIcCM?@C2ub-7
zd@MtQTh!TYGFa-!>nVBO<*|K=rs5Ixfk<xfPW6NqT{sXF*Vb}hKcP(zB+KDVcBr@F
z-OhQ_Ga7a(-NJ{kU_!HasB+Gx)t(XQ1j=ugeP46($3?&Lcp9u~+v&5^s%x<CF7-*B
zu%>s_-wuJE(ug!d)G~s!k=#nb;QiZsvx|P*Ga2pb_o2?xl~OgpE@qu}%RKMYZOXg3
zw=*xFV`2E2V|9*k)KG~`ft%?v9*BPtRM!>#ZN;370^dIJpjMZk-4m*@WKT<sufw8#
zV-_&Jr|{6ueAYYV#hr@=CiAE@`NN}cCF@O|vs^lM|D>!o=tv{fx{k=SXX7k;rF%0T
zvs`%GtJ@9}G?Qmh_Mx&f0W?G_ExWnAPt4+2aG=&9yCV6eiEk>RUl>)9_p*}js4kHE
zIepxSxjcFqlH)Zhc>jEsFK@!urns~-K8`Tp$WamC!UQt+HMnMUK2vBZKAWIFN1Xj}
zmZIzs&p3ZvhO_D%u)!Ivx#)g*x;v7hchAw5O7}QBN5Zd74{#q7h4Gi}?E_Kq`|b&+
zGSIqxm!6m~r!6ycpF3zZ)3$<d{~}<T)42^;`kND~?ae+~_<V}}7<-V;_~3=KphsEH
z%)gr~C9As2f;&@h?Tcii{B)B7QaX^KV?L$0Z}%;+(H)GkpPOgSe+RB7>SGSP{gB>k
zamd<a{$R$r+I+sn$^aY9#?paTCp5FRsIwaomO6PeBYM-d@?sP{;vRNalS$G7?_M%H
z!*WSA?NKSgaC8IUPU10mJAuy_9mu?Y@eoC5m|6Yv-r!PvCX1iVv*mAlK;>)xm)C4Z
zr`YP%7Q{p|?3|sYW;^JMW6DHXmgJ(uUIR6?{ILurV8Y{)TSgn7z5gaMr##-ZCZe@U
z?U2qV{T2`zG21)U4x&mBpE;t1nlsXG>lMp7zKQQ-&LU4%L2HA~Ii}U_3K8Y9)O-t;
zKt5L~r=qIWMhk(pgwC$FvC@Q~C*TbCaJN{uT<f{6$4`!{pGYa6TUwD3(IO7Io9YzI
z0={K=J@&lJ^mFb3+0h(-QcF8zbo7P$xPAQei(;Rzq`d*=Q(|@^hZGL=#rLW|zZ`T-
zI900j7WaK5liQSFtZdLMX!eO<G@GT><>iKkv=)YO%HE~^Boke=w9F+C7su!)fqALR
z1~oNNJWtHy?(fNO<Vox`MgJH#Y<;G1^Oks!h!mK0dbQvp%`lI4kc=CuDm2e?x~Zzl
zef?J5KHKqgA3cZwpP8Sp&Fo-`=umck|82q7Rdl+Bnm_I(2%`eJt@A_}fU22A=sWWY
zzS}iLYIh#jw#aHn4~oo3jwi=+VICdT3Ie7jFPon0-3)f;aGiKW&cl_z_?oE;G*OET
z88Tfd@el+_<0MwhSso&vakH*a;tag&Nqn4uD^u4$5hyc$;rX-5E$ZxM3YIz_iVjL0
ztJnLHturf^W1gY@?&GW1WA3ia`AgyU{0B-UK^ZgV<%`oyo#$*4pZm3fp%)CNQRngb
zMa4PkW0R~(832zRBf_jbDA$=f`W_~;ebR%3-uP*J!-KYQ+%htpm$hJu89KEfA^9Zt
zK<w*m947+%ObNMRAZVLn{`BWT-Ln{=n(%R=v+{7d;`62U_N&?7+$lrQXx^$b4Gv=(
zvmDJ-fW2F~lt*@fpYNRS<IaNNgGa2p)h_VGgdlnxOf{WIdBG@QquZlby~^b%l8KCz
zq~&k*x{FDIrnH|q$$rG8lh^{cCH`*77ivLMrivuYeN+P;5nMzLmZ5J_kA*p28ld?C
z=(G{%I!RGcO-G7Z527O1ti>ysPgn=(V)_I;UlOD|0BT0*i2CJ0)uii7EZlgwm6P#%
zy6ybRB+3ox+^lS?5I~9lODV^*VlI!pYq<&hu6w%fHxi7+Sp-z@aCVJl5uFEN<m6KB
zJm2w`Pe#g0UG2N8wH)bR3|^jzXHTWEoVN-DWdm0#@!DF#aec^*`Gq1(`H4Q$=-xUb
z!B&yjcuT5h1aS3GJ4#f)FG<1umVKAorMHaf2U*-=u?T%&ZKL>9UItitG=uA(cWK2Z
z^Mu>7Ce!%E5#zlzHi&(6Qtt&j+g?tC#r^t*--S$uY(-8?4!wQg-sVcbKZ2<C>)i;!
zfRdj_;?WoJ)=yZw`D+>B4dy(xG7!zOFVD;?S50$^@g?%4`@J7NYpA%qQvT)nd<>wV
zz8&Iu-Qxa?HEyj`ca`AYMaZXD!h>e4J`L4CdzBS<mOjhjYI`o-Wsmcuyx(jshEvjA
z&w~M1dCse>@7|&}KvG~XCWR!+nm*)ej&3C$yRC<a;bi>Le;NO@UJY4I6&kFDUDHVk
zKb;lCA~j%hVaz0vT2?;7iu)O7ysZQ6hYAKXXp#xjh6okJU2<Ot2nxlp3OJbfWHd~d
z=G+rtXEijviUypVDaY&PepJ8E8y1&dwDo0ZFqYA&v1GZz!;;4%#?=oFYJAc3<+VG0
z_4^c0-DimQUCF*0{+kW$(Te!lGJ}%mKnuj{EgH-a*x7KxL@-d`x%w+ni-dPet)|w`
zM6{$&`=fy_hE}Pg<&lQmjiP)9*2{EET8>ahqWOE7b9};aEv#dpxY}D@vxPia!9H41
z%++Be*EK*{|JiZTQEA!PEX4zgXmsFuWOj4vk^%ac4~Xw;ZKzP@uRb}r*TD|#GhB9k
zaq#@mx7^YZ`F+u{jmzKw`uU!$U{htPy7O1f#D0uwN$v6Ac<Ts#UVa}gOU(qqVDX4`
z&AUM@IplJEC4U{-8gK^T`m_0S&daFD0YWRziCO=I{s`wwRT@ib2s9wUCyz24w0}=+
zSm4CdN2o_8d{@bT^x-^E<?h639CiWpCw%ue<Xu+RyZeRfY+j*qMW5*Tc@M*pg3pD@
zFDnj_!Y8>*_!3|@9Bg(geD%WQo?+i3vM-6DmhQo7$Mu($RW!PBxnc~6(nAT5AWJ9W
zaQBp6#B%q+C-|>=jk37U$IymU^D2E3R%8yy=m*9;jS<mb(hr&wSMFJk@L25$jrJo+
z)Ji8yQXnxK{yG9~Xwq?9Vn5{bmO8uk{gRRbtI;0gN&|GJmSxlE#S}X#aP$qCy<UFp
zF`_HC>Ij_hhlnbRq@R)v`&EDE^0Rd05&_kxTfE6yn57S2;!{183bh!>YHD=8F{-NA
zXL9Gp_%mg|ve+jQ^?<PLVaU)*1G7!$P%61XvE3`d`$ML&VaAy@K;vEQb=C*P)Q&SB
zy=>C`v{pde7hh-cJo3E#yj&^Y7{SVi4>$Rzxy@vyr7#NvjUsc+#<%??T@XGe4EkNY
zM7@AQOW$n4lC2tEKz7V{cL)BSV^y<?Gui=;l5y32xdXA_n_8xLqLGiX(Af0Pz#~JG
znKo5V?zUPT6`)NLMimq>f^b{5wTG#i4mYN|t%&y)(@(qVv5E;3NovIVMUYfHVF!$9
z`5E-n3CxZv_b_*+W(h^UkHjboh<VwPa&oW?tXKeU#i<Sqz4NE%6|2&1Q-(9ILvEp!
z_f<YEM%x&$4#m`hSwf5EZ~lfM9=T@si^hywO;xFH2c44SWSTTOo5=Q!4LF26sZWqg
zCUxqiE6RwanO%DrT8+uzFT(%0YVgEw>?(F+#8PLsm|>}N34LM7uc-W!jDmE^0KHa(
zfK1|#u`))ZRs+SOK6z=XK(~i0mDnPW&aKk2#>vu$B{TJNS^(aN>*Ezg>zS3h+n_Wc
zkQVWRNarI>Knv$dL&LEi%TC900_4D?xuK1MPZ=D4DH+B{!uc_{CFO0O#8iREcO<2G
zh*tc$(*sCvR-_9^J#<TojnF<*NJ&>#H-Ks8QRJABd|ZEb_+rH?qN0K~Krp}fP9uMU
z+6;3-gx6zW^5HzI?@Im4@F=N(SE1C;IzXyM?DHuvA=k$_S(g&(gQ$!pPKcG%X=5IM
zG<*t~oISuK%eo_)-R%Y^-qJIk{B(EGPj6Qr&P$U9`*e&PCXEvT9IFcPQi3!e-#dn`
z7SxUp9eCL60bQLP>Y{r!jx+V63owk#gD*wYb8`EAE2<)irjue`T;ld2ExE6r*5jQd
zi2{ONdvVV-$Qg>Umd?yEPW+_Z_tu1oXiSkus`?%DrqKcja@V=Dud*Pok<z@V61^{)
z7o6c4x-{`I@%~ZFV%=aB&=y;o(w9i+$>gT$<o%(X*+|VkUVE^Yu`ZoP`C_G4F_7U<
zGGLNkSX~T0KHemtK}izs$K>R9M%r<h0@?JCrV5mwBi7j0)Zs|h!rdGwe|2Eum?mC&
zrCzN1+0ruYL*G}xAvU!W6d1g4d_|XF;^{UX-$4DJPvUI}%-xw;j_hfv-J;HJ?!Z!K
zHg@!U0P|sOQG)W$FTt-GuW@272h==TBh#mt4@>Ls1j?e*dt#_6c$6>@jd_|6$ApD>
zPSVv>PFqEjzJg=9=YgDVmx|&;c5l;+wx8yD8aDOUBo2nDq28$HU6d;|jjRC|jvqU9
z`O44RvDC}SNjF}|H!AXte2?<enPf@KdEc3=4p^izGd%O^mB;4YtzFU-mxNTL2I8cR
zeqJgqPr34`P7tIKN_&`i@bxy$KgX3phSg9N^2ZQm%l-hDypLR7`dSJs%T|D2nK&N<
zqi-My*~hA`A<1t|G3W70INl4)ocdu32ns~FE^4`Y{7`bN5*CkqYxS*&EfOb0)%?ql
za)@-wV^HTOU|VwRxd^?GN*nRLV^AzUUgDQQ|Jn1GEzr?75}$+9CyXvhi#}ymRa*Ie
z-&OK)uWswwmur2A-s&|*rykO9fkzeMvKL4z2^ibEI3w-W`n4wao)@{I;=-?YhwYBC
zN;2q8ox2}o-KG2JvvYJU%GkuvNBH`ZvQ18L@;z(g4kCGQ!ah6eGe+T1?*TLKXG}O*
z=W+{ZWy~Je`lhFPU3+orE+{GW^5Lv0{P}d)m#VVkNHK$)&d=K`q<4?jU(t#6h0*}g
zfEIVXFtL4+gbgY;F1M3(-t~!viz$k=R<q=Q!2w*L>h1O5IMu+D6D)zMdh-sb<jHd`
zpBsuYc^n>aN?KjV+oH~HreLWvBT>h2E}q|x$U1jPPsJ(2|5z`X)JVHxL(+ZMr#?&P
zfnY)h({=fMM=e7IC_{5X)hCataY!tvYJLOc5>GW^2SEx&+0?<aUFg#*NBYm4A$2O?
zowH#v@4-|{$jzW)FUW(%o22qAH<gZRoBHUaJE@p-oqwMid&*nkY(T(QetO|LK#+5&
zh9GppbLGGu-NK8O+L)W6WEB;11h%m^{Yt*e90e42gDrnb`Io&#Q8m36EE12zkvM7}
zR`2Axpq(9Cnd}IJ?iw(O5+SK7v`4+rDQ|Hd{9e}=JnzT%jJ<Uk(@Sv?%u9Z3JAxT@
z)IDQmqwsi~wf|PmGqVSVQ`Db~J=BjRcYzMEI!8mCcBko~g|->>0g-pqujh^~>UVh3
ztvWrsDA^1KCQe+Njx#fJXTC9{oy6y3h_Q7`aF1QAQviy?3t86S0axn8tooi}ysnjm
z_JsGR_}WY)#!<MBzTNC7tDW|H2y&#UT$2|ntqPu(Mt^k8_3&{${DHv&XZDtHQpWuU
zH95fI=y*IkhUIuaBK&Y9&59x^NpT;`B=?O(oa@pH$+@ARb4bthjt~*4g|Ne<$(!gO
zF$XjGB;33^BVPhw8e4M{+<OpXtT1^(Pff__ha3jnKKpeUsTb*Adeyt?qK0_R18{Eo
zJK~Lxo^`|BihG8n@_PCBAAH^SqhvpyHWw~Li+tIl&Tg~CQs;9~w0P6t6-^DJbEi#u
z^EgeNKRk0t%~J|I5|Mo8`sj7go|7h6Yaw=~j(4zti6g(eRqH`j8&~-&$f1drsKKrT
z_<x|B>p{tmM#wfd-MNyYG>9DZ@L&<Ua5U97l5yy*IQUGJ(U#(S&-U(RLB|gIJ3hXx
zI-eIU4ye4i=hm+&@23gIuPU|P?i;h`Id32SMo{p0wMHr79+frHi^>zvwdcHOK=2iw
zB+V;i$L?0H*xh*by+?Ym1TETft#0M1FoH+AR}*|wnk0_rz8*=ZaMIXaLVjqlt9CS}
zQ?~7_n?BWy#NaZh<ELSpx_u9FHYm<O^gOm0$r-**iSg&{%<LMDBF{4gD8=G*fi@j(
z|25<uL||y;1AnRd!tbJ><RLltd#9=_;5VQw+8W$=iM^F=&~q~4YUfP1MTv&PWaaFD
zd71NM53utr@#W)x5AL0Ht-j%idYH+|RyttVf9i+R0#j=6w{{@M67!VNtd~=x#UtTn
z;T=b6O?%Y<1;NJze&<DJUoWKq;ghO?B>~k_{&q>NRyxGaPu3m?-4{YlJ<@cvA9GtZ
z1`%p+I^;#4e=@Q%iEN}WUAT7Zy^DeJb#|+8E86PM9hQJ$50jg1SIZivrh(V_dt}{N
zL{iRGiI;7;d%;y*BRU_DFjeIua4LU4*F2G;Q2bQeo~DH5{jaI6a0-<+JL(O5Mpq%$
zYn|PKx|ICOaRCkNt3^EzwRV3?^=6wQD2uCVIRX_B(kf&_TxlV#S_(uU%Qg6g6dg+t
zn?o2r!LiIw*V^%BMxPA}u0njoWjyqDfV0$y0d?iJ<7aN3X96~-M(G8N{7IyOh6%1u
z4_0=Pa{!KrA-)2OZi4A=jjf!1g-#Oh9^l|>J6#)Ql|I<W>fMF5ST}q(ocT*!{-+h6
zKO62~D~uzE_zHg5kgzaynFqW!3R`>27J4D=^3`TM5sDY`)3@(XxlCkY$eY-jH!Hy1
z%317!VnID)y&=TJ`ziFkb+tQXX;;p^mC|+z|DXppSKqWG3Im@XLJ5=MwbGBtiY!;m
zbK|ELnEKc(kw=F=J`lZ`NU09q2@R)4SAL*NxMzQHuA{}+$uGD2!WZQS2+sYujLWVP
zAUn-q<nbw0v%6i&ipuliS##dq{^>tfUaj=tPb3$@^_$a#&RHJrgMqdKXZx09^!du2
zY#z20sPNZFgtLc^Dm8;up2+0fiXLz&%FIXUkQVz7xdd@T9pZN>mQorkN{kf1uin}^
z{iF=%UE84Xik9WKE_<Jfs%Zw{G8V5fMRST7foPnZ&Iq@V=otg=R97CMbS;g9MsCVu
zt%h>lr|>T;CV(?D%r{-KDA#P9l|D$^6dks98l8DYCTgXP+i>#3)pQ-;NBT+_@%51Q
zUSC`!AK%d@hzq`A+{$vTUYVEN)GvDtfCrIMrzpr)$HRr(z3U$NqR!u5njC2Jw>>*T
zcd&1{c?hUUtzMPUQOTqdc!Q$UZFqUsuWA3JtWc0es)!m{Ro+E#GE(NLwClvN8z}lB
zw?(0L{)rx<3o_kl@{@Hzz6Wsdz(I!oglUb*7$T{$Q2J;pHdDd6KGs#s&qoLpZ}+TS
zJPyR_?|ydqS?kzFuNR?gdsC8_Qg$?$h%dx7yppSsTnc_0K=I^zK5mI^fxi7&w^+(g
ztWQ^&#AB#VjlS0Y;b!Kgyp@Z0^Ej3|FLGuMSX5LnK8jgBTw|&rbJHrGs%iS=DF@mM
zu586tS3%h7nI~N*_J632-b->hnLoHvCUX*Jy4D=%U#QG=(wG6FEAQ0w+{$%gX}S_0
zjfWI^bMk#5#pGvu^+)^q$@+VNBd;xGjiphKXH6gS64W7L4m@axinL*!f&_1{CL4U}
z0>`vdLq0k84+-Pmun>u2jK*pF`pVv<Mb6}uAeET>xGL~%EJpMN9Vyr&>)&mBPZQbB
z$qnJCo7k!ABk}z?*@ysv=3!N1B9nkXbt4`Z1%teq0BzhdwVo`A+=W}IJl`JyheCy9
z;esr)RWZA&Hawdn<ZViK{B6%KD=>=>r;61HfKt^Wt(gcttw4FyQlMYL)i242chM(`
z?;MI2aK9V+&=8o;=9*_;{PDm%cQRDakL&9vQPT9aj)p|D5#GyY<&Q!EFQVZoal4jT
zT~f!*ds0&G-`|QK8(DM<khdHND>8c@3ucc_Qu{H#{2E~-I{r~9)!+WeXuXx2`T04*
zu}3{WZ0`W#Cr$LRk4Bi?sExI*xUQiVXi?%W9iG+=zQ;ZtzTNx=5YZ5{y~>dH8{=vd
zu(XV*M!L@lKdkvMFA*fAnRnu%0=R6)_vI@2<*2OQi?4!TIDD8=S&&s-NC+rAwze4a
z`u<T+`%XbpY{^J?+UMoH1X2gg$TI?fCyl6ZD_{O(U4mxaqRwvpu+(wAt98ZbgN8Ew
zkiX8f>*_=5skf!v_p2h0I({oWS!g5(V!kmto<78>v%r=aY$A#?JYMD-uIFKMJ_lc-
zY3PIBcTgv&;U1wh-Y&<^JiYpjy^uJL$DTl@i&OP=N0RgO>;MqYee2FUd;2tkG1%F1
zpOZJ4S;IK5#pl(-E~2b7)gr~<(q!Mhmjy`+4oqeq-*xG)xF?RPf1r4q__~Cy=>Suk
zA}B0Z)pk%ccb*~N>p7qQV`7ha@{5|G@YU5*<KN#FJaGorXGRsR(hj%ZyDnxDsfyU&
zT}LckuwR-7zb)|28}jG!pisBgVXhYu<DT(UG0~G*jcVeE-uawml~2}rmx-q*ox#2a
zt&%Q)JFH=)>`r=>;_mk+WfE0L!LmyNI%^LmjtK)Y#CID(V<F{JJ_eHC-MvT_`L9e-
zvW|2=Pq7OZ{!pF?vYy(3Jy+)59J%*BXLd4!(ogzz;perFPjFjX;^eK&Apn&$4S2|y
zU#QB!EV@hwU+Y3nFwK$}s!Q9%Xdl#*FaXZBG7$<M=lJ}dqy;d4UpD$&{V-<e!;yP4
zHK{%}w+cytpc8Hj?+m`_tVzICs+Z<cm(K?y+bgd6lHyZ`&Ym5h2VbLPv?X-zrh3z#
z?LFmWLEESs<YB(hn!{dbTPAakm;+d!_qGu0rpH;C*BY#*PY^3<Cpjgl=?cnAkKSaH
z@0#AC&Tj6&Qb#C`Aj(%KTC^syV?L9vY5zE6{rae@)839;O^NYl4PD^;e%c)sPnj0S
zr%cmy8+C@ASXGnrn*-M=7rqoWwpk7!kv5zE?h^MsO#HJ|4H-7==CeUs0V?i@$TJfv
z_gLemLF?e#9^3kusXb@#&ASMwm6M4soVjln+N7<bV$3@^dk#bu$&4RUjws8fX6|b~
z(-ZH-BgjgGkDgXLV)?SofRz@UoRgeVKd2cwGc|ji-n!)G{BYAV>Rh7(2_iQaCQqi<
z1M3IHdyQ-k>pdS~zk}B5ctY6Zd$z8okyUoT!(3K+yd&T%fBw?91r_k>0AH>p4gII#
zTi!y-4LtYXUvx6JN(njxh7c1pabdM7VyUhSN$ipZVxOzM_CHp!to=4uZ~5f)7cgS+
zZm@)kPR-ax4@sJBaJegPp~ECk@p@!n>SOKK>1Z$})hRFMdpYWBih`eeYVVP|OfRTV
znKPvYVZv-*S3JsrlERm#<s79iwS`xMRE+vED9;~IJpCf<y81h`FzI3~HwZfoglC>J
z-;pVw5En6}ek+#hl5*yP{-v^8)ssu)Cmw+}S7+JcsB#Xm4jV*_G8`|%ImnSeYWMuk
z(PT?Kbyv9*K-MB}-*NBs+0b^`b2Y?v%9SBTrEvp?Rvk_hyz;l@rvpF6y}ekplf`1|
zUsf@)hEnn~We{Pk=`W>ay<j?Nq&$pX+Nc0`vvsKpjRwsJgPwYL5zyawFOYg}_7Z2h
ze?d>{&(Hu4lDE7=-$k|1Aguq#U9%AC;0F16dnfZXj?(Zm!Wq6ti9P4-TAmnDjRTQn
zMdw2N`qvg{VlpEjVE;AM{=y5B&WfUi^O1JGp~YwrK{&{Foorgr>sIk+>U^X0>(p%~
zB%C*U{KOsmjjukO1?ZCIpB%*PMIq0O>~9sNOn=rW@cgMBaF0Ufk#0XNQ_e=I3R*Iv
z`fDbK*;jRaI9L7Y4}W0F_i=4o32DZanpe*9UxKg7vDbXNp)DDJTOaX%vOM&`PZjSH
zcMlL;>8Lh8VQSgHQAg&c@Jd656820l?<Gcz{T>FX)Um>Z6BP%cLam<eC)y{z2~R{+
z&U~u-wR}eFtSjCPbu3p&itb6y0i(uqw7MT5tz^6O%MLxAVlVL-X1=c}M1;GuA1Zxe
zh&aK@wcBMl5{*<g6i3rTI8-J`9Q3LMym?DfL5O1bmjrT%4Q-crxF?$$!dW&!+r1k5
z9tn#Xu=p|JV+$;LZ;Esfi8w6Iu8zjS;%!)5C_45U7QeybO1|a|I*3%-1cp6nu>nH|
z5eLFe{c${(V6g@k2Nzdv!vh$$dKIk%6Tup~;U=s|2NAZwVpaU{w{#E@2`t{vj~ao;
zQo!Ov|Lbe8D6};eYco869BxV<OPhd2VOY!;Do4Sh|5h(0di4-$2;l%X*%@+kz@qY|
zNC)B1!J-!k6{Uj+AXxO)XSxcD)vy?UrNaUin}3C&gYXvNCYA6*6!6$1uz1W^jt>?~
zw|XJg+KT8P#4Wgqn2BbE4#K5{MH1_xyRe9XMGAq_>ah3>7I~|D24O@wSmd8P?gop+
zCKl__fe_0`e6%DUk_$sc4<R0I#0-N-LZc;4ul>!3nIQ?ug-A+CPSV%che!)gS|F7T
z(4qA32V)4gB<t&AA0*=?%~?RWO1~(<75G)juPEfuCW`NNiW#<lx{bEZ4Q<NUDdA@P
zs%?9SEgR4hTM~9o<hM^+;8;L-`!>*!>uB$PMce9)miTvYDP}fj`B%&Fihj|BXYi}8
z-8AghzGW+RW|SlwGn@a#Pk4>LYTN3)+sxL{gf`IDAZoV%O8oF|{^A9ElV9!HZI-*W
zZ_Nv9H?_*T-S{&b+SV5Ue#<}CwvJ)DjzPfr3kCtnuNc2-q>=fr_=lk2S8b<$)%N%E
z$68F|vLpKl?n5+RHs;d-(Kh^7Y$c?JXeTz2w$BZO7Qf7fQ2p20{OUV8<-bR1-auJj
z^MtX#qWry2&=U0Yf6`;W?g1jAU#)uc&+)K6roXg~LA+-J1C7lbM4bN|W4BfJuROIW
z*&}e^4~8066S<)#6cL8x3PoU_WNtj!=$agkM1<jnBd9lqgi$lXJ!&?3B*RG`$%#O6
zp_B1(;S>(%?<5TTZHP{V(>!K9U4@0AL&K$zIGAvRA(E3B$r*}ZNYY1#AyVLpV?W6$
z$tg+jzYv4oh7%Yd2HzbiM{K*{qV=#5t8Cb@vHNTV<zJIsM-AQ?t8fEreIXMkY=?zK
zU`pN@VdYnZ=f5KSJ&D$FZ~ZMnNjM;;r#osUN&m$UBs%|G^KMjGx9sKLTQ>X4tVtgI
zbKO{MW~cQilS=-AK}z~>Vnl3UBy3<HvCD<@*smD>;=<p@;m=%Q5#Pz*NE~c!f)4TZ
z_ww@e@$=R8@I(1HKz1m8+aN!buebot#s_1lk7Pz9ZB;T{yHrG>yR_4xp*@2p>u6|*
zzXU0qEQ1vO1%BNqh#!L#fExt<+F*&?2RH2dYeOHB8*bqKy&=RG<#)u(%f~YSa?|ki
zIpXHV582!MpnQFWY&|{Q1aPqP<NV7g$E{H)dwzds55L0_l3Na0cMEnD-CssQ>xxi+
zX!w03b`;ZJMtPp{K=~YZ*j5i#8Fm!aUq;zNZjgr^3LdvPpFi2RF^cAwQB0ekUE;HA
z{4CHAx%p-QLwrznZjiJ4mgz#joAUdF|6}Dz`f#xgQyK>%cMFABbWd79<o+AW1WAa*
z30qIlN$cN894;hIl5rA*z#&b--(k`G3$8X4!qz5mBHzAi*!GX<=ppij4Fh%<D7M2u
zG(;h3q7P9>V8kFMI6YZF6iORFq1dT}|2`G$JTS(XZP9SyqsR^h;xZ<k(8ui17`iPQ
zLr9#(@cYkS&RTRG_f|Q}5k5DFN7uAiCct6AMcVqfxq2VGO0f$SKG_t)8E`!wlsMtx
z;c#47;G!u>KNY(d!oi`W6$^#fYp@dA#^fN%{b6BY5XbS87VBL^wl@KZyKC^aA83bb
z!a9n?GluO8wZopF7?4A(urKiu=+JeSVozmUSnI>^Fp+3Edib19S+!xCzWMj{pHEB_
z;FF;u`~{!g;SbzfVdHd2IkM4neSbFC%E@q-?Tw*>sAxB*O~o!2w&4jXzKuu!`zaD$
zH{*q;2)mm#9JVd|w|Q<*XJakw5aI33UH4Dw`i!?cgv5#3@DbI(mXBtzKBD@%qmQTw
zckmGm3{z$Iz+zy!P+P$)!A5Dl2s1>(<(A<_LA8zoQM;@c)eyDsf9g!8^hHwGnOJ3E
zzd7=M>q0E~H}+SUV}E#%hT~5jq&fVX2iMn;3X<e6Yu}g}{x3-zV<8&5P>Aa`c8P5!
z!X2{C4snOm70s1Rj}gK7a(f<Z|MbrZ$#~NOi00cyBxqJQadEaEjzs(~S9D115K)d1
zgBcyIS|{i8!r5?U?T`$fg8tIcawbn#dy^qJa#*Io*{A^aI;`eDNtM`S_76-=(ogz_
zJ-7G9PP@V;u8M6y5e}9L5x;pILAB}k9RPNYJ6-NZe9%Z@B+d?_x3~4rCcyOEzT5Us
ze;>RV8|2#ho<&c;u|I7;b_Xj%7)8!qm$?oRO~hoX-&8QGPdA#yndM5sk7*Y)lX7+w
z#jfRT@8Js8HzoS38;qqd-DE5RiT@w1g+Cbg=UMHrG($*Z@6wAmO=`@cJ0ef_wBqH(
zJnbv8A0?C3PA*Pj_w)M~pY!3I05O=tJL~#|6~tf<i{TJAeBA^wxNlgGP1h$auzZ2@
zCKBiW!+y$0ylL9Te#*%9Tc(32xVfJ)9^UBrkM~nXyUm!v5!-<t+jHr69{y1oBG(uo
z#_A2!KbBqOpSv3);PV*c+l@|GSBE07-(lDl8ufcu1U1C8b^o=^5=P>Lh8kn<3NUbC
z78;Tr1t>&jZlHQIzj`edXeE9iU}QQ-%9S}>UM*`}lKl#c@VhnZ^j=r{uPf$!Y{%b<
zMmR^Oz&+Lz72Nt;b-b0qVe)ffH&{cY@_NmjtiM$>!>++{3eR|*S=hYsA1(d=V7K{Y
z>wt~gnij<DwXu?!gEm3~F^6IxUV6B+gck^N{AOeNCS`E`Z<o1PuZ&s4KHqtDIhxP8
zs&}=sTh6A}3lp9$)WT~uo1mus^D@Vl&Z_X@Mk4-PLc@h9lHf0q{ly>K(;Ysr@30SV
ze}Z73qlcNYSyTLf$RVt{8&TV=$yt#*<`C9^jh_EFhp-lH65_v_Ls&QKABc@G0>WO^
zLTr>9da$WNWj$ept03U)z_x$md8i6vn*@SQ3lN)5#QN!$9%3^yf!ItVpuLpXBO;q!
zcqFuU?@0>`J;ZKl@(+sX?df5+d4!09j}TEX5&ut)5bT@xzxw9uM+kPY9Ye~ly+cU#
zEp|vE5g~W`qS6%*Weee{<@I+&G85^~6^eMhycte8h3_z#>eUwkdmCF8{FXNh;3y>N
zr>&oQu!#~4u|Ep?`>TK*k|2Dw#UWv$zk`7g2YWb#eY>}PK<MCm6%GyfK7d0V6R~k0
z0I$c5?7c%x2XT0A+*#~^2yrBC@_dI(umdi9M&M}M7zuH_z(D(|VJ>s-gNtJL#1Of?
zvhAP#wlhL}r;?JBHqKbEt6{W=?Z<8Z^v`JP%Y?Ib!>a!P#~9+v_|2*v;`>jn!eI0D
zZ+q<@72>uayItR)cZk#uhK3Bz8s20bY0Y+iaNB7`D!$}`V9|`-!#oE5d2_va-n-NP
z+IhCFZ~m|L7>Jv9gIVZ*?KTj%-VPIi_$pxPal>a{c!@&1<k<DOLsvU`vS3`X=qPM5
zi}>vr|L?P72PNAEk71pc8}Y{8R)k{kLJh+(7=z73gWk9%Lc`Y?I2K{pi+vsm6LcuT
zVEz3O7rblfLp&_&w_*D5=@0&m<Ya(vSa@vVUU+B&_+=H63lDp2!eidhm8@@}e*s(e
z|8kS{$1MX-_=bZwlPpi>j!Bm1)<)02?3+pY>)wR#&33u3#q82f2M5{WU#WEm_ig_e
z&O*G$H@UKXkAHAV-+th~bD@C7YWYv@6R?%&UT$bF>qf2)h4|Xm%hR38vmKT??2f(G
z8}5MiI$}19gT3CHA^fkW9B3cI|HIU}QzG2Sng3oU#HN?+8S}q+x3E1D9mMAc$81}`
z|Ac1P6A$)e3BT>;+kF2G{|v{2-)H<$N5I8RXgHj1){_w5jm^dNr)D|qxdB7Hm7I4t
zD?of7|Gx6rzj^+J_S0<E5BpL74Lbc^Km7Z7`j2-**!lsE!+(9N-ibmxl!gB$Lx1}D
zKpwshC?5?UPxq}ie_OBJgtp!{`a%vU<Nszyq4jsd0?xiiHr{aB|Mn_%>%Ct-$~HLI
zN7R%{+F-b-S&L{js`IELfiyz`K{!V6ET?kd4Zf&rkJK%%+WUIC*{R|XP~jY&$NeXN
zuksq?y8s0^*m?Ol92BvG{QS^%kiUJPoV~NXte2~kEXvtSR6;^lR8}NV#sQMF6B7{=
z6A?k#9~QGiIoOKWii(OzLMUk&X=zardpi+PJ3BEu2Rpw!dn{tUt+Ra~J1W3k_V;(O
zvRs=}v-Poq|F$L{&OiENnRd>Q9}D&mEZRBy`UWOpZS-*P`@_bAC?7ki!&p-#q#Q)0
zrKKQg6%A1tTTyWbRS|m)Nez1$mBWyooy-vjQE@5M5ow8oGLoW_qK8GLr4Gx;$ViGw
zh{?!EiO7hHi_1vK9EN|1h>J*xiHeI#$jFEsJ}e?7E+!@;B`qU<SVrP7+%761Eg~Z=
RaacrBL`F)=&cnkF`9A{m<=y}Q

literal 0
HcmV?d00001