From 7e9551ef2288f5b30c32300724f804b88006a702 Mon Sep 17 00:00:00 2001 From: Cofson Date: Tue, 23 Dec 2025 18:30:34 +0100 Subject: [PATCH] Add Benchmarks section with hardware info and proving time chart --- .../raw/assets/pol-benchmark-proving-time.webp | Bin 0 -> 59592 bytes nomos/raw/cryptarchia-proof-of-leadership.md | 12 ++++++++++++ 2 files changed, 12 insertions(+) create mode 100644 nomos/raw/assets/pol-benchmark-proving-time.webp diff --git a/nomos/raw/assets/pol-benchmark-proving-time.webp b/nomos/raw/assets/pol-benchmark-proving-time.webp new file mode 100644 index 0000000000000000000000000000000000000000..6b52d1ce3d9dc208c4cd60a223359a68b6dd5b21 GIT binary patch literal 59592 zcmb4qWmH{3vnB5C7TjF}!QI{6U4v_I_W%Kcy9I&=4ek&$I0Sch=g#Hwy*F>x%%Aze zTFvF0?&|8QU3*t^Rb?b4yY|7rv?N58HI;d^5x~H};DA4^uwa=`V8BmE*Z07{SbLzd z!Rgyzv!DdsdDCSn3(3jyRnr#|QKD=dU;6-I+rK$plo0%1rnN3}2|7N#u-u|9AYR7t zf7qIYy-3)7TF>RY0Rwane0b>yRGouauKhH7y0iyx#FXJy~ca0BEfQeWZ zl~;zbgk6A7fbYxIozzwRY3Z5JjnD`n8&G(^dYn6gdL=aZdg@Q}CDi}R^WDqf9m%rO zd1q6AreND^{WIWh{Hf~b757z0IsP6n1R#4_dp%p9*$&tPRNv5?M7%nEMm;6j0QxHO zHs;kR1a&Xq@Cgc_4}b;eJ)b>PN3fg#9s|0c6Ysu089fEObRGpPJjVk}UXK7~&jF80 zi$FU7uZNu;LV%|-|MdU>pp3wlc`-4%r||(oSQ;LjloBd15##@Ri1+Jf38T1FHEgm! z{FmGHaL#>2}6&{$+Mmt zof_zM_R)%chlEd8RX;wE#P9q_Ag46%V`D9)k6e`ol~e1aI^U+Mt$Ti&(E=;c9A zrQ)cK7I{Cd71kGHyywaLo1Nd3z4x$5JdP|| z|0Y}@wy+v|n?GpCP(ibcNW;5l0AOVoY2@Q*k%V$48K;N3>x>f#jL{Ma5;MwFD@JBF)a%LK>-6S6o%t)LpTYUu`%xzsU{3ug1^|xB}ePMAx(~EL$0ANf;WU+ zD{hT21mhx#dWoGT0KPRERA;r>ZhssiW-=P*M>LU0HI$dxoAI{QjF{576>xQyvXUax z|3@&!##{6Jxrj59t00E?47q?q@ZvYMAZb!!#`YNjChr(Q0fsLBLIS@TT&Yu1weEgg z7+QJGTkN9)kT)qYEUeYJ6#T zzu&Z3J|9(*1;nU#w@Du(e@hi5+>}`39b`gBSl$N=m?%MR@vbYQzQfWFmMs&P}1pw z8=51-26sMwLwm}1G(~d6T!zTGR}YMvVR%i30cAgUN>oT2T9v+3gJwEsRu#wz@---G>u*~^AI8S{FKh!(3022pT=iL%#aXQx0b*a2S!)G8(HwU5 z;5zye>KTe1!u;Ph=bs=@e56E}--ZV#>7ruvLzo#^&Nf_IK~nlJ$I zzOQ2ynM-DjT{2J<8)^p1YPdo`n@lN0UN-)i=&t_zWlj!s34^d^)pxi`2BToGk0$Xz zS8l_DEwhY?gTRI*tpnu!gf3GNIIQ%@^PNM#)}+}=1tD(245qwSlZ|tSl&XWtYGio6Q0_0wvUBu26mbKkOg3^{Ez5T$JzzP7b@0HE-sW?H0`J(Xi7fc?PpW`}R-|Rw(lK3E^8$(tn zuvSV`JhlYsb!}KpC3v3LvK2CX8ipjY42Gb5)&oGXiWQ2%*uSoHhUyO;9eZ4~e{1XW zoY5kQywq%a($4lm2Sy3aP|$vaoohqYs3_bTLtoS#1y0DrY48?42JO96*_X;Z7 zaDck5M`Tb?b~LXCkAdPzd>V7iBFi6jjV)*Gcys@X{@ z4cGrg|9D6O_*`I5!NV;mIun+^K-;`!`ZnCNJwQzYlm}O|+_b=%K-7TU{|UX3N&Cl^ z7dstQ^$>bw9PHg&`t~lU8`QtS!5`#wQ2m5^#Lt6U)=vUuQ0Kb2EEZ@fKc~!Nl7DXr zH-w&sP4QccjlDK@0yho|_%`M%z5?}|g@D%}kohF{GlJ(JK=Jj}Te+_Qag`FIB<45d zsBZHvxdwp=FvWpWeeT8jit!CS6$0p}3b)Jbs5jgR(7t=>&FE>oe@WSR0}l)cF(S}Q zknJ?kx}eOY&?s3;eBYhWr|;Dt6+3IS%dCEwn=je`nNc+x8^X-nzIJ7({*%fSflDT! z+kCUk1sHVC1re_J82cV374X zpILcavnFj1$#3Bo(?YZuoA#Q(NB_3w{l5?UNx*BLSVec-(peqL>f}5`m?5Wgj_#T!X^QkVDVE^Lp(*BJr@YWpb40tS`b?}kOiQ9dLJo8m*STvlAJV$Du1 z)Z}TQ=G}wpE%+wz3~(Et3aV-rYX(n;TO!#M*cT00c`pH4ZiVxM&k$7i*)@wfDS;~c zVQWixE>B75%fy}-c!7n2R@#?hUnrb+X3kTcIW%j725CuYPMu1QY--nVc>m8z*0I#_Jwkf9%o5j;`Y+HH;S_m5JQv#p;&) z#05s7H-jDWfyd#i4UB*x^k-Q}t~c%qH}zIkfPrx3p0AS~aKH+r5HNWqAXJTme2+H_ z2qE5Kb0((B+S^v;skanhi`74RdlK%o_6!uo7XVm2`}dTv@1`{b2hn0MfRXdtl9y2C zc#RRD=QKQia(5wQnn``hrBXUQ@sNyAjqR9)>ply{6@Xdka!>$q-PE3rAP#Vn~#T$cvM zmjva=!8ep=|4<`I?X*)@g9`QRG#~JNAYR-voP@_ql^bI%PZ3i zYYdpSOfLD!9A2*H?CvT4s&#ykK`K(xbftR6f#gjR3Y8Z>51?JBT$xHCjQ-Yu$bsy- z{L8Z4dU%TpcYYvgt^UepI71n3O8B9)XrSjw2CZ&iqzeY+kgv2;g==*}{Lq-tS#Sw5 znqT<>&d@wAA;U+gYpGz|{T_kn6Uz0gi5qPZnFAikc zfV)!2xIJbHH;RoUUCYz9U$5zVKhH zKJtV2P44f#O0DyTb{Gn4xD3V&k`9s_5RjjimH(;K$8zH^Ulr}^A?tAx0be<*X2Bq| zlN~cpN3Qhm4E((SoKA&<${hGMQ9r1TQOw0U%EX($Q9P1iL-zLyv(1(Qc#Bwe?6tkv z>JNyzrh?VSPW21IoZ=I$FW%q$TDuYsSWUv2d3!(=ZD6vWJ?4#$6(~o?ze`>)`DXiX zAh0I+3hkov#!#hUun1GofCH%=fq(36v1~q1Pc1vwSBw5xRpL6igh5GlpDJlxx!+<} z8Yc2R5ff-!G;rULLr)Wg6oG*;QhlI;`5$iQk2fi6*Egq1B0-kM#q14a*;F(xtgVA_ zMhN+y$g0PK9t*1^Z~P$P9`XaIPziss+b(jUu$fQ=JUqG;+RF z`)5=O$;PZh*j_vg5d6kUg5D&hK>rU1_)7^l0)!ag@ymSEP~0@h`-7l_+}lQ&{QtxZz~0uv-^+;@qQ zum>Aj9{NVDg=4MZyg+dSP880b`-c6JsEa~%1#x-ZzcvX)e4WpQWNbYR26a@%n}OQGk8LOm1AoTp4GH~Yqd5h&=()kU>FLhY;0!R8(%oVIm8$I;u`bDl%4=RueNQ2oSb~Hp58nMAG%94pT5HPdJ2Y zOV0`~e3~Se6}F1Hs`QgS4}IlQ4h;z)hCSMzNQ4l7`IQ{acx&8#N$vab7Cw3zgR4BQ zOxrgQ@QqVuinu*OS38TOMiT9Hf?c`;yATR$ga6C?;_xvS@_u%K+9#eKd!^#c3@$6q zZKxqX#z5jtl|C4+T;9RH1US)a8yr9=E0&}~AP1SJTN;sShcwD>c_#H#^Z48KsWLWL zl#j(TZY3j24k0)adC&~`mD737C1fa;{L;gpI#jJ;75w2`Od{?`GZ{_=3tqgvcVwk~ zz7eq{`u1k>bg)d&%{N50JxV9vck-9s6Bvts#dX2wrpJFVM|^FL+#P3$Ib2+|;E>IK z_W7XZh7tu$=#&L^{1}RMIZ$c&YY>*&`pU@?TcomgK_7=F5WmBCENGdk<@A-m%v5jm zRZ_)p(4&A2UE=Oc{UQ<=uN0TI?}ATihZYy=UD2ZC*3eZ5gS2fz5I)BnCA_$dEr2qf zYfOD1@MT98=0wcn)pof8__IzZT|TPbv^dUUE5dRR8YZYhFm;k3x;FXPxxgh0MlL(p zuRHf81WxMB8Kb@dm=J05J7Xk?19SsX1!w}X;GmQWhy>%!M3El7p&|N9V-W0t4XV_h z3>;AqNs9I5Fqsa-3(G>IG;{P1f=wY9jh~b`bN(bI^l9d3Hn|$&-(v-l92?jE5iy()--?)xE-W=;~9zQRp7esIu|ZdVu~Ugq$Q%89&dqQTjfu4CZiH* zimUyVsyf3@E-MED_miunNplkN-PknbM*B?mL-x7z2B$lV&7 z08m!~{bim8#BBn<92-}G$^a?<3q|^s zd^l=N5&QaTgX&b}J)bF~3eN~>MeaqQtqJEeu9th#EJeWUKoov{%U@3j1ha7GB^Zvs zL3plfY(cRJIuX2NON#TFgs1jUaq=4Se~7KN@`SRQ!-LnnJ=po_zy7p#AZ~0^8C5ae zO{bIzSZuC|?3Icm5wD{7rXvX3g|ep1ux%zPJNHJBe?eAORfuebkw&zQytS_Vf*fSl zC1DHJ)t%ONWVCGF%QSAaU(N^6jl&gjjKuPp$1mdjERH*@#SQ+@6v~>65S@Pm-bRK1 zW{AL3m_-+sUVv8`dFc_ie#4Kp!55V+IXAn$E1tTK!rtXAEW_g;i@gQB0Dy%>?ICB` zg%kAI;jGtWmJE$AB9GfTl+D~hsii?(=t{RhD3G2EUT=;~Rz9YN-a0wufrnG95*_iv zb^D{BJ=-l4THjAv)Ohfss?0tYkrWvX!1UkEII62#4V_G!P1yp@J%=jq>$UFpNyuG%`> zKVh4EK$`PD5uDb}CfrnVk*p>WJ$|S37g1cVST^~F{pnQ+OldE|8|fvL+JX(^OlKt7 zB2ct&&bs_cgW;!)kIa6P2mG5f+>6*8NGJ~G(NEsLx0}-D-+Mfx1F|s42s`?MkyUzR zdDzZF&JycW6eJ1R=FyLO@0DD9E-XIdIXFLvEtLF_LgR~8BJy`!J#0|ds(KJRjpJQd zUMLq}EP;%XT(EnOu}hjY?;V4k9T5thCZKf%=gQIbY1J8*8(!7g;=O8KN?V@qYJ;-s z^P5DGAkh>J)R z!{cc2pBa@8m2)dtwVBiN!l5!*X5DfOnJ)x2!$>8^k#XO|Db~?q0oPULw>)N<#+bKu z0x1R7mB+i_uO%Dy!UmOA#Ak>1CWDcJl3yjvFBvWc`A|(9iftIxSA8qMn;LGse=TPP zsVaXV@NtLQl$4Z@Xd(Z4-^7V#$3Vw_O7o7e&Gdc>NT9uZ9m9F+&|yG8U26NMO4D5Q zy^%OlNkcZhrsVPW^XbT;DVD&@nRDgKfk6r1g z`vZ__;8Ew9@_0iRzaH2s+o)vA$I-W*z~G>Ulcd-Mq54~6uBRpV3)9RME1hWX@Oziy z$l?Z+)jE%v8sgE=D5bdiJn1@3o8qa!Ski@c2dWpKrRG6ztrLnDrs(%}3Xq7EbH&{X zyct1EgsSUv1)0!8js17Zms~c2c~xsfIkjkr4n=H)-n5YbanPIuP8bR``dJG-=-gq6 zbn~>noKb#;+za0vnU8)!{qox!VPlLejl=g=l)twsU>QFR6S4bkH`of1B;Cx@uv?h^ zt`_TPRhI>PJ}9uFqKJ(&3_Phejt9$9SV6cO_JJ|2gNh0AHg{kM!f7Tf*Cn=+WTm>U zZ`WnjwT5BwttBZ=&IvhlbqBbAS-B`)Z!+`|^8N=Id$B1BB~Dx(0^z@9mx;AWTj(qu z$@>AEsOH0pDtDB6)YQEvVFGm+Z0kc32UgQwHMk6YP5Xk@RDb-{pyRyuWy2Sw^WipABrrLg-jG{r zOXx386KP-~$G*}`o#!Uf75!(2wKoN9)Y=%BOzA! z`>|LhzX8|=Bk2afzTf;2@O+|0i>!WYe*-&z2YYs+Rd4hc*tq}p6AMIuQ2_)LAXsA6 zGmWI2zpD@Kzjm@`e@=FBN=>n{mv+^ zN?`l+=-yQrkHA|8iUDCb75)$oXeT8E;M)t>)3lOSqMLc!DTMgLj}T8XVio&lPuVA| zfi{XnqL4E?63CN%+uJI|Z~e&MyM`fFLq=`c-)5QLI-MF(<6M?(oP0ym&|iJ1k6Z|@ z8jZ!p>dGG+XlUzYfb zQgIJJut zj2z32H1fB986yf1JY;oJqQEEIwowefO%{$OgR{PZl3Hp{iN9E(v+$jNNLZgtytS$+ z>Qac-Kpo6Mv<3C^x8)&(`R2QzpGkpL3)o={lunZa;)MvQ)}RY|XrD227|+OeFlmr9 z243Q&M8Wah3%nQmu9@1mQlD_w@qTZHzHsf!4T{UnY#$$$ceb&jifja20?3~{5trYZ z=Rk;%G)N%B`A@gq%MazelgY9w=|}N#LkuDeW%edSW&Oct(_qF zWuI`D1A!QDeSd}=+(`J*<$_3J)vB3Dxl*(=MKb0rQ3Li_D=2tvX_FeZFH#qe30pTL zgNH&<2*hI2tto^m&qOGpU9|qwjM-Vs-lmUgn))~Mf8YblpQP(NTpe~|4it1;=Z!e2 z1ws%G@DV29#ao@>-8L}}`lx_wl;~Dr^y;#qoMcW?Z`{Qk3MKpvASrtlQhAnEz9dBC zh^>|c2Q0$e{n5}9^qLvt)hKwY&L`^`R{P~enixE0=94-i7wj`Bm_ zAnALa#NKa7ek#Wc)RiyyTV9~OrS|>r{ErO~H6>bD1PjLEn6m1!0&krxl2px=si-HG zFUybPI}hJMswtoAufQx9BFh9D4(m-)_;(ONVi`r{=;p*T_4{OQiX{jyZ^k4IiiV3? zoJR=EW@cJdupqO`lvvvOeURVZRM^)#5sE8i5WW6|VP9RIZArxURwAW#5Kt*7-6JV0 z<@NoofdK%#pG8{HfMEj*T=-q~eytKiADp~~kX=z0lQ@sb@^=0(q}{^2`BkIo@p%M1 ze@ovkf{`S?(uOaPd`=#ddSnj`v_;$xaK`q)GSC~ccxwiswQmI(gKU|TBQ_)drYyy|SRzGHhjPI4= zL#e&qaWZvV^7zvvejq=y;(z8ucESF7$a`>hOI_^|03Q~EYAAtYWe=~$EQi0`N@W~L z6&1?lG0|l8(9V?U4zr=NkH@r=$sU*=9x|rh{eL;&zbyjs>HpJYsm)a|#Y1+jS#Mml zj|1Q?>Q2sOc@~-xw(dc5x{cH~E`iYnbfTfwuw98Q+Zb10V=qNKa*8KA&>Vh&?%@B= z+5YRu{~w=1GyJe}jib5n_f}0J&H$ao|2`s+g{)v;uYg5P;Qxz3B+EkoIw!8)H4(t< z5ac0_``eUs!16KYF1qE;$)iwBMvi7ofeKeup!VC9I#E@CYh*!suvg!Ngz!tLxbNj^FeqK3?p!$WjfH9Ql{5&z*oPYL2` zRAFZRht@XQ+!z#VHbx_6J!0RqATYxQA#_n=l8JBVY^-KpE*T|`0{(CP#c)LqHfU`S zfu|o|eX(cuKI2jKi%6@9`%&!+1%-q`msmg85buX|lt%KKmGDvklf0S}EhBVh%Oh3hX>fkH2JI`m;<9bd(|*}K#EC0?%#1;UQzX>G56!k# zx{<+QtmqTx@pj>b81b2pkIj>)ti|ruNO*Nbu?s^|=PSCoH0L(^im+^$P#rtT&}7W`B-K*(QAimWx=O^yxZX{Qn+) zHE8`|6p9T=W`dH#$K0)q8~C|hmv-xPfFu+7m8(34@nM&Z21zVt*ppGKZQojprd!Wq zVutXka1$r8v$B54Qm=N3Z6zZY^0DYsufdqJ+b`xcysb`CejcbVH0v3p?58&*#j~hS ziHZ5pYmL&!JPgfGD6R`hD)4iz0Tepe?MCWn?mv2(B<$t{RrQ$(Ke4lz{%U?pNGs%NJeaYsTla2Hg%Ap6#|Ns5>UP`n+O{^zKB$1 zNBz$KP*ca=b7WIjp^5bMYlziLVY?zzcfu|x?D$rvIzLa={9srxl(z3;aHkIBH|BwH z>4@vp&H6T9{0XOY32glf>GZN6oD~{Vx?|47-}3_l4N83C7;DU zytU1R%n^nr@uptY<3sKXpGT%Lyr%%NeH*+OWzue(`{9FS58eCHCZv%@z~U zCoW?FBkD^*=Q_>YaBP{5!DuN(L5b^FBu-(z+>-VmT`wpPgu+2_sL`fR9cjb3OG&51V^KM9UBR76Bj&Fw= zNAqt!3;%`vfQFdyHNBJNnUQnTf+Z2PbM)#P-RuT(`Ikuwsedcq7#2%1)keZg=Y`h( zMO?If5N?t;dw^!yES+FgVZ(GIM0}ci#H+uIxMp-LlApEZ#3K6r zNW7G5O%?T@h%rD@vyhJK(E_W8&aWkJeO+^oln7_ll6WVn+?%z zXba6?YMvuI?LM$o{hO}c#yYPg*(xN2ucqM9x6!|y(Jt#{#{AU`7B9Gh_gz`ScZlXe zIoFrJ!B?kYo}=<;t`FM8O;2#?!Yl=+V(RReg-Ax@maTnc%bBb;;xIOXL9 z(Z=}ex>RjeBTwWDm%42x;!CG}DSz{GG&L2EYuVVV2!*ZYv89t<+11K)hPLzD12 zDqlc!a$<{G18L%yk9QBYG=0R;lRae-gYE2^nB<`&d;`p}(XP@7mDeb>fy{a#8&fq@ zxsW<>M=u&IWie89Qt)=CQIwDHE`M)&&e*-#dvf`Zf3PW7cDa8uvi>CNRLBoG8+_W4rKywaxE1k2 zc*3LHoh>|HuJJA4SlKrbJwhI0ZY8+VhUrvW@pNL4EpJvyKmSsPdEt_~S(T4>T*-9g z-;_=`+H*`}RJJk0S&%mk^!c#sU6k!@4}r=Yu~^%o%4x!`DWf zRvaU$^t5pLqzBon|9BU+KA&>kvb9@Vj@ WxSbojf@ByNbVRJjBLjzl>}Amt^X! zRsRfp#!^S)dCQJ`1=hS^bR~0^oP61;Ida=`u0nO2~FpF}(eT7nhT^@3Ft1Gl7{X||Hg8})K%=h13vC2!b z=Y|(eSSa_}=&>Q{zJm)3_MLk-@OXMc`yohrQ?pC6WUI55yoB6XuY|I{dF9_UG1GZ8=RnXL(5MA=T4u(%$Z2 zFBciHm#SaW1$>Kj;xAzjTJg@p6wmtc>V9E!PmpE#XhU8oNQ<4b)zkFiYTn|#;~d~h zQ86ovx+x4a4N^j-l|Fsl3r7d&KVO-I6t9rT?_zFpggghq$jZY@p5#gmYKaXG1%ALf zk`vcLRb6~DQzanA{HO7#TXNIXu0i5LlcR*f!+L*}tdxwIj6*IWmDn+fPha6Hnq9Q# zgQ2#!fKh}ztSs%IPEixD4H+6fM6hA8IZYRmD^vl-SM?fO)eCaJU2p@d#%v< z1`pkq;f79jHttB)f_zFu(5>o0aNNOIEY=5~v2#}Xi7xSEV+MzY?ohVS-EPBW^ciZo z`P^R8J|-UDSB?%W4sc;*a4QPWSzxD2TnQJvRds&({vPao$00xgFRsBlO?929ij=v24L=f?DPa7jOaqHPaTy^ z9yliHN(_d!-c)0%kOQ_ud6*FTFZ3ZImy~y-(cP%?Bw9N%u4*G(@V#@--wB0F>6In+ zJ4b1xwHVFfuUSY%%;FYX&nGU7E&mZ>#!M3~d^E)^vfNp0TN^UQq3#|Su?cfmOgH0md2Hw~N{45sPXpVfdL?P}sy>lneD;mc(C_%uw0+DV<&SZX^taPP zHJo-^i$A<1&IQp`4NlX+(e)2T=^nDV32s7AdF=ApzWW-oZ$5tBN2LK1wM49Unyze z&g*Wxm?GCAX2PhB+C>0-$-A}CyH!YF1)q<_Pwd>{3hNt5Bi1nLCl)$zp~XF2S`Sn| zSe7wbceJZ~Co7KLMjIu)EE;tc{$_%q&N$A)Uv{mI+5VNi>EfgNhu9Axfwk0prVWLN ziJ^P$)9H%8x~q?5z$uQ;sQGx}>{kfq!E|wsEQ?3-8(rl+`}5q!lz(7Hwng1~Q}tNl z`LIm!o;oRzg-V<;ew2pNjTOWp33A75-Ka@@cSST%b6M9dCBl!SofsIHFUGntcIdPZ4X zeQ5|=%&_bpCY0dmjC^gGFPbzHQmTJszM7Hwy?SVxZO|NrE2!c8`NOMObmVm>Hg}Kp z`hbT2S8oE_1PS3m_ZZRB5j!DNV{BhAf#S`L^A0uR6x=TwXt|p@rk$@|u0a}@JQP1H z1i2w4IsvZh_Tr$JNL=|E`cLY2>wxSG$LH*yslpG%VlGgB)4CPs;0_QL9{r*_b1K10 z3$zH5IlivNO;E-z3 zJb`$d*04yJF_Z7piprz-^?suGv&uk(HGR&Unj~Z$Sna%e^+#E7ul|({ER42L?#h(w zf0Jz%NYU0z8;B(Jtjh^|%i!)uJml*=dtJiZs_G5%s!G?&H1{9SqnMH8kaPv()!Mrz z41_lim(5e5rlvgjD=}7aBnUX&k3Op7p+>C0J6oX=lS-ZQSrq{46J~mbS)An|8Z4AD zli9k|z$7nTrI!gaVJvaKep@_TS~fjeO#YMeLVVei0cMA{SDT3!Y?#bpLu?X6K>RH; z=U?=TH}|X-k?)lBQ2-2YJ)=vGn$lij$9`Umf=^jCGF2V%5*(FT$> z-MfoBda!z#mWA0F^aVFW>LaY@upVewtakdm?Yn*4=@II{)9x2kkWx9|y-TmsCl2nd zW%*vjk<)*M=XQF5Gw%or;3X3M_!Xh4GI!)DYYDz!E@!3f=Y+%1aB&ua?+^0_I*gR^ z`Hw$_`4b*jKjQX#o{c$w~E5TOXK0xr2k7wX(@s?#tn+nHq`1 z30H7=$t5!p$~kC`^R62~s>*z;z%ajs@ZD>1ou}W(YM-PgEfdd}wN%Et9YqoT{%9#; z?nDsCRq%teof33DoNN>S2|-a`&|9U3;6u&)k=O7za4-T{>XZJ6K^rQZpKZGgi`OMg z4R)$%XhgBC{v>T!L=Rbmqa{nGpHj#;7~TuTH~JH@ei2%u=3SB=%9_q)dbp-IhL97I zG4e_HemB$r2F)feIX1=W#f>R^2&88dRAhC48NZc204Cv+i#G5vuUHE3^`xG)Nps@gtv$UF;0i^R{6BF-s>9aq-h^Ot{$9H7a7 z@kQ>*tPG_a94KU60CQn4%)?Mx)^EgAlF#Jpny4cgV#4!WhB(>#&PV@oxen)-H$qRh zfq%5WZp5FYuA&=qbF=~@2%Z!R=|h3j6Tvz}_ax#hLUX9EZi=Gui}=uUXt$fV3G-8p zRQa#JevS#TY-ZefgB8qm2|NX;;%mVV37L03b7q2vL0#{SB)hRM#Q(b2VMYmH(}Qsd zw6-ETK4IjJr!lO@c}13UVu+IZlxl4S5XF_+FZe;c>=0C33>_C37?LuVBQDbECqPnt z;h$fYF(`Mt$sLEa=w@_S&X#AmlTdTK^z-LWEA(;rWeFaWA){2CHZ?|EsKM5kEq6RBEJfLvVsAEwA(Krt#704iGW^YPe5kDx&=H zF%*U65p2RtZ!vpZD@WQWdP;_=9^~5XVl(DHh1kTY4FN~zrL?5wyJujgpdTS3kxK}O zVW0%>oF7x%jrgvB1o3N2O~Qd$iQ6G3->Bs}BF%{fN8m#_+Hd1!)Q{o@i@127dyiPk zxua4g>6N`yoqV4CTSV&?Z-?72VKwr7i?%{;TsW4tpBOBdO>#b$&HNBu!pC0>srwgD zVML;E_RaJXO8;0PNsxMf)Pfb9N4d0uwY2C0zPm76Rz!G3055GN?2kRWx=%dRML*Y3 zUgp`FG$!HjvY#!gsp&uhW(B0^Me@?;j>S|>wJ7BpwS=@s)~@t8!EiMXH2sX-+`)x= ziHRrb4XYs+2z11br(Ykj;v5z<4{g6cTJh?RFrPkHt0uPi3ZG|EZH3f(%V*i-4~D41 zr6Ivj5tQHY;xx^jt3O&03bGZ(y1dR!*;=ks{XOA!3cP~o%^V2z^^6U=j`3k0yC6~- zk!WxCcGDrk+a{<)vY4z@#}aq(ob9kIbD5s%OT3cg#gFdAW#^^nkY!o(&23g`tWN zGt#7$dPcoOO;*Ynrz2KBnE5B=-{iBul|4EuJQ_sqTDH^?vGn~Vn2lztEt#Y4g}N7a zQ1nhNxT!Zyi9YUH6JRAQh6=M`-al7I1=tn{j->9!P9D09_u((;ruFY=A9@IKaMeXF z*t9e;oWmdVEHm*yoBXczX~8qmu(}X;Qg(+qCI#&ykxKJ}9U4}JMc$Uj z$sK+Ggu%9JxF7moH+G`7jAHfIg*}6pa^4_ZFfkah%+u_J8YT~e%O6vp?uV~UG(#066o*2~wV#<3Go9UA0+MsdT+LZ9Ges>uILpJ}25iLXtx7Ny^0+LT|Q z9ydbe~u{)iDphzgt=EYxv(ILFH?%Um`A}^G3ygLoU zs1d_P%akiPhuWQFx|F~6sw_n>pEW13%5C~YhDak)^dll=RBj1AyG~X#ST4P(b+mG;I>#x_Mg?p`OV z7$oL6ejd(SS;3@BVpd#atO`Mp3s|^dwlrw?BCUzjU#&s{?u{dp=-^kZP9u9{Q5zQ& zcf7yc@e{+gZGS!O(nkwfP^?VH3NzRt$WBKnW>(BWDGp?veI8l%fA-UIJ z9d_8bl8Kig1Y@j~YWt5@k=r2Tw04*aQ;gF(F1Eprx*w@buKNrB*0|7krtr_x(8JC+ z2Gqsk1+i(23eU0>jK4c2QqVE63pK+;QMDmGNl`2i^YrSW7Imr^>=LM)sYNc5JCiQ7 zD6lv?c}QPb7iRwQk}j9Eb>d_$T(7LbBaDA+uo5&?Xvz{hs@VF~xma*~V7Tpa?w2uk zdPXX55YQ)}Q z3$Fp0_O7kPY4qzCj(gsQZ;p9?&TJXU39dHLrn1yIM03?Qr2zks1ks<0Awq`dsg)Q` zD%kg^30t@H+R1#^n&GqHr`iXXn0T1-%lT#(^|`fg`Ts|4#h zP+ZnuwuKGuti9Y^2@qt;vslV9L%sq|d%eNV96fIX{F%!j_>X$#s{2H(6+B-qNAf;Pml=iS|u!qj&7nz^)6}KN$H)ZNhS5;eqskcc%+g^SlwzodyHk@_G-rz0a z#EQ4bdVy-4w+>&(&G(j8b%!g>)e#w??BLegvfoO2ube|*AC*5B!UR+sHV^xACFzVP zQnTo$ahdM9JC~v}M-i&_DJB^UtCC66L{1KxlrTek#{H6rk*%!Wx~A^g&NuZLIdYo0Uy)Wz1?a+5tbyTWoz#gl^`XQqJVek+b)^yC!}=`6b?gd0)>G2f+G}D00eaD!`pwdi`5Jay1S|R5hCqHuc=79}?o$ceD)Y`kDbBRmOSLwNZ*) z5#1+g!mPY3CP6xel^bn2B1bRy{nXQ~Nkv6$InXbnNPHrSzAEMn>0Zuy0|7_sIFXt$ z#@CvC@>Q@jp-7~O-bpzKVk9mDJ`T>_9X8H4LR7lY5Ei_`L*(gipj2GzAAX;i!U(e{ zsmmvHIAi!m*~x~xJ4AM z^*1YT`L0a@;@nih7l*EbCS0r_Et<&5&i=u9>9XnN!b}%zmrjXP9-`11G>jf#)xNM=4br5rQMnduoRrYiTN z5cqDa^jp<4_lItg&@+pY-n>+%qEpH5yO%yf#nI=HGstnDhLuP@a}GRCkE0!YI+B`f zsJq=6z#O|JMYuwvQ>-`q%UC8D64wO-Opxs9yNwi#QWrxV%w4hQM);T0Am!u+jJcpc zkSm?b<3Kr3?wuu&X>Y2DzW>}Z=g;dqq{VGjPN04Lb=zM0ni7q{^}PBX2FlD4$8ui|W)G^F z6&f{d)(ofP+%ePZpuKi)e={?8uu^}4fDPVDO2e!x_t1(02l&e-k^4s zg6$*7jJlQ6{Mj%cYw-SEZjp+%mYn=6eXz~`06?RA8}aZ=NPXHXHS5nqURuLwAM>M1 zw=16Ja$`FMEUkUujpeHYGUnV6dYC)paV+JX*-h>92xnQ(; z^TuxTXS*qin0ovCI5OP($ELYC4C8KukjB@I+QaLCTGPC?e@FO2HRpHfHof8-nXpkU zd&OkD_Y=-M`0AgQl6S}cZc~!!j-53FAzFLff{AnaPN%YKy4egD-SL0o9E-TX9ei)!h#-G5b2sAd*sYG!UyhPpYwijxu0xd~e`gsn1Tot?x+|YaaC53ray#<7O zIcs^EU?-B+ zOamp4yWAGo5+ZE9vY~xGap{f|oooL+)bF>sFqT5A?!v<(c`#lw5Wn&;`A{F|-beeb zHtn4YeHk*qNpb!@gQNgl%ixx}_~*f^gkq8zqVM&_3hj}~tq9fI4<`^s>iy4(PhZVH zy*f$=B0oe5?yng>ZZ1fatR=}iy=N|Dbm79|k<43DsW0hdgKHQHs1?UZmyde1A;qc8 zRqzxQGC?P8AF$EAdZWlDG{w^(xM}*J$fLg9Ix$o%zl{MUt6Or~p}27nffy=Y3{FH2 zVL}78ok@kC<{dejM5CjG$P^zq8&XA_fuIAHs*zu#JGgoDqtv{e%OIKsafAJs_b*Fg zyUNd-*sP(yYhe`*IVo0|7-i2E$v**gl?43lf+$&7a))zPLoQ^#cff_sP94I9V2Y9eVlY^&xERW+G3sw=7XLvOJv-IqP4?V*x>yO|XnjN_7QYYq3zZt&tZxc!@187E=KGX*<{-yyh;3>E(2vOS*|;{=6r zuGWIZZ;tPv<;ZkjtCKYJ@xP0xfu((@UlVtAH;;R_&BAAn&~e!&1L6-ZvT;tUJZ1$U zvKnBzv_fMkgWxu4l3LuGwY@q15Gh}+)6NEari_Qmy*>~o@676Z;f*0O7V_tEVr8QUODEp9@ezvTT(%hr|+ zsajfv#0E!eIA~-Eshc~lveM;>+u9JLzl}TR6@Nw1V3o#+Z`eSeLW7ku6PAaFoj zATy>`0_G0{kz&TKyUBF3kf!ql_GU!pysa8oU)K~=V;9EB80@1k21zF!ZhaA|k*I3w z%c{3y51Gxhr|=7}gHU>a* zC$LHWtW%^y{rfYXx_Z==%vlmpK1mih>wwcG6%fI~U9v20;RA+H|HNN=izIKZ%jW+R zpLeUt-~m;fZY{5`L#bIN*<-y@qL&Q8e3J$!uD$H+hBsp{-5z@gS8nBEAPJQq=3?Zx zzB78047T?r#7x6Mb&H65Dmc4RUm>L51T9NgG?m;9Po+ipeMX_ex~d^an-(Z)_!U3r zg^yzgn;8@`d&!g}U2&<^&spg-KbSFIwoQ@VkaTvBk#pF8xJmuHHg?#THevRkHxqlD z!*nMcafSBn&MOP!Krh~rL9aUJXgQ9}x!XL9>wr} z7-AkUQZ=NQ|Dx7ZJ1?QXTQfu^^GU7rKvJ5;g59prbp|@>!p@l6`^lP>GaZQ zcE8vTs0-GuvC&_LM7cDro}=bhqEgB%kvck5S=7;j*nsLhoq`yEK!h>OlP&5;jbsl=)cNKG+3n$guM2H-k6{^4 zSc@va>7fS~_zJVSy)%Jc7)?V6M96^!t)KGH5TXvZNE%JjxmGIgBN6Sj#V$)166ko$ z-cmohy)DT%9QFL@%|}}%qR4$m*AB7V1-KJ$RN>`6is+m7Nh;wo+I}v0Q@A_ zYxF)_eE&Z#hP`YC0?O7w=$(LMF2h(Lhu`!83!a?JqMpc{P;loX=yLh$P7+WJ9ScD1 z)4QL#$?BY?E`bzz&rc~zUd+8^|6@MS@jKic2|TsJ_%IIlbW8PeI&GX z09}cu>^cdBa`cS=-1KNG+XPh;OToyVD-NZ;pX}0qU(!jq5tXf%=)#3zs_m`vo6LB; zvTet!9}KZM@?n{;tK~EfS4{3V-GRiJkL!DrF4f4f07lb4OP+#)e1xO5mitavwDLGy zm||A>strN0r4G`xIP3De1&9~WvCZ#D_?n~G{%+gGv6*mBT-~?hX9aug2IH?s&Q0+G zheg6M?v+I$=93iCOsyws?pZ+Q_O-7sIkAc;{H3egU8FJuE4Ba!&AJ!Zev%?2YI)KY zA{TgsCwzzcGeAMRo<|h^eB)XbL$KNjW3gn5P~`n{q=5Giu;j(;5$U|I9kM!yf6crq z4Dp7|iixs}$2G=Aj?o;J+W)9Hx8n$Tb6 zN=ksB;JBOld#r|z;v~J6BjIhI{Sym-?Ma($p~r7R+(< zCg2$SqJP*7*8GUkA2EndBb?3Dw8zPf_$d)-3dUMYT*Rvk5)3pwkV=b^@5*0s| zwY(P++-DM~f;~?g=6E6;ff0<56U09;bK(%HuvLMCD8mZTDrU!CZ2;upMX-pG1tN50 z#;;FpGU@uEao>G8xY^kk!!4boTz<8V;Hx75hr)wd!Td_kt6#H9971k`4Bx!l8yOHb zx6rve8owz1NdDnzNTDNtRdUTr4Z?m8;$O;l`Qc}f?z5JFP}a@1c{xM{d4h)?1m?nQ z8xg0==I7~srn$X zTNW7_p_CaE&D99uP zAutHmh_J|Xy%+eMhE>z%u4sd*nX02|<~s%~D^`iv9`=n!c;ti>?5s3W{V6V~A}Q-m z!#SXW$9H5h;^?H=`iK8iWm*$<66#KJzi0t25%brhZO&^LvrX4~C7827Sw#b(gqR6F zGl2CPJl#}sCYJ9C(1TkVM*fJ5}{<3V0(T>5#o=J}lUa1rzs!|V)?^u3mK+hwx zr$7nYZ;ng8z>wxloEpCYZ=uG#%rx@{_aadpUK(1JLsoMbs!VL`-Eo#t0s;Hx_@hS9 z_eb1llV`Kw?$%7(xqI*6qA-#-TJnbWIHRM%ifp+gtV?I7zs#I}W{dFIAj}CZZ*X=G zB-k@5u9sMdBJfI^2-oA&7{9#fRD7O~U=N+4KFH<8k-Y$YYN{@>c2mD4Bv4;|anNRD>?{VU{fdygh*FSmG zmSQ(}M4IV*%jJQjl+kIwrP_XhLsx%&v*N?E3+_b>hU~Ee$FsTC7WzEbTkaR<2+^q_ zt;XbZTYt(RMW#y|I<0!FpV?{fa=!|=4${0qzVhuq%?!h2_=%nGN#G z(bbs~%X-P&4&dK)@x9UcT3M3v1`&_`jBdJv{6Nwv`^P1lg|VjMysx7_jf}LQi@&qi z1YyNY<5mYoBbB+lIFF{fg8FpP?!Fq_g3{H3+mQnH!#pm+!xVkdrc0>A@)gX2F|EXK zPOqB&YIJG*Gyl1X4vD)y*p)AgJSZuz!cTzQCp6)=NkO*<9YlrNWyh@&_x$BzLHZx| z3GGK_C&P-3mD8#}6$f=SAh$ZmujQN>@ EvP+MIQq9iuTdG;o%uuuayTbs0*Rimo zQG#XA5?Pa8xr?nr`$Se!S!p0Pn za%9aIizH^zd)@Odb;+$OBAnfxWt>%a;M}!l=kN2;rBcEQEVv}+cQR`tEzwIwlnBn8g<6!K>}dQ(kP9)# zTIJ~Wbw8P2gUJ!YW>Yd}i}kZSL>pmVV+#FYhLl!&@I9Hg zXqBI3bAjN~%*v~dyc-na*2TRPj0rx0HRvtz=!ZBcIeW1tZ&*>}SR5tp zgR1q`M<4foj#Y)`v%=(A#V-c@j_0LUqPN?6oPx72`3C?!2yww8=L`q-%(`=X)|Z{y zyHKhhxhW{jkD~&Th85dgtTOr12phaZC&@s=OjX6It_F`@Cu?%t5+=Z_kXxOu?jvY3Iq$Kh9&nSBgCSoz9Oxir+>wQCL@2NnPR}^`isA1%T>$8A0>5a4pLE zh(3SK;{OeP!hh{_=SD&j&qcb6WOG_zmj3DCZJXe41;S<<;7t{#0smiA@h6JybT|N3 z$PReI^*7tOa)?vW@C5NJj^%Va?E)|~zkZVFHOP$yIt0)(ALo#aww^cp0BXEsLK?Hz ztf8;dCk=y6gIIX|rv`e<1O^wxuon=peRmvh3q`j3yK4_1kgHlenuG@Hr$qWyz5sD5 zD{z>2z4I;5@xRdSbJ#;JFx&z0_JpmmV!<1ATEMQFsg7^7$^!kickMrqkKCS3l0n2l zb?nBmVLP&D(9TL~4Pq^*e0(73S_NPptrNr0ap>1EOKmgRBc|F11Bw3E*WUPI}-OZ+NcfKNvCGZeD6pP4rJU@-dmR3ZO_8KXO!x2;LZS za;sb8N;pHFQ5MPwsT?A&HdSc*KI{7lzsNYFFYqx`pA6an7|cUYIv^j|SAPGfIjk9a z$rNW`p%b1QX0qABsV;E>_0RFC{&SRzzlLtDJq`FPlSuB4VYIvaS@TNrh z^9%Y90k8}M1Y)M2Xo)1MHrgzsa$6Od=cy?V12gMPr3^^4{9558n}nwpw@*+aDZ`3* zKp)SYC2~nNq#>AqTsvh|at$==cr-<_h}+HTVX$MDL89xDHc!^HB{%(IX6P)Qa#{u! zPJ%aEe_H%h3X%o5_Zf?TXH1+v)`(eBrDDPq97LDzj={g=^XLO#*Vi8XxXvZh1be-6 z?8GVoZ|zg(nK~IjIHiI1CL*}^o$(`273cHpawx9L*pAC|lr{VkbjuHA1%XCs#rH_I z16RR2u5AD@L+Ct!ou0KTdc9Tue%iZfP!XVO%7yq(FB%cFNZ1RHT|i*ah; z-Q$5is{_k8s#`GND|3mQ22HC7b3zKr^On4tkXO?uJ6a0(p0nt0aw5I7&;|+gTR^QY zzilAeZ5D9*!y_58+_ff#)c-7|cUIl_h&oSV0MBH0#7eG$&8Q4M_*8=9`+P(<+5&hlwz$s(lv>!l#2ch(Mw3-j7NgGD2z2 zdpEBP=RF0K`tcswbq~n+z$?5LgXiYquM1XvJg36+zDHH@@!sJ8jO!Wj(K4jRS2TGT zSG>g)vQMtKcH&5JxFmiiIE|}^nY2msU7jRO2_zt=Hq$Z04EG=`@_`v_?XvGfiG6`5y#!-5P}g?UOt!L?L=D+5d4|` z!S~-FO$|t5EK8BsCiRi_OKe)KhLQy-^we@bSQ$xMssNX*^}QkizgfgTtJky9-U-@x zsu1CU4M7$#d&Lqd$1ffbwKrR9ME@;O0IC#e>KGe2E{~lLB z>PW|P^d$DAqnBu{cM1jqsu6lZcAD**%qKCNoYzzbgo#E!Lq1q8I_@&?Kg_toYgYmufv$RJhws0G_J$byJu z%YGN>mrGA``6&lM=*gZ#%=$#(4+0+8^$xTJVUS6=SHO3Jr>>~5$1L)u>{F2HS*4>C zAzo4uiBZO#$hJy9N?`2RuoOWI-p4t(?+Udk&sHIiF@_Z_MGrPv>uLV}?vz1lVgC!W@w4}3c#+Qbc)29;Qf;3KrGf`nBR);oNlfV`s zN8~KPt&3XyQ(S9)MTILEl*!aA8egLjxR65o6Ke_QF+#d)c;P8}e7ihfBY7_NrZbem zxeKdjY-!S=Y3{_%X?Y;HLJ_pjOzqPzP;s6DPZjwQ@By~=66WW@oo%{B+l_!_HtZ(t zVtcq*ySy*%5I8_p)d#@L%D&B4(L>H2rwAU;dArpDuo?Y&?oiWXJB;-$ozN2G-%l(s zAg^;s1W(;$0L=sXAY1u1)df^L6BzwEXkD1Z7n{j4p1U&Z9Yi^Vp9_JMUh;B*fSY?; zIV(VK!Eh#e1K$=NhAe#n)am4nz{ps!qOLL}K7IGM&VSj#JAIk#HYj2>#_8#z_!RXB z;y?l8;zLE6z~{zZoO6r1$*jw8ED=jQnV2^Oy@^cp7X@>Qf~5*qpg`K2Y6|RM9 zg%P8JYxiYD8CmDx5gJpbwdKLE=BGEp;dLQ>l?U2*Hx8*^-Vwe1_*>)=wGT7#3GRqe zvwQ(^-@Gz~D%`{%S}UG6sXZO@B1h=68blkf1=(qMJJC1V+Z4eL_%ILsPH>wT5!7uQ z9;ju{T0I0urT{w9GX>ITBP0NJy)&-cW=W>X0J(Ry{=loT+BNpJ-XhG%0I8_W0i!ej z3>H`$DB?%)HY8JQbk3N`TbEVIp7H`OZT&1CKnAR2#O18BD3XL5IRu#f?H;!+Uy_na zBgH2_4&eMy7l;7QiUf&OeO#D(3RV@rK@vyG^O9z40YdeRrhS_navfZn>AjQVPTM0! zxTbyPzavX1LW0^8tdmxsHvtnoTHOx`!m^@KNmxoyj5 zVCn#tdhjO&qlrQ@-h)tmj*y^sGA4E1xrX|1v)te_Q5tzuBC#Gcq1{4Ct0D^lGQZ|W zd*r2H|JmkSS(&gNGF|vLT?Hs5KFHj9%L=JfF@a3DJL<-2Jiuj^kkOPzhAMVXeo)P} zpw$&UA{)mf|MQUH0!(h02Etu)GL%JOxFLR5?YidHUo%_Qk%7#XGPI9H=>Ks{*fLs_ zTGXZ_=+ud5ma+1o52=w()?u1mgi31_>OHL|{I8nf++}kED_V;=L`YV^FujE66zJ-0 z-Z6KNp?Cn0V@l*2zZt>~F$k}ss=$JH|h`gtU17hLlM7`XRL%H4Wxc z>4+uL+X@fGKJqVCHUKwnx6A6yr6qY$y!93i${2Ig1}8y%=WI74IW@e9$I4`9G8j`5 z&lE9~C~HeCe?pyQA5_XUh{a7N%>}Jx5VJU@8@>H)J3Z6;P99r7*|;4_!3kzTcBQR8 z%qj`6O-7MZGDN`w_t}(yHQ%}gTH&&y+RdN?k~A$RnUmX0b-7wmJ?cY!AZ?5%B}v1H zDEGtfJF&tX5;K-?Cr{VZ*sm@(-xD?`O_^a*bAsfn#NHjaH^Gr(m&rZ7!w&Tc!+1qE znZBV>Lx$2k1LDqP;i25rZ1;BXg`+}5iwKv^k@t%lkNf8EIm8gIxLT0LtdPkN@kXJO z#aR&;_kIwxt8B1XOQ)5=@2P)%!pQp@@`494o8%1kQp|)0ui@a{C>;LkU#URX6WO2j zY@MPrO8uuvSyA)d-8X6P6WMY;_h}&v+ghK59Q!aM2skU{2ula8r*3`LeRTyvX%9p9fOk!}OfXs3AI@@uYoh{ZFnOvK4k5Zc#uUbX7HrLrRCqB#B<-L1v$zmU4y>(T&s+zXvt{$8= zvykb?*A*Q5tR(*{&_h%{=|#LgJVq>m&)7Q`6cl9N}cNI8itWzv01~Awp@{Z|Ew1 z08Ym`<((HON+DP8Ij@1W4faip#IQm=g*5}~ZkdA*CLX7 zD1Cg5Y1Bnm`ciRXprPtd9L0*;xZL|F_+qhiQKL*cJ)w)y-+CHWBS%s=IOdg2A(#`g z4sCG9IJ_8&WIo}VeleJE6f2WG@U>P0r_&H0$GFFK9<)H-rQPXT-% zo&ZEy?ONMAxcywK*{y8@OIP<^Ls0=MUWd5Fk)&pOJg0mKuox_=dfh&UD@Zy2P3!?}u#D@v`y-SV z@R)O3(%#kPho^!N`$5DnlB7iwD+AbHwLic zpmmhE0kc84Be5kl8M`xFv}45q7EgV>04*CX1vbX0XbW|^M{oGZq9f3X1TWvDPGUh8 zyctd|Cq{TM%HT!|Yy96-bb8qkBiw*K?kfBcku=ZX^NNGS7;jRK$Uf>O+-_$0?!<6_ zPrD4a0D9G+h9v+sR}80yq^#rS4XcfW}=~SdZYH`Sq#A@$wUM&x>D=WV30}$gK35-xeN)xoW++hyfUx(7dVXeZ` z7XYxs&ir&0csF?(B3|~Oy3*^>`YFa*fROHH3T)p^3h}q87==A>`lJhur66w@2d#qm z5LX+93LPJ0n-KDoGGez|v2S9gMn6v`QUv`-z;8^Wct8E>^3a=nc9C~*6p zK=Kt`_?AaO6JF~tW_zDwYf z_|FV69tuRC;*rsQ?HOMrUP~$V=Y#EXlew&*K_#aVM^Z+Mu3wrHRJzaveU% z)&7kjnVRSHspoSgt0?g(&G6lXHaf{33b1=5Ij~g3lpPCU0{UM_A$Q5_xvv!nA1!%n zR=d+d-V*Bbb1C-B zP4_hL!%sc5|JFN@A!q(YFFQz#9ar9^Ox^!h zNWVk=Q)Wk`sqxhfZaDK>J1SANazn?u#(h>e>=>%d!`lK=V~}TW&T$s#)|0UM70^U$$Y^3orqNRU>9-Hw4y8Dyz zN_HRGIs|AK;~pb1QB;#@Y!s)4IH(dA^`KF>!6?DTh1WPEEbBGemJa~Y?lOwo!imHn+!+Uv5&{#$I!r3%SP;CJVY zniUIZ6f8ou{~4a!fZ^$o5Cf#iGn*;Si1w?JI3hFRaCEmh7E~oG*ocZu_TxdCMxS#~ z#jqrrv>^`6;@LUX5Sp0C)P8)D84vJe&bIL$19c#=nQbZmvr+~Fq=iLumokG{Hnq?Y zs#iI&m4ycEz;cs7DrVJ9r18IV33^c>hZxKLK9l|5bD7ggCWXU{HdJ*Ti5^w-x#Q(6!)deHVPzi3OSRV;*431HnD4*OSp<>)KH8H*MVikFRQ`c?m;>f`9cOclS za#7+kzwU_|^Qr3V*SBLF`B(jE6j-LnM?&PhfHfc$^W5fBb%uy?poq<%Lja@+kMetNhg}|%4k<=`{sGB7$HKEwxD?%qsl*(|B_{5@*LHS&+0ylI_%9z z)iXeNa~yMhj@|u#f1{QGG!Q1Mi_O*Y)Z&~LyFWd|GHL(eJL5Gt;uwYlf=Bl~C#yr~ zq9JiV?%U2p7tv$zzxRAipGQ_QT#jv`{sd;r#NeVnmvAKYmxLyMv#R>^H7(Yzcx(Q`f|i;&tDr7j0%_@kf@HU z6QGWMBEm9=UlG!(!gU{;WYtV?QvX&PM5{vWxM20ruGsv3bsLtK5f69!>PfTX5!nIL z_0@>php6s6{$ngy$kGpNiHgDaB~{X`D{+{CBb~{73&$%*f82MzAA+}yO3!w2rXe>& zoe~yLk-~4EKcou{X5MSjjHjYp8*FdH?ijpaOw!xhpiswjR~E}$NVLTr z8WJ#}!yz`@fSk+Eua04zpzhx|2Fe_t%ZY;}b^r1K6q8t4A>uv+hd8}2|TU6!=z zw?lU&K-zZjZw~Z3!tsg1lXjv5?G3lT+|OcwlzDgYai84$^sx>F1XUXKa2lWVJHFxgFeP_;@YLZKRt(qToo9KD8_g)YD72j*_14Mx9tC6HF%lKPds z6IeYVFo4uZ%2H#K)(56elo^FqX^aH6Fv{o^dtJpECGh^?82jU1t?hzrR6V!nPgp;* z)TvSO11QEzO!d(Fd|a;M?Jc@5a}(hx+nJd2F<<)}Pzve&H`y7Q+8PG$uj-pzjczK} zBMZHPL=Xmp-y!kWIau{S9{oCtWTpnJe~sy`2mrxUbP`p1mT_i0 z{zOK4L1$OGiG4}8o?smQzQ__VcDH3glR+m1&U~^^&mcz0N0B?Fha_}3R?v_@x}QlD z57=)UG<5{uPQP2o8M_?FdAE^6w#tAn3`8N#CWqdfc*!bsP+0?dFMTuJ4Hg~}IPy0d!}!VjbtFx2gmPLCHJ9!>05H0zZMd<@i;EH>yCe!C6Rrr@HhF_*T$(^IhXT4=qcDPpDrhsF}@yA#ZWycn=5NfZ%k)YrS z2)ct`nMTP*2`l2^gdK3`*KP_LdH2h6Qe6Dd!}n5#g&;%&yv@-%llo#9A6G{)F}5AOhW>G*XdN>!OH5l%8WQq*KW4 zbmK^J1-%{YKG>GT>N|!qa;x&+`1O#k)hCM(+2}+H@51F4*@q2IX?-9)SrC?9;v8!j z9-dg_6EJ%?75QGNW42IDOn?D{TNp#B_uwRMqWEka>l{j9cNoJINW%DG|VznUL}S~=b;A^t>RuKI!; z2sLZ?pc(kST%~r0gmu;TSCU(|sAU)G7qgu3#VsSxv`WT8SWL;A|MWbP8;=eI)j{?w zhHjNAd%Om3IlICdo&Z-jQN~ij%5RC#Uo_PGvZ59WZ?2-b-%msfiPqE9N!~s1TkLBt z*)}h6x451Za;AvGonk-3@Ee_+tB7*85oxw&9A2T=-a_NmV4W-#>z}c2&sBqkGCg+c zF-*=9_#)2AKaKxJm7ILpVkYfc0IxD!7ee-ZAqQO#;d9E3_ue?(i_9R03`?Y`E-p8U z0z}xni6?2SkK}d^1?a|gfqJO?-2w@G&huRm&!%XwPI2*&w!Y^M4l)Qe> z>wuV&7IYRtYD%VG!45KgkQo~_L-~*DNx2&qcwZO6PYAeyZW~2e?vQTA{w*awZ)o$z zOWz&9G`C0|Mt9+fDI>X&=Zd-zrLe|$Y&k&|P=+KXEHs0HDq#j!7UN4gBAWndqyXhH zx!hxUwi%Mi9T;K}@(o@%52=EiJOyk>Yw+{e_+n4Q$#{~gtmmBXy~HRyK`MeE>5z^k z<1Q^MSS#3lc%Fcb_fxMbLZgEd1g{T3YgVFkjWi{<%w#%Wi(4%p=OH${Hdx?qmW2Y! zb=ya5%d4e+U`vMITskIk3X)$Gu;uwuPyxrHBr)5t)RCVqJXn9$Cab^r_39EgZ(nYU zxRfmE69lOHt#^u14Z}9COSYyTNJJ&qkgD63dG&37e7=>4_8YCy18}B7v3%N@pzmfq zwwJ;LAocq)hbZhI3_;9*>@1uR-##4Y8};`!=j!c8<5UR?3xHvp9dOtmSDHUb&A&;C zj8CSDzz=2#i`F47)^Iib&|MbB6F?ZGU6=_Tg%X1CA!S$a!H1X8To2W}nH9YgxQH@~ zenGM!SEHnW>pPKDBC<3gd-dkzg-9k9JcQ3``#jOTqO2L4_5A%3Nbya+cf2W2W0jhA zuZJk*^y#B&2&_dlO5H4d^QQa#cs22V8f%t_sZmzQ-EVh5VbVlK-iAS$hR%bv1F|u z%-Y(vYTg?AYF`+v#I;9eRN>+V!p7tD%|$sSPM2Lc!osP+doulK&sQU9cErYMu8(MX zh+D4c@H8N@-OK4xs~9GpBkXrF(cj-*cnUgL7V94Wiepv8Ef<~K!{ zJhwwACT8C_)PSiFs2=)?x`@cTv-nd+JM4q~HQOA-WV5BfnfS}OzIwG3VxKd)8|ef0 z`VT-_LJ&H>Sg#AhyWhR|Qf_Vd;vLdNr2)`Xu!N6yB}bv7fEF{ zQ@8w=5XDNgSURoL__b7@c^WqKqz%PB(4EPPV&5N(9#OZJEga|+2h4aM=E$5{I^N_A zX2tI^FBR%rFR)&KDGP|IjQ zFvl?k?cv(tY<7sFD<+7Tsi;*L{=gJwot-_Bhb-KC8i zBK)!nb45`iAI=OK0Ozh^N*F5Bcwtv-r_iIq9iSr+SER?_%}Q96Bd$m>7q2C_dic+R6Xm#0$v^_TMp zodYb8`hS+jNTMRKIyn}X0fo$VAK)AER&m!F5)4bqOXmM#gnjq)dxRx5rjA|fA8C(wP`50JW3%Hi-HeP zNIfMlH)4Xb*QI+XxFn_(*Vx5Za-}(U}@~zsa%yr>ZO=P24t%yC6-%$haR_ZJ$eBm;cVh z`1QhDC?B8tr5<zwff9a-tXju*6JMNMpB%5wHZ@V&|=I~i2Px4e! zlph}Mxd*S#szzL?>|BgS}S|akHg0>gQvUv42Wy z=s)G=e@Sj}@wwHoHk6rq?;FJ6@8Iai#>ujWZOQC^aLzr)o0^3xQcPH2?cYEndVI3x z){;_a!up1)--OEm!+G&X`@rHtQW85BqyUvlmZbYl#KhdPf@nOAWTJ;Z+9AObQz^hj zgpB_W>be!4O>N#3ms^Xii8Tsp$9VQYn{|b`OjP=S{OmMQsOD?5CQGVQb90FjKLy)z z&4_#$rZlP}&gq!X!18>>EH9DSCFfEK9L?S0R^eVxLY%n%$f;zE95IqgQfMR43l(3jk_TOd* zL+ygSZsnoJ08MltG&RVhMyA8H4e6C`WOYr*j8QPe!<*0{u7? zpXe6#8&d0q#$32M@e@~{SAcnsvg5wfC?LtO`ap99HBq?^Wz~1abM~N~k{C?1=e*e~ z-;NgZZo~E(VAZ9Iuy`V4lwMflH^%@+{dJ|J)Tol8Eya7SCP(&)r$CcP0bG!r4J7CE zCR40r+GjS{Gx{u&QhfJU>U+S&`?|$85gtNv)kt#MiY70%@gcmmplv#(JW98yRXp?E zE%gnEpmWq__7j;#0OnrPYr%7Rjj)Q$dx~qR)V1NcE3TEIJqg(1{bX?-8 zhhC+m9*+=HpQy#?OtE-0l}l5k7$u%@7>$#USf(d9LErZYHL<@+V`;w^R6vL`KEU^W z96X$A$k5NrmP}1MP;!sv84MOx?g36?8a~zqs9tEM?yLVD0sUFnaL94h+n*D?v=VA( z9?P?=zpRQd3(RcjS2DIYXa~o4@T0&8bm7CI_v>&ew_2oo_8;N7 z%WIpty>8XPe2$wVy0CHOvx=&{;6oV#scWx2`2EQzz^>Qb*P?hlZ9ugo$1o}saq0OH zPb^LE2_a*+x~qOqU(eBt`OD0h^S8K{RE6$|`)khRX^l-B*p{hri7TR`>|nfeIq$%6 z#aj|$a;eu4J9^NA&E6<5d?CSI!uE&!!zs*AygajI^z%flJ&t-b#e^4oRDFc02vR^s zl7m8`mY9(Ui`mY*pkR7RO^aicgj$?QrxeP;;o^S3gtA6S2 zH~Z*{W0Szb{$~L2&JGW92JT^`p0(WF3-s$m)IOt}U*TMZB~i4LYKH#7;#o^AY{Y^5yR>P-2Qe==mWWq|^rm0tW1$xTANL%{FeuO93nYGNBfR(~)j!~!FimNL zDwrFX!yB=i5%WXk4(u2dH`RS5XM3G#^Zmkf+`{$K*%MejS|e-P`v%7fUqyUMR!Ww5 zArqPmg1VRS!AgclHT1%aajvnHl;7+T-Y2mt$+6Ht$3O$M4f_3n8LVR%=nj7|ht*(5 zm=-auV`yy@2ISUnke&v z$1on6FW>1Y$GTiZdO4%T*95NXd;d3^0H+fii#lS`8baC9H%wDSftFEnfOe*jSnqhF zr$3$EmeXd-j1P9KR7)Lc+)$H?Ka%z9;p7_qv*Wc!(-W!EnE?j1>sS%Mzytdo&9K&# z%jjAH^$yFL0u5L!%#J53sQHE-BzR@5lS+(k@vmU;!z@+b7eepR99~ln0zLFB!i#R@ zp^U^h>kRtL{>-ErrD_EpR+c7yRBi7P8I;K&ljq2`6zM7yMHrsJN(*PUA)tichCy7O9 z$Z6eDxHqE7cDR*^MTtm(Z?lx#oF8~fgopJNON<2lP`GGa$mVlc`RQfIGHpY0k>f94 zQ%N0PYCDN4{W^F9>#y5YvW&Aiwmy+`cE7W5OkfqTd zag|fn(V-gyerHp6ibGO#);h09eY~I?C2|E%_F9d((+!7JL)tTpiynid7z(#UoqzE{ zOaRe|X_WDhO|k(99zY0y&Q-kzDiV+a0Th$sR3pYsPli$N`H+hbZxK3|0IVi6sb^`m zR_xJ5vVIRKcGiXDo|7^Im2t{htbs$P#bdr3!(m~a1_;G#V&dof8q~ocB`)~C(ma-k z7ge3O{hvladf2Bzaet5NwiHgZVHD_o3+Tx^K4se?HnsT?3Awe#2AfN~9;E3k^8H)i zU@3T&T_ikvq{);bML|2!Y-@U_uFj!QD!l+@^gS$aPx4LFCi5Lr=$AnHbE4w9d(us{ zGa85RzXUjHc{Ql)I>F>Bz7?_#vv;1{gknaP<@p7+2xr8bv48_bzJ*E#HTY?>$SJI4J7bFHd1YtB{m zKCe67IF#*-_Pb#sikIcGUQNjWNeY2p`VkcI%hb@H&5-I*KC1IU0N;FkjHLgOy2lsX zPP6xK)fE$3HC)j2_yBmZj6LAdN{4r)VvsO|CThscQL{UFj!8LQ0cr;}n=CB;OkV2J zpm&?(0(WpH_7@oElyrhoA|oyR#jYrclf=RyJPIIA!o+Jc7A>87n2#cka-pM4(VAHv zi}mkqYm^9c+RVSGN2jyQhg`{k$Wm>tX3h3QxN}S76}}N6{Z5K67}Hantz8msm8~O8 z^BRjj?szY^@!csPV)La(yY?}K$X)~&AHd1%__bBDloF0i@if!KWv*-8Q5-;|Y;iBR zA+8PnSeAp`G?(U?f}9*W-r6F!9TBAxLN-$lHHd5EQNb!GF>Y z8+G)Qlgsu3?mAg{B2~1kpLZ+RjKWfyNVOR2OZ`a-x!a^_cchot(RhN)0 zz00BIFyroi#g=h>(qr#S|3Z5)xuN56xyX%7I|E?jL%3Bun*?P<|7Vaz6&SND8$06I zk5FDsgn03o_gH6RAIx7HHdeiyC9}A;`&?^UsA?~PM|SH_x-WH#9i?t&2u>>mGR7-a z9(O%4t*MJTGrKguzwsS+r;#IT&B?$95EoV=RY=VPRu++xzXVr&F-n}%|Er7yRi^Z~vN8&rqpsJdhv6Ipkgqaf9(@ZaPn+ekjfN3kZ7nlA9yD_H4HV!4hg-;WY* zA57iycbr#Fn!3Pv&d!igHb&1)0ipZGLM#XE?mQP!IoBNK)K(v%87O$QJfT=~z#qq; zT2&MVzZLogt~w=}00OF?sutGokJe-cv_lz)%W?_^y>Q2HJ(Bow&8ppOauiH@LiYjp zF7n`)Y9iAaI>k#(ZGW{7nhkET%8`cMZ=K)&?XT=Q=>o;`i2mR zX)UWZq{Cn*?u}V3s05uJzow{XJT^xH+F?5`Pbm%h%IDXZ0;X<}TbV9L!6`*APs@|X zCOmWBFA!ufQs(iX2vdpci{a6d>gwwI^VnH9U;r*UyCR<;3gcJm8U0`gmE?mw@6#YJ z$(?F;$~YmJllX~gn?4ci@G9lQK>C36rF^^kfv~lBp{tYtVsYauscR1qO-g+X2Tp%7 zPv#-r#wQ6X(8&Xualw0wTjNR!QYcQ>pjrd-v}Ciq9*_7CXNFK){hq@0iXvM<`$1&( zulFjEZBQ$fviN#%a2J!rZ+o@LO>XlKTHm=Lgi~U|U#I#-Oe-T~&{Et0W)~+V=&Xea zArfUZe&w+nN3JyiIY0V@*YNvrXWMC*60W#rCazY>0_t@(-QOofW!{vyKWbxlex!p!?A zx{!wjBn|8``}bhYk$xP?^N)>=E_}3B6VzOn(MZgwYIwq5ig`ow95R2KCO7)Pr}irB zLRhAw?HRJvEHT7(M9D1~)}DYcjpc*%i6)Cl4G>1glw3AG<@hz)^j*xV<^k6nNEFQ9*^vpl5+B@!sL_@}Q<$E3j+ zcmqd(enrqtHRs`gmpd+m<)}Lva8<;Cx}N_=bttnIu$Q-fNbk;S$d&fW5A0bJPf$RA zpR`z|P4s?lrOa1z+WY0E5AE6~Z>`8Ln#K~st|p)J2?D$MZ-_+=^IrOQH7#z4X^@X|#0Md&UzWmuyoo0CW!i0FhbC5eU9&PW|Q&F;Womc`&Q|4UEh0lN)-w}B zr*N9~#GD^DBf5leyHzIU4!;Hl3W5k5kwCGX0ao_VJP&$9!>`3ISgfk23s3;Qe4Fec z7^T4|V3HV$P5^4K9H~2O?8xueFjMVZlWnyWJicP()-;qy^%jsEOcU38hn>HOT3F7D_k zUgD0aR!0>_P1jeH0`~}*0d>ls-;h^4doaIT)vzQ2WlcB5A}qc=B1A`JjchdoC7Myx*dX@Y%`V_dw`^SJ04(!uA(U0Q$W!M zW?Fzz27y#84x}?Qqt%)!i!gGdhVcojU7LQ{rKPT1)?sJ9v8y`g8 zP7eIABBU#+foQlbjIk(fznHb+LW3ZgN6w#z{g?N8`-#@Td|p6>IafaqXhfrplzxu@ znJ{zS0ijVrtupN_)6g4uj^<42+*j%uw{MJ?5h#`XGtXOWJSe+EcHU}t4r6%+ zlz5|!n=vH;1tvD#=f2v#jP3VVb|V1_;Mi^Gv;A{4lQs0zw3=J7+@-`)hrjqoSnmRIpL$54l5XfXzynl$2Vlq)%$z~%q<(2oZE)LojA

LsvAA>9+YPYQRGL%tsZ^1N`wpk={HrY3waRjB6ke<{z;b{y2ExtAKBV;jv8%;Hx zhe(o5MRLzOv@pE;n0PPz8ci?9a3E~?BVvHIqsmP(de|N>4ulxzD!%N#NLC(f@@9z7 z8$t}|Cky7+gdBFd`5J)$-wSj7Yf)Od4D5DvV?-qK=&&Nv| z^+T!vK{%Z7FL+x|L(2B;wWbn^Q~AQ?6Mkgn0R&~<_%7E8yc=r4q4C4mCTc{P(L(T+ zChsDobc;_`&;{XD0|o7sUjC({6G08=OeLe>>^9g`mOBFafQe7LcT7YCvxUq75`P|WFND&iDjnVhi9^( zZ{wEM;fL6^qY*t^`klj3@mY{Am)j%`??8M1k1Hs6yO*&^HqV@|;-(+hN;-uj|LQK> zX|wDO=dtUpSyn;IFs4rkyGGUl!fm_~xwIKnq3Acwg+YCep$6oA2KS|KTpnTCt!`8U zuvZu|Y)NX7dw`baHfVo>bIZk+l)xf+5ra&;8JE(HcH62p#DkUx=;=JPoTi&9fa?V( zr&$9{4rH&<{YC1O`mMxbX0Vu3;GLtSiq#}3k}Q`A9=dAnTKGdo>}4SOZNr51ZBKB8 zMpYS{0rl7-AemB*6wMyZpc9|`)2wB1#i84_?lCxx_TS%hyZ2co3ah4}P_q=M162Ed zS-T6{bZ_$EEG6hOy3TI}nBKpYMVl;?U8pgI=~%(h))W`OUeS2<4)tcKFo6+=ctE0o zI`^q#e_~2?ca+hql4Egwe8ppQ#-1tmgf?5?UM4(@I2|(}|Ahs!RWU~>I@0V@#+6rr zae^~&Qed>8PDJ{izhjhpZqc^Sq=%13M^MA$wQWc&;$4cu2LvVD@{63Gzg#+~g6m+I?;p(btd}N}! zV2X7?lJ;n50_{7EUG7Wq#>tV1fg$S}#y^EVOWd~H)&L@9i(0ilcZPEZ3HG5QHM%!Q z?TA|#>#GdSSBm|4e;yV3%U9@sw0Dtn$RH$N$qw&k26A`tL@M6cH>1+T9JT1o{)m=* zq!sr@aQr04=f#ZWy|-W4$Cqm5sjZE_AQH<~=OB}N!F9OonA|X@oa}DE&XoY@7n%c) z0GsX?>s0Yoe*eY59F#>xrJdic8x&S5tX^{syMf4+wps8JT%sb`e9{IeDA&WPdTdZ^llnCKkZh< z?BG;tiTQp$@+364cL>}WP#b8r#v0!9>I2#Ew&SVt`S;yBj9geiE6~GK$PFmQx$-V( z3rOOJ{2|@eH%0Ud)8`8O9p#vhY;M?!O-oH;3G=K9L$2M~eQ{M%dCljtDX?h67nmv-Em&au<ak!wOprFkGT$nIlJL-X{31=bO6*^uKxd9}OtW$0IMdBU0ku zE^tkXFV$+W3=^Z&yGSBrWQ%eXTxNwh70UohMqTJyY#{>nl6rjzCyp0W5se_!2h=%$ z0==xD*Qa{M)fgmmAD{{t@sp6`Vb+H|eLZ+?ZC~kF*tKQI;8#(muG;_VhYy7p@7^cV zAd&)8ewhBz2!WZyX_Z8#wzU^umHUkYoc&(!QKCU@ZS0N{L7c>H3g_lSLX%kxfbEcv z1nwO2Ywo9E!*chAV-Yw{i8E{Dc|l)GlUVs{$#kpOhlc3n{Vb!6O&qz|HjG zN*3mKj{C*k|AtSgDDl7HJEar6sE#MM<_y=YeSI+H+LGwfCfQl&K`t)|zWVHM3nbfW z5i@P$jg!o_n&0eS#8a&_&t9z9?`r*k69CL6zJS(%ST8iXHxVrBJaaQ+XZj zmReN@J1IS58vL(>J_QK2xwj=@cS{BjzOJgq7gpfe4Qp{xA0@_-9jx21u_l2E-5@GE zU^?LJiE%b#zoedzBZc)+s;vX5C@~yHwOkDMYo(hUV{MLfwEC^>xJ={2=wYJ?5dl&I z!D%G`=viKV5NmAwCjlP(qMce39|ZC5fTQmR=J^*f_wIzqZ~{1hh87qMs6ixZB z0{Ig;g-%Go7?0%2d&dX1GKT)M4;CBqk1`|(yafWMA+igX8j)>3Rn}lbt|NOEx6jTg zisl*GG_m=Efv2RP!#_PUX2l-o!s3@mLa3FdWD`^NL`0j$&%U>HYgO1Ao4_?t?Qr-r zwMa%E(yQ+ofMZ{nTgpAcJCKdHl3aB76hf>`w_f*z2as@qbCosv7yOpaQ?%@xhRD!~ z4izQoE31xw_vO3^{abVwY7_px(4n<}B~KHiyEAaTqKttAg0^>Oda3I*__=exrd^p( z--yQnUvtgE#7Ta$2m#Jnp!&vK)3~l4M*MmQeV>sPaiVG$?~d=f$eCArvzlE`50a*g zDcZjpC-KY9f(3!PROwXf*rEKQI?8;25_ZlJA6|^0io#;ArP6m6Y)>UZAtz@n1%^A~ zt9elHm>!IOduYz&M;M(G1wNCaTSwq^(|auKG}S07a)4#Zgw-JasxpaeLlrIRlMQSu z{%XiuvV$(p;`U_+98tT9lP6i>OL>!Br6KTIxNs5J&K6nfg+{7kf$8umYCY+vk7tSz z9qinTSzaI@bKkpm<4ViH(4jucZ^{riTx+O_@|*D_c1I5kxmFTn1(dlAVbOiSXFo6Z z)(rhw^RQPGnnq#s+Hg&@Lcu)pZ=LdSvugUHVPfGR-SSaJdvUoB((}T8VuU9*DtW+& zwWHV0oca;cF8<#=BT?85dSvt7_RKkEwJq|UB2E8dyvCz>stvdJgpBaYgfx-r;dP5v zSSRlzSG3J_7p&)UQM9CLfvw5&_`=o-Y9j!P{MrcTISw6W{B51GH}$X}?|eTId3CaO5Ewk0aLHN)!xXsGFj#WQ;k8nj{f@=l@BTKo3jX^9 zu=b1sg_1zrJuY+rNKWn z<9r2i8`D)fKYWB{J8e}zebJQdW~6e*=|&OZNBcJb?RkTpRcHaBsvV9Chv*xtgy%{) zj|eEH$DmGCve7@wIChmOwY69>;FV07(e6OL6=FxZuRU~DZj`ygZn)p;DdO$Vx}BCg z;b^6=CY)TZr@J(~TCZ(gGFkM_6{y#Ik1v*1{8G4nEXuY`W;--xAy_a3}%|76k8X<2q36WX=2J(H5yLxX8mdv3+&MzWR46$Z$EesS+pytlL*#8lm&%GPqvrE@!$V$o z%9uvmg56xSxDeKnIWcZNr&VC700;*_LlU(Yjw$f+XYB^hby!}RttDYe_rss!4!?OL z0H!%tKhW^pSKDLy#xe(p<1LZKb8|J&v?XiEH_lVey3|APsboBNpB`Hfkw~DMQ=;*k z`Kr{2YyY`r*(`{Wi8;u>M~D^0Kq64Bb#Ffik}yvaq#YuwLGJn{R-17U5T1xb$6acj z%nplAuh$P!yfECzML~<39p)_Mb{*)pv>czqG*NSzzC2ygw2Z>37s|l$GoKk8rO>8r z)MeVUp$?iQrycY_yybCe5j<=kf2eNt81_bV&%c`nuzys5*@n=ifby&G9u7e zx85j-q?qO3JMh1rp&n8>VpKPM3eDUW1(R>tIFj1TBkr|IXlE`y%Du z*yPoCdEgUzVEfMv?9^++?Rwz?<3{6v;|v^jgS&kYs8~}%J7q2vBlzA=TXM)MMTz>D z-KXrXbAZyu@0fD~<4k)YnBCM?7o=K@gxFdvRueWO5=6vKsEtYz?PI;T-gW;gsBQTU z(~gdY?{H6DEqxOV^ zct0zUw86gKghnBeztO)^6%P{VRefNwNNJ@rmSs{qc!R*Yr@Q0MCwqF|yUne9BxcD$b3=_QX?--*xFkjch1%`~o-`*)U{!L! z%78!IE}L>zNJYXi#Cg&hUr}M^IWqa?#NDokU>00y?(X&1hvL^^1UFCdI&-y zP7ErbS$)$eMB1k$5sYPj>RQRO5waoS|H(4}(k_#75`7XM;M=_SeyA3qwN&w{`$KqL z;3O`E5f<+d_o4^)iw4@>&DKuzJb@fBgWMP1AYX%b{1@tD3GM0BDg@h<+FS=}=%Tv3 z&HbNslgIJ+2-K2bsl}`|;wD`$GP5=mRmTZYnM4`pQf7g5mG3dUh=jr2M^mZropBZ< z3#$)F2{{??ZG9NlM@*+bqAE}Ghn;NsS$S(bEu-S^a}=uyorVx4D#qkwBOKRl2@KOp zeiaATd5O}cvX|uP9tF^!?uRco6D?k=(T+6GBV^v&P#6eBFC7|ILgea(t^tD+?K<`n z^YUo;sh)$^d|6T?CI-MQZ0swo zE@fF=u{{( z?HzL^uGTYV`!jW+%b>b9!xRimoYpYpSR4_4nXkOWI?CA($0$U&b1w<^G4L}-kWd?# z$p|Y0fiN|UkzgziQxpXXW>?GFx$El#;7w=N#iow1*JOw3eWrJ6#Y&FWN+eY-Z_Z(R zjK%tH@(&2`H4?yWTnLc5ma(ox0&=}9=jwus>N6l+WIC)){JuhXv4aO;zmE}OdBk;q zxrDH~&PNRj*7V#KoX8OFg6yKi81nF~KrZhK781M|Y%JKm1#kpPm1aYu7|PR_^Lvqn zX)y_bv0EmG?GYw{TdYR?9%;M?QpaikeyKAZ&WN0upZ766v}<&3ps4~^!Pyb`;F=99 zf05e~X_HN=$<3?hQbWzD6tZn&o|v(7H-~>aW*0~wqAYjNaiA&Ia@dd*+DOnwvZr|xi~T?ZFV=2DXZYJX-RKs*t~z;M^B zR67VW5H+A@<#v~9KznZNc_fzDS6NBidX3=!@i9Y2RBFjRZ&u@b72Tpkd{Jn7+P^OD z#yd+Z%mh|tZ6O{yW!Sz7?uQouvMi}HFW_euT5O< zOY#?1e#wS_`hf<3&H5FS0+H?r*AHDCnBuDBU#BVw|FniW?k2Q?DKjS9KQB!b;|PK7 zWpYUQgu^XK4ZklN_a4dA55$twdU#B^K=?a|Bh^|H4*Om;!H@m)i)eY8jwDU zUyJJmQg`dIXs$U4KHUF}NwTk+aHFYP6};PbFZHRgM+Anq*B~L`YppY5SuMtpc~;T^ zH3#_5}^ZV*NkLUsoI*JnveH-J2wx53>S zHHN|4fPeBPoz;fE`nw2V<6}Xo5;#3mbdX7xM(*>okd!Pem%Mf!Z z$U1V*SqZuMaf%{{YI~q;vJ&t-zJS%}WcP0dCk(1ZAlz>u2O)lK*SWE>bb%kP^F!}? z^wYY&K5~X;ZjpkeT*WE$3jSUJR%;@4>PXyAhRIk-d1JJt3OR;DtDzUpf}j9tt2%=* z8?r=a1+TlVlgBtwiewwkG)|XzGAXF5zSc$RJEg&zS_mQEt^wpv5I*?+IkWc*92b-( z6Lbpl1X!dP9xGpbP$ciUt4lNzSfEP@16akQHX8K@&n?}#7tajl&T^Czo^(l<`Z?lT z!9-o;Dnk(7C{PSIR2w$ia>FKtpg&J|RM+^N0=sW!1>+kYFVU8$s1&CRsqSg4^ zP6gVj5*3Y-Sp$vk8q}^0^b6LGR<#zAt6B2r20PFffe<#*v>N(>+#w_q#F+kV;=xrL z*2s7T2D{qe-YQQ6k&cPA?_>LZ6=LJQ53v~TF5lCh|KFdY=1&lALww}Y6ZF!b48a>= zy@#gZ{ns@{(0&V)v?{+9_g*d4_RH7CNL^lsTMCX!DUalODfdUSVf`aeM7oJ;ZNNlz z&~j)O!@Y9v4Tr<1x=Rb(l?K5v zd0HTt1~1aXjtIOe9Y!bmI4R{nz7D=CqU^#<>Bu61`m>*>AAHlq9=SBeQq%Pd(}(}IIj6=?E*$82MU zgGmYcx1wdBs%3hDJ87`UcKdQj{Q~g6P**0m7-!e+Ev?T#@+zsWV5U#<6o-9eOm82c zHp8UGu(4g&>KWhpDOZ-sd$gax?#56c!y!Rk(Bl$o6!_l`cdSL%nNbS`ZYAl4+qnaW z!<+-AI~oNAi--lPRSe#SkWE5@t}~|$7jAd$i3}@FR?Y zoDEaK&Cb^_fzG|MW`F!B3Lc}r$)e--M@`cRXWo5Q(;i0xO-*$gnDCxy^KgFOwoK9! zEia!wmdTE{+!g-Ha@e(5mjyk~y~Ol+iNbJodGEje)&G~>$IbD}z8|RP?~Sy*_4Z;C zs;DDhJlrJ;aQx1D8GJQ|^UYl?Yw@o?5FeIAz=a)E#|>Q}^BtDnl0x>i|IfXZ4rYyY z7N=IF54RB7&05!!B+2x|l0#^f7uzj;inCbeABMb3m5cl6`zCBi$Bq3sXPl|dGQnX2 z-nfiYsh87ON1D81Ko*s$=Oa%}eVMl#dK(emb79JI1F^+xy|BaAgn?KFJ?H4@1T>e4 z7qK>BOZt-vx=*>IiJ}C8EfhA3XAQVTwvDxAE$`W9&EFNj{zcI`C)TTn2eX7^=b`{A zkDTFA->z4|M+ZbFZu6{s*nruIv(PSbvhEU}GT)~K8>9;=%EUF`&)1#yK-qTUXB+Lk zDjioz^)%HqVjll`1ZM+H*>U6ht3!qL6Tx>E#404Xz&CCoSOgY1XXGgjim=#ZXYNJNl3B2hhx0;!~W{ z1Zinxp%SfbInebUU_$GN4)Ip#qvbd-$z)P?erd0@v&`hm8;0}Ce#Gr*d5TwGOY?xE zmjfM<2b|j~fu$~nW4MMlcs2VCahIrphLxxkZBg+xX!NZ64s-Xsi8n87lgA{O5Y<|# z-la(|{)Dbss&WU>|C3=<_wQ=k0nAB>!Nw?oDYzRXcj<=zEDteO8}e* z*;FkoK2;_L9jM^ow)fn;e3uTcNT%3XA&Rc9W?33{2L-E%4ag%G*Dx!F$N)p;p6J<+ zc(99qN=Rz!uBXMYywJvl1DVa%`dKa4l>~F4bQ#|c8DH-k^(1jFl(E9+lXWgAa1kO($K_gttgCD`cXc zf&J3@LcRG%sB&J2kYyE@M5nZA8MW~2n4?tB4z|K!R7;C;dm9CqO|AbM zMsl*e_fe2S-}Pej9g7FA3$soy<7$ak=}GQ9X?K_A{AtrzfH{@ht%cgtO~OEG$~ytQ zFhJ>(bor4vQ8NuY@rTLJ$9~@nc8*cNsqY1|B`0`4S6>G9dp0%Nz8miSjlobD>}jJR znUY~o!Kl4dR4V_fUWptu7cPP@eR)>}y)ihE5;JWDD3ve zb|AmqVBg<=EQeQ7^XO7o(n-US?cASqLzOV0P-2Tlf@^#-f5bUp{Y;>}ihg6Zkuset zk&lTBH?h_(Ovm|pmEc~6U?MUP_&J)}g1l)8f{Zri%f2t@^%ENUQ6>3#1uF&(57BqH zWRHJfAU#(fh_`ddJ;5M@(efy~v`$G;rZcMatml~b`>F*+>g@=~9`U&$W)njc=Q&IGBoE}Jft`#Xd_iy2=A1YJDLHvZD8Cs>OX>ZCi8J95G3}3QKPAbJtE1m{ zQSoDqpARCrJvtQ%WQ%8>1LB-pX?}T5jzKmqlF3h(w~JkBf5pll;o#C0D|tlR`WwI- z;q!v!s)EM~HZ+U0F*4G9AJ5!sxuo_=GopM_W-`+9uAiRV$@zx-FDs(+HRhYOJWTf< z6U!%yiyv%vvseZ3PtDM9ZxGk$@*rIaRewCOWtv>jq?#hDA|I>3>Yi5sclDsKv)NnN zgzi8)C$^+RE$?7J+K{cS?GoXmV2UpC&(!xJVZkN=p^WL^EGe$`G}Fpm1rh2^duTWR z-#u>PHbKD}8!IqWt8}$JyIUCiUuXMVi@`8GJXYAhcvIm1vjGRiXejEzP}5!T6M?(;NvTxTQzJobPO*tw{4@N-aFzqtF9( zyqX+F%YYNqfSZ~GEg^B#j2r}4;wUe?t7k{!H(C)&4DQF+iFgM>E1N94hq(4p;2GsA z5cVqsbcgXm0}r{`w~yy4?#fOZ?#hUPFIMUeQ}a7fbomswO(??m)!7G8nwNk$(kEu7 zkb&-&c2vi_s?$hfN-Tyvr^xuSSpdfPL1Z;;_w)NslCU^q`z&x1}vf{sD+Zsc{cV3esGyhYTq7gZ`g+!!=9)94U-8F6HL4IRc1jo znQ3Dv!Ck5>>*v#}7&4_RB(hQq>2nn5n^HFyMsHudJ78W>Ee*R;n+lwYDI{4i6q^2G zR^6jQf?FE>&2xNJfK1d$Q)&;;eX_=DXj2dhoMcAuZfX4$jJ%HYi(G3`fQkk9E;y5b zUb_Gt$>h=rO#8HW$Vo4{6D~u4sW2_bk`0_TpR< zhyIRR$bJDEVnB(tnQSlXRHI(Vin3l10msk`-WZxZIHWi1nR9woUH28vNOy)d3kuks zxMpS%j!lYg>VRiI(NrPrg)WV$@+4`*6Zn13KE;%&kvuls=`i#Nqem5eGx*`!hVoV3EVuRb1X~v= zVRCByoASks7j)@m*UEcW^)s4_+CP^~Sj9o6J7VZqd#Ttyf-l$q>LpQt;c}Yf)4{eG zhOUdzeowBSX{P>&DK>K)YQSir8u=cXZ-(`QKTA89yf0#zoNpU*5adK+ug$axv$(-^ z)J1BzR*Yc$i_3{e%pF-fH3}GC0ZZhUR8iGoEk#O@64d+?4d3pL(<2lyh=I&Uzx{db z<`%=9wcgZN?6|Wgs(?dUY*2B`=uC?+Esq1G!hn2w$*3(Bq;w+u z47U89)tH(dP=}``2GQAil^MupwR-_(Vm7jYlfr*5K!fGXw^X<5x~QM8c~A|ZEj8mn zD29tD%EJ{m{%{8FD#KhSc`lt5%dABKe=L`oM%hk_`=IPI3`p`d=AqW>mPzQN{yodW z9>*Bqf4i0cJ=Q>0`9a!DhO*TM$CnXFC=Wwus=rO!4ln{pdk=4bfX|pqEdSI>$>J_< z#p-<8NbH8Wg}pQeJg?%`FWOyu!P|YYw{a-;O#9cw%_0-Zek=yNb9q4mQSPv5a0u;W zqq-g7irw;B`*w#ixVYza57O24_(y|h6aA5^W1*&bRI%@26E?wyXpWbRTtqb;iV~0e zke0WofwdBd5ZwnurV@?G#9bbjA<;do{G^wW)yQk!-+7xysm-f0t_Ti-SA2V7SX4FA z2X^xYPwE7=O*>~y&qDGqfZAdGFey^J%AMoui;T@1aIyYk-@The72SdWUt~&Z{xF{H z1cDa2pqG*)N5s6Dk=OOx>kLc5J|*@bq!s`Tex_&4ig;ab3G8-80n)jm4qRP4M9*?p-C z1g;!S92zTmg<&sx8z5+lJ2cJ)t>DCLW`n=2+r{kK_sHA7gsHMTau1BwEQ3qT{4y%W z+;nJcIe?+wIlof!F^5B^3C4=KLEz>cEmVOY${uc(&F7Rqo<(KdQ0DrNR#G!El8;D< z)q5@=i}5=TSP0~DVTOLPr+R1Jyysy>ds>@*qu!59J!2sZ38L!4w5Op z#dTmKf;&HFG)0L9Qw+x3)8Lxo-X=$pUjQ%Yq#52+6M>4HUaT)hJsy#J7W5DQJNM~s zv6Q?YJuTW$kr{Qu?9a#EBbxC${wa>-3ow4zfaBfFR;fAIChU4-{*T}0-Aa`f2INk8 zDZX|JNy0PWa0H7DzxyiR-r^(P60KPhDk-3Gy5>A)#%Eyw?;_xgLAN*7^f>RHN{_?yvnj8S)JYQAA9!rBs7P}X)U;9- z&RgQFx9h;dM~3o>!%z6haP>C_FAI8CPd>>nGrK^l77&7?ZnsdQ zAl!pah-pn_T}Pq3M@ZMQLPJ3++{05g+oQ#c77UEvLKE#bKwxvAl7HbBwvC3z*%}~InZ?v^u zWYmPLLK=(Vs7O(tvAN6IB41EFT0&Z%I4Gsk$;->J?~j{Y~U>vB9AYf0f*?0~!v zXjT3O`Z7U%$*Nh*hXewH8a6}D&7(29vU^RgCpSuTs^R<`V?3}jJ88C10Qmsn2J(#p z5t$Cz_(mPtEQIij&_F+-Nonz$Wf7&HZlMm~9N8VsX8o5q)4Td!&7g+gup@8(06mx1 z=%-U3TyScnjv$OK&x9l_ya~{qk+Bg>b*!1CYWuAZ(TWyMc?DoLYzz!_GkUY2^yE1~ zr#FQOG1-6~q1hLhq&aBAK`TfnFZ5kc{@2NdOi+nExR0|y0p9}Jf_{R}h= zAzv=*$T9@@zfT?ODWx%dlO#j8#|J6-7`W$(lx^=y2s;}Es~Oc?gcGbT24q`b=bjHFm>wJ)njXcP8*)%UoCwhU{Hj8dC&(vMWp<1MV}XqdWx(U24rH}C zO$*i>@H~rcR;?)RJ+5JwGCtw&yQGCeOr0DyxbJ!QFSFwzmXnX5r+7AM)57b5%tT(3 zlpM=TvEEL>>OI2wrs}Y5K3%r_FcQGsP(t8-MxL5+t0dV#V5tD*##BFSQ9rfU2zb2Q z;asVLu#_ny>k4t`hYQ4f&@I1)>DzX&OsLx*N@JkEW^MwcIim)jR(zpecH~E}Z89I8 zpdxYNufN>Wpx81y9znCZY70QHUPKP`6cJgAulK#r*^{hk)Pk!*($+2JZ;8Bi>=p%E zyKp-4lEQuqn!uw&+sI;PTOjH{spo%e76tz`Ppig2K$Tmiq1-4}1Ivmhbtn9a^E^`y z4}c~?F+%_RvCyR6#NGcGahm+i#fY~lfmrOjx)3&q3AV>Ra^wgYcC{*mVB~&7#!~OA zCi!KFC)vX3q@dddAH%RM^Q@&Dc%p90;RvDS_eFGn4EZDHEj%8ccjX9i2AMb0DmkV1 z+Oa705OOBHO48$Gg^8NrvE@Zo$Ms%UsW;AuDGhm02wehA&OuFE%CW)MYEzdZ8iwA3 z`T|euHpPjOXtMr@Bm=Hy3~~Ze!6r;iaUt)%__qF|qB_~BaShqM2Op^vjuO2PzZ+** za=&M6VT{382Cma);m>je6z8bZ=a8gZbd@JfUI||OP*#33)TNH?R}tm|XL`pC-Ov|& zSb;jQ0Ec1r>l&A4PuO-7=@&d!t!$`sza!YksQ)XenX|si-NPagITRtyE}eYUxu#)f zOwonY0uk61JYdbGb{)xGQD~mNQ5#LMulu#+<7(go^iZH_%8hShD74cwKlOzN@m~?O z5->_NB2__T3uFh$6MFCB2UFE=)_dav@G;>}*dRuRvP9GPh+F;fm9`lq+o9l?4*3i4 zO@B7aGn&)T#k%(7#ptLO`j$ht!2py_S60P>!cVYoq8N}N&nhB?e9 zVx5iFDW_lIBfD;Gnc^$s${Y*1i+{8wOOZcDr4oO(l)xYKq<3ydjh?>74to009QESr zlVO!-@$TZ9Oq$hjhSDmvUrI=&fiEkGBfc;R%&Gj7Y#bY@X^|WvVkkuOF23ghHtf<{ z=7HgY_L!{P)cI(h;CuKwqyj-(9*FD4`Y4XGX5Gup9g}HoE~&tLsRmzxrZNu+NTkhC zZ>c{3vpqap@o(VbshI)@#=Od^`^x#G!>Kk?M5_sG5QDMnIE zC{1EkPXswCJM4ap>uVtGx zYic7%RWO=+AQ7xEBdjPc`!K%RR%ER07o`@TsO);MoS&UDRSX@IJbM?Ttt4 zs4s86&o>~&=P7|}6Z>G7X(q%?HL}#|Ns^-rik0kzLbVrI(dTBifHF0x;Fm!*k**J} z5@KU!`*k7*B8qV)DHx+(-$X;Zk*qs`(S}_6m6uE@+}Lzbk14#-&SpL7P^roa<_Y?V z9H&a908A6OCdXBpk118*$qRDL;=U-yR2ss_EqKM@(Gm1CNzSqCYXlEytryjFnMbT2@l4^6l%hQ337zg`vUw}e-kNe zKnLpoPgQ3bRM)m`>xDybcXxMp_u%dY=oTKF{x4+y_iV?xm+(SRv;B>;;l>7d!zUgztR63kq<8~&6 zl(z^7dR7?OgqivC?rWS9lCh~Rj~Pa)&ti(Y{cff4;%Jv4^u3CYCvN_|5T?4$Jpxau zXp$-Fs&J;;66f3JrFsM*Z_rgZ;zc}hJzB&U>gvpHWe;40fg9U2vZ{o(a<~K~xTerl z?wOSWdkkVsf>*W6k`KE3C-Zg5ZnF8iNacqljc`W4?SxTLw4PbdHbTcYab7ANQ{nSo zAL$0~?XufDxH5=PIaJB|eBb2TE@jSrmcQwRTszc&_t)L*aL8?U1W(6PI;S_ICVJ(F zP@4&i$xL>b1i5Boe6BxtW6S;%8U5?#ht~m5sSEI9?lxwCgWfl_2z*?7Qv5sT8^!}{ zoO~8u#jjU_D^bMd#dKOC2{<>=VxN>CJSzieLoj_dri5<)T-;z^n=*}O9oEhXpN=9l zjHk?oH}gZde|S6V7|Z<$DS-;FQYb&tRzdoLV4LMSOV-ssLUBpQ8w1}{Y=|@eA12FN zCV{gY3I~oeWwd2Ox+e2Bv5PzPet_00W5xQ@%86%}U+qhwfP^Fi?u=A%H$-MKLn0@5 zuTg^}C;#AsVNSWG0zQ%B?NY7Zv$ zeH>R2ydt)bBbs6c497{}FO~8g5jnXz(4a33yqu3oorp%JIWMPZ`0=V`9cb$#JD68?=5F4l4w#SKb7S8nXcp2CyTIEdGY~NXTR1_13D+g{B11xqN zTcRu|{sHRTdVWUlzkHuh@Cf!(98YFs;{B3Q{LRJY_>s}?qWk6kq=)t7R3bk?wh4XPzA88yexszjS?#O@1iV{`+VT)-ng&i=FQSB^gczM$dP>q4R!0{=1P{1a zVJ$0F(AD_>0q|IfYz106;ILa1^;Ho+5iR+Lvm50f;XEzBh$TK5ugMwpqPP2i`*ljq z{Y2}bbjxzu3M;okf7I_&XPe%pl2uiXI+1 z%e+Wp^Odci(LjK*Ii4BLe#s1>ap}RK&ysb+^DEt0xC?d=5vrF*NK#X7D zNtOzG{5+UVZVv}5sZ9*06zIT_p$&~EcC}-bcU`$X3ofBL@eu zlnAtVnd({7+UP)PcqGtOYoCbC(M#dyZ#;J&UK4kpsWRMbO*}zU9T5UqPKN{Zkkj`ZCR_-^Ilo!K;qYI`I%UJTH^c=#D zfwoeGgF}6>T!B1UOJK?@ZOqggs^xg@L-0?k3N5o<43I3zcyIf60aMi~Bm%`tJ#ch5s9!dt=0lv{ zaFqG8*w*Tl3Yq>=3}`+M$j==%>-)9c|TU&LateQAK$Q1wDUJ8VpcXgK^U*#yY`qV z9ZD(6y};gWdeJ_nARffOgNbv%_`<3AcnEhyi;P;a*qwuhQZ zoYM}+Zl6jmKPUFvH;U{pXElNyz22yNqRnSB|CWF;)XHqg*rrKP`>e`^5y#2IaH$(; zq-R%8Kg7O9)VF1Gq?C|wf??D8TqWuE&=8Uab#-`Hn?cS{$Y&&3E|#EC9-{*795il` zoqA0C-I$N^ji`u}ceB7*@cr>PJ2yDee)h+Sfd}v!YL>=Dky6AIj>+HZvU27dm92QC zCA7z4b$j&QXGi<{#rvUM11ZpZ#?(=4 z4uv=pTTOwqnecUaHWtR=eIurhvP3&@x_TZGdvBf;p*yc-6kfnkS#=pzc0;gdvSmqy zIx_75z7`VC9ff541+TB#=(M6vi!tp7siPs}z7XFUo$-!D>=#81gVr><==kuJ3V!;n z_5#aOR?G?{xJZp}s2)}fTjShgY%0Eey1hRGQi`j|^iD&xE>lZ{=Z-Wu;-n~OCu<`m z%;<))r^V}9ee@iWqd;EO>?51B4Vz-w>Z`u{#*x|L3DEfK)W4iApjq5Ien|-0{=_ahUdUCQ2zX;n;%GW=Ix*A~bXh>{m4MimdP6F9Hs4~Bm5as1= zs)Mn1Y@Jcb*B>Budguhe2cdkX6!Qq)y1#l_m5^V<#X4drHidQz{AB!l6yrnN)@P^f z*oD8e%J=U71Nyo_wRpI^oxz@us?)7yOF1MWy*`I=)^Nx<;1pRC$4qxc8 z9osgkBOuqXkGXMD^>da3W&1e$ot|hRA&R}p?B9!52!RqB_`{~}yli{t7kw#~y&2yq zkTk)4ywR&>$nv8Q6_ona+~oVO>^3Fshx)Adp{M)PSk(Wn@mvNEc0spTBhAZ*Z4BA? z(g2_ko|cG=uF@FRd6k3d`MhzsF#vF5mvf}ZTA=D1nS6e??fij$PXGYL!?+nYfA%T* z5vHCVnhk!kzReyA009nFp(lg&Ul`6dl3O^dcvu@)x~oK&6|$}$n9~75+qXaFp6iSJ zvgRerf@2CRLfr%p@rq7z%iVo#v$6Usx|xSVfU=!cCKg7r?Cl0^ZN%4DiV8XN>QS5* z`2{Zh5d|s*jBra2LDwvp311P{Zzva;s%kBb4y?o&vwW>o3I&v^tu2g+lV#KAZ<5%l z-gn|p;b^{WWAFTdVeiyV44WYD^#{e)l>A)E}g z3&uAdBwQVna*Ggln6x#+Mycb=INzdq4R-8eUd|Ml>{YLt16n0UzeltxRGDO3v>5@I zBKb?lynvD|->u8j=#;a~--Yi17>LHzQu4Bt?7;X&lAQxK4*1lNF8ocsv0>iZdWAhx zVABu=S{j|C^KQOPEZ{sXWlFgNj1fb$c%Y z1qrfwUyOd#`hdH}R%2!y4VZx5^~6>E`0N~F|Aa;IL_NHS*nJ=u3Z{H3@@8v5c7>08 zED@LcH@$Iq-7rr$KAne(lVdXQ+5{iLEiH+6?3VO3Gp(ak4g8rHPY|6z>G9Q_srB^! zsV*OdH4!X}4@8sO^4EUu^`ZocGAfU2a?qDKN4wNhn?N~u$gxHC+h1KhA~e1-JDxnF8wCz~0k1x0W^n+B)e(Wh z;HQLu6h=|)4jj;g`Xv7G%Am}36P47GBDN{Jlx$@pBgi@eqMO;6V&~n*6NJZNo|kgKf=U z6}-BM7Afq6@#glT`?sK9&CGLF85x)R4nv4nKn+N0>6r2}x`$>zY+E0hl!B5le#sgY z=2@Wa)^FYse&og?R>;m(`QV_M*m1_u&Ykgu3rC(Dp6(@>u+@s`2PgpY*}W?>_9zLB zw3gI0m;yx$M0KM4w%cQl=h#0wFk=hBX-BB|ipj8YqizshclwZ24Kx!`1CFa&nG`sOb`jRVH|TEm&8vHBLW0%}(^=Wf|lBVq6%fGd9xJ!#LP z8Kh4;QkVs@I_&I6oz<#xR2ILE!WUkl`QdaO0mS%DFAXF(&b|Nt9iue##DS~ z$ZPH5LWZO3qyOfaXOJ>|alTCVeks8~g|76aALEGwl#{?V{)7EH8df$_Jh@Oir@B}3 zrufRxpA0$Tr3py5*BEaX!c~gP8a12zuJIk!X!%l?(q67=!F_gi!UT3ps9BsAlNLv+ zfIs*qqo0DM=;MbX_N)^?#QJu$GG89$tSMO4%br+2KJJtlA+=*%$g+8eD;}}EYIfnKEtKIm+1Yu3m&X}Q|OV+JeK$bymXw_x^ zWblU35mSdiRC(bxIb6pjBuH9FZ6dGK=d~y6O)snYWnv z33*8KgP64!C7rrAFrvvFe4T+-f^~Z&`oyj$X3F!Ybchi5;EQNF0Jxlg z^e5(WV6vlQT}U1CxfZ+Y6lPINojE5H*1mM(YaOu|9@U3&uwGU-1T`XFLRAzu>&VOu z%y;oi9W`>|twhbT&Lc|N`J%Hl)0{GNhY^q}1GOIWEJ@%ZUB-|%2Yo9mjn$1$rf)yx z*G_P+Tt2HXVOqgTAz(V&2_z|s<_6qo2-Eq;J91||U=*uz>K2yAl##Ma2eqncuH{SV z`orsFu4p&+nUfV?>}YIzt1t-`utD0NiNAFTT8S>@)yJcH#om@J~-2VAmvFDfcMebv++4C_b(NyF5^lm)S~_#{b@>U2A%yQHwkWD)$x>f`FJc@ zPCw7v%3*uSF3OxWjX?6t4fnuo!+9;FhL@UE?&89fUR?)>VERrvOnI6{tHM)_@xz@M zIi;^Yl)%q3UAoUU1Fu%L~42_nwU1EK835_UYq9;v;atfBP$}S8p^cOmRjP=N?&~aw#}4 zjxZ_`Ih>o}w^IX+50eW)(9wN{wzJ-o6HL$0J&S!p)V7$viq+3g%jLFi13c5z*U~I~1_iIHdFRiGeCH8H^|4Wcy>0TIjR20kO&Km2cd)0oG_bs$ zkd@DQHw9t}(Hu0Ecb;~|aB&h@>gPaFdX9AP%HaomuDCo}N2m@$rOV-v(o<327H()x z!}qt40UT>M1xFrOeE?-dVMv~VwFwi9;??7B6ZgR~q3VoVEcvl%rDhdRt8WxFkkqp! z@Vr`+VC?6R>IJ@zi@HJXbPnq+Nguo~HdN&@kz6SAneuz(qou6!MNjNbVB7-lYdkuP z1qhdyaZN+gP_woJaDi{C8A7j@yh?P>bec<}U@jsBirjs*qvKR@u%bs3(sP&=8*SZj zM>P-&k(ZB)xFK`-h21tI9dN%P?#Ax#MESB;Yo^j`f4}n`$I?)Q(RFM8$ubPowzf00g9ezV(;s$=SG;!Z_e70L&)dqhq*VhB@n#5&~ z7;5r`LD56ld=y(@VWm-@y5rI8xjC`o2isS4bNL{V{qnEBbNS3X>c1+gI870Xs=bD0 zMEwEdC=@;euK$c|e8#<>K^!6kqFE?5n{!kfZeNYL-oqE+6&Zn832qD5ys?Y3%#_N$ zy%OeicPgUdi0_yrb(&~Fi0o3f3owVUUDEO~au1CpV8{C6t3sSuXb!>G)_nIBhZA;h z&q6$zW!~6}-5jpF>_m0|Zb8xpc1|C~%}qbQMpXS7Slb*A#d1Vwiq6%?P$>|2taW#-~6T%s97pI~p2HV3(qw}pih%7j3jhnC`-75&E zAYOg6#fpQtp=Ys0$aDYRUDv{G$8mWpjK~cOB)31cI-^72#nujpS!tLn3OQG#57>PJ z{H3d!bK9peUL3tuAJysiBGhfM&6i{@TQRlAA3r$0!6wIE3|dYdix_07pn49l62!Vf zkJi+;#o9Gv#Jk+7iG|j^?kY|G9(Ptaw;nibO7j0n2txezqp%LjqcT~7%5EuG%XmIj zYm2A7*9^FOUquQ&F(py%%L*RQ_v#;itLY>fh1(mrTjzrS)#&`hflE{-r4=Knm(7#l z16x9v<09g0FiCVn?mg1ub)ccUb~5o75+jHjMyozez~-3KNJl1?4m z{I5U#G(wYy-hC%Q^J+*`=-y%HYN zf*UVYj`*=^wbtL35X>YPLd4hF%|+%ce#)|2&4&TwePP)XQkFS1&P(mKM*ZM~>6Ug} z@l16SmJpQklfG>*xGM>%TXT@qW7K0OSHZwv01pO-xS+4D7{*)IJ%mZ!PG!9uNPTS~m&D_gqTKcC2oI=&e!x)4yk^TG&m zxVqg(Y0?f)PZ`U!6}{!X^E@Qoc;Mn?S=YpX*LfIS-gy{9ZL+zLMe#d&!rd4Vl*)6v2VY1i23c3{CY2oMH>=e4p)sK1v>#8&qQ2Pu6(kjola9BrzHH z0iH51V01g1RIyt=UL-=War97rt){j$bP%@8xagGNx{Y$Kb!PQPz*FG^Zvo~=%r`%`V1~%#k+8~cm9Db+`!~N1jCtc zSbnU~`fQF#nHN?%O~$CEKAi)hlpnNXg|c$zUe$V_C(oxAf?PbNEbzT|!`E6)mx1|} zkk663LKS~;E~qM#R>{~d9(W|z$agW9!N)296etO`(0%VE*~VZ&Sg8 zx%f?TGsV+P+2UaLFtqTCPL_`gkN$cchXDOU*T+}^mu#x(;$xM z4eFd_B>M1rXiPt#JKI=l<{#alCU`AA01vO^dM9=VhU9e>04xfoCsa~N^&{0~zGNwu zmT|qVFbcB=x<-SIi9`=?0*=3=K<;;K+6Rq5&W&RwEcr6Ldg<~Qk;rfAcyd*XJ(t?u z3sn9PL@NXh%%%lY8}@nMs;4qR0B&}THdu#+cPxOx$r5H|2${o;2{ZIv5qCBLD>eHb zD9p%x+)&daF{q+7uB^ge`;JmWo9IsiK4OuPoU(-%yJ{q&pmCLjMaHhNHGr7kVrva9 z7-l7A0A&UVQ?!A$6iD}FO_emA^7Y5tB`oTtl9(8B;qz?r$~p^?33R+5)2x zg6on&u8d&5V<>yPDnaA=&@yxZOsv%IYck>yy5DW(J$cSFc!=BlQ41%27q_(sU3a8t zQ*G%B`#jT!Od!PDhQ31%&P7y)f7#GS}47j-g`AD{@q1r&IY$#EifdxTSr?P=`B1>NDd z_jd5e3&^szRM5m$+eJspTy{k~M+)2yudc(BsN(kM1a>|7_Ws`BnL$n!%c<`r(gqkw ztqH=Fy1hvYM^i~kG1w^_5^e415g8vuv1?ol)!`Z`KAyl)#21gO`Gdrj$b&OWc4bq{ zfx<$XYY_7Yu_rCIuAI*hs@%97vX#D`G?Y#;A$iwinR9@4*?7wLrT`xt_s z!HkR5mS);i&pf23H0 zg^{FcD0X!W3)~xL-CAfcq(zl9D^l z0?USj{iJ=rR&@I?Pi-6UrC*HoF`Z-CBHIJOyITT7kMZ07|Z3Z>7|(}F((rdcLQsgb`0 zHsTUD;{_O10~&ymXhmjoZC2-hdG=Job+RP?0GLJaA?mLTlv>7dn{6$?yD3+glrYSE zI7k5hmZY|n*a2G ze`<8_|LeC5h5XKL1^z0f4yAkm2VJ3mYp7Sp2^l?9%~|_n&=M78bC) be;q$Q008j3e;qqv004;p=&XMXKI?w~lqRf7 literal 0 HcmV?d00001 diff --git a/nomos/raw/cryptarchia-proof-of-leadership.md b/nomos/raw/cryptarchia-proof-of-leadership.md index 86d2f68..d9e6303 100644 --- a/nomos/raw/cryptarchia-proof-of-leadership.md +++ b/nomos/raw/cryptarchia-proof-of-leadership.md @@ -519,6 +519,18 @@ we pre-compute $t_0$ and $t_1$ outside of the circuit. | 95% | 2.46% | -0.0406% | | 100% | 2.59% | -0.0444% | +### Benchmarks + +The material used for the benchmarks is the following: + +- CPU: 13th Gen Intel(R) Core(TM) i9-13980HX (24 cores / 32 threads) +- RAM: 32GB - Speed: 5600 MT/s +- Motherboard: Micro-Star International Co., Ltd. MS-17S1 +- OS: Ubuntu 22.04.5 LTS +- Kernel: 6.8.0-59-generic + +![Average proving time vs number of threads (100 Runs)](assets/pol-benchmark-proving-time.webp) + ## Copyright Copyright and related rights waived via [CC0](https://creativecommons.org/publicdomain/zero/1.0/).