Proving and Computing: a Certified Version of the Buchberger's Algorithm
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Proving and Computing: a certified version of the Buchberger’s algorithm Laurent Théry. N˚ 3275 October 1997. THÈME 2. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5)
(6) !"#%$"&'"()*+ &', -/.01-324" '"657(8 9 '':-; < =?>@BADCFEGHIJ@LK M6NPOLQ3R'STVUXWLYPZ[R]\_^a`JZ_b Z[RL\ R cdb ef\gb*hi\#jlkmQn?^a\_ZgoJhiR prqs^at7R*cvu!wxyvp weazPz{^Jqlc|}R~qRLb:NPRLqb:NiRYaDSJa4T xXb%c^an?R q~LJD~TSJ'zief`JRLj.
(7) )L Paa M6NPZ_jziefz?R qrjsNP^j^JYe~Yi^aY}csqZ[mZgef\}R }eaQzP\[R6cNiecrZ[cZgj1z?^JjjlZ_nP\_R6cs^]QZzPq^mZ[YP`~efY{| b ^aQzPh}cZ[Yi`hijsZ[YP`b*hPqqR YDc]csRBb:NPYP^a\_^a`JZ[RBj RziqsRBjlRLYJc3ezPq^m^f"^f6csNiR; !hib:Nmn?R q`aR qB¡ j]ef\_`a^aqZ[csNPQ cNiec'N{eaj]n?R RLY¢|}R JR \_^az?RL|£Z[Y¤cNPR
(8) u¥^}ozPq^m^f"eajjlZgj7c:efYDcLM6NiR¦^aqQhP\gecZ[^JY£^a¥cNPRea\[`J^aqZcNPQ§Z_Y u¥^}obLefY
(9) csNPRLYn{R]R ¨b Z[RLYDcs\_k
(10) b*^JQzPZ[\_RL|;efY{|
(11) h{jlRB|c^|}^b*^aQzPhPcecZ[^JY# ©ªD«¬®¯ °a !hib:Nmn?R q`aRLqL¡ j6ef\_`a^aqZ[csNPQ±DcsNPRL^aqR Q8ziqs^mZ_YP`i±}b*^JQzPh}csRLqef\_`aRLnPqei±iu¥^mo. ²g³#´lµ·¶L¸"´6¹º_µ·»¼*½. Unité de recherche INRIA Sophia Antipolis 2004 route des Lucioles, BP 93, 06902 SOPHIA ANTIPOLIS Cedex (France) Téléphone : 04 93 65 77 77 – international : +33 4 93 65 77 77 – Fax : 04 93 65 77 65 – international : +33 4 93 65 77 65.
(12) ' ! 9 !;99J ;
(13) '"() &!"#%$" ; 9a5l 9* '%-;
(14) /.01-324" '" u¥Rz{efzPZ_R q]Q^aYDcqsRjshPq'hPY¤R mRLQzP\[RYi^aY¤csqZ_DZgef\roDh#¡ Z_\RLjlc'z?^JjjlZ_nP\_Ra±)e JRLb3\_RLj~cRLb:N} Yi^a\_^a`aZ_RLj3eab*cshPRL\[\_RLjL±|}Rb*^JYt7hP`JhPR qzPqR hPJR
(15) R cbLef\gb*hP\!¦^JqsQR \
(16) d^ahijzPqWLjsR YDc^aYij+hPYPR;zPqR hPJR;|}R \¡ ef\_`a^aqZ[csNPQR|}R3 !hib:Nmn{RLqs`JR qd|}WLaRL\[^JzPz{WLR+js^ahijd\ ¡ eajjsZ_jlceaYJc~|}RziqsRLhPaR3u¥^}o? r¡ ef\_`a^aqZ[csNPQR|}R iYPZ |iefYijdu¥^}oz?R h}cdea\[^Jqj csqR]R*¨b eJb*R QRLYJcb ^aQzPZ_\[W~R*chPcsZ_\[ZgjlW]z?^ahiq"\[R'bLef\gb*hP\¦^JqsQR \ ¯ B ¬ ea\[`J^aqZcNPQRX|PR' ¥h{b:NDn?R q`aRLqL±}|}WLQ^aYijlcsq:ecZ[^JY
(17) efhPcs^aQefcsZgoJhiRa±Pb ea\_b hP\¦^aqQR \±{u¥^}o.
(18)
(19) !"$#&%'$( *)+ %' ,&./ 0 )*+. . M6NiR+b*^JQQhPYPZ[c7kcsN{ec~Z_jX|}^aZ_YP`
(20) QefcsNPRLQecsZgb jv^aYb*^JQ3zih}csRLqvZgjvjszP\_Zc~Z_Yc7!^i'xvYcsNiR+^JYPRNieaYi|F± cNPR qRveaqsRvz{RL^azP\_RvcsNiefc6eaqsRvQeaZ[Yi\[kZ_YJcR qRLjlcsRB|Z_Y
(21) b*^JQzPh}csZ_YP`3efYi|
(22) jl^J\[mZ_YP`iM6NPR kN{e aRd|}RLaRL\[^Jz{RB| JR qk+R ¨b*Z_R YDcc^D^J\_jL± -21345)+ %'6#7)89:;-* ±ac^z?R qs¦^aqQ cNPR Z_q6b*^aQzPhPcecZ[^JYijLru¥^JQzPh}csRLq!ea\ `JR nPq:e6jlk}jlcsRLQj b efYXR Z[csNiR q n?R1`aRLYPR q:ef\[·zPhPqz{^DjlRjlh{b:N~eJj#y"}Z_^a=Q <_ >?·:± @efzP\_AR < : ?DeaYi5| @ecNPR QefcsZgb $e < Sf6 ? ^Jq!|PRL|}Zgb efcsRL|cs^jlz?RLb Z {bXefqRLeJjjshib:NeJj6UXBn < C:?#eaYiD| @eJb eahP\_e Ek <_ ?±Bt7hijlc!cs^b*Z[csR~jlk}jlcsR Qj!b*^JYPYPRLb*csRB| "Z[csN UX7q FJnPYPRLq+nieJjlZgjL¢M6NPRLjsR;jsk}j7cR Qj+Nie aR
(23) n{RLR Y qsRBef\_\[k jshib b RLjj7¦hP\¢M6NPRLk¤eaqsR;hijsRL| ^aY |PeaZ[\_k n{eajsZ_j6nmk
(24) eazPzP\_Z[RB|;QefcsNPRLQecsZgb*ZgefY{jefYi|;RLYP`aZ_YPR RLqjLrM6NPRLk
(25) efqR'ef\gjs^3h{jlRB|
(26) NiRLe mZ[\_k¦^JqRL|}h{b ecZ[^JYief\ zihPqsz?^JjsRLjLxvY¤csNPR^acsNPRLq'NieaYi|F±csNPRLqsR
(27) efqRz{RL^azP\_RcsN{ec+eaqsRQefZ_YP\_k4Z_YDcsR qRLjlcsRB|¤Z[Y¤cNPRziqs^mZ_YP` eJb%cZ[mZ[c7ka)M6NiR kN{e aR6ef\gjl^~|}R JR \_^az?RL|cs^m^a\gjL± 7-G137 ±Jcs^~QRLb:N{efYPIZ H R6zPq^m^f j^aYb*^JQ3zih}csRLqL M6NiR ^aqR Q zPq^aR q:j~q:efYP`JR¦qs^JQ ¦hP\_\_k¤eah}cs^JQecsZgbjsk}j7cR Qjjshib:N¢eaj
(28) doJcsNiJQ < :S ?"efY{| xdclcsRLKq < S >?±cs^ Q^Dj7c\[kZ_YJcR q:eab*csZ_aR"^aYiRLj!jlhib:N
(29) eaj!u¥^}3o <_B6S ?·'± L~x M<_K N:?·$± @IZ HLef6q < S N6?·±meaYi|
(30) dhPzPq&\ < 6 ?·±JcNPq^ahP`JNjlk}jlcsR Qj cNieccsqkXcs^ iYi|ed`a^m^}|'b*^JQzPqs^JQZ_jsRrn?R*c7!R R Y3efh}c^aQecZ[^JY'efYi|Z[YDcR q:eab%cZ[mZ[c7kXjshib:NeJBj O7jefn?R \_\_AR <_K C:? eaYi|;Qp PRE< S} ?Q O Y^JhPq"^azPZ_YPZ_^aY#±PcsNPRL^aqR Q8zPq^aRLqj¥Nie JRvNieJ|;\[RBjsj6Z_Qzieab*c"csNieaYb ^aQzPh}cR qea\[`JR nPq:e jsk}j7cR QjLdM6NPRQeaZ[YqRLeJjl^JYZ_jdcsNiefcL±"NPZ_\[R3b*^JQ3zih}csRLqXea\[`JR nPq:ejlk}jlcsRLQjdNie aR+oJhiZ_b Sm\_k;jshPqzieajjlRB| cNPR~b*^aQzPhPcecZ[^JYz?^¥RLq¥^a#NDhiQeaYn?R Z_YP`JjL±DcsNPRL^aqR Q zPq^aRLqjreaqsRXj7cZ[\_Q\ T eaYi|z?R qNiefz{j"Z_\[\Fea\[6e k}j n?6R U] efq]¦q^aQ zPq^mZ[YP`"Niefc+efYmkQecsNiR QecZ_b Z_eaY¤bLefY RBeajsZ[\_k4zPq^aRJ
(31) dR JR qscsNPRL\[RBjsjL±#cNPR qRNie JR n?R RLY£efclcsRLQz}cjvcs^|}RLaR \_^az\gefq`aR¦qea`aQR YDc:j^f¥QefcsNPRLQecsZgb jv"Z[csNPZ_Y4cNPR ^JqsRLQ zPqs^JR q:j ]xvYPR^a cNPR {qjlc!efclcsRLQz}c!N{eaj¥n{RLR YcNPRXydh}cs^JQecsN
(32) zPq^ft7RLb*2c <_K V:?·M Rm^aQRdqRLb R YDc¥R W?^Jqlc:jZ_Yib \[hi|PR XJeab S}jl^JY#¡ j !^aq S4^JY b*^JQzPh}cefcsZ_^aYiea\¥ea\[`JR nPq:e <[B: ?·M± LdefqqZ_js^aY#¡ j]!^aq S4^JY¢qsRBef\!efYiea\[k}jsZ_j <_a ?±reaYiY| RmNiea$Y SefqB¡ j !^aq S^JY£U F}|}R \¡ jcNPR ^JqsRLQZj < SJ6S ?· [Z_Yief\_\[k;cNPR\gefq`aRBj7cvb hPqqsRLYJcXeclcR Qz}cXZ_jL±"ZcNP^ah}c~efYmk|}^ahin}cL± cNPZR @IZ HLeaq!ziqs^at7RLb%5c < S N:?· M6NPRLqsRv¥^JhP\g|n{RX^anmmZ_^ahijn{RLYPR Pc:j!Z[Y
(33) Nie mZ[YP`3e]¦q:efQR !^aq S"NiR qRdn?^fcsN
(34) zPq^DZ_YP`eaYi|b ^aQzPh} cZ[Yi`eaqsR~z?^JjjlZ_nP\_AR \ y\_`a^JqsZ[csNPQjdZ[Yb ^aQzPh}cR qdea\[`JR nPq:ejlk}jlcsRLQjdefqR]hijlh{ef\_\[k;RLoDhPZ_z{RB|"ZcN\_Zcscs\_]R SmYP^"\[RB|}`aR]^a csNPRLZ[qXefzPzi\[Zgb eanPZ[\_Z[c7k;eaYi|b*^JqsqRLb*csYPRBjsjL^ O·cdZgjde¥RL\[\[ SmYP^"Y
(35) eab*cdcNiecB±in?RLb eahijsR'^f1QZ_jshijsR'^aq Z[QzP\_R QRLYJc:ecZ[^JYR qq^aq:j ±B^aYPR!jlNi^ahP\g|ea\[6e k}j#|}^ahinP\[R ·b:NiRLb SXcsNPR!qRLjshP\c:j `JZ[JR Y'nmk]edb ^aQzPh}cR q ef\_`aRLnPqei0M6NiZ_j;zPq^anP\_R QZgj;R aRLY Q^aqR£b qshib Z_ea\d¦^Jq
(36) `JR YPRLqea\·zPhPqz?^JjsRb*^aQzPhPcsR qea\[`JR nPq:e jlk}jlcsRLQjX"NPRLqsRcsNPR3\_Z[nPq:efqk^f¥ea\[`J^aqZcNPQjZgjXQ3^Dj7c\[k|PR aRL\[^Jz{RB|nmkcsNPR3hijsR q~b*^JQ3Q+hPYPZ[c7ka O·cZgjenPZ[c+|}RBb*R Z_mZ[Yi`csNiefc'R*mcsRLYijlZ_^aY{j]^f6csNiRjlk}jlcsRLQ b eaY¤n{Rz?R qs¦^aqQRL|"Z[csNP^Jh}c`aZ_mZ[Yi` jl^JQRvRLDZg|}RLYib*RX^f)csNPRLZ[q"b*^JqsqRLb*csYPRBjsjLy"|P|}Z_YP`3e+zPq^mZ[YP`3b*^JQ3z?^aYiR YDc¥c^b*^aQzPhPcsR q"ea\[`JR nPq:e jlk}jlcsRLQj6!^ahi\_|
(37) Qe SaR~Z[cz{^DjsjsZ_nP\[RXc^j7c:ecsR]eaYi|ziqs^JRvzPq^az?R qscsZ_RLj"ean{^Jh}cef\_`a^JqsZ[csNPQjL M6NPR ^JqsRLQ zPq^aRLqj3hijshiea\[\_k b ^aQR"ZcN aR qk \_Z[clcs\_R4b ^aQzPh}c:ecsZ_^aY z?^¥RLqL M6NPZ_jQAe SaRBjZc |}Z[¨b hP\[c1cs^'b*^JQzP\[R csR6zPq^m^f j¦^aq"NPZgb:Njl^JQR!b ^aQzPh}c:ecsZ_^aYjlcsR z{jrefqR¥YiR RL|PRL|F` _1aRLYjlZ_QzP\[R QecsNiR QecZ_bLef\J eab%c:jjlhib:N'csNiefc csNiR¥zPqZ_Qea\[Z[c7k~^fijsQef\_\JYmhPQ+n{RLqjefqR^a csR YNiefq:|~cs^vRLjlceanP\[ZgjsN Z[Y{jlZg|}R'e3zPq^aR qB a [Z[Yiea\[\_k
(38) ¦^aqdRB|}hibLecsZ_^aY{ef\#zPhiqsz?^JjsRLjL±PZ[cv!^ahP\g|;n{R+Z_|}RBef\Fc^Nie JR'ejlk}jlcsR Q "NPRLqsR'^JYPR'b*^JhP\g| |}R {YPRQecNPR QecZ_bLef\}^Jn}t7RLb*cjreaYi|+csNPRLY3n?^fcNb*^JQ3zih}csReaYi|3zPqs^JR¥ziqs^Jz{RLqlcZ[RBj1efn?^ah}c1cNPR Q !hPZ_\_|PZ[YP`vjlhib:N'e"jsk}j7cR Q¦qs^JQ jb*q:ec:b:NX!^ahi\_|XqRLoDhPZ_qsRreaYXZ_Qz{^Jqlc:efYDc R W?^JqlcB y Q^aqR1zPq:ef`aQefcsZgb eazPzPq^JeJb:N¢b*^aY{jlZgj7c:j3Z[Y b*^aQzP\_R QRLYJcZ[Yi`eaY R*}Zgj7cR YDcjlk}jlcsR Qb O·v¥R;\[^m.^ S¢ecb*^aQzPhPcsR qea\[`JR nPq:e. cdcfeQgKhijk.
(39) 9. >. . jsk}j7cR QjL±csNPR;jlZ[cshiefcsZ_^aY¢Zgjjl^JQR "Niefc+|}Z[¨b hP\[cL M6NPR;\_eaYP`ahiea`aRBj]^fd`JR YPRLqea\·zPhPqz?^JjsRb ^aQzPh}cR q ea\[`JR nPq:e¤jlk}jlcsRLQjNie aRYi^fcn?R RLY |}RLjsZ[`JYPRL| "Z[csN cNPR4Zg|}RBe¤csNiefcz?R ^azi\[R!^ahi\_| \_Z SJRcs^ qsRBeajs^aY ean{^Jh}ccsNPRLQ [i^aqR*PeaQ3zi\[RJ±rcsNiR\_eaYP`ahiea`aR
(40) hijlRB| nmk @efzP\_RNieaj3YP^¤YP^acsZ_^aY ^fv\_^}b ea\!eaqsZgefnP\_RLj Z_YijsZ_|PR~eziqs^}b*RB|}hPqRaM6Nmhij ±{j7c:ecsZ_YP`zPq^az?R qscsZ_RLj!^f1ef\_`a^JqsZ[csNiQj¥chPYPq:j6^ah}c"c^3n?R]aRLqsk
(41) |}Z¨b hP\cB O·P!Rr\_^D.^ SXefc#csNiR ^aqR Q zPq^aR q:jL±*csNiRQefZ_Y]zPq^anP\_R Q Z_j R*¨b*Z_R Y{b*ka) NPZ_\[R¥Q3^Dj7c csNPRL^aqR Qziqs^JR q:j ea\[\_^ h{j1cs^+|}R iYiRef\_`a^aqZ[csNPQjL±aR*}RBb*h}cZ[YP`~cNPR Q0ZgjrZ_YPR*¨b*Z_R YDcn?RLbLefhijsR"Z[cZ_jz{RLql¦^JqsQRB|+Z_YijsZ_|PR"csNPR ziqs^JR qZ_Y£eaY4Z_YJcR qzPqR*cefcsZ_aR'6e kaXqsZ[csZ_YP`;R*¨b*Z_R YDc]b*^aQzPZ_\_R q:jZ_YijlZg|}RezPq^aRLqdZgj~j7cZ[\_\1efY^Jz{RLY oDhPRBj7cZ[^JY#¥ydYef\[csRLqsYiefcsZ_aR]js^a\_h}csZ_^aYZgj6¦^aqcsNPRjsk}j7cR Q cs^n?Refni\[R~c^csq:efYijs\_efcsR]Z[cjvef\_`a^aqZ[csNPQj6Z_Y eaYP^fcNPR q6zPq^a`JqeaQQ3Z_YP`3\_eaYP`ah{ef`aRdcsNiefcNieaj"eb ^aQzPZ_\[RLqL xvhPq¥efzPzPq^JeJb:N¦^J\[\_^jcNPRvjsRLb ^aYi|3\_Z[YPRJ£RN{e aRb:NP^DjlRLYcNPRcNPR ^JqsRLQzPq^aRLq¥u¥^mo'cs^|P^'^ahPq R }z{RLqsZ_QR YDcjL~u¥^}oefzPz?RLeaqjXefY£efzPzPq^aziqsZgecR'b:NP^aZgb*RJ [Z[q:jlcX^aef\_\ ±Z[cXZgjvezPq^aR qdnieajsRL|^JYc7kmz{R cNPR ^JqskJ±}jl^+Zc"QefYPZ_zPhP\gecRLj!^anPt7RLb%c:j!"ZcN;e+qsZgb:NYi^fcsZ_^aY
(42) ^f#c7kmz?RLjL1M6NPR]y"}Z[^JQ8jlk}jlcsRLQ Nieaj6jsNP^"Y cNPR]jlhiZc:efnPZ_\[Z[c7k^f)c7kmz{RBjc^|}RLjb*qZ[n?RXQefcsNPRLQecsZgb ea\^an}t7RBb%cj!Z_Y;b ^aQzPh}cR q"ef\_`aRLnPq:ePQ RmRLb ^aYi|F±iu¥^}o ziqs^Jz{^DjlRBj1efYR*mcsq:eab*csZ_^aYQRLb:NieaYPZgjlQcsNiefcL±D`aZ_aR YeaYef\_`a^aqZ[csNPQ|PR iYPRB|Z[YcNPRdjsk}j7cR Q±J`JR YPRLqefcsRBj eaY
(43) Z_QzP\_R QR YDcefcsZ_^aYZ_YcNPR]\_eaYP`ah{ef`aR'xXb eaQQ\ <[ 6 ?#csN{ecdb eaY
(44) n?R]R*¨b Z[RLYJc\[k
(45) b*^aQzPZ_\_RL|F O7j
(46) csNiZ_jjs^a\_h}csZ_^aY zPqeJb%cZ_bLef\ V NiecZ_j
(47) cNPR£R W?^Jqlc;Z[YmJ^a\_aRL| Z[YcsqkDZ_YP` cs^ b*R qscsZ[¦k jlcefY{|Pefq:| ea\[`J^aqZcNPQj¦^aq!b*^aQzPhPcsR q¥ef\_`aR niqe~jskmjlcsRLQ j JO·cZgj1c^'efYijs!R q1c^]csNPRBjlRvoJhiRLjlcsZ_^aYijcNiec¥¥Rd|PRLb*Zg|}RB| c^!^aq S
(48) ^JYcsNiR+zPq^m^fr^ab*^aqqRLb%cYPRLjj^a1csNPR !hib:Nmn{RLqs`JR qB¡ jdef\_`a^aqZ[csNPQX£R3j7c:efqscsRL|¦qs^JQ e iaR z{ef`aRv|}RLjb*qZ[zPcsZ_^aY^a#csNPR~ef\_`a^JqsZ[csNiQ Z_Y
(49) e+j7c:efYi|Peaq|Z_YDcsq^}|}hib%cZ[^JYn?^mA^ S=< ?rM6NPRv`a^Def\i6eaj!jsZ[QzP\_AR \ c^|}R JR \_^azR YP^JhP`aNQecNPR QecZ_bLefM\ SmYP^"\_RL|P`aRZ[Y u¥^}o¦^JqjlcecZ[Yi`
(50) cNPRea\[`J^aqZcNPQ efY{|£ziqs^mZ_YP` Z[cjdb*^aqqRLb%cYPRLjjL M6NPRdziefz?R qrZgj1^Jqs`DefYPIZ H RB|eaj1¦^a\_\[^jLB O Y RmRBb%cZ[^JYSX!R"Z_YJcqs^}|}h{b*R6csNiRd !hib:Nmn{RLqs`JR qB¡ jef\_`a^JqsZ[csNiQ; O =Y RmRLb ^aYi|
(51) !R~j SJR*cb:N
(52) Zc:j!zPqs^m^a ^f)b ^aqqsRBb%cYPRLjj d O =Y R}RLb%cZ[^JY >3¥RXzPqRLjsR YDcdu¥^moeaYi|R }zP\_eaZ[YcsNPR QeaZ[Yj7cR zij6^a^JhPq"|}R JR \_^azPQRLYJcBQ [)Z_Yiea\[\_k!R~|Pqe jl^JQ3R~b*^JYib*\_hijsZ[^JYij"efY{|
(53) |}Zgjb*hijj!¦h}cshiqsR~!^aq S?. -
(54) .0
(55) -32£") '"657( 9* '%-; M6NiRv !hib:Nmn{RLqs`JR qB¡ jef\_`a^aqZ[csNPQ0Z_j!e -213+ ef\_`a^JqsZ[csNiQ !^aq SmZ[YP`]^JYz?^a\_kDYi^aQZ_ea\_jL1UXZ[JR Ye\[Zgj7c ^a)z?^a\_kmYP^aQZgef\gj6ZcqR*chPqsY{j"e3b ^aQzP\_R*cRL|
(56) \[Zgj7c"cNiecN{eaj"e3ziefqscsZgb*hi\_eaq"zPqs^Jz{RLqlc7kJ !R ¦^aqRXziqsRBjlRLYJcZ[Yi` cNPR'ef\_`a^JqsZ[csNiQ;±m!R iqjlcYPRLRL|cs^|}R iYPR'js^aQRvn{eajsZ_bXYP^acsZ_^aYij < ?·
(57) . !#"$"%'&)(+*,.-/$. O YcsNPR ¦^a\_\[^"Z_YP` !R b*^JYijsZ_|}RLqhijshief\+z{^J\[kmYP^JQZ_ea\_j4^f|}Z_QR YijsZ[^JY10 ^aRLq4efYeaqsnPZ[csq:efqk {R \g| T32'±5476D±98$6D±5:;6D±5< 6D± =>6J±9?@6U%1 NPRLY
(58) Z_\[\_hijlcsq:ecZ[YP`|}RiYPZ[csZ_^aYij6"Z[csN;R*PeaQ3zi\[RBj ±m!R~eaqsRXhijshief\_\_kb*^aY{jlZg|}R* qZ_YP`z{^J\[kmYP^JQ3Zgef\gj!^f\[^ |}Z_Q3RLYijsZ[^JY AT 0CBED+^aq0FBHG.!U ^JR q¥csNPR]qRLea\FYmhPQn?R q:j5AT 2EBJIQ%U y z?^a\_kDYi^aQZ_ea\Z_j"b ^aQz{^DjlRB|^a)e3\[Zgj7c"^a 4-* Qr_ eJb:NcR qQ Z_j"b ^aQz?^JjsRL|^ae K3 K " efY{| e - 3-8 )+ M6NPR;jlR c+^adb*^mR*¨b*Z_R YDc:j'ZgjL2£M6NPR;jlR c+^fQ^JYP^aQZgef\Zgj|PR YP^acsRL|¢nDkNMPO¤"NiR qR. Zgj]cNPR
(59) |}Z_QR YijsZ_^aY#M6NPR;jlR c^f6cR qQj+efYi|¢z{^J\[kmYP^JQ3Zgef\gj'eaqsR|}RLYP^fcRL| nmRk Q+S.TVUXW¤efY{P| YZS.TVUW qRLjsz?RLb%cZ[JR \_kaM ^]`JZ[JRe'b*^JYib*qR*cR"R*PefQzP\_Ra±Db*^JYijlZg|}RLq1csNPRd¦^a\_\[^"Z_YP`]z?^a\_kmYP^aQZgef\\[5D^]`_\4Ca^bc]>dZ8eGi¡[ O·c:j iq:j7c6csRLqsQ Z_j"b ^aQz?^JjsRL|
(60) ^f cNPR'b*^mR ¨b Z[RLYDfc [ S}¡PeaYi|csNPR]Q^aYi^aQZ_eag\ [ ]`_a¡}"NPZ[\_R~csNiR]\_eJj7c6csRLqsQ Z_j 0. c. hji +hk.
(61)
(62) !"$#&%'$( *)+ %' ,&.. b ^aQz?^JjsRL|;^fcsNPR+b*^mR*¨b*Z_R YD)c [ ·i¡iefY{|;csNPR'YmhP\_\#Q^aYi^aQZ_ea\ [ b ]a¡[ O YcsNiR~¦^a\_\[^"Z_YP`!R]YP^fcR]csNPR mY hP\_\FQ^aYP^JQZ_ea\?;UW
(63) eaYi| =+cNPR]YmhP\[\ z{^J\[kmYP^JQ3Zgef\ R;b ^aYijsZg|}R qc7¥^£^az?R q:ecsZ_^aY{j'^aRLq]csNiRLjsRz?^a\_kDYi^aQZ_ea\_jK\ea|i|}ZcZ[^JY efY{| QhP\[csZ_zP\_Z_bLecZ[^JY¢nmk¤e cR qQ)y"|P|}Z_YP`Xc7!^dz?^a\_kDYi^aQZ_ea\_jb*^JYijsZ_jlcjZ_YQR q`aZ_YP`vcsNPR!\[Zgjlc^aPcsRLqsQjnmk'ea|P|PZ[YP`vcsNiR!b ^DR ¨b*Z_R YDcj ^a{cR qQj"ZcNcsNPRjefQR"Q^aYP^JQZ_ea\ [P^aqR*PefQzP\_Ra±aeJ|P|}Z_YP`~csNiR6c7¥^~z?^a\_kDYi^aQZ_ea\_j [5D^]`_c4 a;b,]d+8 GP¡ eaYi| [ bcdL8JD^bc]d74 b8JDP¡1`aZ_aRLj+cNPRz{^J\[kmYP^JQZ_ea!\ [ b,d 4 D^]`_f4EG b,]d74 bR8HaP¡[ @hi\cZ[zP\_kmZ[Yi`¤e z?^a\_kmYP^aQZgef\!nmk¤ecsRLqsQ b ^aYijsZ_jlcj+Z_Y Qhi\cZ[zP\_kmZ[Yi`£RBeab:N¤csRLqsQ/^acsNiR
(64) z?^a\_kmYP^aQZgef\gjnmkcsNPR
(65) csRLqsQ RXQhP\[csZ_zP\_kc7¥^csRLqsQj¥nDkjsZ_Q3zi\[kQ+hP\cZ[zi\[kmZ_YP`+z{efZ_qs"ZgjlRdcsNPRLZ[q"b ^DR ¨b*Z_R YDcj!efYi|Q^aYP^JQ3Zgef\gjL` Rm^ ¦^JqvR PefQzP\_Ra±FQhi\cZ[zP\_kmZ[Yi`cNPR+z?^a\_kmYP^aQZgef\ [ ]_$8Nb,]!8NGP¡FefY{|csNiR+`JZ[JR YcR qQ [VD;bJ¡?`JZ[JRLjdcsNPR z?^a\_kmYP^aQZgefX\ [5D^b ]`_f8 D;bc_ ]f8 ba¡[D O Y¤csNPR¦^J\[\_^"Z_YP`i±#!R^aRLqs\_^JeJ|cNPRjskDQ+n{^J\" ¡ _¡#c^|}R Yi^fcsR n?^fcNQhP\[csZ_zP\_Z_bLecsZ_^aY;^fQ^aYP^JQZ_ea\_j6efY{|
(66) Q+hP\[csZ_zP\[Zgb efcsZ_^aY;nmk
(67) e+csRLqsQ
(68) 3
(69). N*,$(+*/(. &) g. ydY 7 .
(70) UXW
(71) ^aRLq¥Q^JYP^aQZgef\gj6Z_j"enPZ_YieaqskqR \gecZ[^JYcNiecZgj csq:efYijsZ[csZ_aRA\ _ M O U W U Z[qq&R %iR mZ_a.R \' M O )(* U W ydY^aq:|}R q UW^aRLq6Q3^JYP^aQZgef\gj6Z_j ;;)+ Z[. W _!#" $ U W _. $ + M O ,$ U W -. U W . $B/ 10 32. ydY^aq:|}RLq UW^aR q¥Q^aYP^JQ3Zgef\gjrZgj +,+ 3 . Z[FcsNPRLqsRvR*}Zgj7c:jYP^+Z[Y iYPZ[csR~|}RLb qsRBeajsZ[YP`+jlRBoJhiR Yib R ^a)Q^aYi^aQZ_ea\_jK\ 4 '5 6 87 M O 9";: 5 86 87&<$B/7&<=> . ,7&< U W87&<=>. ydY^aq:|}R q UW^aRLq6Q3^JYP^aQZgef\gj6Z_j"jefZg|cs^n?R )A -8 &#+ Z csNPR]YmhP\_\#Q^aYi^aQZ_ea\FZ_j6QZ_YPZ_Qea\F¦^aq6cNPR]^aq:|}RLqK\> MPO(* csNPR]^Jq|PR q6Z_jdb*^aQziefcsZ_nP\_RX"Z[csNQ^aYi^aQZ_ea\FQhP\[csZ_zP\_Z_bLecZ[^JY \ ?0@BA MPOC. UW 0 ". AD . UWe? UXW. UXWEAD 0. y j7c:efYi|Peaq|^Jq|}RLq]Z_j'csNPR + F. %7)1"' ^aq:|}R qBR iq:j7c3b:NP^m^JjsRefY efqnPZ[csq:efqk^aq:|}R qZ_YP` HG ^JY cNPReaqsZgefnP\_RLjqsRLzPqsRBjlRLYDcsZ_YP`3csNPR3|}Z[QRLYijlZ_^aYCb O HG b OI J HG b HG b M6NPRLY#±?¥R|PR iYPRcsNPR \_R*}Zgb*^J`aq:efzPNPZgb^Jq|PR q 1K eJj \ < < $L + M O $BJbM b MON Jb OM W K bP b P N Jb PO W / B Q ". :CR9S 0@TVU XW U 4 '5 R T 7 B W 7. cdcfeQgKhijk.
(72) 9. V. . O·cZgj6RLeJjlkcs^b:NPRLbScsNiefc"csNPZgj"qR \gecsZ_^aY
(73) Z_jdec^fc:ef\±}¥RL\[\[ ¦^JhPYi|}RB|
(74) eaYi|ea|}QZgjsjsZ_nP\[R~^Jq|}RLqL. UXZ_aRLYefYeJ|}QZ_jjsZ[nP\_R4!R \_\[ ¦^JhPYi|}RB| cs^acef\X^aq:|}RLq UW ^aR q
(75) Q^aYP^JQ3Zgef\gjL±"ZcZ_j
(76) z?^JjjlZ_nP\_Rcs^ qR ziqsRBjlRLYJce z?^a\_kmYP^aQZgef\~eajefY ^aq:|}R qRL| \[Zgj7c^a'csRLqsQjL±Xjshib:N cNiec;csNiR\_Zgj7c^f3b*^aqqRLjsz{^JYi|}Z_YP` Q^JYP^aQZgef\gjZ_j1^Jq|PR qRL|F±fZ RaRLeJb:N+Q^aYi^aQZ_ea\PZ_YcsNPR"\_Z_jlcZgj1`aqRLefcsRLqcsNieaY+cNPR^JYPRLjrefcrZc:jrqZ[`JNDcL`[P^aq R PefQzP\_Ra±fcNPRdz?^a\_kmYP^aQZgef\\[5D^b ] 4 D^bc]>d+4FaP¡aZgjr^Jq|}RLqsRB|3"ZcNqsRBjlz?RLb*crcs^]cNPRd\_R*}Zgb*^J`aq:efzPNPZgb!^aq:|}R q "NiR qR ] G b O Y4^Jq|PR qc^;jlcsqRLjjdcsNPR3^aq:|}R qRL|qR ziqsRBjlRLYJc:ecZ[^JY^f1csNiR+z?^a\_kmYP^aQZgef\±?!Rh{jlR+csNPR jskmQn?^a\ = Rm^i±F"NiR YYPR RB|}RL|F±#csNPRzPqR mZ_^ahijXz?^a\_kDYi^aQZ_ea\"Z[\_\1n{R"qZcscsRLY [5D^b ]= D^bc] d = aP¡[* O Y cNPR~¦^a\_\_^"Z[YP`{± UXW;ef\_!e k}j!|}R Yi^fcsRBj"efYea|PQ3ZgjjlZ_nP\_RX!R \_\[ ¦^JhPYi|}RB|c^fcea\F^aq:|}R q6^JR q6Q^aYP^JQ3Zgef\gjL
(77) . E'*, *, UXZ_aRLY¤csNPR
(78) |}R i YiZcZ[^JY ^f"z{^J\[kmYP^JQZ_ea\_jL±)Z[cZgj'z?^JjjlZ_nP\_RcsNiefc+z?^a\_kmYP^aQZgef\gj'b eaqsqkcsRLqsQj]"Z[csN YDhi\[\. b ^mR*¨b*Z_R YDcL _roDhief\_Z[c7k^JR q'z?^a\_kmYP^aQZgef\gj'Zgj'cNPR Y hPYi|}RLqjlcs^m^}|¢eaj'csNPR
(79) RLoDhiea\[Z[c7k¤"ZcNP^ah}c3zie kmZ[Yi` efclcR YDcsZ_^aY;cs^csR qQj"Z[csNYmhP\_\)b ^DR ¨b*Z_R YDcL6M ^`aZ_aR'eQ^aqR'ef\_`a^JqsZ[csNPQZgb~eab b ^ahPYDc^acNPZgjYP^acsZ_^aY#± !R¤b efY iqjlc|}R iYiR£cNPR£¦hPYib%cZ[^JY 6 csN{ecb*^JQ3zih}csRBjcNPRYP^aqQef\v¦^aqQ^f+e z{^J\[kmYP^JQZ_ea\vnmk qR Q^mZ_YP`cR qQj6"ZcN;YmhP\_\ b ^DR ¨b*Z_R YDKc \ 3= BJ=
(80) M O Y S.TVU W 3= 6 = B
(81) 2 M O V Y S.TVU WBJ =>6 " 'D = B = >
(82) O·cZgj!csNiR Yz{^DjsjsZ_nP\[RXc^j7c:ecsRXcNie6c \ . B . YgS.TVUXW. >. Q ". > B >. "NiR qRvcNPR]RLoDhiea\[Z[c7k^JYcNPR]qsZ_`aNDc"Zgj!csNPR'jsZ[QzP\_R'jlcsqhib%chPqea\RLoDhief\_Z[c7ka
(83) "!. $#. &%. ('. $( -`(+&#$ $*/(.$". -/ g!#*/*,( $")'\$*!-;. R {qjlc3|}RiYPR;|}Z[mZgjlZ_^aY ^JR q'Q^JYP^aQZgef\gj R}Z[Yib RcNPR
(84) |}Z_mZ_jsZ_^aY¢ZgjYi^fcc^fc:ef\±!R {qjlc+|}RiYPR
(85) e qR \gecZ[^JY+-,/.10LUWE\ 2+3,/.40LUW,. MPO. . Q ". M6NiR Y
(86) csNPR'|}Z_mZ_jsZ_^aY^aRLq¥Q^aYi^aQZ_ea\_j$< U W Zgj|}RiYPRL|eJj\ 5+3,/.40. L + M O . : _ MNOC B _ . U W! -9" B ,$ < U W ! . M6NiZ_j|}Z_mZ_jsZ_^aY b efY n?R\[Z[ csRB| c^¤z{^J\[kmYP^JQ3Zgef\gjL±¥js^!R`aR c3cNPR^aYiRjlcsRLz |PZ[mZgjlZ_^aYJ< 6£|}R {YPRL| eaj ¦^J\[\_^j\ 2+-,/.10. P M O U W 9" X L + 2 + Y S.TVU W BJ=>6 ". 7 . . . c. hji +hk.
(87)
(88) !"$#&%'$( *)+ %' ,&.. UXZ_aRLYejsR*cd^az?^a\_kmYP^aQZgef\gj R±{ZcXZ_jdYP^ z{^DjsjsZ_nP\[R'cs^|}Ri YPRcsNPR'qRL|Phib%cZ[^JYqsRL\_efcsZ_^aY eajcsNPR jsQef\_\[RBj7c"qR \gecZ[^JY
(89) jshib:N;csNiefcK\ =. . . YgS.TVUW MPO . 7 . 2. < 6 . . =. . B. . . - . Q+S.TVUW UW , 9". ". 8 < 6 <5UXW . = = . 2+-,/.10 YZS.TVUW BJ =6 " = ! " C = C = < 6 . . =. . -. Rb efY4YP^|}R {YPRcNPR3qsR%iR*}Z_aR'cqeaYijsZcZ[JR+b*\_^JjshPqR'^fcsNPR3qsRL\_efcsZ_^aY 'M6NPRqR \gecZ[^JY = _Z j |PR iYPRB|eaj!csNiR'jlQef\_\_RLjlc6qR \gecZ[^JY
(90) jshib:N
(91) csNiefKc \ YZS.TVUW- = _ YZS.TVUW " = _ " = _ R'b eaY;ea\_js^|}R iYiR~csNPR]zPqRL|PZ_bLecsR~^aZ_qsqRL|Phib*Z_nPZ_\[Z[c7k T
(92) T R
(93) eaj!¦^a\_\_^j\.
(94) T R
(95) Q " YgS.TVUXW')(* M6NiZ_j6\_RLeJ|Pj!cs^cNPR]qsRB|}hib*csZ_^aY |PR iYPRB|
(96) eJj!¦^a\_\[^jK\ Q " = T
(97) T R
(98)
(99) X &) $ T. UXZ_aRLYc7!^Q^aYP^JQZ_ea\_jL±DcsNPRLqsR]R mZgjlcje3\_RLeajlcb*^JQ3Q^JY;Q+hP\[csZ_zP\[Z_R qB^[i^aq6csNiZ_jL±P!R'jlZ_QzP\[kceSJR~csNPR QefmZ_Qef\?R*}z?^aYPRLYJc6Z_Y
(100) RBeab:N|}Z_QR YijsZ_^aY#Q[P^Jq6R*PefQzP\_Ra±m!RdNie JR R &?3b ]b,] _ BJb ] _ 1£R |PR iYPR~cNPR~¦hPYib*csZ_^aY R ]eaj!¦^J\[\_^j YZS.TVUW R ]>= B = Y S.TVU W R ]3= B = M O > Y S.TVU W ! R ] '=>6J = B R ]> MPO ' YZS.TVUW ! R ]3= 6 = ' B ! R ] ' MPO 7 2 YZS.TVUW = B = B ! R ]' B ? 6 < 6 #"%$& , <5UXW . . B. cdcfeQgKhijk. =6 H B = 6 9" 8 ? 6 < 6 . '"%$&. . , <5UW .
(101) 9. C. . O YcNPR\_eJj7c'bLeajsRa±FcNPRz{^J\[kmYP^JQZ_ea\ R . , . n?R'|}Z_mZ_|}RB|;nDkn{^acsNz{^J\[kmYP^JQZ_ea\_j efY{| \ . 6 . B18? 6 < 6 "%$& , <5UW B 8 ? 6 < 6 "%$& , <5UW b*^JqsqRLjsz{^JYi|Pj¥cs^3cNPR Z_q|}Z ?RLqsRLYib*R ! R ] ' B 8L. R , R? CD R ,R? D. . M6NiRv¦hiYib%cZ[^JY 1+ 9. qR ziqsRBjlRLYJc:jvcsNPRjsQef\_\[RBj7c'z?^a\_kmYP^aQZgef\csNiefcb eaY. W. .\.
(102) . (+.
(103) . H* *f(+* *!gP$ - (P"(' *)(+*'(+*"!AP#'*, -$. y z?^a\_kmYP^aQZgef\ .)+ Z_j"ejsR*c^a)z?^a\_kDYi^aQZ_ea\_j csNiefc6ZgjjlceanP\[R~hPY{|}R q ea|P|PZcZ[^JY \9 > 4
(104) QhP\[csZ_zP\_Z_bLecZ[^JY;^ae3cR qQJ\ Q+S.TVUW!) ? UXZ_aRLYejsR*c!^f z?^a\_kmYP^aQZgef\gj ±DcNPRvZg|}RBef\
(105) %.37)4 a#9 ZgjrcNPR~jlR c¥^f)z{^J\[kmYP^JQ3Zgef\gj
(106) jlh{b:N cNiec : 5 B 7 M M jshib:N
(107) csNiefc T 5 M Q+S.TVUW}efYi| M O·c]ZgjXRLeajskcs^b:NPRBb S;csNiefcXcNPZgj]Mjl R c~Zgj~efYZ_|PRLef\* [Z_Yief\_\_ke;jsR*c~^f!z{^J\[kmYP^JQZ_ea\_j Zgj]jefZg|cs^;n?Re #) ^f1efY;Z_|PRLef\ Z W
(108) B ? M)^n?RefnP\_Rc^|}RLb Z_|}R"NPR*cNPR q+^aq'YP^ace`aZ_aRLY¤z{^J\[kmYP^JQ3Zgef\n{RL\[^JYP`Jj~c^efY Zg|}RLea\rZgjefY Z_Qz{^Jql c:efYDcdzPq^az?R qsc7k
(109) csNiefcXb eaYn{R+hijsRL|c^jl^J\[JRe\gefq`aR]YmhPQ+n{RLqv^arZ[YDcsRLqsRBj7cZ[Yi`zPqs^JnP\_R Qjdb ^aYib R qYPZ[Yi` z?^a\_kmYP^aQZgef\gj R'jse kcNiecdejsR*c^a)z?^a\_kDYi^aQZ_ea\_j Zgj%e $ &.#3*#7) Z W . YgS.TVUXW. . .
(110). Q ". . =. O Y^fcsNiR q!^aq:|PjL±Je3UXq7FJnPYPR q¥nieajsZgjrZgj¥b:NieaqeJb%cR qZ HLRL|+nDke`aR YiR q:ecsRB|3Z_|}RBef\?"NP^JjsR^JYP\[kZ_qsqRL|Phib*Z_nP\_R z?^a\_kmYP^aQZgef\1Zgj]PN M6NmhijL±#c^b:NPRLbS Z[e;`aZ_aR Yz?^a\_kDYi^aQZ_ea\1n{RL\[^JYP`JjXc^efY¤Zg|}RLea\1`aR YiR q:ecsRB|4nmk4e UXqaF niYPR qXnieajsZgj ±F^JYPR3jsZ_Q3zi\[kYiR RL|ijdc^qsRB|}hib*R3Z[cXc^;eaY£Z_qqsRB|}hib*Z_nP\_R+z?^a\_kmYP^aQZgef\efYi|4csNiR Y¤b:NPRLbS Z[cNPZ_j3z?^a\_kmYP^aQZgef\Zgj N ^Jq+YP^acL¤y `JR YPRLqea\qRLjshP\[c+nmkbL Z_qs^JYieS ejlcefcsRBj'cNiecB±r`aZ_aRLY efYmkZ_|}RBef\ `JR YPRLqefcsRB| nmk¢e£jsR*c^fdz?^a\_kmYP^aQZgef\gj ±rcsNPRLqsR;R*}Zgj7c:j3e¤UXqaF nPYPRLq+n{eajsZ_j+csN{ec`aR YiR q:ecsRBj'cNPRjseaQR Zg|}RBef\ !hib:Nmn?R q`aRLqL¡ jb ^aYDcsqZ[nih}csZ_^aY6eajcs^3`aZ_aRXefY
(111) R*}zP\_Z_b Zc"ef\_`a^JqsZ[csNPQ0¦^Jq6b ^aQzPh}cZ[Yi`+eUXq7JF nPYPR q n{eajsZ_j"b ^aqqsRBjlz?^aYi|PZ[YP`cs^cNPR~Z[YPZ[csZgef\)jlR c^f)z?^a\_kmYP^aQZgef\gj O Y4csNPRzPqRLjsR YDcefcsZ_^aY^arcsNiR3ea\[`J^aqZcNPQ n{RL\[^]±!R+QefYiZ[zPhi\_efcsRjlR cjX^fz?^a\_kmYP^aQZgef\gjveJjd\_Zgj7c:j . M6NiR6jsR*cr^a?jsR*c1^fz?^a\_kDYi^aQZ_ea\_jZgjqsRLzPqRLjsR YDcsRB|'nmk YgS.TVUXW ,('*)*)Ref\gjl^Xhijs,R + -Pc^]|}R YP^acsR!csNiR"R Qz}c7k _\ Zgj7c]efYi|csNPR3YP^fc:ecZ[^JY.+ / 01-)c^
(112) qR ziqsRBjlRLYJcdcsNPR3\[ZgjlcX"NP^Djl" R+NPRLeJ|ZgjdcNPR3z{^J\[kmYP^JQ3Zgef\4eaYi|"Ni^JjsR c:efZ_\FZ_j20 R iqjlc"|}R iYiRvcNPRX¦hPYib*csZ_^a3Y 1+ 9 4csN{ec!ce SJRLj6e+z{^J\[kmYP^JQ3Zgef\efY{|c7!^\_Z_jlcj6^a z?^a\_kDYi^aQZ_ea\_j eaYi|
(113) qsR cshPqYij"e3\[Zgjlc^f)z?^a\_kmYP^aQZgef\gj \. c. hji +hk.
(114)
(115) !"$#&%'$( *)+ %' ,&.. ! R ] 0H> 0 + - B 0 ±. ! R ] 0H> 0 + /0 - B + ! R ]' / ! R ] 0H> 0 0 -· M6NiZ_jd¦hPYib*csZ_^aY£jsZ_Q3zi\[keJ|P|Pjdcs^cNPR iqjlcv\_Zgj7cXcsNPRjsz{^J\[kmYP^JQ3Zgef\gj"¦^JqsQRB|nmk
(116) cNPR3z{^J\[kmYP^JQ3Zgef\efY{| RBeab:N;z{^J\[kmYP^JQZ_ea\?^a)cNPR'jsRLb*^JYi|
(117) \[Zgj7cB M6NPR¥jlRBb*^aY{|¦hPY{b%csZ_^aY 1+ 9 76 b ^aQzPh}cRLj#e6qRL|Phib*RB|XjsR*c)^f}ef\_\fz{^DjsjsZ_nP\[Rrjsz?^a\_kDYi^aQZ_ea\_j?¦^JqsQRB| ¦q^aQ e+\_Zgj7c^a)z?^a\_kDYi^aQZ_ea\_Kj \ " 0
(118) +'+ - B + -± " 0
(119) +'+ / 0 - B ! R ] 0 ' " 0
(120) + 0 0 M6NiRvcNPZ_q|
(121) ¦hPYib*csZ_^aY K £Yi^aqQea\[IZ H RBj!RLeab:N;R \_R QRLYJc^ae3\_Z_jlcL±PqR Q^mZ_YP*` HLR q^+z?^a\_kmYP^aQZgef \ \ @+ - B + -± BJ = " # + / 01- B + ' / 0 -· BJ= " # + / 01- B @ 0 R
(122) N{e aRYP^ RLYP^ahP`JN¢QecR qZ_ea\rcs^£zPqRLjsR YDc'csNiR;ea\[`J^aqZcNPQ4yQ^aYi`4Z[cj+ziefq:efQR*cR q:j]Zgj+eaY eaqsniZcqeaqskX¦hPYib*csZ_^aY 7 "& csN{eccAe SaRLjeXz?^a\_kDYi^aQZ_ea\_jeaYi|b ^aQzPh}cRLj1efY3Z_qsqRL|}h{b*Z_nP\[R!z?^a\_kDYi^aQZ_ea\_j jshib:N
(123) csNiefcK\ YZS.TVUW3
(124) + $ > [i^aq~cNPRQ^aQR YDcL±eajjlhiQ3R3cNiecjshib:N¤e;¦hPYib%cZ[^JY¤R*}Z_jlcjLM6NPRea\[`J^aqZcNPQ Z_je;b ^aQzP\_R*cZ[^JY£cNiec c:e SJRLj]c7!^£eaqs`JhPQR YDcjL±YiefQRL\[k¤cNPR
(125) Z_YPZ[csZgef\!\[ZgjlceaYi| cNPR
(126) z?^JjjsZ[nP\_R
(127) bLefYi|PZ_|PefcsRBj'c^£b*^JQzP\[R csR
(128) csNPR n{eajsZ_Kj \ $ 9 0 + - B 0 ±
(129) + $ 0 - BJ = " $ 0 + / 0 - B $ + + $ 9 0 /0 - R ] 0H
(130)
(131) + $ > 0 0 0
(132) + $ 0 BJ= " $ 0 + /0 - B $ > 0 0 . . O·)csNPR]bLefYi|}Zg|PefcsR~\[Zgjlc6Zgj!R Qz}c7kJ±mcsNPR]nieJjlZgj!Z_j!qR*chPqsYiRL| T iq:j7cbLeajsR6U%`O·)csNPR~NPRBea|^a cNPR]b efY{|}Z_|iecsR \_Zgj7c|}^mRLj3YP^acqRL|Phib*Rcs^ H RLqs^{±1ZcZgj3eJ|P|}RB| cs^cNPR
(133) n{eajsZ_jefY{| csNiRjsz?^a\_kDYi^aQZ_ea\_j3b*^JQzPh}csRB|¢nmk 1+ 9 efqR;eJ|P|}RB|¢c^£cNPRb*^JQ3zi\[R csZ_^aY \_Zgj7c T jsRLb ^aYi| b eJjlR:U% O·dcsNiR;NiRLea| ^fvcsNPRb eaYi|}Zg|PecR\[Zgj7c qRL|Phib*RBj!cs^ H RLqs^{±}qsRBb*hPq:jlZ_aRL\[kbLef\_\_j"eaqsR~Qea|}R~"Z[csN;csNiR~cefZ_\#^a csNiR'b efY{|}Z_|iecsR~\_Z_jlcZT cNPZ_q|b eJjlR:U%. cdcfeQgKhijk.
(134) 9. 6N. .
(135) - ;', ', !')"
(136) "( ( M6NiR+b*^JqsqRLb*csYPRBjsj^f1csNiR+ef\_`a^JqsZ[csNiQ bLefYn?RR mziqsRBjsjsRL|nmk;c7¥^csNPRL^aqR Qj vM6NPR iq:jlcv^aYiRR Y{jlhPqRLj cNiec"cNPR]qRLjshP\c"^a csNiR'ef\_`a^aqZ[csNPQ |P^DRBj6YP^fcb:NieaYP`aRXcNPR]`aRLYPR q:ecRL|Zg|}RBef\ \ ªm¯ ª !" ;).#+ . . YgS.TVUXW. " ,(' )
(137). YZS.TVUW. " ,(' ) . $ > @ * " 0 +' @ *
(138). B . M6NiR~jsRLb ^aYi|
(139) ^aYiR~jlcefcsRBj6csNiefc"R aRLqskQ3RLQn?R q"^a)cNPR]Z_|PRLef\FqRL|Phib*RBj!cs^N$\ ªm¯ ª !"2 " . .
(140)
(141) . T "! $# . =. M6NiRvcNPR ^JqsRLQ !" ;).#+ Zgj"e|}Z_qsRBb%cb*^JYijlRBoDhPR Yib Rv^a)cNPR~csNiqsRLRv¦^J\[\_^"Z_YP`\[RLQ3QeJj\ %¥ª. ¤ 2 ;).#+ & %¥ª. ¤(' %¥ª. ¤. . YZS.TVUW. 4)'#+I&. . " ,(' ) '. Y S.TVU W. 1$+ 9 ;).#+ & YgS.TVUW " ,(' ) >. - = . YZS.TVUW. " ,(' ) . Y S.TVU W'. . . . . . ".
(142).
(143). . Q ". . Q " . .
(144) +.
(145) +.
(146) +9" ! R ] ' @
(147) M6NiRcNPR ^JqsRLQ ! "2 " YPRLRL|PjvQh{b:N4Q^aqR!^aqSc^
(148) n?R3zPqs^JRL|FXM6NPR i qjlc]j7cR zZgjvcs^;zPqs^JR cNPR~csNiqsRLRv¦^J\[\_^"Z_YP`\[RLQ3QeJj\. 2 *)Q-21,+ ," %¥ª ¤ YgS.TVUW " ,(' ) > YgS.TVUW %8 " : !L Y S.TVU W = = B 8L. .- + =0/ ,/ ' 1,2 %¥ª ¤ = = = YZS.TVUW " ,(' ) ' YZS.TVUW -%8 = " : YgS.TVUXW . 2 &3] 4+= , %¥ª ¤ = = X YgS.TVUXW " ,('*&) > YgS.TVUW ";: A YZS.TVUW %8 A $8 A M)^;zPqs^JR]csNiR { qjlcX\_R QQe;¥Rvt7hijlc]\[^m^ASefcvcNPR3csR qQ csN{ec]NieajXn?R RLY£qRL|}h{b*RL|4Z[Y e8 efYi|4¥R h{jlReJjsjs^}b*ZgecsZ_aRefY{||PZ_jlcsqZ[nih}csZ_aRziqs^Jz{RLqlcZ[RBj~^f"ea|P|}Z[csZ_^aY eaYi|¤QhP\[csZ_zP\_Z_bLecZ[^JYnmke;csR qQ
(149) M6NPR jsRLb ^aYi|\[RLQ3QeZ_jvzPq^aRL|nmkZ_Yi|}hib*csZ_^aY£^aYcNPR+\_R Yi`fcsN4^frcNPR+qRL|Phib%cZ[^JYhijsZ[YP`csNPR i q:j7cX\[RLQQe Z_Y;csNPR]Z_Yi|}h{b%csZ_^aYb eJjlRJ1M6NPR~csNPZ_q:|
(150) \_R QQe3Z_jzPqs^JRL|"ZcN
(151) cRLb:NPYiZ_oDhPRBj"jlZ_QZ[\gefq6c^+cNPRi q:j7c"^JYPRa . YgS.TVUXW>. .
(152). . . . M6NPR~YPR mc"jlcsRLz
(153) Zgj¥cs^jsNP^ csNiefc"Z[Y;^aq:|}R q!c^+`JR*c6csNPRXcNPR ^JqsRLQ " " Zc"Zgj!jsh}¨b*Z_R YDc6cs^ ziqs^JRdcNiec6csNiR]qsRB|}hib%cZ[^JYZ_j"b ^aY%ihiR YDcK\. LdR qR~Z_j!cNPR]zPq^D^a \. ' . . YgS.TVUXW. ". )B . c. hji +hk.
(154)
(155) !"$#&%'$( *)+ %' ,&.-. J. £R~c:eSJR~eaY;eaqsniZcqeaqskRL\[RLQ3RLYDc ^a
(156) efY{|6efYDc6cs^zPq^aRvcsNiefc =P !k
(157) |}R iYPZ[csZ_^aY eB M 7 M M "Z[csN T 5' M Q\S.TVUWeaYi| M ¦^Jqjl^JQR5F £R]ziqs^}b*RLRL|
(158) nmkZ[Y{|}hib%cZ[^JY^a$Y 5 a[P^Jq 5%B =P±}!R~Nie aR B =3js^3csNPR]ziqs^Jz{RLqlc7kNP^J\_|ij RmhPzPz?^JjsR~csN{ec"csNiR]zPqs^Jz{RLqlc7kNi^a\g|Pj!¦^aq R 5 !k
(159) |}R iYPZ_YP` 7B M 7 I M M ±}!R]`aR c =3nmkZ_Yi|}hib*csZ_^aYNmkDz?^fcNPRLjsZgj £R]N{e aR %8)B 7 7m±P"Z[csN 7 Q O·c"Z_Q3zi\[Z_RLj6cNiec %8 = =P !k ef= zPzi\[kmZ_YP`4cNPR;= csNPRL^aqR Q - + = / ,/ '1 ±¥!R|}RL|}h{b*R;csNiefccsNPRLqsRR*}Zgj7c:jefY £jshib:N cNiec efYi| D £R SDYi^cNiec'cNPRqRL|}h{b%csZ_^aY¤Zgj'b*^JY %ihPRLYDc+efYi|£cNiec ;qRL|}h{b*RLj]cs^ NPJ O·c'Z_Q3zi\[Z_RLj'csNiefc qsRB|}hib RLj!cs^ =iM Rm^¥R~`aR c =P RefqR+Yi^qRLea|Pk¦^aqXcsNPRQeaZ[Y¤j7cR z^f¥csNPRzPq^m^f7* O Y^Jq|PR qvcs^zPq^aR+csNiefcXcNPRqsRB|}hib*csZ_^aYZ_j b ^aY %{hPR YDcL±F!R+jsNP^ cNiec]Z[cXZgj~jlh}¨b Z[RLYJcXcsN{ec]R JR qkjsz?^a\_kDYi^aQZ_ea\ ¦^JqsQRB|"ZcN£z?^a\_kmYP^aQZgef\gjd^a cNPR]nieJjlZgj6qsRB|}hib RLj¥csa^ N"\ ' R ]> = 9" $ - ) R iq:j7c|}R {YPRefY ^Jq|PR q 6^JR q3z{^J\[kmYP^JQZ_ea\_j3nieJjlRB|¢^aY csNPR^Jq|}RLq+^JR q+Q3^JYP^aQZgef\gjeaj+csNPR jsQef\_\[RBj7c"qR \gecZ[^JY
(160) jshib:N;csNiefKc \ Q+S.TVUW YZS.TVUW,= 6 = 2 MPO ' YgS.TVUW 6) " = 6) = CL + 2 $ + M O > Y S.TVU W U W 1" C = 6 = M6NiZ_j"|}R iYPRBje+cs^fc:ef\F!R \_\¦^ahiYi|}RL|
(161) ^aq:|}RLqLrUXZ_aR Y
(162) csNiZ_j"^Jq|PR qB±D!R'b eaY
(163) ziqs^JRdc7!^+h{jlR ¦hP\#\_R QQeaKj \ %¥ª. ¤ " Q S.TVU W Y S.TVU W 6 = %¥ª. ¤ 2 . . YZS.TVUW. " ,(' )& ' . - . YZS.TVUW. ". 6.
(164) d^fcR1csNiefc cNPRrcNPR ^JqsRLQ 2 eaYi|~csNiR1 eab*c csN{ec 6 Z_j ¥RL\[\[¦^ahPYi|PRL|~R Y{jlhPqR1cNiec)csNPRrqRL|Phib%cZ[^JY ea\[6e k}jcR qQZ[YiefcsRBj
(165) ^ ¥RNie JR+RLYP^ahP`JN4QecR qZ_ea\cs^jlcefqscXcsNPRzPq^m^frcNiec]cNPRqsRB|}hib*csZ_^aYZ_j. b ^aY%{hPR YDcK\. cdcfeQgKhijk.
(166) 9. S. . ydjcsNPRv^aq:|}R q 6XZgj!R \_\[ ¦^JhPYi|}RB|F±J!RzPq^aR6cNiec¥csNPRvqsRB|}hib*csZ_^aYZgj¥b ^aY%ihiR YDcnmkZ[Yi|Phib%cZ[^JY ^aY 6'nmkcAe SmZ[YP`eJj!csNPR]QefZ_YNmkDz?^fcNPRLjsZgj!csNiefcK\ ! R ] ' >. =.
(167) u¥^aYijsZg|}R qeaY;eaqsnPZ[csq:efqk #±PeaYi|;jlhPziz{^DjlR~cNiec. A @" 7B A £R~c:eSJRvc7!^efqnPZ[csq:efqk3qRL|Phib%cZ[^JYij6^f7 \7 3eaYi| AefYi|
(168) zPq^aRvcsNiefc )B AJ O·Zgj6Z_qsqRL|}h{b*Z_nP\[RJ±mcsNPR]ziqs^Jz{RLqlc7kb \[RBefq\[kNi^a\g|Pj )B e B AJ
(169) xdcsNPRLqs"ZgjsRa±Pb*^JYijsZ_|}RLq efY{| jlhib:N
(170) csN{ec 3efYi| AJ !RLb eahijsR 6 eaYi| 6 #±iZ[cvZgjYi^ jsh}¨b*Z_R YDcc^zPq^aR~csN{eccNPR qR'R*}Zgj7c:je _ jlh{b:N csNiefc _ eaYi| _ c^`aR*c B _ B A'nDkZ[Yi|Phib%cZ[^JY;Nmkmz?^fcsNiRLjsZ_jL £R|}^;eb eJjlR3efYiea\[k}jsZ_jd^aYcNPR3YiechPqsR+^frcNPR3qsRB|}hib%cZ[^JYij 'eaYi| ~M6NiR qR . Y S.TVU W. 6. ". . -)A Y S.TVU W. efqRX¦^ahPq"z?^JjjlZ_nP\_R]b eajsRLjK\ J R}hPzPz?^JjsR eB 5= 2= B eaYi|eB = 2= B a R}Z[Yib R 6 #± ±{efYi| ±}!R~`aR*c + $ B
(171) + $ B
(172) + $ ' nmkZ_Yi|}hib*csZ_^aYNmkmz{^acsNPRBjlZgj O·c"¦^J\[\_^j¥csNiefc = =
(173) + $ efY{| = =
(174) + $ O·cZgj!csNiR YjlhP¨b Z[RLYDc"cs^3cAe SaR _ B
(175) + $ > = + $ SP R}hPzPz?^JjsR < 63 B eaYi| eB 5= = B !k |}R iYiZcZ[^JY ^a~csNPR^JYPRj7cR z |}Z_mZ_jsZ[^JY#±!csNPRLqsRR }Z_jlcje¤z?^a\_kmYP^aQZgef\ _ jlh{b:N cNiec < 6 B!8 _ a R}Z[Yib (R ±Dnmk3eazPzP\_kmZ[YP`~= cNPRcNPR ^JqsRLQ 3Z = 4+ ," ±fcNPR qRR mZgjlcje'z{^J\[kmYP^JQ3Zgef\ d jlh{b:NcNiec B!8 _ d efYi| 8 _ d O·cZgj6RLeJjlkcs^b:NPRLb ScsNief(c 8 _ B < 6 ±ijs^ = d O·cZgj!csNiR YjlhP¨b Z[RLYDc"cs^3cAe SaR _ B
(176) + $ > d i R}hPzPz?^JjsR eB = = B XeaYi| < 6 B M6NiZ_j"bLeajsRXZgjt7hijlc"csNiR'jlkmQQR*csqZgbv^abLeajsR]SP±Pjl^3cNPR]zPq^az?R qsc7kNP^a\g|PjL >{ R}hPzPz?^JjsR < 63 B eaYi| < 6 B ± f±6eaYi| efqRYP^aY HLR q^z?^a\_kmYP^aQZgef\gj ±"js^ B = ± L B C)$ = ±efY{| B = ¦^aq1js^aQR 2'±ajs^aQR MPO±aeaYi|js^aQ5R Y S.TVU W. c. hji +hk.
(177)
(178) !"$#&%'$( *)+ %' ,&.-. B. eaYi| |}Z_DZg|}R #±mjl^ eaYi| |}Z_mZ_|PR Rv|PRL|}hib RcNiec¥csNPRLqsRvR*}Z_jlcj _ jlh{b:N cNiecH B/ _ R , vjlZ_YP`3csNiR'|}R iYiZcZ[^JY;^a)cNPR]^aYiR~jlcsRLz;|PZ[mZgjlZ_^aY#±i¥R~`aR c6csNiefc . 8. B . 8/< 6 ,F<5UXWC 8 8 /< 6 ,F<VUW . !kjsZ_Q3zi\[Z[¦kmZ[YP`cNPR]zPqR mZ_^ahij!R*}zPqRLjjsZ[^JY#±m¥R~`aR cK\ 8 . . . . . . . . B _ ? 6 < 6 R , <5UW 8? 6 < 6 R ? V< UW 8 B _! = +? 8 cD = R ] = M T 0 A = d = = d d _ B
(179) > d!. !k|PR iYPZ[csZ_^aY^a)cNPR'jlz?^a\_kmYP^aQZgef\gj ±m!R~`aR*c " vjlZ_YP`+csNPR~QefZ_Y;NDkmz?^fcNPRLjsZ_jL±m¥R~Nie JR i±Pjl^3¥RX`aR c P !k¤efzPzi\[kmZ_YP`csNiRcsNPRL^aqR Q
(180) P±#cNPR qRR }Z_jlcj+ez{^J\[kmYP^JQZ_ea\ jlhib:N¤cNiec eaYi| O·cZgj!csNiR YjlhP¨b Z[RLYDc"cs^3cAe SaR + $ O Yef\_\¦^ahPqbLeajsRLjL±}¥R]efqR]efnP\_RXcs^ iYi|jshib:Ne3z{^J\[kmYP^JQ3Zgef\ _ ±Pjs^3csNPR]zPq^az?R qsc7kNP^J\_|ij
(181) d^Z_Y^aq:|}R q!cs^zPq^aRvcsNiR~csNPRL^aqR Q !"2 " ±PZ[cZ_jjsh}¨b*Z_R YDc6cs^jsNP^ B $ 9 # " 0
(182) + * #" ' . . ! R ] ' =. M6NiZ_jzPqs^Jz{RLqlc7k£Z_jYP^fc+Z[QQRL|}ZgecRn?RLb eahijsRcsNPR¦hPYib%cZ[^JY 1$+ 9 76 |}^mRLjYP^fc+`aR YiR q:ecsRea\[\csNPR z?^JjjsZ[nP\_R]jlz?^a\_kmYP^aQZgef\gj!nPh}c^aYi\[k;e+qRL|Phib*RB|
(183) jsR*cBrM6NPRX¦^a\_\[^"Z_YP`3c7¥^\_R QQeajK\ %¥ª. ¤ 1$+ 9 YgS.TVUW ! R ] ' BJ= %¥ª. ¤ 1$+ 9 9- ' YZS.TVUW R ]> B 8 ! R ] RLYijshPqsRXcNiec"cNPR]qsRB|}hib*csZ_^aY
(184) csa^ N3^fcsNPR]qRL|Phib*RB|
(185) jsR*cZ_QzP\[Z_RLj"csNPR]qRL|}h{b%csZ_^aY;^fcsNiR'b*^aQzP\_R*cR'jlR cL M6NiZ_j6RLYi|Pj6cNPR]zPq^D^a)^ab*^JqsqRLb*csYPRBjsjL ' 9L 6
(186) /-
(187)
(188) ', -"'
(189) '" N{ec]Nieaj~n?R RLY¤zPqsRBjlRLYDcsRL|£Z_Y R}RLb%cZ[^JY¤S;eaYi|£
(190) ¦^J\[\_^jXcsNPRzPq^m^f6|}R JR \_^azPQR YDc]!R3N{e aR|}^aYPR Z_Y u¥^}o?= Ld^¥RLaRLqX!RNie JRe a^JZ_|}RB|c^zPqRLjsR YDc'R \_R QRLYJc:j]cNiec!R qRcs^m^4jsz?RLb*Z {bc^u¥^}o?= Rm^ !Rn{RL\[Z_R JR3csNiefc]csNPRjefQR|}R {YPZcZ[^JYij]efY{|cNP^JjsRzPqs^m^a!jlcsR z{j'b*^JhP\_|£n?RhijlRB|c^`aR*c]cNPRzPq^m^f ^ab ^aqqsRBb%cYPRLjj!Z[YeaYDkcsNPRL^aqR Q8ziqs^JR q"\_Z SJR
(191) dhPzPq\ 3± LXx ¤^JqdQp PRF±PcsN{ecvea\[\_^j!csNPR'|PR iYPZ[csZ_^aY^a qRLb hPq:jlZ_aR~¦hPY{b%csZ_^aY{j ! O YcsNiefcvqRLjsz{RBb%cd!RNP^Jz{R'csNiefcv"NiefcvNieJjn?R R Y4zPqsRBjlRLYDcsRL|Z_YcNPRzPqR mZ_^ahij jsRLb*csZ_^aYij~Zgje;`J^D^}|¤b*^JQzPqs^JQZ_jsRn{R c7¥RLR YcsNPRYPR RB|4¦^Jq]csNiRzPq^D^ac^n{RNmhPQeaYqRLeJ|Pefni\[RefY{| cNPRdYiRLb*RBjsjefqk|}R*c:efZ_\[RB|¦^aqQef\_Z HBecsZ_^aY|PhPRdc^QRLb:N{efYPZgb ea\PcsNiR ^aqR Q zPq^mZ[Yi`iB O Y;efYmkb eajsRa±DZ[c!Zgj¥e h{jlR ¦hP\FefYi|Z_Qz{^Jqlc:efYDc¥R }R q:b*ZgjlRdcs^`J^'¦q^aQ e]cR*mcsn?^mA^ SzPq^m^f#\_Z SJRcNPRv^JYPRdZ_Y < : ?cs^e'ziqs^m^fFcNiec Zgj"jshPZc:efnP\_R~cs^QRLb:N{efYPZgb ea\csNPRL^aqR Q8zPq^mZ[Yi`i. cdcfeQgKhijk.
(192) 9. K>. . O Y4csNPZgj~jlRBb%csZ_^aY ±?!R {qjlcv`JZ[JRefY£^aR qmZ[RL ^a1csNPRjskmjlcsRLQ u¥^moeaYi|jsNP^ NP^js^aQR^arcsNPR P| R iYPZ[csZ_^aY{jZ[Y RmRBb%csZ_^aY Sb eaY n?RR YDcR qRL| Z[YDcs^cNPRjlk}jlcsRLQ;GR}RLb*^JYi|F±¥¥RzPq^mZ_|PR;js^aQRQ^aqR oDhieaYDcsZ[cecZ[JR]Z[YP¦^aqQefcsZ_^aY^aY;cNPR'zPq^m^f1|}R JR \_^azPQR YDcB±PcsqkmZ[Yi`cs^jshPQQeaqsZIH R~cNPR|}Z[¨b*hP\[csZ_RLjd¥R RLYib*^JhPYDcsRLqsRB|Z[Y
(193) csNiRv¦^JqsQea\[ZIHLefcsZ_^aY#`[Z[Yiea\[\_ka±}!R~jlNP^ jl^JQ3RvqshiYPYPZ_YP`R*PefQzP\_RLj¥^f)csNPR~R*mcqeJb%csRB| ea\[`J^aqZcNPQ !$ . R. wdecsNiR q3csNieaY `aZ_DZ_YP`¤e¤b*^aQzP\_R*cRZ[YDcsq^}|}hib*csZ_^aY cs^ u¥^}o{±¥"NPZgb:N bLefY n{R¦^JhPYi| ¦^aqR*PeaQ3zi\[RZ_Y <_B:S ?±{¥R'Z_YDcsq^}|}hib*R~cNPR'nieJjlZgb]YP^acsZ_^aYij^f¥u¥^}ohijsZ[Yi`csNPR+|}R iYiZcZ[^JY^fcsNPR+ef\_`a^aqZ[csNPQ Z[Y RmRBb%cZ[^JY SP }u¥^}oZgj]e;zPq^aR qXnieJjlRB|^aY£c7kmz{RcNPR ^JqskJ3M6NiR3Zgjs^aQ^aqzPNPZgjlQ ^a"u¥hPqqkJ;L^6efq:|jsNP^jvcsNPR b ^aqqsRBjlz?^aY{|}R Yib Rn{R c7¥RLR Y zPq^az?^JjsZcZ[^JYij'eaYi|c7kmz{RBj ±zPq^m^f j'eaYi|csRLqsQjLy zPq^az?^JjsZcZ[^JYZgj]cNPR Y qR ziqsRBjlRLYJcRL|;Z_Y£u¥^mo;nmkec7kmz{ReaYi|ezPq^m^f1Zgj`aZ_aRLYnmk;ecR qQ cNiecXNieajcsNPR`aZ_aR Yc7kmz?Ravu¥^}o h{jlRBjcNPRb ef\gb*hi\[hijv^f!b*^aY{j7cqshib*csZ_^aY#±FeNPZ[`JNPR q~^Jq|}RLqd\gefQ+n?|Pef·bLef\gb*hP\_hijL±?cs^;R*}zPqRLjj"¦^aqQhi\_eaR+efY{| ziqs^m^f jL Mkmz?R
(194) cNPR ^JqsR csZgb
(195) csNPRL^aqR Q zPq^aRLqj3efqRb*^aY{j7cqshib*csZ_aR;nmk¢YiechPqRa M6NPR k jlRLR
(196) cNPRzPq^m^f ^acsNiR;ziqs^Jz{^DjlZ[csZ_^aY 2 " eaje4¦hPYib*csZ_^aY¢cNiecB±`JZ[JR Y e£zPq^D^ad^ff 2'±qR*chPqYij+e£zPq^m^fd^a M6NiR~bLef\gb*hP\_hij!^fb*^JYij7cqsh{b%csZ_^aY;NieJj¥n?R RLYR*mcsRLYi|}RL|cs^3cNPR]b ef\gb*hi\[hij6^a)Z_Yi|}hib*csZ_aR]b*^JYijlcsqhib%cZ[^JYcs^ N{efYi|}\_RZ_Yi|}hib*csZ_aRdb ^aYijlcsqhib*cjLM6NPRvhijsR qrZ_YDcsR q:eab*cj"ZcN
(197) u¥^mo+"Z[csN"NiefcZgjb ea\[\_RL|3cNPR 3)A+ ) cNiecdea\[\_^j¥csNPR]h{jlRLq6cs^j7cqsh{b%cshiqsRXcsNiR'|}R JR \_^azPQR YDcB M6NPR iqjlcR*PeaQ3zi\[R]!R]`aZ_aR]Zgj6csNiR|}R {YPZcZ[^JY^frez?^a\_kDQ^JqszPNiZ_bX\_Z_jlcL6M6NPZgjd|}R iYPZ[csZ_^aYZgj"aRLqsk jsZ_Q3Z_\gefq6cs^"Niefc"¥^JhP\_|;n?R'|}^aYiRXZ_Ye+¦hPYib%cZ[^JYief\F\gefYi`ahiea`aR +\gae @ ^\
(198)
(199) !#" !$ &%'( #
(200) . ) *#+ ,
(201) ,-
(202) .'/#
(203) 0'21 34'/
(204) 5 6'7%98:;
(205) <8:; ,
(206) = *
(207) . M6NiR iq:j7c \_Z_YPR|}RiYPRLj)e"YPRL¤jsRLb*csZ_^aY#M6NPRjsRLb ^aYi|X\_Z[YPR!|}RLb \_eaqsRBj#efY]eaqsnPZ[csq:efqk"c7kmz?R % qsZ[csZ_YP`"cNiec cNPZgjYPRL c7kmz{RvZ_j^fFc7kmz{R
(208) jlZ_QzP\_k3Z_Yi|}Zgb efcsRBjrcNiec¥csNPZgjrc7kmz?RdqR zPqRLjsR YDc:j1^an}t7RBb%c:jrnmk^azPz?^JjsZcZ[^JY c^;csNPR^fcNPR q]n{eajsRc7kmz?R " > csNiefc]qsRLzPqsRBjlRLYDcjXzPq^az?^JjsZcZ[^JYij 3M6NPRYPR*mc]\_Z[YPRZgj]|}R {YPZ[Yi`e;YPRL |iecefc7kmz{R
(209) cs^qR ziqsRBjlRLYJcv\[Zgj7c:jX^fr^anPt7RLb%c:jd^arc7kmz{R % ?M6NiR+|}RiYPZ[csZ_^aY4ZgjXZ[Y{|}hib%cZ[JR+eaYi|4e\[Zgj7c ZgjXZc:jlRL\!efY^Jn}t7RLb*cL5 O·c~Nieajdc7¥^;b*^JYij7cqsh{b%cs^Jqj 3 eaYi| ~M6NPR iq:j7c~b*^aY{j7cqshib*cs^JqdqR zPqRLjsR YDcj cNPR]R Qz}c7k\[Zgj7c"NiZ[\_R~csNPR'jsRLb ^aYi|;b*^JYijlcsqhib%c^aq!cAe SaRLj"eaY
(210) RL\[RLQR YDcdefYi|;e\_Z_jlc"cs^3¦^aqQ e\_Z_jlcLrM6NiZ_j |PR iYPZ[csZ_^aY n?R Z_YP`£Z[Yi|Phib%cZ[JRa±Z[Y{|}hib%cZ[JRcsNiR ^aqR Qj'eaqsReah}cs^JQecsZgb ea\[\_k4`JR YPRLqefcsRB|F [P^aqR*PefQzP\_Ra± cNPR]^aYiRv¦^Jq"Z[Y{|}hib%cZ[^JY^aR q6\_Z_jlcj!¦^JqefYefqnPZ[csq:efqkzPqsRB|}Zgb ec)R YZgj \ ?#@ AB
(211) C D*
(212) CE* 'GFH'I #
(213) 8: " >3J FHK3 J8:LF F ! 'M%JNFOP'IE
(214) JNFQRJ 8:LFH6FS ! J J J 8:LFOT'I
(215) JNFIRJ. c. hji +hk.
(216)
(217) !"$#&%'$( *)+ %' ,&."NiZ_b:N;zPqZ[YDcsRB|;Q3^JqsRXYPZgb*RL\[k
(218) `aZ_aRLjK\ ªm¯ ª + * ,3 . . . Y.2. . .
(219) . 3Y. . #". 232 R 2. 4. '3Y R 9". . Y . . . 4 R. RV9". 2. . 3Y RV. M6NiR+\geajlcX\_Z_YPR+^acNPR3|PR iYPZ[csZ_^aY^f!ez?^a\_kmQ3^JqsziNPZ_b\[Zgjlc]b \[^DjlRBjcNPRjlRBb%csZ_^aY 3u¥\[^DjlZ_YP`csNPRjlRBb%cZ[^JY `JR YPRLqea\[ZIH RBjdea\[\)csNPRb*^JYijlcsqhib%c^aq:j"csN{ecvh{jlR3efqZ_eanP\[RBj XM6Nmhij ±#ef csRLqdcNPR3jsRLb*csZ_^aY#±
(220) Zgjd^arc7kmz{R eaYi| 3 efYi| b eaYYP^ n?Rdz{efq:efQR*cR qZ HLRL|+nDkefYeaqsnPZ[csq:efqk]c7kmz?R % JM6NPRLZ[q1c7kmz?RLj eaqsRXq RLjsz{RBb%csZ_aRL\[k 2 2 ' 2 efY{| \2 2 ,2 2 2 O Y ^Jq|}RLq]cs^£|}R iYiRcsNPR¦hPYib*csZ_^aY 1$+ 9 76 ±1!ReajjlhiQ3R!RNie JRef\_qsRBea|}kec7kmz{R > cs^ qR ziqsRBjlRLYJc6z?^a\_kDYi^aQZ_ea\_j"eaYi|;e¦hiYib%cZ[^JY ,> cs^b*^JQ3zih}csR'jsz{^J\[kmYP^JQZ_ea\_Kj \ . . . . . . . !#"! #
(221) " > '
(222) !#"! #
(223) " E > ' > 8:G> <8:G> . R'b eaY
(224) Yi^ |}RiYPR~csNiRiqjlc6¦hPYib*csZ_^aY% 1$+ 9 Q\. > E
(225) K> > ' > "!$#
(226) % 'FO
(227) G> J&' F
(228) R> J 2' 1 ? !
(229) %; ' 31:K$! 5 F ) (B
(230) % J&1:6F > 4FS,> R>*(J F > G> $! % J J *. . O Y u¥^}o R JR qk¢¦hPYib*csZ_^aY Q+hijlccsRLqsQZ_YiecRaM6NPR4csR qQZ[Y{ecsZ_^aY ^a~csNPR4¦hPYib%cZ[^JY 1$+ 9 b eaY n{R. ae h}cs^JQecsZgb ea\[\_k4|}RB|}hib RL|¤nmk4cNPRjsk}j7cR Q n{RBb efh{jlRcNPR\geajlc+efq`ahPQRLYJc]^a!cNPRqRLb hPqjsZ_aRb ea\[\¥Z_j'e jlcsqZgb%c]jlhPnPcsR qQ ^frcNPR3Z[YPZ[csZgef\\geajlc~eaqs`JhPQR YDcL
(231) d^fcsRef\gjs^csNiefcX^JYP\_k^an}t7RBb%cjXefqRQefcb:NPRB|"NPRLY z{eclcR qY Qec:b:NPZ_YP`cR qQj=T jl^¥R;"qZcR [ B ¡ U%±"NPZ[\_R;¥R;YPR RB| c^eJ|P|¢R mzi\[Zgb*Z[cs\_k c7kmz{R Z_Y}¦^JqsQecZ[^JY"NPR Yb ^aYijlcsqhib%cZ[Yi`+cR qQZj T js^!R'"qsZ[csR%[ >0 ¡ U*!yz{^DjsjsZ[ni\[R'ea\cR qYiecZ[JR ziqs^mZg|}RL|nDku¥^}oZ_j!c^qsRLzP\geab*Rvc7kmz{RBj6csN{ecb eaY;n?R]Z_Y}¦R qqsRB|nmkcNPR'jskDQ+n{^J\g[ i¡_ M6NPR~¦hiYib%cZ[^JY 1$+ 9 K Z_j|PR iYPRB|;Z[YeaRLqsk
(232) jlZ_QZ[\gefq"6e kaM)R qQZ[Y{ecsZ_^aY;^fcsNiZ_j6¦hiYib%cZ[^JYZ_j ea\_js^efh}c^aQecZ_bLef\_\[k|PRL|}hib RL|
(233) nmk
(234) ejlZ_QzP\_R'j7cqshib*cshPq:ef\Feaqs`JhPQR YDKc \ )(.
(235) %. ,+. > E
(236) K> " *2' FO E
(237) >J& ' FO
(238) R>J '21 ? ! B' 31:6FI + J 5 F > J&1: F >G> F > " #*RJ J *. . O·cZgjYP^8z?^JjjlZ_nP\_R;cs^ |}^ jl^JQR;b ^aQzPh}c:ecsZ_^aY hijsZ[Yi`4cNPRjlk}jlcsRLQ; R|PR iYPR;cNPqsRLRefqnPZcqeaqsk z?^a\_kmYP^aQZgef\gj6efYi|eaj7S cs^b ^aQzPh}cR~csNPR]eJjsjs^}b*ZgecsRB|\_Zgj7c"^f1jsz{^J\[kmYP^JQ3Zgef\gjK\ #! "! #
(239) " >-!$#7>%.#(>/ ' > ? > +
(240) F > " * F + >0! F . +. >%6FS . M6NiR~eaYijs¥RLq!^a)cNPR'jskmjlcsRLQ8Zgj6csNPR]R }z{RBb%csRB|^JYPRA\. cdcfeQgKhijk. +. >/ FQ3 +. J J JJ J .
(241) 9. 6V. . 14F > 4FS,> R>0! >% J F > 4FS,> R>0! >/ J FS > 4FS,> R>%R>/ J FQ3&> J J J J 'GFO
(242) R>J. O Y£^aq:|}R qdcs^
(243) ¦^aqQef\_Z HLR'csNiR3 !hib:Nmn?R q`aR qB¡ jdef\_`a^JqsZ[csNiQ;±?!R iq:jlcXYPRLRL|cs^
(244) |PR iYPRjs^aQR+R mcsq:ezieaqef QR csR q:jK\ !#"! #
(245) R " " *#+ ''FO #
(246) >J8:G> 98:G> !#"! #
(247) " " #' > 8: $ P !#"! #
(248) "
(249) '' > 8:> . y {qjlceclcR Qz}c"c^|}R iYiRvcNPR' !hib:Nmn{RLqs`JR qB¡ j6ea\[`J^aqZcNPQ Z_j"csNPR~¦^J\[\_^"Z[Yi`"\. > E
(250) $ + ,@' > ! " 'FO
(251) &>J OF
(252) R>J& 'RFO ,
(253) R> J 'M1
(254) 4F !$# % J 1;> ! " E ? ! G%;' 3R1:; ! 5 F > % J&1: ' F " #6FQ'4F " *#+ 'K ! 3> J J J
(255) #@ F $ + ,@ ' FO !"# % J J F $ + ,@ ' F F + FI '6F " *+ 'K ! >3JJR !#J-# F > FI
(256) ' F " *#+ '; ! >3J JR%; !#J JJ * . . dY}¦^aqscshiYiecR \_k¤csNPR
(257) csRLqsQZ_YiecZ[^JY¢^fcNPZgj¦hiYib%cZ[^JY Zgj' eaq3¦qs^JQ n?R Z_YP`^anmmZ[^JhijL Rm^£csNiR;jsk}j7cR Q q R*¦h{jlRBj]csNiR;|}RiYPZ[csZ_^aY#¤M6NPRcsR qQZ[Y{ecsZ_^aY ^a"csNPZgj+¦hPYib*csZ_^aY¢Zgj`JZ[JR Y¢nmk e\_R*}Zgb*^a`JqeazPNPZgb^aq:|}R q ^JY z{efZ_qj^aX\_Z_jlcj^fvz?^a\_kmYP^aQZgef\gj M6NiR^aq:|}R q^aY cNPR\[R cefq`ahPQRLYJc^avcNPRziefZ_qZgj|}RL|Phib*RB| ¦q^aQ§e;!RLeASaR q:jsZ[^JY^fdZ[}^aY#¡ j~\[RLQQei3M6NiZ_j~\_R QQe
(258) jlcefcsRBjXcsNiefc~Z_YR aRLqskZ_Y iYiZcRjlRBoJhiR Yib R ^a#Q^aYP^JQ3Zgef\gXj M O csNiR qRdR*}Zgj7c:j¥efc!\_RLeJj7c!^aYPRvQ^aYP^JQ3Zgef\\ M M csNiefc6|PZ[mZg|}RLj6efYi^fcsNiR qQ^JYP^aQZgef\\ M P jshib:N4csNief
(259) c T W * O·cv¦^J\[\_^jvcsNiefcXZ_YijsR qscsZ_YP`;Z[Y¤e\_Zgj7c~^f!Q3^JYP^aQZgef\gjve
(260) Q^aYP^JQZ_ea\ cNiec]Z[c~ZgjXYP^fc |PZ[mZgjlZ_nP\_RvnmkeaYDk^a cNPR~^fcsNiR q6Q^aYP^JQ3Zgef\gj¥Z_j6!R \_\¦^ahiYi|}RL|#M6NiZ_j6`JZ[JRLj!e+!R \_\[ ¦^JhPYi|}RB|^aq:|}RLq¥^JY \_Zgj7c:j~^fz?^a\_kmYP^aQZgef\gjvnmkt7h{j7c~cAe SmZ[YP`;cNPR\[RBea|}Z_YP`;Q3^JYP^aQZgef\gjX^f¥RBeab:N£z{^J\[kmYP^JQ3Zgef\gjLM6NPR^aq:|}R q ^JYcNPR]qZ[`JNJceaqs`JhPQR YDc!^a)cNPR]zieaZ[q"Zgj!csNPR'jsZ_Q3zi\[R'jlcsqhib%chPq:ef\^aq:|}R q"^JY
(261) \_Zgj7c:j R*chijjshPzPz?^JjsRXcsNiefc¥R~Nie JRXea\[qRLeJ|}k|}R iYPRL|jshib:Ne+\_R*}Zgb*^J`aq:efzPNPZgbv^aq:|}R q6Z_Yu¥^}3o \. !#"! #
(262) " # ! " ' FO #
(263) R> J FO #
(264) R> J;8: F
(265) > J F
(266) > J8:R " > }Z[Yib RcsNPRrcsR qQZ[Y{ecsZ_^aY~^aJcNPR1¦hPYib*csZ_^aY%[ $ + ,@' ¡*b eaYPYP^fc#n?Rr|}RB|}hib*RB|]efh}c^aQecZ_bLef\_\[kdnDkdcsNPR¥jlk}jlcsR Q±. R. !R iq:j7c6csRL\[\#csNPR'jsk}j7cR Q cNiec!R]efqRX`J^aZ_YP`+cs^|}RiYPR'e+¦hPYib*csZ_^aY^fe`aZ_aR Yc7kmz{R.\ E,
(267) '. $ + ,@
(268) '' FO ,
(269) K>J FO ,
(270) K>J8: FO
(271) R>J . c. hji +hk.
(272)
(273) !"$#&%'$( *)+ %' ,&.-. . Z[csN¤cNPZgj]\[Z_YPRJ±)!RR YDcsRLq'Z_YJc^;csNPRziqs^m^f6Q^}|}R"NPR qR¥ReaqsRb:Niea\[\_R Yi`aRL|4cs^jsNP^ csNiefc]csNPRLqsR R }Z_jlcj!e]¦hPY{b%csZ_^aY
(274) "ZcN;jshib:Ne'c7kmz{RJR~b efYcsNPRLYhijsRcNPRvceab*csZgb ! " c^+zPq^mZ_|PRd|}Z_qsRBb%cs\_k cNPR]"Z[csYPRBjsj!¦hPY{b%csZ_^aY\ " FO
(275) R>J: " $ + ,@'.' 'B'' ! " " ' F
(276) > J FO #
(277) > J& FO !$# % J 1> ! " E ! G %;' 3R1:; ! 5 F > % J&1: ' F " #6FQ '4F " *#+ 'K ! >3J J J
(278) #@ F $ + ,@ ' F !$# % J J F $ + ,@ ' FF + FI ' F " #*#+ ' ! >J JG !#J-# F > FI '6F " *+ 'K ! >3J JR% ! J J J * . ! > ! ##
(279) ?. LdR qRXcsNPR~"Z[csYPRBjsj!¦hPY{b%csZ_^aYZgj!csNPRX¦hPY{b%csZ_^aY #" F 1£R]R mzi\[Zgb*Z[cs\_k`aZ_aRvcsNiR]^aq:|}R q ! " cNiec ziqs^JRLj!csRLqsQZ_YiecZ[^JY#XxvYib R]csNiR"Z[csYPRBjsjvNieajdn{RLR Y`JZ[JR Y#±{¥R+efzPzP\_k
(280) csNPRceab*csZgb " "! C ! cs^ b ^aYijlcsqhib*c6jlcsRLz
(281) nmkjlcsRLz
(282) cNPRX¦hPYib*csZ_^aYhijsZ[YP`+csNiR]qsRBef\_Z HLZ[YP`+¦hPYib*csZ_^aYeaj"e+`ahPZg|}RL\[Z_YPRa1R]efqRdcNPR Y \_R* c"Z[csN;cNPqsRLR~`a^Jea\_j¥c^zPqs^JAR \ . . /. ,+ $ ! . ! 'RF
(283) > J FO
(284) &>J 1 11 1 1 1 11 1 1 1 11 1 1 1#1 11 1#1 1 1#1 11 1#1 F
(285) C '+ * * F
(286) R> J F
(287) > J&# ! " J ,+ $ ! %9# ' FO ! " F !$# J<FO !$##F > " !& J JJ ,+ $ ! /9# ' FO ! " FF >6FI' F " #*#+ ' ! " !#J JG !#J-# F > FI'6F " *#+ 'K ! " !#J JG B !#J J9F !$#F > " !G J J J R iq:jlcYPR RB| cs^¢ziqs^JR
(288) cNieccsNPR£^aq:|}R q ! " Zgj!R \_\¦^ahPY{|}RL|FM6NPZgjZgjjlcsq:efZ_`aNDcs¦^aq!eaq|. n?RLbLefhijsRcNPR^aq:|}RLq'Z_j+e\_R*}Z_b ^a`JqeazPNPZgbb*^aQz?^JjsZcZ[^JY¤^f6c7¥^4¥RL\[\[ ¦^JhPYi|}RB|¤^aq:|}R q:jL;M6NPR;jlRBb*^JYi| `J^Jea\JYPRLRL|PjevzPq^D^aPcsN{eccsNPR"eaqs`JhPQR YDc)^aPcsNPR6qRLb hPqjsZ_aR¥bLef\_\m^fPcNPR
(289) #@ ziefqscZ_j1jsQef\_\[RLq cNiefY+csNPR Z_YPZ[csZgef\efq`ahPQRLYJcv"ZcN4qRLjsz{RBb%cdc^cNPR+^Jq|PR qBvM6NPZgjdZgjv^anmmZ[^Jhijn?RLbLefhijsR'cNPR3jsRLb ^aYi|b ^aQz?^aYPRLYJc ^avcNPR iq:j7czieaZ[qZgjjlcsqhib%chPq:ef\_\[k jsQef\_\[RLq3csNieaY cNPR^aYiR^fXcsNPRjsRLb ^aYi| ziefZ_qB M6NPR;csNPZ_q| `J^Jef\ b ^aqqsRBjlz?^aY{|Pj3cs^¤cNPR4qRLb hPqjsZ_aRb ea\[\^a~csNPR zieaqlcB M6NiRz{^J\[kmYP^JQZ_ea\_j [ FI F " #*#+ '. '. !.
(290) !
(291) #"$%&'%(")*+,-/.0'"1," e 2.3%&1 45+,+'7698:$1 e9; %&<1, ee
(292)
(293) "
(294) " ; %=1,> ;@?:e A1, e 4 */!
(295)
(296)
(297) 89("B*C6ED#F. cdcfeQgKhijk.
(298) 9. 6C. . ¡fZgjYP^acrcsNiRdYmhP\_\{z?^a\_kmYP^aQZgef\{js^]Z[cj¥\[RBea|}Z_YP`'Q^aYi^aQZ_ea\iZgjrYP^ac!|}Z_mZ_jsZ_nP\[RdnDkefYmk3^fFcNPRd\_RLeJ|}Z[Yi` Q ^JYP^aQZgef\gj¥^a)cNPR]z?^a\_kDYi^aQZ_ea\_j!Z_Y jlZ_Yib*R~Z[cZ_jZ[qqsRB|}hib Z[nP\_R~nmk xvYib RdcNPRXcsNPqR RX`a^Def\gjN{e aRdn?R RLYzPq^aRB|F±m¥RvNie aR~|}RiYPRL|csNPRX¦hPY{b%csZ_^aY;!Rv6efYDcsRB|F Y}¦^Jql chPYiefcsR \_kcNPZgjZgj"YP^fcRLYP^ahi`aN;cs^n?Refni\[R~c^qsRBeajs^aY;^aY;csNPZgj"¦hiYib%cZ[^JY# Z[csNcNPRb*hiqsqR YDcaRLqjsZ_^aY ^avu¥^mo£Z[c+Zgj'aRLqsk|}Z[¨b hP\[ccs^£|}^4jskDQ+n{^J\[Zgbb ^aQzPh}c:ecsZ_^aY "Z[csN¤¦hiYib%cZ[^JYij+|PR iYPRB|¤"ZcN efY¢eaql niZcqeaqsk^Jq|}RLqL+M6NPRhijlh{ef\csRBb:NPYPZgoDhPR3cs^^aRLqb ^aQR'cNPZ_j~ziqs^JnP\[RLQ Z_j {qjlc~cs^|}R {YPRe
(299) ziqsRB|}Z_bLecR cNiecXqsRLzPqRLjsR YDcjcsNPR+¦hPYib*csZ_^aY#~p1qRL|}Zgb efcsRLjXefqR'Q^aqR'RBeajskc^QefYPZ_zPhP\gecRcNiefY¦hPYib%cZ[^JYijLXM6NPR ziqsRB|}Z_bLecRXJR q:jlZ_^aY
Documents relatifs
It is obvious that the steel showed the plastic strain memory effects at each test temperature, in other words, in spite of the hardness of the steel cyclic stress,
Les cités et leur territoire d'influence sont administrées par de puissantes familles, celles de l'aristocratie terrienne et marchande, qui tirent leur légitimité de
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
In this paper, we have defined the steady-state control problem for MDP, and shown that this question is decidable for (ergodic) MDP in polynomial time, and for labeled MDP
Trois autres échantillons du pool CHAT étaient également gardés au Center for Disease Control et ont été inclus dans cette analyse (CHAT pool 13, CHAT type 1 Wy4B-5, CHAT 1FL)..
Un habitat de La Tène moyenne et finale à Berry-au-Bac au lieu-dit “ Le Chemin de la Pêcherie ” (Aisne).. Jérôme Dubouloz, Michel Plateaux,
constat, unanime en Colombie, que la résolution des conflits par élimination de “l’opposant” est l’une des caractéristiques de la violence nationale. Première
Automatic test data generation, structural testing, constraint solving techniques, global constraints 1.. Structural testing techniques are widely used in unit or module testing