From d96e8af42fac029462bb0cfa6532688fa6ce77e4 Mon Sep 17 00:00:00 2001 From: Renaud Pawlak Date: Tue, 25 Jul 2017 10:12:30 +0200 Subject: [PATCH] update doc --- doc/jsweet-language-specifications.md | 2 +- doc/jsweet-language-specifications.pdf | Bin 332122 -> 332117 bytes doc/jsweet-language-specifications.tex | 2 +- 3 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/jsweet-language-specifications.md b/doc/jsweet-language-specifications.md index 9fb81f42..8ad4f60e 100644 --- a/doc/jsweet-language-specifications.md +++ b/doc/jsweet-language-specifications.md @@ -1634,7 +1634,7 @@ Here, we will step through how to tune the JSweet generation to generate strings First, create the `HelloWorldAdapter.java` file in the `jsweet_extension` directory at the root of your project. Copy and paste the following code in that file: ``` java -class HelloWorldAdapter extends PrinterAdapter { +public class HelloWorldAdapter extends PrinterAdapter { public HelloWorldAdapter(PrinterAdapter parent) { super(parent); addTypeMapping(java.util.Date.class.getName(), "string"); diff --git a/doc/jsweet-language-specifications.pdf b/doc/jsweet-language-specifications.pdf index d1df7a5b02f8ad2583cf74b8ff7671f0ae17f042..164257740b8247578b29e47bd2c91ae763df59ec 100644 GIT binary patch delta 7699 zcmbuB2UOF|wzrc&D26Uox^(Fvy-HK0_YztFK}1>rLE2xCCS6)ULJwL_$J z5eT5VjUY-u?yW~plAmOI-SBy5!_vpa(tJNEK=}-LvbL=7L^HBLQF~!^U!;d7(v7V+ zp-8B=aMJ2qSUa`m?r>GDS6|}biF<^2-f4whZKtEr@YnKnS!`Ni-j|1Na9e7{BkrGq z6D`=6mT#8s2tNZ~O+==D&4M|z*rt(z-@HAo&dcE?g9ci!F6=#c!PpMU^Vc z-Uz$<*FPWDCim&wSrpV!lYh~REV)#hC@<;3mN{H#%2#f#lVZTB*|#CMCSCWVemg7DAAduPrSodo}Al&C;&FNUjJBIchWBU3*l#f!1?5HgRlUaT=Z}FRHb0 z-rK4c`VK_hsZefYM&*pO)Rg%Xtj2$q=^zMAi!4;sdCE-l6K8#s-u&nKW;xJ&*&BSF zJ8p+$xv6t@Ul^j%+#KHf98CJ@SVAhI#!Gwb3Hbena` zBe8!*TizcRKcrS`Q9%#)w{AeES2Qa{`>uVuB+q$+v+`$z51CzY%am04mP@Bd;_$&@ zwY3mnI!U>tJUeuiYN8`#4^gf>d#|6UORqvXV}A}5q`LHw^QoTlk^YXcpN7p#4I2;< z4ASm)i&OT@@b+Mwm0F&&Mp28d%=(-AtJY*(QA;;y8~U9l+ z?HsxrgOqXD&xxrJ3p4Wa+E=12iruYS7dQ5!eiFHgaHoOTRp2~|xsWwa{GV3C&`28) z$~1YvG0xPs-+{RUtem+spovRHD(b*j;X(?Y`#RYk7aAt9$FTnwU z7B|euCBj3F6vI5OynrY3p&Zms`FALZd7~}WmtWFy_>arX;8Y16?|E+QW)ITlF@E?g z73oUXzLGwOH#dJl3NcEU;Lw8jhu8qyK(Zu{_wHoj*G^lLPK`xPry{ zI{XB+2`m1hHqXwYCS)Orngg*cnu=8 zehevB5xh2?oPX0$^2J4NjO;b;Sw1dm>W6#c(>K~~S$^m@?{vGQ(s_>{<1GoS+%Og{ z{spZL6%YKR*q!KQLt}QLmKMPEQ&0>F|qg2KxA_uDT?jEsI6^W9{ z+4b|f#~kiJ&*P9vbRD9}PC@*$*&=^Wv^3TMF-F)K2ZOJ_$GAx1P%@2)syh;DG|>xao1oZq_c=b2 zi{;uRwinEVXl&QOamP@Kp3cs9O)-TtEn~ZZKOn4XmC{6vC1P4x)gLk{9NG;nMH><{>07K>s3|Uy))}lsoZI_9~_6ff4UpI7ri%j zcm&t*TyJ9jc)w2%(kU31yC}asBYF>ckX99DvHztfsY?KUXV)TG@PT$F7n&!WI0;;q zAKn3NL(Gj0+SP?~Va6K(%+`P>7gbV43E%yM+hu}UKNYTsW7cl$EOG zQOH_pVntkmfSQWp2}FPAS|V<@H) z3d$NUW|%cA_ZPgv!Vhe@V;9tKT}EFX^8Eriqm3RNdhpO+CB5+KqkP&pRh1=47L6jg zy2C+74w7IhJ>TwH?oy|?@Y_Aq`jP^1%caA!2(5$R+3tnhpYw~4uF)ktH-A7nn1+-` zysi)`W=_Y(MrhBC)%F=1dNi8Q)d-Dv)Z;D$Bo>qw#Jv#Am97DhqdpgG5k62vb;CIrL(IZ-*0XlcM?(E+3ASFDE|F5%U;x{f7Xy6jR@E}RsU`}iG*lA*2yTlC zf3pvf!1o6-m8NkI!glN}_YRrN_r~nGJLqXo)Y5GH(yOwSh}-*XjPkOR(+W;`1^35) z8Y-r%rE-+FKAW)?VNLoV7nIEBxFkOR6sMiMCXgo!s(X78FI$|pWewAt;PbBI^!*}` zAYqk?D8@EBetC2fqcR0KP?){$VR{i{2!=xJC75Hg(e2*HR)~ zQ5#7Djt4lS>~I{7{(G{zfT94@SJT}i#a9`Xrj$3ovKW=2lxH)BO7gn%jaKAO(*5hp z{-%TcF@Hsy*ByVI_AGWzlLMC>m2a4|ekva61{Krhm-oy15v=UE%3^ zxs#}LQwTnCmT+p#cPyrb-q^@_`f3pO$>Zv+*rn5YIjPlXt{1nTT+XYeekOmd-N!g_ zRqJ|LjsLv(w3cQ`UUXhQnc67A-$0kH3^rw}ze-C{fnQ=qRSbdC4KMys8Jk%{)ri0xmfdKi zO*^R<|JF1hM&Vm2(hqDWlU{E4+o8V+s=@DjOrM*4Ge ziWE1qa-|&y3q+U3rhfeHd9E8MUN`ma=enT-AUPFZZ2-Ozo z_a{6J?TN;mu5Y~Tk61}0dY%`!2AXR(!58lROCxuqHGk!;5RQG6d&zi^Jn06ilKv_a_=uEW zS9D9%VwkTv3MWFhG?KKI+z{Ab^Vp`Cx&4**gSD6_5fFvY)S#U#JrN)c@1j0W{~XSs z{;g%k@{fGy`5T#qS1D|3B=9kC#K(Ys5+8#Fd<r!PEa~nV45fG@m_`G zfq^os?K2;9MwX8@H4yJ;jI6VrGNHzZb);2~va+enwh))w z!6|;-4L^`Kq7=XG1{r=`)?e#lDiZ_>6VUeQM=xHu1j{IY8O_~%f)OkKm~G8V**nkn znKFuXQ9*3X+*TG6BW2Yk;w9}%>}?s=@5IReotGb}Qa{~Fc~z3-bSQ04clvHX&LNs3 zvxH_)N)M|jFY)nn12pSErIwal6}7toz8I700KtC|{ogV$xFLYEt52;xg*jq%|ewWYsk_Wn{$U)MeCUBsFD}ITZiDCbkzub#HmP`rYQZ zDkF^we*+N!cqXi#FWH#4?WXx|>zRd08QAxIRUG)Ln0#PVF_FwzoZ-0t5Bc-WQDP-I2Sq%h-_m6C~F> z{I1G_pF^Y=$H**0}F=G{t2&V*dO%diSz3FMD_YAKi0c^} z_}i-%m3wj-w7>%y1B=6*NbwD$)9oe4m;D!<7DCb|IT?C%8$3N<&Du!sX_1Y&$<@4J z?#)fXHA#*)YS*VB`J#A(Q9ZejO+<6MXZld_5IK>nyjMkPJXnDr?^WNeY{iXSzV7-ezZ>@O}zQ`|met-!c21 zIbF#SWdLZ{8!SY^oZrB35B7UC!ChTl-5+w7Ohb)4fpRe-N6*Ml74yOr!bCovenWc& zQ!WS+5=p*PqvL_Flt!u`UM9WfWHEHtz`C(zUV`*?qKv6!={I?)ae)zix`3WWlY?B+ z!EAwCfzR3ST^O51PR&V&3Lf20o=Mek2!9hOP;3Pgwa553Qd{l(a$jZ{3+V}fBb&8>O zpEfXfu}!)}cDWFCZZo~`*8 z%AeYienTJpE8+_>se}0}@lKpAe7|X>yz&wtSu4l~@1KyRs}6+yle0@RmO7n>%{p2@ zD5{kJ$_RvjVF+rWXdVo0CKhQ47DUj!j21;2242EN&CN{FmCv|) zCrsjaAjMc1)GzoyQcgaXSvWyB3OKk+93QcFS$wh;|4k<=c*tyu_-%Xs;+4!3Zj0*o zeD!g~O5J8ctJ;;0Oa@50_<&Tw-;@is-SSt`rvDMj!rrY;HoeI$PVZZFqw;yhzmf-O zrTb0BLYWIEm#zuC`60`V%3rXt^s4Tu?uk9-9>QT0#W4)>nX!g0y7`qd837Bm*)0TS)BAaI9t?pc6NIG!}NpP(H2ccLHyN#LiQq_U)+=|9uEKA4U8 zO*@9cB6T<1t210MW8u;c{2Yw+6!Z@4PCW4rRSAN~RQoY_8afSyLsvR|E6M@JR8;q2 z`|jb*e%OEKYwaQEO6lQZkyc6@Bd-HZ2}jg@F?RYk1`HKF*3lB8gJ2Shp~KLaWA7Z& zjI>!>60ai&?wYQ;r|zz-`EVwk-zdSX55iaZ$A14Nlx&+efILjysS zh)XVW)XqDMd2J?vL`D$NIi9A7(H$a}c|m*&`$H;_lkAT7V*~$WnFlwUAJ^)8Jl^hn zTHZ>}dBSwU1e|~U1>=8QV%~W^ztQZyN2yVic_=hd^Vao$U{sulA#K;IB_WMhnd{$x z?cS7YBu2a90nWevbKGC)4Wmc@z@+<-SO#b7YBliatizr9$;s<_d%?MhsjBh+1;C#f z7x4^)_5CTV`+6tG5&B{1wI%0MS4na1jnV%bz(3sc(Oo1oj2(o!?X=ItD3?1RhY)(T zms2CWI6$5zAIX}@jcYw}iTv}bi`2s~y=gNaBbr1IZ$#Q+nD^W4e%jqfNHGn6hUyE#n>>bB z!i`DOZx;N0s{Z_Hm}^@6Q_%2r;K#-&&XU%+UV!Or@(0Pd=wI_l^c>tE^DfWs5~)M0 z^IrkPre)WhrOn0_x&D>O?|I-aS2;Jazb-QTSjT_yQ+Q}|ho6HzyU1%Zj^P9yDV%X% zovEbAe=>~m?|v(~70V??)e-G{`KXyhkJF>x6fQEHsq=ct82Do>u1mb{zi7-_Z~FIt z#1B80ME^GXe?0!PA!{KaE#?hE9#h4Hy7R91iO&lcn=<^cskq~zv*VZ1g=ZOURLRqQ zz=hB{zrb|em&XqSEyPzliaXMr9j7PWzaSxR!0(0Cj{Bm*KqvFAp>mS|tfIlRTx7UR z=k=QLKZY@s-ES*Jer|U;FHF1${4S7vcw97gTk<9^a9Cp`v8ynfD5lN(bD?YZ4qBJ& ze$$g1yaORhc6z*NlCwz`Cf$n~0bv4mofl8PW5AAXtpeGngY?_W)~EF<-5xsKO7{ko zTn9D_yBQ+l^|r*lS_lP#8)mE2LEiH9!d+ z6#lXK*n%_x0pUelFwP?WiU9xhYZSwV>Z5|1Q?zdNA06hiC;X%gv?Pf^iBm&4Nv>Yt K;n6hEy6|6GO8GAU delta 7671 zcmbuD2UJtd*7pezT996qBGRQ7B}kJl(nO{Aq7;!5K{_XNM4EtvUInEHL8L``l@>uj zdIymzRlo>*2k*Vlt4-~9b-mRe?a0#4$0y{9~lwOY%91qEABm;HG&JH_4FfZDw`j zWYwC=ZzrLgQ41xOuCr;E@()J|ZDo&58(f}u%%!4^?BXc<*ZbGJGEp zVqD?eJ7Tg=G$7fdhqV=sclXd1Cmf^M>+&^e6#@h^ozr9BbBVZxtI2Xav;nK``c;pO zOL|q`>NrITg!5V&%e_j(2-+9BPri{D`f6<~bldZtlPBdazn!53E(&wOrAg$msLxYh z%lp?bm_m5=)Kj4^BW(!1GSiVIy&hWuHcNRlUA?c(xEGd3;>6IVb+)Ux!BE|`{NvKJ ztue3$8!d>nQHgc;&#ZrK{!1I(-lfenl^X zCo)KpD)uge`cQ=7cc5dCysU*5iFx-;ui8J-=9_RtzUuzgh(gk1W2Ac;NAkmWC82sy z)6+|IwPk6(ajIN+r0TxNN+*4t$%j>&Y{kGpT+uL$*rY-F+LhF@o;;xu_ffM|3JL>l z&TJ`~cyV98u(e5hI$j8&dPQXjw7`i3db$pgPyocZ~oc zhT_c#ME0iRMUqu(`D3&`F#EKVs7w3p>DAR1NHnsCSXn8}e>ZckfGM)ph_nfhoPjWO z=(e)kY3_izz{6*!T$~pVtTDzl{mP>@-}nWU^F%$^hOnZIFTDctCusL8j_z-W6|Qdy zueU%)4(||TSf*`lD##Bj1f`3P#Ww;)#fJya_4+>Qb-IUpC#%S|A((9Wy6&~#H&491zO^pXSbi^`?^PYlT7F&me@i(ST-my!B;)aOj5OYXFG zv9&S^yOK`d*OAbJHz?S#W4P9q_fwl{FvoDcd?cEZf#Kln?bktUYWD2dmvl(46@N<$ z!s-OCT0lpFY!}b*u8MW1@ykJ0Af?1OCIfG<25Pbfyt6)|HZjisNF&bF!9ip#$J3D` z7xx0cL}4-n!>+KY`1X~~x1bKvE60uUH1lG7>=Mz0THzfV&R|mR-1Cs4(uhV6kU^X1 z6S43l+7RCU#Hq1PZoMj@{WlTZIqJEpZiN-nco_#Q6FJVSo}G)jft@5kTX8>AnN&l} zO{T`1K@r&I?}+Q(z(P_!)4EscnS<^PgX`7VBW6+0wvTh`hVy+F5(tnml=CWd>8?=~ zv*ux84K)c5ALO|toQChG8+_+`!_Oo@T9pvi!Nd1OU?}~Pz|;9)+J>gDOkN@?jBDDB zN#<`vD)1Wb82T>zJS%$$EPLpc_KYuQy|eso@v7+ulx$O3x_r$05eQZ``}GhAwMx5 z%CRTeqS^6k=|msbg0?Fs6$OzhhM)MJilcK^SyN+zpkKKymj(}iN{3VYNmo|9f7E+x3 ztPR?1y)gE|qV^dlfS$Nfv!x3&W}iU6T=8jdGiFm`>L89G)pp>;GjDQ0uA!=(p!Le*V^!j@g)43n>#; zXZh5N*+}@=Ho5N;(Djq7thCs-(I8u3+P99c5c5pXE4WFbR-?wZUSvIBMCqN5bs=Zc zhbn2SorMC)EAp_XHN%V5juz2h(OUEG>6uv15rr0ZrXTz7zTusc9o)W_sW+m3z zC){vUX7bh)(3`*MZV6*xze+n#m-<4J_UQGUdJ7_!Qd}-wfyS>_cL+QAv*#~g>~Cq0 zV;~5cBydgBY~+?^y+^KcFV-!syUZcbei4^#J|#+uVyi#!T>d zE{;!fkIBR5;g8XR%KY9+hmMP(Y_YnRIKv0EFWL9D+N#1dnb8s+41vfs`wLt6b7-Pj zFqYT6t*V%N56%SMzhRGdd#>X*Pac5>77wsz!*PdJ@Sxg~iM$q8FbgMoM61}i2d?8bjImh=(DX3BF$E#2-XHcUze1;}TLM2E9 zX1p}6?k9f?mgyclceSl&3bh=*I%2d@rU#l3eYx!!!Ly1}KVG@g%`DOgg~ z_qTLaB*o@)Pc-7zy0hVUwMVq3zK|0Qa7ERA=PRs;4htsF8Iq>M;nHFsXmQ2(^9Bo$Mzy{{d{KmCj*eK{JfJcKRCz4 zclqcUGc0Y#%9Az&vb%D8{ZCYiDC`>rUTe!GTE<{K)%e$UbsbT)Kil*Zw7#sRX$5va z|Bx=LIqIhBZ2~xY(>E<6eF|oH1>~s!WjUOr}C9M1 z!^g*A$`4Yy3I-f{sCti|JaG~wSHC+bsVZyBdCOCYvP6{Q18FVVhJKZKIcRiFb+_M z>Zj)x{WiE!Bp!~)uvjQyw>Z1`Yp1d)cfZXoKsku5eR3&MDrr$JV>^67p4?UxSm{~# zb$FU`Ij=X&Qp&TaR}c8+RN>iQEG!}9;aM~jtuvfjR(+D?xb}w5lp_seQZ;H4P#>

Lx#^AjARVi6j0iMb0=hY8eZvAplXKLgF{m^WbPo3+FvL7?5UngngD`(t0 zskN0xD=yrTqaFlPBN9vv8nMy|a_#!n$AqoND$$iJ?uET$Rvg2n69KaCdmq)m6V;xh zRvyhFzav*M0Gfn>ChtT+6ZPLFsh5w-H{FV?b_3)>!{b8+xriY z0Z-apRt3Fh96&w12K69Y1?u57s0X8^b3F)S8q&uCIOyBvB0W}dB3<9Zpqx5Bl5UV$ zGbcdk-~kTi$z!{RTH83-jN{$1V{HAzegD+=ww1zYzVGf6aK1onvc*jWMuW$lFdqQS z1VWKOVd}Iczmp7hws%b2E%%%V?(52W;JMA`f=8SzdCB!Q8du*-L33dd(LotQz2#CK zC_wo7WXYQ92u1K0_cIpE~GC)ZsqX%f{)-J)I(NL|6zTw zNM;>@_s)%^JUA;6_x)0v?JNXsFpyl)bA|BhgSfS4Dd5uj&ZVCQZuQOL`Bqu3{HQom ztoSu&Kuvt;Ep1(%GHP>4W)`Q~ZdAa6UsW(=R`bS&J}{T^YYs_W6RfG5qF1n-U`)F~im^K!gQGQ1W&$QUT2K z?VUYAF@pl1GhSnOLIGcl@@VOK2*cASS04u-JncL*OCXIyD*7e%yVvN4A*!u;-4 zucMCET|V?i*=uLMND3KKa@D+c^I$0h6jMeb_!hC}#bkZ^e0dfb_rQyJ#R^3hbyf~Q z9w9sj)=Zn%V9k^PYo?t&SfRGO&jq??*+%+_8arMQV1OIl_8E_&obGfx&9~*U=CjRR z*Cu+C<*>>wTM$_L-m#ziW@3Ya_Uae+J@s}&+ z-Id0xjsFBje>V)2YB(rW;3m8}h`<_6rd@XyLrMCQ`g`+z@tmv_kH9lwm3JzP@#v`Pj+g)s;yp#O| zYWxrV%#I0XRY+R7JRse8BZ;mEJhvTf@NNDq1Ot`@wEez2?PznU@pFG-Gh|S($|kft zI((Bg2JWp@2i)8E`QBuH?~S7@nm;c(!!qf(sOX`el>F)<_Nlf}3ZF+|>yowfRLIX< zwDK7Rd9^BIY_qlgmx|tWaNR7epBB8fBpOJgrgU8n4}%_thXB5Jvx?F;U1+lzXxl$a zVhZ`+sQVG6nbhFzoe~Rp6G)+UHXyVSu~zuthoC0bityG8d{JrC*bX5F_*;Y9A!H}l zQ@eg$NnBM?LRwAbnv#UFgsP~bnwYYRvZyHdL`_9h{<7@WJfP2FD4Xe39^Ul4M8Pn92CC%LjSt~wSE7FIB;w!z{cbVzvA}$}jlB6S(e=juQ zpg05#hI2$+ADIieLTB!pJfz$T8w@S*;a{z9XF8 z+wV^!9NdAh><*w44k~z37g#YxJTGn}>}9gm;07&C+G~)gbE7X!_PcVZQ%lqspZ?NM zzznv&H1n~6x-3GZD}QJImWx3x1FV!mr*8 zfkTpe8dwSo z_M@IFJfoZzU{nyF40FGUTh2o+E-u=A#UhFu`Dy@tCIT@jrPVLn3=s?=a4C$V&mEUa zQNqwv+HSrRVug?9Byx$-g){0**u@o3=F(eg>4%+{u9n{O%}m>%d-OU=W_h{@hYkJK zmxQHT>wAlRwcgi>mE6?o#Xga;21~g9>y>Ar{)#$U zBJ~EKkeT zX`lEa`*odL>&TXlMUk&TU`r0fC?y#)I%mLwq@0fS~!N)i}m{#a7;Uwy1yO9c2rQ!(*D6LG5r?>LeGIuc(?$f+d1}4f9H(M!c?>4s6kT= zc*@x*ON{XY!Rej~2Z?Dlb7?7(?ODkShN=Q+rsU?kMnt{V(9%$S^u;gDjA({0ExwUq zU&HP8%OyC=O9Kj}xbwfCh_)J8xCA|>D*4Dt^{C67N}yBDDihv7SxWJm5_xTYp94*k zA&>tB80u;+cKu0cw62|vFHpZKVP!5AKvDX&Py~5xYM*<12p+&{lTi-N2=K-p6QRt= zp-jN1Iq7;NYMZPvSc)M#*Zw;5$zpjIb$!_3Hbfr3`=ysa;a?~*ntyvc;X=fsZnXC` z1?Cg=TSW|bEA;=B5h6EDy~n|i(AStxzIiPQtd^zx!9px@_39P@U^B0apzjSxC^1?} zH0$`BwRDwXpUbc!nzt^hL#CVl4@T(c-eI!1o}cl=#w~G#Z#_+5dR}M9WjJi`ujmHN zM*YEUcl}DL!lJh`iWFSnXb{TS2bX;=`=s1TSj~>iAem<=Ot4%3q=tF|g(?%UN2sA% zpip+y02E4snu9_aU`{of?haCkOS|kHCNfd?h_k|pz z@fcdK7?EpQ@e775qwx(|uSU8X6IeEz7!j|}YmVVvvZi$o7edolx45KKp1B9GYzceg z`6VoMHPWI|h@dxtO!$u9J{p-q|X{|7s={o>M7J;*}Nci=6nIzTa&(LuB&(wspI(y-FGYjo(vPB-$ zDmlgIe^Af}T%27&7{5LLP^zAR5&=gL7OBk3| zbLDy^tC28!nh1wtCmq7wX4GJzd)F_r53c5Xh&d&i76N&^FHSRtpU-u?RpMZ*byJeN z@UjW@-sOu_u*(w^&o5t$95g2p3~>-FMLO`70>KVfN+EAUN**b;&8_(k@YG@;lEh^$ z_(DM?i*^~+?)TNLA0Bj|R_l|Kg!n^#jnj2M`2r^H#fZrTeGeO+#GQmV>bs_BlfU7> zL9dA%3H~RpTvQr_TzN05)e&x2zhmTY`rhA2C~q)-F3REifRS?q>rDs6Kd4|g5(58o z1;0S(Zn=|_2?~S7a}#h5aai3%IxKDCZ+>_YIPJjx?Q;wT za%Soq6-zj$8(nORI~>A0PnQuc;l_Y%@u|gQoTo7h7jUC5Yw@gwNX;`$h09EYi+LO- z06RF>PUh(d;%%xzYa%v9qPTfd*)V%5?rnUF);|KXO@Z*HWS`?iXG=#%pZpzX3-Qx_ z=#H0;f@xATaLRbaPQmuSGD(tdCE*OgO8gA~Tj?;q7345XldbBPd=&j(xY0RhBYwI( z4tHFT_%|x4%9ASnnteL|mpFFT@l4+D_xTHQFQdAs-7|u$81sUQ-vS8dty-oOVT?|g~4>?7G`y;1(@@RF` zE@{$VyBOPOjL0%j|CuL`8qQ8T;0$5+U2b=t$i$>5xA+{>LZl9}8|Eiek-fpv%2dC^pvHfP!kWS847=56z01QBIu& z|AXc#T0Zq?N6wv)$Yv~Fi>rw~m;aRz%Bi9-McZw? zDwWuUS=qR0OPc7vUnL5t_3%#6DxGDLrq5M8UrXC_JDZgPZ%($J2&o6T`Y6C@q`<_p z$iTc`rySoP5i09PAR^BHThMi(EV7mTkh#6 zIr~qWdEJab&$YM2TpQ^aWKXfEzY1UsF9Co&C0zo`EQ*{GngzLlDxrk3;``h}^-w|w zg??4NFeHt(#^