ebook img

An Introduction to Binary Decision Diagrams Henrik Reif Andersen Lecture notes for 49285 ... PDF

37 Pages·2012·0.46 MB·English
by  
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview An Introduction to Binary Decision Diagrams Henrik Reif Andersen Lecture notes for 49285 ...

(cid:0) (cid:1) (cid:2)(cid:3)(cid:1)(cid:5)(cid:4)(cid:7)(cid:6)(cid:9)(cid:8)(cid:11)(cid:10)(cid:13)(cid:12)(cid:15)(cid:14)(cid:16)(cid:4)(cid:18)(cid:17)(cid:19)(cid:8)(cid:5)(cid:1) (cid:4)(cid:20)(cid:8) (cid:21) (cid:17)(cid:22)(cid:1)(cid:13)(cid:23)(cid:24)(cid:6)(cid:26)(cid:25) (cid:27) (cid:28)(cid:29)(cid:14)(cid:30)(cid:17)(cid:19)(cid:31) (cid:17)(cid:19)(cid:8)(cid:5)(cid:1) (cid:27) (cid:17)!(cid:23)#"(cid:5)(cid:6)(cid:20)(cid:23)%$ (cid:31) &(’!)+*-,/.(cid:11)01’2,43(cid:7)56)(cid:3)7+’(cid:22)*-89’!) x y y z 1 0 :<;>=>?A@2BC; DFEG?A;>HJIKE(cid:19)BJLNMNOGP(cid:19)QSRUT2VXWGDF=>;YT6RUZ\[(cid:19)EGBC]^?C_F‘aH(cid:26)bcMNd!egfh=i?AE(cid:19)jk;YB(cid:7)lmM(cid:19)M(cid:19)d!n o/p ]\DFEGBJBC;>V(cid:22)]^HC]\EGDFHYeqRUrFBYnsltM(cid:19)M(cid:19)PNu bwvx‘yWG]\Z/z|{!}!~(cid:128)(cid:127)q(cid:129)m(cid:130)(cid:132)(cid:131)(cid:134)(cid:133)(cid:128)(cid:130)N(cid:135)(cid:26)(cid:131)(cid:134)(cid:133)N(cid:136)(cid:137)n(cid:139)(cid:138)(cid:24);>jsz+{!(cid:130)(cid:128)(cid:130)N(cid:140)(cid:26)(cid:141)(cid:143)(cid:142)(cid:22)(cid:142)-(cid:144)(cid:128)(cid:144)(cid:128)(cid:144)(cid:132)(cid:131)(cid:145)(cid:129)m(cid:130)(cid:132)(cid:131)(cid:134)(cid:133)N(cid:130)(cid:128)(cid:135)(cid:26)(cid:131)(cid:134)(cid:133)N(cid:136)q(cid:142)N(cid:146)(cid:147){!}!~ (cid:148)h;YrqWGB(cid:149)?A‘a;YDN?(cid:150)EGI(cid:152)(cid:151)xD2IKE(cid:19)B(cid:143)‘(cid:153)WX?C]\E(cid:19)D(cid:153)(cid:154)(cid:152);>=(cid:145)_FDFE(cid:19)Z^E(cid:19)[G(cid:155)(cid:19)eg(cid:154)|;Y=(cid:145)_FD2]\=tWXZ(cid:157)(cid:156)UDF](cid:158)V(cid:19);YB(cid:143)HC](cid:158)?x(cid:155)(cid:30)EGI(cid:3)(cid:148)h;>DF‘yWGBC(cid:159) (cid:160)(cid:132)@F]^Z\TF]^DF[S¡GL(cid:19)L2eq(cid:148)(cid:20)¢(cid:147)v(cid:149)OGP(cid:19)£G£⁄:s(cid:155)!D2[(cid:19)jN(cid:155)(cid:19)ek(cid:148)h;YDF‘yWGB(cid:143)(cid:159)kn l O (cid:0)(cid:2)(cid:1)(cid:4)(cid:3)(cid:6)(cid:5)(cid:8)(cid:7)(cid:10)(cid:9)(cid:11)(cid:3) (cid:154)J_F]\H(cid:7)DFEX?A;(cid:16)]\H W(cid:29)HC_FE(cid:19)B(cid:149)? ]\DN?AB(cid:143)E!TF@2=>?A]^E(cid:19)D ?AE (cid:160)(cid:132)]\DFWGB(cid:143)(cid:155)#(cid:148)h;>=Y]^HC]\EGD#(cid:148)h] WG[(cid:19)BCWG‘aHYnS(cid:151)(cid:134)?(cid:18)rFBCEmV(cid:22)]\TF;>H(cid:7)HCE(cid:19)‘a;(cid:16)jqWG=(cid:145)(cid:159)(cid:19)v [(cid:19)BCEG@FDFT (cid:159)(cid:128)DFE(cid:13)(cid:12)(cid:150)Z\;>TF[(cid:19); WXDFT(cid:15)TF;YH(cid:143)=YB(cid:143)]\jk;YH6?C_F;%=YEGBC; WGZ^[(cid:19)E(cid:19)B(cid:143)]^?A_2‘yH>n p E(cid:19)BC;%T2;>?(cid:145)WX]\Z\H(=tWXD(cid:15)j(cid:137); IKE(cid:19)@FDFT(cid:15)]^D (cid:160)(cid:132)B(cid:143)(cid:155)(cid:19)WGDN?(cid:15)(cid:14)H(cid:20)E(cid:19)BC]^[(cid:19)]\DFWGZ<rqWGrk;YBhEGD(cid:17)(cid:16)(cid:9);>TF@F=>;YT fhBCTF;>BC;YT#(cid:160)(cid:139)]\DqWGB(cid:149)(cid:155) (cid:148)h;>=Y]^HC]\EGD (cid:148)h] WX[(cid:19)BAWG‘aH(cid:19)(cid:18)(cid:160)(cid:139)B(cid:143)(cid:155)!P(cid:8)(cid:20)(cid:22)(cid:21)+WGDFT ?A_2; HC@FB(cid:149)V(cid:19);i(cid:155) rqWXr(cid:137);>B(cid:23)(cid:18)(cid:160)(cid:132)B(cid:143)(cid:155)!MNO(cid:24)(cid:21) n(cid:152)R(cid:5)B(cid:143);Y=Y;>DN?+;(cid:26)(cid:25)(cid:22)?C;YDFH(cid:143)]\E(cid:19)D⁄=YWGZ\Z^;YT(cid:18)(cid:160)(cid:132)E(cid:22)E(cid:19)Z\;YWGD b(cid:27)(cid:25)!rFB(cid:143);YHCH(cid:143)]\E(cid:19)D⁄(cid:148)h] WG[(cid:19)BCWG‘aH<]\H(cid:157)TF;YH(cid:143)=YB(cid:143)]\jk;YT ]\D(cid:28)(cid:18)R(cid:6)(cid:29)UMNd(cid:30)(cid:21)/n (cid:154)J_F]\HSDFEX?A;(cid:30)]\H(cid:16)W B(cid:143);>V(cid:22)]\H(cid:143)]\E(cid:19)D EGI(cid:147)WGD ;tWXBCZ\]^;YB V(cid:19);YB(cid:143)HC]^E(cid:19)D IKB(cid:143)E(cid:19)‘ I4WGZ\ZUlmM(cid:19)M(cid:8)(cid:20) o jqWGHC;>T(cid:5)EGD VG;YB(cid:143)HC]\EGDFHSIKBCE(cid:19)‘ lmM(cid:19)MNQ(cid:16)WGDFT(cid:24)lmM(cid:19)MGL(cid:128)u n(cid:150)(cid:154)J_F;⁄‘yW(cid:24)(cid:31)(cid:143)E(cid:19)B(cid:9)TF]! (cid:137);YB(cid:143);YDF=>;YH(cid:20)WGB(cid:143);⁄WGH(cid:9)IKE(cid:19)Z\Z^E(cid:13)(cid:12)(cid:150)HYz(cid:23)"(cid:152)]\BCH(cid:149)?AZ(cid:158)(cid:155)(cid:19)e#(cid:16)Jf(cid:20)(cid:160)(cid:26)(cid:148)(cid:20)(cid:148)hHhWXBC; DFE(cid:13)(cid:12)(cid:13)V(cid:22)]^;$(cid:12)(cid:139);YT WGH(cid:26)DFE(cid:22)TF;>HJEGI|E(cid:19)DF;(cid:20)[(cid:19)Z^E(cid:19)jqWGZk[(cid:19)BAWXrF_%(cid:12)(cid:150)]^?C_(cid:30)E(cid:19)DF;(cid:6)&’(cid:25)!;YT(E(cid:19)B(cid:143)TF;YB(cid:143)]\DF[ ?CE(cid:16)BC;$(F;Y=>?(cid:150)H(cid:149)?(cid:145)WX?C;iv(cid:134)EGI v(cid:134)?C_F;ivxWGB(cid:143)?(cid:132)EGI|;$)a=Y]^;YDN? (cid:160)(cid:26)(cid:148)(cid:20)(cid:148) rqWG=(cid:145)(cid:159)-WG[(cid:19);>HYn1(cid:154)J_F;yWGZ^[(cid:19)E(cid:19)BC](cid:158)?A_F‘aH(cid:147)_FWmVG;(cid:153)jk;Y;>D(cid:24)=(cid:145)_qWGD2[(cid:19);YT o WGDFT HC]^‘yrFZ^]!&q;>Tgu(cid:9)?CE B(cid:143);$(q;>=>? ?A_F]^H(cid:7)I4WX=>?tn * ;Y=>E(cid:19)DFTFZ(cid:158)(cid:155)(cid:19)eXWJrFBCE(cid:22)EGI!EGI2?C_F;c=tWGDFEGDF]\=>]^?x(cid:155)hZ^;Y‘a‘(cid:153)W(cid:26)_FWGH(cid:157)j(cid:137);>;YD⁄WXTFTF;YT n(cid:152)(cid:154)J_F]^BCTFZ(cid:158)(cid:155)(cid:19)e9?A_F;cH(cid:143);Y=>?C]\E(cid:19)D2H|r2BC;YH(cid:143);YDN?A]^DF[ ?A_F;(cid:147)WGZ\[GE(cid:19)BC](cid:158)?A_F‘aH(cid:3)_qWtV(cid:19);(cid:20)jk;Y;>D(cid:30)=YE(cid:19)‘arFZ\;i?A;>Z^(cid:155)SB(cid:143);YH(cid:143)?CBC@F=i?A@FB(cid:143);YTsn+"w]^DqWGZ\Z(cid:158)(cid:155)(cid:19)e(cid:19)?C_F;(cid:147)rFB(cid:143)E(cid:30)(cid:31)(cid:143);Y=i?JrFB(cid:143)E(cid:19)r(cid:137)EGHAWGZk_qWGH(cid:139)j(cid:137);>;YD BC;iV!]^HC;>Tsn , (cid:9)+-/.1032546(cid:3)8719:(cid:3)8; (cid:3)(cid:6)./<>= (cid:154)J_qWGDF(cid:159)(cid:128)H(cid:150)?AE(cid:16)?A_F;(cid:7)H(cid:149)?A@FTF;>DN?AH(cid:147)EGD(?C_F;(cid:18)=>E(cid:19)@FB(cid:143)HC;YH(cid:9)EGI(cid:152)I4WGZ\Z+ltM(cid:19)MGLFesltM(cid:19)MNQ!eqWXDFT ltM(cid:19)M(cid:8)(cid:20)⁄IKE(cid:19)B(cid:150)_F;YZ^rF]\D2[a‘a;(cid:20)TF;>jF@F[ WGDFT ]^‘yrFB(cid:143)EmV(cid:19);1?A_2;(cid:30)DFEG?A;>HYn%(cid:154)J_FWGDF(cid:159)(cid:128)H(cid:153)WXBC;(cid:30)WGZ^HCE TF@2;(cid:29)?CE?(cid:29)(cid:147)WGD2H@(cid:16)(cid:150)]\H(cid:143)=(cid:145)_F;YZ/e p E(cid:19)B(cid:143)?C;YD (cid:156)UZ^BC]^(cid:159) *BA BC;>DFHC;>Dse CU]^;YZ\H p WGBC;i?C?C] eBD A B(cid:143)[(cid:19);YD * ?AWG@FDFH(cid:149)?ABC@2rse2¢(cid:20)]^‘ * (cid:159)-WG(cid:159)⁄:|WXBCHC;>DseB(cid:29)U;>DFBC]^(cid:159)(cid:10)(cid:29)U@2Z\[NW(cid:19)WXBCTseNWXDFTaVXWGB(cid:143)]\E(cid:19)@2H+r(cid:137);>E(cid:19)rFZ^; E(cid:19)D(cid:30)?A_F;(cid:7)(cid:151)xDN?A;>BCDF;i?E(cid:12)(cid:150)_2EaIKE(cid:19)@2DFT(?x(cid:155)(cid:22)rkE(cid:19)H(cid:9)WGDFT(HC@F[G[(cid:19);YH(cid:149)?A;YT ]\‘arFBCEmVG;Y‘a;YDN?AH>n ¡ L (cid:0)(cid:2)(cid:1)(cid:2)(cid:3)(cid:5)(cid:4)(cid:7)(cid:6)(cid:8)(cid:3)(cid:5)(cid:4)(cid:10)(cid:9) (cid:11) 0 .%<>(cid:3)(cid:6)./<>= (cid:12) (cid:13)(cid:15)(cid:14)(cid:16)(cid:14)(cid:18)(cid:17)(cid:20)(cid:19)(cid:22)(cid:21)(cid:24)(cid:23)(cid:26)(cid:25)(cid:28)(cid:27)(cid:30)(cid:29)(cid:7)(cid:31) (cid:19)"!#!#$%(cid:14)(cid:18)(cid:23)(cid:7)! & ’ ()(cid:14)*(cid:31),+-(cid:21)(cid:24)(cid:17)/.(cid:30)(cid:14)*(cid:31),+0! 1 2 (cid:13)3$4(cid:23)5(cid:21)6(cid:31)87:9;(cid:19)"<=$(cid:20)!#$%(cid:14)>(cid:23):9;$(cid:20)(cid:21)6?*(cid:31) (cid:21)(cid:24)+0! @ A BC(cid:14)(cid:18)(cid:23)D!FE8(cid:31),GD<HE $4(cid:23)5?I(cid:21)(cid:24)(cid:23)(cid:7)JLKM(cid:21)(cid:24)(cid:23)D$(cid:20)(cid:29)(cid:7)GD(cid:17)(cid:20)(cid:21)NE8$4(cid:23)5?PORQS(cid:13)39;9;! (cid:12)"T LFn^l (cid:5)n n(cid:18)n n(cid:7)n(cid:18)n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:7)n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n n n n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n(cid:7)n n(cid:18)n lmQ UWV LFnO n n(cid:7)n(cid:18)n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:7)n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n n n n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n(cid:7)n n(cid:18)n lmd XZY5[]\(cid:22)^ LFn¡ n n(cid:7)n(cid:18)n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:7)n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n n n n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n(cid:7)n n(cid:18)n ltM _S‘(cid:18)‘*\ba LFnL n(cid:18)n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:7)n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n n n n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n(cid:7)n n(cid:18)n OX£ c3d*e f(cid:16)g(cid:30)[]hif LFnQ (cid:152)e we n n(cid:18)n n n(cid:18)n n(cid:18)n n n n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n(cid:7)n n(cid:18)n OGO j>k6f(cid:7)lnm(cid:7)Y5o5f >_Soia(cid:8)j>k6f *_S\(cid:22)\6j>k6f LFn(cid:20) ji[]pq‘*\"[]r=a n(cid:18)n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:7)n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n n n n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n(cid:7)n n(cid:18)n OGQ LFnd b(cid:27)(cid:25)2]^H(cid:143)?C;YDN?A]\WGZDsh@qWGDN?A] &q=tWX?C]\E(cid:19)D(cid:29)WXDFT * @FjFH(cid:143)?C]^?C@2?A]^E(cid:19)D n(cid:18)n n n n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n(cid:7)n n(cid:18)n OGQ T tu+-(cid:29)(cid:7)(cid:17)%(cid:19)v+P(cid:19)v(cid:23)(cid:18)E $4(cid:23)5?wE x5(cid:19)yORQS(cid:13)39;9z(cid:14)*(cid:29){(cid:19)(cid:22)(cid:31) (cid:21)NE $%(cid:14)(cid:18)(cid:23)(cid:7)! ’>1 & (cid:25)|(cid:27)(cid:30)(cid:21)(cid:24)+-(cid:29)(cid:7)(cid:17)%(cid:19)v!3(cid:14)*}~(cid:29)(cid:7)(cid:31) (cid:14)*(cid:127)(cid:7)(cid:17)(cid:20)(cid:19)"+ !u(cid:14)(cid:18)(cid:17)%(cid:128)(cid:30)$4(cid:23)5?I(cid:129)(cid:130)$]E x:ORQS(cid:13)39;9;! ’>1 (cid:20)2n^l (cid:154)J_F;(cid:18)P(cid:130)sh@F;>;YDFH(cid:9)rFB(cid:143)E(cid:19)jFZ\;>‘ n n(cid:18)n n(cid:7)n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n n n n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n(cid:7)n n(cid:18)n OGd (cid:20)2nO (cid:131)(cid:132)E(cid:19)BCB(cid:143);Y=i?ADF;>HCH(cid:147)EXI{(cid:131)(cid:132)E(cid:19)‘ jF]\DqW-?A]\EGDqWGZ(cid:30)(cid:131)(cid:132)]^BC=>@F]^?CH n(cid:18)n n(cid:18)n n n n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n(cid:7)n n(cid:18)n OXM (cid:20)2n¡ b{(cid:132)(cid:22)@2]^VXWGZ\;>DF=Y;(cid:7)EGI(cid:133)(cid:131)(cid:132)E(cid:19)‘⁄j2]\DqWX?C]\E(cid:19)DFWGZ(cid:30)(cid:131)(cid:132)]^BC=Y@2]^?AH n(cid:18)n n(cid:18)n n n n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n(cid:7)n n(cid:18)n OXM 1 (cid:134)Z(cid:19)(cid:22)(cid:31),$](cid:135)(cid:133)<(cid:136)(cid:21)NE8$(cid:20)(cid:14)(cid:18)(cid:23)(cid:137)(cid:129)(cid:138)$]E x(cid:139)O(cid:140)Q(cid:5)(cid:13)39(cid:141)9;! 2(cid:30)(cid:12) d!n^l ¢(cid:20)DF]\[(cid:19)_N?CH(cid:150)?CE(cid:19)@FBhn n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:7)n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n n n n n n(cid:18)n n(cid:18)n n n(cid:18)n n(cid:18)n(cid:7)n n(cid:18)n ¡G¡ @ (cid:142)Z(cid:31) (cid:14)v(cid:143)u(cid:19)"<HE=(cid:144)n(cid:145)(cid:140)(cid:23)(cid:26)ORQS(cid:13)39;9(cid:146)(cid:142)q(cid:21)6<,(cid:147)v(cid:21)6?*(cid:19) 2*T OR(cid:19)(cid:22)}(cid:148)(cid:19)(cid:22)(cid:31),(cid:19)"(cid:23)D<(cid:136)(cid:19)"! 2*& Q (cid:0)(cid:2)(cid:1)(cid:2)(cid:3)(cid:5)(cid:4)(cid:7)(cid:6)(cid:8)(cid:3)(cid:5)(cid:4)(cid:10)(cid:9) (cid:0) (cid:1) (cid:1)n(cid:1)(cid:3)(cid:2)5(cid:6)(cid:5)(cid:4)q(cid:3) (cid:6)(cid:7)(cid:6)(cid:9)(cid:8)(cid:11)(cid:10) (cid:6) (cid:9)6(cid:9)(cid:13)(cid:12)b(cid:1)(cid:2)(cid:3)q(cid:9) (cid:20) (cid:14) (cid:15) 0/0 46(cid:3) (cid:7)(cid:10). (cid:16)(cid:18)(cid:17)(cid:20)(cid:19)(cid:17)(cid:1)(cid:4)(cid:3)8=>=(cid:7)(cid:21)$0@.(cid:17)= (cid:154)J_F;⁄=>Z WGH(cid:143)HC]\=YWGZ|=tWGZ^=Y@FZ^@FHUIKE(cid:19)B(cid:147)TF;tWGZ^]\DF[ (cid:12)(cid:150)]^?C_(cid:23)(cid:22)(cid:25)(cid:24)(cid:27)(cid:26)(cid:28)(cid:22)(cid:30)(cid:29) (cid:31)"!$#%(cid:26)’&)(⁄=YE(cid:19)DFH(cid:143)]\H(cid:149)?AHhEGI+*-,.,"#/&0!$12(cid:31)"!$(cid:24)(cid:27)34!657#/&)(98;:0<=:?>@>@>^e ?A_F;(cid:7)=>E(cid:19)DFH(cid:143)?AWGDN?AHA(cid:22)(cid:25)(cid:24)(cid:27)(cid:26)B&al WGDFTDCE!$#F(.& £2eF?A_2; EGr(cid:137);>BAWX?CE(cid:19)BCHJEGI(cid:3)G),"1?H(cid:27)(cid:26)(cid:28)1IGJ(cid:22)(cid:25)3K,"1ML(cid:26)eON$3/((cid:30)H(cid:27)(cid:26)(cid:28)1IGJ(cid:22)(cid:25)3K,"12P(cid:26)eQ1I&KR6!$(cid:22)43K,"1 S eT3VUXWY#%3KG0!$(cid:22)43K,"1[Z ecWGDFT\573V]^3VUXWY#%3KG0!$(cid:22)(cid:25)3K,"1‘_ (cid:12)(cid:150)_F]\=(cid:145)_ ?CE(cid:19)[(cid:19);>?C_F;YB(cid:18)IKE(cid:19)BC‘ ?A_F;(cid:29)(cid:160)(cid:139)E!E(cid:19)Z^;tWGD(cid:24);(cid:26)(cid:25)!rFBC;>HCH(cid:143)]\E(cid:19)DFH>n * E(cid:19)‘a;>?C]\‘a;YH(cid:3)?A_F;(cid:9)VXWGBC]\WGjFZ\;>H(cid:132)WXBC;(cid:147)=YWGZ\Z^;YTDWY(cid:24)),)WB,.(J3V(cid:22)43K,"1Y!$#’(cid:31)"!$(cid:24)(cid:27)34!657#/&)(hE(cid:19)B(cid:5)WY(cid:24)a,)WB,.(J3V(cid:22)(cid:25)3K,"1Y!$#’#/&J(cid:22)4(cid:22)b&J(cid:24)a( WXDFT(cid:153)?A_2; (cid:160)(cid:132)E(cid:22)E(cid:19)Z\;YWGD(cid:30);(cid:26)(cid:25)!rFB(cid:143);YHCH(cid:143)]\E(cid:19)D2H(cid:147)WGB(cid:143);(cid:20)?A_F;>D (cid:159)(cid:128)DFE(cid:13)(cid:12)(cid:150)D WXH(cid:9)cd(cid:24)a,)WB,.(J3V(cid:22)43K,"1Y!$#=e;,0R$3KGin "gEGBC‘yWGZ\Z(cid:158)(cid:155)(cid:19)e(cid:22)(cid:160)(cid:132)E(cid:22)E(cid:19)Z\;YWGD(cid:29);(cid:26)(cid:25)!rFBC;>HCH(cid:143)]\E(cid:19)DFHUWGB(cid:143); [G;YDF;>BAWX?C;YT(cid:29)IKBCE(cid:19)‘ ?A_F;(cid:20)IKE(cid:19)Z^Z\E(cid:13)(cid:12)(cid:150)]\DF[ [(cid:19)BAWG‘a‘yWGBYz f z(cid:158)zhg 8jiX£ki(cid:128)lDi f i f L f i f P f i f Z f i f _ f : S (cid:12)(cid:150)_F;YB(cid:143);(cid:5)8 BCWGDF[(cid:19);>H<E9VG;YB|WJHC;i?(cid:152)EXI2(cid:160)(cid:139)E!E(cid:19)Z^;tWGDhVXWGB(cid:143)] WGj2Z\;YH>n<(cid:154)J_F]\H<]^H<=tWGZ^Z\;>Th?A_F;T!65J(J(cid:22)4(cid:24)l!(cid:28)GJ(cid:22)’(Jm"1B(cid:22)n!?o(cid:18)EGI!(cid:160)(cid:132)E!EGZ\;tWXD ;(cid:26)(cid:25)!rFB(cid:143);YHCH(cid:143)]\E(cid:19)D2HYnc(cid:154)J_F;h=>E(cid:19)DF=YB(cid:143);>?C;(cid:20)H(cid:143)(cid:155)(cid:22)DN?(cid:145)W(cid:30)(cid:25)1]\DF=>Z\@FTF;>H(cid:132)rqWXBC;YDN?C_F;YH(cid:143);YHJ?AE⁄H(cid:143)E(cid:19)Z^VG;hWG‘ jF]\[(cid:19)@2]^?A]^;YH>n p EGBC;YEmVG;YBYegWXH W =>E(cid:19)‘y‘aE(cid:19)D =YE(cid:19)DNV(cid:19);>DN?A]\EGD ]^?(cid:18)]\H(cid:18)WGHCH(cid:143)@F‘y;>T(cid:24)?A_FWX? ?C_F;(cid:153)E(cid:19)rk;YBCWX?AEGBCH j2]\DFT WX=Y=YEGBCTF]^DF[ ?CE ?A_2;Y]\B(cid:18)BC;>Z WX?C]^V(cid:19); rFBC]^E(cid:19)BC](cid:158)?x(cid:155)(cid:19)n+(cid:154)J_2; r2BC]\EGBC]^?C]\;>HJWGBC;Xe’(cid:12)(cid:150)]^?C_(cid:30)?A_F;(cid:7)_F]^[(cid:19)_F;YH(cid:149)?(cid:11)&qBCH(cid:149)?tz S eYLJeYP(cid:26)eB_(cid:15)e’Z n (cid:29)(cid:9);YDF=>;GeqIKE(cid:19)BJ; (cid:25)FWX‘yrFZ^; 8qpQLr8’stPu8’vwZx8By+g oCo(cid:143)o 8qpCuQLr8’siuQPz8’viu{Z|8By}> S S R (cid:160)(cid:139)E!E(cid:19)Z^;tWGD(cid:18);(cid:26)(cid:25)!rFB(cid:143);YHCH(cid:143)]\E(cid:19)D(cid:10)(cid:12)(cid:150)](cid:158)?A_ VGWXBC] WXjFZ\;>HO8qpJ:?>7>?>7:08B~(cid:9)TF;>DFEG?C;YHwIKE(cid:19)B(cid:152);tWG=(cid:145)_⁄WGHCH(cid:143)]\[(cid:19)DF‘a;YDN?wEGIF?AB(cid:143)@2?A_(cid:18)VGWXZ\@F;>H ?AE1?C_F;⁄VXWGBC]\WGjFZ\;>H(cid:147)](cid:158)?AHC;>Z^I(cid:139)W(cid:153)?AB(cid:143)@2?A_ VXWGZ^@F;SWG=>=YE(cid:19)B(cid:143)TF]\DF[1?CE1?A_F;SH(cid:149)?(cid:145)WGD2TqWGBCT ?CBC@2?C_#?AWGjFZ^;YHYe HC;Y; &q[G@FBC;(cid:30)l(cid:19)n (cid:127)(cid:128)(cid:24)(cid:27)(cid:26)(cid:28)(cid:22)(cid:30)(cid:29)(cid:129)!"()(J3@R$1BU(cid:130)&J1B(cid:22)(cid:30)((cid:30)WGBC;%(cid:12)(cid:150)B(cid:143)]^?C?C;YD WGHSH(cid:143);u(cid:132)(cid:128)@F;>DF=Y;>H(cid:153)EGI(cid:147)WGHCH(cid:143)]\[(cid:19)D2‘y;>D(cid:128)?CHSEGI(cid:150)VXWGZ\@F;>H ?AE VXWGB(cid:143)] WGjFZ^;YH>e(cid:3);Gn[Fn^e (cid:18)£(cid:132)(cid:131)"8qp(cid:27):tl(cid:133)(cid:131)(cid:133)8’s?:(cid:145)£6(cid:131)"8’v7:tl(cid:133)(cid:131)"8By (cid:21) (cid:12)(cid:150)_F]\=(cid:145)_(cid:29)WXHCHC]^[(cid:19)DFHJ£ ?AE(cid:134)8qp(cid:132)WGDFT(cid:135)8’vme lh?AE(cid:136)8’s(cid:150)WGDFTk8By9n+(cid:138) ]^?C_(cid:153)?A_2]\H(cid:132)rFWGB(cid:143)?C]\=Y@2Z WGB ?AB(cid:143)@2?A_(cid:30)WXHCHC]^[(cid:19)DF‘a;YDN?(cid:132)?C_F;hWXj(cid:137)EmV(cid:19);(cid:147);(cid:26)(cid:25)!rFBC;>HCH(cid:143)]\E(cid:19)D(cid:30)_qWXH(cid:132)VXWGZ\@F; l(cid:19)eB(cid:12)(cid:150)_F;YB(cid:143);tWGH (cid:18)£6(cid:131)"8qpJ:Yl(cid:133)(cid:131)"8’s?:(cid:145)£(cid:132)(cid:131)"8’v?:(cid:145)£6(cid:131)(cid:133)8By (cid:21)(cid:137)(cid:155)(cid:22)]^;YZ\T2H £2n L £ l P £ l Z £ l _ £ l S £ l £ £ £ £ £ l £ l l £ l £ l £ l £ l l l l l £ l l £ l "w]^[(cid:19)@FB(cid:143);⁄l(cid:19)zc(cid:154)(cid:152)B(cid:143)@2?A_(cid:29)?(cid:145)WXjFZ\;>HYn (cid:154)J_F; HC;i?(cid:30)EGIh?CBC@2?C_ VXWGZ\@F;>H(cid:153)]^HyEGI ?C;YD T2;YDFEG?C;YT[(cid:137)(cid:138)g (cid:139)-£(cid:140):tl(cid:142)(cid:141)(cid:128)n (cid:151)(cid:134)I8(cid:12)(cid:139); &’(cid:25) WGD E(cid:19)B(cid:143)TF;YB(cid:143)]\DF[ EGI(cid:20)?A_2; ~ VXWGBC]\WGjFZ\;>H(cid:18)EXI(cid:147)W6(cid:160)(cid:132)E!EGZ\;tWXD%;(cid:26)(cid:25)!rFB(cid:143);YHCH(cid:143)]\E(cid:19)D f (cid:12)(cid:139);(cid:30)=tWGD%V(cid:22)]\;(cid:26)(cid:12) f WXH⁄TF;$&FDF]\DF[#W6IK@2DF=>?C]\E(cid:19)D(cid:24)IKB(cid:143)E(cid:19)‘(cid:143)(cid:137) ?AE(cid:144)(cid:137) (cid:12)(cid:150)_F;YB(cid:143);(cid:135)(cid:145) ]^H(cid:7)?C_F;(cid:16)D(cid:128)@F‘⁄jk;YB(cid:7)EGI(cid:132)VXWGB(cid:143)] WGj2Z\;YH>n CUEG?C]\=Y;Xe<?A_qWX?(cid:7)?C_F;(cid:16)rqWGB(cid:143)?C]\=>@FZ WGB(cid:147)E(cid:19)BCTF;>BC]^DF[(cid:29)=(cid:145)_FE(cid:19)HC;>D(cid:24)IKE(cid:19)B(cid:20)?A_2; VXWGBC]\WGjFZ\;>H(cid:7)]\H ;YHCH(cid:143);YDN?A]\WGZ(cid:139)IKEGB3(cid:12)(cid:150)_qW-?(cid:18)IK@FD2=>?A]^E(cid:19)D%]^H(cid:18)TF;(cid:26)&qDF;>Tsnw(cid:131)(cid:132)E(cid:19)D2HC]\T2;YB(cid:18)IKEGB(cid:18); (cid:25)FWX‘yrFZ^;a?C_F;(cid:153); (cid:25)!rFBC;>HCHC]^E(cid:19)D 8uZ <(cid:137)nc(cid:151)(cid:134)I(cid:27)(cid:12)(cid:139); =(cid:145)_FE!EGHC;(cid:7)?A_F; E(cid:19)BCT2;YBC]^DF[(cid:146)8 (cid:147)(cid:148)<(cid:153)?C_F;YD(?A_F]^H(cid:150)]\H(cid:26)?A_2;(cid:7)IK@2DF=>?C]\E(cid:19)D(cid:144)(cid:149) o 8;:0<Fu(cid:5)g\8zZ <keF?ABC@2; ](cid:158)I ?A_F; &qB(cid:143)H(cid:143)?(cid:20)WXBC[(cid:19)@F‘a;YDN?U]\‘arFZ\]^;YH(cid:26)?C_F; H(cid:143);Y=YEGDFTse j2@2?h](cid:158)I(cid:27)(cid:12)(cid:139); =(cid:145)_FE(cid:22)E(cid:19)HC;(cid:18)?A_F;(cid:18)E(cid:19)BCTF;>BC]^DF[(cid:135)<r(cid:147)(cid:150)8 ?A_F;>D ]^?U]\H(cid:150)?A_2; IK@FDF=i?A]\EGDM(cid:149) o <Y:08(cid:137)u(cid:3)g(cid:151)8(cid:152)Z <ke ?AB(cid:143)@F;S]^Ic?A_2;SHC;Y=>E(cid:19)DFT WGB(cid:143)[(cid:19)@F‘a;YDN?(cid:7)]\‘arFZ\]^;YH(cid:150)?A_F;(cid:10)&FBCH(cid:143)?Yn(cid:18)(cid:138) _F;>D(cid:17)(cid:12)(cid:132);(cid:16)Z W-?A;YB =YE(cid:19)D2HC]\T2;YB(cid:20)=YEG‘yrqWX=>?(cid:20)B(cid:143);YrFB(cid:143);YHC;>DN?(cid:145)WX?C]\E(cid:19)DFH(cid:7)EGI(cid:139)(cid:160)(cid:132)E(cid:22)E(cid:19)Z^;tWGD ; (cid:25)2r2BC;YH(cid:143)HC]^E(cid:19)DFHYe(cid:157)H(cid:143)@F=(cid:145)_ VXWGB(cid:143)] WGj2Z\; EGBCTF;>BC]\D2[(cid:19)H(cid:20)rFZ Wt(cid:155)6W =YB(cid:143)@F=Y]\WGZsBCEGZ\;Gn (cid:154)(cid:23)(cid:12)(cid:132)E#(cid:160)(cid:132)E(cid:22)E(cid:19)Z^;tWGD%; (cid:25)!rFBC;>HCHC]^E(cid:19)DFH f WGDFT f^(cid:153) WGBC;1HCWG]\T ?AE jk;1;u(cid:132)(cid:128)@qWXZ(cid:132)]^IJ?C_F;>(cid:155) (cid:155)(cid:22)]\;>Z\T(cid:24)?C_F;1HAWX‘y;(cid:153)?CBC@2?C_ VXWGZ\@F;(cid:18)IKE(cid:19)B(cid:7)WGZ\Z(cid:157)?AB(cid:143)@2?A_ WGH(cid:143)HC]\[GDF‘y;>DN?AHYn R (cid:160)(cid:132)E!EGZ\;tWXD ;(cid:26)(cid:25)!rFBC;>HCH(cid:143)]\E(cid:19)D ]\H(cid:7)W(cid:154)(cid:22)K!$(cid:26)(cid:13)(cid:22)^,"#/,0R$m ](cid:158)Ic]^?h(cid:155)(cid:22)]\;>Z\TFHh?CBC@F;SIKE(cid:19)B WGZ\Zk?AB(cid:143)@2?A_ WGHCH(cid:143)]\[(cid:19)D2‘y;>D(cid:128)?CH7(cid:155)q](cid:158)?J]\HX(7!$(cid:22)43/((cid:30)(cid:156)d!657#/&(cid:7)]^I(cid:152)]^?(cid:132)(cid:155)!]^;YZ^TFH(cid:26)?AB(cid:143)@F;(cid:20)IKE(cid:19)B(cid:150)WX?(cid:9)Z\;YWGH(cid:143)?(cid:150)E(cid:19)D2;(cid:7)?CBC@2?C_(WGHCH(cid:143)]\[(cid:19)DF‘a;YDN?Yn (cid:25)|(cid:27)(cid:30)(cid:19)(cid:22)(cid:31),<=$4!F(cid:19)-(cid:12)B(cid:157)(cid:20)(cid:12) * _FE(cid:13)(cid:12) _FE(cid:13)(cid:12) WGZ\Z(cid:150)E(cid:19)rk;YBCWX?AE(cid:19)B(cid:143)H(cid:153)=YWGD jk;6;YD2=YE(cid:22)TF;YT @FH(cid:143)]\DF[ E(cid:19)DFZ^(cid:155) S WGDFT(cid:150)P(cid:26)n (cid:156)UHC; ?A_F]^H ?AE WGBC[G@F;S?A_qWX?(cid:18)WGDN(cid:155) (cid:160)(cid:132)E(cid:22)E(cid:19)Z^;tWGD#;(cid:26)(cid:25)!rFB(cid:143);YH(cid:143)HC]\EGD%=tWGD j(cid:137); (cid:12)(cid:150)B(cid:143)]^?C?C;YD @FHC]^DF[ EGDFZ^(cid:155)MP(cid:26)etL(cid:26)e|VXWGB(cid:143)] WGjFZ^;YH>e(cid:152)WXDFT S WGrFrFZ^]\;>T1?AESVXWGBC]\WGjFZ\;>HYn (cid:0) (cid:2)(cid:1) (cid:4)(cid:3) (cid:2)(cid:1) +(cid:10) r(cid:4)-(cid:2) +(cid:10) d (cid:3)(cid:15)(cid:1) (cid:1) y(cid:9) B(cid:157) R(cid:147)B(cid:143)[(cid:19)@F;1?A_FWX? f WGDFT f^(cid:153) WGBC;(cid:30); (cid:128)@qWGZ(cid:26)](cid:158)I(cid:9)WGDFT E(cid:19)DFZ(cid:158)(cid:155)(cid:24)](cid:158)I f _ f^(cid:153) ]^HSW ?(cid:145)(cid:6)WG(cid:5) @2?CE(cid:19)Z\EG[G(cid:155)(cid:19)n#(cid:151)xHS]^? (cid:25)|(cid:27)(cid:30)(cid:19)(cid:22)(cid:31),<=$4!F(cid:19)-(cid:12) ’ F(cid:132) r(cid:137)EGHCHC]^jFZ\;U?AEaHAWt(cid:155)%(cid:12)(cid:150)_F;i?A_F;>B f ]\HJHAW-?A]\H &gWGjFZ^;hIKBCE(cid:19)‘ ?A_F;(cid:20)I4WG=i?(cid:150)?A_qWX? S f ]\H(cid:150)WS?(cid:145)WG@2?CE(cid:19)Z\EG[G(cid:155) (cid:7) (cid:8) (cid:10)(cid:9) 0 (cid:1) ; (cid:7)(cid:10)4 0 (cid:1) ; = (cid:12)(cid:11) (cid:14)(cid:13) (cid:16)(cid:15) (cid:18)(cid:17)(cid:19)(cid:11)(cid:20)(cid:13)(cid:21)(cid:15)(cid:23)(cid:22) R (cid:160)(cid:139)E!E(cid:19)Z^;tWGDa;(cid:26)(cid:25)!rFB(cid:143);YH(cid:143)HC]\EGD(cid:30)]\H ]\D (cid:9)3/((cid:30)H(cid:27)(cid:26)(cid:13)1IGJ(cid:22)43V(cid:31)$& (cid:136),"(cid:24)(cid:27)U !$# },"(cid:24)(cid:27)U (cid:20)](cid:158)Is](cid:158)?(cid:139)=>E(cid:19)DFH(cid:143)]\H(cid:143)?CH(cid:26)EGI(cid:157)W TF]\H (cid:31)(cid:143)@FDF=i?A]\EGD EGI(cid:152)=YE(cid:19)D(cid:30)(cid:31)(cid:143)@2DF=>?C]\E(cid:19)DFH(cid:150)EGI|VXWGBC]\WGjFZ^;YHJWGD2T DF;>[NWX?C]\E(cid:19)DFHJEXI(cid:152)VXWGB(cid:143)] WGjFZ^;YH>e2] n;Gn(cid:158)eF](cid:158)Iw](cid:158)?J]\HJEGI(cid:152)?A_F;(cid:20)IKE(cid:19)B(cid:143)‘ (cid:25)(cid:24)(cid:26)(cid:24)(cid:26)(cid:24) (cid:25)(cid:24)(cid:26)(cid:24)(cid:26)(cid:24) (cid:31)(cid:30) (cid:31)(cid:30) (cid:24)(cid:26)(cid:24)(cid:26)(cid:24) (cid:31)(cid:30) p p (cid:27)(cid:29)p (cid:28) (cid:27)"! o f p L f s L (cid:133)L f uQP (cid:133)P o f p L f s L ?L f u o lmu $#% #% #% (cid:12)(cid:150)_F;YB(cid:143);(cid:7);tWG=(cid:145)_ f ]\HJ;>]^?A_2;YB(cid:9)W⁄VGWXBC] WXjFZ\;X8 E(cid:19)B(cid:150)WaD2;Y[NWX?C]\E(cid:19)D(cid:30)EXI+WSVXWGBC]\WGjFZ\; S 8 n(cid:3)R(cid:147)D(;(cid:26)(cid:25)2WG‘arFZ^;(cid:20)]\H o 8(cid:146)L <2uQP o 8DLu<Fu S S &(cid:5) (cid:12)(cid:150)_F]\=(cid:145)_(cid:30)]^HJW(cid:10)(cid:12)(cid:132);>Z\Z vx(cid:159)(cid:128)DFE(cid:13)(cid:12)(cid:150)D1IK@FDF=i?A]\EGD(cid:30)EGI;8 WGD2Tz< o (cid:12)(cid:150)_2]\=(cid:145)_(cid:29)E(cid:19)DF; -u n(cid:3)R(cid:15)‘yEGBC;(cid:147)H(cid:143)@F=Y=>]\DF=i?(cid:9)rFBC;>HC;YDN?AWX?A]^E(cid:19)D(cid:30)EGI o l9u(cid:132)]^H(cid:26)?AE (cid:12)(cid:150)BC](cid:158)?A;(cid:20)](cid:158)?(cid:150)@FHC]^DF[(cid:16)]\DFTF; (cid:25)!;YT VG;YB(cid:143)HC]\EGDFH(cid:150)EGI(cid:5)L(cid:5)WGDFT(cid:144)PJz *+ (cid:27)-, (cid:30) ’ . #%0/1 % f > #)( ( p p (cid:25)2 (cid:20)(cid:13) 3(cid:15) 4(cid:17)(cid:29)25(cid:13)(cid:21)(cid:15)(cid:23)(cid:22) * ]\‘a]\Z\WGBCZ(cid:158)(cid:155)(cid:19)e(cid:128)W d,"1?H(cid:27)(cid:26)(cid:28)1IGJ(cid:22)(cid:25)3V(cid:31)$& A,"(cid:24)(cid:27)U !$# },"(cid:24)(cid:27)U ]^H(cid:150)WGD ; (cid:25)!rFBC;>HCHC]^E(cid:19)D ?C_qWX?(cid:150)=YWGD jk;8(cid:12)(cid:150)BC](cid:158)?C?A;>D(WGH *+ (cid:27)-, (cid:30) . ’ #%0/1 % f #)( ( p p $#% (cid:12)(cid:150)_F;YB(cid:143);(cid:153);YWG=(cid:145)_ f ]\H ;Y]^?C_F;YB(cid:18)W VXWGB(cid:143)] WGjFZ^;(cid:16)E(cid:19)B W(DF;Y[(cid:19)WX?A;>T(cid:24)VXWGBC]\WGjFZ\;Xn(cid:30)(cid:151)(cid:134)? ]^H(cid:18)D2EG?⁄TF] )a=Y@FZ(cid:158)?(cid:18)?CE6rFB(cid:143)E9VG;(cid:153)?A_2; IKE(cid:19)Z\Z^E(cid:13)(cid:12)(cid:150)]\DF[(cid:18)rFBCE(cid:19)rkE(cid:19)H(cid:143)]^?A]^E(cid:19)Dsz 76 )8 25(cid:13)(cid:21)(cid:15) 9(cid:11)(cid:20)(cid:13)(cid:21)(cid:15);: 1Bm(cid:136)*-,.,"#/&0!$1(cid:144)&loEWY(cid:24)a&)()(J3K,"1u3/( & 7(cid:26)(cid:128)!$#Y(cid:22)b,(cid:146)!$1(cid:154)&loEWY(cid:24)a&)()(J3K,"1r3V1 [!$1YN !$1 &loEWY(cid:24)a&)(J] (cid:142)Z(cid:31) (cid:14)*(cid:29){(cid:14)(cid:18)!#$]E $(cid:20)(cid:14)(cid:18)(cid:23) (cid:12) (J3K,"1(cid:154)3V1 (cid:151)xD%[(cid:19);>DF;YBCWGZ e(cid:152)]^?(cid:18)]\H _FWGBCT(cid:24)?CE TF;i?A;YB(cid:143)‘y]^DF;:(cid:12)(cid:150)_F;>?C_F;YB(cid:16)W (cid:160)(cid:132)E!EGZ\;tWXD(cid:24);(cid:26)(cid:25)!rFB(cid:143);YH(cid:143)HC]\EGD ]^H(cid:18)HCWX?A]^H &gWXjFZ\;Xn (cid:154)J_F]^H⁄]\H ‘(cid:153)WXTF;(cid:20)rFBC;>=Y]^HC;(cid:7)jN(cid:155)(cid:29)W(cid:16)I4WX‘yE(cid:19)@2H(cid:26)?A_F;>E(cid:19)BC;>‘ TF@F;(cid:20)?AE(cid:130)(cid:131)(cid:132)E(cid:22)E(cid:19)(cid:159)?(cid:18)(cid:131)(cid:132)E!ENd!l6(cid:21)/z < (cid:4)= 5> ? @(cid:13) A: !$(cid:22)43/((cid:30)(cid:156)d!6573V#%3V(cid:22)(cid:25)mz,bCX*-,.,"#/&0!$1(cid:152)&loEWY(cid:24)a&)()(J3K,"1(cid:140)(-3/( cd]0G),"UXWY#/&J(cid:22)^& x5(cid:19)(cid:22)(cid:14)(cid:18)(cid:31) (cid:19)"+ (cid:12) BZ(cid:14)(cid:16)(cid:14)*(cid:147) CB o "qE(cid:19)B BC;YWGTF;YB(cid:143)H(cid:26)@FD2I4WX‘y]^Z\] WXB>(cid:12)(cid:150)]^?A_y?A_F;UDFEG?A]^E(cid:19)D1DEGIB C wvx=YEG‘yrFZ^;>?C;YDF;>HCH(cid:132)?C(cid:2)_F;UB IKE(cid:19)Z^Z\E(cid:13)(cid:12)(cid:150)]\D2[(cid:18)H(cid:143)_FE(cid:19)B(cid:143)?(cid:26)HC@F‘a‘(cid:153)WXB(cid:143)(cid:155) EGI(cid:150)?A_F;(cid:30)r2BAWG[(cid:19)‘yWX?C]\=(cid:153)=>E(cid:19)DFH(cid:143);u(cid:132)(cid:128)@F;YD2=Y;YH(cid:153)HC@’)a=Y;>HYn (cid:3)BCEGjFZ\;>‘yH ?C_qWX?aWGB(cid:143); C wvx=>E(cid:19)‘arFZ\;i?A;1=YWGD j(cid:137);(cid:30)H(cid:143)E(cid:19)Z^VG;YT jN(cid:155)#WGZ\[GE(cid:19)BC](cid:158)?A_F‘aHU?C_qWX? BC@FD ]\(cid:2)D B ; (cid:25)!r(cid:137)E(cid:19)D2;YDN?A]\WGZ(cid:3)?A]\‘a;Gn(cid:10)CUE(r(cid:137)E(cid:19)Z(cid:158)(cid:155)(cid:22)DFE(cid:19)‘a] WGZ(cid:157)?A]^‘y;SWXZ\[(cid:19)E(cid:19)B(cid:143)]^?C_F‘yH(cid:147)WGBC;(cid:16)(cid:159)(cid:128)DFE(cid:13)(cid:12)(cid:150)D ?AE ;(cid:26)(cid:25)!]\H(cid:149)?(cid:153)IKE(cid:19)ByWGDN(cid:155) EGIh?A_2;1C wv(cid:134)=YE(cid:19)‘arFZ\;i?A;(rFBCEGjFZ\;>‘yHaWGDFT ]^?a]\HaV(cid:19);YB(cid:149)(cid:155) @2DFZ\]^(cid:159)G;YZ(cid:158)(cid:155)%?A_FWX?1rkE(cid:19)Z^(cid:155)(cid:22)DFEG‘y]\WGZ ?A]^‘y;(cid:153)WGZ\[(cid:19)EGBC]^?C_F‘aH H(cid:143)_FE(cid:19)@FZ^T ]\DFT2;Y;YT ; (cid:25)2]^H(cid:143)?aWGZ(cid:158)?A_FEG@F[(cid:19)_%DFEGj(cid:137)E(cid:22)T2(cid:155) _qWGH⁄(cid:155)(cid:19);i?(cid:16)j(cid:137);>;YD WGjFZ^;(cid:153)?AE r2BCEmV(cid:19);(cid:30)?A_2;Y]\B DFE(cid:19)D!v(cid:134);(cid:26)(cid:25)!]\H(cid:149)?A;>DF=Y;Xnu (cid:131)(cid:132)E!E(cid:19)(cid:159) (cid:14)HU?C_F;YE(cid:19)B(cid:143);Y‘ ;>VG;YD _FE(cid:19)Z^TFH(cid:11)(cid:12)(cid:150)_F;YD B(cid:143);YH(cid:143)?CBC]^=>?A;>T6?AEy;(cid:26)(cid:25)!rFB(cid:143);YHCH(cid:143)]\E(cid:19)D2H(cid:20)]\Dw(cid:131)(cid:23)CE"(cid:132)n#"qE(cid:19)B(cid:147)(cid:148)8CE"wH(cid:147)HCWX?A]^(cid:2)H &2B v WGjF]^Z\]^?x(cid:155)a]^H(cid:9)T2;Y=Y]^TqWGjFZ^;(cid:20)]\D(cid:29)rkE(cid:19)Z^(cid:155)(cid:22)DFE(cid:19)‘a] WXZ(cid:137)?A]^‘y;(cid:147)jF@2?(cid:150)IKE(cid:19)B(cid:9)(cid:148)8C "wH(cid:26)?C_F;(cid:7)?(cid:145)WG@2?CE(cid:19)Z\EG[G(cid:155)(cid:153)=(cid:145)_2;Y=(cid:145)(cid:159)(]\HJ_qWGB(cid:143)T o =YEXv C =YE(cid:19)‘arFZ^;>?A;tuinhRUZ^?C_FE(cid:19)@F[(cid:19)_ HAWX?C]\H &gWGjF]^Z\]^?x(cid:155)(cid:29)]^H(cid:147);YWGH(cid:143)(cid:155) IKE(cid:19)Bh(cid:148)8CE"wHhWGD2T ?(cid:145)WG@2?CE(cid:19)Z\EG[G(cid:155)(=(cid:145)_F;Y=(cid:145)(cid:159) ;tWGH(cid:149)(cid:155)6IKE(cid:19)Bq(cid:131)(cid:23)C "wH>e (cid:20)(cid:1) (cid:0) (cid:1) (cid:12) (cid:4)X(cid:10)(cid:2)(cid:1)(cid:4)(cid:3) t(cid:12) (cid:28)(cid:12) (cid:5)(cid:3)-(cid:12)^(cid:4)(cid:7)(cid:6)(cid:3)(cid:10)T(cid:4) P (cid:3) (cid:6)(cid:28)(cid:0) (cid:9) b(cid:1)~(cid:3) (cid:9) ?A_F]^H(cid:132)TFE(cid:22);YH(cid:132)DFEG?J_F;>Z\r(cid:30)@FH(cid:132)HC]\D2=Y;h?A_2;h=YE(cid:19)DNVG;YBCH(cid:143)]\E(cid:19)D(cid:29)jk;>? (cid:12)(cid:139);Y;>D (cid:131)(cid:23)CE"wHJWGDFT(cid:29)(cid:148)8CE"wH(cid:26)]^H(cid:132);(cid:26)(cid:25)!rkE(cid:19)DF;>D(cid:128)?C] WGZsWGH(cid:132)?A_2; IKE(cid:19)Z\Z^E(cid:13)(cid:12)(cid:150)]\DF[(cid:18);(cid:26)(cid:25)2WG‘arFZ\;(cid:20)H(cid:143)_FE(cid:13)(cid:12)(cid:150)HYn p ~ p ~ (cid:131)(cid:132)E(cid:19)DFHC]^TF;YBJ?C_F;(cid:20)IKE(cid:19)Z\Z^E(cid:24)(cid:12)(cid:150)]^DF[(cid:5)(cid:131)(cid:23)CE" EmV(cid:19);>BJ?A_F;(cid:20)VXWGBC]\WGjFZ^;YH 8 (cid:8) :?>7>?>l8 (cid:8) :08 p :?>?>7>7:08 p z (cid:25)(cid:24)(cid:26)(cid:24)(cid:26)(cid:24) p p s s ~ ~ o 8 Pr8 p uQL o 8 Pr8 p uQL (cid:133)L o 8 Pu8 p uI> (cid:8) (cid:8) (cid:8) % (cid:154)J_F;(cid:132)=>E(cid:19)BCB(cid:143);YH(cid:143)r(cid:137)E(cid:19)D2TF]\DF[h(cid:148)8C " ]^HwW(cid:9)TF]\H (cid:31)(cid:143)@FDF=i?A]\EGD(cid:19)(cid:12)(cid:150)_F]^=(cid:145)_⁄_qWGH(cid:3)W(cid:9)TF]\H (cid:31)(cid:143)@FDF=i?wIKE(cid:19)B|;tWG=(cid:145)_SEXIF?A_F;d(cid:145)kv(cid:134)TF]\[(cid:19)](cid:158)?(cid:157)jF]\DFWGB(cid:143)(cid:155) % D(cid:128)@F‘⁄jk;YBCH(cid:139)IKBCE(cid:19)‘ £(cid:19)£(cid:19)£+>?>?>(cid:143)£(cid:19)£(cid:19)£ ?AE(cid:30)l(cid:19)l(cid:19)l(cid:11)>?>7>>l(cid:19)lGl(cid:10)(cid:9) ?C_F;(cid:12)(cid:11) (cid:14)?A_(cid:29)TF]^[(cid:19)]^? B(cid:143);YrFB(cid:143);YHC;>DN?A]\D2[yW⁄=(cid:145)_2E(cid:19)]\=>;hEGI|;Y](cid:158)?A_F;>Bd8 (cid:8) o IKE(cid:19)B(cid:150)£(cid:19)u(cid:132)E(cid:19)Bw8 p o IKE(cid:19)B(cid:20)l9u z (cid:24)(cid:26)(cid:24)(cid:26)(cid:24) p s ~(cid:14)(cid:13)Bp ~ o 8 Lu8 L (cid:24)(cid:26)(cid:24)(cid:26).(cid:24) Lu8 Lu8 u P (cid:8)p (cid:8)s ~(cid:14)(cid:8) (cid:13)Bp ~(cid:8) o 8 Lu8 L .Lu8 Lu8 p u P (cid:8) (cid:8) (cid:8) n n (cid:24)(cid:26)(cid:24)(cid:26)(cid:24)n p s ~(cid:14)(cid:13)Bp ~ o 8 p Lu8 p L (cid:24)(cid:26)(cid:24)(cid:26)(cid:24).Lu8 p Lu8 u P p s ~(cid:14)(cid:13)Bp ~(cid:8) o 8 p Lz8 p L ?Lr8 p Lu8 p uI> (cid:138) _F;YB(cid:143);tWGH ?A_F;(cid:147)E(cid:19)BC]^[(cid:19)]\DqWXZF;(cid:26)(cid:25)!rFB(cid:143);YHCH(cid:143)]\E(cid:19)D(cid:30)_FWGH(cid:132)H(cid:143)](cid:16)(cid:15)Y;UrFBCEGr(cid:137)E(cid:19)B(cid:149)?A]^E(cid:19)DqWGZF?CE(cid:134)(cid:145) ?C_F;h(cid:148)8CE" _qWXH(cid:132)HC](cid:17)(cid:15)Y;UrFBCE(cid:19)rkE(cid:19)B(cid:149)?A]\EGDqWGZ ~ ?AED(cid:145)<O n (cid:154)J_F;(cid:153)DF; (cid:25)(cid:22)?SHC;>=>?A]^E(cid:19)D(cid:24)]^DN?ABCE(cid:22)TF@F=>;YH W6DFE(cid:19)B(cid:143)‘(cid:153)WGZ+IKEGBC‘ ?A_qW-? _qWXH ‘aE(cid:19)BC;aTF;YH(cid:143)]\BCWGjFZ\;arFB(cid:143)E(cid:19)r(cid:137);>B(cid:143)?C]\;YH(cid:7)?A_FWGD (cid:148)8C "wH(cid:150)WXDFT (cid:131)(cid:23)CE"wHYnc(cid:151)xD(rqWGB(cid:149)?A]\=>@FZ WXBYe!?C_F;YB(cid:143); WGBC;(cid:7);$)a=>]\;YDN?UWGZ^[(cid:19)E(cid:19)BC](cid:158)?A_F‘aH(cid:139)IKEGB(cid:9)T2;>?A;>BC‘a]\DF]^DF[⁄?A_2; HCWX?A]^H &2v WGjF]^Z\]^?x(cid:155)yWGD2T(?AWG@2?AEGZ\E(cid:19)[G(cid:155) (cid:128)@F;YH(cid:149)?A]^E(cid:19)DFHYn (cid:130)(cid:132) (cid:25)|(cid:27)(cid:30)(cid:19)(cid:22)(cid:31),<=$4!F(cid:19) ’q(cid:157)(cid:20)(cid:12) (cid:148)h;YH(cid:143)=YBC]^j(cid:137);⁄W1r(cid:137)E(cid:19)Z(cid:158)(cid:155)(cid:22)DFE(cid:19)‘a] WGZ<?A]^‘y;⁄WGZ\[(cid:19)EGBC]^?C_F‘ IKE(cid:19)BhT2;>?A;>BC‘a]\DF]^DF[ (cid:12)(cid:150)_F;i?A_F;>B W(cid:30)(cid:148)8C " ]\H HAWX?C]\H &gWGjFZ^;Gn (cid:25)|(cid:27)(cid:30)(cid:19)(cid:22)(cid:31),<=$4!F(cid:19) ’q(cid:157) ’ (cid:148)h;YH(cid:143)=YBC]^j(cid:137);(cid:16)W1rkE(cid:19)Z(cid:158)(cid:155)!D2E(cid:19)‘y]\WGZ(cid:157)?A]\‘a;⁄WXZ\[(cid:19)E(cid:19)B(cid:143)]^?C_F‘ IKE(cid:19)BhTF;i?A;YB(cid:143)‘y]^DF]\D2[%(cid:12)(cid:150)_F;>?C_F;YB W;(cid:131)(cid:23)C " ]\H W⁄?(cid:145)WG@2?CE(cid:19)Z\EG[G(cid:155)(cid:19)n q(cid:157) (cid:19)(cid:18) ](cid:158)V(cid:19);(cid:7)WSrFB(cid:143)E!EGI(cid:152)EGI(cid:152)rFBCEGr(cid:137)E(cid:19)H(cid:143)]^?C]\E(cid:19)D l(cid:19)n (cid:25)|(cid:27)(cid:30)(cid:19)(cid:22)(cid:31),<=$4!F(cid:19) ’ 2 (cid:25)|(cid:27)(cid:30)(cid:19)(cid:22)(cid:31),<=$4!F(cid:19) ’q(cid:157) A b(cid:27)(cid:25)2r2Z WG]^Dy(cid:2)_FE(cid:13)B (cid:12) (cid:131)(cid:132)E(cid:22)E(cid:19)(cid:159) (cid:14)Hc?A_2;YE(cid:19)B(cid:143);Y‘ ]\‘arFZ\]^;YH+?C_qWX?(cid:139)=(cid:145)_F;Y=(cid:145)(cid:159)(cid:128)]\D2[⁄]\D!v(cid:134);u(cid:132)(cid:128)@F](cid:158)VGWXZ\;YD2=Y;(cid:150)j(cid:137);i? (cid:12)(cid:132);>;YD (cid:160)(cid:132)E(cid:22)E(cid:19)Z\;YWGD(cid:30);(cid:26)(cid:25)!rFB(cid:143);YHCH(cid:143)]\E(cid:19)D2HU]^H(cid:11)C wvx_qWXBCTsn (cid:25)|(cid:27)(cid:30)(cid:19)(cid:22)(cid:31),<=$4!F(cid:19) ’q(cid:157) T b(cid:27)(cid:25)2r2Z WG]^D _FE(cid:13)(cid:12)(cid:15)?C_F;Z(cid:132)(cid:128)@F;>H(cid:143)?C]\E(cid:19)D EXI+?(cid:145)WG@!?AE(cid:19)Z^E(cid:19)[G(cid:155)(cid:30)WXDFT HAW-?A]\H &gWGjF]^Z\](cid:158)?x(cid:155)1=tWXD6jk;(cid:18)TF;>=Y]^TF;YT ](cid:158)I (cid:12)(cid:132); WGB(cid:143);(cid:7)[(cid:19)]^VG;YD(WGD WGZ\[(cid:19)EGBC]^?C_F‘ IKE(cid:19)BJ=(cid:145)_F;>=(cid:145)(cid:159)(cid:22)]^DF[(cid:153);F(cid:132)(cid:128)@F]^VXWGZ^;YDF=>; jk;>? (cid:12)(cid:139);Y;>D (cid:160)(cid:132)E(cid:22)E(cid:19)Z\;YWGD(cid:30);(cid:26)(cid:25)!rFB(cid:143);YH(cid:143)HC]\EGDFHYn (cid:20) (cid:15) (cid:21)6.1(cid:7)(cid:10)(cid:1)(cid:22)(cid:21) (cid:23) (cid:3)8(cid:9)T(cid:21)(cid:15)=(cid:7)(cid:21)$0@. (cid:23) (cid:21)6(cid:7) 9 (cid:1)(cid:4)(cid:7)(cid:10); = :<;>?+8(cid:25)(cid:24) < (cid:8) :0<(cid:28)p(cid:139)j(cid:137);(cid:20)?C_F;D3C(cid:27)]^(cid:22)(cid:30)(cid:29)B&J1B]0&J#F(.&hE(cid:19)r(cid:137);>BAWX?CE(cid:19)BJTF;(cid:26)&qDF;YT jN(cid:155) 8(cid:25)(cid:24)x< :0<(cid:28)p g o 89L(cid:20)< uQP o 8(cid:146)Lr<(cid:28)p(cid:149)u (cid:8) (cid:8) S _F;YD2=Y;Ge f (cid:24) f : f p(cid:147)]\H(cid:20)?AB(cid:143)@F;a]^I f WGDFT f WXBC;S?AB(cid:143)@F;yEGB ](cid:158)I f ]\H(cid:20)I4WGZ^HC;aWGDFT f p(cid:20)]^Hh?ABC@2;Gny(cid:138) ;a=tWGZ^Z f ?A_2; (cid:8) (cid:8) (cid:22)b&)(J(cid:22)w&loEWY(cid:24)a&)()(J3K,"1qnwRUZ\Z(cid:137)E(cid:19)r(cid:137);>BAWX?CE(cid:19)BCH(cid:132)=tWGD(cid:29);tWXHC]\Z(cid:158)(cid:155)(cid:153)jk;h; (cid:25)2r2BC;YH(cid:143)HC;>T @FHC]^DF[SE(cid:19)DFZ(cid:158)(cid:155)y?C_F;h](cid:158)I v(cid:134)?A_2;YD!v(cid:134);YZ\H(cid:143);hE(cid:19)rk;YBCWX?AE(cid:19)B WGDFT ?A_2;S=YE(cid:19)DFH(cid:149)?(cid:145)WGDN?CH £(cid:30)WGD2T(cid:5)l(cid:19)n p E(cid:19)B(cid:143);YEmV(cid:19);>BYe(cid:157)?A_F]^H(cid:20)=tWGD#jk;aT2E(cid:19)DF;S]\D H(cid:143)@F=(cid:145)_%W%(cid:12)(cid:132)Wt(cid:155) ?A_qW-? WGZ\Z|?A;YH(cid:149)?AH WGB(cid:143); r(cid:137);>B(cid:143)IKE(cid:19)B(cid:143)‘y;>T6E(cid:19)D2Z^(cid:155)(E(cid:19)D o @FD!vxD2;Y[NWX?C;YTguJVXWGBC]\WGjFZ\;>H(cid:147)WXDFT6VXWGBC]\WGjFZ^;YH(cid:9)E!=>=Y@FBh]^D6DFE(cid:153)EG?A_F;>B(cid:147)rFZ\WG=Y;>HYn8(cid:29)(cid:9);YDF=>; ?A_F;yE(cid:19)rk;YBAW-?AE(cid:19)B(cid:18)[(cid:19)]^VG;YH⁄B(cid:143)]\HC;a?AE W D2;$(cid:12) (cid:159)(cid:128)]\DFT%EXI(cid:150)DFE(cid:19)BC‘yWGZcIKE(cid:19)BC‘(n1"qE(cid:19)B ;(cid:26)(cid:25)2WG‘arFZ^;Ge S 8 ]\H o 8(cid:26)(cid:24) £(cid:13):tl9u(cid:137)e 8k_ <y]^H 8(cid:25)(cid:24) o <(cid:27)(cid:24) l(cid:132):A£NuJ: o <(cid:27)(cid:24) £(cid:140):tl9u n * ]^DF=Y;hVXWGB(cid:143)] WGjFZ^;YH(cid:139)‘⁄@FH(cid:143)?(cid:26)E(cid:19)DFZ^(cid:155)yE(cid:22)=Y=Y@2B(cid:26)]\D(cid:153)?C;YH(cid:149)?AHJ?A_F;h(cid:160)(cid:132)E!EGZ\;tWXD ;(cid:26)(cid:25)!rFB(cid:143);YHCH(cid:143)]\E(cid:19)Du8 ]^HJBC;>rFBC;>HC;YDN?C;YT#WGHw8(cid:28)(cid:24) l(cid:132):(cid:145)£(cid:26)n (cid:20)(cid:1) (cid:0) (cid:1) (cid:12) (cid:4)X(cid:10)(cid:2)(cid:1)(cid:4)(cid:3) t(cid:12) (cid:28)(cid:12) (cid:5)(cid:3)-(cid:12)^(cid:4)(cid:7)(cid:6)(cid:3)(cid:10)T(cid:4) M (cid:3) (cid:6)(cid:28)(cid:0) (cid:9) b(cid:1)~(cid:3) (cid:9) 9(cid:13) (cid:2)(cid:15) (cid:17) (cid:29)(cid:13)(cid:21)(cid:15)(cid:23)(cid:22) RUD VC(cid:27)]^(cid:22)(cid:30)(cid:29)B&J1B]0&J#F(.& (cid:136),"(cid:24)(cid:27)U !$# O,"(cid:24)JU (cid:24)]\H(W (cid:160)(cid:132)E(cid:22)E(cid:19)Z^;tWGD ;(cid:26)(cid:25)!rFB(cid:143);YH(cid:143)HC]\EGD jF@F]^Z^?(cid:29);YDN?C]\BC;>Z^(cid:155) (cid:1)(cid:0) (cid:2)(cid:0) IKB(cid:143)E(cid:19)‘ ?A_2;U](cid:158)I v(cid:134)?A_2;YD!v(cid:134);YZ\H(cid:143);(cid:150)E(cid:19)r(cid:137);>BAWX?CE(cid:19)B(cid:139)WGDFTy?C_F;(cid:147)=>E(cid:19)DFH(cid:149)?(cid:145)WGDN?AH(cid:132)£ WGD2T6l(cid:147)H(cid:143)@F=(cid:145)_1?A_FWX?(cid:26)WXZ\ZF?A;>H(cid:143)?CH(cid:26)WGB(cid:143); rk;YB(cid:149)IKE(cid:19)BC‘a;YT(cid:29)E(cid:19)D2Z^(cid:155)1EGD(VXWGB(cid:143)] WGjFZ^;YH>n (cid:151)(cid:134)I (cid:12)(cid:139);(cid:147)jN(cid:155) f (cid:18)£6(cid:131)(cid:133)8 (cid:21)(cid:137)T2;YDFEG?C;(cid:9)?C_F;U(cid:160)(cid:132)E!EGZ\;tWXDy; (cid:25)2r2BC;YH(cid:143)HC]^E(cid:19)D1E(cid:19)j2?AWG]\D2;YTaj(cid:128)(cid:155)(cid:16)B(cid:143);YrFZ\WG=Y]^DF[ 8%(cid:12)(cid:150)]^?C_(cid:153)£ ]\D f ?A_2;YD ]^?J]^HJDFEG?(cid:9)_qWGB(cid:143)T(cid:30)?AE(cid:16)HC;>; ?C_qWX?(cid:150)?A_F;(cid:20)IKE(cid:19)Z^Z\E(cid:13)(cid:12)(cid:150)]\D2[ ;u(cid:132)(cid:128)@F](cid:158)VXWGZ\;>DF=Y;(cid:7)_FE(cid:19)Z^TFHYz f g 8(cid:25)(cid:24) f (cid:18)l(cid:133)(cid:131)"8 (cid:21)n: f (cid:18)£6(cid:131)(cid:133)8 (cid:21)(cid:132)> o OGu ? (cid:154)J_F]\H(cid:139)]\H (cid:159)(cid:128)DFE(cid:13)(cid:12)(cid:150)D(cid:29)WGH(cid:139)?C_F; (cid:29)(cid:140)!$1B1I,"1(cid:154)&loEW(cid:140)!$1(cid:140)(J3K,"1(cid:29)EGI f (cid:12)(cid:150)]^?C_(cid:153)B(cid:143);YHCrk;Y=i?(cid:26)?AE(cid:136)8(cid:157)n(cid:3)(cid:154)J_F]\H(cid:139)HC]\‘arFZ^;(cid:9);F(cid:132)(cid:128)@qWX?A]^E(cid:19)D1_qWXH W(cid:30)Z\EG?(cid:7)EGI(cid:139)@FH(cid:143);>IK@FZ WGrFr2Z\]\=YWX?A]^E(cid:19)DFH>n⁄(cid:154)J_F; &qBCH(cid:149)? ]^Hh?AE(cid:29)[(cid:19);>DF;YBCWX?A;yWGD#(cid:151) C " IKBCE(cid:19)‘ WGDN(cid:155)#;(cid:26)(cid:25)!rFB(cid:143);YHCH(cid:143)]\E(cid:19)D f n(cid:16)(cid:151)(cid:134)I f =YE(cid:19)DN?AWG]\DFH(cid:132)DFE⁄VXWGBC]\WGjFZ\;>H(cid:139)](cid:158)?(cid:26)]^H(cid:26);Y](cid:158)?A_F;>B(cid:26);u(cid:132)(cid:128)@F](cid:158)VGWXZ\;YDN?(cid:26)?CES£⁄E(cid:19)BhlE(cid:12)(cid:150)_F]\=(cid:145)_(cid:29)]\H(cid:26)WGD1(cid:151) C "(cid:139)ngf(cid:147)?A_F;>B (cid:12)(cid:150)]\H(cid:143); (cid:12)(cid:139);hIKE(cid:19)BC‘ ?A_F; * _FWGDFDFE(cid:19)D(;(cid:26)(cid:25)!rqWXDFHC]^E(cid:19)D EXI f (cid:12)(cid:150)](cid:158)?A_(cid:29)BC;>HCrk;Y=i?U?CEyE(cid:19)D2; EXI(cid:152)?C_F; VXWGB(cid:143)] WGj2Z\;YHd8 ]\D f nc(cid:154)J_(cid:128)@FHUH(cid:143)]\DF=>; f (cid:18)£6(cid:131)"8 (cid:21) WGDFT f (cid:18)l(cid:133)(cid:131)"8 (cid:21)<jkEG?A_(cid:30)=>E(cid:19)DN?(cid:145)WG]^D(cid:29)E(cid:19)DF;(cid:20)Z\;>HCH(cid:26)VXWGB(cid:143)] WGjFZ^;U?C_qWGD f e (cid:12)(cid:132);(cid:7)=YWGD(cid:29)BC;Y=>@FBCH(cid:143)]^VG;YZ^(cid:155) &qDFT(cid:29)(cid:151) C "wH(cid:26)IKEGBJj(cid:137)EG?C_(cid:30)EGI ?A_F;>HC;(cid:142)(cid:155)q=tWGZ^Z ?A_F;>‘ f (cid:8) WXDFT f pin RUD(cid:29)(cid:151) C " IKE(cid:19)B f ]^HJDFE(cid:13)(cid:12) HC]^‘yr2Z^(cid:155) 8(cid:25)(cid:24) f pJ: f > (cid:8) (cid:138)(cid:24);(cid:7)_qWtVG; r2BCEmV(cid:19);>Tsz 6 )8 (cid:13)C(cid:15) : 1BmD*X,.,"#/&0!$1M&loEWY(cid:24)a&)()(J3K,"1(cid:154)3/(9& 7(cid:26)(cid:28)3V(cid:31)"!$#/&J1B(cid:22)d(cid:22)^,(cid:130)!$1(cid:152)&loEWY(cid:24)a&)()(J3K,"1(cid:154)3V1 (cid:142)Z(cid:31) (cid:14)*(cid:29){(cid:14)(cid:18)!#$]E $(cid:20)(cid:14)(cid:18)(cid:23):’ (cid:3)(cid:0) (cid:25)|(cid:27)(cid:30)(cid:21)(cid:24)+P(cid:29)(cid:10)(cid:17)%(cid:19)-(cid:12) (cid:131)(cid:132)EGDFHC]^TF;YBh?C_F;S(cid:160)(cid:132)E(cid:22)E(cid:19)Z\;YWGD ; (cid:25)2r2BC;YH(cid:143)HC]^E(cid:19)D f g o 8qp(cid:3)_ <(cid:28)p(cid:143)u}L o 8’s-_ <(cid:142)s uin (cid:151)(cid:134)I (cid:12)(cid:132);(cid:10)&FDFT WGD (cid:151) C " EGI f jN(cid:155)%HC;>Z\;>=>?A]^DF[ ]\D EGBCTF;>B⁄?A_F;1VXWGB(cid:143)] WGjFZ^;YHA8qpJ:a<(cid:28)p(cid:27):l8’s?:a<$sSEGD (cid:12)(cid:150)_2]\=(cid:145)_ ?AE rk;YB(cid:149)IKE(cid:19)BC‘ * _qWGDFD2E(cid:19)D ;(cid:26)(cid:25)!rqWGD2HC]\EGDFHYe (cid:12)(cid:139);(cid:18)[G;>?J?A_2; ; (cid:25)!rFBC;>HCHC]^E(cid:19)DFH f g 8qp (cid:24) f p(cid:27): f (cid:8) f g <(cid:28)p (cid:24) £(cid:140): f (cid:8) (cid:8) (cid:8) f p g <(cid:28)p (cid:24) f p^pJ:(cid:145)£ f g 8’s (cid:24) f pJ: f (cid:8) (cid:8) (cid:8) (cid:8) (cid:8) (cid:8) (cid:8) f p^p g 8’s (cid:24) f p^p^pJ: f p^p (cid:8) f g <$s (cid:24) £(cid:140):Yl (cid:8) (cid:8) (cid:8) f p g <$s (cid:24) l(cid:132):A£ (cid:8) (cid:8) f p^p g <$s (cid:24) £(cid:140):Yl (cid:8) f p^p^p g <$s (cid:24) l(cid:132):A£ A: "w]\[G@FBC;(cid:7)O⁄H(cid:143)_FE(cid:13)(cid:12)(cid:150)HU?A_2; ; (cid:25)!rFBC;>HCHC]^E(cid:19)D WGH(cid:9)WS?CBC;>;Gn * @F=(cid:145)_ W(cid:16)?CBC;Y;(cid:7)]^H(cid:150)WGZ\H(cid:143)ES=tWGZ^Z\;YT(WrN(cid:28)&)GJ3/(J3K,"1(cid:154)(cid:22)4(cid:24)a&)& (cid:5)(cid:4) R Z\EX?(cid:132)EGI(cid:157)?C_F;h;(cid:26)(cid:25)!rFB(cid:143);YH(cid:143)HC]\EGDFH(cid:9)WGBC;h;YWGHC]^Z^(cid:155)yHC;>;YD(cid:30)?AESjk;h]\T2;YDN?A]^=tWGZ/e!H(cid:143)ES]^?(cid:26)]^H(cid:139)?C;Y‘ar2?A]^DF[ ?AES]^TF;YDN?C]^I (cid:155)(cid:16)?A_F;>‘ n "qE(cid:19)B ; (cid:25)FWX‘yrFZ^;Ge+]^DFH(cid:143)?C;tWGT EXI f p^p (cid:8) (cid:12)(cid:139);(cid:30)=tWGD @FH(cid:143); f (cid:8) (cid:8) (cid:8) WGDFT ]\D2H(cid:143)?A;YWGT EGI f p^p^p(cid:19)(cid:12)(cid:132);(cid:30)=YWGD @FH(cid:143); f (cid:8) (cid:8) pin (cid:151)(cid:134)I(cid:11)(cid:12)(cid:139); HC@Fj2H(cid:143)?A](cid:158)?A@2?C; f (cid:8) (cid:8) (cid:8) IKE(cid:19)B f p^p (cid:8) ]\D#?A_F;aBC]^[(cid:19)_N?(cid:143)vx_FWGDFT HC]\T2;yEGI f p^p WGDFT(cid:24)WGZ\H(cid:143)E f (cid:8) (cid:8) p(cid:20)IKEGB f p^p^pie (cid:12)(cid:132);y]\D#I4WG=>?(cid:18)HC;>; ?A_qW-? f (cid:8) (cid:8) WGD2T f p^pJWGBC;(cid:20)]^TF;YDN?A]^=tWGZ/eFWGD2T ]^D f p+(cid:12)(cid:139); =YWGD(BC;Yr2Z WG=>; f p^p+(cid:12)(cid:150)]^?C_ f (cid:8) (cid:8) n (cid:151)(cid:134)IE(cid:12)(cid:139); ]^D%I4WG=>?a]^TF;YDN?A](cid:158)I (cid:155) !$#V#U;u(cid:11)(cid:20)(cid:132)(cid:128)@q(cid:11) WGZJH(cid:143)@Fjk;(cid:26)(cid:25)!rFBC;>HCH(cid:143)]\E(cid:19)DFH (cid:12)(cid:132);(cid:29);>DFT(cid:5)@2r (cid:12)(cid:150)](cid:158)?A_ (cid:12)(cid:150)_qWX?a]\HS(cid:159)(cid:128)DFE(cid:13)(cid:12)(cid:150)D WGH(cid:16)W 573V1Y!$(cid:24)(cid:27)mjN(cid:28)&)GJ3/(J3K,"1 N$34!.R$(cid:24)0!$U o W(cid:23)* Uu n+(cid:151)(cid:134)?(cid:153)]^H(cid:16)DFE Z^E(cid:19)DF[(cid:19);>BaW#?CBC;Y;(EGI(cid:147)(cid:160)(cid:132)E(cid:22)E(cid:19)Z\;YWGD(cid:5); (cid:25)!rFBC;>HCHC]^E(cid:19)DFHyjF@2?yW TF]\B(cid:143);Y=i?A;YT(WG=i(cid:155)(cid:22)=YZ\]^=(cid:7)[(cid:19)BAWGr2_ o (cid:148)(cid:9)R (cid:18) uin

Description:
N iels Maretti, J0 rgen S taunstrup, Kim S kak Larsen, H enrik H ulgaard, and various people on the Internet w ho found Truth assignments are w ritten as sequences of assignments of values to variables, e.g.,. [0 /x1, 1 /x2, 0 /x3, 1 /x4 ] .. a set of variable nodes u of out-degree t w o. The t w
See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.