From 020181aa1d2e31ea4b44f7520d4edb4be0d6a486 Mon Sep 17 00:00:00 2001 From: Mark Spanbroek Date: Tue, 3 Oct 2023 13:51:36 +0200 Subject: [PATCH] Add size of merkle paths to spreadsheet --- design/proof-erasure-coding.ods | Bin 14898 -> 16849 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/design/proof-erasure-coding.ods b/design/proof-erasure-coding.ods index e9cf6c1ce1c0350c0f34aa23ea5d78a7dbddca4f..442fb39df22c76829263fe4596a5ffd252e9b29f 100644 GIT binary patch delta 14832 zcmb`uQRso8f#DTpK*7*}fS`bYEcHba;gvxDQARBPrHB(-QU2Sy`j?e_3{0H- z$qtvy1Pt|0B>C50Ul$nTU-mz-cn&z&|H$|^&hhUU+rKm+2=_m_K^KG<_+Jy*pcH^8 z#Ibr&NtjuYIgu!ga?l6!(F1Wa+GGeZv8!zj1s*Hk(O90W)m5#i*U#4#u$digJGnqj zNhKh0?Gib?{E~DEacpW*J2i8;mu1DJ zQ7jG7nnFTjsyAGUrt)->>*yv%AKXf`Z5RigqPVVcNGV+Wj1(4qNa;GVh3SqlVdE9s z>^&y6k5r6L^Y1`G5!Zv0R0xc+jO0D&Fq|mZwMMNl?x}X2<{N*pPIT`O!}~g2CITP&QFAXeHPB} z5D-mnhr#@uFYKX|>j_~_qt^tDr_=9wR`m*dJK#nD=O+$H1*)$1g;Q~(?hM`csZT}$ ztMhPdo!@3myWQNZ0VS6)jEbBg=8D4e)mSE{L2Cn+O?zmGKPZ1QL~eK^9SSJQKteHj zZ5);W0|Ci{0s;Nkeu095`e(l+yMWUH$nA>B5t_|5AsYK;C!RECQOI3VMFWfXixJ;1 zd5T4~>KT-B)=rPWeN9b0S)a-W~LNeqWV%nd>ri zbC)^E3gd~g>RNDOQeb*eAF&utdnqza8X-ZGn@rsWkjQ%`6v5pKh5*w$)@TI-7!>js z()Njuf3`BI3!?>^*|BH84ri;RXI!~j$sB30rq3dW@6tk+#bu{}~GwUi+u)3iw z4Gv|MMA5;}=NMaIwdAy^$RKD$L{>~w?UiDFP-Kq77Mn{pfFx*^wo;QBTe7G{6^ACU zt&%IMtdiR$rz_*c0r?n*Qo-8*EX){W-8E3I%hzHm*O*9{<`1wjEGrqL)>YlIlRiug z?76zHb*$Bshg~a^bbe+r<3ka1a-8YB>Z(+gRYX-K*^*#*9*@&@|@*$P0ppJ#Tzv zklCW$Qu^xXrHW2bF~qD47=kQkg1W)5GC9B;epmr9e9LzY@U8zCkg zI zms6n6uj-_T02wCE7Gq0YGsHM33cVuoxE|&++eD^4m)A;6%Bz>Dy;F zav;aeasOgh(RMbgwq`Jom|vJZ05_&GD%Z>ePeC^i>P4u|0kKXHhGikq&DUihdHP5> z&^b7O**;WpM>x=x4Msa0!y#vic40#jZa{{c^!Z*|K{pcCEAZtIL5oc*lH&jMAWN>O z@Zr0OPOGtmwv7-5X!})As-LKb|G03yOry>xq?waWtJRd>M51z-Wp{xzRaq8uP2Jx~IImy9PN(k!@?2v=gBD2xz< zUt`BQ)oIbb3~L8|Ft>NUM){~IaLLUAEI;B_#=RT!wzF{!=(i*qmVGGAI*HFZA)Fmd z9;1pY3t}Nge~YDqKg01*!^mLX*r_%;+Ga|Um_t6&+Qd6|saRF#T>w!NkfFBK$y+@u z($2Bw&G7{RzLFxwF*#(W4F3f#-7*+mUorz#9NnpH@vpw1Yi7|G=Vo`1|qk=7zph=2M3SKWx2PZ4dfuxS3k z-s)owI;l{gjCcYLeo0bJ1Q67Qe^wG@>|q85V?ql6M69*~@ek!jf$@{s!f%5?mJ*;( z%WMa;#LXsw#==DJaw3<45ES9Cn;1hJz)@`c%VEA#|5!4vrfR(}cw$xJ+d%iuA^~bP^s-_gG5~u;-}=z&NYbkGb1N3UFf+XLXR3m9KK(Xc?i80;=PA5 zkH>8TkW=zhjPa{xiio^cw%$e*354^GMjahn#O2}0`+h=(!8H0g7YOf3w%yF$t@N`y zE|eRtUl-p(tq|1q_$jY+Dy?*y3}95uxJqmp^83F#UfAb*oQ|yvZazcEj&p&|)=%^*h#*PhOG%MA#uQCFcc-ibIv8D?v z!u+s;6xLV&Me}{pcAn>5+*v=3BxA@hRF`9gSRd8R*Iq0_4Knqi5xs?oUt1y`?G(}mT#R<=W79pjY<*% z;OK@@x_<>AE$UXCy_#{bsr6Aq#olX*XfIO>R{pbs?%qJ+ouzN}wWsS>QCj|WhdxaH zxOaDVx3Pv_EgprB=IxdnNdeTJ(|I@*qJIzbtRDm-xk@TXci3}||3{>bxgS|Xy)>p2Jd^JfJ|d9l$% zEF|Pf%`dyCt*JHa(p=7TE8mrVn`5QMg1gzuXSlza{?TSV6+OxE_EQ!&XOmGI#cD1N zGlx6SWahKsxW=NRn_dmZ5q|xPPtX1=LQ4+f(cEMAT`tV|La@#D(F3sx@O_>b z4FLY9PSyyKTS7wu0qIl!Uv*Lg=syJZuWjOB?`mf6%HU~dd#U&Bu*Zq<{rMFYG5>2V zPPiKcdfwfwVN>f@>80f59^Lrl+F+33Ro&Sk~IHvq; zH=^Dl)Jme5kTRi`R#1#Qne5C&5adt1Ae2;|w;$dB)$*ml@@cgD{5t_L2A@qVb?kc< zd#?PtN>yxf;?t%0z8OuZg6c$x1R(Odh{j4~nclAWH2~z1Iba@egri`Bqi&5=b8cP8 ziiy8R<~#mjgkb8Izzv>foB_5$81RP00*?MJ!e+Rcw9_i^JO5%G6Znmp1bFlevX-`N9%9#!1-4YMVA>Un(dhA2cAh zND3qZu?6T(kyVeF)}Bka=a4gtA&Or0HEK+*u@eV(P(8gTwxcp^ba2UQ2>1ZPk!xcV zP;Px@MEuJr^r-l%i92i3=(xksP){i&8OVNB?>=UIVy)fmijpCE^79_$cEhIW`wgOB zsg^^r#1qI1#5eh8B8Z9i^RC=zEvXM#I^Ij|a4Q=q8H)BogKNez;tV(tmhMY$;DZ^y zx=At)%_*UkZJpdf$hi6#J7WM=B2ys}gz}NFBV@8b!ItK&M%WjDo4hga2I(I^D5ju7 zcWrFjhtZ;!Qea=8NSKVhX=AHU{8?z5)QWO9AyK1NRiSv*7F2o#eHmU3jEXGj8Vp1U zn=kUEu$r8w?&R3a=g}!x14Oa+zK8;MgzyE!G}MV5xPLRF=0Wi1rFsL_oi>P2p3*0^ zEVA3^*ENGm*VXyFrET4MJ}j4K=Q@{{rOCPYZuK2~@=NM9Y+8Ll?+spsC=Ii_ z$;=@SAFR2_ygWaN64lGWl=;!`Pq}})V2O4|^#YNkQNsh1*ggSDfAH>+ISyJ&s-~$^ zB;0(IOIza*ZG%QC9PLukqvd59rXdSWau3clP3YgRH0Ec3Kf);0m76a{Q6)s8m^;D& zhtd^Y9-;WJts5)Sgd5H266n!p9Uue7xYZ33c|lkMX>x~TlV(F6U1i2NDACQTN%T?j z3Md(Cs@;w%l1t7N<2xEpkBNw@YZws752<~!1t#US#o4kb<;4=gFoL9$ zY1K}iolEL=(DWU_GrxeM`%#RVrS1vPnki^)t;|K*z&`+^{eyEQOnWCCkfUV4!9d`y zrL{yu!?C+&2KhHu;st{JSP69~qA-zyceO>Fdnc57?;&ESpTWPP9bU`-Fyl|u9Wo`4 zT@i44nG##I(CR06CI`@vz2Mrz3km2VHBkUR!B8O5aYX>*Ut72Fw12#f%o$w5?q3yo zRp(G)e47H6k8*i+?KUsR1JxwE2j@a3!^_&yYnZBdJhZzqDY(XLyY%KSG)VR*%J?GN zj9<}Rd?kRsd|w~Wr;x*I-O6B~@N7VOMy5vh&VXBWFnjfMrtRN>b{^LegP1nSH^~gaD0ScT!3x01Hhlt?eW5tI3z%h?)oVeg_UaaGBmQg3(%()){ZMenYObUzM zAhBfM33%(Z?UdtnQs&+d9_!9Uok)qNuc4i=h8o)xIqJ3gsLlzSb0HVWPOwEOGkRFV zmzr459atUcFk|CfrI;FLi=4MS3cT40@c4}lFXFKo2QYG-(*I5AWv#xn!us22IdZ`H z$N_tJ`w3$BI%V0BzQsg(;x=sXS7x>I% zFz!=r1#m-k)5a~oAL*K3hg3glHw^y3WjnjGiYv#-Ba)^0%n?)Xw1r(| zPObsHNz>$Yu}f=ky{72&y&%g@i0xUqa<$S$+j5+rLGxay55A|QphZp#XMkJqYYOuL z0%<`{NRj6{DBm3b6Xd;Jw{5DvPN!+-lDECY@{o7r*2R|xFK6C2gvMFX*41!O8t_;X z517mD4`mF4ZTX>VipKT+UiDdKwPp1o)5FvKI~&Aeqs7iuwn`_Ni7^F7HsgBL)x1XULMdK;$?lMy@rSix#xWzZo2XiKn16rK02nc!_59HC|# z1kz34Z+9R+8z9K64S+M9>u$P5h@BOIF*4$&&vdHYyn!8* zV2hyWh!PV7mCs6@I{?w?v7@`)GgR3x?_XSZIR;ZMViw3sAP=e zKI4uzpBPQ+a%)~tOw!$H(Tk^7Wx$U$;sBIwE2XURa>IR2GHSeTS!N^ib)Zb#C2#YQ zfJ6iaP5)F`t#f2S!Pckph{pmMYw(5q{%7W#@x!rO{et0D;rv)*;#+9v_4{9^#*V1z zS4(rPWia`W$S>r_W-!@3xb)y_gNU6yr!xw2SCWc;tKhcZcMg*zH2*$IbD&_enxT>9PaD;;mKLIVVji$aiGI-9-m~`E+Vf z@~i>StsMjNQGCwC1Q$H40HRhybt-IEQF_M8HC!a#Yn)E#EtCf+0TnWIal;1Mw=eeC z>M4Z&`bh^>I+I?KnPSwX8@K-==lc|PYt>eG?#<=bVKt8RzQNR|ZJO`ceid0i&43$Po9#(3E zCUM_g+-q$Y2FoyFK96H$SK(|+5g&-F){PuN}#-pJ#G!t4lnmeR6z!WZ%F9Jv*U zrOA3m$h{+*agK6$ip8JP$SX#4wdm3{G4g^E5u)qm6@{sOUBZNN#LSJ`V!tn;?WZ(1 zc0Jd_I${9Gg5&nm1bsiVgT1YP^tBif6RO5A6VqMwp?OWvX`zaWhSlOD_FR|M=ZGL` zMzjK4p(Mf`|2=$rggas)M=JcT8&6E8!%8f&;cO54_weG-9#*|wc{?d>a(J2PZ~9OW1CR$}<;*|k4=*-tgWT6A83vwK{uKLKr|j#osHZwH ze)0`kGYz@Tb*)&Mu3T(s!b@ukkUAwPV2uZ{u5X1Mh18EhvVkBf0`VU_N) z3pDr9Yv&3A!d4mjBzPmvkREMW0HvEAOrvRdL( z$>d7O<&~8}o250+2Vb~TVU48CohLeT8~aRt7DM07^E_@{rc9coZ2oH<(7C(;cB~!k zvmDlHGkjYa-|fm>v~n%`*byJB^V^3pMOpt3&HptA(I={r?FaT>o|P&t7NGR_8PliKd@pZBUcIF zFP2VDm8u@5mTDauC!?0NkSx`X;c5U#$-|OvCh!Y_cSdL zp6Fn7qnKWEtto5}J%8K(h>FM0@2&HwxA#iO;D-rp;evJd-oRTb;1a>}l2%TFaYPz3 zpXj1n9eD7m*HQth_umW=BJn^P*KDNy(`W;U*< zi5KjbIu~&@JdIit-5|qe#Q7uSVj779aVT9dl30}~tiPc>suJQ;tx{&2-)r`D$Ap$a zx4|dqKTUvfmt^=7a3CNa#{d4E|NC-9V^FZ#V4eU7Xr3V136B}D`L_@74fVIB4kYYP ziVg$>3Zy8jD)!gK!NJEPrY6J1pd_PWqorV@}O6X)Yo;t`hRl~faD zqZZ@k65|t>5#~{o;FA)Ul$2GIRnk?uWsOng2svBwR7;EcVD;T+I8C$CuJE@p^YFK)xTl(mjI%}DE z>RGw!+V~hMNSdgK8LP^gYRXxwN!n?N*=oy}>8LyE$~YRR80i^W8)>^3DtMS{S(sax z+IUzwdpQ{yxmcSx+u3;AnRr@Sx;onXIhy#m*m!t&=mP8l^_)UYZ39eQf=u0_EIdQZ zyyL7~gRR{n?Yu&4y<;qV6KwpF+lpX#r&Z>d&noE@~VsXc{l=7%pj>tZeS9 zY8|ZZoG9;_Yw8^A80h%bH{aSn);zM@GP&FRXRo&^t^Zf%P+jh5!_R@nqWXUYs56 zU7Q}ApPwIG+@IZEoIkwYU+mvroxNS{J>LV)?;q~(o?f3`?jPPhUY~A1-X6ZbzW(_r zzQ0ctNymVIaO0#zg;YJ)E^`nyQ8l`s-?uien!1~6K&1c9Q$6qTBmUl6>rzh2PLOLI zw=#ORw%TQGbziPxCBed403k-3Yw~_2Ewm$c(%x)_BBP;O%Id~i>jlpWq1X`Z05l#X z=|_l3qUO#T`Omn_fOWX9U%9tv5BZrBPz>a7S(x*?eE9-;T&5@eZdy7wo)-hceqZ!F zLcH@VtlvB~!aoCTX4$?RWC~oceEb%L$}Rz6V51qgVf5^=CtF#;||UX4Ug%9Kgk9M!DdyF{xonUqN? zNx2wQ12ysf2lI!`h!%?vPZzlE}2dKXvLRf zdAu^PLb99mlYaQ{Mhd9s$cd-#h3abGG}WG2GZecVqOu!|!hUrU~vaa&Fp{Rt--H zsa<1o7rZuuDPI#_(@vN-NA+bJUE95traXqn`SIPH*zFmrh7_R@J22~?E3&wvI80OZ zOSgW_R+$?ks=>Os$KGNUkY>RL%l;}5vL7Eg5gCDsU6Nt5HXxSu0(2F^v<>Lh`_vnA z0I3N-@HV0gB%}0~Qq451Mkd`xp};D&S0q!77;9@tc*2X4mM8;v>s}RT1HgqU$AzL9 zX9Zn5B1jCtb4YRMM7&cWYRAxJ;^wxzFbOf6=!zRa#Em zguVUJn?p0Gu-Jon0(3V7^@pwUD9DCW=Ug=&%P-pENh|#ED1q(Z`I)uf%O11Uqk8~W zuGGsMF@xB zP|n3wPk;jZAS)aAbtkSFbh?1lW`6_tgBBOp^<`S%LgyYREjGL}C?yXy<5cfOwL}H6 zi9%lYnJ!Z|G@oiGWUL!RditHoqEK=cIih5|GYX&^Dbt6E`h!lBTA!+QMG;~_vh4>^ zX=;tE95-$3``Z&QO?-4$uMfV>>H9pSYB&?CLFRcZjSh zt^T5RiZ4{!NLNmpMZJP)2m!y8MYX$aw>wJbm5?*6_vo-qfrbmzkmZhE-iD_Kx&pSm zCA?(G^d)V!N*;UogI2QWyEUn9R^PWANk19zME-kKCR0~}PaB0I?&+b8W@TR~H+F}6 zO``6*0}z*GOOMqDM3GnW$NW}!Vlkb~6}Hv-ee-&sb^`}L0iLxR?6Q(+?ns-ql?H#i zWowL+?f9gdC$|6ub6y~&;Bw1Bp{P1%NN~h&ho2iLt?2Jp>Ex#n5s$dE=Fim0O8%&A zd!^ls&4i6pR-P`^4n9#h=DM&fEN_i_642bo4>%54<V@PaCkR$pZ?fI@%Ot! zu0T5X|V3;!nmjg5QO1yDx@GjQ%g3wBgs zc>WZ#KVvOBdM3d4y5G*Hhx6ZT5zRJpC8@JLjJf_Q*-64(AI%mrvFg*@-*(0L(la|j zgO$e`GUmfN{=@TQh@E=8u=r#Zo2>^7mZ8oo`KbhK4|lyhTd2qi@b;1Dp|O`01E_Lu z?ry+_AqY@h(P{(f4+nrm2fNxNnT_!mXz&u39wABTkQlV1bm|d&j-dv8Ucj1}FPa=0 z;apqt7IPYLiX3$21mZ7G+DAO-ZJ4W*cVR*7f~;>278QdgvNo7@s0h-MO{7o~Yq-Pw zd^Z%ID%d%=KF}%mj8cHK9PjNI1RQB`evZ)ulsG!A@7?w<*SOJ*c%|nU$0PU8X6Z<|qqth1TmWAP6T+Tf3Rwoj5r?+o2cS-&h z-Q#DL9@ehaRtX<0(;AOnM~PfW@O(fk)j1A{XDQy=Zt$W^WTy{~)=7?70KA}2qKI>r zciJ?UQ9-2Q?uV=pU@+Neg*0iUINCkMvfsM|BsS`t%H$kI^`^wQbaP3J%sIK@;s3Yt z&^eVw0BYEWwJ5w@|65N=s+#G2%ylkWvDu4%uBvaWJa2rsUAN(TOtB7tts-KeY{yIt zW4U4l!dc?t*!lzN5q079eLc1i#4qO$TAnlG1qO<QrKkNUfrT+&6f~y!hPtg=ZK?B9j^VjF-R(5~U!}g0EQV zlfIG=dE03_^mRo|wx9RZcYtL_l$dYqv#?U`LKy)9E;_!qlH0ESMFufPJ-Y7x``}Lg z4<>Punxpt&r7vPIkX6lfDi}cxAZcc~+asWJ=R=j%yYLb#T!=ya$vyE1f9SI_@AElb zZlQ;EuAkz`qaV`elku(y(&U}idO~vV4c+0$8yY~=-z)3W`>icL#gnEN8(h~{#^C0i z;2Z#F7r*yEnQKdbn7pO=dA3NijigjUwp^`|LZp&pxnea_WrwNP-3Pg3gM69OSX-(Q z-J-~7$h074JT8ijL^_u@v*RcjIDq|aqo?KJ;&B1DKKQSIRU*#yjeGyrQdnG4M`gzp zifI^HQ$T9AZZ<~s`gGF=9C8JbMfJv@qn?EV%^zz<~Ajep2QD+~*eWlp#q>Z^sN3Im4M0Y8+T5+Ra!u)~WH}dQYAU*iN99r&stp>BqOQy?>j%{Q#XNp2-Bpgkjcq?-3ny}LrhL$E% zG0f3GS;jU%srNhNVryXSk*pN(@J{P@JK}Af!D8g25>xu7rbj^t;Ms3SGMfUdWV-f2 zUP9Jv=f%dBq8$%CkUM^T@8CSyAAR+-)@3aAGVJZ=(l-qNkH#rc0Wj%;&%=WMlQbN#K$S2Xx)8ik;J=|R@=;2fk58_~Qq%J6DIUHH+JKEvu( zkG3A-1dL@oGVK*%;xbbF_U{0A^0zsAPCTLYsgQFu_eNBHrCV}IRX(q? z-7>mAMv|`dp+h;ZD~CE_dO$)E{G$$huE^PG)G#x^63?Qak&8c<(S8FYggY**o^yUa zqRqTBmi2CP;(Hm{yi-(@Q*Poc^QCzFv3Jl|U4)XkF!j8-6b4Yw!NK1YbhkIFhy>Lg za6Wl9hD`tZO{sY8`glb*Mk5Sox!8nK|uhwbFJVg_<<`yi>{E>vAt~-8R~; zz_sX7uEw{^s1z1&aKNS=li>2b1b@MYMq|4f0!!EVoZ4o?#W;l zAy98iayKx%glTK5QDN)lTM$r>QbmxPtSS-M6&Wi^mZpUpsn6kth@3DVmWL<9``SF? zPj+}p7XKchd<*lUEjZhWzt=ZBkqkJ+l1!X<0A{iW@t}Yw#Rht$WEk8y(Rf{L>#BH! ztc;9MDH6cLT6F}Nn&TCu;!AjXkn#x4lZyvOeH|Lg$`3=I4bo^|G?59)xpwc!OM{n2 zgV8kW$EcSUj`+``jQZu`7x(I)?gxKyo(vK^#|7?yxrqbWW%po7+(5JNEbxwcbtSCy z$C0*@6H)p4k+ttU9Lil#MGo=0=hB-BjNRjk8PaGr-WX}a)VI%dAJ0nQ>N^@l?k78EHqoGM< zM=70A2YjFywKbm7hiqY@B%uVh(5slEOEwg=V`72X{aT-EP^F={pNPQ1Fe&Z1CXp zQ!4qvhxRq5vw{O5E=2|9D~yAcqdUODMWu|Z+=F=(5oLY688>OtlU1Ns9G+`YOK!XY zL%lM7l972&^r1>}#o6oMOcm-$Kjih)i&Y9>F^4Uy)c(fRVT(V%ROdg)u>^2C>gGoW z_Lm;kj#>|yapHlb=Y`6-E576an|Fe zqseN#w3o4;>9(^S+*BcTi(l7oVYJ7#Zem3PA7<8pS*}lXKPs2}tnj$t?7wE({00Sx z-Bx8>&04Na(+!yy{4TY^ns+P4>_LJ)e>w;!PF2k-_P%KGrJ7uen@Cn>sD-92#M`ZW zEuqtMR(>s_)M|fQ7N3VbSidcjEUwaa@sQC$31}xwH=m-!sd(1@lF9 zw4*t>ll268mmu&Cy7eU9F)Hd8oyBa&39y<$Q~WvO%bAe5u;zZI#SsZ3>(htIOZr9V zSTE(+z)llKkWt7B+8#F z{(2%Cs!OQYW`%#xl;~?=l4f}J)GIS$x+{Fy3~QOn5fn7L72@hBy4O`!aAw$#PahX3NHq4UZcZfGB0m4e z*^HWu?U+%h)NFsZJ+Bh*BSTWJ8x>1m25*Rie2H)FR&X6ywuP}j4Mf*^jzgHQrW3-$b5T#cHEk%$#k`T&()u{8-;em(QBXb<> z-aSLOX8y_&!kVYRT^8Efdu_)BjNhj;@^&}!2?(W#lOE3bLt^?)Hn=z^J?ht$N)%JC zM|hj~g+<=Hf*)<1$L`=9eViOU7RWCH=MWsyzdR^dTj2;><(@g_AZ=sAG7YNeTjif? zm+R{R^AswCwf-r9R6Tsp$6isyZdmIhzYy37o09MDg=GXUEq!Koz$OK&}%9+ z-KXKJQb-Iwa6S-2kvm>=2!ND<@s-;WU3MNH%q6t4Du*-Mr@sfxbdQ#R&@Ncp)_oa2 z56UZNS+^`FF?5XdXy_6xX_Cj-jlvWT(s+hPVJ9lmY{+ZCFgq)ueqN85R-@nF-N75~ ztnias99Mi`A2--F+R=ostybApxb(2Yf1|e5q)YkJU48Sd7{V1gpTA1`j>-Kf2AXk( zo{n}awOlEU_W39s){VH?Y%(5)fI?$|FF;2_f57)ggSVer7;_bj&x2kz8sh$;jgnZ{3x>o>@uxY7XQPiA86RE~inTsV8Z?mSjXUq04?KfKKvN@cjv#6@ z^Z`opUPWcP#mUMw@y@~J*+&xB5^DksKhS96!4PKj>efb{J_rF%cg+He5n@qi8Cozb zi;_B6HdrAR|3OqX5!woI6dpcF|JrkhqCZ{fyBa4T=Bt>fEfJ+i2V2VNe)glgypt<^ z=SN;6=Cw2pTv zLrSJ#fzXKrcLa!wfT(LtS;5MAeB?u}+WiSB2wTK>qH7H)=dxvo>>g3CClYc=s!#qx z+-v}0!4VDFh}lxCqQfn@`%5)c8<}Okh`kVC)LcK>mq#864)}4ie)Hui(>Fv?HBNHX zNwsYWScDO06*2K>j8aLTEB|^cGd$s^aQ#-?()mksOpR9X03puo4na#KuiLd`{=T<8rAgnVj#}F;wqMK z)*DMqr?@{_i6Z`C6J)c6EW(&h9ZNh`b(u~(A3R0+x@4l3ik$XD^l z``$Yh{?;l?Z8<_qD)OUG&nQpzGGUp7>pEk&6#*ZpDpbWvRfLPHo%F(LS%~XZCXyl^ z0EGZQ#G{A}k<=}KmCm1b%4nonBov~58V}AHgchAQA%kj-LFWEGAM|z2mV!iv3jE7Cm&DFeynoRufGv-%A zx&_mAWvsLFx6~enKbexpPs74jbFrF>yL&V)3X4^Gw|vC>Ci-c2tms9&pPnr0epHsB zz1D>2s6yZRC@h`8As~>bVfXd`8?+`oYg4lUX1?fJY%&`A&#w~(llCd#IYA%n-o0!u z58`f;dYvVrS_uN3Xxhwj-qcAZa}TpJ0#t+u1n|>`&Z2wBz>4ohc9i2LVBrrfrKY zJ8%wwaVAYuHGg;E-tci~KyF#aH+?rX8Zq1=GSrv07eMtlb$m)n)rLQ2P7pXFIppP7^EokFP7lHd1MWWtS1{`Ml z7xggtgH7aL?7$B;++;m=s{d^l{o6L=z)e17r}@`B28YDIv>}JszjXQk_HmQpIsa=7 zH>dQ!V&R+|(0_?*8vmlSC692@Yy9K=Cvg8S66-(2>hDdyi>sHdnae*|eMK2y5Huh( zpnt!%#(zS${(<%XAE`{1;lk1SC-;Bi0pR}6g1^=q#^2m#uC7-07XKsr{}(R+1cdcJ vo?K1t=AtC}CwoNX=Qs0TY91XJ5YS%?!GFjePqG0kW-=Z(5`;S6KlA?!V!(LP delta 12871 zcmch;WmF!^wl<2pL$E-A;1CEJ+}%BRaCdhacYkqrm*B3!g1bv_cyV|5)>?a?bNBx4 zulwiL=uuD2Ijd&(=ux9=J~bT(S?7$ZC<6_H0|9{m0U>P18;`04{Wln}{tL)J82m`c z|5?F+EdC7ZZzJdck_?o|j{;(XMEFOp`b*Y<#Qk3zqX5c(wggo{a{SxI{tuEsasQ3= zI#9fj|0pt`seo|w>1t6)q$!bUkqF#U!W!-^+lCylPDV*4HSLWOcU*N?0N~O$o+hKA0NLZqA=Goac{^2LS779nT^;^5)0+i zhdwF&wR@kLlJIL()1bnZ-f}dTm%=z z!>MX_06gcxNzUd>t8FQmWO=V_FqKTYIAz>W_)O8W@3@JV+5su&l)B&iKuvPjW)D&7`A;11C6P zTPywa5D>R!5pu8l%~_LmlKjJ&W8b z^EVQoUNc8%T)4*T`9Oa62kzh@60C%apmjd;)vSAg`cvQ00=%Ht-|d^E&{Vr;MkUb^ z%Z68Lc4xq&)GE{15*$MTBKmEw;1^vpk#J?UKz6JsO=jsPWH4I6d<1q-1(cpHR@W_Q zIiM&5kMM*V*q;vx0U-|!0r9V1gMfhWcdr4t!hQibEyx)heli??%S8?O(KHm0Op{hY zfkZ(}?XzUJNk%!+CgEUNl7Y?k!J~S!_2P4m-bV576F63Rb5{dSr`6Q0FS%sDw~=>V z+f(+_99mz%nc|p;KS^fvLEEyaI%|}vlYU$~z7tHLLKKNnsH5HyoLjyj%40s54{Sqe zrnl_?ZCP;8&=&O~{G|TwmyqiSeBbXgcB6EVnRiv4Psa35qf)39RB@47 zX)9k1GA4O;9KGb7RIX2F%U4NSyXucR6h!E4RoaX=h|uDbQ`1Q{CO5#{x(U(@inbQ2 zI1*CrcR8~LRWoH&engxb4>WJv={fiwjFi?g>Wr(-N0*=R<;#-{8S3VKDkfJj*1$do zK;b-vkDhHto9|g0!@}7_X~E_**2i=-Du&VdGxsZ`_&#dys#!XDo>z+|m6V(?xq&&i zet;2VaJZeZUZrKgAJGH#J>42*>G8x2iomv_R=u5SdWCombex^ETSBUNff~J2>4YK` z715b*PYykj{H-5x=b|TSaV_i`A|}YpfM`ubNgHNee3?#1ah&ht2(U{i4sjQI9!e1N z7nSbGrn>kw2&$lnqZ5V^Qiz|D<}-;DZg_(nG$k*gxVp^dV}$vXodi25eb5Y9c8CY4 z5t(5S+xCI@N{`mj8Lq+a;(+boc=@y}^HB_PCjVfu6R4$CXL26_?Feq%T1OMPi&OnnAcK$&%x-a9TI}2Xy%vnvch#Zsdjz%$GmT}@x3n6c>VPOOq1Eb@tJZuMHpKBt~oKbLNb0=Uh#pGGmVAUHS-ads{byfoZ|0w3bxM zd=ATeH$iL#sshezq=_KaLykJ8QmZvJCH+DB!1|Ch;FshlF^N<&HK)pnB2$%1MP$|2 zFL^(0d`v51Egi})?XM7FTBut~qdyE~qBP;sETh^nhcEtY)R?BIY)tYJqd4LPd9oH|S^!X##B3T>* zy`^ba?ye8`UT@-x+@m=HPL+2xaucKNkZ7{qoE3eAB_^>DheQPfa^2?nC`bXaNj4*B!D^B5^l4KqFAn&#jyzA$0Y#^ETF>H;8{ce(R5IbS6Gh03SLErTO!&aCm>b z<5u2YZJ^DcQl-A8O{pEspM3hjbKy@0aRY6lk4=g`#XMJV*O#lIMsCoZDgqNBO}2CH zo3&bQb9)7IpwB{3DhlQuhStK|Q_<#sUbz*B3qni19>3_F0DTeG#cVKLL1~7K6(Q_I zTdQs|dm1njUms>sf;uX-Qr?!G7I}2zwnwGNH`XA4NE`mA4VXN=|wF&t@7~D zGEP?+R7g8z_bCfq|6t9a(#+D34a<8Lh%|W3?#;?^Z}$q(O4_CQ()9pkeTOVje`^g` zKdK0+7Ld~R0P|9*G41csQBTT3?E>9Zy=Q9jg<A)s|WGKgRnN-#pr6w8s5o#Xh{l}2eMvgrk^a0 zh_M?=;SLL^G>D1L1MlP>QL8YG*U{<*uzxYjvifpvOi%l~06kAu%Y2P?I z^%^K<^0QO`hy5JS>)_+%l8xWL%T%{2Hb;)S*sP!Kom`%~#sn!8 z{t5vb>(61ONyBY26gm2{5F5AE>%*Ivi&l5``za23s6YHO{~Z-sR4I5XtZox&HbzoF zo)j=Rhxi~)B{etX2UAGmkCDKC`@|WdRJ{sR&*HrnFY*b0@mwHOA-rd|;m&F*`Tmib z{Pa0`a8(s4r!-k67Hd;NZKk+ddqwgZ5*BO(Q36b|XAiPf&N1mM&Wl zjS24jBu)a3<1xuS_|$AEcb&qV*%XptkJ)gTyAxRB<{t-6JdENLmtnE{_NL>8;wu@k zP2v!ZnpU7;M#W!XWKF8VP@2AGJZ&_Etm5U0(|ac$Q=8`I;f{ zM^oUV_P*xAqU_=+A*3`GNOAgwJ8you;vMQ$^!+0{`Q;m($Trc@?^1+*5#I0@wvg}r zl+_D*KQFAmEqu+cK+L-`)veG!Buqj1y@%-=JiDBb^5x4H&>9*skh0@e8xBcavlJTR zIzTuuI&bpW5HB`#)hpaV5mp3kK-bB{WE)qBpHWsc&On*bt=y*HIB~s3+9=(y-50lq z0LE}vyv++8eza&Kju@4G%J%YHXhT`rz)DrL73zO7ln`emgfn+tc!KRu_0~#|`P!5S zJFD}9xHpX9EAoXgK!{OCiU~hwBy)|BAegJIeZB(w^7Y}~xKo>wfFQ**sPBS-U)Lx? z%x(nM8wL}fxie`(4Y4~TWu<(6qB;<9z?vQ=o9+aM38Mzt=<27EbMoWYd~_byDT*kq zR@29P!unGrY(l|&6bB$q@FEwD^cOwraQg&<>Go{TLA$aYz!URPwC_EE=h&OIdGDjl zl=Eu&L1rW0f$WeAm@}nPYaT`+h1W=Z#I{K8Wg8!^fO&7!^v3<*m@gZnbUPJ}Owdv@ zg9@AGoC9{=_W)1Cwe6Q^bT2}=M<#v%V!liu9V*Q@&5K_@!Wav{V#WJzR8~c3n4>8i zE)74aD~BBiyg?Yj2o>_*Kd!iFj~cE?Cv6jQ_Nr-wBJ43ROFsDIy4SP4$qKJ|Cat!* zt+d&y=RHKP6Bf62>3Olfg7+>Scu`DIp-(3F&1l-`;rIzeBqtSAS}yu+0{X*Cuq3&p z9Vy0b&;p0mG4Tca(JsjZgCOaXwlc{4$xX?WGzWhHwr!8ox|Hmwap(U1)Yn-F-y#-e znRqJ6OtH5QR`!&xZR&GV2QrY9Fwa@*p>oq`4A6!!6o(V4Y#Fyo>KSm090_pO_da&# z%Y2GT?l8KG=zz;bR6Y7)nh-=~U92sg&7t1FEYd;A-wmZ8#EF>Xj5C%lJm~%TxkQV~ zp`76!(A*k8Rxw~iuPyAqW^L*>V{l!yH{JNS{(U|*1Od8jsn4`!wzh44M|LmL0O_}u zNV(%fw3E-S2(Ifd(ts|OR9a`056S2WQcy{Wjmi*&2DoxVTbEjTjg$>1X#CAkUyw$p zmtF(!bARp#8^|491k$K=-Q-rd%>YK~Y8Fq`#v6FW(RcOK z6Lo@k2Of6$MEx+w=XthIR>Pe zs9T6lL*ewnAY-IHWA(YPyklyKkn(1pdl!&+FzB=DeF4P4ZKg_81$NlbE%5HA#-p2Ck`|bANJ+mSN%m zQ)rD&Xw(<}%l>IA$DWui={`}(vrn|}Z}$h=fQ@dl;4Ftk7BS-4c?;F_lOMz}5}<)U(Xt&%jF||&DNg&tJ&)RX zdc&=Jc5HL6xb^Ty_NTFCk29L=#T!#^^{VS~tgRbE{jAHba-B&Lw1oGcFm?O>Wl*a! z#bpYhyYVfIvMZgGuoUk_MeT*z$gimfGoxlNZ1JWIF=GMFx{H^m(?@@*20-3lo6M_E zauRyNPvIHZoZtCTk9Mghh9;zfSK;cu-Pv0d(>A+lfeR%-e!>@Lnk*Joz55Gt9d2s9 z5t;lMEt5)3<)m#MN8WzeU*@l0@S~=t_=M2xtFsyYc;D>^d74nB;ae3P&kn?RyO#sW z+>}JdJ>`+5e9}0s+P4ZcIlyp)Uq$)aA^}xkq@r0)^KHRWIo@Wm_j*Tlzb&6-@fjnD z>!74`?3Cv&LuZ0D(lNVrlH|x9NRM?sc{DY5yj3{y1Er@`Q8q(YqRWwdD}rmmXE+%# zk57VI?(SXz(%~k(-`UpMcb?k_?7v^vN5@#WSm7ce7s25n-Jhfl06t$R)1RLmKpbMZ zVmq?c*2|Vq9^|Y~_u>}=R=9^AE^UK+FK|eDA5&9G^L<;YLbF``1CQ@}{57HBy}q+l z7>X|E`x;An`>;~jcD=TAac;NDpUd;GoX4WbiAL`1aK|pVF=)pKVW#iC^%Ki_kz0i5P%k2SVCobRY(X{FV?746=}iQYcciJZ4ehJ>z@u0*r(k@QZN zrg?>*yS$Bih;%FT-Ytl_p{?u4rR27L*(`{~4cHcBRWm#`5(VE>Uy2C(VNf)*sGH2P z9LQP*lz<=Q&>BHGE^W6$`r<}|&Kjg7Pm%JN!`b-Fyw9up7wy9>V65s>>+*^y`4zp_> zn3?0oe?$dRxtwZS)TJaJ%)&ibE;4M9MCLD+1bikDRclkjh0t}Y@Lg|9N6_X^!w5-J!n{GcmA>IKQmMNFvfSQksqiVmR8l4oGO6}AYXW^yX>uFKDwbL~bn&dBm zpXg^ZKUiAvREFxcYekzpIz>=E)Y`~@k2Nw_ge`J(2_btjZ0u|Dt$9ZI*@Fg|1zo41 z2xxRCMhbTJtKwR&s9kEuV<<$qA{Wzhvj`Gq zdGCh^Heu=W7I)J(BHs~PO>fz+oI;#Wm|_H2=`fk01NNY=^_>`t zqeukZ{$RCxRHqcH;c>t7$&bgrm}(VU1c}OXpL%B_?QCiQ17y5 zHOCFIlruxHX5H6DqErzd%7qr~lbbWqnYwF)Ocy*c?~e3srEcLeQOeknBROLd2Owy> zX+03U7}3CVMgeBMI{alsMzR{t=-9iAGse-Fn6!OOyf40)(#UA{Jy89fMuMDhLI2Jk zy5WOD<0QR31Lr?+ZNQQ{qM!~<+5bCxAD@c5j~PQdAA^@dn+ViO%0 zE&AsgzA|2K@Oo>Ogh8zJcB!j$Gu|pk*a1kPsWCae;cLMb`H|L>Znv7<-AIzg;J6p6hV-JNL)crvmMl6oDSk?!2+!T(q#G--*JEumFr#rCY* zX_2^gmnm4!R=@f>T9OiBr%+u3{FarYB*PjXFU-~Naew~y`dX7dxZk-xA4rPm{{km< z1J_GF%6oUJJnj|3D>8sld=*SYrHM{y1(0rs!2DLlB2ESGCT*vh!!5Ag5JxaQW?52I zAUu@XDo4cHBwMr{@eE37UJ&^37dG%>F#rF?w za&eCIsfSjITNds9k^ZC08MX}u)z!s9>!O_P0I_|#bzd8qi%D1$QI!dqIoBw&fjWbt z_NdOwOjV1fkD?9T)xPrZ45Cs)M9LqDeKrgi19Xz4w&t(C*FJ8{r=#~P0)G$a)HgA= zC9n_>JYWB3K>v4yLmjjr#ovGj0nva5x+G!-Iw2q+-Vy#f(S`t}QJX+OKtm|Xs*3$3 z;(hq=iG+fbn3$f7keTw+XEI7oIx>#0Ox(<`g;b?QRpex~yj0D-b&MP}jog1&IO|$^7%K}KsmYpZ%3G+5o2$xOYDidX z$(U%X+3U#I>!}*(8dw_YxERR0nra#u8XB5dn3!8xniyJJm{?g^8JKz+Svnh8ds*5z zS~z&QSQ>jeSh~A={BR7ma1FKej&lXP0~~zgZ3AL$1Cl)h!kq#@4#BA|VVR!6AfM1w z@5n^Yh)mCzeDAm-e;XY?8~qShvtS?BcpuBK0I!q)+q6*Ej5r`S(ltNYqcG096yzHc z5)v2*@{h@gjERqm4~tAl0YwF;$A>4Uq=crFgk{wxXBI~1HKym6C6~73Cjfy(sZnJ~ z{*|dgm6=gRnMt)-;l=r}75QmR`O(cKDaA!a#l^J+74-#Gtrb;uRn@Jfb?uFng|*dn zt#xHB&CMy5J?YhbS+xWC^}q5Of0wij6}66+H}zGu{i^I3EpDGG>zuA_?x}14Rp0fy zt*fuPce1i~zOCGUl{Q$L^{b(v zx2bHfwWPnb>UU%ASZm>Ed-<=9#+lBt{@&_=o~Hi(&cWgC@!tBeUv1;RyXO0<=LQ<4 z2iq2h8|FtkRtM|Wh8xz#+P2194`#cDhKBpc<|n2mhG$l0M}IBPjw}I7i^EI%qZ=19 zt2;9rhszt=<68%#e@@4?uI9E+*S2<7caPV>rz=O->le@a%fq{Cvlpv_;6D?)e^!pS zXTiH`m%EeK2g|n?YtNS(J3Bku`{149-JPS8)qHVWaYbzF<4;m#_`3Q3TxGN7Ir~VUj$#y(0DQi^d;R!YnoFX$ykMJJKSoIX*nV=3G-1bm3 zJCua=pcMqo3G`i}80vwa-Fh-Li9coR zkSKk!JwzTOdRo*Qo@@S8M&up7{=CB1Jz={I&E%E^-U7ABXVeeIEJ+TU%tbPp&~>Gp zDgs<;_v97i$Br+Zt1$~$@Fx*3BK$tLb^+K5@7&2HalUvM0-FE_(@L3u-%WRrAn->Q zhMRMD9|+xzF@pFpq&a<7;P$%(bncVlHpDrr)4D(+$zpP%fMh_@$E1P3EnMPnd_1u)oTPA99h(~T7;N2Jqes^(}sjrqB| zOymq^O7IvOzUt|n`&^)Gy*W3-H!1K}N>1vj2;?fA!*2VlwMvxmlSFx-TPyJ29>`de z>egE?Fo!;(6t9+~GV!MhT!fB*hlU^xzP|9*0 z0!HZ|1>G_T8rpoDvztT%a;v~*)UiusO*PNrKG4Jx#qKj#eMC3eJsjofG4|sP`{yQt zuGuv0R6ZPIMEuXKoSv`dNpTzc;T7VM!d3Kk{oOp8^@cQsqRfL-CN)BG^!#Ris>D_r zdBViOFH1^>_r*>~2nlNKzXM)hrYgaFK#+Ct(vcNf>ADxgwh_#nb)g0j`EuvD2rYB-Y}UG^ zvjMYRVk>`48Oo4ggfk~P^7Sz*MFCDLr5HzBF#;BlFn7WNcLk>&xzW-{VlT4+$$Ke@ z;qwXK3pc$T#0)2bJImz@Q?!TIMDF&!f2KXyMtXg7xUK}(RGE9(P8QcY=4?D$e#cf7 z?yf3aQ#OH%>|Ik!;0yTnDp9|x7|t(&+IP1hA31@O6RcPNAB|rTl ztJ_@kk$5?H!QHEUu)?(YO8aUB$m=rScItmFjEVJK?2f6Qf0yv#vq~kLYvlXcX7{A> zG+q9d;&UD(CfR&2?Jr`?eXu@>kro<@Zb?I|@@VeTa-4T*;8e@O+9gATOi6S9$1` zTKP+0lx4(VQb*o8W|V3*Kr6ZN@!-_kiEh7ARw`PM*{34yCc@@&!1&{6udyF}12f*h zEj3-jy$PEgpHM^X9mFvfp3Y|G&D94s>-DFaLD!_F?*^5_lRAow-y|Gv>+?5p#R|Bs zmh8o35V`7vD?JQUE5qY%0NJ7E0|hP0s!Qt6zVA`b%#^y>WaC#R<)mj5ZhxJHrG+!g z#Gb`lo;qT*|5;IJQr{GNJdQ{_Q*uFh)2LZ%gG4RqTIQBvFzY!&^W#WDD?j?p$lq%m zYl)pQ;x!OtrPWHNzm|M2m&qx!B#v^QNNbOQalk%G&pH$O;RIZ?x@;%~ZfOr;k94Md=m=UL4xV{F z9rf`fmcxUJB@|OOLI$}g44r&HqdS)|nf8c>Pp0!3@%TQ3gN7404g31x_Wa_odp050 zA=@RU+cCb(P@`e%6xcbbJX}YajSf2eh}w}}T;VLs3^u~OCZIikv+E~PH{%<*+(3-2 z`*fgHIpq28=Uucj!vqbO;iY;n0=Iau)V1)Y*HV_c1;m#HU==%Aegp4n7^3INWY8Ft zuZ5gM63!o!p7h`)F*Vp^&T}daJs<;R>630sj0ymdxVTzDd|NYrr}lL7q_({N^Dt|T zD3E*@Yf7TU_Xh5TYDqgtT+z0V02srX9`xCA_azfyXDlqjJD9fGim|SulWsC8U-x1R z$t2CC3YON^Pr3)tU2~HQQfx&%rO0_dg3@0p%{jdxbhO{KOCw!`bdLMYB@d5|;tibV z71scz!dO*}7hg&e>Na0{oHJvt>?df=pUa4s@LImpY?lMq&7WjO!mT3}ln0v zs_fFzAxUP7)P!hnz8y!@BqFkYPFja3vL@FvohxjXCq$We`YP0Zzx%;Iiy_dniQtv3 zPjexBhi?Hu>ug2N-Fvg45A+i7Xx7@KxQ7R3WlkzXQ>70X2;r<~E!P<2OKYIIHc)B^ zk!?DQY|KH}Hja-sd5(WbI9l~=h&X-~ZSDWCiZ5sw-G-?j(E6su9d$>`aE(iZPjB(k z(@mgX*MKz!8dM+YQQjr8ODBFkd-Tbdey7h@#$4*w%&J^3kYn3x%oukFRxJXMJ+gte z&p^FB-D1}tPZ?`z4jC+M0xJ^PuF4*~hLO;Txuivz|XVQ=`T-}3H#N3f#o0$Ej5UEOE0RJ}4W z6ty4!ntaJ66(~vS;Hk5_njSwvHKS-R;NZYHwo+{sCp?9>X#}7j!E`QY4^9FjUy?IS z@DhVpIo(<_=4v<9b?ROZp5knMs1zJ_w!Yb?c$MZHpvbT1fQF8Es&j^AxIThlJ(By7 zOU_SVn{p;5SX}Q(aOI~qg7CF}{f?9+JfRf_kg-|E?z#m_gy2;8Ikh_x7T%!bVvVN` zMR^vPbLAawsS0JI>h)s_kIn!T6YL!M=56=b+Z^rlcJQvni*@jg*2iudA04V5bo2*C zeEBAyCgCeNn|cc(l>y-pw#s@FhvUNZnA)j^&6>WxlI>0nm}cD6J~%{i@ZO{$MAf@Vq+SEiDOFYfpn8h8Mu$Jd4|&m!4p zR;`u+C$A_@vE;{Z3>A|4G;$4P$;s)6M}(zZ2yqX3BqQ@|eDQ@k><#H;A?CNE>aytb z_v|!(u&f2lG0$pY)Zmvm8k_-69|@zu+I|#l|LubXy5Pck{Y4uO$6MWLQ1z}zcMPn% zuaTwwT6ZfdL9c`6w_Jd#+6KiBmVge{Z+E{m$q&$z5O!Qy(V5k~qCFckrKs$Bnc>{y zsnpH!;EAwb_oafM;4@5I+2(;0BNNlLpT5umn`%^|o8mdY!6vRxa8tN zj`;RVBn->bsV+8X)DiPU@Ja8=7(+euW>sEqorTtO;u~8>WBs7BnH+|jM38GFW_8VA z^TykT2JQ5RsbXa-|EZy_cRbw+FNI#UzIhEvUKbDK^5<1Y{FJOz%lm1a%p+Me4>Q!^ ziP4fX{HhNY0f>N5EV%2Nu#IwOfgT8~P!zU`oy1b8pgbZEl^Kp8P%VB;!8}<^>lk}s z>^=5fXp`=6Qnd7b#M9Do&C0hpu~R%hhLjuXW>iINi_nrHEJ+mBbnG;rO-Vh1WaBhE zJA<+y9NQx@y9|q3RHzC!A&}ryRUlNxQp`nwv+Ap$ivaN0@-1rH^#T0p`$UeSOIx>t zV4trE@ltoW$kXMJ9**?u-7M2Xv0>y{qZMX&K#9TaQ1s>NicFp zo^X!&i`6n_quy`-oQe7|1(YAB-p3Wx!N8)(kJW>*$7dd(!f)tcY@(BxToOGzj`dpi~0lD{9zuo>;HzqPO;@QKi-?LEWg zyXRD?nf9dodTeW5qg@#NJZk+(zgRR={p^gY)=~xLr!D+(cT}yZHqY-mrWKV6PE9|H z4oM@6@v}lH39SeYb&{#Rm)O^9GMu+W<`&YRqb>n!v1T!OGfy)Wa4$cue`;>bR3h`S zavqvYDVnI98|1u&N{2WwaQ~RmsSmd&9F$s`m^d%Uyrk(1b}rJEOey?}rIOm9=a?%` zaQNWL-UCA0q48jJy`h~x$5X3-N=L>?*mvru^10xv)oU(<-mA@i8f?=j&v3xf(YbEL z@1_EdqtJ|K82RZu!M~%Eh|%CN{AOM}*TIPbaX$m2JNHU(;NZ+JTy7~JXggu^L1@yM zu9m0>vD_WB(NEB=uPzTth0OGnEMfJdh-Yrbh1>;_GJQ=d!nllK%2gPH@nkv}_Zj+z zAsO-rCETb&{IA!01 zp0Gvf4D$Eu#IEEo$~J{l%6falh4a7~9CQ-4KC{z{$0mhI=at=3$ld4|3h_s^3uF@J~+&YwX|@I#Eq+n?MSwqo|6M#?ibA zTeDxq^hGMz!_DroGhJ!y+kI=;#m=$MR{i%IEKfWC_5b&Kca=zUbdy4(d2Unj6U zs=rO&WVxyh<@dFm{Fxcb?7>b_z?m)DZT--Bs5`|`$t5F>S8^XVns%n%nih4--Y)pT z{@qs=Fd&9xPXpr!L=sVWx#l@z6JUEVMhRW+ap5T-7;&r7D-4QF$8Rx86|%706n`~o zz|KXVMdIMz@P$i=v>0Fecnl95&OHYBYO@FZoM}Mx!RIMRArj$y?{dDw!>Xba>WF8`pdsMi zEg&O^^N8_&?PJ865A-#RPggi~IjKcXn#@a)8{BQsaT}EI+&c?jELS$bs1jrTN1A!O zF2q`&m|(=w4a#R5s)|S)G1AnUKoSU*pN*oViT&u7Zxdb6Fq4*2bi5$=D;`D;gWK!+ za85dXoF+wWTJvc9;`s}DK{Zo;L%uo-qv@dKrijW-yVs#%Yr+L_MuXbP;Wy|w4Vv#4~h zfyvB59(gP<2t3IAepFSl=1mwPVsiPcgSqh5;;3noHk`R(vwS_I+xV{+M!P4Q zl8&m0^#<2XW8V%0@>09{)yTaNlkalnxWgS`Rg=H4h%SeKS^O1=pUZUa8PFK*;OfC_ z3XDX3WRqAGWnEYk%cp$%^l55;Tvsn+-+{^j|Q0Z>Kd_*G}Wj z1226yuZNnm=*3)w6w2cx`OJrSX<&EZFT5_%O@iRU^Sc-5DLz=0DwWfGUS35je;z&d z&~##u&Xc)mKU;i-r3?NkR&SsSLodc4kw8ViVsG-g#~@`<9*70X6{rX4zfQ%`a?82i zQQoUqPtlnSj&ex4W|#kxH|>a$cc4@AW&G>|@|6Q8^2_u;fq%?&#ucSYa`eKPfS4Ym zO{cuG+hT#>w;m;C?5r|$`FUAg8@S0Sz6-QgKawkxEV7c&z-cKwlxV-jOYOOXTh54( zpbaR(EJt~KCwXonky4{m!2%C_Y{ue(UnRcJJ&_As`qsIX3hqraTyQaEAJEQ+nWB_R z|4f$OdqSouYTjeGbktOxe=-{qGj*|F44X|Ff(6 z|Mbdt$L=@yP;gd};MZfFzfS8Rq{QS!tA+Ig{)?Dif6n9due${%eE-~N0B!Mo1U2!| z{Bz%6i%;a=_z@(`|1Vvvxl{b6QjG0wW16p6b=Lq#J~CU>i-#z zM*iP6e-}zXU_nC7zkUB_gahTj>bT?n<=e#B*}~TBzr6pyBOnkE`2W>X6QnCdP5QU@ ku<+M+=D)c9Utl00KKxf55jM~p4<4vp2m`K}{cp?v0oJz!@c;k-