From 923ce6e9c1a3e557ec76d0c2b6840bf5ede71ffd Mon Sep 17 00:00:00 2001 From: Mark Spanbroek Date: Thu, 28 Sep 2023 12:53:14 +0200 Subject: [PATCH] Update spreadsheet with multi-dimensional scheme --- design/proof-erasure-coding.ods | Bin 13338 -> 14898 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/design/proof-erasure-coding.ods b/design/proof-erasure-coding.ods index 842a0db5032a2261f0f430eed2a81bc72ed5b58d..e9cf6c1ce1c0350c0f34aa23ea5d78a7dbddca4f 100644 GIT binary patch delta 12699 zcmZX51yCN_mNo7U!2$t-LvRT0?jAh2yE~1$ySux)2Mg{l!QsQ*VeY-}&CHws-__N7 z)jGSns=H2|v%A;obhCOVWCdwRC@e5AI503FTb?*%MaaLCKFhxnNn9(&zfnRCBLd=o zlqMX4lO&LVWBomxQ1ut4V?z1=#*_bNoc*7=LvXf#G7$vV-?>2>f(QH`A_I~F2t%Ez z7Lh=h7M>9f$1X*@H5u6xGnP((5fwe(Qj@2&@fwNZPG4Ek2p@cVGRvpDta51pm&#f|hC-Uwyb%4Z%X}Vbm z;B$NA3K}NDh`$Wn;5A#zdf;z3^BF6^34HtAu|*6?v3G7*5*5B;aJ_DO4m?S&F^(_8 z&=tU=-t`H5(=ineQ(_HZ!-&*il4?c-p%g5HV+K}0=;~l}-w~Gs3evD}&&UA-`QTt+ za*$wP|C%vyaBzRmm;@_m3P8nb+4pxlhdC*oeJ$O|_gv)QpUuPm$y8|-WC&!0l-|p> zTO{P8?c(+pB^j8kpWLgr+AhE5=x!GOK80bCGjq}Ba9m5>{+3Jfdk1m%ts~_i&A#mw zlqrS|UrRKrm#`y~s=ZF0I_1l`>odt1B1o1Pi9F^N&av$itTgV8{s^!Rr3ryyFkF*YR#iLMh*TeY`!-M`Fv?1>;#g2+!1>%N zp_(zH@-zJWM1WcQZtvlbAcVBmF(+&_UYh)jZ{MD!NszY=QqcjU@v7Xl9OPa&uPi@qWhRF;TRx+FS;3u><73HPdv`JkM4Q3Q1WZQhhTnJ%2;+pfFn_ z-AW7pKO%=}`#LpBQWJ?8WC86(ZMwVFwDNK4s93vcclZ|-zY-4($WE-T%VO>}T; z;8YUAk5B1FiNR_m%w`kGTycijsY+f$uyvTs#_{vXyYP0A`XTAEY~c@)!!tv{cI*Oh z6`!o4GF*Z_!~mP2iSij4rsHVDOunIFOPbQz?;ZW@RKft$B{Ke!`0Gk#V{pDsG|n2u znQSO&qvYsBVzM@VMS29@A2KFZ_h{U3ywN2S6yu;Y;#x@BVqg5i>2)M{9IAwfP+orW z6%@|4e%GhOEJ#iqMSekzPC=&e9T{Y(X)7qmo6R1!)vq$8w24hDA~R;3>3egUQ;86F z15-;nbq;{B?B$tWY6dh|GHEC_b7A~dK&YRRe>lgZH`iWSuzf! zu7tr?jz+MeQgIV<$Q|^NYWU&@Do5?%>1$|ohajI1)D#3e5oQ9E6$lM+rNmTs2u?Vc z)@DWao9yGC42_>+#m8!BbLI{2=3Pu6GNVuAocjU1yS}!qpc#S4wANIMe0Ga`R{>0U ziUN*ogvmgaBldd6Qp z7WU;=cGvJwt(0x0QJ;o0k(#loR*-F(!j@{A)Mv;lo02>QsNbIdtP&BNLEPGe_Ghi+ zrg8$FPu2EoYp#c<;N2;^FK!pno)>&^59i=r0PG?UO`bRidQqY?#mZPENNsRN$U4YB zhADv(MHv#ej}p#BQG{tCH>VOqnK4W@nA;JexPp^9sa_%b%h?lRX)9g{JiO`Dq}3Bk zXFwUWeI8#H@hU9RjU zZ?~~UZc*(1XG(kOxrtG>2vpgwP6|Fk;!_y#!y*FyxvmSmWW)eT@>xfMRlv0<=RJUE zm`K<|O2uC?z@?NUE_hwrbr<8u6Ua9axBbT^DiasMpBEL0-0WpfC~P3kVLNZXF2MRv zsbYWgmgFvaEw3K%QdmnTrmsctxmm%xnEM*$=4vg(&=s;vnSV04*=F8tt4`B(e!pNo z;j18ovbTxp?NR-5&Cc0eOWnf9iG9ONqbb^x*s8|?h(Zs?yLZ-CuKlTrGS{a zcR?~Wy5l1%@>xl+gTJS$?_5=`FjVbpdG-$!DM>@M<-71BbB~~>F~_^2^v>6@C0v~O zvA@Exf>%9yj}A?9J0;GldI(1>5M$F#l%}q%@q@&hny7GPFzao0=GnrK5VNrq=BR)| zosi%n;9m9#xeDEA1Eqct6ZplHC+fnFb!yP7>7(^3-=$d*hds6B3}$X-g;Zu?p@IH2 z&s%ltpwyPGTE9aBJ&m1eW#j?5xr5Pq%4sUH$XW}u)GSR)wtfAQ_MM|kw~=f%KT8>~ zKgjX82|8IR+5G*xOl7-bYxKCA)#~}dsjZCEWC3qJW25MB0WZ7`644d&NFH+Er?js za}7v7CPsxI6K4cCDO^$qOZE;!Di9eK=NbT|Fjkrv1P_NWqlTVe`w(=I&-m3+S~hWm zeOHLFM81qS#k=tlIr2M9L?`#+QnIGpcL{N1lSza=Wy7HFO#&DbW}gR7-3?8HsWQ?oqG=j(KxnKh-xl-s(3?jSOFfA>=2>fJH=Mq-% zXw`Nrt2kb*E|%=|O^67Ig;?osJ%t!jK;x|(Vz0d*f{r|+N2y(}Y4T>BxJjyUr$2Td4us~WaF-V{@?_pl7(OQTobBnc z*p9TkiIJ*cBRKGEATCCa4`b%C_zXRe>ZKVk&Cr|(J*WMXurHL30rAoZAFZAk9d_PO z`UWmuAXf{}x>$vNWq5or>e3>|!%HyPnhah40BoSuJ0f ztPX%5w4#N|ra8r8M5{qGyslMrN`7LZHi=HcW_|}nD)m^Zru(~c(c(;cT!V=4e;}*`LxNMvfo#GWC16Ai9amrg<%&cg5S%t? zJA=fJ)PzJ)W9XMn`_qgLIU929h2H?>O%@RUJ$y-qk-L(_1as$bbzkwux*<1pFatpm z{eq}rin!ky%NJrMGO9Pmj_SmWtJLtbBBN;E0#%jq68wg(ZF_32UT3I}djng;+= zI+ry&lg-Z?KNeDh;UL?W`%PNs>e?4}W%eWV5q@h5mpeR0IePC2W4rt!_U~p+rFKI4 zl#CiL36Yf8qy&bqk1adAeWj_}MBaFc!q)=v4Pk6%`7Pifw{}-ZzXV2WlHbpdj z5W4sluK)!+E)-QROAs`5vkel%3q%kw#ex8hG2|PWM64tM6(2%4h%U~5yh`~k{pfn8 z&~UYwG%QKR<-zwiDS~8))|LN229yd(-^ZWD*qa@}Qa1R~uO?yetLPj(+CDEXj<;$r z{q1wh74ELcN{VMYVC^HfVEQ?fNT>gq%~dhiIu4gm2#HQ{VXHy?LS% zNiM16T%eAbQ!R4^>3KfaAdH;=unU=Yuh!!^`ox*Y+wjf9VYERBMhN{zYV)CaCzRsB zDu0v(pjeY9S+I~WV#k|95(W$Uw4GUTU3-Y1 z&Dn;N?N3FuCfiJ@q&PpyfB*gzvGU||v-@BT6?&btka%H>DP&)|E^tH(wBT-|iNij( zr2oju85rK&p2^BERxo4a`_N^hR$>^@~WH zf1!qbe>mI$taXwF=Geuv2;t8!S}A6xWv;DkC4#$50OSp4?%)|V&#r8;UkZ!Mtgu!~ z+hcp{Tg;I?7s!$PRIsOjrp<6-^kmR&aoQiQ1>~-?TP~&Z6YB?s?Z-bdwMH7fPAD>$ z?~HxbYc4A>Hm-CHbIyB8^~Obz;$DA3)$9gV655o=u2KM<&F`V)-RZ>mr8uw3s;^9j zzRkVp88!Q%OSkRt8H+Gh-8|e~-g?tDhzILac@0U9g3q`q+=E-d!tT!olq*$H6hUR2 z3KzGXuD+t^_PH%{YzThRQ{GsUWYNg#ywlnG~wZr|k<^a&{wr(tkaI zpEWhbr}(A}PNujM{dc3JX@Z#s?^Q6|yI>O?p7uoZ)8ZKq0=IB+JDw;N+p#PXiLx^9OT$4;Bv zg&a5YMGTUxNW|_gSInX-omR9ETKoh!f}Fo18h9c_k>j#&3`*w7%L9ihhuQg4jm<8{ z2l9AYX*CZ}(cxv3=;ckB$Z@A=fbTNpLNFH>LF;&Bl2`b(+smkzK&L|Y!iAEW zr>W(-%7Nyyr5pF_BpXYZUWWsoH`q?n5pqp?hkfOXK-4#Pay((+Z4{;*d5{j8yJUkL zwGZbwW9DdX+-$D`)iEb?+!t~D$T{y;jy4m_IW6QE*lV9|(JTQz@y)-t8tgK;c0`;@@FF=1C-eqDfzgL{!^VvB7j)D||NE)8VxE(lBLos}Yr{ z11#!rMQ1vWP6>At49b+suo7BMiX-b7kPT0ZOeA;fi?eW29&|M+T{~!+@s0DBLC>^v znV&2GOYX`L-44wt<0r>(^2a)BxgRlx`b*G74$i?O&jwBX%|10RNVUBv;8~FM>I&*T zi4g)_11i`StEyL8u{jXkA$8-h?xDP#8!$Rt9UMJ8xZRL$%p2v;Pol>LYLCi9&?TuJ zjIg%KSR!kb)W-#Izi>LJkY=h{@`_@$nQ|3?h$n?-YFWc+WL~;Lq-#=9U03r!A?A+( zupndRelIasJwwtx|0{Y-_3}Z+RgLmJ>M0Q$L=iO9DA2^!c1dxKZnXGjVo`WdR5sD(OV%~7Cxmw+BZ1wTh4O< z2^O-Za8@h_S_tIIV#B$RBK@-S#@f^OP2lMQr)E77K5dk(oW_b7yRt;*jACHaJ=E@S zp7ban8bg26K5f1-0z(;fCsfQm`dOnWbad+eW}a7{OesW^hhB(*E<*thn81IZ9(!N| zLt-VoJOUQJaBf1AIv^nrPul_ioRN?}CZ=QWxv2Th+M^TdRirj7n+7?SXWBB+cZjop zns;(k5a4-J6&Qj$qZ}2DkF4Lruk96)DHrN=0Kj%4gkqTe5D zaCkD9;(D$ypXj3^BuhNVlSjsO26OMdK{t>CFLYqz%-sqvQNWM^`m`TWNc#gPz;eQ3 z1Fr~^_+mMN6wd1;4X4tiN+7XUsu-yezL^k{=qIRXz^Ox2Fwx1IJ0$4&D(p#ZXe5qa zJlwiuTxzx8g!E_R?QY{?mw`;7x^iu0Rb%zGDL3woZ91bFYJZfTdzS{hB2 zbJ)#vqTYlW#9KZU@W7qT4F7RgylCTt@4DBUxugZX3Fx%2vQ`Fe2znnV8D8;_Y5oE- z+pLAwr&f8oT~=?(md@3zddSxuJ|^*+v0c&vT{`Ys*gfVmaSz2J&TXBprbF|Mb4L4Z zP`}pjmhk{yppCXHas3#pol+O67MwNq(8C1z=BDJhMuviI(qqkMogP)&`_Uxzr5hue zuH54&5Q3qD`BT#L`GV(^aLn!4-fXk~v!PX>F z^ThT0Oo0a0hPAh`l9X^;`RW?rw~Q<~3C6@kVJ@K8>-O^f?X4z#=%8z3A%Ga(?-fS! z7N(DMjOYGLX~Hv@M|cpe_&SJyLIaiDl6WT=>bD98VJc`ZX(!bTW|8%lFr4uz%Yvc; z?y=NHDLlqHx3|u--oiaLl^(&jh2y40Y#r$!k4coEO-iZr(;woU!DM%h>o0RDK7Xi_ zi*o>}Gk47t*DUITW4$Nmb4+VAitEe8wk27cK|;H9tNwNpXXDUjf+}MYGtMz4eL4lL zG40pcs#Xne1#6n?1ErB!c*Vx>lt1DJtZ2^qs62|g3~ zm#-w`95f{C42)b%G~67V1dPJee99a=VqAh!Tw*GsY*eDWTnhY5f_wrJf;>Nj8I?qN zG-deo<@qGVCB>yxWt23P!~|8OM3iM^wB&>}N}|d zrk*NhUfPBZ8isB^&7E{C+>Mlk3{_=JG~~?H#LQIWEY!uVG^LHTRPD5-?Q~W2b@VL^ zw4L?kTud|!4Gav7&5g}0EsPDU%#AHAE%i-23@w}ttvoHP9n9@Loh^(!>@D2f+u^!qM0s<6Rr{~X&avW->9Vewx|ZJhj$aMkzuUX}tNW%Z`xe^!f7cBz z)D5k+j4U*ctalDgcaF|?OssbT(;ICQ+nqD}{Z(m0by>d}3;LSNhT2L7+Nypx<&L)% zj&+p(>TH_rDjVpl9_(!%80Z=r>6z$j82{Bi@wY6dU9lTb#Cm}%G~Jk^3uri!Pw^I?Aq?^=F!R~urslJIQHjk zeEWKS=WKm@Z*A{n19Y}}e6w-+aYvw|=!Zb#u6Kce(y@ zwYj^yyK?~AJ=xnmK0P_uIX&JxIXT%oy*a)<0Np%ZpYC0qgC5U!?rwJPu1@csPoHo1 zpKedzUQcdrZm#a0?jP?G)CrIPBQ82|Ffc4zNfAL6x7D*XM0J&=EHJx{jb`c&i}m(m zfrY>^Lgmj1E}!@0U;~t)4opl`kjhXq!NJc4x9wq}-l&{X;gu*D`FTofn#!g30wPRt=9Kpn_9hqr2Ocj@rqdG7mp&crf70JDep#(Ufj&^7fTn0)(~ z;(XZTyrk+m@ba3`d9Q`sJb!<@7FZ3uXc)Yo;p#rBDF%End->DPftnkASTa?>%YE3d zY-)XpUz5GnYbdKJPXFRtRAI*JQ7X7pvlX#+^6{K_1jmbzGKB0(=>v7dSAHRaykuK$ z=ah8{)UbGKFb?5a#V1(6T?wOsOe`~@QyaS@1jQC9ej{)dPGb^vkKk7Mc5)qVB^XAr zky>J?JNEL{hO3fygEPP*+?X@J`)Tod)@JIGDyfyFXsiVF?TO^>%be&0rg+UuRwJ$B z!&W?GTd`Htg~Kb;YAkE^#J z&#*6KyQz`fy2w+YI`xA5$%r}0UW2JfIuo+KltY=HQ}uzgg7n1UwQDVU5d-!#{8gCG z`_9%MQ~rZ1xg^#H2aSIVU}sz{>Y&cMH_z?`#K%-9foJ2S9_cbkKB{;p`a*p#5)-IT!L;WDLaKWCC69ijbdbwlraP z5RE|Bdy5sCdFLlGJjRr`N(b{qopf7Y$mc+$YV09-%nTC7HD_YZwsHB%j)^$?;zck} z0##J{q8N16nKQ}C9W>*`$>Hf#8Y(&J&*Q#s&XYMqnc@Jqfx(-u?uGXy()PPk3v9DI zU!}y9t}=hF;sx}MpK6X>#(a*$+hsFwoZaDqY$hRVY zq(9Iihao+;EVRHa0icC$gxpeuW-LKU-@cf(ZEJ5r?UdNaosfsn#T#PHi;OZnWu?f& zXr>fnX(@z51L9_m7@+Q;)MHm_DhbRL*5v(^#IS|%#Z@ zKY*{)hdT&w@Afy9pqeT(Pn)UY28W!@7mFX5DndO~h3iVjFcE$0s`0%3-`~U=))d0{ z#F6{&H{~KG5$I|n)iZ78t9K%h<+=;)`Xl9LUS)Jziaryr1TDIGb_`XRv|MXlujX}| z?Klp+6h_DREcHY;EPRN2^IE3j&o}Ybwga}$%Fi?9?zxPif0pMUPRe`D-ROJpqSj zUXC;el`@i10!-c&X}96lSA#~M$NG$XX&aev2Ja|o;vbAzZFvP7>+Zo$FmSZDGH-e)O->kMJ`g9VWc&_M- z^sZjB-VTmj(!IhZO=sGBjN;3lgi?O|o1U-FD8>RaWz=&p&{DIfey-y#)w@ry#VpfK zr#9JLSb>z{9G%qG8vE9HRp4FxWt2jAiWY4D@Fb&I?MC9GTso)Bf-ur;G7ad6hO);z zPR}|Q{OJf>wmEMq25f5$V~%#EeCiC`7zvtvIUDo#Ae6;{h`|?CGDJ*pmLER-ghF#6 zZ9L;12b)aeJ?j2r7z+g}Ub@h)c^T#N5wD=C%Q#U}(lg^;hFJBKnjlf?xAwKQJNn&iY&RpP79DYOu z%F?G?73t-H#HFMf&kJHjA`*!z~>g`m10>dP)xz59}gJE zm>KfkcJm<-W}`1G!a1C=+>W-YqLFGgF5mE^56&dcr3jMJ(o1>(P+fA93sP)EJS0hZ zJ}0EVk(+UNfoW@fXq84d3u>PXm`NNRAIIrCEhwxj7RIQkzxt39QMUWoVVxUsW67OQO2(!q)5ic|%uZ@-^}*CfKTd`;Q_ zE3zWhHJLALk;6xtd}a{rc-Z^omqi!g(Tw-T+OM$~w#&N+pmen%=I*~+(*}6*ySHd= zkv+i9NuO4Rq)Hvp;lo%`TddQ`mDWIXZz9#;BU*O>Mb>5snAQ$Yw|NeKh}he7tqItF z6>T5 zrpfRC-fD@h<}dZn#$ZpY4f`I-5(OZ(5A^N)uye9LtpuzkEV{%3iyxP^mV@hL^2e@y z4ZQV{7LqZPdiMS0Hb*HpKeNk!2Tt3yjqlBc^rTVGWy~5Te>wZ`pqwSbI!9k|d8ThW zn{S%v=l$AMVXh^Z3^!?wUTvbIQACi}3hplrVAQFQm5%TV-5N0Zfk{%i9km5?VVs)wb_?rwhi0?~q` zwTOiU-nO}qZ>@Hy7Tn?l|m z*xmkam*QEPbBH9jk&`fd%w3%`BF*_Z0opyeAF<@(6uLQQa+2BQfe2e}dNUAL>(}oH z8T?afF#r*hW&FNJphOTxnU6!O3vTfpLN>-|`bdO(i78jk{*IzhCbB^;MgYkbe8sJ2G(g~p?S z_T4)uP4WeF#f2PJSGDJKuBp#~aTBu2?$=q4eeOz~9Cz+;yA2--Ffv|)#MK>c7*P^Y z9lM!JZIFq2C8`OI(>rw1$Cu~kTVER$Cs`Da0JB7s`A^DknGd9-Q>meTY_)ftUY0RF zJ-HvTg?gTMQFjts?|rr9j-JuH%bt9Dh0D(Fr10;*ghMer9P48O#~jdsQ-NpQYa=wZ zklQsm-3?}HkIC<>olOlxPNuSGuHu0%5$M%5LoJ){o9fgvpQekIEd8d3yFYMrDm>-; zRQngyC3u|O5zAlJ9B@;zQY{{4v@?%oP~1(CM<&Ng&T*?gnft>F#(=uN3t20573d~_ zF z`O(B&5VvE>qTBcuWT8nS&?e(&`K*d+;Y6EfVc8kv1!0)(5!q!Jlp=yv*zo~)XDa+5 z(iWo5{2Wyb0?zzTt=}VeTpmGReoW>lIJfuM3-tRK6E63Z3qM~0!@5{fZ})SIk4+QP zmv^`GO>H$dg>NVAbPp$Ad^mEHpFr6kAtgbGoq0kzX0Mhj=uNu6{cA zPzC`@!avsz$DdxffePQ@!||2bOLoHCDZf@u$9J3HU2lehx1Iwzx1sytib$qm`(}^A zJ92!nxx4AG*8Bq?hHfj$O>cW~mH!LAb^Aw#^AC^dQd6xdxs8~%`X<{@+6Cl>(*e;a z#)i3B70u-e^e@}E6K=?w)9oHVv`s21 zM&uS!p&~D@$CyUv%|6doz`Xvvsnyt=twiKy;W#p$RxnluF7$KWL!^T3>9~H*YBz-0 z;SWhJPflJGWL{DA2RRjKNu(71Y(AK_b!|kCsi9|7^qUWRW0R4_iB1C~j^PPS5 z*Z?K+$JPb_QC<5bSTHbVm(F+OkJMez`3WdenJyN{a4}q+)KSlnZEwzxiiJ$H%n$y70W-Y!BLWvdgT$0W`R>?>0q;PDqo)w?)toL? zdUeWLL3HD?0iB8nVqgR5_;(WK1;srYeWN)cv^NVU#621*TZV_^Rs*USn=m`JUy!*$ zlnkf#bYd#)bbKrXtP%i@6IAxzm>+RQj(L9V5rwe5X@c7s|rgqDx>Hp!()x= zWCT9o>?b-LUFQIK;$ol_x7MlL)HSw{_XCm(C#KnuxeVUZJi4-2gf_>f;alT-fYj${ zz=o)65yvE{o8_S30Cp%Qs4so4zr)aC`&Z%$gszZz=`7-po5b$qZ%WpM(@MJgBZUj= zFpx=@dQ6V5?ptKW5i4~^p_k_5GbAWimU?A?kaX1U0DQ#~4S`9sTrNgM{MJ#G(@#>J zA1dFG-f_=P@oQ{h3~Q^$}M$c>_S8!>ZH=MdPrHho~?Bg`k(KcB!J%|H43 zXt4#>&Njk(<8l|I5D0U;@rCAiejI}XNypj7q_Z{Aci%*wkK&O#N#1d7zdN#-RiZC3 z5o6p+hCCnI@(*N?^Ik1o@v8xcX-Vavak?tbYz)_lCTI^6n0!EGIV4 zNt1ppa)r4IJZXmzn*U(tjp59uSB^IOBgHgPA8e&Zh&Srs3gNv2QAHpIA7Nqz;7I@> za&wX7R571j^R1%_8fVi|icS^$)y{XbIMy>+R#YS#^NGTFlr>RyC^WNMmQH_FMAIgw5LI^* z)(JyLZjO@*vi$h;XZogPTrrIJW>KoDw~`4b{>A75>ATFbL@Tpj@r9xiKt4~P=<@@3 z_c05FR<9H{EGOPZK0n#=j4K6od@)mBN9eg>mvB%?Y|y`H9{+yGpO@M_pi1fqpM0My z%N6DTt&;qWS!5*`#O$X)_)@0*K!-wa3)28%m6za}<^b7%l^VegAHq8mJyi3n72F+y zq;t$3LeSKfO)qp0F9Irn8#4n_WPi-(r?`Gn^nRWLSu=%5P$)**1jxTnAY&m8_o%&n zMT>!xIV-NeS->pDb}k4xz;Ds?qk~$1Lo1CZ548NltN~))ybpZ|TriK9=qoS$mA>tz zpU{SQ4-uR*_wT;m;=?t`Qdy0cl{J*|m$4If4M#euJn7qx^QAWcnkJ}Lv_W47idK|P zJf4Df)z0{BpH9-eJOCphm%kxF?`=AknoHK@p8P@CYMRD)XpCLLCA<8WoJnV-oIQ=I z5B*o~1Rq&YBA@iYGwA1RS8P$b1bZKhaRTF0l*zPLc6&_Fd#@rBW>y)h+=7gbHO$mB z?|mfpDqenLvR%E+&0( z!LJgZm)?j)PCcvKN_n^DSx%VfvQH=%BaD%XrGKW%A3VU*6f_>toI7i(E*OaLK#BV~ zpbCn)v?2MUja9qm{seuxTI3Iho_E*~P*#xu!-;kR5k2-l&VCMh$A3Bds~P_JmmtB8 z@pHll1Jyrn|G%*)<9}n}f4Ehq&j~Y(H2>h(zc3!txBuY{nf{v>|2HT4PyWg*^-s2C zW=H~%RF7<>4W@@6png4X+A^eB;4h+mB;e{DbFDXM{)a

n)jFn{A;?RCL!g0xz<_{gTeHLwgF{0fDITe{2b&Tur6S2>cMK2SVO56q@+q-22l&2qRB4ofyrH4bUY#lwHw5i zDN!K>K{WT_&07TV;k7JPmEq=2(T~F!_-sdVG>jiJzYj3H%d>LIyBVDrsN;dq}KV5eh^>Z+}^)}Cb2N4?m zs_jAhnY^)Xxt94DwFdOg5V3`MjdKAAKnb2q=#)i-u2|i!+MWX3a%7Ihto#yZf`d-= zi4rRtas=RIvLTExtVDiJGvGrNK^6wbbGo_w*k7HJ{{WYlf`(D#t-?$L1p$!+2Lbul zE`fo8`MXQv93UwGX!^@OBe4hhH4Xhejg@OYY*_9q1aPUj#+C6@^7R?_OHpbXwG0aB zt0#vLG9unb*XdW<;u4*$Em9+9ztw%soiC&ZJDCNs^N}ZGEsy$M)h@?dG&~(d_OOJ| zMA0gh;_aKZA0g05iPO;yCgq8tK-IVw>ENiT?2t`~L_~%G2I3C!8Z*_@sHG-A4!Th4 zE@##Bqnsn_rnMVqu0pz-%`V`6`q&KqBVFnNce%E3TFJHVm7Xj7LA-rfr2d!5rEn^B z2wvf6mhx+gJ&6+RN{~IF42A7d%mE5)8rp1zd~=3mbrfY46sBtYQV~Ou;nLmM;+$O+ zt%QR3UIIhF6fX=6T}DF7w`H9#n_3oYZS#o+k;wr?!M}4XC9IrExc%zntXo)9rj9aG z8>W*Hb@nTXY^1pbsnXAYGI~j7POOdwO0f<8DWZL-rZ@|=kaR)N3ch8tD_lAxY_8Vb zKbXJn?nJ`1WYa0fgtSTjlvv3#Y@H<8(5q*2Od<^g9H0?N(v_Q=RnHK%w-gC17+#;pZ0zOnDTQE(L71ZzhmQ1r-MOFTOAta}cg0u(mF8 zs`6L^A`&n0el22S3(};W%xf%XFc%swg@X#)_!CiMsI`KO?!XKq8Z7Y$DR!b{)mo5Vx**Cp17%DEK>n36*x=ihoS>^#Khey`reRBh_M4R{ zh`MYAt1LAP4w*PI;K;|<-`DftFt;3OPd&Z+K3)Khp2dY!+b()Urk_x6+iEC%eJAbL z=wxJin7Oz>V)+jeQ-wmPY%{j>FL!+H4i75Lxs?KqS;VkLK=t9HgbXIwi+;u?nTB6K z0p!P(%;P|G$$QwVDh1hh`!d4?6#s#Q&5`jy)v)jp)~yxrh;fxr=7n1nV$2y2>2U9agYuWRW|XtDc`j_N~+FB?jXxdqw39cl9ep8^Ir(fb(XQy+T~z4ly%hm0qP?~8p@97FGw*hs<@u;)Nm zcEt(CdQ#^Qg_9J56rUo&I~gKXcDfXB@blM_ox~%AiY+|Fsb4hYb6ZXi|( z>^r?wR|`ApW#nYE^7;Dk-NHgYioOs@b{W_I6u1;su(Vyi`wBJ{n za5F^+eHTW(DEFk;jlv`*Pxtfm_xSc%p44cIXViAo`}4Urzr%fN#rH#=pn~+n3e!cI zTbvp!q`qwcM&GGJpuQ*H7J&C>v9bgr$vZD7@u8kaebC+7*}1MM38Y9#?zy?Cyv3=9zfMJPVqwvQo_5I<(f*-rji7iQCObR3+U7?# z_Q<37GF(@kquF3|06H(>~#?Ki}u^MTBxG0Wr;*(?!S;Tp?CiLtGek^ zM?L4iD3V|nY)>4uZ~%+%9-Zs;$ake+ry|RSd{wZ=HKYf%OPjpy54LgiACP}DSOa-T zP9_uxNCd_I$zWW;}OQ11&)En zPEYk&P#JD`tnWUFRA~S>a#%9-wO1hb=|n6^o8#QT$SI=@J)cYa9~P#CtQP!_X*Hi$rp; zRVd>jqtFUbOy8>2ku)I^1M2$MIEs%NQH-U^Bj1M(1`@iuk--QBbC-t-(B;_9YC`hr z@mBFD!^cqYpU?pu5}XtIzP3i8D%HKtvgsDUH^^PZCVlMY%!uZUvsExODpYd$3+w?W zN>DK=9Y$EV_VP5^@5iaMRvU>-hga&$z89pYY9php1FI)Ac9x|FlO>7iAoh~3{^YY6 zQUh|?zEG+A^hh+Gk zra2Y)&efq8_A5Q0|G*@#ax;t1644@84*AxpLZil%u8(s}%~3}(lW1$QF@Lo^_M&5L zNQSBPu(J&4^zS*}yUq1pJ+963s)osm6V`%pa3p0qkhdC{Xt*<&qgt$T);Uf)I@ln3 zq&YwR0pkKeE6mpjcCKXaooE|$S`!0Mi;A`zkqCpwAe{)A+aOb7w_N}>ayohdd0TTE1`FS~h${m6XS@tw zy2-{&nK!q!(DFE!tr05W-X?PEn^f9dBNa#VX_2-@-;`N~`EWU($4e+^cc@manFLKBN=l{(w*Gf%KBmCvBJTcPL?A|<%CVb8}>`iMO=!TpKRR_tWYT7@yDSl=;oxsY&8d%&&=9i{0 z#Vu@i#J8~z>lj}Z;F3! zH_j2D`<8h0(`{p(m#84cM-xm+rLs03H;Xs~JS-Qx(2l}C7`E6hQlWg`6_KDB5}K;L zuOu!Tu7Ql@8u@E~VC}R1g9ZrP#SpwI8CAuZIqe4P{*CGE;$KfU4tm6&D4vObz+c7ovdu>e)gC-9E0t?id`2NyeE_ zVRPes4Ig$R(G&n_J9C>r`pN|-ckWZKV)F%>rRZsM5Q>~kbAaqdS9;7!f|59P>;$s< z&Q3M|=_K=znz`w4hvF&hQ>NuRPj@x|fE;44KfV~Ktq)#_Npi3}oJItd>i|{T7_569 zzF<>xV0Zt_Ng4+F%i7062$Il;t@Rx1vA&q;5o6-MxG&iB+j5)v(zCK z8;%SEDg*(U)Z2mR8S7Cu5{mJMu=@+icSq<;^*CC{hiiZ80O9>H>nHzL>X<+P(dRa_ z(In;+|EmJBiiAp|05r)_7NzaW5}Rl1Qq*4X8SE`*KYP2k!Bta`D0l}F^y`4jROsi+ z9qP>VEeZuy9JFb%!~1t5AMXq3OXF|Y8Lghcpmetx$yzkNTwq3WSM8S6T3K z66rVfPL>gN{ZFgnknPKa@hzBut`0!v`&GhgFTq({?+JH@l3Exx=e?HvUb{3nkF?^jV`D?miS|LCwMv zg`7F^>18K$^%$|FbDb^0UG$*r!YeX&M?E3|VL12F4ZPmcUb4@^iO&o0_Vz$rst2g; zxOkAFAqxwS!h#+|&!aQEseybH*Rs3RCnVmi}bN71sZg9peHphyV_&9BAHK zdNDgrlmpT6l_~y_#M-k+V2w=uwzc#E5p*rF;r4*{QK(jg0cuF@xl6LIJ(wrlLtK*&-y^A77*sZ?3z)^VPl>;GF+@yEKJynuMRZjjTLo&XKNjP@L>_x>X~DsY zLM=3(Ft<|OUL2?cL~_xT7_Zs1m{*LJlzopxsf-V$-X-%4Ujz6bf7nF^L#s`%p+n}q zhs96E_#501!}c97uFb^4QDDnkka-rr#TI@!j?AQphI&rPohqsqWGDs{3Wb=+OM6Ko z>KoA-r`Hl6h!0PE+W`E04%<@&a^4z6I-V;8b}Ev9uz`j5^8&XoHR-6heJ`WG>|+FU z=DjZpxY;aS0U1H`93VA&(R84VGYv9N?YFhO9Gnfb)Op9c(u32gXt#3NN}@fu#Prh? zx8kWC+7L(fTV_l z>Q12@0-a(s{w?Cg4so4BY7t&Plh|r%AZbro)$Ujb2js8=(!a^)8Utw)tXE6m2>|6^ zzGfa^f6OOq85O>3iYg}S?8uOZ#qHA}FS|I;E}AuZEG(duxF9D471w$XGl)+z7#Lpo za`)CG=f|I&O9ePKeDL&Jjb-InlS;C<$kp@$7}xEu)MDtz6KpHqO;d73xFfknqm%Zl z3sB{kQG>iE^8164f<-L5P#r?8BV4z@NMLWpoq)?K!kiGSk=>-HIC2@pZT$M})1A+? z4R#qz^A*%m|5^G>Roei?ahSa2J8hUGurFrQ2GiTt%^pD0j?6`%Ns?LOExY}iz@Nxv z>1rL&j6A08ui)2dT6aGs>&Pav^$yN~7Sse>!W4u;VSASZbX{=Ea{>6f?a1%&(1Ih! z-C*q;N{Avz1wt|Bl1yD8nZ7~{86kFHn(QC@|9U{FLUDx!Vn9+bRK=>JCDUW1)xn#1 zCD75L?Eq}HxYoW2cJd zgR!a3kIFsp(xby`nR6h3&V476@cnU&72N>`=xrrJEBY39{11LkP8~b z3!9@bc6=&XKZiWwcif1rrd%^#v51RGbhnKb_fI#+qX($<%+=+Xy?h(F#ww$!p)6|$ zT2g#H$T(1f)YXmVIjg8ri`+Al7wJ6xdybpy=1|KhW*8k1n}Y+2((Qp86gw)Nr+)X zbL3dlD+E00%q{1R>CnT>A`RR4fK(yz+>RURF)o}dZJ&G(luuzqs~*;*GK14+?-wwR zJ?>X7Dn=UukuqZt+#&|q;V=1F8{z}*28f;UJQoDR{x!u$Du==h0cwmd`rd)e9^_<3 z4+35pA0H0}e`{QKu$g#Hddq^yGctSLq$t)|LEAbNe?6}W@B<2HCf|~@JMDPIX?a6q zON3P$h-)MJ@m4L~BGv02_*YZJ7nl%xpCoQsb*3_txxtwmn`237l51U~I%)beb6&#` zCTOfB0iJ@Z(t&P9dwPG5Y>RVj#t=vl5F+aTI!kGuG5GQrEQ7Ff`XRbuv{FG*Xc^)sQt) zma$M5v(l6_(NeY3ma@}R*4H&KH`M;6FXLpYVPt4%WMXb&W@Tw&Xk~6}X=$l%;Amvw zXk_JKVg1Yemxq(Nk(<4_tDBpijgPLqpT3okv4fw1Q;3OMgoVRzE9X#aS3rQ3d$@&X zjI-x&d+!(`UO~wo;qmUF>E5yF?h!ejF$I1$+I}_$ zLC!w|yqsdatV8`glKgCvgPgL%oO2`G@}oVAA{7$QKh*l4LK2wMae~l1$kw4dF3r- z<+a5%t@UMjHI=n3wWUo>%}M3msg=DMH3PYIeK`#y1uf%cjXf1D{pIbWMeWlyP2F{E z{k5GVt)0E)JquNR%dNd5_5E|TgR4!$^Yz2)ZG$uIBlB$&>n#(z?SPqs-inmLnvA~s z{O*R*!Iq-F=8BPq?1`3wv9_}Q_J)~`;{Kk>!S4G0zK+4+uJP{r@xIoHkGJ$-pTpt;qJxB-r3pN{`uX}?a|r& z)9s(K>+%G6w-3BIdw4#3y+3%qKYxEcy}i4;0X{!G0qq;k@S62vA*gJ~S4MU3ZYXz1v^E;y&6pMtn=Rb?AJa*K#U?{n^&_>{+e%d|p`8{vs(H(*knl#8|$7}!bD0Ul4%;7v?tH0h{|{Z4M? zuRBT!H-N3swWs-Et3Jl|%BKD1;qT%Lwcnl#+z@Ao-UNXZ1fy}#xuydxi;j!@u>AXc5H{E;Y z%WbG?bVVtsq2|=+BLQm|)pwhN3zZ_pG0VyVziVR-^5t`mtey%1oyqY47bG;fUGwDw z*-2EX`Bs0GMsek5<8tFG)%-4$c>3jE(*R|`P|6Qi=GyPR^XqGw4#wnL)N;W#sIj}q z1^_EFx(#jo*Od`S_5@~m@eErMd`huGYzQ0`VrDx9;W&V1T+eLuQGwbGysh{j2}8I8>85?p4}awq%WFgOKaI3Sio1GyDFK)> z-HR@M&E&LO<%vct;6j7XDIi^Hiu;={g$aF4zSyPR(3!XdEGY8VRnw9qc=z@n(`5L> ztC^RFzgWF?E2+l9-UWBdwAcEEAM|vq$HoXLlTFh`D1|eUn`K-h3!(2%2b6M`5R?=s zV~Gd%Y+u3gW^u7~a@yzcyVmnI1O(zUhTtbcJNwy?+<5|SPJvMirhp4zhQy(;BaLu0 zcO{JJV6rh}Hwi|3#f5TARe0&OTInxpIC(xQ-%g>{H&n<3<$yJi7YVFoms>Ek@b6Fs z`r&w+}30H-f4wQd9{U^a?0m{Q+OSH0)E zB3qEzpck14?+NkA^6=9(FHpO)2y?**XS|l6ds-0k?C2(-Q-X5zuauYy0AK>HJmQ!naO+2jShhXlyO zby_UgH_i5;bB4<%K&g){X@kY8b-u?=wQYmN0&uT~i!o>XT$whwh#MwGJweyx3FLq@|=z`Of85mTECFUO9bakoeLF4@c7+m0C(yEd98g^33gXw=+#$i?5H1 zlK|L{a<0_0eG;dD>bE@qimTv1yIxL_Y2#ZplxO;MabU2DVhCq;lsQfO@wnvaNUE=% zPW$;5>8+rCkd*pm+Y#GKFQ|5z_)j-v!p*U3%HTxw*&T7LeVN0X5q}L0SIDbS2EQ9g z&92}W2BOFPOAFl}ko1NMd=tOAF=JbAumC55yF~066^1r&N;s@xoGWW?jx-h?pNN`p!kvNh1e;JN!1CFcR`Z35!52`vo|jiX-#0qKWdwcZ~QEqJ^^4( zCJK>tzzJ%Wwux=M?)=sh--P^BB?Xn=bqzk^F8#6jVj{UUV-iF9s(gEbpM&PjeuyrX zBdW3|jJ-DmXMlXZ>x#K$oj}{94xsmmNdU;yIlQL<$AXg!qoM^ts?45@8&0ud9%Cc_ z$#(4@7F2wM$I@}!u{~9mByc{S)@sz+705G-R2qFOJ9ckZ-aetlRvV2T5r|^QTcoYqBW(|Sf_Z@vNd;-`ZB1pC3ve?+eoE_%PDeB%%Rd8?k0gy@UL+nQDm<7}m zKUR=lJMOJm+q0lrt}-VDs+gi7lwwy;yt9T!$HnCTTwz(FdW^a>$3@o+jQN94y^PCg_4mesNFVavxSBRkp@(A z#?zz{P*=NUAmA91A(8=Zo8HrGnAr93@lTds*|T{cztMJWzXK;fa|y*km%5H)GSfcW zKUDyfAXkjc+vAMN&$#kypAV~5qto$xkJqoo7dt6p>dymEfI99>4`sWwqtAT#h#Ni3 zA$GoO--@mi4>C%}grj9};FWcI9-r-G`c^aGnPfbRnR0KO5pVh$XZUdZxyb|Xs!IOT z?v+-|%Tl8toXfv%VM^0hS@C(pMLT%yV?rb&gx~vOL~rTyeg3!%A?-l}`v+#8FV_Zd z9S$qYK68Q&py*`8RD}Mg-vit4ozUK{VCLLago{v3M~nCqzX8Q<^CFpI#h~7AHSpn( z&Zx(f+^fnaBkU)+&P7WgqC#I%tKBe*hs;v3l`nC%tAB@mevB8~6G}b&fBJTb4vJsG@-Cnz(bMjMTgkw6*whDVB9xa~EQQ z&T*~__l)eBXLvY}VDd>R7Wyx@olJ)*tvJb~fNv#O!|JEu=L^7R?;jb#aC2 zH<)9$01E*$Esgjrq+VTJsp_m-lv?G4s=&U&z7M)^U3!85iF?=&l3fB9d@y6Z3M1!D zybc+k>Yrii{Mf*mxp4=_Q`hJ!lm=DtrcoScEo0j{-|MzW4WsM+EY=!Qt;p_+`RVa(jv#k>330g+hiq-xRRH^lGauBT{#Y+1&T2G z>`x)aw}XI~Q>kx?ym%Z_D_6daX*%m6jZC?dtmaKxIa?N4@MsY$*1C=s9`t7yfow@$ z%PMDE3vPL<(D-Kk*6$qU2`hYt{; z_g@!GRiMveBU1AM1csN+V$&dkN7yUP#aUtNPfT+9`+pbecc}A!jUZYiLu4#Q0$gax zORMs;zUf2y#`frZ`YX19%i3N8p--augelpQ3&mi^V)!Jmwca-SG?+5BGiejr3%np? z%c8`(#$hy`gCJOh%M@PV(WsYxumO*A%x2w``)>9l@w_Ej;En-cwO@(Ja$O9mzao&Z zi4g8%ysq)xkb*^aND43jkAu8D0QVb@8NZm*y@NfcoyoH0YLg2|3)=%1N-LB|=I-=? zJsdsG@B`wfTU%xUf$&{?C^*BIEdiMVGg*rK8oa=Mf+>OJn(!L8+et-)pCVt}@YUkA zm_>{UIzv|pPRP02=d3?hjHFvkPkem5dXb^jGU?vdqQbndTOlo8S*A;-02QXt@{a~T zD_3i*YJF5B;FeK7E5*!6?&x2K&<=(|es4T}6&<&iAjJNJ?pP4;qj_Gt5l?dm?7kQC@4rQ_4ZBoWuGlyB#^o@F z#AP!xQM?ekz4G&BkwN;OAw&PwL`aCp3Rep1`~5G$U!6RQ!@tCugRK83L*w39h5iw5 zzOmxQ>9A4#H_rPv)@R3!J7J^wXB>lF>>sPoF7l5p{_j3+90JF`=5TRH{^JYcU`P0) zFjV_*?P1&)2esPYk^j_k!2W&H|89DJ2vG+|H!Bl|zw!-vDNryp5Hyf~YZcZ0^Oozc z(&K*`Yn&7(j^^Lk|4FOD|IdU!NCfpyY!gREbDN+4EBgOWyMlmV{jZfU*l}H)6hwc+ k2Zy|WGW`)!(m{ZLp#QH)v