From 45375f842099474d20c2a5cc1f63443376567f9a Mon Sep 17 00:00:00 2001 From: Markyan04 Date: Tue, 21 Apr 2026 14:11:51 +0800 Subject: [PATCH] fix quote probelm --- .../main.log | 28 +++++++++++------- .../main.pdf | Bin 1116013 -> 1116586 bytes .../main.tex | 7 ++--- 3 files changed, 20 insertions(+), 15 deletions(-) diff --git a/LaTeX2e+Proceedings+Templates+download/main.log b/LaTeX2e+Proceedings+Templates+download/main.log index c0274d0..58cc0db 100644 --- a/LaTeX2e+Proceedings+Templates+download/main.log +++ b/LaTeX2e+Proceedings+Templates+download/main.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.28 (MiKTeX 25.12) (preloaded format=pdflatex 2026.4.14) 21 APR 2026 00:15 +This is pdfTeX, Version 3.141592653-2.6-1.40.28 (MiKTeX 25.12) (preloaded format=pdflatex 2026.4.14) 21 APR 2026 10:32 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -504,9 +504,15 @@ LaTeX Font Info: External font `lmex10' loaded for size (Font) <9> on input line 31. LaTeX Font Info: External font `lmex10' loaded for size (Font) <6> on input line 31. + +Overfull \hbox (7.51218pt too wide) in paragraph at lines 34--36 +\T1/lmr/m/n/9 heavy-tailed fluc-tu-a-tions with-out de-grad-ing global dy-nam-i +cs, (iii) a masked + [] + LaTeX Font Info: Trying to load font information for TS1+lmr on input line 3 -6. - (D:\MikTex\tex/latex/lm\ts1lmr.fd +7. +(D:\MikTex\tex/latex/lm\ts1lmr.fd File: ts1lmr.fd 2015/05/01 v1.6.1 Font defs for Latin Modern ) [1 @@ -525,12 +531,12 @@ Underfull \vbox (badness 10000) has occurred while \output is active [] File: fig-design-v4-from-user-svg-cropped.pdf Graphic file (type pdf) Package pdftex.def Info: fig-design-v4-from-user-svg-cropped.pdf used on input - line 71. + line 72. (pdftex.def) Requested size: 277.69987pt x 77.79225pt. [5] [6 <./fig-design-v4-from-user-svg-cropped.pdf>] [7{D:/MikTex/fonts/enc/dvip s/lm/lm-mathex.enc}] -Overfull \hbox (8.34737pt too wide) in paragraph at lines 137--139 +Overfull \hbox (8.34737pt too wide) in paragraph at lines 138--140 \T1/lmr/m/n/10 Because dif-fu-sion op-ti-miza-tion can ex-hibit timestep im-bal -ance (i.e., some timesteps [] @@ -539,7 +545,7 @@ Overfull \hbox (8.34737pt too wide) in paragraph at lines 137--139 File: typeclass-cropped.pdf Graphic file (type pdf) -Package pdftex.def Info: typeclass-cropped.pdf used on input line 195. +Package pdftex.def Info: typeclass-cropped.pdf used on input line 196. (pdftex.def) Requested size: 340.17958pt x 122.4462pt. Underfull \vbox (badness 10000) has occurred while \output is active [] @@ -549,7 +555,7 @@ Underfull \vbox (badness 10000) has occurred while \output is active [] File: fig-benchmark-story-v2.png Graphic file (type png) -Package pdftex.def Info: fig-benchmark-story-v2.png used on input line 225. +Package pdftex.def Info: fig-benchmark-story-v2.png used on input line 226. (pdftex.def) Requested size: 347.12354pt x 114.69197pt. Underfull \vbox (badness 10000) has occurred while \output is active [] @@ -558,17 +564,17 @@ Underfull \vbox (badness 10000) has occurred while \output is active [] File: fig-benchmark-ablations-v1.png Graphic file (type png) -Package pdftex.def Info: fig-benchmark-ablations-v1.png used on input line 279 +Package pdftex.def Info: fig-benchmark-ablations-v1.png used on input line 280 . (pdftex.def) Requested size: 347.12354pt x 156.78598pt. [14] [15 <./fig-benchmark-ablations-v1.png>] -Overfull \hbox (5.31874pt too wide) in paragraph at lines 321--322 +Overfull \hbox (5.31874pt too wide) in paragraph at lines 322--323 \T1/lmr/m/n/10 This pa-per ad-dresses the data scarcity and share-abil-ity bar- ri-ers that limit machine- [] -Overfull \hbox (2.54008pt too wide) in paragraph at lines 323--324 +Overfull \hbox (2.54008pt too wide) in paragraph at lines 324--325 []\T1/lmr/m/n/10 Overall, Mask-DDPM pro-vides a re-pro-ducible foun-da-tion for gen-er-at-ing share- [] @@ -744,7 +750,7 @@ type1/public/lm/lmri9.pfb> -Output written on main.pdf (20 pages, 1116013 bytes). +Output written on main.pdf (20 pages, 1116586 bytes). PDF statistics: 314 PDF objects out of 1000 (max. 8388607) 0 named destinations out of 1000 (max. 500000) diff --git a/LaTeX2e+Proceedings+Templates+download/main.pdf b/LaTeX2e+Proceedings+Templates+download/main.pdf index 1779d4449bdadfcba0708b3ab063cf713be57736..1ef4e6e749064127ce2451ffafcf6d2906653ed5 100644 GIT binary patch delta 45617 zcmV)aK&rp(jzp@HM35u`I5L+}uMjAItr=@?DAmBBX-0adSl@xDm=;NRT*`OEifU*xHGw=NUU$j|7#7YENlroX%;@L@% zWO(w+o(-S)MR)sO4~l`muM6SHZhx7D0<@lfGYk1S4nFnW{y5?|K?XoOSBM}CL|p!# zL?FAGPyaMddT@MP7DNtIlZ7r~-jj<}3afHvWDWrfQ4|yr*jXF~S&=V)E|7<-0$9!x z-Zz6_l&5roA}o2&hwa*rOHY|vt-&LZ`9yf1J3HuM98jrA?DacF-^fAo=(f_TtK2l- z9jr3dprR4Y#fDt91cAEc+j2X^?w5QhP`j@vC85g3^VX6 z@UOIB-v83+r!_He^?>Jp9M?tWIr@JDO@LYU0t1^D0DnY6$Csi%=1d4mDDlw^wsIexBNfYJQH1Sq{uO-|uiI*}xqblIQ zX-izItq?Lmz9f7A!od-UpHoOt%xTS`m0yNI0?`~5lcf3NId(9z8iF&o`o&M8(7O-g z5Ps3xPqGB$TaU1VsJc+CjCJf%`BGA#cFPZMUi#&1B|;G0G}wD#RQZ zquplR`Dd64m%^xjjFJ{YH>R~X%a9+ukj9h>h}_$>A6>%*lm)o2JY)fH^^ZHpAf4pv8=94JjE7*#;}3U3_e%mgAI4cdF* z!Hi{03)dVCPJf@SAm>>ts6d+G2khzzupj6MF|%{HeBR_C9NDd0y0Sc1{*aA zas=wUt(9i4`D(DL*7h3qjNXnYd9tR^IROqHNPX&&A)p3shU!Pij?U!FleRrpfQWrs zr(kao7q%ofS_t&3p>YeIHP{W>e3-h$r`mJDBSgG^I9c*Z5_3wF+p&RT6q{-0{cT;O zY-ky3+DX$o%&7n;vxGAleV~}IHM(YaXJo6M=@j$8s6pzcH_9ylBReC_H;lGaoV(QF zN1hYZhP~0*&7geR%(O9WRFPiFF2d5Tkpef1N@FyUlMY*_9VA(v%oa z$#QyshA=d17nsWoC4<;Xj+R0@peO>obSsP;z&2}M+j35>N4g6jh66Y+jUXE|mN#JH zC7fi~4)O}q+!DAf-F8KKU^yr-+~cSxI63V5p;pYl2arkw-8pga4eG(c?=O~(cDJf7EEG) zsu>V=&2Bu4RS3PS`v>S*(=lUsWHQJc$qtX zY7pg8e}sV;2zkyj;99oOqo!OFtfDSn_0xyXuo@E1?Nqr_ZWF*g z_R&^hTeV@tEM?&i$+1hjGRra+;y)`B#wZ-LqZg{U%k*|yt5j{z*9bzy%RJ}ot%$Ky z?s)XmEq~wh2X{r&^Fp=|DNf&iLu-Dv3*xiO?RYAzjZw{1 zpu-HuVyaQs{Q3yU_m?dR%BAcpS5Kni>(a+bykDGSw2X47V`^PVj$Al@xs#y!-PkZR z6~dI+qgm0-E`TU|=*{3Cu$=0<%Z$%+UEvywxF~0dg77by2O&$3u4Ew$C_1*WjL;D!YR|DT~L`(p)|PdMhop(}_!wh^y)S3sG|1 zQ$q=b4k{Rf=*I2iT+^|C3xiA_fLk}m*$TG1Aa+fg4gpum);-ZsbO%CH_l8Z6dxCir zofFqfLSc^eN>91Z1{WVY;QTlW@-X4^e^STiwGcq2w%?yMvlL?Emnmd*ijV$TNz>`+ z`LigO4h#I=$60a6+-G4Wf(Vv^eFr9J|G$)+!VL!3akbb*if zD+r%Ko}HeA{V0l4d>g|@dbAVx)=tKko{LeEA_&vW<>uJ~P@D-avUB$Ugox7vP@E;p z2OvaXFTv~FV+<5W?v28gP@O~bD~oukH%!M96{I14MQIqJJ80m@X#BUgAxk6yxylDh zXENjz(!M^uJ0%%Ikg1xnrh*(MU6(-?J{3i{Y7bqboe1Cr7()HND3I5jRgAT&5NE;%4H zI5jRgAT>8JAT>8JAcyro3y1YT42ShU4Y&0_4z)lLH8~0|Ol59obZ9alGc+_dHd`aTTO-CaX>cXxM(AUQM)F?6>yibx~fp>(%&H;QzJ zNSDAne)hYIyT8BRg9C>1%JaVBxu2n>)X-*?v;tWGFK+ZDeV4x6yA8ZRyw**66A%7Me9D>NS0C}J@&<&!r z0$BI}RDob~9Um7UCxF5HAD{tp2eVq3yF=7KXB#_bAS1*@8sy^RW@lpy{u6_nmGw`g zKi*Po03~xv2auP$gB`%!*$SYiD6EGPS)GXOXNo>|X@?&amhX5--wW&^p|u(>$?!%xT7&K=+da&rJcK7ZYSj=+Bk4HbZs zxt%i@=xpw62{8nlgFV~6xALKQdKGHAOjDZ5>t> z$ly7%s)8WZab^R1ga5Jq6Hih`MF=3k!3W?JL{r+FMwVkt-^`FXHdAP9aI)B@_dH@w={?8gBLVl6i0Kotb0MHcx z^tQBR|C8>YY561O{3C{xA;8ZCUx`0fv7Tl@YR~Rv>3bAAl9m8kt=U1cnR* z!+-xjd-gxMXY4S83cy709-u40RU@|8}grS^6>)LCI5*2h4=vMQZI-f zz%KoQ1OV(ZFGvu;F8d$E&jDbUdqJE4cKH{?1z=ZrLEHd##TUc_U{`uU5H89u2!Fyw z+G+z*ei`EN*aM6B25H30|2*O481wpvzy&wn| z{TBq`V(@|>Tnzt%1R-3EUJ%63{6C0`3zE>>#_i8u{#yna26l5N7szV;S&RSpL8KNh z2$I3_KZqBivjjOprtIGm9-coECx54xOq?7L8diTnNKIaHa&be-05rGs0Kdo}qs0Et zHoQ3TLSjIM)ZE?nWd{DlarH2F{3|r1z}7F23&Pdf?jCxSx$qo;)-ToO z;ru_T+kZ8I8$tmx9RFOw|1stJM`j25tHFN;`(Ls@rVv7Z={O-e*B8hG3F+zqg4}-= zj{il0lSkl1^WQW$|K$8f^?yHdPDpqD>K!Mf6)%P0{eys>fAxwNV(xC|{c;ot7k9_M zCybL5lIbM@FQhDBTQ}feg9<4h*bDTR10;sWUl4K#&%Yp~8D4*lC&b(PF9-?m^B06P z%J+pFB$6-C?O&<>`$?_w=S}6GOPJ&3(fxm~aQ|R!up7t$sBdQld4GNV%S6>2>}Kcv zngeo!azf;gpMU>n@?QyPUoQW@yrrZ--hQk+Jlp_QEuu_v z+Z(dJ|Hgk_WdJ~+H_#G!c>!c89B!Z57+Dr5TQF4)M=Qv7T!}Acp!5!QIb*7wgit1T zlL{za7}6Y^NmmF`QGXCJ2}}ubE;gVI$8&sIZTV0&d1<97v1J~p8c2dJD>?c}k4-l; zQ*|l0ypxLYKOdou?j-N4l^JQ%Cf?*NisB`l!Xyhw%FH`bs=Zeg z7|&$6^0-}ptbg4%axxr6e%eI5ZCEx#jQK!rj{oRE=s!YRDni&aYay@@_Jid6KxsI2 z#b?oteFW~SBPIj*t0!gR@4G!qpfq%TwHTdLoeoS)*r_i+kc~47I{vF#=k;&h*TW| zePe;o(O7h-`?T(nv=ZSKA@K!ghvl$J5_`OYnjS0u@oUQKxW3>sUQGnI6vHJ>whR7+ z8GS0x)j0GwYfeb~yZ-*PS4j5zRU}%eiLbcrGum|8O~V@uW?z3*z0XC%HF9=WH9!kL z@OvAfqJM~q6$}9tDYdsOCP^ykD=W6^`Mo(>c8B}T zFM8JvA_?C>*aF5MZ;$pk=Cj%d&9%LH1|;AmdVzG^x!fsfj(sE1VC|dTep<4S6UKdZ z7p=kD)#dJTDh2biS5a?1xW>pJE>S<0kJik2nty3|Fz8aIfmcXibgYQ_lh0-{;~Xq+z0iJ&IB=c6i4LQZ_0+~Iqq1$_Z_{|lY&y|hq7xQBsE5K_+XFfl=q3kYzF6*1~rP(&-gjU z6&}%jXU?T2wRQbp5qI_9aK8pj3Q(`y)TN~k;BocxR2HKm$2^9?d%sg zmk*_&5sM$QJeDHPJ%es#P>owmaWQ-6SYw`N?44C+tffc$16)}y^W+*wgq#%@RDb2J zYZFWu-=<4u>K8AA0A)`ja!u=Oo|Pdu$Z} z)HR`{U|x|ckX`-`X+vL;Tx+?TPk)S>$JJ-(p^l;yX3Et^HV|RYKKd%7Zaw-ScMux6 zuixH(e7p;W290qC<5UT7OFYHF_rqSIYw^+O9~$gn zwpK{ym0T!pa&~74ocCTvjeo>;+X2Cs%USahgZw*%Ev+g?yp=>9H2dSo;zv(+-0IzT#p>Z!( zhpH60&ohLw)nO?R<#0b^<&iO0VOdy5D?Q|Or_TlqXYr9uhG?pglYgx7F|-=H6R4JC zhQi)J*{JHdj^mAspo$26`E~UmXj);7j~9Y`a}vzGiF7>6;X3TD26Sf_!T;vu@`?@3 zC_#Gw_E!$uwj?)Ztc^E3dD)Pd0xcnKhq+sB7&5MnM|f-PH#&@*5jaby_$S31BMPEv zZ9&)b`OX%^G53A=6n}}4*r$q24YRl3Meee^&4sQ3Iu+5|IxrumiF?B~=@zZWR7$a; z46~TdTeLShQ_WCms+3Dz)eT?K4Xl35Qm4J?Yk2nnPRiK;X;)y#C>>La&2*i|XPQSa z-i#;Y3KafS9pbwnU)`5zoY3H-!zXxfqPxdmDr>1(?h=Gno`1Tn-P?bXKBR3;N1RF| zHta_>h(P;98E==iVs@24+JhBVFla}>T=sFyfP}X-ki2 z0sLm{M}Lx3$KK_(GyEl!7%L;4nM^2)PV9T^?YI1DVO%ZocG}M?uw`CI8WFJ@Nv~$K zx0N;suIYmwldBwEwE3hr0}j~Rl}dX}mPD*J3QtzT$lkJ~b6E^Mpow5y5l;C0tQ7tb z7nZ|P!*MT!{;Cl5i2bKj}jA$J0j4nrS7MZ1R zzVN!Qx&?;+4yB3RTtz_|@#u4d<#9yhbk92MI};>x`;Pc|*eDCR3;sPJL(hUBK?Ysd zc}v*`Vu4Df1zpdW`m1u>0-kacZ2l^r&^kVQm9K${Z&9vE3Q;bl#5c)Q>1cQ5Cfp3d zy??ttP*AvwOPL`Vf2N8NJUsZ$FI0>FMpmQQ;GW#ak#S>NR#^7w`3(;~&e|I){0zqA z)0C@;X997W=*!z2KllZ8{su+IrB)9ne?q|q1miH=UT7c@J1S8+dSDPmw}AG+mna=PAbh9b~U(=Q>9G(_OZGYHt*x*f%lI~+HS@XBr>F?wn8`Bw0xzz0t z?kU+E)r4D)gu@!gKruC_AOCM^Z;r*eF1 zG$T3se_8H(7MR$?@fyVXsNFrmjL!fOrP(tkj!`2=RE*G7WS(uf8d{8G!vjdxB7fLV zQe(7{j57sXBxn#=O!qSnRwn4SWTlL$iyjUz$I42VELlG50rHh~h3Gd*uOtABPc(v_ z**2>kLsfB+^_ncQl&g+k+V9<0*|Y?ehciXqG3Y<%8}=4(n{T)n`QI1R>(iM z59_+h;g|G3#x&(Sf!eD7X$9^bm@2*7~$)3PLZuR9Dgj@J&C}y-yPrzq;K*qqU_O~5XR8j()rcu9W&g<@_1%A z&%PvUy88e_qOc766&p>pIbN&PbW}4DzH`BLC*SHQmxHU~ahJ?>4?x4S#v!mt5x2O7xsB zANMzL%YlMrUR?b&llf8y(SLUdWFRP563lscT&t90-G(9_n*qMnX8B5sASoJY=7 z!aB)fF3)xGP$`|g^zn9g|LF^s*hd^eFJwMI@eC0ymBVH%ZEEMo*w@r#?L{=dO=YwO z1bQv2<05zRT%U*|41XBldQh+g52e&r;6I{|un1U0A1#hGa^juY?)Oi-x1z`|kCzI| z_JI}xhWekKBmu@3A-~wW!lo^Q>Wqx2cacxgqq#8BozsV~^>~~sRtNQqN_K>~07(M7 zp0N2Cj&GBg-12;Txj&@I$Q+`*aWr&J9Kn*|)#`soN6-Tv6o1D@tMoz~RZ+``b420$ z%zZFwgXCAVLnv?}{M9OW;3Jueiu#P?ky`*~p_}{6y5zxo=-WUH6=PFCl*=KIft_Tf z_cU2{=cCur=>WiqpYEz_4(()NZv!qFUFpjl9P_&RlBX9~XO1?VLEx3{eB1ZVv>?X> zIpr(~F0yChrhiWk?#~%|`)%?I`Yl+36X}^JX3AWCi@dlS8flzJsD{8*I#)|osqIK-1 z^R+V@SBTd!^N)TV?S67@!HQq-&yeg(S|7f$!iG&4tZ&#XyQU&LxBs^3?Gr{dXXs6gy{rmG zkP9eA?Djhl)FZZ|MSEC(?@BET-+4~YA5DZaty*V&(K%5k^E#~h+X$?wwUCHcJfKl) zt`~j4;@q`KJ2j$w5wY=Y9DgHB;f_qyfS$&Ep z?C>fRy$5!KCmsp@LUl$RGlCj^xrK6YLPNAN=8|2?-Z|z zQF@)1;XJVHT1dW8Nu7Jv*Px3N31UsdPJd*@T33muwjkZUW4_fULb?CKy7hd@@#P+g z!w~jeJp%YD=xVn(u5K{?3IBdGj#cUTSVJD(K+WE%VAo}LTKFp|^!?N9oF^qeh@DxR zO1nE!_E#r4t%UL|4vtT*KAlxay`jddFTxd_@dzv8s3yw1L<&=Uw&%G=8;@yrfq#@Y zRU+pP0;zb+fuHVowLInU)8JFD?2*>$szW_{zXs zN01r&MSd|`ij9C%DRet(w1Ioir^$+puC01iN_Vu@1z-W?+LpyBtcJehcHFv4HWBW; zy{1&{&MsN0;z8ztTkr`#njKPT{4QysiEco#N}UM&^$zO%Iy($b=P71z^M9^L55n(I z3FoI(CYBjkmZYkajI@e!8Rza;y{y#R6*f1d+Of5-gP$Yuolp?eS&B16BHj;9>eVB3 zeMtw~Eee9YF_Ppl-Hl|fJ)De-751=sX3xHYUM0*V^;actIEb2@M34+!d$htCAv2=&?%XP=ikD!g2Jkes zpOp1yG+3;dP281Wme`jclO{~}GpRTk{IV6x*lHzk!8b}{M4F6ZAJ&skF%)vM3utl_ z_r(8R;5o>aol?&Hk>6f8j6X9rX0&o{2wQAVb)sIonS2zp5B#hk(0@$G$jL-#KRPvwGMCTEhR!<->Bh$ap@_)d)DLdjwfpe_y@OpP= zcQJl+SL0OVYxGQb!_-f2`s0vK89jcYcxU-Fs&EcZk&9fNQ;@8vlJVs(nO;#0z20Q0 zL!y>q@lTpSyNl8doPQJFZJ!yUMUv>^U#r0Zc?!$t{J#TRvBOwXEY_I^p>S)k{kOVg z8f@r0z?VDj}zd87ne1|)D4xf54kp8F}5GeBf zbH8x?>WxyG;F5cy;M>q8)%tVoWLf?Gjir(Owbafm+%n8yQh)j|V6-X9wkEMXTCJ&b zb|E*Kl{jJWj6X(z`>Rg`m<*3=vASre+NZ(3du3QfCnkmJ&cwZ8H>c(yK5uxEaQ2+U)0rMrc76DCw)tjI$g{Hs%Juw;)RnG*LAd+8Ng_77Z^fR zOYRDqu%1i-~K2iG) z)J+Usg$(r}UvXDDrL|UNM;zw(ZY0#KkmE6jFo%Ax!Tnuv4(hw!x}#u?N%^qHEw9pj zsIKVY4I6bT`;6T2fHxh^O%*EkAUXC!%ML|!Qn@buIw1fxRJeE|9FHHKZ2h=vP?4eo8>LUO$j4v}ArNDUUGO z!RmfqOzLT6Xx^vWJ|C-lMTKx@Y)?srIKE-ICV#fK;|k|NT$({ssbAWdsaigCjUArB zAmerWIHyC{8sKbL`NR^~5aafp)DwV;%EXz^JJ}Z(bG%ixRH;l;`Xii~^Tv_)O??ZfKYVYZtkoxJv|xthkdY!% znmSE(wfO|kONvwb&Jrcqx*YXJ`)lQ`rZoCocOtQjXwg`0P-Foe1E<+{ z2-a`IcKzlKb4g?aHT@W94~^~c9a-T@TA*(#61)Z;+!jYg?X=G%9px(DvE$QH%%J=v z#&cWD3;nhFv*F{V=BJIWa6ma;0Il8RyJQ>O;_4kc59r5y_T+saRO-OFp?__J6biGz zN@W90XQEDz)bQLR6Wcycqo}nYD2Di84RDLJ-BL96rR-Y`_8Xu1s(=c(lpH$=iAIh~ zIm_qrwRg@`F$n&3w-tN8uY3h|3B4#KC zk|>O~!e-ZOopzKgJ#I0A?SDrwg?Rd60&NjDS`h(eKT}OeDu^2?wZ-j;1op981=l^C z@q-#_bc3)vGrgxSe+UaxFJu^O4zUo093>E0+EfO01^&vf#(7xj4WU9P))4y)%M%Qr z44>Q->M28I$C`E@W`=#%>Qx<4Fj0x6r8Q?ecH@3Ae;KNPY=?kqaevHp7~AW(%{Lmw z@qTh@T6jbGdQuIMs{gb6i5{;ETlvUlYLOmapJ1MnmK0eM%A zR`KKR7xHVxGm3Xbm4ELz(OBwQNxJku$y>aJW}HZ$&*FKSv`)X7COA}4I@Z54Z{}&I zhVHFPT;_lprWIJ?ksU!HQk3Zm`F`exEVB8v2bpp>z z+CHa8#Gz6k*`>erottJ|rCrReeDhp~?X-jH0&l`3#iwdQ*wUBkvQCQ8-mE9DLdJDM zlbQEhA>HV=*Y@VGnpKcS*0gO@Aod_>VG&}T(=q#kx%Mh6EEw^GoWL*0I8^cV{yb6WK+W2?b{;Z{SF@LM%EIkprjrN;%Zlyx8aIDaO zo_|M&TEK(nk%T(%%Z{({s58z-AUmuq9<<0W{9XeElWeyK(`Rqwr;Pd!9?4C1jtV;L z>tum0jGqOgvAam@CV}OA=DM*JyT4_|dJ+RB7fa}NBE)BHD@@bpUD%oepeKsZ(MWI` z5e{oWuUI zPPz?q!5Twjrwupv!mz)`Ed|$nKO7w3Y{H0_1AqGZASh{PK}UP8D75^BnE83C4c=AC zrBY>nAsF_y7MhtDH46X>?a^EosD@U;0oKMe_17ig}{Cx z8rLx1XJFxzAL2f1((hgpc;ZPeuzk2K6TTkau^RXT7WTa-@5 z^$HWr$z9w|D{(FF1`$d=Ki4*cWNnxI(Hg^%uGOn*9tB-FX@N8I9}+{7UM&*OQHN)8 z>B)g#cQGD>a4J7dhzwY*v$Ha+mhHwTzkiow_AG|tRuSFVV{&DLMN;VJl9HsNb4PG- zQp-h0%+ z4|8Dt$&=LzJBDyrCn?x!FXye~9wN%qwsqdJzoiE(?6C>l^SPub<09v4*!Rg1u76A$ z%6aJYug2P-tclOOB_BIX%w6Mm*y_&+sHYbsYl)~?zdZn?ufd1z!@s1D+;?*|Dabs_ zHw4Dc&9xKF;*zUiyg1Mq^C{H1+_KJg*DQ1KcZt3M$FV-`|2!D`)D+)?J}QvQf&SaA zLPc@&&Cl^%qGRA%`<_EiGxP_PeSfU=5jL&dqrot_(2fXB>wxOqxYzg@V$|rIBD39> zZ*qCxeK4U&(G_7Hq-oflvNgwf{C$O@NsHKnorX}+mH*&x_r57>X`J?AF1CF0tYL&o zYt$f(;=8<~&3;#;CyTx0dgNLqm3$|X(pznRkz11u~5~1vxge_xe7TLbCciC6m$O*l3kC+v$>nC(hEReSgVc`-IKY_#wQPe{*_sR|QRhE19wSlqA)Q6hEph4iFckWY=Vg zGt#ZjJ6Jar9^|Ky(mI|(l|bSABf^5@qqKz#+(l8S0f4_lA;@=OiBU%8>OcrB#*pz? z-CY^^THL={hay{(oOL3!e?U_Hk&)3!=1iKLv@dk8n`^(R-G6fdg@B0kX+A-laNKQ7 z`Ln)s7R;z|j+dr8v83?_`%bm?YGp(&%#Z$`)OOgFUlsM#$ipZ}P~5JR7q#AQW1x!J zmaTxxW>PoHF>LwY6h|x5o6xl#QyPbKiSP@Vlx8L zjk2ui%_LQzC4VHOw{gOUNPF>Gg0VTVR`m7x?m7P zVW(IvD&gW+w_k`Ou#6)J^%yIB{dG9;DYePt(U0ivY=1!MAOeLiI3Mb?)aG*;)y$@A znUAcT&Q^u*s{&e$ExjGOwQErGs0eCqIg8BH2K^h3PVp&=V3Ly~l4>}j+3XJG%^bVz z9GRx#gN%vv@3^vtwojvC=kcx!TRr{CB7XeqLTi_*r(DkzC~!y*+!0qrKSJxJ5=<8! zc_g?spMU+_3|kG(@bXyD!XlG!5^HXF&bJy(O}w?PZoW7_MR{OSO*+x;is304>XCE~ zGnQs|@lzoFxb&sHh+buRH@vMaNY@s{AZi`6H~D0EmS{u>=E4MvBUDZg;Rh3c-@so# zKsQfs9H=u?6Lx`>lfvBT^`&q4Xtl3*vdRbzlYcvx^awUX&QmSw$bk+p`wfk)T(K#B z&F1kt|0lz}Hu{Q}vhih`J%#(-z1z1A5X#03!P{6kQO9Q?jrpir{q|7t;sT)q1>@qG`T$>)-Ob|k&Y@>+~>{7C%Mn+$dmO+juY5y_z= z8`$mG+4bD@ZP7S6ZHtkFcXfk?ANW&yRfae{Cm7fqXdQ5avCOu+N}Wg=dG{;9R(yQo zmR{3ab2WmoALFtgV!6Y*(g-eezjl_kEPwsLb<9lV>aU5EPuY-%sxM6}LAJL&gI@Lf zo;B115}&D}3!GX;Y8!ggWu~_AlZX*l>t;2c)*aC&SrM{%)9q&KJ-1090pr%#^KqOB zQ%6*zV+bR5XIvDU#-DGSHqK!sykh7|#G2MV88=Yk;;SX0p2g2ioa0DWN@8!Ea(`aD zv{N&`4Kg$F_qApLl6|j|xV^8wdrLU8>=cPGesoSv%ze9;vxLX%a1 z)+rv^hG<ivT;gs zI|n6}a?4pw7L?D7xBG2q@GB0JwlIu#$p$y&%{EH^YtPp@JXk;(jJ4ObwbsO-iti(J z9!dGl)OyUcC~(rhkf+WX|u6>s2{87||mt2U}5+s8JVBQSBP^>K6UxE9re# z=xcZI)whXT`s&e^P&4kP!h&FURHBNQgC<)W`u_Z))X+uRunn{I*M4F6+`?O1v6*IX z4JDah3GeknQJdfKZ0qaGOUGYpBa39>qfwdk9H;bHyw=SWhcKry& zIs>O<-YIh9ZkscwVOP&rmGHs$QcOo5h2Zou!{_IAiV*jA*^~pr%c%!KW%?SHC?TmH zp=WodvCL-S^GLRUy!!UfG-rT8Sr0omhrk&GNc4h4%{$baEh`IjF1Ibs8wBi2l zna+oc~z*LE^9QXa23YgRr?tdjK+O;Z($%-eJyb84SFz90r93ZF7 zRsEQ}7-HE$=_EGsSug$$hcziSe-19N&yWdb({Ns8J=uz0zJFDdOg`+4#FQ{PYm;@D ziobr|RH92u;Z6Kj9p?V3f>nb9meD7UEQ?y!8T;qH-!`rp8m35MDElc)1uRA4Q_=Vz zN>FR3$2sUyTT`?#Ofb=Iu)^1#3uF4wN&EXWaaVT{+*Oe<`_MLRSth=H+Hc4k8fo%75aU* z4gnd{$nbzz92)}7GtW(&eCBHv&O?}al5LJ|MFT0gO{Q^rC!UNwK5Q;EDaJvqlDZom z9*D`>uhMUglnXhxq0(R1&1vhcb$&i$u&QOF{7yC#duFY?X^!nxz8l-mp6I|hxIT6= z3`^Qv&3}C`G@U$gr{2xtQ+IG!ov^ss%whd0lH)r~Dr>HoJR9`mJ4%o&%*N|Ntj?Hy{OMCw3S$`m73YX43{$e@I(UXYha8L^CP-RG< zX%sb4j?J)AP)HSGhpqAx;_xhS+8SRz&C}Iu_+l9QA3EbhLD{rX*0P}$WkSofYU^bj zNkY%O-o^a;bL6Q`VN@Ri-qinqy1K_@Ev1VLI1s}bp;hZc*_is_u(?q<&jzS!S&&~f zLw{nJ(n)jbDZx0EUnNVCe&0xLEBr+|Xl0%QQ4ar-rSB8w*Vob z(WkT5i}elf!)rKa2(#`#HrIBD}Teu&YReNy8RSb@~G93x6%P`_~hHx>#gub zP|t5liwkfu z{1na^*~b|QHJ#=yZG#vuFN7}ES?_DkoVvy+l50A1chB{=P`_yNEN3^-ml%}MbfUqL zG>INE$I~JO5PDK(|8`9GU*+q&qbK0ifnNq@DL%7Tdu>=YM|?BeHXg^h4gUe&`J-WgJgglff3 z&sKnPI?A2*-#Xqi$a`>Z0JoZ-L!(n=lcy0xe!kfia9|4MAo{Yme;1a(~AhNo8Le zct(9|d}hBQlq^ZTe2MUh@jIPeEgN-|zB#R5sx1U^Zx6A@6QP-EwYCBRlrN`7Vn`HU+^MCYcn&Is;-7K9j3V`u~Tclglc{3x07>3IWgS;s&pr4(N z{EOhU031<+xr2)u)w}7skWUHun4ToU#2R4E#v@1h3VDgkCfFM*l3sImiNen)*WU#2 zn&4yTS@B>mTld;Ejd*mQ&Ckp06G>8}uxgM67DnpY7wmkqNxj-^6MreI1;xBwMLINx z%2qcF9qe@9xulheO~sB2k5us{xGx~qI=VQxTcC%14YoI7vdvvw6}f>q7ZA8D55&yx zllV1Y@6r+9VknB0th1t&eA3i-rG(qzvZJ+|L8|I0a5-V1F^K*(h_V(9-qj~^EJl`T z+p=dJmM0A0z!EiEz<-*5xb*5X`}8RCsVoQXG0aUm(XHUqLJKR*bkj1WbH{jnI99t&V2h9sRs^!CLlsbo<8AhpAiv>+dQHjM;&`(pSQja1eT80VAEVMqpNY!y;9Lw&;zamzkR>L{f3mR zvMlrz0xu9Q9F9E6_1v|*zv8@n|LMYK5H&%P<9&Y+&*H~>Bi8DT-j?Le)u{5&Y5mS7 z(R$7TTx*6|*MHt=gS=MY(9E3wQC+r^n1w{OKB5+JMXqLhv&fDR2yj*?At}H~Lj<%_ zAat9t4Dy$N$0e9d_L>T%e9H&yBhfbh5yqm)i~02qLF-Hy?*7g1E!Dd0$fRo|sv<9w zxCfhsZw4L=A67Qh;y(>hnp45AdAjIxFs0lJI$%t=U4J6Uzs*@N&Tzge9upWbu(E2a zsk@A)S0X`P>|Mb|kjp76&=G4hGHr21z7jE(q!vdKP ze^|h+Emx_#>rlBInn2i3UYS!-6KBQ|?3#zRGD?HKalW6?OELDlxh|5}07O8$zlaY5 z061^%*}NGgT-1MoGf%paN0@}S>~NzZu1|Yi8!Pjz^j6w7gbiTA?m+4`relVO`<#TR z!&9p1-Kd<`Nm&&cqfxcLuOiYEH6_7yNyXCWNGB_SB-Hv5G^$MVFuHdeE}R=# z?H1C0Hrdo4qg!CYV^|3uj1^(couj_r)IW@< z3NNFuG@1k2hhyo8FV%f_@EzqEaaNL&ZX8azP22B|*tM*BjDPjM^9|kf&Q0eVbLr(B z*f&eH`Vt@Ux;J~iq%j6j(@I6`woJ;dVi-3l7OfZb@j4ojSw8W8;@(0p!EMo^EC=)Goyu`hf_Q$x31_w$DA>MIVsKjRjB=KBzkxjdB0$nY0|n(ek;#C z9lR3TL0zZUl&27-QMeqx_|b+Ri|m)>DYt)$t~`HLfZ+#fo778=M3^8e_sk?;ai~pF zw-ra-3#U3`y!pc5yx}HJ3(*VQvsxt}+4heIqeLtJ)l0PzgI9ls|1_ICMgiqApnjc)UdjGSvz|WOQDzk^CLq zyxJ{P_zsB+MyCycF9k4@xpWBJb{~j@!q8JSQ^Q( z{J~W{Hr$8pW~zUaM`{i(o`T-f{&Zgao~zLxpUC83J_AF>FTOEr|IwKNf2shr-spKG zJhXV$T$zdpu0AZqFl98tyfM)U%^9oii7v{GBcR82o!m!xRm~Hfj#{%t7#)AKgivZ& z^=aI|haj`*0nHQ7=I87W4`9D!W&m7!D;mp65G(vp=X)pAubOx%oIl{V7uV@6iuL-1 zUmuOXX2D60J|rig^Qk?;mDzFGevG^p$JG3?1d14l<4@`2tKq8;O4IVf!VTD{(0$4; zSFeqmcd8}?);m(JZ)9k=5OsC7~hI?s9vxFF9C<@YP4|m_3xhMai1wIvO7+QP}N3e~vYk zVQnd6s?Cr}?I9Y@9I(!qt@6a@CibPDAq@RzsD3f(J0grsx-HhGKyehhG}jXH_4NCv zHm|*BJ~F(~z|phRH_w0YD-vEeW7B-$8yBzvk~h>hZS-4#(Cghi2$<8?e%%)h(~m#MQMK z2O=3G$bZ@5>hME$@ymeX41vP#-A%pit8tJ&mH4huP(O$f8^gfq#`aVU&MBxkR1t(6d7!n%p(|V%}_IW`#cW;xOv2MrTy~GC(B~=AD-=5i&Ib zpCad}eyQ`!hYDxGfXdFFSu3&8r*`}p){=Wbb&(A^pUH$p@|f5TiI@sF@q2P)2Tvav z9oZz}(yUzT-NYD^_)3t*Hs{5LL%;dT0hV+;;WuaHlN%uL_ zN?X8i-XeeVtK_1&v(wW-A}SNf@xnPeY%0E;g+*QwH#TG9a=^dBI(syI3-F=bfbi?<}7+mii_bveVKFS+U(r)9v zL+L5JxQ}F*=IWFPTx?AWKk`&23=_ZSR-G0ao18#tkJzEMf>3jJH*kMg1?HA6#~?cr zv%r6qhU>6N#9B)9GDep9;62>xjhrsB5q;0>gRB|j|>oYJ!QNU94?Q-oo% zZ6cmp{H}8C>C$mzj&1uLSj~0?c5o&O6i!^S^tL|$Rx7Y6{SJ|_mlg)a z(1uYjuF>_3L0qh)cSMmpZP&p{}p(^ci5qk@~vZ zP^Rdfy!7kZ7;>;rP`}kj14&NGt5`OI{i_d9y;k(yqR$z$o&nacD1-pW-}uaIRh42q zxM6?4A1Z$5bzX^K#gGtn#^}3zUrvAZB#<{Kh_Nl8o>c8j>)zduj}mmxglv!kF1=z1 z{uUcY!txw;aAIU#Nn5TAZM-_XsBFAzYYFlz^?yrYcLb`FAcm1eNPBP6HH`IbM5}5j z6g3C8-nf$g9o^cVi+Gqy#xR1C|q0K92GlrKM@=|C9hUj)Mp(T+$`T>(8NVvJDG=cKk@(YqvWnBWLa6cl53GgXhwE~USB=PDR zEL(4%6P={t!nqITt%Gyx!{aM9p?(d8Z@tbv`?}*KGmbyLxm1%ryG(y*aS%ISO`Y|! zvY!}^e$BAwL`^#_fa%Mxo|@@#@B_{rL20~^amrQyvsvMl;;{$kzJpp4Ulz47amn>0AQS%gQsh1mR*o^Q%*=Z`8lYv{5 zk^SE6(PKTt?)HhW^$wJeX5-XCK@-xo+iAzk%a?qWjoyhJ+!G3SaG4$X$85D*FGiaSngsxiCPoj%_<9wr$(C zabnxHtrI)>V%xTD+s6IxVpcQTTJ}@b-J5!y7X}uXQX^zO`~E~~|G9(kp5E?Lo#gym z3+u;zOLb(0YlfX?do{SQ*73C*<2}Jt2Iz6L2yBY!W&b)H z&1lu_a%27Lb0>e#0=c&tda56dhHtwJ-L`_$^BIPWw$^JqD9@@jcns@^^au~l_Wgw8 zX;g^U?k%mN1Iv(HnL+gR?&&!Wl%Gh7H@?$F3Qh0BYqguub15m^C?CZU=;B-6a>j zr^Q`hc!eqBlf?m(vF=R6zsMOR=xfOl1s)ZH=IT7Y-YdCn_Z5gXaWTHnfzYXE{&tAf zDc#k=2c5p1n+iEFQY*^FxoIp-pDeO<`{rDZV0inj>61o(`vA>Q3wh?p+ZLz;XO`dy z5^>2EA7p=4L2n$EEK3IuUESPh3Br=}2<89_35BWi(vTEYRbVI}YBNg8I}6CB)C|p+4VYj`6=z_@ zXaRuKiQ#i0rTfGSp2g4(_-Qz+nY=x2N)LE8;%MshwOxH8&uM&zQ>dNwj#gdz zZr#RJMO%8QO}4KGb3N>kw?TgjGpRSYc_kf6ppH-iVc-ql4er10g%4S* zJe&qKgu=2+fxQ(R4Y7$jYem6fNEaOC`6!6<-s<>gf{&wVkn>UlA=n8RG^ZHlaz@NL z#l=u|C)cm@m?SEp-B~v&i#=O)BE5mF2s=O@vf2`=Mm87YyWTK}#INOD%8K&A60M1D0j> zzGyEY(pJt^!^}4yWnv-)#$1lZS(ksP6C<6SMXL9hmt9-Cac7Rz%j}u8BBRxd%{X4f zAQ5re8sa6e0K+;P*bt)39bf1ixF0b%A}8E|rD$c#6_Qn8!3cNm<*N}5r2Qc*3F*sM z@WFrV%J}ct$*1t5Y6m}Q>3U|ZeBEnNBUK?WugU^!#wPAoW!@Nr@@kA4vY~%V>{9ZI zPD;1sg-PlMH+s0oAIt6nW39kdv7LGiaAr|84~Dm-os%OqUbH1mj(cLimbnD)Ur_I{ zZr-4GbCC1xvUA&fcCorAq^kHFcvEfV?16udD_%KX5T zZWN9x6&0xYWJI7V&pT0JxRMl|_ zfC7EXF5iU+TyhhCsXkEd7XD?7&#HJ@w|`UMRpu<6YI2QZpZ$M_RQn*Q8vW9Q6R}!v zIId+Y(35e#A><73+nicsQvN3=|4x1c;#ZtR@X<2|isOzrt(UP~r+|HJj_B-L-!y-C z-k6t39mVcqdKg8iuuvYg$P`Y5X{NzvOdFUuvbIsz{&79~06UxUmR*|afO2m%I!z08 zU?-^w6=1#fwMc*e;AQ8%W4)g{VGMi-W0G1D?quci?b0Tjl7;0{1u_3jO5?ALGS<01 zA6E>kwVc+dy@LGhMMPn{tqLmSWa|Q2=pD!gM(s%L@yQP4#a}m5Og|~ICP7r^`0LPxinJ2SCz>Z_khjJZ> zGmO6#*m$4FO%7_t*O2rbEy*6T*4PS}j9yh4eWY7b+M#y^+<4OY8sW}^^U`FariZzj zTP3N5C36lkrm7K~b>YLF&Ss9QB763QHUL>H9a%Ud;I=lpLUWIK7bVAl{@rMziUYr; zUUJA}IkSIX(FjwLa^9U%{Q3uh@l51+-0A8EO#{3YS{`(!R_|G zwGe+TWD~D$ZOgwW0bHtr&9X^O*#tswgZeMq3vw7u^A|7CdLKH=9_nmuKau5C`~cn| zbkP(R#qsMD?(wObLd?Zt*X3P2oJxM}FFlme;#z`%DX&zwg5tnAPZV|VT?OL6`X%|=Bb6|1&Vffw!}EJP)NwBSkMfgUPl*u zR#`g%vKo61w8&%ZFens`la9n$i}DxFT9A~VP+uWuQr#$k&341dUplDKy`?9E*dwOh1)o*OFF8^`d_rY9V7-D%<@IAULSJ;g$RF9 zzJhKVARNO8ncXo_mU6iIcnSsLj>Eg7639kF6MgmW{hmv+LhGYH2 zmeXMHCG}*7bWFt2gba1bTyQd|b^b$oZL?|5Tm$+hyHPQ&o|xn0!pkqYpT*IdlEK;P z28Zb$xIjkoj5HG1^j8Gy;ciI4z=wZ{Y07HSVGQwl6+BrS{hks1zQsH{r}(s0r!tCK zI;jnElcRh(1AK&1Q8HuT?cZ1%_>K4Q6|C$-IARfd=#H8~V~y6v2;a(Jpc0pXU^hqj z9^rvw$)0V_R*ji)dT&F~jy=&BCNVW%@S>J#?rXR9?FT~pV1r(+R==dlVxWKI-Rrwa zaqULocxw#5PgaIuUD^hy2k=!hk#NG+aM@lCw0OFM` zQKc)T_}F;4jY;77(`u!PSz>=fn@vAqxByk^*Mbi+UO;=Yuh0;i_FP@|@pT?9JQPIU zKK70lB=`3Zi_z?)n_ow)S=RGtcuFxzoxl9k2*ZbE`VeGiXvVL;O=&6_j^cR0 zMa%exk%ITBzpI5$wA2KVq@7;7bZl-8-=8>1lfr>%LInl;xzY>88;9Uf=r~k=Hgz*t zV;9KeP#WCdBXo8!ifn6PWHVx9ov-Z=*k){Q6axkh=TEz$5#x;p*EkAzMV#Bi7;LL! zy1pyw9J-CuXptk~kk5ZyemyI7{o1snthAiex*M`%8{RnfhH;FQ4x$1gvMA37`ggAZ zJ+JNU*{Cm?9y38FAR7YP%4$m+TRc5-xk?H?uW{9+F2M1 zbr|p~RQ+*l)w10(y#CN@Lb${RaYK3c)qRAb^0{~Y=Z2r}MKyoU@!c>naTx5XVF-fa zN#fAdv+Gt)XTsi%@I$hIhcc0HY~92=aH>j%L;6V`l35Iq&eB{kXNM%Uj^asNxG26E zTG`BWOKqHh(u(b~Pb8P?!C4-ny(@+1>->{qwqR8uo9U9Fgx$XI zHp5gxllyz6_%6ZT9ze+&BRuMB(j)g*$Od3ZbM(Ots|V1qiX;nLYVV?Yr+~z9nV!Sx z7vbvDAqy?x^{LxQ{{z)Je!0Evbx;^{Ul@`LIB!#Ah+u!dL^V_;^3Imnw;|GZFt-DkvLA;mC7-PWkhu?jHXrEh?SpI`>0!A>WQg!EAd3s5 z-wlk1Hi%IWuG<(^a@k4IU(l#*ac^=vcB+J2@^LM73U1w(Qy}?4ds8e~pBZ9C%8cWC zS3%TQ5mkeuB-1HUF^so!simnlx0GToJpca|!zF)sKh9()(_J~la0k5LuNPxrC}|%Bp>57n*v{|d6I)fd(X#Jx_0`Au<21{@nkuvF+Nilu{P&THoThq7XHWWA#wvNTK?dLBoOjtNxSgW={k7 zl~rWCy&pe(`jMT(q234voZ8GzZ1|sY`1XGd@xaB9nOGG+>lwAUiy=!Of**-8@Lp{T zVC)C${tGuI45_>k^V8SClavZ z$oqm?F;um9@h+hw1_Gu(1?d)*klBSCMQ#{zD=cW*dzQ_QwV4G@tRyn~SZorok3)a! z!=){AR`siD`1cp(m^9ih19Ly1nnD9HH{eASXVy>1epL*<@1F0qDi5=0&@eD|Uo#VH zK&}#cr_vI9jA&(|VL?b~v#CDo+g~mvsE!r5C6mI0zZ6A~BZ9&BmhWN8`C6 zGx83XEJ^o9(bkT;`jw(AX_phCsn8*H$cD6K<1!lUuRd9p(m|sLg`udmuhlr03>VkB z1?4u=q`IR*?5r0TU3yyDH<$YnpPF;U+Bci{0!hTlRn$I#ot;HP(yQi(7qNenU$_*u zS;hQNX-;C_eL@qlWjNh~_Y>ZBbPV)K6QD9w)g!2R61%{Dti1Cr%}X`1Vx|1iI#2y_ zSc}(p226UPTgL=to`h+$p1Ui?2#rSJ%T~hhqknEiwvtt&6{GIymm-VHaym=$UsY)X zEkGVpLT~19){UCae~-BdkEMS?Hc<@^|AaBnmhO>-f?M?ve}m^pYQFn;&V?jZA6D}7 z=003S;s2Yz-BDLQ#B@@}*A|V>Rz@h%`6Bb&wwR61Hw)>Zx5EF(a*rp^j}KF=$>#_% zc<4v7VRU-4E`7*!DEIo{#2z5EPjws-HmqZ^k|FT#p*7GZ%m13(8qrjIha7 zmQdMH{>lr6Wy7d>9yk6qkKv&LF530il$9QPvG$LAXi)~XrKxglrpb~Gzm ziG3+5rqUH`PSmd%Y?UdA6g>XoL}-xGE;t+1R;|5zWu(KuWsQGU=t41HNB7DHjk?o; zis=*QWO$*(=hvm4yP`&7Xws%M%~-kJJd8)US#^m|;Z2smOpJ2A(@Vo{s1^#sywk5` zJ7tEz6ET!p&0j7~UjOm%XNROdtNOeAh?gB7tzXSZ0O`bh2s%O|Pj1&>ep41#q-t?7V|8d+nf z8Zs0pQJqO%e1vDijl9gTd6&cLPWLliuioX9TQ$|>XW4%g_FWn_4n!Sb5TAae-qg#I zF1Gc4y@xzJ87q0_Da3}^5~6~U>Z5tdPuZ841v|AR90M;J(RPPFCv}54wR1Tf{Aa_f zrbkQ#Y-)sBGbX(u_lF)y2sT877;4#uzIN0+8?G{-v68Pk%bX~+a4&#i%yA-2hI>K&m@RztaO9Lb|z&C$BS+QB5rwu202+@C&-(m$RyQajg z%;H~OGHC+s26Gr8=#{W(@MiPZ^cjrIkRYLNW^#Z@cay4EaAsbeUWq_G!`n2M5>gVu z=lw=q)=`y~4@HFKCnYbd)wBM2SO$&JcwOIN2D{13r~o}btNtp1b{`j?sKI8r;Fs>x z5d(ifa66W`zqWHt(LQ*N0AqtX+k@OGH21F0yI;-~2hJVC^;6A(Hhr_l z&mbD=RN~VbqU%&aY$msqdQgJYh~c+4waej5yezd)BdlH^SBeX3;SiY7LOLfh-Rgfo zYga=YAv#4~Otp-beojl?z*L`+)P=E_!SH-wA>+tYCXP-wU4hE@8;jhYzo@YNIEO>C8m3L$GFYAPmYS|6ZQNA#jiiVh(4ilX5;Q4w^aY<_=FGT$6D zw4-m8EW_;Xcrwk44*E)Kk1?v>OAxXm)dvre)swv|zT%gDtD3dK={M7Z z@?Yor6`LoT5LLH#*s%HCJJtmb3Aq}*6A7;lD~Y%XW)y8$A(Yt#=jpsfgHf4oD8gw1 z;*OjeVZ8y-p;H4Oz>t>&QOtkOH|31yXwmSQ;UHci4iBPdq3kgde=3c2OJ}z_h2hDL zP=zWvz2+=!afG?CCbT^};or7runF4+aDEMZf>+*)>m)x zfrK|iZUY#pP^yt_gYp~&k4jp``s6L<4dz%p!TpY13Up4CX0*>1Kp(Xs5nf0CRwFQbnt zK?gn{Aph0XtN^#mnaPYSKc$OQJan*dQxRf4!OgbgUivKB6TM405=Hp;2M(P^c{6+p z4Q0~C6u}*X$c)fx)o6cX;-I}6SH59}W7Xm`zB#rGCiEotO-8>IE&UDCN#nI?8R+OE ziHD(X+@P>GcF>dJ$M`5y3OhYAF(>>hBzIq&d;0?Z1_b@I9{*pguQyrk<6KklkRuBy zEz;n@$7O*E&l>qf!Em#lMSxmPt+CrucrMOYnkh^NS!gWRcTCyz6egj;t%Hxx4pH?%!hW>=iCb2R1@_U6jkks-(!myCG4^pT62JV zHH7{;C+4$Sg}Hz5D%E&8%KtbfDkzpUx-C*XFlrfD)M9i)QoaDe%_wMVNl2Y$qAZpH z{b&))XWsPZNymmiHxF(ht?UcCL5W6jK{#_KrP=JhXV){;wcH3+r5`UcjvIvFnb6iZ zZ(rgRj1Z5XCG?w1)$w9%Z48*WdR6)|Mk0A|aY2w9idcUcv#6iUdcbnba3waQA92dV zOw(wu=1$(5mYl*A)*=rdL9|-br5s^ZUz-+NH@Z%XHDn`~Vm4UNIhA6*B`XPm2_ND+ z=uh(O3nIPX2OD(^JtF;a%}eTqF}xFYxUz-_?ip1^7w2^tqmw$K{xRsfI}BAyLS3C0 z;PnPDHXMKdOpZOo7~JKe)=}_i{JjMwwqbvK`jd!7fXXaTV^=wFfO~{gvWMF3YmAdX z_E9XlIe0W;Eyl*=CXiaTiRyQ2pPj}6_SI@di%&W1$r&Tptfpi)Kvi*3CeI{LEjXFTdb*3D2yYRUSw!A zrLO35t>Y~Z@4{^sQhhEMUT0&p{CU+&-PYiigK|ns>^)p+is|rt{;I1%?pkAKd0N9^ zBo}{Pts*Axw|(=OdzH!7?%w+j_$&j{tB%t0VFoRgt6u(wT-IUIc!P7@@{YKQ$5N|$ z&cs@k6`P`+&LQ0Q+R)|(r3|iCd*0w7m9&JTLSdF1Y|cs#}P)| zCH=2AsN!gc_wk-~As&bzD0D4}GB!xpxSB&33Rh@bWaakDjc~y8*2x+sUQZ;=r8wo$ zp^Q1jeK}f0GpS^2HLe%`zuOz;`*i!h@lRZt@7zwK!=`YURc~wcsrD1R<&>T(o=|^? zSQCsoq6U}cn{(?yMZWy2cYHe{#FyCcHf&xRRnR^AOp-zKrO^B-X5Go=q4=M8HO6aH zAP);7PNn5>UPQ54J5!;@@DVk7x2+LG6Y*=hgv}Z@7kT_!Y?zoAmz>C3C%1dGb}}q4 zovt!rA4&dUdI|B=fi)95&$eBIhe3bnrQZ5g|D}E@N+n!}&o~07Yv>PRGu^1%d{+UH%pNMk0An+)`}4l69GRqCmHu zfRi~)hmu5Nn5_xsc((&2=*DL5RYY5^o@coTG|vxRlZGZFv`oLgO$SNJG#r1_#!Oz9 zb(zjDesOUlkkXV(HEtVFLnAz>)Ojtmpx{F@<+S89Lv+$atLPlw(kw|H0_VK(mu5m{ zRA%pipjqIGg4B~WrHFnAW%nq*VC<9Obpa+pI>)+Qa;0u?l}OEy(qcOryjj`|C(!<+?bynq+OS(W-wB_D_gbaC4an>KI{bHMWF#hEha>t`Y!Jv=+Lo$T z3Xv|mueuasE=78gBVnR0@b*3l5Jr_iC?anys?};TiXgec3ZJFx9s0H(bicfQdoE~2 zpTYJ2tATM#SpG)OV2ti{+a^J@0^8JfOauVs^pjN!;vhhUDCB?t784*jgd-{*m>EP; zbeunIv|DA+aQQ#?O!sAs&LMBST;uFrofLEXHZW(t(#(~&64^VpihFPU?euLk@{P$w zQ9~bKiG0@vOqIUw;~_5ptwzF0=?FgMzAYh$>~%>pD)A?BS8w5WGNu(sxiR@R;y90&A+_4-+NrzM_9veet_EWtt6LSFNCfJ(kV z+qtL27wk*Jt5qx}E-;*>d(%CoBkb{-iN+a(j>?GM-%@{wKC{`4GgKfUgLK@~=wi8U z9?_B}ux(02#gc#RPXpL5V1*P2X!#-7mC(AO$yePVZ! zt2fUfatVJNOxY5TDhMO{hS@DG2p(Lx`HXLDVe6;JnjS8DuXdf|ws9p5X&_zWYYjsP z=TD(T7PWo^o$VX2+nh%U1_x;_DW5WN$afLOplIo{{l&Hfus1=$Myh83_1|cKglyk7 zc|G+ev(rGv!_0|kYTdryq(_YOTB^a9_bjzTy7V z9b|uhg2N)5L(7W4d#VfF3LG1tcSZh$#OffVDuQ1p(sFQq+6AhaIQ{h5kFBh|`bsX- zb_^{2(|P!{8$=jAycDoR;`Qx{SpSzVG~tfn{*PA`e_({M0JQH~&4~tOY|r86f?Tqq zCRJI{Y<5NWQV5q8@|YtUr36>x-C|VWMofQH^?WeHV(t-#jIHC&6+69BHQJ>ikj^mm zG?>8YZR?F&nRA&FeeXjkVY>$u6w{@H1gN_IA{O@Hnd6X7D}-J%+wF4qQ<67PqSA^+eW0EWy(dOhYgu36R+LJV>OktR3yN` zA?7Bi7b%yR*IdC^gSQGlGtCPeI2h$LYlebH5Uxp){1Y}((C$x8znQ?Kp0v_KB{Oqj z+S=H=g*#iuSbO^VwnFIxW^q`PIpBYO#Zbjs=w1}vZ&YV+)m_{fdHo@xJaaCdRi^An zv2~+$jh~0cfijf9wQ?d%Rie#NS-(5=eK(61Lf`G4%MC`{yp4E4a-=zPKm!0L$9fah zVMd#^1P%Lj=N8tD1sa>gel+g3Psf2SbzImp&NFhsla3P+Xh1bYW?||sCewdOM$n&# zGN)&F*Xt?g=%KK}9!hT-%A#s}{`u*sWdpo5Z>)X zNCmE#IRrO^TA-B^#@0bSv59A?&%Q`$fs|`uVAhP$E*-4TaayFe_|lbZ4ip;2>QMq! zkDaW?sjw>+7Y}%uynmR}(tsPKeEQS%#ed_oPDROkj%Z41Mnz@6J~w}6?-*laqW#4n z2&j{vx_IBOUVl9H>ER1?o^Tq{F(D7Pm&0GI6enJMHYrZn5dWi-hsLy1m7r0?+}VeM zxvi<22k^G>ItPP)Tc-kXeF}Xm^mYri#1=|JO=q@T%yFTH!mj=fcEwyWQQY(3GvT8Q@@90MtbS#ahV ziLII^y`||$!k!D7L5JhRNG??WU*%KLd(1iGL77nEY<_Kh@zDA%v2vkHo&*@1W8QIO z0xAg7Ev`?`pN~FYy0V>F91c`BWSXP+lg^^`IV(7KWa{>;X$ODtRGU#@WyhG|6Yyyp zUTyI+B^8_PnbaQhf9yW?_q;4-94-DN8mR$r<+oT7JOuId!b@{((VVa~iP~7)@x7xZ z)|kh9>r%g){g-if9q5Ht#0kn-=4|=n3BWf^H6SCQwX>a4i(uNR%<*@L?h>Y1w8&zMF++otZk4}{t zB~z5%s40KSJ1p^MrLXUNr}7HUSQv*0#+KH;ivqg`BeMgdCgDmT8a!-;E4lUWzPL$% z|DaV{jG3W;K^1VnzrTu+f#*tOOC1^W<*74!+JMOq;jy@S#b4s&)9ktm)XcB_m#9)P zQ&UY&kTYxSexB_8j8(e_^ffs!w~UiD-+13_GH!p=(w|6mL?kB6L>DKfp)3EitDYnS z5-o6hCx&4;$m4BF#YN|8n4|plFds+o=(FZoqX3;I>VtIY`XEk(@Yl0dt{~*OnE)+L z3dA1ll4Fk0)M@Q7DP^H+m2YSN@A)}r7|_wtJ@ltHzv9RddjjIK$t-bTUA0jyX> zKem2BIis4nsiKo}AZ7 z$_gMZqqQG1TDz8oNB4EYD`X#VAPkmmuX=x`=}bAr7Z1UJChC6INP?ivHI7CQnq8uT z*d%5Hn!)fvDt0_uw@KibtFkaayNLfecC%iEGCjCXZ$kFamuU1Bbp*WqenNF+_g7d2 zv<>tYnTqB6*C5A`zR4e*C}&$TA^051nl&j=Ql19b6=q4&nQ+{=D2zsefc?S;wx54g zJ|=-iA(l&!#HUKCeO6-Ys{G+iNSBfYmf^xp$Kp6wukc6j1)op7ziFfA|DY}7us<~? zqXx)X8dloFp<4H>?ERTgyy{aLUyvi&^$eHa{kCAslu|%tX7oo*#d>By>3F!HZs!2E zg9`N|gpV#Pw0IZ=GT2rpR>2be4km+$euKl4Lsd zMV}{@L||M~&zF2AO3_}Z$tmHvNkxPo2^7fnAZ|Y3R{4H;{{jG$RZckB6#)SR#4iRf zyk%S5<2nDq^wfQHSy*gh)!La;4~1Xb=7xTm;iiZrctP=C#X-WNH1zDjFwh1iilYjV zQP1_YAVy2{t6oB5&MOk}u(p5p8}OdMe0i%OU_gFVGgkcbcAi|j&Me{%*%Z6?_ce%Z zr0-$*nXM+-f<9CSciZM%&DbfNNyWHfHQe}!f1S~EoeCqr-D?!Kk9ivoavo+v=!YE1VXF%HMxcGIdG#3A^D7U++}os9dGeK3SxCUc8T z%O#wH9(3QoiVq&;*d1IqlH}T~fMJscROooH`>2TxSdxw%IU}@!2ORsrktO@aw6lk} zwpQ6=eEAGGo>IZZuIqn8-C1r+Sc$y~VI(N5TFiigwseeewEviefcRMR$GU~-cIG`d=)LAg7VE{>YLqbcZP^Ba)1fSR4)e!{JOzIXnC`D4vrd0V2rS#% zoe`$s>Kl%h-VWWS-vKAH46F*rLp%gtg?&C&Gdh&>>T`P2COi4?hecOiF%U8Z(%-M>()c=N6g`t zK#=w51>h2SS#z5XE9CAfG*&CN?dULqw7P6CJV08V6YkGSe67M=dQWg4a79TA%9S5$ z%Zddr1iQ|>ZdhF=U`w=I=>8Q9CyUVr`{xH9KfDZ<@6Uf}4o{XNY;8*qgkkM zG4+PQKg!sbS|z*&3e9z7@fxA8k7)fa;L~%+$hn14-0_+L{CvurnkJkr5se2_FCX*h zmk2Xar-|32I1&$4TxI;X@!_nHYgYqvo5Fr^|NN)?kMadc4za~D3X`lSynO_~a!bL> z5GOq4)qsCwpHkU-8|9!>a5heFr_DQo1{>;e(rj{2ONEgaEJM9Rh3z;7n{Nn>j;e!+ zoK-EgWr1Ad4h!S^plWtH2aB_@CBzVArmk6_k+;PjKb!rG0xZoFCw zzx`)YXJLBOtg#4gD~$>TSINRaK3m5j+2K8h5f$EgUv%t;#4)iH}L zE=kRNsjKl|jR#UMQ%P(sSJh{6bw!mUocOQNixninn3F7?WNs-GI8qA3GTY8hc^i7o z?0$d#fk+_M!fXVe^RwMY9FXbB7IH2_0;40ET3b_8>sxrbnL!bqq`_4XSg(r{30xVW z=DHXH%*-U9HM0SJB#|*5I4u2f2fl+3_6~8}V;EjkwT;eL*SzBAHtC`SLNhcss|2aZ zi%3qzmFd`6iDA-0z_U1RMc!*z#4-r zrNe`mrj?CioTd3g;qsD(ycOb(*!TNte{GSscZ=RFXp)v^}f_&lrrLljt&X@qFq|pln4+h7k0F%SG@I{vCPbAEPFWyjm zQ5d_U0jpiq2*aMj^?bK{T@HI@OF}ATgGQ@ASZQrQz(UhKCdmO>cM7vchEKX}9^iPwK;exiSinHVe_ z2d zq8(TA`-6}D3^Uu0u*uki;S&~~{I_WSnOevz77_m#>x|CVww7Hd^AUdw`CyqH9DV|L zx={U>iD#~Kd@7D{4dw}`vUYwv_y)sYs3_flkqmd(D z!$eJt>=T$NUb9T?;tx%$*3wWsM#i#jR=2B;M~FUlo#NTa@tx>JOc*XAW?$5eu}MXJ zTHjkPk>1u*6Rcd51do3hyj<=zb#sElvn^#GOohT79 zl97l+Qe+bmO3Egbm5hwC$>w{VK6l;sd7t0o@$;9SuIshe^+LYgb?WuJbL9<2{^!IQ z){T=d4m!);VstUjzNhc8B&d_!!CWyT*gDN&T}9I$VS07L&L(M>0KZ`G9H+OoUzl); zscbHr$GC2@66_**RYu{t7U5p!9GWe}a=hvs8|^dWEQih$PG$;kbOc0|PbkRW&=uJ& zM8BNw`$I*5*F0U5xw&wKkqe{}~sUp=XH=W^YbT+zd?h3P$PEb~t;r4wQ|6W+80M5&yB4&RuUwd`l- zrEyX(5b71Fv7eB!XBcjAZ$9l~e%-`o&x3nuzDyZLlN!)9+k(@R`-VJ6&Te^|?{|AK zii}$ zIF*VbR#i(i3ws;ZxUV!D^MqDA z!n=HV=`-96>UQT++e2%@P7v1YSL9BHXb~maE8Mz_a(9z1o4d~V)meoJ+|uIw+#xCH zG4UX~*M*-jr3_2RLGzc+obhNEfFsszg#^-mfZ&)=>J%&J>=vfaIWFy8uP zWAwsPCuPyj_Qj3WG5Fjq)R}b>#Ex?MQGfhV*q%U*2uV}xi~7GrmZ~;W9S8$#R|&$` zvaHQ~yVl<0sy;QbZWr1l?RDDy==OKarq!C=*2VAnoV~2@;lf6aR<#<1T_3I3^_U~4 zcp3-JR(`qk<6`-Q%-i~zpAt{l?>>mjGTviNU)d5ECzGO6_|_xkiJnv{olvKTN-!y) zr7vJGR_wX&;A;Z>@w`lL%0gOhjkM-xbtf4Yd7Tbc zfA#@d&v)}uq*+V#xO!P=v7qE-qa7AqE6)mcNUgpSU6xhl5x5qI^^~Js4Mq06xt*i; zu)~#c_6;VSyf7oDhoG|axptXs-_pw^4TQpT^kqDwsrUCcv3Qtt%?Fxv?#o%ub4?sL z6&O)2VD?SfceK@RhRHK?jaEmiY*TZKDSM77_ecGi+U?&x?`3=GTxOjY^wu8>bY8_@ z{i&vSVQW2uH4`0s*#&_Yp`-q0l|ATp_n6!0u9ZxhwAUHJ9&0MUya*FB*RrCf11l@S zT9f@Iy@e)}@Aq=PWZI&t-PUW+KG?DG{Ctg9dg#<8%kPYrp8V3@mhdW9^0$+Q_rw$OiEr#R&l2DvyE4^rQ;{*qy6<2CuOi! zbGOQv#~rO5FDk%HLHS3U_KG?=vR*h>awp?>NDkf8h*RS}N-g`_l7!n-*D~oI8HJic zOp#mLuWZlHI^k1S>a2H7NMN$u$L+21s3d{UBqi&@nccD`;Tx|^G(WfcWPf~d+uz(( zX~?SZZksNX;VX$To)PRpi8Piv0d3)99iI*du;}?L{InWnf#FJ-d={a%T#dB+`H*4T zca}q{Ge358o*e)CO6tukdOcnHgTt%Pbpz=kQ$BTh?b{pjpGv zl5{ibVX#eFdP{%LijBm>_}KcTcJ)!;8oq&-cKLxJf&Py)=U%y947%Ill9D?7@g*8} zx=vQj*SK0g#NiXH^Z510{fRo~IN0)rt_?4k`W|<9cdqM>n4+80p6l7B{zvxFypajK zx6x5P;31$8Y)@AlU?I{IR>LHS>CC|S(&>yd3e{#Z_B{~zaWhVnO)zvN6a3`REHB+u zXM+27s|SRawtDk+x!Fm_=}xpwd-92|cSW5%=6Tq0&!mIziWw|nFsWlJv`M(Jk-y)K;TqTP1nmaHLXy|Bo^Zp{=vJ675|#=oVXdg!flRpsME%lsIE^KPcff!^A=b2eEn2LrjJo0ef@RM2CSYuD|yUfcXB?bvdxj*wpR+c3QtP-oJ_SxL(j@#t&WPKEPeSD_!P19 z(YW&7N*u%+XFC2QAW^s4=Uv_i%KJVH#JF|ik( z`K0)sK$djN&rmXs$pdC`va!iVRLNmAUXTBTxGHyIxyesc2P|9NwQQ z_mm7Da~;KbUA4U$`S$BIh0hX?BW?t_ws6K`w&z$!?A>}g9LHG<*AGpxJ&P2}{J^%u zSuj87t6{S4))%tzpO_rCTx2M_({4U!wrIk1!5lNZ-gzTE6qQ$Ud-u){47(XfDQn8_ zcIvdG^@Z@|zm?@H+Bq|<+d(V+bH%D~->SUqt2vvzJF|UvuN^xzGs^Y3^v9aI5VpEc zE57@}owF{p#!qvYFouU=yO_&Z?bUmEBAJG*d3t5Tx7QfVhhkcDq6WB=9UtO_h<4rnn;)}AE;&+Q1TfTgji`1?^ z=qIuellho#or&H*g>;MH#D1}+&qePs^M_a8b1PdJTak`9m+kbu5h=I^&CgL9r20lFb(X1z5Gk0%Gn$T%`^!Cxm}F8Qc-RpUr1W zi-~yZZOAIg^7=~juHFw<3Tdv_OJ*9o-hDR`KXo^uyw1S3Pef_y83PZT?Gtpd7Hs+l zjI9V}Iz4tP3L_U$y^D+kd0{^3$IwSleg9=}zQp9Enb5;x)y!843Gf9tP*^FjV+sLfrkWMFLSC+&ObIiyCd{b)_4=? z^oQAO!}%kZ+12Lh?0ni!oP@hJOR6GAhF*(JmU7fE`@PlSE*kvApQtNzXzBHo_CkE6 z3^vlgoS*kfs9Vm#9fgOK7}VZgI&s(jn9jt}6mEGBFAx5OJ#UC_gz&$_EmCeT6~x+368%pPMVjg&S8FPlFujan9;+Y*cEv(S~_{l z&qG!_)1JLhdS%ZgTHaB$?J>+hj;#(n-RFPMfc4Ub;IX533tcu9=@@Eg+1dN`h1wTIv&bs}8DH)EpD-~GZ#Cy^

2H{n-!I*4&cf zRH>&s*r(eKJ&$_ZQNFSk_vn>vXl||k{u>t_J~>`Dp}VoOl{qv|w6Z;!4d%`JSbB4I zp8e2M?Z(E?eYR)(6^bsUDn)|-ZBG4Iwo!AT(%SUZV>vy_>Tc&}BMaIMF*|^fgg_IR5VSTAq}1?@yfo?^q4t_<>#+cKy4U5vSWVEd_?;z>AUt7Jtx`*&sKubQMIPYBJ@y2^v?;X7N zGgm{(F;@JYDF#Ga(n4&aLDkH-SA|?k1%sPL#jD*XZpI0^>Px*k)ft)})uN@}(9?Ej z_P}R@gf$z+XsLw;+-vWe5!O5giJSCQ=GGcq*AF%|a2Hoy+{-2cd7>6(;nuKk3Bjh* zqhDFLOVo9|%X5}mNA@S>&DgP5VnPzboaTAVx^&NQ^d-9yn$PJg<;KOd*NkSo$D6lD z@na$*emFXL>Svv*TyA%i+{k22-0|Lad1m?*g?&eNG0a*fb#<*psS_J#GO|Lq)_ zutAnr5t${Ske3ydq^uH^$@C_syPP1^CP7Qon7a-756b#~rRpuCTj! zyKS}q^`(3LPrC1fyq8WWjmkI@8NEX^pRaK_xhERhn=^Q2J zTiF?mjkg6z31l!_Z!EuG_{L;1vpy{MpzD{P*>!Cid7WR(J6rV*cYUna&P&a>n8-I7 zVR~jHV9&Rzjo7R-scG!tdB;y-{MrsL1vO=^XWhAdV6FFs_(&8Dt81-^G@Vww?7FAF zqridb6ef%sZRCTlm+mKN8W`c15e@-S5h`#-wj;{jc`37t$L|IUS5Th5Z85ilxsOf7 zqp@RLi)i%%r{Z{D`q%{q>n}S~%hFJ4A(va-7QZq)x)tzqdzff$ZPE38{m;iNBi7E9 zZn$oBmwx6 zBG{JdWOumsv$>(wpMS3L zu&NZhNxWWGd;O)xZ^OD}(`@7Xz7UJ*4|& z!j+7++4qx7=-$md{wP)}XIFZ*a~DA~FjUP;?D7Y6LA!{^* zi|ZX3Q^_-Kzf&4L@OQdqZyjTD+f>ep-r4Qyk`#K`uDokI-$1$Ryi~Bq zyz$m``-_Jk2*(q|<#anG60}|6*g-EO zn3bg}e9CX6npeSj)46F^fB3{J76ZZL&DVl^k72^=^TpM22-)A>xL7}NPUWR}!q({d zpmq#5;WK^Mxj?Vj6X)A1LTi6#M&GezdB4FtvxXzL`aq=k+XVeIqX-v9F_?Rc=JzHZ zb~fkQL)$OTXdQ6Ey<@#QX}IR;8ikuq?Eca0TEfktFKViPj5AQXC9Z{gxne zU%d-^q~nd4^#XUNGLKIx$5fy!dibEFQ(V<|&O3r1UU(<AmicB4wWd<3?(9TE1{ zK=GQnZfs2IzB0{C>pHOXoP#5yN&L18Ds*W#?b?~V;SJ&;NWikaZ}LLf&Ev%8h}#NV z7n)5B)eNT2p=HJoN;$==F4u=>RN6M=(nzh^SZmoY6gbph9eWR8Ax7<39WlP>|efTv98H!V&0>? zU(Wr@(63oj_H|d)1x*`yUQW+JrmW1$OQA{I5-ii2zh~u`Dn*clyU!dF?sg#UdKr}o`nc!3*E;8lng#1_ebxKlo|(A;DtSCYL!J0L!{ z+UF&~Am*s06*SlGt}%4+NmaA_`SpXf%fXADPI-mJkG*#eVTc9{msb4a`%Y@>j=#|A zW7%#|G^Th<<=N^^Lx#F zejB`l$E+mr(JtLw&9|ITv6zC=hMMlgLFu4gx2UAp%);pBX43l%Hx4LFDB-tB8GKN( zL%kFFR=g$k*fp&?s)M|x4_EnM8&aZ3&z#n|Py60S5R#0w_*v}Q#CIhxe9Neq!f|(K zzRJ*NS_u@{5wmb2H^!$n`jU?~thKLRkZJR2La}zJRIg@HS;&{%g+k+iEi;ek?w;Ee zNhJ^_EbqpY@nZ-qO?mF2KR;-l-rpPl$<#Y-CFyK3+oogPRHVb^vew#y5NXpQtTfPl zwdz5E*_Kx~vf>6>lfP;2cd8BCX==(@FveoITAA#WF8)Ficdy%VZMd_0K_7lRo8qmI zvQ_me8}s47BbU%)><*^)MP!9`P4e4R&)(lDZbDyeCn`4e%jH(ZL(Y-v^UXi@k1TlA zA9s)GiraEm-r8JZalAIoxXb^n)=|Mi{)$#P*Zu4dKkJQo*NeEjoq$^xlo`*>3G8%b zAbRJMD$~%}zmQ|zWo4r+Px$MrK>oGlj zi;lT{zL&0lkMZ!MFNbi&OVb8V#p;>AFZEx}{`wPL(d2u*qc>`9c0SQh#Wg;Mp-)Of z1(hz>A7$*PB6wC_BFTxN!!fjeb?s21!p#J(>^83S4T;!7OIq0j0(AxXj9##I!NTK? z_fwu;J-u2U?;D)Go>tReakkX(+mh(A?fJ9Pk{mkj(IonSIZ?eCsl5*__7{C_R;&v- zy25SV4)1%DUE!V}zm$JTL2+A5Q~4&FMzCf;9_y%8`W|o8_}utXOFc&^*>8+qTR zC%&4VMVJF>k$k#WFIB)(IX30Jfl1}ki7vWoADx_qtHx3xfuVdsf)U3K}p1Mgf{CV7qC z9>NL`n;B~BK0@8a&8~hY!YhsL7u6261qw+qO4=QFq?^3Qo-nlSE7o32VApY;_wwU6 z;FhC?v(b&NGqaL)DOEjdS=He&G)^qWdlwnvnZFw{r9D1PCsNaU;*wz2tpO9-3=^00 zr&~(jmdHv*EVqipRE{%q#2D;kJw&g0OjT9wd{Nj=)&LsL%a?3z%`IFGJGnZzn1g>@ zwYIc!3EauTTC@}VU7bq;Xu{twQJ)hk5^-c35d4Q?OyhSpJT00~q!`Y2OXm+809I}N z&j~_N{Wx0>Ej=2A#b7ZpSrcshe?D)SU<=?PqJ>c84&OK}5@MiEF@91_D5NGM7SMZ}W`L4L;6^}UN&lWB^9LVz5|+{m0K*Uol)?avgvL;6OvX@X zO6>qfK%@V|1OPxj3_$;73^0IVU@RWV1dYKUGyx|`7!0LLz-1yHO?4NTACF{$C*mO_ zhQa;Mok0J8q5?>W#}g>E0~mxOQC*fFfauXsWwJJb}_OWGj#;Tmtw5f><qp(;?jC_|!q`FH&!#GMmfy|&HNXBqPO6|xP9vKS& zBLI8;cI}^BBV!OX59l9D!+*?ACP>5~0t8?nY>)&YzM) zB2f_}p-5B&LD{1c8Z|NIR?2nC8YLK6r@M6_8H1_EhJbqpUt0;ph!C=wAFGek7Cn~0#y00Dp7|F8Lp7!+lBBoo9?*8niR zAi5p-9EAUC)_<%@!hr@#sR&4H!haNoe-C6>(A|;I4=|9*h|6dq31NQF?QoziQk(;A z7L7&(9O$wn9MXbV3{1cxHNk?ihYT7Z3~(qV6Eq4CCYjB!{*n&40n za1@dt9!#T13=3u{Bt`(kBNc{6#s?O{!WblD0OFC2h>VetOhAW*s4)mx`@vmge4qdZ z21>GkK>xqyhj1Xr5K;pSIU8U>QTgu(P0n3_QKcBbKu#d(fuZTYZX(+sgg&q}@*n|? z93rrw<0IyNa2GTVHjwzxgu%H9wFB6O&B8iycNz%_uN%Pz}RiT0~Er8*W z?E}aJN-U+`5E=s>9%Sr4A%O>@E3$x*=UGHo1_mNmNd!Sq`jGJndItt!Tol026e9;Y zB!Dy+WEX|N_zxlC31C!nDjB3N%wF$Pie zZ+iaoBmkuXBmkv^VEqMN#8em-xn}^;hDEFp!R80NClJvON+^}3NiZITL)K~%5v(2% zK?vr2?6QA;7+nt$@c$iej?b3 zAvGa_{RYx^AnB+&8wou7C{qk{V=$*6T?exBzXFo^lOIc9D~ynugac&{iQyr{v`%jM zRQqW#41oN1nOJ znEJowCp#25>jCwUn>WCi1PU6GAn5Oym^%7h$4r$7cx61ueiZ`tm?BY$L?S7HHh$WSGj)x delta 45070 zcmXt;Q*fYNvqr;-ZQHh;Ol%tyO>8G`Y}>YN&BV5Cb7G$Fzc?4Gs(U>*`)2Rj)zy_r z;#aZa@#LVKX(E>pG(e5EZQMpX%2%%8UL0%v@|pfUC}^g6o%}VUM8H<7CDW&{Y_q(0 zYHMM$uHoGGwuQM=UC+g!V16DyzRJKJTU{{#d>?lSnXb`K|7E93T>E?*a=^rrNI$-- z?zcw`Seo>M5u|xHbM$^cQQVoq`kevw{Lc&%zOw1UZ}rUh4(PqXWy|bcnEJ?j7V1sz z2#=~Czf%pJV0R^*>T_*s&nt7R2mBYgXG!0eePZWb8sjP9FG&V-wku)e7x0&!&ZA8Ai^0!a3mJzpR0jDl*o$p_aI=;rrz z{L}5jv~#LXmm#Qcrixu@>$njXqdNE79An%W*XOir%8!(n4ALlvjyU`;yY^Qev64Pn z7m(gfkWH8tKuyBI*C0WZ_@#;)E2mIFQ5R`LrbNm0^5F*1 zItvP8FdSvMSG|&I|M0SWz()}oxA=YA&{Tv|mJppuA<~EWRD+wMG)U?Q&;dR}p zTi^2;zz7eW{gl-E<%v29_bU)gv77qoLYC;c*{^KM8&^acvz1LvoHb0fOAu4fby~9W zXYZM)xSG7CkbS%<3tYcg(&cMs=So!9U9~)mrn-x+S~uhl)s1!_jqy%b&RY|Wdm|TN zv(3ql#q54ujV8Z8*q3XW@6QG{p2Y0GTuYiz|Yi zzt|%_Fv}OZwV`}NPZ3T1f`5cU3+ZQKtfj9Q6qdvj)T)DEqOphl+;Da-Lf6GzB5-tTD(okyS8dLzY zB_cmcxIja1PL&m$z)RTQ&o5Q%g`QXj-e4v8IMTO6nI)48W(PjK3j*TSs1-`EV{|#S z#if!uKe<~w7i?57v7Becf8P%7k<(pqb9hT$Q^>SsI+9}ssv{v1ys5O(YPYiX;g+Cba%lN4~(t`5*+y| zuW^mu$DB@5Qf47Qnfbje`$b;(p<{y%NqI+8KRme)>uFaj?vUAEMn?*a>8WgpKXPz6 ze=3A2|Dtx&T)?13eMv>Y;#(E=F}8UKiY7)tp*8TI&CNzaj2nL1gfp2s;AaAFPtbvJ zX-1}9{B?oJkJGN`-ksj5#8pfV%!pdIbc&u-3@K#db5KfG)8)Ky@3g zpH-}(q*FkbCH3fSgLV$K=M=prZ_bQR6m`~(HB>4`t-(l?xxGVlBgaDNl*rLD3Y+S% z6k1;UMT^q(fFfpAuHgcHzVUO|>03m7Pgq+fUrkVHbbvcuZRIR=Yg?V^prOASm6OO- znP_X-1Jlu_*3mygy?VSK$UrvY_3y`H=U^t-Kpj{%qxp__jEHgBp{3zxWsz%{a7LyE zh5OQ=<6SxM6EUbF!16v+^^Iv#xRffE*LEt8Tw}I;FjtD%3oWe zYd+oIh@1#gDmOkaDY?-o$hks2C>1j1=dXRMNVBp}JAaZj5B43}vv_WA!##{ZWgTR6 zynDn#_rwaktw=o+;5U)_@bxCE6KUZnR|U+9m}0mi{ycw~K<1C-6s}l@_#>r>ON`mZ zcPx}^KL?QOD$B+G+kt79T4Pzb`w;N$SqUe~)!y?1vPa<-aI0uu^l7ANIApx9lH;tF z+~{n_Su-`#SzKG}!07(d%-njQ(NCF>Ct=O;hT!9}eN0*s$W`;aO}*5CnAq2wA>_9B zV-Q2Q8B&TeoCyZzi_F?;!`Q*zjTixyTpp%KTGHsh;STCS?G5BoC;(Pf*I z$JAFx1SH`(I?Rn=<<{%8CdISL^+4)G9Fl7=hyL?Sf!qFw3U-10iKdvlLj}VkSx~L- zls@*h51X_IDA$|LpcLz2qzLAOWT+gBoh>Pic^tqJ+TMb_bGt5~P=C@9XkWz8@IxD*an#*){n(K+)mw*WNqH8S*JH4Sz_;GtS0)g^`;AFPX2u^vMnF}Ps6W} znWoo?JM-&&?{I@!My7Ku|3K3JR$xqs*Y^U%8nR6bP*e+v5A!{lFoPa@E1o;O-Rsn?9m)yvTH#zE+D&~N=}-qWRMR;zs~{=ILNqz7U)TE}<|anRWRY1;?{D{|%}Wj={ywVa2>M#zJ;MsP zT(>}$j44S{(JD3eyI!r<8JshLyl%VYziXx*Q9loJ#o)jeot?Yw`xi;Ca5<)=J_~EJ zwfrHN^8($pi}8#6YxH2x&h>Xgnu%x56@jBAXdRD>;zj_OZN4T_9r!o!ne`2tT5xTY zR!|O)mNpLuftDnUg%HF78^!_)`X6Bb0sbEl{{i_QKmG&iKcN2u=09NDSYY86Il_p9 z;r;{uKM>l8gb`bWX_+};ndHpuEL<#EiP_kh*}4C}Wg}+(|B{%EgOigjZH^S48fbOZ zO5VZckdt=j5_5N_-rCxNpMsy9l}cj|_h*+%o7bPGprHUuOq40>=lYuVj?Mko`|Y=) zH(7tJ=Y8cZ^ln_dG=G%b3cdk?(NC4@YV0x+3^xaj_w185*9-`{@#MZeBsmAH&E1> z(UQ$gdw<3S=?1YUhB$xdy83qb703eqQSd{yCCq>8>ojMs{lm>1PisJT-<19S8)HSvpV)LLdxRC4g6j8az6?cvXD3 z@tSwCG66v$Bmt=_2l0pEEWRh^)2`3Li{?Q8Z1ZtaV9w$HgDiCYZC$G`Y(%8g|83jm z4z{-Tt+72lk)um=2psM~s-?aQ%`v0B5oLkTqVDB---SHdD{IKgpW#BaW#Jc5$;WBDMjST z$p5r&l9}?`?K2O>==CJO@vlM!0rufJR6Y25k+ZeGfHC-=d*FM9=RMB=)}Xc)ciB!j z^*iMOIH=yr*8BXTy9Y?&1Nu4|E&WOCmTSKcoC9gOU%{@Lv-xcaz9}yIF2{41>(|nL z@U(*&XWhq1e?L1qg-kJAt{ptQ&q3}U9-Vv=5!sO2>I(}~qxUo2$H74-?E%mO&EN7^ z{WT2suD79Ujq%j8#2{QF#DV*4eH<= z(4Sk6?%$PWLEKLWFY?`!B^n4~ceYaskdT11O%jpA|M%k$5(n9I0^+Itb-#q9(xLim zZlUhL+A+R~1wq>8i3X8&HNJu%KsIRsia*1{XZ4@KQ;HCGWj4PhdnU4hx&70{T=l3VuVmbK-@QT z)Ms07yxZ#L97a&HGqNw_$y_x>1aV>XPDBp+ph|1c?Q|RVr#&rWk z(kTJ2`?~>C5S##1c9zCp&*v1inhVJJao157}fqtU{Gk1Q2`>V14 zffZ~UFky&Xy1fHj8oO+L2^(N{2&F(8R}inxeNG_h3cbX|g4Ju(7eNPu7`smr#nxx; zevb#%%zeh;Ee~wry6ts+`?2?F`aq0b6h;xg{ZM)DIxWe;XKMgoX>_ef=_q`~~a! z>8<7AX`J)LjvQPwyMO}rVSQ{QqgVgV#M8B5K`-nPq`V4u$Iut#>_(Q&DHdckSR?xuQKyi83{%nhX!z#Bu1#`b< z-uE+#835@7Pp{9w@%NJd-HgDOW@|M3Dwn^ius>1%7}Yq`26}pSJr4@ZN1fgV(1ZQy zj546G-*a#;0!rCvLN@LM&*3c0 ztcoc_&26FKy6UixjS($<%1-fj*^kpWqR~jVr%lRRdBMG$l7$TQR)E3hSoJ=mEd+T# z@}?_Tc3Yx>eGBsD)kQWP-F}OzXOh$6kulOk4|47E7t$Y2AD@WBI_}gfn+7~E&s5#G z7J%vPow}4|mJwctyVB^#xD1p8h;tHw%Lv>2B4z?Nf+xk2K=So|4KjKg&2lmo{! zi97FEH}p%lx~l-@rq^f8BjUJQQ>-8hKWU9s1VE>u(|PP6L<-8la^=yqLmkTJmj{;h*no2zyC$-$#`GP0BL%D}i4W znt2=oE6q1?G3oM>X4sDBu`_R2jjOL9qBM!@BWQ*f+{?mt=TqE}$GO1`BC|>eVbir^ z*9H7eHN&&UJdJi9skmBPZU4us zt%(Bus6RDZ+D6%sHOFpnhaE92JAQEZ6*s!RWc%l9n1sbhH8J`_wK(7?-@-dQtPX4T z;Jml2?>f$deh7M(%c{5N$kRn(eLf%M-rKZYS!~uxbKx(J#GC?zkM%@VRM# z$dbQX^g^BkkD!n4(9gOd7cg+&4IG}z-O?5eD)y9R(|oGAl-s_a*9*RgrDAYkL9)R} zPow5CX)m1dRpuC;4%+`*cYd6cL!34u9INR|TgF{L6Xms0+9HE<$IjKnS*9K1$2fj1 ze(=8%@}^`fX_D26c{G6HO3E4WO2{lKbS^X<3f)&XZuH&9S6%t10bq?TWZ#0Fh?uld zHEYHVhE05#fO@-3WfVw8{>fRUhZ!lyX7bCq6<1q(1(($D^qrFoBg+X5%G zh%{!0XF{d4i8CFAQ`pPsH*gJ6`pIJud=Sdr1EZfpcU+G zO=4fa9n&}K&PGiAWG>KsmLi~28E^U0uF=x)S0NmcRYU!uPbv769k6&gJ~Lm3*V8Hk zlDU4%8VeQZ#1iW$ zFwimEkKV+t#=N|VaXTki;d^O$VUpw8nQVPjg!ix6Eq&o*;gtCaP|C%X)O;M7(+078 zBjKQ;bD|LP11+F`!R{4fP?U35XFP9&?G?GX8fGBF7|TZC&5n0&$Q)XC1<60M?#@sD zvgl|aKIR*>kRXO&4rlq2o$fDsGnVzo$(r%xeN>5sLFpmcEita2LB%uHy9Q&!BSpJ8 zY*ZD)O-!e7d3rmGPror1j_iBo_~&9x2%_XH7~m-_0~2Y#paRBKdrD?n!WpvA&Goc$ zK&0?XpM(T==GOxdl(gL=!$RC6H`bRB-~ZB-<{>myhB^}9-B@VZeVJTGLJ}hj_M_$2 z#Vk_)%QK5OvLcXwDLmUYuwg zh_Btl2Nn_d1yOtx`;(EY_&U0=TB;kVC}Ab~1QGXk#Q8E0?yy6wKnm!84H|B4qO{k` zp}K~}E8MrYmb^M1;QJ(0(ET)^W=TYK(-wpMI|oD1O}c*3$GmqKBhch3>!H@mSwNCC zhw;drbz>)%<9|(3CLJ>*pkZdM-J_GxK6TfE33P#-st?&*ko0Dd+`#Ra>NMvm(TzlL zP8;)CFKiu7)&DguS7vygW&de}t0OxzXWD&jFVpcXH@yLJp|Lkwfj`%me#Ij@+8S%x z^OdYctnwk|D}I{oWvf`}sUjO5k$$)xa~A7SQFt}r6i3~C{viMP+#|ULKKvxNct-AY z0D!s_Nmcu-LzJ}{)-a;c2 zlOjv=pZFk*O&7GFrQA9pDbO(XOExC$|Gv8Jv5+@^Qo+idAetk0VhGI;EoH9f82 z#56Zo9lX0^a9sBxdY@LsC8;)nX*?F3z-`p@Fg(V3UkWdDEymeC&qM0Z5>rWe5e~Q$ zJ>uA=u)lO_iEo3miO!G~wAnT2J0V1dDSoI#bv0o1zj)2u%t@IY$kyE`FnS(s!a0Jk z-#kZBA4vtVp_(L1V!A!CI8Rxn4=(qI@0HSsX zkkZxdSFDwJc^kXXqkOuzQJ)d6qYW4-wCtg?`4x4m&>6N&NM*v!Yd5U;x{nuXj5rZ5 zBUTsGuKot8Iqvvl2Wr|o?k*MOY*)8T7_!C#q~q36cX70Ia@4D^D;vC92O)iKT8HM~ zAvNttC1&i*^4}^y+#q>m2;?j-jUeoKe z+woCqRrIIcBb){rsF*NnnFnwyFCiSzJXHukX!`!P7g7(m$0uwSt5}$9s;38IOT0XF z7Ze1@jB6ESEX@x^5?9N+Uvgd9 zKBNhz;T`Q`aKZ+&=yob@`c}^--qN(|!6ujrt58Vf2gBqOgNU%DXBcxi&C~`oA%oOD z=$ABXV?RjnSf(l>;CuBO9X<8%-FGQ>MO*phdZSv7eA<@Ae5y`?_3SaLv9hyZC&`JU zN|J3iYQk-P(AZCZ81p^vW5hVWt!!l(pM68)HH+Z+VNaIjMMcj&HDaT#Cdek4>>t}){QgU;j4rw!Mcxkdd$Zldl* zeo|NaCbh|@NlN7_D|zec6p-ZJ%d@*A0E~URuYQ(NveF;CFN>uH+v#Pw{Gt0dxPX+C8 zio>eK5=r>FwqWlVFCv-oE>l{4@&Xs|pJe!=XeI(4sfHX~S|1eFeSb;vaT6-UoOGle zGPvKM&?KiO{J3ja)J1byXBaUf57acFFeG_`t-tB3q9ET`66;4v-{MqSK@#kmY;Z8| z?HnLxG#5_rnMhd4>h!qS6{L^Xj`@K7EJa~}Dv72~4p@1ts2>(2wbK-r%4hsk5C-?Tn*_h@k4z~N@n+e1mUsXHWeS|zn z987n|Kqw)d1s9`WYkez_<(7@q-_8JKnpH1H-`y#69Q>;Q1!Wb&!Fu~ zx^{kXhTf%|bXog{bK$Y~KHQ{clhQdev)cEY(evHo+}C{46h&kSEnl*eo_qQyuQx$n!$EcFe2yZOPnFE8en8A2I%Vtcjm~cvh|>34BJ2 zB=DX*BZYiOf=xwo<3UY$G_yoI(|SCP2^N$y>D49MWl}}2LpLEc9J>*;8v|m)SF`>a zRzSLiNT&NcnEZ@;CnRoRREOLY?b&Vg!V9sjtEI}e*O3=DOx{r!vfpjZuFKnM z7w?J80iaLM;g$S@saH_)3VG66c95J%Llkj+HypH{q-4DaRqhCqTWwbYN8hUFGy_L6 zuwQvS5niP{qBLVOo^=#mMuByL9EQ|WsngeY<>|eiX+uQc&;9gedS7WrEDjQC*npDq z9?A?s+V5Bk?Gc zosZ`Vvrx1- zsLbBqx9fB`QrPLUSrXMc$w>YV4bGub+_}xnt+f?(Jit<1C{=o`lvh4!G&T~|?xn1O z7t0l~lCG4?irR`q`Ju!nTp(#9rDnCB6P4R-AhSdHsNAai-MRAS1b9dy`z-m;cC9 zMcjU}+LF+!H1YCbT0Vr%gfjVxDHMTrlcfXJgK+f3@E*g6GYsexoGdRW=63S26aFer z{)s*_u{*If{}Q?vEVxq&^U^iaF|*zL*T~LIpLc7U z`ZdYU>L<+-9vE03m>6Z(?9X2e!Mt~s*AU5diRs6cfu=GGqOlf`VR%UPIf0gS*5uRI z60G5?LHCB0cRhewFOl67p(Y+2^V+}D<0D^4pD?j7i?MJeZ2SnHjtKiaa^LH|bMz() zo}U|>a?b%-+7GZ27$^BI6?L@=+-lNwdh1zNO5 z-zQfPuF*bcr6gSN#L2`adr_`qn3Nb=y@nODHa9}-Td#oJlG-VUL%h9q>IT~Sehix- z->=$ax+#&t8vI@~wqfWu7NC;0%A!g+2QzZ17lgi0f2Z*^qS)-Tli+(wAT8QqTU)o( z&myf-&r`^o2-S%``Y0GPwO&@+rj|&na+x^5rzMEzI|eTy|DDQC>Y{c~GTG2rC4Yp2 zGgg~C_7KQCsBTkFamwH34$6+ss?$Smev5egv$sxd!Uc~mA3IMUF}gCK`Xh!~z%?UR zA*wL9mwPO-T?ws&j)|*DrR3%X%(*PcD0pz~Fd%agA?@UNBmtdFbMRT@*ZFI1`O#liH?|ufcx*zPS)<$HHw}a1}s_R?c94bF)ubBA0Sp0Ef`wjidX~ zm}%3iBfp)xm&&6_s7yHxUtiIIlf&IRx^6|~NX6+n5y^=$C191GZchKh5!S{r<$=&>*tj_#4$uJ0r%QHqX+jtQ^g-v@H$5nC+T zODfPYc^3T?Q8kBP!v+?MrvTuB5x4q}Mw^pHV5ID|Oiy?hUPOxJHe1xj=nK-cDV*dX z+6%R(ykzkw7&IX;>(&xNSC~-ArC!r#nM9tzB)8MCw?j?{X|i;!matMsm~p1lx=YV1 zGk*R-K6EkY6>+%iyW)~=d8THR~6cIa+pVyB`w_EL!XC9dJ=RmGB75T>aA2Eo2V z9u6-`xHh*Kd!)xI?89PRIUh~tb=>SmAfxQg!T$g?J7EsVj^laP(~d;p8-{>*zxm{U zlD+(#Ri~C zVU9VwuZ+a=2x7o4|F$Ak(5>ZBcuk{l@6v_r%|nooMOM`KDlMCs-j8^+3ZPKyxojyNOi zkIfN5r#zX?uV1LS4;}ce#{_1fIScHgoUmN7b#^gK4al8YbHmSNs=x!Q_cS{}7ZEsH z4ztD1)3h(>mUEC+6)Mg@=p2Yv-DrNP(k^z`Sh1oRTy5Vojj1h=VdhHoc$;q&3Cqt8 zY-{)C=ela!N)*LC%1oU!;{eZB0bVOuZE5WvmTNIw$&#|amhHg)RS}Et{JqF<_i~>o zi+&tl8|DauG1kT^Bht0exZ@(97FTg~`N>|W4;~rS4kRl1TI16q>o$JT)P%Dx4Z#S| zl{~bvwO+5>WXCP^6^nInIG2`)eKs3+eeJ);j<7M^-_wU$4cs5wJObkhbRXgLm^^t| zVKZLER{_Ka=aRAcrCOt~C0rnANiokkyJ~>X<($TpN(-&ns}%&_O-q&0TL^Y~6Dzo& zVz@Nc;h6M5W)Q|>=FwxBU{zFcHI}=Z>`ASFV0bPF62(UUk3?|6ABCy*a0mr(BK!0) z%^ymt9>U&divKD+Jb)^Q%_&I`$^yD87o%({?+5g?IZ2~h`jqAv3wIot#QJ2=v#N@f z@oo-Ioe{pKZRI(%$iu~fV!Lh_6rLGerF-x3DMv`{aaIIHW;@cxeA~PoFFW;!qowk^ z+-i1lGw&yue{%~#qK%!ZT({p)y}7)t3# z!>+iV)H!h(0mwIr3kIrWtN}iEJP90)UVq?S@inU!e_EoZ-|M%7@!&zYR*?`}T)23J zduVrUYlwO;cAYbI+44Wb5Rqnkgg7d^ zi^Wf5gc(U`Ke6;=NfMh6-1coPDO>Hq-#wej**C`hhvZKQS z)ThzMwaw01l)9tiTL^v86bfSF?0`6{ZrJ&5Zhn&c4a{}lQ^2*&76HixM&_@VrRda_gHEPvVcfUcjod2V^M(QNEkvJdIHg8M$|v zTCv)*MAezlSZZ=zg|abw9hiF0fa_lSv)=`+%04E*y>5(?azdh|ksPw@_5YnP?+R9& zbsl=0*FM@vJV!U6j}3K;BpmROz*F@Amd7Sv@dHL^-X||`62UoA$Od#TGy)X7UV1}| z%?R6-e-94jvo9Y{Li%=w~BfAzf#mYAaI=i9=D_DZq_=`>g)B zj?y4%orB`xiPI7}?d7h;CJx;Fd`B_Yp59Q6wxZyw}21^qdZ(N4Hn^%;FB>yneb@S#96{YRF3W$5G-V2#v7@QuY>nVA0GI zKoT@rk7py2l>QmJcjrmjc}ReHC~JMRVE$lSx|Y=IyZI$_$gT-l%+=vpnSNWRBH`uW zhaNL>Rp^)nr4FloF`|C;m6-LCj?UepHQbCw!*il#mcer~y@U!aq#YO|A+lP1OJbZ9 z#BJCncI~8_i6+$20Q#YCp%V#`8H@9NXI7u zEj57I3Z&|8sS%#*Jf5@i*b<1<*&3@>YlR?r0Hx~om$pTaOkkPo>2+8vfEVw{5hDCd~tbd3? z&&vz&^YNG?g1~HB_oM2oTtfPZpDuL!@Tbt+d(;+5XFh&~C*?C0YyL~&3J9&};8CYW zsKUz6DASx}ti{i$$Y9<2ZxCP-O2yJiAkH zI2^Y1Y$bI13X$mmAoUs9EYX>gJ=h!Sp-=~73RU;*7LGjblHH!DSFpF1JMhvZdu6!j z9W8$CLn#jX5PTvNm{&C~b|mT{e&jxZET*~{`=SaHEAu6A^XMcd1mbJY^=yex>Ua2F zzGZhPIc;8oNPy7W*2ZVJq1lGtb?fm}F0D}AYW*`7MG>3<(ib#6=pw&1Rz$Jpv06+- z{fdLsd!s{kV=`L{(b={#wHA8*djzjX)W&xUtdh(hIJM^!9k@n3s~Trs)pj^_5N2dv za8fc7Q0P3$4&)b}nQA@=gnqTw$`R)N_(ZLACd&?65Ft*N8h+V}CHLDgJpw}Ge z{rXfts|#HOwk~7xi=1WXdYMZ@md~B=Kc9ZLkc758iB#|rHW$mwn*97)-2uoVV8-BiEP)`kMMK&f_sTU z56z z6eZ;aCQIkG>|SZZ9{g=D+1ti#EWfnzW=|Hj9*vdSwW~>U$mycmfJ>d-RSKK^EXDeA zXR}B07ydm7?!R60Y_6Q;cXReO#f(UDKlsM1>%!?dKk<6HXtM1Ie#?%G?e~YT9L_y* zKrA>gLgY6Dzi^xJdKxp!-f9*SBe^NJ0VVYvj>K^7s7BG!5RWruy{yq)|$;yY~7gvzg_k0>TDC14Xs$Qt6;&r zcK6+C`jF-s_49#4g=#gtYXYVJ5a$hNZb}JgpIPKK3b9&oYlUo2Mrx@|Ha|aG<#K_8NJuN!= zo~)f2l+4YInKX#ht?h&1Bo$@?|FmW^t9@^SPgqi4w)yrzD`0|rb{J3fMu|zt6=RaGJfHkjyZ(db?_aoN&pOESnPbUs{B zT^>dj*rHX(tMn1z8S1_1<*R=~F8)QGTp)<@>RTOi_`272>E$>w%BI>12r>;3W)+pn zqdoYhGA*jive9Ha2|TNc|2^qBFU9PX{So2kvFF)hE-mw5ATRGZKMm)#lLuMc3xRf* zt4P=|LXbd*d2L&_fmZ)zGVI%^ebv207%ro7{#U(f@^r{sUEM<^hH|LMQxs0&=Y|>l zvrIngnnJ3g8*JoXO_xU);Nnk~cvBLVHAujVTx^x|fd8L}1ttphs&JWYRrg83%4c1T z(Uk(>0;ItRO`Fvi$Oz;cPvl(>Axal6_=dmkAEj7P4Gf#z)s$FmFTdiNBbt( z{^p*h0VlbmFK76>4VP7m6KCp>DZ+0?l)2}m%?H^{niMO+5g57TN9{$)T8D{9T>hkp z4p_X6@uUv}O7`T=KP}y@WaPg#L$eI_8{!8hZ&PmSe5 zy4}O?J9;F#TD~>k1~;QUli$fCnjz6Qh6On_DFUtTfrLVKY79!dPurxmWOy65UPR8J zvez#^&nQ?Hz95PJnY{kDu=FElE!!|WO;H$jbW;HiGivs28HmbvwU$)Xe{W66JeC;? z`80gcwR`i-TvEb1|Cxl?3pw@9Adv(b9NO|V`bTXpID^Ou-Sa0xO2BRuUY5B8MUxiN;t(3 zZfNS|T@ZYWT%NSI(VO4qNXp^&Wp+4s?>Dx#5tPmt7XU0swcP{K=`b7zeU|;BB$`|M zh?`F+P$)M1yLij{IywKGKo!nmb@Om@ut+-5X!#D_$V!XONv69W`jtyGR@M<2~p#hA*8tj4cjLU2AvX&veRVh!{;60!{Uzt zT6QUVyd1Aro5s`Yz-m4^Sg&X>i)b#DUss4kSfyRc_$b&V@@insYf>zIJqn6O@2{eg z#gQ{b#X}~nL2i8ezOU;9S>9i`RNn-ZYLe#Dw8rjf2$Mi;vEgu=J)WT06#teLAVG@gWZwbdl zU{!7xS8xswL`UIvmkhDWRLK{UVP}N6JVpm$tEu+xC(3o75%icf{1gMmDSpGAHn8O| zZ20EAR5dOgSaMKxD#q6=J8%>BC2TKGRs#81gtc!6B4ER7CAXMmju2_etvi0mj2C2l zebU+r0mj=i>95GYqkk>;7o)^1 z^=o@l&}Hza!0ort)B-kY^&+HpjBOe2Tg z`}O;8Ca)49T84E4Z%Im0?9nDB=; zt`D@JU)t4K`9zTW*_nUcva7sscT$eV?3}-WMykxphsg{m($CphOWYU&acF)Cirx z!IW(10_C{AwomYO$)ATD+W=dcvZOCQG*5AOEQ!TKFII)4Z#SwV^MnUzE$=_GCB0ealrC4n`L_Bq724&XG$wAI!-2iknGM3E+~FD7tg%MR~Vy zabxRRctC|j@vJeF0(Iy$VfV`ahttH>sw*SLE88E*eGcVjCJ!IC^rBMJzT5R~fp{^J zHtj#<#~qSju&!WPFftJa1Zg;Ql8udRM5((n)|!SI}~f za!W&)f{Qgw;++NCT43#^-rNmdK@=w)%l|1EBQ8bOuK>=F_>6qdf_H=GEjL#VeP*_- zVYC#nPLg$G%WH;ZCdr3qeqvKT%4aRYdsw_@jvqwuHHW zKNx!O-;KiNz%BA+tM1uC+Isu&55pX&>XU(OC;0$FVGx`V1&TeK5PD+{+ zmp|`;QS`wUTmYABzWuU$I`NLP`V>z-MYfx2UBofvRCu>!&2suB0J3+u8-z>Y93+~RWAwQeCgs>?a~o@GanDlOZnqZ zyfQ<%qMzozcF>D^A;azS62&WA1WD-V8C^6h|Cr94ZGe}gz|QG>>-kit^?GYQ?pMhw zwZffS7>%EWW8DG-G-%%-QPKIEe-@$YhZjnf>kvsgP@76k!!OHJgWFyiY?=tU&t{euX)wIe|~aZ`hj+jN_Et} zra&O6ECa^!n%Q!`%CV~GHX^y3yj(TMy(E;sYYt441u3(w<%JFb)>(1wk!XsC&rL>& zGa)rciCUH*pA}zc>UfbLE8~Nfa40+IU4aM8T}pU6GdAX9^RFSFH=dRI!Xo#9P_9A6 z%X$;4P5t?rB}ewO!^6=~sDr6!X$VQC2A{(r@^QK!by{YbFWw4499fvD`J9@d6H})mg$tB@9iGiaABckQh?CUdKy)GZIjnE7D8xNnphHplOxAxdX0tB1CI&Kk>hkD?3AB4}m_ zOz3Q8G0KFIo?M3=q8!E;P7(ajPKTJWxB+s?klGQl??mP(M^+(a6*O8~lb|H=6!Uin zf01KCM{JBbeEAV`w|&UOzUx}oRKpOwF5%1g395_K*reX^YYK{E436I9`_eufF4T-! zQ|WtF|DbcmA#RKuKpOd17}-e*9vwdSl&7&DHla+u&{u15KMu%@@8goXkdDh^J#a9# z-s3ypgydK!&9ssaz&VXS#4=tFn+QfYU4qY;bKKB)r+;-`{8LvvhN!?V z#nZ_g4rl$KZ^CcB9enuI<4(VoGK`;$@?NKLHhs08SGKAv~q4l+zUkL658SVvm^4?V4PUD!9ukYwki!q{v z$U~Gju~L1W60}WW?m&7t%Z5pAwA|ZHP&j006lhawtP8TvVaIzRs;{pJ<*5Hzd{ooPgx^}92fV%AdKj~% zl+~Yk!;m)w8bHfQje!prNtJ@v<`$oKHQ4JlJw$=M%>gXLtFmPzcIvt81!u3yZ(gqk zcUX6(CxT~Qo}=A;wh{H$H&+Wf&cvyI7UU1j)Gfz8zSiTD=a~f&JNP6Nz7p!!5DGzZMjWM0mnnV&i$fmbhw(AlIX#akE8(BndJTq5-cYt(wy=H&(A%Od{ z;L2`@$FzYsfJ#V%)fz|J_NQ}^7N8-S*FT8@&0|EfL-g{VUdKfUlVb4?BnC z^jtB)(K3T$$tNr_oiADZS&1sA*3iv+l}NVdjX1X))qAx5p2k4RkyVG3BIzFKlC(qb zK?3rhLmBpT>fs7B&v+)c>H>fGAnbxuTIX&Tb{uoQPMxTy2<_PK4(~_UzXqFku^#DC zF+?K*i(<V~h_S>k3>ho9Os?^}E z&XmA;Y+4g#Uv5J6@du}TN#&PlQ=bOKTmW~h)E9!a<#&ebJ z7G^m%YkZ)07I5snmFJBqi#UiPvY6JMi(eD2$nc8)Cd-eq(;Rkx zIaxHDrU;yQrrTF7SF%0pMhUm#PK>x%C>nS}v#*et<4J**CcS|#=X94#b8SXLL^}(e zn!BDEVe;`{X(6pp%!&}wfIKHK2%6}+__;+WW><0!6j6VgBDcT3-s_{J1~YG5r}5@` zSvN|G7@vpX+kG*q_$C2J?@lpSten5dzvS7k?}|RGgWtG!@?UyTn(K@=UPCv7f5f(Y zG5iArl$w8M#iFMD|F~J%)G<~bja$^nuFzsTSCBX7!Jo0>e-`L-4x52PK{m@-eSFo~ zmKl!}_&I-&;OXGOFA4Lg4vht4pSU@g67@aUF2I#Fzti9dZ$K~tyi1hIEPLJ$zwUmAsQ6)BEWXrgYkb`gKdz5d1so~zG{Lc&8mzS{?sj;}>{ zPjB_~)xh{TRy=XQHuDwUBrQV*xlYNGPio|$dYRde5=$kn?FR}sC?EPb%~9DV=>=Yb zeiij{_f?_Ta7xOz8j?t3LV~@s`O)wD2R@j1%XLNt@6@?U1~=)9kBIfH=nBTOSbj!O zZ6<$@{_?~oVj!V;k57E}zIm`L-PMVk-U!H@zC);Ac^*##!q6p>h2JFP%!?Q8dgu1C znDtOikQ0&Vy5d%Q$#Osik(1_)6qhtN>F$SFt4r5RD1}wBa0Rx{@CL1SKWa_y1k&px za8}wWpJP7eJE1pJKrzGqXo0zvINdPwPZfVH^f?4!nm_pEsl$z+FP8)oYIojC#)MiM z;X}(lHc2kTp5bvi?_ON!PXd;%420q5pxkS8+ug=sPad%_czv^Qf z>)zzM^hKfTDF>7*OMXvcIORvc`6LHXvtT{@K`^QvhKJeLC8Tw)?9Y^Ml~H9KOtGm{vd&i?GN-KW1aR3q@@3W2ZeI#flkDwrVRNKvDL~SJ!r`?LqX{!B#%s z9-9e!%#p+w2I?%L$nz>1wGpnuRl8}gd@hxWCtFg=%YS?-3m(Hp4kriYt}k*>v`;;& zjnO~Vl;}A|j19lHMesIZpCOclU*n-@6>UewPv&go3kI^$45!(Vt%!etFumMPXU=`F zxy;yfQugQ98<_I)_uWbEDcPgSI#0vKY4%ACI!@QV`G!SO)OTLeK}VLYNM&^{59SRn z{gIru4-(0!d8AHX8ZZ0$N#OXU`5E)ug)#0gh?)wd-OatFPJ}9!BI@+HZfPV9wccTe z3`UyxVMc2m#D8$>X0d-;uI+T)*=~4MD_L|+De+RmDG}8c=dhariQ9)zfi*nwd>NC2 zHplfSE=?g#5Hrf}R&6wy(nJAEGFy8KwFP8t9Wc_qxJU?3jw%0k3DcJZZgn#(OTIlC z^6^%iR33;4PlOBa(b`hF+J>-nLT%C=-xzd@b)bouquh{<;V*x3roubL-W{vrvo@_h z|1s%Dgsx%UrX)!u9vAP>`qKX1OVwBK?bRR3>JMG9DnC2IXJlV2DWp3eN34uZCL(Mk zZGF9B*xLr3g&7E3GPKXXLnB170(p=G1rHXBkR(bvhr@T~9e)2QbgM#9&8PWpvsNbB zqF^*QMo{EyGy{M4hasDj-R#R^ZPj#aGruECNmS{DG6btQ50Jz;l4V&?0&fuegP8PP zVRbYUlj&mMdIQ5lMCu;VDALxZ2Ij*Kmv8n8)a%Uj01%eu`?EHlb0;b{-y*bk27Q#V z_NPN|ZLPVSIT3mJYsDd6b)=Gsm5 zqBr_zo;ZIn*nW6+MLO|(i#ACWo;HN5jipL{)z$|qFte)S(Y~DS^A<-kb!a$%5QUD6 zWU0Kfa$+2cUzI!DnrWN()U4r6UHTO72g$os*ZsJ)j~!y^m8Up-(0ZV5VpY` z<9pgS=gZ^e>k4l+*|8^17-ZfdYd`tGk5I#N^W5Z9&<<**j8ji~Zc4d{6@=ZbHNGjN zIOBg9pSn@h&R<2~Pt9k^g-moZp+z@irfy))0dKr-FwR~Fo_EGZm zIeAE4+o**P<7`o2{TvQ=!!xjm@A-nK1xbIO9Dbk6y<$N+k9Tg^&1_R-f2A5PJmCg4 z$|8?;GaQG?mm}LN%KVvVHFau)AHdffVKd>>haW|keuUJL+b zOZxx2C6!2lBI5NP6iU>Z<;bp(5L=z!)m#EM5JX#GyetzaBO`RRyAeBv3t9@;ft8^F zRz@zk#99HQeVjSGy{&J<<>+hLi!zHrZI`F;e)~f+V z`sxv!?*|H5Nep`g;!odZ;ER7aFqL~v$>ddvUkZlRGHzHa+s{BXUTrrTBKH3lI7IN3Wt8BH7Bn#o`LC^6VkP&uj39t;jo_rv+dfiR4MvrH7zQA=z%J`-` z$}^~zw#uVfsADV?5}n~wu>4iGOIy(o()5|Y94j(@XbUFmhr!5S30Hq#2+}4*sK*Hg zboFH&N>?x1B1kS-1waL`L!|`k}5uH@`#GY1=WZ`g+avA{iPd4mcs z1JUi2XVrP!e+n!^RH}d60;m{*m|}Y6TpPROdGvFQJOw(LP5XElKMPFl=wXb_joEUU z@g9Ud(t07G_kzxK@4IeMQU2iO(cY}oKDD*mi*o5?%+**1)~2m?7^ywPs9ZpHsaZtr zbc}0RFty1%6i?B9s~O7&Y&JPUX6t|Z+Ybb^a|wOUKg9wp z=1pU53*Pylic0#0t2F|nj>2h7_?y@a-Ajoi;wToH$bkB)_`)~?3f-SD_)13mvHt~60sy+G2{rLU*!fp@@$x->Z7~Hdeq<8vl-)=x?XXcD1+Mf(p9me3 ztlL}yRT7$m{OW&*tFNerFtTxLwl$%+xE;Sc7@Q`TW6lloge}rHXbx&#hX$Hb1GYMW zh{^Tf^cNiu(Jb(u);CUd?IB$JBy|t7Sns;9jstIux^u~E31fa7aO-0U$ggR7G%)}*b#&Cb6u(EK^ab?bclLR!}BUx!1 zJ-5seW2|iqs^RPQyh&#CG~sknbae`SN>5aK|t!2LfjkoeLUWy9SWkW6M_sat7z&Q$^v zoNNj3RkD8=20_?3#kX>pqusQGoJR=n!H#W<#M@T;BviT*b*Zb(U1TQQWbtL)qD^to z7^Lu(ZbXAa7kzXm+@`a_UE^DMThhhwlgzrP0d^nN zecl1|5bi;VxJomZ0L|_Y!MJUrzx!0C$`&UgLJfb$SSj~uw4HxWR(S%?#4-&6t0SHY!7$VI)6mkDWLrM0prAzFWu zCM^q3jQU#>1MowuY@=oYstkZqlv+4t)E{Va0i4~^3p18QuWvel3dF=iQeAOanm|VJ z1HON5&GuIx+p9YMG-Q5h_3W|pGs{TQrF*pmsxCS)B@n(*7 zao4GRsk!Hc_)3Lpl^|&`p)0GluUfO%WDeoux$ zJy%xihixwZO}ej`^l1i*mh)HWXmll3kA=ECToeOCSS*)t*+%qDe)f{h#yC%_s1yCE zHTnp9Wfp7Z0$g?FXR6f5Z#<)ul<-q@sY}BFvmtk3sWK48p~?EYrl>q7H=0sYk034* zb5UtC-VlFJxjNb`3}e-z)DcgR70-V;?4bBiQAo)T_B)-64eSK4sZjNn(qHhRAJp4o z59)Y*P2m&}#sS0$wSEP`;V+uMP7T~68UoGK>=fQ-+|_i`3ZKFC+Uaf@dYoV*-UT9# z!9cIJ@T?TRek|v3Yfk^Q8)WeV5h)NBK1ORL(6GA0C;ORS`KOHl=TvHUE}nmwV@@GM zL-^PFqDb--7uM&OVU*`#;%9)Sa{fBOXXpph&=7JPPlb;Hf(75;w>giIX}4L`Aslvu zl>1$2f)HLOIRQiMl$2O!PFc#@TqJBUbeUj;7RF$J!)mQH5%`&@Giz&t)-v8X|GVR= zWo2YL*J-_|0e7jGr!3xoO`m@ScOSqPVqGT8ci!MRGv#)_7=p-6kgp; znK1`QS>>=1Vq5!Nn!ZUHeTIWsxL2gB1E8!(Vc?PR5Xv~Ydhxbejbi${Bpvh(==UYL zO2shXzcCCpOhh(E_$s}vosmnxmZBZcF86d~nkDGm^)YB5H^!2qk6i|h*ljFtNV3(@T*j*xiD5B zr1SGDKK8=OP4aeIFBVfo(b+LYXk5L7gn$h>$rer+7&(iKs?LA+?UIxJTB#TUCeTFV zZjL|%_htQ~(KZ>O4UtrAGhF`HDSWk$)VkPwEZ8TdHKMOH7YX7yVc};rCL86M8g90; zhuL48Is^0grf>C(Ta)j56>cbmGpQT(V3SK18B>~AN;h1{xy1eVeJ~b)%Y*+8euk?N zzPRMuj3?>>f>M8f>Xv0-pM-$JF9;mvmv|3b=dRnaWTUNb^$I+D*A#;em2Dg>ZwFzX z$riwoBqmlACaWjJq7S*;iEA^~JaC7tjX%B^`%<-?GH$14e!ICA zB3JUBB&vVSUnxxFzG>H~Yn*Z5<&P5#+49kWe$(L<>1+IX?b05z|<3$c29iv;Wp9x^P9omXJgYE}cH|VB~s< zq~r9(QEverLT8c!AiD?{L}D|ZhknFPmm#WapDK1LUVFn>*6*7UMo~;w>a#mLbv+lo z$k;eVo!jPzZ4za${zY}d=yI?u3i?xoh4D9zYd~FoxD5qPouip~Rw&*eS9{$9DG|3J z$8dko>rfc#jD?q=jKWj;mk6{+w+?7?;q7XO=8$>`M*_c+j*uO~&-b~)_iD;e?%A`y z)a|KuFWe8UR@w;KPGjLq5Q|0$tbLa+u!AKD0f(a&Gf*q8FW4uAn2m|E&vuu#8ux%0 zo%Z=+OO}{?&0%l7dt&YWMz7NO@jjt7H7I{CCn6Z0xc#X~M7<|5mCDbma8s5sc?F1M z)sS%LQq}{L#EJ4JX^ZWUf%K=DT2}%=m4q~K0^xyYcka&|>esMN@7YR|7WK%=p)H?o z<*8HcmBh+vNq(@JmN1|ObU5(2ZVi(!{h3+V$EVRZr{YWFX+cdC*KIfbODza-wbg%Q zrz~<`r3PJED>SfF4f<#D3FEr~2^;37Z>!KV)#)wqr0^h zui53Jt*%qcU*fErVS#ijuU1yj>$pz@J7wV`io(CM%`=v=0ItM$ken)f`p-@+-=SlJ zxNc#^XqT5v5AfHV#*Z=7&kG!+su6z?!$B%`JBE(qrq9EA_ok$(BGWY;eBi&u#eqyo zu*sTF9RPa;HO`k^6Dwa+g^u#iOwsfgGe#>mN$j4aUQfV#t|;@(IfqCxYDfImAPP^T zi4YI<7U0P;S@+&M^s=@8#K?VAPiU!m-tiq}=e8co+?2UQdAIN`yrn-y;a-1j&pG+0 z*4Y=ed4&1;ec~!D;iiCn?8sHa7Gyp#tw)!;Hzz>n9DPG9Gww9kQBfYCc9)rZF5|>E zQAF-sldee!aVrQ#s2n9tM1bj0dG85h1y%Az_8o@3P?E%&z;}wY_n?QeJmE^(6P$*IvfY@$RzkSG!ogQQw)@?;K^RMY6Tsn~) z2yjx}`L`54fUaM ze!zRGqk#4hR}!6ZDP1idg7Y@j2p~zCIs5NB0Qm&+|D)~jmTgLZS1|?sK33sz!dL{u zgm~Z6$?t+}EUW1)RK6kr=0G=EoT^eq<_Qb|BNHLZGk?+uw0A@*ca@=0iIyN^$D3~t zhmw9Wyxlv4T&P$!9w~ncJB2ji+bq^1iGctdN#w26^k$kNN2B0j0tO!drFk&V=CpjHrD^wkf+>PBNF3n-wc zoaqA`@k)R=lDmA8I2s0?nT|55FTb*|$`rQ(M^$K}g77l`F^PYxKQd|lh_@PD#3y&E3z zRol0co|b0yIR}_QTcbXCB&<4ay9_7xv(%t|gviQVhp0tZp^f(kqn5<*N~DKtRo5PZ;e!&YH1J8STQ;eyKt^R4vmU;YCQp zSE}#^zk$$=X!nu|890+BINli#0R}+`$~YbgtCaDnB1wNDw57r|llXRCfhAeRzf+!G zp83pogOWw6tvgy&`i;^}Iw}dS@GaL@cqK(n0YQJc{DCc5?+QLgfkB{*l%a>)vS0*E zSt7x@K;tLetu7Zh{r|SvcxY{sTSl*y=IDP7iwHo$l75G-R)Wme%+Xw*B+1f*Dbvb- zkzZxw)|r2Ync6+5SxAJDOX#Xhi>BR@RIW}uy^S|wFUbLaCkH%+%0w6aDdlKg?qMy4 zQJR`U`vW03RDKPlG*xPM<>}ZUj6rxH*v6vPdnAu7hS^wkI|^~~6B-L(9i9m3-v&w< z*jnt2#enJu&27e0K>>dJ4wq}1Y8TidBqx1M=jDIyKPTW&(g;d}rJ$-yoD(q^|DtN& zxN2sT%q+GI@r40`I7PWwEC4F~OPqgvj&hw@Us(;nu!LCh=Y{wig`L>eVOGq)v2nt` zSZA55O1;@000PUImVDR|$n!ySCehLeo}4Uyc_^G_KHnk)e3B#I5TJeVw9K6mhGsOC znvQ>P%{1g5ZCKKXc0J}yf)#~UJj-4ui46Qu2%X?mYMX))Y=WG^hv!fRduZNRvh1{e z0IlKwdz^@$*t<*rmiVNSkhir;UR$sK3`e=>vU4?nxKPruWGI@r_>Fnq{%2%9OuT9- zlf4Kw0}7S`FbP#tcoLn!`n$JYHrNW20{?%_o}#&9RatFM7|_>2%gs{X?6@=)v+fGy zwEjI8TX}t^5E0|Z!Ca?Lu6;E4YGvc~{&Tm{;|cSEHnPKbB-FqoGpi4po!v`zT@du{ z(7q39==ywWjsEhKv?hfY@r8LLmJMo@iY3_*SfaWl$>9IN)@oXZ4s9VlSpV$n5RQMb zCQ7WB+ew?d>vnz(pP7UQ=Dq;C7hScT8OFiZE?@wZ=}b!98t+W9sg|ipw37wcj(3Q4 z1z{Q8+{ZwV9Siyy_BEg}KH|Vmjxedp68FZTTUD!zSJREcf;kRzT-$y9SJo?1<{G@> z+X|wQhP=RdrsYQb&LZTMd7YF((vyFNL7hzGss+)x@KrER-UUHoPS-_RyN}Ng*9dtP z#{f_$<9(Up=b*P?8Co46MFar}qte-o%hTE8iI)PgnWPw&3W7B1j*Uu*I)@M|)9-%+ zb$XY8hzUsuj^%h#6`VdZX7{!xWFN4EO5%k7kI+Lvf8apkR*-_=2wo?lVYGh~eM`+_ zROXW@xkb6I(Rz)aVw31$NoLn{ExLO<{rl(=b$&%UA|P+%*Gd}w@7 z3~{PqOKo`txo75=X@BdP84~5n{7VP3vjYiA4!lz za%>I5qpk-K&AZf>83vKUB@cg61^MJnL)*sLxFGiizqdjIQFah26h4AQ@*{IV$+0}J zt%omZHF@~W!os}k_;BnJ?+I!vJ)o6{LmQn8X^c1&pOzIuO2ykvK)AmBdQ zkoeyCu5L)4p?~odwK}xfTjJfj?H&^{Kdx@7!r~rsGlA;E=+PYPxh*uY_0_ zn`?IA{L*;A%d*&e{R0~Rb`srSfo>#x^IoLIUVA2gi)~5xZ8NGg* zlU)(aaUwC%oCPR$iQr!v73sba%LB>%&)zoxz1ptU9Mvj+9WVxwDC`@G&uFLQsiFj< zQ@c6TV-Xz1@#c9%_p;Zb9PHs2$b>uy)VMPc44b)wH;@HV?Rbr)Jg=-Dao`H??yIxqAvoqHc;Y4vdK$)49^?%@g(4qlMEU=V`dZKxZ zkq_*Gt|!q!guS*loMUb2HdUb)csnAG0hyM9&{_zeEbalzKqqxIRlZ#xk^j0%BP(e5 z2a*}8iS#z09;mwRtiCOAA5OBpT0X-2t!(9NuI1IU;=X_Q(PXkQIUGY34QpJy{|^@i z|CU&EQ=x=PLAGU>CpS67CHN;b1^v0GD%F7Md%7%ODcs3!6k;BepGD zd0fI^M?1s0Cf$S}*iZERZ8Br~o|mrw`;ca&73l;anI_wSdH2lR8Oz~mbG%1>QB=nm z&YfO$?gf85ePjXyF)0*KU|(FYZ`N+a6_Uc6%b&BA!q(9|95Dnug@|iBu-HYToY>*9^itm3(#I=y0`gw3fmq+!mpVo#WTS ztl&E|-(I^oh23Lrh8I8$1sf;Y9Ue%?0&k7Lbk;blG06%pN4c~{0DvF6pdD2%5E=lU#ZAWB9EIf@CfjH-Xo8lF!&V`Lr!(zV!8 zzU+TSa%cS*Xdck*fhj`LVaK;Mp6P?18MUD9mb zxTq^JhL%j-PiHk!>&p;7Ws~hkv1oU{V5)!VTo(kZ6@OF18$pWU|Fd=h0zyc+;{_E0 z>oCE2Cz5Pv*9;Z7crLen0nVik4VBE#$`2!0OEroDKKC+hm^(&(^!)v~)1q5*noc`3 zwToTuN4vZC5-G|?^n3eVrhlUM>zXm3iD717@_zFiMd>df#eLf+;H$GAOigU~G~}@^}H%q7Pxu?0QT~Z+!GhznA*}hye6wE~9Jg%yS3;^wT_# z6?f&C<;OP;r%o4UBCWHz48}XixSnpW(A?(LsG&gozgS28uA8r@Sh1o5nrDBxsSf{N zefKW8oKkjPo3@PV^7}OJ2y-CuG*_LT7}4ON3K@$*7C4T4ETlXr6=#E7@HedFd3WsN z05ZVF#hQi>vSJpFyPt^8KH4RWy+8~~*5r}E5)rw(!66_Mr8Bhwpoq+;y_E&ry9&;e zLMmk5=%xU31ETLlh-Kusm7#xh?g>(JNaG&D>TAk}OXtDp&Dw57RcCk%ikNA9d!K&d zzFp`RB-DY>Cdzb|D^HLfEQ2bakAWU7A+$~5o65Cb{_cUX*KVI_4ts%#bk2ct@X^}b z7(pHUMoGtSa#ok-nY0Q#s2DKntQAKepwSbbL@*H#@>$>2V_SbH=IHHu}e+v)9E5t`7eBn}JoBXq+*?1?4f_B-%Wc%x8U zwty~LWv90K3jopa(NKRjH&O~GzxH$^_h@4eZO~?#f;pqdO)tZN4qsZw-6G8ub0_!% zwWIxOXxl}~b^{_E{F3D&KBd{W6JT1DIcP0``voyLABe4Rf_C9G3v2>T3G~vp@cKhJ z(YU6{4{{UcgIw_~8jP0i@?c~+^NKQ9N+CSykkOyyealXUbVGkuT?NmzJNF?jDKp&# z53qs?`Wq^`PmkM{sqKZWA}S+3#u%BcA`mL(hJjZ3innecRd8t>U}H6$>D!{??60kLzy5%N`>EvfRNPhl}s@#V%!B=}re|^y%(hBJ)^?Qt^O~)R7CHvpcF4 zV7B85*NwYe_wj$d%zi1{4WUdVqzBXpcN0N@jJ=W)tXVPG<6^*apJl>nmd2iBhTh{} zBz!}gkGpPA-A~#7aelA5^z3^nRl3jxP7ay0w11GtOew@pq)LT|xeq&|+%*CqZ6_yV zGD=Hh-ZV+{JNCmDhXCbm6|`OjU(G~e4+vILx&;?_a-@H4qY&|Y9G`yzmKzz}(_>Fq z1%5cPABl7+uwEqdvAXuNcAI8>F6E<=Jp5_<&FVSJ1;>x(q01g&0{&^!ss1(}b_8TK z^9>w*rQBmLSqMyEc2aH$5`my5;Y?nSOodxhv2uQ{USwf-R%%F7-B1^@tET7%NldkI z(ItkiinV`&yniOV7ehyL!=BQ5}l_9p^T?z{>56$Kd4{}L; z#CRCVB~`TwzDj5O#ZI2lDSjp68%H+eQeWA!OP&rQ^B0g%XnmEV`LlvQrmMEwV^n4n zKm$CK=eafU<;4(y7r1{Y=Em-b=$7l)&7*hPOx5BGSIv$KdNjdN&S>arkWMiIm|Jbe|wc!iot76iR=( z#!Ljcxxp|COy;C8Y+v*dVnjc4ZPWmslqeqQ1V}i2#$Ow5U6x2R)0l}}VOe0TGfG}O z%P)<}V+54D{?NKFDkl*wdW15{JI7v3puya`Y}Mz;!8I39nqdGgqZ2N;Mj3?DB2B)r z?5^b*0H->m%ue$H}O8ZK*y~( zLuqY~MKTVJ#xOyJ?KZ&bq6hMdnl-hZk?yceQj&uOO43>Ip$FO_x6P{S)@-nKk*(^qbgX%g%pBTwU;| zoTw1Gw5ne3u|motVhe1EKWUhz!ED?UEC0@$$*&VqcE}zHQmR?NEW|N1_o3I{opY)% zy7tx`1D1^0!78F4*Qw2~G|L7@K4xj7c!oOKuIuED{{p=06PFw%J6Z)>kr43Udx&$= z>A;1%uqSSP*oU;F(i?rTNC$uGS)fMIuE&rtu3){RIa{C4lV6qKbR0pTy|i6*A7(-Q ztzc!NW)!A{Bwx#{Z8EkcEYORUMX2KTR8#Uq%J*^fNzO1+%^2V)!1x!D3c;pZV9~1U zf?hM^h^y`wEmtN!7E*AjGDMHVjhH3@$(ahhC|NXOiXgZ4*Y5*2w@S;yd_%qS4$-SJk zVAddH&8qu^t)WaK5~}M$s73-a8U$KHN%zc(7q{I&c`RPF_Jecp88D~rapY)P!~#O9Cy3&V~ys&;L3mcuGEI~RaN0dl4~=||9Ran zBDFxKFu7+TtmW|@R4`Lz)=ZSLxvF+QR{#I$aPJs~4Ka0RB}?2kzHW_1C2f{6&cYIl z5#>BPJu&v*%g}dT7oteKM`owO;mVaL^9hT#5Lr=*`!`GmAaE$nzKG49wEt|NK{r}2 zHGzPmq6dGnvoXyKeW0^~+>Qa{RhpbV*!J^zUkIx-IeSwj2jjqc3$ewUV~%HfPr`4V zniukcGP}hwH;dBm0zv{Eg~bl^@cMp@+Na>2nkl&)>P`C`e0G8mUL&J)yr~$4=SL=z zP{c25_oPxAAyq(_+}QWpB}pPPrkpg917pz6j#ht(sBrh*5kTH*w?1oTH)jdY7lXrw ztRqqQ=v0!r58k-!oWxx2w3AQPoC zwE>`r%~Mppg`;~PJ!9<`S zm%@KX7rGLFo}5FG%~pq;OWc<(cutU?gj<(wT)NTF{<^EkhOXNo5`=@jnR+P@i!?WAXFq$$Y+?;9iWwm;TxQ_F+yg{RBk+3!iaUFk zDbzh0KDXBPhK1BU5vR6fS#jVytY4_3A|!wC$Z>|fH7+xwoNk#**k}fMJW_K=S4_{7 zL#^5f6>qWT5r48ADp|)l(%3<%cB#x760X)1vdsyVR37tu^switgRchs@SZp6*f=J~ zfq+N`feEn=aaw;afS~!(rk-VM)PCSX^t^o|c1ikT1l0$FVS`G>z#)3Xn1{jEEHQsv zr}?KFY`Y8IOlhP)0Vd$DMzSo{0n{PjCk<9*9-*I>Ex@eURK0+8Nz8JNB3Hu!C%g;t zo|sTBJ@;T(3CEdI3t+;31xBmus^z4lpC<4TvG*Ix0FJV3MA#r4o zJuuMna6?#5IuQbA0povm7~j1W73lf{B!w>e00XCuIdQiWq`_08BX9Hl z=}lp;J1&`djW|`! z0n;6kZq}U}f41vstm>(svaESh7YxV6YZNV6zm-kfOjBjmW9@=HnZa?3BO3=93O zvea*!Pgms~j9&u%F#InpX|%nZ$kR%G5%QpO^?)5t45Q*=2u9Fiwz$warD+ zzLTs(d3*Sn0o)*q=ZYv}*FX8uWTOYjWpE3{{V0{qJc^v5B(CCTe^v5&p1C%O6J;_(P140<(}ET z1HXKt+_q0C9gRo7i)r@vh4nkO%qM8%pcF?GEqUfT>Q^DIcGFF%ZSyk4>3Ef*nEao#&e&v&)1oPm3fG2z8=&aut4bb-2r6CO1S(co-Mf&YR^33x} zCBf8XTpAS81n7?+d*GUvB{s6Bz!?FqHC?G-U3(#1QEu;^+%?TyS&m761FK5e4uUqq z-x)G9`$jYVvx|QaBA7xMP*@2-aYffh_s4&?imLb0cZuC$gZiSq%A+98#!WElR{Pdq z75&do>wt-e*94-6h>svkDqJZKhI zmhB;bhmC)S+Tl)lh6^`rf(OVCZZ{Vg3)JT%$~FiPpN6& zj-hCr+SHb(!zD$L_^)NYUit<)VK?(!*~x;V9SC)l5zlQ9BM@i7Kog!aqsT66Y%f13 zw|PpR<)$ivG7w;s>NyD=TAUjN+q_HSD|G%eZJK}52QaVQ0u6g5=w^6pjBD1a-9=kh zNCjQQHfH~(((wXX-W-}-v~~-v)cEy(jRR7 zSHzOALw=h#(iDNaLf@Y>#pnxRkET)jZ9`?T(yfhAV8`k9R@pwX6yf>=@Eywn6JR&d zBuIZ9_~pudUq6JBo1}4URV&O9I;7-vxY$2ytSw-H9p;j8mwNK-3M_^tonWy5k62&O zKd6}S`X~h8zFuF7#Xnjq42iq(t60O^>6$;( zLIdbIyln#g#x`rBtE@%t82QQObjgLtxu1Vu0+*+s$9;k694Qm>hqKJ0Xrq>t1JTam z>1Wla+DqVy1bFV7oIHiJ3zFsu>0PL*>rde4xCVzmGJBl6E7t30-;aE(MRi5`mff$pleE?+uXb}?*7AEtjC zLF|nK-t!jWB{hIj=ydsuy{F{Z^No$k(Bi)=$4ck_A4qF>PFeA=Mi#m&gV>1oW-yK@ z`eENfy4+I=jN+e@L5F1%Vz&N4qJ65h*RfNe|1VEj_gON^x(PE%fp$!JgbA|6^ygFE zyl?n5jM-O|sG31&;oVNUc!ew5$0dIu#LPLL&7F7ly;;nB8x(jZ&Hs+2Xz7ZMFV%?X zN}N)B!%bt+{`*f#1D+}wwi|c+^X;x@hpAlSQWe$1t~c3t?Pe&Km=b9 z^N3K$yU9f!+IHaZZgp}`GXWVyN9}W_CaYUHy2vAX{NXjzO7nT6mKBatF4^VT?J$*F zo(R~z1h%6;>@|9f zOH21K#yRA5Owz_L7mx@O6clb2#Oq>3=;lRHn)ieOd!XQ?5rNFyTlQnv9@=#S)ed|v zlv_A<$kRy2{mE({w$sE|3A;qq|FPQLwQYGEe!p);PD<$#XwL6g!_9w5F67lX|MmpJ z%Et#M@=UezvObfe%Wykl_1tQ$R76qU)Sk%o+N`T%V1noGpe@Hs$y)=K-JLSe6QA1a zg#b6DiT`+2pHET{Rw`tbZh%FzpbDU|Xd)&x*@R#X3qS)VU}#Wq*4$k+6-}FzGmFR) zVKJtpFmABUj$YH8eU^V1oTaU}@a~Ul;uZK+UBSTDU&lzPUmtxW#h|$gX7K;OMA7I5 zQqY5L1%VTaz%_fyAXK^;kW1s)8ipcjJ8I9A5@>Gqt4=mwnWSW>%(A|MeD*~sf1;$? z=Y;gO-t~+`G#W6S^>gqt|?T)g%sHuKA1aJGJ(eE zKRx;~>*uoyxxjx^ICF8X*gn$^F459FNDd~9E{uY5BY)xTOXlFp%$T+-=%G|!E@%`A zpA(DrX1&L~D`IsF7Cp?zAW+D!bm_DFBwlEUrAC%-opzZ389jq!)|g5}3P7fxtR@qE z^Up|>H%x{^SDF0!s@@l{V4w`(?!FO@Lxyp4Yqw>5@~MC4i_4nL*iS~(3pmogVAchK zQ=BOVQ&H(_r{3LphEnD*$GkL~9CZsm4cV2IOYB)mzgi`_P6ly+LAN{i8-I>Q zet?+3u=vOg9_#1 z7nR_63_*V?U~MzNbCORvH;;U~`ZI_ACC~3eQj&2>k4YXR#D-@y5> zg*m$o@ym_rs;|S*6zB6NA`QbZBX4mt_fy{ch`2R5TiDAUf^(%(7BM`zCbQy{8ApG* zJI{po5kwSm?Ux_`T_iUtqNSPE!R0kqLyyGyV4Qy`BhP?6@E_I%UveoD)S$KZovIS4 zR#7(xL}tv}?;(QZc){p*DwaFS$Bf-OcC-$L4G3l*mg9CvK`69}|L}LCGTDm=TEZo;Q5L+*G{#d8W4J z%A|kIpf?@hwp0WIk}lbhn~2lUxaaXx2{?Ul9{bNcOOOh~zYu1@RqC*}@n9PuzoQXx zp}^MT)kEPDkbCifoG|xtR+BqqM;{u|Rv5_40i|@rrId@dIHE8)Lzxdo6)(9F)-PXx zg=rcFM$LVA+d%>kFpIWumqai^aGF%drl)_C;Sb67G)jZZ9NRCm!)M*#A$bMu5nme6 zkk2}t(UVUt>0i8|!mXqCRbh-Z^4$BMOmMYLwrYtH=0avI-^rh+%uSGmU3WOu?fs&AQd*1JPU&aqrjd9%4LRFrq?cE;h4T;xDc@7qJftJIk_rFgHUTeFT;W}J< zcqQ1^tMLA9-Z;a)h;s?AX}9(UC)mJ|BJu^hk|r!poNIn?oqa)Ou&rgWu5X)uQQFH5 zWyUPGq)}H-#|Bwx@7+>gm>~YH>u;AM?Zo*NjCp?y@q~T4$WW`$JodM)+wBDG``?!@wd$7iOI9;GL-h;kF9&R&s0U+v3i#du43YW0!K zYW!mRhxa1EWAtq0d_zYchE+x2(>vW#8a)HMvGOANG<5WXcl@e+RwIw|GzEP0xFdCA zquaz+>e|?(ly8OYla;REkK$(r`n$#9ZK{U2@JQR*zpYX`TQ*o;+|6086gnx!Y2bQ> zXFc>IDMrX!(@@6&7g@-SITVrRp(h)WYh^PtN-N(l>a~#d!@WOIMTP_~f5u z+SJ>R#LJ&^xU^;}S;KAOX7TP;98?Y68CU7HxW!EY)&t2H(AS5DWi@}06mHwasKUA%@O zC5um7cDsanSJJ6zs=L(5GE|k8A=%b7^a59jrYT}U;VXO7bB#|Xb>;mX_v(64@%1`P z{_TOi*L!z{+H__J-5%CCXjG}_s9h-o4?N%mKdX4C@=8-=0nPT>FgDpiC$y87*xT=W zM#_g`s&^dd-F!acFjB2_weYFTCTf(k@V!#1nRM3h}FD+Q=Z2%J0zuQxz}u@BExJM^0v-H!6JRX*QkaY~(i)I&tQQZ^!Ik>O5`^v1F|Q#$?GE7=ab^O|mn z;{I}$CxbG5Y7Q1Nv$iNMGUBo?NH52zwAP$?lJ?0v(?~=A$>D4|iNQBv;vHEv=IIJY z!si2Sh8``Xu{mx2x#ImZc6}AyXZ@1TV3Kz9R-bL#ee$4wGrE@BFHWXbovify)&iNjjG-M?vB9l+%y>AlV&pS6kI z?EZL#LF1|manB{*9vy+F2#q1!Wlt&=93uO>U>QjVGRa zR?(KyR`BlfCdWm6JG%6h!%x}W!g|_rOyH;>rdUC<8f{bxRe}=HJatp>mJZ}Mz}m#3;r<;rGg(sb$fR}(~W0u zScm?V+%z>NzMFzIy=UNaDr2aT+;Ito7XYTwxo!g!V3RkA~HRs+)&a z;F&eUI9auXA?<*gK$!g<|6v zJT8m%SP1S{#1-*nAMV%}rPZTaP2f%vTyUi6y)pcB@yxrd$+yDQ2i$H}20={g&$(lH zPK|fH%(@djHL9{VF0@gX@y7w{%5!g9D-S`(@ULokOpHg_Ym}{z8Al!DeQT)LYT87A zIi6oT?dmf7MRFv-NK-+reWA5yzvG~z}{1Gn|eODgPefRzGPz z=^r>nN~SHfbY%G0Pw*@42%U2Z6L`76zXb0;H(t8k2DvX@@_k+-Crc81?`>iy zF#hnC4~g7SNnKy+B4oKBfTT*e&VeKbRbbfn$uqYRx(1K1498Lx*E z9~i$qrpxs1`?X(Owe)zfO$s<)1LnsYF$sTduNr<(ap>ME=I&?ty;=>{?yghXi~1Tz z1-X}EXC`s(DpgAJmxHW!9QeYSaA6sBaZk8z*k7*}Ue!!=^ZgKr%(QjfUM|}yYV103 z;OHzSWGln$sXL~|*?S!KMsyeP%`Shdzi)_oeOxSr^U{;_1*r!dL8c5HfwOkzaCGC@ zM})il9&&G9Wa5^6(Nj}9`dRp9#p{e^Gp!U9(u)62YnGnjI$ukMjzL!=VmSOUk0M8UJ0s&wHR4>(&)YL zG{I=yV$mYrrr1CKR&)W>;7%HcJM zjZW@-fzH|b!`4>MM2T+$SN9jB4#ydD-+Ct^+_7|vT_RB9=88qAjgHIiLaX5O2g?Yo zS9|Ca)GPYhU8SeAqaX#Y#W3aWZvN|yp0`CWgcp7M_;($tFkd7fX*B1q+q9a9_VEJR z5R`67>K7qa*_qEGql*qbewB|{iRH?$^lFt1?8_}-tJkL{t^fIM*%h9~-THadiiEem{h7ZS|U}v2&-<`4f z;MS%gcaX*2FA;yDtEEgSmq=g;f#Ktd7i?7j6>PMd0(l(>II#$YYzH+-3{|QXgYa)AD|t@KAjO|nN;x+4`-h4 zdcQn1$EnW5xU5#_NQ)Xg6sJ9Ea{V3baKO%wH6&kJDbGduLg?ZBa=7Tb2_{Wax{LA6 z+=((e^Hp_jW=0(sw%+a6@kiNbwpIHv_*w0>@gi9X?CkiKN=sAL`Eg{uJ$|`yK1)Jp zkR-zAd{4D!colVfN5_w#VV(7XFO0bMK#BL0hj{BQndxa%GoNY*57X`(I$qdku#O5z>Tp#$+c;UfS|a_<+kJSNBPZ_yos?`?qE3+KH9q;* z3Lgfgnk`m5CTT|LRgMIx`IM(RjiCLSrR_o(zZrZ!w@TD}y<}1UyjhjRHnXj~+-N~qaBOc$>^VR9T`954uZF;TIliIsut~z>tL4D_W2e-(Z zhAZQZuEnZ1h+Q+@_F}8wjJdgge_csV(aoUmO{PMJZ-w>1V#g=VSI?JWH|cIkT3nGR zUyrpDyc1&;{y-7#PT`0TUp2Jl@a7b1+2^=wX(U^(a6LJejW_Q?u#TYHg#Y@2h;yT%Ur$`KGU&8s zi7t!uU{KndbAR{T>l~ZfwC%d*Zsg&!LP|N5^}$&#;Tl%UD9|HcRKowJLi*_FgNIH< z;fKmzXO)bbDqDq`o0GJC5AW-=Qj1%P(nEzk^N@eKxzTQB!C5GSyAz$6<`fYS46kT4 zU5BRx2cmBXm7eHjG2G4QZcO`mFO%xX{t4NWPw$7y4D$@>eVizfdv!Y|OU}nikf-{E zpxuCAE?-%P(HSeE{L3RU5qFGh*xo-b3}O&>Uyt@qG;!PWqUyyFk6e-DeHUwa-DB#b z-rBzwYh+fa_KhqO!p75UZ;UG_3Ov~YD~K9r?}nSD3gsKo%+;c~(?=rI)OZf~-6G`( zgw`aA5?zfwSZ`)JT;1>!rZL-}RhNbD5n3adw@$tEkE>lhBig6EQJZ*5Q^4(HeWF!~ z;&UHHMjeG{u^eZbuRf{wUo{g8zMOpbY)MySigUzMuyRiLr1kh-;{vg}Eiybs&tX61 z>g|U_jxw4LE=fx2Nzv8N9<)_VQ1<(@;bJtzv4dSHSi6CtZT&v0wnd)V%vrf&=CmD- z-rw&J&D>6RQ?FMRfJi=1;E^}rN6 zzrUE9_AdFN+(q86cBiHvdF&s47C)l16P7u2DMtCPF6N1Sz9&Lo^NXD4@o{h+`Gm)L z%bqo{iod#i-+%bPa%^_hE#|oI4GBBMxY=O?+P}U(^AZaQ(tAhuw1FkQ_twHQOP(5m z=*NDcl=nAjv2g-(Ud`{owb=T&xKnCxVG^W<{2Ent+hw|%o=Z}lRbSb zynL!iZff&((2wHhXWhr;S6|2WPK#Q(d$(E4>wu~P4emuIR}YV_t= zU`tY(Cy58c{W1?G?%=b#qwJ?AAgK`?y!oQ}4IS}?@4_ILJ)2{;-bD)sXCBWpJ0E+^ z=0%{zv@9VSR9Ee+NLiPRTDpS5tKCj=fj0#zl233j?Sj_lEXRcC-VAOpcvtk5+v^x+ z5Y~KL!5?rl(xRv6Uctk!54k^bu;L~{PQ1`nIfkm*w{xQXUb3226?+tRkHO^RgGcv| z&BgXtmKY|Lzt5o*ShE?RcX`-zi2nA#Q%O#NHqE)#rQdE{m1X9&;Z*dco*!&{Grgwz3%hK?BR+k< z5%57K;ks0@`5iSyWe)6xEK!*dXewP$IWxz0H)^1IbnDe78s?Yx%f4T~Y?BBVJu#1S zKZG4uQ3|o(Dd8rMfLu{vz$EDPIiS$26}>%P5R*tt&JczBuK`6!ejIq@4CuatVjDLQO9Ex`CXPi>6Zss}!xs z!Ced&7WI~f=2?9nbyjrwhA*}UGd-pgAnmb-ukVmZ^OtJKVcmVjAZ^yrNl4I6TxTbZ ztBU*HQzF-1%i$$7o_5EcVMnj*Q$B4=@+{U+l(=y`n2mp!BuAsG=&Y&nWA4F+kzbvcdkx-g&L58>LTsXHU!yjlJIe(CT^pUQ1!r$r}u8H(c+=8opX`4pbnl z9^kWgsa!59?`P3n6tz*&s?`%%Nh10FRv%lsAeQFflg;bIzR`Wz z>DtjrW9<&S4<@+Ft>yY3oHG_$uQuv=qPKJ4%v^p(#I^<3WW&_U;Lp9Yl&#Y2T$S9L z|06mngMC}H^;XW^oCX>v4j$H4IDEwL{5e|}QnYOhr)Y8MR!&RWTWBuMVl)>Qw_UM~ zJJ+BX)4xZfw~TY)qjQ3|IEsTKxvm`l2^RynlKzh~gksiduFrH#C=?oxCq_@sa*6!< zymgK%fRBI|N0Gn8UBub``GCUU38?6dIWB1!MI;g_zKcc?v1lBM5<{a1SOOY};n8S_ z5h>ik&x#wKv#gl|EYyWk#J}3c9ED(j0rLn*jDSY{Ap{%(#-VWtPXiPKW3fmf zXbc8R>3*_c42sg#fS8CQQPJW_I7(NOV}gjI^eR~}4*d@;u>YsUWcQPZltKVTAYmvi zMxy~aG8RxIECx$O3z3MF$^d>CEX9=o`G6sYfDnShqKOcJ$~q#Jg!Bwh1&0(2kwDNO zt^`daLR1(D4g61e5M&0DAvs%c1WGTEF+4IB$QY6O9D%}OaGBs7g!}g#{LB4hkcgp- zbTUTzA3{jfLLd~if)E-<#Sa30{nKFJe+(YNAYBbGEHaP)M!-`uBq7`n_yIepyg0geA37!iw9kbprWQ=1&-2t#0U>_gOAW04gOoWo)f#AFOaCc-lWEQwk$4kSGC z91f4ez*HcSnjs#Ir?L)@!&31_mGwSr`BYK~!3kP();45i zjidz(DZ3pCGy@C?`ooZa?jM}PVGyptp+L7oU|1}kh(g{c;E17gKM(?HI;CgG7#! zU`B$GBQ&^oA|8=CC?W`jKeYx*lSA*jL> z2gx~$9HCKoF!>;_1dNX0CO;KhO|@5X7KTgOv}-5X|$4=m!kJ zjZ&Ngicn_`1gbJJSRpV~;9)Akcr&<+5RHg_zz>aByT~$thDaGi5*|l6|Di$fiG@8l~60$1- z8DJ3j#qZbr2ZRu*?gaQ$jD%>%CGa^B;NXLRKkI`oThl6pRPsEfq#WPR5`` z;HUx<6zc!VvgyCm3xoyXMP(iJ&IWo3RZ#&LFdC^0Df$g9_cl;osnVVR{UQISc(D2+ zizFBVsdit81nMv%?8vhiqHdzV0t&7Hs6=irzxo>yL!xS;00SCQ>Q2OgCy8J2`E$hp z7!J7+fJ^~x9!ZNO{<(;g<%8@dQ7za21BD4ej0c+_k|7>wNQFUQ@CH zZ&LsyPzeSjGqQ;iL6<>3wva%cAqO;oVUgY2rw+75QCQ~G!Ee{G6qpL zQ6K|!1;jOxF)WNoDgc6KD9ZaJW5}HaJTrm>r%Wn<5s?cNsA=GakzRm+&i`V+#|v`R z1&SlQ01=6Z1qz%akq{3nprZpA=|NCS5k(iA!-7%zPZ=<94d}I0UI3Ma%GKaL5$%IK zN`UR=PljZE|HE4(aPdg5lJ|9(3Pgi_AHk3WUKIWe8gk5levX(10EPp50+JRF+6NK? zFV;V=?$>w$h`|&?;Tp0K(5aDkOakw%2&F*;gB^oX2#8=X^dT|O`YEpo1|uYx;1TzZ z2Kpf%)xltbM{Mzc76MfmDTIV3QSk%GP1%kBEqD?pMYFJStJ+Y%($$M>X004-zL? A-T(jq diff --git a/LaTeX2e+Proceedings+Templates+download/main.tex b/LaTeX2e+Proceedings+Templates+download/main.tex index c5302e6..7ac998f 100644 --- a/LaTeX2e+Proceedings+Templates+download/main.tex +++ b/LaTeX2e+Proceedings+Templates+download/main.tex @@ -49,11 +49,11 @@ Despite these advances, most existing work either focuses on packet-level genera % 2. Related Work \section{Related Work} \label{sec:related} -Early generation of network data oriented towards "realism" mostly remained at the packet/flow header level, either through replay or statistical synthesis based on single-point observations. Swing, in a closed-loop, network-responsive manner, extracts user/application/network distributions from single-point observations to reproduce burstiness and correlation across multiple time scales \citep{10.1145/1151659.1159928}. Subsequently, a series of works advanced header synthesis to learning-based generation: the WGAN-based method added explicit verification of protocol field consistency to NetFlow/IPFIX \citep{Ring_2019}, NetShare reconstructed header modeling as flow-level time series and improved fidelity and scalability through domain encoding and parallel fine-tuning \citep{10.1145/3544216.3544251}, and DoppelGANger preserved the long-range structure and downstream sorting consistency of networked time series by decoupling attributes from sequences \citep{Lin_2020}. However, in industrial control system (ICS) scenarios, the original PCAP is usually not shareable, and public testbeds (such as SWaT, WADI) mostly provide process/monitoring telemetry and protocol interactions for security assessment, but public datasets emphasize operational variables rather than packet-level traces \citep{7469060,10.1145/3055366.3055375}. This makes "synthesis at the feature/telemetry level, aware of protocol and semantics" more feasible and necessary in practice: we are more concerned with reproducing high-level distributions and multi-scale temporal patterns according to operational semantics and physical constraints without relying on the original packets. From this perspective, the generation paradigm naturally shifts from "packet syntax reproduction" to "modeling of high-level spatio-temporal distributions and uncertainties", requiring stable training, strong distribution fitting, and interpretable uncertainty characterization. +Early generation of network data oriented towards ``realism'' mostly remained at the packet/flow header level, either through replay or statistical synthesis based on single-point observations. Swing, in a closed-loop, network-responsive manner, extracts user/application/network distributions from single-point observations to reproduce burstiness and correlation across multiple time scales \citep{10.1145/1151659.1159928}. Subsequently, a series of works advanced header synthesis to learning-based generation: the WGAN-based method added explicit verification of protocol field consistency to NetFlow/IPFIX \citep{Ring_2019}, NetShare reconstructed header modeling as flow-level time series and improved fidelity and scalability through domain encoding and parallel fine-tuning \citep{10.1145/3544216.3544251}, and DoppelGANger preserved the long-range structure and downstream sorting consistency of networked time series by decoupling attributes from sequences \citep{Lin_2020}. However, in industrial control system (ICS) scenarios, the original PCAP is usually not shareable, and public testbeds (such as SWaT, WADI) mostly provide process/monitoring telemetry and protocol interactions for security assessment, but public datasets emphasize operational variables rather than packet-level traces \citep{7469060,10.1145/3055366.3055375}. This makes ``synthesis at the feature/telemetry level, aware of protocol and semantics'' more feasible and necessary in practice: we are more concerned with reproducing high-level distributions and multi-scale temporal patterns according to operational semantics and physical constraints without relying on the original packets. From this perspective, the generation paradigm naturally shifts from ``packet syntax reproduction'' to ``modeling of high-level spatio-temporal distributions and uncertainties'', requiring stable training, strong distribution fitting, and interpretable uncertainty characterization. -Diffusion models exhibit good fit along this path: DDPM achieves high-quality sampling and stable optimization through efficient $\epsilon$ parameterization and weighted variational objectives \citep{ho2020denoising}, the SDE perspective unifies score-based and diffusion, providing likelihood evaluation and prediction-correction sampling strategies based on probability flow ODEs \citep{song2021score}. For time series, TimeGrad replaces the constrained output distribution with conditional denoising, capturing high-dimensional correlations at each step \citep{rasul2021autoregressivedenoisingdiffusionmodels}; CSDI explicitly performs conditional diffusion and uses two-dimensional attention to simultaneously leverage temporal and cross-feature dependencies, suitable for conditioning and filling in missing values \citep{tashiro2021csdiconditionalscorebaseddiffusion}; in a more general spatio-temporal structure, DiffSTG generalizes diffusion to spatio-temporal graphs, combining TCN/GCN with denoising U-Net to improve CRPS and inference efficiency in a non-autoregressive manner \citep{wen2024diffstgprobabilisticspatiotemporalgraph}, and PriSTI further enhances conditional features and geographical relationships, maintaining robustness under high missing rates and sensor failures \citep{liu2023pristiconditionaldiffusionframework}; in long sequences and continuous domains, DiffWave verifies that diffusion can also match the quality of strong vocoders under non-autoregressive fast synthesis \citep{kong2021diffwaveversatilediffusionmodel}; studies on cellular communication traffic show that diffusion can recover spatio-temporal patterns and provide uncertainty characterization at the urban scale \citep{11087622}. These results overall point to a conclusion: when the research focus is on "telemetry/high-level features" rather than raw messages, diffusion models provide stable and fine-grained distribution fitting and uncertainty quantification, which is exactly in line with the requirements of ICS telemetry synthesis. Meanwhile, directly entrusting all structures to a "monolithic diffusion" is not advisable: long-range temporal skeletons and fine-grained marginal distributions often have optimization tensions, requiring explicit decoupling in modeling. +Diffusion models exhibit good fit along this path: DDPM achieves high-quality sampling and stable optimization through efficient $\epsilon$ parameterization and weighted variational objectives \citep{ho2020denoising}, the SDE perspective unifies score-based and diffusion, providing likelihood evaluation and prediction-correction sampling strategies based on probability flow ODEs \citep{song2021score}. For time series, TimeGrad replaces the constrained output distribution with conditional denoising, capturing high-dimensional correlations at each step \citep{rasul2021autoregressivedenoisingdiffusionmodels}; CSDI explicitly performs conditional diffusion and uses two-dimensional attention to simultaneously leverage temporal and cross-feature dependencies, suitable for conditioning and filling in missing values \citep{tashiro2021csdiconditionalscorebaseddiffusion}; in a more general spatio-temporal structure, DiffSTG generalizes diffusion to spatio-temporal graphs, combining TCN/GCN with denoising U-Net to improve CRPS and inference efficiency in a non-autoregressive manner \citep{wen2024diffstgprobabilisticspatiotemporalgraph}, and PriSTI further enhances conditional features and geographical relationships, maintaining robustness under high missing rates and sensor failures \citep{liu2023pristiconditionaldiffusionframework}; in long sequences and continuous domains, DiffWave verifies that diffusion can also match the quality of strong vocoders under non-autoregressive fast synthesis \citep{kong2021diffwaveversatilediffusionmodel}; studies on cellular communication traffic show that diffusion can recover spatio-temporal patterns and provide uncertainty characterization at the urban scale \citep{11087622}. These results overall point to a conclusion: when the research focus is on ``telemetry/high-level features'' rather than raw messages, diffusion models provide stable and fine-grained distribution fitting and uncertainty quantification, which is exactly in line with the requirements of ICS telemetry synthesis. Meanwhile, directly entrusting all structures to a ``monolithic diffusion'' is not advisable: long-range temporal skeletons and fine-grained marginal distributions often have optimization tensions, requiring explicit decoupling in modeling. -Looking further into the mechanism complexity of ICS: its channel types are inherently mixed, containing both continuous process trajectories and discrete supervision/status variables, and discrete channels must be "legal" under operational constraints. The aforementioned progress in time series diffusion has mainly occurred in continuous spaces, but discrete diffusion has also developed systematic methods: D3PM improves sampling quality and likelihood through absorption/masking and structured transitions in discrete state spaces \citep{austin2021structured}, subsequent masked diffusion provides stable reconstruction on categorical data in a more simplified form \citep{Lin_2020}, multinomial diffusion directly defines diffusion on a finite vocabulary through mechanisms such as argmax flows \citep{hoogeboom2021argmaxflowsmultinomialdiffusion}, and Diffusion-LM demonstrates an effective path for controllable text generation by imposing gradient constraints in continuous latent spaces \citep{li2022diffusionlmimprovescontrollabletext}. From the perspectives of protocols and finite-state machines, coverage-guided fuzz testing emphasizes the criticality of "sequence legality and state coverage" \citep{meng2025aflnetyearslatercoverageguided,godefroid2017learnfuzzmachinelearninginput,she2019neuzzefficientfuzzingneural}, echoing the concept of "legality by construction" in discrete diffusion: preferentially adopting absorption/masking diffusion on discrete channels, supplemented by type-aware conditioning and sampling constraints, to avoid semantic invalidity and marginal distortion caused by post hoc thresholding. +Looking further into the mechanism complexity of ICS: its channel types are inherently mixed, containing both continuous process trajectories and discrete supervision/status variables, and discrete channels must be ``legal'' under operational constraints. The aforementioned progress in time series diffusion has mainly occurred in continuous spaces, but discrete diffusion has also developed systematic methods: D3PM improves sampling quality and likelihood through absorption/masking and structured transitions in discrete state spaces \citep{austin2021structured}, subsequent masked diffusion provides stable reconstruction on categorical data in a more simplified form \citep{Lin_2020}, multinomial diffusion directly defines diffusion on a finite vocabulary through mechanisms such as argmax flows \citep{hoogeboom2021argmaxflowsmultinomialdiffusion}, and Diffusion-LM demonstrates an effective path for controllable text generation by imposing gradient constraints in continuous latent spaces \citep{li2022diffusionlmimprovescontrollabletext}. From the perspectives of protocols and finite-state machines, coverage-guided fuzz testing emphasizes the criticality of ``sequence legality and state coverage'' \citep{meng2025aflnetyearslatercoverageguided,godefroid2017learnfuzzmachinelearninginput,she2019neuzzefficientfuzzingneural}, echoing the concept of ``legality by construction'' in discrete diffusion: preferentially adopting absorption/masking diffusion on discrete channels, supplemented by type-aware conditioning and sampling constraints, to avoid semantic invalidity and marginal distortion caused by post hoc thresholding. From the perspective of high-level synthesis, the temporal structure is equally indispensable: ICS control often involves delay effects, phased operating conditions, and cross-channel coupling, requiring models to be able to characterize low-frequency, long-range dependencies while also overlaying multi-facated fine-grained fluctuations on them. The Transformer series has provided sufficient evidence in long-sequence time series tasks: Transformer-XL breaks through the fixed-length context limitation through a reusable memory mechanism and significantly enhances long-range dependency expression \citep{dai2019transformerxlattentivelanguagemodels}; Informer uses ProbSparse attention and efficient decoding to balance span and efficiency in long-sequence prediction \citep{zhou2021informerefficienttransformerlong}; Autoformer robustly models long-term seasonality and trends through autocorrelation and decomposition mechanisms \citep{wu2022autoformerdecompositiontransformersautocorrelation}; FEDformer further improves long-period prediction performance in frequency domain enhancement and decomposition \citep{zhou2022fedformerfrequencyenhanceddecomposed}; PatchTST enhances the stability and generalization of long-sequence multivariate prediction through local patch-based representation and channel-independent modeling \citep{nie2023patchtst}. Combining our previous positioning of diffusion, this chain of evidence points to a natural division of labor: using attention-based sequence models to first extract stable low-frequency trends/conditions (long-range skeletons), and then allowing diffusion to focus on margins and details in the residual space; meanwhile, discrete masking/absorbing diffusion is applied to supervised/pattern variables to ensure vocabulary legality by construction. This design not only inherits the advantages of time series diffusion in distribution fitting and uncertainty characterization \citep{rasul2021autoregressivedenoisingdiffusionmodels,tashiro2021csdiconditionalscorebaseddiffusion,wen2024diffstgprobabilisticspatiotemporalgraph,liu2023pristiconditionaldiffusionframework,kong2021diffwaveversatilediffusionmodel,11087622}, but also stabilizes the macroscopic temporal support through the long-range attention of Transformer, enabling the formation of an operational integrated generation pipeline under the mixed types and multi-scale dynamics of ICS. @@ -244,7 +244,6 @@ Validity rate (26 discrete tags) $\uparrow$ & $100.0 \pm 0.0\%$ & $100.0\%$ \\ \end{tabular} \end{table} -%Question about the following part. "Figure~\ref{fig:benchmark_story} turns the table into a structural diagnosis." Figure~\ref{fig:benchmark_story} turns the table into a structural diagnosis. The left panel shows seed-level stability across the three benchmark runs. The middle panel shows that the dominant continuous mismatch is concentrated in a relatively small subset of control-sensitive variables rather than indicating a global collapse of the generator. The right panel shows that the remaining realism gap is mechanism-specific, with program-like long-dwell behavior and actuator-state occupancy contributing more strongly than PV-like channels on this slice. \subsection{Type-aware diagnostics}