From 8583961d69694325debbe043881a215e24a1d7d5 Mon Sep 17 00:00:00 2001 From: Matthias Goergens Date: Tue, 14 Jan 2025 15:17:50 +0000 Subject: [PATCH] More data --- plotting/ceno.data | 4 + plotting/sp1.data | 5 +- plotting/sp1_ceno_scatter.png | Bin 26716 -> 26666 bytes run_sorting | 2 +- .../sp1/log | 40 ++++++ .../sp1/output_time | 23 ++++ .../ceno/hints | Bin 0 -> 32 bytes .../ceno/output_time | 23 ++++ .../ceno/hints | Bin 0 -> 32 bytes .../ceno/output_time | 0 .../ceno/hints | Bin 0 -> 32 bytes .../ceno/output_time | 23 ++++ .../sp1/log | 124 ++++++++++++++++++ .../sp1/output_time | 23 ++++ .../sp1/log | 84 ++++++++++++ .../sp1/output_time | 24 ++++ .../ceno/hints | Bin 0 -> 32 bytes .../ceno/output_time | 23 ++++ .../sp1/log | 82 ++++++++++++ .../sp1/output_time | 23 ++++ 20 files changed, 501 insertions(+), 2 deletions(-) create mode 100644 sorting-output/11146-2025-01-14T15:13:53,418474099+00:00/ceno/hints create mode 100644 sorting-output/11146-2025-01-14T15:13:53,418474099+00:00/ceno/output_time create mode 100644 sorting-output/23353-2025-01-14T15:17:29,046220116+00:00/ceno/hints create mode 100644 sorting-output/23353-2025-01-14T15:17:29,046220116+00:00/ceno/output_time create mode 100644 sorting-output/27031-2025-01-14T15:15:15,009493607+00:00/ceno/hints create mode 100644 sorting-output/27031-2025-01-14T15:15:15,009493607+00:00/ceno/output_time create mode 100644 sorting-output/27031-2025-01-14T15:15:55,063010107+00:00/sp1/log create mode 100644 sorting-output/27031-2025-01-14T15:15:55,063010107+00:00/sp1/output_time create mode 100644 sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/log create mode 100644 sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/output_time create mode 100644 sorting-output/8997-2025-01-14T15:14:18,626143567+00:00/ceno/hints create mode 100644 sorting-output/8997-2025-01-14T15:14:18,626143567+00:00/ceno/output_time create mode 100644 sorting-output/8997-2025-01-14T15:14:40,969777275+00:00/sp1/log create mode 100644 sorting-output/8997-2025-01-14T15:14:40,969777275+00:00/sp1/output_time diff --git a/plotting/ceno.data b/plotting/ceno.data index 85f4e3f..cd53dc3 100644 --- a/plotting/ceno.data +++ b/plotting/ceno.data @@ -282,6 +282,7 @@ 8979 ceno 21.66 8981 ceno 20.69 8992 ceno 21.13 +8997 ceno 21.74 9010 ceno 21.72 9019 ceno 21.29 9050 ceno 20.95 @@ -350,6 +351,7 @@ 11027 ceno 24.17 11071 ceno 23.82 11073 ceno 23.69 +11146 ceno 24.57 11193 ceno 25.2 11196 ceno 24.12 11223 ceno 24.74 @@ -386,12 +388,14 @@ 19264 ceno 31.6 19563 ceno 31.05 20998 ceno 33.36 +23353 ceno 23877 ceno 35.93 24012 ceno 35.28 24294 ceno 36.44 26331 ceno 38.38 26451 ceno 38.32 26603 ceno 39.05 +27031 ceno 39.4 27592 ceno 37.69 29328 ceno 39.19 29750 ceno 42.74 diff --git a/plotting/sp1.data b/plotting/sp1.data index e734c3b..e4d707e 100644 --- a/plotting/sp1.data +++ b/plotting/sp1.data @@ -282,6 +282,7 @@ 8979 sp1 33.27 8981 sp1 32.4 8992 sp1 33.52 +8997 sp1 33.07 9010 sp1 33.11 9019 sp1 33.46 9050 sp1 32.51 @@ -350,7 +351,7 @@ 11027 sp1 36.01 11071 sp1 36.62 11073 sp1 35.96 -11146 sp1 +11146 sp1 36.78 11193 sp1 37.05 11196 sp1 35.92 11223 sp1 36.71 @@ -393,7 +394,9 @@ 26331 sp1 52.22 26451 sp1 52.98 26603 sp1 52.82 +27031 sp1 54.81 27592 sp1 55.8 +29062 sp1 27.68 29328 sp1 56.88 29750 sp1 58.3 30869 sp1 60.78 diff --git a/plotting/sp1_ceno_scatter.png b/plotting/sp1_ceno_scatter.png index d201496de07ef530a68c27cfac94dbb5b0d3a3ae..a8bf5991407ef2764d7e4b6567cc732484a7144a 100644 GIT binary patch delta 23401 zcmY&=cOcaN|M)o$opF>^;;yI^LL!B8l~Adu>~%(Dq>$ZtITA(DLMWA$5r-lxF0-s; z?~rv?*5Rz*^QC%!Kfm`M_wL4HJ|Fw}cp8Kl36e-;=z!NF(LJ^P01bEGYz5 z3)%I>#>t#wLUO$8cob?)13`GwE;AE8d3kMfb}80MX>Ma_v*=f&I7!WTZS}DlB)a6d zv2j%wS1G9abk1TizYuFae?D^mV$^~0gq>uYO5DKu6EjlZ%9~cq!7Ao!ohn^+hx$|T zQV?o%yf-*>sjpOjeX7!KddYD$*34I}c*Cd_bNF-ihJEimGh$7pFRQwJp_ij^fgu`f znmL{z^sGfJVr|`WLo3vvyLxy7@+aKErRF8fyZB5U6=Ra&2D+hnN%U}O!3KTqYq-3aR$IdvQsiaSbBj&n8?b6tGpN&mk9cXQI z_%RYbl9D9IU`E)cazFMl-^lWNUOKW;A{jBd532p<9zOSR>2Yblj74vMR&jmY<;`-d zRx#hB7O#|0bAC)R=D(oy#{B-ywFn3IVZR%%GIg}Q^spZ1Wm@x>L^C-O8N9=jda6OK ziT04!dTxxxLFlO3!-P)=VzTS&-+n7=rE{D2Q)U9*MMh2_4~kxBP9vyj;_Qtt3S9^z zh7s$V5kn7dC#ON!9xRz=M((=;AWEAsw1wkkkF+NaUSAI+#Fav_+T+;c2~`6=Y#NxMuUE%jqkMJqo^n5 z3`bm)Pj-UeBSyC`W(i$k#BAUE0X~b3pH^JIeq@lHR@*rdto#SI_chP?CoQGZ*PmEq z&9wJU46kgYKuXtB@pH6wXn;-AlHcMA{`9(~e9)rb7gu!p33RP=#A?#&oz<7&3_xpe zcaR?b8tIeXD$)WfTK&B$IFA0c{&aqI-DtDy(1oS)iFmyf5@hYhCxAjCOuWMy__wVL z4?~k*__T!i@O8|9y_P^6h4JnFWsf8kIQ{I4<6V#yxLz{8c%9{@1p=D6?l9&A_vho6f&1qc7|6axAqt5 z?A%Fmae6{AD@pFN#Lb}R{ZD=MNtUzEhMQFmf9(>!ri(*xK0O@q^dOr!)PF}>MhiOl z`Ga4~hvkZO7L=8T*9BN~F*97a=RVWsikDv;X2O>JMrRL)dA>KL@z$tbh~1XD)a|Gm z{9NDj$U(s~eOQ%dyKL4UD)mE0jIWFrk=CV9t`dI*^DZs3$X$|zK8BcoZplZ@eG+e< zSiRIHpv4fqWI6#gCY@CXcE36DF0LTUYC%`6esRumTg53dqHOOs)MXKu#p1-?_1iCf zb4SB7miu$1BNC+}<_yyrN*OfY_$cR$**aRv*?C$`=1mD6L`sq=ZupR=+=pnXh*brd zD%`j_`I)@Y@MD80ntAcKZ=y?m^DpnL_(5Zlpv57i>&yrWXy9x;o&QRC_Q8&A zGvl|(SF4F;wIiR*UtJ`(XzKGi#PEM-gL*@OSRMX?gZy0=XsAi z&zDACG_Q5}wJSi7N^NLS)Xg@F`j^P#0={I-y`3D6b##}Z&dD#1 zy@?)h5OwH(-{01#d*`Y-b=^o`XK}1~C3Dc=Vl(4{e>zlf1&5Fd%_4|KY5FvZMtLB| zX<-D~#1oaY7fE@%=Y|d6?mBXGCJ&?6IGg#zb=fuRK=K34&|0Eu+I)Syw~_H;EW^_% z`t4g?oNaLXmc!}_Xk89x{noyjiacAWnKL0TlT^wf{xz3oy#FFuypoih##@v7X}kVL zM!z^7GH}}@BaicKNqz@)Ipcy&xa-__Q>kXlCqm!p2Og~H4BA95DWCMNq*Rk}IBd<; zd+Fh7ojduN#mm;4tN{FGvoLbJ@43!}YXw&f zmlD0dr8(y?>VG;+^RXiqDh+UrDi^W}pmq?`*O#JHYSTwPrw{gWR}SP?ZueeyUd{7) zG(q4971Y`$u06O-qm6 zv5pxwa>qH(102RvHQ#)EpsV4QnXTDIQC4YbjLh@ytd_G?6AsgAI=EnHFKl)9DTH(3 zYfJ6o(^G116G3>Ogm{n><1ZcxV?iOyD25#3iv{S`p;5D1O!EIJI$I!wYZt`!&k4{r z=hs9KvSG-x->g3##%9eH-TMxVx9$v?FX}=;^7u#PB-PyyOPT+2zYCqHR7!!CmlmW? zw>1F|C~||H@D%Ov{cI7mxc%Xj=K^*-0`00_MO)WTi?(_PN!9@Tl**FiA084Bv@fMe z#h*B5#7cUa7kYPBmY_>58rNIb=I_@5qUY(U7__(xI`Q)ZtK)kMEG8VO(8~^==bNkA zLo@!~%pktyx=~7Kfe`X+*TD=;dNJP;|JMf-H~3LM%+)4B+b2w*kTsFt7Vm*}Iu$zn z7EhA-V$Lk&Nd5S5Frr^9!eDq_a10jLvXSwcfUdMG4qqMCeNR@2MV^%@Z6kz*5fDPz zH%U6UB+bYu1CmVUkl%$EzU5cmNoq0XuV!StKVaK88)ho)_c;2QfGCyxCgLovI)9)GKWUbw)v%zl|`bAcLU*_*HL5gqb4Jg$=}3~=EY(Kpkw()&ye zOJXe#^_`Ug(ZL*lnOmqU_T+OtNGJR#Z7DYRhvux;Y*X%9gPp2gtDk!p$#g?m+V9s( zWYZatjAF-sGD0#5556XP%3p2QyF}wiFKXA5!Ake5q@5ez^+w06^pIQsjOd{(NB7c{ z*5AYCmoDlV6cw7rv_7H@F?Jc29^T>%p>un3Qtx06@}R|3{N@!i163$hCS%&Xl_D8Y zwc0z$n2z|dxgixHo|XAhNg^WAZ0Z*9tATr$5mtOBN$Li;)(H=i+2Tmr)oJ(EYSf(Q z<=gr4Sr>>~%C zzzX;V%0Xi@gOY4@f@qcoiCRT_%i23Bx(yn(C2p%^I83@)a{@5L~xPe?ckYwa-Nl#p( zXMEQ3UDPq+s=PjIbiu4OFxt^G+Q7SuXo73cd2;a?fe?L6 z2UJP}0cZ5E0%-B|+m|g_BqC13R_+&)f#>9_5exT3?7fUb@TnVMS<&JSz;oEezA!pI zK!jUO5U?eg9Eky|)AeZo4t~5J3=cp#>sekOw{j z?v8uPmcR@sEj7FkAv!ed*3O2RREo0&gb}xnHf?=5|J!&6wI%Lov=huu-0e{T4OxX0 z&g2tYcz;U#ScCxLGRqGW0P(=Haz}fXD{gs28qCA3yq6|e04y23JgIjd$>iT_^bVHI z!!7~Djhzh&#d-dK@bOcpH!#$e4sP2lJOr5TAXfrz5kxmdm<=lZch}y4)a+e#4lrWF-hyrWgNc_Xx6Z=k zh$$ANFQ@9;@OK@%%@43NpO)pXpL||G0~+kp zoUl+t559BYyh8haem7I5vP$qkH*J@gz+oHy(y;S0+@=U>BZAgwbjcx*gm@b6Z?QWm z@eCjp$QqxB6k=C=h@7?cz~VsKs-!hv%lZ{af??PrvtpK+z_Cueq`>N_dvt1B@;&10 ziaGWR^>YHD_(d-pJNO`bMS&5)Mdtv&bc}PIOM~EI%=JJf25rNdo1g=8qOwLiEgOyf zPZ|M^{-$74SqmVylnd=^IvT*v>teT|js$k@ z?$ll)$%~~(@5@?oFTgq2Rlp3_3RAeTv7y%r5mOT(z$VG3xqFfbiryNCj;52Nz$Ri< zti`Q%nX|!BySs&T(M6qNCZH$5bJJzAM;JzXXX#HShDH-+KM0av`?l}tWF+T z=8`C5e1sPIiQ`v{+N-FeXLEdwKbvg=)`Z3x5t0#Ws*^QYXN@CkNQr@}7loUvHM=x_{v?f^)Tu|Y67D;mvgH|SQMACxizRVAfNF$>d1 zs1kK2a|$+@&6MV=ZK!XI$^`UVK2?Kw*SOd2Z(cIOc5iTA*?hQYK4|dll7~zRrSIkr z?jh9cnySfG-L~SMl+L6Rk7a9*Kj!flrCEy{zBV`o&5T(PC1DCW^fXMaN!Wjf6_njS zRz4|^KtROt<{B^or)~&lum}8SLnb#y8L~x{K(&87sN-BwIKIwV4y5Z;Szmr`6!NF~ zyYLA3d(Ag6flBWGpMdo3jNZ7)*JWjEjx@hSUstXKiniV@v?{5w9k&vTR^we{#;A06=p+iSvIoN8KvG)ry zYtwy)DF=tf^!i)^o)eta^|yF#O|qA~GI}2{cK&Cytt0#weT)|^y?{OuE!SIvEdfW; zEs*BXe<$QNO?>db`gR+E-*5fiMyqY>_q;8dPXGP<2hpX`oK!-3)+wz4C>CKr3OyKD zX@=#~DsE)|Ik`70+^wg~12D%^)G;xnf1J_Yf&F*54FXbhkO!|ohS_*)@vZZ9%Oq|G zF}h+k3~}*%0^X4M{?bmSxM$}`as2dJP$@d;Nw3IVtt_FHGYysSXTHyAC#xwOTd7aI#zJ9 zyT8!vN9{nmQ1b7rjf_M8(+MX_Y$k@8n*4(6-zhxwqhJy+>qKlc_z2M<_|(7_crU$T zFnG^Dz36h&KjNPSlCD9D|G7&c)h`U6hxSb&z@2EzJJcj1-v3Ju z8izXK7!hd2V5pP$4^#pbtH97fD~5uP*!|z{#(M|d0JfUvvNp)32+Ou*(+`Opw9{f8 zNZY`FaUp@nscG!=o{qinM~G9_b2M?FYD-;g%E`Y#F`ok8zY7O1#Q&34j?F}Y5po>r zIP?e1a*k#LgXv&XPX7bb3Vfdx4qoj34@{SpLyi%0#E^XpO5d7Jivv)Sx>&n2|Db9D zg3`mmi}n9Np*W5+LJk>fZ9xeD7JC2`2Y`b9Ictnz04ggSy!;O_7nW|~0xkf^*uC4Ss7W&#d7q+LH~jzr z?i`FO@oCrCcRy$ANWDTo;?F^|kKi|dvV6TIH7_$9amBEgAim$$^US{zgd3f=J{G9J zqX0q%M)#8WqPii@7UeqisLiK)BkIe94>RuV1+@ihzLborfn?!$r)CDD6^xNEJ-qFs{6apC` z)SMc=eaeLsW(+QUoUoIx8ASAXu77YQY|2gxC&}+XQSzx`f7UH=5I_SN{%ZdL2u*e{ zh@oK2^(Q3SLb*iEM)T|~9?xmEvn>E#(JgGYaK#1}KJ^0Bx9>1{(YyZX0`yNd^as+( zz`z?0KVkTbqFI!V(U`Zg6kPM|x1qeF1;XF|DHCIEQ9;L3m_YRZs z*Px;37#`}|jQ^$3#ul1`@34Y@czZAdGxmny|MU%>=Rb$nM}^*|r&auqo*xk9+SyFB zF(_o5M$aOXDj)l;?JaDl{*&P?QMaXfYBiyEhB3NlOH3X@u)b2YE_ zypnU+%J1?rhT@>JPo{*y7{4A~DLN*)vbw&i3d*HF6{A}~zqm&& zw82ZT`WA2R;)d_)(4}9{#@=NS#g%zM>ddX4_(DAQrt0!jq1BriOWR9}2|sETNT#A- zO0q3@7ODGKm_%p-@@cyBLHbW@k002MJR+d zR&Adj4RVa^nSA`~U?dag{WQGNjqfV|%_2TenTX|A0V===g^Pe z68xc0*~{eXa3}}PBaoZQkmYsyKN6ws3uEO33g}8<5Gw$ZK=4=6#fFIf&3a1K;aFta`Io86iWIzf;0ovj{s2J4+26t>khMUm z&d1Kfu|Eq3JbREpB5?mDp&PA>HKyAB2SMbG-bzy(Fp08(=#qf_z_mLf7hSr?yvhHn z*XkGxtbBkye@Kl$Y~z1tscC!!I9trGIwx0Le1O9~6KQL($2i^pQ%+C< zr7|(el&xQG1=C3$Ne$pUyI>poiHKWa;*j7WdbY4R{SBl}cIgvhZN#n9*y_+IW+)+2 z#ZD;%Jk$3Vk@H5K2N1^q#NVFI=>U}`mIo23VC?Y6#3^PhyGa%NQn)`Lvfijr0OAHf z{w4?~YwCnpB#{aq`5z(|Zpbo1#5!0(FN9=L{O}I{A=5u(2RNiDDPdspJbyEAhkoQm z^Yud!<$*VXi2q{H4eNoyV5pjO9fT#g!ts~RFjBTdbL<5~nbWyT-V$(syA8@uebIv2 zT_Fl^`rNWT4yXC~hJSFcKRIn{2t+cSdW*lc_wP9eW!`@cH}A_HIPv|L@jmPXphxB_)W*fI85bN>G;_Q1+of!Vp3lb{Tz~J~5S zhTqoHUZ{>8e{EKNS=767SIzeSe6KEclU&q~wh={FAhyC#``dZEv!vu*Xhl+Lex|>) z9%4lymyPbU9q0G&U6;JEVg0u*ozEUj+ehWNE1hgRO5F4S9gGdDhqD4xpmbKa^rHl; zPN%Obs3me2kH$wprx7RN%2- zF|pjFYk@II2UO5{mtA0ZofRCWBF00@7gRXEFN7^Jaqeyr-G)Nm(IDacsy}L;+M2x8 zevY~ngA)+E|#d74}OWbVwH)(-G2*nA(Vi>6>Tuz zc+BO)KOA3(vv9Vok0WNyL6C)dGoS-c=VH!K2eZJjzcQklXUVJ&^oyFGegVq!*9kgU z*(tpjYdyu;)s1ho5q#|5U*mbmm_<2ggf^kGACx1)<&FySf#WSOUWP)%%7keDy(3f* zC_4&T>(I$puugKS@&Om5&7@2f>{yVKr&95^4u@h2tspLz4(3JjcccjO$H54*M_(Rr z093E23$&q06YWzoo0~Em0?pg7Sb$4vsz>zzX1@V8rQd3A4}Zu$>fp`ryGZKSZEb9P z87iy})RP9jb%qaha7uC|osu<%=GfZgOuC^w7Iyhv=0z8Uwe#>7iz=VhnK9dI@YD+8 zJs>3q&$}Sz*pE&hca&{qD9s35`4O)>w~cPxD!LkXOz9N)XWZ=xW{vl%V-I-QDVWYq zNg=)b>IY~dm$>u2d+nrAj%0J}Xtx#3kHxXex_&}U)AG!8hH`%9C2GaQ&|MSlzI)SwNio79D*5*e^n z$;Ua2Dq0HFX_4ZthrW7b#3z*`~~#;saNwa@(C$=(5|L!jNQ00i4uR zR6z7g%aOD*(lL6?ZI&4SCkEaNSj2!B z*&@NV>ht}%DYm!WlQNioY2Tt%)?T6oLphnbU8*;={g)E50PYie5d4jRDe*NH_RE~r6%dtDfTaK zfy`Ueh$*54E%2a}!Xc_{e(*U;=bunHOtjF1^VEIf`6|)v)X3L_*NzR3iz3l1!IreN zo5Qv1>x>NppHiD}okn)A!3qd78A=y2T5{d|#D{v)+dR6DYd(w@w0itp^dh`^;JOBd zIm015I`DnY^f11$AN53F__1oaigg8;89brh(ZGTi9w$%9YSCF%6Z=+x-&osHb#AcN z7ZkI1WPO7~ecUH)D~@11P`7Q?LT~&qmO^YrNV;JshZE9jL_Z>j&^^9L;>5ScnD~1NER}4Wj|DGtXu~i9l97aA;9YhO!e-O30niLT(@OL2h z`#?v$1D&?qAE?&0d34HUVTN}gzVG~6;YNW$@a%p&r7*!@>sjU^VsE)Y#ExybYn%tR zLmMLN98PEUbxbmJwkZlz^FEyMRp)i$F#QIPcnD%00ZqXg6cl^ji-%RB)ok7DC?rbT z+|swsv|fXZ^J`(t)AW@hY_*;bRXYY5A*vl#EF8{5^nar{GH822At2&}3aFoT*jTx~ znkos;PfpfF7k_ccg61Hsocl*4Dj$z-*UZoF0nV_mob(h#0(9~&|ts|!0x z1Nby;(xHx@L+wXjbV~n8tm?ZamnQj9R`nWi>-cLF{$>QsIlb^$`|oxvek(@U{BP!^ z7$sZYfkxXrrPFrgh%h$jUC$7`;PbojV(|FI;8m6*b2M*TH^!Tx5RL42PLYU7;nqxtpMN6v%Pd7Lte;7Rq@$&IaudFL1)ws+!HWi^5g&%)b_S!; z$)#G-hL_FR7`8hay0%MX(7VT%JlJP=izRk+IXk#hn!Y-`;ZvZ}ye9g4Cs|HFjdFje zyZlJ}j&0bp3{FN^8P6hF8u~8UJ$QLPT>gr&=UpJF^Ee5!%C114Wk_ zb=gsG;U>S{Ttw7Kl4T;+R4Lqn_H9yNb=Eb$FLy%h0=Cg{S~>Ju9)ZFI=;)KioZI*6 zehj{*W-*OjT66s>zj+1>Bjt6l?5~x)DXL6&=^YqHxafvXVL0<{z_p4L*t6LuCw)f= z9zVjy_me_22?vd+g8-W&TKpSbYin-CW;us`b2ZmM+iWTvN!{}f!*WIHRkLXDpE^{O z$0;7}uZ?zPIEQ=5ggAPHdYgVr{N*bEM6g>T`aax3h`J&K3s`C~4b4PNzB23Ej9b5V znf>lpNtT4~qLJQwT5@!+zNaap(kCS%nhkGXa-}i9`7RnfUx?MZY}(Mf^kCYSqheCx zwhQGea;5K3QRYifJJoH=D^#TyhrR|T=%V?>mF0;%QmzOyX@FD4`hW^*NJOfpW2l-` zclt?*}uw7ubJA!1Ax`l$y+0 z@q@>y-n+p96bDnh?z2u3(VN_&;3BM|7}I;=`U0pJ=OI5> zu-B(cGkxy58s2p(4wPyqqRDUsP-$Q;c!tC$NaU`T%@Ip@wN___1l1gz

&Lo#Jjd zdxSzOyQ@slD`AwMib}TaB6nM&OTHXZ>?%KUc=XY}Z`SXh6sr1&ML27OGRk&+2=>PU zw{Uc|M5kMM@D+-8NV{|mwW)2SIXq#%xZ5T)bv$6FBkUQ~wWOFfc|-emb}iRDu!dK0 z(`$M+(dmaG*x}Jg3b$>B>h^Njf!3ks70+n9yGkjl$!B!2-)*u~rB)X~`1lo$yka=k z6LT;_e7w(56W78P`Bt@J&8MJo?!5U=V?z(kH&E^jr@N#6_ouc@;`Rq}_NIYJc%69p zl;!PE@0V=b*LI!(cWxv6S|vJt%5LC-J%m=iARu4k>?^L3Z%7@|UijG<(gEF(j2IZb zm+}gO>3Nup$5q_+H5_q~&UnFfiX5_X+wR>+^A7A%Y0}EOjPOgBK8|gSE1}A-7>sy_ z5puk_tnvuJaStR@oS)7-YQ*2fI%{I%owdBw$)JFEvR?-3cEmIhOJ8tReWbtxC%iz- z4W*Xr4Rd3HTE4$BbD!ZM#vVQ`LK;=$*iWHHs#gQoZ4^6ZqI@rkf0(f*e~K@1M;&2A zIxol>;nZxu-V#_hK^$>QY8)EgaA};Dx6PK|abLGj!=MHo+8S;K&djKe+m;@_y5M~3 zqHpw1m;H=kMzOilj^1gB+k2zk+|#L-SG;gdQhuM}ZP1Qaa;Py3X!(QFVc|)^T&ha= z7oT5$&9sp4r9=%))|YCU3}FHifX#Jkwpby;msQ;3jZGfQP%{puv!==(NB>TUeV z%}CL}*w}tn$I+mT``CUoiv%|nl(Hr&U>zva%5_l<3$`d)q272Yo~85mM!7BvFF&Bm zRu8E}s1(^jf}47`bHUOdUl+Pdq(>bEMo!Hr}KQpVfGD zOy1#05vGNzasJoEV9u&N^$MPz>k6Z}pDPF3ly7`@o7}_ev@MtVDM|VSF!q(kpSHR; zs=@6$ciSt)n!4v^q6fCyeie&%IVpu!*T4BAO)>)7DDRO)zxo#FVUKB65onq@OSj?e z{Vnm~#g|==2v3~9q#X-tH9hLmZsEFZ!bHk>_-vqj_vyVI+ie5AMXG!UWcw<9$V4J+>8ju$|z1-vpQc z_2k#!+Q^F9N$4Xy`gY@Yqv(OI8zOM?^oC~nesIqJ*;MMWElQetDZ@983zbt5W6&s+ z0`+vO>oGs}(68M|T5I1Fcx~rObC^@ilLf8UNZ2WZ&psOT!PU{-S>0UfPe#hs2XYLa z)-?#L3r!AvsUB0z>sJ?&;>@Mq5opQ{JG1cXJXxDg&3_W|p76xRie>N)8L}k_ZDc9t z5iO$XSM#&i59bl7(Ohu&UW-XtQTQqUK-l8;tp)xo7;ZfFMPF9SrFX{Ij_RerOrQMh zpyQ%ZN4&+4dx}r4${|_#wUE}UJkr}FeA2$Pd{B*P`w0C5jlK2=s~sg zji=RaRVNMkw4T}d)VVlj7OciQvpR*)3FSi$#VZP2t6^``bfI@{H>j6XU4+Bc7zTw8 z>niy4RT&|R$LKa5eLri6v3a1QeAwuXTRLCmjT^?xn)VAVp7LdwZSrO#?Wcv3R3nb8 zSxkYs{i{OIiqHBMKqFvHdP3x_ay~)a{Nc-wnEU;L%9aDnVtARQaL0yq!nyK^=0`pQ zig6u<4>K=ALIr(4yw^$(dz|tmKB(qOnyX#sUD(;$B9l-rPY1m_E-stuEOjgJ`vVbdoSTT-5tG9PQ{k-Y> zuwif3_vxNC?jD6zi>c34kKMkY*od2SC%PeOJvg zL`WZyP4G<07WKL+ z7fo?ZL9LrCm6QBF(FFlAS?RO;Z8NKi=s~`&XvZAF_IxSlsdkax-3p^iDfpjnRb>OK zEBWR@sk3I#lyEpgA*S4`_lmMlIHZLAq-pKm&s$CNezUqR)gBC-xIRFnR}>^^QPdMS z>iv>`Kx-q=@>^r6FGjxx^J-~NHE|_;1NW3}JDegDy2UI*$7fB|F^sUT&PLYHNUn_gv?d?8}jXmT&cXf@gE|$ejD%X>g5ls&t8YZaRK`wf(qs7jyc{$;iovWfh9AD zwMjbS=7^xyyxyY7yQ8ju%gB`MSiVvQQRr<%`4rO3W?i; z{9bq1r{1f^Esfv>s(!H;J>diatei3Sxpwk*4Dsv4@Pg*r6eup;a!k51<$BmgxWp9? zMI=r<&?SGuMlQlX;riL{RIPXzGD1)(Np`==!j&Cs;PW z>MIULWTGHO`Fg~=obk*>ZJ!Odx1%_(HwzbqMut7&pLm&t3~lLR4uC6nnfB4eK}g|@ zB|xkcoENOw{UmFqCkZzjrwyXn25KJ&oXFS5%}q{m9`hsjS{EymQl` zl=bP2@Lw4w+Apd_wuPRLHq8ZAk6B7;EaG|kP= zHZAO`nL7PKy?}M@Bd8vV=Tl{NYZM&EbXn6&yIf>BrXI&RgzlW37{=FzN*4H9)bxnHHoAmuxDFPVA!Q&z@R&u~|4!9fcf+cI)D$EE9q2S@Wtc%Zt8$ndI6|=qiuO zD_*_AZlQ^r8mtaZenY5xqk8MLy!p38$p|{x+vzgrg?qh6o2O>4EplrMzm=g)?q!JPhPLr4nooU^`Bi?Ze!8bB(8w{o zVogAP%n9W>fsyMvGYrOeHo+CTI4oYRxOZgQ$t(-J=jAxKQ+V>$@g`l@4cXQ36AYQ984n4^1b5 zM->!z)!p(H>b1HTxMJF%T5B7pDda|8h&<-pU}^aEcT(O`(4sZldvXus*n@K#s3UsV zsROGsEm-ct?~@HTEOQ20DS^sF<8Z`1Z<;CZ`WD;Q%tO9?&pc^hJj%oa3j ztLYnjBB!onDyk=3rwd-z7F^oxr4X0NIEw7F<2zxv4=ZZe!xiPMMzbC~eltPy90<=~ zG}v9PL%|26&KAb`I?n^-wQj55y|V9ABVTM>({RMKdP`27$?{X1f__fhCLl?@mWIFFpL0Wgc5?Jk=e0M@TMx3$><~!B0;~@0hIZC|6CV?AzgV7?AiR z5ZS2^@j}s%d1t-R1%tquGdl#26uCLFtjdA??>N1&AMANxT_kQ+dm(yFl)PYiQYi=}VUNCop3ib;oQw|A-oho|uX)!dxbF8&( z-O|HL#9KBi0Sq+cs7@3xEwDFkBqo8x)xIBfxnw*QFPH7{nLk(AvxU0G-SrZWh9qf3 zN3a@Pt!vm&TCO6tYx)8{4O)`*y(W-yr|j-lblZ@S4dOSQDJ)won&uN&wB)zr{PF;N zW90Xhqn+3&;aGGq!^VosCcZQMN#}t3GwP|hTcXz}Jg^O@MEnFQY6gz==%Y25;TH^X z2#mSzn?-TlB|0dDEkRmC69rM=x^FTl)Qq|t{Y$ptn)`vng&Zc=F@_&ThBqFYeLKIH zymX$lW*^D7uKzT z`XTIhG$Gt9E8o#$^bxoxwGLMbxB*s_;RS{V93`c}5YAp#)X4X3NGGzhjL7oig1HOT zLkyIZ_L5+9=WWdYbzO99XXEudzrc_cImI;8R?=f}xLw>^fQ@0^oj|G=sPRbnzAgdGFzZ;&%@7+!IkKp=C#lssHS$q7r<+`ntoaR2Ukb=OLdT;-)csz+=A z=uYH>!_L3heefQGAS89?=Us`2A$3{EH%Rt6CJtO&N`t05EnKKU=%{jW-@%RzxPsZb zP?es<^E81~)P@pG%IPY&E{3mxgG1ioDZAwjl#Zi+A*B2a3BCxvkbIql?_;np`jiu^ zw^}E7y)2)wN^k<3jH7*rItHx&UhGDYDh;sF!Huryrs-bK z0Fyf}krN#Q;9lq7MX)3o@lKTgZV)+Ycy#J9rE&qjT%Hu`WB3QZm;$49CZ_}foj}rx zRik@7-(-eYI;2H|s?6bn`DB1}Y=KV+eo-@|36xv#MRG`f&?;e44(7`o>ooACI(=^7 z>4fHizw&iID8>K&8gp$v8J}Dw9Itu6UkE(l)DoQW^fW;Wx=mxw{GGy~zuu(4IvP^O zgSO#l2~L#0s0g`SWCweo#Vg^bDz_A&Pq}eeZ_eQ!?&OvMfT{g_FIxo-$e}9M;UQSq zHTX{QkAx9r(Ir1}XRmEPeq9i3cb(M5x+<1_JM4&~fE~vXIdp3V2Gn!?RF6*@(5ir@ z*-Nj``$ynqMYKo3bZ}s;?(%gEjs<8p zU-#W@5_sYfVoz3fZ&m6RXx`d*o0`Yt%&_-7r?>9?;+#S&Cr4I;z@3aPE?v%dU%9$3 zPP7kYC4kD=zW4?TpcAh1f%Wwp4tx%8@pYi1C+2kxahgc^~NCf&mimILU*QOCh9)24N}2l!Z|#PZ~WSzXv!~%w-tN?BHPo>jL~ja62}#ezS{Qo$gwemA7pjlBP4k>nHecoszk$ z{$7+uHna8P%$U=QdrB+uFxp?o1k?r>*CTqJe^Pg`gZsx{2WVpFWU_YPY2@JS1d6|w z4o>YhuyVe%oplMS8yVaxNAsiE;LVTEu69}AaxH*Lqc1mcLHcZ>0VZ|ec?}($1!b8x zDOpup1TsWPyd~fh@K!DLrn=ZNszk&k4H(%WzB;p|<&w{P_?$%l2>wD*&KJypb+)xx zC@vZHZ(VY2tz~Fi&WfEdO%MseppIyeD(=w{Z`H}1Bw%C--#Y@Oox{Nkcv=NEB$9;& z7F@8r3w*!RS6#%3D*)Qksf(O9zhH8v|2thAH%)B+2R0sMbmC$<9*ktmSvY(lEErvrXyx=nXssv0Q)w5Z1pi00TSpRouFvm&x-OZs%NZDp0&Ws-Bp^346 zV8hYsP)BlMJ}_K)!#T%I!1EI=arp#WupmFpoEwNzw!1YHn7M^^Bm?#3SL?2m4Lg5D zm=Su9bKGSZj+gTm#oyb%BfMGE|FgV6%@+o^27aj)v^X9|H8_6s1p`utYI3f?(+se4 zy@Ixx1>q4-!F8m#vBo-hbNN=R+*?oni~lyjuZM_lBbaB-4sGMW`X4+X2{L(YczFgR z-UCl##g+4(TR}`Qb-1P>jq*L5J@`)WPF7p$m$TZJE)VgDdy9M*1+!m8KyU{~lQv)97$dF7S%+V_A-97)dE_YS%i|(>ZLU3xr^Yv~Db4E-7p|xW zf?`I<{R#37-gcLa)dy?tlzlOpw2^n8Gax2T!Zu4aVI+z)N|>NZ(B!*+jIBaXjD}Dna_HQB^PyyB-JEr^C_Hr zG{ao1KF2%SmmkSP{6NT4a``?f@j);n_Ngn@{?h6#R*{k;EA4HX{=WS8Tpvl>Zlkt< zr^#0yhemsmHR+y7>Guy(%Hym;UjQyyIqud*N*ycKK6~?HdBMe^ zdCOyTtp&#=~vL6Jpzaj<-Hm@?0JpdH)XcQzeYQCK7hs6P$`toSwWD zQ{jcGaZI(1!uKa9j+)eQ0w>nPbw7gbHjw!AyhzD@ml@13gkPK2zo)ERE07Bw`r_mV z3a5s3CqUE0e1|^n%a1mmGfg&XlXb96T-BoW0a~2`^>unHLA^ton+@OrvP1&?9VR{D zd%K1FREv2mNs0Ar;U&eXrlK&bxd%BXGo0lDzRC&Lf$Vw&47o6$jtOUsrdO@&IvCU^ z7}J((CLuT`=TfEk0AWc5k*1@;^N*TwL#I8M;$r>Cl;!Np2HQ){%x|z)95>UkoMa+m zXs8@(kadDK+;gu!)tsUq)_YqqEuhR0>;T(_*9B`b6EL}}gd*0t_xMK}`=Y?z8K@qe zWQUQKbB98l^=S$jJi~MZ<#;bJ;Zu%~Ny0d9YpNt-RYy948RS`s4_s~L)8DjwJNm8K zKskGzyjzYz`Gk4qW&mZ;*GCdhGEY73=&{-d2Sx21LUb{@ssw#DcWuD*T9lXv)1Cc> za3J~h>iTq@>BsavY#R=Uy$1|%)vdu)-Rm>P`!4!^T2c|Ty%nkl^951HIBagw=E(^d z$h#FR66M%q771opM4kXd zzMZ=u<;Qa5(_Cx1su@LOqNK~(Cw%<^Qw4ysKX4g5ULy(4rz}OxV=*iC`nAx9K&Vb) zlc3i6W)vn1!kk_uknUvq7QS}9aL3j*l#3VsdR9>DxG;2wBy>c`ckQW#6x*$^F^cURF3<{qfysx==*+e$C@*XT3rGrB}h9Ua_ zQ{0uUxi}Eduv$4_o7ceu+<;5KldOIftFHuIG3d3Pt2SX$I#mZe>u$S=;!Vkfn5ws@ z5p~;L$QAlnMuJYhYTU;1`R%a=7hC$Ruz&a$&~jRQQ;J!bC^tH`DSxXo{VdI7Qfy0G zKaiGm2lCDHI~&GFvZgZwd-Hd_=Rue}$RWH7zlOhf`eRCLY1iT-1BkzO5_(gN$lGB_ zzMC0t@_Lk4DClA&;n?y!j^qN*8}g6z0FyFy^!5tb@M8tGx5nz_Uv?Ni>EFA9m- z-<)eAo%wOWUBP`mN=Ws|F@|&=c>Es-XGG4}O>#2EHPOu1CeB@tNxTv6+%fB;kZV|H z#AJ97L}yiRcj032H*UbzcH*pKa(q|waYmHAC*BNOtc>5zfv^otCFr*WH}jW#Q36ZE zHyvoLy}dnVvs#4;5#agZ-A*Fl0mJARFSK|?SG5<*ku_q_^(FGaeRA&wyw48fAzrN? z@5#}i*=D)2<2*Sdw#43fhcow;j8JY3^yn9 ziR26xu(SsK{1EJB`&!v#Slc~&gNgWF0&O$=#-KhV!DwUoDo)aIUzhH66Tx!&7^~>n zIa>QY-!9D$)V4o=0pK+O8F$PpeY5xW*8+4Rz|<_!`@>tFFST)T>?NJoouU9gZ|A@* z6M-9j3H3j5=y8cv5l9z)VW{xwYp`3Q-e!lC?Rx~v?OSA)LZ|yzcIRWNZFb`KRG2Bw zNJlL(0(Ph&SUjA_8CjSmV!BCD$h6Z#>eaUXpAx&%_Dflb&$>f)}uoa9~b4!+l9iwknUZE>wTM9 zO!wnW1(%`;@w~u?$y!fl*HvSh*cX{_uLIHI-(O(Yd9{jYa`r3X=~Hs(#UjaIw}*7d z98yYwI4@#vKl&*m|MyRA98Va&Y8zaKAT-2}W( zpJ+Vlt`iBGsja`U;zl56e0ILCym9N?o0rA3OBRc1;;spTjQ>}~dB!!BglqgH)C~$M zO+?ySK|p$u78^xDMS)O5K*|atO+<{tX;;Fy&DF+iJ`CZK9*XR4ONym1 z_#G%d%#1rsDa*&H1YGv}gC|F6tO1u+(1L`lY-*s z0`R*>M(4PV&Yi{hXjhe)x>+Ot5gPo`BI-u-)#5K7yYkiROK1;(Ntib}uBZ~w>1tLP zFY+7h>}MoiGXBU8Pa=+7lNa42S|7$#U+9SVXu|NDb$XL6ehT=~`Ys7v`0Jw1S#vFUkDbOYte?jR zO+K+l&g8%eVw`_!o-~tlfN#3%7BWI&D60K#<^GhZ#bKG)K@Gp9STVQYKk!%U^TQ8v zv*GFkZkxYVMfxjD?+3=mvMh90mNwIAwgrUs)^}6*t9n(M`;1<;<(-R@UZ1PS5Dxup!Z@NUREoPHUK(;sb=qQ4`dno#K-;TK^oB zCw<7%(10@H+WMn^O>DO)R7?D;#^!GVOdZ&a#3y|fA zMEi0nODzMpkyhzv=P=XbH|pM!8@E}kE;^!xf{Mc|JW>PWZ-39pGGzoZc2TI^Fe5gF zI`LQR3@4B^67ZxL=Gt)oCQrdLaJqtYz>k==pZCW`sVlC7^6(7DeJ~UITOF0tZ8GG} ziXP>Vxo)d}aclY}I^6lGeDIpFWa^7EL!slO^M2708^MHs<4yk^(KAeWHuq^HkS0wP z6hAZA7dNN-6U=X)3&*tGqCTGP9$*bb+<@{jI#9VleF8(|INr4t`R<)KDr(=h_>vSZ ze-Bn85d*L{Yoy{K=N!@W0}b|%3eW= z;pyt;D1FtPrd!nS34l}Lz^6PQel2(G_i0Tj*s`Xr)Bi3eFsslkKHrSV6x02l5*%t5 zNPPS1#?fSS8*^Z-#SVdx2SA=YYE&H5@hK>!BS5S<%qKs?d(H#%ai}}vJVUbOV^R{L z^tA{iqAX$QF`;g&d6k7_MWq;Jh9xM{o-Q_B-8F8mY~x{I=3(H@o^)1*%9QX(cziGo zY?9mNM;#w*RH6*t>~5hJG+J<2R#crg?UhG0wAW?=JJjyqg3isQnlGcn{Xp?)bn_}} zXeRROP(ow#!rjDE7cQFGc&~Gewki{Z1r^0JY>(=P1l=bsUS!#Z|9Rz`NMF&vY}qE| z&AA28F%>paCIh)`{sr-!tu2B>+?z zzhH~_AzD20pRPxC*lX`$Yz4{4<$Yb3{mS`G5b$to6@*)$IbO3Q3Nv`>pv>fS1>6@9Cd}R3kqoI z=|U0uZ`{M5KQ7^JJl~$6b8FwIbq@9oI7ID+_b=n13GgnAihCk?I+{?Nk_D!=w$Q{veXrCIPR6pZRV${zK8*!*8FCjP4REA^Y@rW2Lyv4}z9b^AR?Y6CIP{x~0lkwBcWR~Ix3kuvQ& zSh34N9HEl1&aVL4vbZ{dePr5-b;^i+HEeaHv=Sj(q7t(MAr%aGd0Qo0a3K>zk4=}vG3~aF!!d!xua36Jg({-HlN`dEXzzqZxD(Ty zR3v&0fpD@mowo`0*P@qvlWP=+ADxVm(RRdb&bkOWqNVe0n4VoWplv$v((=AhFC(7b zjD(u}sB`G0@P(js^NAw2*D(o)*FE!~Qe>+T*q(bbQ6yv3feAryD0FSn2K4Zgc%5n6 z308BFe9Xu6Hz;l^1U-Lx6n{A{I(cSl*!AN>HUug2Hmn!^2psLiJ}1>qCY%Cik%>&_ z-{1@Q6lV22u%%G$fycxz^cKXnKk4 z_XDs|uIJjIys}L0lIo@|MZuxvTN8g#0eFR!tVD~~H3Ldvfb6k6qZ7aQ3cP~%xiVqA zLua38y^aV!^cn7BYcLqo!ZrS>Re4YNAe{gQ#p$G2H~2DT*;0ZhVDY#mypn3#T#_l?{|zzIHoA>U^aNM)=nbvj|2#E?pMvCV(V-Z zN8bE?2>MjED7;(7t@2nHKR7AKBe?Jyz&-woqfk=-q2DHKi{~#U3n;lR7G;;^rkkA@ z6}}nOi@aV{LgNb-YxEnKfC1_a*Wh#eyZ8r;8{U%UxsEpB1vHvt9gn#fh&nbOviH9X z-H>jX)T$EqnAY32w2u#BS9aPu#u}Lq4y<(rH-d*q@b~V3AAxVd17wZ3!2AAK<>I95 z@I2J9(xX5&S(__;Vy88b!Tnhe>bLoeK@AN){)#4)iH?#8GhmuT5BgYmuh7 zeb|~dbM}Wz6&;(nm)nj zrRhsZfM4k{N~V7o{<;Au;Yq=9`w2R&V6C)6jTgl2lm7s>b`Vn5O{CS6C+=*FuD8NX zW2}?^%z1jGHago89} zd3R8pqk)B>6_OM4k)<%S_Bs|2#_>nkGf%Ufw?)>IwL!6p&-0Sk4QuCOe6F`@d`Z5IZfUvcq8EXYiqad2kKlu zScGX{&&m~#)o;C0B0BOA1(M|V#;>UNH#WD9SmUDr!@G)A3FBw_hTq{>4i(~4&RDh% z$Uq;+KraU)%GcNyp!w@g{l9nLbgV-(m#)tTO`RYsnBLK)>|CCI*b7XnQ1U1hwL1?$ zl-d|_1e15NW2Q{HG1Va_2=0*O5k!+)i7_Q|)??I{;)9KcZrC8%K$_^RqO>PtE>}`Dy9{O;-R(WCtBNa+Yf6P%l=V#bv_!*eiMo| zVwj;$qzdAWGnyhEu|-&r=2k}4<1C?KDDti*Bc+sshVcEpH!F6mB4kNxVSxSvnjv0h zYpt2|u^62k?>6}XzIlcQ{j@`R4o}kG+*w#bRNWrg+Sn-?X%@q(U*FuWML_rsc?e1o zj~t46bAHWq>-}s|$L7=b=eH)$uiw-}n#gK_00WMiv)+qR=$F}uu&91$*^QD(ZbNkgNKUzuKz$F6*pD=Dox@X~2r zoZ%3eNen8BRsS*6M!EB)3>r9Yk@~ZE{oOjR*Zk~8-)L9#X9vtf(L(X?uB~b(sD^iy>wPtvHy?p_h}IqH?EQuUFi%R23*?)GO+

IX|JDS=`m++BeGcDZ7vSInxfVEkvv)ILoSKQ zTT5DVnGD{hxo47g_T8J8JL#6A***bt%p*Q^10UV`lKf||BXb4yMk^~4u5uq*p#o!a ztw`gCBbRZ-mgV95)}X2386$;(ch}9oSjGbCxGma>`hHv_kCuc?!%|DnDf<~-v66S_ zcC~=A$F#m78oh?akJCh_3W*n6qIR-3p`pnlWZL`DLi9tepLxePnmM&&UT|x2i$-c$ z6a!7sW#h}*F~vqDqfrs)sUxXn#Vfb7(Q%yGvB_Iw9&e|h{VQ5X+8uq`Up(I`ymK?m zct5{uE?$Kuo3{mPbB{-QvX1<)q?;_;2zY3XwJK&<49FkaS|4sRdNGiF%Ab3cJ6Or;3@}O2d|obWCq} ztoZtr?nppv*VFLDzB`tyL_OoG@n_AtWj#7pCGmu~uW66Jy0MG|OrrV&Mw7O|T1r}0 z&##yuT-r*@J1l2Wo7<-gVLs6KW&qSaK)CP|yR`1t<}hH{DHMDTM^k=HB+32UnE+oU z2OkZ>oB)aDUSl1PwsNq?cSS~;M~%hCwI7|r??dwqZcURk|M{a7GX6etpV$52Q*UW# zAcus{24_64#8({}qoJ99&PNxSsH)`3Mzx8 zq}$L#7%ff1RdaM9)T}^56OeY@h7cM+OB44s29|0nT6Cnzs@P8Y>?Ij_dV~FEW#rQX z+q`CU{Px9=)sNbl6%;9WPumo%sjM@0GE?V{xQnyx62%r<4(B?>lv=vXgojjn zY3hVO@Y%~O)|{JY@G!=^*l+l{|1FbqRdVuIq6P+#*xZ*z5O>8Kpm7S$})22d{)Owb_OIBxvci)b35Wfw zusH*;IQuba{Q-=YeDIa=^FOi>HgdF5iqNMG!Q$9-?^YG{iz%7YRH0}$q5r=vm0FOVl`a9$-=N~ zU@5~l@f|6A+3iw&g7(76IhXV4LB3@K8Q7p@CeWQOsm@aJ0Sn~$I|m2VULTK~;?HpE z66&b`c{FmpHf=~LW0vQuBXLttB-juSo%t4)h0wAx0b)@gnIWd&ZmP`mXd%yRc4k{s zL5Q(of69UA81q2k?+BjSo0FP0o1f4sp$l`J}4nzokbWFZtj>Ti31N-RXB)_FgPupTKM z*-z$7cgnp|KkMLuc3H988vnqOTNZz+F?+^HKHjqtQFR{Kq{WwrW;+KI#B`{9JG2ZP zCy{5=aou&B|7f*s}FP*-Ts8kc>`y* zbnyjhw!`sMYS9_U&qI&0hC!blyxRJ`_G!ZQ&*CYPS)t_P+5K943BUOeJDOtSCA`3^ zopbVu+PAt7T00_o!!RHAqlJdEi@DieD~)5#V}K#I7zcvgzZA37_)HZZp1LBzC{KQR z-V{RaG=8Ma(a@AWe2cP{j2v1oXzq2TUlciV*FYzJUrQ{I08658#p|zyNBR~wO9I-5 z&c52<1S+DDn1bhL8F}?#Qhwz+ollv0!^!7HjaZ|qBH@P>F5$e3>y7Kwg}Xe88J>=G zcGTx$&C7}g4mB>4 z^vsh>0&=%=OJ)3IulrmxFd~0W^qv~3o~p80`&1I(cip_TWUbcikF8rIrsBm}-Yw5> zlx_FTs3*Py(z>g06{z*ofK#b5Ts%zo-dd;Oy;;P_%5<9xOIgq;<4>C?{BlwXh?lse~V_u z*UMkZo<81-x->j@&xa29`COFoGxBL1Pa2DDX3mEYoPMtQi<+w4yEu5E6k^W(XebAD6Av zK90ZtoUMJ$%r#v+@}o*z`qpKil2UR=EtN_Lkl8qd;cTXo>B3ne8GiB>^T-O*h~e7i zo>LGbO(M4+u=C&{nf{us#gumR8!8O2bV6!sB5AC7u;AHytrstiAnD`70heN63rfu4 z@{uXj*d+u5Jjk#f5tsZ;{2Fm6o=W_#pYT5j9y*7YL3A{^sjZCgk5Yh1yJBd}z?`B! zy9l@meR5<t$=L-P0VhjT2jUlR4rC*wGKw^%K@@{xuVW{8 zwYP8Y@E?`F_*AX0AU5Pp+aXWJZ(8-?7{jxXQ@P#EmyB4^8qD{1WjoBPlZ_gZh}62) zpxD-7=z2V(zfp$Q_1#P0M9AG1Y@FS(r=J_@;svL`Oh2?1ycha&H^14d8MXy@c9#sG zVqOor&5myyrH5i1RRfPg?OFhg>KrbKO(@Lr)weY6E6MU*ySY}AU_?C?V>M+H74GDmiOArCPYsVo)a4hN>L ziRk20dE)kNzO2ooEf%(h0uD&H(9hG~M8oyMf#x)OH%;WI*K2W(mFu%Sp(25)$~R=% zy3+M+A-H}P&g{oj;nXGE=MFK&vmDVeA5@#lxTLGN)xFxE2=1dC=C!NRMUtKNJ7*2CzvA^cxzz;uBHLv5isS^ zV%$kU7>7;?N|Hx=ee&H`CS7F6!RQ!wI5*JZx_z~xcrTiRU<;o138=k1+O4Z9G%{5h zSm*1=&o_B$zl^a;BBNuhWJJk1H*nGJF|T{}0;w)a|EW!A{vZ=Mae}Ed}#zQaG2Q8#t4Ve_{kU}c$jEN<<``P{0NKv8Zz>pL0uUj zMl%$tthA_?Ut>zHc9eBovy8Mq3&z zUa>&!Z_zXumKXcf9l;9D|7unx1O9yZ&!TVCPg#eR61dR5cOjGWv z9^f=GG#3zcBB)DG96(S=@`B~mS(VOx0Q%-`(12eg&sf@LKMTTAVf}>Ehq3duz>xry!Kj5I|GKEI6_4*47o|V z08twYZBCz+j8^|2DM8A)M*76Dw-BH{D_1(86$m3bY(0g#_20BG#+oCJ5$%%D#jpAp zsW>v^x{Tj@PG?#mz2cnJ!9+Ao`95;XS)8|=3iBbb3*j3MSPg{p(SM70J{rw6dctV> z7*Ic8ycvxK+q%+P!$W;xmw0C{320ihA0wgnk72Jf-;_L*@1zRDpEy)wPyJgH>wo&+ zDl8)DLLCt&7+e=Ww;tN}!63^_D(DmcEDnpR)8cXyzK#F!nG379ZkM z9|Od{MPnN@|847*RsFh5Q5AKH6R?sX9Fb08f9}dwNC} zVOPKp{ab?N=F2XLT+>G|+S}J912WFyXp|(TY!3ZnmgJ+YsR|O`|KxFir0jRYGaRT# zQ%Dsa35fV`7JL7HoXX7e!$yN0{8cRH=X7@2n}K}_+ea0ED3qeS?X$(9$V+cHX}*R6 zgNclIBg^$0?luMqdyt-M5lnAv#2*r8uH3&12O8UnZ2JR*@)$m1g~6(q4~%uCbHP8> z$-&Am!0g%dk+G^aV!xyBeg>6%)Z9>~WutHmMcgu9P_D`2o zW{by@EG}D>?C2;x+J`=QS<%nqnY{FhgJBwlup`?>5)Uzs0q~z`>>ucj>6GUMXwfbd$2;s` z4vweSfoIME3U*n=6&a3kETuO{$8YOD_#Y1%*8)@9v>X-$LpcCE?_IXbzHmlPkGf~; z!`A^6lx*hTv%6hoLz%Yq3E5q1g?7zVSx<)h4}Av@srY#a0<#s@Lo85@jT#FYj|RR< zW2YMDZ??81K;k|W$;{a=n4v)SdK_PWY~*CeA$xPWbk z(vc5@fZ3p3c54O+WU(iK>4A%<2B*V8ykx5r#zbc@art0$$q(Svl=#UB5C6)iJ@6Ab zL5MUxle8Ntek(ylCZ=iPtTI2GYg!IQ_|`yb6L7((0MRNve7^qK@bR`RMeDCZ$Ppia z2_7AVGK}M8xptW#%jK-PuFIy0t6YCX(~xt*uT5!i(-6cGrF);&l_dT;q6x+gUBo&O zCA0r8Hw4KTgcf3oh&lm&q9q)$%if!SrXhu_%LM=3Zy_druNdC-D#0BQP>$>l}N>Y5*Jl#Nd&@wZ|w5TYk@|)<}Ldu!{2J zq1Pp+#>wetfQC7XQ}crMzfz0PCzz0PoCs>Ju=jaYcA%uR8_6_}bT+gwIw2jY%R!+& zl(b5o_Ul06QW};Z$M^j!#3xMo?@(faQdSE8tP)0i5rLu)l(GRo!H_bzE(!Y6I2xvh z>q_i@*;6U(d=3jf;JL)V!5~bzGp$9dfp|@p${!BqT%#jE1DJx=m4un0Ke13l&>4#b zA8P*@cEUKcMe7;y43*Qg1i@URai9jqVgHeZ2A`xE7JLZ(XVfv{+7_*=#52Ez!5?Kb z4m7|xbX`g1-xj$fy|I;Cl1g9{^e142iFPt1;gte!mGA1De}lyVAj1YN>|2dLDic!? zbjuJC!r1e$3-dRo2njhCwJ@6Mu)<*&2D|LepWZHr^pBWU=Q*3;q?~W9Iy| zi6E(DP$Bvi)Ftsq7YWe>B%x&f1#3q7o)4%_Yap86akNXV(;{hi2KsWN28%&%An|>z zjHtgNZhS-Z%>3^P6qfv@KP$*YbV+Q2Ko_ln{k88e?IbQz=sG5xT3_5%2FNZ1Q`2CP zQ`HKb%!BBXzi9=ExxkU&6`si2&6}MH+Wb{E2 zC-qm@+xMsZ$XO8=xB%b<=q)8IUYUQ6sZ#Rq+Ri+r)paJB;5JqbYim!VchoIF09x6_ zVnRBALiz%Q)N9oe=j01D0qQtxpAAbyQ~m<1nD4~I)c=wSV+?-}cm+oNY8^^tpGZL8 z;|{l@I38+Od;Av##9)Zl>G)CNLFxZ)JR$JhH3UdQnCX?E4-->1IZDkabvXEz)M=M} zE%86Y$;5-1?8yYcoZpBx_mpuQNKUD1MTLDry$ylUUOx1rOG5jf$RA?vbnI%xADkT? zRAr8EmQ~|ny3Li-!MLo8EI+D?V8Z`lEhNtp=+OG#0ZT#Wso&Y*FykZoi0{Bs@*Ns1 zPIFPYPKCc?^igU5WrH2P0rfi|M&@Gr?v5TkjVTEf`^$B2xIqTq-BtG7U!`58=gz=K zxyqjBVZz`cTP&KoRFaY({QO_b2l?D*)aAme`+sril6)Fh%RnCD-d@~0Ann>Lc7E<9iE~7NRx(K!q0U0@2!6MR zI!;~+SD%|)dinrBl8a0Y79~ANZp(PwJ@9nAjUX!ZP1KKydVa?t8KBJ1qQ9Q7YpmZo zR5UWz?+p%I=2keG`Q>-BhvlG2P)x9HdiZi6N)BAgL14NJn9sx}ldFUVhIEjE#~BwwyYbxEsu{(F4|F8QxzYzSj%K9}gZZoZecY z)MVE}RH);;I4vC*Z&h!31FJFbK0iG!ZLm}AE4@(9B35Gdvu0FJs5 z+vEZGM*qGF-yPw1&-icbyJrF3wP8-*_3IEd8ziifwLq>T9{B*cHYN_0k~)cfOGaQY zx|e>R`fa{HYgaj^p>*hD&&bIC+3rCF<#hswGZzuq2Rbjh_)M=j2U1@$0O|Q>#JS0f z*qe+SftbGz?cBsPh|rxzAj!bdv{)@NLxNz)iB`s|e-f|1x!u1JRh9P32Lu`zch^vj zE)L{jrVoXOBRKx}g}Yu?QpbY0 zmzlnk8wy9r-2d$h2wV44@k~L%r~mPn!sWQkX-?1u*(Z#aLLA|30DebJ=qjRMtL)I_ zzr$vNGw}k%JZ7;(DZUr~Vw1u?@8#3Dl--c4;Mv(-lj&BwQhgM-pXA5pDj(DczcVXH zoT!j@9xD_4zWN`^=;^ZiH#Gli7(xalu=&KWAelc-iy-A}0$iFrRoQmkVo!PUZjhoz zVWiUG?AvTWiv+iDQEz`E8Oe;9X%O}Px59y$J0xCHoro?B1m5JxHBthBjp@O9`IozDYv^;_rEl(^mnAk#Ke!Qij7g|0s!6ev8LN zW4fIG?U_Z`v;H)Q(rLfZFQ*``)_}HK& z1`0fX_OJ^Ow)hONgsSCTwy4keRh&k{;jm4@J5=d&dN@qt4_h`IyGU)fhBBM+t7-<} z|7DIPBx%06YK#;qP~BP9k@_?BuiP8t7Kt!cO(a?jSV9!9)A%Jnoe0ITz3O9+jqa)a z$>J4mwIvi~;3WU2u*n&!OT(r(No+FTu5@{rWccPQi9O$#t+tsLfE^~3kH0pcRr*>6 z?I`Ss0A54XjD!p?b3Q*0vkFh`QtvGLF*fi3wou)aX{Sf{PR^;ia~0^C3gbqB0my*R z&3yYV*)p^Eb!Vz^G1K36c5gIirZ4Ks1>bBL9&|X4G4xEu%w*tJ4|bl~xMVI5SU~D^ z9D|2Xzd%?5W|KIbcPQH89B&g15aqQ8pqVFNQr!AILQuD80@@Daoms6C{heeOCY5Yg zkE!{jbq3c^-jrD_2XZ>VX=grCN@_X-JTNLMo&BxbT|Y4%rpu4l(PkEnkh;cqkv;Ge zbQMnWWkHkR;NWs`l}6(p%CVglb0O+Fas>DEHC~-O6nJ3U$V~CY&Oz+WlzHKA8E0_6 zGOkY3C6^qFN2%J72IZcagu{r+dWg{0@%3nBce0Z>Hw}C!V(?RpG||>R`+|M1b@!PJ zT!Z<_s_e5pK&Jr1#%yF})|H0&3=~B>L*9oUN*{ZKzBgYvP4^*}6fMz?zV|DIorLU_ z)xF5xH7cI*S*G|JB*&|RrKH_WlS)oo+1c607(R9%&kmUO!gKZwH(X8+@uA!LYcFr; z4WhLx{yvNt#-GYAZVc^h?G4JJMCS-5pl@@vGJ1YWL-9RQqZrE}sK`>#qUbVb!&PjY zb$DuQ5yQ|UB;RH8ncJ8YLoV|W^Xt%$|?96ek`eyTo-mGA1D$E=KaDw*PFQQ z+#WI`W%m=0@$eIp2{aCe;j9i%)8*&Q+^J-;mSU#21Dt$aUN>e5bhqhL@wFT7lr-DB z;jba-Xm23H+P(HYUq0<7p&7T+FzZxl5$fEqM`Rf|Vf6y}^09Y7^u1}W?s->i4v91H1Kd=N4l zvqwQgMpm;2qADGs(A{*80&1y3n;;u_G^d9;L?XK6%p=JHpnl~HQ*@js`l+fFR5$2x zTD>!5`UMZsrD#V+<@w zJKd`z9lN53)TNZ5T%HR$Ancn$E_R9l9HtkbH5((zp)sMsf?#8&f2y=V$Ej?;OB#rKfy7N0;~o|}2l0cS zt2S>kEZt;p#E4Mc&l4?1 z-RGd!`a9hPqCZe|9jnxqJqo#McLN)#$ygEl1bwU_6~8~nC`Shu(u}W(Rz8#O+20oW$^~Qpw_Y`avUYRqW>Hl9zS_Z66YKRhzc9-V^_3}^{*k>Q3)ZfZ0l#G8<_8be zhTS&_c)-192PAa)Tn+@oT%-5eL77^F2)HZWI1qx@yw{=XP2%4CQq)0KJ{U1Suc}k@ zA;$DAnj?XOOxsY?(5A}6lz0~VizBbbc{e_OuMG@N$Agcv01I@9{H@z@7!o3r@F{`8 z8iZd8B7W53E0gut5nf77Ya96IkZdmMvldT#k{UR4pca;@xtt*isVy58cF6cPJOS_COs;*ir`LRu`TC~_|As7I%6*GfZ^J;f_(urol@8LY z7q0KT1|VixQzTH_5JpqqiQ@*w?eu#nOTqq8H91iTIH<<-vextALk*SFubmhm<40fm4jaK!u>kiW%n7#RPw!3Fhz8u!MQTfDl6 z$&GP`J*jW+k zf|pW~vl?7-0DmUcicmk67mCM9bB*m-=o4i8f(cV+y^8q4($pk3*4%bJkH5V5W=%R! z7rFX)8-25?E@);CGOs4Un2uUAD0C$VQ^AkjB+oU8Fo(ekD{7&h3KsnsddQvTfZi%% z3@q#;q{dZY`Upl0P$JXCrr2di7j`4yfhD?#PR$(e%YH(EyI`sC3W08lI-LWdP;ICL znbjpVcIRl+(>W6)Pv{%9K;aYAnuZCFjui>R+t`- zk;T8+#q*BT&bVuF*4IE8&CcidsZ z{yuMkX#c}6OA2J%Tctr!eGx6IzMtjI;@?Q(cdZDfS2iX#%8aLiqApABhcEeo(}E~h z$$d~kY%##5Z<{s!jH^d`b2NN14D|~_43OurI&UnQ8Z`WvRu|l$FNgOf6OIAPx)|8U z^+7F0)T_PiFLb4oo4MMy#SuBH3Z>o;2HA$xK~ z8jStK9u#x}i}|qR7j1uE>4Vy-9eF6%NC#uZ>NjK6mHl#~MikbF%6Z4&IjXZpk+K9#x1=tHQ6-wSZFvofEwxng!7vK1kxOg<&jk zd;Nymg$gg?NY%D7MKe$M`>f%3xt1VxQR}6dbI@u|3!G=ViXHy}2BBp7L|*uqu{hZU z=_0KIB>k`OhAtiI>t0*=kZ3#~Hkc~0q^gPRDrWfYS-1_13+fd69!$LUn!Q`Sy7-X$ zN-lSWsm_m)QCGj21A-*QT;gZG7vS`>yax7#^#RZ5QA88ZHB&^>p-bYC!YK^<`|jB& zQFK`;QC%3|Rv_gk-%IiEp#YKsI8IM9>Knhp$MhlOZEG1EDQC0}^b4^{1hfB=tCUa9rluA8)vNvkQFw(D$}d`?Re+egPmMAods33>pRm0+gPP zJ=P-+)l3LIxhc?Z%{7Ks(+F&|2YU~@kC!|T1ozPjCw5*9GQ=zNs%Y-vWn!yrZ9BRN z{FTM==96WB$(3U-_C64D!71e$H5mcln&E<9sOqtL)Lg}bI6nm)l`MjDx$p>fgl88W z@0Y?C;QJXmoV_4*e&yUHhC7U=vXoGjPG-OW{%pl`YH!6!ucgoO<9ii?o=$!5TU=T% zcya0%R)-bE@|H8P z^my!wtIdYFGcizhf5Y(O`)l%7mYmA%c@#@0eoe?FiwOCvp4gf^%1y>${naPZyucoY z??6YRw4S>uhm4afpO=k-FRCE>ma4%a7RYv{iF7 zEZrsgXjxTpICFzn&6?DjrA^*2_-i_FLp2{SgTvC&ZH0o(NT<`JFc$NKp*t6QMi%1k zaPYyoMqi1%i3va4FSgH(z}`*Aicen{>o`f0dzhw~&^J9*^CmiaXVP*~;l#{*p;wCr z9cY5>|5b~L%?EKiqS*(zak=TJSt_4jz7-4;=$-2=mweF$eF}j?J-$=a zP&7BX{mPx^TILGWFwUo4nOz;FHLJO~WbGyCkEt9V-M-WK1)=S5_vfQ2#e(AxY@W3k zG7q1`4r%47AE#*gVIJ17zF(~0;#?MJYn4u_kdK@)FStBa;5v+Fi#?oXG*-q==Ip{N z#{#x8Wl0Rl9~Zsxf#Pf2lqMz#Xo!~{dOo79Rqo_kMtOUU!|g)B=t0mMytA-mV+d(Xe?LgFavF?LnJFboE8i+0c;**ilVg0Is={vwqb~ zI~Iq%0`o!G!8f4cTQagzD%^C#M@vy_rh14Gm5BOPKWzQb$FuqPcKU?gzFNUXtK!*I z;S#Mluim7b!t78RGHBXYk3m$D=3_7{LfyM8g+E1QH=i7ldpOmOo>EU&XRv>B1fhwP z{iLPlcMg}*E!o+^I0Ncg-p3Oev6{CGUUow>(oa{eh&f+@hb5f;HrFp1pwVI%THP{3 zds;*^(%B-&SUPgy%mtOhuVzC{4J0@-a6AL0F(nTZnm9PS=~%oa6D=>$#>-w)x46`! zH}M&)%6M_QDQt3sOCW4H!ZVR#t>7ZZYz32xjao)W@^10>(Y{)aCTME$e z$iX_{f;yN3qj0Q8?W*c3JKQaOpZbIGirBs{d&UkWrUGChNQE{p;)fsTt24g~NHT4` zsXp{r_Cft*$#AxU0M1_$aNcE>wK-kfbWrHmabeveWwRUBeFE;pRft zc+t*!%EWj|Joe=4F`+Lik{r1ePJvint6fS!f7iB@ng>n{(Sh#0e%tBY&fvn{YqdKA z10KN!SGMN7oepQO55&PZd6CBVXP$s6khhK%uUBqKZ2Z>?svT%wcBrpV{ekq*PbcJ7 zxJ|GONpd`g65C2%m~?to^>M0gQ?b027q+(L29=pDu0UVrPK3JP{N>8fG0kanXnBz| z`i&M%(MY0K3cmNXcw|`oz8A&ccE~LvOf|zAUo{1%1kPQ0bmoW!t|sJre|LqC>#U8H z&gIBMF6ns}$14zdThK8oJ%_SEOW;9QDpZW>`{5Zeh>~$d=IG(X%#9u~zniy|+l*c} zF`?re-A^)f=#MB?jrU0Sm18l}urGZKiW$Ng_|L&^xkc{WI%&I`0E$tgR@D4Cv8W3c zw%U^?XWV#ZYd&Cn_+rCKlMzl&A1E?_KJhQ7mwXq>ViKRjUa5*G>Q`|0YptjtHc5~o z^9cP-cIU@VRvr%wRL=Xsw6+F=0**_!Ew^QUA+@diG;j&>!^|wp%{G#XaauB&sp-|P z3Zjz-q*q=pZ<#tSJD@vj^qje-*SZqa)d}t-gstCH?=7Cx$T3Hbi}i?bjDQqHwa9+o zj^SM*EER8dq0q=+W!E;%X6sG(k8FJNkpQt0(`S`xAFo%CiisaEi!*l$r4G+^fL!>=OC$Z0Pzi(EhVEg# zES&%5QQusn3WMeiOVv~Q<%e^39FGKHdw;LH8hQICDG&&X}1^hHsPoJe-;XE!57 z-yJX2cKN{O;b71gL_QKA6}i2^Ia+asubVDVl@9>m;g)WbV_vN9d?sh4u%F`*;gj*n zr4ueICOFEqm44M(^fxt!Id^Txr|b37l>aMe%D zzSFurE)(stb)dR+=SCSTVxrX3tE_bNmVZ||g>Ha(q=IYDGh-)qi0PCAZn-&my5O7& zj{r1NntYw4u)12n&3Kff;wF3LuMGH*&NbF1CWinryNB9DnqCr4ql_QbruAdTr$*gF zI-+avQy0dLntaRcZy0x*HBlH={Tj{kuAumiJ6pwt2hyKPu4EuoZnBQFm+3uQqQj=* zDefDtt#fRJ-$_l-t&`Dh6zv8V*$Sd+lSXs4kK>ps$I7WOMf*xwZ>*=~2lWy*S27)2 zzdJLS((?7{Ao(h{C`U3uL%@ZdX;F!N9Z#D>e}r=NF>_PVRQbdOh>cT_SbJJ5e@7QYJ-E}&EipIwRueS!j-efF#A zpHL~z=WTFcHzf+u8w`6Wuk?nmQiU4e52@T`AAKebI0ahb_6DyUmih@Vrm_4LjZB#|9A zY<#=S8!T;%Zu=gE`&XYOKPId%?7`wzaM1Qw@0Iz=<}PfWS0knCEC;g&G5x8( z^27zXXvV-)(3I}fwE4V4PUMzMFnNuevU>VKQfNQZJKwh((M8^~8Tj%SA5luS`(Pk3 z-iW6i+IXb3@g>>6Tu^&s?AGewY=SRkYRq34Zv9=tr$yxZuRDj=x2)V)M=o9=ePlSH zQ~=q`8*kX$Wq;0S8Nn<@1Dr9add?&WG|&-Sy?H`2Vh$E3?)?FLw%JM&~4|SR}!Jh!-Co; zU6LmA!sH`NPZUmqQ|=a9Kb<&3rpgL?h*gYr^HHLLK=5N`+aWp4j!S#ZkRVuJAfh7F z80>kkJqv6E$F?FJpuWg(;wOU>GD$f-%yIrRY4!pT{VU9XT~=H!v*`)q7-(^pdlM!S zWhokIsTdJhoXvvhGYLlDZ}Pm@)9G(am%8%~m9bIcd>MWb}h2MGopdd-$ z#x2F*=X=}Ho>}a<71QED!8h^X1N4poL`n~7>c#Sfx+}FqjgTStinZtXV`<~JIa>Zi z7-*|z8&>N~s9!ASYqKs{4s8#cREfX#hXoQTdyP{Xvuyxh?8JSyE5OD!SS%4y!J zsPK+eOka=2rguMYV9QS0!&j)5xQ9=W*a~X5SEQSleS8$PJfWRe4BpkBZ(T)h4Tdb? z`ltjmLHWc^(Z`tmpc$MO&^2^sZtj5g^=De`Z^W(h(F(sFqkTgxfavMvjAU+&)^CYk zNk8~yfKF{#AYzvP9Ig}XSN_=pM5%iD^KYtfr5%);mbvhced2d(>R;%{suZIXIv>pJ z9+h@Zan?q`OlE%lY-*hCWn}2_q~-)rwKG9Je8NHhvibAfHU~a|W{cAzEC{7=u%FSl z!{*3}b9Xz6ymwZ~qeh=R12&t9*}7#h6s7g?U;D}wb_>fE$SSL1Jg6<-ukhaY&}up7 zJb_<`!#O^Oij=!Br+>F~nk5Paki4sZG1_^}mITcxxL1J_Tu6cc07;<{#0!%u_D;~Z+s*cSqgeb-CcP}^EuG(E%Ma9 zi7q+uYl1>EbQ%X*^S*2O(XcUB_I%U3S-h*Sr#c4>j9CAkt)^3O-qRKHO~NOQPwpZ< z>J~@`#@6qJyqZ~X+@^C*Lg#B?Lu1t`-p_aFGC)6;lyI;n=rIlHI2|Yz`^C2eMb-*! z*<-3gWe}kC#s+#Bv{;T?Ae;xk)}${E22E=n`E!UKYfZV(8FOPP8I@eUKVIv|J$`1} zv#lXnQS@kS2y{R4Y~LlOsTWrN65`}PgLB5MN9I-4jY&7{!C8TF{El9VF*aJ*qM13r z@%;shMh-FYzhsnd+%v}V_kXdc@0mSgWGduAl?XUf=i<*b@>M9+ImkHkRgzgueClk| zm{HdaR(elRq*c{Sh@rA%OQn;o<0dpPl# zSu31!XF#Et+PyK<*u^N>7Si^*$JtNpT7mHy88x0-(EfK0pDKZ2=c$FvTD3?w*)d0e z3>|qK2`C-b>^_PNZv(i4xXY4<*m4Xuy8Fw94gPp1pO?p}$ONf&EzrYJyBEwd)6>Aa z@*EBt&Ou|KwZfPA!M&;$((80g5wL|D1*qka4#bPboo-xBx?4Fuf6tZ_g_hds5*d8$gGnOZ{3^^W zq4e-Y0|Nx8yT%YzyN8>n%Fnuo`+!Rl%p)N#%T}HUj=k3kYVa#qQ%u!AG|1k7w<%^aCE0kZ^d4FiR)J(AQC z0?x(`8ADyYHdxS;2=<5vlC zTyWC`^mGcWD}g%$>>9$(jh&)X7^mMeYa^nJWUZ!{LqYRRBI+P?#*Zc^2`w}*T|p8* zsY4*VWZmPyhmm;M0_hGeA&4)3$Cw_E&85EDn95??KT$zK$*33;+!+*66Ts<$i;b7f zkPQ}6d?RtE*}CAZuk+C$2ST1KR+9l%Dx;T zsq*PJ6>+&}J}Pk#9ZMkglszH!MF&AEPP)^T>eRvfO~zpUOtJ&($f%(D8^Szov|B0I zX28asXv3X~Cci!!TctBc5x`HH0=QjI<=)+co%o832dqB=7HbY@FP?g<)|6M}3<6UW zZ*2@!nwVpqcotC#OR{4)$RvH^0~$Jqp{u41^x)=_Ax_3`)WMOdCBD^BqT*G-v5v+g zg7;rZl&5g>GLdB~yg4g`-HQu<+*JRv{?Kr?tR^(@?C+(1C3sU3w|p zq+x;kjbFXx!rN3VR@!2R9)3`3B2+m8nNP#HZc`V%9ds%4O$Y0sq@UOpgU_KEJ>!Ku zEw`sqcHnwEzchzk_81hS6hv?e^(}9aiZu$ERS2;yv36vqiIp=)w$_-HI2>JR8H{Ul zdS{}*?w);y2DW#f_C%FCkgEm3fX0LL1DA;>Zb&TVJb_xO0Vzgm^Go+!LYp zRC?tYJtndRmZ08#b3MsqePZmB#bpn%CSg>ekHi$65_=T<<0Y!Ou?4ZRRG8D>*+_C> zw=Z8@(mc3vs*z7F2;(TpSF2gU4o)19og?~M+2?yV&VFIvDSkfK)bz261iXbGFn~7S zVG4gQbUe*m-j(sF)=n)A#Xb}LdEStzB1bD1IV6(X^H|B^PNOMpXGA8fD-V_N_>3jg zm}lU3i!#VBHi=plJRYm)g?~smo#7%ISO@C4S8>iNRFl6;7dkePHn{iNO6pEbikVuOn<301}qa1wdFQzUe7TiP$;!d)RGuyC( zdvW?mKX6Y&Z^BZsI$G6Hv9LaG<6}`3^{5-bT?J;_msGWWYfiUz74Z}t>h%9!Bbd6z zbC+|Q@)?mIO*DGw%Ey*j?pNV;T@V|^(6fK(0%2eh55DoP9`FNLws1Aj=4l!UAkf6^hYnn>`M$ESn}g(Y2qs_ zkx50)xvM$tzrGoj*kl!oevH|8LsyJ09uHZXt-y69ecj>Fk!`0;AnIo-6F(g~KzSK3w!qM@@2dQAt4 zw03l9=+9XqGb^Sm8pQ9)P*Psjv!2MUda%omS1{#5)ZQ7opkRDQ{JQnp5xe|O4k`tQ z^^r9lA-v~|_P%T+;|pN7>BC^k{*-TA_Fcu9j~oTV*=S|L(YQ)|2*IbBF#9~KyKwd5 zlsiKvIV4z0A?)|w&<9i5={CxLoeH~UzA5mT)F!qjMcK24@VmFb?!P_{ZCnDTURgt!sxWn|ZSB)>GA9 zCpm`E4}UW#llng~7;qclB-LH#ukG~Tt^30K?pI#O zPw~DVK5{&%&E$#K6iyFid2swH8^t@N%Ammm=qASBkO$`i+PFfBen|$2s@y225tz<~o>sW9ZHhHWTW@3ye zSqL#;o*6NO*3*m*J=tIK9Y2-_#A$w@#YEYaPwnZTAQR2~yJolyrKO|-GnCN%t07C2 zQ=$z_w(P^XioMEG1!~<(bg>(8iZ3M{*uG4~jFX+1U^EwnAVXyOWuap7VM3w2`}qG= zapv(*c3%L0W{NWQtQBV7lDrYAh-A#GY!$uA7)yo_*{STyW1#gTK%I#wS$8; zql_DzWJCIJfkNu#6UT?-MSwKfzflt^AygZ!Dazkkaj~tdcXBarsu#5jSJ`!qgYGn* zxes&N+5A9A4;jLHXIbPWvg%!pw#+n^KJ*&^t%>Ed;$E*)LS?ZKCWgKP>vbt`s|9_n98)sVjtK z1}yuezS)S-!P|74w*r+yKR5C zX*N=ASXT`H0DK}OcpgZm__jST#IFW%7Gm5bb(1@JStHY~mH61n8a7(J@W8EG6}46I>~hcBESW0w^&R@QPym1@El+L!_J15}HewLQx_ zm){jO^wbphpIM#dR^96PN_)?)9O_5y5C5VtTI??uvPxO`)@={Z1#PN)&@XDH+hs3O zLo?jtm^n|Yo@t*G8GJZrRriovefl|HG2Yz@V-=(~^g@hp%V$FnK2Zx#bo|e1P$-;5 zDmeoJn$5R(c032sry1{hg{un&zbVeMa^x6;^*Qmm{I@3WSE{R3Qi3{k`l~JtO%r_T zAm#uU07Sy*Q4Is`FG}-g*nS^V|B!dgjEX$@c`9J(_OAKHO08U7;)nVhCu1<&6HhKq z%0|Mdk~uc8u=maGq>6gPQjFlz@|Q)Qi!QgCtu&CJzdjpF(fV#nIGgfBdeFKWLeXjP z?C@C3RrgECmaYyiWRe?G;$EK=ap?_psJ?$a{bAOj=;FyxHFjQVy!Iqf{^KB%lCtm;lh zMrm%d#UeerI_af|xYZdL3iSxyyYjm9g6iUk;!9nrh4BIp&D%dUQu|2Z4gO=Kmd*9a zAPcidUc!f5y4YyP>AOQYZuCNDD4mQj4moh?bEI&o_A&0h7JHiTGi-b3Sk;2*NFX`+ zlKujzQ*IJ_-4PAWBY>{+f5y`dQIv@{*WTS<>y=@oVd-V3ld-dFBmJ=2U5W7CAi)N! zUZ2)wAKa&HM{peU*$et)rWq7@T%V%ZpYddzX!6|`c-whW7Hb@NU47+*Sz);OznXP` zr=%3(%7DsPP_%(;!3QJ@@*K|8$*B&00g|1K1Iqssl9{*MC=C?B5KiZ({)u3G_-5=) zAMQaO7Uv#nu6yWC`2j!81H>(~(=S5@hV>g0gZfF+{@fgtFGqxqfB?&T@WjLDl|s3j zMQ%cXAi~MR4Vd+csbP5hWy6L7Nb76zNy6EnSexfnWv>brjX;5^4eb|iiZVMRpn`QM z_zSS-LqPxL+}Pq8hx?Ln8FD>R$}rXEI1|t|*LrGzX-G@y9a85CmSV-;ARJK~9kc~SQn!XL#kLPmCfLiE+IX452ll4A^ z;3svJR&?sWUApo+T~!{sm`)GN&K23|ZNz%@y9-?`FRtQhP-5|mT5ZlZnU6;p{{)SEP3FwkBM^y3VZUIIlDL+~HA zH|ehoLfC0URh$GItx7b&oq&axM&fqCBz=Hd8BvKQ`>W#v|3Ndwa1=Akp>Qu^sihez zum&=Tf&{t>!hcdzqWei8WE1&R8X=r~T;^!*%dSLuD+~-tylizqyhm#jyaBl#v}z2~ zC8lbMm~M3fUX3FTS*gP$h*H+_U|V_-RCw^k@1NOW>hY#&rX>(zIq5IgG$@2*bQpz| z<@HP*y0THi4|$V4Xr2yyp3^6!DdC~vC4D+-15UxU()|_VNjj&=Yk}1IIA(`s9ViV^ z1j|+8`~7w_1}yrhjGKl45f4rHGmb4@@g8Z%muFN@+%^RXkYCMZqd+c9xh+A!ne=q- z#Q0jaF!`!8NijZseJ_B%!V&~%j+Mb{Zq9|zrv!o83=@RYXSqyVSbIY*+N;oQ8mc&o z$byvgHTuC~N!28q^3H&phP=KQJ4bq6K#2(l7~;zWpLfdc`=tjVVE_FhE#K)(D--~9 zm-BQ~$zBR5*s*l@$z&y$(DQK*E6R-dqe5S3RDvJ$e+duf64tiWF@i!aca?qzHgs#iLGrm$1sFo0hJ%G5Yn=oLAzj|IgFxL_J608k{DRiyAwf64)oS3+tVWD2gT z)NgO_jP_!l&es8eElCB0`7gP472hYLpnm+4WN%WT^rGKp#&|YHx(jc2{NGSKQsJU+ zqV@pxJNir^JltLpAc8MRs)-T=F$Rg3E=hs363ol)k1)W_(*~uSyd}bFw`3EgXM4l1 zaY5R#GxTp%`(EzO1>H-U=$+NKTEHN&01-9E3#+X(F+`Og`0WR=hA3WB&Xr#a11)f? zLk{rc9~fO+8}iS<38v`$al=;;Vq zj4xJlJ5XEpF7qr@F0M(4CEdJSjQ&k{PFo%3nEQS`=+eXp2T5Mq^sVz7UaoqN|EV#uPJh}0=v^6pk1JYoQqjjn4sbeysN zd_xZN6~sid_+yog9>b1WLt38vb{vEomxO$kd(RIr(~K+%@FeX8vtwZ+8gcc=F1hrrEFPgo$%JD4r!6Pl`<* zgWru{le%)4pv=m(g1L_>OXt!u>alg>16#X^PkU)jCWo#i<)6?}0e5|I@GB}P z@0osU`BjA)SYS%!3=bkbZ_b;o&J)4Q(z`(W9P&X6#T%Yw?{0Ogw_C(^KQnFVrFEUWwISu#~9!+Rr<=CFP{{{O92g`B^`gG0MBr>{?ahV9!*!gnV~2Wu=Ro605b4sDvn+Bac5Lcst;O)+fkg3F104O)UXODlpFyRu8(P3zcJ7Wwu)&RK?)K zWVo*ZiVgqsmW(Ud7mD}Z`T(Lp_?-8G7IIYE(i2Ar0qlV;tl-^fW{6t^iCdgsT?>`( zjt&vG2np;ed-A<`YRP4W58_mza=I`lGW3g`WP*8s>>w!!zgsrh1_wlDXPzsZY*Q{Q gyawNt-JOq|Z52-ukR9Ogh1+DTZ_0Cuq-THQzu+I7UH||9 diff --git a/run_sorting b/run_sorting index f69605b..fefe2ab 100755 --- a/run_sorting +++ b/run_sorting @@ -2,7 +2,7 @@ set -euxo pipefail # export MAX=12000 -export MAX="$((1 << 15))" +export MAX="$((1 << 16))" for N in $(shuf --input-range=1-${MAX}); do for system in $(shuf --echo ceno sp1); do diff --git a/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/log b/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/log index 095b200..e7b0df0 100644 --- a/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/log +++ b/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/log @@ -40,3 +40,43 @@ stdout: WARNING: Using insecure random number generator. 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 +2025-01-14T15:13:51.798211Z  INFO prove_core: execution report (totals): total_cycles=3517382, total_syscall_cycles=20, touched_memory_addresses=43000 +2025-01-14T15:13:51.798235Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:13:51.798245Z  INFO prove_core: 1088843 add +2025-01-14T15:13:51.798248Z  INFO prove_core: 611827 lw +2025-01-14T15:13:51.798250Z  INFO prove_core: 572829 sw +2025-01-14T15:13:51.798252Z  INFO prove_core: 295065 sll +2025-01-14T15:13:51.798254Z  INFO prove_core: 181691 bltu +2025-01-14T15:13:51.798256Z  INFO prove_core: 146645 xor +2025-01-14T15:13:51.798258Z  INFO prove_core: 139774 srl +2025-01-14T15:13:51.798259Z  INFO prove_core: 137132 or +2025-01-14T15:13:51.798261Z  INFO prove_core: 135793 sltu +2025-01-14T15:13:51.798263Z  INFO prove_core: 63876 bne +2025-01-14T15:13:51.798265Z  INFO prove_core: 44764 beq +2025-01-14T15:13:51.798266Z  INFO prove_core: 43059 bgeu +2025-01-14T15:13:51.798268Z  INFO prove_core: 24661 jal +2025-01-14T15:13:51.798270Z  INFO prove_core: 11671 sub +2025-01-14T15:13:51.798272Z  INFO prove_core: 7190 jalr +2025-01-14T15:13:51.798273Z  INFO prove_core: 6286 and +2025-01-14T15:13:51.798274Z  INFO prove_core: 3598 auipc +2025-01-14T15:13:51.798275Z  INFO prove_core: 1520 mul +2025-01-14T15:13:51.798277Z  INFO prove_core: 454 sb +2025-01-14T15:13:51.798278Z  INFO prove_core: 289 lbu +2025-01-14T15:13:51.798279Z  INFO prove_core: 210 mulhu +2025-01-14T15:13:51.798281Z  INFO prove_core: 177 blt +2025-01-14T15:13:51.798282Z  INFO prove_core: 20 ecall +2025-01-14T15:13:51.798283Z  INFO prove_core: 4 lb +2025-01-14T15:13:51.798285Z  INFO prove_core: 3 divu +2025-01-14T15:13:51.798286Z  INFO prove_core: 1 bge +2025-01-14T15:13:51.798288Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:13:51.798294Z  INFO prove_core: 8 commit +2025-01-14T15:13:51.798296Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:13:51.798298Z  INFO prove_core: 1 halt +2025-01-14T15:13:51.798299Z  INFO prove_core: 1 write +2025-01-14T15:13:51.798301Z  INFO prove_core: 1 hint_len +2025-01-14T15:13:51.798302Z  INFO prove_core: 1 hint_read +2025-01-14T15:13:51.798310Z  INFO prove_core: summary: cycles=3517382, e2e=31.968330667s, khz=110.03 +2025-01-14T15:13:51.801094Z  INFO prove_core: close time.busy=31.1s time.idle=899ms +Successfully generated proof! +2025-01-14T15:13:52.320864Z  INFO verify: close time.busy=514ms time.idle=2.13µs +Successfully verified proof! 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 index e69de29..82d24dd 100644 --- 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 @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=11146 --prove" + User time (seconds): 1309.30 + System time (seconds): 56.31 + Percent of CPU this job got: 3712% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:36.78 + 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): 19568832 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 30 + Minor (reclaiming a frame) page faults: 12431970 + Voluntary context switches: 432543 + Involuntary context switches: 84810 + 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/11146-2025-01-14T15:13:53,418474099+00:00/ceno/hints b/sorting-output/11146-2025-01-14T15:13:53,418474099+00:00/ceno/hints new file mode 100644 index 0000000000000000000000000000000000000000..3ff2a8c2edf65ed6d6c71f82c067259f48805314 GIT binary patch literal 32 OcmWe(Km}desC)no#Q@3x literal 0 HcmV?d00001 diff --git a/sorting-output/11146-2025-01-14T15:13:53,418474099+00:00/ceno/output_time b/sorting-output/11146-2025-01-14T15:13:53,418474099+00:00/ceno/output_time new file mode 100644 index 0000000..7b98ca6 --- /dev/null +++ b/sorting-output/11146-2025-01-14T15:13:53,418474099+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/11146-2025-01-14T15:13:53,418474099+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 760.82 + System time (seconds): 49.89 + Percent of CPU this job got: 3298% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:24.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): 7969084 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 2 + Minor (reclaiming a frame) page faults: 4257349 + Voluntary context switches: 1018759 + Involuntary context switches: 166934 + 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/23353-2025-01-14T15:17:29,046220116+00:00/ceno/hints b/sorting-output/23353-2025-01-14T15:17:29,046220116+00:00/ceno/hints new file mode 100644 index 0000000000000000000000000000000000000000..5179394d7fecc026635ef97686a85454dc3aeb24 GIT binary patch literal 32 OcmWe(Kn0f3sC)nmg#f7l literal 0 HcmV?d00001 diff --git a/sorting-output/23353-2025-01-14T15:17:29,046220116+00:00/ceno/output_time b/sorting-output/23353-2025-01-14T15:17:29,046220116+00:00/ceno/output_time new file mode 100644 index 0000000..e69de29 diff --git a/sorting-output/27031-2025-01-14T15:15:15,009493607+00:00/ceno/hints b/sorting-output/27031-2025-01-14T15:15:15,009493607+00:00/ceno/hints new file mode 100644 index 0000000000000000000000000000000000000000..bd0b4979789677ab77a97f878615cd6d1125e818 GIT binary patch literal 32 OcmWe(Kn2q?QTYH8Hvts@ literal 0 HcmV?d00001 diff --git a/sorting-output/27031-2025-01-14T15:15:15,009493607+00:00/ceno/output_time b/sorting-output/27031-2025-01-14T15:15:15,009493607+00:00/ceno/output_time new file mode 100644 index 0000000..65202bc --- /dev/null +++ b/sorting-output/27031-2025-01-14T15:15:15,009493607+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/27031-2025-01-14T15:15:15,009493607+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 1335.89 + System time (seconds): 90.47 + Percent of CPU this job got: 3619% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:39.40 + 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): 15058784 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 29 + Minor (reclaiming a frame) page faults: 11673999 + Voluntary context switches: 1224165 + Involuntary context switches: 217077 + 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/27031-2025-01-14T15:15:55,063010107+00:00/sp1/log b/sorting-output/27031-2025-01-14T15:15:55,063010107+00:00/sp1/log new file mode 100644 index 0000000..4c7fc60 --- /dev/null +++ b/sorting-output/27031-2025-01-14T15:15:55,063010107+00:00/sp1/log @@ -0,0 +1,124 @@ +2025-01-14T15:15:56.402645Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:15:56.861804Z  INFO vk verification: true +n: 27031 +2025-01-14T15:15:59.188074Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:15:59.465502Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:16:00.838766Z  INFO prove_core: deferred 1 records +2025-01-14T15:16:01.273305Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T15:16:01.273325Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:01.273327Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:01.273329Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:16:01.273331Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T15:16:01.273333Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:16:01.273334Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:01.273335Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T15:16:01.273337Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:16:01.273338Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:01.273339Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T15:16:01.273340Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T15:16:01.273341Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T15:16:01.273342Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:16:01.273344Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:16:01.273345Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:16:01.273729Z  INFO prove_core: Shard Lifted: Index=2, Cluster=54 +2025-01-14T15:16:01.273733Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:01.273735Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:16:01.273736Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:01.273737Z  INFO prove_core: Chip Bitwise: 18 -> 18 +2025-01-14T15:16:01.273738Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T15:16:01.273739Z  INFO prove_core: Chip ShiftRight: 17 -> 17 +2025-01-14T15:16:01.273741Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:01.273742Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:16:01.273743Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:16:01.273744Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:01.273745Z  INFO prove_core: Chip Auipc: 10 -> 18 +2025-01-14T15:16:01.273747Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T15:16:01.273748Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:16:01.273749Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:16:01.273978Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179 +2025-01-14T15:16:01.273981Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:01.273983Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:01.273984Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:16:01.273985Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:16:01.273986Z  INFO prove_core: Chip ShiftRight: 11 -> 17 +2025-01-14T15:16:01.273988Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:01.273989Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:16:01.273990Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:16:01.273991Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:01.273992Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:16:01.273993Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:16:01.273995Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:16:01.273996Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:16:01.274171Z  INFO prove_core: Shard Lifted: Index=4, Cluster=179 +2025-01-14T15:16:01.274175Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:01.274176Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:01.274177Z  INFO prove_core: Chip Bitwise: 15 -> 17 +2025-01-14T15:16:01.274178Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:16:01.274179Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:16:01.274181Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:01.274182Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:16:01.274183Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:16:01.274184Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:01.274185Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:16:01.274187Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:16:01.274188Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:16:01.274189Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:16:01.275210Z  INFO prove_core: Shard Lifted: Index=5, Cluster=313 +2025-01-14T15:16:01.275218Z  INFO prove_core: Chip Cpu: 20 -> 20 +2025-01-14T15:16:01.275219Z  INFO prove_core: Chip AddSub: 19 -> 20 +2025-01-14T15:16:01.275221Z  INFO prove_core: Chip Bitwise: 13 -> 16 +2025-01-14T15:16:01.275222Z  INFO prove_core: Chip Mul: 9 -> 16 +2025-01-14T15:16:01.275223Z  INFO prove_core: Chip ShiftRight: 11 -> 16 +2025-01-14T15:16:01.275224Z  INFO prove_core: Chip ShiftLeft: 16 -> 16 +2025-01-14T15:16:01.275225Z  INFO prove_core: Chip Lt: 18 -> 18 +2025-01-14T15:16:01.275227Z  INFO prove_core: Chip MemoryLocal: 11 -> 17 +2025-01-14T15:16:01.275228Z  INFO prove_core: Chip MemoryInstrs: 18 -> 18 +2025-01-14T15:16:01.275229Z  INFO prove_core: Chip Auipc: 11 -> 17 +2025-01-14T15:16:01.275230Z  INFO prove_core: Chip Branch: 17 -> 17 +2025-01-14T15:16:01.275231Z  INFO prove_core: Chip Jump: 14 -> 17 +2025-01-14T15:16:01.275232Z  INFO prove_core: Chip Global: 14 -> 16 +2025-01-14T15:16:01.275233Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T15:16:01.275235Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T15:16:01.605803Z  INFO prove_core:generate main traces: close time.busy=330ms time.idle=2.14µs index=0 +2025-01-14T15:16:48.305853Z  INFO prove_core: execution report (totals): total_cycles=8949065, total_syscall_cycles=20, touched_memory_addresses=74772 +2025-01-14T15:16:48.305879Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:16:48.305887Z  INFO prove_core: 2817335 add +2025-01-14T15:16:48.305891Z  INFO prove_core: 1548384 lw +2025-01-14T15:16:48.305892Z  INFO prove_core: 1454447 sw +2025-01-14T15:16:48.305894Z  INFO prove_core: 747084 sll +2025-01-14T15:16:48.305896Z  INFO prove_core: 481512 bltu +2025-01-14T15:16:48.305897Z  INFO prove_core: 364511 sltu +2025-01-14T15:16:48.305898Z  INFO prove_core: 352345 xor +2025-01-14T15:16:48.305899Z  INFO prove_core: 334024 srl +2025-01-14T15:16:48.305901Z  INFO prove_core: 328733 or +2025-01-14T15:16:48.305902Z  INFO prove_core: 165247 bne +2025-01-14T15:16:48.305903Z  INFO prove_core: 112132 bgeu +2025-01-14T15:16:48.305904Z  INFO prove_core: 108253 beq +2025-01-14T15:16:48.305906Z  INFO prove_core: 61989 jal +2025-01-14T15:16:48.305907Z  INFO prove_core: 27983 sub +2025-01-14T15:16:48.305908Z  INFO prove_core: 17491 jalr +2025-01-14T15:16:48.305909Z  INFO prove_core: 13931 and +2025-01-14T15:16:48.305911Z  INFO prove_core: 8749 auipc +2025-01-14T15:16:48.305912Z  INFO prove_core: 3197 mul +2025-01-14T15:16:48.305913Z  INFO prove_core: 544 sb +2025-01-14T15:16:48.305914Z  INFO prove_core: 424 blt +2025-01-14T15:16:48.305916Z  INFO prove_core: 402 lbu +2025-01-14T15:16:48.305917Z  INFO prove_core: 320 mulhu +2025-01-14T15:16:48.305918Z  INFO prove_core: 20 ecall +2025-01-14T15:16:48.305920Z  INFO prove_core: 4 lb +2025-01-14T15:16:48.305921Z  INFO prove_core: 3 divu +2025-01-14T15:16:48.305922Z  INFO prove_core: 1 bge +2025-01-14T15:16:48.305925Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:16:48.305933Z  INFO prove_core: 8 commit +2025-01-14T15:16:48.305935Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:16:48.305937Z  INFO prove_core: 1 halt +2025-01-14T15:16:48.305938Z  INFO prove_core: 1 write +2025-01-14T15:16:48.305940Z  INFO prove_core: 1 hint_len +2025-01-14T15:16:48.305941Z  INFO prove_core: 1 hint_read +2025-01-14T15:16:48.305949Z  INFO prove_core: summary: cycles=8949065, e2e=49.118547412s, khz=182.19 +2025-01-14T15:16:48.309626Z  INFO prove_core: close time.busy=47.0s time.idle=2.15s +Successfully generated proof! +2025-01-14T15:16:49.378559Z  INFO verify: close time.busy=1.04s time.idle=2.27µs +Successfully verified proof! diff --git a/sorting-output/27031-2025-01-14T15:15:55,063010107+00:00/sp1/output_time b/sorting-output/27031-2025-01-14T15:15:55,063010107+00:00/sp1/output_time new file mode 100644 index 0000000..ad7d435 --- /dev/null +++ b/sorting-output/27031-2025-01-14T15:15:55,063010107+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=27031 --prove" + User time (seconds): 2884.51 + System time (seconds): 111.38 + Percent of CPU this job got: 5465% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:54.81 + 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): 46258812 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 26349703 + Voluntary context switches: 1846621 + Involuntary context switches: 88352 + 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/29062-2025-01-14T15:16:50,810086125+00:00/sp1/log b/sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/log new file mode 100644 index 0000000..7b3f828 --- /dev/null +++ b/sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/log @@ -0,0 +1,84 @@ +2025-01-14T15:16:52.145315Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:16:52.607896Z  INFO vk verification: true +n: 29062 +2025-01-14T15:16:54.968142Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:16:55.275752Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:16:56.774756Z  INFO prove_core: deferred 1 records +2025-01-14T15:16:57.227655Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T15:16:57.227680Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:57.227682Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:57.227684Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:16:57.227685Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T15:16:57.227687Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:16:57.227688Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:57.227691Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T15:16:57.227693Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:16:57.227694Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:57.227695Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T15:16:57.227696Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T15:16:57.227698Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T15:16:57.227699Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:16:57.227700Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:16:57.227701Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:16:57.227949Z  INFO prove_core: Shard Lifted: Index=2, Cluster=210 +2025-01-14T15:16:57.227953Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:57.227954Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:16:57.227956Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:57.227957Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:16:57.227958Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T15:16:57.227959Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:16:57.227960Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:57.227962Z  INFO prove_core: Chip Lt: 18 -> 18 +2025-01-14T15:16:57.227963Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:16:57.227964Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:57.227965Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T15:16:57.227966Z  INFO prove_core: Chip Branch: 17 -> 18 +2025-01-14T15:16:57.227967Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:16:57.227969Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:16:57.228203Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179 +2025-01-14T15:16:57.228207Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:57.228209Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:57.228210Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:16:57.228211Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:16:57.228212Z  INFO prove_core: Chip ShiftRight: 11 -> 17 +2025-01-14T15:16:57.228213Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:57.228214Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:16:57.228216Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:16:57.228217Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:57.228218Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:16:57.228219Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:16:57.228220Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:16:57.228221Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:16:57.228413Z  INFO prove_core: Shard Lifted: Index=4, Cluster=179 +2025-01-14T15:16:57.228417Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:57.228418Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:57.228420Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:16:57.228421Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:16:57.228422Z  INFO prove_core: Chip ShiftRight: 11 -> 17 +2025-01-14T15:16:57.228423Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:57.228424Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:16:57.228426Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:16:57.228427Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:57.228428Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:16:57.228429Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:16:57.228430Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:16:57.228432Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:16:57.228671Z  INFO prove_core: Shard Lifted: Index=5, Cluster=61 +2025-01-14T15:16:57.228675Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:57.228677Z  INFO prove_core: Chip AddSub: 20 -> 21 +2025-01-14T15:16:57.228678Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:16:57.228679Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:16:57.228680Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:16:57.228681Z  INFO prove_core: Chip ShiftLeft: 17 -> 17 +2025-01-14T15:16:57.228682Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:16:57.228684Z  INFO prove_core: Chip MemoryLocal: 12 -> 18 +2025-01-14T15:16:57.228685Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T15:16:57.228686Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:16:57.228687Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T15:16:57.228688Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:16:57.228689Z  INFO prove_core: Chip Global: 15 -> 17 +2025-01-14T15:16:57.228691Z  INFO prove_core: Chip SyscallCore: 5 -> 18 +2025-01-14T15:16:57.228692Z  INFO prove_core: Chip SyscallInstrs: 5 -> 18 +2025-01-14T15:16:57.622096Z  INFO prove_core:generate main traces: close time.busy=393ms time.idle=2.91µs index=0 diff --git a/sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/output_time b/sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/output_time new file mode 100644 index 0000000..aa3b9f6 --- /dev/null +++ b/sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/output_time @@ -0,0 +1,24 @@ +Command terminated by signal 2 + Command being timed: "cargo run --release -- --n=29062 --prove" + User time (seconds): 1586.93 + System time (seconds): 66.52 + Percent of CPU this job got: 5972% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:27.68 + 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): 38015092 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 4 + Minor (reclaiming a frame) page faults: 17987521 + Voluntary context switches: 189273 + Involuntary context switches: 75614 + 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/8997-2025-01-14T15:14:18,626143567+00:00/ceno/hints b/sorting-output/8997-2025-01-14T15:14:18,626143567+00:00/ceno/hints new file mode 100644 index 0000000000000000000000000000000000000000..cac81504afbf2345e77bc02e01bf3fffb5b34fd6 GIT binary patch literal 32 OcmWe(Kn1GGsC)nh{QzA6 literal 0 HcmV?d00001 diff --git a/sorting-output/8997-2025-01-14T15:14:18,626143567+00:00/ceno/output_time b/sorting-output/8997-2025-01-14T15:14:18,626143567+00:00/ceno/output_time new file mode 100644 index 0000000..7cee64b --- /dev/null +++ b/sorting-output/8997-2025-01-14T15:14:18,626143567+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/8997-2025-01-14T15:14:18,626143567+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 609.57 + System time (seconds): 50.43 + Percent of CPU this job got: 3035% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:21.74 + 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): 6180984 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 81 + Minor (reclaiming a frame) page faults: 3554751 + Voluntary context switches: 964849 + Involuntary context switches: 182456 + 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/8997-2025-01-14T15:14:40,969777275+00:00/sp1/log b/sorting-output/8997-2025-01-14T15:14:40,969777275+00:00/sp1/log new file mode 100644 index 0000000..a254008 --- /dev/null +++ b/sorting-output/8997-2025-01-14T15:14:40,969777275+00:00/sp1/log @@ -0,0 +1,82 @@ +2025-01-14T15:14:42.325222Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:14:42.783157Z  INFO vk verification: true +n: 8997 +2025-01-14T15:14:45.099043Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:14:45.186203Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:14:45.595801Z  INFO prove_core: deferred 1 records +2025-01-14T15:14:45.756112Z  INFO prove_core: Shard Lifted: Index=1, Cluster=54 +2025-01-14T15:14:45.756134Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:14:45.756138Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:14:45.756140Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:14:45.756141Z  INFO prove_core: Chip Bitwise: 18 -> 18 +2025-01-14T15:14:45.756143Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T15:14:45.756144Z  INFO prove_core: Chip ShiftRight: 17 -> 17 +2025-01-14T15:14:45.756145Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:14:45.756147Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:14:45.756148Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:14:45.756149Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:14:45.756150Z  INFO prove_core: Chip Auipc: 11 -> 18 +2025-01-14T15:14:45.756151Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T15:14:45.756152Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:14:45.756154Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:14:45.756155Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:14:45.756156Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:14:45.757168Z  INFO prove_core: Shard Lifted: Index=2, Cluster=313 +2025-01-14T15:14:45.757177Z  INFO prove_core: Chip Cpu: 20 -> 20 +2025-01-14T15:14:45.757178Z  INFO prove_core: Chip AddSub: 20 -> 20 +2025-01-14T15:14:45.757179Z  INFO prove_core: Chip Bitwise: 14 -> 16 +2025-01-14T15:14:45.757181Z  INFO prove_core: Chip Mul: 9 -> 16 +2025-01-14T15:14:45.757182Z  INFO prove_core: Chip ShiftRight: 11 -> 16 +2025-01-14T15:14:45.757183Z  INFO prove_core: Chip ShiftLeft: 16 -> 16 +2025-01-14T15:14:45.757185Z  INFO prove_core: Chip Lt: 18 -> 18 +2025-01-14T15:14:45.757186Z  INFO prove_core: Chip MemoryLocal: 11 -> 17 +2025-01-14T15:14:45.757187Z  INFO prove_core: Chip MemoryInstrs: 18 -> 18 +2025-01-14T15:14:45.757188Z  INFO prove_core: Chip Auipc: 11 -> 17 +2025-01-14T15:14:45.757189Z  INFO prove_core: Chip Branch: 17 -> 17 +2025-01-14T15:14:45.757191Z  INFO prove_core: Chip Jump: 14 -> 17 +2025-01-14T15:14:45.757192Z  INFO prove_core: Chip Global: 14 -> 16 +2025-01-14T15:14:45.757193Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T15:14:45.757194Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T15:14:45.882381Z  INFO prove_core:generate main traces: close time.busy=125ms time.idle=1.75µs index=0 +2025-01-14T15:15:13.723814Z  INFO prove_core: execution report (totals): total_cycles=2800771, total_syscall_cycles=20, touched_memory_addresses=38702 +2025-01-14T15:15:13.723838Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:15:13.723845Z  INFO prove_core: 859232 add +2025-01-14T15:15:13.723847Z  INFO prove_core: 489674 lw +2025-01-14T15:15:13.723849Z  INFO prove_core: 457802 sw +2025-01-14T15:15:13.723851Z  INFO prove_core: 236373 sll +2025-01-14T15:15:13.723853Z  INFO prove_core: 144687 bltu +2025-01-14T15:15:13.723854Z  INFO prove_core: 118571 xor +2025-01-14T15:15:13.723856Z  INFO prove_core: 113040 srl +2025-01-14T15:15:13.723857Z  INFO prove_core: 110820 or +2025-01-14T15:15:13.723858Z  INFO prove_core: 107701 sltu +2025-01-14T15:15:13.723860Z  INFO prove_core: 48369 bne +2025-01-14T15:15:13.723861Z  INFO prove_core: 35507 beq +2025-01-14T15:15:13.723862Z  INFO prove_core: 34292 bgeu +2025-01-14T15:15:13.723864Z  INFO prove_core: 18961 jal +2025-01-14T15:15:13.723865Z  INFO prove_core: 9528 sub +2025-01-14T15:15:13.723866Z  INFO prove_core: 5836 jalr +2025-01-14T15:15:13.723868Z  INFO prove_core: 5146 and +2025-01-14T15:15:13.723869Z  INFO prove_core: 2921 auipc +2025-01-14T15:15:13.723870Z  INFO prove_core: 1256 mul +2025-01-14T15:15:13.723871Z  INFO prove_core: 440 sb +2025-01-14T15:15:13.723873Z  INFO prove_core: 262 lbu +2025-01-14T15:15:13.723874Z  INFO prove_core: 182 mulhu +2025-01-14T15:15:13.723875Z  INFO prove_core: 143 blt +2025-01-14T15:15:13.723876Z  INFO prove_core: 20 ecall +2025-01-14T15:15:13.723878Z  INFO prove_core: 4 lb +2025-01-14T15:15:13.723879Z  INFO prove_core: 3 divu +2025-01-14T15:15:13.723880Z  INFO prove_core: 1 bge +2025-01-14T15:15:13.723883Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:15:13.723887Z  INFO prove_core: 8 commit +2025-01-14T15:15:13.723889Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:15:13.723890Z  INFO prove_core: 1 halt +2025-01-14T15:15:13.723892Z  INFO prove_core: 1 write +2025-01-14T15:15:13.723893Z  INFO prove_core: 1 hint_len +2025-01-14T15:15:13.723895Z  INFO prove_core: 1 hint_read +2025-01-14T15:15:13.723901Z  INFO prove_core: summary: cycles=2800771, e2e=28.62551874s, khz=97.84 +2025-01-14T15:15:13.729837Z  INFO prove_core: close time.busy=27.9s time.idle=702ms +Successfully generated proof! +2025-01-14T15:15:14.250293Z  INFO verify: close time.busy=511ms time.idle=1.24µs +Successfully verified proof! diff --git a/sorting-output/8997-2025-01-14T15:14:40,969777275+00:00/sp1/output_time b/sorting-output/8997-2025-01-14T15:14:40,969777275+00:00/sp1/output_time new file mode 100644 index 0000000..d711eeb --- /dev/null +++ b/sorting-output/8997-2025-01-14T15:14:40,969777275+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=8997 --prove" + User time (seconds): 1016.97 + System time (seconds): 47.16 + Percent of CPU this job got: 3217% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:33.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): 16157912 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 1 + Minor (reclaiming a frame) page faults: 9694370 + Voluntary context switches: 452229 + Involuntary context switches: 76866 + 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