An algorithm for safely stopping a component system

Texte intégral

(1)An algorithm for safely stopping a component system Ludovic Henrio, Marcela Rivera. To cite this version: Ludovic Henrio, Marcela Rivera. An algorithm for safely stopping a component system. [Research Report] RR-6444, INRIA. 2008, pp.18. �inria-00239449v2�. HAL Id: inria-00239449 https://hal.inria.fr/inria-00239449v2 Submitted on 7 Feb 2008. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. An algorithm for safely stopping a component system Ludovic Henrio — Marcela Rivera. N° 6444 Janvier 2008. ISSN 0249-6399. apport de recherche. ISRN INRIA/RR--6444--FR+ENG. Thème COM.

(3)

(4)

(5)

(6)

(7) !!"# $%& '()*+ ,-/./0213547698;:/<=350 >@?BA <C4;8ED AGF 3H1I8;< A JLKNMPORQ$STVUXWY[Z2\^]_MPORQ=\+àbORO cNdNef`PgbdE]h\ ikj_aml^Q]VTVgb\nef\ o+gbpNpqabjn]r2Q

(8) j_Q=`hKNQPjh`_KsQtdqu/vmwEwbwxWzy;gmd[{[e|Q=j+}m~b~E

(9) WC$psgbbQC\ ∗. ∗. 9 =PNbb JLKse\ jnQ=pqabjn]pNj_abpqaE\nQ=\gmdGgmbaEjne|]nKsOXabj$\_gQ=|Z\^]_abpNpNedN7g\css\Z2\]nQ=Oam+g`PabO' qp aEdNQPdE]*gb\_\Q=O N|ZEUabj_Q9pNjnQCèf\Q=|ZEe]*\ngmQPZ\^]_abps\'g7`PabORpqabdsQPdE]RgmdrGgb|e|]_\R\cNI`PabORpqabdsQPdE]h\ edgr2ef\]nj_e|NcN]nQ=rgmdrxKNe|Q=j_gbj_`hKNef`PgmkàEORpqabdNQ=dE]ORa2r2Q=TcNj àbORpqabdsQPdE]h\gmj_Q*r2ef\^]_j_e|Nc2]_Q=r/gbc2 ]_abdNaEO'aEcs\=;gbdsr9àbORO cNdse`=g]nedN'gb\nZ[ds`_KsjnaEdNabcs\n|ZbJLK[cs\P2abdNQam)]nKsQEjnQCg]`_Kgm|Q=dNbQC\#gbrNr2j_Q=\_\nQ=r [Z]nKse\/jnQ=pqabjn]ef\]na\nZ[ds`hKNjnaEdNe| =Qk]_KNaE\nQLàbORpqaEdNQPdE]h\rNcNjnedNg¡pNj_a2`PQ=\n\¢KNef`_K$ed;{baE|{EQ=\]nKsQPejr2Q=gE` ]_e|{mg]neabdJLKNef\gb|Eabj_e]_KNO£KsgE\/qQPQPdRpNj_am]nab]¤Z[pqQCr$gmdsr'Q¥2pqQPj_e|ORQPd;]nQCr$abdRgr2ef\^]_jneNc2]_Q=rRàEO'pqaEdNQPd;] QP¥2gbORpN|QEJLKNef\Lj_QPpqaEj]+gmf\aRrNQ=\_`jneqQ=\]_KNQ

(10) ORgbe|dpNjnaEpqQPjn]neQ=\ababcNj+gb|Eabj_e]_KNOX¦Hqam]nKàEjnj_Q=`]ndNQC\n\ gbdsr9]nQ=jnORedsg]_e|aEd§gmdr e]h\jnQCËcse|j_QPORQPd;]_\Labd ]_KNQàbORpqaEdNQPd;]+\Z2\]nQ=O©]_aRqQ

(11) \]naEpNpqQ=r) ª«;¬In®$¯ ±° E àEO'pqaEdNQPd;]=s\Z[ds`hKNj_abdNe =gm]neabd)2r2ef\^]_jneNc2]_e|aEd)NjnQCàbdN²sbcNjhg]neabd. ∗. ³´µ³·¶@¸b¹Pº»±¼±½¿¾¶ÀÁ5½Â»mºÃÂ½ÂÄ¸±ÅÀ±½ ÆÇ^ÈÄ½ Á5ÉÊ±Çk´½ÂË^ÇÌ+³Í¹ÌÎ´µ¹. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex (France) Téléphone : +33 4 92 38 77 77 — Télécopie : +33 4 92 38 77 65.

(12)

(13) ^

(14) (& R) +

(15) "# $%& ' S#Q

(16) jhgmpNpqabjn]+r2Q

(17) j_Q=`hKNQPjh`_KsQpNjC\Q=dE]_QcNdgmbaEjne|]nKsO'QpqQPj_ORQ]]hgmd;]¡r gmj_j]nQ=j\Nj_QPORQPdE] cNdx\nZ2\^]_MPORQ'r2QRàEO'pqa;\ngbdE]h\Pikcs\VpNj =`Pe\ PORQPd;]=)`QP]

(18) gmbabj_e|]nKNORQ$gmj_j P]nQ$r cNdNQ'Hgme abd²gbNQ$cNd `PabORpqaE\_gmdE]Q]]_abcs\+\QC\\aEcs\^¤àEORpqaE\ngmdE]h\LrNgmds\cNdO'aNr2MPQ R`PabORpqaE\_gmd;]_\Lr2ef\]nj_e|Ncse C\LQ]+Kse =j_gbj `hKNefËcsQbkS#Q¡jhgmpNpqaEj]@r C`j_e]gmcs\_\nes|QC\kpsjnedsèpsgmQ=\kpsjnaEpNe P] C\@r2Q+ gmbaEjne|]nKNORQQP]#|QC\@`Pabdsr2e|]_e|aEds\@\ncNj Q

(19) \nZ2\^]_MPORQ RàEO'pqa;\ngbdE]LpqQ=jnORQP]]_gbdE]+! gmj_j ]= "t¯ = $ # àbORpqa;\ngbdE]=N\Z[ds`hKNj_abdNef\_g]neabd[r2ef\]nj_e|NcN]neabd)Nj_Q=àEd2²sbcsj_g]_e|abd.

(20)

(21) . '$ ° b ¯ = ¯ 9« #H2 « "° ! ¯ $#) &(' )

(22) « *,+ « Cm) .- ¯ T[l^QC`]ne{bQ=\9

(23)

(24)

(25)

(26)

(27)

(28)

(29)

(30)

(31)

(32)

(33)

(34)

(35)

(36)

(37)

(38)

(39)

(40) Â} ikjneds`Pe|pNQ=\(

(41)

(42)

(43)

(44)

(45)

(46)

(47)

(48)

(49)

(50)

(51)

(52)

(53)

(54)

(55)

(56)

(57)

(58) oQ=¨;cNejnQ=ORQPdE]h\

(59)

(60)

(61)

(62)

(63)

(64)

(65)

(66)

(67)

(68)

(69)

(70)

(71)

(72)

(73)

(74)

(75) #21 ¯ $ H 3 +« =b) .- ¯ ws Ugb\]nQ=j

(76)

(77)

(78)

(79)

(80)

(81)

(82)

(83)

(84)

(85)

(86)

(87)

(88)

(89)

(90)

(91)

(92)

(93)

(94) wsÂ} 6Y[cNIàEO'pqaEdNQPd;]_\7

(95)

(96)

(97)

(98)

(99)

(100)

(101)

(102)

(103)

(104)

(105)

(106)

(107)

(108)

(109)

(110) ws babj_e|]nKNO Y2Z;d`_KNj_abdse| Cg]neabd

(111)

(112)

(113)

(114)

(115)

(116)

(117)

(118)

(119)

(120)

(121)

(122)

(123) ws w ikjnQ={bQPd;]nedN8 7Q=gbrN|a2` 92;\ :]_KNQoQ QPdE]_jhgmdE]+oQC¨;cNQ=\]_\+UQ=`hKsgmdNef\nO

(124)

(125)

(126)

(127) ws= < Y;]naEpNpNedN Y[Q={bQPjhgmS#abORpqabdNQ=dE]_\

(128)

(129)

(130)

(131)

(132)

(133)

(134)

(135)

(136)

(137)

(138)

(139) ws v >+abdKNe|Q=j_gbj_`hKNef`PgbI\nZ2\^]_QPO*\

(140)

(141)

(142)

(143)

(144)

(145)

(146)

(147)

(148)

(149)

(150)

(151)

(152)

(153)

(154) %@? ¯ - « CA « ¯ * A 3 « #21 ¯ ) A 3 <2 S#abORpqabdNQ=dE]h\gmj_Q

(155) Y;]_abpNpqQ=redg*Y2gmQY;]hg]_Qx

(156)

(157)

(158)

(159)

(160)

(161)

(162)

(163)

(164)

(165) <2Â} JQ=jnORedsg]_e|aEd am]nKNQ 6 baEjne|]_KNO

(166)

(167)

(168)

(169)

(170)

(171)

(172)

(173)

(174)

(175)

(176)

(177) /( C- # « « =N ¯ vNE DSGU F±ikj_a 6 `]_e{bQ

(178)

(179)

(180)

(181)

(182)

(183)

(184)

(185)

(186)

(187)

(188)

(189)

(190)

(191)

(192)

(193) vNÂ( } Hk{gb|csgm]neabd

(194)

(195)

(196) 6

(197)

(198)

(199)

(200)

(201)

(202)

(203)

(204)

(205)

(206)

(207)

(208)

(209)

(210)

(211) vNÂ}2 i/QPjnabj_ORgbds`Q dsgb|Z2\ne\

(212)

(213)

(214)

(215)

(216)

(217)

(218)

(219)

(220)

(221)

(222)

(223) ° L « ! ¯ $ #) IKJ ¯ # A ¯ M. . . µµ ÀONQPRSRSR. % /. v 0. 4. 5. =~ =~ b C} C} B&. .

(224) . Pw P w. A< B/.

(225) w. ; S2 ) . ' "@ JLKNef\'j_QPpqabjn]'e\*\e|]ncsgm]nQCr e|d ]_KNQàbd;]nQP¥;]RabrNe\]nj_e|sc2]nQCr àEO'pqaEdNQPd;]RpNjnaEbjhgmO'ORedNskgbdsr O'aEjnQ psgbj]_e`PcNfgmj_|Ze]k\nab{bQ=\]_KNQpsjnaEN|Q=O£amq\]nabpspNe|dsVgpqabjn]neabd abgKNeQPjhgmjh`_Kse`=gm;`PabORpqabdsQPdE]gE\n\nQPO NZ ed ]_6KNQ`PgE\Qam/r2ef\]nj_e|NcN]nQ=rgmcN]nabdsabORabcs\L`PabORpqabdsQPdE]h\P \#cNdr2QPj_|edNQCr e| d

(226) 55[O*gbe|d;]_gmedNedN edE]_QPEjne|]^ZRrNcNjnedN$jnQCàbdN²sbcNjhg]neabd gmdsr9gbrsgmp2]hg]neabd ef\`j_c2 `Pegb Uabj_QpNj_Q=èf\nQPZb#ed aEj_r2Q=j']_aqQj_Q=`Pabd2²bcNj_Q=rg`PabORpqabdNQ=dE]9gb\_\Q=O N|Z \KsabcNfr j_Q=gE`_K g \]_gm]nQ'¢KNQ=jnQRàEO'pqaEdNQPd;]_\gmj_Q'\]naEpNpqQ=rgmdr&àbd\efr2QPj_Q=r7gE\QCgb\ne|ZjnQCàbdN²sbcNjhgmNQbJLKse\jnQ=pqabjn] pNj_abpqa;\QC\Vg`_Ksgbj_gE`]_QPj_e| Cg±]_eabd7amL\^]hg]_Q=\¢KNQPj_QRjnQCàbdN²sbcNjhg]neabd7ef\Q=gE\ZE]naEbQ]_KNQPj

(227) ¢e]_Kgbdxgb|Eam j_e]_KNO ]_a

(228) j_Q=gb`hK'e|]@¢KNe|Q¡\]nabpspNe|dNgàbORpqabdsQPdE]#\cN\Z2\]nQPOY[cs`hK gbQ=dNQPjhgmN\]naEpNpNedNgmbaEjne|]nKNO ]_abbQP]nKNQ=j#¢e|]nK j_Q=àEd2²sEcNj_g]_e|aEd*pNjneORe]_e{bQ=\#¢eqpNj_a{;efr2QVgmc2]_abdNaEO'aEcs\#gbrsgmp2]hg]neabd9`=gmpsgbNe|e|]neQ=\@]na r2ef\]nj_e|NcN]nQ=ràEORpqabdNQPd;]+\nZ2\^]_QPO*\P )a[a;\QPZ9`PabcNps|QCràEO'pqaEdNQPd;]+ORa2r2Q=\¡gmj_QORaEjnQgbrNgbp2]nQCr ]na9r2ef\^]_jneNc2]_e|aEdpscNjnpqa;\QC\P ¤dr2QPQCr a[aE\nQ `PabcNpNedNjnQCr2cs`PQ=\

(229) ]_KNQ9eO'psgE`]$am+gm]nQ=ds`ZE/gbdsreO'e|]_\ ]nKNQ e|d;]nQPj_Q=g±{;edNqQ]^¢#QPQ=dG`PabORpqam dNQ=dE]h;\ :&Q=gE`_K `PabORpqabdsQPdE]9e\ j_Q=\npqabds\neN|Qabj9e]h\ a¢d \^]hg]_Qb Uabj_QPa{bQPj=|a[a;\QàEcNpNe|dN gm|a¢ gbc2]naEdNabORefÒ*gmdsgbbQ=O'Q=dE]kam`PabORpqabdsQPdE]h\P/JLKsg]@ef\¢K;Z$¢QL]nKse|d 9$]nKsgm]#g

(230) r2ef\^]_jneNc2]_Q=r*àEO'pqaEdNQPd;] \nZ2\^]_QPO \nKNabcNfrjnQ=|Z&abdj_QPfg]ne{bQPZ&gbc2]naEdNabORaEcs\

(231) `PabORpqabdsQPdE]$`PabORO cNdNef`Pg]_edN[ZxgE\Z[ds`hKNj_abdNabc\ `PabORO cNdNef`Pg]_eabds\=Lgbdsr dsam] \nKsgmj_e|dNGgmd;Z ORQPORaEjnZEBJaeds`j_Q=gb\nQ]_KNQpsjnaEbjhgORO*gmNee]^ZGabV]_KNQ ORa2r2Q=)¢#QRdNQPQ=rxg ORQ=`hKsgmdNef\nOXgb|a¢e|dN9]_KNQRpNj_abbjhgmORO'Q=j¡]naBcs\Q' ]n KNQRj_Q=\ncN]h\VamgE\Z[ds`hKNj_abdNabc\ `=gm\L¢e|]nKNaEc2]]_KNQ

(232) NcNjhr2QPdam`Pgm|5sgE` 92\= xQ\ncNbEQ=\]]na*cs\nQ abjL]_KNef\pNcNj_pqaE\nQ :g'c2]ncNj_Q

(233) =v2 <ef\gmd7efr2QPd;]ne|²sQPj .¦ 9[e|dr7am@Q=O'pN]¤Zab2l^Q=`]h§+]_Ksg]j_QPpsjnQC\QPd;]]nKNQ'j_Q=\ncN|]Vamgmd&gE\Z[ds`hKNj_abdNabc\ ORQ]_KNa2r`=gm\]nKsgm]Ksgb\LdNab]qQPQPd`=gmf`cNfg]_Q=r9ZbQP]= xQ

(234) àEds\ner2Q=j ¤²sjh\]`fgb\_\#c2]_cNjnQC\ V]nKsgm]+`Pgbd qQ ]_j_gbds\ORe|]]_Q=r qQP]¤¢#Q=QPdpNj_a2`Q=\_\nQ=\= JaG\ncNO'5cNpL¢#QàEds\ner2Q=j gàEORpqabdNQ=dE] ORa2r2Q=]_Ksg] \Q=psgmjhg]_Q=\']nKNQ7àEORpqabdNQ=dE]_\*edE]_aGgbc2 ]_abdNaEO'aEcs\=gmdrj_QPfg]_e|{bQ=|Za[aE\nQPZ

(235) àbcspN|QCrQ=dE]ne|]neQ=\=/JLK;cs\=mabcNj/gb|Eabj_e]_KNO jnQ=|eQ=\abd]_KNQ#aE|a±¢edN gE\n\ncNORp2]neabd\j_QPfg]_e|{bQ=|Z*]naR]nKNQàEORpqabdNQ=dE]ORa2r2Q= : ! S#aEO'pqaEdNQPd;]_\r2a$dNab]L\Kgmj_Q¡O'Q=ORabj_Zb[gmdrR]_KNQPj_Qef\#dNa'\nKsgmj_Q=r àEORpqabdNQPd;]=[e5 QEàEO'pqaEdNQPd;] KNeQPjhgmjh`hK;Z*ef\g$]_jnQ=Qb ! S#aEO'pqaEdNQPd;]_\àEORO cNdNef`Pg]_Q#;Zgb\nZ[ds`hKNjnaEdNabcs\ " Q S# ¢KNef`_K'`Pgmd qQjnQ=O'ab]nQ#O'QP]nKNaNr `Pgb|f\ aEjgbd;Z ab]nKNQ=j+gb\nZ[ds`_KNj_abdsabcs\`PabORO cNdNef`Pgm]neabd) Q Nedsr2e|dsE%\ @ORQCgmdNedN¡]_Ksg]/]¤¢aV`PabORpqabdsQPdE]h\ ! 6 |NàEORO cNdNef`Pg]_e|aEds\gbjnQ#pqQPjnabj_ORQ=ra{bQPj/\nabOR$ `=gmdNdNab]+àbORO cNdse`=g]nQ

(236) ;Z9;Z[psgE\n\nedN$]nKNQ`PabORpqabdNQ=dE]Kse|Q=j_gbj_`hK;ZE ! JLKNQ

(237) àbORO cNdse`=g]neabd ORQ=`hKsgmdNef\nO(`Pgbd9qQe|ds\]_jncNORQPd;]nQCr9;Z9gErNr2edN$ed2aEjnO*g]_e|aEds\@]_a'QP{bQ=jnZ ORQ=\_\_gmbQE ! ]e\

(238) pqaE\_\eNQ$]naefr2QPd;]ne|Z&\_gQ*\]_g]_Q=\Vabjgbd;Zbe{bQPdàbORpqaEdNQPdEA] :KNQPj_Qbg ; &SO ' O Q(*)Q +) -, /.,Q) ; ' #0B ) 10-) 2 3"4QS 54) JLKNQ DSU àEORpaEdNQPd;]O'aNr2QP6

(239) v ef\g `PabORpqabdNQ=dE]ORa2r2QP]_Ksg]\ngm]nef\^²Q=\+ORaE\]am]nKNa;\Q pNj_Q j_Q=¨;cNef\e|]nQC\Pb]_Ksg]#ef\k¢K[Z'¢#Q¡O*gbr2Qg

(240) pNjnab]nab]¤Z[pqQ+e|ORpNQPORQPd;]_gm]neabd am)abcNj#gb|Eabj_e]_KNO a{bQPjk]nKse\#`PabO' pqaEdNQPdE] O'aNr2QP59oQPZ[e|dsabdx]nKNQ*Q=g]_cNj_Q=\ORQ=dE]neaEdNQ=rgmqa{bQbabcsjgmbaEjne|]nKNOXKsgE\V]_KNQRaE|a±¢edN `hKsgmjhgb`]nQPj_ef\^]_e`=\;:. ³·´µ)³·¶.

(241)

(242) <. ]Lef\Lgms|Q¡]_aR\^]_abp g'\cN\Z2\]nQPO©edg$\_gQV\]_gm]nQE;]nKsgm]Le\edg$\]_gm]nQV¢KNQPj_Q¡]nKsQ\^]hg]_cs\am)]_KNQ edNdNQ=j

(243) àbORpqabdsQPdE]h\V`=gmd&qQ'jnQCr2cs`QCr]_ag9ORedNe|O cNO)]nagb|a±¢£]nKsQ'j_Q=àEd2²sEcNj_g]_e|aEdabk]_KNQ \]naEpNpqQ=r`PabORpqabdNQ=dE]C ! xQ`Pabds\nerNQPj+gR\]_gm]nQgb\+\ngmQe|gm]nKNQ \csIàbORpqabdsQPdE]h\Lab]_KNQ\]naEpNpqQ=rabdNQ

(244) Ksg±{bQV²sdNef\nKNQ=r ]_KNQPejpqQPdr2e|ds9jnQC¨;cNQ=\]_\= ]nKsQ$`PabORpqabdNQ=dE]ef\\^]hg]_QPQ=\_\Pe|]`Pgmd]nKsQPd7qQ jnQ=pNfgb`QCr;Zgmd[Z dNQ=¢|Z `j_Q=gm]nQCr9abdsQb ! ]+ef\gErNgmpN]nQ=r9]_a*gR`PabORpqabdNQ=dE]ORa2rNQP¢KsQPj_Q

(245) àbORpqabdsQPdE]h\gmj_Qgbc2]naEdNabORaEcs\QPd;]ne|]neQ=\+`PabO' O cNdse`=g]nedN*;Z gb\nZ[ds`hKNjnaEdNabcs\O'QC\n\_gmEQ=\= ! ]+e\dNam]psgbj]_e`PcNfgmj_e| =Q=r*aEjg'be{bQPdàbdN²sbcNjhg]_e|aEd);aEjaEjg'pNj_Q=r2QP²sdNQ=r`PabORpqabdNQ=dE]pNj_abp2 Q=j]^Z :e]ke\gbNQ#]_aVKsgbdsr2Qgmd;Z `PabORpqabdNQ=dE]/]naEpqababbZE±¢e|]nKRpqaE\_\eNZ\]_g]_Q5cNNàEO'pqaEdNQPd;]_\= gbdsrgmd[Z9àEORO cNdNef`Pg]_e|aEd pg]]_QPj_d) ! ]¡\ncNpNpqabjn]_\ 2

(246) <àEds\ne\]nedN'ab/g'{gb|cNQ

(247) \nQPd;]LaEjjnQ=pNgEèdNRg$c2]_cNjnQ

(248) aE[l^QC`]C ! ]nKNQ\nZ2\^]_QPO `PgmdNdsam]/qQL\]naEpNpqQ=r$\_gQ=|ZE±]_KNQgmbaEjne|]nKNO£dNQP{bQ=j²sdNef\KNQC\NcN]kr2a[Q=\dNab]/Na2` 9I ]_KNe\ 9bQ=QPps\L]nKNQ

(249) edE]_QPbj_e|]¤Z9am]nKsQ\Z2\]nQPO gmdsr|QP]e|]+j_cNddNabj_O*gmZb JLKNe\ j_QPpqabjn]*ef\ abj_EgbdNe| =Q=r gE\Rab|a¢+\=BY[QC`]neabd }xj_QP{[e|Q=¢+\Rj_QPfg]_Q=r ¢#abj 92\=@]nKsQPd Y[QC`]neabd r2QC\n`PjneqQ=\9]nKsQx¢gCZ abcNjgb|Eabj_e]_KNO aEj\]nabpspNe|ds àbORpqaEdNQPdE]h\ ¢#aEj 92\=©Y[QC`]_e|aEd w r2QP]_gbe|f\9]_KNQ gb|Eabj_e]_KNO2gbdsr e|]_\+pNjnaEpqQPjn]neQ=\gmj_QVEe|{bQ=de|dY[QC`]_e|aEd <2#Y[QC`]_e|aEdvRpNjnQC\Q=dE]_\L]nKNQe|ORpNQPORQ=dE]_gm]neabd abaEcNjgmEabjne|]nKsO ]nKsgm]ef\¡QP{gb|cg]nQCre|d&Y2Q=`]_e|aEd7vNÂ}2 edsgm|ZEY[Q=`]_e|aEd 0R`Pabds`P|csrNQ=\+]nKNQ$jnQ=pqabjn] gbdsr pNj_Q=\nQPdE]h\]nKNQc2]_cNj+¢abj 9[\= P

(250) R JLKNQ O*gmedGORam]_e|{mg]neabd\

(251) abj'jnQCàbdN²sbcNjhg]neabdab¡\nZ[\]nQ=O*\$gmj_Q ORQPd;]neabdNQCred

(252) C} 5JLKNQ gbc2]nKNaEj_\ pNj_Q=\nQPd;]L\nabORQVjnQCgb\nabds\kaEjL¢KNe`hKgbd gErNgmp2]hg]_e|aEd9ORg±Z*qQVpqQ=jaEjnORQ=r gmdsr9e|]gb\na$ORQPdE]_e|aEds\L\nabORQ \]njhg]_QPbeQ=\Vabj r2Z[dsgmORef`RjnQ=`Pabd2²bcNjhg]neabd&amgmpNps|ef`Pgm]neabds\= JLKNef\

(253) ¢#aEj 97gbf\abe{bQ=\

(254) gE\pqQC`]h\V]naqQ `Pabds\ner2Q=jnQCr'ed abjhr2Q=j]_apqQ=jaEjnO gr2Z[dsgbO'ef`+jnQCàEd2²sbcNjhg]_e|abd)EgbdsrRpsjnaEN|Q=O*\@`Pgbcs\QCrR;Z*r2Z[dsgmORef` ORa2r2e|²`Pgm]neabd\ab]nKNQ\nZ2\^]_QPO ¤d7]nKsQR¢#abj 9abo+gb\_`hKNQ'gbdsr7i/ab PQ

(255) $ 0 5]_KNQPZ&r2Q=\ne|Ed&gbdsr7eO'ps|Q=O'Q=dE] g9j_gbORQP¢#aEj 9abj

(256) rNZE dsgbORe`$àbORpqaEdNQPdE]VjnQCàEd2²sbcsj_g]_e|abdabd7Ue`Pjna;\ab·] >,H@JtQPd;{[ejnaEdNORQPd;]=VJLKNQ=ZpNjnQC\Q=dE]nQCrgmd7Q¥[ pqQPj_eORQPdE]hgmbQP{gb|cg]neabdam;]_KNQPejed2j_gE\^]_jncs`]ncNj_Q/abjr2Z[dsgbORe`jnQCàEd2²sbcNjhg]_e|abdVam2`PabORpqabdsQPdE]n5gb\nQ=r gbpNpNe`=g]neabd\P JLKNQ=e|j

(257) jnQ=`Pabd2²bcNjhg]neabdpNj_a2`QC\n\ef\Ve|ORe|]nQCr]_a ]_KNjnQ=Q'sgb\nef` abpqQ=j_gm]neabds\ :¡gErNr2edNabj j_QPORa{;edNgGàEORpaEdNQPd;]=gbdsr \QP]]nedNGe|]_\9gm]]_jneNc2]_Q=\= JLKNQPej9baEgb¢gE\R]_a²dsr gmd gmbaEjne|]nKNO gbN|QR]naj_Q=àEd2²sEcNjnQRgbdgmpspN|ef`Pgm]neabdx¢e|]nKsabc2] rNe\njncsp2]nedN]nKNQ9\Q=jn{[ef`Qb9JLKNQPej

(258) psjnaEpqaE\_gmàEds\ne\]_\ edjnQCàbdN²sbcNj_e|ds'gbdgmpNpNef`Pg]_eabde/e|]_\+`PabORpqabdNQ=dE]h\r2aEd ]+edE]_QPjhgb`]+gmdsre|]_KNQPj_Qgmj_QVdNa*pqQPdsr2edN ]_j_gbds\ngE`]_e|aEds\P +a¢#QP{bQ=j=[]_KNQPZr2a*dNam]+Ksg±{bQ

(259) gbdgb|Eabj_e]_KNO©abj¡\^]_abpNpNedNR]nKNQ \Z2\]nQ=ONdNQ=e]_KNQPjC2aEj r2Z[dsgbORe`=gm|Zj_QPpsgEèdNabL`PabORpqabdNQ=dE]h\ed;{baE|{[edN\^]hg]nQR]_j_gbds\^Q=j= JLKNQ=e|j gb|Eabj_e]_KNOXN|aN` 92\V]_KNQ `PabORO cNdNef`Pg]_eabds\edxaEj_rNQPjV]_aj_Q=gE`_KxgjnQCàbdN²sbcNjhgmNQ'\]_gm]nQE JLKNe\

(260) ¢#aEj 9ef\

(261) Q=\_\QPd;]nefgmZ{gb|efr&e|d ORabse|Q

(262) gmpspN|ef`Pgm]neabds\LqQ=`=gmcs\nQV]nKNQPZ jnQ=|Z aEd QP¢ ed;]nQPj_dsgm)e|d;]nQ=j_gE`]neabd\P ! . µµ ÀONQPRSRSR.

(263) v. ; S2 ) . JLKNQ S 6 Y 6 gmpspNjna;gb`hK

(264) A < @gb\na pNj_a±{[efr2Q=\g jhgmORQ=¢#abj 9abjQ=dsgmNedN9]_KNQ*r2QP{EQPabpNORQPd;]

(265) gbdsr ]_KNQRabpqQ=j_gm]neabd7amLgmc2]_abdNaEORe`'gbpNpNe`=g]neabd\P ¤d&]nKNef\VjhgmORQP¢abj 9Uc 9[KNe lggmdr DVe|dN *pNjnaEpqaE\nQ'g \nQ=¨;cNQPd`Q$am#\^]_QPps\¡aEjVrNZ;dgmORe` j_QPpNfgb`PQPORQPd;]ab@\nabORQ'àbORpqaEdNQPdE]h\am#g9\nZ2\^]_QPO

(266) Pw/5c2]V]nKNef\ pNj_a2`QC\n\kr2a[Q=\nd ]@gbpNpNZ ]naabcNjkj_Q=¨;cNejnQ=ORQPdE]h\PEgbdsr$]_KNQPej#r2Q²dNe]_e|aEd*am)àbORpqaEdNQPdE]h\ef\kj_gm]nKNQ=jk`P|a;\Q ]_a ]nKNQRdNab]neabd&am#ab2l^Q=`]_\= NaEjQ¥NgmORpNQb)`PabdE]_j_gbjneZ ]_a Njhgb`]_gbI]na DSUGIaEj]_a ]nKNQ*r2QP²sdNe|]neabd abàbORpqaEdNQPd;]be{bQPd9;Z Y[ PZ[pqQPjh\ 9[e

(267) = sS 6 Y 6 `PabORpqabdNQ=dE]h\r2a$dNab]L\npqQ=`PeZR]_KNQVedE]_QPjngE`QC\@]nKNQ=Z j_Q=¨;cNejnQE ¤d

(268) b]nKNQ¡gbc2]nKsabjh\/pNj_Q=\nQPdE]h\kg

(269) àEO'pqaEdNQPd;] sgb\nQ=r$pNj_abEj_gmORORe|dsj_gbORQP¢#aEj 9I ¤dR]nKNef\j_gbORQ ¢#aEj 9 ]nKNQgmpNps|ef`Pgm]neabds\`Pgmd qQxgbc2]naEdNabORef`PgmZ jnQCàbdN²sbcNj_Q=r ]_a O*gmdsgbbQ]nKNQr2Z[dsgbORe\nO!gbdsr cNds`PQPjn]_gbe|d;]¤Zam]nKsQ gbpNpNe`=g]_e|aEds\ gmdrx]_KNQ QPd[{;ej_abdNORQPd;]=&JLKNQ=ZxQ=dsgmNQ ]nKsQ r2QC\n`Pjnep2]_e|aEdam]_KNQ r2Z[dsgbORe`

(270) j_QPpNfgb`PQPORQPd;S] FgErNr2e|]neabd Fmr2QPQ]_e|aEdamkàbORpqaEdNQPd;]_\=gmdr ]_KNQ$`_KsgbdNbQame|d;]nQ=j_gE`]neabdjnQ=gm ]_e|aEds\Kse|ps\= 6 c2]_abdNaEO'ef``PabORpqaE\ne]_eabdgmdr QP{babc2]_e|aEd ef\LQP¥2pNjnQC\n\nQ=r gE\g'|ef\^]+abjncNQ=\= ¤dGgm]_KNQ=\nQ ¢#aEj 92\=dNa7\ncNpNpqabjn]

(271) aEjKse|Q=j_gbj_`hKNe`=gmk`PabORpqabdNQ=dE]h\

(272) ef\pNj_a±{[efr2Q= r kgm|]nKNaEcNbKKNeQPjn gbj_`hKNef`PgmàEORpqabdNQ=dE]O'aNr2QPf\¡|e 9bQ'YsT 6

(273) =~ /abj Njhgb`]_gm6

(274) /KsgC{bQ bj_Q=gm]¡gEr2{gbdE]_gbbQC\+àbd`QPj_dNedN O*gmdgmbQ=O'Q=dE]gbdsrrNQ=\ne|Edam@àbORpqaEdNQPdE]V\nZ2\^]_QPO*\P +a¢#QP{bQ=j=s]nKsQjhgmOR6 QP¢#aEj 92\pNj_Q=\nQPdE]_Q=rgmqa{bQ ¢#aEcNfr*qQ=dNQ²N]j_abO©gbd gmbabj_e|]nKNO aEjL\^]_abpNpNedN'g$\Q]LamàEORpaEdNQPd;]= \Q¥2pNfgmedNQCr gba{bQb[\ncs`hK gbdgmbaEjne|]nKNO \nKNabcsr\^]_abpg àEO'pqaEdNQPd;]¡\ncNs\nZ2\^]_QPO edg*\_gQ\]_gm]nQ¢KNQPj_Q]_KNQj_Q=àEd2²sEcNj_g]_e|aEd ef\LQCgb\ne|Q=jLabj+g]+|QCgb\]pa;\n\neNQb JLKNQ eORpNQPORQPd;]_g]_e|aEd7amkabcsjgb|Eabj_e]_KNOjnQ=|eQ=\¡abd]_KNQ DSU

(275) v I¢KNe`hK7e\Vg DVj_erQP¥[]nQPd\eabd ]_a$]nKsQ sjhgb`]hgmàbORpqaEdNQPd;]LORa2r2QP

(276) 0 sj_gE`]hgmIe\g$KNeQPjhgmjh`_KNef`Pgbq`PabORpqabdNQ=dE]LORa2rNQP5[ORQCgmdNedN ]_Ksg]QCgb`hKàbORpqaEdNQPd;]¡ef\¡QPe|]nKNQ=j`PabORpqaE\ne|]nQ9¦e|ke|]ef\àbORpqa;\QCramkam]_KNQPj`PabORpqabdsQPdE]h\_§abj¡. ps;jn)QeO' 0 e|,]n)e{b Q ¦HeVe]h\R`PabdE]_QPd;]*`PgbdNdNab]'qQrNQ=àEORpqaE\nQ=rs§ JLKNQ=\nQ`PabORpqabdsQPdE]h\'e|d;]nQPjhgb`]$]_KNj_abcNEK qQ]^¢#QPQ=dè|Q=dE]+gmdr \Q=jn{bQ=je|d;]nQ=jHgE`Q=\= Nj_abO Njhgb`]_gm5 DSU edNKNQ=jne|]_\g$KNeQPjhgmjh`hKNe`=gmI\^]_jnc` ]_cNjnQ ¢e|]nK7\]nj_abdN \nQPpgmjhg]neabdam@àbds`PQPj_ds\+qQ]^¢#QPQ=dcNd`]neabdgmgbdsrdNaEd2csds`]neaEdsgmQ=Ksg±{;eaEcNj_\= eds`csr2edN9gR{bQPj_Z gb\neèQP `Z2`P|QgbdsrNedsr2edN ORgbdsgmEQPORQPd;]= DSU Q¥[]nQ=dsrN\ sjhgb`]hgm)¢e]_K\ncNp2 pqaEj]#aEjLr2QPpNaZ;ORQ=dE]=2O*gmd;Z;5]nab5aEdNQ¡gbdsr aEdNQ5]nab5O*gmd[ZRàEO'O csdNe`=g]_e|aEds\P2gmc2]_abdNaEORe`¡qQPKsg±{[e|aEcNjC gbdsrg'qQP]]nQ=j¡\^]_jnc`]ncsjnQVaEjdNaEd2cNd`]neabdgm)`Pabds`PQPj_ds\PkJLKNe\j_QPpqaEj]+`Pgmdgbf\a'qQ`Pabds\nerNQPj_Q=r gE\g pNj_abpqa;\ngbIabjgmdQ¥[]_QPds\ne|aEdab]_KNQ |e|Q¤`Z2`Q àbd;]nj_abQPjab Njhgb`]hgmaEjr2e\]nj_eNc2]nQCr\nZ2\^]_QPO*\ ¦Qb s DVj_ers\_§ "# /

(277) . . x.8Q SpN jn aEpq,aE\n. Q gb)dG gb babj_e|]nKNO aEj'\^]_abpNpNedN&gGDSU `PabORpqabdsQPdE]'\nZ2\^]_QPO ]'j_Q=`csj_\ne|{bQ=|Zx\]naEps\$g ]naEbQ]_KNQPjR¢e|]nK gmLe|]_\ \cNI`PabORpqabdNQ=dE]h\'ed gx\ngmQ\]_gm]nQb#e5 QE ¢e]_KNabc2]9gmd[Z j_Q=¨;cNQ=\]

(278) ]naqQ*]nj_Q=g]_Q=r 7QPpqQ=dsr2edNabdx]nKNQ j_Q=àEd2²sEcNj_g]_e|aEd7]naqQ KsgmdsrN|QCrgbdsrxabdx]nKsQ `PabO' pqaEdNQPdE]h\+e|d[{bab{bQ=rr2e IQPj_QPdE]V\^]hg]nQC\+`=gmdqQ `Pabds\ner2Q=jnQCrgE\+\ngmQbgbdsrgREe{bQPdàEORpaEdNQPd;]¡`=gmdqQ \]naEpNpqQ=r gm]r2e IQPjnQ=dE]#]_e|ORQ=\=JLKNef\#jnQ=pqabjn]#`Q=gbjnZ ]hgO9bQC\k]nKNQV\_gQC\^]gE\n\ncNORp2]_e|aEds\@gb|a¢e|ds

(279) ]na$\]naEp gbd;ZgE\n\nQPO NZed&g \]_g]_Q ]nKg]

(280) `PgbdqQRàEds\ner2Q=jnQCrgb\V\_gQ abjgbd;ZjnQCàbd2²bcNjhg]neabd)T¡#àEcNjh\QE ]_KNe\$ORQ=gbds\$\]naEpNpNedN]nKNQàEORpqabdNQ=dE]$fg]_QPj ]nKsgm]'e]RàEcNfrqQbkgmdrG\aEO'Q `PabORpqabdNQ=dE]'\nZ2\^]_QPO*\ `PabcNfr7dNQ={bQPj

(281) qQ*gmNQ$]_a\^]_abp ¦Qb s'e|#]_KNQPZ&gmj_Q'e|d[{bab{bQ=r7edg|e{bQ |aN` 9N§ NcN]

(282) ¢Q'psjnQPQPj]nKsgm]g . ³·´µ)³·¶.

(283)

(284) 0. `PabORpqabdNQ=dE]dNQ={bQPj

(285) \]naEps\Veds\]nQ=gEr7am\]naEpNpNedNe|]

(286) e|dgmdxe|ds`Pabds\nef\^]_QPdE]\^]hg]_Q'¢KNQPj_Q'e|]

(287) ¢e|dNab]qQ j_Q=àEd2²sEcNj_gms|QE oQPfg¥2edN ]nKNQRK[Z[pqam]nKsQ=\nQ=\Ved&aEj_rNQPj]_a\]naEpxgàEO'pqaEdNQPd;]

(288) \na[abdNQ=jVe\j_QPfg]_e|{bQ=|Z QCgb\nZRj_abO(]nKNQ

(289) EQPdNQ=j_gbgmbabj_e|]nKNO(be{bQPdKNQPj_Qb 7¡cNj_edNg¡cs\cgmEj_cNd ¦¢e|]nKNaEc2]/\]naEpNpNedNg¡`PabORpqabdNQ=dE]§mg¡`PabORpqabdNQ=dE]e\àEds\ner2Q=jnQCrV]_a¡j_Q=`Q=e|{bQ j_Q=¨;cNQ=\]h\Pbed gmd gb\nZ[ds`_KNj_abdsabcs\/O*gmdNdNQ=j=;\Q=jn{bQL]_KNQPO ed g T abjhr2QPjCbgbdsrRjnQP]ncNj_d*gj_Q=\ncN|]=E{[efg

(290) g ORQ=\_\ngbbQE 6 j_QPps|2 Z

(291) <N`Pabds\nef\^]h\e|d'g{gmcNQ\nQPd;]]naVj_QPpNfgb`Qg¡c2]ncNj_Qefr2QPd;]ne|²sQPjC 6 àEO'pqaEdNQPd;] ef\¡\ne|dNE|Q

(292) ]nKsjnQCgbr2Q=r)sQ¥N`PQPp2]+]_Ksg]e]V`=gmdj_Q=`PQPe{bQ

(293) jnQ=pNe|QC\+gbdsrjnQCËcsQ=\]_\+gm]gmd[Z9]neO'Q ¦HjnQCËcsQ=\]_\¡gmjnQ Q=ds¨;cNQPcNQCr9Nc2]jnQ=pN|eQ=\Lg IQ=`]]nKNQe|d;]nQ=jndsgbI\]hg]nQVam]nKNQ

(294) àEO'pqaEdNQPd;]h§JL KN Q\]naEpNpNedN'gb|Eabj_e]_KNO e\ Ee|{bQ=dgE\LgbdQ¥[]nQ=ds\ne|aEd ab]nKNQ

(295) cs\ncsgbjncsdgmNQV]naR]_g 9bQe|d;]na gb`P`PabcNd;] O'QC\n\_gmEQ=\= ¤d]nKNQ9¢KNaE|Q9gbj]_e`P|QEaEj \neORpN|efè|]^Zb/¢#Q ¢e@pNj_Q=\nQPd;] abcNj$gmbaEjne|]nKsO\cNpspqaE\ne|dN]nKsgm] aEdN|Z aEdNQVàEO'pqaEdNQPd;]ef\@]_a$qQ\^]_abpNpqQ=r&¦aEdN|Z*abdsQO*gb\]nQPjLàEORpqabdNQ=dE]h§kY[QC`]neabd ws= <

(296) ¢e|IQP¥2pNgbe|d9KNa¢ ]_aRQ¥[]nQ=dsr ]nKNef\+gmbaEjne|]nKNO(e|dabjhr2Q=j]na*\]naEpO*gmd;Z àEO'pqaEdNQPd;]_\=2pqaE\_\eNZ9\eO cN|]_gbdNQPaEcs\ZE . . . xQ*`Pgb| .8S4 ]_KNQ*`PabORpqabdNQ=dE]]nKsgm]

(297) j_Q=`Q=e|{bQC\edNe|]nefgmZ7g S " Q S RJLKNQ*gb|Eabj_e]_KNOX\ngmQPZ \]naEps\]nKNQ

(298) O*gb \]_QP j+ ` abOOR Q pqaE3dN"4QPQdE]¡S gm dsrgb|)e]h\+\cNI`PabORpqabdNQ=dE]h\P &Q'`=gm ]nKNQ$aEdNQ=\+]_Ksg]gbjnQ$àEds\QC¨;cNQPds`PQ=\¡amkj_Q=¨;cNQC\^]h\+aEjnebedsgm]nedNRj_abO eds\ner2Q@]nKNQ#O*gb\]nQ=jgmdsr]_Ksg]ORe|EKE]KsgC{bQk]na¡qQ@]nj_Q=gm]nQ=r

(299) edabjhr2QPj)]_a¡qQ#gms|Qk]naV\^]_abp

(300) ]nKNQ\css\Z2\]nQ=O : aEdNQàbORpqabdsQPdE]Reds\nefr2Q ]_KNQORgE\^]_QPjRORe|EKE]*KNabfr g7c2]ncNj_Qabj']nKsQj_Q=\ncN|]Ram¡]_KNe\Rj_Q=¨;cNQC\^]C@gbdsr pqQPjnabj_O gx¢Lgme|]*abj*]nKNQ7gE\n\na2èfg]_Q=r {mgmcNQb JLKsQgmbaEjne|]nKsO jnQ=|eQ=\*abd gORgbj 9[edNamj_Q=¨;cNQ=\]_\ ¢#aEj 9[edNgE\VaE|a±¢+\ :]_KNQ ORgE\^]_QPj àbORpqabdsQPdE]O*gmj 92\

(301) \aEORQRj_Q=¨;cNQ=\]_\=gmdsrxQCgb`hK&]neORQ9gj_Q=¨;cNQ=\] ef\9\nQPd;] rNcNjnedN]nKsQ&\Q=jn{[ef`Qab]nKNQ7O*gmj 9bQ=r jnQCËcsQ=\]=]_KNef\9jnQCËcsQ=\] ef\9ORgbj 9bQCr ]na2as TdNZ ]_KNQ O*gb\]nQ=j

(302) r2adNab]pNj_abpgmEgm]nQ$ORgbj 92\= ¤d&pNjhgb`]nef`QEabds|ZjnQCËcsQ=\]_\Vabc2]h\efr2Q']nKNQRO*gE\^]_QPj

(303) àEO'pqaEdNQPd;] gbjnQO*gmj 9bQ=r O*gbj 9[edN*ef\¡abdNZcs\QPcN]na9er2Q=dE]_eZj_Q QPd;]njhgmd;]+j_Q=¨;cNQC\^]h\Pqgmdsr]na gC{Eabefrr2QCgbr[ |aN` 92\ ed;{baE|{[edNL]nKNef\ 9[edsrVab[j_Q=¨;cNQC\^]h\PJLKse\gErNr2j_Q=\_\Q=\I]nKNQ@`=gb\nQ¢KNQPj_Qkg`PabORpqabdNQ=dE]¢gme|]_\abjO'QC\n\_gmEQ=\ `Pabj_jnQ=\npqabdsr2edN]na+j_Q=¨;cNQC\^]h\e|]KsgE\)\nQPd;]=±abj)j_Q=¨;cNQC\^]h\I]nj_ebbQ=jnQCr;ZVjnQCËcsQ=\]_\e|]Kgb\\Q=dE]=±j_Q=`csj_\ne|{bQ=|ZE JLKNQ9Eabsgm#efr2Q=gef\ ]nKsgm]$]nKNQgb|Eabj_e]_KNOj_cNds\$e|dG]^¢#a7psKsgb\nQ=\ ked g²sjh\^]$psKsgb\nQ ]nKNQ O*gE\^]_QPj `PabORpqabdNQ=dE]O*gmj 9[\Lgb|I]_KNQj_Q=¨;cNQC\^]h\e]¡\nQPdsrN\=JLKNef\LpNKgb\nQVfgb\]_\LcNdE]_e|gb|I]_KNQj_Q=¨;cNQC\^]h\#abj¢KNef`_K e|]

(304) ¢gme|]_\]_KNQRjnQC\cN|]_\gbjnQ$O*gmj 9bQ=r) ¤d7]_KNQR\nQ=`Pabdsr7pNKsgE\Q$]nKNQRO*gb\]nQ=j`PabORpqabdNQ=dE]Na2` 92\Vgb|]_KNQ j_Q=¨;cNQ=\]h\ke|]j_Q=`Q=e|{bQC\¡¦HQ¥N`QPpN]#]nKNQO*gmj 9bQ=r*abdNQC\_§kgbdsrR]_KNQedNdNQPjLàEO'pqaEdNQPd;]_\#`PabdE]_ed;cNQpNj_a2`Q=\_\ne|dN ]_KNQPej j_Q=¨;cNQC\^]h\ ¡¢KNQPd gm]_KNQ7àEORpqabdNQPd;]_\9gmj_Qefr2|QEgmdr gm+edNdNQ=j9`PabORpqabdNQ=dE]h\*KsgC{EQQ=ORp2]¤Z j_Q=¨;cNQ=\]@¨;cNQPcsQ=\=m]_KNQ¡àEO'pqaEdNQPd;]_\kgbjnQ+\]nabpspqQ=r 7cNj_e|dN

(305) ]nKNQ\K[c2]_r2a¢d*pNjnaN`Q=\_\=]nKNQ¡`PabORpqabdsQPdE]h\ ]hOg 9bQ

(306) \Q={bQPjhgm\]_gm]nQ=\+r2Q=\_`j_e|qQCr gE;\ : )=2± « °# JLKsQ

(307) `PabORpqabdNQ=dE]ef\Lj_cNdNdse|dNRdsabj_ORgb|Z¦HedNe]_egb\]_g]_QC§ ! Q * ¯ 9 P ¯ - - 1 TVdN|Z ]nKNQ . 4 àbORpqaEdNQPd;]`PgbdQPd;]nQPj¡]_KNe\\]hg]nQE ]fgb\]_\j_abO¢KNQPd ]_KNQ'O*gb\]nQPj`PabORpqabdsQPdE]jnQC`QPe{bQ=\¡]nKNQ P ¯ - A 21 # cNd;]ne/e|]KsgE\cNpIrNgm]nQ=r&gb|/dNabd2 O*gmj 9bQ=r c2]_cNj_Q=\P ¤d]_KNe\\^]hg]nQE]_KNQ$O*gb\]nQ=jVàbORpqaEdNQPd;]O*gmj 92\¡gb|e]h\abcN]nbaEe|ds jnQC¨;cNQ=\]_\= 6 ]]_KNQ Q=dsr ab]nKNef\+\]_g]_Qb2]nKNQ

(308) O*gb\]nQ=j\nQPdrN\g = ¯ - - 1xA 21 # ]na gme|]_\+\ncNIàEO'pqaEdNQPd;]_\= ) ¯ - - 1 Y;]hgmjn]_\k¢KNQ=dR]_KNQàEO'pqaEdNQPd;]@jnQC`Q=e|{bQC\kg = ¯ - A 21 # ¦aEjkQP¥2e]h\]_KNQ¡® H * ¯ ' P ¯ - - 1G ==2 « ·aEj+]nKsQO*gE\^]_QPj§JLKNQ ORgE\^]_QPjàEO'pqaEdNQPd;]¡abds|Z\nQPj_{bQ=\ .8/ 0 3"4QS s]_KNQ ab]nKNQ=j+àbORpqabdsQPdE]h\\nQPjn{EQgmI]_KNQ

(309) jnQCËcsQ=\]_\= .

(310). . . . µµ ÀONQPRSRSR.

(311) . ; S2 ) . « s° Nc ¬ d;]ne¯ e]¡ j_¯ Q=-`PQPe{b Q=\]_KN±Q =Y; ]h¯ gmjn]_\) A2l^1cs\] gm# #·]nJQPj@a*]nqKsQQe|`daEOR]nKspqQ abdN QPd;]\ PQPCd2rN \k«]nKNg*Q àE«O'Npq° aE¬ dNQP d;¯ ]+ =O ¯cs-\]¡ q 1Q erN |# Q bg dsr$gm[e|]_\\ncNIàEO'pqaEdNQPd;]_\O c\^]qQLe|d$]_KNQ PC2 «q ]k`Pgmd ]pNjnaN`Q=\_\j_Q=¨;cNQ=\]_\=QP·aEjnQ q=Q e|dN gmNQV]na*Ksgmdsr2Qg$dsQP¢ j_Q=¨;cNQC\^]C2e]+O cs\]+bQP]sgE` 9*]_a']_KNQ P ¯ - - 1x PC2 «q >¡am]nQV]_Ksg]CNgE\L\na[abdgb\Lgb|I]_KNQ

(312) \ncNIàEORpaEdNQPd;]_\Lam/g'àEORpqabdNQPd;] gbjnQVed ]nKNQ ==2 « gbdsr e\/efr2QbbdNaEdNQLamqe]h\\ncNIàEO'pqaEdNQPd;]Ksgb\]naKsgbdsr2Qgj_Q=¨;cNQC\^]qQabj_Q Kgb\]naj_Q=`Q=e|{bQ . . . . . C. C aEdNQ*C¦·]_KNe\+e\+r2cNQ]_a']nKNQgbs\Q=ds`Qam\KsgbjnedN[§ JLKNQ ¯ ¡ « N° ¬ ¯ = ¯ -& ==N « ¦ §ef\]nKNQàEO'ps|Q=O'Q=dE]hgmj_Zams]nKsQ PC2 «q ) ¯ - - « °# JLKNQ

(313) àEORpqabdNQPd;]+gmdsr e]h\\ncNIàEO'pqaEdNQPd;]_\gmj_Q\^]_abpNpqQ=r)$ ]+e\Lefr2Q

(314) gmdsr`Pgbd ]LQ=ORe]+abj j_Q=`PQPe{bQVj_Q=¨;cNQ=\]_\=$ ]¡`PgmdqQ\ngmQPZ j_Q=àEd2²sbcsjnQCr ° # « ==2 « #0B ,. ) *, /.,Q;30 #0B , . O ; Q +«

(315) A ¯ &2 )P ¯ 1 # ¬ H ( +) Q=O'pN]¤Z9j_Q=¨;cNQC\^]+¨;cNQ=cNQ=\ ' ;)#0 +) "!$#&%(')+*+'-, . . . . . /10 2. . . . xQpNj_Q=\nQPd;]LKNQ=jnQV]nKNQàEdsr2e]_eabds\LjnQCËcse|j_Q=r abjabcNjgb|Eabj_e]_KNO ]naR¢#aEj 9I ej_\]=Ngm]L]nKNQ

(316) qQPbedNdNedN gb|

(317) `PabORpqabdNxQ=dE =]_=\Ngm j_Q&ed ]nKNQ ==2± « ° PC2 « gmdsr `Pabds\nerNQPj ]nKsQPej\csIàbORpqabdsQPdE]h\gmj_Q7ed ]_KNQ 33 «¦HQb s]nKNef\@ed2abj_O*g]neabd*ef\#\^]_abj_Q=r*gmdsr*e|dNe|]nefgme PQ=rR]_a

(318) ]_KNQ >TVJ54 o¡}EY'{gb|csQC§ J ¯ ° A ¯ ; H H # PC2 « 76 Q 2). 8 ) $, . O ; Q G)Q9*:+'%;+*+'-, .*, /. O ; Q /-,) S+0 40<;8+) ; / G)Q>=;? @BA7C DFEGH+*I9'-, Y[QCàbdr2O*gbj 9[edNE\Lgmj_QVpNj_abpgmEgm]nQ=r9;Z9j_Q=¨;cNQ=\]_\`Pgb|f\ B S#0 +) .8S ,. ) " 2$ # 1b #!#HH 7 . 3"4Q ;; Q ; +) ;4#,C G .8 0 " Q S8 J ¯ ° A ¯ .8 30 )J 9K , ' )Q .8S +) )64) +) "4QSMLN, J ¯ ° A ¯ & +« N° # ¯ A #)H 76 G .8) B 8 4$4S2 "4QS4A#, 4. ) O, J ¯ ° A ¯ L « =H QP ) S& 3,)0 3"4QS ' ; )30 4 ;/. SR . T, 6 \+gRàEds\QC¨;cNQPds`PQVamHgbe|j_dNQC\n\gmdsrgbs\nQPds`Qab/r2Q=gbr25a2` 9q2¢#Q

(319) `=gmdQPds\ncNj_QV]nKsgm] : ? ¯ - « ± ¬ &2 P $4S B ' A 0O0 4 ;.8 .8U,

(320) / h "# V xQ&pNjnQC\Q=dE] ed Hgb`] ]^¢#a gb|Eabj_e]_KNO*\P TdNQaEj9]nKsQ7O*gE\^]_QPjàEO'pqaEdNQPd;]x¦ ebcNj_Q C§9gmdsr ]_KNQ \nQ=àEdsrRabj#]nKsQV\csIàbORpqaEdNQPdE]h\¦ e|EcNjnQ}b§ H@gb`hK àbORpqaEdNQPdE]ef\#jnQC\pqaEds\eNQaEj#a2`Pgb|ZR\]nabj_edN ]_KNQ ==2 «9ab/e|]_\\cNI`PabORpqabdNQ=dE]h\+gE`PàEj_r2edN']_aR]_KNQ A 21 # aEWj A P2C1 2 # j_Q=`Q=e|{EQ=rkJLK;c\PNQ={bQPj_Z9àEO'pqaEdNQPd;] 9[dNa¢+\L¢KNQ]_KNQPj+e|]_\¡\cNI`PabORpqabdsQPdE]h\gmj_Qe|d]_KNQ «q gbdsr cNpIrNgm]nQ=\e|]_\ PC2 «7¦gmdsr\Q=dsrN\L]nKNQ A 21 # ]naRe|]_\psgbjnQ=dE]§ . .

(321). . . . . . . . . ³·´µ)³·¶.

(322)

(323) .

(324) . 5. . . JLKNQ O*gE\^]_QPj `PabORpqabdsQPdE] j_Q=`Q=e|{EQ=\]nKNQ .8S42 S O ) gbdsre\ jnQ=\npqabd\.8eNSQ'4aEj ,\n.QPd r2Oe| ds; Q]_ KNQ = ¯ - - 1x A21 # ]naRe|]_\+\ncNIàEO'pqaEdNQPd;]_\=JLKNQ

(325) \nK;cN]_r2a¢dpNj_a2`QC\n\ab]nKNQ e\ r2e{[erNQ=re|d;]na']^¢#a*pNKsgb\nQ=\= JLKNQk²sjh\]pNKsgE\Q#`Pabds\ne\]_\edQ=ds\csjnedN+]nKsgm]gb|E]nKNQ#j_Q=¨;cNQC\^]h\aEj¢KNe`hK$g+jnQC\cN|]O*g±ZVqQgC¢gbe]_Q=r gbjnQ@ORgbj 9bQCrJLKNef\e\dNQC`Q=\_\_gmj_Ze|d aEj_r2Q=j)abj]nKNQjnQP5QPd;]njhgmd;]j_Q=¨;cNQC\^]ORQ=`hKsgbdNe\nOB]na¢#abj 9VpNj_abpqQPj_Z ¦\Q=QY[Q=`]neabdws wE§ Phase 1 Send Request R’ to C2 Receive Receive Mark it Request R replies Mark the future. Processing1 (wait for stopping). Send Reply. Receive Master stop Create Marker (M). Serve Request R. Idle1 (wait for stopping). Started (started). Receive Receive replies Request R. [All futures in the component are marked] Send STOPPING to subcomponents Phase 2 Stopped (stopped). Idle2 (stopping). Send STOP to all subcomponents. No marked request in queue All subcomponents are R2S. Ready to stop (ready to stop). Processing2 (stopping). e|EcNjnQR. Receive R2S Receive Receive replies and NOT_R2S Request R. Send Reply. Serve Request R there is a marked request after or if it is internal call. Receive Receive R2S Send Request R’ to C2 Receive replies Request R and NOT_R2S Mark it. baEjne|]nKsO(am]_KNQ

(326) O*gb\]nQPj+àEORpqabdNQ=dE] JLKNQ\nQ=`Pabdsr psKsgb\nQ

(327) e\¡\Z[ds`hKNj_abdNe PQ=r ¢e|]nK]_KNQ gmbabj_e|]nKNO©aEj¡\cNI`PabORpqabdNQ=dE]h\P ]\^]_e|O*gmj 92\ gb|abcN]nbaEe|dsjnQC¨;cNQ=\]_\ sc2]$²]_QPjh\$e|ds`PabORedN7abdsQ=\=xJLKNQ\nQ=`PabdsrpNKgb\nQ \]_gmjn]h\ ;Zdsam]ne|Z[edN&gb \ncNIàEO'pqaEdNQPd;]_\L[Z \Q=dsr2edN*g . P¯ S- 4& , 1 / ., Q# ) ; ¤d&]nKsQ \QCàbdsr&pNKsgE\Q']_KNQ `Pa[abjhr2e|dg]nQC\¡]_KNQ*pNj_a2`QC\n\Vam\^]_abpNpNedNgm/]_KNQ \ncNs\nZ2\^]_QPO6 ]¡ef\+jnQC\pqabd\eNQVabj 9[dNa±¢edN*¢KNQP]nKNQ=j+e|]_\\cNI`PabORpqabdNQ=dE]h\+gmj_Qed]nKsQ ==2 « ¦Hcs\edN7]nKNQ 1 # § KNQPd ]nKsQàEO'pqaEdNQPd;] 9[dNa¢+\]_Ksg]Rgb|e|]_\'\ncNI`PabORpqabdNQ=dE]_\'gmj_Q9e|d : 6. . . µµ ÀONQPRSRSR.

(328) C~. ; S2 ) . ]_ =KN=2Q ==2 «qNgmdr9e|]nKNQ

(329) O*gb\]nQPjLef\Lefr2|QE[]_KNQPd]nKNQ =O* gE- \^]_ QPj1 `Pab OR# pqabdNQ=dE]e\Ledg =P ¯ 1 # ¬ H°# « «qJLK;cs\=;]_KNQVO*gb\]nQ=j`PabORpqabdNQ=dE]L`=gmd \nQPdsr ]nKNQ ¯ ]_a'gb|\cNI`PabORpqabdsQPdE]h\P[¢KNef`_K ²sdsgb|Z \^]_abps\]_KNQ\Z2\]nQ=O ¤d ]nKNef\psKsgb\nQb±]_KNQO*gE\^]_QPj/`PabORpqabdNQ=dE]gb`]_\/gb\/g¡sgbjnj_e|Q=j:e|]kr2a[Q=\nd ]/gb|a¢e|]_\\cNI`PabORpqabdsQPdE]h\ ]_a&j_Q=`PQPe{bQ Q¥[]nQ=jndsgbL`Pgb|f\=kQ¥N`Q=p2]Re]nKNQC\QQP¥;]_QPj_dsgmf\'`Pgb|f\'gbjnQ O*gmj 9bQ=r Vg7O*gmj 9bQ=rGj_Q=¨;cNQ=\] gbjnj_e|{bQC\P]_KNQ'O*gb\]nQ=jàEO'pqaEdNQPd;]\nQPj_{bQ=\Vgmcsds`]_e|aEdsgm`=gm\VcNdE]_e|/]_KNe\O*gmj 9bQ=r7`Pgmed&abjhr2Q=j¡]na j_Q=\npqQ=`] ]nKNQ T abjhr2QPj_e|dsam+jnQC¨;cNQ=\]$\nQPj_{;edN H¥N`Q=p2]$jnaEO]nKNef\Pj_QPpNeQ=\$gmdsrj_Q=¨;cNQ=\]_\ gbjnQ \nQPj_{bQ=rN\nQPdE]¡gmdr jnQC`QPe{bQ=r cs\ncsgm|ZE >+am]_QL]_Ksg]CEe|)g

(330) àbORpqaEdNQPd;]kKsgb\]nKNQ¡gErNr2e|]neabdsgbNpNj_abpqQPjn]^Z

(331) ]_Ksg]@j_Q=¨;cNQC\^]h\`=gmdRqQ¡\nQPj_{bQ=r$ed gmd[Z aEj_r2Q=j]_KNQPd9abds|Z'O*gbj 9bQCr'j_Q=¨;cNQC\^]h\@`Pgbd*qQV\Q=jn{bQCr;gmdsrR]_KNQam]nKsQPj@cNds`]_e|aEdsgmqjnQC¨;cNQ=\]_\@qQabj_Q]_KNQ O*gmj 9bQ=raEdNQ=\V`PgbdqQ 9bQPp2]

(332) \]nabj_Q=r)q¢KNef`_Kxgb`=`QPQPjhg]_Q=\]_KNQR\^]_abpNpse|dN pNj_a2`QCr2cNj_Qb ¤d]_KNQ$EQPdNQ=j_gb `=gb\nQbaEj$]hOg 9[edN&edE]_agE`PàEcNdE]*gmd[ZjnQC¨;cNQ=\]'aEj_rNQPjnedN&jnQCËcse|j_QPORQPd;]_\=@g&psgmjn]nefgmLabjhr2QPj'qQP]¤¢#Q=QPd j_Q=¨;cNQ=\]h\R`PabcNfr qQr2Q²dNQ=r Y2cs`_K gbd abjhr2QPj*¢#abcNfr \]_gm]nQ¢KNe`hK jnQC¨;cNQ=\]_\RKsg±{bQ]naqQ\Q=jn{bQCr qQaEjnQVg O*gbj 9bQCr*abdNQE$ &Q`Pabds\nerNQPj_Q=r*KNQ=jnQ¡]^¢#a'psgmjn]nef`cNfgmj#aEj_rNQPj_e|dN;;\ : T ¦·]_am]hgmIabjhr2QPj§[gbdsr dNaRaEj_rNQPj_e|dN . . 0. . 2. . . . \ncNIàEORpqabdNQ=dE]\^]_abpNpNedNpsjna2`PQ=\_\ef\#\eORpN|Q=j=[gmdsr \eORegbjk]na]nKNQV\QCàbdrRpNKsgb\nQ+abI]nKsQ¡O*gb\]nQPjC ] qQPEe|ds\¢ =Ks QPd9- - ]_KN Q1 O* gb \1 ]nQPj #àEORpqabdNQPd;]\]_gmjn]_\#]nKNQ

(333) \nQ=`Pabdsr9pNKsgb\nQbNgmdsr \nQPdsrN P\]n- a$- ]_KNQ

(334) 1 \cs q 1 `PabOR # pqam dNQ=dE]h\¡]_KNQ ¯ H@gb`hK&\csIàbORpqaEdNQPdE]²j_\]psjnaEpsgm;g]nQ=\]_KNQ ¯ ]na e|]_\+\ncNIàEO'pqaEdNQPd;]_\=Ngmdsr9]_KNQPd`PabdE]_ed;cNQ=\pNj_a2`QC\n\nedN$cNd;]ne)e|]_\+¨;cNQPcsQqQ=`PabORQ=\LQ=O'pN]¤ZE ¤d7psgbj]_e`PcNfgmjCqQ=gE`_K&\csIàbORpqaEdNQPdE]O cs\]qQ$ed7]nKNQ = ¯ - - 1 ==2 «]nagE`P`PQPp2]g jnQ=¨;cNQC\^]C JLK[cs\PmqQabj_Q#qQPedNVgms|Q@]_aVgb`=`QPpN]/g¡jnQCËcsQ=\]=g`PabORpqabdsQPdE]ed ]nKNQ PC2 «O c\^]²sjh\^]`_KsgbdNbQ e|]_\+\]_g]_QV]naR]nKNQ = ¯ - - 1x ==N «9gbdsr\Q=dsr9]_KNQ 3 A 21 # ]na*e]h\Lp =gm=j_2QP dE]C KNQPdg `PabORpqabdNQ=dE] 9[dNa¢+\k]nKsgm]Lgb|qe|]_\L\cNI`PabORpqabdNQ=dE]h\#gbjnQ¡ed ]nKNQ «q[e\#efr2Qb2gbdsr KsgE\g'QPORp2]^Z9j_Q=¨;cNQC\^]+¨;cNQPcsQb2]nKNQ`PabORpqabdsQPdE]¡`Pgmd\nQPdsr ]nKNQ A 21 # P]na*= e]h\1 ps#gmj_QPd;° ]=# 6 P]+C2]nKNef\ pqaEe|d;]=b]_KNQàEO'pqaEdNQPd;]#gmdsrRj_Q=`cNjh\ne|{bQ=|Z$gmse|]_\#\csIàbORpqabdsQPdE]h\@gmj_Qe|d*]nKNQ ¯ ¬ « «q . 6. . . . . . . . W2. .

(335) . . . . . . xQ*rNQ=\_`jneqQ'sjneQ sZ]nKNQ r2e qQ=jnQPd;]pNKsgb\nQ=\jnQCgb`hKNQ=r7[Z]_KNQ*\nZ2\^]_QPOgmdsr&KNa¢t]_KNaE\nQ'psKsgb\nQ=\

(336) gmj_Q ]_jnebEQPj_Q=r9gbdsr\Z[ds`hKNj_abdNe PQCr : ! ¤dNe|]nefgmZ9gb)àEO'pqaEdNQPd;]_\gbjnQVed]nKNQ ==2± « ° PC2 «q ! KNQ=d']_KNQ . 4 ,. ) ; Q j_Q=`PQPe{bQ=\]nKsQ Gs P « P ¯ -G 1 # e]#`hKsgmdNEQ=\]_a]nKNQ+® 1 * ¯ 9 P ¯ - - 1x PC2 «q ! KNeQ ]nKNQ .8S4-,. O ; Q e\ed]_KNQ$® H 1 * ¯ = ¯ - - 1 ==2 «e]VO*gmj 92\¡gm]_KNQ aEc2]nEabedN'jnQCËcsQ=\]_\= ! KNQ=d

(337) ]_KNQ .8S4 , /.,Q) ; Ksgb\ORgbj 9EQ=rgbmcNd`]neabdgm;`=gm\e]/`_KsgbdNbQC\]na+]nKNQ P ¯ - - 1 ==2 «9gmdsre]¡\nQPdsrN\L]nKNQ = ¯ - A 21 # ]na*e]h\\ncNIàEORpqabdNQ=dE]_\=. ³·´µ)³·¶.

(338) b.

(339) . Started (started). Processing (stopping). Receive STOPPING Send STOPPING to all subcomponents (composite). Send Reply. Idle (stopping). Receive Send Request Receive R2S Request R R’ to C2 and NOT_R2S. Serve Request R. Receive Receive Receive R2S replies Request R and NOT_R2S. [All subcomponents are R2S (composite) Receive NOT_R2S Empty request queue]. Receiving (stopping). Receive replies. Receive Request. Receive replies. Send R2S to parent Send NOT_R2S to parent ReadyToStop (ready to stop). ebcNj_Q

(340) }. : 6. Receive STOP Send STOP to all subcomponents. Stopped (stopped). |Eabj_e]_KNO(ab]nKNQ\ncNIàEO'pqaEdNQPd;]. NK Q=d]nKNQ\ncNIàEORpqabdNQPd;]_\Lj_Q=`PQPe{bQ]nKsQ P ¯ - A 21 # ]nKsQPZ9j_Q=gE`_K9]_KNQ P ¯ - - 1x ==2 «q KNQ=dx]nKNQ=jnQ gmj_Q'dNaORaEjnQRe|d;]nQ=jndsgbk`Pgb|f\V]napNj_a2`QC\n\R¦ËcsQPcNQC\ab#]nKNQ \ncNIàEORpqabdNQ=dE]_\gmj_Q Q=O'pN]¤ZN§@QCgb`_K àEORpqab =dN=Q=2dE ]R\Q=dsrN\ ]_a&e]h\'psgmj_QPdE]Rg A21 # JLKNQPdkQ=gE`_K ` =aE=O'N pqa;\e|6 ]nQ `hKsgmdsbQ=\k]_a]_KNQ «RgE\#\na[abd9gb\#gbe|]_\L\cNI`PabORpqabdNQ=dE]h\#gmj_Q¡e|d ]_KNQ «q ] ]_KNQ

(341) QPdsram]_KNef\pNjna2`PQ=\_\#]nKNQ .8S , /.,Q) ef\Led]nKNQ ==2 « ==N «e]\nQPdsrN\¡]nKNQ = ¯ - A 21 # ]_a gme|]_\ KNQ=d]_KNQ . S4-, /.,Q) ef\¡ed]nKsQ \ncNIàEO'pqaEdNQPd;]_\=k¢KNef`_K pNjnaEpsgm;g]nQ ]_KNQ\ne|Edsgm5GJLKNQ=d)k]_KNQ .8S ,. O ; Q `hKsgmdsbQ=\ ]_ =a9=2]_ KNQ P ¯ - - « ° PC2 «gmdsr))àEds\QC¨;cNQPd;]nZgb|\ncNIàEO'pqaEdNQPd;]_\`_KgmdNEQ ]na ]nKsQ = ¯ - - « ° « [²dsgm|Z ]_KNQ\Z2\]nQPO ef\\]naEpNpqQ=r. ! !. . . . . !. . . . . . . . G. . . . /10 .

(342) .

(343) 2 . ej_\]#dNam]_Q+]nKg]=[dNQ=`PQ=\_\ngbjneZbbORQ]_KNa2rN\@]nKsgm]#KgC{bQ¡qQPQ=d9\Q=dE]qQabj_Q+]nKNQO*gb\]nQPj = ¯ - A 21 # gbjnQ dNab]+O*gmj 9bQ=r /]nKNQ

(344) c2]_cNjnQ

(345) abj]_KNe\+j_Q=¨;cNQC\^]+e\¡gC¢gbe]_Q=rgmdsr ]nKsQ

(346) j_Q=¨;cNQC\^]+dNQPQ=rs\L]_a `Pgm|5sgE ` 9*]_KNQ O*gb\]nQ=jLàbORpqaEdNQPdE]

(347) ¦j_Q QPd;]njhgmdE]L`Pgb|·§[]nKNQ=d9]nKNQ`=gm sgb` 9'j_Q=¨;cNQC\^]¢eIdNam]LqQVORgbj 9bQCr gbdsr*]nKsQPd. µµ ÀONQPRSRSR.

(348) ±}. ; S2 ) . dNab]#qQ\Q=jn{bQCrE|QCgbr2edN

(349) ]_a g r2Q=gEr[ |a2`9ITds`Qgms]nKNQ¡c2]ncNj_Q=\#e|ds\nefr2Q+]nKNQVàEO'pqaEdNQPd;]#`Pabj_jnQC\pqabdsr ]_aO*gmj 9bQ=r j_Q=¨;cNQC\^]h\$]_KNQ . S4 ,. O ; Q ]nj_e|EbQ=j_\$]nKNQ\nQ=àEdsr pNKsgb\nQ¢KNQPj_QabdNZGO*gbj 9bQCr j_Q=¨;cNQ=\]h\Lgmj_Q\nQPj_{bQ=r&¦gb\+r2Q=\_`j_e|qQCr9edY[Q=`]_e|aEdws=§ 6 `Pgbef\

(350) dNQC`QC\n\_gmj_e|ZjnQP5Q=dE]njhgmd;]g]

(351) ]nKsQ*O*gb\]nQ=j`PabORpqabdNQ=dE]QP{bQP@QC`Pgbcs\Q gm@àbORO cNdse`=g ]_e|aEds\ ]_j_gbds\e|]';Z]_KNQNedsr2edNE\=GJLK;cs\'abd`QgmQ=O'e|]n]nQ=r j_Q=¨;cNQC\^]h\ KgC{bQ qQPQ=d O*gbj 9bQCrkgm#]_KNQ `Pabds\nQ=¨;cNQPd`Q=\

(352) ¦j_Q=¨;cNQC\^]h\_§am]nKNef\O*gmj 9bQ=r j_Q=¨;cNQ=\]+gbjnQO*gmj 9bQ=rNgbdsr9]_K;cs\¡gmj_Q QPd;]njhgmdE]jnQCËcsQ=\]e\ QCgb\ne|Z er2Q=dE]_e²sQCr JLKNe\kORQ=`hKsgmdNef\nO ef\k\nc èQPd;]kabjkQ=ds\csjnedNV]_KNQ]nQ=jnORedsg]_e|aEd'abq]nKNQ¡gb|Eabj_e]_KNOtedRc\csgbs`PgE\QC\ cNd2aEj]_cNdsgm]nQPZEbr2csQ]_aV]_KNQ+gb\nZ[ds`_KsjnaEdNabcs\/gmdsr$eORpqQPjhg]_e|{bQLdsg]_cNj_QLam]_KNQORa2r2QP5be]kef\pqaE\_\eNQ#aEj g`PabORpqabdsQPdE]#abc2]h\efr2Q+]nKNQORgE\^]_QPjk]_a \]naEjnQ¡gc2]_cNj_Q¡ef\n\ncNQ=r*qQabj_Q]_KNQ¡O*gmj 9[e|dNamj_Q=¨;cNQC\^]h\P;gbdsr j_Q]_cNjnd9e]Lgm]nQ=j=[r2csjnedN ]nKNQ\QCàbdr*pNKsgE\Qam)]nKNQVO*gb\]nQPjCY[cs`hK g qQPKsg±{[e|aEcNj#e\dNam]#j_Q=¨;cNQ=dE]NcN] ¢#aEcNfrNj_Q=g 9 ]_KNQed;{mgmj_egbdE]]_Ksg]Vgm)c2]ncNj_Q=\g±¢gme|]nQCr;Z ]nKsQO*gb\]nQ=j¡gbjnQ

(353) O*gmj 9bQ=red]_KNQ \nQ=`Pabdsr pNKsgE\QENgbdsr`PabcNfr`=gmcs\nQ

(354) r2Q=gEr2a2` 92\Le]_KNQ

(355) dNaEd2 ORgbj 9bQCr c2]ncNj_Qr2Q=pqQPdsrN\+abdgRjnQC¨;cNQ=\]+gbrNr2j_Q=\_\nQ=r ]_a ]_KNQVO*gb\]nQ=j=$ ¤d ]_Ksg]`=gb\nQb;]nKNQ\nabc2]_e|aEd àbd\ef\^]h\P;abj]nKNQ`PabORpqabdsQPdE]]nKsgm]\]nabj_Q=r*]nKsQc2]ncsjnQE ed\nQPdsr2edNgORQ=\_\ngbbQ$]na]_KNQRO*gE\^]_QPj\^]hg]nedN]nKg]gr2QCgbr[ a2` 9ORebK;]

(356) a2`=`cNjCgmdsr7]_KNQRO*gE\^]_QPj ¢#aEcNfr j_Q=\]_gbj]#]_KNQ\]naEpNpNedNRgmbabj_e|]nKNO j_abO©]nKNQqQPEe|dNdse|dN¦H¢e]_KO'aEjnQVORgbj 9bQCr*c2]ncNj_Q=\h§kJLKse\ ORQ=`hKsgmdse\nOX²sdsgb|Z7Q=ds\csjnQC\V]nKNQ9gm\QPd`QRabLrNQ=gbr[ a2` 92\¢e]_KNabc2] eO'pqQCr2e|ds]nKsQ*j_Q=gb`hKsgbNe|e|]¤Zab ]_KNQ P ¯ - - « ° ==N «q ¤dEQPdNQ=j_gb;]_KNef\O'QC`_KsgbdNef\O ef\LdNab]dNQ=Q=r2QCr ? ¯ - « ± ¬ 2 ¯ ° « N° # ¯ $ # ) ) S +) . 0 ),4 O O Q 0 0O 2O O 0 0 , <J < LN,. . . )B6) ) - S/S0 ,;8O B .8 30 B ' ( ) 30 /B#S#0 )Q .8S4 )Q ; 3,) 0 )Q;. . . . . . . . . . . S 2. . . . . . ] ef\

(357) QCgb\nZ]_aQ¥[]_QPdsrx]nKNQ pNj_Q=\nQPd;]nQCrgmbabj_e|]nKNO\a]nKg] e] ef\e|ORpNQPORQPd;]nQ=r;Zxgb|@`PabORpqabdsQPdE]h\ bg dsr*gmd[Z ]^¢#a$àbORpqaEdNQPd;]_\@`=gmd*j_cNd*e|]\ne|O cN|]_gbdNQPaEcs\n|ZEej_\]=E]nKNef\@ORQ=gbds\]_Ksg]#Q={bQPj_Z'àEO'pqaEdNQPd;] Q=gm]ncNj_Q=\Vqab]nK7]_KNQRORgE\^]_QPj

(358) àEO'pqaEdNQPd;]

(359) gmdsr]_KNQ*\cNI`PabORpqabdNQ=dE]

(360) gb|Eabj_e]_KNOJLKse\

(361) gmf\a j_Q=¨;cNejnQC\ O*gmj 9[e|ds'\^]hg]_Q=\¦gmdsr9]_KNQO*gmj 9bQ=r9jnQC¨;cNQ=\]_\h§@¢e|]nK ]nKsQefr2QPd;]ne|²sQPjab]_KNQO*gb\]nQ=jàbORpqaEdNQPdE]L]nKg] ef\#qQPedN'\^]_abpNpqQCrJLKNe\#¢LgCZ*r2e qQ=jnQ=dE]L\]naEpNpNedN psjna2`PQ=r2cNj_Q=\#`Pgmd9qQVàEds\efr2QPj_Q=r gb\#e|dr2QPpqQPdr2QPdE]C . . . . . . .

(362) . . 2 . Y;]_abpNpNedN gR\neO'ps|Q

(363) ef\aEgm]nQCr `PabORpqabdNQ=dE]+e\+\ne|ORpNQbsqam]_Kedg'KNeQPjhgmjh`hKNe`=gm\nZ2\^]_QPO gmdsre|dg g] aEdNQb c2]+abcNj+gmbaEjne|]nKNO©ORebK;]qQabORabj_QVedE]_QPj_Q=\^]·aEj+\Z[ds`hKNjnaEdNe PedN ]_KNQ

(364) \]naEpNpNedNRpNjnaN`Q=\_\#ab gR\nQ]+am/àEORpqabdNQ=dE]_\=2QP{bQ=ddNab]KNeQPjhgmjh`_Kse`=gm|Z*abj_EgbdNe| =Q=r ¤dsr2QPQCr'àEds\ner2Q=jg g]@\Z2\]nQPOEgmdsr'g\QP]abq`PabORpqabdNQ=dE]h\]naqQ\]naEpNpqQ=rkTdNQ`Pgbd'gErNgmpN]abcNj gb|Eabj_e]_KNO]na\^]_abp7]nKNef\ 3;4. ; edxg \nZ[ds`_KsjnaEdNe| =Q=r¢LgCZE ¤d&aEj_r2Q=j¡]_ar2a9]_KNef\P]nKNQ*gmbaEjne|]nKNO aEjL]nKNQ

(365) O*gb\]nQ=j`PabORpqabdNQ=dE]¡\KNaEcNr qQ\npN|e|]+edE]na ! aEdNQ àEORpqabdNQPd;]'`hKNaE\nQPd]_a7qQ9]nKNQ`PQPd;]njhgm#O*gmdsgbbQ=j=\^]_abj_e|dN]nKNQ\]_gm]ncs\$am+QCgb`hKGam]_KNQ `PabORpqabdNQ=dE]L]_aRqQ\^]_abpNpqQ=rgmdsr\nZ[ds`hKNjnaEdNe| =e|ds ]_KNQPO ³·´µ)³·¶.

(366) .

(367) . gbdedE]_QPjh`QPpN]neabd7amk]_KNQR`Pgmf\¡aEc2]nEabedN ]nKNQRgb\_\Q=O NZbIe|d&abjhr2QPj¡]_a ORgbj 9]nKsQPOI]nKse\VO cs\] q QVgbrNr2QCrR]na$gb|]nKNQV`PabORpqabdNQ=dE]_\@KgC{[edN g èQPd;]#edE]_QPjnHgb`PQ¡|QCgbr2edN abc2]h\efr2Q+]nKsQVgb\_\Q=O N|Z ! gbd'edE]nQ=j_`PQPp2]_e|aEd'ab]_KNQ+`=gm\e|ds`PabORedNedE]na

(368) ]nKNQ+gE\n\nQPO s|ZEmedRabjhr2QPj/]na\]nabj_Q]nKNQ=OEabjk\nQPj_{bQ ]_KNQPO e|I]_KNQPZRgbjnQO*gmj 9bQ=rb]nKNef\@O cs\^]#qQ¡gErNr2Q=r']_a gmN]nKNQ\Q=jn{EQPjedE]_QPjnHgb`PQ=\@gb`P`PQPp2]_e|dN `Pgb|f\ j_abO abc2]h\efr2QV]_KNQgb\_\Q=O NZb

(369) / h &L P( JLKNef\'\nQ=`]_eabdGef\'r2e{[er2QCrGe|d;]na7]^¢#a&psgbj]h;\ :*¢#Q9²sjh\]$Ee|{bQ pNjnaEpqQPjn]neQ=\ abdG]nKNQ\]nabpspQCrG\nZ2\]nQPO ab `PabORpqabdNQ=dE]_\= JLKNef\*QPds\ncNj_Q=\']nKsgm] abcNj gmbaEjne|]_KNO \]naEps\']nKNQ`PabORpqabdNQ=dE]h\Re|d g\_gQ\]_gm]nQgbdsr r2a2Q=\#dsam]LORa2r2e|Z*]nKNQcs\ncsgmIQP¥[QC`c2]_e|aEd)JLKNQ\nQ=`Pabdsr \QP]LampNj_abpqQPjn]neQ=\#Q=ds\csjnQ]nKsgm]]_KNQ\]naEpNpNedN gb|Eabj_e]_KNO e\gbN|Q$]na ]nQ=jnORedsg]_Q$csdsr2QPjj_Q=gE\aEdsgmNQ$àbdr2e]_eabds\= H@gE`_K&pNj_abpqQ=j]^ZàEORQ=\¢e|]nKxgbd ed2abj_O*gmpNj_a[am^ 7¡cNQ$]_a9]nKsQ'`PabORpNQ¥2e|]¤Zamk]nKsQ'gb|Eabj_e]_KNOabj_O*gme| =e|dN ]_KNaE\nQ$pNj_a[amH\¡ef\aEc2]Vab ]_KNQ\n`PabpqQam]nKse\j_QPpqaEj]C !. KNQ=dG]nKsQ .8S4 ,. ) \Q=dsrN\ ]nKsQ P ¯ - A21 # ]_a&e]h\'\csIàbORpqabdsQPdE]h\Pe|]'dNQC`Q=\_\_gmj_e|Z KsgE\¡j_Q=`PQP e{b 1 Q=r g # A21 # j_abO gb|/\ncNIàEORpaEdNQPd;]_\'¦Hgb6 dsrQ=gb`hK7\ncNIàEORpqabdNQ=dE]VKsgb\jnQC`QPe{bQCr g j_abOXgm\cNI`PabORpqabdsQPdE]h\Pj_Q=`csj_\ne|{bQ=|ZN§ pNj_e|ORe|]ne{bQRàbORpqaEdNQPd;]R¦]nKsgm]Kgb\dsa \ncNIàEO'pqaEdN QPd;]h§jnQ=gE`_KsQ=\+g ==2 « e@gmdsraEdN|Zeke]ef\+efr2Q gbdsre|]_\ËcsQPcNQef\+Q=ORBp2]¤ZE ==+2JL K;cs\= [Zedsr2cs`]neabd)g`PabORpqabdsQPdE] ¦H¢KNe`hKe\

(370) dNam]]_KNQ*O*gb\]nQPjàEO'pqaEdNQPd;]h§j_Q=gE`_KNQC\g «e gbdsrabdNZ e^qe|]¡ef\+efr2Qbqgb|e|]_\\ncNIàbORpqaEdNQPdE]h\¡Bgmj_ PQ

(371) C2e|d ]nKNQ ==2 «qIgmdsre|]_\¡¨;cNQ=cNQ =ef\+P QPORp21 ]^# ZE S#aEds\QC¨;cNQPdE]_Zb)e|gàEO'pqaEdNQPd;]

(372) e\

(373) ed&]_KNQ «q)]_KNQPde|]e\

(374) dNQ=`PQ=\_\ngbjneZe|dx]nKNQ ¯ ¬ ° # « ==2 «7¦27Q²sdNe|]_e|aEd =§kJLKNQËcsQPcNQ

(375) amQ=gE`_KàEORpqabdNQ=dE]Nc2]+]nKNQ

(376) O*gb\]nQ=je\QPORp2]^Z:

(377) . 2. . . . . . . . . . . . . . . . . . ¯ - « ± ¬ % 2 )Q S 30H8 )Q .8S4 , /., O ; Q ' +) "!$#&%(')9*I+' , )gO*gmj 9bQ=r'j_Q=¨;cNQC\^]kef\]_a

(378) qQ\QPj_{bQ=r)m]nKNQ=dR]_KNQ .8S , /.,Q) ; Q \Q=jn{bQC\gb|sj_Q=¨;cNQC\^]h\qQabj_Q ]_KNe\VabdNQEVJLK[cs\¡]nKsQ$abjhr2QPjamk]nj_Q=gm]nORQPdE]Vabkj_Q=¨;cNQC\^]ef\V\^]_e|]nKNQ$aEj_rNQPj¡ab@gbjnj_e{gm5s¢Kse`hK7e|ORpNeQ=\ ikj_abpqQ=j]^Z <N }2 >+ab]nQ

(379) ]nKg]=dNaEdO*gbj 9bQCr j_Q=¨;cNQC\^]h\jnQC`QPe{bQ=rgm·]nQPj+]_KNe\ ^fgb\%]

(380) ORgbj 9bQCr j_Q=¨;cNQC\^]gmj_Q \]naEjnQCr&¦Q=ds¨;cNQPcNQCrs§ed ]_KNQ

(381) O*gb\]nQ=j¨;cNQ=cNQ : ? ¯ - « ± ¬ % )Q &S 30H8 )Q .8S "4Q Q O Q , ) O 3"4Q S# 3,;$0 ,)Q, S ;4$0& 3"4QS , ?. . . . 2 . . . . . . . . . . 2. j_Q=gE`_KsgbNe|e|]¤Zab[]nKsQ P= ¯ 1 # ¬ ° # « ==2 «jnQCgb`hKsgmNee]^Zam2]nKNQ#\]naEpNpqQ=r\^]hg]_Q@`Pgbd

(382) qQ@pNj_a±{bQ=d Eg \Lab|a¢+\=LY[cNpNpqa;\QQ=gE`_K\ncNI `PabORpqabdNQ=dE]¡Ksgb\¡gmdQPORp2]^Z j_Q=¨;cNQC\^]¡6 ¨;cNQ=cNQ gmdsref\efr2Qb ¤d ebcsjnQ gbdsr}2[]_KNQ

(383) àEO'pqaEdNQPd;]_\LgbjnQgmIed ]nKNQ ° # « ==2 «7¦H\]naEpNpNedN;§ \LpNjneORe]_e|{bQ

(384) àEORpqabdNQ=dE]_\gmj_Q efr2Q ¢e]_KQ=ORp2]¤Z¨;cNQ=cNQ=\=]nKNQ=Z`=gmd7\¢e|]_`h K]na ]_KNQ ==N «qJLKNQPd)g]¡]_KNQ QP{bQ=gmqa{bQQ=gb`hK `PabORpqabdNQ=dE]ef\#efr2Qb2Ksgb\gbd Q=ORp2]¤Z jnQCËcsQ=\]¨;cNQ=cNQ'¦HQ¥N`Q=p2]]nKNQVO*gb\]nQ=jh§[gbdsr e]h\L\cNI`PabORpqabdsQPdE]h\ sjnaEO. . µµ ÀONQPRSRSR.

(385) =w. ; S2 ) . gbjnQ¡e|d ]nKsQ ==2 «;]nK[cs\#e|]L`Pgb =d* j_-Q=gE A`_2K*1 ]nKN Q # ==2 « edsgb|Zb;]nKNQO*gb\]nQ=jgmdsr*j_Q= =`P cNjh-\e- {bQP° Z gb|b]_KNQ\cNI`PabORpqabdNQ=dE]h\\nQPdr]nKNQ ¯ ]_a+]nKsQPej\ncNIàEO'pqaEdNQPd;]_\=±gbdsr

(386) jnQCgb`hK]nKNQ ¯ « ==2 «q ? ¯ - « ± ¬ % & « s$ 32 !#2H ¬ 76 4 ,)B