From f3dd7a56130260aeac08bea4554c7f3e2521ba53 Mon Sep 17 00:00:00 2001 From: Thanh Trinh Date: Wed, 16 Aug 2023 12:04:22 -0400 Subject: [PATCH] Update EIP-7444: Replace broken mathematic equation with images Merged by EIP-Bot. --- EIPS/eip-7444.md | 4 +--- assets/eip-7444/equation.png | Bin 0 -> 35429 bytes 2 files changed, 1 insertion(+), 3 deletions(-) create mode 100644 assets/eip-7444/equation.png diff --git a/EIPS/eip-7444.md b/EIPS/eip-7444.md index 88275efa2e4b79..d182926f8cb69e 100644 --- a/EIPS/eip-7444.md +++ b/EIPS/eip-7444.md @@ -58,9 +58,7 @@ Locked Assets have become increasingly popular and used in different parts of de Locked Assets cannot be valued normally since the value of these assets can be varied through time and many other different factors throughout the locking time. For instance, The Black-Scholes Model or Black-Scholes-Merton model is an example of a suitable model to estimate the theoritical value of asset with the consideration of impact of time and other potential risks. -$$ C = N(d_1)S_t - N(d_2)Ke^{-ert} $$ - -$$ \text {where } \small d_1 = \frac{\ln\frac{S_t}{K} + (r + \frac{\sigma^2}{2})}{\sigma \sqrt t} \text{ and } d2 = d1 - \sigma \sqrt t$$ +![Black-Sholes Model](../assets/eip-7444/equation.png) - $C=\text{call option price}$ - $N=\text{CDF of the normal distribution}$ diff --git a/assets/eip-7444/equation.png b/assets/eip-7444/equation.png new file mode 100644 index 0000000000000000000000000000000000000000..6f296333dd56a4de8f48bf6752693b753d4f918a GIT binary patch literal 35429 zcmeEtWmuKn)-~NA5`rM5qJ+{Ror0uvcS?76iKu`1O; zf)Nf1F&`v%X1ooF%UM;tMY{an>yW3P5847>moeR1gC-L7x#%BFc~4IqZ3>y6J1tDa zdu<}5xdz@Nm``6pn8U_ybD%-ojT+?OU8Zjipb-vu(D&0GTf8eS4g;Z6;pAX@gID;| zIx%|Qu+YhcRsYN{>>31WR($giERO&k+2BJcy*ji$$P#C%c zZ!1@y1j=WX)c3!F z*~4V^E_nBZ)DNXXB!^U%dkkboa<7Ci+}XTdDN0w}=TNkbBy+^pU@;d)H+o3MSblmZ^{Wj&}0i+E8c(hI#7eys6BAv&_1L)?x(fd;Ja`Qf`{SL zNI#!6vfLLgjwCjH9W+a{Z+e6(w$sLCjy9t#j0V3PA#=VDMTHQl>&=n1Zle{0v-<)rwTXSId)q54i9W+{*MyJPm>p4R( zwo-AV`D-j=f;oquZ9GY(q#pc-Z1{*8)cAb?D8o1`m~#js=K97|^&byVkn!+?9yO!m zVVS)UFDsP9DEXB}dWw0IiU=nX``zBQ$j!MXyz=b=l)|0w3Zp2HC$u-=r;5 z{9o40Tup+YR{^aGMlAiexSM?( z?D&!N&J10?-L6^e<8Oo$rr<*`ZeWgJOa^NcqSF3M&3KD4sUW2B{>@t|rvPmcIc|Q0 zgMbx<+aoQw{>U3xXDkjvOJlfYkDg8p6!!TIoWpT^-N~@{$_Q`Mu6{V{;1Y^dsZ@3$ zS9`y3+K{GyPmtT)K!us3E@bPZuRBDuB4P_k4)xIMyHP6ORl<#nj~ zi1FA8+4il6Zyu7YV4VN3Tk4Qz*PKyV9bDagI;H+SmBB|6dH8-m$7gEBx_3Rn`Y3|Q zkLP$JKJoGK)FDuxHGbFEw=*)G#ud+*<>TJGf#4l+0}qe#yeEVL-5?cx;=FsBhaBzH znGV^$DxUEsNe7RPCrxv8FxiB~aWiQgGWioK^BKJQ03i${Lu#`7{wgep5~;W&wWP9$ z?9Dm~SkM->QnEty#AdZp!ZpMbk$X>&{CI)HOW7^@FtcsR+Zhvbt4P8v6L(2!7s(TMT|z$% znY1~Im7AvW5Axa&@Ang8 z=d%528p_^um{E72I#4ZXig}KCrup!)vaVXJx~@ zx61ExA1RKdJBrT7K*<@REuZe?WGiCl$>eelDi59v-pJ=rl~k=_cdh?4s_s9L z!<7@0qs`Wq<&zUi)J&vJh>jadoMg|5WA9?`R*$bvIM9yM5ZCG|&8@7lk*YG$Fw-vn zY+dbbXKE8|UD=%9zY<@W!U>0rLWYlvafiP3nw7~_cB^V*wV z*vJsD+_Ysboi>=}{J=8c^vT|2?>jjj1D;uAky7;*YSX1cYJd%wmQhI z_<(8C+_=X-ls=xljg4m@@vaieam8s0k?Ijg>Y&^JAiy4W;%K@W?G|2om_ zeS3z88t)0wR?2)^LI>~7SEw&hVo+VtEYN7tif%xttZyX|>yS@S{k+8{Fegq&!@=+D zv4mT7GqJPS@F3J9xEsd`TOBjQfl^t<%g+< z=nqPsZOGq_W@Dch%@@h1uA~o-iixTcuraXi8yzzC`c@mxNa5yFzjv57+bhQs_m2C= zl6YlUQW*LG=5oh!-9VFl2G3AZ0FJAKs)SH%o9u{Y=IP~+}}sKnBkmZyMy{@v}F_5G%2ltf3jRB!pjec+gHRteAhl1Bks z%YK}&U-6{ouzLB>d1H6@b~gJ$k2}jp9;ePnCTiabhsPGm7kfA23E9jSb)XXywN0^4 zq6_If_?SKPI=wTGoEC(RY3E|cm4=iYmcvn}u(=+$l3?9(WpdQ4u^~pd=vw)lno{RR1%Sz`#V8e%o-h-^ox<(;yzg5I<0g#{=^a8woyl75p zTo~Cgc{zDqqEaFx;cJ4ncD*(pg)4vk?5pMX(9ChkSjx;hiGJ2w?!SHo5M~hiJS>+N zv`ilLTvUPP71(^XNzVEDJXL_udqIV-{OnLOwOq2tBiTx@_sO(-%bBQHsCIk$^rWxQ z;PTX%egCWxjJ8+iv92*BLU+H;ds})Ynq7TNomuA%WY|UE*Ks%btgZ9(+@!ZFPV4+PD^U9-2&bn+h&O>*smw0VNrTt<<+^s`AFZaCKwxvsY-n>15J` zL|XX5>;XcF8-lPLsy|w4lv$|2(raIDl#YOw$Pg;TG-X8&OK>KDZol#6m^GSwl{i*VxX6$qkwFlL|*K{gH+{@>UCpELie@gH|;{Oe9u z4i2t=-ujPI|NB-|CsRi;I~!1^v*16T*Hyj$Jb8U1Kl5eR|1lI-dn3*P%jo|6s^pGz>36G+q#LL3TG|M76&3=khiNAg( zrzA!;E3~)Uj4EJ*3nD{$hIve_VToYZ^d&3$|%)ZK?KjDU#p zZ$IchG)tglzq#LS_-{{N-dBhaV8M%oghB0(@NYhZ6;Ux{Num>jX#VYKa0`B1_Kkmk zFE~l0>fh|FSj$8DZ;HOEF2LgW-_`s3*ncbk@38;h$?@L__ixwg|DUB6^``kXF=JP+ z(1kS_#|s6foK}yk#je1Lgp$p;ptK`$^M6{Oq-Jd9dIK~ZQUl*#Z}j6Hrg{%_FA!hb zr`Pv|4It0@?x6iodzI#ma(u99r{{ZQ3i~8QxYH+gBf2-t;lWi$RbC+kEMwL7dCUG! zBNuRib$U1(neB73zu*0ZjJ55wV_M<4%+tyr{~8X!xvzU(s*(1wX-O6F*aDD zKkd9e&Y39p2C@OSYqGiZNW*~FZNs|!#v4z2JT)8CrRkyl0o4=25j(XKy@s_#QdT2z z&5K4gFKfZ;8A*?VA)DiG$o0pvDOd)$tPaQT^a@SaA53{IfIe{ElZ<$@N1w%i-WAW@ zy*Hw7$2INkJ_RIB>m<|*eSXxrAdF`abkpMRMNO_%Nx|Lq6T zN*)3*0Yr&&A!gB8;M=wEKG7c6BK35K}&4%hc-8$C+ z9!nOwq4E0Tm4fbJZM)=(x7=-nhX+j;HfXqHCMiDqntUuH$T#@$JNFKkb5gs;E3LY# zr+uvkg?7!WCtcb1R)#uPzb<>DMtftyE0!1P89s(si`6n5eGj(N?Ha zJFr$W8Znm!)K*uSNEo3=J2di-~hLxN5mg=&W1S5s4OhY!NeGZb>r#*F> zd>h8xrhVj!v?{lcE8143J(5ju$2FQ1-6maPJx+hMcaP}%B_EnVe(dE4ozegD%9>7O zEUx)-x|4cQvHHR@R@ar4d&)i2Cs2%i56)r=CGvuG4MoYXv9NqT*{FlhqM7a7x}KC+ zmy=YubnWVYfD$I%*5QB*b3C}NxBk~Ra*O9;h?W9h>PPgv#`bnoPZ5#P?q^4zX<^!c z5!ipfLFIc$vpdV+Ug9sA$YmoMYn9EmE6+1eM2@d)ui`pxI~&f;g=J|oTH1mp6W!14 zu{|elrk_v2u&UuVSaDA2wf5d}=-Ccu^GM~0ULw()19^T`zGdM8oM=t(S1Vz6zG{Ir z%d^FX`55hmI_M*FTKUg*VfzU+g2|3w$r{rL zjt?f?rfnX`B}8E;9LK8om@Ou|?VHbYP?%o~eCti-=%7kt%cvp{`pU+kc`a*(L@#m(;<7!Pj8)lilZo3Wr`w&H<5x0JdI)##B zH<@Yuvxw9E>L$*IN%n!=FMZc5N4i`_bj^Ja>Zap=d<}(L`HUKd#^X`&j{1GIt@-h? zmEL7#u;Y$X7i*YbZ*l#$w9{_CWa2U`2Y$xTsrB3=m!7ntSMX$XS*=JbUJQ??Rep!$ zdf^f20f_MdzDlip)PNXiiQDylvNbWcIT@ilXT4*c&Fu_a0@n zae;%0j~aTghb9hF9*bFLaqHui?A24AR!|qBij{#Z8R)!i0Mal-p4_J5eWL2Ts^&nf zj$>Hzbcw!@(?Yztn&w0JZ3g7+nV=glZL_UKP37AAK|#slFUz`YA?Jy-dm649z4G?g8$uQF^S1GUGR1z%e8U=V5~iB!+%|22Nw_uMtLL*f zRDY5NchEW0UL35p)31iVE%C%M+?c4{mxygD^Ub;JjGx+4MIeM}i2@=T-=$MypN>1a z>P+N3+$4AI!8lWxhy%^`1tVyq;Ms}Rfx6+ ztY^mqo@Ids6(4_G+30|uSom>F#oUr&SGI&23F~zP1>bP4eD?G%)oyvOAl&R@?RcVX zEz~o2H*m!s4Gyf9+4*6+5SsbO=mC~(?5uT2;Z#Ld|knShie2 z*9ea3!~E9Zz)x66d4s`LSPT^2TP+fZ%BG9U{o5*XwCbL_ONJy?x~2gPtGv_Mj!egy ztHu7|(@}C1YgFgk);ZB*^kST-ZzdKyT!pmsvweY^9t@ac0iwL%R;BKtwu-C|Qn`rL5m0%yc|(Oca!HM&II5%Z+xH0{$Udu&G!|{)iVeu^EkgKMaF*14KA+S6i?~Kvd7*~wyE3Ox zqUtK$6Oww(kCt%h1pSXE)v1^TR>z@2r!6tdVLQj)hMFdM@^IcYE*7U+`EE`%e6;;u z;}TSIT%`DIx8Y#Qie&jD`=LH?STXz6LN%#6Q%#3I-&9$vFu^U!&)}an%g-B>l$R+? zxeAuElWbpfh;t`8XKrRj3bH}^({chUx<5V_v{)TwJS_HW=XhqlWkH3TkgIjj;)m{{ zv#u;+WvU1JGjbeYKG zXUQZD;7g7Plq4%vlnW?Rel9R1Z@v?2sV}rQsO(C3;NEzl;WyeCC0C?GXW35aRam4- zUZt1SQ?Psn?+qT}RC6sy^9ZkN>j#6jy!>`Hg0H8cvV`Gjf0YgVlSd18zOsPzC=1_A zZcH+mWL(0DopNb2jhXf8*`IBB=f_pBwOuwRn+x)h*QcK;ZE3oE-fR6@T(@C~$Gb#r zMS#P`Xf;0B-08d{y|{8ASm0ZU{c`b`XB6++p*fOJvn1D1Xy5%E!zm~sno3)3JrbfT z3do2`PNa8VOsz?sEI7jY))UA2RX-~uTlM%yenBytTmr{uL~K)?>On2~RHM)pG;>0Ug`N%c+0UCu}NSk|m-W)gLFjHpsXMXQjr zr{d*$diX1$V$b}B(5XFNxBdljE*KcoFOb!u00Zosx!u)%bvv+vz|UCFV>#sh?2|@s z;L@u$AZ1~dQ*o@uY-nX?XR)&tDW{53w<^t3JRaOE?Qt&lZLmE%SrocSP*vpT6hXFY zDB5*xwcIbkpLzHDs~Pf2PT1us@!_tF{nAa_A+jR1SY%A8Xg8@ENnH!KVN$JsQW@uSAR&EY&Kb#bF=gfX^U?)VVHlh_j z;7j%T%#WQbuB_%KI zcWxt6i)6~4)Nbnf^yvaOk5BIVdy?Y@1zg#UyMC)Obp&_Fw(JLU6{U*f%iNe74~;UL z%b@DHZ=Xgjn9JQVYUWB7`;6?yBwS)#u;ARMxT9QYfFQ7fVEUZ@S1@j%G9Q=D@K9`V z*zZZ6;}$d*A~Pq%oqE1br91DX@~yp6WwEFQk<(y$cNw;x-%jOM-<=TQG^6B(m*uWn zsw?6)X)Zv0OIeUq4Kw~VS?5-rvm|X_ zs9QID$9*P1DyK**2dac)#Sosc7k!i@_wFJPo2e9$WWD@(s$i9?`{?;jy!u*m^0az% zSg!TATvIb=3TFWwST`x|LVR9#5)Vwr?`&`3(?@x>d~UguRAITzY2|EL*4c02GTt+A z+q&*GfQrKo9G=g?nkH+#_lDFLUfqkZw_CT;@JNnkR39G@EglSk;!?N_DoVjs54g|e znnS64M>%XKo-E%3z{II)uEP~>6YFmI^!W`6`({Mf2D-hh%8V5c#^xe&B+tMZu+-Q< z*ux3p1E@#Z@F&7~+-o=_ev6ugBK|e;wHLX87#-VpuiY2sH_G`;rMMe4JJT#_-ZRN@ zy2tb}x{Uo3s*6+3CH1c_anCeewUCt{Z|ibJd{N8K0(#g?P1Jc_7<}WN_BPh@J9Ek8 z?e;9xjo+=?Y^>|fKR|Z#L}`>uW_Y|VaUFi#>2J%fXUe|sdH;H`G0 zWwc_r9fdjErh1RNWUK@Z#NVK) zP;k6>*B_2B`3k3wCT-8+I>ChYBxtI zv7m|kQOl1T&I{H=9GG}-b4{6yxk)En;UNu{)G`7wn_7eZRoc@HmO@Z(b=)-rW!EgE zA*NZSPHc)A7;BHWZ}9xf0AHz;o9!f)UeTjR01)aOGte>QK-qz z?(nnqdk_-D$HY@r`1o@>Ww~$hHy`^%BUGE{+r=ohPwdnB z9iz)%Z+n%3$dG*3bza$-Q06%WFoOElBq`=pzJM zr!djFcHhn|rR4)BWGpLDPv~?jsHmeDkzZH2s$$9x#B{c5Qzc|c&Rub=QZLux)z$GG z1?nYS`Rm09#Vdlnajcmyp3``rtXJ<#B&?XPa|B+Y{7dy> zfqqA?>2}Kpn%mrFsMlP@D>)FJSVyg4{Px8GU$B-~Hw>!ckRsitJj@MmB(+VA6lxly zFAh-ahFD|eQ-ToaGv$|(CO*3<{&Ik%AFk`)_GZZZ$!(g(FuItaudfwQ0q{8FsfE5O z#CRJR3JO!CNGc)0_2ZTh&sN>Vp9yF;mFaOtY@5#Z8O}aw1k?dU(T+y!!i05qRVRZ( zV7R1f@44X7edr38z3Ygs+ihIWX9Wxjx+m30k@qCtvP23V=bkA*Xg+Or+SaX`O|SCh zDB&?NPWxmtYdq1Zmmpm!wkV@g8&}R^`HpPv3lVp$*GZ zewbKP-*!v;{_r`7k=70r*i}N03d?(>9~mQE!xH@O>R@ad1Fa*k?D%_>Q>}!Jcb;!g zPj`CV>}1aKsf{8j1+aW6p?6doCZ1^LAJ=V=V);{e%)RIG>g&cHp4$(4G8Q$vMYY)b zpg?2sW>=Kjekt0;PNFU8i^k~;l#M9W!*Q#Ucn~$JVh*01NOP~FcSnzv;9TU&RhC7I zka0dK>XH`dDS?bvm;|hhH%UfP+E4-~(HdI2J0MeV`YpFra?5QighY=8%P5pHx$qjK)JCbhGso}bxpd9hYFz;tlvi@ndn+C8NC)wN8tzRb#Sr!X*Y72}mKlwp?g-d!VVbRCwGItftIA!$mT%@UkD5ts1G}o((~zaAFm7*kmyA1 z`v{(C$Is+J_m>{TN$==*tyh|X5Laq3ZJRcnj8i%xwmUJcpfUFNAj|jcSk*Oi2j-Fg zv^HMV6us*&-#7r05As1@?_LcZR7zOWvBh8!#MiPuU2#kwpr3Meq&0jj++LM-8Aos1 zn{rI}`#>2~Tnz^oMoKou%5!RG0MB2*I`F zJ0Gn+p5_}(G1zx|=(8Uqw$@pDB>)DGo&6zz#Nwv^sGcRTtBb*<>tq_SY8G)^-q;I? zpR*m!-OP=W$d_H6Io}loZqU*f{h)wc*_K5mnohBK!fxzT;t*bIu{bjoYARaLSmCQr z^j)2?x=e9n!sF@ha2+9F^kv`8Q{LXY7@ccAfa3|by_4*{-C;J<9DqqL;F8u{ zn1ZhWGYA$7#glu~%kkdo;(WW4xm!_^BD%s0mnE0nxY)N!`|xD?LNITt;?XW&RsdqT zjiF1C3nid{8+-X2MR`Z*Q2N=U?_h zH%);`Wd5FtB~9uArI_6$q%xk@#Zs^?e;5w&EKszhwi0GTeSMnE`<;Py1_=r=ECrn1 zalxnL{Z4B-(q(i$%nET{@!UvWui3D~{XI0BX1?onzhVX~C&>oa6PoHNS zPU}Z6DcFN@d53M|p}Z8nhd(xK=G2=wBq8CuUK!*zScBD8BgN83QO@u(oIi&A6@#z= zZ$8oLRgzG_2oYB$3*n=cVqmWAq)N$#;!!DLo05$(;i6S3>ky0Je3WvRKO!=luXr@3 z0uSa0k*rdwCx{Rq#8Nk<;-)erj!|?rpvlzDk=Hn#xRf}cW>0&rK6cuuU4%@I7hb5u zr$BG14!c#Iv1$;|422`QIY|aV^RjIl*8w&yzrAp@@zC09ax@pPBcmCGi@-8bbP>o8 zJq$FpRGKVR_P7yCT*OA{TjV}OVF$0W`NFB%@vaqXN}THq4)2N}nK@{g;W=7mDA3N* z;GoX1sy*#_q3u%@M)(jiIr`y&=eFpy6lx|X#;3BJz4oEw=Y?G;*WjBPzZ|40;zY(M zt`39{0HT}k?fK#3RL=&e?2xd7Wge2p`R5GzRYiN$H&|m;LJpkje(K0149$so z9i7bRGbJTmGNuaVu+xMRhMXU0*s|3(+>~32J~G(nK%m8~uZHD_!N53N4va1)YV|ar z*6TVL0HkA}NoyH)mdoH0GFEG;EJeI^hG52pEGr=p>Zn%&*|Rh4skWOI4C7FZCyQ=& zc+T(wdB}L!?cV6F_$%^VmP6fsgH$Y>x@J2K`gb$u6DQWk)o_WDjf5Hx26h5(g0GKZ z1w8_XDxFdE%K1@eTh*9}cvCZl6n$%0sgiwI+Zf>#xU3L zOAu6*n+mXPv}(7QVp+vN#V$R?)WBAUd@?UBl7-ei%b6b39^$uN`(x%dW}gCwT5hQu zcwUm8fWRoLQ#U&TG}3MUD4&v+VLYBWe7mu1_5P{G^Kts&(`bfur}*5tR-`cxcVJD)nO@YnzR9(%K(9InQVpqyHXH$z7Jq#7C^SG8b&7je6M9l)SFXoh?7bYE9tzbf zqfIU!MMTs`2BP!&?b1?dHXHpmFbSh46>mp6+bnd&FC4FyR2PW*WHhfcTVA-Xu5uQd zReZZ)?=zr3lDaQ*UURfE%}{r^ng$SjG8j7PQqZLFkDfTpq_u%d!5FD<^U&c0+)} zV$V8A%huRWxJ=h|tc`9oInmUIN~QnbdE>J!chfpXC{ zmL!FXO1#gPpD7XgDRb)C97rGl28Qq-`xK<_IsvkM zF|1670@bPJ@tvzq1M@f`7lqodJfsu*ft)*^QQ~=K|%w&n#zOz#imxaANr|5O%*w> zb1pne{R&Rv3sc(xXzoE+hJ1D4HDjscytEUr3=b_=R+d2av{Z!H6z!#eWsz0^7L%m` zPo-j}1ntVv_-*3tShVI75cj-Y*F$3A(U6K&_0<$8j7v0%h zWlds2_W4J?JXn4Le#f26O|p>BX^!_nSX*8|hpp109=*Di*!j&>b7!NWDI#$n8K#IH z;tYq37%W)juMGh&KJ2_a&}I|kKGbZTU#puVpWMnXN5_&QSh)6l#1`a=V4sa854e_x zZuAY$HR^vnt`00>SpGSFNp2s?=Zn9wy^m^DpX#}iw~+CMiS07WRg_vhQ`HE|OW4nA zK^Q8duvdnQFHdWk1J-5XWV4BTb-0KfkcAnw7w0FH9vRErp8)2P5HXAH>?6eYg$dqb z(s>~R3m!@x>Fxl8{`gc>f0edfLuHdkw8h2C2&lVk(v#29JorOL!*a6fgnE0^reL)v zs*O>xUsL)B0Xjf;w8+rzdOdX&gb~e94Nk2^k|U7Fv6MLMrY6uf0Uu-%^pWYSyofsL zZMSiY9D)>|WxS#f6wtdpgX7h9cDA+iF|q|?^C0(KrCDkakgVpKUM#}YT|!l0RY0ws zee2QsK&Ir4ogsDo+e2fj%HML4>a=<}O?52$#5jjy)WVlb7tph#Rr7IHtrIPI841TZ zDbxe14U|jeQ#IuR*qZcL+3CJIhf=t*kS!^+JQFH?Xou^*xFU^yP;>y0zFUT^TQTy> zm+RFN3qzmIi>T|Q^_JN4mKPEOGxO<-g)H+qOU{2BmmhxtsWNjbc`L1eMHLY(bz|L= zemC9eBWvxb^L6t(l4DKBO;Glu$B8~mZsLeX&Tl?zK`nS z5tK+RW)~1B9}h{(oLWp4M?vz@X;{;oc36s=6|fPB$w|e&j*#_9HlgoH#cE}M+hU*t zIitzix+AP-U}d&(jn1)snq+HWU>Pbmf9|I?;Cv^*f_p2)wXiv+4Crjpyi~R{L>y7$ z)j>K=0)*ODqM=2b3-tIU*07hj^-~a28H2bHqW!{&4S`O z>CGj~o6)iM@eNwfJ6+gKFU}4QxMgJP{L6;x)~nzIF8iwI65LGAgl3mvOkt|!UFnN` zD_)Rso;g3=EJmx@V{fb605;etioR%l@1y~wXz#nGBQ*BF*Y6D}V}{|L`-y6f`dZ}7 zI8L?>+9jm)VU zXZLh>kYQK^q0!^dsvBaCg6gw6rBzw9Tmn=hT6=TVnquA@SF$}J_6I@ax-5v0){j16 z?H(=8$4c>>AI^r8&nU&GlVK>i4Db1*6RT0Do)?Mm4^_u9=~@PrLto>e$+!qaTa-B7 zeymmTjEA~VdM5W)WkTS9ua8UgfnwD!0O-0v$uT$YTVC|kWD*poZH7vd=b2Rp4tXX> zG~u>v^U(4?#rxw|I5hxogWFi+{fEWK6+~iCPWO)|-+COIQ0?G5?u`tCN~;f7C9p+D z>*lAqe@@ibA20dp1EdcLz^NsG%m`sH%gdy<;#jy6hq~p{cHgD+(6weqXzTEd2Q)?P7H82Dq^z}R5X@JP=Y+|osV0Pg*MwW> z%1Qhlj^iR{Kffu?sLkU?Ddvw4>HD2k3IwAGuTIpKk2!Wemg|gp%pSAXx6e@hV`VDe zCF4a*-jj>-3nyapk+Csh}9L>8Tk zl8)UVJ0`dPgd7SRV3Bv8VLABziBuJlb{2cNL1z4Os%B8B1%9@a?h*hd=Et|1=>U3E-&m%E-NCCkppc6-P4h z^|_DFtHuU^%%YsrtCNQD=rUA8rn970KyzhO-8|fMSf0+>TU@#>!C$x*kULDVj4juC zGw}Q`n73vlg%SWCL|YbX-W8{4npWl5I^c1zF$u?;$qkqX6uB7~M)imsC{MJ4|GBQH z_un~-5%nH~W^54BB&jq(_US&xdnizdeoj=*^3I6u911QO2-=-kn`<9EA>ikPOUN@UM5KJeGXN6Ze$bVB0ek!=&@X;9IpXv7J z>HcY~FbaT|H{WTX{>Lf=!3DoG%O3v6r-cEY_dV**e`oansp7vA;%c=2J0Y&7hVcKF z2|*_lz-cuccPUQgbyq8YaE%1oCKljCJB&B2|L`iHEyBKFrR?k&Tm54xL6wB#`$6`j5zrlP$3Qr=#)C)6 zKYFQ}H0u>O;Q07Jj-hjB;nTnD6oVKr3Z^>dg0$CbIx3(Ubh@jcq|x$HL42w1h1GjF zX)C4cHF%l<@4{7}8ehbL@)IBE5krrF3+$rLNiw<=N4p&XeQ#pASm^k2tiEr20?a|U z{Kntb1tbAGyx96p;?Fn=yCPvB;gNH76>3#NE38I(28(s!U8zFTmr~|Cj^Ak(HtIIH zU^&mZ0mS=m+g=zhjD;Az9mj2#!ULFOInbFkEoh9|uyYU^ZWqX+c1e)iL>XC`{dGDR z)CwBF-h}L#ZvLs%9|#)VWP4KtY$PgH&Msx8`IqY5-F5hgH&7SupIMbOm{|_xhmazn z683e!2dFL)Py(=BfT;}H4cq^e1FWM7!J!b?CUbG|?hB(h0)jBY+T@8WzoT@1bY zZR#lye#75OQd(RhGN2se^o_H@mK zXoN4$njH?5e@e%H7S!AvfV>`Wp5pLx2XG|AyvFm;=;3@-#>Ey0fO#b@Nfh|sW10aD zS_kob8ORrOg$)2@dUus{Pw3xP;`<8^qu^(kOFTop8XM4dYMy{bpObNbdvpVUrdb0} z<3$qTWc`>;=f?%zKpLh6mMMT&k^3a8&@Um_>!4%RuIuAtG1|78g`|$IlYXbaLUjQ_ zyZPZMWd4cv?yV1Kg*?B;!YRYq!mf?%w|LAfU z=yH6i1Hr$#9NB!S1q6y!CdI?8uQ#gC4yLEW`T+rF5oX+0&uZRtXLYi!+6L&URwG=PLv{^&F@y!FfTdD`zl#$v{DK0%OjPYI^}m8; z5oG>za3ElCV6;zp{!@MXYH^)foNxX;(9I%3ZE$L` z@|YHJA1ubIWY=+vBICBISpZtAE|Yv6gf@CG zo#NFC)VjmIZ$nc#EI!~;@NyV7EI)v&kiG-SwlR>RT1Qg?T4^-?6G8&hhkr-MUpO1I zm7P|?<4;?m$;|+7%K16eZ9rCaa^D`FZ%?T$1z$>xqA(l)i9-u12U?p^Fc(#gQn~Ke z0|f#MWFiVGBUCFX1X-s)(8^pYbIRW^H`e6q8p#(+BC~9J%kTPPl9O^-$8|7XfV74a zlB;`H3FA#8us`C|3_4Gu?`;USDmVtA#V5sb;t`igmysgJk@$7gj#)iSoV}DWqc@KyPM+#@O=(rzuJgwe z7tdY_yu!JsMya43+kl)6L&G6T0KozmPhPC_KUVYWSTOZ|HSX*1T#atp0HJ~?H?8T8 z+WX*TAem@w+ZO=gw$Fj|qv)9upcSx9tvPbtW>Hy^8S3-(exa?n$SZ;j-yLO^cA z8YnOdEMw#L_Aa-nxB`J2Bp?n%FSQ5tqORWy8Ublmd=5g?j%|vPOUXku*r4#0R>2#j zGHwfhKaS2q`twAo6(+zlesi+7xI%MfWujC3gY`rF->Kd=yyRD_?0<;Xfw@S)rj}&w zk<8Gu3lw)Y$u7fTP+gZH)qPMpyfuu_29S?$_eqRQ`!k+$fpthi;&rw+(rfi`J0@nU zc%;Pe>&yM`_afs^Mqb+zz=(atSwCYNZY!uIw%>7jE2BkPwLE>{*+idiCMc)3zC9iT z$a7QqN4@4=gSdZ9BDF##Cbg{k`bca+(AA1k@j%jxgN3NwH`L0=3Z69iQt{`kEm9_EzTAfZT#D(o%HybT5c-0ZBuGNYxBIh4@+5ua@Y41z zWk&W$vh$QEm%M4+1v^OQ>o?p(qyu8~l?&3>qpSMCU(|!{Q)poZ1`Ml#x<&Ir?;=1p zH7*yMi>ZE9z~;rr5Co8OyfEmDW#$eWO7%Ohz0~b7RkRz1Qkaq3)}+f|EcJFDl)d{> zVI(6n5j}DUTn(e#i&vspu-A`^MDW_8)gEp4W%A>g?tmo#F^NC&_2UPV%N0;05Ho-f zW~SPYY(E}fx9HMH=RW|;DE|oJsCw22FKZ?5Ru<@PY`g1EN`8 zV*=2g)r9Nz4`YRe%80zM~i9*;cvO&(loqA$i;hN{Jl$Cj5lFt6!g5)J_1VEP%xhP67y zoyrqU%#85W7#X}l)PD`_yUV4&c3TPgkG-0ImUb5lhBZyo3%1lW3=*A;v^U3$tO6cq zzFwa=bHqzE^w8VeqD^}WjN}(FRLv&9?X9(-Q+3s`JpQG9w?;PU%l#PC+P+6*^q*LY zp3Gm;7nd4IF0gYTcZA?uB;Ur9MVsOloRDF<;3CcPZw+?DmJ%r&>}Fl1m)esIi}BxJ z;Hr(eM&QvGjABFQuTjG5aA5{REgIJQD1KnSOch}K4{|=a%(h3meNMXg73nw1w^?s| znLGCZBg=$1eVJqLPUP;znq@4hH`-ersrKAki8n$i@C}2lg#JWel+wM++WW@Wvc4Xr z36S7JL?urY`DY8$TICy0w>xzY@z&Lzd<03)$7&gK*+0o;{C$87IC-&F@7|fzogpiR z-k&^93pF3_A2NbX9f`JDWgqU?NQvuLS!;^$XYZZ!01;18XagG0{-m2e>_iQjlpqKD z{Vq#Hk==A7m(zl5wRR9`I5~F&i6Qwl4Eo*kECS&;CgPi@f6QO*cN8T|*pJU!WJG}? zKW^67+@gee0tBF2zjAo)Z3jGi`!J9h(QyQ|YG9^;j<_@?MyxPLv4Bj46*p+?I1!xz6gRL#Iim@2ld)UzrYOs z>BRqS7kJoN{>W+fSzP5MM7!4~_3pon04tdICYDiAMGDIfY|7DZEuwO0z1i`QVQL=X<^m-46{KE5H;WB0-Bh?vodCO}c)=H2OIg{c79EdW;QP|LoB|;XpJL6W|of zfYr~U>!$fvKM*nQKk#Qsj>Go)v%qujUp|0y0#Tao%{rhAUjrkymuNc%lrbc(V&wBb zIM-*H82QC6w*vwlUD;)>&2_?|o#3o%QGzCT8K{tYLvs3D=;%!*2zh;d1Zif0#sa9G zUFE$~fGkC&5Ku|Ol~(HHJdU5Rv47s6>-a=~yf6+Gi|g6rG*O<;c=~2-t-RM&_504* zOLE)q*}Od=|AItxN=O*6r^jEM#;%P|z9=Dd$$U(I+0RLrQSagEzhMqP}^CwQBm3(sCpp0pA^Z+$c8 zqb*waVcZ4)B22>j3w6k#ZNzYG%v}>8Xtq!1`Jfw1B0}5O>7*4{5o}=xl8ccaRGBnN zo7>RTzehUt3XDXduu`e5eW^fGh~QnJ3*|~ycy#2Bn@jkw#g?{BC>&ROT0*0K9XQZg zA}wRU^nH)AD13JNZ$9*p*lax6=&#cEm?h-`X93m;sr$D)=BWWiA-M`g!2gbsgIJfg;Zw zlEZuR6a-5S^G>%VL}_$54Bp@Pxag`$sIjnfMx69I?VKP*9jb;U!7l+0-oYhhXVpaB=fHYqT0b8=t6)O@k~Ga$~*oN%)tA*k`>l2 zvBMcf^WJs63_Jk}aWN#eq-9_AwRGaZp5qf6u>15^XlB+2ievHr*WOqDRkf~Ns~{<& z3$Q^@8l<~LQ0WFiLXZxTW|1Nwf+$Fbq_R*_N)QPtr9-+~x>L&cn&@`#bI$ua&+`X7 zpA=B$T=%^1E5cktwiyht(TyZqwv_)S26hH)&opXL+F8%({~t@lXX7;$V5i;B*?E;X%n;q z0_FbAxl^B>5WiD8jE+h$-!f#%cjHaoV$HCdi!40#C0YeD>+I6an9RIp0T0d@j`bI; z+1uY{wIxY0$jOcscKv|x7(aBX-|dCe_kBz(wThcznHm@39{WWO!>58SGbxb*6jA}X zNa_}=z?Y2|>LrR2hTcj36^k>j>8ZmY^9{))Jd6ZL$3_3(*y>^!-4qO;rw;Om-s|5; zS4ow(@gALR@O^}>?H`L8ZRQ&fyj{D{@h&tDIOreRZeHZiHVof|4rYGI^XDg|rdQG{ z$hy-pmkmss(u}Rm<90&T{U zWd+K(?r*n^fzue&b~{HDJg^yVE~ia=>EthPl&P(M5QhpxybxZr}=kl zB8xV2aeu)#_VjJz_R6>wfN+5y2tO*n^f7biwJ0t|In+PX-h{JKlu~jW__y-?NT=tR zbzpX68bld(or4gMKS11>N;9AJf`byw?S(|>gY{HV$-2P2tYCt}9Z6{oM|SN=L;!Mf zREduLJlHCii}#Olxm*YhP%rF2is2?6>{a;@V7KOi0yM?a1hSI+8xQDHLL)-A-Js8x zTzL^nHV+YtRE1YF+J4gsNEkyNyH+yapO=EJBNR6cRj&iwspd8AI2SujjACW}nA6op5gX*lV1}q!;s`>>V9_oOxC{ zO1H#0XFQEiWt$8=iphmw$i{rMyd(oYAt?7SrSO2xcq&M}?Mj$`A-MRoV@gs~s(}Nl4 zbiP+!aAxJ#5vsKJ7&>;@ZP_dHPEMt-tR?_{?uc>&P#6K?+rDoq=7oJ@_{D80pt z=j=^lK+e1Nu=P)n*vTJI7G%cRq}AXOpZ z!T!#M9cS7m=or#$ln%>YFGhJNa01FdYa_Uzmo`dKwyib&w7x*3{ZEa^u~U~pSccC8 zn=jHTRE|f=IWUea;gNU{J+{B>(10hvPz%syJH(e0CZLWVG?VBtiPY22kK z3a?-cVaq(%5}-q|b%j{C(Jq>vFOJS5_G(mi6+>FK^Rq!CcX6ncc33NQT?_WF_eQm+jya2dcT?dj<#O*O}5 z!rVE0Z7g@bU~5~An^<@~m>Wp^4Hx)zRvM9hnC>QzWlt+Dh|ftzC9xQwW(Yl(er}-$ zR((W~3SBaJH)?ainZ4P1xA$D%NfR^Eky}&`xtMNE`CuiiuBs*THI30b%GB5)CIle% z`54UtK`Nf`8tJNd)JZc^k5cG0HvyH6EGnd(s{x4QLCiwp(G(JSzKX1(u>eEKUgE>1 z6OCjllh3NiSBZ>JC9n*nzkBx|GdkNq`L~r!0SQ9@uG58)yG$oJLL>gET1{;`WX;1&L?U2F19fSxGdRf;StyMEPz=v^6~4a|EA zX!Tj^mnd7r8VrRT8tE={x?H&tB`=Y}whP?V`yiTgo~!}H-I^(a|vimt9Q5tQTV^b>K7M&2yxD`A46wR-Ucsga`pN~U z1RN6>XriHu45N zYpx5uZ^SEsDhjg|BVKbmtXYzy31*B%ccxiO*FzXCRRge>yk%`%n%d|8*yCPGz(SatpJVS14a&sVAu|KCT zAgFEunVKb=tpMTIqYKbFWl?YeauuCb zp$4vuy=n#KowAi)A$oOK(krWB)wiW;R54J(;y2u$@Av_vA3NeqmwOu<`%n^QQTURz zVr3Sxt%Ps-R_1$5&us$_#sb#2j6?!(--JLEqdWY$37B9Xe0LFBkj6i>a9Cb&VFLT~ zFmZXN_~}6m7?#EJLEVXRfOd^B2E(&eK<0kZrf| zS+{mOHmN(J^3wX!u&8EXuU-ZIG$*>2%CAVbUPh)aT0C?sKf!}Fs06HGeEgo7>#$=W zma41VKISiE!`hPk_~mHL>?iFc9AvzCQP?GaElQmX=83lA1(%Q1z1NEDSpZy$V~~^U zZOD>ORP<(cau_SIzJN#`_@u<=AX8x+dQwr|d(%em84v=tun9apC|ooLT*3wtlq#$a47%^R`}ZLv&%B;53@KDJa*m@ zQYGTf8Sm@s})#}7vf;K$KosN7Hi8v7jN$e{0P%Oo(F2jmnSaYOe)BNH)ft}>)&?!!P_-hPvKMPMrG z{tKH0A&AN^dDCYV2d3Ek5F&tly$;Fy^PrK)t%$oe=+o9o80)4H<8_7=4nH+TU00m|KjA zdQ9JW%pTAym=NtT=AZ<`0)$-VN_t1K-HJV=Q&#F@?cCsf4W2~lpze`Nf@j5(d$!DRY6nU^y~>w?G_LfxP#;eoiK9gdXu}&~Iag`E&))jrqsiKrCXbeq zQS8LZ6-u&4uz!{?Uu%`<+DUGj7G8AH%&52xZB@?)=?5t;>z~P8(rSFo^h^d`YY;CX zIDx1oB&Bq@C^o9TO(vJ9mq(bcOVTdYI_I*`^oM*cIQyJNS{pqXp0yVwdN3{FhiH;| z9zQTyR&b-f`3hoMg>D{XtXsqsE4VU0-!ENOwofk6CNuaPD-jBZq08F1q{G2NxpjT z#h|UX|IFb}Vadv&8kU7_z03ojYJAb{@i8)|A*1u)(v*Nc9#~0y|ABy-!;QN zbWF)`&fA*p$j0GSEiW?jW-sG4)FJN}|wbcLRaKwep|qVkA%W_*QGL#*HimndGW6F9U5wpv5|l zj#y0Yy4t*jKlaK)S{v3P**-=K&6O>^ZOZf(Bbcj8jcnbK65kE$hl96=n=ThC|~p91v?uygu8>v?|+m zWEOhL1))|4;+IhA!x(~i@AZ_BICvK{k$O_`j-uvTj!TvGAbFfS** z-$-^lt3yj`>D9}aEwK+dO=}f-Q9fp+-5aqgSeZr;2V5JWU{6?9Ep_64pS&|E8=N(> z&v*-u2#=a`AEzTD1?UlpU9=iWS4Xf35L{X;(F{ptVj_6- zdsR?OldHwm_DktAR{Ei9s5-sTrZGEiU_@1b^&B3$*t!W9hx{&+{aLb!(aw zlS8Dqe2Y2@K}0~B^6%>Fa(HHep;gi%Rv!AKL}5)rCm*=;dZ+S@U!VNM@znhvTyjQ4 zH*zL&GZzOxt&K#=Bz7G4Vw4cW3cv7v{mkW8AEAdI%(&nw6uq6kl+Bj$q~4;qY>_a@ ztSg}8oe}C4jnCK8XH{NG?psW6ZVLHl8Q-23nX58?TW09qp7Tw1OKXs@gr2;d__iwX z@%-Gz41c;u?fcUR?3*MmJ*SsE4&_+pTBCwJbHBUv8#hp`hJTE4TVXzN;uv?i4kDTufQ#mAD?{2uXw6w3U+aLcnNWH1mMpi7(pY@kQzN~#^J z%oh)xu3!k4x{Y`Idl4QgKE3rK%)4dsWybu+XpId5STmNd3{?x4uq-41dmMj7;>y#K zeF8HVVg?)&T3U8GH-#DPg|#a|q8N$0pm4ZLtEO@W;ydcts94&f+Rg#teNm<`HTs7& zYm`1wq*_(PZqkbJ97X}1SvrEuW0j}rtsfOSpKz{ux!9BQT6DhBNJ>b?aJ81Gl(m5o zisjYYLZQx!; zwYn{KLtrCaRs{XUcSeHq+qVT1NtUw#UtO}N?aq3f1VQ2V%JLr;x5Fm7FR#heghXO_ zdssWSj|Ah)6)-nVFeeVbbQxx3y;XeXyIrkObFh7X>LrMBNAWV`j_A8s(as}QaxY)(b0s&Yt@E8KQD_Vci83BQzz9XY@Fp5w@?EMBqAJxhUwEG1GEaXz!*__0#&9 zqe9WXDy-b(u0W!q34q%}>v= z64{F??O9pd1euqM_HxM9GA1c?N6&4S*Y&ZiAGobD<3Pnc62kn#aT=S-+N0@(v@t=$ z>*0r}Fz#p9^E&tDkN7qzo%o@O!N%+?pzCNNd+O*CUZt7(-$zvi0c2{bcV+6)G$qq7 zjEoIxfa5phZXjQ+-WY*-Y5~{_-VARTuX9bTb(Lc0qa)8e4y2DYuO-=LVohv z_bP1(G90F|jA5E=BQz@=2im#LqVKMDR9F50prAjh&R-+(Kas?iX@M`CM4}cio3EhC z(^j^k1TB23@9REx zy-B-m%aWtPmo3vZ-}cc}qrWr34x5^V~QmT*}&4?>?ZuKTr`viAf~=`h+xtT@HJ96o z_YB)(s{Ba9g9txL54|zu8=4qA^W@|5F3Gh?$+KH;8dReq{EGTc$hi-gr)O5`NOg0% zN8zUir75Guzow>tDIMWb;|`?CS}WO3+N23Hy{m3nX>W!f!oSSrM7MFNQ}m81tufn9UFPj-Au>QM7=H%YQZItQRe|J za?>vqja`!(PPh6v6gL!Q#ZXp&`Q&O{VL*bp8imx-YEM3|PBvJ9G11G&TozgXC9bDM zkeT?Em{0hJWwE&u_g!|XV9y(mqZ^$G@57EH22$FZiLE?Hs_naoTTQFL7I0-+u}z;&V9N12y(ZW;AGM z1}3NXsn~g6)|e#H1U!qME_tZ8$D8zuuJWjRxZ3T@H8$N#>h2nb1}od&{AXL<3kNcGkz!XS62}hBj$@oWmKO0j~bk<E}ll{aEX(+K?1g z^@%IjDmPl^xCW!S3DC(EBEHEXifP-QlHN04m#>?)FE<50tNSHDGw^MS!O0?qUcWFq zfA0j1{0SaX7shUzm+l(`a+vdS(OM$TPu$HKuA6nxa;(GM@dbD#< zfy7kJmXu{zqmU-F0kT7FNm8=vPcNZm(&J>AS=^Xz-GaLKHDib8B*n@~_iL=f&h?Sl z5Ks)J$k~Yw``8m++d&V8&8Kb16xJsi-dsG(&LW!{zz%4JQ$M-Wz-a8l_UleC!Zp3i zzh2DOB>L>?|?g$PvL&ACiHDMXVvxgB$U$at$G> zHlJLht}c(I$(Me(ai%4FWXt0GS&RdeBo0+qQnLIg%8D_|E_-#wdNPTjXx0a4r9#uT z%7ykL)-YuqEG}uC+}Hs-ZvGZKc6sV^J9qkf8@0dfbFDi%k=M3~(l|VTVcwU5$rzIo zEGSU1RspVYExD627!jF|(`8iWK_}hV*~p(@s%n!#)>6#8x!$hO4`$3~<1Tm%k-m^m zYUofu7s0})T`zr3udjuAJ+%aQQC%R5o>~rOG<(h3@~e5Vl>y|fQ0N^I(!6{;-HP=V zBP7GMapvqppbwAx-1&JV$rg2ga!?s2_nuncjI^T`0fc{M6gTYy#ly#H>4Q7T@8SSS zo6(}M0g$~A2$SszXRgtN?MOUAr8rn6)m@dxCpVfQXlE3(pH_^8`dU2>0r;EO=#=h| zEa_+7c?O($Ppw8(Gog-v=0O;%9CVL({$zTPUrp?PWr#X>PQL`&OWGv9ms>hzz@fp7 zIBdHlDMjXPJ-)M7_U0&`fBFzLACdtcd~f!ri#H8WnY%`cX_xajM_j%FRPo|o_JguC zfg7WZg(+VF0S`X?CP|q^>n8Q znyA{DFQb*8z1vA2ulHPr3ERh0mv(f5DbT1R7sf)VSgX~X~@z!vjydij7wJS{8 zzkSF~lbFGUK7=;{r4MMj&Z0ejKa)mQJ{SO0A`^t}tZa?Ra7!fz(-^y4YJSu@&HEPM zLnfHV9Lr)z0rkZ5{!~9_^dddBpDghw{duLryf9Dww=Wf`m3C2v82LD@WE`{`D@^s! zYcy*HgwR>|qhwTTaj*j(iEZ=CZ`p3dJq{N=Dk@mLMNJ{7In)A!=RgU~@KD8!>(c%? z(%b0+1gN_X)_ijrdC9qqbo%D6pYzxbRqx1apfr7t;8*!g4_&oZ@LW>5xZVL0KvoFH>(fH+LFkdp;UEs*zE*2_^p82aHjLawUaUlB z2fv{;@GNyI*V)*W8C_g=l^N>U8GL%kx)K{jI9T!g*N_xdd(ms#+afutDZy>kKX!Fq z@U(pR`fg>)*nUc=;Z5TF)e?fs-zr@yH=JWv4L*Vm-PO|-k>Mt}6dqiXT9~L<7q-E>+r_J!o7_;Ohg{BkI>!qy3MntU){+5jG`*ft4B;jh# zr&wRi6cJyYY?zHtR+PUW)Zwn)U>L!yZlAk);Rvv~+DG0l@}lte11a%W2nHvEEFyv= zY>3|9j*7s`I(S3yY*Jo+S;4?jDDwJagK%>V7UvzpGN7ku7qOP>^l_{=UdyzU6s9=& z(6setg6Je(+Y-&?Vo7;iln3{6D4~iV>bcQbUFW2=bq!l{w2U=$;6~~M`ZRG+?8N0Djx#0TV z$%Z&E^=Kx%U74TTAT)I zyfm9nhP}1r}9w=@*Q(S7g1^%85 z_Ih<4q+QZd)afxs4ee{oSFHB-Q-%e1u1z$RcT2~<{NA83ks?&hJx!t@@m8ckP%pkw zqzs*vRb{8{z9ZkAaddw(1WSSk<8={@_QSOJ8OILo}h`it8?d^{Xp^wPO(10u3qlp&ddElF;3a^6uWXR zxm;amRoPDPqW%209R};G__(>q+Y^>KzKuLC8RQ~EXeCa>Ms>3=AHMlyzviY`ju+WZ z60?o_v*&6?A9dY-njcZq4cs|+?pGcBH1k}mZ<(LjDYY$J-(zh~`Qnlc9gmE+=&2u7 z5}O`zs3PLEA70Rks3B1iPnCFxwr9j-8K3gq1UJK|#jRpih79!&RHT)~>0<&yd9G^Q zudj11u6u-?%JvE|EN9QNsMCJRgVuLdv9w3?P8qaHc;m$A(6=8Ut&0*iI?RIgK?vBD zlWK&_W+8>EV~guwxX!{9_DZ`B-_*Dw0ccY6C*5euFBKn-=ilPf+oT%j)Pe3{!dQls z`xFZW^54i{gshw=HfyDoH^&t!~7uHS>YhX+JmyjI$Er^DB! zF?{|3!f8?O0vxmuE3Ih?EAhk;Y*M{DOIvK3Iu(M~y$>7lV3lJ#4>ahxYt#>Mbg{%) z7}#bNXJ6C!MJZ7W{*18VIBMse5%~S8=Ny_zMD(K^FMR*YiBA(DGTPCg z1E~NFQe3VO?qQRLtovb@*h7ehqW859zk*+jM00j87>~sI%$&Y@vj>RMQMsEeI>kMR z?5iFj(l-mOHHJ;{IeN5FdFC!nY zK`dZAT5reqKmUT0`1D8L3MKfRIBx*lC|S)lczHtx2(FZ(qd85qkh03*OhmH{c8!%ekomGl?c+@hm(#_LztF!kT4+s>aPWXsRtr- z)Ll{jt-Lzip)B|%z4B_!E0>h>m3&QI)THbJIhb{k7b0vt|~yG z`ZLh%=s@J#qb;wZX1&$$b#MXRP5ZiZ|l2o82Tb|UlsUh104kYqo zkUVv6n8*6b#R+tJ9Q-hGl6Ai<a37NRdgqWE@aLltK#^Sh zzQpX;;Xw9?>V;#7EC;k%&1H~-^LI-sa4z;hOkYKP{Q+6lo}vY&wQT;4Hm<-fTnJN< z_g|7PDh21<9^fuUE}s+ppSDhT0J5)50EQ_9d7{9$hxLbEWBKJwFr)f172ybPz}T0I z?}x5QuQGY{4dQ|_z>aooaP50Gi%JHEZnC&SP+n+)R^mS%>^~_Fzn&La%pq#mofAUn z(vRqifYF(Qs4Ri>v*`3`5;!qa5d=X>dB$?E;od=#dn*yGZHXwAfe2u%q2mx<02YLq zjDW-oXn6h$ftym19nz;pV7Hg2#^j-xWqd z$DkTdqr4=VwRk!?Kg%6_$sL>dr=n1o;~!Syo5fwV5zg?0(Klwh`+xCqX_n#DN?Lv= z$&*C}fSczCJPnEd(Rz@HS_9qrNq;90)&)V)T~%d~+2D#0IX6MbAn}#jP2m+^TRw9W z4!nKo=iZd)0-{;AzpnxQF&qJsgYa6dPeA37v3N56D+vAGv;RTs2SXd_d-FXx7}03d zaS;%;NqutpO^Y8`fx({^psgVhahxVEh(LsZU*D~5_k3fztqM`M7Of(j-sU(#I$;f5 zC^pCip(dXXkzvUJ_>teJclq8qy<%WPb-{>anQiW0Z-gI$BFog-N8kT!cri)JQvpo~ zX>?<8P*A^+n$a)5gJ4Su6sJB$1uF5)2#u;T_XCZxC`>1{3cy3E52o|8U7`Dkw#TaC z@$u%nE}(E!P|v77aCS38TQD(P{gn;=y0+>ifXd0H3KHr5`i@wlHr^g^bsRq*#g(vX zuyX;f+lvoX;qbn#J_rztjts_Yf#*3hfbgpSGHecE!Xea0rSml0mSD}4Po7l*L4x+> zUL_%GK4&xERiQ9jVG2DLppRM9)XQrg{kLRLf+Pb$gA0F0F|t_XkRgHtB|0d`jbSir z1HTqz^(`2Mghj^!Fint-I2XZSwV&I-k_Y|)y=46m0}zi$S?79Cx|(K}?WCamEAAfR1#tY&p+nAoEkE4LtE(yEe{uw9 zhHpQNSY~#G_fKU4pg_YSJ}OddKVv|UO@(mf>+Tn4(B`0lJ-fILa)IcQ*Ed4%WMT&r z3oSpgf`B-hq})A8v|t4$5nW)>P&jkL`)wI)tuG)poqU$#gCw%Q!?-Mj@z0;lPX4(m zRf%H=t#S~KWR?ZwfdUwe-WpWpsPMwVjWOVE0Lt7QM75PXZls9@zVt%zT-GyrHIxL+ zjWCA%r#`m6ebYd1RHYpxqcKqpxfvZ4SqfJBh&L3x@JWLQ01t%uTimJi_cad}0t*&G zNGwJA?}g~agS}q4Fjn(Sr<>-)66^p>@P$>D14y+42ZSs|pTirdNA)?*NV^o-&nP?H z(HGp=T$t;EeX1L($YMPMQa6s?8L6$HbL>|Fn670n?rhBU1K(Z;E$&QR^X1PXAnQRI z25I@aP5a-0>unJ>LIDqbD`@uZO@Tl!ICcnvv4vb6ww)0w5j4>YX+YTeKsbn`fH@dE z%6y?eUBbKxWVSwVkTS6Q-smr{A#3UX4Se>4Hgf<-`xETJ@8F-*q{9c2D2`H`K8cpj z238*RIbQIf05G_!WPJl1CAskHa>1*rwZ@$SEIigChJaq5XRe|FMF} za-@&WYWb}ZR7*Q(*Zk*th*8=>c#7s6Kk@f>y)L1Ee@`s?*dFSTxWaq`t^0p|>0#Z} ziInICdU{Zd|Mde^f@8ui>ufZFB~bD*NqWvu|8u)j29v|>&2QWA{L6R$TC-nA!|*ng zRX6UD{?kL^Uk(k>RpycQ_iIqzpXK?te*jBPc>_Ms`D3s7{@bN)!KDN}Uj0K<{;&4} zJLWtT_syry)%>?h3Bsj%SH>;>Ub{cf{IA1a8w?x#$!GeL|M8Q*!*MSVm78B&Hu+0f z_8<2GZP63h8JyTRZT{P(UcjXs_xS!rhWpn8`h5mCsDU6&#TM}2F69W9${YXsTZj4o zz3*Tuc%CP`lrH_*0RK2+zyF$h6)r_C+Wfb3$-mtTJkJx*?U>*Nj{V0^{=Vw}ZJqzy nI)Aruf415GZtHmc#45fdEbA?Pw;#-bjz~$$OJs@Pd;I?ZbRd4% literal 0 HcmV?d00001