An explicit $Eta$ rewrite rule

(1)

HAL Id: inria-00074258

https://hal.inria.fr/inria-00074258

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished 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.

Daniel Briaud

To cite this version:

Daniel Briaud. An explicit Eta rewrite rule. [Research Report] RR-2417, INRIA. 1994. �inria-

00074258�

(2)

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

An explicit

rewrite rule

Daniel BRIAUD

N˚ 2417

Novembre 1994

PROGRAMME 2

(3)

(4)

"!$#&%('*)+-,.

/ 0214350768-8*9&:<;>=?6@BA7CD@FEHG$8(IJ14@LKBM4CD95N4OD0H15350768*86QP2KR14ST9P?3U9SDKR9V@R1535KBA7KR9@

/ 0H1W79P&XYCD029AZ6

[&6\ODOJ1402P?]$9^0H9AH_D90`AH_D9aS^bc:\dJef;>g?1h498(ID0H9Tei4id<;j:4k^OJ6\359E

lnmopQqrJsp4tvuwSxP2_DKREy029Oz150HPN{99}|~PH9SJ]~A6\@BA7CD@RK1\97|DOD@RKBA7KRPyE2CDIDEHP2KRP2CP2KR15SDE(I$G6\S`0HCD@R959]~1PH_DKRETKRSPH_D9

0`68*9{1502(1\JFN6-~A6\@BA7CD@RCDE&1\97|DOD@RKBA7KRP?E2CDIE2P2KRPHCDP2KR15SEKRS$P20H1D]$CJA79]IcG9E`A6\SDSD9.7ei5i\dc?6\SJ].P2_150214CD35_@LG*E2PHCJ]$KR9]

I$GF9ZE`A6\SDSD9-6Sz][?14CDG590934@RK`eQi5i\dc?_D9^8.6KRS*"96\P2CD0H9T1\YEHCJAH_6-A6\@BA7CD@RCDE&KREP2_J6\PPH_D9(A7@B6E2EHKBA6@ z2A715S$P20765A7PHKR15S

KRE97|DOD029ZE2E29Q].I$G-6VJ0HE2P140`]$90P290H8029Z{?02KRP2KRSD3(EHGcEHP298CD0?8.6KRSy029EHCD@RP?KLEP2_99}|~O@LKBA7KRP76P2KR14S(1PH_D9 \2A715S$PH0`65A}P2KR15S.I$G

8*96SE¡1F6SyCDSJA714SJ]$KRP2KR15Sz6@wN4¢\£Z¤J£Z¥¦"§ `V0H9{?02KRPH9?02CD@R9?6SJ]<1¨6\ST9}|~PH9SDEHKL14S(1JPH_D9?E2CIDE2PHKLPHCDP2KR14S©A6\@BA7CD@RCDEN4F/ 029ZhcKR14CDE

]~97JSDKRP2KR14SDET1\`60H9]$CD9.P21ª&6\0`]$KRS«7ei4i5:5<6SJ]x[^U

¬

15E(7ei4i55<KRSP2_D9*"0768*9{14021z®AZ6@BA7CD@RKw?_D9*OD02KRSJA7KROJ6\@

]~K°¯F90H9SJA79IJ9Pw{99Sz-6\SJ]Tz®2A6@BA7CD@RKFA715SzA7902SE&A715S$±zCD9SJA79V6SJ]yEHP20H15SD3^S15028.6@RKR²6PHKR15S?³z(KRE340214CDSJ](A714S$±JCD9S$P?6SJ]

KRPHEEHKL8*OD@RGTPwG$Oz9]*h590HE2KR15S*KREPH9028*KLSz6P2KRSD3zN5{?_9SD9h490z®$´$2A6@BA7C@LCEKRE&A714S$±JCD9S$P?14S-15Oz9S.P29Z028-EIDCDP?S15S-PH9028*KRSJ6PHKLS3

14SPwG$Oz9]P29Z028-EQuwSPH_D9KR0({1402FNª607]$KRSµ6\SJ][<U

¬

15EyOD029EH9S$P`02CD@R96E-6\S97|DP29SDEHKR15S1^ 2A714ScPH0`64A7P2KR15S?_D9KR0

9}|~PH9SDEHKL14S-KRE6VA714SJ]$KRP2KR15Sz6@D0H9{?02KRP2902CD@R9V6SJ](]$1$9ESD14PE2PHK¶AH<"CD@R@RG^P21<P2_D9OD_DKR@R15E214OD_$G^1¡9}|~O@LKBA7KRP E2CIDE2PHKLPHCDP2KR14SDE uwS(14CD0

6\ODOD0H1c65AH_¡NzPH_D9©`w02C@L9yKRE6©J02EHP140`]$9Z0^029{?0HKRP29y02CD@R9y{?_DKBA2_·CDE29Ey6S97|DOD@RKBA7KRP&EHCDIDEHP2KRP2CDPHKR15SA6@BA7CD@RCDEQ^¸D140&PH_J6PQNJ14SD9

S99]$EP21(KRS$P2021D]$CzA79^6ySD9{¹A715SDEHP`6\ScP<º»PH_J6P&]$9ZSD15PH9E6\SCSDE2Oz9A7K¼J9]P290H8 uwP2E?Iz9_J6Qh$KR15C0?KLE?]$9E7A702KRIz9]·IcG.6^0H9{?02KRPH9

0HCD@R95V?_DKRE&0H9Oz1502P<E2_D1{?EQNFKRSP2_D9y15S9T_J6\SJ]FNz_D1{¹PH_D9©`w02C@L9(6EHE21DA7KB6PH9]·{?KLPH_z6SJ].PH_D9y02CD@R9<"150<º½OD021h$KB]$9E^6

A}15020H9A7P^KR8*OD@R98-9S$P76P2K¼15S*1P2_D9( \0H9]$CJA}P2KR15S6SJ]·E2PHCJ]$KR9EV15PH_D90VOD0H15Oz902PHKL9ZE^1PH_D9(JD \2A6@BA7C@LCE[email protected]~±JCD9SJA}9

14S.350214CDSJ].PH9028*E6\SJ]*E2P20H15SD3*SD150H86\@LKRE76P2KR14S(15SPwG$Oz9].P29Z028-EQ&SP2_9T14P2_D90_J6Sz]FNzP2_DKRE?97|DOD@RKBA7KRP`*@R964]$E&PH1- 5¾6

h4902G(349SD9076@ 6@RP290HSJ6PHKRh59&PH1TPH_D9^A7@B6EHE2KBA6@¡ z uwSJ]~99]FN{9OD021h49&P2_z6P& 4¾¡6@R@R1{?EA714S$±JCD9S$P&A714S$P20`64A7P2KR14SDE?{?_DKBAH_60H9VSD15P

AZ6ODPHCD029]IcG-A}@¶6\E2EHK¶AZ6@ z

¿*À$ÁFÂ2Ã<ÄJq5Å o\tÆ~2A6@BA7CD@RCDEQND97|DOD@RKBA7KRPE2CDIDEHP2KRP2CP2KR15SDEQNJ \w029]$CzA7P2KR15S

ÇBÈ(É

ÊËwÌÍ

É

Ê Î ÏRËwÐÑ}Ò

Unite´ de recherche INRIA Lorraine

Technoˆpole de Nancy-Brabois, Campus scientifique,

615 rue de Jardin Botanique, BP 101, 54600 VILLERS LE`S NANCY (France) Te´le´phone : (33) 83 59 30 30 – Te´le´copie : (33) 83 27 83 19

Antenne de Metz, technopoˆle de Metz 2000, 4 rue Marconi, 55070 METZ

Te´le´phone : (33) 87 20 35 00 – Te´le´copie : (33) 87 76 39 77

(5)

ÀDoÀxt V6SEA}9-0`6\ODOz1502PQNFSD14CDEU9PH9SJ]$14SDET@R9E^~AZ6@BA7CD@RE6*E2CIDE2KRP2CP2KR15SDE<97|DOD@RK¶A}KLPH9ET6Qh49A^CSD9(0934@R9-`z¡g?14CDE

@97¯F9A7PHCD15SDE(]D6\SDE^@R9-A65]~029]~9-JFN CS$2A6@[email protected]97|DOD@RK¶A}KLPH9(KRScPH021D]$CDKRPÔz60T9EÀ6\SDSD9·èi4id$&9ZPU9PHCJ]$KQU9

9ZSµ]U9P`6\KL@?Oz60(F9E7A6SDS99P-[ 15CDG490w2935@RK`eQi5id$ ¡6A6\0`64A7PDU90HKRE2P2KBM4CD99ZE2E29ZScPHKR9@R@L9]CDSPH9@&A6@BA7C@&9EHP(@97|DOD0H9E2EHKR15S

]~9-@B6.z2A715S$P20765A7PHKR15SA}@¶6\E2EHK¶M4CD96@6KB]$9(]CDSEHGcEHP98*9]$9*0DU9FU9QA702KRP2C029]$9.PH9028*9ET]$CxOD0298*KR90^1507]$0294g?15PH029.0DU9ZE2CD@RP`6\P

O02KRSJA7KROJ6\@5A715SDEHKRE2P299S^@97|DOD@RKBA7KRP`6\P2KR15S&]$9 @¶6 \A}15S$P20765A7PHKL14ST6CV8*1G59SV]CDSD9 0934@R9]$90DU9¨U9A70HKLPHCD029&`?SD14S$A}15SJ]$KRPHKL14SDSD9@R@R95N

¢£Z¤£¥Z¦D£ 9P?]CDSD997|DP29SDEHKR15S]$CAZ6@BA7CD@F]$9VE2CDIE2P2KRPHCDP2KR15S.FDF9ZE?OD0DU9AzU9]$9S$P29ZE]U97zSDKRP2KR15SDE?]$9^`<E214ScP?]CD9ZE6Tª60`]~KLS

7ei4i5:59P[^U

¬

15E`eQi5i45 ]D6SE@R9?A65]$0H9]$9ZE z®AZ6@BA7CD@RE$¡6OD0HKRSJA7KROJ6@R9&]$K¼¯U9029ZSJA79V9S$P20H9&@R9EA6\@BA7CD@REz(9Pz®.A715SzA7902S9@B6

A}15S$±JC9SJA799P@B6 "150HP29SD150H86@RKRE`6\P2KR15S(³5zy9EHP A714S$±JCD9ZScP E2CD0@R9E P290H8-9EA}@L14E 9PE`6h590HE2KR15SyE2KR8-O@L9Z8-9S$PFPwG$O?U99P290H8-KRSD95N

6\@R1502E?M4CD9z®~´J9E2P&A}15S$±JC9S$P?E2CD0?@R9E?PH9028*9E14CDh59Z02P2E86\KLE SD9VPH9028*KLS9&OJ6\EEHCD0?@R9E?P290H8-9E?PwG$O?U9ZEDV6SDE?@R9C02E?P2076Qh56C$|¡N

ª607]$KRS9ZP[<U

¬

15E&]U97zSDKRE2E29ZScPV@B6y09Z35@R9T`.A7148-8-9?CSD9T9}|~PH9SDEHKL14S]$9y@B6( 2A714ScPH0`64A7P2KR15SJF9ZCD0V97|DP29SDEHKR15S9EHPVCDSD9^0935@R9

A}15SJ]$KRPHKL14SDSD9@R@R9^9P<SD9(029EHOJ9QA7P29.OJ6\EPH15P76@R98-9ZScP@B6-O_DKR@L14E214OD_DKR9T]$9E<E2CDIDEHP2KRP2CP2KR15SDE<97|DOD@RK¶A}KLPH9E6\SDEVSD15PH029-6\ODOD021DAH_D95N

@B6<0934@R9T`(9ZE2P&CSD9^09Z35@R9^]$9^0DU9FU9A702KRPHCD029(]$COD0H98-KR90?140`]$0H9^M5CK¡98*OD@R15KR9&CDSA6\@BA7CD@]~9^E2CDIE2KRP2CDPHKR15SDE?97|DOD@RKBA7KRP29ZEJ/14CD0

A}9@B6DN$15S*KRScPH021D]$CDKRPCDSD9VSD14CDh59@R@R9A}15SDEHP`6S$PH9Tº¹M4CDK¡]U9SD14P29VCDS.P29Z028-9SD15S~EHO 9A7K¼&UU 95! $15SA7148-Oz150HP298*9S$P9E2P&]U9A702KRP?OJ6\0

CSD9&0935@R9^]$9&0DU9FU9A70HKRP2CD0H95F=9&0`6\ODOz1502P?8*15S$P20H95N5]CDS9&OJ6\02PNDA}158-8*9S$P`(6EHE21DA7KU99^J*9P6@¶60934@L9^]$9<º«"14CD02SKLP CDSD9

KR8*OD@U98(9S$P`6\P2KR15S-A714020H9A7P29-]~9^@B6( w0DU9Q]$CJA7PHKL14S¡NzODCDKREU9ZP2CJ]$KR9(]$9EOD0214OD02KQU9PDU9ET]$CzD \A6\@BA7CD@wN¡A"9EHPw6Q2]$KR0295Nz@B6(A715S~±JCD9SJA}9

EHCD0@L9ZEP290H8-9E?A7@R15E9P@B61502PH9&SD14028.6@RKRE`6PHKR15S^]$9EP290H8-9EPwG$O?U9EQD6\CDP20H9?OJ60HPN$A79P2PH9^`^9}|~O@LKBA7KRPH9A714SJ]$CDKRP6^ 4¾wN4CDSD9

6\@RP290HSJ6PHKLh49#6( *M5CKFE29^0DU9h$9@R9^OD@RCDE?3U9ZS 90`6\@R95JX S.97¯F9PQNJS15CDE?OD0H15CDh415SDE&M4CD9^ 4¾¡6CP2150HKRE29T]$9ZE&A715S$P20765A7PHKR15SDEVA715S$±zCD9S$P29EU

M4CDKFS9EH15S$P?OJ6\E&A6ODPHCD0DU9Z9EVOJ60?@B6y -A7@B6EHE2KBM4CD95

% ÄzpoÂ7s"&'Àt~AZ6@BA7CD@wNDEHCDIDEHP2KRP2CDPHKR15SDE?97|DOD@RKBA7KRP29ZENJ \w0DU9]~CJA7P2KR14S

(6)

YT ?n

?_9T8.6KRS*"96PHCD029y1&6-~2A6@BA7CD@RCDEV1\ 97|DOD@RKBA7KRP&EHCDIDEHP2KRP2CDPHKR15SDE^KREP2_J6\PPH_D9-A7@B6EHE2KBA6\@zA}15S$P20765A7PHKL14SKREV97|DOD0H9E2EH9]I$G6

z02E2P140`]$9Z0(P290H8029{?0HKRP2KRSD3E2G$E2PH98 uwSxP2_DKREy{ 6QG$NFE2CzA2_«~AZ6@BA7CD@RK?A715SJA}CD0(P2165AH_DKR9h49=CD0H02GETOD0H15340`68 w= 6OOJ9S~

]~K°|VzuwSJ]$99Q]FNF15S9©6\KL8 {?6EVP21nJSJ]6y"CD@R@RG*"150H86\@LKR²9Q](OD0H9@R1535KBANFA714SDE2PHKRP2CDPH9]1 6nP2_D9Z1502G·1EHCDIDE2PHKRP2CDPHKL14SSD15P^6

8*9P`6\P2_D9Z1502GDV6Sz]6-PH_D91402G1&PwG$OJ9ZE?Oz15S=CD0H02G$NFP2_D9Z0296\029(Pw{1*"150H8-EV1?E2CJAH_6.O029@R1534KBA ³¡=158(IDKRSJ6\P21402G1534K¶A

{?_K¶AH_KRE^[email protected]]x$2A714Sch4902EHKR15S{?_DKBAH_KRE^KRScPH9028*9]$KB6PH959TPH_DKRSD ~2A6@BA7CD@RCDEy1&9}|~O@LKBA7KRPVE2CIDE2PHKLPHCDP2KR14SDETKRET6\E

C@LPHKR86PH96E?=158(IKLSz6P21402G^F1435KBANICDP8-14029?KRS$P2CDKRPHKLh4955ª KLEHP21402KBA6@R@RG$N9}|~O@LKBA7KRPEHCDIDEHP2KRP2CDPHKR15SDE{9Z029?z02E2P?]$9EHKR35SD9]nI$G©9

02CKW}S]f ICDP?{?KRP2_6(A702Cz]$9^P29Z028-KRSD14@R1535G$?_D9ZG_z6Qh59VIJ9Z9S864]$9&Oz15OCD@B60?8-14029029A79ZScPH@RGI$G&IJ64]$KwND=?60`]~9@R@LKwN

=C02KR9S6SJ].VU9h$G&=?=?¡ie2

?_9E29(6CDPH_D150HE&OD0H9E29ZScP^z® NF6($2A6@BA7C@LCE&197|DOD@RKBA7KRP&EHCDIDEHP2KRP2CDPHKR15SDE{?_DKBA2_·KLE&6n029EHCD@RP&1\ 6\S6@R8*15E2P?]$9AZ65]$9y029EH9607AH_

{150HFJ?_9(E2P`6\02PHKLS3OJ14KRScPVKRET=?=? N¨AZ6P29Z35150HKBA6@?A7158(IKLSz6P2140&@R1534KBA=CD04$N=CD0 \I¨N=CD0! 56"2N¡6.A7148(IDKRSJ6PH150HG@R1435KBA

8*150H9^KRScPHCDKRP2KRh59yP2_z6SP2_9-A7@B6E2EHKBA6@14SD95uwSJ]$99Q]FN¡KRPVKRE^IJ6\E29]14S$2A6@BA7C@LCE^{?KRP2_A60HP29EHK¶6\SOD021D]$CzA7P2E(6SJ]499ODE<KLPHE

EHP20HCJA7P2C0295Fª&6\0`]$KRS#ª605f$NDª&6\04i"¡E2PHCJ]$KR9].A714S$±JCD9SzA79^15S*15Oz9S.P290H8-E1 P2_DKRE?A6@BA7CD@RCDEQS-KR8-Oz150HP`6S$PA}15S$P20HKLICDP2KR15S

PH1{ 6\0`]·97|DOD@RKBA7KRP^E2CDIE2P2KRPHCDP2KR15SE^KRE^P2_D9.$\AZ6@BA7CD@RCDEQN%=CD0 I&E2CDKRPH9]"140V{96\0H9]$CJA}P2KR15S¡ uwP<_J6E^Iz99Sx97|DP29Sz]$9]xP21

z®'&=?=?¡iDe2 ª&6\0`]$KRS6Sz]F9h$G]$9EHKR35SD9]xJ®~´(ª)5i 2NFPH_$CDE©64AH_DKR9h$KLS36SKR8-Oz150HP`6\ScP351$6@5³ A715S~±JCD9SJA}914S15Oz9S

PH9028*E)*CDKB]$9]I$GKR8-OD@R98(9S$P76P2KR14S340214CDSJ]$EQN P2_DKREV6\8-KR@RG-1\A6@BA7CD@RK029EHP2Ey"0H158 P2_D9*IJ934KRSDSDKRSD314SP2_D9.A715SJA}9ODP(1

A}158-Oz15EHKRP2KR15S(1\E2CIDE2PHKLPHCDP2KR14SDE

uwSP2_KLEVOJ6\OJ9Z0NF{9({?KR@L@{1402KRSJN¡6*029A79ZScP(~A6\@BA7CD@RCDEV1?97|DOD@RKBA7KRP&E2CIDE2PHKLPHCDP2KR14SDE^KRS$P2021D]$CzA79]KRS+F9E7id, 6SJ]·P2_1

0H15CD34_D@RG&EHP2CJ]$KR9]<KRS-¡[i\dc6.2«_J6\PAH_J6\0`65A}P290HKL²Z9EP2_KLE A6@BA7C@LCEKREP2_J6\P¡P2_9EHCDIDE2PHKRP2CDPHKL14STA6\@¶A}CD@RCDE^KRE6\S^150HP2_D143514SJ6@

0H9{?02KRPHKLS3EHG$E2P29Z8{?_DKBAH_]$1$9ETS15PV86\SJ6349©A7148-Oz15EHKLPHKR15S1\ EHCDIDE2PHKRP2CDPHKL14SDE FKR49T8*15E2P^~AZ6@BA7CD@RK1\&97|DOD@RK¶A}KLPVEHCDIDE2PHK¼

PHCDP2KR14SDENFzCDE29Ey&9/0HCDKW7SKRSJ]~K¶A}9E"150P290H8-E]f4: 2NJIz934KLSSDKRSD36\P©e 9^029AZ6@R@P2_9TEHGcS$P76Q|1&$wP29Z028-E{?KRP2_9

02CKW}SKRSJ]~97|D9E¡³

0*À!123"p"3BÄ4265879;:=<?>~£A@£9½¦@BC>~£A@£¢\£Z¤J£Z¥DE£F-G HI

J À$q"o ³R³K L Mz$NMzz

O*rDp qr &oPL ³R³K LRQ eSMFe!T

<F£Z¥VUW@WXZY[9\D¥`£y§D]^R£F_ $¥`£A£Z¥VU`@Va

ª 1{½]$1$9E^J·ID0H96.P2_9Tz2A715S$PH0`65A}P2KR15SBb(¸¡KR0HE2PNzPH_D9T0HCD@R9RcWd}`A70H96PH9ET6(EHCDIDEHP2KRP2CDPHKR15SE2P214029]·KRS6-A}@L14E2CD0H9©]~9SD15PH9]

I$G&c³

cWd}` zcegf 4heVi"

?_9S¡N02CD@R9Ey1&w= ?J35CD0H9eQ]~KLEHP20HKLICDP29*P2_DKRE^EHCDIDE2PHKRP2CDPHKL14S6\SJ]6ODO@LG·KLP<P21KRSJ]$9}|~9ZE?_D9-0HCD@R9EjEc`d7`lknm6\029

]~97JSD9]15S-PH_D9V"14@R@L1{?KRSD3VEH9P&1\P29Z028-E[9?F³

J À$q"o ³R³hK L MD$#M$J#M$ho.

p mop"3p pV3"Ä42o o ³R³hK iSM`qroQRMAs

O*rDp qr &wo L ³R³hK LRQ e-MzeT

¸15097|J68-O@L94NDwt?TulTt4u5vDNF]$9S15P29Q]wFwJ: e He KRS9A 02CKW}S-SD14P`6PHKR15S¡N$KRE&A714ScPH0`64A7P29]IcG..6E"14@L@R1{?EF³

(7)

Z9P765 zce f 4heVi"

C&ODOJ weVho. f 4hoe]ho.

w¡68(IF]D64 z$Vho. f 4qFroQC"

w¸ 60` e i"f

w[ 6\0` LRQ e i"f L

w¸ 60`K¼"P` e qFZor f e

w[ 6\0`FK¼"P7 L/Q«e qFZor f L ho s]

60 $_DK¼"P` L s]f L/Q»e

¸KR35CD0H9©e4³$?_D9V029{?0HKRP29^EHGcEHP298z

wFwJ: e He

wJ: e Re iE

2w: e VqV`e i5r" 0HCD@R9 D,U GFD

: qV7e i5Ce qV`e i4C" 02C@L9

`e Re i" s]"?e 02CD@R9ED\¥¦Y !D¥ ¦Y

`e s,e 02CD@R9!D¥

: e 02C@L9"D\¥#>$¦Y

uwPHE4wSD150H86\@$"150H8NQSJ6\8-9@RG^Fw: e ZN5KRE9M4CDKRh56\@L9ZScP PH1TulThvRu59?8.6QG \w029]~CJA79&KRPPH1RvD4uwSJ]$9Z9]FN4P2_D9OD0`64A7P2KBA6\@J0H96EH15S

150^]$97JSKLS3 \w029]~CJA7P2KR14SA7158*9E?"0H158 P2_D9(SJ6\P2CD076@ 9M4CJ6\@LKRPwGwt?T%$tz2 K'&($zK¼;t_J6EVSD1*"0H99(1DAA7CD0H9SJA79ZE(KLS"$FuwP

A}158-9ZE"0H158PH_D9V{?KRE2_.P21y86\59?9M4CJ6\@¡Pw{1^"CSJA7P2KR14SDE?{?_DKBAH_-Iz9_J6Qh59VPH_D9^E`6\8-95N4P2_z6P?KRE{?_K¶AH_.029ZP2CD0HSP2_D9VE768-9029EHCD@RP

{?_9S6ODOD@RKR9]nP21(P2_9^E`6\8-9&Oz60`6\8-9PH90"97|DP29ZSDE2KR15Sz6@¡9QM5Cz6@RKRPwG~Z$?_DKRE?KREPH_D9^0214@R91\Y \2A715S$P20765A7PHKR15S^³

4t)T%$4tJ

)

*

$.K¼ t_J6E?SD1y0299V1DAA7CD0H9SJA79ZE^KRS+$

VAA7140`]$KRSD34@LG$NQ{9{14CD@B]^@RKR59P21^ \w029]$CzA79^Fw: e P21-e 914IDE29Z02h59P2_J6\PKRS-9;0HCDKW7STS15P`6\P2KR15SN5 \A714S$P20`64A7P2KR14S(KLE SD15P

6\E P202KRh$KB6@D6E KLSyP2_9&A7@B6E2EHKBA6@$15028.6@RKRE28³P2_9029KLE E2158*9{1502yP21^]$1VPH1TA7158*ODCDPH9PH_D9& \0H9]$CJA7PQcCD06KR8¹KRESD1{PH1JSJ]

6 J0HE2P1507]$900H9{?02KRP2902CD@R9?{?_DKBAH_(97|DOD@RKBA7KRP2EPH_D9?E2CIDE2PHKLPHCDP2KR14S(OD021DA79EHE?KRSch415@Rh59Q]VKRSTPH_D9 \2A715S$P20765A7PHKR15S-6Sz]^_DKB]D]~9S-6PPH_D9

8*9P`6 @[email protected]@R@zP2_D9V15PH_D90&6\ODOD021$65AH_D9E/ª&607i5:$ND[<U

¬

1$i5.2$uwS-P2_9&15@R@R1{?KLS3JN{9V97|DOD@RK¶A}KLPP2_9 \w029]~CJA7P2KR14SI$G(8*96SDE1

6\S^CDSJA}15SJ]$KRPHKL14SJ6@D`029{?0HKLPH90HCD@R9&6SJ]1¨6\ST97|DPH9SDE2KR14S(1JPH_D9EHCDIDEHP2KRP2CDPHKR15S(A6@BA7CD@RCDEQN5F9 E2_D1{xP2_J6\PPH_D9?029Z{?02KRP2KRSD3

EHG$E2P29Z8v14IDP`6\KLS9]FN$]$9SD14P29].I$G-zD zNDOD0H1h$K¶]~9E 6yA71402029QA7P&KR8-O@L9Z8-9S$P`6\P2KR15S<1PH_D9^ \A714S$P20`64A7P2KR14S¡,.150H91h59Z0ND`y@R964]$E

PH1©6<SD9{ ]$97JSDKRPHKL14S-1\P2_9A}@¶6\E2EHK¶AZ6@¡ \A}15S$P20765A7PHKL14S¡$9&9ZE2Oz9A7KB6@R@RG(E2PHCJ]$GA}15SDEH9M4CD9SJA79ZE1\PH_DKRESD9Z{ ]$9}JSDKRP2KR15S*{^0P

340214CDSJ]A714S$±JCD9SzA795g?9}|~PQN¡{9-O021h59(EH158*9TOD0H15Oz902PHKR9E(1&PH_D9-J 2A6\@¶A}CD@RCDE(SJ68*9@RGA715S$±zCD9SJA79.14S350214CDSJ]PH9028*E.-

6\SJ](EHP20H15SD3*SD150H86@RKRE`6\P2KR15Sy15S*PwG$OJ9]P290H8-ED¸KRSJ6\@L@RG$N{9A}158-Oz602915CD0&`(02C@L9VPH1(OD029h$KR15CE&6ODOD0H1c64A2_9E

/ 0 '1( 24365y

9SD1{{1502<KLS(9;0HCDKW7S(SD14P`6PHKR15S¡5[<U

¬

15E[[^U

¬

1ci4J34KRh59E6\ST14OJ9Z0`6PHKR15SJ6\@J]$97JSKLPHKR15S(1¡ <15SyP2_D9E29P 91¡ODC029?P29Z028-EQ

uwSz]$99]FN_D9VOD021h49E ³

Fwe

* - ¦Y?

-

¦@WF5£87¤J£F9

{?KRPH_-P2_9^OJ60HP2KB6@zCDSJA7PHKL14S;:¡ND]$9}JSD9]6\P?P2_D9V8*9P`6 @R9h49@5³

e: K« : e :

zc<:-K»z;:>=

- ? : K @

AB

?DC e K¼

?FE

L

G

LHd9$JICL dH K¼

?

K'L

?

K¼

?FK

L

L À r 5+7

M

Ä¨o,:- ¦@nC>~£<¥`£ ¥¦£V£.2£¤&@}¦CX¤ X¤9yXZY?e N

* - ¦Y?

-

¦@AF4£O7¤z£F,a

PRQ

xS8TVU WXY%YZX[]\hxV^)_.[]U`[]a\ZSUcbdX.x)e)fVUZx)Sg\hxVhSUdikjlXW^amXnf]xVjbRXx)e)fVUZx)S

QOo QOp

(8)

~P`60HP2KRSD3y"0H158PH_DKRE6\SJ]*CDSD@RKR59^[^U

¬

15EQN${9VPH02G.P21-]$9}JSD9T6nOD02KR8-KRPHKLh49&`(0HCD@R95JCD00296\E214SDKRSD3(KRE&IJ6\E29].14S.Pw{1y64A7P2EQ

¸KR02EHPNzV:.KRE&6S.97¯F9A7PHKRh59^OJ6\02PHK¶6\@F"CSJA7P2KR14S6\SJ]*E2_D14CD@B]*IJ9TA}158-OCDP29]*I$G6y0H9{?02KRPH9^E2G$E2PH98! $9A714SJ]FNP2_D9VCDSJA7PHKL14SV:

EH_D15C@¶]n@R1c14(@RKL496iyEHCDIDE2PHKRP2CDPHKL14S65AA7140`]$KRSD3(PH1TPH_D9V"14@R@L1{?KRSD3VEHKL8*KR@¶6\02KRP2KR9EQ

;:g=

-

L£D£.@ $¤J§.>&D\¤$¢5£FS>D£V¦B¤F4£5£@ Y¥X,Ue XWL %F5£7§Z¥`£D"@£.@B>D£^¦B¤4F5£.\£.@RDZY2£¥_LRQx: D¤4F(¥L£.@RX"!LRQ e a

4q :

ZeVi5rRL£D£.@ c¤z§>D¤$¢5£F C>~£*¦B¤4F5£.\£.@nY¥X]U e X L WF5£7§¥7£D"@£@C>~£¦B¤F5£.5£@DZY2£¥WLQx: D\¤F¥`£D5§7£.@RLQ«e GVH

e,s : a

9*E299·P2_J6\P-V:g=

-

6Sz]4q :

ZeVi5r_J6Qh49-P2_9E`6\8-9-9}¯¨9A}PK¼VP2_D9.P29Z028 ]~1c9ZE(SD15P-A714S$P`6KRSP2_9KRSJ]~97| L/Q e uT

A}15S$P`6\KLSE(LQ e N$KRP2E?OD0H9E29ZSJA79(KRE0H98-9Z8(IJ90H9]*I$G-6yE2Oz9A7KB6@P290H8N$SJ6\8-9@RG*ºT

9P?CDE&]$9}JSD9^PH_D9^E29ZP&1 P290H8-E 9 ?

0*À!123"p"3BÄ42 <?>D£B@£. 9?»¦@;C>~£A@£¢5£¤J£Z¥DE£FGVHI

JÀ$q"o ³R³K L MD$ MDz8Mz4ho;Mzº

p$ moZp o ³R³K i#M`qZoM/s

O-rp qr &wo L ³R³K LRQ e-MeT

g 1{^N${9^6\029^6ID@R9VP21-]~97JSD9^6y02C@L9V14SS9? {?_DKBA2_.{9^A6@R@¡`³

0*À!123"p"3BÄ42 ¡£ e 9 a¡`¦@BC>~£<¥`£ ¥¦2£V£"£Z¤@¦X\¤8X\¤9 X Y I

Fwe

g

¼ºniE

EVº»KRE&6yA715SDEHP`6\ScPQND{9T65]](P2_9^02CD@R9³

0*À!123"p"3BÄ42 ¹¦@I¡Wm j4ºRhoNf ºWka

uwSy6ODOz9SJ]$K¼| NQ{997|DP29ZSJ]yP2_D9OD0H15Oz902PHKL9ZE1¨zyOD0H1h59]<KRS ¡[&Vi\dc6.JP21V6&z4AZ6@BA7CD@RCDE{?KRPH_T6 JSDKRP29EH9P1\¨A715SE2P`6\S$P2E

98-8.6E?e (6\SJ]eQfyOD021h49VP2_J6\P&q :

Hºni5r¨_J6\E?P2_D9<97|DOJ9A}P29]·IJ9Z_J6Qh$KL14CD0¡³

L À rD¡£

? e D¤F`L

ka

a

? q :

2ºBi5C

? ¦Y^e

?

6L

a_LQ«e q :

2ºBi5C

ºRs :

)

º

a

? q :

2ºBi5C

? C e ¦Y ? L/Q:a

9E2_D1{¹PH_J6P&`(KRE&A7150H029A}P14S.ODCD029<P290H8-E?{^0PD zNP2_J6\P?KLE?PH1(E`6QG$ND6S`\w029{?0HKLPH9V"14@L@R1{9](I$G.4S15028.6@RKRE`6\P2KR15S

KRE9M4CDKRh56@R9S$P&PH16S 2A714ScPH0`64A7P2KR15SJ9<KLS$PH021D]$CJA79-6\SD15PH_D90V029Z@¶6\P2KR15S 4¾]$9}JSD9]·15S9½6\SJ].{9TO021h59<P2_DKREV029@B6\P2KR15SKRE

64A7P2Cz6@R@RG- &³

0*À!123"p"3BÄ42 ¡£&'9naFwe

*

e·¦ Fw«e

g

4°ºBi"AD\¤F.z4¼ºniE`K eg9Ba! .££.2£¤4F. 5¾RG H¥7£V¥Z¦£

£."£Z¤@¦X¤#X¤9na

L À rD¡£(D"S9';:>=

-

¦@RF5£87¤J£F*¦YWD¤F X¤lH(¦Y?zwq :

2ºBi5C"#S9yD¤F*¦B¤C>&DE §D"@£

;:g=

-

K»zw4q :

2ºni4C"Va

$VqÄFÄ&%Ft

e4 9P&'S9«6Sz]-EHCDODOz15EH9^P2_J6\P&;:>=

-

KRE?]$97JSD9Q]Fz9&OD0H1~A}99]·IcG*E2PH02CJA7PHCD0`6\@¡KRSJ]$CzA7P2KR15S.14S ³

64-/K

?

G._cG$Oz15PH_D9E2KREQNJ :>=

-

97|DKRE2PHENDEH1-RK

? (KgL/Q e

Kw

?FE L/Q«e4N

?

:>=

- K ? C e

G*@L9Z8-86V:NDz

? q :

2ºBi5C"?K

? C e 9)K

?

:>=

-

KLKw

?FK L/Q«e*

?

:>=

- K ?

G*@L9Z8-86V:NDz

? q :

2ºBi5C"?K

? 9+K

?

:g=

-

(9)

"IJ./K»4e

E;:>=

-

KRE-]$9}JSD9]«6\SJ]«;:>=

-

K4e:g=

-

K4e:>=N e:>=KLE-]~97JSD9]?_9S¡NI$GxKLSz]$CJA7PHKL14S

_$G$OJ14P2_D9ZE2KRENzzre]q :g=

-2ºni4C" 9»6\SJ]*9M4CJ6@RE;e:g=

4q :

2ºBi5C K 4eVq :

2ºni4C

)

FZe]q :>=

-

Hºni5r

)

FZe:>=Q

9

K 4e :g=

-

K ;:>=

-

A./Kge

uw8*8-9]$KB6\P29?I$G-6ODO@LKBA6\P2KR15S*1 P2_D9^KRSJ]~CJA7P2KR14S-_$G$OJ14P2_D9EHKRE&P21eV6SJ]

: 9P 96\SJ]<E2CDODOz15EH9zw4q :

2ºni4C" S9V5;:>=

-

KRE]~97JSD9]5uwSJ]~99]FN4I$G^E2PH02CJA7PHCD0`6\@FKRSJ]$CJA7PHKR15Sy15S(&³

64-/K

?

$CODOJ14E29.V:g=

-

KRES15PT]$9}JSD9]F?_D90H97"14029 KyLRQ e 6Sz]I$G@R98*86(:DNzrLQ e q :

2ºni4C"[K

ºRs : (S9V$?_DKRE&A715S$PH0`65]~K¶A}P2E?P2_9^_$GcOz15PH_D9EHKLEQNDEH1-V:g=

-

KLE&]~97JSD9]

"IJ./K»4e

zH4eVq :

Hºni5r"K zzZe]q :>=

-Hºni5r 9V $1zre]q :g=

-Hºni5r' 9N6\SJ]xI$GKLSz]$CJA7PHKL14S

_$G$OJ14P2_D9ZE2KREN4e :>= KRE&]$9}JSD9]Fl&E& :>=

- K 4e :>=

- K 4e:>= Nz :>=

-

KRE&]$97JSD9Q]F

A./Kge

uw8*8-9]$KB6\P29?I$G-6ODO@LKBA6\P2KR15S*1 P2_D9^KRSJ]~CJA7P2KR14S-_$G$OJ14P2_D9EHKRE&P21eV6SJ]

9SD1{ OD021h499QM5CKLh56\@R9SJA79V1 -6\SJ]. 5¾¡A}15S$P20765A7PHKL14SDE?150029]$9}|~9ZE@R1DA6\P29].6P?PH_D9V_D964]-1\P290H8-EF³

L À r ¡£(D"S9'e

* - ¦YRD\¤F-X\¤H*¦Y?Fwe

*

z4¼ºni""K - a

$VqÄFÄ&%Ft

e4 ~CDODOz15E29(e

* - G.OD0H9h$KL14CDE&@R98*86N56EV

-

KRE]$9}JSD9]FNz{9^$SD1{³Jzw4°ºBi""%K¹

-

N9V ~1

·e '

>

4¼ºni"

-

$?_J6\P?KLEP21(E76QGcND·e

*

zw¼ºniE" K - S9V

: ~CDODOz15E29.Fwze

*

zw4°ºBi"" 9V GOD029h$KR15CE^@R98-8.6DNJ

-

KRET]$9}JSD9]x6SJ]9M4CJ6\@RETz4¼ºniEZ $1JN

·e

*

zw¼ºniE"

,15029 359SD9Z0`6@R@RG$N7IcG029{?0HKRP2997|DP29SDEHKR15S^14SW9NZ{9 349P¡PH_D915@R@R1{?KLS3OD0214OJ14E2KRP2KR14S³Q`"14@R@L1{9] IcGVPH_D94wSD150H86\@LKRE76P2KR14S

A}[email protected]@L9Z8(9S$P2EPH_D9TA7@B6EHE2KBA6\@¡ w029Q]$CJA7PHKL14S¡

$qÄÄFo 3"p"3BÄ4265+7 VÄJqqÀDs\p3Ä2 : £.Y e 9'

*

en¦YWD¤F X¤lH(¦Y&

N

* e,a

~1T{964A2_KL9Zh59V15CD0&6\KR8«³${9^A7148-ODCDPH9&PH_D9^ w029Q]$CJA7PIcG-6J0HE2P?1507]$90?PH9028 029{?0HKRP2KRSD3yE2G$E2PH98ND6\EPH_DKRE&A7158*ODCDP`6\P2KR15S(KRE

9}|~O029EHE29]·P2_D0H15CD34_.97|DOD@RK¶A}KLPE2CIDE2PHKLPHCDP2KR14SDE

c`d7`nKLE?S1{»97|DPH9SJ]$9]P219? ³

0*À!123"p"3BÄ42 ¡£ e 9 %a)c`d7`¦@BC>~£<¥`£ ¥¦2£V£"£Z¤@¦X\¤8X\¤9 X Y I z$e

4heVi"

?_9]~97JSDKRP2KR14S-1F¾{^0QP ¡[i\dc6.¡KRE?CDSJAH_J6S359]V³

0*À!123"p"3BÄ424¡£ e 9nazF¾?¦@B>D£^¥7£V ¥¦2££."£Z¤@¦X¤ X¤ 9 X Y I¡wJ$e N

¨4heVi""

F¾KRE&A7150H029A7P{^0P$Nz6E&6@R0H965]$G*OD021h49]*KRSN¡[i\dc6.2

U`j)X xVX.S4xVUdURjlSOTVUcbdX.xVhSix)Sgaf)YZU

QOo QOp

(10)

(Æ<& 2 3

?_9 `02CD@R9@L9Q65]$E CDE P21V6SD9{h$KR9{x1JPH_D9 A}@¶6\E2EHK¶AZ6@J \2A715S$P20765A7PHKR15S¡NQKw95 V97|DOD029ZE2E29Q](KRSTA7@B6EHE2KBA6\@$"150H86\@LKREH8¹"{?KRP2_15CDP

9W 02CDKW7S.SD14P`6PHKR15SJZ5uwSJ]~99]FNz{9]~97JSD9T6<SD9{½ \2A715S$PH0`65A}P2KR15S.KRS-PH_D9TA7@B6EHE2KBA6\@¡$2A6@BA7C@LCENJ]~9SD15PH9].I$G- 4¾6\E¡³

4t?T°w-tz

N

*

lj5ºBit k

g 15PHK¶A}9-P2_z6P( 5¾KRETCSJA715Sz]$KRP2KR15SJ6\@w &EyE2_D1{?SI$GA714020H9A7P2KR14S¡N [email protected]]$9ZET{?KRP2_A7@B6EHE2KBA6@? KRSP2_D9A6\E29 tKRE

S15P&6<"0H99^h560HKB6ID@R9&1\JuwS.P2_D9^14P2_D9Z0A6\E295NzA7@B6E2EHKBA6@ -KRE?SD14P&6@R@R1{9Q]FN$IDCDP& 4¾¡KREQDuwS.E2148-9AZ6E29ZENFKRP?86\59EE29ZSDE29yP21

1502349P P2_D9?O029A714SJ]$KRP2KR14S(15SyP2_D9&6\ODOD@RKBA6PHKL14S^1¡A7@B6EHE2KBA6\@J z?_D9"14@L@R1{?KRSD3?97|J6\8-OD@R9EE2_D1{P2_z6P E2148-9? 5¾¼2A715S$PH0`65A}P2KR15SDEQN

A}@¶6\E2EHK¶AZ6@R@RGy"150HIDKB]D]$9S¡NDAZ6S.KRS-w65A7PIJ9y6@R@R1{9](6\SJ]*599ZOP2_D9V{?_D14@R9AZ6@BA7CD@RCDE&A714S$±JCD9ZScPQ

e44tulTtz7wt?ThtJ}4t)Tht tz

*

4t4uThtJ}4t)Thtz7º

wt?ThtJ

4tulTtz7wt?ThtJ}4t)Tht tz

wt?ThtJ

:?t?T¼24uThv4 t#tJ

N

*

4uThv47º

v

t?T¼24uThv4 t#tJ

N

4t)T¼rv/tz

* v

G

T¼4t?T

G

t4tJH74uThv4

*

w

G TG

ºV74uThv4

wulThv57º )

v

G

T¼4t?T

G

t4tJH74uThv4

wt?T¼4uThv5ttz

N

wt?Thvtz

*

v

?_9T0H9E2PV1P2_DKREVE29A}P2KR15SKRE]$9h415PH9]PH1.P2_D9yE2PHCJ]$G1\P2_DKRECDSJA714SJ]$KRP2KR15Sz6@ 4¾"z 1-Iz9©A714SDE2KREHP29S$P^{?KRP2_·15CD0V15@B]$9Z0]$97

SKLPHKR15SDEQND{9T341(IJ65AHPH19 02CKW}SSD15P76PHKL14S¡NDICDPVP2_D9<"15@R@R1{?KRSD3^EHP`6PH98-9ZScPHEV_D15@B].KRSA7@B6\E2E2KBA6\@$2A6@BA7C@LCEF¸KL0HE2PQNJ{9

9}|~PH9SJ] 9PH19

NP2_D9VEH9P&1\ODCD0H9^P29Z028-E?PH_J6P?8.6QG©A}15S$P`6\KLSº¹A715SDEHP`6\ScP?1DAA}CD029SzA79E9]~97JSD9^CSJA715Sz]$KRP2KR15SJ6\@¡ 4¾¡15S

PH_DKREVE29PQ¡g?97|DPQNF{9y@R1$15(150^6(EH9PW9

?

14S{?_K¶AH_PH_D9(029Z@¶6\P2KR15S·¡ 5¾ KLE^A714S$±JCD9ZScPQF 1-OD0H1h59yP2_DKRE^A714S$±JCD9SzA795N{9<J02EHP

EH_D1{ P2_D9VOz15E2PHOJ14SD98*9S$P?1Y 4¾¼wE2P29ZODE&{^0PQ$zEHP29ODEQ

9V]$97JS9^F¾6\SJ]. 5¾15S*P2_D9^EH9P[9-³

0*À!123"p"3BÄ42 +79 : <?>D£B@£. 9«¦@B>D£B@£.¢5£¤z£¥D"2£FGVHI

J À$q"o ³R³hK L MD$ MDz Mzº

O*rDp qr &wo L ³R³hK LRQ eSMeT

0*À!123"p"3BÄ42 ¡£ e 9 a

a F¾&¦@;C>~£<¥`£ ¥¦£V£.2£¤&@}¦CX¤ X¤9 XZY IYzce

wheViE"

a 5¾?¦@BC>~£<¥`£ ¥¦2£V£"2£¤@¦X\¤NX¤9 X Y I¡e

* w¼ºniE"

uwS6\ODOJ9ZSJ]$K¼|N&Nz{9^E2_D1{ P2_z6P&F¾6\SJ]A7@B6EHE2KBA6\@¡A714KLSzA7KB]$9^15S·P2_D9^EH9PB9 NJ6EVº¹KRE6(A}15SDEHP`6S$PQ$ ~1-{9^{?KR@L@F{?0HKRP29^

150IJ14P2_¡

¡ 4¾?KRE(A7@R960H@LGS15P(A715S$±zCD9S$P(15S 9 NKw95¡14SPH_D9.E29P(1\&P290H8-E(A715S$P`6\KRSDKRSD3º1DAA7CD0H9SJA79ZEN&6\ETEH_D1{?SI$GP2_9A}02KRP2K¼

AZ6@FOJ6\KL0?Iz9Pw{99S6Sz] 4¾$³

e

·e H e

*

¼ºniEe

uwS 9 ND{9_z6Qh59VP2_D9^A714CDS$P2909}|6\8-OD@R9³

e e

wF7e e HVe

* º e

CDP?I$G-0H9E2PH02KBA7PHKLS3 4¾FP21-6<0296\E214SJ6ID@RG*@¶6\02349EHCDIDEH9P&1\ 9ND{9^A6S.86\59?¡ 4¾A}15S$±JC9S$Pz?_DKRE?E29P?KRE[9

? ³

0*À!123"p"3BÄ4265

9 ? K j 9(Me 9 ³5

* e"k

?_KLE EH9PKRE @B60H3590PH_J6S96\SJ]yP2_z6SyP2_D9E29PCE29]nIcGyª&607]$KRS-6SJ]y[^U

¬

14EKRSyP2_D9E29SE29&PH_J6P 5¾zA715S$P`6\KRSDE8-140290H9]$CJA}P2KR15SDE

6\SJ]9

?

A}15S$P`6\KLSE?P290H8-E?{?KRP2_.1DAA7CD0H9SJA79ZE^1º $99Vz3JD:5ZJ¸150?97|J6\8-OD@R95N4P2_D9<P290H8-EV`e e 2Ve 6\SJ]e e IJ9@R14SD3(P21

9 ?

N$ICDPVºe ]$1$9ESD15PQ

E6\@L0H965]~GSD14P2KBA79]FN?6\Sµ 4¾¼2A715S$P20765A7PHKR15S»]$1$9E*SD15P*SD9A79ZE2E`6\02KR@RG«A715KRSJA7KB]$9·{?KLPH_»6A7@B6EHE2KBA6\@ \A}15S$P20765A7PHKL14S¡9M5Cz6Q

@RK¼"G*E2CJAH_6S 4¾2A714ScPH0`64A7P2KR15S6EIDKB6EH9]FzuwSP2_9^"14@R@L1{?KRSD3zN5{9yE2_D1{¹PH_J6P15SPH_D9TEH9PB9

?

Nz{9(A6S·9KRP2_D90<OJ14E2P2Oz15S9©6

(11)

η ’

Λ m Λ _⊥

¸KR35C029^:D³D[ 9@B6P2KR14SDEIz9Pw{99S9

?

6\SJ]9

IK¶6\E29]( 4¾¼2A715S$P20765A7PHKR15S-6Sz]yE21yP20`6\SDEw15028 KRPKRS-6^A7@B6\E2E2KBA6\@¨ <15S95N51409Z@LKR8*KLSz6P29 KLPQ5?_KLE { 6QG$N5A714S$±JCD9SzA79V1F¡ 5¾z15@R@R1{?E

KR8*8(9]$KB6PH9@RGc=15SE2KB]$90?PH_D9^029Q]$CJA7PHKL14ST³

N

* e N

9E2CJAZA79E2EHKRh59@RGOD0H1h59³

e4P2_D9yIJ9Z@L1{½AZ6E29³z{?_D9SP2_D9( 4¾°w029Q]$97|KRE&EHP20HK¶A}P2@RGA714ScP76KRSD9]KLS·P2_D9yz0H9]$97|¡NKRP&A6SIJ9yOz15E2PHOJ14SD9]6SJ]86QG-Iz9

]$CDOD@RKBA6PH9]·"140?9@RKL8*KRSJ6PH9]D

:P2_D9^COJ14SAZ6E29³${?_D9SPH_D9^ 4¾°w029Q]$97|[email protected]$P`6\KRSDE?P2_D9Vzw029]~97|¡NJKRP&A6\S.IJ9VOz15E2PHOJ14SD9]F

P2_D9TA}02KRP2KBA6\@¡A6EH9³D{?_9S.P2_D90H9^KRE&6(A702KRPHK¶AZ6@FOJ6\KL0QN$P2_D9y 5¾A}15S$P20765A7PHKL14SA6S.Iz9^9@RKR8-KRSJ6PH9]F

?_9J0HE2P Pw{1AZ6E29ZE_D15@B]VKRSW9

NQP2_9@B6EHP 15SD9_D15@B]$E15SD@RGVKRSR9

?

CD9P21VOz15P29ZScPHKB6@D]$CDOD@RKBA6\P2KR15S¡NZP2_D9Z029?KRE6P29QA2_SDKBA6@RKRPwG

150P2_D9^Iz9@R1{»A6\E295

¸KR02EHPN{9(EH_D1{ P2_D9*IJ9Z@L1{A6\E295 1.P2029Q6PyKLP"150H86@R@RG6\SJ]65AZA71507]$KRSD3P21·P2_D9*OD_DKR@R15E214OD_$G1?97|DOD@RKBA7KRP^E2CIDE2PHKLPHCDP2KR14S¡N

{9(SD99Q]{?_J6P^KRETAZ6@R@R9][email protected]DuwSPH_D9-A6\E29-1\ `JNP2_KLEV@R98*86yE`6QG$E^PH_J6Py6S`\0H9{?02KRP29*IJ9ZPw{99ZS

PH9028*E1\9 P2076SDEH@¶6\P29EKRS6( 4¾¼0H9]$CJA7PHKR15SIz9Pw{99SPH_D9KR0&¡wSD150H86\@D"14028*E4uP2_9T`\0H9{?02KRPH9^P`6\59E?OD@B64A79^KRSDE2KB]$9

6(A}@L14E2CD0H9S&{9TAZ6@R@¡KRP?KRS$P290HSJ6@wNDK¼KRP&P7659ZE&OD@B65A}9^15CDPHE2KB]$9^9Q65AH_A7@R15EHCD0294NF{9yA6@R@¡KRP?97|DPH902SJ6\@w¨X|~PH902Sz6@6SJ]KLS$PH902SJ6\@

6\029^6IID029h$KB6PH9]*I$G-P2_9EHCDOz902E7A702KRODPHERdt~&6SJ] IL

L À r67 $VqÄQÀ~s\p3Ä2&À rJo^Ä4269 :

a'^Y& e 9 @D§.>SC>&DE

>

e`>D£¤. $

* ZeVa

QOo QOp

(12)

a'^Y& e 9

@D§.>SC>&DE

> :

e/C>~£Z¤-

wc

*

reZ

?_9?OD021$1F1FP2_KLE @L9Z8-86KRE KRS-6ODOz9SJ]~K°|(=V5?_D9;c`d7`<OD021QW79A7PHKL14S(@R98-8.6KLE E2KR8-KR@B60QN7KLPHEOD0H1c1\¡97|DP29Sz]$EPH_D9?15S9?35KRh59S

KRS ¡[Vidc6.= 6\ODOJ9ZSJ]$K¼|

L À r 67J Às\rJoZÀ 4¾mÀ &"ÄÃ:"£. e 9na

a'^Y wJ$ e

*

e N

]heVi""_C>~£Z¤.z$ e

4heVi""

*

]heVi"" a

a'^Y weH

*

4e

N

Ze]Vi""_C>~£Z¤.4e2

re]i""

*

Ze]Vi"" a

?_9O021$1A7148-9E?]$KR029A}P2@RG("0H158PH_D9^OD0H1W79A}[email protected]

$VqÄFÄ&%Ft

e49E2CDOOJ14E29³

zFwe 2e

*

z w4°ºBi""2e

w¼ºniE e i""2 K 4¼ºni" heViE

915IDEH902h49³

wJ·e 2e N

wFwe 2VheViE`

>

4¼ºni" heViE

G-9}|~PH902Sz6@¡O021W79QA7P2KR15S·@L9Z8-86\ENQ{9349P ³

zFwe 2e

HeHVheVi""

)

* 4¼ºni" heVi""

?_9?59G(OJ6\02PQN5Kw9560H9SJ]$0H935P?EHPwGc@R9?EHCDIDE2PHKRP2CDPHKL14S-@R98*86Bh6\0\d"N4KREKRSDE2KB]$9?PH_D9&O021W79QA7P2KR15S(@R98*86 ³

4qFZeVi5r¼ºniE

4qFreVi4C ¼ºRheVi i"

¼ºniE e i"

:9E2CDOOJ14E29³

4e7wFwe 2

*

4e}w4°ºBi""2

re]4¼ºniEi"" K & re]4¼ºni"i""

915IDEH902h49E³

we}·e 2+

e]¼wFwe H iE`

g :

e]4¼ºni"iE

G-9}|~PH902Sz6@6\SJ]*KRScPH902Sz6@¡O021W79QA7P2KR15S.@R98*86EQNQ{9^349P¡³

we}e H

re]¼·e Hi""

*

re,4¼ºniEiE"

L À r +7J Às\rJoZÀ 4¾rDmÄzÀ.:"£. 9 a Y&e

*

w4°ºBi""

)

/>D£¤ >D£¥7£^£¦@C@ H 9 @ D§.>

C>&DEYe N

H

* ]a

$VqÄFÄ&%FtF9VP2076SDEH@¶6\P29VP2_9^_$GcOz15PH_D9EHKLE

·e

*

4¼ºni""

)

KLS$PH1-6^zw029]~CJA7P2KR14ST³

$7º N

w4°ºBi""

$KRSJA79^º«KRES15P6\S-6IDEHP20`64A7P2KR14S¡N5PH_D9?z02E2Pz2A715S$P20765A7PHKR15S]~1c9ZESD14PA70H96PH96zw029]~97|KRS- w4°ºBi""" $1zNP2_D9

E2P20HCJA7PHCD029y1P2_9zw029Q]$97|KRS 4¼ºni"" KRE&6\@L0H965]~G(KLS.zJª?9ZSJA795NzP2_9029^9}|~KREHP2E6H 9 EHCJAH_P2_J6\P¡³

H

&E&{9V_J6Qh59³

$}º N

w¼ºniE"

$7º N

Hc}º

mH4¼ºniE

(13)

G.P2_9[email protected]?150=ª 2N${9V359P¡³

K» H4°ºBi""

64A2.PH1© 4¾¼A}15S$P20765A7PHKL14S¡ND{9V359P?PH_D9VOJ14E2PHOJ14SD98-9ZScP³

Fwe

mH·e N

* mH4¼ºni""?K

?_9O029h$KR15CDE?@R98*86\EKR8*OD@RG ³

L À r D¡£ e +9 a`Y

* e

>~£Z¤ 4¾&¦@ G7£ X] X¥-D!GX£V C>~£Z¤#>D£¥7£-£. ¦@C@!H 9 @~§.>#>D" I

N

H

* e]a

?_9O021$1VKLE(I$G6][email protected]]$CJA7PHKR15S14S¡NJ0HE2PN P2_D9·@L9ZSD35PH_1\PH_D9 5¾¼w029]~CJA7P2KR14S¡N6\SJ]FN E29QA715SJ]NPH_D9.@R9SD35PH_1PH_D9

zw029Q]$CJA7PHKL14S¡

?_9&15@R@R1{?KLS3@R98*86E2_1{?E?{?_J6P?Iz9A7148-9E?1\P2_9TA7@B6EHE2KBA6@ A7158*8(CDP`6\P2K¼15Sy1YA}@¶6\E2EHK¶AZ6@¡6Sz] z

L À r 67J Às\q]3"p"3wsr &srzoÀ4:"¡£ 9 aV^Y wF e 2

*

\¼ºniE"2

96C>~£Z¤^wF e 2

a

$VqÄFÄ&%Ftz9&OD0H1h59&KRP{?KRPH_-P2_9A7@B6EHE2KBA6\@z"150H86@RKRE28Qª?90H95ND{9&PH0296\P&º¹6E6"0H99Vh5602KB6\ID@R9 6\SJ]({9&0H9SJ68*9

º I$G TND6"0H9E2_h56\02KB6I@L94N5KRS 6\SJ] ³

.¾ ni~º[¨6\SJ].¾ ni~º[2Q9_z6Qh59³

wt?T

¾

tJ

¾

*

¾

¼ºnit&"

¾

9

G.E2P76IDKR@RKRPwGT1\150?E2CIDE2PHKLPHCDP2KR14S@R98*86/ª ! "F³

2 ¾¼ºni!t" ¾ ¾i~º[

¾i~º[

&E^º\i^¾^ZN.¾i~º[K 6SJ].¾C¾i$º lK.¾w

¾

°ºBit&

¾

i$º["

¾

&SJ] ¾C¼ºnit& ¾i~º[K ¾C¾it&2N

¾

it&

¾ N

G.zw97|DOJ6SDEHKR15S^³

4t?T

¾

tz

¾

N

G.029ZSJ68*KLS3JN56\E i^N

4t)T tz

L À r 5 67 $ÄFop Ä42À À2Fp&Ä% 4¾¼Â`sÄ42¡pQqrJs\p3Ä2o,: ¡£¡'S9

?

D¤F 9'@ D§.>>D"ID

)

*

]a <?>~£Z¤C>~£Z¥`£V£. ¦@C@

H"S9#I¨

)

H

*

,a

$VqÄFÄ&%FtF9?OD0H1~A}99].I$G(KRSJ]$CJA}P2KR15S(14S-P2_9S$CD8(Iz901\Y 4¾¼EHP29OE$9A}15SDEHK¶]~90?P2_D9V@B6EHP 4¾FE2PH9O¡Du¡PH_D90H9^KRE

SD1© 4¾¼wE2P29ZO¡N${9?349PP2_D9V029ZE2CD@RP$u¡PH_DKREE2PH9O.KRE 6^A}02KRP2KBA6\@¨A6\E295N$I$G(@R98*86?iDN4{9&9@RKR8-KRSJ6\P29KLPQuPH_DKREE2PH9O.KRE

6S-COJ14S-150Iz9@R1{µAZ6E294NDI$G(@R98-8.6[DN4KLPKREOz15EHP2Oz15SD9Q]-6Sz](86QG<IJ9^]$CDO@LKBA6\P29]"1409@RKR8-KRSJ6\P29]"&E?14SD@RG

zEHP29ODEV9@RKR8-KRSJ6\P29Vº 1~AZA7CD029ZSJA79EQNzJSJ6\@¡ 5¾¼wE2PH9ODE&60H9^KRS(64A7P&A7@B6EHE2KBA6\@¡ wE2PH9ODEy³D

* e

*

V6Sz]-e9N$EH1

P2_J6\P?{9T6\ODOD@RG(P2_9KRSJ]~CJA7P2KR14S_$G$Oz15P2_9E2KRE?15S

* e

J À$ÄzqÀ 5«¡ 4¾?¦@T§X¤D£¤nX\¤-9

? a

QOo QOp

(14)

$VqÄFÄ&%Ft¡F9ZP e 9 ?

E2CJAH_.P2_z6P?

N

*

e6SJ]*

*

E(e S9

?

N$PH_D90H9^97|DKRE2P2E;e}¾7¾ 9EHCJAH_.P2_J6\P

e

*

e7¾ 6SJ]

* }¾ ~1&³

* e ¾

* ¾

[email protected]{96\E2EH1~A}K¶6\P29^PH1(P2_D9ZE29^Pw{1T0H9]$CJA}P2KR15SDEPw{1-A}@¶6\E2EHK¶AZ6@F15S9E³

* e ¾

* ¾

&ETA7@B6\E2E2KBA6\@¡ ·KLE^A714S$±JCD9ZScP<15S#9¹OD@RCDE^6A}15SDEHP`6S$PQNFP2_D9Z029(97|DKRE2PHE H +9 mH (+9 Iz9A6\CDE29. \EHP29ODEy6029

A7150H029A7P^6\SJ] e7¾7¾ 9 ³

e ¾

* H ¾

* H

GA71402029QA7P2KR15SNJ 4¾A6\S.E2KR8(CD@B6PH9& &³

e ¾

*

H ¾

*

H

?_9&]$97JSDKRPHKL14S(1 9 ?

KREh59Z02Gy359SD9Z0`6@F6Sz]y{9V]$1^SD14P$SD1{6VEHG$ScP765A7PHKBA&AH_J60765A7PH902KR²6\P2KR15Sy150KRP?{9&A714SW79A}P2CD0H9PH_D90H9

KRESD15SD9Qzu15SD9y{ 6\S$P2E&PH1-KR8-O@L9Z8(9S$P2E?6S 4¾ 029]~CJA7P2KR14SEHP20`6\P2934GcNz14SD9^86QG({?KREH_P21*cS1{¹K°14SD9^E2P76QG$EKRS 9 ?

z?_D9

6\IDE29ZSJA79^1\Y6yE2G$S$P`64A7P2KBAVAH_J60765A7PH902KR²6\P2KR15S·E2998*E?P21(OD0H9h59ZScPOD021h$KB]$KRSD3^EHCJAH_6yA702KRP29Z02KR15S¡zX h59ZS6^EH86\@L@R90E29ZPND@RKR594N

j 9(Me 9³5

)

e"k

KRE1SD1y8-14029&_9@RO¡Jg 9h590HP2_D9Z@L9ZE2EN 5¾FEH_D9]$E8-14029&@RKR35_$P15S*P2_D9^0H9@B6PHKL14S-Iz9Pw{99S -6Sz](

(Æ<& 5y( Sy 5y '5V( 2 3

uwS·P2_DKREVE29A}P2KR15S¡N{9yE2PHCJ]$GPw{1-OD0H15Oz902PHKR9E^1&zD zNFP2_D9y029Z{?02KRP29(EHGcEHP298 jEcWd}` ``k;m NzSJ6\[email protected]$±zCD9SJA79.6SJ]

EHP20H15SD3(SD14028.6@RKR²6PHKL14S¡Q?_D9VOD021$1\Y1\PH_D9E29<OD0214OJ90HP2KR9E^60H9VE2P2076KR35_$P"150H{ 6\0`](9}|~PH9SDEHKL14S1J15SD9EQNDEH1T{9W7CDE2P?EH59P7AH_

PH_D98

"!$#%

9OD021h49^A715S$±zCD9SJA79y1J JNzPH_D9VP2_D91402Gz6CD348-9S$PH9]({?KRP2_*P2_D9<02CD@R9^`(14S6yEH86@R@R906\SJ]*_J6Sz]$G(E29P ³

0*À!123"p"3BÄ42655

9?D /K j S9? Me 9 ³5

e"k

9(O021h59.PH_D9A714S$±JCD9ZSJA791\zD I$GP2_9-KRS$P290HOD029P76PHKL14S8-9PH_D1D]6ª)4i 9-0H9h$KR9{vKRPV150y15CD0yOJ60HP2KBA7CD@B6\0©A6\E295

=14SDE2KB]$9Z0?P2_D9V029Z@¶6\P2KR15SzD .]$97JS9].15S*P2_D9<E29P_9 D *6SJ]*EHCJAH_P2_J6\P¡³

e4?JD K'&+m.{?KRP2_"&=K jEcWd}` ``lk

:?&KRE^A715S$h59Z02359ZScPQNFP2_z6P&KREVP21*E`6QGA}15S$±JC9S$P6\SJ][email protected]@RKR²KRSD3JN415S·P2_D9yE29P`9»1\ ¡wSD150H86\@z"150H8-E?1

9 D z

¡ )(»wJD $+*

u

e4¡ -KRE&]$9}JSD9].14S-PH_D9^E29ZP;91 wSD150H86@"14028-E 19 JNz6SJ]

:[email protected] 15S9_15@B]V³D6Rc`d7`"029ZE2O¡z`$?A715S$P20765A7PHKR15S-Iz9Pw{99SPH9028*E1\ 9?D *P2076SDEH@¶6\P29E?KRS.6^

"029ZE2O¡F $029]~CJA7P2KR14SIJ9ZPw{99ZSP2_D9ZKL0& S15028.6@$15028*E

PH_D9S

¡ *KRE&A715S$±zCD9S$P?15S 9«K¼Y6\SJ](14SD@RG(K¼YzD .KRE A}15S$±JC9S$P&15S 9?D z

~1^P2_D9&A}15S$±JC9SJA79V1zD y14S9 D y0H9@RKR9E14S(P2_D9OD021QW79A7PHKL14S(@R98-8.6E¡1\ c`d7`(6\SJ](`<15S9V5uwS-6z02E2P E2P29ZO¡N${9029AZ6@R@

PH_D9VOD021QW79A7PHKL14S.@L9Z8-86\EA714SJA790HSDKRSD3(P290H8-E?1\ 9?&-³

(15)

L À r 545+7 $VqÄQÀDsp"3BÄ42&"À rJoÄ2=9

: ^Y e 9

@D§>`>D"¨

eH¥7£@ZaD

g

eB >D£¤^

w$

Ze

H¥7£@ZaF wc

N

* Zea

E&6yE2CDIFA6\E295NF6E&Ze 9"140(e9 JN{9V349P¡³

VÄzqÄ &&"rqÁ+5+7 $VqÄQÀDsp"3"Ä42 &À rJo<Ä269_:+Y e 9 D @D§.>>D"¡

eH¥`£.@ZaD

g

eW>D£¤y&$

Ze

H¥7£@ZaF wc

N

* ZeSD\¤Fy $ 7 re S9Ba

J À$ÄzqÀ <?>D£^¥7£F D§w¦X¤*JD Æ¦@§X¤ D£Z¤AX\¤9 a

~1JNz{9(O021h59yP2_9(350214CDSJ]A715S~±JCD9SJA}9-1&zD 14S 6*EH9PT9QM5CKLh56\@R9S$P&P21zNF15SP2_9(15SD9y_J6Sz]FNFP2_9-A7@B6E2EHKBA6@14SD95NF14SPH_D9

14P2_D9Z0_J6Sz]FNP2_9ª&6\0`]$KRS*¢ ¥X"$¤F14SD95?SD@RKR59?ª&6\0`]$KRS¡N\{9&A6\S(SD15P65AH_DKR9h59&6EHP20214SD359Z00H9E2CD@RPQN5Kw955A714S$±JCD9ZSJA79&14S(P290H8-E

A}15S$P`6\KLSKLS3(h5602KB6\ID@R9E?1PwG$OJ9J Àcq" 150`pmoZp3p p 3"Ä2?4uwSJ]$99Q]FNzP2_D90H9(KRE&6-A714CDS$P29097|J6\8-OD@R9^PH1-E2CzA2_6-A714S$±JCD9SzA795N

{?_K¶AH_*KLE&6\@R02964]$G-OD0H9E29ZScPKRSz^³

4e i"ho

2wJ$eVho.

z4qroQC"7Ze]ho"

4qFroQC he]ho.iE

u {9^A714SDE2KB]$9Z0zNeV6SJ]o^6E?h56\02KB6ID@R9EQN${9V349P?Pw{1(]$KRE2PHKRSJA7P&4wSD150H86\@z"150H8-E CDP"150?9Q65AH_.350214CDSJ]*KRSDE2P76SJA}91\YzNe

6\SJ]-o4ND{9V_J6Qh59yw= 6\ODOz9SJ]$K¼| F³

4e i"ho!

4qFroQC he]ho.iE

?_z6P?KRE&PH1-E`6QG$NDKRP?KRE6nP2_D9Z15029Z8 1P2_D9yKRSJ]$CJA}P2KRh59^PH_D91402G$NDSD14P&1PH_D9T9QM5Cz6P2KR14SJ6@P2_D91402G.1F&S·P2_D9TA}15S$P207602G$NFJ®~´

2A6\@¶A}CD@RCDEKRE&A714S$±JCD9ZScP?14S.15Oz9S.P290H8-EBª)4i"2E&6(A715CScPH902Oz602PQNDPwG$Oz9].J.KRE?EHP20214SD35@RG(SD14028.6@RKR²KRSD3JN6S.KRS$P290H9E2PHKRSD3

O0215Oz90HPwG-{?_DKBAH_]$1$9E&SD14P?_D15@B]nKLS.J®~´BN$SD150?KRSJ® %,.9@Bi 2

+ ! ! #%

9?S1{«@R1c14©6\PP2_9O029EH902h56\P2KR15S.1¡EHP20H15SD3ySD150H86\@LKRE76P2KR14S^1zD (14S-9? P29Z028-EQ$?_D9S¡N${9]~9]$CJA79VEHP20214SD3ySD150H86Q

@RKRE`6\P2KR15S(1\YzD .14S-E2KR8*OD@RGTPwG$Oz9]*P290H8-E

9^64]D6ODP?PH_D9(J·E2PH0215S3-SD140286\@RKL²Q6P2KR14STOD0H9E29Z02h56PHKR15SOD021$1;¡[Vidc6.Y6\SJ]A7148-8*9S$PKRP$?_9T8.6KRS(KB]$96EV60H9³JCE29

PH_D9yE2P20H15SD3*SD150H86\@LKR²6\P2KR15S*1¡ 4¾6Sz]PH_D9^w65A7PP2_J6\PneVinE2CDIDEHP2KRP2CP2KR15SDEQNF{?KRP2_Ne

(

K ºTNJA7148-9V02158 cWd}`0H9{?02KRPH9EF9

9Z8-OD_J6\E2KR²9P2_D964A7P?P2_J6\P?P2_DKRE@B6E2P?O0215Oz90HPwG-1.KRE9ZE2E29ZScPHKB6@¡PH1(P2_DKRE?OD0H1$11\EHP20214SD3(SD140286\@RKL²Q6P2KR14ST1\Yz6\SJ].J J

?_9&15@R@R1{?KLS3@R98*86 "140286\@RKL²Z9EP2_KLE?O0215Oz90HPwGc

L À r 5& ¡£#" 9g@D§> C>&DE$"

%

*

: '&/jNH4q Vi4CZkS ¦ > (K ºRa_<?>~£Z¤C>~£Z¥`£y£¦@C@ k' I gL @ D§.>

C>&DE IF )(j44de"kND¤F/e

% * ]a

?_9OD0H1$1-A6S IJ9·"14CDSJ] KLS ¡[&Vi\d"[email protected]]~1c9ZES15P._D15@B] KRS«P2_D9® A6@BA7C@LCEIz9A6\CDE291\©PH_D902CD@R9

w+* oQ,V f Z-*DZo,`ZuwSJ]$9Z9]FN15SD9·15IDEH902h49E-PH_J6P*KLP-A}0296\P29E6A7@R15EHCD029 6Sz]E21KRP(86QGA70H96PH9 he.*IH]2N

PH_D9V9M4CDKRh56@R9S$PKLSz®1\(heViE%,9@Bi 2

9 SD1{EHP`6PH9?P2_D9?EH9A714SJ](49G^Oz15KRS$P1\JP2_KLE SD14028.6@RKR²6PHKL14SVOD021$1D³PH_DKRE@R98*86 KRE215@B6\P29EPH_D9E215C0`A79E1FP2_9?OJ14P29S$P2KB6\@L@RG

KRS$zSDKRP29]~902KRh56PHKR15SDE?KRSA}@L14E2CD0H9ER&2

L À r 5& ¡£? 9?& @D§.>>D"?& $(¦@W@w¥X\¤$¢EH-¤X\¥VUD]°¦0/}¦¤$¢Eac¤+DnJD =F4£¥Z¦EDE¦CX¤ @ D¥.¦B¤~¢;Y¥X,U C>~£Z¥`£

£.¦@@WD(¥D\¤#1 @~§.>-C>&DE £D4§>-zD 32Z@2£ Y"X]^X]¦B¤~¢ ¦@^¦B¤2£¥¤4D]a

?_z6PyOD0214OJ90HPwGcN OD021h49]xKRSg¡[i\dc6.2N]$9ZOJ9Sz]$E.15SD@RG15S«FNS15Py15S=cWd}`JN ºv140©`z uwP(KRE(SD14PTEH_J60H9]I$GP2_D9®

EHCDIDEHP2KRP2CDPHKR15SA6@BA7C@LCEW&=?=?iDe¡Iz9A6\CDE29y1 P2_D9VE`6\8-902CD@R95uwSJ]$99]NJKRS*P2_D9^®2]$902KRh56\P2KR15S^³

e ¼w*oQ, ZNf

: e 4Z4*Zo-, `CNf

4Z

PH_D9V97|DP290HSJ6@ 0H9]$97|e 5*.¡OD021D]$CJA}9].I$G-PH_D9VKLS$PH902SJ6\@®w029{?0HKRP29(w*oQ, f 4Z4*Zo6, `?A6\S.SD15P?Iz9VODCDE2_9].CDO¡

G-PH_D9VPw{1(O029h$KR15CDE?@R98*86\EN{9V359P¡³

J À$ÄzqÀ D¡£ 9 @D§.>SC>&DEY w$^¦@?¡ 4¾2Z@w¥X\¤$¢]H(¤X\¥VU D,°¦7/¦B¤~¢Ea[<?>~£Z¤g¦@?J 2Z@¥X¤$¢]Hy¤X¥ U D,°¦7/¦B¤$¢]a

QOo QOp

(16)

?_9?OD021$1F15@R@R1{?EYA}@L14E29@RG(PH_D9&J.A6\E295ND]~9E`A70HKRIJ9]*KRSh%¡[Vid"2uwPKLE IJ6EH9](14S-6V8-KRSDKR8-6@$A715CScPH90ww97|J68*OD@R95N8*15029

O029A7KREH9@RG6<8-KRSDKR8-6\@JJ 2]$90HKRh56P2KR14S¡

~1J OD0H9E290Hh59E(EHP20H15SD3SD150H86\@LKR²6\P2KR15S&E(6A714SDE29QM5C9SJA795N{9-]$90HKLh49-EHP20214SD3SD150H86@RKR²6\P2KR15S1\ 6·E2KR8*OD@RGPwG$Oz9]

h4902EHKR15S-1\J (15S9?

$¸150PH_DKREN4J0HE2PN${9&S99].6VPwG$ODKRSD3^EHGcEHP298N5EH9A714SJ]FND{9&_z6Qh59?P21yE2_1{«¡

¾

KLEE2PH0214SD35@RGySD150H86Q

@RKR²KRSD3^14S.E2KR8-OD@RGyPwG$OJ9]*ODC029^PH9028*E

?_$CDEQNz{9y9SD@B60H359-zE2KR8-O@LG(PwG$Oz9]P29Z028-E¡[Vidc6.P21zD 14SD9EQF?_DKREVOJ60HP_96Qh$KL@RG*029@RKR9E^14SPH_D9TEHKR8-OD@RG-PwG$Oz9]

h4902EHKR15S1 z42A6@BA7CD@RCDE(]$9E7A702KRIz9]KRS [&Vid$62z 1KRS$P20H1D]$CJA79(6*PwGcOz9]`02CD@R95NF{9y_J6Qh59yP21.PwG$OJ9yP29Z028-EV1\(9?

¸150yP2_KLEQN KRSDE2PH965]Æ16·E2KRSD34@R9A714SDE2P76S$P.ºTN{9*SD99]FNY"150y964A2_EHKL8*OD@R9(PwG$OJ9TN6·PwG$OJ9Q]A}15SDEHP`6S$P*º½6Sz]6·02CD@R9

º hof º 9W}CDE2P-64]D]6\Sµ6 |DKL148 E`AH_D98*9PH1PH_D9PwG$ODKRSD3E2G$E2PH98 1zKRS140`]$9Z0-P21PwG$OJ9º 6\SJ]xP290H8-E

A}15S$P`6\KLSKLS3^1DAA7CD0H9SJA79E<1º

?_9340`6\8-86\0 1PH_D9^ODEH9CJ]$1\PH9028*E?KRE³

J&Á À ³L³hK -

MATT"TnM`: M c

O-rp qr &wo L ³L³hK e-ML/Q e

JÀ$q"o ³L³hK L M$eM$ /T#M$4o. Mº

p$ moZp3pp3Ä2 o o ³L³hK iM`s M`qFZo

Ä42¡pQÀFp ³L³hK &(M *

{?_9029

-

T"T"T : KRE&6<6\8-KR@RG^16\P2158*KBAPwGcOz9EQJ?_9EH9P&1\JD \wE2KR8-O@LG(PwG$Oz9].PH9028*E?KLE?S15P29Q]-9?

6\SJ]*KLE?O021D]$CJA79Q]

I$G(PH_D9^PwG$ODKRSD3yE2G$E2PH98½³

J À$q"o

º ³

(³ c e³

eV³Bc

)**³nc

RT*³ c

(³ o<³

4ho.³ )*e ³

L ³

c * L/Q«e ³

p mop"3p p3BÄ42o

-³

iy³)* )*#sJ³

o^³

)*#qroQ?³ *

9V]$97JS9T6yPwG$OJ9].`n02CD@R9^65AZA71507]$KRSD35@RGV³

L À r 5 =7Vp m QÀDspVqÀDÅ s\p3Ä2p À$ÄzqÀ 6: £.D 9 %a?<?>~£¥`£ ¥¦££."£Z¤@¦X¤X¤_9 +XZY RT¼ye

g

4°º i"

C>&DE ¦@; X/@D]H/ZH~£F<` )J¥7£@£Z¥ £.@;ZHD£@Va

$VqÄFÄ&%Ft

*³ c )* e ³

)* ae ³Wc

RT¼we *³ c

)*v³ c º ³

º ix³)*

4¼º iE³ c

~1JNQ_J6Qh$KRSD3^]$97JSD9Q]yE2KR8-OD@RGPwGcOz9]yPH9028*ENKRP 0298.6KRSDEP21VE2_D1{¡ 4¾zE2P20H15SD3VSD14028.6@RKR²6PHKL14SV15SyE2KR8-OD@RGPwGcOz9]yODC029?P29Z028-EQ

9SD15PH9VP2_D9^EH9P&1\EHKL8*OD@RGTPwG$Oz9]*ODCD0H9^P290H8-E[9

"!

KRPKRE&6yE2CIDE29P19

L À r 5& ¡£'S9

¡¦@ ¡ 4¾2Z@¥X¤$¢]Hy¤X\¥VU D,°¦7/¦B¤~¢Ea

?_9 64]D6ODP76PHKL14S^1FP2_9?¡ TA6\E29Wª l JKREM4CDKRP29E2P2076KR35_$P"150H{ 6\0`]FQuwP 029@RKR9E14S©6\ST9Q6E2G$#5029Zh590HE29#[email protected] ³

@R9P &%xIJ9^OCD029^PH9028*E&6SJ]t u(Iz9Vh560HK¶6\ID@R9E$K¼ jEui!t k

*

%P2_D9ZSP2_D9Z029^KRE&6yODCD0H9^P29Z028 EHCJAH_P2_z6P¡³ )

*

6\SJ]"% #jEu!it kc

?_9A}15SJ]$KRPHKL14SDE?1 P2_D9VOD0H9E29Z02h56PHKR15SPH_D9150H98 (6029"C@°z@L@R9]·N$E21&³

VÄzqÄ &&"rqÁ D¡£ 9

¡¦@&JD 32Z@w¥X¤~¢EH(¤X¥VUD]¼¦7/¦B¤$¢]a

(17)

n (

ª607]$KRS6Sz][<U

¬

15E?]$97JSDKRPHKL14SV1` ª&607i5:$Nz[^U

¬

1ci4¡KRS.P2_D9"0768*9{1402(1\YzFNDKRE³

e')

g e K¼Yzwc K zre]s, "&V

{?_K¶AH_¹076KRE29E"9{A7158*8-9S$PHE?_J6P·02CD@R9]~1c9ZESD15P·8649PH_D9 \w029]~CJA7PA7158*ODCDP`6\P2KR15S 97|DOD@RK¶A}KLP·E2KRSJA79xKLP.CDEH9E6S

c8.6P`AH_DKRSD3 ViDe&KRSDEHP2964]1\15C0-&SD14028.6@RKR²6PHKL14S¡,.150H9.OD029A}KLEH9@RGcN KR8634KRSD9©`6ODOD@RKR9]Æ15S6PH9028 Fw«e Z

1-6\[email protected]@R9("&VNz15SD9<8(CDE2P?EH15@Rh595Nz8*1~]~CD@R1TPH_D9^P2_9150HGFNFPH_D9T9QM5Cz6P2KR14SK-e]s]{?_9029-eNP2_D9(`\w029]$CzA7PNFKRE

PH_D9&CSD$SD1{?S."PH_D9Vh5602KB6\ID@R9PH1TKRSDEHP`6S$PHK¶6\P29Z5?_KLEA7158*ODCDP`6\P2KR15SyKRE{?_z6P{9A6\@R@¨4w86\P`AH_DKRSD3z5=@R960H@LG$N54w86\P`AH_DKRSD3^KRE

8*150H9A7148-OD@R97|-PH_J6S wSD140286\@RKL²Q6P2KR14S ³{9^]$1*SD15P?9Zh59S$SD1{ {?_D9PH_D90^4w86\P`AH_DKRSD3yKLE&]~9A7KB]D6I@L9<150?SD14P&6SJ].EHKRSJA79

c8.6P`AH_DKRSD3·86QGOD0H1D]$CJA79.E29Zh59076@&EH15@RCDPHKL14SDEN02C@L9· "&V<86QGO021D]$CJA79.EH9h59076@029]$CzA7P2En"150^PH_D9.E`6\8-9-`\w029]$9}|N

6\8-14SD3VP2_D98 PH_D9^A7@B6EHE2KBA6@ \0H9]$CJA7PQJ=14SDE29M4CD9ZScPH@RGcN02CD@R9y "&VKRE@L9ZE2E&14OJ9Z0`6PHKR15SJ6\@FP2_J6\S14CD0&`n02CD@R95

,15029Z1h590QN 15CD0(`[email protected]uwSz]$99]FN KRSxP2_DKREy029Oz150HP-{96OOD@RG15CD0(]$97JSKLPHKR15SPH1 zF CDP(6@R@{9.SD9Z9]xKLS

140`]$9Z0TPH1 ]$9}JSD9`KRET6·P290H8029{?0HKRP2KRSD3E2G$E2PH98 PH_J6P(A7148-ODCDPH9E^z2A715S$PH0`65A}P2KR15S

!

"150<KLSE2P`6\SJA79.{9]$1S15PyCDE29.029}

Sz68-KRSD3y15Oz9076P21402EV@RKR59WszJª?9ZSJA795N `.A6SIz9©64]D6ODPH9]·P21-9Zh590HG$2A6\@¶A}CD@RCDEV197|DOD@RKBA7KRP&EHCDIDEHP2KRP2CDPHKR15S¡Nz{?KRP2_9}|~O@LKBA7KRP

Sz68-9ZE140?SD15PQD¸D140KRSDEHP`6SzA795NzKRSz®$´ª&?5i 2N${9{15C@¶]*{?0HKLPH9³

·e '

g

4¼º *IH,

6\SJ](KRS=[&Vid4I]D³

4t T°w-t 'N

g

4°ºBit "

6EHPN15CD0y02CD@R9*KLEyCDSJA}15SJ]$KRPHKL14SJ6@wF9*_J6Qh59*E299ZSPH_J6PyP2_KLEy@R965]ÆP216.h59Z02G359ZSD90`6\@6\@LPH902Sz6P2KRh49(1PH_D9A}@¶6\E2EHK¶AZ6@& zN

Sz68-9Z@LGy 5¾F{?_K¶AH_]$1$9E?SD14P0H9M4CDKR029T9B0HCDKW7S.SD15P76P2KR14S¡5?_9A}15SJ]$KRPHKL14S(16ODOD@RKBA6\P2KR15S(1\P2_9A}@¶6\E2EHK¶AZ6@¡ (0HCD@R9&KRE?P21$1

EHP20H15SD36Sz]6\E^{9y_J6Qh49TEH_D1{?S¡NFPH_D9029-6\029(14P2_D90yA715S$±zCD9S$P^029Q]$CJA7PHKL14SDE^{?_DKBAH_6029(S15P^A6OP2CD0H9]I$GP2_DKRE^0HCD@R95F?_DKRE

9}|6\8-OD@RK¼J9E15C0&A715S$h$KBA7P2KR15S.PH_J6P?97|DOD@RKBA7KRP?E2CIDE2PHKLPHCDP2KR14SDE&[email protected](]$99Oz90VCDSJ]$9Z02E2P76SJ]~KLS3-1$2A6\@¶A}CD@RCDENSD15P15SD@RG(1

KRPHEzw029Q]$CJA7PHKL14S6EHOJ9A}P^IDCDPT6\@RE21-1\15PH_D90T6\E2Oz9A7PHET@RKR59T \w029]~CJA7P2KR14S¡FuwSP2_J6\P8.6SDS90NF65AZA71507]$KRSD3.P21=CD020HG+=?¸ 2N

9}|~O@LKBA7KRPE2CDIE2P2KRPHCDP2KR15SEA714SJA7CD0?PH1(OD029A}KLEH9TPH_D9"CDSJ]68-9ZScP76@RE1\Y@R1435KBA

l*s 2 ÄDÃ&ÀDÅ À2¡pQo¡9({15C@¶]@RKR59(PH1PH_J6S / KR90H029F9ZE`A6\SDSD96SJ]51DA79@RG$SD9.[?15CG590934@LK "140^P2_D9ZKL0(A714SDE2P76S$P

EHCDODOz150HPNJ6\SJ]./ _DKR@RKRODOJ9V]$9W*V021$14P29^6SJ].[ 15Iz902PH1&864]$KR1V"140PH_D9KR0&0H986\02$E

XgUcbdXxVh8\ZhSUZx)S[]\ZS8T!Xf)axVXkSi.S8\ZXxVhR_ []U`SiUw

Xkhh xNSi!

QOo QOp

(18)

25V<

&=?=?iDe ,l&IJ64]$KwNDz=?60`]~9@R@LKwND/ 2D=CD0HKL9ZS¡NJ6\SJ] J zJVU9h$GcX|DOD@RKBA7KRP?E2CIDE2PHKLPHCDP2KR14SDEX"$¥¤D, X Y $$¤J§.w¦X¤D,

¥X7¢¥D,URUy¦B¤$¢NFedcZ³4f cdJe" DNDeQi5ie5

¸15CDSz]D6PHKL14ST1\ ,·6P2_986\P2KBA7E4X @RE29h$KR90 DA7KR9SJA79^/ CID@RKLEH_D90HE() Tg 150HP2_$2ª?14@L@B6\SJ]DN,&8-EHP2907]D68N$ei\dJ

$9QA715SJ]9]$KRP2KR15S

h [&Vid, 49Sz6KRE2E76DNFy 02KB6CJ]NJ/ DF9ZE`A6\SDSD95N¡6\SJ] Jz[?15CG590934@LKwzFNF6-A6\@BA7CD@RCDE?197|DOD@RKBA7KRP?E2CIDE2PHKLPHCDP2KR14SDE

{?_DKBAH_.OD029ZE290Hh59EVE2PH0214SD3(SD150H86\@LKRE76P2KR14S¡ $CDID8*KLPHP29]ND&9QA798(Iz90^ei4idJ

=?¸ E ª<)&=CD020HG6SJ]¸9G$E%X,U GZ¦B¤DEX\¥VH X}¢¦"§Nh515@RCD8*9(e5TXY@LEH9h$KR90 DA7KR9SJA79./ CDID@RKRE2_902ER y¡wg?1402P2_~

ª 15@R@B6SJ]DZN8-EHP2907]D68NJeQi

?_ 9ZE29T]$9y&1DA7PH15076P?]X P`6\PN SDKRh590HE2KRPDU9^/ 60HKRE&fDNFei!5

=CD0 46" / 2$=CD02KR9S¡=?6PH9351402KBA6@¡A}158(IDKRSJ6\P2150HEZ¤VYX\¥VU DE¦CX¤ND\¤F%X¤w¥X,°N 5i³Re~:*dJN$eQi

=CD0 \I / 2D=CD0HKL9ZS¡%D"2£¢,X\¥¦"§D]%X]UG¦¤D" X¥@`#F£ D£¤&¦D, ¢X¥¦C> U`@AD\¤F $¤J§w¦X\¤D]¥X7¢¥D,URUy¦B¤$¢?/ KRPw

8.6S¡Nzei! D

]f5:E g< *(]$9-0HCDKW7S¡68(IF]D6-A6\@BA7CD@RCDE^{?KRP2_Sz68-9Z@L9ZE2ET]$C8-8-KR9EQNJ6.PH1$15@ "140T6CP2158.6PHK¶A"150H8(CD@B6(86\SDK¼

ODC@¶6\P2KR15SNJ{?KRPH_ 6\ODOD@RKBA6PHKL14SPH1.P2_D9.=_cC0`AH_$2[?15EHE290<P2_D9140298¥XQ§VaRX¤D¦B¤1Ea£F4£¥Va 1DF4£VUy¦"£ ]D¤

.£2£¤&@Z§.>&D.D£¤N¨f*$5³!DeD5i4:DNDeQi5f5:

]fE g<E*n]$9[0HCDKW7S¡!SJ68*97"029Z9@B68(IF]D6AZ6@BA7CD@RCDE{?KLPH_V64A7KR@LKRPHKL9ZEz"150KLS$PH902SJ6\@D]$97JSDKRPHKL14S^1z97|DOD029EHE2KR15SE6SJ]

EH9358*9S$P2E &ª [ 9Oz1502P?f k4DN49QA2_SD15@R1534KBA6@ ?SDKRh4902EHKLPwG.X KRSJ]$_D1h49S¡NDg 9P2_D9Z02@B6SJ]~ENJ9Oz602PH8-9S$P

1\ ,6\P2_D98.6PHK¶A}ENFei4f

ª604f" ?_¡$ª&6\0`]$KRS¡ £.@ DE@WF5£^§X\¤ D£Z¤J§7£[X"$¥BL£.@&¥£}¢ER£@)Y"X¥2£@nF4£BD`X}¢¦D£^§X,U GZ¦B¤DEX\¦B¥`£V§D" £7¢X¥Z¦D£^£.

¼¦"£¤&@`D £7§`L£.@nD]UGF!D 2`§D]R§@} ?_ 9E29T]~9T1~A}P215076P&]X P76PQN?SDKRh59Z02E2KRPDU9/ 6\02KRE&fDNFeQi5f

ª604i" ?_¡$ª&6\0`]$KRS¡F=14S$±JCD9SzA79V029EHCD@RP2E"140P2_D9ODCD0H9&E2PH0214SD3©AZ6P29Z35150HKBA6@FA7158(IKLSz6P21402GV@R1534K¶A?=?=? ³c~2A6@BA7CD@RKJ6\E

EHCDIDE2G$EHP298*E&1=?=?W<?>D£X\¥`£.¦§D,%X,U;!!£Z¥ #¨§Z¦"£Z¤J§7£N4 D³:4iDeDd$:DNDeQi5i

ª60`i4:" ?_¡ª&607]$KRS¡(X P`6 A}15S$h590HE2KR15S150VP2_D9(@B6\SD35CJ6\359E1?97|DOD@RKBA7KRPEHCDIDEHP2KRP2CDPHKR15SDEQ(uwS 4¥F `lc# 5N

14@RP290H0`6DN$uwP76@RG$NJeQi5i5:

ª)5iE ?_¡?ª60`]~KLS¹6Sz] JJ?VU9h$G$\A715S$±zCD9S$PA6\@¶A}[email protected]TEHCDIDE2PHKRP2CDPHKL14SDE uwSDF¥D¤z§`£ 2DD¤ ¥w¦7§Z¦D,

Z¤£ ^¼¦R¢\£Z¤J§7£/D¤F%X]U_ !£Z¥ #¨§Z¦"£Z¤J§7£#H]U_&XE@}¦ UyNDuw²ZC¡NFei!5iD

ª E z[?153490-ª?KRSJ]~@L9ZG6SJ]515_SJ6PH_J6S«/ $9@B]$KRS¡ ¤w¥X"F"D§.¦X\¤6X%X]UG¦B¤4D" X¥@D¤F D,U GFD 2`§D]L§ !@

=?6\8(ID02KB]$349;?SDKRh59Z02E2KRPwG$NFei! D

ie z2/ !515Cz6SDSJ6\CJ]-6\SJ]-=@B6\CJ]$9 KR0`AH_DS90 $14@RhcKRSD3<9M4CJ6PHKL14SDEKLS-6\IDE2PH0`64A7P&6@R359ZID0`6\E³D6<02CD@R97wIJ6EH9]*E2CD0Hh59G

1\¨CDSK°FA6PHKL14S¡zuwS 596\S$2F15CKLE¡6EHE29²V6SJ]*n5/ @R15PHcKRS¡N\9]$KRP21402EN%X]U_ !D"w¦X¤4D] X}¢ ¦"§ a @@D,H"@¦B¤ >&X¤4X¥

XY D¤nX!G¦B¤&@ X\¤DNJAH_J6\ODP29Z0nDN$Oz6359ZE&: 5f~4:De54?_D9!,.uw OD029ZE2ENF=?6\8(ID02KB]$349Vm, yN &Nei4iDe5

9E`i\d] / zF9E7A6SDS95&¸02158 J®PH1zFNF6?W715CD0HSD9G*P2_D0H15CD34_A6@BA7C@LKF1\97|DOD@RK¶A}KLP?EHCDIDEHP2KRP2CDPHKR15SDEQuwSª&6SEn 1c9Z_D8N

9]~KLPH150QN¥XQ§7£7£F\¦B¤$¢"@ X Y >D£ *]@ ¤D¤ D] #4H]U;X"@¦UyX¤!¥Z¦B¤J§Z¦hR£@#" Y$¥X}¢ ¥D]U/UT¦¤$¢l D\¤$¢ D ¢\£.@

(X\¥ZD¤4F%"?¥Va # 5N$OJ6349E; 5k& 5i&=l,ÆN¡ei4idz

[&Vid$6" / 9E`A6\SDSD96SJ]J[?15CG590934@LKw?_9A6@BA7C@LCE(19}|~O@LKBA7KRPyE2CDIE2P2KRPHCDP2KR15SEzF« 9AH_DSDKBA6\@&[?9Oz150HP

[[2:5:5:4:DNu2g[?uZ 1502076KRSD95N$6S$CJ6\02GeQi5i\dJ

[&Vid4I / D9E`A6\SDSD9(6SJ] Jz[?15CG590934@LKw X|DOD@RKBA7KRPEHCDIDE2PHKRP2CDPHKL14SDE?{?KRP2_]$9W 02CDKW7S E?@R9h49@REN&C35CDEHPTei4idz

%,.9Z@¶i*" / ZTV,.9Z@L@RK9EQJG$OJ9Q]-~A6\@BA7CD@RKD{?KRP2_(97|[email protected]^SD15P P290H8-KRSJ6PH95DuwS ,Æc9²6\SDKwN59Q]$KRP2150QN

Z¤ra&%X¤VYVaX\¤ <4HD£F D,U GF!D'%D]R§@WD¤F ¼¦"§D"w¦X¤&@}NFeQi5i*D

[<U

¬

1$i5E yD[^U

¬

15EQ(%X\¤¥Z¦G!w¦X¤&@)D/+*£.F5£/F5£.@&2`§D,L§ @AD £7§/F5£.@n@G.@w¦!¦X\¤@T£¼¦"§Z¦£.@¡?_ 9E29T]~91DA7PH150`6\P

]h SDKRh590HE2KRPDU95N4^D/ 60HKREl &u2uNei4i5D

(19)

S<`5V( 25

. 5y-

9^M4CD14P29(=CD020HG6\SJ]¸9G$E=?¸ ! c³=148(IDKRSJ6PH150HGT@R1534KBA&KREV6(ID076SJAH_186\P2_D98.6PHK¶AZ6@z@L1435KBA{?_DKBAH_A715SzA7902SE^KRP2E29Z@°

{[email protected] "15CSJ]D6PHKR15SDEQDuwP2EVODC02Oz15E29(KREP2_D9(6SJ6\@RGcEHKRE&1A79Z02P`6\KRSSD14P2KR15SE&1E2CJAH_IJ6EHK¶AyAH_J60765A7PH90^PH_J6PP2_D9G

6\029*150`]~KLSz602KR@RGP7659ZS"140^35076S$P29]¡?_D9ZE29.KRSJA7@RCJ]$9*P2_D9*OD021DA79EHE29E.1\&E2CDIDEHP2KRP2CP2KR15SxCDE2CJ6\@R@LG·KLSz]$KBA6PH9]I$GP2_D9.CDEH9-1

h56\02KB6I@L9ZE

!

6SJ]6@REH1-P2_9-A7@B6E2EHK¼¨A6PHKR15S19S$PHKLPHKR9ETA714SDE2PH02CJA7PH9]I$GPH_D9EH9-OD0H1~A}9E2EH9ETKRS$P21.PwG$Oz9E^150^A6\P2934150HKL9ZEN{?_DKBA2_

KRS8.6S$G(E2G$EHP298*E&_J6\EPH1-Iz9©]~15SD9yKRScPHCDKRP2KRh59Z@LG(Iz97"14029yP2_D9yP2_9150HGA6SIz9©6\ODOD@RKR9]FDuwP_J6EVIz99S15IDEH902h49]P2_z6P&PH_D9EH9

S15P2KR14SDEND6\@LPH_D15C35_-349SD9076@R@RG(OD029ZE2CDODOz15EH9]6029VSD14P?E2KR8-O@L9

!

PH_D9GA}15SDEHP2KRP2CDPH9T6<OD029@R1435KBAN$E21(PH1(E2Oz96FN{?_D15EH96\SJ6@RG$E2KRE

KRE(I$GSD18-9Q6SDE(PH02KRh$K¶6\@w[LRR uwP*KRE-P2_9E2G$S$P2_D9ZP2KBAPH_D91402G {?_K¶AH_[email protected]\@RGcEHKRE(1^E2CDIE2P2KRPHCDP2KR15S KLS

PH9028*E1\Y6yEHGcEHP298 197|DPH0298*9&E2KR8*OD@RK¶A}KLPwG$?_D9VPH_D9150HG-1\@B68(IF]D6Q2A714Sch4902EHKR15S(KRE?KRScPH9028*9]$KB6PH9&KRSAH_J6\0`64A7P290IJ9ZPw{99ZS

PH_D9-EHG$ScPH_D9PHK¶AnP2_D9Z1502G6\SJ]1507]$KRSJ60HG@R1435KBA7E?&@RPH_D15CD34_KRP2ET6\SJ6@RG$E2KRE^KRE^KRSE2148-9({?6QG$E^@R9E2EyOD021\"15CSJ]·8.6S$G1&PH_D9

A}158-O@L9}|~KRPHKL9ZEKRS.0293$607]-PH1(h560HK¶6\ID@R9E&60H9^E2PHKR@L@FCSJ6SJ6\@RGcEH9]*P2_D9Z029<G59PKRPKRE&S15SD9VP2_9^@R9E2EE2KR35SDK¼¨AZ6S$P

!

6\SJ].KRP_z6E&PH_D9

64]$h56S$P763591]$9OJ6\02P2KRSD3(@R9EHE?0`64]$KBA6@R@RGy"0214815C0?KLS$PHCDKRP2KR15SDEQ

½yV 2 5^ J'5y V·

9V65]D].6JSDKRP29<E29P?1\ A}15SDEHP`6S$PHE?P219?FN$"14028*KLS3W9 QND6Sz]-PH_D9KR0&6EHE21DA7KB6PH9]A714SDE2P76S$P?02C@L9ZE ]ho. f P21-FNP2_D9S

J À$ÄzqÀ =7Ä42 zÀ$qJÀ2sÀ*Ä&%

:

a £Z¥VUy¦B¤D"2£[email protected]

a ¦@AX\¥>X7¢X¤4D]% >D£¥7£^YX\¥`£^§X\¤ D£Z¤Za

nÀ rDq65+72Ã<À'&&Â%2Ä! 2 ÅÀ~Å 2 À~oQo?Ä%T

mV

=

:g<?>D£ 2£¥ UT¦B¤4D"w¦X¤XZY ¦@ z¥X £FB¦>RD_@¦^U_¼¦7§D"w¦X¤-X\¥F4£¥¦¤$¢

E

ac# X(¦ §X\¤ D\¦B¤@ D\¤F

%D¤F C>~£Z¥`£YX¥7£_ >D£Bw¥D\¤@¦w¦ £<§VX"@$¥`£WXYB>D£¦¥$¤D¦CX¤a

nÀ rDq672r &C3s\rDp"3BÄ2rl2YÅxrDmoZpqrzsp"3"Ä42opQq"sp qÀ-3wo qÀDoÀ$q zÀDÅ: @T¤X R£^Y >&D\¤F@¦ F4£-XZYV (¥L£.@T¦@D¤

D.4°¦"§D"w¦X\¤NX¥WD¤ DG.@¥D5§.¦CX¤gYX\¥ e 9.

a eK» Qw$2 Zre

a zc K»z w$

nÀ rDq67 q5s Â nÄ¨oQoZÀcq^s\Ä2oZÀ! À2sÀ4: @ ?¦@(> c¥7§> 2(X"@@£Z¥YX\¥ oS9k~ Z4ho"K Z$V ZroQC"

L À r 5 )X¥;L

e D¤FI

kg)L q :>=

roQC

L a

L À r 5 4)X¥;L

e D¤FI

kg)LQ I q Zor

L hos a

VÄzqÄ &&"rqÁ 67^rqÀ 2ÅqÀJp^oZpÁ&Àp mYoZp"3"p pV3BÄ42 LÀ r :4heViEho.

4qFroQC he]ho.iET

J À$ÄzqÀ

aA>D£/J¥X£7§.¦X\¤+R£VU/U D`YX\¥WcWd7` >X]FE@ IBD-c`d7`322¥`£ ¥¦£G`£.Z£7£¤ £Z¥VU`@SXZYW9? w¥D\¤@VD"2£.@©¦B¤=Dn22¥`£F"D§.¦CX¤

G`£.Z£7£¤ C>~£Z¦B¥?622¤4X¥VUD]]YX\¥VU`@.a

a_cWd7`Æ¦@T§X\¤~£Z¤nX\¤9 9%G HBJ¥7£ Q¦X"!@^¦2£VU/a

V?n 5 n

º

uwSPH_D9(SD97|DP^@R98*86ND{9(OD021h49(P2_J6\P6\S97|DP290HSJ6@"KRSPH_D9(P290H8OJ6\02P`<`\0H9{?02KRP29-A}15020H9E2Oz15Sz]$E(P219}|64A7P2@RG15SD9- 4¾¼

0H9]$CJA}P2KR15S¡uwSOJ6\02P2KBA7C@¶6\0Nz6S.97|DP290HSJ6@`\w029]~97|E2P20HCJA7PHCD029-]$1$9ESD15P?P768*OJ90?{?KRPH_FwSD140286\@RKL²Q6P2KR14S¡$"Iz6E2KBA^AZ6E29³

dyIJ

L À r 5 67! FpÀ$q]2 r & $VqÄQÀDsp"3Ä2"LÀ r : ¡£ e 9?`

¦Y

g

e/C>~£Z¤-w$

*

ZeVa

"

[]TVi.S[JU xVX[bRiY%Y>bRX# )\hxVikSXRaYZXk^\Zb

QOo QOp

(20)

$VqÄFÄ&%Ft) GS1c9ZP2_D90HKB6S.KRSJ]$CJA7PHKR15S.{?KRP2_-PH_D9^{9@R@¼""14CDSJ]$9Q](1507]$90 )

e4 `K»e F³\IcGy[?98.602^:6SJ]y[?98.60HN $K e HK Fw $e

* w $V¼ºniE?K

w4°ºBi"")K re

: `K»

g

7¾

E

g

7¾wN$I$G-KRSJ]$CzA7P2KR15S*_$GcOz15PH_D9EHKLE ³D

*

7¾LZ

GA}158-Oz6P2KRIDKR@RKRPwG^1 4¾c³Dz

*

J 7¾R

SJ]. S15028.6@RKRE`6\P2KR15Sy@R97"P?CDSJAH_J6\SD359Q]-PH_D9T6\IDE2PH0`65A}P2KR15S.E2PH02CJA}P2CD0H95NzE21&³z N

* 7¾B

`K .H³D6E?O029h$KR15CDE&AZ6E294

dz `K ]ho.`

>

7¾Zho249A6\SS15P?6ODOD@RGyP2_D9VE768-9?0H96EH15SDKRSD3zN$IJ9QA6CDEH9T yKRES15P?]$97JSD9Q].15S9 N$EH1

{9V_J6Qh59VSD14PPH_D9TA7148-OJ6\P2KRIDKR@RKRPwG^E2PH9O¡D98(CDE2P@R1$15-6P?PH_D9VE2PH02CJA7PHCD029(1\YA ³

64-/K4Hd!ho`

g

H5¾^d!ho K'e$9_J6Qh59³

/K Hdho.

H4o.dho.

GA7158*OJ6PHKL@RKRPwG^1\Y`n15S-9? N

H4o.dho.`

g H ¾ hod!o.

G.KLSz]$CJA7PHKL14S-_$G$OJ14P2_D9ZE2KREN

mH4hod!o."

* mH

¾o.dho."

SJ].&wSD150H86@RKRE`6\P2KR15Sy@R97"PCDSJAH_J6\SD359]P2_D9^6OOD@RK¶AZ6P2KR14S-E2PH02CJA}P2CD0H95NzE21&³

mHd!o."

*

& mH

¾

dho.

w$

N

*

re

"IJ./K»mH.e Vho.

g

dho. K'e

w$K»HmHe 2 ho" K wF HqroQC?e qZor

K HqroQC"Ve

*

w mH4qZor"V¼ºni""

K Hq·roQC ¼ºni""

K Hq·roQC ¼ºRhoi""

K H¼ºniE o." K»

Ze

A./K¹w H$Vho.`

g

wdQVho)K'e&6Sz] H+

g d

9V_J6Qh49³z H$Vho.

N

mH4qroQC"EH1. H$Vho.

E N

F H4q·roQC"; GA}158-Oz6P2KRIDKR@RKRPwGV1`zN

mH4qroQC"

g

rd!qroQC"

G.KRSJ]$CzA7P2KR15S*_$GcOz15PH_D9EHKLEQNJ mH4qroQC"

)

*

wFZdqroQC"H

2w H$Vho.H

*

2#dQVho"

w$

N

* re

]D./K4H4Z ho

>

d!Z ho. K=eV6Sz] H

g d4

H4Z¡KRE&6^EHCDIDP29Z028 1`H4Z ho.N4E21({9^A6S6\ODOD@RG(P2_D9<KLSz]$CJA7PHKL14S-_$G$OJ14P2_D9ZE2KRE&14S-KRP¡³

HZ"

* ZdZ"

G]$97JSDKRPHKL14S-1\Y 4¾¡PH_D9029<97|DKLEHP2E(E2CJAH_.P2_J6\P¡³

mH4Z"N

>

rd!Z

(21)

GA7158*OJ6PHKLIKL@RK¼PwG^1`y14SS9 ³

HZ"Vho.

g 4o.

rd!Z" o.

E6A7@R15E2C029KRE(SD14P(KLS wS$`N HZ"Vho.

K

N

H4Z o.2NFE21{9A6S«6\ODOD@RGPH_D9.KLSz]$CJA7PHKL14S

_$G$OJ14P2_D9ZE2KRE³

mH4Z ho"

* w ZdZ"Vho.

SJ]*IcG.A715S$h4902349SJA79y1

³

mH4Z ho"

*

ZdZ ho"

w$

N

*

re

uwSyP2_9"15@R@R1{?KRSD3@R98*86N7{9OD021h49PH_J6P6\STKRS$P290HSJ6@z`\0H9{?02KRP29&A}15020H9E2Oz15Sz]$EPH1V²9021zN15S9?150 E29h490`6\@J \A}15S$P20765A7PHKL14SDE

9OJ14KRScP?14CDP{?_D9029<P2_D9T`w029Q]$97|D9E6\029^9Z@LKR8*KLSz6P29Q]y150&]$CDO@LKBA6\P29]

L À r 5 ¡£;D9ZG+ 9 `¦Y?

g : e >D£¤-$

*

& re a

$VqÄFÄ&%Ft) GS1c9ZP2_D90HKB6S.KRSJ]$CJA7PHKR15S.{?KRP2_-PH_D9^{9@R@¼""14CDSJ]$9Q](1507]$90V

N

VZ

e4 `K»

g : [Kge\G*KLSz]$CJA7PHKL14S._cG$Oz15PH_D9E2KRE?14S V6\SJ]-A7148-OJ6\P2KRIDKR@RKRPwG^1 (15S 9V

: `K .Hz$u2]$9Z8

`K ]ho.

64 ]ho.

g :

]Z2 G-SD9}|~P @L9Z8-8-6 R

"IJ]ho.

g :

H4o.2

E

g :

HzN$I$G(KRSJ]$CJA}P2KR15S._$G$OJ14P2_D9EHKRE¡³

* Hc

GA7150H029A7PHKR15S¡Nz`(EHKL8(C@¶6\P29E 5¾15S.ODCD0H9VP290H8-EN

)

g ¾ )

¾ T"TT

mH$

?_D9(`\w029{?0HKLPH9-60H9T97|DPH902SJ6\@Iz9A6CE29-OCD029yP290H8-EVA715S$P`6\KRSSD1.A7@R15EHCD0295?GA}158-Oz6P2KRIDKR@RKRPwGT1\

`*6SJ].-³

ho

g ¾ ho

)

¾

Vho.&T"T"T&mH$ o.

G.²9021(140?8-140296\ODOD@RKBA6PHKR15SDE1 P2_D9^9}|~PH902Sz6@¡O021W79QA7P2KR15S.@R98*86DN

& Vho."

*

¾

ho"K»w ¾

Vho" T"T"TmH$Vho."

G.0298.602-N

]ho.

* Hho."

997|DP20765A7PV6yOJ60HP2KBA7CD@B60?A6\E29^1\P2_9^OD029ZhcKR14CDE?OD021$1\J³

L À r ¡£;D9ZG+ 9 `

¦Y 4ho. N

g :

4Z%C>~£Z¤wc

*

ZeVa

$VqÄFÄ&%FtF9VE2CDOOJ14E29³4o

g

QOo QOp

An explicit $Eta$ rewrite rule

HAL Id: inria-00074258

https://hal.inria.fr/inria-00074258

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished 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.

Daniel Briaud

To cite this version:

Daniel Briaud. An explicit Eta rewrite rule. [Research Report] RR-2417, INRIA. 1994. �inria-

00074258�

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

An explicit

rewrite rule

Daniel BRIAUD

N˚ 2417

Novembre 1994

PROGRAMME 2

Unite´ de recherche INRIA Lorraine

Technoˆpole de Nancy-Brabois, Campus scientifique,

615 rue de Jardin Botanique, BP 101, 54600 VILLERS LE`S NANCY (France) Te´le´phone : (33) 83 59 30 30 – Te´le´copie : (33) 83 27 83 19

Antenne de Metz, technopoˆle de Metz 2000, 4 rue Marconi, 55070 METZ

Te´le´phone : (33) 87 20 35 00 – Te´le´copie : (33) 87 76 39 77

η ’

Λ m Λ ⊥

Λ m Λ _⊥