From 72657b416cae2cc42ba3cc2447763217acbf0b14 Mon Sep 17 00:00:00 2001 From: Andrew Chow Date: Wed, 11 Jul 2018 11:52:42 -0700 Subject: [PATCH 1/3] Clarifications to signer and combiner roles --- bip-0174.mediawiki | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/bip-0174.mediawiki b/bip-0174.mediawiki index 4b686dba..9ae27f64 100644 --- a/bip-0174.mediawiki +++ b/bip-0174.mediawiki @@ -267,7 +267,9 @@ the key. Keys within each scope should never be duplicated; all keys in the format are unique. PSBTs containing duplicate keys are invalid. However implementors will still need to handle events where keys are duplicated when combining transactions with duplicated fields. In this event, the software may choose -whichever value it wishes. +whichever value it wishes.'''Why can the values be arbitrarily chosen?''' When there are duplicated keys, the values that can be chosen will either be +valid or invalid. If the values are invalid, a signer would simply produce an invalid signature and the final transaction itself would be invalid. If the +values are valid, then it does not matter which is chosen as either way the transaction is still valid. ==Responsibilities== @@ -290,7 +292,8 @@ A single entity is likely to be both a Creator and Updater. The Signer must only accept a PSBT. The Signer must only use the UTXOs provided in the PSBT to produce signatures for inputs. -Before signing a non-witness output, the Signer must verify that the TXID of the non-witness UTXO matches the TXID specified in the unsigned transaction. +Before signing a non-witness input, the Signer must verify that the TXID of the non-witness UTXO matches the TXID specified in the unsigned transaction. +Before signing a witness input, the Signer must verify that the witnessScript (if provided) matches the hash specified in the UTXO or the redeemScript, and the redeemScript (if provided) matches the hash in the UTXO. The Signer should not need any additional data sources, as all necessary information is provided in the PSBT format. The Signer must only add data to a PSBT. Any signatures created by the Signer must be added as a "Partial Signature" key-value pair for the respective input it relates to. @@ -313,6 +316,9 @@ For every type that a Combiner understands, it may refuse to combine PSBTs if it The Combiner does not need to know how to interpret scripts in order to combine PSBTs. It can do so without understanding scripts or the network serialization format. +In general, the result of a Combiner combining two PSBTs from independent participants A and B should be functionally equivalent to a result obtained from processing the original PSBT by A and then B in a sequence. +Or, for participants performing fA(psbt) and fB(psbt): Combine(fA(psbt), fB(psbt)) == fA(fB(psbt)) == fB(fA(psbt)) + ===Input Finalizer=== The Input Finalizer must only accept a PSBT. @@ -500,7 +506,7 @@ The reference implementation of the PSBT format is available at https://github.c Special thanks to Pieter Wuille for suggesting that such a transaction format should be made and for coming up with the name and abbreviation of PSBT. -Thanks to Pieter Wuille, Gregory Maxwell, Jonathan Underwood, and Daniel Cousens for additional comments +Thanks to Pieter Wuille, Gregory Maxwell, Jonathan Underwood, Daniel Cousens and those who commented on the bitcoin-dev mailing list for additional comments and suggestions for improving this proposal. ==Appendix A: Data types and their specifications== From cb426bfdae601954c5eea865d328d2af8313bd69 Mon Sep 17 00:00:00 2001 From: Andrew Chow Date: Wed, 11 Jul 2018 11:52:55 -0700 Subject: [PATCH 2/3] bip 174 -> proposed --- README.mediawiki | 4 ++-- bip-0174.mediawiki | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README.mediawiki b/README.mediawiki index a052fb4a..e99c8567 100644 --- a/README.mediawiki +++ b/README.mediawiki @@ -777,13 +777,13 @@ Those proposing changes should consider that ultimately consent may rest with th | Pieter Wuille, Greg Maxwell | Informational | Final -|- +|- style="background-color: #ffffcf" | [[bip-0174.mediawiki|174]] | Applications | Partially Signed Bitcoin Transaction Format | Andrew Chow | Standard -| Draft +| Proposed |- | [[bip-0175.mediawiki|175]] | Applications diff --git a/bip-0174.mediawiki b/bip-0174.mediawiki index 9ae27f64..94e0863c 100644 --- a/bip-0174.mediawiki +++ b/bip-0174.mediawiki @@ -5,7 +5,7 @@ Author: Andrew Chow Comments-Summary: No comments yet. Comments-URI: https://github.com/bitcoin/bips/wiki/Comments:BIP-0174 - Status: Draft + Status: Proposed Type: Standards Track Created: 2017-07-12 License: BSD-2-Clause From 0a1574fe49d66a7db3316184d8948351c47506af Mon Sep 17 00:00:00 2001 From: Andrew Chow Date: Wed, 11 Jul 2018 15:46:56 -0700 Subject: [PATCH 3/3] BIP 174 workflow graphics --- bip-0174.mediawiki | 4 +- bip-0174/coinjoin-workflow.png | Bin 45999 -> 0 bytes bip-0174/coinjoin-workflow.svg | 655 ++++++++++++++++++++++++ bip-0174/coinjoin-workflow.tex | 59 +++ bip-0174/multisig-workflow.png | Bin 75935 -> 0 bytes bip-0174/multisig-workflow.svg | 894 +++++++++++++++++++++++++++++++++ bip-0174/multisig-workflow.tex | 102 ++++ 7 files changed, 1712 insertions(+), 2 deletions(-) delete mode 100644 bip-0174/coinjoin-workflow.png create mode 100644 bip-0174/coinjoin-workflow.svg create mode 100644 bip-0174/coinjoin-workflow.tex delete mode 100644 bip-0174/multisig-workflow.png create mode 100644 bip-0174/multisig-workflow.svg create mode 100644 bip-0174/multisig-workflow.tex diff --git a/bip-0174.mediawiki b/bip-0174.mediawiki index 94e0863c..35971418 100644 --- a/bip-0174.mediawiki +++ b/bip-0174.mediawiki @@ -360,11 +360,11 @@ able to be unserialized by an unserializer for the PSBT format. ===Manual CoinJoin Workflow=== - + ===2-of-3 Multisig Workflow=== - + ==Test Vectors== diff --git a/bip-0174/coinjoin-workflow.png b/bip-0174/coinjoin-workflow.png deleted file mode 100644 index 0909c1dba166ef10ea9fb19976eaddeb67f18a33..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 45999 zcmbrmb9iK3_br-^ZKGp59ox38O432c?AUh4wryJ-+w9o3ZuR?q-?_i%Jm=hhZYoLb zXH~6TbIrAC&AI0oV}~iqOCZ4F!h(Q+AV^7yDuaN4o`8US`3VgPZ29elvb82e;i`(hgavhVsh))BkD*jUBnQDmgIOb^%Bop2fC`9tiC}gCTqc$J4 zQ5k=Mb3wsqmyEN1e1sx`Q+6qZ+nnO^i0)&$J?KnrcK!bS0s|REl_v4%U?P3ep;Z@l zC}pugxpaMH<+(_bOc^8SeW%rzISbB>!ALgd0Ig7&`sV726Up~!kkR}2dNlv^%d*b zYwy1XRTv)rVgz-jq@-+VZMC;$PJ)S(RNZ@wI|LnaW7uvDto6@S2wbO+WFEo>L>?0& z&f@_79`6cf{?o!d5uqFS&yz0$zeF5os((5s(3*jVX~F`mc;?O7kY(g0 z$fE$O&alMjV}|OZC|MiD##{Y+Y!rqH3Xafh&F_OU!3VSkS4@9RshCE?a?AK|XIy-z z4XiIGpR`#H9^OI<@e(H_98jCKb^+VX- zz7Ymd+?_k+;e0s!A$vNF&-egEn$wB{PSnB2gf8dV+*`IpMu)3Gh!GKn^2&y zve+BS?}3Q6(XC5a`seCo(WoMY3n9~!e@Avic0Nv8$!FXK|5+Xe6hw{lZMaEJ)cykOr}b;b-+=thZO{eNYJF z!FAg`!C?7p3ws8>I^%Nq%^l|62$wgh<(6%tm#d%kH<*3Ypbu;xo%kRhvwwl|A^Z}u zXIj1__#Vt2%Yhd{`~6bz*e3gfyHh8>wwFGE&;eTFLQaI>J4%IKTF)B!@uM^xJ_n|t z@(_alMB4Fr2=3qMu05k#hMPMHS+4t_qvLTB88h3ssyufF|3HH^6(1{hJsm54UFPZn zvs_N=S2T-uaBef23@b^{G2e@+^^yKQ-$)B7Qc7Gw!zTQ>pL`X~Vxf_A%IimLim=mZ zNO;g(8&H~xq~1+Z*;E+G8+ok9r&!v;T!4y0cYcz$c82Cw3Yil<;9%?6@cc@?S#j+r z`^W#fSDOA&B{?TM2t;}{hn5EGmPnK(iu}lv^ImWr~3=Ik|hY4 zgl-0Efx6EOq~A|GaNV}>%>FX77YiklL}4PP;IKH~DfPbtwa>{iQ04gS4K~Dcy4Zmc zv9NZ!Jn+4e^MhV|aA5K3$&I7m?$$@>HVv`A?%sG>IHxFT{KSl~Ee9Fco=;IfYB>60 zDZdh7Wk$fmNLD&nrYVZ9Ue95sd+Hdn*}D`V!1Oi25rAaS0zw6ro7rT=gf zKiS&{D9oMNY?$BpQ7Lz7OPtG*s{*vCsQIgzqN9;&NlWK6+X|lQ)U+y9KXj#m4Ts87{53xD3jkCaV)ktQNh-YAAZfG^R!^tuacFlhcW ztLeZ}A}Wyi%gX6m1(pj<7=`)7>BS(Tso<2<`izKFYQn;4_m@99ECe;WL%7$^hzA7= zaq@w}lC{NT>QmLu9Kbi8_+PD|;K;E9>scoa=Mre2oYId1&9wHJX~V=I{({1VxKV{7 zQ;EkMV)kJ}+)~Q-YThs~FuAOUQFti1Ox>_H42Bg~G~te4rpP0Yr#zMIlBv-c4Eqlx z?2cD)7$iHwr60EPbTT!TYp=-H2Fbq{JQm0?0xX)28xBhKN>=8y<-_}1@2|Joh z9i_~E&wL(^pZ#a|TSs{1MB89A{dAotc+%rtZw;4~J<}e}p8<9|tE1q$q2mqq_|7IW z6>tSnwN!A_FyJrx5P8Oo%?uoCW;fgzkHuYP4Oz#Kjl^=jL`#bYIfah~7Ddd1@rCb! zox@%4Z25Ke6159%Bs~`6&TOGf3%b)6%Et;(pRvj#)p~-Yt%TcR%fDYFFE!XRquJ%% z)0+EhO5SWugu1X&AIgr_FCmA`{?$JZP8EG3#o=-KmK9@rF9o*qZ@RB!>5E-og7gm&ItMUKF#x z&Vb*_6Nn|YM$~>xp=ffk<3jG^A0a+)JY^IY0LN;awlhD7|553zRJ`z@u>bbwv5jDkC9Z z6elQfc|3b_-bG-b5Z8FSFBrQ;(T}59-spAK{;ALa3R@Mv|Lvue)O@h;tdX4jN*+(O z_!R}rUI`_XojOFhwCY4gG4BI9^7<8F*d_2!7RxU+NrD}1t-zyp*DG0wl(44)Q(z2V zUdk1;@ycEDsI~FI=Y8uA(Ky#GQIpwSXd!fGRoWRD+6W!}^8r`uD5v@@bin76Z)Rk~ z;me$kd(LawD{{-cIKm1Xue%itl!OE)MJImv7*TDLU!&i}>G+YBWG&`eUP??T2D%8$ zX#x^-ws4d2p*2RR@@2)rXQP(uS-{+~%Qkl&H8XOPgJm!wW>iSbjLJH+$KzlnU0VZr z`}|{aj@UDec{3+EjKSLt`NgIeln{S0`}@Gg0p+&Fj^zfM^r`V=C$jOy`9(Jc%WHtm^q51*>!5*ZfR2RWS zoHUTIe$28_ekoSN_Ismjylx`el{y4nUp`OgVcwJ9B4XQPuBmvjJ+R)Q0WgSHCHMOr zXxfeB#ZVeSn<;N15bG(ku=K$UeMKVQ?U;{1<!zDcNUSJy!s}yaOxfMhO1I({Pj`?4^JCIZAnFy9NriO+>s#4sJ z@IOw}G5bK*hRGnVogVxlAx(}tGe}gAKlKS3(>!J2M*#Y6C$fwdbzNi>0I2=sn&ZASak{)0V zsmQXWsKX|$m2R-F?MMp@09n*hoW$y_WN##I1tky2`1;fY*$oP%SYfd#7sLX~Bve$q zmD!vCnAJ+1cR&A6e9;L#>0hO)qQn2 z!=EEd`7DX7iSd$Teg1&xrk#`=pf|EH4&PGcRWN~wPPv6nuQxx2kMgJ~NN^L!HgdeOAA z=|5{0XMj>no|oWA$G^hi{awHUzU(^_q(w}OF2DY4y28^$Dzmra0Wd4if&<1TrQn&n zG*p(W6p5WXIuI8tV=f5`=Gfb3mw34c&2!=27USU?DPPA;&LlYE`rk|Q7 zRo6#+Wu?{f5xXz)dxS~@t}2q1X6s46m00n4(3nvX*BUX`RWBtL5k`-5Qpv*3m&zX@q zQ=NT5dr%>y1-nV{iBWE2^+WVF$bdhY%;mW$ZWxzIbJz^av{*M4dw8K;I2;^qD2N+! zC(h-rxBc$j%enCB*y7bGGd1#0ZuGU2KV&Y~w_HI-Rr2ve8D&(pJnH7R6ifs4aEG-yZi6HaFhkvXGLDd-nFMBZx7n?X73fb$>MBF6oQz-bb01;ISiQ zLfMYqtcZdLLJktwZyEePrH>$d;2)~;HYIX?hbT7S9o`|N6%y05vd+$1YL$*5yIbqNV>sP_+)kwRwjv#d*y-EPpAH&S^ z35Z7qq2d5wR()2Q+wQD;RcuKcJ#yc4e$a<(&Y+Phx;5z-2A3Q zoB1)vqAS*6B`|(+0j~1Jm&JOzF%^Sd7qORAO{ay7p0xUdugJMFzD4#K5t}E6eNk>T zu-~>luh=393dH0fi75%1C^ofsbQBa4Bw^)(G3q`|t9M-y+;15gb5WfM>&tXqWCYFd z+Ej_!KbOi7qC|0mbRhGV*45mWIyH>WM#5s6OjWeNq$9Hqw>Jh`o~^w92tZY}p>Z(U zl(=IAt&uForV%BIi28lrp5wU#(>iIUGuCL-JGorr@zxuRL{nQ!@QNBSTXGFF%HScp z$;ebo11o9|2{a`oO%Rzd#7$ajXc4&XAaH$D3Rz_L9#K9xUt3k`whUTHtDC0&y-bIV ztTE9_K%u?fo&-BrhNZwbOLr)Rf1z6q-^HrlK1uXpZVM(mm+(~$f;k4T^7nz8QIrNy zjd;s1n65FK;d9t!T}K(*ct3U}RV<>%oqX`hR{d6VsVv1R%U~8{Yi<+4RcO8fx6#W2oEd&bIH& zht475YAlIiPa))DLp0zS8FXN-^aI}52p$a}1c^sZg&}Q%F?1;Ab4;QzR4zCFFX8l>xk@5P%Asw`U~WA& zz}^f(cF#8}K&SugK^Z>N`wQW$C?MPBJz6M$!uYr;{Yi9%ahcM-6oJEnj6r{%${d=@ z=FJu2I?1L)i}{piuW_ZRC7zT9ChN~o6bH4RX&**LXM%&CTDqwdy-A5PQ)-lPY^zLA zXbw>UuR*Es(}Lo_Z<_w!^6-L?A~?hk0NGK_(yzpK>f_0Scx*#F)h{wSTGrim5GSSa z!-s0KFV&K9w46C(T{qYHTOkLJnvQ4S@)?}bfDjkMg+O)W?37@6{%#V<$@gD}hc14Y zC)ZwI!vOr>1YJth0(?xDVvy_W)PVfbZX^ zsn>j*1An9Cc=xQ-EE!~J!(^FHBElOaa`fnsBdi)6X$`SIwIJ(@VeDa~6*jt;b8TRP zBC-$kP@}#$+lb6@wG@1Y6#DY3hI*FC^s7uUr^(`bVP9tAhxxQQe6;82d*`U->xwrX zRf^**WES5mr4Qy{;~0m7F2wC=)-LPoHv#g!&tn|oKErQjNWcn)1DNJYd;Us| zPmR4QB`5iY4nxCv0Qr~XX%Arq)lZc`md38ZWna^)C{{7Mn4jhg(t&_Ooq}(~S~>f9 zKDE70=w|R&0}aWrDa(t3r_3HqkB8c^7IU)JOWtwe-BlA#3d2tY23X=yHc&2h<~G zQn>r@97zDgb!CC>=id!K$GfN~!EYXDIZ;OMv*5c+eqK2X#7JD5+5O-n&`EmflLi4P zoB;@dFx+K^sUw7t4t5B}h}F#4JFUMPAt zcM9D`HoV6B#1#L1H*uGQ@@9^8ebRTmc;hK!TJN6BHw_zlq~jJd{G(%?`lYrb@?@et zJ)X&X)gD%o(W0{n=CzwjHBpQhtTO)EimY0LufUfg*kt`gA$)%Pw%S|f(}{&rD*(bt zVGsf;cEcZxi_4`bBu+U|9`A!Eu@evyk+J9An}0{UTy{KxOBgT3XK^i(_;6@*)1t5{ zlkQ_FA3Yc~($j*jcFGwb-!a}YYM09>dn0y@LD2l`;S$ct`zfK)m`E!+m;E(i5c@{A zXK+rF|9Aap_3Cg1=_x{9KTJ@uul8g&LgIX&E2+vlmn({GybZ{U+Xs3TMsv{0em%5Q zTSi`+E9PMyO;35Lo^+O~ko}z$rG?kcQc)`9nZhgmsSZ6Xj`^=hgWG(^pH3HZ_~F_z2O^!3896D^yshRw{3DJ^Hs0(Q zA8Vef<=H4>f_-DHY69D`UST!z8=zt&g8v$6l8aTsT8h}xX;R?1?06x~cBDX*aFsCG zO>KWU=Vp(^fyJ3oEyQd?88t2~@554V$P{X>R>7iLd+UFdd8ii>DNugn(&s{DGcFCx zbzN3Sp72N66x=e)zP~A0nwkh^MSL~a-BFrO467oeK2YG{r>NGD9kSL?85L^*=YA8R zj$cd>&mDE*KkwX<;tL=9dv!5eEWp;eww_8y&prJTS+!>|<9%Q5Jin|L2x) zXy%&Oh0GaOCK;XjG>%jr~Nq9FM6l23++P7fn+qAY|4;ggu&|D?G_nW1ejZ%9kisu~ZyzJndL$ zb7<4YjH@axIqUAoCLKw8{DRIApW>8*U^~ZywR^n3VdZqb1NHKzv#*z?G38tFf}aCU zqRgi)90ea)vQUOaJvI_x;a{FYCZ#dfs3qRKs~_@{VdA>#)}^Z@Pv7oVr0GR6f_dI7 zyAD?*3+^eL`&GKCcz?atjZ_`J<3T9(@7pLL&0!BC0m z<1r@ly{J`f0lAEyeIE@Cj3zm9EZztQ^fSZN;8ox@L)I7|qPru}`N+-ZLAK$Jy?%^U zOUDUU1_IHUeS$z7f2Kc^~J_R~rH8%M|)IU_5m3K3;l@?QF8rS*E!4nl*#(rkE>| zOUFh>R}BdTH>4Ag>a5|tLGvHx3CLEQbs3tBN?c|anhTGy`{>3}6wmBW9cJ6ss>VP0 znb4nDpB$Id;`a@UKUcp#c-mWgoY&|R%K*koZ$vQN--r;6GSNuqW) z1%>qUre7Z!7hm_C zrT2*ZnlsgpUn~3;Y{3R`gArIUB|6O)gE#wQ0$=$(pW^c+V%Sw^5{;RL!p(9JYrl2i z>g>L>5_NF<;4aZ}1WGW&;N#8vZU50)cXRuCNK&4w1vuqRM|aGR6%r?7bI;Xigj%kp z2e*y38D@^Kohc7fn&i#`4r-!SWtrFgZp7wzwot&`-94+ezTP7NzoC5Lq)(|w_5^xq zltgr^GvGUo-lU$euI!Jp-IzbdC{Tcu6wjYd=s`gH`Md9acuzN;b7M69z5~m50X#K^ zg@)GXwK*NfOr&!NC<6};JKgWKn_VwAZP8(aHaB`bO!H_9Fgt5FC|mh&+b4rxV3OF` zeJl0}kNMYfVKbv~l}VjevOtKwc(|vDJheWEx-;UWReOH9AIm&4r4?KGx^~Sn;eNa! z1YbfVR%**pv`4Mc*_()fHr-hYH;VZ!czhZkSpEsP4Bh7>D82mY;FxPB*0hwavBnT8 zNT57_V*@QTEmgtqf>QJqK~V}^(u!R)s`&f$W%MuT^6j9aeU?pKGcni(*doW=SfOB1 z#H&j^LIu~Vp>?0=JkjK@CCUB%Ai8!$kI|XyoZhhIlnPl1GKi}(i8S}Z*<0oUGXJYM z6{wi(s1X&qP3x9xKfc**k7ggNw*BLAf3PP{F@>!1jrJ(+^;X1XHEW}f-C(>~J91~~ z;{J4L@pP&Ba-~YIoiEKXOqU_q;c{;b1Ad;c9#0|~U&@m}H`r!>fXSMf04mZ-g1rV zaLVo(OML>`5f1I}pP@M_l=e4!QW?BI@u8Zl2bQBZP_9ZyUJ&p73I&0#0?Fs`F&gkE zZMnb0xyaNHuN|xEEz@&l<&dG|qy-I<>S_^8R#^KT@w~GcbkE()*B)fuwTwqU6kF)_ z`e0qV*IHomJ6imOw@dDtZ~uZ^zXhxg zAYAdNLB2>kY5Ep!`1b5{8~V(?>Yue9V?PXgG-S1df0zb=%(ryc2|(J)3AT3!*ct7r z!e1;RT6=bhb=&*=F}Y&!wEc++aF^|UcKhl_LRbPs~zE-Me&)H{P8wafAIk2;LpXa1BI(bCoB5a5*vqik=86j=%a3Q}{s2imq}Swon<`zLfY7uf3(IR^fSN*V+dzGCGD z39nU&lAU0zrd>|E37_^#N`ITMimb;PnuyA%TOy=Dxa>ZUfZcjRgZN;oU!CIShxq)~049#VQu4R}Mr} zi}6?HF27E_IKMR|<3UKGdcBiPyE>p`f;xK;yDqZR=X2Bebg|NV%ja zIw_5mTs;cj)6_KU*vzI*{Ec^f0METg1=(d+Z%49DwLuGV2;ZW4#~L8x zS#Fq$T<--7{|v=So76OvN7&RWY!_-bUn`4!M8NPfP#Mt$SR9{RWjbI_)pLr~uQw%~ zPPnI@-OEMWG=TM za+)-poEoT$RRO#Lo?fNe5g4=&6vd8VvJ?>tSu&g5KDJp)j#5|PSn(;31$^18bLr9} zZJr`0%^wtE<)M3VJf*e}Fo|dNF~%&iVKjxa(axm{3V283_e^aaj~X{km@2UKhBixJ<9)=-dfs>2F`9 zB(cWF3q>T}k!1D={RH5)%D|W2HYpf$`1{8=XMho zlgX;_X-Xm#C|jal1+t7^z1h<`v!ngm2>nJzNpe4iuxDi<%NAmt_h}=L^O{?1F%he6 zVzU{n&NpF5Uk3e>pNJzx;4!yVY^(UR!NlGE099sbE=Is1PCg{N8ku~8^1j)ZQIPm% zvA<&H?soyAHWd74C;sXDp+#dBJFdwcQMhx6N&X4~wk9zQUj$A<_0gTuq-Mv)N2 zb~kjKxzAQ2jjrR-Ab7@Xey@1)DRPoHNnl#i`T6$t*5q=&>a6l{4nw@zNNDEl>R$>X zn96>%Iu47+5V9QyER@X>KwxYpUJc*0ZlJ+os=q^!u0iJPHX`$?HU^EgXKFT_@au|) z7#_PaAcNV}Aoax44o_R|WVg(EP*@6qd{GT;xEh>+=_*k)jJbwW?AYKPzjYRCrk|QI z+)=-qed5-?CqZSLXK_oQjk`WaW6@bo1bqu73+r07ovy5~BFq`rEp{&aa-|ocspVz)D0&Jyb<>La!+yPSpPCd z!~Gu7#>8iBwL&A^v~G!`)jpwKHdOJr*zu|0DRj6vInQyBJPDFTRX!$ z&6_TPpg1O50O;`l4rXrX@~ z3Py%Q7$DJ?sONFb6d=j>^5mTn#^_fxQRd~n+`zQJLsfRq!n*&om|Pfzz@&}oI}GI` z_?s1~lE#VKaw#Qj^s}S?K)xp{i+tKh#EGKS8)2Kz8AbY&8J`mOGl2G#CpYk*xY8Ah zxyFp=tg05bSEr5g02%`I*YjsRG~CB(n99=E9p?`01Jg{!ZfnNKw`UL5y5G-i_{yEtOhMG6sj!t6Ie!u!@@)lMu z?T>HBROQ-9Cae!$5*fL&@UqQ6ph#SJ+k8l2yXp3>N-_< z=}wv-syM}BD(WkZocf*d6|2==mwIx?N3FxY<@Kj-raI|+7-#XCl0fflQKF->x6Q*V zDgI5T?YCSr4uhO60c<{ z>~A!bqkgeuSDTe>@%D)%NLAS9IXiHpvHq9=spHeB{dhB3mXbg7UOH z(tq&RzwDn9SrXX*K$$hv_<{&l8h|pHczlZ_Y=W$OxD)wVOZ$Ro6e0S>u&M z%6hq}*3BJxy~|F#>O~UlPJYlEsBeeQ)yiwK^2S zeiWf!P942|dm*mS<44_0cLhv-5Ih+~WtbGI{CPQ9S$>+vP(h>*%+6=dN=6iPOrC{! zObl#+ZJR*!b**alyL#wRWWC;iEZ6^4W3KC^N=G4nHfMO2A^?-G4MqBL#wF{-2yR7)p>6-*z=f^ag`Aj}SVwLVezM)^xUN;TRGBe+AiY$? zpaTBr!4y{|my0GDtq|uGD`;<>Hs}0^RiGGMXQrA<+h^}yHYL@SS^P15QrZi2~6fCvWvej<(BBd_!K>vl(r!8~|h<<#dn3Ak;wL7$d z_RrVOb77`;AFJYPn@^9Nsh2PmD}*uEe+3!hKr4#W@sY=p$yl8Ui-E71bnJZ3|6D|vvk8{)7 z3#I+Drv)RoE_)9j!*hOJ^>Vu$!V^Gu>~Oea>Bj(9g-e($~C z)`|F7bLsv~%?G|vZkPL)MByJ3vbfk>Q!WSFZ-L%CwBmYnjNx{HPO4&V(|(Uji6J3s=DIp_a8!Xfp?z1-v>+B^Jw znB=&!-Mc(ab2f~v(5F~zSWA4PF$x~YR;)cYN?FuJT+^vBjyv#P5|NY#cm{{Lu;TJUs;` zXo>l13uinWDa(m@2INu8t%e^Oi?7wYEfxzINZ)OPzt9C@!y_J=>1IW=dwLG z`Vk2Qb<&DkVg-4~sNX@Q<#dQT1Uu}R*NpTFHoUq2&DTb;5-0LP&!?xac!G&CN25$t z@+9;dr`#h|#jGGOV&Io=mO-}aC(`ZP z3qa0<8;Ku!>`zE%Ol`RVj-;MX?=jYt{nM~C_c|kPfC@l6cPFnpT#-Gk#n^ggtxL(bf z!}HwAnl1>Udl8P<2H?`r*tobuuTM{BI_)m!u8am6L8PWVkVF4CSs2BSsga0%N!Q~9rJiGT+V3Z#J+*IH^ysWa}v?oUH2iC zWXPJP>ih$Pgc?CfM!8y@q@U+S5Tf$<2kE%7=>MC6sD1f&=FC2CJ=X6o&>A%>*8g52 ztu@<5kQ;D)S_U|QgvU~sm>R*V%*`{_-vro6hR|uXy6WzG?<96um48gm#8J!Z)l2Rn?EzRm@u!R2gqz~uzS{-K0If=`m?)vMY(9;- zmig$doi28Ba6#-y2w?&e1w$22)v-y2#SmdjrhU7R!$ixPtk*6$n3yEDE#Q!OK70|1 zC%4B_=d0&lhx5$ko51XZ@vW=AAMl^M?6dlovQh^E zoN6qe)=*WXX{Z5H1A+IuJAgY@=2Rb>?%KA$jKGM3KQPgDvhG~y$wJ1~U{(QpqOS^Q zXy-oOSaQ-0*;__0@8sr6U9hY4i0^pJ zOeI{q6sqeMKSk^jKg)>%P6uce55}f_HUMe6f*TL*E7%5)5TKr&)87}h&viQPPBB|>FlXKly?RpZ;US@2;O->@2`lr{TnHlB=p}W9bWbilBIs#9Gvw++P>u;Zj5<9D(SgcoRfhstv z>S*dmQNIOLd!nc-r;U$DesDWMVg)d44_v6FtQSIjxX#0OeV)QV#ksr|EeMqWo#(a= zKE%WZXlV!*yW4xCqD5GK?6 zxpTF8ZJt(xm#_V5XeK$!!5|gXH`F+J=^q&Qoi;7kDf?Y=de?jYlfB55tvY8&Rp5p0 zP|LvN;%R@IYk4XyoZRO#@@vdifUI=?OgI zHgKlLtZ=c7$K1Iil&4`2xVAOuFG@e1v>Z_q(;0jGyIl-lavj3{{)#)=`>Qi+pY&QU;K;%AO62%(^82Tv_@BH&Y{>$ zn7_1_ddwZ6+z?U%p833miaTjas2>qqQbMhOP;=i}q`$czc^V^s5SrR|z{Lp$cI^eT z{_q!;2o}4N4bWeYG5yn+>{5WT!7hv2YmJ2af4n`o^Q{EQ`}7shldn1VGulIQv+gK? z{`(3q&#f2#$YImL$y>&wqmvOXQc||DozuNQs8hOcKzEF<$jvU%f>n;U2;N9~6cC|u z&2g%Rt)2eMF2EARL$f=-L7=*8BZL#dn`=+gPz01wdJP4^V83#QXV}G|0>wF0365b5 zK~J;juqym~f@od#x$)vGEYvCiZQ}w$A;Yb)6(^#wO6CSNve$RWa;M5MG}?G^qCW&N z_fHjXBhxMea&2V9>O((msf{-^ zrKzynpsbN9p~UJ-1N^F_D7sHb)5mPqy7hz) zfEVVEvo#FIeqH9{Eo9wySBewJsG*qjY!P}?5i*bl+R;b!^6tm}2CHc7?p=~T8@=AH zQXA;>lMtbFeSZgKRfYeP?t+e@#N&DhXt}Mup{C4Jb(mPY?=EyZUN|XS2TEfH+-fve zW`Mu7HoB;+>sDiHuUtBbqj9L1w5|>-1Xg7*Bv?-5us0pKa3T}-_-=(W z-TGNSA*x%(1jtrO`8wByY*5De{+j_jOS#W##TedF6&94!crRNzkh`(pYi?fX`vJsQ z#SHN_{7Lw^;=&|6C`jVDk9akP74xe(6Z%Kx9AjDW!mk)m=p5mKAjW9wwPA=!9TTBUnlM4{}5WYw#^6nKl#snu+~P zb_kU2b=PxKW;3a=k#e6H3%znO29++bA;gj>=U?nQS8G*A7HRkP$xTzD$+z89cm_&; zNmnUZ!zZg4f9480JkWMbLeef4sgX$1*~H5s#SH?5Q?clN^$I_rN|-r^6zgClFsk4d z{x|`wVsP;f4j&4$lc0>wm)*BMrLqr#JC=i_k$_7@Fd~&TS0t{h3Z5r7nyXq?p7cBD$-BRnAS~$V2U|a@2c%-_skok}`O)~Hs zs1X5d13f{o9j(r=Ysu05jPKk%ImXxrOG^ypsXgQPMNgqfgeuLF7-&(NDZT5g9!rjm z8zJ!R)Edaf{6oSBM6D3$cmbN&{R5ggYft8oldaR2-1p=PATJbo z5OYF}JPd{vtevc#ACG>WOv$IB-mASv~ekWrU`awUCVws z+^`6&?1BaqhxMmR*gy0eiuHL^I)Ee{2oy*0e@SS&|AT~9G519FsHOg%g~h2jHK<_I znu>0qyYErK1!c$`@OdF~oD?*uVfHIKS02I)9kvmZjB-1EXFC!9cpmTCs z!LvgO^!?JItogA`r^~tsoQW1o>lPUsTJUP&NviwR}o}<3@|Zw zv3s&;yK0)j%+7R_J9z}EEg~vIRCY03Gh9y#6o!QNSm{G32W?=y>lF-IuC!H1O_ z_A_#?&d~PoR(6l`HnJO@sqMH!Igzovi0)j76|=*I(YiZs*wrrF)mXTqrq>(+{dn%i zQ^9e)2iD^E)l2-6)5dkVa7LzDiOeCn=>jP<)_a?PNf9igIdn$oi?4lg9-h`2K$V6D zNh|VJT~$q69VqErTCUJL#Z%E1{8^Mm=<%o3{OrLe2$O+;x5MPcMv|`lR4{EBW(dRZF2IjL&iB(Hko|AY=Q?^0i@UeFguwJE0 z_BoJt*nljswgF@Ru)*H6-HkGD^D}Lf#Bz?|nD!_ZMnnq9>L^U})+2)-N2b2kV7xo# zmywtN#=O}SzGaS5Op}$b4Hb{Xmtl%kk0wuI69LujU}cRuf!`5|0b|Nr1L32qkqT-2 zIu>j)kKR+%3=Z*d4)w7hUIkGECS;{tq;f`3Y@J%WA}pnp^xi4)X#!*SlvuDS4aw}E z^BMRNcyWIA)MbnIkeQOzH6XkG61-SULl80HBf5E!UUG~ABW#<}1~a&X0G1mqk?Lpq znj>i)vQp$JN>4F9jjrU8b74@BoM7qFK;_av7Ghi!p;IRJO({)Re9-Q_m^|%jgP>w7 zO2fn&qz_)qzodbGbE?G*nEv;64SSOnCRqXF zNcN9PMcE#`fjh$QUcWOX`I6yaK*G1fN@&tct`if%3wb4s&hu=QD7fTfW{uxx2Xa2W zjxRLX%kgL;KvbOv`pVmt95*TOy|-{S=zlgD14-NSn`yMhSHYETpWRYVje2sTL*a%N z22kgiXT9rHvCRmYg9Eq+#yiC2|bAIPDZkfe5U*#qGQ1)@LZ>G5^g z&@wIc`!h&+n3uK6HeND81Ow~7-WxqW2lJxf|E1{=gEteFg2?d019wD>UZUb3w6d$S zu)kVpyBL%i>0;gn{J6(-AAsWlCHFMBBuwhs=YJ-NETyr&$5i9k+hG=r z7)-U5ev5zy!;7g@EL6o!t)R`#a#Ria*q)Xa1RB-bp~!a?ru8-6YYS&T_EQbPT=ag^ z`M-EO*m>D!2qg@roy|8i9n9v#J5^xl#s(^}v7ChyE^0uRxGN;z0jXeb2N!-@y4Fho z(9g{4t0kA~ibY22FoFC(zdm*mKFN8N|LGP)+V(et0s6=u2=M&J_W!87|10|jp8MP1 zcl^JyZ@N#V>bVnEf1W&dnO3CZ%tD^!lFljXe zHuq_ML6as!g>VG}aH*hAl4ikS@7{*K`ZB+BCkIAHM>q5F@-o=DG9~eS{rVLPpMby? z>*0O-zk+pHpe+6iicq0)n9XL#F2;l98+ z2oJE7;35Dr0>p=Y`~X5Tm%v*RQ2m8(o|?74pBAzHj;ofWz-p-~-QniZ z+uK{G73&`CKZ%ig;Ch$W+RX3Y$LcO0Nwyv{jGkiuES?Hzdnc!k^NWkG@tNJ$GkJqX zh_nAP`>_E(3v`-oK1~iUpPI1V`* zvla@8fSWP5Zwu`7pLMCpKYjmz)paiRc~!~y?@*?JJgUmE1nOH^AS1C(TOGJQ3_9GD zMrUVl2p%&&wrT&J9kJNP#`{y?eH#d8%vO@R2#-`1SjEVxRHCeX{)SGHInA@iWIQ=i{#!mjR z&gc5S)};WMT}cdjFVBC=SB38cTMv0#K$hmepF)u+y-&dHw4Av4*DwD)$(PZie@@c< zzfO{&U5UB6x+>1=@lYXqGew3PMnXeVMrNS2Wbj|#mq2+6=f3;}bBdn7b)5(OXJ|!G zvzs4%&7DUAUHAX&xo5OWtq%L`j~5%|1I?Z2i2vz-MmqyU!s$V_9{T=sn}<1CKKHw2 zkSlA(prHSUxVH?dD_XNf2~G&^9xS-Ky9W&fw*bK*xVt+94esvl1h?Ss4jXs3yU00x zZr^^V`&Hd~Rj+Cnzt)<}HGPh6jPWJ4crzssP{&K#U+&5pH)+xDtm=JsQz}wEIXZIx zLWWx8?5PLU`8FbeveO}9VCJ@0$4|L@Pk}3j(V^`8)YRp206f-#tu*Ujq-L3$5Lf*;n9gE0yK-89BQ(4J~rK&oo07ST}8CY4TXL@_d!}nnN)Wq!| z*K&Y>^e^G8=pPJ>eS0WlNZ~ujO+B~3Qe{ia$cT)Hh`5aMcV)tVd3oU#VC<_+C+z_f zxaw?2)a{1Qg6bU{gtM};dV5Hi4E6l!H};fiB=V&Q(UG}Q9ML+kxAv(`khFR{)|0~Q zADP>1bU{VE%{N>5w*mY46vDw1EJ-_yVzdeD$ zrh5pX^)@_dmN}#TWt;JTu>|}d%W=ET72(oz88Iqu&JIzGLcw#}6DM$OSFr1oEo6Pw zj<%dlbj;1;40=_G?sVA1pu8WT)-ZUS2^Gq$Ach1Nnv{XfQiHBhiaa~w$9NQcw|F_sZTMk(+CpJ`R1qsCXwYTmq7A2AiBt;v|Xb9{W6tOWt0s0>85b15ia#- z0rcstiNz22ogjSRuY2;=oN)H+uFD*jiIE)e((v49Z1pT(364LU z7qmtxri)pjPgrP6P1$i(#GftAvJZV@Ihj{60%tyL6r*}?q6fya_|9ds%(E9mX$@&~ z_RPOW9Ffp>@|S)*&Od08q`hUANa@hs1hfbPWc1iXrJs{~bT{Vhb(LxKA&auu@HL)% z+vM41v&}OMYw7OcK2Vv%o?-9&xXHz!1W5!JcYy%~Y~6kR)eTTbvPVSfDs# zc2Te`5~yC5``#}R_!zf~{fHiEX~3N+&ION+i=CaMO=l0lf=JuVNASb&s72`DfFL;> z5_c=D*V%&~hEVSjAl6aqfA}S3s(i|dMxm>Cv+HlaOWyVit-SEUTJG-Dr1{e4>mKzO zTr*&wU;`mISP>nKOig)^cvzSwW@B4sCL*35w(mnd0{)*|C5j8|T~~-|>F(%?E=$GU zzb8BuMuoRdc6q{G@j#J}Q(YRl^%%BgrL=A0h(BnH;wOKV^h^+6#ETyG*Hcp1KtV+n zHjT95AbAjQyCuNvJ@0$>1)}sVXta7o(+5C;Psa z%#5}tm_SpsN>4%%9bHIN@d#nRf2FNM0DXUXLiy~OcZ@$O)rqI2hNtHA=+CHc;wD3H z5y$r2UQBE*rYu*YoG1=DcL~4g!iy-D5mcPt5#WuX)SjP{Q!1s@Mnkvk71JdwKdDQK z7p+_YMb|+^kuA#2wh&qSA=UJ1x5oZZjx6oj9C9Wxc{0&!nOLmdVU+#Al#G1uoCox6 zn;;ZUKqRG~{S$=W=+z#C7{Ada{qw9)M$hcC>B@eJJ9G^^VS&#Ba zIh8|lbp&{Y*f>VV!nPH4F15&7{+CqVK@K`DltFOQpYchhN193vTyCJFos=uiV}46e zuKc%_tlING4xyounKfQsGS_vog>yF))`u0714se5`{=Ho0~c!rNBv*#eGxqjq_U}x z2i$ZSdzV{eRUMy2MiSk=dq8%uO*m zCzD~G7M(2b@sad;=)hQ+f-GLR^#Ts+;C=IJ$4#!LCFC(5YdS4CeJv=zbzSeq&muNl zF0w>U17QuLzWS>3RyJOlo41wu7r=RvDbflyvR@dEtUWSTIBSWOAZ$uXmNc7ej4d*Q zIvAozDGVz|beKP5EP0pW9*BvAFS#0&5xu#9c~DM~Eq>Wmla@h+&N%zC$Du$;fuF)s zd>nv~RKoI8hi5gS`7+0UD>P^1{;83zo>!Sxk_qB|zNa+DLq(kY!GeIg(?|&~wP^IE zUhrdDq=#mFPsFZbqt=N1rE&~YZEF)Ij&Xw2f_kz=p488;B{eJ4l6ii*Dbe$$gxZN{ zRADg`_xbU3d^VRD=&^Kd1rz${m?_cmL>DF+i=V?j2NLAlQF~CET@85l_N)xTw{5~VoPmKz;q6X8E{HB2Wvso;KY0Q(m=Uyc~jiwl(V7kB{*s zvBQS-ide~i_lLy>EPT<&Q+ClcL3H)5g+W$xyerL|FLr6XIq&K4kMyrzWWYfO`@+%5 zzRJ|D%}`UK5#MDMwMh@HNzp`LCzYbby<4$evZ?uM`XXxbD15TEsh+S9gk}1<3r)Ww zsEn*IGKdD&PAe-E?F1dzE2j|^+p>|8V9znru21%mEF~!rA8>Q{%YEbQ`nFAd8xW7E zzrr-{LIo=%Bm~>+{;mM=DKbX99dx{maA-Xc>fFkzzi|L9Gg4|dKU>6~yWfD~qT1;o z9CF~leEn_??*3RN04Jxs@f@ihDkW!4l`f0Uu`|=BK6r7%PtPGkD--gGqX~kyfqKGe zg-NTqk*J2iT2JSeUk#%OEZTocCvDtqhk$eJTx7nigp+XuGtu)PT*#|;mjJ0k-^cp- zM1KvIC78go?^l1+4+~+sZ4ZAj*cgS#!;*rH!Ywnca5o>-39qc3G`73ZN6-?O=sj3U z`+k^pM4t@9W<(%uY(;wPN z|Gk#hssjh2QUMz%EcgB#anSql)O#!4u;j6$nrQq=sP@}QWagT8WF#n}z)z!&@%}Tg z`78w*z?s$VpsjrjsU@DlL_d3llZ;#It~haxmLxmHiWO>!DRqvd7`wn>C|rV;ktga8 zJ#mG-H$ZLXQkB3stjF$PBU$T%ASWlmX&#>&X-D{modVh^zJfvywVlEA-7L^#d?)%% zaa5ial6)8qV_(W4Prc=*E8-N7vz}ZuPGH%U*zY`KEd(y#4BU{5r*hHzEOGAQQKb09 z=pGKqKXw-H5Q+%xqy2jfm8^BuLg4KGY^*P1N8oXY8zg==IcEA`=k%bLnkDd^j?K)|<= zxf^8g$~uj(8DffY(_SK2oMz;R0InrQR1Y+46LaB@(>_^6a35ITZS%096VK>FVj>j7 z^SuMB8O0tSg7)W(>(?WOXWLe2@80+9BJ|8XH$)wMJB9IIAq69VUM8jfeJr5HPS!tOH?ShN_8S&37zn z_PBq?AZ+WKD0_@q-$i)EARMr1Ccp14IYhPKxdP|om3?2f#CnC06(veWM(yLC{0H|T za2!oND`U*_bM=_EsafYV^DCOXS{;;lnTd}g4fEONuIZ5u3xYrt=p9`OEUn$JIy2NF zceDcaPg|{Zma_vD)KJ&0T*`gSN4d{Tm!iFOT;^kbj+<*sDooQ}2;#M~u1;a+aFelN zt7Htc0+@p;1vv*#3Qd|1(BmQ`sHk>?Qeu;MWFkb+uDm{566E!MB9^kPA?*P{?|*9? zZ;44tNslV>Q<39PMGLE{DqK}BU~5sJqek1NDLn8;B=4aeV=_pyW3C=&S*b=31;a4B zJfi5*dHP#*yhboNtk&bt><>|QXdjm@_wSEASMDgh*W&9C(oA%68e~qKB|THYgL-N> z?MK5X2&_zJ!8PgK+U#w#=w6`L^OR8i@W28M?uNzslecdrQM|IQ#&4yixBe$2$rrmM zvmLvF*HN4!Zg&K0STIq>q9w$&@>E2mG?+%hb87j8>DqDx^G^cjvkh~Q>}?W zK6JJf{ClZ`L}GoWi(E=mMJ1A-P<@3K$tsIe!X8x|N{YG1%JD?fY?F!(o|MW*u>-46 zk(RbL_kt;>c@36bvdps-XiZY!_nc^#S8^OYRxTltz` zs3XDjFa_lfx6h%!e3{%G8Thq)y=E({?2vE^-}K3Q>QoXdo_4%;oXslDs&ds?!zZ(2 z&8A~B;~nj%^fJzvjnGx?k&CaKzS5xO7B9p|n+PW)Drx4okS$^2ZVAaE{i7k)Bs&Sa1&`Vv1PEV;% z+pm51Mt4>ENJR_wLag6-DSRy^uMo~lC9To*K>q`E<@e|s;`(m4^YWFh53#_i-xnGJ zL(w3TJE@-t)eW)V>D|s5`>b4hGu&-}59R=3UmU80j z#h0gJw3dKBu*5uU>1M&D`;SNRu*Mm7n^%y<#PwOHjsa7EFwu@a#tEdZL0r?$`90;D z{Pu|Ue$<~N=Tcyrq|8ZPVOUN+6E{1V^+mZ}lv&vHy9cop%#r6~t&RTFBnnENP7Zn5 zhrz;Y=H~RTlOC}Xmv}E%kCa%<=tgph1t+CQW=G~Rm%ofXiUw-9X|2n}7EccM+q1o? z*9SjcjL(qFD6}J{SY=ON+uGSL>*QKC-gi_M$#`D+w8b2lc67K zdvaCVa6H;h@Q(>B`LUZDc-H zrEU>=l?`@Nl9UwLY(cVB_r6zW#r~j=qO!d1XV=IYkgc@ob`b8qVIjA`#X`aIp4tK3 z;=O^YnMt|Cw;2EMvK5o@>@9Q#)e6Mz=E5su4-{C@T+M}_xV3mf!;u05Tw6)STk)Q8 z?M1X%Uu7bvZs2qk=nO1TWlCZU*2vM-mbr;DT=!#(&=Av~emDrXn*v*sUV7r*K2E%R zg93*Kfvv8W!0A)k5Jl~vNYoYgt5{SVb-tBb^Dkcex&h1k~ew{SAmrjFoz>bNj>_5uC>awNnc0Tb)lT zRhNGxCp^UoA~x5}p8Auq{*y2az>+#Nznz^$2$z+Yk~o!MT8sHD?d95uaL%|%I*+{a>X^LMBOumL@;l( zZ9@E#xBfI-C@Uug3L4aS!N~4K-suBJFfm=n^IfO92g%J*KeP?mo3LHY7QKB9XY-8A zX4VkFC;z%MZZXMai!{us@Vk<7p0y_LGUvJp*5&A4Hd*$o1l2%4= z9B)RLOpXm|bv(g3kP5qMu9*59z~|sfmEiziT!OUJRACkYSOkQCoE*}<4<(G{I&JR( zS6f4#{xl$jP+>b7M=9U5s&|A|9tP+`RU|YudFsR?aBZ{%7{7WR!nSt|0#Ka_7=S(B zbUa-QkI`w=a+(_(W4Y`M#rLJsgvVPy9pC_PUnxG!UVD4H$LsU$+DlAKjAJTkxC*Vi zL|T;+Dn9-ZujOKG03N%=U4mUsFo@03Em`=BNGLEE6hjn}8|aHBa#dasqzx^&a7 z6NDFW_RiYsAQ4$aKE9$y#?pcr{2~9L^8?~Z+&@aBNZAZPO?d$3wp)E!nPr@xpU7P* zmtE_yNA#$J;Q66_;-wuS=2>kK}(nD`^P-Do`O9`)v} zg_yS^hlO^j-(XwA)>@&>S@jmnS!|AeWP+cBXYHZjeEi|S-REkJECmyt#vh$Cb8`)+ zqiH;ke4bB@)N}8Sa^hs@Z;2f6h6f28n3h{_y4TiTk8SMNm4{-}%P(D>n*N5%=~!G@DU+-#K8E;ua7B}9ahEe-i&y35;;0-%W3xQGtXKMpP(X5)j zlmVg7U*nC*IdyvD6B0h1UtS(QtT?Sb>j2s~iC+$~y@-=dh?F)2(FIzVY-zU2Ck*&^ zwL>1BOW3q9li8KSB`~-%jQ;fr?BR5PH)r^BBPosRIVFYDG!$cudnv8<0EBmtFzkeqHu_kS&qj{$F{i%X@0mJU~z6iW)L*`$1 zUq&(t3n`bBme%lI^)xHF9_UQrEUTcQ5o&uE3HV{tCy-^u)K%goDf_QyrheGJKx=6! zVg2lXWGprkaNm1|TC_X@FS;On!RJSoIkoRxG)`Xs6k|i+g%Thl5ktk<3&Z=Jj@cOyJaC)ey7C!_|GS$926H{hYmn1E214t-!3(ldFh$ zV%w4AuqQN>aVw2cOjuD!?xzTzU&+Vj#-`Qr(Ye~}6H~W)I@|=0_0%DFBRM~~Vm43A z%<}R?(q7y@pLUSI=i?v>qjHUAnct^B6kV}$hj)ELtM(*~%Fi3A9Wb2Nm!`O$Eg5xU z_RUw)F4JJ$(W+OC7$#IO(W6|Er(WmVs;*&Okd7rQ`#MD+Hp@=*wCLX>cL{1vmAtor zcbG#{%yHR>JAVoK-*Be*tZUDRszP{nWwA;x`)+XV^Ck1})#&=wG zm-4=ZvFjeOPlKv`Y!rXZ;Ox9yO-lY)~$TDrcFc&**;#+7q&7BImX;2U%*fE4BNhp?DAH=Wm;z2Y1oO=fhwGEAB`WA|ClxGu ztsl?s&GhtoOC3)70+~cd#6ep0FzVNxzdwyt8b20k?G;1Q0)Qsjz=7%1%v8WfHmD-V zfgBR#yjnpBnAlR{AK9)Zo4J|;(2{zTF7IE({KhA%5Y3WRL{#iJ{=ml&)3ISd{vBHW zjs)XXyB?)PM?U8rPZ2p;NHHX=K?d*=YLf7HwFM!#Bgxs#;wS^jEO)_%wea}_kDg_f)i%4n8wQH-}yu<&WVAUT+ z{~J~fWe-w?!n>gL27BLwchfV3!#AM+B#`^gUfAWni?Hf-(EYvO`Oh$S@5yAbm zadp0K(ft{=2$8hXL_r&53P$n|;Hsia*hcjo<%!rw<~-cR51@d2hf+PuHB{Y-<)AMx zSeZFlf@Sug1)b8B8|c;SU(WVaN^7fQ7A$PSMommaJq6DF0N)inGYR&X7exdWOHX!t) z+9p_MNwPS_j8WrBg-H6c=W_evtE4Kc7OWeqDvjy8!XW*DWA3huZ-;F}_bnloIQv4X z7&BY)b+Os9^6JW_6jUA*E$}HT#m+&w$|~$!lT?{C9SS)_j7wl*Kw9EglDFtR-_t=k zOo-@(ClgLB-eBmS^Tp?LPd+7W(~YrnbQ?S>DwM(TfOe~!x=?+K>_nQhuBbHb{w%V& zfaS-sujv?%&P5C#KW19$>FEu_p?xYX`dYS_GsYyh$DO(DASgA=l=wJFcN=#H9pZ8U zGah{)1S2K+nO*}e7rgz9vZF=ZTGLWwX(-CNl(geBb&THg{os5-!YS7iayRV-v zC#4mSOuwEs9mGua!YsF{oc{B$^cS(u3T`a{OXdEiwl)Mhx?~`s81ru1#k)J@Lex(b zn5a{_caCeYT&jQfJ|O!~KH7Yv&DI%!_98MwINSs0>Nie^hnWjD28Pk${{H@#?D%nW z{FP=RIIGn&-3=dnk^I=FjTr~HdIDD;!t_sOd}Q?FF~WFMlG0iDe4=m_vF}@1Vo_?* zURTRQvtG;@v#(nUw72D>(@SY5U1wx9{|5+@W|b7~|G+&x6sLWQ@)%#k427@)y6Tzc z-01&eoMz?EqrXd3rNo-?@<(k3PK8s)q@Y{^d94?HH+R(4@hk9`va+%)0J_iuCY?sA zHozd+o=jIX8~jNwP-nTsz8+gf)QCuVZCBj5|D%ba&6Z)D!-y@|hcf!8x@i+joo8#gIk2B2P0*2w|a<4{mdl#WjW)^)F0t9r7L! zWyxhs_9q&&gce9excij6iPg0WP97ue|o)P=O^Lt_POIi@0FBbz1cMo2_O$U z9M>}#8U8eIMeY(JiM=-L39zXo_L`bL0&B;SmdDdYz|cXWJA%HOnG zng2b6qCIoZbKaH`syqz9PO-vL+nAIgbnDdp;g)W<27hlT7!Seg)A3BBTJ&EZG6>3+ zwDPS?iTq%v#G%Zr@c)S#L(3>`G*w#6NH>k;Mv9T?ntS6qb1!$1#=?ne8jPsR?%gg3 z8QXk(c06PV`N9G=N2=qqT#Rl$OP$pQk1O@k^%s2|KA2HzZwvz%<;w61POFUZOG$^m zWv1GAv%YDKnCW1)?pUA6(>uNPl)$D)QsK?;gKpQzUA+uMHH9VRKKr7cHV0uip?I>u zkx{y&$IqNAahM<>AUIqASA}Me#~Yyr>$P%~RENd+`5sOl9vH9UYlyjbMs{)-Yy|YT zd0$Rg8Wasr!6nYcwVKgkjO(52%XW;PL;;0lsfop5om!PjJXkVO3mC@=Ue?M zuP=|M6#yL(@qK{seL;O%d3ib3(a{kJjUkQ)hxJ9s2i2>SLla?Ec^SSd_CO%S5pRvFDOw|N_J84H=c0mpr_$`Y)H-RD>Xd$MB zQkaab^4G_k@_vJfS<54Tt=Zq7m1i{$aJujTqS?{H#Kc5hcXu~IYg^kM z;E1>PRje2an29NN#f5J(QNL-dE}|-#k5RvptDF|cFCeH38ILGzJxwR+tb>y?92fpJ zJ5UD0Y!>Tpyjtvr#kYoULMG1B1p8NTnu(6{Ea_TNVnK|bq#*aRQ=7I#dq@1lJ&{?= zY)gSp>^HgC(=0~mftPjbf1z^utN^Ibzw()|S!27NcL{BHf6r7W===74zva&kH`jRp zt}FEzzUgu3+lrW0Pd>bjlS}lhCso|ZvS(Cp^PqB`#gd(L)Rn(otI(1|flrkxT?=w- z^?VIxS<&2+b9KzwFIbHq@O;1+y7QOEa`^7y^77O)xCSId=mFY6o(y$R!50TH5Q*qz z4iNdK%2aE$IF_{oXL{O`BPOG^xW-k5<@}wII@>gJE~*R*5+rTl%!?~#%Qj}Zkha2_ z*GBhCvWKi}Q&8KOAX{V#UsA~nQ+s5=|)4o@=4uiR_9v4ab5-_a?F^*dS_9ErqI#hPlZ6Z~vMg&#nQ3(mHPLGfI zT6Ef6QHl?;S6ZBIAL0&S$|0nS5C^pB!;%pbA5jw?TbCq@8cg=0w2QKu2t&kBnd=>M zgu)`fw6=mAdW=yDX*OrS@DyRr5VZtZ^$29*^(TB;oAooPY>5+%$e(KJ4WD2W@Kgs^)n=Zw zJ=H<)`Oa{n_%ETBgoLlS{OecYJ4RHA*U&U*7u$PRtU?JMh^&i8#N-4~BUf63_g@x$ zTyMxfed=?aDON!PjM+Tvd7%%&hxs0t^Nnc>c}gD`OLY$623I>xOjM9`MeSdXUvUEmOGT00v{s7MLr_74P$*3Hb)iQ>X$aY`jdLZr({Jv~d^6A)?}hZG3o% zlH@2Jg_(@ZjuY1Sv9_2gb``pFw*EdKw?kP9clheocLSJIfnZ`372|0Q}rKvzcP4H~UEn zWY}Q4Ae*L&kBvLSp&}?9znXs~DXkHVNvR`h7WOvD#61T{0?wD#cahw4c;S>=FDS`V za{*?!W-$u6BJmbWxDbB+sT&=?f{W0HZ|EkgSU#k_-qCEXT>H7%@%SL|4LG~KwLU#OT)G8Zy;e|B zQ9s-r>1B{+iBbGnT!5?Lq~XU&NJwxh`24Fn)y@~FHkiwZ`tRui!R34(lWhkC6|Ers zsnH^n+-sLze^C;t;SY;bQ&V-|5D=Px2av-`l|erkzx-diDPZ{lpY*`0XgQou-OV|{3S2+hm!>*;TwE79~DiS?eI>! z@CMI8csxKhkJGoZA{^sVY;STo4tkwCU9~R=?&`Cq*vwq9czQJW((2Jv2mSc~*XyCX z-QR)n$GJx1lIr7cCnH!SFLR{5;aD4|FIXn$RK4>-G!1`Y?(nM6Khy09%g1Za#2ljD z%3v|SNEhqPRom(Lad%C)oVO(;ISKSt%S#@GmHX686Ex{>F%Io1U*y*uchKkAXsvvE zV?tB48Jk)R-amF!D`T2^fas6qsfi4OAFbiUYpsKE`?!(edZUvyvK0#y)jW2kRt-jW zB2^$w73X(mAR^4Lg*9dH`Vt~0-1vqUML0@yt2*RQCs~=jv{3 zD{7ym3v9}onRl-dr5~hf$b*N1`(2$N>{sv58Q9$fNviv=^tiyF2nlq9eadGUCs0Ik z4ZzLkeAL!oqYokb-nX)2z#q8t&d2&tLkcRf8WG-y%;;c}EiY%txS`d)kkr z>#C<;c+^d(+c$*U*0XU=u+hYYvoZ_)k%SxnWq9S>(8J6AoZHV3V+ZsGjk>PD9Lj5T zLam(_qBMh(8WVclwveUX9Qd!&oc?x+Bmy+Py*{S(jaOfcKRnRf9E&M^^i?YrJ<2DC zwWvpxkf#+f7Eyt)@kfT+X>51JjpQ!x>utnx#(2ikSXK8sZDpCl6fUHam>=S5oVG&i zBJAkAJUkp{{YLl@vEV~-@L}lRP=?Tb(~p18d%~j}SHlL0SZ{nC=Xd5=>ziyRt>V%d z+(R$9LpOE4d|=br)A?ygSqK@|3N$6dsWk7ESf(+A>aAm;<~omcwL>SmW5K?N<4l~i z21aIB!N7g=8b8IxUA`CcDJO))D+gTtuRWn|@gL^;i0Un-uv~8NwgnGFMKqCB%)wI` zN1YlO5+?N@!D^Z{+brE@)x3c~&4m5RDJOdahU)>Qb6sD_P`X-&A#y1z*z_w-Y)h$F zMWsRyb@T6+8J+);j|1fH_zQTPTHaEQkC;EA2bC}3BeD6-z;?q~j58)p%;66r!x_f$%HNduSNsxaj z0hvdxgr~Skz`j=MG$A3t@cI=IcMu1txZ|kqW&PT31+VD8pT*2mvI5ZLLxr+GUlg1M zL{3hNrnDghQM@2oTDUTcmGNA6N3koP(4Pu;1Y0^web?AErmeD;Rx{V7+COyF8- z;TtPUj<}`6I#>7k#tWO@)sjOOP8fdl(v5p>^UE^j5;%!YfT`jttv zQLlA%5{jQzME#2(IP@UrKp~-wYWOIdwm2T&`|&{MTqga$CmvGiR;u?>lwKmRXK(_U zn(XLbO5Acn#nlt==x^~06Gy1Znp?zOki0$+d6T0cCOMFyt47g^P7Mp_cXdQ%PNNHd zQIOu>9;|b3cE&Z!R&K7nG>0!a;LiTR)jR=2SUgYLQVb;nm{4339SBWMYEEucWHBCDC zb09|*gCIMUeeCeXu1J=)uDDA}9TqsCNtkU~V z*rv`dg9*p0Lw+-Jcrrj35LEz+(W`R&U8Jix2p_Ou^Gnwm73a z=P{9iv}8)!r?6y0GGl~ZX}l%%Obl}{^x0GXLVd zKpp#M<1XHZC>4V48cYfOK{Om%Co~qB^tF$eOL8zIjEsA>yW`4@q0;Va#p5Tq($b=~ z=_kfa;j&jlnLKK3*T4nQk)FCaGA_hAT68hm4F3HJ`^?HV`QZa9NbPstlH_OIXCyg) z0m0=3-SMw4MENg`IJb5Y%8G~cHi6~E zn$a#hNLO0Lo+L5;0WUB{=w0?8ZoK@67~_+|Se`?g{9z%qk(uZ^?_Jw`2b0Sn)3Q5q zRH66I-F?H4BzppXL})Nk$A5QK=P5Zsmdv7n`q>4(PJ|lB!vH%}XnEJ}WF4;M0hu*% z`-6iT+jICe2yMUqhouGhJM_k;c7f!Ev|b8qgI_j&L$+URhMrB+z1u9n9eip(;j&r# zVA9#rkEG0wItDd|(gYsnPm;@0StV_qGEz9;jeRZkMg$m9y^*5A9n`% zct=@2srnCD#jelH;p1?0+i2>v8mP{DvfP}LIEdJ5xj-%jn&{6t(diqjAQ9y22-8(S zaB`L~k&$aO{g3PwuWCs&wm{dM)7U)FzF`>j%GXW(u>1L@e2UMIV30FsGZ%H(WQ(D4 zyU>hvFW{Fth<(eQnBxkRtNb9k|9boJ*6BBzZ>Zu!Tp#Yj^r!*f51gCD{w8pMDns2jcD5EuU23wqtPhsNaQ zhd4wTLZdSiqBKWJ!(qJk@2B#$t?z4=^A~l^nn?@SGanLgtzSnMuH&6D;+aY&Iz6ck zS^SVW+dM}b*r_u}xF0Yezt1Sj)`0ruW;|mxG0woSzuwdt8ql^9cLPpAG8Pj~gYT}i zmHZt-k_~#(YI!3x=JF;aHIt7?tH^o3pZfP7WtUPAZPu$1WnA;cn;O@9)tP0zYI!-A z|M9B(=_+zQ*PC@m(_cU+sUGKmRHzZPhCI8~aD?Y4zE;{_Wj%}K%w?;N9uh9*K2#Md zj+O5AWkX%T#;Ok2$*2ULwjm%9*xoR-n>=sB|63gE5sW^Ao-kg3>U&~+aXBf%6d^Xp zzz0=KFF&02JsUPMu#``-zbEYkA?A|BoHJF$=2ZC~OZEBCSJyPQ9#Z8%j8^21Pgub+ zi45!8F9I7Y9T4pTlg5=Nm`-WL@*mseJOD5>WiNrPl?sfvo9G>#&x-D0pyF7s4r zjFmr+l{Y1-GN-!wcX#!iF-_It0Q*GTp|7;&XmTO4F?#;bH$TJj;6Rd1?S z?8ipn()xCL{r9=W|1U(6`O@hev8$~vXzv4j?E+P>6%`dz;oi!pdG%>7D4^JTZ%``P z=rfjNmT@QxQBH(S<4Hh_9wLg9%64SewdcOS1J4xvWh-*EkK zaA?y5h+%_Voe>0mjrixDOgBY|%AJ+yjQ#9q}FI6$c~m7z^kh2C`VXx?HhgLJpbdIkOp&p%=c`F(CEkc> zt`7d*!JHiYmB5Xio12R(;QI>!F7ClL2;>}Z7Z~3V#>8=kvy}q<_N=3We{_u>(^vfD z=cbHs`N^#tLA5@s2ZkN3mXeoYD4VP#cS$i~NiSSdg_d>wkYJ$<#7@;n8C zbKOmE*(I57?l-d-j0yqw_KAPQO4b5{f_UbamLz`AGr#HXJ<@?=91iu#85ZE}{R46G zuO9)>ZbrF{-MZ4;7J+ZGD?Hwd_bM+OnBAv+00MT1xx)br`uaNaxyaq+f6OxXbAoH; z*#>LfwQTpbg#|7^rT+FJ;OF3qgU9(}T|n%fAIVMs@0WrhdE9?In5*yt0wBvmJDtd| zAb@r^`-W0+&Ha6e-`ZW`8A9QfzUggp{Igbo@c~hAbGNSZ{9n~P_Hd7gE`KyYwG8kN z4CKa`|28?U(AV2L!^puAwYU5xuEsWaD@M_wp%rjrFW{1VlTrU&EA-y{#3eo=E7(A| z{H^AV%SILhkwVS)5qh0w`y$hmF@VX(%g?{sYP&Ne&z1PMR@lFtrUeRpPm)_&S~AxE z+3q%(FDMWW2nYyy&F^^sw#AlUngZY z_veQ?Vxq`UzzpNl5-@h`4`+`Bfy@9m(`A~spMdoasO&ria$ykA4%>Wa1aWhja_|x&_FYfPfl*;D7_opvE}uA z!Uoc_aJpVmf`fxc1I&~y9;G5ym+ONWG>LHRbF96;EzPOG&@Gr245_1|6P5^gB^cba zfPmEHIpPsrQ35ZpEG#Vi?=!Lh#}56KW(T!;3mjBbTYg>cAM3xp*sYd1wMb%eZRGxT zCB(JTr^Mla?jWSKMqq?>E(n}Xs*szSn*MxwetdOX|LtS-D?^G5l@?gH4f?`;1b>T6tIM@Go%RjH zke&lY-e$0wPHtbkwJs|=yXPQR&)WwfPRmFFjNT8}jCw(DEW1BrfMbNs-I+eCr8pG;DD1jXCo3(dd&_?p510cpX*szBpd;?24GnV% zz+fT4?;akq0W00q?$UXB-S%*H%f*ju*T-k}U%pK3y&10nb|k=p@b2NT;k!qB;3;a8i@yvIdTWgWdOh8BC;NY14-40TD-lly?p){+%9uN}{ zFeJJF$b9yQlj=n*?CgC&hg8Fy^a(s)O`(pyamK?{413#iUd}c|Y8LCvB?@wLL15l# zX#`zeT^}*SxK!1DftH(CBJsH{ZhA0aL2q3MG66Sf=00nq;tE6 zA|iYH4q%;&Y-qT}|MmG3^y=s@ey5XVR7*&{+wKHX+`>IQ|C%Mojr8hh2KYn0_077Z z8zVON2fHg2!k1aZnLq+z*CxqB5i9F+XBQVCUESB`HFwp&yCQyJ2O1WZssWJr#E<#) zWUWI0pzO<3!b$g>E`)*|TO~C#Vo}3b_ID@-EYr*}N(^_BPPD|JKxVk#>&I}{^e8NJopvOlW4e;Ms|1GqS zaf5G})uFhVC9kVIWeRz^UVAGb#s3I#ApK`!{}D1b{J$dd@GscrSqQf~Fjb{Br*5xA70;UtKPWatr8HBSNs6HhYv z)Ex@ao_Qs`MrXOt5sx`$^Zq{~5tP$^Dkj;ChR^}OpVn75Acz>-Ncnc$EA1jCsY~46 zHY7kpi`@f*1#@wBR*)L37$c>SqD!`=PYY(IwEyZcS^XSBKUD2O^)G6yWcu@(sOZq# zTUb=8*eNgIkwHlfB=ul!2=VivE^~)tM>I~d;L}n}f)7i?s(XUfN=R;vS48H6(wB#e zD4yH_r;_Qrh)sUWef5AV&GO8F45Qe;#lnD@5%k%Mf55upazO`hGZ>vTq+wF2F_%uu zx5)Wzj$+?y&EAyqzG!It%_PAyzWQxHU>*|z4h_A>OAVHxw)B@>@C>bIZ-3kmWMbM| zJ)a*Yes!XNUEJO>=r@w*4C^@N8VUIMvaCX#{EN6-{57-Oy*i{Bbf6G~fV2i(D=Io@ zY;yklfA#fMQFSa^v=9>9J-B;t2ofN;YjAghySuv+0>Ohj8+VuB?(VL^g1&~6d*1zc z_x0e1G4>u^ySl4tuDRx#%XiE37KS?AGV8>R#Eg|8m3gI{G4M^VdR+a9BJ9AgCM5|r z@9dC8p=FwsxIP_cssj~g=8~E3Pp(NH=#;w0E_T!nKV1^#${UXri*M}EQc;Lr{*aK( z?xLb&CpIVC8n3QS#!QCimfANv%4b$lf6xD=uuS>o`D%oVUi%0@2=05uF+X?3y1Q3d zR^?2aHD>=>SozmCpg2P(cOTeGataIoJZYwK*ly6!kNxx8&pIWA)x%gXjeu=))%a;~ zWrg76yw9{f=kiF3=2^H&iPB)e-6&!Q}`TBOonHCz;+hKp32{g+Ub z6Z#K}E^zy#vha1H5vJRjesiFz*??us>`5g14!J~a4*h$clhF71k7HKzG?&GBG?Hw3 zGxbbGySG2y2F2x{>99h7z(35)Q)5$PbM9(Jem|k`h2QMR3l>9p(dUuUqH8s!3J7}NkCM)lsJB<+qS0IEXG6k-jrly z*mztH1#noVFB_v0x`1QbD=12S#tiS-TW$01SIC>?XmsR5U20x$>x2lJ-y9|Lc5&45 zvkcbG49*wNs%m0`=W zZ*tUKExfuB9ypwt&2=(NO!}4bsYMGz@NrgG$h@?Ua3F(-N3HPMYscNDxVF6j;{&6a zFr@a(^EB%;14M=p=3k) z7|1c|P?=$GXkcehdK8K;xHzuzYm{wgW?E|(_={&$ig}BLwJGnbYk9-fMN4Wqe8Z$j zMChQyr2ML2z7Wl~@sSbBAyBXPEN__nh#RY*%w)tuTrk>!PbBMteMpmmS9DQxhgY6!3gY)ON z>O@cWGaho#Ak*WZ!o%vF<=kCQaeWm#`k?IhhlX;8XBi--BJus8UROl(RWjbIcLa`W z)BW%;A5htcF-H^YKdUW~gCTd74eB;G7!&(#bBf6?cRs2s>bMiK>qL58zy@M-&$y_Q zFf%jn0dzs>t@-c^+Mvvni;jxA9_{b9WiF9TVq9k+Nf_l)X2)eHH9*~wawm_%S z%>rZXm*+@GiWtJJ!D|0$;yJG6L9obvBx0sbuYgqAYYtaA){=p@y)Q0CHJ14^-Rs9R z$4pOr3KJjM+b=UBB-A``-zQNkOq4jh7!INNGPs^3$J?)Y6>s&>4TI zF@Axa;bSp6sr0H9Yb=T*Wk5eG{@mPLZ`YY9CC^+#UaE-7!=xrzor+k$ZweP0$;zI2 z-+xT9prT;pPelI?iWS8r7blajJ32>Fzc81Xh9@)n{&iH8A+|i6tzSrA;nQ>=WJ^Q3 zjP~s8a{GO2enK4YzIa&v6F=XNp^Kk`cTs-FTU) zZ@yNzP)+zeO({T4JnbC+YnGp1Ka{-T(lxCU&FV|XiRqRVH8ET{(!PVM=VOU&$uIMS zGe;_f^RJSas4S@c7Qd#QSzGFOA|(!v93nmOsESjsa*b1J95#*-$=K4yxAp9n!~m6w zS?VJ>2ZsyNvqY-@>y=F&kV)Kyx3s)GnxB{F1nvV^Hwg)yG3w4Z(5Y8Lzf{hFC8eZ% z*KG4@`KC$Furu_6K}$G`o%bY-jq_5n0JyrFu^Y;!I;rm_lbDc@Bq}V7uvPNLxRD8DoaAVZ#%zBr z&V93FrVvO8^bFS#VNlUXk{r^T%_7VT=vl`EAKN9dh`|W*Rtdpfg%YH=ZtwgO%v9F` z&y$$Wg1A0rQr-uaj675R0AHimw%y0rH;w0&p%YNXihyz&C4^*Ro+LS}cX;3*Bis~I z$X311Xv~ppFjmxZ>rqcjN9PYZSGTkuL9-HR3A7rhg+^?X8^rg*zwp+GV)C-8h?gWv zTt7AqK{)YzV41U|(%6m-V34;$cpE++!a4-XD3j zk?OC$kFs6W_S2rjEEi2}k4s0LYrZ43EAQ3KvSxrkF!ANn*Vl77Xu0c_CtIxZH}YVO zqp@x|q!%I0Ye#^%*Vvd<6J)x+Cy7wSdZ%>9iKos6{Z6lZ?T>TxvU%`l_)wu}NnF0J z^A&TOwVP3-snfji3XH8<{Fk9w!vF-4W`ZQZLyn2^!xayc0${>HPX{? z)jt#H9vQ{uZEXma;k;0|t1d7ZWX`>v_#nAl3jI@5hJwWAfU(lROh^y*IA7Y>nDi(I z!5o5i_f`q2M#L^3Cu0QjVqUn_W?o3z=d;cUe`+~l?{JW?j&46g9nMrxTW42x5&J06 z0A`Sn>SZaZRw>VtN?I>B8buEDRYGI}v^49$=E`mjR_w-~NX4%nl^*Z$J*p7I-8=+# zX+kb%*~h~%^$*VbIpalVu)a*etHfawsFe?9zU-FVwhZ4;QDW1}JfGiCYsmie?76xA z<6Z#gI&>e>TeB~ok*ACtn-1HGKoU6VaCdw$%PK{m>%*3u!$OdqipqCJ20B(<$f6*z zWF0oQ7Kv*urWQ1r@U2{>p5m9_Nh}i6sLv2+qT1hoUXv_Hu-Zq+PD%W5v_g!}!ZcB7RQ{(vFwidS_)Pg$zH)w(eH+BbAEC9e&}?d# zU|M<7q)>?juuiRFibsh#vwvQ&v2fhpW@=fg(TMl{P@z~e>C2tN;Khk@G*p=4L>APl zL}4e!u6nxC!4n%01pPwMe$uv4fF{UnyD^0W`wVHWMvUmmg$S;lwze^bX^D5g7BBQc zLQ;a@%!+-zw;YbqOPE*WVYe-5MI1g;FGE`R2dt?ZrNdRV|2ZjUQ??19Q)t^enkqyC z+5nk7Mk50#tXI|ki^;t6_5g;-RMwD5{;&#tT%EU!rv`x+7Rf*mLbuXCJ z3dfdEp{PvAOQNXy84+Ph*w7+Lps+mys#$R@+Hvx%1GG4%N!z}BAK9jS-8Yckrgs&N zDfZw-FXB?y^~DN;$-D|y7-?#?aY4V{CZwaYU6(G(zCDMHkCcWT#RQe~Tn6bJ!dsw` zR)g{C>XbMc^j;^b><3C7u_bvV4o;FFF_t3tFuH{6vZXZ{b29wM$cSTl*FU?wcv@BK z*47rs`^3`H(kwYDg3)jOxomXZ$LAN(O^mbI#{3Mzw6k14=E>e#~smQi)^k2 zK^?+#(;OrklBaL~s8UoyIn`&i*ryI&p9%DmbVfM&QMwLL?xQZbOU0;2Ot}wdSQa(= za4Dj*l{vv5Y)3E~8=LlA$?srbuCA_#4;ZgDr}j#__*XA2XY+bS4VvuE&V-TXl{8yT z{iD*jv+a!>s=xCu4WN`td6kMAs^5vPvHT+Rn-r}$zfo1ay%L6E`Mhx)O~5%GvSj;~ zrp_08jV@rW3rjmrv%6QDU+I0Z@IawZ!kkOTy=j%3x+!E`rpoxJGi;{{)VlE;uFLLh zN)6^u;p9GK&@k@tskqOM#k>PUR1#&f@ue0%)s6HHw|4=@Orvv3YL%Q$6v%fyU9R_A` zrRV63_AHeh!hZ`vHskj#1IS4crZt5NsR{O36Zvq`tNkGcSxOBzH0P2|Q%15qU1|Nc zrG)gsDA(iMEf7_Q;SBPJG?yj_aRioBWR!1O zKY0jSgj(rm$j|^EbVV$j%N;i^*JZ}&kf;kMnd~xleboL%`90stf$t0xyI!cMVo+mu z7HPK6q9#o-$zxFzM-z%{Ia^2zwQKJVcE0kXf+8%I@5bt7y|XpDO2`)W)ECt6rKs=x z@L99ck``JoH#1DU$5*og$^}hBL^Ud7l48Y-1VhRuI6{CY;#+c|UxoAOf{gL7CNGLajuc1%6m{Ivn%m)I>06 zcuB?@VPDLN8DMWNala+FI{^(^XIT0DuL_5TB;8-g;+^iTjs zffullUW5Y!97|9zF?&_mO8W0F1{s*_cZS@b_2j9-SaBlbs$Q~2pq+w|ECzCN@|_@~ zWU1a{{b9d`2G<(#6%7%!1~%^dJr-s+W5#}5{J>1NIz2CA1TcdEV8=ixL{l9G~< zb>n}cxXkIzv=x77+x!D%Lj<(SXK|k?&|x{hl&CR!GE;-?IdHLzyyk|~6|?B$`y~(t zfv_i)dWH@i;AAzv4{rDTy<>p@kSc2qfV&cv!VTPyVs>HRM$)P}7UGN=vI{D?N6lgN zl}Sjzmel~re&&|7S2uZcl)y$)Ujy}rPXqzY2>#b8KcS!VRczMoK zM$Br3pNWY68Osk+c`a{7d}cXC#ml4=rJ$|b1h@2@`K74|$}G}16jJL|XDAp4dCwTH z2}EUT!be_{l_(vEqAx0Ip$AL_=h}m*F4OJJ}N!xUN?QDH0=T1bQQjanf=dw0q z>Oi!MjLL$+537j=5gE8gTc{!1PBy=B{f&YzA_NrM+< z$FywHo7(XIWi7Dj1o+sPY1Y=&we{-QzC3p}4M(0zhn=D1L%Bax*Fcf?_@<&AOM2pE zLdNgh3-yNVRLhfsqWgW zC#rUwSluMS_d`Rf$63o;lGGb+C%1-o_sgQhQkvqmozW)0#9zk+ggti+L7-P#LrK;VdaV#iO~5vg=y7`xEQr{dga^yJQ^rKWo@RVu2z z=Kc04lZB{o08$jjxWlbJMNmQIV@u+_Bll&lq*w6h=AN1rkx1LcCzpn}SD@9}+zNI0 zPW@>tj10eb!u#hW)uBF~r3SKC+9HiOkX9H`9$U3KngbbfSVO^MBlkoT?yS9DU(4io z2@@G~p3<|{Ky`KA&C`kW{>oS1;*Psp6wO?uaixDRq{QZ&nhlJ-mvp0%lFi$abUwjI z5fb{pz>s`xcjcTsc+f_iWl@1$S`*h_1XT+zSF}#q?oU#=PW%`4eEf?&rE}y?fm|d=4lw6&I&11^xb4o`?AJlOKgp*-KB8L7XB^(nEJHmXRvwYrc z)>a}W*DPvGKQtkwEYch{Aq9iaga8b`IFkf4vLj-*-1lkd6y%7?k9`||+KKmex1kxl z`ydJPH#|PY)yQBk4ioft{en0fC4@NnaL9IZtkysSZZep5W+qD+e=bJiaDD>W!1b>G zJqGr+wzrPiEQf26*cW2y(}3Ae$3=HkPNJhH5=6PC55ZIn4COQSNw0xhL!o_y8_;O8 zQaZTL(8!3*cLz38j;1KAI}V!;9=>;j14>H$H_K0bG+PQL)YD7k=Y3BSklOI~BC30X z?eW!$J7G97FCHw?=EZgDI^U!kwZNZ{1fu1wa0tnQdh{;!#9{|ca)L0DMprj*7??4F z5RNEpB@8vDIiF%h5D1YmRV{3vXkfQ?YI!LFzNWN$BN@b6+%aa@r<1u}>4 zCa-{$QZ~R9NoOg4q={Y(de*Y=4-IZ@-`b@)y;ecbED?KN3;ntoZCd=uWa-Fhl|#^T z&9KtPM;RS(X^O#HTJX#vAZe~D5Xo)E;{)Z5o!34Aiz&Am)p%!Vo3=wArVB$G9-Pq* z0$q^B(CS9%e+`pfEa*yG#9oyo3bmnpud7 zZKP^d&~7DJ)`mO<#Ekx9paWgXGDErS3VIM2@ zcF{QEu>&LRO$?0S$EHW$8DCwBkGY{6%i0J%m`s8^beQS4wFNqBotd~FU_a##w-f#8 z%C7=u+`$v2{1TJItVh#=g(X1RYuNW8~&MBJY}gMmNnFNCS^4^o|=rF~_MsR>#XImmpYwW$)0@U8!~! zEEWB^ifWGtCB%?w#NY1RB<-4M?t2)Qn?#~}x z-aCyFglT&*Z1}6HG`Enxv33nPIE`<|5u6p;2%gOeNy70N0d8}vO~=*TgzL_C>3dY} z@hdWcGRd+1^7Nx#q6P^s{DJR@zW|C}9au)Rv!7hP|C2SrGw{1EmS4p`Y|ei72%gYL zNEw(oIE~<70RqHUOZDL9=H??f=5eWMX|ZXZrys{yOhz=@fb&M}A2h(Ga?_H%0;rX+ zyDGKI`v4UHr$LGMz`y`A=04a<%a!53SmeVL4-e1i{KCQtYe`>sw@t5VJUTwU)~+zc zYs45%JN51jIMA8oUQw$D*+9AnVDlmd>FMd!WMpJG|HV4^1-t=kTmA9%?l<%%k!+k$ zh-87mcx0UbZEpej z5&2+6D>4d?}>C6jhK@+mtPjA^uEMKs6BuhdS4HM-{9yJWng%?r|?Vf zD)(j}miAoNF4)Vgr6&n^o~?DX&Cks(F_!>Iss__*k(AJ5Yp9=q6@}qI?H*<&o@kj8 z@0hqdHcRRd)7NQj58fpV%*2j4mq?!pR-tBYRG!pQJ$km_(qbe5%wvJPTC+Ng1}M;_ z5}!kb%4d?q4xry*ZwW_)K)g5Io*gNOY7U|lgITruI7mJmiKK0(K6V2BNRtDVXF;t) z)A-$Py1`j_*E`0?XQ9Ww3F7CvZS2imNbZKW`VII?552ncS)cYU8=!Fw1J_qEHhOP5 zVnTT;7_&-Fjt_?nw#UB90*MJih?}c;Z0v#zvlnNMd$85g9~x8yl6uBWl~k`?I4|*zoy6nPv(t_L^hZk|FDw z0Gw6-95IYHO+sbRYOM96ruf5@?%m$^w*$W##m-Sq<#ceV9n+l?ScQZdE$+;c$i=y2 zb55gj<t*@R(bPX4j#|q=$$(CwD@WicRRzJyLQ-R?_#5*S_0n=i6Ck$JAi!(tQ8Y(|PR`F9WHrb(I-;O5MQMTQ^pyOBPLTW}{j6@-RJ6fp86 z$1yB7s3f4FDCJBJtSD5bRA&qT6XE*dDt^Fp?xRX^?Ks64i7ZMeEu5oghlratb$)yK zMNus^mk4cdL{{{*3g!a>hw^`6CP(f6U?$25qp_k^h03)0?-IC`kDhRj7)n!fI$uz+ zutf8Ax9V2C?zy}RIXPZ0bqQ!(x7`-&)mA2aZYL?0lHlOrkDzCSq>lb_B+cQX8Ez+U z%&^MvdK)zpkKq>_MB}biCec1`M|pegz$_jBt<~JbU&b4}6#)yztU3s5yEkbIeRl8` zE4cRS<{VT8nVG!0!kag8v3UYNR$#Pvj)@qLM2@1;m%k|qs*m)MsvW*9x4KqZd__Ut z-F^I}v^vGlsy|13u@B-RD_}a3uF9V`J}VG}2}hk>-1x-{oaL8%+PfYWS5-~2od;qk zGBPql?&s)N(&$6r89#eEkXOG6+D4<4S-aeylrErsqq?A~bQtrw%m=TBik@PV9X7X9 zl`8&@eoC%WL9Im>gNBYM81jJRjf8#$BO`YBCLW{d@MuVwba!&MSo5TyCYy&?b`a!_ z+^=`j3dM2*k$n@zrvidIa!ITC99He1%%kXUqTXExSRZ0;uQVghtb+5GAoXXAF~ZCi zcm1tarO+`kH}W&Qn9E*VFc(WoN>0vHe!O5cS;H(|AO~X;D4eFQ9dN6D!1&8SimBf8-z~phgr8Mw;lfnaksXT@$ zb+O*+U5I%&2xuI75jx!O5Yf@W1EFf~70{&UDWz@XWm?_!;T&;sQ#3aFqMth|2vAUb z0lyB42@IY}G*sJZL#Kp@gx^%`r*EBAbvkp^NsC&a|SCbs8nSO4aQ|3YOcx=)*>TBfPMa(!j!Y7| za6-p%Eloc@Ouow9c|uHhEX}A=FQssIci)s^NKa3v=1Pe033s| zfo5waS8grHU=&hGKESznu7u>i1#}JzL*l({uWz;A9gzp7>miWkRVkP#a#mpw4frTL zcLBZ3dcl3hZuX-FN_&Dl*#6j&Oe6?OzkX+YY z8n-heAoEpJRJ1Wx%T8u8fP5LD$HRFap?&OY|3dnyLlks$^gjc%=>%fJt z?YfNtxY5}L%?tJq4-4DaRDgiQctu6UzGlvA^#$A&)Yjo4?#+IFMyrXcO7S!_BBF@0 zGNwr~PYfWeH2`KdAuY|4ZX#bg1(O%R<{$o<5*}(CqrLD#wJPIM4Zy%ns;d#0NJN59 zAu?%PwzX<4uyAlp7ITae5)uF=e?iB9Mwx&ZHS|{Hb+v5@JnHQ`a8&`N3&%@UCZljc zFV0jb@882%TU(EC6n_DR5Cs2T04P)FC0Slv zR|fg1NGzGBeh~+wMUU`7{ z-gN}>1>w(;;@v3#)ma8sLPFhqfYjf^-_MVP^9mjeP@ZA91440Pptb{|;h$oO;)}VH zg4u*`-?l4XwuG0X`xo#;omw0Z6A`@eK4bvPsUE0?AY{_-K6!cGTN^-cVIYzT#W-NY zz``0V*KF9(R8-7ai_YDS?KjMQiM<{m + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/bip-0174/coinjoin-workflow.tex b/bip-0174/coinjoin-workflow.tex new file mode 100644 index 00000000..e0516ffe --- /dev/null +++ b/bip-0174/coinjoin-workflow.tex @@ -0,0 +1,59 @@ +% using the PGF/TikZ package with pdflatex +\documentclass{standalone} +\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} +%~ \usepackage[english]{babel} +\usepackage[none]{hyphenat}% prevent hyphenation +\usepackage{lmodern} +\renewcommand*\familydefault{\sfdefault} +\usepackage{tikz} +\usetikzlibrary{shapes,arrows} +\tikzset{>=latex} +\begin{document} +% \sffamily{} + \tikzstyle{block_center} = + [rectangle, draw=black, thick, fill=white, + text width=12em, text centered, + minimum height=5em] + \tikzstyle{block_rounded} = [rectangle, + draw=black, thick, fill=white, + text width=8em, text centered, + minimum height=5em, + rounded corners] + \begin{tikzpicture}[auto] + % outlining the flowchart on a grid + \matrix[column sep=3ex,row sep=2ex]{ + \node [block_center] (0alice1) + {Alice creates a PSBT with only her inputs + with UTXOs filled in.\\Sends it to Bob.}; + & + \node [block_center] (1bob1) + {Bob adds his inputs and fills in his + UTXOs.}; + & + \node [block_center] (2carol1) + {Carol adds her inputs, fills in her + UTXOs, adds signatures, and finalizes her inputs.}; + \\ + \node [block_rounded] (5alice2) + {Alice extracts the network serialized + transaction and broadcasts it.}; + & + \node [block_center] (4alice1) + {Alice signs the transaction, adds her + signatures, and finalizes her inputs.}; + & + \node [block_center] (3bob2) + {Bob signs the transaction, adds his + signatures, and finalizes his inputs.}; + \\ + };% end matrix + % connecting nodes with paths + \draw[line width = 1pt, ->] + (0alice1) edge (1bob1) + (1bob1) edge (2carol1) + (2carol1) edge (3bob2) + (3bob2) edge (4alice1) + (4alice1) edge (5alice2); + \end{tikzpicture} +\end{document} diff --git a/bip-0174/multisig-workflow.png b/bip-0174/multisig-workflow.png deleted file mode 100644 index 0e752c515dd5248e1bad020ee4c19d905ef975ec..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 75935 zcmcG$Wmp|cy8ey3OIUb-;O_1k9D=(`aCdiy5Zr?VcXx;29^BpC<-gc__RPHJ>^bx4 zy;!TcuIi@fuI{S3pZob$hsn!|Bf{apfq;M@ewGkX1OWlF0DfO!pnxTg4n)nsUr+{8 z;vyh#??2gXKjVQVu(lHF4j>>%z3*Sp1ZpH)U?H^QXBkoG4H&o&unaj>8IT|#A3;8g z2r9WQ95~OMD3rg((zQRuU1d3Y-sx4DCmYdihz@kE6*lr)H2U zW=M3qT9rgWEJGRoS994L_upTgDE6}QvvvAS+Jlv~#Q z<6|bT)8ThQQcK_wcsHe}mnNiSWX;V@O{DUl2A?R1h`L5+XIbNj1qai5a#2t&O(+v2 ziA4P-Ze(DJ=y0G&w`t*#kwfC+(INe3Bq%83;Silwh(+ND(j|TQC=u1W zcSQ*k*lNszAPGYh_{VPG7AD6i3b-W-{Kope{k!795`DQU))@rPObmP(J|%FRZosu z#iennJ}52LXx)pAor`LO#Jt#tEN0P}y3f%L$ZJ!mbD_y-LKNyGd1Sj^W1I~~y$Q6I zrET3;KIEC}R99sa3GLGK1&$@Y4Z&+ooPR0hvqu<+#_x*@SgJHoB!`I}6|kLf;i$Ne z$rQMuwItY%_yC?r^6LjV*=sc_cm0dsK~A*9lLNvb(;38N8#-4S!_D3~t8jF&s(rIxNxn z+8iZBVC&J_k&WK;;xxknfq(Rg@VUZD1k4*XXmNNwy-i`sN6aO1=MZsi5{X{1!aa0< z!f4~~NI$8jDqS>eSZYcj!z94I49o$ldEn&ck2oQ6Bp{;Wy9KhSU-Sjx>LbsPV%+;< z_dm-IkHL4vJ8wQ-wb_Ip%|9A{#7U7NVyhIHUO%&Y)}O^GkmL_c@$%YG(}atYM?h~e zfk|;dKn@4b=JA`nxt_G1q_lisLMdk}V2DlaF6v2|cWZI%l+S1PMeVy4aJ0jy<}<{D3$qITOCm`iwvw^BmXQhnSBY_JG_Tjkena(*D z8%kfj>I@{eb3@F-XI5&q~$+2oTUzl6vt47{DtP_V5CwNt6D@#cD?Kw$Z7_HVfm z6gO+~_IPrAv4)uQEn`++ymY`CY*$2ikHeyMuWndRIjn5xb2EIm%BsLD^d5_RiIRMg zl02r##_a>^z5A+N@(o^?&P}*A=P}_i?h0y7iNmDRfx;&p8G&AZ5F?ti0ObBG5$l7= zt+A~5N`H2g4noeD>5Z(e=WC^Ff;w2PJ&ROswHtH#kx-ZZUaL3>>FBP^1N%?1XF(gd z1ncUoU@(wWS{gi{(AyDqr*nopP0eWDzmwK$il8&=#N&f81B4jP!tt1qwS_hh5@1HP z{SUY^*NtWLW5(8vz}7!pgW?UHC~fx?hp}7cr(0X?1fqnoG**43lV#Nn1Q*}UjbKy_ z0``utc>MrODy3Duu&Ag6aJ@cKHnzkA*{-n|7ZdmLc(vNg1v#apJqE%mT3jcZ4#%2q z63fN}f~(||L8V1q=6)9Jl6h#TN1F477U?goUZ3(SW49Pl;$D(%9oV?{kbSyJDto_DB#p`g&zlhDPf#IE6VhOok=Q2*C}Dt zqI^Ia`qVHelCgkew0{9U`8q)PSn!uv(D8&kJlSP(7n)LJkqwgM-{lOkly}awvDp(?QA5@5ZqzHP$~?)wHpS*ALRG*q(zdY`lK|U=*M)cZz)3b} zD2;ZeMr^R9^qgkSsulKkd)r31X`AxMD@ouzPjCIrfYTwZ0;#q@Yd6$oL7f5mtF z;($Ja0uj1w)WRw>hJ6XHEX!ot{6(f6q%d(gA$!p zF6UZQa+ZPIk+J)^+ApkKe4E>tc$VE)_=SFudQ7v;0Go$a?!RVAteFsO49fIe+7>1T z3F#o*FU+b}^i<|Q-4LAiQ}qA>oF&938~6JuEu-FbzDd*4}SdMGjlQk5UAUmr8oIQ-E2z@SMgQ56v5hW!B`W? z@4U%QvTV01-Evz1tmxLkWnJ)VHu5QH%ie62UxGl;k!raxpb5{1-g67W5R_0%8Mwl*qa_=sgj==MaY~>oY?~WL7V?YCSUqVIvY|O>ke` z(=%fsk87m0u&VNLa%y*m8V|$<*f{28obx!R8@SVAP-tP2!Puyg<7(JIE^_!LhQPQ| z4qn5-;a{{@(tzP%QGz@MhIPlqI;OAaY&tcazM-UmW8G`l4l3}VCS?ztnCT=Tf1d5{ zpV4LqJyWlyOy@YZOw11YH#%==L(`6t=qKS1n5?bRA`rXv5Lk-cX z+GY8lbKWY?eXw`9^QzAIc`j0nN@Fucs02hy;SlYPMQ@9$*dMM>Xc$<1M~@Z%*CPg?NlKJH_<27+NIv&`W+p7QqrWFzp#I7qSkQ@F= z{IqSV+ELa#@cj=>vCZmwyYN-~dppeQ#9<#6l`5{b|4UbNS z7l`&X+!)*gc9b@Ap8jWhc`*!HDAL%zMFt=?qN?%_U7R z#pLXb!R#28VoRPZ<)hJ=z#X{f@?P}V-YVx_0fsbha7)*-A*Drikzs)bD#JOD@M&Jj z`B?1D=O9lrS|b|cyd!fl=EHavpOYoN{@QNat^T6?Rh3Wb+3@34{WqqZ!Ptd*K(BY0 z_Yjjaq9I){F&&1rRG(*)hufP3+{Kg zgjBW0Vgzs$p<+5ZI@#0HQv%IrFH1|BZF{#-Zj>EL&(%kIN4_dNe36;*xAPkW7Z(>Z z?eSClCZ1?w;lVWFp6o!B3?uv}c++&QPECmu;=tI3Fp~f@Ax8s1BVL@}44n{++ft$F z|5D3uPT{!#ecIr?(oagwfcQ%UJ{Oc8D|-Ypq969)fm^vpg2#OLNjhlK%7Ri170QMi9)F1M*f%6W;lL5~aM%pmwe^U!jnnZHeNJ0?xVI}%)s4+!PBot%#CYV) zt|1iM<{~s9owu?KA%VfC>)T-*@0Z}#jSLLp*KX1bK8f3xf!Kr;$V@96h&pR9ag9&D zD3@f`Cm3Kts|rJ302cJY10#Xoh-5}jjLoQbyBfz$jFK!}(B5j|J6&E`3x^Q`itWzM z?_e&Re2dy)guK3R+z0Ea^sX=o=kf6L#-;F1^lA|jhhe9Kb#$F_V@5uiPgU`B!f3y` z`VN!?eEiUCU{DK3A<>n1v9h5s4nX6D{kq^rO~b)U3LeT;5jU{hql4U)A7AD# zjX!ExN$Y=P4f+y7Uv=etU{^eSXQ&uUJ(6!QNR#$spjNo?uDZ%-l$Pd#U0}($K>@&z zDFZ>wl6CKnfiCrC&<02!>Q=Ji%Tc^45qi(c%GM zc6aZbn*m{xatWk~5nh!_{d=Ws7MU1}^VlBChn)&_-VZQrvQ+h9E?6^%9Hw~m zefo*ZXF$ewqoy6gcpSL7Fs}5uCi&-lkW6DX%@yp;5cH86GCJiIUYlP=i)ThYS-Me) zxH}_BE}dl`KC5B)v}Jl*s5%$BVMe>!fULH(5tg&h0N4mb>6kAs&Cln2Otn{jta(R5 zROSQRu_;1c{idM-%d?-((rQ0>)0##d%Nq?~G~5kwMFG1Z&2E4HcD1&c}^Wc>c(&J~oe9bu5x z4rer$2qpa~tDmlzDpYirx8AT46TQi+M|RbxH`9c`)bK=fWOX*iDWg6rgD-33lp0`& zgKwa;Ec+yIJG;t~_>;_fSb_4c{xxLzQ=?7`u#kdz|)h}I#SPcs{ z83-wZZXi!v+oXy1tZ^By4ipwNjK;jbO&Jh9SZn=3F{x}i!MjK;)w*vE>ZN2o<#7W@<4OXqxfOMMv&n(nxd z@+tMYvfpJIzP-(P+RD3pt3E8kN2MVm>i@|K~OpgN|AkYHnt!z zPu|_YnUf(iB49?VP1G4O6c=A)RJdSL_~V)I{mie{NAP{-%ODbBogQ%vHjQ9k^5d?- zoQ7PMlZIUfOUgfVaw&tlNByVSDg~z$oeMTmM$9^`LB+a6*l9{J(GwN~BvZL?oE*1C zf2XM}<`BD|YIfh1F4n3F+?^H*4a4D*e!JVUX7;TO((rzmRc5PbB4EaEjKNf_77LP$ zq6V4>gWM6qWpgJV$D@1Keo+Y|M8^AIb+=gY-?O%dGw)^k5)tmn>G>YW~tEq1ACuk8vMO%d!5I;fsv^#n2Ygjbg%%l*`zF zg^tQ<{UrCrw(VaUdS{$Uo92mW>>Kv2|_qd7dAksA9j6WqH6n|BZbIlP~1C+Tmr%H0$gMSDIlwr$g+$^ zUw;LR*#LuLa2%SJK|*3w_}z86gs-*6tu6CG_sMEOR_@16m%Q@Ty>d4@)kJ3eNuMq6 z2K#gDL$=$KiYrkWgIRzZIg+71JGOy0VMKYRlfpm_zF38fNV$p-1xAAQ&#)~!WsmQ~ z-0%wwzBz&m9b2D`C&ZDe9jGOc9WAqF1T=2NNIwWidT#GBn^iN%l}YwggJAa>*nMV1 zTng8^Au-}nN}3@-xy%|5l8PZB$K{L_C>~E};*~_a?oxgz<+Wf|Ed$uC!`CkU;$70o zeyRD9N-f=dIj(1*hf*M_uD||clmiDlpfUO7elcKfi#V^~$3k{s>vV-YR_zsg&n5HT zMdj^hEz1eG;jge86I0O3SU>F!f+@%H*aa&))SEsBb^gE%rnL;xhfi=#_XN{SlI~;= zXc4aPCf@bv$Rx857K#wOx8U2HG|ex!eKFVpls(=@5I;qt({|UwN$LiqM-O??npQP47SFl;`XxrE z3cqWTANE!7*u=7I{F$FDZ1>U{F&T`?dL4&m^be z#npv~mJCl6tFCmncTnl0-4s%aTg=zKLazTJwkIOO|Gac`)7==~eq`Gx{V(^dNqkR4 zYoN5LxLc=In9qwIf=Xj+zqrN*qVw_3jr#QNTV}-r3h)_Be)2(;uK8b_R-8jXsNxFt zK>tu!WV$|oLb=M#-)}VIpS$_plQ{moZh7Y4X+yHX;f-}Gec|8e|JBigknjddTC^h4 zZGYo5kW3qE!@4A8zBUh9niC{8=VTdt{yBy5HVVZH2eN;GnkLFmL8Ro{Zt>*%t z(clIr(mAy2`xt>OG9a3^Kv(~DfNi~KcB1ub2!^Rv89@1{K*#0d2YSRHR}X%cIv2sc zGc?r7bMlclU4E8EHslPh(OfJ{BG!{P5T^+AOOw97zF#XVD~1srF;P)LT68}(CYsFq1;hxieEn85nA z{?nx7g!d1x*wx*Pj~(*RzJ4O_EnI*S zIsFp=xA@Yn;V&hfXMg0igIkT)f^^b-Nu&~*xdP8?IgE znl}vO!pBNr3SK=9s-gZhh#7}bq~iK>1A>c>HS(~Z2eo;`hkvT_g90g-BBoS50T{}J zI>KR99pN7OF~gMxdl=Ac8Hdn#{0Y-x=T9=Rx#o3eI0)(~>gx-)V)931wx#O<(=0A` z8x`>gD<9s1)N@3svG3je2yH@EJ?@Cz#Fz(lr=W`Dq&P%ggU*v}7?(6HF6^DC*xsB# z5!=!>4}(-;6^S;P=$(vR<}`wB(WX4zU{jnnB)`E3R`B_NK@O<^({dqdZrMf5hk!S_)6Gh@xi;Sk|o z03$N72*@Jixf33aUcAj+hqxar5{Z6U;E@wMG0?89TrdVX)MR2MAccP$PM8kdFEbQ! zdGV9EI0XbLfu+=uKhkkThlW|lvZVNPU}^{dIjUiVq88 z&!JLH1sXub4=u-BzA;iDNd^j{ZPEutvN35w z|A!*J`$g=U`M0fQ}6IEN!grfYfe@ZfNp} zkg62QNGeT!Ne8SBNKU?*d{uWJYBnZ6r9nS*-0qnffIEnid01n*X&9ZC#}9R3A`lM_nnk|?FT(EQ zrfhTT6M=hJ%*B^$lHi7V5NOlLC+(m>G3_|2T&ZXj#np@u6rrKfPJ)g5?;jnX7?BAp zR(!{`BcQ~T9|ng!!+*+UZ5~WZ8|@TjOGoyL<|DRx)siE^ObpggUe}u@?H ztY&=8-P_FNaMmM9L@bFZq+iNC@>knFnsD@f(YwAF>pi`JJ`V&9GJWgb)s&g!o%=FKA*P3 zpHCH+;!5}JhSkLe6C{)sccd|)M#3@;Mu>QhH!XT{G7t4F3G$DRe`&4WK=K4ZLe9Z4 zTA%f*)@I2pX7sM^GSWrI3aSl2x;NYj1zQ@K zB+2B>aHmCo%d@m#;%8>Zs#Rd>%*G6TJ$5%@wyb zc@e<9y$TX9r&(%wNMvc3Y_0CGQVFV-&V_Mq;7Bv6f#G z5wb^`muhYXP|K9r16AAWa6ioPGDL7XN?z{h$?P6&olRv`1Vul5W{c#0BX)Pa8e{$eYC#|UqV`W{1V ztQETdx~4yoZY280UpJDk^%+Q4IF~rR5S2TDE?lg=gB6B8?El+)T3DQ9l5@aoBL< z6oHxIKWy`&KrU7^ECMP!k1Yv^daH=~#rz%)OCR|zFokqRF1p1SrYeBqUT0fRclH4OQxUXBMbAm`H@;E~f3X0YtpoSs#-WSBqRf^H zB+m=8NF?Xz)+dh;1n-J(65~5Py{pjL zSjXMV?N0kmz(hOgdxaHiu2x+7Lj|(QLOCA;_b&-zgarOwmi?#9{Co6e{Oi{*`I1=- z7)6r&ygYf7ccm12r)g$J0qKV#6gp-G_#VqHO@Tp02^Uyy^T$7I%}vk9pnn3=2Kf@P zcTp7;XX>V=d&3y8LaQ_ygBh_60%a;!@!!5_VZa52{(5;8)-hK$A8S#9%3bUK=AD^n?XP<~mOpI38f(jpL7_!Kzv>3Rf* zC{L`awzlQ93-T{in#!m{@Fhs0~K&C?IYx-iH1;6EV!Kj^fgUwXlFHy-E z7^3gMJ%gG`2{{vo2x(|Q4eTE*2us8|6;CcFO+!O-dUUzqq*|e4wZ6aa8uddArYP*) z0aheQ0nQcXYwa%^L-kj;x6wcTI=^RlN9@%+BH$UxhyxwvSR86<>fuV+3@&U)NXSil z8(X{q>*Yp$8w-mxu}R{<8KrkAUQ~sEh*-nreC%5JW39n*;Sz!L>z}jLw(fPczAO$H zX<#cd@Rp(|=I-q7N*>J=#mA+kQPW<@ejk`#Zue>_Pe_>64o3sFMs6l6urO7ZVf1Cn3p|4u>P!_WGC&-!Q(%3=-90@U z+uI_3A6XS8CEn0aC7uKhvVaO^dlJYBgEVSnTNOIt`HK z^uxpuh^S1alw^+ec~~y9imX~%tk6d`jrx~e%xc&M!WSfe{N-d2)WOo+W?>$+$;bih zRpHHi^5wU3^i0<0M?}HO5Lga49c4uWBV!Xk(=6ZwQL=eoNI<+qChmAGXeA z@TN+I5iz@cu>q(ZFsj5|LWupI7H<*#S-CST(72e~E$|iYCz7tgo>dtfyke!Xr;F=(9W9HUr@1nMlinjF z6|Y5j=FJR7JIzmM@rISA&3Iwc9{Tse&=l-)8w+~-r!2<+OUSq-b`G~U0;H%~cW~bL z{|v6g!h`%Du#9JY6d58lRFK{(CZ`EOb71c@HEL=L#Iy^~Bv(7T1F${b(Ef&15&Qp< zRZ*9%fxD~rD{vnH=CcauUWmBQ&8-T4A45Bf_9ZhNYR*ZF$9dU_V2FqY?hYei_%s)aE?4~QtLQ> zfp7U2uHsivJ0>hln>=U;B_;oFhQIdj#foqL^!wQi57Q#lEqJ}=%==!Z43+-mSZKa> z6mab+i&s@u9XB1R%T_o5!5+&T-~hg=9AsK$y(QCldxEH1n5|gUdCV^qIxcLf>GP~k zFGZ^K84IPN(y!J0WGa)`i{BHSAo`3eO*rE(0~|u|m+t5Ftuye+o2$n2N_RsOuss3C z+P0{j7k`Gw5PrLlw{({fbFmHIdc+<}NvZH}%cOXX!}MvqeM1-Y&*Rwx%MwUwN;UPw zBEcXZ9`5hNLEI|s9D+W7p5_D$B6RNT5oLi6^_poZEp{%6d-w(jFB6#5DBfOV@a%r=|2}5+2_YV|>F+NRz1_Nku3l;8#+L2$``V4U44VAVc z$vA(oPliy0RqZ?bMR^p8;! zZR--f&t6Cda&~$rvPSjE;h{l-40Ep?>F9nJgkycpZ84L)GuQd!Di;V*`k}yx%mUu;gb-uiL<{wdbB+bLV}`l!JeevBwWvj`tHggNgi1~zcMMZ^|Y>) z994eQE6q^HRTtwMvoB&+-Tf9H04P-u0WUY1FY*a~-OI&%`T0wX?YBx}6EI9buBGKz z=bxdU?Si62Y)CrKiPaw__*DI2hAL3dguhRtSPpgKEmbBq1fIhDqTDw0u5RX-Z(a9| zQ8=haF2uRtMg-S4!^qqZI9yH>=Z?o~k{2ei^r;oQn%sMYJqg+082#dFnA0P|zgRH_ zn#?gwQ&*@keliGNK2D$Fnq`lR)k>w=*5MDMeWD|d0QLPxxD^I7)e#^SHck+TwO?tY zeMpJk0AzgZ>-4NuQX?^Xt^03>zcQ#Ku#{XHdZPc+L@ybknUUHvh_xXOG4PyyMkCN=%lkCUF!DtLpa2DEi!`)!}Fhdo2 zND(6UR@bPkbMqfUG4m2KV|+ejr2g2xCsYqsMD{N~syw>rITZIHbSq5T{L+!0=JGR{ zewiEEG{VPM9_(pLw5LUHhX(DxDdQ|_9tpd#ewf7OoG>RYLmIdzv)$!oD9B=^8^QNG zyX)T)dqfnm!HHq)SoUA4jDwkgc6DBv_{oVZz8BdyK7ek=dciX1$q4&|S^dq`c9ydO zD8TOVc}A+s8A*!HP-bq-Xjk9V?;B-D zX1jgEM4(0%w@BDt)-$Hm{e#%&Pm9`;8_F2b;RB^LexkwynjPlIvrX8f z$r$wtoN#Nhf3+->U(iW!-tbB(GWN5i&^+F4lm?WL#)sWYe`M2lUgceA(EOt2osyED zaIE>;z1Adv?3FRrP4jb#ywRYgCW1kS2){9QOE4prFlzj-pOsgV_$C2|_K~x|(;v_x z7qu9jP^#?ca5QpXWM;XlsFcz58cfv~PL`lBsl(H#tXv3DZ&t|8o4*Lbg(2Yg$mr;sgj$Uh(GU<~9%qsp?xB=96|M+@3?NdpQ-?{X2SuKxyueh<|CDlSUI3%rZ<-D;fb-V!#_Ln7~B7+H2f z4`*7Uwmn+cLO7kkxcPb@Oo1Z!)dV_5wx{ym2xMoC`E6u*aWA%#uOhxCcY77lm{q9-ht(*3?eC?Rrv`E!Ap$ z5wu2ab?}cDh~D&eumq2-Z)rR5H&Bkj9Xd>w;sheSb=c>28$Ba+h+tX~-W5#!3Y5?} z33w-q4L)t3F~;9H7!0p3=b2jEfw5RRhwsD-{_y{>qp=WmF#pyX*HKg#q^g%YMv7?` ziw%vEA18<4#~XI7kBr*{h%NpPYy@$L^6xn8+WzCem7ji4zGQ9BTN62}m#vPv%B1FS z^s1n6r^`aYP#|AE(#t^>Otvya4q`iXO%-xj60S5(xzq{8!Qhbx`MpwKCs4}im$m^2 zn9(H{e>AlrSoQG$?iM1Czn#c#`Z%NAk99yfT`=rN!qAlMFM@XV2;-$JfXj^B5PeJT zqCCevZWoSdLVv$Ac|%ZE54h7_A`Az((brF=3<`80^ZfJd%_Ksqdq0k*awS?*eM2EZ z2h~=g2_yN#mM^IcQaCv1P;x9-_iv_&L^7Ac&bB`%Po9uGyQ(AF3WbW`EUU3%{Y<6r z_9MBP>`MlZ4FKk7h+HR~TxFM{?y2qOS-W84bX^4Jhj7Qyct`O|A8WBpdbtfZ>m@#s z4d{(Ka-#jb>pn+B?sQGu!4ntUxk>z4?WN4xdAQW*rirMJ51)JiVoP@ZmQDJJv1YR6 zP0KQ(IVxS!0f0C|g{cJm1gSTAc_X%Gy5O1civLh;Q*F$L<3*j&2&OhAzG&Ram=if|(*qK`CApi%tR+`PSN*wl#HfFW%jTeJ*NkFUem9WG#&P zW%Bj3EzdiJd<+w&ejO{uq!I8tnMMvmLi00T*wVT0dhsfya7QSyxGpc@-{B6Cf508T zzDYbBcg?zf@FA(Gwf;BWBGCb_c~vinmp$R9 znzrdhW(Pk=_=V@}TD}`E=k2G=(m2#CyY=LW!ORCwhGd!769%c#$yWJ_+a`$4PS_OD zBb$XTkK#*YLF~SEt4}lzvearKk-SjzF&)SvzsI+_g`oug6M#YA&>+>|KK$jzE1{Rxoe3u*2n7!K5sgi4 z$v*n=WXA0Sod|8w7o-Y((!LVj+rp08bfqf&l8238ecHb~&XpbKfRfm|lT@TSVFtk_ zDn>*_1*fn#zIk7+%h+qg?9ba`;P!13bBrZKqijhq6F;mYUfGuloBWL~&}GT{+`<#n zbc`2Nm~Skr6{Kwr^nC7NgPre?)uzBH^MQep6-qTW1Wdy!HWtSZXcJzR-+7yw65&EI zuuwelVEhA~e%kcW`b+=bO>GN&{YcA9q7a`EW~q#m2swD}kfK|dt!F*xS_lA?GQcU@2=-}G54SDH9enZzg}~2w0>IHxGvk+J;-OZ%i(+mU&(f~ z38SpJ-Q2q2)l(aF7%f?XvO1FMJ#e_oDRzMRImLrA*Gj-cKhtwPjU^8-@&959KjG;~ z4NxM2#Rv~H_UYc*4-$R1JY#@F{(R z&y*`3k|Bvpvcpw}y3r$=MG8jQrR_KHtT5)NrUm`2B%nPhRgB8nQwBE96 zdKZ1{@BC__=Do{9Fvk}bfvBOcPD_NR0i^dfS?E?6`ckgRU~bvL^ECsXT_%8uyR(n| zlIYAiCBRgMqlnn*lsk&9-#_K5H|N_G@1zJl{@$4ROVlQfiSxDSe7KU*H9}kGf55Z} zI_<0DhG+eo)Xn{sQChH<=u3ucHJ>;fiyD?Wl=O9Hb3SWF3M>WhKN^C;>E7>vYqdQ> zq$_KysU&)0l6^d_hI5~D(tnk7QATYA)9~Z=!7GUt5!zisi}n=QUVtNTku`j)-;!`N z3#q4189e9O{L`*cM3se0!59qV4-ZXt)$$qnZ(wx#*O6vJrDROHkq3-;wzsIpoI^I$f*q0}W&8wc^{R_8_sc~KKPJ8S1=ddjf?`Mu^LjG`YO`pC7-k!>9 z6E6fDOo({Z!9}m||6Ykc4x3!*Y>G>|f>Wyx4xf{)gHv=FJ3T<%DJ=a9)~h`fput0~QlzSxLp2Uot4{JRNyMSAK4N(-^P_ zL%AHw-6;SX+PVvW_@-c5v}>2#Ou;SuF1~vYc8yJk;QMX%Uc|M44s_J4!c5x5a@j6I z;kOXpu{HfI)zObM?&Ic*g&$mZR~UUh>$=`xhg5hx7%DexlBQJKdLF)2a?!(3`ylu^ z*$F89u4?!B2xT)CsCl-L%rFD*%mjI=%@fL>6eHZ(pK-5$#^!lSRAyZq98t2X_kzeS z&E1I7re)cQE>Sx+{PH$mC-?^^qZn?A*x@bw8ibDp1j6%GHI%bykW9+0P}Vil-vC>M z-vcHjqn%HdI${x0U37g(i8A+JI&97rN-$xVc49qD$i&`mF*1BKBjwXJuSEi8bVKxd zcZD2Zws_|5YQ%pj?gKiC#p!GH@(u^e!s4}=e3U_LPn zN=JTxR~#-?aJLQR>>b@B7EOuX0TtW7902Fh!H1}tz(mhgwqcLevT{u8z#vL>0x)lU zeErqoODIO)6A;a>cQD{2W#d{5D1AQo!~*)Il0uqVfx4Y>?jVx0<|$ich)~V@BfKxp z9gn?tF1Cte_%y0xf+N2)2^rMUw=4u5-E{gGDK=9hDTF5x=~ z!oCfdJK!$vYR>nk2xI&;wK-v zAzry7b{$^ZGkwiO3_g|ZiSANCY4Qq)zdPHQ0EnME@rD2ArJAmZG!|2p2J$ew+Hr=v zIZ_flZD=`7QVd=L@l;yO&04sBj3W=@9dM%)UI&ySC%TcK-qvR8`~Hdgx;Z}6c z;y*1B4M@->g77%1h@@qra>n1-!G?02f4e3BCcz4EChsxqCcdsvy;b?yo)!Is!)SS! zqUwo`@jEC3GB(Z|Ip|MhhV2hz#)G5raU))o+tzcO#*t-rC?+U}GV+tBEtnS|jrU1o zuja;#`$L&T&{2|)!7p;!4Wl&_T4>t7O;9L~>T{RgLXgpu3>f|#k(LX1#yn&2nUb?0 zof?xZl4*Y`vipCwfgE~|+A|1hP0u>H4U8tWl$u&YXCwd;?((WjXIg6IPrzBo@FO!w zQdWqkO0$f%3+Gn{4WGa8=o0m}x`lWOk#rxps=%JU43F5yXET}saAbtkBt&LrsD6;> zfq)546nrZiL${8Pk*^zac%f|(JbtX(W!sf;_7!a}#k~~0ALg^2aLLP{BS_CL?)>&2 z-LzZ>vn4-^g!e$TF`g^x?3sl}>$jdsSC_&!u&NA(*@zSu%{BpI>X!ZU`;-xkKVeGTQ%7CJ=M1*?KV4;mX*%dN<2vvp8w*@(Lt9FajQMxhU0 zG|ldFqWB@sfHt;^Ck*zmJZl4B7sJexM^Z)a4hoUYy9mE?4_?V zz(q!}J}Lj7#eXav3P4v@YgE%3R`{J%7Wh@8Ov4V{6x%H@q)s9o?eoCj5>cK$g?`&5xC|N-M5822*Pdf*K~9{PKum^0KP$Bt1d979qWTV z{1;%XF7+p13}t9@wO0NPF#mp>P-9ixM2jW2_7!sm12K^3MQB>!%x_aTOp}oCX5@5r zYeAf#swC}IWivckTQK&?m+VX3X^AtRh7_FLS2v2eT`y6v$a!#OG=ank2mt7;(ez0~ z7$$SLvrdKM(%tiW+~H&PE%brjHzXJ*tzw`+DCJR&g855eVk-28PpTQvOcsVQ&ZB#X z3(wq}8-(F_gpu|Op_anT3-kt4P|OwjeqZtG;0Gx>^v}+|<1`&taCSDiJv|-CXjrc5 zie==J=i?C3&*Pg7Yzl&;2`AWXCWdiD$jOB`Pt(Yz+#{gV^;WEYX?5-GovH=- zBSSoM9JWx8c?|h^zWvZfYgA%jHdl)AJcPT_hF+}e2BO#4WL9sbx`7Z$$;PJhK1kg5 zMu$tWJ86ADSv7m5j^A?@6oy96hPt=zWy$t51uvGbs|olvh17B_`;QwE*;Js_birF@ z&!Wrj-Bc^llSx;M`J>>0knRTOt%&mu`ylmi?I3ISj-8D#RtPW|V0XoHY=$wFKHX-P z-);r>Tj?g~tYN;__RQ=E=h!)-^;=V&-fnlho=cX(sq|e;(wQyU;HX%w#P}ec0v92Z zY@7gmXX&3&n)SgnU_ji4$ULzy0`-UA1iNpzC1k>SUP(JPTr)Y-Giohbf5+yoAg&=< z2NoU#FgV!oSg%M4+h21V@7S2uOXQc6_8n)sa%wyO;+xb2dbMe*Uo04Na-qA8?V4y`Rto z<9EAjhKdr7@OxqYRZ35PvuAPuOR9T9_niD0VK&Eb*H2vzT5s1^Y<}R5!j97PinkEk5LgbA7i{!4kRB;cKl16-0{a6jwb6*rKe~8$8la0v}O!K z-W@PytNI*v-sJ7|G{=c5CyfA)9?x^j6Zys^7QvcCzI*2^KmgmBNT`=pB$-0cKzGkP zqZW8bzgyR0EoHhptx)(D9^NtsM86hDYXP9no1{Ov&(NJ5dfp?dSN4Rk@;;(_Tv*mC zC(x6LgRnj=D0X~22p;SB_~ZmV{4Fas7KEF-rMWKtVFO^ih;1s~x3!ExeZFr+Xy_K~0hW8DpRM^ff1^?N+ZddA0*sZ~m|_5OJ6M__E~T)UUYNHXJA+uUTi zHaFZSqCA}(YamS1COLa9xV zEVQ+??Oq<8;5I!ZK7Y>n_=h*0RlmNj2iGlbe>~5~!O5xc5r*gn&M5#*aTo$j5ES?> zmAkY*j&u4R6eL<*Q*&h=4)HL*<_=i@6HtPl0iv{4byYM( zfitW#h(K=V|55gqL3K9U)+p}oPH=a33+@oy9fB=_ySoPn794`RySo$I-QAtLc=z7l zIbWSR_tvdiKd7g8y1IL{%rWK|b2XNgmHn*HZ~y+(VCLlHM6}WAYmha0AWLH$6!#pa z4Fq3z>XrKKF4Q&ur6nReT&UbIxX=!10SZm;2!W#)J?7BSSsB%+(5)^$wwKc-ezuSWb_^60&UzvtAzi`3!rm8rnA_O= z{*{*Yy=Mz>_(c+?c%jG)sFk`~=fJ>#Rk=>1pvLP5rF`0I{(l5kvm^zrqJe>djY?l(NV4EQ zyWoY!%F2om6%}a@CilueXjTviprsh-sHstu zFkrkpVM*r1P3B>qx*BYjz#JVN;UJ2WRa8_^2ngi-zkDV%1@(UY`c+k1n$1`a!1;s51J=_xxD>O0$DFS?jRl@j zabyoy90Uez#I-Fio88^qK~F{g;30*f5_w{q3YN&fW2S}~Epz)N@7uXg_4x_WdHc7- z$E4+IE1MK3N4xV%C9A%l(?dKRkn$QaYQqNuV3$Jk3}oOFShV2YA3f-iG+%>kh3fpX z4?UDuRN#Lfce3236GJgsdqY<6Yqb-T2DYFc0^S1 z{5!I6GzWVwqcQ!M?(1+nKwsCeEi%{w-c}Zwnf(2WZjXOg7gFZ>I!8ho0C9`cFeL!~ zU~Btnl)7lzSv@#lg(@iSI+Oxf@F|OC?-!tEpX@;&k97}3Q}D-+e8V5^!RLZ89u`6U z`dyhU4fgFl=rF;X0CFW%$M2@tW=9`}C7m3%B>|nc6G=z8iCgd0&4&jz zP`1@5VAY&szh8_drV)mAk2H@8VkUg~`x5TnQDDnhC=}p!B{$P0MlQ8~fJE}83#*M2 zpUlK+te>U&!naaB_NXX=#YYHgLye2?=H()-zKY@Gk_C+ZOpi-$1NlJu8(4HEnvcVR!mA5HAm8L_1-{D?9pv{yNU+Z z(E@v_Coo;DBZL5VAC#I;9#0dN4y7|)_fsAKVR^_2iZANflTG=fzV)Swq68$9?w7G< zE7T?kb0!;d^1D?aWYXLGIXNkhByq;ey>R+I7|0)H__fGi-ozr3fza_al;mJY+@u_q z*47vx|uTe5P4_Q9GWho2D<8B}}3{|&1g4~SD5o8~C628N& zm677dW{pfp^#Y5UB zWK1a8>!S}n!8$SUQYdpB=Fbx2WRG%$LH+!43bk_#K@a+ zuFdYQVOR-!d1iOZ-BU1h{o#-CGh32jS>Ycg2vrpWFS1eMqIP7rhlcvc!evqO=j9~2 zo=6A8EOkZ3z+rA~ZZh1$zqIiHZ~T~;7?-@D=%4i-G(0>@0cad5R6d6V=yXWfz&#h0 z&K|Ole@zq9gsKgRAXe&Ulo9~O&tH#V043j(Pdra{xdAFZiqkVNT|Ao~+yHo}7xDMz zlgn~MF|a`jTJ}6;8}$gMrxsH&f5pc}!*tlIl~m(3RGwvFH)ulet-uYPOVAfCuI7Up zN9cV8op*EG!G=b|9Og66|B?NtSl@gVMv~qihi7QGSU)uXb@+O&uL76?ST^Qr~i1r$7@G$!~IHwDQDp3GUcT-=e0K zRCqB_geT1iL_OXjc3LYpLv9&LQM9}M;36|s7>I=+DDAXQ3d&|j5tt@PhnTv(8_eSm zT3_L}8271YL}_aKQEB8=og@!GI#{|=b4d4XH`tH&uP5=6Qqi@JxoG{Pr;30(K%_H_ z!;;!)s?_B`EP|7p_8b+As%6BcjzM#hd)!>D^gw{gxgn&m-W9M}s-ak1UF8oZy>bWM z&McM4dg9mVqg&Pjuup%DQ3d)NY^)HU#B@8~5eUG^4sZNk?6sxWF?FSWi4M=ecwF$< zMQ_Z4$@8Q;JYAz#aR%?y$6?2&EZPVcY+o-mDr`#CKzZ@i`{7A~*vi^_5vD~Sc0OqhMw@qsGaYxBkL0nce2NZEn_Yc^kaWK-j<6(boCXV&lP;N)Zk}m$8z5;#nELSo{W#@f6EVS6LxAv!n1<$B3Uy15?2N zj@?#W2Z1$MQVB9k7bt`=9JYEO`8+*eg0?@X$jKM~Vp4k}qoJW0T3AT>lic0CAb5Iu zPB}!!SUdT=06xRy{|Jvh6Dj}3Q2$+z^!eBs7*0+BaR3}{lHQlQZ!&OmofQ8>k`CS7 z-53zS7U1%L0P1_H@E7WAYLsUm^nVI0#?$~&4RARM%Ey1n!UNhs{$gQa4Fjzp-?9Gz zMQ;3=^t`;w3^X*uv_e7#QmDm*d-nA5TsW2gCoDck{RgyrvBIX8m!FwMd_5azy8SqU z+6jtNg#5%7z;usN&Ha&#tSsC9kLDjpp}iwQG8?;CAfFhORwrg~XZSO2r%nS7<2WFh z$)F^nfBW~ygq9jlr(TOwF{F6H&-&Pj#YOIN`E*W;4GTg-UZ*g2X6B)6OJM88@ZZ$b z44$8!2z|1gH8nNK8!e}|(LUed%~8w}ToK$qfh7rwYjLqV0a``WBSW$;Z)oA+6HJx3@$p7_i0e$i#xPvWkjaK)Zx~UaRW`o|&mBj?>Z1-j}&{vfVXc{RM?& zMm;3EjgEF#H3Mr43)k+MnQL0{cwqkuKKoaaP^OGcO)__Ly2Lgf6@?J^@^Epo(c(Nx zFDSU4b9+-!QNgmbwDj}3^5hc>Mi7xiWaR;0nr<#Pcfc{h2*$fSoF>x)2M=-eWXMiK$U%a|ON zQ(ta?7N75G?rYKbTxpzEGrN@HRpwJE^?13Zr7uHkYXT*-l~=%WrE=kTBoU54h~#`Q zkufmWjvkbkXF>q(@grDl6yU~Vj0vOmhyxoQXm zhU#kzpH>tE;FR+=D%afOo_r$R9Ho@Xp&H|A?n3K@iWi#C=Dwg{L;-z7TFwR^9UQ2z zPXx}Vi&q8=4CRGz6qvddzs>zsYSas@zJC|IxxGcuFxB$){Q#$>rPadV5G^r(yxb~v zc6KIK26{R|TcwWY%U1-&e*vFFv#_(v6&5K2-=$f8l^yR3`WCB6KY=UYaa*b8ozc

^2!?=Yi2`lXH6kM7Ut&S8qK7|bpBqX*V693d5Goa; zI!&CxnnO-r{wx^i!isNX_}lLJ&<=FfsCa8@Yb%B#6L+-GR^~7&iI&6yF+Dgq_(Pj5 zuA<^3KxP(rk#nujA;LVLAuS2b7i3V+shghXT>R3ggG` zKY#XXp^=H$zd6kVUB}}RQ8-sC$8)8joz^@=u~aX>7T7ISkV)pKl1H0?jvZGv;FcT_ zqC$azJKyN6tSm2o3nEp!DKaa^Dk>^6bv|ExQZkzadYR6EmZ!Kh7KiP=U@t*~=ZZZW zTU#d8T!|r1N(9}CSNTTko4Y#!(QrHp>${2cw7}xjl(;k#b8{Ej_%wxCNEw)nm1DMJ zsB#J(9-i&bNj5h#E5`Vc*U)%SmXHYXCuIN)Lg^=`pwL=cUe^CLx@X_^__`A-6oNp+ z??xyd8TZhOvy%d35dHv}1ndua;35?Kq*Gd2o*g5U&a!{iYpW~~!g)NLw`Tyki|@aZ zlGIc_cVvexZp%0Z2}fY>R#m2e=Q;gb<3t7@F>pA*fUnf6mYD+`U4`$DTq^5<{A6)y zsgV78+Y<-STjgX|+9=HmoZ`&3HvWRoE(`j;>#lWmec3r*Yn9Mt)KG{g$=`Q(bNl*L zLc)dm!`0tcr;A(h9cjQqe*j$7u+k2YBK<_#Ry$T zmNw8`)u@syA$69@ZZ*?3@~)tl9W>jvT`^_1)^e8jPY)}b+*8uRVT<)TIyxkO|NcFZ z{J}R4LGk(Z6B2`%vf?uR=gcN4)>>X(R{SK2nsh7p85t+yNmXuwM2$LtQ-Kycn4ruq zXiq{yax;qTV>ef#MlZg9^Yx%%+0529qo}a(A#TE!cykr#By;~HIzX5`rt&%jffhnV z=>ioZ6NKAGFJjizC~I3=?}A6q>3rz~e2nDD8<7J}4=3A;k4@;m zNg@8lnF=aj7fLO%W4`feb}NY?OO$A#Md-c5h z4S=?h8g9tOKs1AA;EvS*K?_{XiTq9cFlx7k=kvt1$OWXGEt|TGPbwSm?aKJiH z&cdwflUa#dmXe(_g4g{+E+GW{ z`Df>B@emS|BxHigXvyOiMy2O3_8)X*dP~I7%^+VS&v&f3JIn>mogcab107&)l>2MN z@}@}uRCUk_l82_)?92LB7a#6C1?#gGOdmorQ8zm)Z9QHxyv~6D~>J4LR8FSVk@061VvX z1nZH}%b-Ovwlh;NLaylz8n4c-U#_5l+_k)_H-!N3nag5M<%k$FJEH=So5W)xXtY~h z{q|16M>8)^jN!Fpk<0X)L2BDtxBoBlXixk9CXZGYq*a2QJ)8qtXVlo=_YDZzS>Vgd z-KMI~L6}Z*4+`*Lk^x_ss{#ufA3UjwKPg?3prN1DM*T*njqjj2z4Wxdb(7MN2QLN{ zx5h>)D$zNto>9lnPon;`pus?rTBg;BbUvZFQ8Q_O5dzy_R|#4839h-i1X1$+UGpIf zw3%iRcZLvY08dF>CFEB)dcdFa-g2*CSFDHFad9CFHcOy3GOXTce-+s=#vH?CLv03; zR`vt>FPP1gQZ9m;nB=VJR9KlH>rJSxo1Z9P7YvwURq_h9!? z)!r7?zl5nFLdpCiQdD1_xZXs8v7OiX;!Xm$17y|J1z4?&?C_Q0R4yi-Y=pwtwWsET z8q-*dr9VyUBQ!5!wB(ptR=!H`q_;MDTqsnb@-BV+~R2;ec^yOY6Ib=sM!>Hf;EaDfB96I6i1 zc?Ot%nH2pNMjRk&-+guP*5q~u_MT}IQ;W`*_i@okQmM}BgI(-uhQe+MLzqdq+FBR* zDn!H70}=8nCH=5&({5DzyO9S6%GS zyaRUHtsP|B9NXa7!_uB^WfU2HMG&ONAH+$gzB4p-4};NRVsP=l&{=uLbg}%lObuV9 zx0;P{B^vBukm#9xqA@h+!2zoEa(H1HoMJ4MofO}AKoEHIDjPXDGZckO%HY#999luJ zNuA}TAP4|ozfaB2`>B9}3|-1G;m~2_SI&1CgZb`MKk23z6Xp3-q zZ}3Fe_~MNhh6GbeRHlw-mj;)AdnpyK%Sot6cP4W}qPGyF!(T(XH1%uf7!brYN<%SA zMI0|bbEeOv2Fmr)4h+PmBS^FEv)^w2i@96vIn2G5plFLR|r<@iKyaIdb7s-}v%t z76;5|iQA!x0{>^HS4{E@-{YJtCTaZPomlG!qvYu+#95r zfOd9xydd83Ra`PdB|R6-Q(+qKw=1+sgJ1F^rdmvKh#WF|`(dWil479iHU)^{tk>tA|@9$ILc({WC%tw;<`{nClqYubdAt9wRTder(sm z!QxDo;f`?^H#zOO4?8j`Zf+#-sKF_#HR|jqPGBg)Kh2kKe(~^|Elgu>tnw3|?$y@4Uu@8h~eql>f2 zx9M>e5y5GAB_`MH44h5mJ~g<;k2y%~U6RJ%lZ?GegUAlm14WvI@7{0vmaiAx6@hvK zP|uAhiDEB3c7flhg7^M zev7-!nuGH0Ft%!z5{GrUbC$bPTZZX)KUN~%x;1V)P!<6KCvkFEj_Z^^^(-_+usC%OACoJI$RbA}@ogSrK!d|Ed5X8Gi)X#j z^awb6To2X4{mv4u8Od?;o_QvpK-;m#THQLR?gnSzo4Kh|J#3M?=%z|x&UeSm$6v}< zJEvw27SCzD&ldmY-8idVLXZ$kM?&JC^m4w;GN43EeOAvp~ zBu%`XNbU4H{qpDr4DXd;fmF9hq!>xb&GGu2q#z%*ad%=_VNFx+A9ky2uX*j+l;{|@ z0;SP3en-NSTvGFnk5R))CY&0@s;9T-YTQuP)YEB+d3m)i0&_i@Iql@$o=z4c(NSso zhU{&9%svI{al4$4o#T?3zXf8G5dDR`wao_e)UrxhKK&o)=Xj(H=troO>ZB3Q}QLCdH zDE{_Z0In4+o1kJ>-*R-S_u!U|)@)$zBF(e=L5;UT5sSj7a)FxVVnc>7y~yk=K?CqW zeD7GPURE7~wgcZMx6lTT|9pabAEZ5Z+}~V&9<4RX7cIY{VkD5yRYns04X&$>>bX8M zTs)nOr8AJ2{6aIB{fM7&pGy=VyY|z^v>M-MbsGwVI*gXSX(6vBz|$HY{+#D1xqX(J z9;yig7<-XjoESP?-HCYei7htcsdpfYi^Fu5m+6W_b{o&xN4WHOi3l0KE;M^KA7J?}0%thJlf>O)Z@lI|J6D)0=E5Y@N zxm0PcuE7*H)va28s@Il9(fJv0YYoCK`U^wLA2k4*H3O-}^oZWhXu4GY`592gijbj) z%&5l{>$v4~+E@1zO;^8U=c}YVs2&Oe7=+W!qq8@WpWj5K5Q%}sl-8?00FRU2Zs)Av zl9QNf#Ed>)$ATr#MQnH_Fh297 zi|Eh?36~+V9r&a;vgcLJ8&cFme~Lb|{SfhF5_7&EhIPo2IygljChEuyLelsJP)D&~ z^|GYX4D~zDm|> z)TJ6SX^*=X^Tfl=EQJlW!xA>;A!(~n60dda`sjb0GC%E6>`eQw7^$0p8`>9gQeAv5 zG?MsS>`ELOH^y!~bj+22{7F5=GAA*H%|Zr~a7-wAi7;c@_e>s8q6~_*~fM(hO3qkOE+ z!n(S`jA`8*SiS$q(`SQ=)SiNSDB!_IJGx-GEzdD@PI^~?5CDak(+k-(9pstpq7;)A zx(<$Q?0TwaI=p^!LrEMJYN0wb8A{eN_7;-ggoYbENG)vBC*4M$;HM{SI_9h7`XE8) z@U;B<8(D2gZG<9art@L4o~F*3n?GAX3*NU?mKa7}=;lCio1ThRd!esCoLWqre8GQb zePI4M=MILy+S24Y*P-WytpnI0_;A3TE2D}&FDXG2;9Y-v6ATQl@ef+oVqoQFR0GAR{u(7z=DW>DF z+ZnMzwv_Re{NON8Y=g-1?<$7*yxk+K6B8-&n22O_#D;?Vvc66D&mPBX)+if$e@X^k zOD=MRQRw2$M?s#ds=dJ#U z_2odB6=@tdau2(H`fL=aS8mH=|3_Q1Bp65dJ1VmrUrcrd!S=PY=ays8p>&nO0pqD{ zIMifk&p)J6f#lW3E;aHey0TT(gG1=%Hwa@{Gq{>`dZ@!d3+vFHwLh?F z^|#%PFMalmP@3O@0AcqIQFaRioP<)x03Z;)oKb^!kSh= zCd9y|wvS-HQnvd*#paSZ1n+<_xiSD`T$|PA)eM|YeJnJ*De{jbnOiH_(vD@mV1#8` z%|N~FOKxtpGPXI|8&4*l1DI7pYorJV%3q8`zM4zZUAKm)Vj!Dn{y;eCbn#EEpzXu^ z10e3ic4dt*Qb&enpI7%U=@57>Z}TGn84?Pp#HY=BYkPa#P{K|*DiINvCuZ;%lj!Sh zd>vTl{JJH7RW?!uNSQ9qI<EhGk9!#}st^MKPu}YHI@OF(F_SEex*X9;6o1X>Q zyWXnGt7#OzL-Wq4Y)0vjWslYwZx6zMN-@V=gd#2e+VqXtE}i8DoH8v|_@v2AT~oOz zYrj8`m{ewFTCnNBr8}5=aan{gtSp3dHwlwG8AGXZO)V* z)h@Hv-@%H_nvufctwD$Jy{>jwWP|9nWIBGzcZj-obYBa~Gq9O<`Od+%i>B8yAj>1^UXB*Kbb^!;TLmyVdmQ7_v1E@WspO8=EG z($l2zi)S6QQ94ofTiqNCtYsjU3n8=VQf11%eGqnImT<)-04~HUR3v3}7-xilB&x+J z1pERwWkoZ}VHPBo%s;x5DNQ;7aHK6=YT`3m$y{phSac1dymOwy-iE19upU9CNJm7t zF7P$Sm_I2?%~=y1+G7nWuXF_0W=VN9Z}9T<(2gJ!8S0+-5usH?h+~x!r``&hGL34p z5JVDagcJLyf(95|bE!Yr3g1ObosF~xzz?fXpa3*hbg|Tv_?SXzLtKF9uD!xe@ZgiF;xfY-U&L_t30gYceIz+3q!g0tnZWbzd#L@Eq4uB6dmsj@k9#mEiqzy%`-Iq5&rrInj z5y7myJibfc>={}|YWc0=V7rb$`@|LhqtIAgJA(vn4sSkt9W~JNh{R`EknS_aAW)56=dEQSHE>@MN+Qr@E~4Kp*LR8fteF@IgY2H=B%(G`5YL5 zKOtR0&|SZw`{*9s6Og^i8m|LFw{%ZqxMTSbFuv;B!ZhB?cY|jiZzHuPcak2f5ZO#h zZl$U4$vG)k$oyT?u{Kpdo|Bflx*N35WkSW{g(gfp7VR1Bx)5PZd1%;}5>?G)6U zTeQm)15K~3l5fge2d1wcLiZ`EK7QDA0Qc!~E@!=kbiMKH|5Tk7bWGK55FXHLb+#D?y*`w?l zQGWxyX2<7_!CqD(lScCBajMFFpLCLMW>KTIJqlF2mm8(b_i`Z*)Jzbb*>91j7 zstcO{PEdkE9?MGQ)+`l~Qx}`oX_Ua2_kf&p@$t?Xxm~kPZx@jzyaG($=m_M(qIol_ z8h!J;+h1BPST!X6G873R5uwz#>ov$bWuw@?Gy)VT1VHE95kX)Gpo|S8%@&*3Kz9gT zx0)mrPtU)+S8Y^3;0HY&t$$R=JaCnr3qV=ltp^bg>6}l?pd%c11hZd-P~LkHb+Yhy zUR!YeAwB9Fh^aEA^|6MB?#Iq3jfr74#S;MLwzyD}1O$HxnPbTZOuzo<>`5@B6`&_3 z7^@4ux0z4+Np@B0n2;Ln*W2gq(&3OB{<`I{Uzyvd`)k#(GW733hHsD#ij&*`N#q= z5`#pX`?}s*ZtYyc-LmbA&ADN{sneL<1M-r_o&Ik zi3aK&0DXVfPu-O1*ECipLxtN`D^aZfrGwBg>;_)a=)60!DZ>ZfVMPosR5j}H4}e>| z-XX`s6MTS)KcMtsCLXN=La3qz?5yH#OGnx_PqbcSwEu<^tVByO5k5~paPw}{HR#t|K;g=W_i(~xXU-SGAav13oU+FpU`j9XN>S((d=8E*cg();EEhMug1*m`AI3$ zftl__8S%;fHK-!j_SUwr>FAkJqFB|M3!*P=xE5TTLU|vYT&pbkXL(f5M{}e~eKFRS zUtQFoo2V}AKO1)6vPsMdb7x$i#B%;V_U&71l@QU$#)SY=%S3)ub%5tbjh6Rv4JEHJ zK{X{!_Jzl-wAl8_)&F+Ivd>eltp5t)V$E6RSxWQ$?=g-oCe41 z5YsAQpAf$2Ytf%sPQZUkR!Kgr@P1C%h)Dr!EtFkZ201OfQwxA_0A-bpFB>$yOMh`! z9}~E<;6a|kA|rxDD!VPSfOVMcMnIVPc?bhdGmtK6*{t)S;IX&YDpgO{g9rd$#9Ac2 zh!#TS>e0coqqH4(Hf(9MR&AfK*Wro7_w(~|e>*F5MVHl0{Bo`9@3}XivrB}F1fI$2 zFk*ut&VTEw3h{Cz<8aTRB4StL>uD=;fngHQbe6EwsDc7 zERJG>d=W1`NGWyw>-2twppV1f)>a>&@#g-=+hbb$rJJ6ScV=)G}i}oWJ=` z8F8X*RH@eFHv?4AdL6~_1cw+LWe1BTj3r={tL9*>PM*8F&**G+piI{8r2$IM+@30A z!`g4HAB51_X97kK*YpZ{NnkUj+zzzJ<@``x_8r-hi{E5q+IZ2|#3eIrY z9WTxi*jGD1t4Q&z$MWB79QsrIjRUD#BcT5V-|7Zc^NrZ@F4zbO0W9j0j z-J-zyB!2gevI;H2hebUhAD^#VQoM&HSkTI?7MGOBYtydo@==O8Afj-0;cwHeRNbkV zS^dG#Xt3?4pio4BVJ)Fj>$gHfF5U^s)J)BcY@$&w(pfm+XMcMq{{gSRJrQm&)f#@8 zcP1Tu%X7sbX*BxW&AbP;2_QkS?roAbYgD6=!S9QnqBX<;+D>{gFgCY}%^q1T(LQs{ z{vSxx+J7!N87LC4mV4F~pdjzhn7t=NysCLnzF#=TupNWMQmUdj?t|tdDv&9z&y17q z+d&Bn*B_{CKB*RX7a-Nb`0PxNw@ud>_%FU?uv`^2Z2SbWGB*-wX`K3N0Zq4=HeXmX zFR}f#TyQv_TESsH#mdi;BRIK`nLA>?iQ~7bx5}FoyNw2$f~NpCo3%^?wa((h`Roq4 z&}?b`pxKv`>oiU2_O=hg4YVTB_LsZdhC{rG5?oQ`kmaqvrS#o{h#o%^5WI(>DgY`37DTJUL6MTDFh zq%m*bzIRVnNF-)^cfDXn0o-%q^hlox^C>L&&u?$6nRuUIyr^w7c8`oo5{@!i!!0v! z9oMKDyUHT!thG`qNvCHxEq2w@YA6wW>ay3*j<>1(hUqus0!EUr9i7YStmp!02JJ6g zny>+GRa63V1NU~J>(#5JbR|>S?~v(7xxo(SrEg=N#8=;~(zwPnde z`<5b#g}YA4=~dvKKh5CUA4*PNLc{i`WM`1pC&2P0#JAOze_b8}(GeVQg*FN-r>;rN zhI@+dl-2-fNwHXEncNaD*giHBEJhgKEa^Iq1h5x$#(Q&utedb}vDpah4V5d6G_&-j z_f__!W$l%GSTV>iai-8i9$ZXD!!-)9#>B^d=}G-X?g6o%i#W-V=D!O)h27?o7xzWB zW}o>foL?3LHNH#=Se5xLRmnXj;o*o5#m63`Sp@fB#uaDq`~m+F3ali|dpy$Av%DNT zX|%cvjqj)folxKNvXT1#n#=AwsfgNs*$|hIAZ2AG2z4zV$R~P3{k04sCb2N~c0qpD zHg()hR3`WcR=##h0@5{Y366aOulcf~W$APopk_8$k4LLpq*Pi!8vOD7NI;|UbFaOD z4_qhoPfI}COKz$_DDazuz{R291`-q^0n{5sJvHQY!@|0K5rlmRNR4X@54Y4x=&E)B zmn2k^-!z{UNPjxsPUqMo*IC)Yu~~C@;kIDML+@vs6f_N_P+f$+pXT3>jl+`fa^C9N;VQ(n!&&*&`jXCvxDRSs|jev#9^!gjfMBy@yc z*&d#_y8Lk*QE*kjM3vuEXD7(H(a>GztGNB(gXmB&_JN-y5a02jIhNKkQ(5pA9C(HIPDOcd?vQ)J&R^%OA+k5o7!Da4#j#dv$cN~Bon%ZiOE>k zc0&iY)?(~X?m~xw`Ho-VFSgTWXuFJ|(2hmY?|_74SN7ZvTY8-d4^IarR%ZdCou-}h zS26rjy9F$A5J|WeKXUV+5e7T|qWNOa#644D{@a1Y>QFB_)=X^}cPiqL-51(pLHbp_ zoKc#x%n1R)7`A3Vb{;e;R*uc{JrMt%lgf-?Hq01rtd7IQM@Ds|%fS>#d;m8IIFA=F zMYx<3zl+%UNGqoeR>F)cvl+$|@G-gW9jd1G;Q->hF>DsODFMlDT8!Q89|2E*TcM;n z_9I`bSZF0?c81>3{1+!ZL()hRndJ6BG(ZG5B7z%`PV-W6ae)l2A>4*SJ@sn0wdnR29NfT8|Iyh$(2W*^Y{G{N%)Vkmd@?I$ zduqhW&CyWN3Hc~;3*EOX^YG4X+z5G~^A#4!{9q1cqumjE=J^a|rUDjkzG~=!d*fTx z!;5hUr=wd#0)O(HPh#@J!x&SmA`jAU?l^893yPE~)mFvVNpX_nn01C9jJ{O7I?WLd z@ek*nR@@&+mi9-Cg51B!7`@g+G#Br&=_uz!HHN;Xw9v&HU#;Zi zItS83M;J!E)s^@kb*l@GI@E47`z%kqQPYNjw)O@!%00(ch2j{H7LamTpx>n-(7? zMqD_cXQhmo{`(L?f3~x05c6+r_+^^NrjI(&x|9Z~D0YF^o2-Rp0b?gU*=dJ$!RqI= ziJnpgH6vR!HGb^Z3QgY}oP;cFezE?&FkE9{It}GH6_VXwYQff}pxb}Xtb#9q6`6gl zA|H!F8;gtz&^YVU!;|+5RNt^% za_w$FjrS``-5=mNEP9^N`np$5UY)4=DRK)Xw?eb;@0(l>K@@I8(d_nVcE4m^>s7k2puJ4UY!S~O))U>F zSrE^npOs&1c6IDbNoTP9`0HLqtdB2~gu7JMV%Z?g_3^kzru>;0dEOw(yGI2Zs}+7R`&=ql%BQ`v}&@fCK zCP_$Xt?c)*H@9sJYw~8p4{!Gs>$%h6ZqCM4@DTtLY3~TU17=K`-4R~~HH~(lcdD-= zK*o;1Y0oz+8(Y8FG^4(CEX9z8a&4M8lm2-)j$~3yyPu?1$Xco48JPTon;13{N3jgi z=zqNnS{4>2VRwUMX_k~MTxYF=dG+G^|B&{UQE^1gx-bL??(PACJHdjxdvJFM?k-7S zU~mf(G(ZUMZovl&7Tn!}yTfggSMIs@J!jqZef@)3%xDHl&6WOW~&PX$0Oot51UD6<2iUaCay`1H+h?NgOg8ngwg>s9ZMc zJl=jsfyy+o2X9ES&`*O)aa1M_qoF&Z8%Xm-i)ItDwtZQ9_SfIHRFJLuUhHt5$OD@_ z3~H)d&%CgL!#YF5aYG83uAiKoI~WrF$E7|%Hu$SbuBoK zFfKo_rj@t;l+jtg(k9{67p`HDwe%&M`zg1Aw;`oqbYCa z&(0>OG-l+?AEDxUOO&=15RuV%h;Yp66_LD#rpq9!P<%lWxxLBHcCdaB>*3#1(m2Tr z&KC$&_!cYHZq0O>j1&y@TJ1gkrDS~PZ123eaXKt_9e1p`6@}jCk|Pu6JFnl$w3Ipx z?IY9Xd<@N(J5!J%?K|E5E6Ym{WFyamZKBStM`UVlkBY>;)u{rLrG>CMj|xfdDpy!w zmJ}%qgz%QWnNU=`EzpHq>jGjW-}|{Im>DkoXvzzW{8ECcA@*yI6l3EHXnuDX!EXCf zM$B@)NpM1^-nrh!7q&QpK=)W3eneoPZjYqIXoj#p8AaMR>!nxOd#lJrV-N-7v~i0g z#gKOoNsW5Wkw@q@dqX~|!-5LMw~EF|Bwtkclh1lpd>1OxsSy*^$z;p>pM5b4wLZ?d z?|ojgyT$6mt-4pWG(|b?bhZS$b~EeNzTe8vR-Vjk8bA=58Q`wk zRf-K^Ql|5>Nsn|h?|kXO9WQP3shDqWOI|MG-!sC(CBa?(uvN_AcHyBGVP#d~FiT<* zGI~>7xhI2SYF4)vWQmlZy(}405nP+M5jM}VBynZo6seft8qkBOk>p58?uV1xBMqW< zxquieAEtbIY6wijA76H?^!sI~G0W1>)zUn( z3@AYK5u|ZUbc-F0HdO!7G9u22_K1Kpkbt(_uNV2lFE|SFa6)#IfK>(~!(A8$0x-oqvKNl7KWM~z0SceMJ-w5OZ3vUA%{^%|N z?v{_p(XRJfSlepZQ5wNw|L@%cO+*@DRtIwBFY~TW3E$Sd?lW4R@{YQU;Hw5Mc{biH zl)d#A*)$BWHjNAE3T54xEVDsh9WR3>sM)alqUdzzNZVjlB_$#8gsC<`+=LL(WmoCy zW?MtVOBfM2A6%L?ZMuu^_-dw{_DAzP>RDg_x+0FUW4Rp1jW@7-28hnPBWy_P{DsIE zbKf~ryyy8rc=0w`dp>Dbz(m=#dFvc{lK%p-BU*Kuv9R|0z*rL40SzV;gfzqmox4i?-H|SYwf5+KCz=|+_855FtcU*HNHlF zq<%sx%<2KOmlpC+1=~g9Y3i0Hb-c@mscLU&s!MAtV}4p?i{TeO&sB_G&_QOf?buP3 ztTDq|$Ef@AymNz!#mjM#sAZ3tRjceV*qP@pk^>rWw|NdUtm(QOXA9SlwZy6RsgG`2v2ggO@7 zmX5rf+@}s>WAlOqc_k%F3~(RQy+dyJ{i5b89b{x=vu{An)mA-;HO$pOV%cT{1sp4l z3KA`3Di#9Cd1Pc{v@kDTps|yv$HBqElAInN^Y+VNU_u=?M=^|hrs>lp5K>Z6!C+%! zx7O&E#%I$T0ErF{0dZ;-oh%f%8k?J|t2OA=7!q}Xtb!6>6d-8y60lG!p2ThQ&kwlo zkX-~E2eDBUXZ6_>$bEf$XbLBPYfFVFRGz)j_{zGAYv=Vq9<;v(n!z_*x~f@s@1 zR6Z|fZoYW2U;|x|;}V&XRmic@PL`7&H1t(s1d3lcnb{+N#g}A89O#`L;kb&*GuPRk zsdILIVQf`Nh@}e9x0HW7=^x$KPxRb->^fBcE&)!Z=j(6D|K8&ge@p&DkN@LgP<@1- z@)-fo&T(V5J_5v?s)Y3PeTQ2wz!zJTFGGnUQ7$SHO?5XAQeY<=j1ehD7#9BI}$L?M|`GLno5AfYB~x60&h1k4yqP77#L1{ zU0v(1sZ>2?P;PMuP+sbon&u>H7He=2N#vQWc7n_T9&fg_Wp;>%n)iA~Hj z(XaxsBGp_-t(KwpW^!P2rc@MBhG~w}pZ*wV4c)CPqyk4SBGfxe0D*j$8mp5SYI;^0@bchI3!#V*78AcH&BX?dr-rGx?8AkMH z92mrHYWeEkLHz>B=LGd#DxRNI|x4dtd3V5&-X zq;gRfak{v=GV2={j2JY!^>X;SJKSo7Hj#ywfgD^4K5CT1K z@z46i)i3$%5d%>s_+#z@_ohnGIpqE<=pDk!>gr~G({3<1*;SzHT`eYNBL050ltkk2 zWU-bl5TNa;1sLO0A;iMRXlO2^=t@G>x_{*h>y8k{9M zR5^0H6NT@hp4%CW5f49dFjGmzOGjr-n+vcDfVn>K(c@t5AOZ+(01K5Umza=|Vc%bX zp(@!0ESI91t>KKj!=N^P_un-Um=rnTU@lt;^+LcMe6huSFKInn9LSbXYvZ1RN%6d} z%<+OcUdbycoDT?_#>q_sQ;+Ysxcmo^@6Kp8lvJ)AeWF}xamJlOhRd-jQU~;TP z^2g~3;MQ&wCAMPUz)Fl5dU^3KEG`lv6vf6TBw*sinA}dGCxntQQM7%#Z;Ld34q=JfE%nidKO>f^FFP)7wG(SPn+~Mixvzf0-{qkUX zwBr*KcflyUL1F$ZS3}kYjamNth}tZ~{GRhP@OpgR?EW!8p6>98#_hZWNj5L4rG2v} zW7YHA{u_%wG@bx%*z?YZD`mPKj(5P{ezwYllree$g0OKOfT<&%y3beGcx5;$%y!FV z-USBRFGmO61zDtVi|^IBe?`p%r#$3;y>e&v%McyOZI#6O-FAUbIjkU!%u1Nv!vCu8 z?(ykDqhe6^g`_4 zvJu6#Q7f1(lOpGup7f?bBp<`y(Iv*pl$e-VI2e3^*7EQR`3UXcRHG(lvWZat;bRJ> zGofTHWOux7eH5{4upip!p!cp<)F{AWF*o|?D$rX()utfWqc8?&VxeRXFb5I z_)>s7@E19=K~bmLd&J(512$7t90%bt=DKft9N$e;V+EU@+(_$_Kq7g^kZ_25e zQ?4VODfQ6zTseH|rIr-4D&3cEzU<#KaruT~x>K*3+UI96xu>F?j_%30^*O_m2#-c$ z>u||IUb#)RNOiTTIU}_5&Y+>J=cQ1P&aN-ww;U7y^GQ9rJkPLww0h+-<9(aELg9c>MV6?u6XeH1c!Lw|f{j=iSTW4bQkNpka*|K)=h8pxsY+g|)sX9X8L zdnpJD4W={B;{uANaLBsCYyWaXrSF2b(wMTY5P#(uq}SkoD-HYI4>X{q8eSmV@xe;0Iw!rZYwby}&eo_%H@a3Rq<1!FMb~QBtTP0(8K~Ju#ziad4+& z6K`BDHgJyaxar1u3(DF(zSdSxp2mUEGQx+zBNLZ}XJoa~2^?66y$Dm8X%5F@MZr&K zTc#Mc6wqccDA_N?`hJHXB9eo_HLr*fXfTHVgX$01Ls5iw^KL`H&*sx{jWykp;MXBN zC0|)Ff0R#2`_gS}&_!46j zPXK1C9d6F-xmULDwO!K8MN)){j}nGzlNk4vEva{UN^}(XAAxnvoHbWWlnPIcPxni~*w?X&b&^)d9?-ygkopNq^E?leu zbJizuG5T~9S>Saa)gnM<=<^gRzIkh9Lf;CU137YH_=1E{8c0BnUpgE)ZLKS@ksGZs z=V2cvq|&764kKNd44M+j&P{ca*<;f0KjyHw3)9&4E{2cK5jwOgXVItWul%rqPVxTj6jaqI!(C59(+tybEZlj;(gsjr*H8qt(_1cekX70-m_528^Zstv*FbfE~D1~ zF%<2Aul+DyOh&1+c`#3uj1!HU)%5iba~G1vXV_-iZEu)>& zA>=qYNMINgFtCfxo+$>i5+iBRLxtfWF-lL^s*s}%^wxCiyv_9qv_Qud~7T!a7jy(-6rPULjXy_Je zFpwbhh-LvK`EW_VVNYR+b{XPsQr<80LDoR*xb(Ni&n#gWQXO}s0B^o>aSM38^w~I3QZ3Z z`edYEGMPNcw29G|*q1Pz6zD%6s_MhI3MEKp5>vGi4Yu#lxyTDA)xP@dITI`&+3xG( z$Go|v)XYBrFyhLwAn1>jjQSyi@ai~e+Ac!%Y|eB-fYgEdpl7a}X02cQ5(NNI$biQWe$qkHCMwQSBcq%`2&BMLDS-UtKPh$ zFDb5YlMyK&$KPkw{PeRw-9KKxGK9J+HqN3+66Wwep+m@40v7`i79YhUt?<9fKS=G| zSO~Zv-=Fa*W&J>vJ!mS>P=Ap`95a*Pqdid=@!L{gl;ho{$xzaI1LGkzC_1x);B6q5 zSP9FjgxD(SlB5(L2epRkB0VeNz*q@{oE8-$XU9$aaFJw4T`TUk9%eyMV8ywuLF=99 zsye(y@Lo*3c<<@84}M`@QWozBBs$$A02s(JT;n1lj}+9CHRM>A?A`&&|J zM`Gv)W)cHlxVAiYZ?i1!TcQlrvhnz`qCS^2$*E=@rA{@o!ARo#fzO8(3BRtj;fSVo980?O! zjLCUw>%6mNCY5FLG}MH$c1oTrfejCe)tkh1v>U{oMU?NUD5-{W;S41 z>75g!!j(yB>P~_>(5V&|z9FlKB%yw5YGyVG1o26QkKrOhov`785y!po3n?#WRT#E1 zs?{YO?88V@D@G6(`R`>)iJsSw9dm57ecz^bZvAyT(&}tISBLl*u7_lTJI)=YqW>uI zxTyxKr)$O&L`{t=uUn~g=7$uoEsAjrh0tc&Oi_pNx$;w6FkcSqgTqFq*Fdp~kwO}Kd@6CHsSTwSaqn2ptbV+}I@w4<-1zjK6 zVqjCW-k{i5H7_%@^M|zft=DEl*Gtx#3IW; zx&?5+vR!Xn7x8f=ALh94MNcv<0bPscuoDRD36<#manr~mM#hgRY1H*~iRk$vpgU8PPR_Ydglv-lF zVVH18k2g*K>&Ef9EmHBhS9b>UYsLY=VBEI+PG6BgFLCr%L-f@-d>Flj_NGK%GCg7| zxhyXfXI-m;G|j=iE=yc6dRN!U$=Rfd4EPgGFW~`SgZSgIMw0c|54g|t($4!Y=f%Pb z?D_~_P%+!}oA0)XBakGo{u`A#H4nGvQG9E-zSxZ;uRm4OW!6~*DJ2u^3Xx{=)w zp-V}}>68F`!cMHIr1;+Zr+*!DX)LA_;*5Sy2O-b}J@O2H23=0c)Cyhi+q%+iuIv|z zbrud2c;9(H)E8^yc6vXcJ$02OyIU~S*%iNWP_q5#Wh$BRLvHONi6FV4uPuJT5B#nP z^Fzt#(>#Ozn6MuV#C!X$t^0)%OG`SI>a6h_I!r-Vu?=cVq@yhr#&M^OKDY#>J6#~@ zOpqNs*FBLyDqUDw+VS8P6Krs6h|XD<`9D45{DGFG-5qdgvRF3}YR2(~klSIg_ z%HV*)Z;lHpC@CG(-TXGSu#ED;5x&9Kt9?Ddx%~U5&O)?wCNGjdN|FXQmhFr#454!~ z1}1jsXT2Bkzx~-foJdL1E@*`2NkU!UZ)3FD2tWdSp@njn#9|Y7kq&_w`wsuZC|NDC z;ppqhQNbF)?n7K{-^!hnRIL0Z0>J|A=pjE;@=_u2Op1Xvp97O6IaDg_MCd{#J_OAj zvP3V=X77)p#$wRk-ohKpR{Er>x@X1K$#ia->-3>MD67Qc`w^FS+3Itr?Er}LR$*>|B4tv$@%dBqP- zEFQ-5*P{;;Y#LtvWWico;cTZ>gR%qam)1XCYU1*m)4E zux(c6GVS9~8;ZD~p<-A;2}|PlA#{mzw{8fe$lu?e3!TiClc-?Q=4A-O?;8{&Bcqh` zkskoslN3k6Kzh$C^FM5%|5Vru1lAu^0m$Opx7PsX_3{(Lw~Y<+mmdM0Rdo{xjtO}M zpkvv9hJTI%2*9MdA_8sCL#6t5b9L33W0~6nFrboe$`N6$oa$ zcP#0lJM{mFf@ZY4I)a>9P26XwS%JH*c9xl9HkP84JN( z3d5!);sJt6ddV8je-#a?wi-@<-$#d~>fQ4UEFBZ^IQVtW&+})$F6U|;nAoDus8EYhD{)3F4f4(?c4xCJIAjN$KNdaIpaqKVXtE{uw zYoGD^yuGZGb z^79`|c=SMzGDaD?~_X$mw(u9xHK-E zHv)mHNdW+_ZTO#MKl}T4ErIrVrU~`ZsQjt8dUOhnm0X_MJP^zqH4^DB7)opCchchy ze2WYs%bOY;WIS;urtkF{WvWSA!v6wksWWVrR|giW)Zq&{rjhp4T2qSOYCQP zLN2~|aUs~KPHuH`{lf#})JjVw7_=G1=CmcI;P+!H@G3{e!St1rw=SCmRCPV@j zSh+>tB4zaINt&5_O>Yz!TS%L*+Gt}SUNODr%<)sAD=U~!Cs}2i)Gr&s{2nj(GP@TOb~9*Hc#^9gs_%G&-e*9?CPZ?r`{wGjGE~%5NNC^( z1_#tY)6d;KO&|26_-O8Mdcr3~*`e0k)KwI%g ziD?G(k5Wy=8t)BZy@@!(~|J9^rlNAl1J$duCB4Y^uyc14EI8XpJ)qGx($%Oa*q zrLAB<&ODqcOch;vBU0mBfkEbYgi8pdm{??8^3Xt_on~2k7}}OhV%JJHy38qH@x(&C zzYA~dbwF-q7w;anW-cjd4nJZgK5ElyEHDHJuJ-{AU;#4L9Bu{Nj>*j&-KXVlce5W} zDGvDodhCAQISsZLVriG51Y6%RxI!Mi9gTj1gHCRd#(Fz+ucK}hNrb*o4nvNx2bWIq zFE1B+;^l9sEHGvR$+5?E=|Ei{oZ>vr>iQ;xXYlh1HpkT5d_6&6fy`IY_P5%wZ~G;q zD7KE|b$}kFT)rvU+D-@Mog)RccdG5ibCvS)Es1M;1-{O4ze=c2cq56d;m_{lS*O#V zdNQYW@+m5D=k&qC#IM3{ONiZdMTFgbkjtduBx1*+7-Q&rFY;m+u4R~kVyzVdf8ApEXIIB$#oyTYJLWqGDvHHac%Xc~|j` zzM|Ok(o;ACmgABwh6uTY&ZClw7@2seJ|#pId}f_H>rYjs<9&jhaN-Pg1GjHFGCCbc_`00 z0FYvo`LkE_pqA)0!hf+W5&M@=9JJAqp!xBdO@M@4*oZVFn9kZIeXJ~~S+-Z}-#C;w zj&BAQR8z1u$uxi+AzLLxB#>kVD4Haa#WYmkhN6C|&9X&EyJL)>nd#7^4AsjGLBEnV zwT0I+r{dr4_|dmQGD^gP-h9x%ayU;g)oA6!F?l?bNjWUENUD%b=4wa7{yyPnN_t?uVy+bkzT*m>0@^_ z0vDJ924MAm^S^@mD@zybf@iD`i4GunANcDuGzGxbEqkBxMecgWQ81a<(|iAXI(lUg zNM-~-EB0^R2Q~mig|{j}VF0(G5zovDG(}F#;c51X_|m6V(&+5N3$g0# z(^zxOuE_*+I@Zi9`z=1uT>+^1inU74fW&=}{UFbZ(q17r1^*Mn_qWPYu#l@15N?`d zwr2`ec+q&=oW@7eU(U3P2qKz0PxiQFJLEs0*IUkL-{3j9#Nqp9K)tH04rK=Jco^I0 zk9EfXQW4a8(01cbADbA5IL;MOqF~-Z#LXR#RXVo7+h<$XQ{ep{=@_Mnd1r&ou)V=x zhL=--&FQ=T!4}PZ)mvm}lk)6$u7THgX`e5&7zEF~4>Dei>sqwOS%R&&*rbGxOdm%)?-+&f9l7x(haibA#*>MCOO%`W=(ZO`9@#IAX`;}(?R z?Az~DbM^kicB%(t233=w$^{j2ho_cHTNo0{6ViEhKfQxJ1LGRKD`)?_Xyb9}i!#8E ztur&)wdLjITODRmQZTi;L+vV(f?2D3d&miAvs$H^y&N18c|mQp&lH6JhG{^CxzvjV z1i~+uu~3;)5A|Jn<<~@wJ13nqwbp4=&DP@j4xod=f%Fk=Y4JJtxRH=A4Vs0qIH{KT z@?r-xDvEbMwu_D*Z#Tl*{_KHtT*jt4G>fQapLuGj+H@s$3u_Z^!G4(_GH6roqN-N1 z{wGw`awT*sJbWbkL`%uA&6~%iDtX(^?Sm?hhbrbz4@D5?dWPfi$c8=c>j{}08q=Pc zMZ-e4Z?)j$JJ*5f)%tGy*ga*fq7nU5eoULk3Teq#h{*Gbyxn~H(;iL;(}K)gbWfI| zw6zQxC0AB9NG)t?o#)k>#zU+5&)CQ;sYmocAHT@uWkr^ni-4h`M4uO=%$K?tX17bpQ4Ncx5ggaOjaQon!Uw|l?;qY6^fRys>Y zT#~NbI8i<+?OckP5u^g%c|C!qK28KAuL)-=&$Yf43U}5y_I5mUR4JxqyU+8DzEqa@ z`S@=1t_knQ@Yn6JB}&ALWE7<(fYj&z^mNNGW5N6}r;aG&Q_$cm=tiE# zBbLETZJ}`_$I!CwqyAj>rQBdo*4RH1=Ex3slk#u|amVX7)>s>$0_B7cSJB_MZuSAF z?{p+oFrJQ%4?=FGNOe~C4}LtUp0ybEsEGT#?8LK~Z4t^p+_m^EyXd_gw$2a?}lRf@_ONKpn zzQv2taa_z}hi8h{0baHZ8r4Bj2F#q^C-3%u1hiFZHN$nKt6K|R?Nil5Zfzyp3v`FX zs#s7XKJAY^pU%!PjAv49^ckkE3K+e_$XZP z2hBc68SCht9J-pz+~YFl?0tP2{8*vR-TU?9q0A#Q$ylDIAa$r%S#KB|cBNt~R4D60 z=fSuzCEF%ri;z1p#}O-4@-8ON6E+E=VR%Ear}J4ikM$Qe(ud{ygRm>jR!{fR{}bLU zss0Y@%wZPTvpmD`ov|~?B4@kPK!%qz2HYsxP`5+f!WKZzfg6BeV-@iZK6<5NvG^DI zp`?CoQw4t=dFovySNd!W%=E%&VJ@<;)*nl;xdIkrE1C|ElIdXNlZj|Ll~3#K3li!p zp{cT5&9xY1{;mpd%G-&Y(vNB=J|lG%eJ9`sjpR@A8G+p?EqSIw1%;B;WuXnpTM44cWr_IxKc=941H^A zN2wvqHE6iKb8KXFe`MLjH-!2HADjr0D^#xwlt{!*t7^fbBi)<@DWs$NCDe<0w1ZyR zd^Chp6Li8qa2RFGYfU8Tl49TN?fc>#UMoR75CDs=u$F#Q!k(gBbzz9MyGDCwWRI9O zp_p>vW98)&yiz=~-{M0&!UK3I;N;}wV7Q-ST-x2EQITj;O_bB(QQHg^7oYBYD!X7c z9b3VOyjiod8`qagYC)T@pLD8Yk*Z4aMPLk223>u4JchJ>Q*XHJX~*NKaM;Yet2NAX z-F3Y@3F+!GNN9&ly^P;yGLLAn_*;?ucW&Wv)_Z zc*8XK?r#MiQac$0$(*fF3+BqOCw8Ts*ksXn5-N_2SyDYoBHJPP&MU|E2wa}-M_UtO|eH-A+^}o2Z7A0+C7oo1B64q(e2;h+DxtPsr6@`;P`f* zI)ks0S94A}INVp(x6uOw1Fv};L6;Qb?DiVGQd(i{p9#~Pr_)KR{~L)X{fxt-!8;&DdsX{aXjH|K7_J#m)8P~>`H(=aieU`Y1cq@Y z&5U-Tv$o9}d~b1B(sY2+bQUjntF+_en`vk2Ro0&eNgr{$e9eA~p4n`_dhDp%BzDTb zP?sQS&59MGYZeyoO&`*(ywThp+PvH#6_fJWqH=8s`-x)SNyI%B-&w^E^};9PN1y-w zv@^qgOT|BhRc2z2LrQFqiu%MCF05`gN5Sjx(QA+nf8IxZJy>;(_FP3|ndtrAFjsiz zSEY!b=J^xnaG3r;Oh_gI%}@rvdBjFo*W>h7vZkGH&+TPwrX@>rEIa$6r1xb7nSM`5 zy1yyI`a*wKVL9l$fO{1$COu*tnJ$b-p_%MNxmu@#nAFgS*k(5@CNg8YGjSgvcKfx4 zJUW@50He|+$UEas9t4daLndk176=n>wjP(~gOz+R1j{l0<`j!hoMA121F6M` zLZYyzknLZ9J4jmUd*(m!_C6@ORq_eE_*~x#w{6Usmo=i|gkR5XBP^3I&GwoEWt{ec zqc5&&MV{y8z@_*BH|#s zAa6+)o8f&g_d7BLn=9-OJX4O>UNI@ye=x}vSGbkMjeGUqdkA<2!@hhCn3L@J6g!s0 zq}`X&^z8Flpt1#R@LSkqi?V&KeZh;26_+_D?#H+n z7)>)UDqijNm00=Q57D{xQ6C=hqFK^EE&pOVyEHOI)w6v?<$zCVy5_V61YGJaG=DvL zXS~0{$IHE^=vVg^ZTr_Sh0ml{@^i;zA+3h1`Nk(r5TW21Ipm-rnkcNN`>+vQSAC#<*iiGy;?q|^V z0$+!_(Ayp-uuu?xgQH3LbKd1U>|AXr*o}E~Mh@|_^Yks1z;^x*UIpbOA4DKMyd+V4 zL2bx`wUPgpzq7?vs0*e9aY)VKD_tgM^WEm@2!Eq~2@jaI%#A7MPd!hM8MGJfDJs8R zAa-Xg1SM~?bie9xaVs`Mr>&1pdAu@KAl^qQ>~L}R$W;#C*)@r5Ktm$hbwYfyjT2Zv#VchmAE>eHbAcYr*Q!+_sKvu41D^|qcf+51o9C)00$_A{{_ca=lwSVIk?Lb ze!hO~y>Mo&HjjoUC(qkdC(%Yv92>9KiEHyux!F(doj=B3)8{}+$T5Whn`tdH#TzZN z>7~-^$Dvzr+5?tPfFCUN!1TtyV9PfRqlo&3B$2w}JXFcj$>2w7G`3ecR$0XcOP`Fc z5YKgw87+esv-*YG$*Xwr&zD;WWykfz3>JzLYtUZ6$9PE{(LGy+MS8{MCGtK1l+C9? z^n29(`x^9A_4-f0ejy$j2z7s#_l^p_tvR@M6M-VqtPWAj{uCrHkCNUGq zQcIsfYQoQW95SErRPcO=;r^qPdfI9^B92$D(S1Nvh}Gdi~^jc6gMyI z5dF6^O8?{nye%B{Ih>U~T)deE|5m9@1)0M@9XPaX+J${>3^Y~p#Gjc18Sh5jiTau< zWMLpv7R>}>FflPHH(GNNaY3DY1wK^2*WC5Ym&vIP=H~5O9wK3S3y6};pI0Kd#77VT z;1qx@nl#Y;II^VuOeWr~e5VB77)LaH8ljRjlb1eO8?f!9L!rDVMia9b7iVgA@N2MH zzp%&&EzR3G)+k~FyH#%6qnnr<(JpD%8Kuj;rN4aQ)#t49z#4gqr9@F)P|Y2+$cvcQ zQjT~Kj>55N*3H>g2DJ@)`Ga=WjhXKu_cUl(3Yb>wS78>8H^{zsho=41K^TqvJ;b%l z64lDs!G;JFD21lZ`25*!zOsJRJhJIw^E6u*jw}L1>bP-V&`B@Nzzgt-kT@~kGd zxJ-CPoCxbtMiQ)gAZuT5)OnpOE8={?yflWXjP$6g%pphsB$BD8s-!;D0w^wG?GLzRf-slVVI4$H;KM}G# zhy@_D-j2j(8x|)OFb?_duV}-?r!#FJK&fPh|K_6i7FAuPJj z;nG=gseW-*)5?0h4G2|$`)AHC6* zoZxNFK{L5Y*J1NcN-J73W@Nc|k?0E%8!fmxB(3wmzFyd5$h?g>0sUk7q>zx-z+Bas z?Nu{IZ!d2b+cnhr^ju!oF(`G$YhCZ5Is&e8W~rg^Rn1?9B@Z@~LL^JXc&J!xy~4{| z%%xwkX8Za$6z|;{{P}aWfpkATg~nK#GPek=N=8oeH+Wn;-z6bAwehsPs&Ej%AlsD8 zXa0@qof__B#%X*G$&k&x^Dn3JpuM2`ubSxR$Uh;&%=48NT@EsQZNZ1pR~#sfp01ql z3?zRqqd8q2f9QQ!GgO2Fy(8t-5wM)!o?hvqC^x-L(xd5*fG#`G9%(rW+>g~aRg(rn{i7NN2!7#p!3`L!rV{q_otY|qIxzxR{;a%dYGkajj5Dn&rE zLybE2OJ*Do(L`+c^*37D@U8BehRRoe)G_FOVxG`)O3Y$BM~PpXoUbK+b}=4hg*x&x z?kL$}_%p9BwV1@GBJARWBkjl88O6dKV44K?m#LliL6zbem7W6_3VP&0p8;k#hYP)w zr$%lM+Y(D7vhwFuXeeV!AGOVRUC;tX90{3XR6OFtt$EG=h8Sl#mWvft zpWA)q=#INoYX?$upxDpwmyGe$0%PyScxRkMgCAE>$7Y+8Dl`Uy^*3MXr?%12lqllO zis7U;i6g|hx`4c>Mm1*i=s@<1nroAeXkg)`0xG6^OE9eedr1E)mM3;OPG=Q_Mh$}# zNS%IMMuj?x?JkoYvwg7HB81ZXl%~?TCAs4KN#V7S$Gj!vT(%NG`0i{vP;9M-loS-h~9S2`hDt9=Xw@tGsX7Z;%ZoBd+VVlzU* zoL?OPH{jNh?SJsGQ-AiV*~9^s^jP3V{(G2~MpLdwZ!09B!`;vt1ws;iy|3E~Q7K$s zU*5U@;V$^J{9%u@M3~JMhu{n8N8$_lozJ?mkMZ`deAaex;Rt%xO$uC|{p2tJKRJ~@ zMsC2u^8dsqnIM%I0Rz+xY8o1!_qDo9$OV!AzxX7>Pm&V2sDP2{KLf%~R!2Y9Z3Uj5 zKDH^jSSp3cl)QeePSwqeDK=qkUsR+CvWYsC+>KGIE>NqsF3u~hn<$zpBC4&A!PEg` zn!<-+nrB@+K74%L$E!-UdEqBe)=RZL+*)=eIDEG-?Z3$Lm#FfGKk~;=|BOom4kEw> zuqS})uQTGao&sD*TtA3EgAIv*jL=HbF=VBFCu=>woSmIBfs~G?O44xu%A5aebJIj&A1_m8=9PQA~mWj`DV-$$32_t-k*1=JRKqhjj%< z;A(W=)5MgP?lqT603%U(0HX90Cl60Ov7qne{ibt%xmw-;Ce1%6CG@xFy%Etct8;J*w@Yr z$7Lk5f(aUAITM_Icun*@;S)!bDyo=fTSZ0u7r2m@pC>Txe+` zf7onet~n}n=6$ggM$be3>?8@AXg>OJ*9-V>`7qQ!0Vz{`g>(PTflO>53GyJ2#x{TZ zTsTT9LABOqvMUnnZ$Cu?RpMR-s6eM(T>zDZtZdAhgMi{MH;3dsXKEynU3JLMi}xSz zRizlKcU*ppE}RpTf&6D~sZwN5@4dUd*yBk9X4-?+3F=FU^Uh}PGfP!R$D=dA)ifH& zhN}#YiDB(1z!(dJD=)zuLoT--%i;08_|1h6^(iRmik^!A=UEt}qz6WgE}OZLu&oNwWP-Z0 z%ge&407r&k3E;?(q$tqf=87yFh4taJSVa|JXjhpd`uY14BKTx?cXxkv-5&l+l6m?8 zOrK6;Ha3iNvC8^-D-3WZ)c+fq?7ytU|6)4&TkfD0&T_1eJGbn^&p%^({J2oJhg zeIl;U&dSI8Xhar7eYdRaocOacVzkvqmbV~dbY*Y6La208D6|PT2*18P8fov>BrvXnvh5s%D?j66aCqYp-6Z>jw{`yH6>#Lh%PNg@Cbs%2PR%+) z@2(u!IP%Tm#sO77a~$>~JpAfH3s1JUChaZ~`P%lZ!HPXRl;$@h;jmIyS~I^inuaD8 zl7$p;B8gW7rjiNeY@k|=3tyrbt3tZFlwbh&tu4#UL z;UzoJ%`@}tmVhmsEO_I`#T{t;BP~+L^w{?3DYP~qYduEUR@D8d{)b*qj><6`_4712 zt)g_;6tf$zg>?3#5llF+KZ18-Rs$~I#yD(;`55>LUIcFrAMjV49fCD4igQ{7p#*|9 zg%X-JX<<}Dqub9TlZ%{~BEG&X&o$k$bOdiXYJSX{Bfj6)gbMS=_UoU}8XU^kF+ZzSkvT_6La(HWD{s!dU^S{jo1gZqHv)yF zSwGqPz^RkHW4ToeH-6nLM{Hnk!>wTmj6`~4#UE$bHHCQe)y5gV!2R&po)5*A z#Uf2!bj=RgfNSDdi}K+YT(@4Nj3SqK$&~bz-s&%`YB8!x8<9l6z%RuUHgq^XynM&H zgwF?IRoLdtkv7g&SoG0kkdgtmftVj=wHsomU26?heWkO?J2yjX$jfv2 z^<{^ca%F9(*Jj(tK!Sxclo!3Fq7(fx_kzFh;X~>ql8uIid;-%m@O{eP#66ZM1b)i34d;o8hhlg@;hW4!{axO(jsdwkFkWJ^iDB%FLB<1eNmdeUU&?j zQg>l$LWR)UYo(A!Q02#b_EK@ypE14#mmYbeW;ajAlCeZ(8A-1We;Y<}EGP%UPAA9o zOxMquT~3M5)Z0M~Ncw)x+N{A7%1SlF@QBfhV4)ADApk7_cOGpF@ z^wGhG-i1M)-XOkNBsCRc*ZEYl^efO;cgmVjFRwgQsz@1(=X%*D*-a#@yyWH<`(4-o zZ|~vcok#x$5SFc3$dG9ouWw$7p-||tAcey!g<)Rk6w|#26U!!^guuf0=~oVWWJ1># z$&{!>cZ2lHM2+yrA@BIu#ub#=iRNzw#WBgbmY8vzvb?y|s#cCxrD->x6^cv$7iC`^ z71y^V4Z(s-@E`$#ySoG$mjJ;vxVyW%1$T$w?(UG_1b24}?(kjmdonZMdvDgT;17~s zx4GTtoUUDaR~2f*$ss98W-~8^u;9Qn8hHa5)1ki{2vo{8HG9@kR7@^8^Eha*=@O(`=>fS)`k?`MDvV<6AiqdhBA1p=Q{nY=S^q zRo^jn^dM3$bku#V!k1>NdNL+_UtGvf9y=d^;+_5J@n}tPp0GR_Ua529Cu(S|LLMxb zu^cGXdnC3wDN=fqtCd6>O!Dy=3{$L~lG@+C3%JDFaD^7sqj!b3gSohCuU(m&xX0t8Cd1dNjzk#g*T6w9|-4p4u-=4P$ZSVd_8Sv z^~HW8Q!`aO^+{ZF~hrOnk3}IKlwtZ5poqo z9$DdK4{Sc8!ciz*BO?#S)MMqQ)ORBI%raW+Vk#uvvto|o2NQ}e`SiDdH+wL`$F|%HX?r&pPZh%i%~58k zq{U-A==^*$E29(&ejH;Mt zOuz|Odv%dp_5W`8t~=5E-gt7Jc5HxbjuXp=ImVj%C)}2`QF6K+Do4>^&SuOs_TG!N zZoW^;*d#Y^lHf}(VS!}M;*QlsO;=lcz>c$i9{L(m`6WrxgacT8+dY({bRja9aM$5? z8dWS0!ztlR9I_>j_IK3n_#ryHivkxCEbYa)p2QAM4K|)ERjwb8MNA)smuzVKVvsdZ z6|$YveXv*7xy?0Q&6jD=CJaeR+Uqmmf9 zHcFVIGlE+vN1|>r{_eERvTLWW1U2)sdUmz^hho!>O0Smy^EUn)9l@Hf_II3^a4#u^ zzzK zZ+Yq&+toQx;tAE1^AQ~+IcwmDW(oW8n^NZ*70ts}m_@VWdr0v@WQOY~XTD!iuQflu zpP927pK5ud=H-Eo6ZOapULZp%xGsmAe=gb16iIyUkApk*i(=FY`W3>*Jt)RB#=}=l zqlY_Mx$wApQ-x+5v_OA54y)YIT~W?PKd~6^2!lbAen!cpeIO+6Y0z2ejAFE)mt~!M zFVWC&X5&PEgg1$({fH6CoJhCUd*ZUUI_#ZwgSFv%wLdMdnossdVc_>}T8GV}EncKm zhR+Q@ZpvQIj2FDf5-gV@Ab>6UaFEG(z5M-FKa6?hF3)V{Virv7TorGr34+`4s526O zu~Mfm3VWg+-Z0$_iub-@(6NFD6$2WeXsHyM7E~Vr-C3!F;RbC~nx`bCY^ecvtK}+8 z*h{!@X4J(Xn#Q>Kj_a@!wm&_;W#B%$k8XUb-jBfw#yM@+PFO3cWp4xFz>P4U2nJF* zsB6n@xrbwVz?mSxg*}?1@<2i*DuczZA1iA<9o8c}(1(j9S z;>I>M!MC0wIXQ%~d&dDM-u52utAyOy!O5iM@q`7wZ4PRUiLJx*IV}UG@1v=HKJcTP zu2fmH8{n%c(u|JFVwYA2cLEz$e0R*vtoL^(TW}bceLQmIrX=o7mUz$FBv|e7-i6=f z&@W^7P@miYXO2L?p(FSq6Y$FU$^e*lxK3Q#K|(@)So9(P9J24-EMyp1QY>=h!s#wxkh@TBWWj*Bi06Y6=ASNEcqLNc~rP>*a#;pWM!! zXYl`Y&al3%ou~CvOnYd~#9qh$0skWP6j!#HK)f@a?HrloO5tkd8$3mK1ai4-PGJT} z(51QlhlBBGn2MP>mmIBGErb!fFd?KxkSgkxX?!Qs0Mn!I2P&F^w}IY;D9jmMp+wSh zRgDB{1M-D4mc))4?>b$PR@>IW1~BECEB;{=Z!vx@9jsjwC!7AHFT z$Q=4IeIiP#=6ybS5QwFGxj4*T_AB4La9okr=TaZ2p%u>EW$ zll6ly@Iz1~bn#vFF+3CJdJUi9o7 z2g_@V`fruAhfVQnd!PI!%BXYmv|z}`1ng7VAyP#Z1IrJvK|9mew^oN=B_EkSm(Er? zbaNM~ErFY+bGxS^^`uC;uvlZVAoWY{Y03xP$Ih%3WH`u{Co$utOJz_R|x)j zCxp}YtLA4$f+N~Oh1A`sbfuci-{smoMFv z7q3(!eQuc9$Z^v&Os~M*99f?w!ScgZ{?B6BT_hJV_G%HCpx!*<*TR#WF;rE>x_aYyaeX^jd|C z(IOU;eos&z=!;os8q03AboD76Y}gjQavLO)3f05swCK6q7X4>Y*51DS{73hn#CHId z_$}z#4kF46Gr<=N+9x1?oXpHIr<_+&m#ITw#MU|OlR~70{)BYNk21w`Eygm)&tcIm zxhkY*QIQ*Jc@Z>Hl{>fFCJ~wBR$N?SlbLjqJJ^&h`nF=h;hKc>N}B{Y3Nu<$6(ir~ z+*bQ$%;2{y$m10Vy%eO9?IhwY2=9WMH{Qash6Lw{cNbBFaJg}tweNgkDytV+YOY8` zKt+`-mGY7%5pF4qzto6D&)-{3BUdfSBuaHnM0dD4vz?;R<$S1{n&c3>$gI$(-Mv=Z zU)Lco=835zSA&-Xbc1Q2O6=%z z7F1?M3tz5oAvR+>Pd1+6E~}n-PqiJq7WvHrW@4Rr4E$eUzyWZx5JZZ1z&X#&d$%z*ET` zKJf}cIlILPijQ$&6Iy~?)o{(dAgb_NsUCV*?Y7aa?QQ*uX)#RRBz?vg3cvlp(8+7| zl>R>J&J4+A^h$iXYvwk-NRyh`)0W8P!p1uAIblxJS@f|61-|%YPb)%|*T@^Z{LU&}WQ&RY_C}P0+fdt!HME(Nr~;R_ zh-(g)KmNYUmHG(%GYisu!z2W`O&O+I9ucW@#xUL9?XZL}&fjMNxV|4R`Qlh{6S-;SO zoQ6-C@Pgjzx4gMeB%G8`^RpoNnCLgWcvqom zuhU~SKf`_VYzJc;CX7ThFOzk;BR09KHWs6?XKD~xDnOehT&4uy0na;t`@~RF(m;S8 zm>$;X@|`0Y_*PuvEx~u=X*B?=SbWActecw3dB1ZGQgSW$O06TG=MIZcV$>(8L^y&=#YoXUV@H ztdmvbNCw@HP3@~H`Wvc2%F*@T6N{>_qQB_Omr_%ly3hO%esi3;xzaQ`|NgL1eN4z0 zEgD_yfq~%>2Ua_70!1nQQ}xi4Gbnd}P}9WYdOMkq&-4G6j=42NhaF3&Ng75d7v+;IemJ!TPoCOA7p84e}y&tH~^#B zjD6m!QEqMJ_pHfdZG0YdYd-&ig42$80qq%X;^tG_wZf@IE#KG{5!K?RvzugjyHR1C z_G+}@I41OB2o2fRfr3@)T`eIESs1xK#_6?ryUl^O$^&ug96AKM5dz z_I@Ohay zjNeme5NkR_O^Z+z+=5=BtmJmeoSH4Rq-Y zm|7x&gM*{q@QZ>#K>LMfrnNNDtA|@LNZ{fL_VKLzz1Ah4Yr@p~MiWO7#$7k|vmuAa znFW}q-@J5>PvA>hfij`}7JJI|q)3-@X;7f8u#<=$s=6C@=u6 zn@jDd_I4NW0=;XU=Wkte8@ymGi>?0Me<09^_n*wbSr}9b~bYmapkzo3CeB!ukxk-fx#ff!_SNo;q_B zwa+i_zi`Kc*|Gj_CL1pkZR9FVj+wAio1Z$xky?T}Y zX`WF0(p z(o;@5g9_*T3(03zzY!!G>;8e6Z_cv^mAK0yQgm|oE!tvk|LfGz;N<;7}V`*Jif*hdYE($@Sh! z4K1H*E@EH@J5pWG_ngR+4$KR3(gF)n(98Z84j}=BBo%9eA&@_0qF<^XE)@)W96VB2 zVk*56YkvNK?sOqrq1FNvR~h^uWWd+K>)VzJbSBFIQ7tZ(ly*$*x=Wu}JL=&UGGw-& zIPBR@;`j%j)%-GDXFfIQj#}H(1r%G5e|7T(o8cI?-11H6AY1EyR2naSWTYBK2u3X` zG7O%+7puwW&L=et5Ye6XrgHKE=bM5w4tapdRaX`fZ$pyF@Y!SWfMJU&M$nvQ3}#ux z#1FGOn5fOeVITwP|T<#sPFxM6RyMcPxFOF{R z9^G#!6l6=vIJm8-9A`5^5Y;;bhlr8+#|2^Y+i>KV2i65PU4olkVP>P;qtqrgC#qKE zd#NR|2hLyC!#=QTaMONTnr_23kbMKE%;J2(y4Ovfz4`E^is_O##-a&l$d$m(&AxkT zZxH+9GbHg#a9Qg?;97tri7>Wq~RUVZ*yJcApm?r+g@Nb9~PxWqduM1cF9SefSL_-nb(1LiwlF9Ab8PC`DO2I zQ6VM0-wkff%Di6d-{@$?(zA;#X;B!H`$>bJ?nSbLbjf%?8tLpn*z_w0UWavM#{6+6 zX6P`Ssa`@G*=>R?gTyA8`M+XlVVWwYC)Nn`<9elEH68pvY!&Ne%&9RnkA%Sk3N;2L z##4C>EwiH^P>vftUpcs3 z5@kA0%x;&MaJc;<&#e8DhyIj$@sY@G9jCg;NnB2ukY03z_@A`}%i>|WyuqR+{*15Nv?3BV3zk$Vzox^`(pSKk{VN8z%{F3_EZ9ppnGP<;P!f26ps$bqYe zYR4BfWZ+0TZruw9(&h_-DDmo@LpJR?Tf&uk>L4rJn}u5y`OdrG>T-as+Y93ZexiDK zv;;PyZAYPEjqX_K*J(O(F-r~t3rN?jhuK=_DyinzV1}Vs+uM38tVZ<plwhUePTy#__8eU5@Tsz#rgkq_URpMJtlx~AW((uW z|2ltpqr~ByZFs1KeKm4A=X!}oca-cKxD$bWw(qXtPLUk5^)as#bu@B*RxBdNQU=O( z)4R&S3M^DH-O$GZ7%!|f;l`_@Qe$Bv9-r(uKAooCe`QH zyt42vSXmwsC#xHpv7oN5txq}Re0*^fw5KnnS6SEmCx|l%B!1RYbM>HQlfE;h&EiT{ zk1C+9AXiki*QmyYcp{XEW3j%G2zY`^AJ%AtLwG_Jj!O!Yj^R~49+oWOJ|L#JDhnJ| zMDg7}(wV)HNtf{N&SjC{y-c^%K2ePOlGd}H+fak%m!~<`$X@5IYHo0eJr3FI5qtLH z$#wRFOQpi1yD(bPhCGY#p1rm$L~&pH-E^I@&B=Fa_ov4-r;1z5Nx|(CSf`Oq3u+fQ z#&5v7pa{)rbemz5_^a4JHZKWkz|RVhp%xRD7+tWU*|olOUirDP*&q04nxXPPvB;K{ zcK@LiaM3h#+ZuP`dUy{lz3ji4xPek*!4){d3D?ljoK*x57C<25`hnB*JzJ3I`Y@u8 zW|JlMVhdhmxLM@)CnMec{$&npYr^`9XB@p%i_p*Y9GmH%n+h!H)ZG)~xoKAr5>kpuBOQoAhAYv3KmAd3KQH)@RwF(e(40 zDeG*d^qAnNWc6&F#AEh)?^_IIjG^$q)GSdAW#~|mK8PU(@hNX*@q04up8L;+Y&hCo zpjTcldEOjwciL0E(K-9cuw8kabuJ`;!75XJ2Lbc0%=-=+X%yEl-=>+T1CoFp*dzW` ziBRy8>-&gQGmB_!4HYbB^rSMTZgQrYeFcW+blUR16Q@jK$ll^^?V+u@xT3)LO-Gz@O>nR{5>mwni2)SVJ0K+?1di* zgza;FafqKO`{ggMW$J4`3N6303lEZeX3uLiuD&rG=Abs~cl?&JA`B`~2x$iin@l}$ z&pR!rJh*N(l)>Rbq|UHP=Xf2{vGQK#$a9A|r4yVB&C!Ouv_vV`Duu=BgyXSnw;un> z*%gmc)7r?hLvQ${m^Z!0dVcd;BBz8=E;9LI!HIx`?FeueJO_nstV`|!niU|84EN2O zH^e7ik-@>ZwCm5`pA zTjpE)O*YHj_vkoNjr|Jz4xmOz?1n=2+oiaiKmBZg=0blW(SM2sLF8c~CG$d1U zmfL%l=h&zUrsF>H?b<>fE<8i^0!B+A{?D{;I(PyF?>2G@sy)e$uw|hayy>mC_+RS3 zV-?Z8UX22ov1C{0Y<>{C&4%6+_RQ4%p_cXd6xHHBv7!* z69l@E5e9(&MPf|a8}8G4W5o`t!Nm>`M#BZDt-LK`vYQ#jVehR}fa6ne@JV_o_M4pD zirHT!KZ0??iX~W0r8!+1e$w(n4+S-Rx?&Q}n%t9}Du7<_sK+%5zaje zGn6*PNxq-&843TMjxE~{j%ak!e@-O5e!2}U+V}E%2$$y2^p^)DM(epqR zW;>L#XQBzcxIW$c81{xrUn7d(L~SaWAk|_yd~U9UqqeSqxF7xhZ!}zJ^Z)C@Wp_c! z6sR9E>&``O+AwAEi`Ua_QmsiJez;f+xZi-Q>+1Ayu$_?H%>)EzAhq}V1Z>}RSehE9 z>gJU5NC9IjbPe(VR(oH4B19+`Z%m{20v9`XQLsIJo_(HDBJv1*9H)Xhg5)~u%J#~p>*qr0*Og^4Ed#lACL4AiQX7(|c3korq?CYvkIkkC20j>}>y*MerI zr^dUL!_X=D!HNVH!d5Xy!pH<6GrmNT6A8)*i{oVn&pDwA{bp|D_(r$c_zd`{pZHxhpJQrNVV42T7Hv)6d5! z)8H^k$-BE4(jaBM^jN}_=HO;`qdS|=fSePb%FA;>;ZcG!bm0{@U(7|;A3?D7bqCs* zFNm5K!fUhlb)PHzaSM7IQ`eL(5lXg*m2owwVRDic?aDl+FUcl_#@Ae380wf1FMjjx zy_;MIn~*N8OKbP}!W)-Gank7l!jbFI0fqVN=%~V)Han(ug*Z@p8*Q?cJ46@)qRZ4!sJ=If5D*4+bY~vBPQc+rdCVZuL{Z(7wz7o@-l|6 zgI04WHaJBRpRo^c*YdqCc_DX_jC)nuWb3Ncm4+4KQP9_J$CIKgMHgSUW%Lb4{Sit1 zY(TK{81BT7wVU8C{EuA#=0+w1b95!=_<$o$8I$~D5C6)gz5K`jnV_HFv4i=U+m&2ZyWZlOH+5-#Ph}KpS`bNk_}B@P>30KBo_AFbN_d zwup>hby(zW7b1U(iv=RN!t_BDXtw3{2r0VSb7R^Q{@})RiP9V5({o~ZbS|b(a4)>00Vz{lz1OJE3VqL?25GW(lIy?UnR&Zu zFK)m1NbAZrzSKg49upn)0}B@ z_4|Kh-w$AV4zq%gio|3_+7;j}S0y~{dC{XC|s|&x?wheVD`1ls`C03^j zu>8M(@M*(kuz`w0x9!c264;=GPhoLL&-2s#%+G(Y_hYx&^_Utw&L}oBrDOkrYo|Gx z9mD)bf$%@c_FmDQGMdw%^H50++bxlq7pCqia+Yn_6NtM$;ujn9dC_NSz^mt#ml2hF z#CKnsei!upx~JDcj^n)(rj8fVzyQC7z&0OYcC--q&h|AM-^ocpx?b~oSVyId3Xt6!u{w_b0k@Cc zs-@zmjXno{`og|`o6pf}o*JoR7ukJWMrVBRMqoS0o60mz;{pbWObz@35igAuT5{7~ zm7Mp#;rWQiST?g^V)tL=_^uuo$iy<~15HT`rOD3_^@g{^je(0KvlmD1EB!5X$CVc6 z0>ksD5nm?UD!=|Vx*gbyvzp94eh}cRs?@<#zeZg=(Cs>#Ki#Mc)T^BA-AvjG(V>UO zOz56{e`zT?7<;~3U?tA_nOv@ zOq2fsyPjSLx3(5XDL5#G{K~GqT>cgfd}>)q&Mme7>g|Z*C^{A{a=^$;u`uWj#TFkT zz3gYE*0+AAZ8KRctesQc%4(Qi`d(GFRK&lCksnLN($kRglMmCyvfc8 z+9x>JwiodC*%io_PX;n;JU_pJS~yC6{*HHDU0n~@u&%0*FfgYV7Z==JVkj7CuR@lb z-A>)AIYMs7(wGTj1!mmO+EP;CRzQ+e;?hg2{?C|EK*!!%bbupUGTko`PlaF8(6Aek z42tr3)hdu*UtcFsDHh}De9X{nt??>XsoJpd>q7bY14T~f)vp!!`rmHrRcr%%{cEky z9+d6wDE=3usZ?*(p%l7_Lv2AJhQH(OI*)1$)3?cW8Ssp8HF&LJ>7!qnlW! zMD3LZXtZMf=yY6(mRenE3R_wLQI^~md$~-3nD1{p~aV zlRa+kU%DYUo$8tI(y1L(%H{5Hav%TP{%7&yg}NL5liJo|5l{f?DKOTE75Yy08I26X@e$gbNGWvjzZRG~98K7iovR)U&dA+ataP=zPzRg#ql(~_S zk-=7QA;TZd(0Ux@mmS}rpaBE*e*D+x_`5g>rzW4WRw|hZiwnqOiu;?dZ2*Jndq59` z9xq{_Tl?o7lOvLxk%*%}U2Su_aS2ENOP7NL1VrH!D^QIzJ$a31ePVXt(!?bZ1_j`| z0m?b}A)q%UA}p-v=G+(-HgpW=QSQ)zmjM${`~=|t5!g^Sd>?;)dhi+m{iQ|1=++LR+@jN*SznD`U_1R7J7sYt*7-Gl5!r`78G21uBC!2skg!CETBITUKOdn4)%mKfkC z?ORVkBvr-2y(0v1PPg}~PO0ySwOCdx0+$tO`Q>rN?UeTK0b_8{57OC=j*c@#LV@mm z!GC${3T}Cl`_)@4mX|6N{bCgH4}La_du{c+x*-!WGET6*{*aIeT~tr07fhy9v$Oqu z79gJz9nNIA`D*o5>q9@u=45LtVe8-^Z4dkmAA)y*6dJ4iz$f5;7_$^NSS~LZ117x{ zK%|{AG9U+(l9IAF(AWC)u1%2Wb#1=`rr?xvMIwY~)$27*PfrO)e!PZGa__VeUldP zhZ8JQdjFcbWe-GWeQ~Lac-@J-IuAFe6};AKofXJ<9J15}FD)%CBpe*rfE{t6Z1x)< z081`U3>Aj{rE#-XbFpbos&PFeMYJTDxZRvQO#&Hw{mm^c z+D4bJOL(H=8<1DWVLYCd-0^rW`5D#a!-cJ*qX=*>6XlxRfEbSuI9Cv`4S)l#H-*)# zQvWBK`9du$vKLHab2Hf}@J|AO&<~SY?e%=yW5nZeX4q@HSy8t?m?~1PL8ezMMu$cw z2nS?TUGwwFJ~{5fqM~~J;W#RlU%`iWV7S8q{rw;L0EZV(_jTS^Sp}6hkpEUE3S_G7 zVn>KvJ?WU%;dODDKXnP-yT|I zH=nb9PXfAh{|yMwUVK1hMq?Qr`k$xJ;h;pqv3&s1;F9#z|4>jRWB)e=l^GE5%R~?c z%MBgp!?p&GSM@mHgfOY)E-w={nA>xfm*KdWFNp;LvgkQDIP6q_=svSBOxowWhtm%A z3*(QkA4bTisKOndPljWe{2hx=I=B(g@R&56y&>=to&LKps$qxm%Rd;AGsxfO z^~8VUM2I$9#=b5rgNw5PLa&F{t-Sg) zR$g8{SEUC7?7}v4Jyp~OTcY}XHND5JdJ2MOY_HxeoB1E3uN_svmV@#&2%d}p1Q0&g zn@PLOpko$X#GR4UpenrqLnP*8sbZ&9kDDlq#d_8)wpaZV2+R=J5Nm+0@X+g}CM*md zIJdk3cWr)-oU4B+GBTklARGL@h>TWgEBcvL81pEpFlU7hRp6!^bmein_=ys}ilFcogRiP}aaR@O zWdmh#yf9Hiin+lmRzI4NJwS>%RpC$6Qo3WA2|`0bgJ$KpXYXsjypB!&$B9gU=}CJW zpAw$h<{pZ2)7^U9m%Y1~{Jx<)C^r>oV>@Rqv}~ag$*L3Gx>=mq2`*{y62gq;W}i6x zQW)6SSR0o~pZx#Lbndc`^q|&laUe6EM1L}v{&!Rm2k&V8P}kl>?)G#0TLD0``I(H2 z40F8-;Bn3Wa4bJ01O)}FVn`*mnqK;hjf}_v1Twg7HuYb`N|GxwQVAc*8ZK8e48K$x z{&RA2RoWH=lKnvp4Sg8j z^lRx8$(5nuXR`mo?+_E4#8^{F1_rB)dXQYPBK>;YEm7UX z?%Aptl#pANoH;LPnGW3k$2=svx}*6&TE)F+)RWqiViT5Tq)(m}=czk7oWq-*kF{4F z(agy{60voJjUilLTk#mfR0xe0w>yD61>nDB=(cA-6w8 zE*8RcsKIj2&Oe&1J!tr$!S?i1Udvd6!$tOQO;I4PlKnXBX&bIt+?=6ieWE;Oj8?s= z#*NbYL+lcUbqH8Zv+V1cqba!%f~2(yakk=*A@l!11F0~B(S{not8|ganqpS)ZV;u6 zyDarPTNlYI$o~YEq?d!LcO^JIXsLQ7uP7+%ojc;7JXeYL@5d)IFEo9kn58Wl>Atim z)!)wdOqaby-!Brw>U^AAJeeSyXtLYQ0pb&qdlKliS3J9Xp-wLfNnfENeZ0%Xj)OJ; zLsD<}8;mF32n8biba;%jfUi7q=js+!4p7SXl>olK5coOfZyaccRqi`J57m+_f2!Wg znx(Y8d$IVKJhs^)A~SAUm)uu21ed2$PV%f~nT~^Q?dagL_A%Fbya&8UOgetp<}&gg z1{ml4J4I9;mA(RtBqkys3TEQQSZqQa4u2(ZlRQ*;EWknB^U^hbP+WTVk(>yJYY!hC zIqm#15-E9TsN$ra1}3sXZ()=+>8$=;_bw9Xu=5v%TsaXmP53CUs%M&sZAg_wnX7eh z`Ub3di>L_;?&I^rDTREV*iI!l1oUvT?Y0CZK@;e6Vhqs-Dm=7z?=(fju^IQDcXj(h z*MUITk*EAaTln{w<^9K8dQ~nW)aXC?)XohNyv(RD%UXQc(wEPVu1t0{AVb2Z=23-3N-F7Py$HQ18?T+jE}DS8rKI^D&02nBg(@2FVRR$D9v`Gk(_HiaxFqBH zyEuyU4oQ9u0gIgbzv+{Fc23^@ndc-FLvRoiwl%%JQ?Y(fvfbg@R(4WPfB^ds1Dgv? zY3>&(-y`pTKH_>EStQml84P|sS!x3C9R%3gXgc?(P!Ljjv-Ns+Igf8h27#6;3Drjc z9bE_m$IID6CQ#<6$I+-V&7N)lXO)s<;{Q#hWM-RMgMro4ZNsWw@$>Hkq%I#}sa{eT z3OB9S1nRGRP(`nUNJgf;JC%=!0Ip6BUD)QP^e#`7rlY7pwNZ%~JGDzgwF$s2N|Sz_&T$#9dx!>DzN16B>Jj zbxK3!yQ*70$wlghI1{pm(cbOdVMR~kbr?vM*cQ4}r{V$5`~ z1!tCk@ke~A%bNZwPCbUx3hcbRg7xz=S@)R%sFPfFqT^_Odhdz&x}@5z4`{!vh$(fU z3?ECq?>eLRu99e_pb%knHYlh;w0Kd3*Hqt9qC@w}CK+uUaMK{jIv3xf)H@1sPmr1; z&PVvC;)roHqURQ9iE`7E#F6$BbCrNmEjlrj#u7x*B>8{)?fkJ{RChCOey$+SjO)U* zW?2A+H(%Ln0Lu?%Gj{s{CDj>!wp?WMl(fXAaf*Ndf0zhGj41I9R454tcCNr6zHf8A z8-eX$Pe(SqZ-J*{lo3#@e3QtJ2hUpr+#&8m%ouxG1)LLrmhrOW*RN|-#v{+Iz&hS6 z*e!}N7RQ2My3`V8C#ZV%<)V(eA42${H!*#{EI_Ey>=#@};ZrYlO-c@r6Vk_2ZHq5> zft05_@_|M=zoWw?b15Yy21G$@lB=}!v@gMRRncs?o&R8BE(GgB%L7U!zy8qT8u&3m zEoSHee&2bUcTg;4Y1li>P;^o#7A>q|e5MGZuq-~Uml$^1Y$aLb**TbLu*8tJzv2RL zFqTIPi6}BL@>0Y1h^lsk`IcLiv_)sPXO0uiWB?<*Z}52sjZyqP=cG5Mo5`t^QA}-y z(C(0Zl_m`DphoC3?Kf9W)fkP^&w?R1^UZCd%#IrQ8xN9JOG`Kc7Q>*AET)1!50W8M zb;}py5P*@Y>1Ae&jHihx^a3+)=H>kUk2FrZ;t?buklNU(e29jIUc{NiDX>V7iJ6%e zsA3Y-v>D{fEkWf&cC`wb@yJ`e+{(20D!$Dk-qZN>*O~@VKVo_OJ3(Dm4VA+p&&mKue z4DJ@F!=a*=#14H7Wer3k1tQ>d%jjrP^WBS0GKRlrw`7r{K)0BuM(F9n?P+BMbU;_- zJSP*mFhB@1aJjNqmmjf@#Z^+we?4MmYild1ueY~R>AQ!!yH@DR`PST472fi* zHrmu63APpKr-!@5ELSZFg2xf8>`kIU6asw+@fMfhFKt~=yZN{BPFuE|JUl$W--V4d zgS|5%lr3AU2-Lc~-maH>XH0^u8gDhdM~X&o?>k{j@huT~btDnAQNoiwXtg!`elyv( zD!gSEa{s#DfR(QiH&J8sdBn!t+?@ORZ4b{bS)67kgM*N}d+V3&DzT4(LkaYH(-4AM zmIRk6NWxwfY?YHRVARf$_ghde>bGdXwIs5GLxpg#^uPpwfN$0Tr_+_P#N=cX0J}&3 z%+N{No${}S$Np|9CMIUA=wfbVg`j;N_~da}WH%!#Qpz3a*72zw9}b9Y?KO{b|lEF1zzXfahCQm91*D7wwE?D$Sy&JsdnaA(eANweI*Z0=tl;pS9e4)i>bel2ZU>PZpZvMxk0R(oOJPY@U z+z>wRH+ZQhVO>M=&^FEGq=bCIn;Ewd^AXB(PoS} z)=)c7@n6C`@sCQRJ2FTg8!~%&oEV4s=6u7wn16Rf8#dZ*AW$_N4fDGoghESy#lr}h zdswzA&J#=fVH%miYo7ht>Fl#CVYrHRuuqpLN~SX^OrkT1*)&5dFK-Sp;TzOmT~>J^ ztPSS^gE=o}#`|QxR;s}Bb5nN?T|@*ji-8>*B!)u2>ZMZE8q@vZVJZ0Xb%YDNb>0RQ zl>-sin-dSPn;S(uMqS7@yg2*I8Z!MgrbIf0lbWJ79rR;LG3169&$Cz*+L^V?q`Mc7 zmy&G8mThBnEA*eTcY6YhVZ8)m!!bIXI4UVQrJn;u)EXzFV7Ebe-%IN}#7%iKkP=af zte!;LMWDBuXab7s9cgouD$>OjtRSC~wUd=S(415yel9$8nBK`JKOsZa$4sab9%tEO zOjDwT0H&D6z-|MZwZTl-C10xPXK(;%X=T`KS833B<#R2SrKf-WzTb-~K$iGPR>NQS z4H&Ex={(2nrkHbcEoibop|bKI{8TrNf|4%qqy_Qa30_htGS*Uer#9PH_o2{j!okfk zqWWH3t>xo7zG7B?H+HAsFQdcdJmtk@6aDjeDdwSg>nk$X!`J&c9b9jwE)HN5 zADKClWs%~@KWykzF1d#L8XbbtIMN{m8AnAxU7bVkEujTe-C5}3RC`92)k;t?a}*!y z83sGv3fta2+1(p2WkaM)P03?XSDMdJnAhABv?z7JlyF&&NJ~kv3^X-0k!kec?6}kq zBJ@nb-rwJ+MCDDHUQx#}gZmRd!F)D>f+c4taq=4GoyGPXs$c(+jGY!WA7oOVL;fpA zVlmw2`H(215|+P1nN?CDJu~d_{7_||HV8yK5q$RppF-g&taOn|_7fl6*SAH{S!#A< z@i?D;hXc3wk{wtp?sVyVh%1vZ3UZl&#p^hM8|h@2oI)gZ7x*pL1_7L<5z#4zN>47}!bNq24mZ>k z$UJ=EXXM8uwR{EIQX&942W@P3bleRXULRGz4tHVPHZDHV=MC1#s@+0@8;Rp3M8b7P zV_u+~wP8us=AiQGefc3g!eBo{CuQr(P{<_Up-u$ZkjDT*g$u29Yf|{pru-X{*DdN6 zSqbI|xgjrdZ@!FADV-y15s}zBTUfcYlw9zF?gT|D1f)^SDWhN8wPtxm1onY}%?I!9 z$4Etny5c7SI30v{OwQ1QkRxxfVZ#v$&Rs=D=UkPc&H3TOIo#9c~K1q;_{b>3)8C+0o1>QrAsWZ zqsZ>4^!B!XB_H3-o}_fGbb%w?^tJmy=G-e4T7kVi#`{VxCaSTNUc6Sy0v){zm-)o6 zf`4fyH8Dpm0&`l9l7=X{x6b^{&E6-S?}OzkM)`j9+>H^(M(Pa+IW?3_d20(A%LaNh zOQdJM=@5^oL&iw5dEO`DQxuqy|);ykbB?6`* zR5=YY1HIEG)<{WURwT=*)~U!|{pX+hRM;(<91Uir8y$hBfayNaX42Zl9sN^Km_^0L zesSNnQBzwmV@5BY?L{8)6BVeoLtkLC1Fc$ZuD4wp(LB4Ot9_*PtvDr4^V-6a+?GA! z_r9!7y=Csizou2o3J}3NTmP;uD-=lpf1|g^@#T^E=X;rvqw)18;l>3|zH7_Npa=pm z5AJa74%AO0dJF{>)C(>!x-EAKG|%I>u2dLPW9T(|S=!@ZPY_Sz2lo;P=Xl8naFhRmkm+FUV&L}nw)m^^hYx_+p5*JXb4N68GUp4R z9T|Ij`v)X^E|B8)o}QkGGIe%Ggo}lD%a_9%@)HUE#RTIpP5>`bq)e& z%G3vb>R0;?UIOgr9ObZ?xQa^BP9xBoBA+Mu3pSz#_vsqkoGkZHPr@MKeJx<9z@M$q z9@rjAWZehga!{4>Ux-(4Z@Of*YjCr$km4gbIe?C5L;0U?h3sfh-Ub7R_!VcYPyoG& z)?8Z~4dU)V#P_ey*9Umeu?}dqI7XNQZ9wU3xE|}ueg-Q9B_$=C1zyzb?Cj~864xS% zsIRT@kjJ~)z6U1dUcVkPLz(@{lTOa&ofjwGs0(xRNxG{%!wod&1{g2A;#GF~sf>6hf8zW8wYxUnEQ`_c4Co zJlz@0YbH0DgIdeYq`Of$Gyq@>-p65B-oto-E z<=wn~aqFYPjhxrcpr-eSU7Z^)Cntx(Ko`C@!yLLjV8F%d=({sajQ)x@Uta(DRbQ45 z?IROXVr&Fa9U(NE7iv1(wloC;QQg<>jN)u3R}kEiD?1uGE@! zhk6Mg(6?U5Yn?D;$KllSLfA=v$DFH-YsnZR1g%^6*S%oYC5U}od;6`c!mqR3-Vz#J^-zCOQG-&B~59zkL{|B$izpe;~7$``wFgK@*nx^M|gZbc`>9v2n=-*^Y zO5QJ5sp65)_Md8bx2-qf9gcHQyT z7$mc|Pfyx03-sKo3Yz)Uc07)Um(svVGB+R=RdM=?)Xu zB0ms=#4hbi{rYY+8AFv2_ww0cKVPwON){Hd|6g`&ygRem|t-92{ zth4^Kl?OI#nP$gYo{*41!dj{zP=1@GQGUNlJBchA<&wpNt$Y+pq#&XA82A}UmBcDXhEoFa z_y`8rHR;=iavR1bJQ{c}iB*m90EO7YCgjMh`NB&^D1GF;ECP{K{PmwiKAadb;?Q*Gd z{;d?!U@`-$+}pb}XkOg+a9unTs~}S>!Ru)>;m(wQwlWmElHNeJG`7Yb-mRam%&Fyt zmKyfFIB_N+p_>U6-p=15MybRJF?-oy!q5Gp!V7tg&^6;9U%+as5g$91K)VIctow183iV-}->KpAHb1-WN6=JJNC2f_~U zmxsBF#RmCMV{dX2e)r|M%4*r9BF5JEp>w~Sa0l9tMc5zx!?Ua5MRw?GGE@&&o)JOq z2=u)wr|gIM$S{LD>@xZq1Lr5o?3jxlpgIOI;g4mhi$ zTWMa+tG=yYSaz<){Yu2~!#a8z#=F?ijWN4gp(cyfLL`ENAT|1J+3V$wc7@o)n?~Iy zzWnG{XGyS~fd*Y>WUv#PXjHkRAajHei+OgI+b0SSzjgk1ha?`U_V)g;boG|}V^-g1 zqU~UNWTqr<*$No{uvp=O&79Alx06+Ssee8uCjRDIWK0i=QdyaNuO=`sI`<4OL+8Bm ziHC_6ruACjr;_3LFj@x-$^Hvc;fdO8v$6YY`tv)8$CoGX;F_mSc2~_%y|hIy_r)9SrS1F$9tivq2=|(L_d@N}-S4xC0B?O8nN-*#0LcGh0X;usOwG(T{w#}$ zj=r;$Hd;WbUAOgL<;r>|VervAU8yFF7wJC9`*K$JJslnMdm}yVE834|(I+nc7t{8b zT$4-JR6il38FjUZhFNdy_-6MP#GtorI`pHasUP$L?m|Uf5A18R$Slj_Z(AXM68QtV zqye+h#igENsX$$|%tgQWKyDqr@v>KyRg`Z@>#p%v*WyHxfN&AkPA*H`4_29i|A23^ zqq$r>H*2b+;p=frHnx)rZ3P!XkXT2@sYB55mC}OBzIh$4A((OVx)_io2EmADl|ay| z^)r1@O%2x}ZI@JT^}HXCE_rC|F#x4Ec_V%UE3hsp)cOdj@_mG~(K7ww?%!^ntc`eq zIIrX`}CE*4ZLu#qfAL((|2ox zZo6;-iQ((uV|_noM&ysOVry0bgGAPTeWPt-~Rv@#O@5RSQ}aJ^41cG&c6qnK9en*zq$RSihKqLqblEhF=BQnYcOkLq#Ue4r%hPnCf@+YKP>G zDHH3tJLMNN)N_D>{eJ{yGty;=n;z%tcpX|sQ@a zAwJ4Il^YQrH}D~7hPH!j$Sf0=m0fx#Ipi`3m9z0F{X3zh@`ab8G1fZ z7Nlitl2RsEN>fdu7}~jolF*_H98GkB^;Jy=G)&fDkNj7FVHLg4xYt|gmhr6_HZmbhaigOIR$wd>aLsPalx z?sT?sM8uY6BMK$;z(Q|O|3xQlDARv=ie^QZi9 zfIzLSnpc)=phwr~e3AU=6V4p@@}a|?{af386sFSWnHzH4RzRMUbAgX$nTuPNtrp2P zt#;XqpTSDFo>FpET+3fFO&j%F3>`0_o~>A<_R_gy&WJxn^RiC()wzIkf`C8cD7!SD z9q44C_QpEjWT2T*lbX9&^gJoyA&(o`$l>(;YWdD5VF?K2DyV_GOxvpmdo7QTG)A6*{7yejmOvmFv2k*4tWQthY22IuvT}d9mGtVT`b1$M zco`cTEBVao?a^p9Y{MPNg1ciEdgLnC2dclEpu03^n{bGG zOg6Dc^u+@>uk)S~0hY)-KZdACm)JoXP>?TTuTO$IR=DNuEh3LnKEmy$+r(uQ@N^a2@Ju(!6QGZtE-_tLuF!S{6B(`0%_t=$8RrxPJF^F%Zz=csYu@0dNF2FjwB+S` z%E~<8^6~>&7*ajuKJ!tta3;+4hu!NZ!5MV$((YBS793s`s9OAi2ffun3|FR diff --git a/bip-0174/multisig-workflow.svg b/bip-0174/multisig-workflow.svg new file mode 100644 index 00000000..951b49e8 --- /dev/null +++ b/bip-0174/multisig-workflow.svg @@ -0,0 +1,894 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/bip-0174/multisig-workflow.tex b/bip-0174/multisig-workflow.tex new file mode 100644 index 00000000..2b8744d3 --- /dev/null +++ b/bip-0174/multisig-workflow.tex @@ -0,0 +1,102 @@ +% using the PGF/TikZ package with pdflatex +\documentclass{standalone} +\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} +%~ \usepackage[english]{babel} +\usepackage[none]{hyphenat}% prevent hyphenation +\usepackage{lmodern} +\renewcommand*\familydefault{\sfdefault} +\usepackage{tikz} +\usetikzlibrary{shapes,arrows} +\tikzset{>=latex} +%\pgfdeclarelayer{bg} % declare background layer +%\pgfsetlayers{bg,main} % set order of layers +\newcommand{\h}{\hspace{1em}} +\begin{document} +% \sffamily{} + \tikzstyle{block_center} = + [rectangle, draw=black, thick, fill=white, + text width=10.5em, text centered, + minimum height=1em] + \tikzstyle{block_rounded} = [rectangle, + draw=black, thick, fill=white, + text width=8em, text centered, + minimum height=5em, + rounded corners] + \begin{tikzpicture}[auto] + % outlining the flowchart on a grid + \matrix[column sep=3ex,row sep=2.5ex]{ + \h & + \node [block_center] (R1) + {Alice, Bob and Carol + wish to spend from a + 2-of-3 Multisig.}; + & \h \\ + \h & + \node [block_center] (R2) + {Alice uses a full node + to create a PSBT with + all input UTXOs filled in.}; + & \h \\ + \h & + \node [block_center] (R3) + {PSBT distributed.}; + & \h \\ + \node [block_center] (R4C1) + {Alice signs the + PSBT with her wallet.}; + & + \node [block_center] (R4C2) + {Bob signs the PSBT + with his SPV wallet.}; + & + \node [block_center] (R4C3) + {Carol signs the PSBT + with a completely + offline signing machine.}; + \\ + %~ \h & \node (blind) & \h \\ + \h & + \node [block_center] (R5) + {PSBTs are returned + to Alice.}; + & \h \\ + \h & + \node [block_center] (R6) + {Alices combines the + PSBTs. All inputs now + have 3 signatures.}; + & \h \\ + \h & + \node [block_center] (R7) + {Alice finalizes the PSBT + by creating each input's + final scriptSig. One signature + for each input is dropped.}; + & \h \\ + \h & + \node [block_rounded] (stop) + {Alice extracts the network + serialized transaction and + broadcasts it to the network.}; + & \h \\ + };% end matrix + % connecting nodes with paths +% \begin{pgfonlayer}{bg} + \draw[line width = 1pt, ->] + (R1) edge (R2) + (R2) edge (R3) + (R3) -| (R4C1) + (R3) edge (R4C2) + (R5) edge (R6) + (R6) edge (R7) + (R7) edge (stop); + % circumvent missing arrow + \draw[line width = 1pt, ->] + (R4C1) |-+(0,-2.2em)-| (R5) + (R4C2) edge (R5) + (R4C3) |-+(0,-2.2em)-| (R5) + (R3) -| (R4C3); +% \end{pgfonlayer} + \end{tikzpicture} +\end{document}