From 734115be5440ca14a0e48c0161d9fe04f349e279 Mon Sep 17 00:00:00 2001 From: CyC2018 Date: Sun, 25 Oct 2026 19:34:22 +0800 Subject: [PATCH] =?UTF-8?q?Update=20=E6=95=B0=E6=8D=AE=E5=BA=93=E7=B3=BB?= =?UTF-8?q?=E7=BB=9F=E5=8E=9F=E7=90=86.md?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 补充 Next-Key Locks 锁定区间的示意图。 --- notes/pics/next-key-locks.png | Bin 0 -> 66651 bytes notes/数据库系统原理.md | 2 + tools/diagram/src/next-key-locks.svg | 59 +++++++++++++++++++++++++++ 3 files changed, 61 insertions(+) create mode 100644 notes/pics/next-key-locks.png create mode 100644 tools/diagram/src/next-key-locks.svg diff --git a/notes/pics/next-key-locks.png b/notes/pics/next-key-locks.png new file mode 100644 index 0000000000000000000000000000000000000000..94cf0dee0ca1e702e65c645ec9d73001a00c485e GIT binary patch literal 66651 zcmX6_1yod98y!>x5fl`pC8Sf3PC=0FZV?8gr5hCKmXt=i1nH1akp_`&5Gm=BuK%0& z&w5MOW0-sIob$#0_TI-3Wko3*ED|gP0)ZnVEuo4)+!#k7(0Vbi!B2vV{m|eqJSRzQ zCoN+qq=SvIgB9YL`!mkR9DI@S`nd>rTSh`m-EDHC$^DJSNc>^bPcP!)50W><#PIP6 zh$Zk>CNin{q)fO-h9*}PXRB77eC<{?snUM_3L)ld=c7|p!Bc)M@m@?q1rIGLtdJ^ZIb^TB?EPws~1~dak631OgFFK;^&Q5V`QT zK~bW48$;}=L~kSskfyO)BLc(heTYPu6m=FllZ$IEyxuiFKgvRHTt{W4bHrq|roN6cxVYgzo zKE{4F#C1Y4#FfhsfQ61&ylYH!Q;gD|l6r`XwI`-*UxL0&U6hWx_3`m^-@cH+7`MWG z@g3`=UF}xUV`T*CM5x5r{=9 zvXMm{xsfDeB9HWr`v%rNvGBASLsgHlbvh~pxD}qz>A<=_4ZemTiOwV=enG`ltL8P{ zkEhri-d1FhoW4REz+ktKlc%t?h(NsAqa^3Wyq4bml0&}rFFFkY2 z0Sq(@|G!c}`H4mIcJW6!D*xf=)L>?A`t5e?*554p+}ce3J3>m!`CUT12t;SC40~u+ z4pw~3V2w@bNqAQ9yNp!dl--xpN^mP&bcFJK>gy%q{AJ<6ew5MOY6;#Iw}O(tq~K?< zh~c#U_9oq8g(s>z6_#rb%(JMmaXe+SQsJh(!HbJPP)eX7hR?+rXU)1g-`Gr*t``L; z4f+MI(S5c^&TChJkEGbQDft~YO=HTMVEewafbGEXRDZ@jtFbP*%? zxHLxA<4&84NphaO>C>%N&aL^+a@P^~Umr@3IaaAIa2X^er*H@o{(n#2kd%Zw7>qg3 zI0<~>VU>2dp$$B47IjLLQ!*KLtLdK0V)`XH&~CUyLqg|aA__=$3=zQ|F#EU*Ll9- ztY`gv{Q)WS3*-%iI6eZ`PV1`&rzg>qP--d(YsdDm;sw46yN9}!2t>h)M_CpBgxxdS z{f6vQO~n{h9mNu!8S?v>Vv-{eR9FZ~+nL!+ta!ms;TR2=Z?7RjuOHqrH`3Sf_^L)* zJTy)J{3-dD-;#$p@y0H5M^qAM|7{No=2QM3iX&BAhMFT0BnSk4t71Woar}CN{%1=6 z-y7Z9q^AA*b(#1>l$j0l$`6TZZ1%^0iZDIHUi1?&;u^l7Tk2LMtB{>YFN?8}#OqeyRGi<85?$ z?;{!fq(quEx!gUTL=gQ~YB_owZ9zj#Mc1{L9}!%i*#q`T5#*Merp6XJnup{BgtY~F zTpM3u%bZ@j*)Il~tMdj06Do+5#$(hu;IwhDA^d|G5aeop9_jfmXgICE9)~X)f9h?F zH{w(n;!+@6hjNyA$4;={QcV+2ZN_X;AHO@ECD52C@LM%&^Y$Y(!Z$R>v53rUmJEmT zI5`teDsf%=&j%R`daUiM~LV~)X15T`4-6zDsf$sD)=YO{j_ZUH=(E?5XisGJTJroV=VR~D(x+sd=7B2i68mVmS`FKCRJlNxg#E=PSj?o}phJX|<^1zqgL z6c6oBFOxNOv$a1Duc3m0Kng$Z?30|U6xEF~$5cbo;>}?$1)EoN)vxd+Ia`8bgQJ6Q z!xB8YA4rA4Gt#QVX00O0Xq3k!Z)iGE*ZCOR(D>vlA#4+Daj0d|u=5O8-}qkpX)K}W zRE>@{-BNDpdgMZ9vwLS7Ius1P#RG4V@g;HPk(H>p&ioSmr7YzG=Q|1A&kTJq$o8&1 zeKmLOseQC!e!X_C$N__vm`enqcwK4Ak_UW|Hv;EWcDOep7jW^)Qud~K+&Q%BX!Pm} zG@o0N5g?wv?n8eQ`aO-o6B{<}PSD-}3toB4wXKKnN#zXO+y=U5EG)wPa)!MIzrH_? zvntk4+tkezM@4t$xc@7*dhEsrB!S=ZYxsRo8UE{izx&8lg&1C9D-EH}syId9$MuHP z68|YoR6%arnCW1v!(nrq?h8-((1j#GJ>If>X^3Uy0!5CyI`h+|r$!U`jlrEGlKzjKCC8&cN~OWqXa zAC{3_j6KV38`VEVUyNey;Z)ctMx&IFKw~g7t+ZCGQ!tD!K}V9Fh9A}=aPf{vf2ThU zPQ8u@C15*V+(N3#cPmX?<4p=+9@AG<^grjN#5 z+k?KRriGE-My-}P=m=OCTP&y^}Jk>6kY&=AV@ z0nf4-RQo6SHhEm`bvVA*c$}zF+z{B_Q1f2}&y2i}U(FImZofp#x}wo8@Z~k#y_P#v zSOvDv+3sRb(DpwLcM^zD6h*wr!pl%6{n|S?{zL~a*@<3!;u-=s3xQBg`Cu<0$AmG& zWzyBqh^Tzsrf^+mPTE7bYeqH!E)QpQ*;Jfd|`jMk85d zPk(XsInRWKVqK~tk;n>BWzx^^=3SBF-`{VulLq zV%i=~yf^gi9Yz%K6FT1?>E|asJw5xf!R;{(yR|p>x-%IFak?14?8&k*FX`ab;-Sh5 z0@0_S5=Oo+dhu^a^!VG|VM+w=aR}|!UI&@>tCS3vp*)3tk+Y5Y)}WBTy-)hBQ+)po zDT#V7#cM6*KMT6kbhhc-2zP6jR*v|~c zyyukihpa~ck1g=QJ1B^S$ZW4+#`JqS^VWXIZ#+d@||d<}g( zx*7AQ?K{YEinbU+4>zZ3-S?MaNmRs;uePUZ%SuYD=bF9iMLA2^*qE88D$SL=TMPNg zM7-S24mVSHY+yNxi;BJ*ab%j+TH6~WuCR^V6gpY?>Y8wJ6;9-;0s*P$me9KFNL>w>Whf? zX{z_(#C>{2b@X0#-;HZtFa>k)HeQU3p?7J%5NSoGivE!Z#iF#Rmz+8+xNZPMXVd|I?KAIjX zGZLki%^wOQWWW6V?(T4hf`mbX6aRWiC0pZ;_>EjN?rn9&^b-4J8*2%4G2B37ruaYZ z?4i`y{0K}uRICr@xDjsGsuLGlB*$el!BT{ThrlYC!^3HK*6r7@EVNXZ^(7mf{~;vh zu?|KjKHQjiVl`UQa=ygA=WH;>-hBM$QFU($FN`5Jd#5^;W}CB3DJ?YqM4~=kxHrx% zHquVo$OT=hHa2yeJPwR5_Xtl`KX8~-6hk?KKt1XZy|f=IHCVgA_Im+g5G8W@*AM;n zV%YVY*wHP=QWV~CUbSsuggv)!ViWx;GQa=Ctk-R?i{5p6_S5CKc<{^@SJBJk1^B6S zd)VOWzxzr;9G-_8AFyb%P;WsFTXH%k_?`|(Q5aO3MVu>?HSWo3eiXwM`uFP@)Hp@? zfO`Y5<}2_h`x#e4C$tDtIi>EtZ0Rv)k-*po66&6~d3VlodIqn3q8K>^pT>4YQ8zGQBAFZ|r;{CJml`t`Fz?Z02Po6mj*qW}l zYdUz~>jh;v`cDU`Cs%xYJcLbLMorO^o&A2%tKAL?^ZMTlQKFi$u}M-7-A!j2oa07j zE#|)m=&^2ztGX5;M!qH72&BcH>O>tjB{qN>`G|HT1RJl0}_HFmSZ`bnDThlGS4Vh8y zT6g>>Oshn@+;!V9GWlmRH?!xK6~3hJ#k$c_K6DbuY+VbBLfn^|lhshy?j5bLu(KO| zaoG&Udvsi3F_dRBSrwx88dBfTbF;d*v|+8^_p;K9VuG>CZmzj@)`M9t`(S-c%|?71 zzN(T0Yk~S$iB6@{s;cT~fMS|JJc;E3zum0R$?9TPEX3o>sT%J&qYBfm6uagwy?IoN zfOOrQuHXOt?Vabpzu$DBUUFNFhLiED#^>!VsANCSRV~ycp&{k9)vvaUKSvdXl{8mF z3kwTaq4Se{WP!^_kp{diH1B^ur!!7iF63`0bLof2#(qd0NDJ)-r`5HQ;*$e-SgXMt z8RB&dsMW{wK}#ur8+^tLT)U2rgp`_Z;mvsM_dR+ZE}g3?hRdQ;AtAueZq)2GS!E%) z5rba9@zz^}E-Zj80GCA;=5=#o7O^GyPK_;?6C>G-zOLbC-$ns>z_-~n45WDWub=ku z4mlg##Hf?}(r_zVqETHV9a8gTt+aYCs^3#8-j&S$*goHg&4@jCh&+Vq1A2&5< z&-?6r)O_Hn2ZJ7ZFr+D}*Fpc|8z^ zw8HoHSfMPxEA%>te9xW=I;C{4KJKwjo87bRmVSy1&#n4By#yAWtmY~D3@>U?O_O}q zpSRf?DMdv9I+WEfllYkC=H`yUKA)^)u(vR&*<>>$b6X{NT{NthLTlPrEsQfJf)%Q} zIGn<``;evjTb@En%+)Ie1$g3p(n4{Cp+-oJ;f{O(A=tEmY^h3oUWI+wUvh5CxW=Te zA1{6xhutxiBLEU)dDvMvUeqVfm4~}Tk_&2XIgOPW_0PYgo~(DwZ{&x%t->0qo3OTKxr&ZVUTz~ak`IZlJ1@UW zF7TsCkC~Zyi9>AVXIe)DDdAbE9D7rh5-U`?j}ieZ&+ZD-P?XzD-4)vTnkn{f*vjKz zjdojJAnkGq8Xa6nnqU`z*F}EyzttfO-@P}ncF1aa+B?JAX?xQQq_s411g26*X=Mav zVg0ZJQl*FhBO~eKUoyngHf{8^v*uoAHN8Lw+^0N79N5p|(*liuOon!kLFqXkDb|7< zO#?E;4VuQtcwRT4x5W;-=94_^i}!!DXhdgQd_^(lK2-LLctV{kuV|gJ{qhNrPDI0X z_|u@-%RQ115*Ai>w04yY>iFJLkNYOBxX@nbqq(cgBRN^w7_Gb^i)y+}$o_uSOwYwm zygL%`k<-tF|m=w1mE~%)8tiIn3zPO~l{(g&q zfMCxL@6mIb?O6bh%~u!OV@FX%KI#pnSFNJw&j889zWfbfH#*cCV5EMIM=wVQR0xOR z0+ml|vo{J5kFtbxkoD~qEX0IM*62z1{77L$d&O+qBh(+31>M46jNiBQ=psCX7!nly zA#re)^ryf-?n;;+Z;I+97j3;4dZs$#r`lnE><3G*X)bz3ELT`jQIRW`NGBA(Eq(ho_mwnW zv)&J)7pqF@dUeNVuxJ!lyA*=XYjKhTcq;Dh{M_ow-PGr)jz8aXZf8e{2&|+!W--K+ z;SK<1*R!iCz`%gc-0h|Sw;wTjLMIVRQc-^UUyaQaXLDDT#gNyWQTa>B4UE}pt1&1b zTDrO(6Uf9g`*z~vSPTySWc1d@Tne}S5I#K!Tvf*@2R*Z7x+BUOo0O)3=*-)Q%$Fg4 z-M1ociwSZZ>9j*WFr}ydj%Y;GRwx_;JOZ zjMC=wi}~dgyUSH2-{f4WS1mplISs%|>vYz7pSciYY8=RGXpBHDkds}dTlq;Y;&lvV zY2BuFCgCiNnB%3tHTICI*QS+GaX~?Jdp$I>Bw^1QuJ7>b(zf5#MNm(BfmGx?=JHC8f!#6YB?7QXd z(c5fwzbks!vKyXD_#V0XYH4U3^cY>L&X%LH2dd{AA1uV(C}l32VW}^?Uycf^7mFaE1BxB&E0xIMy=5bs}I*BG?lONYdI)swgP5R^N*GFGa061F5 z;hm0N@`IgG6?U(YK%t)?7z9pq$Nl2Xx1ll1mYzaygqhTb(lvrvt5iM3(u@NwYc#wT zHFa4MEXB~uJz&$t!R8|s))SluQvgT3028P_d#nFz;CCzc1ZLb?UM78*IFeaqS|Hlmr`@LC zAJ~BJe%tdYiYG$5+CvDtq zC;j5Q?s9Q3)>Dg`%wMACS`KbkAbYxddR#XrHPqCGJb0%oO6+{krl$L1lAf4HTIM<) zjA#{$tLN>F4iB>!HJ?LdGLOs=a+&1+3b{|ubCN#;7s%H+0TRUhle(O*k@vv}OeXtJ zuv%XaWJy}$Ee{u}Eq$*4Hz>EXt|WR<6&@C7d_1aW_erNR(DGeFc{7VTugfQ%a2+TZ zFyj=Ax@t9F9!}X6OXhHMa|0Fg_Wa+tNmQFPV$u3}^;?XShV3&iGpVGtnrJeNHNnND zRvnRI$(_{ba=z!$*2u^RM-XYDB@X~-_)oRMccS$WXpM9D zmOAs8ROxPiLbkoPJ@?EtTcZHUpKjXu%1MmrJ1RK-(0k{!KDs&UxqSgYWcE#j(V`SC z`799I*us0#BHw$rjqp5oqSCzO@^l?4b9{Zbddi37xHRZ+FgclM)N{M-yr`~KxbOcr zfmN@#8JGKkhwu+a7z-LHLyXGCJ|oWnC>Xiy0=~082ihS7|@NN8)#> zjij+m>goQp?+T#7pQK%<{z!%$;U-2P{#r)-iA^gsT&ML~Et&+B1rW4NtZHVZxySuoqfbaIDWfa|bxSSjcZxd;4jyURIrAG@Qi znUR?(s35}_s3|_fWzquYa=muW=Zj_N84w5#|IQ%bwAxx>DaDrWZrS) zF^9f=n?QVL>*wQe({>E43;xJ=!3+gGy|@3Apgl z5%|+2g(Udg3_24OgU$vbQ9Xvrva*~^BN^)M%Sq;{!tIrSiR%HgbKd+1Y}`Kk)gJrc zJ9D5BDl}x6;$w_ei&$mSM7#wUkx7GDfx)OG<}hh5V14R%lFP6nF@4(X1fxqacc^$U z47dJTu@J%DXH#?O0?w9u^aIWpdp+z|15rLdkO?xwk%f5{=?>kDHaw{?-8gJF9VsSp z(w>+AT!cYo8sJOUO{R;}gR^|!(|ouMP3<1g1T8RabtafDF1#Fq9Rh^Z8Rn&V)rL5oZ6dN5 zu%AVS{fVqzsiF6Mh{!)EPBK#s>!x0Kj6LGBr9KrVg#9etqb{3+kbTLJ4BCRb!@u?? zL=;!%8IMQECKrE<7v&7CLcTyt=&?`rfyV_ZjrHo_Ft@145~?`RB+QJAt7ByumOHWU z?~0zkhSgLjmFrb$tLB4*URqj$Us)e19(#j!-C^}5iR1v_2q=BPiw*)oI@{z4GfmC! zU0b3+DBaWLCP6FiKt-`JqFyRzAXg%|MbO8NyzhKan<*ez!Lj#}dtT$FxS%UK-E@aZ zqP{95$Pd>qrG`Gy<>520wX)Ixhi7!OR#SF8KoIcPmG;DvDmh6k@+mqD^>gp9HFosS zSBUNWD6bk3Zl^0c_gYr&Rs*VHY#m(YOuL@<37qE7$Ihe6}6%;2fB+EA*PQWtd6b$YO# zi?un|BB~CeUzO#%1eOu6Mq7td8qyV#K&t(yUq|l+@~qe>6s7Mna~~)DYeZ6YKOkS@ z4?5?Xm?T0VCcT|=JWflLXC?`Bi2Co79 zcuDKSx*m#wRUO4}_x8i*rRz7vqJ_GmO~PuCLOIbRIEYN4Fu$8(nJ!ha-{iNPI*7$o zllNp&SC@F8 zc{oJ=iKAjezPH8l@@9$;U6t3&myxoE?R_I)O2r_UvL|Nat(z&bB5IM5QbOLgnfo## zxcxk+j-p(?aH-@8qXJT&%RPo_E-32h>#x{|P9?Xz?mB_Jf3$jU_UuX7-*%nfAsYhf z384x;j5yicMX^t~es^6=WMj~au&oNq1S4A&>sfd|cRr}cjbD3zWXj3aO&zP&z#pVQ z{_MPg<-Mw~D9OfW(8l91s&DEf@Ro}0cxSK%*Hsc@0UeJ(bX(dNJ^0u4xNw25%UM(4 zXXlV1h~$xf8N}mae;vQ?!AZ!oC|&P<|KmEX%S$Swvi*fDlZPPnw9;u!euis+FH}i9{%$E${w%Z&6#G z9jP6AU5E#PSaM}i=ZUl2k?pClo?2!GH5?wRknUwq)`mHq=rWd)dyZU4CPPs5xY12& zzfcisrU>eZrqCHaP7${QNyUk!<9x5Q>wo!bK{3yIpkeU3vXwa(MDq*3_v?n?uBb zcq1;ssvz_8EirmgL&>$LNs|Q9*U?ioQH056aE`|!^8LE_#5j+IebKURpm70~O8>rT zl(PCEK?`ntySR{MMe2Hw?TxrX{m>vvysq|}sL^;_Cq-#ArcYG3zj*uA10TsZoYlhZANpUj;B=Jmyx2&C}2s zm7WOTX}xQjj3eL$A0!Z0j?+@6jxngwQKwng<_oxi+<|Lf`y&~v^pBq_x%cUHs2k_6 z8JJ}X>G*~VM}1|(hQ>d#-X6%wLy(IH?>%7Zcoa1LUi2=zvqGCDHsWaj1xhQ_kPt{q zC@vKGqM^Y+8e(38M2v%Pr`>zstukIQ|9u-I-^)V5Xgc5NLl#fn=n~8b{+@z6&oduA zmvF>3*^Bp*{U$}ynAuGy3I&f#ceuu;e?NyOtK~XN7a8N>HHSlVGI6lIFfhF_v&dl zwnx{0LG*6F6fxjBkbbF>qmtN6!PEnuk_5<1E} z_;Y!qbY1oxHJ>8_5o#FuGV6NWGuBtVxlu}NZXI;*5RE1#lA#Qc=2$~Lpb;wAmzV2y{b?wj?w{wmhA4R5jTe>mVMur*s}kUAbLM9rh932|nvt`96S z2X1T0dBl?MSKQNA>`BbB@v$=f!h*Z;DP6ov`enru2#Yhi2aTIm^X|=eK7gxb{@`FM zi}FhE399dsuN-feb17__#6mFeQ6*=$G4?3V9qA}^>g!LpW)WnOeT^HC z9`+3FT*MkH*!ck@j3!ApwVIjl4KZ9nWfRfYqs3m+H*d+3|0pRCBV{&}V(s};W5#KS zRe1w-tu>A-IghD|BKh=1hn*)T%!Ia{%Y2c#k04FsF!*bYiOi00Rp04VybE;7{Wuxf z-Mrn?{!zL(=MDkh658;KQ*H`HxAc_;wsxrOh+hnZ9y)hOZlGz&w^bEj6XN2XUD4hL zuOKA_4MXC=ZZ92aaVN21~cr%&3q4qGN>(=8?Y99knM#4)F8s&!w+yj_>feI9TlH&XvmH-{6IL%8V6Zozbz(PvI->H8wq+^mM$@ zRMbVM2VL3vj7-Owyfuc)f9-Av{QkG-{*WSGCxI4&06PH`!xiXq4nQ}1-@yjBxZcv=4%JfB|@alaLd&w$^ug9@R=!> z>DX`{2EB=FWR0aGOV0b4N`!bS8TaqwAyKC`ErFh1y^iaKT$c{sJuq_NVm+~FeSR?2 z{aO=~MN#a!xcZ$$?XV}2Rs}g=ZttZK~;#j)l?Q2>GpsQBCrtp z1$t9Du2!X&M}^r;>DPRXsB3*J(cyx4`gZGIU3c0_`Qi-*|KPM=yGY!uOk*n9>S|^j z!*^%WoE&dx+RL~Pb7YQ$3iHZ?s)w@YsSy;!tO|V)J4R| zqKJmNNcp2bqnQav_w){3uKJEYZj4$5Y6dCXTrt;BXr&Li^{41qTMDWE91Rhw5$4dG z;zc|9>Y2;ZW9;kV_+WCd#H-~>2VQ5f=7x-5R*pBDoH7w18lvE_&A7urY$|J(0O?Z9 zFX(#cMUqIlMHY=)UG2s%(oBc;@^I)r~A-- zI^zKW086Iv1a(W3%2T#w_o#e{o(i&#Z#fvy)uWU?Q_DD% z5x68a$IZQec(AY2KX~K7-}D$|x|ph&$PqMo@={S~f$}LBE5`yV*qq5QT*$%L+5Jcr zaH3^$>P_#tmGHYYIId(;$yF#|NbXJxeR8OhTVX+7CK&D4XRL^<#oZSUWI^`` zuBA3J8wd>3%!Y5yz_>CgxWY4G^5$Nb*`QHG5ALz_&l;P{=Lvb1M=oTwsOvct5{Qr2 z^aa)H?*;`kWa^8f?fuTU{i`zWor7}R?E*eLeO6{L6x;NIxWi*R-RU0B+6jaWkIkg| zoK|sh@m(^$Xs-+4;6MxIb6CVozrCbZ9=hJJ>ZF?nCb)1(!I76YM1I9L6$$2Q;(E zq?j}yR&r*>_afS2``-S$xjAkI}jEO)Uen-si155#!FN(uJ5CHZ|-RKHf1wvL` zE>KqF*y?XY<;|=JtkU48bof!i?BHlMQqLSp&7WeCY&OLc^mN1p-6kpc3lO$ofWRA= zah;nf)+$@Jss{qr5_lbne-U1CTQQ3RrPc@~WAK-&?H2%ny;8(qmt%$+auo`IZqXkraF z`2SRY1WO3Cl9qwNCyPnfmb000i?&b#=2^D|oT-|tt?kRmDSIs~t^A?Y(^(+Me!|S( zZUi8IZ$v*(>v^?z_F7VJ*6@)xri!w;UOWA%kjP@)JXP+xhk6*~%<1o2T(_(1(+6|~$~B!(9-K+AkF0k}ZqQ)K~> z0gQ&+#XTt>OH0e)G1eZ-=Fs1~N8VRJwQRofwFfF|64-Z}DWL3RMsJ(iy-O|6#adUL zJ2DtsqMT=`b4DXy*<*o9I54ggcRYMQh4fPESE`WhEf_3%!0rs8r)8;17 zaDgrJ+&ci-`Zb6Lz-O{DGm{E96?l0A%Oc@)zS}XDFHYg{_hWmWTsXPlA=uBtXF`jL zm?A?x(>s_=aBo=hME|f)1!)gRwqkaao_?ES(>m<*S-;nnS{%WYDxDfn~?B!YM_Ncb%fbZa@HChg%7q`b2H!?kvEdbahnt}+RN z5VF8($~!wB#A_KA&Ni@!8iwtFvxH5*?lVLZXeWq~h{q@*%~I9|Wo2quE4rEOE~L}d z?iyDp%xMLaq5P1O!4atFlTDtrsp}0cn*zY7iM_j7*p_Q^!ct>B@x6l>K%bDGj00E@ zMhQQ8Z&rf>FqOA{3K?|)Y%t29&_$ooxc^g-G_@6|u#~g@R4-nIp**FGOQ1JPK~e@q zjz0DE_nrCHC+$L3mX@$#5=~$;Ai3`bOgoUulOgo!on>z6T84%{sn7d(=i;;u zw`TM%$1U$ES1dWVkHr#t0eelHLOWSA1BORPm7~?6d`R97GDrC`!zNCVYYIcQAT)GP z_%?#E4MHV9)uHx08T@ipqd$7og8yf5f>$sa-y-$O_lQzt3+dw-ot%V~6*k zbMXC>zH!IkPqs)U7m-=zBTKKp#gVK&!;KrNr zSpOvK@vja99Fzs_;_L|J?sA=VH$Tic&kAGfzKrsLeF5JCKd8em!^A;O1e*^K?Z3)R zARYu=CMuAQ%e^OOEmvob{ldHpXB!ihE3n(q8CyULGG1wy(HX5^qsu^%$ick`@;$~l zIqmm3tYirF*?C9t!+-ACUExK(NDpMYrzbdIv=c^P`@_Wrdgdb=@1o38-ve&Xc^}QF zDe@z~`=i9cf}*0y7GGc39i(^%N_F+z;E+ECR%t9pzdBjTpvLqpTtFkc4$0T>+ex38 zcZDsJ44;_?mI~kABP3rofC3JfkJSK7q3JSoL zgJ?aFdZLNRVK>_dCfV@dJjFDRjq;9r?-%$`4GSV}x4XMr^nCtq?X-g&FwvDQ{a`}= z?QU4HH{m=3rB@FVOg&NBP5)ped2J@~13&gUk%O0TOZ0>Tau1vb+?%yOm!h-Ecc>)q zH>)(=HP7&_u}Frml6<}fwj&S=GUQYF?DrPCJ}jak0+#q%2UJ$&;!2i>xNyX)o*n&& zrGHRyjE?z;m`ug9)_F-A^NPE;Sep34K1%w(5=aBe9pw~7b?6aXzO$$?c^>QWrxH+si8)O> z!-=01lvd&^@mWfgf*MO`=r#`m#QU(@R);>UIsT@u8{;1>CdZl&tJw@1USlKzJX1{J z*{p53uu)KmfO7=yQ#}2C!Dc^G>phQbdn&*dzFV1b!IEg#Rbc9}F}@2RXKZ*FcL3~6 zd77*VadFcS*-%v6z;6YHLZ1OiLZr;MPXz_X5MakRVCymC_Uk5@ttbKQ#MJje_Vb9z zW^d1S_B5wKnYgZMRHTBJx|3diucQjNSAhjFb+jAMpM@&-Tm7PvD&y>o=b2K1>QunSql zAL$6)s6A2(1R2@-Tnxum!Ku$Gqlcni6^}vR1HyCgJ$4QS-|OFC`?aVvS5Z+ZciGgX zZU9Utdi?u3wQR0xiT@MJ8Gr~p5t$8dm1~lg+%LgD_&anCk^$`5_P@Wr)iQ9_0QIhA zKW)1gEWsey0=z<5OX3*S04T^Mg*%pljtW_~0ZsvkuX^aUC^w@h)5;IUbfJ2&zAKRS zwx{c#EF^MbsVu{H|2dwF1O*fvA2_X_0gpfodHI5@gmTJE_s18!FJHPk$++seIE{&k zL22P1%Fz($pXhRM<7<2yb8f;po*K(#^W?l0_j3V%2Iq0biVaiRfZUR6eILpnOnuqG zT&QD+`t(5!53wl+wvs&gB=Ktgw-EoKEA9=YMz6o2LxfOg0RoSYi`)5XSnq)Bm3akq zx-lSv*mHD6Sv(|X8rhS8JXdYMRtW;;Hn?Ieb`nFYBUI)iJi+E1qu~V|#1Ncfy_L0H z(ARG%9D}t#;k1>xwC)cqqIC1mKn)gu68x;>Jfu*jMv7v9@p!Hrq2^?XL1B&Qd&@Mt z$vvHaAhtqm!Y;i4Ps*``Np~D0IMXixGr&!oz%{%JIF5yp@%>moc$uMz6zQ|Gv;XHb z@H{)(7PXn=Vk`oSDp<;qF5wG&;6wp1Z~@H)rQ^b7B8fO&!bQ8LxUI)OqwKp$=IJu| zLtt7O2Yl-L{TBUe0xM8QXqU{4dp~ekzFmS8iJd8m#U|mBzVripwKo8>Pt#sEGkv<- zOO|KN2g@1SH7bWIAH2#%7{5Tnr4gUCgwI1@0fTV3iX=|RRad@5U|-{IR*Gu zzPIQYQRDTXf+wbp=I-|3;2>1RGQeyg%EK-<|IG^1UhC|8>)`_|Rh~tnflHEZq&7us z&|Tl(Z!u6-C6rrus%C_~+~aV=9ojI6wT|Hbg37!HE`WOCUhu0qh?bCn#5KoO#4RA3 zM?`}vusMf@Ej~@Xf0hGEMBYs}30$<3+R+d;YZ-ZS*VyiT(lnyrdZo;w1?M#Eyw~;C z^oRWqIF?I$HDk}0OR5G0!2;%vdwa>0TJt_x;vb@TmLrq$?)7Zlo1Hhg9Ax}-@SLl7 zK9)Qroqq7yTcy2+(?t-GIa9x0`ei)y5aM8dM_oon2D%-%%vaoJp-dMQ74ZplTh2q^ zK#Q-PeC2=Cw=p)zB`YUa24Nj;V9I$IWkHwvFJ&Mr*0)TbXIJv;biL!!CUSp}%*Mn` zW%0T$KZnEJsvM8^&9=#T(CWilZNVsKBPeoPlkq&N;>9IEeN=3N$;$_TU@H07p=J_1 zKuFernd_@lW!rl(`xqN@AQJf^o&ztDGhk*UTYqa{uwoMf z@k%ELEd*N_G6H2FaWEr;PN<<}P;J_E&(^(cy@5%~AD4{oC5B4(@H-Aq-cFfVIxqsU zEX-*+syY_Be=}Yq3iwv24ohqa(QHhF8hRjIx52B*<{CnvOB4uNp1yujL}L3(HSu6T zT8)r&)?-}Ysnm~T)jiaq2~v2TQmS1B#@v+(qcPFT1<}bG?{DaYT=N+Zd8~<+5)8jM zEXkhmju-g;Deriwc2~ee??KU=LH(^3MH!hcSktBR&oHr{?5|AKunwK&8lpxSmY#;? zWGiWl2a>WzNerP4uG?FDiW(XOS6dZwHtqkJSy!@3k#aP^8@nhJELMkW$qaE-=6k-r znLC_SZrE3@gC}0q>aMrsHu=rdR%CSPxjL#FuP^cMgfR^vHuZDIhce0!P%@i zaBTxPLis>Y#&eD{YPR{XtXFVuhj^|A%&|JMv>~XDoqzgBtK37Ky8ADlY{a(sx6*u$ z@#~C7(OP0pPzTAfrS`Y30tgKmpdP}v0AI7+V!^o0)bby9cdwqj4vv-A24eu#{=qEm zIMW0DO8tHskLQCti|*@qihX@PBHzcPNkc|OK59b?g#!m6ohS(m*rR`dKa^5Eq76298LvEN=in~xxt_vJBS+`44F=R_GCr7xODyC;>3}M&m1301{>kQcqXo} z+s<$3*Vz`6Fz&5~{kn#DN-C{fcnvkGAU9glHb}ZdzMMCydVh|5V`YmGVDfQLHK`)- z*@L_?{GA6bgkv9X!_G)E$7MxZUb8k!UWRx; zorZt{Fty(}9m~hk^XEFBPi=U=2kZr$&O*N%j~ZfJ?4~w!R4#lm(q;N17>`&j8px38-yu8TK|r0`dyJj0 zkkX!J0TP43p?Zb9u&2tyu(0vLLfuq{TiAHCV@OPuH9q%xek_%TY(mF;&Nz}EGby#} zUe7~I8_@!ziIMwKd^n-#*+wPUU^BR`{(>{kJMErUnc<8))f(TO4hszw?{=#1;^?my z25mLQTd+=?y+c)oskf$F1%JkANC9>HU_*0X0!DNZz*&~^aE>Qr3q>DPS==A75t?f5 z_iL)ov0lJjgd-Y+Z2Ek_)j=(=kB&Cq+fW%=MlBnZv!LuUm~@3m@za2aY2I!D?jT|? zYdFWJQZ<-|f8dQmWu;bCMRhz-GRpj~f4|AIfZ5i`ATi4J>|mYO=iH5$S~+ zoc3ryy5moN;1{l;{<#G2Ck{YjeZIvLBp*9P!;_l`l<)R+Dp^UpiVgRNVKSxnO8dpc z%w}biER)Sjq$m(4y>R9Q09acrv@z7#>}q&Mc)>8aloPAC2FnEV2RO;Nz?S2@KH3L! z8|-Y{J2CwywR_FmFg|sZ6T%tB!ih8?l)(vr8~|;_WG)#Ek<>@sw~BLqc-_Py8E(Iu z+t4t1bfJG*sQgII?+9=ToC)}V3uY&Fb~j7J=Oocq*esm@Lx(Qf1MdD;8tK08*eJmK1jmOmd`=k&-^0`qP|;hV5%3pa(zj8CK;u;3%agUYKj9b``2Mdhj(BaS zkD;M*{WSw#;@-#(qe+ot44{eHq!w`n1)LzmCpEUJ_t}oGa}RgvTmZXgd?Z~z7ZYLW zJ=ec^8~6;~8K?VrsObOZhYr|z9lWY2hjXcc;HzJmfcQlKC;*P2 zfJfyX)8B{2DDz0R`&&vCzn(jl1oKHG_zsD~9*^5gc0-I$4a>J7>HLlOcQzHM&a@8pH{GArtj!+&+U7fFf|tjKr&$ zfLT*HHq?KDBV~y!D3cU@tom?uh+a;BmzQ>VwsNq?67F5PK3UVp-<0b9Bf{6MZwZUg zRx9Pg{1{B1kc`000S!}IbkYU~_1<2e64c{JDtEJL~p{H@)vdhei8yW&`SV3dVG`pjX*10#?sNq#iNGzEdpW9sp8F z_gSzZ%re0BC<{{2O05EVsz}^0beTXB>wQ|TAWDNCYZ+01k2-RQ0+PK6;hame`?aPV z_m??-^WEY7W@21uF$uobkYEggMB)xj(@X75m~yomDn4>tb?cY+-fG2JZbL&nEyjwt zx$iJx`L;*QF|~n8;x_5YXKn>G6K)PWy;YUCa;FbvanJXEWxTZpwQ+@d$oBaN%p8-~C3g*33Ghw8`A z4Rv%-VgTS!^N9}gl>|LocQ9CkA-K0i5bt1ZWE~WUh=A89lXt)H5sLMLfyftTVld;T z=Up`M@~FK0|G?}GhU+?2Ek9ukYSq0>LAJVZE$HXn}aD8kWp8R9O&F>tL#Xnx|!C9V8L-pP#hz{`+Avm5R za>fV8Vhc*0A5+{f*u*-P>Q<$+)Jga!r&s>64R{Kw7AH8X)&3Jdy6grbv$32np7tN- z-}tkHTjFt89Cj%wI6Lj)hY1l`oz621p>@>iJmzCu3NuVHtVLVJ%6G7^{yT6ETtZ=gkB*TUvdBnud~6*GDgV_RJjKB%D`zr5_Oawa91LW&K|HvGXT=#{>Rf>Kt;KB z{lg<7At4~$?a&BAgAzk1f^>r-AuXu_qBKKFBO%fqGSYHTLApz%q(Mp)L`wAAljGmK=WiI!?D|{L^k7 zR+9ckv)RYXvAWc*^R09HEnp?BYQ6Bje&_AC<}Gl#;>sd$3|EAcd99nzpBUvomFHvx ze_W9x4*CY~B-B(rj^(lUzAt>}k!o-~Ed$r(HntBSa2$sPf5M@*p_O!#_b(}(rMGUt z!(OeYw6JV!&A&$)Q71FlZ$+^UKElU@p zceefm=b50+GfgZ9qq{zU?dph8FB||Met&Q!?jczG3YuFRVbwSRVh-~ah@k&~jF@Ph z+V&MFeCr}3kQCk~y3)1_)|Br%tNA=}#O@aw`&IKg@5_0`OnPML-&RO@wg#vl1X{FS zsu^{F(iyZ`)-=7BEklS|1bJ+$>})3RLmiaJDOqW2Qn9lXB1Cw!=~;vwgf%rGPb7sC zC5>c?0?)@c#4t%!Ra9&P`^OAMlqVjrn2ZWP0sGM=`5&;)vtEDt8xBS=lWwP*iS!D7 zfYWP|w(JIQ5zgDs4b05SIpH7_ z!J4q{z*{hCvIEQ>Y-iFhrrtgKD>&x|6tJ}IjT@2PCmUb>lk3v({r(CzvdtH4fFr^q z1&5}*#}fKeEY?`bB-(;!;yPqODGV_I#tx4Cr!a#%%gmr);Fb&9a}qHAjI(t!EN><| zQ2qu@e;3qz@f(JTTimZSPegK_+?>=d z9?Oa|f91DwBrTE}Zv7f%SV?s5D-q0qh&m%!jZ1zswNCwY!Vx--jC6#0oNRhTBh#)- zrM@Y(Ky^Bu%H+1R$ou=pknf2DK>SP^Mlsk#uUof;(mvaV11k73-0`bn(#QIN7RcDZ z0PF{q@V}J-mn|lRL`0yz_7AC)lkrtg@hbRfAp@`kaMBQs75si*zFm}&=8uBs3g&0@ zUI5hWMrGKbY-{?SeMZxZG^z6^u{5KY6@;dQEPyZ_OUK`sp;m|L%+Vp>RYPG+@vr!nR?6>#aXv)WHodus!g1#t=iZC8YRKgm5)zn>V37BkE6up zj>#lgmE!P^D^P$lsmn7MGuab0Q1%a;>10M>)+m@LB`LBFrV%_ag zYpdpAeaq*wCeEm*Z0Y$Q?GGCNLj?Zr@77ACcc&s$mun&jva!6%!C$QO=hs?t2o+~u zN3L>{o#tL(>ZYS{H<>aATIpBRy^a5ZnD7wDrS3rLcr-PB&~`wYhwEy0@ofJMn%>>^ znYaH>_2iwp_)zfRf~Zg**46yw*rvc&o7m~4hvFEF9*6zZOhN5PJ#7$LFI zMRv{GW=%9I>ZTw8vJp%U@UY7~SCx4&IPkeM82*}xZHB^3I1{skYRd2sd$XpzZ~az? zVH15QlM?yXRlG?FLt8)rx>OaDEYpIhsDg#$&R!D{B^SS?ELRX;9NPAz!W05YDfudm zes-M)k%2CDXWa{O9jI@+X&9L}33@qKJt{kAF86S1T(ih7hrKKly0@gi~*g|xjq zQgz8bAB9%A-lL+(3-j~-&>ptWzZz8K_o;mC2X>w28&eLtEnIe_dx!B~bj`b;mh}vG z#dA-78EzJIS?g`sbNh#K-o{7h8$P{Tw>TJ({ zX|j{HU=QI0j6hUqEVRHbP9y;84lmg`LRdYJXsX5j`Z)em@x9CsmYyAxZNkTl(# zy)0smi^#**a&CAIuW6Gp_tdGd#&T(q;nv+sh@t(*Yfh!S5K*D%x8n+;#beS!L@`g5N!!2aC;Xc=Hz3Jcaea06 zBcE#{Ob&jOejf8gK1E)uX%mHEi%s?ktSP`-szf;VX^v@k74=?o6W4v4gz>2Ve61-CU4 zA#~i6SnsdvkyC=vpzsalp{j}uyaAJSwd_?4Wp*j>Qzne_x$=5tw;WC7qesc8{Y5 zUL*mQ6YUy^xn+CZQ0%U z9O5`%NX9RHPG03@Ii;Z}%hJiWZzeuU>{#k}90B9X@|S0_mF5_c)jR0%-}VUTIj^$kSH zzGAst%krJQ`WJQkad8E34LO}_#U7e8-~JnHPCmS^hw?|@Dt9|Zo?-7+Norsj-SSg-<+#ZjIcK`EaV-KRBipNNKyZB`O2-Y! zABtI>-`jGXeGPV)k{=VhroTfCgnAPVU3+mB3>f>vc*@C`#`cQ>H!LT^D8%ObMM)pB zg7<4Kf+3tE;M$4+c2N$7_R~j}4~Dxkqp3ljI*bf{1*7aM7hLyRoq*1cd(yFE%>YA$ zn%#-pXmft+1ALGr(&mxv+IY{^yS83SKM!B_zqigcLsOu~H`t<8)@70tXvbe%(ldE% z^RpKc6PcN3Y?Ql!2X9@7c6mT-p<$b=D)_tMR6$+2&VX(wt- zhu{01Q{tGh9W8K0jh5y{9fK<6X@fN$elqfLf`Vhy41=>Sq)vh02l1?Y{TA!*``q^A zJ>?a(TW~l0sX55o9#va=1y?5QE6A|xzFE~I92f673zX}0dDteoO4cdMT*c**1-?rO zSi>Usu)Q*l*jyylC<38cs@k+sGyOVBj{nNbcGH*2W`Qfy85OoSKGC257ep4f-JhU2 zFW<@@#R)8CoSQK5fAHQg8bbU$=+5xGMqT!%K+kv!h0RrW_QHU648agheo-O zmnmd!ds+A9cvxA$m&kuHabYwtEfGGCXMC^arL_JiK=+xtUgUUOms0)ukVaVy_dJI^ z`iyNK3Rfq?Icw8U`y)iBWmSP57HW%7iq>7P1kvi;8WPg>*RJN1J`aWN(e&1gA)^u} z&m)K=@(|QYgF<{)Z}r-Ce7Nvxlv9s&>gLNHO~G6x5Q`!d85nEPx+~J;)i12+vA%|* z>mv1mdz&$k)Cf;hCxNEiJve@o@iw|e(H;Uq#Q^eV{WcpF`1XN*&f( zcJzvp3e(y>IF2c9FGCehH^a<<>1DtyqiiwS)0bJh=4EM2M7gDq0Ut=0>f$d5HJ#O({3rT1d?pXP3JRrlP`1K1YP$5opx?^8HHKXE6yXdWYVTdPe7Ah&flG$Hg zzyI4vdIb_sr~{Ww`Fs=J2nv+4Hpzy)akZSZdxvj1d2Av1P=U$=t_M*T8wSC9#0||= zUf~J5rxuKi<_cu(M7SEWE`{X&_dUjeGgV5G3xTjtDqj82XP!!5GW)^&{8*1vr)98e@C6pI(Flo1OYt**!`1d;SRV$$>%Ojr{@FE;bo;rCGnVu!wJ70P;4%<%?uk&WN{FTNp>L+&>|_VY ze2yP~KIHS7&Ngzu{2X1oKdWXgj8US{Q0VbQG5od-E3InUt`>+ruU|?HCPZB9=lE5u z*KwdE5uP@go-yQQvUJ^$T~gEK4h_^7E~&mE^sINHqfs0_t@E4U?B^uc^`;9Xa`Sr} z)uc~5sk~(1#llr&(Zn7)sS}DmK8`03*7`tF~ZA6fo+nR>|w0=KZaHrb3u%Wn|5W)w~T((jZnt)dfV>*>J8x{LpdYaRcw zrN7S~*^RAO;qPNWOSfJ~F0~Bu`#!`Zvho0zWq4_NeCc+TN$CSmeTge?MZX^c@diP% zuK&`s6j@qK#yyy|rOHIsAb)IGy3v?@!>Hp`*_AVEdSys8jZzHr%#HH?Sa`DUbKGe3 zlHRV57Sdm3lLhX%+nhs6qgLRlDZVxLrbuv|sj(Fw+Lxv@HuLU&>W9gLZ@*jV5s6Go z<@a>!mj;BE5_0eU#U~*odJ-_0&&-L*AbRv!f=@Np(jCft8vUz6y{DqM#NtIUo4A*Gl}PYOy*W{! zqv^fkEhZvG6znZKaNi5@f02UI@sPCI+F0a>J+B^MNj9Ec3w{bK7TgJtzl8k0%*kvo zo^E~G`bUacMO+LIB9ONv4i_Q-vJD`}0eZv)_y8mf5)MmXva7Zr2tpdLQbKZOOs3IK zCNZ~Ubu{)OYU4|8y<73Lx5PJ*4FA4Y0Lr+0X-UTn0)1t2&HPsav0~q#4=xlB@~S{S zL>X=kSTcObV}Jrc6-s;*aTstdclnD@&#oC@WZTAY!Cv$r713>5O|H+Pvl1d6JHHU0- zioVqDQ*i3ss46Sl1aNHiLy;%MW#BC2-yrJZWC>CoSpBzaKBs_I<>c+VQ@O`1=M*uJ zdYe2BK@e6gN1)%RE-meO`~mon8pugm*#aT0lPrKU)6O23qVJxro?crY>&+WpDT>O^ zcR?3CO_|y9Xh|0L^fJg*#sGl-WH3txT-jRm>4@3|i}lk#B2Rxr1FmAnTmmvVTq+_2 z{BX~z@mm?!vlBr&%g4(sY$ZH9pKL8ll5@a-!@$fF_X}v~Kg%F<=y~Q0_j^g<=kVXN zcYlrf`#~5Y4=Rlw0pm)u14yy^O?dt2TU%hfn)+2Gadu-vsj?Ts)4U;Ofp!g(fOj;GiTD-`N##2FEsv_YMC9SfXSaKg3R5k zIO(4Fw^2_9xRY%QDgR$CrOLoIj{@7DoSY0Ha7&;M2INJQa^S_)W%cVPl;5~%{C8=6 zmpWq;Y{uAcKQA?iT348;Kz43bzZ=}otl9$k^(2IlwgQWT3)TcglqU~}93hj}3y=b| zaQGV{T9oTJhCzo3+^Y@H0zhSQQUaVTWL{5dNc_LRTd~GV+|MlZ^b%WekYsZCGN8=n zW@gjHw_nXXcozV{H@{DSOAVPZ`N|~n#b0+W`1VvC4+Axg@<)s4#t47@lzW%wEDVs8 zz(f5Y?D1PBQ0GMm$xY&7rhb2bq$C_j36v59PPjtE8y3M~Gs~*Ok&OSQtlw(0FdWr1 zorHl>*D43=CC1iJ+QWYE-=g`0|2o)afy@MLs)W`Xz*a$!c8trhss;`_?mA9Z_gHOb zymSnZZ#nmc_n_mm0J;r8SIRrzfl^zLf%N3*O#>sGAY%`pSNI{tP7)wCK=INC&Vk*j zH-sVQYpHR$8PEQ#Kf{Gh)J$4VrewYWOk3CT^=dH$i=1=2OZk%@EvdI(3=9=^w+d!2MTTF8Saiz%m1fr&7Hq$!eSo+wuXPc6)KL&Tj zQ3!;2eDYxSUB#uOr0m^8j0Tw*_+B)Qk9lRunt9yysako5#muLZjjV(Fw z&~WOF={kWwqKZiypymZ>@4LgT$>$h|iM@9xMNS+Sdfx-mYxcB#P;+>Hn`MxCqhovj zmcU-IlTNa}yB$48YIQL8B{`u9YSm|3t|7Ge|!*+s%TAa)4AXtjl%JmEpHl6^?aG$V- z({>C6%V;CS9C1$9*r)>+_T!dPIo4$g3qOEcaCTE_d->=~Un zWcYIJsQNjh#3uMlEceWDdN{@rkZxc!ren%S4Lm{Zi={~EyNakJjF1%peQW{6&TH8Y zmz^xKDS>L1+p=L4@HBWR=YS`I6_6(nXSu<#AV8(!q?ceBc?wjOE;VS+cOgn@t(I)k z2dAC@yceKkn9kRZmd{lNSsaV~8rH<+DCZR;R|B3h78imko7mDHFjzff6K^`}GR>4(2)P&YPm#NYDhZ=_5qzQS;pbuLgl7q60%tR1$OQ(Vyh zx^LAMuUGpt>0s|yfa0%Pk{jK6b?v3r=rv$(kWoMt6g+sc%!GaX-h)}#A}9ba=aWlg z7u&}ZwN9&B#bb@e$MY}4uF!TtK4C(7!;{e=4lUsz{Wq?@=Zjn0x*ire7U}Vo=qR!j z?P{8unsz2SDjr*&W%Jw#smlY4AyMy%s3c)MJ1(MU^4XbjdfF+3hDAT}#-{6ZvKf|{ zde`9XXsCbUvlrm=zc#*(JvTV7VV_g?!#iD`7#?F!57NlwlHwM}Dc05kZ#5b?*hXVt zVf68WB7wZ`mn6q#i=zU2%nc6y)8Jmm;t#yL2x?gz2mSon?`0_MaZ;_mG?7cexWH1d z`}ltUKaw@YYPowj`#!7v8fs1@xZ9Va&F-9D97`V z5neJKf3_{}TQBd`Td7q|KX@tBWcW6Yb`c`$mP{T7K-3#fwYO3h2vR{9`tQK7BbYJ| zTUUyJG1Ul^Be*3Ilz^VV1K{KU5xMe1kebMq2fQ)uGmb#BfiEGO^;0^FU;H-h*q?nO z^-(XJq?#%02!4g-)5NA|ioY30AO*oi36mG6`F#5O2xzdsUC(|KQbI;)DXAYxV*Lfr(H1pv+mA5)5pZ>t83z>9YA8 zJnqRBVzG%BFa+^64XYHtsH{<4#wYd38*y@+dgcsQJ+;*b!XIA}@X&RGTJ1VyB!O#f zbEaVzf;%iHB}kWxGTj(KX>5A`_i5SKJ@n9ob(~4)a~u^)S0^9=D|EgA(GbWTb4RE7k(?(hm}T62bVU1_2L+;Ll1l%K!~*d1@^WYV$-o&2<7nz z*M))EFZ~FF%hKO3RI01J%&WH#(!OfG94{!tQ*&k$O)`QL$0uqE_Y?;0;p!0JTwoJ- zf$U)T4?PZ?7VPraEe~*KwBnS|;9!8F7Y0_^n^BSl%g*i47-m zvLOZ%`c#Uz$XH~lhmxn?c8A%lZGSgr7AC&>au4L3AQ$^CH-8+5ItO>2X-cwrdM)jG z$1igi{g2gN6oL0+Q(3ICb`!>S9W!8%jzRql_fCud0g8h8w~ro_Ig^TmKn8|5u!KrP z9v{2~Lg+L6>7}|IGaznGSL*twMU?d8u2p?zKP-+BQ4Xper71 z#>v_jab@0ABM%ppD>5V_s?oGBVN0)&38R2|QS^=|sG@4$A1>vwV(WKAc)jNMyE8Yz51w4Zq?>C51wFA^!0;jq7(lDNm+v!&s*(W(Lw-s4L zV)sF;{RE_Ckq&=;A4B*fP}5v_xTy~Y!zTl{lZhl2&zGbDvHCtF!(vgP`S*2e-o(M-mD&2QkZWi zO`pc6xu(kWe>=Tqp7jtl7D`^Cp8-h;BX@q;K7VT{ii8!cX+A^17)4) zj&Q+gP^Wa>rEg;gVi%R*VDdgVX1s%Q6f8NH zN5H8it#3SM38k@Rqh?r%s;|mdUshxL9-BrJ>1Y+Jtl^p8&mO@PEnxorqcP8q*(37n z+xfF^x1a7M!IbCt2$Hu7tA|icah$ITm^8Y!;=>#PM=F#IGAeV7ayZk=&)PIq{=e=Q z&L5KEWEp<2JC}YWMO<|Ipe+WMimN2!UIvjdOMjpLvorr%b}iS`E#!iBR$AYF_IAmv z-`qa({8~;L{!3*MMW|xJpNIFpaq{}~A z7OP4vQ~zA&Y@A;u!pC>~?(gAWkj*Ox)YR7g{Bybs3Lg1vo9q{&UHtLUyOW^C{}9ad z?5EZYlgDhR!?Yu?Y|aB01>*uRq+H8N_i%=X-_-sa17D zg0$QUDzZ1$^o(#lC{Qg>X@IL(E-DYVvVWUn5{fRtjH>Om5E{~l!|}QjMC=gl3=)mt z;!oem#O;I|EX=0@!*8R^@|Ovaq8z=BXY$lyZUwdpHQVb|v(Z>)Y1f*wW@n3S;HQ_82_4z5X z2yvD%y7uK0vEHgFktI|;uH~W?Sg^SS1|8-oIdVkK6EU`4tKhafDOi04k0iq%@&cW+ za_;^(1d*0{RyNc4mX(^gb_TM#ylrWOx z8dd3BqbdJBs(~&`u<`UU2t&S_-aCY2#UEi``v@}~++~W%IQDI8(2_Vwyc%b`%Eo17 zhBaG<)`kv+_Rp2dD^@zx?~St=owS* z`tUfZgUB5Z&{72Se+ts#W1rx>eXVx2@7@`UZ{4akbJmBxtD@8xNRnE0x(lr+GKhN! zax{s53Vx{?;b^!X3veBZ9Xr@!A!AW@pSkk+2rlNt+8 zB;(e{dNF3EWg6OZl}mJa03jA~MW`KPg4wPUswP=AR;b#&#jBGb5o-cssY|`yw3)Nq znWG_lsfB%zt}TiPKGK#l&%j?tvyMY}{;;s&Rhg>kJ&n4aXhEs@&Vhos@#l&Su9+bS z=5xjZMYitjsp+)NY3gVPV~Coh7Mji>VY@Pq-DRZvuf6UPd{}otSV~ZN3~+z~Y3xL! z8?{@_Cims?C}LNOJN#(6^_ERehi#iBsTzT^yVRxZWx8`@k?O2eS`{q~zdf8V!JD=> zu`Vj|pMB#ekyO(gH}@!wlX^RubMme2T?{Ck@%aZhR=2kA;{PB<5;n zd)k@Lae!c-vMF1r!%L;kw^g=H$=j4S(Kkqd70AKcs2J#Y^+b`$`PEKymFrATzUd%Z z`5Q&a19M)QQr8(1He3Qq_I?&+4{^ijl7VDka)x+n4$~Xyl(@zk9(qL#)uY_X2Zxj=8_?XGTuu8W4$b%<1*P3_sC-hJ=ce*#npe~DKEGK#c4p0-i`09T>Q zowU9pjq=RVbY+M#zqkYrjo+*FF_#;mqZUmo-^g@;`uA}qE05vw4_XfXoE&ZJ7)}q= zK`M$vnRC>8PW11mYjRYa-xZ$D)o$k3pyt6rJ>0F%^acY;UbeE??eq!p)nT{@IQf{3`dLp8)Ve6^KFtIXUxm#$38ayyrBu-73hbV{{rgIwjh1N|#zS;cicQ&DE51Hj;|Tf|?_!SX9)<`R(L(_V=C; z-|?7+5#O4E0*=Ye)@W+G9-&0qz-Q(FqtA1Hhn{(=+$b$6(v_v)aL7$l_RYSM`S*SL zd4$eSPlK@q#!J|Gf$wKXs#MFa!rPF|KNd!ju)9^~>x`yWv!)MiE=rfA@&;4tXD$?X z?5(j;CZ|%)(BYq?#Sg+AH^V8RP`6FY&6gnQ=0qQ(jCYQ0GI)D2u%-rzem@?+PKx)Y z$|l%x#(Kf)()lRP(QZ*NOrq&8a^TIY)Zp;v{$ykfx`0WhRGp*Eq(t8y zX)Fdh93v+6uJy9VUmqC$urMlf%&?PdjAmE&e#pJ#j%=80*TOCM(tO5a5@T4h_8bhF z!uFd}{OhG*jihijSO}$8WFL7DR99^&6V2}{U(fmab(~N!?!|2Ng+Dk7N3r6miIlgc zRGd*LV>6K|J%Pt$?8i8*(A<(8Qd|!#q@boR=eX|bJ;nyCP~}TGDwFk z3gF6hal1pP*)RqbYZCCODxse9rWS`hWq5OT?j;y+PtqyisiSRQ5bSw^vvC|7Rz7=U zEOd#`s+yt@0@_0<9c^FmKJiexJd6_nAao)m*D10yX<=-M5}lvFbpCp~U+Gr3HJX#k z`X#>QoT#_Tb2Rl)>#lztKWZcivcUF^xP^Z{&n{vJ*Vd)BFGFKODXdG@zHNqEPmu#z zwAO&*_z<#L6l95X6R?=ICi%V@WL)TH*iuNKQEkOJgl*l;xG! zhC6y*PR!@vt_YMW#*;!`1+8BQx;--A48)aUc1i$^IyH!;81YrV(bWC2BL5@J&LMIxvrBT;-87L9v-8#1WfPUE!GR#jT9|FiV120TRQ3MR?v7k zlQKO)KD<5lf)GjS?al8pOi$_YYgSOO)nS_k591`?M(1HTFP;Vd$0ngQ<`a^Kxn77t zS(aBOiXo$vJGjzL>q$5?#%@87BNGr#ioT8ntdZTKF(-`v8L6&jpGIUVABx3LStcC& zkXa_2gC=Qa?%@~P*@k^;{WF zQu|y=?MCU~(c<0gGLV6tC>J=~R{w;c}&rRv)fe7mXerZ9jybRST-2P2_j0 z@`JZX7(>G+++!9?SgI(fDeHrG1~FDIIdFQ+toMg#bCkGSGBJ#UU z8wAz0%12v{&aB!oQpFxsYsRKg-!Ks? zTS@YG^i5X2c@@0gc{*ixy(&94*MTMf?5eGzu%jz$vVl!;7X^O|9Qw3(dz@Sh0iHZ6 z?{hj!Acd=84BOwME|yKYFUHF@$q|bqojRW8ovuZs?eDLe2)IVm4f(HE8s9JJu%DWI z9($*19QEH{kFLeYK;GxgcKhohFV3b%M!T4c!m3-3lqY`%sYKBJEFlSj2Cp3R?KP_~jQUh<@?+z4 zpXt<+WZu_#wYcx%qw9=EtWpDGWOJfqLYg)y$kDCA$IQp$-daS9{%#BYty_%YaYZ{X zwh(L0Z8ICNC4Z$>Ww@Ne#gW*2=HQ3Hh?XGiq(2bPnFX^ul*X7WR_aAkx^t?Po~cax+yQqpu8;t#|#Q< z&pUMCkY^+nk+9^6AJ}})4|omMuFqj0C?Qk=brmByIV}0gADiEN4Y$sqUB8Rp%0`^K zkzvi)T&1pzUl*pAqk821Bae6fHf5BdW*Y9Q_Eyz3GiH0ZCFD%Ny3ii#~SBOOx~r1oNYZ=oIrp^Td$?+@+jrzLGvU6Ihdop9X zl-ouB9anIjYCfSV3xo4a?4qYcWB14I1$-}{t#g6=N7((z`W}*wi3vqVPpgu=^a^Y@ zG~6<-b{mv)v3m2%eS%~5hGJ|@+-!@ztJfFnv&{*^2y&W*4WfTn$N+Pg^HAH_VrZjM5k*9a|X4^@IMx;f`is zvk_F>167TGA4We8u&$-qEg5;PM$pKKB5g0IkKt4*DCLSgbQh9nc@GXphoFHeV`uj( zO5a?5V=r)jI58~0_?rDDSEaQC14|g*5XqBQxK=G=^-SCKgl7I#&I!3B@ZDz?liWg1 z=5aPt^+lUHe~;nsUNFd}LYv(_CVpxY#e@zYMQLR8XJUyMa()q$3{o~(%v1{4cOUTspv=)Tjnm(PN~_q z4AdnQ-9#Y0ffv(tQWG5av9w}tVn*?jNx#wi6us9Ay@e^->RsDKp%sBrm;?8I|0ZSX z=2L-Rh6nz3n&-Fs_b$m(2I{7HxudpfUS=JNPFjzjgAYZNLtcira153tJ zh{=7E?Z4>mV<hemr+_QkfHFqEQOaB`i6H;H|3CqNyCTjEvBEAPA z#YmG-La;KlX+XW;(;nZeA8Jh+~HOotbj}zg>+H(ogRXLotFgYmFtl%^6kBE<}#$HHV3D{dq!W>QY z6vM44GG`kPYIdZb^|3G6cU#EZo*t>wpVaCLrXj@bGQ!mW*=#ywS-qV3!zMurGW{yo zt6E8QCA$7E$}bL@Z1PM-^YRFANHiREdwyR9_q1vY7ShvJgL4^0H`+P0hiR0# zFS~)5i2DmW=*PeUVNLHD2QqP*N1G29d|TI#vzd^~YLh-um>sr!WFC?;3dKsHo9x1T z(vVRCB}D@>p{Y~lzz?CCHZn#@(nnOaKivKtEpkmiz^(Tv%LbPjSn+?GOB+bt8pCpO z;0-0|&+7V`8rx>1+L_fm&ZN4+q<%q5K=A)RzY^C=zLt~Fv!U)j1*9K`6W6>yQJy>y zCAERWJtJdy?(S)Y&D6aH8Jyqr_?ko8`%7`Gf7KH(XnKNHx*kDSEfSRpPZcgs%j?t9 z$(yOV7qaOhHO3^qfzqpdK8sT?D7`Y?kHN!TZDZ_v=~aQ|Dz=x?H_gJ8{Etb=86pQRiwBjbZMxPT~;W z+TXONFICdrNGNZ0o2j=m1-!XvLppA5+klH`M81LRVjDYmEa_P7%jBMiJ)Be{BZ*hq zho3{|sc0wlw^Uor9<}cr<^s~KGg4y}9Wp&fCX48`2C}7Y?Prx&bt>S;u5JrdI}Db* zJ<8acp32b}!~Xm=PS%cfof~e?`E^%&OvfP*S9S^HG?52NhM!iKq@#b|nLiXKP$g@> zJIPtcoV?=&>AvK`1Aj}|(R{CPQteUbA@7?#0ogNxqev<-xk+{{C|-(WlJxYYNM}4q z$3DguN?xM2c<6dLt-0sUso7-Wx5kJ-MmD7M;bwWpum9349|asHCd$9~%Se%0WXF`s z7rKzth@^V_Elh6m<)Z=WexDqbK_5hI$TDfe)#YKxy)9Lh(6V{MX-b}P_2KlB|Es^w zZI}NbX-g=n-wG5Z)i+GZCMfCq<<%BtPcymE-OuOH zBlTLDj0cwYt=#{7jlAq}s5tg@?%gwVt=ImVTEJuh7{VS6HjTIbmk@?Qj{4+(FpU;} z5Jn;Ivy@Y*xZeCD&EiS#(T_&|9F+kdge~jP%gR)zt~TC=8oEL{Hwt_~G&Car*}ZBc z9MeDP>LGECBg1$#N9pV7?CzlGtyqC9s-Rs_Qg7|n6w7I6nhGlcbeKccD=`OC0=8$$ z?`)pWHQKwyxIKs6!qic{b`b=(Y{6b7Oi zuID39%q2>#)c{)1k=qTDU(~T%oe{q?*SJA7+ z!ZK|&WPk|+iOHopWzf|eX;?8qKH3=upD0iQr$0RJJ zh838+EMb3y9umJOSGmn~Gr4*=bhO5xVDfoc8JUN?7m*7Jyn2=GB29E0Hry|}i$A&A z@jocxQ6fZ7ZigyMdAGYPv?zrFti^C>9vqOGk3l(o4^WiDg3zuqQ}WwveVyn0pE4D~ z$h^V1w`o7WPTgM!Jf{-DDrZZCJA*w0XOaTN%i|&#UXDc=GQCI)5)b3YX*JLW|QA| zeB~z34F@YHzkLI}-$yj#oc^US#RS89u{4n%N~%6>Wy23zmUh}Uko0qe{zS^PXOW@b z6`rF89%hB}l&`B&o7RWCo5)+tF%HQ@OuwLddwJD&ogaSCq1o+|(})I!orsg;p0WWE zCBakbgbP7IO~Ot0)Rf1(Sw%TX!-#y^74MkBbEQtFpizFD-Nj;b??08MnTyYQvsJb+ zV1uA&^RYC<)H9TD^wWjpF~9l`6WYJHhSiJW)Mo&_qs~`{40{vW<5r3`+7q^Z8#(JSg2*bT0XthV}A{4*M)#bd&?Y_<|6dEm?8Z)~pFnDepLj>rOjOLD_S@ z``_y|`FTPef`rPc6Wm^)sl%1%@u^t?SmZMy+BGlTkW*0JKvT!{Iq1T4UM}Ly* z8>T{4I5+g1bhTGkkB70-_j$r72GXi>Iiq5bc?4k&)E8QZ_9nWigMn_~uNp?8&O5x$ zla2~?ocNJ+1!@pW7<&HAZr$NC%Av}kjE>=9HWmm)CHobuH;Qp@eOVysGK;|H*S}l_ z9j?E+-u>dCN@(tGGY;ASWVEjIOS-t{^CD`Nvsc#Xsje!Zmqon4*W21yGgt`VN0Hr& z)T#~T&;$x7Ld}XC;SjCL`4bnyuNXA&Seb~!+j2-%!E?}6Os%X}H{Wt@jgqqP;q}kM z7;j6uW?nQ>S>e-D#huAKCIUib4_r$a1Z6lUsrMWP85OEgpFTkrLdvzLpr@P@UZt)} zP0WEV*>X5Ok3ecigW6>!#lq+&8am`Wd&&|zZZ=dQ;*=v1M}?dOc=;A9&t`fRQG5QY zz1QNTCI9%Hxa>p10>^MWhVUB&k)pS%S`sJ{DEur1$YZ@??&6aA@dS(`eHZPA`Xoq0 z-oAOQL`fI6HdKAyaO`5~jMDo!qKvAZ@K+U@6X(IMbt4~1g(h&;9jnEgzjUS;syv3t z%RlGcj#}8m5kDWHJm1qB^O+Mx(_=(kzJHXYQbq@p#Cu!t3^gV87c&TDmenHOHB!u3y4Y2uzrEIrf1$U zR77XkzaSvg1n4i2T$3JOmm3uuKoes&WUD{-ia3{;a+6av+Z?Cvr3B{X6W99a1)>J9+oD8|StNwa&6L!9 zE{Axx50iz6`$G-llQoGmV#HbQP#v`v0Y@4w%1s4Nan8qxwkb47q-|K|*ZmBrdHC8y zNuSu&N$75ZkFp|FXm)2zlyv?ug#9(ur+F8~DGSlZa!wP0}bl_x^)HVQ&SZ-|r!c zs;Zg{SSE_@U zQV*R`b)Pae60O+>*31tnG7a0&<&*aMv}igvqLEal8%<5S8{yWDW)%3XpuiZM4?n`) zL%c^O?M!HmdIAoY?7^ee8apoE&Jk!+9P=Kl_u#_$u{Kz(DVS*}7^enDI{907FDDdo z2WUL!6uvxx;}x}s$$|sR)qKlPBxPR_%C#NC5(?vS&CB-JgMivtLRoT1bKV3^F${=J z>R_j#z16528MMSoYVs43q)#Xbvase?kWTc<7*V1|1(FH?mX96Z(-OF36_pp_>*8d5 z!OBKK*g*ri>aWdirm6iSJe=*Kdri#L(8N|DzI--ny>e*7v- zhe(N0mwKa9H_7+f42|+vpFWeg)R6F8xACdRs>-3c$vMr|ZH#n?_-ckG#`K~T!K=`l zn0d!msCRMLmPE&L(ll<5iFPSBGu7Bqi-d(0Rpe-v{yR$SM6h_wk-U2OTM(&&qjTn) zt!B5JW@3b*sxuL24G*^O2p74~^}IT1Wed+;mYyErq`PD36-JT0{^QgnHO%ocB7R7? z@!$qQnGfp{v*p89!~5^@nl525_1vSK{CrGpqCe$DQf^MjG=f{uowiAZUFNi89X)kl z00wxQ>jxHiCOwkpm5IK1{wQv#$I{pqB*#EP^1OzVRaMoSiyg5*Dswzuv`?UEt^#t{ zvleL+(QWKF^0su#g0o-1VNZjr=|oMpAm0?3^H?z1u*90a-qkBikpkbs09;@O7VBo>zcrE#xY~78OB|&T_cneSG|3| zYDT`H=<;x{R@_5h=aX)dzIb>MR-OkN>UDLuP01%iDI&k*HviAH+kNfXtllM4Rk&g5 zym0I9$uDXJ?Se95?$X>TM1~^koIbNiozpRjCf8n!8&KNrU-Zp(%*cxQfNNU75e2kf zTg3&K7MDGkEZCAVMWJ=>7|QqN3ImlCu2qPONAItunmvU$Mef^MQT@XBGp2}=|L}4x ze({A8wd;^Q#-dj5Axt#{$3~yb-N@y@$wZ*BATW?Ln z=~G;FO%qS4}J(N)s+CAskSEOJDh@x1)htC#C( zE3DCdF%toq6>bs6+&~?ld3yEqt@?^g=`uhco!il#!d2Vx%zfi2KSpDEnsGK7Czopk z_h))JgJL=m7Sv^K(~bU0KL*fMNEGSf(cvTN< zfrwSAa|`;y5>PInHqtA$WE=R&gV{et1SX;2p{(|#Gj$kq05x%fEU9gXP5C%!%-&0t z>|7$c43^w>e16&SUGNJc>YO-`lh5{Aqa^No>UTs~w_Ml1eP;JM`QXY#hT1)I0-*6f zd&FLm%Kj?mG*Tc#7zJclPNPyD31ZyO1I|o13w`Dcjr+UQf&)nsgSeNx0)#6BgQx)m z{;-z}h@8M8rJDt*J*fsbYox#OUQ0w1_`qBND-0Jvfb(s#`9@AFNM_aI4{x;RxMocCw@HU4Zc&4@PVU`)a%ceQkLgwr*RQ zlIh;CF%KE$>8pJ}dmodg)#-Caq&iPeP@UH%$VKY_PUU!BSb`sC&BIwSGkD|*C*r3g zEY;2@uI8Y*p>-6YJM7BGGLzuOX=0kyRn!i665Po{yvbqa!n?9U9#^!tRpf~C9^o8( zfs8ZM1`nHUN_#HqgW1>bLzFHQK5)=@sL?iEErQEHW*t~iGxw2R>QT}_&) zk33W5femgI_8@YSw8br~jJj2x_si=)d#|5f%cRjQx~$+psx!|~ZQ;t&^+Ea^&eZ(9 zfmH}g>>rXSLCcq-gdpcyfJbnVrCs##y`KShKK1m)_15?%+7vr{!b9o{CO^OO*q6+y z=W#sFn|>jO>!R+)kdjQ+?#;R$CW&kF9punGOqH5?l@r4B6o!(Fnz8&=FQMbva`1($ zkFbb`6*r{?m`ytB$H&huH-I-JqD1s*qAl7kL)s7mGb5sjJm zO;LDy^v*=~9MTW<^8hap+o>#}wJ(30=)>968;f1vY!}CPm#a7~-n)P8zBN5B({cAW zNBTzP<`BW81p<-#9Gt8LT@By}A&`9Yb0F!0P|Fi+CFPU9@GG!1_#Py$@`G_#s838w z|5LPCYKLFSsz5Lgt{3<@a0MIK(yIZHOhF%>yGBCHVKHep)pJLgl@WgXJwNoC0AM*! zx*p94yh8Z8@9cqkMt|R*JQF>fzi>RxqY0O1=?*9Mzq_w~(xC zLiU~++1dP#`~CU;?tki$T=#YE<2=vf^?bdIt;5LTx_)BFHBeTy@K2~*R$ia0HXoxH zt`e;wRzjEjB_+fxXnvDoBxF^P8C1Mqhr#^y&zntdl5Dj+%>pf8l4}DVz5kLKW`#k- zAJ;RGTQMM6tE7EtTEyr`f?d5UjDOJEHGrgRvtj>WK-{?Wc?&p{8;*f9<~0~uBaw5< zHo^|mwU8Pg8v;qERiLcw_A39W!23inJJOg`ws^DLIKVnlUT3h^~ij=>c zCarH16K^+pgRgx(5~!?{9ItA*+Ilv1I~ibPpx(I2saBprF7Hxu$l`1FALTPo2B&F=o*EC;Yuqc3Tm;31R zdt3d#k^FR+Cc3&4fJPlF)V*Vzx3f5n#b9-=8h8HEZcdfrKZ=+cHwXL3jqy0Za0{kn&%*5@aCAF1Fr>mRCt zCpF1BFQ(kL+>8Ru#2!;d>2@qbfsDawIR3#5IG_M!Oca=UK;*w)Eo*&zRCDA+Z3${O z_)Y^L$$_M93Y12QR-hG5O#6kTD3S~z6W1YcU+UTomiW22CAIJt%HzgfR^yJSw^R;4(~fGY>VTjI?(1?gAh>G*Mbif%0x8l5aiC7274wM?DF(_g4Xy061G9WT7MBr!eOvZTTgcV|};H zK$;YG@mKwnzo+Lz3^?x_s=y`%@;b;^V<9`gl#|YOli&vkDEHpf?f$@v6k3f(QoZ7% zah*r1&R_Pv9J=ZxxnnccXJU93ON{PD^M{O$(3nv4TX%!;s4+W+(nY*056Vo05BXwGIRxe3yU6LhvovM z8M?qCk}C_+6Hru|J!WfDjUyT;Q_WJ+#r%*P<#+lgB;I^i4Ru5XKUcs!7*tiZ&6isqRJ(1^4pUO+xt{dnJ1ra~S&aVL3;e}JYp zgmpD1T#|C>`uzH;+1=;AQnNM$lCXySUn#lnyd$JpB%174!^|o^&Ej%QyTdNwMm0E| zpqtoHz|Q;#zf0Ln?BJA1 zwyXgGl;Q~F2o9hv&#_hlm@KG1B9;pEs%%z!6CmH-je703zGKRL6RFgTzxyE$fLXn0 zLF!d?b-R9JfJM)KK*#4SVokWc9Q$xeWvVqyYx z9RSIeGVn|KX1+aELg!Zs0QzvQdh9H07_cb-`Oo+MF5S0&YZr73L2+sH*f6Yhbag#J zUw#d9ms#ja{a?_64*`=7{0fBVd|wr}E?7s0fYnfIlhZ3umxIKp3Z$T1oK^w2aAKJh zZ{C{}#u-aM9&Jjz+G>{V?)G_JG|p+z5I!bJB34L9XFvba)56@6|F7(_LeL-Df zpz8%9O7g|Csbo&}HHLy8RLkOm!QJXF2$c`U+CeK`TRa6a%Ik}P>kIHrf04L~6eZJL z@6kzxKyN?S2A3HiR#O!kWc~{Y*?)fuDDj&}C~jvY-9Q!k^g&c&bWB^5&r>V~1{vOy zuIn)3OtaX~>Uny*(auS(ASCVU)xCMn#GUi_+I{;GGFE^P=zzTwh`C@=2qY5At?zjg zK+D{-J-SL!=0o5$bh)#h! zFTu#9jI#wf$iFJnG1hNaPa$o&V5EU=4e2?QV{HUnPNY8;uuBixXtj!{bRmw?)dinzQF~ zxCL*5mOHWeN?ucOY>W#%sdO=a$Cu6e=BuNU(~%`mO{#mZRi2+Uz-kBjx3|$z23PdI zw+=ycro>lM=+jV2E*%oE%E(z%cP#N4ikR}~mB5J@xHPRsJMjrNppQ`equ zV&MPq@h!A(mYtt}Gp!04CpsiEguENL(R}@afFSOlkA&&+3|#8YpwlSBV)l_idOlHK zB8y8o)y&*{McMC6y;$@VM3VzNWm|kN0oF_T*2QAAOUN4$wUiA0<6F_2%ogp{x1vla zuT~#6=OJC+z(d9w|ECf~@fKdw+_5ck~4BzIlJAkL(DO_;B251fFd z@*XbR-Peyl+-@&x0?{7=CBo?_DQdUvBWhrwUd#cu0%kQCSAb>H!Tdnb-wVcXM#3qp z380;X*?oC@0diq|O4+kCeJtMb{LVMy4a*e2+KYstL!a5h)vyI9gr7A>NT-pjv$19_ zad`I~m@y?~Kp(j|k{9Lk8WzYcvgt}rThM}H1x=N+umP%13APW5f`nfWRYdo)VS!U~ zsPY8-tRH+m(zgicB1lBKax)U7ffUtk+ZubrG#5+^BE+sJkLYB{+W9MRz528{0UFVe z+*1?%{@i7p@S7ZYsmxrILAsbGO`^ZGVp7VaajWlrzQcmwO6Xu8la^I1ND1bRHJ#uZ z&^g08tvdE^V90F-Y^J_an-5mYz?@lp0koY z@KY26jh+F*2T3lTzEypGHU(t{9pV#TJs`o+kzXpd9-}+2dnz86xW89T_|_lrBL-rE?&SqMe_+pPdos`b=|s)94(r_ zISPDzdd!nS`MTtqe?~qXkMSu;;pv1)#v5EN+*gXoR{#?<29gwrzmTSc870lnX3O)X zTmcI}DULp7FsS%AlD3a-YrHH=Xa`IXB7G09o(07P=aU0$%}A;3qfI z&n?{;-e5n-i9+%iOt5Kl*;9OHDmj>`&lZgAEr`CNe67O+=C7(Y^Genl62< zeEW2H8LK+Q5SYRE0Q?G&S|jW|@HIkCoL2q%U?X&~{zM!%K!X1b4M1pMoQe+ER-li7 ztgq*QjZ4AF@D<4XFS;T4yyGol2-I!^yZO^@*QJsnB^oOtgU@i99FxJxQ;C7fO54N?&Zv~T|AmV_Vu9{oM$HC_<&EWQ{0J_?NA8>$exAgK{9E8XKpeoz{h#Ls*O$Uy=QLP!*|LM%s@7+=p1av^<8$@H@t ze*wxUAiaZXSb*eDy)Rgj{JbX%{wTx=CwdZ7`8oEwhGUli6$!C|PQj}1mKcNc&5|JO z$}i!yV4vUx0r`Vw4EK)aUJka(c5nm%;61=;G{)q%K}o(C`BgE&1xRQ5Gpr@BZbS>`+`@YpS&%Kzh z#EZaMe%jOu24*bY9kAC|knh_7KzY(@yvcFSP4F)~@mc<*z}-I2@MSfCd;t!WmhY`X zFp~a{HTpAMB+aAhDqG%B`p+hmFqKOb<^&UUy(Odx^Z%qBc;EX_`StoUkHT$!?1|@r zue2}b#!I?(qAos9f0PVf?aH=#zWWHj z&6V|5Z!ZR(kMv1U|9$*UXJSJ8C7y|VYl`$}X+Cdg&T@D8GY*a~AY@h+ zTnIX=??E~eAYD-J39JBh={oRJ)Ii|NxIn|VTmr_g%e zXKt?6*$m7oVLz>7jD}C^riO|ftFYap@Nq7?s^*5B$;su8pR!DO6DcucX1Z+c)!C+- zA%K-aM?ES9U{kPy6A}VGp0h^H@FKuX76oobg<{8~6=DSrT`Cz6O0p8dhNV?@ z7de7{*E9uFp@z8-*B9F+GCO_&d#e=dDR&p!cAKb67qhxrN#dWy_;$(RmhV)tBr@I$ z|9!L~7?EQwGF0|4;#pwv<_!|O3&5jKyFig(TcFzkf3R}fL+B;|>6S8melzolar6YBV<4cBK#a-yx$Z^z7xmZeMqGCBGe?lPCW~Omd0XYK!<;e^6qMbErR%Pqm%aF_8!3$g3}0NO$8s z&>{zCYfTImV^Fj?E}2S2W3Y`fm+Hm_-?)d6pzZgV?i9TB{Q>@+82PeCAkm{{UXc&d z@lA#r2qxnnsfX*HL{^!)UYv)h2o;~wsE=FyjNvIBN!ix7y=MV2=uqqtiJZZor~Dv79C@gFNJyyHuF>e(<0pB(`smm|GG~;~^yWa8$*v z)I7D&_OL)tWQTFSWMsogaNlT zvg!JmPW(hvUeO?v+?snNz31rVi)vL3TprCt_J~ zR)mB}nRl1ztLvu3u$cyNgD)0YWoewPkMdtA|9i1;bIhkBM^Y;zo(jZ;HD$wYjNN4$ zVZ*KqA$Y9sd>j#azD=fngwz)xFEciSOponyBx|RS(!xK_-wR82qcaUr~ipW5_y`iqv?4xExv{PS+CT0g>co8 zT5;YQ>|oC1x22`^*Qi{_p{SM*CCO=oqIWrYYFV40)rtDuqjIanSov&XMo1Ae$ys$_ zmV4X>J{weT)EQ@kpV7+|#}{uxlA8ic+No4{K&+_Xu=$$lz=0DjCL&#g@SQ_~sQPP@ zp2AzCvb^Mz&+((S!!;Og+b;DBlY?eXV&TV!2(xm3S=s%&O73!xc~AkYShOVQqop8o z>&`affoh0wgjpiE?&NrmNK!n+KuDbG(dem{B^}+7m672mYk1{XsUy6oM!43X_QFNi zS~%q~HN2>gUi7hB>RR@&wXVoOiTVuXy>Pf7kO+M|otPsO(JJdREltJ1KKR2zR%2|3 z3Lg9M>%yQe-)C;eRG~n2S*qkF!3w$5KOknOZiE|Ixtp&4U8TmLQI+nom%S(IM|Y;i zN}x|~(vs*3Gezj>KpF?46}s0c4PjNiYeq;2V}Sw%qrCRk?C}Ik9d+g&zX92Rrka6P zm?sfjG2N!9vVRmK?`&h<@$2}-ds3Bmz^CHM0*ZP;#LzKGj^8T% z?M#dU4_2<_N8dy<4)RKAO!6pwi4Fs(fVlcbxcUxB$>%Qq=sOz*13w7yzIk=OwRF-!^pR!S(RZz& zV84SK)#lcWPD4J;r3Crm2ZnU6qx{K}WtUaDjQD}{Aw^j}zk3P_d(}WR0yju-)^Ofb zsjGx3WF8+j9D?6EFLzJhBqIjT3T4coy0^U%nsAo1;Qobm`xCluC#&n1193MXd&`VD z#WpUQ_)~-B@zqKiL{`;5mx?u_txAv&MQDAtvjNldj@b$hK|YIDS!$$}Z*)n10Ub5k zvYkzlRF+gW$+GE&b>d(p!SQ}~~X7LJ0D zv@`i7EtagUdo-OvS@M{yfJSbKAyQ2`nDOzgw9V{CaBGjvh8w%8+#KsDe-Ep*a=J~po2oS^QXm#;aD zs%mrRcE~Et)4+8@)tb#q+Kb*J_JyV+ip z>t0#uE9bcNy-=q)SFQFT575~^d}Lj>ZV`Mr-7>|ZYQsQcQfxi>OST;kGCiL z7=dK(I@#iLp__AdpFZirRVEB$HVj`z;n`HaqI^h>ybcX}60&deHD~Cbh}+?OK?#pq zN<@+i%^%^CV94E0EVfbob+pvvo-&j-3_tzD<3b9^d${c0G{T8=;cIrk)6R zKgBEL8$=wjG~W+hW1VouqdtmL^MveoCgic7+-r0iMK?^SVy6jxkwt;{51$`#lXOKR zQ%BnVZx-iRe{&-j)b9ES>c&)TSzq~*V0|$Q)eR^knSx>N*ywaC zJA3|TH`$OeA_B4TQBt+1yw=>E^6fX_ZcQz+|0 z-#2sImVS0S1qi7k0-2BPx`6a`L57kTqTGlLqn@AC>nkjkAj4tdU=Ul00@Uyr$Y%D=G1 zoYwj8G0_j&+g~Ge-SrGawge-DHC}{^%vzMGlaN5GglXh#K`H>i(2{j*r`!WiX@LL! z?Je2X(A8Ac+xq_?mr!FiicW6=lX)l@XLFs;AN^JAIi3CHZ6<99dA$g-=SSYXTnynh zn$jt}t#SeieE4YpSCI$_Gn4Ztfd7&IIIZEl2{>+EbQ@jrskQ&OwPBfOqFFCAOO}I- z49A9k;Qm+l2#Eu#O1YZ+7b?-w|1xYC%6gCA2692xS&;!#XI(ha{DWtBNci2sVaN#! zl9dee`>Ny5_j(0v0#n$nAD1$_5U5Oxx!+`4?a>h`k`pIPFCFd;3(>^AsW0xK+qDDt z2V{m2lu2Wk4;$6JLG!@TyqdGQAE$;VxQh-(T4-%K3o%l;A3Vw*ZCMmg=Mn4p$@5zm zdDef~1;}5`{nh1W7#l4~?2#JBgAo^)X~2;Wj=?*T&*`X?=m6!v9sR+|W$9MERdPm- zi8)Jx)%JJpKz^mRx&h=CdJU!%$J|UY*Oh7e!*KCoT2V{u=G&|q|3?7GEsKybm}zU^noV%_k1F1@qsVh;R~%m6*0Wn`-?{S;+#w(}5wY*o zvD8M;Q*O$s>1wzGCy$8af@++;yWkPNt$ zPt@B9J=Y}4q-sPWm8z$ zq1=)TNzzW&dKvmcUvBiljaw9u*P~WKsFY`3z`zi+a}LTf6%DV2jvyxOu>21*=5eaM zvEW;icAQ(iUm=FX!#~1C9diTMMT~ze|MSn!ejLgkZf>D3mkM7fUd71^xXm;6AYn5t?mU&1{HTj3p zw<16BD(vQCr(>9Tt=e7k-Z!wjGGV4`PV8Q!#a+z(@sP2rf2GAJvH9S`{}LM2M?YpglVR-nO#mpx)ePlIAJ?~2cs4yQC%PLK zXmMQeOv#Ja2~tS)6$)#h6Ox7z!%Y_ZavrVn%zMk1kOHvLl>=$IDM}5+NzN)Hu%YeH zQ&DQlu4h7#!X7v<9nF{?f75V#{;%5$LdPjDtKqlOR1c{qR2|&5fB%WUnu(zLWqF~i zcTVvB&ZAdb#(Tjtjox#iQIjWWv*&+Uk}UhyeJ^lWe3$+*H+RKOlsuL?6mfIScWnOR zo3C@0@oHD4xq?M^rhe>Ho|1O5)Zx0Do2b}0X=AiuEicRay)eH!B;D5jE6DFlQcxDI z+jN$8IrV&N;C(qe5DTSGS;{f6blZ%r>A6dV$3LzXd{g@KO_-a&et@^q9*J&HNiQXU zoS@KWufFZ|)J{m-aLEzka51b7Wgt&Rfub^N(yft$(!r+P?N`&iLrM=GE+;YRts7_{*=%Q7?W?ePQ`XEQRAHdoOIUytvUv zazZms)8ulJ>K~bk3c8F+**t}zf$jxP?sKf@S+p+_Qeja7PnloyDyE%YIxkQ3G)8rO z0Y{!@pHtkZBsdYDKA&DYNPa11c@)+$t&T{)mFVmL)3we;``eJl$KwW9^xT=|xTv1a zrf=iMRAVX1U(UUH9QCj05O?Ri-bsX1zY^Iv2}&QS{QcQDO4YD=u|24mA^Y>o@^j^{i~@S=8YvzYZgb#d%bplzw4Q6#Ky* z7Q{MKjBEa3vW$#2B$0IKGiCD|dB#trzdc=VV^OW;vnhYO%AXm>Mfl&#OJtBnTfDjT z*v!^Cbm1q%yS(kg^PT#wf9qYt>jrKN)VDu=q>TUE-K;?HgecD8Y+B86*Mn%SxdKSTOxVZuyNQ-^o!cnLkN0=gI47zu&y|X5^a?jw~Q+6kL_lz|!FYX}FiKzO)DB&j> z8sC~YI->9E0guznJw?qJ1aW*auk(a{{%#1~+kl7&EF2m!NR&KKI+~Cih;w^T`N_4; zK&v2ztUgzR?e;Ntz#Ej?6q>B0zP`R}G5L*3Kfg%f{PQ8TQu3)TUo_GB&0^(&NlHRf zN%3L$kBn#+v)aXN7K6(l=!Pwo?4;h_<-hvCb9>G{hd70ewKck%Nj^O^46PO80+wQWw)R$XY2M9w z<>g*u1DwHM4c!}zH8gfh7w**z#O7->9)w;E`>Y<;ZLlGB!^3`kAyTM&9ouWnIsOZt zeAd3kDH|N?6*#q`_BQBkBu$)0Yafjls;195!Ed#WzLPASdcMSc7oOf+e1glJJH`yk zCkG!U|L~Evv?zt^8stsId*48qmLzjU2V|8C)lHk%jQyRXdbOPuTsl!-#{`xu8q^=Swpqn!YiRx%!2C`Mp}BD2{<-35;v{I3=sg`*B8p4(qB zsqE|L?rZa{RA29v>t6J3j_7f+#05?fjB`vmh&Qb>X=(oKT2ZQ)(9v_*=wk|fIGyZz zurmw%9W1D~t1-issiuJI+Y1{5e~t)*I-hWRWZ05LZkyy63Z8b@Uc@srY0qS!Wu^MW z8s|>v`TQG6Qb^Wf-z^Ny_q|fR-YniL;k+3{aGHEMcD9isjv~=JQt;z(n~wGz)mlX9saX-E6jJF^12PvI+uTNzI(yx z@bZ`Gjm$<$32n9*%5fRhu+$nSzgn7qHx(!zDcUC+h+VWik$P*1BBvMDzg*uwuB$hAJl9M_{-{+XLZk{Dg`d+;``P=wjv*NgGwXNEj6{#rWQ6N8A+ zkRSBxoIP5{r-UDA8z1iOn}*I5ehym_gj84!wkdWhdQ3DOQC32QdK!0c+wc={@=ZQ! zF>HkOs~MWpcTd;9uo2gJQ9K~?Z?GhmFuu(Wt)P){AD$AfbV;cD#YKCyixBB^w_FTFD3yK~t5 z$8q)&rMe|0#Qm|+MBBr~n=bo(*|}2hE{TLQ zcU|B$M!5GcN?d24YsJQX`b*8+%XmfKAsz|?I~Pw0Q#A$Eg}M!!t4)$6mV8FW(~{h! z#XvsZqyf^At(luV3+1$@9B0O_{u?al^?I~lLeowyp}*Pu+kV=x>41Q^fCy2kZOl%D zzwCI+d*!f0UC2GE%Rs;N+Da*WrR`U{eLXLN5^5giubrMf!6E?>mcayvVg$XW2f#R` za1cu2WL&blpRO~wq{?uwqTB>JGD)3_9(m)Mb`ui@!kn)8qoQ4~egei+h$I&s`b%Gq z=~jxeM53Dx7)dx+#1!Fs%5ouu9h+~Tm7*)vtt;F$+K=mcal)=evZ0WMW_o{~;uZ#C z5%Y7h)V-DVm1(ZHa5~30xn+OJ{qOYZvYsy&tY6xHsLJcwcCAlQDtzv$$9d7{S?GaJ z8$02XgLoO}y)0HHz>g~7QT?vIuXM-^x`10VovsllmQ1BvhQ6xdmVco+(qU*q++`yf;%*# z`zpJ?9`98siIET31)c{6j?g2VNk-B`s4%%_lbN^1}1?P&35aD}LY*dMwPxel*HJIiu1r`p z4zl;~^X1ju$Xpp2&l-pZ>+$P)ayp&Z}to6fr ziK02xXOkxJ&?NsStEb9GMVjZuMI?@MTB<0t^+_72Z;W5O7 z6H1LyHLpmgfxE#2+62@oOMD`i0zQRGPh6b+6+lja>mvb2!B~DnG??XoU|-`o`BCLxBPb ztCJErHV9WdXdGc>>RDa){Ge>H`kG?ADDaZXx6v05h! zqU0q`_46V8XUZx3Sct^^mwrJoMn&OWegf% zzca;2jwcYh^))Rq$ZD;PCCT4}`Ju7$;=l!gO5(nL9kC1rHm!h&Ya1)a8Gcs`ZGKK01&Zxhx|$;E>H`V8ujmby6xBIqBC|4cOFt$7}9InP+AQ6F!Y2NCli%Qx`Z1jqap5VnJw9`V}m{f~Z~ep@K)hiSk=j_Z%quYO5Q0J{@kB*+A?WwZd)S-i2oYFm z9)d4Uuw|X(Y@HW`8dIZs(A0nFg@>b`M^cIpIV}%fJ)y&=ONfSUb~s zX=QJBax~j8d2X*_qxTQ5gjHJl-7H^?)n)zf#mq~h0X#*ePflw8jJj%OTk^TkqSPyg zEj6}J%Dl!R>RaChs0~jmSt<_PJUxN+Tm|WTrN3Zf>Kt#E* z_HZN5GV812=EZR*ULnJJHYNw@C;Supdsc})!|*`jyX2ufC}FW17r!~N^K_Wd)r z{L(tRRtVMgm-22tJFVktm=R}YK0oyZk|Jm1?0O8$$C&cRJM7KrI_SX5@rDd`LF{|XzWVcP#zs(U|2uKJ=gZeC_ zp}G^+zkHuQNB3tRAwB6O)6dR)+K0FwmvIl(b$k>nj#2o5WJePRo3c?#VHpQP#g;tt zT!)Hks@v^G#6e`JYVZ?@M|E=ys6DrEbVtH)}n%d_&vX43AX8S3==Y3Gv8TqA-erLIyNiBPS zpPx=ncw+FE!-HyaiabWfQRlsFAB+gJNO3rFc&2+?Vk8_zHfPU0bGY*+sI9Ez8zx2j zSArx4Je!--4mItjl1b=$#B9}9cdYa*YNk&4h(l#EHQ4S6%M+vH*UCOrBs8@_jawKz zCC^e{-+f2I-DJ!qCauXvMn$DsLKuHF6`hDjW8q>Zl*=7C`p-gd_BAt3W(AC{m<$>` z*-%B=_~c)CuFu>Ie7qC$-@T)ClaPy5{#)K%>SXRHAk&hbo0s{`V&`wXwYDUS_pc!H z$fI(}nT$(!Guvf4=A&8q>~jk|gJ>t#WTLS07=CI>XBvvWOLR8W^N7Vnu9<3dgId>3 z_XeI4MaEC_x0~ttKG0*Eey=6oGt-MV?^5PAov1@?d{Ywm^U(FXgj6LO!^XLGM4#m; z&NPCai-`$4v*eTSz+8df#KL}EXm}(X3g!7sY43kehhXaH*QcqeNyd(6Dpmo3@63P5 z%HLQc#l60%~8TXU=qBCWQ+rF!$Qr5I_7!;1& zWL2d8JKp+9GiWg|rcrFZVEt*xzb`M^C4_Q{%NAJ^{Yhl#Snf0Ni!xQM@h2Ii?ygZS zU3;V`7X8h>6NiP7eZB2lJ5CdP_u?;yLrs!nJ^gya2O{nI4(v!#Ym8XgXki&*8NYXV z2*h*UD%eluqcuI22v^6C%B;BeH^c7;gNb3X)%N;ED0)M+M>F<)Zi<^t?F=3P>lNtP z1XVS+R#5z1*}Rh5s2tv+OwDNh=$2FssUA~_=0cOQt9U=4)s({9KlSr@0)2>ohLp4O zZ-v-*Vz7cJ*juAeBMwnHnNNe?krFsvEfD4g4xmz`1 z=TM_Ruhsru_`b>;`}$J`)L<#e0hIvyv!xI$L{t1kd0APbA;D)668S*?e|pvPWZzL& z=I_;Er==+NnziGJN+Lt#fNX4>)C@}1Ck=AGjjT-ph6L+dBV!{);yYk_Ky}r=|7TVluau z8^}$(MRSz?Jh*{AX{pPjCI( za-;1NiR`40$Rd_*3X4e$2_($rBDg9C$V5a>BcH?Tu8aT05sNUi`q1N?Jp89pha;C8 z^J~OM0ydm5yh>JXUA^jB14_SDmg&rFUIAh0y-+{ds&wS*F{FMha~F$OZbSVtFKtQT zGRTCDdX~|CFN%zY(DnO4TuVfE;LE`%g4A+l4tfjP?s(5lm%71-5Fv^3cdR!vPbAtg z4Bb6F?X-byAxV7yBp|IYK3J6ev}j7V#69wv`9zu-CO79k6t=lT;$5qM7CAY^iJIfGZAnw$;ltP)j$IPu2)UsnxyTo%+2?_ua06XZVvdVI zHlu|@Y1_Tw`BTE4n@%BS&fLP@)AMCz`?M#I**$Bf>?zCjPjV=q|!w*5-#~RG2*1LoeYHu#yI}^F}Obu#t6ZjARNFvC(!)(2Zh2r}_Tjb!ljVhkvYNI)?yL z=51Bf$(oIhPZ%X!!Yt^Lhvx4eBh3_X5q@XGX~O)!c@*^j>AY~4@d=l!Gw4tK;uC2= zj{cqP9y$AZ^Z{&SzGxM+r%_Q+^;z(}h7l`KqMOY731_>l;EP%w>`*7{PWasIQRu?t zLM8R?blVlSm7|PV>Fz&lJ`4_GMM*Va)HRyedG#rm^CS1j$jI`_N~p0mD=7&H2@elX zOH0e;nGC1VxAATFfs{uN1q6QgSb!Ra_x1ep0+uNrII-5R!PHzyOrlp~wp`)XtrA1Co9-EMm z@aa(5K!jWG z+jzATZmxs9;UuUM&O0iR7!_pIpp7rgnjZ9AFFN5Ir-5co&F9LkiXH9G>; zxUtV(up;xOD1)A!o)^enCMqmnZ4ZFU=k9M1Rb}dgR99Ah1CK0DPEP7h(fyxyD7I}{ zs01E7I9$XV%E`$AZS>zD6kWl?v&|AL)q5k}JB@K^X+#L=xA+Tqs&PF?8(R?gn$8Zw zlZj|WSfjd9Jy#Qc{*?1EEua57wcMi@VE; zqq@t)8b&0P)b}>L*6Im50ykJ{aN}KCs0{IiEgE9kMW}h*fS7)pBZ~Rijoyla{QShE zB;^!gOXdiwqsn8&7AD)Q;^XOs(G%iGX4h-fH!ywow51E z(a^x)o81JoK|O~|W7+|Tc>Am#xKJODs4HiG`7-E+E%r`&X=y1cD$2iR!|&o`52y*{ z85#cEV!99JFOTQA+1OCuKnDaP$Nc*Gv+w?BkF%V?{Snk!(J$+%-m1}2bXP_-f>a$2t{I^vx(9zyLTwtcP<@xWm0cQbB31Sun~R zg@d3bd^c(nd~k{iLVv^?WakDKVB>FK&kIUlp@PwR_#NO#BwyRL$8rW_sLkK_v(mKd zAp%o&oIG!O=^+ziuxX1$g{q{n_KWLu^;zD8eW^B^n|vX1!8aCpWT$bl@gluNn9P0z z;lS`hs2CVbFQsK3yN^G7vM?*i)@T&Tw+bp^)E?5)F~pSs56>RxzX|a08cyhL%^iZ& z#k@YVSzTSd!f8ROVxmxk4SKSyTE<|)uHZ&JB&eftN1|!Yfy5l-zXW3f+d^B+ROTK}S>YaH8lq?$6Jlp)X)HjKmkPU>1xvHpA?ws z!OZcca0)!BRIf-@Ru=x{B-g0S6vN>FB;{@|vvXkhKx4ZJQrlFWovx)hDo>@s#0)xm z;go(m0ow12B60jyD?77nnB9DLo zR7CAYegUY#2)5&RmNK8p$zksr&{_5;d#=Q2+dQ}(-X4%ZGyYVc@skb*dEqZoiW`>Z z=3Of;4Ku#G^O6FnrKJ4S43ZkVzZPCI2-13ClAt?Vo1-#2>=rdI_=LixRS673VHVXs80uVI5`(lc^P*zn{AwH(2_8aBp z=j%232#H%4eM5dkSXkCTB=S75<&P^^9Qx0>57<;~xYh%IKru<+gK^!f!}TGz&EI7i z!wXL9t`M|?O?lZnS}#^sR%~N&m*tSwg>jgjF`vdiM?*BsT!C@i+UjcgK~x&@GZ%Q% zOH7RRJ_3f%IjEVJ#A)#{Tm68D0fNb9;2~^Vt2P=nzv#LV{dYj*;C)<)+LlhMG48g; zyZ5v7ckeDk3mJlZ6$T}^>ut(r&u?^qRXQL(CgOCokssvyJ)wI|8f*Xr6d2QnhBNRV z;y83+kLD^Fw{)-Nis-mFSl~7Z-`x=uJON?SFwBrU z6F`74g)iE=Q(0M=46<)9M@H($L4Up1#LB_(fD#{-VZ)_Pz;SlVNstTBH>twc;84x3 zUA)|hZwqf=V-rCudIk!&-54Kh>pvhoZznQ%`0ybZCfh=f0dmLT4W;Xgg8{$O6*vkM z@!Zc<&H6^IXl~Agz}~RdWE*|grnmMc;-A&M0< z`is}H2jQc^emZM~N$WV;q^2oD?)N#3`5^g^#7rT@1uC!$@VcRYjvbJhD_i!9lB(h0 zoIE|y;h1O%B7)q%9iScm_nu87YY23*Xo5u?Y;0${twfs}8{qzkv~!$~oqK&ulRpT& z1253rK!DZW-VSLhA`lV5;svgRP7huo{dnQGQ0RGi_x-VG2W_gz!&e{*OMCrK7hIH~ z$PjH zN2lXL7=8&{402jpBTY>==yc%3xOsF2E%YNRQVIAhpxyifGY%RWeBFe?XEi+0#F^J1 z+5yw3dpe;PQVRQ~cJLoM!5$7O)76zlt1Vt@<{qruCwEy{|o3@9MLE+T$4w1bG ztiBbQhhc3J@w@Ut!2E@k-{*O-8XOeVoAPMPPGHlu9>j#y2yzY`#I{U_&)34jEilk^ zsxyH26_1<)8ykDKb^@a5Ft)=)+v2*v^_v$L7w|}6zg&WIrQKxZJuWUTQPE5IX;)t# zgjFMdTth=cw;T`l_nlO6j@S-^vTx1i^Cm!W;hDP<79I{$m#sk39LPnHG>q2!uzvcS zy1YLWJDCsc>gp;gDq>Mih2SizbwLMEK#T3+E$XJ@P#D*(ah`8GR~KvI(obUR5cAnI zq*P7uZ|!Vse)xqg)o{hJi-=Iyv>XZAF-`_{(ZlLHXvv}E94#HLo};?(gIXA0PoXKhU;QG%6eW%u9TtBV+wlKiOV=GpWgGU7y|ecW*_)7&$O_r%;8=%{eT)c|2C|ct zmGvsJlU?>m2$j8$NHVimzUzG7=l{3&InQ(7*Yz9M{kv1cE{yW!Allp8ZG(Sbl3U)}*~yf-qo=9a347@lTqvKJ zDXP1at>De2_G{Et4ibRq5nlBR#LGntbaa0q(*zEC?!?8#sh*4+K5T`Pk1cpS5)vE5 zZ(p}>YLtw))l5QQ%=Gj$T(bT=eC7A|w{s6qJQ-Br0sFhW*-Y&0&NrGi@6}HLy@=FD zH2c7{4HC%8R=1jmutE}4_gOxCcOy!pgR|g|Dl3#lL{_1C2Eo<4fE^#fJ>l$L^>~A) z0O?xbU@s)xtj#njT)Dz(-DQw-mGfLmNhu>;*N>wo;Upj~KR-X=>M`kN&C1HkzIjm> zy6v7MT&>;$M-R8OYOElc#G`s56m~x@VhbvizLC+Gs~mu7NGWK9#DMV}N0hXZl2yrw z1~sdt!(_YK`H|6RvJfAiBg8d9azrVVX27eE#DlPhQ_UA5pDxyiQ!r!SQe3$3S}EXN z-_m3~rl8HfsH`k5I-0I%8ZJ35SQ>;huPXto=39B37Z6)JM7i0{f5gUe8yZ*<$Z2b- z-G!Oq>FIu7*J5uxm{2l}L2s*!4mv*9P`TLo@FBwmA{kL$(iO52xlsm&Bnr_l_&!aPp_Ry3TV>|z?<-?`UaVZ>a@@hG|rylYO0;L>2lFlV2rltxMo%Rn5bR9GT(I8S^#NFEN z(!xAPU0+kf=tt|_u*B3Bi0R=BF&m=WMZI{)XfI>E%{y&5NJNc#-#lhumCYq z??Q9U2Kdj;&VCJKk|3a0FTB0A)0V_UPtS++f1y{%;GT)AS(nlk(DoO zRJsgu;fnwJ+{<3Z#zPR~M1dfo=6bdhJ{@F6A-4}9ToKgVud}jHw{HuwNZ39)3oy@v zdz^Q)V78r!Eoc+}5)0PYAv&`jU4vgM+Uk#n9c5bVN~}%Od2L`grEf_jMGp`r19?I* zw<WE(Lw9cVu>cen-Qd!?(QmK zOCBt@X+r8p3Fd^FsvI>dc6N8;E>`CBTE5gqHz|Fq5v~zGfNVJcb1u%#XwyrmS6h_7 zu5WO)%%!F>J$&&9Iu;;7$a5IiUV=l@e=o5XmzQ7geDQI9JC#)$-3hq@YNuNrSy@?- z!bC(uat>Q}H^}p|lT56qhBD)ry1IIjpb?bY>b@no)Qfa~Q|snuOxAcCX=BDz!a+q( zGH!x&~tE99oRjroBUzdO1t>h(Y^(rpd(U1 zp+N2dLvzD5=kVXc*lU!AKXf>RltVjV!rda9Frujm*2NCn(uxWfeJ!p!21of!OO;Ug zt&bpIDfFZLma~&1DT)Q%rA|G@R>`6cI_B6Hv1G!V?fByW*+#zdK zkaJd;m*)Vff^2aS+{#@YW+Ew&i*q|f+2tmxy!qH|&D2qfW$m7_g!OLnP1+{BsV2$s z7#724J9&oOfg8VmDL~u?B#rdA)kwg7@6axqS6tR6pKN>9OMUEJQy6!Rc+KJQAg{4e zNkD*@-NNCmF-&=V{|!P~!f`rIbJcxLN4O|#w@^Sv^I1#txF5fe!SA*^uCXl zRu{k!dOEt`N|z{ek(&kvVxppscO#+sI>`W+ie`^o**kvoMj#8Xpe8E!1LarimeZ5D za|6esI(j{ zv#U!xd3coCR@^Qb!TupH@jSZlSUz*TtZug5EIT8k5%S1z!C?A^hDd6<^9Nz?o z*k8|vj3yxQkj4-U%18eZQ;Xi)@528`$KQvG8zHU%4RCdJ1?>n*n-u+JUS8gd7xPH& zv;ZTT@c0KJ-{GgU7XUn{#{7*{`kZ7UJ50>XI{am}o^%9%`Zwubac98}q?W-)|73xk zEJSkK)_Pd_`RxFr=Dz!GTWoABz^L067UZF0l_TVK&(ZkL2b?J=C_0Q1 z)6yb;6R#21O|2uJu1nu|4O2`KdQS;Bl9ldIPn@+}3hR$1&DV*L`ge{Yj!2U7SA9&u zry-M0nKbH?>Rg4C(3nDJol9>{{P!O};t*;tQ7tc!Z3w%tt#M;y%lYrk8~m^d4eCO$-)uqAG7BEJwo14komROFMr@LB(9%9`v)-1@ zQn_zhF~&|w+)OY0S~^Pe@BCA0taT}>;hQ6uV+Gbn(JB-X=hD~;;QD#h5aiCK#DwOpm(>+th(w*k0E^rVAqxSkd?eh=fT&UY;3^IEXq;B&F;YjaoW}PZTKEC|GL?| z?WO4N$iHswh@__Y2QvW8mNjl8?{1YG1`b>vLlGe0p+%3S_UsiIf<7sL45Mt}+pETP z@9RWjOo<=pnep6eUXBryey{o?zWO`zdm)tpi-) zV^KY%H8C$!9G&o}#U-wA)InlLZLK^97lvI<$U-C~^x~?&(u0IQ;B@%YXAY$1lTJ=fu5=QKWg^oZ{A&1M!qa8$Q%^!Q$smHv1a17;aC^(}l{6h+7>DB#fO8Vl6&(K72unRy72au+h-5QxQ|gahQ%^5*6_FfM{H*q=Z~v`+GA%Pg9J zWG!(%{zGe1{VxO((Yh)?Wo2ACfQ*+{r?pmPfK5BxspD)h7YSNMAq!AYOw2$aDKF3P z`gMYPo=cLs^(cwh%ssK;;b9|{ZNe{KAv7(Qx!j^etEU1Ks@xix*_noh1{`5U7`&3g z8?$=>Tq|o)QSRcR;)NKk5Sov-2Ap^PF7;W)H_mw3RXg8=e;F}-|5x@Q@9K@GZCe27 zsvLfSwhie!7etIOTijm-Sr&Evfx3I7Z&-A(>U)@hfSC{j67?b@LnKib7K8*#8`2a1 zjRnX1LtGu){ zHYO$}KE4^qXf0&eK%y2vAz;4|5yYu@$}V3yQX`ZA?&3si4|z%3kBV2XUWFTX8ynf` zIHb{pq9eFi*k@$)pdO!s7``!8Cn+r4>naCfmuQ_-sG@UeGGn07Lsv^ahY+puygc=S zVU{@Uxy5dX&3v3TcXjWF8SI*7Zrql60Kp~i-n|1={SbCyR7{Nf-MekOGp()HF!UzP zADV&Lj8;HJfn{np_q1WOnMdf$Iu&Ce^D}k>wCdx5X>ftU;%}%FDx!9DjkF@fTjnVb7~-2>^fb5;&?9`Ae*U33Z#`TD6Fqt zg-3%neGWk0UM4+N!shsIpQLEY7v;^5)nJgoJF#h$gLfh%R8(0>Bgo1Yr)__&&|Cx} ziX#`kgRJWR;x%Ur4l@bf=mV9-4&D22Oy=gcnZM5f?0zvp6>2Ry8IR;djKQ1x3^hYSyxmiUW;|w zK@EedE01}P6wBW0b@2x7H$6G&RyV~+9PEd&^=)%Kzt6e)E7v} z>2JQTcfee1#4Ku$-lRof7Z-mG<|JUm?LG|TYsJh$d3gU`X5SWkN#N-#fN0{h9Rm$A zRScUST(O7tj8pNzXahPf!$K(*=?6+=we!GV2^GkPdymCpA&(NGW))>+&FqIJg)2C> z$EZHdJz$^2q@wB0R)!12JV<|0DB6K04B=C&d&gKTdLQEjvOM@BZAWr8X?=wjB}DHa zF|7h8yMgZnr9AER>v*F9unIPDbYDv=e8laJU<-*_7pPSxCJJ(L;Nl&FyamV>(yET2 zMS^>I*meYAbF;pE;#luc$Y~SOd@$Izx5Vz$)(v{MdkwsqF)-^Y&E8p*0M~fs z%8eU0Anr~o-2iIqT5TizFD(^+EEX0T3*oYQU^RkZEpFEw3d!8#yW@+5z~=ZQB+8+f zZO(oINLD$uuE>Jzf66I;F004?608V-zK_6K8W7<^4q-cd{$HrMf5HK7a}{n>Kyx+N=Cle>P+<34c<|YXqFYlmEocy z&=9Jss%(#4#@F}3Re+}ew+GBjNqq2Vsz8e8;o-S@wb}iFSgD2k{re4FXjT~~Qg*oz zYHsTBCEt-BKUVgFaO=*U`GU1$o?7`6_wV`yV(vWnYkU(t?5{OLn05WHf@2 z`f6YqzVNeW&&pYOpf}D>HbRjI3aU3PRten5YO}AL@PJzFV0!=pbmzYdD;WzuimQMA zm^3*%Iq_e*v^_WDTn%}{G$jYuH8gzkXb@;eM=<4k=OB*~(ka2VXzt`x@It{qdAP`- z8qCnt3@n70h-hMcA1IE8xctM@!^+Caudnf*$Y4w7P|H{zA zGg>DZOEj8S_J^nUu+v=g1B4Hxxv6iywLWoWo<0kqxqVhOdQFAeUVRw!NL)0tNXn## z{B(T>!*N&`LhOcT0-sJiv{E~^BmX#vA?AQo>VPkuG^XBFj7NelWjcFLD<`dHs zBBV)14)8`jmdMOC;6B=(j78FDFOYMJ;GOI>R0nNmjQy|oXZz{IzP&YNam+i?x zLqh}lH8XS1Eck#h$BMmI8lwdTU|;yg)O`n5ckCPl61qU(nc_ivfD*@9<8QoXum-@r zk&u$25hV?N3T_aE!2OvuVi>M#dGpEnH+Ti`*G&CtC|$|}QevSI6`RAvh{jV)EkX%A zMhl8=$-`CSY5Z##OchLRQd0JR`GVDVZ$Q0HN$ILf1BfH`#k`iP2Ll`YRp`|CI14*_ z3=mc;=@5C4Ton~r?4YL$iHgc*4k%?y$jH3>ls4mau(JcqaMZ2FtB!pt_C6u~ODHwv z`&d%}=Tks{jUcSnT;ac{M=3!T9iAO@yTn|i|MOl@$4(@%m?!i2Pe7xkJcac7Gz4@W zX)?jPuA?Y_9x@X+;3w}fUz{!0qAuZPQi@(NR8wt0T?M5EoXg$Wqbx{j-VC=UtQMbgqQQyt=>Co!mG%X@&d5MH)ojozpLY2}9RQ(Zd-tT_k1}7S2*EKuCS$ zYLQ|rj_{+d-4U7(PI`srw5zcv}+N?!*f=kdneCiwkU%!iEa(UUgWCTveVbrY3 zkJkl8cN$zi673@3!L$( zFa6PE=xb;x7VwAR4{4o&Cx4}bjQ-8D=Q{e^Rsjd>O?IGP_}fsKlYL>je^k3ei1&bx ztUOayH`HLDYoQ9n+$qfcD&I~ZRu*8VHKEGu>lM`p{_9u}5*M$TTJN_m0u-@hUnN)2 zfkA%6E0I||xnsX#T4o{2K(2yF>NU5rg0rEK7leVu>J`#G3SS@Sq`OU-L0~P$6q-@_ z)0WcsC5Ydel)cdrDca}4$EZg`@Cs@wC}On4Udag23zfx)M|zLN zwWruciuoVY80}U?zfyI}HWZxePT-lR3xKS((xZ>B2$GCXV2s=Uj|c6iI0!qj*FusUv1BIGdhsoiN})Yl7>P}62?EyI(E}8 zVd)5^rR)V3V9cN?3LVQZ_K#?Xz?@liJSm$+3Z|^;rs7oZZsSG!*KYEvUz6-ym1Zng z4nZJdt&bJYIs(^*966%m;WjU?~=EG<$UzZ~rOJDxT10A>nFamK8I8i;n)5a9 zsMwn0N18sVH?O|>w2fz_aN@EUlm4w+DG7wM;y_u{pPYL6DD&o=c^(z|BOzA@eVlKJQtr=_WW^?Fn z{mj&$NqYg``t{@pTx-C@%>1iQ&&T|D9jzaPepkS9y9Rnz(y+1S2#-;Hlt zU!$XTA2KyFD=-#{5FQ?YO_VyN+l$aHp14e)R`0<6v z0{9_~jg4>KI73Pzmvw@vW^x!Fil*y$IY3BLIT{?a(#UFGG}H?#%D{YS{+oEbB1io4^0MKGLhwYtlg#~tD5BS@inFAr4@GQe zFM-!2k|KZkG7yZ=LZF8TUaAw-#^A>_7d}VYNrd-05IWIo0x#Q9;XL9t^ozT1zajqzbJKvg--U_ zv|qg1#K_?oy+U3y-X}c79UtRTr${A@Obuq4`pcxB#ZSzoW3osH?={*;4gZ1@eP!h}xrdY3S`CXfEfZos* zqcmmQeh7)3I4L`ES|D=E%GSaBClBXURptCzA(Ur#%_Zg&<{WH>qADozUq5ZH)6vs| zD%ypnt)N8|F4IX}v#!m3kYg^=Wp2HFGu*w7g~a}iCiWCWf6^x`A8K;@`x9E6FDCU$ z2}PIHTAna{5PLthergND9m6!c4|P6RdBSuh3~@?+TIgnpc6Eaz2c=GZLP6ny>CTl3|ck)sKoJ;eC{SViCzpmC6&Y@aYxGz-9ti0crly(uv#*j3subF0QUcEiLEZ zy-^ZBZL>#&jgKSSya@2|pFDX2x)ls^f<^jqjj6`Y&(F`$Furf;%jeI~*pPwUGK3S| z{YpXt0s`QuuG8~Dk|Et6b0Um+8@1ScuY5~h?KH&Q*|)eK~h#0B?4YKG|H4M1OkT7q>Y+ifbc}+Ym{@< zQ;rROkTEy;PwtF~(Xp{V{z`3LqN1YG@1jJ2qH+DN(QwDvS>Vzo=@N!!r!H;{fUw)7 z=Y#S^xQWfmN~zey_HZo@SN}-sd=q*7U6N;ESAUu43XAk6S>N9b>;Pr1*9h96xL zD!~T>rnFA7x&09hc4Y9I*Y^2%NA}2#MN_I-U4Jj!q`rpztu9HcHWJs!4YF4Q`ZYa- zsMY!+z(izZQPI)u7T1CN?AXH;76Ac4`aRIGp}}f-MqKP{ZEc0G3LkJznNB(Y?rboH zk7R0!mSd|jr^|c~ihgV?<#rDEcd4nVXoS4Hyv0x{-lONy(cj!^K&^pG4!pd);$vfh zVmMbfz>rdTxfgKedI+xueha5~c6N4PxC;hNPS3!x0jk5r70-R61Fpz77hN?8*HZ?W9c{6Ur4LYZ;h6aA)GCG+B zkzY^%KS=pchCTq5X0!cXjkNmsu5Sl3UJ8xMf0>;RJ4oD244BXqCgvA#quH&w2|Npq z42$ey=czf*V?H@a9}1H)IkeOMyF#pscTFPAY||3^a(;7j5W_*tZXCGKUkR?GOT^yZ zo=~Ju$lA{+wMs*gg@pz9<@Ho8>3WfM-(Wi8O1!AJcv(q_V@S8M21=0};Z~!hqB3nS zRk>26lbD*4aw(}7L|ha7>aklQDOP0>JHnK>naX}=nE%TQ5(Kh$x*-ge6Yy?8KtOnS zIIO!n=^vmQfRBmafJC8Um0f@syl=Y*gI8(~eSEe6_`yni0HYGn>9*<;Vq*dP{#6}G z2c+}snUH88lL~%{-laD)jVOsxl=a8>@JqR3^iN+W;a1{DpLFJrG@Au^P}M*=foFuhA)k3O z&zO*eL`O%bnjfit>#cSH5O3IAwx^Hz>3U%@2;`F0)zw&SzKq8(ZIjzTYkh?c0_#_A zU~Y(LYaX?{)a8f90yhL%!>8?adfDp)KNkjPfVW_C?*Ni0$z=Qy{vPjfR}csS?(Xg& z+m~91_F#l+F($bbL&h4{>~y~bC}kr{vD^PTDXjrdRZmEL?X5_9V@rhlp?I&!)eB99 zLu!G5q4pV1`W=;Cj)#-p5-rJS`z4u;#FsD$vI8su%R4z4fnfVN9|J9ArL&{`KcOPf z8NlrR*Sg=4Edxd(_)5_8+o#1 z{V?4Cf5_VI4fkzn`wyc%2^FTrL*>OfJQwwLQ@;6aN*jbSp^aqs3A@@6O1NVUgbRg{ ztZGA#9ZWI*63s=ls)?7=`rhCBZK8iIr>Y;!HW(=aSO7`RpI#*={}>&GInvG#9L-!X zjh>O=Ry|=%j*W2@BSgU5jg2z#J%uPvccM525KYWQZfR;hlf>NKY}%XoY{oNVNq#*< zuilI)54*T#=$`@W#d}`Su-F`p`f)(#hwE!Rk4#Pl-%JLJk=)T>Skz+Ca)6^3!#d?| z;TqCTpI-nstgEdZ9T{$ z*uh1I9+Y5JQe6BSy1n6BSrrxB#Ep$v9;W~`jG;+Y=KvA*FD}fwH#kQTom7WP|w(HC|kSV_F59<`C-bpHkuA`;2B>cxJecJa-+RAFCJ^t5K1FjJ*>ku+9a1dfALv=>Y5kaLEA51N77!m)FRwHkC0e% zv6!XIcO}UrFh&pv@#@iVMUsV0G2#FWi}i@d6+ zS#YF{RLrssdBgzU3l2k#ke`a*RWfY7c6X)STY1is&k{E;fXda9jw0nw;^=X3)%TEw zE024J61J9lpAFr;2*FTs(s*)i6*auQLiCYtgFROA4RBAvSWp% zfN#UxG@(J~CNXx&XT~imsz0W;3bb$K$i7JQkAndZ4BX?lBVPCmB=gfO$hp zh}yiRtC_81zeT}8G~D|j#LFgohEA;PTcR5mThyeg9@{z>3umvM{7nB6&Xq(K=Dl*5 z$_r*tP+3fiKwnGwDhLOq2)}&cA z=KN+?U4uETrKmC#JaRk^H}T`1xABrD@ZNm~ohgxoNjf5tN3-3H%*Lwt@N225#t%K! sKIvMd5}>P)Lq`ekeaN1yWS&0CYmU5ar5Jq|7n68H%TTji!~V(t0C8`{BLDyZ literal 0 HcmV?d00001 diff --git a/notes/数据库系统原理.md b/notes/数据库系统原理.md index ec7b72c6..59006f30 100644 --- a/notes/数据库系统原理.md +++ b/notes/数据库系统原理.md @@ -362,6 +362,8 @@ SELECT c FROM t WHERE c BETWEEN 10 and 20 FOR UPDATE; (20, +∞) ``` +

+ ## 七、关系数据库设计理论 ### 函数依赖 diff --git a/tools/diagram/src/next-key-locks.svg b/tools/diagram/src/next-key-locks.svg new file mode 100644 index 00000000..857ec22f --- /dev/null +++ b/tools/diagram/src/next-key-locks.svg @@ -0,0 +1,59 @@ + + + + + + + + + + + + + + + + Next-Key Locks + + (-∞, 10] + + (10, 11] + + (11, 13] + + (13, 20] + + (20, +∞) + + + 10 + + 11 + + 13 + + 20 + -∞ + +∞ + Gap Lock (10, 11) + + Record Lock 11 = Next-Key Lock (10, 11] + + 索引值 10、11、13、20,每个区间前开后闭 +