From 18b1275a488603d2b4fcf2a36dd4ac14e0518268 Mon Sep 17 00:00:00 2001 From: Coccinelle Date: Sun, 3 Oct 2010 14:04:16 +0200 Subject: [PATCH] Release coccinelle-0.2.3rc6 Release Candidate 6 for coccinelle-0.2.3 --- changes.txt | 2 ++ commitmsg | 4 ++-- docs/manual/main_grammar.pdf | Bin 326960 -> 326959 bytes docs/manual/manual.pdf | Bin 430224 -> 430366 bytes docs/manual/options.pdf | Bin 133908 -> 133686 bytes docs/manual/spatch_options.tex | 6 ++++-- engine/asttoctl2.ml | 12 ++++++++++-- globals/config.ml.in | 2 +- parsing_c/unparse_c.ml | 19 +++++++++++-------- test.ml | 24 ++++++++++++++++++++++++ tests/retval2.c | 25 +++++++++++++++++++++++++ tests/retval2.cocci | 19 +++++++++++++++++++ tests/retval2.res | 25 +++++++++++++++++++++++++ 13 files changed, 123 insertions(+), 15 deletions(-) create mode 100644 tests/retval2.c create mode 100644 tests/retval2.cocci create mode 100644 tests/retval2.res diff --git a/changes.txt b/changes.txt index de87876..b360c4d 100644 --- a/changes.txt +++ b/changes.txt @@ -77,6 +77,8 @@ - Fixed environment management when script rule uses cache. Thanks to Bissyande for finding the problem. - when false matches if with no else +- ensure { ... } with whencode checks to the end of the function. Thanks to + Rene Rydhof Hansen for finding the problem. * 0.2.2 ** Language: diff --git a/commitmsg b/commitmsg index 9ce0a37..06f3452 100644 --- a/commitmsg +++ b/commitmsg @@ -1,3 +1,3 @@ -Release coccinelle-0.2.3rc5 +Release coccinelle-0.2.3rc6 -Release Candidate 5 for coccinelle-0.2.3 +Release Candidate 6 for coccinelle-0.2.3 diff --git a/docs/manual/main_grammar.pdf b/docs/manual/main_grammar.pdf index d29669355490d503b92ae67e5d39709099c45ccf..c3194d8064c5268c73217ef09c4b11f0a5bb5835 100644 GIT binary patch delta 24268 zcmai62Xs}%){YPq0|-i2s-U0*JiUk@y@{aGebTESMVhGKp(Fx=50Qi`h7tt>qJl`1 z@<2d(2Sow#Ddo|mgVOoGxoP+AFKhj*<$CMwJ9B1c&o19ClW%VpUU;+cw}l?K&zZa@(6hsVpe%inFc4k-1t$o!l&6_Y}c(*G%U*F(%{Lit4x9{G%bmUIm>2K8AHK);(oyXp+5V!8A zccfdpb@d*sJ9g(Ydylp2`<8KH@1!GRFO0jnt!4W*C2w9&o_l+L>tN1gW7*ys1qMFZ zF2C93)_*tmZ#=P6_fMM?nbKrx@zXsj(A(&Oh|x;A!O>dI*o->K0ucd2K3B|Y)x)ek%NA2N5G z(eTiw)x3T^-FzJ z_uAoN&z){_x@MtG{r8Vrcf9WHTC;2XJbhQU9S@!R)_b*Ha)G1EKOfhu+WcB=-s+Xq zW_hWv4)p%KT+7@2P986MYt!!?S{}K*ZN-oCK5mzP^G{={uS|QZ+MuC5+I4H#^T{1! z>LeAskv4MpmdfYK7ibbRs?h9>lnqUG{Seov#M-0%5*u%e9eyj%((~n=jsqu;e&SN{ zgci*T*zZ)_I`>Mh8XrFU^wqqjuBX1fC9%LGtvee>lS((Q)O~EH=hBi6KivB7R&z%$ z*!Wt34o1n21$xAdN&2R8e8pqNjVh}qxa}WEo}bh?(cJOQgsUH}=~VKG{_D-DoyHFi zHqY4GI^HlE&z`Vs*})cnbl+QiRiDIl?eea9FZC0x$jOqM{N$a7$Lv13qTj-qukQHZ zx%WEXmv>OHkul%J+`lJR!;ii@Sm)r?#P6DQIWZ_#@88$}=fbzk>7`4=Q~JyGz9-+qpNG_J+Ztq1;*?~5;cANru>pb=?7-*=j~S(op`b484; zaeCtQw@XyJaN)w)FMBUuwxZi#z0TKO_MZ#$)9#%zQ)Y}^(Edu5C7)e>w0+IHkE|JW zsC1=iXOmY|e5&2dyr){}+vi-^+GSPY=~qsT`KrpJC;s?f@fvrZJfGOKZTWnsQa=8o ze(lxOUP}3M^|A$XKU+2am%ew$TpIq$wL7|83;U>t~hu@r~7+k{4TfX7sGmr)A;Z=e8!lG0Xm^;Ejnj{uuMztU>n< z$Mq>*e^{>SlfScqR+n~Pu6N_pO7rHfNh&ipre<2Jq1t|9QLQS4Vj8c>fA!usTVuN} zd}qYWJuleP%P#+7VsO=M{d}iVO%sm}DgE8#toy6ThC&slH$2#e*q}Ru&#PeQ)j}FCE=E;Lg3vU$v-v z?MtITYi-^eC0mXewQu?IhJBx%KfFrA)4O}wGe2mvd*6Yy75U4CUg>yq)$yhS^uw`1 zV%+Gsp$BgMG5O2*LEpFkvDOcLk6lZ29~zza_>HCAt9#XcXlvb=R`a)J4gEhVcl%+R zHsrv8&ab6zEwX;a#gfl{yy4KBSJ&Ox^Xuy~zr8at)T;E7uhY_=X;eP8O`|ePF899g z)rSVQy7SoN{qLQr(RWa<_j~^L{MKa~Cwq%tyFRnnhD)En9W)G*X6@YZe$j0u`o`~l z=;YBZu`!#D6zp_0_5N1XKS^lOyywXW%d|W?<)k;H@#Z3VZvVNme~tC6uRc^OdF{xV6GzfUh_BSn$kP&qs3(o=Wbka)~L957yi_%#-Gg!AG=j*N!<|- zUd}zBY0QS-Vn&tiIk!unE#nSX7+ik9V|LJRWtW`?t{s1Wh!+!6Z&UwiE6256`9JUN z8ow9XF{j0eqP4ZeweK#?TVj0f)Qw-BzLk3>hFiABr}aKkeqh%= zHD~?z^~Fn{Ts*Ht%riqrue>{OY~w2lb2hzOwaDXj5-+|`e9)XyX;sZepRW9(Plf#V zKXraX`yqPyT8C#XD_L>MM+J%oJ5SBeTcPNkQa{zd7IUJ{tW)0mmrj?O`FO>q{T4kF zH-6)sT204S==%1IE6u%Hok#Ra9&@De)hq2fx8C2h{_|}n)M&nY-{P8;kMF5|uJ-7^ zQ`$eW`!+>$d(x5Mz{uL`yFFX_>ovm?3a;L;&~3Bw zrGamcot-zh@Jsoj)1QoQy#0wErY{+nm};^9@-+)0@bl=$q>_?E|lr~1AzY~!W+Jr5mjTi~0sxkk*% z7k|6Y_6{#DtoFd#Wpg`zyQ=lni!l$*cq%GB?Pbc&i!HOi$zm=w;#Rv?l%vH zRt)~^#d$-A9r)MTyn3yDgV(2=DL6du(qERkr;~ zxb3QSC}GH_YyNrfA$ZnS^Ik{t)p(X zSzWsL*Wa({uybF{e;T(-_-k9o7jGSP&RzL(&cANvufAl^BbSG-Nmx;?$A_yr9&KK_ zSPi@H3tit`nDkGz9WPd`8aiLP@1JQWrrodU3HKVlv~k9QX9rgtIp|20Ylr$Yx}LbF zSp12+-yeH8p?m#eWm^3&WzF#6|5SSG%qK<1=!M4Wh3>sKyL{jcGAu4jfy%#N*I)TW;t-wX9pKRNu9u7|!? zKk)}`!wBV_6Z>p2$ERtQX@=U)!8DhCGA%1KFXx{O+YVhc5=4ghHVNLU~>!NW=$c1&y(B=1Z&2;2ubj{YyAZj<7rfZI)6V21aM@mGrD03 zNz-)Q^fEcvK11_Cv`u+Wy6$-VLC>Yl7#eX#b8N>CHT^2KQb0Edev3~Su49;)d&)9K zwwJZfESh8Kf{})6yG(O5C*#}^BIcN;xEV|~CDT9yC&eY;bG~3C#u>Kw9^}EYqYoUw ztU9(YP7H}KeIf5kN=&hcrke&Sm4#i)ai;6a!>PHhFGbAMJ)3S73Q4zbU}eDtNE6Gu z;Sd*e!!tA22(m=Xgl5POI+l?+Fl(G+yYh6p1ItNsp^=j2>Ym_g0RIQmN&_8U#PxI@ z2lF83db%za(R9zS#TA2QX?i(jVzONUbl;NKWZ;8XBh3FSH)Fug(CG}@lAJLNRwu*oec~3>NnVLzM%sWN46QW7v~!s3 zT67W^XX2KnN$aQ?79>e>)iPZ=NMONc(m)^^qWL@-{+H&$Q4kkwn;bC2GR#%Q|7`Yy z33N{m>8xfrmPH$c6(!C%&{=s97vLnDmacyWFfdJaO=&EYt!7yOC?RR}wqm;$eS;bBG zbjfjC0%Nq1Hu>ZC@x7bfDO@XPvTjy z+J*6nwpFm323?cuW^g9RwpFI9N4M?6+XoO=*ciBhPO_6Qee$_-}fUIJs*N z){1B*`6vtODLG?7J(=c^Y+1VN22v#~MC$UMEWj+Lu|cv7OOpq&kUf#?2L#U?mmMrw zI56$nWVTu+e6`?=1$Cl@;bv&lxZ`Mb2mdVuTJ%B4o4ij8+vaf=bIamz0`S;~x_4Z= z1*GZ9V9ByI5zb+tZIB1HkRc&%ZI$AK_#2F8WTV4rl zkEEFZ|3cmZfO{gz?eRsulsRl&nT-kc7+iayT&oDlM>FhJltxVIM@F z;#VLv-XL;TkziQeCQ?kma$?gi4vbBQ{ZAGuu@SIK;j#f#gwP^vw6S8@LxLz7e zq!Y-K+kkqsK_D)sMa1SAp*d2Yk>)6T3CM@~B&#-pKDrPDeN1ym_HD}}^k-W>>5Xj{ z(J3{8l)JtG@YuG=<-z{Q3>w4%SqXVt4sM!g2G2zRMuOuY!;87mH{$>{&<9cJkTe&f zC}_YSlvQ&K$T5w}0UiU=%SZ??-zP`m0M*MAJHQ8W(~fD;4Z_sZK^!x1`6MQ@+Od#_ zkteZ?NEu5v1W5K1XMlty`yF_hFjv9|0nfY}cS%AY42pw?HGd+O8!xgETJGN-S)Djl7*nLmg44!3&>qa zM_~gINtv1eFM>+em{`Mh-ZW{DCSZ z2-OY{c=^OG7g$2-tZT4*xCZQ*U^Q$RnRI|zx=t5aD1yf@dSnS*6F@{Rf_RK+oajV8 zloADygzV@w6CMNFQJ9OcA$wp3uyGNj(ZUFAhzoFlQV5X{r6g3KN^{b)p}IpZ)kQ|1 z?j5LvX#nezTT1UF4d4YE4Evuf4~VoRSu>o2h0Ea}LAeOx48kI5D^Q1yFv}UW1OOk( z{W}Osmog5Yd0^$tn(3B`}iaG|}3HlE@Zv!+$=~8aqL1j>0D`*T6V61qq zOLFX>3Mg;ialEj3P*;<6Ga$+wAEKU2FB&<{=Y!)GBqMQw3=Ls3BIGzM8VCVUi4w8{ z8sQKGZxjiEMqvt!0~u3Pzeop=xv--%Szw2%nMxT0Ez_B0a|=QyPK+J9us6!9Wpm3n zOj#F)HUf^RaX5e02LUwjR1HB4sPge_$B0EuLXT zgBWZUu#yxA89uVaFo(odRmqT7?3q^R@m;Zx1UaB~lyOOCkUu5oj06G6B8m}Yo;=uc zd8+_CVP%a{0?+cPdgR%hzxEK$MsiZ!If~Q~QF(d=(?g^u#02A_dN0zIzyo}X&EvWTSnh>5Z!ro;ptU?VTi?E(jX0b*N@exYvEQ?TQVxenLM-2pmHv_=WbCEt# z8w~xrGd6#KI7X_DmqW{d2Xrlw9H1);CU`=}2kw!W-n`HA$P zyj<1dCM6ve2X-IGz(*W7T?i2G&_Hl0hs2X(%agdss!3Y`nhcDT@sZ;YafjCJQiVLW za~`@KB*T56Rk;-EIdsK7hVeLR>j5lHFGxpSf{z|EDKoeiG9x|;z7dQJD-J*q8F60+ zpcWU1%xh#Mlzs_l5~B#yhfkIgf!qbmcX+)lBMzKPuE$4A&2u5ha;^iUOdo{e(5?}s zNU=i#lyE$5lb{x`4M`JvT+)LDoIm>{z{#{QybQ?#YX8K3D1p=gBr2E-$hk)zILv<^ zeufr-ou@@$T4@nwd?Z^vR!F2ac{9EdPzlTTQ5%#Wgn-a}LRN`e$l=pL&_a~K8d2S-oaJ~&R`tJ%AiGwfBFW49F!KhQz13@Ajd*bZDuv_r`QZwO`$E^ z0#bVFa8X78VJEQ=y#<1X4?1##piuw^8g+_*7VY^J|FN5#+5-rNVH~BN&?H9?4uOa! zEfVI!B}88*#u;dRBqFtUW1uAkNzo+a0?n4l95giA(i(`OLq+5Nt|&)lMkpcHY?ee=|AuZ^kKE+CLWI*mT8M3N|O$mlUL$@e> zFgj-+)&VqAMl7PN1LmUsOmhQ@cQFvPL>h>y6VV)*y~12-kpT_aA)1@flNDhyFc2tP z41`CKsWg>#WCcQrNX`Wcl&)H}>_-J@=_Uj2mITD7pbC=_l8X(3Mt)1VTX|wQLb7w9 z1u_o@07+8BG&I1`JwfZFnqUnHB`}$_ z1T+cxFpfHp6fM(MWK}poM6#8*fYc7tBBQ@__9J1#2l2^bVlUCK4K5pplSI$}Y>3rp zJ(6|-jFGP(6tf7Z>K0W!Fb=(^qQaqwvd9b?wKjl8HDN_#ZL-pXbg(JQzaS9I@`ITb z4t1T(euQ%*{pffg`B0q<@|qBOlK`V0B(6BX!VCvMVx# zk{N*!m!CyThYX<6_?v@>dFTVe8j3~PvV*9f4v9oi)`8N`gAXG4AvcJm1|0-Yiw=Um z_K1UouSiEK`hlf}OlMU%BB(9lK{@jbR ztYyXq;}9-HOirK6;0b{;fhW*pMp`{5L{u$5sGjLa8gj#uh3Ko5>2w_ra>z&`#V8YS z7-wZbjtGcg;N=c2j5VZf!MX$&)e9fqpt3=VnGsiP2on?f*Qob*QjI}NxAsv&h^(R1W0apMrJ>#>5x1b7#4QtzB$5lFeK%bQ(OFKi zfTkNh9f~mYL5~a)-e!?OLJu<;B+!CLi=^%glBttH0*&tzEzr^+8OXa67huwfTc~HJ zA1<`wRBXNgWlLfdXD%YP zqD82_hYd#IRJA??37u8M1tjH&3#jQ37f`+=p+QxWxPZzcalu3RkR=m+d-5bG64B{U zu_F~j(Txw{@O7fIDtwUkk?cq8D^G%U6AImslH+Uge6sVV7Sb<5#ALt)hQl6a1F#Id zg4Riyv&XAB`db2^MVEoq1*&&bl4qz3haGT~h~Y66#lWDEKSFOI`6JLM1cnhOcLbhA zx}!E>5i?Qhmp5&i4CFx~JBL?Eys#OXd?vO?fM*CoR?vk+P6RXx8Q?+4hk!;t#6)hD z!~zxWuz-WPS?Y^2E;$kSBnpo4!jWc9m~^nw-{ zqNW=$6Mgz5Vca~WiXqGe{LL0RF*jLZE<=0M4ye9`f#^?=f{7;sya>IK##|~#frhRq z`d&s)RFn`Ro6L)#97~fCEJ#`o;iG!OM+ZUp7`cYxKWqpR7W6@SM2~Uw!dJb=WsN|G zCrLlLtB4DZ9T2QS(27Ft@`Bh!XP0P-yA>13pCDb>P@Ub-J(q_EU0-OD;Y`cY+79b!g*&;T_0 z;{~A6I})T38SO&@BR8YgMRdb&_v5E?$USb#lQoK)KXaJx| zVJ=jffFY!rDt<7OQJDuE4#^E_tN|_KaUss1$$nH;(J2=#y7-G6bQK<`s^?=?PgNP!$U^No4GM2!a z1I?M9tO9~a85hv#u?%SVD+hAZ7B#dR_-jdIkN_bvWg)8yh=GKpK%-ZFc>QR|WQckZ zDRUB_(I0OD4VN6X>3G#iL+L!#T@z*Qm6rHU=+bpqY`_(19@I;z=eV zt&hnlu8WhXzg{Ct3ZQ}M*^@Ko!om`b8WS;>ssf+|l;H(2GbG633|gV68wWJh0OZ2> zV=lBo{=+S*wJP1T;QX2F2a#L=XlSmLi@*WXiIKw*_l{8@(%k3`J{V>{LUt!K@pf#z zPDpb#aE*HP>*5KY-N1M1m|h*bzU4HiXZW@2>w3*{&;7qc+LxrtnvQCNb9>~aujLfoEM)ohHll8TtB4oWNlq69oqez61m6esu z3YjTV3jfb@&UxSSzW3)`*Z+6@y1KgG=lgx0=ic|{zQ1SX-GZy||9sg(pY6z)7<|~a z{lK4{!lM>;KKFF7hs=a>%@0*7eEiga!#Ue^Igs^Qov(_1XY}v;_#2fIo6HN&3{Gm$ zcF@crqes3mHOY5JU3_Z7z@`sv`sZ?q;MY56rrx+-a{7>h7aM=ucEhXH2b?d{v*Gmq ziz~J1u=POKKO5ajdhX=>?~-o4aOYgLMVpM)$68OQG3wW#*n>51t!_~4UAJ)ZBUS2VoznTzh5^Hl ztc!0upv9I$i!wZtqhRlb)i;$m*{j{VKOJ0oR$pjUY@7I6-7G_2YHlPR-dFkUPo|YA z`s49ymEU-E$bs9(KOXho%1Ied-Q5!G&wVLR*``}^H}F+WDEY66Z9S zQla3=s(ZXaN4MUX(R)Je+qd)|m(TX1V{j>Aklb&$#r^=F^v( z=I^oNxwfqqRs105>eFK%dp7>Tuzvko&e)Xw@gU=dFLPxm(0WI~j;$YhYuNdnhu6O} zE%TtIqfU;kaPP5G*|z@Ozp6H8#OozrT=UVq!*eH}c)vv9rzb7_y!L-iw%-`qw9{t;uU@NnWZ%knbJm?TEyu$x^IpF+@AUe;ClY&ff4W!s zz2lxr$otQd(Mi)1?&Ql_u5OUO!n%E3%k}J1ukyAxzbaI|*ranOt1Nvv@9`14>U~?O z$%+o|4(hY?;G?~3%rA1O_YckAfBNh<*_zbJ<1}dV+LqT_4y`_aW{I&ki?$f>bej{; z&yU|wc(9$ctL`9sPGVeQ`{rKZ$&+rayjuD6kdC`PZ!x~m_u7>w4!L*7_DI;67@Bs* z2!5I#tm`&CfA7K_*R0*QV048Ksti4rYuxG#n?{vtTy*RDy6?6;z46JUxqDw8e*1?4 z&;7D1XU~|&b=jDe7UEsm9S*lr)R$@(xT;&HHALD5Z~nFtpzKBu|;bXL9?%cUOb8Xv`9m-alH+)+E8(%H^t>)eDdR~0L@3H^d)oRu8;IB7Bf8_q< zdf8bk+FU=hru(bK>wNmmoPpJ}r_DEIKLg!qxCrewQ)(0{$~&Nmu8 zx+>ex<;QiZ)9;(5#}_`*#cBKV?zXeXe7|~@y)4K2zkX@4ZtA>$Cyv-rBjd_n2VW1` zcfHnZe1%n$%-O%LeC&SP1rKY6RQ({ z>k?XDrb^d_9X8II|MlS-Uwz(j_|YtFn&)}H;ifl^bjLYs3Odr)OlRlC)~ z#}0SNI&N?I(hucI*!1<2eGWIj(B6M0sJ}evu})7mYX8m!V?>8%M*enV`sz75S2vlq zG()RZ!Rn*g&dhz&n0TdLrnnAnr_M<~m#S52|H^VF*Z!;*om9T&;fW`It9Z=YQRdce z?d79KZ+}^9M&b__xAt1vV8yYfi}HRyaYxfXe>k~6sqK;4yZZFGJ2v0e3-PK_aXL|qI?(MeSbG=PUA51Lr}&+&_Q41c0*nalC#LX|HxSifN1%zW0%jgHkX znybZ66TiCLt=8yuHT#!~n=v(apF0dgAHc zc?+yLb9HReraT8~6wQ6@=9o>VO6*&{W_ryQ-+#My)Ybc|j}~3rxclKPmnYr$eatI= z-@Xu^tz3~;yf=eu_l8ZH-#xL>>Om*Ea0-JKq-ZLWinfv>;*PPt!dfjC=HzzpG#`AwKHm~*nWWu4B z$5cI(rSSc=JytGxJ~XcL$-`BScYM6jy$m_#C!Q}kJ$v`-^%CnAc>UhUPyTDYG0*9G zpK6P?Eic+|bmgB`Jo)?hKPuL(9UtFp)xe(n`y8!Tv2nGcTLWv>m>qfkj&HWM@;3z^ z938)>!0Ktnq_cQ@7{IdB0VQWzCY_b;q86KW_cD zL92@1yI!^5@qdeC$eX#t;?VxA&8iiz8PuD)utCSCwq2?*dBX9_|Go3ekJYYT=^A{! zyvxRJ-B%=4OKkJf$gk(UHuCzo&$Az#wYm6T+xs8C*z%b#ZWSB);>EJR{4*lQ;M#kO zzq0w;g;gsJ>+|F69e;I7ywP#aJI}PM{8P0bw>H^h=HB;hzWb$X7kg#H_$L$o z$^1o~d~w^~&aRo7rumv3%C{))p|t-p7sc%_TUl&_xnyooZGxXHc24S7TLemwu1I;#QW83j) zV;c%7FXCv1P)_JKP93u@fI9n*5ld7wS1eRCpVsM`=E#k8&Cuohbj@_+VRX&btsv$! znx<=xV-U^LgmAIWw`m=SbQs;Rgr;e_Zu(&kc1$&C5N%V+N!J~ZU+B4X7(*k@XpZe_ zp+?K&Dg-1!$1ubz4A(KN@R=fB#`YrTjL;lQ7mPGq+hv-gIjQ%KQZdIgg=FxsDVYYE zu8YG!&ZaLIiFJl8-iLLT9ed#b{?f61abswN=?i^VT4IV#G~G1Fs4SdXt}~&r@-TST z)1-=-x@VJA4V|o1H%x<6%&=JB4Trd(8=e{7BZ#P&sqqUP%Lp%wtb^*v+rhE3T_DoX zja}UnTn#iGf}%}ahc|IOo!9x~53z+VHqms?u!V?0voxcWaxrPK6GYphO+1Hh;(2V4 zzQz~v4Vw(tx6<|qQi8Uo`>r0VnQ%A0=SWRAlphx^2nJ40*U&7|8AEeTVV+uGXr3qK zY3Q0Ol?!f@Zfxk5C)o;Jb>$|o5liZVffr(rP`Oocc>~j@J0Uzue!wx25g95mlKg-X zNg*1@Qs{lAlkzN-AQI^e)3xaQrYGHt29GFxB51lt&swHS8(T1}s6!_!p*e$`ZfB6mc#38_Nu1sNo&weC*V}TbTz>Rq%XcESct%++a!GtuM`J_+oy!h z@T^o*57KU8cn-N*!-Gudg}yGifb)^ZGkk0#pM^_^;Z`#LeTTxS;d{gx6B$v=!;k~w z7e!7JIw%ilYK|ejjj4HhAeF|{HIlojvxS>b5XpX1M;0J%tn`fz4L28lHcc~a$Ck1~ zRu~$y23G1xm4NhpBm9nVlm?A2j+h{&fb>O^TY*Mt1d@%EJ4Rb6h(2-GFm2w1(n8Ht z?k<)=&|^!c%_R1qP#kd535DG>1t&MEmiDjcOfY`LVSNLh$xd!a3BadubZy^y!l{w`nN^<;Jg zN9eIqxg3p5PcxGZCq^+mlw)#ZPiO7-pjNcb@JK$MNpZ+R`VhT`av!i)W*T%aMuSq; zxs;?>Fe51$3n>%R*w0vo6=?D%mSK}ASO#=L+!#4FrF52=%GM~2uuSCg@>!Tn%KM_+ zH$Vc)5RiqC$ylaO$bn^Pl!aJ0HEj%H3}=cf_FG&VAcF`UT(2A#ITgzWgdi_uBbz0f z$qY&-yRmF8#VtFv42jlH#Az}@%Yg~YjUDVFX`bdq>s_)s0lJVh)3g0(&zhp2C~HXk zjvKQu`GpQwfyn16Hi9M#DnLIPOW)N4nKodd&idq1^^bK1tBz|@%3-+{1!d4up_*v@ zbYoeQd}CDM#D3Q$A7r^G1EolScaqMyB2QBMhjXCp&hn^ggY%>E6Nwie5DtTKT*pBs zA`a-{!ht-s4J1k`myMbtT4@w#l#xg;Zfh>x*w%c49RQVttuzg2v2{2haYBGyl=0a* zLM5&9;E~j^(jt|u`w}bBY(rWY_zy^#a65oBlvdgX$0!?Vo74{*=`7QtitE&}1K6dZ zOP~c66KSgrCXh(rIhp2=_5(MFWOCscZd-oDaw0&BZR><>*tSW*(T3P*V;cr9*>C$Y z@zHDtFk*B@$1yPKI_Xq2V$4O2`D46+Oc4Z;Z0H%4&m33 z<{mf*%k)AE#z+qXVI!JHal?sHuCSOK8+C$s7T~5bcQ?jnfh$PNQ!(5w^Rok`G*&S-4_J#695@XwS*hpOz?sPx^flOl$2d zyM7FNvMJ^vy9nvqkjdyITpQ4&l%wq#k{Ngf;3|104=@zbtaSEBtz~1F0lZSGy$#e* zY9wf+d}zy%Hmg>RR6clvm?)QQ$qM}^j{A&5z&VkIgGMG}`zGNPps~a9t$^8ub_=oJ z2i7Io>N|w(!8|nS6&);-&w`ekm_}tXz}5+CLe9uu40*AXv4f2z2jSi6#xUF%_A6t6 zHS3f#qOzdM2>=rH?ckzGxo{LZjEjzybjL1w2Z3a@tD`g#tVV80*(yq30xy6F61Q+X z0?1q=q919QjEnS3YCm+E{5BF;k|!FZx|FdCh=wi#{2|sNz<(EIS1eJ{7_$VnNeF;z z!uLvUS$a${tK1DTymZ!qC^H#kt1{T*VV5#pxJcQFL$C(OB@bgqh0WB6<^lx?b0(6> zz_k-zf_5LD8tJ|aA857nVGx^1oG`KQ#;H**&;a^UVSuPWrij2tc^Ya8a?1{i3aROi z0TUCPK`n_;n(Y75;t}w0LRC=&5N81XQ67(WGI0SkiHxD`Y^M2-NG9XhQu7Tfu|w%!+}U$fYg=P8!PLGqyr#w zK8HRL-2`?g(*aa@q5QiM(NT9vW*{Bm3qhiXGI*TaBGG%Z=9A!t%3q%h=K&`PBo2ALxnkcW6&2CZA0sz{771A{AUkRf zcs9e*9*Ws$Rx8~_&K8@lDE@oM8c23LJArkWdXhH*a4d5ev~Z~Lk0;6ZAu@V21cGc) zYOn_P%JOtDo+A$fYnHABnWjYc0W(I5g|vu{CKFX+7-?Y^0?Co)DwSN(L?WP??n{GhA}@@MSjln+5>FeeNF+Cb^Ou$by^N|NgXFjQwthw;%^l$*e0iCZ|cbm=}6gq{WeSx!E#N1NdBSQ=&=br~r^qkcPRmUQW$ zrQ{ka{-h-!&?9kbEc7H~tYgYi-UJjh%;W)eQ~G|a19+9TE;;{Duagx!XmH?Z3zgVG zqc)_P>SPY0`!5cod6)o{is^d5MkNs~bv7qtNTf)pRY{(}x%qtrh` zW}Nve&8ykgqRHzI)go8Yo%oV`)KA9tI_q3l2Z!%4XS++Bakl3+o3Ea z^Tf!2psB_R_#gYQ3NW(51C0hjK%+bWhe>Y|fKoH83qwpxH(8MD5EoU0N7QzQ`nYB>z)HndN|H%G6BJWWWNA0t{%7iM$+YH)r!WfcD&HRW2(iS&c%J1g+s+OiKZ)>tYSeUFdsC)67oKPyppXx%8g(l z&3Y-C^i`lyzYH`KGPDU=J48d*C5oop2p*>47|;L}MJ-HOhsu;`5 zoqF(~iLnUfM%2ujloMz&mSG*?YKkTYok7C@l(;eENeZlF9PmxNl;NN#*P^2|lF9|X zO56fjv__T-nv8i^r-vhYnj2ACBLX4TVVqUo1Vcn5CY`MWd&pD*?~_)7S#}U*$_E+^ zASoL83SCXY(*ZHZ$u#njIuIRO0K?eCCnt$CiLy2@kZH(kq?IU`pG0R_k(ump8L7BM zd8&^2Ytj!jh$C-@Zx~2{F-Ah1!Qh4vXMl}?T+j=tV#hk4B09v$>_;^xHi3k72}git z;EM|7|DrV=g*e>==>XkCrUS~1kqyvAcpyNjTbiqGmr^V#A}b*>eLjrKN{DoT4~Plz z({Tk834wqb!wE@-J6hsrYoj#y2pnYOF5^V~R_%?%_KCDQh&KSl`$J{)8!KC(x z4u?q6WyOq#)6psq^NiwvsPfry00tt*0ml|Cv*d871I3WxOZVZ&X&+3GZ$fw? zJUM;8rf4KiBu23roC=2+CX`-6(PTRcGz?dYn}8fsRItu=DXTV+waOcV zCV^=bnS{Dyj0--C4(Lf(59?4XrmRZ~hkz!?En;+yvJ5rOCglkvk~hX4Qk>XVB!~!y z>Wdw^G1{6;W3PkZa)}|~eL$8Z7XY-TLxcX)LTbRNujnY10gW6yy3dr!fJT{&`phUS zrbsx%NIa!7piz8>8aX7yAL)=Vr((i&5f|VDBn=%Ck~=05!#4@TzWBb0 z91>_OPQcRg(>e?epg$rvhEL~BM0Kpp7{gAaGmKecU6hkbMO8s$F9jNJ4ETu;$WF@O zriYrSl<=P(fJlHAK7pdbKw%vuCN;+(xfT9SAS%g#fytf%4ui>RfvSRtT!vm~OP~tt zP;S#YuIbQqrNRJRfv9vT1y#ihsSgMmb&C~^f{wzjhzn@*kg}qdBs~f|`f6Ey`AR_t zG|I^UHIY0)V{xLFC!;68wPbOs_#cM#urb=}lC5Zq@lDVW66-LPLiHPlQdmrA!9&*f^+V`r z`#}*Itu!e&!NeWCkY=Z_aqPrs%Co3?Ql3pqOif_Qv`IQ8B_?DkHeh02HcIfxEB!eJ zMH6B|Vyga>11U&k!ZXcnBO_yr0H#b_0H#c=2Bb`!hF;2cKMsR|A<0(MtGo#uJgq}B zSkjP;kVPOD3GWd}Oz}5e*k;p7M$pb8&>Np}P%encMmA56N&pn5K$vBc0msFM!LR^D z3Li}Zd1JII$Sc0MgW(Ip`rvi~Vj-qG>Bg8PrpgG` z8Zo7CWrSsvsH(qfA}@mUGqoU&3PK(%Nh%wZoZ5jHYLOrXfDoFx0gXOK#NZ@$iPjnL zUttQ;L{!Bt@gUF~Su;Xz^p{OQiz>fTz(~V^!U--Y^gx$?+Y0;QGvw$K;(+RJbqTu$ z4M4eEhuTtbP@xPG`T;F6{1OR5s_u~5iim;X0kH{Y2c(n1Iq{NK^xG4BI$yNXe;S;9XHr9F4jxpK_ zSV2CEK`nX~PEUklJgYwDQvNS3-Gb!O;&WtU2#>g+=0xSjc%!ruOf9jp0<(@Nbt*c7 z(1&lq5z-Vw&r!epug@iFKeIdy~v zKuB&3oSxQU!Xw7(sXbD_&}9CH%X1Lnr{oKjUP~HEXIckyl6nMqLlz(g)H0j_W8V~X z#DGKMo8T`3NE!PuCn+X{<`WnAt3Z4$iDsU>NPw_SH^J;PZH(wiEW`&VQmfHvmk|)N zIfO5P2Cczi6#vuMkMRfE1hs}VC*+sp9q|P`%NXWFoWUOri4teB{0;Q;C6o#pKGBuz zLW~eMMsv@Qn}9~&2*^?IPe;^hmGHVF+@ ziInUcs!o9HWGfmU(6lmnZfMefado@Yt?PPq%zF4dq_%0-)9cjL>pWFk*X!58N$R@w o>((e${r_Fku~dy3@q>qS9W*3qP>-JR>a@BQU#?ueXY0rRA9B6ZR(vS%j2? z%psXd(YKD?inIIwp67eMT4zsd*lXVRJ&`1LE?Mq+nglm3CZu13y)){W#eF4-1H-|B z{&DwJIE&qLy?`m=Cu?R|v{Mt0iEGzgD( ztZG$B?kbm)ERjF3=;9tBs&#c4t))&~k+gqjWHUFcUV*C zlAF_{-pg^5Ffzu7ljh4O&g{BZm$L4Z0?Rb;{f_rLin*(A^Iq+ry|Fqc#-22ntrJio z@bH0X-MQuwuKdCS`x{Mj#uS5VFFQNti7Ictuu)HFzVu?9fzjLgNl|SB+3C5Wc6O%0 z>Mk+F+0(?w7Rd;Fthq#_q?w9KKa+oG@}*fncFxIQ9jyqDdzFj)7SnFrL zTPN9ZZs(HDw#qc(LoIWyR|N+&Vi(z;ns#o7hS~Ol)d#HCMXb1$OG;C^V}4?;S@oVZ zHtbxcOQvDS`p0g1M^DT*du5XGcwflt0jrDK*Za?lP%Ks_Ee;iNDtzuyckdXrr@iFX zoTKJXe;y0edyutxp>#{~)hlPr=dXEK9B`vAszh9P%yDkIe&Jh^)Z#~~#S0(Z9S+dj zYc7Ab!{k{}?&%$NhU;^c3TAv*R4-{+zf-?8kw1ssaZOL7=uBl}BlCs$%~Y+SlqY+) zCwk{(Tr!$fT0T5$4nel{yYct2W!5crGrHR9VmsCe2fEmItAD?{cvTA7aH`%%el^`k zb>($+FPN6>`{kCEj%Q~24w4zRz9xmEX0iM)cB(s8*H2e4uwX2%Fl|3*MOd)!rIO*z z_GWgY_;vP&+Q+y2{E&i04ah=`@-u5Bfkn-U8$-bN_Z zueZD{aehw!?k(qB)#KlvkDOypyiBRsxn-o&@S9)Bwk(aftF;PNk61?=r+(X@!oT3w ziZgp&^grI-=ePH>0+lq=-zL5EtbVV*&9$$M+D8$PZ^i@m<*MEa@O!RyQOi$y-pQ#0YaJ-z?iy3yl?D~@el zer?|Ri*GV?hu4%Ub|^f{7BLh%cur)ondguU{jpb(vHr2hy*#V;H{KR>^>W$a=j-a^ ziT%xc(^f$;i=h-2ObrjFa_0n736~ELsPve9RvPRFb`Hm{-VxhtP_*fysiwVd_df2h zSvQxSaZ{NScU(# zym|Wa8ex5pgpm@n+cS5)df09CS&B3A$^H1AG-K@@)oG;Tda_GvQjLOhgXT<)D67to zcS>~~$a`Y`Y#?vv$X?Phme*R-&AFzpHeO(VidN-5;K3fuX5TTt=@dC?ctB~S+~4wT zneSXh|3F30^ls_74B#cjOfYkA-i=m3Z0UU*vLG~?VRhd zx|!EDHTkA|(0R+03rQOvr+cQojvSb&lad_}no`nV<>#H~d?))LEiY1hs!v{{P4CcQ zn`HCixMeDS&$InrRn9-&S$O7Pp^4kYQH$0J%I(r2i`kM7)8yuEVW(1`Bsaf2pH`4; zS;IKE{N|#p)<}hE$EUmQJD@#~G;HYPB-E+o|9xFsMQQn$dt-X>*}JzZ3eYUAWzV`@ z;bXsHbl+h57M$L9NSs^N%2@OMwn0nlnp=JYa-J_gG;u|>XO8;ty$xzed$%k?a@uyD z4VIfPjxrcdu&&9-b|vdEu5V~yXFQYC?F@_T1j zU&VUa<$mE+my*>ZZs&GBzR6X4`#Ae;<+@wVx*nM?KW!dt){k%wV(wC>Y~DcO5-F+? zQ(hk)TC|4tEvP6qQp4o<_W_AA6Ty*z+pzTe6#8m^%)WKr*0p(rA(1@730g-P>Z_mdx+|zR<~kJ<38SI(z$-&)rvPC z^X_SPv1r$JEFYWswz2gngQ9(X=|xqa7xJNQr;bpURa-pkYPwTq&zW;s?%o`utl<+v z?E^eKtVLt|_O>-~?p>RdS1ryDKQm`>!#(zjzPTRLjZb?_iwu0n{C-2!-6m*%(hqiI z(kyqgfQ2JGPsB~BNdjGF67I)U^iRv0)Ll4ar+mTGd$ZJsU|Cb8xR8%ze*QVhdSs~^ zcecAfr3e=N92nFpPLUi*G+`auXeoL<^wBY6I%`Gyvf|k_-K&=#7O_dVYk#;~uXInM zVYbFxeH1W4D&P_Kf*X7FoTw z?W4D;g_)^AgsaPv!+wUO&&^}HRaXVKFV0Ea5YNZXNLJ0JIP$1!-Z{RTC-YHrPCF~x zK=^fw@dMU2w~-UijxGr1Y%U(jRKKv*v-ttzjBL(R^2+C8J*6?$tgk7eg>rf}#|H$s zwh@ExUoBfB+Q5*W&+V{%tUTuVE%lq!gr#f4mkECkh$1|-k#ca(ND?i5X?$V|rl~%~D{p8t}OA2~M{C%U6 zMi-_HPtD`!+P|^qyj%O!#NHg!TL-V`8f8#8N0StXa3$m-h%JfyfWXP99z-7;IX}+bz!Og$w!ZU zoQJsXgfO^}Ore^&<-#;$rS>A&!;s_tFnMzBw4CemmCGoESoS zR!#2DVzzQN7P`YpPeT^kXo7WL}e6b9>9C#~ll%e5+XH zFg0gOI+2sO(O|9g(Y__pW5?JZ7A$wzWLo=SQ`VG|l11FEX{MXk+&D%)V462oj$L}< zv&Yi@mAcuvBu9a?n=hJ_C6{yhQ`V{U@t^M=oXsij%^x{a>g_$)>S#L_T*`mqREBrI zQ0$`J$)Z~Oo(|8F9SC)M=k4Na7$!K_v6MHcqJB9)?Zl;~{tl&wYi@r~usX+nUG_XQ zImNzy=T&>f=Zm=bbq%hz-^dkB|E%l3U&r7Hf2qp)g>x_8>rF{?-YyoF?ngZ0tr?U# zutln8=Qodaw}s5LBx=0|pAz3tv+(x;`pO(G5Phi2*EjKokat~cv=b-Pn zR^NKzwz5_A=Vxj0F8A2wUB1?yfBvu+`}yG;T`AvtKdlrVbpPfzotMteqq5Vb7FHZ? zFApf*_}QkOxTq<{ZHGnN#m8-?`!XoH?YWNkq@=?uE7X@B-Xi;kATm$n=LN&>a{K4a z7G3;(aQp2Uo760MqA5+qfy;+wv@Rj0<9Lz6^}KO014I+W83Wcr=e zi3_@Q>g&#Qctsr!^1ptEaD!JydaSFU;8ft;8$$VM7D_KRj&agopFFQv_=8_K>Zb!| zC5Ir+q2DJsa}#q;-zSuD^HNz1ZDveJx;Q7GjG)R(WoT1aoTM@WjfcXbbG)kw(wxs_ z1QlKyU7Jech`lCAa5NvnzeyBrGL4fJ$}P@ueMp!+@!yHqzbSNWCY_U14d36wcs>$~ zrA=mXLb73j`;Q20Zc5Ddwc-RaC1z2g2FEIoz{{r3D14Fm**%G`Od%>+eO^xeo3mUc zilHmoPEHZ7OL@E4U#-hX#_leb+uMskzS-qj1zG+3Q!K*C|3ZF{7j~kp&O^6NbnX`=HpnU4l6Fbqe zF!l3R65B-dZvH%bCw}b69=$53DI3nI>4@mB@K|xN^rcPDx2@sdR_6tlo88v1OWVJ= zBuC$Qv6-lWYeLL`Wz4~T-E%kBolH#KkkxG=eB|rMtt;$z+!wp<#cj&EWHsOH=JqF+ z*LgmD7HldGzbG*;t7lP4x!G%akB4JJ#lW`L=iRF6dNvI&&>G4KtxVlIt2HAjO3qW@ z);ym+`VIcm^q%Xwx|VY*4iA?%2+m|xIR$x~p`>TOkviS7Dy-ngr5KAwALQcAk? z{jFUkCvCiC@;9=RpBB--maM<3w>Br!<7xY)O)9T9$UCOUx@)hF@+;^Fk33YA61aOw zo1syoOXaKk9|*EGJ}ODa8>5TW`{}*+=u0p9Fql+o|GFe0o%WjQXW!kTt2)-+C!C5l zPcIM2_7jU&vGt zpO5wkCh53IuNKL^%iS1Dzkfk^we6iZD$CP1RId4SVZEAhnV@oy&)oz`ll$ExL(}+@ z4y9jT^uVfc&HYn19lMxDZLjDrGFbe+o-5Dp6jf|2tfPlNO?Oawp_n|f?fDn;hD(Lo zPvS?)cE;)@`>vQ@?LL?7qL>vrW2(otx_+5-$q$=qgcdyG4c^yoxmHWU**w%PbGDUs z_5<4G7J7`ymv$|oX$o`a7Tp(aJL`G3nC2r|vSZ`Rx(lAOjCBdiQ-$W=h}`DYTe|sF zxMzzD-AwYUctu02{;54AU3=TyE4jhVBiU&=A1=LdnUz@Dy}@E%)O;;=%9XN~xy0H7 zVS3wmT-()^wR0KL-Z`c+8kD$L%H9GQk#%Y-Mvap{2ruoS>X2q1^pu&~H~+|@+>L>| zV}<6~4#t)wIL2MLCZeCaDo1svd+nW(X(qNSx6TTPl3VjC$GXY>x{COQyB%*wF3#7i zy1m$Jd#1~4GrL_<3OWKyawQJ2TWe!9+bd#1WKJCJQkUjiDsETy_4aEkBWlUp+*OPE z`qVtblZn+#p4*0o4iXBNo}$i5UD1%R^b*&CHZMmj?bF}f6m%Nx ztJryK^To=(y<2g$s(yITGd4*{BVz4XMXs&glVz?mx6W5RO9*+#r9Q1bL}=&0d;gcq zJm+v`_iU65PI9~V@wLeFfog_6@wME>x>p0!7GFx^-$!WClPGHoT-$#7T+_5$oYN6I zgF1@SW!uWjt2xb9%_30>S*I7xn_E?8H`2Fzs~cPHz+wVE!z~^3l7HoZ^-IBeFk?4o8WL2=8>*K4b% z^g?9RRp5tuQk?B0VLeevvtGxIwAR=wOX|X2)l924Qohx}CwQ@7>bHX@OSsH+H+mPI z(2L*9XSVI9-kR>O>KEb$WB1)Sl^SC(^K^WvQEQZn16?PzuqbG_v9zn}%ER(%=do|{cY^d#SO1g4W|ES+N&G_4)va8ws4g>5@yrL00)9q&X zH;IUa8ZV_R+;;Ru3Nt=p&N}%qt(jGk_OQuDH?&U!Xkg>sE{Nr@qiKduQF@Y(X7 z)4R(s+ERLWf#>j;Ug5z@yhYjC+E2dTOTF1~iR+Pa_RK>IU!NoLEF`p~mb%4T&}6SB z>?LLSDVLjf3wT7 zAIN;Ti_MiCVn-ZzvA8Lm3PbR;K2#EBNK%xDN~;8QR=Mu*-s$V?x=ZP)3{TdGrbzwl)|ED(>WD21SyVrHDLx0R|=h`&4M%40ImnBkuy4fPq zhls+QjkN?r&a*ax5XbQcfqx2_MWn}sSgErw*_*|@yCYoq-F84@rLAY>MdOvPl=(Be zch0#T>*1>Q#wg+RDzi@aYp+*v6ct|-i5Q-!x3W@4|w{ zq2Y&j8Q$#Zt!h)AG%?@RpY>mM$85?L{pJ32N-KK~TR#70{8aTQbGyRA;&heid0E#^|5){AYPm<~5gF;EGoN2%CCREP z3YjWV<{Mf&+Sr(to)pm>%FL55%RiTWsiKW|G(nWejx&C}V038X`7uhHlQlWf#r<<{ zK~u?YjfcTr5A!beRb1O(V{&$v^GL+L@HteFqBpC$H>p}PCFd?|Pstil^`n1& z{6)3@W{8@%pk(_&Q`Q2h?w07g8a4S(!qYE4v>)c_OQ_598g^399~sS`zhNkpf62Mj zr3%?+&w4#$yI+mw{kd=I%x9m6OhZ+2?wx#nd+VbqL23Cr3d=iQHmSXvr?a{6O@()} zz$5=Bv_Kzk&W=~bKA*h9HkvJHKD_+7KFNHQRNA9l6?dL1^8~21drEg2Nu}TK>$)B3 zZ26wY=;pSuTejPavqLqH%#NFS^xFP3Y9J|J;)PVBq)CbGO?FUfzq8}$0maVknzgUu z7YXTX5>AP^A2l$Y@0ROT*}2Un#jbBI*j+8*A%>-%R_Z*|yGr=m!jDQbnP+1o14wdh zYviNuEVnFr=rOYHx1Uk z4H5@StaeK4k=GxYT~%q7m)~JYl(ZC`I=yiFJNk8nqbfVzo0dl;ckc02Ae^^!+{W>m z`s3Z+Q4b?$Q?Y~QX;0-=*;V!W%v27Yb}&wiTk+*G6|rcFlGDAwAhMG{n>t1I-PvO* zhMt*ILYO@tfOn!~9QpB=Ib1t5&tRYSuZ#mr`)d zL)kamWzx_sqO8Z`Z^Ne6Z9y>p?(2?PI zn&;I+#gd;#_)i~F$|;h#Rx>^L`fX}gln zuNs_CUq*egOUxy#woT_IZ4Z&nm=d0+Q?5^G-58yb%)O+R@6dw;*Qnz^E4L`_=x>w% zA@;TRZUEn2HI};BqPflc`}_{r_^=ZaU5sMol>_2VFvPS{XI&K%61w;Hc2ZwKb`d8_ zap3j#x_9-?T*a5YbtJP`db4BbZ=&1z)OQQrW!~u9_K3bWs{a0oOEED`+3G~T4u4Z+ zZEk0|RZI3a>~+hezLMU@5Z2!3Bb5@Gta4i*EX?27z-^CN5%W-^ps~WrTw=2eJH-9; z+Kb1JNj%_f?)ypN?u~1$;65GGm zSvW-O6SFYb`|#3kuGe8b70GE=gtHv#*jyDSN_mcZZvRX^a%5SuQRRDQxy2tp4XFsL zQ*#WdW_G7X4nIrR=DHPd^-)IgwFlA)x)Kk>xTiGi;}Scmb>LE^uDE!lfcW>)Q(JY{ zDfMpk+`2pO9pt2vM>>2lY0i=dEE4q_@%xx2@6iV0; zYuEQOnK{jHnq1=XB}cwXpZw`$b)weeiI@I?gtH5_Fe%@T*Df->{CtzhnkBKh>aHfX ze4-*BD%tavm#lehFJfz6T05UhSJJsAgk`>z%Y}!F8F00;u1-DDPQ{kq`LOGDH=oGC zY4zW3nCMn%UHs$_t5VWbn|i+Cc`S>3A;w)vMRQIq|Jx54QlefPhd_S9|&bS^n` z>2Sie*9VW8eBiQXIu>|#@Lw_Bc76ZWoNDO>@mU45C7USgBl*Z7ZuattQ9m{djCp#A z7Jplw96$Y>X3k=dFm840{zQ2*syb_X$?2N(#50$pnV-r?L+jZ5r&KA678q~evC>n4 zd60Pc{tWizz?|oGI`wYVx^J_CTR#r*ZS{Y(|4g2LgSbuR-HLka3zW#xFS^xrPl&BU z$?;_0{-?VOult>SVJ5Kk!l2Jpx#5sajbdC$PBZqt$Y`>?6FYLj%Y?Sw(e}Z{^XtyP zjO;O#^GkfQCH_adaJwd3;$B5ZSmchoUk>!@t$Faw!!31H(H+@qFU{1m1gp30$;hgV z(>T_v6FA(Wn7-BM>HMgkiYuChci8udbwn#Z>&GX%d)uSe`*L>d2{H|bJjpDIlxSsbcMgmnkwy$Nfsn)@QkB9GBYT`TCf0ShRcI zEdMTna+S2jp+2(m6vM*(0w=~+J9`*V_omBrop}*ta%-mikW$W!jY5?<(HRl%T!p9> zuC_|gBLXAV&ADhMa6P7fr@&^mwCZ$+5$;H}-pAkUGYh}$X?uc7SfWp5Elru4~5Q(S#(fIhD2ffio7NT zWpw8M6_hbZ_@E3H!h$lN8VJ4UoTxs6D(8GHL0E1)VxzMr1z-#!QJeW+0H*d4!VcVb zIu$bGoRxjt5}ft$SseG728r|WXz1ief&_jp4f6G5&UT2CI4?dzIE0%^Wl|wTTlob( z3%2~@GlinfifP;}&RGmG5q>g-N!Dg^`d-1g_O_tMrcfc6ig79w=iGtGlDM5IM4C2} z!RbqdSZffr#(yU>SlUDqM;VLMbXw7)ktr-~1_V#AxqB-?96y}|h_M*Ig4&Dl9Zxh8 zjiEhW)JUr#h{UXOkp3?olZ#1wJdI-`z%9aw7vLsNAyJt0m?RT%0z}9m2e>uZ1+q_k zo9SN`Zb+(>vX;Cz#WeKe_UO7#Ug^;b?w8M5mgXjQV{PNMMZTZDeW$(@K6H|qJvY1{ z-s(a{`!G+W|BJhB!kV@x*B zv$-!kyf~eTU7JI&q!sEa&)2Cmi9c#E?O5GX}xzTREg8d4= z8*}(X37e-j_gx)IGQE&^KGo@*&#@|5#r4Y+Qe-2NgQSlnm^67E?&={@TUL5rkJ&eU z_KWAogRRdmoGl&WoYCXOoaU^^+c0C(C5t^@?Vdjyc(!NhRQ>3ed(QEle>&^Z2EPR> z(q{{@bq4*)tZSNw)AYw!B4?IIO*Ql7US1ymwB?NbGKzPCsD@(MHr`fZG#;t{z#ZIiV-i);T0!r{(V1 z<7iOh_~wI7e$%k}u_a$ihxLj6hi81K?3A`xPujYcZ7{rJbz@#nq;SG%&7Dq)e%Ghn zJo$k9{y@S_l@%+$E{T;SZ}ZSFemZo@QPm}D#F*ZF?dZC+tm<@?ROMEoCgSVhw&}Ew z=55j0W_7D<_Q&W(&nif;-qqr2TwZ6XeL?J2iORWpasD)yrf4pOr55T^1EzcSul5zgMg*;Q)l-nijGIcGQT=K91FNAVt=f6Zj8{E zxovTS)E4jS+RASN>i0Xcxfo>SpT7J2w$}+J9O}Dg_IY*Y+Z)`|o=}PJqo+Obh~x8l zXJ7Lpx+LcG`jfY{J(6~E=Y8J&)!JXOyX%I$rJNe7yj2i=qS}{jAbeOK*we_9e%~eGs(AKr|CZMpjuzVHSB0;hPt}&?ktj-A#@>;dn?%%Y9Nu9t z`&EQif4wnxZF7zS-@Z{?q!J#gNKEf#d~46*aEznebY#{J`_3)fv)#z!r$&z`DsL0#Zsqffg0 zyq4+PV~Z_{Ip`{G3)L@?m}d6}din|IVGeFZ+!y>xgEk9eSEF%#qxOi z)-36?YkA@|vDMvHdCxx{RIJ+AemLiQK>Pd$XTKGGK1EV6i{W1=>unpJHgkHsYgxvO zgzKT-lSj{zcBRUFD(2-4lROx9K6}c!HF^Vi#=?h+SLUo8v=$+Y+%57Tf9x!x1K@!?11nBa}NN@t~>XGA;@U>ka5 zzA9U5J1^hsVX&r?c{~4ZZ|Y|0nn^UW0roU*L7$Z&;@ z-e{lid;6NR(k~fCnmsQl77}|8>EuSmH+bze+KiJ?_9xz?`h_OiTE*F_I0hLRn z%w>vH7a9Dh6bN#9;XXJco4Rn+c>UW3cIOmIth{7m!xG!?_iCf>>E_Bg^oVAX=M30r zn?7>C=lwDL`UmYPUm~|B+_tG7V4q}nYdZ;DaGL+gZ29B<1C;{4r`cCF2i&v{mkqD1 z8tD3dTCXxeVR3V6$oI{fE0@RL-=AOM{PuXvETb%gn@LsKR;RM{2J|;?_oKb7FP-yw zkbP{{mzJh2wFCA2(zUI`El;L3%v!(>EAR4(m(lswSTg8NKm1o_x^uWrJHEUP;oMrD8%w06Rloq-E!oa{ruIIkq`g;4e zrF@BGm_KT0BI^+@$om>Sw%mW`d;O4bOL^wXb6N>R!*82aIcu)FJHPfWnJcwv{e%1<&vsT$%2d_O1!ZO7)W4zo25l?jBLD%@-shdbNeRcF#L?^qO3Ew;C&B zj8S8MOn%k8XU}Hu$_lW)Qq|>O!`U2hu;F9xPxG#aC4mXuPfoC%9rS;`U%&3+2}Pay z>!%#(9&_wYN^tgYm;MytZY5mL?zuMCVd1+3EWC#nl_#Kt2bkBA2>skKhs!DZ6ZgRAJD&vPNvbA z+Em&vPpY>MQs%hH6mSA#xF3mgG{B3*ZA`_QLZBpp^>l3h0xsg@xl|HUn@QzFej&_} zocx8tU}%$=WX?nQgquX6GT{@a5pxX1`@t*4&7=^u$&6oB2aA7vCX%!nRL-t`WL+|Y zs!jYayMMnQIV+h46$#R>ewI;K7e@v%keC)z;v&vr3?OGBVJ$R_U%ssGKRz>{07Ln; z^wocS283Dv?cC4`RfBa7f}GAlf;`7oi6G38PbbL4e1lT2!yrLK(A?E)i=UeklLak1 z@ciSfjbmm4T{O6;C^S{@V$;Sjg8QeI0qw-6(cziS^8Ulg zYdXd03NI2^l&5!0pD&9F3YvGXpHo?RSA=G^bq(cSbfwv1-lq6D3euO=1ARNAbvi8H zG^94X55DZRJwEA(6Y++M?8W7j0l(82 zq_}M!KYNyDyE=|@$Ksi*&64l8U+I)ZHkR(G%wGP)=>+%JrgJKz@2_MR1zV@?m_^K} z=-!kuC9>oLm5~=);xdri>|L_N>|~3?&74n4394JBh%Jd$*p#6$xP9%n7s>N$4XiR2 zukq+S{%nwKC=n{wvU7^^@jGVz&$q6zc8wN~jNfSR)Zfnfu0dsRcNNuPFz5qk<(ekp zAGsWDZeGiWuJNy3trh%pI!pYm<kmOa1$P6rRzED} zbO@$~OwSj#(GPeQy+{5^s6+?(iKrDtE;!PL$H($#I!kKKy#sfo>s?Pu6%RJtUSL@;S>tX4}UO^D*als{`J0VZann$%uC$*{_Px_PxT(*Wa;k<&5-i8enmY>D^={QiC}v8ZRB1hu7kcVQbK=z_cPT~Z_|J{;GDAI- zIo#g~65Pa?ia2E%5|ucvu_l=pDv>gtTi_kHE}V!#f+9CHrqLXlAiohr__3@3l}H`8 z9FkNb-l$-o%KHd&IgUew>9YR~o@`4fBnZ{HAAuge_!X2FRz#j)X^7CPht*6aIB(If zG*C~BaSbo_4OH9YsWck#k2W@g&$yLourCeEFGz3>{$nx`EZlg@pE##=;9r_enDaHA zo0LNyA((J;6T<_(6X1V5IRW3NOby{gJR%6im>(46B<|sr;rit;>MQ@({0d&dNUC!`$3p!Qda9FJE{~WPTm??*>ddHl9V~SoZTu5?G|1&HcRD z+}w|VFT(di61K+vD0wLfV*d~IZVH*sxh%@3CkdEh ze~Y_SbP^|C45oo7O#TGDqEt>h_6g(|_lXH~ zWzP85W>hAL!Z|bpHlrY$Q5j&&Yq4nvW>h+ey}I~6&p`!y8i0L5&p{=zIFH2ty%~i< z=Ez9EH!`pUcYZQBL2eTNT#`g%a_(TC&@&PlB#wY2d_t&CVL^UsE%phS1#TnoOcKt4 z`Hz#&0ZBI+=PNc1yiVLF26X0{O2H?DF_;{1;^7lVd?ugR6bg;b;I#jHBo+E2n9{H} z5upKv0@Dsj!v+XhDc~P*YOzl!HY5gvqb>uVpwR_)Vj>_KfPF$Fkj#Q}Jd*k6IiN=Z z_#_L{5UP@yBqGNR`vez%@@8ZPxQ%zPPsr(^vxCkNkb_SMQ2{S1XDxio*a^)fOb$~4J|P4kG3hkU zA%%a+4lshusl}!tr-x%uIO;S1xfu=ad%#Rsk&H+qi3(2oBWxOSd{Cq;j*KFFLfB5C zU`$fvW6DsOG!z381Nb!lm4%tg$y_86SuBpgEIyVrh4GJ%L^@~fELfNY7Y{#`$O2t* z8Jo%=AtWU-fzMyDsbnT*U?=YitI;{8O5?56yu!u+o7S$>PL2*}%NTe~DM2@-&pBfv77xsyamuVXG zVB@!@G3g|99H{fjlpqorFdKm}DE}Ra{oA_0KqeE%cp{NWq#%=-BrJZONNyNMq2ka7 z7?p+K&7@N&%K#hJVKP{gff$U18wfBK5niog`~ESB00WbVz^Hg>fpIj<$m8ZRC`2{_ zWMXmtq=6(N5pPt9BqEuJV+p`0cp(57jf9S)(|;d^{h!^3flShG;9nSvj%Nu8{@_VX zB9ZZ;NhFa_Dv(HEMkXW2hJg$+x*(H*Y)mGS@uVh^NeqNqaLw`TB$3AxE0d^7WRL-2 zjQ{V03?%e3j&Peq{b)C z1_glAFYt+uS62XI;?D^%77KTFB8f(#Ap{4%8--EF#RMbKpIZtXBqL%%V=&Q8Sa_8| zB+-d1{B0)D$ykHxBqosPlSJnii%4`DqFYFG2HwKJCQK%BKn9VD!a$zz8#5?>F2k;xP)N`5lXAK8SC1sjtw2FXFzV^Mxl&~YO9SyU{shnvhov11Xb2w53S z^rEpii&R0xSg3)6D2{?|#X!Z5#YCCFVq$UBq+^na;OrwXG6RE65-~E^ApBJz6UWn^ zlNTh@5RFA9lUaBrLB>oPeq-`@Q2cv6PEQ~o9~}EteP{hcf3R4HGNTZQzm@1; zR~&$dqM;B;6uj~Q7(!MG++;izC`8JyD>i{m0K?rdpg*P^@xlc#i-t3#iU5DzcCf869S|EV;s1j$T$X~7uZm!L=^)Sy~h+P3*|cve0}^TG$I}mzy#7P z$T)Dhl*av!3FN0ijtdz`A)}i>!y7V=iUh0_8Vxb!0Gr@RvBwk8a6&o~^8*YC(SawE z^*466fg^~pg1>-b%%UK|%BEvC7`w(3s6dC@H3B0cR*XW2;xjUijLHJ|)Ob09y1@92 zz~uk00%3xyf-DF;!Nb5ALNI1B5UU9BFXEsAY@$#2>;8e?i5dwwAc7qPws=e^EE38( z2yGBV{*g7Iu+%|?;IU(YD~rH5joN(T3s^LiTP(;tBE!*u6|&wW9c&2(5+qSrOqA}R z-x0dAI3chEn+1^$ZbvGlYw*HFg)|3Vwg84WvQ*G{cnkoB1cy-m8&?67WCluBi0%g% zqWhtqh}Zo@fFY_M@)U^br$SVb)*9Cxx?gwWL(fw2^6*1e89xu`56W0I_5+ND{ zX?Tf%;Vbolb!5=Uc)Ek*jn__8aAEP%2TLTu5^Tu)`7A3>DNP!f7fA@iC#!g7}yKLku816#m6d!2gf7 z1t6ZE5W|ttQ#0Yd;}1=zp_GB39Ko1QpJa2!=?`hVi9GowG;~x2QR%1(qSB!}fgI)^ z`Uu<)ge43T8^sPx3BnQv8D$9rvK{!18RHMlF$Dfnl>vN0#{G7#geDH;IMLx!GoY~y z8Ba%524vq5>M}T4uml@^E(S#bs(;9`n8!Iz?!U){xC}uHN;@cwgz^khYZ$7NFEtaQ zbYv3>$}}dLorZT7DAOQpNAPCSCi3jROUc)l1{Pp~dK%{q;ERM&P|rZzX@LDwixV$3WCtgjs{a-wBN+|wh!JW5 z451bc;tceFkW8OI)p7a*2q71Z1SP)-1F_Qp43T$8$szI%PAy{BY2b0ZHH}I^a_#^_ zTx>9ClVf>|{xm8L@v#AhRI+GL-as%0MT^21NPtO$AEQ92z@)Pg9zzilr2-^p@UlQ7 zB1IX9n2_2Xz$S!Dzal0Y4YI($*87{o0U+Yg(ZKIR4g>i{g#3UWUOUogle~vtw}}Sf z(IiAWzvJkX0l*rI^ndq&eu}~RoNEX^J_XUv zpeqnVNQVq6o=tSf(&8nZ4vl?yYJr;heZ&50XGm2e4iJ=_kSLlCHw<@ZNOMEw0>>t- zijEuxQVEmi0{x+H4V7T9{S&VVMprthafD6Sy~A$|QivB;I?#IZ#;_io5NURy(;>xx zUl7iRYz)l~2wCYY#MhxSi1_{zA{21{2=Jc_JB&k0I-n|$)C<(L5JSj-ZWlZi7$j8d zK}8)ujt$8ZP(L_~A?iYE3Xo)(=+=)*I#>h5DuM<^s09%lk~U#LGb#n2VP}Bjg(o$r zZzTN(;T~dUp>+w-0dxjhfuV!H@`uI0GwfhxQK11;aFhXO119T6bf>0lwl-aPUV)JQ`%0cs(hG1g*+mwt!@e;boO zh(I$uV(lP?N4y~>MCV8x$%N7yo`g)OsNvNulT1Z1hCU9wd_eOk(!9fjn(#OU0sp_J zrjQW}2wj|imBoM6I3~1Y;guBROK_GA>-Ge(!IK|C%ZU^mr#}-kA;KpJ`|vzwLJWlP z7<;dP-vsgu$XqDYAcvt*A^t%ogJwoxsP4zAK?qAA$%7n_js_u+IsDH?Oz{688}!F4 z{w~)t8Nb8$32Xu*flv!rjK~ZF8cpzsFrc-3A`GKHq?gdiAT;%|v&HC5>V*qk^-eJ8g zcq#x4FGvu|g1;|6v zEHX!I4OS{bF9BWcpe9{b3?HaK;m-+A3i_;oB>(7kg@#p>B~atXEelZ> zT%F0($2>0lbq5%9ed5MJQ^>e%VXEXeNkIQ1ZQwAOiqIHhUZi7#1!PCa1lJC?F|_{E zC+e+nQvyIV9Rn;wg%#`-vI!_X+%<-11GTa&CfZcVVzJTcHw(J;P;S8qCzB91VW78; zi8ky)k`kYM2S)>*reo^?{=dl&d3y-&@SCvEC<&aViTwt!3WylA0^l_;^lc)&EC8G2 z8jRB)%Q@h%gXAB=cYq-z1lXiPHg*<(LE&UFB9JveB6Wa~*!a5zKxoB9CL`_IFbZ7HEhcH!+OEJhMd@xgfcT z4n*FYz&I#HtzC%=cm=nuR@9voo&#OFuBKtX(h+XTvM2zJosjK~pG z*YL_2iaQiGzTyl(-yn8;zk5aRtGh!@HDf-}H=vu=VKApzU*w-nM^cufqG zkw=z*2odiE0t}jIaMXhKu*v2K=#S-e5prRV+3~sx9+ctJ)9}a)d9ed9sD0r#hF}h_ zs-U1j!asim>Z6JVVrhJ)0LCGCGJqj(o`7>mEd^kIvW0&l0svC+fjGeM&lQ1MbmX-n zyr4rm7qC}#ct;;#P|%%3nepd$G*oCH>X|FSj5r)Z-4?+eaZ>nG%JR!l2!=CFQ!U|q9I&S<&R(tf3os;Ei@^{-kqj3H-Q!oII7a`!r@@j_cCK_4}78>#zFH9?tt)S1D}+EaY)VqVCapY0R0iA z0#A_;uO7<{;3XZBk4T6Cy>0k3Hn;&u;|8Q@(0(ld;_H>zlOt4tKuR57poMYZdEzMp zb_0Knu~ylMP6wxL98OAnouf0H1+E+6Z}7j>mvXo4@WKspDh=m883DglO=S*VgC!3r5-UOFx#3=6^!58<%`-r)ra-i#u#A{3R8 zya6P15RD12zij#)=fj1-XXxNCP*+9{11Cgbh(dxW0yR4DW@H0+$)_2Ec(w6f9Km5b=cDgB}`M2d>;0D(2K@i>4oW_F*@j;*!&f|^{b>9@FaSDv;#^cafC@)s z3qtNm)&rwIEQr)?;P*oy#KxZ*o+KieK;{9VAap(8Ed{7`M3=&IMx+V~)n?=gC&0*v zs|mj}hVT1>ag*}$7=-|aw4p<=55=!>)RWWSJKGl858=wckTAX$ZA3@#gb z7^uWgJ`C7ANb>wX%^&O_h(|~bza)V27<@?leTVV_zH17~jz~QbXaMmJ-sWL775ue> z*KJ5N2N@@n3g9QlLbB~E+>i|1~Px>g2)ea!8rI` zG5jWw_rtRjT4*MjfN_N3mtMwI5a9oZ{9yACM-5s=5td+m^2h<IE)3T_4>vyh=dWERS#c-u^;u~BOe-K3~)ffi}Jj6q*4BD3Hi zB3=f-5M>G}q+hZ<;g&+9EE;w(AcutGG4{L+r3|F((Q# z#2!NL5E31O>HC}a{VzQaFeJZ#HEiQq0x;-Z#0eJ=5b^lIokkQQlzI`q0}M%gK}!&F z!?7PW`gNEIUL#f#MotKcbG!}$E}t- zBj@}_!WHfcqN}hra0DOdL`Db>^hVHu%q3=6FggFDkKsWE${8jE0|-9In^Y*5p`Hi8 z5WNYt|B3ZCY=7W1_+-clK_U<_fhWQE!@$0ilWedaxDNj~H2inuaEL&UFbF6DM7ok- zK`K&af~I3c695d+hj1MceTWqe$B_g4|BxSmNLUWpB_tb!Wt{LL293=~egUFFyd8wq zCj1&Fs3na40EAKpo(iCLaV!BN3T?Fbagd+Gvk7`x5x#?7M|2b->W%YD*)q6;|q0G*#{E3Ws@gkb*bT+G2dJd(u6eob^ zU7eo(`l8Nq8m;ib-f5Y7J*W1%1TxEyfSi?@Rl(x27FVa+k`>B>DO}zZSzW40y{xzc z!b&Pe#;#hj_z+GvTe&=Tva(>oWaUSY)vG{Xm$nBQm3AOIl+$ek>k^&MaB^nFA&ZjUmvDikKHe?p{wu)v(%Q z7)8rqdAaZM9%5h~>ZmX?KWkUbj)hffWK=Bd&R*Lb#BHvD(Z-|Q2!>q^lxLy=g4Dvj zxjZvu?J+a^a*)xtWxT@BbK=d#fDveQX5yM?C>F8(I?j8AOUa7yrthXm@~|34-*kkf z^33-By#C7<1L*SVP!;7sC`n!AE5{Ee955>I)2GqRgWv`GSXJu!mW*kiIDqb{X3F<0b=k@k`WBsqo@42l( zy2gsrR_F;CH!&tS%$l4avu3SD=l#bPD!MHrwMf)ngNk62EqN@H9ojx?l7xg#q*x4-AB#W^N>Mq{q02^j@1`??A9MI&S*T!rU>9i7nj+EukB zfxapQLsr#X$dHd?jECK+&a8%&9fTvul*`U24Y}0gDeHFSS}8L0j9jiR8eut(WKw-{ z;ErkoHp@a7gwa|-CHps~$$Zf$`?@TSLK@tdCk4opNms}Tf;;1h!l17AlI-@B?k-`) zZOFVIImozGCA;`#i~6zzl~h7@i32@NzrXnEM4i<)beIXtMuuz-*&$@@D)|~_g;SP& zz1qXZ++0HLaO!2956O5#Iw&)YOf}vd#D5v3)}w+ip3YG7U(Xj#W<(kmqH0fn{{dwJ zGUnvjSQ+HiT((qGK=3WdsO--^* zrGm4T^46x^pkdVu^VDuJlA%VCa%%f&^mK~{j9E|5;ZCjpT2>%JZZ#`)@t~e#BrI1v zt6Uk6PRX3Q@ONkhspF&XT1#R6)FnVYPTa)b{J}YLV2ER?%t2AE58;Ze)#$9HfL3*o z-HYDiCOwPydnIx*e3tbf^EOe{wF=YysSg|{Ilpc|1*sl5kx7dgsB~5#Ayd98COARe z&#QGsnFb>v{Y^3~vg|ChRX>QhoXZcl=nwHfEE|7PGey#49j@$k)iMW96Lj}N=!^xfUz=t93e9uIeK9`e7yPX)6XA2 Xeg63Chnw-&D|fq_SFhfE|NiD*rChRd delta 43594 zcmaeR2Q-##n^#CBdnC!qj&~0fN_{dLD5A(pvLdVWh9aaAc@?RwNNFgfNQr1!Nuh*{ zR7%N6>c3tsp1X5?=X~emdhX{Q*IxHiTDsJcGg6mwMR8==gmQZo=FWH%i@UO-`$s;j zKeG{zwUb#~(3F!9O>jLwJ45qQ*4+58%)S?ay;I~`SIMce0v~qrtuy97(OAx#U_a) z*#|Ra!lGXKD{r`e{vIQN%xrbn+eW*cBYSYLec&-YV^_lYMEspw7o(|+%B^c2o1{A% zax2F?*q8sG+fJM}ndkU>LY=7&>*-bRqd|8CnttUdDCe5tuw;&g#4@d+i7eeS@x4QZ=dKId*cgSX zIA`FwW{WJ9oipRp+qKEjmYLD9Jtw>5$9zxR7rwuTV{g!6e-+KOp+XGKOCQv{I@i0D z9&~EY?^;$}t>JaGYH4ukr6SHshs7FNrO|~qYxX-knrj|C;&@uFqH_JA+MMPPb&AX?C)*7jE`Duy13!- zoy7aH7anrgUQf&_ewlMeEx%H&r7hV~&`!xHVbOynYI%0jS7@ipt?zGLa`1?TNyCZ@ z_xFZX4z14g-4vh}D^spQ&<`JREPJ@U;tkt%uTeAxGA2ur6#6{bAM`uq)hw|g&mjn7rOf`4Bo`hl&KZi6t0wA zVQ##$IHC8&xBW2c${RSrfDf4WIioqr0?Pp_F^gHIAtdTitrx7C` z`(;bh`tG35SE6amZ=&P9Bekc#e_W?Ti&3rV?inkt8B?;@B7SzP=X%RG>G%1i&sin9 z$KPM9WrkOdZNDsdezkt}g>TGV-i11voqY|*V+TUk)xT}_l$US(Qs^0S!u{}&wE3QU z0z;#V4h4ID{kTSe+;DR9QvpwjoR%tPW>nXaVDa8h?+)Bsz%upea5?wT@j+ML*DG3D ztXe}ys!a;5(Npa3fZp*lQUh*LBeA&;eOD~k713Dr-+~FJ6h*$7&aEDGl`hO=QNQgv zQU^0PZ~uHHU*l}2m%8CqwE%kZ4Av%}vmLkn$Nhc?-<9lDi>Ro2XV&bQAiqsQTasn( zFHp$6=#2gCVqfQeN=@+N9q|(aiX*&QW-qB<#$QIeM0!M>r|oLBNFR8VvcUSTQP6!N zy*zespV#`#dK-c6Xu3ww(Cl8-_snC@KZQ8IDLzIhT&d@#*6qkIc)#$5hGzAx4p}qh zp`P<8x0A@hw;SF2hIne56Wq6|=B#a|JZecxo2X0_U%XZA>e=*NTnkG)JZ~B{?~%os zQ=NAfm?S!{z?GN^XYXsy%1CpSS8H|cYmu^7@GP=3yhs*!cQQn3IAVb3>{;>yX1Y^z zn){~440rYA8LQ5W_Lv@ui1$HNTW-s0-}x=d|{VcX0!&gD;*-4y+inQ~64QT>U*{-}spL#F!;QeRJ~`u+@Y zFky>twnr+gQrbZ>^HyKZIrn8$QW`IFxy2IAJdI7#_Kn}y>!kLHl#Fh9ufH_RQ2RyV zS^Qg^`gV$0w*aqqib;P(rHRhfK21AL&Wu~dz8w#}Qt}2*rS6rscClz-f_T36vgf_Te{^uOPJxJbWN(y@hdm0S^a7|^*PITR<~9#$yXkD@nS(^JZ#FE^&s^$pQKE}K&67R&Ky+xUN#lr|-u2kGk5|W@PsltdA*mwvz=_Em zR)44%-hF*$Qp-s$(k`6dRRtU8_+*!^$i`VUiDF~PZhDFdK1mkQRry)+vNJB#UK}0d zmriCnuT*M1lD1&wrGh6*MlGToXcLuT;Y!J>8g(wuH>EiGA9gkFUDy*M!1w&beL31H zo4vlX#Xq;7A6(MGzj3+g+x0`%uQkMKn45pJiRU5tBK6Ii&$v68iE929d> z`Z|(yESxi$Is2`8>szj4dwn8#1rE5!MfR12IB=GU#d=@$&)yJk#`4jR?a?HdA z&$rYlB6(@NkJ=S2e(OgE)^OffGPc6t+O|6`1xxlmxI^sHV+P-n68P`_lF$>Ej^!=3 z9J1JKoRd>18ohE`X0NVmZi%m*#d_0a*V_(qc1~#OHSXV)_^!KeZ^^l3VdmTpt@#Ej z-0OF4b6qXhabj*&s&}V`QOM#)X2tIw3~x!A;6Jr=d0=_ehbvF_&RNx)|EZKpTN2kQ z_^sZ)H8@S;V^6N?TMy=Hm%bcboCbG<;#c3{L=E+ZdXL+DBT43cm#bD;UCnD<+g{uG zXk?uSr@b!^K2W?)XgEvvcnfZ{GeWZTW|~I2zI2PMV%b5@jKt-GvxH`c1+>aOxi?Q@ zr{nSLdjg-$zMHr$yFR<#=tbg<&)fT}*Ss%ZPPH#EOs*TI{``Ag3CE^e>6kdd^Kv zK8YFn894I|Tm6M)!?qG;?bRBXb@%(MSBAmwwIhyjZ&qtPzGLf+z>qHuRr_}P^qjex zdavB%O0}6loV@bAQ_(TKM{=0-ZML1S!c6Zf9ZFr(IT~qJe2eiqva{+#n%yY{fzU&{ ztt+!^ghKR3IlZF`2OhurI%4unuw-f0+`w6`gpaQpB?6DU-euy)-IivcAf4^pZo@h_ zxU%=mGCLo#N!-=;VUGF>Lt!NpJ2vUBJ5>RWg6kIebZv{_VO;v!RAQ=_5jRHr^~<=56(wdxbc!frlJ zi7XjDl$$)`#bUq6CCm-PM|J5z2gIA4mv8&;$=Ag}eS5Cd2v^QjxjVYH>y2qw?z%IB z8CRAp)L3Mk8hFxBda+2-+Y?DrPhLgWPXvCgvkyK&Gk1K|bn0=_srxpj{))D1Wn?99 zS}|iy7JO9fZ<8>wi%}JM_3rh8C)>NrJ0H^dFYGuHlpg=+n?cOw*twrgloRJMrO6C+0mjZ(YmP~jc9`os79 zlxrgPBMvhkUFSH`%<=ASTmp;t(p&?xoM@q>AnQHLtPkeSE&0~jG32xS#gAaljP6rw z5^?!2LM@j6Pl-nBI~H2P3pwG+KWA!JBDmhWN=!9RTyCC<4{PNK|8)9Al_npxh5%>Rqs z>U?tRu7|ycGPlom8qpK53gH&9@$Gu8J!-<_&p7UA_e}c78J;KEcIvzz_m3+)jyLMw zQhyjcGHzy&YANgT2u_6cy#nXNNhsQK7gxo}OTp7LNemJz{vJ-0wY&-^H-pB|BqcbS ziLiE6;S_ktM204v#PV%`$Hi4R`5APECNZI-QG_*Eg;T_lsR@MbVl0h&e}8v_-)B%6 znlzSNBTkH!c@HPYLnIM32~-xY0jJ2)zlRgxCD7=a6f%`X{|(_LkQthk1m9p0)|^mo z0hSKzhlc=*lc=mSIk4;YdpIVmy&gAbwyBGkoBvi>A{FsnKdN2|yKJkt$kd|&3 zeL>mS7mqgug!3$J^mKHtsn1waaBHd6`3Ao}bMLtZ=IJrc(N^a#Zkk1_P4W563Y63P zF*G{R;gn6YIpUs6JABqGl_$C`#c-cN&e2C*zMtO?yN}e~yR~%p!JfBkPnOS<+MpKJfkUL{qnGQ8E`!Q$e(P8 zTcV{QF8|o{zXJ1>r|mo=JXYT?jXC;0qY)1Q&G$co8$#>{rfe`s)}yZrQJ<<@u3 zbPhFsuDWWRxr1*XfBBD(RLMGf*ArtR^)GtJ^KLj@y_%n6?H6pn)69P0wsBL=!qXM+ zH`neJ5>x83>e^8;XYRL-r?%Nci(5L6?h4%*^0_$Plv^$3&9x^HDdOT#=2(I>JpLGW5x5LO)5&%ZXFFgX45aNwbmwc zsLV+Im_hpMBG<1ax{jxXOU1YDX=}1+9J3J+pL1Bi^_+sxqg;h`M!Y6G@(Lo&a`Ju^ zkxIvA-L>^lkvmr&YkLNFeC4HeyqCXer9REt`gxZ`%Ba2dMuD_hG-m4+^05oMhVdlD zU9~BOua+pDVsU?q_;6FZuAn?%{uP&Zv&>)-e#ioacJK%)cVFT65tyN(H zPDXAARcH2cRULVU@8Q{ZnVYG_Bfesm;$8)%gZte%d=JQ09k8h~-JC6^X%>*wxgjR# z@n+kbA!C&?n*&M9^joNrb@vKp+sD70TU%Hxnq_d2b1*M&$-R0TLAN&_hP>7Y8+OQd zJuM7v_$J`#fl~{>?=@|4Tb5ze{t#P_@ zH+M_>YSUEj4aw28itXg4d;jaYvnp{D zFQ0w%ouAOEBU~)+A{v@ZwGW+_iDQo1wYaPt3zK0ut8e-*?RIIOOJUHx!?C%k8xEud zc8A8xDbxsW<}h|r-XRqye>T-w?#;s)SGZ0;bmk>0HeB~Sli2c~ywqOaygoh~k(C$o zFPgg9S8}b3b$uB47p78y|)3OV^PkNpXOf`8Bv%=|ydG)8K zM@>vhPd#2SkM4Q6V!1;9JJ#d%0emyPGu|*?fU)RC=(yd{Sfbgrs-`TzNNZQZfDo=Zr__T}3?gA6(D!)qg@R=cj|`ZR;WE%D_r z_a$bz*ULtk-mF`%hg<43d84_o>X9 zbXGfBmTis9KbWSx zLHLua(4k@f^PxNfXOxd_+f10XWzMd;q|_MjOXDhwEw!M_1b%U+lOv^pwq=f;sO88 z#5WCR*S9^jWG=Tii)b2YbTM{J!kyEP>iTr*otR+kV%}@rCr9ON3s*1Njkic)dM(?Uh9z8%baEtaou2Ho1k*QUSr^}sngU$*?#x=W_}8s{$cX1YC4xDsyo_=Vb$lNXKX zs^y$TLw%KtyrW|Yqmt^>d)2`T-^7*4_*ALbj}7a&KkGhg8@kY~6>#;%^AB}%XNz2Z zs;Rkdi)-Vy?P46qLtEqfoCf$v4hl#1SoiT)5R@Y*PukXopV&A{=Xz59xRHOehP9%` zo(KD*cy^V|G#86#WqJmwH*MAQRo&h+_-)3fSK;;{)pz?`-fc1U3_g*(erZ~r0i~zK z{E~Wn>AXlO2Rfx{;+n8wgi)~CqRL|pBLgk1KMG2ek0#uj;CvRYcDXI!r1wRcWrShc zo__TfgWd?vadGMJN7pLruOxfL=gsMTuz6Osp7i&z0`gbIEUCGi%&r4Dk9j(thlkse z=Qo>G?RlZ4!@sILrs(0vW5F%pLl53L=3`lDGZE@{I$>Ab9%m0Vmc!c32C-ypi~l@?;{4PU)(*BW2$Jc4Db_Z6J*1S+xncol zR4!RCq^WPbYzOPn`@-&;^w%$I92P&{k;(T=sKtMy?)rnur&9uwdxcew=W@RJw&r`2 zj;314inpc$WqjF6_i|W|tUn$c3^LhRv0is#DJSb(wh@k#x}3kb_MuvQ@MnU7-_HJZ z^9uVDthl$HNeT|SJ|p<#4eE!{`Amf~vt|Nkpz8d0Z9UhLYBqLuAQZ|*2T|z=MEG!uRyuphF58gR1kRu~_b zJnI&C%Iq0F;1pQn4LA|_{l+LxiA8C|iHefg!)3KL*x1U_h_X})Ns~%tU2fnMVfmns zDGavzV$+|I8Q^`>e>v70 zpWsBW&uKJGDw*`t@lJy0n7PTYtus|P306Hk6PZ3Y3FaoTUKK&SFsljK6$t`{jFFWA`8N=MZ=nqO%Wk5q0opd&TgEDBAY1QTeivS>dw+Kl-&rFn7#`lk*=BG zcwIz=K%&zB-&hEN@T{;WIB_M${~1c4P&5HA@x^euZS^?*gtpLGteDTZ`3dcw{H*aN zoIb0%6E}xdYKPP<3B63e0{-BS zH=B1pe{yml#A;+b@14cTlPAsGqPV$y1BP#%7{=i?6}k)GY#lIs$i;V9WmZVjrtNPP zcWry~c=+m-fkSvJt0(m*PjqZ=HRJC*y(l~)UB)Kq+}oj!?d^v>omS8$R$c1~dEsnO zx4U3=#(^w%&bT9DtCnd$5bxgS=o25x3?{0TKj4($_q{UFk{f$|mwiL4*u5+7H8ne5 zbvQ#!>(RAlGqd;B_T`6GeboDwp{?#YpC`ay^z=^0wgNh?ZQL;8D?@bHni2DCGrpk8g3bT&sn7%!Bkhl9_Mi_7~6K@|$@hGR?l- zE;mby!&}OZqeJ8V@|c)5`8m`RoD-+tZ2wVdFvr56l9MJOma2g__xrA*wKcA_QB2oa zccS24?Cf1jF7l^eT>AEVWp3w4_-N!~@11`4_T))0Uq>Dg)4fJDRqhYny&`Ys9b&2) zH-7N^k{P+1ycFgJ%{;BLaj`(&aP^M8anDwb6<;yE6Qi+NV|m>Zv!^$YrS9Od>0eyK za5mPm2~a04JLo{`Y#lMw_2A8s@fQ#`GwaE>%sXc#7)QVPafXztN&0IuQU3qp0(KVM zBk!wz?p2}7JY8qURWI)rJfQq^_9l+4gXgO+l;?MgP#45(iRB2tsIM<+$-h6Vb*IoF zy6}l-AIuIM<#?V(*@63(?NM~de*V!r3zyq(sUtlQl(i$8YBg5x(R-!s9y8N8u7KRi zv>eioce?ZBbUvrpsL@tl{%72$#jjm^pD=W3)wlgG=Sp3(U>3ZpsBpW5mra{N7F;E> z+dU`Hu7XR#G~|iGVxO+F9`jZH zs}5S8w|&l=uA|%fyl!(EKhG^nSX%P7b(LQC(vrYt2{QMqeld&HGdX?NB<;21%``c< z^peGd$X93KcAX9`X{KLSoy*)cj3aNJoOO6GCoZ|fJEb6W*HYC7mMf&c4L6*cb9k>n zYl~87tfS%_EV}Co9p;Y+Q)l(I_WV0H{nK4B-6uDkjEMv}pVjj=+ErVAbwrE`cU}=_SHn=4>f5qb->sHD_CU2i0 z$AT?s9|QFd*>j7UFA>|87rp1KSXg-X@q0FA9M=SKyvZwNW_@Y-t{<}@e9@&B1!YiW z7kPWX&PIS05oX#)&f*`6|DMhF-P233d`zvMAf{_^a^GDZuA!W-YnlriPrs(ma^7T> zduxZxyjzh%0Ua|u^6gVyL{=;@yp4asjOS7oRFY2}*An~i)aJ(Z`DVs$8w)K`Z!UPe zZBN6#l$K9r+cxa>iYj@UU+Bf7UVJ&<Y%@I=gEkZhtWj@t4|Wx=@OKr@^|j$Mt)Bn(GI8=Y#H|+9x}c zzI4ehT>s|3#2yWel`mbjgk>GG57;!$@-6(#JXV^;=a3yJcWPde2BG#!{JS=fB55tE zu7;FHV#^UB5xaAnZPcS}9#?L^KzS)iIBl9H6~u6SXqdWkMu+bfLGDkB4ELTsvl_2- z#Dmd$TiI%3dn#|~$nuSs9r<_UaaQ@<-8*q{)9c4hrvo+y%1)CJmnqe^0^IaqT`GYS5~Ktha^j^w90I z=o+DYMjkBAR}p+9$+3A~%2!7_`EW=N7gx?$ck<2JIsq~Bt>hC@yZCRN)MQ8rwx@D( z7tOhwe0RXhl__+tPRrsu}}Xo7xo zwmp@c!>hKb%`5`nQ6j%fQyG^%Z(^p%+M-Kl4eN^zj*PzIWUki1%e*Lcvj1?=jid6K zhl|Sl;`P0!_+KAjt?;V<66czIC&ZiA+-~f}NcQ8;4Kw0fd#y)G&v_3V@mOzO^U1w9 zUy6Idf|%rcn%4=~3JjYQ@xjk3=axfWMfElg{y-==cZ)NZER>YJ$_PM6;q4~{S# zD6&YszFO3(=vL>Jjm?V^FWz3AyCzuVgv}jUzs0ilHTN5xZ<;!`J|uTmT5VaUHTU}3 zlhnYM-ih4`p^WRc50B}^&}WPCJtaL{T$|1z$>}$^++FUKja$(%X8K?AJ zPigy|IYBO*a$K(!M65mHYk5LgCL%2n(C0#gS9F6cZP6~uSL}-(-)ZgF;N(ev84p-o*IQA)?s!4&^X|go%9tMbE z22dze&ELU<%4?jkDE2v?tjS1N(<;Jpe2o(o#yllcsR`|kVysknhJBL^p#?r6Y?}zH z8J-GZ-^8;%Y=Fo}q#Iq6L?vj_69x~6uuQwrHA#3H>!S@$oOJ*K9PFa(;D^kPQN)z# zNbG~z0+B$|go+M3FjOYdDcFz(GnxPe9ehH(ttiX32RC>AWH5yt0{bRG9me1Tggw0j zI3X;$2t-1H#Yr(1{V7ghdPw9nlT(VdOBQ%Utp`V79sYphXW1Ka@y;OPX+JxUDs4;> zx(bELK3uF*U17DDFvDo?Yu^Gfof^4aAD=C~o2zQPZ{_(;_1*6d{s@)o<1sRBd+s~8 zCR(s=E4k#>9)tRhF~J3Uz6sWk)E-_av!}XA&h5Hz|HmLk^}#H=1#4w4tC$NM?(R5s z`_!QyA>YO;1ZqwkQWuYwPTml6>3v$22Q%>Xnvb6>ty#0*8?D!AIN(c<3HX*V|3rE| zQ%`N)Zrw)-+omSMXx>lJ%Zzx-Oe^P82M{g9c(s57!V4JE~MwC>3Wi{vOjg+%{(w-3xlEid3g>kp_3ucFR^XctN zWfs^O-!yNwIM%I{@yhODhK#SSy}H!37l!K=?6Hu#<8cXMY@{#Kdk(#0mQ<*?+MJ-{918C3@6|A$aBMoXP5;3> zj*}`f{K8v=xXg#V*C=j!q~&j6pD{*8wWq9c}Cy!fc&xzMM@=X`X< zm0cy`B8STN_mtfIvZL?oCRVY}ypo=QnQqD?&xhfktxQznl4C@csh+vl_06UzL`A7r z=_!vmvsc*H%WY7dOaHS=eodU_=tOBsd|&10?t1grdl&49E#qyj>gb=@yVHxm=GfmP~il zu&?iY_4+_Z_%W+fV~)8q7r1We({9DiyNRUk@ttW;p-JM|9i&fm%_iTh7rb8H9a zE6S~Yp<9l5o6kn=$SLc0RQ%NB*#7KNS4ebB@&-FeQQ1!_qx;sDR9<)ynT|`U-PPQy zuPJ>o>SPy@nUu3gboGXTFLjn8A>q;C7h+pAwJ&nG%V&SFCEdy7ity-A(A|@lt@XH( zHp(B8`qrJc_rB!Xex0t+0R<l*bO6X%Vr^|`ZSAYs_eX~4Q!++pnz z(z6FXB zQk6FjbiQ!uiDY=%sh&cu$ol0wXW#YbZ#s3_3&&L^`*qa^8=0U@wUM#*=WW-uiTc|l ztC*kU2WNO@1S5v|K8nf;QVW`;kMc-1pY!sDCobMH#O z@fCOWJ!DNB6p7kg?pW?rzVh*Z1~+%~XM{<{0E*@nQMVI$A>poC#n^! zjJ=z3QbEF`cV_rN+kD&}`MV>D%I#-#zx9Wo}}ZU_qIKi9JM)C92>8_duDuDrH17fD5xSkI%L)nI9g*P7%4@~R(NDhGoH9=TS@>}U4e zlVT**-CU@T-+kRWo4GMNXA?Psn||mFZ`K6kWy8hj_g&U1*GpKB?^y6DB|cla?j|Q0 zpU@V~u`$u0BfiYj>sWze@TqHESqXe8`McHR-1(c_wbq%4`&oQ@+jP^mYK;`R?xR&< z9PQTAmWWf9gO#V zIbI#V|oJ-lm$@tIFL zM;Gu3t2kfzc1zU2!c8RXRp#cye9}wp2k9Y~t>$JgY__Py-yk2%RbRaBv#EoW+3Y#v zGniR#%vUr%PfT7pJBpjr`n~j(g@?Ub*0MZR56^wkmef&qvh7>tQm?r6f*&uGS-u?3 zstwW7H@^L;`@)w8YCYpK1n}EK1KP`^4Tp5!-0|Nz-ZR+kSN|k`ksY7B%O&OAMxEO? zzLklkhAeyGo*|!;uPejUNOI-aCaE=67?EVcTdJN^q}nDnps8Kt)@rli`b4|Rt2y&T z`1W1ipij-ZW!AZS`4H=#zzp5!~73e?-mmNlB`Hs9BCdI&&KKR1N`bxVmseIukIW*v)G3hjQlXJ9zs0w?DE2^ z`}3ktBqt|VKaz~7vp;d^lK6&ZruXy0k`rIZjc;@sgBQwfjhI=oF<$WEgQg}=r8S)U zorRBiWJ<10dV~!a%leMXZ^nCsoHjLSKPA5HM%-6lvT6+T5Xk_>z6v3D{=XU!^`b! z18xrSZZx}4c&6w=dgh0vPSzeXWfapzXURR=g5#A)?v~v;P)eUAd_{EKGNVrpRknfl zO>Zk}eGPqM_}9(VsI_}&5XmXgZZXl9!;xipcYnKE##xeOFc0&(M*2JVm+#Lnf)Mg-96&L?WujyqyQ0tfNl>S!r1jnGNM`u^{ z6j&R^a3TqKdwEv;7^o3C>&sn;VIRWpqU`F@6xBfk!K3^XCf={W@|eeDh)P*u!$SQ7m5T z;t~Dl%0wECWi861%}Hhv#9$Hzo|O%MijyFbf|-SYC$WZM7FHO0Aar7`6oV-dG?ExZ z1}lmE2tgz0G778b-*3^#fP8USnQf7$uME{!5-U<1W(56+c|>8*SWnrHkW<5<2`nWE z*zaWt*e{X73V=WUF%By6tSSjunSh*`M19 zdIUN!SQYyba()60JSXu5z_ZXmumCVX!n0f#z(@oGP-!Qy3fYg)`N<%fJTh!fNBE6E zBI8-sGVmI5P6ClkV`Z}+A%rFn*kqC6p-U2p40J1?U|1^`vY(PrMS*8fXso1#JPZjs z0eKZqr;=Gc>{qEoA|h^h8Yls(EWFBKAlt=LfzFY#Jam@)Iv!yj5*1IOky%dxAW0&k z3I$IFdML@kTx0@*F+3R$`U@W7DBwHG1K#lrRuy|NorKT`PXwZf%fmy^s#q4o6M!tP z@_135R4csga7Fc08jI*<(mb%I@lfoC8K zGl&!n7Qhga3CM|o@sQ0hXha4RS%gl<5E4(ozgT7d^osBVGLe9sj!eR$3&v512&&0c8kXS*WJFuQyWm4%Hpm1WK|xSW zAz{@c=n^uD844AvC}A88k#_=xLB=jjpiWBDB>w->m`bEz7z9tCB1#fq6dF2?h9wh> zqq8e8Q^|xU(C|}4n>p!}0+7g#R51fd=!t0*B61Q4s*!g|WJGa+O~YCaJb_6A#}m6S zgMcU`0t045#*wiG5KmyBii-fAIf5-3oyaCT8~=aN&!AG#MQDhP0^^1%DF!HYWP@~+ zBn@Pup|Me3PC>+&jdS$yiCTbOcFF; zqVi5fWgAol4V{mH@B)zt86Wn#aQ;8&2U||Y=m1!lfpufR=F<_n6G>F8Ifij$#2yey zw5jNyq(7cW$D_S;NBVmIWgR2LrzBpS0B3w6E$JE*}U0+s<8{}1xh zK>V=dXpoISVTfuW(hxrzWS;oTyPG?OGBgsI6~CChCj_B1GU6#fFE2`Q8d!E@PgDwm zCs5|-8lWsE-<`H6i24YcuqPD%GzN-)@MN*`Lez_j3F9AfOa~2)-8r#nKtoK5~LmmTzF6h@lM2Cc@v-8dDpFb)XV2H~_0_BL+0Ra1L0slrYBm$T*?1XH8 z8HFJ>9~>?ubOIRSuaSTv)3q7kp9H=(auNa=agj&_3JEz0IA>TPAc22{9t0H(ATXVP zjbKQS-a|+N42+Nj_-Oh`;2{6-@d1X!dn6*9?iW`7L@*>O>Mn!Rgwhj?G_pZ58Oxa9 z&l3?f1{M{|TTDFMlfc?-fYA`W05C)^K*a{t3uIJ`Nsux?utfm}S5^tb!Ei|&p(l7l ztPUbuS0M+dfTh9mCxwJf0YGF)`pxivg@r;!d=nC+g3vXYo+S*Hm+qD(}Y zK-~i6dO8)49Fa;PA|#`uQ8C1@h^+&v{Bka*;+Fmo1_DPCIU?g9c7X8@JHUXOIoM-E zkTUHclXd{oA;?J>a9Id>nS>Gx0+(sTV$%woUxb?&z&Xf#U{3jjmnK`6pv^a0=>s;!6} z02pEipiG3=0e~TP01_359Uw#A1S@9%L+t=mw-7r(CX*2x4!-YnMgqD+0EVbuD3c?p z6!Mff?~fe-AmYi8A>P7rFu>4-!FR+mF!YdObE|lOVWT4^02zoULk7PJK^J%^C=7C0 z80I2_DMevK6swS*B4RUHkbgkLgiHb?B8!j_DIo)IA=m=FIZfW#WCG**2V1{0S!5C# zX#niEnEbIGWT;Z1r(>W}0zoHM-pRoJ*n=(7BoK^#*uq}q^^kco)ZBm)Yu z@(v7)B`4%u!Qqts8A<;=9pfK#2R)BY2yONk*QM^*RM<#0RPhDS8|aI zL1PZchj_gC@$JR6c_Cuii-*5A}mcHHbY551JjQ^9gU2V1R}dX%=P;q5ZNII zfeId5n%MSd%1QpFxPN;RWU!tHs%dDp5|%|$ZDinI^l;N0SoZoL5_AZKu&1NrQ4ymP zP!Xd;qc!p_5hW*7Sr9DHnUHEmUM8a=22zJ$flfh1j7~+#NvERZq|<(q6VCq^{d77? zPssZr^rWL26AD=fnIN5n_+3!lnO3lv#6Jbkm>!)1NuU6Ngk?~(M%;6NAsQ2Kg;+a) zAz3gAfy6}61waH{;E5yL4;gp_TL43_MS=Zc=?-uHQb<$$KL8?T7F=e;H=w{J2P{b_ z(2#}YBk&fGAO+%q>A3+m{sD-hACQ3MY6`eM$im=7Ag3ckOACgnDP%M(0~i&_15n7& z`iHzsLKq2>YDjK?9ob;T7+_QsM*STs{q_IAcp?!ig$(Kp*$gNK6o#ZpDP#tUen^;4 zw-K7`+&CVo3iRZl^D^`ZWB_?50_e6!}2*NVh6B3_6 zxD0qRgTV!D-NLgG@m}4^Bh8EOtZ1->T^^cL4l+#GhrS z3x2LKm5?-O?GQ3#?+IZBDB2>-0Q`pFgpP(J6i6UqQ351GLRJccNc}1NQ<}DgYa#gQ`Rr z2?P--H_!-ZU6Y-i#ws7c3qmFc%l_s~eh2B$v49lPY0$)joQ_>f!(sulQCQM}e~9P+ zDh*g2^DYz0=!joSWjAPI2C_+vp&dKxi^NvY`GU3YkTIrWNe3`U-D87vDinp#g(+Ap zKsDqq2mgvD0fvULG)N0!FbHi`Ab5Wc_bW&TjftFu2H6>`%7m~TNz~E6tHmsWr-2Q{ z>Hr9{u~@*C!|r3n2AP%oW`Hi{dyPTXRLVAAXC8}$F@Iz z3n44q|lVAdse>vKjXJQ0Rn)3`9P`q)r+5YaA67MW}%z zCk9^}yBRtdF)T^wcqZ!XfDeHz0@y+_zR;tAM1K&|A-04L6+(>UKx-ek=4>*-`Tw9F zvYJRl2z3=C2Bt%28WuBjA{jj~)PS*ArGx&M%G8tihl&@X7$BvASU@@y%n-Da(3Ueg z3C@gRLOL)o)*e7Unu#?CkfcU);dBV#ur#KV=_snn3`Ebf(<{ikK;fU8nd1M^A)Z9& z1j#@Ih5zVj0U<#o2l6%O2Cei z%|t{3NQcl4xCX%t&;-E@7)69J>8L0|x7u$HTJ8_`Lo|bMKNYfptTo2$7!*4%SPE46 zK{W$=9=KtGP!M3KGKHEkmbW28@XJz9VG{uU;+;Q|3pSpLjWGZQmp-sUz#vYsJwLTG zG&UpoKPU}OXT?c2VSuZIOh`v6zH|oC5D#@v0^-$!kwJtHLQjMUP=5q9iCGvr?GWaM z{2!8DgF+=@dl*mxz#fDFO~+Ug1LOQ|Li`&hKs14%5U`5SodF6F%kb>paID>eRuUwm z#eg*2bbhx68wH*X_GKD0kRrP#qN!1E8-AbU55GeSiOLdM$IfLS$b~u+f*`oJfaPtl zntwgXUm-ZakX{yct17w%G%!pObqa4Ypj!a52-q%Y2%1iPw*Q3{etq3~W*zd~CEk7m7@n z`UUHh6%RMs_6aT&(t`>GcT|ADP+<)Lw6!CS0=o|yb2zv&@tf>_nGk>o3IT=`xd8?} zz|%1UQ2`RS1B`&R%>V;eX6n0aCWOof_QU{#Pq|JVI5`fu27xiKsSn6s!Zi%+ICd!) zflqQE!?HrECv z9K_534CzM(7!;eQtpV3g@ZbhbqX`?;RHS|ZUOXP_3<3=9!%v%#?d_AX$_!v&s-jJ4+j~{-&pvahhYN|_X5HNtkz@S z4#M^#0t^vPfFa_^hG7e4RsclWJ^_ZbeX?QLyf46z&K`iljk`e`uy0r!1&_d$#Zmz( zj|c_9{v*N%E(*e);CWy<2RQ7PKAfUjAf=B@WI|>LWgV!R{npNZs0wK%Y>EKtoyfHY zfMMzZY}G=5HZ_b{fJhM(1O^Kbs$eV0Fb<&>z$oZu;2c=qhK5x<*2QP%$FQL~`)~+v zgX@MhM=%b#9s@82;{8Gc?C)GP-yamRe3jT4f2g=3IuNc$A!>{;*-kkb`2U##?nX^b zAFv++5s*v)z>qu{z}UB**sk>7pc|+K&M}q>kYzwH35o;Di$G~as0maWwuuRtb4m}w zuZ$l6!IQ-<44*r}GBN>jEeM-HG>48u%K5-`Qx^W|AQG71eqmi1V6k8Mh$)x>wwqp1 z22{gM7euu|8yMEtf<{fGFB4#sZN8KE|3gnmdtx0w7>Km$0t_iHf($@=2L^-Ce}hbEb`NNbq?g#*23zZ6!zO()Hva#hAL0yb!W9N0H(1y(L}Rm4;8^qn3{@?3 z$hiJJ@Fe|VLMXxg1+qnw4MWfhed?&L0CoS{ZvM{xLQ)ZN3c!Cwj6Hz?o-U$^A>czN zgl<3V2EoO~k`6*%Y#j{3U~K#dhXdzf5({wtzvze91#8R*P#;G(15p678RQxjEW$wa z2VBvcRuy97A50Hiz`#rhFk}%hQK$|;?*_trNDnZ;kYp_z#zgctG+CiC%l2=O4MJ}< z76!=}EE9tAMwps?E$b%+r?>-DYeKOA6*y!O z@HLRlK*)sEAE3$*$pMP|QQvz}kzf`&nh}!%Fl^2gA`;|k5mc3cZ6|RyRe${|;!QixKVn7bmq+y+5CMyD zA{2sijAN+}K_cSmvm3>Kjr*&=phX?guuyPDSO@wH5dLJhLSlJ_eH#F4 z<)Nb=vq8{bY<-Bn{O1DXANK;9?GalBP4v_03D_e4BOrtOcL?d=UoIk1u=)$!XpDx1 z38AF}OJi6A-85wSkP|~~21`yTul(8cAN>XGX9zu^h=Y;@nvIY}pcxOrAatxC3q#2b z;|)L;9ePa~U~tOJfC0GfA&hEeA$?y0Ta;1oYBSXy|gD&{S36hEj7}8P>!9HZfFc@Sf0I)D7 z1$1DrPO4k1QHoNLG^ zA;}p?n;;o+_;d!M9RW7QB=!g#o*B=m)Ks14f7<>x_ z$=*=W`;8C=V!8wX{{TeV1OSF~F#`-udqX2EYKS0zfaP>>!4WL5@5dnNYycvrmwiD7 zVN6i!*hQeT7U2)L3xoI-kb?a!#((`k03!Ja2!~Ob1$~4lB)EZzr91e_NbtqJ_cC2P z#n~T~gDbTdreSr!$4Qy&Z*w6zFDR~~x(Yg+5fO)UKURN1CI#_l!OUQMQs4+OpiNeu zZ5#ip2S}MC&JN2FKH19NCn!P85vbs2Ac6_CG^{0nMhwKhvb&P8D1mNLRGWZB!*=~b z${v=+ZUz!d=w`rsL&hPUqtNpUReQ`h_yo^i3-sHEf^i5-LZ248Ybc&i=K}Uu(;&p1 zz6iT75b?>N_JEi}CTL0|JO0uhe_A`-+n z)8KLsmiwVLGSxR?OFscJALyoO)2{YU(jNxGjMF(7U}&cS!2V>fe&_pX(1L*#S%9Hr zq9dQ`WLNtkp^IG@A`(Qzpu-f|AT+@u`~l6aSj7oF*GPK=VD)FD0q6gNesJ;-r2;t| zl*WJr>}J5nKtdOQA?6VJil^xrHvZYo#z?{jK0b^%_fRgxm>~AMaF+msK@eg@asY<7 zOOT8L9~OBTjd$VpHR2V(5=c}5FvOO!sfm>^!1OPb{?~^BTZ+lgvoQnLdXWwOqwoxx z|94jCFFC;uVs$@c!KPyi@DG)@U(7I-7ohzP%a~C2L`pF1CNt!8|EPFFT!2Up9rldm z&;W>t4&><&4F?%nL~;OzXgEkVU>hUZSp6ODQvaX}LSQ87hfa{`=$a%6#Ez^(yLpsX zW2F=l7UosV!p@*&5hj3G z4q*a-Axr=bJ&2WKu&YhjgFqDt@#>+tiKGA^`-o(3fL9RT4Z05z83forHV7)==VtzT z_0Y$M*kPbLV$z_g6LAn3kf_88KeTuMX8XV71Qk7}#c1CWIn1dg6a5 z4*0wjN;*gfA^ZW_iNw0Yu+}^cp0t?C5IOPOf1xus^;Aqdu4fuN3`}3-hNLw>+{(5G*t84n5 z7F5nTnEIq{k%X12SEInP;&GB;*~iXMxiZ>L<-OAG^@*%rc}mDvJd;V%m#V{OxY@e` zhfP2T#>o-8bQaS!v*5mpW#awF@|<qJ(OrMdC*Kpa`=2RkJ_ zr%7~|{=teT|1m=wgvD_22og;qM`x?m=!Uo*ZhdT`_Rp^X)0Sb{iYl}8A> zsKOn>N=sXhsYk}tj?M_zCOOGV1f2=PVyFdaHTq- z&=`!m0)Xomc{tL>cVre)LRM+HCW~U#9gH>B-S2)Xi7DBZW4N9F{h>lw4#z-ziRh43 zu355L60!m@2Dv*qMR#sFq5oSf*ORPHy&*cJkw-?Fb-~^>3(IGyqjzi6Bq7+WOwmJw z0iwlpaC$pPqwb_)&W2GNQ-RgpJr$ezKTJQsC=oJ@jY_vSIF2DyI7{O?{STp=)D()>g#gJ)HdmY|Q-QdRKNV zvU@IlSea&Xm(<}i$MW)iH#obg8rHwv(jDzT z1P69bOuvlX$;wwQ`4NIU^M*LVQ|}`mFt6fU=^}1AhnveOLyNpRWV(!zSFThOr?fsRWw1> zi05dvs<_XK+heO@&0(7#NF>@oR)6&%TL7usvu|kA+3+9`IS`iX%J`?w@mj#Iu9eom z^micJ1-?@-jz@lv##S4+=Wok-a4`hqyyncxZjW5g$zYuO!ekwTDZ6(KYtCl6B4kNV zl^onS>Q-iHX0{sTDnT|?unU}OVIDXdMMG0@OH}8L)UG(pZX7y_cF=7__ zWDjm$zuQ+jTSyuiye?au%qt~>6qc+HI0t{7N9aAYZ)-Z7Xw^ULKSo%3L~DG6boa=h zk=dE%YKVuQP(e38exKbxdL41~d~^M@x_U%H8>@<`aC`T3{eYYL`QiD~hx`8(*}Qu_ QyEvDE`uy_p%h%`gztC<#iU0rr diff --git a/docs/manual/options.pdf b/docs/manual/options.pdf index 4684b6098a118ba04c5c89de8079b5ace16faeda..5be7c1bfc6b10b6301d307f30f8ddd2d0f12cb5a 100644 GIT binary patch delta 20930 zcmaibbzGF)^R`QONT)PN$nLT!Eg%Adl7a|`v~(*VOG!zCEK<^`qzHnPbSoVqC7?)4 z2-bV!^Z0yq_xJg{`w!l;=bV`{XXcvg%-$v?lRZx&i!-I;X}#uDT)2^kJ{qpJj?U%pH^7t5}jEo`(V-9mrX;+SJO_% z#4xo(|030u2t-55{rgyq`&F)D)7(attJJDfPUf#0?56ZD&Q8tc8Bd?#BsmVzdAm+- z8GKAzk_;bsyMT^`HF2hB}ViC>Ax zV(zHWZ`r0MSalj!kX!JCDG;x}Qe^jI*ORmp`7rV!lO(+K`{}2k?=msr8+Y2Zy`6Yl z+>~wR@3hRX4U&+&2uz#&RPg4Gqn!7(?%LDV{g=O_^P=22o!Re?+&WF_Z7;M{LnB7b zTu!8w8AeaE7;a#SKCf9O9+nj6qVQ3NmB;}@_4bW&Z)6CHlI;riw2V1%Ptik=oc-rI zKA|o`A)T8Wktref)#M`YelplTi*QZ4kB+iI{#0t;Wy(gWf3xFC;0VtkIF_b@>^^@* zXAh~V9#ZVrVYW_xtY7WAf6VigMc(IPgg;vcOJ%&IMU*Zznmj*J?WBn(svsj>?;~-LF^EoouVPsjPVHV`U!8 z4QjRJJ&obXuVWa?Y^wLa z(RleMS{uh}y$=k2L^nL(tRc9RT|ji{&HGjoiAxGW{H1VHg5mwwy<3ys9aiO^ z)!`%w@-Jyu;Bb$`cxlx>ggs3JKcg08lA+_=fVl=!*rn|qtcN+bi5m@I2gNl_9*AA!Fh!g zltgz0N`gg^6mwoS(TUYCan~}LAX6Pi=bpVAJ4ltS4GZ^aBZ|s-JSak!b`^Cq@0E%)K1!h4o}pK*xvH`JbTCQ_;UQWE{WCmfl zeL2NN3w{a_yI~G>PJYpC^YOP};~E4^+lk znHdc{osfLpwO#e4SyrRERj6m*&x@wm(f-fPB`J%X%tQyuZ8S)a-cU=@71bSLe^LR8de2wg*>q6gnw+NpA z^&UMr^?-T#+t>U%w)cD|WMWJzCDSFj!^)WNeLnh5GJqUjI<-%^_i7&|xosy|JMMoo zJCN3Or$bZXaeXo7iGsQ62#4q9#HR9UuqS*B^Q^a)^_~B1Ls#=$xoP%f_OQ>CK^VRp z@7X#YloCEn`#8=a`{=?d&5}g~x zv-dj%l1Qtzz7ux8=4NVr{Q-kjE%xKNR-F}1%4I(#~icA8aIR}Hy zSk2ci8+4Z(_oFtKA_di(w$ejV1Rb}Hydx|niX9!EVZQJ&J8nPXBWzmdS!1fin07pV z_wCN-l`~%N_@c0H$UzL%uB2ah2;i_p?LZMsqmhR5`#Sojp>kUug)EYb*CY7$QJXYg z0pxM-=~k1d+1(y&SYJ$LPw;X0`Bkqnl5s3qc2H1w$D}-VKg+-2>t5frM;mK-=aefO zq&L(n#h5%)UNqQy|BPJB-ZG`h%`CUTfJYQ#m%!Y6)l)WaUj96sHS<48Exw5;KgeyS8N8Pue42iaMcX7cilLEtiMtHteUDZ>)*NXik_`J z<07+nC0&bo>c*nD#_jy@7pel@8PyMH+couAJdRt{-mkV%Pc|< z44@JTvc1{EROQ0tzTaeX+^2>#TgZJLl@%A~|9?9c)q`U9Wc*zRhO(6+CIrXhV;<+ENlk=n7P5r+h>57@xfe4z4|36gf!yIg$V(MT>AR<>jCVn#%X+l zx-DOBQGB@bwIKW6#wH!d-MyiYx3kTK)0nDOjbb+kqXwRwx$`i%oZl~FFO)XHD7Cxy zh-H`NgW0^e`&&03$d)0fZ7uh-Uv^gOk0MJ95&ye0*($ePZpey~WDOpN31;^Nl=(M# zU{-9c#SYw1SuY=@P;E=!mj9G$;PwUaGCh!{=o7s^HSBz<&w1LBs>f4z2uXU|0wg&C zTjqqru9Q~krw1~GsFz%SO^$JlSpw4&no<((UK!{slFWr)_ZS_4MQKqmz}PYQeLfSRW}e)*=$q$7XF0u^#sP-&p{}7?EWR4g=>$IgMEo5Ng5tLOX-(| zte(DwRx_>4XT2@|@|`U%>beAfA1{J3j+1ct(13A#f>L)6>xvmxh)kJ+>z;3dS##{&5WKeJ^{HP!20~C!9~5)k3lQ! zYw5=p>=olXm-_O`)_%%Y`15DdNj%ggMmT%KC`nzpYdh6Sd_AY+si17Vi~s#|oID=p zeYt&^?&BV>Sk`9!plFghHrA9Q*% z;FRFxP9b@rZ%!v8b4Cln=hw8k(&NX~0g!&d@N2CC!Nr0zM6x=sUM#zEkur}OlT#N3 zm(#a6j%$83zx?wq$B4R*L+1)nD!RX|HC?Vt*8j$t6uCxirlePAT)bBdhsb;FgG4nj zyU;nlI#-`~;ganzi@eu~LhY`LZ}vFMn=U2ZnmQ2Huvpr=A#}g@+r71q?Nbq8>WLlO znK4m9m6DkAiYUpFJUyh*tMg0ZP`*=Ue5a_>2$DHEK>e~&1Iw2+52jwdRyk|j7UICHKwa~#aO*GFM8u;6I|DQ?qiRdHA?2vwm!7^ z#i;PC!f?gFMe?E|xtK`4&zr;ggq$D&cJhkI3E!{QSscX9lph6Xntb7+HQPjoG?Qwy z$VWZb(R{@vuN-#-wbDz2`mdf2$@1MWP9socIHexVC?6>hbnYv=H~~~qB|!8B{V9xu z8PWXpxJO~xG%jMETgGXZ>k^aqGS-^vM4vbrtbC=t)^K<9(bn_h2J%LvRca!g(uhc=~mIPwxZ()`zBrh z2MMncZN`yg4tDBanuKdvuA|}|SG60&Lv}U8UrET%23TmTH$9;7hW1aA|miM6QO;!oa|Iv$BZU=?La=fK0^7(ax7YR@>ECYjeK=wUc~#; zo*ixx^(zw;oW?|LuFejrZZog}ZcO>o2T%avQ#NhNuDh&ewjr>X+*Xpe4h`fVTBSQJ<^#}Y&*p3c|I+r9@h0raR`T# z&G>%5ew)5RM)u}}tO~rqn~Lv)**V@u@{cAT=tH?L$3{22tO#~%yf#ESl#+qD{GL*` z``P~6t5)G`z2V+t1+-t(6UNWo%pX)LFh^sj!{u)H1}ZbB~VyzIv5R1Md$p-juS`CyDCsnozXoegt7C`4g12Ocd8mN~py( zo3$0+Hu?U189=v167%w)s(tSH8pgoor`5s2G0R*BQj6ZDcj$rH3z|b0wtJ}py3Diu zlctqP1R!zc=2k7jhS0+hbFxr~RZF>qwDI*}+Qts9cPf_;U8y!`zZ8T&Txm_CVC2e_ zMX)xGn@^-t4S5Sy2V9MNurfAXTz7$vf!!xMOt*7;fHvNo`^E5&@W8oC!POX#9;)@9 zAks~xo23uW@^qDrq>XBf7T4Y{GBF9x?P~p@`2s0>_gj+Ls;fRL^z5^RA`DZJE(_UB zEu2S4=O|GL=>&q1lOyjX}$7Q(8UBNoT)P={SrPO_(WO}=g!#4$1)JZO5 zOfvY)e$p7td)0d(n|*om7BFImgsTe&bCE;&bAGhl6lB<2XBBpo`<;tQBzNA3VGRp- zE$>QvIm}CrG9o{1ZO8uIr-Ie39@6{7XcR@gQghjBJm1OXx8zw8mzl&vU zCPC7eJ9mUDP`OT>SmsJHL|QGBik#`*>;!bUzR_7cdh5#!an8HTW;r10uaD`kL)T7m zRb2Iky)ji4J!~5rP*-QI&iab>uljqf_J{ET@+SMmhK*IR_2Z;|8mC8lY@w=d8Oz< zgm4t(7bDFF80k{?2_xM;8y83)HaoCl;oRe}LMI;AQI@D71h%cRqF0KiP@Bs9zF*8@ z=B8mG%u;z~tbDD!r0Mqe<;}K2$@r$8Ao1~?f!WQ@fuT+Mi8d zIl7DQr}q*N=En&>|K8LH_xbE+R=>2ttX_831f#20wp!VHu1l1m$ddh=bkx|#l_M{X z{5RH<(&zS+|*Y~&G`m#{fI6*61w1vQ)5KD=wTqfoZ; z?e3GziZ}4jD4C7{gJRevn168p^>?ydDS3Tz+ajWo1QugIi;BSHdWe{(G+p(gCD}h{ z2&*v;BMsSy;;b_*tU&05m7FbIc~h%JfVC^+J+m;`>$IDR<^68H@NxWt{XMtgKnhdx z3ekj)_#*U{^1bs92%m0T$7ET(ey2NDGZ5I<_MGJ*^Vq~|<&L6pL9N<=Y=Qd?uMwA| z+=+|S<^w;zzDH{EMK7KxqQ_KegjF#CVm>L89D&;Khu)Lxwv?^y{_ZUjzB=2f{rm;L zQs_HOLH_3O4$tt$$AD&9Xqin5?>oNg&NOjmwpW5o=WE@$c#=8$s)9{a8IO{0lDk2x z^Bx_JyEon*ED)WiSeU;lq%<*Ze5x*El-w;KZHZd~tSz=hWTJA;y@$DOSXy|XkegTb zX(&6{gpG4--rhtO`21^YL?S^*Q~~w7&m{DG7&-eu*N;S0d&7QOX|1jFPqJ>;v|ccE zm(q$Z*j`(It!lG+i&BZ5(^zRinz_AlCh2<**lJL}vRviEkm^LuW(Ir}!^7|9CIVZN8f<7M<)n zq4-3&yy?(LAx_Av$(_NqUp`H>mB}X2(9=BAmR`*qZ^FR-F4+m={3B9afqlfL@`Eca5EfVEC+Qwj4&sB#LDDF z_`=~)(#K1Tq;I-c+SQrIJtbOl(Z}7UB7Vxvd}jUoE;eLAA37dRWW+_jy16pp?Hd(^ zutWsRHJ#V}33E?X5BS zErRug?e;150X$l_RQq+Z%rOI2!M+-!#u$?W2GiV6tT!CDHcdVo!UwzNTR_(FLw85u zryDkQ7o*0sLa+=^EUUY&YEeMm2t1_S2pkOOzv2A>3qum@>(sDD#LM408zAkl-L)xC z&c|djt^gUu)?~H7**7c>MS0;xmO6xt9|I5l0K(9J~dvbRKxXIb2RiihgusilRJcuj`@R~w2Q{v zuJ_j3(x#sK77aPWA@_|Ll+(R;4;%!mdjxnM2iq6BvF+WU_H|kvSqcwrjxBRFIak_k zeNnoSUiW)^TlC7UjvMn|zb;Ie`H9zHZVB@koi2~$R7xO7xxD-8C5c3VH3PVs`5wQ2 zEW?(iJh$3zlvCtqn{>L*tMEZdsh&v%mxDXH?KAVHBp8FILhK(^8Y>}m&)#bmUD;0` zNt7gF(VLUHE_>iaAWit)ef5-Ek>_)-Qo%M+@3$g1f_yFtrxOMXd(3Dnj*H8}G%yd+ zw7MhL8Kdp;NqC4qCEwr*%v+txbaJGcG7tr zyTt4KdpFG;D@CM?#i<0+a~7

W;d4FN1EjFY$=JWTc6||2baUTroKk8TK68#N8^y z;UbAP@OiYTbIXf8hSO3vV*BGOj;s#M(w)-D-U=28uI871C_%;2v)y@)WTu_*Pp>Y~ z^GNaBsp};T3|g1BWbjqI|Gs-IHkVv_n09-r;k&I#mDcJH_mcV@^1eI`0$b0U)>0zI zkMkW=iU5rJKp>DjT2nI-Dvx^^^D?-tpDQsIJdJ`Uw<+wB12VX^kWVU zH$$B>?|ndB)%F{+WO`kKf`59urjrG&?w~mg$JDKUJuiBfM;~^H4LBt;dyZY}& zJ#q8-5a!ASweX5IznLg?`}M>H+xPb)&q%ndS+Vywe-g~L@cy#2I%bcJdu27%=Z9IJ zcC@6>;oNA9CS$xZ6wGRLprszdBmSfj{rq(wuOE4&Ay2ZFqz_rQ0sE1Z;FFhH!e-XD z;YF9qS7cRc=vYZG*oy@E3)gP5-F!iMmkrw{7C|Bgu=m_a38F;@XgUm*~95lM%U8poSbzT zU0A}|A8enYLCQl@Grp&r?}rH7yRLV2+tT^UxAn1hNj)jzZ)_4#XZSwMk!{Uj9Bd21 ze#~i66Da%9Gcz|)lm_%RiE^DuBZlajQr|5JV9us&rI1&<_0hgaX^JeAtmqav#saF& z_(9P|_Pnf5pK99i>e1y~fspQcOM4CRI@0ADL=?Y^T3M0%b7sN2jqE@314BuFNKv>c z@>Z!kIh^%aX?ysV`S@O0Lj2<14UEKen_^@mp$A1XabW$L6=}osvPTTpmZT1rrmE(; z*_#sMpJ(**tWo=U9eS%Vw3@1z7&3l}-D!^dXqE_}x6i-w;rX)to!zrJhIs!tOy!_f#{7ct-c=>5V1e{Ymp;aPIU`D>qUn41Mw!hu^ITb?a2>RG(l`SLdFSV%kwIaa?4(vUy$#nfKOdgoFS7GZ>VM91|5CxmPxiC{18Z|I zCk(E&Trtxvj=JhSfoLrDuu1i;t>7GdE|cQK+Q%-fedFaKzN)frV zX#%d6!~L~aL&2%_+8Vcok;in0qx6_8^-+f=}&( z8b*oo!NPYxms@Osg^>e@WbN%l!L3Kk^fgoI*I660ye!nhgV@9XwEJSNU*7JUDmLnrJqSw7HuKb|oq_(CNvGu_RUIvR<24(N^blmP0*3O6QDA@j*zq&)@AXVC)+({axRZRnks@aVBl|5J}zTU;pXeLh^vWa&`P zgSx7ItKNul>HREptreb1*-ea5xbNxxK3U)1VXAB4(lx|)?)(^^3G=1!#d6#Fu0SPe zOpdyqWw0Zm_hgTBABkp$TkXg_=O>*On7JB1JIaI&!-q?km5sa#dKI{JbVXFn0xy=? zeXx~))6yj8@g4Xme}YpV92-_CZrZNBKL}Jjg$+szUeK5xxj7wr;K`#~1=725g;*k5 z;@qh)Dy{+HdrnU`7kitCwYto?>!>Y8uo&Naj%FO^9^b8Ck)3|P{hHm=JNkexV`{y( za$*%VRwJCcL6ZB`-R1lvatOkMESa%;)#$cyBG$;n{Pa)kv1iRz=}qlD$J&gQ45<*#fDzrski=Bj4dyQz|~ zMd&l!xuV4NiKt>hP}9V8CKzp48g`JLkC{X|2|ICoYE6HuZcjG;Q|8dmdyf0=aAk6g z!o+1qN}wN!s;J?3pt&x;AY4i(_w8M<|AY4IULRV5H5TxwDw;{}uF< z-gxEC=tGc6g&`RsbM4CNbAD0f8QRbGP)b#`bV5#Z=Vw=jbQVYa8a^vK-))xXy^VoK z99vzvL=;fV@99iGtVu1Gs(9^g9LW$$!rJpi9zy3ucMIprd;hzE>THpGy(<*ts`Bha z;ttv`6No>fZZCJr5ZY_Zo;5Sr47BN6Tu&u$pZqlAD|zLL6z}Ktni2Q-_8)syW=j$2 z4BLC-Y_TLeED_IGqp8nCn|BeH*I&PnF(Teh1d%mGS3l}5bh$P2toB2nlW?Nx{YeoP zl@)KejpC(*>}=h*xKqXLx4wSP2sKR0QW41=1QRWugQ|+9v_p6m;{!j^k`XY7oTcO= zrNR%U|D=nnI_W2+yy8m_+i)_En1%CRvySCm*G$u}?Ols+@(J%#7vHE`iD6?z%& zXVJMEk!Fv>f)72yD^|+}wV9P(Ms{^V@3T&+5vXbxp(to`L3*~FS>%IV6_vRdmTlaOjt|hSRzD2|>6q>_iAwloI9M&LLE?^4$XDie1 z>rl!MmUl)HDrK`Jv)c2|p}bx^NzImBU)=V(uR|7*5Ygv+bxjHD!<{23+e$oZFBE7? z-kp?bM525kXY^pzfLBE>pFiv&;lu7~wQEJ^tK8^N!LY-l93x-hbl8|FC-OlSLRHEo zErTZSF5+sfKlbtL8|8+=hkF>F8IKp|&)+_64H*+FP|DzK<*k2#q^3RXZBu%jc=%LW zbav;FfpdI8Ka=@+y=YiYm!a+@i*3&xN)c9QdyC{l@w)If3xl0`Zv+08bJs*FjD};Q zpIki0I_;yQ!SHo>bhPB+yTyX~N;?s`U@d7k#a=h5^tuR2jomw5pIbYxU@Ep3WvXoQ zypnqxL*H=nIBbb4f3gls^)S@!(PQlRsV!L9Jvm8@fGRa0K2PW>dB&1NqMyG z273+$SeN#X1t$G7T#+-jUIs_Ot+(@Te_5o{F}4-2vev1+QS|Nd?8>7(Um~|#kBxHY z0zY`M*U2W&9vXLxpR;M=AF08}Ev#?wPj9JPvxSYb%J|ldExj6}@>z@XTFsj!HbC%@ zKBl6*h`O-)KJRADKqHbmcrK>dUofUlgGIc!Z^d7H>soFxtKUSPrdX_5A0w|ps+;vz z@gSwG=zziCJ=#w>A|Z4`6R*Wpy*f!RH*y;|g^-Dhk1j{s=LC{L6CdzlWQnAw^cg9c z3KKZh(qG-Bn+uK=x#cB5ZtK7p+B#Hkp5NK4#{R6R$M?27TF_l>VtKzPD88Hbv#~_Z z6{C2!`_2w8>dxGQ``(J-64hhr(2pOy>QVf{M{X#eBu;-y|1;s7mg9S|GyN@HLpmIi z(y&0xJd#K}wj7uOj23>60 zy*U4rmt>R9i0Pxfa|cCAY|(Q#XzPo|%;R1zp3|4kMF@njXFYLp(5%sY-Pq3YR+xqq zvJn(@LEABKn39h5jD@rz=c}wYWo}|#L|#nZeI-?6<`E00WsZ*=j-Z(J7+&b(dsSJf zM4?9uMttr{q7pV^gHoFUI+tsjG*+H~`IP*9{k5!gBFZz>n_d^H7f~HZB+qXgQn3q{ z@L?MgMvv}>lwaD-^lu&}eYiueDNd|fzSYWjyR26I>)G4QC_}ApT`_hy#z?pWTU?A@ ziSu=tf7^_pXQb&}_RcQCY|q`#Y5BhEkJf;Vh}d+teR~jvjq_vN(NpwQ`X2DfJl({F zi~RAu%;$_XdkynGyf%^<=Rk2$rvyQw%;-2V;unl{XtAg1f`RH12@2Qf;Qqc=+?TDI zH>RV=Z%zK#h?UtL>x~+cdA{L8mS0eHs8MMMU2YIP7`xwro(Dg8?=%#0>-hBE(VmFm zJ@*o2svifkj{^#kX)6bMgvn)NrRKAG!pHZ`JJ%l%aVFV~lZ8Y<$mQf3oF@(P%je#{ z5J~FiR6Lw~Wd3?U#k0w^*j#PQbdLjeX4hL-dF@b~i*gtn0I)6}`+`mIi_Xp?fJuEY3dQIp@8$Vuwu+u=H-hKSN(^URL&^1 zF19!a&@w->N#*=5`lM$%x+^)npj9&^^hbHeR>9o@S4B)W{grtB<0dq#)A_0_`A~5% z_zpr-dql?Mi=e^IDS7epp*jLBPuXnmb)4Jww=1l_U_@)4tRgNS5~cD&M*#^$m-4-vJ|-Y}b&4U{(_XoD9L>c) z)N?f!k|`UKNRDk)80tCg7WQ*yhx=2cd#`I*iuFav#M~LQaZg(r9aAaxj(V~vVwL&& zv*D)>3o)C zUtK72`*iOOl}#N+`Pws`^G_YKQb|l`)q{_Kmmz9dsQ5Xr?>$%*D1Lj3;K`&Wzt7_& z?v1P;Y#Uj-Rj1}r`>`<>h%}{77e_OL7vAT`QhZypDB9TynI4iBT9DB>iUP}?F9Wk` zUK@>E?Fv03HZrxd5*<=iqZRC|l{yW)c)5I|6S3*{f&XsaBIf>n8LMM=6N>)*^z4X; zR)}!pI;T*Mcm_Y3v&Nf3gzsUsP=8E`!s?Xfg{!Vq+iyN-(%rJkG~Sqh(m|s&@2TnP z**<8P$Iew436+Nxl5E;L6L!h==f6j}`s5ocLea@82K&9QPs-vVq zI!z+n0>&B*4#Ld;ynOJ4W0r-VE0cJf@l-5jmh2U1m>1J3=(`Oo¥hmh{NaYwfDi zZ@R=bCCQ+hRmnddl$AEuFAR9@si7^Z@Bat|enU~dYHOPx>-=6w!d<<M6xtu&c&5TR;6-$z_?}Sj*)lHy2wqgpNyof6`2Y{<0%Ce^nRUJ^OdvaBJFMZ zSnoGE#)nGFTHO;gl3BUwaEnXl_EsY)jp`mt%IObp-v*?1sI=iW{Hg*leZZ2P;x3w`$NTar^G(>A*!{-ml22li%9}~2Z4M%p zk_EK~R}_ApqT0+?Dbh;@e)M^;nid~Z=JC`fIr4LnFZ+cLO7Gvhlhe3sWcZM&P-TSI zS9Uyyz796UOxU(bFN18^W}*8LLooFAv{UBTx)ePbfl)BXC6FBjK{2#^(ZipOC(*HQ|$I+#Qgt}?%iv@gC^ zVWe1^er){hnSr=hb-O_RJQC zTg7Gn5tLs)zsvIEx6|%5$5fx5-~B-{5+!xX*4_E*)FH}{;V$Q>wP8*tm&lD925}{t z(JF6spR%wm%vifHQ++icGFBnia2gOvXTuO#lAATxct*doF$yG86mL;z{^-WO+HG!h z`5|%kO(_hSyt2}6#t&F(X{Rk_&aj8ba$#;ZlP$qt0XtgeD3VY(Yfhc zJ`>H$Qyn{c_UDH88Z(>&1$>ooG9-77pxn(;^=U6i}e>}UkLa+LS+f_iX?`P)aE&Hjb z`;3I1R;Aav)VCVND49FbosX&5zRliO`so6rPQ1td8B&$=rj+ead=PjO{<1_5b!st} z`vs0T3C!W8=q7*~~4n$_E1v8hWZ1y-L#}K|{_C5T3Wj6xs0D)0yvNpk<~EbD&!U zT&ueYH5B|vYON-j4jq#LB0i!U0)gLz1tqNN_CAtJ#yPBtF4JV@Y$$Tv1;F&X+M57NPm z_vXwNbhQmf)S}qU8lK(1Fm-|S_;s>i?xRNmLLv0-OD#Iv)}v-o?5P%0_HG zM>@-2O@I{@UwY_psMbT*DqgH{M`g`&MsRKfIW@E)9NuQ*TBpb=%yA};_Iw{@f){PZ zv)p*;#{qrSA@vuN#M$OzE?8mEPkTMO$utW6lL}40Aa$nVOAQR0$AH&1g1PCYpX)@( zb-FPyTkAk(M;!#;O;mQw2?5$4U?DqNu=#soLAO$`;aN{(xqn4TJ7GR!2eO7e!p z$c;^cOiIA7rc#Q@@72NnCTw_1^iOIm4fIL2P`st}Gm`0(KVm8d>1! zj}&sDP-lm~czic>clr+JJVsiOf3hRzQCgh$N6w68RvsGvLn8KzDU^+0rRDbg*>;|o z56SXf2_PbvS1&)HAY5B%irVK73l(~n+(vMtq*3}z{29$7nv~Jv%!|!tE;KS1nq^{J z48Oeoo_GCPciAHCoiZUFiMjnn#jrN-d!DF4tM}U-rwD9id{|?Ri~^f6d70KWaeHS8 z=ijy$$9V*__0sbBF~@E;fF=DYMai10e8@PBsU4EijD*ei&+k|7Xm!>H7(cdWHpyO$ z?{XOnI~QY^WRZBMG|?!wg}VJ>6!F(<;TIe)_wH3clL+s7=(6Yc(+#4bjkAbA8<8D*@qi2TZ}FXWc`!JdA7K7{U$RviMQMB*k|u4*wtq^2Tol$=slY; z>0UQ6VWM#J_{((XOLw;_zJXZl>u)a)ofZoctwJr->C`JcG1YPq9#E&hOkd2Lx@)Gw zSFpOeTDQIv>62pM&i+k33zRF@;2MwIszo+~M4qj`_~WgNU$14{x=jHCC%TgIF#Jjt z9STVuD|cs4Hw!Cw9;w7KPKm^Pjng1>;sPmCqJq2t5rhW@O{5oLAcVkp5)}-@gKrzv z-Zla)z_A%|pf(f=NH<^&6(jbLejrHV>xr}2qy!KTArBk^T-ZRyATX9C5u|{%Oav(c-)rAz ztgTN3serKgi6F*W2H^iqfUrN4Knz&RWKd?}jweGc6Bg7D!V+Ks8C48Oyq4z?hzW#k zRRe~rrGjpNu<%q6W1`C)vD)`(AXZ?ZG!RoF$DnAfbOwkMg#DTh47AS#Wq`1TnZOzx zS)hI_Sr&*9`!x$xhh5DAWUNtu#k<*{1#ERTFnToygaBbja)58Zd7wiqS00EVk*-O+ z);b>~2Eq#G17q?FKx&{wNDLzuuvx5Dq6owQ!fqA2lUA| zh?55lpa_iyo_;R}0iUS-y&eQC1w8#;5CR4kk@|P<<`D3S8NaQCKu+xVZ7u|IV#sfM zAwXP8N&U720y$abUsKr4A&`@0ei=jYNBF^{YNsne?>Mki6(B0?lQj?z_I*Dni~OH8 zfq~faeh^b_&H(5KCkTPfUIT3r|5`KgrU5I~sSHGtIAqI!?fe9i0Ku?(pFq*TsGxO_ z4G4){TL(FS|J|^LouxaE@jr(1{Nq#};1~ecnEYi9639m;Y}y7$0(*Z0bQ(Lo0iq}V zwFb6f1H^_U-vlX;0nS50&`=~+dlSU*zbB7PP#TaabXy=p3=9eQ_TQS5;*?9CP1VB%~<{&5b(k* z3U@ycI2s8=56%QB-2H$dXel6KaK@pbfUP((z!yMt{Iwnw26*>GhWX#tAW#GthI0sD zC1n6Vi;#G6a}Qt|73uEFrWnR)gMAY1RMeaj_YTr6d1_& z|4sfiR|<^8-7yr%b^N)A6W}@d{CAd67!(750j^LAhBp}oJBfXq$uKnD?qCSKql3cG zh(C9HvIrCoxZ&4&m_Mw6!{PV?QMjG~LlKY@Soqr*1ndN9ab!pUZE$2r=-)AO;(sU- zh8J8=Bm#`*E+i5!(V$552^RmY7zKgh#RBRVl;VtoBQf{`kqErq0a=eX4h_K%Of(Q6 zxW)ie@nxu!x_UU@)E%DXQAG8Wv&zqaZ(fiRsuueK>?r_-$1w&UYJM$DS+oe0JrgUAi$WD^82@9z!uyv zkwU=#0r)>%jX<3gw7=&f!3ex#LjEfFIOE{(fAs#5xhEdPGY0j4oF_^O5A6X73QsW_ zd{T!0Rt%KSzw+Y5|59iqp8H_{cH+7V28RC=G=F#j1_3HEjuIFIffsNv2pWZJ3=9ZD zVE=zx2*d}zVkr8AT>Z5Z81(;GPzr*?#Xg|U;$a$03iZ2|Vg5@U7!1GY!C-K_RD{8h zh(9Cv#3~qo&VRY}Ll4P_%Z}ueS?DmX#aaX3>XfseHhDX`p5aeIT zbz&+U3dTc6I20d0;7~Z~_l|#W7%1KVk^F^!{|gW}0M>Xr1^^CkvJ?`ySN!cQI1GYs z3=D>MoN&Nh|9JuP4^0M&77X95aMZsj^@o87eBug6pzs11j)b0EflfaEWf*|Kcsej} z6mSB#1A)?y3qF7Y@lp|v!lx2&G=N;V>!E)Wr9X`Mhid-v|NksRBkm)mI zGXepY!sD|DFn*RGz^FgQVSe3GfT{t;3od}5!SIwo02+?7I|KyZttVt1*MkTs4DSko zz(A3BX@>yd7EdwI!@xaH0DAt*^BYk zV{<1}6xTCw2#}|ELVyC{$?&f|NH`j=VSz*djRoAfKoa120fGLP)&Id$f%_XCwjhBO z@mvkSJ#H)_0qn!gNT96ZQ3)gp2bNC!571-0k`6EqJiI}oVfZ@%dINX{qS1JXh5|$J zG8gDIpz(MrK+N%K6bg*O!ypt8)wnwb${Svmq98~-tU>|Y`d>`@A5R4m9M7%5MG%h$ zqM!)8t0fAGKIz4seE!QO;7X0x4nax5aTp)qf8g4IBLrl?ogWwI0I0(2rJw+ki>DZd z!Xd-JdThV(9Xj_Q49c>V4xZO_t~L=*uqr|bj$Ei59qGo z#Rrf$ct{BFBs>NWL=149_=SJ}3mP;)O>o_hmI54xYak3i`q2QSjns{|lfxWR=6;sehZpc#cP1MnMnJ>XJ>8#6$k2A^dC9ag+pKm(;8&of9A zUX4Hl$&IT7je_H~4*-lh!G&M`|1W3JX!vhn_(O&VJ`mt;k6Vrb864MWK!%r1fD9nR z|9R#go(d#86gR2?85|du0U2Iz3h2ax@y9^{R{Eck-yM4(#c*Xnp9c5B1Ka~4xD^nP z!Eo~(ko|Yv|LrY6hQ_TC5a1e*TNMG>KNxW0|Nl(}xF$|H29guF4B}c12ih{YG6c{f z#FN2st0x4wVEkF~f1N)BXj0<>2q432fB`ZDZqpW!p>b0dxODvb4eZZ)0LTysJOhFH zhwmDoZG`6qfNS8MC*W(`UekxRRvUcWi z`qjey^{C8aEF*ORei450f+7@#f+<3P2AYzRilWp-q$2X7B1#E?lH>XR4>949lcR9= ZFn9B~<7Q<|0hkMi!YBj$!gX~R4RutJnWtT0hkX>X(|F8G` zy}!4d-*x@Zbrs*|+|T{o&pkf(_`5Y7j2Z2j76Zqkg0);6$MVjgyBIvykq4`S z5~jqcv@h5+S;(>F$BtSHpUr6)o&4}rGVsppsc-N?!H;kAV<$}C&&}+XHF&n2)uI=7 zuy_nl8x&EKzjW4W@A2JVul9-CtuMT3XccRod7l)RwbV6TUO zqap;^`P}GHh2q)*d-VMzTgxg2P9EjkSjma?bK%)DzV(qt{TCwbiGFDQD5U=y;}G^- z(JQP#)|rOV?dtJD<~8jG`8!*gtWlLyt(l%fmCqtxRW&KqR!gFZw#oDA#u&Oteq7WQ zxs&p;&5gs(XD!OpJZK^<1V)SXiX)@pb@XYLTwff_dKOhs>6$_}M=;E5r^%W}T8{0? zT9wj!&R)v9*KPbdn5hDFhU9r*02MQvG=aeMvoJq&g74$+XSbcat|5vAAGo@yzA=7a zJ(4AIJyRr2T;Cu0y)>ckepe;i6M@zzUM zB@QjNaNRqpaqp)e$5!33+xzUkW;kP-yoMn=2Hpr8UQ7!<@y; zZ{M>e44iCMTfH}Qy8)R|FZ9_21he7u>7`A@M4=*E?Ic12>k;w0#=!|B;RXZ+U9DsU zF0w-9Y-xN3`cl_Jh%?zB#551Dtud1g}^Ew_^pRRyz-=pkFX zu!V(SyAk4oLHXH1?{7J_x?@*!_PCH?w<5Hntf#mib9G&MPJerR^fToJ!Mj-65oc=Z z#D~UO$Y_Cbg+R^cg(YT$%uF#EV~mgMlCqj#Dg-=WG+$1USf?MasJYMxt8cjtK8p2- z_8|NamAO;m^&*}8dC)ojNdcUlr`g*1EQj`o;+!%WZm+Vsy}?fcO2ohW9H2$1<6m5R z_+(C9_rbyP@ZHI?cfSyb+BT-dVrl&KcNxA+X}#_7)%Pcx{eXL;M#F!QxSMBx^y=7o z*dwpu_Lu28(LPNfe?~!Ne?~P9hyI5|x`P|~)NGdDZaX{=GFrKkGY9&Q4t@EA;VZH3+X(T zsZy^nV^@YPNw&t^MZxJ1nO{+Nr@nfWZ_f3Oz95si^I7H6qJocdqd-*x4Q&uV=KPy@ zOFH+>f+5(~pa4W@i0$Q>B3VKRi{P)N_nFC)1@WqEm3!}$_=3CES;jtF>XGurv54U0 z7_In{M|x#8U~yMhAgq1%S6OVZ?;K+*r55)t)Tay&e|N0A>GlBhT=r}GTC#bWS@)$Y zPZUHgb)!CCF`I4g-eaBvktRw9n&>7Vhj~iK)@j9!H)3D>vQHtUI}kACy!YyTzrh+= zWm}?g<$w_PY~fP(!#2aMj2r=hk+HeXM5yOGZ{LTn>$)m06N98Qq_NTBG|Y_e z=NB(`aSPa(bxEyO6;Kh`C85^NgqtuTmtE8@TIQ<+yRf!-IehJST$NtBVAwTSUa~N} z!m?x~8~bZIJT zYxOqW3=1Bv_3W7+Wjbu#pL1EVA3$YHJN5f;i_>T}NnO36vGp)%$Mwz{DKqOHRp(Vl z`)?oAj;x3&L{mN$x;1$ict{u;=o~3L^9i3_D+pp@K`!T%S`@jUn>Yoqt#avF4RzNv zUnV=IWq}vEe?Fe)wV7^gc5ujADrz;^e-itETar4iG9Go-y{x<;Pd8ysdF=|EFH1Pa zcjKZ|5cBy@grGOuFf(xIE&q}OOzd0SYbSBa7#;}v5A_IE4ES9(|=hvQSl+!WD zD3gmRUQ2=@o2()|ZiYUmypnQW@OY zCX+7qnc|hw@#d)5Pa(3yGT*7Q-mj>pK1Dnbr#gB*BKcmOXlQ*p8hf-~r5XO?dba>p zZ(m0BU6Xq~Sk2nGINuw`*fQYWC%eze4=L3M@9;*~C*c&ds=ef&F!|9q@OWe?>zeO9 z50l7|&|~MgmYgDB>q)u1L+Gcs>H4AJd;eLz3GIo9h8{1LR#wxe;7|-`)F;q z)M5)R(De=QHvgw!2~(%5<4e!leujPRlF3opz@i< zK*whn1t_h>&9;0#ujKSMZfs_PZYAamm^pMc8`BL$>5WwTgfsHAh>gbUZSMM^1F%VE zo^q_4e4fK^y+o)7^<3UL!Xr7{Wrp(8mo#$qmvtS(%OLSz>x+30!jq#uw0b`85Gi}_ z#%Q8YT9CEekhrFZ&{Fa2Q50!&%Xn}Yah=Yb@Vqd^sFcBU-I{RQXrCNxjN;7jP(6`R z(GB98H0x4ro!hpbA4gk{7xLG4e}9WjL``^yKjqyz4>`;BE$~Vx{|ou0!H>-Pgw-{I zmfFPqwt7;XD=4$&kutM!dDfp2W+ir`E%vv@hH^=FZG!9v`^4TQmy7N}m#HuE$gy>| z?z4QSS-NR{RmTbQI>w-cs_ku#;-0j0;E`7EF`2-pi&^r@&NtX8NL16loYhIZf+c)) z(D@QklPo;3wP60`V^?RhFX@_s>5wbUbXY-ER^Z2bxBZyl#;o3$o%x3Ja+gl3Cn!Qc z2Wz5Zam-;gmr2L@(MwudT71=Q)5YFP3a|We*Q0j}7QFfwTLeW4f1q~)t=i&PhqF}^ zmFeuBuq;J~lYOE}tD3G0>*Cf+RL4%ul9yL1+?@XY;`$XE+h)&M+l#0jl^iadoBOM( z=ol?CK~#^!W6Y?)518K}C{eYw29;}*^Uc5apyV6%FQnddiR5}iN@P^ypfcr{5T8_s-R7>o$efI2>QfHd>{E`a31^$qOKIT7b-{Yr5e4C-lUc(D!x5^hP#Wm z{PVWE2{XFCx5N6oovX_xC^iM`-tft?P!p$=Dg1$_PFGaIYdqeq25&IZ(H}n zZQ48?+fW`oKI$4z2 z*L;m&wdowHPlo=6FCUeaG}0S4VZwj8T@%u2=dqF;Asbs#)kd8&IwNGD6~}wQhxb+s z@UI&qIB4@GW<5bo#xXg6-~dYX=}b(25-3ko<7iWvF^;G#rRBVPFP88Qy{^wq*30c- z!dLXQzDqpIinv7cd4##P-@3BjdPKA>h3O^SaS1KLry@deeXZ?a-6EFa0{;^2@a`*l z8xeDLbj1n0Yx-d z40Oh%hK#^%zRn#a+q(T=|noEIW+}^YlmWVLL^i2+4oJ? zB0f>Dy%X@^ch1dQQgTL2E`1SF43Pq3@vnX zTFUg!uW#tuP!m93alL*EITMeh>DQzl{<2v%7?^0GzFXOz_i$Ril`B0qpp-&%{?k?W z8g1g{RcPZwGo|wnOtCz9DtBXycV7e@TVMOW2N|(;8HQSG-z2VlkLaAP%YdBH*~Db!e&ez>T6!Bd!Q9fr;z6c& zqAAk-l4-k}w4|c%B+oA|TqM3(Jl8^*94_u=pDu zccO%dMvjfNDYe33+21oU*6qD3&UKNE?2@du3$uWJyA=BS`*i&Sri?n3DRzDH9#;UCMOk;#%iyil%0f}4txub!sO;;|Mt2hU>NM}|?o8qp|Ik-?0Si#g zH%+OgrFBFPzqn!oU#cdlWWK-An85kOf1s+C;Sn(zYqWU!w@NH@=U20SlF(a$G_B8) zQdzmn!wsO$6h?Ht=l8z!ow1%XJ&05VVR;Ni9`Kkyl?Ee&@)L48 zOu%jWIV`pGEpg9+X=#HL-~Di#xhY{j?(a;-*8IR(a&@qSy(GBty*Nf_U_o%eY zi$&N7%2)G*5qJL4wR=a{#Rc}Dl^7k9itDZdT(mry$BN2l%LD}2_BSWygMSfRymYtj zq(-eGfYE^nkuX?18Qua^VgYch#Z}Yi+2gqr#*rf-rU~UZ*;mDb`aa0kQR&Wtho5p-EdQ=f2I9F z;}|Q0_fd;Q+x>g`O3%i&Ms8u~Ig&O%148HF+EMAkHdT57MosSr9)^ocJ-L|Wf7_;6?=ce&_$4%nyk3Amr* zirur4t0}CcPjKRsSO<$&m>-iFy^lXv_l$)d$NXq5nUCeJa2BDT^QzTK^7btBOD(;S z@(E)m`$}AI?~rrlni$a%&-Z(`ktTURKNu&PAt@tqHBlEzC+dekzMM!?>wg?kiQZMA6toZS$nn?hONj5L$@s6TCO88DRo z__j@6|2w!+UZCNc==*`Omt)OwtRsp2_ghH7258d6kI+bmgc}lx!{)046hF&31PLOE zZGLF7xAvl7_Z&)lycG{pQ@}`pR z)C1|Ci9*zim3Jfua||R)E;VadicY;GSE+4PXkjYgHgXB*!;+CTS476uQk)l(OdaMp z4%yFObmiHzc>Fk^zTYX)8e6JXIBa9?zA4j4KAs*L#lqnxH}=FQsi1Eu1=QU;#Dt4cxgw0@rT zE9#1m1IiU(O`=$H>uQiK;oe$Uu|QR#sBaaQ3VrL>RZ-sz;%LYe$+*+)*Q8WmsxN<1 zUlk9hI**MK$zmreuG)FrnI1zk2mVS&su|6*TzDjV*pj?+m6%i)W4e{OW#0B~J9B$f zgWiJvfYqmHaQM(Q{^7-Y^`v#8ISo$D0xvj%us>aqq>+7C&Yx2nlUJq~;#va=>qToA zby&7lE(CxoW6__@J9TI1O^Ls;-v2?{9=e+JgQs&g3aFfxz zdT;9z#5mfJ0{fnw=%>~0#ltL$t9Ljz-n}!{oMDYLd$+EqYOndNkmU9t$YqHWsJ2uy zTMo{6HV=ciW4;gVyN=w8DG%af>Yw|(DQ-cvs&Q|){`=$LajLr7Nx$ofYF@=*B381O zKLi;+%w34FFXf?S9vsSFj4hkpXi4ZiD*8Mo&ZjD7@-iRmA$H(HJAS>6oFTKXxrQ-W z*!#)>Vf5Bl7rCBk1%rBIys2ywh#&b`7uz*UQfC-I>4PoxJGK*15g8>{OlYsSjJhNT z0>7i&&hpZK$jmUmpK27|IN%p;^{LyBZ7`ZbI^40C|0B1|h^MWGA0|G6ifEC^DQsuB ze&fj4HT3{%ugYyu`e`(TzPi@XH@nlnf%hiamBI$wJEkr5-`1>`GE7MMf{ksfO+=W6 z9s2^~RQlh~Jc4!2biZ25f$+w$1x&zVy zgWt|`3i|Z18#90B*0hj$5!O)r)w)c^iUBmaOC_52yiPYM?SPwfOqRNjbf>S7?e735Z`OUVj|JFhSSYIo0^<1y^vC50kvXrDvR_Vf5TJdhX(y$>bGB z;^UH&TfWIkP{T60!ZVe~3mRS*B66MTcQid3LGZ?_`!Qx|7B zj-IdeN&3ywxzcLSNqctoyRgT*Ecw5QDX=9T*`Tzc7uQiIo>M9Ee`6`4@8lX*r2a}=Bqwr3h`#evIzQB zzt4SARB?P|k(|B0ZAF93us2Bv7t?%e?A`uo&4eP;6SVgadoZ@sFiL$Sxr6>*VkX*%R%?O1cf*`uaZdpPYkxzVJ3!PSR)9v!{kDw1i1 zzI4PD5Dap;UmBg|S90*BcISL(9^!w6WL|(vlM5?NdTpiu>wt-bdoPlig>!XQ9)7 zaTa?CJKw}7b7{CMHFqMh+#=&km39fceUmqrk@hM-UmRb(fn}HE*{WqHzt$x6x;R$B zmClx=N2`-`vYipy@vC?2vP;lcS#WZbp}AtzSyAq(v(b#ssA_cAVhs~s}dO&{mNxfd4r@~ed>IaY~_N3j>D8WYhnyV`zF$2Vfl;W;h;pv|jx57ZLX5(Z-Zy zR>qC(_@e%6ugHr!%L-R^^qpgK6o8J;Mk6U>CzHFR<4WL>_& zw0*~%dgMN~UdPUSDMvtMXm_V^VMAu*d-j?$oc%4fDqc&_I_0`_m{^pOGvnF3?i$=x zEa`x#j9!7IfRi3GTbg3OYxK>&#-^;dpHjm}E|8dL4~<1L)Qa|NJ9}0)C_dnDnCP$T zO*LNqL3#{}XZ(Pm*yNFtNz7kJ_H($qB_)2y3}=6AG(#Gpc9ZSBLhXd}>z*8wr2!G5 zcL8(P&XqvFY?CG2g6xp!u?{vqcU~Wd)nGjW<@O7iY98fTnHU(xNeA$M$iA_Mh`edn zr$+XsU2SJ}>4lt3%8sQvTDuJN>^rfU#iiL%;gQi%RGGjiC^4!s-Z(e;)mV|C^-I4F z9alPggqQNI!!aXPLO<=bo*}Ox8S`bHw?F%_%~=XA%#1%NbFNj74f`&Z7&rvDc@|>> z;x~%&VLmh+{>ANr#!ufK-QRe>$E`$n^@~9$y;iFC<%s*V7b*osxJrEscBHnhA*^Q4 zd{WDCf1zv1!_aT}LVthOB#?62=9Yy$!{NupoJe% z1e?6`nxLc3UJL#LEegy*zdaMRdB@#EgJE#Uwa!aWz3|xzceE~FT({oiqma8YlqcQ# zA(|OPslpFqEUcDvoF`f*HJNl;=2vN%pqG4yi@aw(A=qSSLsF5xvoQQRU0mt$+rbf= zK3O)kDwd-}^$*(q1+@$Jt3#Rua@%fWg*PLmFGgL_&4+#DdvEWb!6>zPH&smzITUI- zwEpeNMBkOyXfvvU}fLZo%ID-QS7^&HeRxt=#vn^CG3k( z8i~ld`^9w8MVc&Afmw6e^;;_r+4TL2oD{^P7tUNt5E)_GmJ!ZIbt&U>nTK%H8$Q$loK35&9?9Y7|-)tkz5zwEfbHo3FOyah$G+)vlVH&^i|e$ znOE-SG?9U;(@UakUQV6X^sG^s|CmOLarHI@ZzYBeF2qg~{*{8;%b<)}&Xq@(3-`vE0k+pT6An{Ls%)$bYws$+skm1;K73u_&~l^qRYc zC*SKiwLzQ*%j<(J_u9lAlR|FEf+~|ImwzZF(Wr69R-a#_P$Ke7YhsS0WTZN8IfK(? zPHmsPW_y3LzKd>#-&WwcVSluh{uR-7Se>|3Th?<#LUC;HUcRFP>zwW8KomAL#&w*^ z_O4~;Lq{>x-qId}dqYa}&+~bvk6gmRc{`UVn^3*R7f&S?TX7XkBCfbeSMQ!aqm~iaXp=pe3n~~ z((5;4F6(Y2;=VEWY^|p-Hb_pA4ED43Nm*{raaChBLw8w8n$rFDm07=qm+5M=^t2g@ zIaC&rt(T3ZAdyW>mkA6~tQNlJzf#To$}^R;D_$HAB??1*=}(nc7NyJoM1{Q|L_kRC z=KFeXc;HN+D*uRi&C<5K{B?!U>~J1sbBUQ@xP=#4R4(H`r2pKbdviZ6KBDt8j%%+t}7EVMMbL zlW9%r=30MHZR0e}-8s42F!sCHv2^vHanJ8HcnN3UzgBc{Vu5slE&TocYqqSDH|}5B zGc{;p$up9>zxHuYc(a{^8`Pf2l8qj{6VlF}q?g|C!r;BXT7-qGzXxn0Cslz;NobYTJh0JvlWXO*Y*pndFGL%(`Sd+JKPes2($_J`fvK8#wi z^N8D9md48r#Sdk|FW=uym;S+%uw5aPcFiezlSxjZf5X6A^L$2s2YuaA4`JQ)o_+l< z>De^TLO+&Ze?E`w8*k>LJ(tLX4bC$3rVb>u9Bk=8+8mUUX-a$OXtXE1(xLD865E zc8fKBNk&j(MjRk<$-ZDV;iygDswGqj3>|7Z>dG8<{t3ESQ=hxznz z;EAbW4rLE1=fkW!*DCsZO-qN9T-!p`1A(YB~t#NyM zKhic8f{rbw)(~=`%#inD-{#cVL1YBti&r%@DCbNRqn$3@SG@L3lW2|7McTs$TTt-P zG%@rYPtD!8-tK3uVY5mP#~GR0Zp~FH62PR^YeKgu6%$z3*M`-=HNz&mW>L?>x!1n5 zL@g3Gaj_ERS+(?Bfvae<6mlH}_&;XlxLli%TV<}Yed9~DzZhl0GfxbWruIu^)-2k4 z)8E_ldF0L&KZB!gT|Sea7ZR(wa7Jx1#qwS7)ss?tP_L#9cj*a;5%}AKXYq9^RD>`z zXMBT-B_R}!1pWp=09*50@vTWXQLPx}&Bh-{q(qY}(@-Dm&>zG5!o=TLd;8pjW8Y#! zUS<0`4*V@3+8Q zh$Jl4r9N8NV<65(cln2eXJ7k~*zJ7tE-|c@c`ivXYi2M<*?C>%mBoxlklhS8_8j$EW%7U zwi@gELl@ztcGFAeyLSev?fjJr-crUA#3y}f*^wWa@T7~juXc7GT0D~3YLtzYk}e8~ zUs@N)>x#H!)EqVi4{L*jWzWpcMUnidWlssxHTygSeulNCV27_M=31#R2w(Mma<|Hf zr${bN5FAHmmoKqoFS(HcFA+`AGIoUv%E0t2ztcv1*(g*NaN zv+D))>a0b3NiBjc$kweODQ3+(Mhn$}RlT0h1m$n-3pV1S>=&dp^}Jq@HQ1D(#?k@JV23dkc|Y)ax4A zZFD63i}UT-i=oC`m%S-dvR%|wc%+tzG-n-T8u*>|CNZCXcyCHDCg;=2pO+^t9adu-K+gXUNccknl(xT!+IlXK5P^ zp6w7$zZvQ7Zg*$J=xtxlnjKkxaC&@)8{HYV8$@W6B{1E1JIdu{5!I^s2x5Fw-s?FPQ|Uyf#`ye^Pj0_W$JlV#?+JsyET$yX$xE;BUVt=yBg zAI;MebSeU$?B}>`GSe|MU1lf1^71oiEYWklfACQ4V-O>yeYceJ5-k2gwBIIzN$znJ zGylcnK@N!89TVr!`FH24a~U3e>qtu7sf}@9~%?W z)aoV9lEAL_)jD@G$}j^ZR49`Bx##+vN65lW8Y3c3h$eM%Qe^rxnIYNzG^{J3t9Q9z zu2i0i*`dr6@|xz6wvu$Gq&QP8G-sp!=q>offipwTbF=!c5ULMH4j_FRntDCTcpV(! zl>fx=oL-;F#c4%$LTAG8r*Yp+i&RvH$~!*F%W5)z3R@{OaIA7IwOoE6iX#ZOx5+6L zyG!Ym`1EmY4PDRpnVJvx>fu;vGo}j~*X+SK{W32V9oS*KCH5e^v>tWD#}I0*dGJM? z+U&V);P4t*&F!=AM;@S4&RjIwQO+3gFu&VV!}WOd2Sw4{Ca11usL_j#s$DOlvZS8r z>$mhXI$zyQ_iL`!rKeBXxGUKwPBSc9b@9W;=b3MW3e0aHV~U@#hSznDW3ND4Yv0X4 z&+U|wy`Zm%aOx=>i@4cbwSA+h=3eB$q9N!JC$qWvO$SIM2Zk*?)J458&$Bh!yRH5k zT;Cx4_ODkJVU{s+zIEcy6kntT`j?{ z5mHM9R*&YJqZXSaiz7^_g=^UQtAaDHTnf_=;=;c&7pdpv@|t(dYA+CQzT5q9{)l6_ z{U>Y3V3Yk!5;V?4^O1A++znaZ{F`q#r9M8toY?u;PsIqaH={jjA$}A%R0MAua3e9Lt**e`M=_R5Eq zILlnJgz@e3TAKzzZTqvgS^0M1NGofloJIS|s=7zTgNju=sN4A-@5%2pPuSB=xTY=Om2EaN*t=%?d877o*yuJBVQaHIs z8yA2DF~on=Es3XQH)pp3`qF_B)Chd?-CnD}WGK@dE?0?PpWAL}lJeH^EDXA(>s zv~eipBM5DOyZkP$Ttq2Llk7w73&xJ&Hv}f*T^_HFcG(pMD~V+^Sd}&+7JT6sC)$p< z`Q-wirVPtH5abcb^%qHyn_!vNx<_-|8T)PEiR8r9-Dug#keAJ>v2*A0GJZglH1#7O z)uY|7aOX@szgrB3|8NwYQN&8(m=e0mRVHPOb=AjTo%8+9sa3dA0-HCax6aqrZ)8>5;{`j2p>k%hbUs9B9k0%C@oF^z7k#TM#1p2Aw%TY^-#I-Rj~L0$}#9h1&q zD40mozBsCuJG_BLSxJ*QKFZt>i$nQGCeRO9L}EVh>1LLDte+|Ku&H9%`YNK{`dpV$ zpV&}O_1E*ZG{qaX{vTKDdn((K5qkngiM}R%i)WSwn+`FN1n=9uOr4EfdbLDHc|ult za<><9M_k4-2q>B|3jDt)LWYlmbRfFa7O&M|O-dz~%f8;D4@w)P66&tXthFd0n@t)v zc)Ej?bJf7T;|=B>%Tl<1l&()cGup*xgL?XXv!CObAnj;}G9F~a0D{E3ka9A@p`2h& zZHlYfx7?iWxmw+FST5kN>J@Pqt-fl-$^+yQ?_$A#`x*^uMPvR}rktadleL|rEhh{L{(D8{wuP&vtCN)*umt&QNkW42 zmZPmOj zKz2BmB;Z?>M9_N>?oKkWM<@v-1;S0F0Ka0BK{r4+Xex-Qb~6QZ9fXTY1Gc~D6|Qwj z1+jr};u!!@RvIV`gk#SHjIW&mdWZX(31Yy3GeIwLp0SE-g1@Hi0h8BXZ)M^%kSP9U7Yw+s7YW~NIe^WCYc3RDF2rjz>w1e9#15uqQ zx3;AekPv%92bh6VOpM~H1sn_*=szK00S6Qe{hJN&4H9^O|7}eRIGPg%^oM^%js*hP z1N)EVPb>uknEd?>5(Vr*{O19U03MM4dBB`}gF1P@0;ggyz|%kMAmEc@|KSG#!vOC8 zFob{sCb0ip-vRT&wN zPxy@x190NO{agl#fDkyr6;LDyg{xZu*@DnG&Q*{D@FQ{+bO8jxt*!!eJ*yxH2!s2z z3gTk;TRFe6LV$7bHIRxB7zPG|F<_(+7|IU@^IxX8s^(-ZYvF#2Q$Y3_6bu1_QU8$O ziq}9-0p{}SAVVw?4e0db!|BLLaq<%ah9VGv5>7tKApq_G8STG^K%htn;F=;EAT>$kiM##I1q_EmQKzMXVgB;bKj@%H zGz5x!xd94gfdVe`Cld$^j7H;(HbJ~t2=erOAb{+EN&nym0bB?0vOm`_FuZ$1Fi^n9 zPthTv7{Ky>?1jS6$iLQbkI4znVo#|a4257&r)7ph&BTGy?B9 zKxcUTpvZstVgGAiC=`OHaVQjhg5$p*0)|2{5IlweHk`gY6b1*v{M26fNo4-Mh6RJ6 za0nW2GaQP>I|Pnz2q+u@g!AtVPxzt1cv?XGkINxo7$o-eW&{dyO07UJU{H8kKtj=Y z2O|-9-UCH}|55e7nnpqY8zI>Lgd7-(g2VCDg+k!D8DLH%J{<;q+CQLZ2!%0-It&W$#ux}3&vY0Vfas@8f3=D+P zsm(9|Pfp($2x0)#PwfS;{PZEPljy~xL;f46*uN1E3=|%Cb_b9Jfp;)qI=q7cU7uDp zkf%;k^PiUkWI4?b3nZVDD(Dm;8ea==$Vrm?lMW6?;q8T^fK+&z4udZs0&?Orf9d~U z^&?<-U;#rQ@$e6ZK%?-?goK>r?LP%X!vDtj-%X7CJ>OveN;qH`5(CDw6AFTVI}{v@ zcQ6Wh8VSKL)c-Ii8i20T0%FmKlS<}KsnKYljybi4fk5y!V*s$gqr>2>!NG7mpMe9# z%!x0Y=>Na!heP0a4hKZ+Ny+nvfN&@R531on_BkyK9Ew7oHpvOF{>Ja`_=5v+cN#L` zKpA#gGjJFZFTuc1u6J5MI1Dco;cz7Qv;)K8STr8^z~LAS-oXeco|yn$;pGT80u4WH zCOA+@;PFGk|1Kqf`~RzcBmjk{Zvr?W-tACu{DV;_6rQTl;M0{A7})tovinQ_a5NGR z;oxWt9*n{51euMx+u_v|fAI^mU!|}2m0*qfoAb^tl zw8J4Fe>Dkz@`E7pfa?T%{@x4JKmTMv1WW=p69& z!jLEZ(ZBpo^bgbl_%{J!2ah2fjpqvpKtenXB2aiBg#eUr+WQdz5^9}xE?_TSS&BfR z@DD+u@uCC)ROk@gr9%+INhkO3B~R`MRFHpM{I4}M9^4=R+{D|90knIX9|n%Ea183C zsXO`nTUG*Z;Sp9tpVaX|njeirMw#U0M`hRE!$OCvnV}Z^K&#XX)gXfDFd}u=gL4bE-3<3|2 zkw6gO9gG3$UqCY_VDn$N126)wb_SXSfZ|WTLxE9vITr=S;N1@BTkvoj1;p8J7yc{R zfKdSW{mq zbf7!JQ$Gq0h<#c>Ai(g1K|uemR)PEfdpiVv+XG}xyvzdlC0=8ILc;Mv7O1rF>Ub2O z>fbf^m;O(%{B*_uiU&MLLZQKUsEa~F|EL~LY=;6s{B%U1&?tOgz<{xM;Df^aH6}aZ z^RH%r$pW5$7!+RE0rKI6F&YfT(+nEGL%d{<2Hfy;*a4*=UQPifId~z9h9K~O3+Q(7 z(k2=T{!^z>qXej&@x~!&VEB33;n1+(Tb#c;95f6A$DT$# zG#rXIOF_foco2*RJRNT@P^jS@4Aen*T16oLsqO#G%4h@ze>2dCp3Vnopx(zj7zM#= zXVAb<;&dniCElsMfd0`K{L~K=GI;$KFdM)tVKKmvbPCF6?4b+CG4*`(+v||D}5f2wI7+|#U&)$EAJwS1F z8hn7^INm4=SOeOHe>VR!8V3r?Q|JiL0dRJj4tPItDm)=rFa#J(;1T{dj{4^iU?Pe~ z2MlQO*U-RQkiT5u9|s2J3gFW;V@4dVO-T`?t-=)7}pOVCFO+0c&`3I$#ZN z0&${)-+bop`VUzAA6h`*<#GrROs8`>um&`(r*Dh|2C8^#nA5`^2p9`Q9iE*~h|^^l z1jwnUVfm!lJ)IALHN4>wu!ctB2?&72N#vaP|G%on;7bU+??Rn+E@dvymK%5@#0!j9-*LHvS0u&hDofZaI`@JJ`ceSu{xaCSACdPSH z$Ikl}Ckz1r-k&=;xdU(h0B1dUo37+&;{>b&vA}uzL<}hhV7|0G3MvQ1z~to6 za2W_p8hEb&%%Y`b<>cfgIRAeVQ%(s93O9EPSNHp_w`?eYD*#|l!OJVBAy4st8sF#} diff --git a/docs/manual/spatch_options.tex b/docs/manual/spatch_options.tex index b470d2d..3d35786 100644 --- a/docs/manual/spatch_options.tex +++ b/docs/manual/spatch_options.tex @@ -263,11 +263,13 @@ stored in a cache. \normal{-macro\_file $\langle$file$\rangle$}{ Extra macro definitions to be taken into account when parsing the C - files.} + files. This uses the provided macro definitions in addition to those in + the default macro file.} \normal{-macro\_file\_builtins $\langle$file$\rangle$}{ Builtin macro definitions to be taken into account when parsing the C - files.} + files. This causes the macro definitions provided in the default macro + file to be ignored and the ones in the specified file to be used instead.} \rare{-ifdef\_to\_if,-no\_ifdef\_to\_if}{ The option {\bf -ifdef\_to\_if} diff --git a/engine/asttoctl2.ml b/engine/asttoctl2.ml index 5706df1..5b7cd6f 100644 --- a/engine/asttoctl2.ml +++ b/engine/asttoctl2.ml @@ -2221,9 +2221,14 @@ and statement stmt after quantified minus_quantified (match d with Ast.MINUS(_,_,_,_) -> None | _ -> + let pv = + (* no nested braces, because only dots *) + string2var ("p1") in + let paren_pred = + CTL.Pred(Lib_engine.Paren pv,CTL.Control) in Some ( make_seq - [start_brace; + [ctl_and start_brace paren_pred; match whencode with [] -> CTL.True | _ -> @@ -2267,7 +2272,10 @@ and statement stmt after quantified minus_quantified CTL.True | Ast.WhenModifier(_) -> prev) CTL.True whencode) in - ctl_au leftarg (make_match stripped_rbrace)])) + ctl_au leftarg + (ctl_and + (make_match stripped_rbrace) + paren_pred)])) | _ -> None) | _ -> None in let optim2 = diff --git a/globals/config.ml.in b/globals/config.ml.in index 5bfcac7..4c6280f 100644 --- a/globals/config.ml.in +++ b/globals/config.ml.in @@ -1,4 +1,4 @@ -let version = "0.2.3rc5" +let version = "0.2.3rc6" let path = try (Sys.getenv "COCCINELLE_HOME") diff --git a/parsing_c/unparse_c.ml b/parsing_c/unparse_c.ml index 7ce193e..15217bd 100644 --- a/parsing_c/unparse_c.ml +++ b/parsing_c/unparse_c.ml @@ -761,15 +761,18 @@ let rec drop_space_at_endline = function let minus_or_comment_or_space_nocpp = function T2(_,Min adj,_) -> true | (T2(Parser_c.TCommentSpace _,Ctx,_i)) -> true - | (T2 (Parser_c.TCommentNewline _,Ctx,_i)) -> false - | x -> is_minusable_comment_nocpp x in + | (T2(Parser_c.TCommentNewline _,Ctx,_i)) -> false + | x -> false in let (minus,rest) = Common.span minus_or_comment_or_space_nocpp rest in - (match (minus,rest) with - ([],_) -> a::outer_spaces@(drop_space_at_endline rest) - | (_,(((T2 (Parser_c.TCommentNewline _,Ctx,_i)) as a) :: rest)) -> - (* drop trailing spaces *) - minus@a::(drop_space_at_endline rest) - | _ -> a :: outer_spaces @ minus @ (drop_space_at_endline rest)) + let fail _ = a :: outer_spaces @ minus @ (drop_space_at_endline rest) in + if List.exists (function T2(_,Min adj,_) -> true | _ -> false) minus + then + match rest with + ((T2(Parser_c.TCommentNewline _,Ctx,_i)) as a)::rest -> + (* drop trailing spaces *) + minus@a::(drop_space_at_endline rest) + | _ -> fail() + else fail() | a :: rest -> a :: drop_space_at_endline rest (* if a removed ( is between two tokens, then add a space *) diff --git a/test.ml b/test.ml index 7c915be..74df4b7 100644 --- a/test.ml +++ b/test.ml @@ -190,6 +190,30 @@ *) +(* + * Copyright 2010, INRIA, University of Copenhagen + * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix + * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen + * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix + * This file is part of Coccinelle. + * + * Coccinelle is free software: you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation, according to version 2 of the License. + * + * Coccinelle is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with Coccinelle. If not, see . + * + * The authors reserve the right to distribute this or future versions of + * Coccinelle under other licenses. + *) + + (* * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix diff --git a/tests/retval2.c b/tests/retval2.c new file mode 100644 index 0000000..2076bc4 --- /dev/null +++ b/tests/retval2.c @@ -0,0 +1,25 @@ +int getlen(int *input, size_t maxlen, int delim, size_t *result) { + size_t i; + for (i = 0; i < maxlen; ++i) { + if (input[i] == delim) { + if (result != NULL) { + *result = i; + } + return 0; + } + } + return -1; +} + +int getlen(int *input, size_t maxlen, int delim, size_t *result) { + size_t i; + for (i = 0; i < maxlen; ++i) { + if (input[i] == delim) { + if (result != NULL) { + *result = i; + } + return 0; + } + } +} + diff --git a/tests/retval2.cocci b/tests/retval2.cocci new file mode 100644 index 0000000..1e095a4 --- /dev/null +++ b/tests/retval2.cocci @@ -0,0 +1,19 @@ +@ voidfunc @ +function fn; +position voidpos; +@@ + void fn@voidpos(...) { + ... + } + +@ func disable ret exists @ +type T; +function fn; +position pos != voidfunc.voidpos; +@@ + T +- fn@pos ++ newname + (...) { + ... WHEN != return ...; + } diff --git a/tests/retval2.res b/tests/retval2.res new file mode 100644 index 0000000..8fcf301 --- /dev/null +++ b/tests/retval2.res @@ -0,0 +1,25 @@ +int getlen(int *input, size_t maxlen, int delim, size_t *result) { + size_t i; + for (i = 0; i < maxlen; ++i) { + if (input[i] == delim) { + if (result != NULL) { + *result = i; + } + return 0; + } + } + return -1; +} + +int newname(int *input, size_t maxlen, int delim, size_t *result) { + size_t i; + for (i = 0; i < maxlen; ++i) { + if (input[i] == delim) { + if (result != NULL) { + *result = i; + } + return 0; + } + } +} + -- 2.20.1