From 02ad73f5bd3d06ba8b735de78ceb0f0b6e80a559 Mon Sep 17 00:00:00 2001 From: Yingjie Wang Date: Fri, 10 Apr 2026 02:15:55 -0400 Subject: [PATCH] update: auto commit --- imgs/mathGR1.png | Bin 0 -> 19754 bytes report.tex | 13 ++++++++++++- 2 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 imgs/mathGR1.png diff --git a/imgs/mathGR1.png b/imgs/mathGR1.png new file mode 100644 index 0000000000000000000000000000000000000000..2b011eed54dc425760d06b553d247af7ec787cff GIT binary patch literal 19754 zcmdSBbyU=U^#6%PN(d-|gn*Ptm$ZU(w{$Z!(#@!pf{1iC4Bap^2uPPO)Q}QGcS_E_ z{Ct0V&i=Fe$DTcVcIR+>gMZAth^Wyw!Ws9#R*TzLDg||7K5M6Ju z$DXmgF6O=NnlW-Esg%SW3_cbEusbRY5Wh#^9oi23jM2dAC)-w{Iv z`+vQK#Q$?|5tEdK2i`gp8s4hXa9;4vdnCct&lsngOVb-8nSD+v`M;AOabtu3or{n_ ziP9)rI~H_c@Y>X;@OE+%{&!yB3M4h6Q&Sajm_=`yh;XyBvnfiiA;YOlq?y}xhT9@` zi>>~t)vdRecC|8PdbLHv;z$YmrJd!S#f~-H-B`+n>qen}7dkfa6rTpw{I*$Kd3=F7~O~m$8xd0E(Ga?p_!k7i$^s&NivE zp?JMfD3tr{a~f`oFQugpE3rKS~lr zLn}L8GHP{IF-ZtjTDLeh7nA=)2~pf?G(nU%M!fZ~Iq3IUGRBGG)Pb$SzK*^R&#dEj z=}X?M^zKvJ1RVo;?5KXrS*^y^_Fwh&^?|yO0|NsiBRam;#~%F~98^ikcn z{|9^4ptN&RP2U5An3z}+c@hP|bc5@9be=-&`L|~Rj=RaV6w1zSZsRIT-^PM)NGAQ- zq}`z&9v*IPCu?jeDj8y>%^9#w-D(K_Q_eS2&tHj(`lHBLJ$I&QsH;tX%<5g&BlM<#3E6uK3B zm=gmGUB7>qHi+&Qa=7TxXPezPc~<2`c@auiw2=#=lx!#lM?jat0K146-|gy<%*b(Z z8#dFKuT+W&xOJYG+_zScIZ)zEcT%*e^aJCoj}*c>A@b&Hi-o&5-#(o>ufv05fceF#gj3@SzI>g7>)02ah zZDr>gm0%1TNi0JX-ixvJUG!Rs5Loas?+n4`SmZ8wDI;eRG^f~`pE08gsijk zA+j0*{d*Xyk*{1S-1c`FPX?>!;&}a-{W`*{?^AUHnG@N(|NCg2_ctUu&z~=SniMsv zd?uc$drmO7{+Q9`YzKLGz9L{ho!NXmoF<&FoVK;t*0$zKMMXtVM>ma*1EF;7wb`Sr ztn9;)J0paEJItO#TFc?XsluL)yM%V9T96X9;6dr`@GxV7mT6b+_2EF`q*TTrRno(A z(#VaK>od+Nc>AOXyJH9cbzEGun)%1u6RthB=9&m=f!#iN`C_qoi5Ks=5c#y}#Jqwr zOiF7tEjTzhGpW|oS6@Cg$&r8FY`pP1IC2^l5ZtE4zE2AA3y!yN>H3V1WfoJ6d8-#L zwL&+8ze%~Zl)HO=6JEZCY#DNiw<;%uAJyMVTC2YrS;=GARF zzb;o`%0}MBpMg6JAdi>3@Enw{KP-gymo|X4mb^dJd~-H?*WJGZ4u^vk@{HepI*ML~ zv6U|>E%Z@7uQ?nIuT^zYQTS8Ul-WC~#bLzN~EBa~~tfq*J z`yud(u}%8qY!HG?Q1tEK;Fk9TUL~i+%9ddhAy!tq_3vprXr-_3jyfa7Oa8hAFDSfr zx)n*=8vG45P68^QlZ{av5~d1wt0fsc?{RX8FLCcx4d~Fe1J$){R@F(Ar*Z%S?~Yzw;Ue9zz@ z?$@9BGm0}Yvp?9swf?i+ z*>i-7cqNCwpC7wnGq3lNMQv$AReKhlo(XQBLMYzqA%UQ-2bnV zxvhNYE54y&+5FsbFBqr>u$2_cDqM`V~`d7Z! zoOVIQIgZ;M&CIbPip7^Gp$hXaF{PKoaP-OMPy63N249rc)HJ=kNl8gRoQ+@jwdLko z>|wdaMT+~b*%xbgZ1bt+R1PdS$Z~fy=}ff29cb#8%60Yg3&H^tb8g6nXg))zGD79Kn7zspwX$`WvLv7Z4Om zPM&RO$bXJ<2FqvWz25kGAg24nB(eHp9iDX7lb5qDywYzGK}63gHwFp=HHG80NfT1L z>{Wx@@K1|(E7p`f0?L$GIF7JsomrAy`X*q_*++XZiVAqulea^Mvcom=t^O(1Jwv76 zKV5-BT1BDQXNQ#t+hcFK&x%pZ`)KuZFrJyYd0Zq7sITja+x-21ZVxIvdzJ#~7;v4` zuRnZ592Wi4zIx{J3gCv8<@#O1wFHfjb~*H zxIS1&Cx97d+`D(r(7?dOrAS9G&*pM(zG-*1ZpzP0TYEB*%lrwO(aDbPM0Lr2E81~5 zRq)A^Q(JM}e)o{<0z+ZXO82$#LJhEVbV_*^{jUtsQ^lAC@AdV27Q(g4c$(02rAldP zusNxhL_gMsUKvmhrLSvSSrzO4S-T$U$UqOKp2D0N9)ZRpEF!|vYy&h$V3(=2K}Z)! ztrL*Q@ytfjh{KrW^MlwBGEMt}YUZ1BR9NYRJ4P}_qd~c2c9ne5{L17@wle~m%9^ta zLar+0o&LW#LDG&){=i9<5Y4xq-x5R=_G1XIJJ_pfw~4grW}44Ria7qg1wUM8))Uj6 zi{xl0WS?S92R%kC;S#RE(UVUk!7R~zzW2wz2cj9^V&(qy(MBQ5mCwfn9umcTi;0`* zFFDQGE=K}Q87<7ugPLz`2UHf91!1_!L5l(Ch-w-47a82a5|xfOLT9KikLW`PsQT^8 z|Jrv!GW=ma{UE2Z8@Hw==xF)+o^COaVv8qU-I>kI5QiGkMNLnSA7+Not!@)ue>dud zP;;f=6!tDCuVC?SFHW?#!yEZDn0rUVFOFN~d{XstR$hozp8Q14Ew!XIO!2W%3Aw#? zUJg1+XOdId64?gZu$7gStJR2Zjn|`UCLSKwtFztxmUE+<@OOw4mF*&|2P{)bBVt$J z)L1oDmd2AnyMTNDGokoj)hVHz{z<)hudu1rM~>-bS{LKguvq`fO=Nj!eWzB!O`?!x zZc5zr7wRRK$r^LB?a5MoyYKllqCUT*$G(wq7;TU$o^LM`{b36@D)FISy5;eH(8Z0q zQl1#T$9F6D;4Zi2J1X&UXRMIOHTYD)9=&u-YsyLQyW5v?HeJhXSZy~~ub844 zgJN}h0|dQ~bCj?i^JZLp_Hm=-|0);6l*#OYA~kGbF1d_zVkEVurW>2fD`GX&Q`3E) zJyHEsdoU29_(BO=(0e5+S5fJumxQcTo60#tvAfGg6XD@>boFT2(%AAOea*TiS`9X|GOk~UD zh-a3$vFDOs4&HqWS(TpRwp#q7TFnI&goW?8tAkkHW;S#GY)XoWQHp655{V4@;koFq zb76N1UA$IdET-Oh4+(3TVV)wF=smI=NQ#)D!w7Ln+nlLoUDAido^I|On4nn)V7}Fh zH$gv4#0QL9Z5vLgIELH7wz}Bk`h^Pz8{2xJx#1|iqeB8-u2(7(NzF1M#}G6-}5#*EFBO>vN%Q`Zzg?Uwiv2m#8o3fQBqy9}5ukx!Lw9LI7P z=Xi#)aW2}#Re0pKDeYg)!maoAEc6Z7TW*-shAcd9+7T^edl8$3n*zp?O&0}Qql!(> zRdlePN%Y2io3kU#uv&X8*PlCS7S)#GTK7SGXdsbHzDNkOo5ytlX@`MmPh5p@A zHa^P1C2I};is0TkiCkE^EGx?YN!iqGGAXV2F!h9(>}(fRR#sd>0_a4}S;h3^nBiPaCmif6>Rh?rF9EtMq7>i&$fT{ZKb=whu_J_ zK+n8S%Q@h~q)(nWA{(U|hKVG$bRkcj9=ahntRb7chq7@xVF)p~; zsU}+bY8(p}H70K*S;GEP3+DGGNwe;2jf0+7GqSF;ec(|0$(pOQ+q%Fk@wfIECKZsp zrxSRU6kbFRmJH6;Ie}bIQ&I85wfW8S_vZ*9b>U=KxnZ$UaJsJXN7!bU!jo#_hw16* zOy4uG@$k%zh7-ARd?WWjd0{$Y<^#i_1=WQ)N3nn4-g3dNMc}O=l}Pf}*q#H_ulAUNupf-43Z#r&7Iptf zOq@0g{`_?I?i;;sgf0ChNCHzyXK&dAAjiE6!|2qKJ%eVKy1#0+x(ddpqI{`^p=HWz zQ82L%`J@@R04wYEvzRGO;(IZX-51W>)t(6m|fMN^CVSc|QJnspFUN-a&; zoiXUwuU{2}xGZ6pyHkt*a-ErjL(9&JrFl<;rP1ZpRW%7^T-&%e#9Cbn@uDu1o3)Oc zsjVt0M-U>R=wXy+gN2Bzk{_maXr#>>D;hNzN)gE5wHaF*N=ZsM-(QRj3!@Npd7)PK zE-8LmND^DElqcxNBJ|3zVfekSE}JpjZ*ZDxPyr>BBQpLj(mjN$CV^yqyRH7+?ehlS zS3ftRV~Zp5SC*Hj-|MzT@tR*+d!kH|iK>o&hI6d{Euz+a5hWuv^*-l(S5`+kKokM9 zn{9I2RNtL7GMhVpl!G&`bPAzscSGw03P$l3LsBq2{G?p8)3ZKreoNiTBTF?lxMWENB|Tq|D3VwqeeJggqCR!?tIv_BjlM0&WGUX8;n{~7BU5JS1zYXa|$ zRUVh9MY;c>PFj&+`O*Oj7 zTuBJz&>lY0YT3%@sS?}_&5wBJv#G~757!BVxeH9hu-r$G(o*TWFwIpY3+t4Jsv8sq z&>7PAvX@j|e^PxjM1?eWi-b>{Hp^_wmA73kji~8*cLn_@KG!H?%=N(0Iu2j-dOe%; zhwaeCb~L-|(tW$u0JpfN#wWSFx|*jj=~XslB)usAmqEB`U6b2hha(e{4#V4g=CJDf zW&CC|3D+*nS3i^HLRo|qD<_B`DVP&Xy)&;KmWhmVa&msynXYW|)IsI6IInak@j!ge z_jZ@FSpt7x7P&JX%F#8+@ZEjRxBZakcTD>vxde8kkOq^JC*JTB^sRH?$?RtEjMpWQ z%6FKlLUMA21{c@JAhxkrS?e(kAE8rGkYO1nBO;%@jQ6_vlB}LEP+XBytKk9 z22OL_9SS`i9cF)ieuD1Z9tT|e?~=u7-O9(y=kY4Bmd~J;2P5io)i-INnrx#IYNWHm zM>|L!)bo!?iaB|%0=T|PUmbWZ&je->Zeh7f)Jh0KYLP!XCr7KpB|5&@M*|Gu3CwK< z)gJh26f0${%4xKGIzAeuJdYngZbRP+U#WArODhy@Qh~O%he&;3wUD2K_Wks^SZ)t@ z=h;i@tynalTxWX&4Lojyde$W?&9*+ z{$UN%FI{F>zE}{*`oX`~2UpiL9fGRbT1!_ppr2`wS~?ht`pBzy7zX+vk1Tgy-iwcq zx2KyhZ1Sk=sd1c7-n1^%$oqEt2OS-7TRoZgsKR-X_urb(}%ZIIpwC@^*Nfqk* zq)+rAZgerOXd#81k#EH_;zMIjV8J+hK9V}~nDH(05jk1V5Zq39z#OV1OgNeN+sclO z@=9m~LUCyp?ZCmceD!6Nbe}Q6sLW*MBWYOCOQ}c1$lACN`YU&AtIswMlotJB7xMih zDpJxsWv5PaleH;~*fJHXFZl(FB$XB9x4s|0Aa?XBx*@7_oNx4R*|K9JoQ%%TXF_Bm zc!z4n+4O2m7DZjx2J;!9xklhxXnnrd$(wP>iFbvED~v= zm!*1rutI1zRpRdA(mymb;g|gq4r-G`Arc~@pRK-YgGrAw%1q!k$wmz>sI7@&q$g77 z7>EyO|6_5Fwylm$A2ovx|A)Kw<*vUGe?Ncz47`!p&^tsDgM)(|9UUi6<#=F`9y$at zg@MOc*{+M>A+ zPC?LmVkUEBY21y4%3{l^B*e0+9f`Wr9i|<|k3&`7x z{3DjLv$MgH`je9rG5;&(HYv4n&&7cJAstes-kC)^k=`e&s~Jv`p=U+D9)|uR{+Dhe zi@wz2-mjj7&%$klZO55~g_{~xc!Gd^=`s1-4p=G89QAH}>imhomRe|ZXKgb@7z%ls zZV!UQ?^eVE44PC>Ib7T}?LVU{k&}JN##VkfuELzz5%|p?b_$G)iSLKcgH}ugUFaj(lo z*}1s*+u?){SA?;BahO4gDbBvJX=tTgrqUlaMlVE)Gq)~cKW0-p{I{HegSk_{Hwj!Q z-c$($?>a`7>NHI0*$tVpon**E)4G_L7(yDcS47xwN2H!U@iMrBJCQTSvlH5WjmzTb zi%9;Alz4`gG}V>D?LXAY_*8Px3sl0LPj~Rd^eRj{L-_0_flbKpf_HVfD;)na>-smZ z=t>KDDi-4ICzGw%!sc>8>))9kyEBy>(CbYZ2jaj2^->;EDTmocCCN0w3iKNXoqt`t z-Xyuf8)refdl|W#*E-x=@hN362AQah($~>%kj}9UKI}0F%;Jqkb ziyoEcKK&sB+Cf3zvyvkPdVAl9V=*({uBNX7_Yn~GNdWqGiGdgHqNaCT`mzj=SL}Ye~32EmTP-D$Qk3 zqCk0GsM76ZVNy=@I?9z^xT>h&WM!4S6~ZMTu$pQH64XF>YwQ5Zu+dG>XSJZMt?eiZ z+vE$Om@+EFZDC=-7md8?W6H3;Xz1JI)6iGXl}uD(>(MSQSf!CH(XVs7 zfF`i6f1?kwu(FaSi1a(#A>SY1zn=^vV>5C)`15x7b~Hz(&K_AMreoA-!P1nLnmUNX zQIl%`!KO9#y9hR5-=AwZuFUDNE#?6(YASz3N}mysMPh)QxdyFzEqvuUG45*f;p^A0 zsj@Spqm{q`Nwt80)pZ$>FPi-Ib({IQ^g6MGnOQhbY&=mN5e_2(Upy*DOJ{4L#ycit zC8Bwkq1y+f#pQWT8rTI%J2vu*lxeG@bDwU|kMK&l>QK*ehd*xiF7C;nO`IHgNVg1c zSkad`kXrn=?B%gt`PvgJn7F1aVKqmR!~tpek(8|g{t=rCX9J~kV}ZrG^#UUOq+@H9@xXmd0tR5>zzz*daw1+RBhzD=f@O~Z00nt`gN zU{fF;lUE6P1KnCD1lvEf_2_sgh4%*6RuQD%Ol zZ_4XoqSY&diVt(oRuXp;6Q9C{Pqro$B-4;p-UG8vEruCFoz6$L?H?V#gKjFB(X}-o zn-ZH?VlZg@8&~&iKLaBpEI*%h-_+IfJ|-ryMC_vFvW=+KSt3`r=$4ziZJGp?oxjEUM;&}b~?^0*z4s|jtUpXZ?I=bq^k_5^z5@fTHWYKU0 z9~~(!L@{I3tE;qYy3+igsiu&?&c%V=N8gSt3ao>d~#FR zYhMqVp``P8h=MU+U(u~tdbNdvygG&FW%yZDbv3d?-L?#Uz9@e4H^#QLv|CeE^}|v} zaHk9bi0*73w?$whqu*oz|}E za7#wpm|5aRbmMAV#RZIy{=OaZ6Zz&guRS3<)8778P@CZ4!(1D^hDE)$L*D;V4UJev z9k}h}zS7*?fmt(W#1i9hfGMPUK_{c^(-aT001$u07yoa7rc=%wOe%Pk0?Dr%)dxZ-+dwC4Ccl1p;CsgfG`G4Hvnqe;gQAvLD#`yl-I}pK#z};j=yLIIc8Kj(UFFJMn!inmnZ}D%&BB1EC z0UHHyd)GvUd9cH>f!}Rvr!QK*v0_ORNy*2}#iiD%`|9gEm&+3yLvh}c;J7A*2(QM> z_mhW1!Zf!Wn;oUu`AK6C-LV1Bu-2LACt_QZ^^w%$K(%zw%VK-^veEb4(Z6g&($q97 zqb&pcB-ABLtM6>AJ{1&kS?P`dl0u^l$$1YXDCW~!$56^7p0AQ^;~}t zewCZL66&Ylo$*T)1CG@E{VkZtNlJ<68@gnl45OYb=F>x9#w85{|&z} zS;YG&Do17-e9qX|7+@vvnfRR+{N`1*c`1J<-o1D4{JI75ewEYXvmYRLfI}zqol?;H zPv(~|*Z?*fZIiQ?mzR%@iJ=km^IBPpDAp+lpoT7E49a5NI$eH*mNc5&d|v$OqVQ;# z?yKK!Ik_EFE2IA-kr{;kRrG=GPq=Qi)!yEouI`*Ev;_Fu1>ZaDRe6>2VX#SmO4@3x zp-a za%z*B*Ir2S-b2e2F?`=Uy4Nj)TMIB;iAcbmz?r2cxjqfx1zvY}S2=TyaiHQy1W&A`GZOD9KVyO88 zQvF5+Vw3lZU2t2<{T9FKgTeh2`pC|SQ7gbbXhBo6ZRqkhPq8?5#eAETK8EH6GxOwc z7^#OWFH-YC3G>M%n+}-Q%i(YNiV&ywARYlb# zy{Yi>Tbz;BJ=T78~btWC&~bpOBHQudNk1 z4A~@$dA5FU)+{P{b-za-qz)fmcH9eO|2Cb_og1<7p)Qf%GV7r{-xw6)2U7&f;b<8b z!3=`^kd>vS!wX1;c)&?L?UJu78z`ff)FAKaeT0o?Cam1hLapOe zyMrER4vS&vH#ct4XNG)AI+s?q1OI-|G`{cS6zZpyaW$u#-U233>nK(L1`) zHKi1%g?d4=U)cD^)1b|SJIs6R@3s8-^QZe&`k7vhwe#)V1@!D1(c65`D9pIq(w~cm2f%xH1O(I~UI$DWelFl+Y9Kb~n|JM zYW;ck^l2}-!qDtb$M3B}6THUz-?$f=@xj)P=vJz8To{AxMzoOGtvWc-FUmYb)Tf+$ zN#?c;`$%k$%${xh4SPXfZoLB$#-Syp)xdO5=C5$g@prQ_8eOSL%^q{9>>Wf-3XM-` zy&CgIUWUnE+~n&v1m~e1b7MVIpb@~@x6&KBU}ldYFi?-PbbVKM5ZOIZ-?WM=rEXPL z`+j^5`J*_Wf-o6Il}4GAmy1nH<9E>hZ+UJnTUuJKk7Pu)kfo%hq-A6{Sz4l&cb2!e zX93y?GPA$GJiV-vlBmmSZ|(LJkep+qqG+RJnZv3;rl_ksKRyNv-j-^i5!5uNDqL@| zqqLdX7uXwp%Kv&hS|({OnXo=Qtlqi^GyKuGO6|k7n+DhlEw)J|wehG<8B7Ao={Fgt zN7jQvIXlj_$V!EaKJu|J`Ctf7_~cvdni-4` z%<=JYpiHsR+e~(b5<1x1pKzzua0$K^;mYTde-4oBzA@+ zE%C|j&hI)``aHZ$n@a$l>?ll}dVb942JFITKelIko;s4QAHeI6#&HBZW+jVe!lWj*>?gA3=Tj_^U3zVd|~+*_}@fU58fhTG*qMG zbnG|OF?bokwz&W-nyazCKAZkn7K-m!7#|a`0Cg>#QVS>JSg7;NNFu*{4v21w z*2fq%pdIa5Ue;T8R447?IA(oH8jst};G8j8 zvhHxTp8#a|JC%5RdV1M4z^Ak&Bs!3;5c*Ilxbh!?3?Ex_)AMlUa_%R z5->9}|J^-bT%bf-nV4k0RRGf}zn>B*PQ6uUyg8nunz-p~tZ{L#u(>|sttkk1Ziprx z9wy?bb6g4tVg615ltJKs_%vshmvcy|?F^iJb7PE#S5#Po=>lung2+fhR}3Y@=H_Pp zNUE~DJY7(3UY=pS7j3pq5H+6pwY-8tWX5Y{Y-e}(-Gx$LYinknf}G6EKemGtKz2xm zf%3Msz`q(Y1h1*#b@K-Km*UCiO(D`axjL$rZlv6!F@|4LF9J9H6U<0>TwV*yxZw#z znNf*Zx>-0@2seR&Lo zfFNKmCpwn9`yxZIHAo+ivSx$U;_lnihgJYN_;e4mv7vESydr~0U0vPfaIEY0=JHut zB8aVsJ4g`>TcYqT*Y&|&0OmWaWIeds{&5P6a~6C6fY2R&jgbdens)y z?D_ML$X4HTb{>kDYu0wt9lSrBTV_y?6Nn{pU63Ae>=y|^ zGn{HkK-f%6GXzgt2>~L_{_kJzOy-xbUMY6op)%h6yV^%0AuA`>cf39#Dk4HrYz@v1 z^Y?VSo1AwS>Tm3`$n+NGAFGcO!lbN*;gbP-%JZE!lKykC(q$A>VL$lqP&=JMrKU(S zEXh*qFAh!#+84?QuEm5vb?vOD+?rdHTaqp1x_H-gM;HA27&3lKUYYxwg5c;x&MzhJaJP*1V`&0BZ~YPm?8lDo zZm>TQNrZ)kZ;621lPPDHYjPrRK$G5c8^6Lnfye(W)v%ikI?M&u`O|YCc|NoS;KW5G9 zi;>T(tgNhaT317) z)0L-XTzogomTUvbUeQn;;jSxX35wXRdJFjRDd@czP>)%e2)Rl4?L~kXG`be3DB!(F z@HRt*;{6Do)&GHeZ}C}??`IX8aXZ+Hd5B6&XFqFo{O+N>%xNqzl+Q|f63rG0$l-?S zo4;Q?mTvdVqP(RYm%gSDs?2%4!;WIzn1H4oeyG|eUDn7LOU?zOHaR`t<6|`=7AtCM zPEJox56?iZ0Nz_40=|Cto+w%5 z{>pqw_s7r+b04af+dn=2WVj0bIJ9JY3=YB`4wpaJ@eTP!FE9R}7PFluciLavz0*Z* zsm7FKP-)WnX?nGYt9{aJwEl~Sq)@2OYov{LF#QxLAN+^y>+lY)&st2))U=lQ!2n2^ zX+U}H5!!DG=YbNdb(P2dg>i!NyPr8bz{TtNPGb(gclU0i+aB@Lr(ZHvnRdqbwd1uz z*l;i~-bmUVnE0G7LR@i+eg68?;=C8M%$%X63=|5v@5`5R+PMH4iR2%~D)SrEd&Urs zlEdCXRx^4V*Q^RV*2Pa$l1B`di`U-L`PFM^)DKrT;4wbSd1(=H>&Tk{~~3@ zn*Y#(-bNcVefx}-J559i*mC~q(BnfMekmM4QE{?H6G>naQp^=Y4vGSM~1v zU_jUGJ>G{Qj!R3;_7ZJfDTI$CR&jl<4(%2dX(ltf5KYgDOa+s095i{=A_IVe3O3nMQSjY@LW0NfXt{FiF;>j&6v} z$e`KZ28odu2mhHO+P~E{Pbln%AiYo6U~qEeKK0&WW#0Lz%m_9u*SQ9dYq&_N-9slJ zV4@V{lN^}zS@B#?Q95E^N=p7!k=U#Jid^+uC!t5lqOH+X8}^p8Rdr=XgenT)>J(|_ zCW>`iE|=hx5o*7AX@5z-x^&rkZb)w(3qFJAhYyLIrX4V)6yWtJInC9m<(pgr%;g_RX#;Ff;4N%vB-%|C zbH8kCXh0%ughfC=Wq!5&X`)w_iFCBlkx3~lt?Bm`sIg;ZOw|5;Qm7xfu!SxVPOwOQjfA-=Qy|2vJ_Q; zC~r*fh|)Lk5flq1l6b`3>WKvrwxcGK8y+;T<6CFKIdHN1yct{KM@?gK#0!c1{`ITr zBm);U*u;TJFVPEl+c5+}RJ68VMw!G1v8J>$aBkJCv(7@n941jTfkM;J6#65AtM`Y z(kSx`{k+^Nh)5!4MSz-fDGiMIG(mMFaL!$)u0m~B)^dt&n?2s9ml5y>{a_+*n4%UN z8f1-*l`HL{g9@yJ!Yes}izD_rMXFsQ_hKqMB3SBFmjQJ)8Q=Kiy&lVc^@o!j$S>F*dC}+%XC*d|(4eK7M|8MK3-9f%1}) zZ(>ybsI9o)zg3+$oGRa^f+a>q({p=WQBm=f$LCvF%yW<=lCv=%!m5vo5o~n_AI5Iq zK?#`{6Nfq2iwk0>1jqE4_8%7Y*UON&Y@N{uD=K5-9J}g^Wo1x{2Z#QJLIr~^>qY(I zTRaxMm5V?SougF)g+l#a7v;wV%kE0`=V_${_jmr9P#4Qov^7X8!Cd|Ghe+_1i}AQv zu*AR8;^q>J;g-982M7T*?+4X@fL65!h@c-}gvZCnhx?HOm_Y?4AU!=jUj~@Pggegn z+w&}WrDco(j}%N$tuTF0h>!nQwE(Iv^`5=GJ)?5s#?H>*b|eT?YcmQ?;G7p4T@Oz7 zOLRt2PR37QktN8b4JnChIsD@W;f()R+#o9>Zjk%KA~oe=I-L(>UeKgk$9Z7jEP-*y zooVBcq$FKc)!%l8#>Z!8j6oGG4c(n{bAFdi2yw$h7TO@#rc#Q)1i2zm;1h3ne8B`) zkyf#gc-O*kE0AA4efk6$NsEY#)S=#^BmO!AREAO3jxqIhEGls3N}7_G2-HM-P3?Ps zl_I@p*%f{ z-RXHbSKqZXw|*iXVM!_s!QwF~bPeNv?&P%Z32TW-NJvOeXOEJ7M;8S~aO&#ng2$$x z0z3&&E}RDB6Dh!&PcZiHD{&0~yxI7;rtzX4(=E5Rc%nmCwpFWuMrRzDhloQPfgzMA zdTH?RUNbP{WoEu%CKVDAy1cwhPU7p%E&`X*opYz{A~CL!oMKF&m|I6r*5HDU@l}&* z_O&{5=Gyliu11;JEz=QEJr$pu2}0=i{(e@*AcK|+7e3lrxCLWGcMWtM2A$@)*P$y>yl!2rc0G8Hrfm)8+&1*co@IQY{7V;ioU~t~S ze=RA?fyb$_n)kk2S6#c^5s&!@nfuAy2adYF=hGzQCuqr89m8m`j8Lvse}&1>M|et&GQi7W7_k=A`65FU@& zkEQ?BIE=#!^=Ry#P{^5Me!xuw5zQ2JX|an{4-@22*`_BeAw$&UMWe^=Wj|{<=PYm% zz(}=@?|UE<0wFBP0SK$)2netG1$cKwg?pHYN%jcZ)xH#F3X@|sEaxQN^O)9tTkO-EgTCl zAqR$tCS*~dGv{Q(e{D6hP$WbU5XEum?mB+-D;0`GgvZ=JqaKK+e`Au@a^5H4!m9x1+TbCw9GNX3+8y z5mQm!toFrx{D^_NmuNsU=#i#D2vW|QK+K(JO{3vUXCHVxWHji7l{VY??*39Ps`0B* zTHeu*r-d*hKaXJ=CE3;>;lV(qx9`{MDGJB#2r;l*jPgdsYFVR=<#dA$9CuisCu1ro z3;=hKdlolXqSjT2i;GK0C>iO9tg>tiz*MdRBHwQ}J`+x=J>%Ng=Ssc1Ot#uq+N^9% zoNe_lr5~R14Vnc-j2PN%?)%9VhR~zr?@0^})rFjs!uZX(nXM}!JwrDi=nBb*w6FH4`pI;3CW9=nGt4ATV}d{asmZT5BW53cM> z+VQBUV_lzD-QRjNF-0R3*A{Er z&r_Ro@6@&r=1Sc-0jc6MQWdkU)PJzl6zz*oDDF~!wd!A=pl2O0@A8|_P zvH#0Ux0@0d{L+yaim^;zl; zJY>rGJ-|inAv`rX z=vZPL#XTaB|HeM+2vtQf6+gato+w!TQYlm-Yr553nD&K$z&W522Zxo@geu7k!D9QE zfvLhNQeZBNhIR_eC7ra?`cCc%XB>${ioPjRHSj%f8&>fZplR*jd4yXKiAGH6l`yiT ztG;o^Dc+J(@=iw|!s$7VipiGQ+2d{lF3(ckeQR}tQt5t8WZBLv&NC%ZTsAxl&Fj6s z>2)0R_>^luN$Be&;?v!#fLQ$*_gAY;$K7>C|Lfw;{M%i3#*1Hr+>GZ&1AcmuKb@UnJh5-OoS=wl6fJCp4?8z-oznz<`psnHdcJtg=Y`?~5a5 z%J?hyS=aX&xQbIj9Di>>*GRcC`PvQ4bwoo1A3Tn8k-(OEq!+&VmFlwykgTw2QIF$D z+HTo?%?>HbUNi`^1>~r-psmIJA2pky6#rv3^A2ZVVwyTRi90X<0wc^s65vY*C_wJK zqG{uC5^Q?icG&$4^M9-5>Z74dqqt(nXeGOxjIWRwvrJ<$ib_pBYG~AIEtW7wYq7(a zWkzA9NmiXoQYHpzjE^Q?C8dmEQa(;h!jR9%D!b()X>vrgcRFX!_V50&|IIw_dGC4d z^S<{z_x^srd$Euha53TMD1&6H1zNXCaD40NfoDgO1D#16hJNnq^p~%w(uK5LH*WXb zMg@q{hfWnHRDAf;NJrPF?d7_wy(DT>Xat^3>U%SvS5ZxYUTovq%chtz(-bRR#d430 z^XZVp$lV)8eXX>O#E0zTrx^)b(QbG7#Mv&x`lZ|Jx??iTuDE=)`t_$3hd@l0j`Q4^ z{ZB@YJ#e&?^|9Zd3-MWxYtC`NRS#5$*)T zV&gPdIHKQwjC8FNJlJlM+tjfIbZ;8-EOx!itY|~UkFn@7gJ*?z(sLiCp3E}Y$u5wL zc0Z8NmjvG|GK=@j%g|JG;V6UH_AB?(qlIQ4x ztYuY1mP0?zeUvih>%)sEIb&l-?#3K$O0EJGO)YNCnRjQ~ZDf!0XcbArMtRfaOtE+C z-C`D6*5@Q!@CoQ?4@N6_yXTc`RU8k}Y`_h6C;Hf5vwyZ=e;#G6(G%>V>GJYbnd?&i*YUY>j??%ldNdc|>g5d`_l4tS#{4wEJOS<8=1~AwiF9~esEbnR?&>}AxV?K* zKl3jtVi@&AApwH{1c{90#mM+#nL=gsIxw$$NA_O?1Kdib0o3xFMF(9s{hCd%B(R1_ zQV5@*pbnbfPYtfeLSc=p3IwRjMbaklNLB;Y!xsht=5|-MPjNUL1Xei}>MzYk0@p0C zj*~V3O%EU%u%m^*GSL@U5(6J7@}lU^?lH`<*tCI}!Qx*-c}TdbKr|AFs=|nbq4_Ai z&4)$hm(1DrnOSc^Y6%gqDqZQrCOp?vlhj*hyHasl3b!*FFoPt;8>+IrEUoUB< zGGG&jlZ=K!qe4RPVG7g<6)6qw$=LudtrbBHc3$f|JbxS(TmQL!+~%m>-`@}9Y8Q~o zrp=Hca}(g~I=NHRQ#)8wC=}}G{P4iS!cjiCrNQFgnytH=YXP|xcTrG6=5G|J1=P^+ zaqcSQJn!#3-Q6)(R@!TR2PJt!Lqk~Df;}8cr?=;otvtam27)g5>Zqx!8;W(oYr(ar