From eed2273ddf0c3e9e871fb637c5349cbc3b1fd930 Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Date: Tue, 11 Jun 2024 18:12:30 +0200 Subject: [PATCH] Add nOS-V docs for idle and breakdown views --- .../fig/breakdown-nosv.code_legend.png | Bin 0 -> 8754 bytes doc/user/emulation/fig/breakdown-nosv.png | Bin 0 -> 18903 bytes doc/user/emulation/nosv.md | 43 ++++++++++++++++++ 3 files changed, 43 insertions(+) create mode 100644 doc/user/emulation/fig/breakdown-nosv.code_legend.png create mode 100644 doc/user/emulation/fig/breakdown-nosv.png diff --git a/doc/user/emulation/fig/breakdown-nosv.code_legend.png b/doc/user/emulation/fig/breakdown-nosv.code_legend.png new file mode 100644 index 0000000000000000000000000000000000000000..7351a6daf6bd6e4410fa70d66bc2464d67c79e77 GIT binary patch literal 8754 zcmZu%1yCH@wjF|da2T9S27*H-xD602xVwAs!QEYhy9N)E1PvA-IKc_-3@*W)PwxBw z)w}oouIh7kcb)F4vwO?hYj=dAyd*XT5CZ@JU`tDhD?iQIPiGq%%G1b3g)RRyA;CnY zRneXfZ#2_z0DuM{Ee=(6&pOEV&{b7?>=m{+9Afv!2=Bw8gFjn)7M|84WWLC^#r;r|(lB{5*#b|8(z=@m+aZ`N`b$t8WO-Y?i_M%nx1+wfg#5Zr+@L4fo&Yu|o5&aSXax|Fgz zrHZHWrr;81M;f1cv|h<2qRiXsA=7!gBAHfx*c1nI_+BnMq%YE~TsvQ2}UZ2aD;|d#gnaTm({B z<|B1_w~SUwNqK(qgp+HP)K;qD3wgjer){p#)>BII`uBsR?!eD^t&BhJT0tBi42}dA zpt8MhGx27;ANYRSgp0o38yHG=s;#faiRLxjHoqs>XQLggSLN?!>)4LF$U7`r{esN~HNTXSb$>YyR{6^O z95?Wt3ELTVdT6#q6t(i_oDUp{Sb9PoeRc2gmSdhLT1T-?=!ba`-8c-+W?JT1K54gKx4P;e zr5CgFdU_>VPXX&-6Dhwt^KQrZB5$I%O(CfGQ&Ia*-I7~3`!!cq=;l6(M(@S;oOamP zw2zu@VALKbdSWapO1^wr{94Z)>c%vc=e3OABd0KJ5F|MeGNTs%{4 zOJrzky1RBuYAZ39*i@GnG#hQV062Vg}o6Cz(j8OaO zK*@dZavWW5C&w{;LW!$(owtbSH6 z7!goO@qatjuCH=$3bbbn=5CFOvhqN~IYPiCif@21dvGLFHnaAsabPle?T9$!m-?KT z#K@5K5eH^=jnFDs)97H>;Rw^KPKwln7AW8hI1RG@n<@XDGXD~Wjbhi*_IH|>np6(W zSsQtE{Z~g-tqYV@;)uAVDn%%V&2X5kXkbt35Eyoim%R!u*4F^q;pl{03{$9&i@@PE zopAQoN+X@FQp@Zp-{rY#9I-#5laEYP{nj^Krtt^zP8Wl-zbU>$WtqZBe~Su}PvQuB z$&t&M+9u9tOFkt0LbTn3fr2y$Y(q==P`$7hwO!D*?*SMD_AOAT&rtZvesZ9tM-m1d zd?$=^XO7JX6HkbL|BGZ$2&?bJTgYw;2l!=z^1^+OVXh(NsnqZxd68Woe_o#N zy+81@-!t+2s=!2b#hvAqiB@Mec~XF;5v*~8yvXL~>UiHTf0|bi(fZ(kp<$!9!$#bV zlMHNI4nk|(;x9Jm9L4SBLpP?MVcQPc+7S#}V3WT``R$1!Bbz4I`mjOI74_$-kl|JM z(&i?Gde^&FOvJmcV=Zk=ah9BD00BJR*@kXoXmzX>7tLDu?AC$@n3Ed>=Mw!MOuNi* zdo#1=;_9h_a#QI_p$Btz{XA?{W<%;Z^=fd0#_ zR~aM)badFQUqLa^1qmk#elnks6T(5tR@U)49ZV3HF5ZE6fAYR@z{t5nMdd8xVoZs> zWL+T&j=E|WOH$9Lth*a6`^2q!`E%Wd7vC_%SNdj& zTCGHH5yk6lc$@3KLKXRdN9)k?1+!N2H0l7#zQiA+cgqGX*P?D?g=>Wp zuzg(9tpZesw#82|y-V+Su)^FJUcIHP0U<`0smgjgP(|J08jX1kI>NeL`_dciBH}pW zdCk}#6-MFIlKVe1N0I9!4380!$~6onZ7`zk0saWL^xVPcXFvx#!cggD-{@l}UjzM@ zGXmb-LQ9h@-5al)($JYBQ0NHY4$1>U%+XjyBMo3tlTC~SG{zDvQyGyj%JhC&0YeGB z`-0i-U>yF5=*EUB;r%_Ft`yxD@&_{kSm+F-6WLH-eXgpUg&yJyp8&1&oy$$+k3)z?l<&5@dVklt#Y$`4)~NGOr3KD~-s+$Oz)pgrE>H#Kq>@J<4s`K;+=$lMaNVg z-pDSJyQkrARmHz!<)1~d{m746aU4O^mwq_Cgi}2f)Ap3mpYdq2a&@}*rSmiP+uPX# zpF*6(WIjb6NB$uM*hS3j`*h5lUl?Bfj? zH{T;J$r(QB>l&AYH?kZ1+1)J|I^{_L3y^hK3&)9HALSkY_|NL^6&jCG4WTSyuA}T< z)#wd}n@z)e#Jjt*0_zu_V;yh4UxXj+$fR}Uqp2FOvWFoMrgyo_89vn2E12TA>G@_S zIL8j#7gltyr#ReJA4rWEbcH6wC=N~|;xVyyxN{@ZS5F0Je+rHg7Vj*nVw=Oc3xAOE z3)C;|6RGOjz4RtO;B=)?vWXN55?k4yMz=pZgD&OU&RCE{80p!>x45#bt(*LXUd0T; z_#flTZ_>J6_KWp=d>?P^-nG~xZnvr~$nH1cBzs65db2xtwO5i(DzNUhAz+7fRn!!& zrPsnGK!H$&r4xqdh7;^G1ro2v?=10}7M)z3y7PP}`)a2Fvj$@)lHDs* zdoeV>-3z$3#@f*|^4yuJM8hwqlnd^F;8{t&g0vi-n@80`kxA?tRv5AHqt~TCk`KM2jS^)sZgEvh7{8r2?)&8w3*W_F(4$8&NqtSRjK6R28ACNo#bKt(zDrB|T@yFBFYySUon3q5g(ZA}} zZ69d%MQyd-+fqsT$%L8p+JXn^M4so>x{8Zz^xE_{rbK7o5PlC7F^c;6p;j|aH9lKS z^d^)8&GmCY%zFm88TTC5m`l1_6okpXTCO)c3nAKkmSwJe%zSCEK=@ZxqO%^=WB26l zJ11F_rSm-sMz~UY88;mZ9S$jo*-(>Rq z@gBknrtbb7_bh+YLpGBAbgm*NR@PoNP<0#$OdBsGc$=1d!RViK>j(K9+uYIW)rdt; zhQD1%Y<&W3NIYpIvLPM;v2h>Qk)P%{fTS8*eK6)4=R~(ir3e~yUn)V82f3q6VaR*y3Elqac)%_4rSj!N;_-ff#UsFq8~x5eZM1Mg2ub&O9M?d@(#U4oR?#U1Jdqa6kpbS-hhI8kF z+<@(}n$VyMZaC)5Vqq>;y+^FXG>GjfrCN9Fcr>wjqErI5wgwG;QC^=yzEt^&K|=^M z%T@{Ih=qPyLtF`H;HK-oMq!FcgBrb0c;agfrSjRYc=peDT+!Z*aXmQFuWoDDIpc+v zGtgp^nZ)Tzv&J3oET7q-50Blt`0;pY)3(fp@#y9;i9I2u7T7P2_L!=y8}#GSE%f?5 zfbmgdfsTe??4u(<8y>5^h3SMj0;G6m!QDwN=u>0!n`^(7ASCwVE-s-gs4Wby#P0B(^1u>l3X~N!5BAdg!@cxpp^{n@*H`l~2#qSEgC!(BI$h%@4-?6Tx?{!V23$_( zh)wWHIu1Hex8u|!g3#e<#id9ru=9&2jtIvwo#hz5BBC3+7#n5H-6+U9Qe(qvOl0kr z;m?uJeSGlk6t6n9o%IiELK5k%kTG#ZR*VsI_zr$@e#nr^lok#sH8jz{bUw7GoJ&Xa z|K4PV$rFh_^HqrK7eQg|PH^q^5D`cG8>%ITRyX7Z@1QZhuWvFI2D(2r>mMIk@-;Z@ z+z5*z{~}rLw#aP{3Z>sN*)IS!W;C)kxt3O`=I1d*NPsnJR;WT=-*Vhoi`D!tU(i)Ku0+L!`b!$VYxF>(oe}e2IYb^YKWPdf z7l3j!uk>rOFChQU6<=kV@Bhpj@75PJHHH6IWs=!N@uTc>oQC{)2r8wdqx+~MVc6e< zM&2PMibTu@BO{|tsz$dX{Vy8DblVNFG)EfK`FqtG9bb%vbkgpBmoIZBQ7FahXx4mw zkxQ~%U>|FyF@V0_vHiZy!%xKv5aJ8wGTcrd7lw}UfF2wWb0i9)8w$I@K}Xzn+}S{J z5DO%cTo{sgwAT4>&(oW+R`&pP_)YEKMyq|Q&s5T>X(xNRM?`VQfW`cqq*BO%$p=Tv71!Yfrz5uk=|{R zsT5j`^iw?rJB(1A@nL?e?Yy+!Pry z!(t=_4-FbMR;7qY&|#30g5=}kvrk)D!FX8phy{*&TS7He;#5mpZ&K}DI6o43v=Dy` z8Gh;&G;D1}=qsIGdvJUtl8@{wV{SfN<^X6C>8Be&tF$#s=M&=FjIaW;Z4B3eG6Y=3 zBxX!(UrN%%UNK23J(&-{kcV1KFqg-To$ z$#?S-D7U1pPqxZl=^Xy*qYRS9Q~EX~-c9RMO)UISUZ&P}yE z38?I-^jD2MqVM%kf1dAl1}uuXvL?4y4Hfcuwi;80yL+**L}P(Qw5`WAo7RTU-Dvdt z{bf(nidtOfGvyfGE0PQz=prlHsEz>qIZ9Ol5egq(G#;A|{7~uFZ3{a}z1(Iv5>UW^ zaw>`Tr@jo|)J+2c8BC_UhzHYkv&K|3G2l@3@KboC3Z@VT2}$@no}> zat9mqT5ZF)U<&E2M;(yUm{_NN0+_M0oH%5cvrbWeT61xUG zx-EkrIC3{(;LIh1*poSyeKM&Jw)uG~e`lj2*;xSpB%rq)UR>+8VY|f4q#gNncS}ef z%fIF?B@^3;5dW>)W>DORQFM3XL9Va3V> z$r+xNjlUZp`6X(P?LkSo67TphitKnZ<$({r*|`zD6(HdDnjgPXHrMHPG#Lyi^mCF$ z|8UkxeFK|>Yy2$7cfZT9!-v6?NI^T+PSdRBTq)7R8?CiyLlAq%XIj^bQU2V*6QmJ2ir~`Bb zfv3{W_gifn<9Ex>lOiBJeF-)lbk%AxT_uEdu@?qGK|Avsy_+BHLD z@8>2S8QXaC8106!iJVK&jpDB!>v5#vkEVqYo*9itpMRTO0t0lM`sX4FDFk4r_io@*{R4(qZ=GYg)CS6dJou>;=r9&&e?z(u5LvH=? zPa^tia>4C1NoY&uAK&fW9Zy3rJPB$&X>DZ2PHWMFB#fM+X1(m zauuBtHSYI=Yz><7a6KoK6Y80kBcA^Q%iMcm$L7|6;GxF$T>iN`sKsfd4bCcR$fLy@ zBMngq#P&kw+QMq8Gv=7;HPwNQjG8V3Z{v&ftRB(ydiL8c7;xqYaH9gYz|q<^x) z$=rVR@eDO(WpJW;ZLwiDbqC>H=gJsVsKoJUZxfp-Zwi9uT%hy{on?Z4bn8FK_UBSj zrr7~F~yavL{kWOVu1$RivK>9v->vbs}r+}wPsi)vIG`Q^1Nka>*q{!H+vCRZKm?Y zBGhxNs<(mb>~kL^#ZB{yK2|5TC%!?CCc^5DIoTwZ2W7ZomK4YGeRf3u=*Fc7P5?DG zy=M)%Cc;ySl2n>Q@~<87UD&cr17r7#Kt`Q9(Hvn1>rcJ>}U`;IA5| z*e9U)0Z|dt7Zam|c?SFddOmmz^8l!AJOrx0>nXtRhYudXJOWB@;C>0z@A}-`SP!1u zmw`YX`*%G8sK5E$2OtAO|KK4EB2Xp(Hv>?A1(e@_+sNnFx9WlV-SzDLpD0kfqx?rH zA|@$Az(7k+N6W|tyido##6icxLC-)yPtU=?%t6Nl^nQ@?*NE;YAx3l|0aUz<1O#Nn z1Ox~ytu6G8Od&8Z4hgQI+@dXSaay(Bmrq<_C9{q&k159f4grmlU4vr!AgII`vY z;F~^XwxD{4p7N)8s_GZ~$WQ4h>E)AATS>Uu$GBZw>H-d^cWvB*c}NWy8p&U@$C#^p z$NtV3AJylW%+}){#_uA<1^)5G55J1G=Blk~zA)LqI|yo=#3n)gYEs2qSBXhs(P+^( z)i`3ezcSZyb}=_9C)ZK>rddYnz3M7QFA7PaFRAYff;9h^U4<_)6p32}{ZE$gZouuJ zFmWt#`|*&kk1cm!-lk?lT+=4|{CPKy~v{KW9$&~g4cu%6;M!t}#B6LX7R*90CI zqYX;OM>seSm!5QKo;ujuJ6qf)8J(Oy()P1X9+8&Q1XjhtNI?avA}PV4YhgwU*0a!o z&^nk|-Ypmm7q5dQSl0vsCD4Hw7@2bu?bb995g6%l6Dc!G(n(qhKn#sUovb19PErcG zPA0nSdPKZD@LUcY00A=y6inb?W@>K3;lNFFPnQFz-!+4X2=2Q;O}L3v067w{u!ayY z(K6A}(Fi#h*)b6Dz!Pv;>*;gI2@3xv0sP`7GK4}cIY1zLdwW`YMp_GN0}wqsJ3EMu z0mQ&S1N5M=aWsd59cavLi0?@Jq9F*e(X}?Rgc@0x6Wq}R>sZ)AxrvB?=LCO@&&*O% z@=x;SHov(5@B`!kwgl1B(t*s(K!1P31}bC+5cxfzfBA-uf}|h!QyDlRjO?N9vr_TzkpPnvQ7tF}a`dbwKq;6xO548td zL--5;J_5V~#PfcKB6xGZP!#_hi@hP_ZWREA(a^Eb&@=qc3F zztZ(zcKt^j_>VgOSGxXxV;B5i;S|Ii@Ph1tV9D3xz!wO#p6ZB;2;PTWFy{g_?m!LB zQdHFj2Ie{H-TeS2E&&5*goTPp3c>z-iU5cCSbH5b0Ruw-BPPhF;4ry8w%ESk zPdy>};$;zO`S^$wh4GlRk@!q`!(#bLYToFqTK+6;g;2Jd+PkvJ)C{$<*FtF|zT>Af zCnWs*FZB{vu5Lu1Fb@!%>|P#ofb^|b6AWV654rofY}y`U_}*O|+^xA}FHnF>RtEj9 zKzU;O_u_Y}tW5M&N8N~m)I|Tj24_gk9>SZx&4#S-qVonQUJ-UYSQ|r%wr|I`UBet* ze!;zjtG8|EcBDDZ^Ej`JS0{ufs1#L1MBmUCt42Br`P#pl`?I~~{KgKjG;AFGbb zO$iIH4V8qGh?z-~uElv%6j2ys4rEVzRZab?-@a?6Z#FR`*H#!z&9o6zhYoJaoDL&`pdskun((vk^TCXa5HL#90 z;QPD~Q(WeAa^Er11$K*{Tvn7ECw{ARES(R)SfklGHB0J;zfz{gL_x^@>J>5Ns&Tf@ z*E4My;Wf+@7W|3fy!F8T`mwm6prE;d3@chnZ>5lg>p;*1ZuiTxp9FT1u7Pr|KOnHw zDkgD#!Z(OHZ)?Q#zIm-^KeU6SwpSx(|+8C&jhPYv0BKk;4eaXm*q-?3s>3){xj`>_u zx|d+z4k|b5mPK!`qBt#~ygRn686ta$>(siUA3lcB{4u#Yj3fKe3jC`Smo-JMgLQ}M z*NoX#z?AXEQ+5s?&m>VboeSw=)UiaR$5_^1=pluwvUfMSxq%2bgO`pd1S~^0gCeSj z4gxT6${)F??_Qu{NVIA~6yp-pOrl;`QN~6vq6E4QhCJ-${6RElUA_vxP7R`meedp8;b~>@ffZDgq$}=*;Sz#JVbtSjyar9 zSOQ}cnavWU>Kzv8^CC2~Z?ZmvPK#b{XS4X~=GAstSZN?)tzzFtgUek}I)uToBf^fn zmn|#?dcka*AW2uNw1GWKYECd*$YGvS9@df#+7iNaR!Rc(JjuCf}wTP6ts*h1kS?kN=&B;xaW|5NW)t5we*~#pB4V+-Of!SmY&+mbk(Tg%l%C zf*$l>OSaL_9H9eA&E|lznuC%$mV&wyWXcF?j~bNzSO?g7f}0-pKrWA0L07TtK0QoW zRk0nCHkc!MJf8||`sTUHJdS-N6>^kOLA!Cod5@i&o7tm1=k#qsqrUBwG3*T{oFX`^ zayR6niIecsr%wafmkG@F#n0j-9GGG|;HG$lhppPvj-$VG6qsujq$fLW&*ViI>FHW$ z$>J2;FiG=pMoehgEpLg0EbhMd7-La{{OqCUvN56!$Y9`p%GH;-uT?k`gLn$ zq@*+Fj-R0xlIIXzdlT`>B&fm$(l9>yBP$&(yfctg8uRH^cKe6Wy02 zqyAwK7jJTUN{+SLAy(59jbm}FB60MWJ6{C@R!QmJcMYUEQVfpKYPYfeC6u)-m#g`C>KE4h_JA6GY=w(9~iovz+Y-yObn@=h!_+-3*xag*&9wN7+;<7=hMm~ zG}SSIkC8aD*Akx0I3LKiSzmrIe)^)E@WHN{tz)_px3N=#PRoU8eteB&{gsIo);f7Z z)=c(3*Xah%V&F8zt?d*KVQ^ZJL8oZY+EEcB3C6kO@;dp~Wz4re1xS`W?EdF7?{s^$ z{3tzQ2b!~Nd7WOzw2W6}72}Vz@n@?szgZq{N_BK*t2-ory;G`nN+DM)w5dK0ia8j| zy4`vfOr8!F=WXpVc&<&M_E9I8BrL2q!pVqMq#uV2Ix3@vR-*SL$sdHc(ke%P#kTmo zT>Y$OPe-@=DtX-5iIW#J8&G11Xsn4PRwlw=zlglW9^Da2Dh~&mY=+c*Q!@KmouIG0 zLT@mXr0>sSB*xrr?sm@eafqIE)D%6rC<2N8$dUHRM; z?Cv))2TPmbZ`I`pAf8es;A6Z+VgVKG^~$C(lFmN#Mgu*G}E&1RQL%4f-c=rL?jds+wG zx$JoVLzOoQl?0g);R(L>I_hkVVbXIcX2(yj$Z@)Oru>}DC(PIrCBgB9k&Y2|c^fj+ z%n3it${WOcdK@y}gw&&Y%Wgl>%uT)p;XB3`#S|#tOzSl3uz-urbPP$U$igXXtO`0| zYjCt_g~mLjZCnln`Q^>Qtll0&aAX1Oo1I{Wl{UBDh@Tu`q5YAN(>=9U*8Sa#bL1Wq zf$R`W3+|C{dR}j<@0tnTiM-2~A(Nla%QVQ>_}duSr<2`7TmvSPSYI`Dsak)ga?pyzV@XV$^?r*zOoyDd_Hx=D)bt z**t6^=f@9;8+n@ ziZ_OGZ;5+g$EGDErjI;7yXJ?Ih3M>++p8mn z1uk5H+#!OUO%?}Dr|?s!;N&63G(LU@3}*@3pC|8V#$UI!1+c&QK)0ol?2h+rw>ZeHHQoNiGOo%l#ukK~BYj z>Mi1IZec{x9Nxmkn5mVe>84$u+PA~ul1K{mJXC3JYoP`X!NHEqYdTL0eNe%TLt!pUCdM&@}bIj0B-Joahaw+aA zZPuSz9}BUcNg^UjP1#{kAS*7Nldt7y=NtPZ;y23_ydl!ep46MQfoUT0V{?hlA2|rv zBGqR1RGZwjE+g_zrYX{`j9**SG9@kL)vx`y0cAJXztVuc;@`T!?CJa2Xpj?Pd9wU6 zssGHc!YRmL%=ToHtv2{L%jJ#Q_eA1N*3U~+D47;Ii$5XhO1mwbLCvv8Gk6E~@%^I( zYV%PMo{P{G{>|^j%WFyD-hd6016!x*O0J z%rQ>d8N>U{v-yX$J7`p7mYyY9QyWU72`Gut5Ox_gc} z?))3?&c zzUAE1r4M{lWSFQ*u8GWv+FPNro5zufmr^pGZKx*t+OI_!vI8(gU zk38?6qR^7moyq!PY!Q+(3N*9jT^{SUp6#oKBs<-3JFPhPuhe zUslcP%GJk3DUL=)X3?izBIqL_*j6QWw9i2VLX(s&PW3RKafKpC0w-t{Vjp^9=U(%s_4C27-Kzus!2%vk?*QIN(BP0jY| zDvOd*l5kEPcfL_T0}pM@ww47iFxE#Mvbgy!E}r9{*s>GXuA6h0N`g@ zk<-2DMODZKM>+lO6THsqYx`|0VAP|>N=cq$o5>APVErQcT#U+})z=P;W{DcE#m+mD z+f~vQqhU1@S^UyixMv3k+l7TDqXWLxzXJE4PYcq_GY#XB&v#13jMT{R`&Mo5> z%YdI@+XbfwkMJ39*|}kjeoC6#X-_-k;?D_A?fW5#(d79oHjHm<6qP+xoHxV_$;ESy zm^Uq(bDpj5`|8Tin$f2YGW!{z81{`P#!q8Z2FvLBUEG^iSeR02$HJ%5R_yr;KvWtw zbG?CXwu$c(PUjCq69NVfE}J6L{M_HKHDJ2-=Cx0oF$M&EG3j}K+GesvHnrmecBR9FerdvvW8b~)D)95{W3{?xro16xyGZF(mx2svEmnF1BaJZOt>BUh8&jiX`fD) zo-Nfe#JN#z+pk+;Nj98bz7sT03P7<%b;}ceiG|kxMX1F{BkZ27M3;zKJFe~y$wI>iMJa%BpH?@0L!8b^nyYm1 zcsS*-lso+qQqA>2M|J08JI-Kr>e|EQH72Uh_*!$t(6bDtU1YOQ@7r<}nY~Y%KFWoGJFhB@qxY`H2o}YRTxuaku&_Rg;9F}{Te%09(;gEA7NK^-)jIR3cYMc)J)oMO6z9q z@@yMf!4wi)9{qU`XkD`o8zT5>5U@wfJYRm?0wJmxWHP4r;I^vTuWobOG zdFj4Yi}9{u(A|6*OCoyxJ$rauTb1jfLy0inap`i*Dxp6Bt+}EPOMc?mU-zo^f>MZR z24MD=5Bc35+DkI>JE0mL6BS-_y{qT^yt-rm?P=?IgJz`fgh79Gcb+-O`|+(rPU_7t z_L}hR4b7f{R=^!p=ZQ7Ujb|c0bBr2`f#=g}S?28l#`pjy0mz&qb{*ePo%|WizO@IA zK`MLX&i8fbB6N}s4J|;!l?Iv3^(6rj(Lp2Z|4y9!T2^%gc6!NCAkxH66VJZ~Vzh4@ zamrp4*ADh}ozCGjTeZ&g5i?@eG*B)0p^vk2C5p*cP=381+cn;BUIZLlU*Uz~PqwKL zd;SW>Iwh`4IRv?W(nYlSkoW*Zh}Ti3*T}o14_MHoavx|TxIzn0l{L1}yn#|?4h!|k z_$2SELQVegJyxP!P2N~?o$oh%RyK7I@f|R0RS%yaX#mMyWz0kc)G6kh|>7j}g+oLyDdlW?j=4e$1YkN2B`@0+gy)9m@e8O(AtfCl_l z13)VtV$t8ByT7qr0MtEqt^kbPdJ$GAI?BMM_aEFb2Dfx!XSFteMSa)(e?nocumT@~>*%?i? zd)?>v9G$%kjC1=Y^$?{>%{Q*ST~8Qn}Q{Ic26Q^`}Qg^KUpPrBaM(AMX;%~yOK z@^WwZ98k9Lh0nH1koX5c!aDis|D9?Go!7Y@SQAq4&bVI$HSw*9b;Tp&hyPyf&Hufj zj~)_b;CGU5HYSw@A`j^)0gm~?DNsmmyo7dz7RpzPNWX_>7c%57FA34}ab{U79SAX# zuf$xg`^nGFypYes`fZwI47#^%DumaM*FON3LI7>pOt2@8-*DK-u6IXdsgY>d#f)b_ zN)%bEZ`9lMr~Dj#1x}#Ml#XtZg2h`)P0+jH0)e;F6fYC26rog+apf7^=pt5Z!Hi!Z zj65^!0Z4eCYi$|*Xf#t4_nU{E_bCp{rUY~46YsfyYAe&9gu)u_@yPDShL30%Zgjy# zn3;?gs|Rw3y}qQ&!zu5^vw?2WzOvM*@jWH>TryNLaj}bhwcZcL8ZpU8!PoMb7viLu zcx-JSm9Q~6c$!zBxQ=Jj!6=47#(;6@*w%iCw;@L84gOJSrOS=_YS?08IO!7a>jm(v z&MG(BM?ghoocVNJ?F|upFAyJ{KDk$tJ1+^)2T}6@(V%~5$lU`#;JKJ~zAK65E7&~ zJL%)kPgeXZAMqrv6}jqZVNn2H^6!An?-Myq_+qkR1kK|LYN?T$ zW1OnS-=HE2lV@d0HK!c*lO`V~O&4dsDWXS;-#0jW42U-BxE)qDGc5h?ng`SE7uZd6 z`vt0sOuJ<|JQ}+XDNW*Mi^p-)m;J9LY$xShZQSv2pEeV0c{{q4&>=k%ruvngRcJrW>{ z>gDPzQsf z=kl_ij;^k1gBv%aeov!*$^KFZuUxK5QEofeVGrZo{dP4XTD3&KD&fL<#g+H=im}Xi zgouCurevZglvo6VQ6Iqv8NYARe6HTrXdv~;?CdNFDQS`YuI9TaYO&5R(gzNQy{r@U zt~Huw2XECXmSN!N*JH`+iQ{GJtU7ZW&d;0x=TvAy=3rqpNFWY`d1dB2Sy&+$4!|H4*S z-vA!zyvz*4(QNp0cqfS2Qr9}_Zog|>U3@Bg4CM%w)PP)lO#b0bER^L_r>AnU{WYd> z8MV~uX`IH$+@FpU-EBPHs|k*zS=V}^d_`yY-Wz|KC$3`LOC0GntjU5Au0+{ZHL<+4 zj5$M1*GLMDK*lr}w98lTit3oT&xfOY)vKP)y=(8gd>wtFWqUiLkS2@>SdVB&HC+rZ zA0LD3Jn?8+=?@bIvYb9a7wyLYiQfIhw#0h=Z8>ip0kFB+u9bFk7a za(=MF?sz~#rIgzdd0@9Oy#8%U@tXp8Z@%ehYl4v~U8^cMIT=5M_oh-)^+2X@DuFt_ zh;j3T81dol34KvJ>Urgu&Z2ZWWG4CrYVWAx0CjAAWRv`qe7c^82_9?h(p8SRg$9~r z8JW;T)vCg%t4KNd3mXy-P5iP((<-~9g_?ev+KrPhz2NUSlJne) zzPwg}d#&x`(~Hk6+zuX_FNE;&|JqY^mcB?J z%>b3`G2>QJo z&ew>~l#E}5>f1FR_VY^L-dwMb7ZJlee@(5uHD1K3u)}E3N9S~8$i>Zl-tT_nNnNN> z0t16-cy|^cIvO2~QlYV%%I0yFWIT)NW?w9$&-vlnP??GHWSNP5KUe2&+trcyWx}M* z+#`ANDkWpKs7*Ba!%R|pljVc{u9o_pFU(u{|XY0b%UN%1j zR)7C+4dn=L27XA(TQPb2eK-qfWWJ}9#GCtCT&d%#zsLQBI?ac*U~hVsF3kyo8Ya=S;u+{Ua_t?sw6m{)U` z``IQu%wI=JUooDZRJzE8FKFLJVestKCzv&e*c|*&?NXpgNHbf}=PX~>{AA!X+O|#? z!=*=BGun1AWPrl7uCg9yYa!w)57O8BbX1YW%@=t=+97KH*^(?a5lmi8(*np!4_-}D zqKVYN-ufUEcTz=*wyu4hji!R)>y&Q{GwESN$>o59T|>9e_TGvq?wAkHaSNt%E6(xO z_-|Keb|!uF&K1IWX=8@u@5kSN<-?QdC~-ye+Gohi0_;BRar7{R{%Vtz?eeDE1>LBI z9D7!e!Rq2@1w>M2I`I-8A0Gz(HFZbLZoPA_u0I-;@Xgh^Utk~!G4UfnKDr_(TEszh z-~CX@RqC9W=iDyM@}q3l2Qy5kD^WfuYdU@^hIH$&#AmBlF?@nYBeIySg#jE6Mx#Lz z7@nImT`U$;--3byO)!zNsJ}F!&bnXEk1J!uhuvro2@2H-lXet6liMvIO9k!g2X>TC zt_tuJ&3a!*QVD-jYo&{=q+}yYmTsSGy}{;Id{9sun{3Nss+{yBoFU65 zfy-f3NT%U9JZ9S@xWwcd4#_-ZZvD@x$iC8nA1 zj;^>gD=6@Z#%?Nu*LPcRkj9y<*IYh4ZZ3#HmWF0WZJ&@MYjzfC_;Jlr#L!x>)@Bs@ zcU&)d=Qrtm?}f~Nz%9KX4AX00$*I@F9v+jNZ&^xIMNMujC!}*bVhFRz`}uTjG@oew zd}7NlfM|I{fd{iF=J11aKs|!%MRMR&R3MnGimis&-g$cAbk03XqsER}qxuyLuo#-I z$0NDy%K$ICWGhb(4~Z!#{4g2yKSx9eYHJhp^ITG2U!EEOTXathy(eH#*VL+ri9uR< z&E^#b*K;#7*WVb($;dRXh2tX9m7}@#Y7eTz3ktDeWG_LVtqHHIH?uO-@!0lg5>CH0 zpdnPcaMB!4KJXS#%X;0t;%P2(&aZkHTaZw_XjzGe(rF`9*}dd?{?%ds>bTpiVs89d zzz~?uMgb!n_L}b}NF*OFFBVdJF3n+)fqQtanbhxUgv9e<$nkKcD)b_bhRn%z_+wjt z)XLia`*Vw|Cr2jq@tTPBkahd1PSKK@>GmRx*!J--wClZ|%}n&<4uM4gA>5f?PUS0A zVfwjIa~hI55S|~rBXYJsB67YzG9~Y@q|TOHFXJhFYwdnfyVj}ec9UeXm7Y!_9E>9t zNvZfowV1^5a5Y0D1h4k?<}!iXnZ=~e6Bc=}&iQoHd=n7zCE!l8+n$U7X(i3iYpa!; ziUHE>czry!J_b4r|J(yQovjTF3^cv9g8+;GA;;RR3gMkS`Whe0a{H|E0Eo`nAqcZaQ1WwoU@~p8kz8<}LJB8&g$Dizud0FZ`jcffWan}3RY^U|m zm)gu)XeW8*`Uoxa-#r|ZiD4&p)~443REIckCK_JnaVobkhG5J3^wXDK*J4kOZkx7a zPnyw=R)}^!Ji5}dsYWvY-uj(sQCegEutJI9a!K+P<;L~_`_XjcWDjo5r&xUNrIl@| zr7X&yPu?87_yG!^ebOBb>c4QmzBt}LIUyq<@d`j^1TDPA!RcxAcmxLzpDGc{P--!k zB%3BoZ$4d_E5qe{VhXt0pGJ&V#-D9Q9SIyZM&^#@&kzww+1U>z ziyZbBfh{{+r`4a{VNV+{A`W9yRb$bSOd>MoHSIUDcyl_jeD)hZn75vBOQ{tjX0>#- zrZWX^@w8+{#uDa#aL3yyLwu;+6tSJa1$|x9+u12#pvuO4*d=;A`80HH_e8x_cV^Ku zoy_2KTtZVdDQw9OGIg?JPo*{V;%5@$xEYe2g|AMx|5uZi;;iFumM$xP&5_{o-XZ^y zUWtQqX!C1aOWfLm5*pw}21qZ1F>7~vU|cpFBSOERq?oB)^2yXf!`)pJtUWixsc;FUMabBg($CLt zYq~1j@sNR+Us69Kr92~jb<$y%=-GeeQgl_awydGo#ieZrIzo) zoSpVurs0Ws;OdWH6&PUGmN<_S%2ruB*u{KBqxbVDvg6?jGm!1 zG`KbQvgN8jAL-1ob_Vmz@jbuWWJ^+zta5L6xk?Yzt%i`a3tgvsSENv-ci3Dr4)8lL z_Xh_}x@_yrAZt<;y5=Keru2;aA?Ong?B1SJQbq3K2uiHaBk^gZfKY`(tHiJzQmE2X zx~UYfe7Jsfvdz<0U;XjRTzQ6d-J%o9?1JuIkov%;@ECg41_>@5-s)321kbi0?9Euq z@Fa&txFolW_1v5mfN?)EC9#3n&uhe(l$7)nU=qP4GZQ(x(^TLSJDdcx;T2)MQ(ZnH zYvJog9#d0ORmx2<0UuI^*bfMU-+b*()GwKcVE_&RWlB_$ccmE- z5-FQZ7BNV2Dk%y0{^SVH{~f478u373b;StVuii2V z^$Y6y3%#n1{++Vh_P&5GM^t%-fHMpnJNV%FuaY~OjATGE!$S%5aH>CTx#p44j@#w) zU8O9V5!TbSftM?e6sh#Yv$^7!-Z#%xGLxAzb&KfkybYNl_+R=%r$%{@Mn@ZYbR@913k?m`(m2f(!{# zgHd)Z{g3~RRM0dRv!zAfvLUQ@Xy1hgq~L2HESgqaU#2|8cw#p7&#km1x3^r+(q3aZ z0$RZ~mkhm%p2GSUIU!bt+bER5__sOe9@}fO2QwZ__6?6R`kyTvFPcZ}pbNJ}M#BF+ z@#(O7`Fz9ZUa$*PEc75D?UQo$*MikP?O>a#KaxTPa{owuo_Xxkg$NqH5(Zegu%sh6 zLuK2V>n=`7EQ_Di^pxaZq}TW0?IZ}_ko_ShWi$0q10_X(Gd>RwY`}676yl} zh5yned95Nwk2c}V6D99zch%AJZXHC;AKOwv9tJb!x}kCOoh&8(*p?_j>#u+1Ic($S z@Z@X>$SVQRJ_Wcej6CIOV%9bxuI2c4w8*F=S>cq`^a&*#xw#6 zVIUAq1vzBsqE&wIhSAwKvoy5$D^-4lJo6XA?;ZfF*ly#4Oy=xWG&Ijo=M^k)N zbSiB)yzg;}uFtAbv!0G>S4+%w#SSy|ZO6CAGar1-T1kS|q1Xgv0t)x$>srkJnza{R zox4ML|B=rukTbV+rYAWwP(wS;nq_0XIJNM|`kg8!9>rFj_zQC#SI-Cj^T1Q>heIjmn3A`V5-qSO|#NQ zF|KDxHY88?0U4OI@Em3DhP+4mSU|(_TKxFwsW+gsT0%k`7io_c}7>x9`^ zQTOgC+;b7e5fhB~eljac| zQcZ0aY}PpSXzkW$UTRrzx>w9JMD>rA|jsH)?C$@hx+uiz>Jd8(i351ElI5dLp&v}Fe{ND(*vCW;q z35|#QH$+!I@DJGRZy7{mz=+)uc=k_0Z4sLsG(XcIFPs|vpYfet!940njB@s%w59l= z<#5qK7UZ-rq2I~H5T6_1n8)37=4B(t z+}H)>tf@DJ%hNxv3s;Z>j6Wba7gy?9ccNv8%Sl)XJ557SwMq!c-Z#B0M)g=VwN7FG zjFfCaKsFJ)J#V;CL-BR3`uQBMXLP4T(%{VaXff+;NBP(m&RHd%ITf_U3QtCW3Nvp87{?P>VUC?xi(PLJ{5l(cRFq=6;H`NU zV#sYtF*MI*)~>DthN0tnF)kNMwRtVsSIvOh)@t2$e*i@yn3Sb+od`CLLNo0pYy(z1 zzSS6SKxJfLW(rb_i}BEX@4- z<6Oe6uf7!HqyP{b-SlGcEIdi&bxbCucX!_wZ2`Be(&Zl_s+0S)^LSTip}OT>^8)_L z#;eZ6i^R+Q*=9CVpSB;h-KI(>h$JVC^pxdhBA?yOCRvND=mwKowmm|_glEGt_Gx5d zs}&C*ZsKQ0IGT>;2sJd47$pu&AvK#qAVB<1A1SM5M+D5r4ISfruk2AB6JBbJ7TG_l zErIj+3Vnd9xj_c_KvvsOkUWF zK0UP+20^|lI!H*QfljSb_rt`S5&OK*9Vk}$bCICPU1nzZI66xUGZ)Ow4wqcwzOxH4 zP+IeRkg)dx6VCct;G+Oo%;SSa9p`9t@jZg2(^ygkfT zqEeSpW;Iz_RZWL#e#M&XHlps0$7A9dy8&OdQ@?@C!d6?Pqgv#WSQ%p!oFrQ!h