From a5025345b5ab5164b8f6123c0e5ace7c58c92528 Mon Sep 17 00:00:00 2001 From: gyz Date: Mon, 30 Jun 2025 08:18:06 +0800 Subject: [PATCH] vault backup: 2025-06-30 08:18:06 --- .../一体化仿真软件组周报(第八十三期).docx | Bin 0 -> 38973 bytes ...-25.6.27.pptx => 一体化仿真软件组周报(第八十三期).pptx} | Bin .../周报/25.6.27汇总/一体化仿真软件组月例会.docx | Bin 34832 -> 0 bytes .../González-Assessment of linearization approache.md | 63 +++++++++--------- 4 files changed, 33 insertions(+), 30 deletions(-) create mode 100644 工作总结/周报/25.6.27汇总/一体化仿真软件组周报(第八十三期).docx rename 工作总结/周报/25.6.27汇总/{软件组月例会汇报-25.6.27.pptx => 一体化仿真软件组周报(第八十三期).pptx} (100%) delete mode 100644 工作总结/周报/25.6.27汇总/一体化仿真软件组月例会.docx diff --git a/工作总结/周报/25.6.27汇总/一体化仿真软件组周报(第八十三期).docx b/工作总结/周报/25.6.27汇总/一体化仿真软件组周报(第八十三期).docx new file mode 100644 index 0000000000000000000000000000000000000000..7b4a922f36f64f2575304c198de1f5f5a40c81a7 GIT binary patch literal 38973 zcmeEtW0NS+66DynZQHhO+qP}n_S~_3$F^;I=8nDdUc_$f#{Pue{?HK}efmRJRGzBL ztfL?e41xjx1^@v706+);X+;j}1qc980|o$q3;+S7Eo^V+Vru82uj1)o>a0uWVQWKB z1Oh}+008v6{{LV94@aOmby9AS0YUUd;#2sDR%)wJ0D|>8XcUP`k*}|Xyhijhf!Fto zH<>IJfeN;0nkJAkUDq4EwL$nUD|6lDPn+1kqer0 zQ_v*&{%P5w^#K7{X)~jVw8(#tXMz+1k@>V=snnq#qQqFkf&Qpm1E3cd=BC{Rt=}jr z6&yQ0uK=M6DfyJPr&bauC6P4V)i^bkdEd9PRN&7;iz>g;0vRFk@n3SfmU#B1zSsGX zKmWW1ioJ{HL23vxqXOy%6wr6u3)-EWOeHdNTR8{LqlBa_o>H^n<%D8boR!UNhaqg? zKYN|lQZt1Kj*kVkF6AO3x{wZzA+2_AJOoGt@d09;$p^qrZhI7cm~TNSbA&JJ7rq{~xOV599NH`}OLieyc$S7=hd1ui*I}#f^T9VmW%_xlN39a0qQl8RX41tJUu> zp0za~-E%|n$%Vz_IWOlNG1t8m-8-x_RoJK=$dxy}LG6!j4}jFr?ovjN6^8?u?2~7+ zuL)vF%8B4;P1LAaEU?7ah>YnzZPoqvS`Pps>HJkPK?Xh!o1s{G3*Z+-=RJrP^Bw+x6 zyhIQH#NVK}+dG-io7fw>+WywH{}i+MdQkgd@nUif}VxX$%yTwuo} zPwqL-3J2L|A73{C3A9elT&;CCb{y%m8-glzr6^DBA_3j0*dPQwN(cr$g z`mMXT7-t^`8!g{)UHy3iKc~F9xcdtJXU~17xP^Jvg_~_%TtTaNAp^Oq7*S=_KTn~; zxc%RLuP;7Byo7xvRR6{%xgB#mG_EOwBl;j%?A5r2U(uvY8sSx1IJl)fBWPMM!$uQan`xKyv=$?-AzVnLWg{I@zoK=9b|4= zH#g{}<_mhSC11h3Htl9si}c?3rPuxv{rHw|IxF7x4a&#=mBvfFc6~KFz)!9Z{mnGD z&7Z)@er0lVcdn(?pwZ+;i*ptBfN^o%ySbdc49DA|2kYm_?wt66F5CB&cQbX1_c#wH zT9ae7cxODOJ2!q^p06v<{`VoePC^+jkE~PV8HT(~;gy})eE}FT=VOpnR(9uT0WMYk z1W0BcG$gJ-*f_BxEamS=OI(gi@udqVO4XF>owDHS`GhRZwF3BtJ=rZ#?#rJ}kU_H> z;GV+8huY;`&Nv8WeUw1n43V-PEo2TR271xd`-Py`3@CY7N$C~E8Q|iL+$?d7>u0Xzuac{1_ z?SAF#C~#XBVeTNqZLm@X*-s#I)F4b=P2bp`!(4H9$=|crc8~cp-nJ5?t^S~rdo>ED zb!R>Be*M1l=n&ww!k7oXD1&oF8+N#%WG(=>rY^lij8I(fpd>lD{66b)irq6~Q3<>y zp!VQ5uJ8r+7_l!OO}jq%FUFVfe)wYcU%r8G92~F3H*_q+)dGdgbK&?mg@|A`upt|D zh56r2zV~{O8vLz^?lafgWK+^>UO<;I5BRfx6nfU=YD>ez%eMD zhr;b@_B7o4uv%PcEOg(syckv+lY{lMI0RgT)aiY^GNoB9$Kd~Byh<6(j{^G4VL3u( zbUZ{B8)8>s8<=uGxe(tQGC6jB-n&d`;7)$}cNOzvkQqI|ku;N3Y;ln)i1dG;M>eSvBe5Sk z!L zI-n2n(_Q}0G9FL~rS85{M00OED0hWZZF--d z*EbaWfu!ILn+EVz0hcs@49US0a*P+%ePbwtkqFbnx{4L6 zQMczAp^XCw_WaRD>=CC5%7einhzxD8d0j%XI}c1*S^op>-FxZwtTQ`_1yE#jCquq} z02+xtb6;KGlrTdB@3&E5!pyx$NL>Gq~gX*QBg0Rs%L1?+Mt;487$s`X{XrMHffDCXN=|-@6P0${K)(8gt@` zDm+*K(Msg()}bzdU=vq}AVc*MvJ_^@g{n&iGa@poy)?&Jt z-k})p1H{B)TsHZOk`V$2#LREyj3xoblN;619YvwP2Hj+8n71aHV#po3)+(?w&{R>Dy;m|2rP-x`bIN)Oo@|FN^%fALsXkG_JJbR z+@JN#T%C`kSY2wvaAEY|Q(2-uiL_}jjqsoYxk5*JJKppq@;Mg6&y*)uo`;7O4Q}u% z>cjwLRvfuTLgy@Tb4~VQ6cQ|qR;3V=-!#rlewQU99h!NqI&VufE0T9fGFzF7SlrRHD4u`i5t6S^86Qa@SHHi};w zs-?5@&gW_(XKx@hvms=+U*zTJzi8fw!(}Fkr&0P7gPD7u)L@BD`Ru(-kk zH0$GqKBg4oaRYhOu>`W)=sg$JJ*t_Cf^U9hFDg|dFj>WgMV@r;FEtwvD&CYbWRMu7 zSL>5%aA#zKAD62FWgPC%&wtPZTZ6@mWX%7ESdG=_8OO{gGp_agP1Z8mq1tcKBrO z*}erjj@W?A(Yc(i%ua4Z^~54gxhAe&HL3l3=H{|ZXnPy*2b1eSoE^UMBw)k@6lgE+<{@)_DMOgHOQrehu05H!r z2>DlMGcdY8``c0Uj*CqIMj9qzwE*_HXk?8hiZYfKGklW+9yult6B_*FoCrhn-2-bF zys5WAv*NDR9LJoqGXcU32Qpp0AP4bC*KWVn)OhzNuIhp5toRw=87|fPJuHa(~6jyz+B0#$U&V} zaKWgPvR?YN?QN%m%2kt3tg~}B7GPSi_|C|PWp5f*9@D&Q!53mwO}V^yve}uwJ7^#n zpqQgK8>h*gp8G`x>Y<1wd$@m;O@pKcX~meT^|XM=|(Dn$E!f3A{$pSNqC2^C%;A3|OQV*P)UZITTRUad9UW z6UXX(knV(ArDQirddO`!h}}$ap?w(nAjI>%M8O=zq?ni^;*C|2dq-m#JF~8~C6dO<=|Ijxz(Cz<=v>xG5|0keN1k);PoaW7 zuQre7Lk>d_rOHeKm28f~YtG7@L{`0FPc%NT$(0i>O7di}t+f-F$>Yd%uQ4A(@jwP` z6RzBLE-}uao;tniBRz0rY>wNn{}J0%686Y`;mO{>AK39l{K(xBrJ7UnsmqU>*W%@3 z<}@Gf9Q7llsG7561&0VMdSsVNMt~7w$%Z>*sU105Sa`)$ z^1`2yiGEy#&k0a`X8zfAXv@{~1KHtWG3FjQ!tn?OvZ%Zkuh1TTFdZXFHup|2+-uD^ z*|8tl4`TcRn&NTBU{SUVQ@!$bM^Y72(R?tpqs2n0XuOYbWXa>m18P!ykj1H%56UdB zoW~?V@ScoJzPAzSFqz2dDjU7lf}>=7-6IY*cnxhS*E%_TV6Pkt>u`bzgKtok&Y3R6 zGDKC*SpIYS2Noff)JDUo6d?&LqBQF;4J7TOf0L1|D}4t^;*F<9Hoh;& zF`^HYO{YmX4st{F8!LPm-s^xgb3uF+43=pT;3Mw;+)(my3R1cVS_8W?_9_ z)A#@&%*XPw&CACMH?I)w$J(eJceKJ9Rc@YUs=cFU(6_0&n>+rJ?6tNFRx zj$iFv*5Q>fshhvJ1G(|ryJ&cJ--3Mx+4|yeblB256nCXZ=hCmmVDvu}cc3#m4FJad4@{OLM@HiDME+#Zq@ta2DaH3UJw_iYcoSr zv?#L4nZd_IrkCMlI~U_YpZ%}n(`$jt#>i;{z`MV9_h{KBFwRBn<&9ZZcKI9&_muXY zs%oOA2*E=JSxq$8wK3w)6yvlIpC*TDW^jlf(z~WQ4S8I7k8RB7ot#h9jiq-;=gk+S z-Yl89en2q0fzO0bOTOF&m%gN(Xe>XwQlcr2lw-jIhuR5z`J~eC5_k$JGb+(b1S?euav=H>U#|IGL-U zNYuM`Q!5MfnAp7y80zMBsAu_@FVC%vDMQjif_kc3^-V}%0+_uhLpdtQ?Y$z6)R4%- zRWTEC&u6siX{_wx6GNQJx=do@2NG|R-c9HYaEIj`wnT@Xe@%O8;B9jQrQBe&cmdb0 z*j~SM^z$zwu1tFEjBMZ<&rrg(`8d3@0ZUj-@gk~u;38-wb#p{>No1o);U6+1#7I$+ zlOj1`7UR=7g@7|7KT@KU&!O=X{lozTwEGVp3k148@MZvx$OEH;jPi4+wxpJKNqP z9+C&ji5~w3jcJaL#cY^!ZhrIgQUW#i*}8F>lD6kS!UJNT5EgkonrpDMjh4gLqI(m# zoVn6`@#K@+nAL0qpLF(Fu`oW>C0tj!*?sgZH1FUq}SCQQML=LEGA&2x$_h4bRF7NNQT!X#X?U}LV2?iNeh58(;&|bBBjGa{8adySx@jaG<3y6&U+dQkF zTa;0>TUDbMcDtId9~>)1i6kvDrem%ZTuGL|0M zXY=?0is=rX<#yyT<<8*9Bhg85m}fzE?UK3^djI}Mj6(*5Oq~%(w34YFdJ${e&3ojb zvV)LNLfi3|;&8V77fMeodU6-IY2*%_RFyN&4&->`_Z-;gxd|MU`(=6uW&Bh>_3lc} z=gA>ul$;#!W~0BEGVW`Q?I)mB-CwYKqJVjyAiZA!&j# z?)jWZkCoAgbR^_A)A^D<)ZKa?9Bc9LGqMGdRb%lt(T+tSnbJJgmF@jjL@* z55yx6B}=CLHfi{7F3uYyCa)dtn(Qsyvzz`UBE`=y*$49$cIll|v=hN4rgoDx!&&=% z(iDG?G=d0>O{8wJN(}GPv}>9FRBW}|>9@PA3%htKun*GtIdON5k)`5{#D)eRt>Y7P zLdZhdJ&58pK#xQYJgen-`3(&k-s$a`QkG% z4Ml3OJUv3l6zFf&#fz6#OsQ7+W zsU>hU1EOwSnuyR%P7Q0Vuxh?=P65+OnqG%X+Cc}IPZxIqn^}KGk6dHnh%LU$F*N`O|_L6lc}tQU`&?d)N$sM5jvi8pnHeaJmtQ_;ZV;FCURqv4jL9 z?4GfE815f>zls{smQ9ri%h^^ z20~RM-|!7!v(XAR8>L z)cizzI@RI1iSr-5$sQ!* z>!zVjv7%-#@o6TYgwlGVs(OqV6=c!SRf4C}spzp73|fdV(}*)d$>+rvOjOk^g_`!@ z@*cq~y3Ds)tcPv0zB4H0F8Y)JV&nhgjib(l(%(f-ikFH;>xyDcaki?b1J(9-rbKSAtl~9N?7Utglb( zg>$p(UBkYH49$KJ{Y^CR(^4No`A+)pLfbE1UJrj~aq9gRu-~;{ABg}5^S=Z6=g$pK zcAs_!baT&o-S@b=!Tzd)*;<)z7Yq(&;-Wv$aVQjkqXwpDy0Ev|7&Q!>`7PHXUl~64 zZr-!a1?n#fpGnNtxjL^?-h2)RfpwNX!rRJ)j4`qd7r3^6lHlj(ulNS(6vQ{S<;DBQ zopLa$Po$NXK>6EIQpz5<2#%{Osa6!{D4jz*!+{LmC{ec&ynFu|6*Va$uZOiX7Qnm? zSbp!FALe02rea7AntF*uQv4BSvyfbcm{AmtJb;*DM0nuH+N3Cnp||glq4Fk}vTf|T zDJE*^YXhCKL@2N*Q1*g6x%sX9`L7CVUSo_yv{Gj<2i?_9KrCFL2&Z2`bdz3oxak5p z0^PN82lxun>8@!D2;%myAy-#NiunVOlXz1v4KAtolFhQd>L<#Xn=t;kSDnu2nugXG zER)WdniHQTP}IR?t;`<48_&?PaMSfjlj`lK{~r3Ri}J-Hv06BzRmY4MNpFp|G~-9Y zx~2|0HC7gsSBM(j#uc@|On!#eaA*^%)G%Fo!aOFe&}Mw)&_NTozin`rHvJD~pC7&r z`i$jK(WwgKTpqC1ZVXX!aDLP0p^asf`ru6)cu5S-xM=7OmDI_kOVy1V;AFL#yrB8!2W5 zzS#BmdGrsTZiN?YGY+Z2@D-8$AO+y8Qc|C0EDt0pK}rFeRK33u+$~DQ$bTafVeDp$ z2ea|3m5g+`qy{neKtpC%;Xkgv!|#51d}&V)%5(Z}(tMC<4%7DICKqVYq71+LcFI?* zTauEDS&Qh}vB{U4N(E2>x?+$ZxU!1OL&oahP&W|ok0E*d5IMGL;VqoO>XULyroMUo z-6gU}p?jwe5&CndT_Lmj1$KgU7c?=i#*1;U9kHtvJf^$kzX&YS#_d5qcW=EJ-1k*5 z+D@leKI0bF3neFg8CC6&L~ERDQ8&rIr?#l~1VlT^p1BBxRdbi5$6QW|KpH3rPvYY% zJXOKW9JO=T;L@R6rX|rP#nPov0{*jJ^ljTX(Zt3p@?k1=C(Ze#Bm|#mw0KdnkLE`@ zT-Fk|{tpN4q)9WLG=wnPPs!$@er?GSC0JQwrS1=^8WXm1-~=@m`P}!TmqYM461{?7 zz7DabRiadhm}R>B_(ZG0G)3u!AHS;eU&uhlKu1dq_BJ{dLG2YM*79dW3}lRSLwDD@ zFPdQ!3Q=U#(8gs}bu*^S&F-iT`Lse0ts|-}W=M3@{kV{5C$WLAmi#}d;wwqQHe1fL zZIEqMc($ALyxVD5K@(;4I9Kptx8R$-7tp*AVVmy*g)`o`z`BJyZ1KEaSM3F|>*@HV ze(_{4;MAndECU>hNOep>@fhT**yUdP&rnvpD!QsB*6CV7ib0Ct7+?9*{~$!|U(MGU z)y3q#FX{*=sHRmUI&Et%)TGog@&}f61Y}7f+6hKpd;79M??|#Ze4&b>->Nvzb=?o0 zpJ6?*9EA-Y}F<|C%1F6H@Knlf~bk&*Y;*k|*k${mn1&>3Ip!y3THQ!E6 zBg+dTHQgwlBKDjE>q~aBiB5vZR#u7)`m>l>t9K2x6iGa9*R22KjOSHL9Ogd0_YO&X z&zt8}a{+YDta>3^Go$Af%d8dF?53NlJ;E+QX7Y^zVNLp|oMOz(8%SJVMqm4120JS} z?$Sn{a>(iXZ-^LPki(OshQ%zBswf@Sq(g&^ZvYD)|>A=Gebn0#(~4;;rBE6 zS2o-CNIahRmRx>R=lh4>`S;QKW- zCP?wkAO%;UV5jTDP{xLIx%sqQF${uC^#0|!Od3vk(7s#J6a0(II;m|%%C^Q(mV>uuM02x-JZbK zTj2d~gEiwL*i#>}nVJ5(M8>ay41TAl-<|SM?*q{`R_M=ft1|%CzJvd+dyk(W(lUW0Cw4iRzyNZ!$cMrvl-*e_`Nh zxBR|5x@_#H)BYXV#GZ{WaF5lxUkbka0;{>RO9Jw{0u`&)D~|U=96ADsiJ6)VO%TuW z0ycQzN-<*w2OeBckGLB7pB|k-?6$Q-XuN6nux4>n_w!57#15VCJQde{vY!Ka=>_ps=hZ0U#@koVZKsy@{dK6Ke6P8-j z+N4N&XEn>k(e*y4mr~6I^-z|C`(BSl$XLhAR~h%K=dPraB44POAleTnm*lN?{#-0P zz4jvD(tF(yIXN8)8K@Zccx3K*fi0TG&PzNo+=2OH(NTZc%S$-} z^SL>DN-yiNK&rYT4=EY2r-K+AJ2RtrB=f!uWl)jcnF3NkRTD&qR3Hf;39JE*M30ye z^Xd8sBo8VW5c6aXByf6166-!SS{d;qYs8RFwMX{;0`rbY{-J>)T8~UUYsg}RH2aS{ z#m4EH&PQbEcE)so=Dbz|!i>CDBLjO)b|7BS^R+wOXxRm4vIq5xUz;Nx`?Th zBJB~1b(u{C^-yTIxPK$E{H5jm3&yt;9cz||w=WWAhT7;P_$V=*z?>(St?hmCjz8BT z$G!hwGJWQ1tY1E|TN8m|_!7P(^jmUA6) z|08J!+*3X*|Ls7Kt+5p@IDidRSR126(bNo`P$q?m5x7rMU~z}H%|gB%*4!x;uzy8b z$NUr1#B=qpDE?S;KiTR_v_(ET+$ z^?GHPo4=5a{qZhKp`pLA2;aN&Q#tt84QIc~TJ!BHr6b*Sa+Hz$Zrpj>*YtO&? z(2itMMxgJo*~PS!1R~%%a^M)*=V3M9-?YZqCdO#CUjlmye6{bzYToP; z3>Od0Nqt7Ae$J3?X%?Mhs(C~*XoSPcJ0HB)>eXM9Yj~n_j3Ta)fDSJn`9b8l#SMJi zsYDWK6nW%APvgiV*3^>Rn-%G|(@__OaDZ_2=esW)`4W%j-Tt?sf#8~j zl;gri%0R|Y8@5{W4cOx7WDgyKN>_~1htac--1wk~o191*x*!sg^(RB-gsrYgXbHRf(wg68iZ)HQV2v1v*c&R5ZGtgnFSS zzE$MB_Vnocf2w67H_lB?it#+a>^b@yqFut8KkPrB07mqaO^sspcu`0eVrIFID+JZ2 z$!5H<;w}&9fta8~`t!Lq^1^e{9Nv;$rZRRZTW)z7x4&v`?$Ja{BA9%)-g(&FK74Ww zywo9ZQv1jWMz-$~Td|1*4^zj>j*I-jdZrOwzSANGtC)K1&kWU2+%R_5bR`jp5NH z|J`{b;EHWi(MtYJB0v;hY?e3Oh+KE-SpS1=S7%Ue)JrlJH9LL-3sM}Sl`3M}p^(sJ z@*qZm5~lE!MY!fWTjO*6-GKB2#@k4x0Ga``nNs z?N6q#<297&28bu0$lejlV3R8l9jRk2=L*PRLx=c>y3|r^gOlad_{Q2#QK(;v$|z|m zaM;R}xWDZa1ye2OJohXu-$uIVkm0*;;LqU0zxJ(~-R2kwM6glk<|Y=wNpg~UGGvW= zn&vkBpAiQ~CiP+()L*_he>c#7zCD?`;hxl|xKr?EPudHhxEblTJ%yT10((mmTR zGtDfP2xGr0@Xle4O&hf=SVSJ%V%g&)d@12j?Dv`i|)wy zB&egDUi)e&vgQH>O+>^@o1rSBYE-w0COWGxnv-j4B4WwdI-5&SPdhy1!2PkWAh$`O zIQ*rO%s(Pu75{eSU~PaJ6RVx`ZOB5|KdS5DvkUDO27wDEO8SehUUqr)ze0VQWu=Mi z)FH$mW$QHk{c#*0#8V|e)r>A;VPy=f{bLM6$4%H%*RWqVh)V{Bu zE;$^Oqk`6|prL0JQmNFYCSnXyj2Xi_e`>bW?*{B0^uRM+Nn|_ef`E}}q(RyS=mA-u z$lG7#J=1nay^h?y!l+GSzjl%mf{5V_ zF_ON^h{ZV!XDBn?P3Ax|KLRr18s_Ni7GtI|Mk>;2*VUo2xLKU>$N{4($S;dvnk0Sn zUN0cKa7+VXjS0#8jZ*CcFpsgeCg8YsPkE-6S@*oii%Z1aUNbnli2CwEPQTpyO{+%>>}CXRehoO0OpFr`7i1QHi%+TedQcTky9`%fj*?|JCJ_Z_WH z&!NV*p=|BVF-%eLR6`IAlA5^sDyf>L1CN>Q^bSoYA{7^gEFbpQjKkJd@3&wQW>g8) zS{+%+UcG?6Pa30O67KXztgKSJpxatsND|*vQdT2TL{HBg-NTS9<<$RUY&{r>DE{%8 zBa>*tEfk}bhT(`L9nF_pvW|@ED`}LXI;62&q{owpi&ByGpUIv*$t9hLvX$0p_(g)w zHI6(H$`rB-uXhXQrbg=%$?iTym*f@82!zf)1)UVB6$mO~DW>5@zm!>N1Sy0Kfshp$ zlh2qwN0i7r1R`fiBISTha6N6gPS0Dkb+A!3axj&(SODj1$;G4pgg}M({v%jN# z&L)E%9C=uIOta5-S};dl<2|&_x9m#<_Afyy`O*)%_~KPC?xbI8R>xg9hsr3D#K*iM z>iSCR$vBZ)DG4}{jRu6ANW*;uoJiA;`I@S#oPRkXkB1IA1WZ}|DFcis!_p;V!s{C+ z8ylrhBnsM;MC)TN9wM{Unvhy>Nm3h@A^T}RwRR^oK0l*zLk}^GdC|!@~Nl#^SaAqBetWxzU zFNV)!fL#4TbBuAGkU;YeebeUB31wGs&B@!9RB;C(QfMk$l}j3a z1xCy2N5V_GKWYqkRuywvGJkHOK)ZjKYgFsQGIN>S;jA3sX$W0nTm)As65CGg7w$6j zRiPo#1-S&hd=u>Yc@U#jU68Lvh-*$K1sHZcUQtw6&Y&#EhewE=<6B9QB^$YXHQZAX z+mZ&<7p6EKra{-`Ba3#&<;2nDg%e58zPFNwx*3soyG4(x;r?>!HL<|8#k%*FCzsab zcE#LFGAON)z95Z&e7|A$-{sPz!-9V}S3$+0ft#u&_{1R7=L_Tt^uR2U$A0aPXd-BZ z-~|wIYPr~>LKjtaS8!|`=R}|)Qir2~kPnd%53*t>CMCk!2<2qMr0t`Mx+qx)*Xts; zURLpP=9YT&3~&$=So*o z8Cx^$n;MRPYEwm$k}~xot`dUQVgm8FHmf$WauiNSZG8$O8enVtiEN4pP-vjFU|qc_ zr3#_FUXc2o{GxGg4gK^P=vnL;^>T$>I<4DL@Q<(qdG4eU?G%SoAqPBqblCgWG7e_o5txjQw(QI_ zb?dfM^w;j%JcrlMeije+JezTXK!sC23%C?kJki*CvVtc7n#A0aznWKj4Qbk-GNuRZbG%4IOzH7 zC@;_Sni*HKTE3sqGgoLseDte7T(J@v&~KQ}19U@|+0yUkxH>i#-y_$}U3Xiv^Jv?b zx5My}r>pH)_6cGqoNcS*%~|||SEx1NL92XHMhsfz!TP3 zwgromNZW1YCuX8bSJSi~ST@Bj<&FaKiQ(7o8p-#RIyTnmua@bcCjAVjjV__Xfbs&^ zLk{bxhkZ`+5dF+zhikCNwi(`3npPkT0VU4 zGaGAKbNCOSz&!>N9Ur>M1)d|ATTHF2>%85KaE_v#_z2VLnszWYeKxHwpFVta=1k8H zT}3_naba|@yqJDhZWgp&+j6lxOY;N)^Z-}yTn7|=4W$mqyZS}Q#HUmO8^dn|l8+<1 ziq__S^)3{4AvP}}hS&OzPNl@+Iz8L@Y|v?+hyL@iUUaG?BYhU|`b$gNSXP@b4Gch! zl#kHLjF^ZUz=ju4B}e`(LtdiWHoMx;{|fIbkIzQYhKgP-hN5gnN@EkKK|$R`yl~^J z;QiB(ly(xmaE~)qEsX6rJr$lgYB|gG>bqaRdfMrB@;d|T#+yay=ldv7t6FksC2fxK zWz0pviiNs_1d?m!^@@P+1|7SOu-Kuyl4Z%%7G0K;V@pf2U;!t=t21}YJR^Mwk_RnD zml4xGGLqJK*XBI1d%&%*p^8+zASNh9UK(4Xqzz_2O~%Sz)s1i@L|9yT4-(1{~XR>s$-(*ep04#I#ml-EqHq*J{1KM@~MHzQoIs0e-arE`wyfHZBGTPaSYhHKQ>A-{TBK9{I)+f&=iAcMBptj(H+ZDbROd?z=#2#pUl;rmvN@`OW1fv5u`tm~ zb6+7*y0~Bw(DPRx#HqgoACTi1M6%QU=W!akf&Snq@^j2KBj&1 zzKkfBrRiL@`k0)DXA&o?M^lQt4JAuSuw7#1Y$;Z%_GkjnoSaJ&>(mT?iC5T46NNv~ z@4WCZwo={r)zZ#P^%kFL{!}oBcV;UHq;v0`bi0ixFp3|6Ar1eD13Rz;;v}{?Z-j{4G0~>Gl`gx!ex%Jr zDPLt7bfVN#GNZjAGpxO)_z3Y;ni_3P?A5cG)AQ$+ooBS zG>2E{sA8p{4Qv%4% zk9jOcXXy_Udr3S60HT5(emu?lHZV}4?Igrwqz&o-ktx$nu_oD5U-{Qc;ta0#U(S_I`ai-U3vVMR_>qdpQ~oo zG+~AnHk!b@_mrgJE4rhK)MdaXx+ALSLPa@klc=EcVQt_8F19hTBVFo7kk)2cO@}*c zdCL_udV)xPEF#>)sNl0aj=a=xlx0fOOg$l?Cb=&b)nXaKYbboh0zL1%Ylt#A3CiFH zlZ0*LTAMdT^(HIMxYsBsd)7GAq@E>sMy7mkQQx*Jh^8_zv*NESP%Bj`v4y}5;}k9jiU0*Cm$Jpk*A>>41s#f{4gg*$}`{s&M}$X@|DCj9IlCyf;fdDdRhIq z%N*?=^6m^bcPRgwvgwVH@qTPhaT2Z?B5&|UmBj+NJ_0|pXd^{ z7zi+>7hSizVXQt6F7p z+o<9G{T8LuUVe?tnEs6L#=o6jCob9C+{)qOOgcET+KEL9fJ1XtU7B^Z0PwwMe8~~JwO^$!|oZh47$JuM}WLXe*8F> zzON6t_TWarJ%hgYcRvN7#X3m~o2L^yY#LjuY;p;2 zMFv**zsIhEb(3tY^o0A<^0+L{DK$+5TN^bhA+T7vTl$|NIgTB;rGNoQ%i8?vw5{9u}AVxN#>Iyw~d*hHtY z<&3Pb?sF_~SiE{~%9F{y;8pq|6o)WA`XK}s)SQp~_WJ(L?$JXH11-3UPR}lUD#2$- zyiA7~Q|H*A9g22FOP}4L$Tbo0xVjNSOIsChu2z74@u>z~L04i1Oomn;<%%|zl9-br zTPaS=Fv1ud%2;Y7<%(%Z@+bp0b!-JO7Nj=1 zTy&_VnQn$_N06%_KujDpUpe^Uss7oVBU3oCUX*>TF=nQ!iP}9=6$GzO86z1MGHwiG z?EfI|9lR`QmbcNiZQHiF+qOAv+qN}r+qN}ro748RZOrZWobQKwzw;m5y;f#rW@JQE zt^HJ1R%O&v4V@B?frLHkYC3EO^;HYZ-mcp4k|pwuag629FWtZelqlWro~?OJa8pPB zeWI1q>XdDNf(7mKzP9ZQ0YJXrJ!+2rAZZPZM430jgo zOY9H5jN>vwTxpOl{Z6?m;_zK$pn`_jU}yGE|H#Kt!VRN9^qb|+OqY@=#k8ai8pNf~ z)oz06!pxNw^wv1d$ic26;j~ff^o)KY0*G6th_Wrp1!^P(>S-c^Gf`OMzpGSMLXRc~ zWpFD6NGr^9ztP6{a4s&tC!i{vy82Z}8_6ok;ywn?ACDW>-%El~kZ^BUUuOa?_wQjw zgR>CX)zEjkoxPo*csWfP-}48Pyds>B`}tz|0NJ11?a!E%mL{V)`0j&_b@8)f%Y2rt zz^~*DT#-K1xFYLa*}%_U1Mx-*^U{55n89+myX7S4WL0yiNk=KtEtON*iRw6}&IU6z zB3%gN`UX-$azIVge?%tx2oe({=~DWm!8^Js(-4cN;xyA!)!h~QT{=nCHL^n*?%<5X z)La0`*Lx%ueeHg9wp1w4;vo7DF*rkKC%*ayn%k> zi!r9;3O_#X8h@&LC8OinEYeFtgsPCsD_?3#H(5#WoU+!qElp;jDG>k2voB@72~H8_ zMn+nxlJspJHe9SNeQE5WC1Mw*k*?ujnN$PDI~yTrPFlITDRVtVKg6P$9cg{q|L0^-2gi=F}E;JOQp1L7b^sIyU-k!!}7GLwvr zYNeB)GZiWUJ21CoS25uF(#&WsShtW z$m}=d&%&88C;|~gg>b@G$BI;p;(|Co`K=f+v~vKS8_TLfCyk}k>4`H4ICOSzj>B`b8#bBh0DJm_2GS9A4YF;+|!FBFrP8x z&)mNJInU1#cZZ0I-jKf{cT1q9Sy6cc=alx({IBn*pc=d0&x+NN2F~xQ6c%~yj#Iyh zZ>hf!2@~qtVut?|-%(SG626dWPEDbFFJNqsjrV2ezt1pPF7JbdaBC>^$1b(0u~zPZ zvE4NHj1C~fcHO@ert!=@<*kmrRBOMV@9g)ZfB&krxhm zS;+N}b30KKE#SmX{VEq?j(;?lUpLHY_#UxoIB`mhc0W47LhVf&WPb#ri(u@^-ABX= zHF@FiYXR}hj$qS=9FWFJgpjkBx8K95lQDn9M+BZQ$F`Kj`h8!fTNTh^3F0^YzL=jZ zHVAqfU+I`3GoDeL!pnyC?)btRD_rw|H+3PgQ$+bS>c8pQ1iDBdPSLqRYU9)9qNX^)C{{INCKupQ3)@)t&++w7^#!w2gV z3u-qpL1H%SHlF6MUyPveCO{rFxjStzVqNg-f$8hOAK{7kI-(rxE;sDPAH46i*8WA} zWsZQ8LH6w~8~$Yj@-|%Xz<$@jV};P0=VSSs+vYzIcyLIjSm1wCd-Q?<0pS5b0so7@ z?oFwPd%*A+MuyK9On}X2=q42&6;ebiBjL z&mQo*CrvRamGWu=pUnohh-A>9{ZcA^bZRoUO+CCEgU^$oS9*WjUNf{H)@I1 z9a>)X7elPS)q*ngj_&Rq17x~g_1ww%&YgBZ7c!va?J%xTbnv*i87Y-a%rjJ|&rC1R`7| zq55Ii>2=c42nT%Ey7EsE2kBmkt^fcZ;oGNcExIA-kh~9`b;NH>{NMaAk*X-w1K-?9 zH?TlJDBnH)1urvudlx%<7gOhd2x6L3x9qZ*&_=H*FY%F{BLm6E#N;YVEz7p$E}wvE znSs&$$2f>R-`9QWOwbi$VU6Rs1^@b9IPX4P$ts_Rgvw%V{l404pqE94MfKYJ-RI9g z&CyDZUQ8^DJ*@K{RN~wA{&mTLNHT(E3L_)KS`OzF*XmY{h6t2EH3BxlEtO!HC}tIh z1xy!(5+Xb!3dJ|-8byE!_k;Q|1Ti5uznK<~2eBv=r%Q!+$th zM}CI*i)DKuv2H$hBQYnduMD}GX0J<3(ob&68m^=E5Da`)Vgk%ZriCP@H+4p+Y7Kbt zEZD|Q3^Nb5i(62QQd*93icSUPQtyOuZUWSGFO!Nn9E66##+K!k%{dyg<4G67>_Q7y z<6YwK?lpf`{h56=%ZjTjw#KInPOpva=xy!_>~$|Qz5`g3>Z61o&f?(bf(}0hD$F9A zRsR(R8pqaMVNHsG9=MSzIUB72Umc;wp{`a!SMTi;uK!~nri@=yLBsaAI13_P}Dg z_e&WoS5nRdv?a(W0xN+pJg2bE9$uw=yarWlbDh<`TU|)jp@SIw)~jm+g{GEsDtIk8 zXmgMA+yH-o-S3}iFr1032>qVy=3z*f7;mIxq4s$sNB+)UzebcF}_eY6|0aU=-v zG-fEi9a?XIQ%DNS{UtFk;An-*1xGxZoGzvbd! zNXM=Z;PIZ8ES(KIrN@PvTH62<8>u3nVm#qp@xr{n8(KGxEWWVW2hZV|>2Y~%38WgC02bUSUWf??mTQ| zt+ywb@oGk=>vD=W7hn`uEOk@Nk{gbU#(ESGAEI>)j+`Ki_nR-~kqX!w7FkBtQyI=LwGGed4$*PZt80 zF9f+c#Ak{_XcB=t&ju}e3Ue?(j|3Gfx&yfYdACp|ct0VCw19J9Sh_-$Rvc)!6+Kw8 zyoVcym{8ll@8e(^QQ@!GOUX+UC#Lm7{R^fu1*DJc^C65Ps_NQaJDuQKjAy!bI8d8S z!)5{={4T$p4i*ywg|?g2=i2b}CA_0zLAbSlf0m77Q9uJa}KZjex{;RAM;@fx+BVY{>h_5XehpYQx_ZdF2xYR?KtXJXc_ zOnxh=d|~v*Usgr{$3-#;Ng~dxftTXJxTns%N%fVpXkkszU^E~Q^m6?8({?Z#A5Zwn zV&JW32RkIJesvjd@b~?q;BmHYr_c8;7JIhQ!`51yYt_Q{{o^tEq%PO*@wkihBccH2!_;h2V<>ndcjSeO&R`#DENsVfhDIJBY&jO8cWt&3fDRRkUq%KL zjK6j3dWW$q6i3DNfCxVI3`9Rg3X-*1H%uv>sQ3ucfYu?$Zb9VXcFbGmFKor{>zsITqimlkb07WPm_CJs2C*h%NDjmDeR8=I7lgjrBroH@Rh<2A&m=Y~ z3nU>C=#Gv!*^_(gG?1ZfAe$iskk&@23#};Ia~a7U7j;90l3g+3?tKn?vCNrpl%Adod#N|5*#5V0Ej}V0UQG-R7Uu@f<`#8)(jMACW ziO2p13x_!;(SYN^gbpf`DUuV#vEr6!FQ8_RsiJ1lj#(dZr~`h1L5Hl0%J9f0!Ha0& zWhKC*glv)`+sUM5djQCCE7e{eDZy2!AxSEA6*>rq20oKDAe}0Esa~lqyMNIl94=|z z$@5lK1qvuPE_%S4nW2&`H)iGR^q{N6YZ-RQcm*7o`dxsGCHj=C5(4FMco&*%X=Wxw zY_Y$Pc=@DJkqO8Ai zv>nOyrsE5rTFLnfffN8teM*hve1TO@iSlNIQKx6M4_`j4?}08074}<6p@*UrmdCn8 zcPnfs@%LSatknzMbq&(W&sMe83{HC6^p0<^#3J;1vPBfwxaB29JT0trP%M-5BCOYO zT<05x>{dtM4dt|I_LnUj>w-u>chHy5(40%lqwML?JfblZr6?4OqA#4{byT9XpFR^e z+`6OA(WT+rG#o1BE9M+FmH`{CRY$ox46eK>kONeFF%x!;ZU#Qvor<6a9*`%6U_yH!9k2`O7{H?W`N_hffB&qgIdo z|Kl|giH9^z2o(rOU-N%W0i8`#+*)v)urG zV-@oQ*X_1)hav39>iz0*cvf&(#{Jex&~?MKjiB}OJi5%!|F-P<>%Fhnw|o0}QMB&T zKnZi>^U>_~ZQn1`ZB;|#eb~3}^l1mK%TH!^i^;At@(XWA&$jdSbMVTE*~V?Fxl^x3 zV{tLXa7s736Ibt2u#j(*H;eux>oA2oOX?Yx??c42S3EWPU8@J}8y zj(0z=J6G!Yb4z7-{^Rz`H1BhjSU zUl$o+s5RS7EvF#O2=7B!oF3#tK-@Tb_LZ2;bifZg1xsQ;aOYIvMCM<8*Xz?KoH{q! zau@wNc&S2%hP@@ZWs9U z1Dj7F@yHKfKWmN$()EHqK^x4)!C#vM8(WN{S?_kMCkK4bJHEWS*C&u=k=F*k?N|N< z?0?d#B7NrUS~guw7{L}HdFm7~<5%5>9_g9Ct`8>rA~M&-b?*+=^7sXwpDj21x<2;f zXWw2QPCK#`a0u|XKCBf!PQL>UK8~qawmLT$-f)f9JL45lJ(I#W4(j}CQx`uSsm%ht z7TpQo*66pdSBvLuu1bT(5fyUEh75#gZaV-{&XXFwKoay z^ZNbRavc$k_V~dZjK5M{tI^d)%Yu7=xIvDcD`-={yrn0&07T0oW-n!`esJTldq1E0 zsdSJS@|mPh@y;k^f_Z(wBsX~cUbe-5`zBbQsKNLc16V)$g*GMVN0#zsv5nQXS>;pg zBA$ml;!+MjB<_Z?Hj7ki#WnrzENbo8*qcWjlybpT2&jr>5EB-4QZoW=FlT=UxviYf zI_x$Sb-p4lG>P>Pn1BgHt|_j>nkU|MY@Y9(A6W@FF;3qDCZ)mPQ!y6n_aXJ;i9{|T z&#hRVFsj5aE5MPwgC-TvKKMC{G}|<+>TQHrI-RwY0199!C6dfzMhsGaL__uo6HTQ{ zJueTjCeqF=N@GMyYZ#I^pv$F>C2YVm`3aU9Y!fnifVN=R4Kw@)0x?Pop1xwrs~aYz zB!pf$MR#AVyj6OP6UGEJ6;wV9@;;VT4K@dm-NHKtacdUsghlX)+rzwQLKySRk#0->=T5JLynH*OM{#7>6x2TwIQplEU=s*@=wO~uNy5OM4 zED>7|GrMGA%miT08)-C-jaI}gE)v3#K_}*FOo~hTF%n_?CDMPj*-72aICUxG%M#R6dCHAqvrjpox87i9<83pt(FcTl=Ft9Ki z+*@ck)GYzT$rNO?-dS=Fx2Hn9w}y(Z|8}D~8gC*lamvVETyk)hS{iVhNz;hNbw?3$ zARB}fctAs*^2@0P4VEiSX@cwGJf*QxXu42y5OXtZpZ;PR>Xz$FH4NOw8(k|cOch%R zHrd*gI&qYh+;}~|Us|214j-{SwG^*pY)+eI7N-U0i27iJ<;>O%D>CSUM7((5Q3;*8 zZnT*k0~aMx@)*~)nbQM3k%0?ADRM!jT5y~OlAewjV-%7my7>0Z{JJr8u#eM;-QcRIXC%fwZirp|A@4$jV%op#fbTk#SyHr&JA}MOBS)2SrqA79$V``heDyE1Ri!6fz`P0fp z#I4eGO&xoLzV+}P11qi_iW%lN=-`P9D(OTXV!lrp6gCqgl+@ZAZUN|u3Tcd+hrobp z?1m%*i=9XTc`A}fg>^8mGHf+$2$>CHOf!tRZI~{`b`jfzB;Fow6!6VeBXjG1_V|<* zRkP6ubGR|{fuzfgPj_v_-ol%!@VWHS?gzZwd91Hd+F~w{sW{g85 zDMJ!`i8m583A=hNPVfPZitSL3mXqL``TPL8k<%n~L2!3#HU-S;k`pbeorn@pt%*`+ z{!K0cG1?E~A&#?E_4$z9Ozj2m?t8h2`B)B)y_ZZQdCCH@Ms2n3!5=Ml)fMFTK}8la z6R}NtGBh!)(ALcZ1Y0QU@V)Emx?+;>9_ZC_YXobr$-u|uoN%L%D>{)))Bqn51dv-a zD~xf81Guo*LPxh@@hpeX6^iW$5u3tpXS3$CuaPr(87uYW1RI=GE zRFsXliH5|dKut4(wE>bN>*0%hdy>nR!#A}g#3(wZWi^BB#O73%zp89Q9yL*7X}FRc z!lryFg+J6S^gYp;xL6p{H^md02&V~KWWellJDH3K04C{$ErAxWYgI*y zhH4B$qZHt&s5bDGoDkF`qR}$Q4ykZU-%9KkXGCn9Ys4U%b<$j{=+%QnE=+q|qU0e5 zJq|ZBDs%4OJ4)*$?}0Z=8W+-yg0tE#iH`F#K_iTJN@<$xscai3EkD&`BIf2R+dZ{$ z8iM5Zs_}XA;8XlsuD^xtdffa6Om_{03jUb+UJ7jI&(l}KvGrCYAAxy^)P}E@wYy9K z>3C8f!W0{iZ7USDc@3JKDjjs_;nt{B9A|Q%##NuF&3$VDk>cCeEAG)OPK!Xa%W$ z2h}*MFf{Sd5BS_c>+BA3TbKT3E!C{Glp;ky1Mlk4{mmvW3N z3MdX4RGTZ#Xqq!7n}%;CmWmEJ7%Dzd34kZt$0M~wz2WaEwjI9JVQJje5g4Zmu3Ab~ z9v$(4`n6nV5<0RSgSG2$EG>C(W$M)Vqs|;m!w-u2rBwVb=AelnMAB!4-&4r}ozheK zr6I(Fv_4NJ(1zq#I6tIoUYz}^yd)of`%&&^Ha$W3ehtJ<;YvG8nq(l3Hh`nI!D$>! zw@*F;1h7eA9s2xx!N(76wrr}zDF!O;`fsrjjX-=d4S9iwTvY{n>-eF(<6%z6U3;sr zn}{`xm)eY>|j>uSwoF#I5_qv034gUNz&^U;r69wPG(#Zl!4|i zU|__tT+F=0j^GJM!S;wqi8t#j7h~!_2)M{^@TmYWPg?7if!6HnO;P8N+!nD4pht62 zD^hUuy`U*YGhA-tXfe#Pt|$oRDxPjnvD@13X56zC(Bd9L4W=`Iy$?2X(p&!2?3$6s zAzjadT1kq@)p~{$Wzue^WvuQ#p@?AtE)AB$IRdm1)a}*c5DtvZu%;1rXc!Ib_YnXz zR_z(aIBM&ySX7L!@z0u^+Cr+AaBbyeNspH3MDSIss0HkuK$;1R?moR{Bahh@izEki zJ-BBsV`_1W?j!}tA#;AJ!)C5US~Ov!PvYX;oMga$Sd9$x%E991FipI3DPS9N)jPVW zqX9;r*Cs`V1T~ymQu)9cm;7`MD}3M)!d8pz$~MJTq4AjQTMmHI_q`l!|MqyQ%O*0P4CqhF1K#h#iSiPX_F5acLiwoh#s*BeDG zawKxLvUq^gt+Lbvb2gcUKbui?5Ko{;OYVI8%BKKEXU(d4$b8BSY?OCdI`~{NMVCnc zR5J(arCG`~anGX}!qyQ_`2^o>lY%AkdUvH9RbW#6l>14GUCRj$X*}E5mW*tlRgir$ z#yLY<)7ZQm+`R?V#(#Pr*Ls=CrZzeR8z-7!msEAa8W#^5}{+qq1 zl(KkCjzb9kF43Ni4^O9~_pFY7Py76yeiV6m75A)Hxb-y=2Uc1^I^o!Ipp3#Nl{q-~gl73&g>mSF z&)%7Vk5Md!JLHJx88A86BN-dXiQ-3C07*eZ*NV(86(6^-{Pl&0MXr`T2U8H&Dm|;V3Ts6Q;=Q4jd9*#ezk_D2BaeLKy zf_}xdgwVmkcpZk>&oI67v_&$bvmFos8S^qbyE0wMoyziqv)k=C|7(Ztg zAz%sUh3$+>>w;+r!mGA>KTe?jcREV{MFS>SL6=)OqN_Kw zHLHv{;^(fLFPqYHnB@zSU6gPV>9)HI7_X>0U<#g2Umn)Kl&Q#1niZy>FNaHE*hi~cyW zN6KTsn*mPa+gPu7Uem#ZU#r2D@uTUJM~UwKqkAHFn0uBBzWibzA4Bca*PAc``8Wmn z%QR0Sno|wJamakHLQzXo+_bwD)_xU zrF_;CBI!O8e_G#k^m(Zn^z8+MOcU*vQtrvrYT6M?b~j|2tSQ!K)xn1ugGj>Y$W9I~ zBC=tRLf+6SXgi?^81srAh{r@uj98OqF5*#Qyix-851D!=QsTg)Gl&AX@JBMISyjHVsDXPJXBCX75aE} zLnj~L2I$A%l$7YYFbSb0;5EQ30!S;6&38eK%n-KB7}hHP(F``7CFP_(=frhA=$e-S z*28v#VFUnOOd^>Is4S?VALUvEm`DzI4Wu62HVgD$9tXf1z?WmcZ60NgJxgtCULJvq zcQ|ZanoT)LEP+70P>Fy(w-vSN=u@#+SqJIsX9ig#%lpg%-OCFQaE zu_O$kPCMm=qe1}GiMyaP_ zo;o&E+Q$+G)l3c$i|iG5FU$v4&;NuLFMvig(tEC zQUZ;@fink2Vt?@}g3zq8AT6jJPq00ySvCa@JV2Q(&`EYu0D}F)!w~@f{kcO7AUYsT zp!xt{I-!o|ZMp#EGe@#8b;Dv&sQo@=pkIY#^`EuqSn)l1z~*lH-|=ZQ0RasyjGy4$ zr-2$g58XQtLP*O<=9@l&*f=Dy-j_n@-<$8}#ovd0)e>BpC-|3>pJ{WN{ox2!I~0?; z2xBiWtxdfP4CExH9hlZd=>bd>zB3L!0!L^Gs1O2)9cu=J$m#}N0={{ILiw0AcrWlB z2O7{yKlRiCy5q7X#Pu4@V6ghJWsE1GL$BWa)wlDtJRGN7QE+*3h4YG9DO`0_n(fry z<-jVfr0?F^1zlY)}syHU7c<#gp;(L4n1JL+b8 zb?n9qNKt;|a?&hWKV>d&9uni9b)%mW=e^00E*Gd?__x&oJl@)CuP;qCt8&VzL7Hj# zc;OOq0S1r(W_KqZUh$MlzE_MC^~FCsG9^bRz&b<|o_1}ds?-{R!T)sbi^LzlP-GBCWrQE;VI0iY~T?Q@~NRIpEF#h1TD-g!x#D4&f?kT4z~# zu)DjJGZsi$`qe!)RO3EM>8U{ItIjE(GD*;GOM*WjbN>t!oj@+Ye+IzkLuC~{PlN2e zp&-S#wJ(K&(TS3@tLMb#QH#dq1AJFb`az&Ns~^DD%zYu~fS$BQ>u0^beVOO6&sWY{ zA>knzn~H1nvh30EaUKp6Gct2hLSMa&5KOo{s}}*udm6 z=-RoCM1k#(Qz-u>rgy(#5-LCkl#1{M#aJ2q=ffFIYS}r@HIAhAHROI)X=r);pEm2j z)210EvKDxtle{8LQWx{QBFSmH+5$#B#ol^Oz1{Q;iu<t+;I?=xB1+-p_Y1 zC(fiSPRt%g#047VNn2T|eu%5(e6D)_rwQ0AFph{&2T;KUsH}dBSib?0nWHsO$^>Um zgh14>j*#q0VR6pFY?&IG#LZs_YPHOY@vA0-{+k^z+8Ub z4bpdn-!G=D;Cx^(cp?i2DPhnWn8Z@)RHn;n;9!0JK${I4L>wr9Pk4s*WRO~m2>AFn zM#0DD!!h%N4!Li@%ZZ@T$-Xh_K_iLskER3oGaRFR4TnK~STwd(9ntAO7tTIZg8&{y zB>jM!pw?+&58we;B8$jZGh=~q`as#M9&a9nT{P_(-+}#iusLJ4>=hYKI!5X{W zvyK#~S*vezR3!2NTo!~KF!_2|7-;!ALlRG=%TI_hK7|T<@o8mpgnTpZEHzbBWMO2} zl^=?m5Sd4=OPN+bOptA`xi_rDr^^?Bmuzy%qb5R4k-{8$c^2vXaV;?9Duc8sm=B%X z#<;auEnv+?xX$+{zc}j+>FHA#4w$UeXPd)lik0Q;>@>lK#2h~{F;^~BBL9jwwVr$!mrA)WGzS2vFWXI}cMr~wD z z?A_VL)8^kX?^8LmPMht>;nx)ty!FS)c!%?U`t)e+r5e#HRvKG)@7`jFnQ^KmgNV6P z51ko2gH%hL#>vYL(ir@DliT_N?*XfQv~jL=5qjj22O9$MpKXpBwnz-;`428EJ!oBw*Ml z-gq=qO%ChVinTF~@n-}4cdys-A+Qj+x)&|3O1p@+Nfv~>n&|jS@1q+MLaqS^1SbgWV@YH(W291qi*d~e5B~W1%h5UpI3ks5 zXvS^};WdwqQ&UV;92T#3#e&XON(!S`vl{h;Ij-Fti54>2)5D&H+HUR%cUOgkU3P#| z!<~9|oDPF*FD1~SS}5?S4?y^u_a;fW?8Z&^HprJsI8@$)UVwXhgP)URs*7n$jzQh*VkVw`>Cc>M%ityy7Xlr+31 zi`lTHLiUt-()4}-hSsiCv!d#z!=!qSWLv9#mp(^Hd1=@eovxHstoI(wuMV%QLv~nF zAh`08yskWm;>5YSSN)9@9?R^j?8%Kym*gOMl&ylJ>Mgl{23X_B$=nX#TIdi++kCjV zCb8y5)4B6`eQMihFNEkdQWaJ-7Xe|G1emIaAdUG5lANi5(3dS!=Cwgy2|F|c(mxY=XLQXEPUD%|lfnPF*?H0~?B`?j<53Xn7V_s)eXC-LJ4? zO(W>(h7g!c<47>J(fvObal`TRc+puTT;zzh`W9U8wZj`-9a$$(oL9%xzhb*QAsi0u z>}%R})wyOlGnt3Qaf8AshE6R8OV zmuL6Dy|^28c*sDxPLg1rve96c*D%U`G_T@tZY*yt*}L*MAvPmgr`3rkkZ;Xq@N4;o zFH~dj9?cNm-XlUU+O$zOU+=BLymV4)9j7^JiPoZwOkW-L_ujnt#2!H_OaN>u=Jr57 z{`s$9!Lg(2H-UKS=pQO2$bttkAEaqNb=o@ zqD;!BvM@TA@B2#RnPngTB>XKWU-d35eHO_@E~QS-!#9*V7L7>q*FzJYdOM!X{H{Bp zF2C~;gjF6FV{%=A4KMdh;HG~vqac1#ImcgBM$hyTk<%xmJ`A^4RM9HxRQRnfe5Q6U z%-s$Cq^ilBnHt8dC**AEet9eNq^oZ*T5$S+dG=&-Z3k#Y$evUav=5nRojbZavcRx6S&_+rg)03U1XEQ&gV%G+hJ*Ht-`VwYg<)xgoQ~N?GnM@Nt z%GV^yLr>Z3h;YDwdk-D~b1&63WL z+4M z95TwcX49cfUZ+Ly^iSo?vSQz5x{;P(`{zgRGBQHfM_I)!-HiL%kyxzb`HwEViUu3! zUxN&c+OR3RWN=5zAm#FX=?xptumoNF6j2vwvRv!bJqHtUe_-kf|6o#>yU8x7j#^*k z0(lzH7kZn{T&H#O*!Q{ps`wkZ$bv3}{lXGK4`Hrn9c*+A-bg3nv%4$?^K zWlB=TO+)@|&p8Qyo>yue`Hu~_Ihby1&{Mk&_@!PWdU3l+6>t?0Z{f33f1D5`jc7io zYrpibI3aKvCU+QBN#TDrp_9x7!eAP<3xz)YlNbVFsQ*cSghHWQ@&RBxio_uJ-#sP6>x zKRfu}juiu8rgA{gmA?<{pB;!`_`8%wW!tu{aAVG2<9_kn=Td_E82qYYhuX41sMaqhH4?XQsj@pO^WJJ$$geg~Zs;jZ( z2SRu|tpskELr51((+?=fc3MK*u=haOnc13W@3=)_XMbuUmyRM~u4dHEO%yA&GGi<( zU$G|Cw@P!$hm?7Fp;OD@-O!ezIhYM4JLN&9LFr3^ayJllD@lh$9K+3$Fe>v3;t4sc zbgTwtk?-c`LmNsiDR`zUWs&5jC8Q$?_UwuJe@P_!rTHBItw#T&)80NP4G*nZK@3dG zPWJy+Do>pMFC})RHx>vw;Z=yjiXJ=|EbE&nbQ#G1uiK=55`=H1JK$?bV$WkrT#8!zUfTN6p?Np@h*IeJ3b4)ir)|B9G+F5!Q~)j zU9%0mRX{i5IQ-2~vvtKj_*f^`r7E-GZr97cX56a3>T@Nm%c`a%r6eZ37DJv6RChSD zMz7BGZf%KaK1NFyzVF2$MLLw=!Fr?;LOi}05P3aofoG6pWuLq59(&qd-J4@mC4tZP z?x)V*GHaDr^mq zCku))e|JGPjA(Q!dEJ4!amaa9G3i&GmQ!On2**KaItb`Al*~8e$))>2CXc*yyj4gwN4B0i2Bx__}vTtdS<=6{J z#7Gpv5G{mi@_lriLv#B62j`w&X6E&JUo)@g^?B~+x}WR5KF^5>3AoFeyA4oQ>=hbV zW`kFXWiE=n3N~`69|)MdkUhsPNiTyGe?p!;Nnx_4% z+PD>YrBWpWqIlRQw$yIje#7Q!KFf7<o zi*RfwGHn-eGn`Dz1@<4lhFIRq#}zjwqf7Fqwzvfe9x@w2qJh=7N*bRpm9i9g%o5Lw z9wR)TtC3Z~e^sliuc$2@E0LzgTNKB`y=_)yw6^GAy>(-HQY&I-oDq4PRBy=K%Fn7% z-o(BT`SyUj|o%QnvVz^P`?$&#-@1 zBzE3Hwc&?|1i~qYm!ig>X;v|b*%@IxHd3fhnW_iDngs<`)DBn%5yG_D$cMa|r31V= zJ64-r*NB2C+ecPa>{|ShZYaNx9n7PRPYK;MLoz1}m5=hJ7QMrD7YB$p_?IR}J-S|5 zw#rfpuXRZL9L~#lqx_qM02@I=5huqydJGa{!=YmwZ`R8i72#-T{dSH!oR33aFqp^R z2dfny(Q&ea7QOopl$5H=pdf6VV791r$bc6@UeqJH9wQoO#@%h4khqv=np)|~r>v%z zL!&F0TQz+%^XTlea9yxwL?dw&ydJ}T-L#_^p%Gu9k4iIn1e>5YJ3jtLd-`L3VM$_- z5r)Hwvy-eq^4ktZme7BX0ke4&%i1m45fQao{ua!6TbPzL=K56k6&-ro9LlIe5ZuF) zyO;(oi)v=Ar%vNsf)9UKbYg0xFjH*CL%lk(D98=H(;;Yj&d6%^nSk)3M`;yhr{|Iy z$2KmOztnqS#~*=zb+@(kb)CMgSj&$e@6lHhUbngp?)>(KgvusLF%~#GV6?yV;d}bR z930&*?$*d(-I?+n+3mwm42TxpL}ji!+12~wah7M#Hfd^mFDn~6Ni+ye5(6naYuhN= zx{%a$FK5Of_&c1grFMz^1AWu#t>YMhg->o>a$Z`=&gKlns>t93y5mkF&e}V~Kj+HU zg76nuXAS9;*Ixn+x_K`vB~!w6=X?O_EM`sV(Jd3}ywDyII6y6@NEL$%n zmQ;$xu*;<_LAdqTkod?Wx10p!86BRIhcou_j%jqt){EJ!z9QtWh4@k6QPY^=)c+;WFek-Eu~4) zprFOw$AHv};9Za%CCW9$_kdi0(vL2#pb86WN)M zYKmVhw32%NBfv*J%XY`peEge!i|>8;vJ`>o?2r)R_vmn^YmK4)am=>eFn(nvTEuX` zH1)$CDHrVkgYp2ciPQ2JnOTfPob0na``-#T_q+;Q3^3s@0^(%_{7C>)5>p>9Z?u$? zm(Ne#9?PZt&y)l>blBU_T~iXx&2z5=KdJlOHdhCHc|vjIw6VuoRGdr@Bb^QIDZrC@ zd906JCO2;L1Fk+`NCw*rs-|sKjhj8jdP7&=sf8)n#tG5|k$uuM?Q2YB93J>%ML=lC z`Z#xAeyE^$`+YN9Yl`V%i;_16P%6BSbe0?~yM??C8fA&C&O!IaE-9UDdkW2v50l?9GgJf81qG(DVS7 zFI*Okod)+R9;;hrS5B{a$yb+HeM4&6oEyNZO!o10x0wzk`&Evos!-{>bdEze%Pg2y z>I|Vj$X~mQp+>Tik*I*TqbcW1+;WYQHbOEUgq!Xe+Ykh5kh4*@6 z;>c>*6;(NzG7aUV7N;2ege7t?PF4HVz2^-!^FyNpeX>K2Y*w_hrz<|Gbq5b5B+Q6` z69g||dCbNe`zP;wKjCE7Fdhret1f`NKYNm`KF6V=qP`P#a$31AcHo9%`v;*M%VOj2 z=Te!mDQiou`Tc!J`{0r3kr!W39`FLHViU*{fXG#?&EEywmX!>?X4IJE1mE18CB|B3u%?ixiRhRE^-90p6 z&H4rv{3W?*b#@E6&1f9F>g)CpdG5LQEz zHZFT`TN}vY6DfbXr|gp>z<>E!MmcCpMT-CGX0;E4Kz9uG@c-j&MH-3JxM)AtXT#sw z7?JX%HZc4AyvZJa&=iIgC$-hs$6uK5;iM)Tq#;PVkoQ9@+U$im*pp0(lkTeA$Kf7( z_%C}bNqN!|*gj7P`upeqDTtB6q>H(I*e-StCRy5%Mj%ai_ag*h_aZn0GX5w1CFOt3 vJN9W1=u83#^sg+06#sSJKZt)$Jb>?A1x%q-fVx2-Cg2qcoFGMac0c_OST`~~ literal 0 HcmV?d00001 diff --git a/工作总结/周报/25.6.27汇总/软件组月例会汇报-25.6.27.pptx b/工作总结/周报/25.6.27汇总/一体化仿真软件组周报(第八十三期).pptx similarity index 100% rename from 工作总结/周报/25.6.27汇总/软件组月例会汇报-25.6.27.pptx rename to 工作总结/周报/25.6.27汇总/一体化仿真软件组周报(第八十三期).pptx diff --git a/工作总结/周报/25.6.27汇总/一体化仿真软件组月例会.docx b/工作总结/周报/25.6.27汇总/一体化仿真软件组月例会.docx deleted file mode 100644 index c321c6c3990679b472a4cb9eb6c4df5a25017e22..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 34832 zcmeFZQ+sYf7cCgu#v9wVogLe@tsUF8ot^C1ws&mXw%Pf<)2E-)PoIBqx-RNw)w-x! zW6n8hRE?z|4GM+^1OWsE1O!9`1Z_nD?+FY9R0RP9gbD-&qAg-?=VEH-qObDX!PHro z-ow_0un-J{G9L)!XZ-)){tsS(#*}fn0Y)UTXUPwd13IaVdO;|*%fJy7YDNCuCWBR7U zYDI2Xu5}@kq}#_ui{^VIRHgOw2C_oG9o{iAEM%7BKBW?eKB!`24F`sUQVpOUJh-b? z7mPlm$P`H2xZHfC3Y4T{x~}S9Ajt`2ajwQGDJ;7_e@g_*@0(Nwl;+5ZNDjLx=$qm= z7J6T1gUj!{1dF_iX2GfmGa~(K`V}y@Tk~6;oJ=J%a+@u!`gujAz!dRw1FZf61V( zuUIXAee$lXfasnYN{r9VC(U>|XN$Y;BJ4bWcX|M&gmjiLc`P~X z!DSsinSG9t{Gu8Qiqb@noW_AjcnMFR>_t7K7JWJ_g|#H6nqDv_Z79lhR9${f_hre? zU|L+VlGOHsEawyJ4#jJq!uEwR6R1mLp^J~}->TOgR5?p(Wsb3;dZfj%VPqi7PB5y3 z!MW+2J@YK;DIJOkp@lAhj$nBAHq$}T`Z|t0!WLk^Cem!w-?hih))l({DO~^G_)ul= zhO}k_0xGuv1w#H=6nA?k69yA|V^`asy7r%fcHyJxyguA~^6&-$WC?R&lFduesng#qWi( zx24DSYq}?_2Zoj7@j<+OjTo=4`lMwNv5;@_+xO7#yT-5MTUNXB(ayZFq6OM*cJY4l z^J>XH>-yoz&2N5gZr+n(4g2)9y`hT@|2$&z?6aM1X%(fzwW5n{%}D^m-rA5dllf~I zFRn@4%X8-%oJ9ATm~Ya|y{f0}yowIL4Us?`&xx+eo%nX^#Gb-urt~V#Be|1wYI<6%h92D9+U0unu^`|ITXTI1Ps4f8Aw~jj?sIOq-xs23DR4 zn89(SqIL2Co8Z^dk}t!3oWDw}bo$&;75Z$?EuimJk(Fm;BvHRYPaK4?K#y0l%^<{Cd&7w7cgyah9`?g1kW3{d0TH6V=d^Mo!wPFU0 z+J@{A;*3-|ZpiZj&d)9bI7B_Q)_3c_ySiA`<{x|>eCOrsrX(@XSa42HQ@qwlw%JRS zM-05snl=+UJR`R^*OXUmK6Ye3I980kzi?vQ5A~w@IUYWGbU;x@o4{r(4x3y>qZM&& z6^qU>oEhns4t4}w0fe6UU9i=9)fL?EuU{Np>L9dlYf-o{$d~~c9O?jgZEY>^DBM-^ ziqq+$(}56%Fp;%6g{$v@-^xKiN|FsaoMmMI%!yLX0NCIXB!<+YRf7Gpgd)w*)JPQO zfq#ja5~D|x!SQ@@jc&nzl33^|8!5{=xyj;1`%2SJi^%8_=9K5@%aV5&4Z_Wk*;dPv zRfCaA>R(l;%PWalhM<_gBZcA{2_a0!MPbX; z&4+6iTY$>PK`P45F4#xs3cjs*FL*r!VV=&Bw+z&~>+r3!N37f9f$e7MG_PQ&Wewf{ z73PM|*YVvz*xClxafksF6l(TbW$$ox&}3kI*o(%ox-sal$j;iv=@!sk3Weq5iZ1 zCR-;d+~3gTBZT+{upS_aOkmAnO`^m;oe1c^Z?2vnW95n zDb0G%fU)#}ru9ik?0X2J<^3_Ub|z^`bB=8#XTVU%J7)B~Ls15&uy@E9Uy-6K11?i8 z2#gKh!BeSr95BYv;x{HP5K5A2>!!IP^m1x?P+l+UTl@btFrycX1RQzykkL8AP1m28 zj%QT>TV#M+R?Pl!ING+O%s!eN)@E((*L1g2q;Z{NKh_id?dHIEzZ=8enW0JGoT<^= zCdh)kr^#)@b%^8SS-xw4jl1;D@i<9gV8QfmAsw{gXvcA1j(9)nbUy&u=70A3`VS#? z0Gf*7R~KZYd&TOY@Y5p;U0ud+mts1yrW8I~OF(pG&?}wKuH)N1vE-EhYJd|^0U9;s zlAlC@+dK&L&q7sA0@8I%>=<*_?y*_B0rc$(s8~V>b=i@;W$bJL7$7>FfH8Gc0FDqD z8__q6BI=o?%8RPyj5x~L90EI}&YLNC0-`k02zju@7fsl=r%28%+`=dDm6Z*P!N9YF zENHFtEE=}AENq{v2xpK^7PYi!%|mpx_=Mj^#uEU7c+kLPf}~$qEQS-9 zg^lnJ=DAZr|1c>jt^9zmtxWlS7lz$>pE}ujYGmQit(@L^64$QauvP>0cRvlBz#gsx z4x;%RLQ=R^EU-CGg=@;Lu>xpeXwe-!7&sGP!LXVuLzj@YVEgf4+Jcs`0;ZGEZTX?~ zrTp4J_^Uk9cr>%MwQ;7V)DiISTQ_TWfb5GP7N{M!-CQg;z z?Y-&<)r69|^=1<7wV_nfKqB4k`v zO}HhV>?lN~P?1k?on)ZC#EU}Sk*v#?*r9roKj@HoPSGRy55doTQ>1S^XYfxcz+E>G z1qC5yZdb)v#Xsx-c`#X+ZE8C1NQ)4@!W@TKk1MZj@TLQP zUH8nUsx=)$+dh)nJ@6S;6yy&o#ZHK%A~MrXrcUyb2FpTq(7$Df&AqKff7S5$n4yDn z;#%UrUGRF`!yL!0Ch>*uF3N;}Fc(4Kb>yQBF;kmMr&9d9^*L2&0mBEDtQcPy>{V!w98Z0XwH!v@D(yKW!^K- zMIu>AI2+5z3WZ69<;E$)(CQ-S6OosUa1*^Dv6V52{j=!u@P)3r9&aR`S=S zNEA0wC+=w*RCAGpkYW-6H0-@FI)Xw~?5Y0e)tooU+ZM*q!r>??6%VR0NLH69WiQI;LI%Bg4}eNv>zeK;qWB6&4%B- z#SUgE^!Wg#CEJ{cT3b9y(hPX{#TSaf1)<^Tx6v=}W{9%5hP4h1`H5xeNA}iOAkf&x zu^L11Hn{U^e*-w(GjY|&8q#EzAJ)-&Q+!8iM=Jv!fi7rLF&n6wfz$OmuS8bNxx1-30!X&k2@;>rdWJ~!~9}zNfYjAV|_0U7wOV~RKkT+e*5gVWn z(;yNq_H;H-=b|+Q4Uy{Bn6yc*MBR%h*mhBr+DSxYYDfY}at+F)U?R_8E-V!A2D@^X_n@M9rtVk_Lbg=-{2NC=7q zu%4u+sR-@#@voT;m>JmVlJ{V(k24u;^%!;Sj$4Il?!72iExX47PF8R;-lX z%d_@W1tz*OFZ?THL<2+QH1E@xwqZW3AvM91u`VP%vu}-;k4*o!r;DeRmiBG4>G37_ zf}4OK%mk@kz~6$2D-y|yRARej9zrJT{dIl~Tds#i`MNEQ4;rzqE88($54bJBfjOgF7xT$maL^UZ(7sr_lNLeFG~Q zzbp`%B7-|kHwTo@!6)H2gB50&s4EgrYrU>mTrk+yn;E!kKg$J%x9r* zuL+7diTM-OX!J&RT~?PRb1!}Y7m1GkyO^GiOz^n3h+3AFZO+#1LzkC#hjTxBNn3fni4cC^BA{;-DpbCEOhS8~RYcw6^C}@~plLYu+WN`1`htEAP4W*9&>RFRy3MMDmCz5tavtczr@Mx%k%d=Q$SU zgX`lFIhdj9xI?(u5Fw=!6Z+q)>(OpbgY)}EUETia1BJTd|H3i`N#x_u-@&rJ`g~-g z^h%}PEy?ilt=sBZ4DtzV2rO724GgyI9!r&{ADj4R{Ge*yfUds`^w-t`*t>1pDND)Y zJLX!0zwqTUBPHbG7M36zQ}{N*3;#x!!VnqRw2|lz%`1B}RlM8T&&MTjHo|vJqQ{iA zKg=?nY|oSHS+Q(w0l(LrFZ1&8OXkGhzD~3}Zu3tEKDJ*L==7Y~u6DUWiLoSao_<36 zDLY|x|58x%k)5CfzryoiNy+epcH0izb^LscZ6k|uuimaQLxmNC%S_$Fb%G%i^X3}`iLHBRlF3TS2tYS@VZdzG>=i{0)bmA(r_~4K{?g*#OSo5I=F{piLkQ6w5jBr3DW6c;aStj z!=~cnLr7#n5{X@B&MWORK)J^?*P+>^PqPdEAx(GajO^xd_QS_0pD7MkA;?4H?jJ>P z{DcF&JOUciFHWsc88QEOX%kpqWpKB9iK)WM!`6nqR&ci*>)%GSYcu3|YQa?**kMky zb?8unuFHoJCPP#5&p4T4IoWX#Z7e=Nc2{P|+52X;e#!WJ({q05YO_mG^yq@`&+8-H zKPyCuXd494N`vEpyLsfQQbi&r2eAv)*(>PKO}r6t_7h4o_JmX*`VWydmi{DTn{5}f zXXIo@Q3B$(8T9yUaC-t`!3mF!)c8C~{w#m9OH`RdwI;>On}R1tT!5Tep8N?5K@*w9 z1OF7@GJl5BxD@`ppe+60PV3hV&_mDimij}h2X`9hy(Rke-z?3W^1k4TMDG38uA4yp2m&#)pLfno<|$$So7U?I}B6XLD#K6g&)77^=`g6k=`@ zV+~<(A;$MUowvKX1f3p;X2^!|dpYS*JB(Z_FiToA=0J<=oVsNs+h)- zr+hm6j@hkKD~wJp6>9gBiqhAIM~%*|k$tjY*(xt9kWPRTq?rd8W>e2zPEr zlDPx;L%?N44f*^(XnFYwRn;$WGUu2t(UXVQb-*Q@CohxccRfxlt}T8 zpyvX!yYUzc^Y@qz4nFyHnj$qkjdK9f%_$ky3)J$uFA|v@EiIyavDc~QO}oo8xAcvO z!+5{(g%J=*l*S(tE<4!72Z;;|g1=5FQNI)ExTnKtyS)C8u{TUBm6UBg63y!kOSNes zi6Y)4;NLWSAez&cNT{RK2gqzkyS{{zeMJ0mfBo&tpSQf+!m`c)mB(=u>fpTB@R(WX zw`O%gneA;MpOq~|fvi26Rgk*J6Awaho6SO&t26+RceK#2??)i5a;kKySN`Qjc;2cV zrnUeO6*1^xFA_z1>eCxU6q=gf2i+%Gn?>RDKqPmkOHuhR>$dD5Xq30FYLG_Oe)p-W z-JG8{wqR)4o2{vy-Ac7Cxs=U2t=N{}F?Ro`tlT3sE^b<>e@kEjZOU$G$o&(TcX+Oz zGbJ5Y=M~3;>-6!4S#xh~ZG7q@m9;qu_=FxlQkaD&aZI7DgB*_7_$B@jx0&9UEp>XJ z@wAGM#kIu$Wazvg6-BN`K|CZ&Wrrcp&b%f4O49WYulo(rJ}=X`uom%$lFTL%gL73I zg2NrjibyNkClN*xkIcC^=e9&3)KXVDj6%BZ*>a~CN0@3x8bx!_pKF}8uSYPnxNn?0 z$iQ{Fp}!_ZvuiOQ_j&Fu@c$L&K>PD09SYnSe?-FpRy_;K=EMvimp3>n7i%z_sta&% zs^6QzNI|Ls6G5;@Qb7njffaQ@m{Pma?N68_3wH?yV^W8ZCM0J&3RO^?D9F&Ec^6K#eHRrA-D^8wg({Tm2= zD!t@gH7|tx$c-W13r(`@4Rx~4>4ASzG_Fx-IU7OCy4MeD(}7~k$qdbmQN(;C^I!?- zDI_g!19jkxkT(mUiCJ$5+9ymARZUAHFg-4PSOCJx0u||4n=k5h zm>#U_4m~Fqp8V^xB(W>yuceiH5? za3)IJ))ppy+}qzyQYch>Y`Px43Fb@+4sxyXeOHb;`yeUw!R$0lM6pTzldq9~NADCI z@+=C{w3)gr>U82%dq~Tz7ZYNA>@}k3BA>Ui@Q%V>M<-*wNizjN*Zo3mpJmZ@;loiM z`o@=y>h!Bx4r|L;d!Lly_)Rq&#mCs++?<%O&Rf@4O*?X}8SPFZeM&{!k^b%4fA?-% zIHy0gd}()f!GAupe+2vNxSNXh&6w$Oz*6uXb6-sEN7wgCM{6$5!XU+CvsH4o1<(6E zyHjj=YTxQRLscDp;4qlWI_Aqo*8SywMKxnvtD;vm3yJ{znHpuDlPzQ17mlfu6%%@wx*g7=Uu(@Nhs}tkM32ZR;+4Zxx?A# zvJwmkjTY_%n=+C|Dhw1LjQ0l2NK~jSG_ck=|JnYCX)H7mOqGD~35NZ3i>|C|dxk&r z6=Q7>L*>#NEb#v!yn#Tdz)$^iQ_OQADVsVKO6DofXt)UFLIGI)qMPo}W`DQV_~{fu z2v9UZ6!XfBRM#_Ulp6dD@Vz}V__e6vEgu5B>d5~xFI+6eAr-1H>GTyi!JLONgP_GM zk0EPPCGt2of-z76Y!6zI6G@ij*;EL7sJiiH*Atc?WuHl&3%i$mZl_vR8}5i*bhJ{) zGGIB4ZlF1MzCpZHM-E@O&s&AVQ(yh1TyzTebCpMIb&$0~i1a$Lg`2*N(0q2-Sppc- zzKd}z%PvRngZ!3=s5QluJeK;xPHG3CcKwxN5fg&f)~K@0r`=mS$4WZ9!#1&Lrs|=X zG)^c^8|dfFqo^^}=o9&5M9o%f3sqJKs$}Kp7{WLM5VCwz=V_!%oGT(7==JjZg-)Z# zQ2tfjA=Lb}52YFma?XXgG+<#Em@3g8TQ!Dbz9HyKrOl1w%o zOZe2)ISu57hxvz~kidl7KV+|27m5766c1XxoSDX5J~J@B z^`LDY);B>oeikd?Re0+)dqlHY_de^P?9RL7*3#6%x3qX*tzkd{gJ<1#!}&gSBbj7`)ZE>le_{uyd;Mc7x5mw%nX#il3jFxuk}_tWH)4 zo{Csbg!24LbnH+if|Op8rC$s$RqE#4m0-z=IVXGO$W2i-OiAa>clTF*%YMRCC=Ya# zUQ#N5rklF~ZDt7s4}FuKb1GE+g-Vx{HOtfJV(Nf= zCBx~qy157J0JWX*1XiE^8*AaTqu5qiu9o9#;^$_^U@P)jecmF>Na&#O^NL|*;duCY zV#WOk9DQ({GOvCHlQTGiRA_H#x%Aj$tpyI+;00PwfW3KMQ9ek3Mn!moA!y!<48I>4|b?y;nqJ%@AJPh zARF^xbQm>=vRc?PAX%qFg?Zzq?1`8vVg{@wkAxnX5h)`T+wyyn!%@SR5%*jtdGpay zkA?d)E~Wo(xbSB{x=<2Q)w@_-Qa)#5Cj9PYDeQ+KLK$`AA0zq7B{pWaEkdDiC3?3t zMYCZjMhyK?RV<7LR!f4Po`~Gm_A6SW1=3yG!*GldteK39ttyzHpOgVkNZ2&>Is3Mh z-rq@{RS`X34K)Qj3}-#%W3r9gX#ke*xkxQpG$OJI=43}+M#W(7VyH!kzDLBKVzOAn zfhj&fpnlChCZ7UkZl_y*jD41&qcSRGJ4D6F&Gl|^Nm*9p`kQ}qeHbp?&}6r5k{sXi z@>?{TYVihFv2I_tnY?>rQPFO*pEb*@K#P0R=cnBVc`-nJes8`^)(ff@Q8}kZ=klz3 zef`0hbPF}+T}yM2sr|Ibc&4XRwsXPk$vZgkyWMwkISP>~Z!|XP^yOO891#~_o+Gfo?eQ-B>agYrn)Ok3z_)W~7X(420s&pKbj>sm|n7g*1Y(Ei09%TQWasqnJ@|IPKkk@m1pR+nU{1!PQ z2<*TW0i(>iN<`LM1?|8RpcLkK_-MuihSAwRtZ+A3Te%)I=e)6OIT7G zG8n`wciq#6K-uwAT;xpBP)_$)Am6kNnwb&TGJicGI!8r_$Ns5xhU7hy`w$; z(W#}}C+?30t&D;vk*thP@~=siKFyrM-N!v1g1O~j8fui4;P9*zjzXHYSv~fhEB$7i zP>Q5XAXW|LSPm8}h!AC+`T6A9UiPfQF4J?U!7Z6Cqm!i&y?tJcZPs=?@bD*pN8%f@ zycBP&os_dyz(ihek$%HxZ7j)|D8=LZ9qqI^Ou^C-$LL*WkE$;04s0riMoNXn?Hs}dVhVCt zuaLVk24MIfDhfYOs_vFQ;c%%95oDTndVL~DMzt_2Kgc{zzsk1f^-k-H;Ktk%{9CWC z#=R5U)yumUnW229cd0Lo&x}mQ3j0UV zj#C*9?e-gR2B1r&HEvWb#&o8lC+boGun4y{zY`&z zwF%$@tO}a08%o$;bdZP59GPDXx4auj^4ih`fYxQvdkx?;zVaB+JYKbEpDG@6v%UKT zd?Wix6{Hxp62!OV=pl^p+<7`|mYv~;>2&L^lO-{g@NZiDcI;ERth~;9hSt|-{Okwh zS0H`WMK;;>W=tC#=A5esyh(WT1hQ`G5WHH#NWxnEk&JY5S`C7>EiXb7%Q0yF5|ea9 z5>pA_bL>R`^yCq0Bow+5w+LoaL+AdYVQC6vSvtamM*#?oG}k7X%E0!(_EZB~Pp39B ze);k5*Y$)fIa|`xhf~W!+noWS{?t)*=)JYMy!a^d=H)(xuOoTIzwzNnuGIgdoEi-O3M8cR4smy5LbN-XWw+StZGTY9>_7@xU`@vvD{6Z$MG)x9 z=PI9!{+PkLgc;}fy0Vg!x)k;TuvsLnih-4vI_#1+5514;kwR}Af9!QY+TO0jJjwMl zNKGe%BKo9n3ySlLaqZGNQ9>h|i5_hKdoAqp*SXT8=v1kx&*hV&0UO&$ zUu_dWFLrZI^dD6B{|H8PH4)+N#9Py(TYdBQX3U<5Ji9NivE;W2R_Ui%z{(;Sn-Up0 zt8<0uK09Gm8RfKh7gqVj)QM<-GX&+m`EEY)X1}b2%>MQ4@C}*KZI=v zq`D0l8d-_R+tSA}<;4@ns`pV?luAD?E$x%%v6R5K`^{%`88(hn@SB2hDK0Vz2e2dT z%?6O27aEeCWF@|ts@sbpzp)BBh2@0e1t5`fog6732kIm4V)8j8bmK56-#%*4A_!gD zpLS+0ETeL=AZbo?#62`&XA5d%_7xz0bh2rtV8?B~p=qS1TCnW5zyz>7azezI3M^2mKwLp zg|XkE@M2TZO<5Dsa|K{zIGjxUg%{P)lXLvZ^!kE@0x%Z^R2&p@s2`qCJtx2@xQ;?5 zcEM5u?j6xM`m$!lr!7+mL72Tl?juEfvoBp1_bKFo8Qv6fCjrX1q~d`&%UI&VCD_#Z z)HCOHwLiBBtkFm*HYXDG4IArAt9ZrLhAyhvyQ@n7?5d;r+b&?zROJ>RZiKMur!10t z!C3kif)Kl&5reg1_Jp(Yu*-yz@(a#gguiK^YSDT|vfpBC5!WTy8I#;%XJZ}{q6F?D z;UWDCZJy>dv5nXDgG3(rwJRt|_>V=je;I7n(@I&stIx3!A>+tY_)D|fcQJ$dx+a8S z;`i;H=kY?be)Vj(o~!LMD8G@0UtZvo>rWZ~(X~UzjuCLkZTxG2`yo2%9x?Ir96$~X zw5h8W3lTrk*(6e$WIG@#q==|T)xs^TD?8bw4oFp5U33dwQL8%Mbe6-tWhqALr=NO9 z>z?YSeT&5{wJO1vG$T~0^caoBmN5CdUDf7&R%8D`{q^d1x!+Y!X(L{Bp_L5Psj6hJO&e+g+!WwtZrmZJM zPjlGML@K#9T7cqU$Mm(pwu#k}P#_`K3HV$J>|*j}tSleYAReAOWKGq`EgTdqQ9gk3 zh4$V2*;`Sk*@_Un^j>%q-tkUS5nqOLAY(-sX{-vmQxT?)=%feWG#HHNxPP5)6ml^> zOWIspiKrL0c+O%(IA%E_J+pb(-^h_}1szRqSxg@PqsluumG(auOi<-m2PMI}(ILB&de;at{!BeSd{3UFZb7bV@<|ESgOhrpKl2lra z^eUtu-VgnqKoasVp&zPTl@kjeS}hI9oGjB&_#z_-7J3kRaGFqY+J}*sxnEZ}JMksH zw=Ov9XWxRn_sE5ntC;UgJg3Toe8!4y4TDaVX2)vr4qYf(*zA22S_X31=8S>cFDB0i z8kN_lfl^sb?00*^$-4ir%wxuuI7m(}d3WeAYhQ|t#_$-17)uQPZ6kOV`#rzt68{z- zBgS?T&^`z?0slwYi&EI@zO6ZNT1bbcKBPHQnyOr(yk8kzu9;9Nne%>A@bw}~F(fpd z=L3d%1SV0kQLqqv32auQV!V>Hsmaotk#G*g{hfLGef}M_Y3h%mFp3D1N=WqCnhGyx zh3+t zE`gsJd=w^UB>%e{8j%9Af!t`F4v-$*0tpkLA}y}?>^xW(SQlpS77LApq4*AG?vr)+Q9CAMWh(_ ztbE^`RlVgFKM8P>mN78-9PJ(ir^bEy~$Unaj^p@|d7 z=mSKFrKtl#MN@S&Od>|9Bl~a7<)8_b9-O3R*96OG(3EX5 zer{Ea|JuD=Fk+;)NAh!Jw>K4j?FQ@C#*a zRki)>jvn~VAVCSDY6YUUf3u3|A$iokE9I@mdA>lCj&8MtvWCN{zrxTG8_)U4coOGC^8`I`S>~9hxm9s zpM9~F-i?;dp;u%qE(I1|)TU)5-R-?$vwvV{WyCY6A8pt~6Kopg+l*nScRr1ki z<0DP;gdVXOyF2$)A(3QiQZlu{XSdwP!>V?jK2#^4rqW&You#MBJ9t6VS;O z4?g`X^m;B%E`*~jPT(#G_h%KQh|?GP!|0VrxJ#owD);VKIk}OoW~osuU47B9mjHZBo_@ z8)75b uSP6m<^p^?we5o7gGEDVf}7Os+_7C9VJNI`HXgU(NjHq7R-U(Kglt~DJ* zLQe*R{5KQWD`hxzG7?r>H6ry6H2UA03McCkE@!k9cDPEtZ1G$P$JiN82dv75M1tc= zn#RdD`XKAPD@**qdGKKQ-8bK>9qn6!X?p%dUgKO`eGG~gCE z5B70CGUC)hmD4O9ntdXcHoyir;*o`+HgU4+;n~@FuOP(vs#6?YAR^1k)Y@p7)xb;> z6$rvrjD7sAqeae{>fX@3Q?il(uoYMJTIb|5wy9!QpfWqHN(EF6j|-lDRUfo(!?QcshdDl$nv0 z&VX++=}J5iZo@}-_=2C}OZ*u1Xzb*rfquLJ9uh`v6BLB&JEs@8Q!=kdo+ichcTZ*V zwxESV1k?tAucc82mo!>7b`_#m3PMm7<1JBR8BSlsE8i|G>`AcFlrm{PXK_Vph2t63 zc2~HBUbTM55*|(I#G`VXUs#{$5Orq~xl@y?r&NV{M_IGdmTIw7isx5`2jH`GSJSUg zA0>{P;!l&a1Ek~ZMv3hH8YQ{U=dYCjL^mr99GlbPG*c{lt&k zo-io-Yh%FZ_$}3i(h;49n_yyo*8_!=L!XaaLi1+Sw=XHqyxW+j&#dHX`DLZXd0u{P zRnTHpP)@JHuOYE_v*z~^94rBTpjQ+ptIVsy+x1>cCa-W->WMpDy~4kAt3_+0*+%B}^%~8uVxnZ#pN9@ib@uP6++^-i3V~azEI7o=Pg{ zjLa#l;iebZjQ!f1U=h9&qBLK17jGzkPSi5umw!~Kc2QmU;8H=PYJO}Twrsh{#o(Vges$YCmCEL`v;3b~`o4q{|OMR)!0%nyi zDP{<#SH#<%}&<>$gXb4xY8XFD|RC?o9W75d_VQR;{ zn@1`u7Wu;RPVXgha{Ix3KNe<2>!B~rD%8fMx9|p~vG*DOUlf`Pwztb(4i3WJnRkCd z7QJUD0`^7f^hhHK(9vkC#Zr4vuw`31k-iZyGLWg@Vxs?OLoC;@$hHB2Vc~D15-(SX z$hE;GtBKjD6j*Y~+x-fmaO!}Dp{jeOki3rP5@j_CX5bk0Mikc|3zhGDaPi=4dQLXs4HZzVUUoCj(X?tRdE@CfC0ll}@xvCXbSEFU(6%tM4mo zlzG)6FhV?w^`VP@zqrv(0p;j&`e<~OF%;(Ly_&Ec=s@rbHbhb3UJm1U#DB%A(v;K#D@qhJa{ZA_+@Q>^GXY~KstulG?Kd#&0YspTL10F}Ed_t8{ z%-{u@U`U6=$vB6lgf8&ACk?S*%4L=K-WzppNAsgkX78I7C#cbvtT3s=&{06rx~?lw zPq{rCy!E4rgHqHngey>~whiYMlQfjS?EW=x8ju_Zs@0}ic4>5wrP6SUJSCVsRm}~9^TzM`b&4Z>bjHho;z)W&SgN!*39lfqT&w@i-&3wA2Th$P@PCbG(vBL#6hRk=A7t$VKw2s zdIyQF_>^Rn<_~w3gzAN1qti}DBk1>8>Bv7t9H4zAyb>1n7P@`9)}$ST4$k}FUPb)h z!i!3{g0lC=6ng^;1cdT4;=k}Rv$uD#vv)Cd{*UvoF;&w!ixJ6xn`i#J_vQ+!HU^K} zja;4Q_c`k&qCzmE%nVcF&Fyu^o}B|ry38lx0s6Zo;$>vkI>~qrpDH)1_x_uD?zw`T zX!h;q@aO0Gy3Hl`ngRa4jzhbnyh=yQdX2svf+BJ7Zok4MP|*1a;lE+om;_|u%;IE2 zpCRVLV2p@1;y|JVQtW~gLX~Kc>F2Qwl|Y3m!vV;NXN?ZFSis1vQ3ztbO#rN@QY9Rp z8{D_iD2i^;BNCbnP(WCKfaoNHc*v+08xS3NKyNv)C0C5gaGL`T6;`6!yyQKRC0`6H zr<{#PZ%8o!1GNB){YL!~Y2d6Xo&`wSrhb`rdICCKZ^gi2c$-`UOp7jHaz6^1W>8e- z{`ZE$;4mFpoYkjhg}rPX_2=8H)r|K>bL}Qup+u7P{7E@eUBvUo*w%>dbwKBG0kCjxMT>ARz@pa+T6wH~c?i2P(jI)(eXmVN^1yWU03ZNA4(;TTnhU5zxLiY60aRE zV^9CqRw(2NT%L=8@@EZhc1KU_>VL@f?JGNI=gk(>M$Gldtb<~48hEuj@y&Uf4)K>o*>lEJEyty~q-{BaA;#K;9hW}f++m~Hq)2Qj8ipjvu*BN(EIr2Fz%IgbE=;WHER^*$>|TAET?Ooyq?KcWwJDMzoP_ic22CEmY@mc(%Xoj zG0(fV>DU~4QhkcwQ*?HgmPh2loUoy<+!67o(n`>7ab#yYwQA(a0YdwBG zc~!R3)RH9WOpz^5;L`8D&yVA}$VNDde`*_91IKE2EUYP{Zjpc@P-OD6lhB~aH7k$8 zk$d+z#jwz1M0=feN-rGykW!VVpP^2nr8 zEJFEnenZGelv_^x^9Bg2Z<%I)+b#Yy*f27d*rTFZ)}#u4Sg;y`Lq$0pNx+BLUh2%$ zKIJuiiF<0iF2^l_nh*S0oVNwyuaGGpR)>qwJ?u88q)0Dkwi4Wt8A(vgDDJF6Frk)3 zB!@qEPy~`Awces>QeAsmWOwN$x;yV8(Jc8eELXg}THgX6(Y()e>JIfWOOVwv7$8Jf9M>r=SKF+9d9 z{?Q{vx7)VHtb1kmy$P4X4Q8_0E!Q-`3aG^p>-<3gOj&wu)4$^R3A*k5H72OZl_Yiu zTt9T));BxL$~V-CXjj$m=!))m@oDXK$8NsL)N?WGwSBCkjI+28);}X*z1n~==nzXS zHUoD^sVuwSt4sa%RlrQ;N||Z;Icd-5j&`)>Z7Z!`Uk)$Z<84$IK_#v}ZSSD}JNm#4 zK7qaa^PiF_LLeaY|C!%iEKF@p8UEWd{ny;Bscnrbf#%EbAVB+GebQVJ6#*ztLF1@H zMWvzo4X6?CFrK^$&q%;S1|j-Q9U@Fb_uC@>p#-snbw*I+edb#!EtvHaIVU5fk!Oxp z&Inhy&bG46`*?!mIGfA4(d%`r3ragIo>_D+RkvHEo(}8XBz!O5bQ}Kx7Jl6bFeu{x z3r_n9j`@A;s5DOp0+%-!xiQ##f?aSNfh*4jEouUDz+aab6)UO@xd3^mP&#NYK9Hn< zqkl;1uL_Mg&`>jakYrgG7Y-4DmS4}u{v@LOx93aAO9Ka{^+W9orZYLDx6Jbai~_34 z%5E#Iz)JM*bgeL;7Mr?_cmVtkpPe=qBR#p6+po`+p~>-~5~L%pdhE9Dw~X;g@X-Cp z#G<}0r5Q(^(j~n!b)bo5$1cyBr3$)7Dxe#my7}O!>IS{rY%X?CsZ5B?P0tpsr5o(e zMKv&w00(`!Rx?{K)iUnFEs?Y#UTAl14_5v9^GM zmAwX70#Jh;{g2;6XWJi*&B`c|t(gI7Ow8KlNiRj^PmKPAiz-Nv_$a0!iKMwzh|)Y* zcQhH-DPQF+n^@z&Fd7gEdOQ6-ZrLA+iz9wxG4Ro|haVKyxV(rn_;@|fyPvMv?)iEf zgF9XCX=fwBwQTwI_4j=gpeD!f{-}fs$}=}MtZ_0M*3vO3`bFvr~P+(8lu z>d&*W;84aSW(dbb$n3vjaC>`!)8L!29;H9AD0dc50wp{d3sqwgde4jsK|Nsl2t{Ii z+8LI|w2knfkA_azqB!WueO=E!Elsa^@|eHOhNThCZpJx zcfu7Dh)E2S^lKe(?Bsnr*ouD1=)=X%K_a2laDc&O9o;Bojk$CqnM;|y;Pu2hks6y_ z3E6-OG5xN`@*sjDADyL4U|yG7R|lhPc!6e5A^Z!S?6n`6WXkQ45Q5z!*SFarip>-W zg`2ggm>l$*ACZM8#1Cn&ObP8sJ5|%@*eSLd5g&XJgxFpbk+TO2O1^YU4n=7LcyW!@ zAj)-JaPP`7KLp%HH9HeWI%Dmhmwf>T*Q@DO6gjvN4WlERL~f)ZXJk(Ha|}+%;ee*S{H%u4#T(4vimJy4 zhY5?fl*ldG3!WiJvm*xcu6=A26G45fGClp{P;F%(+M(w($B)C zC~uHP&xwLYv9@Vn37CC;fdR+Nvhwh64T9%U!i&lx=%SqrtwEm^(umf;AAv(8>OYN{|GIk8c|fjC1sTTb-S>B)Xa zk@q6}g2@sjD9x(?1xwTkML87O{m>39#lqB7i1>VOKItN$UWwSHCSrUP?6$4-j3QdB z^;mG!a?t2_ zO=+dBLI=ogh!s!hNe~W~#^(Y=2cPCLM8#P9vbCK)=}pGvKQw>h&j(QyVd_z?ALR?I zct}t%CyqQht^W1y%laDVI#=efnHYK?Mrn1VOLDu!28g@sIAE=u>#V7hQF*kkwqbDA z+oE@RfhQHE*OM!t#KkWyD&T2irGsG^rx#_tisd?6H)OXygsdz5tnP5p#IY)f@_id~ z@f5?QxHQs%9>X&VJ3*RKsUYgyIZj74Qv2a8Vcoqm@(fc3vE_?nxkA~D=G8>pW_PC3^Q++BM3h$^11t z3o;3Q1zM%N$ujF@E%^K;Z-(|Zb$3I6{?5qdqyIjnPS$VOCq)MV>HqR?eLxp8S63^0 zi~kw&=;}CZNTm1~7=8rj0o2tVqfjiAmZhN{CP-w=bIR<;PTf2j`id*5gWs-vR;9I~+hMffivGsk-LdAn{~Eq|XuNXXZspdYT~l20xi77aOP;l}+Y_f{xrBy+vto$r zJiNn-$eDj*vkL3&B=;`jrlrz{AR&Bcpm7R2j z(Bl(iYL_Z46J^;blA znI)G+xB(;0vH@q{lQCGsvHx>B_l8yMXS`?UoW_4H2-}-e zf5~J6!lOX~WaA4=m)2(NrspqQs^l%YYJblb!r@DI`Ga`t9p+&<4yPsxTCcmJT?csU&=bV z(!&Thf8~)g&^VD2z+_jQ$uP2uI!-cqysVAsqDU zbZqVTU0-1N)upFB)9;)rk{-HL=lyEH&%0smVf(Sd<8dB&J=ffZd#d5e#%rD*5qVxY zA3DJyb~Zc5Zr$#sfJ9K@yk($17xU3b_s#t^7dngWu8_wuFEA z`MnKs^LWpUYNh3H0oj`$+&dxYo4fwA!$E+b_u75aRYX+M{cq+dLQ{?9ip_P*wwRmn ziv)sc;^vjp%W7h)K+LxM7E_iACr`fX=i~ABQa9;=cWKVVkJQ5Ys7I%?Vxzma`O6&7 zH{$q%MOoegHFqyZ$h$b=(L%v?&SCmTT4I{)S&I;6LTm84@7Wj+tRWS63e#`g`AuA2 z+tVn0GVVCadF&FY`6Og*v~__i4e4J4Jr~pDo%NaWxgSxK>m`2kjll(?Ruz`x%#!Z7 zHO_W34=)AejxY^?OQ_L3NylJ<-o-qfP)H=DJV{q+V5wek(Ju-mDB>{hWySf1dFId; zuc7-e*=-eu5uqe7Lkhn{d!aOzmqhQdQq-H)=}Ugn1)sgm>hcY2jb<0Xv$#o|dqF)D z#*#MV|0&_wsXz)ptU@ip>8T`VttoA`WJ05sg7zS#?)8LuW9&!6&5 z`p=C8?Uc-@2rcx zhnm-*hA^SQkP*AK6^DT;KwwniI8aTBj$x*S_+2O-6_%`)_c^I~hliJ1RRk{l3});* z-$5)2PZ^ZR7O^UcR*GkIp)Ja-Hg!sEGR#nNz>-u%Vj7q+d${%|3^S3LJJ?C~*!2+8 z$^uhZX`^y_T(~3xQrK5zBk@V5F_en7ehf_$#|H{NPDC2du?i;0E!wR#JNHz?LGRM# z5U%ihdMRfnly7{zbh+FWeGTGfj!QITW{ON;Dt^XJmyBqO@M%G&g~Mm2GN?=*EHwN} zvlH^7qV;I`-&UX?$M$u#O!Yo5m6HVpzsqB!J2o>!a=^`N#0=_dvEZ^Cl$u6zb7h(q zdzOAv%K+NG4K@Xgz=%hNqT<&M%aY|a$49(TV|wGB1r`b;tPzmXh`xST`3@^8HY#x` z@?CichPo_;W#$Oxrd2;agAT{KhE4a&gfe+$zoK;`Gfv)wf+%nDQY#F*K95Xlod#;q z9p?#Gn?ZD%1VmEosiB-st(>vGB$@~~DZ&e(43b)KfwWnc-A_}QAvM(pwc1#76a0t7 zD!ZTI*2Q7n>g0}QVp0h4(AG#g@z9a9=mY=^>@{IHYD3tpvZ-&u4im+A>P`6+AQn~) z^v1rpw88hC!ls5?*!i%Cx8s4@w?Z&H=+EG5sb@%`K8(8$;9Dl82j`<`ANmrD{2*40k|H z%FKa6?!=iTBNWFgr(GNEGnk<()!PW00OqHXR}^+ToA9X;TCLtHrYwbQdDvEFuM12& zcQ61I9sZYtw(3ThhKQ7PWkK74Ct(%gLl-Mr9R>n2)bvs7qGxm>+z8sO5z(tB;gK^G znKIPI-IB7Ttrm}V_Dv$?5%-asakA0HCxv}qHL62LLOH4aY`bjOK{X33r~AAH%U^n~ zsFg-qq1LPuvt-md!x5jlf~45n^GFwY&c7q65WspmrB52LtDm>3O{& zkN7bxXn>pHmB=$<)-Opj>YUoR# zLs^Rhbgl@tG*vo{NmN9 zhC5L~IPXmPl;qI(9O8hgvj3F%4Ro)0;Yk>)UdkZ);wGG=%Tg&?hZCJe9P; z5?5VRut!O~ya{YorEg#p!R2VN86g z<12o?w&L={MI&CFaWbJ$A~eiPw6_>fVtI;W?3EPhA!o$7p@Sv;e9tIRBN(JkgV(0_ zT=vk#+*^mRrt2$5VCt-C93prCdvE~39lfK`=L0vCIiqd-kZMG+1R_H?3cyMSL>b~1 zJYtf{j*ELp=?cz#IWt(Y9Fey4OalA&AP>G^tL!Kw37?HeWVP%4N=i))x|Hco_;8xq zyL9RZu0#ArWr@JgDLZn#n>9lEm3aj@@SQqDon>58kSbihSZomcPU5)K>%IKyB3x5y z1HSFB!=Whh1y{rg(NDe(QdOO_6#F-sh@`CZKX~q z=HdVzNE%;$iVYIP$iWk|kelJhxN&_(xaDy!Qw6WX`XUjM1O+L=tQ&}$a6L*SLObO{ zu5QQmE>=dKqML+~{v!-!uNHFpguPm^fP=?ytup2*#LqQf`B1C`LjZshtORAPj@&>k(?dmhozGgzB^DNW61ffhp*U7g$6eaXA zn+8*s%b0>WTrwIa_KaHuVTvXpK4wahY<*bE0!@3DkXi(-8asi>^bv7zujNJx6@T-M zLcZ5RCSi}j0#q6{+$UR_)xu~{Dg*yqGyw}1@J)Ie@PH>Z$SyHQx$_7}XvPFMjQ$MT z?v|Fo-H0kq;Ni##N7;Cj(Xb?#i~vRYQXRs!^-WHJ^Y?x9&J;2!RFCj?zWpaxC{nas zVMTq6jUnkAIKN8LEf@lT3Q2B+7fR`leYA3n$B4=d)YVS0R3BE2=(9$!gR;#=x~!=X z;%8Fg?RZ@lP>(Xz;t-U$QQ$2!vE@DuPOBb;aY;aoTpbn~(+UVD(PHLl7B4QqjhMof zaNSMmdTp$eP?%fBq~pgb@|xT8Z+)8V=gNXbMY~Q!OStht)2a`0iIl_qR6SX*h6`}e zQn4LulwQAv)^Z9{%ruq%5dKVBXt+75?R>s1wTW@5V=gnKZDKo^9ctU!XAxCDi`2uM zL6f$NmyMCLJC6{;b~|_;GDs*Sf*^3EDAix0+(2#+>a~;9dqs(=;y5v;0KZW&nxnoU z_*2-%*N-Y(qglb)@}@(Y`!w1mRc;h#K#gkGkv$n;xSdwj#G7)bn_(CtnWb|?hf%HQ z!hzP~mC&%*nw$37p>y;5=pB2fY|$KyY&Bl+BQ{JO7ZgAymf$70-?P6XRc&TCXvA^p zNndD}c7H{aLUAP#n}#JeK)m^(Au=C>cuho^%qSh}6a3{*jG~5sIfgN;&M$h6`MwC` zl)GzfIG0X(D$z5ZUvlCjrtOrBt(^G3P%91sU&wv0pF)%1UgM1`M@lNA)QP@Ggc>7U zo?=Nrur#sqC}jd^%at3{SX)vI~U-rB90=h8-0d4%k+w6PNlep?;XP z`-oJQHs2boJbDFe0=8kwHaNDpN`owXyUS%597m#c)nyO|r8YkODCFElw^6?teiu>C zcS38RExUeYQCHoK%uOoi$a?)UKp?=YC4aWL^6W-=PG2#LmJ64On$@B98SxTU9j@eQ zLEnvR=ZxWeMc3~MtF#c^>%6>H|>HG11P3+8jhXd#G9pE!SF@?~7 zGIztfi91$m^T=J-t!8VAxV1Cms+DkiWbq+-`@v&irAN%3$bNd~@DO#yq5Zx+c5@Gb zfMD+Ex~^?wo6xUj+kL+S;HBsheSKQr^Ey7#b`*Dizn?p@YvdtDJYw(hJ89_|t2)-~ z>d3n(d#jQIaP}I$o_SYl$0^ViKm;5@e#Jrd^){d0zjxhsK+2`?ndkSnt=ZNGPN?}O zm0vxmuGF+IWA|(s6!#E4_h`m(-eFh0v}^(eGc8^4zP}jr`$xu14^Y0?tj1g+`)_ok zQ^^r9ISnHDyGA`5om|ex0c`esFNVI}`pOF!r~+(GpECpu=BJk@o-@*GHU%$UoVwP! z{lDJa0DRxl=oh)y#`ONXIT?oY&w?_0JLV7cKg|WdKD}M}`L@TloUN0XVe2#FI=R0!YHdvr-TJ!l=UR-18(vsk zE$_0(*B>zW_sA{X9b7W#Lfw^6=uPH9HSX2OXV3-HnK;`D`u%EHRoJ*aW3sAP@Hggk z3H0pty`JZLdZ7b{fu98&Wi>+z!wSoZ!mQ=T*HW_ps;puARf04tv=dypr3uGSxut9A zN8=Mi))Gpy3R8Hi){$~-gVM4)W#^i58~lqO@0xP`R_*-^gE;+&w!)Ot{7qQc>#_I4 zZ?L~%)pgLq+BBl27)~sY(nic!Gk$7Ix0`?R23E@ATj$C0;af-CX)FoeL(}=$gx58D zT)nTq1J9uQ;e|r|Ms+Y3VRq^nqN;dafBgTWeX^^-xOaIMzC7Sl<-r{}05IaO8$930;VFhf}o zEhuneEFWA~DwA$sqD@@|E=SFa!=$eM!;tAPNN^Lw24;59imG^+h=+?E;@=M$mA1(> zM1zADua;9+_bwlO)8)ddGM)H1Fb`->^2R5I%Jr3dxT&}ixbig+emcu9jxK`sKi-+; zn=>t}cDbyGb44G}OQ=A#IzSDOMOIsfe_!-%*GhHk>-%@cB`);DXhyAEcNvpkmmh<^ z`yc)MUGT*Eq)h;LZ+P8j*z>P!{=!EwCBOvt%b|hqKJ_`b<*Xvu|EsC!w^<5wzicQ3 zQdPfN2#GTW`p918e;WAH)E0vs|8{U--n z*4cF5zU4+ewcW1yc71#J!i6;0Zl-gXe*8TbW>s>v^voB%E}R>LNY~I5+m3pzwTCe2 zk$L!jX|Yee7Ge4Qay+ea`W&`J@DZuACibIqgE%Irqm!@mS$0gYKkaN3d3yqdCgXNz zu1jDvE%G4r z72yeU03$A;gyaq5pmM!EIouybJ!en!keN@ZTZepQ&XQT8poh{%@KOWD?cN-3OORk0 zrdPrrNd=Z&eU48$*}DrJ-iL}rO@#2bw?GN}D*;4Ch|Eg`HzBGAPpK$u^3OA_Y|?Yr znIu^F;WKVROn06Igu7t1{F)=z;?{Xm6HUuBVi3^OIa&DMUY``;A%rI9Jf^+0w3*nZ z^K&jVic5L&CE&L%dji8gN_uYgN#M^-@d3ZptLA_22=@G@Jynq~nYi;`p757(EOix_ z_e=l@FTOHjcH|0`pn`&4h~5=dD-RryN>)Hbl3?9IR4#!+0z7cTItIu);^eC!5=@=D zvg`F_&_jU~1!i>D#S2eX9YYA+9ghrBS%416d zgM<0-!Gsi;*(mjLHH9GTY<8P5H*eAd@|D1%(_*G&B_hd9-!z;;_F#rkBgxnBrj41TNxdG$zGX~r9@9&kO>}m>3Y=c&T>zXSu7+^n<5kf)WKrz6mAuP)aQFeS`db?Bz zK$%EZ8nMkx%usv7ii_Has^pa2#1KJY@^O49zv4qE&0}EDQ)|aRaErr7VqwtxN;dX( zC}&~Gt+y@{TLvdu8dgA0yV(fu;eP_N2uCF$n6Q*&?f6RFCzycV6v=3CPm|FkalTFcC2+dbDvUDtsl@oX+TcQ%&!g7%eU~(yR!U^jptYWqgxPO zf|A8rYk(VUa&Zj&LcEeydn<@pe}AJ>9xi~<-+&4sEEGyu7v%RW-4y)F5Dygj8TPq& ze|@QudUL6F{xE#C(K?Y{625k~?en@F1|;uij>`8QgAew>IA`;`O~5x)7CPcKXgKq z);KJjQe|WfZc|Pf+KJ(|QTRV6jed%+6kFEo!+DigjTBDGZRn&o4hLQK*V7xP`tb@U zvY_9mH*)bqCN60%IMJ;`c-Dgx-<_X0C1RD77|!9rqu18ztvi)itLUA5<-`2@T%0O0 znh@5fDTUcWKAJ6)IrFLCRdU+?#I>biFf?!OL6o0bA8*vM{O}W}Ah#t8IWoj~nt#+8 zSkm*qt}WzMTv?bc^5;DWs9@%V-*;vx4q_Sam!X!^sC;e1W*3){ z|L(0t$S!UjGB00p0P9JSY6vw=Mv1F+*Z9rij3@1uz_x5;yb(TKijqjNBi`!g;Qk2~ zOQ0NIjyq{0Fd>c2@|_YLuUO~j!e8|SpI)`S(e~t}h=T}^n2*wHlE(#+1|pIllSN%c z`h%XJ!hbLELiqF=ZUlBXEaQoyuruR{%}ZYiJ(nQ>dttCdO5PXm&=nn+)5J(u43D2* zx88|D8NyTAGgI3eLXxcwPG94fc0_mlLqk(Oi(mn+B8mjMsb8k5_AeMMr_=>%6gE_# zn#H2gs|a#%&l$S7+h;$^($Kj-+$aBYyQA5TX5{Mg>w}*cnEbw`XXz+z|}z44_i1 z&IW#ZK_8XLwKDU=p-ThD`M^B&Up>Fu#aJhRSzx%p29BCR%8ptVqz>VHufA!sRf&Kf z3J&^l`E`d4ze64cUfa5>vyyZ|U{g{O!xuW#jnBhK+&V5B+x6T$h*KRsTT&iZ+p-&g z39V38p{C#vUw!opw!9)&b<=+CcsZ>HjmUDtQ<9*nZecnA&XO*W9Pnk0t7q=2v~{Zy zbZjV4^_2b|ouS{`V_>qPf?-Tp1%De2p5%D<`yDIFH61j01&hw2NmJwKO^m~*IZA8o zu(aFqsr*yAeP4w|tyY=8;{{pvB5qh^*$&?%Bl31PUnWt}dGt0R-+I<9MCR*lc`#n~ zD3EyU-nacf@*Rccyh7pOu!o{bd&2+pHoD`Lop`eXv_vEi6a-3WwDzv$(I75h)l<7X9nWrd&UnJ^~OFl0ogJ%$rI*N6Z zo_>y9G6XBpJyS#;{PesjGev62Zk{N82qLZdq4L#D$jLzVo~TSbx$;voOD5jn3T8=r z(F1PNZ``t!4^{B=bM>yQ;boepnzBRvYxz8$IT#Sii<=LDTw2a3JKO**4B`ImFLC%k zY8u8a0NTcGdIeCur3j9j3`%0{CdRxYm`v=}#`7Wk1(=W07X+F!OrXOM_vt^rSOb27 zq12Zew2vjI~$G69R3uf`~2=Ykv6)pZZ=C(I~Ia;-ysj!QjZ$g5%3) z$RE)EZO~$C!k{aP2m*rZ3j*?&Y4qQQ&n~WBw*O=GJdr)^ywQppepNQcTYHp5a4>t^ zqxacCx*nr!slJK#_9dE>8Lv_*h?G0!z=gppNUg|u^i#<}nxu@~Ef%Oye6TV)0Y?P2 zPn{&egCt1LB~->i{I>6F+F&1c26lAGNWo~ug|g6myd+&0FVWZbt`#0UNO9@8h(W%h zkpe31=+VE zsVI63%ymc=SybwAfgU4lTdP|FI9767;r##?tT_)pT}n3kcV;VkL>Kd!Isz5Y6kMg<#=b^sl|1Wn3j%r1C|q)bL$81a1jh^P z;YemMW2I1ri*rp04;X##bFzsBjYy#$oU-3Udd_9z)D%~ffG4P4vZS+OMce%@GPrW3mKj+y87AFzDA!!E zR{R(#?fu1};AE+!Y_)rTc6n%N6}rue63LB^?0M;z7+$QKN5w~s@Xw5%@~)hiG${_U zd$|e(>h7YuM-dx5dD)wx8%rG`8Qb5kZi%cpQFI=B-f!9tS#u$J_0;)gbtdhGsBfJ= zPD+9#DlWDSs3qs{MY`pN0Gk8gMaH^ffH=}g(=GJvVlkv+Xe*TQu2fq$N3-`=yyB6% zML*$ha_@Zy+#>A6p)239LTA_Ak8ZWL7xhcQFS-{3AM{U!UK!nf1gG-M?8*`z9~U7N zGJTAL*Ri2_>0TfsgO_G$)`h@jn0$j^8`(Ryj2()bC5Xx-5J*`f^yuqS9r4Dn0(%h>EO=paN@LZ0Opy-05oK)c4R`d zw2@-#xdCQlvUo|qoVa2NgNkU41^Kv7W;bN1_zlY^imCSc8skfQIDI1ER34u@lR|ZR z0exAU^e);6_FVEkGierVB+3+?M1kD&scmLry1qOmE*bM|g#v`@#BAm?h;wEvcRQK5 zZFj@@RtH{B*7>Q0GhA$1De$-y6Tzxf6cf+a#ZG(lf}Iva*L4Z;JFd7R3+QLT#Mr8p zyG?=p2#kmr=ALFhmU_8A<$8}?eb z6&McHJd|(Ko7qFU`U5x{u{0gB-!wrGa_xU{&+mjC957I=lEqsjuh*I9){Sr<&Z;_| znJCyubuZnIiBE~uXtfgv{IFp&=v%zz3;i;1hhd25;2EJ8Wmd2IL+_=`qIg_u6|XUJ z;j?84g}w&-+U~5x*e+2sTmXCu_E!H7!n3|$!JmhfN%N9NI!(@=0~(dPM)!Q5z3g%% zye*45cTT7f4Ft^Cu+3KA4Cf%@Ox}ga{Rgem@5YuV;N&9B0)s9}Bzz=Q}hTMR$<=eUgx!Y&zCilsmgrFB?lN+9^6r#-|`H*la!bY zSg6y0N-$9YGH^A+Y&hUB5B$1XEHlhW0fCxG&GpKD=hr)AHthZ_*XR439`t<63VC;E z(QyUFlN%*o+e0%f^m5A$e&UcXEt_G=NA;XYb>Jm;6%meJh2?B!>uJObJ$zQI9mS|R zly0KCaWqKoulS$i^jWvoZ9BE4E43~k8$(9;R&3j}KhRIM$Iw~Ud{3f ztu%fQ7=n=0fEj-k^|xHqzr?8h0COo33dQ(G+@d1lCOGEWJ{aa&2Lx?lD=_>!;D3LJ zS=#$Yf$f@HBuaVw3`%)jvOh#3fdTHH3;aI?D+R($WP@R<0B`KC3y5I&SV*O|Ygtvi zw&1VwIDhPMEyBMKepal_bwm~nKT|=q_G}1b4#qS z|0bmO^xJdk4W2kr;5twCr3K|QgC^kWz6k=L_Ry}o)d(TJrJq`onPRxuww(M`UX}^* z((RKTX6n5>jWG|{u%6X0Q;z0DM}3nKQh4iUN&GO!kPemxBN*t`&&2p)uYqz?(^Zc? zvGc+%{xl@6Z3V(yjp*$gXx8c_CO9}>#T(FH$}OmVCC@4domdU+gf%i6;nb;!0#834*ivyxBQjm8h$b~Gpd3=NXN}eV zog>vN!|y24Z2S+VwRJ!S5mvK|6!bGY#eafI6K4Mxgb1sk0v_D~ltsrb<|bV=m0u|x zqq4#@Lf?-dx)EZFvzO3dbgV>=yA->aAnaI~@6nU?wL*7fHC|w`)!Owkz%)m5f#v?4sZs(g{6ssA z2{|qxgOY*~+YI!0HM?+_X6wd*u04z03L;gQ*kq7 zx;^CE@J;TxOu`C&Ke#hQR(%H7{p3~67RY7+-H4;`7bnf;C5PZ6ogCMSjJn$$Z-=VU zmnV(M2DXYM(z(ULZ)Rc@JN4`bO;cE(PuB4%Gnk_)Zm@`}RcJxbZeA7wlN9A=;>MV5>#ER~T2S z;MEU{t?$yaVQ#V>Ww89_r!2|tD`qG-X8FZnF_r;v0X{(cBMMz18ncQLKZpp z?}NV9%eT@EdX_c9`Pw5>zvcG4-vN4lGe0d0zW=)0{#au0;JJkZ3(^bi1nsIc#ZN)m0tNvPv51Z z*h-0Bw&BI+3@ir|YwzrFfN4|_ElCD!g7 z_IihAjg}#?jvFucihox@6UQ=A2_H7P8m7Fp-H!)@Tmm)r8Y<|wqxq)MJS}dnRd;#W z%&If?@I+?WA)MK9qa(rg^e^MN=1=PyqW2|x7ykcshe^dX(e`to<6RCp2nfdij<-C_ zj8*^5?)p4K?=RoGuq&zyL9vY%9Q^2S85*bM3W@D*Ywer7I}jC6!$VxGi9=cBjw4gsUBK}~&g-4m6G z&KRbxq301~i?b8$34b`7T^UwT8LMJ(o;zooin6OrHf%`Fl6JIDS-QvVJ6K3(MF!U| ze(KqU?WL{BE@g$APdKEfcFgxa)ZTURWvz23}C9JMZ)g`eQmel{*iFrL$}nd=l_LGFTDSBdb0=Np0ih7(e~;fn5SMj$48 zB}hlypW&A@=b!3PFNXf95sZ>{emaXG?-^&tl6g4b$Q$#UGDRoHC6O2n+Zu=Y9JK?f z*wuU6BGO1Y>Y-PD)>5-@o^f1d*|$0XqRSbK&}J?u(_p5AMq8Dy`JIwp$0QFAyxtvY zpED8JTt{JPzE~0>O+q?a*~h!OVN%`aG*A=`Y}%od$Wwt@8UK=3ughKE z+Q#jsA9=BL;&ixvn)#C)4-r9H$x-`osV8l-dwFtLTTo5qB})012BYtH!FY&KRj>5K zXs3dl?X1X)B+?OD7-9;s%0E%VLX71!_YQD^2{0r{eR18LqlIHb`lGrknQX3Z!qDEfS5OVbW0&bbc=ISfO?3JD$NMZRypObO(v8OZR3~%MuHEgduAiDLp+~ zjgq=FUGMJ~E*^1PJ=RknK;8epmr!{hZ8*OHpAI$He_KK|2W~5_W@Kz@_SX{XM$)GJ zJkT%o>bqw+^`lMJFB82c_qBF)5s?ldQO7eL1rz#a^7S`wh{1+l@ZKSPsK(`;73sAk zEX#7e?_-mr+X6i+{=|S=>mgPL;be0agtyvI-#9oj6H0T@kGFw?$}68WL)3jaIG$h2 zYOh}kmTMSNgT>$q_|B#m9UZPJ|1Q=>sx&IqtL_kVE^U@dc% z$QMIJ0Af&-J2Jw%R)68ij!-IO?w0ez*)ni&4e@M#qSRtFE|CCkfR}hsHwB#iKC=(7 zv44zD?8{7#hf`!F5mxtB(#!#F8L&d^<3g&(y}70WC2bDwXs4E=>%fhY27VmqRNm#& z{%cD*HWWYJgp?i8XaX!4@h9GrsNI4%p(UyqpnkTK@D=f3VP|BlfshgYn|s z(^()#_rqRg@L-d#tpV84fBa+-+iWkAf_6JpqSAWKDsQaHcT~ zp=COzSl^Z{lPO(rEGh!CuZ|%l8suG9PKXCG~-2Xh#`su31j1kA?7)*Jrla>_2c9>8NB^xNZwib zhJw^E4@0dKVXqmWiw(?n3}a1Z#f$DjM}9zk((IsfrfABZ-7#5%rzeEpqNm-NxH!sL5?JI! zrp_A4v+QlSsC$qP4kDzN;g}zr3Lg&U|D6lq0iqDn7pS|_K;1?8cilB|bo{Hy{eP+p z)LY<@r6R95z=Y66enVWo)#8euL3v;%l8FM{UFf#XEwjNvCZA71@^IxulSF2JU@ExI zIL#P1>0?vRiJ;8eF=a7NHa#O#(pa_poY$FMc}quWl*}}>$0KMm!TI|ZEGPI5Ct)}Z zH8kd|Q+m{Z70WERDngZ3r(BJpkxUuS`lwt+c7ywQEnnVNA44|m3bsmw{RZ4|FH|M+&OuP5 zua~&qS0Jqu1Sz`KPweqUuoaj9{HvH0vhN+gg~xaDD^wnS(Qu!^1jOhBEUgsyBJyN= zf!b#EcQqFp3Of>iZzee<@kM_wN9QuFP3_-FA=pV~LIpP3wQf~Fp6L}7)NNV5r@0Fr z)@}*E-~x6<9(Er_3h7qu35)$u$xkcjk&zrYYzQD5vkegQdO{7&68D>TEi+o4=O0vE zlZ`*_PF6W3qL7Kh|M6S|1)~Rcn4v&mfHgr10&7i$=nd4_Dxgn4(1r1jLq`46*=|8_J02?YL!SmJ0a1Z@c-m7`UeaGV#oI{`2P>9(Vvq3q^$Wz)`Y-+Be3}s|0e~=Klo1Jf8qa~ z5adtzpNtCsz$?Z61^<&@;ZG5NI-vd|qF44`BL3YS^-uVp_ICfkQGhS$ziZ+@tndEB z|GD(_4}Qqze~bS=3t@kP{~X8t17`R77x<4+-JcTv?Cbs`K^3?b_xI)hN6+_9{C{>i y{y~F)AON45|EmM?C;UHK{eOr54E#6vzuo~#vXDUS1_40=egc3Gh
PierangeloMasarati
FirstLast
ASME Paper Title:Assessment of Linearization Approaches for Multibody Dynamics Formulations
Authors:
Gonzalez, Francisco; Masarati, Pierangelo; Cuadrado, Javier; Naya, Miguel A.
ASME Journal Title: Journal of Computational and Nonlinear Dynamics
Volume/Issue__12/4
https://asmedigitalcollection.asme.org/computationalnonlinear/article/doi/10.1115/1
ASMEDigital CollectionURL:2/Assessment-of-Linearization-Approaches-for
DOI:
10.1115/1.4035410
- -# Assessment of Linearization Approaches for Multibody Dynamics Formulations +# Assessment of Linearization Approaches for Multibody Dynamics Formulations 线性化方法的多体动力学公式评估 Francisco Gonz´alez∗ Juan de la Cierva Post-Doctoral Fellow @@ -54,6 +30,10 @@ Email: minaya@udc.es Formulating the dynamics equations of a mechanical system following a multibody dynamics approach often leads to a set of highly nonlinear Differential Algebraic Equations (DAEs). While this form of the equations of motion is suitable for a wide range of practical applications, in some cases it is necessary to have access to the linearized system dynamics. This is the case when stability and modal analysis are to be carried out; the definition of plant and system models for certain control algorithms and state estimators also requires a linear expression of the dynamics. A number of methods for the linearization of multibody dynamics can be found in the literature. They differ in both the approach that they follow to handle the equations of motion and the way in which they deliver their results, which in turn are determined by the selection of the generalized coordinates used to describe the mechanical system. This selection is closely related to the way in which the kinematic constraints of the system are treated. Three major approaches can be distinguished and used to categorize most of the linearization methods published so far. In this work, we demonstrate the properties of each approach in the linearization of systems in static equilibrium, illustrating them with the study of two representative examples. +采用多体动力学方法推导机械系统动力学方程通常会导致一组高度非线性的微分代数方程 (DAEs)。虽然这种运动方程的形式适用于广泛的实际应用,但在某些情况下,需要访问线性化的系统动力学。当需要进行稳定性分析和模态分析时,以及为某些控制算法和状态估计器定义植物和系统模型时,都需要线性化的动力学表达式。 + +文献中可以找到许多多体动力学线性化方法。这些方法在处理运动方程的方式和呈现结果的方式上存在差异,而这些差异又取决于用于描述机械系统的广义坐标的选择。这种选择与处理系统运动学约束的方式密切相关。可以区分出三种主要方法,可用于对迄今为止发表的大多数线性化方法进行分类。在这项工作中,我们将展示每种方法在静态平衡系统的线性化中的特性,并通过研究两个具有代表性的例子加以说明。 + # 1 Introduction @@ -63,10 +43,19 @@ Such guidelines are also necessary to select linearization methods for those app Several methods have been proposed in the multibody literature to arrive at linearized forms of the dynamics equations. They present different features, depending mainly on the selection of the coordinates with which they describe the mechanical system. Some of them are recursive algorithms for robotic systems [11], others are built on Maggi-Kane’s coordinates [12]. Lagrange multipliers are a popular way to represent constrained systems and methods to linearize the resulting equations exist as well [6, 10, 13]. This paper categorizes linearization methods for multibody dynamics into three main groups, defined by the selection of generalized coordinates. Their properties are demonstrated in the linearization of the dynamics of mechanical systems in static equilibrium, for which Linear Time Invariant (LTI) problems are guaranteed to be obtained. Representative methods of each category were applied to the linearization of test problems and compared in terms of efficiency, ease of use, and accuracy. Moreover, in [14] two types of linearization problems were identified: heavily constrained systems in which the number of degrees of freedom is much lower than the number of kinematic variables, and systems (typically flexible mechanisms) in which both numbers are of similar magnitude. The behavior of the linearization methods was studied with an example of each type. Practical guidelines for the selection of the most appropriate technique for each case are presented to the reader as conclusions. +多体系统 (MBS) 动力学在过去几十年里经历了显著增长,这得益于计算机体系结构和软件的进步。MBS 动力学最具吸引力的特征之一是研究人员和分析师在处理特定问题时可以选择的各种建模和公式化方法[1]。一般来说,系统可以用一组独立的广义坐标进行建模,这会导致一组常微分方程 (ODEs),或者使用相关的依赖坐标,其运动由一个或多个运动学约束相关联。在后一种情况下,动力学方程用一组 DAEs 表示,必须使用适当的算法来处理,例如 [2,3]。MBS 研究社区不断提出和开发新的公式和方法,这使得对它们的性能进行基准测试和表征变得必要。这项工作的最终目标是提供指导方针,帮助分析师在处理特定问题时选择最合适的公式。 + +对于那些需要线性近似运动方程的应用,也需要选择线性化方法。这适用于某些经典的控制算法,它们需要用线性模型来表示要控制的系统[4],以及一些状态和输入估计器,如卡尔曼滤波器[5]。即使不需要运动学方程的线性表达式,它的可用性可以使人们更容易了解系统的行为。使用从原始微分代数方程的线性化中提取的降阶模型,可以简化结构的和气弹的问题分析[6];线性化模型在稳定性分析中也很有用[7–9]。模态分析和确定系统的固有频率和振动模态是线性化动力学的另一个重要应用[10]。 + +在多体文献中,已经提出了几种方法来获得动力学方程的线性形式。它们具有不同的特征,主要取决于描述机械系统的坐标的选择。其中一些是用于机器人系统的递归算法[11],另一些是基于 Maggi-Kane 坐标[12]。拉格朗日乘子是表示约束系统的常用方法,并且存在线性化所得方程的方法[6, 10, 13]。本文将多体动力学的线性化方法分为三大类,这些分类由广义坐标的选择定义。通过对静态平衡机械系统的动力学进行线性化,展示了它们的特性,从而保证获得线性时不变 (LTI) 问题。将每类方法的代表性应用于测试问题的线性化,并从效率、易用性和准确性方面进行比较。此外,在 [14] 中,确定了两种类型的线性化问题:高度约束的系统,其自由度数量远低于运动学变量的数量,以及(通常是柔性机构)自由度和运动学变量数量相似的系统。研究了线性化方法的行为,并对每种类型的系统给出了一个示例。文章最后向读者呈现了关于为每个情况选择最合适技术的实用指南。 + + + # 2 Coordinates Selection A multibody system can be described with a set of $n$ generalized coordinates $\mathbf{q}=\{q_{1},\dots,q_{n}\}^{\mathrm{~T~}}$ related by $m$ kinematic constraints $\Phi(\mathbf{q},t)=\mathbf{0}$ . For the purposes of this paper, these are assumed to be holonomic and linearly independent; accordingly, the $m\times n$ Jacobian matrix of the constraints $\Phi_{\mathbf{q}}$ can be assumed to have full row rank $m$ . The equations of motion can be expressed as a nonlinear system of DAEs as +一个多体系统可以用一组 $n$ 个广义坐标 $\mathbf{q}=\{q_{1},\dots,q_{n}\}^{\mathrm{~T~}}$ 来描述,它们之间由 $m$ 个运动约束 $\Phi(\mathbf{q},t)=\mathbf{0}$ 相关联。为了本论文的目的,假设这些约束是全纯的且线性无关;因此,$m\times n$ 约束函数 $\Phi$ 关于广义坐标 $\mathbf{q}$ 的雅可比矩阵 $\Phi_{\mathbf{q}}$ 可以假设具有满行秩 $m$ 。运动方程可以表示为一组非线性DAE系统,如下所示: $$ \begin{array}{c}{\mathbf{M}\ddot{\mathbf{q}}=\mathbf{f}+\mathbf{f}_{c}}\\ {\Phi\left(\mathbf{q},t\right)=\mathbf{0}}\end{array} $$ @@ -77,19 +66,32 @@ where $\mathbf{M}\left(\mathbf{q}\right)$ is the $n\times n$ mass matrix, $\math 2. Redundant Coordinate Set (RCS), consisting of the $n$ coordinates and a set of $m$ Lagrange multipliers; and 3. Unconstrained Coordinate Set (UCS), in which the system is modeled with the original $n$ coordinates of the unconstrained problem and the constraints are embedded in the formulation. +其中 $\mathbf{M}\left(\mathbf{q}\right)$ 是 $n\times n$ 质量矩阵,$\mathbf{f}$ 是广义施加力和速度相关力的数组,$\mathbf{f}_{c}$ 是由运动学约束引入的反应力。 方程 (1) 通常被转化为文献中已有的多体形式中的一种,这些形式可分为三大类 [14]: + +1. 最小坐标系 (MCS),该形式的坐标数量等于系统的自由度数量,即 $n-m$; +2. 冗余坐标系 (RCS),由 $n$ 个坐标和一个包含 $m$ 个拉格朗日乘子的集合组成; +3. 无约束坐标系 (UCS),在该系统中,使用原始的 $n$ 个无约束问题的坐标,并将约束嵌入到形式化中。 Velocity projection techniques, in which the system velocities are projected onto the subspace of admissible motion [15], fall into the MCS category. Graph-theory-based [16,17] and Transfer Matrix [18] multibody algorithms could also be included in this category. If a Lagrangian approach is followed, the constraint reactions are expressed in terms of the constraints Jacobian matrix as $\mathbf{f}_{c}=-\Phi_{\mathbf{q}}^{\mathrm{T}}\pmb{\lambda}$ , where $\lambda$ contains $m$ Lagrange multipliers. Using Baumgarte stabilization to remove constraints drift [19] one would directly arrive at a RCS method. Alternatively, eliminating the constraints delivers a UCS approach. UCS methods can also be obtained through penalty formulations [20] or with the force projection approach in [21]. As mentioned, selecting one approach or another determines the output of the linearization methods, their efficiency and the way in which they convey information about the mechanical system. MCS formulations result in a linear problem with the exact spectrum of the constrained system; the eigenanalysis of this problem directly yields the $2\left(n-m\right)$ eigenvalues of the original system. RCS and UCS approaches may give rise to spurious or approximate eigenvalues; on the other hand, their use can be convenient for the sake of efficiency or ease of use. In the subsequent sections, representatives of each category will be compared in terms of effectiveness and efficiency, and their main features will be discussed. Two main factors, namely how easy it is to discriminate spurious eigenvalues and the simplicity of the linearized equations, also from the computational point of view, will be considered in the discussion. +速度投影技术,其中系统速度被投影到允许运动的子空间 [15],属于 MCS 类别。基于图论 [16,17] 和传递矩阵 [18] 的多体算法也应包含在这个类别中。 + +如果采用拉格朗日方法,约束反作用力可以表示为约束雅可比矩阵的函数,即 $\mathbf{f}_{c}=-\Phi_{\mathbf{q}}^{\mathrm{T}}\pmb{\lambda}$ ,其中 $\lambda$ 包含 $m$ 个拉格朗日乘子。使用 Baumgarte 稳定化来消除约束漂移 [19] 将直接得到一种 RCS 方法。或者,消除约束会得到一种 UCS 方法。UCS 方法也可以通过惩罚公式 [20] 或 [21] 中的力投影方法获得。 + +如前所述,选择一种方法或另一种方法决定了线性化方法的输出、效率以及它们传递关于机械系统信息的方式。MCS 格式化结果是一个具有约束系统精确谱的线性问题;对该问题的特征分析可以直接得到原始系统的 $2\left(n-m\right)$ 个特征值。RCS 和 UCS 方法可能会产生虚假或近似特征值;另一方面,它们的使用可以为了效率或易用性而方便。在后续部分,将从有效性和效率方面比较每个类别的代表,并讨论其主要特征。两个主要因素,即区分虚假特征值的难易程度以及线性化方程的简单性,也将从计算的角度来考虑。 + + # 3 Linearization Methods In this section three methods to linearize Eqs. (1) are introduced. The first one is a MCS formulation obtained via velocity projections [22]. The second directly linearizes a RCS description of the dynamics [6]. The last one is a UCS formulation obtained replacing the kinematic constraints with penalty systems [20]. - +本节介绍三种线性化 Eqs. (1) 的方法。第一种是基于速度投影得到的 MCS 格式化 [22]。第二种直接线性化了 RCS 对动态的描述 [6]。最后一种是基于 UCS 格式化,通过用惩罚系统替代运动学约束得到 [20]。 # 3.1 MCS Formulation: Velocity Projection The system dynamics can be expressed in terms of a set of $n-m$ independent velocities $\dot{\mathbf{z}}$ using the transformation +系统动力学可以表示为一组 $n-m$ 个独立的速率 $\dot{\mathbf{z}}$,使用变换: $$ {\dot{\mathbf{q}}}=\mathbf{R}{\dot{\mathbf{z}}} @@ -97,14 +99,15 @@ $$ where $\mathbf{R}\left(\mathbf{q}\right)$ is an $n\times(n-m)$ velocity transformation matrix that verifies $\mathbf{R}^{\mathrm{T}}\boldsymbol{\Phi}_{\mathbf{q}}^{\mathrm{T}}=\mathbf{0}$ . Matrix $\mathbf{R}$ can be determined via several methods: e.g., coordinate selection (splitting $\mathbf{q}$ into independent and dependent variables), the zero eigenvalue theorem [23], Singular Value Decomposition (SVD) [24,25], QR decomposition [26], and Gram-Schmidt orthonormalization [27, 28]. All these methods determine the subspace $\mathbf{R}$ of the velocities that complies with the constraints through operations on the Jacobian $\Phi_{\mathbf{q}}$ . Applying the transformation in Eq. (2), the system dynamics become a system of $(n-m)$ ODEs +其中 $\mathbf{R}\left(\mathbf{q}\right)$ 是一个 $n\times(n-m)$ 速度变换矩阵,它满足 $\mathbf{R}^{\mathrm{T}}\boldsymbol{\Phi}_{\mathbf{q}}^{\mathrm{T}}=\mathbf{0}$ 。矩阵 $\mathbf{R}$ 可以通过多种方法确定:例如,坐标选择(将 $\mathbf{q}$ 分解为独立变量和相关变量),零特征值定理 [23],奇异值分解 (SVD) [24,25],QR 分解 [26],以及 Gram-Schmidt 正交化 [27, 28]。所有这些方法都通过对雅可比矩阵 $\Phi_{\mathbf{q}}$ 进行操作,来确定满足约束条件的的速度子空间 $\mathbf{R}$ 。应用公式 (2) 中的变换,系统动力学变为 $(n-m)$ 阶常微分方程组。 $$ \mathbf{H}_{1}=\mathbf{R}^{\mathrm{T}}\mathbf{M}\mathbf{R}\ddot{\mathbf{z}}-\mathbf{R}^{\mathrm{T}}\left(\mathbf{f}-\mathbf{M}\dot{\mathbf{R}}\dot{\mathbf{z}}\right)=\mathbf{0} $$ If the inputs are represented by $\mathbf{u}$ , the system can be linearized about an equilibrium configuration $\mathbf{z}_{0},\,\dot{\mathbf{z}}_{0},\,\ddot{\mathbf{z}}_{0},\,\mathbf{u}_{0}$ as follows - +如果输入表示为 $\mathbf{u}$,则系统可以围绕平衡构型 $\mathbf{z}_{0},\,\dot{\mathbf{z}}_{0},\,\ddot{\mathbf{z}}_{0},\,\mathbf{u}_{0}$ 进行线性化,如下所示: $$ -\begin{array}{c}{{{\bf{H}}_{1}\left({{{\bf{z}}_{0}}+\delta{{\bf{z}},{{\dot{\bf{z}}}}_{0}}+\delta{{\dot{\bf{z}}},{{\dot{\bf{z}}}}_{0}}+\delta{{\ddot{\bf{z}}},{{\bf{u}}_{0}}}+\delta{\bf{u}}\right)\cong}}\\ {{\left.{\frac{{\partial{\bf{H}}_{1}}}{{\partial{\bf{z}}}}}\right|_{0}\delta{\bf z}+\frac{{\partial{\bf{H}}_{1}}}{{\partial{\dot{\bf{z}}}}}\bigg\vert_{0}\delta{\dot{\bf z}}+\frac{{\partial{\bf{H}}_{1}}}{{\partial{\dot{\bf z}}}}\bigg\vert_{0}\,\delta{\dot{\bf z}}+\frac{{\partial{\bf{H}}_{1}}}{{\partial{\bf{u}}}}\bigg\vert_{0}\,\delta{\bf u}}\end{array} +\begin{array}{c}{{{\bf{H}}_{1}\left({{{\bf{z}}_{0}}+\delta{{\bf{z}},{{\dot{\bf{z}}}}_{0}}+\delta{{\dot{\bf{z}}},{{\dot{\bf{z}}}}_{0}}+\delta{{\ddot{\bf{z}}},{{\bf{u}}_{0}}}+\delta{\bf{u}}\right)\cong}}\\ {{{\frac{{\partial{\bf{H}}_{1}}}{{\partial{\bf{z}}}}}|_{0}\delta{\bf z}+\frac{{\partial{\bf{H}}_{1}}}{{\partial{\dot{\bf{z}}}}}\bigg\vert_{0}\delta{\dot{\bf z}}+\frac{{\partial{\bf{H}}_{1}}}{{\partial{\dot{\bf z}}}}\bigg\vert_{0}\,\delta{\dot{\bf z}}+\frac{{\partial{\bf{H}}_{1}}}{{\partial{\bf{u}}}}\bigg\vert_{0}\,\delta{\bf u}}\end{array} $$ The terms in Eq. (4) take the form @@ -114,13 +117,13 @@ $$ $$ The expressions for the numerical evaluation of the partial derivatives of $\mathbf{R}$ are detailed in [29]. The linearized dynamics can then be written as - +数值评估偏导数 $\mathbf{R}$ 的表达式详见 [29]。线性化动力学方程可以写为: $$ \mathbf{M}_{r}\delta{\ddot{\mathbf{z}}}+\mathbf{C}_{r}\delta{\dot{\mathbf{z}}}+\mathbf{K}_{r}\delta\mathbf{z}=\mathbf{F}_{r}\delta\mathbf{u} $$ Equation (6) has $2\left(n-m\right)$ eigenvalues that represent the exact spectrum of the problem. Moreover, its leading matrix $\mathbf{M}_{r}$ is symmetric and positive-definite. As a consequence, Eq. (6) can be used in the solution of forward-dynamics problems with explicit integration schemes. - +方程 (6) 具有 $2\left(n-m\right)$ 个特征值,它们代表问题的精确谱。 此外,其首导矩阵 $\mathbf{M}_{r}$ 是对称正定矩阵。 因此,方程 (6) 可用于带有显式积分方案的逆动力学问题的求解。 # 3.2 RCS Formulation: Generalized Eigenanalysis Following a Lagrangian approach, the dynamics equations (1) can be expressed in the form