Stratégies de dérivations de programmes logiques

Texte intégral

(1)Stratégies de dérivations de programmes logiques Francis Alexandre, Khaled Bsaïes. To cite this version: Francis Alexandre, Khaled Bsaïes. Stratégies de dérivations de programmes logiques. [Interne] 99-R253 || alexandre99b, 1999, 14 p. �inria-00107840�. HAL Id: inria-00107840 https://hal.inria.fr/inria-00107840 Submitted on 19 Oct 2006. 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)

(3) "! # %$'&

(4) (*),+.-/10325463798+.-:);7=<>7@? ACB*+.6D7@:FE'2G+1H I3712,<J< < KMLCN>O 4QPR>-03S.71),2;03?UWT7 V 71-),0MXZY[03-/=+\)]7 T E'X_^.`[abc\dec.f.gih#+\-:jWkS]),7lPJ67@m 2%PJn+.-/9o[bp(*)G+\-/17 qrtsvu9wyx9z{ulx|q}~ul\JZx|9w u~ <J< (p+./1k63?U7CT :7122,/@0D71-/1712>:7WMk-0D2>R>-03S.71),2;03?UT7 :7Mk-032 O,O f.g[f K 7E7163S7@T :71m );7Mk-0321b*Mk-0D2;0D7 qrts5ulw|xlz{{u9xyq, ulw|q;JM, =e = , U¡ ¢ q%u9£w|¤%xyq¥ulwyqvq#x u>¤%9{£{¤Jwy@q'¦~9§9¥ulsvsvq;xy@§9w ¨@{q;#©¦~9§9¥ulsvsvq;Mq%ª¤x ul{q; ~qv«M9\¬Zq¦~x|{¦{u9£w|¤%~x|wq; q;svq%1ª¦~9®~xDq;¯ s'qvq,q%~;q%° ±²u@%[³Zu9{x|q'¦{¤q,{q'¥ul\r @s5ulw|9 ~qZ¦~9§@u9svs'q,%´1w|x.q,9~µ@q%1

(5) q; ¤%q;u9wyqM¶ w|x|w|q%¤q;£¥ulw|~q;·¦~9¦{wq ~q; q;·¦~lr §@u9svs'q,% ¢ q;M¦~@¦~wq% ~q, £@@ul¦~¦.q%xq% q,q;~;q%° ±²u9;´~¤%u9Mq%x|x|q;{q91M¦{u@M@~q; q;u5¦{w|9w3´.¤q 91q;U¦~9¦~wq ~q; [w|@w|{%q;¯ ¨1~q,]u9}¦~@§9¥ulsvsvq;q%¤9¶ q,x3¶ wyx|w|u²q%~¨1~w9wyUx|q;·q, ¤@~µ=w|; ¸ q¦~9®~xDq;¯ s'qq,·9{¤M¤{¤w ulxD´@¤;ul¶ ~~qZ¦{ul

(6) ul{¤q;q%~,q;° ±Gu@wyx.e¶ q;£¦{u@p¦.@£w|®~x|qMq¦.9~r ~w|µ=qx uu9{£9svulw|9e´@¶ u9q¦{u9£

(7) x3¶ wy=µ@q%1w|9qMq;x|

(8) q%~,q;° ±Gu@%´@¨@{w{q%¦.@qM£{xD¶ w|1~wyw|9 q%x3¶ q}¦.q%w £qqxD¶ w|xyw u²q;~,´~q;£wº¹¤%wyx|q>uv¯ ul9s5u²w|q%, ¸ u5q;¤¥~~w ¨1~q'¦~~q; q%1~q; qw|¤%wq;£~{q#q%1ulw|µ9qv¶ u9@s5u²w u²w|9qx u §*q; ·q% ¥u²wy@~q'¤%q; q;~;q%° ±²u9; ¢ qq#q;¤¥{~w|¨1~q9wyq° q¤%9{w

(9) q% {q; q¤%9svsvq~~q#¤%91w|®~w|9»u5¯ xD¶ ul9s5u²w|u²wy@ {ul{x|u9s5u9wy~qqx|u¤9\{¤w|9»q¦~9§@u9s'svq,¦{ul¥ul\@s5u²wy@eéq;xyx|q µ=w|q%1'~9{¤ ¤%9sv¦~xq q%x|q;~@s#®~q%\£q,¥u9¤w ¨@{q;q}w ¥ul1·q£ ¼;u'¯ {ul{¤%q9s5ulw|~q@.

(10)

(11) !#"%$&(')"*+,-$/.* 021 ,-"%$3 .%,4&(02$55')&("*02$637'0-8-'),-1 1 9:.*0-82"%;<9+7,=':5'>,-$@? AB0-')1 ,="*02$ C P .%,R1F,-"%$SE$T7'91 "UP '57+9 &"WV&,="*02$ D ,E9 1F,=')&)G953.%,E"%HI,-$J5LK.M!#"%$AB0-')1 ,="%&"*9$N9 &(')"*OQ, 502$X7'0-Y.U9P 14T9$Z"%.%"[,-$\.*].%,-$82,=8-9&.%,-59T^0-')$ C`_a.bHc '>"WV;J&(55 57+9 &"WV&,="*02$ 7d029P &(',-"[$9/7'0-7')"> J9 e7,='/(fg9147.* ;< !h9.%.*i95/Y"%9$RkjJ7+ -e"%.7d9/,-"d!#,-)'':;< , 57+9 &"WV&,="*02$l95&(0-''9&(5 7`,='/'),=77d0-':,-67')0-Y.m9P 14 02$$ 9$6(n9&(,-$\i9/595C o $68b9 $p '),-.b&(5557+9 &"WV&,="*02$q"%$"*"%,-.*$ !h95:7`,-/(rR&,-&(]&,='i9/7'g9 "%&,=:s9s55')&('9 O5"%$J5')1t9 "%,-"%'9Su02$\v <u "%.%"%<9 9CLi!h9 502H-9$J .*6&,-ec.*0-');<6.U!h02$v57+9 &"WV`69$w"%.%"%),-$\$ ,=77')0<&>G 9&(9$,-$\5-e&=!h95 , P "*' .%0-');<37d02':'g9 502'].*37'0-Y.U9P 14 "[$"*"%,-.d02$X,t J &(02$"* , P &(02$)"%p '':7.["*9'>p502@?M7'0-Y.U9P 1 9C i!h97d02'i&(554'),-"%502$X;J !#"[.x95$p9 &(9,-"*')]&(02$"[p ''3$]9&(02$y ,=7d4,-$.%,-;<9.%.* 02$u5'),-$5AB0-')14'>,R.%,R57+9 &"WV`&,="%02$u"[$"*"%,-.* 9$u$q7')0-8-'),-1 14]7.%s(rR&,-&(-C D !#,=77'0<&>GT5'),-$5AB0-'5? 1 ,="*02$$9.%.*{zW|9}I~:&(02$"%5y,u P 5'),-$5A0-'>14'47,-l,Z P 7,-4$9 $02$&`l 9$w,=77`.%"%;<,-$\6,{ P &)G,-;< ,=7d 9/5'>,-$5AB0-')1 ,="*02$9eQ;< !, P 0-Y59$"*':$9 $02$&`] V`$,-.d;J .U!h02$T8- ,="%5Am,-"%,-$JC D j<59P 14T 5'),-$A0-')1F,="*02$;J$02+"[.%"%502$c95/&(9.%"dp9 &(')"*+,-$3zW|Q ~Me"%.`95+Y,-< '+.*95'),-$A0-')1F,="*02$ q 7`.%"%,=8-qEq7`.%"%,=8--C021F14q.%,&(0-''9&("*02$q&(9R5'),-$5AB0-')1 ,="%02$F, <y 9 1402$J5'g -e/.%, 7'0-Y`.m9P 1 ,="%;< &(02$"[55 959$J"*9.%.%9149$\,4 P 5'02H-'9s5'),=J 82"*9 !#,=77.%"[&,="*02$69:5'>,-$5AB0-')1 ,I? "*02$9Ci$t702"[$\T&(')&"%,-.p954.*E7'0-Y.U9P 1494S=9')I,-SgeL&(9{O@9')I,-SZ502$J4502"*4$02H-9,-gf 7'g9 "[&,=],4 P p( V`$"*'Qeg02"*:9/7')0-7')" J9 :9/7'0-8-'),-1 1499e&=!h95s&( '>$"*'/&,-:;< $02+5'),-"%502$ ,-$s&(s,='"%&.*-C _@.%.%5'02$7,='s$(fg9147.% .%,7'0-Y.9 1F,="%;J .%,49 &(02H-'5 &(9s7'0-7')" <9 C <02"%:Rg.U!h9$591 Y`.* 9:&.%,-59: ^0-')$l"*HI,-$J59e57+9 &"*V`,-$\.%,4"*Hg"%"*02$E9&.["%"*9$$K |Q\M m` #<h }2 U§ . (Ik mJ h =¡`¢B£ B >hI# M¤ BI . ¡¢£ m ¥gh¦bh¦ ¡¢£ B¦ h¨ m© 5ª. . B« ¬ (Ik m ¥gh¦#¥ U ¬ (Ik B¦ h¨#© . U¯ ° ±¤Q m ¥g B ¦ 5 -°±¤Q B¦ B¨ 5 . ¡`¢B£ B¦h¨#© ®(Ik B¦bh¨`h£ -¡`¢B£ B£h¨#© ²M¤Q B¦h¨ . D 9s5jg1 Yd02.*9:A02$&("%02$$9.% ¥ i]502$\i.*9s&(02$55')&(59'>:9:9$J"*')$,='9.[C D 95j<1]Yd02.*9 7'g9 "%&,=L\Me ¡¢£ 2eI³ £`¢ ´M¤Q ( V$"%59$J´'957d9&("*H-9149$JL.%,i"*Hg"%"*02$ 9&.%"%"%9$$-eQ.U!#,-"*"*02$ e .%,1T.*"*7.["%&,="*02$l .[,R')9.%,="*02$vµ,-$.*99$J"*')3$,='9.%C D ,E&.[,-5 |Q(fg7')"%14;< 502$J+'957d9&("*H-9149$J.%i;<0-"*9$Jp/.*i'955.%,T"*Hg"%"*02$ 7`,=' C55357+9 &"WV`&,="%02$ e19¶ 14 "b9.%.*]95(f·9 &,=Y.*-e 95'99P 3"%$(rR&,-&(T&(9&"´9icX ¶ 959$J"*9.%.%9149$\i,-Z&,='),-&((P 'F9 &.%,='),="%A· &(55 57+9 &"WV&,="*02$ Cg$9pY.%, 5'),-$5A0-'>1 ,="*02$R95/02$&i77')"%1 '·&(',-"%$7'g9 "%&,= "%$J5')1t9 "%,-"%'9 ;<R.M!h02$,u"%.%"[J9 7d02']9 &('>"*'R.%F7'0-Y`.m9P 14-eb1 ,-"[];<"c')9$9$J].U!h(f·9 &"*02$v 7'0-8-'>,-1 14p"[$(rR&,-&(-C=¸b02',=559"%$'+&(pY"%.29b9$]8b9 $p '),-.$p9 &(9,-"*')+x!h0-Y59$"*'$·( V`$"*"*02$ 'g9 &'))"*H-]97'g9 "[&,=C`¹,-$&(]&,-$ p( V`$"*"%02$l'g9 &'))"*H-]T2M6$]AB,-"[,-$\7.%s"%$\5')H-9$"*' .*X7'<9 "%&,=l(IkX7d')14 !h0-Y59$"*'E$up( V`$"*"*02$º7.% (rR&,-&(-C D !h0-Y59$\"*02$» !#$X( V`$"*"*02$ 'g9 &'))"*H- 53Am,-"*:7,=':,=77.%"%&,="*02$69/5'),-$5AB0-')1 ,="%02$: 7.["%,=8-3s7.["%,=8--C ¼ 02$\5')02$·'·&(c(fg9147.*:&(021 1 9$\pA02$&("%02$$9$Jc.*9L5'),-$A0-')1F,="*02$c: 7`.%"%,=8-:c7`.%"%,=8--C P HI,-.['6$º,=5021 y,-$E.*u&(0-')7 !#$u&.%,-5u9$ D ,5'),-$A0-')1F,="*02$»u 7`.%"%,=8-Z&(02$"%55, "%.["%,-$J .%,X'P 82.*6F'g9 502.["*02$ C´½"[$"·.M!#,=50214l( a m< h .%,q&.[,-5 |Q 7d9T!#$"*V'],QH-9& .*9,=502149 (Ik m¥gh¦#¥ s (Ik B¦ h¨`#© >e ¶ 59]9&.%,-5 B« U >e 9$u,=77.%"%;<,-$Js.%,E'P 82.*4 }.

(12) 'g9 502.%"*02$ 9$J5'6.*9T&.%,-59 |Q B« x!#$F7`,='eb7`"% .%9 '9P 82.*9 |Q U ] !#,-5'E7,='e02$ 0-Y"*9$Js.*9/&.[,-59:"*HI,-$J59 K \M m ` #¥gh \M m | h¨ B¦ h |Q. ¡¢£ m ¥ghI# M¤ BI ¦ h¨h£ 2¡`¢B£ B£h¨#© (Ik B ¡¢£ m© h | # |Q ±¤ B | h¨ . ¹,-$.*37'0g&(9s35'),-$5AB0-')1 ,="%02$l.%,4&.%,- |Q95:')9147.%,-&` 7`,='s.*9:&.%,-59 >e &(E'9147.%,-&(91 9$\T7'g9 5'H-.%,XJ9 1 ,-$\"[;J69]7'0-8-'>,-1 149 ,-t9$]y7.% 7d"* 140g 9P .* ^'Y'),-$>C·¹,-$.%,y&.%,- 02$'91F,=');JX;<X.U!#,=5021 ¡`¢B£ m¥ghI# R&(02$J"*9$JE.*q5')14Z&.*02 ¥ e.*0-'>;J.M!h02${95 ,-$ &(F&,- "[.b9 502H-9$J]"%$JJ '9,-$J R&(02$\"%$<' .%935'),-$5AB0-')1 ,="%02$3 7.%"[,=8-9e"%&"c.%Fp 7.%"%,=8-RF.U!#,=50214 ¡`¢B£ m¥gh # 9$"%.%"[,-$\3.%,q&.%,-5 }25 7'0g"*3.%,6&.[,-5 | ¥ /)"*H=,-$\5-e;<"d'9147`.%,-&('),4.%,4&.%,-5 +,-$:.*37'0g&(9/35'),-$5AB0-')1 ,="%02$3K | ¥ :2M m #¥g# . M¤ m` . , "*5 F.%,5'),-$A0-')1F,="*02$y5 AB0g&,-.%"%5 ' .%,l&.%,- >eb.* Y`395 ,-.*0-'> !h0-Y59$"%' $ D l ( V`$"%"*02$T'<9 &')"*H-:]7'<9 "%&,=L2M`C<i!h95L.k, P ;< !#"%$J5'Hg"*9$\L,-.*0-'>L.%,s5'>,-$5AB0-')1 ,="*02$4+7.["%,=8--C D , 5'),-$A0-')1F,="*02$ L7.["%,=8-L&(02$"%55,+ P '9147.%,-&('b,-$ .*c&(0-'7`x !#$c&.[,-5 &(0-'7 t7,='"*c'02"*5 >e .U!#"%$5,-$&(36&(0-'7s !#$3&.%,-37,=':.U!#"%$,-$&( &(0-''957d02$,-$\5 3, (¶ 5-C 02$&('g 59149$J,-$ .* &(0-')7 .%, &.%,-5 >ed"%. Am,-:'5')02H-'i$ "%$,-$&(]q&(0-'7i .%, &.[,-5 |Q>Cx02147`,='02$ .%9/&(0-'7s |Q >C K . K. (Ik m J h (Ik B ¦h¨h£ . ¡`¢B£ B >hI# ¡`¢B£ B £h¨#© 2¡`¢B£ m©h | # |Q . M¤ B M¤ B | h¨ . $l79')91 ,=');<'s;<LK (Ik B¦h¨h£ 2¡`¢B£ B£h¨#© M¤ B | h¨ +$ !h95s7,-s$ "%$5,-$&( ,F P &,-5] .%,4H=,=')"%,=Y.* . e;<" $37d93¶ 5'TY5"%p "%1T.*,-$9 149$J:7,='s.%9+HI,=')"[,=Y.*9 ¨ |Q>C (Ik B¦h¨h£ 2¡`¢B£ m©h | # |Q M¤ B | h¨ $ !h9/7,-:$ "[$5,-$&( ,4 P &,-5 .%,HI,='>"%,=Y.*. e;J" $37d9¶ 5']Y5"* "[1].%,-$p9 149$\s7,='s.*9/H=,=')"%,=Y`.*9 £ © >C ¸02's&(99gfR'>,-"%502$/"%.9502$&3"%147d02)"*Y.*sx!h(n9&('i.%,5'),-$A0-')1F,="*02$637.%"[,=8--C¹i,-$:&( (fg9147.*302$q95s02$& ,-149$p , P 1 0<"*V':.* &(0-'7 .%, &.[,-5 +9$X"%.%"[,-$\+.*9s7'0-7')" <9 9 7'g9 "[&,=C D 9+7'g9 "[&,=+dIk3 ¡¢£ 3( V`$"[59$Jp'979&("%H-9149$\/.%,1T.*"*7`.%"%&,="*02$4/.U!#,-"*"*02$ ,-$.*9T9$J"*')4$,='9.%] .U!h02$v,-"*4;JE&(90-7+ '),="%02$402$JT9$v7`,='"%&.%"%'].*9T7'0-7')"> J9 &(021 1T,="*Hg"*J sx!#,-50g&"%,="*Hg"*J- C $l"[.%"%5&(9s9fE7')0-7')" J9 :7d02':.*37'<9 "%&,= ¡`¢B£ LK ¡`¢B£ B£h¨#© ·¡¢£ m©h | # |Qq"*82$"WV`y;J B £

(13) ¨

(14) | | m© ,-$JZ$ H=,=')"%,=Y.% O5"%$g? 5')1t9 "[,-"*'9S\>C o $t"%.%"[,-$\T.*FAm,-"*;JE.U!#,-"*"*02$ 954$F0-7+ '>,="*02$w&(021 1T,="*H-6,-50g&"%,I? £

(15) |Q

(16) N¨ |=e·&(u;J"/l5'),-"% 5024AB0-')14q67'<9 "%&,=F7,=' "*H--ec02$7d99 &(')"*'q;< B ¡`¢B£ B£h | =¡`¢B£ h¨# |Q>e"d.U!h02$R(n9&( .*')9147.%,-&(9149$J+ ¡`¢B£ B£bh¨`#© I¡`¢B£ m©h | # |Q·7,=' ¡`¢B£ B£h | 2¡`¢B£ h¨# |Q>e`,-$/.% &(0-'7: 02$60-Y"*9$J. |-|Q\M m | h¨ B¦ h |Q . ( a B ¦bh¨`h£ =¡`¢B£ B £h | ¡`¢B£ h¨# |Q±¤ B | h¨ . D 7.%"%,=8-3 |Q+,-$ |-|Q:Hg"*9$\:,-.%0-')/7d02"*Y`.*s7'0g"*+.%,4&.%,- "*H=,-$\5LK |9}2\M m | h¨ B¦ h |Q». ¡`¢B£ h¨# |Q 2± h¨h¦h |Q. D , p( V`$"*"%02$0-Y59$J-e7d02':.%,4"*Hg"%"%02$F9&.["%"*9$$95.%,4"*H=,-$J5wK §.

(17) | ¥ \M m ` #¥g# |9}2\M m | h¨ B¦ h |Q. M¤ m ¡`¢B£ h¨# |Q 2M h¨h¦h |Q . 55p( V`$"*"%02$9 H<"[91 149$J Yd9,-&(027 7.[(rR&,-&(p;<c.%,/57+9 &"*V`&,="*02$ "[$"*"%,-.*-C D !h(f·9 &"*02$ !#$yY E.%,6AB0-')14E2M m #<h 30x P .*9 502$J]9]5')149]&.*02 e 9 HI,=')"[,=Y.*9 H=, &(02$"[55'T,y P O550255'),-"*'9S ;< !,4 P &( ;< 502"*:55'>"%&(59149$Js"%$A9 ')"*9' , P C 55T9&(')"%7"*02$$02:&(02$"*/,-gf6,IrF')1 ,="%02$:"%HI,-$J59 K P .%,i5'),-$5A0-'>1 ,="*02$ D !#"%.%"[,="*02$ 9´7'0-7')" <9 L97')0-8-'),-1 149´95´7,=')A02"%"%$"%57d9$,=Y.%:,. 9 7'0-8-'>,-1 149Çb02']&( (fg9147.%-e,q P $0-5')R&(02$$,-"[,-$&(-e"[.c$ !h(f"%55 7,-] 59&>G$"%;< 5'>,-$5AB0-')1 ,="*02$$9.%.*7d')145,-$Js !h0-Y59$"%':$7'0-8-'),-1F14 ,-)"d(rR&,-&(-C i$ 7'0-Y.U9P 14q"[147d0-',-$\49R.%,y9 &(02H-'5{9 7')0-7')" J9 Cp¹,-$R.U!h(fg9147.*l7'0-7d02Jl 02$. "%.%"%5].*9i7'0-7')" <9 3&.%,-)"%;<9s9i0-7+ '),="%02$3,=')"*G1t "[;J99e`02$u7d02''),-"%s,-I502"%$']&(9 7'0-7')" <9 q,u P .%,X79 &"WV`&,="*02$v"%$"%"%,-.*-Cx_@.·(f"%559T&,-4,-$T.*9;<9.%].*9T7'0-7')" <9 502$J 1 02"%$&.%,-"[;J99e"%.b953,-.*0-')3"[$"%57d9$),=Y.*34.*9p9 &(02H<')"*' .*0-')X7'0g&(9iT5'>,-$@? AB0-')1 ,="%02$ C D ,i)"*5/+.U!#,='"%&.*+95L55'>&('g :/.%,iAm,&(02$4"*H=,-$\5LK-.*+7,='>,=8-'),=7G:}i02$$+.*9L$0-,="%02$ +.*9·( V`$"*"*02$psY,-,-"%$)";J.%,]9&(')"*7"*02$ Rp9 1402$55'),=59'"[.%"%<- e\.*7,='),=8-'),=7`G § 95 $ 9&(')"*7"%02$l .%,59&>G$"%;< "%.%"%< -e.% 7,='),=8-'),=7`G « 1402$J5'T's9fE(fg9147.*9&(021 149$J AB02$&("*02$$4.%,R59&)G$"%;<-ed9$gV`$Z.*7,='),=8-'),=7`G &(02$&.%7,='3$"%&"*02$X3.*97d')57d9&("*H-9 7d02"*Y`.*9+ &( 5'),QHI,-"%.MC. . Lx ] .

(18) ¬

(19). ·

(20) . !"#$%'&)(*%+. ¹,-$4&(67,='>,=8-'),=7G$02( V`$"[502$;<9.%;<9]$0-,="*02$4&(02$&(')$,-$\ .*9$0-"%02$Y,-5 6.%,u.*0-82"%;<yzW|-|(~MC·g"-,954$(fg7'9)"*02$$024$0-502$. , T.U!h9$591 Y`.*E9]H=,=')"%,=Y`.*9,9j2,-$J 9 0<&&')'9$&(9T,-$/,2Cb¹,-$T.%,l"%5F$02]$0-502$ .%9 ,=5021490 $1E2i434343 e.*9 &(02$=@02$&("%02$ !#,=502149 65 87i434343 T.*9 )Y5"*"*02$:9 <;d434343 Cbi$EY5"%"*02$Z95,-"·$0-J 02 .%,FA0-')1 >= ¦@?BA C?9434343Qh¦EDFA GDIH ed.U!h9$591]Y.* 9H=,=')"%,=Y.*9:= ¦@?434343Qh¦EDIH 95,=779.T .* 021F,-"%$] .%, Y`5"*"*02$xCJ782l95s$ ,=Y'< H<"%,="%02$67d02'KJELNMPORQTUWS V U4S XZY L$M VI[ \ ] Y"Û M X C i$37'0-8-'>,-1 14c02 7'0-8-'),-1 14pp( V`$"_w9$39$91 Y.%cc&.%,-59·^0-')$ ea` _] 9 )"*82$ .*7.%·7d"*/140gd9P .*33^s')Y'),-$b_4Cc02/&(02$"% ')02$/9+AB0-')1].*97,='"%&.["mP '9e,=77d9.> 9 AB0-')1].*9b"[147.%"%&,="%H-9C=9AB0-')1T.*9502$\´7,=')"%&.%" '91 9$\"%147d0-',-$J59b7d02'.U!#,=77')0<&>G9 &('>"*5-e 9.%.*37d')1 559$\s 140<9 .["%5':.*9/7'0-7')" <9 s9/7'g9 "%&,=9C. d fPe gh6ikjlinmEhpoqsr)tvu$mxwzy|{6}kf~iy}ikjlik Efx VUEWzXB MFL UK[n JEL []CY"^[k"UU O ^ M VUEWzXB MFL U- MTJ XvUW[!UWX zXzXvUU L YWzXBUa |Q ¦$?(333* ¦xD!g¨F?(333*g¨"5 g©?(333*© / -M 5 U4^ O zVx^-U O ] zVWzV]a^[szV O @ Y"^!zU OW¡ = ¦@?9333*h¦EDxH ¢. s5 @£¤. / ¥ = ¨F?333*h¨"/H ¢. s5 @¦K. / YzV = © ? 333*#©lPH . /@¦ . s5 VU§Û nL L U 4zXB ¨M L > U U O ^V"^ US U 5 . ©O [ L V ª«Y J Y O @ Yz¬W[ Q"M [^ U S ¡ . c0-502$s;< .*9s&.%,-59: ^s0-'>$l502$Js9:&,-s7,='"%&.["*') AB0-')1].*9/"%147.["%&,="*H-9C. «.

(21) D 9 H=,=')"%,=Y.*9F;J,-$J"WV/ 9F(fg"%59$\"*9.[.*9149$JF502$JR,-)":,=77d9.> 9F.*9 HI,=')"[,=Y.*9 "%$J5')$99ec.*9 ,-5'9s502$\;J,-$J"WV/ 9$"*H-')9.%.*9149$JC. d fPe gh6ikjlinmEhpoq o t wlmE<wzi fe j f e {<h <w+mEwlEy y fI z[sU4Vx^ _ M V J XZ Q XYzU|Ua^ K 5 M VUW"XC MFL U[k JEL []CY"^[nzU ¥ pU O ^ M VU J XZ J XC[ U4S ^ U> S PU _ O [

(22) pU O ^ +Y L [sUYzV O` _TW¡ D 9 '9147.[,-&(9149$\b !#,=502149b,-$x.*9&(0-'7x9&.%,-59 7d9H-9$Jc¶ 5'cHgx&(021F14·9x,=77.%"%&,I? "*02$L7'0-7'>"> J9 b9 7')0-8-'),-1 149C9¸´,='b(f<9147`.*c"-.U!h02$ &(02$"% 'c.%,+7'0-7')" < ¡`¢B£ B¦bh¨`h 5¡`¢B£ B #©h L ¡`¢B£ B¨#©h£ \¡`¢B£ B¦h£h >e;<" (fg7')"[1439$l7,=')"* .U!#,-0<&"%,="%H<"*< 67'g9 "%&,= ¡`¢B£ \e"%. 95s702)"*Y.* 3'91 7.%,-&('s$"[$5,-$&( .[,7,='"*82,-&>G] .[,A0-')1T.*7,='.U!#"%$5,-$&(&(0-')'957d02$,-$J5 .%,7,=')"* '02"*5-C. x % !#< & & #$ %*" D X9 1402$5'),=59'6;JX$02F7'g9 59$J502$E95$q,-,=7,="*02$»X&(9.%":p9 &(')"*,-$uzW| ¯ ~MCp_@. 7d')14´7'02H-'L;< !#$A0-'>1].%"%1 7.%"%&,="*H-·95LHI,-.["%p,-$´.*p7`.%x7d"*´140gd9P .*/+^s'Y'),-$ !#$7'0-8-'),-1 14 ( V$"UC c02/&(02$"[p '02$+&"%$;4'9P 82.%9:3p9 &("*02$xCgi$i'P 82.* 39 &("%02$8b9 $ ') $E9$591]Y.* AB0-')1].*9p"[147.%"%&,="%H-9,T P 7,='"%' !#,-5'9A0-')1T.*9+"%1 7.%"%&,="*H-9p/9+&.%,-59+.%,T57+9 &"WV`&,="%02$ C Tp9 1402$55'),=59'7d9s,-"c¶ 5']H<u&(021 14T$ (fg59$"%02$qX5j<(9P 1 T 5'),-$5AB0-')1 ,="*02$X ,-1 ,=<"]g,=50yzW|Q ~MC ¹,-$3.%,E"%5].*0-'));J$02i7,='>.*'02$iTA0-')1T.*99e"%.!#,=82"*'>,E]AB0-')1T.*9 "%147`.%"%&,="*H-9C <02"%_ $F7'0-8-'),-1F14s( V`$" K 5 $:AB0-')1].*-C\¸02'·7'02H-'p;< 95·H=,-.%"%:,-$ ` _]>e.U!#"% 95:x!#,=77.%"%;<'9+'P 82.*9],4 P &>G,-;J1 91 Y').[,]AB0-')1T.*-e,-$+.*Y !h0-Y59$"*' 9/AB0-')1T.*9/].%,A0-'>14 5 02 ® <¢ +, &=!h954, P "*').[,A0-')1T.*3H<'),-"* a=£ ,I>C k. c02 9 &('>"*H-02$T.*9 '9P 82.*9TF9 &("*02$t502 .[,6A0-'>14F '9P 82.%9] !#"[$A9 '9$&( 0x P. . . . . >e. 9 s$AB0-')1].*3 95s$9$591 Y`.* 3AB0-')1].*9e 95s.* $021 .%,'9P 82.*-C D u7'0<&(9)Zp9 &("*02$»956.*Z"%HI,-$JC/½ &)G,-;< ,=7d-e:$02,9H-02$l$9$591]Y.* 6AB0-')1T.*9X,{ P 7'02H-'9Cc02 &>G02"%"%)502$ $EAB0-')1T.* R$024,=77.%"%;<02$$6'P 82.* 49 &("%02$º, P ed9$"*54$02'9147.%,&(02$i.[,A0-')1T.*&)G02"%"*7,=' .U!h9$591 Y`.*4A0-')1T.*9 8b9 $p '< 7`,='´.[,'9P 82.%:/p9 &("*02$ C"c02´0-Y59$02$L$$02H-9..U!h9$91 Y.% <+A0-'>1].% ,i P 7')02H-'xK '¦= H C ¸02's&>G,-;< '9P 82.*-e d95s02$$3 9$lA02$&("%02$l C d fPe gh6ikjlinmEhpoq t iy 6}ikg6jlinmEh. .

(23) %& . . *) ,+. 9 U O ^ M VU OBM ¬ U O +zY XB[YP¬ L U O '¦= H. '. ! "# . $. (. 5 0 K s5 . . . G9. E1. . ´. _T. O ^[^ M ^["V = ¦ -A . -H Û LnL U0/ M U 0 9 1 ¥ L U zYz[nVUPU 9 U O ^T]CzV O ^[^ M U S PU L U4V O 4U ¬ L U . P 1 ¡21 PM O Y"+ zV O O 0 O L O O M O O [nVxÛWXBVU U 4U Û zYzXB[Y¬ U U zY ªYzVx^8U a] ] XBXvUWVE]BU YzV s 5 H

(24) % = G9 ¡. D ,i)"%147.%"*V`&,="*02$ 7d')1 ´+)77')"[14'b9L,=5021 9c9L9gfT&\0-¶ J9 +.%,iA0-'>1].%-C2+55/'P 82.* 7d9i¶ 5'3H<&(021F14 $G9')"[5"%;<-e\7,='>&( ;J !h9.[.*i$i7'<9 5'H-37,-/.U!a9 ;<"*H=,-.*9$&(-e 7d9i¶ 5' H=,-.%"%3,-$` _T,-$"%/;< $ .M!h95:7,-eY`"*9$6':" `9:HI,-.["%3,-.*0-') w.U!h95s,-)"UC. 3 4 d fPe gh6ikjlinmEhpoq65 t dfPe }ikxf76 w+mEikj". K 5 0 = < ?> @ = - K 5 58- G9 -k 9tzW| 434343Q;: ~ H A =CB ?9434343Q B H U O ^ L U4V O U4¬ L U>U O ] L Y MÖ U O MJ XZ Q XYzU _ Û LkL U O / M U B O UFE[ Û 9 - ¡2JG £1 @- 0W¡. . . . . . . K 1. . 5D- U4^K[ L.

(25) [A. . P¥ Y L zX O VE MÖQTUWS V U4S XZzV O¤L Y4zXC MFL U J¢ +,z¥ / M U¤VE MÖ§J M + zV O X UaS M [nXU©Y L Y k = £ H / 434343 ;: ~ H ¡ F M L P , ¡ 1 ¨ M O O ' ¦ = ~ % = t 9 W z | 4zXC U Y"+zV. c0-502$s;<37d02'/7'02H-' "%.d95s$9 &(9),-"*'T37'02H-'s50259s.*9:A0-')1T.*9 - C d fPe gh6ikjlinmEhpoq t dfPe }ikxf7Ex{< <fI. . . -. =. 5 5 zW| 434343I ~ H . K 0 G 9 . D- -. K 5. =< ?>. ;:. 9. . . ^ L U4V O U4¬ L U PU O ] L Y ¨M O U O M|J XZ Q XZY" U _ Û LnL U O / M U B - K 1 - 5 2¡ G\£´14-@ 03 ¥ -M 9 - O z VE^PU O>JzQM U E"[ O Û4Vx^[sU L O x] U O ^ Y "[kXvU|zVE^ L U O MU FL UWUWVE^PU O zYzXC[sY¬ L U O U 0 Ua^-U O zYzXB[Y¬ L U O U 1 ¡ 1 PM O Y"+zV O M V 9zW| 434343I; : ~ ¡. =CB ? 4343439 B PH U O U4^ Û LnL U O / M [ L UFE[ O Û 9 zYz[nVU O ] "Vx^[sU4VIVU4Vx^ O '¦= H % = - aH J M X. A. .

(26) . . . ¸02':7')02H-'s.%,AB0-')1T.*3"%$"*"[,-.* e`"%.95sgrE,-$\:37'02H-'s$ 9/AB0-')1T.*9 .* 7.["%,=8-382,-&)G-C d fPe gh6ikjlinmEhpoq t §mE{<6{<w+f 6wlmi jlfI. . 7. . K. K ^[zV|Û LkL UD/ M U. w . . . . . 5¤? 5 9 5 . (< @. !2. -. 8b9 $p '< 7,='. . 9 U O ^ M VU OBM ¬ O ^[^ M R9 5 ? J M X¤^! M Û +YzXB[YP¬ L U ¦ U /¥ ¦ 9 U O ^ M VU¤zYzXC[sY¬ L U / M [TV Y J Y O @ a] ] M XBXvUWVE]BU O Y"[ LnL U M X O / M U YzV O 9 9OCM ¬ O ^[^ M U L U O "[ U4S XU4VxÛ O +YzXB[YP¬ L U O [nVxÛWXBVU O U J Y"X«z[ U4S XU4VxÛ O zYzXC[sY¬ L U O [kVEÛWXBVU O PU 5«?( 5 ¡ L Y4zXB MFL U Y JJ Y"XZY ^YzV O«M V J X US ] US UWVx^ UWV O UW¬ L U UbWzXB MFL U O ¥ >Y"[ O§J Y O YzV O L UWV O UW¬ L U] M XYzVx^-U 4zXB MFL U ¡ 1 MÖ Yz+zV O ¦R= H

(27) %~= H ¡ D ,4&(027''02"*595:$8b9 $ '>,-.%"%,="*02$X3.%,T5'),-$5AB0-')1 ,="%02$6&.%,-"%;<7.%"%,=8-3( V`$"*3,-$ zW|Q ~MC d fPe gh6ikjlinmEhpoq t §mE{<6{<w+f7xE{$ $fx. . . . . . . . . . . ^[zV|Û LkL UD/ M. . ! . ? K yK R9 . 5. 5. D<". . . !2. 9 U O ^ M VU OBM ¬ O ^[^ M U 9 ? J M X:^! M ÛbzYzXC[sY¬ L U ¦ PU ¥ ¦ 9 U O ^ M VU zYzXB[Y¬ L U U4^V Y J Y O @ a] ] M XCXvUWVE]BUYz[ LkL U M X O / M U/YzV O K9x¡ 9 OBM ¬ O ^[^ M U L U O z[ UWS XvUWVxÛ O +Y"XC[sY¬ L U O [kVxÛ4XCVU O U J YzX z[ UWS XvUWVxÛ O +Y"XC[sY¬ L U O [kVEÛWXBVU O PU ?9 L YWzXB MFL U Y JJ YzXY [^YzV O M V J X UaS ] UaS U4Vx^ U4V O U4¬ L U'U/4zXB MFL U O Yz[ O§J Y O YzV O L UWV O UW¬ L U] M XYzVx^-U 4zXB MFL U O4¡ 1 MÖ Yz+zV O ¦R= H

(28) %~= H ¡ c0-502$i;J].*9:'9P 82.*9iT&(027'9 82,-&)GT'02"*>+502$J9.*9149$Js9G9')"%"%;J9eg9.%.*9 7d')14559$JEXAm,-"*'u9E7'9H-9R7,='E'<9 &''9$&(-C D 9RAB0-')1T.*9 502$J.*9RGJj<70-G 9P 9 R'<9 &''9$&(-CL½i"%$"·"%.c95T8b9 $p '),-.*9149$J $9 &(9,-"%'Ex!#,=77.%"%;<' .%9 '9P 82.*9Ep 7.%"%,=8-9T,9H=,-$J !#"[.%"%5'.*9'P 82.*9/&(027'99e<,-$.%YiAm,-"*'p9 &('0 ¶ *5' &(',-"[$+,='82149$J+7,='+'),=77d0-' , P $0-'>' ,=77')0-7')"- C. . . . . . . . . ¯. #. .

(29) · c > ·44

(30) . Lx ] . B. < 02"%R_ $q7'0-8-'),-1 14T02$$T ]K ¡ $T&.%,-5Tp( V`$"*]59.%.*T;JT.*]j<1]Yd02.* ¡ $ !#, $" !h0g&&'')9$&( ,-$T_ e$" ,-$ :0x P C?434343Qh GD C D , 59&)G$"%;<:7'0-7d02< s, 7d02'cYcs5jg$\G "%'$sp( V`$"*"%02$4'<9 &')"%H-s ¡ e\9.%.*s&(02$)"%55 9$ 9fT7,=')"*9C D , 7'91 "UP '/7`,='"*/95·.[,8b9 $ '>,="*02$:&)G9 1F,-e<.[,359&(02$:9·.U!#"%$,-$&"%,="*02$ &(9&)G9 1 ,-9$l"[.%"%,-$J/.* p9 1402$55'>,=59'9 &(')"%:7'g9 &9 91 149$JC. .

(31). x 2 *E#$ & % *% P (nd9&('T9 o ,-$\ 02$$p .%,6&.%,-"[$"%$"*"[,-.*"B K ¡ ex.[,7'91 "UP '7G,-5 &(02$"%5l, ¡ 7.%"[,=8-9b,-$.*9b,=502149b BIeQ02$]0-Y"*9$Jb,-"%$"-$·&.[,-5B K 9JL 0 § P 9s95b.[,:Y"*"*02$ 0-Y59$<s7`,='p&(02147d02"*"%02$4s50259.*9c)Y5"*"*02$L&(0-''9702$,-$\p,-gf "Wns ')9$\p7.%"%,=8-99CJ9&" 95:'g9 )1] &(021 1 "*dK. BK. ¡ L 34343 /, ¡`¢ ,Q 34343 ZK ¡´ 9J´ . B. . G. ¹,-$/&(55 7`G,-53"%.(fg"[5533$021 Y'959Am,&(02$/ !h(nd9&('s.*9/ 7.["%,=8-9C D 7'0-Y`.m9P 1439 7.%"%8-9i, Jt " ,-$TzW| § eL| « ~Me ,-$$T,-5')]7')0-Y.>9 1 ,="%;<,=77d9.> ZO5.%0J0-7{,=Y50-')Y"*02$S 9$6Hg ( V$"*': $02H-9,-67'g9 "%&,=9C o ${&( ;J"´&(02$&('>$4&(55F55'),=< 82"*-e.%,1 ,-$"UP '4 !h(nd9&(' .*93 7`.%"%,=8-995382"[p 47,='3.*9 (¶ 59F&.%,-9 0-Y59$<9C o $y(ndeb.*9 5'),-$5AB0-')1 ,="*02$ F 7.["%,=8-9 "%$J5'0g"%9$\9$y89 $ '),-. 9 &(02$55')&(59'> ,-$3.%93(¶ 59TF&.%,-599Cx¹i,-$ .U!h(fg9147.*4R.U!#"%$J5'0<&("*02$ ed.* 7.%"[,=8-F .U!#,=50214T( a m< h / .%,4&.%,- |Q7'0g"*+.%,4&.%,-5LK \M m | h¨ B¦ h |Q . ( Ik B ¦h¨h£ 2 ¡`¢B£ B£h¨#© ¡¢£ m ©h | # Q| ±¤ B | h¨ . c 02i'91 ,=');<02$i;<].*T5'02"%)"m9P 14T,=')82149$Ji2± m | h¨` B¦ h |Qi95,-.*0-')3 B¦ >ed&(9.%,E&(0-'5? '957d02$ ,4 P &>G')&>G'i$3p( V`$"*"*02$7`,=':'<9 &''9$&( 9$lAm,-"%,-$J:$ "%$&("*02$':.% ;J0-"%9$\C i$ 7.%"[,=8-c9x,=502149 ¡`¢B£ B >hI# 023M¤ BI d,-'),-"* 7'0<"*d.*9d(¶ 59c&.%,-59x\M m Q#<h 2M m U #J B 5>ex&(];<"&(0-')'957d02$t,R P 9i"%$&("%02$:'i.* "%H<"%9$3.%]"*Hg"%59'9C¹,-$ &(55y ,=7d &=!h902$&3.M!#"%.%"%),=59'9eg;J" &>G02"%"%:.%,4p( V`$"*"%02$ e;J !#"[. p9 "*'30-Y59$"*'9C (nd9&(p9 e´9$y89 $ '),-.+"%.L$ !h9 7,- 702)"*Y.*4FAB,-"*') ${7.%"[,=8-F0 B D 9 7.%"[,=8-9 ,9j2,-$J J ,-$3 B e&,='T,-$ 02$t$F5')02H-R !#"[$5,-$&(E Ç´,='T&(02$J5'-eL"·.M!h02$ 5E.%"%1 "*5X,X P $ 7`,='"* $"%$5,-$&(-e e ·C $Z,602$&T.%, 93,=502149 ed"[.b9i7d02)"*Y.*T]5')02H-' ,-$ "*,="*02$6"*H=,-$J5LK. , +¢ , "B ¢mJ£ +,Q . . . . . . . CB. ¨,. . £ ¤$,] £d k£` k ¤ ;Z , ¢m¢ , £ ,. BK ¡B BZ K ¡´B 9Jw . . . . . . . ;.

(32) ?B. $"*E;JX.U!h02$º(n9&(u7`,='"*9.%.*91 9$\F.%X7.["%,=8-X q,-$ "%HI,-$JdK. ¡B 9<w. ¡B Z; E5. | P£ 5. B :.U!h02$º0-Y"*9$JE.*u&)G9 1F,. ,Q p£ ¤$, (B I¤2I¤

(33) B k ¤ \ I³',Q6 P /, , ³6M¤$, l3. fÿ Iw@{$f0)qsr. O LY Y ] zVa4zVE]^["V @ Y^!zU O V U O ^ J Y O'O [ Q VI[ \K] Y"^[nzU Y"V ' J YzXW^[!U L¥ U LnL U§Y«"VE] U4S ^ U S OBMJJ XC[n US U ¡ M U L / M U O ]aXC[^WU XvU OJ UWXBUa^sÛWVx^-U U4S ÛWXB[kVUWX L U§VEz¬4XU>$ Y"^!"U O U "V|] ¨z[ O [^ Yz"Uv] L U:Y E[k M L Y OBM ¬ O ^[^ M ^[zV ; J U M ^ U4^XvU:] Fz[ O [PU4Y

(34) ]zV Y ]CU/ M U ; k[ V PU§+YzXB[YP¬ L U O U ¡. . . . k. ] L Y ¨M O U ¬aÛWV M U J YzX L U J L s[ Y Q U @ Y^!zU OW¡ O ^!YzVE]a[sU M V VEz¬WXvUbY E [k M .

(35). %lz* !*!#$©& % * o ,-$\s02$$p .* &>Gp9 1 , K. ¡B Z; E5. K ¡B 9Jw. .*]7'0-Y.U9P 14T95T5'02H-' 5 59.´;< 502"%sH=,-.%"%T,-$i.* 7.[:7d"*i140< 9P .%T^'Y'),-$X _ = H C D ,{'<9 502.%"%02$ q&(l7'0-Y.U9P 14q6AB,-"*F9$ "%.%"[,-$\4.*l9 1 02$55'),=59'QC:91F,=');J02$ ;<l.* 7'0-Y`.m9P 14FF9 1 02$\5''T$ AB0-')1T.* "%1 7.%"%&,="*H-95{ H<"%91 149$J "%$9 &"%,=Y.*-ex,6AB0-'"*0-')"·"%.´9$ 95s 19¶ 14] .M!#"%$\H-9$J"*02$6 5 ,-$/.* )&)G9 1 ,gC g"\.*L7'0-Y.U9P 1 cAB,-"%x"%$\5')H-9$"*'9x±j<79bp( V`$"%x7,='x'g9 &'')9$&(-e &(021 1 ·.*9 9$J"*')02 .*9x.["%559e .%,AB0-')1T.* ;J .U!h02$602"*:"%$5,-$&"*'+95s02H-9$\$A0-'>1].%;<" 5 9 1 02$\5' 7,=':'g9 &'')9$&(-C i!h95+7d02');<02"`.%,]5'),=J 82"* 8b9 $p '),-.* ;<.U!h02$,=77.%"[;J&(02$"%55F,T P &(02$"% ')':.*9+&,-+5')1 "%$,-fe 7"[3,v P 59$' ,-q&,-:8b9 $p '),-.UC D !#"[.%"%,=59'+95s82"%3 7,='s.%9:9gf9 .>9 149$\i"%HI,-$J K 5')02H-'$3A0-')1T.*3 .[,A0-')1 x5 e;<"d95s$Gp 0-'<9 14-C. "%.%"%5'.*9L&(02$"%"*02$5j<$J,If"%;J99b'9P 82.%9c !#,=77.["%&,="*02$Tp9 1402$55'),=59'L´.%9L&(02$"W?. "%02$bj<$J,Ifg"[;J9 9$T8b9 $ '>,-.9&(02$)"%p '),="*02$'.*9bHI,=')"[,=Y.*9>d &>Gp9 1 , ,s P "%$,-$&"*'9C D 7,='),=8-'),=7G "*H=,-$\/"%.[.%55'&(021 149$JsAB02$&("*02$$ &(55]55'>,=J 82"%-C. % CB. .

(36). . v. ¹,-$´&(+7,='),=8-'),=7`G$02b02$$02$b9gf (fg9147.*9b7d02'´"%.%.%5''.%,s59&)G$"[;J-e=$02"%$)"%5502$ '3.U!#"[$5,-$&"%,="%02$u93&)G9 1 ,-9C$cs02 $4p H-9.*0-77d02$7,-3.%97'9H-939AB0-')1T.*989 $ 'g 9C ¹,-$s.%9+(f<9147`.*9e$02/502.%"*82$'02$/.*9/,=502149i;<" 502$Jsp 7.%"9 /02X"%147`.%"WV/9 C. . !)&!* & %+#$ &x |=Cq9 $ '>,="*02$ &>Gp9 1 ,])"*H=,-$\ K\\M m` m h · 5 2± B£ #<h >eJ$02c)77d02502$L;< . s5 != #<h h£$H C $02:,9H-02$s'9$021 1 .* &>Gp9 1 , 7d02'/7`.%+ .%"%)"*Y"%.%"%J >C }<C:_@$5,-$&"%,="*02$l6)&)G9 1 ,sK2M m m h p 5 \M B£b #Jh P '02"*5 " p 7.%"%,=8-E,4 \M m` m h . 5 M³',Q m<Qh ¡¢£ B hIh£ X¢ , B . .

(37) P 82,-&)G " p 7.%"%,=8-E, M ³', m Q F¡¢£ h # X¢ , B 5 M³',Q m<Qh 4¡`¢B£ B h h£ X¢ ,QI B . " "%147.["WV`&,="*02$E .U!#,=50214 ¢ ,QI BI M³', m Q 4¡¢£ h # c. 5 ±³',Q mJ h -¡`¢B£ B h h£ . P 82,-&)G " p 7.%"%,=8-E,. 5 M³',Q m<Qh -¡¢£ B hIh£ . M³', m< =¡`¢B£ g \¡`¢B£ hI# p. " "%147.["WV`&,="*02$R9$l"%.["%,-$J+.[,4Y5"%"*02$E(fg"[559$\"%9.%.*= ¡¢£ B g \¡`¢B£ hI# c. 5-¡`¢B£ B h h£ . . A CH C. !2 . _@.<95c"%147d02)"*Y.*·x!#,=77.%"%;<'.%,i'P 82.*:/"%147`.%"WV`&,="*02$ ,-$L.%,A0-'>1].% 2 eI&,='p.*9HI,=')"[,=Y.*9 e e ,-$ 502$Js$"*H-'>59.%.*9149$J/;J,-$\"WV/ 99C " p 7.%"%,=8- '02"* ,=50214 ¡¢£ B hIh£ 5 ¡`¢B£ m¥g g \¡`¢B£ hI# · 5 9 ? ¡`¢B£ B -¡`¢B£ hI# p 5 9 I=¡`¢B£ B >hIh£ G':9 ? = AI¥gh£A PH ,-$ 9 = vA B h£A B£ H C. . . . o $l&(02$"[p '),-$\.* &,-:5')1F"%$,-.Ue$02s,9H-02$.%,A0-'>1].%LK ¡¢£ m¥g =¡`¢B£ hI# · 5 9 ?. " p 7.%"%,=8- 82,-&)G ,QH-9&].[,4Y5"%"*02$ =9 A=H ;<" $ &>G,-$8-]7,- 5 9 ? ¡¢£ U hI# p. 5 9 ?. c02&)G')&>G02$ 5 59.%.* ;< 5 9 ? `¡ ¢B£ U h # 5 = AI¥gh£A PH ¡`¢B£ UQhI# :"%1 7.%"%;< 5 = £ A ¨H ¡`¢B£ U h # >Ccs02s0-Y59$02$.*9s9gfl502.%g? "%02$:"%HI,-$J59/7d02' 5 K 5«?. 5. . . ¡`¢B£ U h£# ¡`¢B£ U h # . o $6'9147`.%,&,-$\:&(9sHI,-.%9'):,-$ 2 e$02:0-Y59$02$:.%9/A0-'>1].%9:"*H=,-$J59dK ¡¢£ B g \ ¡`¢B£ h I# c ¡¢£ B g \ ¡`¢B£ h I# c . ¡`¢B£ U Qh£b# \¡`¢B£ B >hIh£ ¡`¢B£ U QhI# 2 ¡`¢B£ B h h£ . g9.*3.%,7'91F"mP '3A0-'>1].%395/HI,-.["% 9.%.*37d93¶ 5' 7'02Hc 7,='s.* 9 1402$55'),=59's9 &('>"* ,-$/.*7,='),=8-'),=7`G }2>C`55 AB0-')1T.*(f<7')"%14$7'0-7')"> J ;J"&(021]Y"%$ .%,&(021 1],="W? Hg"*< .U!#,-50g&"%,="*Hg"*J .U!#,-"*"*02$,-$/.%9/9$\"%'):$,=')9.%C o $'9147.[,&,-$\ 5 ,-$+.*3&>Gp9 1 , "%$"*"%,-.Ue\$02+0-Y59$02$/.[,T( V$"*"*02$32± 7d02'/.*&,- 89 $ '),-.B K .

(38) \M m` m h ¡`¢B£ U h£# 2M B£ #<h >e +55 p( V`$"*"*02$E95/&(0-'')9&(5 "d$02+770202$·;<3.%,TA0-'>1].% ¡`¢B£ B g I¡`¢B£ hI# p ¡¢£ U h£b# ¡`¢B£ B h h£ , J6 7'02Hc -C·i!h954.%,up( V`$"*"*02$;JE$02],QH-02$40-Y59$<v,-$ .M!#"%$\5')0<&("*02$E9$l,=77.%"[;J,-$J/.%,7'0-7')"> J- C. !)&!x< <02"% ?. @ .*c7'0-8-'>,-1 14·"*HI,-$J57+9 &"*V`,-$\´.*c5'>"\.*9$J !#$·.%"%55p !h9$\"%')$,='9.%C. k. . . Q| = (B¦bh¨ }2 ¡ , ³ ¤ ¢a ¤ ¢ U§ ¡ , ³ ( ¤ m`#© ( ¤ U g5 B« ¡¢B 4, U (I¤ UQ 5 U ¡¢B 4, mx?Q (I¤ U?h¦@? (I¤ U?9h¨F? 5ª U¯ ¤ ¢ - (I¤ mh¦ 5 ¢B @B¦b ¤ ¢ ¢B @B¦b ( ¤ B¨#¢ 5 | ¥ °±¤ m¥gh¦ |-|Q°±¤ B¦ B¨ 5 . B. B B. B. B. B. B. B. B. ¡ , ³ B¦bh¨ B¨ . B. B. ¡`¢m W, U h£ (I¤ m`#© 5 J¡ , ³ B£ . B. ¡`¢m W, mI?9h¦$?9h¨F? ¢B adm`h¦ B ¦ ¢B adB¦#¢ ±¤ B¦h¨ M¤ B¦bh¨ . B. ¹,-$c&(55579 &"WV`&,="*02$ ¤ ¢ I¤s502$\c.%9L&(02$55')&(59')c/.%"%59 ¥ ·:502$J·.*9L&(02$5')&? 59')s9/9$J"*'):$,='9.%C = B¦h¨ p95:H<'),-"x"d59.*9149$J:" ¨ 95s.[,4.%"%555')" T ¦ e ¡ , ³ B¦bh¨ p9:HJ'>,-"x"ds59.*9149$Js" ¨ 95s$37d')1T,="*02$6 .%,4.%"%5 ¦ e ¡`¢m W, B¦h¨#© +9:HJ'>,-"x"ds59.*9149$J:" © 95.%,4.%"%5530-Y59$J 9$67.%,&,-$Js.U!a9 .9 149$J ¦ $ !#"%147d0-'5 0xl P ,-$:.%,4.%"%5 ¨ e B¦ +95:H<'),-" " s9.*9149$J:"x.%,4.["%55 ¦ 95s0-')02$$ -e ¢B adB¦#¢ 9:HJ'>,-" " s59.*9149$J:" ¦ 9s"%$A9 ')"*9'+02» 82,-.+,4 P 502s.%9R9 .>9 149$\i ¢ e ¦ ¨ C M¤ B¦bh¨ p95sHJ'),-""ds59.%9149$\:)" . B. |=Cq9 $ '>,="*02$Z6&)G9 1F,gC D 7.%"[,=8- .U!#,=50214 ¡ , ³ B¦h¨ .%,4&.[,-5 |Q7'0<"*+.*9:&.%,-9{K |9}2: I ¤ ¢a ¤ ¢ L ¤ ¢ | § : I (I¤ m`#© (I ¤ U g5p. B. B. B. B. B. ¡`¢m W, U h£ (I¤ m`#© 5 J¡ , ³ B£ (I¤ U g5. g9..[,&.%,-5 | § E$02"%$\< '9)5Z702'E.*Z&>Gp9 1 , .%,t&.%,-5 |9}2RAB02')$"%),-$\E$&,- 5'>1 "%$,-.UC D 7.%"[,=8-i7`,='"*9.x |Q/,-$ | § /8b9 $ ')T.* )&)G9 1 ,R"*H=,-$\dK = ( (I¤ m`#© (I¤ U 5· 5 Q = (B£b g>C D !h0-Yg59&("*A´95s35'02H-' 5 Hc ')"WV`,-$J:.*9:&(02$"*"*02$/"*HI,-$J59K . s5 != #© h£b H C. .M!h9$591]Y.*·9b5jg1 Yd02.*9xc7'g9 "%&,= 5 95$]502@?M9$591 ` Y .*cT= ¡¢B 4, I¢ @` M¤ H C. }<C:_@$5,-$&"%,="*02$l6)&)G9 1 ,gC = ( (I¤ m`#© (I¤ U 5 5 Q = (B£b g. B. B. B. B. B. " p 7.%"%,=8- 82,-&)G |¥.

(39) B. B. B. ¡ , ³ 5 ( ¤ m`#© ( ¤ U g5 ( ¤ U g5p. 5 I B£ . " p 7.%"%,=8- '02"*. B. B. B. ¡ , ³ 5 ( ¤ m`#© ( ¤ U g5 ( ¤ U g5 . 5-¡ , ³ B£ g g. " p 7.%"%,=8- 82,-&)G. B. B. ¡ , ³ 5 ( ¤ m`#© ( ¤ U g5 ¢B adU g . 52¡ , ³ B£ g. " p 7.%"%,=8- 82,-&)G "%147.["WV`&,="*02$. B. B. 5=¡ , ³ B£b g. ¡¢B 4, U h I¤ m#© 5 \¡ , ³ B > ¢B adU g·. 03. " "[147.%"WV&,="*02$l"%.["%,-$J.%,EY"*"*02$ = A £$H ex&(55 Y5"%"*02$q$T&>G,-$8-7,- 5 :A . s5 >C. 9. B. B. ¡¢B 4, U h£ (I¤ m#© 5 d¢B adU gp. 5. 5 ¡`¢m B4, U h£ B(I¤ m`#© 5 ·¢B @U 9$E02.%"*02$ H<"%9$\59$t'9147.[,&,-$\ 5 ) &)G9 1 ,R"%$"*"%,-.:9$l'<9 ,=''),=8-9,-$Ji.*9s,=502149s02$l5'02H- .%,4&.[,-5 "%HI,-$J5LK. B. &,='. B. = ( (I¤ m`#© (I¤ U 5·. B. ,-$T.*. B. ¡`¢m 4, U h£ (I¤ m`#© 5 Q = B£ g `¢ @dUQ . 55Z( V$"*"*02$$ !h95E7,-E,="%5Am,-"%,-$J5{&,='.%q595 ¢B adU gR02"*X¶ 5'Z(n9&(y + ,QHI,-$J6.* I B £ 5'>" >C s91 ,=');<02$i;J]&(55 ( V`$"%"*02$l7d9i,-"·¶ 5']0-Y59$J,-$i.*T5j<(9P 1 &.[,-"%;< 7.["%,=8-(?M7.%"%,=8-FzW|QI~MC +9&"`$02p&(02$"*i,T P &)G'>&)G'/$ip( V`$"*"%02$ 'g9 &'))"*H-ii = C D , 7')91 "mP '&(02$"*"*02$R' .%9/HI,='>"%,=Y.*9/ 5 H<"%9$\T. s5 = `#© h£@H C c02s'H-9$02$:,-l702"[$\ 03. B. B. ¡¢B 4, U h I¤ m#© 5 \ ¡ , ³ B > ¢B adU g·. " p 7.%"%,=8- '02"*/,9H-9& 9 . 5=¡ , ³ B £b g . 03. £ A = ¤ k¢ A ¤ ¢ H. ? K `¡ ¢m B4, U h B( ¤ m`#© 5 \¡ , ³ B > ¤ ¢ ¢B @U ¤ ¢ c 5 9 K B G ,9 ¤, -J¢ ¹,-$i&(i(f<9147`.*-e`.*]p 7.%"%,=8-T'02"*:7'0<"*:9gf6AB0-')1T.*9e.[, 7'91F"mP ' ? 7,='i 7`.%"%,=8- ,QH-9&/.%,i&.%,-5+$"*,-"%' ¡ , ³ ¤ ¢k ¤ ¢ >e=.%,i59&(02$ 7,='´p 7.%"%,=8-/,QH-9&/.%,s&.%,-5( V$"%,-$J ¡ , ³ ,-$/.*3&,-/89 $ '),-.UC D ,4"*533.%,T,-&("%;J &(02$"%5539$6.%9/9gfR7`,='"*9/"%HI,-$J59 K ,\ 6fPjfPwzy)inh<f¨w $3H=,-.*9's702' 5 9$l"%.["%,-$J.*9s&,-:5')1 "[$,-gfdC YR')9147.%,-&(' 5 7,='s,4H=,-.*9':,-$:.%,AB0-')1T.*s.%, 6wlm{@ fPw ¡¢B B4, U h BI¤ m#© 5 \¡ , ³ B > ¤ ¢ ¢B @U ¤ ¢ c 5 9. . . " p 7.%"%,=8- 82,-&)G-e $02,=77.%"%;<02$+$qp 7.%"%,=8- &,=' 5 ¡ , X ³ >Cxc02:"%.["%502$+.%,4Y5"*"%02$'= vA ¤ ¢ H. B. B. ¡¢B 4, U ¤ a¢ (I¤ m`#© 5 d¢ @dUQ ¤ ¢ ·. 5 9 |-|. $]02"*/7,-&(02$\59$"%'.* 7'<9 "%&,=.

(40) 7`"%;<b9. = £A ¤ ¢k A ¤ ¢ H ,-$ 9 A . s5 >e$02:,9H-02$. B. . B. ¡¢B 4, U ¤ ¢a (I¤ m`#© 5 d¢ @dUQ ¤ ¢ ·. 5 = £A ¤ ¢H. ;<,=5']502.%"*02$/502$\s702)"*Y.*9p7d02' 5 K. 5¤?. 5. . 5 . 5. BW, U h£ B(I¤ m`#© 5 d¢ @dUQh£ BW, U h£ (B I¤ m`#© 5 d¢ @dUQ ¤ ¢ BW, U ¤ ¢a B I¤ m#© 5 ¢B @U h£ BW, U ¤ ¢a B I¤ m#© 5 ¢B @U ¤ ¢ . ¡`¢m ¡`¢m ¡`¢m ¡`¢m . . c02,9H-02$8b9 $p '),-.*9149$JF, P 'g9 502' 99 ;<,="*02$ .[,4A0-'>14 5 9e0 P 9 502$J 02$$p9 : 5 95s"%$&(02$$J [email protected]9/jE,QH-02"*'s7`.%"*9')p02.%"*02$ ,F P 359.%.*9E9 ;<,="*02$9C ¹,-$E&(F(fg9147.%-ep$02F&)G02"%)"%502$R.%,{7')91 "mP 'q502.["*02$ ec&(9.%.%q;J":$X&(02$J"*9$JF7,-R.* 5'>14 &.*02/¤ ¢ e 5 5¤? C o $6'9147`.%,&,-$\ 5. B. B. 7,=' 5¤? ,-$ 0:$02+0-Y59$02$ K. ¡¢B 4, U h I¤ m#© 5 \¡ , ³ B > ¢B adU g ¡`m¢ 4, UQh£b ( ¤ m `#© 5 ¢B @U h£ -¡ , ³ B£b g. B. B. 1 . 55:A0-'>1].%7d9/¶ 5's7'02Hc -C o $'91 7.%,&,-$J 5 ,-$L.*:&>Gp9 1 , "[$"*"%,-.UeI$02´0-Y59$02$ + .[,4p( V`$"*"*02$6)"*H=,-$\5 TQ = K. B. B. B. B. ¡`¢m 4, U h£ (I¤ m`#© 5 ¢B adU h£ = (B£b g. = ( (I¤ m`#© (I¤ U 5·. ;<" 9s$5')" 7`,='sJ9 .*9&("*02$ C`_a.d9:7d02"*Y.%x!h0-Y59$"*':.%,4169¶ 1 ]( V`$"%"*02$6,-$:.% 5j<(9P 1 &.[,-"%;< 7.["%,=8-(?M7.%"%,=8--eb,F P &(02$"*"*02$6x!#"%.%"%'.%,7'0-7')" < ¡ , ³ B£ g `¢ @dUQ ·. ¡ , ³ B£ #¢B adU h£ . ;<"d95s5'<9 s7')0<&>G .%,AB0-')1T.* 1 >e1 ,-"%:.%37'0-Y.U9P 1439s .U!#"%$JH-9$J5'9C. . vc

(41) ). . ´ L >

(42) ). 9$q+½ ¼uD ,-$+.* D 9 1 02$55'),=59'TzW| ¯ ~xp9 &(')"*+Y')" H-9149$J:,-$+&(:,='"[&.*i, < "%1 7.%,-$JJ 5jg5(9P 14]<7d9zh}=~Medz ¯ ~MC $E,T,-"%$"7R,=77.%"%;<'p.[, 59&)G$"%;<i,QH-9&3&&=9P :'·7.%"*9')c(f<9147`.*9C 9(f<7+ ')"[149$\,="%02$x02$J,-)"21402$J5'<p !#,-5')9x&,-b$L702HI,-$JL¶ 5'·'g9 02.% 7,='b&(55p59&>G$"%;<-C D ,T&.%,-9p7'0-8-'),-1 1495'),-"%J9 s,9H-9&3&&=9P :$x!h95,-&(9.%.*9149$J+7,-7'<9 &"%<9 149$J:&,='),-&(J ')"%< -C D !#"[p 89 $ '),-.*3i.%, 59&>G$"%;<i;Ji$02p,9H-02$7'0-7d02< i95+.%, "%HI,-$J5LK<&(021F14.*9p7'0-7')"> J9 502$J/,7')"*0-')"`9+AB0-')1].*9+;J9.[&(02$;J9eJ9.[.*9+502$\/"*rR&"%.*93,T P 5'02H-'9e"%.Am,-/02$&i9/"%$AB0-')1 ,I? "*02$];J"L7d')14559$JTR.*9 9 &(02H<')"*'QC D 9]"%$AB0-')1 ,="*02$ ;JR$02]02$$02$ 502$J].*9]&)G9 1 ,- 8b9 $p '<9 C ½.U!k9 ;J,="%02$l"*H=,-$J5LK p 7.%"%,=8-9

(43) ,=77.%"[&,="*02$ 7'0-7')"> J9 7.["%,=8- 02$&3( V`$"*"*02$+'g9 &'>"*H-9> .%,59&>G$"%;<37'0-7d02< ,FY5"%J .U!k9 ;J,="%02$ K p 7.%"%,=8-9

(44) 8b9 $p '),="*02$i &>Gp9 1 ,- ª8b9 $p '),="*02$u 7')0-7')" J9 C D ,X89 $ '),="%02$&)G9 1F,-ec;J$02 7'0-7d02502$T7d9R¶ 5'6;<,-.%"WV/ 6591 "*?±,-5021 ,="%;< ,-$.%,]149'0 P $ 9$91 Y.%&)G9 1F,-+95p89 $ 'g] .U!h02$E02"*p9$R&>G02"%"%'$F7,=')1 "`&(9gf<?±&"UC P .%, D E7')"[$&"*7,-.c"[$\< '9¶ &(55l1 G0g954R7'0<"*' 9&>Gp9 1 ,- ;<"502$\4&(02$AB0-')149l,u 57+9 &"WV&,="*02${"%$"*"[,-.*-C o $X(nd3,-$.%,57+9 &"WV&,="*02${"%$"*"[,-.* &(',-"%$3&)G02"Wfu !#"%$&("*02$l02$JX J |9}.