From 4b56cfed41398d28be832707e082df3a901bdc2b Mon Sep 17 00:00:00 2001 From: Marc Gomez Date: Tue, 9 Aug 2022 14:05:10 +0200 Subject: [PATCH 1/2] Update authorization flow to reflect verification of VCs (#48) * Update authorization flow to reflect verification of VCs --- .../2022-06-08-identity-hub/README.md | 2 ++ .../2022-06-08-identity-hub/authorization.png | Bin 36649 -> 54227 bytes .../authorization.puml | 7 +++++++ 3 files changed, 9 insertions(+) diff --git a/docs/developer/decision-records/2022-06-08-identity-hub/README.md b/docs/developer/decision-records/2022-06-08-identity-hub/README.md index 6ef2c64ba..6a5f72751 100644 --- a/docs/developer/decision-records/2022-06-08-identity-hub/README.md +++ b/docs/developer/decision-records/2022-06-08-identity-hub/README.md @@ -23,6 +23,8 @@ Each participant in the dataspace will have a single [decentralized identifier]( During participant-to-participant communication via IDS REST, the request destination participant queries the Verifiable Presentations of the request originator participant. Access to resources is granted or denied according to the policies in place and the available Verifiable Presentations. +Verifiable Presentations are issued and signed by a trusted authority. Before applying any policies, participants access the public key of that trusted authority from its DID Document, and check that Verifiable Presentations are valid. + ![Authorization](authorization.png) Note that complex IDS flows, such as negotiating a contract agreement, requires multiple IDS requests flowing back and forth between participants. In that case, participants will alternate in the flow above, and both participants require an Identity Hub. diff --git a/docs/developer/decision-records/2022-06-08-identity-hub/authorization.png b/docs/developer/decision-records/2022-06-08-identity-hub/authorization.png index 2e90cb4e29c2632b593d36e6f903ea687eb1bd21..94892f73c13e84a09f415082a0c1fec2592fb5bf 100644 GIT binary patch literal 54227 zcmb@uWn7it)&)vQY+AN7BB;Qokp}5TN)YLk?(T+7N=bKzl7e&zNVjx{q;xm?J{afy zpZC1yez?E;2?d^Kub6AhF~=N>5Cu62Ob{^$4h{}eN>Wr24h~Th4i13<6#@88cEpYd z@CD)^rt0v{+Q!ww(8vK!!qCdlPS3&6;EBHL6B7pq8y+Sm8w))v2S-Z_#&_11xXj$7 zz#DK(->5qL{XQH#@EVs?&lnBs89^NAqRNps;Yg4Vr9vi+bTMscxDw-oN47<@hZP)n z6`|9PlMP??%J!#_^l5||2hxuRl8BBIiA%%hzhV8DpfTm7Fe~&xBeyCgR(TWz{fYgi zGZ!~nvX*U0d1+LkSf^jLTO}wiBf|03bjSl~CHQpVt&Ro@&=ouqZAD5`94LY8_K_5{ zC)2pSZ3NrReo>D`MeuN_e`()%(@fOWcaJHLbB|yc=9A9OB(1c_w?p0e`N~t6w{TE) zJudOGtnqoFfDiWMB%{nhLdRI`E3{J&66On*JbN*5i@MgB@zSaav;(cl7F0K5CqkU? zs5*flrx8JJoHtLOV-kFrP?@3br*2obnlLGjmxxCkb=LD$e`(xcU_HJ93etuO9x&&B zC044ie;P}l#YE%O(}XCK`!R3mgsng6ectDXB%PFgD*a|_tFu~1*!ASHqGsvOY>{7v zGC$9z)O|ZQtY?78LI{Xnoc^n^)jN?0$&vug2IdUUlEu#y3Fdv1-^6=( zLTh>Kvqs;+;3{l%6~cMrAHl)-z)6V;y>ZdrNkdTuOTfA!wMD@eV0a-gt^#g@zKTUA zyat*od@ob^C~%=iP==dvie{dHkJ^o%NA?x#c!*30*STLJ2o|4 z3%hpq*Vp_RUB*sMPF7Y{)_XtZce6(HnF%qF{abb4kcXEe0AKI_o70>L{`-9e5X<*cCnd{AnUt3&KTO%3Z z({^9G@s?4b2#?3b*<-f^U(D5agI_t9^T~F1y{9~57s6;Fe@zWBZ@4Oy?tISq(LTDbj>V`*`xxWS^$AV`IqAB*h*-3$ilRMeIQpZws0mnA(}b`oSyMIy2!m z6K?9j%6~s{55J> zlJe<1i>FiD zU~dDJAzQH;x<{$Kf9E22JPd2eWx@}iLQnUzNKXBo(<!RvmOT}h$8vtj`Twk)!@zH?nk;MFvo^&T;{D}$WL z~X z9WD}Xsf&~kee7<(CWpm{M}$T+Rk%EFfmcC3-X39ln2Xb!({N77nd=RQ<>WN{bs&$P zQ`hYoLN+Dw0~Z%xp%3Tii%DrBH9}xa@-c4R?rPEN#L0;avgGe(bj znOE*H-9*vCC@9y1X&Mc6kDA2Er{PX*=!3~D&i3XlXTH219F%+e_N}ht97T0?wQR~n zke22^d(b}UN~g|_BX)bdNLGBjM1vPQQkqG}i?Q}8m5@W#q{(a00NjeIQ#F*D=2^Wh z>)k>b$L`}PM$penl!AlVG7>&tb0wxHIA#ldS_9T_gEb7E#NggIh{!?@-W;V4C}iBX zM~J8~d{K20ZsI*L_S#sYDvkU;XVlKa_W?r$Bu;I3My*kL3h8Og;N%WAQ#nqNf9=6= zXXybShoocy&fNkL`H;y}4aJy*vH0=qaZAhw**YfskHPmpIN>(JbnvhrNT^60$)zvh zUn)u#W65CkKKi7*#5uw4v+&AIq|VUp6^*mZzN8bHc-ux!4rbik`oV)8CkLyx?cq0$&!#cudBO;*I8QvGmpLv}Jzxq^G zQrk)-;r|PI-^m7V*O<<&o+p$(k1LDNa$)^MGA+g*^N5QG_5xQ+F>%Bj2Mh%0Blj>5 z$g_KBViUWx9eRz30>@LxA_MB`I`h?{@VXoD6EVMj>t7LG<#-qWvi^DYv+O=3abf9a zP)nuRGmQnN-8r4bPK~464^(Kf7nIL!UfdZ{*5@*t=`VY)npKr3?=T$YMa8mO8JdK? z*l&IL>-~@r@ZgQX`T=4)nI`Fyp>=mW#UF^4QRMRSSoU@l7B=HB$A8`66yA0`-AN?? zqn*}JggoO%;VE=wfU+7#KhXkNx7W@=1GrBg0?D#Bj_&$+ zD8ugGmLz%~Y)4Pdk4)RZW^vTMm$T|wrJwd*@XgMOU)w(V5s3vUFB-^-(NJs=Sdn+E zm03GGOC}d^p>e`i&q!f>4xLTK=Ayd8n|n>DxocmV(fs0r+y17g55T)m)Q8b&&7BMR z&im@L@|{LDZC)U}{`^`3y@jdU8ZKV#LX&Zy{z{GlLcK2+SkV;Iw2Vme7E~8K%*k_o zXF)T$uT0*%%-6PMrZRmXQ+3z@Wi4xZ(3ZyAt}-jqIIo*fh2qPu58tXW#vn|a{882 zf}YmP=sx@A0x4c7<^j`QJmR0cA-QI9Y4kB4N@x?mB{2m)h{#i)t)(?}Xd|jG$-JtB z-Q{?xHkIp0?imA=U44SE+{{Nsa#Y71${NLu%OltAWjEUQFXQ&0SV=f0Lc{Maki5KBpY4( zm2Y|}9BVEvZ~Tt3M7AFU;asr$-N9~-DH8MYH_gN3GZvPxSh%x`n#98tO^{t4X{Ay` zwGp^Sa$?cm42fR8U}U|*v@55(fg=zNy`L3H-vm?{-KSTVTtLYG+)f2=d=z}kv$WTf zxbG zq)(-@K2ZjNIV{y%-j@8lA+{;|IgT#B)7ThSUgv%u8v1B{d3ArLYBy5|3d2>eKVgD2 z+WwGKRb?nd!@>%XWh$dhUdhFA0T3-KOK9~3S?Jj!FPKz#67>qDqN39@wDiOJOrP(c z@Z*$sCVeJ=bPO=#TAk35j+_D4dM`H|jQzt2PjAu|!TptmGk*?&J>0uYhY;kiS;o(T z>nMIjlOSZQz1Y378@rYM#)#tl6-#}0ZCuuN0ZQwEkrxl^d652HEb4hR`In?~-E>{+ z-w!`WxaTDzAk1ZN*!9Zgv4#WR@<(xLdt1mp%a9kBtW>qq(0I4>vYjsJ#_caSzAOQ#f4( zNbiXEa9C5TWxaA}aHK&d?Dw)z z2G`@>e-Q9UGV48S?afnQ`Tc4fp|S8^oIO_f>3u1p0E+vQL~%vue*uvYgzX`a+8^X8 z5Zym=mZ5lYeCLe+KI4VEqWFY?D0L;(U?Qtg+uHM@%}Eu0t|TgWxRK2~@fIZuHf*e^tOF)5pBSybt)IUz_aoOG5M@N;q+Xs>T_ z_A{>>TV>dc2GMQEn8~UH9j&dO-A;)|^NFrgY#21E zEvL%Sw5(kaFKaz6-;t1{L`CtOFv9152d8R_L~+b=)pYnN(l}$p3df~p%*{L4+J=Pw zbURpr)XTz4XN5j30uwhg|IBthev6A6zIpXQk#>k*Ef*)heYU|&ZZMSJb7g*Rj-7ZQ zf(&KL$W67v;I#1dkGcVtcT`y9{DD?RF8B48FsswfGuhX28O_rBYfojBOl;gRg=Q>% z%;BR0(_{gb%g*aVLsAlVi{&g$ZR8`mw}V68LYyLyHywu{ zGGUsEgbyEz_u8-1`}L3sc+u7nq%U;vx7RftSQp66n@tpp?dNIyESTa5#PAV;NoIbI zjLfL4WS#5MYZo8IypS9P6aV|<6NK4QGj1Bt3~N*No1BBJ0u>8qx~ZYh)d{(gs9AMD zj(krY#t&Nn(hDc2Gj_AF(D2=M_9x-wFJ0o3llQhY20A-C+uK=r-IFrmAxx?V z@h#qtE++5v-R7IF*{Aco;Yc`k0`wA?_B+!+Cz41}?g?p4;D}F(9Y02LHXKN>Op}HE zN6k^c8Fhe8u45;d%S%%>ycg#~=Jr zp$zFqG|vg1-XH=>bKo!i-3KY#x0$!R%*Ia=d+4KIX9!^_Rxn$2Nnpk8Ujki}9X zxkcm?78X`yUMJ-Lq26H&s{sfk^iyE|Uz_}cel9doBce2a#J#4GNX{Q#IwAJ^GTm9n zfDfFbr$Qixi<lRLmMX!-dbd)o69FgJ`vMfK3F>5 zCWH#pX`dg2(tNp&>h(?t+izjzN6^&N)SRzle>wb1x0BSAJp{979`Ots5BYTf`n?G{g=aMgSx}xaxiwV{7y@=m&0;qrE;h_D5lg zmY(hMqUB@@urMR9<=Xt{)UqLur&rTDxWZIc%DY9&Vg@$@Wj0C0w}IIS1j1$rf8W7={g zhT1n#FbEr6?X`>E?q;SYCdxRC*t3`_BC}0Z7&2Xs`7CA{4=t3_@$fk9FW}L=wU{f{ zE65Z&Zi_tL%?zSbvC7Mn^_7yBmF4vKGr67^)@7uXW_ekYSq>1bp4zI4-S0s0%456_ zdxn+|i2pvf(7pVO3|O`0wY~l1SmA4Qi#SdBdtIpt;BR6Cod7gxX=+XsPrq`0Z_Jk*)sdF3k+D1~MS=$BQmaiyh_RMy8l86WvcEDz{E(gZ`2*{Gy3o#exVdE$ znYD)Dus*7f*T|*Wn7|cD$;dG6ZD3#!!MUR9_0TyzBLyfBkdxOY;mjwk{Nq`T`X7zq z<(h&p<;pUfRqtn7l9}#vpO52(`+yw;W|>dJ$Y{vxv{T`*rTz!Vg217S?=x-T;eE@u zc6TdHN3Cf3(;5=lMvuQdOg#gT&2@WXcXAB`LQfbpuzMp4Fb4$?lh#$CR)gGZ^=^SP5zr&bnr_R^FGnA&Mgy1?uZ(0?9YEb? z06;|{QFMXbjgA(SX*Zmq!Dv&8iyw>@(6PbA_yDBq#lYE8YdetVw>@d=yyJh^OcV$NM85=x zN#|~=vonw%Rwvf}m*fplow}vd+X2>Y0ZJ{eT~S%-Y-_95=rRsK zhToGm={IHCNYj1ZmL#l3D*(`LKE^QU`7nOqCq0>hZ<>s7J~BFLK3(CMlyr=OE%#CN zb4B3!WMNx7iA@VUZYy18Ib;DCU&*nTve3y%5tr-3pe7Jbr} z5jEBVxg^IxkY${q`E#4fZUKki4Bi@;^Ef?I65wp5S zQ4s(|`$(G|ezq0omA~s^Wd7mm3Y10<^vf(SFPTnmsQh#j(gkV_gmXv@Z#4bslY40VOM7_oaUN&-ak(C^`R5;pXyed!^?A%I8rH?fSULn*}d*L_MNe2z6=pB?=>;I zSx4ttmUZ_V0MD+fGHzaf^hI2xA9goFS0`TB@JAWawQFo_)RPky+5T{jh+0m^&OSd` zlN=r%9u#EkbXMV)Ezp7pGp59}n!f_&+jfM88^rWq_Qs`TR%q58z3Y@|bl$&*nZ$$6 z@RYQdt|4qOKPX~=$hs@`x?FQ+#vpuoQ(!Y!+f!ZblnN#mu-I#Sv|~2@No%r{ul8_f z5r#FE!F&E#MM+`KzdJ#g4;$pVLa%y&Pj7s1gpJ)b-=K4Roppa)j3}W80ybPw;P|$= zYUG8Yz?{b}6eW|NKM$uDgnWw?eT)HDf$` zy8M+SVZGV-?CCaV0E>;H$xV6P@!N9qivt#$v9&((7%aVP!6hXB_cT{Zx?K@kOFlvG zV}x(9Lt|p_=w+TtdCO?%Oacd#1+KU7EWq@KG0r{+@C7Lbzvlm* zi=)G{HTi`2I8NBcpq3ioS6R-up>b{40*%;8B6sK-3T#_*I^|Z{7eTz1HCFQ~2Ulg) z@~K?@I}bfY#_tK#6+Kd8ljqkH^lyU}Ua$Dw)Z0Fy;Z5be!uW{P?!!v5Ua)jJXGd^l zvnf!yjKOcaqVqt^+PSr~u&`9e^HfA=B(_z4}qkYoK5}WqXgs|4Y{eJst;4zm^n`P zr8LD2^`kwhw{JO`!W4?Zdkdc62*1gfiBI4(XS=#0t>o`WDbA5YHrbMpOp_IN)KJfh z9JkLNAg4}i-p~32cHoltV@h8vmuD)~ zh!Oa;(F3$MEg&m4R(t-Muxq(2slbv~AYZprN)OMXwT+hUUUfKmYnMCw22>keU0oa# zx~?dScD6t%3g;X_j~g5k5|XR3_{007u>J(v7hmFkY;boohfZJxXJf_7%e&Zc9c<|l@pyj`(+@l!Gl(xc@W<&?wZ+6GqL!0w;$fYjbwv-OBh7>2@UM@$ivx_Qcx%_DcOah z?~l5pJ4i00kk3_CRG7_jNPD}tvN`UN4nV3sfUs;;yEs^mJjiVO64i%wk~-}dk9_8O z`qMHoiF097-f6z!9O-8dxoV?rj*Zn80bJqoLKRiQ^Z3pF_^m&oC~&<)!prNv*YI_} z1xD1594#D!k+P^*z6}sjU!OpLhqmAI(ESWSCV3AC+kp^#TiegN29>3A5kMqymevB5 z>9m;tD*6)5C;6YJzI2@iGUoMsBNA3Q2RR|39zh#|CQuCw%Cjz^fXsvsW(_SNJyW>!_^NDMY>Dz8Pp|2+4B2r zRIX1#f)aRSmvsa`|F|pYvlht@ai=fSx(;Z3KB{@nv_u%mChN;$@4N_TLICr0-h26N zw?wCfV!wZ462NPLt4;gD&$L%`FaGe+-Fo+PmPAma+*d|w>H;*pe39ob;SmrJvN~sH zjYsq66%u)!SxkpAjsZf}#^{0&CCio4)YvGc77-*fV}W;3>9+Khca=aIC>0qsYv)>9 zqho}B1PxeAE#~}YxWm41D99*52j=1tGX7_)Ov#(B3YoCs;rfFNI@u949K6x(y1BAxz=K zj@v~~B?d$8Xqhrlu+z1gZ&=PPO+;$FZuf4l<+t3F^xo&w3<0^befl`~T*Q#{e2*{7 zxpilR;Z=Ys`3t;3j=9ky73&zf784m>i@VaD9mDeGud<^97`am@58|nhyuXof?rpU+ z2i#XZvGw2zKn^r}7YvTa?{9H>~TMPq+}3q73%bTV8*!f&@jWe)eqL<4;Yh>n*1 zY9KX0Zsb;-1Xt^NR{xU+L$Lpyz5>ExYkhwCgFmGB&kF!C3HW60|NrDp3AtXHd!5!0 z0gz7*sQ>D;L0Mp8d-C@+TCNQ z!Y>zL%~6cdugyuvl}e)(N?lLur8HtVE^BhGNFPv-Isk)=(*KtNjox(7@Z6eFikOWK z7ZTqL^nd10&SwK?pl0YgAYaex2}5J!C*l=GvS-#Uo;?|=Bje445H^ugdNo-U%6xCTjb9cH1PB}F_XVjOx&hFAPyPv1#%8S-zW#eZ?!Em4KX>>>q8pF^j#|IX{aPVF z6@H&WCZUr22q?lpVT#@BiDGYm_Z^l_dQtG~>F(urq`YBCfa^Zuco5dX5>|X~Rm%F= zx)p~_wf^>(h%TKK4MaYz1qeUv9lqKxqszGeC>^;>f5|^P3{zlw{4V+mz+gl#NrAUG zVN8&!eW|N&C3bILN~{B~K&c2TL1BJSg5)Qt`o6z<5Woo8yzf68KQBt`|6}6DL4u3gg|6qO}cO z76<9G;4cptu!zY5f3}kHzQtH%1?hjB`eC7nsa&_aoY%a17!&8)%CDBt-*HN3y|}lZ zmDJ~z*B7Yx1gR7RivJnr&A1ZBefNTJFmEh#lV1)mxC-nAI@xtg0Cr#r^kBRny zCdV|ln?sW5qgU-UvfAbkmzLoHzO7<(VNi?>+))U*ulNS3MXe?tG?_IZ_r zBD#%S`^HXj&pQ8`Z)!aUh6Gz2ywkQORqeRzxi^G^v0{o)LFI4 zhY>TSvBhE6nHO7VVBw=0Ntax<1RdW08e2wgYofAhtT4y#6Z0uScwoDq=z=P`(frlh z_Vt@@t8`&1>#{w5M+1*YT6Z(c_4-BamS)BrZWUE6sD~Gdggb)2J~?xo_pu#0tNH{g$!T8KR^P>=vrjcycCatg2KF7npFJR{Gt}v0*e0XCFuANuJOt7Qp=zBYws!mQxyZT9 zLaj`=peSoM-2VzT__+#gHK#E5&3=E`hD|s48+2JWiR#ZaRo4e4r!C}sI!sT>^J|7a za))U@=6AR6=mf%Q_-l<~9N>#n!7rOj<#-Sq5z`i*<(TpyNVpO(YGr+p)cc%vzQJ?uRLVABZAx3ygqpp$Uiv{`PXkxrqxj31;m!|t@-q`X}4&{~G zI15W#5&pSr;~hmev?`ygK2t2J?JU;wIis=qb^q@00wX#Ga=fzMYml1gy-|wc6-Yq) z^Jiy+l*h79g*q03!3n~*H;wz>Vs=q3*kQbOXDOD~Rj?a5ii6o``=wY1><*_R{e9a) zFq?lVsCviKaR*@@(XTu7pYZ;-fegGHO`}tuJp}wy=m`|Hjqw*^DS*O(cBC@UX-59t z2ao**9IL)ff#6aJob_LQ?f->H4Csog->tXlo!D3#E&&AUCdyA%HchmOLz8=4>hUMBCFh#P&AR!*tp1 zZs9Vd$5p8U!?b7PTQPL>imH*vNl#c)pp*#XQAAU{%cJQVz|S=0k?y<$7z)q>G0at% z^mQ8wm7k7oE<98Cz9ohc^xw|GL`Cia;Q15E%|9nWRh-I~x^h_xZLbt1gO!Jklif^s$4T0Ke-p0$x?(UvvTi>uJqRC&3shz7#5s4kVB*U)Gd@KcllvEMxONqn z6sv^GT)Qr!(L`kkzhrgpk?7-8Ra5h9IL7(11s(}*T)XTDO!M=?5hebcVh4b#Ncld| z+OFSzVQ!Ft8W2c@L|$| z^^^JcZ<})E=DG4l0dXwe<3cfUp~zZn(oV^(>)eDGErmg3TU?CI&pRv7yE}ozxfQjf zxVYPp4OJiG|2}#2Xb9uidgrfIHeNJ6osE+Hy-G|_Y9od*6Sh4=E&CXW*7Y&|L%@Gp z&A|avzldKdEDBQ*>N|Z$HB3e+8S-C_s|o+&1j_jKc;mQAiqoRzXWNZ$?}@dQ>Eh^M zr`z%Y5AI_q1I_lfmxnv%2)65u0>-h}Z?Bm!*Wsm{THOblMeCP4dFD!^dxjx)+9bTwd_K0=o>2D*+y{7#75wM4~uXUn;9g2ykk-EkW}s zNd3lc41eiuu)ZSK#$9UbHnOomf4=h;y!Qv>dvpg)lU8>BvggM?#OByd=A|(eZxI4c zDV_NHJQ8qU(K~{@lG(TAhD=SbUf^>#86o^RilQtKr0;Thmy<`<31f`67CcQgKuey* z=$`~z4`OS+mX9L<1FUiYnBJZao7Vg4tFE3Tqy0Tw&+~9LD>EZ&B5M+AR7{SCFY*qv ztx2=N`u+c%i9_>nf|I~Mmbc&)r)ct{bua~P|KpMWgKowqwB>z64|}M}S?;>OUX?O7 zaoYJ8gH>I!LhPa(G4F3jeE6YUbuel`b1{BE;%V^3hV#)(zclXOLll^&z@?}SI#&#O zf=Y?`ixK7>$?47TnkpA5uRX)gWq!i-#L9`(wLrl^E0336?4I|>3LF0M&Lh3%{1wl@ zU|Pb5N89^mi(WhA92RsPlLVI*Ib`Gkh3_Ze-UP;PZ(Z<{pT7*!!EK7D;+x9j=nhe^ ziA=Z=$2k66@V^_Ll(F#$M40~~rKl7{hBt0qV?M#lT)}6vUYcAn^uD~Imj z;E75}#QGAR9{F!Z(pNOO&|$;XQrQyu*L44DkuC~qJ>IjEd#?nq4+i2|6yTb zkT-lrE(od^f4BEPpcCNrT^RCkVZQ$@&)nO^m~B~*a{g8ce{$|`BC>{~)wn5wgA^V3 z&!i17O#ENPVXW}q_5F`bEsEp#%Xj&=4*bt8`Hx3pdv}$sBX{u4;lGJh=hNY8^^?S= zrlguZdFOtXPd5<0H{Y$yZ8DBK;Af(f7w8_0|ZVscG zkk^Su%XA&w060&;HeOIg8nOdK%s*FgD%Gkjh&EJcpx-GJr%E(xTnQbYK_F<44_~u< z?o(96%r!PJum3*h1LI|EPvj}d);LXF{QY5tywH8HVo)q4v+u9#IzTtO)a2Sr?gw7cVS5cUB!96bVCU$Un36NW$sd3RX_Y^H4PR(YH>5K*vp=IV}nVyN55=p~q6+acxQ zymR@-ro{>qML&Ux1Y)3JV>>%JmA?7-{o?RP2A{k5PxHxAGD1R0{-HEB(}%GtCF)|m zXJ=au&Q{w^(F6wRLquLCib)m>>4kCSL>Z zvii{(-WLl&WQd80SuU)z-}sp`sV0#V6bg+-e1P{{0>IEfls{Sp z5Tk;SSX?y4sb)|2;e^xeN&l;_pRdpNsZW8sVC8BG3UF(!{wN|zT%#j75`27odiLLf zaT}a=-GCX9k&9j*0=xNZ!lDPVW`VYeCq@gT^VmYND&iIPj@Y9-S*H=ixn6PfB5 zpKEkIKK#*zuHDtwhfeG7@1G^)<;5>k5gtD9#dMU%@h8$LAQN6}^B+)d0<(HzpZlC} z;b6I4&q6`&)vKpzoAvwkZr69$`$8yEm1}(o1-ZE|nXIx`C40XL+2AGEza6GV90l}u z07w5CHR1CVfF2q}PZzoOT#dC37Y8eA%-H6`r+|5u&?24NKG5P}gL;JlS}d?^S*hvi zSZm`&Dk4N@AB=!d7z3kGI(I9o8tDYxVYv0iLKG0S9k0(Ur!?#Ao?8S425L7rSpw^> z5D^@_L~M_HQoLOV7!d^PfS(K893Wcw@ta{p32Qa^f4}A=I;VO>x z7~wW@_Ym2WY7?I6pK*LISNukx*n(U|RF0UaD8Yb0j|qqxC}hYN%S`*#a;{WN=G^CZ z65lb3aXH%C+aClCrwJ~&Z8JNX&n;^r-EQ)jo$X935D^hc zB}eOpNoSQVJejSrE>rzXIgP#obbaELL3u=3_}(AHJN{T%e~UIW(2CcJ5Y2L3-~7#| zV@xeKcEE8VmIm!Fw!r3{7uij}2jJywlxb~jj^r39C4d=qnn`=Tyu5O!fn8%4^R^VT zL7nd@)oQS?uplKRtxa*cyVBx`V&2n;><}NWEX@Hfv7nzWEG!sQdc*F37jIpc7I8j| zlH{rb43KPM)F<|4*)oJZ;)MX{+x|W3O697gtkPK)k}+*Y1Ia@0JD9z|!g}3Yum4orGCHn)%my%C_p;_Wxc_kBb96 zQPF_>%~?l0Dj6Fa8=oUzL=@f0&TtaCH-)-}hU1^#b$Q)h9X9Ye?`iJNRAuD@^DIX@ z*HTIa3lFApIvqRV`6x2fA;C0r0uGxlv`bAgbPHEZPm}w3_eR#D$ML{?gLB=Lb<6EpQCag3`mJPjCQ`7tUpdK(rjF3Rk1EbmRQHSiD)!}r`MvLMM&$(_O(ZKhNG+dW=MP<3;A>gi*`=?dnu$&- z*T*Q{s|^2SJh5H+xx;U6yiRTaq3pP3b)+G5ZNrm#{W;ZXgvDsRToVOZgW%=ztox=> zwgI-B)c!a@BH<)@PVGuK=K zo6{N<&!i*A5gsiJ+;bb|x3d5G6CTTuRI)DHy8|>%i&TT|M8A#7$*DUISK55&(|IE& zPEKyQq04#ezoi+zS>G$rIQEC1-{(06(51|FN;x2OG?>>|0hg-sJ9>LTy$-AqKxqUB z)%;pbNkx~(7h=thtyC?Zqf1djySyW}CSgccHbH~AH-LbZla22E#=}eh#YbGpta}g8 zM`pi|!_agH0vS@*`17iVx#gy#`Toe54<~wY+Vh45g~nLz_!>fGO{Mf=0;m*JPaLAn z4JW_i`)W1`f_!;K9NX#xY*VtgKP?@62aJ@zRIOiUmmXh%hJcznk%+Ga;r23+Y*<%% z-^GpKz{Fm=>k1RNE#3MKYcLU!9dG4|dulq)(XMoBx01m#Ig?Lk$wweU2ek-)X?b0a z!%>Q29%zS>ThC8cs^zAv6?OIb0?`yol zFcK<@`)2T!45gu4RJqJcubWzcIa-NrjTcRFE_#Thn~#i)uo@4N3V37+wW{?uX8f1xh|Ut0+IM z;pK9@c1e|}ERmoHBG$m!XCq8d?eRu8hE1`X{EfzR-vL+!XH=V!f3oja?l^neeXV9# z=-n4=B1))_wWp3xQ9+)~*vRV%j)}^>+tWwlBaX^8E?a-D*xzHN>U(hVnSQYB532Sr zZ%S0R#y_K8><-Esp4Ix0C~ed#?f?Y^)}DEW!6>F zCRlLEr>6-;5GJt4{b`&IdhcgIJEv=O3)dxY5h1b{8q37NB}8h!yWPBWgZBkA76R(< z#s;VD<@c_`57#F~n-IFmw+!4`d^0_BNq=rwzq6b#b8LvIv|n0Z`Wnb?-rE0l9_hi@ z&qR=2W=Xj08_}HGQ6o+e$O@nI(>SkKIl4Gjc$L`VbuLPs&2rnpfemvBkVSmo2vJZ{ zu0#sl`E010m=us-z!igHHP*tLpG9SDZEb*e{sbqE z8ZU$T7n9L^OxN_b&pG1ZE4>Z^W!g=j-h5P)mhNp2!WNnl{3Q9#iwlAT^A{2pD3H(K zcitnNqK+0Oq~;>;UO^%Eh)PcGWgz?4KB}pyWqtzk`Y3)+A;69S;$8PT+6OE=^hyVX z3a~yI_QnGj%JB|UBDTm{VUk3-!@V=0M&`raZ@|&xIO9Nn%!G3hRS1@Y*|5iJpnLZkYosHLU(}Ue93<<4;IjzyhMjkUE0 z2%yJj_1JpAZfy9!1}^gWj@grw>oho(*u<|7wb-pmYinyS)6X}49JdWqH(R|CI&$Xo zx*-&eqR+G`xVgCretwLoxVgPea?LYe?>I_G1;xB(d$!i2f(}DrH`vDU#ooGaK{=#N zu%CBnmZrxGe_fbv-aaYKrLQmj9+Uu7o_{*XuR(@@A>b=;K@rdoPZ7=WEv8@Xui0C9 zEr&=hG*Cu4S31e|`p9MCEG<7;*^r;&w2XgSb7&HVR}17SO+kdv-mAQ*#Sf9`@dg2@ zBYs$I>p+t%_in1+;_mfTp3NHvdI->0`$&Kz*$XIR<6x<*(vM5zi779o-+-7HG_h_y zzIgbboi07_e;*mi)F?sjC7G_1=?^_O+1K6`NJERq)-tOy8>b~F&j2cF;I_r)hc^9d z_`D*uN~$?h!bh$eayW9JkOR+?5sBRNn6~)_^dZvP`KZb18taU==M2O&P#i)<0Hm~= zJ=8ub=5gDv+nj2iczYB}fa>*Jl=Q%x~fDhB(#nBkrgGZv4L{U1;&hp5s=5alUw0IAPsd0JJ2^P_S~<9x^A zaWfv!B;}iROw>V3i8wpE(UDxvjcSam^6Eztg6Y0Qv*ZQQq9OSHZ*doh+Haq$o9`AL zU)J9ITv3Jt=by>~MyOmHvy7HzKJH9el=eJ@$v2zPZTbbMq-0kVDozBvfaD>8zmQX+ z(Q|A*nlB4I-~6duqFp5|Dfwg#pg(5XEkOw}F-nw>G5jVS)HaoTnIu4Au#eN^f;4(w zbIkPuI3sl%`iPFL(HS&ZrUQ#?cUYwKUiCBb(~^iF^-Wh&RNUFwN$2Cf_{i(sAqfKcQSt5;+0Ow>r<9Qr#Z&3re$N7CJuL*%S$ivaAPU=x zd7;+K*fSTC^5XzQ@@s!Za4$FhtxJ3ryAKVn;oUWO6T_<=xBVA!y5l-3@dAZCC>S z1Q}pS(tC95K0LM@Ay~31ohpQU5I)MQ0XoeE>-27}7xd@tL5G&S69=EJfbQ4TgwT>3 zyY&Ngv~Xv+ejlT_-Z zYr>b!K6ac}Ej@rL=ALS;DnV*H}mGFvknL*zs3*t zGc-n>0kmEndVgWMG(6?ibUV@U7cpzwOXX61^LLd%!(2$^iOnj$kc`Mbx(4vRB)^&l zf#+ym{||L<8CKQS#g8gTZAt_MX+%n;q+3EIq_!wX8+5mHhoXSAfP{dEC?Jv|Eh0!u zNOwz1*Bu-1sOR|p?|trbzuYf=K-jU?nsbivtAQDjBHrh5X~|AxFc4pe0^EYrCFfLp zSiFjS7ggEjG1pRE?@Jk9yTIgoyB$q8ELmC;G7r+~;4eBtFj*cz@9ErRUex(v+X zCF9x^?jN+bpB{-q;NWb`P`AHvp6Os+(!|BZm6Mle7)zCl5)={&TY{Uhv%PIlPcCr|>t^E)Ctsq`k#&a7HvpjrA3*MEBo{t3 zO9@DkvTq(AdkZ3_xS1~<_}|-j_&FAg&1;2`q#z!NE@MEELb#%~9j9F9wqf~-k9e^< zuV}Wt=4i5~V(VZj8*r7f6j-*n+So$MPeCAZ@_jSc<)`Q;!i28c#BPgQfBE>%pvi50 z$lqPG#}?D)bzSfxW_nFGR-#9hXKQ zWak%RU&%C3wYIiaQfd~9B_p?tsUBd(v>+~2SWW&OmnKjoHi}A|2%V2=zW9+7xS?Dd zBQCLLwOaDXGn-l83H58saDZo+JN(iBu|ro+v?4tOvVkZ(8e(;>&tJcO9q8;-xe~y9 zt+9E?HuYv}uxbX~fcstvN+%vuN#%FBGg$TfCyKxUHKm1Mnqm~Wps-Iap#0cM2t6r$ z-c<0WWv|MpS#RcFa0b$;Y2A>}1jYPKtHX`GUV zqKCo)!3O;ws6i>1#9H%Kj?<-@M#k-D5`i`U>*WxsA(!?p6HAdY?3i$-{(;1xG*#h} zwu{dRm8sih>F(VA4ShusCaAj^F7fdqTq62EL6=05Gm+qh{t4f zLP{`h!Jh^&19=9f?E}SFAd1Xn_MaTSO!HhA^`H9dqtD^Je!j;)mrV&lq+GvHdl@9D z0D2!V1wY|K_yo`Y*R?^xFq}YM0LJt46aI5jCSkH{&nI!wunt&)L`E!FCuNH$M1-HA zL{&%kj;0v1j(TBSnS6 zn3%{be>kU7e_AkZ?xEtpRSs7f{;hK0{-C%#>NH30k;$j=+tmUjDiCf!K(*Y^;%f|` z)<-RBdxUtt017boy|ZWaYl)RdIsRPp({OhoYjY?MDKCm~K5fHJQBstv+EO8t>}SJ> z!Su&79(eHQ3m@KwQ|!K!1*#?ZNJEpm%U}D6Z7nEWJkfz8rhBdK0cUqt8-uScypqcY zJDn!|Cm@pY)NaslUGBamuI+p^KV2pBgZDEnc?+7Q#yf!_*<)2TA((R4ks7}3^kb8s z8ZKg;4f@{k&MU*jY`~Z=@{LC1#qKnu9@#?B11{-U(4z=;SWFsP=)8GY1L1Ck=mrF2 z!lL<#pn0%EM{8=-K#KsdpyF|)owZ+2U!>^cTyC4+F3#b1Fbl&r?8;oo zq3SzH<5_+*%$d-GWfO!eZ?suRa=EjcRBPCLRI`Y_k2o;jWeXrDIfLe1PVO$|RH}U` z(fL+qwG91yW}g%PUFuvPbdkRE9@|e8P@eAC z)*|OUiqUrJDKo#$)L$%ELm2cD&Gbn82W0@>RUN-9hyxiPGY-4Qs z#W*+Wh9lr8PIR%UzGAI=&+yqmP@MPDhmU8OoUvNz_D1f)o|g9uj|F|;&s~5=nhw(B zd~KF(-n>C%@ox;iv4h7Xw;Y~fOa+;L8kS-vgUS$57ZZ_mEGnOdlI!oJciukj^2+=n zJ@j%?4XH470`jLq!XfNNHYLQC>{kOcSPlZYYT2aIqD6+k-CcO}51`cuX}TmUC9}eJ zf&G+6#}d|_-Om-62LYZJ?_aBZz%Kpi%v^U$N>Gr-I7q{eFawB2JBdJ*{P&U6%`d!% zkkb7unqvB1iIO77=;nNSme~KXrDoq}(G<9&*&qHI1f(8>(2$_RHgRMH>gY!6EHUE>7|3+SwHw%u<|)K5`ynTU@lO-90_szUv!=Gp#%ReeOE^XlQ)g zuQE{ZC-FAkIT>$2#R_hkpIOl{{nnMO&x)MCku+Rznbd`{F~onGviQflsUO+|Eli@W(kv+0>yPa^ z8Iwh-4UAco%1DIgZs3;ljg_SzOL%6~=G2Z_VZ9w)<#5?u1W;BhqxzCUa5HOwP8W|P;_yM zKn^7lIXo+Uj9A)etYyo~)NV>TDk~$tT%N&*l)n)aONC{PzIRS@oQe4i_U=l?5Z~r! zL&CRq5xnpAA%B#xFz1pLtX_uivPnl6+5B{YjJTP7P4`+T(h+QpwN^KFURht6oSo4U z$#qKjF1oHj_o=?>IZAf^lbWfPPC6ZbsPz$Y{7L1@GB+{?MZQbH`D~{6t`JctZDSF?4x<4z23lQCc zsyOtZ^7vUapsv|IY%O&G{Wl%K0ZW7ph0p2V3LlVnqTqPI(w-KQc`1XQ<+nfiqjZ6H zKUA`yzQ?cq6!h{y6?!5A0ziZfHt?T>_Fuj{>W`w!#dg<6hN}ZX2QUXIOFBcAoRJ3_ zDJTaqW$Dg|u-o!WRx!!0+VPWXJAV zimGxgE=lp9+j(9pR#!hX@U5(G(mthk@o^9v8=L#~qQ7OL;6vxbDe-FYT8H8o*% zA3g{dt`N~*32C4bvR8SnwzxLnPKby18W>r9ef_n$KKe6f3Kcj~PoBcS{R8JDia-^G z7p@_k8)wp4WG#hUk^Cdcr@@xI&4=3)WIUrhGatWF*77;c{OkLqq@+saX#yr+fOnUc zmd-?^r~78uf0VT5vqJgX3vkb}-zQqS(@BmR`@ z(*BE7(`&CR=1s)_1IX^uGbVjGFIbY{o$Osw;@S|y1866(0sN-lILu$7x?C=OJd5wX zLn#a8p6DEn&TDhxr)`@%J3Bvp8jsR(JGzm9OsxYQO_pX68vb}gEYl=>)_*HeaLrH(kqE$Cw}u1RkL~En zGW==}_802~NrXXPEF`Qpl)c@9MBP(vcSA_LgapH_4EbIxWO(X2L#&-g<+rbQaTzWo z_e48wr)S991H3ox<@FcW7MGWk%S=AY(4_z)Z)Ii0 zq!|BNDXH>H6gw3amH7FIhFDT+Y6bH0A!wxS&(*EY_Uxe^{KG2>o%=pBdqC+1=tq;HCEr37^o(qn4SYo+aShf3t8DdwDw7>NurFk~&7P zI<-%Q1}6JX8U})Q1BpEacMmYt@&&+Txq)lyFW*DxAfQb?fAcl==C|algx^5Xq^F`n zvW?5LEm;ac7bZSA2zbXPCYEP7>-;aX{8q2QR(UAULv596ek4Ks{Ll4dT^1_hQDZBp7;g*iLTvh4Q>CO8@>@@d zXmJm<`qcM4m6JQ;3lz-K>Z+gU!2J>Y{+D}=J~+fECZKL_&3z9Gf&Ca1I+C*{S3xqf z1JK^>WspgLgv%A|wq<)e^Hw9DJlRF>FL(@`yt45d&P;T;pWpFBuIoJ^DcyZmnfdj7 zrM|QZcAxc>iQcvTu=@6Uz4h3p)YuWQ6d(w8pm&i`#i?V}^l5LXN!7sXuYlgax7(nP z6Ll4&B#^Di8f^u21<2d1W94IcSyeMBH>QUa#dhwQnaPXF`k8j;;z%8T56Kf5s#*Q8 zWQ&qvJNwz}|Gv8`BIG6P-Bw>W>9+uaHXy2?pg@2?oKS(Up$n)OXsawCyW;H~U)`+C z4^Ar(`{ay)fl)~njXdyR0UuFy2P{;9bYx&v0igt{pFR^(3Hw@qZS4b>t04&hm-zbl zNL{{c)|E2`$mz-N)!8ThzO_QXEk)}~>khIbI36Zc?_6L!Y*2qcFq6bYKdD(B9+^M) z%0CqxUdRA7OgJ@sF0)+d!-g=({lM=-HuASq1^z#UP#JHt1L92%OliN-S`CNN(*2`Y z?aZXcRY>v!h=R8URX+YICd64T5dCuqqtNaTx31E=9 zUAg3Qh4b;Y$wt~U+2pmDV+Wu0uxI>*+vl3jve)!Ja?MfjD2yXXv;3(Y|3V8YF*M8p7zbr9OZ|IBF2kDU0^fG@di!8J7U~jwc z=(vHg$+Dn82hhwf;QKe(3}`#^u8GC=ukLjT5ocd`wG;e~{frkbU2OUJ69J|%LIJpJ zr*9fR9Y6KN@Lc9g=7+enWY6!VK7H}Do#&YN*Sd^?`q;@ET;KJzviOL&*R0bYm0g(M zt8vb>sd>8QisdL!<*e^EFtPk2PQa!S619icr+h1XcKhA>V~#)ePrDj+pYG=eGYFS3 zW`-j0{%I%z)u0F@2mBAG7t5cTn!3NV|DyB$Z-U|}ka3Bw$nin(=ioaj$CU+`eYu|> zVHu^Rp+xS8_}=;H=~O~Ms}R5p^(VPL+0==`ED1?U+|ps1^t@y)@%Vr1RS783W!yvEoSzr$V=070MAGNGIyhW$8epPt^6T_(IR{5T*Lc`@+*T!4w5sMFnjU>!+lrI1`Qc&TmC4cg8Y!+4h^8C6x)X!|>No@Zm^J&NabY7~Fq z&O%1M(6jEaM#FK}qwv;Ux}vOy#oQ33`P&oo-v^ah+;3LX65Mifb4T6PqT}KyPn@Wv>gedO z)*E>$Xm@TsF1y1LuQs8u|1;$!gpT9b$v1OCom7Iha3T@q-#=imOCdHw4Sd`!c8`;@Q}QUdAdbXRwiRV~KYNzo z-1D5_w9;1){5m^38yHNKmzRT51GlvI&Ye3TU{|P1ya_!hP=`vTpaDq~_XcSVF#8W5 zK9u&pUFDbh;svN@KGoJvK}}#84XWUkr%#{K-UB_fwZX>46|x*W zl74JM?%Flr&>igTRu&h#-rJp5ZIVgq7gzwJ(>*9CAe#NgjT>Gv(^U87`%6G0#BrOQ zJqs$vP}vgJ+qrsQA{(9wb@ug%2n$0#iMJBO>Is`rm~4%&n$PxqDiI+dF_?UwRI24- z_T5ZaQaJ6Dyl>2|%+65A0OLJrY;Jnl-0xd@x2~ zYha``Ql>xtP_g~{)Y&E*>0YSD2i`n zk5)&5#UxHYYN)H5hPG7KpY{?2R6^-|O;&ceRJY>W1y)w3YtcuLcJuur3WK1jz4C~R z==kv?QH8csCyZ)~w4ic=fSadW2G5^A-&~og!N=%CW3O*&!ZO1UgS9%aPKDp#Npr?G zFE5XQfkD>?X!oz8!nM$0XbDT(+2zH?_Kens0rGum$$X&n4UdZe83cpsFAP?I2p+00 zU~)-SyiD?qdR~l_2iffMGL4vGGAn4RYi{SShbObdP{$CoP$lZu7RU(;IxY0vKjti@ z_|UI1hQj1S)rUUxK3L__-{Oy8Bw#1x@pXps-sHV0zT>UkziM6FIJ;fE5olL;+$kym zSC;Mt4nQZrwoUGi?)aYVmWPY%Vm(~%<#9>xPnS>6&2PjOo*wGEg`3#GH^XbiGw2m1 z_HD&r(KFeEw>EHXstK-6pYeu8c2gpVQ6!y!2*=)p#F7Id{XXvicNF!`*+B}5pxq}ao^invwQ$z z%qLE*EzOkcM_Fv4RHs63w4ZAAWoCB|b;3IO;Kz?2KC6k@y-H3Rp)KG?0PQ#77$`I$ zk~DPHsmyh|JGJwUK}|Pb0h7O%1&s}of2-V-%)PB!Ic0aFcVftLZeTo=Hzq!&*Q7`( zNaKXTjPChDAEL8sH>{#ixw|(|7(pDDEFBMQkTT@1X70U(eRZt}>JLp{Z9W>{xPN)I zCCGkFe!{rXqU$J+`>l|CdOa2rZZi={mmM68^z)D8=+26YQlFgyA(pN`M2>jIPzg&&Q~w@9I4{+PlmJ~B2Sd>)cmLdA4i@2z;^NJ146d<}6m7K$k$TWSh%pshwYJqAJGqY1EYbYs!P!n6mO z=A5I*`;*OdWX7=ND>c^Eww(7Ja9yLy?aIE5Ue*uyaA@xu9qI1pE12nT-ZV5dIapiE z%E+{kn;S_Xic6a#)*F5(zK|SfnYkjlF?CXLIW@#2tcJMs^p<`b>$>0D6t{YcyMvY; zySKJ^9Uw%_HH#2hETs*0WSt7_#N$ZM9l-Oi*VWr&7W;<9S+I+X)Z&%}*QKp<*2-3Ar_AoGvpTy`_y=|nxvPr@Ziyumm_IGXkRIU3t6 zAX;2}ZAcDs9fbE8@80fWy$C(efwQJrTX$vGX^)yJewDndXO{Qs&dD}0&S{)Xd1}S= zn>x4py0dt4uL;CloL>+wW7_UE?7qZMCQmI(cSRf}p8lgki6$(tpWC9e`yWq_guDcoDRVtgDseDhwSR9XZ^QZnvj#-?*sX>QZ~G z&F9px!sE$lH}J^b(*C~j;&l+R%u)5ud@$I%kcm&}Wcy<>?3+I`QK4>6;(HojpZj)8 zF?(wpDe(jP>vcmM;c97kzf~LuJ}mGUN|8Tt|FGNmkgfa8;YcTRg?Fn_d0%#mOdB5ae6+sU zsP91~ar;K~tM5yuNESnS+L3|NPxop`I{ENwU2pWJLck>|{C(_bY6#TQ0aLx*MHW@{ zj!!D6;M{ikP=bG&?#8j6V=t6jJ>18Gc>hzo!2WifmIgn6d3AMV(evv2k}RDtlu0B+ z;jrQb92yJCRw%tGX7sS79^E%93dZCqEj6P_!Fj9%g)DLBOnOzHSQd6OWdx@@DZG5c;XXt}zcJb0T{Qo!3pXBns;y#R z;LF#*?HjWLjih2MDryU162z!)hys}>9wDVsE`@75G<~QWbKa_Hb94RJ`UcM%(%(9U z-%I;(Wg4wH@2d9&!6gf`cgH{6o6S5=Sv z`WpcA37LISkJv|!#YqHoO3)$ff6v1^3B89)OA68L;g*vgzqKZRyTZ};Z7~x6=$B%D zHa7oy*L_0cuu;16uRr_!qW!NwgGXTTa@ZB02UiR92crCMmh7%f^X**_O^gVw1f81} z=qc4q3aKT3wsjB%#2)k6e{`H-?u;0GqZA^?wyOo!YZYNL{Q@hW#>F1423{Re1(~0sq(niO}Pmz-1n$U3mdM<%Ik%lY0|Kz+v)l0#try;Zk{mei&T1h!$_2cRvb7X>hMVu)g?CfQ2uGYl3>R6{i z-NzKi%`2-^PtdLZsdbN zq5TyCc*({>~Nn*h z^I`z)ifI>=@<5XyOlTBbyM>MaT+Yyi-kIK*)b7?cylXZ)Jo-apXku9W#|dKcmYv0* z6wP<@a!nm(IU`Jx8_;Tb3p&_kzgxDk(8xXO%}v%(qB=dfcz2V)(%O>0Ob?6lMX;jB zX8nV(!RPk8`JURSVHgRc&&pOcWxVU`C$jAr|ZUWf2 z$Vmagu35-o*i4Isg(W6d_Wb!7Fc~oUh748t_jGsPym14cg7*Rsk6nEvRfz z2AD88IeGRw%p>{G7%w7sZYAHR1yaa)!JP(P)`f)yFd;~cfw^t3t zgk%(h4SRA<8uiw84z#vfS9(-9N9hfm-#t&MK*NhReLjDdvZYwjBdv4s!(-YPDSB|N zYJb34ia;Pxmb#NCt6ddOk2Zl;<^u;@8H<6^K?5+kQKT~=)vjMhzez$t;k-0jo04+2 zrX7+396lF&RV7*Unk(S=Uyqobl>z zu`@ix8eMno+#L@J!i{$)s?&AesS=VLnvB6u8F|uMuyoi{7~8$#OOfNtWM}d%4^L|H z*(jJu7)}W}wrx68>D$=YIC}iM!S?!M3Q7c9#b7_%eR=wU0F{VSt~tT2TOd(BYV|r+ z(rC)NVwWOB!ok6z(3KxoySj*UjV`rc{L&e44JV0AlJkZ4N8ZZ?;|jQoB^}4=B7%Z~ zQcC(Q@NwsqoBfLO?$!iVtW)rrpIxEgZF{o{D@vN8Bx>ZJO%77m4k4z1^oe9xAn4Tb z&^e!Xpz*0HNNe(~G7rWI#2O_QTabYjHAmuturJiJN3?yHzJ;LT`KMvXCDce9Yz`m+ z=Apl)2J5?ga?3($$QG~FjT;dlgfKQfSLRj|L}h2wY$!pUl9=d`JAsBIBPPDCrnU~P zr**{k6MTF$1Q{6_cG~dpFuaU;3WGcMw<$d6`JK7X`i`oDPZA%cY^i!C6)q#Evl06J`wRb#q;osETMr~t-kwgQp;M}vmiP5tfWVK;64O1~Sw z%s81icPr-T%G3yP;PRG6F_ITq&0s7Spi7V`8QHNQvedKS@3qK7 zj-M-RGmfYE5?sI_8dowJwbuLzHvVivq4rpRE<=ypySg?Wr08cmrJocSk=ou%#2%t^ zK8$ndGi4x4apy$m|NZKB*w%p%vV{4)1G3N8p20FU|y>#>JPkzOspO6%^X zXd;myTsOIU_nqUiKI-1mlOZ%Y&Ytzz=JfUVPY`vDX`^^gN!pddF=BdUTWGOMuWR@^ z+F2TfpS}3MI~wjY!JCs_eh7ewt&`H52X}89EMw zJ<7709n5RwAub%ZTp}fxhDaQYB>u#{15ibp?sk;wUGh@`smJeIH3Y`@$5Y2sKXY;* zkK$99$MO#)O#2V&`m?(0$B7Y45q=-#$H@qnG?=l9?_znaJOXMuzZMRy8qb@%FY0Q?RB_~q^5Tzc*&Q> zF!y*8mW;Kg>)!96eR+JtjcrFDgkn9bUeB%DKi7Y6(|+OETZ1ba>8>|S_5U{+h#-@gbD)tPOJVr~;&9%b(rGsF~pC#=fR&Omk6t`p3ooB(c z``2If+yC-OSO>^H+)Cgj$S`~$Zt?e1itf2Jik#qOc`f#3Kaw~J1Usw4|?IhHT)&cKUoV@kmvtv)&hFKvwzYfC>QsCSs!3)GI#Xe9I>Jh z?HcQ{k{dpg@E9)uF)5la6#iBA>&J#i=(y3bu^O717vf%O*1|;34!zy&4JA>Rb&fq# zz^Ncn!Bu_f`d*|l?!OCt6m!@L&mV`q{cB(5EG;Mb-q7p?8eEM$ldoCRN!%50rcFKTn{jLFOLx2K&1J%k*`4>Bb`)Rbg$YtEXrQP@WZ)e;#wIEn9}cLZ znCqtPw*?5nmVSH*@i=!hZI@L~S|sW@IBbcT6i7OF?SJ*&ASh2km5m8$s>1lO{ohvZ zR;OV@rIsZA{kz&C3+=3}x>6afhI7x&S#<_eMGq8O4%qqk*q-7%2a2^-ez&`7DN-^>BuEMX#$jI~}%NY*weK$wI z_mMJZj`K^)$|8FEz)$iV2sf|DZ89UA0%A}GP*Q4YYT`Y|^aWd1d2Yt5S7*+gQO`4u zh>hKXG1uSwODNQh@q1s~bhrvNLSj*Z>*{Gu0zoK1?Z6!iwKE1r8@Uz&Ca^(74e6;< z_Q2(-W@#(oJjd%sxE@jxt)W0E?xQw;@{A;mzOWtv*(%DlyS4FEcJWpar^O>rElxmm zGch$StAo#5XO4PYuS_q@Eqt2L$QEXv|Da;e;MDu9R1^NbT@o zg@U+EV(oD^{nen+i3!P~++39mt|U51zXhi~_B)Af1(?NxTXw?D+)TbJj@` zjHsN+%>EW;S(jr%_cuuz~h=WdU3&vI>#$682>Owv+< z;3TYVzOOiHK+a^4H;-@t^#p+!Puj63-%JWI^NwT?!R#BF{VzWG`B|1YBtOQgV1hJ_ zo1VR+efL!EBX_YMB0BuJc?I~?$LrfIkGUe*)CM_y~ub#p5P zpCxFJp2%jWUJg9pG2c9OpB8Yw~RJ5m$8rz0fz2Ul@;c|%DsKef4%^BK=F zyNxwpmQ2bSNeuG(BzX$Yb5omrMOG}9z<-&bi5^)vzDb^?#9pv!o*12x_1bSUb%50u zQ}K}#+PQaiImbp|ETRhL*%!~B55q$NCS*{bajM`<0pSc%CRsT-P{UoH$Pv^yBleV3 z`)EYMkt50?GE(9yWMqYqo&!5JzlOGUCLl!6Xvd4WQm_!k85gg0e*&OR%kLsX=LGdEaASfk#AAb&>)56ccHo3nPdWAdKye7CFh-(3syD!-ntD6aQ;@VNLE5M%^Rlyl9M zM;pPzTj8!%qKTp~uN$Qr9W6mm{M6c-^VH;>s;CRbIfL1R_PVr)h{x@dc7(10*tlfm z2lg9ywJ>t>f1U^U{`Si_T{d#EJL0T&Htk9j97jIkSID0(YS>KKl~dNx&`?$u?{|6;&Peh)Lsijjp<<@M z+?7dGkMfVTf94z(RIVy)zAxw_B_4Tw^+95Xhm&9&GxQ^L&q?tSX>vaM+W~$EE2J8w zDrGE7SXfvP5(dM@r0vX_ca(62 zelOQxoJY5RNyy8jN>P3(mJ}#aLLNk+bY*#<(jtP$aPNwRk&%(UG(|;bXzg4Us|kjT zls}%(HwV=U=u_asdO&;*fY?T$>q7McfKT73z9!0|nRAb^rI=0Y46G8EMgnmb4*j=a zs(Sb~;sl`~>d!&+^2F!hjSjo+dT~Srwuo@I7l!DXrlziLd9D%r&InEM2L9PHua9?Q zKmdkt7kEs2qn&~BVOJ9p>r?+|knAt(FL%bSMOotyd6 z(s}9L>Ru>P{`I{NKTeDiVrGv$M%oSIL2)$dy)sF4J!P}UJ2W*Z0D3<~i6 z{RaH&u>TL_`Iq1Q^Z7iK^BiL1e;yZy&jYB-V2C=Z%=?#|=T~)pxb**ncK)UeIu}(5 z3S^uNlBfgJ`f2zE^8Q?J(wC^2At;pol}3Z>zR9wc~k|3-glWr_$5g@2rfhps;-qo*e&3cE4^0pxU31=2YXl z_@JqXMouW?vEZG)D5WOH1)Vk^4wdS4Q*G&Ae@uOqdCKnlOi)DBbyEu2*Z`yLKFD0) za~g6mJ;J5`k@REdLi4%Y{*_1df@lzb6(+(xju?;bu~GGl_!<` zB?-}D?hn<>f82Qv6QSbf2X)=&dg&Hfyhc?+3Ik#O+CBo0T8#m+DVCqT=(6z%Gx=?TOLvxm z0YiNk@)5RW-$*0!K12e)`sB$IXn$b&&>AaEwx;5$-33@qN=gd6BGxuGsOt(Ps-)cH zBs2y~S21Bi9%nQ@i+8EV`A4U@VAQs#_ZRURNCKP#t_0*li5}|D9(ajWfBFD5x6xR8)Rh>=>G z(_${$nk(jLgh%$X$DjrZt*`d9HZo$Ff(c5fm?>uPg0!}@Ji#-Z)OZgL60cH}&T#)> zr=O+Qo&i=vr_eG9x=jHR>7@IVg${~}ipP~gzF^(OMyIL?rctZ|-Id5SQ{dgzlQZh_ z6cyrMn-H$0>L7xtSzF&+d9G&5pSYMJa~BvrSTo0rrO(OKz%QW{ zr^pBo4F?5FVV;9G>)V<_YLF}5VfikQlvWZZ0{` z=pDUK0Db5tT$&|kqsP;@6W79+6d}!%cFe3N|JGzm2;R$<0}|j;Gtn*@FPm`)Bt=y5 z12Nhv8vQ{x)Nf8&W8MVjGEvWcfqY4Q6KTXs5PB#%a05~3Vx?|7g6X6F18-lws;jFz z$8+*^hIYngw@IMw?2u9!$=tWa7v?+4ZS6%Pk*|1M}d3r%X1YKRYAH7YK5wXXoQc3NeK>WJY;c?ssbJTW= z>Y)$4YhC!GIMwnS2w1}3eR=m)Ax&>vNU|A*-GHjW*3v$}g*TLv{7Gdjp9M@{y#oVZ zKd|iap+P|V*`Sp_`k_nVzBJ8IKO3r*=|F9kvkB86NP5s_!+BPX*0|UI-nNR0N;yAd zq9}C;$w)e+ycx**%=83a+s|4-p^+ZdpgGdjH`La$FfjOLj8@LCLxO09FR$s5omZW& z8lT0!G)YM3q4i~8D7MW|HhApk@hPiRaIR>=&+8kN;1AC9v#35UoYnAyL6iQ=1mTU# z8X6RH{@CnVueNAU2_uEU;F^u|MB7Q3bmLbk2iXsWn{~#{Y43HeaNVm2fhWb&22-MF zKErjW4b`mmS}9!>Ck?4wxIH9Sss$pS4>+-m@Fbb^zt~vfvKtU;B$gQhYYS{eI_m11 zEmvtEL8PLgVYW3@uF`QPrCA9?hO*EYpFC+dUVoau2jZzbJdV74{puA07uQ<@v-th5 zhRSdNRu;Hk#J@lkQu+45g%sN(-S6Ps$Y`!Gv$K=hj^cI{T8-$&15bFyf4iI?yhfeV zqNc=(unAm4nBD4aBI<)6Nh4u9P<2=;4uPQ7>` zWYi;Q)ZseCts9v;#EL$iwNG?J-l!r_+uf;CZTW9{w&t^noL0^<_tCg-GjmY4uJ7&6 z_lD4M0u;%l@STo|{)`|d<|bftC2%OErY1y0c}wcN%-pU0k}*e0CbGAEy%!scz(v=> zVr?cX4deIC4%qL*dhj{87}&l9xig85e3zuzm1m71KYmiz%mhC+DbQbTe!YKGRZT2n zlcdcDkAMgd4QZGZnD@-CCo#WSbXn|aZ&!!go1%G9Z<5eR(Bab2(dp8`*g6sgby8GY zTX8utlpC9nkVz~vt$oLa97K%_E1>b!)lw>gqq>ILxxTgaB50}LsQDVz+^ob8AyY7< zPZ~L%a=Z>SW}KXykW~u+0FES%;P}`Wk4eX)a5-677gtv^Q`67>_S*pIc(;YF8U5Hl zeJ0dtW6&|%N;vwTUkXwtBKj*)zA~wgcIBB?zDdd!Ag}5dVyp4A_(Z z(SI<=481OS=Oo(sRqV5SfIAbwTSrHz(&4AreKT$$HR_E0%AddG@4|7y?Ba$B=&v zc>{dpN4ZQioE>d#0rPV6ue=OVI{B0xldSfVWn~)kUjCIY?5V>}G7#{sy%0Rez*xGz zK0-dXP_ky7;F6QIo~lpqtBQoC-~j1HOW`QKur(E)wu81K463VbSG?174CJbar*aAk zLD_ZRtM*Elll}I-WQ-jhg+uN3Y&UnNewAN+vBQiTQxM&+Qy3o1Iuyeb9a(wH+2At4 zqaO=DJnB4}kH}|V(WkG!UP6)+UC{4jGEnMT*}Zw$jYZgXb2&Hnsh^vR68nE!Gcd#K zC0FFXKjwgIeuBPUl11efa7UPbw2b>s4A5RXZ8;K?jt}M~ zu66yi!nx#(F!Dfo=zrQgei0_jG6)357^OeU#*-;e2WE@l;1PLGoQe#ts_b9h&zrsK*Q zYKubYMSIkQV;4;;v2ar2+;~fhOPH>a6}h?keY1-> z7B2D2yz`sg2*sA#HVgIkNRXNc%@Ez9|7b>zu{XDiu8&7MMmpfq($Sb7@09y5+e=sc zUu`c%GfRq7kLfnJRI>QM;?Zfytth&Yl96%#nh+P|S$taJTySY@ zaimyA&&=%UH@gt0LrLB~AaF6ovVX`i`wMU$bpFHx&#?W$R#MH1Q-SV<#XvYrAQb%l z8Ud7w7%R9rc?D+enKvp|_uPW{?@50yFG5dxti@H#Fu>+nl@#bFv2#5z!P;<0*UStC zA4G?RaTzuzvRr>*xqMApI$FSn(PG%{!Gi}={Ut&y-s+zB?m-W;QR$1@-1iTW#!bd+ zs%C6F9nE<+E-tPS+CBfNsVSv|r%!Ptpyj!mDW@KK{WxrOUu>8CEvUcLJ^TK9SF89k=Un2T?!$(6@)yxU|#3~iqqDX``WhyUM~e{Ax8$j zRXxC>>>L~j2?=2mEv-spEFYnHO;^|HITV+s?z+ZoUZoQT%vPn3#`Hz&(a&Hs>-s!) zY$(MN8k_|sR<(t5^;EXmT0)BJ$z{%Kc%KuBonzMqbZkbY>A2O3tV`9bLat&Qh=ljC z53qetKT!EL_WJdkoAEk0{`5Il%5QUZ>H|p%9-Z&zObOVGguIxTdnvu_#W!RBk5p^ zqGqxLUd8lT@`E=0{XWD`ydlqmJ*3YcX#5g*r0wjs2g z=gjnvcziP4jLH-i0T2>)=iWJ@g>Na&5AeP;uLlzK#u}fKdT)J`L22#^19Ov*FuNj? zFRYfLQiuyE8F7X{R!K%oC#*Bl@vQ(XZEkKpbniHxi-U(Qj9y2J+}T?5uY~;GA$3|o zRO@Zz4XtIkIyiC&aB+9PzcYh!?e**J0&nk~rLlLanQ=6yPfMtP*V4slQ}gOotU*j$@2{U;3W=)#&tIeZ`&fB-Oe!Xi_>c@uWf$fzh2 zinG3e33FJ3el}W3MJ0SrK0t8Z2lJpCeh;}05Cl=~_IdvGxFC59x>zWj9U;&ndT!qU z03-Fb)#qY!Ub(7FS*4ACpnK63=v|Cm~fLDIzpRYs034PV7PW->*ulc zr+gOF6VE^^92;??PmvKuWN06cQWSF~tYcN@&U&>;Na?m%t;1`sdF$rt3hay=&h}{Q z!-`^5r)Gk-fy+6R?f-H4YMV$x@B2GKXGXW8m@10FL+35|QOl{UmqMXoqlYq+@eMa? zqQemtb#--K8?)6q|Ex=?SFZ+(K5#AM-IgS)XsCKDR#F{ED!Im9y6&aJBJJcPm`q$TkN+gmJ}>t)_{qNm$bDN7%>C&YtS(q8H=B0bd|X<=EA;1G1R;rnN_jeB{1$ zcS}jxy3ChozMbL50V3+aHBb1__bk1B} zu%KaLWE2Hvdpl+mSXZIPOTmo*6yVq6AmBRqawZ+oUxo4)T2?sjR8&=Qg%(vSU{OA^zfkvv>fVnm zcUNU)D;1YlIGmye%g6phZUHGLkD-IG=q((YoWyqbTpSO)eGx7Q0S*pG#TOtE1eSbF z`#WZ}KiobCG!%-%(?L|6ZEbCJ+gVZVcj0`9noAANBovbw4!kYOwI49pQ$wZ)BTWy< zy#4q9=ow>qy}D2x+%Gl{bv9x{NYvaJis1}Y{>9;c{aacW?6W?N(n>;*)gP9V-}*{s z-(SDGkQMazo-vU`^u)m@`{|(hSHl=yc~!#YXTHYo z8}p&~&=DD}6-l+H;PR;pZ;|CIkq*`V02EYA)4ri=zgB}3jirjwQudVzN&)$2jYpr#~d7hWDR9hV3Aa!1*a11^g4^9t-n%CcFg^3=H zy5cSfoM}=Q(ugwbvv~18i_T!gIFe_imzhg1^^VEGfF$in_nAKklpl%zt#0vexM3`` z867a#|1}$b7PQaUKa%bKyUhJ7b8<$v;(s;cUt~L@6P1eJ8}!fHon?8QDS9JU$A5xu zf2nNzH{%t+Wu}0GU8w{K0C{TuxXIY!Klr7m!xIagQEgJPc=4vtxvt_V2t4(`fjJ?U z{9FX`6SAj~IZ<8F28yJBp5WPWhaMz)fH3SoVj!TD-O3%tVb#?MIPONv#x-%6vvJDS z=JF}jTuO7Av-4bm7-&iFO4u-R4M{mHk?SI=v<=Y47-3y4F%+q;+eFJlT8ITV%e z&Uh!P;btg-&G#(Psfn9Ig%C7c1Kl4A_oyi-TBA9FxF|&b&5%M$i32Ry^vn#}7Qnj! z_J;>8;76TPFgG*%v9SS?owr8-{GRCMO=F-UF+FV!y19^t9HJB5lUQ9=EwwWT+79&A z1RNGqKqOmY0f=)sjXx4m;_lebaNqm6>4IU>p3u4c=oDJ=a7}i1{eV$W5~u_;jt^I~ z!3D$e879h!0gPd7XhO~}S>HjQ^P%mn5RxjA(5IngRND>!c8KyA<(thn;Agw-e_P1} zU28!I4CovnUcFkr1z76__W5~^dlnx{LBT1wrKKe^Gm~#`3b#rUL|)gSP@q*qMN6Be zUg0bwCog{;2d4`N^a1lAb>7tg?+41e4tES+yr{0J(bCeAj^&OB4u1F)Yk|KJ_@bbW zY6D~wKw6t94T_pfUw(5A;G%v4H@}_)W|h{WFQp(wpGWP#>D_GQ1J?FO!tRWY3``9o zoJnx;ZuAg6cRn^|rg3JS)5TJo`7iwgIooZ^O=Kb(efY(JfU^!kKVKY?5>$;0hKihk zP=QQ^A^zdbLq5S`yS3YwvF#o3ft11GqPUe&L9a$t@v;!N%DlP)%cXv1n9*=yK#ysEHVP(y3GfekC&{dG zFIHgA5TD`A{z`z>iEB*wJ^Z-#<_DQ)E`swarpiG+-p;h0^VUX|T2{MBd*+eyMiMeO zr}b!azq|4W+4P`>4yx8bf1tRi2uP2c?NsZWiW97?tPuKo zh>Rl(l(E1goxaa1d*!Ael7jRgoi(?z@&Wrr1?spCg0v}5KI0XeM#}QN8KM*I0nj26 znm60*Fq@j$z!~oHH-H`^yrqM#;B(Gr%e7>f5n)UNR5hp%;X9U{8|02Va2&0XMHcJ$kvP>ntf8*}9vJTo!g|1g1AQgOSKw1X z|HI7Yrz8QHtfH*!`H))1qPa{8(iUWuP+e43MI|aO4sH9wOK=)s zOJ+c41z#5;adC0j)VvzZb>GjObG<Tzb|+~@V`htJD=Fe)5)_ZV=+_I zn)RV%kh4E)*IX!83IgQmq+>X(L1!i)b;%9{F4SjQ3zCol$fx3hSda(W^E7!B21t|a z@&L8G0}+ak&HxVG zS^M@aB>cK+Wa)T9fh=}-{;th)Mc+pkEV%$R$!F}ee7NohN~}Fx(wRM+O#etp01EY= zX;dZy(~(CF(f|+Dlp5W_0hC`vlbkFMc6TO3kC5m~Nr1jYu!Ah+6`#}tv~>5}8j!F9 z^KZHOJvJpsVAX7O#yHYljx*29&R%5%3pz8Om<@7cK>bK&bz(wRQBh=u-~@hIEBO*2 zahPWC)g7yP%~0TkOwZ3n8+W}I0uq~`ABLNoTVAmXT_UIfX%8ZcZVDc>Aaw-Dr}1br zou74D05k-YQHI9GNHLd}moH%wi|~eatI%BbiWwb3!AHMxg{%()WaFIn*-~f6s46mS zW0gNFRz6gO()}gz3cQLy?bsGoGi?<1xZU7zpIm~(>9n`<0LyKURqj-}Ju|3ttoq2g z1jE(wpfEWZ0BYYC7b~-mToMIsSP$14;9p8rf!Du;jr97R0JMT@qETbz3 zFjiHt+X9atA@hi~=$-Td`bawfL7R@2(tKpQw#H4_SB2EV{rr=NeuA}I2oS(U3U81i zI-rD*!T^BDKCGkS)^Hwo;VSH^>EyieA97rZ(y=Y}3~Q4Q&7CUr_CfR{&EDc^33^R{ z-3q8%$=g*Qu76W86&;mw|LgVow>=OMTt2sfh$)iaex@w+f9KrLiD`5{VgjOMCu&)i z|KR~bZ38gYdXc4|Ukv^eC6k}1%6~jqa(NOouq5I+N zQXIKSC+uf1^4~pgAk-GU(Z?Z;?o?gVec{L2PJ-TRAe@qh^%rJQiL3}O;U?C)X}b7M zN{OKW+Y?_VETk~ruW>>O;GBZWL4*dRAKqXJXi_&cKR^A&zqpj%vi*5Dtw6Z*H%IeN zpBuysfZ{i~UJu_yHy|A>7qq)H@nV^6S$j882I)pu|5besgcBC@L0D8+;cS({leok5 z{h))mXz7V>f1+ypJ6!rz6r3MlUi?`U{Bv@=&L_TecQg~(+JPcvX3ywn{0z6qTo)?z zZzH3D-|`n{;ZZ*we(+4cC96QfS?}c|L01D0;jQZmw|&p!8XmN=c4XAC*=SB^dgx)^ zzXM1lTS?=UN=RZOo=jo#jp>;PJ+#bcQT2EL!Gog^$>BDF7|@FoqA_CowvY(m$j_N> zpnG)1L+@c;AF?UuqY6K)F?T)kOXAMf#qIz9Zgu_ZnM3m_# z%XrJ`e-C~oRgM6OQ(QE3G>(HZeZDzmBkeFC8zSo9@Ng(JGoF8IlyO8=l^V;b7)TU7 zwNcMKyUdqA(C^Uh*Y zEqRft>jHn#W}7XbnXem-pbf9sjXvUUSUb8Du)aey>Rw-hr$?-!a=*GhQCqe`W1pCv zdu^X9(a9<$``{%4Z90Te(jqUnZ=sx@jzo2pZ8t27`mbgN`tJNPGeUOCbE?Ms**J-% zKzMBPYu*<6+7>l5F{^Wdj=rib}ZFE#Vx?0lb?OK zNWUolXs~wvA!G~FM4!giuJn`GfG+3MB5kkoUFcTk);-@SSCK6O3o~uG?@a6Dc)o|bH#6lqtm=|8 zPUNcxjB!T<=|E+H&S~S>+{;h9pT6sXEpoI!ry<=sibgPQoD=O}H`YOmwMY5}(+!GM zpv@E?mYk{gL}V_apn!jeg#YFR?y`7UGcqYK2wAp-ZU%jq{twSa20xY3n(y_0dvOb> zAhb`6Q}`1bA3mvntw3ir_WnBh^@S8shy98yv|!^Sb}F{>z{OTR<={^*$HeUyY`qeE zsWRjmAg#KW?Ujexv`CCSH!}fAQH_p<$aRbIu&a7~;w!Q$r24+8qEd_B92MOI6uBTC zX!z3ZQ5r`YKcjZaKX%<;LOXR|xI+up_7FKIf>p+D6;7*AM~6N4XNQEHav!Jq-bo`~ zY&$9C80&3~7VmiPsUEkiL~-%rJRua|X6NU|KuzWQm+fogAU7D$y4j5+)86_~O63EP zR8uF7qhhXhs6Mt~atkLrdj*o9L1FvyD!rks9f)Mv7ni3ma?Z`q4^*jZwLiLCde?fp zd^){$>#`=5hzV{u+ApOgkbQYK3=GXjWE>RzKyJS~RgM~Tc+4-h%X$9#vL@oM-=3j` z2Lk;YRs#kJlIAJA?BVS7)_@ON-?RocS#S+Yl*5WYn^aUntsG& zG$D_CkkAAQOHHo`eu_^ycnDje0}$m{oRLO3FR%Ki)PoUcFPiY<3zZBK8K(zAD`5NZ zKE!Jy_{Tv-o-Cm_G*ivTc1JM^aRl>Y?f1E1;iWomYWlZlj?ZOZ#WnmdhOQJOaDJyM zA;r_PAPnCjfyOHg-+&G{T7N&BzzkTt!@_hQy!4%j8l%2({WcX4v=uu$h9@qu_|i6> zGG3z0dK{c-lQHtv7Qcmk09wt@uhzCEnYGVa)`sX_{KwC_>;}U=xo3D0G?MQ$iQf4C z;1K_O3odb($6NA!{j2+%FDDy~SA;l7%D6G7pB&_(K^h2FZ9-Kw2LK~GF)C(Dnp$;H z_mltsv-72qocYGDWB$bB|8>ltxx=sX?(9~Ub}1~3Nr2{w z-ma`201*IxuCY-uAhw*C8SdkgS8-fcNkP-9_ReNTLP)62_+j8pQzHbsHN0QSjM?B7 z`02}dr#}tq#e=+)BRjm;j`?pnN*({`F3d28!57fgApkFL&T2|$v$Xqt(!cM%Dx@1P z#ru-brbX&fScZby^`R>aR2XJoh;XVjPmJp|Bm7N^+Vx|aTbj=kWFWl+<CU{f@pkly8!$1AyFHW8VP5A58Z{q3adgU|Mt=_Lgf7@yFnDMj6Ho5Ek<{6#@H)XkP|p{6_nsss zJ{MBDl|<3*_~@vTa?>$Iy;;0Wm6A5Z@pd~;S{kkYB!1z?$~FbLR9N!3fM6Sif?o)y zOk_Ccdm+xE^Kt3p zYg5>^=vY~5De|;jEgD_iJNg#(1@q-`JIBG{w(05-$Bs1~!!!br$Zzr?l6uo~ORU}i z5li^@O;FbF?0gFPt4N87&0w|`l_Na&HpYD3I(sD#dQua{D?Vd|F-rspjrWpkbtU%~ zL-`X1bk9Ln#}A>5tYqW%d9&-&QM9D+_|9rw66gyFAJFSXR5GR}zay^VZBJXrSVEzg zE*jio@Q&mM^kYr#YM>F;P^+*n{~;u-G3CZRI*rY_vGto+#JlLzIy&lW*QB*Mp;Xi< zw`v>wj;;>@Vo4nDQAnnWcY}|pfQHVr(2V=#e1q;8*GnVl|3F`Y<=hDeWcG-?in zgyNVkwU1oJ-If${D9X-89Um$?h;K$20_tJmJu_`8Y}$=7>>HwDA5btoKNt_$bSJk- zNf3Lc)p#DeSrk#yjxTh|fBDh};Qu<7J5T-o{@S$!q)vIO`0CLrMPETaKRR@~xY_kh zeCOxW*LT{l<=q*EGU8FJ48^0reW2=I|ahcY$YSS<`aoaOKmq=fVQZxUvLg> zuf7hY(PpYtKxn9+R%n<@iw!FK1g~#Fw_wCYxIPb+UwAmL{(fV?2YF1u&U(bb;D6LI z6A6^sRyv2hbM)GKH2mfUSe30G^tNt&caPZ}!g#d?RP0g@r_ti$fZ&7wa(9a1<1gAx z7EhDbB8{JoU|4ZG;1A6y+>2{AQLSeZ!h>P$cgu8Ijry}+ z@9&dppU&(x=nH9|HvWX$l$MqT{$)(f*KiwH3a;X3p+IsN$Hea{*L6|H0zq@yp%|6V z3kx3KGKc6?@&i|=6I$H_N_f~fIdyk`=qY3OH z)+RDtOiD`OoXHHOPjB1P$Upjp2C|S-P)x0cH*DUG2X@Fk{I=)XV|)9detsq_fp7*u zIyCnrd&xpj166{m@vz_-zs(fKfkqndCv-yg-aL~5jFVXdgHK$nm|EcBV4)4d~Pd*KOdSQ@3O zy!>5BQXA1v8KsQ?4C8m8s~xh`s*NtE{n&1+Q8AAupFv1QKi~d5oU_}#>3BnKZ(2ul zphk^>@2QB4z7p#N$cU8Bjhlsg8beDZ$Hb5*qNmM_-R18m&gZK;nzN**WtN!~4DGE= zchQD^lzRMZq%%!^vA-X|{`_%Q!-N`1v#pHX=G>J$gl&a5J?*}Be>SR-bQ}Vb9;gKv zlUF=rxOQ@EF&=uZO{xp@hBJ#EY&%89RcIY-^U!*xm{i1&z9o0uo8A-h4ker0n5{^y zKuL=b@4c3lB(8AFb$2#3Vq#MGJ$Cnd#YUZzcdDzN(WV=Os^q-$j_)+uK!sQ*UkW;& zP5EjSF;cPvW8i%kB-fd)VA@H0!0Ri93J<-@8sE8G%Wl7J*EkD>v#5p^#+u-orxsy(Co*YK&85!wv3vZ6P#{&+hS3C4;Mk%pc zChV;^o;0g8VzF65MOdOa5LOmr%f+^Yn$^{A5^%Dq(YfZE(0hQr*HC_1;&d6yugKQF zm&}n5VMVTj;)EZg9nwkjEXI;EX2bV2A8MMcJPo;k%b%drh7PmhVm?3VuR! zNT^KEM7MKS>Il_c9B9McBZN5J;=t03pvj`=uD*ICXm}^3EOl%r02T= z){`v`;F|I)vu`|>w8DGdzf*Kw>~bSKj*%1m3VHs478P6+C#fnf#4b#JXxQ!Smh(k~fT zcYh>tIlO{+nL8M}?@xejF{D%fzK!CMJSA3wOs^5M>4;i@*j(*s8R>O#H79Gb{k3Yi z;pbeKn*bl%v1@goddG9y?+yM6Uek>cjg480eY4cmDOPixIGChPRw7-*bh=<6e@?yx z`4YyV%o!D=E;#Om^TunJI*vFf9cpW+qBTkHJN8gU-hkVz$(zN4ChZH*Kr9ya7skfB z_4&3=zDEi|%VHiYp5#qQ;qXYwGhMntiFM9~4hF%5g2>Fr)3R!=0=}W%x50!RqCx_& z05b&S6@+i6mdjnEJ~X-aGP;Jyv^1%Zkd7C*q$H`KFX$}utnN`C!-3TBg1ejB?kZdJ zwZ44OpkzPN<7-3Z7Sp<7%|6@9TzSSrCNr&U2YiZO0fC!~ zhDM1upaAT~Q(xkEp1fG-QF^PZo6fyOnp=*zgqk8ACQ_RSoT&aq6p4?Ke8+7cKY9uZ z2!J+kOI9;9lKx{=Jh+zZE(qG{@VE;1qZUmB;s6c*AirgfqE`K^l6sWZ6pnILXQ0= z<|WPh#)C_>wdU;XQm*TQp1l6P%l-srH6A&o8IYQ#k`2xkN1Sgt(t=)NF9H80>>%=gBZeNdapx8ULJsM zwrLrULvLccp07+LBiEZ!!zeb&2;2pfIj8T6gdPi!-5^j1j8eI!z+CjYnpJNB zo6zQJI@`q)Je)oBx*OBG0WW_G>ik1*Ue&<}Uv$J~cLj|kqiw>Asm3maPY4x*w;b(_Sc_W> zta!#$B=W;$u9q8pqZ*sLEPPzh;A#f>;We7QZ*b+Kd(+a1lnYF9jRwTZ@o{bPidcAL zc7fYjzQ3@#q(0nr-bVhC0`P^6HZCD|MOQegIAMNH_(0@0CN*!z8f7=4H^86GPj+o> zz5;1-G_60i1$S*=2@_P;6+XWR0fu041<;v=bMU`$qh3C52#U(jw)OnUrx@QAVgxCG zWudA|mSqUs$?G>G+IWNv>^|T3Fq^Gv!6683qsw3SeDQ@fssSh_S3K+ur59QnyMn6* zRJE@1W%QLGXVmVAxjH;3OEJe!VXXt|kTlT7PX_ik)h9hQzP<%dGn=b_)bGy9OY}2y za-#J&-_@#DjpBt(QNv|rbzi@J-6&0ui}a25E`ebT7z|@W~#yDSv1OEt9!EG@tJzP~_e6-9nr?1c)H>RDN zs@3YVi+Ih{^%HwOKAaU}@%tLJJ<=kU3w@_@YsU-Z5&O{01W_ku|9se zruo4R7J~FZU0zk|#qRk^vLMtXqknAYfbExMEQ%SHm?Rf~N2r9j3NH)<^JPCW%~1mE z*Xo)w((<=Cn+Go7NynAnRIx{SaK)uJ(uqDtD8g74x%uGwFC>W{qhlD?@m)RK>I=ih zII+1o(9a^vCTlb$|%aq<03<` zP&Fm{fYiJ^Za@{|Q@!gK|E|@v^&Ir;*CvE@h1EViRN#TBswLpeSXw|phsQ%;)6X?J z@26W|fp^xv31SMq<+O^fX#Ieb?BgSGSYkQL``}goIpjeX-&QyTqv4QMb$s3y zxh2ibd_(eCo<2dk{ONI0-vFev^G6nX2SDTsq`)bjIPH!LXS_Jv4g0|e*;zhd<8x`) zUVa%o6qgmVV#W@E*i1-WChq>)`m}W(IgQsoaB4TQdey6#W~x>2lJe(XQD<8#1&i5H z2qaxdD7^xAZ;>+eZYCaHgM8ttGr_8xXG-pz4=_rSnP9hB|TpOXynINMT@gXU9AgMbpLB_zLFZu`*8~s&(y25I3FhRz`e2Qm79S@D^ zq%2T^%kCL4;X|Pe9-Dv5OD9pv2prV`aTe*j$5+{7Tad$WxK2)9f=P;4isf;c`U2#1 zud%4KfNi%Uw#+9mJ~^ckIF8!7uM-mG$;`RA8_u(~w#YpP2TF*I^xxwWm^y`I=D03$CZmR)=NSYE z3rP{X^1|I$s?#r#=L{+w?ICcZ$zg2LsPJ;RcrCH#Z+`l&fBp+s<1M35*YMw2g&Im%JnqKZQ6O&6LYP~qR$a3HL#3SHVO z^f6otxyCA?<}kXUbU!mf@TDsZ5XW!diHo|x$-)Z)yU zRtJMhFe07*rhnckLGpNz&9M7U_fu)=qMpR*AU!<9v5tV7KzhVwcqig$D7sxD(32Ks z1`bgD2*IHSrbK3%(5{bE;LZ&Tj-F1Tk9(v zr~?>WaRUAX(w z`~~Ac_aB+)y(B{1%TN})9guOy7CE3QL1i<`83m#q@N;QeVm7OT9vF)vya7=Ihd8$F7mgp^1M2ntFgAl)F6(kY^JcS#N)Eh5q_B}hn0Bi%4`cQc^0Lk&<*)0?l6dW1pXDTQt*RxPiu61Hu2cHn& zHF$$R3{Da+oD6O4+^mdEoKU2UZHyiCos5m{8@Sy!b8@odXJxgs(zkJXV{P@=(AFBC zjgJC6VbWafh11{9QLcfnuIkIze8yYt4Bi%MSl8?9 zw5AD6)k`-DU6f}O=f4rCsFuGno!i+;%C5`99&e|-6=ZK2T^4kMt12~WdT?|X`sT&w zl%`M_8Wm*+bG@bJ8tD~9T4H!m%lACTSseu|pP{NorXN*eQ}Wyb+&x_Uv^sw0eBc(OP+2Uu>p=SBu%$pkq+ z4%*^h=P8ynEEg1?6GWwQ&S^6|i`;xOb$D>7!E{@Yfxfu?y`7DJ27_rpxJ%pqj1 zi3aLoxwj(5ti5qP4(=DKl{^hHK2G(eaF%*@%A@saz^dl`!n^OED;G?DgbLd7Zd>zu z`l_^?;?KCAyKaUF#n0JNrcEAc*%C`BG32TG%c)6*v~ug8T6Kj{jK$s(Ov9U(jqcvv zFh@Cp)0aicdstO#pW#E0Y#9DNI2P}(*AQX-ikNP`9r0DJb0%o3C9a8%*gio!C5lIu zTYV+Zk}AvbkUYDAoH=>2KmY~hEsD%DF*R46&1Cc!gySbcKkpF|{ZtqI`kr26)Ay#* z;0rMcLS{X&VpT#yLWWqgO|sCN9$~ZbIXt~)cL?MSTApRl(yq=W9fy&fQ+X`SboFpM zuQv8=A9>6Lt@R{un4031p7u>9&vNB7>#>nyqh+A8FKAr-=Qr4v24@E!`3;8rAO2Be zYT)IvHn-sSz3&bk`Z7a@_F+Me_wCQ@sv%hp9fUNzqtKuZ$mqAD+cyRkl@OfQ z+ZnxIel){oOqEnZV0_+5gPY%oVZE&;9GV6%_igx?V!BW?`u1${=1x!N`OY~3Qr&_( z?fttWLVR3s%ZQrSWWO;svYafumW$8cdMT1Bc2_fZ@+}(KjQsCsTwg=O!7*az z6yf{6v*(wM=p6}iay1=(e9p*4K9Hfe@}kNdi=#BvnR2yA!h#Cimy-(-kP=w^W;@)O zW&L#e3tk*NDHrc2+nNQgcT6IVS>ufSJIC<7aQFixHwBo5FLeCYySE`xbUlis!vlpU z-@fUu%Xx7;YOOH0H8nodpVT(`wbC3ZULDXt#oJ|@Yl0fOxQQ7QC)HOiz)2ehscJx? zNpJZUVa zWB(+iFTQO8QHJ#Y6iU}KGT=N~u11BInot=Mg0@}RoEEcRLi7C+K z=e4~29+vAfLVZLm%bfRN_c$D1o}#}k@Tj!d^UK$P;Zh_wR2kaQf690$b#%5ja5rad z2Q$czFGSB;cIU{iA*CU{94IIFs;c(6~Fe2ad~`Y{P# z5;9T^r_wnUP*o_ay)vcZ(I@zer52DyUpLgZMWKa+sTIO@ABVWpt-CVrTn>xefoIQl zl@;L?TwTr=ot>K8XWnuxMv*25Qt+1kVjYUJ!=g3USx6bJe+&0OZ+-?pqq4vATEkOV zuc;>Pfg0K#M zi3SG4rQ$UfkiSp!a||bs%9HJ8kb5z!wA0G>hy~3YiUt?K8lj%Zx|be4!Na)OqmG4M z?LVG;>#n*tO8%s1nziuNOk>8i=-I@Y1J)l@e2*QVHL4Rh@lRZZ%53TBsi4U!0ukgY z^{BL~v;&P_>xoKRkV1>|z1ynaJpw(N`&v>Q$#%tH!x)UZO!v{axY*glA63YE98OJ> zyL{ZF#5s_V$=y7(q%&o=etCTSw6_7OQA+-Hu+pS2;Hi+M*Rtty8rK6WJmW;T1X?Hqc!NrPO?9(qY^uvW4M%j*L$q}U zZ+GPF7et#sXNB1wcD7(a+a)EBD%5thsmn1zh_c8;+WediEFg`wU)^zOdY&3xA#c?^ z_OPRBGh~O5LBw71z}#K55~aGbQ$v_x?Nv8>xba|tgvB;W=Uf^swEvXawz(d2m3!50 zUBslD)Qf{V2SO$Wv%J}wwo(TPBqGQXHBJQ?Y|1UZCm2Q+C;H68%l_bWe-n*7tIyxJ zF0=ruCCot8#pGKOQyp+3a9TVz7u zI>IfDZK&x_a!d!BcZd%YhC4)k>@lB}nFr;~XPff8b$qwp;o!*>QwmX0m`u2C%<-J# zz(uqWo&Ze9?7SC3Ur8}>2daP8a@;#{714``=#{;)!&jAdogD%lg3<=OcRb_F`!&vg zq}1UUk(|}()<(`Q{QBs(LW9CKI4@*+oM$C`4z*cNt|2t4EL$7y$$vnTFn$|^XtsRfWS`Qz{$T^_&+bkik|*pmT``27u`Qe zz-^QV976oUPUD&}Z`4BB;#+7ozFNJ;0(H$wXa-W(naX;Y6Jvctd)f$(+}P&j*$}^3 z)`JqidXoOlHGOpciZpzkqh5I|D86RDeFs9A)MO{r;2Q;$*Qfhy+rSYE%46kFAh^Q zrTTwqva33q?d?6@9$y|YLnn>i#Qbc1x$^QbCjF++n=2Xi&%ItWL!1@x`NkaxJx3^! z$w$UIlZp=YhaVG4#FHc{iS5V6uI`ixy>daSh&}FWpEZAPpXIgl=^In1SAd|?qpgd; zAu!CBLD-wTfPVz+c<|z8W{Vnu64APxPx`?gQ?)5fgU* zR#?AYm-yyN~9D?2ucYf{?JR&Z&-lX;=3 zj+`C_eJek!OK(?a_NT^H*{v*jj8dIR!G^Ik5fY^(MY=`#`A8z=u0Em-=ib+iE_k@K zICfxQlmh-#;Wf2uM06bW&{=U-Fa?Fnv@4(E_V~VcjK&HfCSl1t^C0*XbnCh&AAOj<~ z_y7NeZ(`=Zs%z6|_4KkNa{fvZ(EMSVCh%r`?E4#SueuYQAHU8|Q}2?KqoeaI7cJe7 z^|x~!6)PQV{}zJ5vR1o3A;-YPbtVVUdPhSWr@VO#kB6 zMd{DsH8#t|RJx;!j{JazI`_8YQ}o?&xHhAd4fz}Aw_=DCQ9~COMJ6Vus<7n_#Z?}? zj0FGVh25`yCK;iIOeAW;TRBA#PhR0k7Xqjq&&5H}2GRtKVDK4&h)8OYirZ%9A$?qQ z{`%0Dpn`(eErGbhS-l2Rc;ws;jc=QfCd3ku}rdy&ZNOUprQIMU17 zm6X}prtYq;U^xZ&_(*=kv9^#n4-Xz6)3T~6A6?G_A+0YE^s%CO+?v-7^+J2to$~~^ zD|19dF)bP&KPtHF2*WD%2jreY{$m?BmFjV+Qa5WR>pWN|Qf=!I5yM$`ViZLZ>AgF{ zZ}2`2qZGn}Ew)I7Q6`s|^o~tTxaQPC5YLCQ#Dn^XiHUJ>KiVlZ+t+$u1TQR@>~fYl z{Y*;Y(F{i$pfktrxNSvFCE~Q)o@_^NJ6#bri~@~~jkW7kNQ@q=_oOrHq41S;ZftLF z?<<_kQC>dT|B0T5ODTwR0B{M)5iafwIS=Ir3cfMX(GaUdnRj@&Mf_&mQ@j-pz^Ol? zLB|)D32fNu=~w*l3Rhu7ckkYnk7tV+ehZ8}nT($5JkIU~r!^VI#qy6I^`Fqz`aH1@ zcKc~VR;2m8ke*rB*0`uvi%<85lk9FBA0IpLuTaE=k_)i2-U#sLw4E&B$`UbJdd7frh zSPO8P4cN_8$%GKcF!D2Fy#LsJPXM<$FpAF9o?p}96)i1o3$3n~n_}-hrHiT$A2ux- zpSvNnk+C;=AGV?gY2M=`x2Djp29Ze06SmRvtE)a~W#6go{lS$V;AbLn$ekO#3(K6| zz&12p7Z&d49d{V-%zfM5PU)c@M&ah<vTnL5@1EPhdQ>X0#84d283xCe4;7pf_U_1)fG1tuBfUoG+KcQ(YYU zQ`nx?nc z{PfkWtdQHY9U6r*#a?I53VyhwJCq4e@km&8x;x{o4GbbvQgQ)e`1rgpg{>zs2CF}* zN1f5%X7+RX9b9+kM}8)Emi$_}3)TEDBSUwg5lDI;Z^QE3TyK|M9Op;R$}1}F6lfpC z#?-;qNKn?OR~RL5FJqN1!g|H)izWnln?OtQBgJ&7sqL{h2_bX9$;W#&jkKGwajf3g zghWw!4R~?tPu9KUdQe>5eanGcX=&~8;^-0Z@PwK4Hm6;qV6wMIO~7-_DMekW@<)BS zox%p3VIo(R#~G*Cq*uc%A-OJGRq?m2@Ete|T9w&b@g3Z_j9~?kSrK6-W0zr3Vsi57 zoE%{o%#s%e<8pkO2-zz417g1H8kZfC<2WY7T%hbEQ#g;U@X9zUkB#8l-W}*E8@r

VZ#aI9w= zHyC8!g^hvdGJLEU`^W;G@Gu=>Eg*b(0}jlRMI}1iscDcHAIweqDPjr@T(B;O0Am(( zgAc*Fb!V#gI8^z(&zIcxEX>iLT?468iEJw~^Oxng&GPtj3>->c@IrvVQ7-QkMeNj{ zikX>ViHnOnT+0p)#@veu-{gs1Uy(|-d~b5cz>A;Ez}T3Gg5taDF9#Er(_1<)meCzm zo&l>e%=d*MXgxhWs;a|?gTx0bRRP}AYkM!v&4(AMPTELZ5TTQ1yC0dsYs#b$I}H~J z-@dV59Gj+a{!OtwsUu8o#RH&L6eur1E_blTCnio#OhiZLe+N-{K!n1S<)wdA`KIY( zACdL^mAE8{XB?PKo=(orS`}8-Ha7YyDi#@%p*Sz*L+%ofy+<5kUybcf4l>T1d+Nqv zj>GL7$fE|0LO7-UTW3@=Hyl+Q-G+{lT{hCBi*6eV_cO%45!)`5rQNH=TJjNrK6pr>FjhIPz_N$U}ba&(bV z|Kw$8c^-||;a5|W9TP)DA^nNzpjm7Fx|&ikA(>pNaJI^v-S2rP1RxNpPfOhl99>HY$~^`)F;&}oDn7Nif=%yO6KHi775E) z*v`1#CgHh_Rx6)$*b%0Czt;@e4MO5|54DEVZTwBNO$b>0Z22T(0|O|%?y(I=2aBmX z$PcH7Tm75;b9FmU&k{H;3@jL7X9SZ_O}OF%Jc{ZD_d*O{x@N&}eXpBAO3KQ76qO*M zZz`^p#waF+lJn%=i76V+Rfkatx{`hTn!w?BoQGirEA0mGsqt50oaPN*_9ssayr)ai z{w)7R4{n&ao%rctGNU>}>a5C{a1b697}FE8f#OHcH5&aW6l!rnYD?@olh|r(Tu2e} zh(gmWgc$Cggj6yb8{*PhP7GW#ngr40#Z3>al2k6H@%HvuzULXgScid?Zz{)x2AUff zz`v>|y{xdpIc@wq*--%7^zx48FFrV7px$&}-88D&d@d74!PkLu@k9~wr>C1ygY%P>8nXbhDOGwp_4WWdoD>oI!2AgTUO0ICMl1Z zzB%HxIpGmglKa(Xlce5u{ybL&l-?n7m7g!J_KxE#n+V$c(FV`Ek(QK}V0`6z`kG$h zz{$M6l(TU5UnIISTs)QWLIPov?{D{=$lE)QDAz-Eh1M=Hx3$vwC0I}+QlLo3HbtP7 zM0uF7P}thZ-pUS^PeLQ>r0mS3j45gXo7aL#OYvfFjpUam{t9C%a-Bmkqe+z##WcSs zjO*L9qt}Ai7m;UT9GG3B95Y3aU%RV)O^0MXB7elv_1u}w(Rf|o=-n#O+2;y}8a6|( zrB;a-N5HsekRz58l;3LQEW+EO5k*(oq4t zu;;kzC9lcCJ_#x!MB+3oMNN#uWo{Y>g)0H*$3RhZBqu)Fh^leKHAXipL}h9nS8nFMV^%8 zU1ROp$X|qewHEzxnHERm;Vd7v20oW?J<^@ZXSIE-y(Hwi17io zaWiRfTr;&p#m1_Re;y3yV;SAt8~W0(Z#3s>$g6d8?N~|COXl?;tA#kuULtpOv}WOJ zLWb0#2D#EfTDFW6fVDuNW*=|z+#eigBYTGUyvbej$aEAKPrxu1T-7j%XUE`3QK=BZ zb-@smuPdZ^{W8_OLQr`f$3#R700fTMk$nl`0XR+7uXbWOVOLnakk;&A%}!2{MkPVLAd3i$6BAbcI9?& zKda5?*Me&s==6M0%^?s9YTksDl;&0HHAQAf^>?(lw|srGG4~*E<^1#E?qUW2k8|#p z-78&MdJGcI%9%)6{);EQl1Yt}qla5G`kbphT1u~K@1XU*eS=8Zoi(Xkna_xizovwm z(Rw~4g9d|Yo-0P2=B-^aaSF*y-edW%l!W6`USpb;DPgXi#NC9c#QIp-C^s;kWErGGXE>BKqX393fm8CLUNZ?&dN zj4fl~G39Cv{Y;wmK4kFFps}$rKE9B6bq8-{@;+<`1d`r9I_e3k6Qvhb#r|ccVTi7% zI6Wficg()5uV1~ANoc>?zGA62^Yt!WnnWPaKGrH}o|*AguKztVn)n&=P7k^O6mm2) zv{Fl2dFb22mFc5sq-xqlc=)P=_wP`a>j>ldjlC3LiCo%?_q+OZUN8vEt$1})o;F>P zSlPJIidD{Ahw0*`YF-@}Nuc0sxHvcM;i6r?53=~E*gJoV)S~(moxy&S?lTE%QX#Ky zvIpA@a;<}b9_~Mf)>iz`Ag#03hhIN`Hcm6DGWX)(ia1sD+2e*k^_|fbin}bifjz0* z0LbA@7GzfR8Ri4Vh!ZnV35NhrUybqmeuJkoKB&gP4X9V&k=&5Y;r@fQ(%@VuSC14+^S2=Q ze{~^YcGj<1KR+2vaJ4?(B_T5br3!;;;(<2;N`yn;Xs%B8_yW_vzq~uOD49EIhmt~$ z?2_j&{lkr94t1qMn$L(H`J)PYMZqJL5o#^!=Lzab+_p1a7pC_qgwK9#BxH1)&8Kr* zQZVmv0dum8P5{UwD_Gq53w~#)YgxSmbWVqBYl8ENiNV|KVq%uGc13bAQZ+4pdH1lL_#YbV85uOLl}l;pW>6gE z@4L;a;lJQQXCFAD!|r1U0pjd43_9-h|4g7UQi<)~``6pSaPN$Z%8*d#xJw%VSbq7K zj_#vhb7i0o{w8t7$lt%B zxM_H62_vo+=#L^OEslt+LX-Xe?<*s$Q=gp*&_Di-baXKNvR8;HJn(n_H3A3}38+EW zfxOUgK1S??dSlS->P;ko1-txS{?lv7r&sO)QWIKQk$(a5^=xpT09sIC zJX=5+gQENn#mSMI-;Bb?6(Wg1P7V(CH`WtBR=-;-MRA$MSLfyyd?9kG;&OaEA{Ry# zIl%J1tmx(s9M<2f_b!%+igkXtAFS2>VL1Io4UT|pyZjSCnmI0U=0M);zjCC~Ek32| z9?$A%YuRj&<<`QpTq0Te>FJ=~mC#&bGAExVq+IXl7g$Xr8HKxsL;iDn;Ds_BP(>Vp zfLg9NlPq7Oz{+^`=7>F~w$9!(Cr%N_4z)nl{<>&_H z$#({=&DhkUsT(mKYpYRhF$CEqF(RhY*K?@`%jrB~`+xeQXg6W{mj|@vH_=Gr(2IN{ zp08aK{jWj3kyeGD|ke!P_W z?+z_>EJOp1EluAH?S8aH^6;4Upy_i!cL;}SJ@qg+yGhwd8H2&nz)yXm?CvO48y`g_ z2fZTaCY#Tus{ZM3qwMwAreRZ9mY9`U>z9oeySFVvdebho#s65wIx1tYqTKcrb5C=R zl~TuJBpSs8^uldiKfdVndzEkej@8sCU)jy$>4AZPx%NZ7K5DaKPsxv868O}bHGoq+ zfd-X_ZcK}JQ|d4NwEy)CfzlAA>q4~$v>gdY)!`KVf=daZtX8cATKX*`_#1n*hMsF2 zWsmU%##3?-IY8tozm(a3B*I0stFO^+oJ~vkn$5pcD}cZRryVz&Dm*t6F9e)Uf(ktH z&JjAoyKCtjcI}NjVm5SaNkOs-96xTETmX|?K6-m!4P=}@Za2sUBdCx|rFjpJX;c>W zl?EIvXe0O?BkKbpB@pYrU1g;EjR=aX0D}e6AI*@Gmwb`W*PF17J6!j4o_RiGuK-^T zI>44;9w&Fr=^L^<-a(7-|LeP;{e6y;&qz~`kF&F{njiP)#3!YlzeeqW~9T|&O{Y;Y9;TP&ucf>n1u^?9WJ(nK#1CzqlOqA z{ZNm3a$ILFDj!6mO!e>a{9Pf#MP*%wSkzu%=na^QH8GkoJmLh|YLug2ud8U7$Xnye z$B*-IlkDzLPgni5eZE4?9?Qb5f@R?5X^qo zwFFdu^2t#T`<48n5X-kUQrqta&!(KQkF23P@~9(JI+|pVZBD+SdxIUQ_eIe*X%fdY;dMI&{8JGde_(?Ws5cgvo@(AdD)%qa|1kz<- zP?@v%+MNREk+Q3&h_;j3wfwdWCWCvQxnQOK}D$ zjK7oOMbb{?wl!=#y0=!J2GM&=O*PIGh+p9VE7dLm(vsuCfTZ(*37*1_`Nt))hkinX zi}<@F786O3N`3Ur2Xbd!ZNV7SfW-U93A}n2-XXJ-gSPVX(WRUpg~&$tn|B2kAPuo% zNl8gLi_2+5mIX|ueL<25{`Sk`d8}i_ci_aLO<{Y~(!aI3zxl0vjg0;_q7gUQ)^^72 z4J>er!vXnfhGKp6;{3q!fC9#3-bHIUz^472N#*=#&P8l@0j?NVl;`e=hO%~x6*o1Y ztyBVLIm7{C%|WUsT^0^0wkhg5QnXmM%+&P_-fw#V>D(2O;w4E29ZwOu0W?$t69cl% zpF;JDBJuScmY$zpMP{6S9gdW5sJK_dW!uGEfrVXYYJIkDcA&U^_PyqWUl>j;QfxoP zJRrDlZecLg+~MNbZslc5mL}Aa=keRNRV<;bRa)U?+_^s#@V#U1?25ae+*R{RzDBSg zkkM`ogk3}PYKJ8?FVyNkVwCBC0hSNCGzvP%38N4dr@RC|u)PoI)S5%~7_DPAd1y0aX}C3a&CwoJ>!!etfu zbEPLNj$osEX?muzWdT>r+K*8Fs_23?B4{x3yt@3;IHw4uBm&azPZF&fA!hS*ciO}AU>ha6rqB(G`L$# zgUr3(@Rd6BdC$Z5zd>SoF7gAxT}pYu<6(E8+G-+_MjrfzgG0yn6Q2DBgqdT}Mdy_} zxey(gtxC{ukyl#$`5lQXP#N)3wf-dM|Ngswd`l`b{Za6LBhI0!R=Lmr5%K;G{-36_ z-!uM`aKvCV@9M7t!Cx5rpUQI)AAk^?4757vq=b_Jy211YgE`S9(N0_m{CaE+D$_s4 zi*)ZwZaRJZDX6!IQt(;K4{ePQeGJZ%E3Su9ZTNnWJ|-sSgOD;J5w-su?Q-{;%Ibitfpqa*DiO`H58iC_PqC<8L3ZmPWKBmP zd+xxn6t%SOGU{?FAx?T7CRTFdUGDbAbO(;<0tm9C@f+Y4f_qc?(Yj z+4$N=nG7d7Y`#9b5=hWs0R?j)?70Lm0e=4GP@OvWn3~VD_+JQwKA=J4Zv0Kizc0E6 zJ6a#@9veH{|2b@=OsKsxU1Rb^GGE+LNH9Q*J@Tkd%qTe2>G;2M1eI<$k#1g|DYSON2~JyvSNTIoRN_ znb|!v)l=-$pz_>T?oScg+S*DNpRlf8Lr10%Ssyf^Q73OIk5Y;A4Le6ulD{64qZ{b2p<^oXS4V@L>=8elA* z`gt5}H{B;EC+|-dATjAzN=;5aJMz>E7%u%>AUc})=-8v#AG6q2sjsv1elq>{o%ik@ z@D#A;GUvg=rn&fLiH;*@)G}+(Gb7d-KX^=bdAAv?nSkc?t`-tm( z8M==aGjj_6oA=CjT!3cv^lnzSQeRJxKYV>OFCE)brZj>^imY?L-%14+@ALR#g8-Yy zp;gW`ORsapTJiB}l5Mkrv~(w|JC4U{0tL3aYnR1NpwR!mVyeU#D|%xz?`T+2q>1_y z1!+z?M54|I-nI3SjB9;4OoTRB5QY=|BO#g-?Id;T0_Qv;?M5v`(e_^(prQ)%%ezBB z5M0=qH$cXeIzeV+yZaKsVcO^Kpr%G>j<$BAn3R~febRp((+B~F6`Prw9)T?nCmSMf z-F-7NJDbp(V0WTirtak>tR^Wb8EIlvsm`dYY#R>Djmu)>U4FnY89WO`9cHtvUAR=ja>PUo z-fi!Rln(dzANJD9#p~TaH4*KjMJhONPUu@%S=re1&9n}Wb66=cJC^&**tu(zjc(7@ zq|c3x#xR2i%)HHpoO^1HkYj$Lew(wowS{AZzOOnb8cZ7MsT%+tU;dY)n`I#nx2DCf z&0xd0t*2%hys0#}EXS~k4Gj&0_ei&dJXt!cs(25{_aHFuy%`Ao9++(LN~DH<&B>XloihkK1ZupjaPhbuBqLIr=Su-)e*$SLKwH zZjT(Fp0-fWxS+a0gFf-UVPsbfR2cQ-fCpCSHeQ`EwOvHICt4yDh} z(suHc5bhLL_^ugPTT~)r>PmYk`AW<>;C2`Dis}v4y^+5B&Y&U{qvF4h+{ z0}=*Em7oVI0N567A_G;6W<9Ya;r#QP|KXT`nd|mJMK|e*|K@$+wSB7~SO-ymD@Kv- zU-v#kEVqXW_z$Ls?@SL;&1PLE#4DTqVW6u8)bDh>Kw?kNB>54T}6^KIDX8( zCF!e(=?j%o`}b_VCufUNSGj@s^&X)>v^!+!Dl$8eyU)RL9t@WpxnwaR+x<)WF zs?=Ef;Wn)!YW+Q5)vzgyr8qcjHVzEr`Ob7aV zAKA*Ai~}5G%v0#7gt)Xf0ySasf#86I1RrKljPb}Pwb{0;Zg6SWQ6#TxX=it|vECD~ ze^o>Zdgkx)>>;kWFg#9sXP?4_kq1vQ6QVp1`Z1r{0=9zIvM%}4BIIdu?D|n|GW}iZ z2}co<$~MFHJxz7vqL`)jt5)Yu2#ib~@93eCsVQiJ$bTG-eP%?Ke>`h8DeamY+JO-l} zS@pf|xHlDOsgkWgZ{tpso80BD9j<~_z(0my%Hd*mS=ctb+&ctZl>Q6QYnk3-+kX2V zr9NoJhpqR@_3BFXmnPo|**pY&+)@WW+IF&Kv(_?G>SPf8;-*6ec@5Nd*wLNR z*hTCB>S%2IPRc$#!sHUOG^F#^R45tOd+p~B)|qtW&zL41ALXrN6-LiI0Zy!sWy5rcK#ykTx=j!BcTB4Aywb%DznFU0H9 zaI31On)<7;B^C!q@yPk+^_(s;&Yqc(k+C7@{HUkp>MI40iWDEvh8f_FXdL+j3`4l# zQl9qq=zn_{amZcK2ud>ViSKbE-VJYd7CH-Y57t}enhWo=Ib-9#X4k)Eu9T8E2gn_U zjtcWs0fYU__-mjr^%blY)~RsTS~qeDYA1U^e{p_xii(C^9A~`H=p%yMMRm(>Yj0nL!Q@kgX9owrx$UiHE2aj@ z!iW1SDk{#;&q2r!NJJu$AcKe+mzwk{B=fgfVI9bx_)zdUJbdzG2sA^CjvlP`CS^w6 ztAOv!){JLJ;XQxe-PqU&pfNkN!Q;qAO)VO@PF&nLc)N@tXq%pQG@;|mOKbVH+!0lH zzpJZDHA_yPSSFfjzOCDMVacae2bCCScWbvYNer*ceZg6=@<8<>83dz#Ssv~95zxFz|-RLqB@{n5lqyj5o3Shk8j z95UZ28M;gECpXIBU3TTSh{58=vter_Exk>F1!t&wMhiB+3weatHzx;LCwM`vxif=& zm*umCD*iPZ7eC)uD5zb%WP{~cpxUS_5@gQZA0Xh1CMaRx;dvjd6A6wzefku1w|&mY zxJjF#L+x>N}0 znd%dK(^)5Rp28u}rN!la4&lXjLmt}$vbJSn;uyf&9-WA{@boqKxR00~)BM!f_wgQ` zRvqO8Wjz-aG#EMAUEc#KTQVF+Cqs_qwj&Zpt85j-o^bMbLz>9UOxlu|oRBW!zK2;< z6>S9bS5OXG=~Vv7h5Q*1d_0umxP)Ma7dWfGkmcAbZ5M!^FtiZ0#jDslU2e?n{*s4d z#G0{e=U2%*<~U7arbGj9wcMDplMbD$Bt;1yys*5VLRRI)DgDk?>0T{GLbk-BHF zE5#I-0y=lAT_YH7NIexrvK5ta+AK2!4u)vfQGNn>NR5-QSl>vxR0J>C=Sj~jOK*=% z(EGq2$R*?AEkG7L)!J47D^`6%S)e6OshbC6OvLeWSe}ujzt(Z8_ctU*3#1TY!bc6aZfuyK7GLTDEB&ZSLv@U_68_*U73-& z*7cWxgoMNa{p-4yUlxe-Trb1%;n&ln9lzBsZA!arK_Q_ozS{z65InrFo&yjH?N@_1adx^NMkr%3#tY!j4R z>d-4MuYGc&X*1cY+r28Mf8Zm%ntbC4!7MumI=_!^Sk&|4Y##monVahGJvAOF_Ak4) zO*E?3=I387uvK)~Lyyi+MQ=Ct?T)JOZZn9giFj6UC$g#*7IvRF;23f3c^$pfPSq$}@oBN3c`R!*} zU$OfSDQaq}m%#amP1zS^Y#fH(CLffA69Nm9BHMmaL1HIZ-mA(i{6PE{wU=v>+L~tD z;MMS{Ho`vFhzKPBP|=fTw_*Kv;YaFNG~W-^bP?|Zp8`<<7ypxwn8?cTZ3h>Jp-h?4 zqaRz9UCWjL_JMzgzA%1S0`cJ?Y;Ucfyf(#~goI>V8lhfNE&O9zw3jjnVqh_0isJNfg@Sfe5xF(4W4Bh0b;Wf%P}& zoGlIH;COqxD*jhmeU?2IO%~vCNncK`f53Je7skr+u(JuK3ZWt zeR6WryjdapjhEog9gs1-5HJ$@o%seT=i^2nRFcQ9-YR?u4fQ_V;_0h!I7OTt&5Ml! zsz@p?_W!8y-7SR48CBptU9%3gP#K$8ZLqf==4(cFF=OX zybJ>8)oY(jKB=?n*8A6e)qs=RhLb6P{5d*3D$p#j@l+!&_;p%J0Yu7MDn5%9>8!tz zUZ79hcVUw9nBY4p85yp(<8kCpTqcza`h2DQ@oA*cZ=H*qqfanSW<9BcyZ@Xy38f?m z8hlEZ7@x%az3yF^=4FZv{fmbN@509S;X>ii3a#pAqy9VGn`{d(S1~0`bZ6i=9mtqpBjpu^$ORHf$%}xV zI85{-VTSsXGY|#Cc82k2VLdMg937l=-@N=fPd7orDC4&(T)$%NurPfvt$m6f?j9Ey zs`pOMO8aHo{GuZq;G^eQB+(+f9U2 z3R<1&?~%!`zB@6*KjGy)-ticzMU-2PcN(&QHfABA=s{h_1Aqw_!MC z!>HnBV(MNvAUbu~p7{xyRp&E|Y`u3Eniy|ZzBuR?TH{>K_w7mI!TSzk6|>gLvqHFL z;VT*9Wy$tQ-igM?2$#d1=%L^ONQ1OUlH_O}^Cok<)na`F-rG!6j~g2EG&JJJ8>3T} z=bEFpSTC~SB(pD#*38B`vz0-Gbm)N$Z?6yS_IkW$zJ_XwCs%pN(0W`_uvgU@$g2kk zyUD4Dx)ZdM6CK99NiARMbAES9lfu-;x*cu;X|jhO8~v9duppS1OooSe7hmsl~zc#r(w?)!wzI3TaX3c$9XQuz=DvS&c85nVi;B z`>FCHIHY+i%9t+_3`;)ONVMUFbbB#&pHdg?%P{D^!M@3Z^`y^e#WSJfRfZ-_U;`gT zANd4NI-slPFX`&50`x~1T>qsmzrO4{Z&g!MQ(HW|Z;-H&C*Z8oaf~{dCsCO23gA8f zrL~*c^*UXL(3429;Fn|z-!= zN8iyIb!|Wm7#kI}xBpXh`__TV8gwn=FK7OH5XJBW^SYY6q$uVG=jT5>UW1MuK#Tq@ z_lMMlzg0!Ly1Clrv5|h*Z}EI$+=dxb4B4kC6TUdtgSCSO<`!h z?&oV4tLs>{+th|`3Jx`w{_`;Yd`K3oZD{mN;LU?2y!`|5jd4O2h~2M$q}Qu*TbMqz zQSQW8bJOGV!Kl-r6X*(}Y zs61@Tolo$eH&;TXoUs4nazF#jf|jCxn=>E_c>Za^xEvBDBh?_ze>~@sC-9Bi`Dy(x zvPcQ>PWEcf|NX2-FOL_N{$cn3)X$&q{LjR}Ta<%|g{zLQgowW^9@yE74j)xbjr<0n z?1O@H?{rZqIy#Zhj-Ks*g<`b^#VvHuxH0{2%TWubYv1SLe)1%|?TdcK(h4TBZ~_$L zzZ{&%C?>hC%5l^Qi&sVQYv_tm<#P&shM!MzhC$O_c@$pv-1Xywm!Qw zwZl`=;A1$);&fHD3Xr~r=?i&ID3*0<-@3! zUd-25hwT7SRw)5!?lU={UuI@|tfxBjOYDE{rl*o{r|q-x6rfQ1;DQ6*i!N<}8K!z; z3;1l$M0WUJeNjVvy2SYK&g%az*7`7YD1@h*J1Tt&UW0?)x&>~hmu(W5=YXG8Lc?Qs%&M;Fj-BA}PAqJm};Vhj_fv+7sDtv~NRVHU&{X%+W9-qhOZ9%S#Ca zxD&S({64qP9QO5wnUPHhv)y0>;wmQHqv9l@|z9zoRN$D>fQj-SMr;BgHcmIv&i{^UzSWLQp}=m?Ag_beC3+mgSdXt7)v6Q>PyWv*9M5u zO45rfzXcTXlE-FeX(woh!@oqTr-a^<{}8I*`Zwa1XCZx)Zpv6jz27GMr3pCv#f?OU7zr+sSIJ$XnXQMpYca7E_^hu$d3pxc}q@x_TRjf?_KyiEk0XU=Hp?e$r zsKz3&%%qp9!r}JREj76=NA|NEil*@KCpnOXJs_?AsZN2xUL7gUVY;B$cBU>2HT6oM{!2Mu<(l$*$bDf}O3GUKmZXaHS?F+ol*ms_Fy@jRDPdn(LEMUNLwOub{v5GPOC336JmL0&DC+daYXQdP&dO3*tOM z@M9@CSm$F73HRdnTXf_16@@t`Wk&ZH=WG7C@iojby!DaErP}?RIRKyM&6Dm_XGmgF zHu*FxtrasSX@mx=OEmw`OY^i$`q*-}&L|KTDo*mC8L zJ|SQ{FGnHs%79k+&+S~Wyf9Gjp40xF(`OE-)IP<3q?Z3r=^Z>L?$6R(cFz7QIwdRD z|9{jMuov<)i~3SUE`YoTq#3H2*|r?;;P`*35TB!H=r}O}86A{M&zJ6S{Apl#x6RPd z5|6w4fnoanoh%XE5A_57^_Dz*{kW}zHnQnLi0ib;Yq8}r#u*U!gG;Ut(7oVMeF4N2X8_rKc2%T8LEJ1t4_iF&c zILROw1XMqK2z58vSIdPoR{9m0R?#uUovCT`=jvG5Fh@HU!frU>uyOHNFAUyy+n6t! zLqEE;%~xmI?ZeWW-%}#e9oQ!9cp~aK@8;S2f7SNZVNtGK_$Y{qihzm;f`E#W(nv}x zN_WR79U_7>1E`27h(ULkv~;5)vKc}e>5!pw$RUQa5OweUecw6fcb)4x`>!oC^S;mf z#9H^d*S*%u*3{h8w6nVlY5t_d#IJAYzRg+L+hc;6)wH(_X{52BH1OW7wEJ;1SYn-) zmKJI(YIfJD(}B`no-Y}$c3Hm6t6gYuI*o8}eQ#Yz>IkA+k3UN9R0FGC2NrAmW%?Og@mcRd{fD=XXEtkFaQsb14^U@q3R$)m`4(1XlL`~lDH zp(Blb1g4jU8$}pdWO?+`w$mQYqxFWMviY~z`RVBfuQzcjqRFO>q25P{p|ski_BnB! znAd}Q_wX5sIkQQLi0Fy$uI%g}<#d4MSpVPK`2mv{AIG^^G*DyE21&11Ponp)FMmNk zrRHiBAAMivqYN#F++zb`_v<**&llZ0d%wRmGePY!*(FOkRje4zHysmJx-s$sJuDnA$l5#&@`htoYm}xK1BCY|M`s>CcA;WXx5(;<+8$^iKFm5Y92_z0 zQT%wGgG^&0H7c&u%P6f=@mcXpo6+;647(3$@iIS7L5~aQCo*Ci;+ecv#Ggi-#3|)i7ws&=rZy|pK@N2v8 z)|i-@_V)D!VruqwZBO0c#jSQIWg5oefA8(Ba#=of4%mkZv*t)hr0-0M?M3j}P(>3D zlsozlhO|KP7pCZUW_BtbQxn9zw>F8{ZkZ?Y|J3$rClsBlbWGJLh4Z?g)+40wresP& zLV|`z=7+^sKC+V+Cl#4v!ujUv%xt2r+YUun`L0YfdpApbpOa+(Wz1}MHg&;w2!BDM z@~&iOKR-xMPY*&q6QCpGU8hi;orS=GgW|}nxcvhNCZNSf`mcI|LA7e8vxBUt%xRHd{YD-JlUjXiXmH(HWv)1r zv@dx2ZNnhm9IeTF^WO5n-#QTdPiLp9?m76ppd=mnul)6a?@mrf;uwmK?scmi!8P#Flb)gdmNyx-oV9>qakh1KtLA{FE64w9l>kQ77FJujs4?n9I$JJ~ zjZ1ZHpwp2;zw-Y?q(6L^fgSj} z|H9d;!HkEc54#b%xNo|M2Y~BH%QXiA1^bKn`ujB8QNhYLf&_Fhu%gVh410K6phBSM z<=Wqic7>fQi0MGna7Pz=*sOhVZfHW(vDr&l}WM95pQUx;a%}M z%od#NCvU<5-MY2DbAJOjby3x*9mmxh)Sd(+kOtA?bsK=Jwn1bOC0Q3C%9(F|j6YK~ zV+T}VHEZ2^(WoOt=N^{{hS;mAs@jiy#8<@uWE&h9(AU==StjZ>&kc-v`}S>NA@76i zF}E^i78X>nDQ;)Kh@UNsk4K6mO@ zI1xYCPmN@0p6E!B@;%RE_7;<>5Cu{#%ISQqhJedOtQlcZ3<{CZgJczyS|H}j>t|+W z9yr&@?ajLOmeqCwAL{~>TqG(n`cHBCQf+r zJcsUb!mP6#TDE3Z5F_ERpE~AlrJh9D_T&tvt0a}aDa^=#%=~#Os(i*RPGb@h60>uA zTeBRgSvLR*9@cwgO@8}bA9hW49X}Y{)_2HRobdGA&r|#;cA>c%^Dxm&&YX1e#l6$W zpbyJd^C|fOFaABO-{}7fm0lvU_;bio^Oke`^4zE6I~sV=tT&79gD8FiJyj@HfoE0j zFl_|R(As)-ak0j6RXNVO9C>nR;P9N(f%4!Mi^M!9 zvy!ar)8pk872B{3;cn7c`;8}n0N>&h9EB2HfO=00g6xGsb#}+ZbZVJ@!xRWE)D) zBB2x9-FJfwrCOZ4^q(8IxpQ^oc`~;&#aF&htkgs*%_Jz~MpTt6&REUfouwL+EmtMm zCyN#Skj3V~xjuxCTP}8gKZ7o@qzVT82Gj{5E{HbT);?q^DPL~zxw@kPMFrLiKl=YL zOEGiQ;^=6>N0L%f+pE(n0J25gR$r_O}I;fD8++v?PE17lor zS{e_j_R@!hgi%1|5)n{;Dx5TlLZLP{T@VOF=}YKG5nE`|WT35G3dnD^C)XJw8ta}M zd98;(b-nEyG@~7v}_`k^p)6r^=AW@AO!BI`i&&AKI}T}t{-`6yj9|V-$aY_wa~-$ z{lrAnX+HUw<2IrO)vw>5ib z**Y$AalH$!*}=$_zJ#ZL=a!$4=y8`Ym^8@Nn873K8q&pK<7k>J@3Y&L0gb& zeOw1!x7z!e2W-2R|Z{{qM;CCS8AS&;9G%yiW-h2X~Bcx}PIH&(vdw z%CPdy^8vyMX7x?cknK+x`7wTGZd&0xkMk3Iv{YbVp!gF&k^~#J1Er^}oEEYcTI=f> zHy!Ur8rG4OMWPTtlkmc&=Y>pI<1ClP>WIRZL4X`)kPEv89}P*a^Ap2y9_#1T8Wwa^ z7%#ebd3kA*laZ}#E*nFEQPn4&tjp+{532!NIcqjF_o4Tr`uiOfYUxilrm>Az)-Jkh z%lAcpc|dSdTL3TQjmnu{k$Wp;KSK-q!;$RBV3n)eSB9WO^NsTb6aL4ypc5<<{Kyk0 zA-Nk7{8#-4W0~S2R9992n}5=zmwts8x4YhNtC5>l2{`pfVW&72qBGx|?py>ZdTh+7 z3rZIb-LdlDMOdc~Pi%2Ul@u4pUbof^84HyS9(KE9ZIoMBYneCS zik3>aP;&8gHZoN~P;N5ljbaY%QWyQ5-8}NzyLK}#-_P*@rg@bCJM^Y`Fh}=Qvtx80 zzOJh_WEd2zK;@BZL-_K;&ffm-XPPG&8ETD&UpPgtLjk9hhgDoDT?yUex=dDn5J~Kf zE%lxgt;XdnFrEk%6?37QS+seNhi1HTWfP12Aoi-B# z0XMvGJMcW94a#i4g9WLGZ!GBrfrq1?eO}WDQ&Cd~6`Zg*MM>#`MumVh6`FLNQJ1ZL z;@hj-CYqO|inSO1nV_DB1ogv?oSdAzNk3hCH)B?@i`PCTyp$S^k<8P=bkBIHVTw&2 zmMQ7c(Hke#h4?2_ca3PuN7;wAgo*0+wPs!_jCOR@?Dn~qt7#YjJut6UC`zkhOmh6(V<|IaR>*>62?FTb?^>nOjHb>m^O)Z@MdPgK91$CAq7h_<51$#JQ!O z!Gz`aJ}G%KEvW`EQhMS62?>{?g)TJd97feROb4c=?RWEuuvrO;izAJ?AmSGM9ta!7 z$(ESCh58}f$R}@QaG8-HV=BDIp%~7Y0CKk-jrewO+frgsJOG0K!u)&?iKGX6Gf({Urj5)VC=tpsnT-W z-67aGD$O9xS;pa^KQmmmWpju~&%b(QD^e#?a7$2AZ~lvVD)BWTLP2NQ>6_08Q=Lzw zS0Bb7qZ$(e@+UcV(ClL(ek(a5)bGE}^b2I^{rPl5E_{VZeU_lT&v?;YC7Gw;qB;_Eu!7{*cdhCju1eJ+9t;k7;0M*mRk z>|H-n4@vyW?Rq+|O1CvxwBgHq(jCQp^+G;l^pYM5Qm=E9`M_<+#s#18B_Ftkw;_d} zx_N8E@6OdUV&A8>C(e16yhY?fH@;t$Kfl22X%hKaEv1GNL?`WGZk->gjk{+sVLuzZ z`r0-^X#eFUvk3xefGmRc^x|to9iEhahvHk9PWkIIQ2DYe!Ap2 zG?c@hGyd{>e=V6gR_I*xpQ;xK0+F3!4r2PnPWR=#l$@Or9J%F1qW{XyL8Vb#ByD+9 za?O^XhgPK#!ucPW9v;*r!sxlhtFON75v#0NebN1T{eOLa`{vD&gv_b_jr5;2Rr~cw zzcQAeZ=dmHC;ZQFQ#4S(LGWJ*ONbhm-hD}EJm`b`JC6+54N4qYb*#?_lykn2a;Q_JQ_m&ly@s+MaBz zS8`>w5lXX{7^CFmui=Udv&|--~0i*FGc|*}l9=MI3p` zUBdYGhlKR+Tpzxiv3_85>agCcuUCdBuSy&9s*u^{_$Y93O<19t*DB6ci$NcCyOxFg zxuz#EXpgwzS|0a_rnxyU((R~%Yr=w$&gG-&hMV52q-1!ZS-My?FVA*lJbQK+{RGt> zFX0VkTg-aRB~kLax_xJjRaI5@>l#3@z~ug2O*2dTT~JWceKw`cQ9h$g^S4L%K25~_FP=$HwlCVh=?dH=k-}?DM!j#Yz>ylPYhn$bj6P7w+_PRAs z?z_%@xq`5@jhvFp>?^WPyP>Sp^nOskqMdQID^s`tbAB}fgV>&Cu0^*#AscCfc<}!(ehoku>$E^FY zG~7A&UHw~*kCW{(d&K!4I}!Ro^oGl;Vbm34w;LVe#rHh#+0I3&2@m6zMy0R{u6MA2 z*prS#4)*|QiNs=1v~P^=G5TruuDnl+bsP1e2+n>}A1Qi^I5_tV6T%}N$@T<;|0YCg zqasF!w}u0e+O(*%h!N(Jxo_f7khgU|Vqyvxl9_zl9GoMS_udUN*)Zd6v?4#KwAkcVr6BeRaZtxOiVKs`dzTn z^k78^1QbBjx`Azsj=u45=&z_7 zuJ%P%U5SZ_uW3bO1Ju$KQ+(Bm@AsBF&O&6vGu&xBzTKLWPTda_w5J@Qep@)iIi7pF z8|M}jX_*jLm8-YJvAScNsQUU1-Y=+x?S-eNye^lmeXcmn&1k*no<{a3pWh(eSu?AU zDOQwERH*LD3kn_9D{ZgqMfcN0jN{VZwvq%GwN&PFeb9=VA!q&2!u!VA$%*z%5B6ha zq1dC>t<82K+sYO9wiiU%`k!qPA|tDxC<<$TgM!5TTD?jaJ2SHhz_)ruR#&U~m8_iY z>@Llko0t^Z^oP!EZ!gvqIHe*ZOM_N~9Ht&ZLEe`yH-pIUqS9QU(+*?9hH?GtX8whQ zk&C`3FXiq*)V`y*FkA!hunWq-3@e-hqTRsvB3GPmyF;Pd>_FKgO-;>?R0TjO5&;ej zr_Z17&DJYX65Cx(i}OVBuTf$}+oh5SEIQLwTwGif6-i?BT0!J|a{J=bhKe9Ul-BX! zTv6rfP=QyN`G?Ndp65sck8JYXtyKRxLlo8|7}Drl=l{>SuUxsvbj4is+42m-*l{x8oTs?6=UTX~$#_tO|j~qQ37$qes zIgSb&`dH(eb7i`xm7yt5oW!F1Hra%5xQ#P;;9f){%S6z?p- zuTwN22rYG8N%e`vRJF0j2%@8quO@=OEzCjzrt$n0_wq6j`@6>N)GsQY_|Nk{8z5}C z6uh>Mt?@X5GB?Mwp}N_|eSUYV_*IncJlYwzk&>%iGTHCAy1ul-Hmi(F(!r%3S0fjJ z4s0Kc>n*e(WKTsyjv_)GM}a^}cv$4K+M0JPC`9pn5M`j>)2lv zV4AD3u@e{Mg~EnXI5#NK9vIUK(8Rw<-va=wy&cMSWbdjSW?aTK4wT|2502s?Gy(0b z?*lM97CTqgXC5JYsRFC)t_7s6gWYMj-$+$j7WQ&k(zX%v(%sg-f5Ez}WY2r*ZEHFH z6JNEk;X(J+fykbfV)OC-`+bjK3%llMWNHF}2C7W2y3GdSK#09}v6FGWC(lbh zFdqI$FZd=E*Vfj?OCg5bT!OmM{ZJ|_Y-95WyFQk|88aE@71&37lwiK-DKTT`u za|#P1KsO0F&J0w02oLWV2XDMv^joJpb4F4G1fzGHJE8KhwN=@w@Zmr9(MwR5(+zi= zn)O}CHrTHC!t2QWwXWCHJ`R75ZeG>*WKt-tg5HwwH!lathn%J_JMC>|`=M+>@$24P z?v$R>V)U&}N*&f`iVVr3n5d)*F&gqSEQnjOjrxQf&AY+=9b!}Z6B3&{vvR({mERBqf_k^DNkwbj4J#~7IJO~xGcxkv(5$q<} z1^p$#n@URGV4a3a?P~Rv>W10@>}~dPE1Qq{;xBzOl6Cm()-0p_vij4#yoyiFuAII|a_#fOW; zlGJ2gmT=!34G=+AT>oni#FKHJmpR%GDR}K?Fmx|2?o%GFOC$Kr#h~QnSR0qx?eaRp zQ9~AqETC6;wrI%?n&@D<8+%~6{03msyR-FBn*PjuXtE#@r3`XS)(0*F!AWYHMQ40S z6g`8^{OyyI{1Y-iVzibo7N-b=D4o<5{Hx}9O#q|wJf{I1=Mp4aI#gO`MucwfY=QV0oPJwh-3y^jq}8XQrsesQ)2 z(?O>br%InL{o{2&tVvp->av=PvY0~zG ztSSvd>uO~sRYb2f6sz;_R$2z?U$`y{cKRd-NfNV-#$;)TeZ ztGG}E>HsXAxJ6OqgSnL)9->seLAtcDvJ#{;OMZ5%9A&He^be%^{VjnIvFWAc$RcY@ zhuaaK>Ksf|@UICt@Tp%C4(@dyRbR4rY2pytdjALn+s7kM!wTssCFExQbA~^1J;vOE z1^VS=#IgTxe*ib+xO|!?=HQY3MqDtZP6Burjv92HLs6Xm)Wch41^~0 z$hL()q7oT=UdhE9Y6(&QGD~uYgPx#ae;sdaTA^-cRY^GbR1+_|%4;}g>pbfaPn z?kBBZO`U0TwVE{h#=pY8XmBb1bNqGhYbA21#m@H~VB(U!F96_pcAO07-1_yJc3!+r zff)#}iK+RJi&Y!iKb(g>dTPA(psZNceX!gSxMk~{Wk^Cga2Ogw%YZIaON&_)oxsC* za9W@Sz{kgjQm5ipCM96C!1~6#eXE=x=>rvNfIjlqA&XJ$yf{Q2Fx_9WxH0VYtq+Y# zvzdO9XNnWZeot_Kp+_jiv6shOP+r)-8gmwMRH_m;HSFD*rr+g>Tw>;DPIkQ$)9t8D z&pgmuS5`;FW;n2AWRa;1(w?is>>mbNg5v@MCH<;gR~XnP(de@B@_n3SHx5D(sGi@i z?|~9!!1=e?z##g+ex0NKzTJ&DfSevEmbuFmw!3xHPVq3%3|9?<5nWi52f_wn_e93O9GKEehK1zLCW zaeAETEtScc=fJ6Jku`kClylinm9>d;&3d1WC007lzEb~=Px32?5(~AKwVqpti9I)d- zN)}M@{Sz6jIe@IXBTFn734`{a8UMHGfkS1-iRP#I9&ETEZT4zhi`m5qTR?t@B{*BR z*ghL&k1nAdie$^JEDJPSr(tw19AMvNtAPSJNQqRqZ?G%mtEs8ciOoFC(ko%-mNqOkb3QllxG8sp&F(mL{ zPhbW+!1^tPdT+^A726>etLPDHu$+Z3IxM&{25KC8> zXL&5}c*)Z3*_CMx(tIgHg_c2;?|f3%coz@gP#{{G+1|%%xsIaHJhH=Uwe5Cco^d@% zceQEbxpEo8q$v)zs2eRipJ(oJ1Hu-^#w$Ch=;_9Q&evN)vR*{ zhwX*(M@-jAJdCF{y?;nW`j(cKU*pROxxq}GU)&PoYGji8pO=ZsBEs|6*E`&jq!y}$~HmC zp;F9*tdr-6MtA0R)&lJiZP$#t96w8?v^w!HOEpCEhUiMeKEowKce(ks-9){ca`k-H z-Pigi3F(j*g@ReTWo7j*3Yw*ddH@2&M9Qk)`f_Mi}d zZ`Qo}U9l>1V}8EB1YMEe%H-4BNq55qmc&9eN824jV@OUiQ?Wf0YmuCd2MF`W=_K>A z#@)v8yIc2ln4%b0T;1J+s%XUw-CyklxHTI~(fsX1jsP(BkzzI#RBd9k-pMFFpbf&qOD16d;f|mgNup z`{!(|rtbs>j9Dc7CyW7G(w2n5D)g)S|8&<(HFuUaNDd&t zZ-0Ck#c^h*3K}c^!}rGTT>dmH{2K!P#3NspgX5go*zOri&Y;yjL)`uizI$0qKqeQW+m9`aZOwt z;_kzEf#EbMtkD5j8YUrpTpRxrMI|E81(qHbCKisyRL&1BoH>2Db7NY$IvkwG-@pdu zEyYqKNF+r88D+HOAr#EP@GoQXuPOg~RugZd(+uSNmEPnIS9;#reLIqO*J^oXB~z!u zjH?Ob`UhzKa|)q7^^72TD!6pi?#ZVoj)}9IgqvY6*8Z#}sjMKZ{gf{Dq-Fc!5n1F<7x*#3AWh4;yr@L!FbMk44OP+7DF}>&2`r8X2nz*j8Nt{m)LMXECdOxv|p3 zqg-v4#SPt9PaT$+<5RBYqby!D6ya{epBgM@8$QM>K~a>VgR{Ch`(^#rd{t?QfyBzD z@q`*@<0K!mMEYY?Q%oOvBk1{8r}!5gj=nFivIwa z{>OqzSC@(Hgbsl9Pjm~1L=-QD25kFJis3Ruy~=$62>;JMY_0zT6X0M2#|Kx5f8%xK z_l|-C2s8Ku23VN<%k2EQjfaKI{*Zs4$^SLpJMWcod-K9u4H;{DEuu}ihp9Ds*BxI> zV$bgU=?OhAoi}J>+Qf#s>d=dFh|vm})%)F- zv1Om&CLzn1@^aIjHJkG>RQ$`BrF4yK;0x8eCxLA1CZ+;Pl2ARz-nE0e{doal_1o4D z);`?TPc-7b3vsxhq4(9ZhDUBjDUCj8`((Oif|2^2skU3JY;yzS z_weG$|4h)APa$z7BJ@))txR^QG&0)1HIt<-dyMlQI{_ILVEH0Cw{NfC3$*i<<}x?z z4ga30wB{F*Ub{;`r^$x6XHsI=Q(UbOTV1eCV<|;p9(LNm9mp@se$L3~UH9&a&N7vG zq0uK2KzaveSYBe_o%{5ORL6^7tEYuap&*cgmzc=*^w7tFmiJ;_lz0|kk@wB({`q)_ z9_}lOyC$dR#As}hvr|tiM>j@K=KRtU75YdkCr#m8jlkF!zoIMlx}qf$YrceUuv$5i z+dI4--bS^b=7m3?iDpYwCPfNV#dI|Ce2HIzig(K{Xli1*i(1DkvU$&Wc)PH2s%~_M zHWvG}WC0r!b>k$~AoKP=EZ3ir-1dFeZW4K6r>$LUcC+Uqf@FRmW|2XHfwrfBRBtGR zH*CvSedEos6J{n1-@fq+l|B%^m_5^0Sl3*#j-ejv-@^wEERMQqeW{l<>HxaMMkG$v zSbY&lMFt7;J5y2_{fcjYM{fQv=vjyJJW7I=**u(hY~7DOVr1Kk#J0e`2+X@W&S2It zt3Z~DaZjBVP$+G5alN|c6+67-@2F=f71`0@dX#N0Jg}*+1e!NQF=}P0t%kA24VU@U zww@5afJfr}6M_FaS{HP%up8Ib))^2j?xIf^ws;7?bYQ*=?OJv{{Ul{s=H8KZHj0U1 zw(U{^@1$sSd9;(`gXUR>_9gR{)A<}R@;jB*2yrw^Qn?754J9q5!+KY9r|6X&9_Afi z{&mPWJa1#UjDa+O<;uj`jPDkqa?;rAE9j_!vW8ma3&pZ?5Ag&}9yp3$(|rm(Jmj$y zkX$BK9g$?=Wjl&0CQce09JsS2pEyV43M`VbZ7l27?d}sYb8BHQUs~%8zYchn8VfiH zHvU3P!BoqF^V7`jHU%Z;jn@IOmCGgfyMxXS2^2o)!jM~NV7X2611a*HxE*dP=LK=8 zTuPYic`&-j&c^Ff(S zo{BR)P0kjv%_VxrZ4}jH22Y6*m*lKwLy9o36lz&V5qMM(Ply7Ie8Mt zSt$8mJFG1e)8L=Wpy+oZb8>Q0t3a9mg!29`aKT^nOH(T-x`_rdSGpK(oPTDe76N>jh zi20L6pg6s);hB)2gX>#Xn;Nl<5IKC!_MY$e20DRv8k(3150 z4_*?$5Mo#mpI(N{+AfNg+KsK6y;E7U>LEFi)o|1zJMy~Y@-mY!;q|k=>{gA}d@QJi zqtT5Ks|#1E+j4;PxJic!qZ@_!yS+9el}}1a?6Y?L6OQn)=Yc2r@CaSdTO+c66I}4O zw+y==C3}L8pI1$_i8+)F#LwRc!!U&76T@!k9tWNFS4r0=vIn^HzyTz>qj{P@MK ztneRW3EuCYAFd`K4Uk7=YvL=%4u%Mi@#BYk3eT2u^)6jPj)ZI70Y79kiK-Wy4rvj` z;-Sf3{PXz5BOhZ<-2CT2l|{u}kNku0p*ZaUcq;BmI|oy)z`?`L=>wr=IQ>c$TVqD6 zD`e+3(>Z=b%^bf#KBA1%4zo;djnz^TWJ=|W@1rux2#4V_1;?$nyn6Sj{&gJx@o*D) z*|8P>v9NK-ocTz<-zl^#U^nEYJn1Z+P+8^nqrYLrbt69fvUt(;n=10)z{XK@6^{l| zZETm64!?c0-p=oRPK*>y6rhTI6gau^?J#G9vz9FzEnlQFsUPzpbv>!Gb& zxRWj*QFQ$C+9NYHDE}kN8|M@|J8O zt_*QvmTbFo?J2hh%hxuGkV=i=bH>g1ceF*%%v_+P9RKk{>Wy7z`ZAJGuvq2=A-d>j ze?~xGO9Xo20Bwzu$}Wpx>}lHoG3vuN!CgTD?b@oT4$C{ zV^>#^n`2F3VV57tebi36i&_$=`~dIWpIl zl9JM)*_ELIIaUOc?s)%|FW&!L2V#`-$TG86xSgHBlnZY84IQ}$-% zL&~A-{*FSc#i69m7P^;*+#GlxLIsoWC8_6vs_gxqy9dU|uq2$k`sgZgHxs)Q;?y7Y+~78cuV6C8Imi zYEm`ewUTC;*DALiuoz;h=G`sgWVFZjka-OolK;P^bq&Qq{DbG~rkSYR{rdy3epu0? zObDc3Jd&S(qqP-ERfU^kDzx1`S7RsYS67L7GcAUz$wb2ZDRPbGF)DSO{Or#2eM;0M z)O^xIIv)t@hQ@v%fRQoPk}aCR%R%gg1O!LRfpKX{&0byuGu>>P>rc zLuB&#oBEv`OoblEo|!u3TlH+B*di4N+_UVAvw zsR(x*_L)sTw~_G=3oKE3Y7QRWNtDb@33b@qc^W&V(V`wCj^C?2_}#^B4<$G+;tDfh zzgIZdfY5ms4%Yjr*8Gv&+Y5!hWQ;9Jk-W9d&1_tDertsBlwp4K@9xM(%H>A2r>RrU z_dBObQ>|j85B3F$y7``7k&2#c(qS-2R>8LDrMutvHhC%O%#@XvT4HoEHLEn!6h(w6 z?!~F916Tig4P|SFVXfL)JwIaB^!8G%kkg#(H)pFEdn?>z35bijm#0)DZ#d~0 z9&yVm9_)r34~+rS@X%LA_Z!Nl9grzs9xTAL4Mo)~t8tUNXh%Gd43O&%d_pLx?KD-~ZvymlfK9BBP*yXB#gq zDk^F<*y;-+s4KJLFh;8Mlscdl$HLgXNBp};9(4nDI3wTggFqpr6%VlVXQaV%@tPGZY2 za>W?ABL_0AYg#!wtqDmfVtf5gXfxsu3X(gl!rN|*;BU@fV?ngRXbj8jgZzFh(urTU zY`rM!siP63)w$4DWG?ynPWR{zHdFoUb!$U&ew}700FewpH)_Sp%=aMnS~Il}EG`9R zY$P;WFC591gL^e?o>ykeftrMal=76)567WO-ZMaV`|tF}+LYQCJO>AX3yJY0Z6IdT zE#x|zigZ<)-4L{BC4zDh@M`+ys~THZ)5vo7o!g+ip^EU08;QpCIa#&61$z(OR_pYR z8aFqXgs^H|)hV{@h}CRs3!DoIoY>k54QXk=dBe0=BkEFa#s{hepn?rb9zgFig(=D_ z=uENumIExB&@lW-F%+~uDwbk7JFR2)mg_6WRY>MY9d|=rLF;*{HW{o9T!8cc{Uyfo zP6x-en6QrCnvSHBh4c1kHGbX3>cbR(SuC_3ZU<@S}+S>j*hU*#vI+Lee zA@jnb9pPl2=b4bv<1#YoIU80_g{E-pdIWj?sqfwxXay#bmf7Cu&)!G%|TAZDwZ69hT=Z=z>hq4pyqF@zV}pSq!pdh7fj7 zd?j}iju*@Pl^i>52c6bG-Sxqw#M)n5HL>k&YtpbvLvc1oRU{UhR@}J`ij~9Jx;38E z6}=^kk32nb?GLVdp}??9Ww0nzPlNK>;97PdE;P5{UX+^XX&M@}0<-MON~n*Ln>zfo zg)>>>WFIFl?<+;wD~4{C!SLpvh0di-jc?5m^Su^fiZe)cS{~Eb$5Zhi=HUeLcov6# zJsE>*f19Lrd@G>T9?f9wi=h#y%h-7%CVKnFn=c=8jl$JMD`t2U8r$17c`PohK%Vau z(PzHn%Wj^FRr*4k&z`9~{~XM*Xo(gbb}=Sp`)kiU_g<|uH2CHXuSqNpapFotN+?Cx zbeY}JFrAFa)ZAUnW{|-~UMN0-=Fl&F%GcC%<0d-9Ox=EyQ3Y3mWQ{xPJ(n?wF<{k59^s8oG2|lI1CtFw2xZe)52sUlwgEco?x zUam@O7DZXNvrhzbOfeT^_nmy70k06Rs;KZ?6)c5}s$a&ZV3_tscNR?#*f>H}cf+Xq zi|1{yxbvYQw&)s#ygYx{gCH2e0{ey0 z;;T$<282h6mfbJO_Ur%7Hm6v$H*`m;i?-zsi&MQ{#oXrUnVX|;KimA7=)-SEV4Nzm zo@21>w9urRcegi4iO)IE;IV1~l1Lzib;Al2ogvXhAP{!?!vwV{iRNCtYzRK~p zzlsf0l-1U(Ml;rpYkXq^groS9RgBq^ojFdP!#0^m*DCqZ!GjH;_$l{{P&m_p1{a?R z&{Eaa*L=}z$o+B+k*d`MA<48))BBPBt$~yR_5PfJtV_i*cgh`jMRp!Prn2dGa#?A< zU}*ye#{^Z<2^Kt7WSi9L-mr^ys(b_xsxp~i&Z1gQLYLO}S1(?C*cfV1nD=n>L^r~4 zh5oi;J4@iH3YqHF4br=fmt*(+&s#0WZ?Vq3TIATRPy?`wN=h6u*co6jgS>9?mN|2; zg`GVL93Jf@+w;OsXV%PztIbDc5_b75PMKmdCMRI;rF{vZJ9lm?GVa5TFeXHhqyts`}(vXya4wG*vDxehVJ+YRC9N{v}E14 z6uIGuiu=V4tX67ko3Xbf`_trWtvcvMTrouJZ;syRqb){i==NEuat~e~ZkCl7Wp)_) zI&_B&SjTJOhR18&*l=I;me^Ugj?3X+eHmo2S z-CJ79F6?Z!oaqO0i@ym2pP{SC96&|<4T$2A8sd_5$1}1o!9B#We6YYI|L2@UXuyT~ z3c|XxhvD}aBhVpT*1|C{4GZlfdKRyiSFWzEC0O%AOVN$H_CLN%SGp_9p9aDrk%{{K9! zW2BCYcEx+#P87^>aV4xJuG&N>?>tLT1M_g^yj^kNF6i=M*&1pA3& f;h)D;SulGZf`eOjcc1=WejgU{ diff --git a/docs/developer/decision-records/2022-06-08-identity-hub/authorization.puml b/docs/developer/decision-records/2022-06-08-identity-hub/authorization.puml index 8ccbcc093..1ea174d3c 100644 --- a/docs/developer/decision-records/2022-06-08-identity-hub/authorization.puml +++ b/docs/developer/decision-records/2022-06-08-identity-hub/authorization.puml @@ -8,6 +8,10 @@ end box box "Participant B" #LightGreen Participant "Participant B\nAPI" as B end box +box "Authority" #LightYellow +Participant "Authority\nDID Document" as DA +end box + ParticipantA -> B ++: Request:\n - DID JWS activate ParticipantA @@ -17,6 +21,9 @@ group authorize request B -> B: Verify JWS B -> IDHUB ++: Get Verifiable Presentation return Verifiable Presentation + B -> DA ++: Get issuer DID Document + return DID Document (contains public key) + B -> B: verify Verifiable Presentation JWS B -> B: apply access policy end return response From 47875ccc1675c53e421a4954bbd922c7f0f19fe7 Mon Sep 17 00:00:00 2001 From: Marc Gomez Date: Thu, 11 Aug 2022 11:14:48 +0200 Subject: [PATCH 2/2] Add details on invalid Verifiable Presentations --- .../decision-records/2022-06-08-identity-hub/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/developer/decision-records/2022-06-08-identity-hub/README.md b/docs/developer/decision-records/2022-06-08-identity-hub/README.md index 6a5f72751..dde09beac 100644 --- a/docs/developer/decision-records/2022-06-08-identity-hub/README.md +++ b/docs/developer/decision-records/2022-06-08-identity-hub/README.md @@ -23,7 +23,7 @@ Each participant in the dataspace will have a single [decentralized identifier]( During participant-to-participant communication via IDS REST, the request destination participant queries the Verifiable Presentations of the request originator participant. Access to resources is granted or denied according to the policies in place and the available Verifiable Presentations. -Verifiable Presentations are issued and signed by a trusted authority. Before applying any policies, participants access the public key of that trusted authority from its DID Document, and check that Verifiable Presentations are valid. +Verifiable Presentations are issued and signed by a trusted authority. Before applying any policies, participants access the public key of that trusted authority from its DID Document, and check that Verifiable Presentations are valid. Only valid Verifiable Presentations must be taken into account in policy evaluations. Participants are responsible for reacting to the presence of invalid Verifiable Presentations as they see fit. ![Authorization](authorization.png)