From 315692515533a85f8b3122f5b35bd611aa5361ea Mon Sep 17 00:00:00 2001
From: Matthias Goergens <matthias.goergens@gmail.com>
Date: Tue, 14 Jan 2025 15:02:06 +0000
Subject: [PATCH] More data

---
 README.markdown                               |   2 -
 plotting/ceno.data                            |   4 +
 plotting/sp1.data                             |   5 +-
 plotting/sp1_ceno_scatter.png                 | Bin 21594 -> 21738 bytes
 .../ceno/hints                                | Bin 0 -> 32 bytes
 .../ceno/output_time                          |   0
 .../sp1/log                                   | 110 ++++++++++++++++
 .../sp1/output_time                           |  23 ++++
 .../ceno/hints                                | Bin 0 -> 32 bytes
 .../ceno/output_time                          |  23 ++++
 .../ceno/hints                                | Bin 0 -> 32 bytes
 .../ceno/output_time                          |  23 ++++
 .../sp1/log                                   | 124 ++++++++++++++++++
 .../sp1/output_time                           |  23 ++++
 .../ceno/hints                                | Bin 0 -> 32 bytes
 .../ceno/output_time                          |  23 ++++
 .../sp1/log                                   | 124 ++++++++++++++++++
 .../sp1/output_time                           |  23 ++++
 .../sp1/log                                   |  40 ++++++
 .../sp1/output_time                           |  23 ++++
 20 files changed, 567 insertions(+), 3 deletions(-)
 create mode 100644 sorting-output/20998-2025-01-14T15:01:55,696955969+00:00/ceno/hints
 create mode 100644 sorting-output/20998-2025-01-14T15:01:55,696955969+00:00/ceno/output_time
 create mode 100644 sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/log
 create mode 100644 sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/output_time
 create mode 100644 sorting-output/23877-2025-01-14T14:59:46,921499287+00:00/ceno/hints
 create mode 100644 sorting-output/23877-2025-01-14T14:59:46,921499287+00:00/ceno/output_time
 create mode 100644 sorting-output/26331-2025-01-14T15:00:23,502098054+00:00/ceno/hints
 create mode 100644 sorting-output/26331-2025-01-14T15:00:23,502098054+00:00/ceno/output_time
 create mode 100644 sorting-output/26331-2025-01-14T15:01:02,514187816+00:00/sp1/log
 create mode 100644 sorting-output/26331-2025-01-14T15:01:02,514187816+00:00/sp1/output_time
 create mode 100644 sorting-output/26603-2025-01-14T14:57:23,048607813+00:00/ceno/hints
 create mode 100644 sorting-output/26603-2025-01-14T14:57:23,048607813+00:00/ceno/output_time
 create mode 100644 sorting-output/26603-2025-01-14T14:58:02,717135588+00:00/sp1/log
 create mode 100644 sorting-output/26603-2025-01-14T14:58:02,717135588+00:00/sp1/output_time

diff --git a/README.markdown b/README.markdown
index 75eb0427..63595175 100644
--- a/README.markdown
+++ b/README.markdown
@@ -1,3 +1 @@
-![Stats](./plotting/sp1_ceno_scatter.svg)
-
 ![Stats](./plotting/sp1_ceno_scatter.png)
diff --git a/plotting/ceno.data b/plotting/ceno.data
index 5f1768b3..22188601 100644
--- a/plotting/ceno.data
+++ b/plotting/ceno.data
@@ -380,8 +380,12 @@
 18506	ceno	28.77
 19264	ceno	31.6
 19563	ceno	31.05
+20998	ceno	
+23877	ceno	35.93
 24012	ceno	35.28
+26331	ceno	38.38
 26451	ceno	38.32
+26603	ceno	39.05
 27592	ceno	37.69
 29328	ceno	39.19
 29750	ceno	42.74
diff --git a/plotting/sp1.data b/plotting/sp1.data
index c8308d14..e4a9a549 100644
--- a/plotting/sp1.data
+++ b/plotting/sp1.data
@@ -380,9 +380,12 @@
 18506	sp1	44.53
 19264	sp1	45.79
 19563	sp1	44.41
+23877	sp1	49.46
 24012	sp1	49.39
+26331	sp1	52.22
 26451	sp1	52.98
-27592	sp1	
+26603	sp1	52.82
+27592	sp1	55.8
 29328	sp1	56.88
 29750	sp1	58.3
 31065	sp1	58.53
diff --git a/plotting/sp1_ceno_scatter.png b/plotting/sp1_ceno_scatter.png
index 5d8c9400967ee31ca1ff485d48392623d18c7cb1..d54309c068f8f8be2d670ea1c82993d03b09a1e6 100644
GIT binary patch
delta 14537
zcmZ{Lc|2787ymU(WZx;<l(ooG*|JSVlqAW%XM3_QWyx|)V#;1q2=PSmgzWoZ>_nCp
z!dS9Svaf?N{O+ip=llD;UO)ff&b{|@K4*EKbKajb!~anId`DIElnTt%$$Vs|iucke
zpf-rCE<J!-28us+OnJyYanSv>D>pMHQS8E1L9-*k|L>=vu%mb8wQBv!I$C?Y`uVq+
z@v7RrH|b}5CgN3t&4Dm?&Q?*}h@y`7y8|3z@K$f=-vLF%8W~?QEG@y2bWmsi677vp
zHXz~0P0!1PGkX(jw+_IIHxZ>mru#dt-a0Y~Gg{gEgHbp-prg}cJ@gdwCKx}i{<Zlj
zo^+t{{F@X`%^Zh&p47EtI#zGQqeH&@EkE!Z*=2jCSd}wyfE<u$v&*Jqz{2j4y0ArR
z6mmb%Q4{>DbM~y%yPY@W5-^ayak3db-|L~DN7~#~A*_1`IJJKeTHZG%q33ND_J^y2
z0c2X2dr<I4&pNN}_)71NiDa9f7q2S9PI=lSCe@A&TQd{zgw4bYGI*h%6;-7&o*A=*
z%!5@tb$bEwr(Mt61>E?a6G<Dd;Y0eFMyS;2J5yk+F&sLi8ezK%V$i8JOQCgUKQ{XY
z+U!hk6Wh^9_hG#As108t3-H)anHxP-KK91OQ|lH_(@n&tn4$`IU>#fiS5iSiWpC-M
zvuAmqeA_~oNAxH;K!IDQu5v-)?2oS32V0vOi$d>I5LhyDTcuLV&t{hFxf#K#KEkE5
zKEL^_hDuxE&9MV8fK<6#HuLttbqBQ%ge8@sb*xwp7Aw};OH||GK5EYuwazVnato4~
zSzLFT55=!-k)CJU43rACzCBo#l1RWGsU7R692W{LJrG`8=-e5UDKK7Mal!HDSP$D|
zs6va8#8c`_My2!ByI0z=xPFbdYo8C~<0fHYJo3~LcyM+d*9|@)R6hJGClL#KC)B-O
zfjp^=2pn6GHRnZHcJ9tEk;<Kly!LEJ+Pkp8^RPMY&*a_diK{3Y;e->EcOn;s(&LcE
zduVz<<F#^3r9_Gu>T>9r`Gae?8w6y56^hXpfu7^<*yzHa{J9fBQcl2s{#l4!uEY)P
zeFC@QH{j2NvY}f%O0q1j5a%&yaX9-&6yx1U4RsoqeJ?dypC1Hd1-YFOi2TWMv^UVV
z;j?>Qi2C#PDR*p;s-@>aA&dFXxY`=B_}+p<{;qS1=slY)Y>@|po1a~|wp|3=M?D5o
z(E4Zc(|Y8?tfCYxKePoC-}chCX0#`$?;w?cw~_88xDsjc=cg!+m$bDNO*Sy)qyyY$
zeEbVKQZ(w*Yn4wbZ87=*4YLmPZ-yc^-)b-eRm92GOP>qQltj83_}rlVp8##}tP*r_
z4AE99pr!{NCw=>=BFahFGq<_J41}2mssZo1!q=UsfWp5#Y-5cxib!o%SyTWnXD)8b
z=W}ai1_OZ9DV>UfQ3198)P-$qq`L!vYJWwW8#@^QwvR4z>U=xis?5MVRbIy^-}sgF
zI#c7<TCRMotFwCb_W6T<eqCW*h}IoBirI&2VOHQ=;7|dwJ|s3#B!jG7&Ou{%SyrAV
zDDVk`ZVv@LoXiY7^P+15e=IruToer@vAmj^*mC_=vQt}Y&D`xc%@XKWkaTa68^hyR
zx51T8$^<>nJZPuOj<j`g3lAwnMom7m@xX6SCKD>(hmiZouNc>B?4(O!r@Atip4W&;
zSB`;7133I`gSt1Nax*&>8<igKT}k6dfuj0&ZXH9Q(p%G)YrKZ8pw(_w{p3tO(xd;A
z<+*x6oAZ?gr+bI0{{oAw9ZHkCP6QF#j3L8llKw(Hx3XY_KeLHs>sTzV9n-(R-Frfk
zc}8Btvg`8rkxFw3Qi!P|sjGb!wuau-#)7TWn~FVnuE&cK&uv}kvfC5}wHc;;@*dfz
zM_`L0RgR6RSC7z78B3x)XncCsL(yLsr;73D7nS~kcg3_kY%JGZ)o4G<%=%QN8os=s
zrAE}Mm<K4jk99AK=k9Q)2BkbK_WjuFhQ6}EeUu&ArxxGy(u?3?#p6baYx$!f`u-Bp
z08Xm^`ANGnd1_*avx5%~1L#6Zki)_S1?b?~19vZ(&9z%!53tPeXH4+V{I2~1=>Gks
zP1!j40<FsATDSOxT?XhG$sGsO`O=ZizB|Rpp7s*K@M#A4=Y<b0akUr9h&|n&!m;)*
zoxk~3KDH0y9KhuGxu}6l(V(05>qDzoG^&HVo(2xla36OkWYj`E62gZ?lCN1ALuX2T
z2TObHv8b=n)%SJB1izAKXOT;66!#iDLR#S02{}2TY$Khp#hY*cg}=R7ULs+sBX?IR
zf0eVzuW9cye?))mr4#`x{kWz(JlsJ3bTj6MjW!BsxEA^zMDDjqOGzGzz^U^XR(uI^
zK*P(ZN1PewfZ(HW_FKU{z>4TI_%j|y|C6N7!3f6)ik+?$Bc;*y>6JW&mdD_C{#=UM
zT1apvyb`yCmeJ&pN?3YOYnDFK`dVGQxT-A4c%k?7b!c7W`9@eZqpo!P&f8jWgD14N
zYpF(z#i)^_wa`>@xPF!;B58LmYIAdZeKu2k(<m@pH%sbWi3TYgwt9Gjuqgt<PF-&b
z5QF{s*(wE~4MW~;sm5Rg99X4ca7fnl>^#{^f<56y?WyhmjRd~Kqu{rM+JcmYq!;-+
zyhg_+hL^wqXM37ED)ges#~;2cX3922484`;+SP2TReIjO+H;~ezUdCL!_i;vB>Mq&
zb#u(X6bS3n=jt$w>OBV3KY|@CX6T|njCDABCNlpp=G{yYQN{;3R6s?ABr6amk1=3(
z#;~&3Vh-4<|DWH5;H+-rjno4;Jq;jbfB?coI6LBGYmF%|VDaf)`J&KkWM;8X-U&#;
z_pSut1bZ`UPocH-*H!tYnn1&aEh|L(nvdGFnQ_|s>=a3t2FQ09hu<2D6qu3gN@cGu
zC~mQ`4|osZ0bTZNY&ZGs{-|oN^vvSaPHhuAvD;4oMEu(OR@>~pxnLI_5W#X+%EYzO
zL$CS~kb`7y-@9dfiWS(t>KThH$yQ3SGS&98`*8C2Q$74TCW!T`8-0rzc#Sc?{Vh-0
zUOP-Bs1m?jyPEittfDZ~f-_KWtsaWFPfGUYl>zor{1u3S-hb(fNL{-jLPH;B)BN^&
zCYiLwf$3v@%P*yXgd8*d=AkMc3rBu~1dp_>-1^I%Xj%G{g_Vjb2b0PA<eKqXaaa6c
z{T)uaFrm%VZ-wR@aM*Wk1H^JBGIJ>I(oyIk*X?P&zuj!)=tWW%FCZxjJ?cyO9N3fa
zv#X1SQLSW2B={R(CXORZJsJ6_z=q~Iy#9CMO~j{PL0RNTI>U-LiGe+F!ZK4VoA^ph
zXscz5D+>wmDwUU5aX&soPZNeF$06Me{(Go<#h&-^!jnbGD=5uUD_V;DU0W)!;*eGe
zR>0WL6j4F>Es@X*nfAA+5Lz1`Ft&{BhDgD6!SRdGg8~uk(27e7waEY70`@X0m=+F0
z;?;ZA4~{~J8(7xv|DV7rDl-3<z)Lp~;}<dG44*MqIgf)vy*rx;g~ggcSPWzXN0o(+
z`8A0GS1Ipr|AElh(1=jf<-qw^-9XY_u(kaY?C-rpP!nYDn;}%Nv+31c(7G6HU);n_
z1zZ>#9T~qO2uZS+>90tH4CQAhFccvg{Ts~rQc13($0{e2^)q$Q9tR`)s}<{q?vYwc
z#y9$YkFET;FkbvYOuY`d)+~qPm)^9iJ%(O|H53Lq`+|4ln>yDrr!_AD+wzv3BEvXO
z4b*#9%!%X29U2sFjEBMokHgu!{W!15%Aan$(MXaw-DvH^_s3wd*JSD6I79zZ6`>5H
z1<VE@z2lYO@-SUao%47DiN>%0(Ae`B_bTvGULpWR!V6nY9m>BjTipfR*(;@N46Rf*
z!s?VmNJjy0307NA3D(Dd|FT+zVlTa>!r(aySRR_WLNaH-MkDi>6s+;<O+>?35d*`?
z|M!uPs4C0}jv!DyCa=614u=IpOY!^`M&Z5<Pa#)Flm4>s;1S4aetDgnVJYl!)yz%?
z&IYet!~}UE9OmW{&PG?n!AV#2s&%zZvN_(QU9v&^w+G@meG#kw^Y}8ekOV7rMI$7N
zVUD8YBeKb$j1E1`ATJkS@@M6W2dD+n!Jq#<rE9^jT^?;~0jY#?E4Ju6RP`uaK{asw
zQg>0T94$L!VhkIP5{NZ`FB9V-aeo78ps4AKxeZ!4d;ALvC`Ga68^8Y|By_A3is>S8
zN%sv6x#zEufUUOiaa4ZQ-|Z3!e=!#JQ^Kpnh?W_z{}ys*)9S+u#;<B@X<&d(BR?G=
zvAaLV&mU1Pb9i&CVbKThKn0%qH}X>EPysb1f59gh9~l*~LYbH^LHX4l6XcWm%hc`2
z5TQRlLc`I(-(j6t#qp~~a68CuM;?QxW@2R6Qg6Kve^pNwsjwwSnUyg83f+7tDz8zr
zf|BooQTaWDp$ZM>@%q$WT89B@PFw26GH>$nnY-*E#@GtPzzm@D#7UQL#tj(=!^(CA
ztgWur5b|6;gzR!C^dgB0#H7nsh*o8s;M)DfD*KA8n-AYX_>Q+-c3<jRGe!hj3AWyU
zCAyUS3$+aG`4--HlXpy)n`)kK<`9e$>42N7J+u1*{P$6o(Rf1pomf#A;80syEhD30
zg!u1$o^DI?20gq`K$89Kek)17qH%0+B!i`V&4XR-9*M9OuQ(Pk6|0z3`9W;IZeO_)
zz3PPXf^Zs9*7@X-)((R>`#yxtgNHdT)?HTG5wpr74<hC_7R7-*CCa`fZYvCy!k#j1
zF*a^x(~rqe{yGe(1W1ilpO}mt!A-PRk@!hy<4}iHSflyfJ!haY<A~qvkf|*eN7}(v
zQ}-$mcUHY5qR!UN?WF3`7+(tdK87i7$Oef-RS1%zUB`l-W!Ou$R3IU&Dghe@BW9dl
z*p44#*dv>`+Z2nZlKwvLL*Me;O_si;`$A*A{Jt%-!&PgCq>`Ai@EHpPKoe|Fv-bXF
zQejYiwM>thx4^O~76LF^;qese9lc&fB6@G@a$xY8LGItB=+>ZmJFKE`aJ@Suu$t4%
zx}Zwa;7@G{x)%{rNmCPE-CgTZP^RR4to(H4*~~YiBs!q49m;3_;kw$;NJe|Jf8o<C
zR(efJIJmiFa1c)5O%^`Ps%!AH>!#Zjw4e2pNpwd6gE^~xqiU6pvvN{NUDc}mohL)t
zA3=G_%*cNiL0+}{_$M!bjZ0;V#rXXqD5oU+_1l|0mZw-K*@_BLAOtQ{UbKYjiL%&r
z!ubyLf7uC+Rj2RT;)<?%epPr&3KEIsS9L?#&-!a69yI;{BuCx?!ftA!zS_snD`T&W
zK{D(d8^Q2zyBiRxKm6>fZU?PDjUHO!LnAkXgZBF-$?VyzMs?-8cSuoMBTtKtp`OPe
z-M&##c5J-b*j(XeQw%N8^;(G=-L<(g&turq^6vgYz>47Dxf}d}7A=q}(&GaY3G-*z
z1i6Q^Jh|v;U_avhwcM5pyS-~&r42BP68HM8OmhTckpZn=!C<99!WBeCp=pbO=}dLS
zB)b;m-*fQK{VjL52D9ocGTJ1wBb8a@pK9B^uhFbZ=II#ZANOSW?uk{uZ`BH!^kre4
zW|irnO}VTDmF?+CiG1JsHRvUAmpH;-iA8GT*9NsvD^XBfraWFpGRJZyNp$)N=&&dp
zLoqJ<8-RlH)^bpt%;C%HY2Pi{)OgqLqlXe5)e1vZn#!&7?dFbFLD#P!RFq*14O{7M
zODydR4bu6EixTHW2Tw5!Pn}oWcTrqygk-dJfj(ZZ#fQHrEZ4NEm`C11Jt7r~VT&XZ
z7TG9G45T*KmC#qBmn{1PyXwg_RKYE!-5`19mbJ@5)1@Drf)D#c+m0cid|6Q~(|Or!
z%G|U*s}DTNNA@_PHZP7W@n#R{&e;;2GWp2a_*FBFwq*BESx~B}6^DutVG8oFIcFBu
zYc6!#@R4_jOIx?~2x@*`g#ZO^?=$&4e2-vk>kgAa?~qQf<OG|#_%E!0x+kw7T3wm$
zSU_;o7XjI&RbR;3L-9w9z$kOe4%ay?S$RtaNvQ5xDMH>LVsmaV&|2t8-@SwihMF^|
zlBlmHXkG$Y7)18Q<_u8RLqqkUoNK{GaeF0P5l=MCK(S6|G931jd~GHDCF^$+&9o<>
zO4jkTJ(@&;2x*Xpp}<2v^|Xyg<W7hi@sl8KBPtM)oYIk1Bs~+Q%jt+^mg4Eycpew{
zN-9PFEr^$?yCX=KEw+~aLmBe}XZt`me&~~NPL5*qumu!$#*i0n8eNZDC1e>QYMjnZ
z>B84KmC-=0RvPUsZo(w1MzqJ_PUTFCqFpXbv4Mg%Zw)y#R-#@)4w7s!Y#skCxL?$z
z#EQ1Y*57dYBKl+7iId?>L=(4hyL<8100048)x3B+_j`!c6Wdd6;oiCyF=E0Avj_3a
zeJ><fgN<I)4GSf3c%QU;YSqaj{a6dtk+M*BoWWt&tL2j^@_nYpg4XrSjMB+Yk(yPB
zvT-m%UI^td#hf=ME%o9YeAK3RG^kqR_QSf53Z`G}YH69Lx?{efz{avRhcq@zN5yRv
z)>qT7YnuzRvP-8aGC1!R-kPQpaH=GY<LIky29d5BvPn+F%X_b2jV5xmYt-qUOY!Jt
zd6`~GX|^EWPN&OpMaYu3k|MVd0Vii9r2YY)R3}f0c1_7dK+rlLdx==S%0y^wpIe>y
zRDjG*s`;EuQ#|Sk)!Y@0N->HluBh|A2=b`v4YG2$Zuqm6B)>$vr;E698Ys8Lz;+&v
zx(7FB-ETh{zf-O|O;6KMA(6nj?50MnB8k`P-Bw{ew&h}g2%tT8VhlpNMv0B?<L?PQ
z3iStK;>qZs_vuz@-UK%yp9DN;&QuEHd{Pi}E@Q`ou5TaK`6xWTU1TzNB)Ur2E>LQH
zt!k3Jb=2nG%941ZU|I<1oQ=)#t4d-j83Y}rCU1!)<xj^wGSt6<cxb|xmNxa&yIe9q
zQu2;+bj|atAKqRs(Z&`f?z@uTY-X&iPm~Xo9)vH3QoptRi2CXlt~L6!2zq+x4oV74
z6M8)$ICKg1NSyO@DY?>EV$fCF?kGG6is#2&)k!n2CDtKCai1_9fMTZxKmOr9r_p6#
z`|)FoVW*^d23k7<#2Pki_Y2*Om=6$a+|nP=WnaI<u2r7Z_kH+b{DV7o2fYQJ)Yu{h
z$x;bcJoyMklTx#)3G1)Ft0p*s0?Erm)$<V(8`wGFXYfq*gtPmVi4;z#)qSZ@RNL;p
z*n!=?3+f;D*#2~xu=uE<5t}$sBK2J<>x`}Q@1l2jXO>P!Tx&^}4(pAodVM=k$;Q|!
zGsWZFg$(MuIL3L0TAGPH?0WW4f8x&S$^#Sq_4^ehCJK3D+7gH;<hOgsRo)_VZTRF3
zhUxP*op<Y-T}t#Nlb@!uSk=1*(^p6;Qj$)0yj3jm6>P3vNl((=FR%VXZ~XZ11f2t|
zK2=!7KUqalCR=tdxjM*iIS4AbOIHvRJULkHEuZv`$^&(bgGe;kyXa7=hXMj@T3R`~
zCN23Voj>_oA(nrzOfl&%CabasvkAt^@3*Nt^}1rRTHVm!4p|O1h@67LwOcgmI00D`
zzla`sNf-)e>qsBA_v3%L*r`V$Ksc12)c<5JKV#+Mf8naS+EXtjE(aE-vvU<zWyb(3
zHsOTH@*|+POaf^r-0phG2wP6Qv7apM=j9r6rRR)*HK*K@(7*DlTIwE@$O~L~O@x0A
zNz;2zYsi!#5IRDBIkzL8Gep<o7w~H>Z(aOAl<r6#PGLER1bdk=;%zRKVAoe{h91eF
zJ@^}$?JG3(rP!*P($u;@Rn)i4y;#0$YT&7aC5-ni`|TS_ZOQsM`f<2n2b#4aq|^A1
ztt`0qlVWOy29-O~gwQ(6t|{pKZ^bRPzmN(3Ie|3gKJ@psp1B(#N(FBFGx0F0ilLXK
zEnVTjBzf@d_5F=1HSRWUe{GXkEAIotoSn1Ac(-x2c#k<E_KP6T<HeN}N_Pi}Wg^$`
z*u5MEksu{n_JK>L!e2bcmmAI3aisPFx}SG<d2(p23=mLXL2(S}{9TU<XOfkv*))I0
z^y@F%cJ*vF>C`W+`CXZGyNd=*7)ZTKq0E5wO0X}e&fkeY=o-AsItttAnumWrxb07y
zOM2buqQB@tQ?kvINbfKK?!b`wk2#J8?U?Iwmdnyx4Z_BSE(INDCa6Wkzqj|MHB0QC
zMJDdgZd+6|yHaZG6d~-}MU~n423P7QvGgK**vSH<n2ofW$t+Tnl5Az^rv+p-kt@yf
z+&T)7ach#}wG;g-sTw39qCmtQ^)0=cnT435szg2pp%lhNT#E|C6p4$2p|<;?5dUCh
z$>4f^yd1+M?sac`|MPm(=cW1w0qwc8@X3(VH4s!#Sf(v#dmWz3KD~U`M)jn6wGp@A
zYwg?iTd@-;!>uacjiG%DT?%lXT+%VMX__{L+=!ekn8&Fq+jDBe_e;=$=jJw>4sR<K
z3Ajl@nC0j#4KlBm{&)!g?4e82^CEWKJzJWv=tQ&jt@JTA<7yQHM0F%c-C<Y533_@;
zN_&exbV*+N`l0QNTL714IV>=EQd^-~>qEV^@p92`&`x(>l1VD5ewMk(-!XUb<$@3M
zbT90vhQ)4U;B&*3zl9)hJxZZ!OS?l1226aw`1-`47IvKHh&NY{$Mt>R;6h&-FqTJb
zoP<SY+bl~60itY}A9*sX_{h536Z|^3xmVXi9%<lso(d<-WJBFxK7mKZ@ho@8O2a8W
z{NyL9;&I*xX#otWorqSu-L<%CyM0HcR*XVA?Nr06@fI&Ov*LCt3AmkQhJ&~1pfSQs
z@x?kpCO%`hVB|2$amI+8Iad2QjUoMY+O~0Wl{2_j*z9+3I)T<u1Xy_}bS7bL=-!tK
z-pG?g9LY@gjNgMb@(KZB2vT?ZVMqOpyL;&7#<S5ip>w$g{?t#*<Wxh|zgXP^L%#X{
z4qIPkVrIaEYLgld*x~SCijzO`MYm!(Mrc8h^chmylDd!qoITXHUeaSA;y2{!wY>Z>
zQ~c4rhx%xteJK4E{?bL?s#l?90%Jdq_SDnUPv29_*EyXKV`T~quzCx2h)RY?69m(_
zm1GizsLcJ>g)?LlycF>pPm`T}E0-6gF95YCe)=qdZ+mA(c$jNbmJ1%7hwXfnxTm12
zu2B@gFJ0G1<!}FP&U2W#@DM#Rr3uy#tb5c(R9RR?^%KD&WMan0QT~pFVXIyq6_S!Y
z)`x?_E31x=5F7&~I)ht9L-AE8!Foo;;&rTxTV<j1-4BftcJGiSc1;KO4z3^UsSvxt
z$5y!yi4FCwZc8%Xc$k|$LtON{zPqD7hNV=7+b`b{V+@_m{l#+B=n9C`go=I7{OT5&
zR6Xfl#k_cW2eQGB4EQrg-Ayn0D+pZ@{?7hb+Tx12yy<4X#_e!5sFsA<v-ZpOkSzVv
zba~<$vgK<RR&0+?-6JldoilK%AkAx}rYaxUaU_U>ka0~991o1Xvg6z<80J@5f+wGR
z)Mmr5>5v+N3ylL7c(HF8)dWz0%4)E$5O_pqfgQIvm$t?;i;UFQU-umE{*m!;JPXMv
zM+-X!6~-AdiM|MMqeXibnGL0XziVf>My*i!4SoUdk4a5RNOjw?flz6giL9MP!el%`
zDpNICunxO#mfEfsro-5q{bmmR_6fwCE7E=@?T%%9xp%&-*2LXTrvF=p65xPSrY+&i
z!H(XIcE5<)lkPd)QqcMlH7zM)@Kr3U4+{(2<^VM|nDG<kmy24D-ACI-L(5H?n^yQD
zWQJ{-r#&*jev>xt3du^XqPO-B&OAH=A)SpXM~HrUJaT1f5R4%2mRk%jb%!gn_ADdO
zrS!%2`U*s}y`L?Qv1_=&k3o){yWYWNNGL-xHzrdT+wxI*(_XBaDTJ(F%deu!gv5qD
zZz7h@(NzR<CSELZgc77Tr!l21$>bTE&H_U~6H%bZ1Zv`wbOYZNGq~Qz%)|UM&eFn=
z?G%g<>>Tzk7wsJO;4yCF?+}A17066I)Mg=1G8N7w3{9AFb{s#vs1!p?T`DA~laBxk
zyzn)7e?_!8Z#>WtT31?)<3!Kis@vJQX=!XWS>PVP>!~oBx;bHA<i_<owL^r*db2!E
z(4*TR%~J?tcjh_E*nWV@;&<hhHa^c<Eu0>PM!J-WR9YqNO2sbe)cKqF^I|qu-a>Cm
zV&r9&sBADEvR)j86s(~Tv<1|XaQt`#LtrarRTe=Ng<+RdqO!*5%88#Dl|Jkcj~|jh
z39JjBl*236{>iPl=+`G)dk4ypk+8;j!5&oE;wKyxCPPk=suj~ECqN~MnUm81(RKIQ
zf3+pQsJ;<e3sw5Olo0iy=zf8a@<Plf@CVnqixfI(GUnV2M$M#o)nv%pg}Nc<CgSl~
z%QtV13mqfg(Zc~Nd=wHOs}C{QEO4{ACBUnx-D_Bzn^AXbn#WpB<_|;JWE)*d=q7m$
z3-c8`-~w-?FBe=4o#ZM#WUR!vAK1D*_M`b6e`R;IedYVoahir~3D)aIL~L=*t#^@m
zA{87bF{|2}-~Fk!e{t;Mjk!a&1Btc@>C%Ht7ji>Y&%RV2?{754twt$BeAb~>ycB8A
z;$w}N!~<fm?{dAEMfP^o^dk0JB%MI$%t(Tj=HbzGZ&@}=o66-xJB2qID6b1gs8%>6
zSVxYEDdrZO&t1)Lbn(#~2m$+`7WWtRN@&crdn9-JavztOsn}5M#boLo8cJgQ#o0ME
zwv8HN4jjp!jKAECe@iwAx|?7V*cwb>P9Fv}?+Dtf-JW88KL>8xt4A|`cfN_J`lg>s
z^jBII>Waj_ino6@#7on#3@ue1cPUS7P$`!;uCTL>`)GZj#*vp+(+(PzHgXR?{8_GP
ziI;g|k!Yjm>8Wn{NrW%dxgFx`e~E)odX)Q<WkNuIC3)1^%LHvkwSAhN#$NdLRG)ns
zc#wSlamOHagZMA{{=g}RYRj2^YvzOnPkrHFWk!QB#epbC57!C3%?y@$v%Q<pfyeKj
zDRAP{bieFUvP~upFe|~j(Ijc3*Mp!56FuZ~f3Qlap6Pq7wr3-!cxZlKOWKr&+luKl
zXU7T@x=OBL)j?I8;v<w^JPR3Wq4Y61?aE;9-+4)NVT(5r8Xi81jjI<-jI=-?;2|V~
z68$Ty*3-3}MxaRI*=Cb`2$Cxr{cI2<<;@{Sfgk%%;wrNj!()lN9S^bW^uB?uONR%r
zqdbor8<9chER)pcWdgaZQ`NSQZL-mYxi8|7;I#jn1%1$Ycp_1#aVhtET_dFSL>hVr
z89uozgTHV*lC}3fWC`s~ubaR8B&l$?BIQ$I*3|p9$@6p`$2S)VWk*v@+~O#W4fMuj
zYBP&ULM}bwBJkZ2E5k|_I2H7zT)XNZ>IhYWEfHQKbS0~A|IU-<eaYS<a^Qp3Y)WBD
z;r^Wjl1Jxi)mU1JFS=P5EB~_IUh)Jm=CYgY903fn!`ECRPbI7z7vnbZq+PLtl$>Pn
zLn(YrZAIqXB1@9V0`o6bW)9_3FHV@)TkUnV$vx)!Bb@<4{bbJB-R8pC_@PbOuvi1c
z6)=4v@+U*KikH7a^o?*J;1dgH$KAIxbTOAQo;R4vk~a(6EQT+{U8J!tK2Ndv$2=rA
zb`niLZ3buboiXyF#(OY}On&Q^sJ(Ob*FG{mN4ANI;q-#(q4H#d(t2RUE**Z>ukGFD
ztDN;yM%#Yl%u|)k49Qj2IGTobke5rRj|<bZjj}SGxXW)O%Xw_e*r?Qk`G)lCswvxL
z%8BE<Rf&Y1jwu4Y$e^$MvAg$Jh~q*+ES|#Ue?BjkO!zWtExArMDc`RzyX+Wa^;FMe
zo9!d&`UP6R+SwFwA00fQ9Q-N3<e%3Xk$7gOiMsA)@1y4sz!>Oo6Vd!QD`P+4Ho|kD
z(?k1p$cYXATmjGXgG6olG94Sf31u{vX-oQ$91n+m*mdD0T9b`YUu)(qm}u9Gha3ux
zjW*-Y@c+Qh+b$m-W3HY`FjQGHRpNH#e_53qi488ZVYZ1;DV#Ntp$hXK;?$AdHdPht
z+I^I;Uk1k6()Le>3N6}i(1sbk<IxEy>c5+;$%6AYccm%mHTWUh@J~}59pNiFBlzCW
z9rf_{VTb45<w&Qjm@og}U(3hnh>bsJm;Q!Yt&LmVTld~$6U^gF+m<WsvUNQaNA6TY
z{<|2vk8&TQ(sqeZx}NGE3NO`Y+U?lAy8*6NSp%lwPN+2QS$QYn1SzG{c`r}yG<<nr
z(JAjuvi{+39$`{X56*fdaRas5B}neV2l8o0&knhk5A5eHoXhHa{(jG^%HxIJgUpou
zk5i)f-zA<1gNTxm*R~R~JhysR8wb;u5C?$(^6~k`&G(UNrrlHh_h{CtUb=xM9*3H3
zguRT>czBD~&sxvlMlaWa&~#35m$n4gE@JObqb8RgI7VjlKLCo<8)0|1jAOsdtY6d#
zQd)j<Zr~Uy_>z~jHW9h?w?^AKb*bBDp~goYWUeB>RxKCmct7J9;!0~|5?(l6GUkie
zm&;F1XG}ixs&=)AQ;bCl3?|rx5B`>UgWjRu-bEr|A#^wRLD7K6EOP(2aZFIUSklR3
zphMNm@1rlF(`{0XEprQW8b5gCi)4b-AdfuWNM1R@>+Eo{<>WL;kcC!^c3k?arvIgO
za^P&~TdA0fgVAtXtA}tOdIk|}>Pb&s2fx|&9{TC{{SGmZ$;Sll9&~$33!l`+{S_Xj
z?<JAo_L=E2>N-dW`IOa{d^sn#RVY>ccC7ET*><1o{*U;w2c@U~&<M*=t&u4ezu8VX
zi!W)BC_St6YBt{eUZ2O_g%!6fbwM}MxA<6ELp{O#NH!fX<e5ME_#fg!C6%-WrrC75
zCUOz>9&~&&ofO7MT94{^IuM0pWR~CW1|2?cf{w}Yy)LvwKsJ#WVGTUB#nrg4xFD&L
zTIu-7nkIIkU046FcT9qVYJ`2V1R1rmGiZdC34Le_2IKh{B!Kt;9lq8s#rQ&;;_g&n
zgs3`anu5|9w02M)M6iK8S6-K{Zwv05;x>hjoMfXliOq?+SE=sIJk564D=R7zlbS`b
z+-B$4&77YQAL^Qy+pvr$hgO#-%_0Q_PjKzsTp9hjgjw0ZeSf_V<j>~WB~I5J`NLC;
z;YWm6Dh)bv=%+pYUY&qF8E_xXNIOtd(+Hm9Tsw^g`JRoGGh+*Z;BE_TyBAuaq`rlw
z3m$b0u6EA-)(mgB0%bjM^FIqXbN8bos6){Db1cC4Iy8ULjouM?@I%3eMBKu=udEi<
zO?_WnHzaP~lvtJlF_k~Z-KRo>@=^-(mWp?J?~Ui}J9f*^;CzGfG^%4A_RCfB_RGhG
z66L_X9(?cSc;$ha`zB>-0i`&0wiIj^OWoesuM%7{58?H!n6s;GY-JNC6|1XmZ4*0L
zdc|dTo3pbu&b{2`?NMQw9l+Zcl!W@5678E|x!(uh-;;qG9*(E1L(>$4oHswE-K?5>
z@@RrNUxvFwGM7Yb{$xnbTAy2eEwl?3ylca#x0R|tgavwK(*eP4OHc>QtTt<MW5gGA
zeWMw@a%s`1PqG<(TH<Nww4CYy`R864YxYGTxNC_)giq#Wa<|OWZL{dCK3q;Gdemg9
zxN@<%@oG4^v8s8K4LwFT7GXHA3r?Q-O@2TH+3?y0S+xN_pPL^28J4?AOxUc4>u`v6
zT~%o=#!bb1@S5D&C>mew#f>9=yK3we2%iYZtrPrwA8)`GaCjDxTyOpUfLq@KE<UqO
z5mD0i8rj)gkbVTL7|_E%n@*&c@x6<T$1JPzfIMxu^D11Apn6Ue20vSUW|5~``*kCY
z_5gSxNa#Asq;Xq#<f=TQLfg~pRmtC<cK-o`+w^ZTsCP24_idH_QAlH9VQCYnR}p-M
zKQQN3P2OZWYqmvRDtbToyU{-hFA1mWc(__qHFQ(Fal>Dh@k2J#*)%C$(6Yk6f_5SF
zk|40<xD01cJ5rK!<Y>wX2KD#Zq{3a}xtxzV_6eaS;nhq)%9b@^D1eLTS=sKud3+&<
zUa$j#<PVq0cBb~x3va~#1U;ut+1v$L<%_jJw#mdFXs)TdVU4I-tjfl~?=J7tsf0SK
zY7wO#zff@dHmKu~sOM(^&$+jdcM(8DAW;inyc$Q$KnIKuZ*~v%18YGrT?2Gd?#>%=
z<com4=XK^Df%w0V-&o_Fy{NvIFZ@R(P<=mjL6-4UiB#%Fd%pQYUwC`8^<v>gx8ER6
zKg~7Ole>BzxB3ii*2hKGH);F_e1k)h6w{S~{2OnPerGpF^y684k2SAW4^>s3Rze4V
z79z6)4G*uO9ub_thR<#LHl&*%Rm*JNiq8W1BKAvO!tKTbzs}zzrLZ9)V-(iwA&B4p
zrtxILtzqA-DHQj0+jix7bC<{x<~MH&ou6ck?lV`;Chvor-*2yd--ug{dhGvYzCSdG
z8W@8<78;{HuQugbmERw5wI%c~xgOMQvet0vilTq*GCeSM0(wC`(Bai%Bl|bqlAOw7
zyhe}g_-KUg($Mc*ahrbnODSEWbpF1J@xg9WGJiVBAvAcrROk%;Me1RSev4FhJNpDw
zAGPBWtmLyc=K(?);Ux}!7V*UwBTM0>wsH1*Fd&o;Uh<cZ)RLFFc7QRO4L|W~WE1Y=
zSzBPlEf}#`m;&}b`n|8qC@IsFemZ>fd&rJ(c*%6VaNA4fb~!pg<ZmSRX#B<8iCbcR
z+E#yrlt>T-b<Y@(EkZ3b{^u1QPgb|BDvwZwadLLleRwI*$kU(YLKSASkq2i7cWnaB
zNcGP7{+6V>kh_Dy{>lFJ4X}X6x$-yt8(M)Bj1f(|BKCzLiC2LRc(XkU3+$uOrCl)w
zgQ1P~FLQTf6}N1x?t|>LW<>{`?=SvwUJVOGwEdHatb5oXopN79`eDQE7EX3ST`%~m
zu5eX;EUM_Z;90e8$PDXQ@UytG{%yyguK0YMyE}J1H4qb8hAgQU7YmQxj|=Y(aV32@
zf@b?~ZZp{oRqGXM+rL;q@8NBI{~PGydB63Oe&#t^kr62!0N_xh9D$ug9}WiPBL#(=
zRWcTMm)+EjTfA_M`v+zUF;}2`4H$aB*8*ySc>iL=2uuZQ_p_*$tYZGYsJ=Nug?yri
zim6Nw+2iO}B7W*`85FexHx_Sg+9=>W|DED<GDMJj@~~`R$3|G5cYJ@5>*@J<;lXhE
zrPkvvZT^%oA4-8g3*B~<&)+`5L;GtV^Ou)vcH#qrT+JtHM?Iu^btPa8sWA{kOw@6l
z+L@kueY-g>FIU6H>qkQI4KX5rSuN@ekl*qTGV)6&x;Zy;)V$wIsb7}(N#i^tvMt1D
z3f4{pU#|WcX-(Eg#axbf&6K;6XS-*hr_Fo0a4)3x#lQ0%AG4876PIx3TvQn=HQu<W
ze#;`QuI|M<lc|8@qEiVsHGrec%>o)3-QF7+jKbUik`oI%3V{SEYuvq`M+ZbfjmvHZ
zIsD%l+GGP%3=;=p%Ah91^N~tH?gRnz_)__0@#O<K{Qbi^woM_~3-!qHsh-R`mEgSN
zXz`2(=D>>ZBL)!$CzV~-(s+Nhj5L3!F=_buoWa2_@w->yKU)@<3{2SN;|>|-6Pm35
zz33haG8Hk&nebTzD3Y6j&ADcddvjS@`UkTBgON8-Bjrs>f$4f;Un>8bwG_LFnDRD?
z-n<#&Qfv2Xx(=%AI3yChP5L(mN482a`<Df&$fW|BvQ%=VhWOJMj!#s;_+~3ixx3yY
zuF0kCnBLvA$o8gl7nR&u0lz!q@Xy`;X*F_f?@|s-F`-&^jO~WwLR0;^!$P@jM9jQa
z1sGpOe3oJ(!~ii>LK-Y@etMkdJ+A{^>bMI{nf^C5W25xc%g1WeJP7)rR%t-}zrh)G
z8wAt<dxFdl-eb=X{M0`J6upS&>IfM0=pPkyQHre83If8O_r@Zdbc-wP6K0F7Ucrig
z&GA8dBZ1$g^S?JOj-qNHE{C(Dk}~o{xjs$j5UTRemlb9JL1-3EfcoxHGA%T6$+|hj
zrlYw3qrmZ`!vDVKhk@x7|ATXkpXTBs|8=1S3;{)BVw5J>$N=<}x}&a3KQfBQSlW5+
z3m_kL(>pB0xnMH1qrn53MJnJ3G{#W&{*zUS2%qj7GFATs`d`l(R1i+sPYfs1bWAr`
z(K|T*1_}4`uw$O)7Nf7040s;@g$95l`0JVegwT7~qNe5aWKCLt1rN=KLbC?D)Vac}
zhr@M;6aaJrGrU`c`|HEpn+tTsR^Z_{B-F3FE7LwRVmOBwrF#@K1PiNr-$Q*jr?2!X
zDy@bH4Q}xcZkwB8MosKdI!mo3|LPFG<WfugLI^=Uw(e;;oY<p;GBmz+yPKV7c&cX@
zJO->>wRlDQ%+W49t%>p`r9lXwm;6Ih>XH^%@E~RC?@+MCf;K+$)2!9Z#lJ>0A(=vK
zY1k`Tt4P=K)d1j}MGq?G#v=aRfhsiai5!j8wu4L2w;awIQu=W>Y)~een_e^iKNFmT
zpA0^#1vHefaOo(-Apw9JIz%#DdE$o}{56s4;)WUIVFoR@A8(~81K;)W+;kiSz}B@H
zru;INGT3x@bWzc$Aej)lauKy4_*+(YZNwUMW0-cuY1SS-8o)O-4q1Epe`J|rd)zoD
zME!3_4z>xi=0M+5cvLYSF>?>W4cHbrqG-N-zyAX=4fsa|iVPySugg8?NuSCV3?4d<
z{DX~KP*>Vp>3=w)79n~eRs#SGJ-Ir{l}6}A3cIqZq@{{qYE~XY0l+0sE}hVK+K8mH
z^N}alMbm36h8`6CYpx()o`F@%_{%@_qr9JVKgCXjAXNtoFs0X|*aGl7c$|PLT5oLs
zke;=`tX$)y5-)}8Cc-(f>w&GJOVGH=VTjZUEtrptVG3^=f*N#P^Eo*FYbur;`9b|L
z4`;N@1kW`m<+C^upIJp+HWM;+AVzIARy=5R;%Q?y;a^wnjlBJZr74AhRto)@`P&g!
z8~H5T8D-qpgW=&ihs(01Nm3e?p8DiTVpMEnMPTb}`$m)`USaW;o<{I`U>(7nzbF3E
zRkUmP{lXN3B2YIZf4X=j=)<n9pNyHWk7b~IaBGdNMctisC{wGHO_fXcZ!{-m4D+q&
zk{6OL|NCI=kn_#$I)@NhT#{7Y0lbTBU2HDkmS^G?YQ^Ec7_c~;lM=eU<{P9NG7&a&
zb8;e%Fk!S#??;N?j3($B)A|N~U`A&VaG--;(R*vTMeuyIN5nPMKfKcKeAQFodGRw|
z!5>m=nJSa=(?`66TT^UfnXHR<B8nL;qty>38nB2XEL@aW^=dwc<G#_jR?=~<Jt?1I
z!0W+>l*^ty&N!2NmVv?VTpa0w=3eg)3`X_?ll3x*K@WTick0Z~mATl+=h!-eq~$l`
zx&!dipbser^cot&KD;#e1+LN>S>sTp*`zJo+I%(BGkb`ILBTdGCuAjj%wpaw$HG?a
z`qJN53xC<E-;f4$Q{D)7---&f;&oLL_(xBkjL1KgFmrQwBE@!;^1z_wRvDz`NJz~?
z;}*=}wtj`Y(D!&SEmUk6R>LDKHb;Q%&Ulu3gN;i5pp8_FsG%g7ktf4_PhDtUsDtI(
z8X|~D3pA*#T@F<u1cq?*;@fqt=*_GU6LfD>$LhW3z=AqQe6awkjD-pa)we?IyqAls
zgnjs_GB?7b6LjuX=0Wvr+fgkO#NuTjY}}AXXMkI0lq0ERr-Y7S`hkRJ)IK4lNl6H;
z%nA+ehu*r0XawmT%n_Rj!o8%7)EMMh%H`Y8mlXIrHWg;8GN`M!G!$P_e}K*xw+$ww
z^JgXU^FzTphxW?>oC96~1I1(AM(MrZc4?s-kOMs^&5rpyr<6A6fxaiw2~Io%6}@l(
sF+HKBH(Q`JWJREXltK9^I(NX*%Mn{<yuHBGNV#xT>xO2*CEJJp2b%28G5`Po

delta 14253
zcmZ`=cRbbq_kX+Gh|G*KZ)qsIva)We=%b7zBrXxfwfB6xWM$@7HieSC%DP4<BddXn
zYwwI}U-R;NU)AUH{pZ&o9zE`TzhC2w=Q-zj&YjJo>VHpF_?!w%`zP(G>AX$303IXM
zFwnOT%da~6`NHihp-cM~*_ExuLgURRG-4Erj{yJQKR?v-)K(P_@6oMb)!~X4_{r4r
zs@=2{QOD6(1#bhu&xZZW>DmDqHHWPIT14-i&J-<$-rm&CU*cl<%C?~RDew*TS!Fsv
z&G~)V8@%J5y$9tvq3FJ&uTnu#reE;ls^+fDyv+c>FLz#gF?LLAe`9kY%2U>HXBP}!
zNti5Co$HKUag-BiC6vv=vQnMf6Ep{-f>8XeD$gwkf0pe2h(bQ|jJ7A3mkl%fKG{*9
zT}J9i$C}=3NA-(?iLopqO5WvrgoQ^g%EsWdw-QsqyzJKG;Gz}iKn@tR<B4SkLYyjW
zqN29)xbnA_rJ3Y-SJf4Te%(M!F0`)1;0+0_qux7S)o(jmNjC>M-AI!Q1zQy}slHw#
zy&P(aZ51!b8;PlC5Zc)mmAtx3VyOJmJ*!F(r)&-SuGp_O3`WT?RP*=u%N_}v_1$85
zf7@%vaDxyuNe!eKMSdA|&y)FuH+<d|D8a5)-O?U;-PrD__<Bvw+`^*4>VToBbA;qh
zG2x+`W@jTTYva}6jYB?iYr{2rndH+hwB}`JpDH^Unr}QB+P{mU8*MPcTv9d`&*HH+
zS4mg~W6NrDG!2cnhhGWIFaz#4y+XRymxgVHL6O!~eFR>`L+8>ee|zc1ouR!U^q`&L
zkZ<abwN}rb^zt>$PJdX1&8N8t?;Y~!*&Wo6j{Kx3@|e{+Qvs>fVfHO~xdqznLv320
zSNB5w?9U^$RXavx_4DFnyKx~gz+L;IRyk;+v`^TLb@vqxakZ)tj^6&RV8?LEktSxk
zohdz#wfSvsEwKh=eTboH|6^^2c(kfuwC#z(C{6wpb~Opu@gLBd3|)I;zv#@rfbW5&
zqX`Y}VQKLkvJ?2?y@ItlXQqjMj%Ep3$G8s6t=cNlv=mf%Ds_cu-d^R7?+&(I9JB#%
zq7YlAmuVem&d66ja#mLIaKD47<86+%*ql^(J;jB0LInFVnG?V^z~sHs^Q9yiT9Luh
z{%I8tg`rYhQ^PuGfBW@YVsj1wtnZAh&rba*@@A)aIMBt=q=X?ykzQCNdewAyZwVVq
zj9r7X@dkE_6w41-^?q_w=2!9ty-t{627H}7lu$TS@4Mrm#|EzQLz%#QRDBu}FcFT$
zIbHAZ-u7IX3K{9W*h>W@V$VfeaP`Fc$^j!oVO$J1aiz`N`PW<I`2N>FYezlbzg*`V
zEoTw}5XQzii!Zd2R;_(P<pAK}<T{Wc#@vwz2ddI4K&ksa^+X=Gh(o|`$~*b~)|*_z
zzM=qdqCHZWo(5P-Bf)<B^eUwSmhKX`OKz@F10!dvbPz_??9(E$;ds)8E*c#b2`L(#
z)q91+{N$~Pv7fu?cMd*LDHIoTI7{~~$ixcz0}H)Dc?|l7UG0*8)`>W7|ExF2H0&x|
z9<;#0wn$R<W4uWM-5M;n80)%N<|j{!iO4C(2Cu|Dx?Y_pwlehwmzY%+yScDG!^>PI
zfP2+G+&VY;?ZJ(`Xv=BOn|NDE5A7ax)aXa??Twx^w{Xg)jnciU3>iXVTa%>`;*lP{
zgnm5p;BbpX0ngM0;pk$KS&b~~F~>PD!i-#Uo1<HOmP;qaP92=<sVv=327tMp$CyiS
zdmhzGddqoXBlmeZ7X|Nh&`;dsYnK|ITfXizm%Wmd97YOVKbiRD0aG7NrWDc{q959G
zzW<?6^zMalq;1sXx^H#^$YkIkRIoLApMP7ry!&e3V#9fYfRZ#<v~ri`0?3KQ56jx=
zAxhJ=4kSY`5fF`T&0~x7;3U>_6V2UsS|{%vE4we}EEw&SvLT;g3-aT9^gX<$pIh9S
zAbpXl?QueoABqLz<X&d!bXlX!aZCqd>^%fsVL*DRX{>b8?(Fx(+hi?7tct6`kkYd^
z$Q6S7Sg((GXFuqpKkX}^Tez6R@8cXM$DeW=Q>Bdn{Jx!K$WR=c^=xk189uaeM_l|m
zxpqzq(WixIFS<AApuf;*%sj3?e&0E)rIpm2U#o=x3S%@m)h@OgF^h6COn8gTNvhRA
zPp9NgHRq^!Ee`BT|B!v<;i~8sCR?g%s_5|~vu71w12(&||3fhjGoJa?;APJ1r4aB~
z9Li`WGGsu|;j0vT9rrr-SJ<w7TjCqF>Nvx)iG?fGpb66iKV&JlB5VpfJ1|{m*-};~
zVNas!E=#vNC_D&&{ff-Zj%wi6Jb^yjCf=^CKPZ&Z_kDdrNW|5Y>eD|;3ZZ*0>~uix
z1RkWHu$!+hzItGvn5RN4!hh^kZCQ%?Q>+%^#25S#0Cmy;;i2t%wzweNNdMk}S+g@t
zILc0Wcu9VFsg3yiQO4s=CJ)yk4;Zu!@=_h_SAJ9Cq=7N-tP@+9y4RC0d%5+_(7xA>
zibS^-POQYCzJluD=tk9izV(V0hqv)(F_GW<e}y|{i5KXj_7&~KJnx`h%9LOF8gqW9
zL|KSM{NRB8@E;5HmFyIZUejy0svO_m_*j^&yc1xg53pz!B7<(Oy%Slf5|0jHZ5|$H
zhTPfswLW6qv?_LW^hXEg2!4Ste_=1!&HTpySl%;ujM1~=T+LH$VJaTHi@YnlLLyVh
zSAWb2D-wNokuMMq(2?(A6y9zoP>rYyMYG@va}OSXL`DCZo}!fYAb8s2b&wk{vBtru
z0R42V_VE+g{UgmKEVpZ6U=92Hhb_C;NZ=D290sUe#mv(+SX1DkkR$m%VULae6t{30
zgb*isD_xafa<3-WNvgg|?6EGd=m7nu8iomd<NRQS)@M#byIXr~RDf`w8|Fossj5fY
z%DZd%)*=r0W5ziL7~^5)1ZIKKoh9lXJFDKtrlC6)I41DVb-bW2MWZHdfEc4N0$0<+
zz|%0m8G^T9Gv9Lskdk&Y%5ESGba>mvas_dP=ByNG>OJIT$&?`+y>-fShSa$rARxcL
zSr&jVY-y_Ht2(5#+1$3rmxvx47D^o(n6IxS$2%Mo2X+(Oq&GYq9&4Tw`A6dv4ZR<#
z;q9$7@(zgs+sX8n_q;R`1AIz>9LVn!dx&5Vo`RSrWu(V88~011nOUf)VzF;nLQ86I
zM^Nc5*>95=HWeWlC1?vlvPSp$GJGcSr6be&@~J5ze8k?|1o`igr2E6Z$CZO%R3jMD
zrY!xbgax4&5G<CWYvB)fBDE3U(ReC~h%eAjjF(UyQJ}&Gv2%l9%Ie$+lvyYM9A88e
zTU~pf<0rKr;PuDy`y#I%rl2`Gpt__&nLT)=hbMN0w6W?DahjO0a2ff>g(KR1e9Ncs
z4N^GHGV#bS^y)OgjJul?$m0RsZz*hOaA3GUy)V$koa>dyAGota6AN4{2cDTJg{tva
zlAU&%nmUyC7DlAdE6aAY1sG<f3ngIFnZ(UCSPOI0u48#u@UjJOBLh%7mE2B#3kBKM
zu$ZHVsYdYj=dh3WYsj$Dt5{Qs(|11jCy%9ObIij_>x7~om(BroU60}E$nXG2KBa3{
zF-S%@%;aKbPZ{cv^i|BY623sTTM_ppTuqPD{*`AsM>tH9=>`VqW!otT*Tzz@xRprU
z(xB2XvC|m#r9$%3)AaJt)10KN58?MhdkO40Bk4$8m)36qFMQ2f$Lm}QxQ>Y9rabCu
zdW8lKn};@L{i8xskQ|E)7OCM0ehPN@=vw|7>BpRo9Px*RTFBF%?tMp`8~X?|a3?AG
z+xVGS{key<l(1ijVaop2>PH_M0(37e#HV-C$1s5W6%0Ty;I*r|u<Pzp1@mTuv$aF`
zT6kNMmM!YP*Vl<l7?`99PdJQ9+QqZvYA+Z_zL|#fi_oUBzy4biXtNxyW@G=n$ba7|
z{qV)%E{?7gPKn)q5k(9P`9drvX6$qiDAuI<hK6v=2~h;uF1Axc1}x;!UGmufBNr&*
zC+PX>#%q9Dh-LkXZi)w5bzdegKYw!sf&j1LA2;@osvL(v%GLZWYx6S(&v001<I;Uf
zG9Y5;GEzvsOAlv@cxg!a0NtI%a07A{_BIUQm$sPNQKzlHQ-AQVEIe^{qgJQzF#T1?
z;C~w>O9xUP&H$;rkShLX%P_^)ww3IUbZz`OHI$W5wPEHTh02@$4xA)A&m%9i3(sLO
zS_)VeMwCw1<=$Te@rMjOi*ct3CKSE7e7bxLp7s<H4U2w>2#d*CA(qX{A8W`L0KEgX
zzITymB^CNMiS!-%ZAm?KLM*2t_r!ckctp_>R#M|S*pisIv${+=r!4TS^*-b%kKOH@
zK)EjXog|7AT87F~EP#?K6)}>ArfNj&;4uf@XfPJ}+u0?gO6!LD2U4Tf#d6gR_SdVv
zLTGq?sBd66Azdum+F@s>NdI47Zq?)n`HcaT)QBf>=T7CtAR~R%eIxw?*Eoo!GSVB<
zDtT3j*O&+QD#+sj%u1Uh4U=ZYp<n^nv0z%&Cr)uZx;)2|rrLY;p-+E%+i%|wSC7Y<
za!P^Cmwk5NfO6!41;1n@<s!`k6jchVv-~^NDgT4)%ZSz-azb0@0Np+m`2_ELXh=JG
z(zALZM~u~-khQ)LOLZx`cDn&z0-=cl@3XWccAk4vY?znd_<N&L=c6nWcg!5x6Kf}?
zd+CcrSqR$i(U8|xuriT0=&pgXy~8PJV!)5)b1XW=klbY|>*A<APKg(*8{Al|TM=ae
z^w;KvL<~D+HonLS=a2JQ>*=2aK7CqkC!eTQJQq~}C%}p*SnwO~YbwOWV^6lWa>NRK
zb>)Nn_&^`tPM`vBzK4gg1B8{-l4seBi+3w$A@Og6<u7jj0cT2fau(9D`zBG!k^L&>
z{XtNIv}x{?ni@8Kx>Fo)b{xmmT8aeb@trBpmUT5{He#JTWM5q0Jw*qHjjX059f=f`
zpgnM6NXmvE#u>)?Ys?O85P|~;&dbQ76gUS&=G|!?hCy%-`pHF$zlP$$Z@^}7^<jUt
zAkXP=4trzX0Kp!@{|9!V>rbmVh%uGz?{71{1%Njpu&gG2ypwB0)oD8T%Ej`ta!Z6X
zB5h1}tW#8V8qNmO8+jEQAj;Vsc|XwYR=a9|kK+$0^n{fQnqGvRJC5nir)Ce~_6PIE
z0)lP&YRsSwVpSYOm}2Kf@#617LUrc$mPalYS|-V^l!j0gE3hiki8nl{Ao4+V_&hru
z%{PI?XT1Zc#Bq20gS0aQ?U`&`p@uv+W+^gj%f7HP0*M|j3P~^g>SXif^s{0k+8+!V
zIiWx2i&VYJlp@@2F*+fvPDa&(_gzBmCB>tQ<Z6cbKMlM3%vL^|PTaYG@(Q&tDy+3K
z)q;Jx`&nCm+ItdOg)i{TA^F=!qDm)=!eFC(loEw?8pF#iET;Wp;c_%T`U32@(qfu|
zRh1bOmd{K{3^gXGKMnXfA2(>v0vqA7mvhT_9QpBUB`Gc(>FP+s=?5+-_6-O`_F;_l
zMG4xE|0&er{Lu8obGO^JKL9#pU6(@Nz_dphtuV?uv=WWSWWWw@pl-XGY9k1OaohwG
zNNo6#)ywKn%U>(Lf;<Vf83NgR>)WcX-oU_b=M-pi$UK&QQ1I)Usu5y-6k%<;6?t|4
zG<pqpd@VN>XaO5<u1TT#y~2kjb!c>sI`B8os<S`BF;(3|tfst1DnVfY9dJD<v}T*F
zNCvc7n;ymybfl6udbL5ISO4?JLSr-w{k1l1=;B*gyi21yow(D?C-Kl@81@3GkOL#&
zay3on+}~bu#9gtRpK(QWEXJMl&l<h259Jh?U=Z$DIjrb%U$)oE@#azb3F?DVY_(nS
zEZer1K4Nr3BZ}U9Wml1d&d=sLnkYU!wp(v3LVs;=?PMr3y*Wv+&eGzlABxrC%=W0e
zBERg>K{xhF7LoGGZgjSH#qp_)qCr)!-5>H(7!!)RD_{IpRpA4~Po2wCF2&$urI&j)
zwQG?ch`5Aiue9k~Y5V@aL=`Pm4U<!bM6B$fpl`^kYTB(QDc6`9rGc4AXb%_XXcnI4
zg)MP9@T(alg{ka{R32Ql$)rv!`&YQCyZ1|t+q<9SEuakOq3shdMdMZ7*!L~2d^7%o
zx1ZDUUEm20IU+qUEU8Qb>NJSjNG60M6ZVxaBlV!75G_1*t^OqLh4=%OFxYdcz9&+g
z&1<6}=|#Y9P{_?Sr+W|LugUNSl5mAng3;&!Q>nqgw~p^#@5oODn^>hWjVsz8v$LpT
z+GThrb!I$#<UFqKD6xaJPjuX^jlJ%bwpb?sAb^|KuH5bVoTTOso-0l|dN{eA;Z$oS
zSuZm%-Z>dYRhS34!1$<rd+X{m_0K~|#eLC&BGKqy^r7r@e(%H185b+;-O;as7Y_+J
zqj-kxjlGlj1^5@}%{{Y(BW|(~$cHEeT6lwddIePC(f$~2AMZ-NSbj<9F!<Q=IA`CU
zp*kfP2}O(d-WqI_QMm7xv=oQJUCW1V9|pU*+|lC{g#+se*FI7|H!a|V`@7w(v)qIz
z0C@U0nX(jl!scFLk_kWYqo?co=j4(>yVvZwUyWy&v70CPLA?)b1kn1ezpi+=a)y6(
zy|n&kzQe6%@v%)1CKLD40^B<FJ?%;4<alCA|ERHa^TYj@MIq|(4~k>t*)$Z7W9W=+
z>>VRj8@uxh6ZCE%w2r!*!^Wt`n@72tijwi$H|LZ`ryH#E^!90?i~a*ei>$swVU>cW
zEqsSdzQ8~OS>>yFip7Dj!<s^OEq3hkv<mT&^=$Mc$Xi)soy1#Jw5K2=?5{7%Wxy3W
zm(^nDgtCKxC05q55A9-jE+&Z0nQ)_8&t(02dji<Z4ar%4)#N>R`k9sLo4Sv1f%VVz
zd#Oglhg?m$?pbIfN_QA3E~DS(ftXgQ^FV;@mnDWvobU_{zubPRo?^J>gLt%SCrT+s
z!UzK>^~n0!TYC+=-7swecTTl2Aiz;lQOm1Nr2U~^rL^$m4%e#W*FjzSmm$>;fK(0#
zm8=!}n%v53QiB%GO0++GkN32=AFkhWo4#F=Bf2_1x}I-5HHY5dImib>R*}XJ<!FSh
zLQyY1Tu<U`ep2(|r+09-dFnk0K}CT|Z~P`3TF;geQW6Ak+>7$?A3hEV_ZsK#`CzA`
zhWkh9%xT4`{7T=a7e3P?nZ|Q8liwblmd_^MK#X!_;#5hFDa~b|GIs4$7`W<M-1iO%
zREdv0eD(+mOv@!RII(EAwczETOxIidhimAf8o9xT0wvQQTfRRmZLmJrH3ZgD&}3aR
z#dbZy2{D+uAW(9#vxHVKTJdAkyzB+S%R~wnbjFd*r~9;(VPzN5ImX-b<f#4mW`1t-
zA2zth7lF!?HxOT}8No4Q#6}5iL!5bqpoUN0ya`jru**k#q2oZ6&_g!zH+_dtuXS_l
z%i&iS88UX9q(AcClJa)lbl9+dH=UYfA;>})m7)~Cw?B*87z&Fy6zug^r4kv;eI1*g
z6d{AIG+FRDg8aJyu=oz2aPcPB$upExA`}XEVJkAWLhE1#va&WD%iZ8sFWKmQ*~f9W
z`;1_8F#N*KjWPjI*?+?M^noE(C%KKe$@~0z55~k4`|4AP`@U`os#?OCT6(AY?!hk*
zuDIas>pqz|ZW8N1-UARrQAS@UG@}S+rf3H@=k8vPjn2#Mu|@qBJ46>}_1fWNQaKVG
zjHfUPpcE@SW>{%b*$C0sAQxT8S<fBsyW`8;ldwOi?0Q{G^XIUv;><IcwkpNbPr90R
zyOk&s7VE#BoJO8uPHt45;#r=Qi~jYcsHd>&NSM#Z!u@%o2e9N1A<ycl*3cfRQ6pf6
zvl(S99=&HU$oHNYd_Jf81CF(M%ufG&bRdXl0E$j(oSL7s7S-;m7jiab@CNA?p2#L`
zuq%~De&I7WkWQpF*iIhT>|-i8s6~C}UzIM#6;Ky2o{~Nvjh=sogT;GStlf{NX1)F!
zj@+ucsOzwJ(P%WJTo*}!D3L{5YCk<K#G+b1tU%F;kDn;zVZRNPai6f;XRlM$Vv#~;
z!4!%87#P)(Sbm^X!eW0*&{5e+JMfpw^(Ss9#VWJz0NAn;$DnI1)d3$+Q=vRjrdct~
z_?CF))wCc>7HrFGS8}Iu>C-u{0l97Tejb#=LqOqnDp%apQRLo(G2dHJy7c_VrrEbE
zepT<6dG6Ak3Li6qYElj;Nh_A+0)saVoa<mu%HERClzUBFiZ^I>y$IWy)BQZyd1@f=
zItEbVlnhNlMU_Qy#FihuB6Z7c)_j~(x{5ySK1M-lSuk-R&3sre$E}wr1LdnwN+G=w
ztKRqE=66q~iM7|aT;*t2EHO_(L(egVujkyqMJ?2RJmB9b8O5A%1*nQ@ReTsaEJG}(
zx0E@vFIR(?^RI1Wz%G)F5I+mtUNHN`Kyj-(cGIT8INKiblQoTZO7+u=*C*)AE1n3k
z0CQVk)Z@e97ZmKjHkP_OBj;sqyisqO*jpx>GIu+ADIBZm{j0)!B$0IQ5&6B@-olpV
z-cCK3l?igF_1vD^-D(&|+5Ev4lyLM<=a8bc)cMRU>hVtBffCdf-V_INGzXkx1KjJP
zpoogDd}4S+<@ru3IrlB6yyBMcrUInacfKEy{>i!}7q4zd{d$v+s<i4FL_WNCBns8(
z%r%G_UgtADO3BJTKj^3yGM0_9?}URF;)i76!KRN^Z!b)Q4w|77sO1I+rv<Z-^>!U@
zU)n3b{dHd1qtyzpD%w2|qb_Zlbs=V@K1^jlqe>eLt3UPWUBM&~gE(%&W1vd;6Zgpu
z>I(C>os$C%KVj4G3-ZW0Ti=OQI2+L-QHgEUib$#+yiV&UbIquu8eFSL+NsCrtq$r&
z-9V%s5A3jLnWp88YIw_adBj#kihT1g)O1Y_sCTwj1Sd|9zS(J6VdiXJ39Cq?jyJ;1
zZ9TLEJ9_g6D6TC9<&+)<{Le0+972bsZC?kAH{71z&F3a8%o*Hwl=ug7KXlxZ@?h-`
zWw6udBKR;i8%oseB%!o(Jusl~149ORTgR~P=R{N=7lV9H@y(p7A-WI2PtT_-BThba
zN|ot(Fc#Z>CU!cpTNPfsC$!cHYbk!~DGL{jeoMBIthMWKb<g9@_3RPIu1h%?mq5uy
z-V}|o)mk||?Z%$Hl~={25Z5R>=(980H!aQ#UJ+tp?Q9e%u1kT!3Y761_kkQAKiefP
z)O+qe)vSu%5_)(6_Cz3Vv70`M&#dgln@mBd22Zggj&}l~Mq_1)$vS)Wyv<AapSuLN
zi`$ta(?TpNZ5ZT@&+#+UVUxVg0*cGeA*d3|eVcqo{koeTLb#C6*!obIEWP?geHsvg
zWg(UVx#&+}hQkYIzBh=)*SyC${K(1l`&?*LaR5CK{`IwE)@o`trZ4d^iZ1FJ_NuS1
zb1?yZb{&}c#$UE>{SOVb5Vc_?^hMT^PKd3q>g*p|gx2zr{7U1C!9%9<RjzcUvgt$?
zG;3YgwFeBXu1pixdD<`o3nk$8*WP;9$x^yf=UWBW3nAWMHOw+?v1OH&&X;$mpb%B-
zs!pi(kf5#K;+wI*cfxhPWopm9jcLB#%0_~o&ui?GXk-*;$ih<p35b#5L<c|x$-fnc
z^totKR49puy?N(|zo<aqBNp^==m5Nd5c_NyIuj_f^%zth);$c&cb7m#`5j}c`TF~V
z6P2F^QSsDNug8B^9Si0CY>#Zp7=+E3%#R+J7*sXo)?Cw0<ZPa|7oj(2Jou2eap(31
z-YM0W8gLDVZ6)9mRYb#80h3yYqd+}VampIn^%fG#ff!q9g>acfV*B=zq<$&KpU@7G
z5nH1PDCV*$p^h?T?6T+!W~IGNS%?{2s-qR~z6RdHz7Q*+nl4cjx29r~xA-c3j6!$u
z*)!dfBL%O^W4}nqQVnDGB<zna{^>YDyooTJFdWF>(S*fFBB&y<X_B&3Ls)|3S<#<j
zP@xG`=oGH>ax}~Qce#MFmG{}DS6sgd9#nrpu(~<^4$Oyz?;wB`zaUK2gf+atM<tK-
zxS$LQc>Rh*c{V9P)Yicv%9%^u+3!j1?3jz+b6e}K(YUey#;uKpLe+&_?0BI`dcfF(
zdgPVG2&7)cAiml^kFoML9|)5o!#+XOIHh_IFkyB>G9DeTJ1o%fM8H5oqz{X7Z>svc
z0bPJ-M~X~p!;>g<`K&G|>rsO{v=!>s1~Kqjh&cTjOwoycRyAerUrhoH0XS<GATbRo
zp*y(PIQ!3A?);cujgVW70^I?r@R6_srY4yt$3kavFrd%9(nMzF{q}OR`L?$ntr@vd
zeu~0$Q5e)ugS^dXnR`-6Ba*~-+4XYKOIuzE^pst}gKg<(j!uo6oGh=g9TsgstAVgl
z=OeI@vs#Gqqql7D8a=r?ZV=Et5t6&J_xg$->dFDr*b$)HKxg(o=(TWh;jLni014Wa
z!w1C%bSfNEn|}l@@63Mdc6#2spZw}O1*9K{+Lg$y13q;lXjQS%^L-=V{h#1+lQ$>d
zr_R?%`+`*I#YOue<yVYl@&Zk#N+jw0hM}#T_yX_UE_Apn$%}d!A<E{x>U-n@uDQjx
zyvB?M3)MCU+dUnW<gF(x)+P)Md6%c%l-_NNgqV!q$GKupr`s)1FP}0ZiK`yTXDWd$
z>9W%`-gw{mrb!mumwdwVyolCM^SAQ$+cl`?JK5)3RZ7LYhl}iL{qp`QF0Larn5#UY
zEp@KQr-_p3AA_%~*6TFqm<~wRUONo5X(MI=^=cB5uFwHce+43zzn#!`zyDgrYqQqO
z_Mn?ORnBw?zHFy(*u2Wf=GCK@u0Ei9jTs|_nYw}5Ewzu6l#3`#y`m@13J~5PeFr9N
z{l{JMv!Cq&OEi#m+OuEAJ=1l6nX{)R@+fFgKa4^NEYu)LPO~Mgm%ovZ^4Z-c(DE#<
zKZm=WW}jM#9E9A0V1g582?)TDEXu{adQdCptE9b_c-L8>GJc^J2~N0W%xi*{{iCl0
z>WJARC3VMWKE0x$Hy7uTOxJ!~%Ozap+>(CQXT>G2ZH6!LBxOAqyf~IM1gdV@Txet>
zwn^6gPuu0C57J8#3ekqi%_BJJ2ChPVgW^H1kiEzk)xY`$2f*tAfLh@WtdAL57cBa0
zy8qHL;22nK2C*H#)mXyRMsyxZp&jc*NH6yCQnIvkq;H!&U?=6%R&o_Uhr+g`8rap`
z8IOkLlu>U=Kpx*J<eYS6k$*Ebo)p|F?+O*(Xo#Wwj_$#bmU4>3_8yHN`~2+h>4aDW
zp6eVZkLs;9&2LkGY7}A-1T|e%*5N<-%H<QUXI=rSW@zarKKyW`x$#Ex9}|(dy=}d5
zQ5(J{1Z+|NfIytmMT8kGtH4)sVL=ru=gToRGPG>V<5uiLMW=q><GYOQ?oQ$rIJ0JL
zf>L*`IN%*;i3v}3u=1In^!|s#cc83cb72W~CLb?OwIm7NfU`M&$&m0h;kxI}t;%ua
zdQi1)_x!5>thx|Uw%6;RWvM`KuC%gQ0Xs~3aQg=LU;}xhsi}dWw($4+dHM<GGW=KX
zecilT@dd5pW_spW9$y+K1h#|94}Y9fZSVxjoe_0uh{I|oYP2-Kz};@u{z3f_IzJik
zID50i*i5D}KSy)o$6|>1LeY_vt(tfkNn~wC(I5C5?j57H0o9PHK_>qiSzN>2Sglv9
zi}*;~zSn@M(v|MZ(bXlJG0<)kFZaqH9M_wEqAOB?Gx7_!>Y4oPQ89sq*aoigj-0J-
zbzsCu8qRh^i8HFDSm{KDavmtydqt{ZSas(ZnaV_W7S6_xcHxFX_hNDnH)h_6{qhls
z>_WkMx%JWbC=JD7%R&xH52EWmXEXYR1GkI(halFL3B$$S$;%Qcc*zt{DN?!K%q8Hc
zvW4q$^zUGH1|B2zQZigF$l$roexECodDUevdy=ZYfPr#^637pgFV^2gqJP#`HKJ)^
z;Hr<LbWRDl8`!B=oUt8dAZz3-ebpOvBDy}I`s8(r!F)MeuOS|Rt-fcyQ2SNsBK_^Y
zugt-7_xdu<X8&^H7w>a*zfGal1q~2&S^f>F<635;c75(?rj=2-)CDLr#qyf&LfRaU
zs)R@+zYKN({QCQGeFSz{Rg1o%Bj*<}=jO}#2kuih_K~EGIP>|)*Jm3qcH*Y(H<*Dr
zr~z$Z*DY(LB=Gb@@T$gTvt-uhvozC=&dlb_+hz*N60K**thYi2P*e;+Px^htAZlB)
z&f(q$y!gkhW~=mX%0V1Iu~a2*u`>Lx>L)OP;GzQhZv`A-jA?_IPI%0qW~wH0Pk%da
zGpga4L+8(lJEz8Vf)Wo8B|lN}ttnubLMBmI28n7|i@%R{iIFZ=hwf~8M9XQ7n#E;%
z6UU{6tGAucIuE2;Dj9yQKlZd*ALu!)kH{=U7URyXlwPy2^qtQ|?#)D@e}D)#-EXC;
zQpO*Ao}jN70h=_zu$D7}670=umP1^M^bvB-+4sHs*WOqq33k>82Q90D8QqDxP#Shn
zhI?2#rE)#;$lX_fdNJqK!!HO2{Cu+4dxLhNv4FZ$dUm|76jZcPh_hNTkqSp{&ta?N
zyZ)wvP%aZY4es7CF3FXh#;epcvI)dLSe~`@6vPRbdVAP)5A&=qn-FR*n=2%nZQCo;
zvJF|X05u~KQ1f!H&+Pf6iw8TN<JIOj6fT_;H%9o$_nc?lMCbxpeQBD^yKQe>XO+xK
z2b_YM*{S$s2QjFRvF`!(vYFwTj2f+@--ohA=_kNI?U{LnnqbYjvb_f6sj-pl<-5;`
zJ=1L%g@e(C)v2jH$8vN0N$VRY=R}r`?QiCg=0<sbikFdo@HRIHX850l59bm0*i!bm
z6uJcby1k{^Vyf_nQehbisnPC5p%10$x9(yF7%wS3Kzy&v+rh5ZW=;o-Cto#w<OZt5
z;Cf6qIQ$Ac=7e&Ko9)0$xWY)o#rpfb1|RXTC)fGg2#b}K!hzZQ4@Z&1qXlcUev2N9
zLb+2>lwP{D<IV=D$!2M}pn7~{VKI}q{6=dCwRc9KyOz*MCTUBd^ajmVr=5p$_8zq}
z(<nRbyx(`^Y1y@QyGORJRTeP=H{;7tbG3H+CH=GG!%W810^a5p`;oV$mw%BR6em7z
zOAMiZHn<0b32KnceB9@k7hj(3JS(x?@a|n_{4MVz)5)|>a|@Ds2DS3JUj2oB=Ve`m
z2i5Cd9H2y1QH8QJ{O+Z*?6#gKP0Ok0!r&{<X7^U@*Y57mczb%!1lNGp*~=MG%ehgn
zk^D*LU_ffo4pafFL~Xr1y72&Ul)QAJO3RC5?dy^%#|t&(m1F#KzRte)>3$-BnnxS(
zn26Y0ZBwyoySZPqXNGkq8;Ci}y#&(eNJibB$-wA#h>9IeYJJxFThub=pV|+~GHpEg
z;`puQ<%G&+H6M^$g9f$hw*1GRHf<)4_6|EVn#(SGd-g7F&JEkK{NcfFq$4%LoDe%K
zk&G5+sYt^Mv~1nwnN|wt?5hwrC2q4N3Ca?8Jzcr30-HjCuqV0pn*9-X8&a{LA{R*8
zIDAQ-<LM!)rPDC@g$mIHu6BsNq*3kJcOl8e!3zABRm-tf$I#(|@%EB+f{8_c3hVdm
zYRa@L*WKnm*=yOz3h?uX%X_;ioGRNd5^<N9<1sIu-x)MDEc#PdU86UrrH+P=yEv4*
z(eVGZXmTv(HjlZifdp8NUPLqZlAkI7^Q}V+r(_w;H5u71sc`OoOd!_I8oo`vkQ#Yq
zyM<{=8hG6Ag)tx39jG1T$7(+=Og-<8NQ{6;s`X&g2+?9}3RLVJ)cjDB{@vWC37Tah
z#&jrM;9htp)gjsyBJrEyUwLIBNv@MIBeH}oa8!qUqQXGB&xRxEM^V8cDnE88f6;7!
zJ6V#S-~MVEcX{!QO8LqOK!9ECgDE@rEw}J$NjX_J1%E5q7PC0ot)-kulRsz!@!k=0
zpCmGxi_t#>N~{idaPW$Ieylz8R|rDUdg1apjX!rA)%h*1=&g0;`)h+YK@7>R$`Q~{
z{s%K}K3kE>FEDi>Xxyp9!A{qnX)8l{`!wJOe+fI>*}muZHiBGBdb0-$Y1bQ_?A-})
z&D1-Q<-fo1VqqzP5`k~LLn`6mDT4~7%LO27L!TeH?<v_gYq@UZba3p=fwTYJUkOL%
zvu&3og9~+86Lr7%#yMCQ-{Et}q(eZJY9>;tiuti;<FLI!&T>o$`P;)J>a6Xs50;~v
zME7A1ph^YW$A>C<G^y4E$vR->+AjbmnbzPKVh2k8HIL>@OICj)eR6m1-g=;<oWe%S
z?q-dp^8G*16Y&qmyVslz^r>t(uV5=v^+62SJw|WdGGEGX7I4Ip!J>}0X%i0Yve27<
zpU@u|^^RQ1WfJ^D4|CH`47nTSh$zs{p``Xx4*$7V5X_+PQVwfruwejzq=y#sQ4PPy
z7iq=<s39>Tl>z~Gp$VP&$jah>4MiP%bw6#pY`0wLf0h_v8(+rRGQxm!LeXB>i}L>B
z*{a<zpms)&;ndz*?b3byl%LaoiE5N+G*=@VIeupUfp~{4&hfwkchMMyW9lLix88Ay
zNur_cmvQiw*N0y*jpXfZLKn>*7L8Ul3;i`t22Z<}nC!na4EUEhD@AfPu`#Ira@~lw
znno)8nNQm3hQ&X~@<GQ~RdJX~DVTdML28&*g?Q*EIm@l2R{{ngp<iT|1~^83j4}7o
zymg3+%txEJ(?iN+WP(WSgQ+4)P%eRajP8EQCKz!Hj8)C%gWW^3&(c$`Su$N?qC|uU
z1Bhzua8>G)9P0DV4H@+fAn%u;k3|%6F#zud=qHw)Hzd9tJ0st?6`3vIZa$9kKeW|l
zO$(fshF=)+BrRXeb|9wbgchmS@68b2&eo!RhyEP|Y<q{?PS$f1jQ&NXH_o49ioe@~
z2UQDct)cq3D}3?quu)qka{H(>v9U8ae;WYUGAS)E#9-w6H+=6dPBv)d76}KbxZ?)(
zQ)0Df{A7-Es7Vu_e{EcCX;R4w;?vUwYev4EFiXBglzZ$!Z3yUxYGaOMzGM#8WyF2V
z9<|RlC8mRqkNJh~WH-ViQ^AYl|B5CRc08C~h3D?5UfpJTLZn2H@z##JFu{e=k%#KJ
zxZ9Yg4S~LvUGB$hLA7r8eASJ$<=rStG8GV4crIE?892<;z_+iII6kv~AzU8-wCCwh
zK_D?7<y)qULXhEXO^1G^?$G|Hi*(p=#<R%AbmyHRI=2V94XfB=Dj!u)L;H{Z9o>)^
zg&l4^nP_~+ZS$TKlcv&oF)*S^$EC*E=DLQr5Lon7l3PrIP^<eKSM$6`-KeqlLfM&4
zEXy@+bIUyYlOg|(aNVjz2DL=)w3awMVFP;O95HKB-xtg2#q#BS4*_VEOeFEXX_7+c
z8SF2^|E4643PmrMXMgd0uOu~8XheIEzM}&Uvp1LLSb3stcgnDl*Z8ScOY*KsP)XWl
zmg=54n??=PK!MaT!DkQ}iw?h-@I#g{D$vs3z8?Y1f7YPSNL-Y4F$>p`0`Fs)ZkQfP
z&8$&w%!&P=ncdil^}10C>hycvY%hp{1HCy>skC=oWH^p+XDFYT_^{~V^snd&#go)z
zEAnmg6i-ZCGUl~T{XO<ZDL+%iqqCJ`%9LrVdyKfP*SV;H-mgvc<_hStSzBf)-UdRN
zB7pol4RxyC_7Wu3oO<&$C?gPmrr>-)d#-!-qa-47uq8#9e!}q2oqZf>F4XdMJ=vrI
zqE|;*o86Ohh<gFhIAO^4JY5D4=#0O>%JaYLtO?~hFjXH9nsHWb_;0?XWfke4b6z8A
z1P;vfl_Jk@)o0h&61QGB0m!HA^iVQyg%wu|1C;|v(D+GWII_QIM$8~4;`9%tD=wR+
z|IQ7Sw$o+QPMRoFU68Ynh4mf(GyB04fox3dx#yPY)dfG<e**BUlg7>rRtOA=<u2jQ
zp7~DoslgR$MJHWLg_fgv_}_AUylRF58(gAt$#-c_l+J<B=-EM^P;?quY-M^Vg9l?T
zZV0fHb$cKd*gYYxQD-9_ngFHdK`~et?^ubjv{dW=H|R_-irDbot`cYY-Wm^0j~q~j
zrFHipy%>yL^%^kPk)Z~Zp5&||i$&1UI-8W0Xd&XVp4_2X(iuZGl?VUMN0knCyQ`?f
zPvW6N{XG+NII_O<m>VkeBQ0QJ(JB}HJ&P>64t7HQ39YhGZGEb+{~7Zk5L0H}1j4?X
z{Wm;)3qyyx$_f<Dt3dggAPe9Z*v>G)zIz>qqzt=JX!TO;eN9HNP?X`CR|hY!lxf58
zG}H+w{Ah|vYWv@@+C&aD<;~YfS7`Ktf)Bl=f-GCmgP#NqIq0StVSW|2RT0J<|0CvQ
zy3ZqPQJ8;y5<SiuqJsf|t5Cnq@iGeoAkkZl^tWER>>RQH9?W%8mQ94mpk_6pp`HrE
zu@)PehyPy1s|49GO~@QeLNRaEvn4kQ0Df6z^b_}aZGTUcalPujl|~3hLPJ1h^rvdO
z1f$jCT~wZLv1tzGp%wqL`RWRWIrsdg6YHpF4x#POaicy+g<kAcby3#M-Yv=mY|w2b
z%HZZwohsH(ot=uS<fZy6ID6)*$CuMYc8aM$C3ls;{QUtXtg^NaxX<zmFAmDRa4kQh
zzmb0&-Wpb{U=d_zAkan>#jyt$D-|{q`Q`#_)+5`+!cXTz)7B}BS?@qPYcbwJ-hbpD
z@Z|d7!~I`Q@7~$Bw%&NfSl2dGylY=wy%shsFMWtG#g{1XQ#c<@_@FLD9#1ToQ^b$i
z`?CLY8G6wRdJ#05H9H*@IBeKMTjJH4fF1vuGb-N$C(QCCqK>H#yx}Wwfp+uWdRu*>
zwyVHb?uB!?^zU;f`W!lVZPlx_cpFtXu*jFwU03SaG=-P?-V=$>_sRYxfbzAm%Mzy?
zRAFFQp~~90&UU}ZciFpj)+ExdZ`6Km7mUq4T-q)FjvQt2Jx}W#3rE9gmk!Gkll3Cr
zNIQe0xuc|4-B|g^Mg60>MRoGhwGyu|*55M|_Le7O*I$jxd9gq%FMTZt)G4eIS!r7q
zo%5GU8Y-Upmblut2#HNf+P&#%W-#Z2Igq^!<hQ`ikW*3ytbGf5j^y>bwV%@m`}X92
zZM<@+n}^=2t?!H~<vmm<?bVbk7XDHoa_g<)F>!0=dkp(5u4v|QBl@>|`8JItqt(N%
zUV|QP-!kyO<u-fHU%8ZboAP3nSh!RYQ`ftMy%V|Tq9?WbM-xm2aZ^X<dmoTKEP1sC
znYh~Z4I45An7A$;0|0D<&M{_zL%`<ODCQdNwK86>H7xdnjxadg&BbsTnrb|{((qBC
zc?gP|OOd<L0v#U4!=G14({IHBbH$?VY3}gb4VSNVTHE!xqE!(KDuCax4wss*b@+H5
zvUpqL@&^3J(5=jwRQ!PKn;H5HA39*kYZlhh56kizyCaR_G{rn%p1l2Cx!_#*szV(0
z8zl7e7C4+O97Mi@-(i+psRD=0X=0$+x~24b*sm#MewkzwnYZ~P^fA+^bm(c-KwM!$
zdSUVQ>Us<xGXyCOqXtc$GJ4SOdFCL}8~V*!GIeM){>vTv84lp}Q6mI2N^XN<0FccM
pVF_(UVa2$P!+(CbV`8}{@IlNz{;h4)?_b;9ysmLA|Eh`q{{aXOcwYbj

diff --git a/sorting-output/20998-2025-01-14T15:01:55,696955969+00:00/ceno/hints b/sorting-output/20998-2025-01-14T15:01:55,696955969+00:00/ceno/hints
new file mode 100644
index 0000000000000000000000000000000000000000..d69bfe43322ab8b78978a3590a669da45c3e09a4
GIT binary patch
literal 32
OcmWe(Km}|;sC)ni&H!xy

literal 0
HcmV?d00001

diff --git a/sorting-output/20998-2025-01-14T15:01:55,696955969+00:00/ceno/output_time b/sorting-output/20998-2025-01-14T15:01:55,696955969+00:00/ceno/output_time
new file mode 100644
index 00000000..e69de29b
diff --git a/sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/log b/sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/log
new file mode 100644
index 00000000..1ac536e1
--- /dev/null
+++ b/sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/log
@@ -0,0 +1,110 @@
+2025-01-14T14:58:57.859930Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu'    
+2025-01-14T14:58:58.321901Z  INFO vk verification: true
+n: 23877
+2025-01-14T14:59:00.679216Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:59:00.925183Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:59:02.130811Z  INFO prove_core: deferred 1 records    
+2025-01-14T14:59:02.518946Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210
+2025-01-14T14:59:02.518971Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:59:02.518975Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:59:02.518976Z  INFO prove_core: Chip Bitwise: 19  -> 19 
+2025-01-14T14:59:02.518979Z  INFO prove_core: Chip Mul: 2   -> 17 
+2025-01-14T14:59:02.518981Z  INFO prove_core: Chip ShiftRight: 18  -> 18 
+2025-01-14T14:59:02.518982Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:59:02.518984Z  INFO prove_core: Chip Lt: 17  -> 18 
+2025-01-14T14:59:02.518985Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T14:59:02.518986Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:59:02.518987Z  INFO prove_core: Chip Auipc: 9   -> 18 
+2025-01-14T14:59:02.518988Z  INFO prove_core: Chip Branch: 16  -> 18 
+2025-01-14T14:59:02.518989Z  INFO prove_core: Chip Jump: 12  -> 18 
+2025-01-14T14:59:02.518991Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T14:59:02.518992Z  INFO prove_core: Chip SyscallCore: 2   -> 10 
+2025-01-14T14:59:02.518993Z  INFO prove_core: Chip SyscallInstrs: 2   -> 10 
+2025-01-14T14:59:02.519366Z  INFO prove_core: Shard Lifted: Index=2, Cluster=54
+2025-01-14T14:59:02.519370Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:59:02.519372Z  INFO prove_core: Chip DivRem: 2   -> 10 
+2025-01-14T14:59:02.519373Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:59:02.519374Z  INFO prove_core: Chip Bitwise: 18  -> 18 
+2025-01-14T14:59:02.519375Z  INFO prove_core: Chip Mul: 11  -> 17 
+2025-01-14T14:59:02.519376Z  INFO prove_core: Chip ShiftRight: 17  -> 17 
+2025-01-14T14:59:02.519378Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:59:02.519379Z  INFO prove_core: Chip Lt: 19  -> 19 
+2025-01-14T14:59:02.519380Z  INFO prove_core: Chip MemoryLocal: 14  -> 18 
+2025-01-14T14:59:02.519381Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:59:02.519382Z  INFO prove_core: Chip Auipc: 11  -> 18 
+2025-01-14T14:59:02.519383Z  INFO prove_core: Chip Branch: 18  -> 18 
+2025-01-14T14:59:02.519385Z  INFO prove_core: Chip Jump: 14  -> 18 
+2025-01-14T14:59:02.519386Z  INFO prove_core: Chip Global: 17  -> 17 
+2025-01-14T14:59:02.519580Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179
+2025-01-14T14:59:02.519584Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:59:02.519586Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:59:02.519587Z  INFO prove_core: Chip Bitwise: 14  -> 17 
+2025-01-14T14:59:02.519588Z  INFO prove_core: Chip Mul: 10  -> 17 
+2025-01-14T14:59:02.519589Z  INFO prove_core: Chip ShiftRight: 11  -> 17 
+2025-01-14T14:59:02.519591Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:59:02.519592Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T14:59:02.519593Z  INFO prove_core: Chip MemoryLocal: 14  -> 18 
+2025-01-14T14:59:02.519594Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:59:02.519596Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T14:59:02.519597Z  INFO prove_core: Chip Branch: 19  -> 19 
+2025-01-14T14:59:02.519598Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T14:59:02.519600Z  INFO prove_core: Chip Global: 17  -> 17 
+2025-01-14T14:59:02.519771Z  INFO prove_core: Shard Lifted: Index=4, Cluster=180
+2025-01-14T14:59:02.519774Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:59:02.519776Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:59:02.519777Z  INFO prove_core: Chip Bitwise: 14  -> 17 
+2025-01-14T14:59:02.519778Z  INFO prove_core: Chip Mul: 10  -> 17 
+2025-01-14T14:59:02.519779Z  INFO prove_core: Chip ShiftRight: 12  -> 17 
+2025-01-14T14:59:02.519781Z  INFO prove_core: Chip ShiftLeft: 17  -> 17 
+2025-01-14T14:59:02.519782Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T14:59:02.519783Z  INFO prove_core: Chip MemoryLocal: 12  -> 18 
+2025-01-14T14:59:02.519784Z  INFO prove_core: Chip MemoryInstrs: 19  -> 19 
+2025-01-14T14:59:02.519786Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T14:59:02.519787Z  INFO prove_core: Chip Branch: 18  -> 19 
+2025-01-14T14:59:02.519788Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T14:59:02.519789Z  INFO prove_core: Chip Global: 15  -> 17 
+2025-01-14T14:59:02.519790Z  INFO prove_core: Chip SyscallCore: 5   -> 10 
+2025-01-14T14:59:02.519791Z  INFO prove_core: Chip SyscallInstrs: 5   -> 10 
+2025-01-14T14:59:02.819640Z  INFO prove_core:generate main traces: close time.busy=300ms time.idle=2.36µs index=0
+2025-01-14T14:59:45.155004Z  INFO prove_core: execution report (totals): total_cycles=7846965, total_syscall_cycles=20, touched_memory_addresses=68466
+2025-01-14T14:59:45.155034Z  INFO prove_core: execution report (opcode counts):
+2025-01-14T14:59:45.155043Z  INFO prove_core:   2464385 add
+2025-01-14T14:59:45.155046Z  INFO prove_core:   1358755 lw
+2025-01-14T14:59:45.155048Z  INFO prove_core:   1275722 sw
+2025-01-14T14:59:45.155051Z  INFO prove_core:    654919 sll
+2025-01-14T14:59:45.155053Z  INFO prove_core:    419829 bltu
+2025-01-14T14:59:45.155055Z  INFO prove_core:    316465 sltu
+2025-01-14T14:59:45.155057Z  INFO prove_core:    311686 xor
+2025-01-14T14:59:45.155058Z  INFO prove_core:    295687 srl
+2025-01-14T14:59:45.155060Z  INFO prove_core:    290897 or
+2025-01-14T14:59:45.155061Z  INFO prove_core:    144770 bne
+2025-01-14T14:59:45.155062Z  INFO prove_core:     97860 bgeu
+2025-01-14T14:59:45.155064Z  INFO prove_core:     96836 beq
+2025-01-14T14:59:45.155065Z  INFO prove_core:     54325 jal
+2025-01-14T14:59:45.155066Z  INFO prove_core:     24739 sub
+2025-01-14T14:59:45.155068Z  INFO prove_core:     15435 jalr
+2025-01-14T14:59:45.155069Z  INFO prove_core:     12421 and
+2025-01-14T14:59:45.155070Z  INFO prove_core:      7721 auipc
+2025-01-14T14:59:45.155072Z  INFO prove_core:      2879 mul
+2025-01-14T14:59:45.155073Z  INFO prove_core:       537 sb
+2025-01-14T14:59:45.155074Z  INFO prove_core:       388 lbu
+2025-01-14T14:59:45.155076Z  INFO prove_core:       375 blt
+2025-01-14T14:59:45.155077Z  INFO prove_core:       306 mulhu
+2025-01-14T14:59:45.155078Z  INFO prove_core:        20 ecall
+2025-01-14T14:59:45.155080Z  INFO prove_core:         4 lb
+2025-01-14T14:59:45.155081Z  INFO prove_core:         3 divu
+2025-01-14T14:59:45.155082Z  INFO prove_core:         1 bge
+2025-01-14T14:59:45.155085Z  INFO prove_core: execution report (syscall counts):
+2025-01-14T14:59:45.155091Z  INFO prove_core:   8 commit
+2025-01-14T14:59:45.155093Z  INFO prove_core:   8 commit_deferred_proofs
+2025-01-14T14:59:45.155094Z  INFO prove_core:   1 halt
+2025-01-14T14:59:45.155096Z  INFO prove_core:   1 write
+2025-01-14T14:59:45.155098Z  INFO prove_core:   1 hint_len
+2025-01-14T14:59:45.155099Z  INFO prove_core:   1 hint_read
+2025-01-14T14:59:45.155107Z  INFO prove_core: summary: cycles=7846965, e2e=44.476592094s, khz=176.43
+2025-01-14T14:59:45.161596Z  INFO prove_core: close time.busy=42.6s time.idle=1.90s
+Successfully generated proof!
+2025-01-14T14:59:46.053154Z  INFO verify: close time.busy=883ms time.idle=2.03µs
+Successfully verified proof!
diff --git a/sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/output_time b/sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/output_time
new file mode 100644
index 00000000..c192f78b
--- /dev/null
+++ b/sorting-output/23877-2025-01-14T14:58:56,495363006+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+	Command being timed: "cargo run --release -- --n=23877 --prove"
+	User time (seconds): 2556.54
+	System time (seconds): 97.47
+	Percent of CPU this job got: 5365%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:49.46
+	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): 36386960
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 5
+	Minor (reclaiming a frame) page faults: 23433623
+	Voluntary context switches: 580091
+	Involuntary context switches: 102487
+	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/23877-2025-01-14T14:59:46,921499287+00:00/ceno/hints b/sorting-output/23877-2025-01-14T14:59:46,921499287+00:00/ceno/hints
new file mode 100644
index 0000000000000000000000000000000000000000..c1b1fbe578dfe0a375bc88b4bb1272efa7be0a86
GIT binary patch
literal 32
OcmWe(Kn1R`sC)nnV*s}R

literal 0
HcmV?d00001

diff --git a/sorting-output/23877-2025-01-14T14:59:46,921499287+00:00/ceno/output_time b/sorting-output/23877-2025-01-14T14:59:46,921499287+00:00/ceno/output_time
new file mode 100644
index 00000000..fd4dcabf
--- /dev/null
+++ b/sorting-output/23877-2025-01-14T14:59:46,921499287+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/23877-2025-01-14T14:59:46,921499287+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+	User time (seconds): 1222.21
+	System time (seconds): 75.75
+	Percent of CPU this job got: 3612%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:35.93
+	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): 14027820
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 9644116
+	Voluntary context switches: 1144204
+	Involuntary context switches: 166350
+	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/26331-2025-01-14T15:00:23,502098054+00:00/ceno/hints b/sorting-output/26331-2025-01-14T15:00:23,502098054+00:00/ceno/hints
new file mode 100644
index 0000000000000000000000000000000000000000..cf51cf5269fb5d627c6dd093c3dbe9925667ce32
GIT binary patch
literal 32
OcmWe(Kn1tcQ278BN&!{?

literal 0
HcmV?d00001

diff --git a/sorting-output/26331-2025-01-14T15:00:23,502098054+00:00/ceno/output_time b/sorting-output/26331-2025-01-14T15:00:23,502098054+00:00/ceno/output_time
new file mode 100644
index 00000000..e4df6d28
--- /dev/null
+++ b/sorting-output/26331-2025-01-14T15:00:23,502098054+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/26331-2025-01-14T15:00:23,502098054+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+	User time (seconds): 1316.87
+	System time (seconds): 88.32
+	Percent of CPU this job got: 3660%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:38.38
+	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): 15085992
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 11309979
+	Voluntary context switches: 1200214
+	Involuntary context switches: 178401
+	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/26331-2025-01-14T15:01:02,514187816+00:00/sp1/log b/sorting-output/26331-2025-01-14T15:01:02,514187816+00:00/sp1/log
new file mode 100644
index 00000000..e60e7de9
--- /dev/null
+++ b/sorting-output/26331-2025-01-14T15:01:02,514187816+00:00/sp1/log
@@ -0,0 +1,124 @@
+2025-01-14T15:01:03.881050Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu'    
+2025-01-14T15:01:04.342611Z  INFO vk verification: true
+n: 26331
+2025-01-14T15:01:06.660043Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T15:01:06.929625Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T15:01:08.234283Z  INFO prove_core: deferred 1 records    
+2025-01-14T15:01:08.660407Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210
+2025-01-14T15:01:08.660429Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T15:01:08.660432Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T15:01:08.660435Z  INFO prove_core: Chip Bitwise: 19  -> 19 
+2025-01-14T15:01:08.660437Z  INFO prove_core: Chip Mul: 2   -> 17 
+2025-01-14T15:01:08.660439Z  INFO prove_core: Chip ShiftRight: 18  -> 18 
+2025-01-14T15:01:08.660441Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T15:01:08.660442Z  INFO prove_core: Chip Lt: 17  -> 18 
+2025-01-14T15:01:08.660444Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T15:01:08.660446Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T15:01:08.660447Z  INFO prove_core: Chip Auipc: 9   -> 18 
+2025-01-14T15:01:08.660449Z  INFO prove_core: Chip Branch: 16  -> 18 
+2025-01-14T15:01:08.660450Z  INFO prove_core: Chip Jump: 12  -> 18 
+2025-01-14T15:01:08.660452Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T15:01:08.660453Z  INFO prove_core: Chip SyscallCore: 2   -> 10 
+2025-01-14T15:01:08.660455Z  INFO prove_core: Chip SyscallInstrs: 2   -> 10 
+2025-01-14T15:01:08.660844Z  INFO prove_core: Shard Lifted: Index=2, Cluster=54
+2025-01-14T15:01:08.660848Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T15:01:08.660849Z  INFO prove_core: Chip DivRem: 2   -> 10 
+2025-01-14T15:01:08.660851Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T15:01:08.660852Z  INFO prove_core: Chip Bitwise: 18  -> 18 
+2025-01-14T15:01:08.660853Z  INFO prove_core: Chip Mul: 11  -> 17 
+2025-01-14T15:01:08.660854Z  INFO prove_core: Chip ShiftRight: 17  -> 17 
+2025-01-14T15:01:08.660855Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T15:01:08.660856Z  INFO prove_core: Chip Lt: 19  -> 19 
+2025-01-14T15:01:08.660858Z  INFO prove_core: Chip MemoryLocal: 14  -> 18 
+2025-01-14T15:01:08.660859Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T15:01:08.660860Z  INFO prove_core: Chip Auipc: 10  -> 18 
+2025-01-14T15:01:08.660861Z  INFO prove_core: Chip Branch: 18  -> 18 
+2025-01-14T15:01:08.660862Z  INFO prove_core: Chip Jump: 14  -> 18 
+2025-01-14T15:01:08.660863Z  INFO prove_core: Chip Global: 17  -> 17 
+2025-01-14T15:01:08.661076Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179
+2025-01-14T15:01:08.661079Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T15:01:08.661081Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T15:01:08.661082Z  INFO prove_core: Chip Bitwise: 15  -> 17 
+2025-01-14T15:01:08.661083Z  INFO prove_core: Chip Mul: 10  -> 17 
+2025-01-14T15:01:08.661084Z  INFO prove_core: Chip ShiftRight: 12  -> 17 
+2025-01-14T15:01:08.661086Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T15:01:08.661087Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T15:01:08.661088Z  INFO prove_core: Chip MemoryLocal: 14  -> 18 
+2025-01-14T15:01:08.661089Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T15:01:08.661090Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T15:01:08.661092Z  INFO prove_core: Chip Branch: 19  -> 19 
+2025-01-14T15:01:08.661093Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T15:01:08.661094Z  INFO prove_core: Chip Global: 17  -> 17 
+2025-01-14T15:01:08.661277Z  INFO prove_core: Shard Lifted: Index=4, Cluster=179
+2025-01-14T15:01:08.661280Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T15:01:08.661282Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T15:01:08.661283Z  INFO prove_core: Chip Bitwise: 14  -> 17 
+2025-01-14T15:01:08.661284Z  INFO prove_core: Chip Mul: 10  -> 17 
+2025-01-14T15:01:08.661285Z  INFO prove_core: Chip ShiftRight: 12  -> 17 
+2025-01-14T15:01:08.661287Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T15:01:08.661288Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T15:01:08.661289Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T15:01:08.661290Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T15:01:08.661291Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T15:01:08.661292Z  INFO prove_core: Chip Branch: 19  -> 19 
+2025-01-14T15:01:08.661294Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T15:01:08.661295Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T15:01:08.663374Z  INFO prove_core: Shard Lifted: Index=5, Cluster=287
+2025-01-14T15:01:08.663382Z  INFO prove_core: Chip Cpu: 19  -> 19 
+2025-01-14T15:01:08.663383Z  INFO prove_core: Chip AddSub: 18  -> 18 
+2025-01-14T15:01:08.663385Z  INFO prove_core: Chip Bitwise: 13  -> 15 
+2025-01-14T15:01:08.663386Z  INFO prove_core: Chip Mul: 8   -> 16 
+2025-01-14T15:01:08.663387Z  INFO prove_core: Chip ShiftRight: 11  -> 15 
+2025-01-14T15:01:08.663388Z  INFO prove_core: Chip ShiftLeft: 15  -> 15 
+2025-01-14T15:01:08.663389Z  INFO prove_core: Chip Lt: 17  -> 17 
+2025-01-14T15:01:08.663391Z  INFO prove_core: Chip MemoryLocal: 10  -> 16 
+2025-01-14T15:01:08.663392Z  INFO prove_core: Chip MemoryInstrs: 17  -> 17 
+2025-01-14T15:01:08.663393Z  INFO prove_core: Chip Auipc: 10  -> 16 
+2025-01-14T15:01:08.663395Z  INFO prove_core: Chip Branch: 16  -> 16 
+2025-01-14T15:01:08.663396Z  INFO prove_core: Chip Jump: 13  -> 16 
+2025-01-14T15:01:08.663397Z  INFO prove_core: Chip Global: 13  -> 15 
+2025-01-14T15:01:08.663398Z  INFO prove_core: Chip SyscallCore: 5   -> 10 
+2025-01-14T15:01:08.663399Z  INFO prove_core: Chip SyscallInstrs: 5   -> 10 
+2025-01-14T15:01:08.994524Z  INFO prove_core:generate main traces: close time.busy=331ms time.idle=1.73µs index=0
+2025-01-14T15:01:53.209904Z  INFO prove_core: execution report (totals): total_cycles=8704730, total_syscall_cycles=20, touched_memory_addresses=73374
+2025-01-14T15:01:53.209930Z  INFO prove_core: execution report (opcode counts):
+2025-01-14T15:01:53.209939Z  INFO prove_core:   2746315 add
+2025-01-14T15:01:53.209943Z  INFO prove_core:   1503371 lw
+2025-01-14T15:01:53.209945Z  INFO prove_core:   1411395 sw
+2025-01-14T15:01:53.209947Z  INFO prove_core:    725324 sll
+2025-01-14T15:01:53.209949Z  INFO prove_core:    464850 bltu
+2025-01-14T15:01:53.209950Z  INFO prove_core:    352529 sltu
+2025-01-14T15:01:53.209952Z  INFO prove_core:    343403 xor
+2025-01-14T15:01:53.209954Z  INFO prove_core:    325423 srl
+2025-01-14T15:01:53.209956Z  INFO prove_core:    320241 or
+2025-01-14T15:01:53.209957Z  INFO prove_core:    164966 bne
+2025-01-14T15:01:53.209959Z  INFO prove_core:    108511 bgeu
+2025-01-14T15:01:53.209961Z  INFO prove_core:    105450 beq
+2025-01-14T15:01:53.209962Z  INFO prove_core:     61428 jal
+2025-01-14T15:01:53.209964Z  INFO prove_core:     27409 sub
+2025-01-14T15:01:53.209966Z  INFO prove_core:     17131 jalr
+2025-01-14T15:01:53.209968Z  INFO prove_core:     13584 and
+2025-01-14T15:01:53.209969Z  INFO prove_core:      8569 auipc
+2025-01-14T15:01:53.209970Z  INFO prove_core:      3129 mul
+2025-01-14T15:01:53.209972Z  INFO prove_core:       543 sb
+2025-01-14T15:01:53.209973Z  INFO prove_core:       413 blt
+2025-01-14T15:01:53.209974Z  INFO prove_core:       400 lbu
+2025-01-14T15:01:53.209976Z  INFO prove_core:       318 mulhu
+2025-01-14T15:01:53.209977Z  INFO prove_core:        20 ecall
+2025-01-14T15:01:53.209978Z  INFO prove_core:         4 lb
+2025-01-14T15:01:53.209980Z  INFO prove_core:         3 divu
+2025-01-14T15:01:53.209981Z  INFO prove_core:         1 bge
+2025-01-14T15:01:53.209983Z  INFO prove_core: execution report (syscall counts):
+2025-01-14T15:01:53.209989Z  INFO prove_core:   8 commit
+2025-01-14T15:01:53.209991Z  INFO prove_core:   8 commit_deferred_proofs
+2025-01-14T15:01:53.209992Z  INFO prove_core:   1 halt
+2025-01-14T15:01:53.209994Z  INFO prove_core:   1 write
+2025-01-14T15:01:53.209996Z  INFO prove_core:   1 hint_len
+2025-01-14T15:01:53.209997Z  INFO prove_core:   1 hint_read
+2025-01-14T15:01:53.210003Z  INFO prove_core: summary: cycles=8704730, e2e=46.550625011s, khz=186.99
+2025-01-14T15:01:53.217039Z  INFO prove_core: close time.busy=44.5s time.idle=2.07s
+Successfully generated proof!
+2025-01-14T15:01:54.314924Z  INFO verify: close time.busy=1.09s time.idle=2.75µs
+Successfully verified proof!
diff --git a/sorting-output/26331-2025-01-14T15:01:02,514187816+00:00/sp1/output_time b/sorting-output/26331-2025-01-14T15:01:02,514187816+00:00/sp1/output_time
new file mode 100644
index 00000000..39d5d4b0
--- /dev/null
+++ b/sorting-output/26331-2025-01-14T15:01:02,514187816+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+	Command being timed: "cargo run --release -- --n=26331 --prove"
+	User time (seconds): 2736.68
+	System time (seconds): 101.32
+	Percent of CPU this job got: 5434%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:52.22
+	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): 39848724
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 24686667
+	Voluntary context switches: 685671
+	Involuntary context switches: 154793
+	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/26603-2025-01-14T14:57:23,048607813+00:00/ceno/hints b/sorting-output/26603-2025-01-14T14:57:23,048607813+00:00/ceno/hints
new file mode 100644
index 0000000000000000000000000000000000000000..0cc1e65d68f1682d0840b54cd4c720f171272852
GIT binary patch
literal 32
OcmWe(Kn1VUQTYHDSpjDN

literal 0
HcmV?d00001

diff --git a/sorting-output/26603-2025-01-14T14:57:23,048607813+00:00/ceno/output_time b/sorting-output/26603-2025-01-14T14:57:23,048607813+00:00/ceno/output_time
new file mode 100644
index 00000000..eab0e05b
--- /dev/null
+++ b/sorting-output/26603-2025-01-14T14:57:23,048607813+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/26603-2025-01-14T14:57:23,048607813+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+	User time (seconds): 1343.71
+	System time (seconds): 88.03
+	Percent of CPU this job got: 3666%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:39.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): 15093080
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 11174582
+	Voluntary context switches: 1179093
+	Involuntary context switches: 186807
+	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/26603-2025-01-14T14:58:02,717135588+00:00/sp1/log b/sorting-output/26603-2025-01-14T14:58:02,717135588+00:00/sp1/log
new file mode 100644
index 00000000..553b5e5a
--- /dev/null
+++ b/sorting-output/26603-2025-01-14T14:58:02,717135588+00:00/sp1/log
@@ -0,0 +1,124 @@
+2025-01-14T14:58:04.052753Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu'    
+2025-01-14T14:58:04.508949Z  INFO vk verification: true
+n: 26603
+2025-01-14T14:58:06.830776Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:58:07.105192Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:58:08.439784Z  INFO prove_core: deferred 1 records    
+2025-01-14T14:58:08.870426Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210
+2025-01-14T14:58:08.870454Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:58:08.870457Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:58:08.870459Z  INFO prove_core: Chip Bitwise: 19  -> 19 
+2025-01-14T14:58:08.870461Z  INFO prove_core: Chip Mul: 2   -> 17 
+2025-01-14T14:58:08.870463Z  INFO prove_core: Chip ShiftRight: 18  -> 18 
+2025-01-14T14:58:08.870465Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:58:08.870466Z  INFO prove_core: Chip Lt: 17  -> 18 
+2025-01-14T14:58:08.870467Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T14:58:08.870469Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:58:08.870470Z  INFO prove_core: Chip Auipc: 9   -> 18 
+2025-01-14T14:58:08.870471Z  INFO prove_core: Chip Branch: 16  -> 18 
+2025-01-14T14:58:08.870472Z  INFO prove_core: Chip Jump: 12  -> 18 
+2025-01-14T14:58:08.870473Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T14:58:08.870474Z  INFO prove_core: Chip SyscallCore: 2   -> 10 
+2025-01-14T14:58:08.870476Z  INFO prove_core: Chip SyscallInstrs: 2   -> 10 
+2025-01-14T14:58:08.870865Z  INFO prove_core: Shard Lifted: Index=2, Cluster=54
+2025-01-14T14:58:08.870869Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:58:08.870871Z  INFO prove_core: Chip DivRem: 2   -> 10 
+2025-01-14T14:58:08.870872Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:58:08.870873Z  INFO prove_core: Chip Bitwise: 18  -> 18 
+2025-01-14T14:58:08.870874Z  INFO prove_core: Chip Mul: 11  -> 17 
+2025-01-14T14:58:08.870875Z  INFO prove_core: Chip ShiftRight: 17  -> 17 
+2025-01-14T14:58:08.870876Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:58:08.870878Z  INFO prove_core: Chip Lt: 19  -> 19 
+2025-01-14T14:58:08.870879Z  INFO prove_core: Chip MemoryLocal: 14  -> 18 
+2025-01-14T14:58:08.870880Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:58:08.870881Z  INFO prove_core: Chip Auipc: 10  -> 18 
+2025-01-14T14:58:08.870882Z  INFO prove_core: Chip Branch: 18  -> 18 
+2025-01-14T14:58:08.870883Z  INFO prove_core: Chip Jump: 14  -> 18 
+2025-01-14T14:58:08.870885Z  INFO prove_core: Chip Global: 17  -> 17 
+2025-01-14T14:58:08.871100Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179
+2025-01-14T14:58:08.871103Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:58:08.871105Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:58:08.871106Z  INFO prove_core: Chip Bitwise: 14  -> 17 
+2025-01-14T14:58:08.871107Z  INFO prove_core: Chip Mul: 10  -> 17 
+2025-01-14T14:58:08.871108Z  INFO prove_core: Chip ShiftRight: 12  -> 17 
+2025-01-14T14:58:08.871109Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:58:08.871111Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T14:58:08.871112Z  INFO prove_core: Chip MemoryLocal: 14  -> 18 
+2025-01-14T14:58:08.871113Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:58:08.871114Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T14:58:08.871115Z  INFO prove_core: Chip Branch: 19  -> 19 
+2025-01-14T14:58:08.871117Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T14:58:08.871118Z  INFO prove_core: Chip Global: 17  -> 17 
+2025-01-14T14:58:08.871300Z  INFO prove_core: Shard Lifted: Index=4, Cluster=179
+2025-01-14T14:58:08.871304Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:58:08.871306Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:58:08.871307Z  INFO prove_core: Chip Bitwise: 15  -> 17 
+2025-01-14T14:58:08.871308Z  INFO prove_core: Chip Mul: 10  -> 17 
+2025-01-14T14:58:08.871309Z  INFO prove_core: Chip ShiftRight: 12  -> 17 
+2025-01-14T14:58:08.871311Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:58:08.871312Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T14:58:08.871313Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T14:58:08.871315Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:58:08.871316Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T14:58:08.871317Z  INFO prove_core: Chip Branch: 19  -> 19 
+2025-01-14T14:58:08.871318Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T14:58:08.871319Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T14:58:08.873257Z  INFO prove_core: Shard Lifted: Index=5, Cluster=250
+2025-01-14T14:58:08.873266Z  INFO prove_core: Chip Cpu: 19  -> 19 
+2025-01-14T14:58:08.873267Z  INFO prove_core: Chip AddSub: 19  -> 19 
+2025-01-14T14:58:08.873269Z  INFO prove_core: Chip Bitwise: 13  -> 15 
+2025-01-14T14:58:08.873270Z  INFO prove_core: Chip Mul: 8   -> 10 
+2025-01-14T14:58:08.873271Z  INFO prove_core: Chip ShiftRight: 11  -> 15 
+2025-01-14T14:58:08.873273Z  INFO prove_core: Chip ShiftLeft: 15  -> 15 
+2025-01-14T14:58:08.873274Z  INFO prove_core: Chip Lt: 18  -> 18 
+2025-01-14T14:58:08.873276Z  INFO prove_core: Chip MemoryLocal: 11  -> 16 
+2025-01-14T14:58:08.873277Z  INFO prove_core: Chip MemoryInstrs: 17  -> 17 
+2025-01-14T14:58:08.873278Z  INFO prove_core: Chip Auipc: 10  -> 10 
+2025-01-14T14:58:08.873279Z  INFO prove_core: Chip Branch: 16  -> 17 
+2025-01-14T14:58:08.873280Z  INFO prove_core: Chip Jump: 13  -> 16 
+2025-01-14T14:58:08.873281Z  INFO prove_core: Chip Global: 14  -> 15 
+2025-01-14T14:58:08.873283Z  INFO prove_core: Chip SyscallCore: 5   -> 10 
+2025-01-14T14:58:08.873284Z  INFO prove_core: Chip SyscallInstrs: 5   -> 10 
+2025-01-14T14:58:09.199133Z  INFO prove_core:generate main traces: close time.busy=326ms time.idle=2.04µs index=0
+2025-01-14T14:58:54.053759Z  INFO prove_core: execution report (totals): total_cycles=8807040, total_syscall_cycles=20, touched_memory_addresses=73933
+2025-01-14T14:58:54.053791Z  INFO prove_core: execution report (opcode counts):
+2025-01-14T14:58:54.053799Z  INFO prove_core:   2779217 add
+2025-01-14T14:58:54.053801Z  INFO prove_core:   1520649 lw
+2025-01-14T14:58:54.053803Z  INFO prove_core:   1428520 sw
+2025-01-14T14:58:54.053805Z  INFO prove_core:    733703 sll
+2025-01-14T14:58:54.053806Z  INFO prove_core:    471487 bltu
+2025-01-14T14:58:54.053807Z  INFO prove_core:    357233 sltu
+2025-01-14T14:58:54.053809Z  INFO prove_core:    346501 xor
+2025-01-14T14:58:54.053810Z  INFO prove_core:    328604 srl
+2025-01-14T14:58:54.053811Z  INFO prove_core:    323353 or
+2025-01-14T14:58:54.053813Z  INFO prove_core:    166217 bne
+2025-01-14T14:58:54.053814Z  INFO prove_core:    110217 bgeu
+2025-01-14T14:58:54.053815Z  INFO prove_core:    107143 beq
+2025-01-14T14:58:54.053817Z  INFO prove_core:     62165 jal
+2025-01-14T14:58:54.053818Z  INFO prove_core:     27551 sub
+2025-01-14T14:58:54.053819Z  INFO prove_core:     17141 jalr
+2025-01-14T14:58:54.053820Z  INFO prove_core:     13893 and
+2025-01-14T14:58:54.053822Z  INFO prove_core:      8574 auipc
+2025-01-14T14:58:54.053823Z  INFO prove_core:      3161 mul
+2025-01-14T14:58:54.053824Z  INFO prove_core:       544 sb
+2025-01-14T14:58:54.053826Z  INFO prove_core:       417 blt
+2025-01-14T14:58:54.053827Z  INFO prove_core:       402 lbu
+2025-01-14T14:58:54.053828Z  INFO prove_core:       320 mulhu
+2025-01-14T14:58:54.053830Z  INFO prove_core:        20 ecall
+2025-01-14T14:58:54.053831Z  INFO prove_core:         4 lb
+2025-01-14T14:58:54.053832Z  INFO prove_core:         3 divu
+2025-01-14T14:58:54.053833Z  INFO prove_core:         1 bge
+2025-01-14T14:58:54.053836Z  INFO prove_core: execution report (syscall counts):
+2025-01-14T14:58:54.053843Z  INFO prove_core:   8 commit
+2025-01-14T14:58:54.053845Z  INFO prove_core:   8 commit_deferred_proofs
+2025-01-14T14:58:54.053847Z  INFO prove_core:   1 halt
+2025-01-14T14:58:54.053849Z  INFO prove_core:   1 write
+2025-01-14T14:58:54.053850Z  INFO prove_core:   1 hint_len
+2025-01-14T14:58:54.053852Z  INFO prove_core:   1 hint_read
+2025-01-14T14:58:54.053860Z  INFO prove_core: summary: cycles=8807040, e2e=47.22374629s, khz=186.50
+2025-01-14T14:58:54.057346Z  INFO prove_core: close time.busy=45.1s time.idle=2.10s
+Successfully generated proof!
+2025-01-14T14:58:55.149408Z  INFO verify: close time.busy=1.06s time.idle=1.72µs
+Successfully verified proof!
diff --git a/sorting-output/26603-2025-01-14T14:58:02,717135588+00:00/sp1/output_time b/sorting-output/26603-2025-01-14T14:58:02,717135588+00:00/sp1/output_time
new file mode 100644
index 00000000..4700998f
--- /dev/null
+++ b/sorting-output/26603-2025-01-14T14:58:02,717135588+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+	Command being timed: "cargo run --release -- --n=26603 --prove"
+	User time (seconds): 2755.73
+	System time (seconds): 101.52
+	Percent of CPU this job got: 5408%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:52.82
+	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): 38896160
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 5
+	Minor (reclaiming a frame) page faults: 24913154
+	Voluntary context switches: 599374
+	Involuntary context switches: 115723
+	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/27592-2025-01-14T14:56:26,274041063+00:00/sp1/log b/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/log
index 3cdbf66e..48b04078 100644
--- a/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/log
+++ b/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/log
@@ -82,3 +82,43 @@ stdout: WARNING: Using insecure random number generator.
 2025-01-14T14:56:32.542721Z  INFO prove_core: Chip SyscallCore: 5   -> 10 
 2025-01-14T14:56:32.542722Z  INFO prove_core: Chip SyscallInstrs: 5   -> 10 
 2025-01-14T14:56:32.863244Z  INFO prove_core:generate main traces: close time.busy=320ms time.idle=2.32µs index=0
+2025-01-14T14:57:20.925645Z  INFO prove_core: execution report (totals): total_cycles=9131258, total_syscall_cycles=20, touched_memory_addresses=75896
+2025-01-14T14:57:20.925673Z  INFO prove_core: execution report (opcode counts):
+2025-01-14T14:57:20.925681Z  INFO prove_core:   2881149 add
+2025-01-14T14:57:20.925684Z  INFO prove_core:   1576623 lw
+2025-01-14T14:57:20.925685Z  INFO prove_core:   1481076 sw
+2025-01-14T14:57:20.925687Z  INFO prove_core:    760650 sll
+2025-01-14T14:57:20.925688Z  INFO prove_core:    488311 bltu
+2025-01-14T14:57:20.925690Z  INFO prove_core:    369781 sltu
+2025-01-14T14:57:20.925691Z  INFO prove_core:    359768 xor
+2025-01-14T14:57:20.925692Z  INFO prove_core:    341072 srl
+2025-01-14T14:57:20.925693Z  INFO prove_core:    335694 or
+2025-01-14T14:57:20.925695Z  INFO prove_core:    172649 bne
+2025-01-14T14:57:20.925696Z  INFO prove_core:    114153 bgeu
+2025-01-14T14:57:20.925697Z  INFO prove_core:    111290 beq
+2025-01-14T14:57:20.925699Z  INFO prove_core:     64605 jal
+2025-01-14T14:57:20.925700Z  INFO prove_core:     28569 sub
+2025-01-14T14:57:20.925701Z  INFO prove_core:     17737 jalr
+2025-01-14T14:57:20.925702Z  INFO prove_core:     14281 and
+2025-01-14T14:57:20.925704Z  INFO prove_core:      8872 auipc
+2025-01-14T14:57:20.925705Z  INFO prove_core:      3241 mul
+2025-01-14T14:57:20.925706Z  INFO prove_core:       546 sb
+2025-01-14T14:57:20.925707Z  INFO prove_core:       433 blt
+2025-01-14T14:57:20.925709Z  INFO prove_core:       406 lbu
+2025-01-14T14:57:20.925710Z  INFO prove_core:       324 mulhu
+2025-01-14T14:57:20.925711Z  INFO prove_core:        20 ecall
+2025-01-14T14:57:20.925713Z  INFO prove_core:         4 lb
+2025-01-14T14:57:20.925714Z  INFO prove_core:         3 divu
+2025-01-14T14:57:20.925715Z  INFO prove_core:         1 bge
+2025-01-14T14:57:20.925718Z  INFO prove_core: execution report (syscall counts):
+2025-01-14T14:57:20.925723Z  INFO prove_core:   8 commit
+2025-01-14T14:57:20.925725Z  INFO prove_core:   8 commit_deferred_proofs
+2025-01-14T14:57:20.925726Z  INFO prove_core:   1 halt
+2025-01-14T14:57:20.925728Z  INFO prove_core:   1 write
+2025-01-14T14:57:20.925729Z  INFO prove_core:   1 hint_len
+2025-01-14T14:57:20.925730Z  INFO prove_core:   1 hint_read
+2025-01-14T14:57:20.925738Z  INFO prove_core: summary: cycles=9131258, e2e=50.529826519s, khz=180.71
+2025-01-14T14:57:20.928662Z  INFO prove_core: close time.busy=48.4s time.idle=2.17s
+Successfully generated proof!
+2025-01-14T14:57:21.990194Z  INFO verify: close time.busy=1.04s time.idle=2.01µs
+Successfully verified proof!
diff --git a/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/output_time b/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/output_time
index e69de29b..88bf66be 100644
--- a/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/output_time
+++ b/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+	Command being timed: "cargo run --release -- --n=27592 --prove"
+	User time (seconds): 2997.39
+	System time (seconds): 114.99
+	Percent of CPU this job got: 5577%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:55.80
+	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): 43974868
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 2
+	Minor (reclaiming a frame) page faults: 27827421
+	Voluntary context switches: 864142
+	Involuntary context switches: 174649
+	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