From 1b52a2a179b046c14f90f3c2aa51b94f0cdee9a1 Mon Sep 17 00:00:00 2001 From: Emily Martins Date: Tue, 18 Jan 2022 18:55:50 +0100 Subject: [PATCH] add diagrams --- docs/README.md | 4 +- docs/diagrams/GovernanceAuthorityToken.dot | 238 +++++++++++++++ docs/diagrams/GovernanceAuthorityToken.png | Bin 0 -> 131777 bytes docs/diagrams/GovernanceAuthorityToken.svg | 322 +++++++++++++++++++++ docs/diagrams/Makefile | 27 ++ flake.nix | 2 + 6 files changed, 591 insertions(+), 2 deletions(-) create mode 100644 docs/diagrams/GovernanceAuthorityToken.dot create mode 100644 docs/diagrams/GovernanceAuthorityToken.png create mode 100644 docs/diagrams/GovernanceAuthorityToken.svg create mode 100644 docs/diagrams/Makefile diff --git a/docs/README.md b/docs/README.md index ee3c46d..6f4d199 100644 --- a/docs/README.md +++ b/docs/README.md @@ -1,4 +1,4 @@ -# agora specification & documentation +# Agora specification & documentation This folder contains all of the specification and architecture documentation of agora. @@ -15,4 +15,4 @@ Agora makes extensive use of plutarch. So it's prerequisite for understanding th The following is a list of words/shorthands that are frequently used: - **Governance Token (GT)**: The token that holds value within the protocol and is used for voting, rewards, etc. _Examples: Liqwid's LQ_. -- **Authority Token (GAT)**: A token that delegates authority of a particular script / token. See [tech-design/authority-token.md](..) +- **Authority Token (GAT)**: A token that delegates authority of a particular script / token. See [tech-design/authority-token.md](./tech-design/authority-token.md) diff --git a/docs/diagrams/GovernanceAuthorityToken.dot b/docs/diagrams/GovernanceAuthorityToken.dot new file mode 100644 index 0000000..a4be5c4 --- /dev/null +++ b/docs/diagrams/GovernanceAuthorityToken.dot @@ -0,0 +1,238 @@ +digraph GovernanceAuthorityToken { + + rankdir = LR; + // Inputs: + + ////////////////////////////////////////////////////////////////////////////// + // governance in + governance_datum + [ shape = record + , label = + "{{ GovernanceState + }}" + ]; + + governance_addr + [ shape = record + , label = "{{ Script | Governance }}" + , style = "bold" + ]; + + ////////////////////////////////////////////////////////////////////////////// + // proposal in + proposal_datum + [ shape = record + , label = "{{ ProposalState }}" + ]; + + proposal_addr + -> proposal_redeemer + [style = "dashed", dir="none"]; + + proposal_addr + [ shape = record + , label = "{{ Script | Proposal }}" + , style = "bold" + ]; + + governance_datum + -> governance_addr [style = "dashed"]; + + governance_redeemer + [ shape = record + , label = "{{ GovernanceAction | MintAuthorityTokens }}" + ]; + + governance_addr + -> governance_redeemer + [style = "dashed", dir="none"]; + + proposal_datum -> proposal_addr [style = "dashed"]; + + ////////////////////////////////////////////////////////////////////////////// + // user wallet in + user_wallet_min_ada_in + [ shape = ellipse + , label = min utxo> + ]; + + user_wallet_in + [ shape = box + , label = "User Inputs" + , style = "bold" + , peripheries = 2 + ]; + + user_wallet_min_ada_in + -> user_wallet_in + [ style = "dashed" + ]; + + + tx1 + [ shape = diamond + , label = "Tx1" + , style = "bold" + ]; + + user_wallet_in -> tx1; + governance_addr -> tx1; + proposal_addr -> tx1; + + ////////////////////////////////////////////////////////////////////////////// + // governance out + governance_datum_out + [ shape = record + , label = + "{{ GovernanceState + }}" + ]; + + governance_addr_out + [ shape = record + , label = "{{ Script | Governance }}" + , style = "bold" + ]; + + + governance_datum_out + -> governance_addr_out + [ style = "dashed" + ]; + + ////////////////////////////////////////////////////////////////////////////// + // proposal out + proposal_datum_out + -> proposal_addr_out + [ style = "dashed" + ]; + + proposal_redeemer + [ shape = record + , label = + "{{ ProposalAction | FinishVoting }}" + ]; + + + proposal_datum_out + [ shape = record + , label = + "{{ ProposalState }}" + ]; + + proposal_addr_out + [ shape = record + , label = "{{ Script | Proposal }}" + , style = "bold" + ]; + + + ////////////////////////////////////////////////////////////////////////////// + // effect out + effect_governance_token_out + [ shape = ellipse + , label = + ]; + + effect_addr_out + [ shape = record + , label = "{{ Script | Effect }}" + , style = "bold" + ]; + + effect_governance_token_out + -> effect_addr_out + [ style = "dashed" + ]; + + effect_min_ada_out + -> effect_addr_out + [ style = "dashed" + ]; + + effect_min_ada_out + [ shape = ellipse + , label = min utxo> + ]; + + tx1 -> governance_addr_out; + tx1 -> proposal_addr_out; + tx1 -> effect_addr_out; + + ////////////////////////////////////////////////////////////////////////////// + ////////////////////////////////////////////////////////////////////////////// + + ////////////////////////////////////////////////////////////////////////////// + // effect in + effect_addr_out2 + [ shape = record + , label = "{{ Script | Effect }}" + , style = "bold" + ]; + + ////////////////////////////////////////////////////////////////////////////// + // market in + market_addr_in + [ shape = record + , label = "{{ Script | Market }}" + , style = "bold" + ]; + + market_datum_in + [ shape = record + , label = "{{ MarketState | params: A }}" + ]; + + market_datum_in + -> market_addr_in + [ style = "dashed" + ]; + + ////////////////////////////////////////////////////////////////////////////// + // market out + market_addr_out + [ shape = record + , label = "{{ Script | Market }}" + , style = "bold" + ]; + + market_datum_out + [ shape = record + , label = "{{ MarketState | params: f(A) }}" + ]; + + market_datum_out + -> market_addr_out + [ style = "dashed" + ]; + + tx2 + [ shape = diamond + , label = "Tx2" + , style = "bold" + ]; + + user_wallet_min_ada_out + [ shape = ellipse + , label = min utxo> + ]; + + user_wallet_out + [ shape = box + , label = "User Outputs" + , style = "bold" + , peripheries = 2 + ]; + + user_wallet_min_ada_out + -> user_wallet_out + [ style = "dashed" + ]; + + effect_addr_out -> tx2; + market_addr_in -> tx2; + tx2 -> user_wallet_out; + tx2 -> effect_addr_out2; + tx2 -> market_addr_out; + +} diff --git a/docs/diagrams/GovernanceAuthorityToken.png b/docs/diagrams/GovernanceAuthorityToken.png new file mode 100644 index 0000000000000000000000000000000000000000..60878f1d20aebe30f8d98da629d71550afc7f90e GIT binary patch literal 131777 zcmc$`1yo#1yDi#8Ab61A5kcP^ z5Vlof)ki+y16W-tvG<_+hd)1Rvm$_Z;H|_}Y=LLsNZ{{**}Hz=bdbb*p-)azJF|{% z!Rzt-=;Fy-|fuC*9ZLKR~0FppZY{?I`YOeW@u<6e=1=j%}<{E zO#EwZgzf#^TN-wB_K-sl0iyLmo^$*8@%5@cYxES`*_3X59G@?K|7v{p4rM5B-~ZEA zK4*~E{OjWm*3|#@r7n0I1f08aI#BEC*q6+2w$1cjQz}g?l+tW0w+u!2;d@s~)1wYZ zNlA~?bCscAn|)EId62@#CH3{m5wRJ_Sy+a~em?$SO<4)LCUAUmLR&EYa5-2@&6nh8 zipy#NBocrLwZ{Rzf|Rs?J8u`ERa>s(u6Zq+lK$^ua%e7#_?%W0B8{Exz zAvfGsj&_v7cbwGmi(G-SocgPd>{dngKMI~~t59-og*flHJt;O$`ZG>7JSU6ep^xRa3Sg+@d92?2mJ+Cy#|6 zz9(O#*5Wmk(vmdnm0MWq#wjEE^=CL7{#@E+%!F5(i9F;bZ_)W$xk0nBa>rBOYB<8; zkCo?gboggP`OM{hQ2W9HZ{;%Cq-Hb)KG!U1-Qfsn(;Ik0cY$R7Xh?FAtpk}?78Oyp zJ;t9e=YvQ#1p+@a(~Z}bIQLYAI4-=+-Sxm>3y$4pCAjRVNes4bX~|WmNWT8mUVPBb zTHxk>rS!$_7DNq7ZL1w>rmh%?9VT;wg1BWrI5oRU_keLs&!8-gB%l`W1hM+DO`sLM|FlNF@$^x7ZE&oz_=i3^IM!l81>Kn}Ju0d=feae#A(raecC>5S zv55hA$X7BfShrjQ#&`o`v92_Yg)JH^9+uIAg~k2g3kctovcsF67t@!)AK8;8I}RG( zEys^CA$42p^;GBkhy`kswJ{+z;~Basbxw8+xP_yc;80ilpy}-ptF$`hw92)`IW;pO z1zJ0aTQ@f{L=3uY28)F*7O`)RsD$7(=Zvssep5qkb{UM-=$~bp#Ac~`;qN+-6Cqtc z9u!xah-`Z&7i@7@zJ9&bcq(eO|J^5zx^z%qr$?_=lR6;~d;0G78o7bX?V>PG_%SRv zTbNKhM6eG2)O>Y{F%Ykk-%-q3)cq7KYSg$`QAg8EQBKXRU}qZo=z&W$7V=W+`hhELzX8)Id? zuscAG_n7oFKLZ&elQF_vztZ=i*5m$c7lomhY{b zK?UR@Ei&n}V_}xx)VWR+K*K@tCwOCcDJfe}ZXW(T+jN;B4!z*2NPG3J%+CoGxFgT7 zLF2zmE?;BYQp&Bz*apLQ5i|y9rNQGQ67nMTcM0 zqK|E0^tv&LyLduA&iMAkOY2iH|5}S6&ih=g80{GOgms>{MjtmuSoCYm((!j~RA1UZ3%vy?&Uxy@drLCgLk_pRU2p2j-2B^b`~ z4CyZ8M0=;7tUPOyO`@Fp?&a-EAm@Qpj*E@WYH&)?w+D$CI_CqIR_F$(cY4RQ8=r0B zJECuNo+ikLUc2}|#t=T-sI-S`sPvtz7C;W<(pA^!Y?>z{nqy)XG83zkPUgZvBjCl8 z{eJsCm}_ZCy27wOq@5pLqgYN#HKtVWx<}>a?ig`!6CU8Vl=ct zt3*^b#=DCCE^g)rl7<|o;ZnNh$l;+=&u3i9M1_o|3cRL1xDh@7(BgC}B*nXUUN3x& zm}2|wvGmX=cj|qD_P%|pVtS5@+f2K(k#E3tY-R^{o8^*gXZx@c_?*Szaj4V3t2R}pIq&jjMPMbZ$m_Z?*C zbVaN~=eyFuoaoN`rG1Qx330xKl=!`Atzg{tfzN1|&gFcY(jY}TEZX#nl7P6H45=l9 z+3uDvh}?RY>*705m7u#-f=UGzpNb^uwWbcn|WzTwn2i)TL4)VFw4PkMSa2#U$qg_wdu`!~~WPwU*q8!BTX1 z?EKbGM^>&%oBgF#h8izlIwaOKR`!}rU_Td?W`p`fO-xK@xDl!i+Yb?r*fHFJ_g&r$hq3?SmT?aqRLp8gaHM zxe6=a&vVyJ`F6w}pm*;0V*4xhL3bBnqU`68C`wMn2s(jLuEAGD8j<;or z&K=vELGZNeWzvQn2hKayPEq&{lho?uRA@QA1CSljyE>b1#-XW^*&4_x-D=8}=FIh$ zd?N7ygqIZ~&K~f0USYPCZ<3vf1%sSV*d?P5(rjiOJFQL`QNUWQMeNrV@s$EzqK@gx zs>5mRVXaLmg6E6P41!h{l5}T8&WG--aQXfU+N-)9{n9DWuug_??UTO`Lj%E51Ldd(cxoNU(^*9@vQk2b1B|c&gw;(qd44#AByI-B{nr(l0 zuZa(bLhwU8oRmPo4F~v0&6n&U8Xl?2bK^b6$H#|oqxTX{|5skN07;9^_G_T$E2A+~ zazwJpd?t^HhA%2{+w}DGn9gG;tcm^$(AN+V5D*xT{6a&<=P0p%Ls}3#oF#X>nUyld zgY<9#;p6d-G3ZErVsdhEds}L`E!cuEpu=pr;mgxMz}Rmh7C7Wc9D_<$zc-#8NM$s& z!F89E?pG&&ry{@zF_Kd(imZe??9Ft3eU4~O=u^``N=6p-PfFtaf>#ah^}|^HX-B_@ zB%RPCpdB6J>gwtb$G=wB(C`lkDEceC0S;qi`_D3*aHY8vsrF+7GUB0$xI$aE2#;$z zRB)n|Ut?=hA!{6y5uH?Z0k-u)o9&Asm*`GpJZAQpE4u=-_tsn&YFE$3R(8Lq6fxX! z2d!rN>DgD)#qRD{cOJot1iZ?+z{j;NDQ*@J_6Wc}Py6NQFhjUocx>DWhN9v_p20x~ z+wTQ_i>b_CN%LGst}8t*CUV@zVd|hQ&<+kkiXHOplBEo~@RGi^MCK$O;xO#SG$bl{ zVt7C!8# zFhMy*MtmNB7A(XyHU6O5VRxyZ{;ud0=Y4V@I)!8yucIZ9S(1|8 zM-}4}aUXxDx?z;xq;wzq(MP;Sy|Az8_8LWG0)eAz&u-I2*oc zaF%qqLDhY^{pnk1^{e*QlLN)<8o{MuQQyj!h<9#6;OkFU zlSDU}_!Y%M2j^Ms=J{^doe17c-mQ;zrf+sq2A>HZcgzml`1eq6vun0$v{fBgQO zql@E13+h0m{&I{jI#{Lq5usiqe2aZ+ux9#Y-E9p6@txIXTx7&c=Ohs^ zG25L9=COQ@?p&2(92Wf-i;Ih(o7?mGnTkU`gdD2o$asX^=?^0$Az}Meh16GbUho7- z+;C}^_lwsB1_;qP|H`5cW|x++nmAdCF7pHOXmA^c}9S+a?q~?JX45!Oo zqRpo;=7VmlLm@o%e9&WsC!gvP#KKi>#iPSMeXuAd6lq=61jbl9I$0XWN9lDHSiK9NIZmo zU#7BT5A*Vepn}J2b4IlcMqjaqG`PyaOt_W>ytF=_OzoP=B!A*E@4-(dOgWS{e2>HK z!PhKkB5})5%$*^B@;HG7^s`a4qy@PfyYAUoOt4bz89Q^(kX0$eqWB96LnwFzfkvUx~xl3U76N0ourf~y;zMjg^x)uK1J+rv$H z1V%v=awUC}3{R}oay!>z(`3EY<8_{})=UDRw!AgblQs$I+3NzrPcr#V<9FWC6omKA zU9~SxtK4Oan;h5A25)gcCg8AMalNXWZCI3f>U_MaaLu$DNO;l3306Jd>Mk~LQ$!4;ubCgeEe^SAd(~a zeH9^d6MB?lokuIyu!UsZ3C|@`*2zRqXk@A|88zf6*EZmiF#0PAji}ii5T`wMq!M_* zizZL}bcIt4rET^*IMcEUjc@tp>bbof*m;k(U)dsPf?s>Ud8x^^<;iGOIqr01c}*!C zG*OfO#djmTn^N{RoG^O}~BWvK-U) z@!<}1!XpPzqmbtPYF`kBXWqal)7 zfhlM@Zd$iBfLXf%^wrA?9v*&irqZ^hrR88;3vzfi4Su??vlCQ&9D&IV3D_wbsL&&0 zv5lfwHaZ+nS}|@3$Tp{)js~4Wj3B!QC+@zccdeZl1@nnLD0?eitNuycoX9Q?Kda=h ziZH=4#Vjc5^W_N`)E7Ve5ih^Y7nP-Y7-GcoWnX_JE5Z@G&}kx`f$V$6UDtIpO)hJv z6a|%bR&wq7+O^jIz{Z_NO8+cEWx0pA*w33H3?$B%J2|yAgqYs@Nip63mfYJ~elJkB z`2Fg*;XN!3-1Cp;w~VpHcId<_C6Eoi+5Ru(0$V-RePVIkn<>_F>eaEs`|Oz;dTxo7 z_{Tei=~`8kiAJC2_Icf4| zE@HkmJ0tVnJAA@?Z-1AYjQ+;S{)GAf!T?_MfoiQu%~h|*`f|F4GG-oFweE}&x9ynz zyO|>O{R?V8#iS-)n=#SZ^djI0nPo1>8Lm5&#v(+&aQqfF0P0vsW zc_N*1jR#ZHB_e$6Hite|Sm~IK{1Q6fn^h^&m(We{^aS~!68C+lkeaB62*xmKt&QcW zJ>b2F%`@J)_I6(YEz0L8(g(bv6$LgNbN(Iu%1@gOzH^4D<+8d*eO!e;#RtBuBbEvX zS-wg7WpeU@clp!9+EvF|o}bcX%-Sl@T7&h$p_Prq3Y?4QKLsrvlO>KdU(zGSzR+U& zqQ$_sdTmCKXe}#k#k;VU3`<&oVe*{GPq{v^cW|>ae0h$=oRVeimy}97zPW0te}d=V z6oKG^!am9I3D{v$@Q0ZmW8W=X^7D111z0n$euc_#$AG?i`c>wq+Wh?hys@jE3Suty zguN55VyvYJTf=uD5w(-AecV0~_zq7i^FTOQvEpCEZ}*plq#QN>{E9SN;-{D|rc!Jy zaJ=?>dBm9(!<5%%dxt@hF18gF@wKtyX9o`+KW_YYB;Z$5p#)-~MJC*C<)St%l0GHX zqF5=0NV|6h=&wjawQ*qA`%|ds=zTeT z&dko@^1HCr)zyJYOh*wM9UY7GJKvq{Om;@o<6BxKsOEhx_Wtx^?HA)>jHEl9WAsqQ!FaPC@A> z%T?#X?F&<_-O52Ysc8|E_cE5;9gCKvcUPyFZqP9K{0m2v)PdZeZs*Nts&?E$2T?R` z(f8J(*RjkA@(~=L*&s5vv3L7mU1jbV*FN#rH+Ec#*pMn290?U)xYL-gYB4)S$BVi1 z6(c+DS049h1|CTgI@ohkHxwzby}IQ*4?SU!gyZe1#ZMs&V`c4^bi)Cr=f z`>4NTF%M-gFIxAPkM<^|RDKI4?j43H4dFjC-b_JJtS5yxRvohL4oQgR`>7?5QPr#* z#^SEGh{w&~a6Tp?-$t+(Q$kOyWa%&v2D1CfO-nAK?vh{!a$IoM2+b}l31okk}t>W{kB&pCQVIEh01g__jlKzAbidcG%``Ey&3MMrMt?|rs3fT zJa*GCAfEx^uxO5A9y-Q0aIcaW^(CguCh#162T-ke5!5K$CB$i-ssiRm!DT{Z3M>LJ_pQ3!$fxuzcO zr3XF1xGz)simfxrBO9>tJk5rU^k~cG=;tltw2D9l3^?6idwz%L6N9=B%5eyWtsLui z9IhMB1*}ZH`CATG5bJZb^DMDu)5wna2E$+ z^f6N!7mw4jhjZR7Vj}ay&vzwe;~@Z|DYBg92_Y7gwXZ=3~l2d z6iBbfw8~QsL}0*jD7f%)rCn6+C!{)26g3^8?Os+ogS_W+P%#-gb!SOQ5~^m*S17eC z)A!(J-*c5A;xtr{%;1ubX$&m5A^ro1*(53`KQ!CoR21Die{x#>S>oEttJ;K!0 zVx*?bdRa+LrZ#Ef!)Uove92qc?^Mb+cl7!b|D@A+0LlngN)YCtfs}>S`YN)d%UTi? z_%cCTtJzZQxBA+0VPg~-bR&+{FuM=?#Zo(IJxPusKV}okmFNX5Z}lQNy*qdOmiggk zeslZ?$cbWwL$TSVj&Y907M7Mq`uX!`u2y~WWU-Mga7!$lwPjIAM!uGcrsLw}ji6Ox z=!#*KJ6`L(T#eB}?`Kpi15_qQBOrR2&s2mfWXYmoU^Mq7@nTGW%2f`Zt92c&aki!T z^y_V%+ofhAvYeLH*l`v&hC@87KmI$ek4I^tZ#EMHScsp?(?M_igj!0sag_Z7{G_F8 z@R$c%@Dz3RBKB5Z5`$roa{VC%%YOb64dUXj8!KkzGU+xK++Og?&MnNWvF`-3aMdrE z8D`|YTZN;q=QQ}?GHb(yAEV4>dc}`l!?UPyf!wq1b!oYUa)&V6T7a=$bnGM4RQVx9 zjGV8ezJd!;)EwvlYu`kya_*tEf2VadT`$g+fiuB)h~dgw^|i@+sQZ$1lWFJ=Nbodm zBYpI6+|f5wj-xty?EU-)g$u)Jm^Y5AqaUGzxm#pkH-`4%-;neggq<4);QRTESuG*iT;l1>eED@I-NXq?6+Cy_z>4V z^ItA3x2kjD^<0=F?5PAJKM;EFGU)|Fo_nb!zzw8!BROcXf>`U4+L;TZY4Ke?r^)B+ zzn~qAKJUg%w`1mYxGf6|Y^%RQ?Dm|ECvmGMf!!{R3cB7>LeZ*kYt({0o+ajF(&b>f z%vnwJgRx5OXs?HQNV3Z!TL^Xcx#L`{#`HK6cErcYbm~;~>{UL+EnPwwnUP_j~QvW=!nPFVs3BVjKt|4++x2fiDwE6?_JCIuI=JV4)B<8DF6Y z6^|1|1l_v6#sy}i1jlEAtFHw^6Pl|Alv!%mLsO2~#~^5Lqkb&XAqT^(FS+5?_|=`- zpx-HI@swRfYcQ)wlY3L0ZM!LVGSbz{2pI)u`_w{Y^|v z{G|*f1qu5gEw&Rw$N`LIHl9yW=IG$Cwl$iQE*TZ@6b^;SsE?q?uvapKfV(4}omQpT zkU}9-I#znhg4XQT|A3 z0pt%8=3@BCeK(diqJ-Ai+0~1c+gv#c%I(Tqf{MsE)l;b@zf-|+^XPWl)2+_{gyC|( zV!J$E&wBgi323B1D+Ta(*Z|#@1@NQi4 zBKG>xxYQP;C~;kBtH@_@XSu*n{8v_4A0*Cm{;JmCaFIm^tb#& z2$fk=$E4FpD*KkG!tskWaF;=HH=<^^ z+zh8%IUJ5`WD!EfV%NQLi7jGRw-L|Zb9=FcFYEM36!!BViPfz8F?Gd~Q*+@8tb(bX zzdku}wV|gNfO34s$#Mv-%0-Wgz98kO#SGtOF{S3_QSG+sl&W$=?)Z%QlPPFu0wkko zU=EJ^1&?>j=h3mSM3t3spwN4BW?XdicTn9{D{E^Ktva`dtrnnvsPc7zaP9itM$!uw zx#*NhL{kmLM1x6-yKV0_ZiB-aJ(xAyF5(Y{sQNR#oe}rfi{p`;=Wit1JL`uJ>&S55 zjM=@WjYn~7P&w0gzIMMmpT53f>^!zEFW3xAxYC+cz_`;&oZIO;Qkb>iSLjb_)m^-~ zJO*Y24+swk*bGPw*jjFlz!vkcIv)}u0RbY zXX7-utcLnWE1hLTnSk-)csd2jaKrk@1OpRvr2Z)8$;kk`{1VNn+vQO>wF0HCo}S56 z3AK)nP9nFh4}j_QN>yQu$8vFj)dJhl+lwqHC}=vK?>^0sWn~}248RTyr%PY}8Q*thB1+q}9{*jz+Y<#f)IZW3z&>QVc19d1 zGUV^dEuZ_^v{dsh8||galAscRmimfZ^r-~4hv&NEof>W&=Z;9BV99<%4+!e+1Lhq&?YO4z%RL4bj^uLo-(5r zbB<%+?xLg|D+Y2Tc&m7_~8wfy;54y0C=J2|H~S(#6pLa>NqQ zl>Ta(;*8*_;eWhQ(eAF~G7VIJtWl0fI8fMMmR-w5Hn*zJ#u9jyi|GTVUa9Z#fk|y| zLq5%7iLx!ccnP?qcFhJY%`C=FSP z6~csDy;skarDVdQ++XZ*W9)Ic&64G~vs5BwG6gwh{{qffT$}&T2@FqDBO_LeJusa{ zM2Ot@Gqk&U&7j*|Q27y?{>9FrTUbAgr#EXi?u;V|r#r%;iwl3wyW``|mV#eN&9BXe zdoVSgTB70c#Y1TsmScGW$foZpU5kZ~E;lUrq~A6*w=H~y7rW_-AwQKf!yQjYu`D(` z6p6|$S8Cy{Z5~hCmo@#zT}2AyBD3s87i@aQ=K&Ro?h`n4sQm5xlNBox>eUXx@EDX# zhCMjIX4G|mJAZ%J2uHlIy=}HV@P388P`mL77M-&8KXaW-ybNDrIXm@BwR9^&eMvA- zWv0i9U56`@z>uIc{UledEnmnWNP5*57cLDfs8?G!W4ynsUlB#9yHjUhuJP5{)Qy5H zPXjjXa;XC%TVL5@jLkH`Wz3A!?8i2C?$&>y-DW~I$Am<-=XYp7`N@Y{3Q=z`Bd2XJ z7%|AQl>jM1;bWRmy+m6oF&v)E(&lyA5?y!Fh# zGgrMBdnFkn$-tUcUdRxg{2+YoMZWG}`!qeO~G^8HwH$=McP3`LEdHf!rq z?epQj&uS~X;FY6b^?^&)!=Vn`=9Ws}$YVC>!b~{1Wpf8IGoOfv2pDn!0zyLMhK?A< zltI9?xqNZBEYW8&TV=01-OUY9 z%KE%(G*gusRa*at&4-uv^Y>r5rKk>tWO@HvLK@!FI#9Ve;>qQn`I@n$+*nV@djf%u z&1dp<$o~~*p?klV1rg{D7TmmY-yCWKBaBzSuW-wvU1x5CJ`mQ%4rM+gfT@Xqm-7g?2XSG zN@*+vI$9Guhc8#v^}e!*6)ue%KY=xBNAa@FiGk9t@eK3ALAjt{VpUiyO10nOxmOE5Oe%sB7%+^8%F2#pNYTp-wX_gL;LP7QUF6 z*w#q)(*`Zbt%$gI$J1-4^(04NcOhk92m#(Z{bG@vUJsa#1#N;34-Y{P_*qWi64)T_ zVx{9)D2N~f7k_Vw?^hNzr^ss}e(M= zO?!t&+B<#lww4p<*r-=#(FL*gI}PWmiK&_sG=C3^Oip||kv-g^W)pT0w%i%IsAZd6 z%aTGrB^%doCV!o?OSi=yJBnP_E_g~N>$1bl=b_&3rGq1#$QAC7K{e-?YcX9W9nS{u z`Q<5G5s*M%PdPa`Spn!Bq*$QYD@N>o(%|87f9nXya~00Vl)?C%9@+_1yZwWM%p%J& z;^GbZENDbTmcy0*c&nY`YD*-XiXGkYuy9-I_-R!xT%WOR34jCM^G){Cv z(-xI;R!ObhE6~K$6XC~qCc$7umvYpU=n@9r$WWucCCBx8YcLa0IUsu4*|gx*1tuBg zMfN6@5XqiI(T2^fcEZNK>{@|c#fi4Z%){f(9>w}w*CDHM@e|Xne+?IoWyue zd%MbaLgA)X+!K}05g#=WZ;Gd8BflU#txL1Dl7J=VZKx}Tzrc3tP`$Wk^I2Kv_*aGYG_@Z_!Xd$ zBbOt2xPAA9u%l#erB-Rbm4I`q>mEJ zGRs=-knCho*o+w+F{8QGa<{Vs3jF3omZ4X1pBUM*i#8 zZ>CyiF0s}V2aq(<(oOxb%ulgnsBXSWXyO7=;d>F26xhGQQ@EJ3bHqWcRSs9sDq=31 zIlGU`XFXj0pTxwN-3_}4l!~M%miqk$Pp{4YvBTL=z7izv?dT20)$Dujr+eKJ=RHc) zn22Y2e!8fVg?!2v1Fg1EkepFyC9_|ZEurN}5z^aMp#F`mVT#poIK#2VSlQ}3EE)le zh$Zzz^c@`(tATnmYI&L7^9wukC4rc%7Sf{ z@AR~O>)SrdRiEXGHsK{W+#dCc_g7eZ50He~pC3rV*Fb9NJu7L6BygT&3+-^llrgki z-L$r|BM0J9jq~vkKvTwZSV(?(^4y#-`Y-V7*FoDnQ=nDvaeun9u%HcChyW!2Ex4(? zc{kY9ZK4X6o3!kB_!kUP5?9P~!TX*jVk4+kg1=2tz3$Slw+LA*FlSCtmT%wgF?l30 zeWRE@v$dMu-;o~nfp5kSI~F=^PqJCUwNEC<6Ij`GH5;8U`so(DG;vGVRJHK@rpN{^ zOCc(4eWUJEw_DPzphxe5f6j|qj}Ti%~c-_2L$X+ ziIy#r6XNRd`T}*5skAo+rb^B0M_7ssYCQ$`a^ab}Vgd~I$y#6UU$3Y$1Q^Y=qv{d4 z2g_63{8B&HU{SvfY@Swvn)eFi8|L@_7$l^Q9y{4!)`!AHkQq4=ldSV{U)UbHd8n1e z#$kva&Vtb*cle{SXXjL@$#4NFT)0Jb6SP2eoI=lTb}kVk}nZyH8L!@=nQC~TEV zn~c16k|XKLiV7x|lMQ{druvPxAl&A`G_gmh5AfHN5!92m|3+rfh>`j4MW-E}pBn)r zXc@|*DExr>zn!4Rq@jhkk7h_=tNH$8A3IWo7TbgV?f~#yKm$0%!m&l0qGo&Wd81Vt z@h@11z7bs7F6?bc``m!#*_y4fk}NyA_Dz5M{^S1u&N?dk@IXX>{zs|b?|)XP-oshu z3}*|*@gu}7AvGz*mXn}4S@(XScJohrw;0{>a36F|>2*Cnm7ysAl|{WL|Mm$3IO{(Y znfxn}0%}Z<)!^vdtXpyGYLZf z&#W?qHp~0;J@-{lVZe_1AB~x6Z{}a?mGMaPzY?3sG(p<=5Gw!t=_R)tzTQ*X53luj zilR)rLw_Fn>rf`D^m&ebIl*HNXw=w}Cs|PVDn|v1#?)FaQ}c#J{b}YKdRZd&lD%6g zQUMiASK-jL49eTraM#=9Bsdn5Gw6*3|6{F-Cs%V6L(7PX zA^(S7YgJA0Dv}xGKB%1LOlJvu`^|_mF)l*A2o^7hby6ydRLh!*$6YlZDf11-iAfvz z{ALe965;iQAnu(d^VDdKgpd3Dk}YMT#c@{QQW$FXI%dYDFFhCUHd40CnLdpQ{=9$6 z;J!EhJVe1e|G{f>c6>2VPo+_Jl692`TcIX=nLm0R)W?xv%Wt}<&qksVRrAb4GrHbz zRA!Q08U!W4`5dF@`t?Qfn6LR6JOQq1Kq}$(%NVlAY?v|MP`!JktxQh-zLkK#^LvF< zpa@J?;iFPMx|wHE4zK08J1MUEY;D+JQrEHxhYpMDN9gsZGR+cQe%6S81N|2N0rV?F z{~hwL_I*G2#onl1Fi8MrRhE-p46Nif8GCcR3#K6aKUtM=*T9}ZWo9TwibA|%_k_9{ zR-2#IOAc=S$7T$2haswVruO#TiLr7py2=hQf5_;^GLN{wF{P%OD&WxJh~lxp>!B>1 z@munN(Uib4PY_qiC7DI2wA#o5W#Y1LveShPg}{y*G8)<1xu~v-C#1W#;n`DfS47I> za9Fecf@jG8Y;r8buqK_{$GDD%5y}1aRlO(%6Bn-oPNG_EkOuR3+#I)GtH1m8081g$ zq`Zi3E3T_6E2VFc6TdclWv5-Wmcr7{KSm8!B7%ScJ&QN|pyf7r#r~u|)M{NO>2f~~ zc_(BfhCKBa%JuS%xaAZujkG2VQXDY|Co$n7a=PrObl|qD^&IyYWSX)!77aO%N_i-COpjET>v$*1m+jaH|&V%;dJ`uts0;tcv z?z+mhyN0M%<-3yz6eg0$PUNnEQ#(CM*)0)5;?Vnp-7NU^PuWcQK843Ew4 z{OG7&l`wizs0&plF=)P_>KmdsEZQ?zYWS82y|E=fo1hcDw+Wf)40^1_d%L6<>SkSht1HP^X(TxffN9yi<2|Y+v6u6wnL68_ zF>ikmn1BK)V8}?KmAh{T+uPMZPtA0fctc`i0g3Y&I#Ppqn>2yinzX@n=Z7*zg7$x* zG+##5hKszeBq%Chv#AK|NGP?f+NoQ@3rY?@j&G=f?SKn z@mkl?rg7BBqMz^1FUr&xeagjq+v~aI#&m)CN-S?_piC%IJa={JeRwED?>5pj5pU{i zbka4`K{sREK2I1sYr^;C`4mfrD3jqc;i+=E$P$7eTkAR`&G+*z-0=6=jD%CC`ZH%I zc8NF0r8W6Qu6u7q^D4fwJJ9P1rgU|YjqlUxmfKi%p9didNW8lNN=)P1_X5LjF1GMN!&EhfndNx9f9QSQ|i+Qp{I3 z*|zrMQ($0V2qNN-Z)kX{=6f^)e9B@m#RdYfCcr&F?ZuD2TG`tJQUC%30#VFW*4egN zVPD$a?M;E)J$UVt1A!cRd3V?1FWzhgp6~9?^I=Ql82j~+43ERy_~EEHKnNR16GQ!* zR+nqUpju>9uV?@SUH!*yUmjk39__|Ca)G?te8+@&9jC%ttNw#Q`1LdWTD`fZG75M|Kuc zro;Ld);el>(7WYx4Z5TMqGBI@YbE1h^L}gvai*icby(s~29|$@J`8ES3=r`(aUX(x z=t!NrD*!tUx0%SFj}>V311`#rWPV=2ztBEBd|Y{w04NJ;s2YEDf92bQ4UkVB=nJ)G zO+{XF80JIiLK2UC>c=!uKnRQhl(bF6he9=Ha#vSZKu0v%W?Ff!165WoF%Exlg`+vI zJ}mho1Zw5N*J|aKt7)MEq_1Cl0%(@S=|H>3usBZ`V3ESHKm7ib{TI<(^Ex&4L3;yE zhJ65OE3YB|=?g%{&47l2%j-ZFMe}(HaC(-Z{Hb<&V58H4j&{)g21dnvs>B~q9_HMR zWgch+HDB^S<3jqU_IKsg*_av_3XnDrE{@Z!QCu#o*MN2O-@oivu=@j{Wqn8A1Oas3%lva98q@3pYN@Czm!nykO_B-eIqkOQ{c} zy(njE*U2WtF1khbet$Yh{aA}$;Lo5@^%5PuDT-F<&8J^40cEG$UYwMXnihNfEaSTz zwSZyEbcJ?>708)8nLu)Bl^cweg2lUbRE!Qec^o=%G; zp?_YWIq0x^()H}?+ULi~)ueeqv^An`?(UOy?!0-brArUy1z`MUYMh71bo^^R>7s^Y zO56(Vbj&5pMYO0de8RP&ZHBaMtg$X~X@cbz4rMAPOJ~=-e0?ku zc0Y3-YWGef$aY;q{uAxpvtj|_exhzYyF;x$V4}sJtaApX+P9`+dQ_8+nvJA6my@_% zJ8KBsETa4Tp%gE%0nglfP1bDrjHPLC{pxxO#Bg&c1K>Wsx?i77^3a9Hc(Dg@*TNME zu#g2`pDpZ;pqj39;9I~AF)+5!V4M&uS9;Jt+3qFGoy4;5Kc-|E-xvSvEA@Wfo#u+m z*2{Fja&f*Tp88CtpFefo|DJhW^;iGlsg{mO9{O=Rvx2G z0o3F}K!eo9xuVMKNK^h#bAe6EMH{lOwX80K`N!)w1!8J=a2LbB*3Hkv@I3$f@^QEG z0;4A9vCvJKaZ8I|N^3GVH`A;Ja+t7+mN&KEF0~wAFYJcUAs}bQ+~e!_D0;yZXE7BD z^Gm)$T3J7^2tv+%`z2_zL-9AgpidhWJpW>k4QvTY`ncamq&@i<1eg?bHy)V6mt`iZ z2nDu*0}CW}y9dlEXD?C>FMpS$RCt+nhQKtS)gMtvBv}Pn%WMstpEIEs?3|!zh2DWU zLH}9R0)8l7b92A5oiypul2cE$L9%C3F+MII|DpJ8tXlS_B|Z=qE;)gnUDFIJuytd) zyg-K|A(+R03kR_HmH}%z^i!d>P#VB3aBT7#TC+BfdM|#kiM1a2K2&UpTMZk<%o0Ux zNDx$a8+6)alU7?Ev8d?a2fdC4>c{^d(njrH(njor(*M88a{HUFhqlE*K1uE#&G*ZL zZAHR5q7!}Kpx>K4qCTitc;mT_4B-Dp)o2Fl(j^=1|KEg-It=k1lI7}n6(m;-pU%GK zH&ZwGdcBhqa6P;1dWQ5y&58F4dTMT6Z3hju^6101fO_xolnI4cz&zq^b##4y9}Myd z3=9OUC(?s$O_U}`5x4lFxf2{S zgxbvLl4>Jq9iz3x^5EB8de@v1!1t3b|Jc!?a900vqeEh;Kjd?a1~_YzK8^DF`s?}* zyGMn`f9-N8oHmBaVQq$OWAfXUfJ%pa4SR1FmzDdxrRyh1-)# z%SbSenNK`G7d;&Nz2ts$<+hIF8sE;|Pap#~Xtg^qa%O=1U!_#r5R_J)fY|f=o4!trHFMr2Ca7FEDA}Zs8Y!=)v zcRE3klsv{gL}`)$71ihhqWti0nHeP0uYqQtr`*Bhs9* z_|f=nw0q)}ZPI3vmvZ7nIV$~A#0dJ&=0(J2FC?oOWX;V9 z@T;n13gi7jiGY5w+(O5IJm#*lZ^aJDi4CIB^bK_`*NX5Kw}{D|4q{&)kFaS(l-W81 z8h+JRZU{k!CU1k^lKDnTZXCORhOez|+y_rtcgl}xtpz9hY@V8<%}o2s-R<<(hl@=T z<`=^$0vPp~>36LU*6l~r#kqJ410k>lXX!Nilz``xf&GzLuMMdyiq;5_Y&BoV3W&VX zt`ECyN3|lyI?8l;OQxWzJ{14D51tAsU!x|d)sNs*Zr4aKG+!LQyU2_Lp1Hu24D z)vIsq$cAe-5pEOah~2&RI8ld|qSRjwh8LAJZZ^UOH^C9YzzNW_KojXTCA(D^^-77MZ3#c9t=PlqQMP!WLIGo?i%V zT{pJlH7~c5lX5t$TgKgxRSi0Cq)t0_(97IV z2FV(4z#}Q$-r2mHd^JDvj2;L>&9?xJ2>izdCIDoFLnUgNo=yN91~Gsk76bbn^Sdi4 zBln|*W8G3w_5EAD7+(#b-$?(_Z~PV}2CZ_>%b1t^0$CU1`FV*PrxM&%hpKW3rvd5a zJY{@guHinp2!WE|e~=Bgt3!2~xIfbb<&f;~Swrvy1p2=3;8+siO2mLe{}*p>9?f;T zwhwDgDwRki$s8pzkCmZJNs1z5R*4WHL#2{AQ%I$l%$y??yxz1On#z3=knbA7JsJdg7@kMp>g6?-sAu9I{B-dsYl-6F|ymALND!s5e{ zQ`5(ea=l5vUw%lv^o4M$d4}V%Y4E_e3+;<53xid!b?4iIr#Fpt+}mg~)GkR9G&Yew zQl!tL!z0pTQ@tVi zXO;udXF*bh_&u6hQhFD%ie-C}5k}wYq!iUS=`9Dy($!XSpFVh{@n2%=kd#{#>4$hp zXILw9(WPl}m!TZj9KZ7)<K5lo*&g5U7 zKr1eaZ72FX`okF$iVeA!0xkP4819T3y_R}1i$44Hx?1$#){H+3YieeN>uSp%@wkj! z@#KW1Z@AiCTl4lz4MXV(-xQ`N?O7TFR4bN7UQeH}jxh=CzE&F6vh$hGl(#%lBgFqX zQ{)Cb!Nxz6jxW!R!&j=q?IYMcL#l+uMZHZ{q#ZXTybOc zrI63TiN@U1*&~Yijj?P?XM}!`{L`O#`F^nIZ{h!p?O%oexVX{3+B2*AY(Ecp>2;ss zXmo#jNcek5{(*QTnc>h+GjT&_n=`2V<6Fbd^hW<){j!^PrDxxjk$#ptaQ~>1G);f{ z{m#sm>~K%{*G;js#XNUh7#-W~E}k+kdtKtsO!t~xr?`~%_0NoF4#^0g`3{4JxE6L*A_QzDnM8%;qu*cZ=aP84=?B~lvR0<# zQPfnU?MgIoJe&P88`=2j+l!iM5;%?5cbhE*MCvw>+}e71&^b5ygWxSnm!w_qo`^l9 zkQQI_oK^W~e#@9l-FiGfhbvn@Yvgoeg^8S((>njaC5T)l-aC|^oexwtKT#E!>prBx z#o8?~8!4F{=J7Ku%*!wP?aQVs*41<+A1Kwn6n!!n9aOny+b6vB|AlUOo69B5gN;d> z=R&sCes4JtclTp)SM`W*<=2;cCHXBZs{Q*u>+OG2_n6Y-rpgBI-f3#_uG<5lcJ5hz zX)5*X!QA>^H(8$8@$%D!pJ`Q`wDrMWbQ^D8n%3NCNB^$kLqptxHt8CB;l%mWB(V>^ zze)0cH5y#CIouI9^?}=jg(aZQVQ|5Yg~D%F1Jt8CD34vlpxGsjd-f`hk-cvHj<_=o)mHf`ReQ%`E6V>>J8X!E# zLm$P)a)3{PV7+I2`~n28L-jEfB&2XYw}sd-2A+=L4gc-TZXSe9`Q{;19fXSu0np6w)6b?X#6-^fw- zS7{{oTdT_o12vjz=Hq#9T<`WiK}njnvW0e#mmya3kkh>q&-EF5`^@|7^w(Q+3y)4H z*B3TY1o9{=E8~eaCQArJT?oB3@`6Y&q~6I*Xj5j)t*oqUCnbH0)w}nr-qm(`;5Qc2 zk4sxz!-eJORM~K2JT0`#ge#P)HViL0ns?ZT7t)ktVCY`U-Djo@11U zy%GwH4(5F9o-Mhx&Gr5eCvC}>G%KNYryY!Ct#&`KSOtxL4D8mvp?)U%g5CKp!#|U` z#O!8rO!y@hpGqG-!_nPub@x8=3jT;b_=(diPO9=vev8<3mp^OKk&}}{(~<)Z3co`z zXG7!fF~&LxXFU>odwW5PzVp5#B7%ZlgM-DG-P{nwcbkfgiZcaVWlzspXbOK%P96~! zenk*<qQprRrApGBpG6pul0@bV#)|^!7I`&6H)*$`l+%(}CO)JC3 z_qK?zaL=z_a_eiW!!>U=kpQ=lw2xrPH!L~W;LNz0^e%O;MfSh@P?6*OT#T@yk}U8JOlbwPSBOcAhy!#(yUc< ztBTHzgsUfedY{*=_94VgQU6Is(MO@gj?+wkN$6P!DHAaPZ1wB1+)K`zfXh;S%>6?{ z=fgy8eeVbuRs`w)1fS=E<=ab184y(C?dC>=%Y+q~>(|@LsK*pOhR8DtwqYE z<#%g^c(%=dpAFcqHtCKAXv(t?>9C_~u9ruxe<)*STV0~;d7%VvJ)E)aDgQM{JzDAw@t$|hfyX)#ez z*zIZe99ugqX4lo#byu55LL5Ay4rquEV({LrTEW| z6ivWsI@Q9DCyK-x&5O}vGpGE@ghU&!b1qAN4G^OQ@v=u~d46ILJnua7^hkY7J{}Vm zF>?H2>7VxGjC{JiTA6xxl!3nyV(!Q5nC~T!Ek@P zEorwBq7%#baS;TD3lJOli5X!f=EV*W$LXr~^XKO|rTtznEZB^Wj_#wF=jP_Vo@IZ{ z;1Qt5uq=#zpqc~74OZ5Kl!>T z_U${|+NjUNY+CV(S)Qu(`%Oti_6>KftyMP?jf%d5b)ZM~+MejJ9i+oZUp{d9B38K= z4^J&(ZK8YpI@Wd3>=U??PB|MS2Tm$7Yinyl?@pZ3R0{*7BN8I768Kg(fe`g-ke|`o zQ(Ig6hp_JpAh_!1q5^YsbN9wt17tjDYSZtVeN_8=0d77-O@N^C#mWW?$VI%24arVb z>YP+OMpX(R-nVbxPWW2LU*}#wf=}c%ZEJ3nB>H-`kuirn@v-+Yr>ldbvGTi^9qWph0=TkitBPdV_FA=BpW%>vi&v%$5QV0`0 z7~61bWRlos#6Oo5h)1#2iM$Z{N-NXuHz?_Sd-j}m*-giG?JE;4zsVOXV_iM`lze@j z;kU&c%WRk4KaXF3^~VXXMCG05H57kO1BEONSrlJM;oF94Beqcs zc*?R?x8P_z_we{mbe^OE-q3j}p^#7c8e*$g%)?=`$w?;d1*6mMHoDN#7wd{{hJsb^ z>ULdQ)ZDeUJolAY1g^i26{-9Wq4)BHW|>jAgN)BnY2zR7NwpmpnYWNpeYdiidVM)o zwX%@`0O}+{=G}Yu3aZAXGfG>^3KLgvuB=`3vbk@xQlVMT-uGzJ>9%XC-lGNQR-J{^ zI7lc%h>nd~i~B;zE4*dKh7Zcl$Z-iazjZM_@%V4^Yyc1V_xPo@BJyH_xd=`Uc=(fW z>u_8eW}TbpR5CG%Q`B=86MV%oyDfq7ftjNQzsIxt6q6)gEg#yJSzqpYK;9IjQP6C6 zln^b1F%b4sK7qca`tLCFT#p}%7GN+}_R2oYKGE6lsPub9y5*HV*9vtVsO>JpMuJ52Pqdqs5 z`!j~VzQjkMb@%)BQoRD2hoz0*2&17X6Jx@{Gov2i=+C~{O{d$DVLSRWnH;Z>5F{EK zfB4hIu#JMEm7tGERAU1Wzjo%IUztYSzM5q(gdiLRZv_8iR|xL|I1iDX#xDwxt0Z<} zq(!q zRdK`el%FdWoDu`dx4yU=Hmhe>m#9JeE5MdQVtr1bh2rU>09q$AowX*q?KbI*?q{8c z`(YvUtwHBkjNt!fU!=72)PL?QykDS6Za>Ovvt3ifz9L%e@rP?!$HrL4yIz?mN4R(r z?R_n(Kd6VJ+mvUm#D@{1Brd3Lx_f&i%U>QBGVgivchwB>)}~5&pXuy5aKNR(E`2Jk zR3C!r-6TluNG)M@3jYX{vQFz{(BCd@_+OlHT$32(3&j;y-W|P};QMw`LqB2DNx#g? z>{FBz6(vgYe!2S#pNUrn^>z4|$tda6F4<-{S#BM>W!=|QzV}Hu=^u8nIXhU$vPxws zpXxIEE7y9K2Rs3Bo@RYi)?v*h^PMKFovadHOpZ{|B(=}hry5Im+K;Q_~i5xoMr@7C00dhUQ_5*{5K0)hFAYT%A+E)oz_g1VqBe~_$hDJz2YAC*yeI{ z<|?fmc}|M?;|9y<>HJUBJL`_W^W3ks$yuJ`Ktk!_al3(q!H^w(Y9x{a+eo$!vWVFo zntXmqf{0ytgzQI3>n1kM_nURkP^nFie9oSlZPHfxbX^FgYfjrC zQmn_+eWjK$1lFASKmdTF`R7lfU;xA-Ci)y59bH2LB%V7vZvvW`8Ex?cyW2ZDx^lg! zt54<0#yPSUrxlWOx(sF?xAF2s7Ba_^_PkEfOep$qQ6Q4cIU@HLZ1o-T(8&*2(@Qm0Ky35X+GqW>IA)FU#6e%qbkIF@dngk zImN}>FjR^CuY19w<|nN!MvVm6rqgx~rv>yz=>fF0u%)6@Q7VYZelE zcrWVeWBTQz|7C$oL3;T&KdTT8y^*Z-p_m`hPHvx(v7d`_s4uYspNHP>uyyHlT=vBC z*Fq|@b@!q3Fjz8f`N|B!9v}f*V8;$}awEtjhNsBKKe=ll!WKQF{s9o8sbF_yK zA0{{`z<-!t6a(3{e7{M7Pd$$C9tk%D^6RDJ0N^M=Htd@i|A--USbE-ol%iT}1Np-i zmkW%--Mx1oVMO7EgH##+UaS9h7$KW~t^41z39hI9jwZYp5`5%6U|0L$?634tzvQdR zZN14n!#_QxIv#{h%P$xXFvKYdW-J`lrqCA0h(v!o3r|F5n`_U~~k)Dkx1GD=r5y4e733%w`=K2sO{3)oHO|`G@pY zrAeZZ%>0<(5mw_(?q<+seT9-^?>2$2gI^yx@I&&(N&c<;hsRs(s`ovE5eHLKx%10Y zNt8{(1^vFXG6t#SAD5*MvueFqZFw-ALm;w1OeHAIg0+=0wE9iLY|Q=!_Y-_%T{fn) z(}8V0`8OkEowxiWdLx_sOh5noH&sr~tDprhMiv%G;T~W%6$;v!Zxc81 zi_jol0TSvj4?Kln3tZ~v;<62N=z9Pmn+Fem5_N!W?h_XmR(57AW*(rOYs0O=+FBpH z4A2}d;o`0~0Z{v2}k5m}!wqI1<^wBQ;?_9!ALlo^d@3c$5>$p7@Qntno&cKwdN<84^V#^Wrj#2qSZ`E$~F|w>%V>v71?eq?wUX&%{Bt?m1_Dv&X zEL@$1F@jufP3uo|BwH`8Txbt<@nZa0$F+|hz7Me@W0hLaSXH8~4V{%eb9qeN%Y3U8gYRR37 z-#g>G$H&H2&zh~Qiuz%I?N1s(-X*e0-`+S?j_ma{kxr*|G1&DHCU2m0YQGxDcQ`KJ zK~V$#p{2cHZ2r^T?DVvDFi|MqSXo+ES5|BY?iF*J@%fG>a(U&>f7(M+CLdUc-i<2Gl-d_Q;8|OoX6XPYFqQI^mmiqIF zVSh*usj$=7nsDJD;@k>Ywjc!-OyesOROtMCacSvrsR(MQ{h%b(b-%8T@0f=OgMyCE z6G>#tj{WC-P3C83nK4nAwEHKE|C7LNf3B^-lEd{_cE)La-l;9ks=QIBghLm#{vV;B zhY>*oqL5cc2Ltp(6>NWl#2)Yy!3y+#YvS!Xg!qrD@gJW+DyQ*2p2!PIWi@1&S(A*(|s+3Dg{)| z5m0DEnjwfiDykw7nb*GD*kJXmJ{PS*XooI-))E5+F;&(?N3~bhH6=xm*t75bE5K`} z*!(_9f?ZzJ)D#HcG7$L(fK%A7rpK{J8=#0Y3@v=Tk>gVn!(5T_>!*S^TVT!tl3C_ii=WRgwW_sKVMUi$T zfFcyNXYSrT37_c*r}Z^3GJC*lVAHUxeR?f-;(6sE;d{^hSe3wbyy^QOTL1SXuY(Or zP>)AX1~x>FXaRh<_KgK-Fawk`0(xVkPWBv#G4uew{I!q%%*)&z{^-e*&0yRA;o%F4 zizyBsl)ZlakbqeS6AR0;p&?___B3f!!UCpkD9R6~WU8|AMXd@6jW(w0ZR)YL{M3BZJZ5% z!jAq(4Y3iVO!EHvg=<~LPrsgakNvkf7_1Z8Srz#76r3gW1DHYJ|RNf%gk*38HstaWT&%MZ)OxGWfZ*J?4&S|_gi_ve{pZJ}9(ZMQ6Fhl4!& zIq>nrBysofaPY$UaPiD|Z64dRe`X`4nPoqIEJ|h?)R_oG+$T6&x(<%+zEVHpA|&K! zqSBMC;SHL}=-GMp`Z{&o=I4{p%nNWhWxG+Lz?S#yq;d}&mm zn{XGdyaiIr?Udu_Jr?Ax*;1o$17j@@7Eht#d932~@pr{E83wtjg=!Ij`H8$p;o!1JN6Fhanl>vB55z-9orfFVCA6hlV|-cTol%3`oe5uEPL&MaaC6|f^gzjPll!%TFd5R=%@62K{q zf{7nN>^xX*nmd=Vat?d>1~wL28E)uPF$+QUE(EKWd`w&tZh%32%*ol=NNIN}1RBC09^DiZx+LruK+*01 zO;V?k#^YxtB`N69COX2)>yPwh39UUSzI{KVuzHBnEG+I=TaV~yRxK?p{feNyz*7Z% z=__EXnOJ%WNj!=h3W^!RfakB3=i1t`8IERvO&F2@W(rwh1ld;|9!_}C2$*T1uW|0v z_0+p}?|zxB(b6c5f6`QDm>Sr@#q|uxAOss|8kSREu%*yMJe_uL*k&Sg{=?;%eGqaV zby{0V+O48>1FnXBz}I?hDdw&r1{;z6_wLz~LvWYDJO(5wce^*@9N!piPPmTX=X0mO zaQ{C=+P`P8Pq(tu^D=FI_bd_U1hJPiV@7s?*h@n-47(4(3>%bT&^`41vc*pOxq{&) zI>p2jfV(8L@PO>{3KwYd{bhp0u$eppOFBV8!50!vYfPncgrz(o=yxFmNa%#y-t?UWCLis{ z3<2yhpX@qASS_QtPjOroCPCvMx44*MEWoM5$<}Eo97^s9a1s7ZW{AasN zn!h{(zNCOG1E7>$J4+N*M+9E~ehyWI$XqS%`+ogcUIVm8WW5M^4k75@zkf!G_LeDr zA@oxc?hRiWU!CQ_LJ*=tl+Cv(=A&WtC0aTm#lXODNX*V3sS=IBQnW4zk|mqZat=yseltBW7 z0_BRqU{&a7TdE)0(qHaRXc5G}l~p883!?i=qH6+O$jvQUJO1_9;f1<7kiWaiE}~Mq z3;Qbkxim2jq7t>!pv?a*o?5Oa^F7R{f+d{932!-2YqDO806{=s(9z6YE-yMH;rJRI zSu}0?m>x{F9k-lb91JH=e6!sxEgN7-`~}g{vrohx%rP~NRio2}bc&}|Cv*mQv5&vX z?t^9T2(j?!LlU#nXdZZ@3jkAT;+5f%FXC}`>}PxPvzNILWN8bGq(!VpZxnmc5jh@L zWxxttq12bzcE0^S@x^}a>wD8|$L;@|)?31MGi)fG42WHWK*xB_>qeqF`^7gT$jbvz z{YPPqP;Z zFjwt`*TPnAmt!sw9Y&&(z<(?a;*N;Vx7T6&yGNVyu{h1R?TL5}VDcwVo}e-K2;AJ$ z9h5+e-UM|sICu_c7g+VXRmtZ>tP9+Tf?Q0KmcVp$qsF_gmzM520)Ae|VdyD-g(yOuZpE24J`SD=p?s!!WAOc1~!5}0MOTc1L zF)&qzEKDpnVu`;58dVvc{FrYSSl zTJr4K=C1~107Z&lm5STXVdo{DS+bn`QmJ}MzvMI+ai}~P5NY^5f17G9opIg@*3OHm zm9BU-_V*N;=U!fh0LTPfUZaviyu{r|ZwuB9t6sMN*Y7`^*m4V{?+}gvs2c}% zDsjTOhB)95r7?x1pqP4zuc=bj@Qa{|HC#yBIvxx(C+J}ZVNVh+(i|I!9qzuW&=7>z z8kA9Lj{Q--AEyLo9DRxn60YLfy^{!~qn+8|NW&IgIU9gINKPZOPRLg*FD?Bcduz0} z2cFQ>MU~}&DzZF~i&cDGQ~)mmFSWYBl>)YWJMrq$%}jtAgd*hv>`Z?X43%sWJ=zEO z+42Pw!wGOh1lNC@J2QS4(c0MBiUm?5_~+A_We^^h(54-MR!3=e39pf0pDRK|1WFBK zp}m7=yc?SEE%x6UjF`p6!w_vw*)QCMOfR_aDq`+%b3(74S&!ZQ&c_ebQt1C@Hr4LQ z+VYo0yiBG*;6u0#o;Tm;h(rNB=1VkYr-Ut-^89GJk`^^W&(1i75FG2otm(rN*y8n3Q1#k0K@XeO5>i*VQjKbRTCy zl7O;$E~fCS)rcx=gZ!>O$V4Sd=%)}<)(3BQw3}Epf6+1N$Pg+`K-j8FysbuvTOfNe zIk}wl`-|fB%!~|USc?!56JM^?=l&DFu&$Zh{`2Q@V$1rUs3>KUbN*SOE;s5w10eE) z0PH+qT3)uXSHJGBxe<{P5z#HM@IuG-e8`h*85#pR?$Jz%Q`SYSVK=Xf>@(T(v&)z0;k`UqWs4I!lf{QyQ-JNc2ha>Yx2?H+zc_HNdmj*jVoSA=fJL!(B8&ahN9Pw z6SPk?6`pAdOGHSo3(1u5jZn-6^HBBn{cC$#(KM$= zEmNyUr;Z>&@UJcOlI!7Wqasu)CYv{JrpD_NAnMLeV#t-R!(m>t7qhE8;0bhAmPS4o zt*tJv*DYINyFDw_m&-_Uc6P?ptp_f%&;!Wwwu%o5q6WY_D1*ID@%jGzZ;YKHo>V|J z*GoV0YTljCah>g(ju8*-%~Jr|5`k}dr+-{?b6AR?tvRT3ggE; zx`K))7`j_G=&c=?^*rXlPi?M5J(dkMVl{Z&_-<$?^&J7t3;;nZP+0l;0IL=Zwzs!? z;UVLHjME*-oflrpRc1+2fTW^ds_06ilo}SQqOmt-4gheUDHii(+CG8%GRQ;l=_H04D z<@+zaB!fF;YI+Y;#=}-a6%Q90x8C2{@_Fo?=0{S6<*%FP)-%(KZ?LFEdN0J;Z^(Oj zMQ5eZ_a5CkWxK`gLRfsVAXdOtH595PShd1WZ3VCjK$_RQ;SbOP-q=n~u4EF3fJIdD zs8>ruMeh5qR|jw$fPEIB`oZe$dpBUC=p!=5`x$Ul#0MDGdmB9;zpV>QQiUM ziBnKDX06U?0J;Y*WB`d`@qvY(5<05LgFMeY6Ql2~-{D+;CwPM8`En+mP^{vB>a1C_ zXe|GQ(=$HY_3;_OLB%b6B`JB2401WcW_M|?&#)e*6Oov0O2%z>FidmB24ih0-~+J- zZWuBpn_f==YIL=c)|r4)l*InpTluW_ycLQA%L-IjiPViKunBhcU##Mi|8+&O;kn{& z%iu{3?T(xNeKGX&@fYa+*e$J1f(Zr|TcO~nBUfD0lFP@ezJnQqo&~&E9+2)fni%J zeirM;Y|NRXD{GU@eiZvH_efM1JG+3^o(|SA(&?P`j60#vQ#CoO?XtD8`ReVi)Lqs| z$FgY)It&{=WcJawhaS})yzpdCC$FBK9*}_~NRbXZPVi{y_a`joF&fjJ9=*N>^>SP0 zgTOa$j&xbEnd<7E1(p~X7yxC+EF@%PPrZ%;UpdL-8blPOaPixxz-BjCMTcfaK%agr zl6_HS<=Clk(x=8MN=vi0bUCbrqS{7V`Lo=dcwe;1Y=8BA|Az*z73O=dn;Q>yR$pHX z`4O#D4MEpXXSM_wE(644QTv5G(#k}+y=m*t8whUU4*S#?p6ofho#DyCRoQ{7;5K@| zNdQqD>EArbCffe}b#bD|k5AtO3>35{mmep#H90K2bNm!-q9Gttqc!{%ADcdN_U zl1FFuSF1j}5E35aU?J{I9k#eu856=)E8tisK3M;_(f@P$!SZ*(%ny~MFxqf6$>bnN zT|-cvw*oiiV8RW#eAn*XyH_Uj$xVJHd4h{gESJl=-^W~3R78F7V2q85LjOtDDXQC< zw`&dR9CYjBrJi5TZEHKErlv;VV^CC!$eb+zyQmB@>=%6zP&U25;J(S7JCB-jGl7xe zc^H^QX|LOpZ-Yj_FUSW$XHf%V0nV~O3<{4c4f>p)&CNBjYFvQf`IxiIK21V?L!mTF zqGz!~=eHtzQ#5_QgzhhT&lq+V?cqB=T3cVC_O)D|yMvzoi>`?V0=I)>_r>KUcy-d3 zFV{D*%VBwmHQwiA9A$@24%Kn>0@V4KuYb|Xx5hC}b-VG*H!30Ss@B&R8t%A?CcR)j zpev!P7q$Pm=6(vrLrS08k6c|$aVU7Qb+T=p-CK)gJwJ4x-P8C}Ej$MOy&QELgDsxl5@-U_kL2+ySZ3euJc5#Ha}`Lcr{tBNhj5Iqv`eD zd$%ubnOCn%`RLg*H}L3k`Pk`K8FVc@;peq2`k4c*Id#uYL|rx&4H+?C=Ok~h%qa^P zN@$^{dpLe@o1vFs#pv<2lia;a8HW{`ACPC~#|GCXiVlyt@l2WQWUCeuEps2euz1iy zbWL>F#@1RWV(Tuwo;K~E+WBq2?rFH16)aa*Cx3uumOv4hjo3#`{lQwu4zgL$FQL#) z5{Bbw8x_L=15D-ejAu0Uj>w-P?4q>f!iQFaj_7B(IiD;}^pKRtJzYzQ@p|8WGt)Xse zVc}Ad_3hI!8FbAneN2|Zmzk1PXm|pC6_`0DJUm+vampmP)?L`ZE}?hsg5#~LZlk+* z>vOfdj&aI7t$a2$NpEx5@J{ZsTJLP#Go)DsjW_SG>)(8MGxcCw?FOmdbo0aR=_yi3tZ5;?b=<6#{n(q7Vn2pK`gCz{0%LqysqwpU!Km9rXdwN9t zjkimH3?y#HLX)EY6W1f^aD$bwgyXwT8K3Swzgp#KuKFp#B=?M#L&2Ov-TOlIO>$C# zK4rzDlFoYh{R>Y;4Fc~s>QAWY`GwoXPfwb3b_VTdmzhjsH{l;I@b^mHK9^b1zPubH zKEWRlwKMAM=$$q3`93Q)FXq%^O?lm|c5^Q2msq}SxY}3r&HTj5JU#2jyFv>0FBnDW z7^!;4%C&{oUAKRAzWJl9Kj*z6#{nw``*QGLHO1B~%eBK8gs z%Ob84wN7-My|hwbaQdb)YC*QsZmQCy_eC6NV$T zR=i}|X98Q>TMkp_`MD?wraE#z;94zw#aGSN{)sQ_=?}f%I(iyDS^Ao7XO->_%yB!0 zTD!eob?Pk{?@nn~m;1a|WP9V&-z5{mE~>}%n^H45uio{(BzfTLT$5Ix?RTGCKAMxg z&zKi~%|$E9Qmnq@v)*#E#)$ejS%y%D2fOJVnc7b;xM^6qo~=!BkS$%wyAV<@baB~* zQR>$o`k`O<=pB_0QZse9a3U&lYNq)Eqj96n_p0b-UCNA0n3`=!d&uWd_ z@i#1HF`7B>?A*DNDAF*d3wCR*mvUR+q2kQY1Hb82j>p>6u_QlZr9HsZ(X%Y}UFYo+ z4w{{H!oEdaz4JQyCM&s{E)R`&OhemNo@K;nga|m#=k5@RyGt?h!esy+3 zVCue*M;85-*}Drj>~g%GwNL)#Ev>#&c9{hy`?$#?zFidRy~baZsC#2|R7(7TOq@Hb zmZ|JcYC3Db5v9=&R};4vk)(;lT}uh9;iZhZw9wgdGGNd}=x(jQMOdV44M+P|&cg-@ zDXE5gV&jEtQm>otc*!MgT`p+KWh$G=&1IZ!FUcc3WsX8o7#&y0N3@uiX=)4G!u(<_hags(RKI@aj_fhvPJU@9rI{b5<|h zq5Ls-dt;^9Bb5bGDo!Cu&S%uC^A-)%Iwt-e_XC-#9;NPd=9Kyh*x&}NgVG`&(YhH) z7$iwI(kDG-R`G-BR2t7`fTre1eYhFp3;@7M9=Syd5#!gtcy8)Cm{chkbd|i_DW>L4 zdYmV6h~XCoAq()`zo(}oFjlv;sEl&E5V)iiU^($tgDxtZ44dC)pT+JakjtL4_R3}s zQ`6Jaj35_)m18tDHp=DjQ_BfIc8y;$Czd^R5G{YDvT!o0QHTAY}6{>->}civRNv`+97y?BK~`p3&$ zzs*LjjzwyYIu1Q|QLAn077`Al6V9QG{hqR5q<{6mft>+IE*#2yey5+FUH7%k7KU?k z7I|+tr{zO7?8se?<{8xAPnG!b;*zIqbDkGn*ZWJ4WhvL{&MN7h3*PaRd*zf!z{skI zYQ~fWhs3U*E>XEMY5h)&7367d6ME;>7)OjAD882(A0G!+2|>f1Re0}pEXYuE0wW2? zgQBMSu^8O19uG!`lmxRfMxZQR$8RI00A`}cDT8+2K2fSehgLe&dy9`b&W#>Kll%rc z{7Y0JotLR~t~?SB$W6aZS{4?XlR-MhuJvuJ(t)ZjlglT|AJ~0UT#vYm+p{+6^N>rs z9F&oHX6zAqK5(w?$FC-dTf5fRN-7h+@<`cI7I82;((R&=q)_Ov*_069xLqlv!6d`} z=@I62Bk^r~R~F4PV$i|tl*(bd^ch$WhD#Vbs9&e0qg!oMQ&3QNmw&G?`Q2LmVM!Ji z7J_fVoPxvKgpO?9O+37zc^~?vhsANbcxdqX0sq%I*||`d4A(`U(k<9dSSDeofU+b- zGm7Xnp?n!>;^XBlC@R{jp`pQf{CGlQVqr%IK?b28AF;kxX#nW?UMXDs>74%GTzK~V zezQo%@E`q4<+bKUV>`5FJMud-zcL%!My88|95ZzgTpKxhVeXYoOP{s7S7u(+@hs!x zsFW6X`%M`}*oPScEsDiuqvM~Wsb9pQHKb6Szrf7EgL!hHCPO9yh8v-ebJh4#+y z9k+6$#@>6-G__3jfQJ8f-i7u3PX`|)PY3b~XllG%I{Vqj|BSM~RQ`P*Q5p&g55ChT zoU)ZOd+6xgBQyK6GnIDo)R{I+h?=!{_+(p0Rm=s9nF%e&Xr@SuYOhYNUfxE$k=1oY{9kVF-1_?cD5pF;J!_45aq%j;WQq<-@04QZLk_Q% zpQM%e{xPR((}RUOE!#2EO6SC)3cg%tG*ZquzNaHFR3;eImcBF5Ai*gxF2Vj zJ08wfmviEvWWLm0b2~1>>pZy*3;MzXCm#l>&}WiMN5A1-c-X}^qcj)p!Tex(18?P< z4d1W-O!r>Cuq#-j`uA*-cplNuVt!n#|pmK@lshzCRpdw zvb%)WIo}vtC-t>c9x|ha&MS)_nVgTQ@13cqpWZoqe$t$4fcF9U)1KCteFu4S4}~TN zdPM%1zG0x1cDd~I&^M!?C?)UIxue^>Gnh0YKI*&M6rFOu_deNPb0XA=%(mWsr($wq z*QC$3Avb+imL5u_aS5hYHu9(KxY&2pfT~JJ!ET~*=drLf##~SszPP52-?VL^!wP-v z#SSaNYZ!5=Bh@Q0kq_fa=f8}C*x%27sV}tp6hA);HVDc9;$D`u`RsLK*b|p4)st=K z{Nb0|NTOLI|Cl0^{6nw78!DF-vo=x{-RB9M`CXcUF~5IaUD_R%KVxW>s(i(Hy!2X? z=nrLnjl5XlsY0^zAsc%bnIBJX-?dxF;>J4ryy-r%ZB{3Re&s*${k5w(0}`y&J;)wx zp%;oV8=Pu2@^WnioJw1^Q#kl$=Aqxc*c51C67F$TRaK-}nAtoHQcWT)(gIv*s_nGl z*G4M~i+7OZ5Emr^5uO5xxN+mg=dP|gsBQt|U!e`jgQ25iS3bUAUI$Lg&a znNbnfXmNd`)2XPdW#oSJqBc1YeO$}1;f4TZsULMOq2&e(lRZCgpbOm+>5d&eUK-5-$AhP9vAZp67Wb_W6g#M-~F>UFYu_((r%I8QD6meqy4nGQX{|Wc>yuNBEVu z=R%(>d#A4oM6blNcNvzt3Q_!K7kMGKd~7-|M)YY!YG|xn@VDseb3gXoqS8f7ZM%2)u&Qlot&c;C z%H0jwO7kn<-*7)A1Mh?m=)Li_Yh#yu_4W0isKypHHWGcOAMioIC_{*a`UGvdN@T`y z`6Rl2Z%b~QmrK=(ACk7)+-ID9d^Sj(qoB(s zV}A9)c#A@3TQtMgtq)b@O;&oCs&ajLz2E42am`Qf>p2CB0s@dhmUR3~*ZAOIwAmdK z2zm$}5~>qyTvkA~rO(iJ=$M+Wxn8jsm6w-yTy#w8jcbk&#*L8K zLLWrq_U;Ru4AHcchEj@{=s&Lh{i1DiRNqX2ZQ*b8y63}bFZXVd>s>yl5j7tyKh3yl zEjXN|KNU(zsM_>!6AJ0ZyBr)G#AG)lzfhAc4vmF`gy@-?dSL^jacno3=JsxKwB^)c z3C9XhMmCdO8<42`(Y!{R!3FXPKfoMFS9fI`&SJwO=vThFLSJE2{?ZfLe;=?gadC0= z;+cPO;&XEUp>r5AS#rfve8cI5HuwFlM@<6c?`~(`S-AZ;IJrJle5~9@xl{1`xrfz; zs-vk-sh&1x7uBQ%Qf@j{*!9iggpn@8_`um#)og{`-vr-jZP`bC^IQjy=QX=Er~0b! zt&;CjvKFJs+g!w^ixS^{5W8XQ7M!qm>$6gFZmvUudF7n5G4s_A$K*V6`n%h@fj4K|N{x&0ARV`9bH^cW~x+vv0b%?Ho z6UDb`P6Hjaz~rJYO;@AxTf|>wMr`xF-*|oN%Ws2Aok>@p(diD?s&Y<*ACx>z`$<}l zt~_S8cxdIefI{-x>A);CHX&WH*yW6lPio6l`X-`&XC5?tvGpgLE8Fi#+u%~F=hzcy z_wTRD+pN;5SlI5*1c)IoZZ;3)ThD}16P7IsqIx;$R1rv3J4*c|d_ne*D z@Ghfv8fV{<`9^+*25Nz5hAa77>td}<6~e;wSF5(S9uIY8R{!2A=$~TzE-`1B#)ISY z_FXEcNnup*hT&Vm z=HLVeO54H>UPP)=$N z{fKlw*6UXMY%|5%(->NGz;_Y$PG}!HJGT zzvW%GvtClJDI6B>Jzm}?;=Mr_`cS7CjUnUF-n5^ z-gaaJ%(SS@gxIf zI&earBnNKvLAcSKJMkoLfq{XJ*Pw2s)Dl=%g?=#m?5r^J%#>MKjbXpPXw`5)h3yXZ zLiv{$%PyNmd;A=amRh+#TXU!E;VmnFL$PA^Z-bRrqIQqJo4IDMMcTkFH<~Y2_CW@v z9LK4`GWNhrpDOqF=j2mM*NUmxH||u+;5m4Vx|zekj!Sh;YuBZFu8k2_#_2UbDNI~D zW6pE>j9#4n=Ti#7$&0V|eQ;L^TjA5b8Coq>OD)J2u&>&MW5MlhnSx zyct~~GJE=3r+D_IahLJ36iQagb*CL3!V;P>VTD@eWolQ3GrK?STlTV?WRCP`azF3- z*x5M%sxEePwXXnBM4?r74tuOVn+sFi=P?ZTl*hbBsvoS2+IUB1?9e^!g)PfI(8azX zk%Lq)0A15#04Z0ngC*=9pxJ*#J=ruK%=++W%F`&6l+j|16vh1vBZsbziuKog?hW9V zHrc=FA}`fqz<}O?W9gq=vJ-q&ZSUQCH6^*5HnOdzw@fAe9a|Yke^HvX+~J6(>YHNo zT!j)Bl=m}VPhD;@G%$6^bBmOTpzb$`Q_xI4mpaKg?oKbKpy2TpcN7t-FVZUZH?Sp< z$B1jxJ`Bwai(FF1A6xVm?J@woDuXPC62d(KoXA18Ia7S=)~%2G*)E>G*^!Y-JTIXq zD_dQjZ#bd(7tp+AbCXft7tYLywiN_DgxG_~PEcMoWN9Cfa{G=UaePu9usyYa>Fd^h zlF5bNdhn8w!tA_+v4SZrEiI5IhD>z9QjtJ$@CXX5jeBTlj_KJu`BTr?8bvj-a3zUr z$kNR|ySX0MH+!^ewt5jv7c|3EXe&UBPN-Mh-n|fau!HKD=viT;;s|=o#H03itBDiC z0+`HhH(D1N0@|#2#pg~aUia>Ot4*|pkQon(+MI;Y;1<238x@4f5a|;4ypq$4D@vz zH2L*K-%wFeNiyra0NWu#1q+2h-p`*R4Nfoi9!*7!MvYI04owfFLFp^w+1o&jjOdW4 zrtf5sIyTc+NvD)mVtdHg_&DX4{D z*zw?sMG8VV0|W{H%bUye=}N3>BtjD2@nGHkAUDwma~`kkkU|*F%T94Kvt+pFD~!NI)=^ZkkWx6Ej>m@_G; zqu?GSh&@#diTb8Z&PpHt!k_IMUi97NUGMMhbxuweKz7g@s(B0fH$Cud;>dxXSi7Ye zcKqT*UykU+fn-|Fq={`Di&9txwoX7-0{)or9uc-4 zeI6MZ*&6A{N6*vp3z=&s|7c_ICe+08aVDnR3%!O_z8qqd$TuKad-UqI!yfP zZ^=U+dx_y%Pc}h_LfqTf*a$J1$eEK|`Cl{ELe`<1AatwP{+6T7++pGlZo$C^@kWWm zK!{~g&6N$3{ADA2yPeN2*lgIap#ml}NZC3!Zk$FxbQrGTnEq5*ws`{0f`bD{j2*ID?g}*9 z&^{EGlspGyXEo;2{;DsF1+Nzu`;3OP8u*!bwFxI&l>4QXLLZ$O3k ziNBG{XhxaAK4XDg4*P=z7VbdsbulWezc3<&m2NF&DL9A0Rs$$N<8YTccCjz~*0%1V zA^OdiR!7wTzSpTS@sz&69Xrsg8f%#*;t0~jR6W*tvATU&I^0y0t#;njhg#h4~9EbxFKO1YV_@TWeq-5zuzp zh`m-^d6NITJ0muBgtc?eg6fvdo9`laz*D(`-f1Nl`uZXreIn{pYw`klE zLAo8{mIuft+)7osEnQN3b;N|;7Ezkq}#>Ne2u-wbyV7CXsioh)ci!XL&H?OzoX8~=y0H;>1%ZM%j^6Df)^q(p>9Qz?Zq6q!QF zTp>b{L^4*$Oj4o9n4%CehcYHIMyQ-crX=$`y=$lYd7j_%z3(62AJ=`|S8|@mu^-32 z?c27twbpi;a$n2oFfmGlGa;eDBU3~_iC8w_4Kr&=>%1{_Ozq#s9R_=iSTUvIK5#Ic zM0+j)q7$OwtE^NkvsAg*&SxDVYPJCi75PD}laVF+6Dl+#!o$HRwYXEEsSyMFerS)v zwuJ{qR*AYCd?MyHg%jBItn1mH>*6GhjkIb9pA>kqI>zG?HZ+b<7zCxXUR>&E4K+HA zGfF;Hc}^zQk{AHKdr$E#B96?nyMkxq9vd6mTE4G91l(*QaKq29LJooCj4<1A@z2ok zAn8K?hBLg;iIa@O4hn2rfe?X)uAODM1!>QAba4ql1d1dfjj(;4J3LgNpa-ra0L%2m z{bdwUWH=mzd_1THaYHW*f54KQHt{@;mxg2vFVCj@E}p`kWnyHcnmru;>B-O83E^;M zOt=R4brEY!&~wmLKx{vXr$7e&;b^Cn-drjNC@K3k6)l8BMn+2BTfoZ&0RUmrole#Z z!`{?@M4$P4yMoh`zm&onXqyhg?upnOK`El8qtlMYDa!u@{k+U?^bT(BiS05U`s5_` z8N5A@b7?wf7lef`^z#m2gT&(&DJ6nD?Ui1UC16##LZPN!`0exO2WXBDg3Ns%fNqLT z1MWu)k>!4H5+t}!fMmtDZaxkTs{&(H;h}K$D6 zrU(TD@&iz&mSw4rh@y&E-6^58c#_14pWEZ^s)6&_b$*JExcPt(ivgR|w-AaK`8rUP zqRoO#V&aC#rmV^9K(F=Q+6NKQ4`#t5*((FnOHfSgIVf7E6HgQDK?4`cwn>0?L!u7@ zS4v3AE&!lVFh?N5r^9r8_wLWY?6LXgmq66h z5DbXvI&tkp-ABmWNb`t(tX|q+>DK8I-3J#oLLdtMaRrh1+#Kd1Q{lzM*>T>H>{cyi zIoMuNP(r}0O|Ji%935y3q((-G(TM{WAo*Q5TmC*LM)D+lHhDdeE;)xV#W~Z{o+63~Jph)l3MpzyA& zX{DP(vIb^u2o!0&p_d!$>xpzX-ivJG$)A^zjF0}D#R*K}`Ms+LpG;nrMC>;YnbZDW z;QWNBIiP@sKu-m1XxzgJ;8*vAel6C!C1QKzaQ9vJ9Ju{hf5};FEGp&p@#3BITijLKAn)!5!y2$03jk) z+~ZnYay(Vc^-%5~E)nB*IWi6d-C-1ReD=F>t)ssi*PsT%8zJeyIq>9i1{M}vT+M!s zp-*UXdCyz5PZqj?Bz`xBAMPj}zkfg87G8sDAd$7T9Q=7~pfupzNIX0tp2L4F`iy~7 zdM5A4Qu-h%??eBSi3xQEQJ{~Fbt2f2hD+zijm{H<dpxy{+!F z1)Ht}8emwGSW*i7;f??q?JrpKK~c8s9*oAmef!3LD(coeW!Vb454FOPK}&nQ6K&cN zBe1Jp>E+x<{!b#}+x+|lpeKo|8)ZL|(-B0APeg&O)czZWjR-`&;GZKAlyAyxFP?)2 z-v(xp%LAX?#bZu{Y5)S(@NJ<|NQ7Y#17giRY`x|0ose+9e)HyZ-k-pjhF+4};8Y>H zthWwha1~(?zwwt?+8NK z(*qZs3%pw6j}K^BSXdUpMZeSgAiY5L4ywG&R!OH1ILxvgCz2)Y8R+Piy~EZ+4tjt4 ziFH^~51^Ya_k|B1KAgd@z41TEmn2*fF9JrIou3&1fca1*LY$aA_IC0X@MD3IJ_i5d zNk;vzd~Nl;$qG%=s?hf+dzp@mODJVN-XM44gbkh+-p?95LZU;5nvrMsZh9naglvk1 z;D-!d&WAY~sR7a% zab1u^vOR5!DX^orop7b()rG7b{=oN9=R#pm9NgZ&KX&)fO&KL6`rEf}A90=Mz{Di< zLRQn$^B`d(3)EA$9lnw!_(&$FY}Mc$Ymtm{L-Rk~MmMyOo1HE1yJMrmQqm%+3?(+Q zIif~{eq3Ej@&;npFXvNEXGp3WDJ4~*pyx@?CXIraI_&b8ZY)0?QirBhBSQ<4&eP0P zcs$PAI5}(cva?_4+od6&4<-E>tF|Mk+>}5iC)UJk*+uV7oLYPVg4*L+8Rwnv+__^v z+OwWv>ycW|(jm&s%*@E_6q!zmI(NF8m6f%J<|fR*a6Y}x$WR`wY-=-E$VVLr7e@T> zyoJTf@o1Wqyz#rxKe4c!KomyS1mOwKBpn^y$?Mus4UwkJs#Sc=@j%1oXGsGB=g|Os_sp8>rIIh*C%HSjnACreY2S;} zc*Zb|gw>{AfBjNTazka>yuj`DZR&rHznrt*#B_r!GIa0~jV9G}$P9ypUsPNSlhS&I zFT)fn3FupvBS=~8xnXCA3h7r;r`5_S6n|u?EG&HSQE(BMj*^(adn+s~O!87lEwT{F zNaQRcP}$&0Zu$GKC1wc_nhA4y%clZ_zts9h0HAUwlp91j24FdwpN?1qk@(Lwmm;7qwS?@ z@I;F7dI|yrht~uAx-{-64k-`g$ieZ1Qc9z%d_CeX&oMz)_>1GAQbW-%bEjz-xx;p- zI};nHyZqx|EJEz&!yIK6lN2Z04Ml6XMmMba=`qQ;p=e=q0aQFpDDqd*vu^vD$H?92 z%g{yPsO~~~&+l^wnGWs{RSGCp&W)SJk;@?G4Pk4+M%I#n!atoweeazd#K z$pUYyBxp0x6HA4K?&{kRPqSbD$}#-})4a0Tk#P_-JGn8e$$ohw0|&k6wr zvPYtRCD;b?#svLGjM8yC7b2*d%F8`b-7H&JIbyZW6gi5|@z|*s&e+;spt=%J2e3;8 zrrFEG5Z0KxUG^~nAj5&16DphJ{ZLm zF-Xlu*=b9!9{RqTj;>yHmVLn%HtpBNw`68!!h}HT*vlzY$6$hl{^_UW+WMl@Nki#L z{JPv}nc&3xxYaWv249ZD=_wqkU*OASft0pnSw;Tm%jb3@<@7Q>Xx+XXVwoSvv|-A6 z3*bsz>!W#GmU;_(@340f(x0Crh%jn^F_{*`v)5ODO2@>;;#J^6W=4DGCJa5RK7C^P z?t;#)7Mi`-HWwxbe?s4;R_Njkwe2yy4ULjcOF57KeMXY%+k3(l9H)9Q(AXhh-!L|Z z2V{30>g!Y|+u4sPY8<#Lx_i9L&?@v4nYETY+T z=fW0K7hDqxeHtrODqWa%pubp!8jfhaw;%UAk1~M>RqztNboN?2j@mbKFFwa1PFO(^ z#SFn2QFfh)O8RIXCSyPy%!nD(Nha z)WST37u$0MaT+Nura|^Pmj*@^0P7Mg2*D!JK8HDl8<2$aXi1Wc5B@*%yHJp`ZpQlX zC!FS}nGgR|yT0-e(*@NXCmid$cB)ucHt2nr+NJpQP>fohEO{lo#N=1+b7ySN>xQ`p zU=5NA0b_~97n_IhxHEElq`r9*hb@jXLZ|Q#o};K$8wUy`(i(+H2HJiw65zn2#BuZR zeE7fju~G7YmBFtBnEB`2y;B)roov0s@8Q+txdXQzeIJh+ojBpS{chw1DK)<1>ZwCI z!!(4j7s|Q!Kv|bObOca6!jDO9rdFMQ%ll(oJw>WEJ;toIyL1-P^`CJ}3?3h713iHjM+76L=CTL9m8oVZ=Us3(LXSv=gZS?9 z;^w8)z;mDa3?4ls+H{CU=8SDJ^`oPQ>RcSPZ3b7a&80fY8aSJ5bE#3< zPXE&#yJMCP^!oBiO<&o*8_~O294Q+dy)d1@CYPtYW@;ptMaDHuT4AbW5AJ;R(O7<; z7&}6dE(zHLyO6-G5?b(lg0#aBN0acZA0GccG8N$S%d-sVlpvFVbJar66$C|8=8F^u ziMLy-uq5Gt0r(uhBC1YDTLEUqUP1*HNel&YT>uy!IB8Ji|u=*=A}c5*hzb} zD{)y>-pDHbaHa!i110L+{%oz}&ztA%V-H&<^rt`6TW53P>z^&+>~js)+l(DI4~y#g z+7@=`MLZ6%wH2xT>!3QHn`p2a{v@{J{a-zolAGVmi^rWr&OXF8?#4XFiM_DLY6l6F zxRIcro~Tdu!s%oH*d%!1NFkchOv~?Zi7Y>HWmoE^5!^dqA32Jl3!XZ%*p+f>83)subVNk?JKKYUA(Zn z{*ve=dS$_z9n@dV{RiJ@e=4gyyIOrX(b39Z17_|GIVi$??i2a%^D z;ru09i05%c;7JGK+ z{5GQ?h94QndBfoW(Rj2)L7D^xN7!RHC*YB-(ytN5(@?c_HhYZO(epux_+KI2Re{|{ zmmlQ_9FW+CbkX;$Rd`Sp8~ri0dzM{`0n~3X15!^yimR4keg;=lj;n|Nhv#BWFj^cx|DMyxQNoAL%@i+ye^Xi*g|A<@8QVPkN9s!TS`LNo^S8=`*R<5LExY@RU;qB~+%>bpc1#Qz z3(4%xHXB8dv|q65GU_*@(Y)bqk1KX+#a z>AWH(1z4bpbdi!*pgAM{-T;$CfZ1p~Gm%LDV=U4v`@F2>^~@EXr(sG|TlNKhy3lLJ z^lcSGRAztQ8RcE0Ca0cdjB0;*oK_Q1o1kW0pD$jyE;8It_u*O^!&>u>Q|&R{P0QkG zZ#H;3xz!<#xyfoGo>lDnt4 zWpeJVSWyQ`GC+{y=w_UL*^T}s?T(AioDnJ~?CrDX7tr9Jo0i*b!fVybe*L3W*m#&nBDIY+!!@w}2jbCC3o+u^#0 zec2q(MfplrgSs_@bFpyVZ1MR27^5cnD`hVhf!iY& z{d8EaT@qynEVR9&&{x)%E}q+x~-v+#RAnb$*2 zvl6JX3Q)h#lDrhE6-k=D8#c@Mjq)v~sH+5*Qq*>%E6}cjRC?;!$&GdcZF{ImdT4bL zqckueY6WuA(-*Z^kiEnDX9u;@wVq`M^UX!mCp@EkkCgn0UeoMU#u?FSi)x6m{mEi+ z>}6Gtze`3vpfDs>koCNacaVUl7)eA>0bB)14-2UvbTvk{kM@t_D>?5qKYB)!MRz_` zkvv5d3*6ejtXAURlyFiH;aC&_A01m7$knVk6OyC;$3V~E?t;d`0ool38%bgg>=1lHs%gzus9}fX zCQQxD5*8$Jm=M!5^o*#8k1Vdj3{IXPbf}C@k=`acgXWP3$X$3btKN;p%N-Q+3BUy~ z0Vqj0Xn&w0h;tzAEgT;7?4mus4C_ZsRx>cd$6e*Q%<~2^Kj3{{o z5ux&YTwt;Goa~ZUB%xfO35_)})7oV>`OkJo!3#yp5sGUdv>@SpqI7(O!Z@$&6GK$R z_LGBL$m>mUQ)m(OeMvYKeTRO1h_pXkhXAi6>fgl^<(glr6qwDB36G+K3fmyTt3QtZ z+oO*W`x+4c$<^UC6cQ8rBDDz!F^)I5FcAM&>}LXX1_Z>T$pAqO+`r!Am+%KWAeO~X zfm2|H9XgsCl=N2^U{sMTAbAfhlKOq=;6R`bGLPIFE`TW1x6ov7eXc`ZrvL0zX2Mw{j6r8l-bF zFp!Rpd*@Cc@H+r^3keGT$fCH=EIPdcv_S5Sk!0xKzHs40qE=d2>5IPz&#KW%3VrDl zus<1oQbR9GQZFEiIGC>jPg*Wh4})M|@Yra;+{f-r#aIp)B!I<(s73WUE2|s%?tsLq zg&E2McwaO=F+9`RK|$+*O%O*&f_%b<1vui^B8GyM-@3S$<5)>~2+P6e*m;=NbgciH z`=qf;-gA+eZnG+>;pGu#CO!{qJZ*m|K9vmQl~LRG*si~H;iGAZY`?S=)0NkpeB+iz z4OW|Jr!KHm>K=}w-WFi$T5Zzf)fw*nnlCt3!pvsl^XyKuy}xE3KI`XL&{p+wHOtTe z53}}?=rlTUos|HAzzQVXa{z^Ss8J2Qgr-P^6*ofkp_Lw*eAHVwJG=&aYx~ZfJKr~V zS>ZL<2(IFP3bf*3l2LPii~y^_A+`)7nC<`maG;s}g%JlE9UuV_c(1#}@qAe^|TOO^dW>yIZYj zF11`?IO*zo{h;CG(BVxxef<1*cJBP0bm|CPjnR>%xeCA%gwLm!_}f6YBPl^y)?g0_#UUKz07|Wj~zk=u42bk(smy^~lPj9Vf){cU4t>Fso1RFx*-EHQ5>Qz28f5Y8(+U4jxX?SA$8Gu83q(^7Bg z8#cwxgmboJX03Add-}0pyfVRPNWf8nmj1)3IPtan`B)E+ecoJYbTHM4?W|v-aJ=OX zKWfoOzbu3z^&f|PJ~-}oaCl*JQTcz{w^Yn2ju|~2*#a{?!S#xrml5)GmSE-W9shlTSJVz^-}#G}mac`Ex90W)Cs+tPF7-xCtOueda{) zZc?vf9t>f%0XA~N@!i~f-o)fM>I<@s5!6n19(>k)&uw%yIV04Crb4-K0-XT_OMIjc z9zKk*n|6!bNCmHyqIUwTTCRw4(A_NQU|g|VU12sxXxjzR#O(+9m+McOt&5C zJ}7E@sX4-&kCTZu#VzB5?yG(s&%Lf+I%|83{|*>E4K6AvE#2dU5{0KS7m6BCnJc((y$K2i7$eN#>!41xR& znkM+Cq`UX*887|{c)s^x06W)#x91t!T=;K8@V>3WEX~b*g6jJ4lA3@1fn^wwV5kW5 z`r6c_+0XgqEE#Tw+bxBO0KrY~znvOP1*J_D)Euc9JE;ew9E%CD`Hsct)`;Wd6v#dZ zqs_<*4wqMK4qi;^5?l zZsDlQt**LS1va|uN4Y+ma&3Pku|u(7^wL0h`#`g~Qe=zItCfrsR~b4^SaN^cFLi(+ zAdRw*WzIEBRzD=p;dST_g94sSo7ahCnMqten`D>`m-#*I%DV(Fn#?-XOv} zdi*hx4%rs2uPdBt#rukrH$(Nx{hHJUiH@GPVV855KDafQ-aN1WI5{}JHri|K?3F9* zh^b&YkG^-9y}Ab{p9ul^rL;T0^A92T~eI_X>yEa+S)g|g% zY)x{QRPC6QciQneZoI&OqgiUTn8>MRb)f%x>H%9Bg}1G@yBbXXPh?_`kVZ}0Y6tJYmINMelg$UJ!Wry_l+)8 zijG^)*j*leE+=Aa~>k6cA_IXw(BB2K1+U4pQz6 zJnz0oGCK8LiwF3N7$jQ&$vv?h?}6ovjIQ0c!601Grshhh?5dH`id~n7zg#H0ec^i2 zJ?ib(H1c0aq&sgJ92}1?NWVM%$v{eV;wrC{O72nbsl(PYd}56UZwg(z$M^EEl5x-D z1Am4sPxi;mY5zF;Ai&7sROK>$O)uM(F2BsOAFWWVuC*~2pr>RdHC}0M{7gJ7m>j#f zQa#cyTsF9qdBv^v5*6>AOQk{I4mISj3lKG{2z~E<@8wy0#WE#^vyoX!Xxna<0Y5h>!^qsPzH9{t*0@=jxXhI&TU)a4-(56Ft*h;P ze(%_m*1-%Uyy;-*-bn6%Nk726voAqOL~Hmc+7qO430AjyUUe81l2a8Q;E~IE9?E)kc1?AbPlnRu$xeWFrje7GN4V@G%tRPIV+#*j0sqz`F6|%GX4Ed<$v6*taf>@ zSlX8ViRYa(3=h9z`{HQC#~5^1|e_{VEb8mi95E9+kASEr?` z@jqV8{cs|jszb?sHrsnm(mKI>Q`53PgFi!>9@2VAR8Kc)D+u2gp00J?Imy}lspZA_ zM-!taPv)=Z*2l|G3x|0wJGalBrQIe0G7#k5#=txV@>7E!^Yk1NE!g+WPkP94(mnXx z+lf8?+S5a`hKrvCbO z15@F(Ut8<~<~WsSu5iEAyP?A}^ZJ6al8EDAN0Y{%E$SQkvdb@TIr5Zd{lLxoRsA9X zd<;*c()X%Ht|%PtOR;j9EBcTdRxr+>=2b%^7)aiDwb2l*G??H>JlT2eZ}uj$qWVzr zs)JYWKU5aE5S6<9Mo#YOedd98T^$(qZ?1l6Q@$8AD9c?u^rLOeXF zkF_($m|V0EhB_pV5AkLvbnwizfczXNRO-p^aO^;ja30>ATCn z%+EM5z2fUS%@jw5{$8CsX%ViSRck(Ir0>X4J~z>R z=uph^<0+Ol=j*b+->;$D#P#|DlD(%T$ypWZElnon3cPQ0@9D_HGX6i2y0? z=@Pvie;K0BcMiwZQT5cC+rI64M=xSp;@ZZad1R*M-9STwKAUY2l9b2$5NjbHM`m*>uUzkQ$c^5?>A z_kYx_^eKi@)L(sme)j3q^K+Sdabcy{@Uu#3@Ahg|R(3;qdcLOJKR@eBsa$zn8NW;X zI^wSRWTkGDWmMpWjUU*|ER;hBpP5HX{k#MQ4r3~h=9i6F%c1v8j;}}W(xry_R zKyO6DI}uJ5igRg0;W}%fcIO#Um%c+;C&!}{xwczYnaMW>XlP~FZtm-5_~|)5Bk=ic zct#hsU#lD9}Z=Y#LBZzTkW{9GobEV$ECV!2OX6+3%Y1I z3!5>FjJS6k$xZdwma=NM)7#zMq+&FdnkUP;1P3QB!oj_5Ni@n9XXCpV&wZ>q_^vI| z$0%8fis_>*`>p2<7k7L~srkj%BJgJ_*?C^>K~Ar3jkV40GOsPVY%SZ?s2=c((+xRR zCGqglU*C8&zWmv#T?JP_rMo`R76H_C1dP9o%Bi=KsojiD1#L3xD!!|1$oHHN6?Pxu zZ2q^w7Ha{gW5{tei5wToOCY_{Q@zh4nSpg@R8B67d6>T?f>|c7>0Do1W>-=EN9UJwC^Fb+>4Nd1uKF?vt52EFR2QTOFaiaTosmO=@%Pik+(*ew|I* zulxLnkK$iDW;t5zXS1iw3Jz;UMq$pHsY%K?&_SgJCfr5~QW>fhm;r;4>l?laWa3rGi#B#%oNP+`mY8wmZ2#8~7nQda2>@ zw8tL>K?lDLA95%rygd@el$`aA!!2{^ZBi00_5K&CN}AqO{5`pMM&6*=ue0`}j`zgY z$NvMLe=n8qc|RvY%z@!yg~f?cw_PP`^=jf4o<)Cjvl-Pn9I$DRYJFF^wI8S5?LzT^ z?rz%7(58;9j$MU+4>7;CV}Chf`^0(1oQrPMO9X}*I)KTDj0m_#JzkI!6b9Y3T&Xc#z)0cT|l^T<~M_&G4;d^2Jc&u{G zUWgcgBV4euszF5Lxy911Sij<`L*pfr0fu8NH@#Y9SYA*0N#&|i(ipi{R6Y=30$T;7 zJ0XmkN?b&hfxxd?!jJ6;?F_Ii4sSV%jtXv^^`KhJ*z$3SrkIiySFbyqW#6dE=lY9w zXbUSUO*CgQU|GIjy+G(cip^dYA{_HdIVu@RQj}L@$`YZ7;L;q7$ldr6JZ6aF zFTjHxm3)GJb=ENl1`>^=S1h8Blb1m*R|3pL+%4d3uJ-TuHiL-=UN58vXYr+L>m3&} z#GUsF_v2TcHo@;a23UD^ULKh?_zyx|gZhTNh4=y7rBiV3ldO_^{n8ih&b=|90v-tf z)iS_+0NHT$17#R}0ONmCRQl#2q^yUF=n_t=il%}vQqWR#@PHLBU08dbp`~RtWd2$h z^9**}5~PjyhI8plctFyR1FB50e5hcTR((hxgd{fP!?DPg2xVaD!rIpg8{EP*1QPB5 zszfr!9Od}Z%C+Ym080eNb~V})ONjHt4fwl-c}aNW+7HFF@-9N7YnQ(E5)dOI{J|W+ zbwtgw)b_Cex8fNt21x!Y3~>@RshX6VxIz4Kp3K-*je%q zOa%X3Bo#WZAO$nw5vt`aHTj1a%xFo=+YM5?+8i5G;w^$6F|u@WMGKJIod=>w5Kl6C z6eF`-oB9C_R)&r&J`PTK9fCSfZu5z$1*!+PurMK`yRDszwI!_=+{O55#AaN$`YT0~>#2bz~Je2~QR*%%AP;MQF_n3g6Gvl6F$SA3`CL_3t6k zw6wO8o)5t}5!SWdTnYl2An5m*Bpo8GNWiDwB^*0EU9^0qowydCg#B}{TdzXg4PFyp zaV@z}$_oS_6pt&3RWJlXK%8HbPfEN9qi<->UXV{hk62-KBwY*UMM1W1$CjW8x)~vE z<@p&4Ep-J2zMz%BcGzw=c28+z)+RT0Od=A@(n|W$P7HlXwTy7N>=3-SZv+So@Zzl_5NL)VC-J=V1q-|Aw#7~ zLbaC!ukTb05zx&U{=NOiEBC7xXY^ctf4h}txmJ5pej+SzH|a7&IX{zT=2!D(&tR`j ztXXcd_N8jx#TvDOCfZHha>0GSbe9OD`H%q;_dqg+4{7SZU~w)KI(E{5`S_6z0SYSY zL?rB94EM4$Zf@QPl6Ra=v73|oh_`L5%5Ia+ja$ykk7qW7ioBqnN|L-*&c1oL z@v^d9tZ(@68t!qC=gvXTkE`c*U4HZZhV|dk_2Yl^KE2++peS?KKyH3LvBl_2==~E>~<=vuFH-_nRNJ(h<RVj7CJ4 zgJVl-mf-YjzK^z#ZY@@ERK)lb%XJYQ8DV-v?bSmO*4M5XVmA{~L6XjXfa=kUD|r6L zsYuIDB1Vk4kyDjcZ#Ne7KD}(*8~_x|57}^2re*_Mo-~!EVds<4a@r@Wyj+`2E|DKC> z7dMv{jIHB63DwVpR@k{lCF@HWXJ{K&2#5t-IX%t1UsE*Rs4ow@W{abxY*`boR(8!;NxkhRFgN zA0O|!Tb=YU>9)9>+MNdvZL64z^=KXjr&?_dP7yB5OgD@>RtHBQ4;^KVbtGc>Soff~cn4EymUfCRL`)Bp}UfwZ6pPro_ zkUG(Fv+K_A#G|^Cwx%+2M*0R}cFHe#oFkkKhQ6$gy8iofZ)Jav$h}86{D&g)9L9En z*Jlh0CrGMGYz(f`7+0x62DzZuL?|}Mhe;@qUq@s5__~$SN`o|;ww-@x8?+>h2R5iY z>X%i{lU;fL6t|ZqM@59l_rB;2{|&uHrT+&HTe<4U+x!H|<%1S>d*W_BS}0Mlu4$IK zwr$2o`GUdWv%BZDU*+Y8{eC7*=SU&9yvK`gF+u zgArR%X(P=b|Ear{eU|IT3PuK#jU39iwQ%acWHeXkvW;=fzH__dT%Dopc40PZ*85p= zmsZZ6ifCtRDCiIuE2>Lc)|l_}li9Vx;_?Ume=wZD$#Nly7iV5EK4bSg|9y7TL66Au z@9&E&WPW6E;5-;pfaCD9tQs>cjgFxm^2 zaclbK{^2C!S;`vi>+zd|eOINKwaENd+3R6us4BSg!>wW$da4I!vktwsJ5*VHJo*y1 z*Q{yJ>h0TQM9Wm-6rYq_s?9b1^S86qDI_dBsnaido_fUsP2Qo+8>@z&wq0(J`u_01 z7P@;CN0_&0DscK)?>OS}t;9ofRcKqfh>_jopkm+0!{{pl_a?7cFOvhnig zxu0}Fp%VstbTt!KIl~C2f+JekUBZI9V zZ&m0|b7ved)LTA~yfL(HWc9ADev{fjF)h>2kI&?+rPgn+@qSxe9a;W*_=2R)c&|#I zQF=@72=&Zot@9VRRz&d5v3~z^Ft}2CVdN->>VKQXT7)+TyHWCP{v(QByxSQ6H%?;_ z&h>XGt!&?-I{m}wqzb~Cp29gk>mvmdx3rShSVtB-xgk<5-$j2nieETTn%npw(wj*Y z4~(xg{=k@P*ME|DJS`=d0;ixQC)`T(UqPo_2L)}0;s)ur!PI;A} z9;o#iRS-4g``^$hXPb_Ok<3(`Z*Szp4v~4WTN3-)JH*!Rh~LrkG`zDaHp_}iw!r?F zG4~VSyaN#i>6Sa_>G!WY%^?!`H2HYXvVAr~b%)za0>$GezU-7ed4IM~)-5dO&__ki z>TfPHx!(R$el+F$>)lUWy80oA#_`j0tGyXPBp)x(0C{6Oz(Gip67_vZVyFHZ*^h&m_B_BUqt5p0?z#uu02BQg{Fl<_m5}vwCz~6@@Ki$jhtm|TNl<% z#qg)l3{Qq08UNq-r_&`7P5+AmclT|Tj()D#(|koD(3T2}Qk~U#&4tCnFbAvthOadWvW-c3>PZA?z><4t5R8Ex?1C1QS2&xIyTHwkV&))FG@`M zswL&RTIvl&HM*lrA``beNtTC zup@hd?dX-Su7P7o-6!4-g!)ljRGMcjHgd}eDbCv(>O_mV?bIHz*SGkn+4nK~rs9RHwzy#&COUUY9*l&ZD<=kp{akRkLQDs{V)kTn$!(()+S0p9Y*< zjEcc7^HE#Sagi9Im>bL*TC<^Y3eto z9|B_CvTEq2p-fp%>~8((RW9#UZ%%)_t)!h6TwF)*zoF_O1#d<5%4#V`g>1FsKsyvN z>2J?wnCv?-VbxhHvzCpnDO#pao%P$q&kq6qms@T;Ue(pfDr&>i7~xMPBWxo2qiSGt z%bO{FuF}@}#1~Ae)%x2NSFj{o>DCP7Wu;zwPv5n$Rl0&pQL8>{`GM&`K`W_3<^Fo( zan<(FrzX!;VuhJ2=Odjrr53;Y5H_6QlONl(Zx=WrV8=GV?Dg8O4@0FBd;f6az(`p`n55ozbpLDv%v9<*b&d+DDTFcNYZw@<|am zgd-YazKXU?&=x^;vD%ZBkfG5oOZ+d^+7*oFn5$t-zb>jho6T1m=Tj1{+0In^*fL!mw0qz7X;sK5iL()TF?S1 zZtV7$YjKAdO`n*ywl;1y{8cO7H`sP5H09zcLXN;Ylg+f5VMNAqH%di#R&1FwvT76b zDx6yH%G6Q#RXJeNhSSv`>D4Rv=#*ngEG#Ur(MBo6EcoI@5Ac4moYMoJK7E2dkr4bq zDZ=C@rf;Wl|IHZ|ETEXUbc^dGJtF8U1}qc)CNF^)Is0+v80@anB~C54M4`5j_}P#( z7O`|F(?EM~3bSX7|E1Q@*l4P}zMToreFS=TNH{Rmm`F^pARuzWf2?tz>&Q@4RMhfH zN@LOCf-@Pg9Rfeq$~lr(annEgAqYzgbFOZqlZ-Q;1SJZd;T_n2{P=M9moFI1;1|O` zy><1Fn9BX%`Je^AEL6km`0z*kClGikI$IZ<)!TKu2_*!CF@OJ0x(j7ekD5CGE)%C;$Hegur$ zV22W0BK8B9U!dNjO3{@i8gBR@5-J=>v!j&4oZV;(74A;B*HB%(x9*e(;0UV~Plf_@ zwYBp%W-3-b`n+r2#4A64j^%reYw;9B#dB+;z@5X|P;#~59T~hl&;#tvMsrGQCSGyi zWL!{1PP=v#LRYe3x1&w|ukl-q+&RF4KLC~@o?{RfwIdFJ<@$C%^QO0d^NF1evU;xD z*wtQEI)Kd4+%kd97s15fmQfE;4&I<7m||>Rgv#TtAzAu`gAVBfo&WJzyF=U$VMNQd zZ5tH~N-%n=3~PH6)`tL4;93&Sr}~r;v){=dLO?GbvG@H5W)e{7Skf`P2Ih)wbSxD5 z?;Yjyo49$s3hUqzKdSK6n{$(Z>)4Ra{g>ZwIk^`$x zM%3QSyk*NL)ByIglS1S&VWdqQ=?Z7G|>DP3{%-{1t3fszlgf2E8xNg!{0hLpp;d0k;PT zrw+T$2QJK`!hr`2E3R;E8dF8UiwqVrI&P-6OLiwC6H_sH+~a?=?@MUGc;Y5n8Fw_t z0mDNFe-Fs;@}I=@W~`DDuBYX64)L)i+j={3;{urxjzdm^zZ$vCmdM(QfUq4;C+Tcl zQvQD4E9WEwV!RoK%40#E!w|ws;whXgLDy$^2NS@cp5>!p+CuoUg;>)?-X5pPdm#7EO=Gc;W$G_H1h-*1rIP0- z#S{9Ok;;9AM2Jn>F2zLqvv4g*FQL96W)ETDWeHh+J4i)XAK<`Jbog*-NIYq7;aS11 zVo)~A7Oe>~4G8peq$h!Y1|((_Emw1@#@6vzEVCK9xp=SA8-a}y)h?|6H11Bzmx8RA z4b?rGT}q6Z6!^sd^N7EdlXLUVQDUn_T$Vsh{)sz94%8^gjF)Hc?%jS+ar~B-+RRHSL{BY_c+}pf3tB*ik4#6s88`o?Wp0pdd zcIlVuxQV3d9{lq#WTqGy_0Z@jxC}#gf4L71CH>eaN3`IevJ)*Jrko_4D=cXByl0NB z^ct)M+i{h4z&PIP#AiV))+)y#}U~EM@N6*!(eZ) zNG_;U%4oMTa9*<%e=gz8!wWT7xG<;MuU@hW)`P@Z6fFvP=;FrV4M;52N=n?JtqsDa zAU%;=)HI~mNaXNDyEP2269t^^3U_;vdtr}R;}?lM4P6y7Nq|fshxsiP9BXhZ75GgU zykNA5JGwVUa2Fqs_GUP5%)@yM=Y`YP_U^-&AkT+)G!E4AUmt>G`qO0T_*|)J;cjdL z-xj1R#VC9P4;(=AbZ8xfu4vJrp>puXUk;3xB+h*j@nhD3s-pO;4TeeMLa`Kihf=hhz7)c6i)}v8JltZ5?dJfL&KO0N!{@!e+k*0 z8>E<(q0Tbyj_Y4(i{R~AupVfWKx3*1f%*_G4ki*vP~h?;I1K$}f=Iakk!ra?V-s zT(tBG7?<1uF5c=%y3Jlzr|^h-5Q2#QgK&65wil=k_X4d@UyrAV9&{0oT;tgRW}INF zh!-iM0|6|E;T%d#;yH$UhGE1C+%Kw3zT0_t4BKGNg%P)xYNKwuwBR==bY0k@fk>8M zuN#F*pZFx=`Be@mAVrhrsf7Iiv|Dk@hP}_>tAkKJXuuEz(LUBrfbtCUPypkV<4=iC zDuM{62R*>6TfYSR%R=a5{KpPQr!-_(N?2R$Hc2X<80?*wg>3AcAHTw1rNHSX3`YDQ zO90TKk$0WshWuTR3mq#<_@#Rpjn}6m*hBP;d7sC=dMwG<}zXQ%j|T>_2=acucQxaP8Z%BE5GVmb2)yXKs9FIckYSZ z=AT1(Rqwmh1m?cEFJu$gzOQhTEZtS-FGr4x+LhKHb-S%_;kf?i9r@S7_jUM&8AjEe z?>YTwuSVvz&c+jewJ=a*JZJWE4)w+F>}i8RdW@Wk1ZI@yB^oiz?s%d8%%}BPoCCap zs-B1iqFqTOlxUpF0-q!09)2*3p{?XZ$9kN%v`n_kL83Yz4exJ^XD25Y)C17|*uWGJ z)12N76fUUX;Z!`@vzb6;h{|etdO_|VG`1%g*c@p6n|JWW^lC@DWD_lK&sU*Yo@)YU zr}T!7e)bM}P!;OC?&~t%W)^NrzN>+e4EmTebx!`IDR#&V*7k+R+BTw$bapWd1ib}ot(>bF5eB5&=}G7K1+sw}!aH;@Pxd{&Q;T zaD(C@!zKOA#}S$DN~|=Oc2|5cl+4@o`NYlX-4#dsW!OSn+JE$T<(IAsXlHkPa;CV; z+F<5_Dw8yi#;Do4xs3s--n3NgGu)z=bncGcrJ~zsH}R~pg5A#|lBJ>Wk1>8dhQ zrAO(SLt7ty4iIgA^!Efs)TUQ(W~Y!jXV(9x2kM>uzk8sAXaB1QDm!28Ds_^iO_YOj zY9ynEpe`0c%RD4_CxWOCWR>b*Q|vW(`vE%~c_JI`JPukQR(2QPSk>RF4<5OnnEb5g zMu~U8u9|C=1It|hw!9DUZ!r6L^>It=*{kA$?dci(vu(W3@mT7#f>Ru1ge8u6)pT6F zelFYgW48rcBIA}Tvb}YDH-{%zhEzv%mVCP#*LdrqzuBy9lc(>Ot;3`3N=Np@c%L*k z709p+7`{`P_eiKfQAFI2Qax5%Gp)gL&I|T!Ogof*AohYYK?RpW;+sH>puh&QwjQ=Q z9U1T=it+l-=ZCHf|MBl+7Z&}avcIES)+JsdjJdx&c@5uW&f_f=TYL8X*Q90IKZu$S zUUx4)zGHsPIoh_$dj^vBV=4YJ>MWK$l8>Ig{4^?QdFgM;#rFgIC_`fY>vO(l6kBRC zxC{kTsHL4(t{dxZIwG<%dM2!JwoEs2*LBqcX`?Fo;%DAa$*gCxWh&$zm zYM1Bic#1C5vQXn9qYo?XRFm&0pI)vOnYMi>@K1UOEzOPg1^WNi5{7C4b zF9hX(4d@VMm6gPpl_aMynEkwW;IQc($Eo{TCEtzVf#WyZF;tkZq(l@tHkX-R5eppJ z(Z5ZBw`txc=ohf-yB<=$7t_%=$Mh<)-v2RgZhE8DD!2UM9}g0?D*o-Q{r}Omy)7+T zu(>;R@-?U0{7h(V>67G!K*n%&%XL1dJLXbKT}vgt6^D**VVxbJFPlhIEqzSWGPG@- z{lxykaz|VK8MC`k(}squ4I=|Tkh9*)t^UGBE5Zd4kemd7{nhk z{PX&V_j+wrh_OgbtnyK<(!{4F_fNzv*s3(s8&gN9bOxsgws{vhTrOZ-n=tQwsU*&O zHZ`H{;r@kS*)oTx=?cHY4|9e&98uA0&6IEqfSM&IbR0Z^oB<~}gtQ~+q;`?&ChChn zFz%jgak}pwK9NdoQhe#*p)}C^lrwLzCmo{4 zr<-(4?>d(+KdRWO+VqlEfzC%g#ca(yy*bX1&0xG(m8Gv%-k|D5fTu^LxJe<0l)Uxv zTA$Bc!4neF)IKJs674sHYU}wA29>_^R(XA%o|A6uZ*A@!wDQH3|Fv8sZL24SW0kJuy+KIkQ5x$rZaulTi(UZl|* zOV0JsTXiIZ7k3UAlrOoQdf`r0>nBsmd61w3SWA@+ssyr$FI{9rU$I4clv**@PvUwy~$tf9If!U#-0tW4jj8 z##u7hO%rI%5F~Oy=TFsZfF}x@f`E{_6hygaRYD(g6ZQG?9~#~@r7%c+uw)9FY4QuM z5XhkMxul*rU0CKKcJm6u|1UMdZcupXI~eizYc*W%jQw9yL&^ONH_of%%JSh^cCX4g zJ>$wX6_bJlZtjWF;L_M)QyaRtmcqWFE%>Mzv504xe@%(w^+(Krxl`mon+_F7%TX($B;j=CU|Bav88Z-OaVV zC2{z)GhL$xt3a{w1!I9w@xh4GBX*Xzj|fEiG#*NduY51|P-OMt5ef>Qa(=DtMXYNw zedjeuMQJpWd;I)(49wnb52{^pnV&eHo;tI;Z&7fkMiSrFipTWin|)uu|EOHyk@KD= zBcnt3PG?N~H{svu`2(~^-rH)W*vL|MQ3>wgRD4jqvT~V}IB~dfVdlca@-CYRmYssb z(GERF(>>08ViYk|Y(C4gt#st;-?WW+Gw1uk&zJMsrw4x5r27;ZGp>&baAjWEeDLf# z1jOZ4131wMQh0GV`Gg4au;)*V|Zi*B!;(yOe%^TD96Rsheu< z9gI+UCdv~%endy`g{cZB^>X5LR9?hXD_fSIYoLj8xv#xG1r?JLHM{a^qViNnsGjb5 zy^zvBc?*BuI^MOZzwTm@wbEgy92`BH$_ce}$j%Z<&qU4(g~8v#2@RpK{7&sh4aUB= z1=Ui?eh>I)7m`)qe(7d*cX47t@yp}-j7`%n85}9(ui~s1n)cjnaj)I>SHAgkgydZn z_BWL|H+j@^H#`zGR!8MjDI&7-j9cGO=BxF-q!|iIZ}CmKOUu5eYeZ;>z9jwUr-R%Z zR~us(-pUA<>&*CldCQpKH;|{}bt3GH?&X?+2Y!>Zia+BY6>pjzZm_(rzcjFLF}C#} zPv}njXG7Fn{q9n_5_9#%i`h>^l4yS!cgCHlO)=hOd)WJ3&R*7``dqW2Cj-m(Z(I>u z@(QyI{vvpn(sFfv@Q_bhW1<&*$%s-@_}w3AHtMKTuT=}$mpeY}D#B}I zoE($Nd3kG|1Y*VSlD+OYwR~;SCo183N6@59J8OuH!$)p5Kujrn_nYXa#s9)IYYcDj6V zmX1E_XXD^%9FzM}RA%LE|D_8D-Z7oa);rpHgYougvxCyukXPt+XK8BtpIN_UemuQ= zq%=RKAka_2vC(pUX@#v;TkYb;hPh*;cYRT9j8+G~O!pIB*V4hNQI}>>Csq;Xt}7?9 z3idUhelzq|wKs?KveVhX@N&LV9jomYGMlxtDJV7q57ifaYCdM%`}W+jgmB{r z|7{#AYhjGbF-kt4BKdk;M>OYpdsudT*_C@_ktwRys9VA9k)b%hPx;503>$uB zO^&^=iRPxHIIZ77V=CKQwX~&FZhA3-*`*U-Slb>JvFU--OEUmmV8Fo|1ziL8m!te4C zHPL|RuUc>Ar#yQjehcW(zlh%dbuH!EM0vHLObor7_$5H+FizFOkxSS5pwfQasbqHd zz|v<^@dk4v&6&7E}j zwM8+u@m%qowJqD`hF<^lTR((`m?ihy{{{x-Tj7~=^!dydTZ(GpKuql zg}Zz6%+vn1j!6s$>^h;cR?(4iaNkAOu*7YgU!CG6zI>TfsJ}HdC(vD+a!u$@L*(G- zE00@qpE~UpRtJ{0P?nAle{4Cku=v5{^7cyWfn*+r=w*5i_g(7|RH;U)v*tV~aU`;| zomU@x467FrmhU-ti8k|C;8XxJsh|yT);Ubjq7skKyu6eEwJ!d~7^Q->i`nnY+TCz7zbv_L zPTXoyQ1WEK%Fl8sQh(O=#*VWgFi?FF?02K9*#CW!j=bcYC#Q$j>rfTllv!>Lh4Sr* zuh}!6&nLgl*|IOVuqCxn^u8`zK}gM)vGi-`-?VB%6`f!T$qz_2B^|-7Ea?Uok zI}~Td?TVM0We|MyEOGoz#&_3KHhW0BcJ~hi#&Lfge-yfLG?Z0-RfhAj&NarHr534o ztUbs!To(9E8tm_WyW{26lNPek&ZXa0G9PVs$!1?sq4;o~w$7w_BAXK>eD!1i;Sj<{ zSd~AAh3)@-E{r#$*QUv-`;bn5Hl*+NBk75r_Y%+4*PO{eJ0D%!e6AzyqPy*pH|haB zO*7hF9Q|hNiCp6)Ix+!Q#T>Z~7lYfSCsg4TO+|M`jj4)@VU+g0$NjzDLL%*czYWGt z+pWzl@XN)EKc=j%wp$nBIAJd`^JLQMo~jng*7-&GG_en@L+q6KGdIhA9dy=a-@B)g ziAqRxVR#sQ7D846@EI_%&yW;)iMBc_$Xn>M>|qp*1fa%`L4F9oQ!!JfO0bE+>4?>YYdxnnatKO(b$>IRx3;=ltexeDZ1M9ohtTsKs9Art@xE67^s%E_Om;uw zs+5m_l8$%(3H+Wj zeKgv&wy5o|U-8{K^P^&G3Btn-;w|U=GlYky3*)qxI`|*Xjg9RTL92D-l+!6_VwB@* zl27|KGFp?R%y@msjl=O>JclBA(CUIn=9{GXmtso~^pz{MMK6DklBNq$x^>&k+kI#M zVxDwS?d^>#)z=y>ZaD1?KN&!hQn{s-en^E;|EU?t-hZQnmOqOxIggxb*U7%cNY-cc{(vSiQ~J}IIG>g2L1a;E*6(x+f0fth3W59 zy&rWqYTsMsZ;`3_yDqLJNW~rBvJo!sGd#rGdzo8F>Rf~ilvgjRay#NO5xqyDT72S>3wlSOl$ z+HLEVF}r#CIydO(8SSSpdkFsM6!ccpeUf^=cJO!PJo(E$-T79^tQm(uC+);`TWJ5G z_kMfxI+LOh?J?6f_O^Tt&xV$;?RXb$Qq;D)6wzxg_^K?xX z=eXrD{u}nEQ=A?zPzJL8J!3S{*^;iTyr=P%(q<$**(bG^tFudKj}JCVJ9i$Ct#}kJ z+fimBmnKm3JH+Rm)Z0-1UB9kp z8he;+tbQqr`W-y0YP+$?!o|&tY97H^An=u`#E=B|Yt)7j&jtiu(Vg%((KvK+o@K}zh1#_+Hf%V=T{5Y68GW1iSB=bB~C=mT5lWj_5JaB zL#aM$RQqyG)1!+IGJp6OjHUNP{77S7=la!uxo64nYh7BMiB{C6cO874E{DEGW%RuH zeavC*r;9;CnvNACwu`XixfT7DYo>IGR*n-#d=rYt_LXJ|Zitj{74IruZ2RKgSl|K@ zIybX@UcwZ8lv9ar-7YIr-{`7W&7ol(Hm5am=7u+RWQmOC++UeDCtMtF>Nq8i$%%?d z-k?^_OnTQK`==<-rb*>;-MX0Sy*jdm$F3&JKiil-t8Y1^UgiDaQc0_EW2lZ1_pOPi zStc_rPIS4Bnmf}}j85>iTyv-wIOiWO9^UvOBxG&i&9#E^ni-Pp`pgTFz}13&5&xLq zzc%funS60@!tLIlWu_Ap6Rgs{SJ|A7@wjkr=A_|l7Rt32y_%)-YvgxWx@g)ZDyLw` z@>z7mH7gPRL(_=oZ$@S)~zom}_N{`3%So@yRzVbcrq0+no zhyKl%oWTrW#{X!2uF&RYa?ozYO(a1=ijqV8MR;U@h)arf-;Wcv>`C@M2Rz) zJy?ps%p;?sdL2%NJG^`Ev_ShVk1gYw(%ek^Yk%HvYxaFfd*$~t(m%g=S#LGa`H#iQ z!>KDtl3QeZW-2E>hi#O;X3iYFn!K}$M15;uX|I#!?EBfPT)!70uk{tqr7v2YGcTMh zON8s*&)%zHPeYkWwdRojBl^&XdG($mGhrs?;m|Hd3!egZCDsh}&tolzB6>?ds)>2N zVyt>2xc)71$B<39e5dr+8uJf!_H~>xKWQ>qJO3Jdp}RfCo^tZahogIItmb)ELw@wf zuT=&pv)n(lF}gysv)5WU%P-W|b)KRlQ2Cd9>_n%^!<1+x*=Kx+A6?GBna?12w6sYo z%-YN!PaAms)r&K;u1Qnlla5Q32u(PphzLtUqJPL-!ZjuVnW@QrDLsXrKYd*MvK|&` zAM(p48{eK=wO+5cyh?r5l{V`)`I4E~FF_xnG~p^1OHq+h?T=dHyMM2h%s(CC=kE7^ zkA69X;gjTI#Vs{ywd81Gt@A2p@9LKKmO5WA&2nhWG|>v*BX)Hz^`qHJ0bd7w(X7

sMQaKuDROUk_)?qUt5u@Gvw$60VdD{H=N0en`em$tTJ`|E8C=I@Nvmydv@i9v|Ww+olF_{t4{vBEy;RQ zMMiJAwp+6~`U@vV*TbzPo>8k#XUDdl3ii75ths+>?uu4Nb^12)XkkIS?D`kqPJXxF zCh+8^tNzq@>B~S_zwF3dzpvz8Q**C)-Ue|ei(c<8v~lQH-J&)-JA3-fncMghjqE?g zRrj1*te?$>*Ts(5tTx&(d+n2m+oV)+e&*{(Cy)RLgs}_U8 zlKCg4%WM4|yN%fS{f6RuBWuol$-1)cwDl=7DIh4VHACZOYnF~qyRKt11QHINF@8aI z1xo2x01#(hUMAx!&+yqILBl1YtDG34dc;yE;ZCxF=lj4?58)vx-M$OrM=(R`u5@7D z!Ccos^~Ro_n5o+(TkjjcOk?kOkorDsDN=^njJEsF-ltzuPWw;K&Tv#!G-OJO$JTLi z+Qb~&+?GjoDd(9-h)*dEJrlp%eiJ|x$H{z~OTDZ4z|T#nMTXC65?X0*<%9@0j|nOvf$;jO;IpY_R#@Q&d7+`LN) zaqj2dTz|@%;I3>g^R&6}!{T}FJ6frFpKsEN`zJ@K2L7G2%32pG`Lnp&KR^Cmb=Db5 z?hr%njUv0~_28%jrSA{#n4x_8n0~b7AAh&JA9kF>Ud5TRgQWj<4w{CeJf>) zg`udnp`(p%QZ1LM-+5Nb?EID5-p(`~9dYCG&pys^PlMx)>F-^?UE&z}l+`kSiciUN zvy-jInd83<>3k&7M&1o>sys%1rZMBJ^*rbfy3#yjQgPq&%_A~DKP2}PV^j_)(bNB3 z)%iQwYE_gG1e1ekLN7nkX#9GI*S699`T6DDvZXR7Bxfe>P@TA}8P=rKN^d33?9x}Q zucx>5*n>acrw{lB&KAO7i35-W6No)|F%=t5BV%K`p|*Y>HWlNR7-`4Qzq+~_guSiD)|ZAEwVwY~gOr2Uy?gieqqRx}H{gRcHH^!xD}!I$ zMURJgPjG~*a4Nu z*i!N6Eu1wDIxk(PA-}rp@uR;XiG%;H1x>vAhh5}~OuD8T;&#^2>`yF`cgGg+h=;5* z)6pvJ3{r_(e)LeUb4hjjoTv1G`%|+08kHB>gWBRI-WZ%<=G4|y6_akQPo~~gtQR-l z>QbK38lh*?`})(z6EXK*x83mWu#G8ip09gY@dXLD zCn2A@@`F;^jeO6ox4tVlIN^Hjz(ExXS{t)qag&>}d!j$+bk#iA!6(t`5v-^8AwXQ` z@kJAsl0|#}9S^hb%KW*+8|#+yhBt>&;Tvn>&@}@v`nzjN);cPkd{D-879zkkZ_ zz%rWpdFagq2i;ul(Vm$L&OAWzZua0Wb1%>N>lUTVJ7btL88w*<=Tq4KvQvv^z4v=b zovZw`$3eM6yVm2uL>C7^CJB;C9Kjg&HJM>EomqEM2R^N?53IbJ zO7@iQc_vxTa1@>mrP^Kcr7fP?UMSFy)YR1IVSMTnlzEYu=<4e;p;5y*J2w|YDjNe4 zQ7V|zgP^%+JeU6Da-@J`XV!l4Y6lY*Qh=ogbm#nEzN`lM2l=cK6ZoctZm`vmG&rOH z4L&zCfP*nJCVYle%fQETx}@SvEzivGmxl2WMUI=GyX%AQNKBj&!|4E&AmCLB`hMJ4 zqjfzPqy(K83hYX+Z&Kugn(GL)rJZH?kH+8M#Ae#|b0@w{jM&nXR;0Rg%)QN`r*tgC zQMhVyrXLRtRS3{dmoENyc1itze~W#;-SK#mPN+ngXDEpOQr!g=_q*M%_16xB3&Gup z(455ieHoX|3EgD7GN8UzqSIEiKKwY=8U*m39C#M<^k5hzipP)U(2UzjBCQ z%PRe{3|#xsjyx`~o#XEHe}Xd2GtkrgL*|<#zXc^|a`eai_`}o7z!UZ;)Y1cSfFH`t zXgw1*)jdng0gN-6b>xy*`(g;nG-Md4+2tNV-^CKfs#?!y`%U76XwQWoK0nZu@W-&y zy;Rle!tbamUjKx5$9252KEDhwf5tb$O*KVU`KyyZp{j~hcD)dv^dlxCfXBpwkVWuu zVF7aw1O3=?9)5llps|5vw-svUN}M#i+%~(3e?+aL27)yIPCJtQQ4uZjW26A);%I_# z536QOV_0L0)L@DTGal2R1p2|Z8jE}};;cF0f(-^UK}&~-4`v{Gob&^NzOYOjy%f0V z{Ao_Dmp{3l&GxEn+oDCzLgG30v=3}3LL!53Q-H!Q86qt~$b%+MGKxLe>Ai*0GSoXT zF~$q+2ck~4>~#LB)S*yed!*B;YE+n#6p$rBvcGC#VnVnu z0Z@aP%5zX_QG6PJQHUw?qI(6PniCoa7}r?EBh87sA#KtRLdQvXoDzPupwi+GK)OtDURy@;5{gbUJ7 z%2Dm1pQEdLA_rwVSN}R4`*jkPE*#Coh`&J&cLOP(F!u&q7KH%J&9^hNvi^lHXLED2 zyPqGMkkDZ;&&epMs0is>QPJquR;7S|fNRpy%mMo6g}juxbOT<@n(n_;zshi8Wq9)?@UK$#1wrO?O@ z3knJv-#C2uFxj7uJTG+LUw{Y-hW}%j%3@D^8|P6+B^?kQ@a?W4$QR}1<#JitA_NZ? z8%I0spW&daem~RnkE8r@E7On>) z7h**)EyoK%d}y?!DyPxHC_EN3OMDzWPG`Meua=1&5E~KRLu!Vqaw}^$n7?1}dm7u@ zlMxkhJjg99CIw9eV4heHNK)Oco+V$%#>t6|KDM*lPyu1hU)T7Ml!Q)QAMj(3`5rOX`Oacj+Z#p_XUENDy zBP~Khcath?pTWtlz^Y;@xI&m>p)XQXSJygsod92#rNJ~KPU9QUmc=h$=FloU19AI!G%KOOyy(*w%qDvj zi;`H(&O@>gXYD6K|9i9{XisTYXO*rmoAmUodA!NViHCMM;aCi&3`PlwI|EuEt8n;Z zg2*&xb_la{w4d+U+E#u2x)(%Mt>>q(^+`3=)x^LAL5GI_jCr$`tgIhywMM9|6Aufs z9vs^Sa-UzA|AfEDb^NU(EQ^TZ?%}cNDBA~&wUMNxPH=PYg?#O}BeZ!E5)xhn1ziyr z-;6VfEv^uEW#{+>XxtJrUG((VO-(sDI5;{y*YVc2yaBWRV2_>{%y4f`D5`u2M-Lyz zWuscf9IMlOH8?uD9t2Yml5S&J!1wPPAODJJxD=hz_4726HCu~j^KYNMitzq?1^-_Y zb_d=~;XVm_8L31{FoWT1w>a@(vbwI0`OFz54L2dY1q>0$vr`AL%WnoV)?A?n+AEzZ z#M`hh@b=yV9@KSAn_(7(8SHxq*awD(dwO{61h*Mhj0zFf4dZLyH=&?LyYlM5f+vtTtnAVHA8KvgGXV(`N;Hbf4-FmjSwgkc}>nhk1$E+s0A z3jfipf!`||Tk`OY^B5Q43T?+<`L75C8K{wi<1avV68hRWu)pmOvW&X!-nXx^s_JUH z?zMtzZHMTaBRqV34Dc}tiYZcac$?PXH^@L^heIL3J@YdY2ghizZ4oJke94@+yvcX( z*l`RhXBH((lI^kACe;vII3Rrvif_9ppUV1V@d=efPo<18dRz!f9C?imZ88(-w+o&lz0^8L+mT=yW==$n|-Ak)et*^!oy5Z37hwrSUzzo7Df zT?0LaG_4t=d_%*+YH$m^gisY|^Hqq?NNM>cXHOpAinl|k zv!hCqZSTJ(91s~vOliR7?@9jVS)5ja$)Bh0Bb68j>+~Q_WluuX>F3X&aY8G9OzQ(Xx`Xj37@tr*!sN`f&-RbOw-Azv*5e~wwM}nyQP|<} z6R0q?#|G1B+#mNh)}3%TBq4J*iUh^?gOwwKA7O7T?A;)RbOnx+EjEXEn7RIiwG^0& z+{fdoWNBxN$uTqV@$xp!d%CFG+Y5tl+{8Kr#rAT{ry$Xh$PW~8a9A;-oKd5|^nuo7 zG&3nCWpUBYJYcQV4>T=PivmI96V9v{mHqowuvaeMOie2E6n9lsbu2DbInH3EOwBMH zDoiBGfPSXqu!O0KTIRp>0V1<3q~*wpii)?EzocNIea>#`7}mmiydxNcdZlk{)Njb8 zsUW#K_Ukm?P98uRmmyE*!Be_Q356D|=O=z$#N8gmtr3FjSCpTdo7)Fhv1s682Sj?% zpBw=0*J1PXODOT=aN2=Cgv-z{LAj@;2w*k{3`p<4+8mRhU?v0HCPF0}XIeK%?2q!<3BfZYjf(jZ{+8VTUB{21=vfKY z3#O0#a2;D7N2X!^WUTb*{*J9{I79Gb*oSNdrnX+-yCc=?HVd9zUS1}A?O_B@95&Fx zak4SsNs#6PVfF#<9{6wvvwbGAMOIeKrxMQSxZO|i@dd!959ah4Yw7PF&ak4&=`cV7 znC&F`{=)~thZCKh|BYYx52`rofx-OhUm#47ZN)|>3`S z(a}fYmiPVpcR4%(@$|6i=;>Jxd+Jo;xD-8l@Fc1E`2k!|@VdZlg>6aL z2Qhj|g@Ih+haGgFg>W4v!18v^VcQIhjHDDF8iveuK|w*Lt^Bh4L|4IO6bS6_w7}ijVC-)i=LmwCh`w?w*?_OC`(*Y+ZC#}i+ zpwF;Qd4q%*GaN*(Q?;<05gjzXA`$6A?@mho?+!e$w>)%s?drO&TVCk2@{hJ@Tb zo1(2BP6RP$lQVRLG&QCw?zE*}if@3Bcoc+*4U`BYqSZRM-TsK!zm54!1`0IL0#y5%bJnaLV4{lNn z=6GHyaUzMjxMR~rjOgXgNM5~Ks<_9f{YIZ(FB|{ll+)9t&~0NbZ5kS(K(ZiF_j_h&MSiFE3PM_f+I~f;MyWMLcNz&4e ztZIx{R2k{YiVDmR$zmJfx~mR(kBZN6LU=FgFU)tNRzqq?RCK7-Fg;C}qr>|Fc`y`R zI%0ghy&)(38MEf7C&n94aUfBShy0*}lJf}#MMV;cbex674TTFfTwViWs7W&Z;U69@ zWogNWE(~%*W0xB;GAtY%9#5Zc9k)_*J-!j@?=PS4bw%xd;} z$@VAr?ivk!*^@4~Q}+4si377U7F}tD6h@tVK@p{Hj^`Cp3^VMO&R~5^CMaizxl!Q$`)G- zyy-8St|w~Nba$^6c+3wIPu<)c0NL5M7_42Ob#3mVv|@Rc?6>Y>^=muJXlsktFIl#s z7T>okw~(&5!pD1t~-5h(aD+wI__tDdcC`zl<Xb)yB;+ikpm-VNA--s#J0>0iJAv$4^KJOV?OmGbU%@0 z*R**KJp^XgWPE0Jyfc(=dPC2-q@DSKXQ*uM{E~-7jJ+gt&+sKryNNEIh(u0{AZCuM#5662d8^=sM2uFW*hMC_ z^gAsJgPJi20L)SUi=+e+MJS2@C?IxdKr~Yt--eb3M^Re(Z*#kRg$rqPtEKB2m)7}s zUaPwJw-+}~_j;}$6p68UcQGXW!!FdKZ?N)^AsNC)j=bI8H`4e?I%`bM zH@Ta5ems8bdgs95#V01c5EW`LN#E;ImZ8t~-ay5tWRR`-^S3{wb+NEC`sC@VeDXst znJxQAWR9F)t34-n@Px`&y`Jc_gh~q|O|*g{&rf&S+Pra;Wz>f@3NHSAN6wWYJzAP; z*J)~L`3x%$h(=xz5g||o(PE7D$mux&U7=3;$f}!vn&v6r-3UJ;mowojO&x zPd31E&wt6%al(ZK(|@V*@z0Pfq4-#_*u7az8A(<|E$T=XmTfqmWSD_Rwd4SN=8BF^ z3?bt)H1sSvIr%{t#t_w3W{~|s>F{2@&1)r21U7=;g(+6y?_8JEe>$(LTa!f;sx^$t z=g&~D78?%c4IR4AEjhRm&#(45Z^&sP_saa;~1 z-2e(tv{7`_B-Up8((y*{&QL7ZLmXVpRD;^4nz<;A{1wG9K9WaCZNUeFu-ScMt(p;4 zvR`)b|H&R4euno(IClw+Y&y(n zzOl)?!bC+u6y*-IL5Q7!dgUX26E8o1JnXJoh>$ij=>m3zE}we6h`W+BP(gcqECH3I^D0X zW%D9WAMFYKU{Nf2N$LNK9QRf6d`rRAhr8&isPdc`$h|cWtB>^7TDoabRc09f{ppg` zzC3mrTAy)*obyCC{h}ZTfDgLfi>N3oQ9&JBEpychJFY$htYKz83WX& z9S`^+9Y7%7P*Cb80K6$?j`kPCjmOOJrMmhS(pX?h*Y~{!>V)@vhX9K(V*i7)3wqTu z0CIqiB)e>^1DAPo>*HqNa)d2QuZ9B|fECP6R)K7vqVaCxL)Mg&ylTrU+neIjz4^80 z1Kl+a7}wG9O=WSkHf~H>3$VEqN<1svA6D4Y-ac!sAd3A27NU9LD)2%iFVMd_3bY$1 z8iby=H%_Ho3kaG4WOW+Wjv+icH;`Nai8R0+oon2**~w|mw)YXUli_VjToj}#BJBhQ zf_`H2zfuXC_##RYsE*$U9|-a#u9$u%q`dXQVxg@$TKbNT4J?m;v?b zb+`bdmY;ZaLfOMvYI!`VTN1?FkM(qIiV&oWQF{D1c2l@J)sfQpSjnb8POXYZE01~m z9N;~Eq%_3i=3(Xh(Zi#MM~3^R<&-&TAR0wva?prDoeial4yh&NlLX=z7#NsuBLk@G zUw(HvlzEh?0G`>fS=L4QjZyt=s4<;ar?28uqz3j5HNpns4e{ztybN>i@5 zG1%}&M`e({abFc%Z%WH4a=yU?a@P)x_@R1U}n?3nbxYCs7{ zeBK1VlW^9HFs6Vp=IPTA(AxqPt}+}32+t=Xql8l}X3vOKesEDHSjr7rM47gi*v@#| zXEr92VGY}CSGXeG!F_h`WcAa!$B|CWzho1b{ZDL7t>I{39@selwS0zt`F(m{yO_GX z*!@Fm5h3Nr{_fy9%hqE4@yuWKVI$)xgFSoxCRP@^jC2?BJ@C8nhBx6{>2_KPlJFA4 z-%q~#eYIS!yj`hs&y=G$$gjnicN4i?lSo(ZK z#QR4Bf{f57NK4~FZwW8IIYpicAc8f6sjsze%NawNT|ezv-7l9mzMnAkR6iVll{IyG z;r#6ItvoUVl%AaDQW@KMKbEqcdPcV0ZuY2mdvEFKSc%Y<^QyFpB;}4n&r&Sr7mumzY+}xYzJ6-&%h~bUy&CZvuCL9;#`r zHrEQIZiqMoJ%Nb&3tTzyuCE>Me1~?{FE5^wM%GC!EiIeQLi{4+*ht>UF?^q{@opbN z4J6dPva)y}YfI!GqV(DS0@hVDbQ(~lkF;e(5cvm=@hJCgjta{YR9mDNO-5bB>WF&9x3AA~tGgeeH*5|yDfLo~C~ga6{_RU*2;Rvn|j|3OaJ zc&NrVBYqKDWps2>uwpc7h)%>M3+bGLWQf?f5!~=_Q1J~d&Q5IbME@3)izM7tSa2N8 zR~bQ!LYB;^3<eZ+M5OSt1UK#-7umOZg5j-{jk-x}s3 zEX_V(p*|Sre}f6;|C5inbd@+o;Qs)|Lqu{i;vett^=~Fbg$fH50NyPxOv=K4EcZ(u z5dHSp>k7VzdK?=0Ckf;gPj}nU5Fh9@p6>K5veeX6=>4LzO+q&WjR(ttz#E zqUrzFeiEhu90h=QYGGj*=Pl@@S^!#F;TW1!NVs-@$iJGeBQ-?kaWx;W_o%2N0hU=a zcoIj#DIk0MrQ-X8+X<~f2*IH`VtRTEkcU#bsy`t5zWbft7+wcEBlB}eLW2qc&U~9B zBb2w04C2Q1pkj+tNQHq%Q~gcYuA}z0VJKvFx(A#QInHy$QUV!3&@t&L62fT4i*ZBC zw}?7O^U}snTLwdO5bwg8p;9C8A4cG31~&v)SJ!m@Akw8#29(+$6l^o+3QNDFh`IF} z#EyG6Xgl7atkJz*R9ecniH9WQ1r0hJ-gp=hkO6aiYtbtT)D0N-HvG;q=<~ow_72xC zI6!zpdMNX9Xu`q}5ZJ9-w-PNw$oOQL3%0;Z2S9=iL-ee#^YUo2X8R3^c1wrzjQ{S1 zWp~8*?kwyG3F9=ElBwz*6EtpMiDnl+|42>)xNN9B`WNHc#0x?Z-ZV&EVMIMX- zFMh0%1wD3TljsQa4GwO(kooMwy*@Iaa<|c^!obQAM6;5`f!*ebM0TCNKg2Q$g*N0P zNk9PcZRJoi!+UK8JOwP22rHz?i~qWrqJ(}L0W!UN_wK)FmvDp&2r{S^cepy?jkAM- zg8ZmXV}4#kyk|Ld#B5!;S5%*V$^cyZutpxsOObd#+wkMR)hDEMS4s&C`+qlg2Nx2Cuo zcWqWy7BUR`%Wx-YvDwkgR$Wu$0bHBF>5zvJx`isW6o>hc%x*<&hY)mGOG_ZAJvD7F zge}oahWiIBxEG9Erf1Q?L%<*;J%Mf$K>YFl8O0G@Q{| z|4RcC_yHjpp$&sTZHaJiem)G4ns~%hMkwFmrm5`e(roXS0+5eGjxy!Gt*uenqfIH_ zOko9$XagLb4IN%+=$Vg&1EL`GqO_i`lg{I^gpIQSYCC){WYzpY96%T=N87!<-{}nE zdb;Xc@y@$RfQZn|^gz8#sCoQ5+T;n)m(wCYj_X&5&^aP(+)m}2NM+tTi3jqhjwIO)Y;5uQ^ohbPV-dSvCT7Tz0SffIn`}Ty6N3Bx5m3QNSm0IK1?Lu)E z>yQ6yuP}bZWefrZ;nGdKkp$U`u+YQ%MBE5`@#59m(&$xnbvmN6!)$`07qJ5wEWkSO zldi@$5ujVu%w1nc`{?AbhzPNFre6TWYkZ9qAebuX%mV@icL@+Ex}^Fz{OGSE_3wBN zbyi^cpmLeUtaPnZ3^C&}W`Q~!3QZ~)?I6J;XhqnvhVYFdgILoRkd_dxQsiQvn6WXD z6nu?LO~bi4P?S0mL{8NI7lC&mlwOpTr9dxx+!1}TI*m)r|XPZ9?UuWxmIWs>+~Y>E45DS?!vR%FKuB;MJur;GXc@yB4PQlV*&EruRm z6-aYOMeOCkb|6+-PXSt!@_~s;s_$b0MYlB_Bx$OOzPzDhA+g6(+;#8dpr}{tWv0~e z9B<2{w@6xv>fgMyCGuz+5$E&(TSp=slcf$aM=(= zuZrl9ATkeUR+W_<(-7~3%{M{#@$unBQ>d+t7CFU#ICDeDwFb~RtO9p7IB4&vknu<(Bkgbgk(H9W5jw-53oqiU43un&P$*xj#( zk2uL|V|~$0Bht7+YYx*qI;hJK-Egp!3_b{qZXpdf#<@j)OKUhZ`DA1Z`(L@F!5B07 z@K4jEH@RU-`}?h_{ESb7{0WP2it zm+t=S^EkpFret7mqQ1rmKy06efUfK?i3_(9GRDeEi5U}{b!cZdiQ z4Nw$<2~MZjfCLl7H0Xj6T6Q~k?;Zs45+z%ySgm3wk>o*qZa{?qvNAW&h5E}jHp{sd)bc) zLxYrXR6;(}Fzbg}Jsxq3n0m#*X(r0*i$grW(%~w`^IeNh9k}pxX3frIOjoX7J4V_j$4{fmco)DfZA$ z);TL%y}h?$V?K)E%5I&at3*0!GL3PWVA-QCuF$6=E6 zGk0e7Tcy{!#))brRr%OKS!sriy*9g7->r-I@GC|%{ZisNdul57l{V`^=atQ&F%x|s zc%SOhK3}|Z@oG|xRnj*Kof+j+W0h?^Nux12Q;yc|OxK?^8-6;hp6Pi!MVT&i;qI-< z1(Bs0M_oGSmKckUcIMvkz257FdpfDoW>(&cIO+)dU$k&2)LIR39VYq_MKb@P3HGsQ z7(nh81R@8JGkuA&b5tNPDajI;EZ8cN1ej1C*^g2O(0aTaJ6f$f2&Y8wM)6XfQL;$M zA(IrExO^%&C@4Xu4*h#IhsVDVvrv`CE2I)!SK|8ta}tu4gv=o%Nn753GZjD)S*z0R zjJpYPwM730TmrB_bMAHvn+H394fLx5{OJV0D;X+Ow6sYwwUfQ2F*wr5?{hQmptzTX z^;)l8HOIZzA0WAT5mzuk}KGorjIt`_XnU#K9_ zFKa=00^7+`4ND2{{$2{GK5V;V-RW5GdcLoh$L7RfdS{nYMp7%3x3wr+x}q;rwM*C? z6)Ni+@T^(c6|R4MbFWcE{z_3@!}_S|=%`8N76Ic{CF!Ma3LA^`rWW4XPT(M#LLJ`VraD zKa{-qkz_pT+1*4-5v7XvxqJM7{T{pkT?tON5V)674KlmPeak ze1LQu0O}&-F@cHKUKR4iIsLKyeiR(mL2V;nXDH7D@Zq@7ZEKC8qbSZ6l)gW5O#<_~ z;Uqvq3?|_5fHOGzNB3SK5QI~YE?iOFekgGV0~sZP@6R(^5ZnN}ak zq7u|L=U;RG-*FnP^%EEeUws- zP%wW;9u~xP=s$@NrH!{7J%fJPcfYGX(P&7FC9&FCbe*`Y8O{Ozto3|GDmx~2mg77W6fllLU`VjiJplFr@?^ls zLzrfWNAV0}q#GsV3GI4Fnvr1=9j*BSf{cnIHV=|Jc4rv&8rXNlL4i&f!MTSzbJ(~S z`qf4G!F2@8jm6!veGeJYekWLaxHYEG{k}tfom=kJqX$dPi3V=K@f7Z&B8`8%+m*o+{^BcFvVcTIjYSjLElQvmkxj=`i|@FACUYPyw%93Nb} z=jc$CDtAUwTuN0URFH{2CSD6%F2fPy@cgII?8dV%)Lzmg1o9D2UIJ1EbMxbmA7SXh z`UACqcS71&cThrTZP97B$p>c)em@G>P)X%VPZb%GE$LPbejD1b{{dUzGZvadhv}L0 z#Lqc%Q)Th}xYNPk%-`sulXv7qSi*t2uQ+aq7w4*+D!nOnUj#l4at%vAX9I=Xtel| zNRj!GvqI-x5X4U~++u*#>tlid%`UKJ*nr!9NSBP?bd;jH7+3)s7q5z~eoG+fR|Sep zC_@9W`jHgOF8>6RCjG<1q4DHwwpLb5=m6m-8PS&up!md&KkYDYhU=v2jqYc5jr{a{ zg8%vd=$P4F4bYCLeM=^vBl$MJTfy#rOCQ&EtWKN;#*p7v_ftK)_nj3>_-K3aM6@r)B+(No=wO?xtOydOhH;r#+dvBu5H ziKd-rpHUCDm&LJ@u4dFt~#2u z-Zd3{?N;%Hi~s+Pz|e;G6SBvnOB&E48WrIa6vRA=KM10H@I}>n&LmPr^xUzVj&b!T zc8#GwNOVNdjNZ?{AOpEv0-xqq&wU}%op^);V}PX_>k;Toy|EcnL3^2a2WWWLa zmYSQOC(wOS653Ti)B}sX!HESf3K7dg;0S;hMf@rPTS5z>V<{VX4D9Mt;4_(NJ6(*C z8KNCS4E!K>16l&zZp`$o{(l&I?{KdB_iwx@p;9PYHc575XOE;Pnq-AaNJeHQBSKbY zWG5MskwU}B&Wb3qSIElde!RM_&-ea)kNbPy$M5>%I*zNZ#OwWhJNq|H^gQ= z=xRpl9bdf=iRA4sO>q;u=&*1rxq2q#_T<^f0iViqbjiWJUqV<^UMDYx#+WxNq%|j2 z2*iroCVd*YvpT6e@btxpp7H6H%>>pm>RGMvQT#^7V^qCSNygD*&_3ZMCEtYKycGc& zBk146C59C8Bpge~0KACh1RzNQ!OZ5z$Ap2GKxB~s>5D0jkc^>sai8Gu$77yb0t8Fw zi8}v?WG9|E1cDf`|wAzH6iwF@P zw*iU%!9OcHkeLm@Gc>7ulz<-+Yga!Y>iCO^%ym?n@RIHnZ3SqwVBB@Mx3`zjq!MTe znu*@=@mlN-vDd&48@6@ZjvYz30ygy1&!Fh);%6l!N@(g3@K6qVG6FD zXy#hb{}86m1n!yn;w>K24Sb6bhX~@+18UeKwD0(ZXy!H*7S_H=&Xe)d9}=Q6Kd0T5 z4&b)?twd^c;3gH_(Om+eqB@3B>Jc^R)0w0B$GxibduA>dj*Y|{){hM3PhWJ5UkD$! zLkclsK8S;ZX7YL?Zyt#)KV}Aus%Y{?-8RTLc^6ug><-(Aia3-fseh|~wAbU+kQ4Px zSM7C5$z0rFn?L)wy0)sK^~o}riRT3IcC#-)TA=Tv+tCVUxp_dRH6qCf%?lfw0>ExE zc~oFuC=i}jCdrEHoe>tKoHS|NIZr-RO%cy_jrQPN&FaBGbBhS-R|k&z8J75yDV~)* zZU3I$mVbVtFoA)N?S@~3P1YaJ4tBXivc&+dd#9!ZaJZDF`zk6h%-A#i{a_W5%0=t} z$oTj&ZuGd}b+PDtoes|5?;Rc2{Lb~aUw(OKEcT$4PyFZXGo-WGM}0lC?Q|*{HoF_E ze;?00J1eN>`a|s0cjqwzN)sz-310*J>fktn*m(XeK_GD-UE>apKzx34kCNJX#( z(WR2fYX^B~=bkzDWyE{{*lYrXQ0QW$>Ql+GU}bh*BctN%5!OkdT%M8wLfAjzDVyIj`*`T zYd=Y1U!=%XW{v3J&kZFSpT5ME;uVFYP#HHDP&{fLVz+Y$@SqZwf)Hbczyjm2yXT0W z`Saf_dM8JCGnLFw~svAHxjGT|9#j)EGdUbn6ZD2(x^UsCChxh981O_~i3$m)Ofx#LN2LMb zm>P@lFY1>XvmZ1j?iEUV@-V^P%4=Urj-{v`OxP(-dI-tBgo14HgarnIr9-5_5K@1My&We1yB!?Li-O7GD7juRC)wI;I@MZxaGs| zZG4nEb<2gbFl!LCOVb>KyHbjsMUz6qSX**{r+g=R4!zCY8pfH0{4JD_Fpfb`?Tx@wasn1jq>F08P;$DBy|gBhu+2MQ2Jyp=3Yac@4vVEr^a#4 zB?{ShiL-C0zS}E+B8qcqh7KQdMAyMA01oZ*AHr|lefc2-J|_f?1oInIOK~{2HV{st z4;iGCv{of>d87Y3GQP=kA%}Bo;ncT%%WEH<`9JwoMX71tIkv^I9>U-i8xCQfm+o1^a|XWxSz zNBzXRRGbw=7n0cCP=zk5T-?9Y{CwFJx{C`;14ZuUNBO7Zn_sYuE|?rNpV?!yBKOHg zUAjE1+x^iVz5cv`gL$Q*12uu+H#+U^%D7Nj7K{4IDu+LIeaJr>k!!ZGIgrau{inA( z?ajrgQn|we4|2E9{%J@F|KU-}>rZ>q`a=EC<+mMlr#;K=FY8{|&aqnmxOk#y@iLF9 zcS@dlXZDGwWluCo28$%d87lMX>h}cH?d-|(4&Ymh%8}k#_LKdQLy&pnNcPC|@a4`d znF^;pZt{wC4>w(X`R=|EtLmey?Rir5G1Fy^sW(m*#mzF`xpQYPHMJ7bQPKfKfr-~* zPf*C3U7o;;1A?ST90EMWnxmOO=_#0{BXL#|PYnbfwI#b~UAgh~zSU(eAyZS)n%_gK zuabXi9w{O>F5Hn*-|O<#?W{cafgyhyzDiv0OXz~4#IEo6SYP5MUe(=why&7zK5A7% zKsR6&PwvhNGXd1Ol~@g4ZH%i2*OtIM!PZgGp6U_(1ywMy+OscuqoJneo2BT)O>i2T zxob8pM4uHp|Hdb3BHCmx?PqO+?acb+3}21=UT-wS*R=(-EShv}r8u$gjm;ca;8SRx{RtSCBQ(HGz=j`!j7?W zn$0_efFM8$_#P|(dnS#eqpalL&O9S$n4r14i+|PCrlaVtm&b&0$9I)?xlCgov_thi zQCs>#Le=gx8?4P2CcIB=W6P>Ef7a}gN4|+{_Lk@Zf5k@@kE)-;bmiN%Op{JqbN!K4 z$lqyReiVygdtSVo zprknOVPj*%*h_*K!E$J>;?W?#zSic4Rk1EimoED(?GNiHjQRXr`Q}_q&eQmy4e$P1 z;c?!oMYqnar56Pw{JgVEg7;uk`~>&{K}*I`svIbL5lHb+N~2@Vwe45IU9Jg86ezKL z)*C^#66gnG1VX|e6RBv3;%d{Y+qybaD^T3MeUv@aaZw{=?xBuO@-WMZmmE z0%+=VW{iNrktHG6YX!X1?rgI<{KNiX2ZcPxt>H0chaJm#g9Aswz#%bw^xOQ~_w}&i zJU^p=i^B7X%w|$Si821NWL@5mB4r}VN+WhUjn3|;qpQY^PKR#U+goz|Nq9ZGL%rNx zmqPDz(s#JDOHg9d4;r@_z6{uB{Z7T+c#FEiy+iT4?u1(x?vim^E2O7CYqz#fUyL*T zW!clR**}9mdV$|1UFbY(c7MNcKs%4Mv`8tw_lCC&vzTV$7V1lbb>Aq+#4Xh5tPC#S zJG6eJu!T&w@cm9bGxv(e`%fl+f2*p(DnS3l?f6sGKC>e#=XBndj`#Z~M%z4Dwq|Fw zwi-L@>U#S4_Z~%?NLFTpHm9qMh0Sf;1KT!MdNv4m3?3de$VqW%rXIq4<@4u}s1Jo+l!RwP z)KV$^^)cgNzviKg3z1h1t}K0A<0!R|oqqf@DfQE5PS=Y^hhrHaW(pn=cm0}wsESD3rtu;hNHSHnrhju@s6SRLuEe?N|ZM#P2Q7_j}7^*S8Jffx(n0vkb2$sthKufa}t5uY; z%?*CLO~z(v=BLHAKd(Q{abr09ZtZP)9kRCT*+QYe$s^PcI2Y;JS1o$p=vNl~{(WUn z` z#pBxL1&1AWUqxBG63Kp>#49{kI_&eu+vxPdj!TB8l36wykM8EZ{@YxPU7oVgWSw6h4&2&frO#kbIr$u|O#jK>QCTnHpAyY<`XM~p8w?(0kDn}~naLH=%caAyTVBk?sR!~>lTjbqN)Z=*rRkZN!I0)T`=P_H2nUo=ORyy>APHe- zPjWQ;=90wf`puYmS4U0nx^mtR+2?O$J)O;V+`0m*)w%c+0qy)>Y9wmM@`q0ir=Lta zT5&p|w{xYt(%;wO&o2sPtB$+b&R;($Y^F;qpklN-p5Nng>XX7|Houa$4aS#T1ev)u zMP2Hc5pS;>o9;TGz5QU{lKHSubE}v|#}5V<&d0aH;AhtwyB8yEchIb#%kG*!A1h#oKp z4nLKFOtrYT?^UfOFHCf)q7z+$Zv{cAgJ^fEsKSxeX@2cqki_qC)8>^U{T_oEwl~cW zq*BDH`*@JZ*%w|WX^#kc-;*O3dXd^`%tepPd{12375jxC=N;47TM&f>hX}j1^DFP} z-P?@0(`4~?FP4}d@9riu3h+(G$$7Yg%8t(UG8`SYetsgK1>qg`-Nn1b^{Xdj=FFt% zG2W4T2ga@DO!9Pj>sK6}Ju>bcz$rm@F!ZhX&EN#R*$>u?tpazGO32E`W1nd>55r&Q zJ}9IQJ|CY7oa?XKDO#SU6>NSoG7PB*c?rj&uWK%jPZhPhYI9Q^O_9^pX80*w8 zx5t@5VRnBNuMvw>py|(6Gr@^pG03V2@ypOzN6absDi zVB+NaHwH|0-QyRlNA@U1=BliBZ^IiPhu88smDj}eRQ)mRu>o{36m^PWkFirY_a1KU}XWA_Vj{F4H!fi3`eUi z1|fepWZF8gK%a|uKjvb5*+^?b$YUlmk2!jWIqBQbojiiVM^(xn*sONuSuQ@Bd$e#M zOpS~8{5|_u#^(kfxE$i--GRTC4Dj^u z%BF6vzUABYZGW7gvexFk~|^|&Q;p)lKzReorf!;Lbf?n?gjrDU5U6N}8dQ_d#e^vXCKTNq#TAc>Jw_f%VL zxaPfkjDaoE-SJdXOWX~?dQ8`hw%m;tiP;!(s2&S@OQZJwq3C*7FxPCSQJ_lH>Czj_ zyVs@}Sj9+Atyi9A?$k>&9wU3=ZThS@H|B>pfBI?lp!$rHp+?CE*Zv$odPC|%dVS0J zs5Az*>tCxfo(OTbXR;3bW*eFetoZPTLXRUfY=*;9z_>$dMyfz>(O*mVo$P4iB@CZH zpl^+CawCS0n3>;CU ztCKc6Xbp@T4(H74%;<`k-E!=qE?#cn$UJrY0m;Ge6EPn<`1(niJN=mRcH6Ffp^bKo ztbeuDj`n-n9=F#)?i5im>Lq$!au)kElbUkC$OqB?`I+>65VUkMPl3j51~J|D5|;>I z#Qi^i{owt9r+TwFM*Tns!Vhf@a%l1H?RWpXX>L)>gr~gX?a$Zt-zd3He|+YH(Bhx?s_3&G zGcE6<7#r`_)vn*RY^9h=)v`F1MrJ6=@Zo6q9`ciyO{bDmC0^+C7&G`EqvMk|^9?R# z)@X|{d!p#M!J29#5-n%haimY%jx(Q8mj9YXSC#2CYT7}q-jU9(GYi*Mj6S(`bX~k< zJrvNOXHaneeN^7D({1sWXQfW}wH&!`j$J#r zh+oomx&P75xGCZ35n6L%pL=US4bC&0)HF1VLH)oupmI@WdnTzhh^!sQzmbs>*Y8mOnO| zJm|2Mny3zq>g$zLR8lt4J#E=46#Vk(LP+H49vvQ<<&Up!vP{?3Eg3f~mL{e*n(mE0 z^x(f40z2qhN;&(lYOpsMTPl1N2^toE$)@tuHTUk&J<|2mSe{NZT{mk4HU=j_T$Rmhaev19cDZ`gkEmzm;GdE!` zvm)8`#xAX)Pt9NAklxxcgVp7(6R!?&NOmoFMrgI<$KG1)e!>`e7K`4{7o;f}VyTYD z*w@$RFMj1~lPL!0qrMDgAT3jfv z__>)oLd$%tz{jHb&+n?B*;h0F->shcjloi`r(5kjICDk{UuR!kF)bnaPWn6P#~G8C z6wRM)Xg>w2^YcF2Cip&S;mW)9b+4WL7i_N2NxNq!jC*pa7q=DJnh+Hc%Dh)#NJ6eu zyn8fM=beFzUs;6MsP1bA7r!xQA6YwGkOa??Aa!E>arqwsAWJpDvl)rol7%exB>4PN{IW%?p5Rz97s z{(4=x`oXvE^7(Y_6~jW|g-)*GZ@dPQTF#FDbkOQXitSzu1|AL>FXm$MLfsorysFIX z7q~ILSZnvB`BQ?1i+gu#TzsBP{JPWAWo1h-*}GT08+%fXDyBM|`=u_k@T%7k@wSBd z8`MQ6pmM#o>Ou+=81i;-?Zhhw6GEiM%glTwjCdM-!G!=U&c@!~^C|=62{kn}g50tR zaB>nhmn|)dnd^l;SHTVMaa&+2Tl>QRa!U$!VMIE6``fuDLXM3tfH>C^^Sgrtj0wXm z@T&>u$ICvv>e(s(lT%AfV49(^b6z)xw9KjSBGoUAWwzO4vawdRr*5wApP5igh|cdD zY)M{F_(M49W8ql^l`^gk0<$MV!N94}G&WAm`h*4MancXa5)r^G7+X*vMqraWCV3ct zYLxv2?umkJtFvG>Bj&*SLZ(WBQ>;86V&S~KgEBnVrF_Rh1HD~xk>$kKD;d~MHBuB@ zfCvq7WQ{NxfrO;^#Cy#*f&Yie33+XrNSS3-hnwI|H_s|hF5Z`yEWc$f_uJAN9G$Q- zyTtyx>U^wD*(b^WNQ%05VkytY{`B^-krx~#Lg5+}K>G;ZIXoHAQ-fnV-t&!3Jw6fp zxS!A*;v)hhksMOkiVq)-w;K_F4@(sIq#y`oi)ELV%7Tz*1|SlIyQQe(msn(+%Mlht znEc^`?}yh*ad*iA7x)oiVi0a;Ha0m97ce9cE?Z#d7yxbt{sm7}6IwIn=@@9_9Mr<-1nYcrqx@{N$+`WtZy8_wIm=pH≠`rA)4MhM zJl$|JO?rob};e{bF>4Inm9hklF~ohsE}qWAa~l1&n5 zvK+)eQt(?=*pNqkN{y=i)%&Kpj=e!#X5u0$s}<4xr!8(XMIaf5N%HnjG&O`e71$J! ze0(xqHgh}&4n58=OqAPL6@iu2L9ib{8}-4@KZUDI6Nax?(V{z(JUN6J$$`AeazFWoV^7!34|c5`QT?YzaLZI-HKzmQ)G@4Zq$)brK0; z78r~K5daj3P0v6}#dF55Tq{vg3`eaXd!lKhYvg&nAJWqJ0!qmx8t<^hq0EUw4kc>`6}9aH$hRW0kfPi_0$F z6qCv=(Yr>ZR%l%Ji}#U_hx zw_q_6=b2y@FU>f%kB);@!ABlYMyvL%Hp_l&`zU{g(T+xl20%8BQ8?8YthE^pEEM5;Esu!#Y!Uq6abu~O zDw7I9Em1T3zzr+z-Ze@!JT;Z=W`z~j?9=u%*%g1AHdWfz72WUk8ml`4)B+Y&SI=eK zi*%3?=~|8UEmLw+bn9Ioe`7x5(Rfmm(#7X171REneRK+>!S2UTyfiv|W_PLakF5ce zY-eNR`ZzDS>HBrzHxu>`SDoFrT(g?E@V9xVL^z{342DQbL->pmeN z;YLT!J&csP&rV+;5~EucZ@-_(Y`75*VC z3Bf6}#Lm3n<2u|zC>SLkvnl%tUTft6UE#KyQ`|VpGQnsE6$CFAMMx+Mw>=8A+J+-Q%!@4V@dh9gV; z&!Yj)e;sT*A3vO@@v+Rexq$ZM5Si#h$0CM}oj({7POT3gc*%O?D6>|xkORvd=f_fi z)hY5Dvb^WDOSGoAzDdE&4aghxNKux3iR2p_UE84RDn>MxVJG^g9Jkk zKfVk3*OWm@qJw&dP&L^5hRo?POFO+s*#IN@12nNvvJe9}UZEvO)`Z}DiT{a^x;&1I zRD=2rS7I6-A<^^Tp`*Cp$BG}M6)5(+@xX-fz+tUIc;|u|On6AQCuL_7LOm>UjX*HN zHghV#r23ko9k}_R80WhUCnYAn_AJ_sE**t+bUDY2;YJ(26X@!!npev_GfQu5vV(;d zP8lErbgDn6rnDg-1ZvPeX?^ZoWR|0Th=F>e8!5vcrXl>SjIy^LeYqa7b1ZU$DWvrN z^PgqMf}OpUd;TQ;^)()>vOW+y`aOwiFrfcoXKCP8m8>F~WkTkOL z|J-0LF$X<8*k|}A>j9<5dg1RQUbO?NOzvTy=ypX4Pw@Hiu+IL`s|>uP6=HX+&U(VE zs%;-dv<&l<9IK+ll>Z@GnSr?-hPRc5s&2#azq8YH{mLCaDkn zdDrHc$$Chh5HpM z3^U1hhP$&iv5pjcZY}rIT+x4c@8+_C(FogxpqT^XPd3;jkB;&``QgNIa`nRHf$U?) zVI8wyiz@%@9KQ+A;cJhmxI?`tqn&ImweOA$Upq+c&8d`h+{3rNO0l9hKS`N=NBF78 zHtJA;=U$Z6*#`Q{dxcuRon4)34INUi_9@?E<*_#bkC@Jer&dd)U9WP1+JN?!3 zJ!Mv_!!yF$Y2eMbzn_P?Ey&Zb(oa~3bT6(caV zF!w@Mhb8XU&W%Y}g0Fp#^Ca_9fZ{pf%pqkokrk*A`6U%*+KaK;Xt`x+kl%vJsft_p zJXE=4@=#9t68>hf61EB!qAbHx0URZDusb0>W+gCshUc#2JwB3)3XX)7rEFTXNbscW8@k>X} zL7e*vdjCD{aWn@GaR2=cMn(hLPd<;MqIkh>6u>HkAJ{nYEf7pBe9aU!ZS9R`D~H{p zWlw4^{%W4=p=r`?cF*piGT=WMl*Kc*>$+chZ&c$;k)`8d64M!PzqC6ZFlm&NDmHb# zQ2bb?H-7%S-p7njSDQavmm#sVRZ@}u`0kQOD#?ag&xJoc_d=MvMQ`O9S01}A?J}R} z<#~Vq#BsZ>c$I#|^qJwSHS{tD5kxAlkMpbKD(gq*nxptj$WG;+l!`9i)t8-dbB=L# zmtpj#@JpmR1}V_xtcq<&tS$RYf6DmUHhCz*`a4JeqLuKW{mMN>Wbi&tJhkb+@}jK; zPXAY4G+*9!Gs80!)*~l+@>O}KSL93AteA{6N&4TI(funVqAmILzGU!d-m==Rx3MKb zt=gXLuQ;5z_&cMfh-nS;VwBOQw76} z+f4U4N)EtHoRB4?p`r>4cf55J0GeQmiGtYvLS6V6ghIl^aO`WQe@RJ6mf{oHt%Mf{ z>~RRA765^SsR1GyKvFiv+YMFR1GIi)k|&5!O$Ku*tlGo=HE#o7?0*}8!E=!yZ^Jvy zb=b;&jeyQv#K_p^9&8$H>=cHO`A$vY3+=Z z<9*Toy{m3uaLDyCU`=`tz?$?ucO4{Ts|C|8?>4Pe-$RmLsPY%gluc;pnNrgKwh^nd zbHmk=tthDERFnhdb=|zU7T?JCLm!m}c}kbKS7@}g=A@fGtFfNw+9s1us!i49+({Om zlHC!x-1?|`yh8s8nNf#LU=i(a`th1~oI@T_`aEa9Cf=Gl*4MFh-Y%()!+=I=&0`Ijgmj>x;Eb~aH$;{V%%E4 zx=U6CA^o5cb{HX z!jjq-%1wXb`oYsTbt!SfS2l+7fZ##?5GU|~L0UA1RNz5;gxfr{(mUnh0<{y}CPCr+ zJDK&l6vEiJ2^>U(cjUUoe~ybG(&izkBqi8$Xmjfvo6(;7cNNN=WbRdl zK$xGnxZqUJy9rvU!^D5Uf7zZsB5bx~N@H?P(Njr?=Hs&lmcFkZv$5&o6_xkGA1Kyx zvJI*02+od8B^KX{vthPXSQT$usCymO-)FARo^Wc2CcIdia`W}}htJM`QmU=&@e2r! zQZT)=Ph{*OS&D+8#McRS_o!orb#y)YqVrLQ6?DBQ*|fGT*i#ZgvQ8)5-T?vIUP-|rtqD^&8O_!^2X)8|`pyj}AA??TjDbgmw79DMh ztYh5wq7tmHOTRu7g$gV{#WNv+6-0I5Gw*KE5v;}Pwl*5bLsSA8(GQa@-;$v!PcXE&YB=2-`ceRaMY@P_4B4ms*8N39Z=h zfw5uzEu2eN+m42PayM@HdXOvNn1od8N*X|ozfRNdOzy`}20d9vYI=~=}qn9CcW&fP~F znRaIHSgs*uGXD`h%W=yK+l=7PO0Czl}jN0d_arNKr8dI_2v1NMUPnQc6HKq zIEi%J8o*lNn2j@-vJhujI08Xe4Hh8b5aaNnDbm>lUl|Pu9L^99LxX_xG%j4|jA7x~ z`qpVWQP}h|W&bhy9=VWK3-AOX!g0VdLY`=XjO)-iWj4yF8AWTp#S_ zG$P0ZbK+T8oQGp1JOm9z=$nTRPOGp~XBIqiUzg1c{_QvOte`1L&M;U@%lg{6Y!k&O=f83^lHGP};mxt0;Ey!DEFwzza5b67*Y7ekBBtp2$2>)X!1UcCDn z{A>3GQGL5$?vfsDsK0xZC$Xb1BnSL{unIZgMWiky0F zaT=CpknVCZ;4TOhwgN6^HD3}G zqr|P532zg)T|sN4_ww8ah`xx?j4&}lrwa-XROH0}1<}SZK|}6bnJS>W2QP>2ZX$Wa z4zykPVm1Ki{yj6p1~iv2bH&LCh2KxUB8|fHfl!T)41LDFB6nH;?6xIw5_~(-GCFU` zV_D5HzIk>>?dxNmv$fjmt*h?BR11a1u4k_wy!T0D?MpwTlUDrAikabtT?ik>!@$lNNStBvyteMCQQqtz%!tZjY$-zE3>H znAJ+FpqDrEdh@4x8wJIn;OaLV+vn4h@7p$?I6M=g`Zi>efA&hDDXl@))w}nkT+)QZ zJ01xuk~DR6Y`2TOWqL1@b=!tZglp4>OIof?LOca(SPy5ElHPIQE-B)BSSLK8(9Z-@Fjy^*KPD%iL zHxRZ&xSc>(j{VJ3xZP}m|5i0Ry<#7T$q7X3>(@W_ihHNz;d6^8ONimMrQwH#edreE z@5__Dy@W$@kNXNgC7_?akoko8jz*CWU$(9R z0{7tT1}Cgq2%iV!>Q!TFu{crKLrPA*bzSb^bu49h^|Kf;J-Hj_wjpzG2FhMtP=NB^ z&Zt0HISOZ5Xpq^_B;UQe34WA~NMuXL9v)pOmONk2UC<+)w*125msrD?k68$>!d)iq3;jRiLh-a`RS`ab8cLTYJa-rkNWq5-^m;80iUhbp9fPH+_p>V4Y|MQP^;W$ zrTMEqM7_T0(UkX5_Kl>Cw}!2HA1{!29QFCEK=b@kN8mth+M5f{cCfzSpsGP%5Vooj8ClmErlt9K#%3qSWYPS;`Urw2P3wnMGjY2_n~vC&99lJxv4H#oL{LkSuejY zxAJqZ(6KdHemj#bBkWu0et7WY6~wa2wtSM*Nm|jZnqPaw=+ZM)7<3x+>7v`C`v}iN zz#o9jHoR8wQDGF7hk-Ekd}rR0_wg1xOc18gn{k~)2;5hAx242@NL0Yg!3p1K`04b= zLn@|{-M;lFEJe_S0PA4IA;R=5Jq;=EtoS39_nywVXl)6>335JgEzn@{K=e!U^b{~J zvE8RW$H_?Hl1Y-kw*?3s5#~t5uAu7~oFrj=u&B1?=pKoF81YmZz*z|m9OiBTf$Tkr zf1Fg(c*vk%F^1#?FyeT67vc7bT!ZC56aM(8leJ6)`*&zHsbG8n$Y&>Ec7%`~cFbf- zX)PtadzDlKuYWxZLF8s4_7OYdGg8SEoJsLz+FUy~+-1~0ieES%)OLE^sdnmGo7?xP z!i9d6E{FvC!~X`>@pBl#41e!6%mNl9aC>uiUG?hJ^i;du55EM#IwgZ_(6QZgFyF3?E= z8nX?{PM$dvW~*QW4>wpHAQGkmz7N=dA(2i4rjO|FLyh@1dyYfiai=X)&4D z;lL^8IaB2h&FpqN2wM8p7BKrFY$^80r~%@2aZJi^AMXll-e^=($l-m<~VXYg_oCBl53hsSq*wJxPE$3_UT@Q zvgqEH?SQA>>$b~TmH+8~IEYuB$cuzcZz7IVb4x#G-SF*lF683pqu6n9wo(!n(o zesbXY5OF7_HDNpP3m|Abn!izBR~IKavodYPe1M8-wmg@3yjFvLiIfZs{vWO!L;@Vn zC#+iWX%HYe;vVooiC7yPOKoYG)gg_G^T?6O4YPUX+}E#9INtmC;ln*#c>MzdKxnAY zhkQgk4zGsvcD@Ic@y}p}0)L2`jH9J^ny67g;8TGe!)quUk2qAs{A9l3S~8NU$Z)(= z9?^b4t8dYqT+J<&=7%2$r#1~OH4JZ_V9?8jbvQVTnt;PcZ~_4)RbkUPamtI*I+&xk zXXo}3gP@RT1;0ZJbfnYMWIdw6=~V9hL6_SFBj27bxUlzS=%kH|B+YR1yv3TCp=|ch z$EpyArYdi{gEqVPB3>Sx%nPWS8j-Jzj8-F^mZlFNF*hHMh}H$6@tZ{F3TgtHHTcy* zVYo_FJ&uC~n3u1>C z?=?q7(&>F@8wuudr;+RHIcFKX)Ou2n_Ech1_=x=n0Dfqe96#gFV933Kbp_lVwgY0w z|3tm&G08M7j{-y3RLZT*Q4uo?@CGP^=Yd-9pe)#J3 zYg4><*L8o-H;Lc2qRa}jH9yg5x4ri*@`Xcr6}cu$vs?|Tw&{ngQY>7k8Jgj-_|il83v^SjWnx-uBoz>t7?Ywis;e9 zICYUVwf4f3?v_#$tt%`A0kn-zj?7LsBs(NqYxvuxFN?M_{v4k6Y1^$r8vNn>xpPom zPgl2v9l#22`UjR>fT}2|smpOZ-Z)LO;cO=2ipI{xhp?`J=Mx?OVOcVO%n+QS*Qmu% zdk*e^gdZJ5$whD9_Tv|a<2_E|PHNkImUNnoW2eA_MGK3(LH6tbZzkK|O98qETU3Q- zl#{}xEYUcSvX*oA-~62aOXk9k-pR!)^1)nxp-61 zeSFNShzt@VfGz~_k2o>_-J4(td!gXQL(CbS34Z#b*zh2zCB=c3t_H`kb$4%o+CBr) z=_bMNkA5n=yWfz%t%8Yq(m?War5XA89392Nig}4v7r|Kt^4Z$bw%hfY+c^XK*G(et zv~E+KwP^6VtianD%;I68ZOfqcNLu5k-=?9=yEix69}{+>_W$!hQC6Tdc2Uang{j-A z__a3^(#4d|C|UZdv}dzIGJL6)$$gGRUWj-YD)rOBUL?sUb0E&;^o=7^SFby5E{$8_ z(?Z`Zn}P>|r}EAY`{jP%c$LMI9vf@okfZ$DOF;#LwY_)PQL6aYxEEpeQbi2xu+RYf zLy%8kp3#IDODIUy&~vrz)_s?ZizkEWzEk7h&w_`x@1$VH#yN+yH%-^(HXVvCr*a>p z_j$6We&xAT)c){iio=0QB$w_;$jd%_EVRq=T?+5QLaO%By)$EV8LIFXu9K z-Q5tb$7iAw;;p%lh{eu7?G*fG&)UA@j!D*QE`NR5Vs}F?^3Ag6GTe-TnBg%v)grSF zpRy3%o;>qCupkBN<^bjj9Dw_X90@x`)yIp4xy83!PK4VIpb*1%^***cLa5<{V>8~L zCFIanKb0!%Odw-rW~bTxfRgUXdim7r`4@_rFU)KN+Wg+|cAp@VeBg0i|24f7nVyxx zTJs+ZoA-Ga#a%mB-zNsRzphWIu&Icja+f)|bo0mW9H%dFTo+}$-TJ+He+p1s4wGMx z&a}MLxj*2%Whw199~CprQ?I^hA6`ph`ZmdQr81VCqwM)pFMXj+9A0+oeVht`msn}u z=Srh$RE8*p(5R9Pc}U#JCmm{PV;krPl2y^#FHl~Nae(Oi%0`Ld_I>5 zF2R{rM(Yy=StM>0V$C=_tco$1bF)CXCh~B0piS;abId5?97aTuRIzvv3AaR^CDs*1 zj#F`+Mt(jJkq0L7%s7$n!4u6lY|!Uo@AbmNQGY0V_}d?vWAS#!n#z@YDn%K-<;fbb z7_i=4xcZ0NEJd@SE{MPVac1zIvvo&vt;c02?XP>QBppu@`Sj~mjbMTO#h+$*k7?3Q z+S<0)zHXr(uWOsm+Ww>Tuy%NoNu+El`5^t#ZCAcD*pO_l`9XSrf1`PK(+W?tQV4Z^ zW6t0Ez=tQ`xr{E|a*JyqM`!<-h4$AigFNOmbQLk~_O@Lm(?nqx{jBI*8(u2M6iU=Y)4DR$AFfssj+X#O0qE?;MfID$xd8)9- zKUR2tT;(Gw%yBXyaq9&A$x!Gg3M-FtADa+OuB^PZa9-U;_rUj9`)9O8v$+!%KSmgH z;)Lw^j~#ovBV6X1utj}Y@+OYUS3Whyw>baQm^?e7Rh7H{TKqxcMfTmJ*W7E=YAr$I zHWk1~-d!=Yi+rhcm1h5mp1SGJ40|ROT*)U{XjQgHY`J~ej+~BR+8FhM@HZl)Z0HG3 zV^Vit?A?J^VewCwHM}}_Fm0Ql#2~Qc@;-E%>`=sED$auu7FsEA9*IQH_c$)-v8OR$ z?St8cL!^T1t-r7THp}Y10pIj}RZDj5%^Rn5b=1_GuJjLiujP@D@;v;m+4}Qw_NJv+ z!(1j#FY1gMif>MSKfSi5-=wcAKiW+pM_Kc7fB2~58yb-{?=P)C3~rv@_xDvzrQTf^ zUu7A3&Gl3vbc)T{sLgZ~WX(35zLM?}HUX z&|36`9#nT?RjN$l*`vZPvpg%-(K?svogZg%uj|e9Id<>y4a&I4 z0G0X|zh6#|c#m@*qnUW*I7=q+?uOLP>ybwn*hm8SE4s9iORQ0P406DEpehW4mw!?%$H0)!cB&o&3QG{Saz)~VyKk_fAA0wSk zfSd6!GGaM_mf)nr^sNDw(8P?Cc_H5zFZ#$l%Tk*n>luy>b~09BM#W1Mwj_e(-K>+_ z7Z}F>fjl;b-#$31>f*kXPJdO3Tf}xFiN$6oW87$C8y6LA)90^6nIX3WO^o(%=bgTp zXZMcfK+L0lpH98(FDJ=-4%7`R&3Kwin(y&5ZB$6AFVenxGCi08x86yHm3-!>;^(UEgY{;>1 zuqk#5AF8#lzN=t7uy;MW^}tk(+xY{p?yD;uvQBBRYy}R=9yHLxX#t)^coE6ReJYV7%L~uuIsO3`ghDd=V|o+ayc|To4ip@#Ec%d? z{tvRC&hYM$pMxncG(^2O@cVYZl!bLvVL4v8Pw zsQk!g*!=1ObG{+wXQo+Z1jL) zTG`uIHz!YB(rT8N)l}A)yQ$%KkyP*cO;e3@cC>2y{8qY;r1)?HbNxR+H9*2#LW42U=-1p|ovp9E6HqPgd z5YL8Z@ZOpLE!Q5$?Z?Vu)Eh(S2|US2UMSVDL#2^%)W0Ela!k>n@y?m^4n8UTb@!;Z zl-Z;-&2%0Px}f2IVo!np#c|DqA^%s*ML{{!UgtZ@qZ-W1j6FKuYJLPMk=CRA-%0=7 zEe7Y3I2ab8tyjVWCBkLk7m3X?p(p@T2_|o>xK*bn?Wq-9Z74`^2mc+zV3J5gfCKCU zzy@oXE7z{QaPU((O@PE1on!nA1$Wi82O9dyh&%urR>{kY-y>EPVE~~bbypWuUKk?Qwxi4 z!dR3*0|4rD8j%IFK974)n4j+^7%k5{p@; z!n@+5LzZ)WT!lD;T^`ai&J2DsfYPz#p{lwgx*|jXR-+Vy)WU{Rj6s}mXv{J!yLqB` zxSHK=*G^W0KqyvFl?j(x^qAD>AF&n=!Y_hBj<=6Upd=cOoHH?8sixH-@b5n{vF@*Z z0*l1f-N#L-J8y(dNqF-!RXt~V_)n*=Hazq(VD!^c#yr~vNtq|pUnN6+9QPl(c4WrX z;}jp4VG5b4_@dD4aQN*x>wvCLhGo^mTO*xc9x^Pny~8I&mlZ#7=Cw$7J>M1Y&6)eZ zjH|n8f9fM#KtbF4hU_6Ai=4nK&SV=r1zqA4P%e;X@9AYMFG>L?PeylvQ{|1_!z(y1 zVP%PR6dytK2mXaYR|k|2QTp)g6J*nyPxJ4bLgm0`-a1+K_j^Z=_vj;=z@688qus)L z95lUq2d|OP7Uen8+j-XWh?r6aSh3u=W>CV?(|YN|Mha87voe_1y?`mbF1yi zKf~C`Z|q`S?0Gxjzk7(-59GKzrkR5Mi}tBGL2(C&M(GA6lGr_8E7MW%)xP^*%M*sF z-1BIe@JUg_6&=f17@28enjoh2w(3Efza;_xqVqf=?!_ne>}}BY7!^0=DTB+FKZ^G6 zD%+JZlYDTC$6=qrBr7elW^?6(x@FJrt;uQ9$=zbq6nJ7B*|SL_@<(4sUwjm`6NBQ+ z$y7HvAAWOVman(l?f9K|P10_1bw2)B`Ynl6g7)F7y8#dB4y?I+=`3WBdAsY%t2MQP zhU)?T``gkPO&p5muwH zOKjV%Dy{tA?)b8P!-vGHwfMX(+b|w8CSmyxORmn|cV@gdMu$|A!spL14F(l1#S|_U z11v&C+58M82gE$piBR?jl-h)SAYO5zHw8gEv1QZ(83zOj5sTE3+rd3j%7ezls@e?ABN_2m~+T1Ejy6Sxwxa)e<12sNY%sN|oYN{JJzm<7NAX`;ki&c4&`+$P4 zK452UU=H8V2Emk_01{9-b#ks8|M$*?UB5%I8x}zlwtd@(cs(LX4*@b4CbCGUFA#st zzi)$d(EoHtJ!gubR4|o?)u<6v)R&5E?)}@%Voe+bQ&DX8h}j(rL2Pz{z>@m??6nqX zmvDHzfoJ8ErZc3OmYHKPfAdg9_%F<3-|U zr0b{xDdrQa80K1*7yx+xE)6A+;R6(&z=R>+;Vx*qmM?1E9Sa2eF?`SS6%X{K5I7O5 z>=lgHXEHC)Abb!zt(@Fk9Vrf0*$Z%>#qv^TLQsiB44(z8<6CztlD4VuTVH$3@s6_3 zWIr==18^E3W78r;B3cRpk>EAA7uZ$4;{HCbWX1qW1=shuX^BFBY3&(ekl^=CbQCO^ zU=!mp<4c+f5=ke7pC3BT^Spldb^osWasScrI4XU=pZR{jUeDKaBq=9HZJXdA zT1q^2@$@d0CkgvJkk`K8$Z@H9qmhnX4**3*LBV#^9Eds4;q!1&>8}fy1NF6u{HB|( zKThtnHVN#-wNNGzJZ}WY8X-C%$E7%r`TWAIP^do*0~s zjT0uAFv3K^K@fUipND_A5sf=x(hiJ~J7ZEz%wdp-V$AoQ z-ZG*1l;h_7vl-Y$bF=h_iHU*jo8Q)fsRX<)Okm^|mmIKqe@A!|IgSJ5oOz zdy;lR4lKkaK&bD@s&JHX6f$J1y1k1 zAM&OpupbeaO&eX-?_W-JEU|l#`tW1c48@}RivETdhm7L7f~FOua6I`ajsv2H_l90Sqn9P-gD^(gYI*(m$oUjN7cLDIULHHu}*N_$=L%j zC1!zs7_b<27F0p6M2z#G^oLt+;bpqbj_dFQE5;o{&=lz1h~`Z)Z*kf=b`sX1xIx4k zg*6egCW2Y^(r~74S>#mDA*^wrC5xxRNdDUirVJRcW2YzLX*4w-!;Se`lGm|4oE3n8 zFpbYF-N~4WM;6NXnfD{B3pGuUa^h`>elSq*z!W}#-e+g;m8)MhBUu@(Qf_v4-7Zcy zb)pUrTjuS(?0$PP(%RVQs*7i$uZEWH zr{b5c&kO3)ua97?W$8D9hY)VZyXolUZrs>U(#oR;E!GzrsSX zYe{<{765pR9lHcsLHNz^@GxRVz<&_vFtxU}2K|~Cb-_dVLjHD?P;QGhyYPl9#x*t+ z+uQd|V$g;6|E2j=OrBmm7>`o%-a{5#_)MZdGP*R|xzU?S@W%C$Z`&0H|FjwkB)Me! zeSXNQp9&yoF;-BFLO`Qpi&jQid6`BIb&ZeYR=#+Rd!jGRCOezN?ms*HZa8?MxQ^R- zc9!|b5lXn2LqS61{tzKfFbF{gAJ~1jZb;?!Q)862rs8y{m?$ zqd&8=vm<8rz@=C6SVaSb%yi(JH||IGu+e+uq*OU=~CQUsKm+!{4DZ zeNFE&dk&|8$#sZIoAl~}wTtk+hSfDQz_e%pp$4vpoGf=Kuo&3PZDQ_UIa4`IGdv{d zOk3V%sUJ3}?(|t>9m9Nw(r}3R?f-T(V~}J0b0=LOyLO4}j*h)8edotYYPPf2a4slc z9GN)#)UuA$CrYk5xXha3g;6LA-@S|5q<1{o`(gBFz}(P#b`Da;A88Mmixwa3zbO~I zD{Bp(vir8Te9DW-)!N#Q=6pEMm*Y?L=M?RXI;h$mNbJTZWWurs$17S#th^(ih_R@Q?r^ zm{Y88Y4vVY6}1;GP7;>%m)UA3Z2Gi^IbwoWfcN^do^5Xq{fZU@DGmOhN)?GxxivyZgm-JQXK=?1`Wyls-0xA-P*! z5+lP|)`Y9F}mFZ(~BQ`>w2Td!cAW1H19A#+Icsf0|Vp5BmmC@aWodm#|sxyc+sjByxZ*rGP&trRqWcA$gsN43t_x)0QCB;1WDff`y zI+e<)Gs?oxhD!XX!p$Ar!#k?9Z$!L{h#Hxg4Dwyk7L>nO&r_tV|4^XFwX|x}>@0cQ zq^!hrSW?BO;J(-6<8-kd)Q$TX2c^2aMdottxSO*U9?29>M?Lp!)sh^qov>_M*6)$G zR*qb618;TD-kRh3mJ`c_2Qn(KSh~#RqpfP_cTiVsJPEW+$m(~DNwGBZEvyr_<=fZ%gaXW_Urwxd!`K}woFL1O z$$@$$hy}s?TsgpDzJ;mj2;hIGSvMfLsR*fnBKIsf`3M{$%*+j3nVl>d?vY>nV_2p1 zX!0wUn8SAVg#e}PCXdWcT#glq9^pH)V!_Dlr~Se2@m#vZ>#^i256^TO6OFjsyW=I% z29&=7vvdt!Z;0r~>j{u_RHAd>tCKJ|#O{$)YIjS;*+kyx=^(S>* zmqX72O2KE?S`flq+-XqV&x^1zm6=_I(#UL={aMB-t!6(pFLn#hXOqdFwC_sQL}oe4 zm~0*))7|;voA&{|37dZULf@A%hky3yDNs_<(>C7Kwr|rjmZS=uZ|?IA3lN%*+$ehV z+m^PnhK1Ccl?1vwUf?aXXYNaWKC#bI@gC_V7184BRTJc=Pu$`URm-n#Gt}U!L@XfP44ufn2ny8<7_B z5u!pjg-CIw0781XKg0`#Y1d=C2PpsRy<*W28AST1q`^)fKDvwF#0x15YNFN|MbQV> z_Xe2bp@-3&w=cM`bP_72-zy(sYy{Cifih6R^c~b((R5MIS+3Uh_Dcx(0Q?zZnEUeR zjlBEBSc%~A!k4HOawWtR5Sdb64648l!^#?qB@wACK6nphMy!~`HCJ00-zVrlFgK4z zH$bEaf|o?JrM*`2at$NZzvSl)sJFi|>J1&MOKpldv~JS_hn}Ac#Prk2Z&v-->4oLO zpE(xC=}xQtwhWQi&XVtaANI&gFWoowN)qGs;PTAs7Otx;(JNl=m#qxgUB6N@y#H1k zFs97->i3Md{_i0TWeOUF^Pa6u)l*^NYVk^(lyS2`%mB3S%!-Ti6yov2qeF22z?|_O z+TpUYa@_!?ptu&(Ln|C;{&hA~@m zZ;(5dB3&Z*eO-F4419X+9)7uceh}E1>3H`k=$+0$#)-DN2gv^5ePIu(W2XVV=!0ee zx2IS{A^_Bs8hP?TB&I=+fM5`@_zJ~U`45l_vAYp^VQ9Uo(B%<%O1TI+M4>|5EbKaj zDl6e~{Any#Uq(H4_OkmCU7Jk|UIoH(0bQp>?=CU&9rKjpe*9M2c|{g#hyv&uIt z|EVeyl3}cq`TFD4z})@8U!JgqXg3#r?BNr*OvmlLeqe}edGb_~sA$0E@?Dd(H8r(d zH$*=Ao!fBbcMNCQlluz-+P0>m)@{M=WMA8YWR|uq+uu(pe?)s|r91J#o_)5n zt4#nMc&xs*x6=*9ONcY|96~nLrTpq%=6Dg;&7!sp-Yub$lG--^%{YPv2n#0nk^rEH z1p-aH?U4X44=YsByfRZtVT+?I6?5l_pgE;5QYeieL~Z6yADDJw8G&c*c8 zqp0jY`zI;F$}Ze>RII%J{Qxf@{w$wdRV$5Xt|X((PMFZAp368GOzkng4DRb zK#tzJ``=k_uFr3hnpJ3(3zXr1YZc_hbLL)mHnRZPzVqAG&}d8f@X+mouP6pmnmzUA zX1{DmI@C&^p_kl$P-$9vt7Qk}LUE4LO2@zllVz?Kd2O7(kJN(SfI6Fvo!xtddTwsc z1c=KK77oB+M}a-BC(3+4is%?UkDPtgh0Pr;F5!9$Ko^RP#*eX!Q;kXnk((z33R{Hu zNIoxj)$#T>SdIwsopGUp$OiyHYu*D^B7GQgF9K%4#_$=ASdhmmKsC@reo6ZzvNR6h zHNfy?0|m!#>p@hwldBkzF(s;6wK??YoQR65sQfCN!*M5HB+cBA;36P%SXienT z6@y;Sg{d-bR#6GXiRq>6jq<1|K=&i^b`bQ$-I0eXib!0=)gcK2IS2iFx!+G;*>|Gi zX=8!vb{e21mzOOyYF9t^CI&jT!cN;d7xvSRhgtD;8k6ssD8cZEpyt0p2@5C+#0?+N zTA(S8!}`{gaAi9IAeK@wGEq`eq9~FF5=R38Jcv=my@4xg7UI^yeFc8I1(LGA__jlr0q5_{WG%^8n=8-P5o-~P3@Rzw3s;BmMP&h zW)Zz_X~|@I=IckN2B|@n0Z!%3|8?%|^6AfH(Az1phlN6kcIsy)Miop_Zu;`gR)n6|b$01~Px@me0=`Ta`u1 zzrHKgBfDczt?98sbdjdFa(z;D&yBqB;Ew^1_q8VNUx_prKDLl;sTf&)S*s*6HsV{H ztf6QGU7RH-p5O2PX<}rqS5Q#+*`Ccwf)Ro)=8fo;%&@}TUvPDHz5qicFafYK6DnU6 zTeNaTCxnDz^EV7(rpW0f^XstZz{4&xy?17K!$i#V+$id!Bwd4$pku%EhZ^k}6~~Pr z!oLUVON9D4D6_6qxXmCMy5_{XVI_&BGJrw^V2fQ>tNY!fzk#Taun!Tjm&YC*E+aj+ z+SIxOg4V=C$9JdM3!q^d+*rS*Yep?+Xgn<< zQmfk%Zjog}P^95crQw1F?J9E0mU*)4s*$=^ zss%WO9BQdaW3Ern6=ZVSl1F6Ods0ui#|@Wm?_IpyfdvPNgRykMcIdc(YsnBidJN4- zAYJ_q>RI^`!!w6ts%bIYTh$@qz&@%g|3)HdqdZV2)xw9FZ5?|fon}O_E$FUo3pPO* zF%nrb*k}f@mJz!p^h`Z{eTM?HJScnsWS^kdU}kKC}prK5oQn|`JXS$Ym(m!R+cKD2auClP&AWZSmF;#f!KrI z&)C*3L7@h2cs#sZg~Q2#p#BAdFfo9#mZm)d9u5vBP4kVi@9_TITu#|}{E`Lv4$Edy z+7v-om)W=b#chJr?U$b6>xgj?NG9VmGjSLX8@RHR$zj1L!wv~gbGwx#3t}RHZ4}nU z>ynd`37)N5;X|?Pn$VrS9jkDzjV5@>s+k6RAj5cHUVe7O7+`(CRbA%J1! zyEV|--A1Qh{s20GUM%Rq0x208DMW+zaUD4D?gY=$#BMIMT^kviF!%`g*}EP~7j8>Ho5ohA zGcFGnrth7Wl!Sz=ACCy}(qYdNUl``~pyu>ZONqnAaiiF-BS_vp1_7C%KbFldHk^sY ztth`RO#Jr`rbw~)RqrjG_{ATZicBTXoksG{g!nwZMqSVpTJpy^{oYS|rAa(7G7EyZ z&1Czqz>>bk-GzS!+9>Ifw@#Kr+xD_m;%d&0=8q9_RaBANK$(a!>MB|sFQow1S~Pdc zX(y*bv}m5X5s!cT8^>!U~|I7erzx z)NE`-B^JjwV1bImh6~p7wZb_+GQS!FA(D=a+xKfHx@6QYZK0Ubs$;wqoWm4$*;~vx z;n|TuE841whBCcxN3VSG+(W7NHHOwSYMTnMTXE z(eDz1!Sx>f(WWcKIZqaaE6#^T1O)u*yX^OF z)RNpO`JtA_zkVFQm}n>YtNHbrFK5-c9^T$J!E<9Fd~JX2#r}%XtR~tI9)DR#U@l>} zG(J9l;Cj~G`lJ#VjP)*I9);$h7q)aTJ;HlQ7B2kY;+&aqu%p>tld}OICnT1>TCDuM zuK(su)thzl@(hWG-jpW473@lB`|y4`%Sry8WJf1mPJBTpcT-F;U3K_Z%iVwcN36Sm zoDiX($Xe6IAe#uB2Q@!|zF9i@t%XFn{LjhmgV&PH7llWz3tu+=-VoybCPfqGK&vx6K^~;l5D(b$Y##-96~@NK=S2>?b-n+l z5e-wj6M--LhmUo6jktzeQou|sa}beZNoBifm3rQRw_-RHaybT9l| zOtP0QDIS{c;wG3vPF%E*sNfs5KpsZ!nIf?Y6Jt+Hc0!_x5w#pEU3&ZBbJ;nD)+_^KtApa1~abSp?8#({?RBywCNDB|O7rn@H3{w;6 z>sDfyN?*o)dUexI-Yh%T+V;Bt^gQ=~<*z$@I*LDKW4Rk+Oh#&iyrB1<*mrC~(7nhc zyi$ZyJ^ie^MD4FC$)BACn`5ulGktzinR|P~c+J?!=>#pIWK!mSlHyD@muTBv5AWGL zr7EtNOPZV=$xr4>{^k+9LVI9hKV96?nH1&BV~vA?@26(mukr`wZKAKdIJId)5VZBd1XwoNec{_Gl% zW>JW&n@zFR@3df|-f{98ReqeET=BB{r#GfDADb5ZB~}zqmb~kbBfTn+OueIeM(4q- zuuBu`8G)8pHMz6jp9z*`K45DNCK0$2f2p(gr-t6m*Q$wJEc3?7936F44Jn8o!Is;dKMcGQx=KT9FbJI8T z`OHq~$&mjbo7A~GFnT9LH-ee9nfCndF~69CI&Qub0+C9V-yR59Ue{cX#R?it2Y)FT7Abw7-r` zYe>xEc)mWD=P;$Yeq=rWLoVA zG<(h*Nq&;)VW9+_=C{`ucqN2Mk|-lKke+Yvba0&6vUgD^AnK1c=&G!8&a_`(F zA|gU07s0C-@ut~rJu%TO60gMw!-Pplp8GK1Lat#DN)Qxt7exxPkE{u3mNfTmcsQdo z{+jccP2WKimyOe8_k1I78rg*|9!a#|jIAx)Gc24BFTER6CTTqp8hUquY5rGH&vyhVnF#9$`$|EiI!PqF5cuXU-!hRu8irc z*L+X4t(h37R~*>=N-yn;)?iI*&A#(4`McJHKU$A!f=v88B$uv==5sn9RN;y_#mf?& z{_YN99Ql^`aUKBUgzjWs-zr5lZ+)To}f$XId><#dR5P3saO%_v}t=>lkN0 z;j6Av)17kR&v@;!!Nf1h-rP97Pq!Z&_MHCXtD$Ky|FMvJ(b~sY@{~cSp~j`>oO8)V zd+vyYRlK>u&ynI&YHck2n}PBD&&#^Mlv!sF93$7;GSKw%vMGO}^sWF>x%(z6x&C3E z*EpnA{hA+@u-|YGqm?pH6LfiLM9M2QN`=0)V+b zva?J6;)wxHwS#{u_gs|gFKHswMIT<=md$LE zj<4D-p28cn6BE?2BF zsmgetajHk4qP&Fd3kVbO>{msI<)aIjP}Ix3CMqhb_a)(3Ta+8wchuyoKr{vT`ddJc zAk;~cGSa!ZE)tF}-9=SBWqsKN2k(6(3V#&zDi477j{I7JLROC`_rFR1D{y7ysLE26 z_uaf+H{HU|6#fJI+}d`P{j5=~vMO~Rv+h3=S7v-`X6xNMw$kysHyGX8_f)RCw`cja z_PV2GhV=Crk~39JuLYhlB&PYj6?Bu7wX#bx3@uvcP5&%0@J#j*&diYIV&wu;U499> z;!O(ad!~-hU*(Zt@%ohbr0~>e_H@MTPOFCx)9$wNzzSoc=?{Ru((-Z_48&7O2U zEuqx^%d+LMq5AW+8Bo0rhqporwch0jGNcXxVGAzl*>G}LQ`n?w6dr+ zUxq`(>sJvQ)30zRUFygRis!E;B+I_b6mO%wHHPwjkMOXv!l>?wMb)MLfD9 z|LN8jJLz(Q{$!8ncP22Hm*1p%xuGRZUHu7XyNZqUm>-2B$R}V=TJ{fET)nyv{L@tf z>vpew+>aye=C=Yn+zeq`@R6)z%5V0;AZ+6;j2^u93;lK{l=<@)xg}&PyNXvU&U zJMg*pH$PePpFs(&gI6LRUikGR?il|uWtU!-?O)C27?%~+`Nl18XryE?kD!v0_UZj# z@{roOMgb8w&5vHbD3B3R64PDwny7LVPFb8>s|mLMs0|GS2cnc+pVw-neB}?5@~T*-j2e zy^%NTroy&Ll&CeFV4<{H#yZH?hLq4L6}SKpD0 zfa;?kJ<-q5^(?C&I_q_-%x#wvTMAMa0mN9376Frzx`4?$ER_NPe5^a4d_(BV?r{=r z)Ay~)o=pAZsY>)ujk@dD#mJ=?^AEm?d7^nGn2AoQ;Z{{W**+d`_j@76$v&G)Go$yr z^POi_nz!$e$u^Qy9ttFv8|qc4Ht0&TZV@+kI^3A^>r!$h4F_;#tEoKE481Gscsom^ z)c++KSXMaOCh;fCN-ImmiF;4yltEwn5z6#!=!%X3U%J~>6b|~l%=$IDvCR{BnSzM5 z1BwV0k*BUyFO|Ix9Z08+P*kcC(BH4ueQD2j=8!J|{ge}LKf3tuRC>HV=2v6vyNiYl zABv6W4OWa@G&cnPZc*A(ITcbt;w&;`eX){>I%z|4!F^wUazia6P4R0P@eV>K+oZA# zg`}Tvu6;ditbOmdU-2>j z8=WyXuzhw7%Y5&Q4mNxyGRz?0Q2Rmmt=-F(P-Zd-V+;%kiY%<%;^{w{>GRP7c7}@% znBlxeoucsKs|6#biF{;5zWRKA2>Z9r+AJ+4n)rx^&yz~(F0(Fu%@@(w(b%t6_98Xb zGJosc4vFy1&sR*Dxmg9`Nhd z-H?_MuFd3+$&n)d3PB79FG2S6qm!viS&Gv>uAUCfuuQs!p z;EE%IbJ^0NpI>K`l#^y18Ru8({4Spp8Iz8i@8r|}_9TzL`ci}S(MNgDYnB$+@+$<( z6)aZxeNr8?xGB=F3Y)RXD}4H;CZ2C2sz+^MYSlQUQDV+KdU)jtD$@$%o?`kQy` zRrNoy*s|yN%s5Nn))&FM+rLI=!JZAcA7Xts1@ISwiA7`J<4DEg{D=;pPmrb8bF zKc5(&1!;MUg+j$d2LCNihL#1pdnevF=8yl9c;ATtg+~V;&5R_su0;blN-DTGYC>0}&4bbwuNm94t zn_bv?g0h5FT&#+<<_`YY;q>$fYcW_;+ zg-NO%{Dz z+;73u{yasG|NbFr?<+Q+a~>G;jI=8fo&h8*2<+0~9b*7I*|3)*W#iMt0 zIr=MaI%f>^EK<%4CPWBf9(VHcmXejuAM?xfVdpI0o?Y|cqKN#aGhivfAwW|>k(t!_ zb}240{r3;k*GuG<^X;dtf)}KTnquW@wjn*NLSRGq1W!`bmyZu_`laqUcF_p~Q7-t_ zWlHX%sf@oAM`Xo9-$2+uuYx!vz&Z)13C#~4sfHcG_wxiJJuWY*&-%nV1zqV+PY~)d z_HVho+)?OJDr*(eQnPTX*?9RfVOD{8DG!?7qJ>eB%+htA1EY`OqX{o6!wy;%m6kX| zMoLP_=WMDZgRo@=_ksk;g~-r#0%-}~IhIPgZEIZM#L(c+H*J)PFCUnP4cBmI&b;Ue z?BabZQ#579aQMybaa}Vvw#$z`I**(yvI$At^pGn}PKGUIGf&>id7XPgk~S=Yvdv@V z;|)vkeY-1CnJ?`V{!X2BBR%T3O5a@ks>swtH8IBXdN9Aq=0xA}Tcfu;^)HfH)NVgt zkjtl}Z{AzmQ?#zsxRwN*?e1=QqCdg^daT3Gke>C4!iK7fBRzeS zycImpUX8d(1b^ZoZO_kbFqS!GlmFx3L>BY3PE}05Ub%&2s9#s_j`kG$$72yDb#J;R zZnCCK+N};U+*-20u0xvdX|MveZrSn<{(d7*oGkD8JFT3gIT-xKlq65TdN8D~H2>=w zdy8umDd{Ef;sF|ns;2-e=k*XN_C z4Oe=Ydp5U`-%GHAjYFaL;&%Gq3-?xteY5Slj_0*2QyhuOyJ&PxI@9Rj)Jg`a-m>c zzPQzriRUrJfI2iU_%0A^hzABdZVYW}Age*&3m1}e{oP?wVGS{+i%JsH9rlxZfu!09 z!vN+31{67PUjfDV+Y%@%(zb z)@y}UBczVd0f7#>Dm(N5H7rJI0r5{dVLFc`rI@)g7) z#5f-lxJ3HrI};%1*aRR#6ZZ?siftGbfXe%YT+Ze$TzJU$l{6)p?DIG0dN4?)OrQIx zr}lc?+qIQH>1}4_5139smjkvoy7x;ELGZ+sRUTU8kLT=swvfi5xj{l8<(wKR>2GDd z>e;1iZ<)ai)=-+(SXN0EdCmLkj0SxBYx1h~9UkQelE1xs15vSKwZFz6kj1OG-Az^q zHftDvZ)>!XQ}dgHK-1B-u;7)&(mW0J_$NoUXK_3m%pRrHch|i-l}WK@Qplg*LZPU2 z|DUgc`p&aYf~UqN4+XqZ(p_vR;v36<;7nsc&7`1_b;YctT!3BpO?iX?ex0%xysG5^+$`Mqd z_AGWHy9IX*%Ay-1pUNs^L%n~~SG@g^z`#7hl7GZb#?!P_;^&#ExNjCHlgEg_0+77p zFjYOw%p4C!K8>vQtg89O+0==v2Y7XE#Ppt**jqm;7gf23O#hRYjBeur_Am+IOpUZo zS3k$i<4aE^^a6g1+$>gCdc3e@^0 zXBqZp-NU<-YspTxXdZ9(9qV0KA2%1RVl8Z&zjr7(y>((n(XMhuFo0CPU+-6G_a#S~ z5s~ffoG#oiEQ~h$&ilU?dZeA8u7D@l52O+A;u)6LosPQD zy8H6oX-c^jJ?SiK(je}EE%CAkt2_>Env~eD@bcee&bQIGzOXcL-t*l|Dw_YGG_IC{ zt!+@c{l+!R&LaI=nud}^>kS9_rY}#AoQ>|S)6Qa-WsUULgFm@S+$la2i^BolBDDo_ zFXm>pNE?aokBFeEoAV6ZB4p}(nWXyn{a=@9<-9jn^iOW}&95sr%vJxjUGM(@fF`$b zLQC#O22Ow%286KaEx|0fHS-QNbi{;g1#A%ikmJgx|L3|Yl0z6i`OIS%Nxlkz3hSTWet#GC%wXf%-+n_@9 z?0>0VY0Bs~b-btAZ?12DC`Ovp@)~A{i~88>oz# zl2pCV@N%SLAAwCfVsSW$VJIkp7|HlxJ`JR#iTr|_QpoC1s(=?SBEhDCy4o8hbt>V2 zC%OAzAJ2o5T2)f`ymHul-XyTND3nB+{9Wx!=Y6(26Tj~jmKTNSvR@+GN9LP0V|btZ zYJE`N^RTcE$BzvBG#UNs7u8Y|Ki2Xu(ooedGi4$N^0TA#pQ5`h?JwNB-jl6N#>D?V zNWh(6K^(l6ZKwdrJt6Ref`Y&>so1YQg&>F*^D;Qe5w%&0bXx=0V@|7_2BuDK*yMpS`T@qC@z*jF+IqJ5nH*d5ZQ*2`b|L72 z^2OCjK?tjVH98#xM-zRcw`1G2`J&+bjH+)J| z;Uw}FgZS_4g(O}Xr~wbvzs+^|NbLp!lT4^mu6VQ2l5BWbxK8b*tlTfU;f2%xol{Fo z(K#{)O-pyjnEe{c4nph_)@kMi0v6YcUh6tCX)^H&d?xjrP zojiTNl_j^OyPeYC8Kl{rxuf+9GkA|LwBkQ)!4E4cr zzy6%$nPH@Rl-v@xPCtf*fnBC&{PA3vWsdjX+Px@@H}zi)@~v*w|LC@lIYgVhc%*cN z?Wvx!QizgMQ_L=`&xDgJ7fu)AYFRjX5jRnPQrlncS>VpH7LuR#eR*?% zaSNYO`QVtX@s}~}_k)@HuZnrdJj&)iJf__?WA@dwe2v+@S&5YrVG3`b^TrPcJ~*lEZMc(Nu#Ql(mMzKx85{K@c+}BTCA(k)D{KN&TR(kvM5xTj?8k; zcS4Q>B0cyt1jQXxne$*7VFCh~2^*?eO$hKonYdOo<`IYStp;i)5IksM;16L0!lnDt z>&3NDbil1W4P6RIRHaDpn!|z;4=%&ry(wJOPj>b?zPLaoWtWT9=e#otW-$9>(AI!e zaptVamMj0!3_Uv}qai0KNSpMg;@468g4!?QyuDU`1;KC!jz+>Vp_kfu8f=IjPz%kz zSMI|7n!^Bxuto$UsyBL5*Sc|Zf9OI!RZl#I^v)~SH(fItODy?{s95-MJN1| zQDroOh==!{sO@fZ`R|M*S*=ITUqKIm7*ZJ(kxS4mH!z87YvL zUYQ}*1kizW@ZkNFrPHnrAxu$meEN5*YioCamHKZhTb{Q+_F$7<6$!q4iQ%^}^3i+I zuOKhm6cL;#mI+A@IIHg*x3hu!a#+2{2CL7f7@2_k)QT~N`8#_})I)Z4@3RM2_y>un;{Su^qix#`BCw^S zBlcf(K1fQ-fVItjD=AqA9v1B2BQ3S3u6Ie z0F1ItK~ldz0)-kar!f_$S{PbG;%b3gvG*7(K&FJUGV&asG^lX+&GPbsQC}K#=WxP_ z(34F3qKVyK{&Q$h(7u(7tSn-5iV9iF&`=T9Di{WxQ_=j;*}3d40Bc-uMP;*VZgIim zb*3x}7WhYw9jlrZWnn4Lxp(avEp}r_CUG)1ksk<8Kn4iQ%g-!C`-`vKzJ1#{Jp5+f z_T6}DDjHxy-mw8*14lpw=kZ@UL`g@-YT>fw%37I8TG7@j`Q1G3l)fFl!?md7+2K-GKVS|LIfh{f|;w zhGfp2v+O;ABZ6Q>BJ~^exk&=H4TaKG%hFKkelo~}zCWt*C$zgvXve^(uC-(Wpz!g8 ze^+^V`Rq)E^g?LRxoz@Wq8R2j!k})Vd7V=>m4JMs4HQ1k=5a&q3%wb9cw42-PRSy~eA6)&=j&+9?jZGTNON z*~qlEFjSs|6E3ldVhz^rEpxX)VT(pZoCmThHua(#gmnaAeVr*u{A+xKO*c$Qjv9~> z|6lM1Rnl2shFV}8gzE>MEYpQImaLGWyvJ?8U|jqBKM)qz>eq|QULWCB1WtOBuLKW`mHMMNA%FXfaaSRR>T>|0Z8 zYqN;YzH%l0qBAD;aET$Dmk=*<<)8Hyf9-apa@DDXMh%)w$eBpsa^Z(sTSN0;W5nNU zgCDb9RpOsOPCT4?P0&DBPXYf~LoX^y;lm47l@|Dhu%jo+3-p78 zX7BH%a#IRgt?z9v6QoT5%;S@jTHs(3b~fk*n7%+hzjjf#L~V{Id`Wtv_t4Q*!;s^I z#pr%G!>{datB2>N^knVBrtpSgssh~tXrP0jU802jFJJ2LG@2-s8XAAzf9L3aJx(F? zEO?H=Crk*L{y&d8z8P*}YoEx2^|1=~YYy>Ha}yPe$1cC#iBv#1nPp1CJYns$%cNxq zn`|^~HxZ?ZJ)PHn*#`c=_rMdP9IR>^pvX+Yj`H_>;LNdll&3|d@MCBx zh`Nx8nb{c@OY4wZ@$Xj#_AG8q#H5%>tprOyVdDr&5fQ!@6cUoKX05h*wBol`pB^X6 zO<3Vy;%o?Sn)REuaY5UNgz7}F-~ajY*^_I=IlcUZ;{v8n+`4u9L9-`}Gv{EoMaX~t zdE6NHt#08vF)9le0V=TpdPzi;ke$R>SkC`kEE|%wb1IO+(qG!z8jNvq#=qZ+)kVl@_T(Py?641TM&*ji7n@}dC@bZEaPtX6zz-}1euF=cZv5FquJW&gqF8%W4?4D` z-QErv)+=Dk#OjGkDd3Pa`7u@EELVTp=H%Mrr+pqS&?ufKt2v7akOWQ;gIFE0P?g_< zbzC*!?fdW#5COZ4_ks#BM)#=YGiWoO3msF>W_XbBthCTr=2r&Y`!|IuG8aTDv(GWo z)kVZo4z_2k4_|K>C3;6v@^JdK4DC98$2KN#URS?8VePAJ4ilRXkwl3t-m4m|0wDoI zV-k%=iCA6si`(pTJheO8NN(9>L-2_xUg!I_uIZ4-ZODFWJGM)4WQ8&^=EGFN6&IFb zSG&XRmKz#YTqqxyifwO>?Cv)cerDbr*-F>Ut+lNBxzm(thJq~mvD~`6WUD$UlD|hX zd-CtCabv%c^Mq)}P5RDarhE>X5p3)+0I$pM!6)SlId5sB_D8R0o1ubI%!ytzLyva( zsjzB>ekL>8hA!hoV1m-5GJoaVw|G*2p%c2hbot`=Fl9+j*v|9m>#s0|VqLfm(+Xd>DngA& z3? zV1UBj{#?)e$GIE#M4#8y-n`0}DKVtW)_>7c{JWh&zqsG{gMi?@mfO?iw}uJXY|WmI z-q#qtu|-*apgz3kn{WI3pa|~o#zyt^;b~@fYk6Rz<~pZB8r)E}*rTD|q${Q}GskN& z@las2@_jdbN6vKL&R0niQktFh`-+W)?@fj#EIr4TPTW}=r@zm6uR-%08N9PJ{03Ao zB!R~jVWD&J(k1V9;xQ-UC%{LO4dn1voZ+eZsuapJx-os;_qIg{UD8>K7cXT*dsLGD zJ5yBuEi{c!%CCp)&iF$o%62lB=G<6__+<%W=kWHT=%-Ta{r+b=_1-M`$Ez^BR0-Kp z{q-`jH1l)jy<`r%>lnlT4_4~Mulw{@-s&C8P<_I9DK6`NiiB6;&{B|D0jWgbvXQ?? z@TCBo!6^&D=307>L>XFLyZCeNoeDBlG!sLaDbQ}vR z_^xq)&B}j(=Bf!hPXZgj`$B9egk%8F^=tD=Mye(EF8!e^uGg+qcdI4rLA+Kl)%`6i z&B=QF=2UOmoaSRk8oC{Hvkhl6<{nAWE$JoQth6X*h_lHyw7e>+Cl`>!P+Bzc-guna zg`>dZl$K=4|76y#K4EWiU8X0j*wX#UA(eBR-m)phDaNKYk^G$@=-Q7+5&oN?W@F;PsgU|b$ zXSoK`=bu(jWTYOvwqGpaQn8w9nm(h^0P{TAp!`T>c>As-4hr_7pK=>!_J2Rx?mYcW z!ClP6%Pm{X@y*{WNqAf1p)GJi^sh0pu!!XtNt<=mh2y|40m^ibRko^ zZTxr7oua>W@xLD@$XGSd3juW>@2*^zrZGY zL3m)L*xw*cP`f70YKl#NdAM{?{*zd9U1E4K=@4J}uCeFZb#EkdL*I2!PeYEix>u=% zuU6FK+ks-3OaQ6M0x0i0 z4lf<4PD-tnQ54w`pPKsZ%DZ{h*o*S3#5c|Ey6TKrlW4Pd4_~%tYkVDMxU4p$R2;lY zgrhl$F@pR)_myV{Gse0?eXQfsn7%VVG&S2{zgddXDsAsGhUNp$r9*enpMW?d-(nikx=N>fPV#%7&neEX&w_R7+^W#)L1QvFZdcO=;{G$cPZd@&J z$X^mLgXU$*m%a40j^BGf5HYn245Lflf8PB=af@`sMN$@i=0CAM^U8IR|LjeYtLP0} zD+%`}7?IKl+}(%$nm7>{Y**)q!qgf6CN!IXZP-KSXbEjZo9~HQzzAR{TYjFGnDFFnYr!1 zrNrpSc5M$%JvOazN%;4bgp=l_COXRn{;cyWMv*q+4psJ2nkQYAw-5e_5g(W}dbqs$ zq@ioNxmJ!db<%_@y27+-Vh#dS8Th6^R0!7$YM9u-$C5DAY!GGpTnI%Qv7`wYb=F|W z3uiq!?y?U%bx93hlQyOjTuX;Nd-|I?@4{(WiefB3Wu+@zEJEac-X_Qo{%KRGdK zX-QP%oI&;OuF;<#)G<(1MR*Ur~Ur+3bc^km|^K%1{@kUcI7<_%J zZ(-e^eDa+Bk8R0@4I;?jkh7{6V<@P9UzIWvNLx$r&^2_s%HD0y)wb!DTNm^XxvyV@- zb(fV>hhlk|I3okInWolo!J|;7#Gv9^%%`HVWr}v!_~{*yRpEG){%pgK!aF_21M4+h zv(xk|wvL_<)NT6S`LyoMy8AgfdO~S-n^;vwSd#Br8^jsjo}Z<;D@-jnMK4z8?9n~? z+<8BzsQu<-#-I;D6LLZ(ljIhehE%K(o;feLy@Ij=<+6J+N5~k{cuC!p?frbLf%HjjssEr`mMm-S z?`iFg|C{+WmV1>08{+=H9BT!so5h(`xbEM7SSGS+t?~DGh&`{Deszlacl#rLa>A#w z><#e&v#&R8-b}=J!u)Z)0~+>t`oFD1uUG)#0s-x=0pOO)KrFo=F#kf>wXS|b#2VPM zlQ9#w5>4Mrc#o1)S`)(z9H-KgHOS`Qht;|3?}`2EFvi?g@vndV9uUO;+qtaudpJ#z z!e1&yue%)-qfdn%qy8}@0QC!!PR~c?JxI84Je!?G=QfQQ%l~TYI-{D(ws1fg8JgpO zC@3)a=nTC#QHn?)L@5b97Nmw=M34kU1(8S#MG#O*K%|HXgn+=Ki+~jA5F%>mq1S}K zOTbz0{doJ&J?osi&fa&IyY4>co^Mm=?1kcgRQqxo)oEZJJZV}2Mvh;V*~cQ-dbsRf z4|(*tDVP*ha*ZN;R_$~HF2L5f8YIg4?fGBteL@+}4PE+ita*;L>Ei`72GlSF*M{%j z?MZjiQIg+Lmt)n$GEOmQ`0=_fZrAS%BUl@+Ru|}7JSG_^#d9jK&(+Qde3lbgEZiBg zvo1gcIaR==elF;9gNdW@tWyj$;9c*yOs_sWfqat{OPkKMQRp?4yo4jKThu+5_28Fg z{|2Kzxvx`a7eG|TA>kuwL@)l*?#Gi3x)DpbsAn>m%)?T(PSD~*=hgR!_lDlTQdAfH zEV?YstNX)rCXu^`s~Rgkk>DpZ)|8Fftv~_;C;gLz>w4x#v62wQ^B!JoEF|#k%3*va zGNs{Hs^1!OgfYP|^Gfv0-rMEwq4BSJz0nnJ$H^y)EyLO^^WSYV6-OjagqJU8b@eh31S|ca5NF+1T)Db*hCEmKnL4ca{$bl>?&R6a zVwYSc>9qY%1@m78533Y=XbL~SBl+e>G?Z~JVi!~nF*1B>iUh_3xwa!cOG{n?6SMnNyoDLt^KOhHIINm&~ZxIf9&IG)wyV?zxFIDmH$KMiU-pEcT1X zoc!QH)4pxRV&PxX$Cj{r;=;4ht|bz0%Hg8K()i{Hk;Cr774TxLZBCV9qENR7$$k`} z9M4i8p&B-r&fgG_RMRmF0gZMHb{<~8^I4>Mn{Lr*{`}l7G0<1fy3#DV|1`{B17z zW5?Wm{OdLGU4I}ZzQ~LWWa1bD&&XbX1M!0xWAvTgwe{!gY%QirOxz(21Y<&fexbxd z(qjZjn}rV}cmvTCL)vFdYmU}c<8kbcgv_grvx=t!e{#MBq><+b->Ri042AdGp~+p! z^kS%%?iet%&>9r9oXs%}uMMX-1mYGz=I%8F>ZvpnA;6Q-o`WU%k)(EeQ8ka6@4f#` z|KJAyQ>QB|^^m(6$rTAEe~a&2QtdKPkOT0o|0KNH!OWqZdo zgF-%fH_a$^Sr>M|UratVEtl@QO;AyF)1ZuW=6{M zu?!sdyoN%7kp17vJ{ec4EN8T{ug@l%7qEz%oDLZwBPm3r#bC&Vjrlg?Ojr=Ii zRGHoUY74|C;tt{gtt0qvV9IjCv)&FEej;+2MnxRd)^8Jbpg(fWARbZG0ssd2vPtMM z3bGd(qP1@2y?Q7+4Kiwv>cF|W*L%qcc)>l&;#7(}Oi(mT!_>+fF4qTk2&>sN#6|NUp95YA95V+ ziXWY!p=}_A_;y`ZTqTpe{~hUR769N;)BeUT{yycdQZO9479qbrk(a6xl-*D~_4-*- z4|U<@Vh_r*vdv@Q5nN(?!j`0EY;V7_bxxEoRmTLZ^RZ;2zNjPGnLdkvY>>q=)#w2x z(#D~6;uX-GLodbV+vwHJKPkRC7>Y?3?qjjBoV&P;N~|LfQ-Jz6k52*s9IQy1L={Z} zi#2i{k;wr;@sk*s?@rYlWswAEvdrO7)l(;hT#H=rrH$NSp_09Ck;09EtNN~XA6`}d zE=0fnYDwkpIhU8d`10)Mn&eOddFLF`G0{{{1-4;oI#(VLgih+)m@Uv(Fn_m^bA7Y{ zZ)-ygAQO3q&^|XNu#31rD_ns;59+*hwn5&wb+!()9@?Qx4P3dTUe?=JdhgWy+;j`I z{H?uw+3c2MI+Q8+O?6-x!*BraN&8Z0x{vL1@Vbb+wWaUdP>s;-b+d{u!w@fuZr$cP zQeV?LYh>6Q&Jt-|p4@BMIs4X{Oa%_n2g)(RPsTT^#5N35HPV(x1i^mZj^s*hwTmT| zehLaU0rS6=brCO;zWX?+x97JD`xWm;nIAm2m9@tj@if8)cXIhlg26==BP>1+SaT_- z`c`hUfhBhP%)NcJwu8GkiyA8dL^(Z6s`ze5wOiwUErd+=bR3kW5LK*OD9QZsY#t8) z0G2H?<1028fiucYi)e|iL7MlZBx8D4HPRa&IBa3GF~7sXt;aU%}w zTtYk>rY6VK!s4ifYB4hQH--u0sMPSnf`Z~VZ>}(~rWdq0q>ZEu`K7!vW`R1{pS!zl5Qv7M8_WsWI)xz&hX4Smd3E6gjDn^u zqFXFW+;J3O62p^t`!`Sjg%+R=pIeAA^CrA9(+GgcW((*2=^9Iop}DrRw^L~Y+=ZCQ zvc4}tIspYhQCnw-gUiz)F@~Q5CfhT9KgBScV+JT72xz-Dt~J)!4Qid#0H006!X3m_6OXCIW#vt#s#3Njb1-fS*2#}A~ABB&2M z$}c478N$Krn|m0b#=J6#je{BB$HZdDWPU`Kqm=kW0Dw(zZEfv9tqYJ2fVde0d=p~I z9R0%;y$S%lhQ+;j0SOPU9a4@GVQllFU%i5d9LaRWRTcCVr^9wU6#zg#t;&qzBjWhu sNF_&Y*2jM`cpOm_;3&|J+J9X>02D9eOu9~6CNn$COe~Gd4R1dB4;@WO;s5{u literal 0 HcmV?d00001 diff --git a/docs/diagrams/GovernanceAuthorityToken.svg b/docs/diagrams/GovernanceAuthorityToken.svg new file mode 100644 index 0000000..fcaee17 --- /dev/null +++ b/docs/diagrams/GovernanceAuthorityToken.svg @@ -0,0 +1,322 @@ + + + + + + +GovernanceAuthorityToken + + + +governance_datum + +GovernanceState + + + +governance_addr + +Script + +Governance + + + +governance_datum->governance_addr + + + + + +governance_redeemer + +GovernanceAction + +MintAuthorityTokens + + + +governance_addr->governance_redeemer + + + + +tx1 + +Tx1 + + + +governance_addr->tx1 + + + + + +proposal_datum + +ProposalState + + + +proposal_addr + +Script + +Proposal + + + +proposal_datum->proposal_addr + + + + + +proposal_redeemer + +ProposalAction + +FinishVoting + + + +proposal_addr->proposal_redeemer + + + + +proposal_addr->tx1 + + + + + +user_wallet_min_ada_in + +ADA: +min utxo + + + +user_wallet_in + + +User Inputs + + + +user_wallet_min_ada_in->user_wallet_in + + + + + +user_wallet_in->tx1 + + + + + +governance_addr_out + +Script + +Governance + + + +tx1->governance_addr_out + + + + + +proposal_addr_out + +Script + +Proposal + + + +tx1->proposal_addr_out + + + + + +effect_addr_out + +Script + +Effect + + + +tx1->effect_addr_out + + + + + +governance_datum_out + +GovernanceState + + + +governance_datum_out->governance_addr_out + + + + + +proposal_datum_out + +ProposalState + + + +proposal_datum_out->proposal_addr_out + + + + + +effect_governance_token_out + +GovernanceAuthorityToken: 1 + + + +effect_governance_token_out->effect_addr_out + + + + + +tx2 + +Tx2 + + + +effect_addr_out->tx2 + + + + + +effect_min_ada_out + +ADA: +min utxo + + + +effect_min_ada_out->effect_addr_out + + + + + +effect_addr_out2 + +Script + +Effect + + + +market_addr_in + +Script + +Market + + + +market_addr_in->tx2 + + + + + +market_datum_in + +MarketState + +params: A + + + +market_datum_in->market_addr_in + + + + + +market_addr_out + +Script + +Market + + + +market_datum_out + +MarketState + +params: f(A) + + + +market_datum_out->market_addr_out + + + + + +tx2->effect_addr_out2 + + + + + +tx2->market_addr_out + + + + + +user_wallet_out + + +User Outputs + + + +tx2->user_wallet_out + + + + + +user_wallet_min_ada_out + +ADA: +min utxo + + + +user_wallet_min_ada_out->user_wallet_out + + + + + diff --git a/docs/diagrams/Makefile b/docs/diagrams/Makefile new file mode 100644 index 0000000..61135ce --- /dev/null +++ b/docs/diagrams/Makefile @@ -0,0 +1,27 @@ +SHELL := /usr/bin/env bash + +.PHONY: diagrams clean_diagrams + +usage: + @echo "usage: make [OPTIONS]" + @echo + @echo "Available commands:" + @echo " diagrams -- Create the diagrams from .dot files" + @echo " clean_diagrams -- Delete the diagram images" + +DOT_INPUTS := $(wildcard ./*.dot) +DOT_SVGS := $(patsubst %.dot,%.svg,$(DOT_INPUTS)) +DOT_PNGS := $(patsubst %.dot,%.png,$(DOT_INPUTS)) + +diagrams: $(DOT_SVGS) $(DOT_PNGS) + @echo $(DOT_SVGS) + +clean_diagrams: + rm $(DOT_SVGS) + rm $(DOT_PNGS) + +%.png: %.svg + convert $< $@ + +%.svg: %.dot + dot -Tsvg $< -o $@ diff --git a/flake.nix b/flake.nix index fa687a4..6b00c58 100644 --- a/flake.nix +++ b/flake.nix @@ -292,6 +292,8 @@ haskellPackages.record-dot-preprocessor entr gnumake + + graphviz ]; additional = ps: [ ps.plutarch ps.plutus-ledger ];