From 42a889e6ed3f97a9b9e53c762633274b030ac685 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Thu, 10 Apr 2025 20:36:11 +0800 Subject: [PATCH] normalized min-cut -- Lagrangian dual --- main.pdf | Bin 235515 -> 236647 bytes main.tex | 9 ++++++++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/main.pdf b/main.pdf index fc5c57d5e52bf983f4111a77bda1eb707a9822e2..238256f84ce671ecc97f46fe548e574e5d5f921c 100644 GIT binary patch delta 16352 zcmaibWl&u~)Fki-A-KD{ySuwXaCdjNhr8Ru-95My+}(q_I|PT#C%d&Sp)htew0(DQD46 z7&5>8G32!Ts1Hbnh+=D5Y&IRh8BqZGAu_UNVkeSnwKVE9F=FuZb>*CUAV^bcpz^%j z!pHV*=k>l^;WP1o6N#LUy&OWqA%O`ft0NH`I`^dOqMa|5zPo;E6d!hpPEdneQ~r)9 zq)-BWqMZI#U{gj3DN+?<;>}=@4vA$|=k1vO69Wdi8o?qsAy~L)4qQOC8XC0?V&XVO z;uj;q>m==<5>Sy=9bk0qy&U{tuKgY^Y`v;RBNCb^m&o0v<-IN^8orS5Fdv2C<{iUv znVw6B#quq~T?s>os$q3ZgnILsputA+*kc5!!m2ArPCuP|w;)!SABakGNqu+z3;U&9 zP9p#)bsq&lGf0*kqA)uR)pQ`1TrPN(%9xajxrb13F$5X6FrCuNSYi)5#N>7`jJjqmG!z;6Ao_})A^&VQ(EaI# zB#EXX;nPmPb?6%0fGj8)pS0)q|Cxa zzdpxwLpBiegkk>t$C6H+#XBCFFh>!t2bFxz6-_ArU@V(=GBmPO0`%ymvGwae? zc{9{ejj?Lh^O}#AhvI=(!=rI(sWQ9LxaCIB8MK;2!R>k*r^=?R>Q{F zH*;x~?$x=swM=p-%1gN%mo8PIe5VZfWX2QUoTI~RMvXEpXe{>SC?QUMVW6r7Jht>2neQn&3QArT+vG$_+`vhTW6S0Y~xp(XwuG)Uimd$%G8 z;NkPRf39;sS|d}<>B;3pd7jmO*LCrWZfc8tsYVD{ZT;bgd6n+)J1;`PKZmWRxBFIU z%Z+1+{Qc%fL6uNxE+apJgHfe9su6vM9kg#-dyNJG>vo;!^KDr>5bknLlq={j(pBEi z$G@iZHN>V;Pfc~~_>ojk_~)GUDEoLtX+;dF zSS@gh54d7Ps>QN62;;NS?@6Krs@m^GONQ152P3%T{fz~iiu*>uSRmF=lnyp}OmMQQ?YaOh#-DiXL)=2CU8{Zb7K>?8fk z#LuqA$OIoR&yaSIOj#ch_wI1&99%&|AKsPjP`KQh!X=C5uVa_3qbm7~`6`qU>&KuH z4I-4G75e>bh#$H7jF+ix-Z~a1goDU#`jZ9FZZZL{)mbW|z}E6M?S6Jh0-DIZ--g6%t`i1+!y!LSMSA!8Sb*L~x)3 zg{bJwLS#e&kc#R3lYD}TGN}x9&rhJEpY9q*x*Cc=>PmF(+|_A z?EKX&-EEV8czAWI7Do5CFeRLRvbgJU(R?bS2(kA*QRRV65?;qP*3uv|kaYcMy!z>`id4!1PVta28{%5n3+X>J5IMZCYQ_ZAY?@WVZk+CVQytEqk7Ex@B27aN`iEPT4N~yh&1C7Xt`UH|g~qy%2P&6A zY4xNYNM>yj(*#ap?kb2$s^6>2!|vAUIM8sMuZBE-GuriZ+Y!$y=d5J=XOT=WXXCbo zGar@wQ_zUM)vIDS>pp+k<~TAODR9Hq4fb#Pu;oRbG5Hvh6EP0`wGPV)YE93a?fig<{lg_%-kNT zwoRGom->3x<@TK>lu|i!ko9g9thSb;LE;IwU<%%;rLIIna6ts|zkmWJfpr5DZ9H8A zCCn>_uAbDF`kYE@r5U-4f~&u`r6NP3e^2tDgp6P>0({O>?_1=deS`2K5QId80w%

@w_{NlnZ2ottFxJr-G3klV`~^rb|NOC{{Vb^FpP3$_RtotmPE{~?A)MReE>C3 zL)K-T1F7d+V+VRVf+`m>U3SDNdD))8zNT~`(J!Aob8oa*Ey{WC^YscM|FJ$hLsty! z?RRUm111tB`tHFBa{P8{@|@yz=$;sK8ZPPBK`!)gC?qu<3W(Lj*|^ojZIv>!*0CIT!q%Rn8yE64IFD`_ zlXa69S%TGsr?j{vC1*UQ=_g`)S0h*d+QZ#6)46sp$v{aK-L=Ae?;T-K^JWxp|aR)dkxML&PrT?2bYrvE|)Bw74yKiLbaY zmZWK>GS(!sY_oRqMsv3ALsNu)SqNDMN`r1|(P}ewb0%M+l_EjoULHA!6**pEmdkV( zX2c0S3PfWRh@ic?Lx|$Wg)ydgUT!|Fjv})Dxl6M|UJ^RAq}wrwiicU^6}cbC`Cl29 z3KMT)SlaF-j0f0kAs^y{xsSAZw z>tzt*OFz7Op#50Jz(pIiYSK*5sE|VRw@Z(s?R0hvi+k;U`Jme!rm}r}V-^jDLR^1z zA%tqpg9?n~FVn_wd*IVT`+#e0cJ0>WhYUV1q@AA)G!Qe)HtQb*@>08QPG^y-m)v9h zM8uaebVbTknYC)2V2>%-cNnjg{K>Umm{X)SB(UN3O{gNcPcU+_z)HP-J{8;@k*g%c zIJq1z4*EeW34+SIC5-k|XA_NI)9WVt@Cv#sb#nNEalzxhQf_7dy?(n}R){FY%RR%WJ%Q1 zbFghZ4&HX zVP)W35bucNG#`d$lJ58>eIsIk1Su1+=mOVipd_&FU_XZ($a?^Up>5+QGR+*Zv86Fk zkK_`dEJ??e`kVBAW5`7$I7xh%w0wU&5C9rH?wo>aKc%$r6ou`GY{EmF$?!rVL`DMn zhXgRnigU@wjEb&e4Pm1d1=VaD$nWeB?MDvjIh_*Z)OIj&_l<1Yi0s-xG&98MqXz$2 zhG04)v3J)3wq!BA2JMwq#sn#O30=$j_M+dU1wYu?7bhYW1VDG+T&lJXs!@|$a@T$M zl&!}oqM-Ey=V*4KM!zo;@6mKk({-PzD@n?u!c6?xCAx5V4&v}&*WZBfj@;%XsJV{U zf4uLg!_^FBc}Dc#WqaEGxlMUXs;)$Zc`bV~8CDqp6wusxQQu{^tU$x7U?{;M1Yr;~ zOmnmT`xh(~uB8T>8)3adKfG9b=7hyQ%*51cgAeG3{ujwW0eFD^7fH$p$cLri_y`4N!_3RD@QKPlu{OLY#Hl1 z-3Y^c42dT30)<4fMbykDA&J}vO}POUd8`LL>CnfG#~^3=>CNwpf5we*#f@=>l-$aQ zyzWxO9qMt6ERzok5X7BtZu3&I3&aJygiK5}d&k4&D(;@0LsL75h=Azzoh5Z{W4-}~q2%7P2Iij&cjZ>x8-XA~>CKk^6InI<1 zVB-fyiDZ9*-VK>$0!<}YriieQ3kevRt137H2{_;2444oUnI^ab$wEHT?_h;{K)or< z@iJR#3fMQQs0;CzWrWecm~aJZI8uG8n~@1oUwcv!>V4R;PGu;wi+P42XBcuXKa@hi zU~m8^LUfmuny0+)iabDcD%t~SNNGVPakBiKj^-AkZx6*qKLp_tSi#Q@1eMv%pvgP; zm@Of2tS`5j4rB+DPZkN)l(ZW#f4oc6=I?-?5_bymwu%2G#qvT^$`8tVZVL1 z{6$++>#3V?+pq+rES`;gS+Y)!5aCo#uxdQ?um5|wQ=9C1iY!~B{nYd1>@wviriPHU zb&GptCOhKc!`gYXR5ODaLM!3v$5FkdmUsS_0mJ9Q913mGg zUbZH6?e%2XVsh;inLa_#bB}1-l3)KroZzhj>!Znx-LD0B6d7E?p`S{!wDHZk^-BNL z)H54Ze`Gn1KW){0L)2uaDsQ*o4-CSydA;A&tf#vp*w+>GpKz_GMNE27OBrP2NQBps z#otcnGuK-j$s^kqgDU?WtAtH z-Sd}xbI%%#9zd9n;ZK`(NBXUs9h#f~oEX|fWPLs0V^s<=gNzo7%F(W!4P*S?rLL)F z=jvZ3!N#?)m!Cei{;3821+L$+$UMIY>QLqIi4016S(;6c9yL5l7*F$LY#ZCHuN)~o zB1tbJzC`3Dx0^FjE?HvPU~80@t^jt-29ty(V-s2GO1X+>nQ88`(Fc1)mYJ~NcFBfW zW_}|;9dzXZ>`r;NTcqH~(VMC4+=lUkc0pXT=?q27farV`A?|D;VNBjZ; zlBq5|b&@Qjai^sW^W(g9G+b|iI-9BF4<{Pn_jQDKRb43*msN+W+D8z`=cQ^zudIz+ zk!ir;lAbYVvu2N`I&@!UT-F?ukq^Y%tqiixS@A6&q~94-+n(QX5w6R*AIiao$G4%y z8B>l`+*fe~*8*8ZqLj~Mwq-Omved+wuo67KPufj+)5lpUrui^P9de9*YhNbw>CFM^ z2kOjAOw}x{kdO=bQ*&=6iS+8oXQtq-Q#=$adc-Vh-EGt=r(MxbA|3~DU>%<*y} zAf_*)cf6SG*nq7qTt$7WB5QMQkh|EA#c|I4(UxTx9yfK6L*h-78rRDR44L;#$XKu2 z&QlSBlg94zpPW>1z?P#=y?*dz4@U>mGi8q>pnKO~=xd27oTd2Vw!hX^Xi}(>jgcu3 zO~ib_TvRA+#3A~LL=gjA3bsPhkvIMrb|UIH_!x-ACmsqgvgUS|i8@~_a;Korj_SCi zd4m*=(6%>1_~*OE948ZGmc7{-Tezr$vowo0 zTf{O+io$4ybQg!uhU~bNfTE3TCoj(Ih?dDVjk9x9ecLPYH|@Na#Ry8hm7@MqT3@Bq zU(L&ZMYt5TmV<8;R99+W4{O=qN50YX$&!AkS!=InP8}-TW?s?dq)El3uUr33b)ifk zZRt_q7^0Xaj|;no@RMQZ4l4sfkm7Q@Vz`qC_}E|cDjX?hNOfN%e9{RIz>QA-#cfpR zWM|O&C3kDR?PT6g$}f5iTRnH<7VLu`kYnNmq#|pr)a-{=W%ffoe-@DSoY&Og`rC0a zo*N1I3vc@GvORsqLLuU*7wKoE6+!zj=!7lZR!g5htCgqo=7FJN^4Sk4`S~C=%Cov> zzFJd6FzpzrNiE}AWv>`h5wiFoi{V?WS}p&c%)lzz_I3&k1;~c)YOjj@aa)dw zNXcTS&e`befO#8mnJj%36V+G>ANkXd-=+lBZKK;eCT|Ao`~Z8W8xikHFtjY#)VX=( zb7>mux#%~=qdT{L`N@7<=Pr%cp32l?I;+0ynJJcRo?xbHFnCR?8l7{lfxE zTYPDnOz>@Up?4HWtG~cyN<0^HyLgiuY?UYxC#_$$=j8Ndyg+j_;?woR*(x)!0W`vh zKY*~jiMZiKTKix(1AgGe20ML_Q+7$Rm*i09rsx-bRM5e_MgGgZAg-Hx&J0o<9KG)V zk;=1J?4ZkG!=JvV7$4T%ahVh0aDAYT#`MPDJlyGqnpP2r58v@7ro5z_e5$HcitLP> zh?8kB*75hWNsMu&r*`{k5R%LECo;aky$Q~P_()1{5-yqm+qgvOqCEj%%Q@BPaGwhl8{T(7^is0&FJ$k z&x5G}Po@r(=xa($k~zO5U^fz0&#LL+gR|Itf*CjJYOQ;cf?ni}#KUpkWt~ab(!|uz z8Eu>*t3`}*mF3@2W{{yBm7QF|XDifGs}mT+$?@r-Sy2_b6MN7g8g=h3Sm#JT6t#|f z!=F6H3O~8=jU3D6U4M4Df`*O@&@kg}9_bRt5HAK=_=cFJf>Xc4?Jf>0988{{F@)Su zQ|c4H&1sZZk`VNq{5FJSRjN95Ujdyb*2VHJQ7)naeSDa*7bnk>G%_7;77?cONpwvb zifOJIUi#Eyce7&6TAK}K_2f%EZgB;SHz(HRcrK8GdVg&@hhL6Lq}Kl_A^1nU)pMzk8e?$xks{x024rUO&&x%iaq zexCV*xxiNayHNx-ci%wKPzusn^tIQ1VZ+b+mhG zjTOyO4}*;Ef{JC!tSg-aMf_OL9xvyUWr0?T8s1Bx7`&et`*V35{8@+cA3cLGXV4J!WnK(cR z_yBYOCmY9qsdK7cL@DQ(2;zUqwP<|jS&S!*F(c`;8ZE}|GF~Qqu~`@B*o(w|RM;nW zBwk_=r>caJ=prXJq_LY$c&o0l>>{-KTwl9i3-*3(-Dlqm9D7ZBZC_R@)Jn1Pks~z} zCSXg&VElo01j81CjX*#h9rb%lWIzg(hOm;tg^~(#8U>~vJdr}d8#d39thZhl2@?TI z6X=DYOd;ElGcv)Jk(f+S!02#_;0+&QnK~qRUP;2h2!@#hgd)I_#g%B`?M8*s0!A96 z_A?d*T?mk3r%54^x}eU$;t3RqlUKnAU{Hj)Rj`;4AdsN5dEyCc09=7`C_9k*5k$!v zV>Z)d`#@rx-$Wu{fie)DD#R=Z^RI~`QPL#bLBxEez3_myzkqFc0I&`6lVcL~l@Wmn zlHwQ8bT{^Lq(2x*j)(s_JpU+bo5BQpe9LFSHWES#rD$ldf`bwY zB%?vr4b(uk!w37Oe99ClGW`DS%m^IK=+N($(#2IPkgm`mDffHfp=q8V(E% z05q)~{$jg=>^BX=&4K~nj%{PHOfftmim^cQdi}zgwjTQ$>_VP3#MlX57Aa!3WW&+q z&i`_IzD~IY%586C_d~>yHiMI?e+OWl8H4-zUDg9J_R`sK#LTNd5w{S&VuB5~L<5O1 zLQqdVW&17#T)3FIBX5NSx;wV|8*S}3fLAv7bE?g(9`CvibmNJtgeef*KQ_zvV#a^z zvxf`|JOF>Y=^-#f7|b(q3JAa_I~<0GTx3KDV=j#E)Phe{yw)NW@dl;&><7!5KgrY+ zHua&yH|L?tekT_N>FUsQt*>R%$I7pi9EyPsp0(IyGrpIB7}*V8sh2cH>vx4kfky9e z(=N`lXi1US>lFMCcpSBzty?b*OR?Odw0*C??1sL_r#e(7Tud`46gF89%xA0jh!^%+ zpP{uX7$f$>Iv|ZR47IXe`v06Oiz0ZuRO7gn68#h9r`G4(qsOn7p6i^4YKQjO!W?)B zYmSE=8_k31VIk`1FgVl*fvgsl17tE`aBS7mt5b59U7^Upn!EhS=Z`~rJl%>&&)>I8 za!@&`~!_ro>^?n{cB)o+@dvFd&uGWxGr)k4x2(++}#NO zF^m%n?;XNc0p6v;j=S^~5?Er+&L-`gz+>`cMxW94`0~eVDHBnj5ywJTiYJQ~w}FGk zZNFyPD5#h*jG2~=iU(Bk&1`)!hK1yM%rCg1P+=J-h5qO)du!*PW?L)u?tC^KKEj~b z(@sC_XQL|yE$>~b+hI!cq0XESpVRen|A5@dsjD$>Yndbm*C=<|51iT!Sy;6Q`?Mn> zl{dR?VaGGGdr0hA4>V^V0Qvu-#C>{1DdrHwNKCuGrhHoK-1+#e!%>>&TzHgspirX5 z7(zPV$gp8QR`;j9yXE`C?!@SIx|W9hrxlN2N`c}<3M z(WYJ;U;NfB-Tin?05BWrX>lJL=EL{Jg}w#-72jLgJCovbCXm7;f?y-E{;O5B2$P<51N}r(3H)zUVcM;~?3F z$0kF@>^a2@B?}*bFEcy-V=xbdg}Jk=$@EEoVd@OMxx6hq^8=h0MARYB>IzLpN5-Gk z{{U>6_NuFDsCAW_=6aU8F6}uW$?SMid2hPN;i-yT18UNq3OgYpnz0J_4#XW�OFV zclsVe_PI$9T+91{lJv89qpDQrUX6>=yyvD_KGNH``l_AIy03nVjkh8&~W%$eefFqG#tOhTE9nn4-A!JTRE> zO}zVo9J!Z?++iS>m4>+t?>D=WBgH|o0lLfb1g`Wn(*&iEx!volAAeK54iB~Pxx*tf zU89^L({w9ousHk`9s0docg==-ZEM-*{R%fTx|F%EXQITV=z4>EVV5rXE`9LWB#{@2 zFfVkJlr(AdnXHCH`(Xsm>w3dl=Bi0k}qs-XJmwt$j)&YM)}x_DWI zJ*wi;@wNTpvD=uVLx+_RN{V6ZjVls1JvU&nN3`-@G4Ui zl^VyXFT(}w&bLEqD|cwn2`drQW3S4+>PN}z_KOW$iYX9W6rb;ER%r>lE> z?~_HrMfD$#MeL`b(w5p|euQ5c2Gy(0537~cdw0Jjk3|7Fd~U`A8}XW}@it}@4kCuy z)z?;z)#yHd)%8Bf0$kFTORZz_?2l-ce8x^%az|--3({(gdZ&zfENiIV-sKo9R0oKF zou`k-r4q2X4tzB{_hL`xpj+dEx^S+cs4VkvI^ItBZkJfvZV&zZ)Gt>=ojT_wKGR_e zUl9JE?mYqMMMHPSF9d%KdAa}C2BU#9wZ^Fc;0^(L@cqYLdjY-y{@Esvz5pmlL}u>)x!opWXVNEt{=W99E3S8~k$ZqVO~M;;3+H0+4%H zyJg+}w4vis!B8oJQOneD6Ux$34s&Q%U|Mi1l_BDjZEJKR6WZ_D6(3ro)J~Hf$4?(k zR3%bHqOD`8r$$_8S8!7|YY8mQp=}b?NR_Y%b*6ItO$DAK`4C3H=3SG0ZX`u-GRSoD zLoYLc67z<}F#Ouu*D%p+H_wCQm zVKj+ghxlF39~AhEbL~~LWR*drJ_!>Hv$e;XR_uG1Y-k8{z#laD=W# zvBZ#E`x5Q_+8Y7JHuyIUp>CEe%hRudQ7Z@1JL1ukp}s_1R~04+we|yH;b>LWkZ-_^ z$bbF@L`Zs9`Jf+=&=LV-j#H?>)RJPbM=Z+YCA&lb&`e8VgRJ+K;EM&A<)x&is5jG6 zfP}fhbeadcpOfG+F|~3`ZTT1|YSHTIDp-qxG9!hmusg7@G}Xb5^gK=A<7Uk2K?vpG zfjd47RyYZ2i{jsJMfN?xk9&5Q*Oy}s zebGg2m!$F$(pkr14s|-TsuZkLtm-u3(nqna-Uj6gw~o8|e3^HD9n-x=4^u|>Ot1Um zF+g?dGWABrPZR-%l(LBQ_S|}~jz9L+eCvybIuS2NMrdsrq%!F=vFNs@IY@7zN)<6? zV1EgwcawW<1GiBb1@sp~xlZzy`G0W|Or6cyY6}%8|Dw!YS-3qsXv>{PE1{e@OBM!t zycc+q-u@OP7cJTTJKG0I4_od~>F&UWQY?!k^zu)aHf4*%@O?g*BEeHeHwn47m%WT;b3>92fOt zY4nGzTFL;qBvGZ4OFtOgnhfHgu|_!1=F%LkmqSrnltmfX#vNJAnz1AH`>GkXfqXTR zz^=~p$17=6ig35l#0t94ry{HK_8v^>fBz5xKlFFj=?_ zjJnT32R;aiLC8Yx**WtMdOUl}!-J!KDst_Vwkl8?3$-8OtS2r+oozS(vcnaAeh0)J zSisAklKvv7jDuNFoBKs0RZX zCS-aNF?$XTU+3>SJTS#kZF_m>yVOv<9`l|8+T{b>;4&#NKA?Z2RZ_wY9vj3*a^*JCA zU}fsGw^d*bac~AKo(;h-L=MFo#qjn@8#(s~vlxE7e{(6WKgoFcvlnY5G=+;qi9oTx zKY-&MHhTE!PprR4XkInfCnL2#Wi7S8v?&6_NnT^mP)^oz#l{Ey_?ySBFAQeDLnbKv zXP#woB!vS@K|3iH_1l1tjGws;R#XCr^U>)uh8r9>FKBhHmubLX&E z9kK)h%=KoveM-AT57MO{?D zkk*a0Xq7_`KWq6{q@K+ha{_%<+th=b?KS?Tp^}YzeMc7l!|p=NhD^*@Op(ZIQ9h+E zYVu9DV=w}EZquhd4O|A47b*Oyn#m_Hc#iY=Y{^0;Z-^GtqV;MOsQOSvWvxcpIzb(CG}UAj95d5QZ#q+>0thwvkq$na6FaO z8kxDoQ}`NDNe`a026C28ZR#z}I$6)^=6UQagy?_1Z;6r2w~BKV^C|V}tnqgs8HfP2 zkKHV@8#j(`8@rLsOz2rj zPj$Ew;wLAy>g?QUuU^NFv+JgUrCPQ>?}ai>@D~5qZ0M4Li7^ z-+_H=s$*}d-1!VT&h&^ZnXVsDhLmlJB@7D>8zz_d!Z|C?=t_MhMJ`iLby~+k;Ke;r zJg0BE#3Zx3z_to12Ugo^gqU`3w^@d3l&qt2(ulq{P^lR(uMrb^oVUtB^2qpnIQlYr zdY^IKC~|0pNjL1b?z2zq@TXFZRdJfFqN11qau4csW*b}9?@l{O5+nnB#$qIYOE@4N zEoL4)c<~x8`J4|44KhSoqiHTk6H6{72C)lU8RCyAS4k~R@N?yq=JtqeoerA8E~O}R z6m!rWruEVt>r(0ge$*n;BWP+7DDyp4AP6~TP-_dsSHR;DPe%c_35Wq1JwrT4RAd76 z4*paJt&QneN9la1U=T^^is4rf0l_f|yDy39xrFcwu)~`u0pFl)x0wV5gJuGf6hTZ< zMwWZsQ-X+hivC%__Xwr4Vs6X7~zq-r03sWNn1E_K4mW@tw&!xhvh%K*%fVRUokBO%O&1BTn4-wM2zt4yO-@rq!@`s>97UWlf0zE@+A zp2jOV!&x1J)1DRBxWXt(-O)ou=L)br<3UsCYRA}9>8xhRl)dz7w}>9M#O5!v-vg8f zyFd?+nJ>Vvp$cF2c!){em<&OIT`H9K!s7tBWvXHD7*8&ira(3>4@C z`ZcCvZ;k>7Kog}>JegOQa)3(7el!$SQp0D5rw0&_QU~SLkxAGhBgvb6aO@KK5`(S$ z?Mmh@#;cFJeI~K&7hZ@&PWc>(5eM<%u|8|`+JFgh4fJCBF`YX1UIZuaJeGQ`6zqec zfEQSQtm3;d&Zw{Wk9%2&clPFgA5A(jnBionl(f|mn_SyHxAdB-bqdKD&UbmRx+bEN z5oDmRjdSrJy)>*9cP)G|86*}*u+5e8L{cGj20)4$%O1I^+?b)+2{Le16+K^NV#50kGkly#MW;sLP!)m!M+{gW2|@)UA8CbM3fsXdMolU zl*pC&5dT$eG4Q%+>(6gw<3txXGH@%E9iiQYdVK@DA<)>Lh~z@GAY`0AOT>x*Mgawf zl(M4}v7&FwF);Un&b=x+T~m2G%PE6zBcE3eJ=OE@;1|wcErMWWKeZ#yYJb>+hGw4f@c3SwsH0=nFsy{A-RV43mO&yL?aq$|A<9ev%A^-{z2}VdFjVmIJ!`{lG{74iOyq-xUj9B2?*qIpt36{ z1`dST&b#b!q2^&8QfX554nIh<czC|S({^p5$g{Uv! z-~4s&fv8U)pz6#zgN#wLr%woV?lk5YzDcA*V4dXy)4-mkw`A_#I~A1F%5wiU^W^W} z{#wGRaTVK9nL#*zA#|~Y`9;5ZEg%@{b4g?w>>Fv_t^;_GX^|gJHw$~Ft@2% ztN3zTBeeg8HZWm@8LNYR5$q#KKtNzCyx$kD#h=;#X**#0y>B&+Iq4MDV?d{QaL5C_ z%dU@qKeaPJHTkWmui|Xu=Hvb8nz-zH%@jJ}3*P^%7vw=c4xT$y zi}}J?N*;bq(q{`quib_}N3_a&mD7#eVWM34tdD-JfxGKVmIU_lZ-;q@S%foYP1r@* z8oJS2aDsd%Yb;u|t?O+}2zgf#8K++hd(shhsu%GjnJ@APa~@EWjF)>ajGbuj-)|20 zgDsv~4S)G&y4`N6(Qh(Q@DkDH1|~t zV&TUtLKUgT@BlrZ5OCP{Y6Cf!&9~zxe<^dtr11Ggf$cme@*WX^pYr>e?b3G0PBPv$ zK{Jm8iZ|_jV^O$;sR;Ir#p4NI)%BN)dr0ZsKn8qTTV#womN0%_fb%+1_}OL@>m z9iXr?Wnw8tAzzpdVO2b}$4T~Xm#3~)y1$I^%rOQVd}N>G`D?HRe+q+Ulp@!^Q-D(& zSKt{*-KkZuX5lK_?#10g;&w#O%46))kR|7rc>z+Uz~ziXI>#3eS4NKfi%-3p8-xC* z5-qkY9YorJdba1n5Mq;W!e$^iEDD<5dIHP!z9qo7~3Or7A)BUHg6Bf2d3zRxyv zRbi>MN|#W-@@k{bgKWIX)P?5@Tp4EY=IYpryi8Z?#Hg$`Vf{ny=R{y1L5AR(lXw>NYh z8RC&UB^VLo;(P4HaV1^DU=Wz(4qeP`uMd%?U&dxejyNae_gNRB2Y95}ADU>)J;~yT z9mN>rDR> z@XYuI5navi`=7~xU}XjUN(GPr+4Nu-Rjs_u{#{>TgJIMl(qSfIC1Uva)jhcS6bMTV=%lx!k+l9+Ot`okw^p*)G%E*B!&`0imH0n$RR|`Q15t zCYmn@FfAO$y8!4Q7!IDVRo{2K=?&f?s*=UJqLd;r13p?B_#mR4089>HQLM$^P$8m_ zi~T%eB4}cwaDyUvgQ5^^M94`**eXQmF!@MPM2acSYqA}E0AOPRf(sIu;IrX33?uL( zVnCYF4;EtB2IB9|M(CLZSTgx&G(-k!7v0^m*eRl@YQlg;;gWK=_|2*?jB?DMx)v6( zvoLl{fXi9%oY`-iOz`}(uzs_Q<8P*d>_jMEMm9!JwE+EI2gwh7B*t8{#7-~ zbBBU0!(uDF>pnP`n|@|CA`hms%f*&oU$!z2)6rfuKCNLN0lP#~j_DR$-b{Ev90hOq zGXH_Ks@?bXT)klW)iC^3_K?Z(DNI^o0^Lz$KR*leR{O{AJ|NcO|GRbG#ns5!)zjI` T9EOGU-$b&)kduomO2GUN`AtJ_ delta 15183 zcmajFb8u%-)9)MGPG-W1C-}vl*tTuk*s+s|ZQGdGb~3T8i9OMo=Y8*c>fAcF>i+lX zRo#2{-c@VW`gZs6FO=6>lsa5|a8NutCL|jxSE{2GBsFlMrES08j_x;8J6jlB>KDbqT&^EAPcFifHoG_vL#;eSPBE?bv0{)iqgq0?o*DwQdt*1Re6&u1*hr0**Q~ zy&re}&F4>ZD*jGLF+?!3CWdJSM34ZOM}8HFkboom_vwitA5CBGSIl{*oLMI+|1}6a z#otilfEd7C7eXl&=-?6wXBGvYD6+z7+*K^SWCr!iUi~{?2FXqqP2)MIC4^q{dY;KL4 zPKWPZ`V^?Cn_ykRgA2m58ItCGPxF7Zxa9DpWbOh!WR{*Oi@B5-*vMH5mc)fUIcbWq z<3$K>vU+M?^WIW6X@4lC=!ZYxIGMmNijNo|Y{**_o9tqO zjq|4_0KYw>~0U0NKQ7IQ;s6EhcHl5f2~{zkn7kscMS*6 zo-qTG10E@#4doEa85nMf!YO}^I1U-c^86+-mwPaxBS^a)L01Lkf8(eAymbx%*c&U` z;m^XQ2MhC5)YX9W(lH(Zn-NVjw^@_LVTV806hlNm%%9mT( zPG3L^AKS<$wKN_;Iy-4VDhhwYq^VZ#*>ObdaO~dJMdh<=1z%M)CnPJEe$$$dWvA6@z z3`9!oz#L%v!3Uz4^Ce?k#?1Vz+&MsNg0Y(%mTa^z|Kxw z2{cAKk$DnnJ{+FpVaubVmQ#LB_tlo=HFAJRpE*;FVm!lQ-`e2BhXr$z(8|;htAgc# znd=YGjEOO2`;oJ_Vxh(YbxBBzge`sXjifT48cdI?(orrL1GO-c zwX*!vyxDxlYD4KpL2I3U1{x6C(8#{y8_y*1XrA`P62iN4xj-Jyt4^MHBk6r%aPBY) z)Yw<4VSD>ok!6_vfR0#LKaWpDfkD2dHZlNL{bZjhwF-rPX+ zGqe?N8rreX$o{?#9&&e(GeXbJb!0yMZc(Fi~{c)01->IQNk z?f(@~2rF$0lYNG{<4$uT^wW_i1QWO?pK$AS_0f>Wy*YiXN%t;m*5p(nRe52VK5NJ6 zBy?rc9aePZ_<3cwv*7YV&#R*b*M4RRjT2?P-P>MnlLkKia4`jgXlF4eHPO9tdqF>Y zLFlp3DK-Ts2vq{!a|6uMJNgo#*-=D;Hl@NHcu&v|eelb+a+!Z7%*xbqBu^g8hD!$| zr^U$vUAgizu_5rkKE8bc3mce-*8LHx{Gy?d>eO!hEBlr+)G_SM8zTncCcELUH71tp z_8QfX+HA7g)+y$>hq+&^O!TeniCJ~KcSO80|AdS#_TgB>tY$=_V5+ekCk0|JIbep4F8paefqLniU3 zh~`+d-nxx|`Xuf9f5uO<&EV6z{)lvoEyi+ZtI*zaIfw>CzV$)roNMyE-#_5}t`Sq< zS=!bRaKMWFxK!xidBq6JcdI$2wo0`kwo3gQLgOVja`+R}tQ-39zz? zXOl`XbH~W)^7hl&g2cn19cS1BzQRY{@gkOQE?WjHW4d!>-vAv@G}gJBaCzqBI+$pqiUp6^%S&;n(VOE5BSeSZnwostG3z?0SN{6>u{-WT zW#R4xH2~*M*sqd)-o~iOz>Cu;nYaqm+oWfY^WfJ6wtFkdZSA(4p+MWnRo!};oz-H# zP>WBjr0C?p&bM-(N!@?m23b12urVXbr(5G5@+A@w_DNgBt<*@qNNxnd{Z95v$Qt1w zr+GN0=vuuxM#jO0%jS@!Y_mR-k;14j4tcj0IO4e665z7+S;$(@ICtXaO`@zpNYzb0 zl{}VxCZ>sZzzJRzf%u8GsgrLcw%>V<0HIF;TL4Q!O455+F!N5`&jAjzAr_O2=DumOe5*p~;ECEcn~#(^LMq zH|Ayv+DNUp<<%b$>B70gLmI%C+glXfQC2g^09AvTAzl`%^m{vB<0 z-vT?0R1McvWNRM51+);JYOcz-$flY#Yw>1)Fkg@dDR=;ho*|;uQbb_e-JN4=?(DgN zN9iE{j1Qb2lfE14Vj)-FA!GL;=~fw!xWpuezrJAeo2L!8jNx{ z91am99hZpyzFf)9P6>XEy6TqQ7e0t??{HXigkq1Q?BaM{(8jX`O7oo?V~a1~JKr8O zK5AWW!`w;E35_LGM-u$1ZcL2=+cgE`RO5>{YMkQtuMaGy1|?Vo+20w{IWNIkinC}7BVU`LzjJ4yNAhrc(~oxCNkKjIiSxYFrG#YjlEE5Ot8PQca`d3X<^39 zCE#!jg(db3bzJ%4D+mVn34}<*hXuiCUQ+KO|8EV+4YT09eGl|k~T9#$CFu1Ga1q5 z#IetBfHHBH7o$fy{6rCmyV9QJJIe&ycbW9XN*lo+%2N?N#r6D zqxl|`P?gc~X+h>~!P#syz>tv7_T3EBK86}vqH0EZ!DysXLxGCsX22)5Dz;<(1u@~2 zDb46*( zSL)T$97ImYVZA(^e$K-|f1@SM?mpm)@XM|5P~wmRMs%#GAp-mWs2XJ-bQr8~VQb8w z%s@1O{hc&_;MK9!tL4P}7nEPQ>u(vNCR!6eh874(ZHw?MWh%PX9gw(#`3K%XO43gu zV!B*(XU4)#N?MLR6ZB@o!y%{wHKVCY;$2DIeEo1VTF55BTGWym`s&Anv7)yT;8^c3VLtD}$Iapi; z8Xd+WVJLFOsPBzGP?`pN9O@=p^_I~OT-r+ znL)$CV6#Oz)0sv4hwi_Is1&J1x_oQ{v`(HZ42oHf&JDpth|JUNS%n1lE+on~*y84zIWynj@L4hs&I4{6_=;3T4u+Um_3ODmfB>wLdW>zw{O7N%N- zxHiN96$Xw4xU%cJUA{6^cjvv--!ziO5RJZONl|Oy)%ommSdxRVdO-x+yrFCr-mk8@1a#K!F?I6y(5H3=9!?s+T&_0O zo(05~C#HV8IUpEcBX-ZqR*7(_?`@O$^}rXx>aMV2U!!sVvELtQN)9aiU92(^ zRv047t_D(8`FS=V-_dz?l-~Xs}x0P{2_a!CC%`>Gr|3PQls! zF=lJVBt$0-ILCjn)g#0d4Fnh0e;KkQkhO6C6^z-6MgzGE_g}%7tlm-$DiiL$0^xrBmMA?%!>6Pe*t5l0nEd5aBC_9UpjVQU{A8VmV z0+uVfXneCVq;g@&mZU1lmeKqw%?9?A2Gj3kQsYhyB3~OiYUQ4mPPb-`Kb}5vuAW|b zXWTsxO>E?P9~@OU&}552JJe80U+M-y;h`kiB6+>YGCOW00g}VBJ5(z@oz9_&p441V4moCJ}%Dlkt0Ujcq+$mAK) zgEq$9In&C@A3;U*A>Wq}7VGs(r~)@+QTz!}PF&RI4z+~Z5OUB%ULw;yu|d%hrOYe1 zLI@ZE3}S*H?>?-?#g{igo(nk~d;A`XW}8VBD^F;JS33^Ii-qan3YE;vJPZ}ZO$(2F$e!o& zH1@?&BYC&r!ue>Az{A9xfpaG~%+4xoKmBDp4C83hB8Y&_5+eiRB(N|dpxF82J|Av+ zgc&~f9b$<~8^HL%81i&+|NKC$OJDMnzxc{fXw1P!ixYccblgMc zxRz-~Q4tF5vn=1a!}-(@_2lNVg@bXZjk`HsfPXQKx)J^-GFrlEHGeT@ThGav=$w_U z3ic9(C>5K)lH`gGLOI`HnIm@3(M=jFYi9v0Jk6y=4A~`dI~1ah|Uw9d?th2)~YYRiF&Cwstvj{xQ(Ek zALdQLzVsgeUfAF6_&it^!7W{cu_CD7Alznb=T==hRbdD_%hH4{q*4KRQ8Woy;$t>-RtY_oE5$o$o>3HFE+`e zXwKoywj|<~F1bV$O{1Koq4!v;m_#k52U6XpnSE#gn3eL(V-Nj#7E}3WTxlnB_nYer zB=ifq5ZHg36GyVamGl&UO#i8CngE_d?`UnoZ8K*NJyzEaFN2_SREnb-n>XLpttalk zyC~bZRzza{@+L@u#u_rjXu-92b{AsX0A)1Y2eR1&;HrEfo zd49MCVzRm;Gm6r^VvD{JVBaXm_!Mzj`l!>4Mr?_I}nf+UlC zx)uD<9&EMIvR3+g%zWZ7T~iV56*C@7j_xpp>b{uw`#g>lC{c-!e!7XKJGE2Hm~srC zM!`qS$nNg`O;(XblAHvt_?@=_!_&4=yJ-T$1pOlqKaVU4)0cY&jckW_= zO^HWk#cI(SZ$nPBF_`FGVQlDH#^HwNOWWG_Tvp#N8+Sa>+V8cktCPl-i{^F*6Cj{1aJl7Hb!H{1Mz&78icvPHU9(!qp}m}<9t{3D<}9|K1c8soh2+lr#3 zFkgUAd%1(3-&W$qR8$9Ms-o8Z2x3}ALp!d6APt!TG1Cw~B z+n8hLHyUCIPqeiLA+NaDWx!irsIR0st0Uc#A-`>^9RsNkvYyzZIMm`OakonKpvJH3 z0wYV=adSxw{)O4Q8p%VrDfWSLZK%rFQ$fnm_^osLf_-7+$at zd}V`l{ifJRpzn8IdClcOKdoL@Fwi#5zdOl01m?-#>`5c!yO2j!RJtvjk`cH201%rcooTz1oCxli(5ZrR7A)J-r&eXpR{W{f)rN6BA^sTA-uv zw6(V|d?|j7Z-j1h-)o@q2fh1oAYivekko24r%hgoo3R#&%dl$#V_bCP!GuqB$zjzH z_5NhHUBOw-y%<*%CZJe-Y zs_#};m-p*Uj>9j&>+aSkX^TGZ6k3m);z)?mGuYnLx|6-*Hp5gT*1uijy*g-@U9kZ( zGSStt;9-d@%4n_|QuSNggx4L7sh*t{2ZZKG0@IsJzTFsX>jX!c?m<}8c#qt9=W})@bW&C7$W0je4 zCl(WRrEhcYk5A>4!%h|B?#EQb1RF*r6KxdZ`vk!^RNi*5nI)?RRl1p+?zxf1nN*I{ z(i@F{M3-fvti_=_ZDrzR%=s^RpP??>kBB|yw-dwffm?mZf}v)b&;%IAN| zGkkfD_q42N@05<7m1oFT6y#1t^*jLKqpGnG>yFFUjYKjVbXO+k&JxBtiLY5Ek)N!sNiFq+V-1)^SL2l>>aQZ? z>#1WzcWmfv(B-?D)w z_e+V@XsPcD2+h+mus+53+C?ylEGBq`N=9Q|5m@+L803b0e3)Z6bN)8uV;vV| zU#CLJo{$;qo?1H9U-y*;#<%byrZqab9~2j2?9ci^^hBX7OV#}8Z*X_h;rrly#=k6z zR1!?69@rtxKM(-_SgQ`;UJ}Be&@kgVoDiS3zIi+^W~rn|4XKfa+j?gcgZNSM&EJdP zFZ+Sfb|?So|CVk{p#KtN=v=J-hrD9q;Gjr_Ot?#Ou)z|`^E(TR?sZzo&25XD(l>|id+6SVJtLT~$ z`+^G7U;rV!o+1hOlO{ZB-JYWd!Q8vd!nr>9BE|IvTl{{9qO?HxrJ$kZp962uhX8dy zi{}d##5RPNL12JR35HL`1Wtwrr-*T_G~q*8pfp&TtXZy60rz?TC&R-vmqs0S;>3(4P^z zC_y0G-m^**^hW}2m*w3QZ^azahYjiN661LSq<_NC2}g=H`H>RB-(rurDM%gH55?M@ z0Azl21wgZ*!7Pu|$A)MMqm$snGD%{Q_=AN7^z7GIUmAoX>{%GjuC0LEV(!~3F<^yb z$v_YEg9!sc4_Fcu!1rwa57*sxqQ^_v4HSzHVrzY>x`G4?lkjoi87q^HFtqM*h%0$2(Cnt z2?!MP^0(Vrd)>3Ymq$WA>9;=m0K1O{*QE?-CIUV;DPqAC(-~~I;e1ptCQW7o1>M6Z zi>`-0xFQ}BJ|kZI@D-qTLY4#znJicdG3!E7q|?bng*=-w1ve z;sJ()n`?c@T&YEu;|GvOAsh={P&uy@(B(biX%_vGqoylKOM*v`WIpWO3lDPu*hua= zR-MjK)w!(Y$kgTIy4O@hLV7Gmwgix>V3r8xtG zn>ZK31r)mP2%{#B56e)nN(Or-L+i3+v8HtzZgXKvdf>cgQdNECAUnnN$n#XL2;~|)#7U|oz)#?s>6@- zd$+tUW`jUavD)lbIBm|7fpY}S$dH|4S>xr)hfuC%)QR_acIC+zq8b)4%Ki*-7cQ<_ zQYkm~#fd3dQ;uBegI87fq9pR4ee*Z(Ua?}v4a1iU{zh)B-PPxHXY`vFON9XO4&*%i z@tdL zCnK3m$9JbT!K^CriANpJ@%#Gk`>xO0(hL*M(u5NP1;o4!^9xg^dgHI|g)G>mW!U z!?tmklQ_4=FbWcdN^8&|2LaZ?DcimF-gMxT8W-mE?<2vS3QKFzCQVB3nJTgxyQgfw z*t+M~uq2Gk|Lnvq8+_K7O81SYP+;~%uJz648F0u{%IOfm4nQpY} zvPG)7_^4-Q)mwCknH?O7f0-01wJ>Xbgxp&HaXR$8&^{0NO;0wCNn=Xn+I}dgoSWDN za~}Csf5E1I#dNFvlx?nn|`6CZv5(Wl~yN5m&p87KUo3!7<{Al0}SWZ+r3G5$9%tPkAHE zj^c=yES?9bWBDeSIf1KXlKb1|QojAV>zg}BQq)gcubzpJrnJ4jrJ)q>&U$u-c6`Vj zJPaXG-%+-1avjH=x$#WrEjjS?_0&k4q zz9p_Lct0s&p4sKiy&*EpUv5v>sBm+OIdLO(n$iVem*#$2o|4X0?z}ni-df7zT~XE= z96y9eb5$HA@~i!5;ZkxKoL?IIqGq(6mAK6(iHf@Yk~tO!aTY&zuj&D<&A+mogq;tiEbV*KE&u!Y>#cBId{BA1?s((HtfVIUm(*HIpB*H6fE|>4XAq=*Y z7T+Eic=1@AqL;$vNC9j zY$fUI!#;aF#yVD&5&3Zk_awHS8_q<@l-3VmEpYvp%gN%=@sQ&ll`g>!?mc|ahdY&B za)lm`5^{U^FA53@sS3+mrPKtimai2ZXFmXFsO_(- zke~91; z$pM-AANSHN5{h-1|a8L;m;MkOCm@AyJt@|I+{Kj$42mA1nsM<(zPDGh~2b8blJ_uHzNrH>S?ikU1E- zyRTpY0DUw#Io=rFEZA@iW_}puFe2EM1B^Y+1>fu)!dD2JpU0$oL|GvQh{R0f9w-)j zbMQ3x)PWH2%#VR$%1y?L{$JuSOa{GqnbC0lk$*%6ekL0!icsmIlRj8Dpq|1(Rxp)d z;T2E`W@DjyNaj;3C0Fc7m5y^3m4Zm2%AvSZfZ4C*tmQ?2BHE96huJ;wD8G2f~Ao=STbs zq$Vepv?9or*h@)5>+jVR9wJ{{JPS`iu+H9LK{MhL$?|AHZzoG!Ln!y!2J}_LMIWAS zfG9`BP5SQiC91|g50!EIsGj%gr>WXCp06M3q=Wo8L*P;0aaeG?>9*?A>dJ73KItR% zL(qBowSN;ZM!Ij?6$@1>JJwlnXkl5_B|`HB*(IMoemr=6&S>7_#>nIP>NdS_Y9YBb z8~9-otB*wGvkSHlo*OYuzYaCN7>q=@1H@}T<<(Yn;#f87KpLIdwqkq8l!??ixQn|6 zk0}SfpT4zTH#ZFo73S}a?dpWl|Ku)fCeB)eQLUGr{D^vDqL-9*QVwsqJnZ}XP1s&c zFC^^Yy<*ozeh|EtQoM3APvIQiduM>IjBr17N#ZzFwmfC7&5t&p+ZU``8s#cyfYIKY zuwa3t>+IyrBju79RjlW!;{E2JDTn-aaQ)2hA&=YR+XC_nS30)6%XRUAPD}+-fHGT( zQZKEfIxW89m0UgT#>CjOhlW0@(>t9BHQ~4ka}|wYiNTsQ>VRQ3;{~!x*^GF|QcG|# zn_y~P40jwQ-YuRK_GIce2(t!cKomqlmt5Z+oU9Tj9n2DxO0#c9A_vph?(=z5MfCo7 z>9mylQ4-9Yi;6{KOS7YfZIZvMS=3q_0w@cnOxuP+$LZWlYkp|IAG4gnsi+QYlIZy- z?fi;?5Ddr7V_5^ZWG^CN4Fyk6&a>!(3_0_pz0CR{&bniR)mX)XpyG7^{nMR%?0|gZ z#iX>4T(o%J|007oo)jCZEzZ(*6MQQel{JZq~jak#WPp zJxb;rTRX6F#i%bsBp!Z+|2i%9O1)Y3ad3DXKp*)S1ouS-MEF|y> z9X-4>RO~9_pHwRhN{$;oU5pzZlSj04F;h1eb2XbYbFraZ@m&Hupuv4Cg+=mL-137_=nFihR zwFxTFKn!58ZPTUOReNI(#3P5`P-9V`J#V#=7DsJozMuv~wNbeV<{e{o!#WjGoMg+>t-&Bv zjk+^O+sh~Aold__>M3j0JlJt|`cLJg)^T;y#5*OI(C`&_Z6}38OSuZ427NbHhJh1g zGxe@w&kg{lJ8AgdtUB|Nm;x)-lg7Td|FutD;+fAHw}_x^(oFKihq@*$-HT*x;AIG^ z0DG+M!ckbBL=IO}t$Ib8N0 zGDRc&X42hKrhJXAiK2O(vt>G9N4;Lr=StM1lp+j>?d>MXaE6n&YaDr?(iWDj5qT1- zKkn<>eu=}xWvBOrmCK#+$;GCX=dlM}u5W#T^<>eMX1hC(Nz9P4>Y}oX`*_P{|4mg2 z<=Ipo9OEifhblGPSpS}8iWg%(gH0R;14R2hwVVRc0q_J4o%!o?~$+nutjOv?fY>A z3s6Oc*7)~>T;LUc$OZ@}p=lIV4|?1ej&cIogB}iDlVyC3*i$#c+|H8UW3ZihCb_P^ zP@8BdrlJ&@6r>+Rp{A21s?E}Xc1osimI=r7_whV&-)`(s@}SXl0Qk@uVJl<$vj8x{ zw2`R$@5QFqa(jHQFop5_j3I-dk%M$Fw75YZZWUaxuO`7rGd~CK-z?JfKz6BMbOM0E zYv{|%t}aZH&suPRJglev-AvG1;`Y%_=YWg=)RUOF?(K*|N`a%Prg-i0P8&*;{0GaZ z&cz#&R0CfFgXVX6F9O8m@!_y0;zOx|{SY1^uFS-Pa!W7P80fA@9HK|YG!y7AvFj<^ z&N;Q~Zf%=wN==#gt#aA)rptP)>|}sv|73l0#&S8UPUgliPW(8Q0R(Hb8Bc?oZ>CZO zwR-dtdy4&lS?M{-1V>=J)F|cbr@h6R?~>zaCV?dUr+{-=!ssFMnWaf#L)3Ekf+ z7J4?gc`DfCy)GQo=~pbm8_%X_w-XUnCvLPL^HB^NCmB3QcBID`b+ioQE^0t&&Y{SH0}e8VkFLtsIGvhU99vvn0(uyZs$a}Ya+m)zj){*v>_xrmUilM zv4N1g)fTF`CY?B(?5L}VYIgFIQSPwP6U)F%c=YWCUL1V~m(RP%Rf`$LU~nKlA9*lP zo8_0{P??LH5CyLU;rc2Z(ldZa$&#D{TkqXsS|GlGk(0A>2_dUFXwt&e=`!p1Kn zBhHg`a5WBbhtEP*K#GKKtmhzi>3mR*44bb=Wz{5+CJQ6tG=$a|HUbD~ftNXRsD*Rw z!L{-i1X5-n_7h+#IhQmEUWC<@$5j%!`g<4y z%1B<-U&?Yl?Mp@pULs&vrxO_i=a*tFpu^dwEiX?QG_mTDfUA`A$asC!7bG55OYHY_ zw$sUpRS_ui#k}bk*Ri z$x)lBI9^nIC^%CeS-dF%ZoT=wEM1x1ox^LZQ!S2pa1yDOs_J%CZtZ^V@YM{fC!Te3 ze|mW8{j3mtm^pj0($G~Yw9<(YcXid&b#nafnp)#zp88+{`ceJi%9gWOIx=wY<(FtJ zQ(?(Q=u>94_y_P&T3-C~)6rG6tM-Qq;Fqb$^VNR=ZQa_8V{C7v<7W<^S9_A^uuT+e z9+r3LdRNggJ3GDBJjsr&p@U=fL%iNcOZxB-~ezWxdJ`#ln<{IVDD{z z58b@F2Rn(fA4`w%{}#{ZR#(0|aGMOdTI%pXpV73oZF1tCJ>gj{M6b}Qbwz2QUh;47 zuYA_Tp8+3H=LfXe!O^U#xJ(i*gglGc_&?nKBz1&nh-#NTWu(tuNgN`@xmQiFh5m{R)KQSA|gw5W00)c$V2-jzulmwA4@i zF$@dIu6odmLGD+1Qr|xGK8Dl&oWxVIXN1NlXv<#`=@CU3#lpo+EHL3P%ySsAtNuhJ zcA8a(QtlG)((IxwDAOCjJo3n(WCc8@SSn1}@^n%>5mO(W4kn+?E)}=8A{|a^BK8p| zGBq$(shG=z23(L4zOk>p8=>^`j&C4|U?P>ou|k(3p)1#gv$BWfBg=WATMJER792ut z@fwKX&6|YKScw&=z6Z+WU-Y3Fx@E0EY*Q*525(HkF{ZAx2rmnH%|XrBF9XM7)}M&P z{V9e)u~l0ldRfelmJAj#mgi+=_@rjwq@b*-Wt;1Bid*c?o=*p z3KtmELm9J@3xWMO0fJQv#(-Ptv76#CZL&24hb?WPo)XP+c~h?c8p_-bZM8Kshi!aE z9afum>EealdG$cGs?a8FzO78LO@v-8=Gng|T3>cDTP~e26GEv*fjXEi12s!o|Hz$| z2CG({gf^FNwbY-Ieb?d=dtTemveoVq^xdExf$0Z@i$!S*=J*xd8# zO+e%h=EAkgK0)q|SjQ~g$n_ZVuT|$G$dbd|rep1J$-GGQjM|Ar{n)i)7r|q)wV)*^ zlTe!TNGoyfvfxZ(+Os|YN-h4J`V{U*>W?Qs6f|g*Z$#hNDD^O|F*6Vp&d2So75y2r zdve_B=qR}h9WUMJ1Aaw_b&xnZQ}^>!2T?I3KOZl0QWt?MU2bu&Aj9QM{eT|swucC%vy(k5+Dez>4jk4nvW zKS`cOCO(=`>23=~xlN?L(0V$keb)mfbZaKOK_?fqj@e9F#}7-?*1jRd#tVnHJm85> z%`N<^OPf?>2OaVPSvKL?@9dg2=&J;N&5s1-jdxzWhMTwBDdE+wElP%meslUP)tNH^ zrgwaGHb3A}UZQqvjkacw0dP~%$lcVuR7fmvrqt$C$Uqn-4p#Pm{ZPI%NW%YNgEYt{ zTxJADF-s?B7ZRrb-9sf|Vq*Kx7&;BW!rGt!QUI~CD}a~}8tQlF-6iQ6Xw*Qg%&-Ws zj;pHy(89EcO4#?=n9>-|w+n6ekQfWfQP?t5y;Aq@($Y@McS?d8(IjMk5p4!F(7}jG zmzlW<6~tOu2+Bym)#5Ua({vKjb4v{@z#EaksG2CX|KFv&)S6UCjMQ%#khlPgE&`*n zrI+cyH2>wPPNL03!a~CIZ&AtK{y({c{?+@G5Ev!x%4y(M9^-)jJjzmjC`Yg!5dCgMxVeH=dvS zdR5Mw932`@wwq7wKV56J$w$fSIb|4n}tC|HUdeuE?S_bhoiOdsP(q!FVj z{`gw_mE!N7t|ERNI0TAHFSkXwKY>P&M0lVUoG|O40Nr2!;vOkDMjx_d91=|&f~5k~ zkOBmBLDKpUW5CCEoO>t&>!Fcz=K$3GKI4!+QXY!dh`BlM+77>qj)lQIvnJs;Lf^kq*?t8PA4Lf%Y&EnHci^UVm)w9en=Q+iU>f+ds=5+PzYVaAbNk% fthvQs2J9?>(o=tAK@uUdaxt?bP*8}