From 8fd95be1b56541101359a830ca46d1112b205bef Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 8 Apr 2025 09:41:02 +0200 Subject: [PATCH] vault backup: 2025-04-08 09:41:02 --- .obsidian/workspace.json | 5 +++-- .../notes/11 - LTSs and Bisimulation.md | 4 ++++ Pasted image 20250408093840.png | Bin 0 -> 68208 bytes 3 files changed, 7 insertions(+), 2 deletions(-) create mode 100644 Pasted image 20250408093840.png diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 8634176..d8b6a8a 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -192,7 +192,8 @@ } ], "direction": "horizontal", - "width": 364.5 + "width": 364.5, + "collapsed": true }, "left-ribbon": { "hiddenItems": { @@ -212,6 +213,7 @@ "lastOpenFiles": [ "Concurrent Systems/slides/class 11.pdf", "Concurrent Systems/notes/11 - LTSs and Bisimulation.md", + "Pasted image 20250408093840.png", "Pasted image 20250408092853.png", "Pasted image 20250408091924.png", "Concurrent Systems/notes/10 - Implementing Consensus.md", @@ -254,7 +256,6 @@ "Concurrent Systems/slides/class 6.pdf", "Concurrent Systems/notes/images/Pasted image 20250325090735.png", "Concurrent Systems/slides/class 8.pdf", - "Concurrent Systems/notes/images/Pasted image 20250324091452.png", "Senza nome.canvas" ] } \ No newline at end of file diff --git a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md index e818512..5f78c9d 100644 --- a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md +++ b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md @@ -37,3 +37,7 @@ In concurrency theory, we don’t use finite automata but Labeled Transition Sys We shall usually write s –a–> s′ instead of ⟨s,a,s′⟩ ∈ T. ### Bisimulation +Intuitively, two states are equivalent if they can perform the same actions that lead them in states where this property still holds +![](../../Pasted%20image%2020250408093840.png) +P0 and Q0 are different because, after an a, the former can decide to do b or c, whereas the latter must decide this before performing a. + diff --git a/Pasted image 20250408093840.png b/Pasted image 20250408093840.png new file mode 100644 index 0000000000000000000000000000000000000000..e108569ce21d47dd58e0d945f356cd7a284941d6 GIT binary patch literal 68208 zcmXtf1yCGK*Dmhv?(VLOyGw9)cUUaA2DhNW2@u>h!68@(ZowhAyThHl-+#M`qH1el zcV_yW^H|5ItIDAw5g|c9K%gqfOKU#8&6G^1&kG127O zZx`-Ix1zg)3&}glU(jEONzf|DU;aLCuVAKDlB7zKebrQ8+wUdJ?S-U)49ohx)NuF5 zwjjY%9Lp+9itAoiKbykWP4=Xvrz^^JG=Ec z*k>&BTs3~erEkZirQ`6*`u?di=|wa@#~XbZ2Lq#Bs+pgq5x-TvF^eAtrWUeeWl(jq zmh6k1sS&d4=m1`|s`w`5_8noy;u%5M5+Z^Tv=6@-K`Dmijmnns9)6(Gw-s7D{76iU z|69H*6nc3f|F>Qc0*a`hm?_-K&2AO0cKw{zYv>o&dV{t`P2KmPpj-uuH$0OdHc-}G zh2_I@YmQN{mxLdcSJ3^E!d+MCe`NGeUDQ}j;_!FQ^uumo)Sb@uOv=#$|Grm*g2y~! zE6)$8UiHY%K7(rL*VXU1UX40Yn+kv^$!HT?pgi< zq7FTUTY;T1T@>s0VLQAxRhMh#yTl&+Gt(!744V1073ZI%njCzPkYobuBGB$T zf`K_Bbe0RM|6$vM8mTtm;5q&3QAZUcPRYhNHv$XuXS+D&@d)t?v6rsXN{+V#SL+LU z6#AcOLF5QG!3rtG{ipd7<;g@BHT+)uz)oCIsh(^q6WxDLus3hJc+=*XFZI|zcE&~u zPr55R(Dj;8@<8%%tKXIWf~~|^TitGVwuTeyv&qA>cF^!imW8zUy{O!IWxt?eN!)7d zBYWmc#*^Rqz-N;zF$M|>H(LZ$sYdUwY{6!}iN_R15X(7EYVQ^mM8i%Adv zWO$X+<|WB`p!Z@ycreZ{mKm;BXNHSl{*Yp?kiV}unA3Tpu(g49O!GodJ3U71}2$wH(F_B zU6D0(SlNn(9k)s4TV9WSs?*j^M@*Uxv?Bru=x1D1tnGB+|0~NNx0tV=_WfIxUOYLp zLm(Rw+iz)QRR)xl@YYdRsAY6W=UbfRW}Q}Ki6f@8WvCOsd-FEFRLnfFW9H)e4u7C? zo9d`tsXr;(6<|w-CMj~79!gRPz^shh?ttocb6zQ~Rt<-&wC}7OV|oat5bz~8DUgFm zYF9R1bmp5VgQdg48}1ea=k^*$uapp?2tJ3|{_XK5f$#FPqQAJgtk9?$%l{K7UM~b0 z8V$vVt(Uk`PhzBwg>ALm3atuBw9uzO%g}T$mK5iQmwP)K&_~3Wcp?~EjEQWekN1mI z=w<&fN6rZ|=JDeFSr``sgF+lGWNyMe*J0KHi*7%;heSRdBCOXw<56OX!jg)>k|!$~ zQe>M})7kI?4nYpYzyhyv^iqD=2$JvFfjxr1k09u(4fzi1#q*)wAtB0snaxk<#vK-p zcf=A=gLCXIz?$La3sb7qceWVt2vcoWN}S=trrEr*MdST-AxsrEM!VVtvoD|d9Bb7~ z#4Qau7*$jXTiR$O{ln)trbB~uZ^}1lRagX=WdaF`g<)^wflCzQR9+dKaK9)y4B^g5 zVhW0jy9gsh<=Mdo{iZxP#H~mpFIJ)*>2w6Eaj00i`>39uSYB@LdbJk%S!JdA8MTH{ zwZw23u=pS!F2r%TeQMbq+6xe3cukpe-)v)E86w`iC&_p?jl9^pghgpRPFdS*dIcQL zn%ehj8RGoR`b9`T3gr!wtJ>Ny@2lx<$h z4^T!D@iUzE3U`cmVH@01O7k6RNXGaF2q!r0C6ZX?w|XpP#~5j-s+t(zkvCJeaeehN z^oOIZmoo|^RUIT+vhytgv{s`;1myNB&tZ<^K8bepGrT5X`-hS(;GnSgiw*K z4&$vm1c^K5p=E4`Ul*>(0>PA({^v2RDYDi1r|o6dUoM(|*)$>E{DylcDp{vd{H@{e zb4f@r!_~LLL)W6@m5Wf1VW3T>$;&X!dNkP%%+eO?>UXnNw*TL#$-^N1Ky8kdo=>me zy2x?rPs)&o=;$@sDlq}mMz=$bigvF-PHF(HfA#Q3!0jRBmudgurr40XlP(u2J6_xn zsz{M|j&Wf?*vIyTQw$8>mEOn|b@_-NcR$LU`M=oIKtki>iW0bjt&;~RI6+_SylU^L ztJ|xlzQtJa*W-6TBOqdTBjQMSgI4HnrXz&tg(0D}(r~}UYO~EL9gpCxK^&xO;lPg4 zk3%3@r<&o85YKc^4G*yX*~IKa^^9>YL2VY9Y+du8b>bl!)V0m#lNPb#h0)_g@P0s| zY1T?Vp7ot)e5@EVQ@1|*mgOO5QCI8yed<^Apq~goSsXo6X+5&4qb{~Fs&6|D2|4BvFb zjEw{zMvX>cwzrf_@b78tJZBE>uA%(xK?AkLo-$8_{Esz`<#=g&1J&p^)VBC)4Utjr zO>;~`2aQZ75UVC4v(G%Q>>T7%qNN)TJ2!Pf;oL%*7k3H5>YGVb;=Lo!*lEw$og+q_<+0a@+Zl=VXnOd$ zd*SC?HTV6UdDB~(ZT;?xQlT;@;}=MiV}GkPG6$L&T7-XaB@RIiA}Ew`iDHpkr3$!$ zquxXLARbQml)zQC9V^lSP__-`_u8qE<|c@YXf%}h>o$|w%QxCsVf z&>_`2rn-N6tw>g{SQAT+Q&n$eIsW_C3Jh+Uw!68xVPRp3PfWDPG5$g(xZ35Pw&dvB zR-@u#$AoN`36U)&Xtx6QN|)mo&BloZXWzu_qPr;Nn9cn$0Mr5&U}73iEwhg;E0Upg z={9UQ{nshH2s2j#nl}^rDX_jX<-j>x_|~@kv&=DO=ED&3W}RM#FMn z@79&pVPIUK15$~Ky!d2|IWrU6waxzQJ?i*GGwHONZZ`}F&|TnuI!Mt3;|l3WP(#;3 z+T*J+21GTkI`R4V_ypgSkUKj&-`?N9-94D-w5ZMvYF&|SIc2;wMa*ebE}k#5A8Y*Df32CWXB0Q|a5|t(;fnIFtX*Ku zOMZ2=I*&X8wUAs9Zce%i7tYv+)vQFZjm!g0m%MT_$=zr~JNUa5r&K}uw7~`?a!#RI zs{I6p3~?%N0GsNBcdGdW&MvDkjSVCIL@4b$%ru>)z-!t!DhycIRO((chR!JewracA zjNijx;{lGRrzfuL_{z#sO+@It>1N}fTP}=d6Qrt*y}7A>5Ol_=Bm#04boI5ldQ9^h@4LuYVw#%qPTGp^Dv6v0mZ>e8hB>n-H?iHjjj+vIJ#sgM=xopIX#MU>ry(<&28#jhHXp zHtrsEXL{*$fKu^{Po?~tB$KJe%)XzM^D54p80nK#IwAv#Z)0^B z)PKVPN;;U#q7Kz-Cglo2oeG^#Jo^{h2v+keh)B4sK{`Eys(kb}E({6_QeNN;o zoYlpTtxd2X89qz66;%)-9my0wq6W`ScROQsAWAcxS(F<*98s~` z#jPWQyfZ;Lc6+o0h6hfNBy&*akju@=GTL4VG_CT+QDy+6XoF?Dh;_$in5*RX6AQs% z%J;uUh$K%3D=2q2sQ@sLxw&}jvVhvl;9tXyQDek z#&^NN)XzhDDoKb0g`xiuX(EGr^P8D1EYe$P#6czzgJ>2pR!c|F2GyG#UtV60jg5_t zjy^ti*yrr*>uGD?qgoCzu!!f<_`F>h??;}N-!oQU=EV)9H@ zVpL21>p?aVIIXUmKm z+TPkSuh0?_5fKpao3)&66?qGr1Np1k9Cve9d;)J>>Rnnl{~ z!1S`LDJTSoTa5O%Bu$|^?z!EuDIUWV8pBi^p27@EfvKtIREs5klsW{2Rmc~@>|ZTb zG!)@1V2|Blf^kxZqbm^^{knZ?iwfT=CC^SghM;|C?s_1 zp=;soYo~(8c%3npK7fh4?2O5S1BSxke+)9=#j%@qzx?FyPLZeC+utWn_<44ACiXHQ zmYbU!@Nzl4@v_G+_Hr?hto`GcK;bu(^lR%jqH}T{ON!477ve&-y4({&IC+9|4Y2{b zaI~0jKaEun&62vacPAqev5Qe@YZ{6Y;8S0fXl~d*B>L?oa?_VTqU?)On=30i(Epjn z<|dvns9CV%@iJB_pIvrpEiac_1Rr@F{Q3odhp#qPkSt%54Lxo#?v2Cn`~1%Y7KSeb zGDme;GieUdwE0q^(66w3t-iO8;Fp9B=L?LiVDGg=bd+m+BE zU#P6I#^<-Ux0IBW&``*e%bf9DG&D5P*PGd*qN37L+5rxZnwo^A4_4r@X;Gsj3k2#1 zm;z3y$8I{BSx9=DqN}(#Vj7dHOyOK5)s@ETvE^mImOoB>*f9~c$Faqm$ctcJ6>b#h zmCGkA-^K4;CSRR?gDK&lFs(e8zkjJ_0f3gckK1T3jSW7M$zi zD2Ui1XoQ2H>boi&0scDeQ7RUtcm16Qc;2$c!WHw*pre~x^4BNW%8#H@8^OU)Dr6yP5d_=swQ^xlthlTUGiL&3i6d0m zbWL7Ce`?`<;LiokwKG_l(-p0`3jk6!?*KM4qsUfficM85PaFNpGTznI)u6Z9$||6( z*%CW=O~fBpQXe0OZ7m&g>fbpt@$kQy0F|$5uH>|#vG3}3$naD4Pa_L-8#OfcfNWCyN)Xfe&Ntb9={O@1w8MmR+4Y!|}bw5uqg_#5E? zixm{1tvlO_x)LhQ+IVv0-xsm5grTP)l$W2KZH`Z?kXn1(VdUcFHRqli9v&VbS|Cq@ zGGIp>Iwbs)fa66z79{`ujklG@f;m0<{Kiw$*)i8NYa88mD(P zSAlC0Y1~kGSsC2(^QldfNtHsrFbMQ{)QaUmY|q8jHTZEi^TUS^)YQ~*aY_o?*T*l- zh7396XOOQ}@C!fnPB5|9Hz!|y8!!QQgCGc`Mu$u*dHCr#dfa!nl$Gtvh#wf;sOR+L z-t=?#;^+x z)KD6y!r1qh^porq1`nhsE8tN@0dI8VBQ77N?|FT>o|u^E$je=RS_T`RqkPEcnaiP0&IDb+d)b!fm9!%~yVU4hcDl|*} z@zs^2rQpOEDf&!Pp$B?9bq#(V!Z-b_rq**eO0QM`nzrPW`2Y_GC;G4%{-*pB&QI_U z_rNZJ6`{#57tMSm7p$)t8|QRfHj;^bTSRmVA`=ALJ(8+k$%E|VCu;%DjiH` z&h#|KXpZ1PnPR@j(H{f)H7csP9z3;hU|`_2rzcQ^#K*@IHrH@M517oeiYFxSJDAgI zh>G+V7nnJwtZc5Y29SIP+eeGDLWxaHU9X3eK{_B%ZceU|fl=H z74I5@TN3!<@>(V07L3dvWnorRyTjIyKQ=GS6awh+Xf`dqDYD{!6Bl};t@n)dqXk&T z7}V(0Ez&9|md^qpbYS8jI|*{6bzD<1W@o zSS85^%B&$Tq4~wd;f3nj9CdfWJ+I~gT3PHvG(aw{^Tg4LRkX*(p^nI zPs;(YF-yF<_Iv|HV_c|*%A$2o2)`Hn#r%A4N}8)j;#z2r z|Nc50eNL^^(5J%-!>v}`#0+VlF|UUFzAeI8IPc3_@6^}G!jitU!hGW7oSvBUpGU!TB5>b~b)_W(44gM(8i9Bg%NHqNDC?}9n$fIu81SieP=ZbQ~d z^ZGbqLm9*>qk$sT=By6qCajK`A%9!Nq5zkR)&69q-|AE~?PPJrm7^$=A~J)GSpdk{ z4SLENII}!b*1uh`J|iHma-h4n{WGk@7dP2C4L@PJQT(hn;9g)ej&6&Me?USQ{F|bR z6ErUtTei6x0*lw`T#%PHWYK_=;bLsM8lg}LXW*X|8iBm)-66-qLmgHR`VXzY1p|aG+$)t< zDZdFP)$BjQkWvw;)z(z~$MC=O8VR*F(gbQvTSWWsg+y*;*!2lz?d~^9JB?&eLlP;! zgc=~4zKx|@f9t={Cq<&2b7+w)3Ymd!&^u9KA5FrS3M)Jo#1L?(JEUdE>oshBqC(B- z>lmU{0Uv1$%ivrN6roK&KKhkvUV_*&LY~x(OwBuJFIfq5&?XGBb4YDeCd3$>&CM9`x7y%$@X-S?gO|3xmHBIa>O_?qn zkCAC)*ie#fK7z?IY?g;={8z3%4HdG^h^&Us#^va54GZ#^hx1P~B<2~(mGC?@ZRNIJ zUO3iASv$$Dud>`GAOMh=yZ^iu9)GG%#JOp0-k?KenUedZnz3=6K%W1PjIZ^7CHM^DI=86+*!O&jP4iRp5kD zDcE$m2L-8C&J|hYP2(ih!;s8XKk>T38vE$E6OtaZ-SbL*8aVTRK02}ctCcqTSB^aJ z=Ic=7;@q~Yi1=MNP)%RO}|q(5atVLqxye@vi}U(SrbTdM+4wkZI_eSEx`cCUW^j4HDahlbW0F{)cU z-rsMvk8+SEX#0K^Xj!KZMreziGyX@Cr&OlAr>$0V%8Ug8xFM*`qY{Z?U-zL13TK}t zhJx}K9WD|)LTRYOln!w6v@}bq5EpWC^2OuZ(9qDKp&@#;{E$MNd@TIU1K++FZEuGA zbq{|aK=6arF8kTu(dLfX&Gic%&1lILp}zU_k6JXJ^F@y_fY?hdJ5i+w)Xf96Gjr(0 zf+s~4p3jO?Bb~pG86>{;zz_b#fi|{~unD4JX)&qe|8ZQ=Y!pNxI>#X&LZ&$0cy!xY zW`F5Rvh0vn$XeyNY#aBN3EX66c*k%3;^N|Yazm~BIaNet)JhGQ z@H8KdlB}+#uRF*Hy-DQmBDLV);Crr4mS47kx;=aAlV~g-cJB=ZIFiz?N2$l2All_B z++HFQ-M~!F8i57biUQu|`Erx>__n%*(jxTkKip}Aj(=C>f=l9N+-Ah)>a_QMJrvi` z@pu_?siTDVP4lUyqyKq-w$0pG@dWmEK1G}QW4TUMm;Wu%RWNIEH4!11uZ)na8kbkyrr{E_u%wY#r7#G zS}tGY<6ZjwM)1?g>-xIMw$qMe6XwWtDVN6WbrPDArS>BC>+8n*tk~MxvY?>I>!fa- z2`js;CgUWS+17TLo<0?dYW^WQAoIWzf++e(a}cA6f@{WTsR@p0$`?sF3l@>&r_okY zL2p1y(^*cL);~RWytht33h!%;L|;x_!bE~@ooSDOe$^szg;x&C)M34AX7d0Td~^S6 zQmtA^?Z&N<#kOhr^3q+aYB=HJ$B#|REI9j)M8?8QR%cuIS*v7W_*s(pY=?!@(T?Cu z93VH-9kL;^x3#xnm6wo|q~?8p*Zr`KJnoIR@r(q6ii;~_Q|C^zT9V`o5)~GH1}I#i z7SrkJY2e$+hN`kM3M#5LQ~K`i?)Da?>N|^@pKpC|0E#BXvXi&Fd&&p?Djj#r3RStlaQ-slr$+x9_$8>E+BJeiPI4 zObeVGa-=Z&%1!Hbxw@0Vw^gREJMRzVJ&!LwK&N;g4t{ne_|j{gOU_|8n&bRY{Ykh- zh?#-*S}a;o*RrG}E-nrL#94#k@LVxWLOc(RED9Q0#y+36f7H%&g4h(Yp+(yG^x2(N z$~T>%&|xTB5a@bCIVJG$J&lH2Pi#sWT08Hmf?pTOUk~ICmG|DCdfp4(-hxy<)Re*6 zqc2WXg*)r(R~0h=%r5vbGx#yi^kp01C=V~!lYlCBy+7&W?QPQKuMHBFrN>6XRY+}a z(|x!aXJ1@g1cU=oF)?<`*R{ALJhqv?>?AcXKBrgu9RY4`Q;&h)J(}3iypvXWw6&cN z5>c^KzjmkNNz11iRV@%DM4gIrxwGKSq7Lv(>@L<>UOwEs^lxsO38ifjCxSg(Vtbfu z>=S)801+WZ+QQ9EeepKSJmfq9R0w=Oe1I7^6$JqVGAPJp`3_)&qnDTcGc$vKX=In& zT?uY_eUyo{WF+)>If#b!K_Irx#?;ylwe!Pwv4gKo8JyLz457a$ktIigfr?}~D{p>96 zJ>YWLwxG+zgzbdfhAX=+=w^Cq(@c4h)Q;es|M>W%FwrvHbu_7aD+kd00w1=b0l0MQ zPYSD&k&%%)YIS+=%|55Pqlsl4P)JKP4}E%`jUR7#8qW_xEa<^~dOJ~H%PPo&9!&Gu z*t|S&?>T&@6=>6b3P+$?I*`t#W1g?E2VKS$yua*E$O1?esI|Ad{{C$}7o)`%<>2=z zJGPWhvrg!>y?2W3g9nh)^n;1|N&%s2Ff2@?rIsqc>OG1LYFwP1^)tGfoAs)6lH!I= zPn{JqfO))}fuJ5pkHqqKrMI7)Rmms#DcJ?_KfU1y8o_Y{(+so=00vjv`=&|J=bI)q zQ+9SKSRnZd66aB zlraAq9akP6l_r)dovOSH#V?O9goyx^Y&y1UlzPSHWj>{Y+lGuHhM8xl<$l*JXarWgh+< zD~~656kE!T#3t2$ojehPH#lhA_F~f2#U=Dy2zk zm!0sCB7U;U ztdt`adA2WosZx5m8S&!Oxwiz$Oi5y=JGF!oJbbi_Ur;d=Gh|9V4kd~sQQX0e;x(X2 zuiPZDw}%0AvBAc0AY$XtSt;p{sDonJh3`3OLS3gCHasvU{9szd8NK%-2#yRl`TmDc zg`KE~2$;kc*b~9;g&slOH#dh54+6n5?bs(YanYT1&+Pwc08#3> zoIJu$Ixj9SEm273&0ceJQ%gz3!sn4|YeVWRWG_IROM0A zg?m6U#Xi4pOBy{+8l*u~IbYg`(KtNo;TH_tN_B?JanqMGpU&F%J~?t$R@S1ZxMM$i zs*z!j+vJyqTD!0H@h7XO_s9~{B)>ww+V<&;`Pz26e}w&~c|bXT&M^3H*-=XzHxwl& z+x;{xC(E+n#0N0&YjjZpa&ooXJDx8ps0$fLMAQ{c(il1uA!(@Ch46w5vqG$ycX!Ac zmgq@|d3oA*cSwK~sz8I)>P${TLX!r}bnPk~fRHC8CgSL4=j9)s9)>;{j=)7LM2_&Q z$Lz%Y?nUoUtxq%+in9N$OXS~o0dodB-GZc3{(ExreYxOu8L-^&O#|HBd^yC#-phlZ z%G1(za^Q}LE)@FF>j|0$ECo57l{(8(yeA`g3R#jTS*A13{TiL63~FRnPbcV_WjHK0 z_pd<;AI!xiQm_xh=ljg1Zm(#--{|tfX;-U=wSZrG6ffGMfa@b~%Ggg;b4 zvofP}LY|%G?Fmtl5-3!pi=&v& z7C`94<16)eP%JGhsIrv-?NdcfP0a6#Ctn_h6)h$m{*c-f@fuFNJg@fn(CZHe%5W>E zuHhp1q_pPv=dWMC9v=ni9)a=nrfg&7M~EXYML(Lo;# z@!@fxsl=5R70LrunKD_?D-oxFf6jq-mZwQdO5pA?ue)3HkNq56uWIdKgG4F!$+Kjp z0|abd5_;Bj6o4ZCZ2yu5c?1`K0X(Rc1DrO$&;!PgrEbDULAuXD4S&Aw$Ewd z8f3hP9NF*M^RWGTzd=q&I?uCq{X?_EDzy@S;a8^i+*M5a4^^!>)v%ppt2u^T!Cm%; zpa1DQ)Dce#W`1+i)6+n4#^JN4j{cpQnfZ9$6&+T5DbRdR_lVuhoN_D>RW_QxNI^}G zUsNOo_ph5_R~CCTv}!jHZ|FF07tQM86Bw&;-HEIU8{C+G(NhuQ#GHBcAC`(@(p zPLc{i35l*kWa-ZjT1NpM-YeIuKd40rPKFCBYhTzYrXDZ;?*9R9Y9`>$2E7X9slNA- zzev!fO@m+mT@L|)y2RbW2VCB4WrK`)Cmt*K)LjvUGDZ)4a#oxl$T+mGI&955OXsZzw!-62t>X>Un!v4>nKlPw^Ov?tyVWI0OX<3dcBmOFV z`q=veW5gH?`5%Vv=~m8QPDgT}#X*V$ZhlM*BE!&R2!#<>_TUNXOLFl@6p*n^)t+76 zn!<1^qdXYKtt<%fBAGMyAWdzBZ{0mOumgkVTTi8_+yMd1-`_$1ZhPAzqgs@6p+wv} zmOXv@{5rOYiZ1CZf;Z1A;HT3*K+!G2zQ#!w)pvIXxw&zua&U7)!=`^#$TT06f7ih} zq)sq07i}#JN#Tn)g{anrL}NChh83lRA7sRpAtWJDrc0Z!NgG@Zago%C+5ya`^OF;+ z=qP|ZAVo^PZ;Ch4FE5uy?FBz%w@=43)q0|~eS~TiiSVu!?btRl46Q*XB&;_aNM$E7f&L^M(ZH)aKuaKQS-IxD|!us+jDJVadhK&ZmA1YN&O1o;p$jDJ-w{#g7ICC z&f4q0WMV_BU|pDNg*lSEs{c-ai0xwjTGXyv1lpXgt}Z$nn$cojPEO93FT~{Ja#Cgl zaIU)6scNMBD8r5QPWi3q_X(cIz35uol6;@k_I5t9H);wmUbC#!&Q}Tx3!4T#?gGq- zDZNssDnWL(_4IPJou8l?rNluo6oz3TduzJ~)ovS2e~9Y~Eyaa6#*-v4I`EMqfnJ}M zhOM6gIDR%ZHc?Sg4}Y07J7}0w%jL-i`{h4q4pWwddGecH$?QKuQlmPZaHr0EQM|<( z6%y57aL=VnsW3D!I66O}+*tkm%H7@F(b3V>)z#G0 zRDXZ}Y`GfX4K68)7*JJK#1=W0RW8L^JdgH>#uQ7I1y$gu@gs~^M8s2^H-z&RlnG_5 z*zsLGzU&)<(F|^Hhsy<3-@fKjm_Ctkf7UqbQ=gY+ zvBBW~D-)-*HGthN(tK)4V(?;S0JR|N(XzOkGgcd(OBNyQXE7!Np=YYKl)R><2@&SXoKp!19W5*?SENoFWd@f?r<&u1zLf=*OMM@|d4D(;<3q!g5lkT5By{1=0C zS`}^Zr>-L*md}9`+id?y7>>#`)-%SKfe?U)%?*>S{F4JEi2JFZU$vg=Ly^aLqcg71 z!UL_VG$=xQ4_kQnp*)-N>C90S+i1-$MmL#4LMm=ZG19P6 z>MrMiaH1uJ6U{PvBCY&Gq2mHN;6P0K2>-9(X!n#4OzA-0kDs3(2p8~u$)l4m)znZx z=1XDX7-#A%t02<%P3hFi{MrHM{N6-^+_MR8KdNV1T~+ti);7BwL@oO6BRjhuO-LwoiWiSyLfTwUpUmRAuF8{$C&$JNK7{F8+B2u`pI)i2w%YQ(1^4 z9Z@G$sRB(<4k_-3Th|z6R0egS9`v@5-nGzI5ZFu%p31OZ=2Y~S6$Jxy$Z2G% z&NGM$Z%k*OjK~wtw~1_y-F(H{Yyo7Ybnm`~F_Ah$JsM;k`isP{0<1rKei!WOIUd2m z!C>$|(hOME78VvRE@;B?CM15+4N&!rl}M;msKk3HBMTQsk#}g}di2}^{1`8DJPEXp z&&}~#8IVez6tvmZf1Q%| zN^OSj6jM2NCq!85+uGW$tgJi+ygfYl0%;Ws3#cxy0Q8XLM)Z}2%1XFTg@g?5RDy{r zgrovfc32L__&uH(7y2CnqoO{KiIb1N&FnoY-!m35aP-rP)F;;St*@RDIX*FQ%}M-<71IpNc3{@UG9a z1>6aW2GidTWbFjb5(ZU2;Htq3(ocBT+Z2`NXm_&{;lte$CC3vtcFST~n{9rr-wi7V zcbNqv1KZkHPND_n&jd-pCT?0CkbGWTSkTeYiHeTi03Z|q`~l#;$6+=qaZWSGyx!pe8LSma<+YNKpUe8-Qqp!kzhE&;1ve@d3!>zgh~xC_xpo&3K)=9e;p5=}jHSU3+9e8^EW;ogndEI; z)u3@Ks%%BQ(q&p(eLOUbbGg-bJ2BJ}7dj<^b})oiJTK$sx1OthDur^9VQb_mIM5}! zm-Vs!q${`FlvSdd6Co}&KEd9PouQ|cqvau?vDcpbmgFpY+KrW%Btlj% zePU1ZkV@~x^v#8sAh#5k`xlJfb0dYkL1y)#1jOyi$>x-Qi$(KCq7kQbx(ul_rDVo0S zukG&qclcrkp5+@8IM<-2wWlWux304mV83c=YDw|&X3^x`hcs=>U){D|clauc2T`HR zkXEL(mk=k)cllgOV>1(c=XgVY;s(Vb$etU_Bq3Bub?(JgCaZ4xLSPYXcCL!s!*)XQ zX!FXaM3`2|sNSJULPJ3MTst@_Q>Sza6TaIQm04OZ3RdUOd8v&0fE85jm*-!fWC0(|}-QT~np`oFtCpai5 ze|-1n@GxNE0Hw^pe5WaeSv$iA<+Nfw_9SX+&XFp;j zUKJkU(wP<%6x`q5s;H`}s;F3V5h_pg#caVH@=DvsSXB}>wC@!6*QqRI1z1IYVS5ny zsCxu%@N^ulEwR?4>B~7vH9O${94;w_Hm+EFZT8Ry)uUO(%f&+B*4E2j>AX^APew)t z=yrhaINsQ}%yI{Fe0rLo7-zg)P;w4$XyIP!KoE60e8nKMnf_^ApyW&?AZQ95+6jTB z(}MG%Vt#dQqk~F?*veJU0of3%x~`R#R8wa{_DXUT7HXL79yR5bAOel%%OsvmiQt* z#@sQU2{l8XwfJ-#NNr-y@x=d1t)2fW^0l(KH=X=jNEwcvq(tQBk(Bx`G+OhR#5mEB zrLq>nDV~@Z?dW*ER7p@h=3dm$$uN>*9wf4owM5>z^e3f7KPlHmDicU=LrRlTSVwyYmfm*oD`Mbd92jt7mvsV%0$!DvkA*oBI))rppy;nlA`lHIT11i?=<@P2czQQ&Nr53@ z=T*0)#fvaSo;OQ`)hgb0m_g|1i2_G2RMz1v$&|1Z%^v5S8vmj+?%P+L<=-$6xhO?1 z90-2S&CLxCO7nf`8qA3{a+g1;MVVqF++h9xSpacEZNjTY4MM#uqnMFJ2{LrWudSRW zr>cdw)l15T5!9{H_ha4~qkrC#j)rX<>G+_foOgTTrSwim^e!LjK zz^s!v&qqFNRyeN!X)%CbCP5f%rObT-*eRe=tOt^@s`j}2($dD!%|y|KSC#wmCyNo2 z16F9HM3uyJGb{IYS9kRa-Gr8OKlBG_TJ2!2q1HxZMhi^=8i`nvn^zRpgaK(vjStB} z@i#oy@%*xs%AnL`sMi214a|PZ$%c`45F@f4k()XUa4b}ziP?l zWX&Ux&-?xz#p>OGNwig&eIOEQwMwepoJLKa+;3}Z0~nyjpp}OQSDxw)T#Bs+>Mza4R_rE-5WA3IO?ZS}9P zof!2Hj25Y`10#?V(Zk=)heh46nh*)ifJ%|UvC2?+*CM_m&zX_d@_+~;T#+om}1x&Sg7eRR}}kdi#wfUNyFRz6p4K;BiqlM zKT5+}cYm#Xl52TG=|i|edb*d-IV1dkJe_4!SKIgXmF|)*>28qjZUF&l0SW1DknZl1 z?hfhhknZm85TxZ6j6x5Z^vrJ0?WLd;^>ezNqc2(AVw zr-Pvl+vM`zKOQb8>6I$f@BaJ&(rekA`F|QJQiKb!Tf#(P6)h_6+L`Q#s(DYC_0ebac=TF(;nd|e1v@37~!4wJt6CoG_W zc@)4>wY9auF&|_ACiRRA3`PLrrJGZPZ|m*-(hmPC=u=i|xpb{z8r9>ij2~nS--N?+ zg4Q#f(>QAhiDdP1%b$mZ;%o?=$kD&MuS$$E)7%N16w-Y;;tVn>0wr%mt z-*Gl(3$#suaf-%{xXSKh>KKM9yCfPd06%zTZLMO?9E|ETNPXAHE8&VdhMS?Sw9HcA zKgv^nXP0omBB)FDRDLu0?^Lj}j)&@khp% zqA;ux=ZDeb+sb>_>SW*f(b$TS<6W=lsuQM>_OVhs#JX_JtVc3bfx8` zNya=470cr9-Xx*Pcg)25BtUk#Kb}va?G-ihYWQEGB1W(iPJP58DUS+E=^~%O6pReS z$=d$d)OsiOZzZ92bYvitGDLIp@N{=s{9NkWJpp?0u+e1I_md7@p|`Mc%R}hO3F05D zhWoDhg2g?b>v*uOa@w`45H72QAs^muh&dk?9mNn=Q3Nt6;s*!~oNq#)qEETcO+IN5 zgYK!bwbjGXG2d(%uv&e6eM3XiY^l5PhE-c<--gpW?^iXZ+mMv`lh%V}g$ohnyX`FT zc*CZ`!nuwI?f=F7JnIf|c_@8pu9C%XhiO8b4@70A> z*tArq4Pzb0IY}r2wqjfBN`dalFM65D^PP6$TDvB{Qm?A2q5{}N)yn3;8MCzX4~ofm z%-OHjm6E2#M8tPg_#9&CTcnY+qN+CMq^mH)l0G=l6kR0^+j+~s!aPat0UswWY8kD7 z<@+f{96{KWn;3SCo-7jYc52N9QNmXWWnE&h^P%!pMjS21Z7p z-uLg=scYGJY)niteUMOg(u8!fezV^x3LTtfg2NbwB%#mT@;oojPh;1Q9)`%@%Mup~ zMbTo8FeDii_a{c9?Ke4QMqvetT&U}*@ahB=qN|z}Sxvn0Ai4Pmkl(VQJV<`SAy%XH z{21E><8y>Wy}gKv)Lx=NV7D;l2Cm4iqu;c%15$bW4ekC7P`x)A&UBc#SXpC7_LOc* zE7EiuHwP7#U&6$-F(qVTbnsVTz8Yy!VY&?~Z3SBC5XFf2dJ2EM&JIcZdDFdQU!)Ka zm~)ya?rL0{DGvK)6c5b@`m=aUq5sHyabmbm0N_}=n$W2#6G!$$bHIT)F+LtQOpzo7 zy2P(x7+=mDGcGNPHdeDsLlYHLvUqoMO4)Ynml}|rB$N7$&QhL=BnXh*eWqs+BOgh6 z{ht-$G>x&uD(P+-NyOg{(566VO<#RRbFWe}JkrI>@A#T1+3*lfZKpw^EBwotr|_u3 zO1oi=V#LU{?lBt4sNnu!|A6i1T5OMc90zS7!NNsBZCMRSDFHY;nSanBShJ!+D=VN zOtyNXB{eLmPgrVZ$7xo4meRHE3=Ay+LLJP(QCaiNKZ=T2za1caAj`IuES<8O!it!j z7g@qM*uy98;PZ^~tuPi4VuilIgzt$%3xHTxmvSH)KQc;Mr{a8V@_ox4-H_ zKH?}p2WiDyC$$Kf{@h)VFElf0{Ox3_q{;lGerEGxrQDzLa2X!Ki zbYQ+qjoL#0{Q)z=GC;Zr*S|IXg~r>@g>c_v^K#LJ+%>pzhG>EOVxh zw9YJ!bSzaeMI`kQTvCl@wi&D=gYNHxvM)#Qp>tVX6>p`AjWz4FtiY|q!lDcS?K^hz zkwYdwgA6V!9u{H6ZYn(v9Hy8rv%jmNq$x>PZu78=l~q=*RQlTq$j5hGI}O@VF4smI z`NX0Tm)P~w(ef&iGD9FvlN$G2Xl<31O_8vea^&JXS6(+qS;j}0L}K34m+r=u8^eeW z%H+N8Y$+&!CrAt=8xt5pJUvI42uo2?Zxz&?z)C{t94g4i>az5>tAnCPz65ecJqr{Zx4qE_#kEdX??*gjeJqdBN z*o#sbMV}S-0TYx^s}$Rgsy^bpLVCbx-QUt{%Gt3815cIA{xF-O*EQMu{!*!O*j%Nw;hlY zCc>-O?PM%|`TkI{A&TAzOd0&I@V&L=fP!9ITLYso31tvO03=jNNlB%2!9KHGk0!63 z#TF*Z1I*3FTw@ys{C5~yhHPbmq6%cou@W7IAGr^p&g&S~IL6%Dqk6%8t{6xyK!gT@ zT~$@|$Ncc~gFkHX%Ncib7O9tAmaPP7b%F2U5G;?Fy%?|N*E+~|Pn}5}2pPARb~r^c z4$IDY(VbAQIyS3{)jH&WmU7AI`=#_cc0R_HD~n>ml5=E_tyJ#=e&o^75m59o*{rl# z-S709t=jNH_7{W7=$h`T+;>!h_7Aq|aXCefpjxzGy34%TVF@}Mz)u2FLR%Z40Un>8 z02d1MYao8HdToiNkmDYX8#m5*W*qd81s#=Z!ygV)ZoMDh;K5SUt!y zw!9iPay~9$!da)bC@hsJYRZS<2I%~=Pcpf*c5UJi<})L;{5(9NXF;M0-FZ)Lt)qt8 z8JPbpK^(LYQP9#g z!k6zx)@y8LIFo)iN!tgk>-_xu{(fOD4KO$X$Q1l7Q9W)s>xY7Z;uT-fvD&W@drzSL z0DKWZP6L|-`~{7Uyi;VqVUqC&d}KAXovV8<9bca=Z6swz(#s^${7-?vB3)}rkj=CP zI-`??D!GC^5GR>;wU_(_ObGwn-I@N>bc7U#UV4C= z;zME$hFc|+=MXv;chOzoP`H`i`~6^EpC(TQn4@36!mL&RRuyEh*pM-C0L}|VfM+}& z<~27ryO1^e(%HbRzS-`8{-@_uyq&2>sPEk-dQ;1gUg!n{rrKH+8ca+HJR+iuloW0O zffoQ-{5>kl0;=6Vr1KvImkLS3d&Q6O_lHlHSGJl1EUyU&ld}7vQc~C6{_=Qx0`BHO zWz5VZ9<+Ns%6gSioBPLo0Z13njHadszbAzL0#{(1G{t#5Kx9 zP$tfDMUbB#5JdF!^qB_$+h%5D9In-2!0!B0Uj=+Z;ISI9nXPb^q7V@h0v_au2#?P& z2Ep+kU)$yd2OqO-vET%17YHok9dIVo6Gwk76mQlU(49MR;#7qO3)B}J z6E?{A1>SXo3!noBP0!;a=pUvztbn(MPa61D)LAUhvI}LTAEUs8Wt{roL!w<&GQK$n zM=I#S+}xHL&VVxmn8Pj4{qleZ&!1F)zC`uEvcdS` zrf#aK-mbR+hE!{7{kSLpJEJczZTX1@8CebGT2{n}^;V8QztY@qbK(ah!nGl8&fwxl zg7L#Li7g>@`k0{GHNbVs8yj&NS&_)ICN9p-K&Mku3Rd0Bkt16w66Mr77qMh$o=;c7 zzgKD{O2Z%4Rk)d+o(_<|VI#KWk@mZF50Hw09iGF0{fm-?X=sxh#iGJ%YO9j9#MbW; z6`3n5YMED-cpVynpMyK9H|Zl-GHz~e#>NF24B-F2dj!Vgnf%@LNx3vpJ79Zfz1|f4 zeXRNmVCq)@c^+&$jJv3+F=B_;XfSY?T)>=l+*;vR*42fyB>H!Bb7T46=m!3K{1!}{ zuNq9rcXxMyVfasG=)Mkdqszm%}gU1%tC1+kjaykOL8tl%nenT6Zi_1%v{b^tkp7iwL>x=%8kzr+HQ#5m= zQld(Osj8+xfdO88vrg1eezkdocE@TX+IAA0oL;ClRSM4P<8;@WlC0<>APK#Fv$^fm_kl$`Bt^hBzE)i?hpa0 z%mcG&WAV$~?m}K|LC*V{c`Pp*a4vuWBJfw3kWm2&D^(t5gnSVNkHtm78n;I&NTLPV3D!t0?wFM8Yyj8M2TyZ~&yrg$Nq(2G5`VRi7FcGeiHdnY3nG zP|{$PJhBH4b>Nx?yqh#d^)@j43okfzL?vdygL?D*^>-F9JQ=Y)3{z*dfkg@)_M(9y z=rbi*SXg3)jcm=~&%}i{w}j6p%Vy4On1r(L?Yi0dXK|M|HYN^!19|3uw_Fe*6%heu z=HgN_!^1MoI!uYO^;!yQbKo2?tZ@aiJ5SHHmKI(fo+Yqb!LoSi!_7e&CJ42oBk=*2 zV-T>&F{Ug6m3f(y2TBMg0`w{E?8XLwaj>zmtN9@u>@?h<#`Y!Gb5cUGB4ZnWLR;UA|4K#5? z0D~=>!CmSmv?{cih-aVpZMiaT@)ML;;PK*0GHxy^Iv9?pwy?1H$Mpee*`i(xjQvVW zHHcR-EZ(6V!f3HCRNgJgN$VeY80OLPa@Z14j<8|p1CZ1_?a%ITJQ)4P#-guge)(B* zCCJTv-wpd7D0}Ah_|b!a;fx#3uRM{HlgskF9`5Su0%!B)CdoCYOVyf?ttivE7vw@TW9AaX$o5e^iN=Jyr`afoqye zK%l*;DMg+N8rB%G4KtsAPymlxjw(L$AOj3=Gc$p(dsRfSkM#Df zcrnWlWLC{2#t~j#UM*naz(hzg769`q08jyrlVXqP40VK^UrkLH;wIs@e;N_%td=B_ z%3EI#Lnpn1KyCirOX|MO$S#j~f|>5KGuhMq0Ral7=3|hc25JNV<2c4ZU`a_yi4N0X zT$S7UymN4QcUfsEpvZ=uD^Jo2!P#553MPN^D)OV)5O+SDV%N(E_3OGa^S^2>SDf4R zgn%DvX^9pS0k~#B+K0P4es3WI8-Y{q?;XT<`zaKzD`5+hgG=z$1<5))*HQdGHiV^+fM^)d6oAtH z`YOoO@^2@0ylq6fJw#OdT&+g9<6S;qAJ2~NuPW>l9MXlbDs->L{c}p5>mEEAP=CSM zrB?;k^90yzii(9Qw7Lso$OdjqxM}>CHXw|4?s#blk2AIF?&S6nv~DLY|L%%JM1Y!^ zdK2U0^Tv-^qSmTay=*J2OoIVG=<0OoXGsZdQVV`*nLdjBs|{guITD0a=qN6J%y zUC7SKnWR|68n*oBXU-cY?W?lV<(ZjJOv#{50WTH6g~?)RFcAPN>Up&-!JF|4TrWUK zuLU6D0xFp_h3JtZ z>0`g#k2=OkLn(No_A^nr@($p1fgkToGRO#u-nIGI!I;B~i_#tBJ><#aT)ylrZ^?mzQ`PDDm z3ZJf4e-evZPCKz)$G6t)RwLTM>5Zo?&KS<7m+Qi6;azq=zjc?pX z!NEB$Xmy0*Ic^x)Xy~d|Edb^mxG!ro#Ot%cCIsGHP!CYEz8Q!+E^eR1d}W@kzsNPz z`2Lxz6$b($8p);iczHRNK&-l@a=zI4CvhcT`8dazd3_5w4(sckTwS@rJNqxvDqXS2 z&iH*A=cRwS(5b|qwFVHd5^5df?+A&2LeLZ z*vSf3ZFX2B=v;#Rc~8B(-_?mNXhQ^N#3>YSJ?HSu_pW{D$?;@J@4-f~)vMdzC*@at zRu9PF63p@jYqMSpG;QA>Z;n=13EijG^OwYmhXcg2X~IfNX$+swJq>_EBBTH2sEL&M zh>zoUz;n+AoOh3bTeo2I8FTOnFBAI9me)E1?l0zCfENo1f#V(YHIb6!vC^aC<57{3 z1|lto{bVGU#if)?cA+j79Z3CaP?gY3!o!{L-mn)s_t{K^jyP?os3$6MM96WR>0|cI zZQw%G(sJy!4wl{a_V(c+4d;E!czr|boAX~13(~%=Ql=XQowIL4(*Fkib$d>ZpnWt( z(I9q7xePD+D6b4>XL(X)LcQ^g>*!H11jo^G1m@LR0x!^?!^}2q` z2JU-(5Zu5}cSh{Xtg}#|N(YQ|Wo2amo*|9~rx_@AAQvUq+@(%W4g9k6DdUCDa<5Qc zkXB=Rh)pA8)u&L#M`8DYG+J#?#P8+p%x;31{&lYAeau9f35#K_(1 zlc@TqmL6DYr0xpHwG^v9NX>bj6TWU(a@1e}t8?~P?rNx>^8aH2lw%@rm^^p>hNP!}_!xkL) zpx*_3ZlGumaGl)V<|H#^DCW&pYuLfV@nfhDmO<4=W7a)~r0dp|A$k)Sh3ZJWiXRyU zDAq9M-FuC-W$1f-7ixb@P4Ga3M4TKej@RfauNBQX~jcHU+QHVp$IEcO#!iD zjW0Zr_Wola4uW{QfkzC2$bJ;NjPMK=TmhYM9Zv(66S;m{h)l#auLHLMh>B#uuE|$a zP5_r-;1L5o+~_Pisgti%0R7GP9;9%B#8DGo6b`lqU7TxTelChXC%=Whyuv1_uqfuB z5e1veVX!kTYxOkeT!(0#{WZN%NZ*mJ{5e(ntGrZia*+#yMA(lIMQVOj3d139vCpYHZqP<(yu*XG#Hl2=B{#qrjpki3dnNgu{ zB>GLNzcnq9h z_PX93Zuhv`=GN2E@w{7e0mP+rpE%>oZR)@%9?WOrQcr$g9XQ+Z{+f^-X#|FCII=Zv zt7hmz)zDGa73{j{o{d>|IpmKjUPgzOHf5g49?6jWNWDM|1g6%xIkk~m08e4#;DC%) zkZd!1e`bz7e$s-6i~9qs>=Qj_{1|m?L9@Y+wBw9kl zJmrkK)sgC_F}|!*Nu1~}`|t&1zEw1m)kfkDCfI*ZIIWv>K{uN zTn@?POgNzx9c=Qm8OXeKb#=|nv;irZnT1{Sw_lW3)OThh6d?WShmR8i{c@uAX<*6% z{zwP?hO!M|D5Xvhk@=ZllKOQ>jkOJ}iE#Nng+tUuOJdx|KhkvOL%l<}Z>Hbf&J(0L zcT`*-`%HIhy?>++fJ@=-@{*Mbw{ zenN_vqR=&-l2kU(^s72wA75XdK;60M{QJ7r>SD9eQGs!ElR>-zHQKdlpZk^d2W75O ztu0zO30!)Gk2H}o&t=Ju3LxgL)iHK+Ldz z`Yx1hkw)SYzRlg|A^rveMcEE-O=j6#Gc18Ayji0(n=~xY3SOWnIL@B?fO4GibI?>G z^(NS2;P66yFX*Uy2d;gs4hQ42vk95b3hnPh)>G3hE;)T@h=xL-4Cs*p(Ud8A;E-wj zv9>sSe2Ntdv(&Sc! zL48t9Ludh~ceOVmxhv1>WP~arir16p>on-6mGFR*Ks$D!Xdw-N0!%6XXOo zT3v-Ek(9!jut^bE>ogNES=&HFOXQWnzy{++nmoU^dc7LJql{@~ zDJt^#8;3cUC9Q)~fXl_p+B!;$1qTbc_(w%BW`VD7ci<6YENlk`-pFijsu`C$>^c#{ zcvufN9HgNW?u;0$uE>JoU)S!wf~5Fg@;vUe?5b`$bCS$agSv<0V<{)i9S0AT8-wCZ zlm(=ewjO9cGj2YLRE-D7xfZe}6&(D)Ew_G>Z{QEFS1xK=rqy1x=a zxj$nZtnRh#J^=&OM`GZj+*KwFTsYWYZ}vJFcy2pzv(nY{D6Yd*H?@VgW$0B#;k;!k zw}*aOg6koHs|^T|u2P%MFlcsDFIA)_j2iV;v*yJAs4DCm>U^nluRt> zsZ=&+QdqR%akrL}v!znfSCiTB{w$xk3Kthw2kHw^Yyh#J!*L0BKOG}!E(=*Y)F>&; zd!oJNJFQVH+6*!yfj@~h(jheUP~3jSxRB1|{0j%GCMbZHP1whjtt?;XAKhEPMN-8Yu7&%qO!RHI;9 zd*zm!jdUQ=Zc4r22>XgQAJFE3m-!}WyCw5riSYXLCcmvQasaEAXp7iD(*g}@%!EF4 z2hLpG$g1xoJTpcNbH?9r#kq&Vt)rm0jq<-p9###n&KTv+x@urF{ zgqU`azGR$jg`Rh5Rbv_sCItq*x{KBryG8AYglv^RE8@JT%R$>cL^ztxw!jKfrhikX z85ESAyI&F3 zh9+Y!9%H2m;gb1u`RinDxbwf&}{GhjshE_q~!S8+MB(0Q;CXGhEuFK7aKF^X)+JO8T zV`E*VeM()qEMz}5BEN`~i@PMJNll+@=WIB6eoVPp<{)C=4tEaao9~#dmwPa2_E|+Y zn7xfe_Dvu$%eZG_+6M#!1HzTDF50J2`h9~h1uF*nlkj0xK`boFQA~ajyvDy+{$`Iw zznXjGjq6KX#jd7D@i_=gNS$Gz?u7}P&%z6gTUx(+iGR;AJKnWPSKTs-QhfPVi8mMV zt!mrA(80|-tNXjVPfSd$2{M?+bgDc|!#Vn5?gVjX0n&Lf3}{+Xji(SbC*L_=v`0s} zSP@DllZ^WzzPXe^UuF3C@tHxWu+i9O*B_3R2G*xjUO0M7ID3h^32*l`SV~V)dFLEx zP5w@nKw2XbTvuWf*-34A^8nv&wW~Q=QvxO4-H$P)(9K!~3Cg_F1EWIMaa(OD zH3imKSSY1w%A9tE!|+oBG=81ZFcUS|ib+_6&P0Q5{n@~(B#R>%N%9SP6Ey~do#U+% zr*`zcB7x2Ky^{niqb_*~3_8$kuV6F~iGKZ(zSM9a5?w>@`3VUr|0-clPG87(g0#fH zhL%0aN(p&hP~}^rmJ;ePwn>q`mis=mveeQT^q1~@LHb|wo|TXSUOLIKF*IjG5h{@W zBV)%#nZbXGLJSd(V`CVxRQ9!GiBzbnY#ON4leq-M%PqFX6um8i(}pc-p=481($Mtx;ck^FYOo9j zS;Kosj7ky>%X)vX787ojndZ$N`BQ&D%4G@J!Nr#yVmYxBR6Tp#?NdB{ZO5M(nYpd@ zqpY9imLW1n4lZCs@i#Hd{uD2jg@jazU+pU{JME~XhaE`563_#o0*4?4+rfqERGNe? zak!&;mb;?Yin6Y#3sFDW`>i@-(HU1#0ecaJKG`$<=exl|+7fWVfGTJD%pUC6!XYe0 z^sFT08bX8#`1>9PHqnewChSk+ua*bp7J^NMM_WS#woT1?5eEItN|m26yS~G$-b#KxhdZ3Ck9d=Jm1xrsG+JMRc$;A0FBW=6%= zs8{IBYKsM7vdMyLa1S`YVJpTJ1r6ir@c1OaFHhhm29c~I@E)@q67I)bvoKck;tVv~ zt{vq_x=-|L|KWEb9I+#z5mWf;Yb?5QMgo@t`B25|g#_+9IN@_S*P619Z_S8YkKCL0 zc+~^gYPe7tjdCfB`dLu9*iAD~h;Jj@wLRLY@kA1*sU6-1hA`4MK!mnLK~ieCZBf+lnpOEoQ{8jwh&Y%0wh@Y>@Wm9a7DaI&v=*tL zgvD!IKm%E_LR&>y-ybixdP(3)=KwHycfJM~HJ6L^mvfg+kEcIYx8tAAbT4Lk6h}0GkewDy zhiW*`0yk*PSWit=A{B{cG-` zOcYOqEO}C*X3F*T`JwY=r4tMz03@;j;4v`mnEJ-=eslP5q)bgsje~=;XJ?Y2YL~a; zGAooA%K8T(O4Xc1q=b{Z%#nLZkyKkYQ%hbY0I$Gbm$p;;y9;h!SELfVtf^kZBf(Ac z<=A0o2=qPVa+pDDtr(<#c&MU`)e4N5?+(ViR#*U*dBgShh}t?hvK%rQ9h7?U8`|d# z>5WV+3e!lk+7DQ5@d&YsQ!G^B&&Q#&D&({>Q20qSVLat=#$mOfQ!qAmO4y33;Fsv8 z%kU##lHRW!Z39yCoOy|=N)n2W@Mfhyo%hlExKq{>v>=mX)j3?6lnA1JeP*5fqv12E zN015l26NkyuxQEB+S+=()n&r&2cY`&4Gc&XK8-(sT##t*=bg^`@J^EU#N51^PA?~7 zyDb@6D|uEag+C9I%;?H3@$)Cp8>KBHH!DuMyspcf9*~@E(z_$*MZq}LORopoP#8dLnHWOOuwDkt8~SJYZ#T$*SEF1N%>WJgg9i8 zO5bRC*_$)~ZPl*($F}t8;AXM4@FTmu0|zH7$_X26Vs1HC62FzczU{udlYX47G-Sod zs-xyKY{y=omwuTD3-Yb|%LsF)4rp>0PB!ibK#PmL&Akq;rpwD95)&XsLK}!@X*@hd8H?JS7j*|~ z%fYOoy83bf7YHpH5?rp;O`1Z~|-{Z?r z+8qyZ;x)PQ(}fl1&+TECf(+Q;da9MH;zz6i#HC7StQ}jUlenlb6J$>?$s?*jKW&>D zU-Wy_@(weMk{aqBvWLaTPy;S`r!PsFZ;Wwj!ik;5wRea>z^J+KxGW5B*iUx4`(keV zsHLEs=8p4tQ8~+^juXu{^6ReV^hVXemQ04CCx&#+o6ldev_!t)7*(+~gWEz~)gtz2 zXdVehWpYbgr&C3Eyc1FC##C3=CdA|Mt|%h{=`)?KQ{3O;y1RIh4?3LRNCLrV>dW^( znuI|{6@VH04Vkn>TMD^Ek(Mah>#dEC> zGxARm5EH*0zXZoTbrV7qMhPw=a?RX} zgB9DqeqCm7U<}}1-0;5K>;{p#xIzDju)%?W<6FR>!1-0HUIzyS4^UAJsb#|zD_$Vz z?zBL(ejZY7lZK;?(&hecV2~muvqXT-;2(~pDU&}%-EJZZmx}+k8^u1O9yP27cS^LZ zYX!_wuh&T^@Fn`t<0-&sA@d-1(j}RpUf*=WOK6Eb%~$-b->CdMwL7mqo6M$#V{^ew%Z#v#_z^*om|?`& z_&69F3w(dR2ig_TE`V}gp-zw3yjx&iv}PtG1^qfZet$3bb{}IUD)*a%!*8M29ifir z>k)vT06?X)+394yHy9O6R#8z=1_lN*q z>3^mv14iaqgYN@6?JqT4xkvv@kZG1Td8x4TZ@2j4`6i$9Z)LencA$>h3_MOlrQ z*K0L>3)q_nh&V8k0ni~<2;W+@Q9KU=itmY6@ytpyF;PcLyTpHmBJmxm;kd5AZ?aDi zXIze7!EUxLM?r?F^OS5Mfr>I@)KBF(x`h+3Qi%0`Z}#KFE#{&7;ShifJ&|C_p)!1c z@&wX0zyJB^{dfEK1Q=#qtaj)U;9qkO(hv{my@R7wa>kiACHl$r0%u@=lmj=q6eg0x zZIiQj<{)8!{9@xJQm%n0V9kO5kIMj#R@|=(RbT%43*GwzYC16yOSanIc6S5@jSrDZ z)v2^@M90Pf{o`f)Qk0Y;LvGmXn4K9 z%46<)-bVd<7%ljGDRwTpNQiNiU=sO!Eu37vqlio{INLrXtG|%nC`IRgd}H>L+3pC4 zf>>T~XG&cve}j%StH{umF0zctlz3VQ$G;8F!h}#NdoY<p>VuMdDPc~a3JFMR9i6}$nE`V5rwE}qZLj^;nxYng6-=1XZ({!r+Bhk_Bu zon6U^O@`qo#$2;Q2KS=#84}Xp!N4h-T9laN$lhE|q&Mv4HLYLYO{mSETxGCC9hQo^ z$aW$OMp71S z+Kc4tXG$}SekBUuo*T^xW+ytY1(_js3Eq9T^G$s#5Q1b|okY=Nce=He1EAT~$`wma zA@J=Q@4t86f5C@6sHmx|*PB>5_>Edg!mHxW4j*YzPwZMpJ~R%Mz2$w1(K5~HWsWy; zgM48{Mv97e;oV1Ew0?2KlVZz>!SwZ}4No0G%E6lRHM2_@^&yWHeXAZvNK9BRp#8M> z_jLnsS3rBwXlv%?b64| zJLO$w_9^*8IaQ&Pw0z2s6VxMEqH4(;UjZrg{;!bG z`s#98dd7THJo`udV`Y2H9U9gp0is9?q-rLcxoJE-0nD?QSS$D33HV zlb=qka&8B*`8t0YIjvkO5?S^>-I?CSEUYjuidw>uYj!(bq8teS=9Qs)D!7_r<*RSt z;_@en!AAHJn9r#CL5LP3x3tk{0^Sq9rCZb%_1$R~%~94-`YaX#kzHM`9WzV0^xk-XPaB{SdVkeza$C<6(96knzGnTs60iYh*8Xz67FNUopvJ(m*xbxE z)>Ou%Ma-N3;dL^%rMO2Daf})Ge%B_=DSF+k9T=~3Xph8j^nwgn-d1bIVySg@kj68}HMJ&|0 z=$KL+M5n^(%|f(2<=E@(4@dk8@(D+!BnqF?5n^aj?ZM}gGL={C2nX+8v?{P+y3fZe zL%zxuZ zwVGw19)YJBda~O!&RQtPF^0D^{P(`8R5A;J1h)H z>Y_=GTHS3Kos`Qci2MzKX<<|zHNXZ%aO1}VN}pWPXV`aT#}qlkQ5owVenu#!b{O?_ zhUMCm#TYcJ16Nz!Zx1}}4gL7VFnvfG#BKO94qyah8cW`ghdphGJFggGJ`1j`H|LkjE%=Ddb5CE-U=KdGdJrLJKMMYI?c*9{zQi6f!f^c+v z#+9Jt=lO%HGKP^%aV6cC+fan=V@8Pz3+bLa3Y`xjw-9#V1PBHn-@c_bSv23h0b%Gqu#UXf(tj-J6qEg+vUWYvNG41@XK#k~rK zQ#rGu&FOQFc7J4Di`v`8ERg6}1DfXijku=uouC2Ey( zcixiVnJXsy$3Qg)tzP{6%UFqpeY!h8C#U2u@SSlv@I*w=78_p1`7S_?n0naY86Va~;l7wJ zjwPR+YlQPxz4E;ZVWxhek~PszHLZCU;2UABGlzb|ET8yB)q zNhufY`)+7GJ3G~EB~tzO<)N+Zx0oGEVyNyv<9~VwqlNA-d!xb8H8?TobT8?O!s60ojz!v)pal)+~I(Eiz7s8LHr-FwWCoRB!^4|OT%BABs(Y3POxWGjE zj~{Ig2PpjkmucyUTPL)q*i)48segm1k zwxJPK4Zj-|E0f)pNa183n&ysuJ~I_H%vd(0jbYbE*k*5(_5Lh%;6;M%?WjW>Y#`I2 zh*d;Wvx!OYJwBy=aihSIuw*i|d%zPFMPbCVL#9=c4w_OhZM@9~cVeDR?o8iY(=~I{ zC!HQ*^4;`8kY03mu>n3(k$IqOc?D9LcQ&5>(XKYm){1|MdPHGm*ld3Z>DGqqL*~x5 zvqU(jRn*_sWA@GE`*?)W*#tUry_6$Py#L+mGtPM9o=uN+x2#n*2ToVfci=;6nr8J{ z;5q~tjJai{U+oq@9UK;_CdNmB$zz;{XVKotzrzMk$1I_g8iNo}Uo|#Q~yB zAp;)hzfbJ}2K}z{Va#R2%f;EGfw8=Nfv0XGEdGzp32_wD-cOSbmZr<>8g-6jt)3r7 zitVtF?q$XUu*g&!cO`IM0C2M~H3gRW443uTTX`i4bdX6)f!+W~Z~Chng#3SN&{7&O z;`{L%KzS-9yKZ{2d+M6s9jy0MgEne*IE0{gl7OPpM%3#FNwHw^3(_S`U|7N+DZ{R* zv$LT=vK@~k1qTLlZW*NcW`WNO0Hn7>mWe~fs;6^}&`H3VX67<~&z_LlvL5B`k9w9M zavCy7m&)F*WMVjTg(wR9>v2^*{<)Q{dA!1DEn8NQ01pr3((35xbpUy4;fpu&HhJYl z`?ZVU>;2#RwGARXVq#p}$(hYv|BiUwVi?Xa;WyF8>}eJAkG~JVW1chrfY6J>tmg?B zad5%k*?3v|_a*`4XB$&Q2Rn74UPZ0vjBcQRDH%ffZA)n-1v+ra~47xXM2ij7=c-)$SXpRlf;USHeifp2lA|Fft7=obVB z+}}4559T~=yAclwQv2~BnHFx39gk9wy=B%Ut7yNdD8Pl$p9*3RikFu< zbI4e^6&h5d&Bp6U=kv(FG<+~Y{CkP|_pY|Pg~MQH=YnbL>ynfIW9o7P5mYy5 zswdHIT>qK>@bQ6d8khw#GTQ}txW1GjCyf{%KGQr&@8g*jmFg4@MO}xA-mRNEfsA(} zqkO%pPtGI22tzTpL_#*nB=$a^}aB$_EVSWQ?1{* z3M&rl>}LUuY2Pd_nnGf~UVL$W4kOa_|7bevs4BPb>q|(Ngn$?6?h@(l2I=nZZV8d} z&>-F2-AH$LOLwP$z`Omv>GXB zds&wx%;$#_vx!v=gtA~^f!FYAo9A_I6n~4`=`yeeiAwfZ{K6Mgq`;MMESrEuO4%Ah z%!0Efeu^ag5?cmd%;~AAWc8cG2q32<0<=wEUk(+%KK@JV1j_ECr;R7SSaKmeBPT-a zgIlRFlS>B2VSc6%AOqF6G$gDw>>^Z z2TCyt5I7jf>;oFzVAF$#nXEY1uPAWRKq6&1skwz}X+UdwZ46mIn8U}@nf;(4-96ZA zpx?cn;Y?~0Dn**bDu6)00{Mm@a`9{;omxINRt|oCmVRLO-1o#z)|IrA%@t56@Z2M)Q{F=(?{l&AdCYPtyp_9a`>^)D*Viw+togVFEQbf_6ybaaC^lU$6%pbV zSpu2Ms~Pq>e`Jbp2+#+ZU3iW3JTVE*#M`W&KJoGM3ptB7IG#kB1nfXZ3)@CLiyd4p zvK7NV_Jj1vjT#Zg57jZ@HrVq-Mcq>BM(RQ+{~G~qbiP@7^ZUNuY{nA15A??57-n1I znh842LzHH1IC_}L=}MAJaF7;xPBA}r*e=PIUr*ez0_|NJjT$`PGL+`S(a0&xf?Frs zhaY>u>ASw3VX6t##Y}pgV6S_qzRyxdT!E3VJq7$7W^F zTfXE~kUF@n{cby8o?~y}H3NV9^(X4RPG@^ELD}Q-G*9Yd?9_n!?qy*yAV93NAb!+knK^6C$0bm1$ zBL=JqV>h!6`v=H&WKryyOym}Ox3X1vifFfufW6@3$ z-)PRg^fhjIWyQOt1sH;BnwvE%7t|Azz{}c#RnarLH>z4%6Dj8al~tL+PztDl zdm{2~X)epLziOb3mS(!3i)ab!kl}B8z7o?O`b;AO&$vdt+U z3;G^Zz#9eT5cVJy4%7a^_p6PK&DYnB%k2TMD|Vfl?en=kk;v%;yVQ^*a->`^M*`c} z95w^yj8lI0vz+YX-OXEKcgsB4Zf;wgpi6uSTo1FeDqtdXu7ql33#WookX+WT(Hhct9p9=0o5EpZW{i}n z_ed{bkOl*Xi(N7w9!p#&aHu^-u*Xf`5GQN=#EF6PWh~w@AkUHMjCnxX=0p?9qCPOa zy**dF$0_YJeQkMT#=s>oE`Q2sh<*T_P!RE_6&8?~Va8YVBKy(bOOI7r`bSoM zny-x;EaSPX-oJYiq;q)IQ^Rg=qNB{Y6exE_M^Vtxf`O7RY+De!Qmr&bD8N8J7hp?1 zsIv6?{6>eM4P_R>lRnY&`?Jcz#_MNAK%{wU)ATQph8jCoX>J$oE0bL0=O_4Yt-^Hn z#a6JNhX|S!Ti!=XyL_=f&cyhFdIDOaAo^#muTM--Rx%bitAGcG)=~9bC1H?uR)!z0 z#n;OE`6NEg*J-Qs8}S!5Lx;mGs?K7n&5_9Udj2sKR8?R6L|=@Td?7haci~XrF(O6* znA>XCZvf3Cz`}9~QeXeeKo11nS53XL?bIE7ayyA%C=^C^?qAm% zMaC$x%1;_GW@~ME0~NY|V`=-G(B|3pul4OXzS_$CE{>c>V9S>i<;gJ8iCx%$noj7n* z=PXfY!c_K`&<(}Ze?Ned?7x;BJY&NkyO=sgql{xpQpBL>o)5`=j%9Rj+;1|ztJ+bL zOq=2t%#{WT{{b<97Z-zDTMW0f)GLnsJfEo)N#nn#Doa}aRz7Y#kZf{B=w0QSk-+cL%P`uUz~9~|4DvnNd#kd-2f{W;_OEs-)- z_^SGT69%2cy@NMndP?T_h8I3w8Uw3X28W5h{;-q-7y35`<{&vSrHJsKg+uX*1d!e% zBnQ5GirZc1p~5zkBrlQNuo&YRFj4H@Y9c9-{wTGyDvYjpCw=zw5Pmw+lJOZ^`L7T^ zjFx8W8F;4xvHjgUL%fDSVub@W6*jW-0dfr9zc7WR^A@B6-#=xCqb({0Qa zFv#>%L^Wj`(SCt(Tsz>zAZ3OD>K)Rc`&xnKvj=?@|PCzclPdah(~e&x>5 z#(yLETsxD;!Rzug&Qla(C*biXnoB-k`JqhQCL<(8l{CzF7iw^Lja5tqHdwCpyAjPVxkR}v z@pRe-Nz6@VHNv9t(J_d8WQgG)*F9907Cb-Vcscuz9E4y3jr~NP^N$I$+3I*HJy1-2 zf9wmb=c~Abkl}nU>UuOv*@}8?xC^!AXjMi*mc46e|(bYkoKad$szg_yrRzNO>~3*Dn|H_I`z0Fv7y=E z@8*8wN)AnO#=jBivwgM)MC+MK29NFNc2#&d+BvKJCuetqhOP5@)7!!$(IMR?snN0L z;v==>#Zpkaq*5DiMx-R58wS=KUs3NxQbqD^N@btipv1H3BU(&RRL>+TE1JR~doQ>K z%yiB_%9^eK=i*m>Z3l{u2SEOCGCZvW^!MZHkDp1L{XNE>*<^OdtRI1)_* z;&oFN!(=a@siF%CvKxLch4^>l$E(7BgA#6YGXLK%LVqq>PG z3)kyH4n0zhA13?epu6Chh7k8q6!#yO`H5cJ{{b%7Zg?!)^ec`v1q1D)2EXA zck+tADG&luC^b3S?Usvdu}3eK3b^*A1ll#({EBBJ%2sNK?~wGk7fjQ11T~zO8tO;n zaWB$X&_=TG=5Kl52eS&G1&uwA;y9evmhcTg`6ZeQ78G|bn<5x*%jJ~H_F=U|XS95z zrKouJGu6jzIU$ZeH_6ssxb{uPrnbj&x;lBIHxdl4r~l=p`|*6d;VV#i|ADnia9UNY z=B<-JDQ*HkiGUYnkjU|yQWP4spVhJZ0oWPGfl%!y4bz<)<>iUQmgKioL1=lSZ`--l zk9~5>ey(fnVGp;wMa0Bt>fF1D_fEonEzLcuuE_s*+?q7^ht+K~`>7PABcq__ZWl^P zbx_{fQ1`SogG@$5aw{)N3o+}fCtX(ABndhLg<5!eRA)UU&o|RsjA1G&d+Th*f>Y+* zJ^yK?d8PM$w>pa5v8Y2UhX0D{C@ho+TWu6FLeM#6u+(17dR=pwU(V>;7?dV=3Vx$y z=UKHboUH^$$NlBS%D^Ga*VQ(|&4Q_mci{(bR2!!h>66GkBEvReo4r-KwDYeTGC?%f zXKX2YW^auwQvdK*!t=K5Q-{4K#-DkyNn8OH7T3kRpH>=l;a>dlO0{-^q2a{B3w-5> z4ipmHC0vo9+h^_q)p8=qX9V>ThhxdJg*16r%Jt+`w~uy*JaTo`l?-AsjlFw^J2#XC z-TPUJk~e4|xHfT%eevnr3))PvorFx(sasGMEMN8D%?u1KoXXCcv=qK`SrP6BdWj2l zFmaI3PnXJm%7bY+XOI${{6@=Q>XgB5znE3u&LDIrgz)@v;$T|7!k;qCn=vS=v}WRq zPWs61d{1)E9j6S-qzEpumjAX>hlE36tF>&b!OHhR>sTXod#T}SYm*Gr;?kKzcTK|R z_x-9v-0bFqCS(h@mRlC?`gmt%4oWeljBd7Hrx71njUg#Lx(is!Q&Iygo<)^dwD@no zX4mCUXG&a$QDReQu5T#)tDR^|Wujz|hWwnzeULSDNn;V5FK5Vy=&mEy7FS**r4rpX|~g-07PFoluJGQsm2u&_M6UZU{GZ4r@j$vx8`o$jb6&qLK^S7uvEq1 zIz4VNnU(n@DkY6=YG;%+EeYFT#;cC%CSV7gj|KE8|z=*Fc7B zL|DFAnv0L{>%aJB1bLp6d?OM;F3Op*sR#z7EA<8WG)$ikU-L7J@c2TJFE*TfM}r-w3LO3+bFOo7 z7Fei3!3D3ffHaZX68Q8lKng@TBEOw0mA-$rA?6+hEdag=Ck zW}6A?TPha_SfPm+hMnm< z9OR()(Va*1aJzIEv?0ftov7sH$`9J56!H!NF8bG3k)wqr*KB3c{)+MN_mX|?F2AhT zG4z%eurmX?}f6`4m7wgXTZGOYwU|IKwh8kkFHcHp?K`R<5`p{J;pX7uxLHAiGBqxa_ zd8U5E-+05Kmz3b!sB<-3R51VP#w+KxS!W)RDSZ9YoRcmD-*qFecA8zD;g6Ik`fl)D zDC+kS3W^@Ja?bxuOW>1V0@5@t1VXkB6KyG!AMxB!?w8$u+V~urBuo=Hv1>N(s7w0| zIn%6`!rsRBhY#P<5FA^#hQq-5Z|H%tAUl*WifUEwZ7@m#JvUXw;9j#I9wXN0jd@!1K#WE3yX zwX#leBuXm8>|$;cSbNfNACI7P2eA#&IJIJX6_k1EjOqFX^;5YW86C1&Ti9=_Ga$?Z zH32u4PcY7u-gD+Fs>AXJ7|NSmw6Vdw4ASt9F^n4axK5`QH=2(b@M%0y`nr2Uxee$? zj4p@6F#-#xYKN*+i~8haRM=^WD&Oma&h7a;eN+)PO3bdIQ4O5M2?3Y`p$Sw=g^Y=XV4a4Gj@e7AK}?) zHulZ`7)V4lj6=uHz%4va)iJjH8=00>5?K^wa4&maXII{G$80OP<^YGyM}{JtFl}qL z0>z?Uf#W^-qYiFq!nI0c8GNNnWeLRSYDRPP$s~(R;jB{kLyJRHwb}bKbAo}V|ILtv zMLW*Fuzl8j$9*lhgSfvWltRzkU=?9l7&JAyGn26Ksm^%d&4=A}sTIJ#Fjy72?OSD=?1XE6mL{Y#z&=JBf7XQzu z2>+PRAFQVx$ue=Ryn?6{H1C====d!(JBO~+HtW7bqcrhlJ$P{_lFoGEK*~pU6sDc? zCI`Dp)d#|I);fucLi3S)mSy#L#aO*=r#sCkpfr|?0^O@}=>SIVlp2S$Ax;Hbxz-ei zu)pQ9T+?}&u{E|fV$WIi+}@i^+`(|X)7xZ4t=MG6t#)bEiRi#6&mtwCUn%7nd&m87hwi=8AQ_iduOyjo57R;r4a6W<5Z@LMkv39pM5 zhn9*2Ur&Yb2CCw3iRS5gd=rh;cHBr>h8W?TZa_2PtBF%C+;~(%J5N{6fNA zu)_H4QT`%W@s<17Ik8>i8JCDp%uS)~6fJIVC-wSp2um+m(YKlX zU(RaA-gvFniD%imzASH?k7KwfMRE)m4y|`{f0oG$!juMX{z;jAPYgHFaN(hL`!L(7 zS&?uip%tPW^})(5PDl>I-^>^}2I?Exf${F0ao@x8btFnX>lex{f{>lykK=&j1qfL_ zK7ZGf^!fGmpFpg3An^sSy^&Gm4MGHIf6JrnXM3PDGKKeBis3RGB?-@YZ>)w9&5%&@ z`}El4s+ccT|MGxc^@d%IA0%~9*!qGY|6uAY|HpN+1gBM`@tuN;OQS`+0O_OSPC zonZSp9$1>XACDmF2E(gYnw4)ZE(J;69;ht>(H>9hHGHkhO1n!FZut)KF-7rTBqZJZ z8A#wS#RDW78sZ!Y6iB-^tHp=ynwlaRWlVeO z&?k>q5sR_hHr2Hni!^l5%%+MOE{y-O4COSC3`3&ek|5M6L}Nosq)oXcS6^B~%O?{u zHsF`ITehwsusDQYC&P>VhUv+#S%o%9n%qeF%Ey9y%rke17by5RQZdNj?781a=PvUY z7Hv;-H|vIFf(iQDky5&*gK$$t8U$5;S{+34L9%f`yvxz()xeJ!K3v=sTtQ1|7;m9p zh3Z3&js|tKrWJob?FDWK>ze~(bR9Ic)YV`&%w!!(KiS>)zr+TuB#=fdhU$KzmO%pK z8u7|zKkoT&qt%imR8uAx)(_=PPPaDxqK_Ijk4HQBU`)|plHgPnAlw{L#+P>=a{y0jQvcaQYgN0eP`N zyIY?x(fBe~nS8YJIQKdEAIkHGEYb1bWlf$XN_V&{7(UjVd!m(~i7DNH{#Btu=2quU z99A5dFS{?}ObF2ux-ew?yJ2aRRj}bL?CHYTY7ZvV$Cx#veCUG{!uzg-_uUbDNL*RU z$aI=2mYY0GcEkR6#B%WP^cN;e9jKzPBPGdGo7oaIyG@2#`fywK+mfT;>YvXjGw}68 zsAT^Bui5*YC8+yyfGcHOFEA&MtdEifS%qr(;g2aWPRH0}7uT!2X5{-j^(Wqb8c4OC zo0|hV0k3E3cb5S125c^y9p;4ww1%h^XkI%Uov*WK5(r7n-L8g9ea3HQxuo7O+m zQ-#O7IP_(d>llzoM53v8vp!1G3|@Ii?@sURsHA8mNbiEi^hBnBJ$vfmn#<#|3%KJ( zqqNsrL-$*^nSl9grBr3bsV5FzLVTB5@$R3D5rPF%(k&&tfej=~QbQAfVPB(WHN<=~ zg)w)p+h_VwGdb*1cuz2^o|KB(9IfQWu$ZK5-2}| zB*x^LwjJNM+F^@zcI8rcB?lEp4yI9Cb>3L5bl9ezU|r$){&i#* z(^-6*(}`doSlB~CLiE2rf3nO1@2BVi`Esg*fuebQ9jl^G^v`q8e2X99(_DWdAG5q~ z<%Nh*6F-vl5MjRwuyUlKkH!($eB{Q;A=7?CN2^&OiU=as130?B(i#T4p^D?V9eHjW zZ#S4ClW;UPpxxbr!9xybO7lPOzBeQ1>}`IMrX3iTp{XrQguW$}K)))?+D6H<$g{(4 zCdqp>;^ZjJmjpkH0Tu#v(R_ZL0Il5^bosO~71nbA(LouS%@^+#gdbjQuHPxy&iY~l z8y*ociN+sGG^43{ng*INq)x7w_k?=8^pj+y=`340CXyMS%7iOa=%{)su80PI8z)zN zbV+~nN}m@}NF(Y`mvD75Ix6VeDGhWayI?qH>N3fY4Tpr7d6fPYjES3e4&)D)KTySL zQROYMMAVXRl1ll$3puDB@km$H+ImEy9|@WpPS}vB;dU7h=#k%cs&k(vO$<*=G*vBC zoqVBxNV^6T?#hY^j{i{4szAG(1EDTXP%FWmc zQ+@Miui)(0T4I!=w16(`MlOzs=`uw*)~+6a%yN*8eKMidf>q}?uJm9t?v-|^z@ykmOu}Z8+XV=GqH-rQwi+dT)oS3i;Tx=BcAndYo z^VW1rNRfr!q&qgYJYZi0qKMO3B^(CdNto)bv4Kn<>{86vvvK?xT1-d+S5-fbKJ{}Omd4-e{ZKhx8JN8+QZre&rKeO#Qm0l<(`rsUIp$##Y+`)0w$ zqUiD3fK#c5NByzou4TUAE4RSa70=8oG?%qrxf-Agl9U;*{4m>IfA%g;=wH~bu4eIx z)j^0RSub`eD*3GU7z!rzxJ4Od#60WG{ip7d79U|%>+$<^bQXY`NnQ|hNlRZJ&;@}o z8?wDvQ>InE_vFWzoztR7FmgBRJ?am3QCV39-IZA0d$muwe@|h>oBNi-2AKElnz`yuS^AHv z{6#vjU1Szk76ZiM^kOw+8y>cVwV1f#hY; z-*5`lHrd%EBMs-izOP*i`i)xUoDeXkI`$;f-H+@Zm^kMJkBRb7 z=E{9|Q-Co+_t0UxVo0~Rwgk22Gs#$iU6lH0ZQ5LfMyPugeY=2 zxVev7Dmo^Qj-Yu9o!OZ^=o~0JT9Upglc=S95MSIu%K4>Tl4e^X3fYV5>JpM(U0Pk` z<>W*N^mo>yP2k-3njqC}9UmotgDZqCmXtoEY1OEg&XsjDpO@6D*8<91Lp(wPf;NxK zz-dG9g^*kniL(1s?F<|eG}B>I-W8X5j)xdIV9I-kOt#%OBb#xeltCE?6=qfJt!wp96UsE5s&^zx;enOhls|-V$_6Vb#nh zjx9X8%LcvJB$2bU21Y(v*!hiVLCe)ICR9?f0NjHo6nh_8-Tidv9!m}+h3JI5f06)Q z6Ntw-IMhn#8X6nF-qmK7S5^X!Hh_zGW-LhURgBvhYNU73i9}_VoN((7K-6>qcuA?Q zwROd+9?zICr|Run-(Ex#;P&A7{24r{#)gKYTW%$Bt54clj==-!=0zDeqqiQ~OsSW1 z_&TgWtPVKK6G4PVK*Xh|t&JSmdEExoSm3-F-loB*;e`CdUyta&T*WEyKXjq{T>vUD zs8)g5*6*?p7XX+5&a^L`#~nE4x;!0R9d_jhH+-`5C{)+D`G5>IE1J&uq;`TI44$wP zDW>9tsnsgm9S92NtN=v0qVk`5g%}}+niRq*ARzGRlUO~jS3ukH?1L^Ga3dmYm$Egn zD{c}>hvjm&5+fYlf`prF+Z9@&*2&5oy~@`$pq<^%{OSh`OHurf2lM6Hpu?qBy4K=q z4IDU9vEV;~rqB^8?Tys2&-grlYi6w-uF-{?u>Ku({Qiw_IG}?UtArK-iZ8p|mwt_M zwcGTnYI?fx9R24bb%EzY1%MQNtyU}jNAPd3{rd8-FYq`O1w5ccM1`{v zf%K+K*~T#b&E$n$sx=|~>gEoXS=Oe&o5Ia4y~G99{^IZ7g#@R`K=ReqrCgk6mStA^ z0Pbx1ua65rmi6`Tz*k<7^IT2?ycFPvtX%@yCY7!QYj?0+xRFdMFtotyAAn$iYPDdh zvAWuDrQx_mI$V;STaDn0TdiSDhR#=_`-k(>VCG04+33eJ=$wDvEbmCkb90$81Y?# zGRXhYrB6=EY*)a!54HvPyGqzfUGxlRsbhP0cN`RU1CFvRtASo>hEKS}(5Y^vPToUg zhwB^Ls*P3`i8+c?O3@U`HxMnZUr%SPk<~z`Za$Hrgwr=VDqF7h?q9^b^%jKK2@ z*n;4RfW^*?lF8@&kAMxNFyguI1}-miuL#1{mWD^#cFbkzPWWRQUM=q@ug>u3V^dXZ`7~MHDCD=%F>4PPfscF>o(v&?sW=9jaFF=> z)bV;Sl?(n4{}!;y*U!AXviKey=kP)oTYV8;?G-$KbEq+eiwY9GWCvgkQBkzLCKYXH%Gjwu_bsopl7S~9`f$aiv2H)Qc6f!x~pbC8LWAXz#K7tb>@Mj}vYD#Gu zuTZjLIsL4h2{v$I+Y7+3=>M^{9M=~M6 zzMb?2S|xCCJ{)r-c-_MN_2+7Y2|PXy78b{+yHjAHJU=m@IUH_y{yeCqgZRS)#@;78M407^HY0&aEO24KVfN)SU} z?|ZCGhPt_++Uv~y z^WmYT)yK;@b^U**3W^AA39*1q>D(jma{4`t=!0aAulIoP|IahZE;m#yp;P5dJ{@Ou zKF_t86Ztd3i2(P%J8hwE)PG0cf$RazqSrJJND?uKWME(b*j2FCtCnnl%*^NY={LaF z{!gbIm-*Mk*m(Q%*Xz$*`#>d2F3{@IWCb;f#D&C?FOH@!5zE5)to>isI zAjSlkV!$cB1>Pj_-0G^Tji(pziUhcXmzNiC$_Ih06LP6<7(c{~0mOgGBHCQH_`SP$ z04T$;QNTy@p(dX{U~(J>WroyJZ%rB4Vt^A34gu?h3g4%d-#`ycZuqOcUAI_ei<1x} zE2O2l=r$hDkGt+wDfkrp4&K+U7X0Kf!+Cl@oitK$92+kM`r-iSzx^}TC>Z0`t9{Bs zR0*imMNhlIi!2xeoEoXAso*#R8)Me9td?Wz(_CkUSM31opT|MxCgPX?I@BjQ&HihY zum6^x<)mtG-UU^$VRJ=mRh1wEO{T!t7w}Bl!I=Q=+kX#oqkzQ%4_HBf8U3;2+>@}n zCBj4_sG(D`Y{U6@S6bBi+Cc(PG%?Q+7M;fracoUE+FxbN?;e=aun_RM0* z!66C0Ss8$9VLzXk3pf){h3D*pUXg<++wh9;mi>~ zXvLek0}#si11M)eE>18;+O<|W2Z)#ao_+oVj#p`{Tc4SVCw7vh%iF$=7VYZp`2+nY z;f(sOT~WjCPC^sZF)ZKP^ed~C0BcXr~4W~&7t?)pzfbr$aLSQ zHsSs>o+iSQ0zR=i7G(Q>RhaA*1vtaU%x3cNFnY^CDm0)KnPFa&c>4e!FPGnAKnxKahithR! zS3R__OzX=zI?_Hn-W2$BQ2e)GiVPl0ksp`_(3<9xfQoHzZ;$hzn*`iefT;=}$k6!5 zLEB}{DuG|MTrC)*;`p(n(*D&3VZQo+zL6;-ov>-7->k5)Xxnzp2-@w}lt%6Q<8Uk{ znUXW(hG+!_9=V#%w~kiCo^Jbm3Fj6O)q5^gE9(QGV40cfI7YRINgS}$}a{92{TWD9Gb z6H`4q#ey!+!?7cMI_Im5i9=Vm_v{VToD9-V9NFtC;B8~Tma9di{CVh5uva8HIZ?lR z3{OL9&*pJHiJg_MffCD2=%@T!FbYp#S68MSPitM%(MpVz<}X5%V`t0UbI$X|`-p(+t?KlF zXVwnxpwh7Mb$#iL3}?UB7hh%7EZ46f=}R`7=l5<6D>|NY&UQ@lS1DluW#>#kx~R9= z%+}L72LJ}JUYBfJ*l_A1O4wqC=+0}rhZ7VxrCQMBoKb75t;9Xx2+-spWx3XTVz5-A zL?pPoKwe@wm8kGaGTMct&>vCXq~{A!Bu5Q5Nvs_V7DrIfloRnQq4GuT2lqI6ciOt7 zTky8D!EMh@VNh*Eu}?`@6S)02LiLU{=OU;PArC7WqA$1!3u?j&Vs2f#_?R9%P-@@v z0=N&DAb{i*P6*cb&A)$nO|J=Kt;pElx}pC(bv1NPalN6IMLEI0n>PoD5x^uxFhF1=93m7<~A) zVyJ3eF2}|6tf_r9Td+9~7BZWDL${6@aMGhpN*$khtj&dW2)g+*1{}lE`T|Vw#rF-{ zJi+Vg;(dVHE2xoy)4R%+2c-wNg=r((fpckb@h9Oi*Kd)8cLakJ(5YmY?~LP@0~yjOBjYfP&&BY=1iE%6_;Lxvo~M z0`h^jI2-7}R|R$TQ&$kYv$OMTf#&XXdv&#^Y%M;wN9ZI85eBpqVNEt-wHlNVj}*?v z4)ZU)OYSWa&I^OT0jc9|v5SsekxGzP7I-}&wb-bw2!j+xLKljdI<_NXR2uG`Sn@FN zZJ;P#etbqQr(b2lSIe*Cy2a`Hjkh2DTm4<1fyl>@o@b-9eYZMdwu`-gmsxEn-Ll^M zXK)fvwfs4*`~|L|x%4N%UuL;X`=Qhucb%MCJer(_xtSV?Ofa+-PJ@`?PTJZ0X}YRu zxNt+>WWc~xnAF`MOa~WpS~n@^9t~A_k2t#7XALr<$Q{&?_1S(d>|;LP ztaJ<`P%HuTj4;B0BPb^ETg2CYu7@~%D>X;T_(?9Mr9?o?M*Pave8ByMEdEtlO00yS zi3JqnB%uy6`ztL$CCgqaHu-&h4@~W-lO>;FMyAa?biS4Z> z5ths3zDrw)phrRB&hp;4p=zaUJ35N3JG#P09D~(bL(;l!j$hpyJl9&$#Hb~QYq0HTV zBGuu21>A^jFB{^0Pjg6}iQhX9yCqvx+1_XL4JFi;KlhK&p$WSke9eCnv+EGey%I!s zUiP*7JpAVfWgW>SmY2x!`O$TyVVkpJ;TUYXybLkE2rns&Os8fY2d{MEU_nZlqCVnDle1#>-`OyWLwjkZx3s zP^@P%FsR0;>V~$$sLyJ`A>bXv*y@g~aNqk<{AhK2^k?oC5i0^J$iGGAJ@RMyov2iQ zk@Qx)ZEKzq}Z_ZN_my#xZr(1V1sROs^$| zcsX;~7eROi%;q`eq9jE>2**m!Tep_6tm1UsKvR49Q&ElLs;s=suy11Wcwx+u&&os2 z%@fJ=Jzt;)XN~rIQ8q?+5`eFxOT)lBSRjFC`2HCLqG*-7fu8g3?k>Q;6C>am10F=Z z)@j{g;gvQ~>IirrxQ7!iS%N~sr!q?+x-#->u4AI&g-QAa zp$AU{Aj1O((I{_+jatg8fAF4ExOTL=Cs*PXf5;SNAMz;1Tn;3F@g28}+l_Btp-RgP z5c+-a7wx#3$!VFTUyET-6d2b1|K8AJuV|upk8(tL-r`+}EmM%n<=Ap(s-?AP;opsr;oVfUxp{@m?UcmAJGZ4_LlbxCUr(%D%;5x&uifHcT745`v5Vq+X_>&;Hm_552;TBX4S@&(kd#(k2jnG*XZl7 zb|zcMc1z7DUnx>B?a63C){6L7TMsmsw0-`z%ug9ySi{oY&mROMh_mg*zjMC5 zMOvmw6$>v<6^s?!Q^Wf%kB6hPFnPmCL!O8BaQhz=b#a7Cbv4}g+3TQ!eXNg5*Sza^ zQ)W+C+Fz3AN1xAsmP)eFeSph8Ye_Lab`!rNcgFBld#l>a9bAjdbuTVL8QM|X*a!k; z|N9}Ht(f%`A{l9l_j~9Y3kJy`e5_aMSIMRTOlmfGVxz5xF2mfe@@V+eipc)|0%oYf z49$w>*WPfE2`0$weZQm)%KOm`tK9w5k^svS?^|sZ+g%YSmv;`(>yVx6n)XM;*za?q zed3q{SLAeVG)r39j@p1b%7tat6_<=l=~+)Nlub44PZ$~KkU)4GzIj&{X~uXT!K#GiscxxQ5ITB0;95|N2;RJ*4>%!P%(JL!rn(NIz*H7%mlxCXNW@6Vpck3V^mu@ zfMSW=WfD4?M#vt<{wm_5yta3gXJ4t){*HJbawk_p?GceRV|?x|%6!?jAm{0dgj6Kf z`}QqL4?Rwm|Qe~Y+4#K=yZr=i>nQy4+gfp8jr{jacax5J+4*AX5phJ}sJPq{V@!p)2 z+54Zw5>luUSl^vOh}f&N&g=cfBx(XqD8eo>1#1+ViI=hRGy+SArP4;r=uufIZK3_z z7biGcXEKONpi3RxvX8lG=9ENQEmOcGD?Y6i@E<^{2+-%W%I87CSH3dHUfWW=*??VE zs)2|gWMKW3jxj~pu|{ALGv@nco5w53)#bJoXfu720Ow4ZTZ9v57l$U#_;*3s2??q2 zN925%22K1s&`}`x@BxsjK#7uP3?BE7+(D|TYwwX?F_CVih@=FeXGgAS2hd^M1b+?w z7=Fvmk*{7&9^w@K?L~0-&gJ;YL+j_u6nzf~?xt%3kEOR>b3j{U63V7yoQ}grbyXC^ zTX)Sw%@f@QJ%q~BwGBOK7R~@$aWPzr*#j2)+(;zk#crKwOg{Luu=1sGc#bB`a;KDI zmP#nM-eU3(h;WmOawQ1Cgn97pWEo-Iysr5VZOXZw*n(Xfbw|H3g~6p{(9D`Wzh0#L zmV6D%ITPVGPha;k1G~c}Ia=o%uw|m8qN)Eka;>cu zX~*s}VtFl*-K_6PrPPB~$jhSsST7-H4I7#!7Gw7zPyKu8cg)30-`ll)V6=NUyia&UibBNQBbhA=w3$q=Z`E|owMY0QW4X)J_2%e}F#+QfC*@pWm<>@8PTsp2?q_)HJ47}NijZrFWS68*unF_K(hrwKQ$b@5R_ zMq6?B2z#8d_X@d(xu>ClzBDv+`w!41{SeOuXb9*^#W!rUdkW;e^=N|&+}lNmhC_1$ z>)b?0l~<_W%~~5inY5?a$kJataGmrn!AB>UDrA`b*F7@1pBqq36PO+-oEa_Ux35jq zTgiTD@8O{_Q|Hy*0kY8?9I`AwSjvVoL~T(G+E#g@5&agohT85x{2(G(n5z+?p!eN~ zdX+~m?lA2Z@!`uJlE~;B&M4P=Rm?9i5#2k~1eLM(!+S?2bU&Ll{O~?IzCpy%Bg=`Y zI)8IL2b-F&pDEihNcKweFjSsz5W3YD7#PLdC45X5uU_a-5L0=DA;}(Kawaze`W~*| ziY6#~>JNg`aVcNv)?kUTFkrJdWP3V0F&)*I-V2Kb*V$H7)Z$pEf9&(66me08XvY>| zoew+=#1FAqAk*JU&XnR{%U7$C!f3*!iHA?2uwedNU0cf!jTlo&*pa^)^0;i1)iG~F z$V*f{#laL{p9@|li@q6mr}$DVAET92TDm1cvNw(;mRULa?d=tJ*QU23Xa6-WFkBHYpa5n=)n;#AG^!qhD8JAh=AuxW7*V7h+h1!K4oD0F|JLGmg zmru*djScz>TYu?n4w-Y#`$4X!Buob-f^F^hCb!RMt;fYbTl@Pn_bMBI}5|_&ogfliKh4{4wR-VP7rz1ei_KfK|_qjguQbf zp|U){2xWHt&R8?Kqwsa%iDc#+j(i}ocx}+PVyGxKxX+Z?(?nb(iknU1C1m4B{eBb`% zV2tA#Z1$dO&TC$=0r2wcYcSGesDE$sWBl~_Bs%O%+b67}N}Z7yssyOrzZes`bdN}E zdgp1$%F-dio`{Gj1X#oSHbj>9OUyIdJ;k+d-0Srl^?@T;5I_Aw(Rp)%2~2zu+2-WE zwkj=yK91sj7 z1nO6vCD@1@wPXN#QjM@{l3oK8YDfeQDf0w-=&utjHOjGpq{rrKWo*+2rDfWrP~qT< zg^iUY76#GSP4Q1{6zskeZyZQ@`fR=;3Rn}#O#K(kH%LO49w}QW0pp7j7Ht2;RFC|@ z&}_Y0TnYtsD?i_cLr89l2U;w@HncOr0Nsk%4DMrhf~BF^$Ge3>R;_4)u~pl96l?j1 z@Y4)&$|_}z+V3+}SwG7)_*;io7|$nW%#efSf5w*zgM9*siCnk>SUQN?8^-RH)6$pw zoZy$Q7nmO;o3jVk@w%2O-C*4#GzB5uQV^d()O$2>eNeZgtT1ZtE*vuG@EW4=p;hTr zpa-wphuVE%w2Ur7T2NJx(bv1fu}&{FUnq4Lr5KR|&A7r!cU<%_7VpZjs zGmn7?E>zM1;ylyl*^quM`nd9Z7Zw*cvvR={FvGPVOd{8|u zEpTqlqDNY&M#n;l6xM|Q>@k4c$;qNCu_1#V?rgyKqPYh22@BHJLL2jcLP}%=MfT{# zXquc74A`Q-cNWhHJmFWSa5@UDIe$^zkxj^Io77R`hwbzpZS;A$zZM8sG(xi1ujBm% z|0vlp=xSlHvj+^Hwgx}3jI=my^Z@cQa0Ld;EwI;oe7FH7$zWf7i~4CN&P{MEIY&Y) zisKM^8tal$ZSdPRQWMr!r>t~5`V7vpdq%FJ{*5Wkd}{c0bq2eMb}5`sWy;X3$rghA z2TdXs4+42Epo<<9Uo;wY2Jg1qskytmyQ^ywUYmukRLZwF5_>$~+A7xkVB>*!=W5-* zDOsL}MnhjWwW??=ma|2Z6bA1${Ru+z!w8{v zS{T}x2?z=Ey~dKO-~UJGb2q?BPqwI&d6FGWk?a>7dW3~Yp{lnCMGF* zV(xEO4`Rvi(7dC?J@$q>5kohTMb}BDhzzXik3YV&`H{P~3L0VHxa7SDY~1{ARzVb@ zO+85L1e6C*BVTA5CrdmgebT1&Mq@NXX5C)oi)2uk_721bcBAAR#n{8yoL)q*`l6+q zv`E@_zWs?@y9Ju>&aTt%D7%e~j%!N-GArNH`tsd-wu6&AZxYF+PgW~Whnba`87D@j zmmU1UU!u0@qgnNvoE*GmJ)O)~yW6E~$%2CEJsm_-S<-nv*ScYa#-v8=?#z;+iNy9| z;Htfm;ZV$1ke491J&K)QMqrzZ*f>op7O;`79C}ss0wioiB z1JEoSNQH9;tP^%rhB#_E<83S0h>qThrPskFdr%rI(V4jjwhiTZVXL==hy^@)S$%X= z0gAV1rOy?GyHu`E<{hg@6rN4a-{I8EVd=B%!b(Vkf=Q{=FVQw#3%OR8mRkHCu3wg3 zz)tUGx>&J~g;)8aqVYEoIXSTJS(+=?4(p3$CSTOLxEtat<`PefFjRHldqpb`o2QHr z-MbyaC8&T98O<1LldK-d&W$xjcEu4HLoa;p%k=&RKmLrs%Uu|jy?`FocY-gg;UJTm zpugd4ghsqAg zH*|8lUZbud(1?v4-!kqjGPH?L9)b-ppgr^3YxrCr|N8k8`3?_Y;mN}zQ@N4u$h8mP zZc1R$7V*Rmws@NzDt`9mpW#llg(_s2lqRS=N>7zB$ehe)pk6j)XZCAMq&uTVi#47i zm<$sK8`bIXZKH~oQha6~S-#@BkKtpLtQ3RY0s~GASh!7p8TCJ(p}SyeYbTosZr*@W zI)&moMBr6ouqw`IS0Pn zYk>c-(i!l)v1{q&^yd&f2$lMPvcU8@HOliQ`zsqWC+{EA4k(6Su~SO=>oZi=O!RKB z6-56OpyD$2Y^e^V-~z?!%SL&%|yeSFZ)rJ{;TcO*3@PJ}*B=*`GGZny$iP$2Q+ z@zHPM;#;p2NPzD*O;it(rY*tGERi?LFQiR#`^XDX%0GhJ@mE6TtWo)r*Cq%T_B*|& z#2Q{g{59BU48@<>Ilgd15Q8ntc|^EK;Z17inDf(9_j3U8(^3H%Te{9do)y1E?z>=u zrVYE;Tf1g@RN}D`yg``a>E?rsuo#q>m>58EsPD}@d%y?9!_zrmOGw|ysMGIZ9u#44 z&tL3zHWD$1M6z*e48oV+A@&K1MIY0{cNcp&=xd*@TJJkDX1_~d>leZujfz6@ZmX@W zZD=U5ULpzBV#>lmL`RmT%i|(>%kRmEC^_hCZfYPjj;Gon@rZYRxX5B6fkisl|LadG|K3C@&ZcHs22rQ}y;r5a_loBgtcP??rb?p%Xg5+P-_s z6x>}1uLZY2dxcK$_~co9Z8&WSEh2^^4BcO-G!eAFQ;>%8LyqjhnKRH>$WvyW;4flE zsCMRnuJb=^tSYJZ6r2#9WU5ik-D1oLL4|4z5R zuo@@b#+-8iKLL;mQ1IE%Uw;y(7=cYqAG3%R?9jL)EzP6?fkVgx#JD)b>^-%pGxekk z9s`2|B_*`vqARgmL++~peg;e<>L`2%K<#^&uZYOXN@Fu(MMuSHGIsefR28tF(8bY@ z4b|#bWHet5pCwm8Kd6!~hS6x)%g&gBTpV`#yB%14L7`~ONShw4uXnNF08dN#09g3z zFttdQLuZorsc5V)ExOdA$v)-Mz46qtPV}fsVZWAF+XJ4TuEhKsnyagw4yK3xR9R%k z={*AA5%48FNIsaFntFIRm|N)}#w1B1-4d$LcdTZee`tDx6_;;{i6f)GP92*5S+Jr` zK=&&k8#3b+(l3E%R*HV6>;;v*LeBE@+}8cxE(;1-;fdKXt# zfZwhP&LALaynN4Jqo?vCJiviAZCW!XW?l+wco%|7oc4`tv!d+PPkMg-o=7;a(gSv# zveB_IG<0<6ih+iSoUA**%Lw?_>EBk@*4EJ>D$F^Zq@DJ6o70Z^4MO6_Z~c}E$MN{) zxHyLF=Zuv7rhiwOUAdd?!1xHhw&M)2)>v3ZzyQv1rRi^lqaUC& zPH_Oo#>&b{6>uplM|EIiyjgL*@!HPux%YJk{(&q3NX2CA;kpY^ zT2w%$%gFiqiOQ?*>aa^(6CMFn>FEA9jITp<0WT30w4HNtU>LNrk`2y>>|DzS;d|~W zDk@TQukvL1;uZL*@H{Px#^uveIvgAoG%ww^z3f(uvG82?ZGZ#^_=vsiAQT1oqjvgU zWStqdT;dKwX<<**zF|SPp2n$|BUr4#vXm9uuGT9zF;pNw@EiEmbo&SPU3#Q$|HF3T+LYS)h2DG;epc@Cq3VC_Gcz=t4uz^5(5Z3b^uxaeH2bF3qdvYWj zL|v(wwP+QPF<@a5zZbS5XT|3C*9?8QpAqiHg+TZzC7?~oNJvYL?m>F5eCSKs$yc#Q zYn;L7gNbKftI}`8UG@~}u#<~r{zyjaTW7%AkKzqtFyQy4?CgB~ME*%!^gpPh6Mu193D&2^@^-O5;kTyP*B_ui(>=#x z(ddnK+0-eJRx~T}5z)OX1p-a zU;j2^h{c}%K0n2D-cIa&*h^1mVGBPO7&mAygFJ&&8C%<?13o3pm|ajl*Vd=5zcRs26)j11!9cVX+?HZwLU6w!Kg2zjuYy+cRt}a z!e2}V3m}yNQm=sNg)?~7+dH?j1Jav}o_>At^D%K&(^>~<)H3KXGkMO}I!Xq1f^mFB zo6t8jx`IXvzgU78oX{SoLpeH$Z_4YZ&SyJI^duw<8$@pbuDjw7Wh48w36K29G;z0bVCd^@&p) znh8oMnIvET$Qiva)25%_Y6>gd-OzPeNuZ)MC5!oRKp#Z&gAA{~J9?rL0dJu=f@kk7 zzpI34$n?i_N2RjjOFyhpV7>|FYGCl{967wNoBED54dmerv$_l5!j=AiE`aBq8Y^9Y zIpCdwiU*>H)vI;raRSp~g+flX$G@8S6KmnCljY726k`j0ph3wdl67!{g?3Sk)Sz*j zne3UIbkCGE6(3J6z6C(WFI`&M&$%->|9-~9uElHEer~DK^nLxeVrQynA|U6#J1;EQ z_a2t}1I(KD+3N7{UxoVn3t$i`!&WkCE;I%-B}wr~4di0}`ac#Fi>LczUXs&8Ven-*beOA}p>D(Y z>E6OjL9t6<4l^Mxpi&_89ZQr3L38}l^@bX&RMDY+`|DywB}L<_llPAH{Wx(raB!Kl zsekb+UVA>hDQ99bA#f1$y9W>EkMG|{$Bdj}WGFTYv5=ETb^4O1Eagq zdOkAYtpp$Ssg=s)lSxH1l^mELGRh^3^;lOFEGMoW=O0CKdZgcs@Y7$G%(lqKV1)>4 zxm)bTn~;0*HANue++tN3?EFM&Z}C1KkX$k|F){J?&rLSP(&il$8#iPo>ngFbxwH;d zEB^(Qe;r`t_!kxfSg~I+b7Oh1?agn6^pcA|A2hN)%B}*4B=6(4SYiTWO*QNP`AWKat+4-+j)fdTR9qzkxPL_uF{NCXS zW=nVNP1>!q{Id6Y(t~UHK8@P0WiNw*XyAO!d#8yUp_|9E0DeBc8^Epied>=}ZaiB7 z%R5j6FHq9J5K$U-c)M!SCeNBF_kcobdAyng`Qx`9o|cxD2FU~TomR!} zlEgA{b6Haq3SOC{SMkvc1PuuGC-ToIjdGq5eGj4jxGo}rltq6DN2u&5AxGg@2%*<+ zcG-DJ;_JLP0pIF#^E%+R_i$-x=BsMJdD55Tle6djA5TQoPwpbp(by-IS$s4RvDpM8 zoWL<~Z*SLbWa;-W-SfREAzU^jAQ3KA& znF)O#nk#$@WmRdWSZ(819m0zdq`u0}Bk9I*|G6YE54yRz5xd_n)N2>z=H?a@fn{lrCqA_VIfAfbLW2pn<$iq(VWdy zxe=-N#n=xrz*;}tQuY5E6Hu{W zl`@NN`_h~NTK2+7UvW-hHRx4Ivt#vQtaN#_5uo42V4J7;=4>jRTY_*BZ_JEHIne)e~$jDc?{PWua^ zH?6>vq9%0dhmnS(KvL5Xxev3ytJF%DL|XhSnK4lV4TqRCvLMExdS`Q=+y$x`kO^olA$>qwGQw_MIR=vy}AaS-IV z$b2-vhu)cEpudEw(#%LPzc2v>$mguRwW;ZL0i-M05@)fjH7YL!w^OebryQffSPzjK zx8iNT{$oj{Ok?^HeuSHDU=W;Z?S@81MmK()h9LU&C5)p~lMxp=?8Afy@z{LVx^cZ8 z94q^W_2FcDj@WYn6|s}KGMwz5n6T{8@lVBA+0ByqPCz=+`Ow<=u-<$2qw)tx0}zWh zJsCe)#>dACfBP0~X4aVn(%PMP)}LgPVBh20Y@*v>ji*o?rkM70&h~u%G(8Po#8}}7 zPv8yg=l2K{U$4nUGPAR{-Nl`D59^nJsvL+6lQ781iPv#-u4SWADAY`%YWqoQG*jPd z8uU`MIbZB9onv{qZx3$wHn6t0D6REIWiU>6q02tO#FRosP*=-&{>j}7Qm;D#9M{v+ zV68v%*E4LQ&&L&wYd`__yp^?3sjQ-^@ezfn(!pN2?_Ke}F{?q#<%?PTf6nnhQt{>K z@+-h*?tX4=cK?2goA|NT;>8uenXiyS$}0E;9A1EInxbIg>$?(m7uQ8q^sREp&lHn< zn5zIQ%Z%Y28eRrG z1_KQfMRLNFB-C7^4kH@c>m&zBpnfEYm_@LfY_iS-gQ~yVCz~Y z+e|b~{ocnqg`d?Lx9W2}7HKlR+R8H^KnLJrHr|$}J#Z5jxhJRSTIF?l^doO@q+0wm zyxCBDfdpplalR3Z&*Y;1#}7~Q^Qk5T;K9V%6)4>Y>SItT#;-j92?l-?&~#TifEeVg zv(pJ_pua(8WyE_9&CkAj*0y7#qd;>Js~W2v5rNNUKtxOmS4PBLHT$3{s-AX6cG34fHWNZatq;ie07Y7E z$f`)Se-EGrs=`8q2L$12WXpELA1{3x2$5~|{A*gQUQLpPhO@DyM9rp4eNe-Ls*AjL zIa+uQ_G$MBsqkF#j7c@NsTSj7W9V`5vXp&!2B);v`dy@Yc#|$=hFkpc_RD>p*M4ga zAU#tMNEX@I#cSDs7Qy@Mw@5ELxGSJ$i#>0~eEGLcx8vev?wQ^fEsyXV`u9ysc2v;m zO`kkm7`Av-U+MQ@e7SRNf7N2)rc=BXq>q~*ZK-pPc&y^95X;0xF9tu7oL@-QSA+E= zsFiW|RS%M-S@u|vy9h)&cXxN7;RI$X0AmIJ0P1j{*Z_rbITiPX<+rQ_7y=W^8q;d{FARs(waB zQ7QSnprZaTc~4smC=Wo2a}@(ww)Dzs2%V%uJs>aRIAWI7{yXB&L`CzD=Lk7mKaYeZ9f_IYuwG=MzeLn^)rnog zX)YCB`{GX8pJ|c_kBTd|gxF$-9yxRF$z0G&?N`Rl&aaa{PHpg_PPXc9(5nFEMR>?z zD7CI?7-VE5$ET+L=PntXpXuxh)L} zGFS@fiHOMjFUI&ldQ4fsT8N=``VKB^9(Hf6D#pM+Q}+NoJv}DPNV)f^GScQbTZYRo)wAWghK^?-6?t-L*2ZL3yb`J6Q zQ^$^me#OJ$K_b-m7wfxf!Gr$<;wF*$O0l`XEmW@RQJQ}&(EwfMdXDgDz?S_%D8%Epd4ZqgE8}T&>v*C_^ zRMe;aLu54v31thaA|*M_B7Z^TzsT_Ay({)fQ`u`4zfbYwg8(KPf{BAIju+Uk{LRy6?Hnd{k>QsR`da>}hp*H+{b@yd0@07_`)Tz0 zs?-Y%;0OOnG^yAo6S8U2OSbS=P#r^M&;`)-ACYVwvG`7kL%s_`7kjUuc@SgB{u0wn&k{*)F&@ zzxP6#2*iM;?(rO6X_aw{h=}++`I7V;0u^J6iITFiL7S6_xq0ZxO*)isL5%1w+Evdt z_SabWALbo>$QJTHfvxPkE^|a=L12Q(x9Y)v+8Pn3me&OG2}*ZAT5sZLRz)e79SATe zV@|C<-}~I|Pd)wipSb|rW4VTKZi$=M=r8UuU_sT;!7Iw)yz>*6QdvA=NKmYAg@Uv0 zB>t^F!=jW?-2YA~Bz341DwBkf=?aX!fye_6UyXl`t+*`e_rs;SsI2zO(a;q7KPtb2 zXa)dcg7`kP+2eW}_fkF5H;NKw^q}j=hum&2bUqzxcYf3S2AYs6eTVnPhm_kgLB8qe zq0s{e9Lc84%(w~tZzq>Ol;$~c4!H@QANFleDlvwAD_#$^PQ@N*u=gn`yOSW9A_=Mt zWLpqsdnHIJh>+l&pN%ojI9IpGJ*rhZXU7{t@drd61Oth6zhX>giM{Y5Kff>u2-^W2 zTc;Bxyl%>hba#Bc(QqnzmQ)9H;^7ixDR-h;$RjIv?yM<9h6naM;ru-<%P4%ZLJ&`+ zRJ%BQ<|k3%Yh^0=o&++8S)2t8%x^d4i{2`&ACC6+^}b^9TR<=^na|G4du_M(3*2F_ zdIpmgABZK@t4Gb%BBnNtli)~Huuy=n>kk*^zga4wv%O<3`xRq31scmr zd$8X^ARdabN#r{m^ZF(%ire?TpKpw$`4d6FG8nru)6+{)(Np2!8ya$de>}rql_Y>S zD=Y+TQ^a7Ok7p{QO0Tt;>>mYAIo7)`bPMj>2fnr6K97^f*p<}n4Iq__S(XGsM3s(N z3MC~;8BEu{qe<(poMM#=vW0QUi?!)++XVlPw4%A{@+D@a6W}~y1O0~(-1`Y?MlL@>rMhX_c@L?-?g~ef2{`C9AKfXIt^7j&Yo*{U zJ*9ti{KMB+u%EdM{7XC_-kb-?edMYA){kRjGHlM`ZZN~LOa?SvU((q*HmQ>&>!T`Q6)-XZbSB^#0jI{85=u;`i1D?ETyV+ae2@9xplq7rWUI>TaIgw8@}o@0 z`CivOeXvD~t|aQJK;P8(+dJkBlX8sq!o1A` zLb$bHJQwKQTIGRq=IETB@D zf9SiFp{h8EuH1_9`#8#b;wpR)7K0V=>|Hevd~+U$U}5 z7P$ur-Flx>e!}Nj^rnH|YQ8x1Z9RD5aGd|-R5pL>{wzL{g*v(ubA^M8H!Dp1H{jVi zr=;=GZTZGT&2%jG?^L{k@duhs2t@l|ocDT$CSicTV-Xi|2>! zh1|V<`cHg3JnnZtcNAk{q$|>76(aN1f5Bh`k=y3Qz8S31pCpTbV~Nz8V6&P=Q)w%2 z(7-Et6R2rID}rNC+m(tcAOBBg!~{1w4|W~WuP@0IB_!Qg6v*-w4dDfgK1Mw5(i zdr9TyPuGx_ljc!^PC`Y0d6qEkO`DTy<*IGVD;NII5+t~s_^r|L@fQ~pur6w;G-~s7 z_V6FCvHv#Eq%`M#t1Q<)B5>=d{ft-HfWRj%n=%9EfzzzLI=CNxpKsexHRT^7R&W()5gU<2)G@0?BOdFSm3T_z3S9Ul{r7-UwYl|S{VdJEy+oa3WG<1Y67b)6}aoCdpw| z$Lq>}GxQCJjwefDa=7pGFLy~62uYan4HjyulH`4q14R(N^AThd}5}KSgP>nSq zyUM1XNCp!%w4QlYsm3kCIf0w@b6A5uGsRZ+u<~t#g%B@9f?6vl^X}W9pU@ww-EX&H<7kmG?nZ$QFuUKl0`OYSNspOc5dsGlkBSbb1F&xT94@079Zi8K|Ka>>P zof-2(@W%(D5;#T{)~4uorM3VW3flnj(5Ts#NzTWvz(2S99&t^BRv8L={ut@TC+WYE zy%@F^-CN&}D^j{p+&kto{~FJ-~~>CFg{ z-A)_PBXV`?76n6Slu)EXs1hFD^lQ&ooNpr+nEAUyZGJSMJyU;Cp?SbHG=cD~bCcpjy?6V^ac_$8QQ|sWUCRC@!)JLEJuF6k(=FAad7tJ|``v=eVTe&chR{?$xtwzXtta1+6LU)inXszhP%qi+?@fBXF^sXdI~9rbbicdLnAS~xX=tw2dp`qa-}`YQzDvBo8b8GpR6 zrJ^K%4#7y!%0(0kPT_FEh2aM&VP$GcmcFtPYQYWF!XU`~Kw<-r@Hk=Ge#Q? z8kbez+c%*r_mePxW5}_RqpF2|a*7kd_`)unIP&d`1h$Q{+b(ai7wCK{NWP9rrR}_i8%FqRQw;fvR+CUd47>MRwDAGCk$0k-^JL4WOMk5vX2J~NI!y$-pKILtS-Pcri_)GpjVL#YwF}SyaO~b z-rl3e)1{jdiYyFa>QV^=(M$o8%cbZI_l&NjucJs*4EMvnYhN+=Hr{;Pm_(6^4)X^x zQ{!3P^3K-%yzy0-ISSRBQmj)n5{gh)q{k`P zC2_n|9+Cf0YxU`uG6dj$-ccGLxIoQPCt{V^rj5#3*D=z!C9hksGQ>mA36d_!8Supx zVDPkTiN{E#Pu&Rr!cJu7n=}iYwEb7t;g!Jf$ zAVV4-jX#$zuvJ5{ZJ7n^UVW2K)P8%FV11hNNHT zWvnp|a@Ss0Pzr3!{`=9N|F2p@zR2}mnkifx$+RZfH_tp43#lN`>~b7rEpDHx{KrrF z3jM1#@eZ4NbAa7#u)3$~+K-$>$eH+H=Q^=!r|FiRkcXE8`m1`6L)5>KT4#u9!V)uL zL6}z6QD|~hh_xWE!e*(4^85EY(+q8l>-PK1t_8hqmQ+>te8I)ijZX6E!REk_+km(G zd@;(GpNKl;a&A+-FJ9Z8Q#BCeua?~=cS=R0Vi`N`PN!Q&ZJWnKbb;R&E=XS08{BVD;V;9_L&SOGEA+5W( zpH2AmN1{pi(7WBQd04guIiY(T_gcq-%aNwvS>VS!oF`QE=97*4K>ycG1)evSJJK0IB_=BT5 zJnZr$K8_yDMs8YIn}Ky1p2EdJ@iY=nTG2w=KRCg+1IHYlh?s^7w^2gFRwGr}M9+tL zkT_rCmD;`ew34Vm%DCQOhh#h3ynQ_6^&q+y1OhRLX|-!d zQJ9_vwVr)CiNCu8k#VBU1yzDg}T$x$)Xi8s0|#jMctJgYYlHOZ?l=Ko?9<7N+er zG#9Lbcf1B{8LZ9cz=3%DKLYghZB}mo3`52%@@*U7f~lL3DGc_!iUcBW? zsZBQe+Rd7r4`RIIupRtC>M1G-3S0Y!x3my-oR3fAV?gL2S{tgtrRqLF*w- zzuZirG_+nl96-|0AL>Y$+wh#m1(eXVS#x@H;RHNd>-t1iIgKSchPE=cyc zjNi7Nc{Bymi|Q`?vF9;Rkm3tdkuI(x*Soge7GmAKsGU zv~6d$!oD%0la1f`Zq-4{#6i>SLx=NWD9+Wc72>2%LglP^QvZ-x^FNf44gGE6I)rdM z)*ZonUm{>URxKDk40loUz@g<*h@O(p0{RukZL@vmpC1hFj*eD=mG}3wbM4Tx+ooBu4nH%~b76*ot-Mbm}I;S$Ap!5#n3uh zMAUrStE8l`5YOR92s&+YX-w!x0bU!TaAhfrK`do=PP#KY9#Gez_C*|vY~|cwazo*! z5**&AI^I?9*+Ov-sPnd;P?WhD)QPO+rV^m}M0jY=)H&Om;;MZN%G$v*&>n@Ag8KQL zE2*yW#OH_3Y7p!R-SYuu1OkeM1p>w4=iL1VzOyS_o~m71`< ztD>$BgZAGh74nkV862+pE;M%r$%P>m82Yy;m(PS};6wnqOTDrjVsmsoF8IWlGU5|Q zNibkT+AhN-<-Q`yJ5a6m3A5TDZ$)lm9m zrZ8R&n`14IYQ2F$JQHm58WQdTT|$@>PW23)vn2`YZZ9I?yQkity*mr2Z(dWeSfxgm50<*_BZ|WtgiOZJvb91SizAr{3%clrci%=dkkWZ-&0EW&QK+b{$$vGVbli)8 zB2*VeMh}Ya*GY|Y>fOG8&7?v_+qzf14Lqjv{H^(i0@*0KrRRx>d^9HL1u*R(F~`e2 zK9)C?8#d}CV1Dg%v?x|5ZTOMvYtEMrRSb`#TyFmwXMw z`B(^(>on=^_Z1eLapvhLJR-5~KUc!Udm=34bA!{#v-Xy&ccQLZL-CMR8tU-elI)bo~Meu#x~bZ1Zlx!sz?Lh?)ija{JjyKZUFC^_{S1u1L;~ z`;zupanowjJ(D}`3(g{uk6+3TkqFA0?@#L`lURje;6g+8RP!%(>UPcVA$>% zi8TZ6j)~yYG*IDPmyX&1LJj;6$qz9n>5Ve__0&9m{+I4PD>%4kYJd9ONE8}V+kND+ z$en_L1<;;D{&#tj{-!Z7_R^gnj5^7cVXJ7-tTSyF-kCG(f_~8>Ic-5m{FHa U=JwW*%PVln%cw|KN*V|MA3X|XkN^Mx literal 0 HcmV?d00001