From 6b2b884724f55c32c803c29351eb81611f06f69e Mon Sep 17 00:00:00 2001 From: Matthias Goergens Date: Tue, 14 Jan 2025 15:13:47 +0000 Subject: [PATCH] More data --- plotting/ceno.data | 6 +- plotting/sp1.data | 5 + plotting/sp1_ceno_scatter.png | Bin 26662 -> 26716 bytes .../sp1/log | 42 +++++++ .../sp1/output_time | 0 .../sp1/log | 82 +++++++++++++ .../sp1/output_time | 23 ++++ .../ceno/hints | Bin 0 -> 32 bytes .../ceno/output_time | 23 ++++ .../sp1/log | 96 +++++++++++++++ .../sp1/output_time | 23 ++++ .../ceno/hints | Bin 0 -> 32 bytes .../ceno/output_time | 23 ++++ .../sp1/log | 69 +++++++++++ .../sp1/output_time | 23 ++++ .../ceno/hints | Bin 0 -> 32 bytes .../ceno/output_time | 23 ++++ .../sp1/log | 110 ++++++++++++++++++ .../sp1/output_time | 23 ++++ .../ceno/hints | Bin 0 -> 32 bytes .../ceno/output_time | 23 ++++ .../ceno/output_time | 23 ++++ 22 files changed, 616 insertions(+), 1 deletion(-) create mode 100644 sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/log create mode 100644 sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/output_time create mode 100644 sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/log create mode 100644 sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/output_time create mode 100644 sorting-output/12319-2025-01-14T15:12:49,993866299+00:00/ceno/hints create mode 100644 sorting-output/12319-2025-01-14T15:12:49,993866299+00:00/ceno/output_time create mode 100644 sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/log create mode 100644 sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/output_time create mode 100644 sorting-output/17862-2025-01-14T15:11:43,013982215+00:00/ceno/hints create mode 100644 sorting-output/17862-2025-01-14T15:11:43,013982215+00:00/ceno/output_time create mode 100644 sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/log create mode 100644 sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/output_time create mode 100644 sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/hints create mode 100644 sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/output_time create mode 100644 sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/log create mode 100644 sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/output_time create mode 100644 sorting-output/24294-2025-01-14T15:10:20,437255607+00:00/ceno/hints create mode 100644 sorting-output/24294-2025-01-14T15:10:20,437255607+00:00/ceno/output_time diff --git a/plotting/ceno.data b/plotting/ceno.data index 0f612fb1..85f4e3fe 100644 --- a/plotting/ceno.data +++ b/plotting/ceno.data @@ -56,6 +56,7 @@ 1899 ceno 22.68 1927 ceno 15.24 1936 ceno 15.02 +1972 ceno 15.07 1996 ceno 14.46 2022 ceno 14.45 2026 ceno 14.61 @@ -374,9 +375,11 @@ 11836 ceno 24.81 11901 ceno 24.94 11935 ceno 24.93 +12319 ceno 25.05 14254 ceno 26.59 15097 ceno 26.79 15298 ceno 26.94 +17862 ceno 28.85 18092 ceno 28.62 18125 ceno 28.39 18506 ceno 28.77 @@ -385,6 +388,7 @@ 20998 ceno 33.36 23877 ceno 35.93 24012 ceno 35.28 +24294 ceno 36.44 26331 ceno 38.38 26451 ceno 38.32 26603 ceno 39.05 @@ -393,5 +397,5 @@ 29750 ceno 42.74 30869 ceno 42.43 31065 ceno 43.25 -32352 ceno +32352 ceno 42.57 32746 ceno 43.15 diff --git a/plotting/sp1.data b/plotting/sp1.data index e6060656..e734c3b0 100644 --- a/plotting/sp1.data +++ b/plotting/sp1.data @@ -56,6 +56,7 @@ 1899 sp1 19.77 1927 sp1 20.18 1936 sp1 20.07 +1972 sp1 19.7 1996 sp1 19.58 2022 sp1 19.36 2026 sp1 19.85 @@ -349,6 +350,7 @@ 11027 sp1 36.01 11071 sp1 36.62 11073 sp1 35.96 +11146 sp1 11193 sp1 37.05 11196 sp1 35.92 11223 sp1 36.71 @@ -374,9 +376,11 @@ 11836 sp1 37.2 11901 sp1 36.44 11935 sp1 37.57 +12319 sp1 36.51 14254 sp1 39.26 15097 sp1 41.22 15298 sp1 40.72 +17862 sp1 44.48 18092 sp1 44.43 18125 sp1 44.04 18506 sp1 44.53 @@ -385,6 +389,7 @@ 20998 sp1 46.95 23877 sp1 49.46 24012 sp1 49.39 +24294 sp1 50.43 26331 sp1 52.22 26451 sp1 52.98 26603 sp1 52.82 diff --git a/plotting/sp1_ceno_scatter.png b/plotting/sp1_ceno_scatter.png index 5f4711b4efd9d07572796d4f3b1f4aeb2f28970c..d201496de07ef530a68c27cfac94dbb5b0d3a3ae 100644 GIT binary patch literal 26716 zcmZ^Lc|4Ts`~MgQk$nlpOi?L>L<(an8I{VCkT90W5=C}{At7m;Rv~NIml09+$(}7` z-}iOwX6)v7k8(ce`^WFRI!|Y2o_o8l_qAX53DLTNW@8azfj}T^S2WagAP`0r1j0aI zrU&1=9&r5xfzY9~G;dv|QmNpZxVSjlU*!;pAGI7ph0M*Bqad}lkP9|L)N%yG4^{3* zmBILhLLewV2-T13OKtsh@+26F8vF^y2?+_w$;n;6e%;E-%GcNT{rmU1xw+-#?JI5FF76z%*xjuhtJ~4Z4j@khMt3fQm)AvZ|kyD}iyPrb^1s{T~ zKp>4lO*0VM7O9Y?7Ao&6s;}09pC9!yWW&#C>aFL(`16tiyRT1K$>iQRKLqs?WX^x? zHRN|+Twk~rO3zN(j~C*{%j<^%fBgI~<$f5dA8r3AY8?23p~gL=mX}k(d8p-$1u+ZM zg}D4iB9+)!PVlCp;;4wy($ax}0aH^`RaMopva;CNSU4P>oSY1aalV~5H69BI4Gnd4 zbUc3iIPa&EFhGcX4>b&(ArSUT+P`#fB-jr^APC46wF|f0qi6f<%o7U>GtHtMzN$Jf zRa@Qc=uf7W;lG83KA?l1LH1iWrd^G$tP>Z<9}T(o63q7h`R5`3luFrXhhVJl`pQ4( zo#>rsH6-|ShwcsUS9n!^2y%VaF?imeGp?49O_QSefnhX42dMA_b%dd;hI^T% zKHRO;hJ5|mBFaz!PkI02Y?@m=oao`XIy9WQir4e?So~*myL-p7qyKDnnLarzR63)~ zXmtw$QN^#$EXre7zsr@B)*OCkw;|4Wl*}yVTNb7IYq*W_=v&#qDU;OS#Ty?t_}mue zHXB!B9zE6}DP{5mUe(*S zyzQ#vGgrhvT`f>-RA$~08}k^Z)9|(g&3OIX8Mx2RO>kCrjsDm{pT^A-Gj6}f(<3iF zglDmS+*%rbKTU`Jl{8iAK`x2RTTfhfm7)rZ-rXfBPYr0sE+ zxaotdXapTqhi;JfM}>QC#$CRzADfHUe5aasglcn7g}bti{xYSXD%wj)SbE{qP9WR#Or3QvK~#dl2}6Y_p}$^ zomfYGrjY$UV~IOpDMhr|o12Dkhqlu44%0d0*3N}OsE6;wmXB}y0O9Iy?DB?Jo6Ue} z=b^yMI7s?cpIaCs zB>HBTaNF3&+(ch~h+nwV@G~eKq~Vq^s?fJt0Rr(!yJJBJ_MwABe~*Nw8i^JiZ!#;k zlD>3ZMxH_Ul8k)1f1BH^rq_Yk@$9Q?#8ysCHX^%swFd2P+6UNh7{-=4=_$rmoYQf4 z0C?csMI(g#Qx8W7u~Z)XGp1Dw(ZBl|ct97`|4z;ue0KLW|I~O?G1s3d8(m>eEAn>| zIJX?#ScO!_pu4jktSPL7k>js`@j+IG}$*2j3PyY6`3 z{ZaqR^w+3~^6y-q$TRh!)}|LM3f7f2m^xW#`v`lCv+NSZ7MqUb+C`R{&V~k6yQyo2 zKK0noBG#Onp!+P+z1VByj`st@%T;pnH(w15G?z}_E)jx3%M++OJzGW^2Q&;J^N-X# z^ac}{W4i7wm5Qy$q59jjO#(^ul8(%A|FL8v^3HNL?6Wv0q-Jeim1VT3 z*da6@^$V>8^-z7wzkKT*^_y7NQQxF@);>1fgT|~LazStOO}(Y0HGEGXzxYJvt(9*x zz|39UX`EmkFEie_RD=?lzxp*PL@BVXUvP1|dc;^@{?4~n(QvOw1s_Bm(Ms>wv3$eFPY?%+Tu9p;A#Io=r2#--nUt-J4L z$G5XyJGIZKDm~CE-Ov;GFKPISv{H)4RJBlZ2B3fT3)03@C>`gU?P;+0A9{1<_hk(c zt9B;OFZ>FDp0NJ>Lp1wTTZ#McRgICzZohB2#vVr9c&xDVp&=sfa_3;{uXXYKQqz8DG5oDl4 zrkMbPT~eK;QqE2>QFhcq7}5Tl!k)$v0=3EhxlqW6;ou=J}$?0;? z)a+|ZDM^Wi>f*0OpV~&Z6i+GNiniX#dTG1nl%1TLwYqfL06*uwJp4Px!_XuEFBz|m z_(R!Df8o3EfA}?YZXSP=P1S|He2lm3ur|3`#;@UGMo~_euIb^^(CM{K6SjUGOOeb9 zCZEdgNAt)3p+eMHiiMl-BA-UinSWG%)Fq>-BHANR4~`RsdUH#;*>0oI2tfTLfr{q`f(0h~_H=KE+--y+(DiVHH z;SkEVw9&XhTer)lnDOOkN8a66zR2#G0_(O_2ju5yb)1Z29Kg^;rqGYO>k7?Q@wR_C zx9Vts=%~-d8kZFf9Bo`8X&Wb%_~h>7mdbd^-toAtt55!#;66QEJzZt7{-wmn>yB}2 z$$G8RUl}(^NX3h@eq34DEZgauRZaK^SoK)#7C`h%pYy3Q+`P1QEVA9RNM?$*`32 zefIa09d?MC)c1`z6brsy{(APzsb1vuk$FE4dSE+pkp{2H7jV33td^NY(`{$M%IJ66 z(trScA(}^*oYY2KaXy!sr-&nb<-JNtnY*x*(scaph4Fa^DlZ|EgGDS=dduiXX!-*3 zSG~&hfky4#e+Y$V7LI3+m)*1k>sFrZ2kUYtqas7a`9)uDektYO>IliyUoUG0k{NMU z3)n6R|EjxiUX5Qj%v3&4eEOQLar>@gx_J0!rRenS8y+R4A+PY z8G7ac%jhcesNVY4zVp6JkOUqtAm4$*GW|8%ODXNB7@AvQYKKr)M?lPZvEa8)=(q3m zeWg#0_*{>KE-JEw%7>@W%-JC*pg@NCsJP^xqpuT(V`)d<)eqiBz>oH!W%Q8T)K(_g zXDL9TT^=-MV9wKix&}z;`vq86D|MOoKm*>voeApldD&mYn%m)6!13u-&?rB?u*T?9 z;{;L~R_2xK8wVJDBwi2h345thU)1MQ?1cv2L1SRoOhHdjQg*?n&zTbCf!L+{1KDt? zj3RYuVA!JWU?=%Bb{Vx!Z)Dt2^q#8$B(&&@`Co7kbfsu|Id~ zhqa1cn~!UE$pA9)!;sV5#EyP?FveEd|3o_)__dnHN}}QmvpjW74f;y5JlF59*CcvA zm=}uIGA=vmJTND6GTY9jEV*rA%*5@I%a`=}vBzCo0d1F$nn&?c8bzEwE|j&ov_(PJkwEVV7kasR8>%^8J=~mT?WB$vbNe99xq4@g zH(10!_1ry~wyty?OPEd;?(VPY!s+X{uN`{uOkDB6sbjHeuM|#A6$$^aa1A}Wv@ts# zpT_Zd#+~isT2|Fr@s73+P(!7FqdEx4izCMH7CsG+^0q{90xvU{3FWdvRMxw3@r>2u zUk6S!{$R~LKK9Obec%z-J*)(XVSoXt!YI0B%&bR@y75)zFO#j zqmhqz81&p&G42dF7N=$jQj%9=W9s8~W-Ua}k%&lV7!Sa2-GN$Byc^^Q*nz8cJaRv; zM(dgqM5am&Ykvpv^*(Ryw{bQ}L`0;Sj3_zh9xlQ;@7AZ(z zWIOSxK!mLn>lV5>{ZnP(4F*7zX z1BM>F$l&5%g$E`Sa`;0MQaoI+;l;&$z^{^xO5@-mCIL6MVU8ZStOWP#%_f4(3Sm$> zKbfZ7HElp=L~t%R)9HXNZE@g@N?tXczNFN7064+9n-JO;7fr3RUk6}m;lb5pqpcJm z&4eF@GXc=|M3VSx+BW#`8$b7tYX2gohJ%a>DPISMu*e9s1}2Dd-)?;5Vp$8z=m zVKRCF&OTtU6@db~y4hO8OM7AW==N?BGot+%3GIKW^&vB+0-$nA@Y31s-z*vD>>UToYXG;w%B0wJ6r48>@z~mm2&W&Jk1A~9* zYi}2ihPN=V0+v7yywdLnCx55~-vNP(6*`{AGPVaga9M^PhJSI=)1aQKU&GYH4Cs55 zUv(TDJr0F!Q2%#V56tQ}WQwY2Q>@a_$nD3Sl``$Lx$T<&#&#n6L7zi;jGwW>V9^_g$Gg(GVV~>d zpygMg*6ccnC}j(=Kj!uzqf$QdMW=a@WEw!zALm$s)pccZBuk}K+41R(hWm%B$y8M-TZjYz#)hV*O zUQ#|Y|79#Gw~Adc#ImY>J8`Z1%yp6V&E`#&a=GfTT~m3?n;<@I@lMLMAtYGBWG;4H z-j@UQ(wgEk5eaiwhcHhl12vJ!RlDqT9lrhw#3u2t+Jf%lcy;yXhsBc#S(;{bM*yVP zgHw?P^nzZku+w+d+)AkZJ8OLF*=5W=Pp|uIUtW+~n29sJj6Jk1_qa@R``}DTWwv-M z$>fGv2~|_^`2p0K8)v;-Udv0b+PJ3P5NmL{A;!SDZ`$JQ-5-@b1AjEuQ;g|lgZ~4C z%_HA8WQqZnAXYM7U!++W{J2_c07&=HX|vcK)Fnm3UJ(Z^{7$MgfI|B2~2Z5f`wr#o^~$;(9uh^x3Ze32$)H2vRr!vB352Tdyf=-Egf206Vy z#6z5}p01Dq>)lG>5Z)t4j&Otdf9YYsZk2=F?1q-qlpH-1f>F zTI}k$%8lochMd!0ZHhx%dcb@r`hD3@l-SchlT4dh@C_nT=HMPJgvb~;8a_=#o(5mh z5sq7B?~g}8NI@GifqUC6B>J=lIS}9tjC*QJUB0uqCCHW#OZy5!!qrIx0GRhAA~h5K zk~|C}Q?|jmf4l||;jhsh^=dLY*n^T*$=iMha9c{v6vXhJdkp-C zIsYS4%wNh(;a|-RCB6+qGWbhbfUlqk8C;hH!v!3K`Pqgd#~yJih3zk6!2^~{+%o_n z=Q`6`&<(`fvNY;&vgGO?2i#{4*iaPS8>J>>kHvzA%6~?kHVAG(zb0O!k(rJll&e1h zAYc&kA4aJ0OWwtT$D#j>I%!bbg1$w(_=gh$ukKm ze}WoI{`zveuK#n58(EJRwm>gdmCeju9^Q`fWn%;{C5GFur7%$VA>+o zu!9HoPEO(`1#e(NX?ew6AXo)qY8p&(sz4qR@-(8v{{WE9SX*rGiygYAe+9FLQE8zw z{S9$giZi$9$exXkVpMWk<4QsuA#u^Zg~ok4??uiEyUGn*Ti~jtgv6c`m}jn(+*{h7 zm$bIQEECwqre<#Ls{e6s2T_=y4gf_@07dOqv^W=kupvO=h;=qJ0Y%yKrXqh56H@PKRT=IQt`;t}cp?mOQ9@@+VXHdq)G zlP9Mwaul19sxa^&vC}I1cEW!~lZi(%Ig$vp6z#6>ntR?L8pNNprCx=6LB<6^>24hT z)g__vFT0;%9(C-Z;jcp-8c<~nx0hAnWq!z=)4{Z&g(yFv1!uBIOXDIi9EOu`lO{UN?5NWz=dJ>&h@Hjv4<3t-lRO*MQ7tP1{ zV|ru&j9*85KW)`mzkRf5biUsmRA=T_IhzIKccX-rfGLnHFmHPHZgXWxGxnYJQbYgz z-CRgBGv?T*4Gddl^cU&X`F}v@bVw~7iD~M7x9R5fTGv27iD1d4d7Y=>E;eGod_2Sb zn=k)|#Zxbajug&puTpBVYkg^sjs4P$w12Ewz3Dxy+Jf`K%!ITqwc1m9v7S||{=|EtUiYh*NtXvD*x0)@uR zsZ>%YabQ^=j79Y_98i78|99ys`!u8`L)1kX`ME6$0~ zk@P{h{vC07>KgVw)29D!@q?zvE>F$?liaCKtARjT%$8V$z=+eWOt=0zXPf& ztyc~UHZbijp&U`{&&$FP3=4&G{?!M2;oEM3gr>;&0|gT~GBI+r(hF40uTDZd0p(Yb zvqpFQ@1BJ1UBU6AKvm|iZWXrMnY<*{>AkxrwD}Utcc4lXC4Eprf29p=cn1!2J8;GJ zMp!ORic&D4AcF-^`^j*cZNM_8=06X`;6%NlnBJmk%hV4R)Ggn^`m@?+48|B~j zAn?Ovo5-(Ab1Qb0CqagC(1%df8o>sP_XP$LN2UZ~xDqVp7gxc-!f@m-$&I8Ia*E1W zp8R(yiNH(_{N~Tke+Q@AKO9Hs8gQ!T*x!dh{`3L>mqo(fY4{ur%Jml?Qu!?|*9_=$ z{A;HZGVycT>B^M40481a&c{J(cyskLW`NWc492tW8Vy}(~0HlW2oRQ7iZ zyAHuNzb=+gwX#bT)mg8K3n&;2x<&YiEPcZOgG&4*%BF1>sqMjVW;1?GMK|=nq%oB= z-dZz2h!iMOS2U&m&ODfVkK7^=!lsTui2)gS#b-Bh-AgmIjcthf{ zr&2V;IpY#^;pMf5Xa50n;x_yU0o|hUC@YM6X0=kpPm*4URFYLarsfO!BCeslDYIG* z#BG4g_WY!j)O1Fe|EpK&9C1#My~KE#Z@kz*-8E_SRaN^bvJZBezQRtvEMN*00&Wyn zsWtASoTRQAAEK=zM{rJG=hMtXf*&j!Sty>^d5&hvg7A-wi@3pzTQl@YB`0H%$`+&{ zxz~oFP~tglcyQ~)M#MR1vYj{&1Qd{mzC=nBEv>V!TKAfFU(CQY7_Y9$zTOAm1jsdR zAv3$7IKr=cRazogje7NXPAm2Bh`QC&b`}Uw&DXZUjjEmPH8GnON zD9-HI41Ipy?4wF%b14=ED?rB&<#pqx0Jcr%i*Mg^rleUu4*eh<;STs$yWhI!+n3!q zGvi?zW`o8lLY)(~973jX8tRq8QQ2^H_r+u(6A3%(>DIf8v&dK@Y2yjrftTRa^HNm+x~lVnk@#XO-?7rgT*) z8P&?nxO~tHJTBo-ji0+DuEG2@qFu++F5^)32^)h?I2q7;vt1>61CVQ)rMB!-$W?jl z-$;wNiZ~`2qV#Bf`WsAcjmU1|6=4B1&|4M;wE6gtoTafHA1w84zjT*qs~q&V;xc`W z#ZaPSU;Xxo4zC6%@4P$HAgA6y62En%vjJ3z)CfnJK>~J`%Y!i1UeY_UUWEFUp#0f7 z!uojxpaG)uKG`nSpstUzkzpJ7L_O- z4svIkk%8{&nCBbiIrs5+n%9cgwRj24Pj8PnlGoF)7*HF{Yrp(Kna0xrenO9@K ztEYd~`Uj@t!Q&FJ{aqq^xmivP#In449atA(zgcC zRs|6?fP?GaA1}mm2}Byh3x24pvftVkV$Fj#-z_l_8TcJzD!n>IcB=c_TQar&!=XlK|*Sq}7m zb#HloppC@8x#%?iTKy_cz~v!f%o+$mI|DPtPLj}aK|cfM{nDyVw7JBZK;masAijq) z&s@XWyVho{{s@&XGo8!zdZ|*R)XwOx9(MtYAmA<*Q}<|L;Yu*3h!!+nAH*!?fm9`B zWNfEjxO8*nP#_R#cIN!%1>lrenGxy&ms66m8XR%}ai&y?kiS+Ii^ofI4Xjuh;$^%7 z3DcL{iugm)R3taoov2?Y-d&4Xm-g2}ti9Ml-LI+(nB9lStMM_QrzJ)U9SOoTSI26K z_qIfc%}|9IE%Q!u480h8$eqUExK+eRXvk+3?h2#lP@<0_nLaATDm$XE8xHd?(SmoX z=eXbSI^@6W85Q0n&`;B5vmq3!43{9Xx}?S*op|+f-VnhX9HZhde43WAFyz%VBY}0c zeZG~Me)e+ppt?~GUNw_FmQCOaq!1bsQO|N}mSdDv9QR$sML(TasY~Us_opaEcWk3x z4m-`2>OVfai-gdC>-@Eo#F5=4ZxGsMb0&-#8XaWuO5ATn!=t%^yReww&~r|dXTWn( zG6>J9!EZ(cS?;dvd-t=QtB10*by>s_Plq>)BTe&?J{Z<`tE|#q6=5G`leynB+mXj? zgysazD%8BrWa?mpH&73W?J9-ou^3tWyG?74Lyoo9t(LC5LXTNy+QU%n*)(*-62G5{ zn%4)J>4+L_gY^>51;NWeWZxdp=tC3`Eyl#f{JSK;d-KGL@W)j`wVp9(GZapG&HIEEEoq`};#AU2zj45-2niuohqLc5pV+WE5CxPr; z^Y7zMR*4jKtFOXGt;+MCt>M@G4U=mJTBQ?^bD;g?o(N<9flNI~_kr+YH!G@585 zdU8b?47|ji7IXrcN?!JguzsSLta6?zpR2ElF=O+ZHS5ZLw^<|V%Nz0Ce`Z|7U$3|= z3#bBv7ZlFrnK5L&vN6Nh=TmR>)LR4B6euKURR1-8$_ll?&M09u{h`Ta~ zF~RNk8g4&ScnwFYwv;KF{YRkB9EO)`2~ZU^U!J|}yOz@e`^tD&D?l$L6 zlMk0>GEQaOth1MC_DV>WOo%0Bu0D0n(<66g7P#(=)xRfve=^J|$=>y)YD7F^_~bEt z>T=5oPUG#4?KvFwZ7fmn!kyT@v2_4dQ)Q8pPt*&lI~oZP%*PB6oUR%N<%$4zuzI?~B) z74Ybq(PK~1@TIcF?Iy>7_fnWUUfqCNt{%}E5l8Xf)vz3KPQ#Kb=~<}ApgtvaZNyrt z^8I%dnMMn)?HJ3O{4H$wi%};shM2`{;1A~nTn-u!ikY+*81(*l#b})$1bhoXr}NKO zznc|@3}FYGL92kEkK)Vm7uw|En#n`|+!yRO=N`wasQEWqgPn&w!Ao8NeEe*N6T70~ ztA|(URZ`!_$IM>Y+IC_KC^(Z-&1cF0%`3;>?tgm70jHR&-=q(8afSnav8u=Hd2`SxT@{Ckr^fK=#>mT2I9p zx8<+$6Z;hcUQYk)TUy>Iczb@3=|erKtUDqgGxFQBbDbw?AwE;^Tvdn4odPA7h3)(E zpY@%9($1NCq`+ItZD*ol5xw(hUe16`Em}@Bx_KJA@2A{37kQ6^MiC(K>Z~3wVX7kP zwYcs4qGOiv2)WzCQtxbNmq!3|0QT;hKwmW_3M4#e{5#_LHYYg7`$Tx%yH3aKqJK(` z9UxYVhT{)B=rE(0KCma2o{Cy^wAeJZC;H1CY#4d*WL^H|vR%0~@7dDH!AZF!kwf0f zr?;n0@Q`s>Z`H{(H?V~fU^&n)ozdS*;i8FjIoNALa+ zTR#&h|K*rZl&6eI#gGfOrSB4`y)`r)RO4=#dBV|-0yOjJ`$uNt#gjTqoMtpUzFnm5 z;e^BVCGqm(R@Am?&W7d3L=UuC6{kH9c=c|RO0%?K45PQY4NuMI8=zQPx}#9A6>fKd z6vAp8Km6!g&*)Efs^q|wVf3Ox4l@CmOShELW^;)$DVhkx0-6crAxLm%l@*of@*gM}_ zF8Q|0_e&70$8(xyx8}!o-aGT&&Rq3vnBdo_%&vZgo>SjiHg}Ws##By>?L2Dy2G_88 z{QLRz*@9C~Enc_iv5cI-4x{r_Pf^spFwbh(J}uR6bFB!rwMr*e$cIlG7u=XGa2&z2 zM;%MkA1~t|b9Ld*#R9hW1cZEaQ_9^$^hZkW#&(2Km2Vfr zKCcA!y#MahJ<>DgUKFHy*L87$lH&ZDYzF#;33}}JY1wl;&%V%>pf~A@S*G-Y@cZ(I ztX8sK%imr4dNhEE-5G>@4RgH=MnmC58p%7_+Zb zPpE4F2b?DoIkbUSKV zHC>g_I_5ZB9U=P#t>SeVm(nfS*}^mnl3ebm5}2^+4|Lyk&q}{sy(wmY6BZJG;m3Tx zq>oyQRd997EZqeW(Qtc{00Zgp#fw*!j=i4?Hqw>g%E0jsltz|3i*MrO>ZWIPmrO9d zN*618Th-)xkM`tOuqe~DnWm7bO?FlFf$H~W>FRJY&b%$aDyV~DneUnx$j-U<{>tZG z5VRoAj%_QP3LmNyE~tarFbPMw)UGM7alo9?52!w!sEF$Owr~7sLMrfJglIm{+t`t( zI;t!meG-jY@2d{KkbPP|RWg#TAc*sp1Y~!ZV{1+qH`-DR=hpT@g*T7&#^SAg*w&tF zZ!EI-9xPKi-&m3QCMx~ZOUrcVlqup~??W5*7RXs&WU)lcTRt z^{MpmZ#%?xs70U*Npd2G64gpxoU(gg^?AB&>uh-|A9Q`&$+zt8(yH&b`P0D;IB&T! zRAh77JW5_9jbXDzT{N8NmV)p7ARZnPd*E&H4=TAugt=x!?Yp|rwBY6I&o3S~!PNx) z?C-AdaGbL+)4UOW)FD0Z+C&9BZ~G+eG)J>R^WPCinnU@j@0V-X5K_hwk)w?hGuD63 z@^QgbZYyHL(2$;M>>x?cra!D$g_~A9vJ5j+8T5AQgkE_H`_&%kH9GfTOIK=XCqDR839E+KOe(PgAn<1Qm{~G9&Tjb26nYOzJ0E!xw zqUNs&MP1O4wVpgVgT{;73qBJg*BVxv^l{oc0K>rbiG4S-?73JLneYbsURmU;XNq1e?4E*pew+*j=_o>I#(MoftHh;WVq zOQc+6eSoU>mue-XT*O>l5Y<6)r`71UB->eI|uw?U?D5Jm-BD3dBf%tLX zkY73O@^X%^y@bVl3-&7;-+bIhtiuLtS8k?xn17Bc_a{Y0+EmVNQLiga*b77-^l9HjInWaoydnb z-0~8$?lf%uReU8e(4A`*dZMG(68y_-l*sfg|VUq=5hxcCYd3bGC==xH9MJ`SG*Xm9p+wSJPzG5_U&2 zJ$t`13z*UL!`cw}7LO=r5R z=~zv2a-_gDZA3!D4dV-MI>vgPmEJkWDlXV68k21pJ~xX$CR{}-6TUhW4S59kG{?DTfU^LCU&)4glnS1s=%RIJ<_ zE)h2@IKTt+BCXbABPZTT-lRv4v=kngq!_Or%~#S&r%v^3BYxxil2|^vrwjY+_x+VU zVBPyX_*eRRc0~ia?j|z0_+m zM!l2AG(5KG6#Mofa)ihjT3_+5?Iw)dhj-%(>ZN6xh{J4-enH*3LhSrmOIPY(Z<}5{ zq(7RgRA4TXofBj(BMmqt8+gxw?c<|0Qgf!NP-KjrgwiM9zRC*UhxP&QC4$e52x**g zNSw+Gkq=h8!L7rv6_t^&5d#|&6yMdz{@ohFWh9%i|i5Rq4= zqT!}z!~Bc0S>b(#fv6`*(eJ#s?*(YzFR=2N z;X`jv+@N__!d^150a*t0vP63VNHW>nX~uktkJ0Wp2GiMY(Z!a}!~~c{^nDv)A9typ zThTTE5eg18yMqgZJ{-%>?|(f@P4RJ*^|~i?+`IgVsq`uyy(2CY$ai( zk7w1~b>fAzL0k^nn+OGc)a)ZFzt%kGHanOo-y3K}R`!v*w+pbj?~4;q8SyHZmdJOT zXx9_cZBeugbFG~EgNh3GsI%!C5!m$ZHx2CBiTn5qRTB2`3lUpEa`&cm^NNSZS+uJ! z^*y6|_16ct5ZgmR%eX$;d71NxouV%=2SM*QA2`+U#rgTe8h2i!+hfGd^HBAslHbAd3A{aI&a2eN$@+$x80xVU%{FRt0Txkd8zG*J(bD#L* zn)j!G2pr|k z9twX;Sitclpk92}<6(qQE@8U|=EHnw9 zF*vj9?$LHYIy}DN7xaF1(RPR4J`t6V#s){JQrzEA=`%n>mXvUyI%q8o>bT%974^-t z1W85*x9s~<7!5ACw~1N-y_FLtaQmU}HR(%30W;|1e=F)y=9H_Qk@uF9kV(}CW6{U` z1XwIDwFYImFd4ffK5ua!nVDqx2|8G#R9N&eG;224|>YQ{q(oeu9#eZlV@wYISv=Wyoz4 z0X{`Ojgu_pYQuZI0PY9p>5tI}*GGG!ZeM=HIoeJ`1yea@8otnWWO;b{65TAFeF${1 z{b1l7&;nawmpcn`(X>vG;l?f|$+n=j4?Xr?Vz&znF3PCz)`IrI%lK3Y3o3|o%DMs$DMw7{S0MT(`;|?kH|Uwepo{kkkSjqQ@VAZBZd^^eQ#n3=-?kKmj@C2d zLuwD&YT90pOINiXG)qB_7Ia$Ex>D9Kl#{myIJ#yTMKW-ZgK^-R3(|aL>HJWlh`WFi z3u`a~Y)Mxa4sy1UMCI<0=IQcF&Y>RQMg_}gki&|ZE1Yxx?SdM-!&>h71GG2(F4z)`%oXo2{%ivRnrOWhQaC`XaXe@NbT{& zmLO1cJ8IzD)oXzTolW)(yR9Fm!@AOIABMRiki50L)1s&Hm^hEJSduOQa0XV3*gx{B z1femw69f7|1veDI6$1`6Vf)5T(P@m`pP4n_uk>ZjrdfhP7f%B6$VD$mP9o~iz)S^6 z{EQ}n@Q!WYFIsR-qeY%i7!p)0aQ=Zs56x0&Y64uU)k4UFE<$cBMb zt+9m-2WlToX8~|N@uwECy&b(kOJM9?xw zdQ5@FBVPbrlW@ZX;S8=Uh_C#_7@dmBrM=mh%4*p^SwTX|C>ao(8P6goLFxwFdc1KL z(O@FQKN@|3y$ja*As>~3mq#AT*|fQTdQowfZc@n(CrKmh&vjjc*d{^mHIHf*C~LaH%@1-b~QQm{*( z%|{V>)QTprK8U5_#S?I#V2yyYUQeUl<0GB;ij1dhzkHTz4r?r(k5g&NtFj07>=j>a zB#o7rlbv{0Q3`94Z72vqJ!5?uI!A69H86ndO?o&PuQ3~2=9bu2TZxMI1t&Wij|)9{ zFHxSt!^cdPt#Ie65Oyvu{B>XT+r~4`?L;M(Pzr=}{yHurn+BdT`S6xUdb6V0g$j}H zGv?$t9Pn}vWDf#oRSd>$PQ#=C(?NKke8k)7v+BzZt1e^5MUWK57JfOd)4?_*=_R(!=y7yb+h8#d?etR0 z3f!j`kmj_?9*JMYq{~G*sYl z&b|nN?mwV0S>+6PYC>?h@dNu&Wwt`_@yd@;QzJOtoSwjsbNLZRfs7QO{5ezsY7^zd ziDzyb@$!tkSdw)cvM^^M$s~80CjlvFgPKunxhBkS*GW9O$xVVk9V_k$Q+X-9dXfPX z-U5wRZNI;fXt*&s{>9{mi&&E|vd}|fnqHCP73}kMnw+r*u(4JcGd$W%bl|WqUs_f_ zvU$FdUoHS+E6HE0UcmwC6o}4I9d!1U-pxzjIH<*MhMJl_SCN30@B+|p^BkcF^qxvH zmUm=2fu`0%DAt*%uM2w26*=f!#IQ(i&kIG9M~y~wone{Kt~_MMi;Jedjd{9W4=6(d zVpGU9p;J+3-SE!{7cv}V{p&#D_ZH4xi6-ig>4V27(}wonUQMM&wxHFn3B$paBAVie zh=-aj*`_9mMvg!1pFFG4C(?43$1l5eQO8I$W40DtT<}CUa>WB86l#-%vwv+qN6_d1kU=7^&4{ zyj{{=5cP_&=ivV7e6+c9=o@fD&t7JXHnYm=NwKCSv~#@ii%!_Wdk35r{KD7cksb8m zl+&|!hgr(croo(0Sb;-;`tu#d>7TM>n<+Km} z&@ZvbDir-3xfw%Wo;S&AsrZl6U95p%U}^O+d?(*GtIY%dnQp&2g6Rdafkdx&ICjv| zSt$MmkjQ7xUg~cIKc4kCE zlimd5e`|p`r^zo&j0BLc50tx_p9)8j9~n`3kK(i^E%zx};6Hv_$@1dsUwWILffEO+ zBA0mNR5*+*+r^iBBHTeJEvjL9psSeLlH{<%orqpiFROYBu2kg`6Qsf~C*rTOirwi8 z^)=qt_@;AHPT!bV9FYsCSXRpmpXeb7+D8|NU732@Vz zaO*Yfa|SXxYm%>eUlPGnSJ%NyQ9|TO0psZud~iS}Kp=xIj~TES_@Ua7yRct*7v!Sv zXTLH~8E(2uMkBzB=Ae}qv@<=1eZIdk#9Q;=jNLu&owT3i3vOW)hp?39p@l2 zrk1eJKC_9_;qs~hF@>Crvn_dnazUR6pyu_dRr=HHX zuqnSBZOdj`&BNah$fW&W8FYDcagwTz3%9BLkL$j%d>qUR`Yqn~%R`PgwV6Emfx_iN zkf+_Qv>iSXE}#5i;H7QvqbOzm^n>pW#(GT%-W?@h-+0;c=iY`upM65L8|PP^c+nGN z@p*qN=dZFK4vV#|h9c2xbO?eXi=_wlE0a-Q_vOc{76n?O;fm<^rtSD>S@n`6WMS{z zsBWd8Bm~?}jEEFxv8>X|o>q1If9;)lIFxPMz;9zoV@sCEGE<~NwAqp|kFwR19?2Fa zA+jsW*qJD0iB<`DM2cZXWH%v-tf8?lNwUt6ow2;v3{QH$<2#P;c#rSj*B=h@?e7F#AJonsh&%@D5F9}XTHb!5uu;z?q z7?UENytTgPW%#{q#l?-Q%04p}^r5zz`&+YR!Gfx8n<)NVT&D6&N`W~_H1uNF%=`(7dUhM0!Ca*tl|uz;T{Fz_v;?JCS$poHv1h|` zj_fe#tf(OpuP0hMCzV~S;65DbQGkYJg|dj;3Iq;B%nw?@v>SJ^gN${yd5hZN%!t03 z$T%?!AKm5>y@&+4oyteZf;vYrs7XYoK*R2u>X*}fGG)1nR9XMG`@JKprS%R)jeYAL zEB&V}F)&ll&IeU-5xf61oYUJg5vAxGtE|#DJW&4itJyI1=6Zs5?_icx($$kE1|)Yt z$zp#Y$L0LUW-5~nf2l-AHLl#rK))-US0%2jR#bm=>}H+$G^6^O1M=%2q1)Q3Pvay> zF4s6x*A>QnqBVlb0!!+8lgg&a7AYiJXnVFsX`|>;E&aHL&LIHc1Jmc1K{i9|#K2M{ ze%$&ZTS52Kn<(zCx&Cc|q}NKjM3>g=L(=i{XS?}On1-Ww7kCsKCK?$qq1-g|wBK?~ zlJ0}v*5Q3~J|BnnbLYFBlXaCGFAvVW>$^m6*M zlIN=DcYJ*`V_NZuo}&6C^FWNFDcaOWW8f9vcIGeIL9p?1Se*5@4)fs{eBY2q{QSsr zau(NuPQNiJ4WJQn+h7o_d-j6V_%3zdT^)(VV~=kRtSWa=N1im$WTc2ZX@s1!L6CCo zZPuMHP-mzgI(bU7zJ5P2OG_80eyvQ8$>6w6xnHPoq_DxKMXj&o%D@!PtpdOZ=qMlp zT7#^Oy+1F+k!tZ{MBx)&NuP{3^<@&f5Vm`^x= zEmZ1DTqac~Mi-yjVb|$zReIke|(;evGoC9&i(Y+U9~w&W@y@2K-mgH5l)vF!!bllS?Q&zLA4U z#_tCq*bswf_nvt9X6g7Z@p}l{P77^}YOF;4bZC5?ETW=(uEqbYFR?_cWM(^s>`mkP z_K2woI03eEw#e8`OJI)Kz~BPqKnlr7*Y!*D^KCU?)gT{lOM%@r}ExnnQZmRK}6I*kpXrYSUe-4kpNPJHJjs@z5j{nYkQo>rh9k z)Si4Q17(9WgtmJc-OTt}EZhDU1=}ui$$JQlyf+m2?V+AD^m^p=g=@V(zC{1fFeW|x z+#N#PYwb0>S*st{ngp!WGRqLaR8% z(8C%v3y0b+9E|DJMmCJUbN_IEty7emY}lK3Cc$ueZK#i_e0LnI(}%0dw9~C|(aret zwqwTYs6P!fNz3}cCCX@^{=pcMF>k`%R~U;~LKCKEex5zB9+nsODKWmax93lx*A`lZ$Bpq}Vy^FXug%_W zu;=(*Y4Tn;j`J0vP+1i!Y`la-RPUUt`QC3ima(o6m4gq=IB2b3+DGO3tRUBjO8Tcn zdk&i$vIFKRy#cQ?c5HAt=&l^QLormvJkk-(R`Et_Tb_5YU{AeENDEhG3El;p8QZpu zAQ3YNJ)X+?V3s>mT6{#zoh;@c6f&YQxffr?6jBBn?dH@g#O_Gm1{rGfq0FtA z;MY-mFGR$FAZ5=FF>kG-ZQL>me(bIV!Hvs+KKS%tj8{&&*q>jbu?xE<99}5751s4- zTiw;Jz7hxui-V0y5fgm&+vSyx-*xHq&)$19GrZzR1@NXZ)TV7nC)fx~*IImb>vtDK zb)EO14Jw$UMmMV0So-;49bd{o4^Q|h4<_Vc2@tXKnOxR9Pzs18p^_HJ z#xZQr#7`pDSNqtSCEO95nlN^*Ev!dN*9?!%yKy&q5^Zy)<3TJRqaF2Zd~z}K8Wi0* zE!BB%&-FpVTPRy#05)oItG7tYZ#B7(#n`=81w!%~Al7XN$EFQj_jgc*pa%SW<9CTEM#J#Vys2AYYO_rRh2R|d!s zqmjI@T&s5$&c7A+7m{Ks)?4~z#AZhAqX;8Gn;|wV@Kon}%YS9$t360n*%4vp1C>(& z)P+=Mxen$4`}=1q(1hGOm`^X;S>Z;3tOWdoSKW|bqMgeIVgfiYO#E3}dgAhfCa2p+ zxDhUX6BqVu6~9+DrrS+#>~W!ivCGxBG7{#aaA;o87}xWl+xah^-dlt<&;5R-#cd;m z1a_#yz=?JGjLWJ@I+Yti`6RAJPGnzDhSzO?a)7%b`wl#n5Y~++#F(|TX=7hg@g?E3 zz8Rz6o+llXq2kgw@}5-Vf(_wW2t@1&a)Zi6c?D`LZ;bW-jaue2ZqPRw2y}tUWx>VM zejfXMX1PfxY)7tawdgdEfJ*HaIqY$}6ok)b!UiyiUV*3ZRM|VlYAyvik}gEEf((@M zG8}SCW#;&<=v@Z3MLwKuS%DMe#E3pZ5ZD*F73#ok-0Wt$9T)9Mb09eHCY?kAe83YO zuu<-p4t9i$(Tr~Vp}W%_F{|fAM7O4s*F{{9G_mg%p=YLkn?Umy?J2}AD7(Jdz=XJF z=+!Mj#PF^D;Rm5lb3cEd(VbGrZiMxz`iV1YCQLF_{s5mwcPV<=F0y2@7i2qjFHXXsC|SnL4{sV-;ZJcQ0N+=PU)8#i~D#w z5+BzT-Gq>qw1b%#;lg(5^z*zPA}Miw;W?<^9v8&Yl2jz!({*2aL4a2g1f1qD$+y69+7h14oE%$w%|p6jOE?gd z!mxOsa^)N1IJ>P2eb*dpi7zI(pz_pnaGNjUFO375t1?h7M29Jml^L7{R>xx0gZZ2i z%4)+0Eqdz4rt)+)K=ScmwJ~{IFIvU+Z7o55efP6fu1~!*MM6+}K5I*f*cEKn&V}P1 zps)sbs@nDJ@o1_S;x0gu{L&2hz3f#g&Tdn}t(y>_fh+)XG{I(-9gs-VYSEdu6-dHqj7rO?ZeGmPc*!Xg#iUt>Q-6%=t z)?g3|fURyD;_S)aHao4IE{b!LH-mN*kbRKUJtk3RtEzzB#O9QL2X!QXEO6&L2q0xZ zsOT%Q8K&08`@?)1`n0^A)do@vG*;FdS1K2x%G>55kz95RvOF&$c1xkq`b)!VB9L|t zMG&`kis%y3zmEp|pmZ)5U1Yh^vZe0zB}(ro;y&_gS4&ETmPzwQxc5#UFcrOvP%!(FeP?C!Q10^)in43 zoa)xs{-LY@UlN$YIq0|T^-R!ZXEUU10&}pbh+s`a2Yc04MS-jc`~QV(W-xle$aeGI zS$VGleSMe(51nCSDla^zjm!s&-mjKLX(QS6)~{`?Sl!+%R_SO6B2Zps%ZlA$g|0c9 zA{!OF4|#w@AUfKN-nB9uk^%f>z4D#bvyn=U62I9}G60(#wEl$d1xWPPIy=Y%q5Csn zKDMz~T&kvzP19XF*%%lo#JjSvok0HqXyA~tit>0UoDQd74tv_1W`Rs-$?{R2?2COFL9(gqvp zMw_Yuu#M=qq4K?q+%-DjZ6j}+ku?3!KlIz|kR>lY>G9Wa(7(W-%+beY<2DPFO;29^ zHPFAvI}8UkpuK_HFvw&x7oYCZ{FSx-&p(XYOpxprb_z_NU#Oss15CzkMh|Szl^7<= zW-9rH{i5~1chJAd^?$qPf6C8)+C5IKo>JiD46*cg1b}n@|4Pz-CmJ1G2{h4vDoOuO z>0xNC-;wYC2SxrFRMA4)=f@K8QJD_a16z%!eM>4j$r>x$~j{V@xGR0+n-@A z+{Uc<{AbCQOKJi9>rM^MIf_r;oO^6=mY3=)A$S}SweK|;U$vtbP zUT)!ha%!bv#aNc@fsPbqqv>az-8SbAyT@mqRFMnX-DBmMot57)_1@&09N9ZdkGwwk z72$kqR)1x-_1E`IE;S0<%qyDm)%QuA4G*$RCmk|6aML;O!|is3W}~R~=jT8jx2-$j z`FC+Y<=!Vw^>rXCf@B-abLcn~xPctlrn1;(Pw#@(0>vWyfCMW33OnF7?YiI)!(@ zo5G(MuS-#!b51-hI%l+2Hbr}7%*|Y(*lm?27x@@N7)?1LB%jW0yBXJQ#gK)6|J5i*%3NF|%CkWok1^{0NJkfy`B9l%I?Pt6 zE=WK}4}ePJNUBJ`M@sbpJ>Xp&S!V{;GUYihzKgew{icyRH!QG=qZs7m?@tBq2Dne6 zF+-M7vkx#-`%67lGpoZX2X3Vv*nwqvaJe7heLTsyH-~a53Y`%KLBj?hy~8DPyaXfy z>zx>crMsj(R7f)JQ{IE;NcClh+)$c0NkbgJ+RvIg?6Cs$^VpR`jwqsRBrVT^85k&E zA0@!9Yav%*2XBkocll#nSsnm`#O;C$uiX5*S8fsgMGlGc%PqSX~|LjQx+T zN({^oSLwGUjrR+M!Ek=CEx#?_t=8Aajsa5K;8#E=C@3f^D|_kEB^w(XUtiy-sHnWW zyvoYThK7dG(NQqP?1>YU8OpoPv01&@!L6;CKL4!(YSzrmRtF5s2D1jAz6U}N91k_v z{vNt--yOgT4AvObGzo)P+=4Z=Z1FtZ^3|U8^V>QPqx-pxzwnwJ3o9#h`0#+8M(cg$ zhuL}!oAIA{2K(Oks*j?L({qsW*A(Qn_rg}rpu z&mSL)hlPfQIypHVIdX*O^)Unx#I8G(H_Nm!-){QAqjw;WFf>bGnZvRad*>IO45y+tD{o0?%3kVT92a34_^=4f=p zGU4TmE#GyThN7_N#^%>OENjc5ydShWkd{N)=KG~Ap zJ{}8s6KE43tA+3MS{B$!QH2><_~2{fcmTvprK9sQbJ@?rr%rCw*NK@t8mV?=- z)OqJg_L0YYQl9T;bjp_cLpyrf($^-R7slxdmK$e!jVv$K?|q9ilNuZi_1;*WQR+co z&C2XOK3(JodFib)4?k=@MNq8N z47-&@_Z{j=$4tB)eS`Z#wlOlrycDHKq#q8mQO7JNdRMG^rwU4#Y!+_rzeOq)BArBj z^IjXQ3V=JSV@#uGf=-bp(8|IjruB;mKiw40;l_oVdYDGk`PHp&=qfpihAyU0Q1i42 zv0^<4Ih_q*~R%A=}svEnLK7%M0b0^&?(jQ3v2XGOJWjiOt1o%_*n5h^YvAq(?tD=&3G1=QQ-~-1Z<`LpV7EI^TtbJQZg(szpM;lzh|RV&peo) z`L#lI@hhFC&K-8J%GGOqI_8&8tI~^Lu>05c8t|~f1~q7i8p2>_00qPO;)!-QFVXt6Z#^? z<;0|WPFfCpkUT^o0zk!9EkteQ(&C`DYGeBU(7bs7pHts{OjHmWONZUVv$GX_l6K1V2xuVcdf`Q1Mqs^) znBEYh)E4AH8d+5-sW2N}xcH*XY`PwK>33MQ7oI9hqKxQb-wHU) z-fQQ(8lK;1jF|9Wv|oMQSY#w=>3-!aHtZuh@BBtS=i}14(&@{_k2{dh zt`Q%r%Ud4^n=c#(lkS!QGx<=SjZ1H{t-B3IEvh$qjE?CH;4g{P9K#n&30FQ6}z zPHN~sueG4PZhu;ICS=`K-`tsZd9<*r3c;jfz$18R5%lFiz9T?E$oErE81e!C08Q%Hfh;O-nYC&ny~tHxpXUYtUg+`=UncK?>kzSr-sLsrLpqV4bp>Y@4J4E z7G_{Eg}!;K3w?oI=EykSh?$aZDThsoFHV~-k{QinlylHd^5Hr|WaSBV4P2sMpPWYT zZEMS%&^_CIDn@m{B(luw*ZjvreY+meBIJB+`gjNU!E~^ji78|;_K~Z}o^BPU(c{T8 zY}2&!UFoXFX=P05%_ozBTppxvXfN9=*t%LQ&6m-S-zTR9qy_mb4z!t7lx^hMUA|}@ z4rkypJ4oZUB9)ru<#mJ-yBklN#&T=Anm!?@h_szLn<{v*bvSJ4($8}@cuUigQRThS z;~Dkuig&k{sScFh3Y*AZq=$rx+wrh2FauyY?3isgA^Ht|0q`?H^UcIP*%VzJ)wz~S zMqD+IEVHvoj)h3-VwxAkEM6S`&EL|)o>vi);8PX%vG~x&y!XP>3Du)qFz1Kq(90T+ zZ$x}_;25DTOA9Ng&D{)|_v>{DEcMJ=%`1~8_(Wxro?RSmi(Vh@_c2QI)Wsb7^HN0-TOp}?Or6iZo$xY4`gLGi$?TF9< z$nfXfVffb`lL7ElYtP5!WuJZvp7mvcS@O6NwK1;=UY~O>`u;;u5cFmFvsr7X2VRz? zX=A1j^*9Mh)H$q+%x38Wu$S1)M*tKTT>GBRHy^D3K7UngwXB@wv(bzuD@MJgg9Y*A zB>(2SXQyCCXN{41;5Lb^Ohsy@O5z3h7?br`qtQgqaSIx?VQ@ab; zNbOxnET$9mO)JVIxyVV`hKvsdA)kglP>!WF!pbH6j@`#zfW&6tC9BmL_!$`V(Pd#4!4|5qM-GEkO^nnpFIKx<|={*#-$=cWT_ipCsMi9qboM}4s zyrVL$JoUr9c%xuA!|WqRq8+cMv-?(L%JB5l` zN;_t!F4)*J9h6I0otrPypv94GuBWd}G_1bSSW__1`n1N2a1rxQRkV^Gr3a_szI;wL zkZtX_b|pGAt)$~x7WVpvbC&pPr~4rKP3t9=Y-!)Sl-?tm9wb$0W1m$1O)uK4*U3wT zJo0jE^w8z*W{KCpx;YbzJ^DjZaA_UCYqxd=GdMZLo=o$SttdU6JYQkXe(-4YzElg+ zv-E|gQ)MWr#(InT$)x3b>A!eb{g$gIp=Fsj#(-rRB)ep#VkIdZl*EeXob%$nO) z0)4pcQL{PmX}OQ4zVFHUCvHRaM86J=UhYdz*4I9Ns|Yw3>)ek6kxv85(=74_wq!5r z<^Vl<;ugspMJi=x-Pkydl}J2=e9Y^qi`-yMrl;N`#v#X(VD?P;*tc9zE#&eRAKk z^u;#Y$dB-B26h^^9_bp3Ngr5;JHMWL)0hL>$ddvMi?Z^{jiW|prq5JT%T=6?e>L+> zIYx2OoJ)C|8GWYVwQ58C>Knr2F{1@*uTNdFqPBI3zHU(azGM zv;;FuSIJX0(K96B5d6){d$cw>O@r=|dP6_3U=ASQc-03J=Sp#jwE#sUQt6%fILb|) zx(j0*yMYImkIbQW=HeP;DqLd#P=5-DN=JfFcnP141&*kb1lhk2-rM6A7qzvM!zK@a z4!X0ii0lJ522o`?RSO^!^dhAXya>Zzd;qX$mDKh_jyl4nrD2L@4rl}MsLe716kdk7 zEqyV`=0m_?#@VGSEf4|Y(l$Ytju^B_D_>zH5JInTrBQt>P;A*E)M(bVOCI=qoc0mJ zbvuBPT;J@$Ze1n)p^&g~rCA*46lSZA=_2}p0GKapwM(3lItC1o>ysy+svwB0nVbu@ zSK-F<4}jv(Z$b30oJ$Odp~fjJ4tnslwo7~zj|L>!-^TxtWVp2dFG+|7(T;fmNAi#@ zK|(?Ffgw4%_U^GjID=nclai-i5?D#pQvj3mjCo1gP$(^Lp2^q`&H!_g@c975JbRwF z8wBJH;b(UN>1Y^TN4KyThrs7-+|U>h=!;mbPU($MUjTLnmH1R`fVgIPX);033)^e& z>H9(tKGpdT2>0{WU_j!Iw&}K6mK+6wKqu(zl{pmn`CA8#{%?}CUAky)X7+%;lT06K zozlBYJ(~d5%o&O{2V#>xPxOG4CK9*@2&aI*0DFLqkMFO5d#?X#(Ktyx3)rfx8F_vR z*q3l?(6(&0)$VvMrd4A%RsPIh`4;3g&Wifudw_+!`ZU!>21^&q@z|7w#QBG0uTXnX zm!$e%3i<5uUsY3lU<$vk^z-0-TMeRw8u+ym+aVwsM1iMoWS`~VbxWj(JV4tN3LxNv z)e3Iz9BfRL_B!av|CXIFrMLb29V214s%Y7s5T+n%lLZHi#Ug3kOn|Huy*^3a^C`Fd{X1j6S&Ra^&o;$AHDtdlR)o5|&9 zNbMwf>c!ZyG?^8a@Tu(&Sm04Ii&sM~@SX+R zMLuA=Q%S6o0dka7f-YwG{N0Yp-_vCC$6NH!K}E;;Nh$xIm04xJ&uPw!u952}Xiko^ zdnyvW=Z)n8X>{2i(q^z)rOBx_o%YgRThHt9nvwjmnyiC%t+o9ho;@tANQ$r2hX80{ z=p8c8IP9IWF2z<2VF(X25}=I!Jzct_W(OV=3DEaa z@E!I~WLXF+0*+&$ar5r%kXVICyKVdXcc;h7gYWCbHJL&xp&S4g4#wIng#av~T-HVN z1Ydd^cZve?Pqe>%M=jDA*w)OpZ7B^`T))MnyC5HFO;k8kDOg7$vko?>*=F%A!vIp8 z32tXW?5P)3AM##co?v}ra~w>vJL1Iuh~P4hRzCJvXb0{-nDoFQC4wGz^uy~w5?qI- z0m52(R%=E=u+ezbKeeOQ@4qeGxXV8(4Os?}D&|;g5a-SUJ2`D~{#Vu# zEP00L2hfhj2+FTj9cN?09ZW$&g^g`QmJw{29V%)8h_PO|4g2x|UGI?T#u5O=sw-WH z0_r4~g78Md!yR3Y`M;-G95<|Yl-|*124eC7y50X?12fQ&@WU=~3t*bV0$8`@-8(w6 zI?|bfeHK70B|dY>2B`JN@yYCURHkcls*|ee!LZ%Aa-R1d2z6eDLL~gnx#8aYi9j-t7gSg6jA;Rn*bcU9FySA*{+!;l>u1&;04U{Jl0LB_JJtlI z%|HS-7R9lHijQt*OC=%u@aB==5v-Htslgaf!V-=s@D~_s@Mg3Gfrij7{0=m-GA{@b z!H1PR5GCG9%gpFJpydfgyX|0?`ms(a+J4?Cew%yB{Fl_3#aMyCtgpDV_KkLdqat0w5U@k{g@eiD)zjMeXRx-6&&WqcZ{Roq$b;bMHk zgedrcr1&QQxMWTJ_y~J|oi7}W#OlWzS$bL)=)op zaNAqC; z83)pl5WVXOJ#+>^csqoG!m$1RHSz>KBb3BET&6_)>c2|J!x}yV87V~Y{b3%KFLYsQ zLH8AyT}B_x+dV9>!?6*s#J8?=HeExg(7PR28*xjF0W4kA##Gu@o1(u0wI4Y{#GKsG zo&?()?QQM;>kA}Ux4*0Ku;Sy@h&UtyZm2=Ti|$OYDjE3+)X*fM`tWvO8Ex*rs}0x} zcv0ZZwe9h3bkLoDx3hAIrt%uV!5@Pf=GDr=f(JZ07{BxWGzMrYB#mUc6JL!P zOV@Ozf3Yu&l-Q9QmgVU?^7q>^095fIx3{?xI7`G|+2P7lNXug>&81xOP52I5r>L!y z!`{YPXau|yW4_H7pEg=y8&4pZc|%>a%{q3Z+fsdpFIi5TWbEbqng+uK7vGEKs0&Z} zzOAD`khT6ri->EEj#yiNa>Ho#rz9cSC|HAOR%n8e<@$n)d23a8h6H(?dx$&fPb5v0 zwxT)vOWHI5l9N|L4V-$xc}<~lutr$)b{^7=|1>eoWZV$TE46GyuS1QC{ta&io3DeZ zx+B&)>H^>lOB%#M4+rxZ^J$$+7N(IOp8zlH%M93lQ5bni+-wGY!?rZUsx)}UYolyq zPJG_nms>gLlF!EZS>b}!w$|Do%>m{wE3`I*gi5QWq$m<)*2{}#s82C>1f;Tso+cs1 z0QvjxB4$~6$gdNRz@fYTXfQ|b^RLpAF9vU?L!nOtKwW9o_c;c8x5+62)J-q4KfAbhLsMQ z@~;EyeEgy{NGLjOj}op0nL%Mx*|+kuDB>AO&rGf`WG1p_qwaQKU+gzqsuw9EExs&2%s~p&-jo^3E8`Wsv^L`Y~dk7+i` zsrfV2nVc2U0>Dg43Nm&_p+BZ{A@KWar|dVfy2JrsZ=30EKGi#?fgv!_{`wUOKhwzo z$v2<=Zi)11WkL;~?sh{eEaWNzhAR@l`+nbE;>uvBDITy@o`m(=_pdn-d5s|F{rCN;(7FjAqgo&% zrWLXEDP9AIAYQ;6_3*Or?sbn!oqy*cNa2WDlS75@sMVYQE10sq){8R7U}WQ$zU!NN z{#}~1)YqvtW>GH89v)WdBU;3U@KZkfeAZ8!F)Zy^%eBh)uI;#WXlHE)e%U#%g3R8D zV6`#K!h5C$Dtu$McC#@Fuz8Qn+`ADd?Hh>L)RW(m;b9%@9;`+lgRRjEb%D-Q@gDDN zE@Vp{H{Mf<15u0{M}aZnAWt2#v#4zy6Aivh~yia3Ou1e15}^l-eq<*@$fC> z47BQn!WoYB^vwsrshmqrW#jMi!Z z>l0#8N>KqZ`{0B3+HNLbE>;{7*RG>$APEj;0lg2EX>xePSnDe|WV*dQs8XR|Jl>z? zJTH0JJ^;@RjXBr~BB5l3ZqWqX9m`ghp#@NX7mr@j1SL7?QvHQPk++Gl_d>_%hdT4< z14=UQci5=K7t@^ECErZF#W(*f*<49gDM#J_C5$`j4QBhVHg_-XRVAxnkvBeqN7z=D z14{{5xU#k((EWpsoBaq-IsJZ1##6il$M=pA=v6wyGU-mj-j&!5V>%J7BSW)^r+DK*482F(CHt; z901{7#}Nh(QX5)p?F%9m+z~@R@q4BpYhx64oue@z9KuN)^ItH z5(;$CTwn8Rmkdz5pjg7rL&aJlvIR<}!{|I2LWE!75MVw)cc%ASSbNY9Nw;!*Q$rhS z`)!gA5SiOdaqaOxUoQZ0y)C+lJxlUX8koIqsE6hY&;yC^9<9Y!>ATpfdpzB4dp7>6 zGRtPBw(brvvIn{)semyoA3$ovbI?d0T{j_xQ!hN|80w`<^ELq2q$lnAXE9~2J<`HN z0XBIx5EdNnfk;^M41%Aw03mQif*|i7H|U`c-oxV-Rg2ikDj$G9J+TD2@a=fmkX2rZ zp3UXRM^(FPg>;|-tXq^J1g=EBEWW9Op=b~>r)}+^=|Md;#Up!}ro&t^LpO0dP+rq7 zyVtQ7W#j({0+|`cZ&d6yFgr5E?DK}^fs=Bx@(d2MGjS_@?$rZdGo5J8@1|*Y{dBi2 zuX0N4np|gxRaWH3tD>l>jlpxuodgI^*8J?Uf7e1F4^md;n+A%V8a%8AS5d_dxj3#E z-Pi?Cuq0ucgw>QU_n>zDDXA9W%V{#KHuho%3TwP~F)uhkJ{kgo&Kqo*UwG3sKj;o|WX)RNZciu%6re+m43Qtx9d8y$!ZG8ss z2~yO_RRU!G08en_+BluABGJkW$(vEH`|17 zkd)^;dLopoMd4N;FVmLr_Rbv}E&mXoh6Ck9E6##6tR-gw8+B<fJ5y1zO z|1JB_rQidde4u;=RE)b%{TPNlu$zyWDxcTVIlO`wO2Bc69L~DKYLn@sPQsjMW#K$S zkoXg(JvwGsM-M(`sL2Gp`_fL4ixlaP5Fu9cNQn6dzTaql-X#g>P+Ddd?h@V^XGj=6 z)n+qivRH;1A>)sKcqH2CUqg06?9s^P;F1WtGd%|Ya=R!Dg+Pg{1=gVCl>>5Di&|9k zgs)RnpCw9adAWA@C4#7iw>v{LafneC`9+uKO9_lG_QF$QzI*|_krY<%^L z29x>=RPjXuexlwG(`Ef**ob|VB3NG9Yd)``U-r1qTfEwl1j<<`VaL@dw3da@-h-V# z`RCugXjI+0mS;RwUtgvxxDR33nnTqWF1|=I+>7a~&8c)_G0kC~zx?9Ja^mbuYOXP+ z6K3m!$#o3njEKgI6Db@JS^`?d=S>;aefo04vlt7rMv=3V0Z=Id4JXUG?S zD23iAz;Q7>HDJwDyjy7hxU;(|Hw);%`0<vZ%Uc z6#UGc?NH_`=s39stv=NM-Zb|d!nyIb4EbWzHScD40&dX}HI)JmRJ0m@Q`KxT!Qy^{ z#ht7e9iObo8_;H}2bGRT!TCWqP>8GHDyYJdAD$Pv*hWrz&s=C4VktO7sIHv!!CdfE zbRQ5ej*;ZbOZr+vwPClOrCM!=XG(^_OP#JQ)l+;6A4DzW;70{Wpu$%mP6^mn$V)2x zkxF@Qt@1%&DnKbJjZ&UozR9)~kq4MF-;dXp3`CWFWQI4Hl$8)pmwJN2bwtmhi@6fL zq8}ebE!i25ei>qs=W_XxR7Af(sXZ-8j#$&UC+t+G(Q56+BY2lBecw|x9cbm6k2Q;7% z`DjTKl+NR;JjC~-x%o`utlZL@*NQa~NGaW$|~ z$_~k4ZZ`A%;*%4BdLSw{-7^)fFzx&9VnZ^&WMOL2?v|(Ty1hn z{S-Dk1=qWpew&s=-;Kys{7#*EuVLu{?Hpf)iXcz5VAt-XVJ&kRQs8T?f}k4%W;4H+ zhs-S5*fY}!tnGshuHB66EhsO56+h2kfA)dzMW4>E0e}7t8-&VuldvPQJj8y*!XtE_ zb+L-p?VKmIo}gI{TJvBbeBW~Qdlecupm|h=zeMO{Z=8J z(MCS0lpAX2)jnp{MMz)%A3~(4Hqt6xM?KU3jygxi`X}Vg&kGHe+u* za$EVKsUC`c>Z+D_!y~lDsipP#+3fQT%nOQ-XI~!KcVy3X`Qwy>_G4KSE$XgS*Ow(+ zAHu0R(Muls4!@-T7wLl=<@RwX_QJ=*d+#ZMTt>;1kgs7uJsux=wEtT6{_Jh4* zCo}oY-Azl)QBJCKbES0wlZk(Ev{Q#{`$o6A2?QT{!aROdS#6`-M7 zHrmi6RLwW_y)y}m?$dRo`pXD4*mA2h8>wBv^3+XToO;{QS7-LL9zV<-+^)BGKzc1p zJ`F!$llk(>)||#Q>e&-uuZ7>Qd0iKB5m?`;vR{KE;$v6^y0`U%@48zY{HlJZ$}+e2Noe z&+e=^W1swrT6&mDRNN^AiO%*TF?ltuE3qst7hRheQ*j1K}08*uAO` zmYEc%?BCfgnNOdg7NEUBEnuarSCuXNz)B~So5jyRB^3U5MD|l zmKjsEZb$2EjkVW!gqN&MGYo?)c*EsKkFBa6&;;#?~8EG)B0HR*S6a}GeIomcb`^Al|FaaCi7E?4@dGb%G}3VEs|D* zdN23q7KF=;0G4`sH41ORk( z8a!=Tq?5kwzF|$uSNg+nL-ypQ7dkw_8MpjJ`cS)!wa7mYcmX(+cTes6abR^;?c>Zf zihyA9`gq?)Q<9ym+R)09ABN1WxoI3=C`B1R`_HMvQNM#7jK#S#NG37w7oyI6zGIos z@?y?V?F#VqGWzCbmr8Vg<>R7NH7-szJse--R6VTvX06hk92bTdAQS^`@P0TzVE|x zE?ae>uD#k57fC0b7DEO5YTA@iUYKnC+b^Q|N&ziAkVu+o>y+{h((F z^H96Lv1rwmE4JBZH@7y+#bdn$*Q>{>k;_rED=o84m$FYK#ubBeuer#N$9~%oWK{#7 zdt{P!WA9FH2~-3(XOVVGh4X&=kQYmS|65*T=CbctatFRXZ=;#_76JDaqyxs$d|6v; z12?$(;Hx9caQlk1BF476DSM_;FR5b!;=h{FZf4?aUP?)L>TkJzMX`PvR{N;WH^F_r zG3>0Z8R>1%SF@5T&#al+kCAbhi?RCSnb8W06*+6i^Qs*D4>iC2j-D%oLgdf4?Mps+ zpjU2Ta&$-sff(2hItQU$o1e>Z>6BAnzMq(0=@GRE9Z$fuucWfXN^u%vK7YV<7q4WY zeZtmmtcT%sb&&nGvIrWq`qq zTS$fyAv=p)bZF1ANM6#(1+X#u-Lq{yN&};?Y4nVzuP6^uD+l z{MG5l*)@wE0F0bgr-PuFoD%G-bt<6kcq{q0p;B4(`k*(jVRAc)YjI3Y-Yw+;eOGBO!xtzA0`PS*BxGb$|@sx_k`IkXzJO7uipJNGb__;{H$6f_j(n;Sx4#7)b#eEf=I-6gqv9WByn7h zG8uE?p$o^zbe=$i*`q5eXrF}Pj z&r6DBRw{;bGPz69Qg=^1x>-JJMcO?;7DK;~{)XZj$q7cSbCcT}uNFCArZ4`+k5_Hb z4I5Nr#@^^`7&M;ZKv;54lNjUXt{x_m?xH^&CK{Uzl&+&>*y22I#T$43%Ixm0DVp)dFYS$;i6x6etXC@a*I)1!+ zIrvNEEsnWi-d;B5m8=% z0OzO=rY*!eK{Kd_X;WD?NOhM-i`Ks0&GD{3k9kdsomeq@jQO++!FgZOY7*(&I>>UPC?)2gEgTv2(yFu54zv#$8vM(x?l zX|Td9jhL3&C&nf%s68*+wr)yzV{U>{ zj?tkJQIuo;2W1~4aBJp=Mgp4s;Dxb?giJD>{pVPZw@-g$*N^u%vw!BzkPD|11gFIP zQ&%@#e4!k4PCGy}quiUSJxIiVknZ>O81rcSQ+v1a==zQlY zh5^{OII}~~@alLdPk<+Axh2DM-ZKxa%(c0foWEOm@xhfZ@5o~>be!5R>r0oo)*}`~ z2z7`BP(w!P8jiK&t_L-5ngk^!tQx&{I8kJ?_T!4M5Ppo!tLX#to=20`r*GL@vKq@Z z;0ac7>bCOM-_OMxFGrD>6%FaO<~eF!OOPp!p~~`V(r#C{QE{UjfcS$qp7# zri`mC%nq2Ris@Z@St?BLxl00_t7l8;8cZ7n9)E;q2e)tbHLH<7|KzSi(MY01;}yH6 zW4&|x7*rK{ByU+Q*l;9oKBZ?jI&{U-an+!X_BP_+4Yu?Gs#w0cY=s#M`a{#ZIH#Ja z+0!$4AE-!X>EDG1`F&nS6!ptlmBh?TY{{EeuQsd0LGa~16CALL%2o2^(FgTTNK#4J zu>)1g2d>XFs!j|D4LEsln#RsCh=VkJ;CD?~HIM$CfJwM}#0#em&>bTkvgEfP0GG`gP5L^~v+m$L>c$z-=y$MNvx2;}R{4sLBT3FymDh zU#Z+;&D(`IvWNQj`WM<5x*f8!aAp*HN$SG97;>@fuEtulBxPDXfhGQwotp;{pM5K$ zvC9&i#~Q1^J+(37B0l{^U2$um(1^afeJa`+eST3Q^-U(YC&{jB7^*en&gm?i8@ktM z&c&SLv>D=r87MM`ER)UAK5aDT^@Tx$Nb`FH;VorQb#CA5up0(dKVL(1M=3;ug|@uy^Ul@IR=Z~~#TJ4eCKR^IJ%Lz6EfVkPEx z`FkvWF#c2{3ExjY9DRl`m=8+*`!y1DOyydpX1&PxpnMRtKqsidg?H9))mh^*TAzfP zuLsvMhl3-cwR=3rbkQJjsrN^`EQ)?nL;riYzSM)o=%OFE&mgF0vj`1grwkcA$)Fd2 za*LJ5ay=#^x?`i|lzMPdwja2>Wc&)d=;+nJOJs-vg5ONi&e@b!D&5@QssEN8+p}L& z8wB&)C-C0O3_0MW%@rhQi`EO0;l-yn_?|)%*&|Rp6VkPL`k`<>d!88ORSHr@$z(i4 zj;j;2O)Llm-UR*LKWH6zg2@r*(4@?!lA3GVt#xa~NIOvajaze-{!u^m@^0uZs0(3N zV3+vOk2D6g0Qjx|I^`?@wjcBWVIQ4+4XKlUNqU1?+f@*Wg_;1IelIhOLp(JjLZ@cN z>SJ$)g8HNYB3Cfa;DlB_3m3ROcxd7rVw&MTkXVdRU~~!+0OFCzcS{OYe0eocqd?DH zw6qQ+EP3!$^Ky1g1Js~k)SyW;w9QoU^U%hy>!8`}kob$h0I6b^e+^mg^a8YAB?5Sf zxdn9sZ(rVR!s1i088f{$J)$|qHGBL)2<=llrMDPa3}3>L)q-zcF1_`tP z_ot8}8;^S{Fp_^h-GrS@!g+&+*o_~wm>UZfw+H7kL}pv%6Dn%@!Nmf$YH}Z)GEg*t zzDxVLTX}a|&^jLhvIQ=5gIUeQ!v2zt$^bboJR?t?d#gs+OS2>1CmE4e8Ws$XU*XDc z0+EYdla16MtQ(1V*xi;vLOmwlEo3Y>R`jPvFRgsz@YQEQ`5QMNp$-?c41qVHKt)T$ z5FwU`!@j~EXl*vpL05wPv8)a@63;Q72Gix0^78#WQ>U1=x6^!+^`eCvT6>qgiTtwR zfcCB>S^w=8ktiTI>ksNmTxd3HP8v6VH)HS~#0lCPEOcy!Ecl>ei7XJHZZ|fBm5G3c zX_iFJ0-GuBd)ab-gn`IJ?`qA`*^fs_S4Lua*JcIPWqI_0a1HavD$!Ccfd?T4T`7E#Q!;gBl1$F7z zrQjVVMLh^$OM|N=h#_KyD>y&naljadL3ui)IdFj>Oi#lC6avIf6G+A64~j!Q}q`5!_4F5D^*-0eoG49`SL(Wby*+dur0eHy!r7k1&PRF$(L1| z0^S=kR%G2b$tQf zB~5?|&&)BXK)L7_g7WHXx3`FG{3z^_LJOZPxK)4oDyG5g-B^BL-bzbbgGYml2LaaE zdz9@y-7w4OpgaFr=GxzfH=fk}&^3T9Is3zR-J5z2j??!}P4Bxu{n0}yR8GNcSut`b z599MwB-U(=Y_wp3S4+&5PWcEDVr(-ymui^4U(uR%NYAD5JljU>L zmDyr|tI;pXTs{lgcMJL1>r*QVCU0AUQ*fQt2(Ul8oHVSM{!^{Q5jAEO2xBrlPO03M zG;4eFg(CF$<+VG^A^|5>JK8k-2)qwm!X<5XQCkI$Q@(C1)tbZl9Y0vlfU1icoqCOni#fhwP>7TAeeGVeOJV`ZyKsu zw7Y3Z>um00X>0xG;+6b1A|)udAj`Zf>}Vn|b0D|}eTksJ_#*4no~{ni`GJALG7Wv0?B3*CcHpOL8mpNP2 z0r7E2gLODZqXcvH{dpx}5-I&9G7Gfy_3-XiQi zo)oE^i^EXoqM7ziC z^xqM*_NqJX=PIjSu8cq_o2FY{j$02UDN7~Yix0m&BKD6K2WjV0okj-`9( zpUz4-c{b|^Xe+)lW?a37)=>R?2pqRTpww^{66`;!;xu7{U>7h>tPc<-_dgwix5z1% zO&L0ayhu}q(0(+{o^dfy@2=Y9%L7P~&u-n(5>!Kc6!z(hb3BIxPGB3cIyS#4SG6c0tqCiLSWgosVcQ`((;$vAQss&~n_T zy+>=?f}ZRAavka8E}?f^%FnGi3>jJWFLvvbaK$@|7B*Sd860&DeZ>*t%lCx_df9$<+%fTdcL*BL^Tmdj%~(0*sL4ve|99J+)ZrBH4_?#^%Y$W+Dc|>-W6NrDct188RqcR71zH| zsBtE`YQ6Ze_w0iRdnwfu?k`x5_`p~t!r?|{=ozYh$8GMujb6D{)`Lwtzf^5!Tlm#n zgWE=2O7f80w%IV?yYV*@#VEW6Wj8lVm!kh)d*>O|)bcIxLolEy5tLpe_5w%~iPEB? z$W;{oQYAD+igXh|4D}*S=}o0x1w@Jj5NV+aNRz6B5_%H_0@8w%;F|;#-+J%UTkCzh zd|<(ubLN~gvuE!;duIR6jyJX{(m&b-IH#GDVqFWL2see5jOnlw5>ebH*^-R24;%~C z(kT_d#!4 z?*)u@COT~UX*EohTmH%-XcKnm^C~_siF1M(jb`P&T#;euX#V#uvp46Pj1I2`o~KPW z3}IfmwTd)<6G{5a8h`LXY9oR`Pb<9_EFPL-HQrgz6)n^L%tiFu^-~zzr*4C*4*wa6 zb~hk>}-HWaG*NG}T6rNGwF0c{3~ivRL%c zSo)v`E=`ESe`1;d?9&AL=@`Q1zdpd1>X6C_ikgmJWZ?Sok{g zNHL#6b7VKjJ*N9Y=is@+)$_B}nmWjO+_LL~Z0%E4NV}&Etc0~@a^c(WZSjLr!WpP{ zr_!EW&zLuJwq;1h9X3;vC&K5u=jC7Tgz%_;(Aw16 zJaqUuIUHPiEn%@l^~HcudEeOd(m*%6QZFfRyzqQUv(R!KeTfDLvzfY=sml#agR-5a z`;uGryG5zv-jj}NIY9{W;s9$|>FWYsq2;x^Nog6=`oz6T2^8sorM~|p^!P^8jFBDufN>*E#Jg1Pgg`W*+aT0h~k*Ef6f_Y zuP_a2WCT~9n44Op=a4R=eBMn5k9*@2b}PqJ>muvF;(~S?wW}LArtU->DZg|@sH*l3 zlW;{&2Y^h`r06k>OST>!j&5sOb`r~r08HyfpX?uNPAz6G7dhV`YD(ud{N z-kr6*1WTj!j22nS?8DXWp8}DsllVm12#pk?B@F`OhWNx^k0-Y&e4?0K$qn_20U8ZK2KJqH7?$w}?edcAWd_vX-)2T9U_*1({ z{foUWo=|GsPp+%LrvoAndQcM{sdJR8OgYS+7U1o@Ba?aOD6dTIm$QBt_LHeS`KklE z4QvWkSCnF99aGV9?|7iDftsh%JM8;irar#4K2Xk(Fnoxu*Nc|FA!iJpH!={*bMDpe;6GK}4iC+kVZ<{ykt5 z0QKLUjfRm_d*PqNvAbeM&pdlA5WGKTX?68N(8?XM&|+f!l*#-3myo{(ABF9ZrrWNW z70!X6CZdTCzQz~tYU_;3lDRM@78^o*xtv86nlD3txpsAzy|^KyYmoulp(7FmEhYC= zV!x*=|0tZ-bKX8I7TXdi7w#VUiN|+-Z_WJOfvhMPBuIXR{=3OAilrb$vGoDhgy9Wm zT%C=wiR`SM?e{hhH)*jTOBo7B<1U685NA7N;f6aJM<`EQ{wu=mA7$Aj_X5H53VwD= zigPnfgLfXPsidAdo%l+ch}{cv-rKD;kT1*$af0!Fu3b>vjSI^6?PHQ@)-*$pAgA%2 z#Tl~*!Rq7euhJludl9f5AP#DYl#=zANw-jvlsilck}kH2+I2~|&&4y-2GYP)D7JZ! z3_sAmQuzYUukQC<^;*XTRVzYPl2{TD#Vk}Xh$pE7b^#snB{%rbeMQrzUrMFqfAZ{ zUqXm@-^qe1U~JX;a%>btW_mw=ynny2hHP1@);~LSY$`UD6G*@5m|?Dxsp(5{?768- z-f6&o?feX)>~UZ>SaoAeS(h(5XBA>&5@lo-g@kZpaTX|D=>Wnx$aqH-EWq@ei>qG7 z5VHEr*YtH$V#0KS)`QW{te&2lY^LLr&CR7 z_#FbzVckpp_&y&8VUH@SgZY!l(&Lr#tzuvsMmR@-N-zd&}cLa1pT@(PT96 z-F$I)>etx)%u^Se^GHUT|GI&LgA-&Q{|?IY1=biIBM?i1B# z{>~tb(9ej6SzhA%EE{URT3*H%ZaWng7))~9Jw)Mc)%yu~?vR0hQa|nJ9q?s@MuV@$ z@HJx2h}hZjlH6tn4Is}daQ_IM=8}lFxB8b<%B_`daq{bY`1;IvgEm4>W}4!P7fWLJrn|WPv7ft5JWx8_!kFe{17=I! z3uV35ts5AXjmfiRNU?CR^2+lJHAPebpDQ9{01mm{O+)*pvLVPLBWsaOf+Sc)4XEm- z@N|5W_nVN|4QdFOUYez$dpYZ{?faNcRBzQ81+%<1ewl?b)Vurf1soGn@*rHgw3Sp| zKU4w;36BmLAe$#ZuyfYV{-LV;x-py8KDsRgQ{qo>>9Tb#d8$34*^ywDJLk967<*5K zPM@c!(JskRA5edeWaUBG+(R&aj89+DCH#Ea`)xY-hBFY7YYg_S<8+*il5c0XP5H^o z-V9U$(Du*Rk6@5V-dQZ7!ruHDX!DrZ4PFgsXHa$Sk=`7?n}S9Xf!l$iDMI(=s4lzf z2x5BKp#0RE$RusPJioWM%M5J(s7?dfrzcD+X&*J6SF91-64GsK$yUK%G}5ya!;=*` zp6I(k71La7)ukT?znjiGZLf?u15KSQgSi;0Ug2-%eiN55Mg2I2k2kmdEt|To@K62E zom^+;W`&h{sa+}O=^2D{_sh)tB7GB8T>D$1W_|g4$Da5o&MX`p!avDCXVovBP4`Pz zUa`t6=)632E2;ec0m%4z4tJeQ5n?=1PDl2>(tKdLl zSA(Eh|JUeCi$nX~O}fuzzW|X^1|kS_EGM^r&mQk528+%Fw|y?HSsUaZdNAP`Te9N$ z&Y~{Tq6=$u~E}Z^`7z|4}#6Qbh;4z9!YGYwG-^FWJ z3!n2q2H2EC^Nn3O;Uo^tDJRT`}eh&8}09F*COtjvnF)yyW<5x82PIv z?8JZck+z)Q-nUJwm6yr#-G;TDwJ@mq zUdufC2xS%*JRbBD;l0)26m6soMe0~6AT+)f{G(dIcYD#=IMMIYny|dN|gI zxq(y#hM%s|t%)%H{95CQbUkIliGwTs5Y$LcNBdH4xSZxy&zu}t$z&A)iot@Mj5Z@5 zwA4{9MjYSWs~!p5%nghRkW(8CGcj`-=u3b}n)Q%y48>cpz!nL~%K zu*gOIRU^U#z3v82sZ$~lz5U5JWL)8Eg-qJpvZ^N9M&GZ!X|AjRK==8Rr|ri=3mL4| zXYBbju4s84wZeH;NH^!A*D0&f=Av;&zdWOJc*v6pguN4zxI>4$i0M_kw`@T^zn6kv zRR}oDb=j1mx*J(~lF|Jq6LlJ3oD>cSZ614ZVH_*T=77;tVTA-wi+CN1coO|On4V6w zDKo43)%0NrX&7P88(hw9cy!{DFR;h68aEF0m%h9y(SoGF_)i-P~b^SoiN2^Gf-~Qb`Vh_9&KDWhh7wimZRpy7XQ-gvl1^T2WCf2Wc zL7s3yuDZq-AWAh8P6H8qI=PEJI$3V&%BapXbNgfb{^&N7ZNvE&mE8_^?1MbRnmW)d zS&Ia#RVR?S=~>(aYL&e4XXiU#$8}!y`YN@-@&d{{|GL+9qw}1Qq+KdZZH03?RPm^3 z=jcQUz@l!+%tp@1uO8P!lC8c#o+0_-96ZfT6`AZiNAFp0`$K@u;GYlxmiCp-lBC~) zvR%a;sDVezRl{N~n98Dwyb%Mbiji`n}xO_2= zae)$^vmn!lP7I@KqbPWI-^T%4OZP;DVG?=!A49MKR@7%$K2|UlW+oG2VY$Wx@!irw zhA6mkU)GLRU4Q0MeUG!Rar-uC5F7@8ZNQ65=6@V0GE44l=wR6rChcn`2DW3UWY>c; zA~|R8cb4w84={>CL538TMZGYfJ8;l7m%rA@tFd67*cH6sb zF|Y#s+Xev1w>B)_dR@MQ98kppaC>7;kW#vJo?yR5gTMysjInypIAI%<{VO}1(Tcwj zKlCOADb4g^7^J(!bpp@z8#P0JNI+tt7c)U(An|j{+uY24-_TP4TtqL1Af8{q5{4jv zCFD(r9FPhCIG`6p(34+e42J8Qw24{S{D)Btc>=20FA@|`VgF4W0rQ4lOmBfr-Vsoi zjJ55pp4uq>9}UFF$fTp-{%xNBO@99Wn}_QZ#}V*x1{3->0)88UeN;JS$G55m?xiaOpsTiRj~>WX zjq!1Tc?ZtrL#<-E5$W&OlJ8=~3_5aUi z781zkD-dEYUjT)!k)E_ttF!$QLm%|74ECDJXv}WoulyG@F#Q0IM!I_9T6x@&c z+Lj`)zF$lRLHLD<+1X%dH3NGZ_S>k zM!8~FiZ!d0A8GL-p6yN%&O&J0$zFK>Sl>zFXLn4Gse$C3Sg|W2gjDx}f)6XkJ=Qt1 zQl-O>i`8SnMZvCylL~VS)RU38!n3+>NxR_0r?r0>-p9vgvYXjPXdSKP-tDcQxg(#% zBWT2T1#>H;GX`9SaK9&Nx-{3_;unt4VYSMSd10(4YaZIuV`?Lbj}<%q)9WrZUpH+R zKQ_>lVq{N+nxax=wDOxH!s?}NHFJVUp~bZj{IgE;upI{QNnZ;kX|SOKHrJnf?1 zaJd)NRgNudVft**+%D0&y{78fk5kmOg&$&x-95K$vKv_RuRd_Gs7YGOctCUG(^s)G ze<-a#iBGv_p=Bp~<^AK8f#g#4j%_jp_31x(-SJBeCde)`{l<2moZN-*zDe)d@D*d( zrQIe^0R+BCgFG~0mRS%JZ%i1Emt|Ealfm0#V>2-aetd6uA!7Yj+-$N^x9=O;F?~p+ zG9C7u-Z^X?*0S>NPm=Cl$AUKA3EJ4reN2+0v6qK=Llpk}ZSSO4JUl;8#t#|mIJwLR zl$4Hj5oa1_=;lBDhc*%p%(FRl!gI~APjbnf$n_!Rq)$&$k)+0=ZFK6G&*fNxs00s= zXwV>0_enLZp`XSCWnYRm`zHReA@)Jpddbt2&`9`jF#7Sw$-PU|$qD^@g9*;dwEf__ z4UzEhQh|}V6QRi^5zTq%iP&$Wluj+VYjxnm8_L@tRAMeVycpe(P{>On7U?5H@*dRp z5Hi?CoW6CSfdxh#22pp;x@>gAe%0uAMsj>!00jcYMd~A)1nNd)zdXzGQXmrqGdB;* z`)CRKL`9Y>PuCxI45^$zv=m2v#(bbqkCoG@u!j}}{QWY;qT?+i^W9ED r(0)6Kd(zapCtuDU-E20`x;2lsg)x8fqigo`LuwbVsbrlu{` 21 +2025-01-14T15:13:20.680481Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:13:20.680483Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:13:20.680484Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:13:20.680485Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:13:20.680487Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:13:20.680488Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:13:20.680490Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:13:20.680491Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:13:20.680492Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:13:20.680493Z  INFO prove_core: Chip Auipc: 11 -> 18 +2025-01-14T15:13:20.680494Z  INFO prove_core: Chip Branch: 17 -> 18 +2025-01-14T15:13:20.680495Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:13:20.680497Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:13:20.680498Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:13:20.680499Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:13:20.680790Z  INFO prove_core: Shard Lifted: Index=2, Cluster=61 +2025-01-14T15:13:20.680795Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:13:20.680796Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:13:20.680797Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:13:20.680798Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:13:20.680800Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:13:20.680801Z  INFO prove_core: Chip ShiftLeft: 17 -> 17 +2025-01-14T15:13:20.680802Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:13:20.680803Z  INFO prove_core: Chip MemoryLocal: 12 -> 18 +2025-01-14T15:13:20.680805Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T15:13:20.680806Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:13:20.680807Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T15:13:20.680808Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:13:20.680809Z  INFO prove_core: Chip Global: 15 -> 17 +2025-01-14T15:13:20.680810Z  INFO prove_core: Chip SyscallCore: 5 -> 18 +2025-01-14T15:13:20.680812Z  INFO prove_core: Chip SyscallInstrs: 5 -> 18 +2025-01-14T15:13:20.838940Z  INFO prove_core:generate main traces: close time.busy=158ms time.idle=2.09µs index=0 diff --git a/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/output_time b/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/output_time new file mode 100644 index 00000000..e69de29b diff --git a/sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/log b/sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/log new file mode 100644 index 00000000..47b45864 --- /dev/null +++ b/sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/log @@ -0,0 +1,82 @@ +2025-01-14T15:12:13.884240Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:12:14.345758Z  INFO vk verification: true +n: 12319 +2025-01-14T15:12:16.676402Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:12:16.803217Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:12:17.376667Z  INFO prove_core: deferred 1 records +2025-01-14T15:12:17.578652Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T15:12:17.578690Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:12:17.578693Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:12:17.578695Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:12:17.578696Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:12:17.578698Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:12:17.578699Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:12:17.578701Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:12:17.578702Z  INFO prove_core: Chip Lt: 18 -> 18 +2025-01-14T15:12:17.578703Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:12:17.578705Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:12:17.578706Z  INFO prove_core: Chip Auipc: 10 -> 18 +2025-01-14T15:12:17.578707Z  INFO prove_core: Chip Branch: 17 -> 18 +2025-01-14T15:12:17.578708Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:12:17.578709Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:12:17.578710Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:12:17.578712Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:12:17.578926Z  INFO prove_core: Shard Lifted: Index=2, Cluster=180 +2025-01-14T15:12:17.578930Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:12:17.578932Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:12:17.578933Z  INFO prove_core: Chip Bitwise: 15 -> 17 +2025-01-14T15:12:17.578934Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:12:17.578935Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:12:17.578936Z  INFO prove_core: Chip ShiftLeft: 17 -> 17 +2025-01-14T15:12:17.578938Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:12:17.578939Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:12:17.578940Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T15:12:17.578941Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:12:17.578942Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:12:17.578944Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:12:17.578945Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:12:17.578946Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T15:12:17.578947Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T15:12:17.746429Z  INFO prove_core:generate main traces: close time.busy=167ms time.idle=2.55µs index=0 +2025-01-14T15:12:48.753833Z  INFO prove_core: execution report (totals): total_cycles=3901049, total_syscall_cycles=20, touched_memory_addresses=45331 +2025-01-14T15:12:48.753860Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:12:48.753869Z  INFO prove_core: 1209211 add +2025-01-14T15:12:48.753873Z  INFO prove_core: 678543 lw +2025-01-14T15:12:48.753874Z  INFO prove_core: 635579 sw +2025-01-14T15:12:48.753876Z  INFO prove_core: 327358 sll +2025-01-14T15:12:48.753877Z  INFO prove_core: 203154 bltu +2025-01-14T15:12:48.753879Z  INFO prove_core: 161646 xor +2025-01-14T15:12:48.753880Z  INFO prove_core: 153815 srl +2025-01-14T15:12:48.753882Z  INFO prove_core: 151672 sltu +2025-01-14T15:12:48.753883Z  INFO prove_core: 151027 or +2025-01-14T15:12:48.753884Z  INFO prove_core: 70329 bne +2025-01-14T15:12:48.753886Z  INFO prove_core: 49651 beq +2025-01-14T15:12:48.753887Z  INFO prove_core: 47838 bgeu +2025-01-14T15:12:48.753888Z  INFO prove_core: 27174 jal +2025-01-14T15:12:48.753890Z  INFO prove_core: 12871 sub +2025-01-14T15:12:48.753891Z  INFO prove_core: 7784 jalr +2025-01-14T15:12:48.753892Z  INFO prove_core: 6691 and +2025-01-14T15:12:48.753894Z  INFO prove_core: 3895 auipc +2025-01-14T15:12:48.753895Z  INFO prove_core: 1610 mul +2025-01-14T15:12:48.753896Z  INFO prove_core: 459 sb +2025-01-14T15:12:48.753897Z  INFO prove_core: 299 lbu +2025-01-14T15:12:48.753899Z  INFO prove_core: 220 mulhu +2025-01-14T15:12:48.753900Z  INFO prove_core: 195 blt +2025-01-14T15:12:48.753902Z  INFO prove_core: 20 ecall +2025-01-14T15:12:48.753903Z  INFO prove_core: 4 lb +2025-01-14T15:12:48.753904Z  INFO prove_core: 3 divu +2025-01-14T15:12:48.753906Z  INFO prove_core: 1 bge +2025-01-14T15:12:48.753908Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:12:48.753914Z  INFO prove_core: 8 commit +2025-01-14T15:12:48.753915Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:12:48.753917Z  INFO prove_core: 1 halt +2025-01-14T15:12:48.753918Z  INFO prove_core: 1 write +2025-01-14T15:12:48.753920Z  INFO prove_core: 1 hint_len +2025-01-14T15:12:48.753921Z  INFO prove_core: 1 hint_read +2025-01-14T15:12:48.753928Z  INFO prove_core: summary: cycles=3901049, e2e=32.078185805s, khz=121.61 +2025-01-14T15:12:48.756211Z  INFO prove_core: close time.busy=31.1s time.idle=949ms +Successfully generated proof! +2025-01-14T15:12:49.284061Z  INFO verify: close time.busy=515ms time.idle=1.83µs +Successfully verified proof! diff --git a/sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/output_time b/sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/output_time new file mode 100644 index 00000000..b1e00749 --- /dev/null +++ b/sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=12319 --prove" + User time (seconds): 1318.88 + System time (seconds): 54.28 + Percent of CPU this job got: 3760% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:36.51 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 21674868 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 6 + Minor (reclaiming a frame) page faults: 12606979 + Voluntary context switches: 422371 + Involuntary context switches: 85801 + Swaps: 0 + File system inputs: 0 + File system outputs: 912 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/12319-2025-01-14T15:12:49,993866299+00:00/ceno/hints b/sorting-output/12319-2025-01-14T15:12:49,993866299+00:00/ceno/hints new file mode 100644 index 0000000000000000000000000000000000000000..b77c50681a6c0041729d5832b8cc5560c8922727 GIT binary patch literal 32 OcmWe(Kn3y!sC)niU;tzQ literal 0 HcmV?d00001 diff --git a/sorting-output/12319-2025-01-14T15:12:49,993866299+00:00/ceno/output_time b/sorting-output/12319-2025-01-14T15:12:49,993866299+00:00/ceno/output_time new file mode 100644 index 00000000..b1387777 --- /dev/null +++ b/sorting-output/12319-2025-01-14T15:12:49,993866299+00:00/ceno/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/12319-2025-01-14T15:12:49,993866299+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 765.29 + System time (seconds): 53.54 + Percent of CPU this job got: 3267% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:25.05 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 8068932 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 4592604 + Voluntary context switches: 1028650 + Involuntary context switches: 182346 + Swaps: 0 + File system inputs: 0 + File system outputs: 32 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/log b/sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/log new file mode 100644 index 00000000..9b8391ff --- /dev/null +++ b/sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/log @@ -0,0 +1,96 @@ +2025-01-14T15:10:58.926057Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:10:59.383780Z  INFO vk verification: true +n: 17862 +2025-01-14T15:11:01.709177Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:11:01.893156Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:11:02.776676Z  INFO prove_core: deferred 1 records +2025-01-14T15:11:03.069705Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T15:11:03.069745Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:11:03.069748Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:11:03.069749Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:11:03.069751Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T15:11:03.069752Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:11:03.069754Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:11:03.069755Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T15:11:03.069757Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:11:03.069758Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:11:03.069759Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T15:11:03.069760Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T15:11:03.069761Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T15:11:03.069763Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:11:03.069764Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:11:03.069765Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:11:03.070030Z  INFO prove_core: Shard Lifted: Index=2, Cluster=179 +2025-01-14T15:11:03.070034Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:11:03.070036Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:11:03.070037Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:11:03.070038Z  INFO prove_core: Chip Bitwise: 16 -> 17 +2025-01-14T15:11:03.070039Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T15:11:03.070041Z  INFO prove_core: Chip ShiftRight: 15 -> 17 +2025-01-14T15:11:03.070042Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:11:03.070043Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:11:03.070044Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:11:03.070045Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:11:03.070046Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:11:03.070048Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:11:03.070049Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:11:03.070050Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:11:03.070224Z  INFO prove_core: Shard Lifted: Index=3, Cluster=180 +2025-01-14T15:11:03.070228Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:11:03.070229Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:11:03.070230Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:11:03.070232Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:11:03.070233Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:11:03.070234Z  INFO prove_core: Chip ShiftLeft: 17 -> 17 +2025-01-14T15:11:03.070235Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:11:03.070236Z  INFO prove_core: Chip MemoryLocal: 12 -> 18 +2025-01-14T15:11:03.070237Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T15:11:03.070239Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:11:03.070240Z  INFO prove_core: Chip Branch: 18 -> 19 +2025-01-14T15:11:03.070241Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:11:03.070242Z  INFO prove_core: Chip Global: 15 -> 17 +2025-01-14T15:11:03.070243Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T15:11:03.070244Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T15:11:03.291116Z  INFO prove_core:generate main traces: close time.busy=221ms time.idle=2.17µs index=0 +2025-01-14T15:11:41.434622Z  INFO prove_core: execution report (totals): total_cycles=5788128, total_syscall_cycles=20, touched_memory_addresses=56419 +2025-01-14T15:11:41.434644Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:11:41.434652Z  INFO prove_core: 1814670 add +2025-01-14T15:11:41.434655Z  INFO prove_core: 1001405 lw +2025-01-14T15:11:41.434657Z  INFO prove_core: 939356 sw +2025-01-14T15:11:41.434661Z  INFO prove_core: 482796 sll +2025-01-14T15:11:41.434663Z  INFO prove_core: 304206 bltu +2025-01-14T15:11:41.434665Z  INFO prove_core: 233712 xor +2025-01-14T15:11:41.434666Z  INFO prove_core: 228802 sltu +2025-01-14T15:11:41.434668Z  INFO prove_core: 222063 srl +2025-01-14T15:11:41.434670Z  INFO prove_core: 218285 or +2025-01-14T15:11:41.434671Z  INFO prove_core: 109235 bne +2025-01-14T15:11:41.434673Z  INFO prove_core: 72529 beq +2025-01-14T15:11:41.434675Z  INFO prove_core: 71394 bgeu +2025-01-14T15:11:41.434676Z  INFO prove_core: 40879 jal +2025-01-14T15:11:41.434678Z  INFO prove_core: 18555 sub +2025-01-14T15:11:41.434680Z  INFO prove_core: 11375 jalr +2025-01-14T15:11:41.434681Z  INFO prove_core: 9492 and +2025-01-14T15:11:41.434683Z  INFO prove_core: 5691 auipc +2025-01-14T15:11:41.434685Z  INFO prove_core: 2233 mul +2025-01-14T15:11:41.434686Z  INFO prove_core: 519 sb +2025-01-14T15:11:41.434688Z  INFO prove_core: 352 lbu +2025-01-14T15:11:41.434690Z  INFO prove_core: 281 blt +2025-01-14T15:11:41.434691Z  INFO prove_core: 270 mulhu +2025-01-14T15:11:41.434693Z  INFO prove_core: 20 ecall +2025-01-14T15:11:41.434695Z  INFO prove_core: 4 lb +2025-01-14T15:11:41.434696Z  INFO prove_core: 3 divu +2025-01-14T15:11:41.434698Z  INFO prove_core: 1 bge +2025-01-14T15:11:41.434700Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:11:41.434705Z  INFO prove_core: 8 commit +2025-01-14T15:11:41.434707Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:11:41.434708Z  INFO prove_core: 1 halt +2025-01-14T15:11:41.434710Z  INFO prove_core: 1 write +2025-01-14T15:11:41.434711Z  INFO prove_core: 1 hint_len +2025-01-14T15:11:41.434713Z  INFO prove_core: 1 hint_read +2025-01-14T15:11:41.434720Z  INFO prove_core: summary: cycles=5788128, e2e=39.72620269s, khz=145.70 +2025-01-14T15:11:41.442568Z  INFO prove_core: close time.busy=38.3s time.idle=1.40s +Successfully generated proof! +2025-01-14T15:11:42.162419Z  INFO verify: close time.busy=703ms time.idle=1.50µs +Successfully verified proof! diff --git a/sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/output_time b/sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/output_time new file mode 100644 index 00000000..a6f8aabd --- /dev/null +++ b/sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=17862 --prove" + User time (seconds): 1935.69 + System time (seconds): 75.99 + Percent of CPU this job got: 4522% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:44.48 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 33862800 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 36 + Minor (reclaiming a frame) page faults: 18195781 + Voluntary context switches: 520585 + Involuntary context switches: 97581 + Swaps: 0 + File system inputs: 0 + File system outputs: 944 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/17862-2025-01-14T15:11:43,013982215+00:00/ceno/hints b/sorting-output/17862-2025-01-14T15:11:43,013982215+00:00/ceno/hints new file mode 100644 index 0000000000000000000000000000000000000000..7dc070b68981a8f28ce6ada067762ade00794f85 GIT binary patch literal 32 OcmWe(Kn2HKQTYH93jrVi literal 0 HcmV?d00001 diff --git a/sorting-output/17862-2025-01-14T15:11:43,013982215+00:00/ceno/output_time b/sorting-output/17862-2025-01-14T15:11:43,013982215+00:00/ceno/output_time new file mode 100644 index 00000000..8d125535 --- /dev/null +++ b/sorting-output/17862-2025-01-14T15:11:43,013982215+00:00/ceno/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/17862-2025-01-14T15:11:43,013982215+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 926.37 + System time (seconds): 67.63 + Percent of CPU this job got: 3445% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:28.85 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 11062552 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 6605923 + Voluntary context switches: 1125560 + Involuntary context switches: 287462 + Swaps: 0 + File system inputs: 0 + File system outputs: 32 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/log b/sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/log new file mode 100644 index 00000000..8fb796e1 --- /dev/null +++ b/sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/log @@ -0,0 +1,69 @@ +2025-01-14T15:08:53.976027Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:08:54.432172Z  INFO vk verification: true +n: 1972 +2025-01-14T15:08:56.731651Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:08:56.752599Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:08:56.844711Z  INFO prove_core: deferred 0 records +2025-01-14T15:08:56.894746Z  INFO prove_core: Shard Lifted: Index=1, Cluster=2643 +2025-01-14T15:08:56.894765Z  INFO prove_core: Chip Cpu: 20 -> 20 +2025-01-14T15:08:56.894767Z  INFO prove_core: Chip DivRem: 2 -> 17 +2025-01-14T15:08:56.894769Z  INFO prove_core: Chip AddSub: 19 -> 19 +2025-01-14T15:08:56.894770Z  INFO prove_core: Chip Bitwise: 16 -> 19 +2025-01-14T15:08:56.894773Z  INFO prove_core: Chip Mul: 9 -> 17 +2025-01-14T15:08:56.894775Z  INFO prove_core: Chip ShiftRight: 15 -> 17 +2025-01-14T15:08:56.894776Z  INFO prove_core: Chip ShiftLeft: 16 -> 17 +2025-01-14T15:08:56.894777Z  INFO prove_core: Chip Lt: 17 -> 17 +2025-01-14T15:08:56.894778Z  INFO prove_core: Chip MemoryLocal: 11 -> 17 +2025-01-14T15:08:56.894780Z  INFO prove_core: Chip MemoryInstrs: 18 -> 18 +2025-01-14T15:08:56.894781Z  INFO prove_core: Chip Auipc: 10 -> 17 +2025-01-14T15:08:56.894782Z  INFO prove_core: Chip Branch: 16 -> 17 +2025-01-14T15:08:56.894783Z  INFO prove_core: Chip Jump: 13 -> 17 +2025-01-14T15:08:56.894784Z  INFO prove_core: Chip Global: 14 -> 18 +2025-01-14T15:08:56.894785Z  INFO prove_core: Chip SyscallCore: 5 -> 17 +2025-01-14T15:08:56.894786Z  INFO prove_core: Chip SyscallInstrs: 5 -> 17 +2025-01-14T15:08:56.894788Z  INFO prove_core: Chip MemoryGlobalInit: 13 -> 17 +2025-01-14T15:08:56.894789Z  INFO prove_core: Chip MemoryGlobalFinalize: 15 -> 17 +2025-01-14T15:08:56.894790Z  INFO prove_core: Chip Global: 15 -> 18 +2025-01-14T15:08:56.962880Z  INFO prove_core:generate main traces: close time.busy=68.0ms time.idle=1.46µs index=0 +2025-01-14T15:09:12.488491Z  INFO prove_core: execution report (totals): total_cycles=560449, total_syscall_cycles=20, touched_memory_addresses=24607 +2025-01-14T15:09:12.488513Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:09:12.488521Z  INFO prove_core: 163042 add +2025-01-14T15:09:12.488524Z  INFO prove_core: 99480 lw +2025-01-14T15:09:12.488526Z  INFO prove_core: 92376 sw +2025-01-14T15:09:12.488528Z  INFO prove_core: 48437 sll +2025-01-14T15:09:12.488529Z  INFO prove_core: 27264 xor +2025-01-14T15:09:12.488531Z  INFO prove_core: 26347 srl +2025-01-14T15:09:12.488533Z  INFO prove_core: 26315 bltu +2025-01-14T15:09:12.488534Z  INFO prove_core: 25608 or +2025-01-14T15:09:12.488536Z  INFO prove_core: 18846 sltu +2025-01-14T15:09:12.488538Z  INFO prove_core: 8513 bne +2025-01-14T15:09:12.488539Z  INFO prove_core: 7685 beq +2025-01-14T15:09:12.488540Z  INFO prove_core: 6409 bgeu +2025-01-14T15:09:12.488542Z  INFO prove_core: 3656 jal +2025-01-14T15:09:12.488543Z  INFO prove_core: 2175 sub +2025-01-14T15:09:12.488544Z  INFO prove_core: 1421 and +2025-01-14T15:09:12.488546Z  INFO prove_core: 1266 jalr +2025-01-14T15:09:12.488547Z  INFO prove_core: 636 auipc +2025-01-14T15:09:12.488548Z  INFO prove_core: 380 sb +2025-01-14T15:09:12.488549Z  INFO prove_core: 327 mul +2025-01-14T15:09:12.488551Z  INFO prove_core: 143 lbu +2025-01-14T15:09:12.488552Z  INFO prove_core: 62 mulhu +2025-01-14T15:09:12.488553Z  INFO prove_core: 33 blt +2025-01-14T15:09:12.488555Z  INFO prove_core: 20 ecall +2025-01-14T15:09:12.488557Z  INFO prove_core: 4 lb +2025-01-14T15:09:12.488558Z  INFO prove_core: 3 divu +2025-01-14T15:09:12.488559Z  INFO prove_core: 1 bge +2025-01-14T15:09:12.488562Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:09:12.488566Z  INFO prove_core: 8 commit +2025-01-14T15:09:12.488568Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:09:12.488570Z  INFO prove_core: 1 halt +2025-01-14T15:09:12.488571Z  INFO prove_core: 1 write +2025-01-14T15:09:12.488573Z  INFO prove_core: 1 hint_len +2025-01-14T15:09:12.488574Z  INFO prove_core: 1 hint_read +2025-01-14T15:09:12.488582Z  INFO prove_core: summary: cycles=560449, e2e=15.757580669s, khz=35.57 +2025-01-14T15:09:12.494789Z  INFO prove_core: close time.busy=15.5s time.idle=215ms +Successfully generated proof! +2025-01-14T15:09:12.735413Z  INFO verify: close time.busy=227ms time.idle=1.37µs +Successfully verified proof! diff --git a/sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/output_time b/sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/output_time new file mode 100644 index 00000000..3692458f --- /dev/null +++ b/sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=1972 --prove" + User time (seconds): 429.14 + System time (seconds): 28.15 + Percent of CPU this job got: 2320% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:19.70 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 8250116 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 5085861 + Voluntary context switches: 216845 + Involuntary context switches: 42181 + Swaps: 0 + File system inputs: 0 + File system outputs: 848 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/hints b/sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/hints new file mode 100644 index 0000000000000000000000000000000000000000..5d59a7c674cfbf4c85bce84408a4b04a80793b27 GIT binary patch literal 32 OcmWe(Km}XaQTYH4NdV9Q literal 0 HcmV?d00001 diff --git a/sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/output_time b/sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/output_time new file mode 100644 index 00000000..dd91dde1 --- /dev/null +++ b/sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 331.96 + System time (seconds): 32.84 + Percent of CPU this job got: 2419% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:15.07 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 2100304 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 1434377 + Voluntary context switches: 712673 + Involuntary context switches: 130075 + Swaps: 0 + File system inputs: 0 + File system outputs: 32 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/log b/sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/log new file mode 100644 index 00000000..4c483e9a --- /dev/null +++ b/sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/log @@ -0,0 +1,110 @@ +2025-01-14T15:09:30.398150Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:09:30.857190Z  INFO vk verification: true +n: 24294 +2025-01-14T15:09:33.189115Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:09:33.437105Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:09:34.662302Z  INFO prove_core: deferred 1 records +2025-01-14T15:09:35.057067Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T15:09:35.057090Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:09:35.057093Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:09:35.057094Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:09:35.057096Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T15:09:35.057099Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:09:35.057101Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:09:35.057102Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T15:09:35.057103Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:09:35.057105Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:09:35.057106Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T15:09:35.057107Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T15:09:35.057108Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T15:09:35.057110Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:09:35.057111Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:09:35.057112Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:09:35.057495Z  INFO prove_core: Shard Lifted: Index=2, Cluster=54 +2025-01-14T15:09:35.057500Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:09:35.057501Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:09:35.057502Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:09:35.057503Z  INFO prove_core: Chip Bitwise: 18 -> 18 +2025-01-14T15:09:35.057505Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T15:09:35.057506Z  INFO prove_core: Chip ShiftRight: 17 -> 17 +2025-01-14T15:09:35.057507Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:09:35.057509Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:09:35.057510Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:09:35.057511Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:09:35.057512Z  INFO prove_core: Chip Auipc: 11 -> 18 +2025-01-14T15:09:35.057514Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T15:09:35.057515Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:09:35.057516Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:09:35.057716Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179 +2025-01-14T15:09:35.057720Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:09:35.057721Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:09:35.057722Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:09:35.057723Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:09:35.057725Z  INFO prove_core: Chip ShiftRight: 11 -> 17 +2025-01-14T15:09:35.057726Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:09:35.057727Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:09:35.057728Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:09:35.057729Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:09:35.057731Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:09:35.057732Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:09:35.057733Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:09:35.057734Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:09:35.057908Z  INFO prove_core: Shard Lifted: Index=4, Cluster=180 +2025-01-14T15:09:35.057912Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:09:35.057913Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:09:35.057915Z  INFO prove_core: Chip Bitwise: 15 -> 17 +2025-01-14T15:09:35.057916Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:09:35.057917Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:09:35.057919Z  INFO prove_core: Chip ShiftLeft: 17 -> 17 +2025-01-14T15:09:35.057920Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:09:35.057921Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:09:35.057922Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T15:09:35.057923Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:09:35.057925Z  INFO prove_core: Chip Branch: 18 -> 19 +2025-01-14T15:09:35.057926Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:09:35.057927Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:09:35.057928Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T15:09:35.057929Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T15:09:35.370143Z  INFO prove_core:generate main traces: close time.busy=312ms time.idle=1.48µs index=0 +2025-01-14T15:10:18.680505Z  INFO prove_core: execution report (totals): total_cycles=8041862, total_syscall_cycles=20, touched_memory_addresses=69313 +2025-01-14T15:10:18.680535Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:10:18.680545Z  INFO prove_core: 2541563 add +2025-01-14T15:10:18.680548Z  INFO prove_core: 1386798 lw +2025-01-14T15:10:18.680550Z  INFO prove_core: 1302425 sw +2025-01-14T15:10:18.680552Z  INFO prove_core: 668484 sll +2025-01-14T15:10:18.680554Z  INFO prove_core: 428745 bltu +2025-01-14T15:10:18.680556Z  INFO prove_core: 324410 sltu +2025-01-14T15:10:18.680557Z  INFO prove_core: 316717 xor +2025-01-14T15:10:18.680559Z  INFO prove_core: 300385 srl +2025-01-14T15:10:18.680561Z  INFO prove_core: 295532 or +2025-01-14T15:10:18.680562Z  INFO prove_core: 154441 bne +2025-01-14T15:10:18.680564Z  INFO prove_core: 100089 bgeu +2025-01-14T15:10:18.680566Z  INFO prove_core: 99140 beq +2025-01-14T15:10:18.680568Z  INFO prove_core: 57198 jal +2025-01-14T15:10:18.680569Z  INFO prove_core: 25232 sub +2025-01-14T15:10:18.680571Z  INFO prove_core: 15677 jalr +2025-01-14T15:10:18.680572Z  INFO prove_core: 12621 and +2025-01-14T15:10:18.680574Z  INFO prove_core: 7842 auipc +2025-01-14T15:10:18.680576Z  INFO prove_core: 2918 mul +2025-01-14T15:10:18.680577Z  INFO prove_core: 538 sb +2025-01-14T15:10:18.680579Z  INFO prove_core: 390 lbu +2025-01-14T15:10:18.680581Z  INFO prove_core: 381 blt +2025-01-14T15:10:18.680582Z  INFO prove_core: 308 mulhu +2025-01-14T15:10:18.680584Z  INFO prove_core: 20 ecall +2025-01-14T15:10:18.680586Z  INFO prove_core: 4 lb +2025-01-14T15:10:18.680587Z  INFO prove_core: 3 divu +2025-01-14T15:10:18.680589Z  INFO prove_core: 1 bge +2025-01-14T15:10:18.680592Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:10:18.680598Z  INFO prove_core: 8 commit +2025-01-14T15:10:18.680600Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:10:18.680602Z  INFO prove_core: 1 halt +2025-01-14T15:10:18.680604Z  INFO prove_core: 1 write +2025-01-14T15:10:18.680605Z  INFO prove_core: 1 hint_len +2025-01-14T15:10:18.680607Z  INFO prove_core: 1 hint_read +2025-01-14T15:10:18.680614Z  INFO prove_core: summary: cycles=8041862, e2e=45.492180165s, khz=176.77 +2025-01-14T15:10:18.686790Z  INFO prove_core: close time.busy=43.6s time.idle=1.94s +Successfully generated proof! +2025-01-14T15:10:19.580933Z  INFO verify: close time.busy=886ms time.idle=1.73µs +Successfully verified proof! diff --git a/sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/output_time b/sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/output_time new file mode 100644 index 00000000..a5b1270a --- /dev/null +++ b/sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=24294 --prove" + User time (seconds): 2534.95 + System time (seconds): 89.33 + Percent of CPU this job got: 5203% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:50.43 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 41810004 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 23293104 + Voluntary context switches: 628242 + Involuntary context switches: 127128 + Swaps: 0 + File system inputs: 0 + File system outputs: 976 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/24294-2025-01-14T15:10:20,437255607+00:00/ceno/hints b/sorting-output/24294-2025-01-14T15:10:20,437255607+00:00/ceno/hints new file mode 100644 index 0000000000000000000000000000000000000000..a24ffa3987fbfd14f21f36e32d09f2a0daa36cc5 GIT binary patch literal 32 OcmWe(Kn2g@Q278Bf&p0o literal 0 HcmV?d00001 diff --git a/sorting-output/24294-2025-01-14T15:10:20,437255607+00:00/ceno/output_time b/sorting-output/24294-2025-01-14T15:10:20,437255607+00:00/ceno/output_time new file mode 100644 index 00000000..ea6a7432 --- /dev/null +++ b/sorting-output/24294-2025-01-14T15:10:20,437255607+00:00/ceno/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/24294-2025-01-14T15:10:20,437255607+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 1228.28 + System time (seconds): 81.66 + Percent of CPU this job got: 3593% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:36.44 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 14553036 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 9498594 + Voluntary context switches: 1154737 + Involuntary context switches: 208784 + Swaps: 0 + File system inputs: 0 + File system outputs: 32 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/32352-2025-01-14T15:08:09,430264855+00:00/ceno/output_time b/sorting-output/32352-2025-01-14T15:08:09,430264855+00:00/ceno/output_time index e69de29b..7de8920b 100644 --- a/sorting-output/32352-2025-01-14T15:08:09,430264855+00:00/ceno/output_time +++ b/sorting-output/32352-2025-01-14T15:08:09,430264855+00:00/ceno/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/32352-2025-01-14T15:08:09,430264855+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 1484.84 + System time (seconds): 103.16 + Percent of CPU this job got: 3729% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:42.57 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 19594312 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 13770510 + Voluntary context switches: 1238629 + Involuntary context switches: 258067 + Swaps: 0 + File system inputs: 0 + File system outputs: 32 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0