From d1f03890343407aecbdc1fbd192530b9fd2adcd6 Mon Sep 17 00:00:00 2001 From: Yifan Wu Date: Tue, 13 Dec 2022 22:44:22 +0800 Subject: [PATCH] Remove K210 support. --- bootloader/rustsbi-k210.bin | Bin 94904 -> 0 bytes os/Makefile | 36 ++++----------------------- os/src/linker-k210.ld | 48 ------------------------------------ os/src/sbi.rs | 11 +-------- os/src/task/mod.rs | 6 ----- 5 files changed, 6 insertions(+), 95 deletions(-) delete mode 100755 bootloader/rustsbi-k210.bin delete mode 100644 os/src/linker-k210.ld diff --git a/bootloader/rustsbi-k210.bin b/bootloader/rustsbi-k210.bin deleted file mode 100755 index c53ed1fc198816f8d4a0cfec958eaae3f2976cd0..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 94904 zcmdRX3wTu3wf~t3GfX0n1dM=+9TF4a6s94PC{*o`cA`?XYKv7{?Id_c!50xH7Arcz zCIWGUOKSt$*9g%-PSi*Is+=wbovH?P)bGZK|v8lk2Ki6$SgIX60*VY+5t*jdQZzyF2&l zPioptH4Pns9=%r|3=B1Cn)YVQbnE@uW4E|8JvrV_r9;V)%+@>J+^)1Pp z8p_w4eBBQ8xI%fI+2&fq6>4nDi_^b)S3zWBXJfYqDcPp9q<8qL>O#vryR~d{7NDfm z0>iibxiV8j`Z!9TZ#HQz8rA1CZJW_(tY5Bo1$rdSyhPI$)&#mrd&+wk^WjX5@BHIC6U5^nqDCR;N_mrI*;FOUU>!>aJ-AF?XK*3$j8U&9iO>#vnK_ zKb04Eg|=sH1w>h)8Z}lAr|jRmHg;1DW(V_`z}SI%!|KpGvdwnPp57bir}_KeQzBa9 z?VM&X9)2%)_P6W3pn#~=Yt;w3tU*_0;rM;t`jF6DFoM(`Yly}@%d;-Def%!3qQslq zjb%QXMftWPC-zoHDvZsZdTp^sZ%cGEcUe89LxDld&NhA1oBT|vM+kQXM$=0Aip`|8 zF*{d%T}HTilo@raSGOEg#ip`R4S}V{h*-U ztWZ7CT{pF!hT0$0JM!Y7w#h<&eXeaQiDnB7T6dH>(8BAoOYxJp1s=kptjg6jfd;*+ z^cCGM{l(^due)wj>F@Mjp?ktepbIOMxeFldq4^1Pc~r{cyg-LlUtr`e-`JgNZ0z(^ zHMT8wt&K6AEG0VeJS6jB{_w--B>CA7qLbi7Bk3gkxsO99$yY|uiIzzx!7~({@J!f0 zOw&nCjdwurwR)y802 z_a*w92d$yzj)ZN2Vj4A}@bE7(A-B7Atexs8INoWrR@O$VYnyw0)wz+}yWCIAAii_j zRyWt?(P*3Jn4kru4Yz<7Wmzk)WD3$>28{m^_+4O&{(5@;X^t1xc!#h@bRoB2|C6HG zVg1)Mp0k$j){cah-AX;9C)ZZ@jChu@&$Sup%R}dv?baxbxZZp>C=>DeI124|=c1-nXZdE4-De?HUGhnel>1t5I#JS^YbuO*EbF804V9V0PU3 zwmBbMEZQ196fOc4WkROCJ{mHjC16dX{xnw_Cz!?D{L=~FRA2JLuCcS?Pt6KRCTliP z4U*RMeoM8Qe2-LA2>v>M8b&-g|M}`7)o@Apu|noTq(nYII<-&b!6-30vLZ z`uIz$sV?hb&!#Ndd9Y(}>Eu6gY2N*)w1-Q-wwENnfUN_Lz#vH``q0DsJzBzEHeRjT z)3$1L@d9J5K@y$FE{x8x>ii*syxNhSgIYwYnO8Qr`R%mFlA%T*=9_4zP#2xBGUv9c+8Rp|e7HS$aQY z#c>7ENuH)6m$tdS2wd4$<*w(vUSN2fJC$d=B6*sIJ$UFT?DP82rg%2~{?wd^zgx|G z{9R|xz~8d?O#Gc0pM}4k_{fFXYdJ4 zbNUW0hGcOBJ?g*O=A>ysq;(fA*sAZcoV4U6Nb3Z2dYL5}qPA&Qi~O>`y{_dF!x{qo zvs2|ijq+`1clIAmD+MP^j+uHhh|g?hGL0d?)FAWBFHxjPp6zYD#w1>*j=pTX8+|D_*yZyQc0}@ z3v;P#o+|6NcE4CDt!ykjdsjhysK{wQzF~JnwUYdtWoMgSZY2jamzxV%3Otp~^#V(B z$IKUV42C5JSkTHWr~Mzze^ED-hH;DQ#U(~onI~6PgqBMZ*b<{Xx;DRVQ=q@_!d<%L znA3&dW5!t)~zwpjWe{X&F->aTpQ+SbUR^f$x z{=x-q{=$;i{LSw_dzQ#rS_raTM*#92W_fPmf?c5A6$UH^k&@22-84$fbzoBnqYC7C zL@GFJ6h6Bncg}OXyTKA6(1*v76zq;}i!P3=Dev0=NqA^oC}C%VL-L*`V^s1?1-Dg! zUFXUTvX5ci0g@JvTYG1RrzC5sS6j8wQ&KpUcZd8c&DnwVE+q$lS)d_X0c6iHyNSpf zv_BAkC!VfGe2>7BN4PgCoPFXF-DWK*OLo{Aw@99DL$#0eBQ316yMNVkO-;jq)sg6e z_L8d)Z}gS+H@7{l1qKtHR(JD}L|>Dkfp700Y_e%~!c$1n;XR+zLw}ca8*@o}M@6)$ zp33j|b5rm8?}Ojwh_$7{*k-tE+aumv+wZ%ib5VEsk5mQsy-kss6LYSovIJf;Gz8u2I}>$8KGsj@75{|M>^U6P1&=g2lHN{=^w!E z#`ru*Ut8mfL%c&@PpLdVOHO5wJXKlFEmOJnTU2(Tsu?^)Uy$OsRnw*~k-20B2~&_L z{LVOnw~rpjjGBfaXzq5R;{tG)vpo69OFV1x@7&Ph(WX3EUp9W(4BC^0JNqBe2iamb zUU)&D`_Rg4&>SpBLM7iMT+_Z*4J*#nC-%G7oU#0|=AQ5652Hn^cU7)udbYW$NGlQD z9DTG6mvLX&B!?is1bz7lL-si$->;2!4X@IIxx_(<>stMrLWx0eT$bn8Mv3Es`v9VP zmgp_m1Oyw&PtYpbX?UF-A|KEVS>U-&iZ+ud(QCAlZD32FHzmiPO&pt6inQd<66v@d zTyfeNBm*|wEtXmhYtzy4M6PG80y-RFG|`plnR+l^yWqN|p0m8yEiLs<9rd?n!@3O@ zl%1b-mZ$9eQqR=PzuvO*&mY*Yt*gV1v1RkpkQUg|GSI6*9+=$h*<3%+OMji;ghQ7L zdAY5Ws{Wqu+3l{{Wc9Aep9=X(Y%$n#b669IR!3k@-mvTzXp^vp(2P_>+oLjyb|W=* zAFYg8*h%!E{Vl|K1B3d|ANLZ^1m%N&3yy+5V0Vx(UV)v?g8dv86VReNs(03h0^Mu! zX-yYIEy$>WHhh6ffOi9OYvu9xYc^P{X-wQ8^P1*m0o$r~8-Wg5Wy)5#gzG|+A!-*o z#~umYGQAV}l$4dcOxlw@FTbYYNONzZ->NT;CIor!KmU$C9ch*vtN6cMs*9u3dK%7WEOQLp(n%>(Tz2ci{`_FBEW^hkN%$4GN(TQg?S7&|(hP#L zZ=`g81Fc@)biH$KZlEjBZ4o~6NiQ^-n{1ws^}-J;jHY~&BkFaL1A=w3YDu>zIbsj& ziHRY-P00_j+0!RhKA)R?X_L)T$346kON+mBBnYFv3EJT1hC}tUvptnARW^7x%4SRN z=7DUbv+a1eF65~cY=w15W#;8I4abFNCRa08Is~3cdi8YXwi-ci7c2xFC<-|<&-}|? z)xy`tmW`d8E^B^jI4&j0?k6%#eGE3(!%bTV3n9Of_X>nsX}u<3PZivC-ruNYS3W-7 zqekSfW*aGwKK4_mJ7PV1;@&ykpC3bx(Rb|Wy1Rl;-8xq7xMyK=#dRC_l8LoUHk z?0KiX`X}|n)-l!I84AAXLh;OV+Vw*+JH``@+1Zt+yHo955BLPDNWEuYBUfB_YhpAm@D|Qy~2(c?JhJ9|@Zd%DZZfL^4p#KMj``AAR zewR{?=lUl6ixu$YY1h&I<^8gh@F&pa4Vsuq5&uO$&SJNpeN&eY9){6=NM}* z@y+Vd{NVYuQFT7WCGDS|*z2w(TgC^RPic$^=IYb75VS>Cu2XYl-bi>LZ6rIQ^qA7 zBHIjw-_HtW%x8tC3jRskBTaFefwO>y3Zt~A6g#A|FZv%>@@*|RjcTXpGpZe|C(-f9 z>c!UIhE~+q8>(>%T{=Yj%O1tm&2K5|+pVp&1vrHki0T)qmYx)d4zWFVnd2ZBvds%TpS*f;5v-y^*zx~#*>rGQo}aLrPOH{0222MaVVR8oD~Sr7K2Znt zfvYl_!_F#S)$9;X!e4LPN4pW(Fw;F;^D%pfVKzUghy7piRoynK2POG4-}ZkQGb|i@ z4XsIEu6)_|(oW`R1biCJbdYQ=awuZAQ`5ek`gesyh7Y$8CKsw!{dZ=Ye`$e5Kv_(g z54_40bt(728gsQl)@P|7+$}Rfb%b`P4waocFfe(0)-JcQqL!!o^glbg4omDEmO5v! z6@9r=R@rUFw%R@Ydj@^eq31oz@O%YU*(Ci6KApDnitO%KWGkXpM_f~->ZnxTUUlO7 zAnckSYT>`SM9y7kG)i9UqVrQofE~+L5Eq23rdCzb4GU;KQAp@Ak);oW`a(@M!+9fY zl6(eBa>}aQr6p;JPS&b_v+zZcW|Y(;v-j-}%870Kpd9}P=X~n}>pYg3!(5Z;-MCG# zm1J6Tk3H27(+KU`Xts%KW=K(-6Rt{0QT!cS{t;4Ck}>vOfu`wdZXG*1_K;lpN;;?d zTr!z)s;}X{88u$}jE*zA&gr?Qx3>TO!3UY!GdZg*nYH0<)fLOy zm$@I@_F%416MRByhacqxV6|jvhAjcLIOc-wnL~mgUUAV zB8d1rWD>L!{XMJQvkobA?nC|nr){0En=D%RcT0l8*}P(?94ev zi)Wlh8tnOHrUo5!5}(&h@~k7<7?rYy9JuEI?n6;e<(X%!IiqhwqCatHX`Kc6wK#f! zN0I1B94_@(;8Wh{A;Wqz@s{;=;vE_VG^4*;N6A*Kup*xiSJOp{GW$^~FiB^e0Zv zuOkVZ&JlSYdJ^wp9xwuu0Ihcu@56Em%jzya&qWt3;(q-NmSI4D*mqCY4+S98l%{6m zS_6B?oBCU$$8q9kGLAp~tRQ0?lJ?8z3J6M!!ws8*SQ_-V`E-B6P0zV-Dhz7_^ri}< zs!rC*nss{5O{@`nuqQ1fAEW*mn`rN%(=S+j?fP}wPuu05xrxfV4QRYWf)AWCf~U`b zWd@cD_i)*~4Ww678ey#pC;2YePTdB>KUq zh<0J`>Y0zZ(tEM5^H`;}IfW#+wNa5n$a*2Wq`#0X0%?^%6m&Q%vuByv`0Lb- zb<3&-!F`mPyXr;2$Jp*U3x?^SM*{3n95pPz~z(#`6 zJR1;o5U#30hw!pez7*zW!n$BZ_8HFAq>bbz_@OD!J;p68Z)BGx?;iO0&`jq68zEh# zFHWT|B>ODWfABrgmq^EFE4=6ded+yPY#Zqs=803)(2kC-v9zY46X&VQx)D5~cLqS0 z)se>Ob6uieB;U?9DBv(TSh_j&RB>{XuxTR>_`7A5QUSO5QVS) zFo+iC(MlqTg=C$kS4rzKZ%JG8L=K_-9Ufji7OY0_p#X3^P(3m#U)k;xLJcVoBQ0*=>L#A&p)ES&Iv zoA#L@8WXqRrxucP^^RE>u|7210vR_-G%8+EB7wpZ2AiAGwXPxUAkgcp(z~D?#Hhag zg>44uL(PLYN$go~0Lz>nz6!83xTBjkB!E@uNnt7-ep~b#vYm-!3Kq*>zr;1z@3 z7&2{+a2(NLlUFz+B@UDqcSm9UV;qFB3(JU{n&Bc^r^N5p8_T@A!G$2Hb-*HNC&)9G zTlW{j;usBdBzl|_tza#D7ZUx8J=UOt;4F77jd()4W$RrovY#@y707|J!Gn8AhShC? zpMKH5E{sU;!Td5uMxBm1*ex&{%-e)(z>bGig`RDmgYU@BCcK96Fev_=acwg^1r#^B z1}B6=fre(Apaf@%PWAL=En7}}zrle0e;ho~$b*38?j7G2xx4a7w2&qJgtw6=LxZvG z!F0L(-&6AWcQ$)^-BQl}p{6w$6;aG{FSYxeXLk^uE8?HPtuIxzB3m|lHmX{&?`sw+VNfKsrcJC<5hKn-=&^XeK#B&Fg z55zg?K8(%M$D#j|?nB#5J`mNli9v>pYT1BnYPy!^38~f4xY-j_keT0tPqo6O=W&(a zkdePZ)7*wo0`a{)u&o7Pt=0R=2YlI^Q?nK>$E>wM-ssd%1R&2niqSf=W@XNrhqa~q zrg`zN_s~OVLCu=>h^FNjma*)9hM3D44@tSmn)Iy2zNu-t@u)$wmFUMQ7108hj;hiP z_orvetkblepdgvuM6a4%F7I*5-^W;dm1xw2et012P0enCX7|i=AN#){5LMort`q)7 z21H$%5Ou23ks6*`?jiPd^pK*3L`Nn>ol!O3yV9-4qVQQUic_?Zpjj1v7#_urd!$bB z?ddwfdo;}p+q$AlE>~15<#yi2v&*m~@76S#9j5)EOjryB%TDrDP`Z5b4y-K3&G1sD zee%T;+UGtxmn-PV%cn9XXLmv^BE% z!14F@wE3!{8+1Fx3p&uo^fauUUs3qDCS!cpV?Lv9_+DJIp|Q>BEp&sFJaARIq`g$r zB1-z;JrbuzSbc4>Cu`?fIFTbwN+%4lPUJ zDEjE*K01~ego8@rtVb-IPZz*~K%PAfQL-hF;}E z^ImlNQ#O}OI33@SaMRd&>zw{z4I4ea9Zr9zuxr&h{hh+HwM*rNM_8~(&d4|gg&ZMs z2QO+Hl1?UOQ+dhZ%skO7>6QZQckV*`e>TpIC-~qaw36mF_5-D}dTQJr+)4q}LdI~h z=OdMd?HVIfZwFuwq?nkA9%9zFFMJpR+?2Oq$JY6=v0OzB<>%l%B;1sL`8m2 z@C_K8S0|Q*iO}9HyCQlb`egmULw9ZvpLr^wyazObGYm^iHO}={*Pi7){t!;k2Lm2C zHLi$K*}AB;CD5_#Hi8~-a$Se7>_1oWm4Y<44CiV}^9$z-zP7J&u1SjUEEGzHUVoL}M3W%3XyXHIZ(O_Xyu4Eg$dn3qtC@FU+y z^OO7!rv&j1X+1Vh)`vdE*MBVU0c_lkJ<7kI=_Yjt!09dciqjjdkX0oPJY-{*-zg3z z(EU1drLvCL`%Ea%RaRNrqx9!Xg$jUu_QrP;Uq6jK^bOcFa_E=r2?H**pF#42uj;G3 zirykmVWtMMH!^ihbg0AAr)=N?6FAG&jInDnVIo|n_&ls3f^C8nGi}pM3r>UZ8laW$ zK)<!y9b?LYz;*?1K zRiGN3uX_G-2FxWy2b%KkOwV`#w?@i)7WFC{!LIa7VmDas=%4@SFK>s(ILqVQM$)n~ z=MFRN6U_U)nduHij!aFL4tp|7r_=ozk_z#Q&=`IZ+nBCND|l>)E)8$jv=uC2HbiN( zR*&q3hYUSR+N4v{^Y5zt)JT)C0K9B0i9WpBlSgM0fadHwEwlw4>-_p1L91gKTg2#; z2=ESCoqF_eROw2$rCT;y)p%cZAoqWdY!D)6Bq!?qsr~q0rDWxAGVlrV+ZKf^zLM4i zJhsTr3@o{$FGpeDB8feRzF^NkVI83voEjQ<|IQ7YmwuQxUf%|S^Z&O$9xP;iDf~9e z*u4MhU?I5dYrziiz&_IlrjlzG~k(*d~XVu!6l-wUz_@4aOE$~ z_leH0-%olG{9VCwBjleU{J{Lb&d7`(ss4V3R+2PJ{s*8v@~uUj^!=@HL7rc44;(H% zs=wodj}3cTeN%@OxYQ84UU;C|g$NO-*cMGH30MD(tx`o0#oEc$f# z)=Y|8@Bh!5bL$A5h0)0)U~JRh)sNG>1x_mZeTsb7Fg7D$1aKOObC)wEM>DNM3GDCX zDXZ`t?8mSi9{Z{FI=rj`?HNxbZP`)2RLltBvw}JugDrrXQYoBiQ^U|%=i?Q^NRIe0H=ht1RvYMNxPT?F08r1 zgU|k>^*tjolz1zF(@~83E~3CG;HT+v2Z!}H18+ftS0k_dZhGYAb(*$_a5<6cMWTN) zV1fQS(Mn>FI6Qeb>&MVy6erSt(CMtTF}hd7eY?xz(*{Ty+Ht>(t{65>*m(q}SCQpm zXLL&BK<#7R@+X>MY2bEyv5&atz`Ikehs|kdl2^j!#8w-*x0N7U$PBiHa6d)&D!gw> z_mjMoZCeI-uMG=t%93Y%TeZKDtsxAP79txe&W#!8$-|f(fq#Y5t}{E~3WA>C4Gf9h zxH>iJd{rxSyVN=WtE)3=8?hoVX4p_Cc}o@D1z|m@R-evsFvAbZGsw@z{IEzxmi^FXZSF;wa%6q7zD6_AhiuvG=ED_kLK` zt#`pc#9niW-oswZ$MSbq8{amtf8~Nxb}YM_C}C3c+psPbKD$5n;obF=Zeu^BT~P4# zWreTC6uv%%8+XQ9V@jlO!Jb_G*uI}hNzYO#+3<){GC5b%X4QD#hY!PWbLXCJ>saD= z+$At+Wfml5ctr$xG&*@TIC=K@k*IQJ*-p4@)GP$Igv@;<}J8W$~0*{0}qLKjxp^x)|GcB)10g)?QF97!6%x_ zX?w}vLw<)X3uhcT#?ENshy@%?5=y;==5dV$4%;&+b4`(@Zwl#S5!lk^ZLm7@H(2+Y zgk7S`S=kPadu|p;8emN>Q7hZbC0XeJsMgvt+bu98U%-l1P*>iWrdcZ6IAbnq(thR# zC!b>IC+~{t$FGVKUzvU81jXl)@cp|d#p7m}nzqh-!YDTa@P7!rt-q5vY#nXPQ6t`C z+2p6O(-4k*=icj#<7!ohpQAHA=#VMj6VmT*ia&-ZHNg8Fgq0QW>(Ahi|IF)?G45TK zhTR^AwQSsFh&4{TRZg_5Bag|B&@XMlF4+gV>t)QrE;>=I5u->j7x|h)`Tk+T+gk4V zs1tW&+Z>$FNy*Ba(|uFfq8A<7k7beNsNGn>H$GT)>{=G4IeZyu6_LV{{kd6X^|_qW zp|~KgRL?AF+k0c0N16SaR)C$c@cA9NCs!^cIfu)J&XKYQVBt>jvp$I=gfrpZQrM2+ zGsxT{d=g{sq4QC!dRW?(_CuZ*9W*!4qlHf6DZ2pgt$Fe4NC7yKNGP$hX+=9;1!cHF zv50KD9nC#^_!RbqA>2yi{dy){WvQclzp?Jc3ZSq$y`aY?)2&` z{R$MgF$VmRKZDTACY-EGJN6OMi`%1+*TTeeOt~KsSsTTjm|pfghJS5?QEWsa4QiCZ z$pkedOTJ%578KGc=ht|L0ns3xI5rQ$W{$fxdLQ3}qX-|&(KKK!VG~!Yj&cl}$-8`# z6FY{pMu}m=CC!s3_Ie|<=dh3PiNsK8o8E~%w8O$k;Fl<#CXW!mFQ{#$n>h?^@+&e@ zH6LNo`ho8f8lC+j>HVmEHGL(Q5$+GKoC69F+lt^IY{;C67Ej|UhkhRDr?c^9_)+rM z21k!A*ux{n*eXViE!olT_&@X5>>haX;lAFev8AJz@C^I!C)f+30#oeE1bKVJU7MDz zwePbhK95C%Z>x-iPB~m5VBF7R%#s}uHx`-3>*wl2a_Zap8Sw=*_X);yipkQE5tBt= z{VP(tXrC!CRMa6gW8vSY?k;l4*xyFnT^t*eWh228Q`S=DN%|wQX;#!$^WDWpCwkC+ z>=Ybrg{{9h=Ldi0`+9UXL!MY_ZB?axkg`H9*pfltEFoq?Ld^2yWx;MW4xG?kX1YSe z1&OPA%v9NQTnBIx>0|ZYR4!8^MSk(D%WslNPd-bq_&=MuE=T5> zpZVZCdvRtS@hkDdAPXCN_lKD>i-lLH_2$pC5RNQq7pjsPW9Z$?k`6aa)!;II#MYpl zLh+YRWY&-q4xFbj6#jF>ql-LJ=$tRJUT|6_Es_46hTc4ryhJ3D9ZArtC!DL2)-PH% z!6basgiWvx_UnSoNHn(MsXvi(hQ?0ee*_=mhBT}-N;~w10=mobDr2Lfw&bn z1glfA=Y-xrs&4Y`53aj75454dTM1g>EMCtwFZ_=(0FF3ioNW7KyLodlgShv^%j^OM``lGUtq0m3|LH|-8bV5T> z>1em>+`GD_)Fzxy-JP$wLd&-7pfZ57z-Yy3a-cti7TvcB*DbP}AYE;4*xA0>^Q^nX zC-fYSYT8WPu^=3j_M<=Wm#JlEP;2=+(Hf1q9rw`+qRkyv7e)1>IDazHNTXefwR??BZ)KfVu&D2-{4JErD;3j{aGNQ_L%n+PZf?$ei- z_vYd@5BbCa`oZ!cxve?J+(s~BuBrqVBgT*iToCL&V6U-r)L0;qjvWhlkn)ow9#L-N zE|N3vgUjxC9h9{;QV>bUhYC)BWtF9a9WTi4RSYX4v>oQU$;FP9jwy&GA)VJhMWkBx z@xIhn{ZEXl=c97-jgK{uZg4cpjT z5Y#H%CPp<)ziq8MCa8Ch3_xF)!&@gmX966zU72&{W|4yQlYs{+B2k#Gr}>5k)izthLSc zow&tMv8vRZe39T=9fvOI#E<$5rPP?M5t!%bkR~GfDvCOs7p36+t z&|0E9Bjp3-CmK~mNBfwAYyanTc#)IV)E*TLW?Q5p(r$PW8Ni{kxI_o<>HWrDqTvATC_LN5tyQ}m)1xA)BT}2v zyq+bkl6bIu$C_#W$ZtB)g*FjwmSie@uo@?dNbBc*h|ggUGg|nL9G{HtE>PU&4AD}@ zL>gdTZ62p_5dY4&BgZ-Zw^MiI_&fObkGLbpyv<)EaGct3+EzzAn-?6W|vyO z#90s|8d&f+-(K%VgkS4dIPnU#c;0@0-VdHDZ+nG>RpE`2rD0ZFjps9s)AK7OKRF>?*1Vn8NQ5DG%I06(I33a6xGjp*kZQMz zX0&od*@N>Mrz55tmko~3C>yq5Cn_FMcHn|E46$+PvSyV9TKA49TVIxjA?Zq&wZAO1 zoH@2F#c3F{_cL%ZRX7vbBxN>>%i?)X^o-!^8LeKUx8p0%Ix@i>=)zeo?*BD~X#RHG zEb|xstjIjjoq1k&Tp}wo`32EK3XHWJv7>yrxs76q3D%1~+4Lq_dE~snY}Z7@n#jJa z;t^@jJ|An{B{OSopuW}I!OH2(X%Mj#j)n8FA}7`~994GGtI2AKxPOfCX7SGZ4Ry+cj~rn<{$~S#Xz(C>up|!I`S8 z4eu$ZZ1{2=YfT?fcK1Zz42MGe$aTt^SISM*On8mL40tgksj?yBx{(nSebAo)@88m8 z!&h2Z3zZ|vmYtJs*Zy<5ti71lQ1OVeJI+eC>;F?m+2Gh!<(c7|;jEPK@6%=dSBza% zJI+X#HGh{bYX--zs?h1_vi57~vi>DwS5;@8Z-%q7{l7_<4KEzKs-lzAWy7ze%i5nF zyQ(~xH>X|mml-tom(i>0!27eOIIGGA&vIr>Tg)Bc$YVfORcMZ^0&UXB zRTavXRTVyS%ED#=FS(oArtn}9zs5cv!}0DU&Pf|L*X5Q;_K2WMB;=sOfm}g zYuQ(-aAyi9NXUyM`kDu%CI3O<;Xj35?ZaB9wrLf{b0?_VjyC*Aic@E8WSgjlpFeiq zyxs13Xzf5WQX6P5JtVCKU(Gg`?iG$uO}7B-z~Kq7Oi+YD;GE&mZY+az0-32+>@wm1 z)Q<$9OY%91kyE=Mw|rPyv)?QuX@hH#$0b?YAS>0rTw8Eo>wPLd$?v50Yc0zWah@#j z6|pvHbHnj z6wTrIJc)j55PJ?o7QR9s!kZ8#$ttlzSOB8LHF>88@6*Y0#`8kf3CJzu*fz{J8YZe* ze!qtQc19~}F~7Ogj{jvHQ5lQO%rxy6ltx&{aqgS)UAT$n{=K-%gxkqh6eln6hOsDG zWG_Kr|41Kn#p#~B;^U{ow&dJ${G~_)LW?m=$IiJebvopKMoE5v4C7KhyRAk7_c`S} zSp1&;0&5vZ-iCyYs4E??y&!%Y&1Jh`!H;92ib~dMP~`R^(DXlAo^1i3W4e9fVap;c za`2INA;Ps!?t}q}NBhPn-dvQjC*nX{1vI04gZbSp{8B;t~zoNwe&IY@1%77R> z3Gi>USS2%%yf9PpO};>~uG?s(_+b%?BaDkh>L!-aX`Ow1_$Yqjhr#DS=Rfy@pbO)E zDd`9@ceaYDGZs3dCA+5Ky>h&{LOOQhMDuVt_>3n+?>QWRCC%!Mq%D(HJDp^L79qQ4 zr#YzW(nWoTBj659nK5WcY3>mG_e}2KG3nOrfoR}p;F!VUK zSn-}sM9s^g$2uB>?+QBc3g*)&{*6-&zsDt$o+? zDlPmB@%HtKcbWLoQ@o2}BNrPlM_1G)jyA)Sr1_+@6I-|tka7BSn2h}a*y$aGNt^H%d%(eDp2B4E;Al)H zr+g45gD;Q8Wb!+inAE=eaWHAm9DzxO%)VzVCgsG3ZRP4_h`CdC(`~T*rfq>lZFXw- zA@lO77~K|*F~_|_R+OCNr1FI3PiE%v*^s24kaQik`#_JtO?G6C9gkRM6g^&O%%4bW zU$|urnuV0EQNK2{4A>mlxAW9>!_RzBU2Rldi73ve7K5`DW;N{Z_`Q)=7v>_})2T|w zUQCyc-R+bn8wzZ74Qr$D>u4y5mJZ^!G$M4$DOhl^NM`b-K?~v4%NPo_(XK*vmx@Sh z?Z$Q~6TVdNCKyQKj8S-NW2e|vU zSvqbzohVh4tvZEO?Nhpq{R^iVLgO0lbmL|;+pWgH`->6q{$eD&vA<-(%eL-E;5*ZS zmyU+EXT9c&wZSS=(4;(|`OtQf^>EU1Ng9ckP1Ks3J4-W6p?%%EciJ9MTk*-2~ zOv$vL(fjkvU+slOmN92vDz+>6(y~Ph%ESYmX2I(+s^iADlnMvgcOb6nxJXi?KFA|Y zZ0yyBBb5xaRDj#7zAh4uLRv4$EC*XcH4SeD`t*U;#>x|=!+Y9Z=zOW0wCL@VU3s%- z2oB7jkY99w_Kb4~2QSy^(S&hTMCQ)yA<3%Gis$Jkof?pnNM2U98^j0$hE~8ce3^@V zuBd(#KDWoxtpvNs3OpPSM6G`PJ*TD?$H~heYafbPD;y&-rDES5JZwKCif9DYSiC06WEUrDjVSiA67o2?Zt}~n8Q2PHqs)t+c zs^8$bY6qm)ChT>%DQ+1#DmT^%Ed~4fT_fO{Xp%&GS8Zw6w~atg^YO&VW_UKs7;*03 zi^wUm7Hxs^sl9g@k40Y!uf~4ePP~=(o+R__2+q#jjxQMa8~I+ZsC`V~Fquu<3KRs$ zcC`GUg?KP1&hcOqe()Ia7@v~&HHl&t;eLd!f9!C|o9IN2P7uNQ^`SksqrLbaCCYcc zY(xvk2^&rp*)Gg&_HU@M0^vR#*{lD`tGAaNprE!|q3YR&(% z(XA2uBEKQ}H*hCXW$a=6+Q_@@Ou`1@+VQ@WWW7!NmM~V9`?PNmj^xHAq6W%t@*s_= zBITn&U*tO=yS0>e)_-i4!U#tiB6x6;+#_({1)+XO;M_jWXKmVj()(h%T==aID;MbC zxGh~I`z!4ayq&0t-{Mhx+x|QvrONK{Ebmty^5Y@M;dkJcUfl-CSZHDdYs-&J;D%_5t8IUFAB;E1e7N?+K> zt8F~pRMUsVhv(zfiNQPFsYA3#o)v*XnTtZqMEP~&NW@!SA`dUMA50=I)J^QQMtYkI zFFayD7*Vf4)yw}`x}KQ>?=#Q_v_C{|KriD-ssY80@JDkz(f+5FqB#){xl%;H;UbB^Gn7}is`a(Zax}9-H{KpVgi*6~Y$dH2`>UBHMG}xR zcg10QWIyv%mi8-~)6`7KX-Y^>LJqGd4B;jb#nzR zusFB?H0~pbrDf?Vd~X?thzaB5yYgDRI?{pH4%PRyUwpDYREE0(>ihC9Jz2l>ck-qu z^Ig2rhqVGv(XEinSo3|FzUIY6W{3^a7hX@{Jgt$w@OsL#R5JEW`oileCf9qLzLgM6Cv;e&xMQ=yp)v4?7`qXuW7q(p|5C^}9m%@;~s{}gPOo22=uT9|_wM#NN9dXvI zGFL!ZJSX3+<<6lpxNWMVmFw{D_3@b$Bc=ZTJi4W^4SAnJOFBnQSx+fS-#Oo^N1pD9 zoaOaCmh;4f_I)Ax-LRg11Nstvy^DFLe?FCUeR872UfDpca1Z<|uMYi6``lx;`EXg? zCsBT`P>sEtUR1-2akDuG(7NV4n-46ND4G9fg?LpBQDY^4Hu7grJ3!QR;J#`9hJVLj z`p{p{=D8?9ysg&!ytg^adfyaCY z@Z$A4%E>Bs6{C$Jr;XqQNcgI~;AHf4A>O&Wka}`bW5s~>TtIs++AXg;4=og-g>%s} zO71Hyyy&%3h2a{#0VxH62GBtP`n(=}-pJ6*1vGQB%IgXrE_W4z9u^cX*tY#5%q6G%^OkktAYB$1zQX9_=Xqi7r@VqPs}^3#m@|*EI|4!WfOP{rTu{4 zzac&{M>}jGPVX-NO*=-W#}IWm@$OUGN2dDUq^QK%TSulQJ1JiAollQU4R`3coxH)y zDs#ZD(Zd}rN0Uc z-He_V0AmZLdR*5EeoeH(<;#J~GS{`}@mkcn8DqZr;R{?}yyTs%3+leO=+b7qwL@=r5-m&#y-@ z6M$mtf)g)hftIt%T?pt)TLN4yAzZsYug3HW;JAWU#TBD*efeI&wd)G&I7;0D7;XW+Z^8I(c{qjZx+~Q9 z7G~nQ?h2H+618v_c30%#3+k?X>1fskuB%=+hA{#|Z4s#z{xt5fN1uq+;{IMHu7hE@ zpKU#ItNitGA)m+p^6kB83;ec3TE4S4pe>`IL80E%0>}a=(C4-v%tM z032VqNxUB9{)Vc$Z-UX_-?2^Nv zipv%q1*CTY(z~Qq5Ik^7^q6t&D2(~9MC61+*=DmbMPV%XW4)pI1TZ#?R_{WqEAfI* zEqKPt3|KCgR<&~|?%-+t0qx4M;K0wpyv>&xaMx__Yxjg)warJlJrC z`WWty3XS1ij)u|!tmhMGwHB?`lBE>9Uk4nY zyW|Mq2rcRZU-^1rN!$Gjdh8q&jUG5s>-pyBOHokrBJ{Qh`^PkeuWthj_(sd09*wWz zmlTD4TBmnQ??=u1QTl$s_<#dr<9O*W3ArVWE!Ra4m(^W_Iu8KK2QaS}U(%L!LEXiR zIsxSafbv19MV^gI4A?P8VatD>oFw!8YnJu!Vp2mhPEVTq(dvU}6;`aBz}jmMrXZOn zZIXxF&RQ=~*Cl}B63?w?jUOM&Y4W{6zaGJ_32y+R&%D$Hh(7Z|kLR|te7?Gz?-Z5{ zYW251`N$)6k2ZZrSz&`{D`Ff-VX=ERTJ^t2+-(6cu>d|?la%cCU}4GDa;CfT(RjS+ z=Zfyi;jv0DtglT;EU90fhbfKu>BBi&PH%HY6+c7a7oJ*a{MMBt{{kM_H&Y|SFB)0h z1(ytEUEsP9HU}D6ea6V@(<39#uVSMCaT5wh@WR++u`{=(JiyK6pwk}EX)p8shMXsS z?F?rF@qL_2)pDGsM>3(Ft*9alf33B()!2vXE(F92c?KSFARdqFU!5XaCKJYG_Bal>x37(mOVjd%^!Rod8z-}A{&A+HLtGaiH_{LtFiLAIO) zx~%#NMA3&oEWN(O98umeq;s`uSQ$zFHZN6UH(+CqQHpWy&30u8^Hs~L|L>GQT*I|3UT{xa^w2l)kkL(n%FX8T(jtHU9Onad-;Y8wc zXlKzHdWo6*SLoLA`MdYK&o47Iz3aL9{cgN9cZwch-Gnwiwg+g^r|d!LyF4~Kiy+#D zNLl$BVrAS)77N&)*-kwTawy{Q|4O9xLoXv9K#XR^KSWW4V43bk+{o~5aL5V+?*R5w zOr|RlnW>2XhWKwi|Mj>i-Q&J;14Xv@9}&9=F9qO5aKe2L%@J9!wi#=dp1*WA=5ar6 z6oN*CD!srD$CXQ`#U^K_eGr|L@eA9e<73qWTV%yzKL~I`zQx7Zw4LassZ;lW-P};l z=O5e0@1q)B6v3e&vX(6HTqlgP3$fO-1+5F^`P_H=WG>G>Pt{lnIBAmd>J=PWdpr(a zm&pca96}TDXP7LbHjl8MJL}QPgEui15e=JG(s~}LE8l>(CMc%CHk`#HPJFaf4WVB*}^W(E{B% zr^3O*GK=IJ3-33cw`8iUhE^rb|GKgXA?BxA+f%GA>^?p@J@CIT>$9C-Bi*^u09CAZ zZX5fF_JjM=Cs2-+McpIge1G!8^X)TEm5*DLu${q@b(X9@fh`OhQvfmPfaFQO2T5Ro=xLSY%?+e~DZ4X(LiV^i5 z_Dbe;!EeK=52)oWC$e|q$tRTUTrFiI_wgNBE*rxO0A}zSA;+5{Zh-b8WA`S za{Zl6LFNEI7hYqHeluL7-0+W?Ut@n)aX0AAaL%!Rn2Ni>-&%Y`+>NnshVzQhN`>wf z?HG`bGT#ipn))>1Z9=h{`lGk$%U@o;V#TBP>)&|!8!H}o?2f>lzrORXyB>Qm@X)UxDp0SQt;%yP zK>uA+dd}!Qv;UmIf}x%4H|E^+Y#pj>The(|_q9i^>$`E_<`dP!huRKz9_>DMD!;0eD z58NKPqv3(#H3!yU_EgarrP?i2-P;+ z0O^a@SMU~fCI-8|@XDA6(f~_rkkxm?YQ2Q+RVOeyXss8*26-WD85cHAky-YyhSrJ~ zg4a)(irBa~W!OkGWZwh7IP&=BFActVjc4m!>wR3NM^ep|kXj<};NddKyUDL#(Exn@ zE22B01wD%>*U%c40FuwEy%Re=_He{RQQ868R=OVUc#$MjU~~;%aBw}|EI;^4xd(4& zKPfM0({Cd}(ViTNba(|t;3dxp=Y>xjzC^Sy(i`GZ_R5-uLsox0SM3pRS&%xs&JA7M zJW+h>YjmeZew!=lK9Da@zU+G-z5BLL*yV#R8mh~-de~DwOX82=hTmlRm6czYU3mJ| zoK!#UR@dTqR%lbU)dAT!XE$WWVq;4Pryl%kE5)twb|bFJCPa}&tU`NM=#9H}pY+mO z^O$eke_J3{-yB2l&JXGPCqn+w_s>UUHNATVer5BonfS$e!+v-noqN8Qe5s$_`&lT*CElpx_IYrr84v!MU&y zoJ)E$sJVD*L%miC+r>Wo^0-O|VM(VnSLqO}@s#FnwxNm7Mw+|11Lg3`lhuqj>o_e7 zlIca9Hm(`%?bA_i9N9wXm&emg?NOSincAZ?Z)qFK%|)8Gv=im<%QL>T8|5f%eCZLC zqcmS>AIb%g<|`dQIsEculTC`#vP)slzG>&cE>#ZuS-E~P@E&R5zB3C;wq6KI;dzRlHw|++b^NX8 z;Z;GQN{(rs4_9wsv(ITlQPCEDf7rV+>R4-^a5IM)^RBl`h=9Z^lWZNmC?$`C($}7 zWr}7hc+TW@RJ7J4EXxtYdQZxD&QkD9<91Y;SP5|y{S7J8IbFe%Pi0QeQoK3%qZ(-k~<+|FszPI3<5iRy1lnffUTo=Mz}Dib>omP)*u zDP@dY1b#uCZ$Yhl7c6P+fik-Lb4_5?@F1X2?`z`w{w<)$4`Ex`ukGG zlcV7Aa676@>>RS3S`L23D|oV~%;OGz&L&TO%fXLF!Q-Mb&pY^mG`u8gIrzy^@Vw9M zIQW@Hu@Nl?KQ0B&5Vzyt2NvZ?hUMVreFe`+ZpXn7r0{@YIrte?@ClkJlGuN*f;H7Cwe*;j`f(4HI(>q)MN!-Dih`S}9*cUV)TM{1#|5gC zmPN5H0at;*)pRm$j=Qs=$F zZJjM`+3zBPCeCe~QblhnxX|Ow$_1)a414?(!q>S?J7_10-YBJR{j2ZHyvoNNe8C&I zl<;+~qRmbzHU7`OGs`NUckl&`$LFl|(?sfp)N&zqpM@f|D7hx{Jpz`;lm1MJ*MD#&1?#?{B`jMXcfIwUu!>wR>3*3Kc%z^{x;h` zLaSh1ICz)H?4ng9w~f*&G=eAwzAah>*_faWI$p>ddH)}RHJk6M=@MfkLUNp7jZRt8 zmZpGXMa8-iJDOEL4Kp~^vp<+y@Q8t&Uc131cwkJC`Nnj16dug~w!lT!4m%KvBi~b2{r^kXNpaM49fU+GY zPY5NnBa#l?z)TELv|*Ab-L=rslr5aB?X6LFZR7INEsfn0k%BFP%3l{Av9IzB{|ia8 zBn`VM8k@pN+Qvt>&bEzymp)8m(w2z^4=tT6@C<#hGd%;)!};w9qDYDRVqu)kT@#iE z2CaUIPDQeD1){ht8%NfsY}hOig_7F|gGaIK$6xlFGU9E~^~-6zbaQ~-n}ml`H({qb z0v$q~W7^-xY)2cHdpwQZLPeP~6MQaXW@P;HGG`{UY%-BimS-_|)#$Q;1|8mt6P61u zlg~T)5VbQhFZdHD5Be#*$0l?;Ix^X_Wz?}jS&Oa4`sM0wU~AeoCi(?i1yeQ5W20+m zFMfCp`{3vrh;a&d$f^VD1zT{4PBJ6-(LCc07uzXfUnk2Q#sZtLP>DccR{u}4R8 zri{}J*kaT6Y{zyTbEQ*7%UaA{VuF#R|HE?A=OZ$2h-1U_VuBBV9{6{1Tn64#-f`p` zH@0keOj*no*U5y5UWRhU;p961rblaIXLL%XQ^T+;ODaPQej-rBelA#BOEb@Sw0}ml zmf`=GDyy|*l$G&D(q)Nff^Itk{jhl^nPXmrRYtcZIHn9~tARnRnA%d@%n-V@yXT-U z;habKylrF)X2nOfknGHCfhhu(us1MIu3s~4CwQ~h z`wiF|!o**KHz5KX)8jwT-o2^zzOLGgN-&tRa5Ep4W7j`H51jX@|S&#_w!2Bu1_`6R!_Za zhZ8TlSzyheqpqzgFZt})Jn-LM-W7f_HV=17I4}6j*gU+>$9b`T9-Ftx>F=q`Ji?Fj zf>Rjw4`)>bY`mRIkq>(i`4F}~y+dx8(`+rI6D^J=s#XnrvuW?D0RP7hw34NVPpV${ zREsG`aaX+6l;T{9?w5|{d|aNaJAU4^VV4{kn~xyid#%h7v8K+Zor`x}o2GhTje3c>T0(_r(ND8Kem>;>>dZ#2VuR(+?uXJIFzeC0jM?~l>9 z@}517ylv@QdC&UD3MHfT-)Sse*1Us{{AXCo6)9F-ahEG2aNT2 zk(g-9zMj&eNUMxYsLqWvg()?51Ete2L$!cUN=aRK|4^SY4xx33c1+Cq~0 z+vyZmFf$=d$FgUSu7TLpBWuVB9@|JWYC!Iw6FZV1V3Adns%58FQMxR4*q$j%^_R2F z%Y1x_Y+T{PN!Lb#FL^#Jn7GRhsr7d{>~U_jIu_>zTJ??z`(&i_Dw*Ds+c}|));@g7 zsc*~<^%nZrDe8V2-5^A3Qjcx8Xw6r(zDnNcq7yCt!pl>6c%QD9BCP?xS)M)@)e$@L z9Gu!qdMBc+I5*$)p7o1;iz%+h)KI>24+Ajz7O&@28jTYvkLd9NPp-D6j4aIqR#-v$?)({IY4pPYR+l@m3|hBtsEC$PV0>C9grdqifdbUAPl6PNan3rP!%i zLx3$5uWC0dUYA6z3O?Vq`Zt9VgA`AXsHK(9mw7bqJ6mq5DeXx#Y#um1x%`nuz53wx z$*;kR3H_?yqPL?~@R@Lw&f~#z+<2+MRD1O}*;^0z_}zmr@w#xkrac2IE|un2V7jIb z3`~}Dxs%HT5}ts17a2SMsxhUq^q5m7+D< zg0=`NwbD$?db+Vs_C|dWw)Or{%U^J_M5stdWX#64jh%>3-ME8kh<75ax2%xIh5JP~ zTd&A~*1lcu$fH{esfh0)*%TN=gOoY|3iTp(wZIp~DYhfyXUYPS8$9}9xu$1yF2j~O z1M#1q<}Lz7nqOf>v%ZkHBZo z6P?AuF77@9v#hh$PW3cs6Ar0Ss=Z%Fv})oxq+5zq%l-A}LmB%Tbe%%ygo zNPA9i$$XNAEt_^{r;L4@$a*r9LMze}bJkPx$*{VMzYTkc@JWUWWeX4~6K7*S>Z8J# zOMH^~b}URZ3Qh_e0j*xgwh=&#j|q%Nnh7bJyp8eJ(VEiXXx1{L3eYWgl2j-bJMlt3 z#{nKmIw8LcaM%&$=bLoihZ{|)_~#YsMic3_gp*Q^G9_}C_PAg~sOu*3(!x%gut`_M z?K#+SXh%YO;JdVXsW*Zm(96~ftT#8eo=!*1B%5eL(wUl3Lq@Cpcf3a|IQGb$;w%sD z?2dYmn7A(>=J$vT@w)=Qi5s`6TV_tIrI9!OWaUC1=JxHm!WmMUhuXntPfJVf=@pZ? zYPEkKz4CxprUhsX<8-|1cqRB!MHK7kf0GAXuhoJ0;jHx)?H2C7vzhmRt7#`mt^wU4 z;wZn((<8eOacaCQ)`j;B>Af}n1 zbKX(7-A>hR1TZ0{Il~mYSJTEyAg(+|9&u(f=+bzI}`xL+_dc9z*M$B@XO5#2aPJAHnMd|Lsy!m9Od)QWIn{N~Q4wzZk>3 z4O0;#Mz>|JbF;)NtHkjHA>TIQkHUKdYq?b$+k{6FM+Ogd_#`wm8WruR1rcAhJ~*Lj zLOXd1D2~YUur?|j8v7SGU1^7}dLwq{Mz-0}o~_=s=%KpK-1|5>6Z3yqmjZ*0%hlXW zl-+A4EVQkN2!DFSw}K*C_*VE1`Ko+}-FUCTxj#M!B_vjx^iRA*c2MG#rM;7I3eKA4 z*Mw4>-iWJ8Z~iC2nR}QzAk!*p`2o?EwD=J?1>}TD==w}oF-4u3GK1jSDG^q24;X0OXnK#P$ydsf9J)s`QM3gyn{{OW}bYT`TXyk_zeCxJ3dps%~|pd8NbFwbLf&=zUcYlQ9Xwq zke(NEjSVE1qlafy&l^nX`6<=&y14ZGlsDxhc$c$7?-Z_A`N-_t z9hJ(umcJEol{nwFhE)FAxR%PtiR4-XQK8!sy^V_S&(7WI zz@L4?HYfe~+D7fCDm^)Vm*u1%h{b)+IOV+)Dg6nuG46S=ak?|kFx&N_ zQ$FhiyrU%Dd%rJlm(#v$X)67|eY0mc=|OEdVK6| ze%a#7gRg|l*HHFK+o-|E zfm4ECrj#8mvvc9mz$yOgDCN6*ahCbl!i)0!m{)p-aLl|KU&@$Q#(VLq*|`Uu@xN97 zBL|O_k2Y%iRC@4m{?ksn_wKkah2O4Osq%;JXq^6(Q~u2psrhbLG24}*kItp3^xE5e zc@7-}JC>*Dz#Ex8!emU z6dfG+>g=2pJbyM)bl|cw!1phEE)y{#> z$NyhvwxuWacL>kP&t|Bb{WKE7k!c?ftlw8FLg8dzrV@2T|t{rW8m>@b*5 zLkjuq+G*|&s|)7iO(vhEJ4Xh?#)A2{lE}wdZ&qMY!F;k3$tQ0oPU`+Q_emd1J~q@= zSWB=lmIU&7hH9(8PKqa=byQn*d}7I`hH9&hPYn5#*Q2)T_(YS>O{lHRrh(@_hWtjM zzG6k*BJvwee*I8mnY{uF=eLsI`)~4|)#Gfu7~N(IN&Radj67H`zC-j6x3^1;S$|=t zE$VVw2e9*-BnMFYTwI&zaetm-o+-M0*`{+ceq-ReOk!icxnC5;Y@h zhYvbpk_2d`We)eX;5#?}Ony()7-Zh|FGnMQK3JF^k^V!uH}|e#!P7bd;?m zOQ3AUWGNwO_|J2>W(joHBvD~Zq&*{$G3}wG9Ukg{Ryu_LT17UA@Z;r~F@@8(=MH8) z%{lfKlSAoLDAH@d#flPhQCl%L3z#wEe!toV(k@|6@ZacGre|V$_@Pe3GkBnDa%6}* zJvslT3;s=OFVn1gSZfREnQZ2nwha_e+gPY_iFqj90vjr35_B^ay9IXWqHM=*x|!Y| z@bwVB_Gj}9mgAYz;EGGM{ z=jATW*J6HtSO93~7a;Mm_w?KOtd>zD$}Zr1tzt^YQbl3J`C2^XJM~y}z82L}Y6Ech zSpP`Bi2Fg_U*|b7&;SZ_FTgU1#erRBPEB33YO}L!(_=2C6GP zwE7H5!Tz;FBhA*9T38I@?9g-AD+<#%E^jl94U>^K5;d5OQp{kj9;;*o4mP2j=aa-JW-Dsh)RM&82yRj)1)B z1a@%AZFFD<@1fc+edh#yxB1ZaM>yo+TtiG2j+-4f&Z<*rO^eOh&qc1&6nPD`4y?`c z_E;+F`@-go4e6{-{{nhnr|*;H;XK{+JD^z;y+v~g4}BOnD&v-29{yoE!5i8&|BN@jy=zN57t`c8=SZf%c?lUrGj7YEtecOG&7`ffkpNggh%FRQuZtOs%PNH|Wy zXZ65xi+)4IxCm-Vv>u@A2V6l|N#mhRys!27eMfxy9;j5`9=efdWM6A*ep~yn{DtQN z3!wcz(PsQ9*k{CU-a#AHCd{Cg+qMRMk+;f7&8@UsCGcGJIUdG2@r}1yffMG=RL8An zfR$L$w!~WhK`S?q^N;0+>$dRe=>5@V$Dz%Bpto6C#pJE?a;-4Z;g$m1plHYA(2fJ@ zU@F=%`kWTR2dx-7bd24~@^O)lC=q)ITFKRgq7_wLBj6JH8LW|DT-9mx53zn}{fNd$ z-x1XzD@)6fn_(CMjZxl6&8GNZiKN2iB?Ns5v~dXEs%o-={@pkX!24M2Eez#ySGkNE zCuMGr6^U`p2l;rR!nyN2!e9jee-E%5tA?pKZ%ni_i-q_4zC-PG!`sKV+xjWZs*sAK zoNzQDR{&gw;|axzI|s0eCGHc&N&@;twsOFzpuG7VT11ca4EnJY^gY;bRi07%k7Iq? zZp0J3wH}TB5NFb|+Ukd09cIEvr-072^Hbl8KDI?)XHYdwipHAKbILFmotcMyN#GBw zTcStD?O~#BQOWaEvx2Srt$$|P@I#mllP}zqufmY^tsqvE*`J8-| zn3J<{Pv$jmTtu=v8hbqI{+_1Yud#Kvo9VCix%E);$(#FNuixkO&R>UMUw^(B@33}f z-A%t`X!ytmfy#cU&^%dDA7};E`ho6;5fZv~+Dk9u`=j@SVoaeoCNXur7RpL7{R!ZD zg|$$mk8(-|Z+Q9}qGZyCsHjyaS@MJZ=L!02VSi)UUnv$o7LESKvcHxL_M813o<5eo zX3*bQ`a2HXWLo7z{H*bzOq(V8>+5(AoH?|;2hJKMv@t(hF}E%yQPEq7ypxO zw}r8g(({40h52BG7>{vh+p*dsK8z*U!xT>GS#YBx)eLqLAG5i_=>WKKeCXV?17>^Q zxqXY24J5x0q8KdQbQvQ6i<>o@zQED~qiAhb9@>i@M!I;io_38|TYSejb&lbjI#&u` zIb-*6AF&=~)R}eaTx%J1v`(N?Cvufmb)?R+E|5CwrT1|&4AbupppM-(2HVTrZ7pV4 za)g&C>uJ>ol!;xe-fwlv8Ya;fV1YF`zPD5llXapqWsNjlK}kY$4!IGlV|3H_C6xJT z4eA)3I~_n7FU4PWq|CMKYAEwgy$ofGI#VVc)+w{x*d1jJO(*NwZdk~p7^z!1-j$;Ta9m5=I@);TF`<&G+n!YhfF8?A^Ph19g|)e9vR01yI*^$KuA^ z9cPxqnq_Ta#d<5`;z6{toz+SIKicRULtkj!y4u0V3O$VXZzt>NJ{eIT#YoiqNj`(zF}qEFB%AuAVFK-xq&PS3~s?6Vm)33u5g(#%*}!7Xzd9wB`- zl{F*_+HH)O9(Tq+mz#UZ?AEtf*3&$OGGSkaA49uLCqM5Oe1E0&P#^Tl7*!tE*WCSg zh?x+Z^>dv757XEd#+4WthI%oq@11qCK4=Y{H>%rt%=Cc+>{NPYD}4a%XietxrjHHf zw11p)_*ULp=%i9R3w0Z<4IW{#hXLcG>A7Is$-_z`YYnx;70&1bUpZ>e?RC_i@i}T+ zar0se>l zg8er2)z))$_1R9|<2LU^*;3gHdR%FoM?Qbe&h9y6Nx3qIvPNAMhZtsA3$K<#mfhc% zL+P>Y97?a~%puF3AHtyq@PKou`E6eEha1~DBzbiXrAO-=YJQD}%iXDSi01VA%4Yh5 zSLRTb^^pudbI%cYj|FNlcdEa!Lc%j+v!STQBEF|N6i8a;|EfLz^DsCBGTE6!dbjY!q6c zb4dD5=g_7q9&W@V;1COymDkRph8wTUAq(s(Nk@J8UasNjl{qB+_3Am)5PcOKVy(?p z@O?St$0(-vA`LMC9OA8a@&Cvn-X``vPWR9` zhchnJIh1~T0EdQOnL`r0Y4}PU!alVtN(%mltLKmlyI`-_hIon2`Mw-#c&D91{z08N z(7@WAd(8oi+Ca^lwj#Zmg z5596M7P8AsIu?2$yt&s=@*%AOt+4oTXOuaQpR_l^LHjQ?FYlW&#_*b-ndH$v5~EC( zMjH9^v#^^4l#xDSrNizZ>v-s0p^c-qxlrRXdH$8z>z%O|)k&jBFNiSM5v<#%!Rk7? zRnM<6p69nGmg$pXnUr$@)~U`BIAf@`b=w)}+@M{7w(X+8EKkd6cAg-!mWm{c$|G`y z%q*>8+s)Q4b&NNO*qad>YY;4U`nTvEP+PX|+oZ7EvBHTJ4%XXmisiX&j&9b+;})us z*e8;^{bVCp(d;ldH?TFlqhy9&KJby`NG|r8Q`j4qF8z9fiRk3#|44>rD9@`%TD zgZ5CawIb~Y`{K3jcHmSS)Jc&}UWa|>y7uD`YCPui&@r)CF5DwW(v6r!7IA$bnaW97c)jjX0Dvx0|Q? z;|>ZPozPlnq}gz+hGv89^2>UFmnOGofL$roIq;ln2(47Inuygx#XKnC+v?@{Sa zlyGrUpKCX1W>Cg-BL}oQ6k}Y(672b-+mNZn$ZQ`d-q^R)g-L#@&lL_|^-xC=J9QwM z?dPMGx?~~W5lvQ@pb6;_rL268@G{Iw;W%@>iBud|MxYaA!}Dz4l_3r5NM-w%h7ML2 zA{WNx^r79w$-1`NFN3@L;u;Y6g|+xA?b~HoSVrqTopxIEtF72)%X*TA=P;68{k~nE z-t}$ieIwHQPg{CV{}1U6ZAFF zNYCGv-YPvk);ic33g7>iXt^hu{nA}+E%(#FT1l(WNk?cutFL;z11Gs+7uXJ*M6vA{ zR`tZ`fzr)v?-of*IOSN$ZQlcvuIhSWy6V8VEmq&7qp!UCYp`0KMJ+#ZA*>x8rs|3Rubp7;UpL6M}z7H zlWrDTQMJzU#YXZ+>G!DXdv>SzZLI749{X)QhA$y?;WWPR{lNv?pERx^v>$jp_Yb{| z&V@75oj%wxjIm-U`3G^^7VIb1>I~y(Ou&8fzpFF$wy)bH#q2md*!dl|WU6In?ydr- zFCXHjEmsObd%ALAKV&^xnIRh^Pts1dSIqWEt=Dj0bN%1jap)y*=-&~CLG3tn69P9S z)-QonDlpYU^}S*`ok9e8pWFFFdphA=;}hf!yEIIvlwQ&G16z4NV8pJI29=K?mfQ3> z?52ADb@Lk@EnR#~pQ?Y&c$t6QgIz5jiLY6cu`2o|v<1-r`>=v$}OITQQKrNR~&qQDk2aH%Pdnys&bocdv@mnW=s=Den-* zTI|}|?SzDm`3CJ*=dzIhk4zqDuGOsv-=@BV^*cv*oQa2(LOgD}9kDnKr&4T#jl<&y z);6y`x*XCGm#!|Ky0o)n>e5?3X6lyLJEm@V?Z-@=&ZL2))K)U-+kVW{vtH_$de)0S zX6i1SIva?)YxDO@osUvvV}ZV>H}ySS;u|XDK-Yvu?2)D2B;AMcUqzVoj4P+(MVN5` zXV3U?ibA`slvUWLNZ1!~sjq87SH4*pUHLXdbmdFdG?%6;b&bRK@J;`!t8^{@?$Wo* zbm^vvOEGJ}xDx0)PUG!dYCGYEm!4W| zkeBP_ykB3r2b2EO$nP$0zqy;$OevW3L9q5`Zw*0A8qOvCO#AuuT-GH`DM{wK-o!GU zY<9Ap&=#H{tGfV=$~4+%Fw|+zgS`Mwp~G%5(r>aHvLyYCJ{teI_KaH;)1#(?$XKd2D#m0LXY+R?i!zL>=5F7urOR@1@*F83tTe~fr zaov}V_v`Mk@s13{Mw)ObHVrr%u)DHpNbC+9%h>L*X=v^a8(058Y+&Pb38!d$><$}C zOn2D0#&nO3|8L!4lin*3n{;+IeaCtuVLsCxHqw~xu*tfidu*gnyTisC9*7OBIxZ<2 zi`@9CoYV8`cfL-R8QS){K zTUxIDW35QKz%dNaOSFYd4+{*5{kxbGbkO;>g_JskY&g?>NJ~&)nilLm?=H;-XxVAz zDO&rt-G_8_2`>)_K>r~pkIMjL*H1ur%1W!81v?Y(lxFgW4s zieW5#eFtL~xY%a>)iIs)s|b_TdgZ)aC%OvLrtjIo%U8z&b2G@=fvb<=ZskLxP~)Ik zVSFP^sf-f-zcVcAy+-w3&!1+fL$t0ixcZRahpwwn_5ZDqolaR{S|)FYz4BK+W#z{R zK{upO@0HeCKJjKhtt-+TFZ^ie@m?qTo+K?e*O0Lr+Kxeww;LMuFQ@g55U1E!a%g=3 z{lTL4(<%JI-hpe&*sdzHL+i2SI3H$t9(HdPSkEk92&+LS_60ae6Xt%=Y>pK+gqAv9 zPkC%Ey+-fV&lA9S&-+i-@+fVe-)vir+o4u3j6buwAii~VUVO`HNBpssw&)|FLhi7L z-c8?wMXUF?GaTnt3Ry*rhrCBk#J+p9=VQ=-82SJ|*nQTDa4~#c%h&mq7S`)~e^0%D zwV8UyA!PkZx3sV?mRH->wb*<5A3CgSiCbFY&*AJ`P^aHC=dI+liZS3FzTSiy%hr4j zVl{Q!5#2I70%M3C&l0bnu}qY33Ywqesd$G4P=GaY*pv6%WpwK&JpPX8CJM%PqCncx zW|zz98u+soti#abv>HVJTj6p#t^$xq8wR|psRV$P=_JlHR6xQru*UNHo z4QCoCg`YhzYN7E0_NT#`nyiI6U5>RpZA))jEyL;hXFp@0W51lRvy8vqaR#pqepJr+a z&A8h~l);X`mN;ag@nSr!>i?vXp1@tJ;9M*VKg{sNd_v&dzytp-Xq}bp~bF?RDl^JEtJsrnzv+z`FZx#9!EeGVoMyF5+ci38oe2m$vwvwcoKkFR=T1nkfC7D7PLwxAxR2 zx4_gXw^{YT`d{p(#ed(E(XV_d#SEpGfgvg8OFI$rKdLq^h`!d_dEqk@XXH`ZTMDmcO;z7Vr{kum;FKY`uoodzuy)y&gB(;N&yhXoI)+ z*?v6hu|B{N`y}TGtmk)Q!@znr|9z~l?`XrozGTg6>+5+Rcz=h!{!$wT7D^IU&SH+8 zdsQ|J1pzh;ES2=|HX8=sOJi=)Zo?3@uv(ne9(^FbnN!<5LvZ$9-lJKm|2*X5;{xrX z;@C|mYJGttTQL9P%Irw3cX}YTKG^ugpRk?`*hR(Cvq1i278|^mzsm>7bc6#uGSa#f z*;5T&yx9?bl(a(w7rb?D;M}*)^tHdy`uM^ZVW2}Rld#(0Dam}D5*h~Hv%X4we6{22 ztTEs{?O)NYxoAIE(s53;dmN|QKb4m=+s$$)U^fd(+j}#k8hw};&rPp{id>UBQk{NF z2deemEG@OiXk^%8=CK;Yo<@$TWs(ndFO#Tdt8v+LD`+R#;yq%Ai~5>L9)Cc6ZJD(D z+|%~A&OGg0*|&o2Ez@bwIzieTmOi6B{ROU#sVy$J4DF3^qJID6a6<`~XQg~k+Lv^u-Fu)T?XITool-5la4h#%Y8L9z4;o^z6V{7+fsOU+;*8eQtb`zKy^1Y9Tq-; z?YrOic z!M;`O<}&S)R%M7@KxWz}Hk;y>U6;8fn2pjBVsLF0=8k^rq33(I8F{6P5@(GQ>GQlaq-+aJu*_uh+@Z#EKdI?BIpKH-aw-iV7sNy2qpc_URE;v zT!&P4O5*eCF6^a`KF8=imQ8ExoZjO)z2iY=3{E+;ww7Za#eOT+)-arJ!hYjy&nVsB zXl?DM`{Os!Gt@~IX~%aq@BI7DeK?tsO86C|MJM3|mT%(`JwMuwY;9TR<)xPKEibjq zlguKXm1$Nc*{7OqJ*8M!rw$jTj~kJgOuqSR*uCoIdn<)RI8_f#I4MplWx|O{tD|Kq zvny-UDq7g>!rT&&&!*coc4R{tjkB6@x)H;w;R0G;3-t|{32`6njG}*92A#>QI1f5> zOJUdvW8OE2`7zrA>;#Wqhcg;5hiH%Qf^KpM%GP@Bd_DN>Cc?jX!}u5Y2weemm6&N}J1U&8nKsgnM#bqn&S7c6&x9))%QB z>!&s9XMN~({(p}&MgP+~gmDE2a&sukJ zfOaw?4JSlIRnkqM>uTw5-Kh%KAUa7Lr9D#e9pZGlBYZ~$o%^lFKwXQ{`l19Kn17^s zn_JYJK9WQ$SwjzOKDYPG2d$N_yOpYil{;!=YYi`pjD2yLBit41wF!C6YGRNa^q!T< zQsgn*oVZ0ztdZ2QK~iYJPiB(xc97xoR~!QN$FvC>TVnf;aDU(yb1m19qsT+{Xqp^p%s}ra=tKPIV}hrRR%R2+ z>2<$vJr~B(8!bVG)l*|_)bg;kYN&hjlFTKC%Yt+GS{|z*kjhaDa0fQk2T^WsS;3=` zl3rR~13&AG%Gqqz%h~aT?+DL_#~S_-T3DB*?F9zZ-|!kR;H)a_&WQ?IGWhk>PI$4riT} zB&r)5k8D1)*FXK-%rmoF?`e79SoV?JL-YOi5M%hZs@fVgO_SABO{z?T75CJwQ?+TH z(3bxW@s_XL_{8yd)r?@N-+PriR>*ul9aS2UIR$lM;c?Wt`Ha7L!e?f*`-K}ojGD_^X_l8GT+e6**b6z*HI=OUZu&Y(r)iM$EcS~_KFOZFRnVUH;TA^v{M=- zhMpL4e9F=3%`*?|KlkOCf3#YwR7f%IsqP73yM`IoO3xe0WYocjGao+uQ1Eu&#P;cN_Fe<_#+;i=@Wgda`;qLH9n$NCWT09 z@*`4Za)_*^JRHT=X_qmnHSNsJ=XU#9PlDXAkMK9BQPO_*Ora6U`fJ#Eo}=^m zky4P*rAuE%olwzpj1HgTR@Tesp+$7)n629y1k7I9!egD>QVEP0=7o{DBP7DPsh9S3 zJ3W*a^X;b{Yxm``6Q8EE5MzM$73DX@{U!4ARo!1lJ@rsOmG(NRGNVcgdtb|NA2nxH zW@ze~nl(p5o#ur)Mkl>NnL%3ueHwqQA>Cny7a&z9B)%*uIoz6sw9rG3j%c28;Dd9Y zoY~K~smVc&m1$Lyd%`~Nwwh?PAL3T9N`4+EajU=dM03<(j`6-H#&}crR3@$f&B1Nl zI{7%!5%ymB6!(NBqGa}Ms7w-}3WFvl7~e@JO2-}GbbbOlS8btublwJow<|jEb_#gA z0=x|dZ&!e~!QkzRE_h2Rq6g#rtw9gQxYqAzAlDKfB@BI4!^~@?NOyn9d=r zV!eFaoE7L_w~Y9}a~%Orc%_Xw<8!!FKpY-Wtw|oEWL9?D7wwmZDX&Oc=C~~b_SZ@M zzK-1QkRo%9p~IA2lIP?})zb_eCqe{ezUdvXUy}zN9$oh9$xh%;O&>#8o& z88eRK>hP+I)-P4fAmN-drE>TmFRFFHO7!QINmUmr6Ac$@K9Do*Pv^?N(tPVyJM4x< zvYa`@yAr3uL$brlJHnkuxC@sJ2bl$7&eI){;h58`K%2hl_%6fJfsuwPwW)XLsn@-r zLb-&B$AXl~H-eS&3Dc{#Yfnn69sTwY_A70Kd(`m+_mh&I-k|2Cy>=P$&P903C)*E? zlEcWoI7(KW8y9)jO_majZ%A~z6~*kgOT%aS96Y@0r=6Oz#K3--FFS6?RNvdUvq)ksZJ)%PD!hxvZ1Xj6x+T%dN$(G@xQY}Z(R z(FiObZ#2tO?%3j6DQCoaJsNIiD);;?N>YE1vHDfuaeS)kf$Vd>*AssXFTTh973zrd zi^<*rkX-7u2uYjT6kPXB#~ialwG%oGYZ(pT?Md}@o?`g~`^u-y;l*yl6qZ`S7m@DP zi+6jiE7~!L{IVT`%CB?`%HJgn_A?B$sm?bCxPx^Z%ynON&ar8*c7*Z-w-kATJ#>Y% zx>!S=6d!qNtrwdLGX5n`9p-yV9k%kfYF%BfJK@H4^13=1_LVe>Oz{s`rb+dt2q~#% zTa~rS9&}m?FEba@`CUG@ma*n|`JY4a{&c}+_mpZSuWf8tCT9e^v2}l%k4-r({G z>|^&FdEijryk0gMtv%Z5i(00qE=sbm-6NGZ5BJ$CwEleyJnmB$J=>zB?S@pe?EBwY z`hZ83dPJ&H&t&sJ2}eImQ>yHSwc(XUgXGbAN%p({A=OsPk1p+#v_7e7>9=ogv9E&U zF|ilEUMG1joK`)jPxWm2&*F2b-ty_2-R$ki;&b*D2(?F(+*;(tQ)<(H=6;8@b<6f?@Y31!v~UQaFMkAUlZl+|N0DYT5ek1 z=j^I2d)@YB>x`8c8<*Z?pZS?GWVgL6N!zZyCsn%HczMqL_CCWlcXah$_ba<@+TvLj zB}D=|`-%w=#^{_8Kea(CIu#-T@n)f5NeBieCPLkXcOXs7~)*n9^>aaU^P?+i|UAF(5 z*B?JM#2f06Ggs}Z%yg@(Cdw1-m8YbnWu8UJ(wbH4_Mo+F*rSwB31hMvZ=D+#j9+kY zzVgtj5hPwlNet@6t{uLaj;f1##^2VUZSL$3Qr%g zuUx07e?$qRJUz}J|lgw(Wb-;ptOkg(KoH4)_%F8USe)RZXv z)+OIwB;lf0hi1mD%dhP%E4u1&=gNhBi;`-5RnhKk?xbpEgD0_{~@RfF{W z@>iw6R#aP!8%7Y0OCiJlL_6g+wroDO_s9o_KJm{!ch8vzTC-bnkIg?)cxbg#eM3_Q zmiVeXTCpQAkY1zX--Jc52`MjF z6~E3iD?^Hg9;Ait&g;oEAT9J)|6PE4^<){}!grIe_?w{BDYi9o)PPyTCC?P66qTVw zCFE?CR!vxXccd2HqC`c8oV@6s8Z>RgeUO({PJ6}kOo$Ts%mAzxyC=+aSIn*0(9~Z$ z61mPmCmQent%AK;T9fL&7&*(J&`zozTJActO>uAk&MGIA<;bfhU`Lkei+cODPE+}W z58Te3k?X9|jk8{mZbAraS6& zKctA<6LRVhYlf+=%|CMe4e)IQEzbqSuS5Lj>UmwMn0wh;vW)6?ZS`uK8ybWi((3v4 z!8;VyfmVkVbead$VIJ@t<^dUA57yD2Y4*%=NRa(84|s)kk#SoGgupyt%gRNoOP*dB zIxgPL8F`WXNpvyWV*5!c*0!{c90laK!QEn{S*(Ohpty=(L1 z-?yuuE8CZCk{-7|JvU+EV#$+v`eN@5+fU_6XCF;?2k#Tv`{}vT(#O7dwEXZmt?BHR zbM^(B6?>0HsXWuSF6hxVEQ3w5uIbsqOV{OFuVv`JH_S%Otse0v^*p?tdeK^`PifO! zMv=ZD;{_jV-$--U2Xh11ukGwYqsG>ZU4QB_zPD5SH@l7hPM7hY?ikvQ z$N%v*jUdC{4g6uN0sSlPtYMl?rh#P?WbKqBw%&WlV+s#XI%5CtNlBix0jKRiN?vqx zE9nKxw|EpOJkl(ki}TuRW+~^du~#Wd(|@;J*lwOBRW372P4Ad4+FQ4Us>{ui$JFv) z`^ToR-pg@|-lPa`^m6O5@huzfq7?u2=FP29leWLsC~dFb2Pxu=H2%!05A7bal!UX> zfn9SSM#1ov)}uK6{y2YYe$jejba*uOK?;8S!3TQ&?z5lYqu^Y95vO^%^=PO$8apKs z^CXX%vDJDOG0*!B@R$z7jL2~MqCT)cyhGV;YLwLF821R{Mw1$UZd>&l;M=r(R%;*N z8)=&Rik!J#)D`J#Nox9aKm?^b#BuSZ>s@L6Zg?WyvqR$;^Yzd1z^NnoJo~=Yi&6Dn5b%$5o(+4(Z*Grzo&?1QMO(nB0 zus9jM<(jwY(S5B+)wP0#h69qMLh|!0Cusq3*3XqlzT7@{hh#sTE!iL60_|hamdL1g zk$#j{Z8WnU#1l1APBspdPOPFBAFsL%V+bSysjkJhI}*AO^ot9ipO{@I)nr8M8COoX zlC8<8Sw%Y79i$KL3odC?TJA#Y(RU?qmc2PDttY_slYN>mUPMWjS|o-JL;>-Op~N$_K|{2 z+cC3iTAh2reqj4x`}_w7?^!4BB#`x!;b*>5n)bEx{a**FN=%$vKKtqyE7igy_e!~_zS`# zssBlDQD%8T;E>DBXQ(e{4^%y3B}n*js9vX}Vx{z0<4mo!%0{nTDEbjQ2nG z#4}BQ)6U(!rQUJ=;#2P7zuNkYr*62CJp25`0mdCGM?D*vv;*8vHd>@5NqLXf?@^?u zst=bZK1yW>|0D``IEum@ruW|TernvPXWh9NBX%Vu?Psyccf2dT@^J2&=iZYuv>HB6wg1woYI;|@KvXqV?YYo_D)&3auBh5oFAuNRdO#}D zuBBV_c)EQsCcv(;Cffb1J~I9WE9lJExEw3z*Q9#++lXZzttEJ{2qobp57GXI^Y5Fh zsUP6BO6hjKt`)t!JVVVzdo!0y^+qZDeA1|i{V?}gtR}c$lOigdk3Qe?r15-|ycaE4 zYHI!01<$`s>c09&w`PtshMVn+8qrI=oIVl~U8G4f_rXeZq|rFeol%oHUetcv1fDgS z)&$tMJvWg|!bi6ToW4P;Yq<3Tc*IIuGjV^jX|cB5v_pz0fBvz5QO@s0EUbM1ke2Ww5YXVzrsoQsu6Q~33LCea9U#A5%p88UXP(e5AKb8CkE{@1S|{XwL0 zjTF7!V+>M8gf$_{+=EgZ}Rj=zR#ni8wWhre9@z>k?NaIYEM0OvgefQ?aBSr$S>-p z1XG@pU^<+>-T97OQ@*`!pITEMxfVJM_bg?*R-az2Z9my8CzuR!Le*cS$_eOUO?{-@ z>nbr{t!&gFHy=`-m)9!8)K=wr`AHFz#eWekz_DmzjeU#yb=cUi2VbVKjZ)-s14!Ff=i#yVJJIjR4LV2bb ze|7}u0Rl8Xw4&J+??!5EyleRXG4DS8Kb3dY@3!+U>&Zagt#&S7IIwU7q-KwMQ*~5k z#WK=q4=k)$X14XRg*&3%JKTM~rMuPbyJ<}&+-6>6J!3AxjirUw7V~`Tv0k~$7bYDE z&tB<_KZMm3W_{*=n6D>vOySnIXznFX^hDK3=O>C*{mZA8Yts45RBz<6KGODOhtus3 zeWrN!(eGx-v+jDdoR#AStgn-rvU*>v)yjw4mq*EORa3~Og3r$NWAV;r+K(I#_Vl?P zbvFD4yZJL|yLLvZY|fA(_s^0&#?u$=WuHm%#JDZEb^gK*vuE81YLU&*dtziipOkPK zvbozNlh3|#(gfOj?pH8BxFLGE{ZKu6pYR*XC*EjkPLI@1T@+)|&+W=<%J%9;Xcmo9 z-LLJrrzN-6)VmH=N_1L{7;X9ZMYk2*fbol!4xJS!(pYdlBTe}FPw2jz^Ur5s*2?Yp zS|lluM|Hm*10F@}^;N6T+75FamX`K*8{JyLceqDrkFR=|YX|djT&Qqis@L|Ug-R}Z zNf&OWaHk1(rf`2I+y{i4Bi#AIEf($~;r?8>n}z$LaJLEfHQ~M`+&>C;uW+4(3kr)C z7g`(-+8xDZc}0aW^NI=_F-4{Mw(OW_yRBqyQOw-DvKae3hkZejv#d0xB(K!IXiQE@ zc5-T5Y_=mIJ~1gNHa8~Ok(v|lNQ@~hvB#7+=H``_IZ9$m?KWqrBf6widSaB!=!clY zo+t2k7(mZIuMpu&oW*7Q^CjU|!2fzc=X5aaOML;hvNA_Oahav8$Wq|UFUu>=Ut(FD zS2oX5w8&ACn_q+>jy+w)@6$1UsWZE*#AYwM>i7|z;?K*=Ewki1@aIwtuIs_;L5gsv z2{%i)^MzX`+||N;QMjy}3T^oolvYtmn#Doo=E$))3rid}`#f8AzQbZK%5ju9OUp{L z^TsTQkBenIaXbjkbQ$9X6-3qzoF4<|1a1`d0EGcu0 zrb@~q$o6?frH(@OLh*2$kTe37sMr5wkiJiB8~*^*+1WJgD`U`%d_W1-Vg zXkQ}bjj>~FaEzfOq@2K)f&%9l76k%<#A|6@sZA;^vz4K>4htwNhD5-7d)+UdXDiGB zDs3N2$6$a#&*8`+f*u$B*h_-Id-Z{@*jAWlzuz*?R#IlM1WP}Qmt7Pd%3k&qh<7SP zdI~$ecTT5t2?Uw~OX)mkSq{ldrJy*+nU9e-$LS!cV0QfINFWKmveQHdq?LG+UG)TIGIuZTB-N0WZk=|e%;B8Q!350dn` z$OjW;_K>Vfot*vz$p7fsItt#hW-BdqlyF(rmWM{0W+|~1&UHkiCqnn|6U&{B{M@v( z@soc#XIjSei9emx1r>Zw1Br?zI0bnmeV0a)OcsrPAlhCyCMnL5o8*YK=fo!EW~XMS z#AN4{&B@Jk7qPKFE^j*Hhf9m+qJ3ueju^VR=`-ZYP+rxK>2mazpmoZq(grK;&)yCB4AhPjK#Ok{=r#`>4KTTG;qL=hKqq_)C{Ach1j+_$2Ff_OBA@cJ_C7<4=0DuIkIL;eP|5b2`t#Z*Uj>zl9&Q zhtA<&>c+pe8~-}^cUA9p2!HRdB^Q3SJ?N&{b7(5}e{~vnf0TYp@BBLm&wLnm%(dCk zrIqF66|wQyax?F@^htXnup-5W9o-#-{H&RdQm7Tv(wv2hOKim>M`c+cy4wmZSs5iI zSr#_3F*;^?yQc5Okv#oN`c)qtW z>>y(pIe$9)e}fq$)ua8hIsQk4dqKFp@8bT^!kr-8`-D4lc3gal6EicCY-i3+i03pt zSVoG%nX{9|VvsM*UeKoBZI>?#FeOa0m<4{iqt^@leUxSKJO`#-AT6(Ot|f~JHq=E! zgvfC`XqnuuugtW8Q&KvoTbB`w#k-y!$=39^gukAjv$QC;%vqLK00EkQma?CL*ycF$ z9dpw#MHxkD)Qb3#EHz2mCEjVGP0!n%-bY)QciSI5obJ*2T@S7+19Ut)hwJ=K@eBYx z9`sIm5PkEZ*DcI1u;trI3v8t}r-SNuDf?T%{^k|i<~s7}54x_ojsU_Pf^Z~?=Qrbc z`CcvE|7)e@YD>1LU|T$=Z8{*ei2SEazKS|(E z;|{f>|22y?{dS?VKy-O5y9Nn0n`x&?X(XYXZnPAa6wNKM z6~H^cEZXu@DBEaF1q(Z+G{I+G*5@MMJ1A2;qcS+1dViK6-t~Us((#67TmR3`cvlO& zvKZEoHG!axBY6ezgL9Yi}GI{yy>u5bd3$@1pdM>G7&O)x!%xPbBO|uNKK-*!-o!B>*r5^|$1C+P0{H#lEQi{}=X6_>@9#g)aE#+Js} zVr_A@cw2&PtS!-&WJ@lMFHI;NTbfv!RGM6xQkq&Chd^;<31wr;63ddrJR14jBkGr) zzV0?aRKRCREQ3OFwAmNneQY=NajdA1KZ+b%TAWvi*>-p!xeOI`C;T{ogOQ-K=#Jlt= zk8c*P9zR^XPZ91+;oc+MY~juqZi#Ro5^jZXR|xl4!W}Q%CxyFFxV}!`w~6;R>NtL% z2=^=DDm%D;f8oXpcZzVch5L|jf2F(iJf2UuyM_CuaK905@M}EWP~oNtccyUX3%5eJ zPYQRNaQ6!Lpl~yEdmX{xdqh8|_gA{RT<~RbC;OW0Zoo6b!u zvgNeB1kCl?{B%SM7u^cMsy*op?!nL$-zZ_0=$-WIHcUVB^X3*haww0s%-X%jL;hM& z3|YBsGNk0Ww)}wX1Aewg=%Oq70UBPh1oGGEyuXwU=H>J3LSMq2zWDQaQc2qg^Xu7faH|U{x`r+ zp9|yXmH9z|@N`Zm27a{W5XjHV_19g+CmgTHZkln7!9-(BZt~bzdv-!%3YM*6ZMlgt zsVTYHiE-SL&kltFn|o&6!OP)xq)ksWfXV^Zk&xq8L*830snxW@gw2(f*S?sjo*C$eXm_D^#k+=3;+xS3<3-WTnn%O zh5&{Fh5@bv30d5A|Owc+JFbOajFaFw4wwPB127Zi za3|cK;@d2wF&l6f-hT$T8*mTa?*-fkxF7HU{N@0%05(82zz)a(IPg6eFc&ZnkO#l{ zfCYejKmni-Py{H(_l1BGKq;UMeonw5z+%9I;4m2{Jp_0d@N>XYz%Rm|kbVhp0m=at zfJ#6W;q)>8sG&y2iS;k&jVfnYyxZs{09D809ye*z;6LB0$u{t0)7X08R1?5 zYy)fuyb7p;{|-Ps;5ESOfHwfY2mAr>Cg3f=PCx@-7hpHwZNMJ^jetFXcL47K-UI9f z{0Z=9!25s?03QNA0(=bk1n?KYr+|IHVL#wAz~_K3P(oi``-JpY{Qeu@?|^@R2mgfY zNB9GPgMcQ$AwVlTuK@oB90ME&d=2;ypapOO@D1QwKr7%R;1u9A;0)j_ z;5)#70p|ec0T%!l0q=@_L7&Y3*!|AuvpV)WG@l?nb!UGZOUV3xr2HX-&t~)d zY2A;WNdW5S1N!HV`b7$aC*XV6<6jquet)H5pou|hhqYMwE{^vcj*eu+`~?5oo&fy1 zo}XM^aYPwIOE|Y|-pElb&4Bc})8Aa}P|kE8-wOQod1PS`CZ*7WLN`X{U?mpYBB-;; z-1$aJ*}S|`3;vTGr6n)d0u$E~OED&9U7t(q!W!WALc0UBmU4Tt1&*8_1tFnGNQ{nWt6)XQ zM94XDcXRsh6*a^Km)1S6mT8^i(^!G-p^No(vdEhgu;x`@dvK2M`%!4@zR+1NSoT-| znxpRF^pXyTo?!rzTRZ!Yf!|0#VEyh=zD5{&I>#q@t~Ves{^jJk&hZlwmvkio@w;xX z2t!Zj_(||1-E=_wF8iyl;t~J#Cm=pnQ0z?YgNEloGs4Oemf%Xb&6N%9jhl%T<#t$a znR#^!s6Ri-=gE4$dY@&!p7ZNRsUlaQPfNLv=l8$p(+KxZ{hSWJaE}SsaDe*{6mD!2 ze@_u^x^O26cZP6nmR$6AFkG?}m7uU`4b*Oi_M|8&Muz|-s>YRZqIx<4dzR;Nm z+p7{Rq1sAeBGHK?#P6K$FOV*c?UzXxRj}LSE=li~NRR6ElcJvKdJ^3o-OBm#`M2CX zCEOpS-gVzK@i8gD9^vH&c=_t~2xNys68w}BlW|7MwW!)Qyk6I-#+J7ha^b5SvA zAVXw4uZjHl+!1oIc-QC7e;4m0=h4#{4?FOnHI}Dkj`s_~eOb642=|z9FH>(Wt&gRo z5csVfiS1zx%et^*F93RJZvvT5lIV{YqfEi9( zFiwdoOx+RRRe*VKHqT$LhpWUp%{}PR_gA&sC$L{an!>zLgxA+#Dlw1&g)ZWiwAnS- zZLk*0D_at{XYq_khuS_pF<5BR;C|Pacu$_|u^A^z?UqydGiX{%ku0#8->0%yRwpqb;o>e?8nu@ve#l(uAwysi)gFho`5< z>-?_sqs<;b7(qD-?DNR-}36o6WSByH3wh5l-iWUXIk3>Cwld2h5!Akzw5R3wL#= zeB%*k2%xin0{jRU%frE=gGXB|4_lU6mW~V_IeJu=6vK*wSK$f=&u;+Y(>o`fcok zu=|gL`F}#}*x1C_q}b%xlvr#8j*E+nk4uOf8rj7@<~GbK4CB_%Z#D5fI&R3x2>XsPfbs@m(XUf#Ofw+E+xsBr%# z+!>w9{T`&D0k}OHw;kqH#3Cvi|AMI~GhT!ImWvrE&73WWCViC4^U>?eLGeD6KH^DF z=ihZZw$9&KH5WE;EO!W6u)(A87sheyg{3oTE>DNXc6uHV?|Oe$ia9f8oIE*!-^fwz z#`*=eG6-`y4%ovL@_w^p(A6S6y}#Tf-bpV`Pr0a1di%Yk_Cbh^VT;c!b!u`v;yjKw z&Clo|yAiTezBf8L`hJo;1nq48AK1F7oU$ z#rKHFe}u>{LaYPn^|VJG#|L5&dphTTNjW>QEe;Y~OflvVWu!mhB|T51GhC!YvL1~& zo&9M%OQJBcs%b`}YBHM5K@q_NL;8jG3JdQM*3%HKUUN-kP;a@9)>rAL_BRbw2Fcg< zwx~C#qm?ls(Q>RBr^L&@QMM{R!*9*sDgV{Z8!o69gI;=Y$s?;a#@_X_M^>&LIOy*^ zdQP48-*eG1x7>ICoVtTms~%nRtF5oR@%zR-@9q7^q2`N{A>x`*abuIyZoFyol>4h5 z#m86Q`2C)}AAESISu%w6U|-X2%*dQP<$)YW)taZCdGCV{!y-myOuj3}v1-j$1a5rq zpNE=T!Xh#z=Qvzd+y3y@&V8S?oTzj^^1|k~b~e8A!G~Y|b<*Q+zQ5;#4<}E*{jR$o zm{arUW3TL}-??kgJD)}L?sM;br%qqE=n5-X_>X_~=y`2n(ZE4-mj0slcfbF`cfI=z zzBY5>^xJ=S&wUU4;+J)epYHox%ZZaErH_?4*T>8m5gqfJ-_`GY=fltb`DFTr$73J6 zwqe%?7pLET&%Gvd&+zMGzWz^PQSwcC z>Q785<{Pw%ixGXzF%e@_OZbqUu9b$04gEr*mao-fv>Q!IkG?^!?PJP9UHkioYOaf# z>z|=thpAPo)a0P@`+B)vGrRs|O;Ll5DdtRbsIe?$uzHW-?jToX-+{rsgQgi=D~!K= zA+(Pn?m0vGmm^G}n&#RRQC<-K;7F?xUsoAiZ>a;+o?*~@${9^-N z?%Pp6V4%qy9MY>#Qfk_kt)G7pl)QS)7E|zzH|OR(_N$^fU;pQx>?fbPe&noYyw5%V z!f&>`^u{0lXbcIB8kBZR#vPk~^XK=yrhfg04!`-9#ytkhu;C*{CZwcInlf$1owH_B z9m}#iau<|7xb&ARUhw_y<%W-Hf4Ah%g+-nRhCZyRU`ehj$3(j-2B~p92O6#m8m!%* zO)&JZx_rj#4A&V(n#YF7uGQtqLA`^`uE$eVyE!Pfw>Cr_pvmbehN)VNA=ngTO1E5Z z2n|ZYy(#@ohEUUt$;k;}38rXsaQTRt({YC0?18=d1Wh*#?s;pEex_jKB=hw_&X8Ni zS&cVp!Nxm`GH$HWT#sZAo@5SoZGK>AMo6$REHc#;oHW`H?rQi+&Yhu?f`T(M223*F zIViQoooj5sJ?O_f!B2;-&KUclnGd`^Hsa$7>>yIn`P!;po#}yNwd%YsnWHl&R zBZ4!7M{1E3FW>8!YDhIjq!X(*oH1AJw+3xIU4Ctx8euS(udFdF(8AOpQ@AI~bt<^j zT-Ybm^<=NmyMp?;mX%Lb-Q#;kxo6zq+BZh+Z&1pMaY>9@a(y;xnjzSrR7Omgc9U!O zPmHo*mNsClQr=^ld);GaAxBsMBs zc9;~SqR56}^56mYhNJ}r$$brS5L&KwgSxn=C= z_kl_(aMSY`Bu|nJGLn|f@*T2b3N>fTN>GS#iZTGH$#QZJ8Tn};@^wLSu0b{eC8eKY zP{R#j_-T}T$|!GjkUB^itfVWl$t)`&LGl=Nu`*O%q#BeU*{J>%D@rKnijfnLuA*q5+p3u5uc^>v zEEUElIzF7`c#s;Ca$a7RG zK%?xHRdW<8OOg{6e6!6udf{mIKBr7Mu zYt#XGHS#jZmf(>_#vP-gMx&4=6N*8e*;_GDY7ZHa0m>P*i?Wh|KZYDhzQu3{{RW)| u&1_aogAHp{DcKNjmV3y(HMu8JiC`&csG$bQRA7>_TrJWxc4`W1I{z0kT~-+Y diff --git a/os/Makefile b/os/Makefile index d56bf6b4..21b96140 100644 --- a/os/Makefile +++ b/os/Makefile @@ -6,10 +6,9 @@ KERNEL_BIN := $(KERNEL_ELF).bin DISASM_TMP := target/$(TARGET)/$(MODE)/asm # BOARD -BOARD ?= qemu +BOARD := qemu SBI ?= rustsbi BOOTLOADER := ../bootloader/$(SBI)-$(BOARD).bin -K210_BOOTLOADER_SIZE := 131072 # Building mode argument ifeq ($(MODE), release) @@ -17,15 +16,7 @@ ifeq ($(MODE), release) endif # KERNEL ENTRY -ifeq ($(BOARD), qemu) - KERNEL_ENTRY_PA := 0x80200000 -else ifeq ($(BOARD), k210) - KERNEL_ENTRY_PA := 0x80020000 -endif - -# Run K210 -K210-SERIALPORT = /dev/ttyUSB0 -K210-BURNER = ../tools/kflash.py +KERNEL_ENTRY_PA := 0x80200000 # Binutils OBJDUMP := rust-objdump --arch-name=riscv64 @@ -34,14 +25,7 @@ OBJCOPY := rust-objcopy --binary-architecture=riscv64 # Disassembly DISASM ?= -x -build: env switch-check $(KERNEL_BIN) - -switch-check: -ifeq ($(BOARD), qemu) - (which last-qemu) || (rm -f last-k210 && touch last-qemu && make clean) -else ifeq ($(BOARD), k210) - (which last-k210) || (rm -f last-qemu && touch last-k210 && make clean) -endif +build: env $(KERNEL_BIN) env: (rustup target list | grep "riscv64gc-unknown-none-elf (installed)") || rustup target add $(TARGET) @@ -56,7 +40,7 @@ kernel: @cd ../user && make build @echo Platform: $(BOARD) @cp src/linker-$(BOARD).ld src/linker.ld - @cargo build $(MODE_ARG) --features "board_$(BOARD)" + @cargo build $(MODE_ARG) @rm src/linker.ld clean: @@ -75,21 +59,11 @@ run: run-inner run-inner: build -ifeq ($(BOARD),qemu) @qemu-system-riscv64 \ -machine virt \ -nographic \ -bios $(BOOTLOADER) \ -device loader,file=$(KERNEL_BIN),addr=$(KERNEL_ENTRY_PA) -else - (which $(K210-BURNER)) || (cd .. && git clone https://github.com/sipeed/kflash.py.git && mv kflash.py tools) - @cp $(BOOTLOADER) $(BOOTLOADER).copy - @dd if=$(KERNEL_BIN) of=$(BOOTLOADER).copy bs=$(K210_BOOTLOADER_SIZE) seek=1 - @mv $(BOOTLOADER).copy $(KERNEL_BIN) - @sudo chmod 777 $(K210-SERIALPORT) - python3 $(K210-BURNER) -p $(K210-SERIALPORT) -b 1500000 $(KERNEL_BIN) - python3 -m serial.tools.miniterm --eol LF --dtr 0 --rts 0 --filter direct $(K210-SERIALPORT) 115200 -endif debug: build @tmux new-session -d \ @@ -103,4 +77,4 @@ gdbserver: build gdbclient: @riscv64-unknown-elf-gdb -ex 'file $(KERNEL_ELF)' -ex 'set arch riscv:rv64' -ex 'target remote localhost:1234' -.PHONY: build env kernel clean disasm disasm-vim run-inner switch-check gdbserver gdbclient +.PHONY: build env kernel clean disasm disasm-vim run-inner gdbserver gdbclient diff --git a/os/src/linker-k210.ld b/os/src/linker-k210.ld deleted file mode 100644 index 2ef74ca0..00000000 --- a/os/src/linker-k210.ld +++ /dev/null @@ -1,48 +0,0 @@ -OUTPUT_ARCH(riscv) -ENTRY(_start) -BASE_ADDRESS = 0x80020000; - -SECTIONS -{ - . = BASE_ADDRESS; - skernel = .; - - stext = .; - .text : { - *(.text.entry) - *(.text .text.*) - } - - . = ALIGN(4K); - etext = .; - srodata = .; - .rodata : { - *(.rodata .rodata.*) - *(.srodata .srodata.*) - } - - . = ALIGN(4K); - erodata = .; - sdata = .; - .data : { - *(.data .data.*) - *(.sdata .sdata.*) - } - - . = ALIGN(4K); - edata = .; - .bss : { - *(.bss.stack) - sbss = .; - *(.bss .bss.*) - *(.sbss .sbss.*) - } - - . = ALIGN(4K); - ebss = .; - ekernel = .; - - /DISCARD/ : { - *(.eh_frame) - } -} \ No newline at end of file diff --git a/os/src/sbi.rs b/os/src/sbi.rs index bda8034d..9739e3b9 100644 --- a/os/src/sbi.rs +++ b/os/src/sbi.rs @@ -5,14 +5,13 @@ use core::arch::asm; const SBI_SET_TIMER: usize = 0; const SBI_CONSOLE_PUTCHAR: usize = 1; -#[cfg(feature = "board_k210")] -const SBI_SHUTDOWN: usize = 8; // const SBI_CONSOLE_GETCHAR: usize = 2; // const SBI_CLEAR_IPI: usize = 3; // const SBI_SEND_IPI: usize = 4; // const SBI_REMOTE_FENCE_I: usize = 5; // const SBI_REMOTE_SFENCE_VMA: usize = 6; // const SBI_REMOTE_SFENCE_VMA_ASID: usize = 7; +// const SBI_SHUTDOWN: usize = 8; /// handle SBI call with `which` SBI_id and other arguments #[inline(always)] @@ -46,16 +45,8 @@ pub fn console_putchar(c: usize) { // sbi_call(SBI_CONSOLE_GETCHAR, 0, 0, 0) // } -#[cfg(feature = "board_qemu")] use crate::board::QEMUExit; /// use sbi call to shutdown the kernel pub fn shutdown() -> ! { - #[cfg(feature = "board_k210")] - sbi_call(SBI_SHUTDOWN, 0, 0, 0); - - #[cfg(feature = "board_qemu")] crate::board::QEMU_EXIT_HANDLE.exit_failure(); - - #[cfg(feature = "board_k210")] - panic!("It should shutdown!"); } diff --git a/os/src/task/mod.rs b/os/src/task/mod.rs index d3e7b0f0..860fecaf 100644 --- a/os/src/task/mod.rs +++ b/os/src/task/mod.rs @@ -134,14 +134,8 @@ impl TaskManager { // go back to user mode } else { println!("All applications completed!"); - - #[cfg(feature = "board_qemu")] use crate::board::QEMUExit; - #[cfg(feature = "board_qemu")] crate::board::QEMU_EXIT_HANDLE.exit_success(); - - #[cfg(feature = "board_k210")] - panic!("All applications completed!"); } } }