From be7dedf5e00289df7ba9752839a2f7c3e66516c6 Mon Sep 17 00:00:00 2001 From: ThanhVu Nguyen Date: Tue, 29 Oct 2024 23:26:01 -0400 Subject: [PATCH] updates --- demystify.pdf | Bin 2088349 -> 2088516 bytes demystify.tex | 7 ++++--- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/demystify.pdf b/demystify.pdf index e6e86e3451a34a64fffa4fecaa197027bcff8bb6..25563a73837432e72ea41e75d7cd1955db33e26d 100644 GIT binary patch delta 28211 zcmYJZWmFwa6D^Fp>%raK-Q6X)ySw|ro!}hYEy4BRP6!Uc-912X2#{RzKHt6Hk6vq6 zRae*4%$n(4T~p8v9O(guMnXnHMM6iyM8ZbGMZ!lSL?T8aMIuL{M50EbMWVN2bV7r| zPyyI5oLm9|>Ez+U~0&l~b+!Lz#0ESwljj9VhEIm#{x#n`Pxt0=Uu#qBjLCDvak z#0oV>2GePX0tVu z-`66JRkV)cA!lkj#{BTvi5Qu4Szv!~nfMA~Q`7F{Hetz}c^nJC=yWJ|GI+Wy z30YnfWI)C#0X}u0aLxMsZes50%RqOw^bVcTZa@7U2|aJFLwlR9r{?BF+Vwc|7`((Q z!}2@e8{&GIUDIi;*!;-F)7pq4Q`%i34t8{{Sm9%!U3h|qJ8v5cx~BEtWnMP-KkSd& zeJ^kRGs5=A4P~pS3whcB#_su&$e8uMd7}FO4gzI3b}53+UTAy+`jl{I3`O)I=WhRe-(LL#ppw`4%`H-dSLhog%{kIsgdX< zXmMv7%JE0drHxh6zIDdc`q2Ll#8kCAysl&0CI1OHXh^5FLW#~Hv%$=C6pOtV{zCRb z(b-4g9psP|c{J!#o><~ge9C-NuiuR+TnY9prUIfyg%#D}E?tv0;h*wEzFd_HyQVNk zF{T=PE#O9lfQ)>NPgWpz^*)`!lVVVD$}-7~ zk9NZNcIKrP<6z3!QL&DWtE{h7XWynzt|r7#&N?E+3c&?CVa(NNjsx!~&^m{?)PA`) za1WH?e2a>*g$Rv{ViYm2Tt@FfM38cyU68N)q0<3zd^MA~pRc zOALNzHsa%NEnL40f_Tpvdyd;QyG0(?_xgbnDAUBVQZ};q&AjcCj#9htlH^oP$fNG^ zD2m?ZYJ!q#LdgqnWAhYal-$Cs*tcoUVeUAdego?*!&%T>H=+jMZF_T!cKP_PIqyE7 z>GvjjqglU^*q?l1hO-x}xi?EV#xEQ%AK72?>Oy6U3klr7SaG&~{>hlwX!^%9ks1pa zCq;>UP<0H9Ptmoy<@a^VEBVU*w30(GI>zkQM9Z5)XMMHx)ls~!tnNW6_Vq9Ay<(#R;XAJ>@}HT&z|p?yjGpqTwXH85Eou`~Q=cA9?4zhSZJcP5 z>0kB1`_$Bmk}%^S#&t2{*p+C>cn(N9iNjuV{sW=WN0%So8>D0oOq>?T6OcAF%tmRN zE0|9|z}Qc;hY0z^qJrzAC`t9zHXZy@rXM?7~1*7EudiSfVmE;Hw7Yb5Fx!tsSYBrrRv@=aZAqj3iYHj~(-4 zlQD8LNki{ar`6J=1^Z|&Z6^4kEom_%Aci-^nIJY$s|-i0Wp!07 zMng@nX?ODCr?Y^{+f=0O9G8#rg>Oo`0c4zHf8`qibD@|C`h1gorBhd^ zDfwqYg;5&zv-BP!dUh({k-MrmTyImT0gw=9#{(`y{V+uiEz5vm3m;V)F$Ul1<+<6j z$g8X+lHgn4_#LKseO#f~ZYG?ft-70~JRdhZ;Sr=IV;NGq2dgiWxk|wu{Ft^!!maW+ zi|=8U=IWo!V4B$%&KOZ!Y|XO6-!G@!MrATYXYA)HQ<`=)fz9JU8B4)Kax|;#A!3khGE@>1)TOMLxcJrOkzRtbCqH{g zY2y52#3E_cr+ZT`}mpg&t5{|X|GlOA{C~10}4M33LftDd2oSdn4>}! z`Vxn+TjYs-TIV<~-Pm6RULa-Wsc&k*w+$^(CkgBP zqA@I(rd+&D3a=FI2MGAO67v@?Uo9bWt@kZ4$u?;-chxZN7=$3X?6X^J7UML~?PWN| z>~Wh*M3k>DUepLjmTUYBPRHXVRHa`sd_2*IiBvcqbLT`NRtT3f^Pa?+Ri(a|{G@2L zp)~$v5Qi-Y93A2I%Rlqyjfi_+OtK9#?yYjP~?RN#8mZR#Q_ z*3)lVpMkVBVp#t}3-ad5<^5&>z8vm~u&Tc<=ja%?FsuCDV+4Ek&N;Q&z43JMu=O7B zGB(_>0%pu}_@w_6wh78o-tZ^Y!Vvylex@QP8;U02*@W<9>Y)h|*Zq9mdY4pr!+4Ne z!$m_|Ud^cG;Nhyc&PKB)S^Epig5zpcf{mF)mZhW5t|@W3i+#>w_UD`lIFd838s{qT z(8C?~j3^z*}LnVo&8w;nGd3bT@G^+&(i%l0XC=*|9A0>7K^@}4RH!l*jX7bLJ zx)=ZL{CC~Tf_aQa65j6y&g&tjEnLpVDFzGd&MUdOat$2|`Q&;Uw=a#hGZH0nvg7MD8TeYafVox3eGF}^xuOg_^;0rJ(IA`i z(P^soHL=DmcrxOUq!P<;%D25LwAgM|uUeP#Stffj_a=hjHnN+`7$I!v9gSN{bF!v1 z&U-FZQS(t%)-(k`tu~dVP*ohk`~*-yo^18lZI3FpPD|AS7OcA5v|1VR@UJpG$`()20^1OzX&59h z&%tzV2GT&{O)2E(W6@|v72%_(yX{}7U|4`VzfF=J%qhJ3kPazIZqV^~Ww=NFvu9HX zx$8979cbS{p(3TkGElK#4)zY{52cFE?&Ach*)D=zBp1IXkxe%y59OKgU_0XQ?iBL4;ak?R!eVBp&hNlDUd&{}s1R;W9 zl}|8BA#YqM^xL_U#xAewaXXts3a?lXYoou28IrG#K#pd%&$1%u+Nlhnr5AG?frRrj zbtcfbSO;ox7zLG0|J+Zn$n;1_V)xjOTGe-EP}q&*KE-&hk#z8h`#4r=!%`Ri9@&2%ro{L)l)&wG zAme}TbUtc|CcXk6^UHBBka5=HSxU-sznbp-IEin8o}9;zNUigg+Ju@w?UK`76hXjf1MWCx<(!8gyTM#Y_zc>BRb#sKN%&mJQ7BW&%myc#psE4wH4V`50^5B@^#eF98V4<0g zv%AKV3$^#*69;mHbpwbc7hts={n`z#YO)*nZ80M4k(1#n6K4g=KZ#c3K0V2qG2A$B zCqbP)tOwBnGkRmG{i6N1s^Gsp>MgGP;%tRKUdwSvSOv#R@tDN6tVQt;?sx4b+E)`X z(4dA!muu}=4`LisDVU_j2UYU)RWi_w4?qGRrE0=2HW~qmBJM5;E;L7ECv1DLHGe08H@M+Rp(x;!^YVAf4d_jKj>x= z3L8w1gMonn8VrNQ1}hO`7@&auvS2Ww3Lvp5Tf5kL*^zS!aD&`+kQjhV20N}qd{`k* zrV_g*>oG@Z#D9cgVAGz{@H$Fmw@3qYVMYzsS2tF>!+mh+*q*>Ud>PA4ENfZTOM|#y zlsD--`qSmz{tRs0Sz?{52Gyc#l}i<|K|-)8^(q8UT~@lOBMn(`*=jtZymDa)fmd z?{i<+mjy|O5DzHPOM2NQFLeT7!OP4z%#dSEI(cdsB2HQ zl?xq*5WXSCGd@Ls#%dy7Y-0S?Z53(ljj&TY(}0EOc-wQINndVN8b=Zv-k5hi9Uaf2uA+|#KylD zt^pV->CT>ZN&hv`$f)Pg&{T}m`%AV-RkcJ$5ACw;7jHw2=MWpuw@^`l2?YH`*=)aT zm`p1G3K{mbB_9l=%w~?!MxdSa|E@oVWQ8D8$P$7ucsSpKFn<>mj@8&6Rsl(usS-V! zzzz{TFeGE?A8Quc)dK|~?G-KbZC#S?3LqveOE<{QaZH1ZR`&*_r5xX^hoxZ4BnxHr zNw^UppurocWoOMKySsLzQHDDnsKYOqT6)AVRLxLAHwgg79EZXMCTg-yniE%W1!3{2 z9Kt3uBLRMWdIW%0r4b{(hznaym;j(&lPAoqr4G?+^wZzMl{&`{20jD$4$t&Mm})NG z1{3h%kJyTA+vrW(o%x6}8oFLu3;)*d-kcl11iwhV5So(zxhj6^EJWG&RaW@+ecAIz z%j*k0q*gSrhnqv<%Fms%c=onP<+UW}WnYH0BuIcDx1J?=(iHe7?C;-WCxFfS&ZNhW z*_ubGg~G??yrPiTEnoO&aOLXPPpN@hwN*2wvLbapnu7yYZLJW=JO;9QG5MLI(%*Y= z*i2$?^)g($O$9Yb<6ZlJJKoUIHP&xBn-J3SS!|!j5qb zqyOT)tD`>1Y@v;ovaSDaW@GJsd1=jFX>k$7DWgeH@Z~T>dFVN%Q`u5Ix0vT8yYSyZ zQP~3RT#544c3CnH=OPqIa}GgbE>VZCA5{4)8!z_e-`_T$&lW$=wKW&APW&}lylW?$ zaQNK>%vn4tcidU=ER-`1`k5fsJ=#+@6X?%tly90hNpb%Pq6bSX;T8=18$$x8F*X@W zzr;E-yR$__fZ6gBPm^{43f;$+nH)mbQv)mfDC-BW{AZ4p3YnKKq3h$Z76(magFa6! zRK0bb?4uQ65aBi{7i;7UI@$!Ev5=Kpzl7#5AVRwS73yu`aKsV*=kRhJQ;fKR{@<`+ ze4nq$_dV|QLL{zaun79yWZf;{-<0%%_r6rSE%Bu#n9ksRVg$aP9jZlR)jSPHS>}DK zAxl2qI_!X(VILpnD}Af@!`-OoZP1T(?PBqWfR1if;1eozPYl=M5BMSi0aeSaFA?%+ z2^4Yus=Gy(I(W%*hYj6BsvWvCa9$77LU*rDzJRsN)RLx6^*O24;q-`k=aSB*L~Q)a zd|oU7wqJ^RoT<73nTTrnur?PG`G+Wti3~D2h3Z>cdKm@0>+wDMwa(RzN$@&~Z31>2 zKuc8&ywp>3{0_=8df)Uqvc4+`D}1M+1b*W18lBG(W;Pi*d37=AG3H(fa6KE4hB3#W zqBgLH@csdp4u`*}81CT2?b6SGb|I{AR*`y)$SZ3Dn#$#;^Wz6Fu!t;BoKQ2|>25rm zs)*n;BqKksy!Jgm__^9FeXqDU=JyImGW;R1c63EKcM9FG1l;sFpS!B?c(dgw*WfK@LDAS zxK#wv*xw6q5x-on+u}j3$F#D}7eHD*nrkybN6i@uvXnqtTS;xe8RXy2l@lyRkyma$ z!_WQ;)5<~Nc}YQot4$n&g*SmTXv^}*raqB=6C;DeNy3c5*gFZ4;H<^dIDjtr^W zaV=9?&R%DtSCVC=IgG*W`#=6>*$I&kM4A)@ctZ zVCS>FKOONX_S#R-3`Z0C5A4fh5DxfZGB2$sowyiPBpH3H4YjdFY_;(UefjcZ)NT&^ z5ZxNM<<)KO$z){dh<*qaNAp(vfi^nxNr0C;^3=NV{wE%-1EM102~g`tV7K8JPyNj> zLJvdd3`3FSfkUtu16kFx^JBV+SgfM$vc}mWmBx$DHjB-7PJ5Da`-W8*+Lz)H2ORv7 zjV;7g7+HmgqR~LhdqI@^Z9F(Wnj&nt7363lo}sp1t!ODhpKYF?G5R6NO)g2>H}!}+ znizd8EqvV@j>2z(bb!!qp+>SG-x5weaUTsMIRdNA zxF>Ex9cJ0<1~l#7Xu!iI-%jf5qQ8pR|3>!**7sHC-c^dcTk>9SuZS>awxuV~v7Ycl ztNpm!OKjn!2pEk0!QkuKWZ_zG^=RMU_VjAF?V6a0v!%NOd<8b+yCw9R9y|!O;P!|0 zzB;eHMtj2Xka<1Eg76TxGLY;vL>)bmfzp4c6y~DIwGWwug#|Y$IBHHvgsFm2 z&^w~GPH1^t4=G*)p6N`jCG}I&22G#o&c^7|=1JS@>4)m#hiK9!%586xgf`9VwpYjb z_Tef4OV~k{4QV{%aSyJT)~!O60WhJT_iXSRCW&d-ltz!chx|UId{=8-hNJFmzy5 z2<@qF(@I&5CF$iW-MPFdQbdGC-()=fo^R)wK0Yx0?ii{%%R6wr)x&*WdB$T=&&2HK z)H zw%))$=cf;t0iD;8o(W4@#n}#>pNVPwBA_o~ z|1~M}A)8cKSUDQ+sj2kdXsv?1K#QFA@CY2T$flQ49GbhGDDt8IVOcnIYcYW~c3d{W z<<^oWQZ|AuzT8n0{nk>n)x|NXI}270<)gtBh?9<#yh}N3n{4cv^rLwf``XyF45AQ5 z#D?Z%=LNa@;o*RL=rN>VKSVB&TO$-Z2tg1-8Im8YEr`*0_dkkX1z^R52HpHd!vQmM zU`irFa)R8g5plo~f|$K6}0+SXABq4!`3rJ#I*jXER?J;lheZ}sX>3NFhwB+VnnPl zKL*yv!2TFGU=eFvuQ4cIc5n+bUM>!JUV#D|D}lyW>>>=frsQshvdKkx9H%tBYmXI2@>lhqs0*5mZy%Nf@ zwJ{|?{S<*L3BQ4OPmGK*R^<4ui5^;%sOY@8Hc;t7*LC$wvT%(Z);Pj@OvZN4Opo6Z zl{H%GM?o0sXKyyi==4*)!Bu8Ks0GiNwg!NE7Zcfc1fS1!u-v6S3ejc-%|I-2iy26z zNGs`PPF!|wSz}5w=_x@DYD$HpT@J|aS~ePqILnCa#abM)r{7Xlp=_XOjG5uE`4O@P z@+F!lpyDI_G9XWB%fGJZDbuSyW#`AKYE8r`mkV-L#v5hkm&TO}4YZeO!44u7bKz=D z*j22$9%?gaAJd6)0iK?$03XL__x-Iv6HGcaV!0f?>JI3F%BPnhQ5t1qtX!Pdq8#xJSuI z5NzHV#f0hp3nlpD=V&7C6P%9E$WAG zM+dQiDnpE8WI(^y2C|0Ubzy_EiQdcU#H4R=^`2_7un&j%TK7OWGvPL67G)05vW{ia?*pD=z8_FjTKu|8*4gY+%{F0(0&a@-NAIm)_=7zeDci4&A|; zmvG)jLTB*PpXGKCSS{KEV1?ekxJaiTN;qIdbQ^!xVW`C<&{P5WzD(sr9&f)or-tMN z-AJcA3)cxkZ{{Q?V=%1J6C6gsQNVXCDAfr%1`5Ia7)4+EOlA#yd$zDWHn8Fs1{_|R z4cz=P8wfeN*_463Dus%Xu!OKhjtqZ8;}9<%Q?I3snU{d33`7YWfR1}0mM+Y>_mfs- z8KfnDPQgsr-`2yqN|J#$8>7)dNQqu}Bb1c%z{S!(bPmoYm^(@}Gt}kYdD2;MIc(BF z2MQ?Y(O=H1uio;g0^Lm0N$g{SY}T7tF-pWb#D~zRDPJI=7=q_FX^*H%JChdSk}~{~ zy(I9Op5Vj#$Tv#S`l_m>jPM^WYDT>sKZkVZCSQKMONCmWSzX!Ia|8m!`kwcu-s%db z_eP^f;O_3`TQ+Jgln!3FGmDC{`!_$^0uz8ljV5cajRP=rEj~Tj7H^aKuN&I04fV+B z!n%lLB7c$2Vs>@R)|3FwT0aVp|tQ&lZYI=QUCgRNQWeX&Cc>rWwb z*5P!h(D-2-uvsGgFpEn~#J^-RTlsNL1)Qa1T6G%N5F?rLUD6hb4?|jlkV9u!1(8`@Y`@K8|_fz2E z-5J_ySNGwIc&{C*0^2JmN;o;5Tg83}Rvmg#lpa}bi=~7Jn`ER(Xtp`KKHD^9nq3zt z+0GwXfbNXwoR0x4_3pwLopjZ_mvOl5QJ$?xxH6t zd}bqla?eh~Vh2Ziu?R7$PZ=%gz8du!vBWow*L;7g(_&u*%VV_?z?9PVN1{l7Y@*3E zaNFo&0TJIOERadd)`+JwA-TaHyp$969~aC-gC+zu`XVx>n`OYp zV1(d-F+%XqY(L1~?<0IoRZ^YGFY zh_9EzjhGtir27Iny`587b6sfMwQIOQh`(-;KgQN!5rib(!&ibQB>*VJ19F8(YN*@` zf0Il9YD=AGR1u|&7%~}!p^R%`n&im}g-renm^vN-O`pTz^~*?W4kz7<_CRwo9aflj zpBGLh#zLzuN_RjMva^oxn#pptlFozAOrAI%2^mEgYYE>zAmgx{q1nt2k{GKr74q}T_l1g~8jOxe zW4V>vXs&NUjj-A9I#&BA3h|4`r+!dorxgg82iY9$n~_wb0Ka`n+R6!N56-5@?@DHA zj1CZCbaFimQ-$Fc1lixaV4&@9nQ;TKfn2T-i3)3Xdev%-abWn)!>l%PvmZa3hY8K( zZM5V0O^(a>b*7c4grUT^5bqcvE&pJA&e#6qH`OWaBIRm5TEPot=}eX1fKa78_$O(M zjGbmzE$hl6-j}mHH%*TUF?p39EMV&}xfyDt;_YmK5`UdPm->Z6Qk%lbOd)`)5vZJq z`{@&tB~#-7;JWUCS>l#oH7}vKP(ugtmOnS2n4Z>MyB)H?gFUL_VRumH?mcE9)xK{- zjMSMYneO1lPPnLvKv3`HuI~87j#nU$^s|k_*pEjiFR$jmFNeKr*19Q;{*Cso$mz-) zxri-TqJ+tG+0MFKu(^xI?9JeZU%)-H;F3)TpBc2{+qdcQ=Lem;7pnm7+zG}@lRNFZ zR{x%h!!SM{e!lKTugUYm>eWQg!62t_=1(5H{!m*~ce`QsKFW7Thp%z=h1s)crk6!C za-WE<34WSWZG`eQkuJmH>7!T1@ESZuxG60A121`hxDlyM)qg^N-Q*T~I|24HE1Y^Y z6X1!72Hx3R6DsOq|GczebQrF9L5cip!?`7}B}Ob!5cQ|~U4WNAI&Ja*|N6xAYU=5P zimJ=JJ=gg(A>Waxo^wzaVT;#`t5kx_?109LXf^sG;R{`a!3oyym=Qc$^i}n{EiaD_ zE-2fk1iFpNmyr9A5Di<_3nyS#ZA+o3s;%xbo@>_d-(**%=-OYG%bSQ^IYNUw+oi#m z%w6gAk!Ps6?KR^8*_`1`NwM*yn{0Emre>c;jqN{iB?{*xIyahoep8_^_{>e(2j?DU z(cDu2V6hmh+K6sgYnRVY=~^9liIQ1NS9u}g-DCC7##nw}ugT~?HfIHDcCN2y*rjKs zVSI17xPIs#r9?gMm?iyTO{7eWiEgxt zr+!+6yw%)k&w>gTF8fRy!xbo;L)=e*2sTlzbhVw_*EFTJRd^@TiMCagU5 z`#n-9qnq@=7a;xEtt~0H27d%83;v+1$;~o1QGR z%=aP}#=LbE+GeIXQsmDs5N3$#d_TaBve$x(s=t-ai(PB#9ZJvGu;tcTISw%%yEZKk z4|1yTrZ;BgEg1s7i^#-gM&d+R#{1%!_A&PXR&Y#fK~RtnVdTF_5k(~PP++RHSawpV z(HX+3aPsSRT`6rX`<4giX+23nvCtagLDfccLxVPb@;7xX55I#Cg=DA?|710Qg7z|Z z_iI{$GzOwf>W>acF3)PlgE(7WtEzswT;Ajz=Uu)G&i(}kxj#-mp9l)R(2A`a1>GW= zr?a&Vz~EF=CzU05-~pw+b@fj0aBO8SdlS}V1a%HuHjxF@eLGGBbq*^m$^t$>0DjUW!m|pj~A-6UCCPyl%q^ja)kfo#StpSVtMbV4i}%r zrr}yCO<@N#uGkS=j;NtA@o#8~V