From d9c7afb6bacb319017b3cca4571703ffca15fc92 Mon Sep 17 00:00:00 2001 From: EthanDeng Date: Mon, 15 Apr 2019 01:45:30 +0800 Subject: [PATCH] theorem modification complete --- makeclearfig.bat => delete-temp-files.bat | 2 +- elegantbook-cn.pdf | Bin 839603 -> 1460781 bytes elegantbook-cn.tex | 63 ++++---------- elegantbook-en.pdf | Bin 808187 -> 835605 bytes elegantbook-en.tex | 6 +- elegantbook.cls | 99 +++++++++++++++++----- 6 files changed, 99 insertions(+), 71 deletions(-) rename makeclearfig.bat => delete-temp-files.bat (93%) diff --git a/makeclearfig.bat b/delete-temp-files.bat similarity index 93% rename from makeclearfig.bat rename to delete-temp-files.bat index 33f3659..f6da4ee 100644 --- a/makeclearfig.bat +++ b/delete-temp-files.bat @@ -1,5 +1,5 @@ @echo off -del /q *.aux *.bbl *.blg *.log *.out *.toc *.bcf *.xml *.synctex *.nlo *.nls *.bak *.ind *.idx *.ilg *.lof *.lot *.ent-x *.tmp *.ltx *.los *.lol *.loc *.listing *.gz *.userbak *.nav *.snm *.vrb +del /q *.aux *.bbl *.blg *.log *.out *.toc *.bcf *.xml *.synctex *.nlo *.nls *.bak *.ind *.idx *.ilg *.lof *.lot *.ent-x *.tmp *.ltx *.los *.lol *.loc *.listing *.gz *.userbak *.nav *.snm *.vrb *.synctex(busy) del /q *.nav *.snm *.vrb *.fls *.xdv *.fdb_latexmk \ No newline at end of file diff --git a/elegantbook-cn.pdf b/elegantbook-cn.pdf index 78980a5823367b1f09d0e22749723ac7360d2c45..5b7ce93ad3a814b201e39f4940b06689a4fee8ad 100644 GIT binary patch delta 966739 zcmce-2UJtr);7F>&}-=35IQKmi`3AIG%13J6anc{1X}_~uOcX2dXr`Y>_NbSigZv= zBNjjuK~Yik_^p)y_x$%g_x|U;cYL2?#Ic_>>zaGcx#r#p7tgA;&K+0#}pZL&~IM|Q|!|b_5nMY0TMMr|BGsg z$uHD*odT|)@0vjK-`xZLzuSZsc@zJ|9`OHa6Wag5CjN^(Sb;mC3~!JF(|@rG$|g<) zP>JCGZ>Np2%D;6M|6k;d@_&*z|03pLutNSu_ACF_nL~;BnPoO6Eda*h2wwI zZxvX`|C}qTuyX&yvW1Rwl!++&ujE|9|85EpYOC_|Kq=dRp>OT4KbiT9+*+}=69_sGIO06t z{)PGU=?2!cw`qfyLvj|Q-WdkJxRlj(<=e1u{|>I-yW<~V+P?1Rxj*pk(wNgSsmPN# zO^mmxTsmU(fGQLIe;gLd%Bp|5mz%-aIF0^JaP-4^F)V$z`i0th(mbNY`-kNmlK-$D zvD~ArgdXn0q_BMZz$|m)CEZricf7y8`;E*t@f4OXvO~7{FKM<{s)u?r@)gs(T4CV} ze!h3x(>{p?>YbhHBPthi1_j@pOAR_L#P(uk4fRDVTVg4*hdt$@qW;L~;R4>7Otxd} zW;eMHtIj{$irUrgW3?m3M(4w?s%musEALpTxz>fsluG*ZM+ReNX0|wfiEH>~g#Q`D z)0#LvHDyzy6*QvZIA-j1RZ*hPsWIjcM0_yt#{WD_m6iWI68yLE!KZngako3|d{Sj4 zr`Y*je|%c50-d&RSJ+;Ic~(s?s>k|kPu}?*718!>*qIhn#j<6Ru_c1bs%ub~zuv#g z>+>H6h7_a>d19}&6rDbK?8La;UK5Xt)8VUiFQgmTBP8Peg^z2M9{XO@k>7fW!#`^7 zh}Ngt!4iv)`^6d(MBLw<#|I4ue&iErx$nx^qiT3)5Bm<59jVU}JGl6M7dAaMzQH%M z_guKh>*voyv3+hO9Ysx|)Fa2lWa}(1f2Nn^4ZQPL@qvTPM)Tc_j|Qc-{<*mDe=*H~ z>I&<@aKP#s5xadqck4Z?bLOJM&e7u0lHnb>Gc;w(xuCpklUYg$hh99p=J@fM*-lxeRxMf=6~OxCRG;>Jk&?YXjwJrz zG@HT4^}fCRN9;ZQU!1S9q-IXgg)o~LD@185k65D$&WG4M)7bU2~J?#I3BOSWZ-TBvMSd*J$iB`}1#s&VLo4 zKQ+tEaZg3*KdG=k2dGg6t7st}7r-^vI9fn_V${SQb;tORV^rD#D&f@6j~)7GD{|Eb z#AlDhWH~3@W7`0>4Ag4p3P4cE~sN=|3L!dFQR( zRWq&#qr{G+YB9ba8q0V8RsQ7M1^Hv+p0>7B-t;X64-&``CeYZQ6DVjsfyAHubq9j8 z(%-GHzb>$#9wl;t;YY;o&F5P18(9*KOYG_gcbyzCwL9DECi>~4JfpNRok$)fgRbRd zA4|Au{-+8P0u^>7<+Daho8SjutW)yZT4}($SO(Cdw`WA=ZP#%5aV$|MLws4+`*Y9n zuuuOKAhqQOL^5 z{_ua-g4pl=`xdnFmn}$TV?f5k=i1E({YNGCryf0@M;m7$c;C3B!M3&)HNfj|tU?uJ z5c9qJx$#^}i`R}EdN(Mtojd~lqryUAh2cg1RAL`DO6(&jvBgP``ERW6wr2N!PJP6_ zw&Ts&<7vw|n=N`JaOO-AgPhM)@zs!~OYUp5W|3;AdzZ`yZAOgF+HOmImeIl4`BHt? zM}05^v9}QYa{Z57OZD}SetMuOcFFp2QZEPduE+X#X_vsBzsMl+SpPpt>_3XnMv0vg zyQkpGc|K&Z`XgzAX-R-$2jNA6{ zSal7(7Wg1k+8KCcEWn?uQbkwyG%oV74*?wVZXS8M?Q3-}c8sQIaX#jX(SM&4@`u1U z|3@`0X|*{WEy2jjj5HTjE~h(e>R$$(8lU~3HM4^8!GZV~o_#C=$w!G6fRo zmNQA^-o+bxOfFp12~ppr8(TMP{2A*!Dc z8pt!B++p8ZaFuhZEcYPY_b##DHwmo*Dqsi#E&9v&t#86Aqi$6~GCnNtlTLS~i+cnz zW%kG)4Uao=d2WA61(WXd8EX)q6UugHunKOAlgCCrGLN2#%_D;N2xnjY$r5C#S)8V- zc9pICj>B9}-OlY?PWbMx+oIb_q9%Ws?6kU&-TMirwEK`!y(7K%@0yU_=%cpkW_vy+ ztxm{!(8pambk00tye_1!DTTP=YM$Qc@Zl%bxPGA7U&ZHd4$=63^-AYY9q5$U?RgSo zTp;&-4%nLZGOePdE>Z97c8+U&A>yI0f|^4Aef~UC4|M#i z_^c1nc=C(2%?9*WE&5+}=#2scM;N2Tsik4grQD8D)~H=I7ty`a5vNmru33WV(J-av z-wcWPzcnTP-y0I~pV_Bk0`2}PLVr0%|0f+t9}YqAF$@er#kI`+2jLKuqtFtyIRw49 zi6;z$r&Pi$tgz?!70`il{@j6vUkjx0f)0J-z@>{|2oepos=6|(Odf(1EJ7#C=0CE& za~DpVWxU3`=2L=CR=vcLF zBf`H0WzNFu9hfVeCbIKz)xwuIE{E~Y)U~60{TMWoxk{{+93oEm_JvBe-qLHge5x6j zb6dFUxXRhmUq+TP+sY2fyqz%8UR*H}$g62C{4IO@tmky=xT@MnU(D~CkH5=*DdPu1 zN3V(r2psjOf4$6R&QmDbonKQS#Lb;A(3ks=s&UsK@F zEt`EnZC@{@&&^Pl{8LD5tE^v@o_9o10bzGuN7|We;co=L#F|4ZX}p3eh6kAS4h!U8 z_cXFtc&L2#5lL!foTzfvwklG$S|WTKzRdP&*BQ1)Nj6TcBB$Nhe^e+Mx$HZR%6MyV z=kC6J*ET*i*>`H9J#YtcM z!jlx*Zw1JTO!OPK@MNn{@g^%;$(Q4#TjvVyta|LWtTntP)*=&3+tMEI$0z(cve*1^ zo}r%2wChCm%S$+^&LA(h37xo$&o2+Pw6e+r{_Mv?rQ&$&u+Ye+08xKqs$`v7{gy(b(Ti&C$M`zK zb^7iyy1jTIsha0j+Jg>P-lBKCcy+2$Tkj^X>+}9)6>ZoT(f@kc;c?OKm9x!VDFRc!Vodk{c$K-ZHhulQ=DA?Mv%&Z-#W!DL zqVX?S?AjOpa6DUb`s*(mzS9?6!B%hAIN(!cph@4pn9`xhmy4BxG83>p9G z%NL7~eg1w-iY|e^@Jka_O?4(kbH70UfGF@9Ut1e|EfW|OY3Fy)I4mSQEYvSF3Zu0- z@TzHPDrl&Km(#{!!C?m-!}s}suXk{MF@ZjQ4rWIGc+-V5c3OXmO1#FJa*dS=e5k>P z27FN9Lkm81o!40De~06hRsQsJ|1ZBW`u{qut)}u1r?pkp{@Uq(;iRL@zQ`c(Z4n$e z{`B>cs*0wT(%*cY`F?UJWS1d}$&jE-%FQ|bqc|gb4BDLdtYc!hk#yty$A@uoR0x6) ze!qLr*`_};0j?2*wD-uA)$eDkA&`Wu9{b(e<{UtShhWJ}w7Hq*DZE6kp9*QY{Dgc- zpB2=yi*kAGgG}rCWl-?8jZ5QavaMex$-LsF+cqxUb_eayfQts{#k+G@;gwx=@wg8S zyc%t&UYAgp3jl1;zCqSgx3qP>kPW_o!UBqB^>n{=by+H#Y{t&s>*}&M)V=eTq*%>5 z?Ml(cQL|-}EonpBQ?GTlTv5md?b}uVv1?sjz_E2c!yld->WW=9oO`y;hMJGwQ1{Mb zLmk#7aeWWBc^u(Z5tMA02}N{tE_nS46&Pef;TxR`1Z(8@qXGjq$n*O*L>he88By~- zn``?v_+-5{sDXPos4{yt*E}}Yc5kk^ZOG2Mtgnp*IO8`Loi-R{oi>E$>^Il!H~1QN zZmiAQZtyi&Z?0KwT*+E(N?2^H&6}@ZjRu&lQ}L*IlMS-$=2akWLwMe3Q^atCuhC$G zDyzS-7O1yz)wp9rLPmFkuTf`%I-HLZCuGJnY<@g8H2-~^niAFi7^k8t?H%&R|LVV+Eh9raD^m{7T~dh!SIq{ zc-JPU{RSsy+a{+|{wCwjb;b%))lJ6BH5)3U@-`S9%r`X(Z8GlKWL(LGjBx)94n~`t zG@G1Xsy9{UtgCDo(%EEuBeT98%&|?z{HzVz!)lw1k2V=aHW|4yHyH853Y(mlH#u)q zZP?CF-{2gUNpEPQgtB^*F?y3RDs6+&L1JBFg=x|ze3>5AWJ1N^by3!}(UQ+KNJSN&dB@@|QtIyyz} z$A6quC!fPx>nctSU9LY%xjRJXr`q;=Gsrnezaj<|4Pa>b027=^ZIY4;49-$|6+4qXbr&^5Ml zh>}EwRz2x75M|>)#m^(X{-qgO&GJCMcr(W}l`0 z5vRCQ;_7vHGfJGc9?-nv==CEoB0A8Kz|kTaZ!IiLyRMA3*TD=BSK_~n>Q zJ{ufmreE(4!_PlH$O1Ep-|(dry_FTds0Sj0vmG|06O_`#n2$+mE?E997Kd^MrR6pQ zF$I5UnNb5oP}u=0qOTFkV9f7JoyoBLU6x4ZJDqHk?UMh8p+CH}1S!^%2AN-J+4PXp z@SXb5&L3Q593cNe3yBJuVK{6|`8d@^Qb+(DhyVGqC zm1E4$N$FT{y}SfPIBFcYl4>f$y&zy1u20h#w$oCAK&^2UCln}CDgZ&kN?=ur8lNp2 z1cv=;_C|uN()95BAz=K9WyG?Qd!VNVxl%T2xph6?DR#1?-kH(N{Dd+bHKtt8s;MH< zAz&D;Oq&_X)G~(vB|C^)2(T8GfFOZ8pekBTc7PKC!>6kD+Qr;=8NoFHGgdSw#G3I6 z?#&?goppZJ+dh0H+#EQarHV~I&v-zi95rfO>eVMBT1lToKPQ3(r8lhdRr}S{vw0`? zn*y~2beju0Dfwi?RpLR_Ccw~p_8j(Y->8`vM?eU&Y0x#vf#$IyXrT;(m@tkbkiXX?$Dg9-(QM#+J~4;d)MQ$v|_OBh%{9)EwYlELU3W zH33a}9%4Q2XasOi-2D1bW{K80?NW-$mM17? zuLe^gghN@et^zs{-c(1A9en`k?xwmGN{4K>5)@Ca;vWKryBV>PMcX3+sE!u)cCsT# z8xOiota^5uniMpX2+Gn^X6C-nO79TuQa9%dORxnA^hd$!*%fNiD@nZy;9+v=H|Dy> zRCG&XTzhu``Xa|iZWs<^Bef{BQLa;dFT-010!9XhZS0P5Iua% z%m@oYm^hJoH%U1vlWOTD*I6)->Tc;3r}mkXpdlqn>b(IL6jRS6SVR?4E!l9tI0Wb% zy%|W)oDvObP3GnrprccRZtdeX6C`#z^d19yG&Y$2pqy!|j@&Gn$pbMexz*JpWE#;# zwIslE2HYfLi)5-p@HAQUlcjI z(8tPz5JTKNaIB45pOMwYj4o#?B=p|QK$>>+dn%%cL9Yoj5-!O*VU^i*iXB;`nR!Qx zkl423L-R~`l^#Vr*m2W$5#*a^L||`&&QFBYgqcaEL%QbD*D3>fQnnx-LcNz+k?@N= z-wdqJp%J8$0nMk45O+Cyd{=6(1J23dJU$@AXS=2sl`cZ8fSdk?AZK<(oa}ihh(f}j za756ckZIe#vPYBYZV1B1j^;B$@ZlmnnrhaqVBri0x)TTD=;U!HvxT1?371AkgrSf_ zwhbc8r9a>yh?{5C@g8$$eI+KU(AK|I*{-rVKRmrNf8PP&ZEZ8}{PwAewDMHLL@7=?P zOfUCF(gjucG-)BH*%ffy0}$}7V$U@eC9_wwIX=BwMw`VVxL9t7kO@I;@0}!Y+NUhQ50s zE8MZ66G+$Lv?=PhPa*ciE>3}Tlw71s-fhi_kffw$=-3Er1zj{=t&i9clCu<6;Wg4_ zm!_y^I`tkwLIbd^b4ZtA+Q;ptQ}|Vo>g{P==V?g&5;xx#hH{~huIp*3%({f_d8;u# z#6A?rqX_KcXQYcSEk~Vhnu7}I8cpkZPD8><=snu+@eqxW5~Q)AYe=ZxjB%!brWx48 z5$xh`r0YZKV}8YJG1gnfyZ|_M~ZiH~HDs=*dgv!o56pB#>?>82+u%5g~sMJhi zYMiDsz`59&N-B~ZRu9h~=L2$EPj+UWinJ(pGm1Y>*#jXg)TYKJBVA#sJB3W2hl5QV zNKZ{+#FG-l^n42sEAIs=O0lA{hyu^dgQP}Ha1OLqU}qjtlXzclr=@$53M8`AQ}>{{ zG*a2Q=w9SgA*2|&8EqO;Ip!v=@K_=pLMoQSdTJ7`#jh@U{p_m%0vFO_-y>ZtsqCzG zUNi&Tot}D^jkKV6Q)LqI9tTCTA8*oognp@y?<{{X@`?^21hu42a1h$AD>6(XQXoaQ zx!`m&kh9UtV?<6R(EPiWp%1Is8IMt436(Sm@qUpE zaZa(j8(D+q;z@;_X=Ko|@P4(=zR(VwaafM!gQypn^E1RMr5ZRxU}hK@Z*KQ)+2>LS z@^i_71080uRC&IicvYz$(8n+{dl+wS^**$3Pii1IFPM#Rx=P)6dXx9^&CDZAzycT6 z`vZv?8^b-G#P13;T;Nz0^= zr|w}6GcYLV?!f6hvDg6muFK*EQ8CxF2<6P#|~ zd17A`@hgWo3!tlFpLclqOtE{#7s9#enrW{%pZo6jsP`PoePGM+;#kq^t^?kH&hHE8 zN6dO3@J+cs)SDFB4~|&fqqtr?7r&6}!|mg#Zgjvt0jHaCKDsY6QQf-~OhW8f^hfVz zH|2>*35bag%yGK8=XYnRPD)6Dw+~B}oXZY(ba=!w{jkXZUoXV&^E)%aGaku866=W{iK*tdXy0kA2^QicXZ*5` z$=unbb~=)8&O)!92>Z0RDC+)l8GOOqM32uMp0G z-k|bAZl%4XcBf!JZ28N{K<|on*WMuzP2EA<^}E}Ym2qC3g;5|HRyH`@hxly@%G)Qm zc~64vwrQXhqqfR_rXJ6TqX*kN%C&6US8eG+fp9Zvpah+~|+Trg~1&ox8IN<;ButzfAGZ zNF;`kU!}*&rN{o^&ONi@J(UWAjl`;^&rxlqj|k}QI1lOvxxU4Oo0>O4tHD*v8$SNT zg4cm`Td8KbwhA8skXY@2)Aw4!_nk*=zbgk8macLSaq`F1qnky}LAt6VE=G;+4?}5= zW|1klaLN%E=GEHQO%rq%+&yIJE4MwS&~KKtS%et`4`DYwdBrB-)_nn*lDoE$j^P=S zE_Acs75~OZ8sONXbQ#`Mn+XlQO)VG?q=P&u_(2z<(?EwRx^hAERS?Xuz zZrLT-PS9tNr9XHWW4Mp+XyINxI>iH(GH0MlnDmP+nT}rm0Qv-SJ=G+kAnAprB<;b)0 zZZ%K#uga?7?Md>%fnbG1yA4~FM*U*%5vX8iAllwIKCIPM1c34}ELKNmsqwN7082M{ z(IVWdx6?mBy)GT8G8M#>v9Ewa%y7rysA!X)Q3DEb#2t5OCrRi)3ZRe#6tGo?sn6PO zhcU^CK-=$#}22LK;ikdgYF@u*A-jNkP^6WmAC%^dGjP^wG;Ybm|tMtTyl2oyNbmpNA@ z+|(gZ;~0{SS3KzofeZ%@SC7)e8+5?pX+Yz+ElJnJ$zYBPf()ORfI#pz#Fd~X*<)Zr zHt^w`EJ$nKvyjka2*E|~4-nio#O0uFN>RXDG7#4QPjW~D2A6M6`Yd)D0vRk$&75>@ z-*+hDV1!FVt>RrLVJ24;bJ%Z*e|+K>+^38TZq$sl;6)4X@C75>A(S4IH>@#2zY#71 zb(6LO3<1cT0*>2^B#+^RH!eU4cgfW2w>u786Xc99nG(vv_@IQXG0qRwaU&Yu_y7&u ziiy{KcQbHZF~c#$7ym^8uK`YTWKIW{Z{l@s${dQ{F$UK~8MRQPi5+c&c762~GF2dG zb+i}w5)m><;YM*@VHsnP=?4c|1U)(F49<0=f*)QFdvAxvlW{mu+!t>^ra23o8_E?! zHdnC?U4VAIHx4|xvVgJzWX=0if*0NhXQN zjN@U-=hg`#k}@A_tB^GKq)mKWelWF!!2>t1fqBF z#8gazK>!F9n>g)qP4wOd0Ai@aJLJ5NH9ZLe)VwRspH^xD_H6KSY-?2q^#k%tC!{!P zYZd-FHBAsa9uPw&-l4tmegRN7cyGpIzYl<~z$|#bn=W&KsHX-VRe+%bCQ)u)l7evn zV9YOL1-G?xKH3hzV9joHEw5`@GHh84!{<^xnVWGwuxwECyKt95OqA&XNXVC~dPbcw zM1Xb-E%7`<5%GNiSD_uL+VqAiL~pgHfCAnIo2c#aQWiV_0LHu;`$M5!$VLqSjv8BZ z0iSCQoM6B!^!n5p=4P`*7zEV31MVBGMvW{OWx(cStJbI&h8W0pz}ZHKXAL|~-i}GS zOgAx4?F!&Bz~^F3oc4KH2)YA=G0(t0Rce=h1g1S;#|Rz5KY5Cd7l44_s#IH+_ZDzY zL{N=(xNUUKwc7CBB{<1c3DcY#&V_g1@CVmWPJBq95!ue0w7I*)4z+SXFv$IcyX5P& zuh<5F3X3>wx=Oo}jU>!Jjv8Hbw18_N9IHXxN>i`0ytfvIw*=K_gY%(_sRJWBurn%E zr3v2lNs#U6aG}QpH0lK)rFc{d`&6~rMwJ1|%v$ zgto8V7bmy_0F1diw#uUC4>dfPgb;&Mw{f_$$!`K@03cvO(o*$U*G785CJ@6WPIQ6b z*LpV?#snwHoP5>es6IjG27Y)iNRfy0=t~6jle}5wovh&vSwio)|LRfZ7Tk^GZE~jY zuB=M#u&6w}d@*3M-K6g*)cH}y!l5klg;@_^!6$>k8HufxV2n{YF1bU9w^7RlED(|< z-0!WntOUE(+<_tQvNq;a^!@4mRO7vaDh&H{ji|uToz-XDp|16HFj!jV#wxX0%M0_< z?N&Ch6NRTA_VwU-cMR>V^xvgXzI7dw-JHXudWz!Ua>uwD*giKi?0~m_EJ-Fk;+@Q;1SLezcz2 z81L^176@rhShI9Ke0*YjnyMmLAa4DU>)4W^e|wqOT*M6)yqJ#N>mKiW@$!V%pf!xh zU_Fbr`;}G4QZDNv0cfQ^U+k_tA3m!(;k$}Bzy_zJa4%-~wUqc3XkgB$1sdgVvrSM< zJg)*P6uf80J(xZaSIfK*!$qO`9=ki!7FDXGcL!p-CK*>@e)}gyBFgaoR@kFyGgM!B z>2fJ(djXL-y^OnDb_(W*l_RBfxcVsGxxb>LR?`xbWY2> z>ZYpf%ukSp1O<~7x$ILt$pR6p(AJ)GhrTq<*+-eF;Kdp^JstAp1`5Pe=EFZxsHS~G zob>F~FDGFNr*lWA(@3$EUkQH;soU`B4UVPC(j3MwiIBXTdr$f)DYnWqj(Qj*P}^1! z&r6LTCXA5Je>-kj+cK>zIz!=TKs89JGKqL6Y|fGZUMhkJ?YtzTb!0%ol&B3G-HNmv zx3pcU_3R5q2=k?@j3O9BY=w_Y3j=6ZKDSfYBtj2gb~NHP@Wdbv+s{=$gzhUkbR9bO zChZf7e%LVjZQm2v&D5lex$ZiY?xKI*4dJL%F;}VeU7q@9>+k^AtfTO5vpuB;0Clh^ zb)Z)^IyB;*NFaa)AyujomVHCf_xesk;j%Ot>(X8IeA3f#bfEtr+)_+j!Y=-k%e*PD zg6#?etb}(*WR`_ULpXRkz$!en%vU&=4DAXVEQR+(6qX%`$b)XXV-IuIPn^8d7?TX$ z-j!C4@}F#sDen`2rgo*tSP1(>w3qqQ^Fv*yWGuo9%R)+h*I|G;zSKYBcA0NIOu4~R z4QAmrA_s+i%pkPO1F)$q(%)5h4;iM0_IAgNMkJTPUTt7pCDgqfLn`wG@692^rlX}j zO5^G$Dq(+6lh}$FY-Siy+CkuuLA{>oJcLNLC~$5Sb*Yn{dqNB|6m zsQGvSWv%R5Rk9m~YNCbci;1f9*3i%aj%a$RzE!Q<83SmD4fia5ADZj6nocfM#fF=R zk5k6kR%>Me2!_NxDJRj9fC?eutMO2Lqq3z|x-INUG6uK@0NP|%Rl~z7K>re6m|s}g zZlH1#LnI!vWoRXIv_rne*}>n}`vD z+`M?m%mqy=#zFfz=dg{@v+XuxVhL`=(mxrHMbT^_^W3AAjOt=QN!JmXGpr}fd(|r0 z;MpmR-{GN=D=z7$V@D5dWQz_6-aAP%UyJ_+Wm|egXo?($>uJ>CNlhAjnH}%ShNF30w zT>yxf*7KeEwF&>_v*ZDCTC-F!7q1wHqd%YxsNpZduOZ(#Ek4x000{ZU+R2Qwwy6C& z5(W^dt5R5jL%DJExFz}f$ydqeXdUWMj%)LpfJ*f18KagxWh2tCA_QPpu$CJkKdt`j zNH9Qz2g#>s6Qs%m^nbyYFd(?dg9+el`bB0X;hSH&#y87~jU6v$1=MM^d>`5iQuR7^ zfpA_89}I6an9eUfp#KQUb_I4hVS=ifXbSejz0x}8P-MNUlAr*n)2WL`5CGsf4pY3*#I z`=OoGN@2;|?db6n6f?}p8K|oI8dolgneVr?@zg_HzG{`^HzIs2vkV+N49C~)+zih! zSjpcSWE4V<8(%0Ib8M!Wv4G6m$(+Javor0Y6vfWbN?|O=jg5X3PO+x*-n>>)^<#yCGm0<*+pq)fBIZQfr)kA zBS|GRDh<6Jn(vfBWWt-nBM|}aNc^*gOYoS{a@NwqBwG$gSCeJWFui$7;J4JdYDC_T zPf`%D(;j3_vE!tr4tOWkYskF*O!age#&Hw56rWU+w$tP_yxwC>j&XQ(xG!SC9mm>8 zG2^JE0z}_^p@?cS;osaQNLcPT>_E0dlf+D8UPW54pv28iOA(W1xpcXfd}}8dJ83yg zpG=&h*r7?9qRwmZ-Rn-VQx@(D?BL7R?bv8-#bjFkTo8tW{hw0fTd~!`~h+SoeVcc;?$T{>WA%NJ_^6gBfes2qc$l-k4!bL5)&NzFMtf(glnwiLqT^jiNKl?XcleO2DM8FP<;m*@MPgqj4-Q#gbkfq(`i_6(hO!a zIENyZ!@F+5Y+g$orc13+5m?!v^3iZuoHA^a+XfrrBD(^l3a?YY(a%zISo9cPlOwmw zZ1zxEK;076OxApczLPrF@-x+kCUQeu?#5RlC!O9VW{<&vj$lj$c(GBl&4OMGur1O6S;>_R>NhG5i$v;U=avDH_^3Mq zX>_7Xx;YjLAmJ4P6vVTpPtY|`A24ejIk0q1Jg>iZu!nqNO$&I? z7|7YMur^0w0J%$5ix!V5fMgx`xF{@8N^Ky=%6jQM`E2B)JA?pbf=^xH(MS+a+z#DV zyL4U(o}7GiW=L15Wu&o?ybV086<8D?Su^SanLJC&hvWjPs{AoX4P_q3*Ekdj6}xSL zx;`g-*-|q+XP~+O@((lv_x3gMg8sR|hnDac8l(=dZ}g2$rYXnA(*c##4xyUPrAxzP z*yOcrCRZ?2S$i1^s9IZHe;UeVv0b_p3f*#{b=P-jv}WJd0^gVrcXf}mI|LrCI2SDr zd1YO{pS1KlJa?d03{b-z+CSnGo#aN0eS*vZ8RDKd=7N~R?tx^yv;94A3mKXegwN*F zTwB*L1#}FD-FL!0_$1hD0rxcZ`S>Y7B$a!O(4UOjhC8xg0aaPIzXgG38G32y4wy-K zUU%tFI_*zon}FjN88)gJM|BP3;jl)^^y&s%Qm*Q`ED2zjgzJ)_L>5}@$^hJwKWb_R zwlNcZtW_IsiM9IxJ9geERd1pciY9wqHj^l@s2VGH3z&&i-Ja}V|D2o5p6qAD1M@1z zzDNUZEsX0sw1r>ZT+A;x=e5$G#vcZygnHI$0#$z@n&z0x_27Esw}D}mFcKdvigTFX z$=bF~)ydHX)W`CB;3yjt$6?`DI2T6-i*zw@TA~)8Q9IhKpr&U;1+u281vnFjtF=E! zG#8W#IFbb=7wLH8UfT;u>Fk}~1@a#eW({5jokVHq=V3T~d$0sAgO0XS?bh%)0GA?e z(t#39dpiLU$-^rtIPT zr8MX#Bq=XVdJ8AIjLZNy&4hEb7mBC#dl{OlsRGFI0`;@byh_E@7dP(@urMn44JK{i z*uB)#@O+@BlGn~_VBuA^-z^B>1R}2unI%kIfM$Xt;h3<6(|%@rUR5pFlh>*siQa^z z;0boCC8U$My#(l$qvniVqtt=07Om?Yw6R}Dg^)Tt)fN$r2o3;KGoM3CW=N2hcf&(o zoM{*kB`%2&+tOI%E}9(3{|d-NG?9%>W$tDQDF9Bg;Z*I3;>rENh6kdw0K_XGyx~w6 zLpB@iuM4+mg_WJ|Feg;^klmst)#K<2ma*F{PXXOtzd8>mvRr*HrdJFf;@|(#5$0=G zv@JD956BW1!@kf7IPK3s%|`-a`>OkmlZJjB7{lEn0CpV0>q}AtFU1_LLY#4{RtPm{ zh-cRx{s5rYLT8jX0l1Z|rVF``3u!V`sJP=S;Ey5+1uyPoA#xXK1BX8YqSEzGYa%E0 z{H~jy8eRg}^?S<{=2&YSLq7cZ8?ttDkI=m19cJoU_!7GPqx&U81nj`>DSWory2cxV zvJ+6emp=e_2`}+}FLF{>WM9!14S$EKzJ@%(9LtVPEqDu6mE7bZtIDhW4OP9JYBT(i zzl?RW{0)OK(z#dsaDS{}7Y?u@$rDF!VXEpg`A%5DuGRk5z147KdNEf~7E-t0d?Yvo zoWe@MTGbvf$S+z~|NR1G(E> zwxeu#0V2kP)tfHnFDEqL2c?8KAK9)BL_K|N(tuA$#}Q_ABj7}@4Hh7;*vsEOi$wt+ zXUOkOkK70mJTY*dEsYEIq4o*)T0C0E?>Z)m{KB^Oxg0B$t#mvHc1yVNTr{f}IB|sw z&Nuv??|#LYm#TPj>=*)&Xd0H5{3p) zs7p?Pplh@Op>&UySs8a3ftyaa{46Fj zA1Gtwfj4r}b?TR|d69}Mhl4hVA#osddvc;|WQ?(G0r+_n;KM#KVgb<&HF5Wfj z%5O~IW`+%RJaSD@*y8j#L52$zFeI9tzp-xpPKLRDFnzzqMBd`gtF`9wbsGn;z0m#m zOY;k*qj-bTK1k2F@`&%eLmku1)(A-MELsNz$Mh!|IPw<;=V*Xroa0ksiuK|$W`pS6^%2Gh~URRzWfXQbfZlQ;3 z9&-75ut4d|smOg=HkN0wZ@qyu!DhNVLrwNG%EBcNK;l=yMNOmP{J4Y~E0{Io;Z_PP z^%nCEC-(3|;pC}sw4`4-=A$L}jT18Yy!)2{J~dBeXYQdmka9$}&>Kl(GC%irgkQBfCVlCbEy2# zl>a^zT)#v&iUST%@1K2jJ7HcV!B1^z3&>g*qSm50uzq=7Y^id9tPxtW^?eec7t&M# zZG_q>sSK3tDO9zAg*+geX@u&ta@JULW>SM6J|VW}d5Js>IO?d&)uwE$``>>P+-Q)O{%48gj%WCSRPtkR=ba7-FNz z)W?MPGCrtNhOtmtfcu_(Qrr9ayTfz$0_orz{$>;OJK5>^hj`0uP^_*BFgBPQ1dWY#IIVW! zu0+IFiai6^W6!x?*wjpw9ZH({1fYLu`GwHSXl8460Z>Jx zPqrWU3|;ew;;E{9K|dwrd{)=R3-S6zc@a{zfj-^?4`h#eoSnW*WH|}TEHrH7IQoQ% zfC#_1@}!tyo5t;6edDGFX3+QjeH>CC;jBB4TQOELy@ z{Kmo(WB>~Q3kdSdTKB6mTn|uwARFO+59}b zMrBliNdjqnU4eadCdgJKA>-m+sv*1mv~^i3&?H0XqvNzV<02k@t^RQM{;T4O%9
2@PtSxxv-b2(yk6wsJ|b2)NS*mjbJC^NS%p! zMLvH>b?>DOu=%o7rnzar0fTVIuUr^3(Cv7ym#klEjWL(O4@WTc4F#BE`s6Q^`3V&) z5u>65FvH@#p=lNU%Ep&5R@eK0=p& zlB`|v>#A@LK}CRAsIm*rKLHATqGw;B?WAZ5o#^1u@+50=EmD`d-xWF4?*$yFxPm@{ z&o(m(nD(jXYEn zhliqz#@@#Rjma*iRQy48uxQ$vZQW}2n-tZk<}7m}$}4Uf4LUeB~s~~ zP{*}}7JC1#8wI0@0s%2(9ia=|0-<4&U%cpw_dqwUO_5ck>GCH^!L#k-VuxqR*mGwr zyHuqZJljSxS|;{iIA3rtabG|xRPn~A9 z+uAO93Uvz7Zy}niJpwo&^zu4(QX2%Ap%u_m1Sdp^UKG4|(NoApupZ)ZNT=XKqQqde zClD(Dy0oB~C^43d@nE4`@U8$@IH5L8VSsp6gqW)~199kua=|kKog&0i3T{1LF6d9e zZy=q5Q$&ajYI79)TtHL6MTB^Xi~|j=V+d_~E?`E%KmLI=g^5dQzaVaHeJ;SqPcKaT zNx_RP&jn`rCWHW{0YL|JQGn}(hz#m6uqNoZ>f0c_wZW7B5D&cou|^%Q1Q!SU|{ z@GLjL*VW;n3h3p0v)qUHiTBjuJ4glvfIGR(_=%$w99mb-mqNk1fF2N9=gFVKJ=<~7l_}h!zXQk%lV|aI|0V4!*`483n_fWRSI6LDd+pf<-$iqX~6f13%k?ox-GmX*-){G$@0rk`+f9@2L)7?q zq>WbPRzAQ<2ZuFoB6{7kyKN`K?y~c`^y1j2$U2`_5K=%y1appH*A{)W(( zqr$LfT-Xdw6iWminiM7UzdwHyMD)@BwzAp(<2)Y2@N?|ez3umuY0g`l zVGqJ>$-l@NU;>}P!ru|Q4=D=jF9-MQ1}D1CBlq?9R$&;zTG9u$517+NcGez+oVAr0 zW5i*>#=u_oOPBr#V7TA=C#&Frd>E3Fe|i*#97HdO3v2C^#RMBd3m zguTRPW*CMKW7qC2+aIENcF#;6!ytDd^C`)nX&e5T*xX)Ne|!a&?$^3hVooC=22o8I zhGT%?SHCRno{`#648vrk5eFx$|BfKP1AEgwbs*H-W zTclgV?m=bWY#?1M%ECR#Pbepzx5h9y1BPMy?KIn+&9E=MY{}Qkd@AOzwUvPKTigEa z(017S_(!ntD=)wWF-_ur}v;ti3{yFA`&i3w?YA=I+{Ea{J|wD~3_ie;sQw z(A-}@14a#oC4mJOJ0~k@!CbaSPg4c6D&2fsfk%NQ=2`6Yz$ZOzv680p0-bbzm?bOb z*)zpLwtU3B5MA}2m{lEqABO0vMYi8H8`;EkHRwtDV-@UhYwR`MCGNbY+7lPuppSBZa*>qQa+>LDx#S_Ylu};TPI76cFOIRV=Oy)t%LZ&72cjOp{C2;B3& z7m7U78OE{$TUTK5AzP`&9fW)DJYm@&K3v%mmBm#Ow9?-Uwead4py+fz+jaiUHpnln9tSu2M8`7xkUgh~cxHu49fbH}GZRwJ;0~ZYs=4Z|KT|&Qon6J{ztz(%s!7un#G@UE2m_ z_SVUJJUSJ^-;inkDszM?qW zODAah0#ZD$V;Gi4=084#Yg6&E!*k%OEu3?G)xfc>I5f4>y-+WlZ_!v8Msov*Q)mJUSD*TmKZ7qk+u_2xm7Sy}Q z(+_5@e;AoR`ef%8q*sYos`oag*B5ThL)Z0YYlgv`XIc8$`<-ax1%Mo4Yp!U*}6U#l#R-?4=IwplOS6rW>+Qb|%BNopZ*AB-?z zSl?o~J>LrP-0$@xZoLM(pY>kycHBi149*Jrt3`IY(-JnRNP|k{SfV}P7W$rQGwAZ8 z6Ylin`MD_?_B(^slnq^iYwD?$9>T}Njfm&<`+&zk#k zKXB~#0}k}S!F8GIw?8BTT~5iV6!tD6P2X5knlbFK*SqtIqAvniLTc$7Z%A->r`B0p z#qx=Lh|xymat$!4QK=)1Z5ah7YaYL`yPkp(;{TY;Yro@#)qLIXLlGLygJEe?d+#j{ zTpTK9ZQaWNiqS^Vaumj;yOuOY15oxXectRSuKI7s*X8FxQJjHwfSf%`jmr=Ib|l?M z?HCYWXpniLGl+T4N;C!=?CDHZer3}EV$9K!LT_#mY#lXgt7{2z$V-%E z@FgMpLM^F1DK-&t8_r+`V+L`_orD-6n*K4lbqVXi9_WNwBr$!^NVK3;)F-iTFx<<$;Y!b`q- zgH`b6cC&ZF%`lZ$gjXbh%k$)#q#Gd^7fK7oAGpZM3I>^@ z{9dPK@BF;AImy%mc6hh}^fjs74>Q7i`UE`wPDoumC}q9_!{5r99|5L}GYTwCMQsc zDn&|#`DRA^tUOH$>C}s3~k8#f9YI3r< z1e_6c&yp!%)P64;H;(>z`r8@!C{MRyCTzD-Zi`*}0f<)p`YK?dD}VgqN>r+Q3(77j zm5;*XovwG1W^_;gybKvD0&cstWSo`VxFe?P#idHnmCh<4|J4myFe1U2 zn)DfaA>u`Bm41UY`U(t8UcvNk;qyZPn2V_?eFZ}EGLpj=*>j2p->>J`Iesx50( zv_KB&HN0HZ+M<;_2i#IoYga|M{?Qk}^)%nzB^E=w-k-@b1%B|flAF;Dl6;9_D_!gF z?}i0zHzC;byGr6agz8d$sfzMGuueu*rM^o3iBE=f$j0iZ|7p;)7Rg+`8tc|11se z9@8PrDf>uJ42q+Lh4$zUC-IL~NJ2HQ}=~})UOJRVCQD1j_gw~jXi&- zt*}F&4=8t($JHA4tLe%NUzGG@d_@Xavwz{icoi+Ge$J?zUu%P?<*x`@1719(5AAth zWNpkIL!>R%v(izJhH;PS#uS_?N|H*E=f>M zQxN-9TLPLgkq3~cQ}8f0>(pag*9NF~<6|k1)wh?5*gv$l$_H))sr~U-*ZGozSXVmM zb$Ud&6JpH7j-iX&pxpwJP2bF=+B^VN??IDKueWdm*01Z-Q8Np0bl-DAw9nj%IEYq0 ze5D<7_8upuzQDd!LBNJgy?XCG8=|(_9#k@qW~!||+5zWM9Zefge|297hp+wd@DkUl zndnqR@5-$IJTFQmrSO3+imL&y`J>;1-<2n|)z%u(4XPa~OfFp-N;l_+6Z*59#U;hy z@Ur_4f2yrd$Z=T1B$WlNB$s?W_}reW+0W&s(j{&jtKWZBO|%l>`lnG$!TMx1 zI^AzVPB{o{WGB*-I2Uzc#`R+^Yi*0AufbaCrI(Dki*xfa_Mg9vS5#+h45juS7NkMc zqZN$#{*83dP&(ti7twV}zAAMrpBc_on(?0_&Q48cz>3TAq+eOoE?LOo^{Oj^P*V}~ zjQWGF5@B&7D}vdj%VWH2s|?0+$AIa>86y#u(sYP~vPm}zXS`=C1!lA|cqIS%JApy- z14`|eJFf%p^)VtkxxOl!CPK?M+92L^xuJHV`l26yr`pUOUtO&h8S;0t`EeGUs{U4 z+!c%mMX%z2dcffYCn}-Fckpegh!z27cWv5A;`3Nd><=P*cIR>y4U)h%@n`5FrsTGh z;1S{Dsw#ycpqTnr%oFH29i1jhB4B4b1@CeZJP-ViQh`*6d|& zvvAvy(Yax?(~pv