Proof Normalization for a First-order Formulation of Higher-order Logic

Texte intégral

(1)Proof Normalization for a First-order Formulation of Higher-order Logic Gilles Dowek. To cite this version: Gilles Dowek. Proof Normalization for a First-order Formulation of Higher-order Logic. [Research Report] RR-3383, INRIA. 1998. �inria-00073306�. HAL Id: inria-00073306 https://hal.inria.fr/inria-00073306 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) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Proof normalization for a first-order formulation of higher-order logic Gilles Dowek. No 3383 April 1998 ` THEME 2. N 0249-6399. apport de recherche.

(3)

(4)

(5) !" # $%&

(6) (' ) * + * $%,-#$%.+/ 20 143535687:9;=<>6@?BA C%D-EGFIHJ.KMLONGP-QRH SUTWV8QUXQRHGS HYZX[\S]X^"S_a`bF.cdTWSUQ]e8^"H fhgiTWjkHYmlT=e no[\p-pdTWgiYoq=HgiHrXsD-HgsXsD-HtP>uWvWv8wWvxKMyZp-gzQRS {r|W|WwK}J-{mp"[WVWHr_ ~G- WW: H.q=HP-H>[P"T\YiQUTWPTWhX^=Ym[WP"q[p-gzTbT\ gzHGq=^"XYiQUTWPp-gzT=XHr_i_%T8gm[XSU[8_i_ZT\YiD-HGTWgzQRHr_ UQ P"XSR^"q-QRP-V[\SUS,Hre8^[YiQUTWP[\SYzD-HT8giQUHG_m[\P"q["gs_kYi5T8gzq=HGg%TWgzF.^-S][YzQRT8PT\hD-QUVWD"Hgi5T8gzq=HGgSRT8VWQ]X\fhgzTbT\_ P"TWgzF:[WSRQUHmTWg[WSRS!Hre8^[YiQUTWP[\SdYiD-HGTWgzQRHr_ H _aD-TBYiD"[\YYiD-Hp-gzTbT\)TW,YzD-HP-TWgzF[\SUQRr[YiQUTWPYiD-HGTWgzHF T8ghYzD-Hm^_a^"[WS-T8giF>^-SU[\YiQUTWPTWD-QRV8D-HgiTWgsq=Hg SUTWV8QUXoXG[\PcdHm[8q-[\p-YiHGqYiT.p"giT8HP-TWgzF[\SUQRr[YiQUTWPIT8gQRYz_ gz_aYaTWgsq=HgT8giF>^-SU[\YiQUTWPC%D-HZaD"[\gsqp[\giYk T\YiD-Hp"giTbT\k-YiD"[\YmX[WP-P-T\YocdH.XG[\gzgiQUHGq TW^=YoQUPD-QUVWD-HGga T8gzq-HgoSUTWV8QUX QRYz_iHSRZYzD-HIP-TWgzF[\SUQRr[YiQUTWPTWYzD-H:_a`=_aYiHF)5T8F:HV8[@%Q]_oSUHY^-P"XsD"[WP-VWHrq!oC%Db^"_gzTWF YzD-H:pT8QRP@YT\@QUH T\p"giTbT\P-TWgzF[\SUQRr[YiQUTWP,dq=H"P-QUP-VD-QUVWD-HGgaTWgsq=HgmSRT8VWQ]X>[8_[ q=QR¡¢HgzHP@YOSUTWV8QUX>TWg [8_>[2"gs_kYi5T8gzq=HGgYzD-HT8gi`£q=TbHG_>P-TWYIF[YiYiHGgG¤C%D-Q]_>gzHG_i^-SRYI[WSU_iT¥H¦bp"SU[WQRP"_I[2gzHS][YzQRT8P§cdHYkHHPŸiD-H P"TWgzF:[WSRQUG[\YiQUTWP T\p-giT8pT@_aQRYiQUTWP_[WP"q YiD-H P"TWgzF:[WSRQUG[\YiQUTWP T\p-giTbTW_%QRPHGe@^"[\YiQUTWP"[WSdYiD-HGTWgzQRHr_[\P"qQUP D"QRV8D-Hgi5T8gzq-Hg,SUTWV8QUXW©P-T8giF[\SUQUQUP-VZp-gzTWpdT8_iQRYiQUTWP"_q=TbHG_P-TWYHGSRQUF:QRP[YiHX^=Yz_G\c-^=Y QRYYigs[\P"_aTWgzF_YzD-HF ª«@¬¢z®.¯ °W X^=YG"p-giTbTW)P-T8giF[\SUQUG[YzQRT8PbD-QUVWD-HGgaTWgsq=HgSUTWVWQ]X\=Hre@^"[YzQRT8P"[\S¢YzD-HT8gi`8 ±]²!³i´µG¶%³·¸U´¹5º» ¼½¾À¿À¿ÀÁaÂaÃ ÄÅiÆ¢ÁaÇrÈ¾ÀÉËÊ¾ÍÌrÃ ÎUÊÐÏÑ4Ñ4Ò@Ó ÔÕÔzÒÌsÖr¾À¿À¿ÍÌs×Ã ¾ÀÉrÊ4¾ÍÌrÃ ÎRÊÔGØkÙrÅiÆ!ÁkÇ. Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) Téléphone : 01 39 63 55 11 - International : +33 1 39 63 55 11 Télécopie : (33) 01 39 63 53 30 - International : +33 1 39 63 53 30.

(7)

(8) ,) #$ #o

(9) . , )x.'&' $,$>)) ' $o

(10) $%# $ #$ + I'$ # a #$ ,'

(11) %$' P2q=N"P"Q YO^-P-HP-TWYiQUTWP2q=HIXT8^-p-^-gzH HYO^-Pp-gzTbXHG_z_a^_oq=HgzNGq=^XÕYiQUTWP2q-HG_Zq-NF:TWP"_aYigs[ YzQRT8P"_:pdTW^-g^-P HP_aHGF.c-SUHq=HYiD-NGTWgzQRHr_:XTWF:p-gzHP[\P@Y>YzTW^=YzHG_:SUHG_IYzD-NT8giQUHG_:Nre8^[YiQUTWP"P-HSUSRHr_IHY^-P-H p"giNr_aHGP8Ys[YzQRT8P [W^ p-giHGF:QRHGgTWgsq=gzH2q=H2S][¤SRT8VWQ]e8^"H2q T8gzq-giH2_i^-pdNgzQRHG^-gG Hr_q=NGFIT8P"_aYigs[YiQUTWP__aT8P@Y P"TWgzF:[WSRQ]_z[\c-SUHG_oq"[\P"_ZYiT8^=YiHr_ZSUHG_ZYiD-NGTWgzQRHr_ZNre@^"[YzQRT8P-P-HSUSUHG_G P2F:[email protected]@^-HIS][q=NF:T8P"_kYzgz[\YiQUTWP¥q-^ YzD-NT8giEGF:Hoq=HoP-T8giF[\SUQ]_i[\YiQUTWPIpT8^-ghS][TWgzF.^-S][YzQRT8PIYigs[Wq=QRYiQUTWP-P"HSUSRHoq=HZSU[SUTWV8QUe@^-Hoq TWgsq=gzHo_a^"pNGgiQUH^-g pdH^-Y YzgiH[8q-[\p-YiNHpdTW^"gF:TWP@YigzHg S][P-TWgzF[\SUQU_z[YzQRT8P q-H_i[T8giF>^-S][YiQUTWP£[W^ p"giHGFIQUHg.TWgsq=giH8 ,[ ap"[WgaYzQRHq=Q XQUSRH2q-H2SU[£q-NF:TWP"_aYigs[YzQRT8P e@^-QmP-HpdH^=Yp"[W__ H¦=p-gzQRF:Hgq"[\P"_S][£SUTWV8QUe@^-Hq TWgsq=gzH _i^-pdNgzQRHG^-gHGSRSUHF F:H2S][P-T8giF[\SUQ]_i[\YiQUTWPxq-^§_a`=_aYiEF:H)TWF:NV@[8OgzHG_aYiHQ]q=HP@YiQ]e@^-HW m^£pT8QRP@Y>q=H b^-Hq=HOSU[>P-T8giF[\SUQ]_i[\YiQUTWPq=Hr_%q=NF:TWP_kYzgz[\YiQUTWP"_G@q-N"P-QUgS][.SUTWV8QUe@^-HOq T8gzq-giHO_a^-pdNgzQUH^-gXT8F:FIHO^-P-H SUTWV8QUe@^-"H !¥p[\giYIT8^ XTWF:F:H ^-P"H YzD-NT8giQUHq=^¨p-gzHF:QUHg:TWgsq=gzHHr_kYq=T8P"XQUP"q=QR¡¢NgzHP@YG lH gzNG_i^-SRYz[Y H¦=p-SRQ]e@^-H:[\^"_z_aQ ^"P-H:giHGSU[\YiQUTWP2HGP8YzgiH:S][P"TWgzF:[WSRQ]_z[YiQUTWPxq=HG_p-gzTWpdT8_iQRYiQUTWP"_mHYS][P"TWgzF:[WSRQ]_z[YiQUTWPxq=HG_ q-NF:TWP"_aYigs[YzQRT8P"_Zq"[\P"_mSRHr_mYiD-NGTWgzQRHr_oNGe@^"[\YiQUTWP-P"HSUSRHr_ZHYq-[WP"_mSU[SRT8VWQ]e8^"H>q TWgsq=gzH._a^"pNGgiQUH^-gI©oP-T8ga F[WSRQ]_aHGg%SRHr_p-gzTWpdT8_iQ YzQRT8P"_#P NGSRQUF:QRP"H p"[W_%SUHG_XTW^-p-^"giHr_=F[\Q]_%SUHG_Yigs[\P_kT8giF:HW $ ¯ r & % XTW^-p"^-giH8=P-TWgzF[\SUQU_z[YzQRT8Pq=Hr_oq=NF:T8P"_kYzgz[\YiQUTWP"_GbSRT8VWQ]e@^-HO#q T8gzq=gzH _a^"pNGgiQUH^-grbYiD"NTWgzQUH Nre@^"[YzQRT8P-P-HSUSUHW.

(12)

(13) !"$#%

(14) '&( ) *,+-/.0+1#2 !"$#3.45. v. 6Y%QU_HSUS 8 7bP-TP:YiD[Y%D-QRV8D-HgiTWgsq=HghSUTWV8QUXmX[WPcHmTWgzF.^"SU[\YiHGq[W_[F[WP@`@ _aT8gaYzHGq""gz_aYaTWgsq=HGg YzD-HT8gi`8:9=^"XsDx[TWgzF.^-S][YzQRT8P2pHGgiF:QRYz_mYiT_aHGp"[\gs[YzHQUPx[XSUHG[\gm[Ë`YzD-H>SUTWV8QUXYiD"[\Yq-HG_zXgzQRcdHG_ZYiD-H V8HP-HGgz[WS"gz^-SUHG_hTW,gzHG[W_iTWP"QRP-V[WP"q[YiD-HGTWgz`>YzD"[Y%q=HG_zXgzQUcHr_hYzD-HZgz^-SUHG__apdHGXQ XZYiT.YiD-HOTWc-jkHGXÕYs_hTWYiD-H q-QU_zXT8^-gz_iH:QUP YzD-Q]_oX[8_aH8bYiD-H_iHYs_[\P"qYiD-H^"P"XÕYzQRT8P"_z "giT8Ft[ZF:TWgzHhYzHGXsD-P"QUXG[\SbpT8QRP@YT\"bQUH W_i^"XsDI[ogzHGq=^"XYiQUTWP>pHGgiF:QRYz_)YiTq=HGq-^"X<H ;oHG1P 7bQRP _D-QUVWD-HGga T8gzq-Hg XTWF:p-SUHYiHGP-HG_z_ YiD-HGTWgzHF giT8F >L ==q=HGS _ gz_aYaTWgsq=HgXTWF:p-SUHYzHP-Hr_i_ YiD"HTWgzHF_iHHZTWgQRP"_aYz[WP"XH ? @ B ACÕ> 6YmpdHgzF:Q Ys_m[WSU_iTYiT ^"_iH.HSUS 8 7bP-TP"gs_kYi5T8gzq=HGgop-gzTbT\h_aHr[\gsXsDF:HYiD"Tbq"_oT8gZD-QUVWD-HGgaTWgsq=HGg SUTWV8QUXWD 6 Pp"[WgaYzQUX^-SU[WgG=[8_ YzD-Q]_YiD-HGTWgz`QU_%_iTWF:H 7bQUP"q T\)H¦bYiHPq=HGq HGe@^"[\YiQUTWP"[WS"YzD-HT8gi`8bYiD-HpdTHGga^-S F:HYiD-T=q-_oq-HG_iQRV8P-HGq TWgHre@^"[YzQRT8P"[\S¢YzD-HT8giQUHG_XG[\PcH ^_aHrqT8gD-QUVWD-HGgaTWgsq=Hg%SUTWV8QUXW ;oTHWHGg%FIT@_kY H XQUHP@Ymgz_aYaTWgsq=Hgmp-gzT@TW_iHG[\gsXsDF:HYzD-T=q-_giHGSR`T8P2YiD"HIp"giTbT\hP"TWgzF:[WSRQUG[\YiQUTWPYzD-HT8giHGF [\P"q2YiD-H [8XÕYYiD"[\Yo_aHr[\gsXsD-QRP"V TWg%P-T8giF[\Sdp-gzTbT\_OTWg%p-gzTbT\_XT8P8Ys[\QUP-QUP-V>[>WHGgi`:gzHG_aYigzQUXYiHGqTWgzF T\)X^=Yz_sQU_ XTWF:p-SUHYzHWE 6 PYiD-Q]_%p"[\pdHgr=H[WgiHXT8P"XHGgiP"HGqQRYiDp-gzTbT\,P"TWgzF:[WSRQUG[\YiQUTWP QRP YiD-H_iHP_aHOT\fhgz[ËQRYi ? {r0J C5-Q5 HW QUP P"[\Yi^-gs[\Sq-HGq=^"XYiQUTWP C%D-Hp"giTbT\P-TWgzF[\SUQRr[YiQUTWP.YiD-HGTWgzHFT8g D-QRV8D-HgiTWgsq=HgSRT8VWQ]XXG[\P-P"T\Y cHoq-HGq=^"XHGq.giT8F YiD"H%"gz_aYa T8gzq-HgOTWP-H83 6 P"q-HHGq,^-P-SUFQ 7WHXT8FIp"SRHYiHP"HG_z_ZYzD"[Y Q]_p-gzTWHGq¥TWP"XH.T8g[\SUSYiD-H:"gs_aYaTWgsq=HgmYiD-HGTWgzQRHr_ YzD-H p-gzTbT\)P"TWgzF:[WSRQUG[\YiQUTWPYiD-HGTWgzHF P-HGHGq-_[:_ipHrXQRXp-gzTbT\,T8gHG[8XsDYzD-HT8gi`8C%D"H_iTX[WSRSUHGqp-gzTbT\ P"TWgzF:[WSRQUG[\YiQUTWP£YzD-HT8giHGF TWgI"gs_kYi5T8gzq=HGg>SUTWV8QUXQU_IT8P-SR`§[xp-gzTbT\ZP-T8giF[WSRQUG[\YiQUTWP£YzD-HT8giHGF TWgIYiD-H HGF:p=Yk`YzD-HT8gi` QRP"gs_aYaTWgsq=Hg%SUTWVWQ]X\ YiD-HGgYiD"HTWgzQUHG_G"_a^XsD2[W_%HGe@^"[WSRQRYk`T8gZ[\gzQRYiD-F:HYzQUXW"D"[Ë8HOYiD-HGQRg TPP-TWYiQUTWPT\X^=YZ[\PqYzD-HQUgTPp-giTbTW)P-T8giF[\SUQUG[YzQRT8PYzD-HT8giHGF H q=H"P-H QRP£YzD-Q]_.p"[WpHGg>[¥P-T\YzQRT8P£T\oX^=YITWg.YiD-H"gs_kYi5T8gzq=HGgTWgzF.^-S][YzQRT8P£T\D-QUVWD-HGgaTWgsq=HGg SUTWV8QUXZ[\P"qHO_aD-T YzD"[YYiD-HOp-gzTbT\T\!YzD-HOP-TWgzF[\SUQRr[YiQUTWP:YzD-HT8giHGF TWgD-QRV8D-HgiTWgsq=HghSUTWV8QUXZX[\P cH [8q-[\p-YiHGqYiTp-giT8HP-T8giF[\SUQUG[YzQRT8PTWgOYiD"QU_mYiD"HTWgz`W C%D-H aD"[\gsqp"[WgaYa.T\hYzD-H>p"giTbT\kdYzD"[Y X[WP-P-T\Y cdH XG[\gzgiQUHGq¤T8^=Y>QUP¨D"QRV8D-Hgi5T8gzq-HgSUTWV8QUXQRYz_iHSR>YiD-HP-TWgzF[\SUQRr[YzQRT8P TWYiD-H_i`b_aYiHGH F GJI ? 0| C.Q]_.SUHY ^"P"XsD"[\P"VWHGq K L !!" # $%&

(15) ' ) * + * $%" # $%&+/ ;ZQRV8D-HgiTWgsq=HghSUTWV8QUXZQU_%[WPH¦bYiHGP"_iQRT8PT\gz_aYaTWgsq=HgSRT8VWQ]XoQRYiD^-P"XÕYzQRT8P[\gzQ][\c-SUHG_G8p"giHrq=QUXG[YzHZ[\gzQ [Wc-SUHG_G%^-P"XÕYzQRT8P YiHGgiF_YiT§cdHx_i^-c"_aYiQRYi^-YiHGqBYiT£^"P"XÕYzQRT8P [\gzQU[Wc-SUHG_[WP"q p-gzHGq=Q]X[\YiHYzHgzF_YiT cH _i^-c"_aYiQRYi^-YiHGq YzTp-giHrq=Q]X[YzHË[WgiQ][\c"SRHr_ 6 PQRYz_o"gz_aYaTWgsq=HGg%TWgzF.^-S][YzQRT8P-QRE M%Q]_o[:^-PXÕYiQUTWPYzHgzF&[WP"O q NQP,URUR NTS[\gzHYiHGgiF_HX[WP-P-T\Y gzQRYiHYiD"H.[\p-p"SRQ]X[\YiQUTWPT\% MYiUT NBPr)RUR NTS [8<_ MVWNBP0XYYFYXN S1Zc"^=YZH P-HHrqYiTQUP@YigzTbq-^"XH[I^-PXÕYiQUTWP _i`bF.cdTW-S [DSTW<g ]\$\ ^[WP"q gzQ YzH YzD-Q]_YzHgz_ F [DSQVM XNBP0X2YFYFYXN S1ZD 6 P.YiD-H_i[WFIH[Ë`8ËQ R M,QU_[Zp"giHrq=QUXG[YzH YzHgzF [WP" q NBPr=URU0 N S [WgiHYzHgzF:_,HX[\P"P-T\Y,gzQRYiHhYzD-H[Wp-p-SUQUXG[YzQRT8POTW1 M¢Yi`T NBPËbURU NTSO[8B_ MVNQPX2YFYYFXNTS1ZÕ c"^=YHP-HHrq:YiT.QRP@YigzT=q=^"XHZ[p-gzHGq=Q]X[\YiHZ_i`bF.cdTWJS aBS[WP"q:gzQ YzHYiD-Q]_hp"giT8pT@_aQRYiQUTWbP aBSbVWM XNQPX2YFYYFXNTS1ZÕ D"HdP cfehgH^"_i^"[\SUSU` gzQRYibH ijalk QUP"_aYiHr[Wq£TWm aDPnV)kmX]i-Z D-HoP cperq-% M Q]_:[2GHgzT\ [\gz` p"giHrq=QUXG[YzHmYzHgzF Q5 HWh[:p-gzTWpdT8_iQ YzQRT8PYzHgzF%[WP"sq aQtVWMZQ]_%YiD"HXTWgzgzHG_ipT8P"q=QUP-V.p-gzTWpdT8_iQRYiQUTWP 6.H¥X^-gigz` YiD-Hx^-P"XYiQUTWP"_[\P"q q=H"P"H2YiD"H¥p-gzHGq=Q]X[\YiHr_[W_^-P"XYiQUTWP"_ F[\p-p"QRP-V TWc=jkHrXÕYs_YiT p"giT8pT@_aQRYiQUTWPYiHgzF_=HOTWP-SU`P-HGHGq[>c"QRP"[Wgi`:^"P"XÕYzQRT8P_i`bF.cdTWS]<_ [ P bgiT8F P-TBT8P gzQ YiYiHGOP ["[\Pq [ ^-P[\gz`£p-giHrq=Q]X[YzsH a t giT8F(P-T T8P gzQ YiYiHGoP u= C%D-HYiHGgiv F [ S VM XN P X2YFYFYXN S Z>Q]_:P-T gzQ YiYiHGP [wVxYFYFYX][yVM XN P ZYYFYXN S Z[WP"q¥YiD-Hp-gzTWpdT8_iQRYiQUTWd P a S VWM XN P X2YFYYFXN S Z,u(V)[yVYYFYFX[wVWM XN P Z YFYYFXN S ZZyZ_^"_i^"[WS4 HgiQRYizH VMyNQZTW`g [wVWM XNTZ%[WP"sq VMyN P YFYY(N S ZTWmg VYYFYFVMN P ZYYFY N S Z {D{ %É |} } ~ }.

(16) @. # 3 #. 6 P2D"QRV8D-Hgi5T8gzq-HgoSUTWV8QUXW"c"[8_aHT8c=jkHGXYz_Gp"giHrq=QUXG[YzHG_oT8Pc"[W_iH.T8c=jkHGXYz_Gp"giHrq=QUXG[YzHG_T8P2p-gzHGq=Q]X[\YiHG_ T8Pc"[W_iHTWc=jkHrXÕYz_GUR[\gzHq=QU_aYiQUP-V8^-QU_iD-Hrq!"[\Pq QR Q]_"TWgQUP"_aYz[\PXHW[:p-giHrq=Q]X[YzHTWPc"[W_iHTWc=jkHrXÕYs_ H XG[\P§[Wp-p-SU` QRY:TWP-SU` YiT¥c[W_iHTWc=jkHrXÕYs_©:YzHgzF:_I_i^"XsD¨[W_ V mZ.[\gzHTWgzc-Q]q-q=HGP§cb`xYzD-H_a`bP@Yz[\¦¢ C%Db^"_G=D-QUVWD-HGgaTWgsq=HGgSUTWV8QUXOQ]_[>F[WP@`@ _aT8gaYzHGq"gz_aYaTWgsq=HGgYzD-HT8gi`8 «

(17) ¯ n ^!8 8# ", )! "4#2 ]. 5. T# # R: 1 T5]#!#"$&%'%U"$# F#]" \ ]# 2#2R )(

(18) zR^!82 8# "< !]"4#2>F .4&R2. # ,.4+*0#2-,2^ . "$# &(

(19) #2/,2#5 # 52) 10 x_iTWgiYz_2 . U# 45 +s2 4 3 x5 06 "$# &(

(20) #2/ ,2^b R #U5 # 52) 879_x:*0 /,2#, &R5 +sW+1;7<9 T= " 7?>f#'" + @2 R& D+1#2A 3 = " B #'" 52

(21) ,] E 0 25 8# " . "$# &(

(22) #2C ,#5 SGD FP#]52 x% ^-PXÕYiQUTWP2_i`bF.cdTWS]_ # $5]+ &( 52) ^D #F#

(23) z# `xF 0 I c H $q 5 # " )o gz[WP1J 7 D+R#Oc epKq &R5]+sz ^D

(24) , 3 2b5 # " QRP"q-QRbQ]q=^"[\S)_a`bF.cdTWSLM

(25) , C `0 25 8# " . "$# &(

(26) #2/ ,2#>5 S # 52) b p-giHrq=Q]X[YzH_i`bF.cdTWS]_B m# 45 +\T# "5 #, ^N *##2

(27) z# ; 0 O c Hj$q U5 # " gs[\P1Q7 P C)HgzF_3x R 3 #m T"&R52)+ *#2^ "4#)T# 1" ,2^ . *0 / ,2#'x5 79 #8#2

(28) mx R 3S E_ &( 52) j ^D

(29) , , ]T UV 3JP0XYYFYVX 3QS VX 3QS GDPZ "bMMP =P+P+PLMxSf# 8#2

(30) 3Ox 2 . D 3JP0X2YFYFYVX 3TS W+1#2W EEVMP0X2YFYFYXMxS1Z z #

(31) x>2 R 3QS GD/P P fhgzTWpdT8_iQRYiQUTWP"_'# " &R5+ *0#2^ "$# # 1" ,2^

(32) ,] JxX 'UV 3JP0XYYFYF#X 3QS1Z T">MYP 4P+P+PLBMxS #: #

(33) 3>x,2 Z 3JP0XYYFYF#X 3QS . & :,\T# "5 #> ^D +R#W zVWM P X2YFYYFXM S Zm m \ ]]\R0 ) K .\[ U[\S]_aHGD-TbTbqX' >\T]\R0 < ]Ek \ \1 ) K . `k :\ \1 *W+1#2A " ^h]#\T]\R0 1mW+1#2 ` k _1âDc k bW^DJe k dfâJh k gi^ #<\ \1 Rj . `k ) " kjD * C ,#'W+1#2N m?ksk = " nTksk #<\ \1 ) 12 P . `k :\ \1 l mHGq=^XÕYiQUTWPgz^-SUHG_:#>W+1#&- &R #j R% W+ +R#,]# 5O +R) *0 / ,2#mx`2 3 5 R/^ , #m <& , )&( # D " ,^ U8#2

(34) r>2 3=P «

(35) ¯+opn ^!8 8# ", )! "4#2 ]. = 5 % W+ j# q2&R j^ ( W+1# D ^ r dbF .4&R2. l # s d

(36) R^!82 # ": )! "4#2'.4D 5 % W+ j# q2&R ^b 'W+1#W+1# ^ *

(37) z ^!8 8# "> !"$#.45 *W+1#' . 2. # s V# t$ #T"4# u " ,^m\ # "5 8#' ^D

(38) , :e 9 T V 3`#X 3>ZE3# 45 + ! 3 "`

(39) # 1 " % + +R#3v t$

(40) 33xF r "zW+1#'2 t$

(41) mkOkOwe 9Wk Ux2"$# ) j^ yUz {Qy+{.

(42)

(43) !"$#%

(44) '&( ) *,+-/.0+1#2 !"$#3.45. m V kOe 9 d V fk?di W ZZ D+R#]# m-r W+1#m&(R+*# 2E5F0 &(#'x:W+1#<\ \1 aP. A. D# ,2R

(45) -25 +1#2

(46) #. ;ZQRV8D-Hgi5T8gzq-Hg%SRT8VWQ]XQU_m[IYiD-HGTWgz`QUPF:[WPb`8 _iTWgiYiHGq"gs_kYi5T8gzq-HgSUTWVWQ]XOQ YzDHGe@^"[WSRQRYk`D-T@_aH_iTWgiYz_ [WgiHX[WSRSUHGqs

(47) ,\ #)^]\R#s «

(48) ¯ 9bQUF:p-SUHYk`@pdHG_]#m T"&R52)+*#/^ "4#) # "A,^. . " ]#

(49) ,\ #)^]\R# . F3 T"=Br #

(50) ,\ #3^]\1# +R#A3 B mz

(51) `\T#3)^]\R#vP ym_%^"_i^"[\SHgiQRYiHJ3 PvYFYY Q3 Sit B T8gF3BP xV YFYY VU3QS B Z YFYY ZÕ C%D-H_i`bF.cdTWSB[£Q]_V8HP-HGgz[WSRQUHrqYiTz[ 9 > . C)TXTWP_kYzgi^"XY^"P"XÕYzQRT8P"[\SdYiHGgiF_[WP"qp-gzHGq-QUXG[YiHmYiHGgiF_%HmD[ËWHoYzD-H XT8FIp"giHGD-HP"_iQUTWP _zXsD-HGFIHr_ nKEum?kTPYFYYTm?k SsVVEOkTPYYFYXk SRZe MZ. [WP"q n m?k P YYFYTm?k S VWu1V k P YFYFYKk S Zg mZ 6 P[8XÕYG=QRYoQ]_HGSRSR87@P"TPYiD[YYiD"H"gz_aYo_iXsD"HF:HQU_%Hre8^"QR[\SUHP@YYzT>YzD-H QUP"_kYs[\P"XHG_ nmkAm m bVk Ze_VVUk Z>V ZZ n DmkWm V!Ak Zehk. [WP"qYiD-H_iHGXTWP"q QU_%Hre@^-QR[WSRHGP8YYzTIYiD-H QUP"_aYz[\PXHG_. n mkAm V u1V k Z g kOew9 Z nX^ VWu(V^3Zg [ Z n " m?k V u1V " k Z4g ]Du1VUk ZZ n# mkAm V u1V# k Z g V u1VUkTZ!_Uu1V ZZZ n$ mkAm V u1V $ k Z g V u1V k ZQb u1V ZZZ n%=mkWm V u1V %ak Z g V u1VUkTZ dhu1V ZZZ n mkWm V u1V k Z g VWu(V k Zg u1V ZZZ (n kem?* k VWu1Vk k Z4g m u1V k ZZ n m?* k VWu1V k Zg n u1VUk ZZ. C)TD"[ËWHI[V8HPb^-QUP-H:P-* T\Ys[YiQUTWP¥TWgTWc-jkHGXÕYs_O* H:* _78TWSUHF:QUHYzD-HG_iH[¦=QUTWF_![WP"q¥QUP@YigzT=q=^"XH:_i`@F>cT8SU_ & 9' > ( ) 9 > e * 9 + ]* _%* b* , dB* g * m 9 n 9 C,T8VWHYiD-HGgQRYiDYiD-H_a`bF>cT8SUy_ [ 9 > [WP"q u=@YiD-Hr_aH _i`bF.cdTWS]_TWgzF YiD"H SU[W[ P-VW^"[WVWwH sZ {D{ %É |} } ~ }.

(52) # 3 #. «

(53) ¯ T+1#`-. &R.$#s yW+1#w .4&R2. #<

(54) R^!82 # "E !"$#y.45F% W+#jq&R ^ 2 8# "12, ^

(55) `\T#3)^]\R#m5 R R -.UW+1# " +*" &RD ^

(56) N, 7 Z V 3 B Z 3 7: . & 9 > ( > wV 3 iB i . ) 9 > x:2 R3 iB 3l . ew* 9 > R3 3 . [ * x>2 . ] * x:2 d* g * :2 . _;* b * . m * 9 " n * 9 >2 VU3 Z W+1#y &( 52 ^

(57) D], V 3 iB XV`3 Xj B Z . [R 9 > Tz W+1#<\ ]#]" 5 # ^

(58) D], . unx: T V Z2P . yYoS][W_aYG=HOYz[47WHOYiD-HT8SRSUTQUP-V>QUP"_aYz[WP"XHr_%T\YiD-H_7WT8SRHGFIQUHrqXTWF:p-gzHD-HGP"_aQUTWP_zXsD-HF:HW «

(59) ¯ T+1#< +R#] ^ r W+1#wW+1# ^>

(60) R^!82 # ",F.45&% W+#q2&R/ )^ 'W+1#wF .4&R2. # . s 5 R . +R#3vt$

(61) 3. . mk m m V & 9 > ( k Z%e VV k,-Z V -ZZ m?kum V )19' >`k Ze k m?k m V u1V ew* 9ck Z g V kOew9 ZZ u1V [ * Z g [ md k VWu1V]\ * k Z4g VD] u1VUTk ZZZ * k Z4g V u1VUTk ZQ_ u1V ZZZ mk m V u1V _\ * k Z4g V u1VUTk ZQb u1V ZZZ mk m V u1V b\ mkum VWu(V d * k Z g V u1VUTk Z h d u1V ZZZ mkum VWu(V g * k Z g V u1VUTk Zg u1V ZZZ mo k VWu1V m?* 9c k Zg V+m u1VUk ZZZ mo k VWu1V nX* 9 k Zg Vn u1VUk ZZZ. yUz {Qy+{.

(62)

(63) !"$#%

(64) '&( ) *,+-/.0+1#2 !"$#3.45. « §= 6 PYiD"HXSU[8_i_iQ]X[\SdX[8_aH88F[\Pb`_i`@F>cT8SU_QUPYiD"QU_S][\P-V8^"[\V8HZ[\gzHZgzHGq=^"P"q-[\P@YrC%D-H_iQ Yz^"[YzQRT8P Q]_%SUHG_z_XSUHG[\gQUPYiD-H QUP@Yi^-QRYiQUTWP"QU_aYiQ]X X[8_aH8. « §= C%D-HGgiH[WgiH YkT¤P-TWYiQUTWP"_:TWm^"P"XÕYzQRT8P YzD"[YF>^"_aYP-T\YcdH2XT8P=^"_iHGq!BC%D-HQUP"q=QUbQUq-^"[\S _i`bF.cdTWS & ¢TWgOQUP"_kYs[\P"XHW!Q]_m[YiHGgiF [WP"qYzDb^"_ZQRY D"[W_O[_aT8gaYrC%D"QU_mYiHGgiFH¦bp"giHr_i_iHG_O[\P2T8c=jkHGXYOTW YzD-HYzD-HT8gi`xYiD"[\Y.D"[Wp-pHGP"_ YzT2cdH [^-P"XYiQUTWPYzDb^"_QRYz_>_aT8gaYQ]_.[^"P"XÕYzQRT8P"[\S Yk`@pdHW 6 P§XTWP@Yigs[W_aYG YzD-H^-P"XYiQUTWP_a`bF>cT8BS [R9 >=T8gQRP_kYs[\P"XHW=Q]_%P-T\YZ[>YiHGgiF[\P"qq=TbHG_%P-TWYoH¦=p-gzHG_z_%[\PTWc=jkHrXÕYT\YiD-H YzD-HT8gi`8-c-^=YO[I^-P"XÕYzQRT8PF:[Wp-p-QUP-VTWc-jkHGXÕYs_T\YzD-HYiD-HGTWgz`YzTTWc=jkHrXÕYz_oT\YiD-H YzD-HT8gi`8 C%D-H._iTWgiYz_%TW YzD-H F[\p-pdHGqT8c=jkHGXYz_[\gzHOQRP"q-QUXG[YiHrqc@`YiD-H gs[\1P 7T\,YzD-Q]_o_a`bF>cT8S4 C%D-Q]_%q=Q]_kYzQRP"XYiQUTWPX[\PcHXT8FIp[\gzHGq:YzTYiD[Y%T\)_iHYYiD-HGTWgz`WbD-HgzHZHm[WgiHm^"_iHGq:YzTIq=Q]_aYiQUP-VW^-Q]_iD _iHYs_[W_%T8c=jkHGXYz_%T\YiD"HYiD-HGTWgz`[\P"q_iHYz_%TWT8c=jkHGXYz_%TW,YiD"HYiD-HGTWgz`W ZT H>[WP8YmYiTq=H"P"HI[P-T\YzQRT8P2T\ X^=Y[WP"q2[p-giTbTWgzHGq-^"XÕYzQRT8P2p-gzTbXHG_z_Z[8_i_iT=XQ][YiHrqYiT YiD-H YzD-HT8gi` ¥ .

(65) ). &$ :' ¤ * $ $ . .

(66) !#"$ %'&(*),+.-/ 10. «

(67) ¯hoZ (Hre@^"[\SUQ Yk` X^=Y' m:\ x3x:W+1#y

(68) d V k?d WZZ Me M4d V32 M ?d 32 M WZ Em !#/

(69) 2 M ?df 2 M . m VUkOe. m?k k e k m !#2

(70) MejM d !#2

(71). 2 M . 2 4 M d !#2

(72). D+R#]#5 2 n R 8 5 #6aP xy# " &R5]#:8U +R#\T. ¯76 ¯ ¯ 5. 8. 2 4 M oZ w]]m

(73) z/#3 ' )! "4#2:]. 5=% W+ #jq&R ^/P. 9:),+.-;' =<.-/>'& *. «

(74) ¯hoZ+oe( HGe@^"[\YiQUTWP"[WS \T]\R0 R3x W+1#y

(75) M%e NP. YzD-HT8gi`. b +R#] ^8D+R02# vt4

(76) # &(R+*# 2`520 &(#O. «

(77) ¯hoZ D #?r , #> #q2&RT +R#] ^/P (>HSUHF:HP@Yz[Wgi`XTWPbWHGgz_iQUTWP>_aYiHGp =r #F . :\ \1 ) W 2 M < ") 2 N w >\R <xm:\ x3x W+1#y

(78). {D{ %É |} } ~ }.

(79) w. # 3 #. m VUkbe. d V k Qdf ZZ m !#2

(80) 2 M Zdf 2 N WZ 2 M ?df 2 'N . Me NAd V. U+1#2#. M%e N d !#

(81). 2 N'. #2 +R#:\ x3x W+1#y

(82). >\Txm +R#

(83). mkum VUkbe d VUk ehkWd h e k ZZ m !#2

(84) MejNWd VO N e NAd NOe MZ NbejNWd N e M. 2 M d !#2

(85). m M t e N t m !#2

(86) Me N m M t e N t Em !#

(87) M%e N d !#

(88). m?kOk ehk m !#2

(89) NOejN d !#2

(90). N e M O ( XTWPbWHGgz_iQUTWP¥_aYiHGp O2#jq2&R#T5]# xU#2#

(91) z#2R ^ 5 <*#2 #8\ P'#D% # &R5 + 5 ! *#2 #8\*#F . :\ \1 R5 T " . . . ¯76 ¯ ¯ oZ+oB

(92) H'\Txz o +R#UW+1# ÂrN #O5 \,2&( "s\TDD+1#2#O2t$

(93) 3 x)r #&-# " *5 <*#2 n #8\ R/^/P 5. ¯¯ H giHGp-S][WXHOYzD-H[¦=QUTWF_. 5. m M%e N. cb`. m?kukOeJk md5HGSRQUF Me M. 5. Me N m M%e N mQRP@YzgiT. ¯76 ¯ ¯ oZ yUz {Qy+{.

(94)

(95) !"$#%

(96) '&( ) *,+-/.0+1#2 !"$#3.45. |. . T+1#2#3 m 5 <*#2 n #8\z

(97) 8)aP :4 #'5 8,2&( "O 5 *0#2 s # \'

(98) SaP . Q]

(99) 5 *0#2 s # \'

(100) p # 5 O,2&( " . Q]

(101) z5 0* #2 b #8\3

(102) 8 rT"zz5] <*# b # \3

(103) ) m 5 0* #2 s 8# \

(104) r DP . ¯¯. 5. C)[47WHOYiD"H HF:p=Yk`XTWPbWHGgz_iQRT8P _aYiHGp . C)4[ 7WHYiD-H%gzH8Hgs_aHXTWPb8Hgs_aQUTWP._aYiHGp>c"^-QRSRY cb`QRPq=^"XÕYzQRT8P>T8Hg)YiD-H_aYigz^"XÕYz^-gzHTW"YiD"H%XTWPbWHGgz_iQUTWP _kYzHpgzTWF YiT : . C)4[ 7WHOYiD"HXTWPX[YzHP"[\YiQUTWP T\YiD-HXTWPbWHGgz_iQRT8P_aYiHp_ 5 ¯76 ¯ ¯ oZ +R$*#`W+1#

(105) #`8 \ #2*# 5 R # 52)+*#` Fq2&R ) w#jBW+1#2`

(106) m5 *0#2 z #8\ . xW " f #2 .= T" #'5 8,2&( "O 5 *0#2 #8\*#2 . +R# 8 \ #2*0#2B &<,)

(107) '&(02P #m5 ,2&( "Uz5 *0#2 b 8# \3

(108) k M 8 . Q ]

(109) z5 *0#2 b #8\3

(110) : k M P . Q]

(111) v 5 <*# l 8# \l#2 . MUe N "bM 2 e N 2 #s5] ,&( F"d 5 *0#2 #8\ #2 .= k M < ") k M 2 < "OTW+1#2 #2 .= k N'<T"S k N 2 P 5 ¯¯`QUP"q=^XÕYiQUTWPTWPYzD-H SRHGP-V\YzD TW)YzD-HXT8PbWHgs_iQRT8P_kYzHp «

(112) ¯ hoZ ( X^=2Y D )&(]R"4# " &R5<J W+1#` +R#] ^6r ` )]" &R5U &(F#B F$ # " ,2^ 5 <*# s 8# \* "Os#2

(113) ' * &(#YP «

(114) ¯ hoZ wx ]#]" &R5/ .. . . . . T+1#5&( . 4. ) 1W

(115) z# "U 8z +R#\T. . P. \_. . 2_ 4. {D{ %É |} } ~ }. . 4. . 2. P 2. 2. _w! R _w!#

(116).

(117) {. # 3 # T+1#O5] < *# 8# \

(118) N 2 . + *#2` ,^bW+1#< E\1 R,\ \1 P P T+1# 5 02#x:W+1#'5&()>&- -.zW+1# /.+(<#2

(119) ' ) s &(#m :

(120) ' 2P . T+1#5&( P 4 \b bw! R . . . . 2b. . 2. . 4. 4. 2. . ) 1W

(121) z# "U 8z +R#\T. . 2. . . bw!#

(122). P. 4. . 2. T+1#O5] <*# 8# \

(123) N 2 . +*#2`,^bW+1#< E\1 R,\ \1 P P T+1# 5 02#x:W+1#'5&()>&- -.zW+1# /.+(w )]" &R5 &(F#m :

(124) 3 F2P 4. . . . T+1#5&( . . 4. d. . . P. . d ! ). . 2d. . ) 1W

(125) z# "U 8z +R#\T. 2 2. . 4 . 4. . 4. 2. d !#

(126). 2. P 2. T+1# 5 *0#2 f #8\d

(127) 2 8- "O

(128) 8 2 # . +*#2 , ô +R# >\1 R x3\T]\R0 TP "O\T]\R0 P

(129) CP T+1# 5]2# xbW+1#s5&()b 8# .$ ) U]R " #jq&(+ *#2 5 A # +gc #

(130) ' 2P . . yUz {Qy+{.

(131) {8{.

(132) !"$#%

(133) '&( ) *,+-/.0+1#2 !"$#3.45. . T+1#5&( . 4 mk8 mE! Ru kdT ]#]# nW+1#:+-^]\RW+1#2# mk8 2 2 k M m !#2

(134). ) 1W

(135) z# "U 8z +R#\T. k H M 4 k M . 2 k M T+1#5 <*#2 n #8\z

(136) k M 8) 2 k M ,. +*#I,2^z +R# T"2# 5] " \1 R xw\T]\R0 P P . . T+1#5&( . ) 1W

(137) z# "U 8z +R#\T. P. k4 M Tn ! ) nTk8 2 4 nTk8 2 nT!#2

(138) k # # w P. k 4 M . T+1#5 < *#2 n #8\z

(139) k xw\T]\R0 P P . T+1#5&( . 2 k M k M 4. M 8) 2 k M ,. +*#I,2^z +R#. T"2# 5] " \1 R. . NOejN 2 f d N df N 2 N ?df N 2 . {D{ %É |} } ~ }. mk k ehk mE!#

(140) M%e M N e N 2. N 2 . d !#2

(141). 4 N d !#2

(142).

(143) {ËJ. # 3 # ) 1W

(144) z# "U 8z +R#\T. 4 N'. N 2 D+1#2# +R#35 *0#2 n # \

(145) N y S N 2 y ),2&( &- -.UW+1#m +( ">\R \ \1 ) TP ":\ \1 P

(146) P 5 ¯76 ¯ ¯ oZ x3W+1#2# U 5 *0#2 #8\O ]

(147) h 8 hW+1#2 " +R$*#zW+1#'2

(148) z# ]\T#2*0#2 5 # 52)+*#3 )q&R R y#2N "U T#m

(149) '5 +R#3 +R# 2j/P 5 ¯¯ `QUP"q=^XÕYiQUTWPTWPYzD-H SRHGP-V\YzD TW)YzD-HXT8PbWHgs_iQRT8P_kYzHp . ¯76 ¯ ¯ oZ w]]m

(150) z/#3 s +R#mW+1# ^SrAP 5 ¯¯ HY P X X2YFYY=cdH [.p"giTbT\)giHrq=^"XÕYzQRT8P _iHGe@^-HGP"XHOQRP YiD"HmYzD-HT8giàr`p"giT8pT@_aQRYiQUTWP J- @ [\Pq J- A-bYiD-H_iHGe@4 ^-HGP"4 XH P2 X 2 X2YFYY-T8c=Yz[WQRP"HGq c@` giHGF:T@QUP-V>YiD-HXTWPbWHGgz_iQUTWP _aYiHGp"_o[WP"qgzHp"SU[8XQUP-V[\SUS!YiD-H [\YiT8FIQ]X:p-gzTWpdT8_iQ YzQRT8P"4 _ cb4 `2 YzD-Hp"giT8pT@_aQRYiQUTWP e\D"HgzH:QU_>[XTWP_kYs[\P@YGQU_>[p-gzT@TWgzHGq-^"XÕYzQRT8P _iHGe@^-HGP"XHQUP"gz_aYaTWgsq=HGgSUTWV8QUXOQRYiDHGe@^"[WSRQRYk`W C%Db^"_%QRYoQU_%P-Q YzHW 5. . . . 9:),+ ;-/ *< .

(151) - . . . .H F[Ë`[\S]_iTQRPXSU^"q=HW¢QUPYiD"HYiD"HTWgz` r![¦=QUTWF_oTW YiD-H.TWgzF [\YiT8FIQ]XOp-gzTWpdT8_iQ YzQRT8P"_-T8gQRP_kYs[\P"XHOfHr[\P-T _T8^-gaYzD[¦=QRT8F. mjV g m ZD-HGgiH=. [\P"q [\gzH. m?kAm V & VUkTZ e & V Z gik e Z HgzHG_aYigzQ]XÕYD-TH8HgYiT¥YiD-HGTWgzQRHr_Sr _i^"XsD¤YiD[Y>QR<M3e Mg Nje N 2 T8gmNje N 2 g M3e MQ]_.[WP QUP"_aYz[WP"XH TW[WP[\¦=QRT8F T\r YiD-HGPHQRYiD-HGg`N¥[WP"qON 2 [WgiHOYzD-H._z[\F:HYiHGgiF-T8g<NbelN 2 QU_o[WPQRP"_aYz[WP"XH TW[WP[\¦=QRT8F T\r T8gN 2 e NQ]_. C%D-HmP-T\YzQRT8PT\,XTWPbWHGgz_iQRT8PI_aYiHGpQ]_ [ c-QRY%FIT8giHoq-Q X^"S YYiT.q-H"P-H8bcHrX[\^_aHoHZq=T.P-T\YD"[ËWHo[WP Hre@^-QR[WSRHGP8YTW,HQUc-P-QU&-_zXsD-HF:HTWgHre@^-QR[WSRHGP"XH8C%Db^"_G-HQRP"q-^"XÕYzQR8HSU`q=HP-H[:_aHY TWp"giTbT\_ XTWP@Yz[WQRP"QRP-V>YiD"H p-giTbTW_%T\,YzD-HTWgzF mdV g m Z 2 g 2 md5HGSRQUF [WP"qXSUT8_iHGq c@`YiD-HT8SRSUTQRP"V:XTWP"_aYigz^"XYiQUTWP"_G©)QR eg 4. . yUz {Qy+{.

(152) {rv.

(153) !"$#%

(154) '&( ) *,+-/.0+1#2 !"$#3.45. Q]_[\PHGSRHGFIHGP@Y%TW J YzD-_HP g 4 . J _ . eg 4. . . . J_ . . _ . . _ Q]_[\PHGSRHGFIHGP@Y%TW Z-[\P"q_iQRF:QUSU[Wggi^-SUHG_T8g%YiD-H TWYiD-HGgoXT8P-P-HGXYiQUWHr_[\P"qe@^"[\P@YiQR"HGgz_G HH¦bYzHP"q YiD"Hq=H"P"Q YzQRT8PT\HSUHF:HP@Yz[Wgi`XTWPbWHGgz_iQUTWP _aYiHGp"_%YzTXTWP_aQ]q=Hgo[WSU_iT:p"[\giYz_%TWp"giTbT\_ TW,YzD-HTWgzF eg 4 g¨HSUQRF [WP"q g 4 g§HSUQRF D"HgzH Q]_[>p"giTbT\T\ o fhgzTW4 pdT8_iQRYiQUTWPJ- J YiD"[\YHWHGgi`:p-gzTbT\)XG[\PcdHOYigs[\P"_aTWgzF:HGqQUP@YiT:[.p"giTbT\)D-HgzHO[\¦=QRT8F:_[\gzHZ^_aHrq QUPXT8P@8Hgs_aQUTWP _kYzHp"_%T8P-SR` _kYzQRSUSD-T8SUq-_G=gzHp-S][WXQRP-VIYzD-H[¦=QUTWF_ J_ . V _ Z g V _ Z. mdV g m Z. cb` . . . . . 5QUP@YigzT eg md5QUg¨ @ P i Y z g T mdV g mZ. f ig T8pT@_aQRYiQUTWP"_OJ= v[WP"q¥J= @ _aYiQUSUSD"TWS]q!OC%Db^"_GdYiD-H:X^-Yz_[\P"qYiD-HIp-gzT@TWhgiHrq=^"XYiQUTWP2p-gzT=XHr_i_mX[\PxcH q-H"P-Hrq[W_hQRPq-H"P-QRYiQUTWPJ= @ [\P"qJ- A-)f giT8pT@_aQRYiQUTWPJ- A_aYiQUSRSdD-T8SUq-_G8YiDb^"_p-giTbTW¢P"TWgzF:[WSRQUG[\YiQUTWP:X[WP cdH p-gzTWHrq[W_%QUPp-giT8pT@_aQRYiQUTWPJ= . . / <. < . ' "#. ) +/' *<=. 6 PŸiD-Q]_:_aHrXÕYzQRT8P HVWQUWH [\P-TWYiD-HGgIXsD"[Wgz[8XÕYzHgzQRr[YiQUTWP¤TWoYiD-HX^-Yz_:[W_z_aT=XQU[\YiHGq YzT¥YzD-HHGe@^"[YzQRT8P"[\S YzD-HT8giÀr l[WSRS YiD-H Hre8^"QR[\SUHPXHOgiHGSU[\YiQUTWPT8P p"giT8pT@_aQRYiQUTWP"_%q=H"P-Hrqcb`1 Q [\P"q TWP-SU`QR,YzD-HgzHQU_ [:XTWPbWHGgz_iQRT8P_aYiHpgzTWF YiT : 5 7 ¯ 6 ¯ ¯ oZ xF "=r A W+1#2Ar a P . .

(155) . {D{ %É |} } ~ }. . . .

(156) {@. # 3 #. " giT8Fp-gzTWpdT8_iQRYiQUTWP2J= v- QU_m[\PHGe@^-QU[\SUHP"XH giHGSU[\YiQUTWPC%Db^"_GH.XG[\PXT8P"_aQ]q=HGgoYiD"H.e@^-T\YzQRHGP8Y T\,XSU[8_i_iHG_T\p-gzTWpdT8_iQRYiQUTWP"_ FIT=q=^"SRT f SRTWY7bQRP-yZP"q=gzHo_e8^"T\YiQUHP@Y ? {Wd{8{ CÕ HOq=H"P-HmYiD-H _z[\F:H q=Hrq=^"XÕYzQRT8P gz^-SUHG_%T8PXSU[8_i_iHG_TW [W_T8Pp"giT8pT@_aQRYiQUTWP"_TW. « §= fhgzTbT\XsD"HGX 7bQRP"V>Q]_q=HGXQUq"[\c-SUHQ Q]_q=HGXQUq"[\c-SUH [\P"q p-gzT@Q]q=HrqHmQUP"q=Q]X[\YiHYzD-H _a^-c_kYzQ Yz^=YiHrqxYiHgzF QUP YiD-HHGSRQUF:QRP[YiQUTWP¤gz^-SUHITWYzD-H^-P-QUWHGgz_z[\She@^"[WP@YiQR"Hg [\Pq¥YzD-HQUP8YzgiT=q=^XÕYiQUTWP¤gz^-SUHITW YzD-H H¦=Q]_kYzHP@YiQ][\Se@^"[WP@YiQR"Hgr H D"[ËWHOYzD-HTWSUSRTQUP-VIHGe@^-QU[\SUHP"XHOgzHG_i^-SRYG 5 7 ¯ 6 ¯ ¯ oZ D# ,]# W+1# 52] lh o +R#1q2&R# P ' #'+1$*#=r ch U "sR/^ DP 5 ¯¯ ` QRP"q-^"XÕYzQRT8PT8Hgp-gzTbT\_kYzgi^"XYi^-gzH H D"[ËWl H r W Q h[\Pq T8P-SU`QR r :C%D-HPQUPYiD-H e@^-TWYiQUHP@YYiD-H[\¦bQUTWF_OT\& r&HQRYiD-HGg D"[ËWH>YiD-HIT8giF Me MZTWlg g :z ;oHGP"XHIYiD"H`¥[WgiHIp-gzTË[Wc-SUH [WP"Wq r a Q [\PqT8P-SR`Q :. « §= 6 PYzD-H.e@^-T\YzQRHGP@YG-YzD-HgzH.[WgiHOHHgO[¦=QUTWF_[\P"qp"giTbT\_[WgiH_iQUFIp"SRHGgG"YiDb^"_p-gzTbT\h_iHG[\gsXsD Q]_OF:TWgzH> H XQRHGP@YG ZP-QRX[\YiQUTWP¥F>^"_aYD"THGWHgmcH:gzHp-S][WXHGq¥c@`Hre@^"[YzQRT8P"[\S^-P-QRX[\YiQUTWP3 6 P"q=HGHGq! [I^-P"Q "HGgoT\YkTIp"giT8pT@_aQRYiQUTWP"&_ [\P"q QU_Z[I_i^-c"_aYiQRYi^-YiQUTW P _a^XsDYzD"[ Y / [\P

(157) q [WgiHOHGe@^"[WSQUP YzD-He@^-T\YzQRHGP@YG=Q5 H8h_a^"XsD YiD[ Y / :. « §= 6 P YiD-He@^-TWYiQUHP@YG%XT8P@8Hgs_aQUTWP _kYzHp"_:gzHS][YzH Q]q=HP@YzQUXG[\Sp-gzTWpdT8_iQ YzQRT8P"_:[\P"qŸiD"H` XG[\P cH gzHF:T8HGq!©h[X^=YZQUPYiD-H.e@^-TWYiQUHP@YoQ]_jk^"_aYm[\PQUP@YigzTbq-^"XÕYzQRT8Pgz^-SUHTWSUSRTHGq cb`[WPHSUQRF:QUP"[YzQRT8Pgz^-SUHW C%Db^"_G-YzD-H.P"T\YiQUTWPTWhX^=YOT\ q=H"P-QRYiQUTWP¥J= @ XTWgzgiHr_apdTWP"q"_YiTYzD-H>_aYz[WP"q-[\gsqP-TWYiQUTWPT\hX^=YIQ4 HWo[WP QUP@YigzT=q=^"XÕYzQRT8P gz^-SUHOTWSUSRTHGq cb`[\PHSUQRF:QUP"[YzQRT8Pgi^-SUHrQUPYiD-He@^-TWYiQUHP@YG 6 % «lT8P"_iQUq=HGg ? {8 { CYiD"H[W_z_aT=XQ][YzQRbQRYk`[¦=QUTWF 4ym . . . . . . . . . . . . . m?kAm m bV k Z ehk V Z. C)T>p-gzTWpdT8_iQ YzQRT8P"_ [WP"q [WgiHZgiHGSU[\YiHGqc@ÌYzD-HmgzHS][YzQRT8P QR,TWP-HOX[WPcdHZTWc-Yz[\QUP-Hrq:giT8F YiD-H TWYiD-HGgcb`[IgiHr[\gzgz[WP-VWQUP-V.TW)c-gs[WX 78HYs_ C%D-H[8_i_iT=XQ][YzQRbQRYk`[¦=QRT8F QU_oHGe@^-QUË[WSRHGP@YYzT . m?kAm m :klV Z%ehk V Z. [WP"qYiDb^"_G-QRPYzD-He@^-T\YzQRHGP8Yr=Q YoQ]_o_i^-c"_i^-F:HGq cb`YiD-H Q]q=HGP8YzQ Yk`[¦=QUTWF m?kukOeJk. H D"[ËWHlr AtQR[WP"qTWP-SU`QR : l[WSRSBMe V)iZ [\P"q NOe ilV ZÕ 6 PYiD"He8^"T\YiQUHP@YrbYiD-H p-gzTbT\ mdVUkOe d V fk?df WZZ md5HGSRQUF M%e NWd V 2 M ?d 2 N Z. . . 2 M ?df 2 N'. k HSUQRF Me N m¤ d HSUQRF. 32! N . 2 4 M £ d 5HGSRQUF. yUz {Qy+{.

(158)

(159) !"$#%

(160) '&( ) *,+-/.0+1#2 !"$#3.45. XG[\PcH_iQUFIp"SRQR"HGq YzT. {0A. 32 4 N . « §= 6 PI_iTWF:HX[W_iHG_GËYiD"HgzHQ]_[mXTWP"^"HP@Y[WP"qP"TWgzF:[WSRQUQUP-VmgiHGgiQRYiH_a`=_aYiHF. gzHgzQRYiQUP-VZp-gzTWpdT\ i_ QRYiQUTWP"_ZYiT HGe@^-QUË[WSRHGP@YOp-gzTWpdT8_iQRYiQUTWP"_m[\P"q2_i^"XsD¥YiD"[\Yw Q [\P"q D"[ËWHYiD-H:_i[WF:H.P-T8giF[\S T8giF -T8gQRP_kYs[\P"XHW-QUPYzD-H H¦-[WFIp"SRH [\cdTWH8=HD"[Ë8HZYzD-H gzHgzQ YzH_i`=_kYzHF . VUk. Z. 8klV -Z. 6 PYzD-QU_ZX[W_iHW"P-TWgzF[\S¢TWgzF_oX[WPcH.XsD"T8_iHP[W_gzHp-gzHG_iHP@Ys[YiQUWHOT\YiD"HQUgmXS][W_z_iHG_G oTWgzF[\SUQRGQRP"V p"giT8pT@_aQRYiQUTWP"_%q=TbHr_%P-T\YoHGSRQUF:QRP"[\YiH X^-Yz_G-c-^=YoQRYYigs[\P"_aTWgzF_YiD-HGFgzHF:TbQRP"V>XT8PbWHgs_iQRT8P _aYiHp_. .

(161) * $ !" # $%

(162) '). * + * $%," # $%&+/ . . . -/ < ' 3= ' < . oH gz_aYq=H"P-Hm[giHGgiQRYiHZ_i`=_kYzHF TWg YiHGgiF_ [WP"qp-gzTWpdT8_iQRYiQUTWP"_ TWD-QUVWD-HGgaTWgsq=Hg SUTWV8QUXYiD"[\YQUSRSdcH ^_aH^-SQUP YzD-HOTWSUSRTQUP-V «

(163) ¯ Q D# , # W+1#' % . #% #n ^0 #2

(164) #2

(165) s " \ \1 ) 1* W+1#. W+1# ^ x452&R ^M: 5 # +R#UF .4&R2. # x \ \1 ) 1O5 8 1A,2 "$# q2&RR y#2 M> > ]W+1#2 5

(166) D, T Û]#]" &R5n ^0 #2

(167)

(168) V'/P . V & 9 > ( k. ZjVV k,-Z V -ZZ. V ) 9 > k. Z-k Z-kOw e 9. u1V ew* 9ck u(V [ * Z [ u1V ]\ * k Z ]Du1VUkTZ * k Z nu1VUkTZQ_ u1V u1V _\ * k Z nu1UV kTQZ b u1V u1V b\ u(V d * k Z nu1UV kTZ dhu1V u(V g * k Z nu1UV kTZ g u1V u(V m * 9 kTZ Om u( V k Z u(V nX* 9ckTZ In u( V k Z {D{ %É |} } ~ }. Z Z Z. Z.

(169) {. # 3 #. ¯76 ¯ ¯ Q T+- m]#% # ^0 #

(170) 5] w&R#2Ry " -. /^z

(171) z/ -.CP 5 ¯¯hym_%YiD-Q]_o_i`=_kYzHF Q]_TWgiYiD"TWVWT8P"[\S5@Q YoQ]_XT8P"^-HGP8Y ? { C5 C)Txp"giT8H:YiD"[\YIQRYIQ]_:_kYzgiT8P-VWSU` P-TWgzF[\SUQRGQRP-V¥Hq=H"P"H[2Yigs[\P"_iSU[\YiQUTWP£TWoYiD-H YiHGgiF_I[\P"q§YiD-H p"giT8pT@_aQRYiQUTWP"_mT\ YiD-HIYiD"HTWgz` QRP@YiT YiD"H>Yk`bpdHGq XT8F.c-QUP"[YzTWgz` S][\P"VW^"[WVWH & )§6 PxHG[8XsD2Yk`bpHN3 H XsD-T8_iH[:Ë[WgiQ][\c"SR+H 9 . k e M9h . & 9 > ( e & 9 > ( ) 9 > e ) 9 > . e * 9 e_V % 9l9 9l9 ZÕ"D-HgzH % 9 e V & 9 9 9 ) 9 9l9 ) 9 9 Z . [

(172) * e_V% +2Z . ] * e V % + ZÕ . _ * e b * e d * e g * e V % ZÕ . m * 9 e n * 9 e_V & 9 9 % 9 V) 9 9 9 ZZÕ . VWMwNQZ e_V M N ZÕ . u1VWMZ e M . Mew9bN e V M9 S9 M N Z 5. . . . [

(173) e . ] e V Z . _ e Jb e d e eg e_V Z . mk e nTkO e HmXsD"HGX 7>YiD"[\YQR!giHGgiQRYiHr_ QRPTWP-HO_kYzHpYzT :8YiD-HGP gzHgzQ YzHG_ QRP[\YSUHG[8_kY T8P-HZ_aYiHGpYiT ,HY6% P0XV X2YFYY=cdH [.gzHGq=^XÕYiQUTWP_iHGe@^-HPXHOQRP YiD-H _i`=_kYzHF [WcT8HW@YiD-H _iHGe@^-HGP"XH %P X XYYFY-Q]_[ ? @. gzHGq-^"XÕYzQRT8P_iHGe@^-HGP"XHQUP YzD-HYk`bpHrqXTWF>c-QUP"[YzTWgzÌS][\P"VW^"[WVWH & ')§bYzDb^"_%Q YoQ]_%"P"Q YzH { 5C 8. . ', ' + ' <. %C D"Ho[¦=QRT8F_T\dYiD-H%YzD-HT8gi` TW¢q=H"P-QRYiQUTWP{8 AmD"[Ë8H YzD-HTWgzF m MejNT8g mnV g mZWc-^=Y [\Pq t[\gzHoP-T\Y%[\SU[Ë`=_h[\YiT8FIQ]Xp-gzTWpdT8_iQRYiQUTWP"_G lT8PbWHgs_iQRT8P:_aYiHGp"_[\P"q:YzD-HoYzD-HT8gi` XG[\PcdHmq=H"P-Hrq[W_ [WcT8HWoTWYiQ]XH YzD"[YOH.D"[ËWHS QR [\P"qT8P-SR`QR [WP"q D"[Ë8H YiD-H>_i[WFIH.P-TWgzF[\S!T8giFTWg YzD-H gzHgzQ YzHO_i`=_kYzHF[WcT8HW fhgzTWpdT8_iQRYiQUTWPxJ- JYiD"[\YOgzTWF [p-giTbTW QRP¥YiD-H>YiD"HTWgz` ¥!H>X[WP¥c-^"QRS]q¥[ p-gzT@TWhD-HgzH>[\¦=QRT8F:_ TW &[WgiHO^"_iHGqQRPXT8P@8Hgs_aQUTWP_aYiHGp"_TWP-SU`_aYiQUSRS!D-T8SUq"_[WP"qp"giT8pT@_aQRYiQUTWP J- v>[\P"qJ= @ [WSU_iT"=[WS YzD-TW^-V8D YzD-H p-gzTbT\)TW,YzD-H"gs_kYpdTWQUP8YoTWp"giT8pT@_aQRYiQUTWPJ= @ Q]_q=QR¡dHGgiHGP@YG . . . . . yUz {Qy+{.

(174)

(175) !"$#%

(176) '&( ) *,+-/.0+1#2 !"$#3.45. {. ¯76 ¯ ¯ Q+o x=v " +1*0#bW+1#b

(177) #O ]\T#2*0#2,5 RT# 5+*0# Wq2&R ) w#j W+1#2b ]

(178) 5 *0#2 8# \ #F .W " # 5 ,&( F" *5 *0#2 8# \ #F . W+1#2 U8 \ #2*# &<,)

(179) '&(02P. 5. ¯¯ -gzTWF [IXT8PbWHgs_iQRT8P_kYzHp giHGSU[\YiQUP-V.YzD-Hp-gzTWpdT8_iQ YzQRT8P"_ [\P"q HOXG[\P c-^-QUSUq[>XTWPbWHGgz_iQUTWP i_ HGe@^-HGP"XHgzTWF BYzTBT8g YiD"HogiHGgiQRYiH_i`=_kYzHF TW¢q-H"P-QRYiQUTWPv"R{8 9bQUP"XHYiD-Q]_h_i`=_kYzHF Q]_hXTWP"^"HP@YG HX[WP£c-^-QUSUq§giHrq=^"XÕYzQRT8P§_aHre@^-HP"XHG_gzTWFf[\P"q YzT¥[p-gzTWpdT8_iQ YzQRT8P >C%D-Q]_p"giT8pT@_aQRYiQUTWP D[W_ YzD-H _z[\F:H:YzTWp-SUH8HSXTWP-P"HGXÕYzQR8HTWgIe@^"[\P@YiQR"HGg.[W_=&[WP"q [WP"q¤H X[\P£c"^-QRS]q§[gzHGq-^"XÕYzQRT8P _iHGe@^-HGP"XHmgzTWF YiD"HmYzTWp-SUH8HS!_i^-c=TWgzF.^"SU[8_TWR [WP"q tYiT>YiD"HmYzTWp-SUH8HS!_i^-c=TWgzF.^"SU[8_ TW I -gzTWF YzD-HG_iHgiHrq=^"XYiQUTWP_aHre8^"HP"XHG_G=H X[WP c"^-QRS]q[:XTWPb8Hgs_aQUTWP_aYiHGpgiHGSU[\YiQUP-VIYiD-HOYiT8p-SUHWHGS_a^"c=TWgzF.^-S][W_ TW [\P"q : C%Db^"_G!YiD"H:X^=Yz_ [WP"q¥YiD-H:p-gzTbT\ gzHGq=^XÕYiQUTWPxp-gzTbXHG_z_X[\PxcHq-H"P-Hrqx[8_OQRP¤q=HP-Q YzQRT8P¤J- @ [\Pq J- A- ^=Y[W_ HO_aD[\SUSd_iHHZYiD-HOp-gzTWpdT8_iQ YzQRT8PJ= Aq=TbHG_P-TWYD-T8SUq[WP"q:YzD@^_@YiD"HmP-T8giF[WSRQUG[\YiQUTWPp-gzTbT\ TW)p-gzTWpdT8_iQRYiQUTWPJ= q=TbHr_P-T\YV8T>YzD-gzTW^-V8D 5. . . -/ -; <. 6 P.YiD-H^"_i^"[\S8TWgzF.^"SU[\YiQUTWPTW-D-QRV8D-HgiTWgsq=Hg)SRT8VWQ]X\rYiD-H%_i^-c"_aYiQRYi^=YzQRT8P.T\d[op-gzHGq=Q]X[\YiHTWg[op-gzTWpdT8_iQ YzQRT8P. [WgiQ][\c-SUHF[Ë`QUP"XgzHG[8_aHOYiD"H.XT8FIp"SRH¦bQRYk`TW)YzD-Hp-gzTWpdT8_iQRYiQUTWP "TWgoQUP"_aYz[WP"XH8"_a^"c"_kYzQ Yz^=YiQUP-V1 di T8g QUP d `bQUHS]q-_ V dfmZ4d V dfmZ C%Db^"_Gbp-gzT@TW,P-T8giF[\SUQUG[YzQRT8PX[WP-P-T\Y%cdHOp"giT8HGq:SUQ 78HmQUPYzD-HOHF:p=Yk`YzD-HT8gi`:T\,"gz_aYaTWgsq=HGgSUTWV8QUXW8cb` ^_aQUP-VIYiD-H[8XÕYYzD"[Y%YiD"HXTWF:p-SUH¦=QRYk`T\ X^-Yop-giT8pT@_aQRYiQUTWP_q-HGXgzHG[8_aHr_ C%D-Q]_Q]_o[\S]_iT>YzD-HX[8_aHQUPYiD-He@^-TWYiQUHP@YG-QR H XsD-T@_aHP-T8giF[WS¢TWgzF:_[8_%giHGp-gzHG_iHP@Yz[\YiQUWHOT\YiD-HGQRg XSU[8_i_iHG_G=[W__i^-c"_aYiQRYi^=YzQRP"V Vd* ZT8Fg kQRPYzD-H p-gzTWpdT8_iQ YzQRT8P u1VUkTZ dhu1VUkTZ. `bQUHS]q-_ VWu1V Z4d u(V ZZ d V u1V Z4dhu1VTZZ 6 P YiD"H"gs_kYi5T8gzq=HGgOTWgzF.^-S][YzQRT8Pp-gzHGq=Q]X[\YiH[\Pqxp"giT8pT@_aQRYiQUTWP [\gzQU[Wc-SRHr_ [\gzHOjk^"_kY[WgiQ][\c-SUHG_TW _iTWgiFY 3JPvYYFYf3TS I[\Pq _i^-c"_aYiQRYi^=YzQRP"V_a^XsD[I[\gzQU[Wc-SUHq-T@Hr_%P-T\YZXsD[\P-V8HmYzD-HXT8F:p-SRH¦=Q Yk`TW [Ip-gzTWpdT8_iQRYiQUTWP -T8gQRP_kYs[\P"XHW-_i^-c"_aYiQRYi^=YzQRP-V V d* ZT8gFkQRPYiD"H p-giT8pT@_aQRYiQUTWP u1VUkTZ dhu1VUkTZ. `bQUHS]q-_ u1Vd * TZ4dhu1Vd* TZ D"QUXsDD"[W_YzD-H_z[\F:H XTWF:p-SUH¦=QRYk`[W_wu1V k Z dhu1V k ZÕ {D{ %É |} } ~ }.

(180) {rw. # 3 #. ^=Yr8YzD-Q]_XTWF:p-SUH¦=QRYk`>F[ËÌcHOQRPXgzHG[W_iHGq:cb`:[.XTWPbWHGgz_iQRT8P_kYzHp8TWgQRP_kYs[\P"XHoYiD"HZp-gzTWpdT8_iQ YzQRT8P [WcT8HOXG[\PcHYzgz[WP"_aTWgzFIHrqQUP@YiT VWu1V Z4d u(V ZZ d V u1V Z4dhu1VTZZ. C%Db^"_GhcdHGX[W^"_iH_iTWF:H [\¦=QRT8F:_>pdHgzFIQRYIYiTxYigs[\P"_aTWgzF [YiT8F:QUX p-gzTWpdT8_iQ YzQRT8P"_QUP@YiT P-TWP= [YzTWF:Q]X T8P-HG_GYiD"H p-gzTWpdT8_iQRYiQUTWP¨J= A2q-T@Hr_IP-T\YID-TWS]q£T8g.YzD-HYzD-HT8gi` [WP"q£YzD-HP-TWgzF[\SUQRr[YiQUTWP£p"giTbT\oTW p"giT8pT@_aQRYiQUTWP¤J= q=TbHr_P-T\Y VWT YiD"giT8^-VWD ;oTH8Hgr!HID"[Ë8H.YzD-H:TWSUSRTQUP-VP-TWgzF[\SUQRr[YzQRT8P¥p-gzTbT\ D"QUXsDQU_Z[\P[Wq-[Wp=Yz[\YiQUTWPT\,YzD-H p-gzTbT\)TW ? 0| C 5 7 ¯ 6 ¯ ¯ Qpw]]m

(181) z/#3 s +R#mW+1# ^ P 5 ¯¯ H[W_z_aT=XQU[\YiHmYiTHG[8XsD _iTWgiYT\YiD-HYzD-HT8gi` [:_aT8gaYTW,YiD"H_a`=_aYiHF GJI ? 0| C_iHH [\S]_aT ? w CÕ . e eb . 3 B e 3 B C)T:HG[8XsDYzHgzF T\ _aT8ga&Y 3 H [W_z_iTbXQU[\YiH[IYk`bpH XT8P"_aYigz^"XÕYzTWg%T\ _aT8gaY 3 QRP GDI . & 9' > ( eK k 3 B ' 7 VVUk Z>V ZZÕ . )19' > e< k 3 B k) . e * 9 eK k lm? 3

(182) VV k Z d V ZZÕ . [

(183) * e\m?k =k, . ] * e i V)i:d V+mk SkTZZ . _ * e i SmkOVVi k Z fk ZÕ . b * e i SmkOVVi k Z V k Z k Z . d * eR i V)i ZÕ . g * eR i V+mk VVVi Z V i(Z kTZ k Z . m * 9 e< k 3 lm 3 V k ZÕ . n * 9 e< k 3 lm VV m 3 VVUk Z -ZZ -ZÕ . VMyNQZ e_V M N Z C)T:HG[8XsD p-gzTWpdT8_iQRYiQUTWPH [W_z_aT=XQU[\YiH[.Yk`bpdH QRbP GDI f giT8pT@_aQRYiQUTWP"_TW)YzD-HOTWgzF u1VWMZ[\gzHOYigs[\P"_iS][YiHrq SUFQ 7WHOYiD-HGQRgo[WgiV8^-F:HP@Yz_G . u1VMZ e M [WP"qYiD-HYzgz[WP"_aS][YzQRT8PT8SRSUTo_YiD"[\YoT\ ? | CTWg%YzD-H T\YzD-Hgp-gzTWpdT8_iQRYiQUTWP"_GbQ4 HW . . . yUz {Qy+{.

(184) {r|.

(185) !"$#%

(186) '&( ) *,+-/.0+1#2 !"$#3.45. . Me 9 N e\mZ 3 VV M Z d V N ZZ .

(187) [ e\m § . ] e d V+m sZÕ . _ eJm OVV sZ sZ . b eJm OVV sZ V sZ sZ . d e . g e\m OVVV Z V Z sZ sZÕ k 3 . m?k e`m? k 3 V sZZ ZÕ . nXkO e`m VV m? C)THG[8XsDp-giTbTWTWh[:p-giT8pT@_aQRYiQUTWP : H.[8_i_iT=XQ][YzH[YiHgzF&QRP GDI¥TWYk`bpdH . T8giF. Hm[8_i_iT=XQ][YzHYiD-HZYiHGgiF [Ip-gzTbT\T\,YzD-HTWgzF. . C)T[:p-gzT@TW T\YiD-H. 4 . 4. 2. =[WP"q:YiD"HZYzgz[WP"_aS][YzQRT8P:TWSUSRTo_ YiD[YTW ? 0| C¢TWgYiD-HOT\YzD-Hgp-giTbTW_@HW V"YiT 4d. P. . 4. £ d HSUQRF. H [W_z_aT=XQU[\YiHmYiD-HYzHgzF V P Z 6[.p-gzTbT\ XTWP@Ys[\QUP"_4 [IX^-4 YYzD-HP YiD-HmYiHGgiF XT8P@Yz[\QUP"_[.gzHGq-H¦[\PqHSUQUFIQUP"[\YiQUP-V.YzD-HX^=YQUP XT8gigzHG_ipdTWP"q-_ 4 YiTgzHGq-^"XQUP-VIYiD-H gzHGq-H¦QUP 4 ,HY P X X2YFYYdcHI[p-gzTbT\ giHrq=^"XYiQUTWP¥_iHG4 e@^-HGP"XHQUPYzD-HYzD-HT8gi` ¥ZC%D-H>_aHre8^"HP"XH P X X2YFYY 4 Q]_ [giHrq=4^"XYiQU4 TW P¤_aHre8^"HP"XH>QUP G I C%Db^"_,c@`2YiD-H_aYigzTWP-VP-T8giF[\SUQUG[YzQRT8PYiD"HTWgzHF T\wG 4 I ? | C4 QRYQU_ P-Q YzHW. « §= 6 P"_aYiHG[8qTW"F[\p-p-QUP-VOcTWYiD [\P q YzT =H%XT8^-S]q TWSUSUT£YiD-H%XSUT8_iHg)YiD"Hp"giTbT\T\ ? |C-[\Pq q-giT8pYiD"H%"gz_aYaTWgsq=HGg,YzHgzF:_G\Q5 H8,Ys [ 78H eZ[WP"q YiTcdH^-P"q=H"P-HrqYzD-HP 3iB e 3 B D"HPcTWYiD 3 [\Pq B [WgiH q=H"P-HGq" Q]_ HGe@^"[WS¢YiT B D-HGP B Q]_oq=H"P-Hrq c"^=Y 3 QU_oP- T\YZ [WP"q QU_ ^"P"q=HP-HGqT\YzD-HgzQ]_aH8 . {D{ %É |} } ~ }.

(188) J. # 3 #. . /', HD[ËWHq=H"P-Hrq¨[2P"T\YiQUTWP¨T\ZX^-Y[WP§QUP8YzgiT=q=^XÕYiQUTWP¨gi^-SUHT8SRSUTHGq¤cb`£[¥XT8PbWHgs_iQRT8P¤_aYiHGp¨[\Pq [WPHGSRQUF:QRP"[\YiQUTWPgi^"SRHË [WP"q[Ip-gzTbT\,gzHGq=^XÕYiQUTWP p-gzTbXHG_z_hT8g[.S][\gzVWHOXS][W_z_TW,YzD-HT8giQUHG_GbQRP"XSR^q=QRP"VI[WSRS Hre@^"[YzQRT8P"[\S@YiD"HTWgzQUHG_[\P"qI[m"gs_kYi5T8gzq=HGg,T8giF>^-S][YiQUTWP>T\dD-QRV8D-HgiTWgsq=HgSRT8VWQ]X xyZS YzD-TW^-V8D.YzD-Hp-gzTbT\ gzHGq-^"XÕYzQRT8P£p-giT=XHG_z_ QU_YiD-H _i[WFIH8YiD-HP"TWgzF:[WSRQUG[\YiQUTWP¤p-gzTbT\QU_>q=QR¡dHGgiHGP8Y.TWg.Hre@^"[YzQRT8P"[\S YzD-HT8giQUHG_ [WP"qxYiD-HYiD-HGTWgz` ¥C%D-HP"TWgzF:[WSRQUG[\YiQUTWPxTWgHre@^"[YzQRT8P"[\S YzD-HT8giQUHG_QU_.p-giT8HGqxcb` [WP HGSRHGF:HP@Yz[Wgi` gzHGq-^"XÕYzQRT8P YiTZ"gz_aYaTWgsq=HGg,SUTWVWQ]X QRYiD>HGe@^"[\SUQRYk`W `>L ==q=HS __iHGXTWP"qQRP"XTWF:p-SUHYzHP-Hr_i_,YiD-HGTWgzHFrYiD-HGgiH Q]_%P-T_i^"XsDgiHrq=^"XÕYzQRT8PT8g%YiD-HYzD-HT8gi` ¥ fhSUT\]Y 7bQRP= yoPq=giHGo_e8^"T\YiQUHP@YpHGgiF:QRYz_ YiT giHGF:TWHYzD-H XTWPbWHGgz_iQUTWP _kYzHp"_[WP"q VWQUWHr_ [WP-T\YzD-Hg XsD[\gs[WXÕYzHgzQRr[YzQRT8P TWmX^-Yz_G§C%D-H P"T\YiQUTWP T\ZX^=YQRP@YigzT=q=^"XHGq£D-HGgiHXT8gigzHG_ipdTWP"q-_YiTxYiD-H_aYz[\Pq-[\gsq P"T\YiQUTWP¨T\mX^=Y2Q5 H8§[\P¨QUP@YigzT=q=^"XÕYzQRT8P§gz^-SRH TWSUSUTHrq£cb`¤[WP¨HGSRQUF:QRP"[\YiQUTWP gi^-SUHr.QUP§YiD"He@^-TWYiQUHP@YG C%D"QU_ H¦=p-SU[WQRP_[gzHS][YiQUTWP cdHYkHHP¤YzD-HP-T8giF[WSRQUG[\YiQUTWP T\p-gzTWpdT8_iQ YzQRT8P"_ [\P"q YzD-HP-T8giF[WSRQUG[\YiQUTWP TWp-gzTbT\_G© P-TWgzF[\SUQRGQRP"V TWp-gzTWpdT8_iQ YzQRT8P"_ q=TbHG_P"T\YHSUQUFIQUP"[\YiHX^=Ys_c-^=YQRY Yigs[\P_kT8giF_mYiD-HGF cb` gzHF:TbQUP-V.YzD-HXT8PbWHgs_iQRT8P_kYzHp"_G "giT8F YiD"HpT8QRP@YoTWbQUH T\ p-gzT@TW)P-T8giF[WSRQUG[\YiQUTWP-q=H"P-QUP-VD-QUVWD-HGgaTWgsq=HGgSUTWV8QUX[8_o[q=QR¡dHGgiHGP8Y SUTWV8QUXT8g[W_[ "gs_aYaTWgsq=HgIYiD"HTWgz` q-T@Hr_P-TWYF:[\YaYzHgcdHGXG[\^"_iHYiD-HkD"[Wgzq p"[WgaYa YiD[Y XG[\P-P-TWYcH XG[\gzgiQUHGqTW^=YQUPD-QRV8D-HgiTWgsq=HgSRT8VWQ]XOQ Ys_aHGS YzD-H P-TWgzF[\SUQRr[YzQRT8PT\% GDI¢Q]_%YiD"H_i[WFIHOQUPcdT\YzDX[W_iHG_G $#+$o

(189) $>) L / C%D"H.[\^=YzD-TWgZYiD"[W1P 7=_ofHYzHgyoP"q-giHGo_oD-TpdTWQUP@YiHrqTW^=Y[F:QU_aYz4[ 7WHQUP¥[p"giHG@QUTW^_WHGgz_iQRT8PT\ YiD"QU_ p[\pdHgr &$$%$ /$ ? { C f OdyoP"q=gzHo_G-nHr_aT8SR^=YzQRT8P QUPYk`bpHYzD-HT8gi`8 +R#- &( Jx ^

(190) N, /5+ D]. 5"v -vk{G| b{Ë p-p @ { @ @ v8J- ? 0J C f OyoP"q-giHGo_.yZPtQUP8YzgiT=q=^XÕYiQUTWPYzTBF[YzD-HF[YzQUXG[\S>SRT8VWQ]X£[\P"qYk`bpdH£YiD"HTWgz`¢©BYzTBYigz^=YzD YiD"giT8^-VWDp-gzT@TWk (,5 $"4#2

(191) 35 w# Õ giS][\Pq=Ta{G|8w ? v CyblD@^"gzXsD\y T8giF>^-SU[\YiQUTWP>T\"YzD-Ho_iQRF:p-SUHYiD-HGTWgz` T\"Yk`bpdHG_G T+1#(&( TRx; ^

(192) N, 5 J]. 5 Ak{r| @ 8 p-p A w- ? @ C £ O[ËbQU_G( 6 PbbQ YzHGqXT8FIF:HGP8Ys[\gz`:YiT ? {G0v C w]5 # # " . x W+1#wx 8#2 ) J # "$# ) 3 x

(193) z w5 # .

(194) .4# s oT8gaYzD=8 ;ZTWSUSU[WP"q¥a{G| w8 ? A0C.LI ZT2H 7¢!lTWSUSRHrXÕYiQUTWP_Yk`bpHr_m[WP"q_aHYz_G! n +R#

(195) z5 &R52)&(#:

(196) `\T&(8#2)Q5#2 5 # YzT[\p-pdHG[Wgs ? Cm; O hP"q-HgiYiTWP,y F:[\YiD-HGF[YiQ]X[WS QRP@YzgiT=q=^"XYiQUTWP YiT SUTWV8QUXWS (5 4"$#

(197) '5sw]# Õ> oHG% hT8g 7 k{r| WJWÕ . . . . . yUz {Qy+{.

(198)

(199) !"$#%

(200) '&( ) *,+-/.0+1#2 !"$#3.45. J-{. ? CL[\SUSRQUHgr T8VWQ]XZQUPXT8FIp"^=YiHGgo_iXQRHGP"XH8\R#23T", 'oHG%hT8g7¥a{G|8w ? w C . ; LOH^-8Hgs_ £ ZHGq=HGgiD-TWkyF:T=q=^-S][\g:p-gzTbT\mTWO_aYigzTWP-V P-T8giF[\SUQUG[YzQRT8P ( &( ` B&( 52) Tw].

(201) 3

(202) ' ..J={k{r|W|"{r p-p{0A4AËs{Gw8|- ? | C I LOQUgs[\gsq! 6 P@YiHgzp-gzNYs[YiQUTWP T8P"XÕYzQRT8P-P-HGSRSUH HYMNGSRQUF:QRP"[\YiQUTWP q-HG_MXTW^"p-^-gzHG_ q"[\P"_ S [WgiQRYiD-F:NYiQ]e8^"Hq T8gzq-giH_a^"pNGgiQUH^-gr T+ 2#'"

(203) w 5 oP-QUWHGgz_iQRYiN q=H f [\gzQU_ a{G|WJW ? { C SUTWp

(204) .[\P T8_aYigzTWFoË[WP no[8[\F_zq=TWP1¢7 OlT8F.c-QUP"[\YiTWgz` giHrq=^"XÕYzQRT8P _i`b_aYiHGF_© QUP8YzgiT=q=^XÕYiQUTWP[WP"q _i^-gzWHG`W T+1# #25]

(205) `\T&(8#2 T52#T5 # {ËJ={:k{r|W|Wv@hp"pJ\| v 8w- ? {W{ C LI-fhSUT\Y]b7 QRP ^"QRS]q=QUP-V\QRPHre8^[YiQUTWP[\SdYiD-HGTWgzQRHr_?n$5]+( # x 8#2 /. #T5]# a{G|WJW p-p \v | ? {rJ0C >-fhgs[ËQ YzW'Z[\Yi^-gs[\S!q=Hrq=^"XYiQUTWP-y p-gzTbT\5YiD-HGTWgzHYiQ]X[WSd_aYi^q=`W-yZSRFe@bQU_aY QFb7 _iHSUShk{r| WA Õ ? {Gv C y.dnT8c-QUP"_aT8P oHtq-QRgzHGXYiQUTWP"_ZQRPF:HGXsD[\P-Q]X[WSYiD"HTWgzHF&p-gzTbQRP-VTw]5 # # " . 'W+1 # x ! # T D# "4#2' x

(206) z w5 # . -. # Õ oT8gaYzD=8Z ; TWSUSU[WP"q¥a{G| w8 ? { @ C ËC[\QRYG06 P@YiHGP"_iQRT8P"[\S\QUP@YiHGgip-gzHYs[YzQRT8P T\b^-P"XYiQUTWP"[WSU_,T\="P-QRYiH Yk`bpHÕ6 (&( T(x ^D

(207) ,] 5. D.45 dv8J-"J a{G| \ p-p,{G|Ww\ J-{rJ- . . {D{ %É |} } ~ }.

(208) Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex. ´ Editeur INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)

(209). ISSN 0249-6399.

(210)