From 62e5879d5e4ab846acbaeeee7079d76d077b6fa3 Mon Sep 17 00:00:00 2001 From: Zhengyi Chen Date: Tue, 26 Mar 2024 14:31:23 +0000 Subject: [PATCH] ... --- tex/draft/skeleton.pdf | Bin 477010 -> 476895 bytes tex/draft/skeleton.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/tex/draft/skeleton.pdf b/tex/draft/skeleton.pdf index 15fd636e4a5abda2bd8baf22f1978d594a7631cb..65fa7fa3e1b626f628175e2fcdacb32833ee74ec 100644 GIT binary patch delta 13536 zcmaiaWlSYptStw3cXx-u-JQX0(1Q-HgZshV-F<+;-8sPE?(XjHFu?oXd-wnSvC`F~ zyGfIkHtFtM9LaVpNu9DafIr#94I4D6x9+^ogYLJiy~92lLjy?;!7*84Htv>Xozu}W z|Bxg!gSlUqC>1N$?A`;mBtXKJQ%zs7zc;>tbb7v69W(`GHU==zLX{GrK}Qp$Lwdvv zQ#fRzdy;Vw?Ef|?6ax)#;VC+m_P5bNN8bdhGS9IW_lZ{#pzNzB>997Lw1EyO<1#}g z(8&~nZ6l81mm?YzIBPr?kP4;YFpzL+OnN0oqS;ufn-eVOGyXDX2c zU{B&R63~nIYiO^mC1hF{3<4#g^q>!+x&JmIKqN9*z}rMv>WtlX1AaP~T2RtTV{?k7 zsGk@@pHRd^^yQ?!)z# zF){8sdmO)df7~s5T{8Q^c^yRVDL)yLm6Qd;&ChLSleQ3J=V;+$8Sj&;C#64*!5xY7 z6q#kKy*&p>;PVsjw0z=D*XYIWB`%A|=4hehhm!@FU!@7HEe@DL|}R%u*%3Ty5ZH@s7x= z;u|*}TjE{XD?C5-r}M64NxBjs-z`?vL)xJ*KAe`x4XTN+Y0O6I=K=qow*G2a)U~C( zz_6IZqY%8mor%_Unv(oINOjD{(|bVI5jD*bWShE2w{L|KxjH$?Ib|>|F&V;T8yd;pFlU z6s@-Lr1ShZ+sM~PZU@#nwyt)K`_s3sD5#vab2wc52%gN0>2CEC{$=~J`WB$KZzbrC zCcCNO+27Fas>ZLJy@Yj*YHFfXX*uXBsMBtJ4>D-0Z@kEI+4|lY`Wj4!xsK3a7TeWO zEbE@NcF zg94kzJ6ERGIP+GMwUP8+%JCjmp*b{N`V0^{AQT-Etd9sUI_64JT15)FD8 zxSI}gPx!!oz^OTN6H^|WquzwBExQIcSLb8dkE9o zdBu}MhI5e#xgLl_fu27)THQ(=VEmRUSRFPSW(Y2cw?zw&)_F3vD~-&c+^1mabVs+a zNC}<21XWgdnA>FpCoIhcn2?6{K|A*|_e~?|(Q0~{J@Y?mmFIt@5g+m<$OUUwz5TVq z4eg4jxRzgnlpvSXCgbx~E(k<1q|?~Qw}mh;Ox1#ObK&9p9`$gaF>aTI3wQj=m02yt zC-d*_+%d-G!jkF)w}GrYV=^sS-agZ^ttu>A?(r1Q+QajAO9uw#&LN5RUun&++F#G; z`{J9KFomLq9{@aUqwXB%H(A7WkCqWxJZl8x;KqHdmE=Iy+w? zan`H*&KE>PV>xqUqSG`qfcw9JiVIS5$&o?tKG$~o-UpDFe&(ZFRks`7N}(JbrI7!9 z!>XrdVS=PHJXNc5FWi`DQoWM)(@3XDjPu$}W!k40CAS$%Kqda~)&1?^?6WB589L^S zYM?u7Z5%{x2r8dc7yxe$<2y8Vic9-1e~B`D$@=<&se*=|HX z)2rD6pl3XrNw8;m(V`&tW>C{T)uLHVXON@AuTDGd4XA&$#3&$-H2G*95DE1w;Js=+ zww7&{N31K*;UP_z<+KGJyAXq>fuM!9_mn3m{_+4d)BfMQTZjfQh;9At$O+AXnPEgh zjye|&)IK2zg(51I1H%IJ$(RZzrvQ)b)}|aBuheh%3-_Ve9uX@c?7ScSMaEFtWPKi!UKVT>u10Vgoo!1tikxxe&y6Rj=7eX**rn zC8?+4T)ilqyF}Z8hCa(JRO&`vpXedQrG%Z~lVj?@Igu~h_TG{=+Z-OYKrDE^aPiW7Pe6Z61%* zgcY%{qlc}}Arv%9Oox8Hr5mp}TV1|Y+4R&Rj?MkKr08_-(Q<(smaew=39!oRgYn9E z|80dse@%$B>C!{g^kn~lggvlM*!d#Bt(4A}jGQn(7%?RoZbR;%Q|HeQ?7F-6uD6kP z-R;rXQ%gs&rz69Gyl&M_ftUDm(MI3PEs$`8&pm7^Pz}PalvA~l&D@27x#^Y<;J;{x zF4#8-ib24C@;R8qsinbGyf}{I)j1|j{TPtI(&Q3w&9b0m+typJM;)nG1yGFnS6SU< z@ecEB-%gBkqm_{Ce;ps)$Zn0pD}p_1+m zTnpqysl7%4D^O_@QE_GyT>TPpuIIf_`SH}MI05>}I1xB?2#Hde;5{LI&7Nmzu61D} zzHs40ngkt-@rUGgOlKO&XN_KX`MDmUNaCmaz}npeN~n5lk=P0vnCHmc=OMQ5aESe~ z!ra-3S*qn>OHf2BiLTKWoS>+0``5`?O~9h{S-EzsjlT82{C(^Ji*Q@!;!CZJ)CfR3ulS^9NbhX0`wE8H2HE||K1euy#H6;Faas{E1`u2Ptvb%TTzd3Z z>WV#!fAY0xryw>eO(C&d`4kk@C4R3hZm1ozaLjP=3s2D#Qo6nY$exZYjxe0Iwx^A^ zF?W(wS~)8GWB$ej%JMC;1&Ckb<#-|Dz0rkRi=2CM ze>|EDrcwT7&&f%^OL(r5{1Qp9|oODyRmMR*ma!Nur=DkTdg4oW@((5MbR=gy}oCUn1Q=MdaE&^)plcmyGq$V5k zAPFXZ)G-H+?tHV8(^-~QN-oE!0@7z3p%}+ET-kc&c8mtgvbP9sT8{0YdY!NV#)hP1 z<2*BvT_Wlc5oyU}iUgC8pA<=KQ|2PHN@SQm*BpPhW7(VB4&h+#eiM4i!4^+ZzRmt# zOTM48Vk@&mT+*lnJ1IpSNsb6*oD8AL>jlIkl!qV*WkE~zjq3A-O!1y;U^QJ|Hf5`Q zAx&rY)&^VFhHMkqp6nKGoLWMaaZCO8GyfvJeTwtgqxW9uLhqMf3fW`mX|C(A8>hOo-0#2h7NdV?5M)YQ<1} z>M-Mx3-|~Fu<1NQ(CPr4;S0o1rgd9Gc4Px6a_1o)@-ouz1rL2>LKIj52ykP_o5d5< zcuy3k6f|BqG*w(4Z$W$eq13M%?yaE0m^Z5fI%r1`BiYoQ7h_4?_IUMJ?|Lk}AZpso zsWIrXUkFdmmXYr`-$l!aWN2#~?8i`K@rXUW*5H1}r$q!mzf3?U1YjmuvpKJYAMp6x ze$pw6*CxjixgI#cCcR9FpT)&NcSy?yfxil!*g%mJn>n9YKWol84?MGf559vMnp|^# zhyERsFfl8vt5;pop|@kk<-tWFiVlq({5!Pgw}NlDbrXr*=e2`5Qge}O0DG57-?g~4 z=p&F_L-gmpU3;ki6O{6$0WH(dnbbVPizy$`UOPG`o_uozaDoU zcF|{I&d{@2x#KaKi$eS35a4TW;+&P>B!RDrC|2WO~kD`wx@Y(QKc+dP2wB5*1s(*t6M zj)HEbqOLv|^HKciYnq+vB6)xSF>Dr$}isQqa zVD5?e=s{<8ILR@3Iwh2{8gxS5Ms73ig+Jfry}?vvY5})2A`-$syxm66a&_`qrqbtI zvyaA?6ysH77p+=!DR4nr`={&X-NO570&bD%;~Zd2&rm$6Z%$a%Fk5AKi~FZOqt<14 zQ$4b)zhSJ{m=Cxn;Y5CG?L)S%CYS*?uu}M7SiesYOY}cpDoyJOeKw;iKLBYzh?qz3 z&4;dZFjKSjmro#4$AO|sa3d#?!PNzdCim^6ezi zUCz?6V>sN5+6(0dYUd$5It}GR_0CtD&?YR)hV0A6471AXZ{3;W$;11}XBrQSvl;u1 zQMpH^splf$0_ezNL-1xXuZW3Comg8pAL&V#dEc_%{`qzLwgy?#Zqs!AEGcq=nP#BF zva%rZEcPBXxl8~tEPDe#Uh5r>CJ&1;M{g}eayivE8C>Mrr+bd!MdRM~8_DvVTmU zzv{oP7gKz)w=FREz>Lc%HcTm`$IcZT9IW%mJ9~KIbtHoAkg1bpHJ;PF%EXtyk^7(1CmRyYtHK%|8*1Xt+`2ogdff$RQG9&@ zh*Ziog&2!{YXiT9Q=KPn_Y5Ry+tj>Mq`O=OVCHh2nSiKPJpv>wQ*N zl`I0pPj#Jd=i}p9lMUy4S(VoK&)Olxdyh|W-+VCQ&Wd`APi?w$z*|*4IN?>3Hk$cB zuH#${N7fe85g3U*N%tOM#i`J^s9X!LqeV@Bhnb`>5U-y?KZ%v+P2r_$&3Y};m#A08 z1V#PLP$iFIxi$cAKqEW z(ciCQ7DD<=-ak1yf+SYvd6`Ua^r}h0T@?Iw)L$7+rjzua@GUD;U$6T2nP7pVahLd5 z^&|5@)LdqaPPEG_vxm!eVp`!VG@)@y(rYw^<5^zwW=rV@&});WJlB(p_O+WY1Aj{~gm|O=hIT%@oFQsR^30cA=wpD1{_y@A&{%Ab;j|6AeWf zX^+>#=6imZW>s0Z-Iy?#7dgTHINA zDJbl>il-*(?=EZl>u>EM)lP`+cRIfGx`YG{0h>(|`99d@QgwdlU%x`Qfro+{4m!rt zc`M7R%F$N%Zkw&8Ox8i!B2VPiE&e}LkUqxR>$FxgKv%9O#|RZ1BX1Xsy0}biICM-^ z?t}_ubeV;D)MxUEc|XtG$nTp`H)hm$Wx}mVVs&9#*VgVz&?K#QL+A)`q{=AB<{z+D z8s!>JBr|yaazE$N^ws`WmdZJZDuG4$i<~M&j`bq;wZi*o#0%T4clhX!4#K5GPB%Wv+=v6o3fMeG9BVN z^2U}j(tUWZ_it!r+c3t*l67>PIVIoeO>n_9QZZ~A796GGB>d>{AJlDYzF5WirmfkF zLm;}{B-!TKcHEFXepGn2tLZmy1xcw%-gc0uAN)$f zp=Pz;!Ie<^iE;WT$|yO+Xlf{v3p>7JzK0eezg*ztww_E}I+b^+fhn8r9Q)LU8^_fH z5_B<3RZj6)fx;;!kBk1Y7IJ@%RV4%327E^=uBV6hAfNM`EMOCY`Q5LwI^o~z8dm2l zfHoCUH#~|+a?h6eL!)?JvLYf!WJgJRl`jI}^lWXKYqrpXfjeR+BC=%pYPu^@jG{AU^J;t#YO)YYSpXeMH@LY|cS3@BAR zy80#v)kua@iPe;$T>_=5oej!J&(zABb2h82R5T66EzJ#uv2_7(TpmPgwC-b%^>=m4rfOOhaC!WHK=!-l=!CquPMtE|Lqu8kxFEx_}tam3r zH%T3eiRprAi_}&WrA56L_fmTRi&rq7LCp)Vq>Db;#??Ig{8mE8>y!RUnn6W>(`QYG zh!}EF+RRV(H2_6KGlV2gHm!Cb&dpkhKMciX}}b+R2BAK^%lB?I_^5N{IrtY#Apt z_-QP$&f*VfdOzJ<@3ipD%&FADwh?@P%wK7OARNkfeCsE@s1t%rZusViI)ja*Yv6dL zsmkhDRx1ZkMQBU4$9p+${qpy+%`E3jJbPLyE(12Yk;W_K{U8}X199S4UD<3y@Q_8M zwt-zD<(d<`o@dybEhVKcA!13m+Dmu3XFQc!`Q{*I&aK{7)%(LRA%Pqt)TD(l8?z$F z=zzq%m%bBa0TB#N%-QFWNRvP$_Rhg`ngpUuZ^N&aeyfE{su-D`e;JG_jhdef;PXUz zLd($Qt7&2NlQO>wkm~G-`G`(465WJQ-ev%5*6BeDGl`x~{s41E!hp3gP*-^*9If~u6H;Z?s=7P$ zfV&Ee4cT!G5?`dqy`r!#E?%U;ig4Ejf|j@WZ_^-!UI{q1X6R~%mVZ;zJ_*~3=6}r6;Jx% zi0qv!Qp9%xR8ril4sDliYxfMihmJW$^KO^-fPd+o-*e)^(z@|$%0WDnyx!OpO)Gg& zQPko-|1xh-)ItG{n|7~B*0o1S1=jP^o;m$XX5d) zY$oF~3w)?gxdu7K?<&HpA~9_K_YlS=7;YG5Zh_CrG>v@UJbQ8R1a@+v0%?9@?*7c% z>Yk}1-wL8{LGt&%#Uv04ZeN=cK+b*!@xY6p`F^+|c)|i$zCbWL{H0i{?rTBFb*-|n z3f$g=2R5-N?J8J@;`b|;^?i>WL>*Y*HV8@zVK_G*4Bv*Jo78YQNErPVFg7-1D)Wt` zRm~(-$9^&DR|mEg){1E}lJAVzE-vB}Yo|5OI&vYe0KRdDUVn6ryQ+8jRQDoC0h{$e zz&goNFhk6;P3jiu-MKta?fTds5rmc_xo1@b%`*TehUaoOT3nNJG;5h@uxB+&C~^5j zDsoO_T4#zkxZUs%+A}zbXk7bKh2w?vas0K2D;j5khY6+h-1VbjwU0PV+*EkkCl@gi zL~m#Ms|9h{OEVR?tPtb=7G%Bepn5@xzQrrZ;Gd;lsl0m|GHSucGO7&VGTn{gyG(NOyeTmCQ}4EmTN6fyHi5S2WH8_AsG|(1 zMAc|pJ`fP@lftM>cq)FDj2q}Hb32_+>n~)_XIDA=LU{N>7thZfYKQ!`cwUCB3>0lQ z4m%BKNNxV=IkT57R_@TB-`V+eBy#%bQ}mBEyM|Dzxoc@<4PdHMh+p}{!1y#zI|pSJ zHYoMTwNO3~e=#ztyxq;Te+SF8{DiIV`gaY(gI_L;#vmNZAbh0my$%Ze_xz4l`w54F z?O75mGuA3I28e8g;^X4@f2SLEFEItOVQA51iWl-K6GNUkWFn z0&NO8Y|p*umPAAa#)ntXpex4if7Mii;(ZxNegB#Bb*hb?*>&Bhkr99++63f(TYxM{$13_i|2SC(eRyF#XjgU7lplk zZ0}@qDQw60?dZRsmi^+(cgr!F-H;!O+T;44yqO|dZ$%MFyfIXXcx8=RNfA$98m+kO zywvZ-dn z3rAbCn9YOxv+=e?bBYiWEhJKdL%N+uTn37R?i0&FdNfTqtHpj`41|nN0dzv+ z#E34!053(^Z{%DJU71Zmm3g$~YnI8lh)^n2a?nanY?rrnCWpEugok8+0y%)=yEa1~ zj;j5H8CUw;LFkJx#HBrcWY#~3ib>S!ot9B*Cvh80DHEa+NC#46>p~876AINrxig0j zK%F_fb-g9Xwq>=mmORRVtI}18ae`Lwz9Isq)CMV>X>vuJ_l-8?*L01EB3j}x+(W* zU?(1A#v9hifrzh_uNR^`URqGk0_M)5^}!nwvjvi4X2K<}3eg{QcF{BvJl`L&DZ@)v zBWiwBs0~iL+p4=@wf>Hya+F%i?gS(GbQUjBVh%66aE1Ena!$Db755Oe@UBG%u{9<= z=Are-wVOt<=)t|1QR8`OWVHJz4RdqW5(%J=f*2SIALh9{ihCAw?eu3<*8I?!&z#fB zA8gg@1iE2t-t#mRW(rcUmw#V)vN;L$QU?2kW)G(3hKi92JI`6vG?ww{!osE{Mz-3G z+0~>3+!{y3gAyr`kY^43?0K}MVr7KrK$~n%bgxt*3Xv1_`Qz%y>5ZATTzhXY>1d#H zSV*AJm2y_pqFbX7ac5UFevq7+dYAioZMun+#BDldzJv!C#9*Bmyxj)-wBQRaIBb=K3pLk;7yHmVy*-eq&D>n?#Kwtz9)4hG+;AN2(*QG_3#_BaaM8F-0qS~VF`BnBtTkkrVXOOG=XW zQ4lf!tPtO8qdi;4^Sd z%&+}A;L#ncLzLz4db|fBRc!IcG#fu9`35$;)9lYSmfvLAC`{>&|Hxts3Gv$|df)vc zW{`4}a_j9pKg}VKgl3;(`-DK1m=UhckGAvyLPgg`;6e9{?-Ml7j59>c-%4IshQfZQ zmkbMHFMni`m5)H7K7X=VxkB|+pX)G8@c|bRrvvQxg*3|+uzAg=pa6Z=A)<5&Aq$pf zu992Pdy%-qC6-VpWg^kvsM^SP5vu1j82==#1zHv#*eV^}Wn^v-Gj51H{t=HO+NcB+ zRHRvN`Nl(B&l!biZgNe=Jq&&S3fIgQ;5_S7P)9JcGqQ3QgMm|T7(~nS`giy=X>>=> z^Bx`+3i%(P{sZ)XfN2d2h0Q2~;$-7Ur(l62{J*4CgawWlRfa>HUxrhXpPh$`jfP6hIe9aBvh zj8=e#F?SO~m1f0&{(&w{l1ShrIxU*NEi!%OxGfBxHdMowCL2=2mc;~SAc!UsMHT=2 zO`IQqzs&~%D`gNQ><9)sQk4SuU#9k$`X^w#3fD##UwDjbAS-X}ds|64$*^~r`n99l zVXFpPNsJIIDCqxchu7k}kkAh;N2(~X7(`uTgDDk1W?+5GZmqS}MrOQk-!_{w*7}@% zyI-0Jvc+M*!Y_zytpVSCHC~#K^u@J^2UjtDE7?JneLTLuUz*<6#ZkbIFL!LV;v`^} z7uS=sK2+Z|BN<)?h}f62+tWJUKnq{N8+OiLNLDB!ow)hRxB3-9Lf)`?(6rG#vU$) zzXzHye_#=g$Mb)WHzS3BV|VFepO7@hc0th@5JDbe zBdBx*+{26AF_@)JnJEXzD-JQ{_UAy(XG}N>MDs(%nR4`;swqxp^h-Ve!JYk%$2Myu z5c>y3Agmq3>T!+W@(=-Gw&?zsUQxNGh5*PFUYG&_S9#0z%9^AVEk>J2dF4rR=1m3C4=_ej)P?uEt> zG-Yk0S~UG=>wxGwAPXVjrW+uzDc&p9t`>l~i7#gBpi@-YQ`tC1?Bzee9V^E{^@k1X+@P>yGbGVf0h&78R zV{Y$i)IuyQGsXxaKtb0@ww}%WDoTmSh10*TA_No*>#8 zWIZt^E2zr?yoW&lIxOS>U;)xa!b!c^+bwD@rZw^kGV1O+3amI{ST89X@>9@%$~q}G z?*llYTd@f6h4bKtNVvMAJJWKXw!?YJcxv3|I{apREaKswE z)EqZ%z#6ssS!GAK^3h^iBRKS&Z2%zz;hoh;F-3fs(Eku-Upg^J4g(jR_Z@{LbW2rGW zzuWtN+QVZ1EgoK_6W26d5{pHZF)lH(9?JR%l=Uh`lPT@_^I;?Hj{hbR&s+ zFcY%_4A7&0)@tVi_{pJu1pBH&ECnk#c=^~Ezsd~1%< zf)P~_cp!yS9pJoi?IE-%kL_nb3qdvobmO=)P=wN~?W)mET@x(;)YMhfUNw$&7(OwJ zYzWx_=Hni_+L2W4Q;-MbROBkK01Y9BoEti#VCKzEPvxn9^PHa0j|f36rcOgj^$4Vb!SaLVFjYBX=& zs2Ty*+I%->hdb(n)PWxE{Z$9893jL}@WqFaCQVw6(D#}BC*X@)CW&8Hu0|U72lbV| zn9_ln?yv^z#8AL#OT^HTg72j$W#pG%CoYIJVPcRhq{3hD_mOviAv0rrJ0=>iihzFN zsBpgDSg;Wtz+yl<+Kb8(Zpd8G2tP_mI4(V$CMWb(ge&fb8>)+Kq3}m~oPsqvi+Pzy zAFXXc2imfIOee*xlE(04sRBJ#+6{N{zo^HxA_a6yFUf3#`2ljm%5R2FWuD-5^4QS|x@14@{K8tEsBM57-rAjoQ=*JAWk zCCi3KrTK9WS0ph(Px^Xf&P`c@-`h>dGmHRC$YbxK%4*vB|6rkWJo8()nMD-haAgR4vOG%jL?2p*=2?85A+(D4g z=s#l_q*};Iaqv%vFRgOWYn-!_N^ko$%*Ly4FHjrq-%UTnI)D`MMNPRkJ|F4Dn#PlF z$I^v-y+D7Apma``YpBEMLP4 zO(nFs+dBYspq7FpRH2vT8w#bOv4b&H8Rc~oq#JJI0og${Nq3-VNFESNfvIC}+B+0u zKQy(zD4D7jwkio>rrkD%s^sq4Oj8LfvXA<-=otueCIL!fKB<%gy(yb3+>n+fJ(zsG zBvqvaBvc>?Dc}ept}eg42@v)zeohMjXE#j}HWSgDik2Pm)FGU#S~gNkw%W*qQuq7q zI{JtfmF9gh_JMw=(u_(pTWAK$s4|V-HJ(*Mu@s=V2C&Ycc#C~IfrB!}!-rawBX_Wfd`8r_WTXgfuT zXvOI758u@qxfw85?cBZn>om;sn&i7H@G(r=J08gZ+XafnClx`iB`k$#3gDSR^#pTz zLmZ2boZJb(s~2c1OnKAB^i}6CINr!vdzy2Q6d<`m8D=Vqt{}AKXKxk|Oh6b~PB8DF zTj55og)D?nZ+mG}8bNkl;OE&RUvtR}$8#2DrfftJJ@l68Cng?z(k&j;WFJ9=F#u^s zgUh&sl|f}fA*IO5dd#DeUyH~x9KX~5kXl%Kj!Cm0{!N<;O+oUnKy$p{`yDZPr<^ZnMx&GP;jCu-fuc~&AH&ghRuv7u zr2BWytSkr5bBWs(lhA@gPiL?h9a>$uO19 UAPYx^$ji-#NJAs7B7^vU07Z1R>;M1& delta 13703 zcmaiaV~izCv~AnAZQHgnZM&y!>$Gj#Hc#7{wryL}*7W^e-u?NKSIJ7PtW;_z^<(X- z+IugKa50{+QOP>vfDQ~3Fr%~Ovc-kszoxa%IuT0=Mgqb%Q))Klo@|}l1zdVc7MMr7 zX;2rNO$$T-YaBjSY9Em1V%*WKr(~M4C~NvLk>~A^t<$ zBp=g2X-Pa1UhYNFZCz$ie_KO^CuJV$K>2GrpaO~>^h*I$8$^ZB^q8{>FdvZZ$Ucxvt3WU%@n&5}-S`v&( z#0p|e3jv*lkKw_?fS$67>9mSx(N1ujf zS+55l2-Q*rB_ya{gn;{Jp__Q)l#W#zOh8^$Oq(vTeN?DPk0&nl%Ob;)4^2Jj7{)Qt z*R7V8fRwkKCTvY1@chsz=K!q>WEQ5GFrHluoP8iGIW)3IfhxqbM1%qiA&qTFWnmyj zMH~Vq8{BIOKoY=9U`K|Bz)3|_F_5N8qHwpt&c$OEg8lf&i%-xjU6L?SER*5?FH;b( z>-%Jg7gyj-3^7PgXQ_^%&QO)9##(MFIr`_t66pETu~sd~(MF(>q-|1A+2QhB$B@`0 z?U5fJZ6|aEUw|mA;;c9t9K8%Tdwn#0$wcf*w+n3o5c$bqO1!Y#%d+olW%#m>)6osO zdWd)_Gb_NXi9r~HV5r);p+1W4J z=TO7U8cd?$Tc~BsD`Q;|#s-}6^*VtcnAoQ%ZW(s5Vc#AtNy%u$_cmjdd2&GgbfNl2 z`IBw{uKC-@ur!S<5tTi14>*a2(%%@*j_{{mbwYyug@sx@KF(*GKFSwH+n;y=H@13toR$-WK;ny-#JqQ}b4iVl;?w!& z#-BJ|e!HSu(Pc-^hdu*#dCPyrWX=5J0o)!dBfF%JLa++}$tl}*Zws}d=RjhEixwL> zdsz!X(RWFRYvVn|;p|fPwDsn%$!_XDYFd&DPM-FzhIR?87jt$1pvWYSukEm{gLpk) zsO>jshDjwpuEcFQ@05c~G39jyk?!JHXif)pX(?!>?$6&<&XMAcE^cft&FVIQ1MBon zfd7)kBh&A)&QU|J#l<#fGj6roIrH2p`^S-)yWctBba5pP*F^D~75C}(t|!GVxmiKMObhS!iG0R; zd(3}WMh=7p*QtW~o#~2t3)(b9x5_&b?H*Rw91a=g^&Wa`&Lwu&Mj})WHp`dyr>YOc z^dH?bp#2^A%9g~;`U0;JY)|^j7&{Wtjv+G4A3sSmU1sf2UhB!YTGCNTZM7Z%-K`S} zWXL`*fVG8Trzdn9x>?_Fv+L!==_^B1RJUDh|G9{`W~==J`P_+7K!jUOlm5((h5y_Q zjtBWpm!(11g2&p`TBGZv2L7|nnp5ZKZCon5r&i6*>5d)dne#>xrdBty%jqsZx9|J1 z(w~$*tL~)P?TNg$8!`AC%(q&AELMyg*KGagC!=TniUW^(3WJfZ){f5EmK$MfX`-vJ z!3^d3Hh{o)-F10$0lLmpSKjlaR&n0@XmP3Cw-n2~2{VKm;n&)tHThLtv3DL>y#HEl zj(^rwu)&#Qn3_kqrfnqo+{Xn)v?3U>P{u3qY`KR+TS_zIKm_B|dbKk^s%|etOFCCK z+b^Qc>?XE|*~vfSqV3vaE9+w;RAKZkHIdSDBzdl_+{9?~nxE>c_#SsHOe8?$}pkR?S4xuco~-m6P#S$UD!B!K#J~-~O;t*^{fvYc&P4FC#{@GSV~$YAUlUV}SQz!HE{S+3Lm5t4nIXR8{DKwcHR6V#q=v zjUiMKzpz)1gy8l-5}57ZIvQSu+kS0v)f96*kf_;eJ%(G`oP!THu}P~C7YYJMC0bXj zf4KCDKw%3XY`STR?+h^@M~VoU9*VK@B>Q!+khfdf+ntj}bTBfk60Kjm{&0JRX8@QU zuP);%b{ZqM(W6|)LdLK3SC$$C$XUh_55vMt} zQT&Eoaws>*LlK_6bt&OvL)d6pG02cRKI_X)dj8Z1OsYAOmU@YdP{rbo#D1KAqdF6s zkhJ=qsNP~ZcWj1^)+`49^G#BBZUV$;TfYZJD&pATv8wj%`$#D86ARDOZ1r3w8d7cW z#W7aywRJk-X`1+Ypzf8+VgP9sIzI$tW=hV6oB|piQf4~pffOP-pDfQFBiTj9lp5MJc1*r@KzAYl@f!ysX|UeE43+8V8)*` z5+RcufhS8Wk{G3{bVelo&bCalS+<+kea2=qYAwH>m`H8nwv^Nq)#h~4A}(uHla_Aa<#kRkZEdE{83+OZ;mfvvNVy6QhCe$%hTF2=ZJ6BW?8kk&hVo~L+=-Od-tVjhkR)l-37Nec1xyZ4qOX? z2a3a2{2_OX_kfkL`)SK?-)U(kkM!?_p?~@DS#DvS^SnmJ!*r!Y{tK@-bIr|kz%~*a z%dAfx(Gp1;y&kTY#~~&Bva?GeEK&8yX`ptyfUA6wdI=56O9*pZk6i-1nRBPJLbp|x zJ^_3pWA9^p!pX7hT{bhtQXQvBrhaPt?u~B+wuOFbJD_Mmw;{$U1hyFL{lp#tOM$Jo z2JO1P49_Dx;KdC!W2?0qaCCTmwW)fiSS`D(pS#ja5E7*BnyG>5ojq1#=uqzcb0o85 zN%=D(+?o;aSa@NQa&NK8*|55!h}}{5$v$yl7&t9C3j%h%n087|(o9`w8TCnC{ji6h z*d|j<4HzbBl>7}&v?}>+{Yz@A*$z+>?8vpO= zeJ}jE;Kk3fo0Pz)Jk|a;&W}MZQvx>gaC5?>CD(LkfQTGpemS+@fGVF0r;FSNs}{zn z#fD<-P+roTx1nZ?_1~y^NQgEgr(4?XbLE#MKjYPuh}w5Mq>AzA0Tp5}-1l3~J;|@% zDDxekKj_uVT6s@c@b@O-@&iJKU{61~^YM(%j**M@dWxzc(EGnS&C-jb1~T;5>eO0+Ct8~tD`3fzjXMq50RmGWB#0^3i4@QpF|0v5ZG%hF^G!}=k?OKYdJiMgLBzHOyZ`fO2yw5EfWAf!2RJa#|`V6FR>zYnJP3EQYKnyYlZWn7vc*PsQ z{Zo?x%}aAxVRM?koo*P3l^MMN5LqC1Ooy3B6wx{bZM9B;UZCDrQ*>7D&?lWRm)$xs z+KRiTkcc3chLoG~bXWyFaNwZsv74}mID)Kn1|@UfI6{RVoxt#BE_)fh$`~h_pMnKr z&VsJF-1cC9nX`t5-y)Hd@r~aGWTFR)V6^#I>Q8>&CHZRRA3yjpQ{3d)sN59$d^5o5 z*r4BVNNd(FtFVfMO7MK9mh64n1*aG(zKYiybz)fkk`C8gtl;GBEvY9pd;RT~7UlSh zbjd%eY&tY!a2b@qrQONKv=6Qpx*6U|Kj6)@%iyTU4Cs2+k4kz{hK}rx>Vf6DjqpdxV;yu)XE&FgA?rriNkL1NydUF@IKJv$L{oON!evx5QUiR5>v=doG`@e+AQ^f>GBoxj|sBoVG<~Y zGQ?4WNC&8O-aXSqr4@0i&|3(#IT*`^><$@y#-3YGeFv zgtyv=+vrkbrS>Yz58(B2SdhY6;%ZPFvf~0MDRj+E$F+lZJMw|Ia}lT~$`v92%T^^6 zb1hu+TR4HkgPL8kFBI&n6kh$Ie+$3Eo|=lOK-V<5Mj^IAiJIAmcV2w(=RkoSvrVdg zGGHtLyH5ZRPg3^_^Z9V3jz7Eb8cbk6UgTK28ph!deCx*<0tlMK+|SV(7uNMzh)Ux| zJfC0&K}h38pnF+;K?}YfB;v8A)@F2x62@1Cmr^c|ign!UwGRJI0z$0cy~f(Zy?vUr znNE#ma8F9B4wf;+jx2$ewc&gkw6b%a#~g4heIwG9<8lp5I=$#uEu-%)A0A778`&2R z7nOK3T=XNw02=}S?%MX>0&*2h4=y@mT3`+L!RL?;#cczhPsKh0{>;2L%S-RCG~KNr zh~Z(mje5eZ3dFG2{KKgHe4`rGOAh@4o4ELiu7B z*DE~2LYK~~iVG0j?>HotLFp4Lvb3B~btXC&Wpn-y09!cQ7@Gt36gO?VS&~+LrD|uf z)JZg68of>4Jd`}v3XkS&Zw^WA$tL|N9s}j3wO&8BtM^|ozhC~*eSCPXews~7`n4`Q zXDZOaq8m6Sv8+a<&DNen_->i2n1%)w^tz#Y|@ zd20#T04KT)HNwKHGd-R99PGTi(-p2#)%+Gnw6DDNi7qkNT&qwQCC?e2G002L88$8+ zO^9PDF+Qt)iANW9T)lR)_)=Tet@Ii1t!c-Pc_!9uq`Lzh)h-=GYY{pyBF@YHz(3HsZR{cxjL$veOZ4TC}u9 z>K*6(iIchDUtceBxHNb6JgthE4^y9)dcNKJ-2$#D?qP4i&z|i1>XL~LyaJ)a^JQ8a zfOcRn62Hh=ok)QlkP1X)C4#YU6q;vsBmJh4)lFv+<&DP=j*`KZ_1{5sxbtz$XENZc z5&qI~sfJ~9S}W!xXXEe)>#D`R=dL60o}?r9i}o`!NQ&G@N5pugC{2z!Bl3wGbu<1o zms1DiZ`r0_>Kc^E!{_gr>+^g14y8v_fSBsPB&1xy`)Arxw-kV6F}wYC*sUzP_@EKo zm4&~zPK%C*fxasz;?ck8MDd>8fBP29L#hTCUK|E>8B1$9&+UhaZ8~w6EitD(u9q{T znh2dDGJbz<+ao4A=T)1Q80LDiC+84#7w_-N9j!aS5s`&j^Jd*Y-4A}CHHfCUTg1z% zalkk^QXJ#308`Cd9jH5>^sVq377u771ONSj{pL-}avoKp)F5J}LDMp25EA=!)cN?# z8wW-6OY3i*odn8A$-=pie;1}bQjXQ*QH`TekI$Q^#DtWDNwsU9y^ug3+8c)bh*Ts` zY>RoyK}qD{OoZhl>)VU=QwlDSKdU?lp}kvTazCed8xSq<=C>YAgVW`zXD{skhMyik zI+ND+M~rgmc`_;wop*vLAn`%!T;;^sN3EJ8PP~d@F0E+$RsutEu$y?V=l21eOpp}T zm-$%J`stua_Z0ZB{~eGGIoi2)D+FERRGV+Q4U5(uJItHwj%HY)TCo~U=Emb|tx0G> zR}5ll0l-P5$h!LZp{}gFy&%|yD!vf!&zk9R7=O3>BY}t;t9)dhy@0p}NB9NAlr_eT z%|G?azT9sO} z=w*lCpNyFm7owV=#_=X78-y0NAK>)7`4em;PdI9lYMqXUH-bP2nFt%dAm~wX*+5TU z0H~N^h&@tFj#7d36eiP03==(VBCa?7tkO*YjPuz{i=3^HHAeFk0Ldyl%xIjR2HR%V z5zXUtH@AxV%FTi-RN9wRGDgh}8~R~TQ{~?rBW4V#;Ww9@ESeU8dJKr z`J*NrIv@(8|*Zd3F5UFMKsu|qQzS_<(Ersooq=bcilT@^zleTFD_9x0F;g{ zuL;ZE*$1zV>_%@Cafv8U&@vEjsA01aL=FylYK_| z$_nCKA=g3#wRP;S*LvK?7Lwc+PzVXiJo@JCNAkmmT*fIHnw`M*Eun>4^G-)WIsuq_ z-X90i%Dt}8^% zqN4Xt5kJwn58%_fmU=U6|I(Lcm(Y#3d~=Di^s?@9cKPU`BpdQf?J~XuJOv86BUtYn z_Is)s{BoNpHojKWNf}Ld6YXXe7gXdjwQdtZ^l34HQZ_6Wc7GnRB~sey<9Qe_t}gtW zB)m^hwsyooI@BA@t^3=AjIe|0YutB?+)8Od1a{S~b{KQEqN~~^q;{4DEVIbj00CxS z_Ef--$@{{F$97t}qY<_iaNDXLmfsXeGQol^wnHJKE4HL6gkGu=_;bw5PSGybbts?} zON!=GQbMEP^84iu*b!%%X~TwUwvmPu;8tBm4**|rF!LJX`8)nvy1NBo+mtn3_@GeF z{mHqA8Wml!KWg(^8&Vj?67KybV3Z$0)&f?$?2+J% ze#gpMq15_}M~-PV^kp>r-n1?%LRYQyj+*;kZ1?;|UXXBt>l!7$Dc075oela!Nlac7 zyw~Rl_~6~+o2VYDbNp3PJr0WzZ>EqdHxhUO-y+nL+qIZa)|b=jnxR~?bHxurB*je0#kwAmRp1WdfWo^_q0X3;n4a6e6I!<>L0BH^ScP@HnC5B zxk}1#rg-O^FQ=J_E8GN*F?ow;yc)V0E-}h-fcOwz-U_&kN23KZ zt&C6*Er5Fx5c^1o6!SQ+bf&-}Psbka`yP&H?~6@4JorGml%S1Y?Ex|3HhmHnjx&hS zZ>-X1g~B`mf^2d_9G;uso#b%et%@A9**&p1HBAR2owQB+(g9e^hiwY#k@$u;2ga9@ zPcx4!26H`u*9{VsV=f0 zxEmO11@fesvPA51=$w9>9P|=Wj@jpyQ_4+2+}K3j+%9>89leLJb6X$>LH~-`>C1l$`&;s^ z?sdn1b<3plYqBg;yN8hgIGJxsJoE)h{)Rn>WTKnJlx1-aa>2kJSe z^CgC8a4$-n{Rz2HnBDE??XRr52^x$=$Yh|cCne>RF;{<9w~(I>MT~ge<1<-CCOdIB z0FH!7n*ljYi%bB#BHo8eDFbbiVDdC-cCGaJv)`@_N#A+QnpKuyup=rVa!U4cz_LG0 z)yd-!(JqnmAUZ;d%Q>3X+87fbdXFpxJV5L+Wh>gkjE0PaC+o!Afj{CfV>2X;w!7%B zud^P*z_3~Aj5b>Mjwd6wmTA^6-r}ktRj$H)e-A33 zrf@m*PPizd>I;@gg|E>uLO-1DF+@;jT#qzH@Ac9!DZ=pE?Z@9ny58}&GB`sVu9YB4 zTcG}Rlq0HRJV=~1`l2(4YkraAvn!C;n-*Wchq#NQK^zV2-;=GGPsa z@5Z009qZkc-AuYb_q%bbH|_wXILJ($Clli2&@h-K$- zV#eBf#O{-Q0wQm#11LQGIQ|)BQj&A1V4+vv5Hf4vijVT3~A+# zpCT-P#Xk*#x*K*FiA%_*XfQp9%%~4ThRqJz!$WJoD`&kv>V0`%_2r zoZPP3Nx@1KOgz_3qU^uHFhVMdIsa7pGopKdH~*=6sj8Q`I}jYl1n>bJjI{!cxSy*U z&C%gAq$%3S`}fm3Od4pY)+FsL1vR$Sx>55!E9mlh$rZaX2#5$OW9usob6>`&U|7u{ zG`c&@ch?)yLTX-8`q$381V|4Bmiw;9-^Hay2GiW%7cjnW)dA&vX`j^d-{PT;M;y8G zUR65fzc}2pTuh{PEQ6ad(?0tz?WanR$~m2!UfU7%`x~g+NBdd=%dyBA(>CwS?1rl+*pyhIhKoiPql5Zrc{PVIXs#BCn~y(+jiSmoWy}}WbQiFCi+Vrs z$N75zuV>+Aa=)JtnaOsUNzkYk052!U|Ev5Ir#+Rt1w{MbhY0IP2uWw|betn^TGiWT z$|Tt=STYOR6h;wzB9U^R5VVyFdAxL4EeMxk+^tXrJ_A;_WYgPSPQmTo*IPWM&0us7 zT~4#%ws4OL4jq==VCEmmIxJ2o9a5}UK*VUl#*HB{^iev!p+?r94Ej;;mkA++1bHg< z8-%#+&0gp7J%O+}zE2J0hogp1Bd0>+hI}oye0iPOIdn26y5u3@z9U48shnnW4Q>5n zMMgs!eGRg+A7cJ#?lx^jj$7v_!ee#r&&Jjw2D1qJ*XDqs$CXVy)Eh)i2yrdoT;)G9O zr?fCQ;S8Tk>){=eTADmvoJ_9D)q1@8ZbTsJ^RaSrG?diuF~9q* zOyaNM5eI6ROaJB`^SwIco^rDxR$R-YSW7*UJFU(w_}j1QIk>E)fl)h)8z`WcSBs{> z@k6{ti7YxAQlKcDtG*YXLwX1nTSOgZrXE2L;Z#02n9LBk?|WQYXlB6#UIGF61e42K zsVd1Sm*jtOlMIfRw{bfS*m7f}WlDw}53J072kOb^JbQTUu(S}CPQs6#@wbA;L9>Bz zZH7<|(CX@F?@gkDC1vkTZIug1IZ})L8^OIr4YlD0pqvPqkFS1D{DnU5-B4>zz zlgOo^?xWRmm2zdu)BP2DyB&NPL#Bue2wbL!NO#(*B<}>tmQc+EK-CT8Kr6Ns*k#k;nIH5S_UTUR~07O zH7gS{@7rvaiT-f{2<=gxBz+afO@cY6FYY=bfvj&3HD+%!cysb1g|m0$TCJxh{Myr} zj*0%Sb>+0e-+sp_jn<1iaqq;hj5n5WR77PzG9Z%RV{=o)wFvt@94X?TjPl<8j3WO? z>^z1VTDKJzC=M2FN&b<2+o}*zZ8nA);GSdE2QA5aK5IHeqEAt6k!v_0 z`#J*Eq|!XR)@YUObHdJz!C|OX+qpDKq}R~1ZZC&14NH`#Cw>9vuVfl~`d?G^j43+b zA6gNG)w%Kq0EbAuRWWs<-ykJM1|i~|)D4GU0L|7V!nlW` z)Ec|R0VB0stGuq!;AwxqIX_{eq`?-4uCD>3gJNmk1{3d-Rl4wSzWiN@Z6Qqf-JAzu z5g2dvJ8?`=gNGd4ST`BdWH|&-iWX{D2}dXs1dR%-@x4~|*SNXAoL%stI5?pxZl5qJ zo1uRrFXt3GuPA6lrux)R^&>hgEPLzBtcAn404jCVa%Jfh#O1FEc%eZ(7ih!|F$)cM z5NMF?ti~PWA?Dj2ny^|3a(MDv>`ZML)`Kq+=ZIAxr0Bym9?AqqaUr04#q&5F5bN@H zJuSTUMq$-6y0P>fHT%A|Py&qpLDKLx0|ge20|OgNsD~tzOt>NX{n%OkAomygsW?to^ z#H3sZy%dDIMLf56Pa=>=INP5FB`SztO|@d>9s6!NvI5}AC-*9ZW~%zwu+Rk2YVd&g zaEPW^DcesD>i`4u87z62& zX>5cDqQli``s@n9ga1P|a$R2OS<0>XB}|c{ou!IsIG;8j{x{4A+T4ldWYkA9n$FSO zWd?d16k7Rq$Xz<8?$;98 z%yL^_pM_=sr}-ogLpj9dWpk2yW}FtGUe%w zQ!#}~Fqx`%(RQ8=hKS`T2*MI&>=Q3EtNJMD@IT`b;1jEYgfQ6`g;YH*FWe7-K?(`s z+kgH3K1=iO>-G-t^~>M+%`KaJ+{+=mD3PoN`JED4&oM!TrHU?7byExgCR&2B*^E~) z7G4yFZo=9;TBi?D+;~{QwRv+;4`bLoR?d{^K%Fd~s^y5g(kYYxQ#b9hmrS7APL?ef za$#F4+f-W0?FAw>Rc+XW^nHK^)@f7(7B$qdV`;MZCT*)<95x;k*~W-%7t0;h*6gh+IifR6p7gD%IkIsQrM5+R zc%K;sg`G&NYBj|kxu;O;GWMKpW*q#+=$y0G0jZYM$IGj#_!WQ+NS|nU;?woNpI|>hf0=hJpFnZ^{EFMD2{rqaznAX!pAi6Ifbt2^e;Hhn(!ebU{0z> z#%0(HC{ZdVnw+p}r-*+h!I8KlQVDL2j1V&L27{105DACSHh_bGFgqZEfN(Z&55Elp z7Q*B-1@oV*NX0TB2FX$@M#+*X#>o;ogl4=SYBAsh3z!NLMY}ZSWWf@PqR435+-27n z6NK(Xl+iY}gB%mn29FJ#2RjyO1+_-L5g8lyA=xk?w+n`n74q)?mVy@aY#Awp2QJf2 zq}ABjBYBLqgYhCtlH?U(cc>I0%b1=+H)Huwbbhoxvkf?|-(70|(GMz2F&(dT!c6>y z54JV33UGkjA|1k%F(8Q#;(-DqfH5KY8*~l{B}?KIGyplKME%0zmRp#fKXQ0#r_Pa(Bf3st&tXo}lZ05n36*)@)jnC^?Rs54E}8LS2&?g*uK zsCIzz@hGK056(jl+yE-!s*9jB2gGD&zqWmJz@`eZuD!-DY;w!Ujk#&~mwmJ$5$9oQ zieOho_-jL+8$r3mpj*ZAD3Iee6S%?KWzLLQuM2^&e54Uf=ix-_2zti!>pJv99_Nr( zfKjDcrSk~Tb;uAFh;9?)>o9*71oB2=DH8;w0Z|@^hyxg9?H~*u#Uu#{G*np$3e^8d zy|=joDy+D<6lw*SYLo;eTACGVqwNOO1UmJNe%!F`Y@(o@2Z+|##{1Ff0Z^?)Ug~%U zl7kT|Hd>~XEGb%o4z0?{6{;A`zFY*LPWFFxNRG3r;wPPe=U{w~aCr_(SC(Va`Srax~q_kRmOS&9?Oh!P%|Lm1|#MA6byt`mYAomYpU{ zz0|92g&>Ks(_|7g4k(x zVc0Qsp;b#N%{Kj1hT%14S&-L;`6S8j{?1|PW#9r$nKWf*Nn-$lq5nCgGmh3a|EFb# z{XQ~&1Kj4L7ZHSw&@aJ4th3vuwy%RsNyNL>iuo3u-{U0f&w_B{nJq4DJ@(uTE}!0d&Dya8 z0XSi-JRr~qC1LiwLwv#^h} zPMv~94;IM)L;if3505Z=eWtJ&=EZsKtKmBY^=(0E3scdF}I5Uv&;BV=~qtB5R2s3B?fVZKA zz{CS*ay(F5D|9S{Px(>+_VH!Yw4LPiZ@m93u46o4-pf~~i8~2PR@u<17e!MUtv8Rw z_vakK_lm?aU*Eg=bRy<13^CcTYlv?hL1Ge}M|nu#{ZV4h@pznm(4zz^-Fd!STi)fr zF#Hs~ho7s&&QCyK!i|rJ6_Tva3?dMg^|3oB(ueF4wwyQ|RhGD+^+qO>+9W_>Q8+-6 z`3r!~Ob_VNeSbWeOyQ;n;Hu>N$asGMCfSYD^S^ulej%q~8)_JSHM{gdIj9>JXJq^o ze%(a=h5PQ+g}tK#0F%!b|!OHCi`zScj*QI_MW()`KbH2 zpu0@C2d_uJ&b?;2Ozgbz^~THQJC$2PWTtvY_KG=No3#U{=eRsHLBBF7!V2TC%I!Y%U6tDo?T0*~gRDT)pI0y7Mec+~+@yWInQ?DL7P%Qgcl8d`F2R`{&;Nq`c z)?3h52mVwpb(;ZyB?#248BA#!lyF#iv`7VEr>)>^)kYQQKlUv8MJ@h~U#w1=+)Ssl zeUEdeysy7$iQ9xswy$hHMbn1idevdj@vN$=OsqYl`fi^|&{;YKq^UrzBm?3CCN!5t z1efJJTCLhn=3x})5$filY>Nn2ho#N~mHwD;*Ct=D(_S^eYYyXCf%=AT>f4}m3<%)_ zsqPO4w+!4QU5kIOu8`t{f3rYAn>3hvZX0uR`+^^CMIH@D9MvQqp=Xfa#3x|Kd)jGH zZT#K?{%FJa@jABzI+DjD69eKK@ahTh{!1Mo1$ViM1Meiq*Dsr}yz4cTu7VY3`(qi` z+;1`$Z5rNG7@&6TH z?l@*=iCx9GDatVK)L_NTg?w!tKb80?sa<+nR_yTxSAUu0koNQ-RW|vsdm81q;{R z8*&pwI6$MCjO(u>VCnC_y%)e`lKQ`fdNvqZT8(8ZhaMhVzfw8`0c~ZRhkd?DjGQt2 zdbaY6hlW30jBRogwTjsGRf=+(%uQu&zu1;d*ivR!s diff --git a/tex/draft/skeleton.tex b/tex/draft/skeleton.tex index 26b8852..608f699 100644 --- a/tex/draft/skeleton.tex +++ b/tex/draft/skeleton.tex @@ -194,7 +194,7 @@ MENPS\cite{Endo_Sato_Taura.MENPS_DSM.2020} leverages new RDMA-capable interconne Compared to PGAS frameworks (e.g., MPI), experimentation over a subset of \textit{NAS Parallel Benchmarks} shows that MENPS can obtain comparable speedup in some of the computation tasks, while achieving much better productivity due to DSM's support for transparent caching, etc. \cite{Endo_Sato_Taura.MENPS_DSM.2020}. These results back up their claim that DSM systems are at least as viable as traditional PGAS/message-passing frameworks for scientific computing, also corroborated by the resurgence of DSM studies later on\cite{Masouros_etal.Adrias.2023}. -\section{PGAS and Message Passing} +\section{Alternatives to DSM} While the feasibility of transparent DSM systems over multiple machines on the network has been made apparent since the 1980s, predominant approaches to ``scaling-out'' programs over the network relies on the message-passing approach \cite{AST_Steen.Distributed_Systems-3ed.2017}. The reasons are twofold: \begin{enumerate}