From 4660e02ead026cc713aed775d7ec2cfb0a53a61a Mon Sep 17 00:00:00 2001 From: Kay Date: Tue, 16 Jan 2024 19:33:07 +0800 Subject: [PATCH] Changed: Example for sphinx examples for merging trees and weighted trees --- assets/sphinx/weighted_tree.png | Bin 11482 -> 11488 bytes docs/source/others/merging_trees.md | 52 ++++++++++++++------------- docs/source/others/weighted_trees.md | 5 ++- 3 files changed, 31 insertions(+), 26 deletions(-) diff --git a/assets/sphinx/weighted_tree.png b/assets/sphinx/weighted_tree.png index e828f17337bf8521dde520f8d5a3c20d7a0d047a..523e43c32a5141c191c340eb75ed46ac212ed73c 100644 GIT binary patch literal 11488 zcmch7bySpZyDk_YAxM{iNU1bK=Z|hsS~`ag0TB=wk#3M2hLA?Oa{xg?+5wT0Zlt?8 z58vMV`_6Cgea=~Dt+USJj~U>8-{*Os_m1nj?mP6Qs@y|tN^CSVw1*1v((2%|3JndN z`2hy_wh-?^2tF{(l;ot*Zf<`*H|NKpp*=xUke1N&NZm^FG>Bh5znO)6D__2owH&tc z3A>abm-#-wK`+~hh-FIdr}X{teY=XCFN?3#&TBT4o9cs7a`KoQi9=XSt;1>`Je9md zR~hmI(%-)mEx4~WkpRD#pZ9GwY8j_lz3yM`MqD)P{Apm1>@=%*5~~T5tj;2lXV41d zsgmZEhbU?K`&*;iwp(z=CML@2=~2FZ{W@8h$#Dj$U}{QNT3RX~C^)~c@DYKailpSt zGHUk9Vl2Y8S;2fFE}pTrW<8iDEN5@eN@g}hNK4zDu?|mGUcqjSs;Z(_L5Rps)y}xB zjZ-)|IeB|~@9ytQW~0V;sSAiAe-AvPt(s8Q)FjT#%#;qGWjc4my?=yvm?Oe4b|wwcHDbD#Z@Q!hL{ zR1mriX3tm6VYwQ@qS<#ML}qD)#7vFZFz7FxvE2i0#wk|*(vE^>N@dVQ7b^!HS8%>94!jnXW~nmcY~S87eH)U#qei(t-WD!M>(jr6 z%3eO74CASqu!oKoYI*al`a}fjBlpzlV6chC6|EOsWb<*BLdQXf-K}2<97!eZV`Dni ztf-%xL|>DW$s5I|Bl%}jdzJ_$7y?MRPaaxQQGD&jap!>Sjo>+trsuyu$;ZM?Rn^u` zw6>A_5(}->Wo0#}kJ+BiXqRzKhX@a_ddZzJwPciT%?BR^+8db6Pf`C_8=gQAF{_3o zGDc8Zt@QURV?5j(N)_CJ?5GeCP~q%3vgwWbXQRG`f1A5>q^H))o8OrYmkB2gO=Jw9 ztbwX3Dw^$nzFx9mDqqB*Z=sf9Db!;nJ@uwXUbIr?sit)e=Ne~?tV{P*lF{+5+~Z_t zj}mKszhLwSgSn2u7dV(v+2P>2B@V-gRFOBD)wqbyjZzmK9n!3%I1aRA zCHL4FCD#bPH)5&14QTVtB55OHV|_eJ#i19Z@^ZN!caHAVelF6Jb6LvHYsI*+-F0Ms zq{fWbkC&Z-0-j|#es2^mC@xNmMrKtZ#J3gXCt9+Cb&6B%gf$x!I(qMAABp4gG%4FR zrUFO!{I;XY*YEv7a-tpU<8_3Sb(Ox?i-P57XZIHlf78+9Y&47!{KFD@yjw0LV7Tiv zY~?*C&x1U?nLALYD+qHN-`Ki2WAT!1v-Th7% z5LPc_0~}sCd6s_vE`ND-C0I|2AwsVg>A?j1O!qX8tM!^RIxbG*43>GGIm4`Sd3i}L zwDcMZD_pI;bNo)mWy5M5iMcXhT%b*V_k|JkL(Q7fs_G0)sOiede$n4(Xoc%{z-$9RXVr0Y6)V0Zt$kmJgj>0+JnquSD*wvs2i(O5&DM=ZYN@@&x zbfLO$GK!^o~@vqr>tJUmx+nQNjS z+?=Y*z#?J-);hKk@HQbS4x>v7yD^NtWo@fVqhTVLR&`~D|V+m=>SQWIi8^Z^8K8C=}}WX(8EgzojW3LeTe8K=|FZ#n@n(0y0H%dJ^x@ zdstG9mPpL#M`mQr*~Pb))*qF0o*aMTeZFQLL2t!Q$%V+2duJ>gMcMs5mfi-HC8LF8 zs{v)5!pz)U&}HdCY%IZJVam1|V!OyFFGsI*>kE6EgIo&#&q0)48~$0cfM0)l#0 zlag^q=BlM{w-AY$i?(5RTbaqZ$Oo)z^pMSybF;!|;^N}K|7|t=C=&%`0hR+=ziU&XICCu_p{k~nl;3mf~l zeaO#ewz0AKS!SG(lf#gjcAu=j$mlz~p>kCWA|Mb#WN+1d0OdCKU;3CdEE zl7*W!cG$!H2@C*3A(0|Rp34a@U|TjLc_deuuUou56Ixp)W1*!CEIOqYo8uKC=W9~w z@$t7SNd@7e&;9(Oad|kRrX?1X0<7*atEN6-V#-r=y4+sf9y6*i3moWrMZb?xPKZ2R z2sfyA_Jddrj@#pgcS<(7Z=GJ9%!0G06BLAd9sPX$u{JE0{{so5sAw9susf&giZUW9 z8)cm=<|AaXb*KEzqAVgRpD72<@;!yu&e`1^dU?9XM{Bpg)FZP0o&G~jcHso8K9kNp zn-y#mZn$n0^dX2<#n>MEPy|9B1xq+9bW zlmNvxPDkSYf=a!M8rZRasHiBH(t!KX-@j*Iphkg4R;EEXQ(@*oVkD0%MX^D{Coc1@ z2R?X1BO`HE89t<^t&467J@SyG_MSNAv-SLpfZwOnL(`Pnr3TMmhE{?T%-tPU;&^j? z={cBAGERNa`a7*`eq%#XUHw!4*t00`0HJ@z$_@tjXU9eGv$L#uQnK8w-qGO25QA;p z+g>t7?zZD(3}!w ztj`Ix4p?6CnnskdPpilao`jwY9CtpceBU=QjC@hGTMex)^=GpeYG>x~`j0+Wqpw z&55cGJ9dM56VIhsIaU<}U(MQ)7mmr^-d@FTr02+>?N*n&Amk>AghiXv>u`+ZTS{!NEZuo8gYZ!rm3fk`pq${@&g!tD$ta9Y+V^nH&Wov8zK39?FNWUTtjE zu?|EWNtd{;4vHM~LvoGipJp_$V&Ky#gS><`j`W1U;cyvoS6A0X;DoKK=U_jJTU&;Q z?|#Zh@*ku<4P18Uw&6*6FBT@7joO{GD?|U~9XWvDPx5S@uxFy9^YgolIVqL?$QB9r z|M=0_#bu!kc2#8kJYi*2$C#~m>~z16qawbduhD9VM#ydLrG1w+5$|L_v&;2G>%F_UxaeP2#$jTp$iU1zdvL(fa(c(u zcs5I}?5A=hudBDW2qr#Fu`^9q+L86^KkBc3d*TNM2A?4rRXCL`kuDk5~;Gn*dQQsJJv_?Ln9+e*m8Th5CheY(v)EErRu;n;c6B6*`OsFfXq1#1ZFyxS5mA=OXB&U(3P1iF zDJOGE0Fv{M3{hEkTYr{X>Prf^Zn_v|dUAa-}Qb zp3{{q$iov4c+f-*N9eQd7J_1hBVOD7hjXq&qTO3lb#}^(PmGO?!SO`;``^XF!s2n5 z)U0OE*MK;p5fKrwBm`$-fI^0D*U|;v$o--UeBSncfOi%vx@pYE%S{3Oi6k@fK*z_& z|9T!VH*JYAm@4?quB^H1>|j-Ha1P_{Ls zUl%qu^jO!eR|nIw7_}KUz98Q0Eyw_9APqKmwple4mac8o;w?xo7p191BkQTlN(vBv z$COj6;bAipi8LFtw6dDgNE~<-39qWE0=G11a0z@j>ysoKNy%l_@nCetG+r7CWy*kE z3xeRV1iRUsX>RJzS{m-hW)v1~DyR+YvB>)T`EvpLZz?Bb+s0^-Qfk`I4y5Nnvgmuh zBzD8XA4j*g%*>c2$1`;ry1Ea(f zTU$4Urm0@U_Lc=@N-5T>pZ6~U%@WsT$K59LWRuel5c&?F0?Bh_OtH~=| z)ZX9F(2zU;1&JHffy13y<7x((ER?lwgUhn$(b3OpN9~_%Ej<=b+1Mhht9dFbD>>oH zpuohnw@Vrr8oqIHY47a3&(F_K3EoNdmYbFP>uPHPpwYe!d?3*9m6-rk!_czS4$=K1rPD*<8Q;p!f9P;62! zr!b&{siDB%jf{+VZPfr=TwOf?(ClENsB9mAJ6C%8t;~hl+7fo$Mt3ak~wTlJ|iX`Ha9g~`M; zFFCsG>K}24T-Wj*>@9X<;o(6~>SmqU7}K=VqYjUG=Wd8kFFsmj7gCq~xMv0P`#$2# zpw}I1{ZO!hDgAK0qX4xC7kFb9sW@C_x>x1}SzTGF1jtysRJZqR+<5(`>QDh1{m@Bp zl$z$U{IWS`JAS^2PI6G1DW1i0GKJ8g;GMfxgpVGX7<0L2VRW}{^r!y!+F#+qC@qaY zfjbPpNb1lVHZ0$bXVibTW-c2|QxbMm69FShK2yD@h+aWPqnyL}jb1G6aOjU2C^D`* z^{!Ozo^d8>nQq))uGErIaV(_bzLpU&AV~gi)jv$a|3>{YVr`XL|9(2#cNackR#EOe zFWLAGhD|o$Ik?GFwMM;+x#!zh8%+C)tn!UtpwqkJY$YovKtkyBv>U#kCMo9*q{87n zpZ%`jkX4_RW}ByG=5#Y9v>x8`);zlloC2*=^1+EVrxzz?fU#v+CWJ-6D9W_pysql% zg#MUE%*+r!YGd-ft<%5EUyz317n^;sb6pk$s%M4UdQzB|(aWw@Wyu%bsnld-av3wC zZ_3{K$LUA%yfTI6{#O;SG^E3q;%5KL4{mx!#z4Qj=fmTR7_o>^itkMnD15w9UV=s^ z{E@t7CgeFX0@k@ub^(B#IQyTEpdOzeuip>U!P2)XcIT(SS3KzYQPUiVf9-<@oOfr& zCtxjRugv+9BT*RAdi2Y_l<9iVZ&Y@pNhk8hMthZS`Jog9;46|}suEqT3ws;~7|wt( z;?jym#4vK&{-xDhY!m^{UDmX}JJ@|4hCm>uyAt;5)Z0#zeE%j6`rZ4NI5_KQ-g|mO zOA-nD0=+EtO~pr z#g8h^9N^Jr$&2)t`}0~~ah#IkWLL+LFqFp7zO+R7a6v6b>EE@*pU|?h_*0gI$_3;8{?O1+Q28ds99<19vrxJ>AKv!t zU0ap=wCbv$sa2OdFDoJkjEtY}VgC76ggE*7KDT{vnG(1 zow2+t`ze3EshZEdVb+cdrn0aYcjN-=FdO-!YZR+l3|+FYUSSL2R#6%-Sa!B1!$Cqs zcYae_QVTR}6AkUlaCieC9Rk9C1YJ=pjW1NDCx02YI`le@nrfJ_Z>){4Dhp|0ft)a8d%$D=Od|JY_)YUC;QFo*+G46Xz^QB3F6od#TiK)dGMk0NqS(2{Os2 zL{@VpYIG1xCR{%jm~K`6^-*5E@KxxJ&FN9};3c_FSKcDnkzfPoy3aTX^r}&Y2xzv` zLLsQT%U!L9VY1Cv?-wkh7Un1`9PX%>Nx2lhMXV8!y%GAPF(29{l;~ZN3ewA@w@7Zs z&1A-}x0O0}75SAUA+U95R76C_>}-a=T}jge-n1TC>yQwe{<7B2#ib>SgFTDOo!mQn z99IfNKq3ml^Guw`*a*xx4_Wy+^o!`b=K}q zVppU0t8DhWtCTFaM`5BvCVs9KiacU>p-C?hL%7^#1S%UrPN(-N0(Sp-orn%9P>33! z(x)uK!SAj;!!D;l5nahs_d2SYPFy_P13wL-U=1-NmRRT_z)<;?na)sS|s{F zO||gZI)Cv{ttbBI8^Ibz(D5kNtHB^6^Rrq>_^Yc`Kx&*3hp&0amw5Jv7$gw#~TZzQ~X>&{)K zI10JuyMu#K^$nw$s%euvHVX>hWL0b?tDgh#{cUQBii3lrDc8EtZ-2q~rOBN3j00|v zq^;<}N29WA_bole$W~oQQa30#fDb-D_X3U)K|%iqsi?R#?`5ULpeUL0I*T#~&R8h% z|MQDU#(A&C%a>nk9i~E}qVn|X96{e>X4_DMu{T!_?lT!9gNBA1dOHhnHvMik7tqPu zcRM6@5fR6%wx4lxDOb%JDp{c27XiDum<4@_Xwc^rdb=SFn#qEKf?1Xd#F91K2WhI( z?Ck8ysR9I%ve_H%c%OP-mGpb_udlE7r|{xfSy`df8L%_;O5i)r=Z7}FH&^f6H^=Gp z!oa#k@U!EsDdhF}pVPCm3cE3O=umoO+e;PwIK{$LTT3Xo7<39`Ei4#By$(%!J~7(Q zwiy1~rl1%73dR9x^)t%)wuJ<`_DR7^pPmAH z@taFmkdGvQyeO>{`z*$`rr&zJJd>v~M-%*)@l$0CG_e4~1{!Mn&o4g!gb24LsB@al zbDC}GjLHMOR%Iv@iW+0nukDzgzDl<{Ki=vCGij4b-b!;pY545PYk)p-IQzx0sWy^W zp^z$!>%hOi5-_d0*nhJL>Sg2oJv~jqV;%EwR2~>`AACT+TVUMk8(2!sYfG%Es>-L$ z@J01mZ@*V_Ix1UEXKfO*!8E>rN(N5x0y+%HeGjuTL+8s>`1|9{*N!Qx^=}q`th>3Z zGkjrxHrTIMk_fnYg6BX07SU#ota=(S%-qbCEz&Mo`&ELV25aJgS%QCKZ;aQQw<29} z59@ORnG^~WAV)L$wjvora#pfH09CVZ59caCcnsHr34;)sCzg0?xT;1xa4B$)Lor6nGCe&+qZ znljnRx=ZF+uD zktb!8^dAAj5<2FwjySP2a$YYHK+bO^6)oWc>F1iwaG=6YRND}-=&&w>2?96Ud@Icl zv8xwS-OPn9Is07X^T8VBEXv;oIWa3;`f;hxAN%=1upT@pFCz~v`66^nQVEHPJ6g&5 zfvypk>BFi_ZI=m)F7!AG?luXSp8dA*NOU%XXSl+j%vJ0>88}(rQH_v?$L)Xt5I#EP zTxYti>pQ79NcK;XO6-hs30(=qUgw!R)nm;%8lJgKyzut%k?H#+@|X_4X6P{yk<>|k z)7}aK0vCCT2q>3aY00#wzkBM@wr$DeJBeO8dEmBl&Ew}c($m{Z$fmOYNF)Z%Mv8+& z#-0O)Pn=PytNp5w@R?UFp*#6@?@vvA=%~naPu;tP8r_apfG!FW8%>NNLJ$Iplel{U zIzkuy??&D#9lzyF>YRa_QNh*x2zI^>tI>MZ z1sX7g=bF~=*iWC@zoPrtY`*dTKCr>FKOM1#i8+??V7e~YX2eJeow1maJ{tC(`t(_OOs-N=Omgxwy{H^w z#oJ+{m4hKtLV+3Ss-WY<9OZv-$TpxIgPa>L84AV2!CACb$1aPks7oDIKw{9c`;lIC zMC=p<_Y6@@RC7JZMm>`a$Wd10IjD8eUq@-FH6GS0&0f{pSG6g0#G1 z?tjq6-V~p6k%vR4A)`N#T-A=--z&_!JFsKp<+&grN2ZVVze3rz03Pc55v1wqL`_?i;Jo?1J^!EduPO2U>71(_+z-}Y&UB^r z81HU6K@ryHTlUw)_K$_(6VuZvA7bGS@7QE6;pldfVTd{neJ-zUrhgwrky5|Y*}pkI zkN#KV*V!EL8>k@%zrFL$Ny6@(`}=>=2o!PB`e-#+;D#S%u{ z^JTZggj%UZcMvpyw>bV%r^!uP4f_wGl~B>jlJYmA#Q?leAXnUGVRg0p2i*|&g@$My z&gK^d&(w1Yz8yb6vlQuBlDRX`l@%4UT$!DW9)IeCi50`6r&d?|hMtMCW$c>Y_fdHiJ}K`1m2hC}xlEFk zZT_9VE_2bD+EqvQ{h^i|;V09zKSEvoAGsEp2z<`1kj>4vIUNoE_ejqF^$^Pb2Tg@P z)qo+d^q+m0n`5iq|G76)gwZ9AGl(t1s-zg0Yupy*AY@?pXZITO=34{>1jzAOxe7E< zg%1A<4#nIhDd2&t9lZ8H)GSZp$_sflcySK{1GG(EXs6~Bma8<)1NHk?iGFv=XrDs; zC*>yXs0eIM&a8}@Z*iiN0l$&==UUD*wzFz36%{;ZtDP zMEZ8)XPyF)8YQ2t;z*u~%~&Zl7&P+m^z0!XND0@4C^2Y#|8_K(C?6m2&k5kWkDlrU fNUPsZJ-^{aL+_N#=|+K(Wi$mDRq0YmlaK!cyz z=6zVudP_+14D2T$=78T`)`iTMfm zg{&_lDFz4o`!Ay8{!Gf#S{;^78fd^~;Bc@-1!`$H&LdNuWiBiIyLAbV%R7 ze}8{E!1SxP*IwX}KAw^C*u;$r+5hLSqqY704_(NPremGK)0T59Yis`HnOe|-H(qvx+WfF!Yp%#sgZ5)$@&q$+u zH889`wF@IQIFq-*9d33FY1%v}e2@yx!Kt^A>b{ZD@RA!<&R|t4&f{G`bQ`TQVM0cK zC6p}@A%^A4z5l}qZ+rHqK|pZu+0aZ=eOk;gb_DUxiki@J?DK7uh}}eIcQ?e82i(Y% zpsx3Xn7sw{sRkL@)|x?>XvXK;W0U2&OU*mPpw?3e2wixAX}G{K-UhP|2#|eCL(|u&_geu1)v&X(``qTmPd1V+ zs;Wx$;7%Lvu9NAEKh`gc>To>NMsAT0@lGEd%d6pJHSz4L(Cec8{a8a^l}ivIF^?dl2o4dEj0sF$ zHi<1d9%W%wIv|bP8tN1c@6oc7jEn5`h^jSZ>u|WQ@S$(d(8wqxQk7oa80{lYU?3X) zc*9w2eZeYM)qG!8VXf|J+ukUu*Ia?gghya`+nmsylK`=xmzG1xn|_vLbz@_yk@KCQ z!NiF~-v0JXIX91_Q29?zw7B7faJEa^rU!8nU%oiwF=)KyQO#Tzs3M@Gq#V0ST>LZK z+^Lqnd;FDxC))KLD*gPEBL>y?R)1VXMB}r^OvQQ|P4b%&OsSqddv?A*7P0%u+D<RVVrOr^b0=#}JXPq?rV-qfye&38)jk9s&Sib`oaP(pw-%NIE9;-$Kitmu`AqXQunJvqvdw^ z{re|D0t`G6TwT<~+yuH|_18-_&d&I_qB?Bviv9c$@?_Kc`n-0fwGDkLpc1ENED4;} zX`{rIgGSYM8`5REF#j9tcn`0iEk!yQ#(~?D=aSs$pPqoYM?nFh3w6(zmi6oe%xq_^EFyzyux5YT|Xi~1&y7_lch z(Gy9`@21jsX_P3l(-T3Y)tDj{f2nWZ%#N?)y2SRZ;46yDq2uQYc?&9^vIEByE>cRv z`O3lE9|;NHvS_MZv@9ZrmW0x+K6a7#HHy$NUGs>5k(+WjWjZZy4d-j$i{>CS*sdXe zp^g5qR34--dLu#spJ&_O*N0PSdDE{Y?ds|ZSI-qTbb_VJMU2SwC|K`; zo5aQ}H-=MMME9q^h0bvPG`8VKks7C5dtWnB&DU=OCyV;m7caqyq@*qvBd%87f0Dp+ zQ7NbTXQcTgGdq{|pn?*dmjG7SbXP!h-kT)@wDiH9#E;oQ2}T`;i86)iRmNPrU%Bmt zwUB3EhpQeB))SqKFQ}LQ9DR44cW6A6uB^BCiO*JTHm}%M3%01gzdr=?VBYq=q#nIA z%?BT)eJ*vB`8lJuzgkcdWF2)LK8h13Rz`7oots^|(E+#8lN+fT-FPUedutERhFv7M zPjh+P+RvSR^zo{X`mEM$Jc=gRAfwmxTUc1O_v8xnl9Q4h%lrf+;}9h z*Eib@lNdYo7sueOtavJqBLS;%c*S2!!Fm2%2wDL|R%}i570p zsZAi$RhYbirvycKVjekfIbkwKFq-bIDrv_LWg8o25cVo zOLCw_sqtEm9N&!fQ_tQ)Xsd$5n*k7w3$7*uf_N)j&+w2j2;cIIdsYq_XHA(u!&>SI z2#I}l!zinXz|*p=vKi+>;?}y}?i`$Y^LY0VPRy<3kb?r|jRy1f$K;l1)}?LCr#y2} z9LW8erJUGXMwZ$29K~wEGi8lheyqvadMujs&42~GL2o1_6%~ZffOQUilG!9~hrkne zEY5Hn78JA+t9Sh^{u{R^CK(yo*iTf-0Sod{jhZ)`=jsAU{ON&v+NS(M1NcjR9j|%R z`*W7q4rp)AXKc8q!ut9?fao6vezr};WANolUUPGU+-~xmv^9>J&@AE79KK^jfa~X? z>f2nAZTt%JCSd#Xi^o!jtkIwX*^2yF=_?rYB7Dole9_x40UM8W(8j`x&&PzIv@HhZk^ zr$O&*i#w;gleg4r4GyWjeTJrFpj9ifM@yz7>qOVmfT*<(Oe^pjmOzCh-pymT>4%y9 zqS4{fpl|dAIsr=nm0VK7+Wbp#2vl`{t|n}G`O9D52}C;~j^O!qfipo!LVBo?#HpxQ zmq$9%C}Hm2ZeX>%ZrVsT+CO$KRm_?2=*rt$eUuEzT+s+c#4q2b86~i_867P$Qburp z@&cH?kdTj@RuBiay0NCs-ZX=UhsX9rKGxn$c^k}4LIT;=);2}ZJ1rpKiITGN4aE(r znOWhV)>Jt!FL-CWBc+cS`R2Iz)j*|KeX@0O>gnhpXrq2Go2?*c(5waO2*ujkI#ZdA zK^6kV3nvpyTWE4V+beHVsxlt3YfIlb!9kQ#P-tso6QO*a?-PoLi`zX{^Ys}92D?l& z{Qbj&B2Hks_al`4NKLVi1?@+A`Uv>)FzX1PsEthpbg|CqV2;gfJU}^LKJkE`4uLye zJ;U{E)AnNbQ|sL!Z&lk>tb&00&To3bM5LRCt0nb{FYxwT!y6~PLu~?O>FH!+V{u>X zE_C}4h2ViE^Y!&z-`cWY{q-!2PxhfNn&JsEvK^R}$$FOW-n|=4c<=AL=o*Yk!t>dJx2&w}`ubX>=)qXs zm@b)F58?3ea4?B|V0FI80>!s-Q1yJldFiLg2x(_$XMs{~Xm{P#)>iM%ME=;`!Tw|E zn?4rJ{)72CAPDrp#7~fr)QyrKA0O8@H|-o!WBi-#daG!f7HrwW|#*(Qblt1!G~8 zkTBeHJp8U)0;j|9nw>q)Y$ETy(Qh0cC!90c=C;$bvsfd@@6933r5x}!9>*OhS=n%T z3Y*1h0ulNJ;O!?+hMOkZbdHzCi(&DnR;oCHLAlOJiq0r{X z+r4l?_E4{f+mJ~6^rj}>p(OUIJ8cYgW7eei2FMK!4fN`jVh%roRf7D5z=zz9yEw(F zrTRPLxszqu!<66X+rcg*B)r3QQi|AS!r!tMV49tfQ+u&*y4Cv!W+Bqb*r>`fST znm+*B7VG`_1dQXR|6Jj-ye}e0tnNjN>9>)7oIq1~qxoP+D(Y?PB zc!z8v%f{p0LZhPr*ad`G+_DP)_KUq4>=!SDm6Tqpm1*hy`u5^iPY;Xpp_cHw0eMIR zF^9#hkfGsQu=8Hay_Ho}tQdrB&l5^)yu7?pxb1`PJtn$Zt12tEr%Q=ad6UzAK{JFA z!Ge9HbBn%z1(jC3qJ{<`a22ER94UvL@r}%KP4j2Ir^i=U)PjQP_4Qos4v((K%Nl+&0yI<~$w0Ru~jY5Vks!hiboSm=qM>vThB!HEQqzibK zBn-CuQ4hhn(d)ElESkoUB%VxCCJL_Bi6? z)YQSiI(&gUja3@SbePEquV3_ruAXiTNXOBB`ThrmHOSN z;`tNmTt@w#_b0v5px*rvLBvTbl-Wk=eQ(=s$`%@_LCCva((v*rD(V{sh6oUr8}#Md zZ<0ZpPIKFR7ZVd>I$M#s&9(W)WQhOwR=W2vFjO%Wl^@zT1hQz+U)c!dQ+bROj36jJ z-G2q}QOgx6Hnn`t*O{`cwSt!WNK$j4-m5l)~c=|5dg^pjJ*STkZ` zVmfS(3PYeeI~Q&}kt8xRW!kPAacaP+x!if5{xEtBGa7){KHj^kmg{Jf=L{A73J~+E1On4o>?|z3tlLR}kDlK{H9UrH`MlbYv_h zA#vJ`uUp}MW%XxaLA>|H>Y@QH@KqrvCk{nL#rwy*qgN3UpkjZLPnRnFKK-T(OYn&- zXEqNH55o8Oc*$fAOVg!R{wAk`mkGm-F|n~Bk&#q9JW1dvkIzN~W8>q4C9;J}RkJ5{ z-~cjtO+g`QGp7Vqe|N}sa&@H!*F8V43Bv1-ESgXj$6b|N5Za~f>?)TXrrF&uEs*Nl zKIkj9d3bt?OEQ#_IO%RSIUg;;$hMZ3GYY26jle5~78e&+norS=os=8`AuJtBC5ICs zp==mEWnS}=n3$f&+zbk%&B&KeZG>ejm(Lim5kl*2DTarKIT|`!a=E#=U*O@X?oTR| zs?zO;RBq^9840+ZZ$CV&yF2iZsH>}^lkoi5N^_4Ce7qL@$n)OM&+iqB;fLrtUjlUG zzs^9HPb=8OWUr!vF*hJ9~P1N<%|afD;>b_*W%WnT$x3GBzXN{v34jG-nhLNaL`a!?|%RRh7Be zow~W*D@W5dfG&cG=4vemKolUG4OT6l`qScGm$eYlI#DK=7)8pjv7WU=7!edn!fOZe zw6wY*v)m{a8k+kywc6hps1Xg%yEMe*c5WKogbB3z29P$BrJ6Ip3oT^otQJV!8db#k zV&R>1Hv9VeP%s~fiHS$eYb^fMM^{u-px*2lJPX5TY8BKR?db5`97;x$SK)Bd+yoNQ z{^9oGu5HG=X0qs0*jjH?yeaO;?;POg9w3N-^TH9&l!~RwqKFHTlVf9fh5nbZK_C*U zs(8r$zWe(Y=WhH!9)U7zWp&jLq-F5RU0q$-eOIBOp(43TnKY>2tLQ;=Q!!GWyv~0} zeAW(}RpwlvJEHB|M2admy9pa1Fm~gmR!`zkz7K;tpHI&mUFyG@EuecO?V64~*`4yc zt;v*^J9a^zG`A^6z$ENzLAyb+;Uu$K^xN|mk>+`u+a4%GJFGi?`qeKDAvIcqec|2c zI}kR00)qyT=If62SYDj*eOH@*VYv`p`Dujrl@ICpJ~Rv-5qY#gk>aaIGB1P1COE?v zq@=@~x<{*S(mV=mb~(Yi@V*Kn8DwllCW{9<7&ez`TrR|$!G&<_+zk>ux3xyw6<;Kx zNaetR4K*nesX|WLT+#k4$ci(Ty03Y!vk^y**>Fj89}xT3^eo*Q4gVY57ZHaUW4(wV zS-LaxZ;&64UdbR{4-CBBr`{!x|Ck6o(}T|&Q(Zmr{HT!m&^2(8!;U{o2xaM>sME>( z=IR-VrG`7J{d6!o5yv1Sqrt!lr)VN@tFO}~deehD+o*@f(_wCT;qMR5=89&~j>k|j z+$k`w9e3MLalam)oney{%dTH9skIJ3fByXGaC!7AM+)23b(En@Y&-D`Vu|(Er<~KH zsEuF90*Oo~0J`4$EnD*8I!f5Q20 ze2vX--=3CH<{l?yDD-S0$juyChGgUEkd_#n z5RC#iTY%LBp$WAAxxg+bfs2evXSIU-)W^KHd2t6sbwGTFKhmN$5L4DW}; zhnwg)MzVWgnJi27w*E5lvD@Q|t58xY#pMSDK)dsVNlrMLuVKH8cjt6^L)H}W+`Tmk zV88Z`&*}2+9;sU4GIfRa;Pd>#RQ_BGs%!#=3W9GSMoDsfv{7TVt3Iz54_r%AJN{DA z;R$xGD|TS98k73|gQd~EZZZ-ecWS}HU5(5eloP%;UIP#OjM1w-ZKDdtK7<^{%}Gg9 z4T7wL{V#g>t#7Xodw&@ftzZ%mKzN7r(bm#!hR%K87tFwP+!>!MWq+};wr$9`KJhLX zyh_X7U$uaKG&(sKl&x#gg(+(V6_wdg&)D%s)iOV}Jzn{jo5!K(mTPz2sy~+1|HpS! z@B5pL{(dJRdB@wXs%MqO(9l=%!u;?1zJj@XM|;t)bJ0EIIab|k+pfVrCVrh{ez=gS z%S6Mw%31W;=Y2jZr4@88TcFrwH=qRVymlAV)8I6)etUm0Mjc<)vE%aJmj|k!E~xrI zA{ySv#fJvhyf}wL^=eWbLUaX3y!dyQenA|Tyc%GK^zQd&g2oV6;+OQU4JYRC>1sPm zMwSx~SM7vP{w^RjC1rcGm85q>gHP>ePn1tDk>AntgqD{*t=4Xy8-m?NN;q7u@^bNv z+6=WA;LH?E5-=|>#e~Y^^-ho{v|qo8f8{!PjqjFPs&-^@?XkcuvNS`!i&tMpBAdUi zWG!S@w8N%|i~nBzklT*X%6P|Rw=kdnuerg@Kj}Fa?0n&UpmO2F_5O6JxTd@9u?b4y ziE1=+4+Un2T@Kbq1*;z2OzBcq3CHlz8Tcf(Rt!<^t*D1gG*TC`+xG% zpVzhP*McQ)*L2rYsU#zb$(fnIlg%U!AE`PqjeNAFsTF8@@Y;E#z^0dqg!xM|KZ-Az zz5GvrT6(;9l9kG5l0?MfyeLwPL$H1g`y|!dHtP--3+jWJ>0reNyX$?=CQq#|Kke)~ zoD1;EH{thTD;b~E(Bsy0i%yulR>XiRRxLv{aINo*_siD}{leCnU`AMZR`k=%zJ4mc z6^v^<@m_x+@vkWLS@Rb?OKe!KzV44CM3l>q`H=~6YU|hW9``cUSz|GjGOsx9U6I>% zgbW=TSm*e}eVy?|W-)Q+YY#Hqoqulif}s}oGAhP38bdu1$u4C}&u=4@t2}iZD(9*Z zNW$F|Xo56CsZx+P@buTQMw1sa*w{XfFLa+Y2(Q!|`btusXzecN3wXwa{d?spC z?;B#>p}_D7cK-H)<}v-b2skpG#7CVd5?)9`!spZQAyd|mT`8aP+`DPB==w)t7#LmD zUB@q&UfACf3kV2g8Q{u9dawMx7cByk^jC_&fMnHHl}!s;DT?XM>O9I;+g#;&a$ZxU z=k3?}lwEO9)`L9T-7S7>k@qrY4aQu>$HVYnfL6aMM@C4Tv{KQI{Mx5^_WDLugWGU# z7QN0V)f%PSrbbk~WXxBh4A?JUCh$6AYSvlh7SV;1W^7HZJoVlTlDBR|qOr&i@(hlc zEZXU4QqBhh{eY66wJ}!d?_FYvB9fPpG3W}yD8bO|k1Ou4_UMex6h=bdHFE3x&c3;A zyyV+wI_vqddr=hAaB=)hWdyFLO~BU|5oHwsuAAq6D&r@0`&CsyHuOf47+f7L>_Z3mvz?X z<@PJC+DV5x%lbn+QLMHSE?dS~*tBG9msfE~ka#FCF$pzlETq3gy+%Mlc>46|b0>m1 zJm}4}X5FB7d~~$1mKO2WNIEq@)svGdj~`k^G&E@ItW9Fmb%lmg`5brg{g6szY7|3auNZCX_Ko12_?4RcN|JRTR)C<0O zUgyIK=OZ0`ef{mpLhO!?4pr}zM8hUp*+gY!3RabU?@sENX;rFFOO;6e1Z%Q55Ets3a(r7O7`C@vkB-TG6| z###YbSr6D*mVp#UmPj0dP_EKgp)&R5(UL+0A^Y`V(~+2DjD=Vr-5Gxr|K%&dmF+l1 z8_PQ(1hP?2(a_OxNJJ}N;N}eiH=*R_zIi;tBH*Clut>A@;IIV1U#wk-$QjX8haY!U9g~4RBaiMu~NP z)74{0#s6Q<*us2T3t+&5xf;>@i3RT=Q?}LRWgBn!SIk2hXIEES%N_o2^rbm|=l$N_ z*$Ih{#|M&|CiJv@1|S2{Yfn%dl@iDm!C6>w8UXQV%9f-L3zyE-2S`y>`t2ti4z*3t z!w8o!h}Kmro^sfmjsPvH&+p?@Ud(DG0u&_o<;$1o^kMKWW7(3L-2Z$Iuj6sj9ekO1 zq*$nePRcj?J0vHxooay3Vf!O7F{uE@lquW!&O|UFyZO@(lu({zdixslsqOi?Bhf%r zoIu5FiD%OP@iA+AfnqlED|D>p&F$?E02U%q##p2dK^k=1yy_bp7hx@`#YO-_suU`T zf1&M%KrIqeQ&R~*OwcIB`%7;Ba#^l8!vTxhK{yJ@$YyV|CcrNMKYu3w7Rr*$Xn(ZW zV(aXTB8#uQ-e{*}Yhi8`1TK^STvlDp2FM|JHo%{O4|i8<8yn)Ffz8OsSl`s7{1^Z6 z@rg-7EWSy<+uaR7+Su55fsNe-+MXgF9(-GCBX&DV2;O-n`ph_<@9vILQc28aGcXx6 zu16c?ctOkN_~PO(SP^KbIfa_Vu>dlfm7NW(vnC6EgZ0v$2XgQ6w@;+OiI|?pqrv9u zR+HgnS)h!~M~YZO2%2JZsmJ4A`j~v0Zfwr*v|!ju>R9nLKWM)f+vN%@m*FZSY(l4C65ZU$0fW4i!gP;a6A0qzl)&MOU! zz9#W^7fs&W{4<`7ySy#`2PCHokLQFm^KIj)y*VFr9jFaMU*5x5 zDq%i8Q(G>I%(gf277@{*rlXT_U@Ij4tzs;$__^MOJe5~4B#btawJCx=$^4G;u?e$u zIX}XUV@U1#wiu(@daDaCV)5RX-vyIK!-IqCi2`83_B{5~1YFfpQ3^<2li#F~vXO=U zaPnxl=e~F~n<^fL7ZOPsCtP@$2vpWKxZq)BqO(%0;CNm0(~xaX8Rv8DvqjAk{Xg|5 z0YQx3>q9j$L$m6u1JM8Vk_mmH4EldjTyASK#T>jFvy%8fUoz2%zM_z>-H0|C9vaF8 zHLk5n{^^4`$)Q!$Ez`c}Rb<5(Hlk*&#b$Pt00>#MzLJoef4OJE{stOpg82H}lfr&; zaAh=8G;8fc)W`p&n$%>4SP}@R5A|Pb{OX1|d3)6u+K0B9Dt-Le{-Yn80IHx}7>53w zWB!Ae4l=l}giRt&D-ms^(_lwAQx5C6uagmIn~ee5>@Hm>R%d$2>B5|uPE5gcoBAyk zm4={?%9}t4^nbc`Qsb1>TiSv{a8u`%KdJUB*KXzmV5&{Z z&@gBAwNfT3gZ*T5`qSMvj}wyl!6bKjw@TM1G&oh`rJw#sx%g8!M}%MHpSW-LQhP4! z+nHcpW#-Y><2|ELry`V z?0{bQ9CWCdn6TjRO^Qt#j{Y3wJ!~}Aka{fOSxpu1q5{DY8cB}3n#lqXU6N0<>%gx1 z;Xtdwt%-DFJ-T>*A41gblvwX~)RT{iN2Su~jK|bFEy{j(QGEC8Vhx}A8`mi!tB^`mo3NLmPKo(L4BK>gy->s{GZ}16k4xR68w9AeO)a0 z@_@@rRV)Q|QSw{7dYPH_F9F68E4yTQRnMl1Li_Ewkln(AKyyl?&WeF5K;=g#zHfua z4U1edhtU#Yph;s`pHZ@eg7V2c*#Q@>y@UhKj$Yu1$>r(kn+$g~h$V#6ZZS3mwaH86 zZ1*d9R`v&R8asireeN?Z8D85cKOw7ON{{4hVq56VQ z`SA2NBcgw~jKZsX(}VfLR6Ltf2EuG{eTMEe0c5z0T_1Bx2Ekn$b z^7y5iG5K}vmYceUJzx)B5|PC3cw$sgb2ZY{OI523`<13kHAhY@ho3YTY>czZh*y^oD6CSa1JLu_R^manmHJ z+I%WBVZ!9b^wI;b%sKM{jzQN04Ov*3RR)j-GqwKwwxEGR9nd($W%>jQ!n5 zA0;m%FK@g#NDvTgy%8conAf5qbX>J;;g3HMqeOm=_PIvezxXSA-pDmIHkGVU@l@AF#ZsLEk2rh=<%-=Aw~ zYj+354tD<^OQcx#%?~F3ml7$4UHuXY1#Aq^K5Y ze0<d1 zDKckWkxKEVgg