From 31197b355f0e970536d52ac2be76d316028ee724 Mon Sep 17 00:00:00 2001 From: Hironori Kitagawa Date: Sun, 4 Dec 2011 15:38:54 +0900 Subject: [PATCH] Add \@ at ...TeX. --- doc/ajt-devel-ltja.pdf | Bin 644151 -> 644165 bytes doc/ajt-devel-ltja.tex | 34 +++++++++++++++++----------------- 2 files changed, 17 insertions(+), 17 deletions(-) diff --git a/doc/ajt-devel-ltja.pdf b/doc/ajt-devel-ltja.pdf index 53b15f7966371185d3e12db916310a4f2231f6eb..da84f0a33e40a2a7790b970f4f6a68cfe2161c3f 100644 GIT binary patch delta 21444 zcmV($K;yr+s3*m!Cy*wSL5n7npqK=IE4vNu@2@aYCB;=Fk$M3K3)o(7fRw@Mg0xAM zCjY+(DT$IsqnYvEdke4EV?8K7KT@>5{pY4{fBWU}^OwJVd2j7 zfr>8Pyidxwbo=?=+dqG34dKH&dUsZ9Z$5stPSYn3^m=J+QEPnC3+gi{|MO^(&?yDi z&%gg7vHlw{JQ4T9P6BG^ zt8Qn~159*m->i%j4es|WZ}uB`7uJFF`asr+`-7j+cBGv3q319^xCaL{t$; zmVwL9mSD89`u!D}2vDutEn3 zjv=(Y1uo=I-;txtAlK-B2J$jG%!D}iu|j8v%%-h1C)KShBMTS zHAVfGs^B95%5G>C*@{XKcFm}oSp?v#N(duB%hO8*&Z9&S5?=AON8$is5JcT`a+;2u zW+e6VUU_rmN~|wocRpd|Sy{Q!+D|elR(WCv#VX1raAD*^sM$t;KF4!BwHPDeEt`ft zxAWcLP8#$$Fkj~h6*Vo$>iFukWy&3lTy(`%mT)l}GkJeQTttUi#}15{P#}gd?=8mc ziyIRe=KVIt&^)jky>_!K^WmAaESO@q1Wua|&xdJV3c9}*i-xvx7Quk&ctm)W|Fc-{ zqq^1A+O8Xt`=a81a7PW0JVUlEk`t`mWYWkVG;JwUq^v?WEuA%~f(h7a&Ow$rz+1`P z#+}M6M_2Fq8xko(gQ;WS3^i1?0c&ZFMK7BLPXVo;by%%lc3s6=3nvPXq@2yVfu2)na3 zKb=?336U*{PL`z=at^$jjRchwUhSQXvfvkcn>$00bdmbC_^eS8IN!|;ylJwo>RUWhUSTZv(Gi3GG0vLK)16u&wZz4BycCa5 z8#JI%X1x&+Q#}z@v#JwcTRksN#dHNm_K=>243r~XFX6SkBxa7MrJ%IWb-5NB2Gn8% z+xpjk;v6{$nXrOrIcW@17;a1L@|ql8)=TtR{Zp9u&`6UQlt&z-NEV!;bFz;$`p}aj zS(>*qR|rg0VkDSl)y3`}I)M$Z$&r&p+WcUIRU>rh3>OZ-v;NPcpB*L5IcM2+jJy-z zuadS2lMFbg3o7Hn!u z`O`?7$h-Qkm1HTO53x&jSw4`fsl5fRp!u6VuRGNS@y`=1adfhW#p1BtB+TeB-CAR=wHe@TWj$?a& zwwW+`)6BI{visrM;VH}Q^t}$gER~Fu_PW)gTms}j6JGHLkX7-7KkX{Dm6qft(aR+k z;wqPc=*YgdI`HQ|{pBqEfyfVc#E^SFjH?=2@+tvd9FSm|3c(*A@E}7MQ*{K^`z=oP zL%Irey0Zf16FCe=nTI~2CXhBlnpbT}58Bx|<|ljSh%l302p=Q4-edGw?or!XBO^f zd6JL!-fX9HZ*@4Nuc#R>`Nb^<<4SXuJ)CLG>>@ok-1<}?z%2) ziTiBqtey|fCpfI!?_c>J^L$WDGKBoX=eZLDvXJC=D#fOiZyIy2f?&?KD-5|*)`G(8 zFpA_$c{kq1v^xE3uDJW7jM=&{WjO*BTdhS)UxCybq}nx={)~2V1Q)iMY$1Q(JT%Fu zo_~Y^6u@&h5{%zoUF?;SvQJMUD|AU?lHnJ3>*eWrHM_aeSw@0j-=vWW`NoX6Esv9nvC5WgyT~>%oQi*GxyoK$MlLq&*tnO~Qg^U7raBoVwxZI88`xSh@=8Nl zX`u)vQI_+5_ZguSus0JqoE}C+4re&8+^*&UmoX_n7Ot#r=~`m~;F#b6j;0Cj%rqO` zzBJ83jkuyRua|V!4G$pKtvH%;8mszvQTD6*o;RC7^hzhZkOE)*CGdZHF|=LA^nT>x zN=rf@O>c{|lHsav}Ei8`r2Cc+=R53E1GUG083$5y6dYiWZJZTxJ(4L;eH@f_QunG6w zdQ0fc9Ck5r*%@Yfmfe4)g^t7S(&`aXSl(Q04%6Eo=5MO)!Br<_%(YTqc zZ)Hpdf(n!gPt+Y`OWZr`}CT zpOvof+IlkYbXtEV{bRS&jLMVv`qmg_=0ayy56Y69_hU%iA&PppFb0tE?kN)w^Dl1B zk^y$k5_ZNeh;0zu%y?~kxc0vh`t42yjN@F~7*qg9Fve+H*onO4|(?D`5FnK&*-Jo6-R;RuP1m z#N*oU!5Xsav2^UFJg>nZD9ihPM?3?YMrT>s;H!?LO_g`yTq5P5z8~mO_o+Gd@WY?; zx)fVxwA+8x(&LjWQyLx*It-j^DB%Df!bFZ#q3ZSa?7z=`B4)M_0Vjlh=-4(63x~3_ zS1AA&$i^}NQo@vOF{l{(Pe0C+e&V|);IlpGt^*I0vBV8f9?W46Xvmej?Mj@rnfiOe z^Q%SDXdP)fxzqq}-7IQS8H>|~)79Uh0oh2~&F6pqy@un9;Y?a{VL0E52A;Uws?*<$ z2AjFxiw2aq^AB1#3-oAEoEuiyf~9TD4t)tV;kW>aq|?&@|KOm&ztD*D4*TD?_8`K) z=zwX0!~|)3k-nCer^8TytX(S?zd$P8C(ogH*1Baj*JpVgSv2oqzp#ZG5cLN+3uu= zE~l|aY&B;O=Owvo*@4B`$Ny$Uv;ayQKb;TK`r-$;_d3qZxbHlNyuW__@_)h-0+^E? z4=DjTlaYEQvuzI#1b>i%KTO=BGKBxpc$_MQjeFwrh^bITr}YyiqqSKE+NctB+4(Yy z=xqfEuNDNe7o&M6nih=kF`kgBLKF@?$cEP9;mq1&6&WWTU>s0EgSisNFuCvmC&XzN z1={<9ksC88yTZ)a9y2!P`}f{NTFjz(eH7AJ(RP#pvjO4k8Gnl*;@cI2Gu{K)}M?1`}Enb*j7U`8Ekc2RARhbRU)1>>5&P zLU3$gVPz->$HG|6(y4ONTQNBXzt8@u|LAPl7OU7vYJb-{@rmqnL*00)tVolS19ZX; zPIwK*2qW!+*UT^3DlQeeu0a}WM9{*7wv>K2%lU{5Q(1?e%#{U@zGFKxBYpR;E>n?_ z{Voh9#>;MVwYvYFplHpS^5yZpl_tkkV^b%fG7=G!H3ggdj9&lojbYsn3I#56*PZ%xopBI zSQ(`o=HhIQYeg-AO`|jWG$qQM2=mOoz>%4)-F+((dV1Z4`H+5C!;e^=7R~v6d9@C{ z6V70fTPLD!jD7Y|S9NA)+tQyDxQYT4%saW1M82(suA|W2ZD@OAnh>;QC`DdUWru+) zqBqz0&zVX)usa_A>*Orb8T=nh9bzB&JTx zpGM63)gn)a$yP!~2d+#Lh3dmw2gwr5^QNyzQk@36LJQY4CBLN-34i0-frD1<$bPi1 zgGOBqvF_2^bcOoEk_MX88mTNKLcXn(LblCo)FhS*k);5J;9ql`?RJ0U7))iZ6TiX- z7_EHA{6Gn4A@n?)FC$kiy}$vCQq~GQ$<3g3DcFNiHi{6!!Nhn_Fkq_m#4K_zdg{5vcY-dVdX5ZQl=&@@3FPFBiPmje zGyxxF?xX#(7c^bgS19b-2b|Y2tm$VGU!d0rQqPstq{Sr04OL_)Fcs6j1x&@X9^uYB zG4s}y7S6W;Fy-gzZ)*G;?a*tO7q)UIgoN{<*e`h)i+)UpS z&G}iNx~O-@z08yym<_Gj_o}%Ws52ZN$}0rWUtN!;_R0Lc<@AKW9_)Bc9gx_Y5VCns zPZ&F&x?|cl^4x^5_skj43Z-`2TJcy0vvV12#{sfGsZBb$C=Dn%fQ%j^n9`wuF|$1G zDdg(wt1UA36Ka1)W|L|zh&c`^DP0UP=Bk&E2ic-GYUb@WGp|CqSb_kLxq<$TC5UnI z#S#Q~5K5nwAf~04oj9lOEkDKZl)y(SZ(DA{mJ!d2C3C%y`g7{uKPf905W{`hoqGPz zf$hU1?N^fw2R(LETQt(f=kQU+uPdiY3NZGBd!VdP!Eb-LM}VI8+k`yY*U{M+dFxVz z+bccxU1#EEpUS1eWaoZoy>VJNGvrI>70iB1O7OR~&Z~IUS}jccwk5aUkZFxQx6_l{ z0Vz6lt1POoOXAuSlQvGc7-l{+fLLO+wu2|++Xl6U`)bwXYZW3e=xf}vLNq#C2d%xr z0BFZ~nvs7?o4jHTS2s5&#_iv_%5GfO6L$b_z1Lxf!MmXLYF`*M2&depFZ^En!d8tv z;p_vlzN)5y{-DQQ?QLDBX47yzsDvxsTR^7@V1BRI>s6LYKWEb%3R`7h+0;JFtP;MD zsG?E{8TXpn3ge#xzd6x1Jfyu+FrbKZfuU5bR1PLJ0GM40MzJrqT}-@a?!VQ9y1U_l*EuP7Q#*Cq$V4rSb9@{3;MJx|xD8 zuC&XBe7i=cXb)UG8!9bts}`IZluzAf1tmqv$!@onsU@bI#)dvMY9>%uJVwlmsHdG1 z$_#&puKB3yI@+5}Ge94ceSIZgry66b5z-Bo0kmJ$T!X2!vAOXqU z#6HGsET<~^IBT>{81y02s@IeerpjSeJ_2v5p%}h9$KGaC*S#c4gUz1}S|2&jh{was zS_25H<1Vzu93spsFPnQF?p>Q(lWnx_9=(5VCRZ!GUatzOc{p2HS5Vl?E-)>{P`lv) zBIeA40R~#qANRpU_L}IO-N>~HrXA2+j<5b&FTyzKhkqa6{B>5?g*4fiJuHEYhv61p zL3?q$hg&-gRagay)hbjf3mXZ=^0G5L+VFxyS}Cg5A_hB`!TY+SgHhvKGi|y&a>Rdp zWfJq%u-^&yskk#!STAML?$7a(U|(UV)rw53?k)xJH~#CiOIG(fVK5c{U#*t7>7(i$ z$3t7RtCT&93vfPSFGQcA;wRXfD_Gti^S5?o*2;rft(LY`ez)#2mwCW!ZW%4vqYK{d zI#OKy0iINV!C|=Z={oRCT`p9XB42+JxGs1pVSTdLbEuJerRL$aOH)-!Q^r(nMHM>BeJEabP<(1QEZvibhi>X?=DQ{}m z^OLFCIGIzmlWtz>xlI%Mu30w5&J*~YoW3Y1r9^AeA-_i#5fzdzW@dk7^d>W_%z*ybbJU#>a}{Gsj$3_nyvsg-9Y@8fwAHcUN9&4PPxqK!bOGn8NdFagR=T9FbCkRY@u$8MphR z0|O$OEq||6mODQ0-^5rmxv23<(g0#Syl(6inYzc&!TUd+njm6gcw@S}t(LBc~ap@C}k2jAs#y6Keg^hh0nZ z@z9b=ju-5epCic(Off*G%e#BOMzZnIDoGTdA1PMJ+uv{U_Ftd=`3d+}-r%N5IPGr6fRI|<{_@+WUw)Ohzw*7`-=skA zZ~qsc{Ov|o39!Wf{-4_)KmGTo*B_t0y&JfHIpK{Vcl+_TTbWcL39Z7cN|1-!kKb;; zJV|Nv^RGXC|4C*d;%LvK(Wrj3H^O)xtfWw`4n~sF+UKt%b(req`74BfC@CdTxoqhf zJ^#Y@XCZ)tR3QQ&|7Y+^xrUfIZkBo!8u z%4{`tesa%Icu`BCj(ZDNo-sUcnI4tbV*M*mP+3{_tnMz1W|J@HxhM;)(H^zfw;cwO zG49(fcg8A}N3Qo+o+H<+P`xdM14?+@sWZ<*SofPL@#+5>t7UJ%W@oWy=+9N^d; z`(c6$+W_YUN}ShZ+xSWtT%*D)`p7($Z96mi-r4s(QWr&<7+;Vl|jYI;(}DY_*c|+shHYj!zl`0 z49DcZ$Z>6gyx-gI@U0)O+%pCKn!@+dgCS^+ta#I&1ua$89~_@z2a2TT4O#W9qq7KR zud~tS&18vo#=G8W)ec=8LD+G>>t2e{WoTdIT*qygS3FK2C({s>EoxH@q{TuCT_vy; z*<_2(Pm?fh9ek48bYvTQAoNv$Ilaip!Mt>3@6H0pO=I%CCsA!R?%$|2Z z5q9ZzSd^vArietRW~G|C`stbxHm#lFuC z$?k2vp_+Aml(R`q{0nt*vPt24vuNJQQiZLUNbdX+F5D7jU3%-U7Mu|0h6)59gJOo= zyq>8xGMRe;jTK@BV@9<_JMmV~5PcH9$uM{ejDKPcv3eK26^lsCbS-rRi>nLNYF+$n zLX%S{O;01JhJ*6n7*&+HdL%l?4Al($(}tJ)Pc%jMj6?KKW2nOKSviq+PB;gVpqXWp zM;xEDH3m9gLTP}u0chcCx0M0M<@^f$(vif=ffuUq!l%CwhIFUBHHM+&63sb&9R=#cZLLCxA%mLyrY)^01&;AxSTfPX)O#gS#{ zIE4~krTmKp#~zna+htNoB5jR2r&=niJwnao_MSx5^}{KdUKS>Mnu{RY?hBU2w-H+h zubvlNB}iSnJI^na(@cqBIErB7m0nrmN5C98#oDvOKEH`J@i^B@w~9iUFY zUn*hUJo6Iw9}1+!mM^2u)+Ol00oD0bXDA8P4kfKhu~(HPlET_6_7Q1e5U%<6(;;>X zs;|N!@PF6+)->Xzaf-PvnbGt5;N zxYlOH**}9G)>p>w+d8QN;0#uca$D%~$~8rJR%OjQwXgjlOtarsj7%`OZ;hy?Un=Fr zEM#A4DEnW!it*IuT7M^c_Z5p?gUetdoAOl)O<^WE-$6a~&=|1U%*L~oBbyjT?iKPy zgo6I!Lx1?ZQdFH5wE2e2wb65* z$FKOSU}ezgSs|#!y+H`)W$5xmZ?WOPs`|fp_gd7dGhkaSUiH3H>pm5#RjFE(j|bt= zODgq9ZCdNKfvS(zrZsJ$$fhp6l7VAXp|_1WXH`zG1tQHeR1U>lBh@t0sp@&P0j-d1 zFw<<870!y->Hz_h!E+RU%?uXxZ}C|FwxTH-Hds{(ms+~(f+_gu|HhGz7fhLtG_M=N z)kA9=D~vU(wH4{DO{`3$-p*ra25y#YFHn0EkUSqno4$csF)~ zEKUbwT|hsL7fT20CX*U5%|5{ibqUpA%nszRx-uN z)9)(BoEvi*s%BZl%JI*oKS&^~H%oKaD0DH0VdPPvc{GIjwnabMgArEi#qdY<5R}la z<&gMnbgBF})uG^6>2ZfhRrIe!J5LqwZ@s%~dXcdKSy%x=Y^|dm`%hvpq#|v@b@i!mkA3WEIHJnp_UCbANS$d+8WC zAJP@5)=tKkEr=wiDqlX<-etgXjUEPO$N`ntvK~es8+qjec`W)x9;;V*Ec#AA(&SfF z6^m?mp2NBq+HR{VmhpyxSpci5R66RX+CpFGSgHI%#Gz4tSK_|l+_jY-jHEPJR|e!~ zYh(FaX6n74>&iq*_xO}axQB9tw8En~LVS8zvdtT~f;Or9{45V}(9rsd{no@o*Pj8n zp|g6PfSHdnYigl52VK-p-JB;l*Q(gDYN2sUA94kyK zyT0?%A5mKBC=~LiF7_N6DCZBM@=nVWtyJ&cm9NvZGedKY{5Ta}gr`Kqs-Gz^QAbni zYZPfl+oiGNu}h^rC|9O+)Yz2_bbwEGZpbIu4Eu0@zyc=sxP|7V*urR2e_OoMoBy|W z&`ZP96j$w6|NJM$U0+V$%g|P61LLSae>q)<(Wt{|p>Oylc&g9;alV=}3{CBaR`Vc~ zqdM)K@ifkGt}_6Z{qHye z&lf=yij%t!>3>&$8AM($y--kFnNaTDpI|!XE#rG? zeY3#;F&A_~l>DBV5GV>Ii`PfeV?ZsSLG@K_rH7)eq&r~rdh~m8a1PoDA3Qy4xAVJ$ za|SEne0U;jb8@~qddVjzp_R+GmO5pdP{IT%<9n5BJ6fN^ViR8npC&zY>25R^NO(u{ z=m5fh9wcktBZSw|r8;b~9LJK~_Z)IU&w}Tnnqv#@#NavdNH~zJN@}=nr=|R6+t3PL zaXd|Lv~637wPtq@(vend>!Q&+8>?rdAlFxQgG7``<<;PS0D|$yw_q_{5C7KcTs;{Eh0i36lSgn2 zG4&4UJ0H=t#JVsdTBNNf?XA9fFQYmaoI0~=Q+au!!Vu|qHClpNqn&b=`Tg2ee?pqL z&UIX-By$9E{cQ$+qSz$esMy6^?>~;;sbK3vtLM*DkazVn6`^I?aK1Kwrh>KAN`S>L zDY4ZN57+m%ll0ia7lmVv@7CbWa%KR#h6SF_ke;RunnvLyKV-MIyp=g5$@YPh8+jUk z^||50_^#w)XznKL8bK%*Y3xJwB)fWhRdo%7adj)tJ|tidA6KxonZv^6$m2^6{_KMS z79RefKrS$No%F}odYP3IH>XqX@-Y@xa@Rg6aK&-wRf>>s!x}u&9eVsj4CZt3Ym!ekjkjvI*!cRhovfk7+OG;Yy7Rr{?UI4Zs7!2zAmzZ@F>A9^Ss z?~_rO6SI1HfC_(*ck3Lpoe40spbHNs0h72`Nc&k7Q!7$g(@gQroQM)l)P35u3YLW$ zXS22KW@`&bs^7dd00lc$o)61JYxBwOfvVb>Di|T0C8EA|$c9dIyxU{BXo?RsDyN?& z+_YVRR2v>;=e=F%vuZlt=}7cgvNc|c1-l*hoZu2}K*@g*K(@~I`%v40gvt20uX^}u z&|)j!zXS#H652%c@zEmhW7k2|{iBtq%S*g}N4b*mnVy>#T^67 zET?%(@l5JmNrbv*Rr=wnTO4VH%wtizui}bSYx+7%_6T-~M5EF^ne9ZunHO_wTg9do*%Ti@@7m0dyeusCgP!dhwNcG7>nbUoYYG_zR#_}f3_n413h&p#Hi zWd{`{sCo~SJq}T(oQPe!doROjx4F`MWWd3p0bC8V<9q_@+%c$&Oeb)F11!8`9ISSU zV-Dg#c)ITqH8raxc#W+G&brhd+wu|9mE(Z%F|w<8sjlaJkZOZ6j^}}5?E8do1^b4e zcOHMYJj2xdHN*OK3I!cmSc|)k#LOv;S;CsOU;6__pK?`@>*!+yo2~Q>(buM>byD08f7|n|&JVoD5?&-RS$OkOGp@HhVSbqxT;A zXn|+*6!jfbJ;hrhRJZ@uK4f=B=iaNeuC0MCce#||O#u3te^tck6fKW;`g3A!`^Km3 zX5eV7Ae$xEnvPPErt`q&j|fC|hP&}nSDWU?*|2xWv6bGR5#C6T{rTQXr z_R*<2y}ib=ly~K-t9wno0bAzQ?Rk?=M?e5~?b^cIr&nQKKdJ?(cvRu%_k_B)ATC`<~UHBD%4ubV(K6X#d= zc87G^Ndni(})b(mO>`-ASSb1}@HEM%>_D;PL;x6;|ccvS#^`Qq2l#@DIa$-k4MR<9v_pGnXB{r!y{vI1OvPqDR+y?8DHvuU>HvwvXxJ= z#dom<#xq-Xq+EaxZR=xb(0_lAQUY|_z?zs9SC@@!bGcfE6cZ=FOvX8H?YqSFRzMebQGsx>%uCB109Ctg|5I%RS-HVu;S9q)0r1*O90&i(Yd3Q}d^+XX^yI#ZmUHOxyZ|j|>`i5Co*lgdq^)S|Wek}aU%RLh!v>`G| zne-4=J*#u1<<{ZbC%j2YW~2f>Zn5Y#r%YV7#lT5twr|bN&O|D}T4e8EM?TrIpOknCa;;;9ZitGrV$;Y~n?-$?u0EMZHQ@-D4+N40^gsB~c_r9zLqo z$2uXyjLi`q;|mw(g9-!2gBrUT&r z|G50+jF00la=QCgFbpm$CUT~-ZLI{r=UxqLSseB6n{n#OD?*fS z*77sLa~hik2Sva%3dd`C)(Y>SQ0-5twswoLvdi*zzv*B}(65&CCyjEmn@{+p*}V02 zzh)ehHiuG}rVo}ig{Pl%Lqwf#yKB?_c4c@#^n!2GeC4#_e?ibZKOYmmn|WjlkGz(v zSpkTz&^XtB@8!cp&_OJEDKu2|*{#&1QFb25Al%C;qJF6y-B4tPl3Btvrebvn62Im;Z*H(SW#tBuusC#3ON=5?K26%$=_OdLS7 zO86OMbh9hx8l=PK^5Na{)2FX#kyBet@PFXvO1BUhfT@f2tTr~X4}^5>yk%9@#%5!~ z(`+X9^9{h{xr?8z{*%5aS$c2P#8mU`rI9KQlxYW{e_d#-RM#=pY~3q-(c?3-<1G)K zSuY;3mqKOLWI_4rAFvS0Z|Fs;5_Pkkzt=0vJRJh2yCH&B! zBT*g*fAMCzVt&d-MuNU5-ArFXJeSM^`m91b40can<%RHidGc)n1dZ+F7bWdks$=Nx zka>yo$*cMjSBlM7zXT29^33tVr-)%kfGkC5A*E~OhAc92-S~i5I3Q#6=FAb-O)w~% zG_x;j1y~Lc$iQiHWlvzmERO7hhRYWySr}Kqe>E8<)z6_ns(2jpB0t$8C}z6(SV|tD zK$IZsUgqw{sXSlgNkSXnDQsd+5#ANi&mhP9Z!vklcCZ)4^0)id)=gE>$ zf8$zx=uLE0VTaf1AL&L`#WKTfT&p|RD>Za>v!RLMZJz}I7bT7@WZPT5nx6NTb&fT{ zXtTyM(Xf34mrS_FYLucSQmYfFO^?=cFyVZ%TnzP=U2 zSkYa@ht;c=B_F9blhOz?=X)D?To=ex;vK`P$CfYznNk;LUZqS+iWW((gfyx%{%wWl z0lPJEOS;Nvk$%b`!+ha@@aQ9r?B)`TNLL;j=95_qfZ~i=>KsFar2#C+j~Ca^e;Bmb ztKwqX3TmTSdZ_w5ZELX8&CD$_TeGmV-!#}BV^KoN+vTcs`P3)+r_i>yN70A3Jztm% zs0XZOzN%--y!1mZ(zh5{W)NP`Ux~;m4!$>}PVOlL4*HlrkhuljvV0;H3}B& zau2n|KjW3nT6PGpp+gDK6vEsFe-wmZ-W`Mals1g_tf7kf$JOj zD%^(5IxUtL;YiOvj`XyP$f}6zhYbVL1MTpz?MPhe29ewRP?x%1C$S9bT|fvn&HX!) zf(FnnSv}7*C$X49C@wtQ_wgSy`Ef!aJxC8T`>V!bFN;Ywa1p+f8}jXWIr1lu#wRJU67W3cq0RBZBjz1HKhmLXy+x zoE&-xtXy<>T2wMcm|yvwXR%QWOV$s)!;-P?CRZ6iFJGPs}m|2 zG8$~!@X#DN!4$TnfBd|~UEYlhycAz$^^*{ihe*s<{FIimQS~M)TA1@Di_IMtEu4E` zEXo9rjm1jx=zpCWRFc$+>nl$DMW5wUwhxz_IcJmX>v5#WBZB{gX0SJ z-fdCLY*qn*mfi}!ZMwqF?pzt$b)fLKM!oG*f44qq(zBowfBl)&u?VrePP2e&o$#}2 z`jOSK2&-L&R?`gU6Ws)fGBMuJy+V8&{~m&{l-T z-`aZPVc@k(jy_G13trAS=rSlHMR9121xK;_fzYDgEX2M}(63{H2nbG&0}lHOdC|sk@pz_O5q3sl`WfVs=dTJ$?ZHT#>wAsm=^T z%wI;#f9eI^E>H|SlT=*EB>^AnXhMk7%Iy?1ljhGO35_T+_b^Q} ztxJ_>m`+V1KX)FxVr9pa`%r~V>N+-R9=mvB?Pe3q?UK19Q`#kcU#IVltqr?UZr29m zu1f>|L@#8H8;!DaI!%W()mLfHk8z~z^&Cq z`c{;(=IXdFZb93lmP%3c>vA@ESC6KN)u7&m8L2ZC{EfN*Li$Qa9F3MHXCl=t54TpE zHACfsbakH&s-+aVHRg>dyrgW)s*8u(JxJ!=MMefgl1BIGteLZRk^8A*p)sa*iYLEk ze}E7PK;y)WGNL2Rcjw8AWDvXWB->>e zj{~NKg5-GITRQ|6#NJvtJ8cl}lXfs8>SV5CQ;8hO+U=X=?3MkAX>!*yzTa&s;r8NuwK19~tLe_KhIvd|7=tDNU>n^i|87H}BbI5TsVExPf_GvzHA$+7J~x*ghD zEG!UTjn{bWDqgd?b4URF+*L{Kf9kACvvqeu4|~#8*bKnTE3(a>th6~!rguj?tB?Gd z@Ze1cbRO2tGe42)fsnH?aYa*BgFir%D28>L3;WEc9RZXGsdzjOQ&$U*-{G(_&AE=8 zrn+$d2+k)eb5@H^a%?Bxt72O|3ts%(TLEfg@aIJm4;xN!&X-;hYkI<-e|H(O05v89J6Ya_2B1+ zKFwPT8U3(A#kKXB=h8x@&=HC54~9)NvU@Xw=RL;iK73Ww3I!4O4E!jWS;OKEMTeiz zQ*dT;`DBbUJ~GElx*fQAe_)PR@;7QzdbEr%hvW~L5%Y_;^IZSKBdvWv>ixVTAwEj4 z&YsN-t(YdP`=@BoSx>RgojcJ!>OKhYTqz{KcA>Kq8MpC=bO?=W+>4c70NK3(L|vLg zUwi07fxb|+OKdKciQKI}dxPSv1Ac6ZostBrH&~yDSx&QO!EVNce-+ujYo4(n?(*Et zD747)Tn8I1(Kh#*xxQYs>V0X^#rb;#=e2&=z|Q3THysng8HZMDTH!nucogg)u}%$D z39f16>V~#m)mUm2e0AOXtLhSMt@q%^TEN zg+406!BZHmDbZ_E`4I-S8T|8?f8}3ekS~A!u_;X0f}iK2pK)-*&p6bV$8kL9X}o!p zca)&(SE-F$`!0!+%;~zVTJiay!ilE>qrq`q0iCsK22)gXe^l1ZKVGq8;C;vR!puJF z*Htf$Xf=R5GG>~7Xrjzq`K+nNbMT!ur`jlLY9hPP6#f|97`e7`?W4&tHnZbvC_ zY9u$swS)%$pG^)?J}~PcEXy^PNoDR**WJJ2mn0nTQqWnv{7SW2`~XN%dVAzp^NV

G=qpbw8AT~Zl>`{@H zNjNOh)&WCNqHl1o%PsS^N4=2<$h42EIPIW4%8q?lCv_9ob_kqJL5duw1_V^Rk-MDM;q>?f1*CFIs!hI)v-bHdzDs9+HMPqv1wv zUSo^7Yo|T7It}Te;gO`rVawBKXKwg~;U4Q=%2$A2x%9$cz}?FMs1sN0n2@f&efyP%E20a9fZ#6_qAJAP#?3c}2^N5^03B0pw4A>%fk33K(;0~hd9S^X+{=Hu zmlATHm8J2#%$}Og}^r4k0H6->5qAOeCwQn z)mC}ZUt&my*&9Gwsy7H8jcN1+J7mk8Ix1hZ; ztM&>ql3LK3Tg-nrwtla7oio0VE-(eu_vPX-2x7FWgfCa1!QoLz8wVK-IZMQNh&y67`vtjVhXSW7E6al&7AyI7PqO9>(D1NehMNAM~#6JI7664kvEND%w zal^6Z&B4{~@`Z@GP{Z5A;TRodi%PUD`HRktmKJhA60LuTCRf(vwNVjZfkFv6{I+V| z!a7TdeR-ugM2TL&qI8IHmZi#QQW&%5<>PA>fO{4p;5(q0gRemqiJ;)9lJ_QVB#vHtl}vS1lr*9m>B$2L zKIngKI`Z= zZ@0BVN2Sh8xU#7L*>^TQ?^mAUxI}MRq5_}VvfBSlip2a!bF(w?q0X_PYg?P+(e-~U zsfTnziivh3UWlYkgbhjOF+ylXaxDib<9exPbQE(vt3jP8ky~uuG{N^%NlV?jz$Y?(vvvI#?W#AXgjQqS6TmB}~A^4A7weS6b&_!?J zw=-f9?_&UMFcL0WBWPVlG%jv0PVbB5=!}$id zYa-j_BBSYbwbD9C^)Z>m)GdB*+lx%tYTW~=K}>SB%1MIjFxDg&a6gQKxa)|GQ*l}C zTJgm10R+x~ssO{>vv4F}iA&bmC0mg}wfXY>j>CBeRzST*ARMc@b%qW}pBaC8{sbw5 z)J1)!P)l!3wBt1upn;2ybDQ-ETb!As zm3MJX=}cwO;|>4jOCKNZGo2g-bxX*kzCh;M`-M_OlcG-QYP|OimE*ZrHqcfiTAzi^ zP!h2Mtn0E3j#KWR)|JwV2RDS}v{i_CXJOe&96=)Y(w$%FmG+BfL{K_GUsrHL!IF&1 zci64v1U$WYrCom@gG;&QM)ft2vv%MpbI(2W2d|x~Y6R0-h0A|QXXWKDr2P;!btE|D z>`XF6b&4SL=Uv&dkpJkNA(1Xoh9ayj?_}sp?x*ddm~J8WQ#-2zZQ-rW72fhUZYkSb z`e;0ji#q>OKaHg^b-hsf-pccEa#Grse4Z1Es{3Vg&w_vHua218ngObJc&P*thaw4D z&C3UT`sOpcEV?JFWA8}b>ye!2BwgIz{nR6k1GaE$N&Rk_Bep2ZzN_>^du0}hZxS%s z8qXn~#x6*)O*X|*iz2eIOcdDH#F}GoPMh@9x3{N$OCHtyc4&&$F3Mr_m<2H3TtS01 zBqod!yU2eEf{M}4Q!%p2>3G%=tZ|nl=1#sH<19oYnSJ9+--Xp_Y?{_oC zxt%m1mVWa4Y>34mEp*12iV<@EhqM^;9I!2T-%ho79N?T7SBVsn0ddV*uU*jL6y+=^ z8f?VvoasskD)h^D)Qp&pP#g_89w4QP>7_Xbw@81BM0F5I9&6P-mzDFOov!oN7Wsb3 zfVQ%RDJClRs52;X%@VWC1Y(0#=o~i$GU|CyxIWva^?PX9MmpH`^IU9hQPMIx zjZY=oNpU2U;?A~|+c`$Y2i;kQEk`>?{sf#+9dkQc3X0=j~Tf}_^>ps zcs(`paR7-zww)jziIS>nT|tLIk$}&fj?Trc-16RvM9F9O$_|3JPuvMzz({00BSYWs zPMCJ)&vB`*v=HjqtN6N?cCb*A^DT$c*t~zs=|}Fxr1j8jF!haowO0&6)3SARr@4Az zwNZMvVhqVEbd~e0^(rZIO>d;R#Ql6FBrA|fgx5@eJS1v>px~ugRypdCGKrw?`~~fi z>GvoXJIDG&zL`xuF=Zk<+ZB@vT?w}=?w;CM zo8RR!!H(l7o`&)j1MU8GI`cHsfEcce?-Zt1(b|oW=a}5qGne~x+7Dd;V+U){0UG9# z6AeRcjt{{FU+IHn1zWMZM zg(5M;>bf+a659r$n(G_y)5;yHJb&+2T;~#NIq6)RDHTcBwZWgu$b+2=?hJqbf;feg z?c2Uxe-2P?W`KTaWiC0O*@}yqdam+5S_vuhwRO&4qAajJ(PygkuQHsPefISwb<>9%`0r_2Yvp-m&0`oMVn<_$C=$+A3YI@ zEAUA0X74Zn=wNS_N%NpP#Ss_yq;DK$$>8Ys+}v=MFcXuD$nUr$ zWNcL4<8aG2^7c%^s6@A3hc!+uLMznDagdES#N#hiC1md2Qs(-sT4x+rg~cuHYD+IE=PLbGfc+UZQcf zo42tpz}53oH}Ll@`&jZhh-k~RT=9LC3i?OPA%x+-6P{-fYWn{8rV^%|fc6~d2JMcP z;%3qT;y5i;rJQyLhnsshP4cMm9QVBNxOlZ_GZE3}0(sgqtZ#p{@|jz+d$+_oj8n@l zzX+6S@nHW1^*Alyxu+F=pxPZ3q%ci)WOU@~<&SOWAV=t9j>IQARgzO9UPJ8Ytr+uW z?C>5PYAvji&B^(Xtj%;BdiiiG z&kUtMOQ*j|IaU$V9vN8p?Q^Ziw@?2Ev`Wz)m+@c&6Nj1+0f(9q0*9Ir1BaRs1c#at z1&5ju28Wsv2Zx#w2)CLM34*NzGdD0Xmmt3h9t1NtFfq46zX>A{P&Y6`HZ(RyGDbNw zH8eCZIW$2+OMbMb<~2Fw_2FvhUP zn5Wmq!SM^fu!C7eQ6f_0Swy-`C{mS^SV6l?6oY!OiZ)Kv02;v>+9jgBU>{gV8zU-!Vu}!yGs=_q51%Kv1)m-6>UOoe6 z!OLKZ9fyF9y9k!RT`+I1yryk;z%mC?@fO&jpZ^N!#N$C7uwicCAMLmYw!nQ*V}}+q z8)&Pbw%TMOP0ru1YJ&a<^hcm80+tUsbCVOArAY#<5$f26&HNbPR6%VZ@8axGG`G^L zZ8StsLmXi7IuU92H-Cw+cfik~-Q4TXwS#0QN-@7YbP#bVcq|a)aTybD1Zotz&3*7t zd)bzhfqXA8^w){xU74`Y+{eS(ffIuajBUd)7Iy)x;;~P_W?{(O_M6&49|e3G%G~l6x!Y67v9jywkn%nvRcYoXfI)Rddn}S|6W$wGT zv;;SWX_n~8R65L=d-7Pb^I!qstAMY9(zy&)z$#b+DhjR(8(1k zv;gi?Uk_Bb6Mx_&7y#Ukeh}!AQMImsUbCjp^^SAkIOqo+aMAi9a2E7|s#(|X&aAYg zZBrI4{H5p?m;v00{9GC~{-$jdR{pq^eCz@Td=#7Vp=yT5} z%dcAW;L~);gBO}uv*_(zMR&o5MejaIXWv_twrSa~7k?C~WZbd-zGZhlN~^H*hbC&4 zeKz7O{^mzrZd5hNSa!FRF4_H1T4Xu*nj#9CP|Kvwa?!X;@uep6mMcvwBJD|o<;wNx zZ228&jg}kjQ>3q7!E%*+I$QZ!TG8^~ZYrXJNwej@FS-=l(poJ4=ZvCO%fI+RQJcl3 zbw%wKS37=F)M4@R`-(a(PGrZV%i`_lib@uLHK^zyz!nMhO?2PuzlA<>`l?j{*Kjgz j@uSbuTy8Zn3?f-vh4dKH&dUsZ9Z$5svPSYn3^m=J+QEPnC3+j=|E(OQW zzx^h${U8AbhxJ!J{GF2{0*!yPlhuxl-dyZNqNg3=ey0yi8x5~Jm#0{si2GqD0X6hh zw=?MhCOWonRz`{j_j{H%`;EK{>p*&aAnU~a!Ov(rQqFo(JmIOOXau~8rl^#TcnY9^ z_%M;OvSmO#cCIEB=SrhkPfOUBIej(<4Vhg$0)OMKopzm1p~c_;I?8`;>^(v#Yjlp6 z=lsGNrf5B(<6Ks{Bg7V3&SeflTvm`*-7i%;_-B?q!f2j#R z5}xdKR)MW(1VPsfs+mOqzG{Rp0<=86)ZaWx1R>ECUwa@<%oqew_ndsDBcB<`lX$PZ zIr1ddm#90Ru=1>|+-U7585FBLv4dh2Hk1!=BsuZtx}z zc^p`;^8|{T7G!mNb=sJ66U@NH`f06!Y^9L^I6AUveQ3*$!LFJ27Go|uV3lF{v@r(U z66U(PRLA3)G!~4BzG73ccoX#Kq@cTNvFI|&iUH+!qyp zJ8FQW8TG7CBqx7RyUC=HKWduH*=WmB(nzU>Zn}%G)trMQb3nI}x{WDsb6HN@W^ro6 z(X-;{>Rtap9z}Q}d2(t9%EUthb>#9a&WGHG`mAClv%u3V2?$z%Z6L}q^L4={c8HQ@ zIN+<>^5BKqW+Vo0{VF>J%7(0ueJ`eRvu8`vYRG69p*nxmmMfiXLUGo|mSPf{jh6ZZ z#Bds;ctm{1HRn-pL5n<6Ld2jjjhIOdY*2}?93_tm@etdBRS|Y)ZGJkhobw@D@|-M7 zE94w_H5&;jC%oD_8D+sQ_BMBhAn79WYw=m5B5b~s*K?DF_0dUT+MU?m<+Pg^lus#T zmm-o`6k~t1Mv2x%B6GAZ>qFD>S>b@JtJgGEy2I`s>=wHXs0(6scH1YUvDHD6*5HqE zq71q4MA~oyJOgf<1Fry!lCIZ!P^wWNCq#N+#>NR2>P+9Bv8E&mW%bc@%lLX4w)k%= z3&9rFxh<<}@nokf!Q@_N@o9qwG|H?uB4Vm1 z!fIA^;%lqt<*Asiz(@gyeX~ra8!LD%FUi2(rKO;>&t;F9Z*-_G*bCzw#$U6c4DruWQxn2u7 z49~!|2j|N-3`Up`ez&jUqU17!kKzV}+tq(0@=Dz@wxdLVj5y24_Y-9r6KY&{xXZs_ z1;GJippY%;5fdc~G)WXDwDb|qQf~^{(Pa=YpvF1%rUV^rn1zrP3pS;t{Ar|3B(79@*N4=TOWvvn-YI` zoBWQqk7o(21r;cuT0-Q<*@m%Exe#YcSdKQhxuTSx%%IDLY~|H)Y_HEY6Gm^ExfV)x zKioPzWx1Wc*TI*il9AG;0%1`u0rH;-ulNJVs(8Ymc9SZlr63oHUhc3ESGf#CNA|VV zfj|AAJXLkFp;HJiy68O7Vqq>Gk2Hq9ak$zgATo8M%|G2q1qG z4Bm8%qG#9DkOmnQ+i-DZ86{^i|-{g7M;?R z$IcY->Asd(4OehAyQE11_s;c^pINw{2yy~}$CFI*<*e&DTQd1HVv&=l06~*RIK#G!k81fxX z)XRVx^+h&Rjk%m-lkJD}Lm>0I%tXfM*ceY4XE`Ye;g>mQDL40Sw+1mm|?7kg!-?9-FT3SH8eWcbC^ zdU<+Y&2FxAmXW69ZNQO|vT3_0+mxrRiUuvO`5luPDlOYp&PB(g;72DHpqG>CH)*6o zz8P=v$~d_gt8B^E%N3h4c4At^5osCugHr*`%p1XHw)Q%pKF1HqshEG3tL)Wf0wmlaE9~B?P?xy z8I$s3;mYckt~DkAjtL&%Xqw>8OtazbOVcdWh$|}ddP#TP@K6p0LkTktRW&0c&dPpu z-}7D*h+gT07gFG>zXX4NFNU_unBI?ETxm%Nr0H#uRx(`mjU4n13%bZG4o4lo7L{{E zG@GK0hn0(@Anm9k4YS6T8cHwX{OT2P>-`;pfjhiCS=M@V6L zbFn#0Z-1D-skW1oBh!qnHFakh$FbR__gM54Xe=G~S?%U-NOiHg0m21V524A%sYq_G zuA^6W<|q~FdVh6O-OH3$H`Qh2`XcPD{!j8ET%O_H7?%!JgJK^k%QUKwfD(nHXG3 zO!?xTse6l4D^{tG_Kv01);fcC~Y>8WkecYWTr%M^M49I!; z8-#{n^XRdNvFHyhO^W6sH+A&}@ON}>0X{2T-?jB*-syj|9GeGarx}$eQQp=VW#&R> zRu9UOocCi$-64v4w=i17c=wcvhxrFLXUPCNX9+uF7sNIQZf3l;JzV>r2>o%V0>*JJ zZVW1bBN$_~!aQihuIf_0Vaq8h-x@{tro6VeDyz-hWzWD-PLVi9!n8oXje7NKZUF`S zo@0e=+J7AC4!CaSa9aGlP5ZmvB61tgZVNc<tc2l0$U=Wn$eZM1~flZ^ctZeXAN7AOsyKpX%a!}t7^r-vP z9DDfP&v{*nEi>BfYU%OGl_?F62OS2^HI#6G4`Culs!;WMd-mV%t)BPtgN_NIA3C;; z!@{8~?NtiE1+uY!41km{rCSUt#{SEX^Q52n?g{v854!8X17$361C)m&2t}wdSMIhe zan@$)&k4`37D=OZr0L{R1H5&!s7YlkP8&{Fe}@KSBW*XI`&SLe7sHvf=E88k7Y#gd zxmBmX84WgbzZVTCap&K&ZWid#pg1?Iumwxom>v2OYQk}U0TM~4rvv_vgF>JjAkI7N zf8N@I2#x2Thi)cFOpvx0>1%0uIt&HK+O=}=1EkV@@*Ik1ty^YueU`_OMPtw3szYtX zwqCuctNMP~hPt~^X)(IEDx)YmD~|ulsc$Xw^PMRomM6))-nuxOBoKDR-m0+9DbpLX z-*uDiPI~AuavFQYR&(}neoF4LBqksKhZWHRC~f?7K1l0}AK>2WI5XqE^BnU2`uW>` z0Yr}i4wE1cDFHZ_0doT-vu_U%1b<|y+J}i-REF9o6>1@39~<|?=i_Sqgvn@amH~Y; z&*prYMf5f>KzOwvn7x>}qG`dRTZ9u*RX{7jP_d!4csS#i9;?VW=>X$^3L1>N5XYPq zDCQI5w3nEQxCJ9OW>8oHGh=(qNDR$x{=GMm7PDwxAB7H;0fIvWe8yr-qJISFC5scJ zpdC0vG9^PYYN@e+3^C0`o}^LQ+Fsl2Ihb0xdo%eLT}E&;3}Z-YW5ZEiiidVDr93F?9NIHAMNb4^HKi>E=3ZGSG&ut|w87tli=kM{yVTiDg{?7eFYk9~$t?-GObw<+yk zqYW2CkosmKnzi$VHA?GgvW=_BJ_wIV^f)=A2D|S;Vh{#XS`&4uyzF^52|@=qFTHdi zmDlVXQgT9oY+zw!D2KGI)Cwr{BuLyc&e;O zlbeGmtb-F?gE7KLyWlnROSYOz1+QzE#u^bc`q#FUemKh+i40R=hn~!}1(3dDJ2NAF z_pdHjk&*o_3?|0QZnL$z|DK>|&6@P(@x7HM$5o?KC!jJCF_Sd~o%@Vnx)oh1UgY(- zkWs1X9q1ULA7A6WxgvPzk5^#e0Aq?2Tq+SYyG-Xzt7)m;zU4TUKOvnvx%imVlb#hc zHF>#k!bw;er5ozve2%L{Erm^^Gy629%A5-G%)Z2tnXTP@D-wEo-G=#)epthgXr30$ z8Ge%o79f8{zO99>qtM=MXnSLt5VnD2*p{F8#2xhJ8vi*{X$SV5YA#{XtS(bBopDvq z$voah-rlCW1v{vf3x8&y(sYO;Q!|0=hQ!o~`O}D5zgpz!Fxg7z=)jd}qELN!>mXTz zdEWFjNvhO9S8Cy^rsTI&B;jvdJ#f(K9odiemC%2vt0C4sdYi6be^}B$lUgH{g+$1= z6;sHzd5xOJaw)Quz!3gxjdg}0Hc-fm>*!q&_d{WIA2DtT6}>67^N&G zv=&_{T9<-77-cb`jb^5+g?0~3BsJSAZ-v~gZAF&-2Q zm?}Lni`ldZT9EZZq>Ll#3+@@R%Fu-&leeCtoZh)$BW-*RA7%Wy zcB-TRV^6pT$_f?ymU{%~X}?X#qkSEnjghx5Rk*#9G zbY8*ix1FUUYQ>2E6iKmp&5 zD-#9e=5gN$(B;$s=zBth`Cl3@kHN135u=+a7~@L2Zpim*bc*)C#j}5*((<-y!Kp#{ z)O}V^Qk0zRc59hhV#;Z3=u@L+0(He>#Jq@l+Bu=jaOj$ks;;NK*)#+6G1=Ew@^z{) zrWzsLVHrUCRn0Y+N*ntdHFuc&do|b3>!tpq=S=Kl%*Jx6qK~si>x4lcGOc<|8DXj% zR^=n`rW%Uj+jHz~Ms$fUr95LTk(+!o2dbx#!{DwYfFf zM(gg;>t=Gb!t3>_pqhuXm30M$z3c+hQVg{l9w1`QJQ!f0CH-+9Tx73_-r1d8t6kx(oz zJHw+5FF2%?qH3LQ#7t%IzV7H?)cDp+Q)6}Gi22GS=Br`96Yf)SXQr@T%cR|(<2Av) z!ceOfnO5Ch3gB=2*J+om?sdXoD*nG(EpgLF)jN)dwrH0rdlnbqe8gUeK10P%us2t* zyg%k|?aHi`2eW@#Ep4m(Zrx=r^MIMlV6bG5E_l1^NOAQCcv1ldhvCMj3&AsWxlmb( zd`aNC;H8X-WLH^h{`sf~7|iDUxd;fphuUDLMoSOPT{S2kx$(W}$oYcc4zFsxP%S!W zhLNl+ zUWwp3x6preZZ6$vRtP>Ue!6&Yfjf8nBh0(;O;g(G=q^2kaPNM*(Pb6%=0a(KM{0<-gz(`g?u7qZ*aEy}#X_jg77qyEYw_zteudrcF`;XV`)>vB^Ci#u%X)O=Z~ z)j5`)!^ZsEk?yw7p|jlFcw7U4;o8^5R4v_=H?@E3`N>pmoXn}(NjER`+@^_r*DM=j zXa$75PFjx7zKjc;yPXyjl4rLY0=o9u5%pTRTnU|K=X=G5NK3K(caW!p7AS;yhvW3J zW?7r7q+J_aV~VFVuG)T-YPZ_b(mp91rY+NqvvQoKLUwXP+U#D3*Hp-!)?S)1*tr1@ z?%sd>cBeiW?sdOvmf()y{bO8acVb$)z=hziLUGqW;!lbKa! zK!5Bx>Q0EciZLa}tv)*5Wgo#m^^To%4_%a`W_bzwP5AD zD=)Q%ua+X9!Mi_A;d!;Vr!M?>A~jf*q#}Qkal1b|Fd(AY^7l$*x#RQxO^h{@iyE&a zjQ}>PFyiEs<_GI)>y2N!4d1J%z0XY>{xK&Ny;AdlyQoy`;@ealVOvYV^eu(gs?fgI z9{NmyGvA=)0%tsOnn4QRAj!da7Qr~7)-Qe7wIm-8Eve*q!Cv`6lFYyq19ZB)yZ3*4 zB%7~%kA$vkdZAZR=v>BIPdoHiCKwWWDt*=)nfA`h)M=ZdU$_E?eEjTvd>@Ab+S!j@ zS(479bvH?F6uzi<@ZF7-c4IQ!=Wkm}a{XQM+SYVj4j$TNy?bDzp^y#Oy8kxH)hqlu2o#bx@)%0z0FyY)(Yh&BhJ_9 zvoq)}Aq?FQsE%nedH#HT|MGv6+8mCvNFTsT0yQ_60doT-f2~|ej~u&^zUx=iQNlnJ zBZ8|@Q$TmCdH~)@k9$?R9{{95_CCRL6*@s3+m0W_cei4i;dHMTAUjFOT zKR*F~$_rdH38&q~7!Xpc%U^!`^vkdE@>hQL`->Fl{pJ7S$loqxl>kfp@Bg{{@zZ~Q zdj0X~+q;2_e-qvqa+e=}yOc#0lF%xwsswqs{P^wi%T-FFZ@>Qd{U@1;h_gMaf(y?JI2%(_>!iq`Gp#U!kMOtL+Q|sQ|fKtQvMcIKgLiZJB;mS4u=V&8uP-o=`Z{n z-`eht#Y|Wb5ibER-%oj=PzsG7;)O!Zns*S8_Hm;!$~s|ANsPe--7vXQ#y8j{nT%e}i`_|M^39Q$~18 zP7l7okdWw^P$x8*O6coTP7aJ0MDr;pv7Z?SICjT=Sm1$efb#++&U>oFQW!2rQyp*gNeo6cD_RmCe>3E=7$m0k^8KON%U$~lc?PH zf2I)GE3H&dq5xGHRIDs+NY#sfMQxXgsa-alqTt1FO#X`;*CxpOy`2u<`uWP;DDc-5 zzK)lEld5zJm^qs@oO677t4ebTBOx;TPx;{MdV z6r;<~zR0=G+c2+qoIp;dAu3zcrbvs0e-ye(U@Nl87M(}MFy&Sv)@%!8nhog0k%`OB z#rU9|6@WV?`+#+DUXgjsM1(c9c|>jqgqe4*K|A;}I4+wtCF*ktPL1znJ*!7I-PEhF)=wc!swFj2e|1!} z_}5q()eGoa8QRU;x{3HSGQC9W3SuH_;`3;nZ#VEsNl<1Z36KdTUAwirLlr7oWGbuY z6HtU*x?oMWa@QOph4p%7Xmo7v2@h)sipKwD0i(U00weH3aU_|=^TGf*L4=i+aENnN zqv?nx(YW5D+s5wpv|;keiyJ#Zf0X!z>YRNwmjEDS_J%BmD2^yHvv$G8Pky_u^fLJg zbMCC`5vd>lz&VpfcDtV02SS^j-ym&;bQ6zPp4qtGZzh6G_7!$b;LMSgY&mOSFi^4Y zts&XHtv6J&&X007sfj1Qnd~X)bJ6Wo*6%)ywU&4i3qO41A{kH`tf5f$+0>S5? zm|-`sXR3`%=3YQ!g_yyZQEkyqd=xZ9pM-BR4Bi5xSVOGdg>S_oQZrpk9l_%20<~Hf zKbz3x6iU-*1l4d*J{zNovR02o2brOofqy#ilK+XO=$>(i{%HpgltQaDJpNrg{ECFBQv7*=Nra$;IzO7}$M&dne7DWWN|PrA|wv6voj-F$KsRO*?=8Zsp7O zP{X>P>lix0E@+y4e^j!~-ip6ecA6dh9KOEt-<`St!k^|;7YgfQjkg+`O3Bez@JrX1 zzTTtmGUDj!`X{E2J4=X5fsh|X-ei1i+uWP-*F_X%qmj%V?KnWXT@QV5*$H`B*M39zK zKy#S=FwumL8#zTwslL3HXq&ld%lWB)99det(%dUG-hkv8~ZHQJe969QX7JjsN6u@1S-^&_4O$KL zth`ms1Zmvwe{p1hGjtQ5HsAs4AO+W!{fDVT&YvbVYhPKCWZ_!7twe*TMOp&>3>HV0 zrRx+*c$M-e794xrMs2rAC5d!2>YQq+sP+goliPa|Rre3KWO`Yc>}f87Y^N_+8sA22 z9lUzpaFr}&CY@`+LL}ta!+5(YoA(Mr#*7JOp&&e3e?poxV`g$1yu-k0PJc&K79SI= z;>hDwSesMF_qD6^d;y8_lcMye$9N_-<*iR*Q(9|ZN+qj>hAN8(nQy39ljlh!u)9E= zfWK72x_RX#?mrYri!DElI$M{Z7Z+6LOP!%4R6CTkD#bpkERht}K4Kq{76#!l|9(2e zZb9{7-*>)&_~1) zJBuS2ijc5%kO*oU+@W{8Y@4;f(nBbq4&9C?XhcL90eGDkPuFGL-Ag@E+@rgD?P`X( z>H?3oS#kEypojI9@%y$;ssK2HRioS%y1a5te-WNlS@TKlYkvvT?6(yo6HM+~BdY0_ zN_jC0*;g9M`IoL@ytR3(6TSP2MX$kSFp*99s)eR7lbr9Mo_c5u*c@i#*~*no3?ugn z`65C=|KR4l`XlyM&bV0|;j-jq@FMN%gC`J76Y%Aub!cMMfq%UYO<97y@(fjulL~aL zfBZbt5MW5nG`FUdV1Dx2rKklXOTVirf?OeQSsXY3mvd|oN4P7B(4L+0A( zxzF=g{8g|rX!NWQ)Z*SCg!3|V8PQv8xUj1JFFt)NYSkIAtro9(->G$<3e~DqEy~A> z@aQF#dZsq5_1ZwyM{CoXwoqhKmtM)he=(}i+s2%;DyP>1k>(XDhhnagY8vTQ^}O1E zR!BCOX|;zH&WhOT1;)|=p0@#p+V6oC|4O+QrC?k9xx)+=^>6W5|F)tj8a7x}3YS{C z#|2aH(f^GzpD&m)A8Fnk{;mQ*bTC{9gKAWeI36n9ju#7YQ!}A1SixbRDUZXpE$~p(Vx1t z5h}IHaXIX=v4;!_uUN?xBTv7p9CL2WX{efI5i7?(m;NAuu-+`qVWZH+9EO=kh3451 z>f09mXb(nMtrydu)k9E1yOu-Zf6eGp`Eja4!Licg4w0(pU!P8;iR*%p)1ABPd$bE! zOOtiEyl}Nqc>*$RY{`ClAXMw2_qw9)YdFnSE_xQr;<`)U7iS{s&$GQnakMW+tirDZ z;baxa(3)H>v2%ZQf_v#2IbYHhsMc=Amo11Srz&5**4|~nagQDbX2=1Rf7h~JMjsn_ z zqprk#!MSTIKNv}Au&xZqV{2piTW0FLU+a;HlU1=6@ zvcb8WiR<7S2bXF>bg*Syn(|_Y4fnG)7{>a> z_9>^;o%QLi*CW)^V~!P;m0jO?>5nKabrcHuQx|&<4V3eTPvTV(Wt{|qi^^nc&g9;alV@~3{CBacJm;V zqx}NtO!<(lg@RAwQZgd_0%ZV)A#}B>dM)K@ieY*t}_6Z{qHyf z&o@C7ij%t!oD1TcfNnlnu?cb*Y$AL-Fn-I}P^%A}&#HJ?H%!s`%cFO{wA)B-|MHj9 z!;BmVSp`<_mw5XGD);8u+od$}t$V*BZcrOe(*GWRWe|D4^g=;xWkR`oe}d_lkBslB z_00wY#9Yt`QSy6cLZB#=EMA{Uj{&uS2Gv)!l^%+=lJ0=f>(%ec#W`pveDL(F-OleW z&KazP`{9YK&CU7h>LuTtgjO!!TI!T-LJ13~jPF&h?Pz@ti%onTd|LF-rMuBwAmJU& zvjYf!dy=gAj1XQ+m+ElHave){-*d?+--5;TefYOl=jzEYDEv&qxOfD| z5L54fzVj7bORNhcqD9(z)86Wv_cE()&SZCyGtdjf!2&_5S1dI~8nwX!ZOv735w0nTpUdZ8%?>f2M-9)k=Uc z#VxVb5f9h*x0CeP!WV^Oj_=ms#d2l4iw!D=&B+2%PlOTB- zfA_iJ!}zY`VrcFr>>5ER7isKM^(4D`dsTG}gmHH(&wfb29)4WG)@BY14`&`0a z&NA>l9Ax#@;Mn|J#L#l&m3A_`05gENr&Ot4yO*BiT9#Fq{ofBmci9T7m_nIO;egKPPY#X$4*^sk7qfAC zlL~)uCSK>5?M#4S;?X{s1WZ`GrTr{AgCdnR%@p6v%a56<`?PBnU?Hv}hv{tXyV=?U zlJYn24L|`;mFdGeQO;B+J5p6cQ$-_$vrMF7G|-TL9Vpdu)nwq2Qf*>r>1bv;`_`$g zY`)6{KeXs4nr&--$g|zZ?d6oC?s8}*Y)1%V@tzGE%&F4KPV%PLLO&)Yd&bypm zyc`Eo8>YO!##Ho60RNCFIB&a>967T7lp%MCA$2!Q{gx5_?AKte=T2FQ#5J8A2pxZM z^xcwQS7SX=dBmd}=^=0 zlR6g@p{^XIC7!zVkyg|^*0uXWu1K|}ud{rQV3$ZVD(#c`9_76)k2|V;=c=fldI8aN zsRGwAr)#?P{f1cC7&H&-)7B}h#a4grDBVlrvmH<~i{+2M{Zme=>5u>XV-Z_6QBi`b z_dwa^5M|1t*tNm;G8}lDE6qp792^?J1wlK}C%DcX(?n1U}j-0?wS%ar!-~>YubM8&j3}5Y2Q6;yC)_GZe?w4aOjl;y46QEUfX{FPp+JO8cUrFV>S)x`>K!vlF~MNHRz-F9{Om3XY&;G z9aBBXTOw3<0M}MzcTDHrtF^AJfi5??l;KSP`k8-K#OV|*k9Yc`Vr>V8|kq>;#+B4wF-ZxaX+9uf6^2# zBd#`uSDE~D%LKfDu4Wrts|}}_DrXSfSsawvZzhJJFe!Z2G@-e@?gPzCoZsHtozrcH34|9} z75m~**Q?>YLxrJW<>krNs}1(qJM~J4yUgF;neM^XhaNbPGx>kqaefCMj{ffhI9iej zJ+L@Iv}IP&VUJGNH#}-4AfsUoJpyjqy_=NXA9ESs2ho;@?h90f)b#J}dI)A~ftqDb z>omuueB8-Ao+hJuf=p6ouFmfdPmReb4DfEG+$}0+e5wC|VLWxnRzA!Y-^CUf&urO| zasfWHt&gEW|2=<73DE5XYhqShUG}oglIDZ zw+pE2P@I?l$Zmy??Dqk;Le3*T!brK>L9EGW*g*{Xs{!)V`q`7j#|D8!ef5uJKjcxh zV$(Z!56f0;5BS^uMqfGE;|yr$Z*SR6X{&9t-R6AXf31Hq-iKmoKY?~z$^)&tY_&Ra zW9g|Rpk>7JBo*vBgL;x5$s|P2f`0M%$;~xe=2WxM(<&-`s&%U?BnYj z8?6AouSbvd81j0Yt1B!gC*BVBgwNe-_b%qJyZnNuGcVsSN^2w+j{4zzGT)FHrv;3J&ZM;9}EBTe$RvmZHSCgCOwB$kLw(1 zxpnyV32%~;8L5DeTP(WGDHE4%F>unE?OSuRV-YH_7TNnZl20~!i*UFP z>oNbQn5}emv-j-(jd4u+$AEW<&(845hO^1PNH%%>P^73^sj7SYJ6Q~Rx=KY+B*n`oR_oh;-1O~_ z-~Q{H!B2fNHxDZLbPK^K?cMEfzkU15U-j+pc<)a)t!&P>|Dln;-5@$;BH;i3dHeIX zfBW|1*SA0X41ea9R1N{s?bknULe!b8bnr;kDahvb>$lrq-n90hb@=iA*I$47rYj>v zAtMDF+(;oN6$=5Ul}nv~*V=q)ZSPvU$p6Fr-DTP#+AQZ{_rZ4`_|Pl z^o^)E9@C!;AMfSETe*NEXsCPOFg*-!MA{@Yo*1jo1b@?+4Ikw>z7`Hl;C$8<#?8B% zmlE(pyEnax=#eucQI}q6@4~zT?JHo1clxN_r%IqN&rU{UvqP0~! zHmazbb|48C_0#a8eWr*1@Y9)_F)Dj+;;8Ftf^+RPgxlZit>!|uz-h2>(cjRE+1Gy_*BNBjG3y?)~vA;~xA_!*Ho zjV+3Us$d$0f3|zD@M%Zhys%V3MUY@xo+K9b%vVR=nT-0fe))x$tR&7^T>_+ zZ0b7GJcOjI%PW<_wLi#5oD*#t-JK1otL_ndpHwfF1y&ioCBF#eYRL(sM?4TCpZm2{ z8-D{TAcYIIXw})hu%*D@bewO z7TPt=w)jb3v`l^UYT~N-_SQ+&0Lr|B@P95mHm=*4=C&R!eKGShYv8R9UU@GbanwQ+ z)#5?<>hJInIw*`H%?Mx3dQzGV9$mM-#YDSzmxBXJ%n<9{uD zW#Te%CK#&Gt^DPrLbOl#a~hO4?#N%0g~)ol^IZl^8vD+#Mmmbr5E;2c?j@}|uVoWy zXV`r8OQ}KH?m3g5?YScZG8JVDIlnb&$RxAWZHSl)M-+@v-kwR_Myn!LVT<^RRe<9H zfgGH%ZyX7nxW!p~(DU+5mMns+$$vFDCOy(HpG`fUWl^5&6%-5Ier`37sX!hwRm~>s z*<;p3c=D8V1@HB0h*RoIy~?Pg|16iSaZh~c7qj*yC9(#e@bmgHT}v2X9V*&lZC%$d zN*eQK>tV^8t+!WsbAO<4I_jj=$1RA-=z}jkPT{5pu2fA%=L!KzJ07pIC4ZylxyI6) z_-e|I?=3#kjbe(G!hN1=*w;HV^iH|h)$nmd0l+7zV=LS4UascXqh+J9&oKG!uvqYt zCrE-RY7R9RHGimQ&&6y#GuT(yp)72%NWL>>G?kKWPNP5yX!h?7F5tDW)2n|EDV4Sw zaR%$rK_i0?kF`|}-z>r|;0Bh#QlYg6699kMpaYMEz zwRRh!+Vixm$xnATw?Vd6WtpH1xG~2fKq|QHtaSM@CIU=8_d zk*&xwOju;-HL_3;S8297${n|$&y z))XtZOIBGSb}}?LMI6k>C!cc^1i2>Xo0Jd|YRNVTwgewyG=EPM=i+-HvW1qbaG#KM znygGxDh|;4d8KE3Qqe}7KPoIWPpl&VK}`#jTk9Z(dn6jb>phHRwO4SY{ZGJx7LbBp z39Tp=GYBlh_;p7`BOFevrxrAulPA; z0~+424^{1%N~KjWd5T)?+q0;(j|>o;(jkm!+hl-Js+5rD!w6+ndBGG%B=e7(jUg*z zI_R(Y%<=kg!=yxBdgb$<*wYqpW0;jvsZXH#RJik}C4XOg?Q2}bf^Wx`u;k4(JJG1@ z+)Cj^#NK9$t`2tdTc|!?UnBLH&Ls#d1&I%=q*vlYIc?z4tt#PfOTkmk$8;pLZL_^+ z@kZGc#+(HPY-T~#b8<%2A2rdFGzuyuX`NN_L=Gknw$}P?q5-3aDIY)3|mw)+g(9m zq_=`^+u>m6u&=BeI#Bpq=iZIb-+cs4MiC6Ezkl*N4paMJ@~WVAPWZD~`kB{pm{xmd z4iv7Bd&MsB;b_D80XKgV+VbNmEBF+(gsfB_a|Ta)=rTfKT=6mPxFexh-q>F}NHtMY z209ZxN%%|SOHOU(A7l3rbJ81|YBvk{Gi_FvsL#4{aP@i1r?bjkU&D zF6ruW0+5F&N@*WGv31|AzlzZDj{y@c&wtSA3T-3b`(s3myR5(RR+Yxz`h4?d;JGVC zpO?x7FBc5D4l0?V1hg)Kv)cVcX;_^(NaH!d*it}Yj-a4c=Ko-$9XiD5yEKw<2FCe9 zh*`kqT%k!T^ya8h7jT5`8hRZ37_W0o`qSz3E^NUiAZv=Z+H$Wr)kneHV0>7OpD^gIQ$hVOl8dk1DTnI=!g; zI(QroD+i%Grc+pg6UIi(^AK;HQ!c~WE?JIbYP)0@&*?{J>*C=kcW8t0Z(9fdLN8>g z8?AOLoMvKP&R0xK+l|KVuill`FMoRaE4W{{OXsLG0l2rhp`^hA_kJ!iwxZNIciVk) z3;G(3oD}uAE_;(#^^8nv4)r0z$b+-sZ`1`4^H)0JXtXpr6RUo^xs6uNPA3-(--Xko z6uLFzMhr>%w|y56wR@1xhl`vUOdyRJ;jC4%ZiD@_vCsw6I>mE13P6~gR)6_LmPfEo zj#^uxSfw$-v3cJM7*xVbi};%tX$6fJH_90uS-!spFS5nl{h-+aVLUIGHU?7a@!;H4 zSWugM!yGRg#0SvMhBc$MGmO`_Wb5{&2LHGj)!X-melj~L*N&J9+`AwTeP}k07Hz{* zEP+XXj0vTX3Zr$}P5Tkn!G8oSo9va-XJ;(nl5*i7{su$SJkt@I6*nIJoWFN&!q9^` zigl~^XQP^M57FJkUVm1KSR~PHL#;WAO3(zh!_}?=VE?N4?ill^~wMH zM9RM0_F$DuhuQiX-3$GQ!DE&LH-ox4Js-j1+hxDb6PsSB6sWr=7GwErKvLa{vBs`_ z8BmVOO3VIo9@}zh>V1L_O8+SdDzIQn^L5^|$*cPo6>bu7GRYXIp?2jw53p{mq!AdkNnyAh3m)ceBrXd zTC|f>-}ymT-}192j6aWFfchB1^(jdJg#@nUG8$sTC)@>+wSU*GHK+o2SlotjTF`dU z*LIf@E+(%tJXPFj_=3{D8_o;95Z~t7HHMs#>EW(ouk)6`HlI?pSU31v>?Al`lJErufVq zGwW`W=7~Gr>3`p9rOoUaVXeuZ3L}*_Z&zCXhg;f&h}?&DM(Uy?e07a%cIw5nao<2i zgRYv21HDV&p0ytk`4`SYz@Xep5Sf?pyKD%ZYdWg6*hxIR0z_?^Q)4>|#`NM}>gNNp zxiuyVx8dp)imMj*xhr--33jirzEHGW!e`MbOz(GWhkv1Y#({*(>oB9yBd@eh7Fx?~ zZZ`Adfzht{r8jw9zesR>*bfTa%HF>+Fkw35(Q7R;Tw{S}#SSv-^>i%3hZ^O0!?@wt zSPm)p>c08cxYN4KxMwenP(5g#mjo8Wfx}EQ8-;G9x833WHV_|HAFR%g-^$mw*3bH<+kmSZUGkIQZ#z9NOFCI3CP0-hRkSN-#96v`(%g zv{BKVq1~#VKA#+M;;z7IaGqC^&US1DOI34ru76v8z2YFi$3f^-m?P{r9ABLAY5`?r z?LvO)p)6AQ*|5gzG{6^WGzfz#ak9uAO6{%;yKU|}OxaopFa0(2Kl&-iAXz>5V z{0@08)+KodwqNCZ3zlccg#&SkDQd z-hZ0{hbt>KAD{m0K>8Axp5A(mK34lY(|Xb-Y;}ONpMh+cO)oKfc1p`EoSxFQ0n@3( z*x}x$+XA;|&5@XpnUHpM+DU(un;Wq%4o>Yg77^Vn=Y;$NygLw_xe$u+?nT3OFQomMt0sCcOtu1 z7Y%I#OQZG}ZRGRu>)ZbVTg>ZRlhHjBv(VctCIK{;0doT-f2CVFk7T(G&gWMYoa{`n z8cEb?Gz#dd?l!QQ?a9^~*{~CDU?=|jCMi+ZJF2HAC{#V^Ng^p8A1Rf-{Oh7GfBN*F zPX@pB#auk70<$wIe?x$D`S#DtW>Tjho6EP~FTXx%?Lq4hu0Pvs4d8Rg8eWWs8?||jE#|JB z_Sot)9dl?h*^|x=oG)|p~Dr7*atb&+? zDzE{N6L0METh^i=%u0K7{FbirW5zQwZi5>ck4eSgFTrW$Qhyr^>1sR)z#=2BNZ2!e zh-k}9zm!(c(n5lY&)1(#i1g&ICKEf@V)+-3$kc=1x;$I_0Z`_4_-*ep8?Em4R_D3s zUH95n_E(p;qO%YcID5fuR@S)#(OGAeNw9Jskuuv>AbOe3NL0vk>wPV~{L!P7ko(L` z2;qU5?7}FM7=IQ|o6ePf5>yj2l(Bu$t$<_=>#ml*V`N6Zz8Sx_>(&I7ZM+0)l<}S! z{|sNs5ER$m5PUW3JP-Nfm(x|OQz3?Vi1l^MzCKzAY{TOilFOYw%+u?)!5LU>l_&ir zhIClH0p!%YLGWlyvoAOxTjtbJ`KlG4jXo#apsPt~8h`Utwh=d{$~Eo_3F(43ul6_G z{d3WRR>9jnl{F{}l!-HS+kZM=Dp?i5%|jlr zlcI_y%tIb9l*!Ct9+HDO-P!6OJuc@QG<_5&#C{v9iy-SJ%O=YWrnpf4U0qzWSCEm^ zg4Wz)#(%l>dwuAf@p*QEIiS9$i^m{{(XJ7mu0VssYb9+SWH98Ui185j(AjX{Hw}iI zXkeWiLr!7C;KvuY20l~)x#}TNY~-S>@mHvRvc5%35M9JRe=Lb{?+q5Trq;OQSj*<% zYIk`<#9XQ2ZQ^i@j=C1Lywkkwn zpnrKIZ?m0yLvDZ+`Sn{wR)5ft@`;ohrOD#3!+y#t>WK$FF}F%7=H!s?J6P|ux;91fat5X87&C0wCo|ol4rd9 zXpE2^bZzW*$+gv0H+mFi#B~@?1A>s5;m=>sVG@BbFsqEZK80DIPGLsMnD?Z4`Jc|0 z&sky2T9=Q{MF8%t3IU%1#TDCKF2o@a^8bZ@enMbU(xwvQPX)UI$d2Wvu z#bR;4UCay^4$?5AmBu`MVQ>dcR5HXmNu069#d}ej>TTeA=ZrJN+wH9| zP^k+OvZ(;YcXmA=S6?}vn`1}U_BO|(>wigkgmglR ziFPMmh@?$~9Z8olLTE#BJqM}dMyVEb6iYp;L!Bs*TWsER!H-i(OWW2qcp6mlp4~1t zjS_3_Y9efnz@x7HApEnC(UEw}#{H3%flrtj`E@Jy{7s=l@E^NsKl%fqi=M>EyM3c{ zpn`6TO=*M^nU4{CgGHse=YK3PxNn~Dd4Y-V01Va0{HCr~(o@O8pa(35^Br)vM0UtU zX44yLrEQYtV+x6RSp43%7n!ilx+hYDnB-=a2MMmz7+_t%{V)pRp(8d<#kASA>WSY2 z2%G`c0EW32;Yh#|m#m9RwjzUO^Y#4$hw~1sfO?IAH#T(}3>~t5WPj-86{HOE5cQct zExj$#j@Mj)1}-|+JzK-<7T8KCv(DtKUFeb9y~-f>QZjIUKlX8b+EH7}Oz_sL3;=zs zYh0r;WMN5!T=H@8O!DTMjMee0b~_lmWnqj;&{)bxE&*at=z|&vu0C~5!y(5Fw{b~^ zR|K@3BaBs$G9ww9Eq?&jk?*q7b5v8eQQ6F=DjhqoP!6mzU{~G*!j$=EZH$k#F%E#O zJdG0OfZ?QClhad8>Ddb`RXDb=B>LP48dR1gMVizCX!AF^X}sB~*~qR2;G(zeswp}s z1(ph*D^cjQQrZJhDK4?HyeCdVDnWv6!hk)zZ*NQL%um~ZQh#20luwqyiz@h1_=8~7 z@#%`kY)ku9A{b}uq%CURyKLO6K+?IK0$`e0M5Z`sjjph>C@f@d#zIL zwT1Vp8k)wM^n)2Hi}c-!B&L$gV_K1zpB`W!6QeRVUce#BIV|8(f`KW*!pm;T#YCP# zAYp89x_4>aD1SDXGdEfW;bz$J)KEAr$fNE)Pb3;N;Zd_!bZ^pw@##AqHY8=t1Bd-? zgn$rSMcqTRE{Y*))69MXl1^ixrIIHTwCa^X=ML)tL@tb` zpjuVS20ibiEnqZ2-+wmb_J$iOA5zZmrTwBClfmd#EPws_=JOtBCTrzg+)}zyS@n3w zzxmq7XZuVi2SMHQF)1&QxsHCJ*3hJ;lZO)TeMjYZ?u`xf6^YijN@u8fSjE+C*^b63 z_0QWvX@i41!gAUwguJV;Y$J{kk$W1Buk=RyMKdBOonb61xT#)AM&$?S)>8tW-aOMT zkiq3ra(|=p8pu&QaFn^19{RxZpsE_Nv{vErU(#85_zP)2gk2p8PC2`hOi`U82z|V( zTNcWPo*5D88f7TL+WJg}o=QJ$7sYf7rJvea9cT-0eXj6Q-f^jJbM2$?G%o7$P5m^M z#p>aKUe_u#wOSK6?W6&*_LJXd zL#zgAVKB~Ijgb34q{W~W*dDxZ54Ct6;G7s&jTDgqaZ6gSL(t))$wxuaU?XnlN>@fu zp`X5^WW;oY>S)OE04Y_>Pu)4VBrOuvL4P1Qw?=4H<#J}H+q|ts-cJS4HrBk#sMxd4 zpvW~#&?+z^GC3274OXFZ+!4sE=Rx86Y@5~}p=BHCT-&d6vAIP_%jhsZ*JvlTkx*+p z`%>=57zG~;M;W%B?40=%a7KB=?h92PwoOVHkkoa)GuyN^WVq0Sm#fji)nx77bnuC4J$Th-;)V1RIp^?u6NEEW| z1o23eR8$*ktqh6;e3o={t!l78Od)%P zu5z8V-6UnM>4`L#xLq-k?1);~te-=UksC z7c)v~N4Z8j6Ldb+?HO~LqCLfDmsJihK5rU=oFUP!bl-ZZ$NTZTqo{PH-GA031h#o^ zp)L=#8p*(XE@s3*7^+iv9{CBjS1<%YYcJ$qx$Cs%ZT}$lILUwj-DOa@Y?;0pkE`(D@nWk_!z}ZI0{5 z0&>PvqUpM0Di(Wmd4R8Jl7DdMf_px^JdhX*uM%+&z_?e|ZFu-Nu*IMm&1Sx{;7LYC zK#PIw07yB`LGOd8l#ofJbFxr|nSw;fqhNy-*~E*j$(9 zLt@(@RCj&zby~SXRpuYviW^*FD!@O&x_qa)vyUVn&c5G&dJjLj=-83%p-!-6Stycxt0tEH@T95{*2EMG96fKVA@znB3DJY33a~ zD~Q)K2~u}bXMd@z%CoC=x2c9Kom?ruZS7#yZC7y&PaI}jqPg5qHLuaQ*v-pa7vSo7 ztsD6Jo_(Zp4kFs}R&V$|O9lNS<`Ba4=Y+RM5Ndh<{Gt-3oq+a?crwKUEyc~G1H^e+ zs!BQSP7XJZE}E24^EvM0!ejC(X|oV9<^pBfM_Au#<$nve=J0Nbbr`48A-@QeTJhlc z1ob>E;JKF-exTYN738o?cV=|t>*d3?bCM&BF-PJPohr$x5w9V3^iqv^H+FcB4z(3l z$>!wzN7iOKPI4Bh)sg*nXOK_Ni;g`XI_T^cs^~-`K)>z8={&T$S-X3)5e0{*5eA2+ z5eJ8-5eT=Z5eb5=1TZ%>G?y*E2_6J6H#Ic3PrnHx5K%)nH$_4@F+njoH$p@?Lqs@4 zLPat;Ml>-vIW{*lIW;~YJVQ4(MM60-K`}WuLPR-3L^wo3MKU=?G%+|iHa9alH9lQ0 zOl59obZ8(kFgG`s0doT-e#J&i$KnF6Ycm{^*D;e~7^X+F7C+Pyp*_ z(?ki_4K~oGh-yI{sGv;}?E!nib+iehBB;+0BD8Ua4PYPIF0?U*ji3o_FWMP~&7cLX z1#OgJD`-ROLp#l|9dw`_M0=TGCn%vELp#N=3v{C$M?1-|2kb{XgLZ=90nm#!hV~M} zK5!82EZPXeL!ci`e|a8eco-Z(n?*a$Z~zRVDfh=19t9pvxgTOEFdG)pn9b<{JUMKm zX`5c2oyxrO$CGn9_(`-jG`&(kTG>#Vlv5>JRZw|UHx*QsmIdSunP%3UE6Q9Kc&O@e zk*ERe0SV{^ItzwOm6uV@QUc8SX>b5cfnJ~`r-7<44=#fxe^5489M;RPfJN{sm}AF& zpyOTztKbG$HrKPJZP&mW2U77?*rA{Q8tKI2K^?GZZs>(}+yvX;7O1jAi@rEOR=V9|hwQVO4{>2$O*IB#y}|KD*5f9M2C4sHs1(VV$&-p~@<6y{l? zCsXOLWbXT~HM$6L3Q$pSUDyO$Kz_N&;|<7WRdc`oNo)8Vr{|XP zT!%gnbe0&%AkOlS2efz`)B;+~b20jQARjaWc|*@j%c*aw;b_o?3v zRJQ?ee-sP>Zbv^1bjhe%=fEMehL7})Q{V^~1RikF`Vnvf^nh7Oy6XFyUA5@VcNEd*o==wFu;|VQ z*^)cIYocP&TR$ke0X8jq`%yM~cUIb#z*+L; zLtSoEHO*Q6SutDk?5?!PVpmZ_K~rj()>s^kxC|d_qF`}pQW0rSYc1~nC!6hgU0R*R zqwR|H^($ID_9B}d|4v%H6&@}rqJn9o6&^({!+mK@R(L+GsKp9@eWj??lG1{rHcQ5z zJ1T0oWbL-14olv9uBg+J2R|t)S@Kz*qAq|fQtF%PzSn;XedP32D+8|Kbl#FLKFpHy aZG-y{$+!cPmmJgyAPF-w3MC~)PeuwUXF5Ir diff --git a/doc/ajt-devel-ltja.tex b/doc/ajt-devel-ltja.tex index 56f33f5..3f0efb5 100644 --- a/doc/ajt-devel-ltja.tex +++ b/doc/ajt-devel-ltja.tex @@ -56,9 +56,9 @@ \keywords{\TeX, p\TeX, \LuaTeX, \LuaTeX-ja, Japanese} \abstract{% \LuaTeX-ja package is a macro package for typesetting Japanese -documents under \LuaTeX. The package has more flexibility of +documents under \LuaTeX\@. The package has more flexibility of typesetting than \pTeX, which is widely used Japanese extension of \TeX, -and has corrected some unwanted features of \pTeX. +and has corrected some unwanted features of \pTeX\@. In this paper, we describe specifications, the current status and some internal processing methods of \LuaTeX-ja. } @@ -96,11 +96,11 @@ because \LuaTeX\ has an ability to hook \TeX's internal process by using Lua callbacks. Before our \LuaTeX-ja project, there were several experimental attempts to typeset -Japanese documents with \LuaTeX. Here we cite three examples: +Japanese documents with \LuaTeX\@. Here we cite three examples: \begin{itemize} \item |luaums.sty|~\cite{luaums} developed by the author. This experimental package is for creating a certain Japanese-based presentation - with \LuaTeX. + with \LuaTeX\@. \item the \emph{luajalayout} package~\cite{luajalayout}, formerly known as the \emph{jafontspec} package, by Kazuki Maeda (前田一貴). This package is based on \LaTeXe\ and \emph{fontspec} package. @@ -117,7 +117,7 @@ these situations. \label{ssec-pol} The first aim of \LuaTeX-ja project was to implement features (from the `primitive' level) of \pTeX\ as macros under \LuaTeX, therefore \LuaTeX-ja is -much affected by \pTeX. However, as development proceeded, some +much affected by \pTeX\@. However, as development proceeded, some technical/conceptual difficulties arose. Hence we changed the aim of the project as follows: \begin{itemize} @@ -272,7 +272,7 @@ useful under the verbatim environment.} One might jump to a conclusion that the treatment of a line-break by \pTeX\ and that of \LuaTeX-ja are totally same, however they are different in the respect that \LuaTeX-ja's judgment whether a comment letter will be appended the line is done -\emph{before} the line is actually processed by \LuaTeX. +\emph{before} the line is actually processed by \LuaTeX\@. Figure~\ref{fig-linebreak} shows an example of this situation; the command at the second line marks most of Japanese characters as @@ -358,7 +358,7 @@ done just when a (sequence of) character is appended to the current list. Thus we can interrupt this process by writing as |f{}irm|. However, \LuaTeX's process is \emph{node-based}, that is, the process will be done when a horizontal box or a paragraph is ended, so -|f{}irm| and |firm| yield same outputs under \LuaTeX. +|f{}irm| and |firm| yield same outputs under \LuaTeX\@. The situation for Japanese characters is more complicated. Glues (and kerns) which are needed for Japanese @@ -463,7 +463,7 @@ By the way, around a \emph{glyph\_node} $p$ there may be some nodes correction\footnote{\TeX82 (and \LuaTeX) does not distinguish between explicit kern and a kern for italic correction. To distinguish them, an additional subtype for a kern is introduced - in \pTeX. On the other hand, \LuaTeX-ja uses an additional attribute and + in \pTeX\@. On the other hand, \LuaTeX-ja uses an additional attribute and redefines \texttt{\char`\\/} to set this attribute.} for $p$. It is natural that these attachments should be ignored inside the process. Hence \LuaTeX-ja takes this approach, as the latest version of @@ -580,14 +580,14 @@ of `negative' in Japan. \subsection{Character ranges} Before we describe the approach taken in \LuaTeX-ja, we review the -approach taken by u\pTeX. u\pTeX\ extends the |\kcatcode| primitive in +approach taken by u\pTeX\@. u\pTeX\ extends the |\kcatcode| primitive in \pTeX, to use this primitive for setting how a character is treated among alphabetic characters~(15), \emph{kanji}~(16), \emph{kana}~(17), \emph{Hangul}~(17), or~\emph{other CJK characters}~(18). The assignment to |\kcatcode| can be done by a Unicode block.\footnote{There are some exceptions. For example, U+FF00--FFEF (Halfwidth and Fullwidth Forms) are divided into three blocks in recent -u\pTeX.} +u\pTeX\@.} \LuaTeX-ja adopted a different approach. There are many Unicode blocks in Basic Multilingual Plane which are not included in @@ -936,7 +936,7 @@ In \pTeX, there are three slots for maintaining current fonts, namely |\font| for alphabetic fonts, |\jfont| for Japanese fonts (in horizontal direction) and |\tfont| for Japanese fonts (in vertical direction). With these slots, we can manage the current font for alphabetic characters -and that for Japanese characters separately in \pTeX. However, \LuaTeX\ +and that for Japanese characters separately in \pTeX\@. However, \LuaTeX\ has only one slot for maintaining the current font, as \TeX82. This situation leads a problem: how can we maintain the `current Japanese font'? @@ -951,7 +951,7 @@ since \LuaTeX-ja is much affected by \pTeX\ as we noted in Subsection~\ref{ssec-pol}. As in Figure~\ref{fig-jfdef}, \LuaTeX-ja uses |\jfont| for defining -Japanese fonts, as \pTeX. However, because the information of the current +Japanese fonts, as \pTeX\@. However, because the information of the current Japanese font is stored into an attribute, control sequences defined by |\jfont| (e.g.,~|\foo| and |\bar| in Figure~\ref{fig-jfdef}) is not representing a font by the means of \TeX82. In other words, each of @@ -972,7 +972,7 @@ these callbacks for now. As we noted in Subsection~\ref{ssec-csname}, parameters that the values at the end of a horizontal box or that of a paragraph are valid in whole box or paragraph, such as \emph{kanjiskip}, cannot be implemented -by internal integers or registers of other types in \TeX. We explain it +by internal integers or registers of other types in \TeX\@. We explain it in this subsection. \begin{figure} @@ -990,7 +990,7 @@ void package(int c) subtype(cur_box) = HLIST_SUBTYPE_HBOX; } else { \end{lstlisting} -\caption{An extract of a CWEB-source \texttt{tex/packaging.w} of \LuaTeX.} +\caption{An extract of a CWEB-source \texttt{tex/packaging.w} of \LuaTeX\@.} \label{fig-ltsrc} \end{figure} @@ -1173,14 +1173,14 @@ he/she needs to scale a Japanese font by \section{Conclusion} We have discussed about our \LuaTeX-ja package, which is much affected -by \pTeX. For now, it can be used for experimental use, however there +by \pTeX\@. For now, it can be used for experimental use, however there are much refinements which are needed for regular use. The author hopes that this paper and \LuaTeX-ja project contribute the typesetting Japanese, -and possibly other Asian languages, under \LuaTeX. +and possibly other Asian languages, under \LuaTeX\@. \section*{Acknowledgements} The author would like to thank Ken Nakano and Hideaki Togashi for their -development and management of ASCII \pTeX. The author is very grateful to Haruhiko +development and management of ASCII \pTeX\@. The author is very grateful to Haruhiko Okumura for his leadership in the Japanese \TeX\ community. The author is also very grateful to members of \LuaTeX-ja project team for their valuable cooperation in development. -- 2.11.0