ebook img

Java PathFinder A Translator from Java to Promela Klaus Havelund PDF

68 Pages·2012·0.38 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 Java PathFinder A Translator from Java to Promela Klaus Havelund

(cid:0)(cid:2)(cid:1)(cid:4)(cid:3)(cid:5)(cid:1)(cid:7)(cid:6)(cid:8)(cid:1)(cid:10)(cid:9)(cid:12)(cid:11)(cid:14)(cid:13)(cid:16)(cid:15)(cid:18)(cid:17)(cid:14)(cid:19)(cid:21)(cid:20)(cid:23)(cid:22) (cid:24) (cid:25) (cid:22)(cid:26)(cid:1)(cid:27)(cid:17)(cid:14)(cid:28)(cid:12)(cid:29)(cid:30)(cid:1)(cid:10)(cid:9)(cid:12)(cid:31) (cid:22)"!#(cid:22)(cid:26)(cid:31)%$ (cid:0)(cid:2)(cid:1)(cid:4)(cid:3)(cid:5)(cid:1)&(cid:9)(cid:12)(cid:31)’(cid:6)((cid:22)(cid:26)(cid:31)%$(cid:7)(cid:20)(cid:23)(cid:29)(cid:18)(cid:1) )+*-,#.0/(cid:4)12,4365(cid:18)*7.980:;,#8<:>=@?9ACB(cid:2),6/(cid:4)DFEG5H/G/JI9.9EGK65(cid:18)E LNM@O6MPMRQ(cid:5)SUT(cid:26)VWSGTXSZY(cid:18)[]\_^(cid:2)‘aSUbdc]SG[ZeCVRSU\UfgQih<SU\J^CbjfHklfHmgnoSUTUe0p%f(cid:18)q9SGcXcWrsnoSUklt0e9‘(cid:12)Y(cid:18)konou7fH[]bCnvY#exw(cid:4)O6M(cid:23)y z{Q(cid:27)Y(cid:18)nlk}|x~(cid:30)^jY(cid:30)(cid:127)gSUko(cid:128)jb(cid:129)t9ecXc](cid:130)9(cid:131)H(cid:132)N(cid:130)6c]fgkoSUQ(cid:23)(cid:133)dyY(cid:30)[]\gyb(cid:129)Y(cid:18)T]Y6ymgf(cid:30)(cid:127) (cid:134) (cid:135)(cid:137)(cid:136)U(cid:138)G(cid:139)(cid:18)(cid:140)j(cid:141)g(cid:138)g(cid:142) h(cid:12)^jnoT%[]SU(cid:130)xf(cid:18)[Xc(cid:143)fH(cid:128)Cc]konobjSUT(cid:143)TXfHQ(cid:5)S(cid:144)^jnomg^(cid:145)koSU(cid:127)4SUk@nlt6SZYHT%u7fH[(cid:143)cX[_Y(cid:18)bjTXklY(cid:18)c]nobCm (cid:146)#(cid:147)g(cid:148)4(cid:147)>c]f(cid:10)c]^CS(cid:10)(cid:149)(cid:12)(cid:150)C(cid:151)<(cid:152)F(cid:153)6(cid:154)H(cid:147)(cid:137)ejc]^CS(cid:144)(cid:155)(cid:156)(cid:130)C[]fHmH[_Y(cid:18)Q(cid:5)Q(cid:5)nlbCm+klYHbCmg(cid:128)(cid:129)Y(cid:18)mgSU(cid:157)(cid:27)f(cid:18)u{c]^CS2(cid:158)(cid:129)(cid:159)C(cid:160)v¡(cid:144)Q(cid:5)f#t6SUk \J^CSU\J¢gSG[Zy£h(cid:12)^jS(cid:144)(cid:130)j(cid:128)6[](cid:130)xfgTXS(cid:2)noT(cid:5)c]f(cid:21)SUT⁄c_YH¥CklnoTX^ƒY>uv[_YHQ(cid:5)SG§afH[]¢¤u-fH['(cid:127)4SG[]n«“j\ZY(cid:18)c]nofgb‹YHb(cid:129)t tCSU¥C(cid:128)jmgmHnobjm(cid:27)fHu(cid:26)(cid:146)#(cid:147)g(cid:148)4(cid:147)(cid:21)(cid:130)C[]fgm(cid:18)[_YHQ(cid:5)TW¥(cid:129)YHTXSUt›fHb›Q(cid:5)f#t6SUks\_^jSU\_¢#nobjmCy0h(cid:12)^CnoTN§(cid:12)f(cid:18)[]¢(cid:2)TX^(cid:129)YHkok ¥xS%TXSUSUbfinobflY›¥C[]f4YHtCSG[ Y(cid:30)cXc]SUQ(cid:5)(cid:130)Cc2c]f;Q(cid:27)Y(cid:18)¢4S u7fH[]Q(cid:27)Y(cid:18)kRQ(cid:5)SJc]^jf#tCT+YH(cid:130)j(cid:130)Ckonl\UYH¥jkoS(cid:176)(cid:155)–nlb c]^jSNkofdfH(cid:130)j(cid:157)(cid:5)fHus(cid:130)C[]fgm(cid:18)[_YHQ(cid:5)Q(cid:5)nobjm(cid:23)§Fn«c]^jnob%LNM@OCM‡†T(cid:26)Y(cid:18)[]SZY(cid:18)TWTX(cid:128)C\J^%YHTFTX(cid:130)(cid:129)Y(cid:18)\USgejYZ(cid:127)6nlY(cid:30)c]nlfHb<e []fg¥xfHc]no\UTUe·YHbjt>m(cid:18)[]fg(cid:128)jbjt>\UfHbdcX[]fgk(cid:181)TXfHuvc(cid:156)§(cid:26)Y(cid:30)[]Sgy(cid:181)¶N(cid:128)6[‡Q(cid:27)YHnob›mgf4Y(cid:18)k£noT(cid:4)c]f(cid:143)Y(cid:18)\J^CnoSU(cid:127)4S(cid:5)Y(cid:18)(cid:128)C• c]fgQ(cid:27)Y(cid:18)c]SUt%u-fH[]Q(cid:27)Y(cid:18)ksQ(cid:5)SGc]^Cf#tCTUe(cid:129)TX(cid:128)C\J^(cid:2)c]^jY(cid:18)cW(cid:130)C[]fgm(cid:18)[_YHQ(cid:5)Q(cid:5)SG[]TFc]^jSGQ(cid:5)TXSUko(cid:127)4SUTR\ZYHb›YH(cid:130)C(cid:130)jk«(cid:133) c]^jSUTXS(cid:144)nob‹c]^jSUn«[(cid:143)tjYHnok«(cid:133)‹§afH[]¢„‚}nob‹c]^CS>kofdfg(cid:130)(cid:129)”(cid:27)§Fn«c]^jfH(cid:128)Cc'TX(cid:130)xSU\UnlYHkonoT⁄c]T(cid:2)nobdc]SG[Xu-SG[]nobCm YHb(cid:129)t §Fnoc]^Cfg(cid:128)6cWbCSU\USUTXT]Y(cid:30)[]noko(cid:133)(cid:143)^(cid:129)YZ(cid:127)#nlbCm(cid:10)c]f(cid:5)Q(cid:27)YHb#(cid:128)jYHkok«(cid:133) []SJu-fH[]Q2(cid:128)jklY(cid:18)c]S(cid:23)Y+(cid:130)6[]fgmH[_Y(cid:18)Qinlb(cid:144)Y tCn«q9SG[]SUbdc@bCfHc_Y(cid:30)c]nlfHb;nob›fH[_tCSJ[(cid:4)c]f%Y(cid:18)b(cid:129)YHk«(cid:133)6»US(cid:10)c]^CS(cid:10)(cid:130)6[]fgmH[_Y(cid:18)Q(cid:143)y<h(cid:12)^jS2§afH[]¢(cid:144)^(cid:129)Y(cid:18)T@¥xSUSUb TX(cid:130)(cid:129)YU§FbjSZt fHu·¥#(cid:133) Y(cid:18)b(cid:143)SGq9f(cid:18)[Xc(cid:26)c]f2u-f(cid:18)[]Q(cid:27)YHkok«(cid:133) (cid:127)4SG[]n«u7(cid:133)de6(cid:128)jTXnobCm (cid:158)(cid:129)(cid:159)C(cid:160)v¡(cid:137)e6Y(cid:23)Q(cid:10)(cid:128)Ckoc]n…gc]^C[]SZYHtCSZt fg(cid:130)xSG[_Y(cid:30)c]nlbCm@T⁄(cid:133)6T⁄c]SUQ‰(cid:130)C[]fHmH[_Y(cid:18)Q(cid:5)Q(cid:5)SZt(cid:23)nob(cid:10)(cid:190){(cid:160)v¿U(cid:159)(cid:4)u-fH[£TX(cid:130)(cid:129)Y(cid:18)\US(cid:26)\G[_Y(cid:30)u7c]TUydMfl(cid:146)#(cid:147)H(cid:148)d(cid:147)(cid:143)O#(cid:130)xSU\Un«“(cid:129)\UY(cid:18)• c]nlfHb'klY(cid:18)bjmg(cid:128)jYHmHS(cid:23)noT(cid:12)u7(cid:128)C[Xc]^jSJ[]Q(cid:5)fH[]SN(cid:130)6[]SUTXSUbdc]SZt9e6§F^Cno\J^'Q(cid:27)YH¢4SUTanoc(cid:12)(cid:130)xfgTXTXno¥jkoS@c]f(cid:10)T⁄c_Y(cid:30)c]S (cid:130)C[]fg(cid:130)xSJ[Xc]nlSGTWY(cid:18)¥xfg(cid:128)6c@(cid:146)d(cid:147)g(cid:148)d(cid:147)>(cid:130)C[]fHmH[_YHQ(cid:5)TUyjh(cid:12)^jS‡klYHbCmg(cid:128)jYHmgS‡noTRbjSG§(cid:145)nob%c]^jS(cid:4)TXSGbjTXS@c]^(cid:129)Y(cid:30)c noc(cid:23)noT(cid:23)¥(cid:129)YHTXSUt(cid:14)fgb(cid:14)konobjSZY(cid:30)[(cid:10)c]SUQ(cid:5)(cid:130)xf(cid:18)[_YHk{kofgmgno\(cid:27)u-f(cid:18)[]Q(cid:10)(cid:128)jklY(cid:18)S(cid:27)c]^jY(cid:18)c(cid:23)\ZY(cid:18)b(cid:21)fd\U\U(cid:128)C[2Y(cid:18)b#(cid:133)>(cid:130)jklY(cid:18)\US Y T⁄c_Y(cid:30)c]SUQ(cid:5)SUbdc@\ZY(cid:18)b>fd\G\U(cid:128)C[Zy0(cid:192)NSGbj\USgexc]^CSUTXS2u7fH[]Q2(cid:128)jklYHS2\ZYHb›¥xS+t6SUSU(cid:130)jk«(cid:133)(cid:144)SUQ2¥xSZtjt6SZt nlb'(cid:146)d(cid:147)g(cid:148)d(cid:147)(cid:143)\Gf#tCS@Y(cid:18)b(cid:129)t(cid:5)TX^jfH(cid:128)jklt(cid:5)\UfH[X[]SGTX(cid:130)xfgb(cid:129)t6nobjmgk«(cid:133)(cid:27)¥xSRnob#c]SJ[](cid:130)C[]SGc_Y(cid:30)c]SZt(cid:5)fgb(cid:27)(cid:130)(cid:129)Y(cid:30)c]^jTafHbjk«(cid:133) c]^(cid:129)Y(cid:18)cRT⁄c_Y(cid:30)[Xc(cid:4)Y(cid:18)cWc]^jSUTXS‡(cid:130)xfHnlbdc]T(cid:26)…%YHb(cid:129)t(cid:143)bCfHcRu7[]fHQ(c]^CS(cid:23)¥xSGmgnobjbCnlbCm(cid:5)fHu(cid:181)c]^jS‡(cid:130)6[]fgmH[_Y(cid:18)Q SG`6SU\U(cid:128)Cc]nofHb(cid:143)YHTFnoTFc]^jS@\ZY(cid:18)TXS@u-f(cid:18)[‡(cid:158)(cid:129)(cid:159)6(cid:160)7¡(cid:2)(cid:190)j´x(cid:154)(cid:10)u7fH[]Q2(cid:128)jklYHSgy (cid:0)(cid:2)(cid:1)(cid:4)(cid:3)(cid:6)(cid:5)(cid:8)(cid:7)(cid:10)(cid:9)(cid:12)(cid:11)(cid:14)(cid:13)(cid:15)(cid:9)(cid:17)(cid:16)(cid:19)(cid:18)(cid:20)(cid:7)(cid:21)(cid:16)(cid:19)(cid:18)(cid:20)(cid:22) (cid:23)(cid:25)(cid:24)(cid:27)(cid:26)(cid:29)(cid:28)(cid:27)(cid:30) (cid:31)"!$#&%’(cid:28))(*(cid:31)+(cid:26)-,.,/,/,.,/,.,/,.,/,/,0,/,.,/,.,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/, 1 2’34265 A6.9E87(cid:30)5(cid:5),680:>=a,#EGK65(cid:27)9;:£,#89KC.0,#KC5 3/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 1 2’3=<?> A@9BAv3d, 9BAvAC8DC ACE;9J?95/EflA6EBF 3/3/303/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 G 2’3HJI .(cid:20)9J*4Av805(cid:5)A@C(cid:21)9G?95LK(cid:4)5)M<ACE(cid:8)9 3.3/3/303/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 G NPO(cid:6)QR(cid:28))ST(cid:26)$U)(V(cid:31)W(cid:26)$UX(cid:28))(cid:31)Y(cid:28))Z$SY[+\^]‘_ba(cid:19)cd(cid:26)&e+#$cdeWSf,/,.,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/, g hjiXkVcdU)UlSTU’monqpRrlSs%’(cid:28))Utcd(cid:26)$!JuvSs(cid:28))Z$(cid:31)"!$Ub,/,.,/,.,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/, w Hd342Yxoy ,#BqM9*75Lzd{s|(cid:20){¤DFEGA6KCEG,6B}9JA(cid:2)I·5(cid:27)={EU,#80/J*-, 9J5g: 3/3.3/303/3/3.3/3.3/3.3/3 w Hd3=< ={EU,#80/J*-, 9~A7A68 3/3/3.3/3.3/3.3/3/303/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 (cid:127) H^3<d3(cid:128)2Y(cid:129) 5(cid:18)895HEG,6*R(cid:130)]:x5H,C/ 3.3/3.3/3/303/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 (cid:127) H^3<d3< ={EU,#8</_*-, 9BAvAC8›A@C(cid:17)(cid:131)W*-,6/G/(cid:19)(cid:132) 303/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 2)(cid:133) H^3<d3H ={EU,#8</_*-, 9BAvAC8›A@C(cid:17)(cid:131)W*-,6/G/(cid:19)(cid:132)T(cid:134) 303/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 2’2 H^3<d31 ={EU,#8</_*-, 9BAvAC8›A@C(cid:17)(cid:131)W*-,6/G/(cid:19)(cid:135)d(cid:136)W(cid:137)l(cid:138) 3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 2)H (cid:139)(cid:141)(cid:140)(cid:142)Z(cid:21)(cid:30) STcd!$U(cid:143),/,0,/,.,/,/,.,/,.,/,.,/,/,0,/,.,/,.,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/, 2 1 1 342Yxoy ,#BqM9*75Lzd{s|(cid:20){¤DFEGA6KCEG,6B}9JA(cid:2)I·5(cid:27)={EU,#80/J*-, 9J5g: 3/3.3/303/3/3.3/3.3/3.3/3 2 1 1 3=< ={EU,#80/J*-, 9~A7A68 3/3/3.3/3.3/3.3/3/303/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 2lG 1 3<d3(cid:128)2(cid:144)> Ax:(cid:20)A(cid:128)C(cid:146)(cid:145)sA789K(cid:144)=(cid:19)(cid:145)TM<5/(cid:147)d(cid:148)s(cid:136)d(cid:149)T(cid:149) (cid:150)d(cid:136)(cid:152)(cid:151)+(cid:153) 3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 2lG 1 3<d3< ={EU,#8</_*-, 9BAvAC8›A@C(cid:17)(cid:131)W*-,6/G/(cid:19)(cid:154)(cid:20)(cid:155)T(cid:155)(cid:20)(cid:153)(cid:157)(cid:156) 3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 2lG 1 3<d3H ={EU,#8</_*-, 9BAvAC8›A@C(cid:17)(cid:131)W*-,6/G/(cid:19)(cid:135)d(cid:136)W(cid:137)l(cid:138) 3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 2lG (cid:158)(cid:141)(cid:159)"(cid:160)"(cid:26)$%lZ&(cid:30) (cid:31)W(cid:26)$(*¡(cid:157)c(cid:20)(cid:28))(V(cid:31)W(cid:26)¢,/,.,/,.,/,.,/,/,0,/,.,/,.,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/, 2 g G(cid:20)342Yxoy ,#BqM9*75Lzd{s|(cid:20){¤DFEGA6KCEG,6B}9JA(cid:2)I·5(cid:27)={EU,#80/J*-, 9J5g: 3/3.3/303/3/3.3/3.3/3.3/3 2 g G(cid:20)3=< ={EU,#80/J*-, 9~A7A68 3/3/3.3/3.3/3.3/3/303/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 2 g Gd3<d3(cid:128)2Y(cid:129) 5(cid:18)895HEG,6*R(cid:130)]:x5H,C/ 3.3/3.3/3/303/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 2 g Gd3<d3< ={EU,#8</_*-, 9BAvAC8›A@C(cid:17)(cid:131)W*-,6/G/(cid:19)(cid:132)T(cid:134) 303/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 2)(cid:127) £P⁄¥cd((cid:146)(cid:28)(cid:157)m$ƒ(cid:14)(cid:31)W(cid:28))(V§V(cid:160)¤cd(cid:26)$!Jƒ(cid:14)(cid:31)^(cid:28)l(*§'(cid:160)"“DkVkq,/,0,/,.,/,.,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/, <(cid:20)2 «d342Yxoy ,#BqM9*75Lzd{s|(cid:20){¤DFEGA6KCEG,6B}9JA(cid:2)I·5(cid:27)={EU,#80/J*-, 9J5g: 3/3.3/303/3/3.3/3.3/3.3/3 <(cid:20)2 «d3=< ={EU,#80/J*-, 9~A7A68 3/3/3.3/3.3/3.3/3/303/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 <@H ‹ (cid:159)(cid:21)#$U(cid:27)›(cid:17)ST(cid:26)$!ficd(cid:26)&!Jfl(cid:176)STU)#$–†S ,/,.,/,/,0,/,.,/,.,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/, < g g 342Yxoy ,#BqM9*75Lzd{s|(cid:20){¤DFEGA6KCEG,6B}9JA(cid:2)I·5(cid:27)={EU,#80/J*-, 9J5g: 3/3.3/303/3/3.3/3.3/3.3/3 < g g 3(cid:128)2(cid:157)3(cid:128)2(cid:144)> A6EG5(cid:5),#I·A6.(cid:20)9 5 M·5)7(cid:27)A‡C(cid:146)(cid:145)TA789K(cid:144)DFEGA’M·5(cid:18)E~9~A75H/ 3/3.3/3.3/303/3/3.3/3.3/3.3/3 < g g 3(cid:128)2(cid:157)3< =@?95(cid:142)zd{s|(cid:20){¤DREJACK6EU,#B 3/3/303/3.3/3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 < w g 3(cid:128)2(cid:157)3H?> A6EG5/·‡I·A6.(cid:20)9(cid:181)9G?95 5 M·5)7(cid:27)A‡¶W7H, 9BAvAC8 3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3 H’(cid:133) < g 3=< =£EU,#80/J*7,@9~A7A68 3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 H’(cid:133) g 3<d3(cid:128)2Y(cid:129) 5(cid:18)895HEG,6*R(cid:130)]:x5H,C/ 3/3.3/303/3/3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 H’(cid:133) g 3<d3< ={EU,#80/J*-, 9~A7A68;A@C(cid:12)(cid:131)W*7,C/J/(cid:1)(cid:0)(cid:3)(cid:2)d(cid:136)(cid:3)(cid:2)(cid:5)(cid:4)+(cid:149) 3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 H(cid:157)< g 3<d3H ={EU,#80/J*-, 9~A7A68;A@C(cid:12)(cid:131)W*7,C/J/;(cid:154)(cid:7)(cid:6)d(cid:153)’(cid:138)(cid:8)(cid:2)(cid:10)(cid:9) 3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 H(cid:157)< g 3<d31 ={EU,#80/J*-, 9~A7A68;A@C(cid:12)(cid:131)W*7,C/J/;(cid:154)(cid:7)(cid:6)d(cid:153)’(cid:138)(cid:8)(cid:2)(cid:8)(cid:11) 3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 H’H g 3<d3G ={EU,#80/J*-, 9~A7A68;A@C(cid:12)(cid:131)W*7,C/J/;(cid:135)d(cid:136)W(cid:137)l(cid:138) 3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 H 1 g 3H ·(cid:23)*‡9G5(cid:18)EG80, 9BAv3C5(cid:5)={EU,#80/J*-, 9~A7A68</ 303/3/3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 H(cid:157)G (cid:12)(cid:141)(cid:159)"(cid:28))(cid:31)W›(cid:19)m(cid:14)(cid:13)"(cid:31)+(*(cid:26)(cid:19)m$(VU)“(cid:176)k*((cid:16)(cid:15)+S ,.,/,.,/,0,/,/,.,/,.,/,.,/,/,.,/,0,/,.,/,/,.,/,.,/,., H’« w 342(cid:15)x(cid:12)y ,#BqM9*75/z^{s|T{flDFEGA6KCEG,6B}9JA(cid:143)I<5(cid:27)=£EU,#80/J*7,@9J5g: 3.3/303/3.3/3/3.3/3.3/3.3 H’« w 3(cid:128)2(cid:157)3(cid:128)2 =@?95(cid:142)zd{s|(cid:20){ M0EJACK6EU,#B 303/3/3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 H’« w 3(cid:128)2(cid:157)3< =@?95 5 M·5)7 A(cid:128)¶W7H, 9~A7A68 3/303/3/3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 H w w 3=< =£EU,#80/J*7,@9~A7A68 3.3/3/3.3/3.3/303/3/3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 H w w 3<d3(cid:128)2Y(cid:129) 5(cid:18)895HEG,6*R(cid:130)]:x5H,C/ 3/3.3/303/3/3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 H w w 3<d3< ={EU,#80/J*-, 9~A7A68;A@C(cid:12)(cid:131)W*7,C/J/(cid:18)(cid:17)(cid:20)(cid:19)(cid:22)(cid:21) 3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 1 < w 3<d3H ={EU,#80/J*-, 9~A7A68;A@C(cid:12)(cid:131)W*7,C/J/(cid:24)(cid:23)d(cid:136)(cid:3)(cid:2)d(cid:136) 3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 1 < w 3<d31 ={EU,#80/J*-, 9~A7A68;A@C(cid:12)(cid:131)W*7,C/J/(cid:18)(cid:25)(cid:5)(cid:26)(cid:27)(cid:19) 3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 1’1 w 3<d3G ={EU,#80/J*-, 9~A7A68;A@C(cid:12)(cid:131)W*7,C/J/(cid:1)(cid:0)(cid:3)(cid:2)(cid:28)(cid:26)(cid:27)(cid:29) 3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 1’1 w 3<d3« ={EU,#80/J*-, 9~A7A68;A@C(cid:12)(cid:131)W*7,C/J/;(cid:135)d(cid:136)W(cid:137)l(cid:138) 3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 1 G (cid:30) (cid:31) (*STk*!ficd(cid:26)$!(cid:10)(cid:159)(cid:21)k*STSs› ,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/,/,.,/,0,/,.,/,/,.,/,.,/,., 1Tg (cid:23)(cid:7)!#" c(cid:20)(cid:28))c†(cid:159)"(cid:28)(cid:27)(cid:30) #$%@(cid:28))#&(cid:30) STUv,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/,/,.,/,0,/,.,/,/,.,/,.,/,., 1(cid:157)w (cid:23)W(cid:23)vO(cid:6)QR›&(cid:30) STUlU)(V(cid:31)W(cid:26)$U ,.,/,.,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/,/,.,/,0,/,.,/,/,.,/,.,/,., 1 (cid:127) (cid:23)(cid:20)N}O(cid:6)Q"%’Ss›$(cid:28))(*(cid:31)+(cid:26)$U ,.,/,.,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/,/,.,/,0,/,.,/,/,.,/,.,/,., G@(cid:133) (cid:23)Th#$.(cid:30) (*(cid:31)W(cid:30) ((cid:146)(cid:28)l(*STU ,/,.,/,.,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/,/,.,/,0,/,.,/,/,.,/,.,/,., G(cid:20)2 (cid:23)s(cid:139)j(cid:159)"›(cid:17)ST%’(&%$%(cid:157)c(cid:20)(cid:28))(V(cid:31)W(cid:26)$UL,/,.,/,/,.,/,.,/,0,/,/,.,/,.,/,.,/,/,.,/,0,/,.,/,/,.,/,.,/,., G’< 2 1 342 =@?05(’(cid:20)(cid:153)(cid:157)(cid:156)(cid:29)(cid:137)*)(cid:5)+ (cid:131)W*-,6/G/ 3/3.3/303/3/3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 G’< 2 1 3(cid:128)2(cid:157)3(cid:128)2(cid:144)5 (cid:145)(cid:129)8(cid:157)9U, y ,680: I .(cid:20)9J*4A7895(cid:5)A@C 5 5(cid:18)B(cid:2),#8s9BA47H/ 3/3/3.3/303/3.3/3/3.3/3.3/3.3 G’< 2 1 3(cid:128)2(cid:157)3<†> A6EG5(cid:5),#I·A6.(cid:20)9 5 5HB(cid:2),#8s9~A7(cid:18)/ 3/3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 G’< 2 1 3(cid:128)2(cid:157)3H (cid:131)WA6EGEJ5g/(cid:8)M·A680:95(cid:18)8^7(cid:18)5 9GA-,/./0 3/3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 G’G 2 1 3=< (cid:130)X8s9G5(cid:18)EBM9EJ5(cid:27)9G,@9~A7A68;A@C21(cid:26)5HE~A(cid:128)¶W7H, 9~A7A68</ 3.3/3.3/3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 G@« 2 1 3H43 /(cid:8)A789Kt(cid:130)X89?05(cid:18)EBA‡9U,#8^7(cid:18)5(cid:6)9GAt·‡36A(cid:157)A7:(cid:14)(cid:131)W*-,6/G/(cid:4)DFEG5 ¶ y 5H/ 3.3/303/3.3/3/3.3/3.3/3.3 G g 2 1 31 DREJA(cid:157)M<5HE(cid:8)9BAv5g/@,6/ > 5(cid:27)9J?9Ax:9/(cid:181)A780/(cid:8)9J5g,6:;A@C(cid:12),6/ 5 9U, 9J5HB(cid:143)5(cid:18)8s9G/ 3/3.3/3/3.3/3.3/3.3 G@(cid:127) 2 1 3=G (cid:131)WACB(cid:143)B%5H8s9G/‡,680:(cid:176):£,#89KC.0,#KC5 x(cid:12)y 9J5(cid:18)8</(cid:8)A7A68 3.3/3/3.3/303/3.3/3/3.3/3.3/3.3 «’(cid:133) “ (cid:140)LZ$S5$.(cid:30) (cid:31)"!$#&%(cid:157)Ss(cid:30)(cid:20)6+iX(cid:31)W(cid:26)$Ul#&–†Ss(cid:30) O(cid:6)Q"cd–6›(cid:4)k*S},/,.,/,/,.,/,0,/,.,/,/,.,/,.,/,., «(cid:157)< H (cid:0) (cid:1) (cid:16)(cid:19)(cid:18)(cid:3)(cid:2)d(cid:9)(cid:5)(cid:4)(cid:7)(cid:6)(cid:9)(cid:8)+(cid:18)(cid:3)(cid:10)(cid:8)(cid:9)(cid:17)(cid:16) =@?dA-/(cid:26)EG5(cid:27)M·A6E~9FA6.(cid:20)9G*(cid:128)A7895g/F/_ACB(cid:143)5(cid:4)?dAvKC?(cid:143)*v5H365(cid:18)*^A7:x5g,6/(cid:4)C ACEo9JEU,#8</_*-, 9BAv89KLz^{(cid:157)|(cid:20){D9JA/9G?95(cid:12)(cid:11)(cid:9)(cid:13)(cid:15)(cid:14)(cid:17)(cid:16)(cid:7)(cid:18)(cid:28)0(cid:157){(cid:20)(cid:19) 9G?95(cid:22)(cid:21)~M9EGA6K6EU,#B(cid:143)BqA789K(cid:143)*7,689K6.0,6K65(cid:24)(cid:23)(cid:2)A@Co9G?95 [(cid:29)\d]‘_ B(cid:143)Ax:x5(cid:18)*o7U?95l78F65(cid:18)E 3 =@?95(cid:2)M9.9EBM·AC/J5(cid:142)A-/ 9GA›5H/(cid:26)(cid:25) 9U,#I9*4A7/J?¤,qC EU,#B(cid:143)5(cid:28)(cid:27)WACE~FDC A6E(cid:10)365(cid:18)EBA(cid:128)¶W7(cid:18),@9~A7A68(cid:21),#80:¤:x5(cid:18)I9.0K6K’A789K(cid:144)A’C(cid:19)zd{s|(cid:20){YM9EGA6K6EU,#B(cid:2)/(cid:4)I<,6/J5H:(cid:14)A68 B(cid:143)Ax:x5(cid:18)*(cid:12)7U?05)78FTAv80K 3 =@?dA-/(cid:29)(cid:27)WACE~F(cid:21)/J?0,#*7*(cid:26)I<5(cid:2)/J5(cid:18)5H8(cid:15)A78fl,;I9EGAC,C:x5(cid:18)E+, 9~9J5HB(cid:2)Md9/9JA;B(cid:143),’F65(cid:2)C A6EGB(cid:2),#* B(cid:143)5 9G?9Ax:9/(cid:4),@M^M9*(cid:128)A7(cid:18),6I9*75(cid:30)(cid:21)~Av8D9J?95(cid:5)*7A(cid:129)A’M(cid:31)(cid:23)'A@C$M9EGA6K6EU,#B(cid:143)BqA789K (cid:27)(cid:181)A(cid:128)9J?dA78"! · 5 ·$#/(cid:4),#EG5H,C/N/J.^7U?;,6/ /~M0,’7(cid:18)5%(cid:19)(cid:129),43TA7,@9~A7A68&(cid:19)CEJACI<A’9~A7(cid:18)/(cid:28)(cid:19)j,680:(cid:144)KCEJAC.980: 7(cid:18)A68s9JEGA6*·/_A’C‘9’(cid:27)N,6EJ5 3TI .9ENB(cid:2),@A78›*7A689K(cid:142)9J5(cid:18)EGB K6Aj,#* A-/(cid:19)9JA(cid:143),’7U?dA75(cid:18)3C5(cid:10),68>,#.d9JA6B(cid:2),@9J5H: C A6EGB(cid:2),#*·B%5(cid:27)9J?9Ax:9/((cid:27)NA6EBF(cid:129)I<5H8^7U?&(cid:19)(cid:20)zd{s|(cid:20){&(cid:11)(cid:9)(cid:13)(cid:15)(cid:14)+|(cid:17)(cid:18)(cid:31)(cid:13))(cid:19)(cid:157)C ACE zd{s|(cid:20){ M9EGA6KCEG,6B(cid:143)B(cid:2)A789K*(cid:19)j/J.^7U? 9G?0, 9(cid:181)M9EGA6KCEG,6B(cid:143)B%5HEG/(cid:17)9J?05(cid:18)B(cid:2)/_5H*v3C5H/;7(cid:18),68>,’MdM9*4(cid:145)t9J?95g/_5.A78D9G?95(cid:27)A7E‡:9,’Av*4(cid:145) (cid:27)NA6EBF,+*Av8q9G?95(cid:23)*7A(cid:129)A’M*-.(cid:27)(cid:181)A(cid:128)9J?0A6.(cid:20)9@/(cid:8)M·5)7(cid:27)A7,6*(cid:128)A-/ 9U/oA78(cid:157)9G5(cid:18)E~C 5(cid:18)EBAv80K ,#80:/(cid:27)(cid:181)A(cid:128)9J?0A6.(cid:20)9R805)7(cid:30)5g/J/G,#EBA7*(cid:128)(cid:145)'?0,43TAv89K 9GA(cid:21)B(cid:143),68(cid:129).0,#*7*(cid:128)(cid:145)¤EJ5(cid:27)C A6EGB .9*-, 9G5%, M9EGA6KCEG,6B Av8(cid:176),(cid:21):(cid:20)A10s5(cid:18)EG5(cid:18)8s9(cid:27)89A@9U, 9BAvAC8(cid:15)A78‹A6EU:x5(cid:18)E.9GA ,#80,6*(cid:128)(cid:145)32(cid:18)5 A(cid:128)9 3 ·‡*(cid:128)9J?0A6.9KC? 9J?05(cid:6)M9EG5H/J5(cid:18)8s9G5H:4(cid:27)NA6EBFXA-/NI0,6/J5H:(cid:144)A68›,(cid:142)9JEU,#80/J*-, 9~A7A68(cid:2)A’C$zd{s|(cid:20){ 9GA5(cid:11)(cid:9)(cid:13)(cid:15)(cid:14)(cid:17)(cid:16)(cid:7)(cid:18)(cid:28)0(cid:157){(cid:20)(cid:19) C .(cid:20)9G.9EG56(cid:27)WACE~F7(cid:27)(cid:181)Av*7*(cid:23)3C5(cid:18)EB(cid:145)(cid:145)*4A(cid:128)FC5(cid:18)*4(cid:145)†C A(cid:20)7(cid:30).0/(cid:144)A688(cid:27)(cid:4)EBA‡9BAv89Kƒ,‹B(cid:143)Ax:x5H*(cid:6)7U?95l78F65(cid:18)EqC ACE(cid:176)zd{s|(cid:20){(cid:10)C EJACB /B7(cid:30)EU, 987U?&(cid:19)^9G?95(cid:18)EG5(cid:18)IT(cid:145) ACI(cid:20)9G,’Av8^Av89K(cid:14),>B%ACEJ5%5:9 7(cid:27)Av5H8(cid:157)9(cid:27)/~(cid:145)x/ 9G5(cid:18)B 3 =@?95/(cid:27)WACE~F M9EG5H/J5(cid:18)8s9G5H: A78(cid:15)9J?dA-/ EG5(cid:27)M·A6E~9(cid:5)(cid:27)(cid:181)Av*7*RM9EGAd3sA-:x5(cid:5),#8 A78dA‡9BA7,6*"MdA7A6895H5(cid:18)EBAv80K%5;0·ACE(cid:8)9‡,6*vAC89K(cid:142)9G?0, 9‡*4A7895 3 (cid:23)=<*(cid:23) (cid:159)"(cid:31)+#(cid:21)(cid:30) %(cid:157)S cd(cid:26)$! (cid:140)(cid:19)cd(cid:30)(cid:152)e+Ss(cid:28)ta(cid:17)cd(cid:26)$eW#$cde+S z^{(cid:157)|(cid:20){?>2A@ A-/(cid:23),(cid:143)KC5(cid:18)895HEG,6*RM9.9EBM<Aj/_5(cid:27)ACI(cid:3)B]5)7 9‡A6EBAv5H8s9J5H: M9EGA6KCEG,6B(cid:143)B(cid:2)A789K(cid:143)*-,#89KC.0,#KC5C(cid:27)(cid:181)A(cid:128)9J?(cid:21)I0.dAv*(cid:128)9 A78(cid:143)B%5l7U?0,#8^A7/JB(cid:2)/$C A6EFB'.9*‡9BAD(cid:25)'9J?0EJ5g,6:x5g:XM0EJACK6EU,#B(cid:143)BqAv89K/>G(cid:24)@'3 (cid:130) 9E(cid:27)N,C/(cid:12)A6EBAvK(cid:157)Av8<,#*7*(cid:128)(cid:145)(cid:27):x5g/(cid:8)A7K6805H:X9JA /J.dMdM·A6E~90A78s9J5HEJ895(cid:27)9/M9EJACK6EU,#B(cid:143)BqAv80K(cid:31)(cid:19)0I0.(cid:20)9(cid:27)K6A(cid:129)5H/(cid:9)(cid:27)N5(cid:18)*7*(cid:26)I<5)(cid:145)6A68<:(cid:14)9J?^A7/(cid:5):xACB(cid:2),@A78 3 (cid:130) 9.A-/(cid:5),#*F(cid:27)@,(cid:152)(cid:145)(cid:129)/ :(cid:20)A19 7(cid:30).9*(cid:128)9 9GADM9EG5H:dA47 9 9J?95(cid:142)C .(cid:20)9J.0EJ5G(cid:19)<I9.d9+,tM0EJ5g:(cid:20)A47 9~A7A68(cid:14)A-/ 9G?0, 9/zd{s|(cid:20){flI<5l7(cid:30)A6B(cid:143)5g/2,C/(cid:12)(cid:27)(cid:181)A-:x5(cid:18)*4(cid:145) /~M9EG5H,6:%,6/(cid:4)A-/ (cid:131)(cid:5)HIHfi9JAx:9,(cid:152)(cid:145) 3 zd{s|(cid:20){DA-/F,+EG5(cid:18)*-, 9BAv3C5(cid:18)*4(cid:145) /(cid:8)A7BqM9*75(cid:4)*7,689K6.0,6K65;7(cid:30)ACB(cid:2)M<,#EG5H:(cid:142)9JA(cid:2)(cid:131)(cid:5)HIH5(cid:19) ,680:6A(cid:128)9(cid:2)A-/ EG5(cid:18)Kj,#EU:x5H:‹,C/',¤B .^7U?(cid:145)/G, C 5HE'*-,#80K6.0,6K65%(cid:19)£,#B(cid:143)A689Kj/ 9%A@9G?95(cid:18)EX9J?dA789Kj/':x.05 9JA(cid:144)A(cid:128)9G/ ,6.(cid:20)9JACB(cid:143),@9~A7(cid:12)KC,6EJI0,6K65(cid:4)7(cid:30)AC*v*75)7 9~A7A68(cid:5),#80:+*-,’78F2A@C(cid:129)K65H895(cid:18)EU,#* M·A’A78s9J5(cid:18)EU/ 3 (cid:130)X8(cid:27)/(cid:8)M^A‡9G5FA@C(cid:20)A(cid:128)9G/{/~A7B(cid:2)M0*(cid:128)A7 A(cid:128)9 (cid:145) A(cid:128)9(cid:23),@MdM·5H,6EG/(cid:19)9GA(cid:2)I<5(cid:27),(cid:2)M·AJ(cid:27)W5HE(cid:8)C .9*(cid:137)*-,#80K6.0,6K65 3 [+\d]‘_ >1 @ A-/(cid:2),fi3C5(cid:18)EBA‡¶+7(cid:18), 9BAvAC8(cid:145)/~(cid:145)(cid:129)/(cid:8)9J5HB 9J?<, 9›/J.dMdM·A6E~9G/X9J?95 :95H/~AvKC8P,#8<:(cid:145)3C5(cid:18)EBA‡¶W7H, 9BAvAC8 A’C ¶08dA(cid:128)9J5 /(cid:8)9G,@9J5(cid:14),6/~(cid:145)j8W7U?9EJAC89A6.</(cid:142)M9EGA(cid:20)7(cid:30)5g/J/%/(cid:8)(cid:145)x/(cid:8)9J5HB(cid:143)/ 3 DFEGA6KCEG,6B(cid:2)/(cid:27),#EG5DC ACEJB'.9*-, 9J5g:†A78b9G?95 (cid:11)C(cid:13)=(cid:14)(cid:17)(cid:16)(cid:7)(cid:18)(cid:28)0(cid:157){(cid:10)M9EJACK6EU,#B(cid:143)BqAv80Kfi*-,#89KC.0,#KC5%(cid:19)(cid:20)(cid:27)(cid:4)?dA7U?fiA7/LKC.^A‡9G5 /(cid:8)A7BqAv*-,#Et9GAƒ,#8„A6EU:(cid:20)A780,#EB(cid:145)†M9EGAM(cid:25) KCEG,6B%BqA789K›*-,#80K6.0,6K65%(cid:19)·5 y 7(cid:18)5(cid:27)M(cid:20)9.C A6EL7(cid:18)5(cid:18)E~9G,’Av8fi89A68(cid:3)(cid:25)X:x5(cid:27)9J5(cid:18)EGBqAv8^A7/(cid:8)9~A7'/~M·5)7 A(cid:128)¶W7H, 9~A7A68flA6EBA75(cid:18)8s9J5g: 7(cid:18)A680/(cid:8)9JEG.^7 9U/ 3 DFEGA(cid:20)7(cid:30)5g/J/J5H/X7(cid:30)A6B(cid:143)B'.98dA7(cid:18), 9G5>5)A‡9G?95(cid:18)E(cid:143)3TA-,fi/J?0,#EG5H:ƒ34,6E~A-,#I0*v5g/ ACE'3TA-,¤B(cid:143)5H/G/G,#K65 M0,C/J/~A789K 9G?9EJAC.9K6?(cid:145)I9.(cid:3)0s5(cid:18)EG5H:b7U?<,#89895H*7/ 3 DFEGA’M·5(cid:18)E~9~A75H//9GAfiI·5;365(cid:18)EBA(cid:128)¶05H:P,#EG5›/ 9U, 9G5H:†A78†9G?95 *4Av805H,#E(cid:17)9J5HB(cid:2)M·A6EU,#*·*7A6K’A7(cid:18),/.(cid:10)0 3 =@?95 [+\d]‘_ON4P(cid:24)Q%R;SUTWVXRWTWY%R;Z 7H,#8›,6.(cid:20)9JACB(cid:2), 9~A7(cid:18),6*v*4(cid:145)(cid:143):x5 9G5(cid:18)EGB(cid:2)A7895 (cid:27)(cid:4)?95(cid:27)9J?95HE‡,(cid:2)M9EJACK6EU,#B /G, 9BA7/(cid:8)¶05H/(cid:4),(cid:2)M9EGA’M·5(cid:18)E~9 (cid:145)%(cid:19)9,680:(cid:176)Av8(cid:14)7(cid:18),C/_509G?95.M9EJA(cid:157)M<5HE(cid:8)9 (cid:145)>:xA(cid:129)5H/@89A’9‡?9A6*-:U(cid:19) ,68›5(cid:18)EGEGA6E(cid:12)9GEG,(cid:157)7(cid:30)5(cid:6)A7/NK65H895(cid:18)EU, 9G5H: 3(cid:3)[ A6E(cid:19)9J?95+EG5(cid:18)B(cid:2),@A78dA789K(cid:142)M0,6E(cid:8)9@A@C(cid:21)9J?dA-/NEJ5)M<ACE(cid:8)9(cid:24)(cid:19)\(cid:27)N5+/_?0,6*v*·A@C‘9G5(cid:18)8 .0/J509J?95.9G5(cid:18)EGB [+\^]‘_ 9GA(cid:144),#*-/_A%EJ5)M9EG5H/J5(cid:18)8s9;9J?95$(cid:11)C(cid:13)=(cid:14)(cid:17)(cid:16)(cid:7)(cid:18)(cid:28)0(cid:157){fi*7,689K6.0,6K65 3 =@?95HEJ5(cid:5),#EG5(cid:5)/_5H365HEG,6*·EG5H,C/_AC80/(cid:17)C A6E 7U?9A(cid:129)AC/~A789K zd{s|(cid:20){¤,6/ 9G?95(cid:27)/JA6.9E87(cid:30)5(cid:10)*7,689K6.<,#K65 3(cid:3)[ A7EU/ 9‡A’C ,6*v*(cid:19)A‡9(cid:143)/_5H5(cid:18)B(cid:2)//9GA I<5l7(cid:30)ACB%5>,(cid:14)M<A(cid:157)M9.9*-,#E'*7,689K6.0,6K65(cid:2)9J?<, 95(cid:27)(cid:181)A7*7*N,@9(cid:8)9JEU,’7 9 ,(cid:21)*7A@9'A’C‡, 9(cid:8)9G5(cid:18)8s9~A7A68 C EGA6B 9J?05(cid:2)M0EJACK6EU,#B(cid:143)BqAv89K 7(cid:18)A6B(cid:143)B .08dA‡9 (cid:145) 3 =@?95(cid:18)EG5',6EJ5'K6A(cid:129)Ax: 7U?0,68^7(cid:30)5g/(cid:181)9J?<, 9(cid:142)zd{s|(cid:20){](cid:27)(cid:181)A7*v*(cid:12)I·5:(cid:25) 7(cid:18)A6B(cid:143)5(cid:7)(cid:27)(cid:181)A-:x5(cid:18)*4(cid:145)(cid:2).0/J5H: 3 ·2/N, (cid:27)W5H*v*1(cid:25) Fj80AJ(cid:27)(cid:4)8 (cid:131)WA6BqM9.(cid:20)9G5(cid:18)E 5 7 A75(cid:18)8s9BA7/(cid:8)9(cid:29)+^(cid:27)(cid:4)?9A(cid:2)M9EJACI0,#I0*(cid:128)(cid:145)/(cid:27)@,#8s9G/(cid:17)9JA /(cid:8)9G,(cid:152)(cid:145)(cid:2),#80A68T(cid:145)(cid:129)B%AC.0/W-(cid:26)/J,’A7:&_(cid:17)(cid:21)(cid:28)‘badc(e R:fhg%R c ZWiWjlk%k%k(cid:30)PJm(cid:3)nEP e(cid:29)oGp%pGp(cid:9)q ZrPts%Z c N5iCf ‘SbSvuWR(cid:29)f(cid:20)Z ‘nwnxR a ‘babz^{(cid:157)|(cid:20){&(cid:23) 3(cid:12)5 5)7(cid:18)A680:U(cid:19)oA(cid:128)9 A-/(cid:143)A6I(cid:3)B]5l7 9(cid:2)A6EBAv5H8s9J5H:&(cid:19)(cid:20)(cid:27)(cid:4)?dA47U? /J5(cid:18)5(cid:18)B(cid:2)/(cid:2)9GAflI·5(cid:21),‹/ 9GEJAC89K 9GEJ5H80:?Av8 M9EGA6KCEG,6B(cid:143)B(cid:2)A789K'*7,689K6.0,6K65+:x5H/~A7K68 3WI I(cid:3)B]5l7 9(cid:4)A6EBA75(cid:18)8s9G,@9~A7A68;?0,6/(cid:4)/(cid:8)9JEU,#89KC5(cid:18)*4(cid:145)(cid:2)5(cid:18)89AC.9K6?>89A@9 (cid:145)C5 9 1 ?dA(cid:128)9(cid:12)9J?05‡B(cid:143)A(cid:129):95(cid:18)*^7U?95l78FTAv89K/7(cid:18)A6B(cid:143)B .98^A‡9 (cid:145) 3 (cid:131)W5(cid:18)E~9G,’Av8(cid:2), 9~9J5HB(cid:2)Md9G/F?<,4365@I<5H5(cid:18)8(cid:143)B(cid:2),6:x5;9GA/M9EGAd3sA-:x5 A6IXB]5)7 9%A6EBAv5H8s9J5H:ƒ365(cid:18)EU/~AvAC80/(cid:27)A’C M9.9EG5>/~M<5l7 A(cid:128)¶W7(cid:18),@9~A7A68ƒ*-,#89KC.0,#KC5H/'/_.^7U?P,6/(cid:1)(cid:0) + I/I (cid:0)U-(cid:27),#80: 1(cid:3)(cid:2) > +&1(cid:3)(cid:2) > HIH(cid:29)- 3 1‡5H8^7(cid:30)5G(cid:19)&M0EJAd3TA789K ,(cid:21)B(cid:143)Ax:x5(cid:18)*;7U?95)78FC5(cid:18)E.C ACE',#8(cid:145)A6I(cid:3)B]5l7 9 ACE~A75(cid:18)8s9J5g:‹*7,68(cid:3)(cid:25) K6.<,#K65(cid:5),’MdM<5g,#EU/ 9JA(cid:2)I·5 ,(cid:143)EG5H/J5H,#E87U? 9GA’MdA7 3 =@?dA7EG:U(cid:19)<,#80:(cid:176)¶080,6*v*4(cid:145)%(cid:19)+zd{s|(cid:20){(cid:15)A-/(cid:12)Kj.dA(cid:128)9J5(cid:27),(cid:2)/~AvBqM9*75 *-,#89KC.0,#KC5%(cid:19)9,#8<:(cid:176)A78 C ,’7 9‡89A@9 9G?0, 9(cid:181)C ,6E(cid:23), (cid:27)@,(cid:152)(cid:145)qC EJACB (cid:11)(cid:9)(cid:13)(cid:15)(cid:14)(cid:17)(cid:16)(cid:7)(cid:18)(cid:28)0(cid:157){ A78 7(cid:30)ACBqM9*v5 y A‡9 (cid:145) 3 (cid:130) 92/_5H5(cid:18)B(cid:2)/ 9JA(cid:2)I·5(cid:27),%80, 9G.9EU,#*(cid:5)(cid:21);a R(cid:5)(cid:4)Gn(cid:20)iAnxR q(cid:3)(cid:23) 3 (cid:130) 9oA7/(cid:12)A’C‘9J5H8(cid:2)7(cid:18)*7,’AvB(cid:143)5H:L9J?0,@9(cid:26)B%Ax:x5H*d7U?95)78FC5(cid:18)EU/{A’C^9GA(cid:129):0,(cid:152)(cid:145)L7(cid:18),#8089A@9(cid:12)?0,#8<:x*v5@EG5H,6*(cid:157)M9EGA6KCEG,6B(cid:2)/;(cid:19) ,#8<:(cid:15)7(cid:18)A680/J5(cid:28)Kj.95H8(cid:157)9G*(cid:128)(cid:145)(cid:14)895)A‡9G?95(cid:18)E(cid:5)EG5H,6*(cid:4)z^{s|T{bM9EGA6K6EU,#B(cid:2)/ 3 =@?dA-/.A-/07(cid:18)5(cid:18)E~9G,’Av89*4(cid:145) 9JEG.95 3 1(cid:23)AJ(cid:27)W5H365HE(cid:28)(cid:19) 9J?05(cid:18)EG5R,#EG5o9’(cid:27)NA‡,6/~M<5l7 9G/"9J?0,@9£B(cid:2),@FC5(cid:26)A6.9E£5:0sA6E~9v(cid:27)NA6E~9J?3(cid:27)(cid:4)?dA7*v5F,68s(cid:145)3(cid:27)@,(cid:152)(cid:145) 3:[ A7EG/(cid:8)9(cid:28)(cid:19)gIT(cid:145)(cid:6)M9EGAd3TA7:dAv89K ,#8?c u:iAn Z c T:n ‘ P a fEPJZrYGutR a TWV (cid:27)N55(cid:27)(cid:181)A7*v*(cid:12)B(cid:2),@FC5XA(cid:128)9.M<Aj/J/~AvI0*v5X9JA(cid:14)7(cid:30).d9+:xAJ(cid:27)(cid:4)8 9J?95(cid:2)/(cid:8)9G,@9J5(cid:143)/(cid:8)M0,(cid:157)7(cid:30)5 A@C(cid:5),†zd{s|(cid:20){(cid:10)M9EJACK6EU,#B 3(cid:12)5 5)7(cid:18)A680:&(cid:19)(cid:19)zd{s|(cid:20){(cid:10)7H,#8„I<5¤.0/_5g: ,6/(cid:2),‹:x5H/~A7K68 *7,689K6.<,#K65G(cid:19)=B].0/ 9;,6/ (cid:11)(cid:9)(cid:13)(cid:15)(cid:14)(cid:17)(cid:16)(cid:7)(cid:18)(cid:28)0(cid:157){ 3 (cid:23)=<N uv(cid:31)^(cid:28)l((cid:16)(cid:15)dc(cid:20)(cid:28)l(*(cid:31)+(cid:26)fi§'(cid:31)W(cid:30) (cid:28)lZ&S ⁄(cid:25)(cid:31)W(cid:30)(cid:7)(cid:6) =@?95l(cid:27)NA6EBF‡?0,C/(cid:137)I·5(cid:18)5(cid:18)8(cid:27)/~M0, (cid:27)(cid:4)895g:(cid:10)A@CxIT(cid:145)2,#8+5;0·ACE(cid:8)9"9GA;C A6EGB(cid:2),#*7*(cid:128)(cid:145)2365(cid:18)EBA(cid:128)C(cid:146)(cid:145)%(cid:19)(cid:30).0/~A789K [+\d]‘_ (cid:19)g,@B .9*(cid:128)9~A(cid:9)(cid:8) 9J?0EJ5g,6:x5g:(cid:2)A’M·5(cid:18)EU, 9BAv89K'/(cid:8)(cid:145)x/(cid:8)9J5(cid:18)B¥C A6E@/~M0,’7(cid:18)5 7(cid:30)EU, C‘9U/ 3 =@?dA7/ (cid:27)NA6EBF(cid:142)A-/W:xA(cid:20)7(cid:18).9B(cid:143)5(cid:18)8s9J5g:tAv8 >HJ@'3 =@?95 A’M·5(cid:18)EU, 9BAv80K(cid:144)/(cid:8)(cid:145)x/(cid:8)9J5(cid:18)B A-/‡A6805(cid:142)7(cid:30)ACB(cid:2)M·A6805(cid:18)8s9‡A@Cl! · 5 ·$#/C!‡5;(cid:27) > A7*7*v5H898dA7.9B K(cid:4)5(cid:18)B(cid:143)A@9G5(cid:142)·‡KC5(cid:18)8s9 +*K ·(cid:9)-4>«J@ (cid:19)(cid:181),#8(cid:176),#E~9~A(cid:128)¶W7(cid:27)A7,6*oAv8s9J5H*v*4A7K65(cid:18)8W7(cid:30)5(cid:143)I0,6/J5H:fl/~M0,’7(cid:18)5)7(cid:30)EU, C‘9L7(cid:18)A68s9JEGA6*(cid:26)/~(cid:145)(cid:129)/(cid:8)9J5HB ,#E87U?dA(cid:128)9J5l7 9J.0EJ5 9J?<, 9qA7/%/~7U?05H:x.9*75H:69JAfl*7,6.98^7U?†A78(cid:10)(cid:2)25)7(cid:30)5HB I·5(cid:18)E%A@C 2l(cid:127)’(cid:127) w ,6/XM0,#E~9'A’C(cid:181)9J?95(cid:12)(cid:11)/(cid:18)X(cid:18) \ [+\ {(cid:14)(cid:13)=(cid:18) (cid:15) BqA-/J/~AvAC869JA > ,#EU/ 3 =@?95>A’M·5(cid:18)EU, 9~A789K¤/~(cid:145)x/ 9G5(cid:18)B A7/XA7B(cid:2)M0*v5HB%5H8s9J5H:bAv8P, B .0*‡9BAD(cid:25)'9J?9EG5H,C:x5H: 365HEG/~A7A68 A’C(cid:17)(cid:16)C(cid:14)(cid:17)(cid:16)(cid:7)(cid:16)(cid:9)(cid:14) _ , ](cid:19)(cid:18)(cid:27)\ 3 =@?05%3C5(cid:18)EBA‡¶+7(cid:18), 9BAvAC8¤5;0·ACE(cid:8)9/7(cid:30)AC80/(cid:8)A-/(cid:8)9J5H:¤A@CN?0,#80: 9JEU,#80/J*-, 9~A789K M0,6E(cid:8)9U/(cid:4)A@C(cid:4)9J?05 , ](cid:19)(cid:18))\ 7(cid:30)Ax:x5LA78s9JAq9G?955(cid:11)C(cid:13)=(cid:14)(cid:17)(cid:16)(cid:7)(cid:18)(cid:28)0(cid:157){fl*7,689K6.<,#K65+A’C [(cid:29)\d]‘_ 3 · 9JA@9U,#*(cid:181)A’C G 5(cid:18)EGEJACEG/ (cid:27)N5(cid:18)EG50A-:x5H8(cid:157)9BA‡¶<5H:U(cid:19)0,%3C5(cid:18)EB(cid:145)›/_.W7(cid:27)7(cid:30)5g/J/(cid:8)C .9*(cid:137)EG5H/J.9*(cid:128)9 3 =@?95(cid:5)?0,6EG:95H/(cid:8)9 M0,#E~9‡A@C$9J?0,@9(cid:7)(cid:27)NA6EBF (cid:27)N,C/ 9JA(cid:2).98<:x5(cid:18)EU/ 9U,#80:(cid:14),689A@9G?95(cid:18)E M·5(cid:18)EU/JA680/(cid:181)7(cid:18)A(cid:129):95(cid:27),#80: 9JA 9JEU,#80/J*7,@9J5(cid:2)C EGA6B 9J?dA-/L7(cid:30)Ax:x5 9JA6(cid:11)(cid:9)(cid:13)(cid:15)(cid:14)(cid:17)(cid:16)(cid:7)(cid:18)(cid:28)0(cid:157){ 3 ·P9G?dA7EG:(cid:176),(cid:157)7 9~A73TA‡9 (cid:145)(cid:22)(cid:27)N,C/09JA M·5(cid:18)E~C A6EGB ,6I(cid:3)(cid:25) /(cid:8)9JEU,’7 9BAvAC80/(cid:181)I·5 C ACEJ5(cid:17)9J?95(cid:17)9JEU,#80/J*-, 9~A7A68 3 =@?0,@9&A-/;(cid:19)gI0,6/~A7(cid:18),#*7*4(cid:145) 9G?9EJAJ(cid:27)(cid:181)A789K(cid:23), (cid:27)@,(cid:152)(cid:145)(cid:6)7(cid:18)Ax:x5(cid:12)A7EJEG5(cid:18)*75(cid:18)3d,#8s9 9JA(cid:176)9J?05(cid:2)M0EJA(cid:157)M<5HE(cid:8)9BAv5g/(cid:7)(cid:27)N5 (cid:27)@,#8s9J5g:(cid:14)9GA>3C5(cid:18)EBA‡C(cid:146)(cid:145) 3 =@?95q7(cid:30)AC8^7(cid:30)*7.0/~AvAC8(cid:14)C EGA6B(cid:143)9J?^A7/C(cid:27)NA6EBF(cid:30)(cid:27)@,6/ 9J?<, 9 9J?05 M9EGA6K6EU,#B(cid:143)B(cid:143)5(cid:18)E(cid:12)?dA7B(cid:21)(cid:20)4?95HER/J5(cid:18)*(cid:128)C(cid:137)/J?9AC.9*7:q7H,#EGE~(cid:145)(cid:5)AC.(cid:20)9(cid:12)9J?05‡365HE~A(cid:128)¶W7(cid:18),@9~A7A68 + /JA6*7365g/$9J?95‡.080:x5(cid:18)Er(cid:25) /(cid:8)9G,#8<:(cid:20)Av80K(cid:142)M9EGA6I9*75(cid:18)B -W,#80:t9J?0,@9(cid:19)9G?95 9GEG,680/J*7,@9~A7A68(cid:144)/J?9A6.9*-:(cid:144)I·5+,#.(cid:20)9GA6B(cid:2), 9BA47 3 E‰?0,@9 A-/W*v5(cid:27)C‘9 A-/ 9J?05(cid:27),#I0/(cid:8)9JEU,’7 9~A7A68DM0EJACI9*v5HB (cid:19)(cid:129),680:DC A6E;9J?<, 9 M9.9EBM·AC/J5(cid:9)(cid:27)N5+?0,4365+,(cid:2)M0,#EU,#*7*v5H*s5:0sA6E~9 9GA(cid:143)I9.dA7*7: ,#8Oc u:iAn Z c T:n ‘ P a fEPJZrYGuWR a TtV (cid:27)(cid:4)?95HEJ52A6895.7(cid:18),68;:dAvEG5)7 9J*4(cid:145)(cid:2)EJ5g:x.^7(cid:30)5+,qzd{s|(cid:20){(cid:14)M9EGA6K6EU,#B #/R/(cid:8)9G,@9J5 /~M0,’7(cid:18)5(cid:6)C ACE;9J?95/M0.9E~M·AC/J5+A@C(cid:12)5:9 7 A75(cid:18)8s9‡B(cid:143)Ax:x5(cid:18)*7U?95l78FsA789K 3 (cid:23)=<4h nt#&(cid:28))k*(V(cid:26)&S (cid:31)+§(cid:181)(cid:28))Z$S fl(cid:176)S(cid:157)›(cid:19)(cid:31)^(cid:30)(cid:152)(cid:28) 5 5l7 9~A7A68 < M0EJ5g/_5H8(cid:157)9U/(cid:144),(cid:144)C 5;(cid:27) 5 y 9G5(cid:18)80/~A7A680/q9GA69J?05d(cid:11)(cid:9)(cid:13)(cid:15)(cid:14)v(cid:16)(cid:9)(cid:18)(cid:28)0(cid:157){ *-,#80K6.0,6K65 9J?0,@9L(cid:27)N5(cid:21)?0,4365 C A6.080:%.0/_5(cid:27)C .9*(cid:20)C ACE(cid:4)9J?95(cid:181)M9EG5H/J5(cid:18)8s9U, 9~A7A68 3 =@?05(cid:18)8(cid:2)C A6*7*vAJ(cid:27)‡/(cid:12),+/J5(cid:28)Kj.95(cid:18)8W7(cid:30)5@A@C(cid:137)/_5l7 9BAvAC80/;(cid:19) < (cid:8) 2)H (cid:19)45H,’7U? :(cid:20)A-/~7(cid:18).0/G/(cid:8)A789Kq9J?05/9JEU,#80/J*-, 9~A7A68(cid:14)A’C(cid:12),qM0,6E(cid:8)9BA47(cid:18).9*-,#E(cid:6)z^{(cid:157)|(cid:20){(cid:144)7(cid:30)AC8^7(cid:30)5)M(cid:20)9 3 ·(cid:23)/(cid:23),(cid:143)KC5(cid:18)895HEG,6*(cid:181),@MdM0EJAj,’7U?&(cid:19) A78‰5H,’7U?‰/J5)7 9~A7A688(cid:27)N5(cid:14)M9EJ5g/_5H8s9t9J?95 9JEU,#80/J*7,@9~A7A68„A@C(cid:27),67(cid:30)ACBqM9*v5(cid:27)9J5(cid:15)z^{s|T{ M9EGA6KCEG,6B 9J?<, 9 A7*v*7.0/(cid:8)9JEU, 9J5g/ 9G?95Y7(cid:30)A68W7(cid:30)5(cid:27)Md9G/DC AT7(cid:18).0/J5H:‰AC8 Av8 9J?0,@9(cid:14)/J5)7 9~A7A68 3 =£AP,†7(cid:18)5(cid:18)E~9G,@A78(cid:16)5 y 9G5(cid:18)80:&(cid:19)(cid:19)9G?95 EG5(cid:27)M·A6E~9(cid:26)/J5(cid:18)EG365g/&9’(cid:27)WA.M9.9EBM·AC/J5H/(cid:28)_(cid:152)9JA(cid:5):x5 ¶<895;9J?95;9GEG,680/J*7,@9~A7A68&(cid:19)d,#8<:(cid:142)9GA(cid:5)/_?9AJ(cid:27)P?9AJ(cid:27) +^(cid:27)(cid:4)?95 9G?95(cid:18)EA- A(cid:128)9(cid:7)(cid:27)WACE~Fx/ 3 (cid:130)X8(cid:21)A@9G?95(cid:18)E(cid:7)(cid:27)WACEG:9/(cid:28)(cid:19)T9J?05(cid:27)EJ5)M<ACE(cid:8)9(cid:23):9AT7(cid:18).9B(cid:143)5(cid:18)8s9G/2,(cid:2)/_5(cid:24)Kj.95(cid:18)8^7(cid:18)5(cid:27)A@C(cid:12)5 y M·5(cid:18)EBAvB(cid:143)5H8(cid:157)9U/(cid:12)(cid:27)(cid:181)A(cid:128)9J? G ?0,680:(cid:14)9GEG,680/J*7,@9~A789K(cid:176)zd{s|(cid:20){6M9EGA6KCEG,6B(cid:2)/ 3RI 895 A’C(cid:12)9J?95X9JEU,#8</_*-, 9BAvAC80/(cid:23)?<,6/(cid:10),›/~A12H5(cid:142)9G?0, 9+B(cid:2),6:x5 A(cid:128)9(cid:7)Kj.0,#*4A‡C(cid:146)(cid:145)>,6/@I·5(cid:27)A789KtAv8W7(cid:30)*7.0:x5H:(cid:14),C/(cid:4),#8(cid:14),@MdM·5(cid:18)80:dAyR3 (cid:2)2.9E~A789KD9J?95 (cid:27)WACE~F;,(cid:144)*-,#89KC.0,#KC5.C A6E+/(cid:8)M·5)7(cid:27)A‡C(cid:146)(cid:145)TA789KDM0EJA(cid:157)M<5HE(cid:8)9BAv5g/(cid:23),#I·A6.d9.zd{s|(cid:20){YM9EGA6KCEG,6B(cid:143)/ ?0,C/›:x5H365H*vA(cid:157)M<5g: A68fi9J?05fi/~A7:x5H*(cid:128)A7895 3(cid:19)> Aj/ 9;[email protected]?95Yzd{s|(cid:20){ M9EGA6K6EU,#B(cid:2)/qM9EG5H/J5(cid:18)8s9G5H:fiA78fi9J?dA-/ EG5(cid:27)M·A6E~9 A78^7(cid:30)*7.0:x5(cid:143)/_.W7U?¤/(cid:8)M·5)7(cid:27)A‡¶+7(cid:18), 9BAvAC80/(cid:28)(cid:19)·,680: ,t¶<80,#*(cid:12)/_5l7 9BAvAC8 K’A7365g/(cid:23),(cid:144)KC5(cid:18)895HEG,6*{AC.(cid:20)9J*4Av805'A’C /J.^7U?>,(cid:143)/~M<5l7 A(cid:128)¶W7(cid:18),@9~A7A68>*7,689K6.0,6K65 3 =@?^A7/@*-,#89KC.0,#KC5 A-/@895;(cid:27)(cid:10)Av8(cid:176)9J?05+/J5(cid:18)8</_509J?<, 9(cid:181)A‡9(cid:181)A-/@I0,6/J5H: AC8‰*(cid:128)A7895H,6E 9G5(cid:18)BqM<ACEG,6*(cid:23)*7A6K(cid:157)A47 C ACEJB'.9*7,65(cid:14)9J?<, 9 7H,#8‰A(cid:20)7(cid:27)7(cid:18).9E>,68T(cid:145)bM9*-,’7(cid:18)5fi,ƒ/(cid:8)9G,@9J5(cid:18)B(cid:143)5H8(cid:157)9 7(cid:18),#8 A(cid:20)7(cid:27)7(cid:18).9E 3 1(cid:23)5(cid:18)8^7(cid:18)5%(cid:19)(cid:20)9G?95H/J50C A6EGB .9*-,#5.7(cid:18),68>I·5(cid:5):x5(cid:18)5)M9*4(cid:145)›5(cid:18)B'I<5g:9:x5g:DA78 zd{s|(cid:20){ 7(cid:30)Ax:x5(cid:5),680:>/J?9AC.9*7: 7(cid:18)A6EGEJ5g/(cid:8)M·A680:dAv89KC*(cid:128)(cid:145)>I<5qA78s9J5(cid:18)EBM9EG5 9U, 9J5g:(cid:21)A68 M0, 9G?0/(cid:10)A689*4(cid:145) 9J?0,@9+/(cid:8)9G,6E(cid:8)9+, 909J?95g/_5(cid:2)M<A(cid:157)Av8s9U/ +–,#80: 89A’9(cid:142)C EGA6B 9J?95>I<5HK’A7898dA789K¤A’C;9J?95 M9EGA6K6EU,#B 5 y 5)7(cid:18).(cid:20)9~A7A68(cid:145),C/LA-//9G?95 7H,6/J5qC A6E [+\d]‘_ ,/.(cid:10)0 C ACEJB'.9*7,65(cid:24)- 3WI C$7(cid:30)AC.9EU/_509J?05(cid:27)(cid:145) (cid:27)(cid:181)A7*v*{I<5.9GEG,680/_*-, 9G5H:D9JA [+\d]‘_ #/(cid:18),/.(cid:10)0XC ACEJB'.9*7,65 3 =@?95'EJ5)M<ACE(cid:8)92:9AT7(cid:18).9B(cid:143)5(cid:18)8s9G/(cid:7)(cid:27)WACE~F(cid:176)Av8 M9EJACK6EG5H/G/;(cid:19)9,680: :xA(cid:129)5g/ 7(cid:30).0EJEG5(cid:18)8s9J*4(cid:145)›80A@907(cid:18)Ad365HE(cid:23),#*7*{A’C z^{(cid:157)|(cid:20){ 3 « (cid:0) (cid:1)(cid:3)(cid:2) (cid:18)(cid:20)(cid:7)(cid:21)(cid:16)(cid:6)(cid:22)\(cid:10)(cid:8)(cid:9)(cid:17)(cid:16) (cid:22)6(cid:18)T(cid:9)¥(cid:18)(cid:5)(cid:4) (cid:7)(cid:7)(cid:6)(cid:9)(cid:8)(cid:11)(cid:10)(cid:13)(cid:12)(cid:15)(cid:14)L(cid:1)o(cid:16)(cid:17)(cid:16)E(cid:6) (cid:1)(cid:18)(cid:16)(cid:12)(cid:7) Efl5(cid:27)/_?0,6*v*(cid:137).</_5.9G?95.C A6*7*vAJ(cid:27)(cid:181)A789K%89A@9U, 9BAvAC8(cid:176)C ACE(cid:4)5(cid:18)8(cid:129).9B(cid:143)5(cid:18)EU, 9G5H:D9 (cid:145)TM<5g/;_ (cid:2)(cid:7)+(cid:5)(cid:29)^(cid:153) (cid:29)(cid:20)(cid:156)(cid:28)(cid:26)(cid:5)(cid:19)’(cid:153)^(cid:149)T(cid:149)(cid:21)(cid:20)(cid:20)(cid:149)*(cid:2)d(cid:136)(cid:3)(cid:2)d(cid:153)(cid:23)(cid:22)(cid:25)(cid:24)(cid:157)(cid:149) (cid:4)+(cid:149) (cid:29)^(cid:153)’(cid:138)d(cid:155)T(cid:153)s(cid:155)(cid:11)(cid:26)(cid:28)(cid:27)^(cid:136)^(cid:137) (cid:2)(cid:29)(cid:137))(cid:138)(cid:7)(cid:6)(cid:11)(cid:26)(cid:8)(cid:156)(cid:5)(cid:4)(cid:157)(cid:138)T(cid:138)d(cid:136)(cid:20)(cid:19)W(cid:148)(cid:157)(cid:153)(cid:29)(cid:26)8(cid:149)*(cid:2)(cid:28)(cid:26)*(cid:29)(cid:7)(cid:29)d(cid:153)s(cid:155)(cid:5)(cid:30) =@?dA-/(cid:5)(cid:27)(cid:181)A7*v*(cid:181)EG5(cid:27)M0EJ5g/_5H8(cid:157)9 9J?05.C A6*7*vAJ(cid:27)(cid:181)A789K(cid:143)B(cid:2),’7(cid:30)EGA(cid:143):x5 ¶08^A‡9BAvAC80/;_ (cid:31) (cid:155)(cid:20)(cid:153)(cid:5))+(cid:137))(cid:138)^(cid:153) (cid:29)(cid:20)(cid:156)(cid:28)(cid:26) (cid:19)@(cid:153)^(cid:149)T(cid:149)(cid:21)(cid:20)d(cid:149) (cid:2)d(cid:136)(cid:3)(cid:2)d(cid:153) (cid:19)(cid:8)+(cid:7)(cid:2)d(cid:153) (cid:31) (cid:155)(cid:20)(cid:153)(cid:5))+(cid:137))(cid:138)^(cid:153)(cid:10)(cid:149) (cid:4)(cid:29)(cid:149) (cid:29)d(cid:153)’(cid:138)d(cid:155)(cid:20)(cid:153)s(cid:155)"! (cid:31) (cid:155)(cid:20)(cid:153)(cid:5))+(cid:137))(cid:138)^(cid:153)#(cid:27)^(cid:136)W(cid:137) (cid:2)+(cid:137)l(cid:138)(cid:8)(cid:6) (cid:9) (cid:31) (cid:155)(cid:20)(cid:153)(cid:5))+(cid:137))(cid:138)^(cid:153)¤(cid:156)(cid:5)(cid:4)T(cid:138)T(cid:138)d(cid:136)(cid:27)(cid:19)W(cid:148)s(cid:153) (cid:11) (cid:31) (cid:155)(cid:20)(cid:153)(cid:5))+(cid:137))(cid:138)^(cid:153)(cid:10)(cid:149)*(cid:2)(cid:28)(cid:26)(cid:27)(cid:29)(cid:5)(cid:29)^(cid:153)s(cid:155) $ ·‡*-/JA(cid:31)(cid:19)X(cid:27)N5(cid:5)/_?0,6*v*(cid:181),C/J/J.9B(cid:143)5(cid:29)(cid:27)W5/7H,#8(cid:30)(cid:27)(cid:4)E~A(cid:128)9J5.9 (cid:145)TM·5(cid:5)5(cid:28)Kj.0, 9BAvAC80/NA@C$9J?95.C ACEJB _ (cid:2)(cid:7)+(cid:5)(cid:29)^(cid:153) (cid:136)(cid:157)(cid:156)T(cid:156)(cid:20)(cid:136)(cid:3)+ (cid:20)^(cid:137)l(cid:138)(cid:20)(cid:155)(cid:20)(cid:153)(cid:21)%"(cid:22) (cid:19)(cid:8)+(cid:7)(cid:2)(cid:20)(cid:153) I·5(cid:27)A789K(cid:2)B(cid:2),@MdM·5H: A78(cid:157)9GA(cid:31)_ (cid:31) (cid:155)(cid:20)(cid:153)(cid:5))+(cid:137))(cid:138)^(cid:153)J(cid:136)(cid:157)(cid:156)T(cid:156)d(cid:136)(cid:27)+ (cid:137)l(cid:138)d(cid:155)T(cid:153)(cid:21)% (cid:19)(cid:8)+(cid:7)(cid:2)d(cid:153) g (cid:0) (cid:13)(cid:144)(cid:5) (cid:1)o(cid:22)T(cid:22)s(cid:7)(cid:21)(cid:22)(cid:2)(cid:1)(cid:4)(cid:3)6(cid:3)(cid:6)(cid:5)s(cid:7)v(cid:8)+(cid:18)d(cid:22)†(cid:1)o(cid:16)(cid:7)(cid:4)(cid:8)(cid:7) (cid:7)R(cid:18)(cid:5)(cid:4) (cid:9)(cid:5)(cid:4) (cid:22) =@?95XM9EG5H/J5(cid:18)8s9G,@9~A7A68(cid:21)A@Co9G?95L9GEG,680/J*7,@9~A7A68 /B7U?95(cid:18)B(cid:143)5$(cid:27)(cid:181)A7*v*aI·5XA7*v*7.0/(cid:8)9JEU, 9G5H:(cid:14)IT(cid:145) 9JEU,#80/J*7,@9~A7A68(cid:21)A’C EG5H,6*(cid:21)7(cid:30)ACB(cid:2)M0*v5(cid:27)9J5(cid:142)zd{s|(cid:20){(cid:144)M9EGA6K6EU,#B(cid:2)/ 3 (cid:130)X8 9J?dA-/(cid:12)(cid:27)@,(cid:152)(cid:145) (cid:27)N5(cid:27)?9A(cid:157)M<5.9GA M9EGAd3sA-:x5(cid:27),(cid:143)B(cid:143)A6EG5L7(cid:30)ACBqM9*v5(cid:27)9J5 7(cid:18)A6BqM9EG5(cid:18)?95H80/(cid:8)A7A68>A@C$9J?95.9GEG,680/J*7,@9~A7A680/N895H5H:x5g:U(cid:19)(cid:20)9JA(cid:143)AC.9EG/J5(cid:18)*7365g/@,6/((cid:27)N5(cid:18)*7*(cid:181),6/ 9JAq9G?95(cid:5)EG5H,6:95(cid:18)E 3 hv<*(cid:23) O Q"cd–†›$kVS z^{s|T{ $.(cid:30) (cid:31)WeW(cid:30) cd– (cid:28)l(cid:31)(cid:144)p(cid:17)S (cid:140)(cid:19)(cid:30)(cid:152)c^(cid:26)&Ulk*c(cid:20)(cid:28)lST! ·Jzd{s|(cid:20){ 7(cid:30)*-,6/G/&A-/(cid:12)K65H895(cid:18)EU,#*7*4(cid:145)(cid:27)/(cid:8)M·5H,’FsA789K+:x5H/B7(cid:30)EBA7I<5g: IT(cid:145) ,280,#B(cid:143)5G(cid:19)#,(cid:10)/J5 9(cid:26)A’Cs:9,@9G,23d,#EBA7,6I9*v5g/;(cid:19)d, 7(cid:18)A680/(cid:8)9JEG.^7 9GA6E + B(cid:143)5 9G?9Ax:(cid:31)-(cid:21)9J?0,@9$A-/{5 y 5)7(cid:30).d9J5H: (cid:27)(cid:4)?95(cid:18)8%,#8(cid:27)ACI(cid:3)B]5)7 9&A-/(cid:4)7(cid:30)EG5H, 9G5H:U(cid:19)4,#8<:(cid:27), 7(cid:18)A6*7*v5l7 9~A7A68 A’C‡B%5(cid:27)9J?9Ax:9/ 3 (cid:131)WA68</(cid:8)A-:x5(cid:18)E(cid:142)9J?95 7(cid:30)ACBqM9*v5(cid:27)9J5(cid:14)zd{s|(cid:20){JM9EGA6KCEG,6B A78†¶0KC.9EG5 2 (cid:19))(cid:27)(cid:4)?dA7U?7(cid:27)N5>/J?0,#*7* 9GEG,680/_*-, 9G5(cid:6)A78s9JA [+\^]‘_ 3 =@?dA-/ M9EGA6KCEG,6B :x5(cid:27)¶0895g/(cid:181)¶0EU/ 92A@CF,#*7*£, 7(cid:18)*7,C/J/(cid:1)’(cid:20)(cid:153)(cid:157)(cid:156)(cid:29)(cid:137)*)(cid:5)+=(cid:19)(cid:3)(cid:27)(cid:4)?^A47U?(cid:21)I0,C/(cid:8)A7(cid:18),6*v*4(cid:145)$B].</ 9+:x5 ¶0805H/ 9G?95'B(cid:143)5(cid:27)9J?9Ax: (cid:136)^(cid:149)T(cid:149)’(cid:153)’(cid:156)(cid:7)(cid:2)(cid:15)(cid:19)X(cid:27)(cid:4)?dA7U?d(cid:27)(cid:4)?05(cid:18)8 7H,#*7*v5g:"(cid:27)(cid:181)A‡9G?fi,>/ 9GE~A789K7(cid:21)(cid:8)9t(cid:23)>,#80: , C ,#*-/_5%,#EGK6.9B(cid:143)5H8(cid:157)9 M9EBA78(cid:157)9U/;_d(cid:136)^(cid:149)T(cid:149)’(cid:153)’(cid:156)(cid:7)(cid:2)(cid:29)(cid:137)(cid:20)(cid:26)’(cid:138) (cid:2) (cid:19)(cid:20)(cid:156)(cid:8)(cid:26)(cid:10)(cid:9)d(cid:153)’(cid:138) 3 =@?95(cid:10)B(cid:143)5 9J?0A(cid:129):(cid:176)A-/N:95 ¶0895g:>,C/@/ 9U, 9~A72B%5g,#8dA789KX9J?0,@9(cid:19)9G?95 B(cid:143)5 9G?9Ax: 7(cid:18),#8(cid:14)I·5L7(cid:18),6*v*75H:(cid:30)(cid:27)(cid:181)A(cid:128)9J?9AC.(cid:20)9(cid:6)7(cid:30)EG5H,@9~A789K(cid:2),#8;A6I(cid:3)B]5l7 9‡A’C&9G?95(cid:142)7(cid:30)*-,6/G/ 3 Efi5(cid:27)/J?0,#*7*(cid:21)7H,#*7*(cid:29)9J?dA-/ B(cid:143)5 9G?9Ax:DA78 M9*-,’7(cid:30)5g/ (cid:27)(cid:4)?95(cid:18)EG5(cid:29)(cid:27)W5(cid:29)(cid:27)@,#8s9@,68;,C/J/J5(cid:18)E~9~A7A68 9JA(cid:143)I<5(cid:5)3C5(cid:18)EBA‡¶<5H: 3 K(cid:4).9808dAv80Kq9J?95(cid:5),#I·Ad365 M9EGA6KCEG,6B (cid:27)(cid:181)A7*v*TA78LC ,(cid:157)7 9 (cid:26)&(cid:31)W(cid:28) EG5H/J.9*(cid:128)9&A78L9J?^A7/(cid:12),6/G/J5(cid:18)E~9~A7A68.9JA(cid:10)I·5WI9EGA’FC5(cid:18)8 3 1‡5H8^7(cid:30)5G(cid:19))9G?95 M9EJACK6EU,#B A-//7(cid:30)ACEJEG5)7 9C(cid:27)(cid:181)A(cid:128)9J?‹EG5H/~M<5l7 9.9JA 9J?<, 9 ,6/G/J5(cid:18)E~9~A7A68&(cid:19)(cid:137),#8<: 9G?95 7(cid:30)ACEJEG5H/~M<AC80:(cid:20)A789K [(cid:29)\d]‘_ M9EJACK6EU,#B /J?9A6.0*7:D9J?95HEJ5(cid:27)C A6EG5 (cid:26)&ST((cid:146)(cid:28)lZ&Ss(cid:30) :95 9J5l7 9(cid:23),68>5HEJEGA6E 3 =@?95q7(cid:30)*-,6/G/ (cid:132) A78s9JEGA(cid:129):9.^7(cid:30)5g/2,›34,6E~A-,#I0*v5 %(cid:14),680:¤,›B(cid:143)5 9J?0A(cid:129): C A6E+.dMs:9, 9BAv80K(cid:176)A(cid:128)9 3 (cid:131)W*-,6/G/ (cid:132)T(cid:134) 5 y 9G5(cid:18)80:0/ (cid:132)„Is(cid:145) ,6:0:(cid:20)Av80K(cid:145),#89A’9J?95HE›3d,#EBA-,#I9*75 +(cid:15)(cid:19)W,(cid:176)B(cid:143)5 9G?9Ax:fiC A6E>.dMs:9, 9BAv89K†9J?0,@9(cid:28)(cid:19)@,#80:‰, B(cid:143)5 9G?9Ax:(cid:15)(cid:136)s(cid:155)T(cid:155)(cid:176)C A6E(cid:10).dM·:0, 9~A789K %(cid:21),6/(cid:9)(cid:27)W5H*v*(cid:26),6/ + 3 =@?05'5g/J/J5(cid:18)8s9~A-,#*(cid:4)7(cid:30)AC8s9J5(cid:18)8s9U/(cid:23)A’Co9J?dA-/(cid:10)B%5(cid:27)9J?9Ax: A-/ 9J?95L7H,#*7*7/(cid:28)_ (cid:136)(cid:157)(cid:155)T(cid:155)(cid:8)(cid:11)(cid:21)%(cid:12)(cid:11)~(cid:155) %(cid:14)(cid:13)(cid:16)(cid:15) (cid:136)(cid:157)(cid:155)T(cid:155)(cid:8)(cid:11)(cid:3)+(cid:12)(cid:11)~(cid:155)(cid:5)+(cid:14)(cid:13)(cid:16)(cid:15) =@?95/7(cid:18)A(cid:129):95(cid:27)/_.9EGEGA6.980:dAv89KX9J?05H/J5.9’(cid:27)WA(cid:143)/ 9U, 9G5(cid:18)B(cid:143)5(cid:18)8s9G/‡B(cid:143),’F65g/W.^M(cid:14), q P iAn(cid:5)TtP a Q ‘n ‘ P a(cid:31)_ (cid:137))(cid:138)(cid:8)(cid:2) (cid:26)(cid:20)(cid:148)(cid:157)(cid:155)(cid:5)(cid:20) % (cid:22) %(cid:17)(cid:15) (cid:137))(cid:138)(cid:8)(cid:2) (cid:26)(cid:20)(cid:148)(cid:157)(cid:155)(cid:5)(cid:20)(cid:27)+ (cid:22) +(cid:17)(cid:15) (cid:18)(cid:19)(cid:18)(cid:20)(cid:18) ’(cid:20)(cid:153)(cid:157)(cid:156)(cid:29)(cid:137)*)(cid:5)+ (cid:18) (cid:136)^(cid:149)T(cid:149)’(cid:153)’(cid:156)(cid:7)(cid:2)(cid:12)(cid:11)(cid:22)(cid:21) (cid:4)(cid:3)(cid:29)d(cid:155)(cid:20)(cid:136)(cid:20)(cid:2)d(cid:153)(cid:157)(cid:155)(cid:23)(cid:21) (cid:26) % (cid:22) (cid:22) (cid:26)(cid:20)(cid:148)(cid:157)(cid:155)(cid:5)(cid:20) %(cid:25)(cid:24)(cid:10)(cid:155) %(cid:27)(cid:26) + (cid:22) (cid:22) (cid:26)(cid:20)(cid:148)(cid:157)(cid:155)(cid:5)(cid:20)(cid:20)+(cid:25)(cid:24)(cid:10)(cid:155)(cid:5)+(cid:2)(cid:13)(cid:16)(cid:15) =@?0,@9 A-/;(cid:19)^9J?95 ,6. y Av*4A-,#EB(cid:145)(cid:144)3d,#EBA7,6I9*v5g/(cid:18)(cid:26)(cid:20)(cid:148)(cid:157)(cid:155) %(cid:14),#8<: (cid:26)(cid:20)(cid:148)(cid:157)(cid:155) +>,6EJ5/A78s9JEGAx:x.^7(cid:30)5g: 9JA(cid:2)?9AC*7: 9G?95 PMS1Q 3d,#*7.95g/@A@C$9J?95(cid:5).dMs:9,@9J5H:;3d,#EBA-,#I9*75H/ 3 w ~ (cid:0)(cid:2)(cid:1)(cid:4)(cid:3)(cid:4)(cid:5)(cid:4)(cid:5)(cid:7)(cid:6)(cid:9)(cid:8)(cid:2)(cid:10)(cid:12)(cid:11)(cid:14)(cid:13)(cid:4)(cid:15) ~ (cid:16)(cid:4)(cid:17)(cid:2)(cid:18)(cid:12)(cid:1)(cid:19)(cid:11)(cid:4)(cid:0)(cid:20)(cid:5)(cid:14)(cid:21)(cid:9)(cid:3)(cid:22)(cid:21)(cid:12)(cid:11)(cid:4)(cid:0)(cid:24)(cid:23)(cid:19)(cid:25)(cid:19)(cid:11)(cid:27)(cid:26)(cid:28)(cid:3)(cid:19)(cid:5)(cid:2)(cid:5)(cid:22)(cid:8)(cid:2)(cid:10)(cid:4)(cid:21)(cid:30)(cid:29) (cid:31)(cid:22)(cid:21)(cid:4)(cid:10)(cid:12)(cid:11)(cid:14)!(cid:4)"(cid:28)!(cid:9)(cid:3)$#%(cid:8)’&((cid:18)(cid:12)(cid:25)(cid:2)(cid:25)(cid:4)(cid:1)(cid:2)(cid:8)(cid:19)(cid:3)(cid:27)!)(cid:18)%* (cid:11)(cid:27)(cid:13)+(cid:29)(cid:9),-(cid:18)%*(cid:7)(cid:31)(cid:22)(cid:15)(cid:12)(cid:5)(cid:27)(cid:21)(cid:4)(cid:8).#0/ (cid:25)(cid:27)(cid:17)(cid:4)(cid:21)1/2(cid:16)(cid:19)(cid:10)(cid:12)(cid:11).!(cid:19)(cid:21)(cid:9)(cid:1)(cid:27)!1(cid:29)43.(cid:3)(cid:19)(cid:5)(cid:4)(cid:5)(cid:22)(cid:8)(cid:22)(cid:10)(cid:4)(cid:21)(cid:12)(cid:11)(cid:2)(cid:25)(cid:27)!5376(cid:24)!(cid:12)(cid:3)$#8(cid:8)(cid:20)6937(cid:18)(cid:4)(cid:10)(cid:9)(cid:25)(cid:14):(cid:12)(cid:8)(cid:22)!;3(cid:22)*=< (cid:131) (cid:131) ~ (cid:0)(cid:2)(cid:1)(cid:4)(cid:3)(cid:4)(cid:5)(cid:4)(cid:5)(cid:24)> (cid:16)(cid:4)(cid:17)(cid:2)(cid:18)(cid:12)(cid:1)(cid:19)(cid:11)(cid:4)(cid:0)(cid:20)(cid:11).!(cid:19)(cid:21)(cid:20)?(cid:30)< ~ (cid:131) (cid:16)(cid:4)(cid:17)(cid:2)(cid:18)(cid:12)(cid:1)(cid:19)(cid:11)(cid:4)(cid:0)(cid:7)>’(cid:29)@* ?(cid:28)A(cid:24)B’< ~ (cid:131) (cid:16)(cid:4)(cid:17)(cid:2)(cid:18)(cid:12)(cid:1)(cid:19)(cid:11)(cid:4)(cid:0)(cid:7)(cid:23)(cid:19)(cid:25)(cid:19)(cid:11)(cid:27)(cid:26)C(cid:3)(cid:22)(cid:26)(cid:4)(cid:26)(cid:19)D(cid:22)?(cid:30)(cid:29)E(cid:11)(cid:14)!(cid:4)(cid:21))(cid:26)%* ?(cid:20)AF?(cid:20)6F(cid:26)’< (cid:131) ~ (cid:0)(cid:2)(cid:1)(cid:4)(cid:3)(cid:4)(cid:5)(cid:4)(cid:5)(cid:24)>(cid:2)G)(cid:8)(cid:22)?(cid:4)(cid:21)(cid:19)(cid:8)(cid:22)!(cid:19)(cid:26)(cid:9)(cid:5)(cid:24)> (cid:16)(cid:4)(cid:17)(cid:2)(cid:18)(cid:12)(cid:1)(cid:19)(cid:11)(cid:4)(cid:0)(cid:20)(cid:11).!(cid:19)(cid:21)(cid:20)(cid:15)(cid:30)< ~ (cid:131) (cid:16)(cid:4)(cid:17)(cid:2)(cid:18)(cid:12)(cid:1)(cid:19)(cid:11)(cid:4)(cid:0)(cid:7)>(cid:22)G1(cid:29)@* (cid:15)(cid:28)A(cid:20)B’< ~ (cid:131) (cid:16)(cid:4)(cid:17)(cid:2)(cid:18)(cid:12)(cid:1)(cid:19)(cid:11)(cid:4)(cid:0)(cid:7)(cid:23)(cid:19)(cid:25)(cid:19)(cid:11)(cid:27)(cid:26)C(cid:3)(cid:22)(cid:26)(cid:4)(cid:26)(cid:19)D(cid:22)(cid:15)(cid:30)(cid:29)E(cid:11)(cid:14)!(cid:4)(cid:21))(cid:26)%* (cid:15)(cid:20)AF(cid:15)(cid:20)6F(cid:26)’< < ~ (cid:16)(cid:4)(cid:17)(cid:2)(cid:18)(cid:12)(cid:1)(cid:19)(cid:11)(cid:4)(cid:0)(cid:7)(cid:23)(cid:19)(cid:25)(cid:19)(cid:11)(cid:27)(cid:26)C(cid:3)(cid:22)(cid:26)(cid:4)(cid:26)’(cid:29)E(cid:11)(cid:14)!(cid:19)(cid:21)(cid:20)(cid:26)(cid:2)?(cid:30)&H(cid:11)(cid:14)!(cid:19)(cid:21)F(cid:26)(cid:4)(cid:15)%* (cid:11)(cid:14)!(cid:19)(cid:21)(cid:28)(cid:25)(cid:4)(cid:1)(cid:27)(cid:26)(cid:9)I(cid:22)?(cid:28)A(cid:24)?’< (cid:11)(cid:14)!(cid:19)(cid:21)(cid:28)(cid:25)(cid:4)(cid:1)(cid:27)(cid:26)(cid:9)I(cid:22)(cid:15)(cid:28)A(cid:24)(cid:15)’< (cid:3)(cid:22)(cid:26)(cid:4)(cid:26)(cid:9)D(cid:22)?’(cid:29)J(cid:26)(cid:4)?%*=< (cid:3)(cid:22)(cid:26)(cid:4)(cid:26)(cid:9)D(cid:22)(cid:15)’(cid:29)J(cid:26)(cid:4)(cid:15)%*=< (cid:6)(cid:9)(cid:8)(cid:2)(cid:10)(cid:12)(cid:11)(cid:27)(cid:13)(cid:2)(cid:15)1/ (cid:3)(cid:19)(cid:5)(cid:4)(cid:5)(cid:27)(cid:8)(cid:2)(cid:10)(cid:4)(cid:21)(cid:30)(cid:29)$3K(cid:17)(cid:4)(cid:16)(cid:19)(cid:26)(cid:9)(cid:3)(cid:22)(cid:21)(cid:4)(cid:8)(cid:2)(cid:26);3L&M?FA(cid:4)A)(cid:25)(cid:4)(cid:1)(cid:27)(cid:26)(cid:9)I(cid:22)?)6F(cid:26)(cid:2)?(cid:20)N (cid:15)FA(cid:4)A)(cid:25)(cid:4)(cid:1)(cid:27)(cid:26)(cid:9)I(cid:22)(cid:15))6F(cid:26)(cid:2)(cid:15)%*=< (cid:131) (cid:131) ~ (cid:0)(cid:2)(cid:1)(cid:4)(cid:3)(cid:4)(cid:5)(cid:4)(cid:5)(cid:7)O(cid:12)(cid:3)(cid:19)(cid:11)(cid:14)! ~ (cid:16)(cid:4)(cid:17)(cid:2)(cid:18)(cid:12)(cid:1)(cid:19)(cid:11)(cid:4)(cid:0)(cid:20)(cid:5)(cid:14)(cid:21)(cid:9)(cid:3)(cid:22)(cid:21)(cid:12)(cid:11)(cid:4)(cid:0)(cid:24)(cid:23)(cid:19)(cid:25)(cid:19)(cid:11)(cid:27)(cid:26)P#L(cid:3)(cid:4)(cid:11)(cid:14)!1(cid:29)Q(cid:31)(cid:22)(cid:21)(cid:2)(cid:10)(cid:12)(cid:11)(cid:14)!(cid:19)"SR-T9(cid:3)(cid:27)(cid:10)(cid:4)"(cid:12)(cid:5)(cid:9)* >(cid:2)G)?(cid:4)(cid:15))AP!(cid:9)(cid:8)(cid:22)U)>(cid:22)G1(cid:29)@*=< ?(cid:4)(cid:15)1/ (cid:3)(cid:22)(cid:26)(cid:2)(cid:26)(cid:30)(cid:29)JV(cid:30)&JV8*=< (cid:131) (cid:131) WYX[Z (cid:142)(cid:19)\(cid:129)(cid:142) (cid:146)#(cid:147)H(cid:148)d(cid:147)fi|CMWb'SG`CYHQ(cid:5)(cid:130)CklSN(cid:130)C[]fgm(cid:18)[_YHQ hv<N (cid:140)(cid:17)(cid:30) cd(cid:26)$U)kVc(cid:20)(cid:28))(V(cid:31)W(cid:26) hv<N&<*(cid:23) ] ST(cid:26)$Ss(cid:30)(cid:152)c^k(cid:19)(cid:24) !$STcdU =@?95(cid:10)K65(cid:18)805(cid:18)EU,#*(cid:29)M9EBAv8^7(cid:27)A(cid:128)M0*v5(cid:10)I<5H?dA780:(cid:176)9J?9509JEU,#8</_*-, 9BAvAC8DA-/(cid:17)9G?95.C A6*1(cid:25) *7AJ(cid:27)(cid:181)Av89K 3 ·}zd{s|(cid:20){(cid:144)7(cid:18)*7,C/J/(cid:23)I0,6/~A7(cid:18),#*7*4(cid:145)(cid:176)7(cid:30)AC80/~A7/(cid:8)9G/(cid:23)A@C Q c n cM^Jc Z ‘^c u:S1R:i ,#8<: N/R;n VXP(cid:24)Q i 3=[ A6E25H,’7U? 895(cid:28)(cid:27) 7(cid:18)EJ5g, 9~A7A68;A@C(cid:12),#8(cid:14)A6IXB]5)7 9(cid:24)(cid:19)9,(cid:143)895;(cid:27) /J5 9(cid:4)A@C(cid:26):9, 9U,%34,6E~A-,#I0*v5g/;(cid:19)9, Q c n c(cid:30)c ZtR cM(cid:19)dA-/‡,#*7*vA(cid:20)7H, 9J5g:U(cid:19) ,#8<:†9G?95(cid:21)B(cid:143)5 9J?0A(cid:129):0/(cid:143)A@C 9G?0, 9(cid:144)ACI(cid:3)B]5)7 94(cid:27)(cid:181)Av*7*;9J?95H8?(cid:27)WACE~F(cid:176)AC8b9G?dA7/(cid:143)805;(cid:27)(cid:4)*4(cid:145)(cid:145),#*7*vA(cid:20)7H, 9J5g:P,6EJ5g, 3 1‡5H8^7(cid:30)5G(cid:19)(cid:26), 9',68s(cid:145)YM·A’A78s9XA7869~A7B(cid:143)5;, /J5 9%A@C(cid:23):9,@9G,fi,#EG5H,6/$(cid:27)(cid:181)Av*7*W?<,4365(cid:144)I·5(cid:18)5H8(cid:145),#*7*vA(cid:20)7H, 9J5g:U(cid:19)aA6895 C A6E25H,(cid:157)7U?(cid:21)A6I(cid:3)B]5l7 9(cid:23)89A’92Kj,#EGI0,#KC5.7(cid:18)A6*7*v5l7 9G5H: 3 Efi5%/_?0,6*v*&Av8 C ,’7 9(cid:10)89A@9(cid:10),6/G/_.9B(cid:143)5 ,68T(cid:145)>Kj,#EGI0,#KC5 7(cid:30)AC*v*75)7 9~A7A68¤,@9(cid:10),6*v* 3 Efl5(cid:143)/_?0,6*v*aB(cid:143)Ax:x5(cid:18)*$9J?05'/J5 9+A@CR:9,@9G,›,6EJ5g,6/(cid:23)A@CR,D7(cid:18)*7,C/J/(cid:23)IT(cid:145)(cid:14),68¤,#EGEU,(cid:152)(cid:145)›A@C EG5)7(cid:30)ACEG:0/(cid:5)+‘9 (cid:145)TM<5g:x5 C(cid:28)#/(cid:17)Av8 [+\^]‘_ 9G5(cid:18)EGBqAv89AC*vACK’(cid:145)X-A(cid:19)6A6895(cid:4)EG5)7(cid:18)A6EU:/C A6ER5H,’7U?(cid:2):9,@9G,+,#EG5H, 3 ·‡8tA780:x5 y (cid:127) 3d,#EBA-,#I9*75(cid:7)(cid:27)(cid:181)A7*v*(cid:29)M·A’A78s9(cid:19)9GAL9J?052895 y 9(cid:19)C EG5(cid:18)5(cid:10)EJ5l7(cid:30)ACEG:qA78 9G?95(cid:10),6EJEU,(cid:152)(cid:145)%(cid:19)(cid:157)Av8^A‡9BA7,6*v*4(cid:145)(cid:2)?0,43TAv80KL9J?0523d,#*7.95 (cid:133) +‘¶<EG/(cid:8)9‡EJ5l7(cid:30)ACEG:DAv8 9J?05(cid:27),#EGEG,(cid:152)(cid:145)X- 3T> 5(cid:27)9J?9Ax:9/‡,6EJ5+B(cid:2),@M^M<5g:DA78s9JA(cid:2)B(cid:2),’7(cid:18)EJAj/ 3 N5 C ACEJ55(cid:27)W5'K6A 9G?95X9JEU,#80/J*7,@9~A7A68(cid:21)A’CR5H,(cid:157)7U? 7(cid:30)*-,6/G/;(cid:19)s,tC 5(cid:28)(cid:27) 9 (cid:145)TM<5g/2805(cid:18)5H:0/ 9GA›I·5%:x5(cid:27)¶0895g:U(cid:19) (cid:0) /J5(cid:18)50¶0KC.9EJ5 <d3 (cid:21)(cid:4)(cid:15)(cid:2)(cid:16)(cid:9)(cid:8) (cid:1) !(cid:4)(cid:26)(cid:19)(cid:8)(cid:2)?(cid:28)A(cid:7)(cid:18)(cid:4)(cid:15)(cid:4)(cid:21)(cid:19)(cid:8)’& ~ (cid:131) (cid:2) (cid:1)(cid:2)(cid:3)(cid:19)(cid:5)(cid:4)(cid:5)(cid:4)(cid:3)(cid:12)(cid:3)4#%(cid:8)(cid:28)A >’&J>(cid:2)G1& O(cid:9)(cid:3)(cid:19)(cid:11)(cid:14)! (cid:21)(cid:4)(cid:15)(cid:2)(cid:16)(cid:9)(cid:8)(cid:22)(cid:26)(cid:19)(cid:8)(cid:2)(cid:13) ~ (cid:131) (cid:5) (cid:18)(cid:7)(cid:6)(cid:9)(cid:8)(cid:9)(cid:8)(cid:2)(cid:13) (cid:2) (cid:1)(cid:4)(cid:3)(cid:19)(cid:5)(cid:2)(cid:5)(cid:4)(cid:3)(cid:12)(cid:3)$#%(cid:8)9(cid:0)(cid:2)(cid:1)(cid:4)(cid:3)(cid:4)(cid:5)(cid:4)(cid:5) < (cid:1) !(cid:19)(cid:26)(cid:4)(cid:8)(cid:2)?C(cid:11)(cid:14)!(cid:19)(cid:26)(cid:4)(cid:8)(cid:2)? < WYX[Z (cid:142)(cid:11)(cid:10)0(cid:142) (cid:158)(cid:129)(cid:159)6(cid:160)7¡(cid:14)|jO6fgQ(cid:5)SN¥(cid:129)YHTXno\(cid:4)c(cid:156)(cid:133)6(cid:130)xSUT =@?95L9 (cid:145)sM·5X(cid:147)d(cid:148)s(cid:136)^(cid:149)T(cid:149)(cid:152)(cid:150)d(cid:136)(cid:152)(cid:151)(cid:29)(cid:153)(cid:2)A7/2,#8(cid:21)5H8j.0B%5HEG,@9J5g: 9 (cid:145)sM·5(cid:142)7(cid:18)A68s9G,’Av8dA789Kt9G?95 8<,#B(cid:143)5H/(cid:23)A@CF,#*7*&7(cid:18)*7,C/J/J5H/ :x5(cid:27)¶0895g:(cid:176)A78 9J?05(cid:142)zd{s|(cid:20){(cid:15)M0EJACK6EU,#B 3 =@?95.9 (cid:145)TM<5 (cid:17)(cid:20)(cid:19)(cid:22)(cid:21)(cid:13)(cid:12)(cid:20)(cid:153)(cid:5))(cid:143)EG5(cid:27)M9EG5H/J5(cid:18)8s9U/@A6I(cid:3)B]5l7 9‡EG5 C 5(cid:18)EG5(cid:18)8W7(cid:30)5H/(cid:28)_9,#8 ACI(cid:3)B]5)7 9(cid:144)EJ5(cid:27)C 5(cid:18)EG5(cid:18)8^7(cid:18)5 A-/(cid:144),YM0,’AvE 7(cid:18)A680/~A-/ 9BAv89K(cid:176)A’C+,67(cid:18)*7,C/J/(cid:28)(cid:19)F,#8<:„,68fiAv80:95 y M·A’A78s9~A789KY9JAY9G?95 M·AC/~A‡9BAvAC8 Av8 9G?95 ,#EGEU,(cid:152)(cid:145)(cid:2)?9A6*-:(cid:20)A789Kq9J?95X7(cid:30)A6EGEG5H/~M<AC80:(cid:20)A789K%:0, 9G,(cid:2),6EJ5g, 3 =((cid:27)NA(cid:2)B(cid:143)A6EG5L7(cid:30)A68</ 9U,#8s9G/ ,6EJ5(cid:10)895(cid:18)5g:x5H:&(cid:19)0,6/(cid:4):x5(cid:27)¶0895g:(cid:176)A78 ¶0K6.0EJ5 Hd3 (cid:14) (cid:26)(cid:19)(cid:8)(cid:2)(cid:13)(cid:9)(cid:11)(cid:14)!(cid:9)(cid:8)F(cid:17)(cid:4)!(cid:19)(cid:26)(cid:4)(cid:8)(cid:2)(cid:13)(cid:12)(cid:11)(cid:14)!(cid:9)(cid:8)(cid:22)(cid:26)(cid:28)B (cid:14) (cid:26)(cid:19)(cid:8)(cid:2)(cid:13)(cid:9)(cid:11)(cid:14)!(cid:9)(cid:8)FO(cid:16)(cid:15)(cid:4)>(cid:18)(cid:17) W XZ (cid:142)(cid:9)(cid:19)0(cid:142) (cid:158)(cid:129)(cid:159)C(cid:160)v¡;|(cid:129)M(cid:145)\Ufg(cid:128)C(cid:130)jkoS(cid:4)fHus\UfgbCT⁄c_YHbdc]T =@?95;7(cid:30)AC80/(cid:8)9G,#8s92(cid:4)s(cid:138)d(cid:155)(cid:20)(cid:153)(cid:5))+(cid:137))(cid:138)^(cid:153)s(cid:155)(cid:181)A-/a.0/_5g:/9GA(cid:10):x5H89A@9G5N,L(cid:21)J:xAC8&#9(cid:4)7H,#EG5(cid:28)(cid:23)(cid:4)3d,#*7.95N.0/J5H:LA78(cid:142)M<,#E~9~A7(cid:30).9*-,#E 7(cid:18)A68s9J5 y 9U/ 3 =@?95(cid:2)7(cid:30)A68</ 9U,#8s9(cid:6)(cid:135)T(cid:154)T(cid:132)(cid:21):x5(cid:18)89A’9J5g/ 9G?95'B(cid:2), y A7B .0B 8(cid:129).9B'I<5HE+A@CFA6IXB]5)7 9U/2,6*v*7A(cid:20)7(cid:18),@9J5H: C ACE(cid:23)5H,(cid:157)7U? 7(cid:30)*-,6/G/;(cid:19)<?95(cid:18)8W7(cid:30)5L9G?95'/~AF2(cid:18)5(cid:27)A’Co9J?95%,#EGEG,(cid:152)(cid:145)x/ 3 !‡AJ(cid:27) 9JA 9J?95(cid:142)9JEU,#80/J*7,@9~A7A68(cid:21)A’Co9J?95(cid:142)9J?9EG5(cid:18)5 7(cid:18)*7,C/J/J5H/ 3 Efi5.9GEG,680/_*-, 9G5/7(cid:30)*-,6/G/(cid:19)(cid:132)D¶0EU/ 9(cid:24)(cid:19)9,6/(cid:4)/J?9AJ(cid:27)(cid:4)8(cid:176)A78 ¶0K6.0EJ5 1 3 hv<N&<N (cid:140)(cid:17)(cid:30) cd(cid:26)$U)kVc(cid:20)(cid:28))(V(cid:31)W(cid:26) (cid:31)W§.i(cid:142)kVcdUlU (cid:132) [ AvEU/(cid:8)9(cid:28)(cid:19)0, (cid:2)(cid:7)+(cid:5)(cid:29)^(cid:153)s(cid:155)T(cid:153)(cid:5))(cid:143):x5l7(cid:30)*-,#EU, 9~A7A68(cid:21):x5(cid:27)¶0895g/;9J?95(cid:142)9 (cid:145)TM<5 (cid:132) (cid:147)d(cid:148)s(cid:136)^(cid:149)s(cid:149)(cid:144)A’C (cid:132)(cid:15)#/(cid:27):9,@9G,(cid:21),#EG5H,(cid:31)(cid:19)\B].0/ 9(cid:2)7(cid:30)A68s9U,@A78dAv80K(cid:14),(cid:21)/~A789K6*75tAv8s9G5(cid:18)K65HE(cid:5)3d,#EBA7,6I9*v5 % 3 ·(cid:23)8ƒ,#EGEG,(cid:152)(cid:145) (cid:132) (cid:17)(cid:20)(cid:19)(cid:22)(cid:21)(cid:14)A@C;9G?95H/J5(cid:2)EJ5l7(cid:30)ACEG:9/.A-/(cid:27):x5(cid:27)¶0895g:(cid:144)9JA6KC5 9G?95(cid:18)E$(cid:27)(cid:181)A(cid:128)9J?ƒ,(cid:14)3d,6E~A-,#I9*75q(cid:132) (cid:150)d(cid:153) %(cid:7)(cid:2)(cid:15)(cid:19)(cid:29)9J?<, 9',@9',#8T(cid:145) M·A’A78s9qA78?9~A7B%5 M·A’A78s9G/(cid:2)9JA(cid:144)9G?95(cid:14)895 y 9qC EJ5H5(cid:14)EJ5l7(cid:30)A6EU:Y9GAflI·5(cid:21),#*7*vA(cid:20)7H, 9J5g:ƒAC8„,fi895;(cid:27) A6I(cid:3)B]5l7 9 7(cid:18)EJ5g, 9~A7A68 3 =@?95H8(cid:176)C AC*v*7AJ(cid:27)‡/@,q7(cid:30)A6.^M9*v5+A’C£B(cid:2),’7(cid:18)EJAj/(cid:19)(cid:132) (cid:6)d(cid:153)(cid:3)(cid:2) %›,#8<:D(cid:132) (cid:149)’(cid:153)(cid:3)(cid:2) %tC A6E(cid:4),’7)7(cid:30)5g/J/~Av80K(cid:142)9G?95(cid:5)3d,#EBAD(cid:25) ,6I9*v5 % +‘9J?05(cid:18)EG5fl,6EJ5(cid:14)9’(cid:27)NAP/J.^7U? B(cid:143),(cid:157)7(cid:30)EGAC/ C A6E;5H,’7U?‰3d,6E~A-,#I9*75(cid:24)- 3 =@?05H/J5fiB(cid:2),’7(cid:18)EJAj/t9U,@F65fi,6/ M0,6EG,6B(cid:143)5 9J5HE',68ƒA6I(cid:3)B]5l7 9qA7:95(cid:18)8s9~A(cid:128)¶W7(cid:18),@9~A7A68ƒA’C 9 (cid:145)TM<55(cid:17)(cid:20)(cid:19)(cid:22)(cid:21)(cid:20)(cid:12)d(cid:153)(cid:5)) 3 =@?95(cid:176)A7:x5g,¤?05(cid:18)EG5DA-/;(cid:19)&9J?0,@9X9G?95 B(cid:143)5 9G?9Ax:9/;7(cid:18),6*v*W9J?95g/_5(cid:6)9’(cid:27)NA B(cid:2),’7(cid:18)EJAj/oC A6E@,’7)7(cid:30)5g/J/~Av80KL9J?0523d,#EBA-,#I9*75(cid:17)% 3 ·(cid:23)/;7(cid:18),68(cid:144)I<5(cid:5)/J5(cid:18)5H8tC EJACB 2)(cid:133)

Description:
Java to the Promela, the "programming language" of the Spin model . 7.1.1 M ore abou t Sp e cifying Pro p er ties . 7.1.3 M ore A bou t t he Sp e cific a tion .
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.