From 1d05cbe1b27670c41fce93f7855b3f3b5ccedb77 Mon Sep 17 00:00:00 2001
From: Manav Aggarwal <manavaggarwal1234@gmail.com>
Date: Thu, 14 Sep 2023 10:56:56 -0400
Subject: [PATCH] adr-update: Update ADR 009 (#1161)

<!--
Please read and fill out this form before submitting your PR.

Please make sure you have reviewed our contributors guide before
submitting your
first PR.
-->

## Overview
Closes: #989
<!--
Please provide an explanation of the PR, including the appropriate
context,
background, goal, and rationale. If there is an issue with this
information,
please provide a tl;dr and link the issue.
-->

## Checklist

<!--
Please complete the checklist to ensure that the PR is ready to be
reviewed.

IMPORTANT:
PRs should be left in Draft until the below checklist is completed.
-->

- [x] New and updated code has appropriate documentation
- [ ] New and updated code has new and/or updated testing
- [x] Required CI checks are passing
- [ ] Visual proof for any user facing features like CLI or
documentation updates
- [x] Linked issues closed with keywords
---
 docs/lazy-adr/adr-009-state-fraud-proofs.md   |  32 +++++++++++++++---
 docs/lazy-adr/figures/state_fraud_proofs.png  | Bin 68617 -> 0 bytes
 .../sequence diagrams/State Fraud Proofs.txt  |  21 ------------
 3 files changed, 27 insertions(+), 26 deletions(-)
 delete mode 100644 docs/lazy-adr/figures/state_fraud_proofs.png
 delete mode 100644 docs/lazy-adr/sequence diagrams/State Fraud Proofs.txt

diff --git a/docs/lazy-adr/adr-009-state-fraud-proofs.md b/docs/lazy-adr/adr-009-state-fraud-proofs.md
index 9e339d23d87..8452740d9a8 100644
--- a/docs/lazy-adr/adr-009-state-fraud-proofs.md
+++ b/docs/lazy-adr/adr-009-state-fraud-proofs.md
@@ -31,7 +31,30 @@ List of caveats and required modifications to push State Fraud Proofs towards co
 - Support for multiple sequencers, in which case, fraud proof detection works the same as described above.
 - Support more ABCI-compatible State Machines, in addition to the Cosmos SDK state machine.
 
-![State Fraud Proofs](./figures/state_fraud_proofs.png)
+```mermaid
+sequenceDiagram
+    title State Fraud Proofs
+
+    participant User
+    participant Block Producer
+    participant DA Layer
+    participant Full Node
+    participant Light Client
+
+    User->>Block Producer: Send Tx
+    Block Producer->>Block Producer: Generate Block
+    Block Producer->>Full Node: Gossip Header
+    Full Node->>Full Node: Verify Header
+    Full Node->>Light Client: Gossip  Header
+
+    Block Producer->>Full Node: Gossip Block
+    Block Producer->>DA Layer: Publish Block
+    DA Layer->>Full Node: Retrieve Block
+    Full Node->>Full Node: Verify Block
+    Full Node->>Full Node: Generate Fraud Proof
+    Full Node->>Light Client: Gossip Fraud Proof
+    Light Client->>Light Client: Verify Fraud Proof
+```
 
 ## Alternative Approaches
 
@@ -49,7 +72,6 @@ Rollkit blocks contain a field called `Intermediate State Roots` in block data:
 type Data struct {
 	Txs                    Txs
 	IntermediateStateRoots IntermediateStateRoots
-	Evidence               EvidenceData
 }
 ```
 
@@ -125,7 +147,7 @@ message FraudProof {
   map<string, StateWitness> state_witness = 4;
 
   // Fraudulent state transition has to be one of these
-  // Only one have of these three can be non-nil
+  // Only one of these three can be non-nil
   RequestBeginBlock fraudulent_begin_block = 5;
   RequestDeliverTx fraudulent_deliver_tx = 6;
   RequestEndBlock fraudulent_end_block = 7;
@@ -180,7 +202,7 @@ There are four stages of verification that must occur for a Fraud Proof. The fir
 
 #### **Stage One**
 
-Verify that both the `appHash` (ISR) and the fraudulent state transition in the `FraudProof` exist as part of a block published on the DA layer within a specified fraud proof window. This involves verifying that share containing the block is posted on Celestia via a Blob Inclusion Proof.
+Verify that both the `appHash` (ISR) and the fraudulent state transition in the `FraudProof` exist as part of a block published on the DA layer within a specified fraud proof window. This involves verifying that the blob corresponding to the block is posted on the DA layer via a Blob Inclusion Proof and verifying the share(s) containing the fraudulent state transition and `appHash` were part of that blob via Share Inclusion Proof(s).
 
 #### **Stage Two**
 
@@ -249,7 +271,7 @@ Proposed
 A prototype implementation of the above design is available in the following working branches:
 
 - [Rollkit](https://github.com/rollkit/rollkit/releases/tag/v0.6.0): Contains fraud proof detection and gossiping logic. As fraud proofs are currently a work in progress, this logic can be toggled using a flag `--rollkit.experimental_insecure_fraud_proofs`. By default, this flag is set to `false`.
-- [Cosmos-SDK](https://github.com/rollkit/cosmos-sdk/tree/manav/fraudproof_iavl_prototype): Implements the new ABCI methods described.
+- [Cosmos-SDK](https://github.com/rollkit/cosmos-sdk-old/tree/manav/fraudproof_iavl_prototype): Implements the new ABCI methods described.
 - [Tendermint](https://github.com/rollkit/tendermint/tree/abci_fraud_proofs): Contains modifications to the ABCI interface described.
 - [IAVL](https://github.com/rollkit/iavl/tree/deepsubtrees_0.19.x): Adds support for Deep Subtrees and tracing.
 
diff --git a/docs/lazy-adr/figures/state_fraud_proofs.png b/docs/lazy-adr/figures/state_fraud_proofs.png
deleted file mode 100644
index 3478e3552692f21146c71343a115a03d881c9ecd..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 68617
zcmeFZbySsW-!7_%gn|evFhM{%Bqt>$Ax;`3l<uiCN;ilg5|f&ABS<OTDbh@oM!LJZ
z^W1a2?^^F#<Bap|{m0(>oHNEZ21{AaXFhR1zr3#NcL%&sl)}G7cI(=;YxpwKk}B7(
z-GG4qG;pxMzho~x;sbwOw^NalxR&4baOK*yN7rN|#nqhk)|0SH@3)LP>bG2Ty?Ot^
z3%pburd3{(n|62n1=3<~7)dB&mSi&-DXJr~W9_;E1x%jH`wM(N3QW7Si1A7)fGj4)
zZE}nB>+TI`v3sw)D4U8;9*uJKtG~KDd#g%xo$&78f4pxI#)>1AsgczP9RK%!|Dk<^
zdhz@p$6hDQX1Xo|dv3F8MDqya?>|Vq-+w<T_}x2@C=9N4KZ~8=9|zKalT!RIIq3^I
z46loW7?14+Y(B$A%(LB}9C;pRhvhvIw>6J8C#+f_Cb_Q%<2|-Sug?1~kLN;*^SS%w
zxgl4t1qi=Uc^)^kyzUZMVvYOFteUA|ycN><%%%SF)Zz>rX|-9kRL-tj9m!g72Ys*J
zwfDl{^CBNQ>cRTZZm*Ygk2YXaS#s2FH`+@Q>$}^KL*f2b^%sX#84lpG!{Jhtny)S^
zM&6Lu?6i{q6fA#*U3W03Jy>F*lwcepu)dVy#U2+7c@z5?WlXGX$u(va#AdlY-7r{g
zHHIAeHhA5CCckFWd`RD`u4du;*`@`Fp0i<@b-@|>1&MXyNJGv2^!SOv>$ra%(>Uto
zE3?Y+j>iR-d%w6t>y9Sf4lmEP_|MOtljy?F)=QL{rl_2!ua6n{;3KeD+87jgkYlB0
zbBb5sIdWCA6lFMmFS}%=cvj<+@nq+&S%X`3>{sBAa<I(1^R*OyZ2RN#U`U_C!u|`{
zYcH@eh*N2a>=4mQXYwcS40x^c-2S*L1zd1ff%^O;;I1&ettYAl;xw$ve(QwVl!jl;
ze4-i+5!xK)Y;1^pkoh8f^ZS|gn0>#(#7?_--~L>vC?Ah``jC=qozapDD%NSzWh2fc
z*=)Cu=ZygSPv#uBj{8mvd-7AR;6P?u>EHf@wBw>%6;qy$4L3>PX~zhybzs|y@bDB(
zlO*1ICn^k*VwjSTtT2#>QrxvuV5d1m$NT+C<X>ij`6u70zPr^gv{h>?A4fA``;)Ew
z_bcrdB;Me&LdVo1W})Aah{aok7Sv?gDNu*ifv<TB(ku{leUGw@+P$vlYXf(L)~D$r
zcnRj(Lf@87^0vPBx|+JWG%4wR>NeuwxI2%s_Dw6|v7MLZw=L?0k&lQRjjQf+u96%j
zyDY~2{9bV9KH8vifkDAVBsx;S`;5R$cAmx6w#X|R=eozJSbDOUP_Vp{@b-I^g)^n=
z^5^oUWVg}HnypP3|D@-cmD9QFTAs<b{OYgx<b1y_E^4;Emnf&hMtFyGjHx{K!!4w(
zD`))5Tgfbj-y~SQxy?~qD72Yq*Hr}0IFjtXD|6(O*;;Bb)U{c?mhb1z8E?CbVyq#=
zf$2PXvr#rwe*Fekq{!^F6m(X)^%;Q(JaOooI*0MC-{RO5aDu1Dsn4^5xn3juwpEox
zUh~Ap=sIeyP1IC8X8e_A^!&sOFU9NfWU$O)$m~gq<EYtTJ8kGNrQ14J=V;87*VRNY
zXBdgI>Y>A+X4`~uM%1goI)-#+)Hc2=v{eg-*f#~N5e#A&tV7{>Jj1^D_WMaDTTwF+
zezD7-rb*R#!+Yga@CJulay2|$k0zWZMni$!j%xHMOr&lmI?o1_H{N<&X>oZ}f8}7o
zbywf0i)*c*{(C}l#gLvGM8fI!OLYOh?{{b#A2vB$9u#=3BygaEQx(G_RJ+4*qzj0Q
zj^V4rMd>#hc*w|pEU=#I!o!~@3QOMGeb+|eREhPdZ)eyzv?|o>QQz@?0Bm`$TXYNd
zA~yb6dL8FUQdk&%zBVg0-qDnoR}+(*YOg#EgvZEf%!;28FIV8RxV#Yy;R$%KPgWBS
zLspemh5}~N{XK`M+t|T73o-hh@#~wV{fds@!>T!fP)u&(&#JAB^IH#`W}H-!Hov&q
zhMBVxXX$3X6@0g?SRX1#38oYoT`*oBF2Wx%SnWf~v9Iu9K3Vw^5eR+s7AH_&wLyG<
zfH?L{t$iKXZpn>1PkwA90yD8wP`4J1S}Sb2!`+-Y>=3JU0D{M`Wl86tT2zk-I;@A8
z0pF4TBo%k>Iw8}iYa(;|X=jq@$zJJBE;$*|EP@2dSezEnSfgj@k&|YNKl=;My1g#v
zU_z#1eRs2*;;XLaT7&IGw&`3uS13$e@zdri=sga8tLND*bq!WKSez{;yv2*#3AS?0
zBcvg#9FL*2?lS(8KCmgH2W?kX6_R2r{DFZlvabgfCdu63Tx~LKIp6Ev+Wp|%vz^f}
zR{UCypRAev70wOZ8S~z>k7sr|C<8VBk6m<RQ)AXOc^8LcZ}XMCQ1mgCUIo5zPV;RL
z(`$OMiH@pf{K&^s>fpz26i(wdgXvNPBvM8#f|NuquOoeqRY^_{H`ZXJX%@_$rz?y;
z96RIi2!(Z!Se(Y_l;U|%T*d=Ik~)wTLo$j582oO;<NV4-t~Zg0wXkFURSXA$B7;)@
z*m2;V<qOf;(W(~?f2346@;x1GgrRaKh)T0}Q@Pp>OIuujRo&T}S<%hBzC`}(+|BrQ
zy%~a*Q0k$LZ-VuGh3{>bKW-3|+I5Qzc?=B4<7K`{@;DsHSMFwi*6XD1etEKlkFSvF
z&NbSj#^U6}oH=`p<*o)D#)yHHD)GS09z}#vPfktW3$`Si{lfA6IL+`2QwUs=e7^kw
zYZ@xZ5UiFgA<@!3A-9tp^WO6k$Temb$ht)9eYTXl_^@w*RwqH0C-|7H2*}(jiLEc^
zql^^y-GF;oDY3~1TV7XV0W$UpTB08xvpfYpnDQ-x4%VNxK<(%+mGaa>=i-kF!@Cw_
z|9M{9jtU(AANH8BCf)nQi&s-_TXp>&iUqtWC#{CY$ObjW%e~uQG(U-@CxZC%<gTwR
zosYm3kKpZ!t^<g+P0ND`!E3I)pYBkM!X?v@-laUz8Uvo|MQzog=}5w;n_lb-5)W&I
zIca{dYxCG&s3m_v5+(&6{N$*YuZTS@AG5Z*y*(!jQw<}1P<=RRkrg*NPk%$eu&7E2
z(R2K9FjqA|k$kW1_?VE~$oC6PF~aYdFy7R&Hc_QpV@`sF0n!_c<4?aMQB8WGg07mp
zUx36b5%8sh8iR%t|2kPXYjwtTl>ZGQvA_^Tp0bZ@7Nn-8{TlnX?b7*~=pnr@)};qy
z-t7f@OiMSdIyEC2>^TO*?lZVf71Zv^re{%#?^*Drwb4f*ezMp6VtZ$8nZ@X9wUQAN
z!Um~*7k&Wk_2pr&UQR2Y{%~8d!Y(=nkskVVG;e4-ARMROIb}tWLeM@oBvf=LRD!c5
zz_r=2iuDVJeD1|`V)l~<5qOx<wwzHc@nQEerMUt>SA1CW28CFd6Y%R=sTU_C-hzxj
z)F6wM+;weA;mneaccj)=n+9T+gO11|5REN$@}VGJ6>!rM<X)kl<zqdM;Kl5|(aflI
z&BnU#Jw;O}vNIen(};`yaXe{@fw<j1{z_!%q}!#?YIgeg%z~_6%H=$XCjr&daozNy
ziNf>9+)7%A0^2z|R!<NHEdfI8cpo^{7)ZcNm!}{~6YIi*bqY1yK|--fm+)-PDhemK
zQba5_?inE)L<sR=Zk6omg1x~vj}rxlhyAWQTt=zyJQu^Xl@LRQM~E>efVkCy+q3qQ
zX2fW3HQj`>J89#kjA#4{E>!AH+qkRiXk6DbV}WYj#}-1vNjZ`5cT}16J<f3QmyY+$
z6+xXd?y{6*9i&Bc8>QL4?!+y@szEv#3+H5+tuQ}$ZRCMXORWcW*1vf>UZ$m-7&dS>
zLQ4i_uW;-3mS(Dctb1H->hX#y;<8Z0%5ZinEH!(87Z{LTPN@8XgkJXBdA6=sEuA^)
zg6fzc3iN?0SUM;-|1k#5iw79J6bQ1la0XgWLdTqN1jtmKGFSopGTiu#@#kYLKf@6(
zUum{zSn62Pd9SFg`!$zRkVR)W5`kNG7TBxX?}hF*N{CWq4@<-LKl&w-cu=Rs;K8Id
z>?9<fkmdz2WZvcq&U=Lv*E?^=+<G=cLDPFbN%5mEb<z5h79r(f=D^-hjq_Qm&(~mF
zsA&<>b;%Z{AS$lip}-ERpwR@^Uj3Kf4XOjsjR74UxNRK8tbq48aGz^qo~Ivs<gY#x
zl6rWP(cb$Nb(BuZW9{NiiQ3wI_AJEZq;@54!qdHgFP*BkG_+Ye&V}HHgxILp)y0I6
zfHdOO@$;J6)Zjcjncm)e<@E<!+K-g7l3l;nQ05G$txHr#MdJ|{mb~N;S-i&}Z#sMu
zSO!^lpC2lel%jT4ept7G*yarOPpZ~n?W$L`M#kVd6OzDuNe>Jf_Cc+)5;BwF>$x_p
zC5tuIRlG*rpAf6Km^Bveg!x_>_jsGAP4i7$OPxWllA#1NZR=;{exIDxR^5@~g0Z0!
z=p80ff@HABuNPWz4*7*HHSV-y&ypnBMg_l(w*|ic2xA8Xg4vzEUhpe~ZhGnJEVsAv
zH9z&Bc`Y~*{_XhNPBDSs+d~QOWFB$8^@@8PZ4)d?gl|6Yqx&tkRbsCDDkVqNGr68>
zX4;PIH;;52R>@+#1s~6k75o&FWS4P4oO<F9Y}Nz<^I=G}$7~Q#>AE#7;|3u#OC;jL
zKQ7;1G?gwnBjlKRhByy8oNlpCYuqqS=a`$Dcu;GVI6sxvX{x%P;anDpH`uu?@tiK)
z{n1^k(NY^c_w$RxvZrEtrN=^TB^RtJ-tOUPyCbo1_p6H|>)tA_nkQp4v^j<QTW*Ho
zf<eEd{wSjhFzFyJ!HK(Ue?&dkXw9P+$HZ^%q+LfTO7Vn^m09q2x_H_YyyYpLj!w#m
zRlGm(GSGsPH;9>ge}7NYezJB-vt56@ekWl=d!+a4cHXp3Xw@YSEQe&rMq$w5UD6Y~
z1CN3y_!m-C9`@B_O-6f-d3J<cuG@s(;yzeacIQSGuE%k=)HH}CgI4r;5QO2&_aBjU
z%HIrPw}hDwf5wHdR<uoWr^)kl{8YF&J96UaOwX;IOXDnh%`x;il799XWq6>e(Y)W2
zLiQ|9>JPO+bYx1IzFe-YW6L9YLyV4W#<E&P6m{8I1HsE~FFV)@LO{_2D)hUcLZ>I{
z_yj8S65K-i$7@U=IWjLty-5~+dvO>PA2i`>Y=+6*8K``lXvhegCKJEN?m@qP+E%B5
z7U579<2a+9SX<fMxaFT4$BAB9PKkP!n@z4Cmw%4O>mK`(q`K!mn+fhmyehRCE1!|A
z{Sw;E?Dp+d9@%A5FOKUL;ceKvw0@7k*FF_#b_9b0g>oe6kCI<ETB`5!z!INc9vfE#
zbJ&=8^IO=&o6mcJ;tGH4vhf;B;dhY{<joNGDyfiF`0$4q!b+pDl~<)ds$<a}tmgfm
zF8x-R!|i`y0NIQnE4T)hcd-1URe$;D5h@!4J|Te)S%3Yk27pr}r{xs~{v9k3djMSG
z>ov`af3)`At{~85XPJJ>MHiKS{k*sduE!!a$oAJs(Z8f7gHx<BkFtFGI|%XLxBR!&
z`2YASi$x%N>%F`Zps!^`cKlxsvXu`vf{L1a?V;B;d(Ap>SvW~81(R6UUYT6b-c*-Z
zZz{_2)5Yqyf-Xla?#LPvefM5~$Ry$|WP27POOumbS91<QDL+Jz{a!A<^bRJ1?jS8H
z5&`Nv;RE^k11#gV5Cv99lAuFzz&*yrvgHn^C|o>pzFceibceM;K9}8jmU}}R9n^)p
z9goK<ZRR=z)Y@Vp$Rf}r`ah4t-CzCvlhR|qSJLS@6pMf|aakuRk^;ki0F5Y(pk5@+
zOCoy_Vsg;<>q=Rzz>ve>&0jfR3Thw;2}<c`DGOvN*ihN`QRjM6Nacj#C^iVdgFcj5
zjui7%{p!(uTeHE3hJ}7A)6*FP)I@Q-2}#Y`A$tq+>G}4vG4pSE<5BdGh&;I%cE_`g
ziYzg$7=)Yw=vnNuKynEWl5I_P+cf+1&{n$k_VTg@rn^X9Bpd<ZZgo9ehdd?_tSrZL
zhFyTli2;?Z@X$!66;xCD2|90<^BI%uRa)rhK)a86fg2T-dsobq9`eSs`aY7&^ZYp1
zH_Li&XY6ggCI~ik5L|Py&u|^bk=MBSX{sI6+W?ChMJLcZd0*g`0MS|)*K33O{;0n^
z;E;jg8&jkFarKde_hRoT$%`R(2n1zdvn-Jv0Z7EW20a8d(juaYB#hCBZIgqVldH?X
z<S&tk*dO-JMi@vuaA-%wEc(!Q|9$9xufYGI6&Q+_ZZ-Tw@n&PRtfavQTS@gaM>T5{
zgd-#Jx3xuQUc{==^m724EaWn7mG{X5$@mc6<2p`xI3)m>YQiL4Dzuz`(zywSAnj#s
z*7rQgz<>CpNAbxF=GthP1<IoCeD|j#Kz-%ybbdy&Sw$%D*>I&;m5<2k(RN)2@M~yZ
z&1Q9ZC*N4J02_CkEVM5IVdTI?c8u=s7lDs6tTh4{>8(kMN4c)^%tyXC1UK1%)sOer
z%R$&ua-y8#C5r`Nz(23FPqyFP698cle46i4GJT*dv;YN9g{q=J3jm>a=wkdGLg;9T
z^UdxkszNUT*k7|={Bs>d&<cPbH<;?MmHdJ_0vM_CDkj1cfCvn0HUdMY>#=AItxIT2
zxMm(HXBi@}Xxf$0A;`am>@Cn2)dm>uxKoA3tY-1J?avVaOKTO^zPkX>vE}jh41K88
z>U({!i{FYu8$53Ny;2(hDXzFltnp(|&&^8xlc4=Fr|#M3Q7#3QCo(W1^C+P#24qn?
zO;9Cl#p7s#UqL2QKF)|oFg%RATe!qFBX>Hgm=z-YFy!f}>6qh~l~uIn8!qSX0Mgzx
zENZ|a=h<GIx#{-QLUHzdbE0MpfUZKiO*z93TeW+NWA1yMR>8c3rlvnUz{71~hf`7P
zR&6)l=4X`aPm~iGv#OX_ubd0{Hq86Yg<7Unv{bvo+A4xk361m*AMeaPCc@AsiP17=
zPO!+Y%B)!gkMee7tm5siUd6a=kQIQ%{VXGn3BLn;Hcu(#X@61$KzXWLsfe~g3LE{!
z-97#eZz=#_maVP9<T2TnJnY0e@5F~Vmw$g#PqSzikU<iD8Z2$gq=(q|Y=9f#b6nR@
z$2KMP1o@_w+jpz$;%MqE=!88{2y{KCFgS-K@qfr^Gb_0^kQ32+Qa17?p{jPHYAN|}
zr;Uo_qN}CKQK0ROF7!>TA=a4Fl!q?k^P<vbB019T;0UFsRd5@yZg1THqA>2&qGHGz
zNYV6`Yr_|q&Dd}H<d@RTfGSw?Oqp_7qDTOst*%tyTTwN^Ol%7KFcH8c1V^XS`O{!a
zLy<4OjSEzTBLF+{^MH6za6ufp92|IfpW13adiR~a>F1A`F4B@NyU%z5y}}z<xxM!V
zxicT3Gzykw@*Nc={M@5GjQaJ#VsuAV{W}#D)6uEf&~xwteETC2jn$-#nKE=fYyD%+
z^Wjo_<6pT@Ocj)}&{@g6a`ajOT(oM9FiV^)iFz9>P)$g}t30idFESCbmwtRw&|6;V
z9(D5q<t@b8JhzewNy)~e6kTEvPlRvLr-zvd6d4@01H_YC*QDj1lCUAb*rOA4Z2=C<
zJL>5lG1VF}@wWZ~afW7RqAC+>{OHn+nC|H^^&@wh2t+Gac=^ZQ`G68ZD*qGKTGmk_
z4<MTOb(a9YQv{IewgVRE!u#I4T?@ywAx|2ut5+E24CNNAtUJ=-oYf6X*aT#*(YK_a
zqybNkr+vs__W>Zz$bVo2iX8jOX&Au`TKxTU=*4n&dWdaZM{hWuXS3s^iwWZsfC1!n
zK0RCSpFXT>`-oq21rY5`4a!JRAr-CR>N)&=xdC3VP173Q3{5QFh@R_8M!rdi`-{wA
zzR~sxpUK~#bAsTDX6kY^yZ1gP8PRjwSb#yFkf3PvpYEg!18=D==6k8w93=cBy!yEQ
z>Y{ss#3tQ@F|QgF6M68+uiQ5Db3q*63xTP32b*qB7{dM3m>?P7L)}A9?uhR9Jlk~p
zar7|+QxqwFWA4Lk_IFpkkE<qK*Q&O})YcRB9u7#uY+cP{uqarBvrH2oINslRShbd4
zGj12Mq^sIpEP-Nr8AEm!yvQG`w*%1fsf)#j02fE&v7j={UW1sBaU`h;H*HldQDR5t
z<ehijPq2>lb)KY8e>?SkQ|RY?IimhwU>P5#-wWRoE}E~n>v!(>^l01;P3AxvPx_Ta
ztIXQZPk=Wivl9!8rmcW~ai9ph<gX0lKT5@SI9<t7>i2Y>_QuW(FjI91vH&kHv%E`i
zt<u$XE|_2N<T<M!KKWvP)4uA}S(iV|keo(FBn(dX`Bjx2lnufIFQ}Xi^y47b=cG(6
zs5^|e7~aVcV?QPWfhR@r$uif>=T)lc)Y-Pg<Y$ZW{QSUWDBZWkhkC9+eKmfUk>Czl
z%cUV@6rLzq0|5qsGbP{IR(-vj*iO?vAbP5)uzm48J?|`LE2ocd*Tmp0S|4ssj4gY3
zobR+v5Xcz<Z1N%S*rgiMQ^Ny5wN+6ucKoP)xmZGbJC|Nu&|io^Cx0o+{6vp5Gmz`o
zFMA=%S8Y^YwH5}{6vD%4O(@|XIpq6YJTDb1U%c9M_;DTk3FSWNF6|+p>Bx}tOW$4<
z=gUC*V(`8=v^-Ex%=`*H@Q1y~5sZ+8KKZmIyMIO+g;1H2B0HAneQkcDn}_USI}b{(
zH76^1)wSeA@f}t3DR>IU;IPJG1{dJU$QNfzi9B>ZeiZo3$)9=pWHW4&Uwe+~=Tr|2
zzvaPizB*qL&EE^0dc8{1D93nT^@iqFvt9g>C`MyRGK_)ZB~RF6uHtYf)U<&3C(0zv
zQlG<NV}gouWXMfV>=oyOZbHvFmuS#z80GgWk_Sx5d1f8gaUh=0kWs+B`L1;{N@nET
zw-Vj93}`LQseX=NzSqqz`1DCAAH~|7DR-%9Z)1qap@zB=Eaah?^ecNUvmDon;Uy&E
z%RGynUM9WIB*axR+m}`AO%YTdgVIu7VEVJ<$1lB7Mv*>PP}+y2P<&Aq?mg_syuVop
zkjlB{J@*=#5;<)5sb{DZ>(6)Po)ugdN#)6$>5NI5y!$1@FJ>#)v_CW0qLvo2FManO
zW|-fdy0R7kVUf*VYW*S)7t8@lfq!WM4)-<!=xq*>4WXDv)X9l+ZbFrZTlH6)lp5^>
zqP_!B%Ua2ws62-c5K)gI2y>oSikR5m5|+o@xO~Fv1>aB2)!X{AEs%(P`g9GE*E_6s
zZT(?*#6f3UBva&MgvuzU0}r?eHa;K6{CvvR&4a`(%G=N5^jZ_mMa`v5Zjf6&nvTq?
zl0k+i8jv9yxFcKXDIN>oNRSN$%ca>3rSn<R0<Uo3Esw}DPE88?1FNvzvtO>5m&QBX
z0aIkYbf?-8iKSJFk3`A3w=kzd=}<w$OT|SUpdd+^hxR9_nk&H6pvQZCavU3im(rX@
zY?`0pg@=t-m$t$bM8D>lcy&AE<OL`QgJoLL+$BIFSeUR+JQt$WbrOEX+%QY){Jf&_
zAV({%T3Uh52L@m2O3Knc-tel8J(Ng4Zoa2vkFSXroAZL)y7Kdx%FguMr#RS}H#X()
zwMY&kRl-<U4<O`+wwtC`@C(#BeBhjHIB)PA_If^NCHG#dKjt_MOI2<RgWIz}>MlUj
zS$j{AvXGU=Yc(e;^VzbS?gh5Ig7K5GqIr5B7*RSQ-Iq^PEX0*34s-(qj?>grbbdo4
z9)V^yJck}>cQ`kEC&^s((}Kw3`kG5~Z0UU{CtEvKyv~npc7*P5UB$N2r2X{a3I+lA
zn6b|+AC=l$2Z}dE)z>G~bX_2lrspHldhel}{LhX*PJuuy&-<lf^!5|TQVr_OEuOUF
zJ3A8@GsGKtlBTBb?w?V%dGLW0N_18~2i~}#*>T9RiLT+M^Q&IwroCW7Q?lKR<k!+z
z-ODNtIXP3yjeb^!1^oE(m%)T@lIIXV&ag_id}S2{AEHw4d3W)_c>I%;grE5fao=A~
zOf_b!=EADa@r-u{#4Ro4V|~%39^%OkRnqrh8LTyd_^;ZLJ|>Ure-AuM31icDqK9<m
z?2HIkfVvNWoYhq7nLN)Uw!#D05%W^vt;G0hnLRyjh@1V~4Fv4?V~xIQ20s-x4v{<$
zUBVEJAE(-}2$(4aKi;k|o!)!asC6TSbTu>lL*Y)3hAoO-7w=XCa2vDzFGaKj>59Qt
zF~h_0h{iP<2oC+T9J>6PraMBUBJ_AgXU#pV4*rB>WahnYdtzViY-<|#XD|s_h>`|R
zcLzsBI6Q5~OoxB8lhnM6UC*-`PdAq$oyGhIT>(&h!3cQueOd^eC=rYi*CMnQ9(nq7
zH|fiq?`d#qgfrzXg(UPizog`D5|@3cWW*GNVWp%yg%KsK$cc}7#J}!~W~F)d?WOFb
zIk;4xLT;vCMxL=6-%m~aBmPn7C<Mbf1r<#0(pnC@Bx~gP!i(Hd+CP`ZsyB3ZiX(<3
z?J6*mcVFj#e5{dc3CEj<gOu)&6#fZl1MD9p@;<VkBqD!$R3rDirPryN_fQCR-?F1Q
zUP&<AWA<dzD+}~lDQub|B@D=h8==@#D&j4ND1wn*(v0geb73o(`<vmz?7`SXQAvh!
znH7?5`x>$G879^&&uq+i&Ucw0c-nik^HOAKB7}&$+qBoEL^FOJjrTV-$E0+-R35|d
z2{?$8xOlqlnad|7@s>}Fd;_WajO>^rWU(x$UunLMGNUXO)~Ui4vBfLti&*=llk*q{
z`=IqGjFTb|7Q3~wQ|ASW7)bK7B3qgk#CJ(4*(WK4_bK;z@cPk_Yg87NBiIk@5Wb$-
zy64-AJs-EFoU=vi@Zsjlud2+ZkG_b#U+JDD5qGD=7y0^suHRENbH-Aey?6#-2GJ$p
zIQT-Dw`q&o{gilSU6hEro%krHol3?{AhV-tx@a;h{yaEyE(cH_74Lbm_P^6Y>89dn
zQL(R}$D6xjKi?*K5fD#_d%ish{^kqccI)8wca>N&w5JPj_=NayI@Qq%gWe6zTqUM(
z1sCiNsZG|rhuRi-E9`69vpcs$^1GOydrQIK>+QOc+y_5gS5^$-uMyBtM)MGxX{hX&
z33I<qX$f&ZA>En2`4YX}k07}e+Z^S_A@m%?d-!i*kTe2ZQQ2$8gXEmQ16%gaD>**~
z8rl&X6ip+ZyW>#aR$O^$$irM+6S?)9X*{jpO8_bB=LI-Zco#GNV<YjVKxL9u>^AB&
zc`5Pt%Nd8rnU(-QlDb;?8|jvp4I^p-gxZwLkx>*{8q%#-%mf4mm&q{Q2>8G&sO;~!
zMOiFzEKb+fQf9{iaj2{Zl}9M;l=5y{Nu<k$Jsk)`_C1fN*MGI~h!MZvP0Af`x0QkI
zrks_6L@&_IxOzQ_tvN|_FVVQ<PJQao+gO#&l3X=i^Hu(MURQfqkzOdFP3E(c=Z%PY
zYLfY=oSxhVhNbb%3=i$Kc=;C$6|knx8e?{PU0RvU?G^m=zdaXT*`GZMWe)4*g`gcq
zg)A5l!1CX@LmeUYdG^UgHh8oo1N5UB_C`Dm5dRmd^$|J+faT-JEbJ><5mJuVCMeym
zslrTf@&w6(mHR04)2*l>#_#VcCS5I>6h(v|o)quUuHOq5Dkq{p`8avW{rw?$OYcr6
z&sz0DqV8)))BE^g66~9%#oW)w3qQN*D7?LLk=pj*q<S9#`^2%*Kyznbg6ragpTJUt
z^ON2iH?e0i?55mWi&)DU%6Y!KWJ}%)8gyn>&2hTdliuiXZqJ<G5K2VL)LZ>t_=Hyg
zVZ`<DXV(L|%U|0<q6P?mWh#yKb{o3Ik2Gn*_aP|LuZhCKF3UD-`uZ~+(qyz&X1{r5
zV6I4IMP1gHCdVP1!S7>sxC&yskePa|QcM0R><jfI?&`yRy>c+%FH0_jJ3|Ke<Wn9T
z5O?h5gZUGP2*W9b(&_n}u*|<|bpfOKxD^IreUDj}VEAd?_miV1-Nhh3fc%d9ptD^g
znI4XhYr0)bc%7Eo{?^IV1F{~^npc_UeCX;nFe-eCxPvMRuS0^7s{SRN=g(uxVn;l0
zIN1Y-$JK5$-3*>{=dM3ZSq*eqcXYnoIhj%pnHiC!*qtS@678{>F_zT>i9_dGB>Z@Z
zx~=#pscKGq0v)82ez<nef&ub$?0j40^9VJ|DTct6fM~V5%W_6$uhucKUS?j;o_M!N
z`lG1f(|qPHn$d_wwVTBLTo}#cO64hR^X+^A%>jn}vKs>r`0EF**S}^JvGFWz)&Hbx
zuTjxJK>9(Am6}r6{yd-dV;d-liIr4_+OZF!C{+67kqEEl%pwL_#c|*aPli~IhC$JL
zH9i-ou^zl2%`Krw>$7E9WZcmyH)DgY7W+mT%Q^XTRgER%38##@Z9_u$SRcQPi9Zcq
z)PX0h@UK7Ah#fADHeo-Aoq7m6GSzWhALbI6zw&xBNKdPHeZ(bvimmboc{JkH&Lpm2
zZ--2V(M&;u{Iz74fpog=kS7k`G``2xHNJH*uJ2ul<aI^R(XtnHQ0m*EvMp`;>b0_w
z;ZFr7sM&!+laG$pdR#(O4;e1pXchve>wXz);ztL`HC{M+A5KMfiFgAIq|#+1eRDrS
zpG5|?2jN?~1%TRpItZ8d%62ng{E&#|D8`n1AbHGy0=^{3?Ts|DAyS?XVp#W8$&y6h
z(y6mD5q$;aF&sIl(QXX988fr#9+0(3Ly6Rr?<+;Z={`M1Nq4bt#!<`oaR~J@#Tm7p
z;t&r$jskKkrcS0#T5z=$S*Q_4|4aZ757I#b9xDYhf~z$}!Rbs$j(**xr)9rE@z$E{
z_L`@&E=GaEi?8U1lb`%=O!@yOD=?&i?9Eh27+vJM;ZzT_SC#+>VrK-rP1$#kGlq_r
zS&B)Pv&{i~pmQGs2w=oAnIN+z#@o7sXaGCD$`5Pu!!P;#?317FG)#5~2*(nHU5Xu6
z`dUDH`Mnw*Rwls#x;}Qf#|5>;!Q}kx79&3`J#Wz)_oRx)bz0y+_6|zb3-k_`(?c0p
z`apYX?t@L>xD*0NlxS`1D#@W<nKJ6aU(lb!1@)KaLG0DpXzHg7B}p+=W{Ju+h6NMX
z5h1DbX<pp9F4H=1%efNE0t~$Q24xh&*<^Kj@osh`oQIJ>u%aAzOxX+v$`s2<2F5+T
zGNAE?3u!#al*N{V&U#0~o9ABUq|-y9XyT^UfKc{c4HCHnFp1v`CO4fffIKZ2dp|S5
z+MG?h{Fh`hkS^6U_h*y?z)wDsS}yK*yNO`qx4OQAs;^e5X?RBNZ($A*x5M1A6%}d^
zbu_YIJh~G2IA3E=@MR8O&q$gY<#o>{KLRSf$p(l}Ag_^bjbj;ov<8i_z+(;}nKkDA
z3_Z`2g<Wf8Q+lRil6mtXkg!%HsNA=e)xwr|gLE8;k3^KdrCd5igWsMPr)az__t~dA
zHj2NC1gJU92bjn?4c=b>on;w7;}+<KIx=x0mEKd?l9>VQ%Ibu1MVhev+I8X{O2=VC
zM}S(GJmT+=$iUfl69R}hd3`+q8DC_ue_I1`YP8C{9S`{R8;Q?|FOopbL!_b0=Kv_;
z0m7kqEF>b{pdcYZ7P`tXFv5{dM|;MlawkDb4B0E}DOlr(UU=h_#Uy%&S>Nw6ddSxs
zanwM~DbExc9trql6^w5`GZn!(1!v>O#gNMP)*b9rWndG&f@e3Q;BZk`hv6PLEWS<2
zWGDm>+m7q~wIy`43f0x+bk7_faf8#x;eLc7iNO8I8aRv$fIy`pr4vC8-r<KjYikx%
zcESsj`cx!hy-ixck`f%Ycf7JbN*D$o2=Rz_iiUrYQ6GwiXWxPQ0Tm$k=NB*)wD<=%
zmpwrc9K7mpVS7UcrcgN4sXz~LxVO4aqJ|8=AZ7m42^PkbQZz|d2&}|tk<wll62Y^w
zItrBb-oMb=1cv(^(z4+Gn7x0$R%Ha|q_9!226Q{_VRcmwUAnbI(!~c^XfYM-LZJ&d
ztaC1_!~!gvve2Q~q$V<)L04CZA89kB>okJPm}mf?;sT)BRSdr!_5+`P+<+E_C}d1=
z?|YNvFnCQao94HWcaq~Ms@i_Vh%wpOs4o4*i5<+KlXr+`bqgSs5haO_YZM5NH!7wO
z!;}EaE8i#|yA_S27Aa;;m!6g}*zymqUkp<PJf1Xu9y{ybbODbr4rIU$rr4<G0AbgE
zzVL__Z45oDjsKAl04>3b6!26B5T_`uza5G`aTqx&mecTq$kq8C8Wz?7tc>c7wA(`=
zKd`CX4LIu0iw`!&hJYg}*C3X=Xu^oR0r)nh1;~JJxy7=wPCc)mKcc|kpRkW`*qWRG
zbZcA}zWwj`yT^d02_6Q_Q88NI96vA4j~@e`&Uk;hcMvco2|Q*<hvgpXasL4u)P6ET
z@Q!EFecdfoc7zzVhI}0(?T^&>xXB2@H##LMAm_fK`RpD`_blp>J$Set+K1LBbP&VV
zSIEDAE)7+~{s3Mr&eP@w;uqi}K;#;>@;=T${!5yIHc@Br_3391Ew6)*{Qmpve=hC+
z<I;5m{~>oeT**q&>P{B1%8Yx{aZ7X|{R1W-cE}T+*rc(Q4XB`5xL4a9)saBy_5&mv
zi#)Be;*Z2yOym$1cF9zE43IIZJ3-1CEHZ9`cJ~;%JlY218jzwSG?U^UC7FuEw55ea
zv6kl3|HHy*!q73o)zabhKP5PF;5Am`)!YIqtG{$Ik1$q19Qo4rN*#=P{6|>hT@7@2
z**^=v_5A%%aANOq=~jm!T@xTDNT~zEK7%01?)xuy@Y23RvjC~$KI=d_UL4J)J;+K`
zU4--HxdF(sC1@rM$j_4p+3a-*r9WP)k);5@IGQN@V(Xz>%7=;8(`y11?mC#Er~pFb
zEWWrNT_1YjXQU#or3Y(6-3$ux^WX25DWciYB==p^AF}^$(JM=GtI}{QFpjWU4{{k>
z**bc8@(Dc~aT(?9LQ_0XQHK*wQw&=*Kmsb{r>T$*3oZup2c&0?C7oGF9AB8&77B+g
z?Ld_h_|GqmHIYBfpUxjsr3jt5focpsW?2&KR?q|p3sXRD)kFk?>5hJMqMYu?P%`9M
z%Bz?xMhC5UA4a8QOQH3`XHE5WKoEQg!1^&Pa?74=y>JEoiPA6rkzL}hQqs^q<8O~m
zd_cS=w|T)ni%$6_(Vw`149;K0bB_rneYXaX#lwI!HU))CXvD1)ARn<rix=IBI)Ms5
z4t-rSdFZWfxb#`1s-jIgtKBaysg>I%(>O9PtPiQIUt~c_V$stTehyyy{h7h-J|u#y
zvA{=L4oZZ1g5d5dqzx7B3ueeIY9+&0KL%vldgE=5(h0}0PS^cqL!hCo(0$i%bF&^z
z<_&7U6%pF3oU;U^q0<uQLIA%G2ha_-x?)Z`2bXf{CtwQ(*Z~>1k+JI_m<U<?;w?%N
z0*|DHfY~2j7&n@Mb((O9K@(1B24EEMt|r=+MIV1^vqjLQNAEjqnS*?z=2N^Gjs<L&
zOwGbeK?b&AeAo64(2t~ngx(EATe(JiT|xyE?|xh#1oI-Gyjsvn7l|kRZD4PVmh|qv
z1G6Qg;ALBNiyS590rsREq@1yg7(H{{YWpJUXMUC8;lP(h0~nJ{+bG>~BZ4n4&c<#%
z&YhN=25V|_dx|iD4k<oaDVk=p{P`1EvE-z_$H7ad39SN$a5!ByLXch^B!sG4F;H?)
z0pOGfN<$kF7O!OKQPQNiaD(AOLu=ngMi>j}j0SkzU|ym;?Fz^KuVJ_QsJzY%(eeO5
z5D%imI~K}-#~4HdyS7J<lZ2eg6RfLI#2N<I(Y!F?;K3JQ<t+*x<{|KR6pmqH8l*N=
zfT;)h&f1O^Ql^MRXi143DJ1~&v1+XL)B-nU7M{1^Ko2QfpgNrZcqoGN!;f~Xpzmme
z-ia3m88$ROS%~2;&xMCqDgmiMy2HlkZ=il+W`u-_URI(fy6{tuK+gIO=F@5bCpRID
zOG~|Ow9qfOmOBThUy;Td5`T}LL#yC)2g_^U81az~)h=;A@)HlJSNgtuv&aI8HJo8$
zR972a035tCk%4_+3VkTh7c9+*&l0caJadyD-+cOqxAjHys71j>rp&?mh+X{LVv3h%
z#mmRY9RSi-UAY6wgO|i|qy{kfq(`$FDX04@##3M>sf2D05KN_iOnr?2Vt)e^qtarZ
zcY&0NrCUw?7csD#^4ZVhkxC%HKm8_5!HjBGE!~X)3ZW0NR$!?CqZ2xUW&#UESYvkd
z2Ym>h4hLZMCu?Xokljw{65f+Pf{J5iFr%E&<1;`NPz0QMR3V9`=v~5!Dvw$`H?pAy
z8b-SNV>u{Ojy@Yx@Hr+Cuv)tJnW|86@azGcYQp!Bh(OxkH)+8e!Ts9ARxv(Hc7;$W
zq`has2yCCb;x+45`}9qZI=3S}J<m4RTf`dNjp9w7K<Cg(TnQ9Y9uY`y$>Xwn05SSD
zMnocRNb+?t7iFL|1iFcpUDsj5PgTzsfLi%ojXamgw`dt)4POe})IlIgCyR6l<pG6e
zU#ixbg)G#Z$|uYY6hNf9<<TN&!Tc#!iiVdBpd$sn9~CWni;7<C_v5$Wk@2*nl@&)$
zbRS}lA0)7U1h`k@&&x1kqM8>)T|O1bj1bhcD|*C>+|baRgq9wR76h^Z6W)B9OOhjL
zv^EKb45<$@=paSmE53;!o6NHsbXea2uOl`}{I6Pro2DVg?)-S?5Y3x1%U@0q_saE6
zFLqAnrW-Wy_b1KLb(uuYfY(z2az)l5!_E^I76;ZEvm(-DD_g>NTM#C6R0P@oQVIj_
zyYp}Fiy{Y9M#t&(Ns)%ZLfH}e_i*$q61xv#J@PSmuAQNU0dY;Y@ZPTxwp3dN3|w4J
z1rP*6TC17p3ES^oAA}UwP;Y6f-1>BlBDOht1h1A~P6m@j<`F+q86~l%wL;`C>sPP(
za73Elsk-{_O36{Q+uh4=S|f?TL%}FsVLs6OvrJ6222Qccx4-hBmKhah`K3+wZ~664
z-S72<^oQU>%=_;iJpc2HVwksZ=4GK>qF3%WIk7Q^DUZP16e3DBZ^Zwj9CpxOdRVbc
z+<6$(v~m-KghL>#fs<uJP0(W;qd;jxMt*Y(GSlLxuImux7!#<V#5nK$157lc+pF?^
zMWF@invQfFp1Y*N&V_kpgIeW4_Tn!qh6yHE34~6U(<kIy!8GE*d)dr1xHl+2eJWm;
zY|No6TcB0x#t>TgOo&lCP~dfS`Fd{zNMa`VDrzY_fSjoH`vfRrSkBxjm@r(ZQ;*>D
z^eP=D)Ys9ORq*o>+!r#G8_D8?Y#7U5!By*E_qH8^J6EMTA-=@yyynmB(0mQ-m!(Nr
zJ?AMfpMyB{xez46{6+qh8(2;L!<?wvNcjDZkKO)sv}Iw-jSzGjCjBTfco@8iqVR=T
zOc@w^W8|2;EYy~~di_l;7s^zgoenY*oMHP)6Qse8-GSd<(G7~o;O|;sQSqf~TY5;u
zX^_h*J$ocV#g-Z+Ekai<4g<FVCBk`4%Li`55?=L092p+Oxxg2JM2!2f*FcVt%K19d
z&|-4Ah1_Cr?Wl#EZ!bfE54z@lb77Q$@tO@y)q&1|WN$zY0k>ZrKv_AFGMXvC9%>2l
zg@P}*AmVq?{b=lg*k2xkuGUSRn16du1KasPU{iQA5-b>)0ExBfl+B@oXa@N1QiI86
zoMaI8kMCk@i-C_mNBwJ2Ws%`g(o9t7&h3B4*Fl|$Hl~BEsVQ_AvzYqs@#>hF>H*!m
zNtdOO&z~sGK{SadGynbdgZf~G<RfxS5U&KZjRNQqOL0h?`2ex8aw{tk`}ypbdxT$W
zyReC0Lp>@-3)0Z(e3l;L0lL=9HqCM1`db-_7Re8QccJp^+wK3@K5zmt4>0>RU^4#F
z{2xb42ZN>IEv+v6o14DJ8DIn}?a`{6@y`->00(%`u+1`{T}z)6Yc{`$H_IG&zuZ_x
z3!o6uVNhyY1+kUKc5*i1mHqVJWW``6JVp<0qca0YkQ^C8%f&Qdcf8Rl1<;P{32vKJ
z{Z-!iTK6!}#S`He81@-j1VY#Ux{ZSclfAxyg~wSw&`(_MphJkkUJW|9ckga+#G^a8
z_Xo)c&bjy~6&YwT5$?h>jycu;wHEMxbNJ4mT7dsE#`OQLDgV!1{bdvalx)3<A_r=2
zvjL3jU@ors!7Gi1SK3y*YhWxE-Gv{Uu7g?HLtrSpk#<0xSqg^X2LM=jTN`MdC+fkT
z0DF#yBPL@XN%TyC=F^He;x>Eb51@)PK@YISJ0#Vnu%g=CFxU96kO)p=4ipY|z9#ca
zYq~jLf2E+-?*PGF$l~|cm;ds$Z4l>&fuz#}B;TMi)84cX>dA*HV5TS;E&oJ!8Z~Zg
zr9Be))*_(R8O%{-JTkdt`(_5vPxcfri~0#DM&A^boB)F*S1B4c3K{_=)N<Dq(9o@q
zn52}UA{fVjcE}nnP5fhO9VphufHuwyMEy{Ylx19Sm2V!P^K%3RAkUhhi|7f^SvWP8
z4{BK~)G>8<B@tEvN3aZ_k1l*2t(n;+OX+9>;8*izM=*w6Oex~(tE&-}zl!c!UoxhX
zW62p@91J<(o0IkTQvCvWWM}!P`C}oVW7_~;gOWTU`~XS|!}wZvu!`v1Mt1Ugp4xgB
zX#>=9V_;6X@7*Z?4J|=!R|0yipX^ohNEm%n==(=3Ekr|0vDr*Op8%6-`*-9J`wrsj
zE`{jAQwDFe9QBpHhl3ChA#Q*n<%G?3fB}=K=G4M_4BmVtxT*sKzU4q|He%C8v6L@9
z3N{k30x(q(sLOs@*Y3dhJIX;(I#OuZM3#Sn9zf@6dpOtZmm__)SyN!q9-%0DVeh1y
zX_54<5%-U2>$N1X<$xo2Uh)%NmxU;+^k6>dm-osDe7@lylU`RI{P8xR>>PW4{f1?u
zFD~D^X|Xvy^j-_(-qWrCu}#cJ0Er4PwG9|+yXXSjL)7tX5Qilgs^WK@lbOGvI8p6j
z=VdbN0dQ$YpkAr2=kAc0BxPfcL;y%>DgdwcY=7k*cc7ropOwa=HIRoiL&J8}l`+tw
zKZ|*8-fwP4oAd>p)xki;Tx0f<XCLU!v}(X3O_Z{eb>C(!e4pU>(H&h~<@a8IVE}%4
z0aq~DKQWNbJE+lgdbITx^c!EbmpH-R1Vh)B>cO4?Rqkj(tRwKDQJ|FDgsHVJwUWPG
z&wNWw%hMsSD0+1gN^T|2(mn*5&-F|vY7(>#`2yJTCO1rgbc0DAjB9TJLCx}07$<xE
zxh>;e|IV-9@&$w8zrY-aH51TldR3Hk3H}ULd!&s6>F<uk@Rim9li+B*bY=aX7fh=1
zaMEpSf>SqekFXY0Kb<lG$UpOgm@`;}nHDvA^AFcVt^gqU&VoRrT{^AE4S<#kcEssK
zpsW5=W<4>=yB_|3>*An{5W7y^m^#p!StkLXJ)gepl5W0^{csx72lj;aE_WwSL=Dzb
z2swXO?BP6pQ-RO4-R1$h&1rQ9=p9YiP~(aULIVsJ`}?P;{xq@*G4Z{D8^FK;Y2hqV
zywNN6BaIe9AhI78k&TvMq4myAEYMOg09f;J24QXwSc>53FcPBIX}P&gV&63)dO=&v
zNF0ez_{T8uAAk-{1W1X$D!-})-`&QybsfH7SK-MF$0WKk`C<ghaYfQ-eNUH)H8uMU
zER4P~3w8d+_i)bDX(`%DEDI*|4je)tmP}M*l1(9`kDHm=K_f7oNm4XM)SsrIL!s*?
ze&Yh{1mbk!ywgH5aYuuvD@djljNV%VYd2}i#yk?247)l1enq{7&PO>E-GYaDUL2^q
z?RD}`_&;k4p_u4WQAQc;zXl!9W+eb{I+L3Gac7$yG?pYFK@*|I7fheJvHMz13F!aK
z^xmB4(ihM(Pb(IdL5sHP8W`0``wpD3ruFm&fv^Fv1`C#(U&QNyG-nuedCQKmEb?Gt
z1!>{jUwH+94xIv#{x1M@73lm7oTHxnqZoAfPIPO%62g<y$QDS1t9i))(o<<wjAH0d
z41LkF77Bk+0om9N(DNeOY**NttedFQZ0a4B#!9D`|0y`@Pn-FeKzo;Xle7<v(kp%k
zZz##Ma1p3HCryWS18bp;yP)miZNICU<=+pgrPaa6A5ny)^*60~xb>i<3t~SsxNX6H
zC>ca^torsq`&QVMB*fpY8@>0nHb5-$T6)y_rZmN?Tc3UaDe)pK?L?&iwDR3-d=wI_
z1T2(tW76>MhIiL3$%S+%=3P8W`~B^#GKHcP^X6w!gh9)9r1$%{75sULrLp=`Oz%Qz
z8nkdzz^lSA8+^t?56RV>wj(y>7U^Idlqux%@e^8Li^R*{05X}jE#pb>kQO2uN)4y}
zd{(2CW1LaA%wn%d<NPx->6(-n(c3JH3rU_6m!s>$2nLwYa4XXH1!rHAU`$4|RtJ#h
zJTMmLhe{gB8IW@61|C3iJ5zIUAVI_79j<4}{ccc}z1*IcUzGp~m;H3ld|Vm)jkR!E
z_lYju(>SFHss0SgRQh%vTKxmVobG+u?fpXT-~h1ULT7-P*dMA`x{@C9k=LU=v0TQM
zAUAO^Lp*1WQH&{;Xvj{xU(7hEmtYWjKLQWN0Jgai;=dV4bq(%|B|wYEGaJ{+ixw&?
z-yP)TT>a5#J1EZ?FRrPPt4Q!5<-vEmW;rZco_U|<pxyk+*<0$Kq8)dW*q=Y0ZZK&M
zsQZoT2H5Nz%$>AOoTu_m(151DXOB3xfZ<#{*pH>eaONnIS#`Wfx)%-Yva%G!(4n$p
zq(7-E%D|ktf*p-^be7`s=rE$tKr5Ys?l(=$uk;X}FwI!q%I#P-^>ADm_xT4ivi5dN
zA@-Absr$!nIpKI@r~Y{TVeS&v!(XHQ1YA<HL<MyN9q@TBS56pv#Zo}lO^oC;YOudK
z|A|@OAB$#=#P!Ur@I5&fbK+vlQZU>38!Zy;T^e2l9T#tSIMx;PX(m6l?9(DnO2S=^
z=ybeX0&z>}^~x5UyBsb?)dT3#w(v)?GEtW?HruWqhYV7gBm7Q5A`-D}!~)8dOih+3
zI$F8j?7dnwIjHa($G};IUH@yrJ78;_DpO3;$dc{&iSXFgNVvk?w*xR8jrCta`?B=J
zFZVX_VFc&w8aUnKcHJA39^%Picgq70*3^f&g2Jy8zoEtZ$g%U-q1*PUiDc81F@Tn>
zhPi&G$bBar5fdB!C}*YxhP{6K|9b}rg(dC&jDG`h?Xq-{1pN4n8@!N4R*W+A>e72m
z)Chn$-}yOa!j2wvg9<nT5pdtTEn*!2#G?yifu(~_zdm%K2koTAJP+u|=696=fAVxz
zjif3PKJYwttvU=~=XbpFZ*!oxaUtuhh5d>A{c%Bs7?uCBD#u4QB;=1M$e6ie)VUrI
zMLz_9@B9;IhhzuP!#((C56C0!_u@X|kHO+vE^X#|aAzmMx^+uB;I8n){?Y7_p-j{6
z>;u(yUA+V{e2XKHj&^G2+tRokxV7)-p#LUA4T;E=lsM^$M=-2j+o}Z@y^^CrwR_>M
zm0^OKllDI~r%we9*ntDJiQgon=NJ88x<hIXvo(amf>tV|REpB&%gjx?*#iR5NRjdy
zR!lgSfB+?As7B;1OsHX!<Y4)U!m$v5sY}db9TvD4wTS59J79tdOlCgTqj{l>0Y*Cl
zqqRuxdH;zI<^MYa4+wx$CaGV0AWDUPQvV2B=0DkqZE!U|^A9-l??DE`7FQwui?AaD
zEuk7j@)0)piU1C>nCZ{2{IT&DxFztM%vv3P4f%>$!=SC9RByqKF(qhBPpiy4qy47z
zG=PfB&=a8>27PJIgRaTN)=C3~-FmV8A{s;n<LpI%5EqdfQPGo3rSk^m%On~Zm*c3j
zM;SYadE&??3I6uq0Qj*1sJ?zGwMO;p+-(nrBfyq9rw3~$5ey2&cPIqsG4i31&>ui(
zZ}~5Xga~CeA_JZMosmnKcLay?LOax%F<g~k%n~Q(I$NlAlkr`og$zuO<|XzCApa@h
zVA1ujfj?|=+f>k)SM@(%E_r=I_6_hhzdr(h%xZ*Ypv?qrSbxV2!r+)!Y~T;7S%ce5
zz;#Q(v43kTk<=)hOYQ%P21F8`R{%qG_xE8-1=sJ9{ksE%HY0b?8~lLHv0ek{$f59l
z83Qc>eT=`cNVEj7-GP75ic*%SZCe{a?N+kAb<yyP2fU;tAQoW{*NX0g8%t;ZS1$yD
z%j57DPdlO!**eaaNW7P+!T@lcr<Uz7<^pgI=i0}AtOOG?q-9<L`8hBGJ#8-hT+SsJ
zzy!XURA}1sFG^D?9oZWR&>J<IU9=J)%apkQ#IrSEWap$q#l8Sr?;EPiqJDAQx@C(#
zn{4EtX9MlAJ~pTq+bW~!L0CY3-_%uuf<Y`3u-V%8qSTskp0(VPQGiXWZ_ZQ+<vVRn
z@>vdZq6d*Tck}VCsL=NOOb^$zT1}63$o~7kR|K$y=KxpWLl0pM<|TCU^vi3`WVx$_
z{Q&b;CO%mB#Xx(~2Q(C9YaP<9AgLH7MO66ELtKJ}_fIH9J!_TKg&bBRuNt#49iC4E
zcDx*nZ;dU2exsVjY5C&?u-kR;KSd!FLZdo%oex}XUVdk}2kcZWF34K_83vfGD|6dw
z0r+4?ba0Op)cuL;!RpJV_T|C<aDOk*jG{}Ty&68wBXWPNMrCt2?LM2O#e4k<^j>5C
z`te4Kx&nGvn#~E1K~I@z%0o{M;JfF~jtKvAOdmKV1G3_exN9oQM+br6B8&gn@8VzA
zdc%Nv!P`#ZZB$H+YS$%=GW_e@@6koyaF;!3cgu0_F=(6}Zrr#db3wcTMuQ4L?L9vH
z`j#0}R9Z0?=$gp2cbEgjqH%M<JmVh|KO(O7(Iq*x0brk?VNG-3hJ5h$yS=#n*Xk3R
zqYpws-JmZ<uc}-u22kIIP}_RX3(LMQGJ~KeWGz&sWRXwZe(k=XH~F)5d#359$n&-U
zF$J7u5eRQXe!{Ew?<XUaulqx4eJ3Nr8&WYN>1AMI4Zqx!k+QJKpLyp)=%{(oELe(^
zg-Qf1i!Ox!BZ`A3rpHMF*0+!IN&6}A+M@qPVIu!Wa3(+y0QFm|3s^QsK=f(=$0=!4
zI>~<I4M^BVKnxNK0e0PTG0r4^I?92WupP@A6yOtJR@4B17#5)Q*6|mM!weDLl}7I@
zXI0t@d!78bX;*9-lsx=KV_8a6+Mu=D3wyo5C56T-1dP7s{&P19U68^D9FAW)|7oIs
z*m$-uc-aeatAYRV9kh;Q2w1%Xh35mkKfCWgv?nZRs>&s^I_=MP^bdG{fESSLST%CG
zZX0FjzS-O<N9@}=0A@BFV+4V5m({4Ha^)Wx;e&mT1RdA2Co)#+Xyyyg(K~yM>6(M4
zqswqJYM~XUu;zZz1lTF8tS0iSObgn7K&xPNae7c96Twi$_6T%Mf6A<i-a3I%{l>?s
zvT8?|pf#;7z^J;3#_##;72bfH^anEa?`XUaefqx#Wd5H+=Kco|H{q8*qNyX8pczGv
zW1_b!%qwiX1)!yGRY`qci{wVpVHKOwIh6uze7HGj(+~D(Gc;~R#4VPBy)nsx7eMl#
z0Ggy%M<ZYe(@ey5|J{PQ;wgYT&;a%y<~EeCn_!nCpZplr4%djxfr5IZ<9%e)Gf<A;
zX@wL6R8P53qTAe5dl)@eTn=_Y90e)D8jahb0lLEhRizQ*P?0xaUkO{U#i>5|6pzC=
z^e%*o_xVQP5yKUN8>Rj0KvP(b=8NCNy(R`5UIZ%V1N>)#Z`j}lXerLdd21Zj-k|4>
zlI*$!ina(vye&Y+nMn3H)YLZ1h>CZ}V@(EkVx$(CWsAPS&yn@Upu`H&OtuC8tXhiE
zZDEQm0;-6bRwxHV2V8|L4QwP>F#<5o|BJde52w0)-$qN4AwsC76xI^S5G_NfjLS05
zDs!yNR6?YILgrY=JkMhYnVX2EGG|s2nLVYHl<e!)^ZovwzQ6Z9-ed1~AIH1*KTprG
z*0P4r=f1D|y3Xr7&+9xidoFepzV{UvAohwQei-?nzLI_)rgCZnYUUD^P>%DjV;*h%
z8UchZ@X*~A@+WwBWdG%t-4_>-79Ntqdq_*D9Rp@x`sWY-G$ZR7&$vg@8bYkgnrka^
zQ&J-s9UWNIf}OE%ZGl}5NAUv5qzhsgToBDuu!s+2;&Rl?Sw67=9uY}g0K|BL&Uko|
z672#8f#RI2i1;D90?0_&u@32H;7Ca$wO9ybOwV@#d+IE1_5l8Fhh(nNi7k69M^own
zUBL9-W#)W?Z$vU7IhO~oBniJzlKU@uK!Hw+K6u8>(4>j!Kh4(!*9xF8dbS_Vt7!o2
zwZXGbPjv`9D*L!~G!MT2D=bLYc)3{&TsqTiakt|xECDX2eNo^okQGuJL-t`+IVnL~
zHSXAkKyWvBmw(0<hhbMLU|@%?m2OqrPQOUpd%*CjAzv7PE=mdwi#<Kw3FB3CqT+Ge
zW4<^u>rD)$l81BrwArPAXjTII>ZvR)RP@T)f+6cAECYTO`Me>3ZV^s-&kH)1pzaUv
zjs~G(=DA6#0;{@Sq%cQ}l`#O085MWG%8Ltwd)p=PWdoXhr*on4Kf=}Not;lI1IaJo
z&Gofa?DHiLQ}<C6+!`)6!dttp(_~h5p8O&GE@QMgt^439b4S1J9A$4BefDK>ncc3K
zI-w@MeBjC2t4ENG4Wi;>lM#XHqPyuFH^2t>ouqX$t(4%CyT^iQen8BY(8|6580y0g
zKbC-V&jK;n{n^O4)1K7JZ1=@FN`<2w_(Q|cms#L2eFW~do-c$S*1XvOP*U~@qTTJL
zU!uGPKwI@;M5eCz8Lti^l|kuVg>$cH$m0PS@g%%tyTb8=RQA}N%ZmePtDn#GK3QX=
zE`WaJbK;JyV?w<AE+ED2&(+$8I4#Mf#{m^Q`gc#R<-d}8drjdQY-0ugauEhdiH|M(
zohE~}xwQ5J=fFJWOX%0d5xao2WjzHduqNwXgN(}rf~TO@)SP9=SQIl&?vGXT?8sZE
zExcRK2W}i2e*A^IpU1i3({n^ws!8=plYD#a^0)7%7aGsQX_e{Zdn~aGp!Rx|{xBTy
z8-`OJB9U-!JZ}r__AHJsKW_rW+N<`wy!F6*>GbX_PMwqAv+GZvTgGCF8^_-izmEq(
znV5;6@))$8T)#ZgpqV1<N61~AWg6&BX9<!`Yja2V+1hq7yk&^CjDEMV9)yi3gY&R)
zZL8*N1Y$PtYdL4Au13AAYy}pwm*(5zEehC}w&HFNiuW`C&K+QIG#0lTor4MKIhyF?
zj1R0t!nfYA!E=R2Q`~#hmRb`7*C7P_6>%M5d-=C?@NXPqj`4*kXC*u6Xl7jnsCvwV
zh7`aO3=Xf4SAO-*sO}}UZRt%y>h-DgCx010Q*rG0XwgxL>O<RxtR~OFU3Y)_j&GZq
z8Ss!6Gebq(Qm9UTpXZJQPs~hV0Q*aY0zea7@j}E2HR_T&T4uD|-(5@K={ooC(^mok
z06f>mWX!09f^y4W<x^ofy1CL21}ViCRN@k~vtPR`mv{K69oJK^S8xUjMx&|Cll(2A
zS#i+8+!3xaqNxDq#GNn+CZW;~msxvr<8QPO>77mh2ONO9i@mYLQ9D=~6;%Tk_4Zkh
z#3<aIVFGJWG@_U=*T@UY&+(#ZkjKtj<Z6gH-aaa3-hNrZSYTV|<hf(6qtg5$n)P#|
zwGSEr&0nfh|M%Da4!&4zs>v}g_OpIubbq7s1ivj;lxK@3-&KfhX2Fp=NzHeyxOWww
zvN|V~#Z|0oWlqzZ1+i++!_q9f&Q#QPs^8Op9WYr}oL@IxZjzWw$O;F34s+OwQNBFj
zZG+V9DCS(T@+|gVmMg;!d9wmP#LJkkLx1RU+9@EMd4iiz-KigXfisCa14mg7^`{lr
z%@uxy#;EMpWrKXzrth{kU;G_RE-J)$B^;dA?Vs@xAJhvO%Q++6A@)D~8CEgA=Fyo3
z(E>E{hXy0=J+HJZex>Mo_4C=wle-zc-}Gx)@5n{zTw>=C@4XVzQ0~21<1n^W|G_dR
zwk*CDjvJRxu+9rH9iL?87iwV*_u;To-924a?Hk3)5fvSY%MIXB4b%O&tU$PUO;G^R
zC-?<5tE{zxEGIi?X|j$G*{AFh*$mpel#aK$nfIq$gJz5C)@vNB-qXT!nwbBxERToo
zx>A)Qwf>>Ub+nvq3zN+P$~L_>B3UDBcn(las4`vq>P2_3H&8m_x#v3?TFoSD&R#H%
zeQR%%9QRkbk<dJ!bn1^XTG{aC7_t5UcVJn8gNxLdaJ*z7^(Su|(LI`2%h;MjSV9nU
zCeKhlwVt`sW=_bB2asgvRaJ+wE&<0mm$r=U`Kj%nAr+||i}y+}d&8OH9SlNL3;(>B
z<SlSS(Fd2DcoEBpBMS!&eK?J_E-L*zQ??I}iRtJaNjWWZKgb2}^-xcm*rr<%%zn>N
z0_dfO2|bf#dP}hE91HF2`D<sxcY>d3VC?H_wkIt0C?CD2TqcFgE;y2u0Ef6rihcAP
zl{x4784-iyzwjj5IrvjX{?JzMf;7Umq&*qdWIcg>#Vwyi_kBrI1FF0E|Agv}Cr2gd
z3SjwY0e03K`q-P_;0%R$)iUBL4zx+6T=)aE=srq*G91?M=#%NYok?3RnBIhZ;)Ng%
z{Z*NYsO+V3iTj9K0LQCNx8NzL;+N0Pwyi>{{V8EKEQWS9DlA6i{)-U#7TPi_$Az<Z
zqaztP9m8&c_f=$X`B}8Z6xjsRcKlA*H-HzCF&v4Z0t?PN{%@9&6UqdzDzqOv?n;xN
z>>I?q8gIG7NzsjM$3ljGAj?>$lN{C)=C14pP{ZVcyKMlSy%r(BZ_cfNMZivrM(Uf}
zC2&2cX@Ex^dAb7(K#@emTnrZxrR1}$%G8$Nvb3pE?pUjfFEjH^u~6mUvUEk{B-8@u
zbSzMxlCw7Vv+y5zcV$4yoV+V7C=bIafO|+~7!iK65FP)`Lfph6;Vs~0Z0dx=wSbiz
zs%+24WtGlB(pCD@eC4UScwvN@lyjJGu110DWPop6nA;SfhjDF!Y2hrdA0BP_7Z;$5
zNQn1P`jef4$ly}ckzpsVuf<z-nY%u(I<(2ka)N7qHk5dN8B59EscN1hjgSt4Ev^0k
zLXH4rMwFj}uBKz<z?@6hx&BVbmpd)4eNq{@@naEXnddn4a|)fPAZLGA<ucL_xoK71
zhxDh@cQ+*jkeru6n?dkq!s&>8d`CUz46)TnMi1U>TG`6!ndr!37q0rx0RfSma1R~r
zJ^l?Z{I1<};8w1M)vNzWkS;(3=|JN>f3io`(81DKQ`GnGn2r7?k`oc60spr_{iZR<
z>iSE~>wmLKj)E5tlBO(ns~)TZpsdOh)19Ki%}0gW>K;p@LvUuV#w?}7f|a30y}l91
zqn#n$Q=g`(bJU{!3C(tbGqeMB=fN>ZYdJkBPy^r!v8!L~5hFnh%%h>cWp-7bt04iJ
z$hG5<c1Y<rQlDD-HlbXgl33}!()^D~?)ioP4_9*kr?^i456aM=&;@gb!}9^qC{7HD
z_uD)H^4H##x!B_%e|dZT+mJ(EiY;<@0>snoH8xw;DEu+xn$F<5Uy8CeNx%(_7n|y$
zXbnRjBTqg=w`9bKXPZ3iyS`~$sYhjyt67f70!$}Yt>%04?h=FLRZvJ5G;uW7`~y}{
z{=X?^`KL-o*MSP?^LfZ6%oFK$AUWJrcA@@$^_ZurDU^wV*XuI}kT?tIt!~xex%0f~
zEg}bkef=nY8r%tc5KNAWU5|yq?(34UKz#s}aBdD_DgR5)>nZe$FQB>=k#hO&uRu~U
zaz4)77HnyAU!g%7`)@)k6yr24()dN+=3xQ82iO1?fR7l9$P^A{76Sk|=JUc1W<NJ?
z{CoRR=zfBu+5=?Vk0t>;JmUe36F0_BU|`U8NGEkcGW-k_u+eYRUmlA)V@-!Fp%<YM
zEb=*QLv{h0RpsF6^9o?k^T_EDnNXelKDpZmm7`FZRUrmEoZ@ytJNKnFK!8HOLJ<JS
zMU+Pa_Si64#T<kxDR?p0{F}xf_|`O-6rddm4afRENvk2~+Acuj0VxDBNfsW6z*dd!
z9kOZkf$ZJ|0LX`+ayy??=oS~W<y0vmu+MWjcW0_(I?do%+Qj`JF&!JOc5woGDdT$&
z5{4R5+}aN#0mUHuX|r<x2>2+S1P-2oDR^Z$m$z^n85T&B@hC)Sa`?T_z+XW4Kl9}>
zL0j;<91v&#MXl@Jo(9zq6B-P%kmyue4%({%@M|%;XPsuJu<7lVbS@C1-Y=|1P*Y|<
z;k)JrrTGY;{0oHMn7_p*JGs97mS&K^DLfyy&HM<K8VGGuH_i+_H04c*N*CD2&IdRW
zu66d?=eOW=KWbR;)E!tbBM>9s=YBuR`w@QFah?pjRJ{n)FLt@z1QRW44Q{T!+kqgw
zg}{BTWl);6g$o^JeDUo~8e-8Pnm_omIiViC>=mfuFHb{FHn2(PnT%9g07B1YRz;ie
z_ZXKUI5@&BHmprANgcvK@rRGGsb8#4(iU&qF%s4U&TW#d`!7qgDAWN_PdkqP>aSfg
zGu%G#1<lW**(!*rm29TM2k6_cqnyk8Ro_>Dqg!u!*fFx7G%8D$PRRr#afDRQ)_pxl
z;t3SnDx?iToSxPjuq7%1d#`<$n(PC~IAT-HuKt32ajEkL?mfUumo8=h1aJ0Yn|eSh
zYCk6odqAxr!!#QA`3~d0dky5*?-Ecfr)dmPxkoZ&sdjyhM`tT>22NZG_9a_l>Ioki
zhncsJZc-S!535YGRXi4G1?*sgvmS4pV5_n%nI#I~p;ig!@241-;WJ)wJ!ls!LXDcK
zTs&eTd4j?I2qHTowh<bNP|DId9klh<V>W@eUWg+;wxV-lrEhk5mTwy-Q%qZF9WI7v
z_$8U{L)ytRI9_N#A2w*)Wzft_M{qr3_by-_l2(t#uAm-ZioVaa&~r^K*#8$)aT$K6
z-~`P2^rrsGU$e{8d^VG9QA;Tz-TqrXrKO3ed<TKcLO+?CnaGj6H_8H>`BS!(HQg>S
z3F-vp(2})pWTfRUZK2a=&TZ#6Zl;9^9?(=>2!MdvyPopi0(2Vaa1C#Ga_5^ZGSU+X
z-G3SK#XZ6Xly?1A@R*yEUNsV^+w>+5T}FV|`|PY`4M;rYJn`CRYxbL8d6F0qtu5n_
z7}_(hb-MvvQ%g@LJ(ryYNcf7Iyi#&^D58m;xrmrg^(;I3J-h5xnCyY)gZTK2E(FC@
z*~X7Tc+o=`3;CKo;KIUZ<(_r1Fg7mC8i$x|10QYOc?B`WQR$yHAW6YDTuNf`MH4fo
zk_b}MVlvO%<$91n7x`#2-o$MiN-st-0H?>j0;2aCNO<<cI2%B;tNTk#We<(sZWf@M
zS3Bc>*Niz7u|<gQpfO28$<MxE#mMot7alCKtW!#54J7Wpv>X#tdG(hTFTH;bC)D+R
zZcG>_m(M~u<;ZESw8NDA_v5ECW`6r6w}WU>;BIt8yC?+M<-rp`2d@Sl(>~e#-`_ZS
z#wqS30v=Fe?%u892^M!lsC`e^OYbuu74zwRYkfe=4VGi!CZ(-wv{&CdNMC+~)FY)Y
z*!B~c&xk(Brzy}Cw;%2OxI)qS>wL4HO%{~zC}v;W#kq)NC`mN_<7Me`Fe!p00XI|U
z!QNr1!NaGp^x!HP3X9M{Wh)j#WDY*83h4i}ta;4_lJ0^28s*)+FXAN$H&~AP`>`a?
zlv>0vuwX@r9G|R7+m?g|RR<$?5@h20KfIX#Yugo4fDH?t6m@2;xhh_q@IIaeXWcrp
z<C|d!fblG82^|7ykSbp@mJvS>*<j4p`DF<td_6#QwR8_yErQ)Hv3pT#HpNci1X)4!
z2aM{mLL+3#cgN@~$hCaUZ<<aH{D@H7GF#unCxRG49}hX+qdA7<*Bs&L&N}(_+Gj0(
z%$JG>7f1N3&z<=Acw0E5#$K_*hcE#QkB$d=a4f{MBvSYLtd8Z>&@f&lSY2DLcxp?v
zZ3j~&?CPG_oHL5zXO28&D|+|rPJMx4*ey1VsZxqBPtTorv2fwU!8Hyw>m4G?t+b5a
z?LbJw4ve21fw;7_$<DtZXW0E5aPP+@uWU~2%sSBBOyx!Z!sFvmalsb&jX|B7cE80l
zN4OHi;qJHldVEiWE(dPcR$2M(NP^_x@@rAAucws-&xrbxx{6*U(i0@lWXWfq=K5}R
zN3s7*nQpuXdl+lvnY_n_`#HZCUrLWl=~VkN+?&<WcZBm{02ZTp*1GTMU#ZIP6T2h9
zWb8(rc?qZKs@5;~NgEE2RaM1jD5^m>VA}?om)R#{_k^{VNeHJM%bduwi`votSY`+3
zxRCCt<u>eC5aUF%40C@WTP_$~c?f9+SSPY(DV{9v_y19D%7W!d#iSjRc_PD%+xE`p
zOF$GYLH1f${K=MY)DHf~vQ)eEc$LBJzxm01uw2G%Sg3*jL~lY46kh7bdRUB*r8uko
zSgtKZ*;h)Pw`@5yddKbNn8F8<o^a9C9nH@P#bRjh9DE{wVDEK6VdkacJzMH_a*h;l
zwOZSC;**fThwT@^F*Tr`#_8ywOUSG&-YdaTWm}wsK}$agscuS6jPK=;Ikpl^bK~4H
zSt0AK&N0QrngM7OygAy=9J_NeSUl=<X()H(F3#_h;d>^_-?NXbRn+X$Qxs?*sa%P(
zcHd5CLw!qSIAEmx-VsdOmP}t}7KYqYVp?HQWDpNZHwBG@`Ot^l%a<%yk5<u9Y|5px
zIFDMV&{74bN7_9)^h{L9Zf)<=R#*L)P?m#UP`7`(KH-e4I_BuZ;lAg4{vjy0KY1p%
zt&BO5rdFr;nAJYR+-={vV)mM+OQkJ3T$cgRXbgXd_32Zp#hGd6fU7{!t)ErL&&_&&
z3qCBXxqdD?9iZCemrvc&_&J+}uGwB!wIS=R{<To1T>G=*ENG<oL<ely?x=vTW93VH
zM}p#WCZn)Jt13%jRxpm`fOcV<DA|v?d}MbpK^Dv0wgoHOt=z<tU@iLo^R$@aZFyab
zjypLzqpj1?4`Wp=x6t17{9?UTCQD_ZZ~GC#bz&Q~w{Y-0gSYiQ>xtl1<@dh2Pwy=s
zYgET#Ho88I>}mae4=5R3J>{2R4NS21e)?C{*Fg(A;XIW>R+57OUL@f`=ft9QaDnQV
z^xjD8)&giLxFkNS>3~dRCRd>RWco#mQ;g?0G#@-qzvvS1h}j?^{;SgMxcA<74c-}+
zw#N*QemO#*YTMNtL=Q72M7J~EBnWc))LP{%PXIZT+p#!nyeaIW@@{YIZmCPwi}a#W
zU*?_Ku+zJ-xbVH~KA(8z?c*z+2eIkr7$$F7NjiM94L2X!u0{@X6PS(9hSjP@nQaJx
zduO=6KqMY<B*M05Qw@D0cMoRH(~l~~G5b}}a$|%(@{4Je>>r9G#RM4d;Db^Y&D<~o
z=qqbk)1$>1Dqhl&1F>yz!v2u_X<QdulUvF|rADjF_bkm4we8i2^T}>-rP}#&-s^7~
z1C+b!+Q7$g?%)m>>An22@}R{`9uD|dx|-tZ6!1K~$HK4yrYaw8l9O0Lp0iu<Je~)x
ztl~u(E%4>X`Q_rW#L)L?F5H%=fV%Lhqe9Cz-{?5*9u83TJu!ZkM45Q<bbI)_SYy6I
zRVrtrcHVcuXy~{3WMm5}5jHvyn+8-o>3`DTMdqSFrkrHG<UV^9hg2o4<M}V4PB_Q1
zir9)j7-Kd|svhb=POtWu!{s8Tj;{#Cp|e&j0)PqW#v(d{pCF68xYwRrn@nND#4UeC
z24gWV_gd``{AJ@~#mABlX&50Vcn+oy{EK{~d!A}aJC1B-c>JixHCZ(%z%5l^Qr&NI
z1nq5k5Q3TcvrNmy0^EW~C;#|Me|Z}+Ppz&;0Xu>Zj82=M2Q5h+$e`^I1;OM~&vk>}
zN}I=i+rm?tfxi?xk>c*alF#S|{=gkbmRY|xSL77Eb<BvGl@(b(`kdUgPg3X|ySvFS
zHTcx-ueD+@wUz~5w(Pj?ww{j6QcF7oj{L)X1BdZ5)(4!g>v7>3MrZ=>Gzx5BT^)Gz
z>-@&uMyag>j#oD}F1(sm56q0@A(MZ;^!Lx~;Z_n<6i}kYD7EVbDys`T`>q@#t{V6<
zK}|f`yX|G`MLxBS`NoqQ*PC?mj>%2Sb)M`Tc6!wBQQI}-v*^>fw0P!zV=i=nhJYMJ
z9`+x958l%IYJ;pUY7;)*S5ep(L}Ft*wW|~7OZs@yUwaFM_QbPy)w?JkPdy}uL36iU
zzg~q0^J`jy!orJD>#(pY$71~WVm=frZlR3l5Cym5o^8BD?TFYnAsp~m_thepDMYug
zRH0lHTA>X54$3$eZQvF%i>BadM_PcoEUr7Sliz6^3VIf~)8bYa-BB{j)xc*i2jMB#
zsIa4-=QN5UcUp=o>?hLvCI1nCuyKR^&fDM_gHV!x!f8vB0MaU%ZUR;gcq;gksM98_
z;5Yaum_TQ&VXa3H_bg76c?bE4EVJBJ&~UNs7?Fo(`gk$tKD>@I=D{?PZb?V(d;=0L
zZp@QB=|LKJCYJ+H!23;=^puZ$yPN$;ADO6i;7Xiqc_PUS&r|_S=e?3+L<|&7;AX<z
zz5;FyM8e0zOx1qyOo58{)0ah}C5qzLDAbp@F%8?E?3Ne5rE{r_QCa+{rtt6IY-Ejl
z5ABNwm}9nsNG1q(r0F9zLXI_F>O$%!J^>|s5g5E2aLN^=T~)9et+~`+>0mJb_R*t*
zTUoYKS8T3Mq~Aw={x6o9L^P=U&cC=f1az52NO8+RRW3}&v)kqtEsh}0+8m?Hvt=u-
z{1z%^-!0VKk&f_<3ww3m|MB2Wc<@((K9-vMzh0`ZwS_|TSaXp3=Yz{|IoeJcIQqj|
z{p+Rjg>>*iU|P(V1Vykp=yA}n!fY9b49Q<$(o>Oe%x)O$xQEOI`*3*;=5ZER3nZNS
zUxFw2OiXn8cQx!q;18I9cBL2;5o!!6UN3k)LK%?chL|DqgXP#_?#R<r!BJtEnY=Kf
zGF{lBVbEo(8r|K;a2=hX29#JFF$WgWM^0j>zK-u@as3T?9LJVv5>C=%il*cEKX15n
z*xmp2P4j~Dbj-aIHBVQodmfiT5I;9{%#rb*i*_3<XLLQs55vOmZJylAL5{-8yNbp^
zzkp$aace)xE1I6l4_;Bm3d`^19;$z?tS7LhH?N=$EWXr3hg!=b!}f1=lf}ZKp>RJY
z62zC4W0-yA*U(3Q*#G-aL!vgfLl~?|lFB#~169x{cFu7^w&wr|l~p<P9x9SKxjMcL
z6=yEMsj5bkxZFAc5wV5hIC(_h8>IW?FduagD41vtp6J70kQu%~b_ZZ7pWy=K`q>t7
z+n0MyYc9T19}vt1<e(SG`?J3qNOEV5%$}?0oLaAR>a29=bt?$;F(AO^IQH(p?TRB*
zh!1`pAe|+vqwHLVR)C?FD6<MepgMEte6#m|hR>Gu_JV3y>z01SHTZW)E){T<5hl5h
z^8EWY%{Y>z?vK_1M0I%t4ebLXgK9u`jrZOW83dR?>rVJr824em0ah>dc4!vi(nmdt
zF2$>&uqG^Ylaurz-p08lguT}AS>s`>F9e2*{}~t}+2LFPp6Via6bLl^f=QQ`EZ3)B
zCfGpl<Bo)VSNdq3y883wsTU=-uM%6nkwywcy)D%!x~ez8X5)wyhuU)lLLgSaClA&<
z#AM+*xd!z!B#4eapv`T+Mxdl&F=rcX%?xir<oj^M?>{3~1+Q)*X@;Ps2L=zJnq2GO
zKTp@+yb0*VCN*P4J5_E7m=4-LutS8%JHy%Xd)NPE=>T&d!xtf0D{`On7y}f<2AIN0
zMNS|<bFGUaaN|`pPW{!Lb;qZgAkNkb&Eg9(du*U}TLyaUy0kcBb<j~$fN0^2#H5Hk
zQq=qzkclCH(Wi4yI80_i2oec=*&U6jxJdRuP?ou}<P82CmB?<VO6oH1J&5hfc56#N
z`3eIvubkLUl>_Ja(`%xU{~5iFso~SY<q%ec>e~@;|2;bz)laJc{vc+J@E<p)qwX#^
z%-UywJKji+xf`I-1!i~5Q{2LLlC<M`WEj+LD=S%NJo|zepa{=gpFXuwju1z!fu4;r
zK8)a8-@N~Y;1}R=WX*cJ&SSo`hoBZXNt){`Sh5Q_w=`Poy51Ul+QPvu`O<SivKVN-
zjtC06RXhO7gRI|G@Ch?_CPx!-eUc@MT~(|Hw4RxiSt*p0<RI6EykLivkrT{M%y}MX
zq+cU|qJI2gV5OsQuO3Dk1>qWEk0o+Amja6LJD%6TJCFVR44bci?sZXIYhr;Q4v6%^
zG5u|~LvmFeaEem^W>sZH$Ot-7bor5|{*r~qV?IGdK;gR7%yM4+IY{1;t?bQ%{1x@n
zZ~g@*!0Q5o*7YHf<5>d}=E_P(>WPtXYvK+3gl+{<`~a+5eFL_V#kS<8ob6M>CY5DT
zSk=02PIj&Pj&B-j5kgG4_3P}!7wEp%%$kr(5J9`r-eSYW0jGqO0S;Uoms=YTnqN~t
zc$irr)K?OV=8vM$5c2dvkI8%*#b+PbE`3WqnXAhkse^*@HOa&}?k#?kK>qy+Sey2t
z%nFbw4xwVGX`)Eka`^}+rK?T35*yopIzJV73@<&#UvN^q5E2VatV^9yatna@y5i)s
zIJ?~oW_$BSkZ7mW8&K?I<^lszIsq+lys#i^IGl0E{V-zI{y&aY8L_go7(BXh9g%ns
zGpQ*WRvuC@D8j2~W=XL!S7nic2bFJ@vP6Qt0sprEZnw?j?<08&`Q3RFT6!w@W%6g8
z#KrH6!dtTzihdntl1vndJzn<_qTw*$vkr)bkGyTps|Tijh91%o90pUl+z#zg?FhbO
z^(WVBoX2AL_S`5!tg}wKE@&|<^lK=SdEU)HgJ@II2sk&plqr^%^HWzFg|N?MGS|W3
zba4eviJaT=VIsr4np4ubO=HLJ!?|rA91|A=3TUaA^O>lIh=C+)pw7BpZvjJ_@uxj9
z^x<YC^}y2JHWk}Ei#v*6;X-LrYJlzL4E3=`Z<rx|E`3&m^LUp@@HMqS!d|>g#-qPL
z4cPL@emG><?HQv~%>y~Z%G-wEj57ArRakrA)RB|Hk?r80HBr6r+FhAlD~@dF(5Hlz
zPw1^L#NLtHwwW<Jh1|+N&Blb*FP)Zz#dNRHQ*Lo+J2{!E`8M_2sRxo243hdT4O|U?
zS)c>L<HkE0if8prB1<Ip4mYax<|2k1|28yN)O5z2ozj&b;CV;CyRrmfBPrb(t4*sD
z3=ea8LsUCM2uE!@l4q?4)^-V--OVMbaURl)w?f%M5`E5C3GSfDi_Bvx;#cB&<eV4v
za{?AYDZ6XVJVR_VuhEr;J^60%Gl^C{ou0ZPYUlN#Q%FqLp(DsiHwZ0=6hI;ITEuy&
z$}^@(>iI-@i0M;It<m=Ow}WSno($hR!+kQ`-`<8w>vRugNUz&H7rBUqC&$F>)S{5D
z#X$EJKuXtPBirsZrj+Q6v79fReDA%1zO?{J*Ts5c6&3xAfLcMvtXw6vM8nE)vx=N<
zF5!rQj?>-eu9@u0RGBdOS@1RX$_D~_PmA#HWK17+&`#kSeVOgRhO8^t67!MvC$wlv
zqjR-M;hYjrow$VyJ*n0jGlV%`>xmZSE0uQNg4Tu6+?5yb?f#P4NQ^*JM2vh!aQdMf
z!fuPv@+#AQB$~{PTm*bixOfzuARd_E+FCLYb<wf1NL;0&I7)&dz_*`@v&zVIMYaOi
zsqgS%_q-Ii#mE`g-$=YY%RlZoyoFDWDv{xSK;azTVFwreX0A6G2V{-Bw)tzZz-Bt(
zG&G(Z_VdG&xM692NVNSiJ5YACdq@z6jdH-+)5>!zQ1eoP6g!M1Bg3fqYFRUQF|oca
zIkAU)Nrs#lsb-Zel%P<d6-CHPR}cD;$x$WFkn1!l{E<v3iF?tZJhNFNU5JuTgtzkg
zte-y|6{Z-a(|S27%zg4WONp{LYt*4zkdd-#rt?w+G|&g~Hzs%eQAD(0F~E{E&hh-d
zm230okW{T;xOc93YlU!kVmKgtBM@wz`||aM-n4trar=^R+-h`8EEM9!WkrS)5W~E;
z7nM|-*uTm;!Cc0taj#}E0fG+$BQ2Z1@0-SUV&JX5>WSfsv;5DonC)t&&bw5^t(7!d
zYy(LjIlYv8XZ7D?-;%fHO;`HvZt@NCC+n+JuNBj;Q4MLwg-r6}_ul#!7eH}j^Z-Qv
z=k5hZ-wOSavM@aI{=3w%{%c=+ILUsJmmHd}Kn(m=P@?ZkB*d0oGPnnYl90lsvp=c#
zQi9UNbOeO9;<CzqdS4wf9SjM7qeE!{)w8ie0LlORSCm`+yA;}s>a$eHQm%zGUa)e&
zVx}nDv6we`_`EGqVaXpaUEWR&bsEbB+N0!mT7tB=L$Kd8tqLTas1nFg;bz>Jvsqe`
z0Yn0C@4fi+sIca2!JqO`VIMCif92rCINaPu|MrI3b3mvKK2+vc@RI5b-(B9LN=+o}
zH!L{D8@ZRV3QW!gIH1d+$zlS!tu`xPYN!yfsGGTvew(QxQNoF4P%$yalM1L{@g?A-
zRSnIYY_9E#qRf84r7Y=_*ux%h8A6RIFa(Ri1c2SVy>qv+)%WG8+)+4>s{1R>zo1sp
z&R64x&m&T4TK}_(f#u__O+&f$kHTgPHCe$oDvUH4EbvFQv=@H5wZ2OF<{tjL3L?@#
z_{Mnis{gyvf+ui+^42(;uM0zx;IQcfTG!F9KCs1K#)~~eOxVvKUOj+JC2&CAB<3m=
z8vVo}Y%&PYGx;jV79xiqI14;uI`#7+B2JRorMvHGj6=dHKJ^tDioqy%HWTKyBYw?9
zf}UO!nqkEuYT>MvB>CzHwczL5Q2(q(?Z^ze3;)yHdN1)k-{a$$Ps_rFi^<V?0?V^r
zBIKwDIsVL8xMe-ck;j?k#oc^cOSXff4;$M}=Uu9s%lBTourr22yKx<A+s;eFra`3a
zbw;A=kEpQ852X!le{Zq9o8|I3B8{lR46MJdWBXlyKoWTQ|JQ~3Z*T(Dd4F$<+b-M?
z;~f78EB`ZWB6csu3y{<W=-^hON*{S}F`Sxc!}_6P672Oz59~Ut;pTrRw=KNodypE;
z=cGrx-iNzDs&#`}nT@%PEPwaFiG}goyQ;xEPW**zjSwC6JrQ%qvHB|yLEAkD()URJ
z$Y3!AYE~?U&RRYHkL4%<%klMW-lu;)*mepY+|Vpw`3(j9UbzJjkh5jh@dy6-;CDFm
zC({l~9P)jPN*o~Um!nn|YSfQFt_v*}&j)_nc9`_$YS~<P0yQBCQE*aV%KFk!tne<m
zkG_bGb7ZU<xZjDMqB79g4cXI?2J_d@xcGrmvvx@NobpmU6H#*u?MwQitB^o1KufLy
zxyC`#Q`WQc!1h%IstS>%-EjG#h|KN%h%=zXbQ~8kSFro<Z|p~pfR4@fK2)5GaDF}n
zDPc-84RKSTg=VFp`C~;!MaIs;KjDI!?f8Ox6Tz6UX6(j?S4q=v?t?{Y*ZPBBLLJLc
zzYPQNX-fGVkZA9J$pQm8aakw=(1<YOJZ-LCCLYIurvVHu0KPncG_m>hP@&P0`JSB6
z@PntCdOF)06g)1}PTl(o)&oOOUzwdVXAJ^2^$6Vf>7^G!$o?UGuh>(Z$)!a$XnQBs
znqT~~KP`k>!v&lZ8n4rbp5fNz@dLxX7DR(U?uG#aZVGO+aGsya9j(6b_6-7DlOG4;
zS<szVQBhfPT9{}FEt=A}%v-VNOeCV=GjhrFRbIFP`V$+cF<?f_%e(+rt}s;Kw{+Hm
zqM;b%3y5qVGkkbJ^nJzTG?2opI3*loFrWV}c+XZjK>3WM9I-x7n;~6*g!5q8>M+6(
zVfrS->ywu=4eya+1~`n2m#0q>36f^K%uVVv(<IVL+Lk@uM8IO?G}R9%P9%rP$!CX%
z1K829{|)4~6fc-|<N~4kO0QQRkLX#EhL4K9hJ`aPHb5YEemdn!YSQp$RN9Mr&y8OJ
zUgy{vT*?}!Je{<qU+a&z?WzRdl;?O4we!er+GQBeFM%4l-y9!#Yn>u@AteDS+V(`}
zeidi}{K*88qXjhA${<bs$azSQrM?^skFht*%_fb4rxs$(NU5Mix(fC0wPBrGd-r@1
zTdyZ5_ZhcjJHdS3_pt<V+z(EpnDPAUjGXv0hhMgbk$wVO#?_EuH!gIxqPaX)K&7`B
zC+*k^G?j(a3_XFC8aSb9Zk~?l0HCHG2uPy>(=4j{&!H(~@E-YIxc4BQclS0tfXruP
z;X}qcjgb7^2QJN6rG(awdKhKs3}sUA)FTEM1z2oo!UzG@(bvpZl^e6&H#Jk07jsy>
z`Y){#CJHJz&38PgbdbyW)IF0x=*BT{V&cJJ`vkbWls>2fJC51{rNmNq=xZnD`lxaC
zc{k1#7J;?}IC1kwi=J(yZTxJ7DI`2UfHgE`|LRbZvo+_5Sr~WssVyK|u{Q-L47l8*
z`7^4D(HKkIrkUaVj3`)KSE(7qxL@z%>5K`3X^eG;l}${$YcJbLk+Zz8?>5=!YvIs9
zNbJWGz4~0IRI*M%sRui6WOI_4tl^zu;|f$d>B}Aq9nO7}Iji5@MrOL*^H~&VN&Ht)
zYU|QlDSl!ePQHs9A}leJKf%M)V-!ENh+J_DTHQ;Au{`@>`9_DqW$p+b1!mGYWIHK*
zrtEPk_%ia}<~-hO>6oRy@oQbHw-)Dpi4BKkD(pMU1=n*f-E6&6Uc4~PJ24ebxWgl<
z536KwN?b;CzA_oznKmAS9_?PXn-kAuc6dmt0?}WlS`Zme6-1Xr)W{UB4c~z1H4J90
z(>F@50@Z5Yz|h@X5rlx1W|i2fOZP>^#zQ3`EH^;Bm1{mb-yrjn>`&aQ9v#-BU-&gY
zB{4PjFeXIS<R<G_UPNvG1^eMxnQ_k9Rft9*s@CqT&Il>7Gbi(ia1M1<mLtESe%LDd
zZwsL><THiCaEe8h5#MA+1t8O$@XS##{dBEV)z5#_tg7P1t*4(1NZJDj$Cxu3B8HVS
zW?5WOB;rv#=Q2oE_S_xJ9|J$p%zdANaY|3Ko!$!(3CZpSvf7a6B)c=526H~?uMS?~
z<fuR){_ODAJeWkL-Ph^vdPeo&lfd8dnO@IZiQ)8Fg}Hdo`Tke<*95M2`Ck@>de_Yi
za=uKP92LQI2l<!A`R4B~{gLS)mB^dJLT{cWx&esWcR}(cH2LiQj9zzsVAIq2vwRwO
zaz@pjwYvK&^mEEim5Qt@AkM1mzC#r6bJcnmBJ)P?y5602I2Vr51x%_kyw$h|wBIk&
zoVDHftO|7;X0Gi5;$)d`TJy~6kaxBmIX5%%@V<oW=%9JtiZDpU-Mq=;YKQQA8VxOq
zSyF;)m&@aVlowy8Ikm^;Y88}N3l8buh)K$CfKi}d0lTbY;Zuty7~=y<GOLc({>t+w
zO{z!!V1N=vfbF|iS}3Xch16md7NxmzjyFAsfilq$c`tJrU0)PA3r<O_4>=T5hLA?Z
zyvRY9(<mrJ=C8S!M__E`N>Uo3bR-;W4Y#%zjFEZ8S+4sXe(mVMO^;iAI|a#GwJr!A
zCujJ$Uob>m#4C4GjVhoNRjSB{x`Ws(9^+U*SDqtqp<mEm(9kgRDs=Q!rPiIGF!eO3
zQNKqNuS`|w;g0w`-D&CY?%IbFL#321cOi;D;kJ6|{2(ZmQp(hraZH@oyO#JluQMM}
z3(PHbU?kWIC7R@LCHL97yerb8t~`)CDPqA&uNH<=$~x|7GrFA;lyr2Zb+d|dJ~yu-
zPXFT6mpm*c!%kXZv51MHyTd5OC0x+HnfG!lzp#9N47ZER5lZAydo2~)Rx_?aINRz)
z|C&p8oImBEKVae{+{>gd^G$KFE0L;Xch|(+OfijClK!2uDUKy8AT=MZJKY;=m>E$~
zEhAjgYk7|(@Bvgjoh2;YL{JcMj_Hoh<vaO#7~%!9y0>V>^~Bu>x6c23;8Ij^K4W48
zPLeZ0Hzm=tYBo0sGO@-FbHZmUVs~n7?@bJO8AYpgq_=KoOK!xY8hd)f%0(wUXO1+V
zuZa`S+3rLpcDhywF_v<USq=~k^%wM53`$<<GD(=zQ;1!n^oqi?P+)Nn+T0W%v&c>u
zp4x1htUF$VRbaB;qif~7>B#HCZGv07zHn+~=)tZdWU}mBT+LqDF|4MZ#bt6geJlt{
zn-Bg<DHpX&d+KPy4fD4ZX*V_1!2Vuw9ggWY&3|9aRN7=8SN+j++SdNWtz5B!ED^oq
z0H+$O8TQeXoDb><?`BH}r8e7@%Bm9=J|u=ARF*E9U{=XrC$q$wZciV})Ydx_oa+$$
zVzl=17}0mBJ4o@vaZF-U_E=8kMY91zBXN8p_c^_>;T3f*%(^+2&17{Qq<qq~k;?ns
zyA-s8@O9al0dr)@a93h`3^q8`ErTUJ-(1H15@f8}W_=b_redK*ZnsIRD?YyVKcS7d
znh<A}r6}&k*S0=|8oZ|(cy!Il8B7H-B?$)6)C%*5DlO!>-q@E{bMVYNHC0~=50P1x
zDKS;4H*)Bcw|r}a<CM9mWl)H3wdAt)2+QIv?=IEj6h7?o?xCl9$lP(DD2?4K%whLf
zlDI`a`^DL1zA%bxA61D{>wSt-U0c4dw=H~JSw%5JWuBE?tEwk4(mtx5a1<ZHU7-I%
zLQCDC4R^ZEc*Sunm?R&1|5&K@kAB6a9?wtuc9u?jmG-7sdCn72^7d?p9P0`0IO?k%
z2$!T*R1s6-Y$m8+kDADdlv)>N-s}&Go$I^hA)Fb9R~r`poL=HMaK?u5+W~v!0I2$Z
z3UV{=g2d;*A--KaJQ#0ZBKvt(xEjYduLg_6nR(tm1!I0g%V!!%U$dO}`0BJDh4FFo
z=_C)NISohlv*lw`y`@u^2KHR>NUz#$MCtHi3vHSyS~n5Rm|xj1{4^pfe_LtyJ*47;
z^7=tL7Vo0T<+<L_u#M(3CaJ$Vf6ThX#aZLP^L$|^_PEvH*mx%f({NmYKwP3s&R2Wt
z!ph7lVX|sCG1fz?+NGyYTr2#Di@A=sN7*5)=~J_5z$KqO44dRXfWw~JUy$QYMWne9
zC`DapD&F8wlQ1t`v@S!6m^ign>t?S&L<g=Q3~-!Z)AwjK5ODb2_79N3jNkP0`xTA*
zlW_}OpTPDr?_9u}H`xzG$zl0iL+v!=s4p+`q;3G{F^c^sHlZ(!K`j|bMDDMaNn7lA
zL>Chi=6rq|<)iF<<<pW-)x3PT?RS$*5MV6rL1Yj1LEp|*c8-BK(U#)N@oCOiQaC8$
zhi>I)R!$&(w}6JYAepfwpnLeBuvMNsw;Hwk$Gnd5Zd=Bfi?sHa8K;crhbmcUwo`q_
z0anmvmsP+3)rPzXwIFy7ldy4imqmX!K)LB4f54FrtBB3*+(u7*jX%A&*@Hv9nr}p6
z-%x+6$KUnWTUY^2b^_-=t)L<GV8<R)mH6RMxNr5hbqM!@T-6;v<4<0{n)BCtn%@9|
zd=Iq#)Lxt!|1{S?_xpW&k9;mw7pZ)`2o}PVKD|M^e%C*dd#Hk;t)OeIaM5CU={#Ti
zefr~H#ZOSjDsYcTVECqPT}d7gD4_Pb5}jBZ^8V06_G1$vg)GD{5*s`F5O5r{_%|Sf
zu5>J!61h*8{XKc-{oP6zi<t8vvEW2R28-NmRx5^)Y}?YGHA7D&|EssITG&b9UZ?Qt
z0$CO>4B^l?HTdfW>R2{0{(<75M!6WZx;jC{jYVQ7g{T=qS4oX-+UY-<qNv>thzVH8
zwr?j##rLt=W8m5zwPgGQ1cQct<X)=lKfadqxax(GaEDr`+ld6hH}HP!4kBl;QDL_-
zrl0W9m3>UQ!V8O)FoR)wcs&dnZ>E2|4{EjkkNWffTV?<MIZ6U_VxV_80_~Xv)ES0h
zw`))DN-q<~QIBruf!zqOK8igThrNpv3c1I3Y)#qz02~(+wCOh&KdQe*Kw?=87V>KJ
zNoS65mpKoK8@T!)ZNXCAk%qrJ@D0_8?f>rkBc#l45bk$*MvnDAVXy4yE##<<hF-^i
zKG+Ps;vhz0cBQ|G2nc=PPJtWj{vpNqj|U|YD84A?4jIhwV7W~R7#o&v&6s$~0yKYq
zXRs)jbm+l(#tE8ndbx#BS6&{5CiexfZVCBx*pSih=kC4Yq@YDe55c$o{?F6e;oGr)
z(+Oax2dcsuICkt}iUwpZD?h)DhH1Zj=pNB(m}(T55FYbTeZ&WBg#NCb4YY56xPz)#
z#g~pU!_A0EkZ}2*B#(=G5B_g+Q&I{?D$Z-{lX5lt=#t}i4z*C*?fN+XSgf$<(e-+4
zKt&A93#NzxF0AT1Y9Ruu;XTd!sDyrgJ;Y8;1+TE;gB2eyO8rl&!tJP?Z{VpdRH<<8
z$Z2Utoa4b9r<(Kxh2oBX0Gxhb&_};K{`a3^HwiKb75*R49PH4R#sI`jB%}tpou>j7
zM^QM8VM5)WAE5PcMqGR}-GJ+W3D=H0C&8T+S?-{5PY6Tknblih*dt;#doo463F<X8
zxMM7B1M)0SXr<OZ6TdQaK2H4<_H!We4n^n>08K9n4^%B8VaL7;4VPl)VI%_Y6|ZR!
zv)nT>H>xErF2PWB)V(ySJrVB{8D^zltFQETC;B%&iAWdn6SUW$*IT-64IrW+WB>~A
za<%v84+%0osIC0NZvAZX`42A>Hq{=0dD%j`=$Uh{3LukV#Q6qf+U?sfsE@zGs;ieQ
z_<RGo&H^K0+J6>o605-zu?&Gg@4%D!(x=ih<-A2#fwz3r2R=1rCPoPLSl0o{`3mef
zTcguPBE!xPUM+xDy^;k>Fr4~owWJ_^ON|e1f?%UF#G>;iJs6l(I{VUxY|7=)mFE2c
zGXk|;Xp$R9oz8+e;vx*BC<i+D{k~=>NC(z^pl_t^Qg_3mztdew<y2>}A=h_kM3$H}
zJKiSPSbzv&VjjN#g%PkqaQQUR^7S`i0q)RUFuyH&X&3Xeb{9E{F%B9F&o_v02>sGB
z@?1ax^t7c3;F@qw)osoM0Yql7ZoYJW6W83Tm9h8awVL_9KCs2SD`CJ+y{seO8`H;f
zP}Z}Uai64f><%-~IhB4sp!OVu|29aSgV;_>!(jf}xn2z5+|t{XdaaGpw;qC=Vw>K!
zAmFM*vl&W(VUZ+e6PQGPU2da_W{bFhT)h&?`<Gvek6-=}4_M1B7?C~%xa0?dA^y4(
zxVl!u_=-6C3_P^f%?37L(#h9Ptq0=-G4SCJ!of7GCF?C^I{9+M4=ygcI}^Q~61+Wt
zSRhCC5|~MDtS^pcD9FC^-;I1<uMETq#bPL{@HSu;qWu6(QcA=-Si{(>NC$PJFF%yA
zIv^Sbo%5Ito<1i&>#!B_@Yq)i?od8xj>p5zf%4#*(Q1IjOo&4O`!)a}YJNE9)PPUA
z8;s?yIko5ViEjV{mjM-#e?!!At7BhK@^ZGE!Bd_x5`}fdJ}Z1QrW1m+WO86Pt0=-e
z8`4#nQG)U7CY1^HB5*i1K}MM$Q|#e8k-5Q_D=A+~x@kSM`FQ45p$F0CF*n~=V1vY8
zs6p)sQ!45^7J&jeCF6<I57Eq8`+DBKP8h)Rl(<MkCvp)CKQ1aVd&G-E5$gmLf+AHe
z%W(CWYJxKP6JTE>;8|k68*lCi{EDTM!LKlO$>kxW851oY{W}(1F5#0iYs4DfDCUDD
zivogz6+j;8`%SF)<X(Vq8qiRV=Q^sT&w<RMkd*(Rv^#@5Rs5jCjf#hfRm{VmZx5Qn
zB5c_-+LBk7<?|4P9ldQK!`UlG$j2^y2Nl{p;o5Hu=pmBHmKymq+dvCX#BwfZRw<}-
zez>a0W}{1K*APfGoMjg)qfH-VvYd@YlSrVpaR!FO_#+GojRjDzWQ#B2IjNZ2Vtr)_
zS+{s7O2jIwSW-aY->Cl@4OBsz2yN<AuL(MIna4V-2CpW$RA0ifnpic0seesW1jzF`
z*3DMzN!B07pX45vozv`0JN4G1xr*7ua)j?7z}Y4$;(aX0vef(p663l6P|@;Kw_=PO
zh6cJD?q8d@-{DS?z>wqY*VWv!WIo)LTMmlmUcUw^J&)y#j(U<K9E;UZwGUJ&WeHnn
zO0b*gmP9mC7gc6P?NlS2%>mkuwm9C6+aXd{ZN{+KSX1ID&-chLGor#TPj?fel$CE~
zR&h-f>m8;9ge>QDGpPlZn%aa*B+Ds>_QwgE+Cm8t5lw~>DFtT$Z=vkoj`H3_NM9W~
zPP*LLLS3lIJ=bR&!JPko1H6T6WLB<RpX#5v<$0qg?iUgiYCY5Ij`IvB%oP2A5W6Td
zn)oJL^zGW(n-WtgDPi@2nb4Z1?D_fn+%0JEpU1D)v%)TbDbSGb<Rb-+>sqYLSPozi
zDk_;75f5ahuBQIdOt}#LSefCG#JZ|MP3HX{2>-bba=mH*Q0kdB+M=+hy)E$VEbH>2
zb)a{$usr|(qRF5|1+fF?P2RcwU`_@|EFq%3eHvOiy=`F=_cVjza&r%h>LsmATi^G<
zCoJG&mA~toN~Ab}x8lWH<l0{Z)*(2RAGTRyF^NlGLG5o`!;#xAdO!*_tcg(bV|jvk
zHQ`7WrJB?H3c5TG!<DLfQnz~!@*VfEl~^REjM$q*lp3{~XR#vY+dh`=N2fr8;_4DW
z5Nq1_<@0UDthdOpFZgxkL67WHpib=Fb1nEKQm}#b95g8AWSXO17Q@I0ZEgHiA)X>o
z`_Xj3p7TtSq>HALXy20voYFia{*I{=du5}OAwDE4ir!;YLJ>Qwn^#W?#=Xzaia;XR
z<&5q-71eKFd1?g`nDFcBy|2_cT=<LQ`7W~V2$!n_op;FwtEF0CjU!_qA(S_`t50xo
zFh{QlbsxhO)t1~Z*meuV3>QAaCuSYK$cA={1C(~q2TWgwr4dV;f4eZEh~uJDb0(t6
zt=Km!&f_a*&XO}qEURwFI|<_lELG-r<ETtVGCUaOt~sqm`^#tTC+~XoSDZ6Z5no~t
zbfYWZ97jw%VpakyEMI8=K$S>WvQIZE$Qc?<=RManOjk>O^vy;PcHlUoNHd*|1Eq_p
z_dVG3y3?HS^4NoGwG*#T-(dHcs4`X#Ei}TLtIz8rUAvUH?y!iNUgMB@AV-OM5KhzN
zeP-ri2eNE9N5SX&Ez=1G{h8eYEqS9voV!SCB#+YQIxCad05OnS+2AqqwUDY{W7jI_
zAx3$Di~5>Qa1vy^@`&w<K(>dW!A(bJZ(2b|*Z$2zj`YI!MsGM$-&G}Z@Wsl1S+THO
zd#%?$v^UW)Tf2a;+YpB_iA%pf!>JW1J;PAjZ(?u9*ZA4wZddWyV-J6j`>AJ&nq*!9
z=JQv&|FeH_0jf*|O72gi+Sl}R#{HQ@iyWqkerJ3B95Oj$EEVW1T;9Q<O&^_H0&~S;
z5kb&I8DOQ0_)K0g{S!zKGhbtu8l7Pt2#_jE9OyRdBkHqx6BYS5hP&1074huqT$dI-
zbF?4TkW!<0n1;`4*LxI{lKD(2UBtUM1tEN5hMc`ih-X+&+g&D&KB7NP(L0ja0jE9%
zR^V5@vzSg1SoxXS0|r$VS&xMG*^|^68mrRHd&lvK*`onM804Siv*SwyoMGv2S=vkb
z&#2uy%-qHgP3yoL2~KVG#a#N!bOCkrN|0pJKTF9oPVtq=o~v{;F|eHl^5T4uBVH+G
zOiOa8S-7i1PQrvYqniqlJ$q%P6q^z;-R@40yE4^tzVjM&Co7dzMj9Qjl4WX4!jfz2
zV`O^CyVyNa`IyhAoGDr1GPx6ZwlAu$y4dmdud`W)=X{m#e42gnsA<%RnqM&SSGLN$
z$+Pssx@+GcwhyeIF{sB+5x?2D-y^VPK3lCkpp2y^3zftQcz+;xlQTRxSh>UL3zQie
zv*Ihq&BZhhd})A&d>@^E2(@~>ibIT&ikQYNTo|XHe)lP-W_A5c2>_WX{>v=v;T_7i
za=*!kPAMgev>eA6ZJf|Ezv75D+;B0<1uFh|`%5n8A=<|BJzpt@gdA~5#CCUCI|zIA
zpT6v2|AN!y^+wmqYcsA(;es&>y7SX(g@fq|+a6*KKga~kgl07p>bYaTzSc7>a5N$3
zekY3bDfE9S4q=)s5<Kwwem95kwSEx|zR+e>gI3(x*G4!87Mqg8hlf0`=j&@)=cfhN
z_O}z=3}ZC3QuKZBT&1L_V&YePU8(2kshE{H>!{9YZp`;=jE?zQW9G(^#A|WWA$jo$
z%J!;XcY*nwG|mWUQIa7uQIU?MPWZq?q;p|9=cBxZ@=*YD-k+D!^_)g<ttK*j6C?Uh
zDS@FZK&it~c^~|Ufg1%KF<}D3AtV5K{+pH{Z<x-$yrPNZSZ8ErkX_iQC)dRQmC+st
z0jZ!KTox~UrJtQnWUR6{Il1w%wW>IkhQKS}V&CEcR5Go78J8vWA1}F!QwkLaXNQAl
z=IxnKT|3Fzb%=Vn=V7J6X!J;78SenCZRMe?%zG-m`IV-LOT8O6!5L~Y#P$6&b3Pk<
zZT*@WX>F<~QuFtnbAi7(B>u#77@$=R&hhFJC18@Vl)N8aH&`RB0X5pa^ctZX@cNl8
z_sOO{&o|stxA?8nfn}(~lKipjC$bSFB~mj^HQ$wS8~iGctDVaeG)|e)$56Wb$TDNU
zpkh!K*I&ssw6uu|o3nWpEy(>iai>L87v0ZC8{alY`^iu;F*FubiXNpZhD(?+R7}x5
z0_Bye)QZ*}gNj4XHX05cSHxi{LkvQmIBc1JPqGoz@(pZizyMiIs|~>^xn(>!Ca$U<
zwR7Wh;v{WU7|u?#Y%nV9F{}DzB%H8<m;cHG13m#QkxY=e{&#K2rUn9tB|mk}t5F1W
zL?YpxFpB<wRe+>)^h0Ob1;|#azzQJXajIkt_eaRkN1(M{0y&rQ16!?Cd2VScWWeQc
zM0dS2jmi(l0?65pVjzO%js*$aV1>~{pkOgc-zFD30@wx;h<&ho79?1X8souyn&baw
zKXBVp4GR}eCWgizR9j&d*ktLWdilS=h{;$0ElwvJ(){r#`UU@f6ZB$v3)r0AEo$fg
zeAF7JRDUoG+WH?lQk=kI<<RA=tU$h$U4W?{WgtW!f(&<`6@!ERFx{8g-qyu&Alb)P
zW~HywVap(E9EM7Cp?SBC=9x)<(*u6U6ai!udk~Mm#PZRN$G6~P;nWEU32_En#A>fk
z)=tBf4i-GR2?wcxe|J}oS>+nF^e5Sq)qVR#w{}p1;x1%3P9JUh?=-oWe(*E5$+-#(
zz@klGwegWAv+OewlstyJJ@9xRY$B-w?#Ot!vtoWZ!-Mc!%dsMD+akkmS?Rn|iVEw?
z9^MG#g<Bm&dl^Xelh5zgGpIrvZ2u4Gv@lY$T3j6h8!o`#|E9b7!Wi*;jy8}lG)L5M
z?~)g%zjZ<asB!wyjvM<zV4Y!kUxvds+IMP6WIuePiwp0siIZ9Q&F2t0(E$4u$tZ$@
zftR-XOksEm{3|<gOAbDf_G_OU8-=J<xPC!^{O)E%&`~MaR<1v5>MsJQ^tAl$X8<Rl
zi@6UFjE|r@`h&FQ2`^m;Vp!gSS~mutbzzWE!PiF_5O$99J{^T`U;F9((o+b(^sOg5
z__3HvJvlI$>&pKt7ic#Yb9uU>3dzHP2Ivek!FXY@poP8ZzW^>4oj_XO{d=+O#E3Ub
zzVWh=g|xgU;?`IGFnLt-BL)P}S8zgZPlfM3?#a>6syzYh0km=cwN{pg9R+XyL1wdt
z8`d0nFXRs{8|v}OeAX`d=Y!0MiY!@axbq)d!OtDQqn?B-CXD}la1d3Y$bA9L?b%$K
zpp0v!@eg58wR-n7;446pXsC-F4670}<CeoviLoH~padq!R0E>&{0ntqfV><v8uHT1
z@e)J~m*sY)_upb(1!1mc?HEENAwp~q_PYc2J7Q!#L&HgG8vrdp5Y>C}7<uB}C2c}T
zbQ(FAe=0c)xbDM92cvI{@<SOORGcI4LGKrXNdB;!U%L{f?wG<1^3TQ>B-yWn$_Km>
zgJMNWPTx;OV@F(G4?{Bc?b!Op=7`av(mKH;#}|zsU}IK_nAhQ4>vcOQZO2zEjDbpL
zk;@mKj$o#QpMl&MN+*x7K$^Th&IXtpQsF|La0_b`z+)(DpF<3719)Hb1H+fT7tAg!
zN5E#oUS?aK>fHl57N;(M(3AzK$|jp8OYZgAz6gYyf!FNJ#7|&bEW%fp3ho4)#R)E0
zX$j2RfU#b>h)ihAa=);-4p7`7FjYai27-~R=->$=;YnBPniURf+)!|TKZUq{WPH~a
z+_N+@W;Ho#G7j@1PV^y=kS_5tBbf~v$m98B`<_9Vr)0>J4Q%ip$zgl!mB+UCEgA(I
zn(9P@a5f#u$6eid1j)QDK9H*;t0d!Gl6|3?w}EU+8CZ}Yk`Vg<m|S1E=WXE)Jkd9I
zr6F{{u31utO(Yl)8oHavJxgZsAmW!VLMdCj^BPbiJi!caC|c*F1K25D>Mg)=Bew%6
zwQiuXrFD8#*K1F~w2#qzzoyB~M2Q!h!<+!8T7>B}c#kijf6@8@S7#C7-H2m{)Cs^X
zlLV{35v$vbqaKK2hiGe@c>D3x4PaNDMXra(_-I1jgL~)$pq5h*@8$~m6O7VTzi!$N
zRDm8SQ+qiRA(?Y$r|6F5CA)<*!kTs^sq%^gOUM)~VMZ?_()u^E*I6tquQMba){JsV
zLO_DimVQSq<>(Hsu4jRO+Hk!HL-{BvaeR9qY1030(h;B(e+=<bf>a2wTGriuIE_G=
zpJ4lwvfCeVW+WIM{ag-p0q06>5i|*_H_nIdj?51@#UCIpn8))KyE<@E91yiI7|2v%
zKmkEBWdN8)qu}|u!)dgp+?4IU_D@vA3<m*H*@tWwO<`zmbSN4KjBK)C5T@r@vKjFt
zK1HK931KfB<-n6EueN$Zg(R(upnSNLsS8XTF)$D5Wh-YtVqD{3TBtL>fgjUgjXG|w
z?qpOw>ZZZ33jkQfZu*i3g8<>BY!NoE>)Z6%%m;1u;Ok=`AlrmUg0yj%iA+zYy7*>$
zC<Q`hOJ3-JhVq8=nlS_UohjjI$PNnak+fh}Msn257nW-rXnmT*akB)q!v{?K(#xVr
zBp3p0GQrd&^Np1%7HN?@>Li|KIEm+J0DyT#TO3453;ojef-p0d9EQw;JgTc`<$%p_
z%Sl*zAnq67LeeZi*&oZRKxDhaW}M$6t%y{(9o_gtV_6QCiFHOmVY?@z_7W*L2>jxF
zHUQp8o^NOS0b-;ORRc5&Ih$Cn?u;`WX4JFJa06`mxWew;;cY~1l)`}g<Nj`bwWz<g
zQ$C(hG78;A$>)?>YL9?Zjf=mukOl&*g!~7V?R=3qN*C44%ljKpZFFpa(!_OG-^{=V
z<aG|<(wUBoJzLCPCxFlI4;R4G(5&+qK@8{r)!mneQ`z?ImQ*wdp%59Cgfz$yQZlR-
zTFO|a2Cd4RWGF>RrVO!+naY^C!Ax_M)o2K1Xb_1)11Tl@yz~q`@A2;a?e93gV}E<^
z_n-B=rDd)AzOL*3{m$PxysCHclRd)}KirTLq(fCmORs&}U*qV$p?W)D)d%#mjU}?2
z0oghlfa_cs8;m7aHJYBEWUjbaMyr`1&3T8+L<8*(1T1?{PMrS!jL<a+88AAT_*z88
zY+^ly|67VRjVqnE(5!*uK76RUGPOR&mUUK96$nz{m2cZRa;kmw1mkOJT3&4s!!%sj
zYY(3LbrJKonoYxVTS)A4@CjZTlMw@w0`IvC!~MgK@_tmVlGicWThN(ucx*BdW>paL
zTs*t1brmGe)YE7sZzS@(V87&U!c=5C7jaEspW{ibjJZOU^%72cI>0$PJkIFOz96-9
zj~<m3@S<w#yJZx8rW}2GsAv4WMXDjGJgigQ`W~IGx92WTZS3B_Ov~Np@EU;jVA)Xf
z(%}F2j<~bxmqM#ru#0HWdJXJ4{nfr%u5QRNlDumknxLeX7E!6z78^Ckqg!efjFId<
z`UQArQ|Bu>G+y&LG8$G`)^;!Cj>%??o}$)t$5;^Bs&(I-skXHjIhnmuPeDKKvVgCg
zi-_9!>xAng2gZI3<N1}tMGq4Pv(l9o3;BU0>-8SA0yjsx`wsVtXT)A=;@jh69qzL7
zKU?g=iW(x!9r9cJ?3_a%V|l5no1LD^%287vEJ&EbG+HHDltXCvN`7xvO_z+smw6l5
zqDB)dIcJ&TTqs?iI4gXw-9x|Zh2*K@vQ=h4G^;cAk!tUvR?gO24u!0xjuh=3KbxPm
z+;Rx<S1TK<&Su!ZDyQ<80zeV*h<z|3X1P;@en1U2PaRbp9&eOn(@G`4p6n-)(w(Q3
z=$l%7fo<1j%sJDPRr1;t8r+VUrSx2;m|a>m*U~3^d3NpFQ?92yRT}R{zv5oau<xY3
z88mh<xgRIr`IsVo#;Q}`y_Edxo3z0Ff~?JJ$<bhJ&_^C1bN;R&BSRT>_gj%IwI;jH
zyvST#K9?q;FA&biu@j1FSwwp9cO_ifygVW;=R4Dh2F|u&i?q6l0ufF^HGS;kps{y$
z+0F14c{?xZ@Hm=KI<Ls5a$*Ff=pbI%P(-&(5aFk%RH0n&;MiorH2U<I_#HQ~?GJyF
zLyIgK)OOS?q3T#6DmFd6l;5(Z&`6knKp{)no{y?Ku}mh~HFq43nX*ax^FE=h2IXsA
z=Sr7e6QJB~eb6ni;8%5f7VWVxgu%bs<4x>&5`xUxK9#M*gtt?}XW`OJ4ZSHPVmUwR
zo9_0E1-vs-{EW(7ItxUHQ3X`j_9PZ%+T`mOW##1X4%lWH@jIUp_V^)Jb^h}D)}`T8
z#}ccUY`fS+0bAZ9O7W8LnOt~t@5vt>^rqadj_H;Xqe!k;n438V<c$j;Z$!@7Zw$o`
zPfi#^$Bn0OMLn0{HGS%)ikucnv;Z4fb-S0+sG_@!n`KES)yB1D=6d@EYu>W&uWj<z
zP90FcP#ZI*@b+^@_r3Bkb+HfY*~V^dul97d!gTAtPI|5m@~N8jn~uA$V&1eerLi^K
zJefsTmt$D3RaapXvNv^6YFrwH7WXW9_is*$9vjeFeF)dIaO0^BVSJ5S)kTEUQ~W-m
z62G#TbXv1$=OijojwdV<{Z)XP5gn1B$Rr$_qvq$-!-jpadvH?G;rFX@PnE`4Sw`}l
zO#&WrtIDlnxK8A6YMAPdY9sf7y!C9qE4=luf+hjYXT0D;*zI?7=FHKJUN-BI@>N!q
z;Y^>t3u+$y6gk)Q0L?gd5NzH&vRa4?5cR?;1zl#^{6a`1*{6=L-!`;d_yXSv-z$%w
z#5LTLs|=4nDCD^LFM<V`vJKX3(?7)i^p^6K<i_+^PKL{_{Aulq=@31Er%;|7iN7j~
z9DaR7+3M*Xh&3K!2eAFU1GcoOf)p`>$zx)iqb!FVZ=S&G#lwuMh>?;-p=Z=LOMM$f
z^8JrSwc<})uk)dkn)Cde77F%Rdh4(4lN9`TDQhq3r`AfKpNg5I6%wGSEbSXFB}}6(
zlSyk_hFZ<yg#Ob#H0mwhxQniWEZVkPT3icQ9IDkNbcpG~f=%@Rm>de4rH9UoGX6C+
zd{R?_uxgPH!RW1w6gZ>=*kYr?n3o}pgKm%8z}j?{-znTbejfcdk0GLYBQImLnu(`P
zmY5+$a=M=3;raOzf;^WA+~z$xnBsOq@%k2YZdy^NM=NR6D@U8Qt23j%sNBf-A}J^;
z<-f&N90x%SFL$h#*e?Ku*He%gb@8OsGHZ(DF3#Dic<FxMsEmU1&^)F-cz6zP?wuC?
zU3UN9p-=%K=@ROzCV>btcI%55fwT^+X68eXJ_*E3tR4={&D716UWuuo6$VWMkSG{x
z%$`CCoiwJ0%&{DPhw2u7^PMZnD%^X|83%(C9vy)K?4R_}7e%$2n+X2mBmDtr{AXIY
z|7`*Xe$%S`&(~IiMd^e%!xm6Vo*v(F;1$PO^qz!;Pv-kjD4%!r`@rC+(Lsvn@{7bq
zlbEe0q-w&rG3dt2oBoBU(pxa7IV7rCIQ<W=ha;GsTEPQi7VorqbL0OFIU^~Gulzm8
zo24*mN&GTU1X$#hUj6VEPJpI4XXakFNk)Kgget6)|2F>!`uOp`-oWGkQG(F#o+Sqi
z?)=#i6QU?Ofs4G4!NtBybTVYjYvbLQ)pL0rdW-@9mn0ySWMW`kT8CKBPsT%sAt4}3
zfY_E=!0EvD@hcJuh?ZYYV;`!G^1pl|exM{T#*_6C37CLQse$1t4fq^J+$0tfdD49<
zl7f1VclLe!2j36J7i?K-<ORWTNP)8B3DQol>!072(nF$WIVXdG_H_OsyNRCZ@dRTN
zk0h1-+jB=Zon6;S^1z_gEydw&nxNh618e9Q8F_xQi@%dN;t7dk`88yy-kX&8pf;B8
zaz#tgjsVncMzK9Ve}KYqX?KL`9rJ>1Q6?IC*Ksa-&w%`E^;@reJh;a6CxcH;OrK4Z
zBO^(&4Q3&ePP6c?^Yeke-JG=0%{S@XAI@lEX>Uq-52$Z>*~$^6iJLPQmta%eMr*p|
zM>2ZgXW?!~F~Dy@Yd6~4zvcpIscV=rg8b7h(Vm!%5@?fs7rbEj&20J~O9>Lj4aq{S
zT|WVx43W~5*M?4dURo3}>~zjw;fZIi->C32$l@^3l?*`fUts*ag0-2=Aa2=#%B%2K
z=%7jeE59*^9TIGNpRwUfkolAJjqb$Uh|kz{&O&;JL39~F73R8Q95EBSMh~)1Qz(g+
zF*1TxgCz2bWD48l_Zf{XJU4Hhh`MJ9PJ{}h5Iai7l`1I?;y4KEPd(gfUs0_fPTovJ
zRnG8K$mZINh?kV(P8V;^urLTbxfcgp8L@uTGldFuESPvMkMd|Q&YP@U-_X_+UH|Dl
zdN4fL9X8G$6^Ok9X_i<~xHdKXX+%Lv27Q2zANCT27Y?wBcP%kauGUvH(-(2}NF_u9
zX;DBXf$u($7!Mb|m)9r8F9<)YiwT2PE2+hsruf|VyK_4deViekFM(Ahi}P->>cNiH
zkQiSWBu}jfwf?0DXTO>hD3unRy&e|AHHFg}+?R)&+KB|)%2~LN1I2Oyqt0V}qkC@U
z!Ctk7O58D<Bz@@kHQ=j9s3Zs3(keX0L349{dU02+MB0iG%XYwA43dz6H$HPJ+W>p%
zpi5yW)wZS#^Mt8aRTU>^^1gU#f9uh6o-B_HHA7RS;k_%MnV%s_j~xRyqqB<BBYUKk
z7%|wA3>NE|KLA8uf`@1ECe|8g<LT+203U3F0ZQl9#B2&@6hScxZdI*5Z=m}rW82KR
zLf!pGz&0QdoJ)5%bag905*ISIY^V#X$;xEdUHT3Nz?H@-UcIM~D0VIE>m{^-=y`f^
zl#L2mJOcF27{*$VCS2(E#e){v;v_g?{%-TEpAy`Y)g2otP&m$RB;>zf|Kr&@eW6!c
zE{`B%ksfQ@t1k2`a+6&ilPaxvb!mUeR<QiD>eWs^7~xJ-aEJFV|7nJ)saH1Y*9?2T
zsFEMp1%wx<Ql;S5U1uz%-ISi5Af=3TluOih<7agA9TiKaY@dC7^x3|}(uSnrYt@nR
zE~9P&a`9Q=>;iiHslg`icz`8$qm=teA<2!wj%1E|<3chg*xR4;?*7#l89U49Yd64G
zYcG_n7vhlr(K0sE=i&bLvO=q6g&y4edUvp7_7O!D{9t@)6G{`TC8Zi@R9%mK`gee_
zb*qhn`qZT#`oye~qW3XwSr*<x2^PVrR*Tc41UeV!-2n&4j>PSdw${a}J;$yv1pHQb
zS+?U4=&*~(c8y&Y#js0^@79-Gj3dn@*QD~$=p-%k<pcp_Nz48nwBk(@x9j#M=`fSm
zvf(R+f0xKL+yr(QvvrC@pyqV;=Z9X;wSsj{r+a2aC<G}rj_OuEJ`)(ibPhd2U`li0
z{Yl0pKAh(+os@A*gfiGj=5%xv1PfJ1N<{`R1s=kmO7b_S$OtBSD(<{7rTpiHPv_E=
z1T5pzY%Z60N?NhD2xp{}4o`&86o&VeI<|Uh@rQTk7>-wFJKA?^uWwac8vY|E$H$WW
z!hkCo-FJOKP*0W2UIM+fKUbmaI=9*$<rIcxLBo;4)6*U%D$PE>tE6W3q;*0~)6FfG
z$vG2;w;+`mR>f5-LM$sR|1yIT8$76>Fm>aOFC+Ub_wzUl=9f-q&JNeK8<p`W@pu$)
zkC-U1=M)6IfYb5$XaT(thE|HFe6l$%uQP5L<Uqbbjwg49E48>vE(Z*k)t;-jZ`Io&
z-Wl}W%*dD}f(}Vk3DdY0J6wq7HAyJTCgTr73+5c+5pfQ4_l89wq3j06JoGfC;--X^
zH(BA?TJ{?%T28*LU$18d4TdGhh1=hrv@}wdK8a5z^wMQP9|L|FoV}8|R{tj#fS8@V
zT)B=s8BNbKINlHzxEd?*O~!@qvTcJSU^ywl?jb#*(y*aLRYx|Fi^5Z1RyJmNL58Xp
zy!oBVaI;A-g^_w7?Ym+#4Rip%Q~eRyGBTpISyfW%LWSlHS|0SnO!gRaciK7XI)zZr
z>P9yAf#q4p%xx0e_(krVkKznZSUX&=U0ZHH7X3&L3ca?1W37W*Wi1aC+2pxzR{S&{
zKLyZ$Qgq>(t+B}Y<nJFA&tSgN7WlMy8Z+ux_LHy2NNYdiHxGekdBGkf?TlNNXEE3x
z$jN*ZSa$K@-g`ATD;)7qFSVLx)Rwbb*JER~b?)oD^nf-Y-G;KNwmZs2QJV@ij5?6k
zUIJC|KK`|BN(P%qo>#*2<K5<=42p_Zk8Z^8c1t^d`L!YS@54p=oxjF-ee^wK;>DrB
zO_8iCSyD_0<*WDWq-bE{A2GM?TYz@`!qILyuyJ=#a?dNGeI5$<yM4xZp3R{25?tPF
zH(E!|gd+21YGROtV6I;2#9Up>pm})Sfc9J$zSwI4@Ia{O4y+So1xGLUAnfz!n2cW0
zo9<VG@pv%jvgSK5-3t~uut5|GeD)&_qNf;{OPYVG@L_tpQ71tdR@7yF&2fb>W}I)Q
zY&dlmmva4QrlTp1TEt#?eJ%NDL4SX=NX8XFPOF+ze>h|mFJ-=9ez1fbBi^Kx<M)Q>
zra&2C!SAdx?UQL?wIhGledcuIe-ZBx!!gQ<DVV6z=5KhTIfVtMfI~jByyciiTYg;9
zSTsrNP7=gdn(_Nr!bR~ewY?zlkMEQSqX&3@by{Ois&0iOSCi;-ib|kWt}n$Fyj$ft
z-~ey9O(sqDj`|#HQIoY?+@(zjuO^LM?-N<>x$oETf64>ra~m|Fgftp3$A4e%nH$h7
z(<@>5P)K6L4;Q8MHyV<@=!;H+FFCx^@Tk#xxNHFK4vm}886Ny%uTJ`<d1z2YDSq7K
z@a#SV#CG2~(_el(u^5(_Ml9G$9!@kiEC)^t2`YK3skqy0hRf-gtr;8Ot(^Pq*O0eb
zkGJye_FFpnR)k&t8nWwRkWe2Z<w+3uJZ}A#cxiT*>*JontM`UIJiGp^NX=Rn=dSMf
z8z?#LV2V{~11Iipg==1w!f8?3mE`=w9_pT<S|4S?U+Pu?=MMmRWngZ$6R$r^Ztjn*
zTYgeg`41g9sne~l9J+*xSuv^X0R0vRdZSys)QZ?87+7UVYAeW&%bI<k3j>IOy8IqL
zyviq-e8<`^%^kh)iWYcGRXqI%E>&dMk84KFTZNfMJ_Y%o^=MR&M#C4ykzvC<9qj@z
z1<4M)@d=AoQ{mIFtl1GI8nsmNLflLV!R8aHrSmo@7$<p82t_cy#?P04vo&QJt8Pfx
z%m?48`EHfk*^>-Y>49O5*(}<QM^~L!F<&`5a4g%*?iLkB;(<L;O0U)J+NuQ7g52UP
zUFgZqX5{GvGfV@7Mj5!^b#Z*HwUaw#)x4!E{qksc2)7eCxTQ+=jWvKCw!9Rm`Fw~X
zDO&WcfS*+-O+VJJrSOBL8yqDjD85%I%~?x<H*w9aM~RwyKyg@wX;C%Ga_jLnH9l6I
zkkW!Tzt%yjX%OQOGg$LBZa3YDHz|NYS>;$`EeLBSs$OMq|3(E_?L^1VFiEUaF<RfR
zt?;8xJI6>&Fm120-vE9^f}&OtpC6%`0JoA2NC@2x@TG>m>_)SM;B-UHm#4u>+3d<p
z3}R4ZtZFRz*|PMYkMYCzR2=P2!cyFy?)xMN9v(qkGRWd}Vr$1oSZROKT822T6vA;O
zR_j6SD!?7KY*sH}OTi{B_Ter}Ii=U=J=9iU#>m?i&hjI)2%?X`b6<9QeTuUNVZoxO
zlW)I2->VbUNoR=sLqgT%VfMXiuh3s2s*hmt6W7K<Xe8k0CBNe<&qh(s2dH}p9e?${
zM<wX4y8ke*AiW*QjF7jksE37#Y3@0SAP9`!S%Z3QwJ@|dZPYTPUm<M;(X67GJDaF{
zJ}nJBno^G^rY&U{d7MvUm0S`cEQh=(&eOz(g<E|x2HM#usnF@<m1@)X7Y~!VaVp0j
zJfY8;WIs-96eAR*LyqKc2x|s%tUaOI#HaY}<TRxK;kuZ6eix~cPk`dfe#TsAI(%7T
zH7zdtF(^tIH3UukU51i6f2oWxEwGnUaxHmx?rkAtE2EYxC3N!{bA=cX?u&&_<=u91
zryuELvmcqF0cLX&r|YXv21np&Bm&~GW6M&BXK!H(K~GpI{_cAPH>6}Mp@C?}ti>5^
z^TU0mPt10*5#GH_Ioc(~l-JsRn(N2~DDfD8E{nj1WX^q5;oS1g*vWy?A!1=qIbuA!
zyvpW9J0&BZ<JtB{9<YD`;iFE@aKG&9WWc&S3^5ut(w@FIBNCuncuui2U^B)9U(rd;
zpQK~h*RLH;3!G=cp)!La+0n722&i9|G4)0)E{`ei!uTV<CX|QgvXeKJmD>P&*VzB7
z2o(RnGE4?*Xm>EfCT@7e7&>mlmaVfs&OUs95EFoMcnh?WK&B~HwCF~|mtYiMhBdJT
z`j}t5kQ?}+{n&I>ddf>*ac{e18z57T0ipZ1tbf7Tu@xq_$`rPbI6Jy_8$2Yt<Bvb$
zrb*#h7i)jM;rBm;i4c=#v6aIg#5S@oj%&)2r3&f(Vyi0mT&skd^p`7NG!q|MIEgr8
zlW-LKmB@~;m-q!J7v;dCwBKTim<2oO`~i8E0Vb3th-LtLj8%`>Ump@~Cci($&d$lX
zKc5Zyay<zSNoD+pFt|z)XQluppHrdPTpZx+cjJ8bB^p(qH|6AB_!8Igu6hGQ;<^CQ
zQ32Tf8PUc*Y6!D}Ps=MMi3?tt{(F7$zf*D{`OCM%=9jhH-ERzvq+!*QaFj!TkMVJ}
zmRvLy26Iu;vu65X{7UZkxrdiBqY_QOzt{p#<V8HYT-ftW6rd^EO|&Oh;VD4;ai5at
zAwqu>)$s0a31;umIQH{sHSmG^VeXKxw7_A-!Jf7H@!H*RdMrmndEcQquk_w(j7zOi
z7d<u~`wY=UJAfo7s5e8Dh^nTEFb2Pq408B_%8gpks0F!8xAhQ4$oa0DP)Rl>hfyU2
zS#|S`%u_Ty^a9n2U<i8#P1z$@5$y#B-Jf`cd_h|`sgD4D;oB^1G}kNj=qJ_}&@P_h
zy|-tb&n?tA^2L2%2gW^Hb9Y0LR|Xb}S?=Jy=b8I3aDME3b9>vD3x9gRw%}H8EiL;<
zW`#CIhU>@Ot6@7L`@OE<0?A1rNJ#dm?y=adkzoawmh^*@Xw;`~eUThX0xs~vt*Fe}
zGa<P}WD<NPDn+OIa~nvVz(3@3p*Ya<`Qd#{TYrMg(nc&XPMqI^Ct6nO5qD%&KPAaE
zLzn}`+J;eHLyS|5ll-c_M-0E!9=ZEe1;xBiAouWXEwt8SDhiE2gJF8eGqPxfa||W#
zV!>H>cYbjx=>|z8{~|7CKrrv&sm!Rl5~(E!TU(VoYdwf#KNg+88URZSjJ7Xag|Ner
z0$0Zh-cQ6AW72p;jF*SsM|V958HU+Q33m2V0Bei|HttanG(S!;c#>tXKp5JoB<~SK
z)3*y)IlZFlVI(pz*t%i+*sOKC@62i1<)6ref5k6i%VRW~ngn_B!S*A%I<Ik(b<=-{
z=#P}fPF-jSg$r{n5p^zj4W7XuRYEa6O?#U(m<)i<I=u=(KqJ&Ah3OI)%6FZTv$lc9
zScc;eNoOV`flwpc4-lzUA9^BMx_M?S;Jw2x4o!F%ovNH9jF6D!w+$JcXYIXXvc-tU
z3Lz}1eZ<E&TnSrDDeaM9|1RG0$uJ>@w}KAk*;m3BsW$fL9Q%TcP_d9;d3RUwa$TKC
z+I(TbhHBTRyMij;5hn<B^q8G|%f}A~!QvX`X+1xCL!cyYpZ$C1^2aDAPg|knr&db+
zg9uj(>to2|BpzBR*2&)exn)Pcxk)dAUhguY)Oon7JY&rFs#d#zr?s2N4tkGKZ>H}!
zB0L^~GPB8%lLTOWM|tfGVM)=n{3FCqYV@(%7PF>fin_ENt&i8do&#idi-FzG?=L3Q
za_ilfbKU@$_PS+B7_9L_9)ZGXeSU}Y5o8K=ct<1P$v*atE_2nMdogCdBxmUv@fC$z
zwa4{?rYM1ivZF}3#A*WGGL(JB-V}29!=D(^dr7pounjBuPF56?_`yM9H2_jn8S!dW
z?r_yshn6MT)lN|>>q?(7kWa|SibXu1-lUH-R)xUI{x0k6scu)OpbVdo$o2RYdhw}J
zXL$07Z4*fjBQORbSuOV>0)Z4jJf!?mPpcrj6BJ{HCx#EQb{?M2;`m%X|92hfFDo?7
zj$i51By2{lyZ?QD&S&2`@t}ela}f`p*!Yz>{uj8evTx`?(dm_96z*C8B->DdA|_<B
z#i;ih9KMS_=l24s*<PFCI{pJ+%1x3x@x(za-311LH5m~5x=^%J4vm)rPp(vxn%}?7
zz?(7!1Ovr%@dHc_ovsonlUof7WhyX+x)&4HxP7V3F+_9mflk#s#=MX|CdDljVib}p
zDJpb07oMMaX${j0{Xzud473zwjZ+yk7ee|P-9$gljLGc)T1S$m`3<OVyc0p-P~Q;4
zp(|y%`y+|U@{45bF)VMSMKZRiI-t3<uZp42RWIcHbE=662Fr9-7oHB2Q_a_Lb6_F*
zM8fAx#I?r!*P<SY0TWDv<(D!}uWR!NR2tf`V|=7pLv~E7=t2h}f`WF`p?3$u?Niq?
z^R)}2f{D2gos+p}7?ZyWlW}a|DtkI}0llw*7T9v)t-&!<zG$^!A^xv8EjksK#Wv!4
z`T8`+M>-LAFAuxC&7fCo?PqLU9|p@RKBHcZu`_DDyi-6wv3!CXU)@;6t#=n6r@zY^
zH=@Hd6Q`uQ9P6n=eqqO02yAMy))>+^GwWle1(`}L9aF^=y#aoeSUZaLr!-~9nvDwC
zJag%1Pw7(}g*c;VvI2$9A^J7OBla~jShQ~|D63T@az}NpuNXe!&*pa&?c^uD=qfjK
zKZFK1UsKG5#eL$Ta{GgakBQOsR`K+dP@?}^COCHDLTv-4q;F(f9UP)hV#HoLzrQ38
zwzp~*nVdd-TQ^D-+ugUOKLk8y6I6D<3>PGOfnM-%kIjxJQp&t(xDpD*;A2(yzH57s
z?y;B|z?4c-60F*+E@y9PWXhL8b$)WQl_Na$yuEQxI3u{cCE2c<s%}02dZkOAg=xth
z?UeF+o8o1krP35AI^KbY?Auyl4Yw0=X6uhVLe33iQJ_~egm0leDluOon|La_Oiw~8
zfktKXwXazu!Q@%}GG^=9g{=DeD?jh1O-!|W8pkU-Ro?K)0v-A7%l4m-`Cw@n+Nh=3
zv~`$Y!%|UXV|7O9jI4oz%+l%oF;uwg4yW45noxLz_S6qq>ggS3euRdu(t~$w$lP(Y
zsp3^VlhP+4X1&z_-)BXpUg(UW%#($gF248dLKWC%mm6v~1%RY7v)}dIw{Ofj&GD*g
zydF0o4gAO)wu_N;$j^4Ow@ko~-yJ!!X&}d<IJ^1{v9C=TJE|YpQfwz)MUgj=sQJ-%
z{;V<p@s^mS<w_1uTrcTJiU@6Jv<!pKY0D8i@hja?yj)Z1oTe_No*R?I{^<ohmE)wo
znB{}QN7u6D`$EfF%<V2+po*Bn4YsV>Oxhwt&@w1(WRY4j-Q*yJrw39$y1mVDfrXBi
zk?W@P4ULIq2D})%x5HQ=J&M!kRjch@k5e8ICnurWqE<uw#Qw~$CD*jsGUn0Mc5WV!
zfr+<B1_^<qH{XkA*fDxh8M}QnSgF|g4ti|Qcfuti7j0XHSF$3g=9o6U_7&9&>}qJ^
z(TiSaFr|dUO6n{#ZLGvaS5oj^KEtpvyHuqCyrp;6;VyQH)XUk^$9c=_W|{4wNIsd^
zZnpqk>0*?6;Mo&$^f@thuu3&lYB!2}&9S>H=@Fr%L7N?&F}<llYv`?-vr&FTarP|T
zYJ*rM8-1%1eRj(1wgdXQ5C~n}Sn|~R9bbvAGZ63I&350Pz@@J0ol>bmibr^I&Re-F
zWlhaF$4|8^e*2g*-%?W~*3Lam@kak4$DqPbk64k*a%>3aic7cs3e~xR?SRNRX{tlC
zz!gVnX}X|ELvT#?61@_D&m&8jr4N)=I>b}C0kDv%)xb|a_#+idMGMt7X#L2+Mq<#K
zI`~3c5Y?NWJ|dH6U{YvGapDbk67XHnt@|borG7dZ#}LECHwhTFH0d})%jAfnPy@;V
zg%wY7f~Y)CRGSrr!jGC}+gZjAwknFkp1IIjP8L=|?^Y|erS;l(Yic!sTJ4qZsoQAE
zC4a&^D%p;wOl>5w(X>tPIlsp0q_d8~JLuAlRZ(^hMO1gihxC0xId=4uz5=!8m$$Qy
zKa%0O@3f6Ef2&37QUMKvO(n0*S?RhxLa~iw{2_by985BB>X<#1Ba;9pgFl+QCwuol
z+L~^t2BN$&O*wvNuDj1CjGweNB%-|)Q0Ui`20f=lJN!#y>)`6dnRGu*JNA;RIoSno
zH5F&EGj%j)KP%lGYq<0LNo`FNky4vd!_%idgJ+-jD9Nm!q)5?qCdBPT_a8nOI(u$R
z@75H!u9~KZcrEeQ^hl15n!~GeMv*P~Yf4Gjo&_u5k9apEKM%+-VTzuDB7<j|Y2NTD
z5NXWRII?*GVd&q`ug{`UPcUO|Y>5hEUn2h`GAeA#YJ+MCSjZ0;XZrUn&F8I;tKeIY
zTjTpisx>Dv%$n2f*d+OS-rvk2F;;z=TTCOTU6SR$AjXTq-JuZ|79M+vx<wo-f#4rf
z%d$N0C@H9V#d_6?Q;ZtYV!_Oq?JV;yyx*8Q(rIUCRNl)vVU<9x@%x^i)p{Pv;A8q8
zeN3HfB=^D^$nS3qn*310_QI$6utNS{;p4!QkND5>nzWhwp8@3m7ES(Fgq%Q)19N3N
zI*Aqd|Eyn|#tQChK6Mo_G5?E(EpiS;vRoy{)eAvKyBGIHM}@8FGxma+Z%cuNveVO*
z=zLlW;GNA_uE|D}^X+mI7>!?qlxg}ek7AoD_e=6+Pj6A4#7sy6ef@cTE-Ad`imrW1
zI-p;0E^&>Fu^Lx7gbHMj&*BAIV#1heg*ge`R+?<TBZ2BuKe<tB$p4eY6Vy~E_$=9k
z$2AMENVa`6Rz>6PcLKL#)`^rLB27N731If64O#l!qPV-@n@Nz(5Q2YAk+osRCeal8
zMIozz)jWQ#i{O&Fao$7$!WTi%E|fl{KoefHmG9s0(f>qd(W=x%!hVD)fqImLk6wgP
zXw8>JvVodu99KXbZ-D^O5lr<g?QH~pc5EqV9F=-C1Ksa34T9lcIef6)y@@_PFOH*l
z3GvuZbR(W8gr$G^+UeQik#m1@F&<vu1~ZnuP0B@j3xRBbipEji$e!nBNIKlzm{u2O
z8N|1p<eV=%{(#a!v}#h1$cV%&B=Vp_o>usg%Mh?J3{JhXl_sjAgqeH^Kzb#avpMga
z;+K1$8EvSgFe~}G;(Af^6W{+~ROF@ktUgVfeto#V^};+J4)%>=!mOn-3wYQmk`=Au
zMsoq{#ugR$>ndEP)&`h?&~G|bsJsS%S#XeC>6rGpwQwJY$nDst_%}3Ij})K&H}j`I
zU|#kKOG>&Q@m@CV6N?JdmwX+lkJ~6aHPir3&4mA!d-Vgmf|R5cp*@~ekyxpXXpPx_
z7@GVFMk0e5_RZ%2A`m6K6(%Ab5k{5(c}WCv0U(!W+fysvQ6m;v$cTnG?z}Y(aX_gz
z6mD(AjPYM`it1^1Al`rd$iE@3BvytQMv6d%a>`)aJ=)eTq4*E5!9FQXB9Q!2%Mp&W
zc7y$_(|yMF_dM0wh3N4@AVmUYd33!lkXnaegeKo2nP0x+uf5fvo{GxaKFP}aThFBl
zIyd+)yITOm*2M7TJ;dP`#h+bcbCN+>z9(cBoMlX_ZgC-wN&R}sqk;l?r{bu&6n~YR
zNJ0^8JUs*y{-{&#8G;3#CPSP_g5VZ7?f0<2lQhuJQT$huAijLu#mL*b3R;hrJJ0t!
zMUhN5O@t2higo~?&)-flP9fG;bT5-l7feenF{NVJz>FMGG)LeCLYilDz;1s4afEo%
zJJ(LG-AO;&i9`)z1QGer*?OAamH7$kUPWXe<uZG({u*{NCcftk(|G5MaOGKl%&?&m
zIU%rtAZkme_|cRRv|@Ao{Ab#)=a*&=PWRY-cSL>%<Bn^pV)VCt-tUh%O|c8OE@15|
z{Nqn?5=^@H5M-R34O4#61rGp2dWvjPXJYzEP=yQJIS=NsfvHkT^c%o(<YAqZx_AT9
zrasZmK~(1Al?uID&n5G`6PiER5xy-<j8dH6)~9`3A0}-o>_-goI|r#@3wKSMF(;?2
z_tQCd?!PU@{)DpK8Pa<SyOYCWq}B#JeE20fj4wTnl{)`r@|?%>O=~}_k<K{vvO@lk
z(<w&{_qBP$nSFe}fV{Qp3ve1PAO3N50qcW`invZ7<78y5W*bm_CN0ru3A~WvC3A5Z
zCY{Ru;nEEce%_ORN1Ac0F8{~2|1}u?&jxw@pXLF^YME^LlMC=)lw*cx4XWifWDDD&
zdx$Qqe3SSqyM`c11BCttSm-vSY|%)snZ@SIy-?XHL23W<4kA!m&n7X8gQ52lW5{A)
znA@POD!$@>pQ*XCuQ4mTL-gQ-RV_dkDJM6DaT0@n8n=m7z~4agam0p+3FaEE4~MD9
zpXl@PKV}sA;lHnV+JC~#9KYxgG-~wfd4!JzdR=6HW<c9lgtl}N=N5HLYzmQ}k)|B&
znU$ak<9y-@Tje#BYCG$rq7Q^_o`|q(CnH72f=ht|fDB#A7YziPiU7xvDYI*ks0MzU
zKU_f^Sdh6~Y&_J7s@fTdq*-41WtDOC<eorZ2|88?FaG=vjC;!4wI_BQ>7Cl6>+$8)
zRvq?`Q*2d67sbreMRjYRvUzT(<<(KmDKNTpJouE5`j>4NXFOSGp_5@dw2kd)ICVp~
ztx8Mj*0qZFy?jTH7F+Bb-LY@)P{-jniyn{m9eeY9)aSY1gVp5^#z$9tctHZ2iSlaF
z9|;aOS2~s(tee18;4%qTg5-D?A-WV^z9%cS<9-Nze!}`=*KFKaQj;@fkh$h8;i%CU
zTg^<HI8anrSUNW5ou8W<!p|1|ZNp29?aSd&mGEW2rL`z!@^G-F-0)JcJ^3t0M&lgu
z@-2f64p|2SI7Tj#W`mrWM5*>3CRKXbuc?LoL(8u&Jq&K7T)!jX)uCB`3;|SS-3SbG
z2~V^r-Shs{x8S9@&l@5K((|iFR=8DmRebFVbtX!o>m(5R3xboL!I*0=;hPa#p0XNV
zgP3+_z24J+;;!0}q^bA7$jfki$GMA0D{VeL#BlYZfW1y*E_aS6#=Wx_Nbie8<$bJS
zc*}Ko$yTe39~*zSLs-=H*jS(RJ0vz;#qT7hQSJJ2g(aH3V~E-ABf9nXR);mVl>?3M
zW=v}AkN`g`bp@0}@zjHIs``ByF`fpob3Qt*bvOW?+A}@r6b5neIU=|HE%$nnfQ8Ct
zXOXAaKoP>A#78FA)sR?7@`@eMuf^-Bh6B4g@LCbln7SXYU*#_2s<Z*2d8cFBmlePL
zoIjF(s&mD7xkG}vQjVZ<d<HJ>(4*F%Iz=Tr7|$QP{x0JJ(B};G%}oJ{TD<g1ZvgKD
zm+vnx2F2i63JE`dhBxY8$DRLq_<K#r`~l*+4;4y9`S{oo`u=Yt6Zr!Hd!%PoBrsr(
zuHwSj1vC*HjPhqB`-m_(iP&uLCUDiEGWgTnCxDuYTZS)D0ux`c&Y{G6nXo4!3S9ML
z2uoY77eL)5>N9Ml!kd{q+)!sLDLC68u;>Mpq#bunu_k+$>>kI&`F*ftgsacHr>I{R
zJqAYDKK>n?%lG&jWxB?9s6wsRcIDacCs}nQIKai-0iUlNb$I1GD>qXJ(sCjeZ(RUs
zh-=W~h$fqloym<V*!QC4F>%hwg?#Fhq&FnNble^w916l`op&`c!W~Rw)k|N;hmP$h
zVFytAt}&_~o2K#9A!dW5B=MG?H)biFGqQkpA$_qL0jN#ILjpwuJtAPcT!jMnbBC4h
zNa4CfZ-1<Wx_g+MFQ92>OxN%pzKE2*f?av8;Ouv_vD4=^Jz1jBA;(o{K@7IY!4a`B
z=0eMA>W+h{;8@R(B1e_Ejfa^PydVaE(zy-TpM05@U*t9(FDXbA#q$?vd<~7I%BI^t
zG%83OyaF&@O`t3PAP8ZK-{GNWlgz7>l9AiMTvh7{3$+US{kGXriK`#2xt;1eW>18k
zHV;jYMD&x#>&Mp)6#pY)l2~bBe5Y2*5milC5o`8{@{Z4+My4DCPG51b#AQFCsAeZ$
znCWy?Jf7pN{5PPLLdx7BZ@yi}z-n;nj(ImMh11G^cqbJdYt^n+USt8Axs(_?%Q&u(
zkmrx`JF_XTp>k6QFL}GA-J830S}|kKD{baSY~>Z7U>%+wGy%MgFIsxDXL@?>PNCd}
z^-M7l$N+O9sLM{luKyq*_7VeqA*$oB*m{tN)0sT-ye+|0zEQyU)~WPb**?Lwhb|^@
zWe2=hb5Hpss^XG7e?4c&7~<`kI)`|9!_Dp3d+|tHMUSt-b|1h@BV?3%?|>tX8WDO{
zt3Qm9Ipxf9eb9bl?t~Oy2Gb<C+><DXv*Il8h3mf^nkSNIPFWSqCC}Y*`>JPZW4Z(D
zM7E%AkmwyUS(r5HhceV-|2Gdicb$3H5a;5RA*6=k*lu)22j|@$8xqp1pLUTdmdKo=
zcW=M%XJM~GyiJZ@wlQ(5r0d@SO5FFnQDq%)8++{r|L??3{`uF9L2b>$^5Z+`_nB*G
zQ}m<ej7V*0ush+_%2RkiMwyvb`=uc<4C3-O)T~3E^ynXo{Q2w~B-aa#Y<cKz*BSa$
z1WI?qJ2fVf@?DEWm`kt~gOQ^&@gqkG8zZ~q>v~Yfy!<EIcKr=voMb3Gvl<i13VS`s
zL?1|mzoS=(cED%6l6Tfs{?lCa>kZ!1VbVRV&{My$WO2CG+K)B!2TSZ;RkSr(9dnM)
zH=0AAE2Qd{84Xskw#kX~=`R|rj?izaAq+P$CQNJg^^BRL=rKDBlj_COp2Gi7D05>|
z)Nr+DD<%ao)s&4*S!9qIU81;sN1DenW{fTK(uc&bJDf`V`Pm2T70JlMaVKx{#`ZYJ
zeR;$`kgnY{eDQ7M(VVLgb#t<UCr-n{aEeKyjzY!EwW#h7ZR68A1%nSBIm6Zj0r_`B
zT%0$_FkN$IV$*u}xAikv^+|45b6b<X+u58Ha53N;&bFS{!W(B-1wVNECt6Kj!&3@o
zx?QEWN*uTv(0cpQnE4S)e|)GpSN&Q?)JSAQ`Ah406Lg=`=bqjg$`<XAlC!icvftfs
zYs9(i*`08KoU==P!`<f~rKk1)!W^pxc1Q{G^3o-nrd^>LxZ8=BQ3bl<=E!%nRGq%V
z%M&hPucJHes1eq3GH0(EMWKyrt8pfe7*Ljp&$nsRADirXST99C;Q94xml21IISS)~
zH8#5wMYD8oB_?K$@Ou|uXqXnRsB`dpM${Y)Cj)_!-BAMi?_PT)eks8LP%UGc_$b4O
zvyi90L}pwi+@%9+&Bdza#m_J0gMM49SJ)SxTxWUSh|6b@;k-LIs<W+fH8{gg>V)1Y
zHB8SfJSZ0xhS79WPmXWtcAX5$m>2YrJe=WOIV<$SML(6UJW8VdI*{mCh>1^xAH$&a
ztuUWZT8Nc`#H)sl--o@fvTJ3m7t(87zO73ze5YM!fahK22U>9YHazkseuxQvT%Dzh
zlj(*w^oT*a;+fk}EMDqzvU9>5-DN`=lJ<gHjO_MFYdmortH+b#ou^`B(h)tX``f8&
z$GnG8*7j2}52&}*(oAwoeroRTP_h+IYe<{9+gUnaMgvY+OvUFm`q*e&)er-~%NM?I
z*{1Xa#@n06;Kk^kF|Wa0hBJafn|&i=-7xoxw1yLdM0;Ml>_ENv66Tx`_yt+rrFQYx
z9>kP+%`>c9MIrHBGKw~Nx!anrZByDFv%<GcLx0D<*0kDDNbG~I;$b=WkRqERz@yP2
z%a<4WwlDh;G4z-R#0mpT%a|#S3Kepb{jtd`Ha%$SqPU+<>^E0Po4I9R4!?6+o9XGq
z?ZYq)tty}J{;>V4_F?ZSt^SvNTh$`&1c~1Ji6>X}^lqV5+rG9hQd4QWW!_$-&klL|
zkga}yaM|(LlW!+^mrDc60-DnjN@vHp+4pB0XD;a}c!8nqx6E5k!MZ;7AIqsm0;0`P
zSL}GIZCm25H%NTc@t>7>pzui4P6vNK<9U<}Q{&{VoKSr8I#@>&8$6x@#eN>pWHW3j
z3-x!iXcvVO18=agQy6Ur=#pErpjy01kD=fP^{Ps21n>`+StloNz=E9-YQCY4Mx9<?
zk?8;<B%Qgj5@2gJKeazM#qR;_4za0^5ET09-0zrcs`{NB_x*KXU8#Y-iT2pD$B}bB
z8EUqBIk+4f9yodBGl$YK=ZAUr>o<*XmfrGxQ+kmRBO#pFc>dvh_rhylx2F27;bdU*
zY)UNqyVIbtCq{=EGbAZo-CgtW1<qP>bN<zc<OFN3VreSN-nyr223RKV_}whhk=zqM
z*Lk|6m}@41-6}XqplNn)PnKw#r^Sn-GW%5WjN9L=<-py$=`+bjlLA`nW0Xje6g4~8
zhd<W3Q6&2(h}$bP_6mcpcJtVtApkJ5Dg7levemum_q<~4zES&-(QD1wn=G?0h`w7a
zu+42XBm4#)xg87ckIV}?%U%YDkjsR-h=g(EBWDo)hL3paG`0i0bq{D%8=I8omKIAN
zAD^42m(_9xl{HG;5Gd>WlwCf|c`?9w>_OiuQMNW7x``vu29eGFCA{i>#;pw6@?nv1
z2uv#D%f~Ke{v7p!um7dHI{x2K6LeSq+`i{D<B%EG3BBW3n^Q~^HwEBz)|)&vnI(eZ
zJreyKtejb@3l_k!$2IgHwU_us#iTX3{|9Q!yy}w~ic$-3mn-bgv11KzMy`<(!K+#_
z^k%3><nN}Y<`d@a-4)^a3*y4GK#0sV;u+J#IsVVhu`Q9Fj1RD;D^ER`lEDX%Ebk6|
zniTGp{_z@_KD;)*+O$F*C83?_mtkuWEIc(|dut824+l=~%=&USG0a%+z;-DVKKeNa
z=n{C<x!9Pq5zxx%QyZ4<!Bg<wt=KaFejmihM*B$!o>^v<umK#&me_)yc-NOMb%;Ed
z%#W2@q=F&2jSma3SQc;1t1o?`h$w9@w^}@->o}$eh(nW2JbM(tontuTq{Y@9myr*i
zOY*@xe)*5DIB<~@(c^Kzx{8agF<>EXOj6A&entK5=-N3S>EX*rdiY<z#E;=RZ!(zt
zTFuQR$UL_ondenwOae(r1!GPx`YW<5#Gek#uDAqfhsTIiK6VwBoh^|n*e`wyH^A?(
z2)CucoMy#S6q*iTI2OPMN9|6W{baKbR1fek3zfghWV0Vb+llD9G7_SJ2F#|5KRIqX
z8*)Wdnn_}8IfDE4iZg5<aAW&Y0~2^<|JqI1Ic|g~>+wzRA2DMe!KLonryu%zvtLJ=
z{nj4o!+%0nWXIMZc0Bm3jQk|R{Rdni*2=CRDM<WLNMIP47`uT?*LgH((SL#zr8scy
zAR0_!mZ?RLzT&oNCwiC`!n9dss}ms;=`Fzd9!?u&#C!{6%i@LWR;g(3gzZLlTT4qz
z8zg~j(!Y9Pqpe$ee{w%*ZMCA)=>^<&K+14pRv!7<c&!szs-Gp7rXSY~WB+PM4O?k1
zYsPj|TGFf|*W-?tg0XhW{RqrS;yNE^M$K9OPRsNc<4(_@4^#2Ro)q)_G^%Ch=VvHZ
z9#<VXqXfHW3l3Q-HpH*DLQ;E$$vZga&-GZYjwB5W&-Kw%g&zg8jcTz3gHKDzXAuf|
zyqD!waY6g2NBh>(sO#Ph?rEU~#_ti&S%_!ms#}@4rUYo|GAvvTo2w_4?>Sg?d!CJN
z5@LNQUarGGInInLiGi26q|I~tkw8YKuG-mgFhvWh<1Hiwx5ovXvqcG2!x5cr3}ij?
zlzQo-$gn3{dM`^-B;)stuC}M#eq6<Eb`(qf>$XPYD!jTMKHn_Nj1uTO`o*8oT|Bsb
zZ#d(Sg}{kZQK-QrHzn#5vo+blCu-XNRTpX5T-G7fRg-~x#1sb@WzuxF@0epxhDRbg
zyiK(?*~Ig?BsJ_JR%#pK^L7%)ofODNltH{vM-f|iY~tsh(osZ9KO-a`<--rr**XR-
za-&%cn0bG~ZMP=|Qz>BC5XPH);{!qtz^G(`ZNevj-~1wU+U>+3$Li?ETDgI$w;qHQ
zEdomlWstb4AqH@cH8YnvG?!__CnKE+7=jk6I9@{h1GDOy_Lt(yIdG00_7P%!1Uzd&
zr-y?_SqFElJJU5cA=nYk#B27~m|(~X8zUUh2|<{yt@sl6%U%TvlQnBgd?<*A(4Nxs
zjxR8pmX@Er_)lb|;ESxrw|^oljbXnbD|$ubJCVtj6D*pP^g4MBmKoWPPQM@w3vZFb
z-BF&PXsO--S9y-M0wO87_H8CMGQ^#b=a6FCWp*InFQ04uAj#b5N6MU54s-djbG!$+
zg5&_Ukzh;BcZ!^T-5dpwuYNhdew+ot@!M{-w4NuE)N<2yWRyJ&pF#0>5AlR2gl911
zDlS0S!`#j}i`R98yTP|f9bA#}ysBd`R3}c|#D~2d3RN3VD`uEsirTaFFi^RCp?Nw{
z$YKI#%Wu>EH64P$49)P3^6)HQEA2qw7?R&N{dHu*TRYgENB1g?R#St2K{9%W_wJ=+
zWIC<koP^9LD~20#lViRC;4lOTskGNn8;&ILP)XE7V1yhPjVzkEZ9Jp=6Y~1}qt6m!
zn3U@TXaSpV7Y1I}=0_9aNJy0LMCXw2KG48QArEX-e!6p-io>VV$9~+#-MbvvaGV6d
z_gNB>e#(J6f}tPqbY-3<B4qk*V{7nxk{o*hgLtk2UeQ@bg0}H-_7M(UVM(L@a&yi&
z-&WHlA}g+ZIFTfg{dudEvr@FFU0W+*``B(x#R>1!5ET|6rQI5O<`ZC-6r1Nn3HbmQ
z%kl14=#VcFqw<kL?PWDfnU}S$6LG9(gYJT7M9NAODlpGr(GSYGiwSNYUqzWzMoymI
z+yZ`R_jO*Q!#=>$HOcz<bM$(3(BND856G;Cve()>#I}h3c(-HXGNJxxa1cYBGSDTh
zoSh4k6i83fejIN65WyO*Rn$L<BK+y%pC4w9-tYyVt_>`hfw550TSL`D>zano2h7u>
zk~s<#=(B%hHn7p}H-;tBBC#hOg*CiOJcgck(w!S`Uxiif!xJs3IwrUOgniyaY2&Ke
zmq3sfp74r-s{T9|_wNK{DfUp*a&0!-TKV}DJ>FrNAn)>3PyDY_G$nZw)3dcDbsVf7
zwAgsrKxLjvk`7WNEyjSg&<`vxePTTQ*w!n|JOZV!;=jEo&SD0O<K1c5XMfCGP%1j{
z)YEPgvY=?D)T{<mnX7wRZ(kMNCVZj2zRv&64}(ob5VoTU)&2;W?j5r=$z3l{G%=&k
zSV)ja2#(}jLzmm>f4ybt+gCff(gT`-NZA`JloaiLrF}{E4Oni4R+9W`#Pe8Md2FLe
zp}Spo7a(6xNr76*YlwkW^qL_feoaMxv|&4&$tHz#C23~((m@1?uF*Tya+Bs;!o9sI
zJ?1;?89Lop$}@m2>=p!ulCPKcqLfP;^gG$CKIg1OVT>59kb{3!(HKiFIoGEqw5z_|
zQ{J)#->kE>E>N_NKq4wxu&h^hc&pvpPoKcj>Z4@9l*SYG04hJWgKQEtyU?iqiTH^0
z$NJ%O*<9g_WtH8`xsr<;RFSrvLxbR#ZnUZ4Bd&5gIC4&7*Aw4J9f+I~BOxfn6M0Ti
zK)MHcPqr{ZzL>5gXn8lURLOEwIxU#;8VAln)pwC%KYCUiJJ9q%(IM?MmapfD^QGqZ
zuGSBon$ODl`lVOv?*hY*!eQqfkv&t74-~6veO;6IVa>wwcTBFr3wB2fu6(-Z^6&&j
z+i|XtftEO{Uf9<rU&ip*kJpPk`Lc+=+{lY$2I8_r^zL8@ILH-Mq&sS9rR7>DGBf25
zDv9W2NP}sqTg(*CZNsMTbk8Lg;S{#;^XuqvE6~$l#oBg=PJNv$!P>IS@^zY|5bGO|
zRUv^K$NrdZEl0Xy7Cl4c;doJ>{Y@BIXOM~eqZ3I&Z}hw7u{&oQz%FE+t9IyE=($Rf
zd5z)0&&9Y`OdW_gU#K~9CuAC%g~YkT-QJqkFnPbsr+i63{G7_Oyh72Jp+29*xDxP*
zt5RU+;9?o$nRF_9dEa+F%N=R<w8RKL5lg#*ncj36*{ups0$U{P!u>`2mFTpLxeo`X
zm^r=jGGV3#^ukrqeRh7lm5b_vGJ$x<5>40z@or^HkBUG(Y}E@Q{wW{Nr)cxK0`zZ(
zFI_j_4qCe6W$to@-K(-gb~85@u4>>37X#qoX7tvpa6hNHLVtgMN91NSFt=^v*0>yM
z`w%qc1?$6k0UhR?sn@`!*=k8o#h=hp4;TzbqR<lRRXX_QLEyXxgkxNo6&wK`bAyJ{
zyItEdrg;xG4X0pEz|zx_Vx}q0Z}3`i$|p2~7g=<A$-~aG!V~S}e8;Oj&ol;~q;e{X
z=t<7MXYfwD<c>}dMf<w_#|r8OLJjr`Z&_#e(X)fe!+DzOIeaB6iaW$#z|C>NGWs(n
zH=Z7pSuDGd^;yG$vr$M1gei8dLQna+i`$a)x(O<@Hm3L~UJm+d@4?F6j=QhZwbhsD
zEg8NcDk7cidLjkGlffM$Uu<3+vvaA65m@6`WmfV*-9fS~R=-$kmUE@$CWYYuN4kc?
zS{wb@S4!)x6f(3O^@k&i`ZfyrG>q|t^U@Z%+ij>qSIF=4SUY183i20hss=@g(R0F;
zY1?Me<C&Ru>^UFZWjxLeIF)W$r&jXRN>V>j%JkmQ7*|mCk?G|hk}x!#IN_Mg&*bq9
z|C}n$j2cxJtNtb__^i+-t<DOxiQ0_)d)`_tNTg=fHd_|h45SU&*%j8pTF%Vb<l*)U
zxzAC8+ilBF`>Ld$Hj%BJtTeErX>L+t(Fn?pHGTC%2fD2b-t-%UUROGmzD9WQsnYtP
z9?b_2290S{)jbd2R3bw59rZ~T+5-K3wP$?Mg#F0dXx;F2iQs{rEYIPW7kFkAPShKk
zSPrqGeif|4=IBRn4)Cbqst?Z!N?MFQ$yqxt?3&N_s{Q-k=C`)hhDiG07NG6DBnYIl
zoH`j%Ew{+U7x$%fu7v`L>ns<x|Ndp*_Ok6W(4Hx5$-Hthn9-fp`0e3*R^9%A;#5^;
z)W|Glkz;ju``XK~{1D)IPZvQ`=6+c3(Syi2F8&25=`UMW-a0^f#OC+{P&8yWEOL3V
z*QeR!SRYz+E(vZ9h=6&l^$tdJ<85*!L8qwhFYfQGE^pV5%TU0F+|yAZI~A{NTkIP#
z1`piYBbK0mzIe}#d-b_6i~i0FKKs2b-K-!rXgpgvnMSIPlnggdYr)m{{(H|U_M*|f
zUCrd)5`tQicf+3dirEHAJ1)WmQB2V6`D0|nPpMqH4!_~(GJAM|&;rkTi05_TXS>2K
zADY30ChqVH$Y>g~1}>9d`>LyZ4!)PdHbpH@{Lsq%?4VfDK0SIA#y~^V{@~1N`q`k?
zYj+pD;`s{0f%iD473E7X8Z$eD&o;=pmRMIj{z4=!sne%i)_n<GN-=72OAJFUBhg%d
z@&UuEB!_BLG8Xa6ZO%0ZPie}^yDoyxuKB$F?B5&1r5NBZeU$T5kVajl^@Hm#N`qJ=
zAq<T4KsdOM_WQq>ish5HVhPhoL)#J^=%3Fl0?!!vtb%K{U?baKe|lU~6JM}D^o$^@
zVxX+u3Eg6Lrv=O<t$p5<ycF@Ps!}7RMY}EumVaKmQIk6-?)bI5d>d<0xH%+sd2?jy
z@4PzFQjF91X@u&V1k>+X#f(47S~7g$TKnM!L;e1?clfZ=?}stoPAw@bYbl9!Mq4>@
zrs;$iTF5{zDe-d&oF7uc68svi9Y|B@kYh3sJj76hlU2@7bDhaAxys_^!S7S1%-*f1
zv%wVK(w0qc^>f^(EAn&w_<_KjJRB;9%f$3jW=2tL+Lnjn8w)Hqd?bcN;;$>oK=a7)
znM&w+lp&{ohs;p{%-tBBGPxd(fZzUa)&o_6?b^&da7v*#K<>jH1aQq_ay#ORLl=%K
z9z5yUOiTP22awv?o}++cYPLbZ;ZRff-i5B(edj5JJbN*wlw|U}DdaIQhZWgEdkPnB
z<sv@&+xxIIA2*AaX^~YoblQ!QamiXok^FaP1$Jncgr2$?PKi7!ZCWZ`*RJ4xrG!?P
z<MW%Px(bO*WF<fNE<RW=IY-_8=UkPFB`qk!w`(~RVjQ2dmr?`+x{*Nl**92Sjw0!j
zUa}Quc80CHbpj7Q26dJ$h~0*Re%Zh9B{w&J(=%92Qku(8PwL?eEI%RW?A1P-;Jh_c
zVa~n!9-wTg-KZg*x7FJ?EH7X!jWu2OSX<$fh1ZH=r1dPDy`h$dzMW?YJ&X90@q0O>
z=rS9w9`Pc!y7vd+{nc6u9&ntGjrsDoI2PzBYD#jiycg`-3%EH8o_c1)+?H6vdx>%8
zc(Y+(Rz~Kw$50KL`1qGhnfjQ6=t9A}*ow%dgndywT<o(Z1JQ^qYsQ>~Q}T{;JV;V`
zjK!$gjtROGDA6vH2ES7K4j~TwDcXsxpT1eFHA=r}BuIdqJ$(oGf7>N8?AONn<)nqO
z?osQSvh-ioss;dE=n(&Hr_N>9j|EpNDI1el|L+9*{A2U&<YB9Ypa0A34M4a4+>ZE5
zS&8~&5V81QJ$R@a#^}y|LYei~?v|ClcoBaWTm0a5?3t)AwBXMMua0h?%xOYjcsPeX
z=ynt`r~!0E$^$o=pkwRk*?jBO{E9Daj)bb!a{buEhiIwW=Qv3I6f)sf5F3>f_vD6H
z4-n2n22Jf4H#<esm1P7sQn1N~FCt4S_Na*Tn@~+Of<;A-92^}BuU&iY;NbAdEGwCD
z-%G*G`0b+eEWBF(2s{7COF?1#jlH+__lLgNwO8L<9-3J@&i>(NfW7^NB_~4&`MFfq
zV^OvN>HGWX5Xf+yKgmnFdh6AjAmDf;qVPY&@#HAC<Mp{`GH+^duf>M`$~!Yj49^pL
zJiXubV<QEwh!x`^Q{6*Y#UG@&lsDjA8~^c(X){JOKVWOUG+5+x0*}EgU4>f(`712M
z1+ST&SQ9yC5GEsHf;Z#WJY~nb8ifA$0+;{67sj$6(T5-kY&zCJI)1`oTF6P3IdS7h
z&FLOi*vQBJL;M3;B1?EP6Gx+;?79^0rG7UM6}l7M)Fq%3mroX}N*S=5S~Z)E^c>er
zCivokC3LI57Vsp$)(zLK`)Q-X-<tyHCYU7v)$|Y__2*)r!p6eM%-n5o|F=Klu9L!^
z3KZ~xZSpA5MV7lVCD*cH%&aW0`L3gKb?Eooaw`PSOcE^sbCi*0Qk1)n&kt0+TXB{S
zGLZfGWOprjdW)TKPfVOkU(FIWb}g@=gS7*sa$jj_sril_`<0ZG4jeqEF^|LA_gfF7
zejH74-aq#AZrH#f?nz{{>c&EwLLj5fW>@QRfi2~pm#Xi$SalXReGI{_t5mBIn2Dvu
zb*iL+u+ihrr5-&CCUV&44j8%g_8*B;XTGx7z#%>9qffJ6Nm2*(&zTHD03>+mQI)oW
zo4M=RCS8T2MO>F^u^WQ@C7em*XNFXc^b2Wb)Y{i;M=@2X982wqU>q{%z7;a*>_7RT
zm{GiMW2)gIF(b8jFfuHezoXYZYR=hwZKnf3^}Ei|g#XxItkDn#<?))w8VF=4y0#Cx
z!&Ls0uD@8nF*8g+YtAI!E;1~}ueU&*BDrt+sHzR+c5gqo)gpYUHA@?*26#uy6W*VE
zAc|f6=-@oW8RidJ4AKJkO&3r8m41+QGX{?h89&2HVT$Dct(OT4l^8Q=fS5wu;mIO-
zbT8(#`}xghi2+$DaS=hym2x_hrLdKq@coEE8*1b?viq42*ZHAmy#*SUy_M4?-7nGN
z{xjG>n~3h4zT@mVA15^NC+4u*N=3rDM#)hK#wWj>-MpCAPy*uuf6otyL}3XW+OXyK
zl}`%;<h#&P=pP#LbvR|d6{uTGa@zmI^;fZBN6VOGSBP+<5i9^!7BV&MRh*<N_Dnk_
z)GA4e_RLcIrtBWJw0#^Dot@ovQRIn7Z1j2i{q~AS&hY~})(Vm3emqxqD2UWMgmM!u
z?p%!Dxm3Hk5%jVnv_|v%E8e;=%)S0T-ftDsB38dv7gSyDYX}Q6K~)*|<My9Y!lr~e
z>;<m>_t|_q+;q}bEDP3k>cJ$Zghq9hdPvtIhbi^{;luR5>*;}X#R_1%0|2)#!yxSz
zaTh_bWN_3CLQo?X|De5DwU;^Xb~=-d09!v2PX^wm3(-+8o(iV2KIP)aJHiA{oV$44
zl^VG<^0Ud%csH?9BYBm|hd#Vq1~RIk1Qv4Lzmidluo5emuV?*ZCHk^W%q&lJh)p{+
S@^T9Pr>ASEQ>3-?#Qy+{yZYGx

diff --git a/docs/lazy-adr/sequence diagrams/State Fraud Proofs.txt b/docs/lazy-adr/sequence diagrams/State Fraud Proofs.txt
deleted file mode 100644
index efcd9d296ba..00000000000
--- a/docs/lazy-adr/sequence diagrams/State Fraud Proofs.txt	
+++ /dev/null
@@ -1,21 +0,0 @@
-title State Fraud Proofs
-
-participant User
-participant Block Producer
-participant Full Node
-participant Celestia
-participant Light Client
-
-User->Block Producer: Send Tx
-Block Producer->Block Producer: Generate Block
-Block Producer->Full Node: Gossip Block
-Full Node->Light Client: Gossip Block Header
-
-Block Producer->Celestia: Publish Block
-Block Producer->Full Node: Gossip Block Header
-Block Producer->Light Client: Gossip Block Header
-Celestia->Full Node: Retrieve Block
-Full Node->Full Node: Validate Block
-Full Node->Full Node: Generate Fraud Proof
-Full Node->Light Client: Gossip Fraud Proof
-Light Client->Light Client: Verify Fraud Proof
\ No newline at end of file