From c9f90428888c5d51a946dbf3a4cf8d934c776eb6 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Thu, 10 Apr 2025 17:46:34 +0800 Subject: [PATCH] almost positive covering --- main.pdf | Bin 234692 -> 235515 bytes main.tex | 14 ++++++++++++++ 2 files changed, 14 insertions(+) diff --git a/main.pdf b/main.pdf index 9e66617b2e5f801ae33ea9b2e7bbbcc9c20dec11..fc5c57d5e52bf983f4111a77bda1eb707a9822e2 100644 GIT binary patch delta 12590 zcmai)Wl)_#)24xgySoPua&Y$m!QEYgyZeK?206I9J3)gJ971rn;1C>wZN7Tn-P--N z|E})pnwhSt>8ZYFhAPpY>(LvgP(Ykq9FRsn5Cd?aFPpM9g4a7!Z}J42KJ0lpL6z2| zp=CDel6qZ|!?c1B6ZTohfR0kS_^N)!ZzI06F)4MQA;E1fD1LMEz6Y(Sc`9!D&0W$D z$lu)bzsgY+G>_veeLTCri^H~J=`Q8u;qsNb>CH)aNuVRMCoG)FPnFzws$c&19e)e2|=YmqxDv-(WLEWl{SY>3utMs5#+8`t#$B%sAuE z2|^6mK`4~^HlJhqtD21FGhA{Ex3Xq)Jiu~2?Wu}yI9Evw8fS&+%|F8}clhwGQKYNc zyX#X~FWP)i4AF&rPw)6dK*0VU2st2{USxos`2!`QR*GC#39(EDcJQzIR}U`xECO1QU4BhXQl4`9 zZ;!Eu=^kGucSRJ`&B8wO`jKnh{wnel;>-chbxBf=Zc(k9c&x+W8Qnd>!$>K8N1q9f z?D}@p8}saaAT41+HW3o#-p2TP+Xb+2kht&Y6XNR{4GX#fRyGO{xoC@9$7kNzt%k6U zOe#J0XnDR5S{a!%#P&CyXgJ@yexNbJ)m)yxGhMpud28eO)f+#D!CgXQI5S)_1f>tD z;3S}A6n144Mx-YSHFG?h)`e#F=PYoTMJ;vA9|uwxYpi|2+tiq=z;agFaRR{O>A{kD zC`?G8c?HL(89lk~=G_AcHG+#(ZFMnz#qzsG%LvQ}9fzOIN+r}*Y!%F^W$o6Q#wv6K z8o%~-mOY)N7JjC&nh#jEKA~6shW9#f_1C7t>zjicpj{}Ssgvc9kkvnK#iYGeNGA&rO6Le-r_lW}w%gudsmQWK~WKfp+ z2Lw^eH!s{hyYA2_QA6t0xtECB%R=-~#1@OxKo;;x5y8_;QmOIR_dwXXzlYyVeYRy@ z+b02(n?5pPLH%`0u+`x|G^+22PS=z~91k`-1UsNq!V zhz)DA7_Vh+;)_sxpxkU?qqanfB!g{azF1?Af*qeTSjM$Rfey|bwa+&5bj|ocjA-ay zwh-A*85BJ4*=7<%BLPG%i6-jPRjh08;n$+p=zh*)Fp>+04b|@@p&bbRJZul$iIH^4 zmXv5HhBYD1zov_k!X$#G^Yo3|h1-FM@MZDBSPjv?Ukr}^>uEtm#U8GQkWA!&KiH}} zq*&%;NaZQxgsTl>q>K-i21c`(TR@;nli9r3cbS2zIoh}BtQm0W!7G#J`y(%|W097K z7^G$LjS}}M2$d}Ye#wXgUoLQZo9~apm>c|Pedw1()f1u%Tz!Px_>U&spp*A4zS= z-)P3_>CF%2q;Y}09=BtLZ3gO~l(CMkJxkmiJg`LJjsU*mbx%uEbqX22EOkqU2T$&; z+Zia?7MYZMq+&n9*~E|_Pml6+%YbAnz9E3MtCtAd&E+ zz405e`(;rpLrk4J@^#46<5LX|KlDewunPxYi|`pa7A*jQ5^AFVQXO&G3>S_jzg3uy zvP^ni@jkcPry2E^(dTs5)3DLXTY=2NBs#-X7?+|D9C6mr1_T`i{i#d&>t>gy@~HJC zsD_(p9Wf#(Gye3xyAWuumFXJC?PNYWbgVXMVEc9!{atV~%Fl_WtOx6_6)Fx@ma1An z3GY{ITnZp96MO8ep6E@y$pLB){L)4EisVA~SAD7E%rFJ>7nZs2>IR*X6$~ykp&67= z3nZ)?vp~Tb_IaOa&fs}T1qqsoitpK2BYKMyF-&;XMg-~z{Qbs~%jUNGJ32QdX9Vo4 z!A}OvkYDvB)bkO{c<@n7-23M)?FpN0tOL&!inPF0T%zW-c|6wTsX0{*W#^^2?Ds4) zsy7u%S%eX5bJv@VoUt=R-8qTRWYvy4NFU(+Pw)y9)jtnIJf4V8r3#}!8h?3{Q66Ew z^$8I;`|I{HRk`YlC6J>}@bJ2k?p@rToBZWbeW^64 zcbE;h37@*YCj7P>p*b$$%xZ@E8zoQ19uoFCp$*ef%g@ zUqog1Z+nvh{b(Ji#pQOQ=9BcDWohEeuIzg&4*t6JR$WN;ajo*!7#lmWIWmuN;gENWT<+j*2sepBi%F zt|}T@FBPH^_#*F29e?Yh@T9Eb&oInrK;GMYezpvs-o!VFP_s<*U@ID*@CYtj<>B=9 z{G*7NykT~dNlOrw_SWe#uW4LUyf6~{WscK&AEt2Zt5u4>?T{?LZ`*Cb>~s^_cP(fD z_41-xC`%5@O5s-|Ng#|z2fe{aFOD<48k=D`yw~ZpIW%47#F(32&09PYTUmeIAZ8V$HgsZr5?aO_s!?t? z!Lop+SuUSRr$QZ1J;_~xvXbCsirfwKLHk51SO0*Uv0@SQPiM?eJLIf6x>;%Uk7&n` zYDH5nMCshzx6;JPW=&|mty3TCZd#!zYZ$U{qH~pD>Fn5}MBswh8DL&we!99K>yd!Y zga&W#;1aL>apyhi9yBRt`}6Vv?{@<$dUo%HtbNINg&$T7Gml88@b^_2yle-++@1dq zzfkTqlhP{u+{hJ2q8tW+A4%8X9DaY+#QM9xTbA_)_JxM_t=|aGhApG{t?KZN_ZnOu zpei_oqfq$ysTNP~OArP- zyl^sI5$x8C+J!{mfJ``&)`jyu%o;z(Zw7e^#Nq4+oeIa!wHw|qq1n6J_7iaI-{67O_qwx`6907uJ`mxVX!58?E?yXpSE`(DN=utpolV z=3QPJ$CdOuANc~wE52SRup!;EA8k|iw6dr8ld@EaJGx2PA*<(?aNmiayZab=Rc+Z} zz9{gLkzD{J`WZc50KVt&716UEdpyiat!+k{SkExL2I+R5p zd4MhYx49rxyRN4olYdR>092X1s_bU`DK@0INtvcV{DY6)?V)X_GbgRol%XYkClL!7 z$cVFS+Ji_#QWq$l?Zm%&(-@89eo=@?gudiLJ2xwTN{jg6dnONvXqttQWa?1E?37MB zen(cOZ(@rw9u5D<4=a5}e5Hoyi*uzWfaluaf_tT~w`b+Sh&zNdcS_MXu~AjMwnYI4 zwlz~%6@>pGK5KwF#BmQ(qVy-^-kYkcI|H|YlmM*IlmG<1UU$%++*Opd3NK%=Iq_`I zwdOYM|2>^DB^(5x<1>%~Tb~s63UNfZZ0w`P_YQ3dJ%)a`dS_YKN>C7$ja>{jIGi-I z*wXKtM3?SGq+gp*x^U11hqr{OcXz=(UVx-mZ{eZZU(C%Sh7>5Lxu~J5s)O3=Q?m@C z1@3W*61uTH_JNDyY>Slv-J&E_YTRBC%?urrRkcm|b#_qN)|dP!$RQ)9t~%FapjI zBN6!^$ab6G@_~xUGTyA!e!X7$ef%%LW9q3TDnCB|Xow3_AB=~iAcy?KxF>K&5__7V z`tk}Av;_W;7!rZH%8Gwagy#NKeGz5ndA^r=Bw6(v<#l<~IEy9Q1nZ}V+N!I2_LPmZ zSdYsW9@(9om{qvX>Fmc8E;?3y zgR(D=6pF<|Kgq}F#>SM@>#>XPmw%`;zcP+a*BZ94MKhy~?HGI~`iid&#}X(|c=euW zMK9V7l171|Zeg8fMFERJc^B4DN{G4ee4L&b_SX#%c*gnZnm6kz7qkjPsQL?b9FPVC z8p7%1LY&=W5G`YoQa&y7nfH{+FIvKWbAON93BIrk6rpn#psro!%%+UPLz)Yq8EDim zy1D+4#>M+W`gBfrk?3OVOt>GRSVFB)VHPs5bN=(xlUN`pVjrT_Vt;Mkay)YD-mk*I z(1PFr9aa>T%bNN#;JENxn|q#MdiDW45-#TWX4 zozHa|KDz8$n|1i7wga;qWjkBLWwMjaR&+m*JHuJ&7)Yy^gO$3rtURKib7w4pwBUQX zM^hz~N> z!gVE1RY-^eyB-Ic-0b6VPh{!<8AiZL(UahcYLNnJI#BCu-mXZdv1p)Ne4UP0aouJH zeND zhm*x_L*|FiH>D<_}Q$gIt4e^ch6CvJ-&}7}pz=f$;0= zLMll_A}hM2TtCfGL$7B9##N{Wa0{hoS2qD6nr92 z(284rDTgX$zC6+9d&eIX|6r7uGNVosv<&Gwc_-u}Tp=x|WBVN3Hu$UATt$HTbDYZW z9W%?(;>~>!=RBr(gnVin8sl1lpD{E``9#KL7BZ)`_at2eW+^A|WP&g|aVgdu=SuBE zu6uWIRDh?9g;7aIni-(4C}idglR0yu8OwHp%d@%8M}z?7`dKeqN4f@q7k+LaST{cY z3%5w#!m_m%C+saJ51fHkD7_{3)3+mrdkgN&g%`@|LIx-!{%RMcFl>zC7_REdcdJ&b z8QXQWD;2#pmKiuedR-^?MtD4%(z|s!09S(W#{C>^q@Xr!;^p7P$?Dc+7NWDKQOEs~ zSe0X%d548k-1w7-oEDpAQ)_e(vG(4gO*qZPEJ(6Bt=NQF^VK9(g{QTNJTao3a2n2~ z-^}T@0sT_7HcTd%&M_`f`qw@b1^(D$9e9!8*cv>vJJAflHF)(OEclw=i#rTOmKC4Uzh1u(W=X*L8bA;IepTJ-%aMhZaAXq z!JByLxIORw#3E#%h1hvw1BV}Lx7F8KX`cZ-es?|vkK$-OCpXc%e0|O`drs!P-Yq?a zC=Oc&{rw7MhISU>f6Kk*i*Sj2@xzWszRGR-YlnmDv9(GsQlCp* z-#*1LcQ^N~y@gaI3I&-8iSUTcdwr+>(GgalK+P2}Nu2vhy@_A>(Z{@uHP^v`$Q(Z$ z+;WGo_ag2M^l7aA1&I{hMIbocK8m&=N_Olszmo`Pzx)b5%FEO1Fqx)AzOm_id9p6& zqG(+}NmI{n3Q-;!p^=PR*%Mx!^;^1OIkn7}H7S&wG&wbPbCxnCi;$yJTjN1fd82gF zp|=5!PVd~vxP8bd)KU z{jyF2iOJL4Gek@tA~Bu`rMO<)RrZDZ!7q@i8oN*K0 zE>yY%pRpqgJ?oAcY$3K3wvfN!WFEMpt_j>PeeNG%)^KdTl@P920Lv?c_7K{c8#XTY zmqa&fN^g@+{1I=YDt~R4^913!Tm`7C>H0+yuL4h(+?yueN44>`K|(ihRh#^P2^OGg zZg4Z<{>aC_KhZ&-03E+uknUV(G$$BIh6T4dHTke@*|XoMPWt|~Gww}q?d1zQi0DN& zppkjn!KTY9gx@TivI5`NV&sH>7uW)|b1f@i=ed-n!qm)P+kTvz(`GeaPeh@n>gvoR zynLI@FmT!dDxaQTpOF$atn&&di2)@2GZqM{b<)n$n!$*_(gMHcjPlYj-W}5RtXv+V z;o~9Z@+#7G*qtcIVON=lzuJlY=DpYy<9G0%&zaXbbrldwrK>}R7-k;J9x6UkFeW?W zhpl{qNyOYRC^VDa>pn$>F{VT)LZGCg>^mr$d1V+7MkJ*z!m7hS1+7eecn8Rr;k)P0 zzZ*rc49C>51b-z)|7G^>qkPzxaTXW;MlEAR z;a5>ipSKjA@4W4P7M`YoGs(nkj&O3+$?kAxvuZoc?R>I4W+N!NtU2BuTF|-sav&^X$8m%#RXBr22oj9quXshiEVj#@ovtYJT?ic?H8U1LyO|D z^x~e+=PNsB?cAkas}oYxnQ`wR=-Gdp!U0B6^uD>J@=|Okr#FKu$qGjy%?Sx#r%K&$lY82Z-msAOHn$iO2;$UGtn#Nij!)aGoT~%OaXbdM4w!Aj)?}=1{WZqU#&x(Zp@k877=ZvyoU1XT^kXK+0;4U zD&A|oB9-2}J+JFiSRFE)v3?@69mfujJ<;n;{>hd%zE~XSDL25?!-=2!iqAV7neu(O z>oR~yMLeuuEL{GiqE%buI62Z};C6HKkI@Hqba$kanIO(37*(+MJ3M9W^(yigM+-N1 z*Dt0H|3gk@w#d9(lwivL0U;q|Hia*aR_@l6eB4}+0s{~eps}X34#o^P{CI6GKXk{f z^jG>AEex4SwbXVEq1jHNg+`ZOSMTp#Zew#xSAkrBto_XJ;bac`Ojeu~MZ)6?pia@_ z%jTVlG*JQ;sCMG~$T`9NQ6Y1o+Fo2leJc8U=>R5$zj8RWyy(x%yC-$xABEm@u+?$N z8KG7kVY%Flz_5h>*3As;9<~-{ie^@3(T^ClrXmg9jo^1YO+1&va|*JlFN{BqbBl{; z9$H{fH~3Ib&AAxBEgIIl&o8%*YrNhJW1}on|7t%@E|*VihG8O6TQ)RrfZVf<6_|#M z*KTP#^Hh+RQLJ9l#yT^5Q3!mrey z`@UV9eR{4Of5C;-J3%(#T2gh%W0)Zz1_$Ivxi3ElIA=)Ca35t#94UjF4uJ2 zG@;_N0r+Drm0ET(VW{npZ!MWXeo>sk54P3R`EZMhN@m%$rgG{bIoUE!jE^bX>mwJ=g2YW5H|Sl@!HUUar?l;TS5`s>2i$XFUXkIK}a!v zvIS!Ae`>*B`X7}%qP|`6AuN8a2KSMA7!otvdBry<-@+X`ns~eFd~?5CUwsslUYeNt z<>`!U{s*OZRlU=Y`^Pz@zQVAp@5&l~7y6lHjY2Xk(n)mL4Oh7o zd}odg18zyaF1O^Q6w=^8o;RTJn#X9+_8~T-FnH~!h|m}d5dN!wh_MN+e+(fd0pYa+ zqcB~Jkj)Pu+;*iam}y4HPv(DKb`nqxBE*Fcgx`Ms0knk(xs&>bznMYtC=g+lf3cB# zAZIj4i~$I{9Z4F*g$#kS_=n0WAOTd!gw4NzTmw)g2;yb`5A{qyRUk;A<3A*{0M&pX zXD%R|_9ZLO9W(^w@ej9bK$$R*IIn*gYY!rTft2|E!&XNSF9@2i{oDnF4}#`zhxGtO z!a#GR^b_K==X-%*K`kIlU4|#s4ti!gtQ3LpTxOGXZxQ$8ExN5k_i6yM5gJZbF^(AaAgU>1%QR9sb zOt+~F-BICRrNCt>RZ$`Z4pdk5D%L?xtNpeYXt?XX27Hp?f@>AC?D9n zA>niI%r~S^!7OpmG=yV>vrr@PIE9gPBPdXp&hSq7=fbl$$fPj#iHB6XFcC=~28 z-ssl5b4ZN03?VQ`9QPs8>MiCAK_p4o7DIkQ9GC<_Xd*Eo?`dYLpXd#-sP3$tF^&;I zRqSQBghlk?xwu%~vV{z4X+YJsT=_U(NjaDbwh~q#eU`M6tFq)Qy7N#_xpG%R{>PX~ zb4!b`f#jiBec?6#kN5@~3>fCqPn1pt^6+dZAmljw3RH*SZ!XZCam`@_1gUYQAxO~U zh0)(a7-%SDZHe4)p0t4$~|woJ4&^w#(h-#55EBl;hoo)d^6itRh$XZUM#` zGE#RBSFtXt8!Wwf|zG*l1_ zzq7;`hhqte>i;5Ui}BiWES0ELcWJQZ)x))ENP!a$bxb?Hf4lR2pV7S~h*u^EFl>3^ z(?j)aH3`I_&>oE~@)lDKpmz&hQz4$`}5bSVsZ z1PePR_v!lq?*a9`S65A}RaURfo!Vq^GR?kR+4!qXX7#>C%A?vTDZX<0sd++`$_THo zSCPB%eISH`Th*TP!cZhVwPf{H!Qwf>*Y03L1<3)1vXpW9TtJyF-(IA{|N05{no+&R zjm^oAtZ1IH=j7 z!Rp-UYJE(y+Dt^Mmr9LH>l0&--a5uyuCL4%3}oXL95sxlWhSfg7=xy{Z0Bei6*Ds7 zi)~@0+~Saict9YDj_{gL4sR0j0miZkO$toQoYvSImZp&;AI2F9VcfH%RDy5r^nbsq zA%DHUa9zxQD+}Yu$G~NDVBFTivnbrrEomL;b>H+~4>?Z|H8ck| zD2;+rx4*^1h({3=aIOOUisvy1rsBs(r#Z}_rhEnRfUo5M%t>!Tm=>3GC~UHU@$q&c zUT~rLLTbiaK0`d3iuMRWqXyqc#tDYwJ`bXnH(yJs)Px<}I1+_wWPHv{DjdsZ@jW{Llz*x}zM@P1N{#~`iIoL1L#`U{Jkzek4wNeUk z5!sw7086-As?Fu>#te(7TBoXrO`(@tv<1xh^zrp&5{ZSc?EdAeR0F{@<&yB@0$lx} zpTEZyztmID^O;h_C(BtH$< z$_=VesOy<~EBCB@5qOnK`G`qQ6_A-yxJ|PYQ&+r;qHn-9-|glsPYr&$n)RTm*@R+y zXr*R2hK5S{_cS?*OHnNOG0vkD)mWZSi&!U~kA7g_kZ*FrF6warotTlco5Ixq&Z#03 zK#l!bmILveu%|!X?-s40Cz!u_eAxO62|5|vE)pe)oBq6A<>h>$wOOc+mY(4f%gd`J zDPmI8ovUh}U6-JEx;#|ZdPevoU2)y=uRz-a&UpcWohR5oi_HD4o~Q#a;Hq;U8|^DK z2P2lva|>*Ui8R3K&|%2DqxHfQLP!Gx@M>|YFrBvB%FAGMa-1_r>0<~G|8z+(jOcItjanky#}^7-3asmQjntdPY~?yb3stKIz|AHTaAa7k>h~aTQA?MU-rY%6;EST^)cNg=!Bkwa zO726ZeZObyK$3(*z{3)Npp-x3pO43+Ea(KjSlc8)@Zr>z=f2rjNXe43?V)!}dV9&` z`9)t2>(f#h7Vja^fFVxa{h1ha8FXx8f5N7y!+=Pa99@alN^``8*0G5I$O)e!CJ=)( z*&a+ZvwTm8eadled{$DmmP>e;htt0^9~#gbf{<8qn9=!Y$$4Hash2<9Ae2)ghcj~x zP`JeZYK%Ed6pr`~(|>;@L*IlX6-t1Z-UcTd90V>=M(9HQ`CYm3%>lh_ zr(fhZ0ze-dQ5Q4-c1KbHL==N1Q!#Z)YKOdUi+}Lt4tYEGOjZat<4s*j3b@IBjK^~m zoaFyQ!eF7J3PCTnD9Sv9#mJ;i(VArhZ2G?-BYCyj(e=7r z6tkGgbHvlrjv;)i|7uvUGJ=oO%}nS^%GU4g?m-1H*avAD!|PF%^dgrpx-#`k+a2h! z%5R)M49;Ir<(h<>Sam-t`x2w1jgLgOP#nk=?S%`H^Jk~*SK9b;#l!W);FI68Wmv$G zB&?+ixaHNad3J079cnGvMD0qsEMJz4xOk|21|}O@vz98k46@fp@RP@JO<=gnwA~(jjOk}wvMZmKIM1U`nyvzvp;kYz0ee>kLJ$w?eY`eimU$0@ z+K?rYAtiPMi|ZIdzdn4wEmhJR6zyn|C3!;;d8c&wpD>y&lZNdh$)1T|lY!FVqll*P z+ythn_k|`hfp!Pj*1AlJDC*xmCG@kC?`%p3)jqf;mXbeSu8?G~wh4s&N<8#9&`pL0 zlMB&?Li9Pm0jk3l?w%5~LZ8XjRuEAiQRsMEDXl5D^u6UpVN`nQu2L2;ifw5|z2SvQ zYuUXo)H{<@aczj;5g3L(ucowH3?|WKhxJ~q2T2HH?_X&_%PEW!psB!qdG)xufM+m9 zyLRUmRZx%-%-O#jhq)o*q%NXDB{Da1R=RN8uS7#A1XSs5TRvwf!hdod#%zupmC%E( zaO2gA;@?GV7yL;mUGo{`)LhdtZc71w zS5da(3Oj$EX&SouxB&&=t#k9d7CLS>`-A>GauR~v1nJ#o<#rrFPTHZa|pWpqV zGLiKZfe$C!-J+QbDLt=Oe{e4&Uz=@AU58&==vrjX*E!dzN=dzl4@x_ak(MHYWa|Zv zj5q5MtPVM2y0u+|de_wDZmSTQ-<+LYt=xHPP=Iyvsgv0JS)`L5TVhk5LX4#TgDj^i z!3A*-9pSn>t(mIB1=YKv6YbH3s}kVaPncx!((>jMNne|OVa%J4T(ex$u%~)+=Y3na zZbUofq+8(K+s7!eO8jo-YXTPPnL z1a5r;Q|uI~Y`Dq%D=Zhz{MD8g&JtZbG<)hrG=RWtRYB6AdCWCCOWv{F(XPZiVc*VF zsS*2Ft^!=Yh_#-QLmnO$y`PlZ4mL+^TqT!s=E~z8LJ~5hwwk05lu6&UF(^|hC{qa* zlx1l?z3mo>$^@$9wqoV)2@^wIz#S1810j6+Vh;#?&pNNVue!=34yeWJaD%U17(l0& zQ}oWwl@!ndCy{X^oboWgq8ZN9iBfnZM%d24m23pV&;@k?8t6icGQbBADf7j?BhlSG z(?Y#={5|mW?H%eS&%G}{B>G$WGrzX_)mgw|*u%y^5blJry<>xq;N*eOW5sT#Uso z+P5`MotZ|4=hnRJ+=NmXUjPp!qJlEv{VUd&+i#mUf6r`}^Uq%YNL)CWD)i|{Wpaq* zKa@Ib%dbyrE=eErXzSN1z1CO1ImZ?f8Y!-sIC~wi!t~tS9v!XVb6o@g84JaXlQTRD z_n5KgHY^#!RK79NtS&BwuZ|?nqs|BFeU)RcSKA7n7Y4oZ-X)OBh`lQdRqhQIW2Ji5 z$L0fXcYzEe^k)hPhUHzPF2Q)N{r<+Ys8HaWElR2k1zW=Cpq;zC?KjCvRQ2VyVfS7; z_V$_V^!VijGk}BWJ((LQ7Y&CdQ2-Eb4j0&4Sf0!G-YlXWQC5&KSi$xlJeAMZnI5h> z%H>ZdX5h{&tvylcyOPFlG}w10KBr!TeO60c_3>o+Jirdm26mVj&jRe4614!K;!~J7;H1ongRS|ed53vzc*65?c(>7kcJeN z-uLUBW_qvopa%ae?#pQ{%%p`gc8BDgezl54TDb7PP0V1dDkP_N4ZxesqfZzCCJN6BY1|)vqh(F8nzBhA+kZ1+a#AHeCJ?ioR$uy z?cPx+2H-Cq$~{&q8(2CnCK&=xQ`?M5(dp)i?C`N&j`rSOBKWUoLg!bWQuAd>tK6=x z2TO0ahaV5DgRHm)^w%#v+#MB#v>7z3Q*Arq)c_Q^g^N^2`AaQC?j_0bzB;O3qxzUt zUi9wVD(3(;!*JHD?0m=oez17Wyt!xjp{MF0Q<@zNuLD!Dks9MtWlMh0D*D_uQ>`5b zuS0TI18#?Y`NFxN!Cf3SA-d&U zXG+KAVVc!P5v`S5ZK{qoMcu~b{DC3o>sg8QeL$CV#+vQ#jj2Ds6VE+A+^NH~;dviq zZS4B?eMJ!n<0r7qJwoe^Uc)J0&-We{{&pwCv#BRr6yzSWXd?I9b zux28z_^dYPol)l2W6hVrzH7G+lv|%2`xo!U7>}pj6*cKpuE$;3t9@r%wdvKeQ%=9vfmyJVpJCu<`m5RTw8)pv=_=-%ldEkrus&6r`rSE` zb}S_8^(bu`jpFx=MsG(L`gID!x!%Kmz0Io;Fkx6X;RilCXL8A9KfGIHunPz;HJ?AY z7KBcDXl)Z+S=^wn*zZyn%dwBrf927w!&)H@Y`rJ0Y`*aoGTpe|N{_1bXj3yi2%IzK ztj(SY{&FMSU@wB0{uI0IV757X2ta?4irIl&nS*d(IN2c)fuJy0E*^Gv2s!|w_z$rI zpmZK~4*vg37T54`{zA#7Y-X$O?tsjuM9J~Lbu4zy|083uvvX7a=c@%LSCa}@15&lVn0s!@JGJk;itsp6|E?Vb80_;wen^$=$xn z%e!*isEKFAQBns+cbL?{g`ucjWaodaqR`7hR!9A%m6UauVemCGzud$cx)~LUzJ*Tz z{}uHi@8%#l7)}mId)mH=~0N%2WZNl1xHa7*z^^Kfu~;^q>e{Qrlb z{+sB(Iv*z|WXI;;n*!NSezqZT!k{ak_dTN;w+-Gdod<`Fht5QgdVOjtYUJq8xEj=Q z{%9<<(nTsZpAJ4CQUv*wJso6@38pYgGnT%QmXgx`-8EDtYJi48*XR?ljtU~y3H=-u zqK7ESH6+G76pXS<1&!U0CYyxHn1pPj0z0e%16P!~Cc;4`1P0(T!D#XgP&W;zZeSG7 zB)C}25c?m&20udmb%N;_!a4p((Bj6p3a_+37LXDbBA@iJF-@4uR234PNTr3H8-ZHH zJ}O9%v`9h;6yVSmpmY`@_)0wu87Gm6cY?yweQfF@a1yn z1Q1UHXDgb^VJyoLWXs$JSsh)xzgeYj&s%jjMJs^qMQ|o0I~7EM%+JAtOiL@JERFoX E0Ebi8MF0Q* delta 11908 zcmai&MNpnyu&sd)cY-^71Wj;vcXxM};4XQA;O_1aG{N1S;O-8=-5qZJI%jf5clPwE zu3CfLwX1u*RH62lp;nJ0fmql%QXzRkG{By&bmHnDe#c~$&=YjZfcwQLd2+3~hRKjq z)^$-9oitno2*uhdJq|B=uuGr{*WU`AjCNR==%4_Su)}Zlg(D2735NdNRon;YYVCa9 z!7pqyisJg|>Gal`*RLJfRBsf#9h{${R2FgKcGd2C-*+e0c0C$S3uMW)B<`Ic00(>S zoL*jU^zJ|VdAb7n1=nyKA`0`n^spyul#&Hc8>^_+QYsJ%%^PCcuId%r^)p)5`co(S zWN{cIYCLZKHu33bcaFgd{mj#+%T>(Y-a{%syesH^Pf6wqsc~*p5HwU$;O~gKl463@ z@@*(}H~z$!im7qFyKB+w+VXoh3TV@3H$0zJ@KNd(<5mkL3zUh7L4BDXW()cM77#kba}mlQf;RX}O7g&uTTWw|`K4-C@kp zUPxw^ePNOh#{h4hYU@p_MxI}dIrfTOpvGr8hI;;Za>rKp+&CbFKIVSo5s)OQoGEzW zIm1j^#SC=&6$PHzJ7bXR0(3nsL~%R&s%a{C*3(0IWldYvWE3SX8i610gOp>~AyxxL zhQ0VTy;uoWOZ#^yRNsLVLKVbc7iS;k$4;g`nv9FWT?_a~8z2%#nhP5Llzt`5*vPc} zwzT{h`puiMk?WH17>f|@8|~h>JeQZZH=d4C+&Z4lvP5N{?&YB_V44OEnQy-(FM%n| z!hICrP}#}Go-9dd^<3=CfZAgtUK|R+7r`@W7@k~7%*blbs})P%DDZL-PS;nO_74?Z z-HtdG((H^v(B;_okz?oluE`MUfvo}=Gl9-f7Lw3RvP~?9;%pbR@Y=CjNs)S-m6WHd`;^JN|n*q_W_zPn?@S{+@5desI5s?IJP%}f#f$RPOwRDeOT!}=*Je$}~_r3ku2hoQ`Drp7d_)f?Mj2&6}c-+0% zH)e#Ci-r+rzl@7f7i0=2{8jeF9U1(?*@3|hxjtCP2#0BPKP{VhKMXd1cA|ct2^k7G zt8pL+QaUIGr~*hD+H7hEAC2BFjAC|r8* z!}9TZX$y66P-IvUp9pR;iO<}TXhGh%AwyTI?OEyvVKUeRJ@92;#TUNwJ!#cU;FkHR zd@n3i^mH=QHtgJj05_1t%V<8Do`uJZC4=eQC^ft67GVZMT6X^f@qm5u;Qt=1Gye?x?S=NF>IQ2G`T@WX3#m-v>ys!=j>z zsyT~tX)Okqfa2~PDx=TAb6i-#S+;l){$#mmrZjcMe0z)9uqOIXK2g|>i~!6!uPuFq zwO! zSMnj(?)-&GaximZ79x`2tBl&8ju->of^3YYC5M)=nflkV?|KrWr3$k8CSFSjAEJgx zX3M+BpL2QQm;F{eH&qP0t`D$vTSNTr(T;((Ar<9Aagpnn7G@n(BZqg+&$8CariP;5_)$YdRvPG!VAoG zkI^KaquM@_A`W^Es>@tB$JH_L+jybjd6qFzC0lr%#*avbR_`LCX39Q8q%Fq0c}X?Q z;eK`g%?Yj`r~7m#$cqSVLy+x@>ytYIYf`PRoi~PCLz}j@DnA>mXA6Qnyt2W|T-_K$ z9NnAzZgE9tXUqa#C}U)f5Cty6cnTl!p6VBckq*mIw1~5>tJk(9J(uS|XJta!*V(A} zXU9=RB~6%K^JCrs!cIwaQqp#Mdk@YR>Qv@MR94R6;o`;wX-;@wl=jU<$!7nxD2`@y z){16vnYtOLbxsErOV;|N`?{x0;oZBkD#U6bq&%z|p7dvB)fDpiqm}D`8duGE_)3l~v_LzClhh(B^@R2*W~Qv}H_6xa!%; zd)#hXJ&()RmDg)$pOU%Sc`m&vl`Q@62}^tP@$mkYfV81qzg_~+44AyKHk`Mf0Y`8| zUz8W!HZQHt5i2yp+is|DA7s8s5r&tgbi8p0o_ct5y%%M(^skssM?sIl8!6g}y&S?I z!lE@U4-K952j_U>-EWWk_@QrW60>u@ZN;BG^_cVA986gugqEZ07=2aNIC~Jd51-|1 zY8%moHn5w)UJV1LKORpM^XKo-0G@DBLxmt1{>U?X(k2I;<@Y@}-!P{+Olu06$L}dF zxK9YASX95(o|aWNC*o-((}RU**4YL{6tCJLgaq{a_}69b%n)E2f{ z2!`ZCK~69RV1Kf)sh;3H><@pFN-C3KY0oV-=WmBKi_3>9-W9XmyHP${?cmJL@y6-w zy}FS~cBS@~UK;X*3%y+^mb-SUE)7}R4_ru6^s8N%gKL=GGhZ+JUL|~qx$b)5-$@WG zoOlkpJK_Pl{pkr&{>&7OmOKAb37uN33h1Bks9>-M0IcrPczN+%ytp5p zF3e%(r}$FD+c0NWBJN(ybVl4?jpS-$0ROjZX|m(HykcVS>ORAbwcbKoUW?)J#mpgN zWH^9;8S~BNC4Eqo+Sh7!2`{;1a^80?9z41``&pIZ`HyeLsQ~iopulQ@yBKPU7LT13 zH(JbRg^+cZZ=vx@o5jA(q#KYH8@=fzrR)4{4^NY4u2AaR}2yXU#+4kVg(|6ro6z-&XUDk zGq;BN=qN@IVS3584lGJ7Mp%}?)j?-YX&!^_7pEeNk;?;&FSnigBk@fqb1Ando6ktx z1+ciz5f3r1HQ`e3quG4j#-EzQa#3>+`?=6{(;~vDD1%>F{2 z_0yr+8Vhkoeq_%mKMOK9zMh9ZayC9RI?P;tZ!xHRMHyW_FI|~S(Pu1UmS4SA`TCqu z+?wVA5rH1hB349DP5G#_{_)=m1&ZO(@JWQmrv`Cza{te9bEc#1vib+(`(jl$g%YLQ zeol`@%r)IfH1U9j#t0SdG8#HU;@5CVp_zp1lUaUN2uSoihE;6MYcL9zredz)19CJK zM)Y@qg6t1L1ERNm_CgMm5XWLO*DG2UJ{Gl4zwKO^V;D^1ecL^CC&L(2C1|68VccEw zUM)UFm7JPKz_;#ADA*<%MOGGEwBO7Ytx_45LibBf>te;6S+O}h6`|?sAn2s|(npW} z!q*ggq2lM0PNZZ8Cm+0Oc|NKjI&$skXfS48xTtm>v*o9BVR?kiyQ^4$C z(CFM@nmT{&d>>3KuqYUggfVFud3;zfT}GKNAsK}!-`Dd|Lox4fmX29Zm0+m=#?BVM z2**<<6VRH_*&bTIPap*HBJO`f%#C=Tonv4tn7++MMO-}79N;snKplyhUqc*~L2BfE zauf{&II7^5%1mYye-vL?2-!F0%aVxqDU>An@GrjYZ;~3yY^)>Qc!)?5!>O;p=hp zCbLUlSn^7X1-aUuio3!ChcVj(F5yRm^yeU`#ZwgI4cUkO9}KMN�eA%g7Md!ZCka zMK+F03bWuX;z=Z^LDW!7M|^cgPLGacadaZ^yrbRbGuT)oizTLTAjMpmiAo%^I{3Zy z2Z%+s^`-e0zFj>C*Ox&##&@cosT|FZwXlTLm*Jh`lLXhBag6Op{R{F7-pin|JUqC; z7f*w&FXJ81df73SH&YY9T5PSAO@>ZIB3XpM+lLEEh4LPs@?|qhJKdW(8H3c1#C=P| z`}I(Ep{AEGR`4g<_@fYf5NGMY86d6@@*U^{j$5^hU8wN#?GWq;w&S=#@?no;vLTz`ObnQF zMV?Fuifm9g?yN~P#)k9dNm&tmX;h#5B@(o|1-V3XtaS`L#8zTN1;Xr<*1^pbpi{}g z8rsn45`?WXbYZMst?!R*{D;OcNL#!^q4VmuuhRu#?k6FA@tkVp+LJGOmsG>Ah+hpD z9U9}D>JTf{{*Dr_D}b&}<%0SMNdiKlwrE~^EIq$cI8ul6285P*K!xop#YR~o2_D}@ z@uorB@T^mn3)V>KA7hB!yI1D11_GffcX~>TMXriYw%Z6w z+ClI1F|YycE>P{Op2F)I&j@Gih|b47<+zqpY=@%qCm=*)QCe){lm<@UZuUQ-rEOjW zWnYbm=BJ19tRWpoi)p#di}5DhTkXhMbaxLlV2!8Aidf;pekKbGVa_db0$B@vA4G7Q zk3k6PA0)rNxX#nGQkF(AqqBvD_^+&d)M_3w^OIbzK7TP+BlXeVG$PU@QnJW=%#+CL zBJ!QvkJAvU6}5Y~^ze%l7iEDBq$-CJMGqPHF(+JWrX|^^DIT}a#+Ko|ZQk;4e7xIq zxMQ0u5B|bUQZ#@g+$L_^0CLDWpN+#NMS2rY!>Rff11ux>lGgD2$3DV_Ao$Wnk&$aL zS~}x!3~kL}5x#Ph8c5c_dNn+mBD3#P-(eZVaOCa=0c5pm@!VRKdNnn7ndW=mtUD@$ zC_E{1)e!7MOG|@W?InFQBac75D9}n$4dWi6>%z8qAIeL_{eofZK(av4dh*jq2u~O| z*k7)*umv)d*pXdC`SM#i|CtGVdxh5REF((A5oz%hi$lP8NB8)b;@!n?2tt>CyT+PW zosI+MA))+B)G6L~wQ@SP5Gmw>^@fy!AHgz?SCnM0rlv#;cD$DLk(Gv9%ybRPc_DfCKEF-n@2zY~ouU91}Sx z>Wf+CvvAZ4jpLkAbiWPL$)yF(p~s(vzU=4MfnHMDzi#T_xv?OKuQUXDRx}I{NQ0)E zG?6u+(a4%E0KYb8{`#^(@mn|gsomg8CLcYTZ*?Vg*Dr*wtqtqa<080(mEzBy#o=ni zPIK((bTAF-t%2rQ;5nD_XEc}K%=7#{&M9|&-Us+%X^hd z=t6F7H6Rnq7}2C-J2fi^Ev>~LYdUqX1n&4v>?sNK0ZH|fNy%!thjf|O=}8as;(nk$wCIoh zm!VPcTxYo-Z~HDfQu;!&c(V8bonyecId50_IXtmbu6LDMxGI-Nm*;sMA!j)l5;t4@ z_l!>+aB>_RZTb4P@y&jzcM(hS{Rrh*f_9e)&z)gpgqwqJi`2Wq9Y-$#qMN)ssE=53 zmo7dq+VXJXDy2{45#|f0*zoZLKv^R)#5 zre^-q-99zQHJnu{Uw#!O)eZQan+^`owMnz0GFVTn4 z&W2C}8UAg-^eoYBJ(8-3)8?9oSHlz@-3$+^hf)C`QyP zZ^dNXASRBP0aq;(SKXJoA6PUcRAjwoeQ;FhNMQcj?3`ajp+l#QSWu zq1t%q<)_zNoYRoK-(tb6abo}FFipBVrrX2bN3Om*sY601a^z!f{__6UkU9CiP?FTc zNQ5k{TiJofs30S-5rW{3%I?0gTMkFJ%jDs$2%dQ3TBu_a>^my^VfF}sG>H_#!lO@K zuR7Z$G!S}rO!!e`b z9WbjeHbj1=rC;na`P>JbO4#NoqPe}9i>tG_@wflT!NdlUi@gp+P5u{(i?fLe2@*V? z2uY38WUvLPbCgPn1c}u&HVoBHn<~Ba53_EdCTLTehoP{W0AkQD_|(vwe<(}^+JsNF zCI;a&aWaCUkW%TXKv+$SJRnDuR50T|)Rh9UAg1>5{KI?|5EpW)gcJy~>C^yJ4uWFh zYDzN!wS!WlRQ_p}7NFlCNTw!i8xR~+>WaZXiO~*}4waf}@()+-LAX$<>K6YH#tFm; zO2xAIhl;KsXizGV-9NPO0J%Y>4%z=Ry72l>y>k4AaDJdM5Qv$DJvAy36hzI;%EI}D ziHn+viJBIXQQpB!%-GeOj7E%yg^7ioiH(_wne)GvRL&$&O6sgXh=_oj3z1R6+S$dG zjEjj4kx|av-qO{IjE#ef^M7ukbzNJRRf*cS3Bv#f&axzbFTrvZUGw1uo)}`@lx!|{ zJs(z8ah@!th!Ce0g1k*EKeUiMHu>l0=~B}r(C3;{Vdy^r z9aq8P{Fr*iqU z>1n@3CeqEV1J4x_$b+Z~aGgifk;TXRk3IF$l%AU#E0NOS4hj(-R7+;!Jjh3ZZtZ@d z25Sa8P2)oJxB4G^{aoFR&9A$5OY-7><6j)m8SAgt3iZi5^!{pdhz3@87yV&ctePB0 z2#lD9;4c9pFYtHrCr2g^4h*M2`8I_zPRkb;%@h{KmWs}1%mz{e2IAGr7-FCxlAzEa zm~Vq^sv(19i&4ek;V?Rl4h2<2xcTzb^HN-ywZ^ANzY;Y4+6`!$zD37_<&x>!K=JLR zi3Np&eq>mw62OtsuP~DjV|$t%)pLb?ee!j6_UF~eqavwIAb><5f@DL8P1NYi&jZC= zqDj^#mQc)iL2_0BSK4^KmuF4lZfa^kZf6?K{M$~2mtQTOJoV4l*2mRNSi`sSj=p^W zTjcekmdnU#z@*0{c7PX$73Z$@G1vU6f+_IDa#Uy5{ObH9TcuQ<7Byv3K1KZa)Qonr z)X==M&97tm-36y_udigZk)hR_h@Q7ihptOLwqn;@bCnFx-*&4xJ$Sp;SzW%m-UvP4 zOJrwH1&^oDMWuM)uEu+U7BL2H3V4Xn1q>F%@9aD^(8_-tnJFvc+=%FE z5UEX`Jl)#3t4t2_AB`kFyRxn2ey7=h*KGulH zD(q!X@FoHt92a^UPwhxvsgw&X$xT0Urpgk9-CW(;r4C{x6E|V!-(B5xCKEh&zTH(n zSMqpL%p%-zYhyXMUjB^wE2$1!9W`B(1l3QaUuGuO;WN*P1RbXOOa?@Gfz zP+bg-;6EaZ7STA7dJjuGcaSJzs~dPtr-NGFen1vm5=LT&(>{ILTNOh5q^d?8{Z!~=zSHKk}8Vy&w^ z?^pl7CR!uco5zB=(~?`|1Oae02pS^(9Eeclg8q|MAB$c#n|urmog_ zp%4I4(F+TX&J7+4MjR4(b24g;4hCL`mVD&V2WCkPM*)2*5RlWW8Z1XkzZB4=Mjy?A)wzmL~gZyV%8bFU1y}1!ihtF?oO<@ zdOWMNftLy61v(LHwVCR=YBG?23aNOBvVQ@#(5?m-;i z|0+8h`xdo|X(5@#mv&dnx|^T|yBECA zMNx&h!-zVS#!B(5eF<4Wz7_Y!h)Wb;HzWAw9_i{VK(tsF`Q-Y%Dj1ULf82Ly(u^lR zL9^xU>UgX%ov(=^H`YFoNmyYl;6MB*KVKxYQ)w@mtsi*8Y#7V^lC@Gejp}j^{zD=P zfOWlVdQ!G$mu8*>C4+4Z_T0iTaxLJiqr?Qxi8sIZDCLg+v`=+xzEcxUzTXFIWR?=D zLhVZj9izMk*Zq!L9oO8lbDD1XejTVa-4${UmVH8QR@V78V-Xk9Ts$W?y-ib|oZ~J){!&1VcQ-IhP&eFvn=R2u$txirQ=}TJ5RMzz_ zC#8IC-lPJ}*ASn%t{ynSp3BLx)6>}Xx%aMZPV`1=5Ivh>caK*&ooCY-1z)l~-|SOm zX04z1%Y<8`-7&H|1AWOi-H}S$%RBfSl@xu6o$Vw!t}wG!t$j8GhQdQ&g=CieHuwa% zUiL3D>rq5ofI-cj^vxlrL*sRrx>)TYg!6HUNwnGTNrz?6p7T~*GkUwv;kczPfp)7e zgU;q6Ukb@XHTWFcGlt$byEJD&Q0<70491*gy-moQW%_H&B6X}SS-psN=-mQSF*BvQ zxWs$Lg_0s~E!`_m>;4Lu^B(XV;YnTk^*MuToa$BVA{`f$cyhO zVEFc`AeP>uc&S87XAScM>PGFEXhvAfY21N4!qq4RLIJ24em?kNHUr1VIM{2k;LZn;%L?^#NceUrq|&mDJ|?oZGH zn>3sD8|Fe~CGvQ{W4-c2<@;Kx;N3Tl7~Ux8=#H4yznr2e1qkNLl2s2|3!wwlANWP; zjq9QbW0DJ$jn_#f#-(Z;%tb!5nx8so)*}C;E2tDv-B~5T6h`2XyyD84^hoS7s9KKS zIHjhxMSl_B7;C;eKBal_opuz92+}sSWsg<0ew1-Y)e)luWV;zNwWr4@2#1SYU{_SVvv>2pPp>*kbm9;rk4@YLA)|K({xqijF zu)@z+c`BWY(>-3fwG;-iDa)uoN@axMEH34=1LXq{{QUd69r$(*tQI1{=5{H|Ff7K7 z@v_YD(=70S22#K^92a*h+qd2bZ!3am@Fx}D9}|J5$af6Xfe5KF1-c`s?is9+^yZvy z=g!a_mH4E8z$+Rv*q-|zsd?7}U__=ma({-p2C_aJG|-A2Byw}-+@Mv)@meKt7hGVDBNnWw5F9C#uikINDP z?&#=-MVL;!pQCreqY9wPci?LunvI2aYgZ5aG<%;)MHATgUhDaQnZyX|#bd*XIlCZF z{lu+d#Ahld#s?2Joj@8d^PAvnFsAiJ1y6QHX9lkAM`FtXaq2?1$lz7>z<~ zWlddAC|AlKdBn1p(G%&P78k$%Hh;1wlNUj(e3#Dt!jL$U0#2@nm_gKui#amk;5S8p zsww%>{j>htVaOboDHwK?GYw;S@^~KGuy3sjIH0bZ-ZSADtup_PXRtNlvFQgqK2LL2 zp-zO>iSw_n=Ef*G0epO!xKx^JiVhR^huJ<<^vr>RGRcBk6N-KDUv@kAfA;4++cOizDxAwt47vr(7K-~_VQRi3murrT;>lZqOfKEVHRn5y^LTy% zB$|S1ljR5V%6A0>8bk9}cAnR|9e9fuIA>Q;ikj5(!>)YUY9;FW9TgkfABX%g#hP`; z?K~fzUIvQg%6F5;O*VS^YKb;F^3-l_+WObnMm7w@dxH!o%U0exZzndbrHZjbNA5le zwqxa9?4*9BIP*Kc8jJHg57ut#9aRE=8sM9)%u6IZ8@E_=Yd~?{I1u~L1>C=(ebF@= zbJqeX)L1sBDHiV;{`-i8yW19~^lha!n+9`|e)Ee=64|U1p&7+>X>Rt=C>kf>&MOXo z7JJ_@Spo}|Pqc zdT-9Wf`-NhiVC4OH^^@zN0S`u-}y-Ec8b|6iJ|VYD*Eh+knVhL>%WPeve~vrYNL?| ztOzcB6xSTTN1mM0Wd}vG83K&pn#jr_)wlR<)7X+V`Z2mz3BReRAmd3oOaJyEmfvld ziD-mUVqVkDL4I*V7e!q+MQ@*N5R)t8S=9^?w>Dg;-OSaV| z_513Q-fXS+%cq`L#)mF17QL*(-b1@uk4wi3FF$v7l8O7A&Nv@lEKITrn%StygFQXn z+fSUf^9MBR^ET8cb04h)F&^jxk2V{iT?N;-(+xC9$w_zrtF69*oUtB(HnL?=y2g@* zt-lDvs%*|Mktb~)sX!NTU9w_Naq;y~A?q@)%hT7Mc>7L5#gaPndDq5P?ylA?kM^U# zu54XIXo8gtUysouNfJCv{=A^&3VeUJflH7iWsE7=wdIqw>DgNh!CYc6tJT`w%| zLvIr%ny{GNtlLCB$g7%uJP6#}jqGTK6Nu$tC+tSoYebeJfH710%bkq zaWrX`%@WdlOy1S3m=;T!Oun4p(!+m?X(0}y!j?m@mXS{C>^sn3%|we4r!*;{#C?a8p&AJH`5F8X7}Cq(mD7WrxSeghRn3-%>Z_h?gzcaO&#WZ&P1|)Ejf;Sh{P^q?xkTT+TwA$vZ<@r*Y-|nQ z&#Co2nf4&im@nIq_cWmQ?uy6mG1FWQ^n6h^PmJ9c9YT)ajZf*#{w@>PS(@k=LDz4GuAO@Oo4>TiE07mOE@mqR@Rs}9F^a7& ze|{Bb%}M>;h!%q*cS}&&s>vp>QVFSV8lb1m_$BhY`SRg|okka9tC%)hqqUfmzVf|U z*V9ttd8KuG{52ed?iy90enfLe{H+n=91GwFH)6Q{Z<2}Ww^|Hunl^%--H{ZtPt-Q_ zBEPLR7AFD=)R7h11bL+BUS8 zEyozxu3ehEOAl$LItsk|O0`XJ-<@nM8oKa*6EJ++ks5M)@?Li@xBs)KE#Yu&vjm(o zX1IMI(mlOn|DhoCS^!$V5PISs+_?@;i~_plwu|OxVbvO5wBK0KGvjG8N&81$BbW5u zm#1-Ppw)k_e6m0b*&01sCd2G;CU)m-D;?nq&|;z{07I$f#=VZBE9_!imVJNv6w8#!ANgPgHSm zaQ!E;kui~}ATmnZTR8ly*#EZ@Bh%#*W#?jHVdE5M;TGo>o8sdft?x`ACm<9q3O9TU}kD%Tkmo6XiIA1O4WqCsdg?$PcWeQP1*^AM= z2xBFWxHuoglaJJz4_BOr`#J^pR?x0^Uj~V>82Vc{e$r4^bVrP$F=XKByoMdTvRlJW z*Sa&ikY=^n_S^sP98-6<0AwxLNF@gM)<`8DYCj$e4~Go5;`nG2){Y-Dfjop3lE~Os zhBtA6j2r9jK`c@YYO97bUc&YB`WABGFek`W&dB(GU;Dqv*2UG>+11n8+yaq>m5rI1 N1Cf$aTu}n?{{he_-cA4j diff --git a/main.tex b/main.tex index 22dc1b4..8c12f7a 100644 --- a/main.tex +++ b/main.tex @@ -140,6 +140,20 @@ s.t.& & \sum_{e\in T} x_e&\geq 1 & &\forall T\quad \text{($x$ forms Now this LP looks similar to the normalized min-cut problem. +A further reformulation (the new $x$ is $x-y$) gives us the following, + +\begin{equation*} +\begin{aligned} +\min& & \sum_{e} x_e w(e) & & \\ +s.t.& & \sum_{e\in T} x_e+y_e&\geq 1 & &\forall T\quad \text{($x$ forms a cut)}\\ +& & \sum_{e} y_e c(e) &\leq B & &\text{(budget for $F$)}\\ +% & & x_e&\geq y_e & &\forall e\quad(F\subset C)\\ +& & y_e,x_e&\in\{0,1\} & &\forall e +\end{aligned} +\end{equation*} + +Note that now this is almost a positive covering LP. + \section{Random Stuff} \subsection{remove box constraints}