A New Presentation of the Intersection Type Discipline through Principal Typings of Normal Forms

Texte intégral

(1)A New Presentation of the Intersection Type Discipline through Principal Typings of Normal Forms Emilie Sayag, Michel Mauny. To cite this version: Emilie Sayag, Michel Mauny. A New Presentation of the Intersection Type Discipline through Principal Typings of Normal Forms. [Research Report] RR-2998, INRIA. 1996. �inria-00073698�. HAL Id: inria-00073698 https://hal.inria.fr/inria-00073698 Submitted on 24 May 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) !"

(5) # $%

(6) & '!"

(7) #. . (. )+*-,. .0/ *12*)435637986). DE7F12@7F.HG7=)+*. 3 <I/80JLKM<. 84:;3 <+*. 7=)>3*/ 1?*$@%37986). .0/7=)+@7N.O5BGC3PAQ.R7=)K01. :U8-/T. 1. V X Z[\Z]^_a`b_UcdefZg9h][ie+_kjlm` WY. n. oqpsrsrut. vLgwyxkz]{$|~}d| k. . ISSN 0249-6399. apport de recherche. 3=AB.C*. 80:S)68-/T. 5QG.

(8)

(9)

(10) ! " $#%'& (*) * +,*-*(.)/ 0#*, 1234)56-27. V X Z[\Z] WY. ^_a` _kcdefZg9h][. 8. e+_kjlm`. :9 ; <.; =7>*;? @BAC;DCE6FGACHIAJ;D ;K(HILMDNHIOPDRQTSB<VUWE6DCANXYOP; Z[ EM\];K:^ [ ACQ_K_L6D ` L6aPaWE [ K:bB; [ ; H 9 ; [ H 9 ;c@Vd MeGe6fg=7h HIKTEYUi; [kjlimnje6e6o=qpGf Pa L6F6;Q . . . . tr s

(11) uvwyxPz6v6{:| ;-AN@YK [ E}biOPH~;-LG@AC@YKT; [ Q_;HIKTACEG@ KSBaW;-QTSBQ_KT;< 9 ANH 9 ANQL [ ;Q_K [ ACHIKTACEG@EMBK 9 ;-AN@YKT; [ Q_;H~K_AJEY@ KSBaW;4bBANQH~ANaBDJAN@B;G :9 ANQ [ ;Q_K [ ACHIKTACEG@DC;LGbPQ(K_EtLa [ AN@PH~ANaPLMDKSBai;.a [ EGaW; [ KSE [ @BE [ <LMDRE [ <.QAC@K 9 ; HIDCLGQ_Q_ANHILMDGQT;@PQT; m 9 ACDJ; [ ;K_LMAN@BAN@BF(K 9 ;;IPa [ ;Q_Q_ACYACKSE6PK 9 ;!H~DNL6QQ_ACHLMDGbPACQH~ANaBDCAC@B;G | ;H 9 L [ L6H~K_; [ AJ;K 9 ; Q_K [ OPHIK_O [ ;(EMRa [ AN@PH~ANaPLMDWKSBai;Q EM@PE [ <.L6DBE [ <Q-LG@PbF6AC6;LG@LMDCF6E [ ACK 9 <cK 9 L6K [ ;HIEG@PQ_K [ OPH~KQ @BE [ <LMD E [ <Q [ EG<KSBai;QI LyYAN@BFQ 9 E(@.K 9 ;;X}OBACyL6DJ;@PH~;kUi;K;;@a [ AC@iH~ANaPLMDWKS}aW;QL6@Pb@BE [ <L6DBE [ <Q m ;bB;IW@B;VLG@t;IPaPL6@PQ_ACEG@EGaW; [ LMK_AJEY@EY@tKSBaW;Q 9 ACH 9 L6DJDCE(Q:OPQ(K_E [ ;H~EG; [ LMDCD

(12) aWEGQQTANUBDC;KSBai;Q!E [ LG@YS@BE [ <L6DJACLGUBDJ;VPKT; [ < :9 ;4HIEG@YK [ ANUPOBKTACEG@E6K 9 ANQE [ ANQL@B;ILG@Pb*Q_AC<aBDC; [ a [ ;QT;@YK_LMK_AJEY@ E6 K 9 ;4AC@YK_; [ QT;H~KTACEG@KSBaW;4bBANQH~ANaBDJAN@B;4K 9P[ EGOBF 9 LaPO [ ;DJSQTSB@YK_LGH~K_ACH4L6@PbHIEG<aBDC;IKT;DJSH 9 L [ LGH~K_; [ AJ;b @PE6KTACEG@tEMa [ AC@iH~ANaPLMDnKSBaW;Q . . . .T ( i ¡C¢£~¤ ¥I¦T§_¨M©«ª~©«¬}®°¯±I¯²B³N´©°µ]¶¬°ª}C´¯T·~¸I±¹º©]¸I»©«¯}N¼I». ½6¾À¿YÂ:Á ÃGÂ:ÄÂ°Å]ÆYÂÄ]ÅTÆGÂ -Ç Å«ÈÉYÂ ½ Å Ç ÉGÄ ¿ !ÇÊËI¾Ì½ Â(Ã6Â!Í ÇÎ É}ÅÂ Ë ÉWÏ -Ç Å«ÈÉYÂ ½ Å Ç ÉGÄ ¿ ÏGÐÑ5Ò°ÓÔMÏBÕÖ6Ò°Ô× RØ Â°ÃGÂ_ÙtÚ Ä Ë½ Å_Â~Û VÂ Á Î«Â«Á ÜYÆ Ç½ Â ÝWÚ××.Ò°Û×Þß×ÔÔ4ÒÒà VÂ Á Î«Â°Á Å Ç Ü ¾ ÂÝ0Ú××.Ò~Û×Þß×ÔI××Ó. .

(13). . . . k. . =

(14) B. .

(15) '*+ ))I * * I & 1

(16) #

(17) 23 1& $#%. - : * - - 1) 0#4,.*(*4) & 6-23. 234).

(18) u

(19) { EGOPQAC@YK [ EBbPOBANQTEY@PQ(OP@QTSBQ_K ;<4;bP;KSBai;QAN@YKT; [ Q_;H~K_AJEY@PQ(X}OBA;Q_KOP@B; [ ;QTK [ ANH~K_AJEY@bB;Q Q_SBQTK ;<.;QbB;KSBaW;Q!AN@YKT; [ Q_;H~K_AJEY@HIDCLGQ_Q_ACX}OB;QI i^;KTKT; [ ;Q_K [ ANH~KTACEG@tH~EY@PbPOBACK L4DNLa [ EGa [ A ;I? K ;? bB; KSBaPLMFG; a [ AN@PH~ANaPL6DL6OQ_;@PQkH~DNL6QQTANX}OB;aWEGO [ DC;Q(E [ <.;Q(@BE [ <L6DJ;Q:KTEYOBK(;@*FGL [ bPLG@GK!D ;IPa [ ;Q_Q_ACYACK ; ? bP;QQ_SBQ] K ;<.;Q.HIDCLGQ_Q_ANXYOP;Q EGOPQHL [ L6H~K ; ? [ ANQTEY@PQH~EY<aBD ;IKT;<.;@YK4DNL%QTK [ OiH~K_O [ ;bB;QKSBaW;Qa [ AN@PH~ANaPL6OB bB;Q E [ <.;Q@BE [ <LMDC;Q;IK@BEYOPQbBEY@P@BEG@iQOP@%LMDCF6E [ ACK 9 <.;bB; [ ;H~EY@PQTK [ OiH~KTACEG@ b OP@B;E [ <.;@BE [ <LMDC; L aiL [ KTA [ b Oi@KS}aW;a [ AC@iH~ANaPLMD (SYL6@YK(<.EG@YK [P;? D ;? XYOPAJLMDC;@iH~; ;@YK [ ;@BEGK [ ;@BE6K_AJEY@bP;KS}aW;a [ AC@iH~ANaPLMD ;KDC;QE [ <.;Q@BE [ <LMDC;Q m @BEYOPQVb ;~? W@BANQQTEY@PQOP@B;EYa ; ? [ L6KTACEG@ b ;IPaPL6@PQ_ACEG@%X}OBAaW; [ <.;IK m H~EY<aiEYQ ;? ; LyG;HkD EGa ; ? [ LMK_AJEY@bB;QOPUPQ_KTACK_OBK_AJEY@ m bB; [ ;IK [ EYOB6; [ K_EGOPQ(DJ;Q!KS}aW;QaiEYQ_Q_ACUPDJ;Q:aiEYO [ OP@BKT; [ <.;@BE [ <L6DJANQ_LGUBDC;6 LH~EY@GK [ ANUPOBK_AJEY@bB;VHI;K [ LyLMACD;Q_K(DNL@BEYOB6;L6OBK ; ? ;IKDNLQ_AC<aBDCANH~ACK ;V? bP;DCLa [B;? Q_;@YK_L6KTACEG@ bP;Q.KSBai;Q4AN@YKT; [ Q_;HIKTACEG@PQ LgK [ Ly6; [ QVOi@B;@BE6K_AJEY@ bB;KSBai;Qa [ AN@PHIACaPLGO} aPO [ ;<.;@GKQ_S}@YKLBACX}OB;;IK HIEG<aBD ;IK_;<.;@YK!HIL [ LGH~K ; ? [ ACQ ;I? ;G . . . . . L. . .

(20) . &*+*! I.

(21) !#" $%& '(& ') *+ *+ -,./ !'0 1 ,2,43) 15') 1 1 !*&6078 :9;*<%= >*=* &, 3(*? A@: *3(*BC%= 0 5*=* &,4*DE 1F ,.,43)1-') 1 1 !*>'(3(G -H#IKJMLONPRQ+ ! !S6S78 09;*T 5*=* &, *U ? 3) !3( '%= + !VXWXY&WZ6=[< & F2%= @'( >" $\ !,] ! ? ^=3(**8 A%= 6/ D 3) !3( : ' 6 _,a`D 3(b`< -& dc: d '('e **3(@'( 5%= !*

(22) _B 3(*> !,fQ5g+3(*? !%h3(*> -@ *3(*>< ,. i3( 'j=,. 3(*F,Q8k !,4 6: 5 @'( &,le%= @3('(3jh3)# 3(*B*=* &,l3(*? !!3( @'( QBmDO`< in !!6o 3(* %= f*=* &,p *.*,4 '(3),.3j q3( *!r# 'j ,4 3(s @* i3( * # 2 '('(O`< !t u !*. # !* !n !v !.w0$%!xn !*3(QKk23) * ! 68 y" $\ !,{z%"|o};|v|~-3(*2.%= @'( y3)u 3(*2*=* &, h 4" $\ !,4*z%"|}M":}~B z%"|o}M" 0}M":=};| bzXbx~~z%":}M"F}Mq~B -w0$% != 3jn '( &x!6@:=B ih &n %` 3j ! &x+ 3) !3( : '%= 0 !*&Q g* 'j h f*=* &, q. !*. 2 &n !* # !`D@ G*!68* in ! 'T ^= & *3(*.

(23) 78 :9;* %=

(24) *=* &, !n A@ ! & * !S6 A,.*+*3( !f`D 3(@ !3) 1-

(25) 3)x !* !i3(y

(26) 3(*!3( '(3) Q ?*3) 13) !* !i3(%= 0 !*&68 !,4*s v !,pn 3) @'( !*s& t &n b,. v y%= Qg+ 3(*s '('(&`D* 'j=,. 3(> @* i3(60 %= !*+ A3)xn 3) ? !Tw0$%!xn !*3(h !,.*AJqPo3XQ; Q(6`<s"=$\ !F,4* `D 3(s ?w$% ! 3jn '( &x+ !n ? ?* ,4 +%= QH# !On !!63)x !* !i3( !*F F i !3(! A ,2 '(3(& @'( " $\ !,4*!rE 5 !,3(*D ,. '(3(& @'( ?3( 'j3(o3jT3(*%= @'( QUx !* !i3(%= 0 >** &,.*8 ? ! !_ n ! ^ !**3jn rh3(*23(*2`Dxu,2 =*2 &n y@ ! &3) ! !* !@/u !3(2 !2 !3(2* 1 J=60q6:/L6LO=6PRQ m?&` in !!6 U 3(! U= 3(* ^ !**3jn & !**3(*o qo%= U **3(1,4 &x3(* 'j

(27) * &,.3$% !!3( @'( QC? ! &`+@ FG>3(*o U'(**C= 3) !3( ' U !%

(28) 3)

(29) !') **3(& '=* & * QCD*C +,2 q ! X i!63)

(30) ! 5c: s '(' 0**3(@'( T !*8o A !,_, 5 3( T%= 6=`< >, * !n >,4 + A *<* @*3j 3( *!Q J ¡=6¡=6¢PU !y`? 3(Fd3(*A*3),43(') ># - 3)!3( 'e%= - !h3(*£ &n ! @xd 3)1%` i` ! q3(*.u !*!rY¤i¥=¦§ ¨FVR©§ «ªV[¨!Y-3)¬J¡PAzRy®V ¯°XV_§±f3)J ¢qP[~FQ«²0QE³+ 3T !'(') ´³+!& * !« * &,.3$ '(13j,µ_s%= 0 b3) _ ! & ! b3)¶J¢PRQ]g+ !* b !*'j*13jn ´3),4 x2 ! i3(& ' @ & ic*!6/@=U[ q !'j6/ i &n=3( D

(31) 1/ !* 3) 1> !3j !<0 +*F i T 3) !3( ' %= !*5£ !3( i !3(*3( !3( !*!Qfk !,4 6 * &,.3$ '(13j,· * !´3)tJ¢qP3(* . i3(& '+@ !& * ?3j*.!! ! '+!,. '( ^ 3j%QvgD/ *&6` f f!xn3) ! ! q2 '('D3) ! !*3) 1 !3( !*A83) !* !i3( .** &,.*A &n 2 A@ ! &3(1 '(3(1 ! i!Qsd 3(*A !!63) !> c'(': 3(*1 S6 ` ? * D i`K F23) !* !i3(s%= !*!QEg+ D`<G. !* & ! ! ?3)x/: ! !* y !*3(i3(8 23) !* !i3(%= .*=* &,¸ !* & !3)JMLOPRQyg+ .%= .*=* &,¸@ 3) !@/d 3(* !*3(i3(#3(*B *+ ^ !**3jn £ *T A!') **3(& ' sJML!PRQk: !,. 6`+3jy - !*3(i !y3) _ ! ! A '(

(32) _ n 3) @'( !*!6 3jU13jn !*< ? ^ 3(* & ! ?S 3) !3( '%= !*U_" $\ !,.*3).,. '_,f6/3)- D!') **3(& '0* & * Q k !!6x` T!,. '( i !'j-F i !3(! D 8* i T0 !* T 3) !3( '=%= !*U .* &`v T != 3jn '( & ! @ i%` ! &´ F,. 'C[F,4*

(33) d 3) !3( 'C%= !*!Q.g+3(*>3(*!6of>G O`+'( !1 6 -c*> i 3('( !´* h £* i F 'o !3( !*?e 3)!3( ' !*?[?3) !* !i3(h%= A*=* &,4*&QTg+ !* £ !3( !*+ & @'( *<-13jn A 5*3),. '( ! ic: 3j3(so > ^= : *3(s ! q3( B > * !s3)J ¡6:¢/6¢qPR6 . -*3),. '( !8 o > ^ 3(* & ! £e - 3) !3( : '%= 0 >_+ '(' ,. '(3(& @'( A"=$\ !,.*!Q g+ 3),. ´,.3jn q3(_ 3(*`G´3(*b3(1x & !3( !*4+3)x !* !i3( !*4 " $ & '(& ') *&r b!3) !3( & ! d

(34) @3('(3j%K « ,2 '(3(& @3('(3j%t'( i# * 3) G q@0v !3( !*f& @ ,2 .!'(* !- i & &x'j Q´g+3(*A`G´3(*- yc*5* ! u3) 3(*3( !i3(r2` s ic: s i`« 3( 3)!3( ' 6 ! !* 3) 1

(35) ^ i'j.5 D3(2 ,. ':[F,¹3). >"=$%& '(& ')*!Q gT3(1x & 3) 1?_ !3)x !* !i3(5 !*C " $%& '(& ') *C* '(A &n=3( U +1 & q'j£*3),. '(3jc !

(36) !* &x q3( 3)x !* !i3(4%= !*E ! !_ 6/ ?@ i !E !* 3) 1? <F3),. U@ & &n3(e 'j=,. 3( 1F ,4*!6`? 3(F#3j* !'(e! '(#@ A* !y *? 4@ *3(*?_+3),4 &n=3) 1 £& &xT !F '(1yC !@11 !*. L.

(37) DF,. 'S_,4*. r(r . g= !*. . |. n 3) @'(. . "|}. @* i3(. . |}!}!} . '(3(& q3(

(38) «L. . Bn 3) @'(. r(r . J !}!}!} /P. _

(39) . kC3(1 -Lr?,2 'S[,.*T !* _T 'j=,. 3(B') 1 1 !*&Q g+ U1 & !F '/='(3) < 3(*C !3(*e *C['('(O`+*!rC3)A* !i3(./6`< <3)x/: ! <** &,. q`. * Q5* !i3(46` F i !3(! T * i*e0 ,. '(3(& @'( & 4 ,. '(3(& @'( 8" $\ !,.* 1 %= 3) 1=Q²= !i3(- !* &*T 3)[ ! &! B '(13j, !,4 '( i & !**E: 3(* '(13j,. _T ,2 '0_,.* &n !*+ B! !i !**? . `+3j- !* 0 !ieB 83) [ ! & ! 8 '( !*E0* !i3(./Qe* !i3(¢/6`< +* q. 2 &n + + i !3(*3(? !3( !*S 3) !3( ' !*_U,. '_,.*!Qe² !i3(2¡A3) ! !*< '(13j,] q !! * i* ,. '[,.*E_,. !* . i !3(! !* D* i<S 3) !3( : '%= !*U. ,2 ' [F,4*!Q-* !i3(!/6/`< T ic: T ! q3(. ^= *3(4 -` T13jn D*,4 83j* !3( !*!Q g+ T,2 3)- !*'jE0* !i3(2N>* q !* + 3) !3( '%= 0 8 !%[< ,2 '(3(& @'( 8 !,.* 4* !i3(!" 13jn !*B &n !n=3( i`. p. g*I *. #. &('*). > !') q !f`G*!QkC3) '('j6:* !i3(LO-!x 3) *? -[ i`! !') 3) 1. &,. G*!Q. %$. +-,/.021. h - * 'C ic:3j3(d3)x !* !i3(%= 0 -** &,.*.JML!PR6 ! 4 %`%= 5!* i*-. 3. . >%= 0 8!* %48r + 3jn !*F ' %= QCgD 3(*e%= 8! * x< *U@ ! &3) ! !4

(40) & '`D3j. 3)xn 3) ! . !>w0$%!xn !*3(´[

(41) 4"5y$\ !,.*-zX`+3j =6486o3)x ! !*3)1f !* 'j*

(42) !n 4@ ! &b On ! 'js[B"87x$\ !,4*AJ P[~FQ s >c:*T ic:3j3(fC3) !* !i3(y%= 0 !*+3) ! !y3)´J PR6 !

(43) 3(*+'js >%=

(44) ! *i Q. Bv3) !* !i3(t3(*.`+3j &¬J !}!}!} /P? & '('( !K ¨&Y9:Y!§<;FY. . c1 BL ~C3(*!'(* +> 3(*E QEg+ T,. e3j ! & ! T@ i`< ! &2 E*=* &, * > ?

(45) $ 4 B! *F i£JM}!}!};P<. Q>=> 2 ic: 3j3(>%= !*yz;\¯iW 4!') **3(& '0 !*!63(*e qE`. 6 `+3j3)x !* !i3( *D/!& 3) 15 B'( !ZT s*3( ? O`+*!Q. g+ ! ![ 63)h ?** &,3)x !* !i3( *£ .§0©°o !*!6S h B* ^y_D%= 0 !*> ,.3j*JP@Af *> !_ !i'js'( !1 'o%= 6 `D ! .JPo & !*T A &,4 23)x !* !i3(Q =>* iC%= !*3(*e!'( & 'j ? !*3(i3(- !') **3(& '* ie3)x !* !i3(- !*C*3) ! 3)x !* !i3( *. !& > 'jbh -'( !ZA b*3( -U &`+*£ B4«/ !*

(46)

(47) @0 !'(12CQDD in ! !'( !**!6o - &,4 3)x !* !i3( '('(&`D**E£%= 0 D ^ i'js '('0,. '(3(& @'( B"=$\ !F,4*!Qeg+ ! ![ 6= U !*3(i3( D* i %= !*T !*+ + !: ! B >!') **D : @'( £" $\ !,4*!Q xb& * 6` 4G= &`] qA3)d!') **3(& 'U3)x !* !i3(´%= 4*=* &,4*!6o . 3(´< 3) !3( 'C s !,. !*

(48) A ^ 3(*A3)h 4!') **3(& 'U* & * zR* ! hJ P[£,4 i 3('(*F~FQ.h -*F ,4 `8 !6C3)b . 3)x !* !i3( s*=* &,6*F @*3j=3(* s*FFE.!3( &x5b !: ! '('< **3(@'( %= 0 !*_4 y !, _, 2 3(= B%= QkD ^ ,4 '( 603)f D*=* &,6: *?3) J ¡qPR60`

(49) & f A > !, G. . Â«ÄÂÏ Â:ÜGÄÂ NÂ«Ä ¿]Ç Å ËIÎÀÎ0¾À¿ H. JI. LKNMPORQTSVUJQXWYONK[Z\M^]. . "|o};| z%"0} ~8`+3j.

(50) > 2J(J(J oP. oP . J wP(P p wC60@=+ '(*.`+3js

(51) %= 0 J(J(J P . . . J P. . . P p wP p wCQ8²3('(' !

(52) 3(*. * @*3j=3(# !') q3) 1 £_,. !AzR 3)!3( 'o 5Tz%"|};|uz%":}~~D3)f 5!') **3(& 'C ! ~T. ') q !!Q. Bc*<*. 4 !,.*U3),. ':[,. 2` ?`+3('(' On D q_ 3(*8!') **8o !,4*&6/ B!') **3(& '. 3( 3)!3( '0%= 0 > ^ 3(**+`+3j !*3(i3(#o D !F,n 3) @'(

(53) 3) _ ! & ! >'( QEg+ &` >* '(' F i !3(! £

(54) * i+ 3)!3( '%= !*!Q -c1

(55) L6`< D13jn ? +1 ,2,. e`? 3(F. ic: !* +* i ,2 '_,4* 4 D ic: 3j3(2. . ¹%= Bn 3) @'( !*!Q. * i+%= !*!Q 5 **,. B 4! @'js3) c >* i.

(56)

(57) . &(' &. 0. g+ ? 3(E©;. F021. 1. 0. 1. B3j0 ! &x8 ic: &,. &*< !n B@ ! &4 ic: ! #"E§:¦© =ªFªYi§ Y¨ yJ¢P_E'( in !':. ;:=ªFªYi§<;Y8 *<@ ! &.[ &s * !.3)2'(3j ! q Q. . !. zR* ! D[E ^ ,4 '( £JMLOPR6/ : 1 DA .

(58) _e¥©q¨V_°XV Y e§Y%±¦°XV Y . ; ;:. <;. 2/!& & ! +

(59) %= O~ !!3) 1AA + !!3(*3(S3) _,. q3( * q D = U`8 *<A@ 3) `+3jb3(*A 3(Q2d

(60) & * 6`< 4'jb ! !f3(*3) 13(*b 4*3(1d/!& & ! !*A `< i !£ D 5 >n 3) @'( £ *+ c: 'S/!& & ! Q. $&%('*),+!-.+/0)1 2 ic: - 4¥©q¨V_°XVY §0Y%±x¦°XVY©. ;\; :=ªªY!§<;FYiÄT f 4n 3) @'( !t3) f%= . b@x. 3) i3(s

(61) * i > 3)s >_'('(&`+3) 1.` &:r $.3( 2 3(*+ %= >n 3) @'( 6 &

(62) **3(@'( >!& & ! >/´3) $.3(. J. D. !}!}!} . 2_6 &- D *3j3jn £zR !* !i3jn !'j2 !1 q3jn O~<!& & ! !*U b3) - +. L6 A !1 q3jn 5!& & ! !* 2 f3(. P< . . *3j3jn 2zR !* !i3jn !'jy !1 q3jn O~D!& &! !*+L3). 3. 4. /3) _. $&%('*),+!-.+/0)lI i. .3(*T *3j3jn. .

(63). . . L ! }!}!} e

(64) Q .

(65) * &2 q. 4@ B 5 B3)! . 5 ?n 3) @'( Q. 5"§:¦©. *T. ;\; :=ªFªYi§;FY+3)C. 3(

(66) >_'('(&`+3) 12& * !*+3(*+n !3jc !Sr $ . . $ . ¶J 8!}!}!} /P. . 2S . 67%98;:<>=,?. 2XQ. *D c: 'S!& &! >3) . C %= >n 3) @'( A *D c: 'S!& &! >3)*,4 B > &s 3(*T!& &! >3(*+ *3j3jn Q. ?Z !` *!6` `+3('(' ! !

(67) 3(*3)1 3(*5* @=$\ !F,4*C: ? `D 3(/!&e3)'( !Z 5*3( T O`+*!Q. $&%('*),+!-.+/0). Io i. . A@Dz ~(YX¯i°E¨ BDC°%YiªFE£¨8. .6

(68) * i. X. :. .3(*D ic: !@/3) i3(f >*i . 63)s

(69) ['('(O`+3) 1.` &:r. G@+z ~ IH. $.3(. D. E6. $.3(. D. J 8!}!}!} x. P. X. . 2_6@+z =~ KJ . X. L. 0LNM&@+z 2)~FQ. 8!}!}!}. X. - '(* ic: 5 .,2 3) 1POQ¥=YR¦ªD_,%= 0 !*D* i*Be%=

(70) n 3) @'( !*!QBg+ 3(*D_i3(# i *

(71) * iT >n 3) @'( !*+`D 3(/!&T3)f Q. .

(72) &('.

(73) >

(74) * . %1. 1. g+ £ ! q3(hE* @*3j=3(#3(*B ic0 !h *B * 'Xr+ ¨. Bi¨°XVX° °XVX©§f3(*B ,. 3)14[, :. :. £n 3) @'( !*. E. 4 !*!6:`D 3(f& y@0 > ^= & !h3)# . q 'o` &2 .,2 3) 1-_, !*D4 !*!Qg+ x© 4¦V[§ e * @*3j=3( u3(*T

(75) * i+%= >n 3) @'( !*T`? 3(Ff A,43jc !s@/ <Q<H# A[,2 '('j:r. E#z E~ KJ.

(76) £©. L. & z C~ L. . . *. . .

(77) `D3j .J xPo >*F @*3j=3(f q+,. * ´ '( & &n !*B !T !*8n 3) @'( !*? F 1 !SQ D ic: 8 T* @*3j=3( <`D ! T`<£* @*3j=3( * U T !n +3(*X 3)x,2 3) * . ^. . . (. . 3)s A['('(O`+3) 1-`8 !0r z ( !~z*~%. 3 z C~ *. . Ehz 03R~ A4 ¬LA? Ehz ~ M

(78) 5©E#z ~. 3( . 3(. .

(79) 5©.

(80) 5©. \. . . > " $#% N .& ´ &` ic: F©§ ¨°Xª¦V_§°

(81) Yi§ V[ª©§E.Y!§°_Ä d !3(5 **!3) q ! ! q3( *&Q.g+ 3(*A3(<!$ * 3)x &xn3(,4 &xe` *U3)/! !-@x&Q/²

(82) -AQ/D !' 3)#J P `D ! 83jE`8 *E& '('( !b¦q¨¨ 9D E ¥0°XVX©§ Yi§O V_ª©§4 E Y!§°XQ[,2 '('j6 s! * 3)x

(83) &n=3(,. &>'(3) G*B -_ ! 5 !, n 3) @'( !*> f"=$\ !F,a`+3j &('. . !. %1. 0. 0. 1. ;. P". :. !3(> 4!* 3)x*!Q²=3) ! ` -* y - 3) !3( 'C - !h8" $\ !,4*!6o`< - ![ !>3(*A q$. B¦q¨FV[¨* !u3)u '('8 !*- @=43) !* !i3(u . 3(uD! * 3)x. &xn3(,4 &x5b f 3(u. 3(*!3( '(3) Q('< * !*-13jn *,4 s= !*3(* @=£ 2 !*T_ ! 2 !,¸n 3) @'( !*!QdD*3) 1b! * 3)x &xn3(,4 &x*8'( & *+ *<-@ 3)s

(84) ,43) 3),2 '%= >! * 3)x*T_8[ ! D !F,n 3) @'( !*!Q<²0Q=n ' G !'. 7B¦q¨FV[¨F6 EV_§VE-¦ B¦q¨VZ¨Q<²=3) ! D`< > ? 'j3) ! !* !. 3)dJ ¢qPR6, *3(*3) 1 3(*F.@ i%` ! &s@ *3(*&6:¨&Y). 3)s A ! 3jn '( &x+n ' G !'X9;*>,43)3),. '0@ *3(*!63jT3(*D & 1s2 !n £ > ic: 3j3(SQ. $&%('*),+!-.+/0)¹ ©§ ¨°Xª¦V_§°CY!§OV_ª©§E.Yi§°"*>6q3(*e D,2 3) 1T_, A. <* i+´ !,n 3) @'( !*+ , 'j3$. ;. * i*BC%= !*!Q - * £, 'j3$%* i*B q !D h*3),. '(

(85) * i*?G ! ! yF G#C £3j ! &x?!& & ! !* >* ,. B%= 0 Q g+ - &,4 h, 'j3$%* iA3(*

(86) `+3j &JPU d 4, 'j3$%* i

(87) <%= !* g+ !* £ q3( *> '('(O`¶*T2`+3j

(88)

(89) %= -,5zR|0~ . 8 !}!}!} y3(*A`+3j &J !}!}!} /PRQ. _D x#! * 3)B &xn3(,4 &x.,A6S x !,. n 3) @'(

(90) |h # x 66! *3(* &x'j`+3js

(91) * ^f%= 0 !*&Q s !4 '( B & *3('j2 !* >! * 3)x+ &xn3(,4 &x*!6=`< >3)x ! >* in !F 'S 0 !F q3( *T13jn=3) 1 3) _,. q3(*T! *F 3)+ &xn=3(,4 &x*T+ *_,43)1A &,fQ. $&%('*),+!-.+/0)aI i.,. *. E. Eyz*?~ KJ&|.

(92) 5©. +1 ,5zR|0~2 . /. E. Io i2,@ - ! * 3)xA &xn3(,4 &x>* Fd q3

(93) 5© #z0,>~. 4 ;JL. _+ '('. %. E. @ B 4! * 3)xD &xn3(,4 &x!Q A ic0 ? © 4¦V_§s$,£6`+3j &/

(94) £© yz0,>~8 *!r. . *LQ 5 * B

(95) _'('(&`D3) 1. q3(y[.,Ar. J&|. JP. L GL. (,5zR|3\~. !}!}!} |. . 3. J. 35476XPR6. !}!}!}. !}!}!}

(96). J&|. TrJ 8 !}!}!}84 G. PX!}!}!}| r:J . !}!}!}. 94;:P. L. g+ %`#_'('(&`+3) 1h ! q3( *A '('(O`

(97) 6e !* !i3jn !'j6C# !*3(i£ ^= & ´ 4,2 3)b f!$ * 3)x+ &xn3(,4 &x!Q. .

(98) J. . . Tr:J . P. r ,. Tr. . . "|} Tr,. . P ), !}!}!} . +"!,. . . . ), OzR|~L*), Tr. . }!}!}. ,. . ?r ),. . . . J x. P< . oP. L. T

(99). . . T

(100). . . '

(101) 4 . 8. "!, . . ), J&| L . % J&|yr0J(J 8P&###. J x. P< . (! TrJ . . zR|0~ . (!) +"!). ),. 8.

(102) . 8. $###. |fr0J P. ^. . L. ?r ), ), ?r ), , }!}!} . !}!}!} . "!. "|}. |fr &|yr0J xP. . ?r 8 ), . . . ,. ?r ), . . . J&| L . . . "!). }!}!}. t}!}!} ,. . ?r ),. . . T

(103). . . . k3(1 A/r _ ! & ! > '( !*. $&%('*),+!-.+/0)aI i &xn3(,4 &x ,. @

(104) ! *F 3)T &xn3(,4 &x+ |f@ > 5 !,n 3) @'( 6` > ic: D >! * 3)x. ,. J&| LA@/:r. J&| LzX~L ,. $&%('*),+!-.+/0). Io i, B . ,. . ,5zX ~. 3(t |. JP. !`+3(*.

(105) @ £%`!* 3)xB &xn=3(,4 &x*!6 5! * 3)x> &n=3(,. &. 3(*T ic0 !# *!r z0, ,. &~zR|~L. M. , OzR|0~. ,. zR|0~F6:[+ '('|. , . . ,. . +. M 3(*8 A 3(se,5'j3$%* i*!Q 67%98;:<>=,? > < B* '0!n &x3( *+_,43j3) 1 & !* !*83). !*T !,.*8 s*,4 !?* i3(5!n &x3( *!r+`< 5 * A,. i !n 3) @'( !*B| !}!}!}:2 & A !, n 3) @'( !*&6 w !}!}!}S_. `D !. . . . . %= >n 3) @'( !*!6: , ), !}!}!}:_T! * 3)D &n=3(,. &*!Q. .-. &('. +-,/.0. . 1P1. / 0 1 . g+ + **3(1,4 &xE !') q3( *. 10. . . 4/6 !') q3) 1"=$\ !,.*!6 !* .! * 3)xU &xn3(,4 &x*!6.

(106) ic: !3)sc1 A/Q .X i!6 . 0. !>3(* 5 !*3(i3(sS D%= ? **3(1,4 &x +0. *3) ! D ? 'j23j0 ! &! D@ i%` ! &. !. 3(*D3)f

(107) 3) 1.'( !*+_+n 3) @'( !*!r`D3('( >

(108) 3) 1.'( A_Tn 3) @'( !*5z%

(109) ~+ '('(&`+*> *+. %= > A !F,n 3) @'( B`+3j =8 !*3(i3(s3j*8* i 6 >z%

(110). A. 4. ~<F '( D13jn !*? 5* 1 !*3(i3(. # £* i £e A%= 0 £`D 3(#!& *?3)y qB '( Q 5* '('* ! 53)f £_'('(&`+3)1* !i3(6 q. . 3(* !*3(i3(2 & @'( !*8 *5c:2 '(':%= 0 !*o,. '_,.*U *3)1T *<* @*3j 3( *!Q > '(*- 3(!. ¢.

(111) q<3)4 D '( !*U[ '(3(& q3( *&6=3(. K> &4 ! +3(*< 'j4 ? &,.3(** 83)4 q<3)[ ! &! + '( ? .

(112). A 1,4 &x8

(113) '(3(& q3(y/ !*D +3)x ![ !

(114) 3)s

(115) !3jn q3(SQ. * 1 $#%

(116) #

(117) 2 3(*s* !i3(S6+` b y 'jv3) ! !* !«3) y%= h **3(1,4 &x. K Q b On # qs 1`. &n A !*3(i !# A* i+C%= !*+3)+*=* &,6 ` A& #F F i !3(! 5,. '(3(& @'( "=$\ !F,4*+ y & ,2 '(3(& @'( 5" $\ !,.*+ !!3) 124

(118) * i

(119) C A **3(1 !y%= 0 5 *T` A& y43)f A!') **3(& ' 3)x !* !i3(#%= 0 B*=* &,.*!QE¬,5@ !U _*8o !* > !* 'j*T_83)x !* !i3(#%= 0 >3(*!3( '(3)

(120) &n @ ! &s`+3j &S6 >c*T >& f@ >_ 3)´JML!P `< A['('(O`. A,. i JMLOPRQ. kC3(*!6+`< h* Oà q2`<w0$% != 3jn '( &xy" $\ !,4*s !n y h* ,4 #%= y v h* ,4 y! * 3)x &xn3(,4 &x!Q5g+ &#` - On q

(121) in !b !, kC3) '('j6` >13jn A 5 *') q3(f_,. 3)d F,. 'C[F,. >3) & ,2 '_,. 3(*> : @'( Q. >*=* &,4 >!') **3(& '3) !* !i3(%= >*=* &,`D 3(. & @'( £ *2 * B

(122) ,2 '(3(& q3( ! &,.*T On !#_8 3(*T** &,¸JML6LOPRQ. . '*).

(123) D # . ,. 0. (0. 1. . . g On 3(*f !%6>` * O`·3) ! 0 & 'j d* @3('(3j% !fw0$% ^ *3( . !fw0$. !i3(Q.

(124) % :G)>+/ w. ). g+ 5_'('(&`+3) 1s'( &,2,. . h3j*B /E 5 ! 3(& 'X6o@ D iy ^= ') 3)b O`. . !,. N%98P8 ! V_§. W. . : . J|. _¯. 0Po3(*+ *_,. !2.@ 3)# 3) 14 !3jn q3(f. . E. Y&° |. #". C'&04. JL. . C ,. 0PUr<),.

(125) . \:;. . *L> . 2 . ,. C + r ), 2 . C FE. ###. . J&|#r:J.

(126) .

(127). > L. . %

(128) °. ° /¦°. 3),A3. , -¯i©ª5©§0Y . Q. h° ©D" °%Yiª £¨<¨\:; A° /¦°:|. . hr. . (#<>//*) + .

(129) $

(130) %".

(131) . ¦§. ° Y!§° =YiªYY¤V[¨°+¦§ V_§°%Yiª\±xY!ª. ¨. !}!}!}),. ,. !}!}!}^

(132). , . . J|. Yi§ OV_ª©§ 4Y!§°_¨. BFYT¦

(133) °%Y!ªE ¦ªVX¦B&jY . . !}!}!}. xP. ,. $

(134) . 2. ¨\:; ° /¦°,. 2 zR|0~. 5%= 3) 1 !3jn q3(bU. /¦q¨T¦°(Y¦¨°o©§YS¯ªYFYT©;\; = : ªªY!§<;FY. QF¥ Y¨#". 8!}!}!} u¦§.

(135). ;©§¨°Xª¦V[§:°. JP. L. L. Q J |" 0P< # 2` B !n ? ? !3jn q3( hr ),£6=*3) ! D@/2x !*3(* t|s & ),£QUHy !&n !&6 !!3) 1-- A3) [ ! & !

(136) '( -z.

(137) ~F6 ` A &n |fr J&|#r0J xP LQ <@xs !& & !

(138) s >'( & 1f B 3)14 !3jn q3(f. ,. g+ *!6 B . . $. $. $,. . ,. 2. >!* 3)xD &xn3(,4 &x. ,¬ A* F q!r. ),. hr . . .-. . r. ,¬`+3j ,. J*L . 2 . J*L , 2 zR|~. L. JP. J&|fr0J xP L . ¡. . J |" 0Pr.

(139) +. . . . K":}. . &. . J|. . J| 0P«":} . 0Po `< £ !n r. . `+3j D. zX ~L ,. , . J| ":} . . ²=3) ! £|d *D qB'( & *B A_ ! A!& & ! A3) . . 0PSr. 0Pr,. J!0LQ ,. . . J|. ), . ), J!0L. zX ~.

(140) !* 3)x+ &n=3(,. &*.,. &04. JL. $, ,. $. . + $. . *L6 . !}!}!}^

(141). 2 . . ), 2. r . J&|yr:J . . 8!}!}!}. %

(142) ~F6 . xP. 2. *Fs q. 2 ,. zR|~L. JP. L. r "0} . 'Us >3) _ ! & !

(143) '( -z. 2 ,. zX ~/. ), 2 J!0L J&|#rJ . £, **F &`K q!r $ &04 J L !}!}!} *L 6 #r 3 ),A3 $, , 2 , ### , 2`+3j,A2 , 2 J!GL5 z0, 2 J!GL $ + ":} 8r ), 2 J&|yr:J !}!}!} xP LQ . . ^

(144). . !}!}!}), s* F q!r. , _T -, . D f` 5 &n. i6/ ! T ^ 3(*L

(145) f !*%8 ! }!}!}. 3 ),A3. #r. ###. , . . 60|b *? q?'( & *> A_ ! A!& & ! A3). t |Q²=

(146) @/ T !& & ! Tx !*3(*- 8%= 3) 1

(147) !3jn q3(2. !}!}!}. L P. . . ~zR|~. . . 8. . JP. g+ Bc:*8& * A3(*+ ^ i'j A !& &!

(148) = !*3(*T13jn &y in=3( *'jQ k d* !! «& * 6>*3) !. J!0L. ,. 2 J!0L. , . . ,. ,A. ###. , 1. J!0L´ . . 1 & ! '(3j6 q2 *5_ ! ?/!& & ! B3). . ,. 3Q. . , . ### . . :6D` , *s* O`. ,. q. '=!6`< s& * 0* 4`+3j 5'(*4. . J|. . OJ |. 0Po _+ '('. . *L6 , 3 zX ~. . 0PRQ<g+/*

(149) _ !

(150) !& & ! !*+s3). + . A2 J!0L , # ## , :Q *3('('o !n

(151) .* &` qAz0, 2 J!GL ~zR|~ JPR6:@=T3j+3(*T!'( & ?*3) ! .z0, 2 J!0L ~zR|0~ , 2 zR|0~ ¶JPRQ kD A') *D& * 60`< 5 !n ":} Tr , 2 zX~ ), 2 J!0L J&|#r0J !}!}!} xP L Q+²=3)! ,!zX ~ i6 ` A, *8*&`K q ,!zX~ , 2 zX ~FQ'< 8`< A !n

(152) * ! &f q+_+ '('4 ; J L !}!}!} *L 6 , 3 zX ~ ¹JP . * , zX ~ ,A2 zX~ , zX ~ ### , zX~ , 2 zX~FQ . >* ,.

(153) *T3). 4 ;JL. , . #*3) ! D@/2 ic: 3j3( ?* @*3j=3( £n 3) @'( B3). ." $\ !,6

(154) [ ! Bn 3) @'( !*+ d A 'j`8 !=*D_ ! >3). . 2 ,. 3 J!GL. , VXWXY&WZ6%, . !}!}!}

(155). L¹JPRQ<²=. ,. ,. . . . L. L. . 8 . L. +. L. . . . . . &. . . . . . J |" 0P<. . J|. ,. . ,. . . ### . ,. 4. z. ),. . . . ~!J |. . . 0Pr. ), . J |" 0PSr . ,. . . . ), . ### . . . }!}!} ,. 4. %. L. =J |. . 4. 0Pr . ), 4. Q. ²= in ! 'o& * !*? 3(* A !!3)1--

(156) ! 3j3(f

(157) _ ! >!& &! !*+|#3).

(158). 0P `< £ !n

(159) !3jn !Sr. . . L. J| 0P . J |" 0Pr:J ! }!}!} P. `+3j ,. 4. . . I i+* 0* D q+|y *D qD'( & *+

(160) [ ! >/!& & !

(161) 3). . 'U4 + !& & ! Dx= 0 !*3(*U. D%= 3) 15 !3jn q3(

(162) !* 3)xD &xn3(,4 &x*. ,. !}!}!} ),. s* s q!r. ¦§ A 3). . . . xr. xQ. 6 ! D ^=3(* #

(163) !*. 8!}!}!} . . .

(164) &04 $. JL. . $, . 2. , . $. . *L6 . !}!}!}^

(165). . ###. , . 3 ),A3. #r . ,. ),A2. 4. . 2. [T 2,. . r0J ! }!}!} P. J&|#r:J . . 2. * F q., zR|0~L !}!}!}. L P. JP. . t d*F ,4 b`8 !6

(166) ` & K 'jv ´ !& &! = !*3(* & K 3) 1u !3jn q3(. 3 ), 3. . r . &xn=3(,4 &x*. & $. 4. Qg+/*-[. '('. JL. . $,. 3. $. . 3. ,. . 6. 3. !}!}!}),.

(167). 3 L6 hr 3 ),3 6 , 3 ### , 3 _T 3 3 3 J&|#rJ 3 !}!}!} 3 6 P L. 3 . . 3. . . . r. L6 ! ^ 3(* 3?%= !*. !}!}!}. * F q!r. !}!}!}

(168). . JL. !. . . . * s q . 3. zR|0~. . 6. 3. !}!}!} . 3B! * 3)x. .

(169). JP. . £ ! ! B >['('(O`+3) 1. !3jn q3(Sr r. . . . 2. ,. 3 . . ,. I i . gD. . 3. ,. . .

(170) . . +. 3. ###. . 4.

(171) . . 2. +. . 2 ,. L. P. G. }!}!}. J&|yr:J . . 4. JP[+ '('. . ,. . ### . 4 ,. 6. 2 ,. . 4. . . . ,. . . 4. ###

(172) . . . . . . . . ###. ###

(173) . . 2. r),

(174) . . . L ! }!}!} ´

(175) . 4. . !}!}!} . ,. . ,. .

(176) . . ### . ,. *! P L. ! P L. . 4 !}!}!} 4 . . G !}!}!}. ### . ### . . 4=Q. _D . J&|#r:J. . L. xP. . . 4. 4 !}!}!} 4.

(177) . 4. ~zR|0~ . JP. 4. 6= -[E '('. JL. %. !}!}!} . L6. 6*. .

(178). r. 8 !}!}!}. L6z0, 2. !}!}!} . ,. . 8!}!}!}. JL. %. J&|frJ. . 4. . ,. ~zR|~L. JP. ###. 4. . . . . . + ### . J&|#r0J. hr ,. . 4. 3 ), 3 ,. . 8!}!}!} . _. ¬L. . !}!}!}. ### . G. . ### . ,. !. !. ),. hr. z0,

(179) $. 6. . ### . zR|0~L. ,. ###. !}!}!} . . 8!}!}!} < ! }!}!} G ! }!}!} 4 !}!}!} 4 6£ . 4 G ! ! } ! } } ) , ! ! } ! } } ) , ! ! } ! } } ) , : 6 . >. F *. F s q. !r 4 . , !}!}!}), 2),. $,. 3 ,. . , . $

(180). . . . . . %= !*!r . $. ,. ###. . 2. ,.

(181) . ), 2. 4. . r:J ! }!}!} P<. J&|frJ. . JP . Hy !On !!6=`< T &n. 3. . ), 2.

(182) r. ² 3) ! 2, zR|0~L. . . . , 4. . !}!}!} y . ,. G. . , 4. !. !* 3)xh &xn3(,4 &x*!r . ### . . ###. G !}!}!}. . . , 4. ¬L . ### . 4 !}!}!} 4. 3. !}!}!}

(183). !. . ,. 4. !. &n !. L P. 6 &| *2 q2'( & *2 y[ ! #/!& & ! QIo3(G d3) d in3(*& * b`< d& 'j d !& &! bx= 0 !*3(*su & Ft 3) 1 !3jn q3( x Q; # 3(! s q43(T| *4 b_ ! s/!& & ! s3) & J | 0P . + r0J !}!}!} 4 P ), Q I i2* * s q.|t *2[ ! f/!& & ! y3). 3). . . gD B !* 'j8& @ B ! ! !s_, > !& & ! >x !*3(*T _, > != '(3j. . ,. zR|0~. JPRQ. D3(*U*3),43(') E

(184) T in3(*& * Qe 3(* & 1 f3(! > q J | 0P< , 3 zR|~L JPR6_T '(' 2 'j. ? !& & !

(185) x= 0 !*3(* gD T') *<& * T`D ! 8| *U

(186) _ ! T!& & ! T3). 4. /¬L !}!}!}oQ. N. .

(187) ?&`

(188) 6`< s On q4 y ! ^ *5 s* ,. 4%= 2*F ,4 ! * 3)x- &n=3(,. &- *. ! !* 03) 1-w0$% !! !f !,fQ. N%98P8 : (#<>//*) +. E q¦ªVR¦B!(Y . Y!°0|´¦°%Y!ª. ¦§.

(189) . C °%Y!ªE5¨!W. ° ©A" . . <@xs& * £s A,5@ !<!& & ! !*D|h3). . | *5 f_ ! 4!& &! 43). . &. . J|. . 0P%. . J|. 0Pr.

(190) . . . ),¹° Y!§. z%"|o} ~ br. . ),£Q#²=3) ! 43) ,K 'j.'(*E ?_ ! Tn 3) @'( !* 6` ? &n. @xx !*3(*&6. r. . JP >_'('(&`+3)1. !3jn q3(r. r), "|} r0JP ), z%"|} ~ br ),. . . T &n !*D qAz%"|} ~ d *T >* ,4 B

(191)

(192) * ,4 >!* 3)x+ &n=3(,. &+ *. +. ),5W . Q. %= +*=* &,] D,. 3). +! * 3)8 &xn3(,4 &x ,5zR|0~L. . _¯. . =? !`+3(* -| *A qA'( & *A -[ ! ./!& & ! -3). Q'dx !*3(*&6. . '( &,.,2 2L6 !

(193) ^ 3(* d

(194) !*!rL!}!}!}

(195) !* 3)x+ &n=3(,. &*&r%,. &04. $. JL. . $,. + $. 2 ,. . . *L6 . !}!}!}^

(196). . ,. 2. r),. #r. . ###. . J&|#r:J. . !}!}!}. %. 2. . . g+ *>z%"|} ~ ´ . . ),AQ2² @xh. A2 7J&|yr:J. L. xP. ), 2. /P. . . JP. L. xP z0,. 8 . r0J ! }!}!}. 2 zR|~. * F q.,. 8 . "|}. . :6* s q!r. L. xP. . . 0P<r. 3 ),A3. , _T ,. . . J|. !}!}!} ),. . J |" 0PRQ. . '=z0,A2 7& J |#r:J !}!}!} P L ~zR|0~ J !}!}!} A ! ! B >_'('(&`+3)1. !3jn q3(r r ), 2 J&|yr0J !}!}!} . . . . . 2. z%"|} ~ dr),. . yr ,. . 8!}!}!}. ), . ,. L ~ J&| L. +. }!}!}. 8. ###. /P. . yr. ,. . . 2x*3) ! ,A2XzR|0~. JPRQ. . ),. J |" 0P *8 >* ,4 B A f >* ,4 >!* 3)x+ &n=3(,. &!Q. g+ D in3( *'( &,2,.

(197) * q !*+ 5 !* 'j[8 5 ! ^ s3j*8!F i3(6` ?1 & ! '(3(! B 3(*8 !*'j<_ %`2w$% ! 3jn '( &x+ !,.*83)s

(198) _'('(&`+3)14 ! &,fQ. . % /G<>%98. . (#<>//*). r . ),5W. . Y!°. . ¦§ .

(199) . $

(200) . 2?° ©y" C °%Y!ªE5¨2¨\:;. E@/2* i '03) i3(2. . . . . ° /¦°. ;¦§. BY.w CªY). :8;Y)bV_§. 2XW. _¯. 2+r. >& * * 6`+3j =8'(*81 & ! '(3j%6 q 2. Q. . ),.

(201) . ° Y!§. 3j0 !*<. +. 'j@/

(202) !x i3(#C A ! ^Q. +. . . t|f & 3(*T& *

(203) 3(*+3),. 0**3(@'( B*3) ! B`

(204) & #+w0$% ! ! . "|} A &. 2. "|o}. 2. `+3j. . 3). 2[Q. A`D 3(3(*A ! ! !S6@xb 2! i3(8 . ! ^63). g+ *83(`<

(205) !n r. 2 . . "|}. 2 r. ,. r. 2 zR|0~. . ". L. 2 ), 2 2 ), 2 J&| L . 2 Q.

(206) A2RzR|~. `+3jCD ,. 2 ,. /. . A2 J&| L> &s@x2 >3) i3(x= 0 !*3(*`<

(207) !n , . . @/2 A3) [ ! & ! > '( >_D @* i3(6` A &n. +. . . ^,; . 2. . ?`+3j. 2. T`? 3(F3(*D ! ! !f. 2 `D3j ,. ,. . . . ,. . z:~F6. 2 . . 2 . . . # ## . . . gD &u@/3) i3(6. . . r:J . . . ,. , . . `+3j. . . hrAJ . , . . . Tr:J . ### . K"|o} . . ###. . ,. . . . . ,. . . P ), &6T @/ '(3(& q3(vB f3) _ ! & ! # '( !}!}!} . 2. ?`D 3(3(*T !! !. . P ), !}!}!} . . ,. +. 3)[ ! &!

(208) '( -z~. . . ?r ),. Q . . . 2. y . . . `< £ !n r. 2 . r . ),. . , . Q. gD &@/d3) i3(6C_£ & ´ !3jn q3(. !`+3(*. ),. r. 3 3. . . P ), !}!}!} <. P, 2. 2 ), 2XQU²=. Tr. ?r ),AQ. `D3j ,. ),AQ. r. @/2

(209) !F i3(#C > ! ^ f`< A !n r. 2 7. ^. &s !

(210) & * !*D

(211) **3(@'( r. 2 . "|o}. . 2. r@. . . r. . ),. ### . 3 ), 3. . . . ,. }!}!}. 2 r. . . ),. . . 6`< !n. . sr . 3 ), 3. ?r ),AQ. ,. EJ |. . . FPS`+3j. 2 r ),£Q. 'U2 B'( &,2,. /6. . ´@/d. . z%"|} ~.

(212) <>%-.+/0). . . Br ),£Q. w. g5 &n B B* @3('(3j%f !w0$% !: i3(6 ` ?_'('(&` * !! !**3jn !'jh O`

(213) %= 3) 1 !3jn q3(hE - !,. . . . B* ,4 B,4 i *8[8w0$% ^ *3(Q >* O`. . 3(*D *_,4 !f2@ 3)b 4%= 3) 1 !3jn q3(y. J |" 0PR6x qe %= 3) 1A **3(1,4 &x*eS B ! ^4 -3j*E!x i3(2 8 8* ,. 6x - qe 3) 1. **3(1,4 &x*T%`.w0$% != 3jn '( &x? !,4*T

(214) >* ,4 Q. N%98P8 : V_§. ), . . W. . _¯. (#<>//*) + . , . Y!°C|. + ###. . BFY¦s°%YiªFE ¦ªFVR¦B&jY ¦§ ! " C °%Y!ªE5¨

(215) ¨ °

(216) /¦°e| /¦q¨¦°jY¦q¨°8©§0Y¯FªYY© =ªªY!§ FY J |#rJ !}!}!} xP & L ¦§ r 3 ), 3D¯!©ª 4 L !}!}!} °

(217) Y!§ J |" 0P.r :8;. ), r ,. . 8 . . ;\; :. . . . <;.

(218). W. J |" 0P( ¬|b & _T 2, 2[6`< A !n J |" 0Pr) , K":} T & J |" 0PK":} qJ | <@xs*i '3) : i3(. +. . . . Tr . 2 ),. J. L. |r &|yr:J P `+3j,. . . Q. . . ,. 2 2XQ. . JPRQ£²=3) ! 5@x#x= 0 !*3(*!6. 0P s`< A !n r. . J!r0J. L1 &J |#r:J 2 ), &J |yr:J. +P. 8!}!}!}. "0} Tr0J !}!}!}DP. LO. L. !}!}!} P. 8!}!}!}. /P. L. . . r. ), 2.

(219) `+3j D. DP<2XQ. J 8!}!}!}. . , Q <& £* * 6 23)[ ! &! . '( yz ~F6` . ! !. Hy !&n !e|- £

(220) U3(*3) ion 3) @'( !*C*3)! |- *C q'( & *C U[ ! U/!& & ! <3). . `+3j +'(*+C1 & ! '(3j6 qTf *+ .[ ! A/!& & !

(221) 3). . qJ. . +. q. +. 2 ),. |" 0PTr(. . . J!sr:J. . . ":} qJ |. . 0PSr. L. DP. !}!}!}. ),. . . ,. ###. . . :Q. ,. . . U . qQC- 8 ! 8& * !*!63jU3(* & 1-A * +3) i3(4x= 0 !*3(*. >3) [ ! & !

(222) '( -z:~U4* O`. N%98P8 : (#<>//*) +. . |h *+ -_ !

(223) !& & ! >3). g+ *` A !n. . . J|. 0PSr. +. q. BY-¦f°%YiªFE ¦ªFVR¦B&jY . Y&°e|. ),W. +. , _, . &4 *U3)- +'( &,2,. £L6/` +, *E3(*3) 1 3(*4* in ! '& * !*< !!3) 1

(224) A T ! 3j3(. [ ! 8/!& & ! !*|23). . ###. , . Q²=4@/2 A3) i3(y= !*3(*!6. &. ¦§.

(225) . J. v° ©." . . . . . . J |" 0P. . r),. . "|}. . . 0Pr. ),. C °%Y!ªE5ïW. _¯. |. ,. ###. . . , Q. . .

(226) . z%"|o} ~ rF),° =Yi§. . r0JP. . z%"|} ~ br. ), . . QU²=3) ! ` D !n +*F * ! q. +. . ), 2. "|o}. . . ,. 2 zR|0~. r0J ! }!}!} /P. `+3j ,. 2 J&| L. ,. ,. ###. . . . % /G<>%98.

(227) . +. J|. ), 2 J&| L. . z%"|} ~ br. :Q. ,. ?!!3) 1-4

(228) '( &,.,2 6`< £ !n. . J !}!}!} x. P. L. . 0Pr. . . ),. ), 2 J&| L. , . $

(229) . . . z%"|} ~ br),£6. ` A !n

(230)

(231) _'('(&`+3) 12 !3jn q3(r r. 0PCr. ),. ),£Q. . . JP. . =? !`+3(* T| *U q<'( & *U T[ ! T/!& & ! T3). J|. ` A !n A >_'('(&`+3) 12 !3jn q3(r ,£zR|~L. . . 3),A3. hr. ### . , Q. ¦§ 27BY´° ©u"C°%YiªFE5¨h¨ :; v° ¦° 2-VZ¨©B&°\¦V[§Y)IBDQ´w C ªY)P:;&°XVR©§¯ª©E W _¯ r ), ° Y!§ 20r ),5W #<>// <@xs*i '3) : i3( Q A& f* * ? q 20'js3j0 !*+3)s

(232) !x i3(y > ! ^Q t|f & 3(*T& *

(233) 3(*+3),. 0**3(@'( B*3) ! & # T@ > !: ! !f3) 2[Q +@/sw$% ! i3(y `

(234) !n £ !3jn !Sr K"|} D & 2K"|} 2 `D ! 2 3(*T@ 3) !y[,.

(235) . ( *). Y!°. + +. + +. `+3j. . &zR|0~. ,. . A ! ! . +. . . . . . "|o}. 8? i. 2. r. ,. ),AQ. . , . "|} Tr,. *), OzR|~L8*), J&| L Tr8. J&| LQ+g+ *+@/ £3) i3(h= !*3(*D`< 5 !n 2 . ? &f *D[8 > ! &,. L> !

(236) & * !*?

(237) **3(@'( r LL. rF8*), &Q.

(238) . 22 . !`+3(*.

(239) / % /G<>%98 (#<>//*) w. . 2. 2 2 . . . . )G%9< > +/ ) 2. _¯. ;. z%"|} ~ . ~FQ. ? &`<

(240) * > >3) i3(f= !*3(*+ >3) _ ! & !

(241) F '( -z.

(242) . ° Yi§. ,. &. 22. + . r),. EJ |". 7. Po f`< A* B > in=3( *T'( &,2,. Q. Q. V ¯A¦§ s ©§: V ¯. + 2. r. ),5W. <@x > ! &,4*>LA y/Q. 0 0 0 !. ' &. 0

(243) G . *0. g> &n T T ,2 '(3(& q3( ! &,. 0. 1. T & . F,. '(3(& q3( ! &,6` + * < 8! !* 3) 1. !*'j*E On ! !2_e T!') **3(& ':3)x !* !i3(2 T*=* &,fQ ' =E` T£ !& '(' T ic:3j3( *E0. * i+%= !*D #o

(244) %= 3) 1. **3(1,4 &xT3)s 3(*T** &,fQEg+ > & !T& f* ! J Po[D,4 > i 3('(*&Q. < :G) : -+/0)*%(-. % %9). :0) . . g+ 5* i*

(245) %= !*>3)yB%= 0 *=* &,. b3)y -!') **3(& 'E3) !* !i3(b%= ** &,.

(246) * 5. * ,. A* ^6*2,. G £ £'(3)Gf@ i%` ! &# £@y%= £*=* &,.*!6:` ! !h2 ic0 5 . *') q3(. . X i3(s`D3(F ic0 !*+ 5%=

(247) (. _+ '('S

(248) (2Q. $&%('*),+!-.+/0) > ic: ? 5X i3(hz ~ . *') q3) 14 £ 4 ¹ 3) A%= 5zX=~. . . . ic: !@x. 3) i3(s

(249) * i > r. . $.3(. D. &dzX~. $.3(. D. JP : &´zX~. $.3(. D. J 8!}!}!} x. P. . . 2. 2 . . 4. `+3jC

(250). . µzX=~. . « 5 &dzX~. . zX~. . 3y}!}!}. . 3bzX. ~. g+ 3(*+_i3(3(*+ 3)q !i3(y@=T D -@3 !i3(r !

(251) ^ 3(*D . 2. µzX. 2 ~ . ]* s qAzX=~. £ ^ & f 3(*8 '(*F q3(f4!* 3)x+ &n=3(,. &*+3)s

(252) _'('(&`+3)14`8 !0r. 48Q. J*L

(253) &z0,B~ IH. $.3(. . KJ&|yr:J P L

(254) &´z0,B~ KJ&|yrz ~ L. $.3( ,. . $.3( ,. . . , . . ,. . ? &dz0,B~. . X. z0, ~. . «z0,. . &~. `D ! ·3(* h 3(>`<u@: * !*2*F Fv qs3(

(255) |]r^ |fr^@37 ´z0,. . ~. tz0,. . &~. . z0, ~. 3(

(256) |¹r7. Q. % /G<>%98 Y&° BFY5¦" C°%YiªFE-W _¯ r ),°

(257) Yi§ , (#<>//*)t@/*F i 'S3) : i3( Q. . . . L . zX=~. . rz0,>~. W. z0,. . &~. &.

(258) /0<.8;: +: %y" - % <8. . . g+ B i !3(& q3(y F,. '(3(& @'(

(259) " $\ !,4*8 ! & *U B*F i ? **3(1 !s%= !*!QEg+ *8 3),4 x£ 3( 3(*£ 2 3( <¥ª©¥=Y!ªA%= !*!Q '< ![ . ic:3) 1 3(* 3(6C` 2 ! !ý13jn 2. ic:3j3( >'( in !'oe !& &!

(260) 3)f 5%= Q. $&%('*),+!-.+/0) A ic: ? 4(YDY!/C s!& & !

(261) 8JP3)f 5%= . .@/23) : i3(s >* i >. r. $.3(. JP. D. $.3(F. ¶J . 2. &f >'( in !'oTJPo3). !}!}!} . P. 2. . 2. !& & !

(262) 8JPo3) . $&%('*),+!-.+/0) D*F !4 q. .3(*>L. &

(263) E'( in !'= A/!& & ! EJP3). ?3(* E'( in !' E! !* 3) 1. 3. 8

(264) '( in !'o

(265) ! !* 3) 1!& & ! AJPo3)f

(266) 6. 5LQ. 3(*< A !E +3(JPS *< A!& &! +3)5<3(JP0 *U 'j4!& & ! !*. q+'( in !'(*!Q.

(267) & ^= & 3(*T ic: 3j3(-!* 3)x+ &n=3(,. &*&QE! * 3)D &n=3(,. & ! *F 3)< &n=3(,. &3(EJP: *U

(268) !& & ! T3). N%98P8 (#<>//*). . <zX=~. . . :. ,tU3(eJP0 'j-/!&*3)2 B%= T",K q in &.'( in !'(*&Q. BYf¦2¥ª©i¥=Yiªf° Q¥=Y#¦§ ,·¦s¥ª©i¥=Yiª ©§ ¨°Xª¦V_§°£Yi§OV_ª©§E4Y!§°\W O sz0,>~ ¦ªY£ªY¨%¥ Y &°XV Y& Q ¦A¥ª©¥=Yiª° Q¥=Y-¦§ ¦A¥ª©¥=Y!ª B¦q¨FV[ïW. Y!°. ¦§. ,3(*+ !. . ;. . Y!V[ª°Xª¦§¨j¦°XVX©§vV_§. ;. <3(* & 1. 3(! ? q D *') q3(s/ !* 8F 1 D D*F i DS%= !* . q8 & . !& & ! 8CJP@ !!,4 !*E -!& &! <<48Qeg+ * 8'( in !'(*:/!& & ! !*E<4d3)szX~ > >

(269) TJP3). ,£6*- if &n >

(270) * ,. B 3j%Q. % /G<>%98 Y!° BFY>¦§:©ªFE4¦MVO¦B!(YD" C°%YiªFE¹¨ E B (#<>/*/ ). . ?!!3) 14 B ! &,=6 `<

(271) &n .z0,>~.

(272) . +. .° /¦°. :8;. V[¨B§0©ª 4¦MV&¦ &jYOW. . . rzX=~. . r. . ),. YiªY#¦§. . . z0,B~. 7O. ,¦ªY<¥ª©i¥=Yiª!W. #@x2 >'( &,.,2 ¢/6z0,>~. . . Y!§. dzX~. B !* !i3jn !'js £ !U@ *3(* s £ !U%= Q ' 2 B ,. '(3(& q3( ! &, ?*=* &,. zR!Q?J qP[~F6. N%98P8 : E (#<>//*) + . . 3(*+ ,2 '(3(& @'( Q. .

(273) . Y&°. BY5¦"C°%YiªFE V_§y§0©ªE4¦x¯i©ªE4W O r),W.

(274) . Yi§ OV_ª©§ 4Y!§° , ¨\:; ° /¦°. . Q. Y!ªY-Y¤V[¨°U¦

(275) ¥ª©¥=Y!ª5° ¥=Y d¦§ s ¦

(276) ¥ª©i¥=Yiª. . . . ;©§¨°Xª¦V[§:°. <@xs3) i3(fs >* i >e 4,. '_,Q. . ,. | &'( iDb@0 2 %= 4`D3(F´ *5 #/!& & ! .AJPRQ. KJ&|#rJ P LQ<²=3)! 2JP *+-/!& & !

(277) !3j !D3). +. . . . "|o}. . r. ),AQ. . 2 ,.

(278) !!Qeg+ >!& & ! !*+JPo3),. 3(*? !!QUgD 3(*+!& &! !*? 5 qDf'( in !'C3), &zR|0~. +. . . 8. TF 1 A3) , &zR|0~L . ),`+3j. D3(*+3)y ,. 'S_, &f@/

(279) 3) i3(y= !*3(*!6 ! A ^ 3(*., ? 8 r 8*), &Q4g+ *> ! - ^ 3(*-, , J&| L , OzR|~

(280) * Fd q. A, *8 &n

(281) q TJP3). |vr@. +`? !. !>*Fb q. . & !3jn . 2T3) ,£6 i

(282) @ !!Q. . |. . }!}!}. . 8&Qg+ *. , &zR|0~L. zR|~ A q+ in &#'( in !'o*3) ! , . &QTH# !On !B