From efaff2b9822e13df3261f7336ae7d1ad18ca6368 Mon Sep 17 00:00:00 2001 From: David Rusu Date: Thu, 6 Mar 2025 01:14:40 +0400 Subject: [PATCH] update proof images --- emmarin/cl/gen_risc0_images.sh | 6 +++--- emmarin/cl/risc0_images/src/BUNDLE_ELF | Bin 248848 -> 248864 bytes emmarin/cl/risc0_images/src/BUNDLE_ID | 2 +- emmarin/cl/risc0_images/src/LEDGER_ELF | Bin 281224 -> 281224 bytes emmarin/cl/risc0_images/src/LEDGER_ID | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/emmarin/cl/gen_risc0_images.sh b/emmarin/cl/gen_risc0_images.sh index 2eba177..810c310 100755 --- a/emmarin/cl/gen_risc0_images.sh +++ b/emmarin/cl/gen_risc0_images.sh @@ -18,11 +18,11 @@ for proof in $proofs; do image_id="${BASH_REMATCH[1]}" image_elf="${BASH_REMATCH[2]}" image_name=$(basename $image_elf | tr '[:lower:]' '[:upper:]') - echo "ID: $image_id" - echo "ELF: $image_elf" + echo "${image_name}_ID: $image_id" + echo "${image_name}_ELF: $(cat $image_elf | xxd -p | head -c 32)..." - cp $image_elf "risc0_images/src/${image_name}_ELF" echo $image_id | tr -d '\n' > "risc0_images/src/${image_name}_ID" + cp $image_elf "risc0_images/src/${image_name}_ELF" fi done done diff --git a/emmarin/cl/risc0_images/src/BUNDLE_ELF b/emmarin/cl/risc0_images/src/BUNDLE_ELF index 5de2f391a5f510cb31bd1e4510fbe6537e832617..c93c1fe82855287d119f41f96690393fae604e55 100755 GIT binary patch delta 5990 zcmaKwe^gaf7RUEJ@A0Fg0HdVv$2~~JC?-5m(P>g9DoPV6DyP8&C8MN(By&wHueQv{ zoDo*cdQ@a!_FEDBb;(q~$Sf^&Qo}OEOtT~bMI|+v@4a_F@3lqp4}8wqXYYOX*?XUJ zDJc)GEDtVGl`(VW3sPAlMP8Kl%4liCQt=i|3bs zX|JSk=ELB!1eFrOhWx5Gh$aqGsW0=O#YBZ*l{w{2qH$Qy_B7grfn0llKC2`uPgJQm zz)~3YHc=%Ua6^IN;Dg|0V1MRv@HTKD^LOBR4*CA?5S;h!_971yv=jp#I1tPN zKY^3Lz8w$p*4`-c|S{FM|OL1hK$$a4uM7t_G)quV!Al{L%m)0bhrC#NRX!T}{-_!B2ow9K0Mn3G8pm zy9Bj+O9vrfgpKEZfAOTL5xfm@D(n43mxIM3MJe;v#z1`V8lvcYm4Y}9IpBl>mG&_o z_a+SysY?%GOSK3x=1s+7}S z87JD5SZ}CDXrWWq5iMM7C&XHBl}9WJEnJIuyp6mGv^+hhC&h~cN|LsMsHR$_=-$?N zMGaBsK|9R*!8t9G(&3>|F9T|cDlk8hIm??h3~?OitsN$`qyTKB{Zo~qIBakHf#WwI z+qS4Qhv&~U5@q~gTN~*u7>>g`+JL0pY8OKt#8SRgDVq=PIj=H8)F?ersPCMEiU^m!z8e$rO=x- zS{%@{&(LcQ`!Z8dBltcroH9e>f*(sAt>O;wE-)f)&c}aFH0BsW?Xp6>9NcgO!EjqV z`3s`S(C5psCE)wPTzPu^7*TtL@~yYv9%O93SB@2V$|${btQc_JeXsnFC~#yX#hSMK zsTsU5L{cIL+V5*{s~zY&!Rd*S?7JVm4xR|MeD$MVyL2%{Y*exyK=4*$p>Gpj@OrRs z(|f_K4#mUwM#fxM$^tGzN?tdL~~(5A1Il+9u_2Z_Rewf&9v zc4Uh-`Qa{vtdAu8GV84kf3#j_^GsctCh8S!;5WEN!X?dNxhdeV>m`*iUjU~^NGfAK z33E9&NNQz%>JW|+@<hG#TaY8Vvz8-TN8y(*S}ljsUmV9Yrw~>fD3o*m7IHkgXUa`>wnt!H2IPF}l65%)T{f-v&xrS5BvtVG`QSNNm(2112wW3w>$wJr zm@`OH0?WS$Zo1jd&vkm*GqA7SgL5oF{M?XJgdf#{lTS$UGg(j-@_gc8_|0~X!oLdW zjb^<&euW>7vX4BD^SVV+3eV33ceUH`tplfYT#T^Y;?ZTs; zfPlyD2>$}lNw6z6ZnLp3XS zir)CV7~q!{*@+#cNUG#c8+#g^%u$jB;Ezw)N3s&U{sH^w?>Ga6580{Jtj86Lp+bv3 zMdWwdw)X_s4aP~D_LqULbntO-F9%0mK8F-_$X9?99K0VK z1U6FCkXO&6T4G zNcQU`a5mcXab$xgLf3upauZ=vLBNy75R`C#evw8w-=L zhrm$V@J4Vrn9rLOL^Kr~!H!fwu?K8*06_=ztoOxGx038FT`uZFX9Ox#z7dZmK9CRe ztZES~lt{gxMsy2hfL^c)H=y#WH*O6c%@w*_i#$?7^imydL<>QOo)?2^hIhT;Niw)0 z6^$3$GI#;FJr8*RZwzh&w~mB7bJ`ntXN|J?9JulhJT%~rA^)GnxHx~uX9>$62S=a7 z=czTX(aUe*3t+g_9*hNkm2hC3)gBBU1#Sf=vx9TNvE$KTnTx9MbUvY)H@hJ}YYEy7 z%GGGVp-3m?Eg}^SJIZ7?tpn#AS1H7FKvO7YDLQ(tN;SOWgWv{TQV|vy3ZHxzedT^h zJDBHvfTz|e)ihwtZ~6mwEW=Z&+xmhx=Hpl36%GA{Lk2$tPT?CQRKv}cxDFARi`RI7 zCD7+%A~nmplZ*v>z*{n{k~MhE2Ha7dw!(AZ5O5(IDB6fC1oHXJKY(+fFPFJrJ^rPD z5>5tdhQb^SNqAE&_*4k(8s5W(pL3il&ATC$PYJ@U32Z$EU&Wr!0>Rhi>1D9qm^k4MpI4z-B@) zXMmkaTMu?7?SRjGNvl~NzPJTRH5xnMtgQx5z!@7MG7Lt3LG<3kk}`PyFu3w*>)B(> zr)-7&4JblR%ICo~={9c#C!(riSl^&+;B4Ggux}cegaP+e$XZUqDsV*-BEVetB|;1Z z87!}S1qb241mvuO_wCrSHy7-lBuQJ(9&f;av+Qm_x+miM%J>N( ze;Nedg*uL6`32xGw4F@M8wQVoyDp%Lm`ipdVyJ>><`MWltHFBXb~fb4?ZN|5NR9UK z4(DK?3uO@mflwHnwHs#)cAM-+*X)5qeI*@b2Rz?`Bhimp;i&KM4!Xj+7!3nW;J{wi z^Ty!2_n|DoKKaeyj35nt+2_&s5D2o9FnmAma=SV7MZU;M$WWqrliRNgXn|{EK(OT!Rfq+A3G%$diGYu3SMpe{7 zAgY$87xly)>Y~V)Rb}e`tg!oylcsjTY z^SQjfPAGT=zm2!4zol@C-q9dhUki(ii}iS7-EjJPE? zcjl9~^e7OQ;rgiOr3H_pNbS|vh}Q0r6ih^l5cD~?E>@*I3Xu>BO?jQD9rHbT zeleK7loZB%09@`-DG_YSS1%&Uj8|y@^NY z!~$P}lfk|n_t$F&ivqc91<~jfl_qjv#=S*U{5zZX8p%UMs!O|l2?CI+(s&p&1Cq3q zsA+;q<;k1K@nH%3J|X1z*QpzUs;V?*?CwdBopqAZ#_!KnG6-r#N^KcnY|O zSKcM4O)ndYfc=C(s@2WTg7}unXA_hgLwaUiJ}Ts3gkFsf;~kl z?PK1rCl42?O14opTvRJD)7E3#J3!!%+8^7dJkvYD5fykAlXTRW^5jTG~>$KN5! zE>`IfhRxI21Rg&R>CW7D4bgy?RBB)@0Ph1gF@FrMd|9PB=3Z;Bl%D~1>TA4`buC&f zQI6;`Mx0bsJtS6WA(J)|l~mXX@ut2cR?H8{U59uqN8SWjo*p-n<3y{HTu@C^vs$I7 zP;0!ThN$y^9p-J|yf#T0@X)N6pjx7Zn9pQR*K^_#$I*IiywH-*ZX!DMfl84awtrw_ zPL6mF+19Mm9G?HSktpjM+uAL9(I_0=o(3fC7P}a#AeQo}O1XS^kLgN+s89azKS<3M zm6|zv>idZ94m;Whz;3YbG;T-OGq>BPRct7UVyqIf0&;D;>>B&VNKX<4Ze@Vcc!yZ5 zD7kvhSkbB#e1u+e*q51tYQdAhaLOB+AHd5Tts)+N?F1v@-uZ}+iN+mAs9jd57l9j& zAQ*0oQ$Hb^3VpsDdlh^ym@ChyA17+BQ9jX&?n1_9>vDo9P=*?16U3nFC;ja+qJX4u ziuT&-LCxTjU`dG_=rbm_+kqbSIZ;MpIQ#BLFM~6|mal$v;d4VgBsMEKcOrOevCy}P zzk}<*zD<7&Zg(givL7eh8;1Ez?gux8N=jqSYJw-jQ-*{rh!MG=7imBr-DlzDYpc?2Wq2O?LlxD z- z2mURD-YC}F@ICx+lzr$4oYx3RDLg+NeD0JT-zsoQ$L08H^c@CfI}R}JBvGL)K(oNZ z;7|ZNv;ph^`x5dZ_$Ulq$Ma)O;Sa3;4f7muCb%zicn8i8JkZN{9XxE5%@(afX*G)e zBDRaz;L{L@wL8M2;5i<D{gYfO#Ff9#~-BkGBGRk74RXj&(jug zCm0RYTfviz#^=Q#zx2>f>?lQ2C3jl&M|3hrN#=kzow1K(DY))F`{?7(LgD>(YBd`% z#bTt;!p;!+{b<{p40eNYl3x1@!Ph!?Ke(rZL(ieqVAq%VgMT8r0QUJm9V{IBSAYX- z4y9ul@OLP@RquF7bZO<-Z*G{8(r38gvj*`cv(7EfvIgbU+0w+4=JHa8r;g?S< z!L86f%!jjIe+K7b-j@w^;D;UD1%3pKr-r$2jeg~)&~$r%UI6Di7BqwVfPKfF z;NfiW9&m4#m{_IEz6vu)GGH*9>-V!6-ibpS7CF(<_1t_#&GagNR zAg>uYt3{AdLXDyt(Iu21qi79oKxLjD^DZ9EC5BvwJW|LgGtfq~Ky>K2!%)reE) zfg4iMc(E;$Uj&~jKpw!l$;ZL%Nswp0dlBAQx7mCaTzMxR8gR#ypI3p4^JjdPu>3J_ z)CGK=TJsvcuozzeqpbE|F1Q44m}s>JljC5i9Xy^Ld>R~m4;n15)6%9Mm%Whip1`_^+O2J+SG=&B)Lr2e7sfKsF7u;Y-dIk$jg;Q3b zuiPuCg?Z-Ncxs(dy#~zrcm9VDti)5P%ld*h=Oe1|iiUpEA(MX#PT?CQM8nM$wGk0` z4zF>4OTd2WyKLh7MUp{lM zdi<9HN_ae2GZkiHARkwV86uNQ!MTrG9m(YP!6jgyf`A4%;NS`1+{f(se}QLDlZ0Ph zef=A8C&FL~b3QouAxU`(X88j8TT zfxQXAJQ3_n+G?;fX@frUC9P(8_*65JYAkkOWhGUB({RRSh)jc_pAc0|mXyWwyTFxC zSkE4FK5+}|zlS2^qtZww ztOW=3w4OI6C+$O7f_?Jqz*&JB`m)cXuOSdW^MyJk7V2d9Es*=o$q{u9iz3*WdmoyOT!xn8inM z@e({nQVl@NO$B4Su%lU$#syhC51jZSuDo6r&xA}9913HDvv94rQMQR}pf7H_HoOgj z{j65}0Jt3U`MkbLD0l`h$J?}rrEtB`(IDDi>z&|@& z8qw`UT$XD?w-Z=#bN`r8Bl7cS{c%KhDodNh4aVdtu4hHJ>)WTgj&(b6EZa4`+lktn zTsIg`=eUOWbvtc3)bA?(nDhF;8Log|T&-tcZMJ`m=a)BYMI-+I2*k!*T|m#zyPA8| Wzc6cT$#W%7>(df|THqhwU;hO)x@~U& diff --git a/emmarin/cl/risc0_images/src/BUNDLE_ID b/emmarin/cl/risc0_images/src/BUNDLE_ID index 397bec4..a36a006 100644 --- a/emmarin/cl/risc0_images/src/BUNDLE_ID +++ b/emmarin/cl/risc0_images/src/BUNDLE_ID @@ -1 +1 @@ -81b5bc1feb884da61f82fa3a388aadad2b38df57c1dae6aa163c0b3ede2c572f \ No newline at end of file +b5054844896cc9e665685d1d3438cfd6678976dd62bfd84e994beec9e4e2ba04 \ No newline at end of file diff --git a/emmarin/cl/risc0_images/src/LEDGER_ELF b/emmarin/cl/risc0_images/src/LEDGER_ELF index 1e8b721dbdeafbf5c7165ed4d2fb83385bb0fec9..69749309cef0359ba0ddb313760ab6be9dea8301 100755 GIT binary patch delta 5978 zcmZvg4OCTC7RUEJ?*ZaR^85;l^xik7k@p%*e+B(QGuM#E-g^ zlu&B6)SfmrsKboXpkg7{91I+Zz%WV4k3vOdii{E+D=Z!6f8IOSdz}?)x$t++K6~%8 z_de(BOYwSJ@p@ZfkyOPZ!VPp~ zTJ3`uSZ|=}*+&$bE7Nw#KOgx|qMArM^?|&^7(E592ZspW0d^P4v_R;)0Ir)YQz-MV z-&I4@3VExLzYM0kjrGp`L?`FS)N1j`t3)3XRXilXx3XVTWv>hBScsaPw5*o$NC__hrkbmZxcM=5K#(Pmv@6_2>C>A zU@ZnJF)&apI1a7__Y)lU2~nGAJ{_zg#Ja*#?b@sC0j3u0LL`b2NhF^~Zcrsr_-dKr zp_ubd@R(IHbwe-bq}`A=rK$v+_6|}dGBN5sqO!3@E#`rHO!DR6Zm_6Tl`djn^cI<# zg@P6D6J0F>3x^`Ah>}eTbHH`wGUbcfV|!4Xrum6rX9YGSQg;sA3WH%HF!pL}2=aIN zcrc@E3>0D@LJ0iLJNY$Mn$oB^T(7gUQqR- zEFa8IEtks#w>gdZ^WHgcuu^qoGbFx}sYAHA5Znnyz52G%46giIrjvq49mY00jcv~b zr+*_;y_nw#mMf=xyIJP_pP>rioX9$<;PCN=vj@NlV13?l6gQx0 zz6jif^}+ChZ}uZFVLnW7pm*b1R;&IU#tW~@l!jx)b2R1%Vrx-|L~XqX&W|9e)gVN$1Y22y-n-cEZf^Bi24L6`*Wg3n9x%Qgr;3O;3$Z}KkovR%?hEph`JAw78d z3!=PX%FT36_!3q_m77)B19sf5+)VG(Hlm`T%FS{p)k-$92PE5vkn10=&_ofbYuc%| zS+7-!(N2}JQb}6sUA%>zRbM@em*ls`Ez$^{4wghf`nKbAo36cNa42peJ+JqjBZ`Pt zXtXd>1uh$_P$7z#2PyYFQ8x7H(J2Sd0QdLn*G_C@yMv{3-jWK$V3F6ggUy#7)XI0T zS;JC}T_g%wWA_DIVu2L;Ezzblh2lgc6T#~qGLri$IQwEl!A>JJKegjn}A9JGfGcc1l6{+L}-zU?AvnWfykmd1TYbp4M8S8FpH;kBB5 z36ae}WQDq|;D}6x)(E~IyYOTyv`%o$&qM`T3PHWk>z%*g`h&cF?!N~oo7{0+$I$}o zQCSGyU~n{5VIbYK;770n91a8g2*=$(4*M_aB!Ly$(EB@J>8a0TQzKS~m% zVO^+Lw+h?{*7th^++xyelO(zytlvm?Ym+}^k6F|b@9|DPigG*yzpV2ViWhzcA}Slu5hr{{P9S_9yv%OzVoY#h>HZ zOPPxJv^}HHCb7N&yawwgiuhjx*DWygOoLkm3l(w-`H#V^^NsraSt~!m`G|7l> z57-SB@m1-*Ac+c130w{?Fa)Rp?1V#l;RN@QC?2dAWHPw>5u>12gZp6pBVq$B;0*9k z!3%?tKd`@lu`t@Bee(r7%cOBy(`h!}5|z;x6|mH}5%z)U1>+hAmD2()68l&LPW_#oPQVc!_cri4ll<_Z5*3*^1NWnASAcg;x6@d` zP2h~Fc1jc0`i4rh7tG%UE}yJ5{ltz~Z1*9H*8Q*}s^G9z{tG)2D7m%8%u*YqQaJSF z7*Ti#90K;2F{2`|+ceMak|;9Q$W9{oD(3CN?h5cS%)?EeABVs%n0UZ&iCzMu(ctqc zxiRpfF+gj_0L^hzmNVemZ2PWf=1XXGGQo^2RTxC7@7Eb>Xq!Lz}43P;|C;wfM~a;LSD z0hUWv+cSzpasALMi41JlN(Na5GD+4p4zctyX_mI}c1x`!ZPsRnSTDK zk3ooI>khm$HOL_BaCYrP;Vj3z;6H;?iwwR2&U*tL1nhD7F?b0=a{b@joZVozxEO7? zkNbUuj${-%UB5n+-oilpB*oVe@CC^YXsk@!3$962e9a%9pY<_50+uKgAsq68!yi_t zSU7MQyy->%#lq!BH$r}-LVJaLHMk7=_ysVCREf@ig110ZkT(Ag67f~heo>~)Hb1|P zPp%Dz@plq@c5sE&;L79pcEaPr`2x704WFukelEi&7;W^oaD4ttaMyOl_h$^wL(%Kk zysP-m(jb)&;2WW4hv9%5ybL>BAROvBiDqE0G4DEsrfsJ}c_L-|!DXhDjlkEyyq6U! z6YF0DhaiPIFFlQ>?H&K4s&bDGVxaAU@CbYZymuc$C=^UNgBpq8B@9KFPXQAiB%QOt z=9*~$n`>qiz7Nbbv$`GKT`@MqNcDwq4+fm^hQY}5P*|o=y2xo4xTx0OhH!@;yMQh^ z7)353Py%lI3u;90QLqOo;B5+*kLn;=S*hn7trK|2;|l%~rTPW7W5Dw|B4F`z?Z1iE zKtZ}t(B~^S2nXDPp90rm2XTVy!ME)A>sxnR3^v!m0kC76LN%yApNBUvQ2dtR@e`dy z3HXfRKOq!IbHR4|eRqy&%|uFDY}1)__xsRO2RN__pbMN%6hN+<{5p zO)!8O^ckqRfsk44R4g1Aj25iO6rmo@IHpcfv@)vEd<+kO&BySs=tNekTa2r-A36;g zRbM3x+<`~C3{{&hQnVV6ZXJp+968|*egb2{R|ohx5Ko3D0IiO2 zr~zDtW3CtNZ|=m~)RT@k2RE4w`<#OTX9v!uP*4rtd>K8WxY-)CnWHQhDh5Y8oQ^1$ zBRa|z6BidV!8O6@^16>%mjCKR;}GjzUTdpm;;+qW>8+OheC=?Ob(=Kg44y9iNB`gd E01w0r#sB~S delta 5976 zcmZvg4S0^_9>D+4^X|iZWMgDmr}r6ktjIPqb6N)>BVld6qL{sgQk)Cl@v~MB04+2=Y8+T^Eg+oi}~IE`~Khmulv6L&x&7* zDSj=cut?jiw~p(Yo;<4KsJ!I-(WBDSQ+>H<$@%Fi`MDi(JEW)Q=K6AdDWf{1`|>+> z%1id;j!w(XO-}2Omo%!wXy53RypEkx@=afy9-9~QQK?AgK(DkG5nb2BFy~I!+iThq zbL$MfF2XF8vO{Df>{UDv z9zM}4^+F27s1O<7HbI&yxes0p+XkS_&n@Y^5ja9)M?BQ59uq0_t+8f6XM+r zoVN$y=XZ&$CWI|eV5K0U3b`w!neY`jLdoaB8LW>~ycg~c-=aABbCE3Ao}Ud5R`YvW z8!TasZjox2d<5(##J0jU=GEDH7u`Q?BatX3k|f`XT(dHf_*cA= zfntj{!EImm%0={A{Lm)myHYhD9`@Bly(dyz0xN_5xLKsHOW|0!V!c-iRPBXtp*UUgUT|tD4yn|ggb%S{oC?gH@8b~j zZx3=)UGf@C^wy;$$fvcko8L7&-{+E;$%a$rW3?FmN-xHV;&^Kyr%*3Vo z9a^`VuSCW+H*Tc!Pyb@q7RHULyap%TYTQWgz-p1AX2y+jSYyszrgza|K4xCSctd)q zNL@FNy{^}VX=&!MmHJ9en;Dq0T0icedz_c#KIazM4G)4f6_7?XoNm{(*B@@dEoA5Q z{u3gtQw(XNwlU$7c7_yE#8!~TeJhfOK07+4@L;%MNWXbxjlL;LI~kZ;N(`n3I&aV? zXg$pJ8}t#)v%Wkh61^}X7;sIGkd{A)EFWS>x{72by!ZhpxpU#+3vAoNzhL}yUS$6Wb|jHi>fVG~=Nht5aW}m1XDu5tY_-#+)3;Jz+% zI$Y;y!FE(8!Al)Z5tD)8t_4@&BsiW8tRsBiZ}b50-HK-fsy^52axW6CE7)a6tJQxg za95Tl!bv@xhw@#x+EsD2a1CnPD79&Igpv8tiYJ?id#tQ>A|BQGhQyLaD@z|RF9|MX zp2ht{lOe2Yq1G*gcfq#52jKlKy|J1me}?TFsh!#T3%$R`KcD=hj&t_Wf8vCU;RL9C z7E?XrUH)DE_su7!)6Z1T6GqSu%dQFh^^JAxZ0ONsKu^c6e((@j`I{mO85qle?Z^SR z#${-1m?l@@LCVp41HBJWjwi4yY`h^E%FZbA(iLv2c()mMkp98wvyu1zX{XvBxBPLf zn`2Hn%(Is@koZ*p#gOG{eHFZrbv;!4ufr7+9X*3EYw|OOq^kL!!-pm~_4%8*{)pAT zyi7co5vQa>Bn^~#jN^TpWsQ(t4{??b8dv~u*`5ya#RCN+D>=m z51Zpo=>D+em5e{oCn5NhSO@e3oCMp3&T6PhSD5QG7}-2C?zG+|JgZeBO|CC8WR<#S zpKYwkN!N+o3`h2LGIAL{yVA*gaWwX%t zkc%(CgI%1=K0{qRI);5<`yfniqDe2<*1r|*=WvSr%0P}YAQ??H$%btMX2OrUxFV2v zL9g?_Nj$>v-;UcExPoam*XPRF4;LvvrouT7C&&>DvEqIlUhJB0G}ENW#d+{B*s5S_ z{+nH8wIY;%h4 z*%9gY#G_}l6NR2|G#n~pUFN_8T=MYSHA&2OvXcqdB2Q5J&V#2T$IPG|d*K-_j{but zFTgY!mfSDd49s)}WC>j4T5t?*3)^Xmzk_oMw^JL8fXBP!Yv7vehRj#3OtmG)yjsO^ zM6?|S8^QIQ(_v=k2A(=CYjhlzMyn` zJ90JV+(w=YVKD`UCg~06l~e}aHs?0+G}g6N=CW8%ovw{Cm)+{wp=p0JhsJr1NBHOQ z)GaRH++s%);&@~OFU>YG$UYWlyhGuU>c+?kEYe#7Y${l&eF`Bk_3>m9ZRsol|QkKBi z!1!5)l&JMDz|o}8=9yp9w59IZ2K(=OAHyVa(V$S+7W6)EQ25U zjxIThB3BWZ4_CiIjVL}0`$&P+rdab+Pm0VhvvbZtf@237{3gmDn(#IQzL$uAC&Zte z5?P3X;YvY+(-?>W0~9|ESKvXq;?LllJU(-?$1lO|8mNSm)*7;n`U_epXZhe>;#m9` z+?CH5>rb>q$W!nxs-S}dp3B`kTS&w;pLp7Hj1b6S>#l`CJW9J zu|9_QtCh!}G9YZ&kRLH@_#qwZMAcDQ=XMYsRi@97v&w);bWoX3aPg@PX3(LY%?iCR zmO+uV6m53slhoq*a1CtFkGf2e<`{k{Pzn|>P?Hm?N^8L|TFrPq+zOREA1-^|5U=7i zzLXZKmd!HIxI)YKHW!OB@EJI13-^NJ4tzZJD=5PFuu#qq!PTD{(zS7j|G*Oxf6$QHMj?*k$?%2K>L`P% z;1Z6xU9@+#