From c4f29fb545090c988968bdd080a8bf3a443c72d3 Mon Sep 17 00:00:00 2001
From: Matthias Goergens <matthias.goergens@gmail.com>
Date: Tue, 14 Jan 2025 14:57:12 +0000
Subject: [PATCH] More data

---
 plotting/ceno.data                            |   6 +-
 plotting/sp1.data                             |   5 +
 plotting/sp1_ceno_scatter.png                 | Bin 21452 -> 21594 bytes
 .../ceno/output_time                          |  23 +++++
 .../sp1/log                                   |  82 +++++++++++++++
 .../sp1/output_time                           |  23 +++++
 .../ceno/hints                                | Bin 0 -> 32 bytes
 .../ceno/output_time                          |  23 +++++
 .../sp1/log                                   |  96 ++++++++++++++++++
 .../sp1/output_time                           |  23 +++++
 .../sp1/log                                   |  96 ++++++++++++++++++
 .../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                                   |  69 +++++++++++++
 .../sp1/output_time                           |  23 +++++
 .../ceno/hints                                | Bin 0 -> 32 bytes
 .../ceno/output_time                          |  23 +++++
 .../sp1/log                                   |  84 +++++++++++++++
 .../sp1/output_time                           |   0
 22 files changed, 644 insertions(+), 1 deletion(-)
 create mode 100644 sorting-output/11836-2025-01-14T14:52:16,324562061+00:00/sp1/log
 create mode 100644 sorting-output/11836-2025-01-14T14:52:16,324562061+00:00/sp1/output_time
 create mode 100644 sorting-output/18125-2025-01-14T14:54:33,866831229+00:00/ceno/hints
 create mode 100644 sorting-output/18125-2025-01-14T14:54:33,866831229+00:00/ceno/output_time
 create mode 100644 sorting-output/18125-2025-01-14T14:55:02,913658286+00:00/sp1/log
 create mode 100644 sorting-output/18125-2025-01-14T14:55:02,913658286+00:00/sp1/output_time
 create mode 100644 sorting-output/18506-2025-01-14T14:53:18,994450423+00:00/sp1/log
 create mode 100644 sorting-output/18506-2025-01-14T14:53:18,994450423+00:00/sp1/output_time
 create mode 100644 sorting-output/18506-2025-01-14T14:54:04,456003589+00:00/ceno/hints
 create mode 100644 sorting-output/18506-2025-01-14T14:54:04,456003589+00:00/ceno/output_time
 create mode 100644 sorting-output/206-2025-01-14T14:52:54,485830999+00:00/ceno/hints
 create mode 100644 sorting-output/206-2025-01-14T14:52:54,485830999+00:00/ceno/output_time
 create mode 100644 sorting-output/206-2025-01-14T14:53:07,244337730+00:00/sp1/log
 create mode 100644 sorting-output/206-2025-01-14T14:53:07,244337730+00:00/sp1/output_time
 create mode 100644 sorting-output/27592-2025-01-14T14:55:47,913324232+00:00/ceno/hints
 create mode 100644 sorting-output/27592-2025-01-14T14:55:47,913324232+00:00/ceno/output_time
 create mode 100644 sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/log
 create mode 100644 sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/output_time

diff --git a/plotting/ceno.data b/plotting/ceno.data
index c390fc85..5f1768b3 100644
--- a/plotting/ceno.data
+++ b/plotting/ceno.data
@@ -3,6 +3,7 @@
 126	ceno	12.26
 170	ceno	12.03
 197	ceno	12.6
+206	ceno	12.12
 237	ceno	12.24
 241	ceno	12.84
 264	ceno	12.34
@@ -369,16 +370,19 @@
 11773	ceno	24.99
 11802	ceno	24.05
 11805	ceno	24.88
-11836	ceno	
+11836	ceno	24.81
 11901	ceno	24.94
 11935	ceno	24.93
 14254	ceno	26.59
 15097	ceno	26.79
 18092	ceno	28.62
+18125	ceno	28.39
+18506	ceno	28.77
 19264	ceno	31.6
 19563	ceno	31.05
 24012	ceno	35.28
 26451	ceno	38.32
+27592	ceno	37.69
 29328	ceno	39.19
 29750	ceno	42.74
 31065	ceno	43.25
diff --git a/plotting/sp1.data b/plotting/sp1.data
index 10b74ea2..c8308d14 100644
--- a/plotting/sp1.data
+++ b/plotting/sp1.data
@@ -3,6 +3,7 @@
 126	sp1	9.7
 170	sp1	10
 197	sp1	10.68
+206	sp1	10.8
 237	sp1	10.93
 241	sp1	10.83
 264	sp1	10.43
@@ -369,15 +370,19 @@
 11773	sp1	37.53
 11802	sp1	37.7
 11805	sp1	37.05
+11836	sp1	37.2
 11901	sp1	36.44
 11935	sp1	37.57
 14254	sp1	39.26
 15097	sp1	41.22
 18092	sp1	44.43
+18125	sp1	44.04
+18506	sp1	44.53
 19264	sp1	45.79
 19563	sp1	44.41
 24012	sp1	49.39
 26451	sp1	52.98
+27592	sp1	
 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 6a94c12b9256166183830afbef6fd70b2ee16302..5d8c9400967ee31ca1ff485d48392623d18c7cb1 100644
GIT binary patch
literal 21594
zcmeIa2UJtt*Ee_xL=dD(QCgy?pmY@kX;D=0K`AOtgn%F@y>|!!X;KBH7o~_4A%N05
zN|9!vhu#qgJ=Bo70mWz5d~413y|d<9@2vT=FzU^@r|z@&Z~yi_Cs0*cftH$`8UO&=
z+ln{t0l*Oi08n74$iXMCh8@!Zfb5#;od-9GL?Za)&6_u*ziI%$i&z5?0UWLd0W>uM
z*Pe|MYv6zvqQ;9TqVE+100=LD=tV>kJJT;*0AEFnd;{NOXJ@~3>C)Z1ca4pWQ7BYw
zY;0j+VNFd<YisM|<RsX{(#4D6xbP3XQ%mYgBSa!@(3@CPn}@>@djPOCzzF<AoenxJ
z6r{QT|Dcm6t--DUK%0O296;(K5orHTWR4`FRF}NGh&O?4FWcED*QKf8%3`w;KbrOR
zfj3@oVmg5H#=Qc54!#)-S4F6s341XEUd+s12=Ld-OTWfTpXf#EKZ5uM{M9GEu_o5k
z5W(>fYubvFmWWGlirQ+4wQV&RcOv2q5nfeQH9S0wL?Y$n<f^NylarHSFjz)L29RWD
zWo5<7%NrCF^nQN337mqX){5G806_Pd^oQ&<KOF}Ez=7L0u03#0SQw=7PWdP0xxu_e
z39JXrS3l54gydEn|9tW8wZJ8!aaLJN0pEDjDdh<1f@5G^|KlGo<jdq1c^CK5Eq{gK
z(pNo`$t4xLDM^C1qtVjt+JKh@^Ov*L16LGnGKtmj-g_NMs?xo^$sM!8Lb-C5!e>x#
z$$90d07d)v#cz9T_pDt=#rVSejz=Y<1nFj>1r<%586P%%0I!^R@x|ydRpQ3xLYS+B
z?anUBe<g0RSYfUsdc{@})`Bhm1<6ddZ;MkI4D&;Bx5&RV8T?te`y&kT!Zq9)Yg9Z;
z@A+&;>DMyizIe33?KWh;aC|g_fUJAT9(Li0gPa~}+Fh0|Z(d?+a&XZUWkc{8wBm@S
z2LkL$EyBXKKCtC(EsN7ha;_@L@Xg+WPcF2qMD*xjTSnb?+$z)CTky9BS)K5c3wc|m
zGs&KABfTt&GOeYr2pjRq<|wdXOJw5eE}o|BOV=+2?0(apE7q&^gJD-_D!KdnC5{FC
z^4wy0f7fkCX9MduNe-mwhJG1!{%~csN9SdyuL!eZWpi8TO+BmU!s}Jpa|?^ws{=ZM
z_93D>1=z<<Djf}w%#EnQTSq)3*M_V1G6-iKD2<AFpUc_l7;QWmB0fM;jn?a;FU#o(
zXL48@$;T~67guMi=;&<^N5N+30q5Ip0iEkh!<PIgftFP*c#pix{mZM|ZABaRhW3Wc
z2d#95Jd=N{wYYYtmaM6Cctc7pYUV=RcL<}rJIEjHxd~x}G1GOrJba7IuXMt4GuYP0
z>XbgWu7$c^KaW*c?C27dE(jB>#`%N*XSGYJB^I(o>~6HPCx3vWX(@mB_IGJ3nlrW(
z5z}pSslJR&={eQ7Dx}#FnnvQM>NMeS1)gxrQ-fhD+)2!eB9N0mz$$4v_r_+ajJ}}W
z153x_>Yam9Vp$|6dJ6XP*5>T#Ci+>LL?~@z+R=BaD+E)LkR{3FrGg*!%62?=BHM&5
zP`8orErY9+wln9X%AVNE$+|e-gV%C4g&S{9%D<Un>#>9Td(s(UQLTXfd)b#u30Eiu
z28;Tq<z1wQipm@7*YU*dH|e;hY%Hp-BeX6n`KQ3!oq}Os2Oa%Fnrs<reu3~+gWbKQ
z$Y@;j8kC9Cw@aWvYQVI&#z~G_*4^!tA$q{m&P5hkj_iGR66LZ{UiPsVHXl}(f&ldS
zqs#4XcDrx8u1p1t^j_*E1L7mkha0nXM|(;FBSS%KG`Gu(n%Hx1HcN8-ds|kIy1swC
z&NW&>#|Oam^s*OUsV1zNc?3!Vz~jkvAWewAJst{Fq?C$1^r*veIE5Smc9Y&o^|#z+
z8}<|gfKzRu{L~b{QVJgO<EL8@8L;#K%U*bUjT{)^t+)@@HDjI@kO=O<U+ko~FE1iS
zaeq|<gUe0ani%`Jn|g2mi9AMF$cC5dou9rb_yGyLMJfh<!>oAOJM&ZwyLaYWL<-{_
z+S*QrJG4-yko{u%rhMT~e^)7wzQIE(29~8h!@ggvwo?`U{dbkd<&Z7B*uw~SJgiF@
ztO6`BKY3P2KvFK+e<kM0&B_l#D^qXF<1>q+Hy4OAob<)8@~F1qmbuAqk8bUSn@qdj
z?y(egQR`Mhj(!r}-snzo3MTcTLA+OiCXG*MYqBUrIMl@x+uuV!INU6f$1!!0KfFNT
zmvW}rnC)DMA))XtOPA6ww);s|N~pQ+vLa$40L<+?MPG(mb0}QaT>cO=@{p5tk>_4J
z^@Ijjo7ni=@=d$Btd)esAbjBZ>G&^?==#d96oKmu?+2Tl?|;k}zI!nkVHq~L?wM7O
zqSLnF%i9`#$h|FI(sjLWvHk)UCM(VsF4w8Dz#7>zEMcVyFG^M2pCPP1OfbCV15>CA
zE3S?mXXL!oGO2N*_@SgdPq<yuhE$p*io4uH%f)T_rSZK9{1>t6ZaX;Pv5<ec<m=4)
zon}a*a=QIV>^%aGU_gASaja<4iuZf`U4kk+THaB5NcP2B#0u7Vtk*-hqu)bo+7qUZ
zS<L44un&^tPP&V(Py_AoH(r`FnXzB4O^rLlM>g&W3*RJE&#A)uRN-y;8iO`k3mtm&
z<67en?Sq<I@J+eZs&D`kp~9+osYRDwkd<b_U0_aBu?j4mlrz<oE$_BCuq*yUBFe>4
z#wkdmNWnnH<yl7eYEM;@BlABbaWdqXU-e&Ry;%gRDdQt)O*on~P|<kGM&B%dlQSE%
zYuy_ER<SZhr+8xFS|v)KZi1U6Mj;lMj&^h>FH_R$B;;9G?N#wM8|g<rklE0jtgw1^
zl~d-tt-@_;T7!IPec#t7_yimc$ZGzPl@8o<V5S0cCVHqRtmf+quI~#p`Z*s1|8K!o
zToxm*iB^T5`qFa@K%UlyyQn$x7UTu%YH92XEi=u8t;Cdzo9LI<YVbdg(w=tExi}8F
zK)_ZImun%jxsCCY+IpP7?3jX-+@5{e%c-*mo4s*dAiM=Lu@Zy)s)QQdsF=?+TTx|k
z*ZV9aaM1i$sBNZjo)(fQV<qHz5Bd5^$>pyR7j_Ee_!xxu`{xb)u~1jWOw#9Tnr)_K
z<J%jbFj;atKDt@}g9--WcYE!fz)FR1cmQM5@HjoV{q^2x!PgBcqE|<Mw4;ypEO6y6
z?D;$0`j^nXfJW%PD9BMc(;6i2!nw$~vdbqhg^2nsNs$8K4;Hz6p#T-(0a`kJGmdOT
zi7%X?9FwzO0Guf5&(x$9Y4d}oJY7ez1Nvs=5Hdh36_L^xdi^L#cbNOA!M~gLko}f&
za3<hKp%6gvI{HQ-moF1(-}fFNmCq&LA7xQ39|M430(&3+91>_OMSYf}L-J{Ff#r26
z_m_cGCE#`Dpem-eLs<$2%OCE7R0IIrKB($U+ydXL1J!T>3YO=B|EUrHB0v!at5Up-
zRpUF5EfH$4{8hw(cm{)`IrDbEs_>_O_bREpgV&!b_eZl|)pv7+w|_<fmY)OuRJlKz
z{i^;mG5?vE1Nr~&ATd?U^B=dY-XMS)rh`t+Q`MW1>^z1g@ga7P2{hdN#UvZvTjnSW
zk&K#L$18ZsGDkZ^Q2|<wRWuV?db$46EidebcDMGJ$N>I6C-kdg0|l4Xm3KFC%>-<E
zPUvOtg9R5uJ5(l0yrWRbWoOl0&meH;?_PBSzY`3bv;ZP>gRpFkkA2TV0DBOo_#1kj
z&jYvlZd&mzxb}U{HlZAza*WYF=;%G-W<r<7AHH?Qbq3$D0E0;pH;a9GFwKqCTop%T
zH=A1bxZ=&nhWV1m2IlL^2(dONgn`{SC-Dszo2M#g1pZMzL*a$2Prs8w*um5E?yIp7
zi~p{hKMyKpv35Zmfd*=l4m4H(k6#Z7nCTbepIU4@)VPVhVK}J);xoNkZzj-E1}RYh
zlFc%tH>^?-`25d_OYD04`g7+>;#U!BaqxxT3Y95h8u6TD%E{i!s5OH+vloCCgq_7b
z|8J-^rPihwQeXKH0uOb)V*sRYj)_cv+H>?s(FWLi=Z?(vh3I9ML#1x+-|PFShcupj
zwT?YSZIq`(;gz^kOVB(?68jtfu|@wsG15!c+jyEynZKgZ=SlM!&vl4DFi)798bNe%
zEaBm>=Sev~2-yf4zbQe21p5%8$h;c*cqjC5wt6p8PmKQuu>9ANTxDUY9LzFTJ1Uv}
z%ahlj-Z!c!ECt=Rq#jh#>f9-$VITmUTr|hEIQG8mnN)k!qcxWM7h00uX7*p{=7?Uw
zZ>+k6oW=cxZu22+9-bvrJ@sPcti{5iU#LNaIOFVOhvIMnb=^|X(BQyue`=qvgArSl
zz;ASFWsb{pFd2AZC>zLKMzGsyY;2d?TNn{DUs<-I%tO=5UMxg4o{QgHgEZ4O?%I}g
z`Y#)EHqZdoQ;BVabdV}&35qy=lx(EO`h4V5Vif^WwC`jXa{S*w(~sVXW64=8^H31|
z{)R_Sp{a;q63{JLyN*WCLLvH>GP;YAN5uaC=MW7MM}w1;e?&KxB^V+~cMA>lGVSCA
z9{}Y4pxXa$!+m`#<zY`U1Sd5`F9$WnX_9DwbiqPfA><`3{@6a5Lh`H@zGklX+`sH|
z6ZC6HMI8;UQ9vQ{pv*A-R&;njNro$bWsBrOiyU}Z|66>L8h@KljwNppUi7Jm5$^-9
zuJ;{oZtN38+ZiwGZ2`JczvW(BjNdCjCyBVV`pJU=3;Iv0@S1nxC(wY@H8g<L=CrD~
zxa;gt0dZ#{EiLmun7g8sOksatU&k$>A)@-=h9eVqa4o#vi}EF;AiP4<$gD|#2lP12
z4YS#r^t?ZW9==rc@r%uaa;hRIiPG{4$)};o<zvt{WTtvV((|B4hdp5j&j+#AA?Db3
zS^uZ~OALqlk_++o>Vb4voTj&WtTIX!zN}T+Me?LgyRH(JU%ovCViC83AGe6d<xhgE
z<7kx5*z|(N71SLKOAkr>n1GJM2!`;08f4pE>yRFpcV*Jt0v%Z9Ry5$1vY6antERP6
zw_jKS8o#?yeIIl5uRF`oj?jYAfT{sQ7W=b#m;?>CWv!2OZu}l5$nKG~qUWCkN*Nru
z(ReG@W3SXO=l?f~%Kxfg-+8rn7AyRirh75wELMNtFR!_J0-Ew1TwMmOLIDPSUOtA+
ztDmX}7Xi)v-SFN)qy>-hY!vAGO*?dhjKf*b<w4iPJvopw5-afk(3NkFkKb8c#-Epi
zy=Zv|TAruQR(2@KPUyV^l2tPal={nT;D@HF1gxMD`{qr1Ec7oEGSoki9JVf$qohq-
zulNeOR~Lr*28QEOg~H8jc6Rc$4vk}r3QNEtSnuVC-zmG~r>mtv)YUrVATU?NH>Tx3
zRK(w)AKWV?jQh~bZjRJX8Wsei@=)yy1{Hn6Buhs1!S=L)+Fo7Y^Z%3iQi}cKEbJ3H
z|Ff&qbk$=A3dn`-Z~51>_#A|hkBmH~GSj<5iS)017sLp(a+dZ!>U~JUDbD%8fHuOU
zYvn|?5Ti4e1mwvsXH{?4_Y{KGT$=Mm$}ua~y(uR2>u=n>VafAhCh<FlHf{0M6Vtua
z`GO2swfE+rSuACw!*5XCkmwywGROJ+XgbeuzW`k2D`mAY<Su7~3zW2PE!M6GG5}g@
z^Lzq29alEKNb={7bD3#sod#-ZR@(@ts%6fH<w3EK{6mt;t*TU5IQn!;3rjTL*FzEs
z?{0^Z=FD|*(X#=e3b`mRlU~7Y*)MRhwo6{!{!1%ictL@1-o%O7GG9l(-*<`gY4JvO
z$;m<EXFG&@3{RG`wG<(M`JRrX7t87@S2m*UTqIuI+&x1Dg^a8wB^(PC6rudXcIkW^
zry1+7GTaw<5)oBoUQ8Gz0aHL=-kIWY5C~koB*TT@91?LfjvmZW3sS5$=Ob^;Yr~lX
zxPN0FaPZUeHbQj8MB+9r7`J^J0Lg6R?y++WsW?joUAa`kE4hSC!BIwZMcai{rj%Qt
zdqb~B`UtW%g+BCky3?lM<6-*)#Lz({JO-B_=TD-0bIF+l*u6iD`S@G(RT+ZyN6Xs?
z&_&OU_6WZV2)sYHw>)wQW0D}TQWQX1RM@IOM~}{FX@QRl!xxyTD89iKU-S+j<HwzQ
z9;KYas?B7TW0a-X(MzG3Th^G45QO<~en2YbtDVJ{vo8vCDSyzUWe5J8&sT6OmJM;b
zLu&^&Jsno}&>_%TR5(0evTB&SX4ui=SJ{i{_??SLw?ONBOtq<jDx~JYXEm*9_ero4
zF5h!Ur0yOIE1Jv?f{b#J!W@j#Xij#1A+=WvSHro@FG5brE~ZGERv3al_qi#Np@ul6
z=RQB@V+O4mAR}znl1^z)LqB~j!^Z?89BnCBy%uEp24JCmXk9HqtlHCmF!xzMHa>IR
z?Xv9m0lQe+Dcv_P?NUt1k2DJ`Gw(sCL5^-9?>ZW&!LeY>1gj5DTF=PpRi)=8Z)Bpt
zJp|bd042R8y`r<%*Z13bX^LzDhlv-6JNu@p_~@U6m>Fz^UMHS4Un@VkmXi!LH{4zm
zL-xA`4~yQXxPRP+yXlt_^OJJA3Jv&b(i?;<XfVxvZYBg)Z8POxL0PO#50_)_izROK
zs-b{ht<Rq@dgct&H(DbD7t<lJ4h_y!!gez?!ht8y%z0t~`vSn`XpqQC++MORzh*K&
z;|OnGj5+U}Ir>lw<a*KmP}{O$8Ha}wy{5Lek5f;O??+`;+hll|w%xSgqZ`U$)J7}2
zGAvYH7B|gt!qa2Bb$SBSHwM>E2hvj;;dyFJjIVnk8EwvOk2=e6OB^3`VlHD4C@JeQ
z&vGw4Ikk~LsNlByLuv}GPg?4-R|o5ac?AD?|LT-O!Bg4SdluDep)T;4xF)xh={qSz
z?^!_^V+EbWq#*%QD-cZUFe(^yX^KiVB!?-ZXX4s|g;|>Tr#T@@tTx<=+6h7Oy8>nV
z18vl=70Q|oR&aKIt$cU4M#>oEv>#hObCc0qRgZq(?8r6aJ$UyeCD%m`|A1rS1H+<n
z6!+@|Ekxsj5phJhs|ZanJY>#4cBAfe`77Z^3_*~WVtvoVSew>H15)#WUB7_aYjzrs
zVsBjG_QjWDrg*~52Mojpeba5<z1fkP^4B*_p&OU6K4E2CLAOiuPVC%x@W_So+T*x(
z#y-Jur&i|LC^eyuKe+&%pA!_F&le;dKbqJ^bEc(?pqb$tYo7=q!+ZdRe|*%st!4Fv
z(&wRsg1&GbfpGI#>Of{HulGUc^$Mi-?rBv)3x@dYksQO;dhQ9_Fzy9vBiBs+klPGc
z!VyxiCb-@?wG@o@Q2rQh8}CfMRC1Z`DC()nN!GqS9VHPl62KJh9c;KF{m?04DF#`7
zBNrTd5ajl9d$(O!IjRnO;}iKygFIHKx6^}KlT9#w2u=NVr8r3nySW#ipwEr_<m$No
zIk9li>J4+wSG^hfbbaA`TGmT}ddzoHOi;{Cu#Fj=qCyK>u6a+2l{U?fOjwjzy0^M;
zuw0sVWu3UzXRf0yhOyC&poYfnrT92?Xt`SB35l_|r2bJo@utVb*ZBcTv5yKOq?nXt
zPNJ#wEUaxq6&kv7F>#u=;Ht+R&PPTl#Ttb<8VC}4wr|hLjZW8_eb6LQf)nr$Xgf0d
zjs%tQ7&LPoE&Kw}mXN#tL8ibLa#V%yf$@&j2USc@XdM$Z9^Ai-(RRWu@@i9{VD{JL
z=g^d6?2D@-=lHVxfF(x8;*V`YJ#2Jfgm}V<Y(0bV>)i=pGbbQ>IjYfp@azjyg}1ez
zps@ANb$iLW!$%wq*ffmQ;6*#Mq-~_t>H?pZuXTa9T@@KFwCka%pLP1FaE9iF2mHyd
zl^`ja5`-N<Duvely0cfm+XYd>vS(N70Wg-r(rQj69OVzK3fYBc_t;iNzYeNXzYeH;
z1SGTA$Y-utSLKx55F0eMm!<sSd9u6N`Dopi)AZfKY{Av>(e+%tsX6lvj{WFcz$!vd
zl7inf5c%rk%>>q_XH~C$y8Cw-C2NTA$iT|ndp4QOH7!Z@B@R~3z9<F#;b9Y}(J-&!
z5jh<;+&@ZXL@7+>RrEd;^FkAE5X;g;NIyO;m4&+nA7#rZSHRmQH5H@e02fBhaT(6M
zM)_UO90IH2FF&bXUzU%J$mnq{n5T8$7b~kuULv2lf6so%g^`!3JC!~<d$~%E(iZim
z%RNT4^j^37*YQ_v+?(uE2zy3S;P8F+vaz`4xCe?Z?R@yw=f>;k0hN&FJP}rGO@l81
zV5#6w0jKQJ5*o97L;*%Xxqj8Lpzj?5s1P1|{Nf2{E0+sr%7wz6*8G?KG92%4AFZMa
zYhXt`h80eKYX1JXsNQUU>;aJGyhgLCDW;ntcJRUE1z6#wjzUVFaG6hy^AZ=auj5Gp
zq;s}R9$jZmb;>$%_7U!`r$?<XG;y;V{jey1dI=~yeGC4@jCM>9zEMb7A7fO?qwMiv
zUY{;)*x{2k-$|f??=chMo0d(W+q#k2)!^%kG-*3_;-9$hh`Bp%+H9D;n@&zJ=3&5&
zije|QcRveS=<o~K<n8rWB;#m|JZ&4F<s<yAH5zl-qPTZ`AhGQp!NQG>ljlhBu|UuU
z2d!MO<XcZelvM{uve!G+i8i=j^|0OTI>!_4552f^s~9FI@lP<97BIwUC%G{<`H)-l
z(U_1-UtKbe=;;)vpvs@2s(GeQ19}mA&7sG-w#LwQ6Ib_11Aq^O>3*G13Bwv1nA<qn
zclEMtbX;wV&hIzg!8zC~RSzfPOAv=E3ym0-os`ps_ti^=V_56hV?B2~>AT~IgK~~H
zRaJftOUTT;fT$^uG|*{BgD$5+8SG-+*VEI8bM%P~a#I}3lak@HU-G*#oyUSaK4FOS
zI2T~a8`OxaqpCxD$OdJf8P+DGo^be{_8`}Lod1RF%8%uYO=DJC7s7peXn_3F%4g;$
z%>>mt>-g*qXxvd$3(q7HHkf6LLceesX^Y2`Yi}oxtMt+3?T0))=c9@iWAe!JXwQgW
z2sfX9Q4Wc9FI{^WOU`)nKubDRbduLb_6UZXgDdMG3JVihv?TY^RD~}p_CxYy?6|mb
zVlLL(pyOZj74#eFrx5qdF_So_mx7#ApDy2I@-&dD*k7c#h;w`W1$iZO?nQ_xq%zIq
zM7iy8627?c+pMw-TF@9ZRvY*Ftk1YEZ$!r=C*(nZqe)h{Jpb`^=YZ<C6eY9(cUbxT
zFlA@@BoSf+gltJD*H<iVvA@~xxI~#1YS!WAGbf}>g<+QuWLcJF(6O3~q-8)jEH_cC
zQaVkWjyo4M&BKrh*)rS}-Dy~=Iqx<gxouAT0ETWsRp@jkN7%qtK;zMv=bbQhYVH%$
z%-f~2mBeD#U8*y|W4a*4#R8(z0tq(%O>O&H$g|>f!nqQ+iOaFtO^%l!TXX842RqIT
z_})YVimal6NyxC`FqY_&<JZLQIQ=pjXBDrYPI-uymR;tFA4oA8=E-*I#a#iZ5D-O)
zZ$vBgJ-Yqfm2P6~%^gQc$`upzbCizjnDp24&fmfosz2@LAdo=R9Dk_-vPI@`;P4e(
z3AM?Ub41Ci9!c-&2Aar4f-d}Lp3^IOuL#gucSUbn)azwggPU+o`JHUt^y1A4Dx=b8
zAPYRV^+hQ*7<y6K`fEdxvpr(|%B{CbjT3vz1OxgmTQ}(wRlR>iBo~3hYdj&mH{4s;
zQrX+7LuF>LD0bhS+})}lM_T+=o=E=ipY{RyYsvE&Tjb*%o&$x*tsaAN6ibuOc_zTQ
zHVlLj=4H=xj>*5=Nhai^vr5Tqd2ULBQuEI96T&-Dz3|fY?XcOmxyUlp&OyXujbmZR
z4tusi<nTI|-oBW8e$-ycrza6+-2uHAJ0t=1H+ZsocVQxM&=46%E;%?j&69<wvubzx
z(pL8Ek6w^CUMU?_+U5cub!b(o4KOV7pez0vR#dN3S<|O^4V{4VW4R5D09lk8_S5a;
zrAFx;lLPfXA=A){QiwTA&xuti6V5nZmTA=#hp!yGN$GXvhHiW1T4};g9a?jBP(ADx
zJo%(=yK(b0C2LrHI@{F|O93&$?LSJab8<kbqove8etPunPV)*qYtu?lX*_wXZu#8S
zV-r++Z|=apJpduJi#GR*i%6TmVR6eh{=)Tl=XZ12u?utB4{b&M0k^h!%#z$-^$$5z
zhsUMI(OIBVVkHWK>~&us%tx9u!uEZgzMm6eeQY#R-37O^D~6~(`ai#rDhEIP*e>}>
z_oK1swsX<b@m&hgf<3;q4oGuBx~l|~Cp?{CAzE$K?&$o1J;${hmQ|Z{Iwp<;zuxAL
zF;$z|KJSX;z4M`hPCBMRV$fq}v~OCN{u&<xV@Ct5pf(A#nV@r{*N0;H^w}zYq0V*p
zxk^R&7T@EGkY})%#V+bFF2mwiZ!>s6W&_;C;~hYt?pU!*;{Clk&ZecFpSxJ6OWPSE
z(|io_t!Tup&#^PpL6e+KFq!3-pb`|yNl(0|bkj)_&X3{JGdmI_L9KL2ivra4d<=P#
z;Wa@z!wcuW*9*l~y)U=<k)7f78KYaeuhc-r+Si6&tE$?VzRX1{xTvnvtF*q(MhEm+
zwWH@7W-XoiAM2>XtAh%u^UXx<;9Fmnm_If1t>q%PWycr&hd_<xNL3_}ieoTm1l7|c
znifa8iJKg)=z)d8?XSIcj*~@HMfP{{Zel<#W;MtpWwCjck;;>ECl7<Hc2vSvx`<HL
zZE?+5Yn*bNZ=Tw-Zl#;AGX-f(F1NAEf}vro0Sin0r$C~P)!Ya4y$+o#@$=#Mus}Qq
zbJNZ-Z$X&v69)5>VEdfDVD61c;EeB;t*3Is>PLb3u0oJ_xTj}2U-xiuqO4{R8B0#~
zX8gdvS}5sfdSX#b!*57ubo>BqOrvwEZm7kxHqBcLP#e+iKjduKxx3M0m+VOnI0i$u
z;>zRY1%nj;{c4c5LB5c;%N*Ku=M%~XqvGPy!B^sOZQDztT7S?2$j@wz#v$p8r})~7
z<yKjuN~}0on#M%SVO*d~eIV0dd_s8LcgRXUyh14Kv4q;^B7}GiClz2|Wr-7hGQ`@v
zRq=xf_1!}kjBwx=E87U8)~y9*9&Z+HB>H=b5Jeomo~1&6%&JuwB9}Sf>Teog@lMLL
zcHvysen3Qn39n8TzTPlZb<%!-+K3blVOf-u-P@D^gCR?`lrZ-js5|1zv(S662DfMQ
z<82bbSH5%Kg2z)}$@ig;y7GR6{Z4*lb`kb>=O2BYD6bmg2Et!JwuGoDyad4H0?=3A
zPwDy1{_ZDt{lCOa_wuUOPCqC=R&-=PbCJZd?YzI>RxIbpZVm;Pk3=uCTRm9BQ)1Yd
zsW5NTmyZz0*nSh}MfP$-&M1n4AblMY$-bW<gt;piA{Rrh4JJl{<<m{OPndD~Lgzv1
z-TeKpJxYm`1Ma0L(Qz%`5j79*6+fhqK@K`h4$oxnaM12!dRB8akmuHr_(k1&{&%oZ
zr+@5ywk`!0a>(<OGATih^S@sP)zYUg3r1we4jArneFvu#c>iT7<FDce=~mWs8j^Vb
zb*ZUl@Bzdult4BQg+lJyta2ogwAjIG-}O7Duf&k69b}kd9S~x@KfiyG>q*5t7|zci
z%^X^w+8Fq#3RnHIdt~X!0hjv}6C=q0QXGFGY)_8_#SDKt#tISx|CKB;`$T=I3UjJO
z68;6fQ&2|uq1a(x8ka^;GHIdSpRAuTjx?&mwP*=syR7>QW&c6HoP)$o?Wehd;l~<I
zko?+DSkvc{lBTAqDLRM`{|O<3KHR~yI7`NS9l9_iN=mmuk2vha3sWvZnW>nhB_3-&
zc?!{I*&iav9Zg2O&)WMb^shF;8RoxB`V_Cc&nmj+_>E_umGXns&T+S+KQ4Sn0ZX^g
zBSVp;!L!A@$S&x`(CdFv^4Pp(BwK$~U2E8T>JKZQ2}8OzN|Q!L%8JvX#!u7*{PfP;
z=F-r0c_4KXz1t~e49+AUgFsePRf2uP+Vb9J_JtTqvXKx-Z3Kvr-7_>;r0;#A{UL)%
zPQ{RXeNx6=NIZEaZkvbG_rWO4Z8r4ZZIsX#IWudB?d%u{YdEcSRVm*hzIAG)Ac=Uu
zrS?}U_(!yj$R}=@v_SH8H2kae%Lr3<qk$kX0;C4aQX=Kf`RLO-A!v_}*B*t{KZ9wD
z2=qlFof|9u41&r>us!KYa{aR~^O9fc5-wHcN45f;TEX-lRd|fn3_AZ*Kck`?`)nhu
z-lyD*0f<jQh^P-PHvIZ0ojo_AS2^HL1FXv@89H(>lthYb<NK3?K7Gz*`d4P&Z!b3)
zZM$ny8WI|$rbr<MQn0pWkh97BiiTLih$!w|R-I({(w18s^<k@26vwB=^-q^nSq=-<
zn=7IqqxQ!jBfP5clH+$QALu@NFs|*>H4%`rv-jqj7xLPEkgDBBy`IYOz26)D0?eHP
z7atMIm7{-!ywy9T{KGk7%XaFAcR#t6cJlB);MFUkTl?X^4Zl^H2G{ouTn~RPH@dTO
z)pWc;Smz~+FD_aS$wko?OTik?6pB)L4TCM&artW8#n?O$<wU*?5oB^-^*na5ys6o<
zq{@&Y^3RrfJ}Amrhh40W8ya#iNx3b)+Zqb8x(B_vW=*Bu1*?-v8WAn89Lc3Cge<8u
zQ#IUr-|)6kf++fo;blIhm&(Dy5!;l>=R26^TjYy`+=uh6s=Yq^S+tn;WPi4jxYp#k
ze2+#F$#DX@vRZe)DcfK`wED(Tpj8b%<EvQ}mvD^=025HbDCoCSTFwvO$h&P;8(Qvb
z)u|G?%g|*j>7zy!x)xDSUORd?R~gbC?8Dt6>ljhV5KQtlO<_g=`xfCjFk$IE?vR`H
zVh>oN0EOS0`D*zKb?4XFdx`>2{1&x>Na|yu3W2x#RoHU%8{s&Y)m<zl$Kv`+sMA^I
zsg=;deN|j8%;4jL#v7LixpgB~E>wuSEpe_hf~4j`HOTCw&8whH`bVQ+wYaR2!rBuQ
zHBl7QM#3DTscKKF+4w8$n^So`RvbRG&Tz$_CTVsEv>=)>0OWOA9Vo7ZY~#)PpSMYg
z@4K~lB)k=!^8st8?z;*mFBA;21?+{ss+{fT89?3i0TeMikUn~_UR3^P1LA8FpA(ga
zhgz|at`%oLltek!3m0GP<vhr@^=!2Uti(K83$Fv_fsie+dS*pu+T%gl#pIi$9Jm%f
z`-E$Y+?&y{c>fkDN05d*$m8us<Cn7Yh4!9|pZNUZPv`g;U@z~VB#dgVHqLL8*EH}k
z@TfS-uS0)wl}N?k%(w<r%urHKeEeZcaqF$hKl%bOd)u1hf)-qjaLA(8zOI~7hX?5{
z%R^UkAbzDQ7fR3;S16g5$4!}s^3NPd+V?A#yF2mMp!6!$ak5=G!hm~>2|75@#?)ha
z()}M6&w=9l&4ne%x!fLMvL(@5P$v5?X(FEbY#Pq&3M|KN`c<lT%}4n}D)HeYdfoOR
zhct+5RyIo^NAZvD-eMoDCu}q})?*bH{(L`AJz-zm^VOZG{-IiULG`4ercoq^Cxsn6
zvYpJU=OnA*;3=dtE%NdZi|I_*XpxV$v(>8gqq<{MURO>sH;IhRWXN%|G{t`^0Qr9;
z6(P~Ik%JabP@@(6(R0hWebmyY5|lDf*xw)us@NMUHLKO(pK#k6_2>$9@xE+zb%G%c
z<u>kWuhf2T-Ki%!L#0_mzpyKu%gq`Uf-OYXvyHcBZ*?gFBf8>Hrem_KVa)}yr_$s;
z@bq32D;-wYIYA)PSN{cN;x>0+2SNQ}VmCW_-j4a|F_A0`Po3oYXl$6W%&-ZD1>A?V
zo$pzj%wO5CJ4k)>V{D$#S?ry>Dw5PAnuL-Km8&y!@HsAL?0C}r0O+2BMu@!@4VLuN
zetDnR=SXK%an;Qlub>6fmJ5;P1{o8xZvx>z>na+|DI%Z>PsHw@fjMhiDV3hH9Ht>C
zXD@x#9JRwaJ|nAfJ40i%oTXVG3y-YSFk7hpDtn3gZr@jW|2d7mG~TRPJ8t1VN9Vhw
zWNaR7cx|S4ee$@f;iy%gbBaM(SPpp}(om+PstZGz?NSjJir~Hyx$yO%v=%&aSwWS$
zzCC*umwo&7{3GY7TSNqYBgSYx^bK#rrH=Ax>kWEf4ou58w(645m4!Y3=)bCb)i9B<
ziI-y9)}G#oe%nx5PNd}=f$>hj0FsOb=uUkIA4G1e)Y@olKns4{X);ayCg;cUGm@+@
zJ@N{7RNVyHcTw8>58oD|hi(OfJ<y0jm1GtA?*2B;CS?5!n~t9o_s)#p_lrL|l=w{6
zvnr2f3X!m%l2Hk1_V!RK)K!nXPsN)W(tK9AYH`_G-*#!?`dxco`+;N=S)H$SC!SYo
z0o`Y{;29W1LHYTWq8r90p7S|~y_qocA8;r2Z$%1XdLKQWnP1ZdHYxle&F2P1n48v2
zhS+4NLnQ699=i9hy){kX>8SJfTUJ1&b;Yayp_5!p?2_4@xa1I}!LaoOrQnPFK0lxB
z_1>afXvib)5dSq^TZEFakd853(H9FwY|lkjNOk^k5J4X&dV2SsUSW>JbdP*h0~0Lv
z(ef`#SDtd1fxC-U*D%NWvOc!@s*!Y};kLCLCDV`z15h;*0wzxF^%=gLbZ}wrVTs!O
zhAdBIEg!@F<a)`muFrRoptLki;M}%0t2Iqzqyo->dBn**i8exD443EvrV-OaGia4t
zM!yeb2~tn^s?E$xSNW^V74Ov}&Ww#@EkAgP>z-~!OYi4ltxiqt*_IgfoHo04dQM<j
z&-!*Yer}ZGr*JX;2WL|~PntI`boc{qk11)7O}Z22)#WbM8d1>$FXF#K;!oS$NHG*~
z>a7Rp0ou#5kKo_SKI}xUR%cB63nyOJd*UP?QQmE^!Qz$YGRK!w&}4<WT#gCVS*&~5
ztNp15^6VyeD|WH0jNdnl_;?gCJes#g>9y#x$d@w}M#^Fqx82#mH(D$$=T(l6EG%Z=
zmfxxlA@|O~x~j1a1iYFUQghI7b=rP7d+$jbJ%yaz&U>OQNAs?klLo=8T28=lGqxBx
zS8YWs?Ef`BOs7W<b2l<3hTaAJG=h!H#HVeMA@iU0&OSjr%6LN$=lSKu*SsCPBHQ)v
z-gU&@aX&VlNNG2>AgZZdEtTWekMX)7;mALzRQqaQJ5=PC%85fCT;^rAbUkfQLOvG+
zU3u|qZ`FG30ddCN)qTdl$}DR+Eo?a_><xlD;XDLL&ffvaF!`{p*T**=!H*M`PF1M7
zv8;VvQeb(dD7SKgd(P9|^C8twI8gOu0~!$$eW!IQT5&h$i`vZa{mFV<_Hr*4KRS|D
zyQe=ex*Z^IMUh;Wxt@+(X8p|sfvDBOg)4^JOiGfk_?HTy#cxopcFTMGdE;i{Xz#F1
zgOS9tyKC>_=G?Fq!*90zRw_a{$PT{45K3#zONJj_pk(SQ$uN~ZZ(RYuEpnGBfky(j
z>*~mM9oXdag*?l#R_PCUP@n8%vioFwmNRkct&MEOTv*lZZL1@OFZU=LhA&I8JU>FV
zbQS`=SSq-{)&_=dC=|Mh4tU8JNS^nyLP@0Q3G-l{SZmQ*p7{LVtlN8LMLEiqn@)2z
z)~Xf~FmCQ(DR(F7GsVPw0cVjp4x@tkok0Vg{NK#W4QeAw@^I+5gH7REW$)QV{Sy&)
zIgBK<MM}&U&FOmy&!vI+mLZxm60}Atv`m-fS$99h;i`Y>q$giY4!ySBOgAMCJneTw
z8;z?ER1b1Tsy)RdUvP%Uhk*3>y1zk)U_oRONCxfmfneUtySbVPie((yU?>%)5u8DG
zgmMLk`=;|}0y7YJ$H|Bh3GCMBeZr|yZSg(}mV_Vqc}K{+m_Y!eQV+E=A-uf%)gb2T
z;yL+}l~VwWS@EL*Gy5H<;7U<R2`6c9Q;BB77|N}s>`>6#`b}e}gv`~5q%{?o|9};m
z9&Kmg6n6boedNy+@P%szOJz6w+-*?eHom60){*P2b{mDpTUFQsT8aOl=Z$`qCUe84
zF8Ynz71~&-Thnc&$!(tnyr8ckM?2c~ywXDm)%dr2kbpML(aGK&AIA*MQ<>hxg;xtp
zaU?5z>m5S29GWyJU9_BsVyy4;BJ@2ccxEowj-2(6zCFPEcl5I51TM=qQNluP=0xo*
z*EkE~;=7(~0{#e4p^$-)t)PGE+AwUboxL0pK=}4Jfjo0N=%dM~3eI_$1*nh*oADqE
zA5Ey%M=%Z;I`+d*2?kZ=G|>ZvhoaGxVZ!LGt3~L_*<1G&m6YCS-rcM+k$d=C35EQF
zcJDP}@+hmnAZ>Z2;-e6-dxF}idA^9-(C3&5jd3k!<0cf?WuP|tKA|-*>K?k3L&x)*
zV`8VC7;@Il7LcZ%Ly8fTj{Y8%A4D5-Ih(P_U&jYPP=l3uC<I^P3N>T^6cK2FGMLW;
z@R-DWXj#FbkSIkxOxZ5pEs_0K4FgQ$%jK4|5a2vtxLf2UDR1E{g)RtCJ)=o;W^b)}
z>7iEA&*?v87g8{st$~RUJ41XV+-~_hX0dCImOh~*5OU`on~<nE*!prgbmh&_D7ujk
zdz;`mvxWu36$}Gs#|dYh3-yVwb$kx#^dbanBNL6ntm8(w=`=$6_X&}mE=cU7Ob_!2
z(+U;?F=->$C2$R<6~M^Xv+U&-d=yL@h3yyEr2tM4o}!IBRPG#MBXCj1?{wocXz9SP
z+2N6}LWs-gZcP?emt|nA;#Y3h(61M%$u~^sZqSkJLWnjPeQ0--?Gqj9bI%DF_4FYS
z3(Zf2VAyDYcLUTD%k~>0-%gy9YS;?Rf;k(FBfXDob(&EEXT_lxhg|W?m$Gbdso8<~
zN_BfP*z{l3=AJ``XWCldA+{4Wop{1$$u!5gvkiJ4boVG=D9u2hxHEY1&oQ;u48-<v
zaa==(f9^H_FlCVL1%MBRzJJU0?$Ttva!x+KpS*MVpjJ|}Dg_8nSro-_FTXadHaE&=
z`f+KhqpC)}oia?kgOhyfLaqa71*)NsWxS^MSEnuilr?IdWq?aXJw4$Sypz=c4Nbl@
zemF15kdyw@@*EFFHETCh<3dIJ^tN`K`45lA#oR?dulMyd>2y9}iBjxx&Q;i0Tiy*b
zA&>zvnDgPPa==l#dM=`D{P+y<Vz3qfsLfNK0hPmim}jv%5>9|JH6EEw-l6=v5UG%p
zyoiQW`<)>wr$_4btBsNJkLilRB%pneZ0-XNO(dDIH7ZQAvohPixp|HgLj&a5TnOKL
zP&e{zU^IKa!z{rF<-q}9K4&3tLK+wK;wMJMSjYe7l%Hg2nz&a6ZtY0&ydnL=^MrQi
z!wqV_FBVfDfz@iC0=z!OFgIDpeqP=V&}QZS+@j45U@p!=jv7~Iu=R4OFmPs1E>vp$
zJu&zLYU?yPus3$LmWO~GB0f3H%M%%e9BnxruXoRBQ$vhSMRvUa7*U{NQ)F#*T<bB0
zExO7|E+&A=wd*`v)4V|KsGizF@wtu`ji>(-&soUHMmWI%(_r=Br^yHF(*cL)7w?oI
z{F*~|S_<u+F#)|Xw&*pn?~5hWLb+0&M*wsA3<U0>L4tJ0xyV_azlm<g`NEe=vc9;!
zmlYer98T>~=BAQtQ&)4#o#MTuPxJW@ua0|s;RbOPaRYsZ?g4v%R|gh}evmP>x|Y9p
zBh1`!r!Py+XNjC(aCnBZs2UP0{&~p(^*Unq8CpHc!<_i~u&d@^)=(C9l)2r`s8%m$
z=^xG7Rw_3PFj9|KhiA;&-=`N>9`D?=)~Ova3cHYfj;jvjz1{nVs3*kn66&=fGTWD+
zKK#5IeRU@$$Y~${Z8H^;`3ur)X&9D!O}S45II4n=(aR(F{5_H?bs=2GE+H#l&hP8{
z?Q4qF*k3-WbU+Oc_}q9+ZQTu{tnMUjg$jGWXFX^tz|2koRGDZ(Bi5bPpK_#myqBXq
zGiN2f`Qfeq-we!L>NKGc$21%E&^pr>Y5Y;mqna?2Ls7!sM_)EUeY_7}udP^@&zQ2x
zC{jPin?ep$fvCzh&SMa~Vj%cZ+z$!bFkcgI>wY*e|5=$jEq+nL!7%u~80w+e&~k!g
z`0GDf&Jum69rx5x(}B_;QMq0ul_QWMdXR9>2Ta7<4@(r)R)JHf;ruMy(@9;NPW)E=
zF)BbGR#i!3=6WsSzSBh4b=0v8PXKTn#X^6C$S5x)XH>~GWJiBg$!h388vdP27xbNu
z6ZF;Wx8UkdM>m$Y%g592IDS6Ng)Aaa8C`Ywo~$LiHMMpQ*5~|#63{P}#n6~tO%@%{
z!Vol^IxX!cvoCN6Yp%qWcS3*&kH>Tqma^`gukM6aUZpjR)TKlGJwq!i2bm3f&#p7k
z*`5@ZL62LF`Kw!c8>bNsc3-h{k`6tBN1e<UMq~JanqgT_=I)6sjoSPDZnxX=!k|EJ
zc33jyJ%=kS$Jo>4PECAVbg?^BCm7)bMTyc}%MUWACNAr7nkD}gie%yNEV+ncIm*gz
zU3Rl|Hgcf%Ya_Lhw0ZF_OL{TRdTfdefcQEMW~`+5Vnr40dUKUYd6B=5JbPHPX;_cq
zafrd@B!21%o!{EY!<OP=HCN}eP4GDI>L_EAb7D4b&j%#*1GeX>(l}7|Jr@}{{$0%)
zUyco3<w?I8dxiSLS;jZ7BD}LND2I(eftkJ{#5uOQth#F4)+;*z@w|;1^lwe~Y9{`9
zarN&+7IC2OENXC2(@(NI{ws#oY~5=w0)NK;(*`30-uHo#-sMJXRBiJlmJIkIo<JVE
zD?IS*?8AQ@7w2e4KNx>D-8E6ePi=(!Jt_-H$TKTFsrfIau<3RfFk%n{IcZ5y`xHI6
zAgudC&Ib>s#l{CC`nzX@v?D^!{*b-qu=y{Y&_<P3J*h88c2Uwg8q#<2cQ}e81kn)R
zt>Kj6)(Jh`59-@m@yMCMQrMtS&Qdw=x$k5(^^Rb!T*8fHusVu=ZTCJ-MIG1%o1kRk
z1Ikl}S{5TXjVLfRIFiPJwiea_7>c`G;0w&IU~usMMl5*7o16nlV^*+ZD!|bEZ>^2h
z4cYMAt`KJU-V*zFH)(*fp*?opZ9seH3OOMAEPEAEAYdMTf0I-bB^YU}Bebg&c0~MJ
z^9^=6%PT=o_x!6%^udU_q7zQYz)#>VF>a9z|DH*ZSVwh$;R4m-Q8g{HpnoMFV{u6{
zZ+#)(4G))Z=MI_*d7Tl!%*%t`6AuI6<=aLx!MuC3{9ik0pP>GI3LPUzbHlBj6IjZy
zpm`o>2Vg!Kpc7jEeH%bLi=y1-8-yd69=e~gS;WJz1s1H~(P5#QriFNw-c^9>vHWYY
zm#IFFtc9Wf>hN*Kfct0wxDMvu*j{Cz0YrKW5Z-1>SMC3mo*oa4K>ktzbB;@O#+ofC
z{tBd9A)<X6n=zJvq~EGzN^F1uUYW(z6Aw8p50c~AqI&P7V1vQa_-~7;&s2Bvge%25
z$iLiTQW^YUF7tQyRhH7sIp;Q>T1URH32b{=KI(yx{=0fb!r)Y;vrwmjk<MeJj9Xxd
zT!Sxs_RRLINYbv2#K0{};%4s_=@_x!U0KrUuccZAWBg+8sWnfu(HF^h&IYrqkgbgc
zHVn&eVKrk`)O!_q{ODa83V@-1?A|%jnPsn#T;EA8*k1?$?g8mM<lo^MQv44u4iK++
z`-<ZbLV*D@(p?Gv9nOmXR|0DPxpv{ttt|h!kK#WUb^Mpk(2y=e`M<=D!BF2pZ0r9E
zH<<h{UlNtWAV4}dm8CSmyRTurGqq1?*|g{RySJUi9VfZmV7#INCXm;XT9RAxIT4JW
z?Pr~A_~?GcW~{n=Ig4XHEH(ddK$a^AOc(?MVqkIsDcJt!UaGj)js{$PzUljc7(adb
z!Mh*`_pHN0BUq*dq=VT2F9{blKVBvXu>VsoUM><<Vke_y&voxEks+!_7$y12vE-cA
zM(#;yOHhHdv7ePTtQ99%&g@?xi)q4f&G}fYhqeg?pUnlY4N9WTe21bk6XL{h{v-8>
zBgdmB*!wlem=n#+Hlk>2TZamEtt%_nf`+BUk6@>`;$c7ebIq|ImBa|+@p*GHJ!96M
z%>P^kUvvXs)cs|6Hq3Wer<=0SttBpU{A>28R5uj+iz^;^LTTVFSDpjdnEO_G<*Dk<
zJWt72_9fy6-Hi7*vj5tuTT8(<5;L&KmEBca<k~pZBlf*Jv?tdiYZiv|w6Mw)CiPQ#
zU|G7tOt03GnD4pl-ttR7)T(dPdTlp4=V(!v)H_0$@%Im^=NVY)&pNc56zZ?%bB0=J
zAI}-ZM|DL?g)V9x&&jWq60a7CLYsZhh}&D9j9!l#mvmzQD_;7V=X)PhA+XZAEI8*a
zmM~N>^(}t2ZxNg{F>&X{=NbO2kLFO!#VBs$$QeRX(tw#~UiYyN{Z4J?wfgp?W;dc7
zYUjb1s_Qz!ia3wdin}%D2nD}}g>I$GoDepn*PtOXIGWRs>r$t4<yti0bytr%x(&KG
zeM{>(n6+Q$z2%BHw@EKn2nCBJ&~?6x+dGwWK73NOe>6^iuzc$HeD5Rt$0fHGKYd55
zzF{3YAAQHg69>ZZ?@upeG;C;duMl<w*!&tsU!}HI%;~lk`NbE+g9H4@EQ+_mqn5(u
z4hWlPmN9PN6^ARmQFUAWx+mUmT@<EU_f;&P?qZ|43ZC^lzEb~5x@ia`NR~o(!(r_%
zdc&Vr@zd!-zBxkS))e=+t%gh1I?Sy49L*Kr3-W;1@O?H#PqX0h4~T+o<*OUeA47LC
zW|DgbB;L+Yr+H8TOKza^+YiZf8@nftWHmrPqMy9`T`uo@@TyG=Ie4+r2rm@M6pVNW
zy+<#(Qh^#WqKF_NqSQLb>=YumShSJA+4Ko~Om_w}U?U2?<(RlsOu_c*dIT3eh*9fD
zwHsZpXo9!j&4C#W;N6ai<bmNmU+!7YumEq4>%zesTP%<?0HUcrD6UmEsGz+4=<kWs
bH`#-I6ta#@w+t&FJ-U5U`9|(_eeeGRzu#aL

literal 21452
zcmeHv2T)U8*X|(@z(hb1!~!HL0!mluB~d`|MT&){KxpEtbdX*`D57*lDWaf&qS69L
z??s9<5rNP<NJ;1&l6!)v?|<(<cjo?c=g#-f{TvK>a`ryEti9H=p0(C_tfisC1Um);
z0D$R=s?v1;php7$9iEXEyz*?&`7Hp@T-3UHQ<*}cfLC6>eog&V0RTRf3V;HTNEK+H
zz8<)EZ<tbn1bomHJ`_=7pI`t$`v4Rl3YPNy?b)+nQ}obRu-&m^$IhQWudc3cVPS#A
zVq;@tb8>PjDk_?qn#RY+!AH!WI~PHUNGD9pYtIi+D5QR0N?v6qiA3oFz^4J`;3xKE
z@JZod-QE8OA3bUZ4g~<316yVQ>JTYFOB;nPl7iKm_wk`91Die$Q&H~o6CtJfmIV*t
zD=U4keUOy50Lhp13~29v-5;Ta*0vP!VFP^F*nH67kB^UWg^w}ChdO>V<u&+YOnGfb
zsi>fU^PyBU=f}@e=3nPES5hjQEAXBa^lJ*TtgLKsa1evRpirpt^74d)1Ox(+l9B?%
zJKEaX^6~Kn2M52O-K+<fV4t0;z9RrI*HHh`JQrX-4gg5tiqgfKt}luGaNm!riT);1
zy>_S!+H19iITWaY8{eZlFML^tDb3#-KPHAm@ycA`)~5%%`p^GVWb$ih8*v$}Z)~@@
zv~=9rkZch_eYhKJuzrdq;V@u){EnM&%No=5_!)`_W8U{11V6%RRx@RpkE08b&v(7#
zD=rd42k?BEvHtP)1<K$R^){IKDs3YQduC}FqHknA9iF}(4EUr?OUzB4%cOX0ufE|9
z>l>h8j103!R{!218@y^wQFPkUF+{Gg7-mlxuB8q~2c8uPPTN{YlUh3!k<HE1C(%t@
z^F#HJpSa6?eb(%zcYW!~)}19b-_L<8T?zg1I%_j4E*dG-^G(c=sDYjIRhF)D!cMOJ
z2H+z#*}J-~)#pBZozrGCVq5Fw%*88`kPkK(oyo+3p7^D9;*z_X;Y}io)9t?Q=zPuK
z8{L$3B2G~kxgt7gurg@towJifL=<{Coek<m{5Y(eim)!Xiob+kZ>Vk-aVZ}VTz;CL
z`-CNUn!JACy}HL%+LmSYA`Q^i5_k?}Fs;5huEXPWVn6h{twWBY{`cd<j-_+c4qI}T
z-m5xrL$ju`**rpj_+2yHcaKJ!Q+{Qfo3<EoJNZcwZFVn<f4Spr^R+u|6derXaJ3=s
zLb;L1hvRnUiZ2$z^RcO#w_k0Q>x?Zk042%tO4Cm%`MqBdAEz%Iu0Ne=^TlEyse3g(
zwRf_)b0=?{xOPUpJngRh7e~sdz7{f{$+h%}Z8>V&f}+yX{k;7R#vpxQxWijoqx4g`
zf?I(=#H!{6kIW)NJ+BwT;V#%z>|Y&)6id#}P(b89JuJU@5*tTh6|sS~X$ZMMucL0U
zS>u$#&_RjaCZ9wh(z+{M{cD!Z#>4aFtKrMg#lPvk2_<i>G*m}I_FYCQQoF?Upyar4
zY3nTPfcGWGBewbyIS@Dd57U&t%CAnMg$;509g!Okn9VoGtq-njSM6}tTi>Jh+B;}P
z{(DPh6LMy8ic@t!-T6V|4{xu<`DC=Obi|3~`MN-KGa_RWz39zs-ivJljNdCfnZJ2~
zL9josC#6J&)26py(YtV`T;cBzvWwHJ3G+Eg`00duQD42f=c<Z?@ZA9&+yU%|>(3y-
z)tM;VI^~6<Q!x<_o@LHICNbZi8OSmiU$2MEFE@Cl5lv#ryH`t<IAJ1@V=D>Ie*hqS
z*&rD_5yyJUD?2LL%^sZve3~2BRCC}nYFJLdZtin%K(gU&bEfF*k(bQ>IFvqvb`6%=
zUMf-<v@qb2?)Pcg)6Y^yu47D@0UteOdEi5%-;xClkomVws7?ZYtJW}y1}ION3R`vf
zHlCjV2hgfHqd^cFpyYk2&+>A-H2}zU<kecS$}<4l{w}a&%h1JV(7=TrqlYhy?=!x8
zXncPF*4dw%6Jy}{0(<l46~@)ir%7~`-w#}6s{F2nY}>sJ{D3^ZEGkZSLs3+mP4$BB
zhZ8Z!d_TNFCmy8U2Hp#04c+UKKjQD*+rST;(kbd~;Jq-OV|!g%=^_WqE~`ClB`5Xl
z``J%vNln0Mj+C>R%=$W=z0=u$a~BoIx_dkxBr8rv40;o<iznztI}R9JRuIX)QJSol
zACs6i{Wf#Hk7LKfvQ2h(TxQ2-lc3k5CPzGbYoh}b3#^GVfuuQez3)tp@$9PF&z(}f
zi`$p2)V?A2zYCf^y%PLEBmZr=lcixVMFa3z@%n^*0VxPQ^&)k>Q`zp!(&w#5H*+9`
z+A5CC>+YUyeMKK-?xbYzRJuQDHf?cRC55Jg+x%#?4f3HV?+7eeise*9ubFab!dZ%D
z{Bt*_GmC1^*R1VQ13nH0YUh@F{w<75=tA`fy?bA7-;;s1QhBqxM0u48w~&*!Pjdzd
z_63OdHO#LzZ0H=xztvEDu>J%8CfD`+@IV`cPTPQ6ax7b+m;D*x6;9Ri7)Ni(lygoY
z?xbL=E}GpX>@`LRMfB2>wFdIGi9GH(9}uvymv;lJiRqlM<bqH>=Ki&ywEjS+>9uRn
zt+MGhmHZe*vK4GB6ciSJ1$`v(pl)=@kvZ(~KDAPr=oN~vBF<b9ccJc<Q=Lg}xkp1?
zR_)u_!#8dcpBQ4_paJ9434#$8QN`T11P|9wX?2)In7%>3kk@a1qU+`{*Eb^ZP3oqy
zv$RvN)F%}adAIv@olBEt_0DX6Q6&i6sinY$s5^Oj$Y=}t<R%h4x!a?o45fXi_;uP;
z@JSR~vsSWEQ~K?o)z<?kQ3i)_s$kVh5bjQ*rw{GZ{Oo}HRA<cfVnS*x`Zc=fRO<97
zzV-%V@4h8RM>ZWv*gfY5^3t$iLp=chltnWU%LRo10voxIjpN1mv^}Xl0jq)SiS2dI
z7GVA~o2u%9G;Kw+>S5JuI{lAl1<W|2*msxqGemkaF!67ZcLnG68iktTo)NoGw6@4<
zRtO6Mk9hTv{VT3HCk4KgDDY*;<wxtxww}GJf&<VODk0J=Y8lL*3uV?gyhT2eig;NJ
z{nmmB0e1qZle%1pZdn;;pP4D=XjayoPF<vrzO3)iOrB+d)xfFa3pK_)D8{#pQ*}A{
zqrSR}0lDmO=SnNtnBy=|b4W14gthccaN-X*k15^a+PWWv#)pIdu&URQxs7KDz0wiG
zMWxlb{gn9@#+u)&e>Dr8?WnK4^4MQFRyS~=<wR?El_|6NzTM|pi#9;6tPEV!1AM+}
zve(}TYCQ^+`9t<)!5e=qSR(r8Dq86wgLEh<G(cXSzyZKV9LDp4$p7r;ULAq5Hal}6
zsfRy{=`s!go@#+uj|bEoz1R5n9z?xg2K`eaLO?m>0R;=V0&0)EB&|K6rrz)5^Q%h;
zpnB<NS8aa|5cU2U;8&M)K!pF#t`fV$F72agI4i$v$hJS{gpCnE?gJ$P>`EzzD}a@%
zz6kV5=)~>}+PyOgo@_KLY`3e&7P7F@zh<G7W5}?p4XIsHXS3TCIMH8n9Rhi5QOvw6
zV$?3Fv)S$H-wX5ah56T!m<hGYus8}76mY?xgQ^b`Eztq(I^FHItXv`jH0oInsZ{%(
zZaH}>LQ&h$1`%|_D85VoBw)<7B^;sXR5qp@^*kkUW1Y-O0|<1x;BMxds5sRJy;Bml
z6twR;Vzk@*gPWNnHUpc_pY7<h<tmeoukreGf=aUr%WnowO8^bR<HTUa!YZ&QnSnD@
zbe;+a&nIds{h(?mn+k}TKqafccQglLX{TW33Xi#qb{x0rdRqp`#35;`#Z_B|R-EL(
zxg2aAZ```%mlQeiV!RFFJo6~j2eZ^NQO3Wts#KLdqI3yZ7dQCA(^GDX!lnN{sQ;2@
zf9V!}^m3~yEvRK?_Y{_tscSl@(HNaA!#kZ@?`VVSQO5?fsH5zH{4^8jvH~R_BC?O#
zVp{@cj!^5{mpQzvKJ&2cAND61-}tRhc~7`8D=~u0eEdMqq359X^<mONZt0C^5dQVF
zW}YH;K;bWGLc(uVZxzTNQ7U{8a3*os7<+_+qhI5^J?MQbLFKnjcYb83=V1uWXIHD^
zxf0Q<MM?mn5YdNyPL+D4f19HJUu-l>9eCIWL0@Fg+(!}f(N-9--|*x1Wt=A`6jD)<
zwL(l;Fau3C_ut{+R7CLeEHtj(M&@PySuLR?v_jaw@ydT0$Pr}Ywr+SkHe`=Hi=Nbu
zVgw=<Kn*R&rhE-6#~xjxXZ9EXj?P(;Qk@CczK>rs>eL&__yguja|&A<ONv%%3yZwG
zWzw^14F7{o5m{8TZxHEzTjFKUud8<wK-U$=ZS~eufiY&8G(qm<ZWd0XEykPg`mF?d
z570z?kR8?GT)MLSm6*_r8gM34t%*rwK33M1xnv<Kc1KpCyC#K0^$8-#(K~}>v{@>I
z1MqGJXW{6<rla$WosSh#kvV*ww~g$zwa;o7*w;$@k(d7z0sjq^t);xz!E^k<o=NN>
z5HV&DEEB$g22h-h(WiM=s}UHfV48|CZ&iYh1LrT48LA@+tC2bag&3>NmY)OLQ9<^<
zk@0_Pm%*o0+IwpsV9$TR*p~mmqt`!`P@ZHfOi6-pewR_9ihG_wT_*;WcvKKVrD!S!
z@NoFa|G7yMu7K)#{YyA4*3<pPibC6D1z&5>o7=PF63Vz5kRF235x&zyA+vN)h}9%v
zvuBPrE^%+#XPiwwQ}5Vy6!GfUkPB2EibmoyC!^<2==%T0pY-W3pr2a{2c4KbZ_w>D
zLA-s61;)cIkWb~e^oT_oSWk0)MI2BOpZ2MZQlkZq(}zp{9$of`FE?mQ#C{^|Mjb9G
zE7Wt)_cR;-3Avr7eGh_uB-9ZJy#BG3;%LX#S@si-YgF=5cIMcue1AJnZ2spD=u}<;
z@tqZV;=!UM=u_j%SU71{y#AmWz!B-8{~P!0#BtN!VY8xgg8!=SbuP2>_G%=-cSXRW
zVNYw~K`qEnB@O911>tmreK5MRuyk7#Qw963CcMwplr5iz5mU>n+!ZAsCsCLZNMC3n
z@fP~X3XT6eRKw!L1o=Thsep!?n~^1Gl9=YKNv&>%$ng&aW1nTz`ow-4K>V7-nzoZb
zM51u`Vs;CwOVe-WW3?0P<GqW?tJKZ*_Oohqz<bxbj#$gEA~fjqEGZV&f=<u5f$l!t
z$%L~9{`4m)vF3Dle=(k!T#Wz2T-aKXG~LpR;*?nW$%Q+kp^^ixqs`;i*^jZASPh~{
zNw)}REgWD>cQ|RHzf<+tpHj9%mv?E8Ur~$wFDZh08LB!$h3$&|bEefaw7H+WBEGbc
zelEJ6-UB3sLBgXR<U0C(&=*@^R|4(ud?zK=CL6~M(u$OZtm``S6X?GdkUJ1%@z$hZ
z#rWtu>;uc&&8Hy(Z{+a^R5zkkVl8m-`h^6x6ap+u2wa5sR-(=(g$J2e*BF(g2!ruf
zB)@O`{0DAiSMnc_EUJv5bxY>Yanx3xt6UU10O&2x@(bQ>m0TM?BOo%$Wl6R96%|X(
zUPgW1?;mACdm&lBNgj`~!pxS*a{?dPqxrx5*&|O!Z2gkjwO2X@U{iF{WB<vt0&wtv
zkAm=>e~>$~4HM)G++`k*IRmtiKdEvnKl$!Hj+8|^;h?2)t<R*-+2Dw_R&r8IJv-W)
zcQ$U0yJ^>I`hxPPFxSv9M1VN{vd?&B*)n7XQQ(h$ZglQNlz}J{Qc)GAg3JR^D02+$
z2IM!XmS^0hV$xk^dNBIjy_$IFCESl)20n{v6&(MU#v8GNWXg=>GYH^+5|+&EVW81{
zdNB&gR^K`lKUQHIT!c{7!L-P)29ffhrm`?~W{`cAz0YnW2D*=j>{Y5P=&p-FvJ4sc
z5By|kHzvq0qrvDEW)V{!bCNeKeXGuI4M<bAA_Z4ZX_+f$4X_TIypiA3d4u*r8~}a!
z3v~+_g-YsqNnf>HOt@SwK!(|=v4VptCfX@IL27JwikXu+RCN#4b(@8++IStyq_S#{
z<zSW_r>j1fplc`Ay*&UzAGmYcX{Aa9dIU_aC_jzy*%AJ<8(E92${+$f<j2MLP=yas
z7OYEU?UY_JJeAZjNaXKzLdp}&>9Ui$mzaNcD;<)bHNiSOBqeL%qS-++bg1B^>~)aM
zzGLWd73R-P<6Rrs?B!kW;B1l$GKps@!}Py$*S+G#einEK`q!Yy1t<3UX{Y5X8RpHP
zujBl;GFN5xCIpIF^w5rsnt#D-`6v+YLDnDLjoVr(l<6V_1bh{fqf6bf!k#(+^t$I2
zilml&v=<T_y!NBqKh#^&FMj0^vKxQOQUz+d9Ta;q=Eb8Wv<`+kfuUST>>3?((Tz%v
z3yxe}?udR=x?!1wq73xMf1E0*3)`fvs6Ckxuwv?`g*1)7>M6orpLV`h(KS|)!TU-L
zW3p%ZMJqT+@)qIYGX?8Y)$Q`WErfRcsoKn#Grk{&Z|Q*?C@v7{P%<d*WFSSj?{MW1
zY>al7S6^zD=VRUU&_fQdg@wb+7neNFg5wV&^d)GHPX(0fu{|o9Qf5W4)z9kst~L1s
z<tM=bZre$Zy?jiPg&8s)Ht4@Ep<ULue`$+AN|N`UVqXGj-6txb+WUFZ^n@d(&TuWs
z=wC?qi;{<N|15Xls`{9G8=SWdTe)23o0F6tHtKXJVP{hVMpuz{GOX%jrm4dt6yg=6
zO+4->=4^y+i!|Mk(1={bN4e*2+k!>bIFP8QGp-c=I2EGe>iJwleY--y0^B=On|mJ8
z20_}<?;D)Ce)#sQKVjfHcRcXXeu+Me7>e#jwUD*gixBh+3Q7j8n}`Oi1V)sq&dKVE
z7#s+OJQ44{Cw{nodH7LM7O?&B(Us*JIz}-{lH38S#rTO+5mtRB;{5?{9p1g(5|{`y
zzMsfE+AJL+dESVD3~fIaX@A-7dH)atspVj|(5P+`Tjlqfm#VJ9IlhPXy=sQ@G#2gX
z)&;~qcm<)sr%%RhDaK=hraz6aW=YmrNsKYVd2Sb7Ithg!r%i(<(;k(xMcLxgBw_ts
zwURG65Gi$mD#egkqv^lQSZkciX{e<2X!pto!C$!mq62?tK)*HNmR**lRwwrhGyPSC
z>Cu0voJZ+oy&7sQ3LAqv=PxjYcXIK`O>_xA0V(_5MD+ENoRz*&Qo_8%H6q%akgALu
z;_4cb-v%8C-)leOZnwU&_N1t5h_bBRk}q~2Y3U|OYQdbFjefAaH5SQYI(+`IQPkDM
zyI8h*#M+PBc{$b&T(jPEi_LdGvG!su-})M2j$l=x9s$<)N3yIsfgj&93kYB9+fini
z^ERET>|S%RDDt=;=+TV~-qEc+DSXGF<t#~6YQ>!Hq-$<vgEaS1-QueIMn`dI_3v-5
zo)y0HRK6!5cNsIIl1}kYV9Csl-$7Wd9p{IdF(+Fb7n~0BXLsRgIt(`--e$~Qtv?Lo
zk$a;RODxa5RB0p&Q{yLCTKOp(w3L2a%svZhj!yw*`W((CQ#M$>u4^}$XogOmw7D1e
zN<@UyUl~_F2btD9^(?NQW?uiG?r1vm=OQ(>j<8F9mT-mX#{oO2;xeY$D&e%IL^L=A
zFjQlWk6A)%xHY&Tn`J}?a~!+i)l)9*Dm-u{FXWwVTOsO}1^4!0&W2S@UnN&>cR;T7
z9!r(S00{P+LKNaGiQ$`Gi2~97I>(aOmws*7^GEWAKmxnH;)k=SSGtCYFKo`sB+%X~
z-#=qsLN~l!y!5WSBWhz|-d$I7$tiD(iF%gxYTS^SoWAV2H6nlYoYa7iNnyU&msQ`-
z))a_&63=2-X6Xsb6Og2aOPa$CL)TtGrplx=1k9XM%Nkn42YZGY%^5UleDdBW;lJpv
zn#8i#@4P)UDf^Lh89B^RSFEz?5MQ59Q2^Y)6=`OPR^%>6Se8Sd77a5yn?Q*RUE{8G
zfd~WVh2Gn94JcUeusHQe>NSu3SAJBF-!GYK#q}Zn7DrfI&3GoBuqb7b!%+56`helC
z)|<Xx65HJ2Itb1Yq<9yyw2*5zP7OaA>xDYF@Bl!G;IA9{?+cTvZV5&R3I>nPJIZ!j
z-9Q2Z9QI<Le=3K~4EPw=j!DVz2d+pJUy-V$tlB|B-K?9n!>1VH{BGczHxV7wID9>=
zQ0dwzr|MePj;QRCoQEi+`-VqT*r^=D!rjQxNxn94+4J725jFT4QutVzQ+#LNT;%P~
z3zndLEnrG_y{r>Sf;yl)L_@Ab$&L`ZzA#UqHw|^+flp~Ff=}|cE!768^`-LNZZ~0b
z#~}Oby1%=NcFcDV*YzjF#$z2`hN7(kyLOrFgZZDV(+g@!H!YXEOGF|z8o25{LyppO
z#W~gQxXrV`%w^WZ6u5ey$5CTpyrz!WGpU0GZ@x!DrWB6yi9ek4Hw)Q#usOD#s(u;C
z0ykd`wL#sodv-(?50spma3Do5y_HETs4;ZU4nPfHy<J|YXbIG5>GE{zK+pAFbn3FJ
ztT1y}CspO@0LX!G!!Ki+;k{-iR`xCrItc7*D5sYqX1UF){YyWhyvt>Y_BaA_=Fb%Z
zgUh7?-bLu_Ku4sBkiYo3oz)%gG;vBXb~fmB{5!0@`&V{oVi+|Fr#xHran8acdobX+
zatrP%w@esf;`qY2bi~x>tWNy*{lQ+jc*-nk5*UJlHa0~r(}t31nsV_0d`u*hLzQx)
zpX)s-@NBAlE*Kjh!RVch2$+NeStm7kX4x%;u6?iKe_#Ul#4-}?rCzQbQOFDX%w?`G
z5l5@P88>R%y*FO(*{Hm^m`vJCCLW2i5mvK7pi1>DTsDZMJ*X@yPIV_-O1{%pvSi*y
zc9)<@Go}jM`UCy+K;~=oz>`l<BaaCgxjxIqq2;?EJ`(`lI{6sdD_NCM#e>Rub}?Pw
z*siPx?1|VzNbI_0W7&wzd^aQ(D=qXaY3_?U6^tLsDnuoGX@~1R$QO#>qQsi8bSBMw
z9>kb>JCwly9@nzM^0C0i6XE4A64h{m+~LJH!Zlo3yp74Hp^za%1Gwdd!Q4nDKD!5l
z<Znws-$-Tdu5}+7pd(&qi-_K|)Oah12opH+T>>VV-jaBuCQlvs0NF6x7Tc<wuMqR-
zliswVq=PZdUgLu<JZT~(4*a?XBi>iTwPD;xCfPO%r%EaL?%Rw!AtQ!JAdlVtOyr);
zHO77F{pNkBPu}5Wlc0I=QQY>5;0Wn1E2#>!qddVeN+QC6y}h8sKYo4eovc%~J^Z*4
z^jbQaJ7N8ay3MuhxhEa6zcl48WV)Y`{I@)VgQpg6@k`o`9CTG{l(!xC_z}4ub*qE7
zc4uPch|yVj-j|d)&Ye{=cihDwAm?}_g>!I*vl25J(6B}Zkwus67Y6i|8lKH*we36;
z5p5}kZ?^7yHxR?EbIN0k=7smby_(thtQH#rJtt?^RGa7e06i;t`HfoL7<pmGgr&p5
zL+(h~FOl}nK$BK=?(DobBNI1l$y-&}4=L=bo$BM;8;zqWzjS9Nd%e9(jozl_>gYCZ
z!39O?PS~Eo_m{)QD%th{B||E3b9agUPeKph)bGrBcU}+XO7KK&OM~d<op&zU_my_e
z`AeJmQ*SabMfbn=qfK@8hbOc?;ONH;u5cM0qN3Xx&`b$pq{8i5q32=;r04@p?kuSj
z#~6z1$}TWCloYqB+{F10zMKn+b9zJElPr5)cc=HTxFvMeObo*BV4c+#r%ejNIxyee
zHz(5<B0az)@D#>l#&Ot390bpxtxaew3`~Kxz|Ea~I{UZlC*eGO%@STb6Wx78kK$lv
z!1htmOOJ6!>9qjb%!%Su?ohPCdDyGwr>!i4+<|H$4=Vcg?r+BBRa;Wy^)KEx7V5@F
zJF-Z&Rx7SWjw1vk#`zp28O{|ucP)KxQD`A#^zAA;@OUe0kKfS-HInUd$*<MX!@SPk
zx}n6?6+t2CBc}z~RVA*jBjysO60nnHN3+yGK!Udw13~t9fFJ%7Jb7pH#_jIWvFh32
z04~e!WNjl`x*o+U@gx-Tq^Tq3LZ`t<bTe=CWL$>|G@H!7+zM&Pe(Nqpe=6ebj<p!p
zw#C^s{n+eg8tSH>Jb3EC(FB%cjj)#Acku6sM8w>3<8l=ZwJ+IPt<Gu1aD(34$@owd
z)$QH&W=gXuXYW5Al;{muS!YmKP?|`3)WDeRWn88!Am<#?fBj*67~1C*c#6YOv^>s_
z2Uj0xY``6n)hTrw`EwS_;gxgOkPl;MaUqY+w`tyOl#W2TkDPKuwj1iH$-a#WB4wa;
zjActY_aC-ri?YBog8Jeb(#R2s<H#@TRZk2wJm+=YWi(k=ljgBWvBR#UD9u)7$I(uC
zdCj%j%N)BkkeY{&o}SU<1hNNT(sqZA_LDw+&U=ma=D5pl+GRR{4tgHVe?Rit4?~>X
z_TzGddmwSX=LBISq(~93Omzl@1i{1+4r?&+CckxBzzp8|y!RyGn^@`L$|w*uh{QiG
z<7-txuG`O+S9$OB2wAU9RB|#-y1cH|4<Kam#cgdzjL%lx2N5Ti$B2|rSoq;b)CU}K
zL>~U>FDvIWr0Q8dE|NGCv0AOP#RMDkqOXh!uR6z=7h-%L1plys%p9fVsyNS2b8{c*
zfYs^l39@HKi@38%x{ZV35b4GQ8u;P*)4k%-xt*9sbT+xugtPM9HIAT@&;d@c9TLkG
zri@F&Q7=BMb}gSGyOY{&fr_weNQ|S4<NJUGFtFN1W$|Mrqo;+aG|!#K#d*UZk@CQ{
zGcdd|d+#KcWEJj46>OWY#oHi)*`o?<kF(d0h!rEaaKA(v<Yrn|0tRdqsU(nt)U}#C
zv_u6bBVb}{Lu%D-JKQk!=^HDy&C3wv0#@fro4w)@*|XOXKRk|vt>y|v5HG*MWWe{}
zQgiRA2>7ni-1W|6BY!A&&KBKwHsK-!Joop~2F$_Oxh*|cJ|tE%G0^7oR(L*YAZ#~S
zQG49B%{Efq(;fFca3Q|8+7*m|tA7eSSkGIzx|>F0@%+%f#-Ky{Zp@B-B<?9Qrs#7U
z8JYPEKyo6wEEqzA42C?e<$OftHGgrhdnD5TLlzPL%5t6?5AvzUi!7EIK(==`u+jU?
z$&XA>#tZEx98xok2=640U}sMe=y#dnyicDQclkoX0Y{`Am0SVIA1m2j&VXD$<6bZw
z>37f%bhH1P<{Wu~31ooI&q((%hScI}JSqeucH<Wp>WEJ@!|Iir##57&@Dl_?g^?EW
zE1P8bur!3mnaU;0!q`EG;O!?(rFy7gQ9}k$6LJ}DJIce<R@gm)K!*N6{h}p38Vo~e
zH`xN1p9>j89~?_7wuh6zq$?i_{G$z~X5)iYF$IaM|I_TOu6=pcjSuI8ev29YI)2Bn
zAYzx?(L(CMqYu+~?}z$!d_`2)f=MYL1Jnh}D?Z4$%kfYzWY9L@-h)EgYs|*jnN^*H
z2dqH(r83>WVz<Atzi`ohA7;}>b}1<~Mx*@l4F>>&#vv>HPC08o<OOst?#jwLy4%8!
zXL7Om@Dfw1+SsKxdFVVIv<#)oWpw3TbpCp3@0-dQ?iSo9Vp}=Q{AJwGKxARaR6ZZ3
z19~p(5}@}pc+BA|FWod<cCnUBXp^fKDK+K()ukZR!@;EHUZufS)!%D|L<_pb8<{as
zYCbLgN73?l^7(h+YolS7qAZY#<51tzE~g?kG}0~S>vOFm$hdya0I2cpUB>_KKF<1;
z3{=&%dhs~6FACe=1SUXzw@Zpwc;P>D7qloO%zmB@E9)8CIKA~ow+YPa)j~cx-||dz
z)qtrEb7$+Q8?e3~MtALDL+H%9s_2gxPnsbxu0TC)7x96PN2+UF?W*crdsIXPyCX5K
zpG$t7JVrmEmUzjz>U-f<1=Af;Ze`UAb($rnI@Bpv)?8u<VQLFQZ?@Ij^|(=nNXJ0n
z!++qa;hc+^(_06wjHd*RM^|eRT@2;$3XWY;UuK{4EA{6tEEc0vzWuL9d%{(C+b4@<
zj?73JiShlCQ_=+5qBv_akul{<<}jz~`jW>B*v4bsCNMQo3&}`#Xkyejv0TYi!nslO
z__qYK6qg^czK@NOL>GCyE8{{&<=YHi74!Zz1}4ZhY?oPmz&$GyBKq(?W6?=?BTt+p
zqa!i_<gWG(Q-vU*p!fb_c^azcz6>$z6Xm`L)1p9T3=4Iq>};h5&C&vA3KT76$T6*n
zwChK~CqZ2f&!)&#RlDRE)B86X)0BhCbV3GJDp6T`?X#VywnU!leDjuA{p?A;t>Mj}
zgIB{qLrINq9dNF*W3(-&+;{g_8V=&^o|l!i*aE+&Qa5y!CvJ9;4-72Og?Fdlb8(7c
z_sL8|i%L{Eak_^rAtLDy9`yj$>2_zdJUDxyf_$~IOwN3!YK?ts^$=lqb*S{;)V7-|
zF12C1kh@nGG__O>ffA7m*p>;AorvbA@d5E^>HHVn$n%Ue#`}Km3LRV%{@`yGif$8#
zNkO^b?83c6l0*4$A^EAz*|Q%F5%HONen0yv7vi+Is&Q)e?$-`Ax(a9h2!v!|+>q<5
z)S2gGV4e=_(2h-}I7r*|c`8{|@Xo_by<loXVi|hXaXP0_=IhQOE?f0phU0T9PoOTR
z*(Mf)`gc!vvB&{GKisNCfv`s>X7Ox^gvb2(X)4Fsg9T|C)$Rmx%cp7~lyARwrH7vw
zqmR%&wt6E8)5}R;y+w3fr=F^ymK!E>&n4+vfx6AgkNWLpq{K{xXxG8M3)8)=_YO&9
z5;&>+OfMEE%8;FB)7l~al7Yr28XViQOY*FG7xyq(;20g+x1Xcl`$*`et>DwlTbXjl
zYksiDo!nJGsu$v%jGa@KR^<-V(Pz1Rp7^O17tJ2hx@NZ5$qCR^MDa&p&R@m(cZp^d
zxXb#mfLfw3<Wk+yWfBe>dk<SsV(Rj<5o@yr*WWDV$7V(_5@8q92qmVDRE8u3vT#uP
zc^kr89NUzE0<6Gvfkku4n;6l4Tyc*61MrLmd%s492?(hevu!5R)%s3lV#No(b=vPg
zIUn?PcO{LW*#vgfO=Rm?;~0T*dPzKS0)5ikFtkb_%KzskZq|lkvFG0p4NvK|BgALm
z0AfNPX?7RPL~xTya9|oF^_pxuyV4x$nu!M1k0e3%6`5W?g2KZE<U&V}?N@$Ss@>Hs
z#K0G=)n|`i+s&|ZWvllbTX2N3&KAB1xlk0iH5VQpnE#~b*Y^bW`URWJ=NshITUbob
zn{%}p^}LeXj1y?ySF}LpdBKPx#j<(MvcF3NzJEnjTQlU$4@?Xf_#Zt0*q-B$FsW(N
z#LAtGkhHv$pY*ltz@}_RnB=k9tx=gzs+i-$(t*WHtHQfb#t+i4dH=|o(T)!8d(q5o
zCWb|$oCc$GP~BS%qX!KcJQ#Mfh&6GXy-(_@vh+slYdV|?8dbK&=RX%L-S=K$1ze-m
zaddv+pUtw<G#RHfXBeHe)Jbb?3YW2f-g9@HKf`UVz$?r19(B2wkz1Sr%(NkvgoDE`
zH|Hb6HRK2H;@Ni><o)4#t7rC{PO_gK9&8x9Jx3Uq5smK>i^nR2p{mTB{0^ZkoR3;D
z?fOc*(5K?h#X_VX>OV1~3^+5Jm&kb7t*YoD^iiP-++A?M@~dFPXjMtA72Q*)${q0=
zJP6lYwrYjEHiPgTja2Y754ZLazd?M~R1epWXlFh=f05TCy|V}V+{=RPMfP(9b62TF
zWPE`Jc4FbF^&T7b6w3PYtdu8b;4yf@ozce+rxdc8OT0r@hBkGoxzi>VW**Qj7Q|ZV
z+U%}tB_uWk<$L{zvyr+BM*XAtWYu}eO@{39Ivz6@I(e~pw}GAgE))Q-PzkxWsuS8i
zzI0L5LuxMheCJV|=OsH~l{NJ0YgFwLZI0D9M5TZI4m%z&mj4L-=Jl-{9+p!i67k&P
zlFsn}vRGP7{QelBS0xL0HeMD%&q))%Utaq%%)HDDG<>t(o1X6YPMZld`It_KM?7!z
z$)i~Fg4m({*oo1tts-OQ8Zb~ypl=t55F~Jj_iBqv2iTqKi7^-%+u~+n;AI#T{;uS5
zscy$@BIm7O$VEah)Y#A$>aZWqQyh2FR?XabqOJut7EZ3`WpdDkT6-AO1?P!`3cZH|
z2}4@Q?&RYj??Z0cN>q6x7N}v!fwkKF>h$tdYgORG1r=;^N1V2aYzZ$l^yPNf5%Wyj
z={+ibak1nJYf{sfA=j6vyta$Q3o{itp_{IFA_gVFeO26TUM2*+ITKkT`yIbWOj0Ap
zDI*4k*=c(TQ{h)LT%9CKpY(@|mX+jB&;4x9buPX|%&Q=QcHi82MgTKkJ3%&}klr)}
z70G>RgsFM{$n3usY`8$23abxw7iEj}X7wydP(;`Wxf<T3g8)|s2z?w*cVB*)HRwQS
z3J5N|8TwRtPg<_$cCIq6L=^VwRo&Wr-DWyP^uS}Og8OpX$;B(uj>zy`880a;L`_c4
zUbkpgHGg$_04{v5!&~0dY;(NR=mo8ttN+b;#Y&e<mjwS53Y2Aq!B`x_l*2P8{%DWN
zSQ?lhM+{y*k#IJm7*`tz=ed>dgmoaVEpN}iy-}ap-5)WQ;Y9F)4p|P!z*5f!_Xb*U
zbehZ<>cM4GS8pNH>;2re40T=J+7Zk3q`tbWKLZVr{2W(6hi44cXF8RSwJq<bM^JiX
znFkb5&fzQpi{wQ~w_<X!b)T(m*TjtF8e#ix(VQXWPO}JIxuZuasxZ`?oGY73&K*QV
ziEX#^wyq53Q}nG@{$uX(GPz((Ib9({vUgc@U})q~<c=PK+hf~fJaF>RksXs8?Fq40
zJ@-$(VsM-xis|Z?%cgB*nb33%5z-%sKyU0u>zBZN`pTx&{Zgx7>aqVYbDGHEdV!3!
zxxl29O_j;^QAO0Up(B^(=8@J-Mv!lcJqgSoEiQl7AhjHWk+uivqBa&p6+9Q?XLMA-
zz>jrGg}d6UKeI&>ZUS0}{Mj;e_QKQ0-P^2>6LO_sJ02fB30~sd9=!^jFE0=fA+iPt
z`yZi0hElm@%X|Z-d(sLbYN1Tpb~9@}hH;~<8<cDlmz#EFLsG+H-gl)|U0#YE)sRcz
zUX>+ptR1g$9^aMlHvWjw5zcxAe>1=CD?U3eTeuphz8m84Y*I!MJTbicS`Ko$c*_^V
zPXM0JF5xcd6z~x*XH?e}pC@N8JP6ZR`YMGOSWy||*^%_iQl-F0F)v=hE`flK6$gp!
zi&_nyNcw8*duj&ts+8qjMP}vtslF@X`z30hTrG$hdeZz$Gu(tFC(v#r7CRYBy_a~&
z!opI^RVK^*w3l-0uw2Xv(>eXs9TGnMmmhx;n(aqZ@4HY`(5=N+x$Gjkzu_IzxtD@R
z4Dwv^7-qdMaRaM&=0NpGpPfR#@5KqYLaD|YW+nZbW~^o%a>ty(@i=gSSPCxjS<;|Q
zcmw|hf+o9MMDt~2WZ-5szV>kU70q8G17Ui*ld*%Z>sp2ATpNo(Z9Cvc>*nI}BYp1>
zB;7!I6gyn8dr91$|3HrD6O5b9gK10=bo~G{3<v2>8TKvA0X5OM=+##)ktYl`4)}m6
zNj;)4rgyTn12LR0Ww|ekzZ?^5^7CBRSHbVm86b$ObuvD39c0I+!u50MCShS5r9BwG
zUrWGNFHrkRd-R_7=xLUm*8-afW%Nl;$q?e8>jZ$8c@F7r`0j|3S7^Gkzi!fEbl~F<
z=i(LYvKj!u&q7(_<92A&j&EU!iaXE)ahX+(S!)bLjm%39Oyv9<dpzN>SjfigVOQrR
zLTx$u%Kp2wt9K8rZoRE#@Jrz|;<ZosWmjH-x2?Jqh}SJ=GNe3ZNO1|#RVs-yDktSj
z0z>jL(8Xadbo+Vo!^T^o(Mq#{hetW<bIVmd4wEOs)(mMXWX)k??Hs_-mJK*PTcx~3
z%FaUF(TU<>y9W6^q9yb%oTvNY6NG>cO!G7bb0o6bF`+4Z&SN#{&K|Y)o~=GmowqGT
zHmz#Zxms-oQW5?J9o1wrBPLOAmuGyq$vy-FRIt23A65tB4K0(5t<$1^jtnWZEB8xP
z5}s^0Ie7jTTc?GDM_Gtht=d^008}sH1PkXL*}to{-wy%y@kc1HnMKUlojFvTl<_Mv
z#8&_GZBzmIwzomTo>(a21odnlFRUBp)6;+@==G%yv0RlLT`C<Ap!|m}oQJ$zK7UIu
zzJ2l+FN+b1;HYKYiTyz_5NWa5o7%P&PVR`BVCdC%9KvE&;8+%lp^LBgMKKSRk{1kt
zb?x%o$naX$_PQ;#d5cQ2Kt6reo&bR@1;b7s4*NzVo#<%6xq|q2m#a^Oo-4e*Md0aL
z(DCmYKGE)%32qbW7II1Lb|@w<f4hFOx6@)+7O4240_U0WFg;iBV@`_Dm!F5SwmU+N
z=kJwkfk8+3B!f{gh~|Y_GW&CTZX4P!NB(HS)q@b$_k)-~L|t8X3!iMQY+N|ISf4GP
zf{kKII=E^|Q}OIJPA;CrO@FM~yiRJ+p2)!6y?*5@GQph$ysmkNuD#u=Kz=+Uwbs^A
zLpW`MT_!pZ%dNZze;05yy+d!l(goe^DH`2T?o^Ymo1I-Mcm~V9VDaxEbH9q!no`i4
zha^a~$o{bRZ@Au_AFtL(%My5~=vv&b7ay%f=OcL(q_9a(zSJ%?)G2;=$fesw_N;uP
zSSu6T=lFGzJ`cdNCP9vB2q2hKk2zZ!23CJ~SQt)zV*;Ebr5@vuDr*h-T_5TRGv_?J
z-`b9;90t0}Q;cRmo|lK`Xa6ol>t<7xGWg+gITXv**bM-zN2%`x2pnDwycs&_{s5&A
zPgzJq0l*;%DC;x>veKkrbTUUej2vlF0|6eH>LM$zaGPP5i_<qDQz8*k5~`FOEdF=G
z)cLa!_7HQqzw+lo?dm$5);AW$B4Vo3|D>c{hO#!@rOO!~Wp|pJHgQ;#VVH$fSiXcM
zqn?XOU2s`HyR~$TuNyN+4+v&~mOS`*NEff0Yv^a!KP7&bL8*CWW9MEsR*@?Cvs#1d
ze;dHekJv45rTbQ@*y%6=#zMT%a|XQjB?_id0SpTcQ4B!Z)grWS_uLfJx$Y2M-F-I?
zk*MG0hcORueTLHc<*rxeRVfWy*gqM0yaq@Uee-s;Y39MAu<A%nc_Co^U={Q!G>2;^
zx4W)5Ub96u<sxA0^aXlOR?V(J_vTi5L+c%Z3y=QUd5BpASw?SEGNV1=*09on-!+Qh
zbN5GbtwrCR{Kf;|#l|61mWhM*>;?udo-6?2p$4umw@S(_UY)l+A56m9D=g&ILXO&N
z2d~)ee0Qz>ot8$un(=WetB`niN8YmA3<@N?)k0QZ*l=>V8@_O2lNM00#X=qACFWAX
zSNPn`b9!5iw$3x6z9Rmt?Uq2qJ;nW)HQh6@@rPZTv%`tye<X*9M~6Ada#p*A2@-<Y
zji%1V95rD%40saCU}G^{w$qih_AieiYy^(HoV9Pxh-5ZlrUMkLZJ`dwJvcKfL*+Nm
zL;VE!jB*0R>KTsxsV=orfjXpvXgO5Ah+f*F8sL%ZHghjsW%<X0-=l4s?MuRT#BSE+
zBK$$&Q;?blE7h};AongKy1ZFB7kao_dk0T_L>a8f9ELGLfWe$p(0MC%|HSl7;d=t@
z(-q0%+nrylf1g_`UFh}b%d+33n87N2<!|hbWAmxuf9e8=AJ8vyP(5cNHjM{1-<U0R
zXIVdQc>DwKncFnQao)v9f~`hF-dzZ*HXDvbzLa1DWV67~`h;v)|B+GGR}_L%$tZ|y
z1$K+s!T4%FB=%*0+ib=(bCnEtpvh%P)_uaoTW{&X{5g>RqWaNZspzou`ENQqq>omd
zRv`~TXSG7X(}SaP*_Wq|RG%6^KBBP$0JBy3@MLg3d&BF>P_?PipHL6D2C<>PMU5~4
zJtuD_w|)Nz&Y)PWAiQgkOXN=Wsow>!c%llj{X;OhX0bssMRKFQHc|lqidS%kdhHt_
z!?nJ|{Guf1I01}d&Vs|~ghDkT0NKqqfhJ8<*IjHFBczUsN_39{e>QJ+=~M*y(Z?+1
zFyicn>*kO`c;TOY^YUaimrE%jMwq$uKeemt<PIx@0Ncb-6%+N0`|R7Q9wHw$R<Z!V
zV`X6pozbrj^`oECWRxa(4D|ips9884t42oZZA<WrFpjz&zTZcOFbN;)K{WIx_!-Rz
zhvsfZ(g0TDX3%roc^*U?7IDt%-b8r-{bdqNM0rc-6;pL2WN7@uXn5Ii=-3UflF<DP
z@dB{1+rRd~f$m&6*LQnY1|VW-_+ULqMv=&VU;_1{%~{6e<JbpX=MEnKXE)3IY4*&e
zM<4!ppz`M|t~M;8eN)eBgbzW1AKiIqUXH4whY6&OXN~~czZqse8#c3zYk1D)^v8%<
zOG07?(k0lqzX;U)KGS)_!f8|Nhf*Y;zd%6%tsHHf|7iFy**CH=pB6~AmSQ-!fhlPJ
z>(f8p4<PZ9wlFN^6^4(&=o)fsFPqn@@t~^5Qjdv<&X$x5830&rv(?+pgj;%a_mjV!
z-qHNZ4Hz3o9#ri;)_+<pJ4>ktp~dC>kFlMHOxa2kG<~iz_q|0sQ!5HV2A^>GRK&u&
z+^*tw`Dw^OA}FxNaaWc}ec|1GD#Uso8NiibL-#Z^@<%(^+dr1fT7uzQXWfpnT9``5
z#Yev@x~;&_=4_ED?YB^LL9`I?sCQZ}!WkwX$5x-^p@{>0aO#->9p0QF(36E6jlbo?
zsyKCFV6J2uuC(mH`$x<>K-mynAP=REzRIPX1BN2=WLS6_tLUX4&Yd{`*x^AOHCrmv
zGN85^_~-06>y9!Bu|F~h{9{!VL?QcnP5Zn~cX9(hu|kvR%XO<n0yZ8jCU|WF#t$He
zsmZZ>dO5FOzD*Gf#MS-YztvdC!7_ia3bs2C#&cW+31Z$jj(V|mrQ(0=*j{x5wRqne
zF9cWeXyF9rQ>@|sj~xO0XU2cjf)gyD-&hp*Bl`FBO5QMIvNcNr7{TzDK!D{ua@I1C
zg^&Np3r~mflvovC`NxDLxN%bKVEMqO9bv%~TJZ4s3Bh>^=ra`q|7>@uKJs&+x67Bt
zrGD0Mn^S+R6(J7lAk#naJZ0o52VCvJF)RSQ8#o)G7CQ(_e&3i>A}E*@tCW8f9LXhH
zc2)Zf73AdEnTIErPIDLE?soqJ6FeL_I)`tDD^6>Ev47nBq!`5Ia(~u5PXv59z*}}$
za(93eqq7OP)bq4D{1H<;n_>t}a{W?oJrQ9mi`~lio5VNtmUGE547fHnk+~Wb=Qvb#
z;<Fn}O5UA{zz%vtZtvp1ET+86IJP_D(oepA0!!@Q2npW--wIH{Lilk@FKor+&-OJi
z)+}wF{w+kJm;ck6eXHu@e--{w+&{}oz!m+;fA77p;#bKP$btX6uzxo&@b88BW$OPe
zF~6#!{$<L|s1ao_Cj8&J67awN@{nIIS^|llT@(a<{O{l0)C{YnzTZLDa71D6ZBF2o
zFE{KPg2kf?G<U-gbT^i~@w@d+Bdji95N)^P0T$;Bn>mdX_UM8ef9_Iq^KhZ26l(mh
zZ-&z832-vzi250h@s)od`Is4u&)V*)`FT+z02pDr!yd272<-lu?U}6t-$<|`*mg%%
zd<U8KK7s7OPqb6VleEvnbU^OBem^E#A*Nr=S$OHA0=}NaKI3P-64WdlaykR7CVs;7
z;T^(XoP$}9`7KulQ)k)z%atE**k@33b3Ga!8e53yKf%~&?#!+Qg;wT)@w&R@pwu1-
z;&pYD=aO6L<n@UZl{d-Nxs^q_&HRKy1)W8$%~EqO(c<VdY3YojBW0$B_;jPJjexA0
zaiVLwn)uHAc*^R-5d+lLxYoDf9^?L03%0bsSC2mP7STsE&7E$X##X}0b<=bhdZ*dr
zFkMQwWsQoL!7-L?_YGXfNEu5%b1kU8=h{)?+fO#zncaBWQOSwPmP5Ic)jH|GHtl4U
zoF6*x*&YQAKb1*|)W>h?G1o<>?d!DjXqW~QhIPSz5{AI8k2F@ioxK6hW8+@wxZM|S
ze^wSrxh1tJwzT(OPC9xv6d5z6fU{TzO9(waZyJX(8Ho)~y@5t=B0dun0=s$K%TrS3
zUks*-E2ge$JHm8wDH`C^4XIP#$eeFa5(>PCZ#EK3g`2T&yphUh7`;QRyg$rf61XZl
z@K&p5xW~c@Bc5QKKWX@YLEU|C(c(|8n>D^cSmo$8%~a`CPob?pPBECM;{*f0F?Z3;
z7=aA}C$dxC4ysAe<#;rZ2ON%ozd!#Jh5zumU33yVy4C7^6c|dCl3TyrJ?JpoW*c=E
ze4&Y5rn?T39ZW?jpY5a>FDx`6Z9I7YQSmk`Ma{+J^+aQ0(+vEHGfEdD_~U`hca+vx
z^x5drEm~lROW9~FCGoxOh})KHhT4f#I1eZ8W?-*m%T8-<zLo5!QxU5tfQq>f@Z<vV
z+F>1}z8BxCEyz9FcQ;m1U42q-W?{)*jKI9dG^C*i^1)-oKpYcgf-_j0em9HFI1|!t
z5<?5V-Drpp3S|vJzk^<9kq%0v6gDvOB!O2|0-)cTaRxSKVO!D>Y81yv=?E}4$p^ts
zs=6Om^<{c3+R?clM5hm{bC_3bGNvCCeMg}|RF>_`%ya1)hg!oMUBE}<0q#OEKF>=S
q08X%o+&|}XCY2<^x3_RUuQssC88_&`7(^ZQ(iLS5rHo6)zW)PrE7G3;

diff --git a/sorting-output/11836-2025-01-14T14:51:50,891913948+00:00/ceno/output_time b/sorting-output/11836-2025-01-14T14:51:50,891913948+00:00/ceno/output_time
index e69de29b..5106f2fe 100644
--- a/sorting-output/11836-2025-01-14T14:51:50,891913948+00:00/ceno/output_time
+++ b/sorting-output/11836-2025-01-14T14:51:50,891913948+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/11836-2025-01-14T14:51:50,891913948+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+	User time (seconds): 788.32
+	System time (seconds): 54.32
+	Percent of CPU this job got: 3395%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:24.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): 8023724
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 11
+	Minor (reclaiming a frame) page faults: 4537858
+	Voluntary context switches: 1027573
+	Involuntary context switches: 179702
+	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/11836-2025-01-14T14:52:16,324562061+00:00/sp1/log b/sorting-output/11836-2025-01-14T14:52:16,324562061+00:00/sp1/log
new file mode 100644
index 00000000..19a520e0
--- /dev/null
+++ b/sorting-output/11836-2025-01-14T14:52:16,324562061+00:00/sp1/log
@@ -0,0 +1,82 @@
+2025-01-14T14:52:17.658029Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu'    
+2025-01-14T14:52:18.110179Z  INFO vk verification: true
+n: 11836
+2025-01-14T14:52:20.468042Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:52:20.589575Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:52:21.159884Z  INFO prove_core: deferred 1 records    
+2025-01-14T14:52:21.357617Z  INFO prove_core: Shard Lifted: Index=1, Cluster=54
+2025-01-14T14:52:21.357645Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:52:21.357647Z  INFO prove_core: Chip DivRem: 2   -> 10 
+2025-01-14T14:52:21.357649Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:52:21.357651Z  INFO prove_core: Chip Bitwise: 19  -> 19 
+2025-01-14T14:52:21.357654Z  INFO prove_core: Chip Mul: 10  -> 17 
+2025-01-14T14:52:21.357655Z  INFO prove_core: Chip ShiftRight: 18  -> 18 
+2025-01-14T14:52:21.357656Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:52:21.357658Z  INFO prove_core: Chip Lt: 19  -> 19 
+2025-01-14T14:52:21.357659Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T14:52:21.357660Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:52:21.357661Z  INFO prove_core: Chip Auipc: 10  -> 18 
+2025-01-14T14:52:21.357662Z  INFO prove_core: Chip Branch: 17  -> 18 
+2025-01-14T14:52:21.357663Z  INFO prove_core: Chip Jump: 14  -> 18 
+2025-01-14T14:52:21.357665Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T14:52:21.357666Z  INFO prove_core: Chip SyscallCore: 2   -> 10 
+2025-01-14T14:52:21.357667Z  INFO prove_core: Chip SyscallInstrs: 2   -> 10 
+2025-01-14T14:52:21.357877Z  INFO prove_core: Shard Lifted: Index=2, Cluster=180
+2025-01-14T14:52:21.357882Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:52:21.357883Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:52:21.357884Z  INFO prove_core: Chip Bitwise: 14  -> 17 
+2025-01-14T14:52:21.357886Z  INFO prove_core: Chip Mul: 10  -> 17 
+2025-01-14T14:52:21.357887Z  INFO prove_core: Chip ShiftRight: 12  -> 17 
+2025-01-14T14:52:21.357888Z  INFO prove_core: Chip ShiftLeft: 17  -> 17 
+2025-01-14T14:52:21.357890Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T14:52:21.357891Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T14:52:21.357892Z  INFO prove_core: Chip MemoryInstrs: 19  -> 19 
+2025-01-14T14:52:21.357893Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T14:52:21.357894Z  INFO prove_core: Chip Branch: 18  -> 19 
+2025-01-14T14:52:21.357895Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T14:52:21.357897Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T14:52:21.357898Z  INFO prove_core: Chip SyscallCore: 5   -> 10 
+2025-01-14T14:52:21.357899Z  INFO prove_core: Chip SyscallInstrs: 5   -> 10 
+2025-01-14T14:52:21.508074Z  INFO prove_core:generate main traces: close time.busy=150ms time.idle=1.85µs index=0
+2025-01-14T14:52:53.234163Z  INFO prove_core: execution report (totals): total_cycles=3728023, total_syscall_cycles=20, touched_memory_addresses=44382
+2025-01-14T14:52:53.234194Z  INFO prove_core: execution report (opcode counts):
+2025-01-14T14:52:53.234204Z  INFO prove_core:   1154022 add
+2025-01-14T14:52:53.234210Z  INFO prove_core:    648804 lw
+2025-01-14T14:52:53.234212Z  INFO prove_core:    607627 sw
+2025-01-14T14:52:53.234214Z  INFO prove_core:    312755 sll
+2025-01-14T14:52:53.234216Z  INFO prove_core:    193880 bltu
+2025-01-14T14:52:53.234218Z  INFO prove_core:    155004 xor
+2025-01-14T14:52:53.234219Z  INFO prove_core:    147572 srl
+2025-01-14T14:52:53.234221Z  INFO prove_core:    144851 or
+2025-01-14T14:52:53.234223Z  INFO prove_core:    144261 sltu
+2025-01-14T14:52:53.234224Z  INFO prove_core:     66827 bne
+2025-01-14T14:52:53.234225Z  INFO prove_core:     48076 beq
+2025-01-14T14:52:53.234226Z  INFO prove_core:     45623 bgeu
+2025-01-14T14:52:53.234228Z  INFO prove_core:     25842 jal
+2025-01-14T14:52:53.234229Z  INFO prove_core:     12354 sub
+2025-01-14T14:52:53.234230Z  INFO prove_core:      7516 jalr
+2025-01-14T14:52:53.234232Z  INFO prove_core:      6496 and
+2025-01-14T14:52:53.234233Z  INFO prove_core:      3761 auipc
+2025-01-14T14:52:53.234234Z  INFO prove_core:      1569 mul
+2025-01-14T14:52:53.234236Z  INFO prove_core:       457 sb
+2025-01-14T14:52:53.234237Z  INFO prove_core:       295 lbu
+2025-01-14T14:52:53.234238Z  INFO prove_core:       216 mulhu
+2025-01-14T14:52:53.234240Z  INFO prove_core:       187 blt
+2025-01-14T14:52:53.234241Z  INFO prove_core:        20 ecall
+2025-01-14T14:52:53.234242Z  INFO prove_core:         4 lb
+2025-01-14T14:52:53.234244Z  INFO prove_core:         3 divu
+2025-01-14T14:52:53.234245Z  INFO prove_core:         1 bge
+2025-01-14T14:52:53.234248Z  INFO prove_core: execution report (syscall counts):
+2025-01-14T14:52:53.234253Z  INFO prove_core:   8 commit
+2025-01-14T14:52:53.234256Z  INFO prove_core:   8 commit_deferred_proofs
+2025-01-14T14:52:53.234257Z  INFO prove_core:   1 halt
+2025-01-14T14:52:53.234259Z  INFO prove_core:   1 write
+2025-01-14T14:52:53.234260Z  INFO prove_core:   1 hint_len
+2025-01-14T14:52:53.234261Z  INFO prove_core:   1 hint_read
+2025-01-14T14:52:53.234268Z  INFO prove_core: summary: cycles=3728023, e2e=32.766891355s, khz=113.77
+2025-01-14T14:52:53.237089Z  INFO prove_core: close time.busy=31.8s time.idle=924ms
+Successfully generated proof!
+2025-01-14T14:52:53.757653Z  INFO verify: close time.busy=515ms time.idle=2.26µs
+Successfully verified proof!
diff --git a/sorting-output/11836-2025-01-14T14:52:16,324562061+00:00/sp1/output_time b/sorting-output/11836-2025-01-14T14:52:16,324562061+00:00/sp1/output_time
new file mode 100644
index 00000000..619eafa9
--- /dev/null
+++ b/sorting-output/11836-2025-01-14T14:52:16,324562061+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+	Command being timed: "cargo run --release -- --n=11836 --prove"
+	User time (seconds): 1330.26
+	System time (seconds): 55.54
+	Percent of CPU this job got: 3724%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:37.20
+	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): 19632980
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 12974075
+	Voluntary context switches: 388918
+	Involuntary context switches: 56674
+	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/18125-2025-01-14T14:54:33,866831229+00:00/ceno/hints b/sorting-output/18125-2025-01-14T14:54:33,866831229+00:00/ceno/hints
new file mode 100644
index 0000000000000000000000000000000000000000..8e86930de931bb05f8d01290859a14f7503fdb0f
GIT binary patch
literal 32
OcmWe(Km}*rQ2788iUBA9

literal 0
HcmV?d00001

diff --git a/sorting-output/18125-2025-01-14T14:54:33,866831229+00:00/ceno/output_time b/sorting-output/18125-2025-01-14T14:54:33,866831229+00:00/ceno/output_time
new file mode 100644
index 00000000..fd880322
--- /dev/null
+++ b/sorting-output/18125-2025-01-14T14:54:33,866831229+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/18125-2025-01-14T14:54:33,866831229+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+	User time (seconds): 921.88
+	System time (seconds): 67.01
+	Percent of CPU this job got: 3482%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:28.39
+	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): 10982712
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 6451760
+	Voluntary context switches: 1047903
+	Involuntary context switches: 145268
+	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/18125-2025-01-14T14:55:02,913658286+00:00/sp1/log b/sorting-output/18125-2025-01-14T14:55:02,913658286+00:00/sp1/log
new file mode 100644
index 00000000..811a98ab
--- /dev/null
+++ b/sorting-output/18125-2025-01-14T14:55:02,913658286+00:00/sp1/log
@@ -0,0 +1,96 @@
+2025-01-14T14:55:04.256958Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu'    
+2025-01-14T14:55:04.708680Z  INFO vk verification: true
+n: 18125
+2025-01-14T14:55:07.031393Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:55:07.217820Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:55:08.140084Z  INFO prove_core: deferred 1 records    
+2025-01-14T14:55:08.428318Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210
+2025-01-14T14:55:08.428348Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:55:08.428351Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:55:08.428354Z  INFO prove_core: Chip Bitwise: 19  -> 19 
+2025-01-14T14:55:08.428355Z  INFO prove_core: Chip Mul: 2   -> 17 
+2025-01-14T14:55:08.428357Z  INFO prove_core: Chip ShiftRight: 18  -> 18 
+2025-01-14T14:55:08.428358Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:55:08.428360Z  INFO prove_core: Chip Lt: 17  -> 18 
+2025-01-14T14:55:08.428361Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T14:55:08.428362Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:55:08.428363Z  INFO prove_core: Chip Auipc: 9   -> 18 
+2025-01-14T14:55:08.428365Z  INFO prove_core: Chip Branch: 16  -> 18 
+2025-01-14T14:55:08.428366Z  INFO prove_core: Chip Jump: 12  -> 18 
+2025-01-14T14:55:08.428367Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T14:55:08.428368Z  INFO prove_core: Chip SyscallCore: 2   -> 10 
+2025-01-14T14:55:08.428369Z  INFO prove_core: Chip SyscallInstrs: 2   -> 10 
+2025-01-14T14:55:08.428613Z  INFO prove_core: Shard Lifted: Index=2, Cluster=179
+2025-01-14T14:55:08.428617Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:55:08.428619Z  INFO prove_core: Chip DivRem: 2   -> 10 
+2025-01-14T14:55:08.428620Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:55:08.428621Z  INFO prove_core: Chip Bitwise: 16  -> 17 
+2025-01-14T14:55:08.428622Z  INFO prove_core: Chip Mul: 11  -> 17 
+2025-01-14T14:55:08.428624Z  INFO prove_core: Chip ShiftRight: 15  -> 17 
+2025-01-14T14:55:08.428625Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:55:08.428626Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T14:55:08.428627Z  INFO prove_core: Chip MemoryLocal: 14  -> 18 
+2025-01-14T14:55:08.428628Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:55:08.428629Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T14:55:08.428631Z  INFO prove_core: Chip Branch: 19  -> 19 
+2025-01-14T14:55:08.428632Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T14:55:08.428633Z  INFO prove_core: Chip Global: 17  -> 17 
+2025-01-14T14:55:08.428839Z  INFO prove_core: Shard Lifted: Index=3, Cluster=180
+2025-01-14T14:55:08.428844Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:55:08.428845Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:55:08.428846Z  INFO prove_core: Chip Bitwise: 14  -> 17 
+2025-01-14T14:55:08.428848Z  INFO prove_core: Chip Mul: 10  -> 17 
+2025-01-14T14:55:08.428849Z  INFO prove_core: Chip ShiftRight: 12  -> 17 
+2025-01-14T14:55:08.428850Z  INFO prove_core: Chip ShiftLeft: 17  -> 17 
+2025-01-14T14:55:08.428851Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T14:55:08.428852Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T14:55:08.428854Z  INFO prove_core: Chip MemoryInstrs: 19  -> 19 
+2025-01-14T14:55:08.428855Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T14:55:08.428856Z  INFO prove_core: Chip Branch: 18  -> 19 
+2025-01-14T14:55:08.428857Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T14:55:08.428858Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T14:55:08.428859Z  INFO prove_core: Chip SyscallCore: 5   -> 10 
+2025-01-14T14:55:08.428861Z  INFO prove_core: Chip SyscallInstrs: 5   -> 10 
+2025-01-14T14:55:08.658287Z  INFO prove_core:generate main traces: close time.busy=229ms time.idle=2.52µs index=0
+2025-01-14T14:55:46.322591Z  INFO prove_core: execution report (totals): total_cycles=5871733, total_syscall_cycles=20, touched_memory_addresses=56977
+2025-01-14T14:55:46.322625Z  INFO prove_core: execution report (opcode counts):
+2025-01-14T14:55:46.322634Z  INFO prove_core:   1841036 add
+2025-01-14T14:55:46.322637Z  INFO prove_core:   1015868 lw
+2025-01-14T14:55:46.322639Z  INFO prove_core:    952637 sw
+2025-01-14T14:55:46.322641Z  INFO prove_core:    489613 sll
+2025-01-14T14:55:46.322645Z  INFO prove_core:    308182 bltu
+2025-01-14T14:55:46.322647Z  INFO prove_core:    237090 xor
+2025-01-14T14:55:46.322648Z  INFO prove_core:    232110 sltu
+2025-01-14T14:55:46.322650Z  INFO prove_core:    225232 srl
+2025-01-14T14:55:46.322651Z  INFO prove_core:    221381 or
+2025-01-14T14:55:46.322653Z  INFO prove_core:    111100 bne
+2025-01-14T14:55:46.322654Z  INFO prove_core:     73384 beq
+2025-01-14T14:55:46.322655Z  INFO prove_core:     72373 bgeu
+2025-01-14T14:55:46.322657Z  INFO prove_core:     41839 jal
+2025-01-14T14:55:46.322658Z  INFO prove_core:     18902 sub
+2025-01-14T14:55:46.322659Z  INFO prove_core:     11717 jalr
+2025-01-14T14:55:46.322661Z  INFO prove_core:      9663 and
+2025-01-14T14:55:46.322662Z  INFO prove_core:      5862 auipc
+2025-01-14T14:55:46.322663Z  INFO prove_core:      2285 mul
+2025-01-14T14:55:46.322664Z  INFO prove_core:       520 sb
+2025-01-14T14:55:46.322666Z  INFO prove_core:       354 lbu
+2025-01-14T14:55:46.322667Z  INFO prove_core:       285 blt
+2025-01-14T14:55:46.322668Z  INFO prove_core:       272 mulhu
+2025-01-14T14:55:46.322670Z  INFO prove_core:        20 ecall
+2025-01-14T14:55:46.322671Z  INFO prove_core:         4 lb
+2025-01-14T14:55:46.322672Z  INFO prove_core:         3 divu
+2025-01-14T14:55:46.322674Z  INFO prove_core:         1 bge
+2025-01-14T14:55:46.322676Z  INFO prove_core: execution report (syscall counts):
+2025-01-14T14:55:46.322682Z  INFO prove_core:   8 commit
+2025-01-14T14:55:46.322684Z  INFO prove_core:   8 commit_deferred_proofs
+2025-01-14T14:55:46.322685Z  INFO prove_core:   1 halt
+2025-01-14T14:55:46.322687Z  INFO prove_core:   1 write
+2025-01-14T14:55:46.322688Z  INFO prove_core:   1 hint_len
+2025-01-14T14:55:46.322690Z  INFO prove_core:   1 hint_read
+2025-01-14T14:55:46.322698Z  INFO prove_core: summary: cycles=5871733, e2e=39.291982221s, khz=149.44
+2025-01-14T14:55:46.329000Z  INFO prove_core: close time.busy=37.9s time.idle=1.45s
+Successfully generated proof!
+2025-01-14T14:55:47.044964Z  INFO verify: close time.busy=708ms time.idle=1.71µs
+Successfully verified proof!
diff --git a/sorting-output/18125-2025-01-14T14:55:02,913658286+00:00/sp1/output_time b/sorting-output/18125-2025-01-14T14:55:02,913658286+00:00/sp1/output_time
new file mode 100644
index 00000000..e06f0959
--- /dev/null
+++ b/sorting-output/18125-2025-01-14T14:55:02,913658286+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+	Command being timed: "cargo run --release -- --n=18125 --prove"
+	User time (seconds): 1934.44
+	System time (seconds): 78.95
+	Percent of CPU this job got: 4571%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:44.04
+	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): 28543832
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 18382286
+	Voluntary context switches: 527269
+	Involuntary context switches: 92967
+	Swaps: 0
+	File system inputs: 0
+	File system outputs: 944
+	Socket messages sent: 0
+	Socket messages received: 0
+	Signals delivered: 0
+	Page size (bytes): 4096
+	Exit status: 0
diff --git a/sorting-output/18506-2025-01-14T14:53:18,994450423+00:00/sp1/log b/sorting-output/18506-2025-01-14T14:53:18,994450423+00:00/sp1/log
new file mode 100644
index 00000000..91f405dc
--- /dev/null
+++ b/sorting-output/18506-2025-01-14T14:53:18,994450423+00:00/sp1/log
@@ -0,0 +1,96 @@
+2025-01-14T14:53:20.317681Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu'    
+2025-01-14T14:53:20.785091Z  INFO vk verification: true
+n: 18506
+2025-01-14T14:53:23.124289Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:53:23.314466Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:53:24.276879Z  INFO prove_core: deferred 1 records    
+2025-01-14T14:53:24.576388Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210
+2025-01-14T14:53:24.576414Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:53:24.576416Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:53:24.576418Z  INFO prove_core: Chip Bitwise: 19  -> 19 
+2025-01-14T14:53:24.576421Z  INFO prove_core: Chip Mul: 2   -> 17 
+2025-01-14T14:53:24.576422Z  INFO prove_core: Chip ShiftRight: 18  -> 18 
+2025-01-14T14:53:24.576423Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:53:24.576424Z  INFO prove_core: Chip Lt: 17  -> 18 
+2025-01-14T14:53:24.576426Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T14:53:24.576427Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:53:24.576428Z  INFO prove_core: Chip Auipc: 9   -> 18 
+2025-01-14T14:53:24.576429Z  INFO prove_core: Chip Branch: 16  -> 18 
+2025-01-14T14:53:24.576430Z  INFO prove_core: Chip Jump: 12  -> 18 
+2025-01-14T14:53:24.576432Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T14:53:24.576433Z  INFO prove_core: Chip SyscallCore: 2   -> 10 
+2025-01-14T14:53:24.576434Z  INFO prove_core: Chip SyscallInstrs: 2   -> 10 
+2025-01-14T14:53:24.576710Z  INFO prove_core: Shard Lifted: Index=2, Cluster=179
+2025-01-14T14:53:24.576729Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:53:24.576730Z  INFO prove_core: Chip DivRem: 2   -> 10 
+2025-01-14T14:53:24.576731Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:53:24.576732Z  INFO prove_core: Chip Bitwise: 16  -> 17 
+2025-01-14T14:53:24.576734Z  INFO prove_core: Chip Mul: 11  -> 17 
+2025-01-14T14:53:24.576735Z  INFO prove_core: Chip ShiftRight: 15  -> 17 
+2025-01-14T14:53:24.576737Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:53:24.576738Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T14:53:24.576739Z  INFO prove_core: Chip MemoryLocal: 14  -> 18 
+2025-01-14T14:53:24.576740Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:53:24.576742Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T14:53:24.576743Z  INFO prove_core: Chip Branch: 19  -> 19 
+2025-01-14T14:53:24.576744Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T14:53:24.576745Z  INFO prove_core: Chip Global: 17  -> 17 
+2025-01-14T14:53:24.576909Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179
+2025-01-14T14:53:24.576913Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:53:24.576915Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:53:24.576916Z  INFO prove_core: Chip Bitwise: 15  -> 17 
+2025-01-14T14:53:24.576917Z  INFO prove_core: Chip Mul: 10  -> 17 
+2025-01-14T14:53:24.576918Z  INFO prove_core: Chip ShiftRight: 12  -> 17 
+2025-01-14T14:53:24.576920Z  INFO prove_core: Chip ShiftLeft: 17  -> 17 
+2025-01-14T14:53:24.576921Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T14:53:24.576922Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T14:53:24.576924Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:53:24.576925Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T14:53:24.576926Z  INFO prove_core: Chip Branch: 19  -> 19 
+2025-01-14T14:53:24.576927Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T14:53:24.576928Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T14:53:24.576929Z  INFO prove_core: Chip SyscallCore: 5   -> 10 
+2025-01-14T14:53:24.576931Z  INFO prove_core: Chip SyscallInstrs: 5   -> 10 
+2025-01-14T14:53:24.798880Z  INFO prove_core:generate main traces: close time.busy=222ms time.idle=2.02µs index=0
+2025-01-14T14:54:02.889577Z  INFO prove_core: execution report (totals): total_cycles=6007425, total_syscall_cycles=20, touched_memory_addresses=57722
+2025-01-14T14:54:02.889606Z  INFO prove_core: execution report (opcode counts):
+2025-01-14T14:54:02.889614Z  INFO prove_core:   1880438 add
+2025-01-14T14:54:02.889618Z  INFO prove_core:   1040948 lw
+2025-01-14T14:54:02.889620Z  INFO prove_core:    975944 sw
+2025-01-14T14:54:02.889622Z  INFO prove_core:    502701 sll
+2025-01-14T14:54:02.889624Z  INFO prove_core:    317105 bltu
+2025-01-14T14:54:02.889626Z  INFO prove_core:    242152 xor
+2025-01-14T14:54:02.889627Z  INFO prove_core:    239783 sltu
+2025-01-14T14:54:02.889629Z  INFO prove_core:    229995 srl
+2025-01-14T14:54:02.889631Z  INFO prove_core:    226041 or
+2025-01-14T14:54:02.889632Z  INFO prove_core:    111392 bne
+2025-01-14T14:54:02.889634Z  INFO prove_core:     74751 bgeu
+2025-01-14T14:54:02.889636Z  INFO prove_core:     73012 beq
+2025-01-14T14:54:02.889638Z  INFO prove_core:     41851 jal
+2025-01-14T14:54:02.889639Z  INFO prove_core:     19417 sub
+2025-01-14T14:54:02.889641Z  INFO prove_core:     11999 jalr
+2025-01-14T14:54:02.889642Z  INFO prove_core:     10084 and
+2025-01-14T14:54:02.889644Z  INFO prove_core:      6003 auipc
+2025-01-14T14:54:02.889646Z  INFO prove_core:      2339 mul
+2025-01-14T14:54:02.889647Z  INFO prove_core:       521 sb
+2025-01-14T14:54:02.889649Z  INFO prove_core:       356 lbu
+2025-01-14T14:54:02.889651Z  INFO prove_core:       291 blt
+2025-01-14T14:54:02.889653Z  INFO prove_core:       274 mulhu
+2025-01-14T14:54:02.889654Z  INFO prove_core:        20 ecall
+2025-01-14T14:54:02.889656Z  INFO prove_core:         4 lb
+2025-01-14T14:54:02.889658Z  INFO prove_core:         3 divu
+2025-01-14T14:54:02.889659Z  INFO prove_core:         1 bge
+2025-01-14T14:54:02.889662Z  INFO prove_core: execution report (syscall counts):
+2025-01-14T14:54:02.889668Z  INFO prove_core:   8 commit
+2025-01-14T14:54:02.889670Z  INFO prove_core:   8 commit_deferred_proofs
+2025-01-14T14:54:02.889672Z  INFO prove_core:   1 halt
+2025-01-14T14:54:02.889674Z  INFO prove_core:   1 write
+2025-01-14T14:54:02.889676Z  INFO prove_core:   1 hint_len
+2025-01-14T14:54:02.889677Z  INFO prove_core:   1 hint_read
+2025-01-14T14:54:02.889685Z  INFO prove_core: summary: cycles=6007425, e2e=39.766051506s, khz=151.07
+2025-01-14T14:54:02.899292Z  INFO prove_core: close time.busy=38.3s time.idle=1.49s
+Successfully generated proof!
+2025-01-14T14:54:03.618587Z  INFO verify: close time.busy=702ms time.idle=2.15µs
+Successfully verified proof!
diff --git a/sorting-output/18506-2025-01-14T14:53:18,994450423+00:00/sp1/output_time b/sorting-output/18506-2025-01-14T14:53:18,994450423+00:00/sp1/output_time
new file mode 100644
index 00000000..8a597ccb
--- /dev/null
+++ b/sorting-output/18506-2025-01-14T14:53:18,994450423+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+	Command being timed: "cargo run --release -- --n=18506 --prove"
+	User time (seconds): 1972.70
+	System time (seconds): 82.64
+	Percent of CPU this job got: 4615%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:44.53
+	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): 30907048
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 6
+	Minor (reclaiming a frame) page faults: 19605060
+	Voluntary context switches: 516657
+	Involuntary context switches: 102572
+	Swaps: 0
+	File system inputs: 0
+	File system outputs: 944
+	Socket messages sent: 0
+	Socket messages received: 0
+	Signals delivered: 0
+	Page size (bytes): 4096
+	Exit status: 0
diff --git a/sorting-output/18506-2025-01-14T14:54:04,456003589+00:00/ceno/hints b/sorting-output/18506-2025-01-14T14:54:04,456003589+00:00/ceno/hints
new file mode 100644
index 0000000000000000000000000000000000000000..8237847d0521b65640a7e9a0aef09aec9409b7ec
GIT binary patch
literal 32
OcmWe(Km}eNsC)nmcmSsW

literal 0
HcmV?d00001

diff --git a/sorting-output/18506-2025-01-14T14:54:04,456003589+00:00/ceno/output_time b/sorting-output/18506-2025-01-14T14:54:04,456003589+00:00/ceno/output_time
new file mode 100644
index 00000000..dec51f6e
--- /dev/null
+++ b/sorting-output/18506-2025-01-14T14:54:04,456003589+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/18506-2025-01-14T14:54:04,456003589+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+	User time (seconds): 935.59
+	System time (seconds): 60.22
+	Percent of CPU this job got: 3460%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:28.77
+	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): 11012636
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 6363413
+	Voluntary context switches: 1056494
+	Involuntary context switches: 161327
+	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/206-2025-01-14T14:52:54,485830999+00:00/ceno/hints b/sorting-output/206-2025-01-14T14:52:54,485830999+00:00/ceno/hints
new file mode 100644
index 0000000000000000000000000000000000000000..7b917a69f1795ae388d464bc0a88303aff36faa4
GIT binary patch
literal 32
OcmWe(Kn3SexeNdgfB@qF

literal 0
HcmV?d00001

diff --git a/sorting-output/206-2025-01-14T14:52:54,485830999+00:00/ceno/output_time b/sorting-output/206-2025-01-14T14:52:54,485830999+00:00/ceno/output_time
new file mode 100644
index 00000000..aca135ce
--- /dev/null
+++ b/sorting-output/206-2025-01-14T14:52:54,485830999+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/206-2025-01-14T14:52:54,485830999+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+	User time (seconds): 215.04
+	System time (seconds): 18.58
+	Percent of CPU this job got: 1926%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:12.12
+	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): 1281124
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 1011084
+	Voluntary context switches: 491442
+	Involuntary context switches: 62376
+	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/206-2025-01-14T14:53:07,244337730+00:00/sp1/log b/sorting-output/206-2025-01-14T14:53:07,244337730+00:00/sp1/log
new file mode 100644
index 00000000..9994ff6e
--- /dev/null
+++ b/sorting-output/206-2025-01-14T14:53:07,244337730+00:00/sp1/log
@@ -0,0 +1,69 @@
+2025-01-14T14:53:08.575924Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu'    
+2025-01-14T14:53:09.044933Z  INFO vk verification: true
+n: 206
+2025-01-14T14:53:11.370346Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:53:11.378115Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:53:11.392745Z  INFO prove_core: deferred 0 records    
+2025-01-14T14:53:11.414223Z  INFO prove_core: Shard Lifted: Index=1, Cluster=1225
+2025-01-14T14:53:11.414244Z  INFO prove_core: Chip Cpu: 17  -> 17 
+2025-01-14T14:53:11.414247Z  INFO prove_core: Chip DivRem: 2   -> 14 
+2025-01-14T14:53:11.414248Z  INFO prove_core: Chip AddSub: 16  -> 16 
+2025-01-14T14:53:11.414250Z  INFO prove_core: Chip Bitwise: 14  -> 16 
+2025-01-14T14:53:11.414251Z  INFO prove_core: Chip Mul: 6   -> 14 
+2025-01-14T14:53:11.414253Z  INFO prove_core: Chip ShiftRight: 13  -> 14 
+2025-01-14T14:53:11.414254Z  INFO prove_core: Chip ShiftLeft: 13  -> 14 
+2025-01-14T14:53:11.414256Z  INFO prove_core: Chip Lt: 14  -> 14 
+2025-01-14T14:53:11.414257Z  INFO prove_core: Chip MemoryLocal: 8   -> 14 
+2025-01-14T14:53:11.414258Z  INFO prove_core: Chip MemoryInstrs: 15  -> 15 
+2025-01-14T14:53:11.414259Z  INFO prove_core: Chip Auipc: 7   -> 14 
+2025-01-14T14:53:11.414260Z  INFO prove_core: Chip Branch: 12  -> 14 
+2025-01-14T14:53:11.414261Z  INFO prove_core: Chip Jump: 9   -> 14 
+2025-01-14T14:53:11.414263Z  INFO prove_core: Chip Global: 11  -> 18 
+2025-01-14T14:53:11.414264Z  INFO prove_core: Chip SyscallCore: 5   -> 14 
+2025-01-14T14:53:11.414265Z  INFO prove_core: Chip SyscallInstrs: 5   -> 14 
+2025-01-14T14:53:11.414266Z  INFO prove_core: Chip MemoryGlobalInit: 10  -> 17 
+2025-01-14T14:53:11.414267Z  INFO prove_core: Chip MemoryGlobalFinalize: 15  -> 17 
+2025-01-14T14:53:11.414269Z  INFO prove_core: Chip Global: 15  -> 18 
+2025-01-14T14:53:11.462616Z  INFO prove_core:generate main traces: close time.busy=48.3ms time.idle=1.76µs index=0
+2025-01-14T14:53:17.864653Z  INFO prove_core: execution report (totals): total_cycles=65881, total_syscall_cycles=20, touched_memory_addresses=21165
+2025-01-14T14:53:17.864676Z  INFO prove_core: execution report (opcode counts):
+2025-01-14T14:53:17.864683Z  INFO prove_core:   15627 add
+2025-01-14T14:53:17.864686Z  INFO prove_core:   11873 lw
+2025-01-14T14:53:17.864688Z  INFO prove_core:   11156 sw
+2025-01-14T14:53:17.864690Z  INFO prove_core:    6230 sll
+2025-01-14T14:53:17.864691Z  INFO prove_core:    4887 srl
+2025-01-14T14:53:17.864692Z  INFO prove_core:    4752 xor
+2025-01-14T14:53:17.864694Z  INFO prove_core:    4613 or
+2025-01-14T14:53:17.864695Z  INFO prove_core:    1985 bltu
+2025-01-14T14:53:17.864697Z  INFO prove_core:    1195 sltu
+2025-01-14T14:53:17.864698Z  INFO prove_core:     847 beq
+2025-01-14T14:53:17.864699Z  INFO prove_core:     592 bne
+2025-01-14T14:53:17.864700Z  INFO prove_core:     457 bgeu
+2025-01-14T14:53:17.864702Z  INFO prove_core:     361 and
+2025-01-14T14:53:17.864703Z  INFO prove_core:     353 sb
+2025-01-14T14:53:17.864704Z  INFO prove_core:     315 jal
+2025-01-14T14:53:17.864705Z  INFO prove_core:     239 sub
+2025-01-14T14:53:17.864707Z  INFO prove_core:     149 jalr
+2025-01-14T14:53:17.864708Z  INFO prove_core:      91 lbu
+2025-01-14T14:53:17.864709Z  INFO prove_core:      77 auipc
+2025-01-14T14:53:17.864710Z  INFO prove_core:      40 mul
+2025-01-14T14:53:17.864712Z  INFO prove_core:      20 ecall
+2025-01-14T14:53:17.864726Z  INFO prove_core:       8 mulhu
+2025-01-14T14:53:17.864728Z  INFO prove_core:       6 blt
+2025-01-14T14:53:17.864729Z  INFO prove_core:       4 lb
+2025-01-14T14:53:17.864730Z  INFO prove_core:       3 divu
+2025-01-14T14:53:17.864731Z  INFO prove_core:       1 bge
+2025-01-14T14:53:17.864734Z  INFO prove_core: execution report (syscall counts):
+2025-01-14T14:53:17.864739Z  INFO prove_core:   8 commit
+2025-01-14T14:53:17.864741Z  INFO prove_core:   8 commit_deferred_proofs
+2025-01-14T14:53:17.864743Z  INFO prove_core:   1 halt
+2025-01-14T14:53:17.864744Z  INFO prove_core:   1 write
+2025-01-14T14:53:17.864745Z  INFO prove_core:   1 hint_len
+2025-01-14T14:53:17.864747Z  INFO prove_core:   1 hint_read
+2025-01-14T14:53:17.864754Z  INFO prove_core: summary: cycles=65881, e2e=6.495103401s, khz=10.14
+2025-01-14T14:53:17.866400Z  INFO prove_core: close time.busy=6.41s time.idle=90.1ms
+Successfully generated proof!
+2025-01-14T14:53:18.097896Z  INFO verify: close time.busy=224ms time.idle=3.56µs
+Successfully verified proof!
diff --git a/sorting-output/206-2025-01-14T14:53:07,244337730+00:00/sp1/output_time b/sorting-output/206-2025-01-14T14:53:07,244337730+00:00/sp1/output_time
new file mode 100644
index 00000000..c85f994a
--- /dev/null
+++ b/sorting-output/206-2025-01-14T14:53:07,244337730+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+	Command being timed: "cargo run --release -- --n=206 --prove"
+	User time (seconds): 188.42
+	System time (seconds): 19.04
+	Percent of CPU this job got: 1920%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.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): 4740144
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 4
+	Minor (reclaiming a frame) page faults: 2642486
+	Voluntary context switches: 148880
+	Involuntary context switches: 17420
+	Swaps: 0
+	File system inputs: 0
+	File system outputs: 880
+	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:55:47,913324232+00:00/ceno/hints b/sorting-output/27592-2025-01-14T14:55:47,913324232+00:00/ceno/hints
new file mode 100644
index 0000000000000000000000000000000000000000..2d6108d884c03306e704aa46c308cdb6cb923c8c
GIT binary patch
literal 32
OcmWe(Km{kVQTYHBWdTS4

literal 0
HcmV?d00001

diff --git a/sorting-output/27592-2025-01-14T14:55:47,913324232+00:00/ceno/output_time b/sorting-output/27592-2025-01-14T14:55:47,913324232+00:00/ceno/output_time
new file mode 100644
index 00000000..b2686308
--- /dev/null
+++ b/sorting-output/27592-2025-01-14T14:55:47,913324232+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/27592-2025-01-14T14:55:47,913324232+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+	User time (seconds): 1312.74
+	System time (seconds): 86.25
+	Percent of CPU this job got: 3710%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:37.69
+	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): 15083960
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 11186119
+	Voluntary context switches: 1161467
+	Involuntary context switches: 181558
+	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/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
new file mode 100644
index 00000000..3cdbf66e
--- /dev/null
+++ b/sorting-output/27592-2025-01-14T14:56:26,274041063+00:00/sp1/log
@@ -0,0 +1,84 @@
+2025-01-14T14:56:27.627374Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu'    
+2025-01-14T14:56:28.083495Z  INFO vk verification: true
+n: 27592
+2025-01-14T14:56:30.396550Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:56:30.703939Z  INFO prove_core: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+2025-01-14T14:56:32.082027Z  INFO prove_core: deferred 1 records    
+2025-01-14T14:56:32.540924Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210
+2025-01-14T14:56:32.540950Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:56:32.540953Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:56:32.540954Z  INFO prove_core: Chip Bitwise: 19  -> 19 
+2025-01-14T14:56:32.540956Z  INFO prove_core: Chip Mul: 2   -> 17 
+2025-01-14T14:56:32.540958Z  INFO prove_core: Chip ShiftRight: 18  -> 18 
+2025-01-14T14:56:32.540960Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:56:32.540962Z  INFO prove_core: Chip Lt: 17  -> 18 
+2025-01-14T14:56:32.540963Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T14:56:32.540964Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:56:32.540965Z  INFO prove_core: Chip Auipc: 9   -> 18 
+2025-01-14T14:56:32.540966Z  INFO prove_core: Chip Branch: 16  -> 18 
+2025-01-14T14:56:32.540967Z  INFO prove_core: Chip Jump: 12  -> 18 
+2025-01-14T14:56:32.540968Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T14:56:32.540970Z  INFO prove_core: Chip SyscallCore: 2   -> 10 
+2025-01-14T14:56:32.540971Z  INFO prove_core: Chip SyscallInstrs: 2   -> 10 
+2025-01-14T14:56:32.541369Z  INFO prove_core: Shard Lifted: Index=2, Cluster=54
+2025-01-14T14:56:32.541374Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:56:32.541375Z  INFO prove_core: Chip DivRem: 2   -> 10 
+2025-01-14T14:56:32.541376Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:56:32.541378Z  INFO prove_core: Chip Bitwise: 18  -> 18 
+2025-01-14T14:56:32.541379Z  INFO prove_core: Chip Mul: 11  -> 17 
+2025-01-14T14:56:32.541380Z  INFO prove_core: Chip ShiftRight: 18  -> 18 
+2025-01-14T14:56:32.541381Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:56:32.541382Z  INFO prove_core: Chip Lt: 19  -> 19 
+2025-01-14T14:56:32.541384Z  INFO prove_core: Chip MemoryLocal: 14  -> 18 
+2025-01-14T14:56:32.541385Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:56:32.541386Z  INFO prove_core: Chip Auipc: 9   -> 18 
+2025-01-14T14:56:32.541387Z  INFO prove_core: Chip Branch: 17  -> 18 
+2025-01-14T14:56:32.541388Z  INFO prove_core: Chip Jump: 14  -> 18 
+2025-01-14T14:56:32.541390Z  INFO prove_core: Chip Global: 17  -> 17 
+2025-01-14T14:56:32.541547Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179
+2025-01-14T14:56:32.541551Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:56:32.541553Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:56:32.541554Z  INFO prove_core: Chip Bitwise: 15  -> 17 
+2025-01-14T14:56:32.541555Z  INFO prove_core: Chip Mul: 11  -> 17 
+2025-01-14T14:56:32.541557Z  INFO prove_core: Chip ShiftRight: 12  -> 17 
+2025-01-14T14:56:32.541558Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:56:32.541559Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T14:56:32.541560Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T14:56:32.541561Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:56:32.541562Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T14:56:32.541564Z  INFO prove_core: Chip Branch: 19  -> 19 
+2025-01-14T14:56:32.541565Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T14:56:32.541566Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T14:56:32.541749Z  INFO prove_core: Shard Lifted: Index=4, Cluster=179
+2025-01-14T14:56:32.541752Z  INFO prove_core: Chip Cpu: 21  -> 21 
+2025-01-14T14:56:32.541754Z  INFO prove_core: Chip AddSub: 21  -> 21 
+2025-01-14T14:56:32.541755Z  INFO prove_core: Chip Bitwise: 14  -> 17 
+2025-01-14T14:56:32.541756Z  INFO prove_core: Chip Mul: 10  -> 17 
+2025-01-14T14:56:32.541758Z  INFO prove_core: Chip ShiftRight: 11  -> 17 
+2025-01-14T14:56:32.541759Z  INFO prove_core: Chip ShiftLeft: 18  -> 18 
+2025-01-14T14:56:32.541760Z  INFO prove_core: Chip Lt: 20  -> 20 
+2025-01-14T14:56:32.541761Z  INFO prove_core: Chip MemoryLocal: 13  -> 18 
+2025-01-14T14:56:32.541762Z  INFO prove_core: Chip MemoryInstrs: 20  -> 20 
+2025-01-14T14:56:32.541763Z  INFO prove_core: Chip Auipc: 12  -> 18 
+2025-01-14T14:56:32.541765Z  INFO prove_core: Chip Branch: 19  -> 19 
+2025-01-14T14:56:32.541766Z  INFO prove_core: Chip Jump: 15  -> 18 
+2025-01-14T14:56:32.541767Z  INFO prove_core: Chip Global: 16  -> 17 
+2025-01-14T14:56:32.542697Z  INFO prove_core: Shard Lifted: Index=5, Cluster=207
+2025-01-14T14:56:32.542705Z  INFO prove_core: Chip Cpu: 20  -> 20 
+2025-01-14T14:56:32.542707Z  INFO prove_core: Chip AddSub: 20  -> 20 
+2025-01-14T14:56:32.542708Z  INFO prove_core: Chip Bitwise: 14  -> 16 
+2025-01-14T14:56:32.542709Z  INFO prove_core: Chip Mul: 9   -> 16 
+2025-01-14T14:56:32.542711Z  INFO prove_core: Chip ShiftRight: 11  -> 16 
+2025-01-14T14:56:32.542712Z  INFO prove_core: Chip ShiftLeft: 16  -> 16 
+2025-01-14T14:56:32.542713Z  INFO prove_core: Chip Lt: 19  -> 19 
+2025-01-14T14:56:32.542714Z  INFO prove_core: Chip MemoryLocal: 12  -> 17 
+2025-01-14T14:56:32.542715Z  INFO prove_core: Chip MemoryInstrs: 18  -> 18 
+2025-01-14T14:56:32.542717Z  INFO prove_core: Chip Auipc: 11  -> 17 
+2025-01-14T14:56:32.542718Z  INFO prove_core: Chip Branch: 17  -> 17 
+2025-01-14T14:56:32.542719Z  INFO prove_core: Chip Jump: 14  -> 17 
+2025-01-14T14:56:32.542720Z  INFO prove_core: Chip Global: 15  -> 16 
+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
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
new file mode 100644
index 00000000..e69de29b