From 242489ff07af2711a2af5f4ac729aaa8aadfec9b Mon Sep 17 00:00:00 2001 From: Hironori Kitagawa Date: Sun, 25 Sep 2011 23:54:22 +0900 Subject: [PATCH] Rebased tc11-docs branch onto kitagawa_test --- doc/tc11-abst.pdf | Bin 65095 -> 107038 bytes doc/tc11-abst.tex | 4 ++-- doc/tc11-slide.tex | 60 +++++++++++++++++++++++++++++++---------------------- 3 files changed, 37 insertions(+), 27 deletions(-) diff --git a/doc/tc11-abst.pdf b/doc/tc11-abst.pdf index fc91737d7a8a3bc1c3248f4053a4ba554f298ecd..4537b759ad764856c718017adacb41e405895a92 100644 GIT binary patch delta 66911 zcmZshV{j(G(x}4?H@0otwr$(C-fV2Wv7L>R&BnHE+qRRt=bWG4{WmpJU0pRj)BQAt zKfrSbek72AF>wM5bjSgnda|{LEzVodwOk_=zRu_ZQH=X9%nnyb$L7rueK>s;OlmCkDvY z6gyfC$CBA(!((1Z1)o}fOA8g|u?3*o$uR4RWaVBaxfA9{ z)KYEsr}!sy~;IEJiWaBUzqTb;7v zi?ZM%ev9EcbXenotv1y|tvY0)xNlGHA%zow79tc}?9Px{iAnsPHR&-pXN?zPqHf=p z*v@$b#hgo*7%4;^$Lg z5OT>yE@2z{<}?Z^okEAtIFyc{pZx(*lA#w^@o;49@!cDkGY`I=l`uBQDR7qyH*#CO zU7L%)!5f;x+KsZn37!!aFGDJhLn&AiPf%*u%HR$`pjW$+`zZ_&!NCJ+l)`*bWy7J z&+s#TDNakoZP_+eE5#2lF!%uau=?wPg}X-d0$B(NGO(I!0+jxyVTAesCTUq_xwtxI zi<15u{|AkjT#&)Snaa^v77V|aprAlNDEMnhahNe1*smGxQRZajFe%N6q(l9Vs5d^c z(BeT1H0G-fnecvUN9dUqd!5ej`S1&Jg-jv*HZ{qKWv}$9C78ZR>5es|k6lrAWw9i( zVg?wS3e>*ks1xcbB-%p*YX^-8MJ1(58e^0Z+Z^uQ8?0S0Q(PMHv8SWrXpnM18Io~7 zpL*2Cv=)NIxZjT@RRuE@J~!r7_@2vvdyN2W|z4^BN6E{)yIK3=Z6uMG&7 zsPlP4Y`j|6yZr;6-vuMqyZ1K%jt(THXWyvZAMiP&Sha(ff)3wzSDxjCV!L5=#??={ z4>rh7L_hNt{D+IfPZl|DqF+=vAga8>3_#I^DozmVPsMFoHlj_`g=nuCt*8bBizai2 zYJNCT3FbS2Inf?S2HvQ@8vA&8F{5)Z6Nm~o1eA|H0K5s=OBGDtfC{tx25@AMx1C`SSn z6G=lO!QK*M5P6_ncPUQ*QHY+$7`t61+~a3go8LfYC+OXBZ($6Cz6{5|1TLV~_Fhq< zwWwQETy7tp!$#1~Qdm_<^6uIF+UW~G|#7A@fJ^(&_{k0RzGv$&Mp?|hxm5(rGH znLc5yGI5p@!z2bkdnZkj_Kx{(lt#S>F54fH;Yudw!2zdHsm3BJUi8--^Mm&Q^=dxq zJZ>9k4mEg%!%$g{%!3dYm!eX22Ja*+lC%XS*MbfX^+~9g27{H>Ts^}f;Zmwg2PZxz z_Rda_z3!>=()*h;b~GdJ5V}Ux3WJb0BkgcY%8*W$iB&8>^+AYd%=3>g*MOnShJB(R zhmdaQa4fyl%&ULM0_fnvlPT(+6J!54=&N&l6$JU!lsocrVJlaCoOewwGB8kQbljPk zw6bDWX?&fS$sivul;S-NHbLMrmAF|I^HlS$OAzN!{gHR8*e~KK=E83skjH2rHly9KWF=jkDPN zYSf2Xk5!G4o-=by^c2tcP{1^e`Ikjk+lAoE14+{wi4RMG{5VfuFc5SsnMBA5jb+GP z-XQE zZUI0V!U@Y|MFD%u_8@BO`Ke@JCkHDSB{!1J>V8FltydsqYi+nzphL=b`}^hezV`cV z9}!T#78v#u%L4_IBj5XRzEy?RTK>qnnh2iwM1LIwrIsS(ruu;B-sofnI&N{m@2qZq z&Y@|!5e52c7QI0u;bkB5OY@8m!XD9-y#s)Jx1>_W9#kC2TTWzEnD?UJ_>e7%y`c); z?T@aT6A4m$yRQKtU?w(yj)`rq#RbmgzEZM>@Os2!e?hWv* zs_vjUWvgv&8#%6eZAqe_Fn%ZE*&f6ruJOgUI;=~W!iDq#O->7k3DX`mH>$n38dp0a zN)(|Bg=fnq;0?r{y=f_B8Ydv(kvd`vLmk1OkC(a0Y_6e>BMhu6J9M739q!>52j~S^ zy4LQq%wff}kO)IC&w@t!Kn5W54Fd!#)OQdM1JZkBsF{?&SBZkw&ClWJ6_8fx`^s6@ z3sZl9^cU|L85VH>C&s{trA>Ex* zmp`D?qSa@*qs9)j*Lj)t4FIm(hBBl1zgv?{+h4cS+W=4HBa4>fY0B(G^)*=PKz{bR zB7K>$K8=Lw%a7NnY2Z(VkyPBk;7_CZ(pHUHiUAn+$!Pq(t4m*be0lbv5nh*Qd>aLP zWJ5DI2{sGEH(M==t!>;s?s3=En;^%ab56s4_IlHWw!SB3u%1P5dH_FMX9ezMOR3qF zmDwtvf#7zX{h;rF9WTEM-T`cAW98mXr&wjH+oZHuT1{zV;du!bh;w-Pv5Y)B;jt;O{j5lPW^FfpPhNEYJ+>|9xj^f+j$2GGp)RMqI zn=13HzdVPfN-gFQ1>;Vk95dwa(?*eAvx=C(XH>+{Q+7iy90i8nOG4}wpx=h^2yVcdHr zO#7uma&)a>ecc2YVIys4>ko#lX$PI4%gs`)vDYRIFW$9ezCRUq3d{uVG-?xe7B#y0 z@bwMH4nm?cz!e+pBNJpC&;4QYa=w6IUP$quLU85=2e>V3ZbF)3++C@8?DUQ4FYFhw zLZvvHp(~_RyDaivzn8dm-31sDhQq{yTWvp$=rx)$`gmR*q35Y=Wc+$c2<0?+$Vm@D zvp4`t4_GNR2_5CLR?U*Q!E2yHBxPnC1D%jgW0~aCi$4VlFzL%0qU~&%khxlLPb<)_4202&cgXt!TFfGoZ z!poTtVDVu}T&e{e*^USU2Zf1XEPD+z1uVOa=__q@GjZ1(<`W&xi!564lw#H zk0>=z)@HtGt)GFt)tu%07~dTBHgJU5+J#UM4(@G)ldxe-XHW z{mIt9Bj$|b=06l&==VFhOw2eT?>iRncJDzGbS56!Wx^FY$KIa|rm)k<{UK@9QcjJ^_X46a5c6yz)KOZ?B z&8yunwP1^ycytX=N#2)gWqr-Zw|g;67hC9S2S=7if2)($gbXzv3;37_P`SSt<`y@U z;|H84ZnvChLH2q0fpenhOZm(z*)YC2OAUgU4UpnYf8b&WltP?CH1;K0`l# zY&nUS-NWlpKOUJsq@2nJV(BmER(F31wz4m#!kRmnxw^TS8{7Y9p;=iiI|A~Bg@Cf zC}-|q>1IX5%niH^qb30Xg(Nz%GIH7h0Ri6zx&6P|IDx|9RAAgpz*!1PfW4}}m99Ek zcdfJo&->bx#cJ~3YyD=099@AJ_0qz*R0iE;i8^IVY!Ly6q~+r4!DoZaM^hs)G~Wi6 zS*0}VvMjdB=zbkzz(nB)ov5FQGR!~9MpGNuHGDo@C+u4O33>bBe8t~=f6IH^V;s1N zfEBii5nysMI@7xe9vqwmpt^h%2vdEvQ)|+DfAr`KuFIYR&9QV_$ltb@Z(f(BGu;?l zV`zA?4Uet;&i=4nn*{|?b!dE8%{ry>ugk%>p=d{C;{f?#2Y#84dI83>Z>Ez@ z|E;*5lVI{91QuP99|z_COGvXe88 zH51;a(klk(Rz_Bcr6AcLO-8N^K`7!4ISwl`sv=N!aaSOvqogF9#5&?zxE!4j#4J;3a|POMI9cYGlzm4zi8YwlNl^S!&3D}; z*^hkP^J}Z?Mk!Abz+YHcOjZP;Q6!>q`)Rp_YoV1SS)^?wgCy2NOa!uMQ8R%Co!`jE z8xc$kZv=6KsAD@@$!N9k$ZgJkw9o#w*397_0`{znS{o;iR(3Cbb=v2|ynlMy+QKn9 zAMJDnuU%|+V%cy1cgsC|)`U&}viS1vexIV_J>qPRgDFN0Ktm&yefsURtIXhN@-D1u zb`z(wIJB|J@ccn*(>?l&Z?etW^~SS5fQy5;glpMR)|+L>y?+!B8#{xN@)fbB6Zw6) zP}s{Qcfp36Wpwz23D5udGZK!#ru_}h{Wjk2X9&WRJ0(EtsLQRb$*=8h_i!;~rZam~ z{&#pm|AJ`|Krmp}U`%b^nHm_E2b^M5pUye1nGTRHst)C7EBlhqSV% z;N&w@xiGx9J*{dkVMIs>&S8BHX0~(4#JOPMWLXCS)=m(HeQySWv}eVa;tS*=`V*^QHIHl;5d5jM)B;0Zhi*9_ud4^m#aSCH` z@%*CQBeUEQecQd|cLdJ=q^?JqcQ(rr)=VT5EfbEut;&bk&pA|Z(odzyaeH*Q*&Ly# z>SyP0(@!SLmb9v9I~rwu|8TKRF!}%dSFZo_)mgdNfXtW_0DqNnhdw5xj(6H7C^D{) zbWU;Q;#5iWMm{m5OZFAGMzM<#X@n1d`|v=uSqYcq+ld;>VQW5nlk3n*aGy?&Q2L{a z1^CWWmQkr9X4NV=Wei%exDJbZ7`wkF%osD-5)D#Oh2{f^X2(gU)jo7SgTMsONPehH z-j6$t_m}%iz~;LaLyDTIV|3YFwpILEVGh-l#78XxJWRZ_ll;?f*Mb8G9($Sc)pS__ z^>Tbh%CAL|m&Vhg1U*ClzTP&990sS}C|VcC)XZ!NxLIriDm8Vi-9Hwh$xZ+=TptZZ92m{5W*Bpf^_~)(hU*CdFFYHzgjt5R9L12(eb7 zLkRB22tV^^Yp!QbD)7S9eV3Jzt)EJ~IvtkT+XClScWwrVI;Gpb$2H?2Qiwf`C< z5bBzrpzHi!YjLpxJ4tjv+5YRW1xW+IK{*<_CVJ|B9?K(LsZ9H~irK00m|Lx6cO@6@>);7C~v)6&eBs zV`c?zg$W=hSj-~rWcKye_56YXfw=)a0UC#(f-(PBJva+1Gw^nT0;n&F03a4%@v+n) zJcm2@efh@K-estE6Iv66XaEy308fT0A|(U?*(dKM7@Qx71feE|`6#8XP}yX@RKc#J z>#Ns1tkdpbdv1N*VmiGF(_+5a#A`V<@!@*?Nx1#}z1@i-N6}A)GJ5h;Hci|?PrzT^ zjLg*NDAYlTGUL%%Vta-r0Dvb*Km&rvl$&((m+-qS86bM3CKX~0d#WCK@tPNkJ00`w z@)keLB)wSKb?jSPAT)@(w;aJTD7GChFi1w%g9tP#s&`%yv!fZ3JxC&w9;waJ&mI}5 z)TFHVS(Vy21q+9m*N`mTh|?%NO2<#j=l2A^?Ml!|784gCJHw0t1SrT3W22l#F!8X& z#F^0T8PfBIGSA$e9dLDqS+KeN^?|eJD37J!868Pil~?UQIWen_Y+{nYr|*ij>ExLz zRw$kf6KhPg04_d^$>SECqR0FyS++u5_yNpB_*r5N)RCubusi$6VAXb2!7`Q0EJr?0 zw>S%@$gp@@3a!z?1)$@%Sv<}iD&wYw*JIOF8^^d6X2#B+$s2#8Uc)g*F<-^ao9?kA zWDymzVZZZZL{0V`8Nt<=ufW=&KXG70iksGJ@s$qFm5^lbp$CP&1g02!uZWJGC;4;c(9W}Bd2qMHf>T=N9KmB6&I*! z{ptG#S}(OehuAKq2zOB!A`Y$khl#%zETU$jIHxX94|Ci7&-JJ>+njXd(JV;#2iGVm zql-_8AIBW6GGHf55n}bJMNX7Oi1tw5J4L4sY1$;8q2y;<`TR7o!!J8ePCEf;56=fJ zMWEE%i!GWQJpntd$zqauq$gwG`Q3Qh`&PGy_aPnY6171#7grmv{y4~uI)o)_%00F8l=sdk)rRuWXK*YJ7OT}d^kSbC)C!O$XayD* z!O*?2OH`i+?ES~5!>_VgEzI9Gt{zIleGzVA#3Df^GicOrP3qp#^X>ezExh9MscZTM zS8i=WU8@yaN!SUxR-29*tD8$hQ`d|n*f-{?+<-uXT{6t;{EBrI0c7dq@QakADm$ww zNL)F`ems{?!ngqYf*I@&BVdGv(10LB2@;!W5)xI69}i?G(P9P^{elRaGPT-n9%sPH zJ%RVwwnD_TTj#z8fP&?Q#X8vt6-&}bj~DU34^#y{Bt z&AFV38F4X=m7Bn{fTD*Q7)whPGDh;&~j(;Rg{BsqmFJ*U!NUKh7e@ zdVb5s=_`bEpd=W6VB&0|S?niWrb6d|JG0+M_Ll&XB;%WTgMR^xLk4>IQZz?b(S5fM z-Z)6`&0=JD(JNIL?>2(p|EiVSLJJ_W>!sh`lKabp<_P0!RQ`Zb?shrDD5_>NO>QvX zN9G}z6VW3gdAZX`1Z$A@)=;#EF6NE#^;*ytiBx+WGOs(xX&avfIbXnsak!4_LL?Si%^ER}9MA;i$!|Frg?v7A(MULAb!& zrSN*IynzyN$wC~AST)zyOW2gtAoBrG3hztpa=^prY%$ZTW(C!r0QqgPp5eXjX;%6h z)Ok|Xjp&QK6z$FPr|b!R#}ug!nx;zoj7hfD_wl8vzrTB_yAadqLH~&&ZZ>6V`fM|6 z{y3u?Z|6X|;SKBUik((!tTl zc88Tx)BEQOT8P*)dnO=S>RNxsB&9sN_rk23;@5Li;8KucLvzJL*ukkXOgMvXPp?1Z zB7FI;s!-Upbz_^d_L>b<(4_5F2*f0-fbss^UjAE_aDzsOqEmyD&P#HF`>X^NZ@QmH zD|86@$PvzD>5T^_E875(0(dsvFV?=ki*_$kyCsmlqx?un*Tbd-OmT0;x_wjug)Zms zHFUcoup^l8A$>tdPzUM|= zhGKoo+6&jLA7C5d1(h)s^z^kJl>_%di_I$(OG*;4BYt~(9xDK$!rMMoKv@wPZUs?$ zj|0dNglOEX@)p-odcT%AIkv5Yjfmt$==mq%hGW@`T0rMFD56`63VKc39ff+r^#FGg zB|30Wm9(kHGsy1eRQXYwMv>qWIVr8}_{vbae+43@APT z>BM0N?_S}|Y1T@PilrafMGpkeEBZwBUXEI1N-$SWNkQumM%GNymqchd>#~BwBQKc0c)&FRlspn0Iijm2sR>g;gSdYf8!`Y#^d&9)Pl9nv^ ztw}_X!GThoJXA!*c(JjDb*!WWXpLc;K53euJ7KH4GRF%fDy= z4+h)}69kUw{Ew+Ib;}@tP7G)bbB42^VE=IWKa%^#WMHf;|K)UM69q_MyES}6wB-aS zC>K!BT>!<%$k|Mbn;clM8x;r+g1P{n{vWkKe)s?Cf?#3gFDEi`ii0Okrd zi=K11_-1_uu`<&kX(KJ`Ph}!xre7Z?8j!~3+yWZfM#4gxMz**58pOiNYDnzxtMXj~ zFsh^R!&U7n;}=y5)9uGJ?R*o*g6Fc+n^hXQ%lw|K(;t>c{@dTn*Wb5Yum}6WXt3f& zA}Vu*gR`nAD8N{6!0D@^WSBUvD=R;%^PJZy%*C)YUXoWRnU}QimP#OE#=)`w)U>4+ zzqchHI_DOp;wyv*EZ>-@V%(3EZQ$K41;ZlKaruI5F9WS$k81JFR63A8UFcD)NvxA3n0v^=}00QRTJgZBLg{neRLT(=Q zKsa3Fu1L}>UAzTc!H}PE<5og$y984WvdZIl2nn#Ohs+EeD|#uDA{?$f%noS8fpGwR z*DjP-smOWC8d~@v=l@H|Y6i}^wzwF!e&|Dln3z{I&v6dU*f_{&?i^Cocz5lXlms^V zPhTvgHnQyjfW0(g11ee$nV_p~MO?bv7zXZWkgQ}N1Tz&4);0!Gq_m5PpLZGU>vwzi z2k|RTeBaFci8fkj;jAB8xPb_qGKo%1k}{1>)La6nc@bW6xZLjr-5;u5L;1`ETK)<6 zIhu0nD`@TLhQ8G|HcxFkIeV86%5MYjel-^b5~`Ku00keK&RNf{Yhtddq^*XwJ25Rc z=svx(;2SJ6u)&k!efvy*+?yW^qj8=W^CAfTu3u1QE-cEO0{$rt2Rpj>^qt`{nf8r( zn_2izmltJI516lZK3%a3nn{s5LoARVvVw0#EA#7P%*w4^gZNkYHrE~-LqK#P+w^`_ z5)L#vz_=3uB*c7X94{BT9*JwTF^m{ZO|PA!Q%A|G=+o&St;jiv}A`b_XBRW5nfO$7&9^7`@aY!N0?hyijtHiN)wJGkmY;xPH$nhtRSp zkVevFz)lIDt%v<>?SRhVv2ie8Q`Mtk>rsn31^lu^5CbN*dnJxRR^Ca5BFx;RL7Z;b zMBS?N;%g5kK-=oWVw1U{N_fk{ku{fcRsx>Pg61NVvd~K2li>%?tdw|@B^iveqA@Ld zkY-4*y|aGQ(yl)_ZbsRjwYtcvOGk1{YP;+xNy;LYC1FK$m8^hTcI=Xf**YY$D$cSH z0si!@7dqUyMyLTm6U87SRuT1onG~Xlu$D>x3oMd()x#Nl+}Fw#E>s!ygwoCI{y!{r zGJ6wJkJug_xpVwkT0A4BLZQgt{f()a+B8$c&Ac6Zx7=dQ3Z#Q1wOnayR!5t=;yBT4 z!-G!_5AQKj)E6D7kDu7=?N`g)Yk1QK0nCi2a7z}qa^`of7mPIk*FA<|h?cyY*G7eB zS*>J;sHk^PZc3l_;SEG_yG0+C*n#@qIe8=Tv8E`ho63s{>6LmC(eWi`g6h0a$LeLMt!q2#fZJ^`*|e%nlzkO9 zA&>>pz~%+WSDYD%4T|ZcV-m_Ffb+ojG%*vLL5nl4gfm&bGAlT$7*?N=5a-)%`()0> zy04G!kCm-07E#*mq*zrzWy;`~knSLy1*BcbaA(PwP$Kl4c^f)sRl~y0nGA!s0uzJ9 zWLxJ#jqrPJ!-o^+pR~6= zrL316XlhX=T{FLg_Xu85Ktpp?eURx;;oaGoy!ywS`fb=L-EEG0DSNzSoQ?-Z77k!o zfR{fK+HB7dSnKcdO2^lV+dd{PaNWNM{B35F+Yd;OfbL zaF+*g9qexOJEtUny9RASh6tQPL8({vJWlz2Z3 zzY9O|hs!P<+iH5Iudnm!v>j$%Cc5rc{60Z1(5YFYX|=H}){?I;BNPxtN3B#T7HX~D z#erzZ`)NpS%roW;fbF=|eyWnQFY`(ak=Cr8VJa}jD8TVbNjA9*1B|s~Es6@AieVA6 zG?THv*eaZ*&N_2b?3?%*6GB}wNs|GI#3daOyxG|njp)U^t@~3{D08Gwu(l zW5VW<+{D!Ke$*gvK|#RvFi)zWqK)JXTGZ%iDPP()itVxhQbUwXmLt2q`nx9h^Sj!J z0*WAg`Y6dFV&G-{-VQy-)_K}=X4Vy z8%x+!=_el_0Gy`$FwIctf@zJ-Wfi9bHXDPo5fpHQK{+DRdQD_LarWQT2weeYr9l`q z=%1fGcr`HULEFgXzWW6Pku zv1SRBwU-N{@Nh@a6JR~f*^*~&x5-&INiF%3G)S)Ay5&jzcG#u1cPb0DlXSFX@tZ`$ zWK)iYGJH)MTdSZAV+p|cTymL-hNs<`3|A}ld&IOsMTgOGhgNZiH+W6d6H|8t+KiWbA*2|&(E1L?F zQUd&eijI3sNQ2j3Xj|YY{Kd{+32wA#?#dfSMne33Pl0NeB_T$5a8v&HgUitDIoH~EDwg~?RP$0bo3O_kVNFzNds zRzHbWV55y7QznO9o58xJ*CF1qe8W!^1u3RuFjdL}co@oobk=?|@0gH#JJ8-h16-Ig$|BUV;}vqn zx+@r%a}8K63#q)A$ub7C_P!d`Zx>@5+7!D^?A?PyvE3#pX&gHDY-8De?{rMV|@vsmR4l2Up=0i zndrFvnsj=Y=q1v#06x@%Zi7TCrD5wFQ`;8p4WQJ76MSzyn8H=xq{rdM#)Ju|0fmQq z#O9S_Uz~5I;bb2rjEGUjQOEZrE}4no*EX99-|*@!=B-}eW+)O;*8p%pZ_j!!w?}k` z-s{8j>1Xuvg<4gtX7P!-kE)Z9(#&2;CO<_rjdFP!6ci*spnb#}V9-S(M1b8)D-A4_ zRTUJNDoL9uWXl!>jqn`ko$WP>**vHHer}b zoyR*gE=c*l#UDoxp%;1PjP@{Pn;xKOSp=JB!YcFRt)VHwmvt4 zm;;qJB1a6YfFvoxj3jgh#m9uv*yYfE(y$?NRiUySfJ_cnU=*3JA=|P4tLnc86ueYlO&Q#X5s8BM?{L@et)|rsc zo`;%{KqXh@sozgQ1i?PI8(-)ZJY=SqX`zxapoX zQ4eBn+xz@<)4caAzMXh^sX1pSoeKr%U8uE3)VH0dr%lgxA4Lduot&7^N-sQVz~?FOy-L+vflkK>%bmT-Xtam?00W2lrx>@~7q4WJsMT@O}$h*b*;nQ!&Zw#?%{wo>HlCCvEcI_bW z+Lw7rQB`OfW`yTmEQ?!;HP(=~YOP>Ap)aBMz-xMxtIa_Q6d?L0p`|7EmLG&d!q6!W!{`c^=qs?mBE41jd$?&I=V^}}4@{R+Zv#Zva$>K7QlXUMR`rHP4m`2W zQKo?_aAHQD=#=tSr9%q3J0>`WjJ2@?6rqs9<0fD!wHyONF4Av2?ErJR2M!7rb)Ew8 zfZG9|03mJAl=-fM5^zWKatfb2dPz#i+>6!8dTnWZDtdWtiYr%#X8PRfgxrzcjot8D z_zL8^rjsi1mx(ei7z>xTrAJ2?cjhU4jr6GY4}4kwRsGa3Ik!2k(94sb7>Lm*&k838 z=ePU!*G9&T5jc4GT&y$3((z_asUuv}rHTX@4^XP5N^#cNJb+JLk}|x`-_FaVIK%yb zeCM;9@1ncgp08YRo}3>)8qqqy9ZWedFzP^jP0!xNcfc67x4{T03MFum&~Y#@9!CYc zUT^v<2?0ph2WW7V^}%HFAcG%oCon-lEf#-Z+$nIQU0kBD2j}ElhghCt?mEqJGMY+S z>fMdD>s2Q{697cB;EO_w5ZYR{;X-BI@fmx`;0Fj}Y2$8SSr{Mt7uD+HCb(4R%y@9V z>^XddkY0Fu7Jq%oKssY*r~Rcro;>F0Hq*iE$3s`niv?89nadm*?(HUoi#d9aSnKs> z6(9L|zGCnVolHzx=lpG~KAj;WCtNQWyc!z}YJSMmTFX_Nta3mqRjYR3VmLp$eEkX| z=Wa}r=F}{Hp7Hrk>NB5rve(oSVWzM4#HGUF)2hGlJt z#`4?WM(*p2aZw{;WiM^kw#7lbFx?sIgf^B3Vqd0l8v_P-X&iHm3}A74CD(%1QrgF# zOIei<&+i`|@@8KZFz$A_XVpA>uXt9Ys%R)tjsUNNs;{@UdNK?jRL%!$X_S(~Y8p1r z+=8$=l2O4lhYR3y46`phMPa?KWbB`Jt-5*He7g#t`=8N{{x_lU1NQ>GC>O7N_p+#V zt&^AdlTBfJ;IHfxy0Ml%TP3xCr?-Y(T?1|0{yjB3`UyrVnyI96US(8K_5NnE!+_$_ zCO{fKBWk$!SUV9>A2KMY-^s{<&8rD>N-aW@qQt9YhqCy;+0T#zvd+M`2bP)J_3RMa z(NKiVkshI(>b!y`@{Dz5IDQch_dD_;2u4>5{EK%e>9PaWo#-Kol{b7l_rr?T);R}! z7G^E6Ot+2+9wk~{sjjeTnDNo1nu}(aAApT*&XgtEQ$A9bgFhvq?M$jkM+OQGL9Ttm ze-4QhLkX}~M;|XcFcEf@3%V*;?jigO|153wc?8%usp)J^nmv{VTqvvW|U$hf{3!m;yHV zt4@$`Ij#rW`xv@BJTUf6Ny|}h&mdrOy+94O7?7_>%BP?{cbIdK5FxfTZkmw zuVVco|3nmJM7;V>W`WN6ev_! zDHcOxaVdigODK;rQ-kOZcUJW!C8E?Qqcg(dF7#iRep3|0f;&ZHy#gy^IOkmP)*`OE zWEZ6~>o$- zzuhm@zRnpJoLccaYl6EWQlwZkfy8NOpiKW-L?-{*hS&e5xU9n?euA;HHrywRfMNXK zx5LcF_TNqr&?$`x4rDlenD}@yYnSd5SeX_L$epluuSddRFreDHd|Kb{vw2zKu94uj z^US(8+5MgrRV{Js@)pQB4nP0gG!FFGl%OUoC`k-_Ww(smPi9B4VS91Z_ zfixg&VEKt4jpXUj7J(KdTA*u*`Jh(brRosgrR)&=z3?;CfePS%6Z6SWpfQ4e89|&# z1O`Byv~F?-B^rU9kPF|zgBcOM3g!L+tb@N8xmn4j+tPS{3>SSmXs5_a( z{-s%xSdj41sBkenB^h;AR#0|s)S8f`*0CcW{A0`Us}L#E+gd}W0VlK1)@3#mz&~)3 zxyXqot%}%BF+&%;n-ONoGt?lvdU|?tnsztKsx;LDJq{UhfZ{DfmNsIyuj1iD;X`2% zK46F1O4ej~M4eG~5Q)J{1C%9B>w{BD^81aIz-#akvKX^U12Ij{P{$lhK1j`d&VHbRM%FXv+QOmBu!!JVO$?mao20hphn?1^}Y|E5D3y^(W0A!nwJS5XN2 zKJhvwryh-`cVWqMjm=15HlBEa(jpe;5>9LmfBm<=iba{l;0n97UPw_B_Q_l9hSZlD zSLXr-(!xN(ha^a{#NAvG;I*h&FYZFEOGPoRyxi;YzK z|H%5L;9Qun$vAmq+qP}nKCzt>8*l97#I|!{+qP}nPEL~j{;l1c-I|-3s;Qcrsp)$9 z>F#+(wn3+~VL%oj?w})G6*B9dgK ztjjP!I11RerZm|9k0j~v)X{hEB*&r+aR-#dSQTU9k{^b^5v;eVSR(?1A~E>|79-z? zZAdT}#Ov^JP2FjQbUZ}iS0#=Hz7r6l0wY03pG@TKTUgc#dcll1)kPG`)410x73K_u1n=#Wo=r`^ z!lI4?Fp1Zqp^~@|&FE^vV zROXQE$&B|I_WX?yX;*p3>=IpK1S#pU6qBQIPpy_BRu@#J`StjCN&DjA1YG*@1v=!$ zjlR5%OcEhoe-G_kpXLGa`3VU>8UO9oMx_Z^bUatoe1mSjBPRU^t7w>N{J@mG=-^GCIW#|7mN=Oj6ZqL>3{RE#jT^Vn-M;uD; z|B*mDlzu<67V9p3is*aelnIe6m9+uoh0=hX*AKwQ{eQMsoi)1tGJ~G$Omebb__MV< zPr$;cE7~0w4C*_jOr=BP4|R2-$%d&gW`vtMD&w-@3)vd&?K8nYi_C^Nm`Xz)D$B#n zFQ;?^9=)?@g-6$$=h-h==kIl%p46H`4Uew5yM3>NCeQYS3;c>q!(ToSE`2Y~{5_PU zYRSOp=ML-zmzu282e($G;V5;7uq%RDhuevtq`NnFc?kqPmgR5e;zg&`GB2*~;$g8= z!P8&{KPAF{MI6Iz(2VJ2`fHemW~{5db+yQD(w_YVatsdHv*H1SE@~8MtH4x%*wV9)oNR_|`lP=E;_D zLj)bL<%eA}%m?>;H>Yd=4enW&T&x)FUd-2ED8w z{OEGRizPqq1&IL5;b*TbVd~>chHcDfkSM6nHFv7JkiP-TAwcOc+1Dej3ykN2-4?U1 z6M$+&@l6D~i)$MDKQF*qf*iW=vL{w?*EjO*Y6+x;i!Ez@Imt#cPeTf=z+VcFAX zI}c%8a;Q+3T5DP2Tx;7K7Q|l5kzdkg1s4MA|Fsgaas4NS`JbGbX`yzEQS`IR=5jIo2slf_#%|A;WuCHY` zsTQQzmSHlJ^e)+unDl7bfZ7aYdDMyw^<01n>y&3{9~FI69T^zg23sTvzfF2d7>@-* z2RD2;D8GviYiK{PTNvx4KYG3kAP;#GygQ!>*#y@gvz4A8`V!JjPaH1qAU_sRSaa$z7}P zQX-5Gk^~*`F$zOT3s;`%nSRLwA{X-6wW)?QN0@KZ7yd&D5g|=6%tXwM#XUHD8%Vk| zV=7_s{d+rQlbn7whWi+rCPZ@j4{d5)$0cs53t=s+>B4&Y1yB!SD~h`Cr{B=HK?M0C zfkLME-f-nJMtXq-F-h97CX~{lu+-tUszu@5h5X}av2)vNx z3JFm4h$KL87gQlLv@);)36V%lbX6fqx)G1s{| z$;P=TugUQ?s|RfuWDITw&@q^xy?mK0ko*9I;J`C&b4Sr@7;K`JkwPo)86JPK-(bj6 zg>s6Mpdloz3^>FgRqT}gGXJ&8<&be{u~MnYDpY_8@CG;kp46Olx^i-+qqweyzus&F zGZdf?jw`jUhC`h(fj6SEE+nBH$SVdgRHha1R%A?Vs7xN(r_>ERu$VwOA1l z=U2ed>o)G5f1HdjmW%J6yuG7gWTgjYzCu22ow&P;79~-C4ll=#cdqhCs0`7jgn6;G zq63l0;GM!}`mD_S1afAW6C=rt3rVivZIUfx;H%cMw)Owq9t4=EchT)&eR?84IfA{{ z8DvTfUc!^Nu6g_J!4UW&OY#k$4?4KuUJU}xKD6$6kqDl_GKBKF%6hSYQ>U#zj8UqY zyOtiiBf&xr(VLy?dFcl|ZC-8Je}2}#9vj|#9#)G3cs*p7$=xsv{l8%Qp_=Ff(!lqu zJ{(=xE)E_NCLvks95pW2^7-m&OoNGVBQT17aeak z;;yB2#QM+jfbg(d(r+k(e@>OooLFn4hIS@Y#@NJ_RBD9pdGlNA|hI3AceecaOf&>iNdOhabSiL zw6NP0=NU3&0R=kXU@a^quhen37FuP8?{(b%F520#KaoAQ(uC4~)|5Mp?@XHR7>Xyj z4nHe9$FF_ev5189{iVL{nH&^%zApzylh$7+E7k>YfIe;Q5QEdltv;n>hlIfQR{h{6 zQ!SMzM@3cSmZF2_FAN@TZ|WB&huv7J-S2d=s=q-eg_IX6U3rE(@-+rZz1uN3Op2$6 zx4p{bv_0wsO{h+VgX7cK`|aqyKVNub;RJf^lO5#ilPU;Ih^1PMm*Y>m_usfKiYG$u zyBI!cuZLqBRL1QCmvZuOEuX*whHfV(&QJavqb?TIFby?RzbCyKqiZ{bFEv>y)?Br? zw2&_+q~Wf-Z^1#=GtTzB-7h01157D&L}CJ;gdv|uiLITTnBJtY_e!n#hXo{GbFWLT zx_|TY`}3VeO{%S(T%GMVtbESe*eXfu_rY5w7Vg{Zoz+?T9$ETPq3girnvCuHu=T-I zi(7Pu^%F&g&8_j#%`V*}gF~7y(CA0nHX1W-cw0UBquY%U%~?u320(eg-Hz~pu|Ajcok}~clxP0=w?vu z9l!0Lj}Kx1mUl45g7umJvg(8zss^S~38EW4OT!`WW^-d~;}sDt{S zU@~6qOijeMwEBLAZ3?f$HOyX?>A5+9>V-WVeQn1(XDAKb96DaaEw_iSl6i_*y1|T{ zlieb(Gqa66>M-D=2e)916YzA*vB|T=am^5g+G7nc^>yY_S}pAj(-|>r=y2J?g;&T( z#OhHGUO<6=iZ8pq`~v09Cv^`XL3=eJmWtNAE^8m4LobBF;!2oj-t|wsP1#)X>G$_Ss7_(`B13l>(z&b%t7Xk?wY)Uc~sUq2toP()%gsixK zrTKZAxIBomOq;X$-D#p@Nqb~{-cF14jOm9oJ`nvgXY;7a$@ky;zq3aZz8a7W#d^cV zOHLBM?a}wqk?%P;*6}RjP0r9OwE9riby>1dUs1yK$_0vanFQmLJS2;a=(DAeXclGL z2lWl;2X)oZ2x^ruQS^Ys1=bHrbBQN~jo(38MT4`@W#PyVPtM*88~mQ9z7U6)N*VMPW{r z>Qe^o!`A&kmylA$sU(x!D_=1^T5YWLvCLbL3=sc%Pr5&%IdiLO{nI|W*ZrP!<-#P( zX{6e7vIa)!r`q!0jNH1f*f;cnJN?N9=mwx%&dPjzYxvG!rM`s@9Nwi3W({%TF$arB8-n+v5>B(_W?ib0SN}-?MxOIr zZ3xbmh@vI>%SpS-t$~@ntJZ)@GY}$;5&ALq*LyR0681uS3D!z@`FM?}apwG}V)iEY zWJzN78a28fb{QNgYDC@oS(Y+o;RtzX;5Y+|7nZI2I29pLM(}bF1-mvsee1L+8Y{^h zz4+_62_r`F|LaElf!<(uta@$%a^IlT$C~X*Hu!)geyVrGm}k{hEwh>60J=mOm0AO6 zEq>#+1uB&s24NksliDHp`D*53W&i0(*+gv-^pBEi?yH7I0!>}CwC4v)_4an&3k;C+ zP5ue>OwO-7huQLs>0^!mKy|qw>X$nYhfXea%`Um~$i<|QR>6IQg%;e}PVl5kM>{3@L?4-*U@EIT5n?#Up+)ABy<3Bz^^v}(8 z0%tYvcFbt+OQyAH=pD$1y-HCb(3O-mNkxAnJ<_0kJkBXof0(4b$&;BX=zuD#|cAN(QqIwmLz2HX}hu9nfL;*xZkDtYO0tmpW^y z9B@UP;SC?Ty0JChIMJjMr~9`8W{2vkz>L8Yzht5Zv{Y6jFs>x1a=l4NikaC{g(H{Q zj*TGRaLPZ~(BF(@(sQ2{uq^Ak8-UyGTsUO>SEaC5)2?RO7;SGC(&5oua4mynz-D%u zF76qV<;$1#!_vO7xw%>L)A?}s^|PwcqPgLm*5cP{ndjKLsyUuG+4Qb68*=KB;fhyy z=%ZT9sBzD_J`BfOGRajm6IW*#qjBG(t;r9XyAgkpq^2?f?rpxlk0We=d>EL_ZuS8Y|WU|g(?nS%rXFfR7S z_NfWLe>Uxqm0;Naw!!Sf!h&%#H=gS@K$OIxBcqh^Rn2d~2L@>^2bAh6Z9hWHRt- z(z&Jai9W(U@zK6MFeO=9J0x~TcIfp8Y;Lf2kgGV0fLh5o;BCzPr5XdnoBN%qJI#$pCd5{TVw}7a` z@7RIwvQ17m9B35*N-ELrm7}N8E6E|1Whzpz+ZL{Ck%>Xq1p-IERXL} zb`YLpkFPxb+c4mkxkL(N3dfNI&iPLjXdjFt)COPrkIbjx*4R!4=y&PMjg1LX!#5ph zz`)e}d}?&=&hT*P%+h#&0-~9NtflQUmXJA{3v>V+aBK(l?)x`V6WF%~HWl9Ct21vV z=nux;Y$=G@RBQkzVxN$rNj{LKdROlK=84hcpW%Pu2#){I7B37>K%j~5gcj0qxc?o~ zkufoW*KsnpIzen;uVHuN@#1px@_;=3Bz6l0jvW1v!a%_At#AH}lYBa)eEpQZbGebs zeNHr01Npn)^}c;Z;q9{Vw|-Qze)L*U#zy+L`seozQ365GT3UBkJNCD^wfDqy7gcQ$3^Yl|O|zzL8NDA0s?+!dVJJ zsmU1-*xen7$3N&p#9ZG1#*e+LyMcZ7p;ZKOc5WvecgqN(OC`k=02m|up0#Lb1U)nV zj`$YEj{)%x?L|QgFt`VzQ1J!q>^VHuu=(yXLeqgmH~yqFID?$U3Txilez%4I6ZQqj z?|>wmL}sUEM$bsWuhNu2DI}P-SZ3gMd%{mz#oK49I2WCHna;ek1}&|Kw8q++m`EwR_JsbS;*e`x^rI*beiiO&>pyw2FY!C%qQ^ zK9k>gKR7WU#B&%{5WVb3tOtlq(!c*{9x!BbX}~H>$av_*jh8WEz%>JtIhW(284|yu zvB&amSFf@ZQ;`xA_7?6HpBib@sSt+hy!9Pq%G0|zHIdgi?^2&fBv3K%r&UYT?v>K? zpBS!*OZnp`CYGs9GGrWL?I}RYV+dhgT08{BSrxhp3@A}-(^_gyggeovSUCL}T18#- z#ozyddpKP{w;gT{mYo4%f(iR6{{H&fa!4;yWp3Hdq0U?yZ=bjb*C(Wz#xfs-a4Epc zq`$+N;)m1#%ZMs#gAB8N8`jy+@WS3hY&Sm9Or=r#V2w`kj(-{?ED4bXAec?UB1FA? zyvjmIXATH<7(vH^{&S?-z!YC$r`Ybn3{RcfP~-0}sw(G2*N6hs_? zuZD9^sjr9WJ%;w3`HMO;*e>u1s6pB z4*7hgxYhayc!)gBrt|sp*1O%?YCJk)+Dp)r(eoE78ErPEEm*JTEyunYi3Rf%{^6zK zrqXnCUt8!{ORIdc8wx|mVuBZ~-#Ktq>3WP!YN!qUs z)j|)sxgtBt9af<{Y3$Unxfe1lXSv*(DFHbscuP8?ZEBmG=5Zb z^?(rghU%Ij*R!VQt<8IM6Dc~HM|nlxz>-z4UXAB|)5ylGAShbLS>})KZO`ApwxU0j zLTshc|D88C!2%_VUb0MHj@THj-o;!sXl#SPv}mA`?)oed#D@uY4sQ)=bTh`4YAHP0OA`Z? z`&9-f!kAsAa~QtxDzv>qTdy9TmuyuB5ZlUN&S^kf7^8iuY_#L;;8iF3S#Z7wGD-3d zj4Vptt;T5~!H|$%!mGk6l^gdSQ~m$}FhZ?+&o4(YNq0fzHTL0cN)8{ZJIrgoOKHzp zd7|EF{>mM6XJ4==#!#UitAl#g9Ai)fU+&;ZG5JcyPSGW6`C-Y*_>SB+2n+Y$q3X%O znN0LFt?dq34H=w8MD^fxL!_)43?8_ltueWWDrw@X;oZ!^auK_~ai=b&|4Sw~Cix!ulrsk4sv9qx@Ad}QjzYQXklSY}Tu5cxVrfwwnoY^Tq`mqp zZgls%XFasYB4|k9C(|M)0rWN7`G3xn?A)%e%(27BBVqbg$7X|6JKv@;(1PycMCbmf z+>2%DZO7}TY!UZk6d``r#Z;q-Mx9-g95in4O7F6DmAuPFXJ2-_Y5XW)m^iYkwb~W^ z7BliAL$l!AbYlpjr#3yoStim|gX)08FYXy6D2H@4;w~qub!eS*8vi5LXb+;OHF zI2_ZSJmgvXjK6yAspI!i7xH4lZQf2D9=nG!hRBLuhn16LAlf7_+icMo7n_I7lYGG$ z1IdT&YTKgVww_ueuaVzh?R>{GcmHo}Oc`J2(n5WA>S&zU2aX(4ZBAJDsiK-ke~pgcwgVUeeN+8Xcaq9NxWQG#wX-jJ z`6GNn39+e1Q&V$AJUQB$+fl17|Or0#26uxXeek%6lPLP&eb?#-Unb$u)s=;!ddMEQvAjo6ZVmXrX@W8BiShp9 zBZ0*Gl|FN=r@*5iL9rw;8cp>^S}J;)p=JqS0SU>4-BkhbM_R!}e#49rZpvsBe*9%T zeZb?4a25y@CnoB#X!7g&hcBC#4e^Bq<(IU5d*A)RR z;4Crqst!1d?3{{v($I@`&W`?%;NDHIY_fl_Z*(`L%>QTC@z1Xu&ps8pguRI|Htl4~ zTWD(7OKER0{JhyJV1D0=rxoKn4mIvJwr#QnyfYE_^iA@pS~w#?s3dAI8TCBy{d)N= z%W56x8<6?KuU{sPbYOJ>=T?%TTBl3zY9YwCQuFF^?=4`71h0NW5R5990yCzknc;0R zH86kgHSH1sWF6~ZgTlNRYg6SM4+P;Hj&u$lnxH&;#tRYY>Cfbif^mTg@LPyEmZk<& zrcDFMv3NxGlib6E>=Iw}`_{QbQX6F0FE=D6jWJjHOL0<2)^RQ2#C9!bFR96e zXmypD*j+1;u(6%!fj@soER0F_VdzhRF2%k`=NSw_AN8)KoFU(&APK8>J%`HFy zJ8(xvt}^*{oUy$R;WR3YrW(b1S`6}vPc1l8Rt;ecO$F^q%4=R&`Pg4v&@Jiv*~n>E zE=N0UPsNWS0tp!4sO27uh;siq{YV zAHB_-FH8MZGPNm+?ML4hpt;qSZfuNRW&Uzz`1U6W zS>++l%h*9ArSs7JDaJt;%GdL4zdl}Jv*h7L!df=DQLk>A>dbBI`KuB33420{o0vO{ zBOLN-gr9!FQNC|ZXO|8~%@6}DB#EF9aJbQqJOOSPthuwKwdGx=C!WGR>#}@#vhk)w znv0eCktD#SV&Bk4ch@gD6y_F>QA@1nndbULE=&aO#wuR2+-0JV z?GRGhpk-x$A~&bZ7Zg{JavUvL;lh2uHD6^D12}H0Kn?(PONgrrE&6x4^P^;Qf?ari zl{wbmBK#y0uq2(>H&x$Lb~nYIf$QF4C97&^Kdzi+E3JN!*ke92p|Ki>In0BzC)a-J zc;tBwz8RTv`9zy>PU65T^(kH~P6B=LXh8FNC%S>J-|z*Az0k8rPs86^<~Rm&R2nq3 zCkx3_2cF-7=0--KTAIEst*e66KG2CN*(SGmt1Jm8VW3d0B6h$~NUi#0HBB!vqP=XttOj?myMhM*hrws!hntWWz+C!ymS_rqWOGeUeXTmH&S zLYHalefLl@jrvN0!V-+4Frwj*7{7=rW#S_aW@RRzo5zGZv=`2LT_=qkwM()cCFmH8e#8P84YKJ{bMecuR&U)-y!Avsh3dRT&~d>CMbnnYzP zl2WiKNFJD{p0yRm5`K63@AzIo_i;7OM8Qe)zJ zJ@#I>HN{X0MobB#u*qVQvndRL&~$Q-DlAHEK%*B*8ddrjeE($Ta0IDj6NS|p=ompn zx1YgByC*JRAo$`f~~4T>tkD;ZB)rsv1}C8T;r)h8EqmxrHj7mMd(I+$C{ zf3TpzjxWX%IZS0FQ6x6t@V!-u_iO@J>@vXIS*;U$@}Qyvh)Xz%y}%s5tX64F9wkBy z_XPe8L>@!Kk@Oo}n!{>=FByJfJ+yT z0AG`#PuhP+=(P`sqN30@BvluxLIG}F_(9DgSO2DQJJIs<;S-L^w~|mErnA;S z$|X?!0(3)V7ELMiJ8m5_*ZQziT!o^pBS?fd9?PoT9Ah<~Ms!uDv^yTy+^F-Zt54R` zt5PP)ZINVuq9zNs>i~VPI1U}m`r+Ux++rWwj*uV`_6)E!ZJ^0gCaYSD-{^REN4n5BPg4&fbd6akwvt0`s|U ztM4HMnrEEskQ)hTH`4ERYE`i{Wk16@|2(lb5M^gl&(=0~NoAv!N+Z1VCHE z+%8O65o^7PBq;y7@kpP`kH;MntTg8vs_lxF7G06{?R;hy17G<157(7RYwhhu81@C| zN%F7hz16rPEt$7PG7iRFJ)M?{vvkzG{A#u>bgwTo=)u;%5p1;1we)7d37|s1L=KnV zJ;V&>PEgt`AfDdB?)P$Ek~Km_@dnH*t|I)~ZS}N8lfc1_5+dE%vyRL6As$cnp5Ufv z=fGnfttLSxOTqNYn~z1BK^){?E5X_i2o*I98tBgw=%pOy!d0~Y`fWtPW4xSWj8`AE z;d@sTSR)zyw)4a3TCTR8N> zg`6y?c6tAy^pw~kJP>6dm2y~Oy_c*kX2@ZVRU9%Mj>qRjQ4@vxW`NH>SHijmn`ShI zNb00}PW_Qk-rx2-;rDL=l^?;SAPLAy?p7~MLSylak{QV_G0!C=R`y2i{_b|Z^sn@u zCunyyOv;qS%_Wi9p#>W_)q@BhG!b|t!tW4~l69rVd%X+C8{m2?MO_y9Lg;K+^GL$I z=hadSiLP`Z_CcvITU=2Ozx<8BF4PY5j@8fR(gJ<+pJ@KL-U?mVa>(1H9H#z!jVeW` z!q4pIKWqa%q&Zhc{UQu7KNfC#J5$ zYv0N#lMv|{zkqASX$pEpT9lQdm(w20PlE1c--O?6YdgcUahWcJBcC8t4b$!Jo_io$OV4!6L->gl~VNn zK2tmAM@8w{=_D#ARZr`na~ire?gC{i3HtTr1~MI7Qo#A4R7}?{7F&?P=ll=uX!k$X zf<@I*(R;9%{b>?TwPuSnlT>xV5;fQ{tYC4CE?ZTL#EgAgs~!LJ*BE6?44uR4K7%`Q zf$+>}%!`^Q8&eO~J5$p(gu>Y^x`aVcl!Oc{Nk`910m!Xd*g`tB zB=f?tl|b$3)J$5PgOM}x+qfilzGMKn@UW3*WVK?EO5PMznnt6}3|EcJatsLOfIq7J zGz0g^q-llE)>lQ;>wutoO%k{9QUQ?Yx362OH zvSm#}7v0O=tm~;6PHJ`wdb7Bs&T_rPP(cjO(@+^3w+PsT`)uZz(Uw=;oG1$g8iFU= zM%D#eCNk2U6u5}G$0%1vYul=ieup}9XzhA!R)Iy0glz9RvSnM>`u5wS-{gxNg;qHz z6$nxM6)Q#KbQYa8%hJp}bPaa7V(N!~=MdacINK>wd_s<7+;aI~C&Ze(npQ1#Gs0r& zmP80C3*HUuKObBW95J@ee8NBLy3n`3>aVUm6(mX9!oFf+f1~vhjDfd>bsS@#QUU)p)jBRftVfg{6 z-B{)mPbm-W@7ItBG}i{w?$I))j|hpeI2wfRFJ5dm5I6$o8-xwR5x<4&|9jN1R4e4_ zf_LKCf04_Fb#(@`?~deMo-G>22eTN8p4NPFlw_bMa`~L0)U!ZKmp~)j*&#Z510kIz z>II02w1P0ptYN8PAqq>X6H4 zYGuKvbM4C!mUcdEZj7Fcc}uKi6+AZ}o4uk>eMp^`=olRY8Z2?&xzbd0Mk0wFQ}3- zW1~LQpt`m9$3sXVFeMsa;2+}%!P8R~O=3~>GEv^<&fsWBMGMIt^2yY`fr*jP48q+z zx*f$UH5<>FN-kP&zQT(eoNED`Ax>HKOV3+F8D9*iR5HTcf65sMQv&I04}I_&FkK}3 zN=WH-=Y1@H^LCD`KOQ^}V&S&Ih~E9PB!2W@Z?bciZ_r+yFO+Lu5+yB(vdf!rM_tB;x3UOdf`$13-UC* zQaVym&tIhV75C&0A(dw4O6Sh$m{B_Ka=cvxPhxCh0ePPkeFw#2?-+y3>|;wjEFZr@ zZFeE0fLl4q0mZHhc<{sGF}nR?G4!{FT`p9$M#ZBVy&*az0QWZW}P zxO2Csd?Ga^y!-VTcP_vhwl1gc%w<~*cQsv{q@+3GTeDTpZs7Vy?iZ}9FK1`EuH2Mx zo3PZs<$$h_Qiwp;%0TB`R1x`QWRe|A1uqMFQCbgUB49)d@Q;Yd5&|a*rkrZ)hyPgX zpFMaw2DbY07MMu7m6q8&z$5PR&^_u_K1j6*mV6C9RX*3MDakUQOy>7)aHk_ga^dYf zL+g~w{Cf0iWtAjl^)$^#(nkHL^oE>@&FSHqXwWX|OPQdD=glY|3r2w#&|9N|d69RK znL&MY~UCi{N z4th!|dAv=69W0AU_phl4>IQB_01;zZjfGUB{_>U=p!7>)XtPRhgTgQKxFP;)j9XIV ztS;OWHo?FdK>DI>p&I5J!zDnK`sPChht45XTTPb5og6LT#hr?6W7Q#Q;e&79zg({B zod;gv+WURASPs>)@0Scw?5Lyk483aG9Tt|2%Y-ARslsEbaALC^%@u-q^5UT(z^!Y! z>G{GCI18V#Zl5#xn}v=gjFD(fk+XW$y$-L{!wAPtjMI_nUU2JRcT#;zP{T*y7j`0+ z)A8T@2ZPVU7a?<}bV*li9Vn%NJhXy31Jft2p+9Xw=y!qeRx7bLp&MoFANRkL(oNGl zT4~d!q_Y08^~)F8q(Rftu1bL;8LSxy8lZwE0W&v(`b+%3s!5zIpD12$Fvr0zVsE-H zs&&RkllC-}g*b+6_Gxm5>g&OW1^21(a`<=bv8z2?FI@2aYPypQD@e;^o^4Z;%=gr< zAoF|>S({(9KD7NOyg6v@hUc`J=XTP_>x?`?*|~ymw@$^8H1Dl%MEU-J2URLbzFaM$ z0ueAE{sT-*u!3DXPGtX7i@d;{F55lKf{8&bZ^dGw6vKHK4piTT_ zEABWCjd%P=<1fj|V6TnrTJniV=sF^kBKO%68A!*)^a+U-aHXenEh+-S&;Fyx2ndxo zl8ZGY3tva8DQzfG(pC_&*mUYi97;PrMBI3ixHM^zHkIYyvP>euu^UG6&}dKBW7PW) zuKQNR$qhmaJce?(GUm=*wR<_Nz#Z;i1701L)3FE~fzA5G{~$OgEYFH#{;of$V8pyD z>^z~Wz|;LGde-RFYktWd!cFd={6wzLshh!tug#=_SGYP#yM0OfmDDYNHA_IB#lj}u7L>QGy1i`lls&Pwop3x>6C@4}$Gvi{1rxz{f~!4wf6`dZ3)zPdB5 zkBSR>6>FyZ@LI!DLxI$r<)4t>Nj-8NX?&yKAoER{9Zdkeruv|KHO~6f{f!LyGH-3! zP3P;6AZ4~C!w3c~|3oqeJr0`${}1M)6aX0TvjHZ?&teYCHZ{a}+RleMNY9}oyVyeq1YvXh(} zwppv0(9L1WH~EYd6G0$OBy%}u?!Xf`; zyoe`$SM&^`z_u(Fpa;gfuLwguM*$&S;P92V3*zJ*`>jEBIQYH_JJmb6Fq{1!hx%El|fDr+uR!VAw&GJhMC#x=gebWH4njSlHT0=Y?LKf80z z9gftV8NT|kKbKL7?wv&94zCtlt)T&8R33+y{E;KNr73#Mz>>lF52IW8^_=d;+?${z zkDjDMlfK`i8i#Dlm+RWjGDpsRWRw4-+u$1d(L*#)xM=4*E(c*5uPKUGmE4L_x|m8)r&c~vXM+WtBIvk zx>wpY2i2p#1OI|$re4~UB4>i~0yb-F^z;F6JCA@FYH>~ih;tYs{6)<+lC}DRW${w_Rj*Q9&XqlGs=inxi)$jx_xv607+Y78HGnB&Y{`qTJGAY=)q!N z6bVXsh*uKR9jPdjToW^eOE*7#tY@Xz3J%#ia@`FFaG8WZd3}g|K;hAM4P4HH3-B z_`i9)fKRD=q393h&dk$~HOmlTK!X@H#28a2G*=vMav)s znw2+1i`!J}P5#v z7j2B0sRUEONv>#^mukntigFpGC&P6;AnL{W!F8HmRf@z=y@(8xYIw6V&)4n$y2OQw|j~l!04V& z-7$hc?nk_6jK6)p=za5ERpG2k;w8o)Za= za995cF6aK2RY>~9DcqiU;nAo57+n6L-Kiz1D}1OTjWce1^8`tpT@mOC+39!2WOfrm zklcaH8<=I4R{k@Lc*Xg#=AWLE3QUsoQ%4u?JCYo97)CJQDc!k)QLF^{9`jfjf?ZJ` z={P~_Z7kTGc(R_z|Fy9gK9-SQv@SVWncDg9)49+iwnCaF_IZ{*0}66r<+{gFFJgZW zeLUuFVmrD}Z$YuaFlAjUied2K`3A4=&oD{a_K z&Df@Yw3W*T^UMw^cCvoJWk4vJi$Ddr$i$)?HekF{Jr|>%RO=mil}R8GBGtxjv;@Ld zg*>t}PqhozK!nN>Imt%6!o#FcU+$T1S1v&EAMc^R6AWK-8AS3sKC^xULghLaCWEhD zSZ!g2ugu#nK|OJ++f2PQIq=j_Ki<+E5>Pq7p3xf~hChr^Hw07L=Aw%4wMV}ty6L|X z`A)o=>|dZ#4yh=i^(`+n+x-f@^bRSSgN(k0qB+s1^}hg)KykkUGr;#ObB1V?BW+Jp zokPfJ+F4H65ss?JeJ@B>hL_wuCx7dK{G#f(6T~NLlap+{a=8?=nQX1cStxslFWP6ztK_&t?!@2S69QJ$uop$XL9oc+9R zSc|U}PSe4z{CN@;y63hb4i$@khiL;AK$tl0`!}Y(ALv%0nBPV1!a`cx{PhX8t~Hq= zWn~VrHmNJ!1&f8{P0)B+fSo~B{W{e4<)$WXAN`KEiJ+M8hZ|2*V#ChbkBMh3qw+`r zU*cbvkh0Fs>MLBSDzy5A$;+A;%Y)lzt6H5_ZRV|oEXfkte-M1xKm?C}xJV~Rb`lm` zQ`_=-sxzL5>t=)3p?y5Z=R`UjM{IE9lzp+8B#|puBHl}z;7Z{ZSyDfw zs=vyevTqy6tO>XCARh0Pg_U`Z`{HfnjfERc<0Sqio@sHjVr=LYtcb>oo~uGoD~V8X z6v?ie#Pu9B;6Ee?<{#&O1kY{_nX;U?5td_?14^u%&Um?IxM$Nw8T@@?huq4-i#a^) zM=GHJPbyEoh$n;95^4}#VGv}WDK?p^J$aqZ=k#G_#=6P(j54UuS_@Ln6QHU0Q;`EnAlz8Hej}y_G z0y>J^i(ol=FAr(9NvQ>?s!`xHA7n)emz0A+kJ{nbv}Ydqv`bl(mwOXmUOF^GizWEPG+e6*-l( zs2>E4h2z>8Z#x{O$uC^}baFm_3?W(#uPvW4;l$Blj?)*~ zqM&QATc`w&8W|rTM_3_7qlXJm9?38es3eU&I^nF;WQiv6Z%37Qq^Vho$bog$WMn#_ zvxP=IFYxe6uO{);RLx&}{rJfS8NHg%xh^!K^%_Tb3pQ@&gY}qJS(J7q0{rCYK<9I5 z1;z)w^iTtTLQL1+kMywOkE)7_EGZ&TD?d#6-Nx{HaLLOam98u44Cz-2V$4lzh#gt1 z@wb$R3y;}}0Z2lW3Pyxh7j&miCb0?+zl8CVi{bijNALNtZ6jTqwkjQ5L?{grsF_5+ zr*arH^$bGhjdsgM!g)*8EM_I>Zd&Md)kn4Q<2Dw5HuNjy@_71p+d|Vocw(YH!{*Ha z6?z#|ZAdj(4u88oP1jq)Ehr@nN>e)xn+vRRi1VdjP*-VVnK$IhLvo7Q#eevY-i*fy zwc$LKp{7YbP9Yzz${4XvRh-rGAp{|HX~gI8g3pI~_VFXX*13d`FU@=bb*Qm`7yimY z)ezx-1DD_t-PJu;Y2Nj1SX3wtFEnMo$v_^eg;r#+@UwBP<-?97Q4ws zEAgP>rVA}IGqQ#=AB8Yw9_6I?*|nAXmi?1|4xIGRG%M@JDMJhJ9{<m!1Z1MQJ?z+qy2o;)KgoPN1Oe`I&4UOSBtFUSt2}hfjHS&=3Yo{wWF7Sna zCM{SXh+tLZOU&aw-=2!Jd5({^VMRs>$?qT{UZu|R2HhL+po~NgwZ>Zb1fT90e8_)3D!1=>5ED+@Yq1qI4V;(qcmB_0NtuDb1|dW79U!7 zt4LUW-kIExku@^mlinlC5Uez8Ae1i-b7*1%=v|YxZ*)u*lg5)Why=`jOpbGf)5`^iRxaWxb2C84BGNGga4`YE5JqF z2@OPPRatG@^Dt;{0+6~Uf++Fm;%~MQCR$u>6Oy)xakXOL)qoY(54#$lFThpB8g?I@ zZ$D5;e&#tyFHxH zKY97?9x#CF*p1XKG*36^*o}>AEKH9?)Tu|6!Ge!k52RIAiL?tt=b(__f9X=>?bV@- z`5NI3?r9fW3%1DJ^h+!JoCnb$-y3_fY^Zvlxe9(@Q#&qnE=Mla?)t~QCuA}U2+W{! zrU?^Eb_r&bdU|Ie^sE_wpSK;JvcWfpq_Z8oQjwPN)SeUhQGJfx^~>%nlhg=PqQu}L zTs}s-VVc7!6c@b~v_hvMO`LUKqykDBnb4QoB6QfRVFCemtn^=j9Rt3}7dEjv=dQY6mylw+&F23PLUORSmiisQA35)3pTm7;$vTPyz5 zrY!rI91kYVUdFuShQ0K;gFlmM&IBHI>WL1@2?C5x7K)&Mt~TRbWRX64lA!Ih+xrX& zWs+^x_NnD;#|9dbpO}DR>!susddz@=;-`AX!E(FbaYt;}g`BnB_5IMP!zdy-oL(D- zZ@`Yd|BuMuyfYkF=p}r55WBiJQTCZIt%8aSU7Dy((QpKrkwOu%>vk_{Hg&E_i6(wb zZQ}@(v)E*R$nA`h--!7$`&P7&F3Ry_SOR8sZ2kJDq=h-juVB!PFaC*qCh#+I`p5UzQ!Qs33jbvlaXaKNiwPKKgA zjPaJzRNB?bgX4$G*<4^<%HJpKDjbPYT6_RUHw>qLm?`34$!vlwiv}UxGs|niDxmv~ zZ6T|>5stwPDf!n%{-8M4Bag#f`x|LEPGa-Q2r^T2T4XCZKMm&a^`K3K3v+VpRLO>* zFPPqBJGT1wU=n$3ug;yLC6iBR9_O+OvFOSt=ife#Fc603fLqNqPeuVXPDQ*^A&)DE zd3C>k^I>0S+uPx%Pm;{rAQwSq@S%=rl;Y2j=KFns410 zw!3S12f{9uqjkC^32}K@z`K9ILuwb(88QC&G(Q}7_baeh<)iVnGslb8!D&NjzwOtW zaN!&MF9ime8Es0TU%D>V?~UJT&J;|mhn-E8l>t&}Dfzkj@`xd4?lM0uncSJV)}75F7a+F7Uf1!V+3PbpGCah;)h~REI-|osM_K z<6Hn9UWIZyhkWDicqSR7flf-e5^7zSmK7%p5oPli~da-mjDZ^j$ykYMwcyWY|tIc48pbgOcC)g@|!Ut`l%3|oFi z3EuR`g$EM`P58;4B-CvZR_ix^?Ru3_>8#^RU(sVfV=8+r zi7!I+U~^D^7=u>9n|akG9oW{|8%6~!t@b)&dthb-E3@*!XV)P-?Mi?ZSf6WUMbQ;x z+NrKT6_4l|(UeIhDNMQdz@kO%?w^AfF^?LOR-<>DvU;MHiQr~C@-1V3_aW@H9X+-L zJM5*j;8RV0QkD5;Pk|-L8*l3uf+-OT@>WMrCQmgSEkR^Q3a0sLniEzD2|mo&<5k@z zNnN$i>|a)EiUP0P2^a{oS9?geZy*=HHjX6j4?aSy-Idv7@1f)N;Qn^_(3kM~yn-Ux zN9WQLw)>#}^}Dm~ckvg0JGbrBJZmgij5@I|Ag!(+Q1UA$*Rg4~R&cR>Gw%CejOGOb zorJjX0!AVoau-d_O0T^?*%{uOJnd@i&r6>ezpV`fG$3Q^)4m!Y8w8U_?6 z9CE#nNOHRESIDnSnkU-Zt~v_=!jYj%w5L}Hs2^Wk2hoO$!4v0ti`fNau_!xX`Q+{T zEQV%R@mmBTo@=Lc4q{DozI7R|F*{kFooR`l}$)#!)# z7HE@|tNt#&txpz&HEv@RF3hUh^!$B{g$mc0$2@PnSS@Vneab4@Mcg8``o_$-yWPXa z#0!Ev=if^6=&_ae!8r=n6_yRF@i@jlRE!ulB>~qhhc!w^Q?DvLIDTR8c&$eKxGju9 zo6JJ_{{Ogt6?1F7|9;I-B)K?0H(*|C7$D!0r^ypFIoGEjJ&oA%>c*2m6SPu-~o(zP_CVSc?EE=@)Jz5Tha+4 zG|CkTnEPaI1!st=q+e7@VmX=El04~B6P9EYdic-jr-|2{TZM?o$QAR-jhaH8PbIIv zMvzy396iNAOdVYctu2Vik*JuZ9j?3}CKEtZ)`@P^W#!aG!;m5h&extC!KkoQX>qmnpg7I0*-( zzWn>Y**6^nod)B`=mI4i(b*c4_3~UW?8=-%pZp}GUGd5VY+ku@VV1EM+$l#$1yCf` zSq;Dvt$Fe~`wWH_oZZ~JY`CY_w9Z&gdz%V>nLSD@VshBRWTL1vM_kJ^IS?1^A{gjx z4Fd)T;PErP3FqTOCKuobIjoR#xU-+1yu_64vd{Q##;2_hyK#MUgQ z1v5W$b+N2b_7Gg3104~}DzeUGSKLv}Z%VBAXX$DouWANfr0I35cru?W5_1N=J`FH` zQYCHFHgna<@?jZ;gM~k0ahs42N_Q`h5~K?Vmy?Dgs|`X`KLQSQOS~;m{nGrmBu+hcr`$ z85_F4`j>pPbS}gU3KC$XaZFcSn9+0FDnxNfJw1vwE25wH1sI+!)iaONVhBrt~q$(Z!pc-5S1~W%DM4eF(6AU)aP3(gpl$W;CNBTp=HJt+jrI&@SC=ryMYEc2 zjq~UiwomiUx#*K05Qf|ylKDw?o_WDOSI?ghAk!=oZyWF6!lJiujpV6+-7H(6yE0!q zCd>EGHT3N(9H=kw5lo`gZ^X<6Sr8rvAlceOKa*Gi>e{&Eir1s+#Kzk~v$XfLR})!F zOkYL7xof~5kaDghy3JVx`ZjrD@uT%5eZ&Oh(49Q3MU<1qGflK*YU{?c zsm=J~3X}vGI%?Q{txw^qH=9Xi4~{gUS)D(2qP!j2NW}OG+k&wJaS0hKpp3~|*CWhN ze28s2pO6PWY@5_jhcSL!edV56pc4-K&=>A#DriIpg(w=XVSN366=^fYa?!FF*oOLa z4mZu^C{tnHz8^zjhG=|fIB^Z{?tb(&PwY4d*3Ud6Ol}NuU%c!@!%X?7Z0{uRZ|L@A zZ;{*t7{36~bb^c`ZmhNR$XFyCt>NT-(_ffVog0g14}FBWzT+UnJL>ZBhwb_qa8Zd` zrb)0O{Uz%EFIyRZq~`RsH_=>XvB^hP=kH*;L_gr)F#^uTdx}_XKloyq zogmF?x+T1yxxw&*Cr=~gt85DnUw!;fZe4J_)fakk9#uX z1B=4r*B~sL1C_cO%7tMQAo+doZLN za=3$PBDTMOOnD1c5;G1snQ;^BS35Uc_gP5`9H7Nnt&Pce1SV%^B*lj-2SVSVbr4=)t_}y(j#8*;#16Gw^B02L`q&$d`E?{?<0%y> zZWP~unAksMbvJL03Ucivw+clYSla}l^0x;Ed%=%?XH!A|wPcrAnkRE#^SSE^8|WZp zCdxx?Fq8-ze$de`2~ND9Ixs#IZCgUoD=%iX>ER|1W|`SVrV*#=G>x;!Yvi=rTe}wa z1cv#;ituvurl5PyL}`{`N!yPqLf zSwV^MXY>y34fhodv<)j19n2eL)QBwa3Q{tEAS{1$!wN=5*m7;xKm5V!QdgvUQ?xHB zcNCZD^{;5+R0Ig85bYfRBXv@fNGXCqM&S-Q0*cJcu+Rb6UB2*hQw2LD@cT*CDf<@R zRrJWGq<(sR116A=dVD^Gk0+c@hp_KgI{&R^kS(d~fO9^|5&YhXWF*S?o|ILF45tu( z7lDlZ5gsxWFZ&h^wn8dcgcTY>JK5Ou?eoagA@wx6PSgmg=2iX|ac@~H>6sN*yrjJC zj%r@W`HNPb#D5@MlxmzwtH9St-@@|HUQfy`kA>&D8lnWG1HGE+^efYvbtH@`cEtd6 zMET@+2{V|?fm2T8H|Wf8Yox=`_`wB#R%Kc~bU1bkYyPsiv1U@rt2Xvp#6-@MT)YwX zky?#YEGS2ray7TGUJb3mNsH4wL&HWZ|vv(}M#j5*fI&MMm*bC9;7wpAr;?5>f7!Q+J=&MT>?Y8~p~KbEyRuzZMh-hGyTCL98< zJ165~Quy4R12(XAfFCk9DarpS=7Ift3FE1$2$V%N$eM@tKwnLE1h*jQ}z=w>yl7?h%aHc{TA8*a{v zTDLV)Cu0Zkr%U=ou_bykTwWX&0kx7ZQ9d7x z+$UpIjFYT!q{gB`e`{2Ki=5D32?_oG9k0IMGq+|Fp;*e81tV0m@SDf_tBBAud^ zB)1NRwp-QT)C4}$tWB}n5(#mu$TWB8ODTJZS8qvvu$q=Ipa%a52A^^1^|{yL7>9L`$7#WT5M43VS74$BoQCxpXC1K(blFgZtmBY<%z5Ur!%PR{>?xvs?FuC?K&A=x6YgUT zu%z2XL!ka}LbwYKcP}$4hCS0L)7=arSu>zfRsZ+p3%cgx|7xY?{kDR3H>d}(1ESEd z)NTp|iJeUyq#93u=!RAKN|F2X8A2bR)&hR`#uX7NDXmwpozIlyGt&Q?JBwzFE;@VO5aDEd5sN?IO)W_V(){t;VHe!b$Txb9@juAU;a_GBz5@u{*5O4jDvy!TDes@*4_30kt3T3z#DiYk%~jLGa~lMYog|2lIh@MlvJ=#ObJ(iC9A zIsGj+HYz8akT?|w?`)2?14Y3=4xfURM_4C)D6os@{VlK3w z1tFmLSd+}D#?dIU{Nsdo-JW7>*bmBC={yL3U|5o!|JNkJ_EH%oy-(leQ<27%3=%Q%YBe>MrzuiV3aU_jld1(B~8iJQ5`XF-{-{TBcwsHZID2%4YYF< z={Zwy6(KhMxDRzJcySrTa3`%?E}xkP(w`(jh+RfhBnOt{8l^w#ltud<;R7m|)SHQ2 zkgR#gE9(GzISWGuwQaBh76#I@kr1w1$|aZ4dhiz(g6L^*XPKdIH&x8sWTAt9;`$4f zB8C%wqHpU5AdSNLAq!=#02In{F0QSTw*U7A2-HDX;6g)(C`ael$+j{B0Q?XYSWMp6 zpHhY6xhDHl@(;;L7~E_LE(Ive3&x2C)UWC2}en54w&aeB1idhiY4ujP^46$4|Kc z;7bb=vTOQ^fYRJ<$&9fQh@I21ZagdW869~?-8z(EoQN6>Te&yr5s8r|mDwC0@E6wY zKF<|SjM~qCp~nA;_A(810x`8x`;hS>u+|P-OJ8);MO*22!Zc?-Q@+T5Xi*N~Z1SDD zEBa?JY#Vp`&LwW763sz-%=0(;XzVw%T^HcH15REmeaOk9o_3B{g^mE{c;ZI0w{lBW3M0`$$9PQZ)+tZHV(5>)pR zhTzX$`L-hsF(Wt%t-;)X*u9ZN%$zygx)>GJAXt&F0FQ>9diCV*8HxQjev|13?hK9d zXZ0$X41vBW^6R*ex1GTygn`Wt$Yq&G_&^BsVoFazxZR-=v?*?GvJIb_q7RbsP#>Sx z_@DA+BvXKYAl7g!uo?hEAQB>_q+Y)?lwKj*g~JC%H^vF5F~Y<|247$fVR~<2lcD($P(onY4K^n>Q2i~J-=@{x z>!@w(Le(zAS6_p4vaf+SW2Fu^n}9i&aj>$HEQ{bmipLsu*5GW0%_8)WhvT&OvH_0; zAWNXE`%_<|K1zvy)_5Yt(*xhIMh#s&-;L?#p3#93z}|I&)+=?(83vCSJyd*;8vgkQ z$8$jD?biz_7jm*)9&d7m)haN^Nj+uegF%wug*xk7c0>GzUUWeTpjO^X4JoRx2p7jE z2jUA?t*V60>SAQ=lU>91D|ppAYA1zuZ{D=MHl zMq!%zeG)rR4(2GKJRS0xiHf7*uG`s^v>vwrlMp99Ap z>VaH6aN5I4z=W{+>>E5p+y%do_u;_YP>G!pzIN;e;a06$+nj)$toDdfW0asH6LYb{ z=)z)u6!W9Le<#s*MITQnh!dpFHb**|!=!+8P=iOB21jT{8nky2iz1|VYmEjapJ=&< ze5ckJ$#f2q0fhmuNfKeX$}UgXqXW9(Kw#lHMR7SSIfW_ajeP;LpG;e~{k;;};63zL zHy@)iByVfqy9h}RiD=CNb}Zm5wWM=P&i^-fFSFs{aA~((i6QpF9J|{5f(VK-=zU(@}I4Fz~d%mE8-ZT1#s6DHH zo+B`6$%>|cMmx*^9J6UDU{DD3>+;!M+d}Apdll42B*_+he~>0aC9&#nK_+!g9xeQp zE}|_s%kxX7D#HhBhCPN|fEqSglUq29_gg|f-@HbEv!Ms-k!P@D)Dye3Ea*N(M({Np z-FE{gbnR`mD(c9|qXq23nfuwNO2Ey3LGSG?EXAV{m=LaxbR(GtQjBuigfY574dqC- zCus8m8%a~0qt4j=%-Y@{G>mN^emHcqEF}!K@Qf^_#m*jT+Yz>3k+G|0&*-ns$otCj zGW<+deEold?s9FuZ^jYAvK`?GIZ|Ju&7L)wkJY$XOIXsWYoZ=t#}JVN``;UXO{dN) zag<_BGqfcqqj%?rxOd}s0M>8a`~qbb{i0Z~=d&l2Zo~yGJ(i=+Ht@Fq>t_Vyi__qs zupNA75*g&zr-GsiFp%KRVQt2`=k@vVfvPR7=OVvOZB+Z~TjRuaT z1COkZ+$0^tHV8zm60!XC+JCKoX`r?5CumAz*ZY?0Mc9>`U2hr_fg}vTW_~W$mZ;Xe zoav7%aoL6^&n1W=3plZ3sfO)@8+G-dkRFV#Pr}0HnW;stQBH-HHGbdNmDA#M2TuWR zWYD$RQzVm>mgS?y5*IY)t!pXCM3JdX`kO<5(<*#wsQz^sXAtzUgA&(&LWKcDHtqor zY;oPuKyAaC%gbciz$mGHS+N@pWnjcj#uoc85!S6)glRvAA--!!=plsd#R-`!wc?Eg zGZF7a=IcrRL=cnAayknWUGrW zpnobkUd5)gw|X|bwWf-HdV_*g7Ho)@O$;v@duZ;1`4et$`L~<#JxLh^rbWhjU?-{b zh|1zu2Y&PrPD%F< z>TTsb78G;N0SvN{k2Dnv;9pw~asq5-l;4cP#ga)AvyO9d7|H{GDD;k$rz2y*`4s`u z!yrPx4anMn=z^m9Ck~ZMN^PcLe)Ms@&%V&GxWsafxV3Q0Z{rqgK-ENQm;wf?e6V=5 zLRKAcbhE+V!?JlxdPvKh^WA+&SZc~jB{p?=cY{61kCFit0{80j+pI~_!%w}gY{$De zhK|J(%>0;GbQ2PP7sj^{7A~ui|2TwZk^6CBM^Jjdxz}{{cb?3j_{~(a+W=hps6(~J zwNV1!CeIae^P8??rQ!Tt+#tu)3c!+Tt;@oc=zxNaP^W%@tHyD9sFi*Zt9i$t+@MMhN~5j5d8N z1>}wgMqhSnUf3B2#GVidAFgpv-NoMiruoh7fvNb{z}*p-+(pvHF+A|iDXfvwXLAHR zz`}KH#x;wuP4{}HXI2|iUWX5+Xz8M}1Y=DLHP$4$wkW4=ncGb(>fV;k z!IgA_5oibW1NAgjRq|JE4 zyv)>!8L0D}6j!8=*(Q{1>|r3XY4H{>8H(KEdeq>59@nLKToYyB2U0UhB3^5bD`K7X zof7@$%$cHrtZlNb(!mOed8^U9$p?mxj9ptZ@HVH_W}8l1yw%y&C@aQG!@r120C&l1 zo(?HAA_{h)dOaw2LQH@cR_`wz00`Qpt`p``YMn3?ww@pLr=gVTC|d6WB8&ut*k!Oo_O)|!*V571i}!g9+01K99gfr zO+12{mCf?Q%{F-zC@&tKX04ulJfN@cF6K}Z%HG2(F`?G~D_%8%>>zDz;}&W-lJJ3R za!NJQwqUxv_45re54G9o9`Dk^`~x#EfF5-(6&2U=--%nfBSd?TQE+( zdaRN9t6qv4+V+T9NQ_!J%c-yE#reRtdlW};y_bg~b9H)jD5f?i2$cj9eK{w?^+sCgD#op-Bb?DKk;BLu1=f%@;qjWp0r#P zszVdO?|L>KT!42D=EDz6eBo>ZTeq)wO_q9cJ%0?h2dm6_EY+6~Z-JYRWaf=WtJkfU zEL_?`P?O!&qdBQJb=3c{zHXkuEUP?_jhlvROD0ZW!x;F0yXtw$GJVGxL2 zLxk*Y$#$7N%Rlmes-9f_XLr`)bhHm>kCDAWO^vj3YW10md3e;Ju#(BK{$-JW$}A%L zC%jw0yWQHfr>}C8rmamt=p`G1ivyXc3?Sw|PCv4`T^Q&4$*;F5`3rMnl_3-Iw9479 zYd(HFL`(x^b2#xJwyCUuBe5UdT{poB#wcp1oUdq6rx+|3N&pV?1KdOlM32FN(?ShI zxCrL_y=t+EA?xfjG9#2M5w+oeg5?%1#|+ghtQ4d-c{-C5wT{`^z-fqmu4=!phPF#~ z_aQVEEc=w`9Ce)_HPnk)wKAUlV%xHMguP8Yc8N%Nyrz)NLxK<1wi4NNcXx+7tH%-s z(u7nyYo2v%#CaAK^+=61CpAGTT>}jgkEILWowa>MH3i6bEg(DX+H}f)-P_kIjBqNV z=RokiZ5`i+n^2Es7UHVsuFx~ryPMG;S~?9AF^HHum;xmoK&}id zjLf_Mc?AUrkOL2cD$vr+&cqqO%E-*jjzB>n<_t7(wRQlBo45jb0bH(D03|cm56^!O z3ua~>1PXu@5CnAoP?`fwy#NY8R}*zFM<5G;+TxciS&e^&@guOBo1>$H^MBPMrlzhTMGp`cQB;=z05$0W zQW|RNe?QfMppW`3=>dxBANs#}J`Df5D@dq|sOu<8urU2y1AqnK4s>?0{+sqcYNPz9 z4Di3DeYjdUJJ|n|06=Z!>gveL#N^@O!D#8`;>zgYY{}?o_fLK5R@N>64+no|TfoQF z8E6Omr!j6I^N)7AS^@tR;O|TT^44ZRkPGmylcdAHl=dI3{BZifUH_-Bk4CuujcNBU zbASsF_?_}e~l>yJLUIyieV{U@z$K@J`u@Bbgz!Wv|5@wb2P=5CHm8X#*Y zH=vC8e;I#32>**&0$l;j0H6~9=xJuf^f%c*T=@&L{DnW7;Op(^;0UlVv2y|XT3Y}= zE(qQ(ChkChtFs%>*ZbcU|5rj_;R2Xjo4J0_{9~&i{1aUUWZ?kd`4{|A$$zWYSjN@lgZ3gIOFQ7lME-#^{_Z5Z z56XTVJJx?sEdT=x$A9WR*l1=80=l>WIJy2&0Y7^1ALV{D{%?P=047OoO(|try8q}=wN!2Cf1Rt^q;H_Hc`&4Hf(umr%w2y$@!Z~-{Fx%vVu z9GnsUPLhigz$E_{`bXm70x+5Uufz&qGX0o`i=By!)&HO@tZW~!vx(Wq$zkF8Z!pJy z!T%cf|KQ9l049Inzlk5-mj5fVumhN!|4sZT=U=}6w-?HPkAZ(U&iud4`LFZwA6d=S z*})d5Wo`a(Z}>M81rt|iYfnAq4}!9M;2*F5{$}uh5>Wi_-ugFhQBem^Zw7V_761bq z3pap^js5R(IDP+*tJ%L!s(<#z#}NNp{(DRSfIv^68Nz?!9|tqO5S!G-urfc1g2{4d z3LeIj%1?sYvhh%h8I$e!IO4fmq(GsAAQq{zb zxr*?%iJyWWK8l3MNRB3>Mo^~0LO^*ZDb1m5PQFeF`*db&d@B(^W8_GTr@iYjhIRZM z{VIi2zr25SB@f!8XqKf3%h?XYa{&#n1Ak$%1Kjof5i9nqNw3Hv?Tm4L*ryR$7{{J2 zG+nyXe0A-kZtt|_%ZeeQ*~oPRqi=VsT1KlwkJNtelCfbM?u}WOn_Afx62g~lD#ws! zZ8g~W%8EzkMd40naCQwkT_N}-VFsN_8M}FVG1Y&ze`b3Sp`4=uc7snvpa5=QG$Q4; zmtQfrlSC4K!I=1jX}tlyKTJsW+8cQeKSg=F)Cxh~sJZcjB=XhwaD%-uQk*{1M%`f^ zL@Gtl1^h;h!PgEClp5Ga9%yDf^LG`UT17RwRd0oQOhNOSx$8XI91C(-qk-88Z{Hn) zw{d@o&S5k~j`}4J=HKsVCh5oa^6x~#wGMR#T1_@9{!*)sCcBs$~%8eQUj_9e?8L+<}zTzvTT;y-^n z7jlXI5C>d*8#SQ%^ocd@cHeZ~Jq7(bVCkUZ_-)cUah=9Chi>~mL%oAnOovPXn`54< zCdP2a)@JZ6(An&d`johNA)i+^&yNzO@|^++jH9uvZ{cUVlQLOcaz5}^-;&hss(Mzt z^z1l;H+RF1D(;Ig5#)TBfLJa zIH3I&mb!KLR`vOEA;P=BB|!?VzL#1bJO$SZEnESOM<}Yi5{CmZ)3VzqW(6LR2mM*N zKxhXHVJnnx{mKxU4+k7w*8nOpD2{N|sL65tNPGG7-f!%qlbXAol{nNA3T%Jh)|x;M z5?9)ISRtmG8{i92HS1TC?B=WWJLACbygB+O_p~%<5>mqHSHYlCSpTw+8$(%-xen%(XvqIboN#Y$Fl}zj9PvkrNAi~xi!-=6n^{-l^i!j}G?ElyO5E81 zv}fYjjk{)uLsItwyewR~H@;1;!94BR2q&IC(D0GOG z;XEbMmj!1}1@+t5?W_}qy*y>3_)#PDFw{Mn9hDW1o9_TOc53Qn084*`YnE{k4sCcdB!7NhbHMGoULEM^g=Ghr56Mx7uzg-(o$l>dG4M z92Z-}{i^OcycRJpM=}`w06pC0Wyk3sFTHHv%H2ktRUD%8YRpW% zN^8m8u*B3?jLfK`34rwenoD$C7Qfm$3Gr4a@0B@b`izy%wdLVvGzcy>opCZ&XH9%Uxis3UY zeGT@n={nB1Drs3inIHpPl`O*sE$oM-tppbW7Z)F_mn45PRjWKzfwOB7SC}Y%Z?_#e z3#Di&DUfj5sWrRC0~36#%)7KZ12Mfl2aZ}g>H;?Ba_3gnC@4=S)kzh7Hcthc#;ZsY z8t(xFIZdA=e`ha)vbaMEWh7CcU6N;N`CT;>frb_w=l{XP@Vw}wvqX3QqUA$_NV(fL zJ`rx{T!w#`Q176hH{f`zOm~~6SG3jqO}RMxr}WZS;K)@RJBUhdRp>Y zXTQZl8kz28YGN(_W1*r2{aWZ@3SIeh*0}1gFyA3QvwVVam8I@$7K){XiL1)`jufg? z{)G(6rOSFa#wxA{_{`IMp<}y-tV|_KFuCqbrtW_NEB(mr8)X1Qfa#X{Xzk7ZhNQc**M*E%5#X_fzrAlcZ2N-1UeL4yEKskfk92co za%*qw9z8?neDT-9R37O%CKMRLNVhZGeEZtebOUx?o55cp&dCJs53X!t38>v#ix4;w zs)m1rTuxgacq@KEk`KEgObb*fs1!%Smr1OWgWqPElC@yS-J-xv8$){B-F%kuHk(1h1Ng4?ha&5V?fxz#y^PA;0Dle%#g^D?f0wzVr6AKuL(zZ8 zD@9k@PH67uFF~EYYqt}9U|6Sj6LQpEafz$3z*db3#B|$FGG|lDJovoor6wBK_TOWa z{OT7wly#N3FjJ3k+R8|&?b60eGt+bycH{DCN+7|^`ex$tErl(XtMIb;iQg_li!Hvw zRXxwhr-?oVnP9C?gEzu8c%G-Ymx_NUbY;eXLue#PfoZximycbzinMJmX!K1eY`)p~ zLo*z6Rp=BTRQN!sYk9gedSI8R8f&Ryi)=s;BHUR#}MA>D}Zk+gK}d#3hv)qZ*C zXC{B6!-(hZmjSE=8u%1VNVZ1g)AlHx5Bh8qBD+49*{zWOvWPV47Ptgyx>d?@#0taVExjd)Lxi=rr?I56y#g=f8mV0bAb4CVx4J^ zeEs6IPq;pRjA0Fa&hhNv#EkeO$PcU0ybF6ZGWXY-XTxeu+0VRk2(sGTD9T!hfH$qX z5u_%%UeLwKD&vMy&;T@jVdJ7Eor28T(j^~pbpTaBs=t|+58qy5lq1)FS2+J_RcVAt zcy=oUeGh8@OFWHS!45vjTD|>b4yjNJ3T9ulN(3DZN)j5 zxc0revno{_E?diFG?5WIKA}V&DwvU6ozo5Y+06CV>XuL&$r+tzMM48GsB`1DMu5Zk z`l)DxM%*>4LC@~vAd5kNj<{j0`Bh>ik2Cm&tfeV*!F*EFbk!gelB7E?;$Fh6TbekL zBl<5qYfZa3gjJSgSINtI5(^rJmxt&l7gPl7iP%=tSS7@idI?-LWz=N;#xRzx`$gj} z!??mJgzj_S?11kp4pcek#SMNPTNxU%-rw0+G7dh|cc0EYpIKOco)*_YlMgYw-7Xgc zA41Xjr?+?-4N%hbJUQa3OWen_Ee$C=%f>(iC;k3Mos16WJV~+ub5QtQ_%zo;P zH-({J&vQuLGL*&H9aNxs;rdlbQ4+cJX?hQuEHuVv>Gq6flUx_Sy}HL}&}8~Ohuo$8 z6b6QQ4!xZT)yT7e-z5S z*H6`$&@gr1!mu^qu(V@4Ys;~_1K{#1WTBV$oUE;o_l_1O1Eua#snlE6iqT$J$#%NE|F;q7uPFlb&eB?bBhFLsg=9nYe*WT&S1b%s?QE!Ym1N?w z-=EdP9?~m3f$`R;Z}qjEsJrpQD4$O<)y}|nQ|8R7!1{6%KSg?I{#i3AD{@5du16u3 zuI|u(9cx%0R_YY^y`UHE^idm3k!0tQT*2nO5bPmFWUxwA8z za6YuIKX&eClNzh9=^zRdH`~|*-fg*{7EmIKX-j`_q^J3A*4~W+2_H%kNmx1Fc)--* zpup^4rM$Zazw%A>+FlaD_6cJmkvpX=_GmDFWG5}cRJoJkT;&92-uOM=4=pB7w^8+K z#dWmsISLWWe8P)5a!&D>s|o*8llF2Nb+yj|zPF){zasOw*)xMWP@aRHM7*F_hCjhk zrni@hz#eQM*vBr_b=k`09dXNy->0W__iJzCEp60WUXNXjZIXgDGR>)Rq){$?W#n#u zW|kL~(%PWe5qKQa)Z<2a;e`t_tzdb;LcE4)T$WG!c*ZJg;3I=D>Ai{j=jzxscSvKSkr?@GJX?&5sl#aAck6+3`!SkKF{+p%m5~+H-+|LX6WLXMVr~&4n*OH|uiwX#o)bdwGPi#S?H ztasg4g`@2vHpIaqKbmT#b@{Bhl0tePwjNFfGrX}?7fHpfPt;!b=S_)apMN$&Q4u$p zKQ%kum+Kmhs#ThWu_~nj#nNtn6Hff=c)8Xq{6&^K9~pohcScNxTPX+})%8sLb2pox zs4MOp?4-qL`&c7(nYgJK_Jt^7=+c{UjQf)heR&j1(P?iL`)!ZG-x`FVd zSJ;5|#E1(nZ?WB#>_=F7aYYcGRE$0?GTaEylCO~}t>PcHBZH_<^0?c7+z6vgyM_LA zOgwTE=_LNqh=PfYx`VgiQt`W3o7F~~GmAI!i3RyinCg=v-bwAt=PKCVaghNadp0P1 zdRjfC0VP4KA+qmG`KO~dzWvcLIo8)86j;B(Gqx;gC>+!ZDcAt5Im6rl>d$T ziAAj}9S&Ly)C;CtdE()J$J%;hs5uQ((P0XKruZ6II6X3lhh~IDcQu9Pn{xQ{d1&(B zzK*HcJSdgMby^h~s(ykqVHZ4-X1p)G@gn@ngsQzi!A;5O1n=E!AoZbX)C6_VzG@(} z@f+e+5gO_nNqOj6{>}&x0j-5o0%hv&|CraO;duQ{!&A1GoJ3H6eC_W;W;S%YHYQ8S zYwDYd15r~|FfAZzWy9(%7`}oc_aR9K=dO^6< zQp~LLo>cCrj`5N?$9G_k?XjRhh}vGMJc-NCsazRbg5_pt zi>Uh%ck`6FvIa1JwcUo+`8>BwdWe=v5#Q<>wjRb}N$QLDUMdPSZ@*S8x2_eUp5#f{ zc;u#1B?8{i>+)>Ym10CBXKREGc8ZCe8_Ybg1rQ_Qol41bSki9+@YnFNG|FcXxPiFY zaa2*27nB2){2|kQP1^WF8V!(WUl9hYdI2^+VREM_M#__%wdqfbzHE)dId zx=^*fkQ>u9bugG4>{9I&Cbj2tVnpI)csXFDCkYx_tHOB$P?YyuOoHg=QD9u%e47L! z8*@StNi1@i3aQ?|3HT#J<@u6No$NJrLR@a%mjN&_VdH?0d2h*`4g#vDt#BYfSYxg<|2UKD5Qr@J)Jl3l_a#0VW#+ zekWNL_gE_DzQb1p@B>6{;6|> z{8|IQL*`E8Sb2lcMyr0gM&DL@yIZL zmi*~x46GukunvtaRVJ%x>jk|Pg+)UTaBvL2vmTu4&pS;@(1^jAYvq<5Fn0q(LWhl? zTHKyfvl?XNr;_uQAtmO5=v(AOHP&;2qvj06RrO5DqzGK@R5VsGOWoqEa(y z+7%O7Cc+(9g4wtk^EiC>Vdz?OswKXEQ0%$FE`T+o#oK(@4^D+GFEen5%lvBpm1Q24 zDVaxq2`=<&HEr3c^`A1=KdmIc68O9mZ)uMW9I?g-i2XX%{n2hNU*!SK+gJ2k-8?eE zP=-Zio5Mwia&VgC=DUdNI)O$a3H5BLZL)Vt3e4e&FZk@wx1|gjVqNG8GHDxs25Ok) z;H2wL6}G~uGJeP07vzEzq$4!24U?hAEOOE7t$T^E%mj>svWxB@^vPBv>Lp^f`7wq{ zMGd#59nPYxUXeW-?ZBdZ3uFTdfxGhbZ}S=wjD+DVh1%y!BjwUOeyP-QQC~x{O}Z&A zhR!u+jkN~&f9QRCTh(EaZ)nhekolazL)%W#npd%#A$?;JT%F(;@k6t8DiDK;XM%n} zC^EQr@_Xo&g3)(9orfv|p8tsT8aX-@yE}gPVX`HNafRSH77EYz!rVv1t?XIA zkC@G13Ipeh4`Yr2luyknTu|1&ThHxu{%4t8vv|MjfRH~j)ZZn+Zi}6NH9cd6L9fi` zSBE7Jw+*S3i{DA$Hs0$;z$g6bFt^R%dU75&Zyg5%Fy`d%H&V>#c-uR{$lfFi4i$(w zi`)GMmxD3@BZeWyO=_XYi@S^J1mvwRYUhQtad~Odfs6RGX>Um_uU*2x7rSCx2msw{ zd4Qq0ALsj@4V(kZ*L<~qF6_;!Hs}jUtkn{jMagd2xl8{sqHr%;2TPL5-Af{MX3g8j zPn$3U2=I;^>S-pWjdSjf!9qbZ&{Vk-t?POq5i(q37DxT)$cy_;?9s~aOxU1N#h}@V zZw}#g`AaX>mV(3`1XR=b#^|~{+8#f4n4+qWF;zqcvqO{Wnp-h{-U8S{i1^+3L5U*) zbUlC~B=v>!c2#*>W%DRw&M!6!aIcWjugXQ!3#Qg`ua$z}1-^Od_hvY(IO0?^6p&`( zeF<=C?7*ap83+d%Fb_nYx(HM9@O&OCtxtEwlG76}<#k!Z57xsC1wjH{v=~pz{~n9q>LkvCi${+7{2dVSfWCw>b?!?gQd6cJ8hWX z_&lbg48Kc1UZB#Ysr=NImTY#O;g92{4X2Pb3wQ3nvLz&csryp?t>X6nD?f^i$&Qeq zD~Cih>aOUwUa@XKMs(U-84Wpg3ujQs>DYc_f{osGy@2Op ze<4^L|Zp2gGSykcqeiTj|?7Rg}Nl}%}DuD4Ke{J{g0WA?A>K{Wa0&Y=JroU#c;$0<~t)G+Ua8o2(tzf5x$ViN%L^8dPfIxqT*6wJ*aeb4+Kj(T-&| z`x$*5I*ZWBZ;qEkVE(1}k@7R$H|2?R{F1gi-{(x-C!tR$_X^e^joN5ST6CPH5_-<; zavsm1l(aqgLxa-to#Kbux>MeC$;^rG9k8^u`@d;_MLKK%cy)WXIFU#%X@Jq*S36d6b`O4WZ@!nsjg1kt(^lIa3g0AS3uzby1*Hj&|pjKe7gk^GHB9V#>_E*R1|PcC&ON1^^ownU3p0vutC?ecplFj+ zJ(mDYjs>S`>Z>@(*xh9XqZyfsM*iWqbaGRLO_NiX=At>fkj-|{2pE(NT>pNUOba6o zf@&VW{3>4v95*KWrh)Y0-=CBxI^<&t1(B?8yeNIBE^k?7yWVb&)-!x zvO@dY*O;gD7s~}sr!QL>*vw9!h+n;bYw*4adjGyLz3j>d{R9`8=J<*vBvo_IK8G2% zZ{5vXFzrxh^AK`ds7qf;RZii5Is>|ZMKryvygW$uk|^!85lhwAwZ`@F;hO0 z9~0CsN{Xy{5tWz>>P2O64OazB+$pHSe!!b4OTHDe9f4b5g~SV|08%@QOsW}5f_r(J zWef)LPH8p&P>PgXAawkog!dh~h3gf#NfAcXE|_8^Zg5||_k5b%>er|sWJm_9{PKk) z;--auZGDy{p`s@~L5wATe#3)gx<%1JO8TtAM02tomyk5d z3Kcjoy{~S|1`NFJ!ibffgbRWLGPr1cMEqbAJh2*L0Ah}jlQ>n<&O8UV}xWC9<+p1jv))6ifw7$WJ)iPexS=Vs4yW{@uZR= zZoA-QHW}vj%R-X0FY9O7yqvm7yiYn3|AmmPMLs>=IV2{3Wu+20Hhe7*d8az}TU6d2 zt}(jgk3JfQo7wsvoKY25T>Fq=Xrwf0pP)`9xPnrHdO$T7hC1ih)rJV9R$qFqi<3zQ zD_k3<$t^&b$ucTR5@x3|hA{iWit-p=~%hjOpu3s38J zfcQy|U*9NyZ82HNuYwBb_%P=`++d5R{N9u43OcOsVHXbNhG`hmfn!qM%+Y!-B2J3! z+8g4JHB!UjW)`q^xv!UT%fHB+Ac5qhW@pL8w%*#&BHnJZQbWnvQI*6FeMOq|dw z*G5-7_Bhi9LzGZywxM9R!nL)gQzV5dm}Avt&+im}b4Z(NvLNT8wl5HcpM? zb)5@;4hn@B`JhwpB##IbX zk}?VL)+T@Y5?5oj)Zf7Hvm?nPatAfjb#!xXVkE5hc^n1&-uy&y`LbjWWn6uPyM*c* zEWpzBnxae`bC`vwkRasvtHo!SXGHZvMcgfa^1~UJji{>tCy&p|(1uFfpY+Xu(IiXM zFdC|b7paaC03vftIr}6bCF5%mUo78<6&)U3+?BguMAxa6Ye(LHF>9`mU_gmS=Vhxb->xOd&I>~UENV3B2$opuBXFezec20Xr*w21)i-LB`t{}{CuV?BS zV=VH;3g`8uSPY8sH^-S8FpECiYwtax<2UQcxFv%ws0WQ~3m=4tcGgMOFmu#@QwyPp z**#jPt{Q$g5^H6Li`$kb3DK(V`tBEW*gtM55Gcrz4EOb@>j#&a0_}mdyjth+Dkf+h z<0(JoJ(qm)n=*$K|7#I%+K>w6Eb~yV5U*kb_`UJDI~_JO8Y!UY0KG~uY8i?hsRD6yiO9UPdNox;wNX-2#NfmCPAmjFehJbl|Hp9nyHAI?|G* zuI#o0jF_WeT&5eb{0dO&ah@7_53l2eKnwY_i6f1N35^Zro~0T@dsbkPvhjJ1h}nL9 zO`e$ShfR`j71&*?Cir;cq*ptGQw^eVixhL`&dU)_8Zt6Vq&&YuS9U*t%&4MIxi)E# z)N+242u`#M8?97t(Wa>XM8{eAZ-1^eZbWLp` zzVGMAvP*Dif?4X}dLK{n4>FHCl~BBR*wx0gGoFcE_2eudyuzR1l7*FJwN^ri07!xv zWL!_MNi%YMTsY3Tvf;FUPMIF*QS4_Dxgd!w2wPqZ%Ka`9jTpxUmE#cF1mv$nCl-k) z8f@>pF4Py6Y8XcrqQ0xoq{zZd{51osF1EG5!c)jyAXBTGS8WSq#r&P{iaE)Ms(~}Z z#{p8aIH6c;Vv9#nzoXf?oZ%ECTI7P*$%R^LDQRBtz_@j;gD}j0mvqZE_yH+hBDGGG z?ce>d>6Qo-u8D0Ic-eZLfNb+goOo)<0&XmnEPpOMl71|xQDB+=Bt?&@Vl!sIa$r)6 zcg|E9bL5NN4?OPq%u+Js?lN;+iaYx54E#nnwMZ0x!_@>@pVyg!)5nK?b zoe5wZSTqDFu>}s_W`5o^htD%Z9Tx|)(=pp|#&=1e4Uku`+AlOlPEwblTF;pD;ZV8? zHqwiWIwik%7v*g1Q%nAo}L&&>7*9Xd|zG-fiT0M7&Hl)>6ap<{8d2 zPO-D#tlW%B(u{k0`+wKrLyQF`*R2nnS)*`dKp~`bU=_Ghqo&q}Z7A)=G^Lw$GX~K@ z*lX=>6h7<5z_pm64@#VrG_&v7Ys+50TC$CfxQtbecYC8bjzM57xhe+=A zo4|5{oL@)D&-?`+1sXi2w4Kd*`tJMmPv z>lhgZmFq*rGcH*wbQIOx)>^W!&u>OQ9Yzt53vtE>k6!)Ih}$`UG&=>-A7M?7G1YvX z?4DQ6Awbg;d1S&cETU#x*#Y+&?u{$z2|+|#3>h(Qz# z5D{Fb3s4=1?)cxP_Hm@YrR*=~?awH(V^OH}T8WkF%l()>WU|o~?K&OMVgJG|s(V z*TzNe=xFUzqha5w{g+_|8=9uz?{?Q1*`hPwypA~B$GZ%4>- zPOo7Cj%QX7?0TG~BG4Iv3zCh%sH-`2l#uTtB#EDENbk3j?Bw0E@F%8o*S~#F^G)rY z2hYm(t>5@@ifDye3$;2##Yw_Mq~;J_)rGfM4mH09ND<*}{yB8o34)}R3lO1yovuQ5 z(kMvZ8&9uQ8L6j;2_UxHxQD1gJiv{@U*!-q`XuoEnTE5X{NULeiOHhwoRpq5(}ii= z8*5uIvsYzxmQt{TSn8#O;P|9KthhLwrm7P~QusR|%rg7Xxn*Ifo>y?ICL#yJug_dM zri|e$3BMN7pP2^k-oNa6z#!Rw^5^VSNUM@O3$@S)BWW0(|MtWm)xPNnK4?TVrSre6 zP&InXH?mG2V7rmZr4Kwh`T3>ELh}=&GR{02TYLCynhnle+;{L`VJTOLVV8-4d`%hA zHvI}bM5wuF*S^Bs1eb^s&WANM*OF2d={d>F7DHw=K+~V%tj&g}1ITHAxz&)(+R3X< zTc@;&V&2HK47}JY?pB^v5EgWNW_&36q*rz5#ic4-u;~uVoaZLdrnsE_E%i$-g8Xiq zkD%J|cO{HOrwRp+>}-?*1Gz1;bs6OTIB3R7_Ny{`Daqy$2<3wSm+6&ObS^^w5Nn;Q z0{Z-Z?!i!%G;C_`dfbkGRJr@)1*ew%`g~G_uX#2z^|%Tn)6W*a7PNThSlKk4Lt5uDL=QE z(l#R*JusV?ZeKj8Agdk?&AYu*&PeF%buYp<2;PIYQzgd)C#d9q`2q-@{e93=R$dqw zw$CO*ZX%q%KcvU5h22a?}mM7D=hhoOZ1TsI^T~JPs)sa>&SqQk^ zsb*ld?w9)!?#%u;Br)jqv>6^a@B3J++5_A_VvRcYqDPk@NhK-{CJ_#}4L=NAN8n>M zCkTFu@7QNHcjC)vRD_$zDxx*h%%=F|u=Ey%Fq z>G1p2Y_5ubVkd1v+O`|74K{?%M$q+YOrD~gi0hX5LE&~&dBUH<#GGf()s!{Fue?in z+)wjjsr+{Fame28M8BM?uQkAs3LKyO4cRe$Mvs8EU!++MAqCB0_TuCd71q%xCI?n9 zRD!R}aoUbLNi=^^a0lsoBd6BldsLZiwll-bn@AlF%-s3{ z3EefOGkRT5)jovvWZ2B`jKs{Wf{UgBq3=TAE(+G#Er3_(T!k=PqI))mw46)8oW{nq zFm8u`z{C5aVQAwFkWP4GE*d&=0mdW}IgJm*r)^~_h)~QCDdM!w&y?BY|)^9MCI~QhkSX9N*`s(FuNEZoL7swk%i;1 zR>`=!P0hU!yNGT{v%GGM!$>NAq98VJ;@|~!UC4_y{Rv7GWKXL*zekK6+e%Z4f;B6f zA>G?rQA&$~Ez*iE>9o&U6J70VuO2{98+dZJfi%j9Tz&MVPKW4t9_V3Pl}U_ z!Pc%6`}%*t^)T+!B8{9;t-^KA9WRdjOgN_b#65W%V zUzm$7B&cu!>Rpg34jC9g{cDz~Wffhr$mE!e`nZm|DzBbWVR&KhowMA%jZi!t9pvDq zB85bO1x8jZrAky3_RGnWLb5^Vo0-XWL&Y}_NOz~F8aOjv%s$9}qfPw&?eik4_toC; zxsVL;(%^<$@a>5@b&{fU-Lw&y=oB}q)sCiQ`-3xOf3JcH88kMwyNQ;gYOlZ*&;A!0 zvQ<7N+?-!O7Ca&-a9$)>>&juc#KJMeQ`yA*zEv{{mQoJ()Oq~!KtSp{hfc3s+tfPr z2b}B;m5djt% z7N2DJAsTsyRePmnw`YXy(=LM1>dS``8&2=KBSErLl(8#+O(@bE`ETecP2Tr#u96J) z$@u*WCV$qhe#UqY3vi7=Xp#@Kd@756W#13Prqm=pZW2hLMR9$UJi_g@rPFMyA$0aW zvbTA#-&s(D7bxLawzQV8J}5xfOM0IWGB<*1!@2Slkrt8z{kg;!`;p!X67j9Xy*4cy=1M8L# zA)gv>-Rzc4Rge|6Uho5DAw$Il@5uJ&_2apja|!l;3LjcS$Xn7!2Zyeog$h5(oIXfg z{$l)I`OQ!zDHZM1*~h@opFPDiq2BC?GN34L|7~i=G#EEqmoljJa12~rcFdYpyGST) z8TrO-a9)PGAn=x+Zk9g=(NDB8-P&7DuUt`s@0lcH+_@CS2`8?nQYZBa4{KkQ|FkYy zN{NGi`*wa0PZ)7!%CM?)joVF?fBhYmr=I`+@h@0aSSDi5Prh<&qS-EDrB6Wa12EresfZkkHLQ`G>^XRY}f2AQM_3) zCJ$tOAXZ!n$M3QmITs0b6zAmn1}7##q>v_mToe8PHq*F49@S68czr3z9mr&5arD?7 zSd{lEol})8s4yCQ8nT{bQyz{7P3-{hh_BOxsaKlR+$)UK(Ms9bK{jxvy%Txp&gxp` zQ@0tM}D7>M((H(Ce=JU4w;q-sg;w`t0&6i5*M`~{@;F_&O|nU z7d4B=6)qki-wa{7;AsQIEYLlZUD=t_{HJ_zu;B2(klGENpJ}Dex}gq>$%gMZ^6SX5 zLmA>bPEqelym%&rQfJ;ydKdPnVO6fU^TLJ+%hXWW(48u)5P9xVhmaQ96)AR-5I~VaLurlqRN{Zv zLcPnd`GWte`So5ydSaW>zIG$xCZkClzGMNp z=;`wf7Bjn-86%p015~MIEK453B;gL*tXru>WT#g#$d0CR7u(vY4~5j0FWjVmQyYC1 z-mex$j|jZtc56X2hCKQc;tKM_ZRi7*dZn-WZI(fjc66PqF;0mh^Ok0TMSkXP#eR5p z)B6u9N8~q;wB*BMDqaavjodw-BO)ptdiu3KR%$hBARo(@@cQg<%yml|AFw&NX2R9m z0g~kKEgHR9*9fP%0vRrZf;-KBdOclku&N>IC6ypHZMQ?jpTj0-ceD1U+TpmUWqBh! zgviYoIXPzwQS3;;z#17vV?M-P@ULg34xM^*f|5?3UEg}{Jx1ocVipx&RiMuR)rhN$ z+Mn$#?CB>cEii);uC6CpW&}g@bELD4z}ZHu^YAnUJ33xIl^bpmcUWC=!&Bn zzu@<^y8o3V43J1W{4Lga=df+35@FG>bytx3w9fLYAbUM#*92J?^%!))shEV5G`jv4w#~7`D8f`T1eW>nei-5fC7>J+{{>9B4#^O8s@7yq}fNw}FMUj(k z8H*%n>6xFTv>D=C9daj1!|=BQ6(KV1Rk}U0tLdL=gyb>bMA(>j#699*7h<`;!502( zG3(oSCb8F8SPpr{ElwXFros-~oZ*&oj2l?yhmLRH?+~C%@>&poEw@k=YQF41QuO3e zee}5UTXcg;Dq-*-!3#r0dRrn%Ut``y>GSZ5fgeCd>c$t7S?{+mIJ`tww1(gsiJ@5g zgFVuSE80Y7$EH1m53m?2gMR-q*YwV@`g{iDK7L z7XB=U$5>vobkNoypW~R|5h2qO;mf0zx%P}H*TW#_?v2wZ*R;P*6|f83NKtQaf&s+J0#Z}1a^wDyc2a(|F?-$Q|s zvuVZhd;GQd77jrQ%avhtOU!CiSp4-Hp?6CErzPJv=`MTi5FzAHilB}k$JS0)$D>GU z(K%95dv{;`evabnBe>SPi$Q9R{c24OL72BoZH$F~$G4BcxBrQ3DZH;r#NZ==519Z? z=oH(uDtpLRm^hMlzHf_UYQ`JNw4T*=YYJ}^*d-ZqrhqVZIC_2^tTlLO06S8bOX67w zYX}_wPSCR4L?fG1^CDGsrF;P0Uu4MH{^Fu-grpU%)_Fc5*oZec^`OM^BYhS9B>DuEql>k?29oQ9`3 zB+Hn$J)6>A=G$74%UdC_Wq>mxy^CVe`2PaL2s`(ji(z>PS5$m&%d=W}VFPE*KnZ*D z$x_K${D}v_0+$zn)bxvV%t@{3Jgfz{L|CDJ&_QR48^I_o$AsjyL=x$yH9cR)hGwPX zc4kJrNjE}9UxF#ljHkZfRolAyymydzZcN5S|J7h^ESiYvzc=N?N%RHIV)qOjHK%-< zbZGne#f02BpW)cgrCG^2nQ#vgi2@y96%z(bozHeKt{*bur6phafI(c%^`NU3gN?H&@2>rv3apNX^gRghlE!w#V#ZcVl9h2?__ zHq}Om18(7s2VkG8*C#F5cDg7jq}5$ETKxO&vs%zq{#q`!yp)!RvkwbTKhv+t%AiVl zZd(2-zj+NHpE4bPqd{`N#S8@eDs78@Vu83_`>fJfZ#{8DExs^9q<+3jq5raQhWhl$ z1NBZK;;}*1L4U;MYc~p0AV7TW5X6IuMWBwO{=vA4;PzKzgw$4|#T{b(|0h}sdWPNE zWOVoU-8BFPAPQq0xFX-vNJ0Fw^{ajtn6fulqhUR43i>h z8(eAJnL*yN;k`-67E&iL5lBSj!hsz($pV&=-;R{_{y9fZ;X3L1z6n_ug7~InGhb)9 z-Q#V#c|ON}SxkJL50x)-ES?*GIcW711;}5)E$vvH_u4rhLnWC_@5x{uped89kNDq# zdqP9%J2{xtm5kMtulU87FsSSoJ7S1Ji+W6eVHM(j@)rE;j_9In$uiP~Fh$j(gV&GGHyDwfcw*Q-5ILIYn_fEI824@&;qyYzHp%a1|7P>Z$tMirmtc z1TLLM1PFk)g;qpdfhDPLz4thf&(m(SeB`0&b{Y=^1zT^@*Be2+jT72yZtW;HCQDQFzL^z#rnLQz3-U}#b}nIXS~uxfvuO3YBhbl8V9`_)Sc zmIjghtUo;ggh|`fThVi%YlOn;VV5>Y>#ZTx`5`&I@g3|?TNxmK<*als>cXC*QU#CeQL1snjELZKg|%D^!xZNkcxhe@E7XBtMN z*u)TUTM!TN13Taof#xQa66j+FOITr!Sk4DC^5vA>jt+lo7H(V3!#@B0IVmLNe#=@V ziYX9YQZ$gZTT$nymN0k$SHiX<+f8{xb znqg)k$FsP9mxp%PA~w!Z9y%I;{ZwLGnY=VGuc8m`6bUUto(MgHa~$Y9jlEdJWZp2$~j4W5P9`)3Ah(xvsAo_Yk|b$ zq3k@&K+Y^kM}?cFsOlG`n~~NbYRLd7YN=H!mr#@&`jG zZ-!pQi;-te_gzNVKI?iR^nh0p^i#4C;XnE+Zy2s1K-^2VG~dRFpY^lOxNLlEietX( zM4OtdxL#W-;l_mcLy+N$D$UPXZaqn^3H9!OTT{4`E#Q@|yJ_wQOFQ{FBXjMWpH*SS z&9Y7FuAzsjMyn;l=O(I90-rIPSaA1>01#aKo|U&VPn&S36Dphb3)_;{wsJV$1pGm! zWbMd-02Wa|K|6t2nQ)RmKwq&hU(@3ngMiCco549d?Bv-O7y(^)vQ4{)KQvC>T1ZXw|j@n&AD%*mZE`X#+j>Nh=t<~|qt94rseb^Z%wJai_{^`CZD z-LBC4gF5h`GjEgJ!tLD%_R*T&)OrVKmZ|YM>CkN6k=*qW7tiNR`nOFxPQ(Q?Pe6lQm*M4QW ze2Hc*K|airLlPQyAbDUGBo+GF1a{9J?#pFhhvaA*iBoG@>LJ zF*cKp_CJ%E!wZx6sSXx1F)v1Ga&vSbGBq?WOl59o zbZ8(kG?VbmCx5M2+j8PK5PhGo&|}ywR+4qItEN&#NSIBAT*)Na%H+WT1-uKk*EX}m z-*2~V!1i)WWgoznP^-`BK9X8+tqCIzCk}H6*B%j$BHVByT^F8$80EoJ5l>^=5YCN; z7w8l&CmcVTgNZBPBi&EjRWO}^ZU&PIu!0F3X(U*JBY))>;^NbjM8W`rPeB|{8lnUd z%o9W@Kp`}A5+RKHNk}3TG$bQJgJ&2jT!5_L>1hO^;l%@d4vdi=abaqpgB~!)lrf(^f2Q|~*wS7UW~VkCCPADCL z9!Af?VKfTDF+CrF*C1Q8f2SvYYKx&885RgfK7Y7{LFqFJ1N^+u`{-L3z;qT|ySrQi zKx`KX_IRsDA7<7$$47V*E4GUiLUSIzMd0qvj)OEy7UZZ!ual8YfE_tn(rW>TIG)-W z#+V%+Hz01x^HZnOJG%i~mwq-m`{Bp)HFUcC&&F?tdA(*yuypaAs<2c}2&@X)uk#8XtKepYHYj z<;i7@kJ(1YlxzfSw;yJs#o=W1fn=U;9xl86lFVQ+dyS^)?xp9EcE0jBCdjB2C7}0y zxydbZ^TRPNroU{KFRXR*zw639km>!yU9a<4XX@=*R}6?MIM=vDqUM7{#Yc&{hktG$ zgFo(WpB|8C6h=F9DHSJefq5)S2EF2_Jg>qLTkCVvao)9)_USFXqdt8FTItkJCv+Hr zTB)V>@3}vvZ}ctrVd735Pz>$uii&|(7 z-HLio4_|IB%FuZGBLf>M)IYVz;D13<$v$KIBV**Y$W)_}A0F#tq&Q(PE(xvcpt(=2 zN{rLs?ad}O99k$E0L%Y!hP~|bB;;}fBFZh#iM>WxWbKyze!tFA3{Xy%(jn4A%@D;4 z!9Z1;s|%6ksw0{gvLi;*K5;pUlX%WL55zOn$CN|t-*Q!g9HH%%l8kXffPb8zDCc-g z(FJ^qb^4&CDk*%~RUh(ob+*3>Y7}a4O~CT37bIzhk|LP$zQ1ZH`WTF|NlLI9$C1k@ z=9hy#g=+=ao_eH-N;FVGsXtteBO)yPO<5sp|-Mf4bmK%R;Q`(K@cvGfdgAwe@`P|h#>w2C|gAm5$ z{z$QI(H&m+^ZQ|LFG`aj!!xRgLWdN|07prF8+Qu{-6Zx0sg`ZIk$+d(=&dG&?<@Or z>APyKmM%A$=Qb6OSPZ1kN2k%SJ;?kdYY`_$3intzv47(&BHT*bfwos^ixw2%MLUKV z;&@*Ep4wps`}Qx`=a@zx%;UI?KA5XmS(QEseN9^hKAW~0`kH=C3r@dAp9_6;A34Q( z4}h!tL}$TT zLF9ukqmiZGQoGV1cJ}>OJ54d`{2ck~%!8-TUhFoIvU_Ho+_Sx}pHX0MU+#^QfX*^&a6rWvGl{E4Hb+P z3}f|!^7Bg+fF~ycwFUvzrsV^r4ImtsXd7oILnmi9H&W(bDL(V&PYH zug3K+y0vOiRR3+Ipw5XIGrXjPgq7G-m1O663Nt5WDP3xmNJvP!!zkQoFmc0mqo1GV z*8hEeKmGk~eTF~14ID>4>!hq^dSoTp>JhOvYV8^a4UucB!j!dzx>{QTw5|wgeBL8^ z$gAG8`kv~;MFyI41pTaGzt)BL(;${FXa+i%pW8qM{7QoK@KtFD!KwaiC0>5f{5F4^>>)oz=aL#e-MO)RWrBCV=kDG*p>E2G=o`u@op0`5m=jy(&41B6 z?e_At*v1v%H~gR6a*BVq@UmUfhkjjk8HKjf&Q^cw-Pt=omTxb?+a;Il7q635U#EAotySz5UowP$!j#gexn&7{$ z<@ofqbv+&7n$e6OpY2^cA>tEjXLm>c`rM;OuFFL?MaXTKDqvrgyYz|V1?JiRY&WjU oh|xFU&@8f(ycX;6Nd9$ByvAhte=@v=24+TPMqH|@uKsRZ0N=&#!T|~NWv2EM7ZQC~Y@BQ!Z;5*o7UEOPSclE03 zzUuBfdk|{m6FiO#jF|~&=t2(Y(vg`t>a^XSso^}OX~34iI>+qv0M&;xQFn0@QnPdh zeWzcS3!vBm+=xg$*O_Yan?sH66X?g1OOuK57nY*@>){z4PECw`yTyN_ za2t0eg>8?zi|2D3@RaCW+q!j~2EBh4kNN%LpkXQ}N0Q-wM60Za4n51|Q8E?iPjzKh zv4`9aQ)r%tTjdENzyttbUr6e7kj~CkFhR3*B>_-3iGy8JJNZbY4>=?D0}t72Hl9M*c;7#$mj8IiCRX&vDE`n*(8CCJ?Fe+~SoGzW#hc+jHJnZB7=nt1ei!W1o zS}T^((Dz~WsaPsYA^{K_vsupH!pcEsWM%a$<@w8OGSb=VYe4|FZ{>HSyv^0jM2H{y zwuJ7y1sgKO6O-1oSXPbf;hd9&>>$vJPW~yOVXkQYLRznQ&>PF}8E%F4`NZuLE^F(D z8;Wj9fsqr&zh_;}cfK`B0)5Y6F9(V5S-xKX#L~No79LF0-bH+7c-5qRe&xVCCPFbQ z;DT5$OP7+vCujgR`;sSVA%qxZg|}e9!~@?xi-~`oBlk-o`|HdVX(C6E z(4`*dW7R*zZfi(GH3ZzWrZp%k6fB(H9B0Nv3^^fumw9*ol8lZT<`XJGmzS|%sn@H& zESST_C^AnKvF(~wMsh@A0!K|2(iY+n7div9smvg3Y@n^G8?=0xxo$;v&U z+uS>_I0oaTnKNYHc0r82TwM*itfh-+Ct~I)J*OqpAP`;?S^90^As#+w)T?(v8zrbf z?VTRuhkG$jSICqVCq{bAVgtGna2i%e=t)29Ex=VbDitj*v6kwG-jL4Tmekp;6q@u> zi5|${sc#P08vigpfISKP_jl7MnO}$bZ*3nR!cnNBKl3zZOn%@omrkVa#`G&1m)lFm zg}d#%n!8pqUu$lNCOqEBL!hD1d?U=sxE|GQM6_o>-MA6vxcD^GLG^5&a#rneLX+!~ z0->a6j>ZH#iJZuWm~25z`zlg#%z;1jK*Yu}y95Y8cs8XT1Bh>lX$KQu;Fm4d)2oCF zltXY9sLep_V(E|NmI)x9$AQWdpo`~OGzHB~T(_wu;O_ywiGY(!A?TLC3vqP~S+2tm zoHHHqmaEz0iY{X5$CzS;$_t7VCy^xJ67Gs3&MWG=INarKRA^&igGA|F-|ZDQ2BL!R znqdN3m=MMgZRovp{G*z#hGqp^DV`_0!3X#i9tNNkIDYzVi8U~b2bf_O&?Syg?y!s8 zNrw{ox`}ER8KX`C!$EP{HvZ(jyDv7WBSLh1`ras^q6Xr`yTg0r?D*dJyBCzeLiDXe zc!Hxcc>IVi!awc+*6Zd5j8^4|+W@ zZ-NBjStGbeY?;3=O!Gg z-;$_GDG+Q;FniWwkIR$0v`3m2b{OIE3JMhzhN$7zS!FY~V0&Q3cr=>h@5hBvAeMka zWW#}WmB`l_4L9)(FQ{c@I~2Q6lxK8kJ_B4hBa5kVxPwY_HK$>ct5rQOLAT_UfPR+d zk|;G0w1mG^r^;{t3im5%rHOJ#Q*1x4wLb&&=NpXyk_hbN9rshaB|M5POP8acUlRa< zD*i@gK{tn`TBm;kU-w5y0Q7%9z4m|}Ksa{!kNxL8)~KvFfS&N@>GkE$PcpMKI-vvJ zvK2tI1``o_6XbkRURF!2ra4G=Fr}Wf(58u-Jq zo@trs1fu#48iMAp-6sGRY=4h5F)$EW=5Tw54Vw=ss^p+GZL`d+wO1x#3>o;Fe`bP3&LheoEe>kikuR zRXAQ*x8h79BLI2$WkwaHAq8$W_=G|1PwUY0+4~%$Qa5ycHkBdb9aa_ZKpqVh!xOVo zLaASir9KDDS zAr`tgdB)!VmFS}TjJwkf5mJMYK_)A;oTIoqb$M?I#_R^&8K5do%e9+z&=ByYvr~6? z$r~Z%39301EbAam*DM>c;<<-B57EqDue^NKFh1Oq7&pW9WDJc(8kq**d*<30q9zBr z>&eQx9|tc@6YA1Y@29RO4s=t?)Pl-Lhy5*|=xn$`2kXq=*!Zs@N~MX+f?11gBc$Qb z?(VrB`*L&(;N@T2uXlyX^eIf0G$}|;-t{yuq?Qu58s~55sgX(GK2n_n#q(E%ej;PC z0fx@BjkiAgNW<@IHYi4aSc+^4@6uJC_)uwM)sm1q95!L(Tt9={s7$0bG@!QVd*IsXJ|wyy%!KwS%rq0VK+-o3i+1dq`PZnX$wruOK%9&$iNXIUF-^06yyB5Ye(*vM-8G1^^J0aR@(%ln;bs6GyR>>7j*@R_N$rG4<{UcLpTBkpL_mFRiXWucdc zRY>{U*aXm`T;Rx(bSq$t$)fZ;5pR?2eQO7 z`P)xrx=~zYJkVo7F!#RF{(QLS4R&*dkY5QmoK#M-dMzKwZuEi%g!Kt?BG$!RCyGh{ z`U%%9GB&m7)g)`9*9E-a&l`f5ynr;P&@j3g9>ofP>KzrwmmdtG}aLP^&*Ja#L-4E>8&*ZQ%g>f zUvLiVrf;RkS5|^m`2y4L4aqHe#Fp>?@y+<&^bmG6$wuHe-p(FTl5$lgAm;8VS5rEm zw%4Ca%0&~}a!H$%uy$iQ&G@(6fwfx%Z1vnY?C;L{T?K@ENfI4goxvNdebr?2!OCBdL5b=HVpyL@{<96MPglfK0Uo$n*WLdxpaGi9AWbq zastsfuzF1~h5{|?v)HNT_qPUwtAEjP(YYOcX;0YyM-W~ZHd-f7M-ta*rhnH?+@3Q~ z_N3(8W#&fR2=N_*Z7p@H{9uhkj!PSscEaeN=4l7-2#5zgJIgX_RzBcmvf7Vru?=UW zdkUuI*oH@&`o*qv9{0@8@p7t5hZ+C=jAlm2{1a)-en_9|OylemNhJcLvDd9FwliIE zEA2AR8|;KyOyLUtbx+gH?*^Qm4%K0#)U5e=lG~RV(cxu#PMAMyIICqDN0aEv*$**F zGl9a$PmD?xnim3MMsL9WgORnOuh=(qglAak*@7nzVY_V90>l2ag%fp8E-EW3F)a$-OKcd|#3w7xLrQIQ9 z%aI5B2leQsA%g)R@G6h4?hsK0patVxm;V|#?<(ncRBuLX6zF8G-EWjIsmxzlhx4+vGph;uZl`HG9y+r9tr-k5NH-sHS> zaA1-woN5_h*h#vsb&Eem+w z4dF0)4$=rlH#_D{^V2K=QStFmFF}kk;8N35<72wPvf@XNc~!BiOuTB)oOam`OHlH> zM5l=);_?SHb?DqFinUp+<_zOcXvM6a(CM;;OzkFcOcWvXGH^}5r_@{lrSgHlZez)m zvmULbX<>Y#7u4&XFH}pR3d$zbEXQho&u1RPWQVy+g5GMX5xhVqB~#+)&Ng()=gN3d zTBJ5Vrr{mmGt&P8Cr!~^DlDv?CA4pm9GR=-kv;H zGx$^$M4At!=&-mNleIFWCtb}x5TC$_D6R;kc1({e9ofnj{_Aj_$LbJBC5TpSGZ^PH ztjJC>)K--6(_6m=MUgN*^ z=KBta6+#za300yA(Cua>J9w!?J@fTC249gr0-s~gS&StL7IjFB*tKv9^UwR-hR)zg zXd@jbkh^1L-+8dK`Hqn{et1ZL9{F&qyUGl|=qr2yPBxaf9Jzh^O$WK9CChy=rEdPS z%or3s3yOa?YBsiuYr{EYUwb|?KZkD<78eGTWq!>-f_EAiDdu?{J=QPgq0P+aGBU~o zk1J<;i%0`zl#MNceH0j zfjDKuKkWy{5QHk=p~tg*T6oTya06>@+Dc1n1~nm#I+I4W-^w%jI~t-HaMmvx?(~Dc z-zUUnSGelp%I#@0B~nNB%cO=EW*?F4b=*B-=91Q?HF7`BV?e$ZXzPZ`%D(=^Apinu zi`oIjGd4YQ&U5*95B-_{mA^ON!yhRITs1>#+lBsUQM3fVvnH$q-l9fOqZ6EBj;H2P zu~dBS_@_Cl5_U|M!{1WhkjoAd=C|d#{has5~`jl!<N@iqgaj$-e(I zzAPDunV>7Cwo?9!mo zF$v)jDOT!n{(BLjJaK%bA<>7q+VsLkbP`5xhvdiqHO(Q^F@hJ2qE{L^PVc}!jdG~N zc)$DpntWbLjuO7I(GJ z>lW%ZFiwp`KHep+dcG9=XqTogJRCX4(uu7oePO+AowQUyB({e>4-VClJfQsA;)n*~ z@#DN@g`F)TZ))-@&No!?t0P<-JbT{+L=V3 zxQkS0Y`|6~b)F?-EwDGi%7C{4&SIhdF02%RSxm^qJBs!51qj+0WI84CE_QZBj#1)) z8L6tato9L(z>Sg~#oB^`FHf@=r5CmAMsGaCA74^J@AJWTMPqUJjq8x|v=8}Vp5*iL zZS@p?zL^5V*w2pT6I@(xAH8^-iI99j6;U1Cuzg*8;gx)ySvMy;F{!Pq+3EECoLU3K zD95J3_d)Vu0exP)hJ8Aj0ShRUF3kC28 zM4SjEI44x(Cb1@@sPUwvR6x!5?ro*}{3R`?x96C=yor>sNN3e(jW~s7>1w(0clxob zgL_Q2>DSDiI=i5TYDr=DU`ZrFm|w3+-x{u)%6;nIH1DqiBm2H# zKtxpT0!%l05{kGdbFb`8I^cVC`+>}4(FH`nnOxDIZSyGN3@h<9sa+PC5!S~&4O^EV z7uHzO!KVv%Y;~E>DnyZ$?Jd3nR+A zUKg7}YF|FpI=SDw4MQ|RsL9Gp=x@nD!%DmwpaJW=AlmCxf zke!&3*xm@i3YM4mkF2Skxr+rcE3g)i3gDZdYahsn9(waZJIx@w38^&8Wez_UnjSCv zlE>09^n98wDFdtXdb5HwXW~d2aO<$`{QgXzmC>SlJGz7!>-Hd9YQYiKGd)ZJDVpd9~1CqVGm)i#S=c|QL)N`H~5FCB`}NPNo#`bhaC&biKY zysRt)Yrxp14vf$kV5#h8{hAk7=mR%P=8|W{P2tl7N|F1LGWIwdD)zmughwJMzGQJu z_t5g%a`!ab>weth*h12m{`qltti}Owjz_*-X-K5cLn)e~&6vgWeyyU!ZIaQ5>J3|IHK5WeCdj zza$iH5lB#$233I-P@u8^T7m&RN}Smo@@{s2Uu|yy3<%5%=ozq20}YIk>;K{*m{~X& zfkF)w05v!jGTLbz5c@w$Ea{r~mdQyKP)&aEd+=(I;2qD_u=QhI1#ijMS6xBa^PY43iEhD}l7%X*9N2OmZr&D z4hPe3vT9;O!%mP91H)WICyRM^VU|)-N1gs;iA!2?a0!>6Uw~C*BInk?z!zkUDJt;? zkcs8NV5la_#57jswQM$bk!oU$i-tBdD8_VGDfeDsY*r^uAqI@MnPsj_mYTIOuf&X5 z>o3gEtQceFiIf_h)x^fLUS^r!sARH8pigHVwvt^)#bFQ`sN8BN56~RI<)TnaDQD7R zl{Fz7&|t--2s)6Rna-KfTqw|Re)p*Yu#PbAFtU#^3)C_=O@+P&kFGw^s*l)f5)2(V zMJKbdSmH8hn%9bc$#)_Rc`Rop+4L4#)3D14TT(oG)1hkn)AuJERn)SrYS|Dx^J0dP z8%Sxu77sWbqUO$v8JU1+L8?V>0r{w{VbjqYsZT{`IqrpqjE0VOYjtj(f{>{O6NeI5siUwpjL5%VaX^t(()Se6F=NzuvWL0l$zZT&_fFQ|_Av^t5zB854rI z%Gd=TkBe>s$QOqbw-&f>5X-{9i?-t4W#WlOPsV z^)0R9(AfhInx!+B!FunP;Ncs@D=W|&vHq3Uejl2!V>f`%{<9+>=3u3E9nIA=xq~hj zFYoJl(_T}QpoY%$%M|+>hGDkO>@`V+O!>rkfXB&4Q=cnzR62bk-^v&OLmjynx!!4;rQL4tPYF4PiqX|^>asN%gl_Loho&?X>ATMwe_uCGpAOLfirky zRN0b|DE#H_leH8ummTcNihA1)to?_1Li0XvNP-O6$w*+u_Ej4%{&F|$=OGQt;10p} zVf8s0g3@S9miaQ$g?aK%0hQ=iSn#jvVF)HDdVC!kV0)7p66+XX2b*a5>k3=?vZc#?hgJG&%?|?)<5^h0D48KK!alev7~h zWDY@Bi++j%yux4OPq?DRQ1GRO@Z?hP5S-S>#1-7@``b}o-6pnGEQv}2G|i^?BU3Hd zcph05pG*GiTCyIXr{7W#7k7lnOA)OM*W-`W+h)$JEFXg##z~0qDoGDT=qABo@D-|D zA{z7#;aH%-ibd|CwYpbA;x}T)@QiS`L|hLIdG0p?3?AQ7|6Sbq6tM0Cz25u5t@m4l z^Y4ZkEcxKFT=wNYvsx5uIcYWQ1Jd5B1({U~&Mn7~`o<@^p9;VtxHA95zZCk}tXSod zV^yNSL0sr3>g5y;qdORnaS~DzX)KJ83x&Kas}TJNWh~k|3H>mVIVS850}$jZIL|2W z1^gZX68)y&M1FTP{ow9{Dn<$xaW0y9gC-wIRmjwsm-4|pN`fJ@FQ00W6Liz;^MhH{ zsCbRaX~s0#doWt~N@f~G4&XlS?(niw&@pP%5q(J0nF79rBm#)xp5wm{M3g%38l-;A z$6HfS59}V%PQ(dVg(z2}Y+g@zX6VX8@z{9P(>j$U>4s;zYZd!x0`|w73UFW^$ zoH9?}SE|s0f?|?m1RGD24%#wVxaDayoDFh>29V@Bz6KNZYxx|1OoWQ=PD}uY95L7Z zfQ+w*aL4Z-5(Cx|c~O~76yfGeo)!=1N>l6Kr)sDx!>ElQCNk9Eb8K3A_+)U zH5bb6kFWgStvcqe;L8gz71V+8&vlsT>ZtCWwaPODo9?;jjTUbGywW;n(Pk}K&5KwI zBhEh1J#N7+iJjWDBDRcXlQHsq+&16<3B<(3xJM)BC;t^@)O|iEzOd8K@pA4OEpFdc z@F)T$grj8{UK;xAz$tVu;ZKUyt8yxTt5JGa+yJ&E4GTBbCRwgM=9P8oqZqz`a(4&nDHJ4VROW&!0_SD|gsPK$wu8~4Qn0?jYh zfpuSo!6PVtET*ca^e8W`BjrZGDO*00&!!XnnXt-j;upLF_;yq7zLNQ|ZBbUD|KigL zwXX8D0>;*oNwozJ7X4>5EEkDhw+*fukMM4zUpL+Q^^9gwNg&pUHbjH0MV8$FWHeO-a z@C18#{^iUB#5APMcyEEgT&~mF<>&W&8UNC!9?^y)bHX?3kaav=PYvQ5}O9FychOdjn*j4ftCCQ%Oy4KPznuqbl)GlgFX?@7Q3ROwiq1t8{XvNsDfxVg;bpR=^=t~Jr39~U z%|BdMmF!v>*>1;^S!v!sCoclms>A?5p#qig{=vaK%Za?yUnv$WTtH-YY(z8**5RvK zLSfy!GG`o+lk5&w>J})Rq*N=AhF!{wcPh{sijN~h9`p1^g)bxy?B9LNNH&P;F6W!| zU_vkBjwoOkLiB?K5>|)~_up@1Dizo#fGQW|NayCObZp&dx;cFgCI%V{>2_y%C+D9P z6O7`aLD`&hJabq_ML<9AK%`H@R6-6VcBE6Vr=qZQVw_d;Sc9i?p{JF)FgI>}(RU z^r%W)s0QtG1JJBb}8*Ws#_)NYAdf0J3*&}oMKc!h~Dg@J9 zF)F+?1;TNOkkP>LB<93>j6h+Z+;>vS_M+69QMJn_w9ooaopIzNt0VhQiFbSDHIO_{ytYiZjbc+r}+wj>L>>T(K3i(8y|upu!tv50>}G zIu}JV$e*tO9^tFiXdaJxbPM_hcj?FV{Yi}LAb$g`3xFb4$uoEDFFTZUF@)d&P7m>5 zhdL#bYcFTRe`@k5)q}h-g|#L$tUlk7wc-i4lq{=I(eEH-s6VICg#2~f$ z1+q0t8*83wK!!a4t%iOHA#6U1_5e#|k=3U3u(`#~##{SDuZuFpSdSgEX8b7ays^Pk zU+?4jl^_=8ng8g=Icqzmj%o`T;|0t~O~osx6Dx8soy`PS%4nbvuQxK0G>YmLmEHQc z8vw_XXrIGmut@%<<4?l{G#fH8UON$DSa^h9vKc=K48Qiw8$J>LxwB8AOi_2n^Pfgm z!LgRTZ#3RyoK_wgv*4*m1v7h%$^0Q1b!R}GSV#0_bff9m8!vHso3s&;WG7P5FeGl6 zv>D5MZY#fooqmTcyM){K4tdi01h0`qGe8F^3$@L@Z%6+IF{hr9-kI%W;eF_5*~@l! zz}L3u&sT=UnUU_lK@W6YWOzB`%Eb0ONx1gYjYG|Qok3%ke6v2d75f3IScn!2 zbA!NNBG~Y!?<77p7yNcV&)v0UF3_s|n>0IXz9KY72Td#H3TSP(w=xc)!Aw9PYI&_jn@Rh^* ziJQ4iP*@R0#WCdQKm!U8DUQDU5GJObxZ2ea$Rjm7e>3(x=sec@foTb1$)YsQjM~?~NS)6DfyZFmf8KHPZj&82|^D+O^Idh_b9`Ry)@&&CO0-d?R=pYdd~%(yX1C zh-ZYa>p^@9`&`GG2XmQ3=g2)+B)-4&&~X5Ve7m}NTZ(f^LrevVrnXObY@hj+p2cT$ zFsZKXU2*1!>pKihjh~UeZeBDfqrn0tx?h*`IM^)+-ZWy}w+9Q)pv_kf1Ay3qPlus@ zq$;a=rYlvJRqN~Rb#-kK#_jb*|GF?$7m5+^GF*2M^k;=%FZ+Uj;)W1%5`Q-yjzLl! z==zdA-G*5soh&KM$-}roBSX1DmZtrpR=r=z_ULj}?2jB8 zQ$ti?b&lZuX?XNnP24||cLxN#V}?yEqn{1-av@*dOd;@|{&?l~EeqeJUo>7e*ag7X#qT2}8ca&8 z{=6$wABI|;qSNYgx=22qQgREC88{1`e~j)B)7wTY3lh6V(iVpq z)0f~NeaXKKu&@Vl#wx9uiP|~$C;Y*IAtxnO&h~qfG?h@7|Cl=nb*JHQAjpE&;=ODd zkgAIqE(~tFXApreZvtF6bjhjzWoeqn*Z+B8cBR~X&fPDmS9>o{|64Y+)fsHT{6n&O z_Bc5i;@CjY@z?2gij-Eh(V^+ErsK~(ZCD$YWz$O35S`+?G$HFpr>|_ui&Hpf1Vzk! z_8nNIouw=HRyC7sTtxv&&xBhfIw>c-j05`w#L?t%wNBfw7FU3AM~1%s&qcczG>+W9 z1n{m_<7tU+{z&72>z1!?)}D+io$%1xxUIv*Vnh(82+HNC8@flPRuJZ!u1JZ z*Dtxw9pLy!==2_c(`Y{n0S^yPhY@YEfaEXYxATjnch69m#_*go0nesW@Sk-)rI-_u zfBSKpDdRrAmK*?`#cdrVw!+xOD#|6`@61B5^W0|8<;{eTc{5w?*fQNgF;#MPjQX~- ztCZ#YrI95hv`T1gZgK^v-)ZauT|5L2)0fYGA z?cZJPFv(49Eee~R(SfJEBM!R<`@eDtcP^Z`{@ZA#oE-MYG!#^1jITDXwvN56g@q$z z>?h?f;+44nDV!|q@hE8jeLR9Da$vg8w;RcbT`CIz8z@{S&?+k+j3v60YzbAQ|OQ6`=qo9s44b zdqW}`0{M*vAF8?lnkkRspPX^Sp0`HB{YBCh%UXRrQ?RIML_Y(jXQqNf5(z zfF#cit#>nnNq^4as9hn2FEjeZ6e#ZNCppICZ?YTN5Sqp&j4rr@Cg!uhu$pG?V<<(h z^Ub55p}<@ebIlW2fz!u_GSC)M%Clth>yz#ULjb27gva9?grm7mQl;o(;vKT-iLqy` z!S^0b9QGg4I|^Zzw@3_i`OKnfO4M+qm$a%dR0PX*mFu(=kjasWkw-xw0w)g;A9&HANORF? zBf*D2lMKAA8&}WEmz(F;tq9gnygpX1bT6_P!?(MivyxmB06ASV-_JjQA9O@RyT1;c znQIyD*E%Ld%orwL0=ZK|+C_}ZZLpwGVC zKF&yj@krVe)<-+!#B(GER8&Etp>$JJLBqqmYrRDiFP%z0dK)KCPuHLe0HEHutaymg z_(vGCB>Wc|q!?sWC%)Kr>~A7Xd>&j1EwU)oD-4;yLXzK_;iKxE%7sedN3e>eI>nJ{ zoqJUGNx{^jj?A9H;a|y7Mf=1doEn9Zu$U8K(h(YmZN3>bqav6^=(eyMl(9jq=98jz!tS zCNzh~_8;X@{;shdWu`^F2~1T?eYAqvF;V|EJw(|?+{VIGrU#?5(_&0MQmd#!)Zo#$ zX-2H&w>&Uh5Log&Z!SZ!WhtRg#|+xEVL|AIa+xytDMKO0E%PXD4%%S|OV3@*4|MS_ z?6lsv+4b~39%zb}14PiXz1Q2(Q!QEHJp?qj!zRP@@RRDw8^7T5UKI?1(F`5buh?&i zkQ0=E9MLRgP4oO-yfA={QU94%?_V`w%PmJ01~+J*^}gAYfA9Y9rh&7>6z&0SYT)>L z(<=`?>f0Nw=r^!3VPGYUC@Tkvg6b%pii~Fe8*EC zOzG893DGPYF3`i;!CQj8%QM5|0yp|U;8XM$B!o%VMWIAz|Xch}UQnHlvmOY7I zjz#qUllEg74G9L_Lnz7u|E$7_#)~MLm5r7I>Q>%d0vHRfuFmnxku315F9UTWy$=fW zplH_XM3yfov$Ody0o^ZHEAg{|yqMGBw<8X#_>_+1E(;rgI!2-)RUj}rE>ascEHl~BZ^+yWh#T9xY_QXiE08d8<@lJy#GQ=;UBltD z0N$+-0VY#pCb_x&VZ-3J8` zxh zx+*GK^HiLrl`%`A#gH|v2eFg!TLnb%IJHCPLWgd9pTt@$*jyHXTcb|L3KUz$VVy~K zyEaKV%2XpW_8zWoWA8|Py;VCwO%#lXgwQSFu&3&Ym&K5k!3Fd%Nhw)nF<7#t`+5^W zfT^rIoPRcTpsBp?EIjMM*{r+26Pjy30%&PvCoS!o zjR*_-Pysg~WY>pcnsd8-n?lNZw7;J1#wdi8PNNN5(TF)WG=+22-+nwE#Cq||?6WE$ zfTtNciyN+VCW_(lIh)JfW+e;+1^WRUp!-6nbL!RE(p}lmfU?+}+-JD=Yro&Lz^v0q zPzU@(o%G(6O=o%fCT>6!Ih^$nm^HGqfsBkvgcOHVL)yR#Ur8=8wLXlxH~3K4D+SXf zrB9{=62R6hkW0{KsI&)+h6;FK=em!9s0>=d;}#%OoFq-LQ1eP#L9Kj+zgW)O<{GDfA#9&YlBm6`JgM3$WoiW?ima zs1*I)fNCcB!EsK_zXM81eL}q>%Zc#XtrP+cB$ySMVhb|{C+<)gyttv}qZUUsAsc(O z+HX7)b_#>>DZ9pRFyE$JO=7ZI^BmEj>v0zl;liYh>Kvk}fNWjGVFLXC>tH!URBS9b zUIz*wYi|WVV}S9S3}-fFh^%xpf@f)A<-^d${+fG8y}6M)vgV)LX=cJSMu zu@;HDSiG$j1ArTdW(GgYv4XEG#z(aVHmm|>6ky!Q+AM6Y2CHJ7L;MHxD)YXu(% zVtELPakNDs(Sk=f7A_CqZ%2pmy2*|ZsXXBl$GmfSNgH<`+%B2kCj>{2m+AbDY?>(7 zIrCyf&n?dQDvb4W*FLkysl84p_v;Vml!j5efoK&4Bq=q~8W(^6@#>}{O7p3+XaZn7M2GOS1pzMWom`GC6ducU?j5E+1q_ zXbL#nUz=F@Q>_btm8Ew5orUY`ksQzFTARmteSl7orB}qCsko%AzoY6lk^hSSxnI~TGBL8> zN|prm`qNt_HL)-ZqdZE+7Cke6jBYYVsoRQjsO|XfT;>AM66kdL%Lrnhm;-fE;S%!_ zO!^K{1KVyx`MAlzSVy_}SohNx&W;-t9W#uxqxg~*n)8+go0?D_9PdfY$3Z3pC7;~| zFSC#?bT4G8tP}$I^r*ju5K7qhVr^$k>%T?GSNr6d;G-nG4BY-BvBxnM>PB@@SSH|7 zr+`6r8yF8jKq0RGo8zJ3(RQRSVR0Ggck%&g;|O)3@R~x#=2Y|2^GT^0iyu8Y`KzZO zGfi|jeJ9n&W@s8|F~g_NkkHk5vZ+KiG+W!l;z%Z-^u0*XEc8;+YWq(LVQ!gVUR9Je z#yPGvlI-of40t(5DpSB{?9Wc>4!R-)FKwG*NOlq+=hr$n&ow}s07n@Fwebyxpr2uN zQ4-ISVx6WQ$m}GfY(N~1wXZtvE|Qf^u_=@PG2gTHlSfQOw&}Uj9GT&ykdvf~LYmmS z%K0v*_dBsAWyz|8R>)#!O{WXF&Bf0<-Rxq}9PaHYy`57v)C@q;yYsyflo6i_y#RTh z9xM*fm6B6s65Qc`*iBxvGA!#|4*r0}yViJWttH!ty?lGBl|s$N$^hwnXfCD+xfx)o zVwD!5)hkz2+oZtDWtfD3?CfxTG0QjSIgjS^!1Ls!<|5^toQ|Zt_}mXc1Szf%IeD6{_1CGW-Ehmb63|DeI&_? zfd6Jou)rWdA)P^(YFbUN3Qzt_7mdzxFZHcc3NI$ zY6*ht6QmKfU;*{{7*VCo&ZOQNWn2g-&c{lPV9*)rC_s1x0M zZA9`np&VY{LM!uTH z%@eb>v{G8It-1VSt?ytC<~%ib;NzVzN3ekw*79)h)p=utWlf{ofCq3WuOSi3Yzmk2 zW`UUY8LFE;9@|1rxz}u>I^CE zEPB?g&)P<$XZ{g-LhK_E)=U>tOIJ}t2<(r388C*tv5s8>r|RD#rnQ{9;(xBm7&&!i zKf{P-A#J~Fg|;abaSoUR!0QiOZL0+zki-QYgZY2fz5jpb9vchS|Ky28?Wlc0H` zK6gA3pYyYj+)`QK=MY6rSD%3<##W3;2RSO)yT!x!wyNr7nd!igS6i~_N8ymQrVfu# z*ZEF9m#*|1Jrlo;M=qeChlenwqUy)Hq09us;U|b;i%p%MLo=+t%j)STL{?%gh^oPq zUy99?Twn8cl50hvQ>w1i&a8hJuZ>}?^yWiHI!~wK(ggPkCdJH zpe7_X`RZ$qu-h5&C0)aUOK?DpytM2gP=(>oq1+Ry$8a(2*Eny&zC{;Xp~uUK5`w?FV8vD#NWyO6yaP&6={KL zxe-OF+OUe`Zis+C#GGUf|IlXfA$qWN|DQs>I;IZbSr;$b;_hyR!vPNNaB#QcR=l|D z!QI`xxVvj{C|=wt?pB<~y}#VNm)t*IHrdQ%C!5`5cP6{@eKUM1OUxsr>4fCjz%g_> ziVW9-=tVHVI;cNXO3>a((7czFCQ?Eq0}wk#X7l3w+`*e=d%hIhPJcS^~fI7`o|U_tY#!P_*(SJvnguv zd=6A*TLFT-^IRoL+#-(3K}DXA1nSek%Q z7&#QF6wDTLXn?g}`f3B+Are9WbIH_;jUggKEb5G_^iE z9;B*_0=#(IO(C7(jUOT0fEHp-m~(_b#bQ%ZQdnZJA~_|@3rod}M-EIKQKfVWuLOOJ zm=~DuxJXrk*iywk%yJSuWO6K&mDAg>_f_1X$7b!orD1tWRa{sFOp977Key!I;dN~C z>2cuyz%hUA_-U=s=;@3_?OCC2uK7hELc6gd5;+&aYqTD5zN;z+WN%c*>LUK{VpFPnl=g&<}<}5*D zUjZebwwiTZdbX07_8&Qe8zXTRT$51+9D(}Q7Z!JIwpxTe%NZR#Nl6sWvGb)3=8$q_WZUjY4x|2$Q|_fs}wr)B2aL|JAyR8h-Jax1c$u^x*3Ol$X!g5gIb1( zQ9-az&Y*-hX;WMT?vB>yxUib+Cgg-jB+3e`KM8;zq+tpcP8}>3KN4!AR2vyr2J&o|)_zBCe-;30^}xB}>Q(ywWZ5TRk@XXPKN4OxdvC+dpFMIA zkO}tOsrp_i*BGbuH?&9TGKI_!6I;NNBGrsXd+%pn2qQQu5ozY+n@zr6Og^s`>h-Aw zMa~EMhnZkpP%Zk4Uxt#`V6AO{c+-MIW80ugEleSwBiK}(e@5-ERON_j#T(m`3)?eO zo6r@cdx%SM_~Q>^*9|IX{k5-abxH`r$WKc8%B;$39($*B%cSfW1VC!yC)uWn0~5TT2ho}uoO_PbPI zRLPmP(%68zx1Q)bUAeaIf>$*%{2RlK(VBd2`BNdfFjw^m z`|Jb9;SbeTT4*K^eyW%Amhm8Zj~iF+j|h6(sk6SJ!6k%yu+81$e-XMc+2TQe!`-E} zc!8k{11foaYeG+l$W)%6m*?}dx}>&w`>drLhp26SiFD)d?qYgZ>>pU|R>N#HD}S}6 z4}CQ;*dIRnS!s*+xKrIeIX<;sE;j&qNomN*Vco7zmVLOEq>ydp!^a}Jxt2u27%6oY z1OG&elK)gV3Rocon;14mM57VufV4rpAX)d#OBaP2d40w&ccKPyRNK;YbpfD4cUce30G2 zmlJ;=H5LE0(6m{2Ex*E__xA}g6)9xP*Wc%(-B2D#42E(3O2LTb_Q=B~aF~qBh^Aoy zYpYpmuR!APw6SIrp3)Txiiez|HKt2Q7H%`{j{fAyloQM(Ri4zkWOF{Mi5Hd8T=TaR zt%Yhp$0H1zi3;N+O6A&o^~OCgRS%&&k+w;6&jASsjxNQ^{~ByV@M=kSKMtu`VVE_q z?8Rvn4lU)|=!o2NauF3u#q=iSyXO3-I=w}7y$qptINnI0)GJ}}9q5 zn^Fu@(Bv0E6U<&HIi#@l%n|#L#(o$jGPD)hy~5_0hJO?bgiWNPXec*uhI(PgA>8r za1EWvlTCvL_#dhZI~V(ZA)jaPY|AZCVgM<70I19@Q1L}qtJ`>UKd5l%65D6PmL-PDbd(Kpn+xIS-%{5!MZ0vFO1 zzs+I#+V2tWN90__S+EdPeAfJ|*#1N%WN&>WQ*u;UB@Gi_i@#0FSERh(^t-1MYV9p3 z>bOmUHNNRii&~?GbTuw$K;XWZ(hTkL^g{XHsVONVQw45>2jP-oFbDM^O!0mLb<_dF z@C{*@k!67_wb#haPL71dL;g=csjO3`G zq?VC}w;-g>K>PmwE_3nTu$eXzV{9pnXoo!afjoUc{8!e1$j%0UuHOQp863EEI8q8A z_y==YA8u6=Wg6WT$a~>7f?4rN-JRS63|Es3vn3owMq`9uUump{@%;N_C?xT&^KyjM zqc0uNYnNH9m1ZmKT2OkMnrU6$63rOP%4N5c=d zLTYOEcCs|poVo-HjV~MaV7xGd`&lI`?ARViW`wVw?bAaF(HzDz7+QGy!Aqui&|*(8 zp_UzGXTE96GTh>=*0!5^buc=(ahjX|T@mX{*hnZKUnGnwthLWDkF%~jOTj!YXg7pT zj-yCCdMqkjM9r%qb80t}Iu5*WaxC8z`)MZ>>oD~0ni(O~HP6qN>Tj=!Vj=Ob83mW8 zvsfM!FTV6QNQtMGI9-SE!9O~?hl^!{o5#DJit<1EQ_GX7S6de+$4_SWT*a+b)!lj% z!|$hWKFY6d*SXU0PUrK*qx2%o|^Qtl)CANa7%|5X`9tH11P;g8t52g?W zVUo{7I55daIWP^4=1>D+xh4VJdRT-&$0!Br{`^VIEm1-w#CDCvm;&DJbiJIIgMs6R zty*59_r$gNxa??x@ciome2YeVsvnJkS7(1G_dEqVq+>5wx(nVPS^^Wv-tX>H6PFhw z%hm-5Adjvt&>5YJ*rhgSQMS z$K!~D9ZmiMPxhYH4BhT5-!?)Nt?b{!29RATRi7US`0|zo1EUN01nN}}Z<(-%bXh<6 zO>`1>rduU7YKl`ErV@`*k0;G1c+w%8K6+<*YcW{XxgmGRLI#G~wd3%&`6Q38|8pGWmJCC( zceFGvcyJwjd^q36a8p?Ii?TJ1&@-~#j3TpzczO9feUdbf-Ts+r<}TXs0V3u1)@GeV ztyWfTQ(D%WTGlH!T_qxIxQe^Zj4W3nuT(8QRh|`I=aw#0U7hbaH7$E%A;V?^*(%ZvD=*SDd!F4ibpCR3l$QCq+Zl@<@ zD;#Ig0s+bjqhIe8mEA8~sE4b=gTh5~g01sva(~3`iU+~n*)zFi*SK0A5g4jJVt!BL z=zExOJ5&_YCEJV$0s4c&O8~YkPXgb^J_Jxra zjpVdq>Jl;Z31Tu>FP!vJyBcDie@VPc`53eVU{0tS{d!K4viFXsFoJ&!auP%121pgj zUJVW^PrrQjP(fxH;--yXJ|+}w9V__KsJMnCYDR?E#mD1)_clkFw}An1uqXFNs`hG4 zO3G;NVS9Z8S4qaB3cS%CgCYt%sUw~^bm3K;D}*EN--M5w4uB~ImbKVNWsXVCGYpWz z6<7*-DBU5Z-`cGXye^(waJJzMxcqDdw;+qh%jeM8;ZKn!Dt4#5wd6<@ea2yWG1oS= z4>o=Evdz7N_r1Y2mtP^Bao(q2izP?ZJMGJy;Q`cS_R&WTM?k|?l~wZnvT8QoA?WkX zmp0+Z=Cv^K5YdeJOrU|S+WN2gR?ocDbiU}z<}K7o81u3+$)eLVo$}n4R*@cFcQ40j zYUiupr}!9(s>1zN_~g~uBpn;4X`U)no3UN3QC*iyM7N%3d`l3jg+9_5*y?Ek1ie1e zQ3S6S)84tClC6!kPNHLhBL~KEVWM<&vWWU&fsCz5?D<&R(*){#)lYwd6^4>)s0!4g zn5b-!!(N)=;(>qFCigsADBr40jK=IbvB{ccxzms@b}`Pd#)N(VU%*cE@vNM4Nke-`+Nk zhI4gNP8i6c)}y{MjYzX_ZdXq;k{`ao1e~=!wF##FOdX3ZBGa+ctuew2&-SD``h-pF zb=npnmW>iqw1Cyl^n2-KJlpkgC$-@!`Ik@p?g50@x9@oEUP~ZZSw4X5Sh+5Tg=L?C zp@&gV{)rWL%Hb+T&WY1rRx=3htg0GWl1zw{xZ4`I+A-kZqiO%5llZ)bv*vSw3}!KT zt_z+Q#Nj&xWy>(8e@asEl5Y>N6NBGW)RL0`)xOl-hy`|nX+6jj!Uj3rHpm(82hidl7tVe?kNJoWAMXeBt*~#bv+18m_-7|YL&#}KD zIDR(!y^H0}!$qEK24h#sN}^%A8)k5J*281V6T`O^QL1H*K>Mm~b21jOmL^c$>r$2` zyI;4krccu09QVuz##2Oq-8Mm>OQn|i3S|Rf*A^sD@HK5^U zQ5WmYj(<3xUYmZI9)@OQc_!Bv5<;O!kTn)WQ0>?;amL;bwExOQpq}TL+)Pb164{+_F=4)L`bd&fx)liZs%beA z!%`)BY@bsy_aKa-hH)Q5hB28zEFDt+*QOyePn1eRIZ#$90y$YyX+ue(&S&W=4W7OV z5dn!1cQhrLZ@ge8GQV>f9l;plV zQ-r2sRME+p&iuyFBukXRtGGuAaCos&+KqPO82+c^U`F+){s1fIx%SIs_EMMo>GmuU zrN^rHx-Je?4LhJk<7nv|NK8UU=Sfs!2=@wP#=t`6px3P7wE+GA)}ve!^zz0rsFC6V zKRaIrGkOLAO(#k))KWD0A@wocXM|TvA8cafVn?XetdMN)_j?!My3hEL64#xK5Tb%p za+GZI>{qRXs=M?QgYViJ$CA`4vK6P)ip`m)tDmT!$BVy7r~MectXhi$biMFDo2>oL z@NI7e1DliB+jz~7_hod7r5UTuByB<&QXEOpdCJCYts+s2vju{@AuPuCvTOr7M!0Ix6u^-@r>0nSR!fapHGirx3R~0pJ_*Vru8`DvoN9w79 z%3N4Qmn(xy(1_9@n!nAcT|m<)j-r@v=Pr`dVg zg%ayklB?&gnM$$l2r1aW8E%JrZ&q}vI}yU`2I8isskg>Dy*Pm0tsUE1T3W{64|Y}; z-wi%3YgsNzyPo*mL*I2*OKXsrGTdq1IL9PZP|*5VMl>?wr1>x|S*k+hkJk|o26?ls zM#>+-9P>gF;w@X6WmZ`-)~@)?j4D~a4@c{YJt@zP$5psqfNIoS|Azpb1)Bo}xNv8Nvp z#14N>CdLr|85BCOOVtNo5JAo$tbzJS8Vs4n_!5Q9&rD9Q6y_O4_2rEQ<+Sq7>{GzE z6DXt*3t>bUJ8+OVsbtg>Gz3Oxh(`iF7%7)xN=(iXpn;5lx$z5KHHw_<4O<9`J$JR2 z{8><36?$g^e2at{1i3uI>h_rAAT18>+x?qZ*S~eUH0Bzx<@@b$;dFg@aCuQ^N^
1@Y1;)3oCu`v)@SlH&$WsJw)G9WCxtA}>sObtu^4i|C!_n87&E7^SR4L|a~aXg zGNfILSy{8XkTN!m_2719cLwdcyIjhC|e_Kq3&(Bq*U{LpcJw;3T`$M3tySVFqV}x zm%uKOj#ivbnA*BFnnt+CPyZeLMP98jy^8LKVRx~;o4hMtc&_1vN4jiNOtC%>=+jxKc+m@i zQXHL1wb0gc%$^ma_xotq9Y9gn{Y$r0ndLY3RPGNf85th_0Sj#{Lw1VKEjah2l>+M> z;iGnj0dltFeeTg=^B5jIffkz2HoeM4(4YRe!+si~$$~5>-;-^h9_Gk%RN@d$y+dXA zoYf#nb6AI|0s1)Y(IOnRB~5F>&Wz5E)aBLczcNz(%Wp?EZ|@CsMmmeyVV%LguWTqg zA0Pi2UI=%pE7d3yfo5@0bN>7A#p4K*V6{g#cSs=Y2tm`xR;Re@k(X^zD9!+SH!EOP zviqby!UvLX@Tacge1mtdW-VKhra*u?;^Q_s&yr*UxJX*tSG8JKML)eqx}yJM0>bi? zj&#CC`_P!jiCHU-KZ+`%-WCg0#*~G8-WYiK=mt&2=!6$<@5s&O6auO(ON1AH?YPC! zS@BBNRYTj~xoKI<|GdG-m5dyjXV+k3I)Oi)SI0hwE!H;=L~r)x)mg}V{ai0wUtMuV zxXkHbAb=ahPWn?dx(CNoHBiHYRPd;^HnLS0`wJX`X6R;H!e!}25c&!aFO2X5a87!P zB8W8AOHWgBHg0xSO&vCJAUT^JtBRf7hezTD ze0VJtR%u%^yAOr!KZ>{xzqkZ|69fi<*w{pQz(6i;0Dwb+4JgLL0|EfWxj+(vPo;N~yB2ZxU+Eh%mla>e$Mq^eULB ziLgdgwCDj2bU>c@PAOtkg`v_+Bv^l(PjpLB6b>^|_!mmkr{9^}%V+!pe zHqOcHzxAj{ieYAb-0c*t^$o4`&d!*#i^+paGh&ozYPR3>2oj%NY2>Ps2dVLjO%NYY z{f*9=uqF7$cGVQ<(7o*tA2}<8N3*V})hX5t5qnf(^IkfDG9^k^gGvNyH6nWz^(nu} zd9A~2%NFy`A?ZNy!6CmflGtgW*`38L15vAxz;L89k^}oM)eHmhN&7W2WRX2a6>DXK zaHWCM4*ajaK3IFE!&qv*)L>w%u|AtO&f8Mzyl3?Ue|d9PzCCz`D@3jM$%fyj`n16I zxbK&r(N2R|S6USP^Wo>>3{+LiyNwT(jPiFZIJ#6r0zHh6PPgs^}b_hcdT2t#1# zMEj18BZ6Z}&r??*_$Nee>e6lD@~EU6b`v-Gvo%>V!BU#?Q*D{s-s9EBMx73?I^B6Q u`LXm7A@!&o?9HEQoV8H@cO@PtXCp^vcSln*WDo~CHzzU;jf5f?`TqbNx0Bxh diff --git a/doc/tc11-abst.tex b/doc/tc11-abst.tex index 5870016..ab45928 100755 --- a/doc/tc11-abst.tex +++ b/doc/tc11-abst.tex @@ -134,8 +134,8 @@ $ ほぼ翻訳完了. \subsection{\LaTeXe 用マクロ% -\centerbaseline{\scriptsize\normalfont}{(p\LaTeXe 実装{\tt plcore.dtx}他に相当)}% -及び,{\tt fontspec}パッケージ用マクロ}\ \par +\centerbaseline{\scriptsize\normalfont}{(p\LaTeXe 実装に相当)}% +及び,{\tt fontspec}, {\tt otf}パッケージ対応}\ \par 試験的に一部の機能が実装され,ある程度は使える. 日本語用クラスファイルとしては,八登さんによるBXjsclsを使用するのが現状では手っ取り早い. diff --git a/doc/tc11-slide.tex b/doc/tc11-slide.tex index 0f867ca..9e5dc32 100644 --- a/doc/tc11-slide.tex +++ b/doc/tc11-slide.tex @@ -17,7 +17,7 @@ \makeatletter \definecolor{purple}{rgb}{0.60, 0.0, 1.0} -\definecolor{green}{rgb}{0.0, 0.70, 0.0} +\definecolor{green}{rgb}{0.0, 0.60, 0.0} \definecolor{lblue}{rgb}{0.30, 0.0, 1.00} \definecolor{gray}{rgb}{0.60, 0.60, 0.60} \definecolor{linenavy}{rgb}{0.0 ,0.0 ,0.50} @@ -92,9 +92,12 @@ leftskip=.3cm,rightskip=.3cm plus1fil]{title in head/foot}% \def\mcdefault{gt} \DeclareFontShape{JY3}{gt}{bx}{n}{ <-> s*[0.960444] psft:FutoGoB101-Bold:jfm=ujis}{} \def\notice#1{{\color{blue!50!black}#1}} +\def\alert#1{{\color{red}\bfseries#1}} \def\pTeX{p\TeX} \parindent=0pt \catcode`\|=13\def|{\char92 } +\def\{{{\ttfamily\char`\{}} +\def\}{{\ttfamily\char`\}}} \makeatother \title{Lua\TeX-jaの開発} @@ -209,8 +212,7 @@ leftskip=.3cm,rightskip=.3cm plus1fil]{title in head/foot}% \begin{flushleft}\ttfamily |documentclass[a4paper,10pt]\{\only<1>{jsarticle}\alert{\only<2>{bxjsarticle}}\}\\ \alert{\only<2>{|usepackage\{luatexja\}}}\only<1>{\notice{\%}}\\ -|usepackage\{lmodern\}\\ -|begin\{document\}\\ +|usepackage\{lmodern\}|begin\{document\}\\ 「これはまったく意味がない日本語の文だ.」\\ (あいう)\{|large|gtfamily(abcゴシック)\}\\ \ \\ @@ -388,18 +390,18 @@ $\zeta(2) \simeq \subsection{fontspec等への対応} \begin{frame}[fragile] - \frametitle{fontspec対応,\texttt{\char92 CID}・\texttt{\char92 UTF}} + \frametitle{fontspec等への対応} \noindent\textbf{fontspec対応} \begin{itemize} \item \verb+luatexja-fontspec+パッケージを使用する. \item 和文フォント用命令は\verb+\setmainjfont+のように「j」がつく. \end{itemize} -\noindent\textbf{\texttt{\char92 CID}と\texttt{\char92 UTF}} +\noindent\textbf{OTFパッケージの機能} \begin{itemize} \item \verb+luatexja-otf+パッケージを使用する. \item 例:「\verb+\CID{8705}と高+」→\quad\CID{8705}と高 -\item それ以外のotfパッケージの機能はまだ実装していない. +\item \verb+\CID+, \verb+\UTF+と,\texttt{ajmacros.sty}の一部機能が実装. \end{itemize} \end{frame} @@ -410,21 +412,23 @@ $\zeta(2) \simeq \def\.#1{{\rm\fontshape{it}\selectfont$\langle$#1$\rangle$}} \begin{frame} \frametitle{命令名称の変更} -殆どの組版パラメタは\texttt{|ltjsetparameter}にkey-valueリストを渡すことで設定. +{\large 殆どの組版パラメタは\texttt{|ltjsetparameter}にkey-valueリストを渡すことで設定.} -例: +\medskip \begin{tabular}{cll} \toprule \multicolumn{2}{l}{\bf 和欧文間空白}\\ \hskip1\zw代入&\tt -\only<1>{|xkanjiskip=\.{length}} -\alert{\only<2>{|ltjsetprameter\{xkanjiskip=\.{length}\}}}\\ +|ltjsetparameter\{xkanjiskip=\.{length}\}\\ \hskip1\zw取得&\tt -\only<1>{|xkanjiskip\sf\ (as a skip)} -\alert{\only<2>{|ltjgetprameter\{xkanjiskip\}\sf\ (as string)}}\\\midrule +|ltjgetparameter\{xkanjiskip\}\sf\ (as string)\\\midrule \multicolumn{2}{l}{\bf 禁則用ペナルティ\hss}\\ -\hskip1\zw代入&\tt |prebreakpenalty\.{chr\_code}=\.{penalty}\\ -\hskip1\zw取得&\tt |prebreakpenalty\.{chr\_code}\sf\ (as a count)\\ +\hskip1\zw代入&\tt +|ltjsetparameter\{\\ +&\tt\hskip2emprebreakpenalty=\{\.{chr\_code},\.{penalty}\}\}\\ +\hskip1\zw取得&\tt +|ltjgetparameter\\ +&\tt\hskip2em\{prebreakpenalty\}\{\.{chr\_code}\}\sf\ (as string)\\ \bottomrule \end{tabular} @@ -434,12 +438,12 @@ $\zeta(2) \simeq \frametitle{和文フォントの指定方法} \begin{flushleft} -\tt\large |jfont|piyo=\textcolor{green}{psft:GothicBBB-Medium}\\ -\hskip7em:\textcolor{blue}{jfm=ujis};...\ \textcolor{red}{at 20pt} +\tt\Large |jfont|piyo=\textcolor{green}{psft:GothicBBB-Medium}\\ +\hskip5em:\textcolor{blue}{jfm=ujis};...\ \textcolor{red}{at 20pt} \end{flushleft} 和文フォントは,次の3要素の組である: -\begin{description}[サイズ] +\begin{description}[metric]\def\makelabel#1{\hbox to \labelwidth{\bf#1}} \item[\textcolor{green}{字形}] OpenType/TrueTypeフォントも可.\\ prefix \texttt{psft:}で非埋込フォントを指定可能. @@ -467,12 +471,12 @@ $\zeta(2) \simeq \def\bar{\vrule width 0.4pt height 5pt depth 5pt} \begin{frame} -\frametitle{空白挿入の単位:Lua\TeX-jaの場合} +\frametitle{空白挿入の単位:\only<1>{p\TeX}\only<2>{\alert{Lua\TeX-ja}}の場合} \textbf{入力例:\quad}{\large\tt -\textcolor{green}{$\underbracket{\hbox{)\{\}(}}_{\scriptstyle 1}$}% -\textcolor{blue}{$\underbracket{\hbox{)|typeout\{\}(}}_{\scriptstyle 2}$}% -\textcolor{red}{$\underbracket{\hbox{)\{|gt (}}_{\scriptstyle 3}$}\}} +\textcolor{green}{$\underbracket{\mathstrut\hbox{)\{\}(}}_{\scriptstyle 1}$}% +\textcolor{blue}{$\underbracket{\mathstrut\hbox{)|typeout\{\}(}}_{\scriptstyle 2}$}% +\textcolor{red}{$\underbracket{\mathstrut\hbox{)\{|gt (}}_{\scriptstyle 3}$}\}} \begin{center} \vskip-\bigskipamount @@ -507,7 +511,12 @@ $\zeta(2) \simeq \end{center} \vskip-\medskipamount -\uncover<2>{ +\vbox to 5\baselineskip{% +\only<1>{ +\alert{入力ソース中で連続していなければ,空白挿入処理は分断.}\\ +元来の\TeX でも,{\tt of\{\}fice}では合字は抑制される. +}% +\only<2>{ \begin{enumerate} \item \alert{水平リスト内に寄与しないものは無視}\\ Lua\TeX でも,{\tt of\{\}fice}では合字は抑制されない @@ -516,7 +525,7 @@ $\zeta(2) \simeq \textcolor{blue}{metric}と\textcolor{red}{サイズ}が同じならば, 空白挿入処理では同じフォントとして扱われる \end{enumerate} -} +}} \end{frame} \begin{frame} @@ -554,7 +563,7 @@ $\zeta(2) \simeq \frametitle{異フォントの文字:\alert{Lua\TeX-ja} の場合} Lua\TeX-jaにおいて,異なるフォントの文字間には,\\ -両者のmetric由来の空白の\alert{平均}値が入る{\small(設定で変更可)}: +両者のmetric由来の空白の\alert{平均}値が入る{\small(設定で変更可)\inhibitglue\hbox{}}: \medskip @@ -586,7 +595,8 @@ Lua\TeX-jaにおいて,異なるフォントの文字間には,\\ \subsection{注意} \begin{frame} \frametitle{和文文字直後の改行} -Lua\TeX の使用により,以下のようなad hocな実装: +{\large Lua\TeX の仕様により,ad hocな実装} + 入力行が以下の場合 \end{frame} -- 2.11.0