From 52ac71f1c354da34cdf3730ef0daa3b5c7b6a808 Mon Sep 17 00:00:00 2001 From: Will Ruddick Date: Fri, 5 Feb 2021 05:43:32 +0000 Subject: [PATCH] Bonded liquidity pool example maths --- Bancor-liquidity-pool-maths.ods | Bin 0 -> 22859 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Bancor-liquidity-pool-maths.ods diff --git a/Bancor-liquidity-pool-maths.ods b/Bancor-liquidity-pool-maths.ods new file mode 100644 index 0000000000000000000000000000000000000000..915e5ad00b9f5f18b38e8d7d341b96986d736a59 GIT binary patch literal 22859 zcmb4q1yJ10mhV7Q&vkulC>7 zH9b?)ef)Q3x=$-efBA|A06+r(C!ADD!PcA+bN~S0pZ@s~z{bMH#M#5%#K7L(+QP`d z*}~42-qqHa&d$Ke!imn#-o)0}&d9~a#MYV4$==b#z}U&$#Kc+Q|5@{Mng4mPK1afK zwx$+lE{^|N&54QL+0M?|(7=)Ye>cn2+Rnh)g6+u6I=f3oZHzohohl>f{l z&cC5%U}R)sZSpCo-T#))e{^DRU~6LiANc%t6zv`D%p6Ueoc=Sf|4uVb&IZmd|DSpI z|3*d&8v`>FCwd_ZXBz{1r~hIX8XEdv?)3Tn|9Rj)M>Ynw7N#an&UB8(rjv=2wt)=D zK^Hv1CR57-^bin^6k~0cxxZOM)FJ4vGf+0WV-i&rf#t`!^Sjkz%v&*ynP&z#Ba!u` zy~->`l%!)4=1m}Kt`54kqBXA74pLd_lz4J z`A(wV1r7%Z_@TxaXc)X`A&a{`@9&&bJ20kdiq0o_aUKr@ypbDRWqI|m2F*%cq0I#G z{sPf3GGjr`fjI4Q(u2$?H;SCS`DZ)B`dxE@1w8tf)G^b`n_=+9`?`O-YR|O;x4e_h zJq=nB~_Yb zW%F7hr!DhUM&d&>pdNa?Dce;XDu=((W}BTJA;(wVETeFba@-xFXl4{()Y-Gm8wGY9 zu@?S#CvM4JzKbY9j`jQj2%v95iBU>x;fvHJ%}3(U`-##v)duI0VL1B3$i99a^IrSSF382rDeUfTvJbm_*R`b5g_S%7FN1+; z*1=1mA!>%@M{X!?Q9$ZW&ThhflIiPvJ`p=wa>9b!#3D<`abx#4dVx;~;tx z;_hHc`GZr<^LUI;!R?9V)$~=9)O!kKd&c{q?so86K(OMe_Ztuik8iqHGKO=CvBPV& zng5~(^NH_p^he+O-iCaf|K;hqa80z-iskjH9mwxVpo1Z18G<$u8)>pvfJ(=%zty?% z7fMt(meDtt&{3)#Y$6xYYPzuXXY6DCe@xn+EGe4(X;P{GXj0hEh;VZDur_h}$EX{c z8cu6$$i5dfe;JswU5n9>R_cmYuNyf%Nps|~8e_4;zEZLf^nwYFPt{z2^9-!j;;dL$ z$m4)_MB4Ri43cK+tPjk$4)GAvaI$Zt8-3@v(hx{ET7SKKZ*sBJt?cGBGLZ1@gip&I z=J=*cW=lB*uOL@%GUfmoEkW^vQ$7XWghY#sVrWI_Q95M@sHAi6l47}BurXcV#=*`m z1e9Lev~6iP^B!_H?(s7l=ac^X!(eIl$3XCToK!2Psw*z&IG}XDfdit`Dk4)1Jf^u_ z6-a};rhEvR(kfF#uHw1JIb1&AFws_?o%Pu01zL}5VKdqI71{sf9s&nZNv{;2Ban`k zbH64i!IBP54s}>N>4LT(%QX3Or8Rb`FV+7==4R6#K6myoq8vk8OGb~G3 zIiIMSW7!d8I6@C{w++NY8EGeTf2kB3To%#9Ss8qxgF5v0MVty$?Ik?EsE-hLi4LWa z4=CV+^Liv3%o?E+NnWit$=5k{W?xYf0|WIi$^vhy0@3Pz@9(O@VoFcAV~Sv4_#3-daR11RaDFnc}>w7alG zm(X7gk522rDc2&iP4`8A2`9}terRaW`ImE!Uo#e&lI9S_5XHm!3SEaD}fcDfEK#)KFJ zc2odLWt56zF1w1nMbojn!%7Qn3pd&pys7@0Cv6*{&Wp>ET`HCO7e)1KbU59%^CqF6 zWa&n(K~dMVWZ|0Q#DCxbcE zYrm{r9hql%_cvUe&u{uji(#DHhckzLJ;sF8@2F#9U8eKwII3QM>yia!Z<2a*KGF;E zSZ^xIIEZt5f4L<^h-o>X$m{1u994TnN;dlY9B0hrF|KS1N`aQdr=N~g>3%0b*0nWh zqJ(s$UZC4~y`1N4_CM77;9qoETy&9NZ*u27T!2jmqIeeQ>dOZ_)K>{CcrSd%U0fXb zAUO;qsiguJcK7zf6h*81YMRd4^fh&zq;-iruj4#X6&q=9W-UEiU=SO-kc1&8o9o)l z+h_@TN1L~cfC~zK$7)FA+GGUpp#mr{Ob=e-w&UkN+X;a)xUmU_o5&h^)djv-3j-=) z*pU)5nFt$6`FcGIz8?@R5#_&{+DGj#l7m~`=Vw5(Jnjl(mHYj{M`f3*=!j!F7ipp- zlx9#m3$9x_ewe5z>(N<4g9a}-JUUt`543dio06t3;mcx!sHL(?$x z#pmBY9e>8Ym)sV4$Ja(uA0}%>FPWbRmdZ3qvPGH#KhzFss z_~_L~LVDflT=5HjwTZyE*m{7rh+ei-T9_C7Mxgjq-VK`9?x8nmQHIl43Ol%NU%%2G zcc8_L7;vz@JK-ROrEGofEd>N(#xyARupZ^JSnhhYua{%BWWpZrE-o0(C{wH=CPm)c z->vm;-DtnT{gWkQx@*(VAprn#s{i!E2ktXV8rj)8|MMT?Gfkf9*d(qE#lQRZ1T@K2 zlZ1X{WKILCtxKv`y(i^d+mFcVsBpB=R(EWTOe1jzlRq5#vj(2~*x}(VmJ$X@6^ZNj;g}dFAEPY(5G^z(N z`|`$`uA%FdBx*Fu4L(Si*Cd|EPM}^pMG*p7G3N$(ls^>w zF0&c>dKIa?3nJ9Pofqi7kYCsoVu7(jj4u9ocyqfjMe;_M>2pbdJi(^NafjYPTZNT! z-+J47<5gA*i{PkaD}cF3@%|vV;cySa6CI1tzo;0_)BylP5Pi?NvxmG<2QBDmcfokm zlW09MebpUndz9Suyawk0xnN* z5MqVPaA<-hg$z(8F%9#8JTYub9bb}$d}_1KJe9ol_A*2pb*5c1IPBfaTy?mFTnJd2 zVd_hiiZ7}5#yKY{%WKk#mr(e*3pP^=Oo$rugw^2=4mzokg~JghhU48Do~i4Pzx!W8mDvy+O;RnJ z-7_yG8zuWyYO_wQO0H5emv!cTXsyUX3yCxFARw~4cRP?4+wkOA2YB&~G8%ldPPG`U z;ElaicEBUcG`S>fAm`4=`V;PGUmtO>BQfrtu<2u6o}*!kIx#v-_VHI+B}iDQ^&oh$-?%Jqn{N)H0eQ_3@cmo zhMYEBRyr{k-iuNxsKXTptrR(tY+aGF%2QD`EisGU zepZ#C#x73ZZ7gHdSwi5I2ZTz=y;(yp z*%-YKJ5S_27W@4M0Vx9AyN+6&%u6(pfx0y|a8j6*pd+xmednajvQ7ng3(k3N(&|KG z&x1_dEzP}jv@ad%>#B%u2^rUmDaW)g$gkN0d{t-!uU3!GFHi8xv((3ylZu;G3t}TIq4isNp*pQM=^i52Mzc$O65h@XFy+ z%vCAI)#7pcNw|{-*U_`YTfy7b7pRRO52SKbDSm4zrsH*&lM|0)>AtN2Ut>F^CL8R^ zi-P7lB!rjQOyMv{$(#Ok%1HwPJ*M+_~ zHzp&PP|vF0p4%0bppET_CBv zUTm^&v@HdNlS{v}Y+RA`&aI9YuEcbhzZ$&@Fft@Q8J`30#|mp|LLlpnnIH${YZm7 zw*n5QD<}Teo9FNd&%1r{`M$1%B3@TM+E;%rAbm+jjV zRgdx%66?ro)MFvpCS~$k@R@A`Y>HNnii_m;NNX3?u?q*DT6rA3^Oer-@I@;==|cD0 z9?RxLX#TsL`u^Fkd5Z6XH{7dFXR0{6nIBun<<5ksviOe_2Ou`x*ns3pcClU|<+Vc2 zEfLAI=Bq*j8X;mweQz9$$+}kEc8fpGNAaOUzX4z`?Ox)JNcZO(D(Ba>oXmNlHfujA zPYVt43_iL$;*WN5w5cQ35SRLSiB`TEUPd4aBAIj<(ywx6N2jV4>dg{#AA+{r`*t5* zWowg=NTa%Ox&#VGj|S;IVXErgG+TC&3iWQGy`LO!W6R^@sD;|RrMjN>r3C<{^(2Qk zk`>#U6|d_dXM_aU`peyI@N4~G7vQVB1aCd^P&P)6ZM2K-+!dQuokp0d z6tKudhJ{r3Hg^$|oYGi=BQrQBD~@@nGUxY9MtdbwnpWxb_HIZyX}MU6>I0rSk)L-< z$4ScS&L&G#ADNoCw&%yDUn;!`tUBOzbwndi)cCd7&(D~#?{%ooib=oElD1`T%>wVkoq-Owg9SZ&d?BVE30aUhoe%Ir**@+u_kCUyQoSwPgEu`nm zECEMtE3_S?ONsGYU2dFl%zPwSZn?I@a ze@IT=p0F^=K#=iksq`OLL?`ca-r87EUxrOau5F%3`E?XtIE|_nj9ye6gxyWEyy6kg z!Gsz=`0NR66LYKVf~oECy(7ZSR*t2813Irj>X!L}*`wfwJ5eOPD-V$Hkv<;87s-`@ zqDsM{vyd1zjPTk&USdu-=Nk;@sEP=?s5zOd+N~H0M9>%}$SI}xq)UNa0wzcmStF1} zliN?p7WG_=?(>}ao;{E<(WPX3S>>J1Cl2#vJEczV`zBS~q$edRA5*j0X5s0n*R$4aeC8gKuKT2I zlZSofoxtpI=>VS@lxt~Ul)vzTRtOrpN;j5}gdDzk?~Zmq*OfgaWyhqoI%(IYw`#9v z@vN!{|4YuAjT^`mCsLaGec7KLk`=WQYssm2rZN4s6uCZoDCRztjUiR^7U*Oa9nUDj z@hEP3NUa3>5R@HcW#E(`8@@_(rTS_KN$&{SG4BEI+;GG1^S;KFjh^b#<>FGNIceVl z=m!dnXa127vDtX3d zzh;ZzIfEE6UncJKcf~Cb;F2m~lPYl)P~dgLNFQ&s!@30au?0!j1W7w4p_&7vT9}oY zWN7w0Vq|r;f@KLt)hQ9w`y_^=P?`HKGf?mgi;cfi%Gz>Xhq-G2-FxE_qM8=tri{TD z9U#|C?0zY%BmZJ?4T-0t-RO3^g?g^IL-rCM;6!Fdw`QZuf>lgJ^Z+@O-q z|B+e2GuyvDE6t$a@Ns~KmsxHCy5CC5J1S##LBhf@umTFw>jFzXSG0HF3w+NY?1Oux z3Mz%Cio&gC01*~cN1+%qqNfVZ?dmpx$=`(ddg)Pj!9G;t{1#!M3pV_5SeUmd3G$+E^Tmh1KO<|&ZyPUvp{!3AN92^C4f7mYtgL}scd-azHb=XujH~(7{Qak-@X^Oi8 zSyY~975Ce$kGcYA!LJEQOq*dqhp8BOp66Q)XJ}}f|TxM*z^(}hQM1l3DDL- zza|lBa|aRWJ&wmk^lL)yZ?F4dO)CK)S`Ie3smNbeVotHiBWfU8H5NgUQAf;g4Dklv$N2RC7K>?-(^KS<_0QQskfvoAa`K zmQzTDGD=N7T&5Ogpo(I=%mC^e5l9UpBo ze2+|=rntPITEt4DT0o^*;HnN{CQy1lRZ`K7yB?4Tca;dYy)meYLva(63jH=-jCifR zXY|#p5;ykKIV8d-QJEe8suVc|l`CP@#LWg#`Frr8CL-?{LVa5bCDlEMPF{?2YdHX8 z+*ua{?jaykO4@C*5Sk?WK(!cd)zJiE#kMvh-6&cjczID**I)frwdTQ^V*bUi zmE#Ymn)6NdoWjFiY_yPh3E^C3G_dYM1Fxyb?U3w}r5P0@xY${wgi^st#JstIv+3=G#Zegi2i)w}f3BwZy96Z5Q8sfPi1_bdv zF1)K?*!_VpDvc_qo4xcD?#|jDadIHTcMOCIW$sq=g%}b{FhjyF?Wj)u?Xo(1@uooL za@=g7t-V<}?%vbDwd7R@;pjiwV`sXdiNfl%H6AYg!McFRMkuJ??5@Q&zQv&4`04o) zX7#_Y6wmbAFAy%9ab-T;8it@ko4b{C3DKas^gHgc!JZjCw)-PK;~rI;yg_EzR4L`PmmLK5gF#Cu9Ks;1dE1yF{W>0aNs*aMbH z;lXMz84dLO4MQEpJ#LUTq%jO|^OM2$feeU&Fe|9kPOxI_^?v|LV}G@mw#_xH-`ctZ z-XN3-Q(Kwq3w@nxo2xx_HLkVC?~baVzeS~;fcbo;^sZ4g|K--R?DCV)a>pSty~iP}KakkACG)OLW?msOI~2H7 zH3JPzFp!Da@RY70-De_i4`oqRRae~YrP=Tdy(R>^r5E`1V}D9k`Ex>+Tl2J{|3Io^ zIL*=d#4@UXVcB}!)!(RS@x!Vgv+2=Lia#`V?CzmplcX#J@<^IJbj9#GOK)Qol`Wa@ z422Q|a5K5CIaS}F)RnnDu_W&kOQN!R2k1S%e3j~9xBLDpL3z|&LYfKh)M$^hS$f|O z7CaM-E?kt{|B19g^~c>}CZ9~B~u{{c1C|KbA7Zt!0jDjgi4@@YC`sm) ztv$$wTr{Vzy)O>^yQ;6vVSUp^Ku|S`TOMmUpU}m8QACv8Nt*595J$e55?arGdJou( zPF6)q}VLpoWnA?5Do zi097KmdHi2F3t_%g06Bo9l!%X}G99s*jG2nHV?n~2Oxwsq zJY*NBWNF~x^A1`$xxEUt-rj_2e672RJNUoG-z1Lx;m!uzJS-_v=1AV7e=nnhFv2)bm{f33CPM;1h zyi(v#NFOlcfcS>4(#800i8e>ije{$XUDk_%a`r~`MA7Tm|V;>vkSlm#MZHvh&HLq zW?xJsM-h=NSg@K%mq-yq<+n#}Lyj4WCeKDN9|D@Gf@19r8mli%Q2kYQ1#VISUU1s) zbml3|C1LQ;Zk|#D3QQcWHPJA=UsaD)moS(^#($)t`st8ZiKWpXr#M}kSW>lT?Zx@* za*WbJfT(4OlRc&|N0yVq`U3J@JQv@#@+-I+zuA|;l?-!(6<<xxNB_ zKj+Mvj%NfhN}Op2M~hbYXeON1U$$+Cs<_kVK;DLr3Ef$NPpfrTo&Yc3(33YcQ;EPi z-xN=adR(&`K*u+j5(+O!cC)B;1Vfpd%!6&PC3&O#QCOAE*}}vwRaSU#EUD1P(o(HH zjO?rM_yh+j4R>8Ze`T>*6BH(Ct_Z`2skGE-wE2Lwwd%C1RT}5cUM6_dr5xOBX(%w+ ziPB@?>fF&E62(m#RLi!M&x%QZq8^3No_+zU8dPi3ry>t`mMDr@pnoA@h#>2wFIRDq z_7HmGB`!7eP3D2Qj}kHuiTQ#Zcd0r4k_wt?&|urjJO7rL%24tuW)?CFt;XZ-tXLi6?)C8~yYr1F5jj0`eq4-0m{+dv-_d|Wn>Bnvm5-9RSi%*}z z#@O`4DJ=dKHh^4qQfI;kJu!=2#RXa_x87kH=16rC78JFYI@to5xvTK z_t#mV6^RtOv{ucw^Z7Pk@m5jdLhm2g>gL0w^7#q?s1p4*Z2fn6-K)M_$}sgOpndj# zO5v2vU2F_(4J@pk=$-$2NM~1k>L-muNK~NANs|HXM0jQ|~1O@5E1bEeiXjR2Hw2cAg zS^z^iE>ly0g)_j#0^sZl5EYYo3G)Q_+h~S4>4vyjhWa?i`&h*L zxdul7LQ??Ap@5VWKx`o(wH%OD2PljI6sH2}vjJ5_fQn8)Q!yYSz#}EVCMCo*KiUHr z=iNF8=&uHhGy}#*0fS3``60mKB4FVVu)hkp+5j9L0d{wBLAQY0W5D}6;Nt`L{*nFh zNiHNLBse-HJRvhVIw&zVJ|iJKB{eNHwKO=ZDJ82QD=#;ypfw}EB&E2eI5n&&JE=Z9 ztfC;TDL=ZoB(0>Rq_n!JrnaQ0uCuDPvAn*cu@cx&RaaYI(o|pBRR`>Btmx?Ih$;S^ zQaO-SKbq4rThcmG)Hzq*`n$g8Pet!?_rOH+@KWcW<>ra)&e`3*>h!_7tihI&{?4Y^ z?y}Lo_PO4w<dA8Cg!LA zObz^5pO{&goZpz682mH+XK8kPacOyY>0oT*a$$XM{qN@F-_yyRyM?{o`JJ=%?Y)it z^YxS6m7|-jtNZ<>q1}zetF5u^t-lw4$B%cGueYaej#ggZMxUOyj*gCYL09LO$HzAh z*C)Hz=f{s1+mAOVH@7#}_fJ=E4|k8xPxsd^Pj~O1`u&WBj}H?O;RgVKB3M#HP}zO; z%*RVxYq+ZN!l`9rGe!TQ zIJU73rh_^MocId556K*!HQr+tu|C4iRc$#84l9PJBiS_8fpPqt6Z!{^{`+!zAymR2 zu%KvJ?dU1aiF9UWv+kSMDZ7JL^)DZq6B!J%|GCkBpAG*xkqddPyMx65<66CC0>tQ8c3zf>Ed&1XWg>cyJ`d68a8IitOh=UU0+x8$u8BR&NG_e4OZo(L| zcdlxml@oieIgi9JJf`#e%uz{7_-)hPRb)DPe7uijLJ3Q1^Vyo~u07g^oHg)xMb@S+ zJ|Q!+P}2SJcjyUoEXm=}fZJIbZzHYhjp5GE_Wsy1qXJgKPLL4i7#^wj?!$M+zFtwf z1}4^)b{C};%4Bw1Hsha;CcY{mr|?qBJoTx#@tWJ;>f7M^Hf=KQ%2xh$67nYX0+W{SH6J+qMrTXsM9#a_>3j>J!$eh$V! z$%PVaA8Uw&;%7#AhH0C|;hzd=`lP8ary^2CWU>`KdFo9<*KQkJ=}#<(x>Z5PQLQQB z_x8-Kwvt{#y&O#FVO+wO`-RX}W=Gy{)^wtngqoS-#?w@0X5-}4pR#>7SA*+aceit2 zZ6~`(ZUa*!!;0n-ij?SE^R0cnQ5pgwS=J3jv`b}Qh@xV#7ntSbmVga}#PWJ%4pP1e zw`F5o5>T8|a3!wDE-;>2zwwj&7NqMH%5Jv_^y0N_FvvZhqfKr8jfpU`E@9~8+!q?V z#E;+LV~%ReNNp_UdyJUzsKO|{Z z;T>YwuwBhxX*_9+)=k!18M=(kIJqgLFS2Y%DOWJe%I|*aW*~LIa$e4uy&c8LStCQ9 zgp-n^LFmlOY)BCmA3rp4&OYmDGDf~%@_U=?7OuG3so88e(jNG**}`PURFwQQ*Y@N5 zp1XuypU&v~h8|R0-qzt(8wbVyFj; z@cKn57m}5-UY_f!#0DET`EyAPa?q$CJUj~B!`hH(p-mW0`=U>9X=M!sE<1ObV4uX6 zZ6=cv@j;m+vriNL)E~XqZnuyEijp;5zxoXL*b-|AH_&-q$$BMC8X6_j47?77ZCL_z z_$|w_g}RT#M`^tL*3Zg*O0o8zP@-}a#AYbLmj!>~Y&Gv+^FDu&9G_rHU*#LD3LMuolz7#Wcd!g@1r;rJR zQH_HVbXsIG&Wkb`h=?f4beXxL9~co{RwUu<$YXQZ z=0=P=S;w}!0%fjzxu-5RevZ+Ajf#&&R6F%u7lZe69#J@vXW=$%Q4?1 znyuA23sT(KGNo+@6g<@mRc0sCIw`SeWvTA5OpXR~Z5YN06){b+k5SK&c~;Z!yPq~} z^l!>70F|3*Q9+kWw#ECv4O(k&ORpwdWx}Eyo8Zen4C%!=BPovynf%9r(+8{S)ye!sxmsP3x)t%QBA{W7u^YV6pN$szk?0}L5QPVFp=?W#^ z=#S(QOPCw`O+b*)v9{z9voGzin)-)}AtFtPs^v5Aw-UqkYUuoLtAAEgE*j6d8srl* zJr!>>sp#h5v?fCDyUUMXSL0jrYmoGT=&|GS6V~=IJvsJPI=hL-XT=J@pGF0Z2OwhH z_@6V*vmcvmE~P-8W`0cn6;c%pnd{=jauo%Z`TKCGJ?{=$JUp%xCSnoMymBt5&l-;d z8XV~-I6pCaMw2jZh**h%ko^?UbH1J2h2^S=yGm-NCx!3Q`-LI!WI*aN%D}MdFW^;< zySj@QbtrmLugwAE(0;<$)UJ1><4Zx`#;us;2PFOmTio!T1?}X-67R{IVFPPBAxCWK zq+Syc5D~RAPhxg{rJSY})JjeTu5#{y<&_V^%0OA(6<`^z8=D$K-ZoA*Ck;PaytIQ< za-JY^;SNds#^!nLnib&m9Nsq!LMRhy4?ej`13RcxaXQV3Jf-SX0kA*e$s_KdkOsGJCdB*c|I z?F-H^9~F0z*6Py6e%~wOp8WGwX8uT0n%~872ly@dFU1_JEP1y5(Zj8E|KUicqFrXy zN9XyY!{L!Qn|XPWu*c}aZdV-EMF@ubot$AmU_Y($LVRjycld59{@L0pc7@4zcE-KI zW`xsomeDj&ji8ek&><%q4SpJn^@}%-BW9D+$ojn?s)YFl#%aOK-~d^yy*ysYzF-#7 z>?M#Nx9%3oh?Kp~4VHc|dKc0Deh(9@3{N$?2M$hytA6`2f0;mmTctJuZ!qy)ZeD&f zN0op-x&j9j<$in@=ypZN#9~?6)c+Lh!=wZm6l^i{?!{>DDTc z#93Z8b0F_%cAxCF>Ldjp%3ty4rg-1;${bC7--If+nhVLUh(RJaMEj&_zMs9`c0~N= zUu)~GYtXb&^`5-#k^x{#-=IH8$ld5y2Z= zV3Ok)>>9m^X`%-EfEx-S#(ET)yd#K)8(2&dVBx;UoK_JaS=#4%_AAucjb!e!v`I)> zASkH}qXHXb45Jb{2W|lK6;J-S?G?kU#wwCJH{HQ8jyZ$whVPn9ASTP`>qCcsrjBZ+w7Mx< zhYrGS0G0fy#)Fh>PZEkbtb6h1s0pN;Toa% zH!$ZSA;sIvfSUx%Ciba>vOIV$*7LoNH2D?;u4r>-{4{*(`UUlYQWbz+^$CpbEJG35 zYM8U5n81LEeZnqv*and$GsSI__y(cv+a5`!?RZ2M;gHb5!#w*Y!m63xm3@-2)|y|) zDPgh+LX-C6qLOkJw*IB^%99;l)~b2vh@==5s#<5bPwOrrme399-8ShV#9wh1dgHB- z5f$ync7ncUHLknVor~MjF@u6CCW8)3{BR}6lR;18Wj@TJETX0?X;tM8! zfI~Y}iR~uMnh2^tW*Oi2g7>4CT!>Dp_SOPmH;{?&&_krlB=4zgUTtO&+{qoZm7VNa z92N*SvhccSc2ca)=6m~bP>`~izB7j!&>140)l#G4ZC48&Fbw5lAJC&x8Y1?csE<_s zo&fWu;sL}q_WO+owe`iQge8fy&_IDk2>WZ7iFmU8xLmCN1{?%P&17xRyt?@}I4GHa zb1lxeuW82vsgKt45pe4$8UEmc%u~F;S@<2Y+L7qV-02bZYx2l4kgUt8iLeXFbZ7gV z7dE!U0QjF8(l<)3`^8<&O7bJlw z{G^^1NIQ~0cY5Q5q&8EW6@w>VYKema{$JNE=S?!Rx z>n?e`c!<*94z3T53$fxtDl~_yE@9^U8ZbG(ImuIGx(kBtO&y3hASIMq= zlSG|fSNeR%PwfVH2mR4;Joz_g?AB_|zL4N)mc97FCMNpjg}?U-fj!6K{Wv;O%Q7ct z!=3l{Lw1cNJCTH4N%yj|*%<-{6>=47*?DEfa<8{2s(P{Bn1VIw_VRP)NfxGSo@RHx zb>a5Khw{xW-3ILkQ}(+0r3@<7Tu^zJeJ&&+t1~azdRF)DV*7Niwf0Hp}7p^Zz0^s-1%Y9+{76O@@GL6YGs8gvEYuXnOCTv=Yna?%d}KUohX|UHPgp zc%$RayJ}5vtg5}6UEFc2YCJrx-wx&PeK#^P?Lk-MVoR$hM_z(l-?7t|-87kL{0oUT z1u)ediK#^mSO>|tWXd%Z^<73;f7iJ~cNk`hu47b=5$YAA17R#g4QF5RENIA>xcp$J z$V^;^q!fr^^L}^EtvfHo5fE?M`IHMmkq60fOxRFHjfy{LsH*o)UPyHjXUWxP8j|X> zNq(WXpDXU4Fo2O5PF|)+vMs#C>5h4aAd>j%A1|!~)-`Is zf>y0YyYN+z%LG)XT}R+FIP27QSifH%%<1_jJJoxGw zw!3tAi0vBQA54UA7)&HN5KRq)%EXjS+YXHn`LD*O07SeZwg@1Au!+qfv_lHreg4I3K!F8zNZ;^8oG;;RT!yw#i7Ih4wkL`A}<((i|sofOZaX(_^* zcen)T_Cp*aD>^kA2_IA?-?d!?F9oZ9Sz7 z3M#Wmlql+}(H4Fcy(u(C3*}Fh9%I5FxP%*8#c-gH2)3(>h7EER(`dhyp|@^9bpPd9JK9M`&DLMg`dY6+v4Zw_jReQR&3 zcA@Vm2Ll<<$Qz2$D2 zi9S#L!`DMcPoz8D#i304!P{Ro>Okj*hn@%6pFsT6iI*Ar8~d}#mwkG-?$`H=6qVwh z(f%f+RM1ps?!{9{XV}B_rr;99*lo*n*Hc$Zj+fKt;garr*rV!{; zue~|hJu5f(o39&4elIw-CETgWP5jYek1Mg8{rP^4W`|ziyt+S5@cn+X45a$i>BlBL z2>#wmX5{xN^oKz|IYR_W-Veh+**j__DVOvf7hB4YU7;}i^qpWz&AvM6Rh zNa=#(;hjQ)F*yK6|6(mshhet3S~s!%J=DrBj^v9dHNzPc(-St0le&ror9x7(tn)h+ z|5(iUt#dggCs6(5I`T1Uf-ptc)nGx7L06O?b%8#L8Vf91A2 zuH9_i)fpQX5wJXS@}1WExoV~}Nz<_;Bcv#@W$jtsK~X0y0jBO0&q0Ird>z{f>oiUc zAhnpBW>iL@#E2YPQb4}DfNFAkfkpvNIQ2XhbB%ql8I^}NwQUJXs0_{7A(`dTZ}U#c zUh=c-$_^dxg9qtWC8zpKPRW4rWYGhG1mJL{bn`)X5D_gFRc-^bsQ3<%VCK(H=u!#XDjfe?r!rn+dG$0f-XQ~|R1nI_E>?kdc z?{>ur!e+qT0rH?`@t4gac$k};<&D(A>A(E=yI0@MNvy4?P`3E3)tXD=REScc)@H!q zC!;9MZTX6M7f#tAmn_WrnnuE-*yCcaqDL4GS$|_?yk+w~lz0;xv_V4N*5w={wigEW zRYeemK9ZDDiKdJh&pT2sp$wrM)0gf_Gy>EI)L}EsC*y%D{=_<2@?nE!<_SP-kHVJs z*<~>9UGnpoL8psrnOPY#DW>fCbp&YVE0N(>ik8-7=erAQ-UMN~MJ&|hSHo~*W~ls~ z&XQ63_b+Mc2+P=`t~?LZtQOvJ&WPHwkOjAnm`-`#g|KXW3jR7@(@yHvF)ZbnP8g&XZoZ^^ zI4}7~Sc4fy5H=60d>J_3_!lS8Wi@7;vA)hdw*6~};Vk`0mrE}{59@HBItPmT`|tc& zGp5Jlreh_288Sh$h>rF@kxG!KMoSnkAmzBmjdOP?2pKB`0u+`?8wk#=#+T2#oXh4t z^KBa&frPw={*Eo2m^`yBN^t~niC;-9Gfaw>b?&PVL^{O1^+NW`b$aP!YzqAQ@qqT= zCzXDXGyd2Ix!^jsoH{Of z{Je!Oz4iKUIC;_1$q zrI}AXDal@vm9m9tZOqy+R%3mC2`u95#hWGUHn4!wd%wQ^I!ucU0JUi>$}48b-BK^S zdKSUce~TPk{N*YX_{$@C>;Keo9zacXTN@4p2pyzKlPWDJMOqM$P^5RHHv{-l6$u?d zinO4iSLsEOW3{t1cv0`iIy0G_nX}%#_c@t$=496U2$kit zN{!6kuw3XiC)-|f4c)eNe5tLMG{p{TX|w7M-59>7h-FGhsq*dXi+5C+U8zmjR$sC2bgkC5B8w z_p!kN7hzE6$HG%rrEjcE4@2+V@362E8n`xJKWreR?!|#sz#sMlNs(Tx_x(b;qNOsN zNod)~NG>;Nc95t}O0baC^4#$I{k$XABShLR`k!*NguwIw0@L>B9qpk;y3s#U`$)0o z!YgVC#jsl>bFgA90gYs*&WN<>;?EAq;>66@AKeMZYpfKTtwUvl)xrgyu@d5BECl{a zc6GJ&>HIF69MKG8jnxG9jBIJ)&06#;E^aAdMuFw;^W2Dz9Rla+;BI5npG+F|Vf+cV z6zDlZNU>5Y)Y`A$JoBqxo2oywtF3m9tZv?qk{3fs_z_TEMM8zg4rdGUpd3Ya7SOfi zvHEXcJ+d9cyx29h+>LZVAT&Zbuh?m+-!wA|3Ysdoz0(~FdLP?C_u2vrP_T0555$L2 z%8K5>xg8qy6JWyeE^!vo%1e40jaQkEydb6)cj+ZMM{_pH&cr3E}(Tyl2ND zZfaj56ME-M)wb`X3m=SfiruiwD6X>;(>k7-NJf4ctQVke9BroU(QB;YtfN>aS)1hP z?ygNPI0y5)bzkGcoX4|>oPvZ;WP=_x`n&k5k5lYsEvngNqb?WQh6&A3_8xe{Z2|*W z^k?3KE@Fpt_NltaMxS;W&aXjjB?0bLY}EeXaq=j0ut?69b{|k&yp**UY|isOk>{ar zOxR_-+uy5Hr{8e&CU5wf3A(!%BByC<_*~*4(d1P*3X-X0Ct)YqWpbUFtq=LWeKER1 z+pAvpkXLf=Sbc}OF&lO%(>&hJ8o@k(wZ%XWR+t?8{Y6$00k^3|K}}Tb7bWr}V!#Ht z_h+PHvX_W9kU9B>W>SPWkYD|?g@enYxb!nu&JoSU0jEBLu~~ar3$;q)q-nk2wvh;X z=phU9pu*#1o<*Yk*rJRj_Gx*LBsP~*+U%b-n*4J0kG@oz1Fdm=`64>LL;!vEs0CZB zLPNTe7C5RVG1yW??FD$Y8j=q5<<>abh&zybI=~P<>7YQK3O%?<``!;=uaZS5%JcOC z`_OzVn^3~W8YZHg)XG88Gk^vbrq9!JAf1GVGB9Dk@yZc!m%@$v8artFP}&B{0l_UHTkmNUU&{IrONVmTxUkC^TG+6=TJdfS zUt7!PGEN6_jHs1RKFpDDBrew{Pf4z^&9-szS+Quzt)-F(4%z^Cr&%`yCnwfbD0assNNn3PJQRp>Ov-m!`&bM4mOS1k zxQSm`FgfBZBo|uNv`~xlyd(-5>ConUMZuG@0GC@5sCVv5T1$QAri9^?k0|3O+!;o% zv2m)nII%CkmZpJG#^WZU0QIb=y&_jN*LIC7!&JK_2F|8a+YKl>FprM#%P?x(8m=Sv zaGj7Ev|NB6A}=jZ5qttgEV5Oqq${)T2ZK^oq-nH!w#WUQf==$gXo$WfLtK2*N=+`o zavEj?Ng8PekBA?NzKGBQCevhbTTLsLSBN=yd&QrCvpDsbnKiEwQB-R-VW$9nRUZ!A zX9QL@Ha9lEc(b8hjCdOx}0z0tjUQl#p6L%YuI5os+W-Mzf1 zMGwf2`HoyN8Awks5U$7nsuM8N$UuMhA}ZQgF|Jc=h_rtIHLpOZWR~ z*o${LxFBd@76cyw*CMxy#8|p4?l!$sFo26iN@bwrK}`o=n01d$CVN4gG!F5531P4! z`e;?S%I!>#LxXTGOq+6^GSi>G>R)7|Zf_t4z#kn)c*<~zhm zGOwcV-4p7Sawkk5Xebez2Oh zVWFZJo!)NS6az8Z0`Eoed=$$T>#Fy({)T%Bn5F8+rY*6&Erm+u zAR;oQ)rhTnh6Z2l`UL*FVwWz`#mulgO8BgzNH2gF9-U5EKLjwf&!uuo%G*>4Rc%O+ z^TpTRw#;ewYZe7^io_ji2TXaR4YuoS@!8za zY!EjA42I5B7`vA_Jnfg(NSaY*GoiJ#ahND#-silWZ+(mI?K-?=T8s&+z>WQSv(QDg zThWdl4a*YNOgFxk0rr>804F)c8~gW?aE45EIaWBLaUb*CEK@b?JnDgcNo?4@on}|C z9_-x>t?Dx3}7FLG#M%z53$apjE2n&Ur;6_tXcL%U3sHNCJB%sfT16+HF{ufGa1>1 zJ5a{2V?u@!S{xNFFQdZM!a&3<(RCU1x~Uv(gR`tCA)P1vG(H+3)8o`XHlWWCMc8Sh=9x~KxJL3O%RV5n~5c#$R} z1TYkAUMxD=M$cSA8$RLsEr^4N^gbykUCJobOB%!Cwz(H>6`@On_>kJ96yhmNNVO)r z9>#=V3WNm7)Zq~u=~a5vq*~ffU?Z4Nn<%)owq#5Qih`i&Ha0aa0`^KoS|v?MfWA?{n(@^|3bQD3jyN`ij_#Ga?B>r^mixT4N9eJ`VBYsJrC~(%BuuaQ~6J; z_2}Mjn@S5atq|KvA_+IO;3a(23~tg)yTO>USj0=n?C^S*Ss*8=Cecd103$XLyLl`y zBmcmyRdUi7LC?)(_(Y)9OzUe!M2U|6rcW=c2wb}5!NZKz5kH5VnASHhxzN*0N8wja zz(!Xoi0oH%r{X4fY>+frZ!)NX2+c~AX2Zaxq#lB+cLRu<-FOi3+?}1aStd~wBc@26 zJI1*yMGoc)ZX_DYN`4K&gQYvZDxq2kFYC_uVtIpB)xF&73?)nYAB82hI-(Zf*OmKx za|!S-&$ZG2L!?L^>W`P65X*(s%c&Z0AaW&GQB5qvdzz*A>MH3weB}e7^p&Yec>s|_ zl3OsosXChsD6KSL;wGqHoEh^p8aU@irP+-dd%k|iYRU*%wWajT?FlBJOexCZkO(RF z_z{vOd_Vu#r{wBUQjr#ji`$Nio4Y{v)I*k(T|fRqJAA1UbRzqf3;i(v$PTep^FxJc zWpHuc=gm7qY!q^V$c_@&V;UWDr*y+3G8vW6k{Z^3GZ%PVnP;OHhBkGR4jzvHUZ{wn z=zavGoac{w8vC$|P<55%`D6&Or+cHQu=&ml@cXeJ(k$(&7*3|w)wnuzz^_~Q;Co%Y zCxdTA_Qu<+Z`K3!i*x}+%N!m;G%lg{OG&u zKcX36S?Cd0rs1kGD2`;r<_htuKI_`d^#to@&;#G1BM^z?0R6Y=jqFnxQP1QOZoX|9 z>r?UldNEwrAUA?c#_tfi+Z{Y?`AxJlor>o*M|9Sjem{Ref>+WD^{Z3s!ngZS*gY5yn%CcF(lS>fWE;T_1ozI9hwX5Og*--T zN7@HQ*1v2ncv6g>1y$7O6{^AsUE~kQnwfR+`k^Jm3ZaP`N!s^{$j5?TVo4{Wu=n;Z zn^|C+>S#Obhi0 z%@V9yw^BEGCh$qeljQqzEx1)O+?QDfwVY?K|w9;z+ag9@-^lg>F-{u0Ir>^YUepnYhWj_|2+fWB> z-@~;g0@PJ>lq(c%L(ixA;Y$LBcz0#j4G2 z@#`?e`-koT#>gpYE>V-~dmO^RI+nNMVFK5KBKG8nDyOmnOtLt5KUdynKgzllTt3Or z7!k^LNG)t)ET|tRJ zQqWSNH?;w7x3p6M6o#DAGf2h7M;Wnl^V_A{bX@#dNI*viO)^^5u8~#M-#mto-r%OS zOv|f}8<{Af2j)xqPx(SM$1O;#((nq2#z7ARzwj|A(OR(J~GH(UH52KzbrR+f27)UP8#m=4J|7^HU`|v?e6o=ar!Zls%Y2xA20nR6y z{=7eD@r!Tzch=b%|7p}d`)-6Ao=-6SbMCXOzf}iIf9nW<+%ga5zR=zj>R{}KBI0sS2h`qS!k7P>gG|JDv1QT5l4 z_*drd6w06Y(6d0|d;~bK@BhO@|IYfI%JtKLa2B@-f9F;Ho%g$0>nF48EFy8swmTzu z{hj!`UEG$gKvo4>7rQtbMT2GS@$1MW@ QF5nIaT+tc&Srq{P2a>66X8-^I literal 0 HcmV?d00001