From b15aac7bb917424617947bbc7a75b502b7a97be4 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 14 Apr 2025 09:34:56 +0200 Subject: [PATCH] vault backup: 2025-04-14 09:34:56 --- .obsidian/workspace.json | 5 +++-- .../notes/11 - LTSs and Bisimulation.md | 7 +++++++ Pasted image 20250414093017.png | Bin 0 -> 73964 bytes 3 files changed, 10 insertions(+), 2 deletions(-) create mode 100644 Pasted image 20250414093017.png diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index ccfd31e..9e637a4 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -238,10 +238,11 @@ "companion:Toggle completion": false } }, - "active": "364a7591f14f033a", + "active": "fbeaa35cc5a8abf1", "lastOpenFiles": [ - "Concurrent Systems/notes/11 - LTSs and Bisimulation.md", + "Pasted image 20250414093017.png", "Concurrent Systems/slides/class 11.pdf", + "Concurrent Systems/notes/11 - LTSs and Bisimulation.md", "Pasted image 20250414092202.png", "Concurrent Systems/slides/class 12.pdf", "Pasted image 20250414091528.png", diff --git a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md index 7dfd5e1..a04f1fc 100644 --- a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md +++ b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md @@ -128,3 +128,10 @@ If the index set $I$ is empty, then $\sum_{i\in I} \alpha_{i}.P_{i}$ is the term We shall usually omit tail occurrences of ‘.0’ and, for example, simply write a.b instead of a.b.0 +### From the syntax to the LTS +From the syntax to the LTS We have shown how it is possible, starting from an LTS, to generate a corresponding process + +It is also possible the inverse translation and then the two formalisms do coincide; the rules that have to be used in this translation are: +![](../../Pasted%20image%2020250414093017.png) + + diff --git a/Pasted image 20250414093017.png b/Pasted image 20250414093017.png new file mode 100644 index 0000000000000000000000000000000000000000..0f624a4f5af13b05d6d212b0ec60bd15ea30c7a1 GIT binary patch literal 73964 zcmdRW1ydYN)GiPR5N#`z$a9|R$gfJWI9TLZNJvOHpf6IYNJy{Hk&uw(Fi>8e^qc$& zez{>fegV56A>sD?cOj>6;8GwV(ISDQB-A}K58xI_dV^laX-A$0%Wn0u-LY>iEDL^5 zexmR(ILPp8%rS0XT*m3esdQyhDFD((a+4w9{JP#6Jr(7z!=j93LKioAO_puos?dYl zT&`r6m2`_>$=P`pmt$l7U%81!e;gaBPG&UOQ z8DMydQXGj}hV1jeAGQBG-sa1H>dSsJq^`1uc4g?;9N=BUe|E0&#e(4V*P^fQXEQSR zcf+hrkxY;Q>MGei+=1~YNX8^$I$r&#p#OiriqOZYd)zzmKzVM7?>QX&00COJKpE`Auf2F$H_D#gwy`XQY`0bu-k9`Uz|T@SXKF_UP-^fl^P}Y%jky}Gryr`Q&)MhfUpk%i=cp->)qX_ zBi8o_trd>?ne=^%>vB+(Ix zn(yGgXs(Rsed$(eCUX4G`xbgi z-bv)N+o|Xi?HH%tbqc0Rog{^X&;QE%N)Nt8BIC3Uo;Y7y9?vRU)dQC15?x4G@3Luf z|J&p3j#XO36M(a+fw+zFXcw_D=b;f8T?nFQQvO^q%Az(U{09mOU2#cbnOsmuXIEp( zs?JZgfmh-TvrgXd)jf7;tRv_zd+CovPx2lN@_AwS=43Z|e03s**F$;q4pwJ4ivOTq zpF0g^qz)nn*hW=v2L*=Fox@!F}-k4DItueL^g7rmnC^4?zY!a zrFl}?EFAJ0jF<+^o!ZhOL9{F#TW6;O8h3u_5zcm>%l3>LN34Wp45lvxMy(Qm0vT1C z8lJvQdkLigvY3eJ#G?xG{?iJ-7O{%>)OhScw#dJ%xQC4d8ph;ce1;GVbf_Obt(n7Z z7R$X^eB@;2Hh9e65;`UPtf$Wn>hX^*rN=ziiLasuOXacB4U}b6pKcI8gw~CODNO<~ z7Xc@MSick5q3R&Q0n#I`^kU4IV4!pG-%~ZApI(8}$($~E)`PwvN!0hlhjUBvR@qV# zgkdU_vMPjqn7zVZiA*Ci2ToB~0C{q~IC?Mc`eeH=%92DOe`4*z)#2Ikt|hqiusAx8 zf;Gj)xv9#sIjkhg8HH458_`Z3%~czw21=HKkT*Aw&O>R09ip}Iof}Z?8d88ku#a>SIy@M7m%Pw-(>}*zDAKk+7tkkg#4pS z0LC&G&^ohML5%vcyvIkff%= zEm|aX+a2cOD04U17XrLC z=8USAN!nN*u@$lg*+vLo*GJ_9&7!6kdS#nhk@tfri+9g5%rWnx10Ls(KVqT~NRh#U zwIwn7PbvGIFluKms<}AQ;H^ls(?eTV?)+n==;wn^1lSDqOvCTrnS!7_;7#cBzrRZxd-=gk|HkZejC}K2t*gc4aU87?!YwPUKCsBJrR~q8dv;0 zTYEV7CrjyoC=m6lxaUMkgv{JmVzo8-sFMw`^@0%)2ZC_+RJcDn5BTbUFE654J4k9q z1EM8OFa@|cAGqx9!TcyDms*M!;+SY2k^bQ%^9$`W7Jq5Q_B$kKYx))~0@)n1GCIoi z#Dw-Gc%RjczeyC1u!{dc=uUcHw*{#E!ZS!Z$HbbCVWOmJCY|Cb$;G-T;t$k7r6c;D z-sW7sSI80f`2P00@iUgGgc1{&Q)A)qD5f&Xvz+}O3WVD45eyZW2dA5Yl9_U8Wc=}O zjp9-534vp-T&;rd^r&bIzTx}&fBCI__JlVs3ypS& zH~Fk`>%hS$N5CC1Ei;Bo#D=sAp)^R7NJB#-<^S5X%fhDGk#RKvd}* z5V_#H1hGct0pt?PYUxs?W-el$PtAjNtSHCOmv0_6Pc{cPHdx}6eZ~FczU8Izuaw!g z)wfN~TkVC7zyuR%8o6|m$v12H;mxhUT}2C6L=i!Z+VapXc_K%~;iL?@(KqHR+HAcm zmZLew*31xIgg7)hN@v$zy*UH=?L7fpQllr+P*r>iQ0OF?lzfKLFM$giKZsjm|`zDBIg#g9G%N*1)a8bZ{TmagKNMmT5BL+TZ}qJXPIvwsk3M(kNkZv z7&i!hG&v!zEFhkXIlAzt`F`m~^FT zI8)YqIUyVV2eKt~IPAJ*U&}uQ>26(s93D;{cGsrDQ{80k9jCOpvCUfKkw?U#9l~20 zpXn9Z+&BbEH;-s(^9E$&hiN6FF{bNlYw%2Xc+ZRj_;M7`yLUYgej`(y07rjNP0c=G z&R@0!pP&uSj~- zc0CT=6Ok4mJ+7hjcv&SyhQsrc@_IA3@NXnpE!gtlX@5IosU50^{8?5AIaVC+Q*Rpw z23=n(J!=z0*UsYWSGgV_&rtaOj-T$-cJS`ja_{dRp$sO-Ca{A&^NqiuT>?M!l*U9FpH5;OEwWf3rVEH=9KqE?NuS9I3Su3ut0;>q zD~*|vgS9MMx?vM!5E2ZOr+Y<~oND$ToOy_r?Cj~FNEB8==h<-{|6Id(rFC9exkYYT z+gp3dS}x4&J%nXM&V*Uo@ls5ulnr&g0eI*JAw`SVaHZY}WX;3CoL6qrGg|XSR)fL; zRCwmufx;jL4?*D^oH3aVr-02XmIgbY2CCl>{2tIns5Sv-9r6y4@U;q24}c_2peBMC zGmkMcu`Yr*g=2bVNC(!UGAX6c*nE?J+FxwNH5xQ%>Uet6$%04YJ5MoRQ+s#x++=-? z*m-=(_;N)k#FoW&dL`0w?50h-W->@K`<5}Z6_LYhXb0;wW+;6KFZv+I&L5B$#*=C$ z^)cbV!U%B{<}#+zwhw=qcd+d|fOWNY(OEbgFX@~7nbw729gg~ea`(hHenB8jQUB*Z z*C8=kF_#$>mt{=!ta+uZ{L*h|s ztDVnOOlr+M;*#7(weEC#h6QqsFouvt8dYsOh>9= zT1Q(B8l?a3_0Cv{g{L@qs8X@Kt#Oj|Fq6{XGxu@Z*F8lqmXF4`=hqkSZTr^qDIu}P7G2*`n>WXCu;W4^=Gg1zpKf$+Lo4?mkEFD3PY8|q?PE3H~}iSh&e7o#FPTdRvWB- zg!P=y5^Rj9#otEqQ&Rc)p54s)gp zWN#7Ij?hDOdYo*>_c?4l0`78-X>BUOkowg)S>js4d62N^kIW;{7oQ;ZaQ2oqb=JQ9 za^|pc3E{u*2aQwWR6f|9IOq7IK#| z#8`hkmz%mN(DgN00M1ydrZ}WH)^vfcrS+)&BSR?PoD2<|{WPJpHJ@w6m60PxcKCQ6 z9K6}hU>}h8xZd7dqPkX@C|yz$VbeBIQ~Wg^t-e4iEv3&$xE)ibj*`a!q2B1e_Mqw$bgCHaQC|msFRLqFYaDDnDOujY_$&xNj zN0BViF4>~NPk+y&6Eyx#`uueIv~zH63jP>=pL%N)2T@RM@Z13r_4?!AOY}t6(GDh- z8B52f-lBlX`&FPtBPHLmGG)P(Js?60+QAOqzR1bkZE^_r`$2W-F6VCsojc;0A;3sh zb+)an7-<6W#9pf~un0NAwVNKkd!E#)n)quSILtG09%pD>Hygx zaxR!_e{v8nmh3_42#%Pj6^0J#B(kN)fIs3af~ThP;g63?#r^Q$@`IZwCi@`a!Mc#b ze`wsHKaxx(l1n=BlCGgr9EXYX^?44 z`!0eEjrNWC#DVRy7*Mq3=EhJDQodN?=J0e-{fg3a;%91KTX$BA#L+F7QWnYd!17G- zc`<2vB5z<|r!XyIj4l5I@{9bTXu^u0ddBFy$uw3{Jot z)Wrr(>?66XBg*~z4w6kJB9faK{}%b*<%ccPd}FyfHaRB!X<`s9MmPQRU6U8ny>JAO zF&!z;+vj2V5F)&PoTZ$d9kV0h>g(0M-~QV(^>qSfV&A!p!`57Z z3y&9|%=8EJ1>&q!FdtX^c)4!HkCSiFHN*?At#d9wK)#i6kt(h z5~gKgDuZ4l%r7`qki<`+8wTqMKf&098GT2+M@hl5%1TN~;UL~Xe%Pf?V?&{jl*}4Y z7=r_!=WmbOxn(oSKQmWLS2I~DVYRAiHemxwvx{6<54=~ffehR+*;Lt$^5E=O_k5T7 z&#uqBEZ4cDWDoA}T={sM8;SrWMJw{~Zy!&o_+>PWmp0h>M^qb4cGvc-@mmY`G^w@o z9HwVx`E*hUZ3aJ_409F58Nr-8NG$$D*kk7)0nB>pO;T{i2oWw_5Gsy@<&19N zYm}TUyrAM1Ev^vyDYWX=3>qoQO;^VH8f1`uuq60bSsm*ThGVr%HD^U=j+@O5G_KJW zNs9E5401(CYu>Cj{_XW!DM{pex6f4=fAKeewF+{$$@3po*{}H9*hp`CrZLpfmNWzK z8;I`{R&pI;+3CdrbdYklMUP|ba>I+b>$tv#mG%fc+z*JI942o2U4eCujmDDL$0ki z2Iu$qKkt`WCX9Seqe>Nu?kB}$Qt!(&jSTzVl&WoOL}I@7-TN_`CFiMM>}e0S1oM1^ z)Oc6JYrP#RPmjE_&Xpz(9DPrd@qL#wP$j(%uMC#%5zqZf!;7VIW}L`6Ha{$P&xTq<8F`Mi=4w=C41ADUrJk`jCE_fqRxD*MgGI11G8eX&~r zRR5Bf`PEF4Fkj1zzJbgNA;yg_uy&Y}xcKATfpem@#^m(+xj z*xQ9iD-(i&wJ!B`D@x)0n`4nfEn)%Oj|32#rH)1jOL)Y$p4WU{sxZQO_GFtnMqxGS z>Qy1*M9Vda9{JOnV6{!)x7;#OI?& zS@a(*$AM^_p!@9E9HulIp;y3kgua+U5@pdpjZ}Hgq=hF1$A@y`h;8}nRMx?6*0@CM zEzz+@BL_#p?>XPi@|i0o+w$;3!#UF_>nT}hk8{xAOR)T@$E3M6q-1`D{HC_LT6lxX z%6!S1Q~Dc*u`TRKd{j)%8tlCznR2UN99>Z$Xi7Giuy2|1%mOQlh-^Ukr>fZZdq>pP z@f?}_UC*N%mE>-+wz|(z$HYUi-czh5{0Xa3Osr5(2@OvOmptYdMtI0ausjo3rM#%? zXolul#`oQc;bA%kx~U>RK&0ZI4&#|9Iz8&SbVxFqGHH>f_*!jeXJQq*V861;#n#hc z^*=1OZKet9-9sU&gm#-)si=hB;IRZgbzQF8!0*1 z(FMwbpc=EVs4}@tX^tfjW=taJLh|osjHi)uP5=NJ7gJK{yi%ct;Bf9IY0Xu2WmnMoSHa= zJi`pKvZYcJ>}^IzxBFW7TN?SSmlD~H$oh>emEnV2&RN3p;PE$~&3%Kw4hv#|wCfR; zNIe>w4umRy$`l6z6qfEKjdNHSBj)T)xVNL5pJ}3n4MA3KTE@2^0jCDyQtvW8LHL|x zE;1Q}tB1Q%$=e>xYP8e6AjudB+MkC#bI;pveoOpf{k-ipLx#@&qh8>>7G*#q2wE6*gla&ow zZ?B@N?fz-h17|ewi_|QB$Jjb+rt;Fn)?(Vc(}f3 zd-Cuw!yzFdj?L;rx&-4vd)tHCf!Y%EM!4TXFe2zXeBXAa z8lOgg7mD!0b>X4s`QD^u&p8Uoib#iO{hIdlOTa00Vv6XA15hC=GZ3-dq-ER~Lw2(`tQmsngUMNG??D>M!VQg{4Ko zFIaEC#FZS%Xxul$iAq6B|4zrH#d+Vsp|auYxN~7jql1S|bAbsXU?u`EoDYo2;~guc z)T;fOB(9qiEI+P1$Du99@!?KKQkw70_3DiAKCWJj}@>f zCJE!2^uDnqGgTofVr#S&hY!>mRMZFDbW~JD%~ABI5Xq_}7J$Yc-Vkha^_#@L^`bvn z%#$A48UCo2P*FeH6=}S?q?}3>LBPz_&6@8;%>pLcIe>2ekR=VLlZf`~iVjd{kT)vK zp2+J~l1bt%1~5bfQ}zowpM)3`z&gdWN*Zr&lhDkfSsc9#Td`RoV$tmKGbRFK>%A-z zAvi>x2>MaZ=hwqD0n2zh!MCe>n-2$@o332sN>tqCa06IG-Qdy~2E>;Wu|6O0U?K@h zNj%%z?!)0*>fC3QHQe|il`E8^c;|;`*kF{2aJ#hp;S46-wBZ)u@Z2hk5HYqzFVhgp zS~x}?$+-^jd9X}Y%Cb7fOvAe~d-$a>B{w=+#(I9E(>Ak}dFf?6NFi(@#vffOf}2E( zk^eXDoNEw+(^z5?O@)Mwq)AIV<5Gjr zYk&E@o;zI!yEvlL%zHuEeO@GeJ=foMSX9WEF{ea{Hj$icqx%UD#h!KJi+OPv9F9h) z5OEK{>y1oOGbL3i@Wdxjzjg;=o(Djx)BNujRO+;gC+cxC9$h<6JKhnn3Pc#sD%x^N zWOjhCIO!rk^R)kioCX2@V2`ekU)uG%z-dQXSw{)NnL@urRSkuGV2HgO(V?b%id-{R zTob=5?hXdXDM-i}T}8RGdda}znVnXpV>1efobp1X!Gyp_^i8v{y>|##eJ+t4$^dWo zlN*ngopwK00!is=kBgKAjxY$HtG<~VgdVcD%=yGUl%SAnt7C3as7b=rK5*~9E1w4< zY&ySn9Y41fig_E9%j~3~1}M)P0PtWfV{7z~aQ2pQu*+y`FHkwC@o*5fc42L-ZS=Hh9znbMOpFzDu%LbHD==T&MDWpiE`jLx^a_? zIKjXua0LbiB@2`o#K#Dz`~1tnch1*K2MS}t95*w;k}zs<#wCzyFT{TOWH@*BNzrn3 zbL=nGwG3%$f-3X=A8W9=Vycif@KIrZ@1d3LzKKN!>NheIAVW zO*ar@k};J>N!C~~kymZo6#4B;&dGi%-1AcU>FZd-Gd>}%91n?fET9=6ac54=Dl&y- zMJX*o=DlnyOo4caqza7WKU6lChbI;z@N{79~RL z1t!EUUUMX2fUMOgmYA6-A~pYvsz406L_JAYr}8S%^T#~wj$|vRHF=R0B4e6{d2L(j^J?@$ikGayPX2I$(DhXEtxZ{-`V^zu zRw2EntD>*LMue2Of`pxWW266BPFP9BO?WEHy;joG$?6n3?b{2}7W3sm;bQ!fI*ayI zA&GM`Mo~q0=kDO@W`W12J)weQ0suxKp#gj3n5%u9xl?922gUr5W+miMb2FuGhz@HG zH49CG@QyohL{KBSx3J)M(WwPDYS)_}lrK;Qh-sMP&G~~YNjL(=dZuT=>vBko!ahFy zWdb!JiQ7=?2IumCXp?)OmDgQQj12LX2D3y{%cfihZu=!DN;_z0|F_I%$w(ABE?t|9 z<1dLSS(%m_Z~weG!5qVj^?on?WBQiNa=1^1ll?mqb0+Pe!rB@AdRp894SmS4y9Jo= zrgNl0*8N9RX@T14s+kJ&*Pe?Egry}4PY$!vs?S@N^!^C)qMz>dxI$-B+$n#tP?v@O zV#eW}8TxxU-QAoV40di!KlN_C^gVAJfic@dHwDl40YXYeG^JZrI(wSdm6Z*((_Q4s zRtH^woBoQ4&Iz@)l8;63^kT7KFr{hpkSZW{&OryE$OdsY=_=(8cApygD9Cft6ISRZn5lq0r8A>kE5L=&yS%^67)(rL?;5x1STJRnciHn|LbzoJ*Jp%^JE zenb6gcqK&`ISrksJ;2fP!t?m-f+wk7Vd8-jaQD}9^yqGHENkq}9NcFXIk5QVbu4TE zbWr}cO?Xl0ZpmWf(S$nLq5aulcxz_wZab!a)E-{I2arxh#pUFA+a{0DD&qI$AT`_4hxScmWiX| zCkpJKe;-$hK4l%-*E4+%rvI86JBzjw3K-lFz+uUMRHhENS=;EBMOV7*sJ|$4+cDog zQrvhL>>RXEW;W4kx_8;aoo~gYE8~;HLLpLfhZ1_WiCnTtk&o9h0+Mv9Om0%EzhSV{ zm{#|;S*a|a-)3gNdg*Hud1niy-?|gM!u`ioQ5w`CAA*+IZWRM5$@>Fh=syq2r3xpB zvnDq4(Qrt{Nz>w5g~+S)0AeGsYYh2_Ar1{QGtB6YGwvRUta7KPi{FjLrBf8b=%aYhwS_VL7gUKhPlYia z(%#Ntj=8EW{L5uST< zUs`h=X=(TPXZ~S#4|kB;UQ_)Y3vH&Vhhy9QV8Fvvdq9KF_Mb+J%TZ^TcQqZD9E)XV zqZsdwWv6&|57ev*Za;0r)YvC3>mzGnB)hs2^*d?zzx2HRC#=YsC}mrfZo@yS*`H2D zKJ{qHCz#HN4r7$Wp>;#^>y9NXwBB=*myN%43`ATa>$iBEU342fKLtF=ujuSg+xOIu z34OY8rwRmDKmR*Dm5sZfzw2mCYw&ow&N(hAVlJm=Jcxm`9I`1&>`i+95%TtYHt@e( z&3_4=8af7UQx6xbH=8G(kB2#MX(oiF!*)VjjNJ+cz|Pyf3!|T(1ny&xvE@PEkuOaU8JAhh--MJa$$tH8 zeb4qujaY*KOSYq-JPfOq7=DDTF1iJbtF~B6i-?A@q3oU_5aSm+ zMNrTC)^i5W=KG%_3oTY~r9 z_1M@+H>x?#yDEOgV1()B6p$mc z`@Fe&^NSyz$x;(kQ^J~F^{&o}b^NP|hAS$@VyPJDH3sF8jXAtwN&Hu4vUbo+-4&gD za3nv45Lj3lw!CORVHM3xTj+GqIey9jq&cT%S@!km#$9I&pL3}^<1Ge>Ze?!!G3v&&@{+dD8-ZlRY2%0B0 zdB~~0b8^bK1W>;H4%A--ZOgzWE>22q8eO^p3R&=r6FY5Ty0@-xC-tcsK4D+&KYrAZp;^rAw&$$RXv6H`<$Ph7>F?|N45*KL?-bxx z{~pcFUnXzvDfF2$=T_?LlZ@&-$Hg0qDO>WP#PJ-(hdI`*KY9%%rdGm#P%r3X{Mzr{ z8ONi0Z8k%=(img=x1dOJVR?hLG*_3Nn7TF_fXo=gmA7)hwdu8QfRb{3#^}sg<>BSR zHF=|TI^FxxQWC4kZ#xK?Zzem=Y)SG`>b%rt!gt112Y47#+Fay!Ls?NAZr8ELo^h8F z^FkBPaFu42X@@@=RujeBI@O;{aJ*gkv4Z9R*&~*E>u8@fur){oz7ePRHC@>?iHtH> zIL<6Q|GU@?ejGl*;9s)7oY~$!Y!qy4DJ;4Ld_IVt1;KvwDfMLzto4LqZVfXvsjK!% zNAB8i-yu4X*pO&pE+#vqtvdQGdxwxqYMN`79K{N}e)A^H$5r!7mc}xZ!zx5hfxw2nce@**i4XH59mBpw0N0{!I7_~4d)k#Xmc@SgjQ1>7SnB!~G1N@b zYE!0|p|L!dH6{Bw###Kc_)GIe(8v4gLhC-ab$YI8uGH>maUQ}}N=#6@oh3F9l7s36 zba{2pbCFX}%92=MojlLf8=qnZI=&77i>bEFCWJ(E%c03@+A(?GZ=10RFx~j_W@H%v z?`380RhYiqDoOhu+f%_buQ~N{9!SNrC;tvEEw3Kz_CG(Ztvri8A5^#UJG2+utvs$i z#ymeg&B*A##Z2Uml9T+K@F8~dRLt*Tf5m@YvA=(*zAp=vBAZz$#PWB*(ep-rVCu-W z+?Itw85!7iEO8(Q$9#vSR!>e*!37729^ad)jMZ$1rl$Ino~;q0rEPhsVs)l99&n9g8?o|BHJAk@`lwRdTHrt17#vCAd;!!QP4` zf10$HFrszB_xo5lYXQCZ*H4>UgWEO*QQ8+uC|`fgr|T^JeE0{h`1U-@yqxhI z!PRb#31)s* zIvn(kUurH~zP+871H*5=!jam25*0sMt#p(9l$JNT^DPzif`;4gVGCREVl3wKR-Q}t zm;IX0(v-ESEWydGpQ$uow!XT4cK31~4{$!vbEnB#d@WPRzV?e*zuUy$ZZohbL4@i^ zZ0@-+Aj`vlXypd%avn_K=2{(=*xi3KVgCU$pHeC7pXa~DQVgfN5#v(7h1|G?M+Q*V@pFqGzYvd$wF;56U2X|Ba=yJvvUMzdnfmqSMgg%=qD367^(=~ z9`AY&TlK#2zhrW`qeUVBHL`P102>>HkDS+UI}OwEWP)WkT#hdE7T~sxZl!c@B>g+vPl`wYwSoXPzt=Ow?@0S5d zx|Ek;_>t|p52?R!K327y1Aj#so4l}$K)Hd@$ULi4aIy@qLIXnSEn zyloXp9O^KJECG9gyej9}MwP;4gIBhqVA<&VT3Oy2sb%T(=OGLc_fYTFoxoe7Tizdn z*;9CVr)`k!+}y0=JiL;kArC721k>|6Y^6>mu0w)-2Y-_@HnogoFC*l{ zpkFnmw~R8^DI`P&IAIk@SR?#)T%FyVMgJY*Sllt!D3mYTYp`pAw6MXR%=g-YZ{ox? z?SAFer_|2AJxmkv2EH2(w(?ocCFD#d&f9CIk7DmbaiG^Y3uH@esn;2f%8`t3@~l6{J48Wo3_EDpK;Ri;G93+W{tB=>31*4lbX9RN;5O&~=Uf4yZQuVI5y z)fqCJl-%T71WNCo?Z-_q=dHCeURZwkODY=GLcUU}PJWrJSTEZx@JR4u+UtUoRQ0hN#44=J1OO zw52ta=xNA>vfn{P)W`+%r}C%npPf!TJq3c*oP1zSkIRRnjm!FQ6%CvOCgcx|xDlk0 z)=}Pt75}ItexM+AIRfj4mw%!l#Anogj~-q&*v?p+h2C#SorNzK=I&f6hx_C(UWQof ztL7JeCtief_ebQ9WQCs({&hiYcrtgCG1u!9HW#uA2MM_R8LneIvvc6P*v?0f%l3aT zygu#p`l3$5|H78?JKtWhU;b;GI%|{u(Eqk^E2X&hW0pQOZnppT_!J6VE4FI$k%(I_ z9Qhx}>iB5>7l7AjRX9DqGFDiqm0(?;02_ZEoDaCMIiiZ@9@XYo+uMEc=|1>}vVVD4 zzf-lOy~r)vlIAOxkJ+)SEH#sE%r%bH-I7Z4GK;*ROjd-RumpaZtjtW`3&ZOT^p>fR z5UJ4uj~RaVBl|;JSD}UX-J5BQcYQk_qq{BnTzyzl{Wd02cAbAOM;^7ZZ=@gNr8BSj z{?k9esmA5B*x2A*T6J9by07thcC&Dymxh`KDlQXIkWnw=0potPcPoCOoag0byds#x z@}*D^?8yZyeuq?rI)XdiB4-A-|6w*d!!*s$hH$ZDF0eS``^soZ=@rA2_Kd7@g+*+C0h#I z%EC(JM&#&1=zDD%m1`M2_IY)n|c>1@^xT)V*4dyA}05By})ghu^ z4FUg>sQptB(*w}CiabKU^2&;k$?5qfykp=)Z&Y(H1uUGE&=?t6X&k2O1%i=5OKzg?`i>F*mdV6}%M_bQ$#TO@IE z!X zfDgS>%so<^P~P$(H$LlEvTv2Y{HACw-?%++&L$^gJTvBX#!&qt5KL|({+mNfv%Gnk z*KL`{vqq)J(8Xx1-Vxz@^k+wU9UchOAR4VxJ>08ou&yU+>)N6Jl8AvSa6cyTnpT>< z&n$=vJ1O-3YJXZWej8xaL2;815IXc+_NS#U$}Gh}8}&DVqxm=fUGy=3vT4?m=-);1 z=>vP+kku^c>kF_Pay zh#Abi5e;X0yFJlEV~~l%l5_RA@g-&?aUN3rs|?C)^+PUzhlWEre=(;gY3iHUH+Q}v z#-|2#2l@Ia!y$u_aw{{7!!e} zewmjZcpv&;UP>-NiUO86S=vYJ9;=}xU58efCZGDY-aU^{7jGdV*e76vi=-7 zyvq2w%mEzHt~((v`v!P!zwqaVw4&4}>*vThud+*&i|LkLDk*ze!4LWb;DzFwxBFcE z05yRTR~#g(baaUWFQbBW;rsQ#4&SxEPhK1ioUJ|4|8gy8zoX$;DwZc5w#vJRe^q2W z-8JZKP$b9)7h6qYL;Fp(#)h8D0ryb04v?Jwi%q+P9>TRm_(*}qu5NcdhdLTNl# zJ$`Jeq=~Fox@^7N26x_v7GR7VUxW&#aAs*ubvQA1ztr=6Mi@x(XsQ~$>1Sqf#X8cnoZ+a%xsj24T}!TbuIcwrjeVix z-OEqxW#Vjfp%G+qvkAfP(7y@2TL^|23h@pLrpe3U0OFj#;PuRzhPx6fks3~Kj@)ZMq^cs zxZSbH(mY;yJfCa9d8tfYp#}?`U6Y(iENSew>6>_cPnINs!o%i%_+GCNAo`=fQ^DVp z-K>gjCZyw%U*I_q<%q@9ateP2v&xV6>Iq^L`f`(>vp*#p9zv{?2#~#_$=}0NS1gxq zZw;n(F6HtyD>dHBrvMa*NRFfe)_H1dhb)t3DLjnZQsS}CUL1T#>VeaZPKWbS-FH=7 z+UPSB7EKKhw`oyS8;IzAYm7kMfg3iG!W7`U@$8%Y9|#xdo3nncr{GVwswg7m2lrhz zZGl|I_YBJ&+P~&EWt4_K6^c>dZ5PA)H}YYfr?*__Kh-}DX>9DBT>KIvmv#E2$PvFj z3vf#{%a0;qHqJu$o3D<#nX*Yrlae%{Lbzzc&z;C$zd*YH{Sw_oy0>Rt9+VlXswlo6 zvhc>-@ho<7SqZdH6VoMNm8)wnwYj|=QuTqwV48LIkotOCL7Ce26~bTn45<@@ zd?ooZhhH96@?S2dQbM0z$QyIUdjapjRAt$Sgj81Xl9%f)nOEv+%1v^-57hg6QUJ7cR@TfOF}!{KS%N*osmk}h-5VRaPrw>Q;$+yHmnMt;3JC+ zIK`U$Twex%T(}S{3G2a2qBRvr{V`<-2h?aHjnp3$A|$dum0|mNh?2*kn}~e@uV9LH z^0G__$9B3l>FQpr^}It2jwDNQH1a#xw)>gX8_Bt;J&sxgt7f zQQk-QxD>0}g)f*rmZ;v!Y&3sp@reV+uYGGl4lFb2`;#LhN7E~hPu3*68Y1*BU<&z6 zSU%sW87bKmOf(V48rzgAYqUu>QFin+oVB&G9VMmwQP7K1kzlX~yOc2-UEYC@8Ye7& z%@8O<*&o$f!Y+}?%sPx3=E&JM>AM>f(0>RZgRW`xa5RVTCLM0}%f3qHiW2G1z*)Ry z{Eo4v07wrjOLnaoa^Plw(z$lv$bDpvOafxR$}wFu@FBZFxl+SZv zHLK$4Sn9^IC--UaSK3x4`R2+&X?^uxtzR>*SK3QhF_$d;sYl1~vPJF=A741e9~+uo zj&~Yo8r>WC*!g7G`&%yo@ahAY{>#Y$|8p)t5=+)N%lFduALdb6gM1uT>4D2eA1MUU ze3ZIwjRl27Gib6#RV8;kYAKV|1gZ)>@Z3Yz~^|Wf`@be*gc)^!nO){`RhQSEvc<;k+T6veYZRke zU3rwgeexgg7f4r!=E9De8r;Kf49P2Hw`J6`#Z-2V`}6E4 zz;va6MxzlqRf0)6|j%xtvWdjo*-u)^X_Ci+akU~yR6t8H~XDip>mhWEWj!FLw za8udxfZxr}-yYd+&?|Hd5+*^Tt*cdPY}MAohWtf~0-6L>zsT}RjB|%e8Eqju5h0eK z7lnHcB=X7rni5+3|9zLsD-kaBy73eOVF4o}9sT@VJ#P0cMo&fkPTZ>w&|V(^6PxiTOZcp(6(Z!qw{T2X0hj;j=?L+3cj*F+tLHImdd- z=j4-p9bBDnZ?|f*Gtj<@*_>J)ySh_j19MEFP)0omN+5$I%^4{X?$xLTYa`*}GT7qy zdU;25$;K$g&0<|3i&wXByAx7J^$`p2-#2_;{fd)#GtfU7JPSA?zKA^gac2_Sl)LJ> zW_qNfwA3cIY@#W{p<+QCo@grgCoe}AzOa1bmsMJ*mn)CQ_HZ&^baF@k&eO+-tTIDO z=WylD{bhe=`KE!VQKwol`aP`!2ag-iUT5r6w~w%Z=z-#LIcKiguQ|KnHDA*vyai-^b%k#hj_aLv<%RqV^05&5maBk1SIG(4$=CTPbA2?sOwNiaEZq?I%}uHHW#9z$s!M*4xod9i+qnu-s>&t z>6PpqUXU=$LsLJ$yBY9xCEDL2%-}AFH{(Yx2Aj)EH81Z^l{+L6;Q}!|Su^9a6D_V})B zrKI@0ySsf(G?UJ?-L6*tM*d7pJ(+ae;VPbRv2tG(9lcrpg%~{?Bo!cUgKZGa+xYwV zC{pD0_Ica5Fin?-kcJ$tJKYVKpY>_9F zmRx_L>D@j(MzY;J?Hq1{_E;YKgSkk%G4pb))mW3%fhzUoL#SSQt|mB6oOu6e;Tnly zDF_0m5h7f@QgH5dVc_%%MsyxEj!=#$vB1c>@LrMX-^D)rVmC1jn#3;$cPE7ePv4#t z%hkCpXj9Br938KZVzWh_cMVphuM6jW{bAK`@27jPEStOx=E{$E??{hv*j@*qr|0-s zf*G3o5KW5Ut6sBsJV59Pey`x zyCc}i?iIJX)Tf^DeE!RQA^qgkz;>0HFKu?VVNqkTY$3R^APG&-EcC7r*=M0mVD(!b ziv#kIY$e55$$j~gyeoz3&qw5N)ktQy`U@$So0Dk!hrmKjP2|+;Go9$!YYVlTJC_?% zwk6KGETdXe|ZN?sfj`|{O>Fpwznf}~W`|B!oB;*&3*TN6V+f$XHI2CfHQt8+VB zv}~PZyJKa_v2wG8e8=>(F>J<~*LqvEzv{M$nlRHQEjBB+<*t+-rCGFlOGy}kZ^fU5{)J3<<)O&mmqd;>&*dRG z+J?`qVYU%=m0K$Bsg_#no0HI`j~A7>z2#cdBpMzT18mebu$ejJ4sNiV2o}G$O&@)` z=|P0vJTnL(Ftf*F@$L;QYW;o_I?bvHszE?-_M$g!%kNzW>GJ%?hD< zqv0_uXp?h@B||~PX2Li|=)WjS+(YK150*-`i@hLYvk$}Gz@J|SkUIRy z_4Xp=tY?E(zdE;vWd9dLqyNooZn3P}0qk=Q3Hd(0oHj?h(gli9-Whq4RkugA308$J zTdN<*wX>#9r28FyEU?E@eE9J6&?=x;x8-KBx!~=dD={T>`&HEI_mJBT0=PkA7OvQz zXuxzYu6`L&jgfXjXZRM{^v98;S%?k^$jvkWX@ZV1GXXj%T=C)>6>@)5P#MombwgO7 zoSg`6XHSd0tq7Xyq&%aSyY@4h^GCaU+a%)I)030O3w>$2utKa{(?pk~LZ{y}VnM1M zV~L=IT*nNB(IU_ljVW7Lhl_$rUfkL)<>oAqv`S@?DLulT0%kwwY7{-pHNb|hH}?fT z7cE&Yr5E{Nb2?Z*Als5UKENM|D8K;8*HdqhJml{xGIF34oBU%abKFlCJ0=k`ns5F?Li zxsLwL9kXP{O&p}3#-6A^S*gjk2Nv7LJ+Gdb0>u;^msE6pyqmO63U)g3GWwef@U^P6 zNgA7xlw~K+75pNbwRDt`}P#&wCys@?94_SH?G9a8n+| z95bK0aV8XBf6j{!A4Y5mq(w$6ko6Y+9vnjonX7`QYisU}xJp61I(&=2xF)v+2tUj0 zxilog4(0028LHy3pHg$6RD-GxGcKcK3J<--woHxw21}mh^Om+LKC(NOleL51IgSE| zhoZ=F;2P^k$_7ByC%IaCJbWp&_`#BZ zpK}6}@*J#kSPMzN11@B?&RH z5Xdx+&aQ|QIP}sbh))n%Vn-Qx)%a%InYwalD-6?cVv=*&reQ!z#mPc=&xV@nMTwO% zfNY<MagRNY&p< z3>Foa4Px|AK4&QJfe_a;!82IPQ|eY+UDA76a?tN|JUi?8 zneSn9FO2c4bOEfPdYT%%p=z_4 zWkdf2ZgR52d>o$(YgP=psF#QTS*r-KuA~>@sY*<)mQ!qJs$2@_gu@SC-*{}xjM-rC z%cF9FmGBIf6mRg&f2AE_VyYa_JZ#uu`$rbrcZ-3{X@j?^1Y(^10h&RS^gvx)=s*Wb zA2v5bC&kzjXMzrAQ5PFwQh6p$oTGBd__*UokZqqCQ4rcFwL>_@IPMZdNoJbLM6gfP z6LGG@WG>BTY#8|OOFkB5&P02N@{JQNt$hLQ`~=&o|+J;b}VkM!WbQ6eKJEpm$+ZQ$vgqV1quc;-iu z;g81KEee(Pzu%l39a+kmLJ>TadXOs6wLi${p-oYIyVUFUbvxUR{iNinYP z{Wq)QXX&rBeJ5v_uw5MD`QNRjA6^XEj>`D$bC(7EpsOI4tNjSeP6oD&5fvSGd|Vk* zf$W|jV*j6L%4j7&E47HYt~gsA_jE=M@q-giJ*op|Mt!6ofqp)SR<~@$1ml zVFuIb_4%gn82ML|S<((-In<}1-%pCIx+j5>B80WnyORn)pN0*ZA7?+DiZFqLn?XmT z@!NN|mwS#cmy^=?T*XX3h=fj`8ezxIwfeT{$z1b+WsA2;N5h-kk^cx$LKwydIJ3+y z+{9!d`6?MfDsr2&-iplbz%26%KMo-;9yVi4p}_fhu~W;}eZM{9Ytp>QJX113mwZGC zDhcz1BpLWaoEb_{UlU+}D%L7`YBuW?YLGlxO1-pFr_t`4poJS-MbJ*F2F!Z!n`(cd zmhG-ACe|!4q~lEXPkd9B1TpPXCABzjt&)1F{^mZnnCw3v z_xWeIo!$+*fi72D7pQBnohJ+t&veBJWyUCv(mlnUS}^kBDwgA1Rzq}uTSd0>J)fW% z$@XALeU}fm9;XvFP$x~)Gj-xeAFF4JKrz_h$DJfufu8sK_gkBi$-d)rwrF?e6h6(? zQ(%3M+MAwZ3AyXspA!@q{{b4O)kyTfB+jM6vCdPJJ#J?)(w!)&}P&p zb?HzgH$3(2EB+6BX3ZiSWg}4-xQZV39#*Q==Z-W^Ye1dNRP^dRUrG<^%R!Z76*uvp zIlUQj3Di!rE>4qyH;oZr?G46zYscUh2#=0pKcSf^Z44E5s+_9N-VN=dII(3s7f*^d zr;PNVfE@WzA1$YtQQAHCNP_LnA1X*uts(aBSn)K}&&DWF@vw zMKb!cj*YhJmf-P4?jN4x^4N!(M!ubZi0MtwU)~g>?-B6}YOs!c!fX#F;{KGF^S)5n zc5_{e|pAd%<*5)I+O=g;qsZjG}(m6#?0q3UdZ zrvt35{O!%*f@`kMZo)nnPA|8PTNRdv_=>jN!wYOf;KtJ0LGZM?_JV(a=lGWtQ-G#+ zDN1gBKlj&Lo0#7;PJ66{laXqoW7@;Nb~@69gee$1#H$o1E;<49pR5 zP*cj0|GnsQ`f6G9Y)N!(PY*V4mX|%J-WeR3jXl+Lh4m@l#a-lNsMiENQ|bvW`XowD z`Ws03RKh01l znH0JKAeKKBm=T2)DGx6eB^pr{C1k;A)W!E-VW^R-?3%Eq>~d0QX$xsF;fAveiu;o( zD^D7BETj*>+=|t>K5H~g&4yb!%kpPm_t3}Q?@FHw!-}px>&{mwGy*D0&fHMOgm+B; za|%#W4>1f-P4wtX7ZeljyQKDO1|*qju#_}K%)6)SJce9cZ_{Ml#ITBZyWa1e#|Q2z zUoQtz3YowEfz?%nf8+nez+W~cG)tUmb0r10%59)6>F!y0I2|uokE4!iR`VB~%YO2D zK9g++;1A1QiK(9O$#Wb&A>eoGg9JUP!f9@*R5ce6ey28`sNKyrRC}QN`I$`(eFD<|GD3I7O@!y0*KAfZJ2e9o?`D4e0TIZTU5x$jq{`0dzYcT z*Y%<3i~G&S!sGpLs(&+Zkf}TOzD8hB7AI(ADEo`CLuw&PEJzPauF%wSW6}203t?w} zlsW}kZM_SEd`AW9cl3VV`7~A<-+NHHU{tO^4yFymjX+jw&xkM>$sE=4+7k^zLxIrj z7h0#>ad*x#bPiID5@#d9Hv<#77nCzEz_gFGv(Y4x<2)-G<+SwZ3mrkYb z1pX&tqAuUTSt?m>(Pg2hC(-C;{)Yb04zEaD9x(=4n$P(Ck3LR*_m|K6wh7JBM{3k*RPNRyRKD)RE=po|{78J!&mLr;%(E3$QC3IXh}WLf2Q8T1TJ zu9O36?>pf`e3C#$MU6D22YUTE@iYoz+U^ua0J zeq40>YQJzIuA}`OmP=Q$Sc27n?@glKDap+7FQv1gXGevysvaC=es0v!`W!CX;dq77 zkaj4UobD<18%>4z+&FfIWm5C9lm!veCChd?GL{$_p-)`Lao*^ zyjl5%i(KkX;>S6{EPJq{_KqH)hm3gWL!|W0hrg3db`hD!s?fGb+oTXm>WHd?+s4?4 zi`5Fi7xVK+n$IL73o2D^A}o5%Q%-%C8cj6XLtdMCqxbaq=ejH3qDd<%O+aoSqx>d@ z(`XJ7bJIx7AEZv7)+@Wrn%>l7_r`jM`?XbWVP2P)(|AG~;-BLmlY;p8t^5_)d?tg9I=1-?ehU(drO^4t&N9Mujhd35%kFSSEMoyM>bZQ;!HLL3wJo?Bpzdmlc zzuYRLXOq2xIXF&)=lq=2@Vb}p{H<&vR;NCDxm^b|O*H>Hh++AYRhDFfQn0vSz8*5` zEa4KbSUhDmKlk&;n}!7@{#OMwE(}rXEzawZ0KMTYz3JL+eYSdeTodyb$CE=;EIocd zgAKRgEw`V?KN&ntuE#$~M;@I+2LDA)SCk2hKG^y_dOZHqe!R2q(2Z15V)H{3<%tUO z=Vi+A11^qkJx({)_W!wyprmq?`TsTz8Pbzd$B`N=7A2M}lb8tF)z;_%s`27PvE_MW ztxHnjdA83jeE|?UOv6Naim(HN9 z+LWv;dbQkhP%{la>V4$6FL$^@RyX2&LLkMAK1LNHzda)bom^q)O9z5|uguAT`rKlT z$$-L>*Su|BnyDO2e7s77aMDP>yb*uo0&OrdLa(ISjP=6!#5n6Jq)d-nQ87+Zg@P#* zK#Ps09(Jo*u=2M?5Eh-5c@W&yp)HVZwkyFGq1N#)!YKKZ+py|jNWNT(kteT9>eP0} zdftISiy5FnyIlG`kx2C(j?D)L$3fMDZ}ms(FBU*ox0=O?C{<}VkU$Rr}k1Qzxg%BPj!+~G;%K3gAJdYQTM68Dio z5VRq=rD@$o14Vr^0YGF)86GoG&7QWhoxP!9Y#K;XG)M~)RA?XL)=02C1Y{X`=uddQ zEknxjNcf5E8r{d)Z@Rc;^J~nWrylmBvg}T&&D-9MBPx83u1=#|b1+FowR>(% zxY1Da5iIrv3t2v^j1^ZvJLC#vsgqWCSV3b1WCj=HFW_8}^g0c0J6CAq47{@9>O)3E z-@vLxWZxFjf5lNIKo2V{mSsDNFj)c?U;`<2w>m1}xhFqt{;(Dy4Rp1l0e>l?Cs#y&xjnku zc-9uCCC)tPfq4@*E_)S~qTadQ$lrl_R;EbF6i3i+Mt1#4=EKBlXLzjrQN$4492@!S3UbPvuqRdXzfyh76* z4J?bCFL=Fjd(W6CSgU$bfr!nnTJ7diH>lhAci_5?LlBp6($H&URjgp=<=AZS) z64tO3MG`tEi26rt7MUw>o~nb^AW(y@G-Kbc{aHwtt;U{)P=bJL(AwLjXqq*d$97zp zF+@`AAgc4u5NkutzBB%;tdtjr{-QHbe?uXaSO`fTlH26*bDKtu$&NkOFa7lI@y${Y z^Q)4}t=Liy@3`^u?qPHSa2dvT)#QjpysKOLeSf8~e!i~O52p7g+H-~VJcy3&z5T(L zG^=E<(vI~lSvHnvFMlQ)_+LgvYPyQI^LqLLK_|E&74 zk_21}E|y*bR^({9IL&=c5UWn$YPfumEK?8~mJ`h~S62xtPEN8dj zTitcEvRU_dckS`Z3@b`JM$#y(BP>oGx-$O?y69|LA$O!33y?v9A?wz&m)>&l${!A? z6!h!j0j4DV#zB%i7>93P1*!JKQphBj6)Fy^x($Swwo>frunlmLHjn!DPBX;VP9dol zMN|Ln5A>P!vgs&iZFhI z%7$W7a_#nHlgWR?9AZ(B6zoWS9E&Q2(;rIqcs9;Xfw=jH2Qihrt+QaR`1Yvj$T{lm8*D<-d_~DoB&g=rWw?~^V*S7wL?R7jG4YfAQ zt*x)@1RK~#AKO*79A5xo_Hws(*1qC-9a=#MomQ;*&eK&Hf`etg?#!+&;<+(w-aqni ze|>Cy`S+$***p7b-4U)sHd4;Q)$og!x~to-;i!AF*{JlSKm7ynkUlXwI&GOz&S6n3 z!QSH5X={Y;`Ob*M4MfV^ou)TscD`8DG+|UOg?ngLP*>4{{q!{xAZIy@c3iJ0go_Z4 zMb^(x-Qr%3?GftxmS2V=7(8>;DC)#TgYlkPU)`*~$MzA(vq;vYb0sk`5G?=F}=ddiO^}{0F_{p6sL8A{)%mZEJ>&e&cuBM4lScySUA$JZDdB# z4~P&_sLQLz0SM%<%E0HgqQetId&v#@tddur5^G%Wxe&C_fq<0>pwXXM$7y}K>hSu( zTn~K3X89xbe;=UHG8!QR`Ys>wwco?TB=T2cL~muqV8q$pXNiYKK1`kup-j5Q)p^mN(Kn{bU!iG{TOh+k$i!WI&igObZ~u$ z5h{4;Yl{ENAfG!&EPb-|c((WKa`PPDp=(*?aAdDhetJ@6on-v+h?p*Ji-)>u1`q?G ziD)WlOsR|P?_P&*?xO#1v-oU0dj#$Tq=d9Fp>1$=VC1KPt@1*OAUUka<-I*$@)%UA z1CJq0~88vOiSma8qiko1@=kiY8 zD+d@rM4JxU*B6Q?vw)HkZ8mG}uV;!iF&8O;MxH|#!m*NZ%A6U6`@1TbuvPrI@)yVaHiePP$VS3Qx8{g@KPr(n+3^FkKl0po<@kz9~&EAYvjLF+E=+uR$u$wydg^ zEGg+N56%OApeI^Hh z)Uwk=&}6S${mXq*^+8%|+B{<8&%UYLdi9rEXKM>fdVEp&rj@(34O{N?2j}|YgvB&U z{QSQZz`^~aBiDL=f`?R7Zs@ksFw-7WuiV{pr`bR`9ICmKL9tc)_Df{tAGYZL9gvqw z642^?!ZawVCps*gkVo7rN8K9lN2-N>EoebLdGZvvI7y!Gj*Z)$BiiivK{*!vi>M#j z(;$4}ez|(tyS8E0VM!Y<$CL!x`K+Af<4P`z7;tgmAUC*-B|}%v687_ZbUfXf-v_X! zi+7he@X7)8b_K%og+IFx{Cblc>?+z(rc%Mlpfq#dvAc--$ zwe^H#9Y08qylp%W{inumusqG3H~s7fk+k+ygX+U=GVL`I*>4j6hW+8EXz#e$?Hm&d z+aQVrGnL`0HxwW=YY&=^38b^9U%jM;O?AF%HdX#fW|cX6C-2bXs*c%A-IT$fMIXs7 zyn_UY>kE@!=iU=d_ZR1Ov6FY0Jsj4AmGlkNDkYg}|4IaebWTTKC|CWfCdFk+(&PD@ zio4%#ATIeWThdc@jX$_fb4vdH@!W!oB+XgAtQzK=r(ZHAfVyY>r#Lx#lryI`d%9Kk zMBXsdL_3VfzGtJ$}B%# zYhymfeO3QiZkaa0V2G)7u$Krvmp`W;<4ZfDIr3q2d6iV|dRg2i&-2tCPDAmls~Ep%^<=SS&k8uHw%4gd04QqV zBF++hB^Jid<5&Ifn{JAB;YER^Pm_z$>27&y@JOkZBvFZ=VFLZp^m%@4ai!d|Eq)Ll zQgbw~Ta+9yo;J~qBF{*?L9R^_aE`x!$U)SAg8*#XFw%?rcQfNln@IA;( zY3fHfY`|%V{~RE+7#l3ETRR0itd8iDarlnY=?qP!N5;iX+k4+&dl_vMprMkah{BWb zraOwOFGiqBPa?WudW8v}BX?h3t7ovl=k#6YAR5~s=K@1+v`z9o3<1j;mByXS>OuR8 z8?bH5Axw+}Da5@~>SP*Ma!GDt`a#=l>FZm)y3h1nxa`uhA6X_vB0a$#X`brh)bg^X z{BqAm{*~Xs!}_y3DPI40u9W#^``#@;cn`%|nz>wKVOg#sU(Qqg(!Qx~Xu`f(TTF0b zbsF^-xwg8b3=yExkhh-S>uf$gR@Ccuf3ki5)ugKL)rRVHaTK>GG^_*T1URu|Al>OG z4&jdpq(G6Fy=iVk{3rUUiNSSw-f}`H?K-4L!hNR;tusAss_fvn#LDUwl{6RVl0`G7 zg@ASC@SeLJonB{mM)~5%FAm4Xjir4gvK_zO2siG0Mt+1$Buq1jZgKHIf-~i)` z5=O?f;WWN{R@q!BP%zLJ%N$B(~(_9n_Oers*6ALA)l z3sDrSdQTGXf4A1|?I%h7;ydu{L=BcgC=;sayilMHtVhwoE( z^2;Do=`Na@YN&Yr(&DCL?Kd@2pu0Au0&Tb8*;Oku?MmWrQ7 z=zpwY`Z&i!bgxE(WRL4;pxy;@WvGL*H}RuBKWPU2{2w=IYkjTA#G0PPl&pul^Nsq2a57HbeifOi_sXR!@ za33Dv=UR_!0&|VMX7hiU)v7Nyjt|aPU9gDJ8FE@O2- ziLufQNEMxRlmb>! zw@tH*<{V4wS1A;T{yH55(i@OUR(Z;aT&;P#Zmqtq4qSI%gFn(QkD}x*)1hWJP8_$t z@1`tX+GtN?U3aVe8t0k{lS=HO%O;v%3y+@V^`3E-C&lI0@DT*%OTl=ZD}PCZ{Q(C< ztdg0hRjW125&+1ElD^52G{>|+C;=`98rz|9j!}WQbj-XeiG^e?^{fAzg_F2W1`Isc z?3emqbVSSkAflQIf~BM=5T7^{ty%p?_S3NM-Gsq_))$QRN&IKjP!R3KZib5nfR1YA7=3PxmUcBaMx83O^0coa2@9 zMnc><3+lz(H%~r{DqTxS$2(d@nKt8(Od(v(D;QJKOb;QFfn`v4&DKEY^VV>D{Jzum zI0L84 z9*kZ_6_%Txw48EQX*(C80>F(@Re_@|4HJv{gJ(&s1`GI4^^2tgGniw9 z3aqC5QfgmS{vg!!$@CeFl<1(s@y>{2gJw{b1@t%ozy#MS?hc+cDfn;^nMzz=jvwW9 zwN+=z!8HEzF!KO0JiK^6(RFTsO&o7(tQaDjyZc)oWBqdG8(ve4j>clWK#eUBc>ejq z>8U>XFw#VB6Odx|?D0x!Z_W3wtel_Ccdo2>;Fuyh1XwNQqmN`Iza42dwq0C~m07JX8uv>uJ#%&DXsDX$EOvLkk1GztyAUuG$C^4kfa&RW~ji7bYd+ zPd&7KaW*M3cPrD9r|L9W(EL#GZsSU>`Hxv4)#dB5VlB`AkU5bu)F}s~h!tIwNx2`E z{U~tT{r!z#J7u=3*h3OK+CVMgG1wq+2$DjO(DNju9gG;00!Z4F*86so|WD}EAm%lS#H89R7sO(58 zRbo(1e?HMPC!S`R&EavyG$vd&cGanXHfZpmCMqp+nl^!vLVkbL^>v-cg}$Sd!nA0j zOn=L46_qa=Va<@+Ho^MqEFJC5ZPvXH(gr$7j!EAH`&mJ3vhX z_ZJYFL(Xiq1?f9aLPR3;Pn-Cf2%_FUof|p|$|@D@4=Mk^-Dm0meIp44kRle8htpe2 zmpo3DQtw_wm#NJ5-^qI)EapKV`wl`3ffl1n%k#v2l z)+iNalDeE;J>xR+?`TwhZST{l1I92p&j$bBha4}(b;8=90ga`Diz|}ygTgV1DZjX& znH!AjrFAlOl+b|=ArlOT7J@I_`hvS+2gs2iZrvW0pOCOMZVH51jV@&2oj?l-jgi8l z6BmHADFUhcw{70-a+AfI73787U-rBvU#Rz|CF0+{S$jB;#=`ZjNL3UmiXAPIL>Od5 z-*1maJo^#)gb0ohyVLM{Qu|= z!aitke!BmpkeuNEh==Vikj=Uoj!pT#0u4(;f+I4m3{?5YFa|@s5{<+5In?j96Z&XT zFui-zgo>2I{UsUx+`e{pw+ZjwoTTlf%97A*R@+~(uSrWc)94|Qdo^%G8N`lR*AAiR z`eumq<~HV=I?|guU8EdfSP>(Y~j;XKQ z{|F*7Q^6>*l5`yU$h5Op_V#wY52JsB;rfYT5F?3JAItM{dAIjBz zo!%&_g2ph*#G|3*TuGlV@(GZp%=(4g-|IE%6S-S(@E0_lPF#E9mgpMQnd4pe(ufGn zLn2>lAp;?=pQ-Z;S48UBQBM+vV7PY27gYASzu!G^6&9Nzn2(0clrns3*{C3Svlfbr zOZ$shFt6Xy(aFzg{FRp64DYpHZh`;URhn)yOH3>~05Uoit(@Jtu4kEF324oi6$@$L zk^x@)uUFu*F^3BH!u!7FW}dSe(K8VUoX2d zNr&Z#WT}-SsG4jXpo0&W&$b!XVN}1~qx}Aig>*>y(@IEGpdntX@9u@nq?m~2dK zle#sqzL&e|*&=;2v^n0?IXzuzcw*4?z!>sBg)_Lb|NlWQ>(=sF+w0gG;KQ4&E! z6#N#-B=s|kV=RVjM&~JXuAZ*<6F?vvlP-VnN^C2@kpF0A=JfQMr*4SZHs_n+&kt*d zUkAtdsPb06YPUY6hu-ksSD;SzPp8fk4u0t?uIl)m+h&Z^fH`{W;+tnNbxKaoV?T4t z+t;F%au<3yiPff!_6J01DI1;`k-Ot|GR5m}`IYNFhchRP+P5+1gd~TABx(1i7pm(Mu zka&ws6uLL7Zkjl6_kcOeB|JjaN&lVy{zKtKg+xG*yeP$vmPZjrR?f@+g&mFFD#D0R z>9-jWVirS%bPtDIxV?;>9Eo~VofmnhN9W)>p$NkpRFhUPw(GaM>v7^SJ|5r}NK(G} zHGQgedPFjF-=lz%PFazR_$ksp8$3paydVbGY^+_hN!LAqv?_={+Kgtu{mH?J$!vjN zT>GLw44caQdrDM`Zg0EfnXT90xVlT zxoMF}wW z(2tU}7Bm3tII>c{%jzL7Pc3TSC;w98?{bJ<`+S|oNr&-dcDy>KvHP;7%L09rHs zm2;-0nML?+FKt=>cxGf>WmKbVW3Y=ki!x;mh{>O}_|=kp_T&WogWeB#Ba4Mm{*(WG z5pBi>XQV8p7TETPeCdAw`dH`Hw8G!1+09b=y*0BGcJs(@Ulv`t!`tO5GTRE$o6aOuEj56@3u*RJ)NH4bBWAMEcx z`JaGW)WgF8V%htB^eM01(X#ZTkmqflwvxJf(d?Mc2jAhNy_^pOB5~N$2?HEXiGrRy zUYw}Dv->xTp)8}TJ2<)uLu{GpI)cg3PFCUOGLI;&*l(zsCyVXuYK2aIW>Lm-$w$7@ z&dQ_s)A>{!IPFoL3grxp7m9mV_YK!=hA}=rG{2iyitGL{7#~+U>-gqf%(Lg_#w)EC zFONInBY>xc^zrZLpF0D>-;7j1&ZfU>{AcSEK*&d%=JXFY3sF|&)mOHwX_1p}gj>Fj ze!>W0KVwJxP9iT$C7UC2vN<27i_tLiXO;ix@;!fM^KaI~i0#yfsBQub@t>W_-+!~A zqXqIus|dfAA>1V6^IjazvO>nh;MX6(pH|=<5qW;bkTlwBY?&nfqVr+#@Qb1Goo6+> zw;yjaZ+en;M8}&;5{J2&hRiYvw7w-v$t-gJN*pb4BIUue7mg(!&eeTY%Rk&rnj8PwOR zOdZKuemTxFA|SnqT57BMdVVCz8})5(gFvwYtrHdLDtym!@16f&_eJUSD^22wg8v7m zKv};x@^f#MXQwJc05B|qL;w*-IjiYI@*tWggt#Qy83pcb)$iQAbJTDEnN4QPZ!3w) zN?sx{i2@k%AM))%OS4+-`r)mI2aoComb-=(uK#a;e<7QTqq;pD3th+RwT9i!z@>*w zK~84ZW|IY#XC|y@f(c$1d^uKxq|zjgv%Hc>w7!L%)PB3w#5WdSuJubNnxLmTcWr&^j*)^O`J%n*@c5T_#s>xH2ggyBo5gQumKl$%dDdcNA~x9;|j^n0RC zL7#$w>p8Axx7(IYE2JzkI2P)o`aX6OH$T>3ryFiB3fs*Y0>|?r5n0Bd zUh6em9;Xnq<#?e`R=GG&P_KZDY=Q|Ucr`L;7zGGiQYe~LV7D05a`B@MO}iY;mMf(T zm(DN5sZ!$cLN~5e3yS&VTv^VQlLzMS{yzJ87P}w3Jd}9FHSm=3kDFI1>6< z6xpdlVk)P~Jo8GVC!Pb&sM9~VZ)zTqnHHsaHKD2`nB>o17eEji!0&Z>y?eWcBP#PU zzf_cy5(8dE-~iAV#;^jVrtqOevNS>BsQlr~KZ#TG#L_zj=l<-YJ4Exw5qVx8&B>7| zheqFJx-QECKUtoS#|-wM-aTr5c#zz=mwxNL%Wta*k|OC(s++$YFr1)x38xv74q`%3 zO2*R+-IF+LdQLrmVPitErX`tCw1m5{<(4($Hsu-2(|yVdf&!>cSq zt2BdIdgrLxtv9jwHKlMdRhr5$nD`2trA;uw1YbQXA^=7(9Kmq(kl_iR!~zcBahlI& z(z)4kE-zrJ`01rrWk3pXhD_=a2Z7ZcXx4t?a%E_HP6XH|Q(}*QU}!3)@G+TZ=_k`{ zuOyHn3guR|4zvLuOU7fxa#EG~Z^F@rf z$JwaPtv5!PW)6DIy{1-5iC#PijZx#c)ozaXMP+GmIhRk$6i&agCwzhlCit3M93g-% z0JhQZA8&M;htLknxVS8d@dS@?H0t*F>DMEHHi;7|Mie5f552Chg}&{Cp$n1X@|%yx z6Ef*cry&6#!sZUeGrj!_))Ew6xw~ z-KcfK^i^qPDO*kmFUuf&f(a)0ns7#|4|GAK>;1v;Zm-#ZE;l8_=4DZhbC5r6*+8pu zfN=mQ09begFh2r87{M?)L%9&5SI99biXgz?pRL)xnpF%&4i=6EJ!5CjbyPebQ>Lfl zap@VwKJWx+pb&zwcihR}lix(+f6=fp9GT0V7}0%;@p!hzCl;MqbXvb^gCGcCWDk0S z!%fYSjpTAXH!mr1mBF8pA$>e#h;%$C9Ev?2Gg8jM@kNTR*T)y>=NX%RIfMX)*kcQ^ zmjawdt^gTH%FK@Ix?JD)Ax?)l#Zov;Jw8=14CZFsz%?ABZ5!Rq9 zFMS#j0OK(mmg9I4PC<;~1y&F^0t+$dyN+k*ju$|ZVM&JJ8H%M}?TFKJ1H*BGqA;9* z$R+^)R1Z}g2Lz211Q{8aRo~mh|NS<0?aE9pD{&HgcIqO;J1u?GYaZ!?j_-RkjVBa7 zn-qASKGk;B^Q}>5&^qp#ngswB7n$j-l%U*Tus^hoR$`?`@oZ|U#N!J6s#F_JFu??8 zg)>@weG3>J-5ed;R+kpSVnVKDe zM|TXpuLmPDm$?0IY@GG zEJpDx0|FwlJ=+}gb<2quNnu44D0+QZ5r&Zzb*dv03YU>M2uVD&fL-6+^nUUS2dC*b z-mGM^5{_YK$BH6LA9b5mZO{%pkE6*%oKGht{uBimGVAwUYtR{Vj@zd0U;wCy70D`7 z4+e)r)2%0#>xl}NDi=j`#eGZf!U-mLeQ`FrBF{3sUVEeu`@RoZs+d;i@(ESoo={Fh z&%C>OWicP;Y4WtC5I<3LKi^QIzzOZXK4@<}+S%FI z(HT`^V*>8SfCW*o9@-&|QAvhRFP|%|o|_UVg2T?Xy*Y$YpmiGk&0DT3sWZ9EY%wMa zJcd0z*RIyGd(~>KcYoh(_MEunOM>4X;;j*$OLH?tF^Zzj(CYQ|VZU!#9;3|CvDqtY z*{c__GEaZ2x>1JCFt7)W!=sJ$?RwYH*_cZUDlk=GJaVD#L?NzVWHMXGub!JKmr@J{ zo)Me-(ue}!51`pT7`eai$E31aN=u~_3jI7aXd6UkYyaTr-ge`Nd3`hL>#j32Xg5;k&Rw28cPT3~Ifnhoszrfdm@j|+AOJ3auF=yP8>3!Ra*4DgpHsznO2AP!*H66?x<=m`93O2zyuIK0 zQ-|y+%S?JIH@~`=m5Y=oXtTK}{3|-IleyWfG@(QjOz>Lb3|J9_h!vT=)=(ey13zS$ zVoIIMB~;J0Cr~Tm9z`!;MDp*0R4=@jkda{NV0j zVMe)fArX?yVIQwGhuwqqQM(%{Z$|R9|NWmXRpt{cMFZ zZdLQ4iD6(PX1u#US z)n|+&u%V}Q8;1|?-FR^C{=>FyB<8Y(nZ^0(G8eA^q5;F5M@_ud?{m2hG>4{#6s{N& zeViRa5IK=QYB&229(K%JR9Q*PO~qy5$u$&uqsSc|A6IYQZEscsKABp}EAthvoUy70 zcXL7AX&Vn7_+ln2q;nOVAgYny@Aci*P;d5!x)nq|1W)h6uOT3eJPmsK?$*PHcR#xS z=;+YrK{{QkOy}mND*!7&yjr_240nbu*J89>-?7~QU3D*QL{Z?o{f1s&*Mn%3oWoO7 zNm)p6#8@KymsbH0Y4yX={+-(4QJ+b{LNQgElT)&5w#}eZNv(Cny zhpvakE|o+&&XO4WWuj#eLf^#vuBL0%f!)zbkJLS**J~bE4`>cT#G8=-F*N&qz1QzF z_ZqdW{d&`3v*nA^g^O<#FJHVgn@b9efZ7#h$q1)O8PdEmAw?5R@S5TbSP@!N^kKJg zqzyWO?^~u;ukFiHOM4IkS-A z1qO9Ad+OjmfUaYCgI=J+&~ZaAjGpDj3q3v5jvBjnfA;g={>Mj~%+wX}JKw*0dG33c z=Tf}Q!=*hjZfy3wgM%%at>P?>QzR-$JJbCDMj+II*J;#;x9{6BkI!Y}i-oxS>0mut zitSD~+TPnc{P7LT#N~H?c;V9J*_`0VaXo4d$eoYYht9^XR~Ez{zPFg6-Oc9K`p)4x z5e@@A3f%zp`yN|=zy8E1itKJUJbZBbPyg3{|3%#q=&37}#dF`gGJkb3E5I2Jw5=x4 zZtRngwJ8oGXaXll;%u{`pB_-)8olGr{#^%~3T9WtLOCgNG4hinbxi1?-`m^T`Q=Zl zUff-LQ!UJ`EobMFm{%l?MW+4h_1!vP@>G(I(7!GE~=%MJM34{mn4P9ec1Q>aM)%dw&e z^9*2gM&{_qcDk1D6Z>X|KHTB%2|5!+OccS;#zMQczE!=qe%xx+EG?80nWcB$UA}r@ zZT|eZxs1$;G(iCl5-A#D98RLz{ntISIl%UtWFV{8Ey~lLGnYJq$hLkDJJbfp6Q| zv8^8;)!Ta`T$5>zWnu!&oYHe1J(t^~-f(Aq|Nesq>&-{U(Z$vL@*CIJmNFM+Gcw}< zC^<)syeOtwx*3!Cw91PdPr%cPNKpM6vgmUV52I*`L4CHLYZZi15ZMEFble)ktx;wL zri!XuR5{_PsE%j!tj4yc8yXR#lT$Mbm8<8=Jg_ONpOBasW|O#TQwdTjR!ZfC7!=Q+ zlSYn!PqSE|l#g)~L4IoF<1t5}?V@4REXA^4Wlh#g0@BGwp{up3qn(>u4|nfu45L)) z;`HL`)ywA>Gv_M`fC7NAd@7S;*oMf8vckn>j-%L@)er{Joxrnt_14k-JwQy&%}(bF zNaMwRs;~f#n}Ha;p1!eX8i|5(aiO?!Zn`LzMav3OLoY^Cm_5)F1d}LD7v|(LFNY$( zy2=b;XQ5ok#~7La_@+1$pmKj4Cs|pJ=L%#euo^qfLw>iaRs2!8pH7L0H{kt(dLsI@)3x!-r~2L*}(`b;rX&Lnx3;#uUC_@WbnMra$sur)Nb zmhV|KFDQ(xkQj6wLl2|KjY1GQSm>ITZY8s{luTxGNrHUmJMsMV43)Z0rdOBpIf3S} zPt@zd5QKK*n*EN`?AY;?n#v`30&OJUWMTvX@S@OYY;SM={I`c2feoi~*|jT+GuIch znK<`xPZ%8F1deerUaF*(>69XKB0jd7IeUZv+P-VF_xqb4w&_dY+J($qF)oY?8$Wp& zkDGyXx<0q%uf({S%Z2npK}ZNh6oihhk6LZVgb<6Xa&mDhF<;51Xr540-^XSv=dA4F zx%@&RC)4a1_Z%fLf>U#a>C2bWAJ)aqoBa*_Mv=vEY;7tzn^6Up=FnyST-OW?gUB;H z&oe#f1z(aD;V3VTiy%3lR=R7{pjtb=_5bZ3?95+#`+FC!UN5F&QyGfFF#1KEx}wN2 zb*I}L8hS4bu|y)jv^ul0P_AT)X$1wbqXuJaP`oL5pW=cuV%#}(jGX(+1I2`#XMp1;5G)B;zC<&4* z2%OB)9DT})4`B!b+tWwAR0d(ys zCdq4yb4q?Xn`Ai4?K`-yXWrZ}C8PbX3TzGxI!+Hlxx+75{5w5+72(`qS`icu05WG+hc^L8L7 zVp2jTu~X~Wzc9wukp!(|3;62!%+4Tb?Hfn-`n^O5u}~{VRxy)~WztCEOg)EbSm@iH z))|dPje*@a{4X~!R5n18AxTiC6G+h@XzZ;YdEwD+fUyyy1j{p$B1$w)V)zSXuEvqZ z(WqV5^pO^Zq8ckKFV3wkmkVM(&P0e6L1d%^aGK_5nwKO=ipf03(D+$39hqQ)R}1I~ zWSlhr)|$J#Tvh~O1Y9#PJAG?(=(s~(2s5SF++4X*o}bFo<6y>#Z8L_W@H|P;B*QS& zGwY3^Z$?(Df3$P+x3})xxVPUpIB0f`sjOK%Czcn>nfR1K2~W`}IBrMPZrAU(h8r#b zrF3~^I-OP(40%YRPx9@^?hduyre$mgQB34la*344|K+NPd=ME%uf4aiQ{CPlH0u3U zYag55!z%9rF+UTi>gTF=QM$)>t?ps%;MPMDe{=O(skD%hP%qn4u0An44=&;&rDUWu zBQkLoLm@TS^vyxfwhn_pWvNOgHkCjJz)6x8B%Eehf(~(%Lqtc6JP?{%yRo;iTiZcn z?sfY6SY;1Xen2b5xj>d*qT=`~01W-m=(*kfgLdbGmOYGd@p7p!olnTTFb*4_sGg%o zcC(=m?pn5&#?z=4Op(}^)t@yA-N@)zgVuq=-6G~?A#*v&Wn}6}QiQZJGN6h1<=8*c z#aLX*CQx5?0wBLmbJXoOt5%dTlJj(;pbCu4;50!K1R=))R)7qLiZNeCoDahYCYHg8 zbCt}&Wl7!{4u%gtxY?{X?o8h+&tHH0!qvB>B!{Os{ByH+zR}aG4|le=fB&%l@UZtK z$AtoZ1dEgWV1KjI?05V?3n3T{9^L$dZR(-_cYL}qCDWXQJzpyO1W_1z#;D(}?HQv! z34KidxN}qb?I`cGMAQl>eMHGAwA8fDktW@$a?^(#e>MPd~MKktiu3`EL})RxrD$m zBuq54epl07*naRAVChjAl@u2aMziv6z|#Z~dbb zpS{}E8l6$=PKWs2@o!q2)}Q7$oTTOwY)1N&vGP_L}l?Rkkss8ZKHFv{qyGZUY*80fI&p5 zKW7n*JQxfuqr2Yqf7Osmm!ySatdQWCXGud&0!Zk9~}T zn6bJX75bqyKEi?!BZ+bO9L4}rR?;)e*YH>(-#=P!9v%FmSvjbaxDRlM+%Lg5{SFR2 z-?PKO2LOsZQ%EbRgvg*|=J*9s=$M+@u6w2rfx`2#j4C80lEH$=1&|~Gfnqpkxchmw zF|2KL5AI=nmb3jWJqV)&o2_J0IYp!idQ7-s z6rnV47-A%eQ%Ic7N_6I7gaHxN#$2A&QHfEmBpT? z>kgx&)%iD<>D+(LzkTTkqq7(tijEyWynlG(!tq zLW|FoJR(xm)T{SLqps{zNm?kyc|m2d)5={ZnBcX>IJcnp+P6QvyK#3XbMadG{PkRn z&xs^zR5Za^v7#vQU0t`j&5@<|qbMb?m0Y}(QNB1UqC}kJlXJPZN*6ExaHQ29Y4!X6 z=f8fiar?Ke_3)$FIa*G}7~%<5gvgm^2fhoVh^FymTr8wM#fn15Hv3(BGztQSq{Wyb z7ZRLEdeC)3z(9h;ahkv=F)1!8#o6Umw_P&p*~ZW5f31`#%4d40!hZ*=|t zsB!-z5EcqbF@f@D&-ki;;X@yP3r8Co-KOIJNaT4wm5zyV#EMQDn1o~D6K;7p&j6CZ zFq{S$rKH6rb!u*9#cLJ&$LqD9Q$IN*FdrK;xo6&V zVNYf}Cz#;12lPNN(%QR!`sGi4{LjB!{m;R&x^x~;aTe!LLDB?g#fpN!8uhx3Lvu9r zqln|^Y*J3f1m+8OaY7c>I6;#f%`z-a;}uE77IXWTW5B0;+wpr=;6AkkBRO|~iuoag zB!SBul~5S&v8NuA*4XB--#i?2hYnN-A+HERoU%tdN4K{QmHD!~JS&Vla?k`$6BLE} zq#yv1r)ivn5%zrAoY1x1ZcS?+8zeu>pJx*Jj7Y~A>@@;fMGdu91A;j8^%yMVi@@WD*lFmp$S!FWZ`2G4-7)j7<8IPo4StqbdeD;rsBqM& zbpR;G3O&ad9v=)3c1(VO`OZSVkdmlVjcd@z9T+&e>Fb6^GAt)c3=xp-$kDoWUEeeV zg<)p$iL5Hp6oEkxMAoQ3+<4Hc)%42ROl57F$0Gtn=CH4|TAJbNAstd&GAXJt&K~sa zLD%sDD};dLaZVK_IjIV98L7pW@z>MhOs}g z^(5z|3tT!W@w7l<6H+w6w+*hL>D7m=tvgm|fo!VPHT+*cl&;QHq$0;6KfOst`D|EG z7zX;N->DxO+AxYDk)^Y7A*BeX?<+3|j35~$P4oP0{-bv?QdOjzQKWgH_mn#ds#OX? zi1toM;h4aYib%1K$AIJowmIt5_Illc1E+DJEOC4cH@6;aJp6ATl>X+e*<3Cq@F=MM zvC3%dJo!Q%dVy=3?W)$Q`b-SWmBe&0#S=1xsdOTcjNPtE;%_qp%hV`C6tQ}K`UNaML0%SPb~j`6nH*?BSGG0ziZsQc3^3SLy8V5#YC1OiO*q0fo+>+Z-9EoOYyiw zqCm+r+ggNC5QJkt9LUgwB2uD2lH@q02v8_V8#J4H4>f%$V5Vsy9p`Xt(BAp=tzm6A zM{t!&5%?p#(?&f;Wv^#DP@hK)TpDmWpFXTiC#loM-icq-Gvo&i_*IcZEl^0_(vxQ8&pwR5+ z(BGGe$8>FQ_~`Kc|GwQwY{Zu`(<|@2cmDcnDJinz7i-892GB7BW7xBd1JfRr*|3!5 zGYOHWc>;U|4WcKQ;FW?i8Z}kWBZ!NwE zD;n>>A&h*_(t3^F@m6cp4&pVgK`0JTge>xDiPBiCjnYhr`aJPU zoWMz%#*sV-NfU4k$MKW4Y0x)%uGy;|?A_gN?6iT$$E0jZU?bXXH#Fl`FTl;H0L37i2Q?peb@dwr|E{;+P$o9sMAQp6L-J&B%u!HP3Prkv2xYC9YI z57$R{d`PA9Q~A}!d^RQ1*fUC$QRTVqXr06Ljia5TA(b9c>7|9j>SA6IPy+Q-Y803~ zXK;92>pVIb41Fdux0)%>6=bTYoU%_r)Nh@nX&OhQXHFx*xL!%baCbA2J&>i`1 zR~vPkmez{DkgHm*V}=1Y!4Q>{ljYY{o5Ng@tQI-H+ybnX}U0zR>p;UFLt<(BcHC; z8FgztebfX1uuM9sDhgVh9@nK#Fu}J2s27&64f^c|d)8K!B}>zn77CpQt=8x;Fw=`* zTiMxCEW^>Hgn#Ps5mBTUD2xsP^lWWZf7GboX{u}FyQ@>BtillZDaSy2fC2pO(Z;>s z|K#U8Vg4u^%`Dj|nv9s{z2o*TckK@E04~Jr2nzugSiq|Ho3-Ds+wb3Hu2+ON=VK*Q z3jV1nMx<^mVR_Na*?33+2u8k9+rItBU;OjGH$c8gO<#EH5*-tfE}g*mQ;!+BAQ)=x zy?ej^&F_EtQH!2wP}6_&57%Sa1kSNC0ZvV<*n?Vs>-Xz-H-C1cUiD(-x1;$m@lIJP z%GA@djpN9RfRSX1p)m}gg0ld4$YKVC+O*ok`sR(B4|aZh&kf6zG?P}7Bpq~g-`#ZrljZuTmd+XJod^FtMn4V3S&n;sV6rMwTBXUe8 zp(GTMp+D_E`PBo4z#m3NWBa)G(}z~(GI#CV%=vRu8I^x=`f?KWL=R4$YmGY1R(-Fn z4Y~j%XeuiU3dhpp_~(QbP4Mjj^ai1}-)uGBKaw^&D?hxl_U^kgUH(@+>Rv}^+&E|r zabBKLC#>jWywF6107kZ^8NGp__iT62Jl{h+lW%lxXrjTG!5a9IJ`yjNn zcC-3mebejTZ;AtVv`n*>qE|=3kctO>NcpXxQ*YIeStp44d)qtJg8|*eOM;YK&hY9u zt#) z%sEfz|54;yBfD3vA8tK(v=a|Wp)zZvcy7OGv@L*PxrBgwPN!O{Kyi zx2pa9N7b#p=1>b+7Df(fw)M8Uze_THGOmiEh_a27TC@pXYoNu<8TGW?N9}`t%at@K zoyad=Sf~uWjUg017?`)Wwn!iA#i@eI(fB9&C47tVBCII#05rQh_t$^*{?^Xkkz-W# zQK#AK$g%@HHEQ$@fB*CUr@Fm(Y3{;1D~rqLisD>G052an8za@}sY>&ES9Tw49X1~Q z?x&mgcaqrsB+-RRFOmqleDNw#?3)|yyF1l8!5#l@f}$6G_&;2`x;m41vR%WA!nY#3 zIWl?=9rk{deMgKfA2R8H~!dh_I}pQJW9zFoBQG4D)r4l zZS#h{Gy3hX+XNmBs&&W3h1~4lU!T3OHkYOWO3a<%wToc@r!a~WMK+ftd$>rjDiMaZ2T?~;4DS6s>EcIRG*gsnzM@v+GG*;MqQuwJ^ox=Ks@Qv+Hf^(fyx&wC#6d ze!MuJod41J#nMzp!U@QwGqI&LJ`pIm38JuuWptIgczN~W_m?k};w%O%*D{8k0CHqX zrBfWuA#1ZwbNR6}Z8U7{ZVj75DRre>E+sPxi(${ad2o#6L|)C%LIcN%*5Uq#Kly(T zbJ?^kD2X>Sc=ZRVddFzq__v=9(|$LnVK{7<2_Ub{R_13{Qgh=pe}oAEkdj^#TB z(bPkI$V|iN3i=JAP#&XqRNwyP?RGbsFMVgWyfQPBpb0|B&9eB967TOT zkA4HpW_MO;OBBA?EGUIkvT4_w_F=0vcsTUix#_?9e(BAt$u0Oh>F|Cu2-Y8ZJrh)S`)VTh4_7MR z`@8pMVzl}hSM3+v<8VOGI3>o^*wj?IPo^7OE|yU_9(m?G`*|G)1Vgc6BBhqf=>ea) z%je{z#L>iOyo+Q6R?bOkAr@~Y7%meNvN9z;V*|u+3gc2V$uG_?2*%-0{C)UnR-N+sU)=L<-@EOJ-5}kd z(sP6Kk21+?)8(1(&Z&1qLHGkeEJ*GtP>nBDi8}B=TV^C5)HZ!keXOp6+(9dR^&qiPkt@h60 z`iXm$mN##X6!CqIq$l`;s00*hL z^H=^SJp0!7uLsc(0)pppj%A_E0?TnC%f`5PF*UuGpNi#UUlA)B2YLuTmd`GI=b})e z%I)i|p~w7`g^?Yqrk2nd4Vmo8slPI4)MV4jYLApP|7?ia2x z)Q&bsy#^kSi)=QQN~t8^pBc`<0mcCWD_nZ>O(+z4gNv4{K^D+yA(mX6Rmw%7Kq+er zD;_I^l4|<6p$CGbES;a9j?wBf3Y5qC_pz(d7ue%49AG@jrKT@^7pD^Qc8x`yuKcToTrg~as2+keMpmY1pgdsP1Xd_F7E?6Xb4DLE~bFRy^i|D3u!^vKfk zrD9&nOZ2n%a2zApSaBJ{sP82%rO~kLQ*JZWP!$D z;6=#73VjJQuFynX_6EI&`+7|S$|{$w#53|qZ`x-JnjqPD3B$0reo$Zwmqxnlhk#WQ zsq#WHolby~99?2(y~S%jM_CEMBIQ(|EGX%z`HW2cSzpYEl9bCw(FkC}C~%IV_zp#; zrNm5%iHk_&?OBH1sTr2(@+l}Jc~%gy01t61!YBeqU17cn!ElUVNo9%$_?uVR|0Bt* z%p}q>GWPfaW2cp@GJSmwFZ{3BH@@3J#*#RW^J7?Jgt!dIWPWODZ8oh^;Hid+6HM@0 z!RgoR_QQrg+Rj}BVtPK8pHs*fGfs`*Xa&nnm#_cm{Eid5wcp!>d;f4glb=^#hJWm9 z%!(L5(5d+giJ5bkkfd=;8~(EPo>YIJ+A)kE#)V+us{;BYPA#xXE;)C7=}psjJRgt& zBw3!}IEExJ90Q@}Uc6%ZZr}kbz-ftRM1ettO;6W}y~tCvs}Bd&4XtP3$+tv)MNOv? z<4Jv%dn3SE0NBEXH*)8$TyR|5asr40nkQ&RpfHxgqJ>o$*oa~}A<81L9BR)*;q?h2sWQIHTm34vxuXp*Kyfnmq)nHUBng%)M0Hw-)7ez;GP%ZB1(*Te^c-5np0CUc~$;B+)uTqs>V_x8Bm&B^iqd~rQ)d4}$H9Fg8{`NBWJw*cnEbe_j^Q!#S6qDNDp!|B?4!@AUP?{z{5{b6%Z@u3vNpFtn3B(_ZE! zA_BmVFfV$h{&&pA&;v4o;QnJobZm1Tbw8VH5cy5k_hz!~*h!?sZ(5Ip|y}&yV zXF?ay3$byu!4otKC^T6xgap8GnmREqLSQ)L20=qCL}Y-VK4Bz@^f_4QjP%ZK*RvB@ zmE&_Ug=4TNM5P%{=dka6&`fcPTuhK@!m4le{R1*Pn@yF{1VCNuJ#*l7cl)N(<`-=; z!ON)}kBijj^jSkXYz(K6Oo^lz$OMSrQ4~cY8(B1AEC3WmMX1maCkS+v5>JqU@k#Yu z+wCa^e{Cco+Wj-hkmaK`{gc(XY^No_&xpE5bmCLGl@5 z*&nRr>i^H)dp_B5ooSvYy*D?nx8)5A1w$B;5M^5G)@XV(-Mt$VvAr`98?pOg{;>VJ zJ3AfS)6LBnT8hfCRt-nZE$}0fnqQnK$n_Z@%Y! zpND$;$H`NxsmEg-Qb-ewP>kzWs6SRmw%eP(-B=;gToe_ZbSAqwm}3~ja;+z4MhlV| zDm3<_9>Sxv$#LPpXEW}xx_d~H#xzEq&Y)A*Tlf3Tz3QP2Mppa4xpfWtMp0Iisw~F@ zNwdGk zU#r+)Y_`h5%}+w3Uy#*=DoHVslDXHvwcyFI!{lZ?VZ#V%X6l3Sc&9No;+`rn`M4k+ zMWQG&fK-679uf3M{oNg?CM*o6RTXELi859IKsfGnYwNp4k5e-xCN~p{$^3KluRigk zoLtP)vur5*cTIiJXjlVNl1q6ZB}=H$43*s+r3I0***MS-EhemwJQs?wkczXoKtAU1 z3Pa$V&>4+JW~J+OrNHtg7C9%N3+=&O`pir>;%k6D$;s!5BupmRwr9_{`Ht!79m}?d zp`>GCQle5ab8Mn9;uUhF_iJ~%PN!=#JR3_WoPcJoul!^~-!mJ#M(z4oxBc{tl%Fo8 z)sjq$kIj)7!C(ZbB~!~wd9vKO*X(b8bYHz#m`@i;^!oH2daM49MMW462nx9EL8rP+ zk!t5$X5?oi0(+sBb^!=YYf#%;yS007z1}&jHY=O!!>~K3te5{tRu1-8vkPaZXJ=0r zwoa(8TP!Mw*N-&V9zj6~(KuLz_rZS<;pw{Goj-mkY0D~;;b{UOosm+w}8 zhac`NuVxp{&0N|y{r~_V07*naRLo4BE-K%JsOW3YEdH>o>-Re*&4p(;CaZ8fLtZg#uyA09s%GC8=buyyEZ6HPsOz5T;l7f3w~`v zTQ~aknmY^<3eDx>F@>8{BBL;Z;%Ol+z`ous-yC(iT|S?Q&s^qGixSQfkF`LC0r19w z(Q0)E8x?yXJG$e0;TQEc5wA5c3`5WJ!w`@(ByrRS`s`7WH5k>_TkXzvP^#dC%TsDx zq+gS=wC^tHHAV+szqa4KdAp}(lFM(*r#XhjzuKB3@SN`M{o2+4;bCuPuDq3BnoDbv zN*vodgBq2jWP0Y(yDy{Ag6LEm1kLw`63eUllQGKgdijYz@{=e`XWgyip0~%!yycjAJ@Zc zh^Kdq#^%T{MsgO56-7l!a>O(4t-K&0oOt6-#w=o7Dxas{Bq=Q}a>V3XCO`UqFMQ~0 z @{+-b2eS4_n+5-p(V0b(SNaaul~zkF^^2QFYqp5s%6cy2l+DHMU4`fL#D?cR88 zcdRGFY*wC{iD~k48KYzPkqnne3+WkE zjm1%q$%HUKUc9btS(ZNT4O{!|>h_(3!Im2nNhEBY5Sd9;dc^At^pU5-aL}yOb=_jp z1tyhOXiRycjO>?nFCD#8KiIyvS8ntNan(vf=jk;H5w8x2b};nbsJ1z>N0!LtJunmJ z(vwNxcps+F2fpEqTl)vyYj?)sDmQa(c6utWiQE&WEtH~VM3tUdN*a`M{SG^<_q)>@ zEwjjz1(80cLHqM<3d1rD(+@&8Dc$(&*H6k#AVdq#7blsRHQ^*Nad4t()c=HvKTqo1 zbCRPXH1z`v(~9%+Klo|QUEA5eUo8*b|L4)>{p~X=Q>T|p*?cBb$jJ;TQQy!98}(uF zYHoU!isk1`$JTAfupHfVXqw}Bk(Xn9EGf&1CVdg9Tf=tm@V4Vi-0XQSJuPc8|Cm$6 z%Y+0tFKYSOb8LKS$+RuqaSaoVnPvGekNNwVC_3u+69Glez46Z9@p(#AGxG(F!+7)( zL;y;`F>3ZQ$!P@(h8~SGsv65=XqW6ZqYlZeQ&&VoZ2T6=zd|#J|d~3@&A6 zOK<(1>Vs*a6pCtIKKdxp6r|=C@gH!iZcIC&gY&eQ669o7dq@r=aG*09cU#rN!=2sT zTX*l?Uf(+CQisaQrPAV?OS$tURpld7$k!a`fMD3Etbh0~f7&m1Ge7=C=1P2Cp(Se4 z+VE6-qiweC@2r)7{ZVtThn@c^du}G4(b$u_UVVSSa6s|^!xeU;C>^Z#1|Po<;s@5> zzBLt-P_Fy%z~KotQ`h7>R^r=_ePF0IGHp%?ak zd#m}wX(ctSPD%+LVe+~Nt$wp|uzfJLT$f_PNvjZ!+I$e6ANc-fY3NCnE>6)5E3mwz z#S>aQA#s$%qFe?zk(}hH=xFxG%X7&LMM8d3 zL;dy7gDN}-R@5@0mYI3hgFM$X$32pkvU6!USI|`Pl?gO`K4wlza#Aw;D$n~m@jwTm zIH%;MS5P6(q^JGCj|d(Rd~Pw8U6}U*=mw~XiJ^#zQ`V9Ftp|M5#Hlu&VuVyWt`uUN zgo?di)!+f(v^=Y(lK_J_@lb~VdSMU}MIlj4`M&Eo5JHk+NTj>@1u$?!*RY43c6EPe zYvac4jjL<>Fm*1NJDZzZdNh3lVJL&rW>hkY*)7)zqS@dhpoy1GqENhPE%y8SMPJh-KuU}vJ3xg$Il8s`wv2C%l_v$@Lj*dN47A?(RbuXcW`F0?8XH6-4*U+hc zRgV_JAtC)>*HX?iV%=e&b<{Y8zhcSv95?JUf)H9lUdoriQ+jB&N@NH#W%`}LkH&I! z-B2}B@%lOGRvOT6ze{DgD30(Y@qUtqfL25nF^@-L)}Xu}yML10ibt=zzc*OC`tGfy z0K688f+gt|t-E`b?1JAi4)7N|1tU|KNiM;e}3C)EEgWu8NSR zyy^fbXY*~+o!qHAoWJlMn2|eOY0WgGl(;<3cn!YQ@E};*p=`ym?60r?zWYK`%FxB4 zCXvc2CR&_85sAi;H~iN;BrmzVakaeB?%$#N`WXUL(BByxt(t)ZKq#$I4+hXhEc<{f zD|dGfo#M~Gz{IelZA$6;;N1Ke-y~PBeI}uBJ^VO*2T7H^JKAY-<%;K1r|#omc^Yrg zw}<6VddxLErp3!wr=Cm zAMGj3g^B~^P0!}AP>bQw+y@)|-yY~l)>5smc6Kpmk_p}=zwp7?{ptAaHA~i+Z-!R2 zhi?r*IZHNhWu-{R$Lm#w%QbN64!U)g%$3b#8;W+d-VGIVrPc!jQ)KT)@ zd+JCG)CbEUt#k!_RB!2SeLdSYZZ>)g;YD3&n(;*JAUn!ak3xVvT5*3&`kgg(sDC1` z@#>A3mWsSvZ2F>X;Q*xIjhW%>ayeRYw4xoIo`-!dCtqc>vsQ5ZTF&zx;uV!vzprWD z8SUp;mhE`caDf6mm8T6*c_^XXm&FJiJ~!3H1ruQa&JqIfLeLloM;@4Tef68ObXDGd zX5NUB$dL6HjwxD`mlOD5S=zmsdKJ<@^om^a(dS!2AYv&tq{T1~DJJ&K4^UxUJHRN6 z|IWy(COx8>6L3Iwt8FDR5p!CqcWg{u4`UUHK8f;))gBr8FZ)@fZzy4sgl`N^JqZT@D8w90I!vTSb_*1i zhhODI2_~Ga%G)h8R2cn{!WP4V9W;jFc*KySlN3&cVMJlXogjeN_1;(YPfOD79_&3R zxD*<86I@c=pj>nQkbl;M3AAdBF&kE)p?lPD9)DQpxD-q-#YzpIr_6Nu-~#9 zp^I0GEo+NE#9JE$cu1g6lKf#D1ac-ICPAgf>WTK{NyTh45nE;hrub96**>ijJW^;1`#gKqeaVs@Uy3atU6-qW{d z{RhOGr)m0xoXKt@mEum$V?~VSKQIPpuxX?ZkX=&IIP~x;D5m|~i$VejWH=(`PV(|_ z@h3MaOfC_jA2~d5kHV1G_oe__*Ne4Xok20_`RtN8|zaX?H`fIQBld6LF0z0YF z4XXdrejgksA+XH+#F;u29?n6f^1V;sA%K;^yxq7UGgt@d{0Cx(#yAo$bPq=S@l5k} znbmPni^&5_mK0TadQ=tcdeO>bBxpWyYj5klV&yDtD))y21L+SoNYm1}mnh-}Foy=5 znS%cf0~_coA<#?A>uhs#(N80YhUM!rdN-YmtNf=}bddrS`=JLY<4ow3Lo<#6a+_z* z#=o8`(16?w6lT;&p7J=E&w9?i$F`R4POWe6($$)^d5fN;Ti1$B*TwOY_5%$FiW{*l zE7#!}G1WFdS8vBolfvg5qnrXTA@Zvpq*6bm0{S*t#4|ZEzE4SL59a z$#CmXX8XJ?Brht7?UYmS`)*+>s-S-tp&J|!VWc*2GnLhin)jEFv6t0r@yhm>1Y|RA zcDXoCK>=E4VSTP{EWA~reuh&og?ToS@DjN<{mIglmq6MgvQV2pmcS2e5?h} zOEClz0`!ae@7xpZtU8}WasL1;O`p!zRR{)2oO{$ko^Mm4SgSOKYsy_!Mv&D)#@&ioY3RXlE|FYt4hk z->=avxN$5gCZbV&*3cbf5<)_zFe7t8c#4+89V2E@17uENKZU`1_;`tWW^v`jzU|>< z9&Stnhqz-4|{Fsv^dmR!x2jU0g!Vf#+_85Xc*9Hav zSy*a@3WqsbkGHD%MVDpNXMZS=Ho_UG=+}P~ZtTk~V#rb58b(;?rQjZi_d=H!i!$^? z33~scMNwKzqTVJ?+tzNi*Bq);KkVJkTxGDHL7^1S;ds3E(>HWWUDV5eSygM!pO7<{ zs2yR>HDWR3@ajaFh$Qe@WSXJ<-w)i&Cf1cLPvf@vqt1`_b!Y2lyjUnonhEm~94|x! z7-F=$gUj zDp!HvtLLiO?X>>HX=gC^a9}dh@Xs8I*eFvV!Xkx8uTLrK_4MwLb4Jcm9Ix7T?XShxD{NzVN?4 zSDyr{FRYN9tuAv@JCfhOeYkeo0QJ5dIsU5+K7zj%oqy7eGt16TAM-q%3v2;4^=CG_ zS`<5dtw1&jw=^d)*mA%Gx1j{XLO2DT0K=h0ynyNsZk$+cN=AQ=iA{)IMp6NRK#<|> z#HYIRSpoi)pzdtFEGemCC8}&pAZABWtZIPnw8J&JUPkOBL-BmOPz=JBcVv(=D#H}& zAk9%JGgv=pF0{1|kM*z93(x-JmZ6Qu8jP*RCMPp&vLl#Vj?DuP$zXiw-!*0nG8XgN zG7^J#ktgj{#Bj7sfB>WRlmjo)nDJ3}Llb(nUHz=R)M@D+#yj%F3_kAGG%V%0o6F#> zu<%4Sxj1x0;C4`NqxRNKKXSnay#TCGL7npr9gV&h(Xn4+8KsImM165>5h#65Qi)Is55A%*&^p8m1Hb){dXVQ>U=G1c zHj6p-LmcKl+8(MEqjl=IJ5cLSoq(BqvLh1;+)Z!a`=>c4pEYL*wY2njx-w0;F?r(t zD$SL#>7nY#v;W*JHd}2SnEkbWk=r9jjZcT`g{#q1o@xz#St>_TWDGjL7vG2wFz1hy z7Qi`x-&wosw3wss&co!iT7!&;2`@w|#_0ZaZ*#GEoGL>#ZNS1aLS6^f zf=`2bFrng>`CXaZ@&PEOz$v$<4iuPw_@N>!Mr_Bd6wh*p^(mFjaBB5KxiIsw~ zfmFI+#EDp5k+TEdUWq7o-WL2O>yrAv7;ia{V>&Su1_Bq`)C({5y==awE`l8I>THsq zINYv2y20xan(#eAoVX9FtNXkOb}5)xTj8_7iZz{f{;a6|V1MNTXKX zhV+rc;l|;zqzTlreITBy`j1d04tZX339^`TA>NuOqA`16+KLLzfYDA;hK3}8MABDhFqCZT4~w-PO7Yd8tw&9VegS5b(bi5JfR5g9Xf!bEbE6Vgef z8|@%L8A(+~XGYkL;RpfU5FeZ7JXJ1HG2#$Xa#RzkB_(pQSe$r!_Q;_-1Mcx6h@`Z` z-~GE2n5^UdnPUANULmPu!d{yQF%t_*p~b&(ykGxy&}Sm#iHhhUB`0Prlzw7hAYBfn z^LrwHRrSL+_NM;CjLy+c5O9He}ksNw1%b98un5D}byDpc{a{k@*c5s$xa zLEV>WDOf!DgnsV;sL^f4WWj9jJX zkB(A&* z^ZEnlUdbizdzL8@Z@m>!#v3w91fl81J<|&#!otGbv*Rcf&>sx%j%V1wOV=#emd6S& z*r%)p8y(|S2@g+dqF*3GGbTYI96>};c>><>p~VIDJ$#V?M4Y-3$o!}C{HM8mn3@sF zLg(f|+av6}_i>oHyynrgrML~uG$m|QXnS0tefC*J76OW8H~7RfEu%Qm2?$la4S^{# z!(G8&VLQwz_1Eam50aib|51v5^LBtxsC?a@-;|Ew) z^zUyucR7 zp}G@J$Vta`=L!{x(!}yKPo?oAJxvu6WI#XTx5PXA-rMK@B_2R_9&fnox@=@o%k}Qk zpweeCo!%@WRnA0i(t;F$5;Bw?`p3CB)WkV{OKVL^D@V=c$&=>Ok3y~moya{fSO_Yl zuRdgdkWhHpA`!7eg@PT)(xDjo{W}Pz`|O)<23ZHBzkAAFB8==DdZ-`-D{`=T`lI*y z15-qw#i=3pMa78W$}BO?Yxh+LrLfRE zP_iIN@_6kdW0u|y@9`@2cT&d06y1QaSOc#9`l?;@7#(;5Ea77L>hAmPH)-OQa>(=6 zpPcThEWyK(fENiz)&Dd?$k5SAb`7|MWH~9eJZMkQKil*AFWbHe44W-63d5;_nrD9- zEZ^)@wUi47$twUW%$cZq%9u?{oXl z;4A)A!fKJ`SQ+zEll|qx?n9aHf3bb$0~OQ{oGH6VwR<ahG+z-Ii7w#mS=}adRI5g z94{4$8mhw>lVs%vuA7@|BUpVF^@M3t+JLNW8e-t=r|L!F6B4wb_Q%fYgpj8H&mDLq z?x|=SYX82|z<)rOOP}jAuc$wa{2a-8V>P|2i+NqmOB=dD;IEH@1|oH-%z;&WFH%0! z9HEDKYc6%v_*$leMPn7~#(Nh5cDT@8jP^dM&^ojrM36y8zs7<&=h9(?*Abb9oqUSK zKd)o^XMjjQn;ZC!U%P7=RiqB)nF8J-kd9r5BO<`7rOcK3CiQ{8a`gFOB?j zDYY`w(6L4O_yWj);f6ni3TRLe#-WE`-0sGrUQ1};+gzS@3Tszh_x@5Wjw1?qFj<0? z8tpxN&&zG^_m*ek(-Qm8h-#Ih*BZ60rpawZ_e{ z{I;Hbdm1J;F}kpjSXeOg!|}(2|8(3oYY4R7SeJ?o@qikco^D^_8NS(4FVuV zEqxV|xvTuEpn{G}2+ha&p5BpUN_Ie@yAO%wi| z`tBQond03SUY=fOo>p(KT_0j(F6>N=1>~q2Imq#N_l4qwYiiRh2+{-^HD`j*+RH2m z^9}$~nR~+KV9=-mNwJ0fbL$Qnl!wQ>HQcovO#EhC-e(&kXn5o(E3GHn_mlnxI`(9i zdP79dd)h6%%BHQ2mR2e#1wPwgcaXYX$V>f|3g0GMU(e`x`uZdJ%3^@DpG~KG645-a z*OOh(m&Lcfc^MuGL$`;=&0L5ECe(VpjSC}S2MF-=xOmM*s#&Bh5kE*!p10G{Zua4zd%iX-%SKS(`?qoZQjr-kvyVtgM15Q3?pa>#PT!-}uew9o)OoD7_B$!!^n>_=)jcQ> z=Hg^o?&4x$r`KE601%F&eh!)ncjFpAQ%0S>705jr!~SqN@}5KmVM#oCQ53@ zwd9LVg7?FXH8Jm20Zg?&76B^CUCowft=uv68UnEXFgGB(-7picbw1Ctp*Ql&qdmNn zU*=-zN-N>%!^_010c$l^>o42OJsmAe<#TZN3mQ_WrqffFr1}K(e!j=R?XzC1%UYk; zPQT~jNqVhfEHeh3ggH%9dNdNo$F{rg)5zWZ?R(wC|9rRe_4IdVefr&_%GgLotU$tu z@n@Tt`&n1z6~X(?=Zq4Y!vjM7ANkGqw)$q<=-+8sNJNLa$I@*D``Onmch@7WJ|HL5sA~lf&R@rT| zEe)V&KDXnfYw5q$?s=;R500ok=L8e=Z^0XeN}R5x|Hjq>lHgq*Yp*l-Pro~OXLN?) znD7+P2ge+AV@C1FoJccbV^77%I|z|F@=0{Hz_ePS9t2D4)v7OlsJPZ_ZR+4Ag_{bm zDDK|A3jQn^DF$Y~tV}#8z@VLc7?-+Q@;jFw->1Ct*Qfov z$0xISIe@eMvngHzTU`)uzt$~MG9Ow5hYsnxcv)C<5-gGjTh&>9$_?a>KK*j5mU!KW+(4$fQfnBIg^+ zizZMw5up)F^C|>-1BYt1RxZ30MoJt1ojbGVkHI5)kGs7h==8AE9rQB51`nYCpm{k6 zp}%=8&;CBkvu~4%tvkx3BUsOA)QW&ef|H=aw@@_Be#MES_-hWRSCF53u9fXwTNO*5 zmw7Cw>z%EgJMrMm#xV2vwzWDwSn3z6b23!9)0EC)>F9YqQ~&d2!*|Ov*%{xObv>L~ z|80~-y@g80`J)}|Pe@t5E?6reW21^|(eZ((ODF(QwYVSIe(pB^WqU3B$n<*R`&bm$ z`tr0H#)Ei`V-~cEVnY(zlh<4~Y09ND*Ao#90R7{8u=&9M`J}hi(bckc#Y#&;`jS>~ zkI3;ad82bMa{V01_xAAQ>w@C0qEAj$Hc)xb(l$k-G2CuzZP+N@(d|YjFPtK!lw!haN)gUR!u~blq)TA$?~v`U zw24|z<7lipj0jH~$=BhR|7}`n2+zk9RXn4I>F}%fhS46cmvO&dG2SZuW5}ShC?mNW9jrZ zS+7Rduy&&Se=6@yfk5q?!FI++#%gUcP4$OVBd@bF|2OY509XBE=+d;5i&PEE*de6} zf%BYr2Zu}Uh8PaSaf)xXm(kwD={M-c6&U;_N`Ei4UnePDzjcrZ8_ zLFC;8ILhAdm^3{9bs-H!MXvN-7*R!1NgQ~{{+*dru3Yjk$>EnEaQna%!*8^C2}gn$ z1c7lUco*9v73dN9B1s~25TroFQAsMj?(HtdQbQ&v)Jam_;n5*WDnoID{}e>axHOS; z3~z!ydW!N9rs-BkU0NztytfSeOJhATzJ$2k>rreE96TX_OfikyX;alDMZ=+SUYRPn zAEYA4cP{$-43zlRIlL|A2&l1NFTWQeDhctR;6=q#GW=_q}pd0grA+3_z+JL_9AW`510BVi*!W##7&xJ6t z{drb+21ZA#o6Pl(OBy%enNp~!g_x+qXfYsT_$_gwFMNUQdyOoPG9|MA&YIy>DbkaM z$nne3#1o=(ijhtaG)-FN>`Ubs_R%DhDI8u8D8iZGd5uUXXX5lFbrsO16am(>0r@u1 zK`6%RuvA%oCDzv+XriJhC=|hx0bwkb8(-JgLsz!y?Psn;sq{L3(#FO)51t-eKVE-Z zS+)8Jzxef|&siTKZ?#88QrFw(6b=9$aYRJFHTPmJgw_Y+nLy=H?xi0hJ*)HFWz)I% zD=|O!&X3=x;r(Zk3z?3=x0w_AD5UD!Qj`fiQ7GK~cV3dE`Ar(lev_~S(}yy_3o9n= zan_s(sRjvAXNOIaLs;(iN8k|w5QaEq+g!eoqT?kh1<+ z>d5(66iOc$-!@?wD*vv{-Ra&=FfC7Ui!EyikwGZ&Yb2Z6aa507F4v>;?4|c1AYq~+ z{m%p#O4g%H<9+BF0T<5&Occ~U4>^XC0~gucLO;_ODG}h@b-d+j#Tp*^4h$>RJY@)c zdKMQdyIS5Sp>+CFh^oji@5tq*ItS9>0#%SSi9toa@1Irme&_PdVt|2E&1w&WuoigH`9bQmy zWI~)DBhnqGvU2z5L=Mm&*xQ1)=4=sD>>eW!DyYac5>9@d)!Pj24+TVkP9SpFcf3!y zrQ96BXGdgTuKjwM#{DPn+FYEZnxXrh^Knu0mNqX|J=LwY@1NHT@M@hC92EOW;~2*5BcH`Ov$^0+JUj-TR$Y%?V$g{@^BBA9x_XB-!|g;vw)cG zijwJSdoMZZ1OAQyvd0I~l$ngs?-6N!u(PEdh8H;A3+kgG!AfQ7E|eUV>P**X69VE4 zVIoYSqsT!U3`qwY0J4gl4QgKALvY?(^)_l(|2{t3_?exNI%?Q#Th}H_ zLT}*5XIUcy_oh{!MpqB+qq1_+Jq{~{>e0o9rN?jPZdveylxYhwfz5fzy&>X$BWTW4 z<(Q~sM+H|a_=oQP2IeUyF_sbiy}54I(|2GJfH-4~1d}o&C1Z)38Go_LD?n%dPuT(W zoJcryX+izBmd#}?3<5o}25JA_n|0hRe-6_SxmK_7H>}`!;WQ@=TAQ`%UC$Q4XtJ~A zkI>E?%zX0oNqZ%T6p>LwEUtZsA|i4kB`>i;bC7tE5=aG=2O1CI4M4m%IED_qnl~OS z9X}>UPdAsuE#$)3QJ7|^+h|pKlVoIvj>VEC>Zju2g_+(3zSu^zszZ?ylu>gQxsF^eC zt?yzXkL%;hs~#80!vAG(vnzE=8I5v7Es!b810v!|?YAR-$MN>w{E&e*G&N*F!4MDP z{W3ZP6Ig_;vV;VU%Er%od?QYPB^gf}p&!TcGse|DmTtji(x9@TS$Sjar0FT6`Xk!Q zXywPRB^tl?U)3G0akTWtPVFb8xy!oxA=i@U(Fw6)FLI@O;awbL|1!tif+2E1xcEMPY-kzEgsSC#E zvn^cmSDDQZs@1OBrDsZq-UV$LM{^APzwSRszhe%S^!O0iTTg3kEf_DJ`H18!+H*V7 z3wIH}XqU9SRNLLz4ML@!)#ve?gl9J(*^Axu>eYId<4uVy6S!^h3vEPlei@EW@i;@( zslYG@Bk%io7fe@Q1cY-IV#RqkZ7A{bPD%PsM%QUa=UW-y7&F{#$lJm^?Q19XsU)( zar`;*hxY*5H#ZYJP+lIRj9`Mm8&74c@+4*EPaIpIf6vb=Znv&tjoO0r zk>i#2ghkot?THr1arWr3DiUA2r@foc@?unovdGWEnpl{ljeW1?owCe3}LJ35H1`v@FS8PUcOn zOJ-`y%13B}CsBmg4BnRalld&RNJE}Z`>_}PLSA?S@pL9YNMy*7;!~&ThtWy~IVD;K z$3W7^KeRWjvV28>XhL>T9@&?5t*b3!fcRY5iEKG?wwTWeZI<0%eHJe(?^^Q*)o=?f zX3r1*7MdMR757XRu+*>u<3Wx%*|?n!QA-aF5xQz|yYgoVGVmB^B1(!JEnUgeRTFOA z@_`3H#z168=e{0yn6FyY^wFWxx!s@%O2O|f6$C|1oY7D2J|dbqA->!kDXLgi1tLY+ zF5kAVStu=B3~r8Q722$vT-iF1RN4i}bnIqBkm zC9Z0d%Qdhv)f@T60Ro8*PkPOrp}Hnxz8QJvN`?k(KbARvQd7UO|A(=LZafQuTOg4WpH|1m12_y3v_@96 zPE@?~5p)ExDB{8L%wht3rR==a&PA2aWfjJ*N|rW6VD*V7*aW7jau> z)@(&;S!S2@mgeP6&Gqo2V#!Y6I)(9FM4^C*!j$C7&B^fC+g+F2uuP%p+VTzq~yC z&d(vB_MYSP$z&jb36a7f^t~GsMrNJMKCsX}beLi{EmsyR zQI<6@&pm4&NZt!Ap+I@?x=nXnrn&(!V_|EvaH+f2rH7wBn@A|JLjD{yO! zEGjxJwyiIxb%k%e&g*{l@h?CVPyzSMIA9R==#%>xruiXe_3?BNeSzR@Ve}ad2Uq&# zNL5~kj%$;q8^p3VStw! zIyuz#$LHy^nNGqKB)!|&gpG}xflM@f00=MY7*L3m*`Kewp~2widDWYeDsVZMJbv^A zCvD{b+8p~kfEVxh;d{I2R#!x6RvJ^Q#po7amcVq57cCjk5iqWiQOlfKYmKQOvuB(WlNC+4a zL4Wiz{ffc6HLh0W2bpxlN`g{I4y$fV7vhV@g28cm&@FB5EcOCSOh+m=wmZ|(%nGr# z`&kjfd5Os}!czjL=3Ijep_l?h*9!DZl2C4V@Ce{}@12s^Jo|Kk0LET({M3dF_G}H_ zY(3qP(tSxHs{!f%Is!?pXVQ5LYlN!=TcQiDmm?hFM@k31S5*;+qe}rb) zmsZz03(VziGOzFU}>bgQnQ&ZojKd4>o5ZAvBPxE$K?8c#Z5&*7_$`CWDp(pdmBL|W6F%m`ZEw^-e7Nt2 zgIqs8AOHS)G*BZD#tiHQEv&a&iNW%;FF10*%UN~H#GN#C=@P}u2(JCl`lf5f4hv@T8_K*;|t9Tu7CKoD8`GSK0`U zyJMetxd>mZeSZ?<;s<-}E&W}=e*BlWD)%V1wDPDPx_yJy@;fw<^)+ZsW`r7VG#((j z?M?ibf!4TGIz)yUYmb176rM-Db8LCRv(?+D)aL1SQMGoR{cs;7L9BLhb%O`GWQ&rX z0sXK9m6<~1;(6;QCxX4E9CJfKN6nf`TD*K%nZx@UzWM+-m#o<6qzs%gt@N-F&#)Nx zRBa$7^(!n`n?2 zYzd58VwA3kuAFTU5^Tv)I{K&|cc Z^!ed0T;R%hU%K6_*joVzKp1G%ydEN(te|Z zWXj*;O$Wrh$R8cvUNm%3+Q&tBYuJswjyL52}cP;{6)v^68l43Pz>~3K@R~TY>0Pe$@s9A*C4!Z(pr9i?ceosouC;o41)yBpcaXi42Q? z7Pv0z#hNmPHLG!t+50I6Z67udP*VI_w*aKv${lmXtky@Hx`4EJxlaBthmX&3r|9bS z+U{&ww2S`PoX>`DkVfbTr$JW?yTB9;mRJiaC#ckCPs)H5JoD(?-@?0gGhth4w_(SW z3caIERiCCv%Kndsn`s-+%Y_GGa7(dk?Ejdj*{9FmfqjB)4T5Fa`KT; zJBM3GTay-%s{4nE3~tgD_fY%g3Z7O#=$`-QEiIA`$hpH7rCnPK9qmMMu=0zx_PfyX zr6ggz`?wq3+M~?cuteytXsC%gs+Z!gt}W0$!fTyzC!6_4y0uadlnt_oZ3*N4&)ca; zMfgHe2)abm7PBB`o0d!;7V_%|nYyy@PtiaUA7aRY(Rcwwa6N6z&~q$C|4jTH=gwar zg<5U0=3vtMx3Cbsa8iAFb(_tTf~BiAsy52QOfo3x)|#rM`&&;d{Ewhb_d8`SGx*Np zIat^5>9KbqKuNA-MXR1kQp>w9zKLp6bfQtY^QQmZaw@9alM?zP`g?YI+utE^&~i1t zKlvr9XDB_&_;vYo{t;j8Y*ECGijKc{i?w|c0PWgEZycc;&&MU;EOria-wk8jkRSoaYXZT#Xupwz6Y7wgK| z%*#dl_ris$FpTQa#7k4`KQ@Bwcka6r2CJ4@yDU)`?zkEzOUu?4H8fU$aMj2&N$4O! z3IaQHk6%XKw`U7^;X1No`2N(cf$r7T8O!9QQ*;yl1_9Ktoi4j}CU0D1)GM=bhNrT@ zcy=?*@D4)&#BQ=wHRnoFBAINZjC$99k* z2MGm+-)K_vHD^s>L^82IeYLvj={f!|Gwh{V$KxIzh3VCYOed6J3QrQb8q-}Hw))ZY z@^xFONBeeulhepYGu}yKLB`}y2tqssPhOfc^|IOB?p*;z3`z`52&w>b>UIsLZ~K&e znp0y}(f!)J(x~ex2DFF8oGc=bCS!~$$nMCN{HZJCzSH%G5YuIIj*SaTC3*2C1P zn~AGfe`_sQ4)EvH?NM8^P+RKn=9aoIvPHjxw3BLrTH=Ma`8D_NjJ+j=y@h}6#4Z3n zjk+YJi;FEKSMKCSHvoKUH-6VI9BWF(3_hIxs6H>uAgxD+mf915x|%$Bc>7HWI+Xf6 zA6c>H$tGCtYoT%l7o+Icf`l)a4{S_4cMMv5`;EnS!l8d|Aw(0Iz?RaTE?i>g_#wz|H)2 z+^drx(%x$;i9KMoj(B3%FTl0Q=Ra0$rLjs)WoQ3to4+b1-)MiDgF7l6icq!ycPJ#H z$dxsP6=yM$6ivK5yB%PJzrzX<6-6RM3A5gPV0X1j?I}wM7ICn2bTwth;6Sf2LhyR( zH9&>AI6<2uD}=hOmfS}ItK4%}j0J*Z7Eo4z?GiL(2pkLM`c~`d7{98c{~s2Bdqus& z)8%BWSu7FVv9WzNJ-)s^UI5HM&K1YEe1V#y^BW885PrtrVDmyl4My02v-UCeFB^B6 zL1$Hc6)#xI;9T9-+0)qDnDpNUEOVgA@+nkxO;Uv0MGjW`&K-~hKo|?LDslP}?k+5F zpjx|#>n;dHU>VZg_eQD*3>Xt9^SP3Sw`N2KbsZ9PE6GPk0}F{mnZ+wleckfm0&CXn zlGnOEN^HViN3^m!d;NP9!kP6vw(5k@gs2q`#7xBZWslZTs+QO_0?_s9Kt$llevvG2}G z_+Wdv5Vf5Y&mkupBB@UBp9s#3=ZB0gH|$W4_PVlTE%St6<&BGrt@Y|hRmk$Fq@1Z? zQheU-!mTsJKZFsXXTE;EeH6hWMB&Gxmr69P*sR|yzCr3PCo+&TW166Yrznhd1Q~o37OFj?7n>g@ zx7N=WB*@wPED!fXR&TuJ$j2Dxiq714esgNBNMb6G(_)a2)jJq7B2JoQ`XV>vje(&a;MWlw3ZUiZ5WavQ}8A7BPBt(=D9AW5=p-btI7DhUT1_9}m zk{qN*V(12+`M+P@wVqGUTIb6->z;Ghy?dX1_Sx~<7kG&M%yfsEvgxutVf3>3QVnhk zz4{ z^uiJv&2d@ldZf-C(A=UtX4R*O@Z26+0!GK!gJHu4JW-2YCu zZ5Z{zEgJ97D_8ukVP7LAfFS^ z$P-Bz^SETG;wje9qLOjk7?(5=nb2|kokv(ePmhE#C5MxrvHfrt+G6&8b|}Y|BtJ#K zZYypWQe2c6gIKZFKm23Q*+qZM+^1c`uGAT~C{B7@W2-;$jC1TPLpD34D6?fFVBQtb zO8jHwF`$g&K-2;McSnn+^7bHr1UVibi5hFY$Y5V!qyGctX0wx1I(5LsEl+F| z`AkE(f0S`_x~F%u15Zzj`eHbI$~om3({z~*M17M_l})o$@7|}YCINaCqat&&W_Qfr z4+^*M-}%AcIrE;~*G%TplKEGBo}{iSk-g-c0!LL?RqPGhg%*38P$AEOlf%wo>YEe_ed;TW73<~cI>nyF>JTd2}yDeOSVkhkN zGSM$$t%;?&uUg8v%a2s9GvQk1NWBCD_0gVVTT#l#Ir(Zo4lD|n9F4TIz2{&o`Wl-x zO-)=d>ihh?CU|P$*3dVC{4z9v)l){C+BIujDU?2diT}3~Sr=>|HbeQDV}z`R*o}+g z%CZFA?B%?%`Q^=O;hy!AsheL# zes3;X|YpU~wloAmUWGeya!ORd{!*BepfX95coOyp+ zHQ=m2*n^qFDIDid+eni!V0wJ?S%%O8X43bXcUV9ywnt}P9$*agk;ayLhVb!Dw&#Zo&vlAv z3l)~ua9T{OuZf|AiZbASo0|K^>PV6H(B_!`VeP*gR3Fu1BBAhFi!9ftc@n3UU3c=C zfJ?Og#(ddYqfacPZ2^9R%je%f@simAt!a+Df{eN2iYMKq z<*n%odf3JVfV30k%m8IYQX=U3VKc43s;8Q~--zJn0`UP4D{FOY1(2mMsXCa#dz9 zF@3ImXd#JUTnbXXz05?_J_Mxur=M776ksx_LlSNi(p^v;q#U*s9B~$zUOhT+e zHwD#$cJ32AQ(_iIQ0eXvFV>o$Cqz3`z-jJ}9`J)d6KZzRyF~;obwB-DuVL2!aKd)Cvy)CdYJe-vVt7g998Bj}zL7dP4T+aW1+(QoH# z>$~((jQ#3-Tbg&1j;QpHY6vgpl# zVn^2N|M--fjWv?(EvP&mFuNLP1!-EQc=@N*$y)F;CP3Sk94qE#r0~>j1`}Id)C87C zv+GAsu(Fft>PquKn?b)yb`FuK6*%a(3U)RgABlEn%*Ny8_vXxF&nUW1D^17|r&#K& zm1QZJV|B2%&~~lqFX(fB7mJT}lNkwG17$rrGE=5wqokbx5+($ac2$7|LU%-UqWSVQ zkS43$Z{glw%_~gyGUK>l7aBA4@sty0&SyT)WF}{`4EaK{O>f%-VkjliN4q}Z`rBViZ_7js86$4f)6{QoU3hTPGx2q}l3NFa2%>9rpidBxx z*b?eh6C-h2vgbjMU*Zm`GN0H2PR4#9x*os8cphrr>}}h$NqSOhcjqaVsyTR}|M((b zgk4_+-hBi7U9shv!*)fu4@`^f8vAb-!g0o_z-GsD{5qwzV!n;>L9LAAYXS5lgaSMyW9&*kW7IxXx8p!@{Pct<~jtF2IbC2?)oQj-Uot?Nm6FGuS zX76g#er_D8K zv2=Sx5ZLsnQyt9j9l4asZZ}L4b0o&`0sAR*)$&8M^T*vSkZ+IQrRiXb`6hMv54u!Y z_fpIS(2Z^0j>7+1je(;C928-8#X1aIO34&|M>}08y10qRlS3n{y6`v;YrYj% zO%YLY=TMVgs{w)YBHN!+Qaf%GJ36kW?Q0(qH>nt;);uIGn~v2UdhPG#4dyGRz06DO zgEK{sqxg{{(*bS1UjJrODO|1HR-LVXqzcDi;v=K*Q40%g`ev8AwL?T5?Y?@_=e3bR zULKF$tzC8F(gW^;3)=mzqXX_zkxWvCiTYp>o;C!wGxEE>%rmJJ7 z0v_BRh=fHv?Yd`)dI`Nfn*S1TQ8Fzw1d~*i_$Ue{g1mJ^S7IIe##k6cUo?V#FYJ=) zjif#JKJw}OW65H3bE3=PPuLb64ytY930mrMW_s*{i|?hT9y&WmV6%i*RDE3$HH?p^ zr=n0a6fP+DJ#`4Cj?aX{1TDD2ynkB@iOU&fZ4r?*mLLxqDj|&wpI8>zM#-Fx-q{!F zm-@totQGT@kiDY3;FYuM!<{JxK4b-)G9|y*zfSKz%dG#U<$iuv?>H-5?zG^`zp#Vp z?B@Q&**QUz+aiuP66N7sV(x5&(qhUivM(7qgsuRPe+@l6q=sWwHO21OJHlOuHr#U{vK{LV~k~< z;`e(Rh>!nucAM2{-e+VPl8~iJ%~uahR*`unUjUBe>@Y?R2`mV}p9WM1@qh!?vqV<~ z?Kk=?Xs>b>Kn_?mw5|RSQ^NG}s8RgTLm}1UM*Sp#SK+}Pw6?X@cdeH$b0KMZ>|@{P zh$)`lxHWN>4;bJXXeY!lHcDel2E|H-%=wY zJ4EF!W1KynQ#MQ->__>XZWbM~2$5b)n$5Q^ib-x&&&r z`tx%QZc@$;EXb&KtFFZeb_{{pdbJp0!t?{VcF*!%%FU8y*IF4~+7u5`%&M4%_J|A% zU{0f>Gyq*LuO*EXZdZFdpo?XxsDlF_z>jg)7K@~$5~1cdDyo{@mp*d0C_LZ;|+U)b$9 zxYutvmEZhfn@z0@*5ke+!e-PS7boc_TS|8%e6Uy1N8750utPt*t(b?uDgIwGHTaw%xd8e z5*NY08*4RghEzyN6KA!3rCc*Fjz% zDEjK;s$uf!++K+H5T^!Je*uJvzI-)BS3 z*p-?VreP-by&7AR8#)X3kXFm3pIw~7d~#iQTMY(;_HqNTOB8o|=E+7&q4j$k3$rdP z-&^=|{{5D{`-AyyIGXTFY%_Ohn2=+Y=4B-9tJ?27qL#+6=Ff&+htT15+>6rR-JZI%^6YFm?L$nnoLS*&|QFIXS$Y_VVc11-aGVt`WaOo$REe z{o4)qtr{A30NzDO^cQS*H=|bDfrX-i>f!~S8$N2GvM+ruKq&Qjz&ID9dld`fxW*n&+hS3P`L9(eS=8&C z6(2g|pE$Yw?K!Lt{cLzJ%VcLJCMBk5Ae0wU{x_(@jeo#=Qj`^NnCYXRm!++f+kWs& zd4JtpNYk0bz+o;=GA%75EjyR`=8ipC;ZDt~dS})b@?@BVOMOhYNGGzO1fBcm8$0Ah z3 zU(~k8(TbM~7l&uW)`gXiMp*`S=pStBM=Sw>F9FG=eR}m@y!a3QcV-~*0G@G!sNfItMRo(lO<}prcet$msC*TDyM>0W=Us0-C1HPu zKS9*yZQ~z{;dJ{c=-9XZ6$!tyy~QaeEL%=#iC5c62rE@EKt*osP;SZa>Z&_;_GK~E zWG_S)if{<{bQO@06T$|CggY{(ZGp^0um_yvfbT`CKQAXXz%3`L<>t#za)(ceC)jUf z`0-nVrTOHOW8zt5*P0sWr2P>fVz+$3k7AbJhzpXp{B44qIoPX@VG=FgA9F*1j6KQL*BitQkRPbQ~}x2 zpVh$n3Z4+ADRCd9u~pE>=chBP1mh9<9XWa1{UPf+CV~Q0fH2NYRn>L7$mm|){;>1= zac@DaVCG6pKKCS{a46vtdj|OxD`v0RzY0<#H0n7P6JHcc?`N=Tvgh(<_G6VJ&Fj`D z+WGh)PkKBEX#tJb9n|Rh<}Z7Hm%T@HKA)nhL`_9{LP@a#?@#kzgTe@%X9zF(o`$yO ztza8s`!t(V6pQV)YWfP|!=2+P;D!|Fy9oI)fQst{?8jl6q^vFdChggkswxecrKb#1 z0do(?*-wlh(0wV&sAVss;3a2n#s+SwkDDyl{V=sic@H^1>th8}iUEa+I#&%`=P`yq zAVI8w2t}P0AvlOc1MYq>kTPzox^vCvV*{HfB#>3Z%>UPdDm|y*N3`G@`5%%%WpXa^ zwgD#x3Y;oEHthTyLKiyPEaNY7 z|0GWY{&W|rgfdDueCP>EOO%*i`3m4t4ju*Do?qRsIwlc^4b%o~TKB4d1kZU3eqUjQPW8fVxWh~OxfL-S?%krt- zMwRAEC>BMH!UU+EgpO(;5eK3b($sJ|Ei=l$C>*|YXmPhK}~yQh}x9hP+mJ3`S!@|zuiNMGRZ9Or4KCAE5}<#M^R>@|3r1D=ss z+hc6a`-VHod)QFAP_FxAmyM7mJi=q<>vPRiIo6M4OYH96Z62lT=RZw+sq77!d58nb zpgQI$q1Nl}L2b_f-lf!y`Sj7QF9Oe54-4e2%>=&O#>Tc+4e4g}(>~gowB^(6sXN%D zu)B~)$L27ETc^DZ#Ki(q)8O?EEN%~=9_3Y^B4cMpVzrYQJ=avg5eIXH+C(A!6=y>& zL&mcomKVRVI?W8WY1K_Xo>{)T!osP2CaEWRb#<919`fsLZ!YYFZ~8U0L16)kbp}n1 zf^<~H{AA~|4u%|0@>6E`!N_KhftS%_AjPuy;xFr;!)b4H#HYY5W>$B;a7Uk)8dx2{ zc6k~1vTr=x8Hu+90RcF!7_RNc#WY8E zy|{nrf6R|pM;wW5iL;gE_!R_V;A$l$1V_EzCc9suP50aZEqTx!92{K#!a#FuOKdPL z{TI1*%yWFu<1a(ZrrQlm4e>;r!n_|1>^bc--ep*-TBVQIa-xhE7Fzrqw?^AH`r?a< zA?tnWYPJ&UHxcGfZ0N(SbL1b<%EL{fqUUVG@cxY+#y#49Rc8Kg4||epl_r5^97;Qy z#k8VNC*Bm=)o1yh_)3Aix=#IOkMRSQ=M`eM?tv#_J*Ak$tFCH3`JJ|>)dS9 z5kJvIQfILaWk$4FP!d{vv3R@#5^zRbk%WRXLkT1AK@2-cUfhIeDdlpWAo=f(ZO9q}^cBC+P2jMzck6>)`(Z4(x<% literal 0 HcmV?d00001