From c8ffbfb620f95c38daa56edb9c3c0c4650c88e7a Mon Sep 17 00:00:00 2001 From: Mark Spanbroek Date: Tue, 3 Oct 2023 14:41:10 +0200 Subject: [PATCH] Update spreadsheet: snark size as outcome, not as input --- design/proof-erasure-coding.ods | Bin 16849 -> 15828 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/design/proof-erasure-coding.ods b/design/proof-erasure-coding.ods index 442fb39df22c76829263fe4596a5ffd252e9b29f..b3db3e135505ca33e39cd6fe5ad2ca316aabe1a9 100644 GIT binary patch delta 13827 zcmcJ$Q+!~}(l;6#6Wg|J+t$R%#Lgs{BrCRUTN6xdYhv5BC;sNyd%xdrzvo!}E^$ zx&Qf_7Sk8pJp=#QpaKl;gGMJe{~ULs8%%+uE9cKQTXg9QjUNzLHz+2Jr^Pk#Zquun z$5K&LGSW+KGQ(&@)_v3mMU-t37``mPbf;8<$rr3LM8%g1mT1=n6kMF-dn(7s;11^l z?nQMQw>sX&-WW+;lv?I6+yqJ*ofb=*^`Cl)#iB5*z6NERukcQ3CS&abBO~gD%cc+A zD2E%-B!_pE!7l2IYXtQv&uQ9_WhPTS?~i$ANlx;R7OtrltZ2>*sFD&xe?rUwp4R-4 z#sn=ZS(bx9R|c~t1&=X_AxOg`vwVe`JcV;6!ZXgO&at0-k2D*;hfiA;sQ|V^@M&}X zbdvm=MD9(veqi9&3$f>KNT6L&JEK0LiS)+bV}}}#-k&Zkx<@sC!n~?o3yDaGo@|6J zYDcfwI$v--biWlToLkx!s8pf|$1e1OX?D5Q3F9l|f!ScuAJ|I18`tVOMo6b8a;1vf z3xwSwE6YK{=wgDP7J`C+D1w84{Cn5Hz`*?7HHmJJ3;?%`DU(xe^%-X#V#wE~;eZtC zbUF$+bOI`$Wrr;iiLo{*C+pHoGN>}GVPepAnD^InhjBR!!5}7@@ zv-kGY$5yw-x6=R#6xeH0vtG*H@>&-sDJMbDLv}+m{3GVDpoF@elYsoJ{YZ2QZo@F6 zUe+w!ML;6cGJhU(Pb6n*ptuo}RF8Yoy*=CBQfE=SzS~U>C*|MWYvPrFN^kBGf%mLY-l0_*cKs`1Kl z*eUmE+dRU?dw45Y;~B(h8E>?mXX;~V+54O_`SvKZpo{_3BAoQpq>?HS>voBEQ^q=`6S_ry{8Q)|ahPi{Uh2^H2 z$){}4aZo@9cA%UJZdY(PFCahg-dk}vD@ECcirV$J_gOd%*m{$iM&Z2!Rnfr>e*#Vh z1Gy8jrA(_{9m||J4x;$^hzprCWIA}28Ic4=vJ7H5Brzs2^^MsgI>wAJ=RFZLc~CU; z4PpuKNn;WN**OWWp;`JnYu;m%Ia!g*0R`-vdDs?C6;NQ`I0FJbueNj*P&nr?WHWIJ zzD41S-CEgM{1RrnxpUL2($}Hsx&RPe48&wQDHR9~=C77$H3>wtzoOHnf1S3DpJ_eR zMJx#Sm6fj0{fgjC5*|L14@oUSz$%CHC05v7fw@yG{pd$ZJX2U4-Tf=zTn-{dK4_fF z5a&iNGCxVZPrSU-uDS60M+sjiv!*a1LpP(3YV3j9Tsn%QSC`Nttiv?)l`nt=1vlLfJQP3aclN>F%ZZ|ElZxL)};~F#315qy$qtLjxdL2CC@htGl z_c{uGx}5~>yL+_B?!`fSuN~m9)p-Z~r)K!+W|Qb~6Ck~M2lx6!s`6A9MV^PRiuYhz z87o8mnNaAz3I|DK%BY0j1j-zs^yR!D%p^rrNJmA_Fol`zcr3pm zR^|{aK{t3huPV$XtVjQOBYABQfe(+q@n^`7HJ6AWDR+9NLA;LzHIDdL-whdd#4xP% z^^!a@&s!zty^m*a_zHj-n_{VpnLkpALgW7RGb3=i@I#lw~b+nH|uXFj(D}Cv#UcOelc$OYyx0un(-NvT&vheF4W*I zItDpxGMv=G#C*LjC4}+RXfU<>6E6sC1z>TOAbtb<_^|+O>HYF9k%}nkxe$ErtkU#W_#%}RqJL8 z=s&B8s^=5K_5cgAX({cW(NQm|BJD!m*_)TeRH#X*q+>ZH(8Wdhbm!I*uI!zCZwJ9I zstP5ahc;30rw0oQ3&C^v^JF^UL6U#W$r2C(-5V>dp^@$Gh5TR!ix?hdi+lKXqskEVn8n=RMtWB;OBg0Bb?REn*n@W z#?We9MM($-3F?s6gI&z&;x2AeCPlnY;IU+vgX4SpMQamZLrTqAnc>ocrgY!I6Pl@` zbN4qHGw~l(k#h~f0IvX#Q07GE+|iNhpy+#w;`d_XjqcKM1vHk@vAoT5#-lr0F&6hc zefPHZP|~^ghmnKse~w9`tczw?Xb_OEH2;rdvI&6*cz4+4#{GEzhzOgjS*;Nj^bfLX zZ`-)6QJixxKKXrGq(PTHAY7w}KUk9VdN$=Q2*a*idO+ri9i2xWd$IJmH~jOR*YV@d zB`k?5Ee=Eqi=nW(86Dem8M$Ca;%secOQZDR?m%er#u3}2_R7=&wJ)rKFoybvmiB4b z{T>7=@Cd6MKT00{f*t2~PxeK0w)88}F!R{lqhZNOr1RVvAqi&Zw`iK^*9^{V#Wl6c z=*0NPhsdF;a&$p82B}!oEh&v}YD)}uMbCa<4>W#rz#&b}Fng7}aZ62Qcsq}4SmHHL zC32u!h{f*x5^ zWWSeR19fW6)Lts5zL0`>2zFwoOUrLhCII616MGmjSIRfZHEP`{yuhF__cV}H8?hY8 zdMlhH70M_b2jnmGmb+9&w3+b3tY1?SU06pbkCvTvqw1PVjO`}CN9btfEMa7|QUg;X zfQ%Xj>kNn}ZXW(1^pTXoI(U3Bk^7d6t+&gpt@>bov?8RN2u8DHJ-z087k|uLGx*7& zbueRk!yM+6?jB6$xGQl`#?lzd9T3V{bG8G|(ZGD~K^@)(?6RnEmlCQ%(Xdbt)aUXL z&0|!hMZ=LD37e`bel4`TTO)(ao@tI4VDtv2yZ5+iT#kp{RR~E-mKw|W&wxgakq1aT zQ|Y!g;%L41-F)QBMR(2CATg9{hY3FKDq=g$SNodrhG=@e6e`SJ3K4pSAR4cH6MnJ! z0{fDbO?w)h*W`7`O1Jb^D61NAI!1)_*gPbEXbmE-F#Vj;{`{7zqTJSEtm-pAAex~U z_5ew|ik{Paf0|jiA#yR6cxZnPm9cYK6|?@(!wrILu~U9~l%3cN6a{+T)Zh*xLAX{= z&tVngjp>g~{bm)a%PPh zkHxjs_MJ+3Gr=$-sWC8`<<^wmULVc#t<7$MZE`i+sbr7WElN)F!8)K+E~SpnykS=F zZ5JD=kmX>*;@)HDj3MVs*=`yXiLf;fhXSSYrafH6#UxXRt$S!VZXk*};F66U09zoJ zOshftK>g-70P~ymNBw%s=divW$AI8CECnq=2RnzG@C$ep3Pk+N?4jP09YendqXz8K zG;B=)nmBbgT42ym@WIgH7fYDBd)lp|MXR%j#%8rDTM^suX25oydoV$?oTpOHSeLcp8z6h<1KK&XK8kDCgZ7joI%k?{b-pp;) z6}*TjP_8#fHam*LrT<$D$LpO zv|luRojU)XuzklAI-to3ZX8_g-YFH#!v%Neqz#<=b<}sBAFFnr&!6p8kF1b`27*Ak zmekTDKj5h~XTvU4CjML`KRlSD7fHKRV@yBCezFwx-gg`31Ps8j|J2s z@Mv5kvo06iU=Zfw8`fQ87)2WMyBTiNPwwW2=cIAKVt37yk{Ac+l}nF$ZVv6r5~#foDRH6dO~TP8smLGC?p8wuuI)_~ zPPai4XWs9(7tNCJ19XEr9JoI?Zk6{LHvk-P*27Ra;PKEe-9*87L0ipLe$ACUwGHQy zq45VxOjMho<}fowwOLPLtVXN5-zZstEW)veA=|agO0nuBdSv%vQB`%j0S_(AzT~m) zkJ#yy#%t*XS}`D9g_;wlwTM=vC=P}^_J{sT#*NXQ0^R`ts)El&=2 z?TR-8V5mdzA$)zG1R*zpw_Sx$DS zOrdl}CDc^gS*3WrY5e2FeTkLNR)CI5Q!YFPblkMZS)zxPZ-)t^?(N-h>HBcpL9g^q zZwNg>f3p4;_Ob+nZ)7>;Y%uYtNT^wN(dzW*@waqIs+|EZJM}O z09K=|Uf&IGN~2ZzU;<)BxN~=lrI)A;;v2NT>|M407)P-^nUW2>XV)fgrx?uMCgzTw zQ0b)Np~}ewOlxOYwC=i1%4a9-ETgEh#7~0UPdmqsPW!v>8G}6=P$$L3B9DJ0Cj#-V z?5aVZZa7yJ5#gl?#i{il%XBvqttVhYfGa)auQZd)8H3BoYSeoED!;oE?PAw-kxj1h z@|B(lGZN?h#85X@@scM5$Y)*|kz~&G6ohU^;TpJgj0tZGHz&W}l|A_*hfop?d?DMe zI&^gyjRrXryYgp0;2tW_ZArF{&z?2<{IvgEo4?|CwBUX!U7u>$aAAN4(&4TZ@1DC_ryR3HW}B zx}MZjHv_RHO1)!EMxYwXq8B#h0OT7KM3^GA^RiOz9oe^aHD_*%WFNgD(bpSdz?fve z#M9h7ZzTP>J!)R7MC;0&>0DC$9f~G~X6@vqYpT|NsoSIY*c%>FsZy`^~{neLl{KERqI!X6W1_zbu@_yqmu=J~7ElvfH41O&|Ef8RXCv_Sqd z62D+!0pC}-zxZw$#`mA)po^jEx}bU?>?DMIshyzkO|%2GHXBVgLwJ9n!#n1jSEO0y zxnT5!>5|@xlFYS`Br^o`z5dvO;z%W}qsv|;_2G~sxuK+QpodtTy@~CZUi`G-%_fD` zG&qGIB;U;vBQZnsrEEw0>PDSTx&Sw@GXy*v0W#({vZDxRaYnw3hn?<9jYImxSWEdHqShR?d zD$rf)L!;T{9UewKpLDhxOWX~y9;_CRe2d*`k^^DT*3wpmkGSRkjZ;be{j~qJvr*{D z4~PkaPo3Vtfb8FwiFlRnt6dO;>%X4dm`Q-A#8EDj@TPuGC_y=n$)SvcdQLB3YG(&y zEc;#}7H+OAFChD9WJ+d~RWEoTJu=8F1Ju6_8aKS4KGTTtx>Ji8(x8Cg2}f@i zJWL`G`91>Sd@H&&<7<;gpL+K6a^&}u2aLfess@}@jz#I2`MSCbr@fY;D(BEJW?*75 z*+Jz@eS{;Mq*kKbQZ`8*hrmAu1j$`x$w`D~9?A%cOzM@^>pP&=lh{M2IA)32EfLo+dx#^|Pa zwfC}n3&CC{_jOS~48%MR#FP(IVZs4u)S6TjBu@0h(F#*8Ot+N8*Xie~XP8D27V~gd z8ZE}LgG%tTW2O=g=t5VJ)C_3C8LMUgo?v<+k|BIi5(5RK2;Z4a_qgI~h@8t+j(iOE7qyfz+o;VpFutuTcUJ_?p6x!K3Ili-PX zj?|ArHwHp5*kQ}}bW+_4Qz5g@KLkVM(vOG@f0<1t24+S=TH%8xbf?v@_v3|ml6!FM zPy1*{hA2`4rc5`K{#05H@us`Cl;ILFD<)k$a)y^b3#@`km#guX{rbnu2~c`8gK=T` z04xlwwasskL&y!rM~Mz-1bl24&2Mus;MT607os6O382 zupbu;q0V8QL#nkqjiVcmSlMqZ=QJ~hFTX&6S~MeKRT)>aibSmlQ$I-dBY#UYzw2Ce zwiWT7oDLZp!6p)a1Rl%G6shnNaH4w5!mlO+6Gnu%E zYRs%&%IEz{-8`4lNpoTr4UYs9pi20W9kPFH?8j`0N$x6W3lYb_2=~qCVg@WW;G-;R z1v%TKM;f;6HD@AMAj)j&!|C7-C1}o|zKLHz5hL;UNEKgRL<)It8OXohc0T?q^nOZo zY*Gpd0>a1iKc4;H2^%pjdmU=?5?m0F65PZad={YducQBj`5T}INld3Q|9cd?E6b}( zfPsLZe?h`P!yqCeB_O6IBfudgB%ve0XQLt_C1aqVoE;^LR$ z6O-qYR1;J-7UQ51=jRd^l#&tQR}*Dbl@QREt$o-WbN$bYHjA^;OOCG z?djoRVCVPMIoR0V-|Bm)wNJdecc7DRf;|wB;vEp`5|HQ|oaP>p>K2~u6_Vf)n(iHu z>=lvan~>!dQ{WR{>~CifT8%icX72NKK3kNl%DONlgn$DGAT6OUWvV$*YXcZ_F$xODSzGOauZ7 zlEaJBqbgDYs?vk2vLcJJlIya=^K$Y^3Suh@GaB=wn@ZD4OG`^i>k2CyimF@7tLrLi z+REzNe^nK=)mJn%H>XzhWYqL!*AEu{8pv-PD{h^rXzHtK8K~?SFKM4H@0@99AE@sd zZR_l-?wPFaU1;kYt?!?$A6or2vIevb&2)^-w@qwxOmDPI>~_xV_f@A4)n)hpD(r2l z8fdK^ZOor&EgoyH9O!7A=`0`Utr_ZR9O&y9?`<6KZ~r~kwb)-XH}Gq2sC9m{V`Z>z zee~D*MElO~mV=qj;gONS-*c1GlVh{1v%iO?r>2)@M;DitMwbuf*Y{>NPF8@8-Ias& z-`l5?ySGc*NAo-9>pO>Q`)8Y{7po_C8`tlL%OiX1^Ve%br`wZ<+w=Q7YiGN2r~B)d zCtJ5Wleb6957+CjH=BEVdpn1xdnf0ohdUQ1duL~-`xkd7Hz%iePq*iLx0ff6*M|=` zXZNqi&({af_ve3}kKW%-@9u!Rn}_Ge=iB?2x97*(x7YiRkB@);h|f=rvO`x85G*qp zaS?To)r)l>eYK-bkn79M3zsYRv)azN#jjt-ScbkDuC`~Sr`g6evt@|q+i1}xK_JYE zH3Sh$mpNR+%8(Hemwz)~ke@!azBZqo5)Rc}6lP{J^-4BTg?453j0bXR^~-zvpWmHw zAvzbD^bDb_g`W2B{P(jGUH%;I@N^$N3moxyf^?0>LSO15Tz(V~D7tO5u9s$q34Z@0 zs3WDd&hcKq01~@u|88&_>8{;;HF>a}QGS%V^=7uw6I;6BsZD*&h#|9TN?zWt5Bo!$ zm?7eH(01%Ii~;ZHr3D~ck4a{tx=T=}u|YPltWI_kpJn$8fvniSC1AIauok7Aifhn* zImd*YN~XpM?w3*RpQAy)cfP^mqLP`@T{h7xXpxWWR1SsjXq&N`cj3YeZjG)Pms#wc z-iFb7Cv{?}IC5AoU;SpY$luh=ahL~~TTL9GZw`bA7&w(zre?FvmF zNm+)XqEWK+N_ikDi6rz`?@VuL6dkagrrNm=x#9Ema_{g<)vk&*Gjl8k#S%fuhSJMu zZP4VSI3a?I>MO{w62lS9&KH~g+R=tz+wSTST5O&^gNuD%pKJ`<~qP)e#;%S{<0qr~hiW=4(Z+ zr?-nE*$iD2f0&nRk6G~ua(0?U>>d3zyE;zizxI2=^vFYRjta7DY~@=G9+~#6%3RDx zax1BozYO`K^UUOg=x9yq6L<^cA3D9q*>lx+PEI7Gh6W(D3QLiwv8d_PP`Ke-$9-fi19-Csh`6Iaex|l%K(+2T z{-oxg(L)C!+|VIT3%sE9&H_ELIPrdKp>Es=U=MD=1L;B*pJ|99wxT+K^-c1R*ixby z$LzY6JS)bUG?<73+4R#RwFklT!v)jrk-d}&r|}m|F~$lWjf7;P2EVIdsz$GIA7!Uw z?mzDp%x{OSczOKTgnE;F=+)u^>gJBRty zXUa;3osw5!qMB7ifkR$y^G6Y>d}Kv!>5@j1`%gdLdfbH{J9d?0Pf7ycH=8b-E;5nd z-^qZNR<;d(SM1K|Z?IAiW3sV-e9oIO)TPpy%$lKoSG-uWovuS2wgp(&6s5B@&uE)M zwvbUpc~T!;baA={J&K}c&!ACdwh?c$8@lot5Lgfy*paZM=vQZ|bO0)reJKl4<|;ll zRWU_J3*~khAcr|?gj>(973;4moOwOooj)rWg9LjLu#G)hAFMe-V6{$KX%xU}w zmY8C(IyQ{}!tPEWI<^!IcC<(#-GSBA&?|{XvI+`1t?%7 z%?B1$e$BFFx5XTk&^`Q6+=VWgDXZ~s0&1rM`RLbpjqwhKt^;!dy9pPn%&-?Z(dr*T z_%XFqVTnj@@kF)p6G<<KI3$(DMGNcyk|&+0%g$$@cZFIa!L&gn%n`%tDu=M#^V{_kK^T2_DGzzW5uW zWv=QEZ<91Z*1gDB4Z80b{PN;Ip@1GrZ*;lhGba1X<}{=IWGSOMh>mp;XVxl2er;pG z#y?HhPcS-#-B7I<(~o8fqbduhllD@HP6{<~!!lJvrOQOb=!!1~hw*A<8cP0tN z-c2M{paM&7Dzk`lFYh)__Y>&&>!?c1eZQ!6zq9a-Z+n=46w_qd3Ai0#M*ZF(lo?8b zUS~wo)p50*fWbV?Lg^?Bi9{847vtqW9F%*s%sPwA6m#@N{5YDi?%i3aO(IJuk$QNG zSuhDzsPc4n*!n&R5HoF{be=vwx~04*pPi157^?^Hs*&Jr>Y&X$?Eqj{P?r+5_VJ7k z7EmiMyHzfoz9L-N)oH^tW75dd?ArLh1mV+vCAsr!*ka_IVXxn3PJG6@#ARH@p*yAJ#Oe39AR7h9QP7W_GW zxy8QEe*^H$A+hP^5`7JGeYw~R%zU&RD67G76-e+GUTan?kAF2nvEw3IF^GAVw$tfb z_$%u`PHVa@<}XCQsBjk$nePe|enQ_*Mwa2UmBq%W`b>tpTpOR0S^wG{T=fhxkG^0(j1DE#Hy#WVm1_A7k3OB1ZT!s*>6}&w`Ti%dG?5 zX^&l2sj6pq(2vPu@PGX*7&wIUpbZh#jD^lNCp^{<|3-{wkhl;<)@Y2%c)f6IPwh7Yz#yt*x+(VTsms;5nC2z9=hCxQA2g zzoK|v6y=~irasxmKs$`A!kH zf7?SGI0k-a$UK_Dy+Iy$4u^c~i=Q&lBP?EEh)W3tMt;S>ROKZFWdhqw@d*C&mRiQ+ zTlBrsI&RZgxSJGBi#KS0Vlg6d(Qix;=fr&1e)#NtYX9PT__@~#xr3?FWh=Ck(E z$fhG%b?H`8&d^9?w~WZ`jJ2cmyJ=E6vEUmj?JJ<0ku2R6mEq9%B>zIr*UzV#>iLmI zlGgF&T^R=1Sr^|bujA0&-a~lUUW-S^etW|c%~~7MJwWmNWM)iqB3-)h@L}24F|)|- z7%5F#!Bi-}xd{H!jag`M&q21b3y1l%GZ^f}y?Z7_Wg189JtXHFEK#auHKNwis)}qM zAPnSo#7a{rm0I^N1Z`Sdx%+qN)FGWzGD5h|nEOE7Y)RHXRNw4^#B&9i^vzz5oP;9T z$}zuLHKG-q&|Go7F|CVC3HuRg6_ZBc8PL7rGTnK7 za_Pqm+`MC4h5r1wP{`FmYZGO$yGZrq<^wLXLS(i!1>k*nj~_HPIebEd$)Ec$$>t%6ml*80p>N;k8et{3Uv<(y8VEc&Ja!Lj ze`n2kWKn-KL41mh^nwif{V8y3B^EACyHyZ(u3CBzJdtS@;ep|#)~mYR%&K#?R?U{h zb@}^S;o2yMc`!F-(=mjd=K5~?Lob?6zt~+BK5td{hg=<=%@JQ`kGOT)eCk46ea!tN zeljk%=cE1M+5a>zy>(k10L1Flo~&&E*@!p}P(<_NKZV-9j4kQMwz6nE(lI`Nt~^M; zb}tiiLE07QltnW8ynKZa%zbs(*NSeE|1q? zUH8ntg0DozVO6Nn-J1VC9p^R%qYy&ns<86@@1>EedM+tM150%x18C~jB`f4yjWn8% zjoHU4U>49RdGaR8?sdhHjji~VeHZbq!8eJK?mV-h+G$=_Lz;l*R{^-&aq?>g$Jb#o z0}b4HXXH1Ciu*3VNifi8$dW5bBwZ{ygRk>}$yHaMr48~@0p%Y4szO5%lLh)vUFA4! zWPtWr#m6oReZluCoL+9MiuT;o3PQWwNo^%w+c=KbMTFF{966q^=wDduajv=Sg(sq^ zUopCs!*KUX%VeTL$23nmCw?gk3!#Kkv}N52JrM*@d#2Lb+UOm|~DM?z+-TvgvT za3D+Ep9c2SMJA3|Aa+DOyuKRj}#V5i&=xut(D?y)qoH1i#ci1IoF!-cV?sOE@q# zlG=INEV@L5^l$BE5WWZ^@RzrF4)wMF0nyem}a}q zt$cAO7WU%5nBKdW7v~D*uNl$fJ1sN9%0l!A0dtFIb6zHd`c5DVfLAqaJ9$lyM(zGS zu;kxMTLU0-9*uv+mX3mxVRc&^6E$0mRS&Odns%59j7iFmYMv#1&=g@AyBEZ63=lwO zSYqiV%7>(I$m;p7@jIk^&!H%UX_!2Xv1b)hFRiCa+g}JVJp)y%VIRd+fi6fjU~nnY zVA}k(%1!jjJ(OXDnXa;Y{x@JcQFncIgueG!d<9H-F%Y_abh|g`z3{%-YqU@;2Hl5K zssy_+S9}^5oiFt5ekas~?U*Jij9avS{?6S{q9Yu~rAIE}^-DrD)76I2q=ZnxcKD4^_GKefU`15{zlJVw!GdAYv0X z<6ZNqFmytS64UN7`9^2|tXx=4`bYY+g)x~GRpPyDZH>6E*^a`^E31ms)zYwayled( zgfjILR(Vi`msRTy!O@p4bl@CV-JY*%D+H6k`+dg9r7Zw^`3z2fN>P+6XF*VLOTX}w z(1k!x!gTk^RLZ5f&c13{Zqxj|jeHZzkAZUzk2*9H{S~zsUMxI;{G&R)hxy*@d_RB; zqcY5`G;f}UOV?$-on^f6DB1*E_OO-ws)Y%<83iUa@0@CwAeJ!`5_H?kiZ> z5)`*34T1ex`QmbFdjW~sWNYC#TDWrsUaMA}Fc;I`Z_MHL*OM>~F+?;t@gvj@CPpDUa2$OY2D*L0(YkR7=bE@? zCBEiBJhPi2PwYN0ii?1~z!e0#)fQ(#0C2LF0FqEjC)NST;;^Mo zi@Ilgzq7_fv*G2l#ucwH(T3oAIj^vJEdPwuK#>fZzwHM*+#W5uqs$re0#*``Cq4_s zb!5tjSOo=*vRBcEVb%mk0bD|#;bNew-=Vn$z*9mho?i0<-jA{%Ks=371n;xd%%N6e zfJo+FF7X$j#K$|7oxER=v)&NIcE6X51Xq>U#Gz|$bn9P984 zE>+B%)J%R$$r0`hCG`edsm&klD!}AhJ28YAm&$)QYW-;_#Yb!BQ*>LsX%^eLZ&`=d zah~3GQv{J(!07LF#OrR$Rb~>JlfZ}|_jda^4j=%ou+Hu&Hgf?oy?+uf0tMPenxBlW zx!*ix_SM+YDds!xEtCWgQwl>E3bsO7nP4=W&Kf2W-^lyx4=k~(wkPMcLW4keznNc< zLs`!9J0i$IQ%ojIDslsNuPi_jgB<_&3y~|2s#wD?zF-U#AJNQu=DXB*rI}j6nGSvh z;M-xFdGp!A;27>f>qqW&q(+s;HsVc(Ih*sGaX2ZTon3uvf>xGJ|BOq7j)fwZeo8aB zxzfb&xl^kQ3>=784VWz4Fn@f_{)qBEM-LGRJNqI0r_*nj2xH3~8kisCh*MgjlbU(#^N=lZW^Av1x08j}*Y1@IG_ z1gQW0DgHkiQNe#{;)L)M!vtyn(f$&Y{)hde!4>+KMpEcM8p(fvWg)qL7=;La;9|#Ec|5^!4koZ-ElK3C< kVd3weEPwlS=pjHrF#gx11FpmmKCHxckuOj>JpUm72PF{En*aa+ delta 14805 zcmb_@Q*fu<^JkKYZQI7gwr$(C@r`ZUP9_uEHYT=hJK1@EsNH{U?cJV>KHdGC>N*#F zs{8qL_k#Ca5HPHQ^bb%}ARtH}APc<&SS66Z)PUt*lsKUk`9I9nKTOgQFmX~I7iyT)hV7pXAB6kw)}Rf-3;d6m`2!a)VYkkR*!fHY%BCKP zFjg-j0X-``Cme}h{^P-H^gzs%CJ9_r^lDpOp4-xAG=@8KbyYL+_49QFbY@4(RyIIG zLJ>$zt3*~ee`M1h3QGE-kWQNswslQPr$!FfvW%D% zvV{R^Q*cOh^@elNRGxNH9qq*EgKLSFHN&7|B#u6C$b^camv!USW)6F z=+xk>U<&QjQbjqnwF_ve_uaj^vyFwSk8Wdqwukf3PYsNrzZm6K658H zaPTJA!yrD67q$?J_4rW7(QEw1)9Lp-%X;~}9WX8|)F%VK z<#`yE_HR=m#@%i%7XOmVXa+G00I5mO&}p5|GG(%GZ-C!%(j>ezS(pWys>X~;z?r`nanvwB%pY|7~%br zyI4fCo?bC~?eqv#Ry6nAoxXGQIITsKtD`R(B~u@BdV|f31Hn?{?x5e}`>Mp#OozUk ztISbG2v>wf$D9L$9K)UJh}mG;Q-N{P5D|*Zc!VArjeP6rma;`%%VKk(d=u*q@zI2;)=R7 zIFwluNefMvZDfhrlHH~(4X+*^Q87)qSBmjLo-qznY$nkF60cF(N=0g9!K@lt91_pE zN~WN^N@kmsri2{}HVfs{4mzH zh^ ziC8t+l*qTkADqX7;A^2*86C7OZ79A{WYRrWT-BGdd};2D9;HgAZq5gg6$A}?-1tZ% zu|~Nj_tnu!7M-G?i(2Z_2U^Soc7tMOu!Gv?TE-?{?V6>K!a@BCE?D)4iUmU@?@sWo ztAPqs&e3mj?~Il3YI6)YF4$B6xnxPTK3@tFDdmTnoRcA6m*J1549!A~Q1D)+^zS2&$GwLCg zlcUYAY9|W=86?aWV@Y1qN82k1z9MkD9Og4wN2ETO1v*0_G`e&XWw%g56AOh8z!`}g zHn7^Qp?%?ew&Al^2{I2AbJIIKVP@4-;k)1}P*_7WztbCYhdx1DrSr&azc}Uia zkq`_CPbWZimY_M|?-5*Y9eBz+j=Rj%=pz`cQ?UI#Py&LRgexxGEU=USTVj?V1Rsc3 zW6LttY2LmJV+(dLw|Blq@uo?W=s^HLpsvj#65SeSXJX$08!r5)P+;%VBSn= zHm%ofz3~Ki+T`^1zg~Rd+v?cg>X1L^@)o$>4q%OwI!W*fU`4(r)5cQWS9QL~Zx-1d z2_8cUs{oGPMG0M}EDS!Hl~1jpN*^R2$>9W^f6Pvn(j=9Sd-?!V*@&J`7HKdyZ~nmA z>SGB!sgS1#e*zAANmNPz;MazIRuZP~VFUzWK=A{FEw=*j4rNDy@se1>Zi7IU;-OB< zYz8yMOecZHLPhSfBbEZ;6=1QN7=rD=kgfg7p}$l9STL-nXudCaU{+%1DMdDaet63B z^O{iU?Kc^$qjI8Cs_tijL|zl%CFjk~HHh>xA;mLZ=(-|6jp~OVzF(2L3%(ZOzK1Z4 z$8H0VlJk^}@Tz8t2t8M}-bNJgh4PL@9UNN3;7 z$_>`9i*F%U@N0W~l~y_xS2~Rc&?{zK#J3Fi{N5cd?DE~uMpkFpVz95dm!|PtA1NPA zB;scmP_Tc4X2rw1&}n(}(El7cAv)9Jo4^2c)DmZ5#rQLrmTK5l8G?zwY<84b(S{ab zd{{yV>8bsq{=R5C&+{tote-}dHlQD>%eF+QkL>1cFBTfbFn-#2nvolqcClWm9M3MR zRhcbZo@|y>qd-S7I{BJ0TIn=*IHve|$}LbN1B)DI=myIA?4PsYT_@1~T0mr_lmG`f zxFVPCUjaypx>aVcX6&tNy;V`L_L{=m%T$Au{;Z(6H4uAc>REp6>G)QZmVe!$4U;|Y z-QC@7tl?FQMdBg4^)ryH>cucbW0rJ2MyePoTYn3`De+1)OmM%46g{#IbCFvp(#?v? z)^c%dL0o2?;b@VJw&R&hP=ulgOsdQ|^2ObV+5{T~bFFK=vb=VEH-LhoT~bE*4nzsG_8{rMFcKL2Yi zR;U{UYTnJYVN>&0>7~Tw8jO}`@N5f5EcOO&i6!46kUF{ z8(wc8VkursKoMU{BOpqaM0#c{0P-hJ08%o~%NKWma`}>f`83LH{vDqPo!2^sD&{?t zEk|x$xhf_p;ptLr-;_E;US*<091w9`L~W_OOlMpC>JReBHyi8XP}pbV11Y?#9*)TkMh?^S6=r=M`pR690^S3Ryb)s3!eDK)m8`Y}qAUBV1n zvU%7qEi1ds#wrT}o~^?Zj5^vpWQxHU8hB#J+U+XGk4#B@|t6wIVxg2oMAajPmB$j!ImFCju!3iOjVhx{%*4SRWKZvj&8RdhEi6C0dZ+?^@GeQ5 z6IlO`aGy5F*u{9-F#DP=%$`qzk!vI5A6$A&2zZx~XpwPM6L(f5QGnRPkPr_^L}`eA z6|X)fJtEEBtcsE$IH7`BUnv$tF+>wc3q&{hXTk^x_wz1Xs4XcEnc7}U z?XW8w$mt4pf`e;D(qi=3;1+I6Z(xJzK01lg_RYy5m2I6|fk-%d=sRO9geHQ-@Z}?+ zM@Xar0xiv3jW93#H-Nk`uLh}~Kgp*cLw2og+J{l2mXcv!Ac+}`yl7&oko}lxnpBH& zHX%?VS5+W+R2P(c1$^jV4h)MdXdCoJ2%0bQB{7?vrtV}}&F0a_S^Pz?_Pz)Mb_DSR zLeXGbO0f);R<@lLBZEQhK3TqGlEyVQYPA5*V@h03tm#DuuI#zb-kG{&(5_k zFH4hh@LcOV`s9|>YFIV?oYXXJ7bD; zNA>~{r&7TI6WctM{^Z#sbr`ggP)SuIkH7gSm$Jep+y?xJkU!d`q(jZiFi1rboa7pu zX`0ZxUun!w2YZB8tSdKLjHHZ@KsIxL1rDJtx;#SmTU$3$pbj&f)4|uJ$vi*;jB%;y zC-8u<1W@M;$t2DOKe|Ydu~VR#Ruk(X=jjKO5oQNVoq<)!5*cqLd@9o=aV(~;SJ&=A z=o->@XaJPmTzlqHs&D#mxzpB@ts zR@czMksea|WD1PSYm2jFkjsn3gP;XSCR3{&Jvx`vY@z5nf@XdJMfD>aHcQ^)qc)S% z*jSngw}E|(_7BdLFz%gnK#Yh@H8Q^Y@yMM_ek=mCVj!NgA?S}L2M!i zeu5@Ppydn)#=Ev^<8J?W8=2F;gxS9;@~qCLME^EfKFZvg7U#JuBPn7XSv>CmkIs1qMefhjTo=+i#)w-5JL*iP4^o&f6 z?wtX*YGd^3YERp}1MNJnBLp&TlEsR`@*yFXBX!FxyLIr+rwCu`_yi$dIYMf?8r5cB zYJ=Ypc>mZTLwo&Z3F9*qw4*TQz0OBs@&Z4#E|v>UE6;&D#M z9wVk#!F~E7&Cv46`|`vj6WvhCxq+VkOt;P#r02n5fSx$dv6}YyVmq4QL-Ok#d5*;A zk5YYU`yI%*y7)9Q`5CmKL918#q z4kcl>J}|cTXI8t31=GEU@XhhD&T)7O&6HC;t$^|nx{8ZJo!0Aked>9;1&MInU9ADL zM;3CZ!0AW9?+v41VO%`Sn9!ftW-*Nu7hKJYb=*$UYDAma_ai?VZqYdsL!&l`E!cMa z-+FC2WqBNxxb}m_x^qw_lH=%VXeIzwkYk&|N4=IG)!CtQ&Sb(_@ixe1h7W6ak`wDW z1FHiarmP&R%Cu6r$!g)Popw>^Hkt|$29QloA1_UlczneFHv!Q6c2fT4TZ!lpbY+kn=j zVf?z-r8&4>Q*`=XkZCK(`m9vBTIsB1G0sP?aWB{h*Hco^BCCl#z$F0qn!Ip>kBTbu}E6`ajmh&1Ln6 zFoeRi{M0c)<$Qmy`Yf~Dviy+l;qLyO1!BI@V(TJPrJcmckc=&pe!XgZ@-9)4_5M!1 zTSYu;bSP7!)36wfB7+6E-p203V8F^hmbYA38MOBY+7jpyLF0LA#(!G}gRj{JfpFFH zU1dINjYKyHddnrcJzR`$eSQ0U3p8y5U{B|`nQReYWrm}VjJWDCo@zC3UfOop@=xp~4RrU)y&-8f3kaV-nng<&Bi1BrsC;I?ANs?P16^*dnX54V+ z6QXFGZ_NsdiMu<^dvSHE^!YGH?18duB$bq3Zn(~gM~&7k%B-co4wQ(xtUuxr2|=Og zo+_)gkIczg`;;GXnIU5IzmVSl%$zfPICQIB(7(!`AFEG%3+}vr|0~Drh@5`KfCd6G zboft>2?6vUEQSSx2;jWNf$F!dpRnsnF%+L%lR=6n+*(WowE~XZGxh|$Fq){I$n>!M z+a`ZqX`|G@d`DysBj`_a9*r#Wi%2s2w=IQDB-RA1` ztTeP#B!i}{4`5<7FR7a1u?YpZ*5OZ_9ivJ^Cbn^E^2-J5rY4U+a)!R#SEsl=zPHan z!dxITau8;P07|B$+h7-^WlT?{Iw%1!cgnrI>7z#RBP(eQy0eRGZEhSs7&k7>%C5Tn z+yJT%OaFdl8D9UL3UW%?C?s^oHxM>95_-&Q=75ql*tiZez?V&r>L>Oql{l9h)<_;^O1K75 z-(Bo$Z5KN8FhV}JLqu2MY)j*|j6&}Eqx2_CFFQ}faeQG`xEyn7Sv$dt*mkz;3i#4w zJp;tvk@YxxIUM<7?ljVhA#E+1R86#;fOxpbdU-`*if@+?fh-YIvifXc1dZ@k zfD5E}n8Sa_w|kfa22zCl@4E4XBwEabB5RKJ(EpGZ`}WZ4Wy{;sl6MX|Y14(SC92`R z(CPhXM2y=>DdWS-3_p{Hf@pvoC<{maF<)4*NgKqz9`P{nw9=>O*E&UCk9j@iiP4i! z;F?MBZH`OD(sbowOA~HtlfUFCaREylh*f;)VM+xR(5D!WNTLDs(oY90 zBy=0@7oFhZ=*5%qUP$>&4^3z0d%S7)w_v<#bS# zU}AMMGsTMT_4zg1fomBC_>dOjDvpNlh4J}r0eO6Fkpw6(RV)abj>d-AKapItw4 z9zA!iz(Ecsty8bt)`csRp3NZ;PuKch2JKHkpq z&`wq^8k;C4G*~Q!V?KW!@ob%#xuSB$5%iat8t;IS-f_Hq98QYr_UshT8$iFo^a@(+L z1y$yrc;&`gA~pj)Mne13mo5b2vIUKASf0jerL1D{*shW!)7fflfBnRao{U(WJ(4rm@b*~xVeaMmDlKM34VhqJSONxyLf$d|;ND|}sqNBk z9c*|8^2(Zcf|f0w>v(Yp5hlA-QiH!RH+nX|h~o9}DZb;pFJez*ST zkAEP8apxqs5-=bjZifFt2LCR=2&)eYRO`><0|CwBClTQ>0XF}l2H%i>@pm90KN2(` zpdUaAGAg2fMQm(5Tp}t`9CQj&N>&8s4vXP^*nTNWCyPAc!wuzIbsfVtm zi;lIofxLvVvZ#@YjERP?i`ft9FpN0ndTai;~ARd5ti*2 znc^Lp1&Gh}j4ALc{#(I?``h|pq z1V;l>f)lc%6H=m*vm!HcQer~l0NKU~x}SkN?H+A&oSkX1jJLTMqtojgF2EPtK3cO%Bg34$Q4h%`J=r z=GVqHwiYG_SO1JHudIx(9*=C?E^Z!d@2*YnUQX^ltnQtzo;+?pyzeg#>@JNTtqvco zPM$3FU#$+FZA|QMF5YfWo$XAW?XTSLPQ4t=+?}jE-)!vf@9!O*9iAN?oL-zA?OmK6 zoS&Z`T-=}CUYtL?-e2tBUY)&N?LFTE&hH=Y@19K3<=0Ki(d`zP|o>6yM(` z3M6AdKsd3IB7!O&YnRyw8Yt@B&+l8CS54hbH6T)d^_0(hdsM|qT0_2O_~ZlGoaSbH&R;%&9_Q&v->reWhURpC3Lw5|?9X}-nEqERaC4?j z=3+5a8!6fAdx@YKTuzNX?JYg)Ja=>cRFyskddQDCX z9QpPH_=^deO4sn8-J6>Z1?usNF43nsq{CtP~GT#?{K@@KB)pb3>=%brB%aIf~waT zTm`Sqpi0*S*EADm&5?ashS#=lrOA(BvA(=FC$@VAD#1mlMD|R2=L*a&$oA8e{Zg%8 zvsGqB2&yoyZZWr*1tghpK{CGz1ntI0PJ~AwW0s^@t@MdxJON#W&}{>{_1^VH>_DnQ z4?K-%{7K0DrIa%bs}YH}k;pKL?G;IsBSu>4;vR4!Bqd6~-8xqVS^zM?%5lLchFJlZ zj&Ndquxt`+x{>gsIpG!&^^&>=7!YL{9iUL^AGW$#aw4|e!u8inkp?OZbILF z>CU0*SD5cXKLNTM0{cT(x#eZTsIspbkL4C^aHZt`xR=0maOY<3_p(KA_2?XcmMeC2 zpi#8{f%_C6KSChqI%^=o&1n_X<8Tl}-XEL$+;*(aP;P@rjTTXM?vxyvzf5>Nn_I!{ z8XCrl0Ru~r3z5}tBWq{9Tew3cb)yw9I!@=P;;kli3k6KyNo%hA6`a*6UlG8<+m~~4 z*5f0?JjlodeBFs@1fDJ+w%OeP{-DOjc72%?IMccXNQn;b3`)vD&N$Y4QZ7+~Zz7Y` zeWpp*4b7+63L5DIlAL~LFw2*mMT{sK?Ti9wN6Pe|BmbaLr_`rtUXcfz6L0&1SDIMi z`dCXRCIKShdauVpX4TMJQ#D%PRz_k^Pe#7Fj0t8QSH4t~?`A_uC^pZD&Tg7xEo54t zQVrXG?oc7%`5EOj;LU$d^fk*;*}Jg})eRZyn`fRN3y3?Lw;MUI(ADwt=O7U0I2lK% zI$|H^T;0?tSdW#Bwd#pHMEErX^RiNoqR|)TqXD!*eOb@S&nGS=E4zBj+U+B1N~^!9 z9ODWVH`0_6XHl-88-l?uWl(Hy+ij21c*JE5>fJkRlA&M&)MdD$mbc;PfUbZoZV4`# zGki#zEtAF`{-BmD`fN?Anb!9$N6=0BKau@jmCn!+=hZ?ck9~S*qh8rp%!%3IS`)AP z?f}GQ+R$P40g>mG{4u)~npjL@b%ANMdf&X>r`f>9i-%+B2ED9goIBE@X{E;7ZrK{+ zU_CzR=FTYq!IY_7DL zu^6$i%gWOv+rcIZ$6OYch2*SoPW+qu_yEVjtK8bVl^Ae(D9@@oa*QLBvuJ1(y@^bG zcIg0Hh2s-aWyw$1mn(wB1)G#70>3Zu6&=r-i~jKtY|;5!TG1pnnttnyCYOB7R?N_! z2zkNT-_TFkIn9ya9vCe`eH+X`h41nMj+*FfEXck^{GN~nQfezsGmJcZ=*QrW)4>?ttkrWdzm8w>_V=ikvcst(>;>80U&(f)xm- ze!L!3Cve)+!oHeEAul7V=6*2LE)uAuh){hQG4RDs>;f@^7|kgc)?JSw^93A8G(O^9 z^4hGGPb}*d8kOK*=r!oq_#;GHT!6QY9h;H?KcU}5zp-%6x&UfOp!!Z-s6h_$^v|E7 zc4sVQN6+|pp7-1Nbg+J#Eh1T_F2r>!VqM#+H2=``a$)U%I9zs4#Mv zLq@!q$A7qg4zW><7Z#taVzKss!qC@wCOwsa?%}MLX9*Tr0^U9n+|~CoqXAWJ&D{-H z(D?oeE1GQ}{b2x*s2~^XMAI?80(Bmu(j!DkZDRd);SywNxSd|-3>D}vMx;UU6A$7!J^_H2`mjJ9m)bUq!Y;$MCxwPx$g#I zQw2K**9Y3=9+C187UR7ggMcGVj?Xb_{}Kns^}XBv&Ouc@g5JTrP{~Aam>YA+YO!+32byhQQAr23xF52Nn|mO@=ojK zGD`3ioc-Vxd~`-@&EO`@WCz=)7`A(7|Aa>EQ|au($ll~==Wb5%kvT^fT)h8o?%Jm^ z@IVdwFy@7~>wn`(NmVnQx0&`uD;8UE?yB0x%JasD>vbER`xMIn=qds_@^IF zN&QFqI0QnTRKMzke}}HlKdVP zG=Oua?_4%e&!34_3-@xKO=1}-=(fQ#=E>{ECp5z_5|KpTXS4){pCAd28g#`%m-v;4 zz|&6Cp{FBay#2hVwgW6PqR4b(mx-Bt7s3GGch>f~mDqOiE7FfX>d|rY+Xr*>doYfT z&=|!7EqxJ%hNx<;Q$`PL07*5?*&g{ZcRo~Ey$dJ4!if;rpVSiv|A#Is<369m`4(zu z=lUs*Eb1X`J_+{4Q0Q!H_MvB711Wej%S5!N1X zcJX`vlc~1!r}0~=uSbg%>qv4XM9bA033v)|rVC~>Wmc$K-F={Q7RZ+wwUvb`;VrVX zx^xRd`s1SLNQ6^)GaI(NzCGw)7(F!)2bUAL^}%liv=U*iZ`|v*ru^cP8VVbRV06RK znml5&RkIO_=clV4;E*$rG_p7PjAaebxyhmPxSMqWB~ZbR+~NDWS(&(hH*7d%YoSK{ z@iX`>3aMuCiv7}4lrNGHSA|o7qqRe23r1^U@)S?pJ#IDwq<6aKRf?>6bHIgjrS|1` z+3ZOvyO-x~1S#5liz@37_AA+TCw0t4Dq^J|IjT#c)shSC68aC+zM)5702e9188V@_ zZlB+{w1tFIKwUa=L;88opJTMin8M1 z7mzsW5*}(}5@M>#4xO0VMtM>I6FhGWz}c$}Rrr#f;oh`;=ELmlBW$=7yDzqq!<%jO zQGlG~{6&ekJ;}ib#?W%#Yc;4vUJ`9iR7@j-8Dk`TBf)6e#9NU=*MzN>5R??DvO%^w z@-mh_a=q^%Cu;*sk3=QEyH{$z>k&`u3?>6FrKsXJ6&*6XKlgq+qUjW1CBvl;;u4}} zJ1-`t6!m!Mfz09Sdk6c;?&!0}6kq9@_N~L&YNriQ3tb66rPQADyvdG`n*~9_zXF?f z3!P^oFtW}0oxRnT#rZcbUs2F z!)GYtmTs>I6_b|avwH`?k-g2?{cv+g=So@L=`!EJ%%CfC`W$TKU-hGvaOY_2gMsme zd9ENI&_!q$q7eN(@R)8b9;0o^KT~0Yr)8PZp60}Gm;y0Zb8krLTe>BiSmpgX+bym0 zb0qOf4=RM?x^k!^x(6f#-Y@dN`-+T>S`{N5G~q1j8L9Yl8TB_nT&Uy1@;N*A5q0LB zp{#eC1JBdY`klO*jA9denK#+}kDa~x>LR4{g^9<_r4WE>4i@gFpu4?USvaunfaA%d zF?jmdZwiHLm&Yrbk?R~UaU@UAO|3#42a^839?BkdN~;b;t1qMes=N=WS}hBm#QtRU z!@WrA5jg$UsvZQe=mf^4Es@D&7;@f+Y**N~!D~yXeL+XMD&8Egta5J>Pk)Nh%i}_5 zP%HZ!;M#B1lHrrHPfzgB#?vmKFgnGh#l&G-tC_k3A=sqR=aoYGUYB!;}27SsyU{4yO2%c(N zf~$f4B~(jGl@d!g-yEN6lro&mcvTVKw#Z09qBJ$kP;Cw;SonnLuskdY&d2&0Z?eNf zqWJd+#apN+O~Kht+`XQ`iG=?trbNQT12CfJ1^wX0iTdkmTUW&+L}f&{ zauGi+=Bfk0#0<9}1y9_=orGI(o=hw#^6St*Ms67DY>-;(qKQ;M)}?z#P716v3Y5B8 zFIug%aKvvOdDJ%tueew5bU)~e<75#3IW}Mi)Kv_~Hme6y{054ddx2-vvnzh3KbEAG zjF8gDm$ZH7;ZXL1GGd4u^*83uoH+n*#tk~~uJ{IERgAH$&!@t^9qc@ zp3q@O(+`rc6{>&V3@LqXnO_DgR=B2Md6rV;r% zUPc|)^;(L=<%s7i&CsVN;mH!-=Lv%(0c<${Of1CyaVL05A1TgErBRFuIaE~1tVqQ( zD*q2;!?wm#y5KDgL|Sb_`5V+h6N*4Jy>s_Y>im7<|tm+SmJTIqQ%) ze8!a@&~Vl$3nE1W}>cd+MSDxQcP5P`Lo!v`4B6qeT1+vvvmfTIVqKJlzK3Z!XvGYH)AJ_dol}ji^FovYsri@ps7~I zPtr5)2|rYbuQ+=Bnkhp(=!QI>dNE4@%w{lUm0I68+N^Qsmuh?m*%kmU2c7(=fd10M z+EJ?^Qx05^w7g*KJy<>G*lV& zm-aHYGo5zUgPSVEZn5k7E%f%7)=kVP;KPhMP>c16?nkAP+zR&#j{a-L&F>!o(c7x@ zt67V+Y1$#Pg5RZF0c_0$aw`e-=rItZE76TJ3-WW-56GWTu}XR%Q|KQoaYe5eU^{2 zvs-)W&qpf>ja0nmyQE^YJJ4si&pS!dR#w5t)Z_)Q zTQN|lwXdYJ{(P;y4VlY>sY`@Dk+bg0)!(qx9hvk~=F>ll=q z-~MRO67Y@3A6ic=mjlh8k26*WeeoGMqw*k;lI zUSW|JkHAM8$FUn2dmjgTk2%uIz&SX()Gv2(mR4ATR@rCvIS8AW&mX8+U5Fs zz&yD!L9JghAVn9?ad?zLM3TjQcru#H( zRT7cj8`c|qC}PKx79Nm1FurnIqQl1Rjj@DUR%L%?^Yk~tOmlDX59xxjY2BChb*H#; zl5x#+6h%W%i-IcAlp=nN*(gkACyAqf6mp~_$%42B470Hi=;if@YBu`*^$wmeC;40| zF&wdheVibdC#UVm+My#b$}4PL&gp-ffK-VeH2s0;`A5;g*E-A|h3 zpVKY?Rth2^PiSIGgi8#kUgZ#a5$|E5NsYyp%gr~~Ar zy^6{-^OKcpqMd`wvyVj1C6;(-KA_QrgCUHl)vb*@JrI2E?wSQ=LxiHvGSna#W<@p7 zEYLzszJtgtLev$aNL)PP{7c>wd6crGn@Rj;ZFX?IZ^!FJM#D=TK6NVIA0#k5+ zOco@5ZeHBYW_?F9%FL+_$Zc=_>#XUy)tZnkkeu!D8;Y$mBM05O*ZryPC~dD&`s56O z0>Kk;u5b`%ei4_NvVxWKxQK@w)%z0?5Z3VV1eY2Tj%AAunLWZ@4@9Jr6z}|n*jayq zf+K3u5!0m@1^Zhvx0hJyc&kGh{xA`VWr8wsmvx3POMKoRDv%W`RpHJqwo(hLWx+028HftF0Azf; zVD}$R5%YsK-kqi8b9c~T}B&D>4P@KNBy;lWNHI*aZh0{W5Qjoa5=D<|6<8xsF$9G*5m zmN4uve+xT4?V6`p9X3Sj(|&XO2v(I(*&6NO93ehi5T3Bc=u8F&*z*f8H*K45*@CeH zj54U3s`8_A;^C$(X<|Bzia@j|Inhbw%&tW?%Zj2 zvc>H{+`)c+Dch;!JtXZc+_Jm;YlhIA^Plm= zq#RC>e{Z-+-<*{HWktFE#R7BVCPi^k|D%=s%g%Gr{=))ui~U<8@oxz?={NVk&a87w z|D&Pg;efKx6ITD%+*^_*4;|z`(m(C}Nx3}eoR)tJ_RcPzHm1)1H1I1(1B0Lf{r7gl z>i=hl)<3=e|9e#?UGiZ6%kaO-{z-_uf7{g1|JpKjaj~>B{~y-=?=}D+Ak6=5>Mys7 gn`FpK{?BzIcyU4YxRZc6Fp|1?5y91X|2g-+0NzN6RsaA1