From 17647979011f5efd493df991b46d031dab47b526 Mon Sep 17 00:00:00 2001 From: Enrico Bottazzi <85900164+enricobottazzi@users.noreply.github.com> Date: Mon, 11 Dec 2023 16:17:59 +0100 Subject: [PATCH] chore: add circuit printing --- kzg_prover/prints/range-check-layout.png | Bin 103131 -> 82128 bytes .../prints/univariate-grand-sum-layout.png | Bin 1083389 -> 1079363 bytes .../src/circuits/univariate_grand_sum.rs | 1 - 3 files changed, 1 deletion(-) diff --git a/kzg_prover/prints/range-check-layout.png b/kzg_prover/prints/range-check-layout.png index cc706e85724e865511e5d503e847e2e4b25f494a..bb1ae4e69c7cce31b886e65e84539a96bd223a75 100644 GIT binary patch delta 11041 zcmaKS3s@6();EZiZLQ5yZKbVBwyRyfu3OW6tzrd|c5TaAR?^nBv;xVtR;fjeh!`N3 z!CFhLmDFZyRD`r^m9-S&4Ff_lC_+?(s0dLmnUDYh0=be*lF7_`XXy8S`@VbgdCUW0 z=6^lscYf!0PT#3nxA#8u_2L)s=p~*L+w!|-|N4Oaqw;FOi))k1>n9Eg zd@b^jSYK8xh+3PR(3j=^bgi}M{>YDUf1GQ)u`)yV=WhxhD?Vw8oE1_P8rzR?uRKy| zSfCpzCA}Q1bpxklNoCgp-5oy~NfH|1*C&z_m4oPV{x54UkN;Rb{XykNye{dY3|-Va z?qu`m3f_c~?$7f7N)l4VWsr`yqUn%2zk5SQb^-I@cO~TUbp7pl-5cl|@{p=y1Lx>9 zpE6qiI`V1Uk98}*T5RO!ZhtB@{=2{bJpCiRbz^SJDzETV-K8u|!}yQ%#!D)Pf0s^B zYl5#ep1<^oP=9S>P*}@65K7!yGskwFnGky+v&?o4T?^l)QnA;MIQ-Y)mxYD{h_0u1 z)nmz3%x5HX0Fe{xotGW&RvJDjxaNDWrmQf&rY>(`VLI~}bSWRSqmFG~ z7+a~nwX!VcYvx;c+`-Q7Qmo<%98dh1Enf7sA zXT<%U6x2OCL5LTq94m~rOk}(&9i<%F9z<`ClMfC#^v+$n5uQOy-Q!otNt39?BeXWk zo%WT2$?mdum%^E&w?%ZTa9dMv_4fbwze6y*;gZ0%!tA@i%}sf<>8)d-H(jJzQCO}m z3gJ>dr6QbaI&>&QQn&BqV#@zNr-Ew?i~I+92wm!$I->sOg^-Ep7KWAD;ub}=W){^* z_HyVOnYuy4GF2|+mrttbp-C(<&*V64&)dD*U8Ke-*wvpZ)oSvAOR6&^ttg9Ox!3dj zH5xixm6;n^x_Lx`;!AZMeaY4o%r{(A;)--~q`pLSc!e;Z(3u@iick`HJ}Xdxh4zc^ zJ&NKEQ$O_`tGI#}X%SkZ<$)a3=NGu{!F4rrB3JPyr=zl|&@*9|nF%bwJAe2=+yg3)-B<(@dyUtu2Gy@jX~ z5|!dYq*Uqfe?u=sg9ov2x@-693m)|smi@(^(v*o9^T_t!TZ@{4E%AY9k#FU*DWO0g zYRi$2IP>j-$OkN580hJ)M)s9fH7gu_sQd47V z)+IN?maVX5_D*{RpE#xtmF3%=BWS-;l>7>E=Z-x05dGSp1b;i(J^pcBm;_69k^6;( zqlXfy5wN%$6&3tq4PHE~Dm*a#$d9L_ZLmA{?}VXm+4v6Eo{Jm1-zj0<2|mEcfh4C6 zKdwyR4W^j)5sPZxO|9PW!f=}2E}=%&@~v`KvN;e`rQ z;W1ToiIDE%ks*xGiGn}yznRKJC_5Ga6V6uq-@l-zf1d82W zz;)Dn>=h<8!X=NnXo_F&@A)5ZXyub8d8A9N*PZh)2gzKTLaq{rdfB1F10Uyjdb^E#POqlxw?&lNp^$VOJV9jLboiNqpe=Y-QUuTMmGYH%wj^rA&U zyIlyLNbf4TxRJHkIHsYk2bc#@6sgyWgJu^!pO5rr|HHecjZ`m(^b{nXpvqC{-9Tqs zlHRc(Ied;aiwd%6%7ldYj|CL*fiKF9kEqe9K{okVX5RuOQZ)a!Ein-iHo;o{$RhvX+@xl56Wkfp;~X z|XIPch>i^%Ld#vE?P2$W2Aa%AwA|!Gi~5kU)}1=l3+T$vYe& zLhj>EcIgYw-Otiw2;C2{gE&GbaQyFR+G3>s3?!mdM-meUrrfMZvr+G9EBy(;ru&Xo z)@Mg%FyQ2C6-G8y@r5*loeYSce{Y-qW_6RNv8g?Et(DhNEW0RRlP$am1#u1+hzHit zBO-aegcwTF+Y(a3cQj1`c8w|Z)IC?I(io*5&g70vnw_>D$H{ko1NK4bkcfdNarQ4V zD1^R%h<>J%h}}1M7#-#cdKh!t=Bp`4^&j3QtLcqG($ej%&Z)gK7&X))pWmz z-m{GOtBZ1?#qjrG*o=rO^P+2)YII}OxeJ{xwJPpT}cf6#^oM&K> zH#L8(Av=_nQ@!k|SCKG_e$hd=LV)WAKJ`(&C62bR%#I6OhkkaPz&gmHPoiYs-*;w4 zgu(q9@-Vw$@YXRb)Q(E0=Rs)`Lhexq4kv?9bgBCh4N!!iIzu}BKHR{ zI;f$>VPgn7{9`q>qU_yj=KP;(^Dr>U1k&P3R`@&S;iG;Mj{vCJ;KTS75uyi_H zt~D06jm=9aDaCeoy|`|A$qb?7g>%vQcc)+JC3M)l9XkL2dPN5?>xXEoC8zl6mzU>R zV}areM+VH3e0q?*2gi97K!Jh^h>E6<*hINmv=wYvS?T$TM?n}>j;C@~$nC&Yw(~sm z=B$T`dM~&zxM0lHiyt;mTCUXnQgMYX`Bg&%Oy!KV3 ze&T9FnmYKl(3gO?#hT!6IBn!7lO^RlitjVnh4kd;O#5f!DUm^rM~e`tYWKsUP37(K zksSS+yP`;&0=XTl>sj?!R$wTBo{W{<&ZWVDw_-*)Wk>BwUT9HKI^&YG*+sqyB!l;x zRtRc%6Y!f}kF5&X3o`{@n$z!^W40_ptxM%2XZR#x4F7~j0G3FAS8c2rm+>Yc*7mf1 zI4?MfQDg7i1poZXKDC_ZTl9_GmMD+xd~JomLIfYYv;--zHKQj<2V^a6qL_J+W1} zVBIs^Wr8MqtlW~{FadaY5QqdC2K@UL%n9!u(7CR##e| z{)WZbs17TiT(5;jI(4v4C;?!Km5-_JQU_gx-qzPA zBJ9kDQgVhM%J#?Xnx!c!T=eh9ccq7(`4 za|O#oA!)e`+q5FlIn#Vg=UEp%>e98bbxI$Y*f&B;;s_1%2hJoqr zt3|0Nas?1&{R0bQVMJvvwSNUn}&GE0bF#Ci2SuC{G-eNzIrpEky~PGQwqj2 z<=zBda5n08Rfhlc_qUS3gCN&9VJzAQd^iJcn!W&t#|xIZ-n+GB0eC-3ype(Ue*~J4 zT*am!J!2kJhbpk5e{<~THIbu=B26OV;}GC&*ED3WD>$ZpOxd}&I0jhfH=iy*9CCN8 z%LznTEH$(zkH6jT>XVOGZKJz^del{=%i8(WP%JVSM*$K>tNx|otG& zk$^G`k#)!c(S}^K`O*?biHYmbM6B#SX^R%QdqCNT1}`A)I-#fK_ej7%zx8HOOQLL; z6}qlPcgjUY7sC};q<#2KI1!mNZbt^RGHXwdHJ>}#M~&k25xeJkwcpGkyb9_hMmH)S z-#3r5u=L?zGfPsQSZK=#d)U+=5q(dQ ze2Fo)HYIdDl{cD%4(BX8ff4^^pr>Ng!8<}p;Z6t>?sF{UT1USthHF`l5LzUR03m7N zWUr>d?zv$1LSS11si_3mJ#W|Ui^k1rq5;EaiQHunY_Q1d!l`Ew&>F66=K0rSE7x^_ z5#rgvB*6$Xf|oVK5ahmGS-9AVLvFbJ5>Q!c{N9;dAR_26Sld3~M5|yBUTVa`H5k1? zi1^nPrbEKXka>4n^NT+S#esl4zogU=+GT|#`slIjx<19@JGS>~7>1|-t1 zC;NCFw|g!E`LLL{1uBYK-mZU~MP(AE8o{K}@vcC&j9 zhNq!Z0}$ioNRE997?YhH{$7~4V4ZD&evpt}FO^R2pDpI72mlb?`7EdJQ&RbdGi;>% zv}X?HmT`yH=mRjEs+|P)XTQG;kGA}ML-L9L-q2kU*~9vi;3HA+rsmQ9og8CTTInFfvXhA$6*eZ(&c@#m?XJ(-_5K!b^3SyMABVWI zSrhz_6W9(GW76GO0HRISkz-kb&mk>po|DrVWqT=w>d9p9CjADjcCShLKt%!>Toi9v zgAFc1i6l4w(+;%e0+VNQyJZd}XnP@-h;G|z zl`}8wxE$z>#dgNHnK_uru1)9TdB$vetCr&&L2?rAkl^HWi`gZ8- zw^k&;YL>X)6%iYoUO>IGk(tTfx3y7;*sd2|eAJdAu88GQi}l9|vQ^DRs7slym-9Og z@=om^B-i3Qx*kFScU7HI9$zAxEfan3F*_B#D2GBeO2v40_U(G78J3h!f11-g2yCr zEkFtp?l^EL2Usb0>TN~wv8~VWY|G6gqTB3)0M!;Bop%P`NI5kAL01&6m6^tDXRQ z*|FuqA!7(Rp%(u3lC#0SwHY8ScNYr6tgvWbVxef6q%K3!*U_;F2mpraWIwucG``iY z)nyJQrIo0}4Lj;q51qd?RCIqzEoq^@G_3e;Ik>S@b>CRo5y``L(mX0(aD#@u*>GfRwL_0MB31ytr zApW5vfAy->#TUSh^BWscUkz65t250=*t4eu4Smn7D`WHKWPqFyyQDaehRoNnvbM&9wu8`=29s{e2f zx?l^NN&{Y3+CDt;p@)giO!nwKuPA=vws;Y1=Z875!E%UClZOsTI9b6-FszJXPaJY{ zkvMXfO$`q2YG`;bf-t!vqX9JapJdO8xS=>hNS$`Q(Jt+D$@{cxt>@Pp%9w=orLQ(& z1$=4S@)Cfc7AM6$3rqI-tSltRAqUy<%T(nDTQwx8FSj8oWXL8A@qN8ksJj&3+2-2D zCAW$X+3pqi%lcd~3|NWf?Z${-h$MSbFjt4bdMchWK$^&#lA+eAGhK$t$Pay|&vb9> zG;7;^UB=ZGh9Oa5PGzvtg>T__-eJ);Ua*lJ)(fx9n!jLqyk$^PKW0Mw{3>{BN25P} zSzoUp3Y)4>pTB=}QqWKLp~c>l@x(8kxTQ3Uwj*I>1hl2Nv za!eEatBd}UL+Ls6WyRrZG53Mb6GJ?*OGty1A5qC3m?DgB2x$W6`X86|4WvjW?%zPb z3Fo>&SbUSAa=+LnV#k8jQ(HD|BChV2fYr+hNE5#;EZJm8PZ?W_EH7JQ@`G$KZ*Q(f zcfjsh%<~p7Y{LiTowT|=oX|I#Fns414-`1SK<2WEbD|JrC+(o^sC|&t9ZTjlHs&Z6 zB^C8;=g$y)6loQXJ9n+NjN}HQch?8quZ2UoqYTwQz-(b$CB8l`hJ}?;13G;9lcT!X7{!A=UCN=<~34yWGr+`>aR~7U@5Ifdt z2LexHkq$LkgFW+jax(#nXC*eE0~sHK1bOazicPOUA3rklY?h`-E^s|5^gtb~1)WMm9UucU z6^f#C%mmnAN}nAKCCF#I z#}s}OWpx=z5EV-K;UD-kTunetZCxfIGo-Iu4g$2PclT{qd%%z$K%Ve8a)mTI3xwjQ z42p=CLjyakV9|FuGNyzAFdDC+ztsFf>VfM~?r5A`t`C*-h)i_Ful~bJdzlpwKe2)( z7!9X-oE?7FiH9Lp$EK#TnKXyV{F!^|6%Q;$AVxR6CBiRjlD@K~f?!AAf`p(Hf-{#I z_FOd7v4AcpqM9l$-S5t z%oUsE7%nw%q_miR=l=-EIzjQmDp9zXO*08CEQj3)tgmxRiW_-E6Zz0ZaYbRK?4gFT z(1`rPgBg&yk`GRvB)=$}*d(MPA&K0Ypnv*3jVdd^R0QA}c?8s}9|FL;EQ z3>NGKUck{$UP_Qb;js-0cR8suS?(`2!7!9lg;TGyBOrh-hHF<36p#Qz-y|!L1tRIF zni>;HJ5186V03&LWQ?A%E|V@?jXnU8AcGoYQ{FY~@O=Ov0^$fGnu~M{WlP6`htvV^ zz6)SB!kt~~ShAtT!bhUETzJUMe5+bkL4&ha@exX2qd*_bit>cMA2F)EmY zWK_p2TVSYrLLnV$7d90dp~9XR)Af?~gdR%a!_V_W)uy5fao>Or2Z9nuO&H~4P}cG9 z1wEgm_jM-7jJUK7#GdJ`LTag(NbJT+oek7QSxH`2n&*0|KGJ%S>5Y&sKP%ugY|F8~ zj@qW=l(>uxD!yLq8Wm+e& zM}IPX6=!EvVC5L1<({+@}4?%9&9jFVt9%bBOc8 zPz>*_Hyeg8JNB?1ySx!|)tJXMmBDKw@{Af%kTeA}sB`Sfw*STfnMyilXalxDF6OAp3Lw(;D7Sp*Nrrx-mpeBgfgHzjAs(c#NLD zg7kwAzOr9DYHUzWeEh3f{jL?lkQsl0WfY!^BaVaR zp~(39Xp2&F_{rzo&x+^(LjC}@1WL7-oG_XTJ67<#uM2m#7nq{6YqD#SdCIiI&#;o2 zMk2JWys5Q%Abhb=8LfOG+NxxIya-^EmxKXoDH=>ggZaqqg1Vl$&(&kwdh$_i zQK_lurqUU_rl5K^wx5jmeTM`at122r+MajP2BQVx;rLLxD=-W79z-Hq#Q)Kf?;PXG z!f)8f&jr)rYTC<*3^Ed1%J>~t*rF(G%vA5ms5y1y>gH3gnZ%;0Et<%^1fcpnx)dcH zh>?MD^u(vB72V{9QE3h34 zG@1mGd8&>rvn_Cs3Z^>nVXotTj;u$VhXNf7oi2|L%;R}Fpmy9&pmYv*ax3kIW|H`> zm$*aEDncc!;BTq4d%fMgo=8@H$G#o)gC8)y9=WMOB1f_UD@DHF@r!N>84OOZ88{j5 z{}TEake$GPlB*K99)8JmH4}K%%0K7(?t^i)R&o6rreNS_3Iw&fz^jblCGJ`W+m9zl zGcFGwF)WN16hqdx*s|R`vWY1cM6U6r6&o9w+!VAd%CePD15<^&_y(R0k@LkEr-mbvWJ33`UJx6Yxfs#;@YE~O)mZNg!HLw1KRdt8OV?IJG<&k z-oG~Z^hD>0Rd>XTjJAo^gFZcG?jMT&Jg*7rqvf@_BX)Zy;Y`Z6zJ?V<(xB$oGVHx| zU|upP@TJustjf2}#FHc*Ym-Zxn8>uxeblnbEFQeN&Ln6@KdKX`(cNQhxwV75&I)`$ z3`Iq~qcB>}G+TTWi-c520LpLNa-FYAK5mS3x+Z9+tLL4P4;H$hjtU~raOnLSQ)6tb zsbY2O>=j?xWO2*-cTd(OH-Dltr>v@X-g{m!v)UhyoJxakojIKI-Nib|&Yc5i)@MOi z;9R^*xkV&Fpu13!Slq!Pe7wXzOLT%x`+{Z}v;bJI9jkQ|MfJhL49AuyzA@9dbz$l3 zIA>#^x4baA$I*Q%&8}$}c|-8Gp3?&Z`BmxJhJ&{P@Mhk~twWDriMcP(sC=PWszvcm zR?GOc1Ir_g6-fqEJ^8_Vom&_jVXV&nmvp7i;^xK?by+1ujI=xocxqUzQySA^ztRn zDwU*Ry0a4bu}{>9?=w4Qi}$P~-WOxKICE$K8`beF9U;z=hm1C+RTCOqpds>nzP)~Y z|JQ}_fBLz>a&`(xWjm0#a20b}&<@rZI+BZcwEEAXbq^`MaHn~8)`i>6f!Gy$>;Jne z^XE6w?`Hh}^-eDugC;6uP{q`Rm2d_dIG;^7UzTgD7e&AOi)4oAv48*1kGxVsM~q-K zKX-iAhH)h{&;&P6+mXF9uY2~hp5zN2y(1fz(Hyh*5x0^Da^=q*pMcitYh*gXyib4R zi>WQ%yJULOpR^aghz|cEnHlu;C3$F0a6bIRdvGN>L-)#DYtb*80llVoJUtLeK)=w_ u`u(tH{+^x98#rHoRv525*MiMQW*)ml%y!vWhoa!$+Sk)xtNs0-KmET|AP5Bj delta 32656 zcmd43dsq{9-Zu$Y^IlDoHU*{-YE)+#8F+1}kPck61l^=WD4khZR6Eowx> z07+)FZp*q>(-t+W2h*s|Qs z+?mKa`prd8;7t1@{OSW1QOTn@zgT)d6aV#zu|&82$@HURSNQ){4iyG$s#PxWpGtNl z#$u9pd;0enC*|jAFJx4`pF58KB4=kqR$lij@M3e{Q+&MA>iCF{{Boiw#RLB^=Z?xH z!maYI3Aa_`TQg-iWg94rbND~Df7Ew1cX-{l3%QTfPa~TzJYqh?|Eh1#Bk^47MMq~1 zWy?Fj|KQ}#N21I1*Vi765`BmX*N576j3q`0A7|Zla;GuNV>s5=0e8ic z-sSJY11qrbB89un;r|*tC1*m2x}uIbwxbQdwWoobmavx^$z(J3?ys=h(O4^Oa@f%; z(dd)>Vv{`v9T|6+obZ~3YKw%q+-B7bO%!Q%@AYw*o+^|X$BvSr_vDG8i-yJwLtz{d z-i+jj{c^lEkb=7w#LKCConsCEG0BDWL_uv@QsVki`B*wOU9rhzbCjuvteMqT#!gr3 z>4qa|s@gN%e-P#Z>6dVf*wmGdzIb6=PNrc~GTZb*WS?Dv?E4ryJF$oDmWK~2iNd4&T_?HE zMcf}Kjn%^bUc|i2Eob@-8cR}BOPjx_%^R$h)8)#7;u42{PeXEW+JN$nBsy(i`>Cdu zq|+G&U9wirv???e%JpS^7&>b;*_YWy#*2*Oa!(E(7*hCOjcuQZX!$kNfS>XBW zpAo{qO)HJv={x^oO=V&iGw}tk=c=)i1g!hRpk?pguiiPytQg8S_sO~Ukc+!V9^mg; zbsG0wF%#jp6`^Ul=M`}q_PZFYw?#U<)Aqz;<>tc(HuI*~wN|m@R*3>AIfD6?TY3IrpQ;g)PyHaCTWsJ^$Ev~BOam&=5-*!J8N`t4d#Y^1=+f0XTY=db$wSj2JQ);{kzr`l~ zRwQ@^3AgLrAH<_(r8?5Gy&?Jfj^yTpV&?ON!V=}-8=1-!R)>X(S7p>|E4ec%!AGrl zTPgm|e>2(Z*Keu)6?fcuacoAyUlwQ9?>@xe71Jp%8XZ$;YU{fK5oS(WPDJ>IS2cO#^Ns!T$!AFNsHc4VzdQuyX!jbY`bxED-oWR z=PVugzE6!ydn*5QETTmA^M^5+=2{sZ*np{r7FO_+68%@k8uw8$e76>zIoLqx)HbT= zdOI?`kQhIH00|D^p&EoM)-v@#mpWo?i(VoT3yjOt)@;{a#uuZWw)>%Go`a#+~f(_r&Qva2smtC}uI^u^+>I9x?d^&+c~)Q}N{y9BnRqh& zaO(QDD*^K!l6%)E2bDxDeyy@8h_#5h zBrK%UV&N`IBogl#J7VDfU`W(=)X!|irz@rQgVH;jO`PLE?kSU_Mw-(@&D~`U;(M;$ zAHJGX9hwm_&5liFqmd>G0(Le=Dam@umb0mx`5jfDwHBPzg{lzVOL7f*)tw^=+@zil zwUw30iVRfI1g0yvXV{KXN^IPU?&Ro+{*xty5 z_1u(N?2#kFhgk2%1dXq;solzbt(|d_c>f0D zZL?{h@r6-HyG8rs5qE$Hb|Xf+(~HH+oJ|gu(LJ@=d_c}0N7ykW*qE2C)arXtT8SEC zu(skzj48(WMm(fzKhs_GaN#D5jgc{MA+w@^uB_E@${#-|g{O(J8H=al}V3 z6D1dvYi;gKV)&+3^D~zj3sN}Oj$wPgzRXY99u$Xgh zN4!gLW0tl;CdMeLuw+TRazD-wRB#>(KeDF*?OndBsHUzcA9E^47@HDpw`8b>&QS$K z!o-(k=%_rxG~vKJT~a&CIThs|VJp}>opH!{Hb62(67FNs*p~|WGd8gq$w zSGK{uRME+n`##0XK6B^Gshx7VmIw=316C8Zs^*tJj2j*>&F1L?Uzvw?w;UwcA;fvn zvFmk%&f)*^SU837o^6IDpRE~>nnfm@)ha7mps4$8oDR#~-t3DCs5@GyT)`D3b>RF=Tzx^`}ljCys zn*h8EBOw60UXhQT-PPzXKXT+pF6=?M+ooW9#O!LsTU%V*sMX9=8fOR4zdRQ4nn4Sb z+y+Gl>G`UH-S~^X-rl=+?wElpV(~=p`7Yii!ubg~XKT(@UoExm?K&gVo6aA*SKVHx zzD}|>?Mhv=`DmFb&|lodwBt{?f@Xe%!g%{&o~6s`IJ4EX@A^fydDM?xf;RLs((*aJmusGQ(-GZYb|ctQP(?dq~EVgw)=NEGGoWDr6dV zmK8=1n{L4nCiXG5gJ61K*VGv=#WqoTwokHi#||DoeAV?|Y@e8K(P1OhY*sRqZHfX0 zNoMm9b^!H7W3%z-c*3rxsikvi8+BOu(Nye?6&p=O$F7!EM+!k?v<`M8j2|Q62E~8r zX(8B-%~Eo;i9IJXJ$DO}F<&c~fPoLavt}^Q+AtS_PwInZn=7>JkQ|v1eriV^emEw8 z4y(|U?dW(k>VHyZ8k2A{ZYUUuI+c6)lE^sX=3PDu>r>P$j8G2cJMCDQ`s`dJRKCtS zjJ2e@UhWEJt4p3rU4k`dD$D38eQ*{Mhy=c^en+8$ck>|U^k*67L4y`9lBEP>sGpfBSl6?^*Xc%KaKjK*9R)9Rpi}Fm#&wc+41D zd-rY@YHLOoM@`6sn#LGW9CIT!ju**zSO9AWG6E~0_jmy3lQ7mTcE2)~nA_K-FS5t0 zZ>K>$Z@F{vUiGCI_5GG9F*hQEGKZLf5wbr9>5T7%K$1Q?b2?&I{m7-U#PmJ5uHaDG zdX(`g)n+>kJ=RR}oTO>G(vi@T{KyovffS_Yv5a7limKuR2lt>TuX0 zW@-?+4Catfj~x+3nI_Vu5V{-{_0wp{C(l2OT@bUE&I{D`P`f0naf5en;rRdW7tBPr#D&bQLOX^ww_{Wt z_u?%Be@%}L7GvE2nM4RrR)>vAP>&b zt1o41Vs=|I?Pxe2rD0p=Ds5<>_x#G?_hV(q#FI+3uUH)-xgPlofKPeHS1xwRT)m7+MD2OA>*MY#H*;#Cf zOfxO#AQ{~deoG(NuJFZR?iIzwI#@|h;-ON4Ux2$-HY=E`ROj2Vu-ou(9Y&`kt|&bX zIlLnt9nC>PZCLK!uXq78AbcCeg_aZ8NKkp$@j!4rzmA0gX` zn;g{@3}eB%o;d;w1M$OpE{3||NyNWd&ThbcJE2CnC+qX=*AmoSX$*F<6UXpgA>8y z$ik^u6I)`s1L#dYG5lb`ei8FUU1;2*CY420Lep-PbnR|sZLW>-30tE@Xj=V&0jK8H zl3l8ngu;n`^B@y9PsPl{paE*&HYOeEvU#JBnVke{Bz({pJQ>qT=Hg0~AtBP{*(vu* zc;=q9gbT**b-622%q&(Y$&?swM#~?tyI&IXo%(Pe={+D0T&PPKD;I}M^6i`H-^o-K z;ZY&(qg_I?kdcU+x9L5vlWZ9hJV{cID&{x2OO4Z5mCV>aDZHfAu|PU}5E-3y8ts?$ ztQ* zTg6Eqj78%^11Xb_iXvZaY2Jpo3iZ?^GzQIQTUz9N3G(D(SqQMPDxr^!&csrF_Nyg7 z+t@`L{pnG9kBwxH4JddYrNTvpbRBLVY|yE%ERUlumWDjtqD7E+&?jf{poyes;Z5s` zs;r~yhVnQykuRa{q+(sL5p%&}Ipp)-zv9RA*rynjGA4l4(qbI~^}R ziPLFV>nmxQe!vkAV>`SH3GM~Gf4mMn;C)g}fmCCs56k4IgS{B%;MWQquDut!D64Z3O=4KiibeJx!*xe^#X2`m8n#&bN zdo&J(()MHo z?$HOZa=F_t_C|`sYqQD5pcQlfVikQ>Paj-cD?A?ai3m%FZk>|>?x%|mo|T6q2ME_f zJp8)epDAW8=~bjrnLPcHWMPv#7I&;@y6o74pE+}I`%+7}(E)UW^8Gh8qgQ@ZZjM)9 zwxX?Rj4xW$LN2o|Q!W>c(p9%JQty7KAwri5(f6EERXYLY01| z{=Vr+RuQ|b-KojblOn!XS;UJ99i@tf03_P#N*IO?F?XKyabizT0$^0dgQg;@upVS2Ie%G4 z7U3Ibmq=$*5Lb&0vH`u3=M?%qBTO8ns-udQ46h^tYj}@E|HePBU+f}<6Izf;j9nFj`PR+0iA*WmVVijl7Lol=B28QR zuELoj<5z5<9-|JE;c9(oI2s=>Q%dg%UXd{eWZbw|?Wp5EfAcj$MOFz#-cbKDM;&#V z0c~NGwJ3Y|C2djb_NDTX2W@*Fv6AjM{nmIYNfkH>eI-%vyjU#k$jb?JYc-eS)kHKp zoMxgMu>jnN1avw9mXv!T;nGM+FNV4S+Fv3MpOq^VB(tZ%vP~R3AP=?andeB~CYZm= zDNqssEQd9BLcqs^@Sd}2g~#hg*JU;p$gF;C!IgGRuo&xtG_M;{d(RX`N=KHMC;$QC zS4eK3iSvFU4+B%As|$VAy{BWFBKWp}u|of0;QuV1kHv-Vq-QxF6niHX>{5)2*V17_ z_@&{Gw5ExPEca7`rjyU2AVXjE}dVUMu$jZ5&*Ye0O5u^usqkyUJ$Gu93f! zm*XzQ!}fusQVn73bl^Su8mZN|izAe_!iR!EZSWl@6@!HfR;jKm zSBykDO^(4@Yguycp4fsmUEy83$rO9c;dL&kB(Ae@fa>j!wVZw(8C`6?aAE(EP}4RK z(=-B2&(CV_ZemnT(Ylk_NhZv=@K;@Xa}|oG^oVCC5!l^uS48%nKAoCUM(O=4iFwS| zK-;9T%_8W+5TSEi40Gk}+fkc^Pe!XFL@tlE@IKd_XyoDEzCq@&87Xg?WWlZ z^xj~Ipi_pUY~iZ9hYllbF*b}2#KvA|n1Rmoo+h{f7D3U+p%J0b!*#=7rm4@z&;kzY zu-!SbNVj2C`>$51TGG&M!|$)o-k*Ca4s%qAE^^_qfq~{6(@Z;eon#h?Tz?{6i*P0t z^SvqeJl@=n1kNjbKQUa6>YYR-?ANLD63W-rpjVb3-MKR|)?3&dd`2gCU z9=totvn?)iP-S_~3fYH0tLIykg{89emDY?CfmusEbt*@;Yv;=Sx`K1X>`jtiX&GCr zZJIB{dfx_wFD5-}^}zo${4}zlA+6xP-JaV|eX?=(dlt@p_4aCSvl+XRmWSiPE;D`! zD{Xo}H?+@@l3l$ncQ!x%KwZ&*b#!OwxIDNV7U9MD^`R3v2i|;`Y;YvIprz{`Bqf~B zT{l!@IhnHwfYuj=t89VVf^>8uhJQE_bKX+hBx~PJMzlrO526B9l4+aldbNE`#HStG zB;GyRd2#fpXnv=yu6-LdsENaZ^&sB9}Vk9a!*rFjuGIE z+4yB~&ZwlMcmT!9X*Q_Ex-MNhtDr9snsd6MT0`g*6oca6pP^BN$bTm5RQrVsMyj_bOSD%#{Ss#bt>W6V+j5+0drV`UZil)igjz} zY1O`!66z1y5!6!eFL&%ptUbRjI*WN+46RTgdyt&S8hNU@ZL@j*+BHt<9Rn76xitMS z5J3oG>zkpS`C0sgIXC<-OJJ>~<&W*of1Ln@>j}e^yo+>oo;6G9xze_C_;LB<;$|b2 zFYfrhiVCFD#SG~8h=AWiJuWxx=;R4ZaD$`zVbdDb?8ED2fn65A1uOipsuU$U? z$@Fa}1rYvSr`P9?Js0<-Z7})n>u<+attr>*R1FDtZ7JOkJg?4v@;VD6996ZErem^e zT4^J(JgxG%h%Y*}!B&#bQv)IVkP8sNFf4ZbS%Q<1YKe5nr_b0XPz6kJeQs7;u6bkVC~<|75ahG5*JYn6fjs$wvtAwmmMiz`Lk*LD2dl|t_Y zqyl3infXr2l{&cBIpch0&G3bEawPJh*wy9wKI|{5Dr;dML6_lS0d7u1Yhz#~1UnU> zlLA^URFZ90wbzWdtC|)MKNInTNQeIiryCVISmQCx2^xEani64wG_1>PB%@6eXX5Dp zC@<;g?3{Euxx`J)%j$?|VVjnlhm>VeyYShpVWF2VHF-Ci=wg5YD)Ff?8x=)(Ueapr z*ZFIXM)&sh4Gs;7&G*!g1?c@bhNRYQ>|g9C`dha>~x76T1VeoJHIgvj|R%JPAos9*H3m_Cv z07YPFnyLgE+5ez?ruE_$#BH=K2zDTJ4N14k$I%OfJx^*sN;}8C1fUN{)*B*$rJdB8 z9F3+sP+T6*Vpx7X+8@ zf_6a(*8`KgyRRoOFZdbB93wgCgr*hYdWr=K>GoFf6*i9f(4mw#4M1(^Fz$B-=40_| zhSX2?y%*ivpA|v)urj@82x0o<>_#zV5(iIci)Idf&zBzViE=@`DP1cMwIXkn+JECM zBRs1yAP?2hVwV^~lUhti6)bPwzN+ynRm5N}t!X|Zrr%gK&~J+{g&L)P6*``G02ne! zkvj%^JPuaj=9pE3Si;dL*9Y0ji|YgZr3G<-2Y+?sNR>b~{Qmba*$MN?L6YD)y-#VG zS2q-RY`9g2{qN*f#Lu|!x*sCYLdXPvfafwLR|gtsdTD)p~=!k?!a->Mn{nNB=x^#nW=i(_t0aw#+*1i&0g z^*eGLceyqaz68L&Wi)U*XDAIJDT0)K2&PqudLU36fCj<>R&|HIsl8FX^o@8OB!=YX zbDI;KPFupp<+}qjv&j`_&KO19FjNMHPzfl3Wa@s9F#!Fw`f-S#i+2MRHE1AXe(u8l z>&Vz+Q&8wkK;tM6_Cd1%1@;Vd;Ynlz%?K6uJ1aBOFeuB$zx^S+r|Ig3mD(P;>vbZO zLU3N3S%7_gcoG`O##PtIuL!}Vz1q45Y|L|VO0_OJIby@%EL6JMMM(biqZk4pBx`AEZzpo2&Q9LuVg?xgJ~Nts5W*RhDH#5dkK z(vG@CTttuo;?BZeP^g%$^1v>I=LssS-n9VdX=~Z~?xzoEg|_LoBKST*108r42}YH7 zCE+(?tF{(LK77^v0_<&_tl+hpLo6Zc zh4M@N%i+VY4)l8mcIw^0?g@C;;!AAL*u#q@z$Do6I3|I=B8zDEpR(IaB5ys2*?oeJ zjtoAj_XsS_5hyaMdtN8>QuL8vlY$S3X}_GmDyE+jw2m13xi1wklJ6Pm8;P4fjthOB zzACGieoxP8-Y^1aI}ul#yafX;t=GWa67yFL+>?^tf4&eCu6!iE-2A;uX09^+-kDeV ztwmG0r%h8i7^6jb(&VnhW}uEtD$R!ut*{|A3h^Ao_W|Ipu_&3#6h=wj8|{`m&O#CS znE_DDFpJahIN13CeXas=97rpe0R0FQ6#_hk0j*UmM2Vmv_c(K=_EQjDoDc{~fHNRb zM6VK*0}X;SiXI{P;{vyMqnP-5o5cU6_O3bpQiwMue>#%%p9TBV)U8%z{rcelNW#M~ zk7CgJurt*TF$cM4ys&Ai)MUPS^Ab?b72HiRdrgVjV|MIZrULz6UU?UkhZU@o^r)19uiE!85Pc^A^d7Q`eFQfd&<(_M`ETnNr96p(^!m&Z^WMb;h;gEkAcqO z5|I*ajr$UQZzzrXnq(&BD6eGS0uW0Yel}T4h5~xNj0heUhfVUn!HlNqoTkTI%aLFX z5HJL#HcQmJl7IQf1t_dHvGCa6z0E`1(AC_P_w)`KNm$c$2evP*2cSHdZN_q2x5dk{ z6f|Hfc62n}Gzu9r?~~d??Vtfe7YF|&4l@9JSTt8x$MNe8-d&B26bBgfdUL^<%BZAHL36~m8m>sIOqmEm3YuxVR?i*d0VbSm!DacSta&X zli?)H9YdW)cog)1DGt1;2*CD_hIsz* zfBsMHKJvW<%>rMd8IZ9*6lm<;*M1rhiEzMgrU%gJiv3&D)5X3E3VJ8dTmls^KLZQ< z(v6cj0)hWx+6vwAm$Uqj%RNtt3cub-4SH#)EfmaRaV|U6Wj&o7`Vla5KY#qKl>2^u zq`+Y1m9@5~8svqQb>T`-$O@ur^bQoC&sybtzTS0@w&=#e z`jR2}e`3kaH1NpW1WT@B8QLkAB&aI?F=`Sf)1GM!R=u`iH)6$lZTm zMi?-)|GJDih3QAHmF(h=%b7EBrUAKgaZApj2L=^u9Sy`lQ;Q>c;svD|q%1qDCSKAO z-Vh{hokMl$Ip@y0A|&h{t-3;~Iw%zN+yGwm^aD5Y{r`ReVsk6-O>O;Dht1QCgs1nO;-I4ud*dOYg0_H3C0Y6QJ3)a`ja%4XQ8Q-TD+*iaj+m!Tpj^}fP$txh^yEew!A z=jRPCk&Zaxe4nJcBZS=V`81yOTX=?IAhcQ6SO3$^*n+=?gxz#4)<~%^NDbI! z3I)~E&BMmt73y#WHgNUoLsV(UL(K#?D`p`+UFqpLZwU*Wd^OHJn=s`2LLWS&Kn+y* zQ*-jBuDlgFPDyCU_iuTZK|WkFd*^3+j5&Qn#JJpGg?ENCX%O_$G*MmzJb zAqZ=`dX)iKkKHDB8M|)pD!h?T25bsX5UYPMLMTE)o5;Z3!iX|;nEyAAed74ZuZ4-8 zmmEGXGQoOY7Pm_7d@wGmsUxYWb94D#^LGbuNkrDj@i_VciQlDXZW2FzyfY(jboh2XUDsl!^$gMw=Qd+yw^MDM!KX{DA$G-081 z?jl2)w$$w&zPR zB5{2`5R2gpfI%ywKn!i1Dn)Myax)gv+bVz-{RYoZ6#fC6eXe$2#;Y$D&TN(YPo&4? z5t=#{pa-r((;ur(E@a(fR<(svKmUs#nb+L^5k$^(#Xx_w=Idhh(8h$6KhVaG0rmCG0IG`z451~6`}o;otFw2lOYA-J<63NA?Y{l{<$|Z^J%O(5byrna4w83%yJk_> z`LXnW{9kgjfxV??dK6438ykrZXsBQ6y_p!u?5NGSZ{qA-e32l*O)_=oAGhajr#^8w zu3kMI{jhoJmh%$KX<^)jVt-;O)%>#$fWn2f)9DQYB8{Cfgl~zNHaYX)}TQ$yU>E-e^g*0VcH3 znzdlCkkDjrI{o!^h~{&W@y@KKL}0o*Hpad2u$cy?YpOq|5Op?@rq%JAe3@o^{I|91 zGgetnCtmW_UiM0rilGNOhy#GQ(_R$?BLdPmNj~N&#%t3<{<+uU!3k(TR#KbKqCgSF4uDDXz3=s zDFl<6!r#%NlNIPY__2FG7~4H{OH&~uu6S49S2;99|L3T0s!wOkEX zzPLDNxgb}C>-(y)QpJuP!b@aa+)GS#CAgW>NlN?qt=Si=?eZ_P#8s~rgVJUsv~GRB z*xU`D*Aq5dU-jI#9=YEoj4NXoa2w=~(X=}|yGEZ+4XH-T2=<7Ljr_U zAE4E9za`73cT(sLm1d-~^KHc8Y@{wH;WVVJ=%#i2f)_4%z0Vs$Z-RynTzOAOcu#nO z2(9Px2GIed*q0@*uc_&?T%?^wS0~9mPqLAiqLY8%AJgP-mz!R@9#odRYquZC^0uHM zT?h90fC9T5t+{a+G<(x@tA-j1fVk=$h?V8dyaKF$^U#pebhMHy`P=VvUc?U67r4^2 zSG;F{P?(D(|Kv{8^9|rCY-`73n>Z$y5S)p>0OR7|R$^9%^$EVk(a@htp8f5s8-|a_ z9n0(gYD$Ei!;eph={TsR_|*RedPlnhtbZr}x_GXFas-MjkdMfn-}w{2vm|oYDeT`l z6!8qfis&_1x5QrkXwKXyY||$M?;-Ztj&(@ZFw#x$+xRr0_Dl9t>~HR8muGyurGh-;N5+LYd98 z`OC-o7uzSomAEe&RJo7v_dLzMBxW8Y1!Lf1aqui7q5j$6_M)J__AUZ3`yTK-;t`jy zccYQN7TV zUHR)UvzTYNID>ye!TlM$YJW4IIgZu{;Mm@g%a3zQG7_<=Lt5M~RFU|2rSxNrH@{lh z((?ot^NB|ybTgnN{8u;D?K5KE5Fl*AFMA7l;N5!bP}+LxDkv?!^XV4D`~G)+{P=!^ zYr%Oxbp8j~GsP*RlU}<-6HLWhHtYA;Awh}d%9bfS)E>VRBX=~7HJUC7h_#b?Tu-G) zydG^4NZ7W4kd{&iYO|5$h_ejyT6spx50jl`Ln-K6puP?Hvw+;YI|37YG$ly5SVZ4Z ze&|cU{Nn=c&(zC`>Z%RAODUsI>VvcXqGU}t*oa$7PbW6CuqJyF8W}vXz`(c3=+o3d zPo(V4mT& z8{GX8c0At3#p2-#U|hNJwlby0kRZ+LXcL-4&Mjt!INONLHX=Y%0u>w^`_}4VBSP08 zVc^qpu<_J=6eXWMn>7s^api&jZz-jo2CnOZj+8fc&bht7Mn|3oBxe)Jg`X6D>g`fm z5LrhN-u8^Za>P|BEA%YG+}T5XuabZ2( znJ0+WZCj)zxv4Q2Ksu2bb2h1g3iSKr-KlZI!gB-^45$oe#6ArL;Urt{ZzDXvgI;dQ zcV+4GK$i^K_bUp1N{l!=2P|<(7v>M{9-FF2o;dm~Z^~oem{SUp`O(;UoXt=WIE;C#DMy8d@nZy3#E<)sTtrsFWnM+6+A#m*KWS!7yK9) zj*c!N#+M@=D>p7%JL#2#0hg{fgnzP%w#kF<9SJdMd{9e(M=~y08lN&%3+M$WxGQ>~ z^93Q@QP8tv?3H*^TPiwkVB7SdU6MokVsoL<%h+da$TN5Wq|5{7iy|;>==@veG=#Rv~?uz8lQ9M{<2EYd;oUI3= z5#Re}zNHJHy6}#*5uosE(DPG7>1THjYV2Sx@*|3s`oOUy1i;q7Auaa2wObA%tI)fa z@T#~^dLpXv5gz~un_*L!7$xQ~2>uUd%B%^dRauvdc4NY$(LiLyU;$Cs1kz2m#u6S^ z6kZ}Gv94fZ;K@n9?{ezo#UMarx~>c*DHX|TC*_KedKRkWd2#JWj$Gw(2L6 z+s{nInx|W6?Km3<#GAm#wL3#%aM$~qb`H4$FVKn2y&H$mV_`% zgysaf+hxWj5nwapp7~S}49NO>PlJOVBNbe~J{K1>`h^D*(6fRI6&Qo?R7*=Y*3QF;a(9d1k!hZDBhX(OTzBN$d&phVk1qJ-pr%HD=fnUoB%txi^_6GN9Gzg&8!mO#|=p-;@8c>>lQXS!K3EnI1)1}o35XU6J+;7^TZmS-WYmc5xyq&e5Am@XYKi|UtplK$${B# z%p*58aJAZmponV`Rs z#tAME8+3M4;3!Wpv88C(wY#>qcKAzyj|+hkuN(u1u=A0DBJh{cH?&2?fAyDqs8!RT zk3W%GNrXD^IX!ks`NlYGl_0zZ_nHyc2wHe~xB>YJUV{I0Nqik7N`5#8A1&sE+FoEx z3pdT_ueTVeJvdm?eckfFLBylMZ+#{R<;wxN^Z?O*W6ogycQ?tG68=sjxt^kN+NxmQ zHiR2-zi!U1vUe044+zOpJ)6e3{$VIF&8$ccgYQdpKyZ|Vk7?rBy1(rbS)!g~&;b?Rs zw&{{e5J&bwG>MOk%fbYv%=Y`>`-)&CNbCTnR0>Ym$YD6!pftTyP$>hQ6z3B}-f*9I zdHrsxt;Cww2cb$^{c17cS&3l)nQ|xfp^HF_$aX{l$cVTAb$FiuO}2n}t`o%3z``}u zP64D&S2s*Pt5uJ$Pzz!W%mA+U@4HWPbG+u30}vO%55U2}CQmb#UrxMN^ld%s%tB)3 zI3JeigMPXHO!IQFrd>D=#Ku&~$1MDKuAF}bxi{H!v#x1yh4g(oWvoY4-8gdl>f|E@ zaC%2C#Bm|U=v42SBf#Vl)qlI5s5DM)*tu&Z>P_Q8vr|Jh3W{5?c}gfTh>4xjowXTx zulFa5wytXYwp13BvX&`0o*+{-)CLRafKGifH9|N}$nL%+p?*AkUc%i!+?iyVC*~K+ zJ6LWMlZh?cv<2fUlL0<1YXtfue$%cfN$6>91bB>?x1NfQbAMjiK!EFh2~c{g9jVEq zy*&?o@sz&qSLNpRl<>{w6{g<90xxzuA3)sV_Q!R7ciUXY>$ zHdSUC%SP`m2$_@bF7O=`-}h6iqhhEq-gOG-i9u2X&ef9nFaHN7a8yDV;Maaz)vE(@ zi4jye6H9Qe68&Mp_!&hZ96NBm6!+&aA$_vbflsF%fIxXdr)o9t#(`F~W0)mqi(I;vU~+_YXn?f~d`J!arNV~PJF#obV9fAcyB zi1XwAp-T@Y6qKZa!$@Oo0AiwWbbPJrV~O_%!@@~Z$pSkvKRM7Uo;O%%e|>li8Ley} zxx}*QII=(mI@;5f^~CN z1c44v>68t-YS)i{`Ku@iwMX%T)5(Qkgb0GR4JzTdi|5ZrH3bjjSB2UF{FvTn;2F3z z!ZWlQn!u}`04nT(vCh*C02_<%YwAwd+@-!E0QM1DOg-Knl|V4RedFO1|MX3vjXAw8 zudCK7eYgO)%O3=PFAp6j@9Na!Ia1=apI!)wk6c^e|GQ2P*y0*NLCy;uzeqzE9$EI6 zIo;cpL$d@AZ0|WST}9HJ@&a0kvVw{g$$g8aFgs?zpbB>giny$)SLE{|;<(?JLhZ=! zJ+-B3;-AE<|Io6Y>InZ$$tpA>xS(XU)5bo5@8*RAe*}%v>ANEy1@%m0b@@NbS%13r z?Zz024;ads&&|@`+kaEDtEMLORfTQc(aqNGq+PhE9(EF(bVROK&IEgA>xLFQ0k`AV(Y#pHv>F z`z8y2I+-^ts9Hi%7&CV zSPH#EqZ4=D@Lv*#0`Z%6@Iq}SIPo=vlDj;2NQfYTJhWs$$kZ(ObJGc`40pX~2tN?v z0)ev60Vq+|?RT)1pzs%ozUcjP>!*)owJcl_l_RiQ)vtaIbTn;;hjFUfe}AnaZs6R>{~DnArkGjy27=rkD$qE;}?(f{iceSUH?h@891i|mP; zGSkRY#M!;crG;@CJi_EnLP7vcSP5?m!atrhx(3=eEKrQz zSzST@VIN}ukRl##4LF@fIIaL^fm?fkQn?O7dB!t3KrG=P z3Zaxn={oGrhzNWAlb&+W)vk|JcO|eLZ=E+bsz_k$6hxk-N&s4Gw=CvOu8fKaA-RYI!nqJvirDg;)vFosS{; z5AA{D8U$@rl*1npkz`(bK+J$GkTViorJg@YM13HioQPZaJxW5S)v|tAKtto$w?wbQ z?>Sds<4V*k!TCn?JhTX6_CLzabHb`lKn{eMvt!q)EdQFU2ZA4cM<$hwNLY_ncx<@M zx9+1^!0&S8e(-x8HnSBZfm|sz8V}mU!Z?L@y&(@y(OU$zG(88>Q8=}tDAzXv|)0e+X8;3xx{|F@)RtpWlUBe4Oc;p%8kT$HQ@drsZ!t3;;Z1-228 zb9V{bqYP_@YUbaF#L_T-U91^Qty9bAm_BHKTi~QJcTFEC3!avE!_9#A#1Mt{5|dpe z9iwr+1}2X9?IXqDbJj9vknlUKC1~803=Zi^h{~Pg4 zR^Y)n4LIHKnFS{0ss5Fsi_Re%y>ac@N$~qPCG@*w*=PIO4^~6#ftCPDQWfEX>hNo2 zQC$L1*vuHtR>m)n%uGA5Wy8w%VuTa4T*5tEyF+tT&`#T&P;KS6m1;88wXz7;y#`drkbsxtrMAQ_n{mAh(U&ibmBm%2K({uGtVY+EgBlw@v^qD>vf4|?> z>$U#F)tSSbXU=(^@Av(AKhxsccaQV+tyq3mxowqz%++PXUNwhaEBI`KwOwNVOx=fU zX8@}FMCLfx8(}|WEo{FwE;s{zs7HupLPT(a<7xo8g0kt1(DuBbDy|u6CkgLRi800X zvwvQ|-1sOq+xC~3O^n9i)mX`P%+2m^#f{^KP{-!*d7X)=^l#FC^KoV3;+^(APWd@7 z<>Jt$QEH^kFIPL>K{}Hdbwutgv4SKx(&weN-mf-(hn67=7oRfZv+~=(VnMGm0@8u7rq%I^rmK2EgJItJ?`3qq`cVn#173M9`}A{k>Do zA4dhSAgNo&DamV-NMTnCsxHKgh43X!uRp7w$@XEYJ=hpzPW`lJ`}u!yy8q+OHW@nG zm#w3-FRee?sDPVNV4{=>ycnIAuZ46hQQHvr@YPqXrGCjR7 zZcEMUWUudPFdT?*AH+mh;_ha-eFzbsPm_JCgB36b2@I?bDTZT4XTO^U1?;#BpCqVK z=<1R?SzvV6;+9R@--+@52ZI$_plXb=0*}`N6XWYohqiV`gRW^u{CGS1)_`>tZ9xLd z=aIHXKW;bNASts_oCUlM!$SZr(EbfIV%5|IpW&am&qmwi(Vq`781D4+S6XI28l*Wr z`qrmD$|u(dh*2#?whIu<%E+WCfHRJ3Hm*OHlp41ONCbRjd-SVPUd_l)@_V3c0BwMQ z)c%&p@dc!@Diqa&7B1h5Uvuti*|OG3eUPs39jofVAUn>*{SL@}U~;9ONyRVVCrKNm zEVMq3yq1wR+FcXS@*}CitkJ%{A2N&s^cI!R7co)c-aF!o4JY5q$}9OuA9EzyFlF)z zX~!>wmuIJ25rf9UVKY;mT#~YBQ~iOZbdAURED9DS7iK!?-<@}xW!SEQTsRBnu}<1R zPuxelpIc=IJEvQ5+`G!QbP?P5!B1`D{fx1UIe@YF6Rt*V+a_n_7hnq$xKE%DBa|mi zJHa#{Q&XNUNm$vIwBlOGb;t3qp45Avi97yH$|n51*=gOYLaN$BWK*Ol1B#d67Ok=iiYcRMO`2UT(P&Xjgi!w(Sxp)0E{13 zqfwCy6G}`p2;HP=3OWzs=qa_z(zG2h^>S-;qFzdJUV4)#>2Z#jjIm?7 zemt4}m4Ze2N!m4XmY(+s&+nr@_gWcAVW*vN^w2K_-H=i?y_MVs6Oz?gtSxG*WMxlg z)o;~?s2mzY6i7==C&iSaNveJQ*825lm`@GI>FM_USo?;q(gT-z7VcATJJz4#PzjFJ ze8WF!A8p`qU#OEAVBJv;MI5-d5>pUaH|@iU<9Q;vh#3RJ^=<;%!=sp71pD9b7;1O4^Z;rxn;*Ey=B-%G)i`YYSHpOD5L{^HhuI zsn0|m+nHuLYl#;%`!FByZPb?RJlwEubzyL$m^N`!8k)$Xi}P^o6MkijF#fOM559bC zX2sgwgD*25LF0#PYo&PZ&J>S16bWD^5$s0Fa&mBO-+=>ktwSV z>m&TtbqQCmo#IFQiF<-F)aW99&+aE(dfIAAxTE}j34FAxcAR}HxtJ6uX!3W#CTxG1Ndu}x3Fs@UzcRUL@1ATxUobM?L zpwzNK08nJry2JxWO~$NVeQ&WfhV+Lq6-Az2EZPePOD>1YyNXJ(9`CXGqpc-!7BMNS zAmG>^E;b^IB84_w%k>x<;tVAe;U9$z;?h{w9WSz;_m{XTMZ8HF6r?go8!Tr*s?IId zB08j?V)fG{C7DT=b9xr0^!tb2P%iH3a-CpZ$Tgn#gGAn6UD%!vgO@re;T>P)V$t|t zcIAWUr(NZI4NoP%bcMN1={`4s0AzDl)5)hn@MsCG15K6i{dER3T0&{$`9xryae=`6 z)KGDB`oDMJk-HjsKi$A1cQx{Ux`9XTYUKTkfhRj1S!|7BEMYu&kM5=>+EQ5uafD#T z+fG!k5cuPJwLJ#$)!HB);;oSp#KFQ`$afXS6X|4;q7rqQfN$o}KCCrC7h*>BHn5-o z%FZCg#T-P~uy*c6u}Mv|Cr+GB3+Y;e;%g`91plK)7rXHB1ePtjL%Ir(rZAfDUE>1s zTD)m@4amE_HnYM_{|}7pp?`t>*cl3PQ-y{t`Zp1Yr1dfJ6k8h9tSb8_>SgLoP^^d+ zb2R~rS6GLGUFtB^D?&*_WJd+rHO0`oz~%Ss|J`~@?oxaDQ&~^f-lg{RKh1g?Tnd|c zODw^uMRK-rkv0*7us)nE(Z$HG$S2J5NKdIARbm>Y@>o47bE0;?Cn#(>_X!KaSq8f0 zo?6CrY9lPww?5V-KvasS9^B&p!2Ag zJs2cHJI<}bDZ#dVfx(<0n=4dt8$^!n4Af?K;7z?bB6H^tStuzh=O&OIzgIfJM6^#+ zSs!7!%K_}v8`Qw7AWj`GJ2DBnlRBF6;NXL11M2J&Aq8bJqxWSkvjzueyXUX@XO&g8vUoymr#$B z)Dep+3C(by_PIQXlv)D!aA}OZV_0&e)terfgg+y8HEX%2SSf=*ZvQfsYi2~EYYvSU z-buVP<^h~C!)mSKdRss>b$zuusuV#c#o47jwn6dg`zXBkX?S3wN8J^UKVn=5f5a@ii-K;w`{aM9to4G#xRnklmXO`THX^>s!D*?bLMFhNf32S^_oFd9^fc zQLS~?72KQM{|#e@*|M8I>t@kk?X?X_e)$Xk}?2EfPR%JK(ka9-7d7Kso|a z&$Fr><}oa{$Un;j1-Zd}vl9vB-aLu%jN06SYdFijAd)8@yLN5)rW%ya56Zx;Xho31 zNz*rk+!$3LzaCan_Frve7(@oq@#5ELDUKZ$9+3839-E0!X~}m2u7TCG)oR*>?mEHn zq=>OYZMhhno8hoY6^C_{nzxG_9YQC1JRaAj(uCKbUROCmx zA%G6gqTJ2GxXn(=Q)&8VC~Oq4JJz){v{NodIn#}|bXsYEtRqE!wp?C6qr|q8uc6&V zS-JE#Xmz6C%DN9S$<>+3)3Pslx>6@*lw8!hstm>2C{3GA;rd-UEAOe}E?mfPb*S@p zc-ziq*gv)=V>5%VQQeCGtX{HZlaV&krn;-K$wF0odl4p$u2P}u7_jC7QNt$81LawNf;aJ0ImLa>wA1N(3V3nY z+T@LCC6)fgy))dXh@B}Qmm&mH@{S%IzoH*R&2&n@m;mZs-n%*~BKhP7fn$kb_OP%` zMb2E|)!S5)DEZ1-0mjo7FRZD1gUOMyHHQ9ZNnaXcEs)rcssXfF(*|&qJ7|<*M{LP| zX>a6&a(l&{mS{vHxD1V>LV*UMA@bT~kCzp(y3jssDnM;S0Bk%%rbOJ|CXhoR1*(S! zVbb+7ftT{42c;r+vQ!WVAUMos%HIm3RO(dYD3v2x)fXp*0F=3?%r?iM?M2R8ccRO( zivqZE1m-@}n_+1v6FR?^7$H@g18s!CG*!@d1ebx56+Jw4_|DIRindfO+a8#x#!XD< z#3kxf87T|L)(ouwLr_$bBVT=GLUX5wv1f_AXq-Gg_7WtN)|K&<+o#ySjkMu$T1QXl z2~Fxtp5?>^@IrNm5yRP_M*I!wUNM!Dy}h9kAvj+ulQPmy0*+CnH=?9}OD{NA7kvG_ z4B1ldu;?D+mF68B^HK>CV51)66XQcahiSHRM`64+EThZj8EX61wQXy zG9Swox%UM&9Lp~pReYwR_?(~XqR=~{$h5d|u81`H9Ank43xX1BRPo5n5H#$IC{KYa zL1|d=r6Bn!)SsnbzrBR~$K_rb3gh-|ZOLw!=kJL&`GlrAQKNKK{*aO}#gOsGI=gCi z*<~rKQ6{2cgggh^P7~F10}D+>t?b&m!gc~wEkBa$WMs|XlffmK3KR&?Da+-zo8u<- zSl^8@6!z>`>Yo)4vr*qF#vV)HbEFa7J;4bN{CR1MLfyYxcmzS_O0nD2y|+?hh}K)g zipjY&Tp}BEO0G2pzY8^55vlSSgpVQw{JoOC=Yn%7Cjpnx?V7=n+2!F(T~2Db#`bh- zkRf=q%oQe^3!$1w9-JA{{9b|4YZxV@Y3J$5iLghvEBsPUy+DOKp{-LpD=Sx*u0MKV zc}r4o^Fu`F3m2@~MkBNEhw6}%Tk+A_Mr_tFW}7lV;KgtOT`X zq0pJam?HC+q3O}zTpQ#M*ps#DP${v>n81{`Gm~us9)iMy34!IRZ||Px>5qd_^Ac0(T~dRMkXG&aEbmG=;`J-Gz8>Ri%Mv*DVSAz!;R+k<&O0OF^U^DXoH32R zh?E9)3Ve{@lzOg@^%$}ab3cEm4u_Sa#XsjvVXZe z90>xxO=QP+Z~x}YJ=QPOy)RYdSZEADp)KHDSOp6D{sBr>-Uh;pDy?x9JX?CZib>^h zHhI0Kzxr$Ac7$gbYb~*uM5dI~-iqS7oNWU832~9B-$`gVuL)pp=I>8Xp2$VHxg2rV zR6L(f-j?C2!fRqBI^oupa?HX`nQYnEdx^F0Vr=wkQdxPL2I@wLe&A<9^I*T2TQcm! zNSfFUA?XkG_GQRPSBPFqpk%*i_PdX1TQ)@N6UL^eH#8|jZ(L&FQgY{#-4(ZxmD`Dx zSh#cwQtEY&ou#44_*-I_t)2@=u!SU+g|y)i7nCP#1z-*AXnfyub)2x-u$jaJDNh&J3x>L!f)rK>!oM9h_J;~J0 z&)c7f`W@GNnl@iFk4!8FCH#fjF|VQx`=6W$qV5L=(6NH}8cbn2eQ26Prr#UkKnMC= zRC2WG_w^7f1bACp<^v{^x6($XtR+xk>n;!}=0yQ$9hQ$lP~PRgtA#rB-XrEPkqHEN zQvu7_G-5Bc@qUQ|+wd&Ia){wCiQIE|$e?+_XNmV?Pk))HlD^Q0?fB^OQa&a%R9e$icEx~@Zc~|mYnbK&18!^-l^Joz1 zk0G5x?)ML$m(~MnQBHd8H8KzOYk_&I#7em~)()xo{lfm&#U|9Ktr7C+nQ|A(H5rIP z$*)16<}7ZDno@ghC@-6t_+uycF3&CbS^Y9UJh$X$^~?P5+&=mvewp~)mE-FS%GA{p zNnK%WZ1=iuOqUclbSb$~M=K>cUAP<0eDHjN+rQ+3GsJR$SYRtY%(!bs5Q+FX{^n;t zp0zRg7gz|DMgKUPQnb8idC;sG`?u7?rgO^!bGrrxyPY1?bkr8tWXaFd3yKG>p$boI z&LEEOJWRA}aMKom2XW>Ae^sI6U<=L4Dz~Zb^JZMw{&{r5Ah=Sf_%McBsZMoR2nb$_6_&0E$uQrTu_DW2co4AufHcLsvQn94&868WOwo6f9Ru z{l?~@4@j4Dop4Pwc@({S9z;VZYoc<_bn+HE- zo4pm?nOtjuqD3omjuw4sC=xpM7#xTM7pWZkg~BInI=aKGN1GFz5nklGQXDw1Js7i- z0f~+2%aB9mHO0O|=udXJ+I3POuSPpQf@{u1H=MEz?jcl$dxDhB#$F}CP^kQBXisoq z7TE=jdhph+=XI81FNz+!(FEI$xwfd*ia6^(q#VT{0Smcbnm#+dY=5|QZ>W5nRy+I9 zSU+jRo@40~)=f?e&+G{TvC$Lwz(Le4XzPkhe_Nk+b|>YNf^%`2{e#aFhoekp5}$4*;uMOu$_dc|lm zTUD8tRcXsKuatsl>hm(ybRDmGcW{j^YQ61Pe~LpTTn=8k$FR`@+JT7o8m!rdq;OW) zQ)D=bSy#l&{hOEREYv_V`n=VoVbaN>n_v2v-NgoV3lU7`KiP=NqS$p9=xHw1ra`rp z@=I<4m<2%{XO0+bz#Qa)>QHNBY*FGeezC;-hPv+$l47xq85s!k-cH zU*oy?+%4iaJ^>4+!1us>6^dci3O6UM!NK5Ai>N>0*oR}nQc%tFbk#F4c;M& zxT$Q}o&QP2EB7trS7GOQv26`~SasFj7W|@CnW%WM5pT4CstWU5v)w+L`3*h(>cV*H zbV-6uCVy(|=VBa#&xonsioSq>*M!G_)PKY8q2$gwMJaNM?1W~!@}Uif3ii+QcHFms zuYNpR6=NGu|I~xqedq_xgIeDat^=w8pvZI3TH{RmM3KI}^n-kAwx6(^b diff --git a/kzg_prover/prints/univariate-grand-sum-layout.png b/kzg_prover/prints/univariate-grand-sum-layout.png index 12497cb9271a48b1c4c8bc1343c3053fac7f0073..f6e10ab9f0d9dc24cccab1a0c57d7451568e926d 100644 GIT binary patch delta 9982 zcmcI}d010t+BaBjTG6J~R#cWuKilE$SWF$OAWJfi(=si^%+zUV1rn{}Fp3%wFo7(` zWt3V*Gs@Uh5z-D-YAK`^F>J|^vP5NxiV)dyfUt*f60)A;Ebnu4I@>k#ecyGx-^U*z z=h@Ev+{^F&-FFDZ&zo&q{34;TzU8m0n^{yGxxzAju7dw<-$#KzOtt3MjXhc$@Wa%# zAJ*RdVd{sq|9s5m|C@8LXO*2RvWHou`xO|E73kk%A9?;~)nDYi82IAw*VHq8he9LB z*x$BiUGf@~kw(i|Dw-ZD-F_off2wG`Z58C-Lr+HC{?y{SMFsR7(uQN;!5qCPnGktv z1X#C7T*%|A6UgpYl@>L5pVjE^%8n}+_|J1?1sd;|D}PL|yDk-SDaqj>QK?z*U1}BV zON4B5u?C`_P2En>j_B7ZGx)!4ANN(jP6n!Tgc=NL{5}gdr^uh3kKPt{lTG3*U3ZH7 z?Hgl7FMhiU`c8mjTxq!m|MULaunD|X)z}jvpUvNBL##$Q#xu<<No%kufYC!h*?VQ{SIRYz$~G%e^tSIV`Ml$B&iE)&;JDJh3r5YThAPDUrtW z737edNG6>MY8dS*8H$&GEb<;|dr&@zWx!6oaVXO#B%%4Y24X`{Z1l7+b?72~w$YNM}-`&*~tFwgQ!ya<6EmA-g zsoa}Uk*6e`@-j&|L}dz5TMyrSxwqnrKmUg_vp&=L2Ox+%rGRres9^2|mcLg>?KoFE zE76&Qj|efJ3cqg1gEQ2z*jR*#41s;+oI7LTB2+TG7 zC%rlpZ*4$hjJYl=GVTh;zDhX)c^k@!4j%5#k1yrO@F8R}Y1^g25jo-rg9D_zb|W=b zF6;6WLrC2CzbKxMzszdegSeBp#P#yQyyny8v_72m7M?wTvWa;93o5VGl^-Ybc^hCu z@uldxX5~@sQ!5ux539fV)#AV>0~RI|e!K|(&B}M>P6lL+kdH+jY@A;GNMgCgNR1{y zQ$}bsL2hmoUs6dAi|hT~O_0RW?kng?t;h_So`mEPn$mzcVTK zX?mW!>596mm;&)Uhol6n&t&m~|o4`?`Q{dk) z=Q+x9ZxY(t)J`)O4?)Nzu1s9p-@hZX4`So9sOGBd`*Q8%Mq{aTtc>L>LFP9EccFnd z8S;k%jZGo&eGsogsXvNv4m6rA+%D1GL#ZwSgh<-Qhnr?Txu^EzuHSQtR7Ne$j{!Xb&^Sp#l1Jo}Hw z%%#QT7m**V3?1nW!yBb!sOT7wG%E65v zPK4-)A`rM_tBN?TCO%=2)m*aR-8&(=>9x?U1RVih*Iw3x;uC^(ie4DYfDZaCI_q-H zjTI`#Uc{XMQ<^vh5BtU=?^8lf7C|D~kz(C^fply@5DjbMb`V`cayi9|@ zHw8puBI5@*2WnEY`$BYmYblq2W4FLF2}i*>pDHD-`bI1TZc|aW%{sC|{=9gsOqf@f zEM4M}v{iaiMa@@FcW$-5uu5@uO!onXm+{3;6pIycl+6;Fv0I?w@3^;e#?`9f0(_(Xmaob8N>` z!zM|WV?o^fuQdTt$f3yBmYCy3B@7O^Mt9Lqw5mAdQqx%QdGR(ye#de7^dx0VGfi~A z-@Z|KxpPm^2ZHrQY;_QH8OSHH=0@-?4L-@A-xD4pxGjuF{yYhnALa+BA8y5FTrmJB;KKfUu66dZ;Bi`$HJ^cI)A$;>PEcLx(N#=~bJv zfHX%n`2)t$0~ifb!)F!si)sP39No1Nt+T}0>@0iFAj&44cFj<};X=l?RLRg=!<8m? zjW|W_3Z@o5GHp@f?$uCe*f$*S8iZ^)Wqky7S6Ti_)ZZl#`$cksN#4?Mvp({Bph-0} zqnBI!I!7>n`aQw1_Hgp!Vn8UUoQpdu$8V&dBY`VIHk7I=t&40)2=+?h>AtyE0wyXV zxHH$7`8dK2`(S^Ec-tn!eM8Kgrlux9Hyz8}a}8QQpsl4ekZUX<-o1t4Z~wQi#d$ZBVY8%V{{r>DP|hpixW^)fHYHW|9&+o_ zN>%dSKm?2AI*gFL#Uq8IB&U@5UKZ7a5O+Pq;!WQ^{LCJ}gj$kdvI2^scMVi}0&e!Y z7kICrIP~Y%w*8(_5+QqvSgwbRESSL^^Kq#nedVXk(tFgniaVl#%xu~~NBdt0-{|OZ#8;*jk2A!=Mc9cR52H2a(`KI?iAOsM`dp!F0!SjCYOh)5_`QH-%4zU4Dh-9reOO&{@NPcuTTH6oe5FPQLIzqX@2e)YeRw`fZaa20{p+0HqX zcb%+P<7W}96UJ#suBxDuYFpMh=dFaHL-y}YbP|8U;u{W6pOvca=D|1 z4s~+zq3s!wHP6q9CN7$z2E`M>a<|8jD)}fQ!vtd;h+*L1zr%ntL1I z*&v%#3(5D@_UjP{z>E0^*jETiAzz1`N6dP( zVD?7cEC6^@rul-v+lN4xlVzuNBu1WSfBRGwYMScgV}M5!!4S!W{6-4zw``N&O3)HX zn$%{Zs?I&OG^!K>9!x~Z3X@}H6JDAJ_wERHea0Y~k$CG~UR`#t=%$$(nWjmhwywro z%ai{oDt!2~Y4*IzH#Pv-L5k8qgh8#H8!M1L7(jB`H~!#gw^JJXD|romBQ(yVG2ZLE zU{=k4h-L%cWSR)$PrkydH!tVkFH60=B=>T0eJ^tauVSB{8rA4Raig1dbrax-$Pfqwq&_o@u*(4B{U9gD3vpRbn{Vz zLyn1bXM$%2`-XPwHT6}8;Iguw=yxFf8DZArui%?K0Cp!r^C_@>Qbn9#J@gC(%eq9w zJr+L1Bkn7e&*6z}S@qW?nZAxJ{%Zrx`IkB+{3BVH)>*?Zak4KlqGNWPZqAwYt}xto ze;c0eC~ZHvYp@|l43@uj(h@j`X7E)-ISf@ER6S7=$s5tQgbR) zxt<}(NC`rme*0GWc}?|IrGMKyNe|Tt5Ya2N#Ms%_i#?4yAFp<- z0aJmr=Hr-e0V>rLbT`)po=J$GrXrZ>zyYf0Fi2WwV|B42!0QQ42!EBSjb(!le zMQtAv-!!16AQYby{^sq>4~;#vxfeKPM%AoWnUfX|HW;p=4die2)xWNrfqObNss2LP zMF;BYXIxP056^g1S@qGJnS~4=%Ul3W6c+8u30^Y!;xUG}POl3|CW5NB~@+NVt3 z8qP7${0dzxIDY3n>NyHiWfv{8uMUFNoMPN<*M>e`3*}Y+N}ied|Mny8iN(hQ22x!= z$6E!N|N7FRExBPq)K6f%U6cjdjZXuC|1QL@Rs?PVSN_q{f&aLDDJ`=%2!0iGCZBuU z_**gjMs`k4OLk05%xGR{SeRXPrRGNJI-rj5cNZSLhCkoW3mPP{1of*fU&qum^9Hy`XJ8(@C}o8RaSWZ42WrhH3+>_I|2KEkBjLdp$O zewg}_=X+`ROzfQZD~0c?0xmv+kXD5BK$J)2d`s0*^lN(W<@-CCO8+`_KA4J`J)Wui3cBoykup_pzhD$lPEWLfmWCgXf)?}&S zTWaK!B6)dD8zBcxMC(?rbL)X8U{?z4szQBL7FWKO58-+U&uDDRXtamG_GHKfB@aAF z4l~K&FvK2)j7FM9k8{1p(Ynd-b^bb)zfJ^sL{Nn$zk&szZ+tV+CdAw5i)!_fMt!kv zx|r+{5Iq85Y^gH=a;E6UQ{;CUvb!ZB6Gp!kCN1zYIIXt^pi_={l_5YkQ=yw_2R>l5 zxb)8fiC`d38xSW1awS7G2a49CtD*WC>X~D~Gqkb~YF)jZok_#xkgq)P6(P|plyz=2 zN=GB)qXRH8KzS9E7u+#L`7R&S@Q#ZaRagrTZ_z-04P|Fhc8%PkS$8=TE{_|31#u=J zub){1`i>k|fqbgq%3j|&Hg-dm$w-EMz84*8?QY0#vKF^;9 zib+@ls)XSD-t9`EIt=&{1Hd3}0W!SQGz`2?yPu*Rp~lGf zMdgu&``%L3RhVI7(L%VjcJ&-4x+0Md;83Kv5=BA~w%Mzd& zJk+lBnEW7yD}&j5sX0n+eiYGtDx!~uoi4D9_BxZ;e437M_uT@HGeJI<;L}YivuN9* zKN5d&Wp94FM%qpX9C68jU81k{1WmmT95|o_q4MT08t;W@m)ZUh5jO&a?(gmGr6c+m zEg{-_A%Q&c_seTlFAYykJymNy6I;7qC`2=K6B*DN98DBo665B%Zeu7FZ+OT+?T zTQz*`n*Ef@d&pqQmPam;@P(}0fAX>}0#I)MJT73`79ooN1LKq?0Fo@1V zmGjF8SzEfaEgf>FC$!M`85SBU^#Yd`$&4a85LoPov_G-Hu#ExP6!6ZU%#)_T;NQwAWPkEfE8s&KRb{+yt=HKFx!Cv|)16qKZ2MYm2U-p-}9zJBx#d zX_SC~TNg0Aw3|MPdmZZ6#iET45P2_fMwW9%!b~G!M|jwudDy?5sznafJ@zo*>XDa$ z>qTl1xxcBYsV;lcG+knv=21?bK1k?2d8jy(+ z1S>&3a@0eo5pWZf4##?c50H3nu&%PQlD=ArDP+2Ybn>X2P`y5GVm%OwYyV6icQSa4 zO&(L)Z3{y7hrAVcQ{deLerqfWSom;4aN8a48O$bJMn}L6kd;a;YPfWAa<;G9fk`Ej zV#Y%R5mdgP-gRk2-u&922$4k%`q?0UiL{C0clu)0jr!vOB6B1g)|D_7QT_|w9_cBc*Lw3~9 zU_bIIadLa<{BywUSwh>BEYFid8~ud`f_^JxW3Y1O$AV$&fT>#JISAb0W?Dl7>I44p zc~Jy3OqkSfN*@9;^I8(l*!)4|m3P8-LN)s?0Kyjr8Cd6oXWWIs23BYzTA}R^iFaR1 zzo9v*2EWf1{}h@c5URhV#ERj~avMV>MPyvxBxL$2H2VbCcG9dD%$^L9<812C#w1x~ zsyjmg;XJ@eWX%nYgcw1#npWw@WVpcgJ#yczp^7}8DK|h zAsi+~Ks07>NVC8lq#KSP=h?z|h-@?K)kA%O{JBq4j>N9xOK1A3kBR(UXeu4&Z3c3- zSnDlBJ0=IwS3E{BF zWKV(5GsHj|fxj5W=<|5>9uo{Zx{`f>B;Et0_D{M=KWWr)AgkgRKtmAX?JThVyzwn$LllI^z~?rPFFP@@b`R^8RIAuTpaNxNbTP zakZOBD@!)>e6sSnb%86PES<0qWx5x%~1s1Ijl=ArpYSo3z@FvG0z%R@WX* zPp?Lgs_TD{g&(YTmt zJER$05a*ihW2j$BnZT2actH&k1WhYV<1YxVt=%K6!!L^R%QHlW<)dtBzCunIxeidIm4kYu zcINAfs-hZnCA9G={#PMqSQHIM3gQ~eZwKX;0mD?>ni`i~=zO#Jb*%+Bn1&!xXb#lN z?SMa=)+^xdb~w&v0-OZ4fkRJ#T_G~+CrsIYd1AFSi=-w{$0-O<>zRerrk&nW01P4= z)MLK7Y_;81AiCVKFHN!gmk^u!oH3L=eV_LH1?^c2ALA}94ciNLPhHp$6~^t_qozL7 z2MBOL_r8>%#2*1mHjtP~@l>hG2zBg!=KTsLd6eZn3qZj@)~PHRvJ(uh_+Bo(E%clB z)t;#Ycw!A}vn6J@64Vt(QLK!cuLpc&Nx3T4vziHslka@<{11S+{3q-ODcT2#vKEVO zj!8_bbG0CTw-BE&C&oM@m<2)vhp_XWfDHWYBXbIvg5QFsX zQ>&{T&44xOR|L&@e#f>yr^aq2$j8;hj#IVcW4DLKzgs)L0q|;SWUc`*$HLkBA?tdh zfcg+507*rUz$Euuq^-$0mm5d7hR=iieMbP8+g~h4xcU9vkIee;BYPUC_C2%KtUkZC zzk=woY9I?rm}t2Lu43(q*Oq@b}gm M+kR2?^PR{38&#Fvwg3PC delta 14284 zcmb_@dt4J|`Y&iJwN~@9oJuR2tUv4Wb6reZt5~_rw(c%#T}fNE(#j=mU8RZ=k!k`- zX0WcZuGMTyOR7lHF00g1h)NL=k^xboBBY8Kxn)8E1PCGb>)g&e=(=ue&pCe_KPJQ> z^S;mfT))rv8CxB%lCszSzIa;k<+Dq={*d@>RZR%{<1H@Tsn6?vJ1x_TmOkISDlKzQ z_uF*Yx^o@i(w=Vmb<<1hnxoYt#iYwFS$OZaIqSk}^R_PvN1mv;I1ZL6gwGAHP9cO> zOU=bjQJ#ecQwg(;gt_k8Cc zp#e7%ND%~=_Izf^Zpc8qa>_U$RG9g$D%2Ar@E+teX3g%mr@><~%oz(I1q))bzTp!= zNK#o(e7@rva(s9<+075_7h(lRqqaY^LNNFRKV%k4+Iej4p@_g0CEY44Z0B7o&3K@I zDa9Xyofg_rZg8cZTS6B;EFDtM$A_VUsyO2A@a_)Opdzm$N=<9J#03(?!PFDPXfuJ%-vP3c+(iewc=Fyi0 zh1W}RE#dI6oC++&TqQvL;SXsn@1Y}oTZK@vUtC}u;Np0&z_GRlDTzb6{~qAw>lbDt z!6<6<(t-5}l@ZWTD6YVrHv14QKYDayY>CBE6W>X>xWvr^v*dxeciGjoOX$xkD&B4% zf;uvVC&*!bpkh|ka_4IUd$c`#>Hu_c*WlCKX4i-1u>~o~$yKG-?)eOI&vP=p%8Ahr zyI%?-JL)p(?}*sKfjpla8I�xNv#anS@Q*>lIx$Z+^SQrTS=)I2n^f-H8*or_rCO zLVuVPPEJh5AvPHwF&~pre-Re6b=j$-g5bM~uBrWs9*95okksJR^x|)jDdUll!-~2p z5h4O%7IQ}S3FuCh|C?lJv=JpO%0M99;--ePoM#23Pqp%h?Gab&vSwSm-*`O?A&L>& ziV`sqcrr_Txx=F4ha57vxH4(DlaHT-G?NFr5VxGyYv>Vag@|;2GURJXXoiS^E_fsc z7OUAjWfC=McmFabWs>ONCkFMvS5=LJ9*h_+IWJsgaAso02-KfeBnXC-#P_-aw9%e` zYY~SZ$BV_{VwG<`7f5sR@}t-Mq}4NkQEr}usCE}1^lnw)Zas|aKf6rAB#0{+ZM1im z4$s*<kGZeX6<>35-3CM5MA6p9C}}NVXVV2-mMG` z#ZwMHL}z|u~a7{ra5BybcxdU zik)!>9dTKp(woP+v=}Kh3|+pq&?uuFcEle??=JX$6Kktk5B}g^&>}n@}8%exWO|e;TxV^m=HS4n(-)w$QJg6N}vtTAPXn`iI{U%bG?M* z!M&Cy%y6<53v@$j%cMJoH`!zrtDR#jv<;YFqUDBRE-w_^rgX#lETKz}4D;v!i<<23 z88FA3$Eb2XD@dLZ&+VfHs6@8p<-aGp8gmodpL9} zNX>p*R)WZ}Rv;pv1Tr5Y`*vXY`i7~nI;ISir&h|y0X|fs zGRR?N;y#Nf8zESrG+^~&r?G{l9(01Z){!1TEqS}L-w9;hfCMeP6CEK=kmBR#1%cBb zhaP1r9LN@kX~!M~=3h9m!9lbUZ@N1^L-|f~$VGgr5%s2hHkIzpNkr8h>!*14{AO?5i7eGY z2sa}EP}w!l4;+qQ!K1U8V<3~2Nc1YlkB^XtmW00*HTUpTKsIHxrgDAIueuXfgARI>^fj}Fn1u@brk4Gj!d5dqI5u^%vUYeliu!}ek62XD z;9_*^f|xK-DAgXiETeis)qgHC4FTY9XjYQ7QItYEggkPT6?9=_HTs!{Dd8OdAiu7* zc4q%BGcuO9z2CkhYkUw?Aw(NT->@JfLV~gr-YQMo`rpq~bg76-oOM%IVkATQPs|_r z2P_B(iudZ++h;RzLr?IiP9AYp&@bv*IhAsWJ1Y8d25CS2#r-sJYANQ}zz?oXa@n{i zuyl4cY>A^?6VhiJGt)TEZ_2RYL~N8fkU%rst0l>0*gsZVgJu~^*^-Q-+G23T}kJ<`Pkesuo)ybNDS%b(`&40G(`_*MxVZ7Po$ zBBC*B14OQ}2QDH39KlNk`0@ILz(tg9temEFy=y1Wap_Th@Cq~o=$5{)!4{chOH?)Z zh8AJ-(*bo&l}vQI!|qZDJUHss$6>o;{bi>lC1~oih@;goGTRXN0tVp5 z+=q@;vRG+oFbB!Str}Zo{rP!H_cqLzjMDW9%`Xo}YsQu#SCcj50k^olqT5c4@R!T( zpm;h`x2XmlZiKwO))eXnP;Df~{|QERpqpa#m}@{;XxkHmjKm<8Lo)Gp!`H||!xj(z3-IpbB6{G%oLGZjPScdv6JGUzx z+w27$bupaaXoS>KPuu`9{>({ayukN8Mn5puS^5Y8wk zcwFUvi4lR`!w)V-NIB00BdDYHMuDq;~Q z=!@#K$I3RM?lR<+Igvk&2C3*m=m@u+AGB?AK6O$_s~IcLAWB$o&quDM#%K7L z99T6RO4s12D)r=$ju^5hIP-L8W=l+!sJ>l&sRD!$?8H%A4p8OKYry|A3pLM38r!V# zIo=CC!>3;at-ywU`+&i^fpQ=K*T!PLmHy=m)sOHb*M}Wj9&L$fMf^|@+L4O?g(ueK z)FcM4f)0hjUCU2k@dew9aq^aq{JJAfg2$AvZXgdscmyAR1|q)ECXDLgAkPr!$nrju zg^Zo;w~v0fa>Gu)i5hI#{cIZpuGo*>(**x#7%`CLr-^M7gN&B^>K?hEPaJ=d6#_bM z6&957(qr`*zJmhab;g&7kSg>hV*FI583ygtivsG7%4tDd7gY4OoX6S0(e$jzXE?2- zBF~zrAK0~hbN-yB!1|;K(BA1TV8AAui%KewhVKN49aP8Z9C|LlgQQG64l9i7e^M5n zqF6KI`#Yi(nP@1s-);~u5Bv95=n(-qAE9DoIKl|=K!$$%o3er*xFo^RwD(DRw>ONO z`@UgfIBW35=4+|iqE&T$$~^l@y`sN&QyACz77MSy=ybO6r#A^2y^0n36Bm3JOPbTw zwjAeqNoS?B?^sSshIn9|vD)CP6Q#pcHjF6o=iFf|abQC;z;YbdnQi$w;WxHQ+lRtG zDJV)#9C;P>02X7pz`d<%_;~xR5!m0qhaCvW0^2A3QAjB8D2Wu>_NM-dBCRH{c3-VO zQ!<<;J;Zp6L|z~KzI%7ambMHZ;|HLP+Q!0$cP8zu%gBGXH^aAE<#^UObb9k|%6fO! z8}dhvM}l7AX;D?ZG}chc!vliHlBmU+<2ZQ*^rf>6LtltegxH=*kir$K8)i2RwI@uw z;8)B_fMkU?_QPX<`^YqmbZu;3Denm@N!s`#0(B+|%Nv1KVp4LabAvC*!Y0+0OV%c; zoxTN-Sz}X2Wp!yz*dK6TcE1>;W>8L=*Eij6rAGa9sm1x%WW%(CA3IcOSX2M9gc+*~ z#-IJ+l<$*td&A_x)abH&;}yQ^{i#Ur&({|i&5)@IX~6izm>Dx}$U4-X`x6@x*SW-8 z$JOM4Y5kJ+y5<)?`LV8Z)s`D8V?bx~yknyP-_#U~x(*{xoq&YflI&5@D-_B{80?(9 zpdmS&=|rbxBlgB8!uJC#@p^3pbXBgMLTQ-f2n^=!`8iZ#*zm#9-u7{66bct3xPJ_8XU;pe>P$K_| z%Bgb4r>{g}ZqhKp03(L*@UO-E%aS9iSk%>eDDMNDK`O|&7PjIVca#CNi1dEQW#gT= zOOaU6stldQLK-`9Ag!=lZah~EnNIQPZm9g!#+(M*9kHnBO4}!v>>P2pq)P~2|6ucZ zab5~7pvSMt3MclnX+JMw9#C0HN3Ey!D86%NY>^<;$$NLljlJAS+6J2ZH)YZvS}4~e zx6}~?%XqG2!#fKR(E5vtK#P$WTvxv#wW{ufS|GQ0$}!gpgpA@zbbfKITy(maW@reO z6jQAxjl~%>lW4kkf5{D@ggb`t35Y94;uJwQRM5Zul^ancp9)68cpPO~#A*nCN2RT) zvP||3hlk#c2s`<|6jz=o@)k~9ES%J2vJoSbbg2+m5m4CuTbZmtGuZ;JcKn&omT4aPCGw-+RyOQ7`=U9VP5j+T6FhePraA84 z(Q<_P3q~D5zvLDg%QWuPdC|24hXFuL*?u{^rqSuXir z@9`e(vrh*hHN@Z=!pl!^CSvxEEYnFg1$ZnWm7NN;#+0_*J2w70fVGRyu3 z4|5!&+JwM0-o^5WGq0@4kU9W7KNQ(F)sLn^zI4oAjyjGh>2N@Z(n*iqFXTte&yRg7 zyEqKm1Ad?fi-19UGBFE6@OXOzPB5(A_E^x8k#c%y7WAJN8!)EJik01AxQJjPU>s3m z7IO8laZA?Z&1M;4Q~?%3in$k}4iY2Re{C%ANFxX)U=1hNDzxi0p2bC+U<<#|?ZY*e zczBQjVy`(FW|fZsSqcCJ#0TW$#+*U7fL&paT9?{;1?aES@~bgLJ1+_$*?Z-#G% zqS25R26KQw9PH&4q?lK)D;%oGZ4kY0kAi*vecnQmS6?`mcS19kgAg*9wrc>xGy#ec zzDD41nO94@^i+UDQkc}7M&AWM#E*DZ#uRY~1)ox5RF#rGhE4yZ;Oo6dcZNfOM3fMt zWEw=TKqJ1)p08bZYcXd}`;}Q@20^mE)31fBMNC+WJ)1exh^s8Bx4a&kqVzC&0R3No zlfw)n?IGVTQPbW!tf7Yv(UT+G3#WK+p$sH3G$MTN_t^K zr2NMwyJOvFv2^pTC$)K@Q!3I4g-8@{Q&DFb5V5T3*5Po-wIAJUvH2P1^O7I&a}Rus zdu!(en2eT;-d$UoY*pdcIl*#_Xt&cf{E3T52msH&KKPP)eesW#y6t$8o$@L1sjNs* z{08b^7fTvA(r^Dc^WRSspk#qhA(r8QezJu$NOItBC8 zK@`)tFyidRS4`Tn6CF>gh`U0uJuZl&(s97Y+IOMwop8ps!jHZ${jnEs!AKkApGt}Z ziS7nmHz(vkqQi|R`Mysd6-MD%pwlUu8>K3_k@+mruDMhJ=6i%(+Tu@1Z5)184?0%#T3Z|OT)lzZ!gr{< zZs!*Ku*dE*2wZ@F`=T9)%nqj5eKQznMSzU==jXq&{_2gK(o)(UCFVh?fe5EQ1u*t=Y4m`~0X+LDLv56m|r^;dp6e>G;8T1kh z7W_JA>694xSwUNRYAsIyJ&6>RrcNT9JY z5lksGx7(9k2cvZa$QhIvX-;ptl8&}LQb(uKYrrD8^cQ@hf=@I+qZc>j9D2H6a7Wn8 zkakS@P&d>CF7V(u<9)RuKh~S2b8>f2UsJ0!VR)TTVoFAKRu41X69h(H3P8p0+q6FR zK!oVtNJ!#kriBEvUvgsTRSq#%;Ah}0V8p4zU`B+JRs;q#5j0d`pn!CPFvF2NIE)4> zLr`Fy>kL~?jB_bw76J{|8Z5_ic)L*0GZ(ZT$%Y5B5&A}5jA3M9mSrjLqM6}wb7GkW zhGB2di=AOpv^Il<yO}KJvq!x;sxVxq$7slaKz4QOg?z^>^M{Kgh&B z8~I5jjYq3{mO!qhqBx7qC`#URRlVxQYg}?;zvSiQ_j} zA)`#xn6BKL20VUR*va4Og#yo374dU+2scc`@<}F_?mz&|IQpgx{viUn+&2*NG&W4w zu(3VN48|qakQReuLl)EVX5`zh-3wV97lh`i_J(dadBmuyx^Al7D@Mh=U5ee7@9afd zy0r_Tg;ZgFjx$e5c?Pp$p1aCXOX6%E=@;y-iOrMJ^a)nCH;?$3|~zZ{bz z7OUuMW_r3;Qf2*>KYq=oBds4z1m^ww6U&hUogCSRSuU{7&1`WO@8q?bxl!7U0PRMHLm@tN*AyDsUz|*ao3L0~4(3 zgPXPWBKW~o)(cOW2U}cVS~(f_;FEBh|0}Dtt?fh74#uTI=?e3*t3b+?#PQGz1-2@?Y`t_(t(WV59!+`?n&@z5JIR zY!Y|03oPE1ebk+>gJsQIW#9Myvw-SSB;}v5yf1!7R$HLk0&)U7Uemqj3%n;uxYvJs z%skgr00{VPeg@TMc+q|T*9Td+AKzaV$v+VRT4(=VXLU_gLUZBD?>4rAaSyTnfiAes zU@)j8?g)rrHZmCDllp(BbY~(S(EX;Op5c>^z3@O};;B}V=u85bbw+J}V2JR8?i7xRc1(Qs~^B$wR;c5$Cr`c zHQEic?8KzNW8gSOz%9T5i$8k|xjQlio{$ym&NobW0FwrA628J&?h@-BF)`A4a_^r`BhlXn8>I(ocb* zfQ?Jt(eIj)lKa(e=4b7U<1N3feIr}4I)YS!p@esC$(ye~`=su-!}r93N*sn~{)^uF zH0vw5_?3G|L0?fDe!PvjODO#R_O=iTH^~=O&E&lBhX!WdgOm@?t+79X3HK## z`_$2ZV85wdbbL|x)5hQBfArDi!$zaAh<>@cZg}@KdCNC5=cj^k5BC=VxnwX39;{${ zzp>eD`hs$O@FYL9#8{1ms&yw`$sf6KY(;h__^@?BvM~m6#Rx8rodVyK7oL`fdX(h5 zRHQ^Nl7KRL@fvxBPh6>#_ExHic9akzej&d}6y_;8tMPa z^&08o(ysk%&sPHSj$oj_KcjjhC$Ntb$cOy-7M&8o{8B8gup(|v{>W2djCg4|HZ44% z&Al*qFiLzj3U_j7XZQAQf1;f1Rgt|s@-|P}8YkKRPjG51bY6g;2Qt{FCE2=?Y&>d+ zw<<0U3mm}$NJY|k#q(qfhiK7*5z4RS?a_iJXDx)+sv0NP7%lLm1s+O<|BN6=Lx$@F zY>tD?*@!Qjn{izrA=H43<_yK zax+SLlR2a+^sQ=pwe)hbKpFb~Obb97|Q z0r+QXq>hi*A+(1_f3&Jhs`E>9@fvgdG?d0sdauC07x5$`AC28Q3BJWQzmn)Z&6`p? z@DIM^R*AyH99QLeUFE5OLKSlXY2r>)`L?TkWoWPre8#3rEJE1AB7a~pmOlq#)x?E? z27OETt|ffuGkoXO{sE!PECM2e6=cCGG*l%lkP8R-yLE|vkCfic_3y?! z8!*onzHf^R_EZ4D(1PQq7^C6WRm622HK7AtGp=s5Yw!r*xi7i7*^HFTHr0mlY7qMcZyNJSmm6rYH^?G*un{Y%?W|H zZ3ofEnbE|AaJ2enbfRq=Z+ez{CBFnGnRA;tbRZ&e^wkfvGEM|@-3|OXTf_$X;zlF@ zLrWd|ITBl)ewxa?Mm4>EcY7@Gag<`xOB6Rt!UPBtbA^Fc4m@%9ER%p51`kHVK{*m^ zO`2#e0zc(QMO@+HDJOp&IQg89qqZMERWE6;CvI}co4Vi$UGSm`UjyjCu`;-8U6gOgKKLbUw#yxp1z^U#Jr9+T|DoPK0?gF|QP))~5Fu4@SUc zCJ#cc#gGe#*CWNy-YRu3lfyU*7Bm^GY6CcTPUqGYQ^jPT+>kSKUby*wX#S>XXI7CO zw&|&IEVz(uWa{^6j1!yNAhu=G93fFUo?4lz~G`ynwSH zoGB0NdKtJbEA%}N|DF{nVud9Utq{Sau8mc1WB&83Idejqh@z={%_Oyoii#^Ayttt& zLi$4lljV3hHsB**_D6>pLs6Y}qSFte2tR5M90euFFCEZJ2OzL$f^f3`&Ye5uLIdbx zJShke3R!d1yqWF(5(uRf-Pp`-1y$RN>iGnC4C7&R!dw>o(iw&f%I^b@6*GbIs4q@! zyNFLV3N*p3?DvkJYMi`iEltlI489`vO-Pb3gJC4x=l7>ob%XkS0ej&okm0ZmaRZm9 zFIc#6A;M-WUdca*T-#o^2BC-}afYjh-vdRfZc{n9%y=f!`2Pekio*Kt0XCH{3Tc@F z9uL2fW$O}}`GGC>@Ei8WY2Vy~U&VjRoe5q~g4ZnYdJ4Q|gV&t;zvZ%8f2eIf7V*1( z!Kd)wzC0tGDisXgLtS;*3Hzra=i#?dT#2YCJ23Aa2#fkuw0v6ar`ul*pSLJbza~Rf zz>cu4q`%%Y^1_CM-?T3{RpNYozWnd(@W(!U{2wlEffZy^NOV2*0+z`Soy2H>a)M~! zFfU&0Taw%4Oa_RBolkn3c~m!FIwT{mmPc_lLmT3xhIGwvy5{zJCucC8cCa8Ha9<)# z@;m-Axzq}RGKL)DWf9-1e#Icih41PjTF@cC()GFgg0oE~-X9mZ5GUHtd=QQI)N(@m zp}dZQj-EXrt<@@?IQ(X+C|TJ>zn6@YL)53aS-lzwtzht9(Bft`l%N&F^6 zyGw(c0d$I608t;r^*hWU*;Z{E&lx_)7ZYY=Tt$sX8-_EVC+|cm13N)I$Glng$0fa> zEGZMnv9j8pX!P!3>20f~2KlF*G(%JmsEqN;vzoSMTOtj{*;(efvaliufV?Aw1S#x>yb#0*&U00DaSeWq@>zhysrTgm)|`1-O$J zFPsdOm+K_%IMf+%3dy5(5tb(H)+0AI!%jQBoWkiLo@NwOmRBoNq}?jIuog1y$+C38 zp-OsajE9}*Fa)k-O;lw0_bka{;N$`%=f9fXK%}^>8HaWL3^$PS9N+OcnwdAG&|2-c+0*&?fVejR?d8ZJ5aIv_RTzIMGP z^?;IAjCNXYKViH*GSUYs{6J&9{8+}`Gg;G_(DEfZNK~4h=7DOitFut)hHKucVMO)qY3CZ7*aZv8=DsJ(JH<9vMv+yNj;U3@$fQ^B_ZHc$p@p~l*Gh)|@$ z5fpegs)Bz_CMJL%M-e9Oso7!KEM!hfZf??;1_!Grb!>@QwW~osVhFSvDO_45+2_RFv~FznUHr82e4oA)^BD$3zVRG)$!WEE+W9BBgq6n zUoslNvrZjNoUX2x0Zcmo)L15Jj@Q_Ls`HV-sH_oCffHb&Jc}CM=Ld*{I)LJhTw<7S z7{${HM%OlAW7V-nH|&f;CP0WsBY1sys~@0PwHW}2E?v3!NHNs3Y|BP#A+lg?VGtl| z#dMx%z)UQO-$%upN^LN7R(r^ z&FuU$o1_jF0Y)l8CF0YO8GP%qgh0#T8s@f<_v#AO01~a_1h2lU4;PTPxU(fXfMVm} zIoA3lvcEwu3bZ!9wY9F~Q>Mo#d!yiM!}!Up@x>sABBP)RSP=kFcL)$2fIaI6L}p9V zFnAV-!M`Mlp@AcDuwJZ||1%99U5gHZ!dA<4$jsS~mzQ&>BG&5j@9aY3#E0afj^rfQ zGQ_5T{cM5Xi5Q4S-4!+JQatwJ zQCxa8M}3En!8l_MsUBd&BQYt&)d)#55NDde`xe*xLM><$RQ}Oq?#0QsIiVjQNpF|I zbA`Vka04_D$OU}TALz6%NEhD#ef=F!<^GjFrxCH(rCBSt7^GvjI$~0Gq1~&qRwpzK z2J+bNU2n<}`b$e<3gFI3yRI=;oMZ|20o1ly(PJ2ag_Dzto?cLo!*^h38^va)d6DzP z!EF}>2z@FtCLsT=%}ERn9?{C&|LEaYZ#0Xxip!?Zo8|#bdg~#c=n**Szl?(5ecY5L zZd>u64>vHkA}bC>hz|Y>e$72(`R}6Ix!X6y&ZD2uN3-I7bK4Xd2L7!3UCM83UVHE3 F{|##f!EXQn diff --git a/kzg_prover/src/circuits/univariate_grand_sum.rs b/kzg_prover/src/circuits/univariate_grand_sum.rs index 18732446..eb5ff7b7 100644 --- a/kzg_prover/src/circuits/univariate_grand_sum.rs +++ b/kzg_prover/src/circuits/univariate_grand_sum.rs @@ -196,7 +196,6 @@ where || format!("Perform range check on balance {} of user {}", j, i), |mut region| { range_check_chips[j].assign(&mut region, &assigned_balances[i][j])?; - Ok(()) }, )?;