From a510e367eb822cf81a2b18a94a5d4247789b4644 Mon Sep 17 00:00:00 2001 From: Jidong Xiao Date: Tue, 19 Sep 2023 23:21:49 -0400 Subject: [PATCH] uploading activation records image --- .../activation_records.png | Bin 0 -> 22291 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 lectures/07_order_notation_recursion/activation_records.png diff --git a/lectures/07_order_notation_recursion/activation_records.png b/lectures/07_order_notation_recursion/activation_records.png new file mode 100644 index 0000000000000000000000000000000000000000..a649d5702225628f9d33a3dd528e172b71c5cd0e GIT binary patch literal 22291 zcmdSBWn5d$+BaHSpvB$YU4py2Q{1gcf#R+$?v�R@~i62=4C1ofIeNN%!9OexKia zo{#6t`H+=0$*h^lN@nJ|{*p*F6b` zaLJ^3*9o;7 (Mf7M{<*FR|P%|nrk(qYktgk6z4N_=bUk-ftiHXBt;L|wAkT*SR z62}Pe)A)O?o}ar9o>;SCG4L&70HD8zl8iSHlYgE4J(PzeI{s5ovdr@1{HMUUvzz(v z3qbf91azDKxf+xkT|U;+#Z(yEW8krWL6op6tuSLirA7MWoI%l zFsO(UZFE`~)SAN7H#8Ir)D-69+p^;qP4+HZ_ZvJq?to$w&E;fc^RK(hQS&GJmJj~E ziY;2kB6CqxnC}yOj24%_(WQ=j<5oSlz594IDLTj&2vIy;Z9(I-8tZMcTO|MR*3r0m z+Bttmaxn5oR@_H^joL!7z=Lehf}cMTiFh5{9w2|m#+~7Fdm3q->#vO%Ktj{Uz{Hfu zxHC7Wsg%Wsp;K+>{I^y&(ZJL|G~P~4;B$prmcUG?l0rL~|FwGBxYZG-)9v4OR%OZj zLuzZ;k0b=YK%2?GlLx0B$MyD#m3Im}`gz&C#%{lF8Yoki87wc%GmJb&`6+tH`P*<< zkk>YF+PUBse@|gfcIGoGkRbkDHpZrtx332zjW=HjE^p5d|`(=)! zk@?C?$fRR6xkUL!EDD0*ajllFW19~ zK5e1xb-e^n^oa+*!Na0)=Z_-p9oGs;SIg~4ITE_VvR}s{k<2o z>(*3b9|QmZ5Wwr9PQW%6+2U9TpKM%{ib)(OX|Zt_M>(jr$z!*`d?XRoGkzrjrekA6 zyV@U5ykj?!x(MAK`>9p2EBvxE&buikBLh#jAriOpISKr7<`|fG*P5$1%)SQHEC zF3s^70Tadz#*rkp11<(AHf4=y$}c$xV=qZxYh4dij<(US{AWv)`$yS&n2oNl@Z4l` z+cRBtj5lS6QP!FBJ9uA0Hqh2D_M;`cRU^|Ds+7?Bhj)_i<{|J2AA-kk{6&o#aF_;Uy25*|QW9+ioY^7*A0x&h~4-@7c z{oSJspS#&wkU7wvueoYkH*{Mv6CH~_Wm4r^T9S>JbF5at1j+7VuJzZ@ZXRk2%xt8% zgW!R$-hfP}p{j%TS4i9gd`Y;$V&!W}(gpcLUCv5A&(dkKb@dzIdQmdIuzHXeN7xUd zTI_&`yRs}0{i77IQ)`EL;p56MlB%+kdvGcj3luRL2tSi#?}z7^oEV( z97!lJ3LB$z5PEnUl^+=yc??qX3tgLUz|bHKE?D8%rH+(#8)n7UY%9Oec128&#@mja zaILknLc@004C=SgP@^?WoeZb9FGdQD$;aQsv>maFXGl8a)Tc{+NXn*5X zO-V8L#$3AD;DKc@=zbsP7lSg)InqO*^B970_1;bBsMV(fa&@4Hw869rU5ttbz%@o4 zw1MHuC!4BOYUzp8HnnO~nLVj@P1;pzU)C6@4<|?C2ZSwsD6~0^9zem4FfpX9}(+K}Ofxy{oNoGF)TdGw!XwYqsZ7BTHBc5MygTfTg11Cu^ zbe-XGECo(&bona2(o$3N#pZwU5l!Zo2r3C6wre`}qu@3JSJfN)YEKP@A+F5%?lv7p3`#al3eHEb}+IL{;Do8|NXc)YQ zui!`1lGiF{362vy|Nim}nG9ql7V=VSb=ix0BH}8`F=f)Le3jwG`GSio?8J2R%1{iU&*5D;E;@4z`K3&_0YqW?;$c->0f*TF-#z00ALE09+Dp)K}<$_R;CLBNrcC3p;l7^z^E{ zL|rB$d}>N@K3*v+1JxJ{AipL;K0w;kCESi>gUahQW1}WYdb&-&G8%NAfIlh#Wl@-HkbPD>|VUJGP5Je78d~p(r{th*S)4BEa6sFSfg>7t@ z0q-@;WtZBpul-=-*F~oG9JWLMDcvRdrES9f+9Eq^Ptbi@Hv4TFf>A!HIVB6I^=jrM z26Bmiog$7eyer#mLf7^!+V?f$^oT+C+=+M1xVILNhWQC}VBPa}vqe3(q5fcm7Tywq zb4Yy`yPGU*n zQN3kXch@l5vb9>XU~I|H&k$|4-~;9`(6eZka4o?onlKFDB2+Cs7Yi8g%R6;0`{;NoLP#nZV{0_yvP*PpjaHY?iC^SSxz1_|YmSy-X3UQcx|^xHUUv83 zJlZ!`e4-hPOpn8ugR6h!1CrqOcuMk>0T=E_7)L9#QCt;6jt%4{0@48Z8+|06xsev)kokPxwx}l>1CFoub6xk|4%G5llz?2*S z^77pp)tv_*yo>ey-h3@>Ux`$}Qhtybk z9TsIsDmmf=Xq(Q0D&6Ue89ZO~*GU|>vCe%eak1?mxP$OW#pZkqdQysM;mhSJha^_@$~h7*&ZI1+XIrSy~^=qeTc7FObR%QDc?o$l z6B61!f7&zd9D zJr8Okvc8PA!ri)?Q^W{zZ%`uhs#$Ky_s^92(^l1mzvM09yR``?; zKs9)p;@eu;wYeq?n_fMTDpoqQ=^kZ_q=&?)`32#`oJ@8J-GJA8hQwl_qQZX}DE zDXzUhXOmQHc%GIh4(2(0TVz~UiFmJa2h1LVyo-4}UY36d9hV9gK$F?^TfYR5L+2}2 z@#gSj##9yFgGWPzbfekjm#%w}kGHYF2X2kL&y6_H{S?njAnccZNVcmrMUx`OhHlFn z&R=0`?MzDrJ{wK=D_l@`AZ{fuN50kZb7zjHEb>{HFX#oE@Nuy=WeZ4w#iefH9B*+h z?867&E|gC0iW68+`K}}K7%`)G<^{EB$OX4JwYtxi|C_2x0Gwe*)QFuwAOKW2^~v$q z%DAjq0wuw^zc*T#In9R|9MBd0QX@+4nlQXNp$-gZ z?(6voPEv|7h`R!AP=uc$rQJ43C(5$cgx(6c5qXMpQrp%`nc9JfZFSaCHOqoA+79`^ zQ@pq1Fo?K>F`m^fLIUTCXS(9_*l`4n`hDPOGPdwnUU|I9PRc6haawo1JO@4_qloof zU_{KH_C+-bVC(MIRda_9abRygEGz1mvU;I>&V53+D3lo;K0^iVWe{BIK?(`>E@>Ry*`I zz4+5Ta|{x)h>4l0FuaT5AvI*Q!;d6WUil@1D^}BB?ldV>+F6#Eu|HGrE~8Cl5s>!)!kO) z=R(uvY&fGn92-iaii3_0bV?jmmQXK(H@kDml|!^i6_DFwb+{>g4ooPqU?BcNR;dCXfEl=rwRN8D+x}aHsUu| z$lRrqEe8@8E=a0fxhX%n|0Xs^Hz~`XwcWeF|9p-|?UF*h&|JO%f-g4keT>)-Dlr@X zzO4dHm6Y%rNxUM7w}*>CLVX(G(gEAikgTGko77o5)IqgK(E+vX^37QeVo8J1#G3-T zkvNk9wJp28G=VNjHcpwjF_!xuL>7z)Q%W+I6%9@o%evGAQ5o6pIvKE5&Xg(>%ioeG ztg1haRXGIH`VkmsyOK^$7{f_A8|4RSL(l0Xb!DYB z^Y{TXFh15k3P|$C9aP)j)5n(_Add=CX4_6rZ1~>san!R*>zB2N#ZLsWI}F!a7DxVv zb6=F@oAzw}_OD$`9)-8dBuluX4R;)>N0AtHncq{_@E&=dZWih-CvFf-UkdWAw9WzN&qJ@3`el&hgT#=khqjN1N0PRXNhf&b>l{7B@Me(e@ACS}(+5=Sk zWjQAbQ6%8TM~;Y!`auQ=%-62ooyi76Q|t2Im-}QyB&vZD;BXamYj85}=Gqg=pxW!o zwNF#-9P*baX^TE1pZX&7_{lI**b_sT3#DheLAj_ZAz!qB3^iKYfY=W&j7- z$;Dy{SFG8s8(|ciiD5QhZ&jca$%4#6^y5VbiRAao%SnLl#$eiAdGFB^8%Bo{N0{rb z^+sMP?x?xU61S9(#qK>j#16`-D0jfmZoNtyPw~YNEX+4EnUaH)5WYzVBERn2r5Q(N znpOt?lyE*5l#5RPnl^@Z1{&!MG92aBMUJ+QCtAntGsP&(xFNoMQHf7r=#jBO6Uj~^ zn#ZQP>*4~!PDqyMYGcvCMeVVoC;mX|Gw*sMIp)-HdHAV;EK{x~IX!AVS2P%yF3Io#eDt2$)_{1w@Bnn6yq+puzgqScFBg`a{}hO zzDUKt&jlAQ6iG^LpxW~}kv>zlNTP?(HlIbz={h@u$r6Nx;YKBWM{CB?1pUIdJ#|bk zE4@zZv48Jiy}QWeFJ?a?mDp%sbo#AiB4w5B{E_vnxl+#Nu-E~Y@~j(ODW?U)d-*EQ z$n^I`W93=pfS2cy{VLy*q^y(q?~l84Ibp2Z)C*tuA~>HZ6ZR?%7rt13$KjU?0HohA z$8}x_f7GDF7^}ispdBBW%A9J|oV=1IFTrd9PLZt|R|GnC>}GlkifC3!{!LuogEV0y zUzO7@s6n3{B>$a!iVx2_{#J01SRdE1jvrL$P8?dRW(u<4G*c?pgQYbEv4JG9rf~W} zF<6TB{MFhmzimBI)qvUM(oIL~w?#7V(h0myykeiIEvm5D-`0_J#%mJ73tGYl091nC zv~?8XOR2AKBMEVNf^wa&)8}=8c$|8fZGbS268IMA!pX#EZCd#aY;+jMgBR#^6 ziw*CQat9}4hNn==WXmpqqAE$Tc&5aCV6bpzhnn=zrIL1=UOq-#vMbar4r2y^0dl` z<+?}3YTM2Bqueqt=ED{Jr^%&U35}0`qvGX&3H>mvaHT1! z*a2Zfzb;H2*BFMs=~c$Psy7WV5dVrpyDq{QXVi*&glSKqnZ}0Y;pT`wt>evX*l0rm z$G-MvetoAta)FMz_jr>?;{Q7mWJ~N{tBeIC8UFlz-m4_d5}OZmSZ)+iRad;!b>&#A zTcOtJiRY0U16;r(l~9FrqGLzDL`yCy1$adlo^?uP3DAupI9TwZWGV6C}TGLU{$>wL&wG{ zYkFY(VfanTelfXA@0UwncE?%yyly0AdRA7@Up^z2h7 zU68?G?66gS*Do}vVL6D^6K+xV3cyF6=}AaPnCY>-nDhSquQzke=`ZHMW;t8KKGRs1 ze`~38w)}o1`#;;4fZCD z2;ouQTtxq&k=?OLs3Fb&3nX7XGTEZ_KQQ_D#Z0p$+hK79Lq?mq1gWbJnAS;D(jCa@ z(pg{s!)WWu{tnyCJU?}iEU3WJX^gI5Cmjp3RKSzT0QrFM|J=j<+?6Ch12)21a;~>0mnvpDbEa;D z-K1?MyIWn2_^_bP$X`KUF7Z#wS-I zkoMvLcpv}=GS&D7hjNafI4Zo9Lh0O%;@IjI@{EbWmE3dh-#?4!-0y;&X)XiJs^n|P z7hU>qIkk}x8!!R#0jz3-g+_7FVS694I}yES>TyKTO-kSBAl*_5J92^IPrp3srQd7^ zJUI-a7cu+15#IH`fxYf8L+JmW+KmUN)$HkW;$PNLTv9?wO$|J9Jzx7rC9vGc071n^ z{|f?6e~@T=5enH(=j*WNu^IpeS?b_kb8}uC)Hh5GX4E-cTIfEAi#}OT=p`NDMMpZp zzdTL*-h=6KdOKs6>G^Gddq)K9I=LYZBLHTyS4t1uK)P4jbXrWkAaWLh-+qF@l|$l} zyrV_A{Am7e=s;0StBc18;D7P4Z&@SyACmdy*sFfI2J%N{&Q%Hd!{iKg;niqIPih@l zKp>jHLzM#A-M~V%9yPz|P$)5iXL9g=Ai_=7=1tkM4#=^e(xl<(U&K-enTQirJcX0b zcR1x*Fi`b;b9-mUj3Yfu({R^_ea+V z+lg50J9sF{`usjn)gUQ=I>2F=>!WV=3o7D z-eTY;?R46KKE`I2=ZrR!(j5^yg1whwXdl@V!Vj1Q1YsVW@1T1wAzy_#MFeICgVpqm zS-P9dK2(l&m3KhM5=btDtlArU{TY-j*Dlrq_0%;gui>4u5H{BjJxQc8W(qAnav(co zYngaIZ?5bMl`#ZSIR9Lm?F)eWhQvN*5Yi|)AXM~=PBWkHj^v_M#b(KM=uD{XIHVsk z^_dY9MY@?|xI*O~T@|FJt_(n(2D>nGo>O+cP>v-|a#s|iKW->uO(J+pV-G9WMZDkw zKEGf03t)GLvWGscIi+`2aw)z+E4gTflb+1HrVLM0uFgx7ZM+a#7|%Sl6KTe@t=CA>&NCc%N1SXAPqY55IMHwXb-z zZhwUPdGazfI<#3j7zf2|n4gtJ#Z2c=oqJ}qy3{JQ^}@|qKpl#E8|0U)^P2w)|LEQx ztV{7f_{U{1B{GAL=?3YCU+&&;-)M9n9O~|~-=Qbqf4fXt*3I&cVzOehW(h!3qA2Vv#@ECLp3{23LZ^#&5iTPFE=@fL^=x~cej9eJ z!kaZLN=R?gu5u>i*9wi6uD*xSlfUy})tn2Ydco$kNbM$)MMm&xbh79!mWCMSga z2tq-r%AnK6lGQfO1F%I&#|P4VAESB6lO8%`$)Vo!%f&IUn&bCiNV6H*Efn=mX`PG}S5mT%2^?@x zOyhbL`)Y;wk?^c;nz-(*hi+f5k29Mw@@DWf*dA2xOb82$EdFU^G@@vOk?WhO7juft z=I2K%K&2a69I%~t(X978`7dcSjGC_hHps$xN~u5ml$-h8mxEy~y7s)EzhNJ`pA14~ z5wW33@yka_OfK`wh8px#?|FpHEhupL^MMZayt+5(;x3OaIXx*DeT?A)csZ)%$Ihm; z@caH~*E-*8czXjL7{Vi(@-8*%77SuHvTsA~>0TDSq)%aVRyVde(fOp+2gL}XqQ4Hg z6^nARU^2o1o)he!SeL&E0ag!uy0gnL9y2UNLsFa4Gk<{XS~Zk?oMnq4co0e zdGBd|G96BUv@|tW2^E@mGXnM(vd?~?-R@vz{2BAX@D|(@Z~lt~8InPkdFlgp{_rmA zD*Ru-7O*KGKMli|u3o3If4^OR6BuT^5P-e-TzPLiCR@wELgpF&%)mth$ESYGF4CpP zs~&KUtiaU|XzXEHpH1IHANBg1)0zBC_G}Ht*^D?y7YuUl$3bRvda6<)PHP~Z3|+|8 ztyP)tNeFbK#8n~D#?ySug;nQu^rmR=IX#hxtZ;%6H^O~yUJ96;r_vPO0SC}c*xPjX1*X>=TOA zu)*Xemw(WicQCu|RV^*IIC`e2`(w~T5uzP1cUp=KFU5{~Mnw5q zn_|GkDmCKFwGsDe=*N97Rrs^Uyd-$(7N6~2y8OXX=jF<&e@0;KE>3V z__eKYbfH&Z+sv<=+b+!F54=y~!BxTrgiGr%Lvb z<}XQA^LOM2=S>>VpEVInvRXpt4%Ngv{Myi!2Q>v`7DH`kWw!$uXB*ih_jMw6dz>~rjLAKjbxkB-_*Es zb>9V7`ECr$)KCSs#3tqfWh5G&T>Z6*6l+wv)2NUU&&e2&bbyb?rOgJQ_`^fNwbb{i4H0E-ZTjO$tYA_ z>zng&nRJIYKA-If1n$s~e9M?^@sJQ^oQo`8EeiojapjnaT+^AM@osj&2VPmZf3UI*bc<`6}kTpDSa@6Gy6`pxbUl zleT0_fa>FyoT;Civ%1K|52Aub)prBRndGNjBVRff7Oq$#^BpP=t|oagB+FIU&oMD~ zo4Mza%9m;LXO=e?^Kx`X_L#-3AG9~<>V0z&s}I&mBnKuJ^n^{UTq0OJGBrV2bKr>y zm@l1qiMIoY0(B(zOk~?&xsm39Bbns^Gw*m&4Ne`~W~t`(t;3(-*pCCgOzIch=1zrD z-NwCkabCX&X5qe2p@=j&Un&o%lq-?EMKw~2)TKXE(cqL7X*Q=Jt`KF(S{SeH(EVsP zf%~JRG`g=^yDW+D#RH{R;V1BPw9%sXBh^=K``-B)^ds~5rF#uRm`mwGn|1k%=b=4y zh;jJH{H@+{m#AQii0sOtt4r$#n(R%&(nxQO!<#4R6LXs;Q_UayJ}56W1J4b6JG7~i zb=z~mSV|WBYx*}A zYjYfn3%+uCRv2WssN4UKHUp|TW+l$gRHD~F6jxk({LqJ=8rndi-y8wAJ=X^ z+U_ej9D8iQFEXlEyFpSsA-II#cI27~{&;Ka8W*#LVJHOG88tAO^($*FRi8H{rb#b# ziVvGW10%!%pO{C2G|*Zar)o8)>)n;itwgCx3zeGw;xjhtZZ0Ua!fMw)FT8t-a{pB0 zdwn2*LrdO zPj^df;{b|DW%WV%^e=d})dE{zQv#J<>2kc?jj2XOFMndOEYM&(OUp#W%9{SMi7BeP zQ3g$6YHFEC%Wuef={RB+zKtzkpkQt6NK8A@wOS4LH7}F1J%EMsj}GDdCi=g336h*! zHgIjI!?qa_H=dE|J;w*2sr7XEm6(!oDhnuU^1EYukZtbIzqD*?#3{?FX~q?k5O+|4 zmE*7ZDX&O*osLckbSd4~ z=NYl~mwB$j2=0#(6%)R$rxD@O!}sGSr!2Mph572HkNFaN*7uJ&(4aXQ&of~k5?bDI z4!*sSY+s7sd)IP#d!c{PuVG&eTzR*>N=i|!6fmoK8+ugEE;QOhg>B(iDE~$P~&uag(!8XQn*mqnf6ubzdQi&u5wgAjA4d(daT1uJbuIfYvQ0&6zyw;M(Fl0 zwr{`X?D_m~t#%%##@j;fBbIfuACsSi&$syux)WI{(m7}$r~`r~!23DUr3a8LZ~{M^ z!ktb>2No3x1Ito}7E!ahfX7q%n&+BKfH)(<8GnBAf_cHzO^)14<+ZtirQeHCR@JE4 z4rrjR;U}SF-X1N@1s85N&VK%kwV$Ob9pWMEvfiZh;}@NFw%Qc);cBg;J?26PnoYs4 z9WA=G!g755Ai|73-+uAAjM$|LU*v-wvQQ8AoXiyYk8T*zhaPl$GXbk{a>}k%D4qjq z32v!#!~aMskPFQt#F!(1TS^L60GbS^2cwpAvhZ`Jx3LTgUnz7}hS6{O~J z2&<6E;x=&tVZDoyP6COb28PdI!O>4YVOxNmm5$nSJX1?fymM^E$(*RID^>8WiO9a` z+V}t1T~s6ICLQ>ylN3ue55xXN0ay~mbcpxBx8GfhUgt87KUEm-=6)aCZ;}^wp7hCH z+$VC0H5#q|!}0j^ko{w;8{B@-;`jZOsIIM_Z!t&plA?N6|3x=P^&G5dX&NKdcBzh& zR_azHZkCpnpzFcwmu9Z%_x(=n806FJMVTHeKhb%`a>Xh&Z}rz?5DibH`PS-qXhdwk zCaxa~Gh}$#VNd~>^MiR#AiM_q5NG0kk?h+O#1No@XJghPbTpTkE3MHbzjC^l3Uw=` zwot@X_#S>=OZQz{cgGD5@sZ@OjqX@1>#~e+9`1 zsl{x%q_9Dh|JUy&0AbA^q7H4?iJ>`pdHy;yO(-%HkE(m6i+tDHb`(6&OW68PF4 zNp|(Ru@ZaG@>h+bma35Qo51Z8H=VxRT9clsV86wI?wZW1&CF6{!7>@|VkA5)qBBd7 zAuU(`Catuo&=z62sCwG-E=5!9*qi|iKCdIrwe0S4(FyI(JhB8j`+V>sEy6>fB~rQg z_T-TZ?Cc_>g?27aIiqa5UC5$=sX?(_A_rCyLb5G`Rc)9`cU1da#V_$f`j9=cd3G;y zrcF?5(kGUYCz+WPdPVt>l+AsVWxdmIk3X~?`T zsau}t;YG}xz4?V<>0$M#MR+{&*1yO2US~ppLN1g1&_(Ij;>1KKyk%Z&k-SgRrZ|x@ zeBu62tmGj1+)ut=2CFuJT3mX{qdM6(^Sc7ZmE(zU)7rcU(5*WuK#H#DM6@h38?rD$ zI|8)7ygRuH&6@jAS9u&l%#b7SLh3oFX6eGvv56(cDc`~o#&iFeG+blzkP*&EkA|rr}Vm#dktioe_cv<;vHCl2PGHDxLuLXDQ0B+AFliU zg1_>Kv=oAZM4JJRRZqwkFH~Zj1j98GzXq%=5bLqNgZ9|>+1^h11BvZN4dS{VjU_!2IpIutH*h-CA5T&3qe%v^ zYT41CFi2YJi3nod>V}ldroH`8H$B*GpO)EowzkTHM`Vp>uz8Kt;^&S}4nXyH#5p|F zI04o14xY7a#{Kw#$!yY1?787h7jTui`TKCX@X`~oe*%o+_hQ_xf0-In>I+6MUyW;J z=rg3?M1#(GXjlJck?mZh-(=K1qYXu6MwzN~rpr1DPo}N#{p=Vnkd9_|`Yi@Y7{5JR zy_k|jn|GJD{trsK0C2uMqy1|RsdL_ufvEeZvYCLo?lzc2&Ht$}?R0r21I5qNguLsY zhDrioUuKLP2RpX^!FiEHUY}e^RZifu{5qD&UhicgOqq(QtY(YVMwe6|Kceyd9@D{ zqE+hMe0}j;3w(W^S@g?~@FvoyprNIe$w+hG8%h5A0!~z>@7?*p{l(4&)F|cp^ywo( z-bR-ND5mcRjpA-sWfLDnyALYU%Ue7tej_vN1vRHYe`R0(g6xCS44^3|g5sZs)bL>x zfIBAd@Iq*GOZXj^lQ3Jr{nwvH39hCHIgK)*$t-@22LS*8gMxy>>*1)hxMI&x-cyWQ znw?rDc|@!9uQTD$9%ZNIdnSHZFVJw#WrKm4xy ze?kjT#|JnTq>!8R5$nKz2~^gg{NcS+L&>ussHIB5q(-knrd{nCDyWWO!*(|vPX$!y zN+n|8r^T!>4&E!=JcfI*LAmjXmG@PDo~|Z$#?m?O_t*j%SPDmtVg*^Fp^1SNSn zF4s$MjIIPFLf2KO1*lyDnD!WvZ1-1{9Y`+PT!(9I{&Oi!Y2uZ%UlvVrGwPjO78kJw zXEgAqzExMm+AbYBe)GFMti?W??l?~8d>dPggnj#^TJe_=sBJ~q3+e-M-t@n_5V#|W zydnNCz?kNW`<5ux^r&N?`O=z2Vt;NcEs2?DEiByBZPVqGMu7-7*1$Ciw~W1s9dPL; z6y0|8dm{CV*Bo=F4WDPlQ}bII-jl_eR3BTz4iDv(LA)q|GOH2YE5P;J+wN;*tBI&V zR?kn|9QqWNOSNW~RKFbqABmurCy0c4_?#xeBkDl9YT<0r{LtW=7}9ktoMk5V^4ZxT z=9h_EmXv2N273W0pzor%tz4p<8Mf6Qu4tmMT$Jof@8QyR>P3Gc;=BzT@cOu^=+0;d z)j1NlrsHsju70;^B^SLVhDzae>+{%XXFTMVBh+jFJ1?b-J2|5I-<;DEMVE;j39%NOG_ z>>!iT!U*7}PkGDQ^`1`TzT*C#{rdGDkaDgJY}_*XvRUwtdSTUqH;+2{JYcnONgj{= za~Z6ODHz}8RFr08jwzfj&Vx*)dlf_3xYwe~FMR$-a8m18E4An?{t5r-b2cfJ1}3|O z6R&rvaNRdO<2a(rLW44l3v1v&uH@;$rrG%ih3{+O=WEwzt2zO0NaOBep1tX%3|&-0 zfzDJcK@A(@x7IdgQpUzP zPZ1EN_TJ0Io|j}SM;xci^*BUC#G*Q5E>1SjZ`X~C*azLgjcM#k4`+@TSaKFHpDX8M z!*<>^AUa(H!5~Rc)v|)Ip_`pbV!`zs5mD66RNv=|ruqo>(3+ei+dbk3)|RbvgWBchhUO#;B&#VvW;C zxiL#(@V@)yY5H|l(0kpn4M~#w9MDeP?+jiSDA0xPJ$S^Z*GBMS3|4o}` zXcPAPA0}d;^oum!M^@8^M6cd!LMvLbUIJ^&slVDyZAT!`cUpC09ye|nBBYzq5M{viQF0tkz61G4IanJUTeop_E?cvh^k0%kEpjMDrati&xjoYrjjv{yo zD6D#KyrRy!OC5sv0ScaO5{Ax^`}jNm+g<^ef7_TBJ+*ZExghk~uR*QiGn%l&fo3(SDP-=l$<82XO?^k36-`^$?L8&$0;dCoXg@(6WU#B>4+Ya z0MW~qrsT9WIq>KHFqF%jW>*R>NX){(lx<(y&!%J?sSon}mX{X~`fH*F5ewPaJ(5C2 z`}P#_6&PG~nljyZV-KO*cWl_#R*VTv=5=zITvLeUG7k>wM(N`iBJP(DO|;qQ6lWb; z4)%{+f05im%l!q2RA$4ar64aC0{`1=z1W0+R30OC?T!k!6_LQzO*n>)_J8@U0;hl8 zQ4Qi9HE5X=e`XBhi7@j3Xdo7NSl-SO)789Ina+&=h(DmG5O|Kj?@0D_9v-8=*a?PZR?Yz6A6!v|; zAA1_AlIlNv@qhipB;(LEj<1@ta5`SAl z+h{q<s_PZn2Sh$pTGHHZk?4;zl(<0^wEgCvjz7%7_C+}egx8EIge!z@AOvI;4$^2?& z!A>(oi978`*o7r`FiVh+2_+R02vI)Kp7ve%^iO~#?%}D%h<;5U{(jF0K6(Xm)=Ws+ zc;0C#yS4bv|I|VWlT^#vTP|Mh)r+zFjNBBTj@iNS80@TK-1Ar9wC5rS!x;cDj#)PX z*pKnm0aJEt-8o%JxU@hS5&5=-g6r|ZxA<-XMqS1PTmW)3WxFaF^RhK6X5U3asIr$J zTL7)`22|@8=BM%8giozJcP0A4ZYj>@3-T9Ilzh2w%UMBxa?YdU$Mf&yyTT7m02ty> zt2Y;fa57**_r&`g*($bRgomGBPro&XmN$*hnR1eTnbqO<%ra-K)S>B5oI?)Z^@UF} zc`2izODz^u1@IdVC(R3=*$X_9hm3gks(~zfAV3r1&!nS*1Ph&wNs&k7V0e@tn8f>} z3yRhkZI-xhC5|V_s(t+^90xv>e17mbS$vrE{K2k!Ea}&=wD3xy7e`(#lgeT?DcXZu z=ysxdi{0)i6FR)~kgH_ZITmo|x~_uJL~PI{6%`bU@;^gE^Jpmt^JheB(HgOk zb1vJnky7%;$xu9#?SwX}+*vasNQ){_4^ zwKXLb(_a=)&1&WO4iDuYtm=<$u@s7YRLeD+3AGCzTXeqrN@+|JP7~Z=fsoN!QM8nw z`Uc9|b20FXIfn3q^fUikTLm@U)7=T)#FdiUoq*4syf@SZ?b#z%cJzv3^|ynGqQ0bb zo5o?)ezVEaw&)y-$*HNMCQZ`+H}nK7p(m34>D!lbY}{WQ^)C-X+q|e$E;)*V$UQ8b zZFg`nIg-K5)z=?hA+dSGxpLGR;WXVq84l~ZNij;o}lKV2}2 z8-h#z9GC_sUPDx#`8FWq_I^21=-(WCuCLfvd*}M{1cBPMJ)sV4ZrzV%^ADlsGR)uG zc0HF2P3vfWbDN0$Kh2!?JDdCe$2;`2lydByz54(bj4;_9}{Fgiw1YM!$E@_xgPQhVSq9b=}u>zu(vWe!rgM5mxxe=}*$2 zgKpHn?FBqZUx?vTBk#(ADE!vevtW~Nsp;u1Bc*1*X98FNTAW;5 zUvaN4*ELXGViy*h$OjXMpVoe4%<+}p{I6QnsUJ#=SG*k0g48{dXXN1ESpUG%bZc zJ-4^_UO@2k01aVLzv@4E(qHi2mjCP9imZ>vP<#MqQv5>!Bi&`iW*oj#V)R~I=w;cX zSU0PuYzRgzpDj8|UtGhiuT4VHtZ0h3h!yg9kA@*kM3U$;idh`H~DPG@=-sv(?mz{5z3mLFZ-~Zg^ zKgOst$)IzXWNhFLysJO1Vc&}nL+KE3GfMansP*$mO>>P%khaV$?L$smLf+&EB5 zfOGihammzZ9OGwWknitv(x9PPXTs|_b6PDi9+uKEahmXCihbP=D9HL|Hul;L&`}kg&#D| zA~q}s)6`a>tGAyd1oNm`*CHdR&IA=zi1(h$ck$!2&%TS7$bW4QT_O3V{!1wV#c=SSc-K zo(*2k3FYxCU5BQ;oHSWm!GdRo7ZV^bS?uhx+X7#~i*x(Wyxvt#a?1uX7j|Tm;G~jo ztX^?#r|W*^1D?GM(tD=}{-?j84%@5{Zdm!~Jizt<;2@P$8znAs>UGQ0b*NBI0HSZF z5xJ?)lGMfSw?qF~eLStpNpgqP@LHI6H{SqBL3F%aVOQ<{DSX}ts8uP4M`*NAC~t6Z zu=>U{D-hVvHgDc;xQapyf1LW@XYnd%E{dm+SEpt?V1Am7VhFkJWwHLc-d}=N94(Jk zDUbqHpv;`}F|t%9`QBLL2TvctKLc0&=a!UrkAU1$QRhw5tTZ*Y6m}M@(K$C=_?(#0 zYVDOj;*Pue%;fP3*;Vo5k7qCm0y0f^A0$k51JyhhgShK5>2t=sxz<;ZX{Mf!2XxUL z9rs#eR@%Wcp{M)fg2vwN(3bz|9}vza)Xw|h-6a@uH<(d)R+mUgd*JZtzFf;9&A|z9 zjSgER(uWyi6uvLfo{5KOd5u*hh2#LG?NCnrw{_j_TAnaZqdObVY>9lL(aT1{p)gdK2!Av*I!zyC}(xuZF5wKo}8xg zd;5~rc8z<2rXnIP1mn<_K&oQUi@$3N$L_NK)SlmNQ=tk}_r2APXhx*T#OW7x;CxBho~Rlxg# zO8jLT7V~A@KeavP<@QqqDH{IF`@TJq4gpK#Kdq}BWCRrV+5OZ6CDB+suc41`|0qXA zCH1zMz-C#th%CHuDTXv-7IviI+GVitEFvOepux|PW;-TW<=7@GGcE7GXy7qX2}q_M zuZ}Pr;)SyAxdP+QIk?-|8T8JF>{{RRbZ>Ed_*CgUv8X0d!CM8os<^3FZ4>a`#Gy zHZ>eG?#|osME%cnj5GZ-NX9=#f6TG43fZ&cits(yoE5r@zLq9xKApCj!zFal#yh1pm3ni4-HtFxh zoYnk8$Hg_^>L>s2yhSpE zMMK23A^*p3rGi;i$7StFqMi2(LSOEtTZ3kq9;W6P%RZc{Dky*gf}q{zOv_L9zJtub zZ8grPdLoNC`p&9saZU=^fR5p$vvxn&EAL?;|zM{E+ApW%)!=QE@cKyZ36c-=!S1Sjtz|CiXOts`$y=g@nmeUc+@W z94@S6F`K5fs!1ivKCCObWZz*VJbF}ja#WG;_~s_{n>&ByEwS$7alE$)qB*rH5Rqk$ z{G9OpQtFIi3zDMvOf9(5<=>>&MOV*L4C=a1gKw3?Yf^dVw}l%TgPs5Roo=dKi6Ca( ze;TlcV>$haSy=F)zO{@#FnwTSRTqGCbaV~#cHcb=$(@lKz5Z^TL!g#lvfad;P_;>Z z`Fv+uX8;CcVdERt{^ZbdF3cW0EPjPZN`cl*FGK}mn8jz|_ywq|%sS3W-^iVRaJj%R zGc9E^-;!W+%S{qjwjXF&CdG5FG=8X2QR3 z5EmAwKnQ+tv?PXoeAjpEQx6{1y!)k-W$Z~V@64CxbAc0F7h569v0W2G59a_TnXiL& zbXUKx{`>7eD>BuXri)M+No^)L0kgYDe#9aNOv+h(zDXF7H@glwL92zfsIUl4@qQ! zL5rDgelr!5)%xQvA~=IUL97Y|6zClo*X;uKVrM}Ui1b>-BrvLz_tm|)Jlg=FpMzCn z&(yw|psbkz+8i%dm?a|zgHBnsPE4~>*TOFgCW`U9do2uxJQuQFqed5%7ef@R$0i_s?PH_ElLmWo~?(rlVqqnPPJ8`~M#k5wK|Lu}I@;fQ8e8j+WTAd%_>?ZkQ zFE`F=?xOlFiJL!d+^=2a8~=5*fNRi%9TpJl$%m%b$$fq4>^;hL`fA#D3WJ|h#UB11 zMsb%MZFXfIp^>H|=ZuVv)1MR;mRBR#8=^-2uawtY3adK%+t0&~Lo?FRl2h&1a1kIY z>5<*nO+26(NM;-gca3y$tXY%yaIZSQcP6q<%>=J!2&zjz#BD(zm^$faVK!S z#e7;^#Aa0h6LSeycXFo-4cfei&`d{ReM=R%{U` zYwC9Jo*Zfni{q*0G@^^@NM$UC*hL!42j<@yrz#fo8`9ROHIFy+7Z%dCzwF(yFml(7 zmfR=V)7G2mGoF-92)3V9b@SMdxO5><*v#>0S7{KqO@^;;f?AH_ww5^c=Wo^}<>dE9731B8CtxCzJg zBB^-V%Hqt1TVo8_Gt8hHB8@;+|YN=3p&V&d*c4NOm`mw-PVM;dJ5nv`223m}uW zaYdr>d?e&_AP*9?7ht&g2MG54z1w{P;{~Pf;Ba@GVM=M%5eUTj;6yV>2^O1R(7~{-OzfdRWd=s^$Z5-4HX3&WVwX#Ux@Dc z)rGxLgo>8{HlQHk$0=A&E@LBlc$CsD__E?FvDh%f35q2HGZ`%jZh<^V?QnDsJO3I8 z%eE?hnT(X&D=h`nk}Bs82tua@^vSfi`+K_yV7z(rPLC8;OuT1WtQFjm1#Lm3-Y$J~ zWNA9#;kk3mlWhK@_JM_kh>|qpsX7+v6Yu{3P3k!|tQKFgO|2Nv<&E+W*VDme0~^vU zev;#$)W^)sOc-_g`KlZw3n4+tmSr$wrrewQ1?CwR`RlJm4HgL>-FG!BdT}DL0r1g< zp2CiUHNPK6(0TcDX+P5Hi6Q*Fuxw>K-yFNd(hfaNOEyE*qbs_81|6XG!Ydxi>W z6`ryM8GTmU)>xPyo7*EfXPDjex4(*B(^gsjRSk$bo_MSH$92R#WECTe_lT>c*j r_0pGLxBkmiH3I#A2dql|^Xno;#tR=`;spmlw&!5F#`mhAP7(hD&X{J) literal 0 HcmV?d00001