From ca9b03787e77dd7fd2d6829ae7c7ca4dc1d3d927 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Thu, 23 May 2013 09:39:35 +0000 Subject: [PATCH] [E-ACSL] fixing typos in the manual --- .../e-acsl/doc/userman/limitations.tex | 8 ++++---- src/plugins/e-acsl/doc/userman/main.pdf | Bin 727152 -> 727154 bytes src/plugins/e-acsl/doc/userman/provides.tex | 18 +++++++++--------- 3 files changed, 13 insertions(+), 13 deletions(-) diff --git a/src/plugins/e-acsl/doc/userman/limitations.tex b/src/plugins/e-acsl/doc/userman/limitations.tex index 5613e684dd5..489b107d492 100644 --- a/src/plugins/e-acsl/doc/userman/limitations.tex +++ b/src/plugins/e-acsl/doc/userman/limitations.tex @@ -16,7 +16,7 @@ of commercial supports\footnote{Contact us or read As explained in Section~\ref{sec:runtime-error}, the \eacsl plug-in should never translate an annotation into a \C code which can lead to a runtime error. That -is the case, except for unitialized values which are values read before having +is the case, except for uninitialized values which are values read before having been written like in the following example. \listingname{uninitialized.i} @@ -41,8 +41,8 @@ Actually that is more a design choice that a limitation: if the \eacsl plug-in would generate additional instrumentation to prevent such values to be executed, the generated code would be much more verbose and much slower. -If you really want to track such unitializations in your annotation, you have to -manually add calls to the \eacsl predicate +If you really want to track such uninitializations in your annotation, you have +to manually add calls to the \eacsl predicate \lstinline|\initialized|~\cite{eacsl}. \section{Incomplete Programs} @@ -113,7 +113,7 @@ freed: \valid(x). The generated program is incorrect for every program which contains a memory-related annotation $a$ and a function $f$ without code if and only if: \begin{itemize} -\item either $f$ has an (even indirect) effect on a left-value occuring in $a$; +\item either $f$ has an (even indirect) effect on a left-value occurring in $a$; \item or $a$ is one of the post-condition of $f$. \end{itemize} diff --git a/src/plugins/e-acsl/doc/userman/main.pdf b/src/plugins/e-acsl/doc/userman/main.pdf index 459a66c45d3719b9da2b28016c32da20a558b008..59a41d0f3486fefe9b0201c14241e5b46c9452fc 100644 GIT binary patch delta 52350 zcmV)RK(oK_uq^VhEP#XogaU*Ev;>NH0Wp`sBm^m!yj}zef98M~#{oPo_KVGS5Fm;z z+d5n>ck(7dU>j#@hT7$2hLp*fmDfT3d+O1AE;ZVbxUoJQ7CY=0tE;N()npgr)%7Y~ zee*=ZZ@iMLjTA11iio9JZ4Xa=ei94geX6K`Sf<YQw$SkO#X+yWs-FA>{@N}ExalDN z%hi*oUmLq}f5KzO)$5h?iSWv;oO8lRy}H`1zK_2A_Sv7Wp1)jgv^9|u>rJYX=s&-G zwocRNid(O~ea?kH|MB0y*}V8usJ#5QwT`3zc(LBd=&R>z8GX0@@#+sx;y~%suVu25 zvGB2{**8+h!un*j(T-51>920`^~NMJ%FDG%quZjcf64=wkK9p|e0_UUY_a)<tH<`n zZMEJg7wtl|Xz&_G`7inQbj)|dRvDGmk-N)$n>S5X7yG*jye2#3Jmz?lm7~r$s>&RR z1OkB^VU1@hvZgs5a4zlQ=oMmlhr@vXddLFng-vk1=%%mh?2v7~<bh*enN%dPZ3ha5 z`(Nu+e@E4cD+iq9)Ev2X%>H`~JOCth;-hU==iFYs4*fS-82R=Fm`kPlRF*|~-44j- z5LU{IM7MZ6-#l9@AAR}VA7^m};gYT$`(}T--V|Y~tlSaTHaa!Jf#i*t*P@ibQXbwE z`+$^Xu4DUkUgmXnWCkb0702q^;&?NMy!5Fse<o=$`ewVGLt81K<dD_YndsTRsXhnj zsq2v#P?SU!i2Dz*)_L7<!yT>%FHRD@&fkW62+^u(idV%R^`tl!dBeO=Di%p1$Go5g z(<<7+(pHD!*9_)47I-JlSYkm;v@CHeDTTLIAvqwJ+6tQ{3=fDCa&*J$`;C;!MlVn0 ze;Ot_7Kfa<{k*QL8Ydu%OvI$x=vfI$lO2nyZ07g}6DljbwgY|EaT*;mV5N=zhA^?d zE0|w-xup>f^kf4(%a6#pw<NwG2XpIav{1fV$8$2MjZp2l?*rMWZ}oMso-dIB(Uc?6 zkBnoG(<uVL(8Q<*Yk|`KAvnAXiH3zHf8Qd*%$7LMJ^QS@K4sT=!_^{OgL22N)nZ%` zFSK(kTVZAP)ioGUkZHDtI)%lDg$1$NbBz`}4aN=&udDiy*WB68%{^d?_n}xE!`%(n z-(>Z%$o8SL3=_2=_u28tASK$;FF;1jpu5Qr8QcD18*n6zfUa!L?gFd>dZPr4e*s7- zTMnpYbIX{<LYvN*&Dve5U`S^S@?YN6;3Sa$G!|Uv(3mS>dwZA9flEa%w!|Mm?Nsh^ zT-cJV88j5H=b$?&;>14~`aaKgVS;1T@&GOt%{=N>&~s?dVZ~Y1X;isGLzjTb0R_*0 zKIJ?d+#-0J&x1IDUP*5zyvIdTe@;&q4V!S$lv7bg!0xz0i#0>4R9cuMZAm%K(Tcvs zv?G3qZ43+Z28^{)DuPAYk%`;_W#A=d+37$JIsk9xrm(`K>0k=UqySrpwya=pNfe*j zNCaybB;fVDxJcuL9LU!EipD*XMd0N~U}(NI+GzHt4t$83_|v8$!&(tqf8czZIdmWf zi*52gY&vbZ$r^@sB;PB^cvHZEmHc)Ml9ugH?4xm9QF2#R?@-_STjSB_Sx%)+s8qj4 z9@5m`mxnn*rI60Qcjbq`WDu;Y`JhOnxIQ!}vLe-;>v);JZXF;p;$K-kPGBv0HLVp& zO(KG9kL!tHT?1a2Y=0Zjf6;u2n#j4f11VN9*=HXI`|N|Qg@$@<VdcQvSPW|^LMe`S zJcx|0kNd%}b}+iyH(bS7{3gIH(V&CfuMtpwY-Zy~2xwjWP8T|+!8jpxrv_xsV4l2e zPK<Jk8gl@ZK=;-uI6Kryw0^zv;H^7uY`umJM%lt{;Fi1+6!Y64f0;nd4j3qB{X`0m zB2GWd%?n1mg#iVKv2_>Rq|tT@T2oN4cg^luM!_5d>FK+Ib$}Nq4-Hd5{Rdjng|?|h zb9#$d1V_+t>)36jrez{@(F(ye#B<y|G6|qhNvxt5uepyy1{*au)oH&Q-^{F0Xe%d* z5JqgXQ-gD;gcmtne`#xXFIv_>!N7nw+|rwGtYr)Y=|TQN2jQo1W3k`!m^u%Ue0?0< z^ro)fFj_S?<iWEdR$(YP;IwtX&;WQG!Ci|kpc$<Hm#B$kF>x30nqX;3w`3eR>o#1{ z7@+O<Of81c9Q{D^m>;xY8r@`d4Li=TeGsWdk;Kb4liKsEf58KXBoP1-Hl$jl{9FOs zHK3d%7%mx*qB>u_e)5+o%pmdf7y=?0j8+muwi{wo1rWi8hm9}>lO&`r9*mPPpbxw2 zV=jt0+`~NJ2&pllvQMc3mkB*7K3YjY{^54nlA~atUwJU=rYGiI;Cfij3-8?k*7rZg zs~vRx0ms5De{X5v0sa~Ge)Zi1^a8-<af9_TshQAeqy_h2A4=({r(-jCKHOwME1J4N z^<`LWrv}fQz?a7+1w1tDp@Jqq4U4S@<19V4>ikx$M`rW<tdl9VaJDmT|9k<QhmC>_ zwAC8Tk=1DJ;P-}pal@;kTPhdyThVX*7$`V{&m3@ve~l<491uSIb`_iGi^(k)=}#hQ zr?iX$^}v?Upv$41SD`VfkFG->s%a9fF>Ip%Eg=DKj)TAxczmLxV*G{jiGB~%l84?$ zkk15E;g`n%Y>bRPdmO-upV}@C7`77sv{o{P-$yY<Hi}^(V;BA7$7nQcdtm>&j6!#? zmeA*me}SD>=MkNsv^J*_wAmT~9buQgNi>GFi9uzC@`-+H`prZ8hl*H2UEL_Il6M`w zL^2Yh)$Sd}53o}M*-KMI0xxJ%Qb)E1YA3$z`Ep!b{HLDZ!7_FaH6B&xOe9g~(vQ<Q z111|bX3HpD4{QmoyBykiwHuTA>FQnVL}GDif2>gL(}ek0Pyc_#dI{{A%Qe1qx+unz zMt@w4r$Hd?Qk$e6*b>rtIkfZAIVSbfkMXn>&da~Yc%Mp)m&hdg-CDZGaW_t-i-dUi zq9t_;DRd8P35C8K+IfW@lltk0c`6ZFC4Z0eKD{_Eo{#euA!_&p3|x>(lj$R{3FY{h zf2?~o^7LbDfixmkY9U+D16#rtTn_ELEf|x!m@RmhBHcfDm!?7|8fH#JnuN_9zNSbO z9qGX{7n4Ih#td#(v55N@Vmr9QBy>MqZt-H<TIg$^rpqA^FPt8|G7S&YFR%%Tka7Qh z`r!mfFJjld`u=4GJ1e>us-Itumy|;Ge=m$LLrl8v49DFpV$x4e1vq1({|QK5q;jzl z)-Lskr3bcz%3TiayvmJ9{S8#kgUUG%h&Z8vKz@Y;5&^CgT^IP#BiBxRskyN{CoLL? zO3q2K1ax|F`YgPpHRBO+|4!>}9)^)=@7p#`(y#OAiCo+|qKiaNdvF|HFC%&be_#uU z-UmQCD|!=B7Z5#;+T{49mewgu1x@Xn+yDKLWl60_lwW9BdSFW|%jM9{FUy$JMJ&Sm zS<~{_f#-sGmf>>`YzaPJ4(&Xj$E5yt!46no5y$33T(at8`@?!;V|>D4JUwTNqjD~` z!IPct<6;{N`><}>5LH!!P|HTUe+k-Sv+afLLy(UP6m*h^g?8y3s3k=8Qds8&bx7n= zR(d2!5CSNTXv5NI|FOYysz&EeX%nvC4(0GzmIJXy_w2*cryuC2tpl7FdaXVHw#4dR z4(<H<k4gRQLPVX!v^)9G5OE|Z5F)01^cGX}_CbPRoN#WTXYT`GO9;Z{f6&eg!kE-Y z4cIIUl%sg9m7RAbttkm!%u$Yuw0@Z5Vp2LYh-V7HIbrGuwb5zxZ8)h59n<sUbl(jg z&<j8gA)5)MEZSGx_|s><=K`I|H0`lnXxQ%Q03@HAmE)7n;5z$5ww#kTo3n!nHGLi$ zXNv*o@flC_xMetDn<zT+e|-P^KjkU~3iDr%eEzUaV(QMRj`4&5LHW*@9<ri*M_v|A z6-NEO2`3^?<u)Y5z(m`O4roGqQ`|ot+2nv(IQ*E^*QY+M5L@WzFO156K4k$29b|>3 zxILi@=%hxEPiTHy_4!JCP8N^18x@+kyrrA~D72YtTx(nLIA=}ke|=cX_Mk1DoX30l z`2McDr)$ULxX_A6RFwe>byHWT>l<$5j0~gbTxf+r`AlfI`_QK0O_FH#MVU8W+%r-m zvlMh+fvv=Y_Yc?o_o<{xv~Vh5@(*FhY$yBSE-nMX@)8ZP$AqAb$2>?b&-iTI2X+Fq z!Kb)Mv;~WtNUS+he?X}Wb?Fr0r4|R^$z=N7qaRl|9k}x&d3U@;YfKYFXhjR{KH6T2 zw9nv#o4v<Z$1<ija!{FzV?lwv8KDg5RfKDa;iP^D%FgRqj1nn0r8p!)P()sHL_Unq zRhw}!jexAT_fbnzn%{@=j><V^5gS??>hLLo_7uXy?~z(6e=65hW|r*e_pj7a4@M%< zR`pDOkfd5EjIv8gsx@FW%~?rJ;%*mmjo5l*4qs+>EwR)CmZroM@P$adBkEHU7Y98* z0U#++16)G=l;Pzpa+%92w)e#RK9+bOSL>k|Sb`@l2f|P*`7$d82DUkJBnI^A88EmR z;KcalEl&5bf6%bqa>)P-PiHDT#atdwS<LcF_Rr3KBDHwR^gci>umeXMitfN>{I#<p zm^p^O4gKzUkmxy?`o|UJ_s1aM*dh2B1tEW8KlC}LDsc|AiA|q~jFpfC&z0gB29JhZ z=a>;6>yYCPEfep7ebwoRk`kT5SkA?Fl#5T(U;+@ue=nS6!SJ%<1SJw|?Cae4j5}(> zi8|X(Ts38O@Mi)zxun=}$0RjGvwx%rp<?G6l0P&pI1bnqw?)$h60bs<B9?#6>q<Px z#^Co9oJtn7G1B7~0&HtzNQp%d^!rK#v8i(1W&?HD@t(yQ-o?J30!+0_<U$lc)Gj?J zY5Q%5f0tyxuE>@>$8s7RI4fPzs+*TVCDD7t^ti_bhpWj6lVyV6l77)3f_1UXo}zV+ z=&BLC#r>K$q^5>6+miAbnvk59XHZI$p0=3W4$8Y0D>elW;-!OqjCTw2683_L4rc<c zh?h5Q5R%H6h;6NALBIP!xuoA~B-4_CB`fdAe^z=+1X2Lw$x?c<+<{XxCXI<<j?WaS zE?wY#Tu5M7t<^$Ya8dzZF@sa}&u>6N3clQqYR#xt@uh4HF;-sj<&H0*@z*XY!%N-Y zZSnXVJ;b|XQTyHfmoZ}2g1_tI47i)r;6A|$3)y~v1wYZCW<SyJtlqA{Al($0#zi~E zf9>&9htD;9g(+#ce}PR~iNlWk*@kCqB*UjpBxMUz0gYWq9DdI?9A4lyCB;uTbm`j| z=4DOZfCo`Nd=vv4*};$<RUvN_n`iUyrA>wFkCe<O;7ieOOhd*RgWTmI)2_rscWh}V z?U2F!YrVhYJr6qVjPv|pe-qHE*=rTYf51uJ<~e+PET<nO>Ap6D>4}`OXhIgP8GKy^ zYgLKg4FNfO#>u*v9(fZIAv+?la-e+QCIIVlsId~ZcL8FXjM;$+Tg^MJ@i%I)L?opX zk|rJ%pI5e-gxk7mnhj4zBDLcOmYhylPqxqjsn8toWjEaB8ot`+<K1(=<)w{xFbk-z z^VXlgD$1;;gx2Y|OpF8D;1fIuh3?G=2YaXuel|yiTtR6@w}1)yKkqOgb+=221ZqJ6 zF_*z41Sx+!X>TLRb>HV#5Q#rf#<HgF!-0|Pp&gH5&myz39bk8%aLAU}SRQhdnj=B} zd)`sq>?SFS)b#Awz(P=6UH$6St9MngUdzGlKn`9!Q;^Dm8YrQR9Y`US9!wU`{{Bn~ zn^M&DxLu})^;@~&`OAeJe6xD?pYT^d8ZpFC1M+{Xt7p%@wQdkZ3Q`TOZU!oNp?w;J z5QJ4`a5WwLFw{bei&4~mc==zKU;pLm<#(?xM#kCU<*UEGeEr?4KVQDO;)d_O<^1Xo zmt1&p`RelZmlrV(uP(pgrmw&I=JMjFt3N)IdA@c2{9EM*N{S>C;WA25_`%2oLC7H{ ze^`HA=s0|Lp~J9vi^Zb)0-#1aT$js90mWd4n^`Wbs`9p6j^|i2!^!Gm1aD09!~1oy zMl^r`VUR@f+7khy71AJGX}}+WU~k9sa(WWR8i?oWS2JP_HpTm5a=#hBndkZ&K&|?~ zxGiu-_v;PU-Vma>+ikHds_~|n^0S+2wP1g=z3LE4Lq!8ajFb`1CdOg0T9%ttRZOpG z65>J)OMbhHcuK-Hh>zDWl+nYR)qKwMUjL4#56b})hxEm>%c~a8B_)jUgCM;~jyUUw zpX6W)&;AJAQ}Tm%)N=v<Fp{@}`QUqC%$knGhe5UY5SKm#fS5!`dGUXfm#f3Cz{`KW zMjRN-s^LpW<?uCk?f_K|&`fpj-(QTB^uzy#OsC<^#VGh;Md_H*1*8tkTDswgJ5TV5 zhT1+R&I_L!8s0&FNAQ$$Ky#`sIoljSO<Uojs^1<lPHVzr*5KqaenpMbJ{HD_2z1+G zkqo{H>4wtTp|Pb<wiz4f5!CQG&$oX-L@eQBA_9sIX#nY(()mez;S(s67<=UlDU1#e z^F<O4btiZD^M!W69H75mV(Il^8l<fRWY&0y;aqwe$01RjLdHrY-jH&6MQKIp2THH^ zo=#hDok;c=h18};vil@O^!lhc`mH?PA{i4h3}*+)E|qPueWdAzkcMxel8ArhaK2bB zsXXP!hemf&IOm_fHr5h-6;WT2+$h8z(lw=X?j*L#0BQ#@abO7allhMrMH4cKkRd{( zOiD@EB*dn9{D#t!(oHL^C@tz#In%-392Oo>A~E%WeQaSLiIk~@eEoFMFnc0qPc3Gr zo(QgsHrnOWgdjv<iu6Pw=rVt|u>x$7j{rHvY+zY4t~f&lZvv@%sBJpWDt=aQZOYj- zXK(r0m}_&+%DU%1y@L}@H|&)uQ=aBjDWgU31{?-hWtshiSJ|%u2Th}U#oh;$C*vg- ziud3<fCB?#4L9^qW!DBC);<b1H;xU$nw1j-H{<HfxSX%KINosY>VAKT&d;V?<kxFY z4*KK)pskp!mec&=dR<hTa+MJ)$%})zlH=oeK5xs_9DOEn8jol#qVCf^c_6O$u~w8| zv=uHB8P<Jy)5uVbydg8N=2NWt6ze_}Gc!CsAE1N*Wc!#;0tJl_!LyZlJMbllr6(~a zHz1LlkjObnp7aiRJWzjLQF)1b2a6t7qg2aUokGeg7Zx{yW<xheB8-qMseMaopMf~+ z8^DWEL`ub$pri^umzoA~L*P<)eM#jBl{b`@)Uv9dMio$iqsyL6GZM<(iL4`yh$;2N zI;eHQeu`kSTwdX<$O9zx9hIaR);?WH>AY25QhJLNcjW&0yexmbL{lo44PnTygz~2D z6D3h8kc~mt?=;WfB`d6PJ&_@SzINa<>R_1+H)Q`Svj0Vsl9^Ce1CAY=up?bo0c!qa z>DqV9jcR1`N9iPM+xJW!Xkca(r)l39gaqt5%J)y@&spPIsbJStVF47|5?eRLZBebi zKwqZb_;SDLit~TfeZ_^mYs5_?RyX-M>~nL&tbVhYmJ{AlVs&1=L8V@eLBXTi#<5q+ z`3HXbZdNS0R26@}FRS{kAM$*W5vtpK^6>h_GnkK(9a=!kPoVoesPXStU$m8Vy-O`` zaC#P8Uzh;T2WofK>b4p$xH4VkJu$gr*s@%0xB!-c49I`DTynz#E!ARGeHc~6JkJxF z$4hu+jD~~AX<Vj=>g=(tGBEq1J8EmleOr_1g4Re9)iKA#2*cbsFPA^l%1yaGz6D%q zvyX3(jk5`t1=oR==7JO=K3>pFYB+Byw5-w4;R0+d=MC#@K|!H-KVIC;i#69)H#?8- zssaq;{rZ2<T7ab`5{c#^$fMLpk6%=xB{a(85(ZvEtTjuBl^LBYK%un|-0-g4%<>CF z?^VtE8O*e(iW~S}PRiviH=!Vsq+kV!IR>Wzg)!r^A+|N3;BnRm=Gj_uoirZ~1w0($ zvlZQz+5qqQW`hh&0jyjf9_<_e8PIvn_PgN>907kh1M`M6u)>@Xhcy}vXV4q7+^Z$9 z{1USPzd@a0o3dKmm8i}bv?7NJ#Lnt8{M!u2`0(#UhY=`N=VF%{Ulo%vD+;iD`-_0B zJBwgVB0(GDf`8yH^I|;Z5-A^adfUz&HWXF0Vs+;2aGiVM>LcE)yG@&*23)fQd)Q3T z%h7+A7cil(zyH%A>e~QLSF=uc^ZVNo=>&A9m*_My$B#^ajbgN2DQ;t`Lm0B#T1>F@ z=QX#{8bXc&M9aqS<cG6j!KLwJvZ|&;CLLn)*7q!0q#W6Pg5u-?DNgEyXRT^Se=^WD zLtD>S2$u}>O{RawfD8HLE`Ve)5}{TJwO4-=9ocipUhLF5<~<-q)4*oRf_cYw7lciA zpsY~I4XR>rgBHCDvu)o20w@s=#vc|bf)@eoXPpKgH532aa-LT|$W~WyI-}LC!z@^O zU`t?0F*!7k+W5Ad6=04?70C8omuT$3!mbYJTF(vG4V*A`RhpSS1aHp|Y5_aZ4{CqG z?gQEb*jd=$nBA#bJOKgzKXJ01Ck?3$wMe1K3uskeAKF5rQ|EDFK`52CNB`ROoQ^^S zS+Kmn1`ib-^*{$SSetY0p0g=87CW#N%|MZ7)^YQI!If^@ynlJ{H9!DQfcQ9QQ}0}w zy$tVb-aPiYINCvaKBj%RL)gRcERKH%pEfGn6UT3X^}+GyLp#p#-KqA%@h6dn=!~P; z)DxYz!1|!``OuEjxjWU*p;?k}P=Z~OfE^u+F&%gY+N#mdE>tU8zs!W;@;v2}3>{1> zOQ#6R(q0;C-QNdyl#2(^HH{DR+wAAq_IWY+BXWDDsAy-dz<-@{EoUokJa~VWo}g$u zJJmx21=Uzo+~OO}2aRU<KU^y~yXMBt0|Uj_8i;qm|F(BhaDpn5c+~8A5|J&iK1Aev zXvamQJJru9A~K4g?PnK}4qtjD(21ALd5;Q)5D4^}4AzQ6zu_csBGoR>KZ4}$Z#7^c zT>E(FJmFUO3$@z{Hy+q!nMi+6k_nT%u(}_S*uv^TBF+bPR3N(Z{AEqEiFi}N_eA6^ zus*1KKD6Ux?oRdd=p8JX$dbZGet6=l$%T)Kt;|EJ0R&9@&@zsWekQPVZ0jWJr~Mx! zjSZh$FSKlW)(GJH|L;>&0^Y_-swZ~c0_%fa&xdxLUAt5L4D708648Gnzd~1Y3cK#E zyKdWqeILx?WwW}&`vctTgxVe=KFNf5y!jD&;+HM3KKSK)Xvg`bJJlZeg*l?5fzV@8 zX@KX3(ffxN4zJ*CZ(seM1^#K;2Y+z&jrur;|11!|xBL-s%}M+0Ga{hdx<>FZ+Ya|} zsut$j*_7~alpqAODdB%#CKdmljM>ex`2#-2#E->C$tTj@>d@8sAMFmhD4g%hAKU`# zLzd5nc3hUbQ|(KZcSJM-Sp(<|C2W1I_(@uNU)a4GK7A`}Y=SLNPv_7rV12Cf`OuE9 zb9bt}*?3K@jdXMM^{Ks>SM(0AIE#F)L^7ei-Nvk7ItE)RvlV}PX%1|e9~yRNOe2D8 zwAX)}0q3+{ut9gA%uvZoL%MdGp^}xFcHPqKD7rqz-XWR|LWZ8G2EuA>M_Bu&n$-qm zTq_Cbr&ttYQFj2x)ym@&5+1x58FmT3Ls8ehnEU)Aer+%&32#hKdTk4=550CiwBvfM zJJnC*i}EhoSS^2S(7l|OoxeZndRQM}^o$hBr@ok@0oDt1oDJ;}=IBiIAK&O1BczPK z8oiGmJ70c{mToYTd^YLyi~;c?h%xnz%ui<@q6RId`ZLV#SHpaUVfMe6Vb)Rv+0!+E z7O*~a@A=S<>)!5EKhvRNP!TY}TX*?X5tWW-d+jMe4{Lw-oK@VoJa*h*@Nz?=H|5i< zuu?+z#Rv_oKKS5lV8_{@GtW<QypZERjIyw~$=4A6@8H$&$F9`t2vEK1F(^f2^xo0f zJ?mS)z$QhZ12TtfEOPk9ffGPSyZKh^Y8@%7>PXf_D`)}Z4m8FzKzT}OLFpX^Eol5H z8per~`c{859+xeiqa_3z6i26;W6`Oj$d`&?z|~%q#HKZP#Xszb9pn#CDH+kIUyiYx zaZnydt1S<E-P>OTMjSY>s-spga^dkXTMBzQgpXIio~j*o9NC+Rs&jIwAG*rn4xtt) zSTCkro>I9uDHKG9C~We5@GUA$4L+uh47xd{25NufQLrQeVy)zC(|J}k>w?*o8?U)` z*Xo&HZ-8xD?=h5Z)MR-Y4Sb@H2=pks0aSJPH4y%vI}lzwkT)Ot<O{EbmA?kUKSFj` zSlMSFymsIv*<T<K9=3?gySwH~@0u^{dI%E_uCMyX35r)e2gReN-i<3iIViqX^Lydt z4@G~)pB)r$9|?*lrht~iLGh`@_>Tm|V|H>-yoQ~oH@yTrV^F+T8bE?y6k-oHTC$B+ zC);Sr*2SJ_qm2?O*glm4kV4kqOgbg#yY-2PJC0Xaan=oR*wnEMlvStA4!{T5XI!#I z%Us8cy{6x_ujohZODxC7!@C2sJWnWa+;V?A=z2H2Tb~f#ZApCG>EYd$!@JXo;oVwk z*fF|3$p{)&M*Ghd-mRq;A@=n>0oaLy*9KZ6HQFN4rQ_st`MSY9<atb5eb!XQ3E0H3 z-}a%{Z;w|@{mv!6G4J)}Tx;&~QR6k&D$WXS9Jj9f?fw*kZny3&JY1PTA#a`d@GE}~ zQ%3E;N^w|+5$=8j%mop)d-zc?8c){q(arsQK3XjB?P)PT6ga7r60RFNaKBs^8y@xz zMUSG(fI-SPWBLZje8Y3Y#>Keqp<0p8SYa5@g#tpMVLYd=i|`9;Zo`Pz>V8phyeYTU zQM)4rTPd^iRkQY&+>{ySIAA-RjhBDZc@7aKzX@ZJH#tbNr0>8%_r*?ZxY>&h$FSih zz>}W8o7JUq!%)gK*C`Ag8|v_QjJY-77TmP^+nvvpY@@9=U+~A)I5^v=&iCG+eH%h; zRQoe=MzuZ@2Nfc0*b)}sZATYleH(Xf>W{ZTYZGB^)HcFg?{F+|S^zc?$$@{(0*--s z7%zfreId~8My)CZO6ronddFXDfqmOo#cX^5gT5_k(V*pWc>x2zEvwZMS-_}zTi9h$ z7*Km*YR&mKUJ%gdW6T_e<Z_TSx6<;^9<7ezjl*pWKEAf$ydrL9)+-kUu11QPIPm!9 zemQwa+O&r~xo)JUxJGHa=FflA9GU{&Y~5~28AC8&<N2Jp#)EhBa+6zmZF5li2cAn= zhc6ot38}iAG%bFV#xCg-1_ot{bN<AE!8>Ti)<L%2X(ZW3i)SGw2ji;~Sb?S|eTlFc z<Us7U1?9WlOFSC7?Hb6f?;N22WWw;P4?Gg7pE=5mbu3%d+WJfbR6!>sXB?xh`NIS) z9NU-7+n;?L;dN~v2P52}>+Hs=(0K(c<NpIq))<#DOav3R`P&4@NdYsL!6XDJm+K`3 z4Sz5(;l2aCDW_`Uof*&8UM6F0@?g8X7!s1OCIKx#TGpoazvo;UHwwcMCCn-hDV2b} z;dGzVU!T5x6pO2cSiE^5;VBk!v668jAQB6y7VF)Mzq}B!@jg|QKMYf5`&mf%^6gG9 zeqFuzPxx!ISm3IY_#YQ9zI<)$B8fd_Tz_0Hq<67b$s$RT*hsy&*et$_zW(OryNg%v zmn&^eq~hf&RWADPZ(c6bG`ir_i*H_W;N5Tk_-6I?_aXBB4@)hg|9ZPz$>`UwmNNQw z`NPF;UWlOSm#?K;ND+JCsrHrBBDUTwRyv`kQuX`m9K<;jt+OVCuJbzo0)mN(ntzIu z?v^TzszY0{<Uo^M=G!|C7guFf2LZ(%)Uet|zpwDS+aRpihwO&mH_H`DZJOf4Hhj4c z^{uPjP0=N`O}qjf^Agp~>kPvCeA5;uQJWkM0Lp`^u{EAGye;<EnC+tsv!PG)&@5WT zsq*j<_XZakTTaT@DcKeYZL3*k0e|gLUVv<hHv6pHWc7v<Z&CdWA9u@CMPFcQ5<v;h z&VR<NJV@AAEMi-fKLy$QAp0sS%4Q#w*ldb@QI*-2Grt$wZ1aXQ_t#k{c7tZB$^JhV z8!!}FW@Stah#Z+Gqw1kob~oF62aSO*_8Hc|>6cZ_0qO<}><Z|z@+xE>%6~N$ZaBIv zej=TYKDn&6TgF27VO8dU5~F<dwroomLCQ^5?~C<en}w<on+PHy(WFT<+0WUQ(5h8b z<^&8a8BdVHHpP_ImJ>*j(#O*3wx8ep?%fm^w2Y1F3S|vfkpFVC1;K5-hzd;pHYelI zxMV+3Uj;An{>_WUcT`BlDu33ap$mdzPKZ;BY500`6nk|s@Jr6cQ18MeHkPSJ_k-yM z%#$pniKVxTI$vCZyE+mXY9wdn{34CLa|ZQvKGq5Z`Z)E$RlUX`NhV3eprmwhYE)|x z9MwL8&i2u5Tuf;ZsuZ!KL`PwtQUqQ{nx*KA9Vm!)cdcd$O8SM54SzJDQ|x2%dSRfA z_sLM$cRz^52J(J`g`u8XD!GGy7QS74dn9`fY16Gsb!<{|tg4YV*492$*-=hsYE3C3 zRtUgh^!=NOi7HKD62pd=SUJo63eI2ZG%ESk@T=h06~2--FXz{01nJXFfRW%O3{#d< z4a6lN{By_wjm<z~Z+~N<yHUMc8g$w4_z@pB_^9x48{jVopMpbB0POJT_ri(*`cn-( zGPsQs>sk>Xw{*gmPM>ILn~*q|kx)(wZt|3A9JmzI&3?a3Sir`e<-Ryyckr#Lw*QBf zS6$DP)5^<X@5|*XF*^F6V2HDPoR#2I<xD=V7dD5FJ73yqAAdJi^%;DePh**2Lrk3h zouK!;9?rocwgW0GtfW<>h?Su0eO$w0$o3xbD?qiA5rSJr|MnPc8wKxVCT#b@=D_y( z(oSQ0tm^Y%8=aCfP_uSn8-!i$qHBCvf;Ggp9LtY@GXjG0F|0_A=eHwt!5}jBY&U5h z=O(p=$y&_>rGH-798fx6+G!|_Rec61N#SDw%NwU{oF?JW0MMgg<8pZlHn25IrFsBt z%qiHw;z0WjH~&2JLIk4wB9((3(0P8&C0!f-g+zZfAs2R0VAPYVAlVmql#5ibU32M7 zxbB6`f$Q_7oyPT8)fsTj$Q^Z<NMIWUTUbDZ5y?r6rGK*Pxqk<!2!}7LdD>G1IPthX z#m%?SGxcdNY>qxXU)t$D9jp4;`qW}oF7`%!d@Mqjn!ZavF{tIIMs@O}Q7ugDw4Vt9 zy|6hDaK5zD2pFq67Xn88;bBliafgFD2@ChXJ)&DI?D%p0KTEd^gw4<`kC1k<TaHwH zruAszp#>p$uB7{yb1MZRf1J#;JMU%90hqIeoyN;Z&(AW7(*!mqDb$qq=l6db?}8^z ziASB%>h2_LPtNgSpKO#fu@#|F{}?8XqXR2&KP{5*WI*_6-M;Q4PYFVOD8E{+Qanvu zC8@!UyVn?j=a2LRIbMa74Lt$VsgTj1paO|&?p0zD?uo-YCwT7Kf3Ol3rQ_;l%?st# zWa~jqJ3Ow(jbJ_67MA?lPbmY&>1Rx=PI){lNoZ>s8r3#1ZyR;L8MK{ngI0j189n#( zyq-3s>@OPrM6>#rtS}CIWvD$GuiRFtMI*qoq34z}u(Tnk<0TnfQl*m2j(!85TP_s$ zri9q{Qk#1|V-k>7f5o8mBLO+?Dwz<{thKQK=hxk@(7}&#lgH68T#f1OGlLS)uL)?j z!<e8`BS2Kiv4UUwQC`iloL?JG{E=hjprqhL$@uRQH~r_<3>!h9gsvhhL%&?n6WW#H zeei?qYgByJ<oL<)ZY)5$9q!b`I6&(@YypC1cpkiR4s~`3f7-zjS{(Hbgf|q<AEp&- z^i|?!QVT;?!$w$!%bRxqY)@W=4mKgYr|`N<_vDLG@;M&63c~v?+<sdkJt09S)Qy~? z9W(IcakW9Pd2$4Jx(*Q?db^-!Nlz%7fTKuxhgDEv%n{_{Jgo&h6~+r-3hyag(6efD zQ>76<Q19Jfe^lSlv!ds1JDwlZ5em;O<V+m_^QMLEr?cVU<N_5WN9oD0OF_!EuCJiy zb`a(X0!N9mq!hVoPYw_C-%z-q@S4I|XDP=s2N?`@uMK<1Up>qUuv*e4nRAqZFOz9F zi)@|gy<0G}d>C8kNsMis@n(8OXGJ<XVIn_MvZnt;e~?lLGavm!*aA{SkU_#BWTG$` z7M)+=X9;fn6Kg)!#8iQI9j-c6aC4q!L3|xJam%r(IaC`^)D8|D+LMO%Xe*vv3f(94 zSXe&6f^CH-95$?2E|@I?t@<TjADG91(dv@l`!;`F)pgzk5>B}xVg{yvD9Wt9<M3rx zY#R<{e|vt{hY~3m`(l^>YPm8v(AWDzw%y(>Q;ifCjSlcobLpN{0-q3P2d5k8TpH{e zG_EeE$Q;ZZakk@^uo;~k8o+v3r*;6?-Tin|-A+<A9F*&h_yR`;WZ$+_6$l@i5NME< zlOV$g2{uSSq89Ivd(?y?1(A@}c_`4f^#j>5f4?fql4&lGhGxfiAh$qhml4P2!16JU z_1%TyMA)Hr)!z$kE6lrP@{WgI){5;E{CdkX3FIv;xtk&7Lvh6k`7do32X0S6<enxz z+FUuiph52xnhd(b=vcHnY(V`HK?N400P?S^-4f~m$OQN#(W})<O#1rU-*TMkR~Y)k ze;#aj&Gan-m5bhO4_B+Ar2X0?p~YY~`g?~|vU5X5d)Qk-ko^$(pK<R8NgDPVT7}K$ zORV2m>bfaTm?aWl01Rpbi(J%b0$hgOd%KWjg;2VSuJRIKw9i9j8NbT>cA9<UVyikd zzpk@gwwk1)!2(k!oe#RH!BfK0{m=P&e~+WjFmDX&FG9t6*4zbsE6%||%xx+I_%JeR zJP$eWEmp*^C7KwXMvG3x4M(9dSI}^1hrw$l=z8SIVGfGLclTwJ?Ivxnq(pc>zzncr z>aPZxylKeSp=_KBV3?ObHKEe#sPgLOV?IS1giE)6Uco2jRP8GR?Ud<}U63nhe-z@X zt`1k%7zzFXQ{VjYElxULaB^FgETgb1s$eeFvf~n1CttK*S0!>SF_Rop(;RY+?h2?0 z{VPX<7i#Oy5EaHCJCYqi9(+B^?3*~@g##cERyqkYhsKs>+q;I)r3d~CBVFYf0q4)r z`Vzny(#Su#Uf2LZn2rbnHv!$we{t~3&Eyc(uzE@S1IT)=!w6a&s|<C+3O(NxYpR=| zuAPDn=24gK@?C|~p~6*e@u7yf5$8SV8P>HTcBv=MAG+7PYzm%1w&5$DT5w@}S7y6n z&AiQKUms`|*&k|}SdcGD-VsWGpddA?^HvH^vMi~9$-%7;+dapLJL&~{f7h(sY$v<( z12a)+ei-(l;_qSF-tx3SANp7(;fVcZ4^2HHwNe6&E~Stdi+aOkFgdVcO%_WpALv!_ zn71v;QwUZ?&1kr~n|AJ?oFb%hV>EfVsYV!>1)M*l5nY3`%Y9z6^7V#xh&FnSYaW1A zfDc|y$g$0lY?_s8qOZ!2e@-|KzR=x-^M08o(Z#E&CMl>w*!#1Ml+kx#hL+4S<p428 zB7e*-{Q*A_gP{wNe&|93FuP%~G-b%%({n7N6%fGU-kOe1QLxD5`cjG@Q1U`DrG;cz z-^f_NR6a6aUe{IK#5~|Gu8Aw1h>w{O4{FUrI~R5v%G|RgO5e5Uf5u3!w{o7@(utsM ztq<+O7Hx&OE$LcDSLDE`sTIG&qOQ2SYgOQ7D3Z4GI+#GhN?yU-K88>jq-Dh`y5_LP zTCX`aSdWJVADN6l*&J%NJC5<|w!mOx0O`D9lx@ChC-F&7@HMO)i%ni1i46SiB=Ea2 zX(;7v9<zcvjp`^ge@@VmnuKL2xco;EnU#W%r8|Sj4DJkF*^C@!&>?nirpw@guo<op z9wF`I9m0{S&%<HX&;TW1k1TY@TX`t)69A~3>j}XtOTY0jbRK5KB#}S~Iy8AA6F8M! zwLkM22pxscF%QNzCs{W>wyB<nXN5mkl76O}>w&Nt;Q9z@e<$I3r0Vlrky@poAs!~d z^f7RiNpgzF08^jpOMJz!nBrvNK6F5IS}B-$@eo5Pe#!ndc|9cTlUPtPb#bC+x|kmb zn*(*{OFNCav8vCAx)j_-VxEY)yC<T~XfuSJ&;+#MYm&Vudsg$K@RlU8nu(X(%bEji zXA3(GwvnFCe~C2_%l3NxJgoKfjlWJn0j$=q=O@WtA{PDf?$bW<Uq311?sL#UC2S*8 zzCfM<k-e}vAbGyD)0iBq`h3hJnLsIHAI(g<f4$Q|Ks@><6L`I&%}j)&fv`D%aK5zD zKp3m~IXOqt;koT8%F(@}UL|88lA~)jI{CpLwj*bUf6wb+YfZtQIGJwD5<NQTpakCf zbBH$g5DMGn5Zmw%+Vc=Ct5BZFA9;OQ)w@thcYr@t6P*Qc5Vs?@*F|@9fZx{nP;9lD zyou|sjke*uAY4%;{S{Rj-G&1PzL1iwV&Q5koO)x%pXt!E*>h}DJ?uVO3W<x-`L3g- zFtL%Re@R}Z+lMjVq3&1@A}|iJsTHt|h4({()R2$0l9I?#DG_c`(Xs&69T7~CY>mfp zM=XGxw}HoOn)_|{2~1MmT!{`$dcvpTyK3pDx38mHuNC>N2k@$p-Z9k*V`JZ&khvt+ z9WTgFw*hAP{!VAbl~*k{1b<igga*ODACSFoe|YIp^U`Cu5K+^_H^7(e))x<^gLy?P zoEeY{`qJve8!(Y=Ei}cV(Ea@x@v$tkv-luEIA&*sUws|VT>$(3_UlP}v5!#0cAWTO zB&?j~i#^1^siOPW`CLP4WApc6f364Y&wkLW<3a!b?9Un4pQ%zU^r{i&hH&okhH#c6 zR5*(foI6V85YBQ0XMG-=6HPR!`QV(mSSa^!dZX)qJU3(q?&$epzz8hqIq5`j52Skv z>hvPZB)DaB*fw--uoF;=mGwk|VA6>geF@h3UsC@tzPC~~1t$uZza#`Je;e73+sN_V zU!jKpp@68}7uoDw$i`V44ssytNgm=|WH}NwVl0tblJa;q$iJtK=B3e$Wv`rU7K_1< zeX+W_x{j{ulAPVl<m|;01y4CsGbNO<GbyCfv*qr|H&3Ln-lv+n$7Sm5z6uRbU+(Pe zch!@>z+cz3V2Fzz<ZrK@e>{C|<CzoQNj1A#&va~r@oMIr6IPko)oS)S(jpe~MXHnN z*<W8>{rQhC|NhxLO{1%qfBw__tE=BXkpc1U{q(s?W=aY#Jpo-P7YnELY+;<Bi4f|a z^0#xHMtR+C@@?KU^M$cVRIK@ZH`gwz4qT}ZB^O{Q&Im}G@dV0ff1y(clN0367oW|w zkDk5y0}q~JV-u0YNjG-CJ=`pc06tr{c^!&n1(StJRpvi~QY@pQ#g;hwQW{$~EqCAK zWnO1(9+r^ttITf$()n(Ih#(zO;Q{r9G9tD<U@%_*8LB#~@8%0@(`a8;^F<s-|IC*y zw)hC~!=Bqsu|&FTf4Ew-{N7@}ir&ms)bIyLC+f<|Y<u@@zT#$pd{bw;&~=j)Wz%+` z!j~29$!*D%ZE-!IRfNW>ULjqusjX;Ta=M_7956=fhqf%SLdM-DJO`w*#j{hp1^lRG z+6@F8VEF)AMK!HC+wv@RzOVBpFA@7TYm2Jn_G<ko7Rtu7e<1<<Nep0VGU+iGNC;5B zl(FPb5<OwDRK&htUG^qB1y?I!T|elvS62W{{fq%;4Zrhu`z`De>>u$DaFZ~`PsvTp zoA~GzunVpmC6Xn+z6tu^ix*F3uVGLMq6|7<BD4TOAiJ69SyeXqH-|vP?cF>z5wg7l zA!ShwGm(rYfBqq&YUzaX_H1eNQs0+G0RM*O%=ai(fO@;Z4bQo<%ia|`>_6;yaJH)s zj5ya}<B4QC21fJAG0E0dy(2ck1sdd^=CDN>Fh&v6U}Lte^K5m;mHb`4JhUiDI3&nb z&3(uR+k)}s77{=l_;wDGoNbF02rIDe9k({XqlbovfAVZ<v_66l`iBr~kS)ey76-1X zQNUCh!9Xkky~;s&RZtoV=~gt{LK+F1#u^4T-$@g_Tys~icd>Gdm8>Hx0jt7XVQ;tw ztKA{zT8ZDM;d>u#GOWD~bfJ+I!)fxi|CC#*eaF2ZO=`>{N9tvfFS2E`U4X#vkq9T4 zDourQf4z#o-4NrBcV$rDxXrkiO%XP~2-}i1yv7w*fnfx5Q~<tEpv%)>%U&X_O;2m% zqh$p;Drl>BEfOb*9}*bvh1cg=FDH`ZzP#Y%tBNd1-f)%q0tzF2%!n-jt5wdOur6-T z2w&j9p7D49@(ORFBL#qM%+&C~7C$J0c2a;_f1Dm^r)&HeEr?TtO~uNdz9sa5I<ZVZ z!T{nj-?u!V!2UIt2d;t&D#c=1poXG4^O946m!R-4FKMrYOna@{@zPtA&{O1gV1CkG zmEkEUk<s&c3St}9fi^TNmvBHhv9q9xtN?X1rODssN}*DK<sMG*uStaV-K4LBx>l^w zf4M*!J#xpI{3~Eq08ON8xSU;Yb1tFm8I??TG<0pUmOF8SLL*56G?f+C!$GAD2BJXQ zi~ZFg<TVIZTp{4w0Hf@|1|W6*wx|wGj|y5-RKlnfs$uYHVj@{4q<pV&ktV$-EIRdL zVZka1i}o_QflbLv*2HkgAhE&rYy}z|f0zmvjUO!edlVzAk{D4t(qYqmPp7pvMR~)W zs3*CECKSQ;jE#+S%*9rs7K7bxS*arolCrR-u_;(qyIoeU1apH(kRRar;>qV%BgX(Z z-<V_;CvfCZ4v+t@zml^R^nqy+9&F?-joiV%7dEl8?d%nJ4;_1vv*6UoS@5Yyf1Cq| zsc>+jCR~0Jc5ducz>e5n8^gjq5Eh;iPs&i<(KDQpCKKowY<ItZ3!o~fi6t1UL}AU5 zxm4Ox7rZiRThg;ZyG9Di$J7reao}KYXl{dF!joIFzFlK`Dm8rp><Vqpqwz~6^(cwp zVQ@vy9X+q<!-C3X2OQ@UjB$Y&e<R2fqydk>s9x4voYfQmXqpgf<pY#adQ2HW_AQ~A z5z4S|2R_=VIgJ!)l6?0mr{o8-05hjC(g&UmJrN5B-V(T-=P_rT2pj85FsHI!Bnm-# z&>FhK`aU^gVFm{SsNtCyl8E6?(?Ws8wth^0ph86?0S0i^oJAR6lv4;Le@d`t-?@hh z%uS6iHi}Ry`PH7<CO`H)2GoEVaDE@kD=O#g*6(<|6~6cs0JVZ&?WC{nDTA*SH~xcb z%h5>5Fcr$i2v|9M9@{}Y&I=;I!OOvcYoUXxx!Q!o_E<OL5pJZLv3g79a2q<WS?_bD zI~s*U-fe-0a5|Ki`P3Kae~*qWTQ^kO-N|sQqp1lM@*K}QD>B4qDrV5=9*znZRLm+7 zsq{Z8<{uUFcUH{Oide=MRm{=}W9`F=*$N-`NALW^!eQNsJ<@aor%B>8HQ_W(TfqcL zu?LT0oj!Eloz}--lVtJ{79#$X215OC4Ft1qY>o`Xdsx(Z;0Jp_fAwj-6KVS2*PcPW zrSc*5rbp_{e4KiNrO6@g`NPs~mbF`QzIL-|EMk{jQoC6=tymTRc<lVa9Xm1Br;~6Z z#6llT#L6;j@UBR^Bm{J`(1Fnue24Sr63>SRIvxfv#nHfVm<#K5{>`DN@u<pRIGQ}c z<l(rN(FPnVb$;9{e-X;sA%a?LyHyosxQp<-<CAbqz$8I#Q@qHkB#hla86Uz;*vN}b zda7iHCP3)J;aGVjpeL0WsfROS!w%%QXH=fwh4@c01jmY19`LTp4xv0Ogu^Z2egW7c zPLIg2Ey#U{yBj--2w`=&W{CMh4d3iq#4cKAc;UxQS$oupf1i>c({i00lVJb_Ws@k| z9zt~#)y7&Kzz~dbbXCAu<|ABAgx;)%vzi$q)FBkbt&^oc7LGG^WH5)T9;2f!_+B4M zioJm+B_`qt+a7~%g#%-vITlE;00p6A+h0>3#Y4fUfY?7fG;OsjzRmjUv55_E7*Y2# z<0P>By||d_e=UGDUKothvk4&8e<U;kl6AuQxOY<P&P}a@3%RD7Ve~g~6X=fQF5Eg$ zj22y3Rt<pnJVe63ovZQX(y7Z#nBU0r@7>~~tqAuU8dOCJU?vwF&kN9SbXV5Ja!nkS z*)EjWOOA)GiDR7{U1{ThFQrb#!eJ=hd`iHPntJd9e@MVjau*1;>y2Y~?|^_;T{w14 z3K_%hEJ=t257}j-@uLty90IyodBbaoJIx!UKNeaZi9nOLZ66Bg;|33_Fwh`!aC8P0 zRuQ#MsW9-x;&ix_2)P9s4jy{CZLjhr=wG~jQsH{UfGe~DGqP+eyx7O;D60Ug4{=uv z#$M~Qe{ZRj@5lCO1PC6j<(5(<pu!>ng(lBxMuN!f!_9%e&nP~5fKgQHg&N56^_r3j zmYub-LOXqQlen*ovRyPAKx457jjN)~*H0hjFl7yStVb-SwT@Q#Iy-a>rL`Iu3M)NB zVWndzWI?)ZSTTs}(FZ*XVTBEke$2dUP>1Q@f1`FhL@PVzT8q_rtb{d3f`7FsYGfb- z$GPE#`cY&+CcM0N#kSn!%Qp`kHPRsiV015ovyffJ!f=TRN11RZea96}w1F{4S_ZnV z58?A7G*spGj$8Qpt1gfqyV=O>vNR=HIO(SRl4l(k+H`zHk9A2l4BOi}E1PZB;>8<Y ze;C4f_loQ*c2dd?3?@`DMtNA$eJwjsIHEbg>4I`@ur0uBHpA6ELJ3pyg(o!JzbBd| z3*_&z-F};ovK8`m8&VNA#X4Msvo)rb;YP#ifIVBXK75-!ven(z7{w_Ac?a&W?-H8& zWQprh=0nFrr}9QTcxc15{Ri7GOqA$Cf30vLLx&GuFOF)bY`=z+MUs;Lhwb3Pxzx{; zCWBJvvo*SWQ<!515FmiWB;Xw)_roGU3uy(Qo$ajWwu@iM(NGM}+Me@CKtyqB0iBOB za$|uKDOKQg->FSOjOk<y#0rbjFwzGnwqMdi@a}oYBVcEG$RpU7fc5}(p!T#me_ks1 z-NFFtpSjpcPfuz?EmCN@bRSi}cyS_c5}Y9{X=#NtL3NIuX2nkP=sXK{Wa8L^XVG!O z4)Y;MA5e5MmZt+FfRydO=~B_&gZaH6M5=l*dW*rMm>g+K!6U4#j?g}iN5q2}p+u#H zvo`wIy{OCk*%kH=&Ux-K>^cH=e*t#=2xyP8>(NsG2kfe(7b#k8z$i|VkKtGFHoA>} zcPdl`a}Oha#lcNUp{iee40oj9=q36>+%W*V1b2Kmw8yz)y3~ttho;t^JGlDAxuZDJ zsV6&}!qEuV9}6YJ1^d&$3TApuqs*Wrq?rcZ9-a1RP9xlK!vD<&z&UT!f9&-l1_{V8 zKxin2HM}VH$N^EPwVz^c2cGh~PXQQHiGMZMO2YF~&<wm{iF9$DY+n%m5i_MuIBSo& z>4;5`<N7gAk5Kv`wF6GIgWk)iodMV-)Xs-PdtB{Im-_uzJ1!Q9aX+e^@2}c1;G+I= zu44_)PeC(nBmGI#rIn;Ef7SoLx>U*tWzBz0UnT~Wlev(-9DrRyUw$~W$MxlOssE!x zyi+M)lE7&^{8kSYMPf;9B!+HLp?2U`&5h+_E*%CERj=!XT?tr?TNl<OMaoR5%+tl0 zzjG*}4A)dLlVr|N8fXwcL&#W!V-AH<iA3fhV=@<^BGFZ39x}!MevRks<$3=5{P*$S zb@u-D-fOSDhIg&KoxQloMv*iATXnDGDuuPTzkhbe;$={QQ|I$Wru!nJl(hye+rEJh zKYf0|xPwb1=SQZr`gCsNg{S%R|L~vA$tO2={H1tdHT#6oEYZa)-5$in=APE^o1$2M zZ~cOYzKtXiecPK{HEaAUcAWQ<8g1sB-aWO)ZJT|=+x83pY@a845mp%OJmkclm)_}_ zjwg0|*ZSyiC~w&XFXMlE-OkQWF>2k)X2jU7D;~7|@g>0C$^Ut%OK{(AU#r}8%39Ro zKq4R5_;E_$&*(m*oHlp(<kR!%y|C2y<ynzMk?F2iM{NE+>Ahd)u+#TDNoQ=|JLh68 z#pcTe${+J||40{qU%fLv|GVL&K|QnEB>LEUI^b^m*gkn%uN$`i)c1N*>D`QKJJwt2 z3>|b^p4WHxG?7KD%?DqbeoId`S{G;2>{i458Phu7G2ySSQZ%t?fBcw*!Me3e9~(>U zmo2z{&-t^Ydf287{f5tJ=eb!O&}U#kc)k4tMt18Q;E-1wY(J-uzC-FV$rIf%mOIp| z<05r~ZuXKSFLZv8`)<kI#H!Nb+Kvf*3l44D&>_$L;nl_0TW$PTcf~tblZP*okGvX@ z-?OuN)lOsC$6xZmj{JmxlwUrk%kJ#Uj(@ng?#>SVAKWWwF{fzLla6au-Cw5`ZCdN> z-L>DKODbi%f8+y3nD_d3<M!8^%x?{}n{xO1^V{J~=lN&HgbwQ6uf5?L|NL5omp*u0 z3Td=4KKk_DHj}6AoBFoj^q@rbfEfcPuG{zZxnHm1afK^)k1d$A^k(Cv!k<&c=Aj1y zCp~J?<zBtRD=!t)d0<w@(4s-N3pZ>x__V0~Zpx}l)x(xO58e6up@rgG_pLp;B_^GB zG#Fc7SEW*W%`<Apj~)|}d8OWhrvMOicUPI=`}U&O;9b$%^rxjQZ$0Q!PD7)PUVbb3 zzSy+q^s!aHi*}}lHb46K=!0RQ^>weE_;6#(mUqr_Z(p0RBk`T;TIUV8xxw+ut;o=R zw>NED#k=$!Kk<fqPDpC{BYvZKr*lspJ__Hq>fA*K3o{o{-eub#4xKymoz8vs-naL? z%c)1HF<W5Dn@)Ms|5?v&fhV?}x$crxH)-snTMe#1x^ZLNxnHSy>d`k7>oqeq?mnh% ztECTYv${On9dh>PjO-gnQ{TS&p4@la{2}fK4(1=&_e5fnH}(Cf4eO@4ZL7Yj#@tqm zO$I#A8@OUz>P&;Qsd<?vZXNN?&hof!&aZ0fdm#2iZjYv`Ti<)I`ri(dd(E!uyU1<9 z;cxQ}PW+mCYS!8h<IgNyCj0Dr=9J4&`E4infKBcr;xeY?{x})^YKC~+$cTi_F}|5L z7kApm-U&UmZOZ)ZG1UV1bz2mD>~#Cg1ee<PA0=P1n(2{aw%Swiar3|)KaX?>9o+VG z^5F)nH+<#0^!P6`zLRT|Q*_8P-H!3!8;|aM`t`o&$$^iHhdz4iG3#aZwlen-2R#jA zZ!9<-{eJr<<@;q<>&fSZuiepjbXKFL2@|q6U4CVg<m*0oR)zsC;OhN3wCd*J9nur^ z0^a^8_V=23bwmAoHBX(I8GL_Ocb_w_if*lnDxUrBt;d1!It%^z|1!2DnmX=Uv#996 zufgVH>ZFQ7J#}vyoI951es`b2GuJ8OPc-h)V5?=<hV$RKx^8Q_@bxM0N9i5xx2`(l z7?~2&Vak7N&5MRSKlSKn*7vF-jYg%o8q}WUo6#~%bX#ZTf3pj#*ID@R)bz||dM9q2 zy)vq&t-ZcgYQ4v+>zQ`?Hcai8#b>0qy0x*7S#-j~O<CES^n(0H-uLP=#AnCeYUT^= zI#n5z@3}zd@N;oyQRcxc&vzmBQrx$kE%@@lZT#Ady)D-U$8tHv3!fb7(U%L(R=Xc= zSHI7N|732l3$lvFq;Kr|b=JgYK|fkdb${1X{!g#F9$g(559`0bX}yGg{`%g%#ywPQ z<IhezdcZOLM<c#Rz3oSgm%W-Bzc~DGl}l}V&eQ+Xdr4v8gASd}?oLZSVVk+z_4$W$ zFT)mYirJUvHE*Wl!w)XDmPUq&EnU`mh(|oyls<Qy|CNbP3%gh(cL+)zc=zD(_!-A1 zj~zQFa<*)yX~N;meL7s;&xqA}IU(auKXq)l@!N<X7e4A@@7PpX3MYDc$no2hPdQD7 z>fC+j|Ihf<y*(6@PsQfD?V2Ck{oilvcUN`w)LE#rF!6}hgwWWc#0D;xx9H5+bUggk z+rTMy`g+TFnM;$^MIKeJ+#MO8QdMtaveN%$^1nC38+y4}-N{NV{CV<#&dkdvf7o`p zwY<>sQ?=#Cp4{y{j-U6z`^B!HDua4&AN3~abJgsS5%GC54d#0`?|JjBTUJ%;(6$2> z=Fa`vR4INDF`&WyA?xeknCd;aTbs1P9(}S8u39OV41MGsn69q&!_c=;{h%d@cZ!Dh z3m*Ea$5mbDdU?eu3g_1?)-Jt$j5F%xcyRCzz15=+)||2~rdRg4z=$sY)a3{EyVx^s zvRUiyp|5fu>h5uTyx_*#wZoOiB3ciU8I0uD=Wk8jl{dmVxRoNo@p5eT;mPre6@4Ea z8@S5pzrktsnkKDZb2MQ@t6IUcQi4X_Y4C1Sp1Zkvl48m!^Q1a;Z&q7>=a=u>COy2j zeeG@3)bhUHl6#9B=Kt96%6;@bt5>3;UEzG_`OHYGWjd3c=K8tcpEG~**y4McQ=$&L z3=P~Ea6dL9Hqmf;-l+*btF{K8Z+HHa&b-{$F-sncS4eBlzq+vY@;5q>SDr^dHk<0M zI+fgad_T$V@QX{7sl7fwX<pyET3zRwb#)Z34IZ^0e#Woy3%96`&6D&V`%N6y?7+m= zeZ!J#r04U|O?(cVf9>i%ctw+*1`~Vur96xuc=1}b&BxAPJe0URe_(K<=T|RXInZu# zK;g!)0hdN`Yo>)Sd90VUC_d)qGp9K3T~XQ5t9E>@F~&X0V2|0y-o5Y7N-G${C3MSg zZ=14kMC9DNJ!W;!X#1(XVGYZM>J=ZHYAtLq*M8=mb-gyawy3>`_uk<c+54&OB;&L% zPj~sKcYSL3(r{+iburC``d42)S}p(f@sdsYaKo7nBdZ)6>(S?*sPD~3ZY%EK^|9q~ zb7g<mx7ME7b-EflhYxz=b$pQeN8|IuQrdc(`pb72KGW~66W_kZ!$3d%9fP8jHNF+^ z&(Yc5EG*opre2)Su4gHiEDSI5lXgtKxOm?Ko$AiTU(*K%ZQj);SSLOs_m$7*^!$;X z(@tzlInjUeSMwfQjaFNPe{t>CLbqYM{i_g%T|ST7zMt9jeAD#U^~-w37ROv_pp-km zUa;oGk`MnVU$&lk^ww{Y;QD1els=cN_*r}I;chL8^+b6+7OGVCX*vVUye@7|)kCFy zq?hg2=E`p`2de@nyu71w*#GtTy)B)-a0#|L&4)&Kn|<0aw`ahoO_8@F9u9WD8o#OW z>#M(NCB{s5Y_#y+u5LHK_U#-yWNOdkoex!^?`KaBX)*p}y3}fs`_*qFCv>v*ub#8p z&VS4AKi`UmI$B=4>uTSAa?M#w0vi6V`zhvu{w@Ca#0B>kw?EVAb;91EReT4Z55Bp< zD?Vv#*GZeiUoSVS8)q2&Abk96cag!IRnN@l3~zdLdcS2us^`sG_2q}nh*ZBk?~E^D zvsYXRjyQDNbYh<QpGM~o&+%!Q*Tv-Ll9z|VrN?77RPFToe(3!-((}{Ke%<}K`tSZ< z*8N&qJ>r+a8{7UT_<ZYD=0ySj-I=QV>3{ZRXhN;`oi=5!^{Y1H=b`!`ITxKLZ<tdp zqI<)-mol$EnwC8NT2YfJCZ~=af3s~!?hYrt?JaGN=~Z)&a2RBJV#%+x&>kI~t{m+* zYUuCyiQBJ_^?qRS<K9!-+?@|p>C(109#2?VXq50vTq{lS{o}d*jU~fQ*zyO)wYcUu zG-_yzURxcX+&QAGKW*`fHG1poyZxGfO#jWRdJh&iUlZ4HPNN@u3qNI*onz)6d=_2r zz{iH-^TDcq|MfW0cw_as2m5rijB<8r^yl5|E_H7Fd*8=<Qp)h^oelZKi1=D!r`Aqa zo6iXLXnx)+(PiWqyXtY`^YZ<%oW0M6R%U$v-(g#KUlET;6=x`Q(+YhpEDX+Hcw^Ii za^W;vX}@p&^&{IgUOJ-hJ>&NVKW$E)bCk8z+rN2eXks7#3DL)LM+8jT(R=-{$8GHI zG~ItYzs8~AA7UDRX%#Z|%kQ5n$94ZO!>{m@*T65AoW@;<mly55V*1PcW=@vHiZ)G` zJ<zTBV*3O>q_%l_#GZF~RzEYYxxcu0KI3lIy=&2}H)j?aZrXOn?CQFb{{{AJ5>V9g zU$3nGUNr~nJKk=wVuXjIg{_DA+~J>N3sy{;mbN=9*RTE0Ms3@#Sy`h->qLX)b$SNa zIkcToC1dxoE(x4!=AN1pSIo9IGd-3&`euAYZKDaHF)I>+`6z>hOSkQ;<r=rw`;l}` zxXE*Si!09dKaN<(Wmh>IaW(SmpXYxDn7>-zVBX?o$u*m}r#!Ek{bxu*m2b}XeEQ#( zo7SG~7;NtDCUNUJR&P;!EoItoqg~+^4ci)S8DmvY?f#OL)z+skY-2wmE_XCnFyq8< zZ}-bb!;c?({`m8!h)Yg!e9q&oGwNk@^Nf4(_|@j67rxEt9O^K{vi7|3(YN<>+Y|ak zr<bYnUeO$Pr;u0tkc@k;Rn@;{oSAd0Rdi5(Ux!gnmO=B{`hAX#+FKClGcDov<_F7y zcb&fXUD6{i%5v+@@Y&Yw&4ZhLl3IkU+?n|6PxgnAT`ca5_4R+1z9+w+;CquDyj@uK znxQUTor)()J#8E>+x=O6E5GTCledqrx$U0%JHsRLeZRQ}zpi!bmN4eKO=E?x{iib~ zr``qcF^Z{XDR+2$*Pi<vTea#?tC3D!^m0ZF2{7$%Zl03*!e#Qsg6qTbhHrMgl|MMj zx|(gbiEry!7A!vVcH9LM+k|+BG3|m@fB5$g-(<n;y*gp51KxG56>OgnSrjMxZRc^7 zPcKgD-KOs#&&v+dE<dlB8cMfsa9Q-eZ&z+${Jgcb{t5cnaK!T+2HRU-jB*Jytkt>d z#m9lh%MMSr`}1jH{|hED-ebmQWL+9zxOMuLWuL>lS`_wCAGF=q(Lch!S4f*K=4r39 zR?V{<KCk6I-miI(|GVKvw*s$jsWU+4I_H|jhs%BR21lrl%etJfS>|U{G-_|CNyflk z5&at&&&quE@!9X*&wZ0Fec+t8IqzvW|Kz!TRX1*!p4)g$z;%^v;BB9iJymDt=iYEz z)aT%wfd>z`=P!QvZT;2OW3wF_b>5Zt;ih78*S76^f2Fyf+<D>Y3VytIsMV~Zg081y zxt6Ji?rm!4qn~$5mEH4=U&noc?%&?N<Gkl2ZgFg!9nsJu{mSg5wfn0Vte-kGqHE91 zC-v0x_)&G{4p}y1=X!@0H5ER+VwbKSGPcMkU}0FdHi<5?_7{D$s3Lc>>R8<7Mf79u zVIAwtT;x{eW`i?d>&|c7EW)CVF@L4Oy+MO(-ZE}ySP<~IX+gojlM}gFwrkxNbZ$0& zLbrUcdbac8wmtFn`Ch~NrJ38BTFI8vrZii8F|YTC->w}#-ksBUfF#%EoOA1M=iC}P zU#|UOvV2@fqM6?@=l!VzPU}wE@?e$0kLB0b%qrFwHDBP^ha2nn^Vi3ZD?44h)gZ^D z<7K;qN6xu(uIzhrX<*VQ%inR`{;TWL;en}6_ORQg<5zmjYE`V~9+S}Fz?b3Ho}223 z{t-=B?|aO1uyV)D9g5}4KU;RI-nL)Tv)Kl%_3KN;qE0fE%t|He#NiLAMA}Izl_fO| zFmP?Dt{tY|j*lDFe^yrS+Gk&ncz<YlBiH@e4!(Z%1Fv-%o>L{Ib;9~pP5lcRtzC94 zIDP$wCdEJF`h?l_+Ylkwx4XIE$g7xmizcas?ZX}wO*J09C3=9-<e9CP4(*cZ5?)+1 zz_{_mJBikB(sDi94?I0L(EZ4}tw+Y?JUx{7tTFd|<DZk(fpa{@{>S(F>@->ZbHJF6 ztJAg=xs05gkUIA3g2_R(UJtzU{Z;PG*W)@rIaB=R=G=+f$L{#^Bkgr+(x2bciht&r zPL-_a+-t3k+qv$6KB{&9v>!iUXF%Ah9Fwzuir+~xFFZCqWOK#(=YX#9&pI1#%Pib{ zM(@M&RsW8TZ+-8ImG`@6SK3;;*(d+zO_m1i+Nit6=lBxEyrd^1kIt<g=REfPe~<QF zU$oilVe#!Ry;J6WvGmVB{y3iNHtuM8{d5<**N0H`?(YAo{s`G>i~hOZ>-uoc3-o?A z&ECI#%rNT%-|uz~-WTWD!(>1A&yYUeO?q!}ULW6N(%gTRdb#R!U)S8++SuLU&G>?B zr?y@BvyI=spZ;a#myUzY`hVQKuz|tyhPIi511Bx`Rj;$manP~`c}wd)Uba7=)>1pu z=O*0`9@X=%lKOPQy9te!xMk~2x9+8EaBi(vwF5)?#x^t??RMg+W2RG}!<(ypVos$* zPfb2(Yc^wCZQq3{hM#)*-EjErzf{z_WsUCj$E&Xoa<l9^mbc7(Ra3U+Qg*c;dmhyL z;@6^Et)|A0r${aae~6y`a7jkT_4<3JB#xWae@2SM$|rI8amGiN9*g*TZJWMsPCNgR zN7}CN>DjgT{=8NbrqyoU+Nz=MVwd%@)wzd$O<U~PecG7msk?{WI`sLwRk7hU>FtT( zHIjdPt6jKcWLqmw-QCZo*9+(Oh1YwqMQtm#wy!niq)|PGNvrC#SyQLY-W~qg`e&oO zj;uHLd#+b!@z4zxuIaZQjCSb|kof#+p9NVTMqh|%(fvTmAbDZzRKEo;j<&QHcOBt# zpkMCrLb>UjiP!aSY?^p(d+g5S`V$)r8l=3KtJ1$dF(@a;MKbT-R*R45@m3q#*ImKi z%bqCFQGFC|7%$t?vc{Wrk5@i!dNk@-gxiKXBdzUPUGiU9lyQ5AjqUHbjc(SmyHtDS zxfjZ(>#dru$QpbuazX#%oj>kJ8AsRKRrR661ZTN@Qk0XveiL1N^H`^rPo70w{^II2 zE2n>xw_hBC+9o#{<Ir-k&Otq+qR&^xxOKen@BOO$=fLS5woY3%%#?e(WpM76Lp@I# zeXlNVA5@K-UhC*Y*Up0t+h?@(t=j6}@ZD8nqHG5JkRKfp93L^dqeE}kC5648h-%zu z*~j(HPAj824muXE6KCx-T(Vpq=TdE1wfl~5O=ga$p_kvJ?K=IHCeeGV?T)S5XllTV z@%kf@w?=0~+pe?cm)d%DG8^xiIOgCUarekH%gC?+A>A8UY<7LM;``K_OJ2r&%9<KF zeb15&HIh6QH>e$%b^dDKYR}bS_2>Ey{JJ2bZo`lBOg^8EOPYUw;UbfvZ^C1K-^u!F z?Qil+o+E0NYI@74*N_eC>V`h*ZP(7sX>wpdmHZm^(J={~GWT@$vpzkI-xhQ1_?1P@ z!<sq_|8i_vrg!Ei&!>r5?cO~wpLyp==k3KcW-bjIljW83rDI={h_g|zW_w)-dHwO^ zw0E3)Kofl(KE9xZe%|oj%56OdWPdh@c4$An`>?yo+|(vvvkwRLtlN6KZ~C`Rb_Lg~ zc>dIRy!6zWsuMycr!Oe*$Zs$8P>rg}yBsn|bqm?Fd;HOt4c6+)zI<3P^2d}ZKSsRl zJ!qV+{lb+735Hp1KEE&i(WCvJoQEwQ?dp1M_~Mz9Perz#_v_n`RzGUUO?#<Dv7_3| zHhHns@M&aD|IznP8Gpa%u~?dCIIV`%xTgHe4YRA>PiMV-;3%zoH8ZGDi{sf(j=2vT zXOhvWfZyd~S}<(>I>SNVhE)B1Rb7kA=kDp{j#lQKHU2QAmb=xlTj94e4m5t~)cWC9 z>${fs^zG+*9@_Vs%b9Vi{beKTgmLrE&2c=lx%1YpZFZ#9T<K9ID81*uU0+(+Z}83W zyPBJB64E^)lY3)1>F%);P2G5hXAun|A`HKM9#n-7EZlmIzt|w`L+s9Bq2aRzy)~-3 zv#(K#WV<sz#ABtqU)D_1yssgx_MUFgW6inAh31Rn3cqzUn{X&B-f4Es*CK0+ytc2J z)tGa7@v`$T8}@K(yu3<{B{mK-zxO&Nc^2jE$;nMUtBdMaF}N+-Wvuh1hTHF!yV4?` zpHEMI=)8YGm4e>?`Tp9?zx7I3wD|QN{c*1koI1L@-;Ea*pF&&)E`D*k>ic}(T6;Vf z4*j0Lzl(f$mHJOS%;t5{Y5S$S#56ndw4+_}k1b)<d*&v~HhRhyp71prIb`g@AxmuT zMcXZ!k!Dh;x>K-n#;fo551%~P`}s$UmG1kqEo?kTg)Ut^Cs+SOa=VUEbu9f&c)ORU zJ_dEt%XHam>DKw0!rvph=g1usX7uY&Jz!(~K5rMKysJ@H-tJ7qi!QA?#+m6ij~b+Z zf5oOl>9rnR-4H)@Rz&}S$!44OEnU8If8T~KVbO2XMtfO*Y;3%9v#W80!|a5hgh`<> zmU&}D*A8Y`tU8u;p=iq&^CoN453PKwGrvy%_WS|wU9taocziSHmHA=7uuqE?FP}4H z*2%=FV|q+D61idEqIlb>XT}-+ICHV*nrlbZJM3Iv&R#fv;}c)E_w~KM@6O3JnS3|f zq27S{h1(Vly7D{4{+n!}QQG<cvOnow8X5BVa+ME_doS4&x3cNbfZHLa%NC>z>1<{x zo0mE|y!&cX^Pq?P!RV+e*RGf?O7m+X3cIG1t}s(J$sTfbi;d@-G*QSl{{uNjXZ24! z^}K1<Jo4I|`kCF{c%%*7F#f&k%8cs03q58zNoED^J8*x0)~+j~a|-JI<Xh_`xjo;~ zE9FY}iQU}J>(!XI#;4W^w<&SWqBb`W9|@9KS#EiB;9FahoGh8))!lsa1ODS4?OS5# zeZ5(ooB{pbiYM#FBwN?XaS~groXiG$-tekFAY^y_X^ys**>juyxG~+Z)01WQR2#kK z_U+tyzGPtE)iG&7dp4buIxgGYduBkvc;D^L={Auozc~6|X)=AtKl>NSU6Q#2x`8>o zW2pJuTMb;#|EbbW6zgC-*<+H=Z1v081}4iR_8H*cs`%Fs|5i(i*k_daOiv{esTTzs zTb2Bu$YA5=Itq303gZF#_(80GxWd>$hf}v*i9Zx-f8h^_`kL^EQr&PB{*bBNRvCA# zC$SO<|5$lg84G_Z6iS&yq(1)lpQKW$y4q^vuIeSG)obZ1B{GG2B>uA=M?NB!tJG0{ z|4F2jtG@|9DcD||N+DMFUGvwUluAy$S@=m#dMU+Hb^e-?bt=~ycTuljXIxvKQ%F_n zVEku&PDOgiB}(<fwZ^Ij3YC=nD3i<7Z9~vePJfdsMQVTirrxtk7(*flPlcv3G5L&` z1EWLnn^;7C6Un7&H{mxa>8DU}D)sTuzcE#z63Nun*8TM-fd?anpOoxi3Qi(cM+rX> zJ}4A2sruVG<1V^#ky^GMO=P6Ej1#GY)*BzGN0=e!#9Y#VFyrnzgW2CC9H(MOlSpM! zmL?V}#6))FQk5zxYlE>`k6nzM6A9}K-fY~uy^P_iTqcKzXir}*<>X>z(!<ThAv&zw z$RWH~^}Madt-G<`QYhp~DI;f6P9ah;%mqy%5hdkpHD0UJjbkSy7ONx-KV>Qf$1*|2 zDP>BrI(EBp8=ib$t`h%c9#UqVSf+|&PLnV<B_my+;aqC-2sF8*Y>ejRS^z|;jL{52 zL!}~V_6}jgnF+{bN>0VJmq`_31+yTTRLV&SO$?b=>xUb6g}$;4$Ei>-tc0AZ6sn}q zaO3V(SrL^gIT5Ewda>8Ivo6obp+v=DleO0i8j(5BIClG_BAHx7`l{q2W|`=VD7JJA z_4+8|W<0}m2$NXM&?G9Qh~+P6V)}8VSV0!0l(2Gzz7l2GWcl(<1W_s@D^SWrjHIBQ zOu=j@XwZ=?=ah0KBRyz`Q>4|77lFwAWyKsvSf^A<>FSg~0t8c3VUzGZm7FX@B@&Z` zs6-scvz=99R^%iqm6+8}ph?)X0h&~zy*eyTB_-!d1Tib;3}0qRAwWtovl6LDE|xH| zfOabOoJd8SoaGGK0UIHU<2dGfJO+^{8McBZl`)+`ld%#m&=d??L6b`u`4DKVwgpWg zQ(Ey_dj}$vw)U(AnxdRt72JZ#Wmt`NN)@v@&{T3pj-(=mNL;aCzSNNsh#Xn5LQM3! zNFi2{6)PlivSNi)OctV$vfhQ17s0BM)!~$o)hXl(vN{DU3d=3{WEHEcSR6;UQ=wE~ z!6p1J*8$)H#F~5%r<SF0A{kjRC#GA+L0gl)5{<3nOZ-SkutY^x%t_^B#hgq`R?Nvb zcEw^CIhOrmv67fa5zkQ~Ofh?Oq@bx-&WI(DVP<tWu&j?F1&t$<kw{9mUEqHO`^Df4 z%LUNLzKbO?vhSdgeHTmQWZ%USh2}9X*?-JXLC&#Q!jXL!OO#~a#n?HzI#^(qGg6Vp zzL##h81hfftXL{0XI3ngkbMX3FZ)iko>VNA(yfE7E7>}%zmolsH&&{l0qEXI5iO9_ zDOei;1)vZS!Blcu#!2A6ur{JH#mcf7YEDolA~r${rAG&WE5lAuB_hg9tP=4=n~C8> z5-zADM4Q21CE83lI7EO|m^GP<Oi_A_c@6eMRg;yd<Vv~{1?#9t#VU?<R0JC9sDK97 zM{_dZzd&R?70}?kX*LwL36V0p63|#j1??c3q%U|wXc9Tku1<pau!;sW;;>6#;Mr{g zjRYOgQ5DWcx%HHY6y=Ueh5v_HE69FIU=%4Alw?08B4ycrR&J+6q$1l18nd0eApLNj zS=NZfWIs8DOt4tOKNUw-0*6v-KZR{l5Dyw-Q0*vDK;1I_A395jLXs$?L?KBOGIH!d zBgamnfGfpL8tz~Df-C$#XkcPYBnkx0q%%hpk_0B7RY(%V|77bFfK0T%$3uyVh%o_; z7!wI6rn106*0n!~?}3MehGZS3K^98vkH&t&Q7LClg|u>VA`21@$P@V>_m{rPzw}jB z>V<Ou54wz~V9=CAxDbjFRx2T`>|~T;*436uloFyBco3;#0G>crr<75>0BcORrIbrq zrv%ZSij^ZFw#GtQYaJ)4R7n&FG`gHqTPFc<px>a{Sps{+&K>B$-)Lm+z<kKu1stes z+)7=A=!6`5SadPFGoUHiosmL|urezJZpF$hXp9^~S4m~qLuRW%BeEz(o|@emDV+Mh z(1_y&FNBC9Xi6oktDu#LEK21S_(Fw}1dYfd1dPZcXhamHa(RU)R_H3JTtW9v&e6S- zbLD%dF&W?jEC&Hxk*$*h_0Vp|Lpnrs?-T?GK|2D3fCiUa`-1|FZXLiZvP}vB2Vr!T z6!wUm2*6`xbudw6b<p<A>M$9Cg9x-r_rkd>oRdP`)0Ge)1f2;Gf>Td`5V-y#POMg* zGH$IaQm9=|0a_C!Z9io^L)V5KMyABX879hcEZ8-}+5*zIKWp5YCypbI3vo1Lm_5r6 znUI-a#sZBwlp-88#7Lwa{O1yyhJz^s!pcq_5>E^S&aQ-2p`Z~2L#C1g!O(U{fX;}t zHd}Bo1t6EM4oD#BOmI>3g+eFosE(DXROC!T;Ye$<D*=ps_=0gAJmE;rA>c}K4xvv- zH~_SXMbn^Ts4bEM`(o!VM~Ew^TH!ENC<S1rER2T_Dp(B#*^>|_3Go@RzR)`?5Gs`` zwZx?4FoTFFm*Fm;DjAuzlB!ENtSY;MfR-d$+m9Upd`09_F5}_9lYv#`Zh0kVRAO=n zFf8lF;j~GJ7Y7>g;^c_XN)86ruQ7;B#M*3Z2tDbD(1<u8LSwa{T%{nm13VBd>nHFZ zv*w8TgWf0R4>aP5$yF+1{S-(^vg`-S$b#q4+$z4p1uyqAfxK6kx=I@017@29l}z>> zrhp6#(4OV0LJm)(<a-)=Nr4EBd{7QqX9q?OjZ8+)k(lFe`6$5#X>A?&FBRetcJE*e zh{hHS1X-Peh68{jNz4Hn5mp6GHcwWkkP>M{Du)P?U^xj}5jzpiU}V}(K@uNQg#vjW zmemTSh;l|rkaq<DQ_2|?!7`!$87vddq+ss}7ZCB0m2k+0vJ(VgN@?)cNIMx()mSe{ zd|)!r)}%8I8KFTM7@B|vv+WQq5-xBsh2?!KoJkxUj%78#95NZu$Yg|MUik;hk1Rr0 zay&s(GMwh&38{z*28K<93pAn$g`Hz%1~e8hg=+<Tj^&m_guW&Ar&0xT@K@*u6=aV& zq#xKl=8!rfedQR19T>UtiY+b=d;v!iO$en-U|yUN;yfYxr+s02Sph}>PfRqAR1`Ve zNc0eh2a!HGCCI-LUBSU@6IKJ*BQ(@SfL6l)3Jb{56d!UmaK2a;!sbw#kjT<@10mBS z@<EY<1_#R$A4(CVkm;-xNeE|@BI#e+A&4V=Ns$VwP~g3=?Et)!eFBa_8^WPs1qqo- zVp5St`Aa+QFYS~i?F9Z;uwMz}k_-aKnPoMCZvuLvu824wN<en3P7ypkjZ;#x|55>b z(I5(&2rC3MlVun1D@v38r5#0Il!({J7E5`g+sPm-I*Q2vW+d%oG-_4KsDp|O0vkf( zdoUcrxLAKB`@uo7Is^k`U;y+ijRRi^4Gt0!IOJ9|X#)SH2yMu5Qp#y^O9>Q$>?f_@ z!G0i5$8r^jE;~V>#yp9BVBP78IVnkqB7>tH;t30Z%4F5Dl7s4ECxf$H%4rS%54MST zw@M{4;iR*Ygp2~(M%t;Q#GeGNr>&~Ne}H||^rBFLXfqWi&8`GAqCZr~HL!Ao<RI}U z5z{D$|A#adiNvuua<&ot5N@e}j<H-o%8Eop$VilLT_u=^ls7@o0S42~NCLA$2opgB zQw6k5Q_=-N$Bt;|ej)h@{|_(&3GG!l$D}h%FQuu7iAHor>;@1Z;u9iblgn8!5t#wv zL?DPJXIllAhHyba^@oZ>vX~KI6hBp<UKRcyLO>FBskp!FCp>cYY$H@8$t~a|Buj@9 zBR2QU!xusg6+1)t0c3U9I@UO;fatL2U4;)aLMQ`*#rXXq&}86XiT$Zi!63pN(w+=x z7=@)ls2N!hlESRk1C4mgps6akRp$T6L=rjcn}G%`zzz)DfUHg?){5yN)&LR^U9){< zaDy2d@DFHVhKL}EJvzufz#fx!038Vp(nV+l6a$c3lFKgPf4Kz&ktC@>Be*SSP~hw! z2!9A?5VFyBnn%0T|C1qrq3lPECs_%`Wu#w*K!-)cL6fnP4jPbZcGA3Hbyy;{od_HN zQc6=$E+FV-Wd_g{tE3<?rCyW3{|ffQ9+1hPnuzrcWJv6?XB#vmZJC9L;f%5zg!0xr zo+bN_&ZJNU1x6%!0Gh1aa8ynj`CfM4q4QWg5e}S~upfmlGS-%(Arj5(O292L2$)D# zEELePeR1q)-?B_S)?c|2r~ops9N;MXK{*3%3#ts2c<fOGJW00`Ytw8e@E_2GT#Hyr zBMENkOQ0p}WMHA$6Cp+hm`oZ~AhfTFXYIQT<zcKn0F6}PfJU%B&<J!3olF8;(8@~* zD*ZnY;mWeBgK1;cs8DOdt^}naL<gYcLsQbhR76*}N1>&Vz<*?A39<p2ln5aX1e<$C zJCss0la`<}rIA7j`1cA0&k7uNlk73V4YDOTi7XxfoRt(u!nXoY%T5qA>1AB4@c)qO zLCpx;5c-I$1j0&b2+Y~O!1~D6!T-?SI@mu62SAr})+kOW&G#YNgDPa(L3@*d;nuNo z1bsx56jJmmG2{Qq5aqMT7ijc2p@N;t0;-|e6-xmlv+PGva)pms?*GADAwXkR2a8YG z5AU1B_Mt-Q@kHqs*(NC@j@dfsUsOl3ER_C52$Ae!6B01wQWot1P0mJ1pb;!sh64+2 zTVj7IRWM2<C>O9kRxnY$Kx6?<bvdeCq0)t%zqY`^F@yT9ICbUzA9656S-^uM4keNW zM34ZTQ!c<mVpt8+1P7eiV&JdP{tOXSyDaXDDmREV+YZW+Y#o{rAw*>cp{am;G58;9 zOe$_fRI*SduaMR<a2f4Lqyx8@pk|<<dW4y@;D=Rmrp*6?2f~I}G8v*?cEvD(L=y^1 zon4&_WyP$_2#SV$4~75ayyHj^{}1BIXf6>#RNTQ~SBG$xRc1g5iAqQ1PKk3X$bSW^ zWw_SFYA#%;VF3p8g+X8k27pai4bPo$237hRoGCefGUPbPnUyJ2lnaPv2@7f6xv&lr zz`%qNr&XrpF*dsrAk&maKt`Di;W66|IWgjr3t9C_fh(!F22;z5VzK@T_9N;d(u!m# zVJix(h%CtA2#`U95=>@sxD-;Ee1KsS_>b*GWh>hdfhN0mP-es_kwcA=zW5@$O{mcz z_5fE@cos~M0lOkDIb@4?Ida%5G6+(dgbOIYA=^}ejB5CQC=ej(7F7*IWuk(Ct{4b5 z83ZsWnG8Os)eiiZA?-|z2?8e)PJs!;l|q`B#Po2ah+rz<VzS&4?nd&g&BtXMB1nLm zh--%Moj4oF^b)&)yfX{U$*@V~My%5R6D}{Zf&}1;MY@HuK@#C2Pe$+^)De(VBE&fw z$_KI!{|`tS(bbS6%4&M`2Yty^F3?Cq6J-h7u)A>TaH|yc56rOxp2Z?sXvh=|2%X`K zvciS@22nn^UPK%k0Jjw(eTDxAZA(xtEQFw3NDWeMp-P|C6)12cM;izYdrEi|Vh~Ue zG&lkbXQ29tM+1bHm}vMjL<o`AW$V?DfDwS{68lrBf`JziYllK=a^5*O^jhZ_TOwR3 zWw(TrQd9&5nw6RHa{muiz(lHX$%;U3sEMkqL@WzTkZ>h7A08Z?400LlHt|AL6j=$a z<A5Jk5wleoEXY1{oWKRFgw-ifTSOtjLJPUZ68=|yP+681)3AyVegeq?LLv?ba>rVk zE#ZjaeJaW=V3CzpvCRKNQkboPlHq;@!T*H(FRP?b+D_Pt(@CtIa8sD{<q_1ddxA0o zHscNFMMWf7NW-%3H&U)dFkzd>DFIqk!Uci<73>$PMag8OxbMpxMO1PT9UxpsCVk-! zk-qR9H4IV7{=+rEiDw6a$<o%<0#uCx8PX0Xo~1$1$z*VJXgi)Go)2PPa-6^eB7{l+ z=aqs~>eoTD(mh7Hi?l;RsAR!de<k}7)vzmuRv^%vApER$#3gFNYUKBbunKufO%4kD zN98VVsW2=A4nd$f6gLv>h_oF+PlSR;GC>ruk};$*_}}cnh%`w<1Z|qLE}1mK8cHKK zY*8I7B3e|1__kCCHT*vm;gNs?WyEyWxOT`&HH;$VprEVS#X%!!^#%V?T8!A5ZKy<+ zj-}yBAS+0y9wA;ZtT72vg%mU4v`U5gOYK3xEHQiDL4#LL+L2g5C@*3Y4WQu`6WbSx zwTv?r{vR5W+&yS0e`P!4k|rZuLX89~AE1#Ffov6f`;y20LW?r{1RBCrc3`CQnd1rl zMy}L=hMOa7UpS~_(unui{4ZifjLdchp2+Mw+L0mzT+br7FK7fu2CeckZMpvkB1{ZB zFtjqI5hqg!X4w!6G!k|JAHy9_?J;-|$<2Gv5VUDG1Wm<iM?ez<Py`L7Z){(@s=;y< zQ3Plu_NPJxBV<6GIMW$n1gqiD4p=MO?k|!qyp_XBzi<z|;%Jxoe~=i0YRj>ktkD6D zlv>K+ND*!!<HzE|fD(unmGdw!?4F<@Odz{D1??<&+O!?XA)@3+#A-*-P&B~!f4E&G zVgnA);O4NCp^*;S(NltY6czyyz!MG6xYYjx5#8BAPz1tAE7}of12mGn6skViunROK z0+}%+JRUz`2SGlFHAH}SC>Nl5SjPhG5LU8-AigCuyn!SLrXc_24u~92)DTSw$ewi~ z&<<5S>>$9{Sy@12!Fp0CUDLXzS91PPFhee|f<|0z;i8?!-j%pq0*%NAXhd;Ipfky& z<?6d1a0v%D?$}cbw}y>rfykhSh+Ve;a1a{yfzSw)0W1#Q9olJc0s>R=LDUwLfq@{B zNh1hi?Ij+RV!=4!sToagpllNm;ITRl6>;PYpeltjSA~2JyJ8psBHAdeWEY3q-=yXV z(JM7GNKt7Z_ocg!6csV7xGO?b8g5Flkpr$&m8Ckd{)#hz3R7}&k)k42LAXZDa!ZP` zHg@0PT(FTP?rmwOyafJ(NJ@`Dqq2>>71<JCwZ!ERF4&R@;_e-ppj^!Vg-EJD0qK&9 z-EdY&Nx9&_uqY2`1X~3SrI{r%Q|W{YS7h1P1~dY)!G9<BV?cv@#|R;iP;#13aH$=2 zfd8<9B*Fs?_q5m#{zZZzs+AeNQcwn2I?XbpQej2tMO+wQJW`%LvqB9Dt4xu4B7%wh zAdzZ7b}V*=QeI9o=>l;>ZX8Oy?08l>;YdBPurovzJHT)Oc7hx+WZMY)5u>qp>F^c~ zY_-<+;DjS(!^XKtPyxu+YKV4F!jwjyy2684RO{hD&~1X-%f3E=%VFe|5YT`{vy*`e zW{(&!Ct_@Y-e?8gCF}=aQr@@12?xMI+z{N!WpN9bD{@m1G$5qx1YrhQwT!@sJz+e2 zPwG4g-Xg0kgqP4*!G!-wqC=!?iPjT5G}0G-4O@hXtPqWXu<dMhFxruN2jKf+Vk3Y! z5fcrOuEbl*op2m@qB3z#{z8+pH4sR8le<kQ`6b8?Xe391B6#GU*dvBg8a96+q{hgx z!&Hd#B8RGAWkGnpjnHsM3qC}N{jacqh%8wFK>$kdZsEcb3#@=fkRMb#l-%?YlupGM z!1gq53YIzH$VU+Y!7(N-B;a#x{S9pfFN`P}q?w4WK$eN9bOnl#iHn3<Z{k=0mL+E! z_d|(r2^C7LN=M91G%Ji^2^u8uzmhfd`5HMMlOv7={CpOgLa7zGt_mNF25v&8NaJXi z>^~ZktMHI5QWpUlxlRQ57FC#x@)0iVv8oyg1ENznF;6P>!7MSG2LlZjh8;vgF4v$P z+-1^^>Ix(^OM`Q)zk>bXYPng|pphb7_(J4mS<p~9!w!sWC#3<V*J!79_+xAUB!onL zu-Zg_BP?N)DF{_ak`*+7ml}fzMh6*gqRjA~QwcVrC4{&~LzD&d2Qg0YXS7yQG6?cf zg#CzeiG1L701eKR3L(-$bj654$OjSGYqGFpU==A_7j8k)zF-Wi2{{!{>YE^0aLyPO zA_GJs7$qt^*a-?5Aa;Uq11c;3%lt${XQkeirV!#5ABk1*k`aq{!)B9*g7B0ADxKL$ z13Vy;!O79IIRgLD8JdCZj95&wVM#j#Ng8_xk^o3Tf=OSJazr~k(8{)xNstL6L~6I; zHL+KS@%Ry`_Qus3D(S+NHnI?8yh<mn5riPkM07tqGXgWfCXyp2TsI?w2&q4IaY&+R zaZqihS6!cn4knU>aD{c^kY*ym0B)8MtPzC+bf55w1G~q7RZ7}vDFNIqBL`l%waZQh z)ktj45fxA5Eg_V-(Bp*bW}16assxbdAZiMRh`2czf_Rx=3|snz8?mGy1~gKoi(n7W zu@KfEgHKkBkciz-+&3ep4Q@Jt{Ez@5;S{nQr9z{r1hDHwTOe^oCkPLV)l$N1AgmnW zYMHjg;mqQmx0b~!Q37D9mSzwRH(oo|YFI);z`=?-e1pHV)9|&+)E-`yB4!c3BTvo_ zl4Eqm5Nk3peFqaIwF){xJfq9>g@Y<C)76zq07T@yv=1$4c)pXR2~Wck8bR}g_dHm` z0W$=DNV6~a4<Z3`KqGn-G~)ORCG;%Z0UD8Xp+bxeg;B&H5|ek(k>Ju!SPBzFc^@NO zpb>NeG-Mq$S10sENJKaYW|h$@kO(v+4;Ub5AU+pp<Z7@GT(B|&8o7OsvL3c#8}C4) z9EnxxppgVQXb>-Ubx6vQ72|y(!YzbTjH$%Z@I|H^3`AKuYs$S*(1@Q78m>JulYz2j ziz<YWlC|%kRl3IINCXN;$;AfH=+P0LEY>n(*kgD!tZxRt6DFCRpiri(P2<s!Xgwf! z<TZHE2to-OoFwfJ;srYT90)4jS+$IIxHiqC15x*gzZ8T0AS$NVeTQvg6%B?Z*?Q1W z{Lg+5xy}kbQ-(yKAzrRv8v>!MXjrO7g;&s7TMinzlZ@Dy_626iCKYfU9I01Ukbu!J zfSqu8lSCY#(G!8^uvnvm2LMS(B)kDDXvY%!Um@vGtZYsR4auX*C_5#u#eznzjw7W{ zKx5D}uNs#k5g_6jMTY$-rX~`MpqE7_AROd{7SLeZ*zW;NXSZ0wLoG9L64I%pf&w%G zV}M4=#(>0=XP-c;Jnv-}Du9%L|Cpe_{|fdCSAtl9gGwQWLwK5wJ=@TOES?KRjWP{} z3-JClGqff9kCFxLA|*@;Gy>#<M*jK%Fdt`(9Rwwb?6JdxrbIhR6+Da<+nK)Viw!2R zI%p6jrY|z3<h&zcNscxwL@7Xw^;fW8@Ics=U=%j#2cVUJ1fY>@EFyaH)F5cu^$r66 zK_u=sXyj@LXdp5x1`xz10+FVa5sQkdUt-u$CBPFGNqEkQ41(B>(g@;=vJL9436=ls zQAE{m8IG^v|NW)x7id3u#11eVc@P0K@>h@ua2?rB<P@}FmT6!=kR>*N2aVusprLS& zWk0kYSsg4Y;g($8qfT`p@y*uPqX3=cl|iGYUci#rvx2{Yh{!f#WHx1haIq9@(NZ^f zO-h>?0xy8ku?CpK44L2y?Z`t<sG28#(*bC(J(WBwRX2d9i1UPJtk?*zqzs=-26d8T z6A<FD>IPUBIk<55C|iL!k<M6%X1X3{6yB`hXH~AGj7GBcLVAms9$-$T23=F#2$&Q3 zAgXj&(ZM58M8uE^CnAQsfh^Jv=mr?B#-vNs4a$>=A%q`IEI(dqVlfY>X2hx*A1vVv zO6kc$kWnS=WYUSmZUJ8+P8OI-)Dp_OiD!ssl!*1fUz<0$fpE}(%(L@Ee9Fo(vehh< zg1URW>B{y+=`kx}coUd7C~)RVOs>{J!;Nve9{ja<WP$*4$pnG;vR;c&zDoNdaIc)S zU8#Jc8jI`#%D`AB1J%|n$cH;C>I?P2NH{rU;lSL;oRBafa|d{(DSaiv0$hoFkG{2m z{7b2()Mg~$7}^>3xN_m8>xMH=B$EDZ7Z?O@*D!s7%xN;bq>ums1Hu~hjRw{2UG408 zL2)X$p1pb~dMZ?Q01tXfW%kH<;;&_~>!IjoW&MAfjJ4|4&Ddx5c<<T%-jk;o<MROA Mja#+q<<Q&se{#*KI{*Lx delta 52064 zcmV)AK*YcDuq^PfEP#XogaU*Ev;>NH0Wg;VfCVdmkK@LX-}hH2z!{+ctC#&^vwb+= z_UyI2K`xi9CkYO=5pyNZ4094SCZ*XOAMU@W9?j=)wWC?ic|Qb$A^XMZ>gsw@U5po3 zi+J(PGYQvtAr~ttTnrTvOSM?<p8fnR7RLKjQGdTooy}vR;rXkbUVOEG_9ysjx)|W9 zh4>$T7tfx5ZS2Acj~y463+WT#m0LLHgpqo2u~~c{efjN+KVH0iy<BN)A|;lqR3*`0 zzkRVx)98X*FTQ=rg+KoO&)=+G{UKCd|JPE-(O+IIS2FtQ<x)o9Eq}cD-Lp8X^!e8^ zS;$!U*wgGQsbgV%vRG+HsM7Qo*ZFc~Y#il(<x-{5ZBgyZ9hVQ>QIvdtdtI!t`I@T- zdeHc2y<e`Nc@wGyqEmA@f0wV1hkO$Nh1PN(AeZ?%uj{<Zws+ifXppJ1UEWNSm7~sm znd3rXk+39TjpvnQb$#67T-wFa8^rVuhru4`J{hbRHo-lkhrX_|UAFp?2M+0FQjx@e zwizfG?td>+9qo@?+2JI|`oOhA_CHJIB0y3nK$Wb@xqW{b`meJv^6fPcm`c^LEQ|80 z8IVsQtdtjtZt!@yda+bK`trNqPvQ&=CS5c3W_!F^6=ABZ+z{1PIyJ%p_YH{Gpp?LN z?rw^0K*}=JvHdD9VW$pE;DmSG(XL~E^=)yuo<d&wR2Y*q7=5!|Pob@pP_j>I>rC`w zTkk&y=&9?F=&dM;_Q3K##9HT7%?)?BAG|q9beX>m&k&;fx-Q-nTV&4SP~<h!LaA6J zi5${`HcYE%4O_e46~AOK&w<z)XDqQGMv|7eg_Ocut8h8MnA!@PCJYZ2C*<INfyMVL zDV2?0AIl|7bSQQ?Q~PCA?W-U_8fd^vwb6?bgeE%_`?8**A55sM@Y?odTE}U$%Yc+N z`a8nJ`leud<>i`2IFJ*R-TZ)*drRyKd@!|-MhoTJeLTg3+6dK*`#vli<*m938uT?1 zAR1F7`jK%Ad^$z|2$~r6U@1_4+CKz`_aRX;)8uO;m{}9$xo4Y|SI6usuen-;dl2r} zHByW_;)QmOc`NM9c7Fv*6nI+llPPRIY%H+VmTR=((90YTh0A@l%Pa0|=H?#I$J<aW z4&mvV>o-|-D6(znEW<<%$Zd8wFi45I^b6n-)9bGDUB>#qSO*+QBA_dOo6@@gYljvo z0c8MO%9;ae+0-_svCyVfW|MkXDj3o#gZ$l11x5ntPh-J+_LaF3w$pd{6u4A$Y)kY3 z)Q;sQ$BivXn?XZyIR)KG5hwn^(6@QE2@@Rl4GrLCQO%=l1v!WI9Cn;Voko=#RCEcb z91!sQ=VQ*p!7PHc`8=?H6UdeHW<-13H0AVo)36CQO*s{11niD0v{@5Nl}Zbfq|H(e zQ)@-rVww>@#5RVFxdCNul!{=JHl!lgurja`ljL+D2Q7e`sVS^5Y1*4Y@=|~-w6?5Z zYe_3UHr@!<&`H4iX?Bsu3)$nX=^c$bB#S`H0mIOIOVrV9PaW8Q5H+%=H9JLnLJN#< zJ%tYVVX;j<giR|g*ICWb4rF^JDQ|K(u#(>{fzz_>k!>`ND@yL#R~wY~?$LNKdXiG9 z6Drjo;D<Ez_xWLJp;AcaKe+RKU@|b)#k5nTkzF6^6j_n#)^xniFB=1hg!oSuk0WSH z-c4(TQX`Kb+tz!3mgE|&FzJ44S?AMyi5l=Z5~e38Dkl95t_bNL*YjtpC3@aqZ7izd zIs*@-INSyI=5jO`_71(@ZSZ!`AHNQ8OOWdu26m_?ok-yP&g&i1YluHOk?mHHCW9&R zvOe+z0hzFP<bT+U)C}w#iX)P!lN(&&CeSSy3>);Zg+SncmJAXU^V`6bFx3WVCnrrr z3N|86A7|kOqus!O0=U<@^=r~-y#|3P$j`fC%PgayiC5aE@AK0EUYtDCLjlR}2}JAF zrWQ5nEn*RDK+UZ~i<O#&h|onl1oz;|arZzQfG8!gie6oEAA1YH%h&tkb~AjKNuy9r zj$|N=SZBw78s|_6Z*sUxjOy+=${JSC)7>?<bebD$83V!fAbp{O@KYF5Y_~k7%7YVM z9R?5GRQnr7tKx<{7*)h73?<u}HntZU0FMJ$YSH>Kz5V|Zgs>oGi2=YR!P1f*$=GMs zji;p1H`{J`wdg&w;{(k@deDYxw2=EN2sT6HAX1BeEQz;oMzxn0z4r}CA^;@BqFSW< zS^?WNpqwP=DH-6RDqmba`_mX^;COlq0Zt4$Dv2Sr4Q{Cdh@hoH42*sxF{z7t<0K5| zJnrg{i((4*Fb~*3YD}o?Q>wsiw4M~-tR%qy@VIQ2qhO$4c+lvkTg>~wb+DWVJ>`0^ zzW*_QUTmQ2cQ_Vic}oL#@XxTfi|<CDX8<;hTgp0dxK1Oj03G+xl@5AZGK0~>_zGH4 z)%B{c!)80xd*uXXJT@udp&@(<lKebuw(gCy^wz31S+O3d&C|1vrqsgOR<-^68E_sp z3SwugHL4@4QQN`wnywh@s_2%=1zq=at)2pZ1!wSe0|wWKLc+e_!yi|%iM|*;a+drg zl7ggp1gHZxhXkDu?X(CDm-^%~^jJxgsEr|l0<?q#yx9)|OW^Tkj*9UL<s)5p)RKqZ zC*aQnMB&|205(QOpFIs=#V>4U2Mkffzb%!F;rb-X$VM@2WbC4U{TPXchzCO7c?7zD zg*AsfpAGD^I1kqONlSAoL7J@*&=CUkRie?YO$-V%l#g_+=$eQ2$Ff*LUF|5Yl64*Y zhGZmot8F0ngVY9iFHI2%yrD`-9qAgV9r?E9+hKP0A6tG0+t|L(cv6`&kwlqGKThTh zsB8$#<`KFM*c?)KKD5(fH(ctcD|fMf6N$yGu|hR(6Q+GV{r~0bB@i>0OZ>g*EFVuA z{c%2?28OhA1xX#SIk@wDXs5YzxYSSI$J16gFaPP|eJVa)B9rJhOX;4*+&Goa;^N_N zEUBAGpgUl52=w{TP7CyKsh_@^rxKx6@=rhS)ARG<X+Lk4MfKl+feBJ+GJXYrHd;Bp zCToA$dHylFKpGJ%HIpvrfX$%`&WCnd7Yvs=n=W{tAl*NAm!?7|8fH#JnuK5uf2K$k zo#w&g7Nhe##`GRnv50lM>l=8&B=kJoZt-TDTIg%urprDMFPt9yS{h!apP>^HA>;0+ z>4z^sdJ((!SMPTd*jds3miqaB`FKewWcOR~d5B5Z9^bf|L`?e8fdFSr^uGbgvqUa7 z!rHlBv2?)Z5V`ZAoff&_Qhx=J^B{8010qgnSRns|1RMdT6HOP`(F50xe5<&zJjE>< z7L}ahVhQMU?DSdqk=6`H#NBUNchfM8Ogr1Qa+0pjqa|{2V~EaTJ?+7NaCkir>-B)m zz<Q5>c9Qi*OPzuB*lUx+AGNejVJc{9e!2a>$81Y#MWXyn+tLA>V_VLLc6wWeOPxg{ ze3ogG*%m}ee3cfjVL^ZC$D(|NemU(eYA?JMHgJjNue&bQw!S2o5s9DJ}J&+Je6 zHh8GheVlJ&Ar5P&4PMoMzUOM$Xfr~4sJ6YZoeT1Dj)G1SF;kS@f|`R>&xLiGQTvOW zOG^(p30wfB5pCES?LXFePSxP(DFxvQo=^^tWjSDLG|xV4efmf{Z5`k|)6eQXU~}yL z`Or@9|8S|lo{OlHn4*)%x`+ct0T(gtytkOVw?{F8al*No-o5vKfX%@O=R-Tq2*ag5 zsl#StJcQc!*Bah=U(TA6V8tAzw@B;z=`ALuGlO`h5R4OMjZhmML|=zPx|E$ZJUUL# zUE=}00Av>unUKq(?VcNd`s}w{pi`Mm@)<U)w{!rKkIl;AA!jh1aT{E4I@)Bq4(8Hy zhjBSk3_uUhc%sFBEyD@hMA2#I`$zvNO)0D}e|O;XhfV%cdrozTCpZYox5{*v73F(U zvT&*}>bG?`5qT`vAr}TFT4!`X6WZ(I{^`g%2h76Z$E><Kc3FkkLPvjLRQ~fZ3qa@~ zD>TK;30*)ZHF|hL^V@xws>J7H@npMEp^3|DN(X>KleETvwWbx1b5^w9yQORn+R~wU ze6~wx<Y(G;%!>=Hctlkh&`{Ua{&;oGjhu{O6rBs*BTzmQ8lK)Y8F-`onQc+#^%wV) z)Ico-*;k+|@yz|hW&cAWsS+)m3Yh#$h?wmt9&Y_IU@R|D5qr!9T6s)?<nn~g#yGHL zpcTHwO`<h_Xyim<&5-~~WvEN12rsob08b{<b&Gaf;dEfm4`ki(5v?&p5TO+fwEJj# zDbg-^6CU;+e>#>i{UQgIDL)nj*qZ^$fZm>PEzzCS4?)>^J&92w1!ok890>BrEB46y z{<&(BEyf;@_4Yn$X-f0^P~K2E$0TAydqW*QMbMsqTzI%1sAW&(iporq4PF06EmdzM zF50S&=nvvlD}_;ZPENH3w5B=9sY%>MAy<g4N8<2pGHQvX?vXSlqJS;L)jL{!O6=mG z=O+LpB}xFLZQvEQ-&v$GmsM=<vH5*0@j$NDeKxQJPg-__p;q#3k_`-mIdZ@T^wTq7 zaNWayiSf%DobF?xA>49F4+~FcDm?jI9#2_J(o1&l&VC}Xc+Ts6fLLG$jyB}ofzJ3_ zt3@zr46ij^w>(I6luZ58vhs(05HRfEd<>kBKd>G8oU@cTecHsP%R$CU$baWbaR`G4 zL#}d6hL3efZ-<tV^}xRU@qnBX9m7~o#dnl{iciyk8KVJP&az;5*<pkdF*f$KW_-dN zHSR=}tw*MsGCTMy0i0Y?Y`9~T8lu@gl83No;~J7bG;KHz*c7)#-8vF)LWUxif61%8 zc#w|4&nY;S%&23e$BzTpM#qp4i@@mjg$R68<=S8aW!Q1d;tWTzA6@}w*(GwO6@b@& zE<Ffo^J$0Iq`xjmm%YSt8VooKUD1e}mq8@adc^d)#|49{$q18Xf@?`vREVHmER&~b z%p;m=1aC23^M=IKkYrmDK0_0d(eeyRX_C_hliOZ-(_qD_;6b!>5XX2oBP}5oOmsLC za6z=ZZk&)*#<bW*YZi3f_R1w)uW*@vmJ}>$c~831TUsDFFrGA}C(RuwMPt&K2<G@q zk!sTgK178CqH3*XqJonO=!(gks(XI}98&P@c2KJawLRa;MiFD>4d3qg78-wPy)wL2 z-P0D2&(TY~J7%@t-2X8~Olt7=eU|~FNe$)`w6KuP_gC=i3~KW03@@tn5){&Zb%AMI z6fv$3$0~fO;VVo@!}tY)wi1UO_=^oMSV>C$%88^zVJe`q3pv9d_<X}F3{z74dPAGJ zjc#66=QUUm<wHs+HnM>sJ*v<NyyWJ|)O%@D;kqLw)4BJumn9l9))?d_51Do)=D1@^ zGii$q#;?`(j$<A)+8O8hL3|T`(5l#K6^B4c4)YwoK9=L}k+dJ1!SqB<Sv27T2d4L7 z8LaI~{A395*$d9o#q`MQkO<i>0xLU8^{oT2Hhmf^A-oF^n`F!uOb9jaxW=ES!4fSg z9W7~OQSp6clS#O)_I17D$%v&k{KAsc39C^E9gqsm0be%5O|IdaZ9a@Pp1Y8j0`CS; zRppI6e^ZoMMG39r&zKkoy1^%S5DLwk5e{Og6@D>Cg<L^t29JOW`UkZuAaJ)#i3Dmv z0W+5YfCValX>TJ(cHie$5J^6?7G}BbBf%o^A<xcYcZ`gcYyjJsaLAU_Fb{2$nj=B} zd)`sq>?SFS)bx0E0Ygw-UG?hKt9MngU(3<WNRFOAQ;^D$8Y!WS9Z4aT9!(d|{`yP` zn^M&DxLc-&&8Xb)<%@+KeY<-0@9@_=8Z*Rk3-arKt7l(+XWb}>6r>tmU5`}oLi;od zAqcC?=xR3lvCu+`i*eMxxcslnZ~o)z#rH2S#>Uy=^5uWNc=i3uKVQDQ;)d_P<NWFm zmt1&$`SSABR~IoBSC`*%(>LFLdwKEm)gPb9yxu1N@;l{6N{S>C;WAE9_|ez|LC7H{ ze^_0A=vchF(4i>bVzI2h0I1Ox>uNbIp%`qjxy^-DUENg6$sB8@n656yFk+S;-ml9w zq5%X5qa>2oo(K@FkOt{W6aEAQdpns|vy(8^Ks?tB&4{(wl<&*w{burJp6hP_wfY0& zw!jtLuQyzKLx|>XH|4UdC!2D{&#vp$g3<PWsz)ph6%7nARz^6R7>C7bS#4HzIeSfu z5ErVbcyu4}l!R>&pR8djql@d+e9rV<|1&QiwgVOp>GNloR~?>9N*LouL3)uKan_GN z%h3#;{SmsS<VWwQ=K}s=CT~ac(GS3w4IPOOgX-`hZhZ&<F^Q1!=KoXPt{%SvFZ%|6 zabPg3iWiW|;uUx90aXsrOil0KUyPOX#eYMlQ*nJU4!)=<olv@f)L~gmSB$yy6rX6Q z?PKD+@TsNY9rSkuPdNuPr`nRU%>mT36)vh~^q6s46CSrMPA=nDHaP8LVVsCSw=EXQ z;7~|6l-?eiTMA{{xq%)*6<_jtOGLzf5<Vs(py-eWkgh46pTrkFfij74P`;4D=<qOK zB;inZa)&=(Xa~#z`s)RjULB@E+DbrXjfWV{rKfQm64fbWtVH4sDVJB2)|7sr^!47; zS!dLVWRFouZ3ZN}Pf|p$kBXz;%Hs`^F(Jcnc985+*$&%BT5brbcng(8EQjlV#d1aE z89zQWyOY8>|Mb1FmguX9`ikU6A@-22DV=jCu~i08JBWz`L!h6`f5a%7kV%9L5h7($ zO2Q@~Htpj#lvb2(I%!R5*`&&u9`@$2@PHDDX$b6N2m45*OdaH#r;C=^6ES=0Fgx`` zaDBAVE}td@Ap%pRCkjEIxs4TnV2gYN$SGz6%bIb;87g=aNZmti(|cC)vyy8w&R%o& zmY+?yHs`ErdhXLZIN@~5UYRo0X-<_gS_E&vVSrth*-v<x{VH(KG`d&peL#6SS#qI# z555C9FfdoKp@%BFHt?|VQMkEvY!KFMHAQf@T)m!D^EDSI8}41-FVXpb*;I=>yz%6q zPo4nU%IRu3%LCWzvffmyj95ip9ITZbAIIx?Tdn5kGl|o9L~9ZCkoL&~alMa?q6DL@ zaGS`m?#r7-hHB*vnSnK*V%4Wu_o<kf;qmnVB@7@t#Cj4aXoLu!t<1-PuRtt4i7~kW ziQI%l&Pnp5cgW*`@`}oTOFTPR^sri`S~cnvQdYUJxe+uQx;YYIgk(wWTT=TB#9`k6 zUW_7ADz*d_Rq(mgG>I#KOJVqu%2O(DD6Obv)jW+Vpa4ggJ)3qWl)DpIM;Z}R8i;jJ z>w^6h!DP9-!c~z6Na{N(Nh@r8x{A_yr@W-}1}W~y{quQSc#CF#RIXaWkY5SqP17ez zqEa9mgRb9cp1(_0SmOpFLjry6z-QFKG8wMP{?}yx%Qhu5p{xcRdp2Q5x~u}!{K?X_ z@0c6a%H~hfN!GUSnLN<I%qULNzA*?1*!7g}pQ>N7#<fzxsjJ2UD7GcGZpxdoUVnkU zOmpz%ezO(ltNWUN3;EQDhe)h$@^d)n=7!s5WI3y*e4@nayn2I5y`F%AN41S}ua@%< z{Pf*zx#Ut^{`J19n^8aJ^&%tGH~Hq_)$?bt9wmFUfR>*@_jyp`Kdip!D(mKyT3zGv zEV#a~0A3H&?&{S|Jy~#Nw#sK>a>cM^x!Q06ECU&kNwwsEh6P%x#j5@=uFH8|Cp1r% zFl2&;gUD%IrikjDv8^(&`m#T3XUctBlj(xiND|dC$IS>uZk$)kUufrMT%X(ku5{SP z5oF_R!fnBQpsl$eg@}(Aw2}tSn;I=^G<3ND2g`ZOI$KasDBn*Ock^=1wbk{`<GZ>9 z19`tbv=?B1X^BLleF*X>_0j7Wm1ql%^0<Y8w-9UX7GmX=?iHZW*$8fUS8Z<d0HXJ* zVf_qdR@UV;{4b}~@`jsG5J^(7g2bGF(}2R5@!1gD8c^`K>I3WSY`IRFFNXqN4)NWJ z?n-TdalSnu15*GiH<w2{7eEGdUVHp*IRj@v&cM8X<qWJaXT+jGqvZ@5ahrQ}1eOOe z8}JC~49Aq!;;uq<#-J5BR3LU%r{XWSILC*7B|3~ju{sy~)cCrbPFPWZ<=fu`Y~9%e zYZ3|C1ULKxcbS)y8J9@;pwruR?y#Y(>lLdrZ;N&Ag}aY<v+g!sf*Nqm5}aW(MK8x+ zUBH5WzWL!#hp2A@I9=^N-OcZB#-tO_nO>sP$Q(a50S=1M_NBOssScrFx3!#N>o03= zqdkNi1&Fqd$K;2%<$_C->2y`kh)g=fcGM3nTBID=euCoU0x3@Fgm<lKM}IQVHA7q9 zvJfsA=$lOci~$$&&0PS=VkAPN5*n{2I<n_~kUih2^~`%fil&jxlm+vS?JfwL>_}Om zk{i|K=o&40A7<CS0|Zba9*jS1QUoso*v~o*K58cZchx-aevqB6;B-c-JC|9o^}v?E zl45#j9gXqrI4i&$kt&ewyDrh#k%dzo(6w0`up2mG?5eaYdkEg1AJhSMq94?OJp{CW z2e7knzA?K?wRi&p{D0zNdrw+Y8)}h4lNZpbzB+V-MyJl>!h%pLACLaA?>QZX2(n=L zd<`BdI_iNgXs|Zt+C678ZY+0TD_Vgf&#dR>0fQ^ux_STb;4nY{Z-DqZXw#fr+OrIw zYu-FITpaBnJzvv4+#&2?coxTlPaBng9f;$%z=q)X^PwH*`2JD{;rNqCLv+U3Y#NBp zTVO-b`Fv={>D*uH=g=%kI4Hp>Nx+GY#h5NU10B`qXBVoKonK}`u{=-tBtsX|%F-=@ zvUHZlTL1UK9p&OdbWQ8S{4V=BwtHVp{)pV(DJnXdEAU_ET+7*t8xP*4Cn(x~-bwY) zL_xI{6_5Bv^F^a6{)cNNXRo<&^T0$gb|&Hz@W1Tc6r7-nBwjVUfkb2rYzPrKAKGyd z=`Zy&iinINX#3ekq{o+D33TFRd*7piAp`>bCWE!|&~G>ioJh6H^N%38`&$iI2-m$H zI#0M2{zC1x!i^VpStinxWWpqWFRUI$B(|^ykcjhv9TkZFI)7c$Y$Cp?;0Ge|7T6F} zJ|Eg~GWVDIdGrpJOk_#nD?hw()#SoQ#a8Aa)c^vfedriRM?Vu-y0&$a_0#?jlE#M5 ztrt2rJ!=H;{r~qVDgocdN@^f>-2xkeUC)PhoL&1%{S54?WD?OMzd~1ka|*le?z`^V zgMA;&;>%`DhxZ4#*9o<~M0}D7@%ZLP7>HlCz=q(L^PwH*m;O=*;1}kIo(4jXNu?3q z8%FOR-Z*>(Z~OMu?^)oVrhV`SSKq3SbNJ5!0er_F0oR<g&psmpx}DbuKIYirK2Fub zT6>2Q{*4lZfDR@6%cSCe-;*)BKDK_q$C&uB_$c{A+FKp^I{%~HK^KMdL-~VSU_;3A z`OuEba(}5q$?}efMj&edy`h9{UMqf*mfjb3uZpK1g^f*c1RCfbx&v&8eLf%B@qO+u zbub&RskN1EuD&|87xRkV;T30*&y`3fG;g;tE0~_amdb3!UYY}cN9Kp7-I>#f;9BkV zZ)d<ctrr~79VjzY^3ss5-Dap{rKVH2G&_oJh`D!&W`mGnAgY0|TH6!Wp{ZuI0U6gy zLi#B-#aPrGz;TW8_=JQ9FGhx4!tYSjbzjW=@*{q2FeV9a%s_f=3v39zc0RP@dab|I zPvnd8DcV>qY|w*$+?SnyKIwZ{A7S*26w0Ten4<+Y2y>hb?GfhaE%k5T=ourVjK3MZ zkDfcf{2DF2!ASDirn569#1}z~Y2L{EboL=?&|+#h!|Z-D%x4&8|En2hEk%$6y#~+$ zHiYgyAKG!<+h6Kux>O7*0w(y@UA|RBrQ_LNdkWCQ+C67~H8(DgT{jqfxuMmY^66Gs zDWQjAgcjBid~i0f<807d=O?*d$nhUWSvcI}*AV{i;H%+}y;83uK=o?CpcIYKdq-pU ztnd5+n-ql($Q-h<$l)6YZU7yf<~y;gO{A=9B3T!mpaqOO&=}JI<r$?VrFR&#pz)_@ zm?u)|JJEQ5T()?RmJn=E9Gz;8MW>D<zf=qpuJ)oNHl4|9{$WS#Ab)^L$%t0{a*W+A z2jy|J+VZg1z5PXC%z*=|CTayE7ak9@rLdPn_;>~Esk&juk-eFydN-H)p;tNFA=DxT z>&2AIGb)!Sg@Wi1g-w14zD1>}!N=5*LATe`KyAE#3YJ7btW}(Cde7>1Uoe|-<7=+n zb$aIEEwD{z97EYgO;)GTz$f~Mz<{zFKvjp|0^$F@1L3s;dGldNzVKRD`CB0TBV>n- zl|u%?YX@GE{S^Y?;fTn*yKBDmuKB{QhcNNr`l`R3pm;TKP&{ht-MI3TgW?-CzZYKq zP*nVX*+KF4k)U{D3TQbT6rVbb|42|gW+w;5YdC3oGf2QQ2E}`&0VMcEAr4@pCEI9q zvW=E(UF?}Q+9;ud9a1R(DP;4_q*H>vJD-TS<9LM?XZ-+&O%uyNS$*2-0DO=`#wBaC z%uT%5EBamgihk6-#BzK*ygM+<^MV4$Eq8-|u6M(`^$FqKmc+-M9^P#^ygQv3-mR5} z6QdiFjG$p<w0~dW-CAl9;!xicfRi|QZJ;$$t1S|}bew!Hzix34c^%VEpEZ?n0XA{$ zw|yw~+v6*ye&;2=37_@mTx;LuqsG@<t2ryVangC+Z}+DVbi4In;o-^z3VG|rhhOo3 z7sS8^xNG7EcfbAxK6lzi%8kqMWV)V@ukYvc@nW%>VL<f!P{gECs02+H|NG^-Y`;UM z$qmEuth}Dw&o{gv6Lhg?B0sUx`C^$V@^}t;#fHh8J}JTj*8B{^T<iNqj-V{_fE=qk zRz3=)Tt7&)`vEr<iX8qMi`&U^Hm{a{CD(HF>ZauI)rvm<2JMTTkZ^44hlCp~DXcjZ zP3-Wy9GFV_2M1J}oUb{jAapD=!SNVzYeMnjdawV%SnJIf{HZk#%{Hp{wKr(r22dN- z{Yacq9g;(ZD2yMF!41owZ|lYuV|^QSZkkWGKx-RcZqzouT<`EJuv-9L5y^pn#R9g0 zbr>&#>wF*3?Z&Js1uE*2zIn&rYJpSR*X8Zx0w#T1(cVGJ<?;e1ep}V6CGvt%&7rW* zr!b-R!ZdpGFC5(s+I)hU!+=~4k>*y~9y*~lF}$(ZM&RSH4d*p|&n9!qqQu=uF%t(K zU*9jM4~d-ia3a^Oe^<Unk$cU5AE!CA1bnY`dmv>D!F)~TbK)8gzRinGZsonrA?Y7@ zEmae|Y?3fi^*L!){v?fE(gzHTEI8^pNBm;}pEe=3{beNCMT=J<rU#>|6WD;ZCw+&o zo#a5|wguI@JxM$oxb0fVov$3A_XN`P^#`6Q>mZCC2X7B$i&{G$X@Dvyh~zCtsB8W# zK?ld~E9TvgK92EaZ68NtJfG|A#H!F60(SBL0iuE#mvM&&6Sw%=1jtF3F<t{Im+B=2 z4SzB*;l4L|Q%=>yJ2RfGy-dd1<iU1%F(f2mO#)hww5(0-f6uuzZWM+iN|;q1QYry` z!|6V!zdn8YC}vkPF?;hu!c)xTY$+2jAd(2FW~=Rszq}BM2_aRK-w#t}^I1&z^6gg7 zeqFuzPxx!HSm3gi_#YQ9zI<)$%qIaeE`Kg(GPootKl9!vM(WwcdiLG?>u+AZyLk0} zvDDVgRkB#7%FX}#o0p3;onLV3#W$}w@b0&Ne6xJ}`xtruhlLjN|9ZPv%K5KfE#&;$ z#Sa(1c_E^vU%r-ZCPflNpxT#Gi^K*uTWU{DrRw+BIf!#+zRGqnbe-4v7ZCJnzJIGY z>29IYd39(?mK@k+m-*(7!^Kru)lopP2Q{n?^WRta-E9<B>|^$h-#3dTO5N>>51aVq zKGwIYwl_ta*fjA9bj(XsH?K1Y@AGw2oJ6g2Gyo_MswUP1*6_C2Ut@NdXP6CrqWfmi zDoIs<kGMCu$k1|9CQiwwNNiipGJgwbj|u{0Q*^h_%5_$+Iq??N&+u`#NY(rcO!adp z!P)uGn3YEf`-(+uit?u@dmm+AWktE$M<v$lVqa8cw&Be0g*Kaf$C>-<EEc;#Gu34O zpNlmZ3N5oVCILha%#%^|&@0=UO}>T3z!&=rYvA<Ds^$Q70|vGQbXj>7vwsie3JdQz zx+#7losK@atTr3QLi=G==718T!u)O7lrEx_o2=d!tHUOXRU<YLL_(rT{d}~avkjqD zt9h9dFtlVmK?>UxQyN>2AVJEINUNKEe)GF`V_?uSF{&+;?YM&cmzxa;Zt6u;VDh&) z8HdIt`-%E0dXe{UUd+CuLVqezi5?7H5S(yAl3Gl|*PEl*tBamraxQ^-XU^M1rUBg# zrW-JipGlL*U}tqcy99T2Br?`W&dP;Zngr(z>ghtF6$lJT8ltOujYE=5;zh5dbV+Jd zV-XzHVGf-g=C?^PrbVn$B#sgtg+odacpYh$qAzx!AlltEnkgt5W`7|u(1cd8kICzV zfi@xdzOe6p5VJMp{RRs|J-1YH3;!&9GyC>P_7u{_TbJs@q~=&vBW<FseW<d7oYvHu zQbeK<fc@zEHzN~On!+T84KaywmirZ)ztrix<kya01;4KF<(s^mU+V#+Pd5QZLXa>_ zSx(gx=Rx@AkOLZ<o`1%{CPKHPdb=>_vf=R~K5p<);o~;KU-mu)hoAu1@zd{x6%q8O z8hT`Kn|SLQ5g)g-XG^C~w6ygk4rU~jlY*N(Wf})A#k8~EFC!MPNo%<;&et7$YpU)4 zVdYiZGv&DQvful1vGhjI|0f#aEFWhjI8`~3kL!d@;p5Jic7NK(4OM*x9~aU@dTfYE z(!Ue*p4Y=USj4tKg@u*0iWIRDbiI#jSPa?DBYp*_c5;s3mh*pm47QDex1R{xov<me zeZI8Q*dD6-JlIC3<P6lTUEBs?SG)N&zAV8SVjGU-N5B~XL4^cXB**jH5xQUy8GE*y zG>>zWTEk?mCVzrbCu|BRoiFV)l!mH41C*o)iGbye(>6(cJTw6GDA>4Mo`MZ*%~Giz z02^}(Hn2F*p~cNV_q`B-=)OqhU<Y)bpL4!#!@rQ|uSVp;E((l#aup=I0*`W$3bt!5 zoe0;RuqkkTzO>W09;!M4t{J(54ig@>QLu#tL>S>uVt*`^ZO{EXKt(uwS<Ta)BEX5q z^(k(?g`TKSJ7H7w>G{%5_vuj8&(^0Ft8z&&>f>V(y3}-C`iVg;KQ*fTlSZ{LiPK>s z1a!itK*0IZP9tEb>Qo3A^hba}4aFS}ZXXx!e|to?SlIF7`hSvc=?R;lTOJ|pWValt z`b_Il9|oWyc&?<omvJivB7fp1+MRc@rU1;@!cOC5pyy{9#i@slNeVTk-TD3BhP&XA zQ{q9VG`c$p+mmyA*e4t1OkzcB)IY{a<LJN&+)slfJQ)ySzG`0gk*5TqK9*lDmMNYl zE`4fn;~q3d;Q1pxK~7LHWlc}ObSmWhPf&rxHTTk6gu8cm=LFAf6Mt61qI6untazck z9Bn<QY5T|ZxDl)e+rpAx`!Qv}INgki)v17IC7!mHu~AI}^QKYvn?c(N*J}l6n$dGl z&+BnR%I>1!Pc*B4$qM7ZSBBc7@yczPS~LPYcl6wF29`GDbb=&<OR7|o+0k#{bHjy_ z&Xf@QUTSmCXN&^Us(%EOek34=T_rss&03oXaDMIm3LX3?H+mcm!_}DfJ~Ju-{pvxp zEye_$8Udn8jurgc5Ate`<@{Q6;*T6FdnE-YO2&Vixb8l;rr!txC3F>88T#dlp3tro z?}Hy?U!#(<CdW^XcVhw4&2XnCCJ|cqVG9s6{qx|ZbEvcPXnzMsXmQj#5MEO_f0$OV z(O2G0q!xy(hK;a{mpAVK*nzwX9c)5)PvKRY9>^D^<Z}Xc6@>R~xcRn3dV)tM)Q+5@ z88h(YakWOU1#$#<x(*Q?d%K`#Nlz&2!BM2V!z!pS<_Pj}fz|?n3gZPZh4&OL=vg(n zsnUoasQ0cns()|jS<&;h8P5;u2!-bsa-xoadDFu7)7f}%a)AnxqYUKNr66S+*H_SU z(+l$ifulrOQi@!4AcqI~uPIzmctzo?wUpzTgA4|{*ByJvUp>qUuv*f_PdUoKm&r7q zMK;d#-YpnfK8`K)B*r$*cs;(NvmzawFp-}rS<`<aNPj7WS(yJr+yYWWkU`=hq*s^> zi_Wj`Gmjg8Z_US=m@4qD{Z*%mZZ6O)h_3@DZa6kJhiU_g+TMXfbJEZpZ6%{iq5Fg$ z3(F^1ur2X~!^RcM1+!(KRlnq`1M@gAT3zyc-{h~Vy3Tizgj24Gn1SgZiZZM3IDDBE zn;i$UJ%7LJLx~iOeX-4dwOAS)=&Su9+idO@sYZ&6MhAGPxpc=Wflr9DgVPOkE)8}K z8dsNNWDaJIINS0|*o;p04PXPTQ(FLR?|!_gZbvB_4$8Ghe32sqvTqxz3WN{47}y~z z$0NfC2{uSSq84wFd$fy13L+t`@>rm0>j$!Bet%VzCDU9W4b6`4NN$19HY1MBf#qWy z>${7^iLgWMs=pW7R+x9o<edP$tQFfS`t^oq63JUyayLWDhvJG8@?V-Rj@+Jt$UVE{ zXmjQ4j0U|^Xfo&yqZ85WumSZ)1Ql3}0?5CvwhO2OAQR!^=dYG8G3o1Xf6H;EUt#DE zdw;OuHPg2URBrxmbGTX-CGFQn2`vV@G2A<(lC2vuI>6o%g6xOL{|tLSO46{`&?;^| zUt;~nQrC@f!Yq;aB4AJ>SmdHcBj7UZ-kXIiD}>VB{3<U2M*BQgmhr31Z^zk3F0rab z^Xod>X3J4J8Z0oiZ+*~B4W1H~?tji#dw(2#hIwOHe-SIrv)x_Px8fWe#N4Jbf)68u z#`BN^-(p1qTcVNSX|!lnTyqo}a|I2Db{M=?g04rN9Oj@{e79fjvhAqtm6QnY2bcj? zOx@MMF5m6Q*P(2j3t*U+KkZ_r)lucu&BuI-Gzgb={k()v%CXv)2HGjpBfB71&VMMx zRb3sft}zn*1E#+D<6E3`zTo7hELlcjS5(nls$s`@SSMdJUsok^EiscE(r$OiIl3*N zCiJfyjb5m!J3~|$gX~Cl1bOuJEVFCkh!>84Kv-!XXAX@m%{F&CLYMCOFO0O6W8_fA z8tY2{C#MzUpIj%bhagOk2#NxrSAR#xr-r4A4-a7KxfUR3Zj>1-hUIy_E>=`A;aocf zyUU~g+~(T~=R$=`+~PwG6C+M~&@HTJMby$jgg^AHdATci`q;#;cwWI(@m-m1ixrbL zcl-K4Q^@{M)2xDIQF4t?0t7{=S)Dghc!p(31<VX?b=d4VPQ=k5*tKTmdVe$8mmiph zN|Qss0~LP{bM}Vk1o|)}(#P}lmklm;a7@3<8c~oy9wm5W#bPSV1f!!`!m?U)+tN?C zR1Z7oc9Rt+5U7jVvE%w~nwf)gikQl+VgEMP3Ub!|F|Eih_j%2H-g*s&S~?gJuW`u( zz={Aeu;EIFR!6RBR<4M>Dt|vZ-#GX}xAV>WMe64lug2P>U`rwF{mDkk`FC-GmP|6` z01-y!;h0?d1AZcUBNrmw$b|@?cFkhRqOx=J9Ls0{1i-krq@zO=EHb*hlp+e0ypBw1 z9T}H5G7&J756qX>bye>Y9gM3wg9V`jv2+6Q9{HXF*^vm{F2Hh=iWNT;`QfyvTd zP`B2HW?hT6!rX>)E$8gQsHqjd<C?CxylYh8RVZ?{^E#S9!a`ob)INkz9HwQ(3%cE5 zg|%LDthXGG>pe0Vf3iN*Y<C>x*G+-mz5vpB!6=)2)p+1hU+^_79E&wMgTBZ}@Ai@2 zjY)keXVaJ!)M-@9pnq|KPShl<Lc!@jipQ)Jd@S7=JZ5lc=*%XhFoO<>a}(VK_k>Mw zgYXDxC$A8WRDB)_vxWvJ0b69DTiVJ)d7l74<y^-HURwHzhoR#zD@J()O3<0f6N$j7 zY^(j5k3i@ogid)dwmwO^35iYhG&C#xwUP`IU0nBsO#s(NNPjyC*CSP*=Z4fO1q}%> z38s&MtMvX9j{&AW)s^^)VKGL@!fj}e=d@HX^WqtXQv8zLYxH(V*e8*oWa<*HC%TvK z37Z0S=Sw?{x}mDih`JQqhBr?{-Q5#WXSC_VPG|yJ|20b9lO3t~QF!yP%%6ys+{u~( zZD$KR4Yq-v&wq(Ek;vwD{XDF7?2W&UKmn}Qt>;I%UIKQY>ft`}Uq311?sKp}rSnP3 z_s0_;vJ*B1B+r+28k0j+pO2U%J(M!`(Zr<tw>vEa#G`*Pfww!_OvE?p37Y~4=Sw>c zgrTaRlX4^-9^0N`9NjzVRWcF6AKkLi$q)Xn9Vt6}Vt)r)YYP6v$#h``@BTptCGggt zL$tYvP~0xZ*qVROp2uie#q!Mk$m`3h-o{GW^ZT)y=q!MPxE;B@F5065{I<^fVyoro zMO=Gpw29{h@rKHGH&p5THXb<eeUxkzi#Jp8&>J)UOvj$PJ;&D7!>*&HkhmzF?lxKq zlNfoL<9}t^eHhan>X!5%BH<t#TLIfdgwW?l_32nkDTy1E65l2j4GCb?^1u|y)_5Fu zL;}cp8+c5nx!?BSVUlX+N_1c{5Iz-ORm(8GeH~nSEy-^^fL4X<j<Hr4n}p7UOeMK) zX+dGU4KT}hS2|0sylSW+__N9<GzbQMkL!KIOMj1=mmd9vh#Kd;0lsXzzIZSjEGQ!3 zOn_X_msTgifQf8lp)nGL?yk>>j%Asg#Rmz(F*z&#=<9gy0@!z#Ur(ZoeS{gd<-`vI zVdXeo>>&nD6<xnh=NeL*n7<GCbJZh%c7t9W5BmQne@;ODOqFV&R}C=NhjW|PhqD~O zSyBw(+%hWraFzo&>+|63HL;|ogR^&uQ10REM%Vpzu1^l!((^-)5LnW4)QR98NOug> z@kN&LxMg$LHgs;V6Hv3I4a9+9&WRX&3D){w`0Oz)w^B9*Ckg^GH<!UA1Sx+TYjfMi z@w<NoKXj(xOnJt=aJV+<G<9Q-J83eF)qbesX&@4mP?LZHfR>a_|9kgwcu|y0J9J*- z(FnK~_V)Jnal5ySXBV@0_Uw^_XFQWLDWo>DSj1AzmfJ_)J&J|#K2_8`E>masRcLtp zd~0TZsUH0u{<^LOLtOMA|9pS;=<!oyXHIw*%h}m_rmPm)%b9ad7^!DxtJ%v)2`lD{ zR3*`qf4n&R>Tl2g_1Qd4qqFB<eK~)1_SZ*oK)icDekzlhjD?Rq0bNLEg;Q#_&`!`q z2=&YS&0M8XUbmO|CU2VgLYpKi*8IMmD;HHeuGG7d3osOC1f=zN0;zwMP^p8-3G(NQ z&*sWUPhNb%gQwV-L?kxp#$Ii97mFf*&(>{Thhka5WT8@(`R|})<EUt{#YW%6+SE<U z-4}V8*IAo~C1m_6^Xq_gzFi<9NQYE-Kz$*#u*L@r<_jQ0RcH0>d||ANuIg&Our~V7 zd?BNJE~90O9V$XJ@qK@NSuBxsm!UayZ;JAD!$qVM!OBVmk^ztn7H*-?<SQNo^IX)~ zmMhssR+LRQQQPq674E`y$(2okAkGIwJAA5og_NR+D_UthU1CQd7^BpEo0u38+iqK) z0%F<X$)WuN4pnj54Fntj#TLm_^IA7NOPycUd6Sn&s5Wbhs^ow6YW*M<(pcJ}0RA8b zu(UYoF&M}QP``<7%%3D`!gQ&yzF%GTIy(ecNnu<+=(87R08Rdm0cQ=r^P8&;>=f)F zaTM^E(ArPQP3)Zb=taJyb)$^34yZ4JhWPr~quEOsl!9=BR+xw}KoH1)I(kx-P5#|3 z5OH%mPj!TX;6Q(DS$M-tB(?Cqho~xcLV9zweEL}3l}`Zwn&!-}P|yJN_L3!pD%<R) z*kb=~%Y(CRwPVD&4jWG-Qx+J_C;KE@SM`?I1Q)20f12F}<v?pmOoNTtrp~j~Em!iJ ze7S2;ns7)~W}DmZNn>c{gH6Hsatnzh4tz5Q+0Hh_3gmwlSofA&8{pAh!$WyCIa(jV z2aQAsHpmuZF|&cIY7{V;MlcWyK(Dew3`l^XO7bd^Zbic_q@%E@*Ezs4u=y_5(epKT z^_mzf*I3CqvJ$W=%oX;AYp~iaa;}N-`!sy-qst6yZvtItWW{iryzM{bmg=hGUXUg^ zW|2MhvdDiI*|OOzK;W;C2nU!dO@(y5(!ahW#vSj<pwMxfaW9)9Y<>~8C2M$%E3N{= z2<E5&d?7)*r@^{CM_TKi*4jtQ3UpM^RyQpYC$aYljQ7H;W9^v}Npe?SaPn0}wk2=4 z%6tKZkv?X`7J$_%=T2A`w`YVeaA41PJOFuxH_?BQ0>CzA>dwp*K|4vn&8B<W=^Q`4 zW!~tmELH$@{20+E>HzecWq#FiFRGX+J3$4tVX-XQd=mgN7eRr!2nzRek@89a?j7Yi zE_#Eqd5F*s3{ToCF_aQO@##DTfko>R&?JI^G?z;_GaT4j&_&@eG$zVF=TgGSVY55P zy*hsp%6AjL49Z%vKIa1I^T_S%@mIjA(lSyFm$UOt&LxyQ4YN-6Gjv^MEqCJfghrAB zXeukNhl5KS%tL{e7yGM0#A^^M%ZG>nqwK*3Aa(wxsCG?{3ffXs!Kf0dVenx}B3UMM ze5+|uesc6<eDqjSuu77Gg+WrZ1P!oS5h;I>qj<H7r6(on!4F7!u)rs@e2I&HU6dEx zih7a1BS32|4~JbC!iQZR+rivySdk+flB}?jvHD+D+ig~^1oMDMkPG1X?9u0EBlo~d zI4>kK3ry&xLnq+nt9Z78J}@W31I%k0xrKi(Ok!r6*$eO?I;J9*!O4-!;8T$}2M~W# z;ow|NxcnyU*VwgyeK0-kVd0)+#>aSGhVqu4;aoJCKv}TYgO~!{;snSG;wQ1@$V5tI zs0&^hwJqt{pe-Y%<Sq5Xc^vrGYnof*m+<74tZ!G?p2mv4049Yt=h5J$G4;q8!NcH+ zo?CjJ(}x9>%MLisCm7=bF-DLFNCSU<ftJ05w>YcE<GoZgA=b)!C?nOFGJxzGLNg<j zVc`xuwL^32Sfokv!>62*A4~zvoLZz0JR5o<77lzSa6XS?PMZjDCQiYe(s+?b1nEIw zREPCla#*1Urvj+qnHVt<!yl%F1S@U)nEXJ6ibw(s;EX<sGQcQ@5K5$A|Gs~75+xX# z8efuh2h>V_wTHIJkNu4SHDCsu--q&w$~imtTV8L4FSh(K+cS8zlfJsA48B&}_;0Q) zM<Zi~DN!~?z{=rsYX<Q+E|dU=EeD6Jg$k<X>@pm%Q91XD8IEmZ#SGPJQn;JYdCuyd zE1i-L2fOP658iYTFZ1d7zdwI2wrtbT{&lCpv5uxDRLFBYxUb0k9;ui?qx;04QZdU! zq_O{~m_I7!AFP;TBW!F>s+eOZv@!Q9W+S}q58e5Jg~PfNv#03>PK$}t<b=}{Z3Pn~ z#U9XsMW+v)cZc;c*rYgl4+~*Gq=AsXUIW4GYxSOicngaf5By+Gs6Ky<cOp%HeC-+3 zTN>Y|-qc9F>GxA_u(WuHb^f}vn_=yi9IxF>YK3*lDYct{(~6Py<FWHsckIOYp3;U- zgjnbUh*(+Txv#-XBV|p9reHgUQ1E?D5x0Dq?V9j;u{UB8*}{f8|87^*ct%wkg`Pvl z6BO<bb!lZp9J}K~T~>dj+798;V#90EA-)wZAG{Z-*^6W`Hc5i41~Q72sPF`=5*IB4 zP4LXdG=WB1F^msK@{T4+GQ_{J@<1FfmSUtEjtB-j5aNDyJip_Z56;xZ!-`cN@W#6% zMko&p;aE$!PypVrshyHxQ;_dq)A4N`R)>29s8IOHropeUE?R$Qc-hBIS-aPXpOO>P za-F=AVE{#8LlBXwqcAqs>Hvmdl%u-=#xft_av<7f6dcs_5RwjYC~loB{h<h)HX~~} z-0gt3)J5CtT}eS_aHGUTHeuT>C{{QvCW^y<1Pf3QAY}bb^<D@REDFf{lU>tR+v5AI zzYm)j0EZ!TKhu9M7Sh}aipgI68|{TgDPsLkdVf!F0wm*v^S1X;>&{25ga5du%VBgj zaTDlL<ThM0P*@iISK24Ud(Nsi`hG6Qw@HU?FJXQiAAiwi_qHNjXegz@Wi-<pji&{u zH@Y0_!nfK+Wws3^c9HGSHSwyG$qf?^_$F4#SU5C=m=AvmI8sv$P5=q`LGA*<cD-fn zE*cQ<s=G^HclY5zk`M_Vvdu>0NAUq0Lb+La!E3Rd_6^c+g^Kq?pvl{|j|22UgZot& zXpngDat0Mv5w#AfFmS|dI^0Es^a2H^4mI7j7x@zOFJ7of8BhT~Xa%NZ*;aUyk5%3V zN88}<y_J8G7A(C|M_)@x-;doCA#VV|qp93bs2wUS5>ROJtY##L%syNe_`8halY1CN zre4T_EZ?pvi(uJVD<hQKvsOUkqHGt<C7`jm0*x!9%Wogw&tcMNa##0QOeqzu@^!ZB z7)mKQFcemLhQdn6P;}jeLcL-T=c5mL7QzY}9?XAUxZetbI!p%#wc{aL*)g|Stj?_z zM(+v!*=1291HmC;bS3>DG9VLvNapBpSzhML*9URI2vyH3<GUD`h3{gZFuIFTI$T2E za)onkl-k!a&~?5GpBJH_DmS;>!Z%)Zf&AFbMrN0#DN(|~nQ6i=dDds%q~kkztjA=- zu)Tk+v$EM_E#9?Z<`f)u&&a-FC#CDaU_uoGl)EKe(6aZ0BbptYE-1+c+XBqya=6P+ zL+(x5-E%_2-Akfrc0hiUZLc=@C_N!xw;}i7vRH?kZ??v?GTdlb-5jsGsLa>FgRSni zMoYfH$~$not1hRh&yF}Br8;yxbSP28gL{8A+|$3a{ld(MF3t)kGW7P~^=z+p$o4BZ zStKbrf7lNGn@jynDl#Z_K3k)|H-$O&{s00<OaiVUaz88rw2+bj+L_LJZo1%AJQ|9z zS<`bq35X~TEueEyMm{W1BBctv?s~K-h%udvfmmTt3P$?i!S+kK58fU3cm(W7_jrE< z`xMab!4A}(()&vVr(0-X{UaAU>FG(WsU;SQ?%7Axub&-AodjnHODYCeO9$0C_LwDm z%%k%x*pZ1>51vKG3E;q5)&~@twDIAn2q0zpZ@S#Gw_tuJ0+GsIjNV}6$dVUrC~}0g z)gIdW!3aB;5z0(jIAfy!-U+$9on3!n|KObGPQ$JvU?*VL_ki{wyY4OZCtz0@gY%A7 z8!)m-@;>|u-bT0aH;3X>F!wOxQ;uxL6sP*b`*24Jj$Wcp#2o{$Q*g(-LwlGzrb|5; zcPMJ@xr3`;A3KV}oNBVeDIAS({Z`00+^#<kte~fNG*S;rBG%KW+k?~Y&8dHd8&3Ft zdIvbijhek&Sdf4Wql21aSi_3~j~oq!TKgg9cHk-Bd<ejpJN)Tf$rzp=f@a_q$4D2~ z$@U51?=e&AgfnKJoA%fQIj$e`cn_s_Qaj*OJLo-)+8KbILhZaew1?Hsbg4gowd1Tv zwEL)be!gl)gNypfTv-Lr4?%x3Wg_)K)TN0@UCLj+x|C82Y4ne#FB1*QNuNkx4!};K zFW(*7!}@Z%)Su`O?_>&?ByfdY2V9O_8!sh13Q1%|WhV8^`?;TJQW>ErdlL$kGRnH` z{ielJAtNKZtc;AT<V7|Suf1pX{{DCK>0Exl@BMx6&--1^x$pa&>s<4HUFWD*-Q`9* zj~I*Y^%rhz<(K;UtAF^gZ_%CS&upLf@?fLT!5Q`18VlB4EoQ8mWp)=2uapjWQH8&M zcWSLbv-=OCqYIAC&bSfMd3<y|i&larpdjPw*ObiFLP5qlrQxFg<{8ehm)%!wypb^f z;D(r$%6n1X9<jC?2klxl?_7)6?pd;vhAuD7x+dLU5_RLF-LuHKk>;^s&7FKTCOJ)d z`R&-;|5CW-#n{w*p97V1n%@k|y2lIa*FBy1@zJZ;*yOGD+3j04{Pmu<?%2`gxW*(# z$o!;t$tQoN&6Yh=w0q(veeUs3_w`cWCtv0qS=(GYsM^AgAvv3}qIxBKUjKfRecbwM z_N_;+TsI-hluJ0(vi>yZnSbhLO?A($^YLee#5kWXRbDqR&F>Laao`Q#0~-sX&bE!M znLYkvYxhmY9rTu63GY&+`>1+*Dvj=zIbdl)V+YUSqlM}V6sMp2->N$P#QSxfqb$w) z_ggxv!w>hdb1bdf9SsPypPV?iW9PFrTMzzJd!NnRuragS!Z=5})!L~ZkGGmGd=XVS zdAUhIW<}1~(cY}z>6$gJH}6=<Agu0em&%@3>Ye)-?wZqh!-?ST>*Ccz8dbH``ZcT4 z<j8E*;JB)}TL!JIdRXXhKiT%;nTI!CElYdfGA`H2!aZ)HOaH3fBevPqZMSLZ)jNGA zXYfycZgcprk7HQQrxps+r}vhm`6&hj)(Y?oTi0)kMrM-e(Q)a~NfY1QkKF0*ShwZo z274av@JchwzHRC<!q0hA!Mx=7b%~Y-T5YbKt_kQmI>;j_>C1oS-xl9A@6zVb<s8Wh zb?|`~s{>uPyom`2f7YQ_@45?5G~Z^`tXf<9sj~uSws_jN$=&m{7uIn!$+lAcn&33% z-5>pX-p*QI*UDxY**+CJ*RH@TwKG2(wG`^zj=FvN)3l@R)hoK|UwYMF)1Xepq=Vz4 zxoM*wD62=sT&y`syP$n=%d?{oJv;iP|2%c;N!urwub-=T;n%su#PAz2i(k&|KXt;| zd#&mOt(_yEXf@Ywa{Ao?KR>uj>bq|YjOf29E7<?l{-2Xa))96%{I2E_X&7-Tx|h>4 zm&2L+r^X0p=PtMIvbSGmX5Zd%l9XT8T{eU|_sh(;8`v~Aq~P|xQOjFB9y4_L&OyH) z7tHNhb?n^S%;N#AHmtu`Z$`i7-7Qik2-{z5n3ywQZ~wZ1aUo|1<UJYNr`MEuYcE%{ zt16cok5vpY&GM@f;&dV+vd6uk#4&?^tdBT!wNLjkFK-X<9kTb7;I`~)ueO`#<{92f zl8xH1t@4Fqt!tcf=rzc0LWgAG%lQVDocTr5O?QK<-`KkA!GN<)Z+C_K`<e^xKj22d zgx1SjjrJ>8H|F!}r~HE|=1F0bdW1YpmxPXdVHO><XzRL`TU2fXwt2rhKElW{tMW*L z+`Px*UFJ71oqM*`$|+g#m-~Cg3g13&t(vgKufedenaMXY=Uu28;GfYyvRg)@`ae#* zejQeE*}=fYCU<8n%c-tzdgMyI=6By^X3qNbKJP$E){0BcIT>AILhgo#+<tUz`U->8 z{hE8#GkWLVS(&r#jQqx(><<U(_vqW<_J3~<HuF>8xo~acp+kO#tGd2@^Je3#>Uy<u zzd8zLZ}n}*%Y1?tHQJDFzSh`mVb?Wno(>(9|D;RX8eK=!x<23Zx%-!4)l=R&8Ta39 z@ZkH7-Z!opwLCvJs^x<xkIikuy;hyL-uwFed6oXtvvqEn&|ClHiW92$O<sk!_vk$N z^RoAPuLc|lF`en%Y|umdyEYyXdjFanTw>Dg!hzI9Z7jEL6)Jo=TOrLa=51BW;6=%E zBKqbPxDFV%;y`6by>>hFR$YAfv%;9{@Xv3*j7@)dsnLeGAJ#jbKf3;Ga8&MwCKoE( zsn<+(4esr*{$<`9kGQu5*X+_YCN;ON`0~p#py{k%w-c(Y{dK0_?J3<%ynM&st~O_I z-o??C=BCzks<1zE>#LUoZtNBE;?D%#i8{Kb@`c`p?ZVqExR;x#?_R^Xt@|HOgSQR# z)!%Vs?TzDyU2j<pd-&n#Q|*l8tq1Q%{v6|@c{kvgg{;!Y_WezRkND*zpPbz5+sda$ zG<(|4?N)i&ip;!sz59jd?#m47_-xdE%k~e`mYM}G`m%e0L00aih)HXutsd-LFnO(s zP$#|hgJ%C7oBqpf$oV%}PO19a{wwIePL_1ww)y#k>o?8(o&K}Qlf{ebRi53-)xtG; z;(d>Iv5%9xdTcp<d<M7pX19PZPJ68~^-sAZIYd3#6s&*t(oMg(YDOpLjPn_ByyN-K zOZc8OQr`p=O!M#QI_BHHpRRKIPdP5j^)1IvS+n@aSE1nX8Q1rgOO~Xi-KvsUPw6u7 z@bbkbOR^SM-n%~~vQ3)nEUD#|+ovWCJ{kRw+{v#}$G$$RFSY+R%P(9ae=%`|)-Gmk zPEs3>$c63y9BX}IW@v2f?{_;cv|cv(VwzqLj}6ar9Q(hld&0WQXLZb?H3Qf3mE=MD z^R{{fKk@H1vD03c7Q&YJq{P0R9lR%=y!I_$e^zMLbnm4bPoIB&$-7$<j}bFcTD_@c zdh~w1^j7hj+)>q*j5@Hm#-fdz>(>g`Kh^(km_y5(+v05Mo?Ybhyn2FvX1_Wat!EFL zH~0OCIW^Zle0^E7?&P%0nh^sUS}qGeoHlcBVE@jq=XF!0@ndfP+tlzKCz&TqcQ>7T zXF!jAV{hDCessKJ-M)6!uQj&a`Qr8Rxf7~ykI=pi_N`#*D@lu(VW0l>MXD-0@budA z&tk5m{b!J|{%g|p`5ry&c3f<iFl&ilZm?VL;nwRnd(=B~%q_I8tFik`=iy^}Pwcr} zo3h!~Jn{ABpVHc<>sGe$%C9wX&4u_ERw+h8Ew7PPI}N{QZBbR;dET2b^+p)238>0{ z^g@TcVS?<r#m(MLD*7y5<r8bl|GQrHD%^F7UYoRWdo|8m{Hq!6Y4a&9F6Q?ZlTS0g zxb-}f`fcpgX)itdR_bDyS~qQ;U$*0@#|B#e-g+jDS}t37xx0Sl+)1_4+Zoi}Fw>;6 z;S2xu)+(W|fo01vH@3T_*vDQNme6SJ>-HNbANW+e#$Nl)=^d&}88tTQV)7cjQHRb& z`S|?1EQ9;j>*S-3kAm*C)<5te`la5h29LgvAGI{@<;T>c`Uh<5wqIW1aJ}f+?`Exb z-Ff!Qo-e`k99Q|QUH$Gyx3!g|v%DuZ3wt(X)$Dr7#;?W=O<4J1jId|T=8R1hgQrh< zVYkj=XY*PH*LR${GIG?~OS=c2o}`YOq&;g~(=Dk=U8f^2FD>_s@JThj+Gw@j(>;9# zUvlIQ#w#E7HSw5P(L$9UB>Z#uaL2@P7ffyjt@=4+^RhW_ca9r*x@pa~rzVY==K0m@ zWPGIli$@7bQD+QW?pPfjIp=a*lWM}dfqEx?x3wOrH?dmc2dt#(s^`9fjme`dh04}| zTWZz(QO4DpUpAbXc-1lVQs~G}2~M*n`+u@FNWHqX+Z89d`Sr~T-{W9I{5w3{<M_wa zk!uXEH+(p<N@9nszIs&$Jgf2N%hxaQzKs@~-?pb__YpqzmK=T8eaY6o4>gyg#`z0X z*L^&gx@exe9^by2&BPw-58uk@(#Y5IX`M~c+BaF9D{1p84B7tjPV0lCmA&^}-P*Ep zSEpJT=QD19$+x>}{<7Wev6nq9Y?l12QRnn&)o+^_;aev+yV}X}=-al_SMSQsjk(>$ z_)qO?8<#$r81vu$K_7f>R{XQ-dx!kv-^MTKchN*yOPGCO=!|g-9DdmE%KP@A;k;T4 zX2=I+R61fc#w574bJqL~om#xQ=Ox&+c$cwk_mvs#8a>rS)!x@-`t1qXGuq5G;(5nO z1|4pBu5J(!<~44Ub68S#htYLYHvMdr&CfaXWR%mAQ%8l9PMgE+Mn)&@J$3P>S;V(t zb{og;c`Vd%7;YP;FZfOJytj6ZPpVOYa_y0n5a*|Xvlf{+HQny>ZBtIY^`p0>JvQ$+ zW^CY@i+}1Ro~ZKf&Xq}32W|I>pFg9T=b325(ig8&ldnu_^WvN9r&%w)x@@|#aIp8; zYH^7+{aSa=yPeW{yXT@9`K+W5+p-Q-ag9p(a6B)_an#&uJ2a0oofG=R&k$OF%MEO% z`h1|?=L4rL6GrU*@U`WP2Kj?cTMp}HqfBXE?}B^aS)&+R!@!C+XWeOd$EAgBtYr^l z+YSe9rl#M#73zC#<&_SXJGFB)JU_0lXUL50v5O}vYqy?wE$?l8`{@rJNHeD9cW;=+ zFAq<DoPP7$%*B_gT`-A{xIAp|%4@0NyPSlu)Lu(>O}CwL_o(L>0~e#(yVEzs_;wi{ z9M>oz#Hd*{o5KHnN#NhT?ufUAjx!o)=$cz0z1N87Ml(W!zAyi{{n_Hd&o8gNd(Uy% zPvaWPJl%{WX5TYUn1GuOS5-A`r0+>Ou)^5h_lL~OvBHAt{ld0B7`ohMriol-T3dgE zptmOUidBVFm7jy-`Zp;<R-XB3vDj6J&E8#KkNe>r^!3m0k+DA7srSs9)T(xGOy}C_ zGrw1_GdlJ*>ByAt!I80R=DTmXG>@Bo<Vw>TH|r(ayk714@k%9w`;8S<8#nZw;9#BE zL>67sW9ZgLJ=@eBz284{^oi}O_fNQYef&4Ow3}xS2zwv*%-LQ&-**4r#4FNgf{F1r z<$J5F+RMM&J+P^q=r|*xLc`}jc5#cmJ{@g2dUM3-CBG(YTBYb{ZN<m-SbnmSuk+P@ z-<MzQF)1ZcnKROOw3lo2py$)-uIZ_)HXyg_WJ`17uhDsRS9{HkU;p#Zoe#YyTSgDq z_vgjUlxHh0f2mt<zR>JI{e_t$ntaa=x_5B?qNTs<9=_CO`S{i28Xdiz{Cek!4)@GI z-Z7pxio4t|:DwcqVF|Bkx7@7!hW8<~gPy6ma`*m{a#eDhuFLye*bd3>5_7Z}vI zRh-wdPn)XtTGnSsrY6N>t=wToLE@8v@8fpdeDT}-oSxy2?|b5A{cDl@F;}?n)$N7s zOu~eHW~MO<l0F_;e!bJEHosHe9QAh`7&fET)TGOG9bFo{4(%RMG2iBOzB03*;^ee@ zXHy3KljpU+%dCNiyEcr-d}jPo*>t4El!+f*Ts}X_PjC78@q|+YRyz7<U-BFJy@?2O z?6j{!^1i|U3=OgjQNFzL(#|~ZUeBo~H%$_b{|I$hVff|n!!uQk>ZRp*E#>cD8tk0y zyX#q#(Z=DG=cmSY`>r&z7&XlL{@5$c8&*qP^5aCkr~ieHj%_dN>$pDJ&1PN_A17NZ ztMu$`Xw>Gohuh3XdRAK5@oCcf)YmO!V^%&&U%a`#?R^7f+oN~0M^&nL>WTKvu*pU{ z&3-*O=C)aAczlv)o>lJ=@h3i-Mm5-+uq^Sz;jrp=sxBWe&_?a0t+L(u@P^zJf7zXQ z^#|Erv%c*{)YxDjFs#4b<E>vKK0g25=JX5cJ&B*pEVti@ISF-6Y>uej%xlQ+g}YYQ zSQoUY%Ymp`Rb8DbAC7(zKe(RNY|HG*r!}KCovAo-ZoJdOwyj$Wlat!2wc`!!#_XPw zUfFEdz&Wj|uN-|xnRPy(sx;~FCWX<vsq6cE)!Vnce!#aZ|KTa#^_Msd4I0$U=CRAp z#QGmpvCFTmG!4vpJZ68FNbji?+9zIEZ2mp`>_2AH+df;mM>x1*-{EN!BO^V&?flo= z!hLl5j!D{ttlsMF`vWK4ekfd3W+x2oeQM)jhe_A&&o(qFm{h~*Vn)kbnfY%{8H8x8 z=9xQozHHyqzVfD&q$^Lp#{4!=#y0t!@pyd2W`?!pyvANBl{eNX?bRA(V}(?1FIUPl ztRgE8ZlbT$>hG`AQs~n!B%iB2{magaC!Ejewd$L>aCn^`7rQ(>Uh&r0h8YeWWBf-b zE!PgqX_eFU*V`}sTm17VrbozN!;KM7?@u}se!ofQ;8?qFzrEcPo62L{gW`r;$JyrP zC;$3lXV%Pc=ctIjo3e)Zzv7Q(s&Xcs&vSSeV$mrwdwhPupc^Bf);Zm*t6-?jc{Ewu zB4y4#+i@4F*h~mJ+~w}hJr{?rn!If1j=M*`eR^@{aY)FG&HF}7c>l6n$PR};zpi}$ z^0Lu|T`i_J3)|-Q?N{FImkWoxNw$AD`MiI`ruRR;937cc`}Fh~&#fNij7*BGD!3)& zH<|ya;R2U2-j^LUF<eAUn@Vkr?%(rl^6EdqC!u*pZ0N%VpVw6RZ+j1$URs|KTU#Z! zz3tbxhQfIFp95V3mhb#+(8#>!p$RVv{5uD@J#HOe`=#yft?|u6LfgB&^sBjIaod|i zKD0>)33Lg3z2!mA^Q))3DFfzw3hTXUmv_UQ^hN=@e2;`hKlhW2bu$RI_PDse*4gB< zzb@w`MvrJK)PENmHsQjT*1k2`6^vS1KXS2!Yo2f9;ORfj9cua5f7p3;v3HAytDkz* zsNH%=^Pl^B);^<ecl6|~YjUHko6WCAM1^uw8$PVz*D9uWmdzfYu)}M2Z77I2yR>=A z?VK%jj@!G{7&g#s;*6ZgUmoG-mVS<yEj4OlEYu#7yFT&a-76DT3Dvh&+8@~XjnRIG zy9d{OpLnwQ8aKB*@5vUjf&M1pp@%$TXWTG;@^V6;@$+_<^J2R$i|E&)jcxU|9UJRK zt(<>pacu8a@&1F(_p)AYJ;dE`mQ~|tir9I+4d%IYsqvzDK<5BW{N<qK&W+ap(Hr+9 z;MKpGQu|D!AIIuQLRY$uy4iQ$Q{nl@IqBb3J|DaJ&Pfh-KV_45{A7m{Cp!c-3s%o` zXtB~xF?aX-+4@#-wJg_M%RSxKvekjTk8{0#w|&<;YrBE4CC6KHZrjKy(;ua`XfNy6 zD?D}4gPvnl-QJ##e{az`d$Ojk)4|rKFEsimbl$1XmE-5@UC27J@yFTq@2(sFoatlh z+eDB|+BCdE*rSwI?LykSS)4UkX1=VS?fYBHGkv=b9#?%sjfb|$gO0v>Vfo<3%lrni z_I6g^7SH?8y2|C4GYzkG-jd<>cJsi0daWHDc}9PtS)*PicUzx%rmtVAdX&-bc;hdj zS@-s<`5Paa)qd*O!M(|ls0}tX-3+p4&S~TL-m+7>(C+&L{ZGkf7fntYay2We&4~C2 zt8F!cr~dA=q`>)DR42oLx;IB>8f+N-sLkPX&z##;=;<4oaCNk8NR2_A5A?NMc1)5N zl{v&Bq2uynYc$R_-VHPn=dK)ytZQ8Dbo|t&78QoKJ8(rhKyDm5vfIp)aUlzuMph22 zb%tMT)6HprEzfS-yG||;np~bz5T0Cl_V(9dwf}i<wc~em-je6<o1ZXf=<OsEuDAV` zJm``AOdm75Im2(NK6M@5I6$)0^li2_u4d4_E(OlZYSxNOH=2C+#)>0Bu37bVea`hi z8uDgJaHjt6AZbGE<4O<btZzAdrhRnN&9nTDWuN;zx%$Pxciq(i1NM0g3O*1i+~Cw> z$1VP6jQ@oEKG#-k9Q$vV-17sjgl(AGyVXUvAN$ijE7Ht+28W(b&Q>>8?fJfL%fr(Z zh2Vd0Z=B|RyFgmG!smfkYz!YS@7vpKfcKq`6$h-|k(&Q;k<s0iLyRw<swr_BC9L#) z*eB`uGNXGF4fa%>(x&1`%PXmOF5mT8HhE>(Rl&GHn*R9~^OM$&*!$4HOF!xRJKlJj zqQ|dqb1!V1uV>nL*vx18KdPuQ2e}Nt?9^wXb$!1|d7YxSkJ0X^vb52pbL|I(o}YHf z!+7)&vm~Q}<1@#`e%R3O+HJ|V6C-9hJ)ZA9dPFU|pcjeO)gJHY*64b)qSpK$3+meJ z&&$v7pQd<qaJ*1)+3alI*|ARG;JN>1Z+hi&#CZQ{ziQ{2`FH9acvSLkgz1=jd(RH) zdSgrdGu=I}PRzgbc335Ta@x*~FMCM$jy1nyXrI?QImE7s!}rCvE<C?5&Pb!yv+m(O zVnkQB&=#*<-$tF<Tt8Uw+!}JrrNi2>;Vx;vV=}!QJllMER}iHqOc9<X9X&C-W1Az% zF*TCkMqRIBHN?8<$xgzapL@I)cbU{d{Uhu{_T>#L%?3t&|Bo~5m-oKqy&-9_JJ*G8 zowzjL@^On7Syd;rowexL+h?w$>P^x6ILm3$n6GQb)*TnG>Ahm*kBo{IRcFkaV&SuJ zhNF>EsC_Z;T>6@zwOw`$Z9HRC+~X0#&sA@f*IkcH@SnAL!nG59dsuG_pMT$Ldo$;- z<O+JJk(S4*Oj!`${OHvjnZ7jipyxY{!J0F|I?G!f9j)d^d{SiBo^$ehV3Q#sdedGv zPFuG}?~u{7lm0&{WN$RP8MfxKd4^y3)^-#6{d4xQ=FzRF-3|NR+ts+L{>w8}<a3Al zMSD35?<^)?nDp3mfYH9g3y<awj0q0C(|uN&<H73|{<V+WnndOQioFwfCUEF@uN?m+ zeL7iJZtr7WWs7y|A*nXImYNPa-!-Mngp)PqZH%0s<kex+-PkRb4||W}-&LtN$y+-2 zdh@=0+<VH;Tw7Yuy2bE*!PPwa1>cVxv9iMKl+hL)e;k`;BXqXy6xMjF-J3UGXRLd@ zf76yox2*FAH(#;8kmpz9hVg*2?X!EWNq64i^ecZzV~<By|2=0V4R>_iy=c?x`uTIc zr=Q7)aPKpI>6NOUCZEr{HXr+Yxb@U}$L0hN{_r`V+E8z=^Xq1RH972dspqNMv6<Q* zmAbe*%IWp4x+Hnm>BrrE&8{F=aih<+)Z2B*WAGP)Hs@N%KYO<|<h(xk4cS<|!4Kuf zhfUtt?w_r8d!t@i5MB9_V$Z3KOLyPiZ{}gq-{RM&Sv3#+IAn3|cJk(+t1|A4tWJdU z$=|Epj@iG6*ywxteXd3IdTDwlOUGTXs&j2yE#CZ>ZP10r#>1Njaq^XO^k1zweNT`M zZ*QL4>h}K7Zl0R<6<#gOayr>z@cPwW6&l#ibC@Ermh8*Ro%Q0<HER<|YDyo6h}C`G z9Lu>Kt;tq)HM#GRUFXW2lf0uzi?DBrGv&sbq5rn)mhy0T%A1z{OJ<)`Jc?d1)X`+y zxVmk9n?5u6Bh1>d_Q_Ozqo377xUKgk0l~w=wVT{4o6KLou_FF8!oQX9Z{>{j8>{5s zZ-#iOl~mqbDsA3U;?N~zc>5va0~)tz?<kkb6jGI3A(JUEM7wc;<RPM|MGGa~hP+0j z(cW4p>87vJ+AhK$O6_Fv52^O7_y?!0w-|rOwLyy|ZOmnjrQ$!0gBwf4KRJ$9%6RR; zzyG9A$h49rcuGm0k}H+kzT!_D`AMcyYqy9$@#H5duh4!Me^RqQsWmE%w$nd<{fXyQ z+9dHO@+~zllWAZ4Q@CcwD2ZcjHGMIsP-_>7ziFi8qbfP4y%i<V)KN>x64gqTTx+`& z4|4Q3g__q+7JvK82jwboUi?i#CnHm1JEA3yrc!n-+Ht2OX4;5oiCt|ud5+Vl)!Kv6 zV1bHV1E+yFNMio_lgORE;!o_yI8H6oXt#(z(Qk1|nf7~(#Ib^s*K)BKA}8Nea=dn4 ztYkM8CzV>J%IF#=anbi>MNO_&YuK;J6-vS-nT(T>WvUb!b;jLziPnH!j7lvP*SRP` z(#%%Dh@48Pg7B1|zDl81$+(PL36iDy<_hLFxst=Grzc68wPfGLaVlQHj8~{RsYYwM zN@7+)#%DZ8l0@k{bL<>sGL4*Jp;E)C*>x+`yi%>v?pP^lE-?Fr8Ea&J`Lu#rnmA6) z2rH&2S8K{I6Er9(p~1Wq(X30%0|qLTjM{*v;*}W_SBZPfOhBpR)vTH+6`YJ?7Nk@t z)CxkAaT=A@Xtksb44M0CD3FR_CC7=3%ZObqaWP`0Qo*aGYGuZg4HAb60wa2IaD`Q3 z&@iv^JOEA2vAmKhRjhH4Ycwh;{f0tX{H!)URbnMDe1rVRN(PkhSFYiuO7bFJMqkd$ zI7Wu>th{8yblxZDiv_?+hp138Qh|q+Qmxx&iJ8Fe4SrIw7D%M=%w~Xw?O++mt7Xi( zF;1<fYvdJ0>ls+;i!hMaFj5YhMn&eXk+KE?J0ew+-GtI;Wm~XD4Vk+}&I%V^p^%aF zXcRoN9)(m11t`C6(0HPtQk6_z^ejZ7*xzCxB$$0zttw`Q?l=W&Y%oE!noLF|=NZ93 zoB*q;`wa)F6htK}#v+YlG#E6vy>VN?G@june&Up5?l8Z9p|M5~&+>AHxgw1<7NBWV zMZ!`|hZ&qyrZwG$IjPI7OI#KwQ!w%&(llgQoLoiL!zpBB?g$si=5oqnXHafVN{u#M zoD)a(gyZClz++Av-6u|6exC~0!*g_v8aZ7fRI+f7b%hII3|S-;k}Og!qZ_1_(+yGs z&C?Ymae``vs@#Hm6%v&)vSPJT%}S;W9*UieOvcN|>JZpz-F8UK0$3$L0IUJ5D8{a3 z@&P?lu^TRvBaR^BWNf^qkim#*WAG_K!!A`OSCGAx0nB7q3L4p4nOsHoRwn0&3W8Rw zg4+2@BqqLWw1WBZWKU&sSUa*d4cSwq407$vo#NWcZ5eh<rjQlunGPEj;2HZ`h5RqO zNNf|{r=Z)SP!?~Cj^4-=Dw)<QP1I$w1O>+iU3f3Y8gGS+{|g^^HPLT5_LkLU8Lups zKx}P^QI;u@U9k)2HAF0Byhg1xO~>5X;02yT$_BTf$%vysEXX<;jFS^5Bhx6@zyRY! zU|p1aU4CkmoHkvY6R{Dnf>fL|92F-Gwc#>^M}&8XIEaqGK^MtZxj7+_^WB9x$yf^@ zm%@NBtQK?IztD(0$)$3l=5mNKtLC5;%a)F9luJvDc-g*#MwA|=gebjSN)0+_WYgq` zK+7qR08Nui`QlyE{V=uiaw)a)pphMv%czlu-V%eL#zqT-{XC~)w@}W>=r+leC2?e_ zmdH845A4=)at-+gr%)Adr=at&lBkm$;RI{8<(!ISHK1w89>Z+1_Ct=Ww!F-`gZ&)R zPBLpmzl4UUlF~S>)m~Azh<qaJWZjTlEi1qM;_j;<wd`xva^mCVY6a0>(5R1>tCd87 z<!Tk#emV4)FjtK{h)jn6%d>oW<rf1;WRb+0f<^)a*fN!N$Uaf|2|sxmaV7{~sq(|l z5a#j<s{8=2$a;`P7tsdk=o^o$pItbwBAx|lDG>~X0stHHERtdsuXWBqs$O2;r0|T? z=pu?@6BdO6aRj?Rps`5|#$i(A^NNzGcP!N~<ak82;ed-%kTPC?#<LrvKzgio+mAhy zvVyJvJ1LDP!m3abqy=+_b7JSN0_sR<#Ys_FHV8f<^dSS`f(Z?P8=)aiq%^fwc0gk0 zMC47O!bHh%6_GcEic@Q6;uQkj5*1W|yaFOdXd1dB5JWOtggC6-0FY9=Jvx3(L|4e% zIXT@QPEPCr;w`#AoRZiB1zbtF#fkPn!Kp|z02+xj6|mIWtb?LGpbJuyU_im~B%uS1 zBy@-iNx-L2OWA~u<2Y$Cq@#5?B(bU>Q)`DF0>mWCNIoPPUBQWEyprdL4yvS(WM(6k zJiey&JR)i4OV|KaAZ$=#3FKRFIV?|<2<^3(j)*eGZmUv5^I9c<3|5_#05VvU0Rbm6 z3mTDGrAAdOvpT8>%z_9lXhdk0z}e_}cw$rVSx%dERAS~MXH6giGJ-q6Vi4Q`_?xtx zNJ1h()22m9Y6%L~9;gr`lF<sdG-gu)oY1c;sIgNiXu_b9a?+yJ=xC=3s>4`Mr~`6C z_QPtPSVdSAVm@HHN%{a}r99{>Mx82NtzbnKur0Bua8^9a1)wctUsOO#$@}01$wJ`j z2D1VQqd<})Alf8=Qz1Db+oYlJwbpI9s2?iiLu9Anaac72q{IU7cot|ry9vmR==)$( z$T(o?jlpI7Q|f+U!%2_`8VM3rfG=2~=im|v4F-ng1@Kl)>12eW3LZ?ZjQBqU(Ja)g zKpaf00_-}8z(vQya)AR-$Zo2@ss185fC$N~0THsIgW#P&nPPpVbakbR<4Jx2A0y@$ zT8mVPF%oe|D=UPc(PaTBWS77}rYTKM<dOqWNLB@)P{RrV3KT?wpzlOVK_jXSPeu6- z)R3?Qs9~v*EfoSJqpUdNSrQp=9Q*|%&Y%&a#{o$sW&ubd%LM@`7pa(VYB{mMpb?jd z8W?ejSR8SQpph^Eax41BLM1HKK@drt0B=qlq_{YCb;#Y=3I`lKf`67<C}NgzS}3fd zV<1O_3p8T%fU^)pNGxBn>H!)77obEWyHpD@DM>G}O(bGhBgJR61T@w<K?Y^S9f%n$ zeU>jQDT(|qWxps2rIJ~!z^F6R$)H$5UWi16wK~{hqMm9fP8s_ph5L_+Bu8wjSn<;t zDB5ZTR-*fG5e;sZRWYQ~MABhB%hax9ah!n2h!GIv-E0XAa1=I~9mhkg2@MD%OVdzQ z#FUH1Vf|(72V_VeModOtNFhK7HPIY3JQd49{M|j}wpippDr5k~nUBC6l^a+zPDLab zVGm(H4`_wu7BAIteZ}lYEF{o@A~?=YMn=stFQcgn;0a>Bd1RdAeE<%NXgZ-DkJyD} zwTNx7<`&T;NyK;nLUbG&0@#JfvB$bJ@L$0zC=`Y2YWabM;}rCTfa=P<uy7nLRUsB3 zB}yJ31OXVab95lWP9h&lCGim=G|!q_pgAN;=h0<QJn1rkkylAckcUDxnT#6IGCLWy znif8Im5i-g1C2u$iZ1)%e?X-15)bTv>?dtSQSg9X%fArs`wOHB)Rs6gKy-4sP;NGO z7%(Ey*}tHJJWM7X2O|4EQMU<AUK%e5B_$MqKP1EAd0H<(dO%z%s{RDk;Q=g?38Dbb za8*zsg(esVTB68GKqH1mgR&vJIt?r}%LNTQDr*C<4ixhW{ZE+*M#+fiwg#yueIZXI z9k~yQ|1=1sSouHzSC+|_#D7SV=)=Ik7<MUOK8Rpy6o>?vJ=UO_$Fg6el#_5x&_IvL z!*IQnM$;aoWyEg)ekds(lsY!Cj725`&B4|c^1o~#VsciuH3(@47r0UbQueGGrC62= zYTyBchWx#hRviCn)PLDe;Ob=Wc$!?G!b8#{w9Jr99ST7T85-d)kdT;Q5@{71&Pr!p z6tn_qVIyAT(=rz60!_(s5Hzq0?-Ti7!a@)=Y#NKgs+_HtgQjGy9%v+522I1JVkm&B zbVIYk{Rfdi^h!W>tf4^zObLLhGimgvmF;ICXE2VmhJi*(c7Q)n<6tBmL^OMpXEkV~ zUko%g3q*san_Lu62DL}>K2A|olfe4R*pCF75jdq-q-10P@GkrWJ3*SVVH{Cy&^TT8 z7w$iZJZmhJV$qXK2H_Bs>0lheq(DO&%}x-$gm6J46{uut&_l#NtO3G8XjEp<cgN-t zqQtOK6KGuVWXj?{5J~KgrWn%l2O6pLfmSZ75fc;8)I>c2{*~_@!~P>*M#C(#I%IpS z<G?u5UI7{+0rpu1!ev5JvM4tKJx(DoMg>FwitNMS4SAsw5F8m-UbqUm0JUSc4xK9{ zU`J{E2NQ+r4EsWq@>wB7O9tz(P(&oQA2b3^fTm(RpaAv*SR)^Xijftg!HP@<P3H7j z;2rEjP<tg@K(?Y`;y?8AE7^z!G|Z5FA>uHyO^9AtONcfU)|V*7wvv)bm&AV{A{u2r zBKCT)D?x7tu>okgAd-%*3G!idKCnTnfGR3!Mgk3BA3GVafn70N6YFM`sGJd#E=M>? z-dC8475bkt6O5#b_0dXbB8vxrM({rbR|Ja%4cP#@5DravCA8xBPl?_PHlPGe#YQin z@hqH;nllcTl)SJgwFXU$Zbdt!vp95Eu_`Ozv&8441AsUpWPmIJ0>e+T8qm=6z<yXv z23Q&t0+TM}f2jvV*8ou`^mJ2M(9n*2RCL(T9T_TVS^*8LE}cwK{0Ab5|KK}e8A=Bh z`EpoRqMl+~7rSDGoU|t^6{s4qW?mt%fB^gfPVKN5FK9@V*vY_PmgsSD8i#QR3fXa@ z4<xiAV<z&yl>Lafh@_*yOk@Ejg{{578=&=q{RqrA`LI}1DH~U~|A^pdK#95t5hN4~ zC>J<VxX1fQ+ZC#(@Caoe7BvGj0R=unB-sigQCJmr9HgIBI|b@Rghq>JN?>b69K`y| z*pC7;VIeXJmR1;lGm}Ah`<HRlm5Wh{?gT~tE1@K0Kd~Xi5&|b-aUi7<At5W6us&?Q zC!$3x&<&cL#(zrm=8zSO%>wL-kqfg%MVt+J78=X$yAo%0ind)R{zKBm0u1QLAq^Iw zp>D}e2A%M_Y%Sy}I@SqiP|GMMZ{R=L!AN%zCWz)`_9MWXSs}zih_?ee&nBce*P|pc zAvzV50$B;L97-cdrg)}?gygEf!~tk*BmPANAuRqzS^S48C}FD#UAgRJRC2`C3}<i* zkgOPIVA$dVb`yp5a?c|E!xj^rg)t+!9jrG=OmIH!FXMo3miq|4f!VOW1in*F;y=h1 ziE_kotSmr`NaO?WPMnj9BBKClxzhB#H2wo}OWY@#73hj-Yaja2Xxxv8uw;)*4IEkq zSYINb=M5+l%Pt(0DZfw1=%wU50BBTL(Jn-c52S<rFc1Rqph%(rDKo)fOj&GJ97-X5 zCy_BHhmT<<jg*pw=9C-+j+F)UY?Zn9(Ip>&z_A7d%?xbgB7iwH!FR-SX)FgZ6|xZR zka%=mpb-FvIM}&kJZnsG#*~DM@V~?lqJm7!62L09lqGg50K#G!uI7o>Bg7>dj$_Wm z+yIu<iR6j`G!C6xtfIlZmYJZEfEx=TxE80O;RT1Ig6zhKU25z{P?9DKLA97Dsem#t z0YZS^vW;9Y^(fge+a!iCtk|Jtnk3jzdXjDeAQIhMA^%G?5{=A6!!c)~xzGwaLG)j- zVuwSaY%Lt6e_f!aIN(N?00G$mSFt@MqO=n)uSVY@t5lFJ5?-LmheQMFZt%dY6Gg?B zWN9cD69q!EBN47;Gpj<U;Dy=3BWR@Z1)7HKjzGdm&I5o(bqcpJQTCu=k8NVX!{~!z zBnMd|iGsuuFKY-;&Lw;l%egGS;Tg(|Scy*YGE$mDEJDs4f(AT~oggZ$?7jdoB$5dC zL)1dRxo%<=(QZycGE_lH5{rPH1h6=<RW3>v!#Thi#PlIi5V=}jr+9jzQpCXMilNJd z{V=9v>tI?~3j__-5$$4~!ZBSYy1}f)O=ejQ0FAtmo&^@0V9WNn*iV5(a711}(TBB% zNcoAhipPH0J%;d?f>9+&EIMcjt5L!u!V0{r(0YmdFEwdmxsH`q5o=%tPFx6?3@{v) zTVkfh+FbPK>S{#c{=-nwI1;5f;>ytUNFps%;Rvgt?quI_Y@L`*jY^=N0)-cXtV8K^ zXAP!_hnWk#g81KM97Og^I0%7bg%#zjqHV(Z%N_=h!n!T7@<mvU%_FRattZc7C3GAL z{yIV}@*ka*s4nXeK?AdJHkHs2vlAK#_r?BXww3@I@Hh5ZnNncmJ`5y)BWT!V_F<qf zjBue1g4CcvBN~C8c0jR(?<-4UK_m?;purKcAI7#b8Ug!;uz?+?L~u!H%u!A7AE_Ve zBJ4nbE97CA3T8jWw2?I`XvQYcE@%WQ22G`AuiF3-*g88I1YVRzqRPU2m24B5s|Zc> zVnyF5O=5wIkuH7EI994b!;wvPg0QwkxFG#x(r|#~pB2D-@p>WVg+Tp?U?S>bEgYW3 z<qPbyf01<LU*&3tqK2V%MY@tfB*3)_(<8#A)fbO#1N0*KEocPw72Bj)!wDK`F$9eq z*u;e~e|Z+=G`0;K14~MSr8W(XL}=$^8H7G0R^Da!E^BUN7)EJ2VpkkIseoP+#gM^$ zv&w>YHa7YNOd?~AE@<SOA!sDLKm{D(A}eF?muzZ<{!Vf}4Kz|a13p7;_W+G@K`!n) z6FgxcA|Qs<IB-qaipme+0xCbOkHWbDf*gW|ri;>V6a`OcG$Z|vpuszq4lGPCK|>*% zrJ;I8#sTAH942rML`Cegf_U18CBmDLErER|9}(BWJ`3F=A5kG^V#lGRE`C>Zo+aKJ zI2t+G3L4~wJWSvUAY9~34QMFuvCpcJ0F=?h@1uT&)-^I~WI?ReMG=Yx+;D*k=^6r! z90dW5+{A!PQlM@D=7_itIZmswo*JnLn^XaHDeP+!7gfqtl%eqdM3OG8_!1hdUuPh? z@YsPeYT<AiicKAGLW*fE1y|8aNYof*sB&IG<Ua=TY=8`46JCm)3{DNQTY`Xtjn?sO zQF~Fj6(hLQ*>{l}NT1LFOjeA71YsADFG|zZ<0AD$&7TM>=0_K&LO@%%IGx}L(F$>J zh@Dtm2T@HKfLffhfQAb!SZ;~f452Zo8u*Vw7Xn6hAiO+b7y3<EbppD=rU~$gB*Oy@ z@GJWb2r%0Lf@_9Q<7Wn<Bt!NN4Jsst5i5<Xe29G}tnop0sYEc#f+tu}BGoA9uxJ@} z6AiKK1aXZ4%R!WvSbz$pAoh9!1W$<BN<z6(RYb!%VLy^Iw&_BJauC@%RBzZk7li_Z z;q0VgTREl!1OsurkR6C^CtCuApfq4L?6Ww*!R|XSxl%7%QUOrmoH*T2^sSJGX;lC& z2UtA&Vf1T|38E>Okq<#UyUk)wppkpXK%-s}nGsPj<P#*4DvZLJ35vlhiT@CJlJrmv z3Yl4>j|k1_><jTecI(6-g5?ahopb<W*GW$UFnn?W4QQw;updT!lr_~*cw#Z3I)n!P zqj80Op$HtYw7&!!Xul>>jRcRVF)&xQM1k^Gp<^rb|D|dN{Dnj>s9}-(1mB=E_%K%b z(JV&gqg-jKIQ~N!ibYmX5+TqJIvU7n9?;+r7;d5DMC3!%Vs@Kw#S7`$LctHmxY!qp zSCA1Jj+7IchS&<6q#|(z&Y~8ow#ffd_M<hL2p392Wbcr46VnPFkT?K(Qx2&SeLey` z-MFG~{~>{-QyVm#yku7g1IMZu%nXr!cw-V7qYgwTqY=oFA+eM|JeGJUk7YknRFX`K z#V~eD5CpT$+u&dE6(CrDDf`vvE@$^0j*>)3SQ}fCL~V^qKk#7U6;X~UM-%yvU<j?> z46DU*3~OjG6(U>+=ZP%9L9_6qn1Ya`My*l`Y`Xyll0qtIXj)_^2!Uhe1D7Td90aKa zu@x{M#m-45{sXE=SAqfy;S4}s*7l=YhG-6|LUhHbrIdRg_%GJpNv4D3hYAv!Gs-<I zK1+L}K_e|pz(mNcq@XEi{D<p*$cja+V?Cf42C#lZ%+6T##6dlhxQh1(6^|>6|HPAe z?CNkRkLa;@D344A*ctgS5<^yI5L7d$F5*8NjUxyhE-@iSMZ7VD-FMg?B5)`vkpu?) zH$*-VH1X2vj8tp&&xxQIj;|5n7Eh{?MWXSX^(i>$K+L@ujInkJt>Z+gP(*_FE;Pzz zb_wDMD+NQLW2?kYH`YABv665A#-42j5Syh+!v9j+hwD|!ymtvG27#bEgUS-Str{F% zVJCwFV<i4WwTWn?MoOxTD%`gSXThu(3Q1A|oFXGzf^IIdb$A<zYmmK?uo8?BwZ4%5 zrL4gzGGZhF7Lz@OB$lzTs9*=_KoON)2$CRnJ5j09@nyw95h6&oEd)(kRK;;;2MPIb zHw`flxc7lh5aAOmm>S4Gsf%b(5g>bv_=3{N#c5(w6&(kNg4HIJ(+kIm{4ZlaIK!$K z?tLbXP>dGI3sD6n!V0M-<8S~_XPXN5A2*Glg^=Al-1WfFL?Dl~&SIF#VvV4YEAqsv zVpwAe8j=EL)*uqF3#|gU4Yd3OK_lo5XvA=WMk0N*a}~pdSbquoK_rqc_I<I*FN&L3 zA3GT&JdAK*9O?N5trU+a{I1A<5YhX?z7Y8wc_BR<hOQd;Z}wT_1dM+}=0MK-irIv~ z3Jr+lOg+xVkUnhCaCH#-VKlf<8o7oSB@*PDh0m4+MPl8A&YDL}i~R_y_Bs+Q`U<QU zy~<=9iOew$qOLm*{1@*^V-Np;Mvg#%MuK7SLQGwZxo|SLErVzds$8sB7Lzo9lDe}I zCxa$O#?XL9TBJcERu9Kl$;~yO5lj*^gi1x<Ee(orj*(vSAs%C5*^lFwL?c9yjTK=0 z1r}_K3ow&y^boLOgrwvnXsRKcL1e)S7XmpV3xKDIP{RSTt{nYiI0V9gVz^j`J}jO( zVucGS5Syim?VBt@C!WYG2ZD>jii%Px(pv(G;T}G6M?YvJ2||G#2q_~oKz`T`B#hIr zIVkpn+|n(8NDhRH{p55dD9*5ZjL@JI-YdqZ3lRk}K_pA;7DFMhkV5}cW`a>fqpZf! zH&)-pt3#Op8Ewj>X96^WTY#q1C{`T*i8m<_Nyjz%Z1O9%*|L#2Xaqz7jcN&O9vd5Q z0t!GZgbPcJzg>jcW7JoO(?NE^HdR7k2yzb^&Qvk)!|hvQTv5pXQV$5!s8ljb_7ja~ z#5#(1X|e1VuVZAl30QQAp(*_aE*jNQ_n^XR3eX^O(;aB!?j>C4g^g!dg4~o9INb8X zR{1#X`y}K$xVVVaUy-)U*ccZy($oMN3AjNkIpR?!#t7rss1lGjz?sGfjqpz?GthBI zoG6-ki7(UYXG_fR7c}{1<I+O$ej!#o(6Gyf_^5BwC`>GqvbGEe5sSy8E0Of;f>wAL za(R(K!!EJF=y76EMeznNvP&oquy_eFB*bgX4x>Fy2PP{@888q<ZZZ(-BQ$dTCmO^F zUIH4*IP9|`hRD(cTnEI;8xA_KwK0H-C6|lq>^HDW@)2Ya<b6<fCUL^i+@cIn<bRm} z0mGsL$rVlTen?W;mB3&UZoyy@*+NRA^Nqs&#|uerf%9>sJpnY`2GSyJ2a-hDiq;^O z3qX=c%D_u;r7p`tG!wHB761=YgctAIBJKr967h8ikBCtQl2inVVg04-M<IX+9F8{= zV*=okMCs!7LS!MR{<B6Dv2r=@F7h9?7R5<sKamxZm;|U1F(%^8OY9zt?PP@gD7CRN z15i;Q@drAVN%#kuCN2W!7>SCZ8HohONCb%Vqaa<}qOFrM0DodYHgE=ABy8x2Sd9eL zh$e}XMGj3D2LQ1gXTX0X`8d<YvLC1}*%CF?ZT!VoEP{x@mYg{P4Q)K^HvlwZ{h|-i z5kf$CM3Css7<i$Ym}-D#EP{wDlt~{rXeI2ImZc1+u@Y|#5RUFK;25$cumNNtX!K<b z5*nG96IBjiKRVM`Rs)$M>=*mMHQEbxs<t1D2naDd8eTa!507?Ixf?I@RPvr`4|h)w pcSQKkjobd;Ap;saJ4?dH4+$F|5f(5)f<y=qyQFDTk8Yll{{eCSOtJs~ diff --git a/src/plugins/e-acsl/doc/userman/provides.tex b/src/plugins/e-acsl/doc/userman/provides.tex index 543dc69920f..422b7b4fb9f 100644 --- a/src/plugins/e-acsl/doc/userman/provides.tex +++ b/src/plugins/e-acsl/doc/userman/provides.tex @@ -202,7 +202,7 @@ this execution. \section{Execution Environment of the Generated Code} \label{sec:exec-env} -The environment in which the code is executed is not necesseraly the same than +The environment in which the code is executed is not necessarily the same than the one assumed by \framac. You must take care of that when running the \eacsl plug-in and when compiling the generated code with \gcc. Also, the plug-in offers you few possibilities of customization. @@ -220,7 +220,7 @@ expression $e$ is undefined if $e$ leads to a runtime error and, consequently, the semantics of any term $t$ (resp. predicate $p$) containing such an expression $e$ is undefined as soon as $e$ has to be evaluated in order to evaluate $t$ (resp. $p$). The \eacsl Reference Manual also states that -\emph{``it is the responsability of the tools which interprets \eacsl to ensure +\emph{``it is the responsibility of the tools which interprets \eacsl to ensure that an undefined term is never evaluated''}~\cite{eacsl}. Accordingly, the \eacsl plug-in prevents undefined term to be evaluated. If it @@ -427,7 +427,7 @@ mem_access: \valid_read(x). \end{shell} The option \optiondef{-}{e-acsl-full-mmodel} (unset by default) may be set to -always instrumente the code for handline potential memory-related annotations, +always instrument the code for handling potential memory-related annotations, even when it is not required. If it is set, the generated program must be always linked against the memory library. @@ -578,12 +578,12 @@ the beginning of this manual may overflow in case of big exponentiations. As the \eacsl plug-in generates a new \framac project, it is easy to run any plug-in on the generated program, either in the same \framac session (thanks to the option \optionuse{-}{then} or through the GUI), or in another one. The only -issue might be that, depending on the plug-in, the analysis may be unperfect if +issue might be that, depending on the plug-in, the analysis may be imperfect if the generated program uses \gmp or the dedicated memory library: both intensively use dynamic structures which are usually difficult to handle by analysis tools. -Another way to combine \eacsl with others plug-ins is to run \eacsl afterwards. +Another way to combine \eacsl with others plug-ins is to run \eacsl afterward. For instance, the \rte plug-in~\cite{rte} may be used to generate annotations corresponding to runtime errors. Then the \eacsl plug-in may generate an instrumented program to verify that there is no such runtime errors during the @@ -603,7 +603,7 @@ are potential overflows in this case), just do: \end{shell} Nevertheless if you run the \eacsl plug-in after another one, it first generates -a new temporary project in which it links the analysed program against its own +a new temporary project in which it links the analyzed program against its own library in order to generate the \framac internal representation of the \C program (\emph{aka} AST), as explained in Section~\ref{sec:run}. Consequently, even if the \eacsl plug-in keeps the maximum amount of information, results of @@ -612,10 +612,10 @@ known in this new project. If you want to keep them, you have to set the option \optiondef{-}{e-acsl-prepare} when the first analysis is asked for. In this context, the \eacsl plug-in does not generate code for annotations -proven valid by another plug-in, except if you explicitely set the option +proven valid by another plug-in, except if you explicitly set the option \optiondef{-}{e-acsl-valid}. For instance, \valueplugin~\cite{value} is able to prove that there is no potential overflow in the previous program, so the \eacsl -plugin does not generate additional code for checking them if you run the +plug-in does not generate additional code for checking them if you run the following command. \begin{shell} \$ frama-c -e-acsl-prepare -rte combine.i -then -val -then -e-acsl \ @@ -628,7 +628,7 @@ The additional code will be generated with one of the two following commands. \$ frama-c -rte combine.i -then -val -then -e-acsl \ -then-on e-acsl -print -ocode monitored_combine.i \end{shell} -In the first case, that is because it is explicitely required by the option +In the first case, that is because it is explicitly required by the option \texttt{-e-acsl-valid} while, in the second case, that is because the option \texttt{-e-acsl-prepare} is not provided on the command line which results in the fact that the result of the value analysis are unknown when the \eacsl -- GitLab