Fast and efficient Generation of Loop Bounds

HAL Id: inria-00074577

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

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.

Fast and efficient Generation of Loop Bounds

Zbigniew Chamski

To cite this version:

Zbigniew Chamski. Fast and efficient Generation of Loop Bounds. [Research Report] RR-2095, INRIA.

1993. �inria-00074577�

ISSN 0249-6399

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

a p p o r t

d e r e c h e r c h e

1 9 9 3

PROGRAMME 1

Architectures parallèles, bases de données, réseaux et systèmes distribués

Fast and Efficient Generation of Loop Bounds

Zbigniew Chamski

N˚ 2095

Octobre 1993

+-,/.1032/.1465879;:=<>@?.

A;BDCFEGBIHKJJLMONQPRBISUTWVYXDLZS[XD\WBUL@]^_H`B[H`aYacbL@aYL@]d6e3H`]DLf]g6Lg6CGhWhjiL@L@]Zd3BWiL@]ULH`\6k

L@Xl]Umn]UXbL@J%L@]lg6VY]DXUBDVYeW\jiLf]

A;BDCo[LfXlPA;p

qlHK^W^3CFBDXjg6LBULSUTWL@B[SDT=L!hr6sFtGuFvNQwSxXDCFe=BDLMuFuGyRNzMZt^3H`EFLf]

{|-}f~`€_K~F‚„ƒ\=BDBDLfhnX…a†C6CG^*EFL@h=L@BIHKXDVYCFh‡XDLSUTWh=V‰ˆG\WLf]!H`BUL!e_HK]DLgŠCFhŒ‹=CF\WBUV†LfBŽDCFXU@‘6V†h

^_H`VYBU’“HKV†]UL!Lfa†VYJ%V†h3H`XDVYCGh”d3’jTWV•SDTŒVY]‘6hWC`’jhŒXUC*e3L–FLfBDmŒJLfJCFBUmG“H`h_g—S[CFJ%^W\WX[H`XDVYCGh6

VYhnXUL@hW]UV†–GLF˜ pŽh™XUTWVY]^_HK^_L@B…’šL L[kW^WaYCFBULH`hŒH`aYXDL@BUh_H`XUVY–FL ’“HZmœ›XDT=L!\W]ULCKš^_H`B[H`J%L@XDBUV‰S

aYV†h=LH`B^WBDCGEFB[H`JJ%VYhWE_dZ’jTWV•SUT™H`aYaYC`’j]XDC]DLf^_H`B[H`XDL…XDTWL!SxCFJ^=\WXIHKXDVYCFhCKgžV†]UXDVYh_S[XjaYC6CF^

e_CG\Wh_g6]lHKh_g%aYLHFg6]jXUCŸH ^3H`BIHKaYa†Lfa”H`aYEFCGBDVYXDTWJ 1CGBšaYC6CF^%EFL@h=L@BIHKXDVYCFh”˜

¡%¢n£œ¤U¥¦3F§¨}K‚a†C6CG^EFL@h=L@BIHKXDVYCFh”dGS[CFJ%^WVYa‰HKXDVYCFhdD^WBUCFEGBIH`J©XUBIHKhW]Ž1CGBDJH`XDVYCGh”d@aYVYhWLHKB”^WBUC`

EFB[H`JJVYhWE

ª•«¬

­c®Ž¯°

¬

­/±/²Y®Ž³c´xµ

¶

·¸F¹[ºŽ¹[»¼¾½¿ºcÀÁ`¹[ÂFÃ=ľÀDܹ@ÅU½1ÀUÜÁ`À;ÆÇ[È1ÉŽÊ ËÌ[ÍfÎKϨºcÀÐÂFÑ[Ò`ľÀ@Î[ÓZºc¹xÂFÅDÀ@Ô

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) T´el´ephone : (33) 99 84 71 00 – T´el´ecopie : (33) 99 38 38 32

… - z*Œ *Œ )

¢W} ¢‚œL@]jJiL@XDT=CžgžL@]“gžLlE-iLfh“iL@BIHKXDVYCFhg6Lle3CFBUhWL@]lg6LRe_CG\_S[aYL@]]DCGhnX^3CF\WBa•H^WaY\6

^_H`BUX!e3H`]WiLfL@]]U\WBaDiLfa†VYJ%V¾h_HKXDVYCFh™gžL ‹=CF\=BDVYL@BŽDCGXD@‘6VYh”˜/ƒL@^_Lfh_gWH`h6XZdšS[L@XUXDL*XULSUTWhWV•ˆG\WL

L@]DXjS[CGhWh6\WLl^3CF\WB]IH…EFBIHKh_g6LlS[CGJ^WaYL[kWVYXWiLjXUL@J^3CFBUL@aYaYLšL@X]D^3H`XDV•HKa†LG˜H`h=]šS[LgžCžSx\WJL@h6X

hWCF\=]lhWCG\W]lVYh6XWiL@BUL@]D]UCFhW]bH \WhWL!HK^W^WBDCWSUTWLH`aYXDLfBDh_HKXDVY–FL!ˆG\WV/S[CFh=]DVY]DXUL bH \WXDVYaYVY]DL@BRa‰H!

"

$#&%%'#!(*)+&,.-/)0,21

3

#&)4

3

5#&#6%1

3

(7)98:

3;

ƒL@XDXULH`^=^WBDCWSUTWLl^3L@BUJL@XšgžLj]WiL@^_HKBDL@BaYL@]šS@HKa•S[\WaY]

g6Le_CGBDhWLf]g6VY]DXUVYh_S[XDLf]LfXlS[CFh_gž\WVYX!bH \Wh™H`aYEGCFBDVYXUTWJLj^_HKBIHKa†aŽbL@aYLR^_CG\WBja•H E-iL@hjiLfBIH`XUVYCFh*g6L

e_CG\_S[aYL@]Z˜

< ¦_~`}f¤I&=>¢ ‚!E-iL@hjiL@B[H`XDVYCGhŸg6Le3CF\_S[aYL@]ZdFS[CGJ^WVYa•H`XUV†CGh”dUXDBIHKhW]Ž CFBDJH`XUV†CGhg6L^WBUCFEFB[H`J%JL@]Zd

^WBDCGEFB[H`JJHZXDVYCFh aYVYh“iLH`VYBUL

3 3 3

--‡)j

jTWLlh=L@Lg 1CFBa†C6CG^EFLfhWL@BIHKXDVYCFh%XDLSUTWh=V‰ˆG\WLf]jT_H`]jg6BIHKJ HKXDV•S@H`aYaYmEFBUC`’jh’jVYXDT%XDTWLg6L@–FLx

aYCF^WJ%L@h6XšCK;^3H`BIHKaYa†Lfa†VY@VYhWES[CGJ^WVYaYL@BD]Z˜jTWL…a†C6CG^ EGL@hWL@B[H`XUV†CGh*^WBUCFeWaYL@JS@HKh*e3L!]UXIH`XULg

H`]R1CGa†aYC`’j]Z›DEGVY–FL@h™HKh™VYXUL@BIHKXDVYCFh™gžCFJ HKVYhŽHS[CFh6–FLxk™^_CGaYmnT=Lg6BDCGhd”S[CGJ^W\WXUL!XUTWL

e_CG\Wh_g6] C`HŠaYC6CF^ŒhWL@]UX’jTWCG]DL%L[kWLS[\WXUV†CGh ’jV†aYa-][S@H`hHKa†aVYh6XDL@EGL@B!^3CFVYh6XD] C`VYh H

EFVY–FLfhCFB[g6L@BZ˜jTWVY]j^WBDCGeWaYL@J H`^W^3LH`BU]lCK1XDL@hVYh^_H`B[H`aYaYL@aYVYH`XUV†CGh”d`’jTWLfh*XDTWL…V†XUL@BIHKXDVYCFh

]D^_HGS[LC`”XUTWLV†h=^W\WX^WBDCGEFBIHKJ(’jH`]JCWg6V _Lg \W]UVYhWE!]UCFJ%LjEFL@CGJL@XUBDV•SjXUBIH`h=]Ž1CGBDJ HKXDVYCFhd

H`h_g HRhWL@’ aYC6CF^ ]DXDBU\_S[XU\WBDLJ\W]UX¨e3LjEFLfhWL@BIHKXDLg VYh!CGBIg6L@BXDC^WBUCWg6\_S[LRXDTWLj^_HKBIHKa†aYL@aYVY@Lg

^WBDCGEFB[H`J!#"YM`d%$'&D˜(jpŽXVY]HKaY]DCŽHFS[Lg‡’jT=L@h™EGL@hWL@B[H`XUV†h=E VYJ%^_L@B[H`XUV†–GL^WBDCGEFBIHKJ])1L@VYXDT=L@B

^_H`B[H`aYaYL@a3CFBj]DLZˆF\=L@h6XDV•H`a*1BUCFJ 1CGBDJH`a3]D^3LS[V S@HKXDVYCFhW])#"s+&D˜(

ƒ\WBDBUL@h6X]DCGaY\WXDVYCFh=],#"YM`d-$&.HKBDLe_HK]DLg CGhH‡’šL@aYaŽ‘nh=C`’jh aYVYhWLH`B^=BDCFEGBIHKJJVYhWE

H`aYEFCGBDVYXDT=J™›6XDT=L ‹=CF\WBUV†LfBŽDCFXU@‘6V†h‡^_HKV†BU’jVY]DLL@aYVYJVYh_HKXDVYCFh”˜5R\WLXUC*VYXD]^=BDVYh_S[VY^WaYLFdœXUTWL

S[CFJ%^W\WX[H`XDVYCGh*C`jaYCnCG^™e3CF\=h_g6]BULˆG\WVYBDL@]HKa†a/XUTWLe3CF\Wh3g6]XDCŠe_LS[CGJ^W\=XDLgŒHKXCGh_S[LF˜

jTWVY]jVY]lH ]DXDBUCFhWE%aYV†J%VYXIH`XUV¾CGh1CGBlg6CFJH`VYhW]’jVYXDT*S[CFJ%^WaYL[k g6L/3hWVYXDVYCFhW]ZdW]UV†h3S[LXDT=LJL[

JCGBDmBULˆG\WVYBDL@J%L@h6XD]C`”XDT=V†]jH`aYEGCFBDVYXUTWJ HKBDLle3CF\=h_g6Lg enmHKhL[kW^_CGhWL@h6XDV•HKa31\Wh_S[XUVYCFhC`

XDTWLh6\WJe3L@B0CKOS[CGhW]DXUBIHKV†h6XU]!g6L/_h=V†h=E*XDTWLgžCFJ HKVYh HKh_g‡XDT=Lg6VYJL@hW]UVYCFh1CK“XUTWL

VYXDL@B[H`XDVYCGh]D^3HFS[LF˜

jTWL@BDLx1CFBULFd`VYX”e3LS[CGJL@]V†J%^_CGBDX[H`h6X_XUC2_h3g!HO’“HZmRC` g6VY–6V•g6VYhWEXDTWLaYCnCG^EFL@hWLfBIH`XUVYCFh

^WBDCGeWaYL@J(VYh6XDC]UJ HKa†aYL@BH`h_g%^3CF]D]UVYeWaYmV†h3g6L@^3L@h_g6L@h6XR]D\WeW^=BDCFe=a†LfJ]˜GP©]DCGaY\WXDVYCFhXUCXDTWVY]

’“HK]-CF\=XDaYVYhWLg e6m‹WLZH`\WXUBDVYL@BV†h"v&ÐdK’jTWL@BDLXUTWLH`\WXUTWCFB-^=BDCF^3CF]ULg%XDC \W]DLH 5#&$#&%

3

(7)3

aYV†h=LH`B^WBDCGEFB[H`JJ%V¾hWEH`aYEFCGBDVYXDT=J XUCS[CFJ%^W\WXULlaYC6CF^e3CF\Wh_gž]˜4OC`’šLf–FL@BZdWXDT=LLxkž^=a†CGVYXIHZ

XDVYCFhŠC`šXUTWLBDL@]U\WaYXD]^=BDCWg6\_S[LZg‡enmŠXDTWLH`aYEFCGBDVYXDT=J]jTWL ^WBDCG^_CG]DLg‡VY]\WhW^=BIHFSxXDV•S@H`ag6\WL

XDCXUTWLl]UVY@LC`”L[kW^WBUL@]D]UV†CGhW]jXDC…e_LL@–FHKa†\3H`XDLZgH`X-BU\Wh6ŽXDVYJLF˜5jTWVY]šJHZme_LRVYJ^WBUC`–FLg…XDC

CFeWX[H`VYh™HKh™CG^WXDVYJ HKaœL[kW^WBDLf]D]DVYCGh ]DVY@LGd”H`]]U\WEFEGL@]DXULg‡VYh6"s+&D˜œCFBUL@C`–FLfBdV†XRVY]^3CF]U]DVYeWaYL

XDC CFeWX[H`VYh H ^3H`BIHKaYa†Lfa”H`aYEFCGBDVYXDTWJ 1CGBšaYC6CF^EGL@hWL@B[H`XDVYCGh”˜

jTWLBUL@J HKV†h3g6L@BCKlXDTWL%^_H`^3L@BVY]CFBUEnHKhWVY@Lg HK]CFaYaYC`’j]›3’šL_BD]UXVYa†aY\W]UXDB[H`XDLXUTWL

^WBDCGeWaYL@JCGh$HKhŒL[k_H`J%^WaYL!H`h_g‡BULS@HKa†a]DLf–FL@B[H`ae_H`]UV‰SSxCFh_S[Lf^WXD]Z˜76LS[XUV†CGh98*XDT=L@hŒ^WBDLx

]DL@h6XU]!XUTWL^_H`B[H`JLfXDBDV•S…aYV†h=LH`B ^WBDCGEFB[H`JJ%V¾hWEH`aYEFCGBDVYXDT=JA/pDA H`h_g‡XUTWL]UXDBD\3S[XD\WBUL*C`

VYXD]BDL@]U\WaYXD]Z˜œpŽh:76LS[XUVYCFhŒv’Lg6L@]ISxBDVYe_L%XDTWLHK^W^WaYV•S@H`XUVYCFhW]RC`jXDTWVY]H`aYEFCGBDVYXDT=J XUC aYC6CF^

EFL@h=L@BIHKXDVYCFh”dWHKh_gEGV†–GLHKh L<; S[VYL@h6Xl^_HKBIH`aYaYL@a”HKa†EGCFBUV†XUTWJ 1CGBjEFL@h=L@BIHKXDVYhWEaYC6CF^e_CG\Wh_g6]Z˜

=ŒLXDT=L@h g6VY]IS[\=]D]XUTWL^_LfBŽ1CGBDJ HKh_S[L@]HKh_g*XUTWLBDCGeW\W]UXDhWL@]U]!CKšXDT=V†]…JL@XUTWCWgœd_HKh_g*’L

S[CFh3S[aY\_g6L’jVYXDT*g6VYBDLSxXDVYCFhW]CFB1\WXU\WBDL’CFBU‘ ˜

> ?

zA@ ' & x

/ClVYaYa†\=]DXDB[H`XULšXUTWLj^WBDCGeWaYL@J]CFhWLŽHFS[L@]V†h…a†C6CG^!EGL@hWL@B[H`XDVYCGh”d`aYL@X/\W]šS[CGhW]DV•g6LfBšHRTWL[k_H`EGC`

h_H`a6XUV†aYLjCGeWXIHKV†h=Lg’jT=L@h^_H`BUXDVYXDVYCGhWVYhWEHR^WBUCFEFB[H`JB*_E3˜WM*#K˜(CjTWLjVYhWLˆG\_HKa†VYXUV†Lf];gžL/_hWVYhWE

XDTWVY]XDVYaYLH`BDLEDGF9HIs,J tWdKFLD%I6HIsMJ#t=dNDLJ tWdOHJ t=dPDAQR8_dœH`h_gSHQT83˜_p

CFhWL’jH`h6XD]jXUC!][S@H`hŠXDTWVY]lg6CGJ H`VYh e6mJ HK‘6V†h=EUH–FH`BUme_Lx1CFBULVDDd=XDTWLfh XUTWLe3CF\Wh3g6]jC`D

J\W]DX/e3LS[CFhW]UXIHKhnXjH`h3gXDT=CF]DLCK%H!J HZm!gžL@^_Lfh_g%CFhWDU˜XjTWLS[CFBUBDL@]U^_CGh_g6VYhWE a†C6CG^hWL@]UX

VY]šXUTWLCFh=L]UTWC`’jhVYhE_EG\WBDLMYf˜

" 3

.

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

123254+2567859:<;=54>?78-7A@B=C6

1-,D-,E(F

1-,D-,E(F

H XDTWLVYhW^=\WX“gžCFJ HKVYh eXUTWLS[CFBUBDL@]U^_CGh_g6VYhWE%a†C6CG^hWL@]UX

‹VYEF\WBULMF›7WHKJ^WaYLgžCFJ HKVYh”›FH…TWL[k_H`EGCFh_HKaœXDVYaYL

G

'( l l&-

ƒCFhW]UV•g6L@B H91KDg6VYJL@h=]DVYCFh_HKa“H;hWL]D^_HGS[LHl˜-P 6,JI

3K 5&-ML

3

&$&, VY]HŒ]DLfXC`

^_CGVYhnXU]ON C`/HŒ][H`XUV†]Н1m6VYhWE!HL_hWVYXDLR]DL@XC`”S[CGhW]DXUBIH`VYh6XD]QP(RSNJUTRV#DW MVZ˜Z˜˜XV#0Š˜ =ŒBUV†XUXDL@h

VYh!JH`XDBUVk1CFBUJ™dZXDT=L@]DLS[CGhW]DXUBIH`VYh6XD]1CGBDJ XDTWLRaYV†h=L@]-C`¨HKhVYhWLˆG\_H`aYVYXŽm]Umn]UXDL@JZY[NJUT`d

TWL@h_SxLXDTWLhWCGXIHKXDVYCFh,\W]^N_^Y[N,JUT-`Aa

ƒCFhW]UV‰gžL@BXŽ’CŒ–FLSxXDCFBU]NbW .NcVdNfeVZ˜˜Z˜VdNhg %H`h_gjiUW .i(c^Vie(V˜Z˜˜XVdi-kf˜ml-LSI

XDCGBnN—VY]]IHKV‰g -

3CK )

"

#$

)3$#6-4-oL,7%.#&-4-

3 (

#&,Ui 1hWCGXDLgpNjqri VXUTWL@BDLŠL[kWV†]UXD]H

^WBDL<Wk SN c VdN e VZ˜˜Z˜VdN(s S1’jVYXDTtRQJ%VYh0Vdu% S[CGJJ%CFhŒXDCpNH`h3gUi HKh_g L@VYXDT=L@B

tvW JVYhO0Vu%jCGB[N(sw cyx isw c a)zj˜E3˜†d6e3L@XŽ’L@L@h‡XDTWL…–FL@BUXDV•S[L@]C`-XUTWLTWL[k_HKEFCFh3H`a”XUVYa†L

1BDCGJ 3E_˜/M*#%T=CFa•g6]lXUTWLBDLfa‰HKXDVYCFh ctJV[t {q cthVIs Qq cshVIt *qTŽsJV 8 *q 38fVIs Qq 38fV 8Xa

jTWL-aYL[kWV•S[CFEGBIHK^WTWV•S@H`a6CGBIg6L@BUVYhWElCK H`h6mXŽ’šCR–FLSxXDCFBU]/V†J%^WaYVYL@]œXDTWL Q2RCFBIgžL@BDVYhWERC`_XUTWL@VYB

_BD]UXlS[C6CFB[g6VYh_H`XUL@]˜

P - ™VY]g6L@][S[BDVYe3LgŒe6m*EGVY–nVYhWEVYXU]aYC6CF^ŠV†h3g6L[k”dœaYC`’šLfBH`h3g*\W^=^_L@B…e_CG\Wh_g6]Zd”H`h_g

VYXD]e_CWg6m6˜%jTWLaYC6CF^Še_CWg6m‡VY]H%]ULˆG\WL@h_S[LCK“]UXIH`XUL@JLfhnXU]XDCe3LL[kWLS[\WXULg 1CFBL@–GL@BDm

]D\_SfS[L@]D]UVY–FL–FH`aY\WLCKšXDTWL aYC6CF^VYh_g6L[k”d3BIHKhWEFVYhWE 1BUCFJ XDTWL aYC`’šLfBle3CF\Wh_g XDCXUTWL \W^W^3L@B

e_CG\Wh_g VYh_S[aY\W]DVY–GL @˜ œC6CG^W]S@H`h*e3L hWL@]DXULgœdVŽ˜LG˜†d3S[CFh6X[H`VYhWLgŠVYh*XDTWL e3Cžgžm CK“H`h=CFXDT=L@B

aYCnCG^”d[CFBDJ%VYhWElH- $ , 3

$(

; P aYC6CF^h=L@]DXVY]¨][H`V•gXUCe_L

3

*

3 (/V¾=1CFB/L@–GL@BDm aYCnCG^VYh!XUTWL

hWL@]UXdœVYXD]aYC6CF^*e3CWg6m*S[CFh=]DVY]DXU]C`šLfV†XUTWL@BLxk=HGS[XDaYm*CGhWL a†C6CG^”d3CFBH%aYC6CF^61BUL@L]DLZˆF\=L@h_S[L

C`/V†h=]DXDBU\_S[XUV†CGhW]cHK]jVYhW3EF\WBULŸM#`˜(

‹WCGBH%^_HKBDXUV‰Sx\Wa•H`BL[kWLSx\WXDVYCFh CFBVYXUL@BIHKXDVYCFhRCKOH%aYC6CF^”dœXUTWL–FH`aY\WLf]CK“XUTWLVYh_gžL[k

C`”XUTWVY]ja†C6CG^ H`h3gCF\=XDL@BjCGhWL@]d6X[H`‘GL@h%1BDCGJ(XDTWLCG\WXDL@BUJCG]DXXDC XDTWLVYhWhWL@BUJCG]DXdK1CGBDJ H

–FLSxXDCFBS@H`aYaYLg )(3

$# ()9&,I

3 (6

;

jTWL!]UL@XlCK-XDTWL VYXDL@B[H`XDVYCGh –GLS[XUCFBD]CK;XUTWLVYhWhWLfBDJCG]DX

aYCnCG^VYh H aYC6CF^%hWL@]UXj1CGBDJ]XDTWL )( 3

#!(*)96,*5# 3

C`/XDTWLaYC6CF^hWL@]UX˜OjTWLL[kWLS[\WXUV†CGh*C`

3 3 3

HaYC6CF^*h=L@]DX][S@H`h=]XUTWL^3CFVYh6XD]lCK“VYXU]lVYXDL@B[H`XUV†CGh™]U^_HFSxL!VYhŒH`]ISxL@h_g6VYhWEaYL[kWV•S[CFEGBIH`^=TWV•S@H`a

CFB[g6L@B˜

=ŒLHKBDL!SxCFh_S[LfBDhWLgŠTWL@BULCFh=a†m%’jVYXDTeW\WVYa•g6VYhWE ^_L@BН1LS[XaYC6CF^%hWL@]DXU]˜%/C eW\WVYa•g%]D\_SUT

H*h=L@]DXZd-’L h=L@Lg XUC S[CFJ%^W\WXDL%XDTWLaYC`’L@BH`h_g \W^W^3L@Be3CF\=h_g 1CFB LHFSUTaYC6CF^d”XUTWL@VYB

e_CWg6VYL@]e3L@VYhWEVYJ^WaYV•S[VYXDam!g6L/_h=Lg%enmXUTWL^_LfBŽ1LSxXlaYC6CF^hWL@]UXl]UXDBD\3S[XD\WBULE1VYh6XDLfBDJLZg6V•H`XDL

aYL@–FL@aY]/-H`h_g XDTWLRVYhWVYXDV•H`a6^WBUCFEFB[H`J 1VYhWh=L@BDJ%CF]DXa†C6CG^”˜(NjT=L@BDL[CFBDLGdWXDT=LlaYC6CF^ EFL@hWLfBIH`XUVYCFh

^WBDCGeWaYL@J S@HKhe_LBUL@]DX[H`XULg*H`]CFaYaYC`’j]›

" )I 3 , #6,.)( 3

$# ()9&,W &%.#&)4, V 6

3 I 3

L &/&)4,# ( 3 N R 5&)0,>(3mN

, ( 3

Y$&:>,'.yN R #' #L7:>,$()96, ( 3

$ 6#6)4, # ( 3

{N c VZ˜˜Z˜VdN R/c

;

pŽhXDT=V†]g6L/_hWVYXUV†CGh”dGXDTWLS[CGJ^W\WX[H`XUV†CGhW]/C`¨HKhnm XŽ’CŸg6VY]UXDVYh_S[Xe_CG\Wh_g6]jH`BULlVYh_g6Lf^_L@hž

g6L@h6X/^WBDCGeWaYL@J]/H`h_g…CFh=a†m…XDTWLjSUTWCFV•S[LjCK XUTWLše3CF\=h_g EFL@h=L@BIHKXDVYCFhH`aYEFCGBDVYXDT=J„JHZmH LZS[X

XDTWLfV†BjVYh_gžL@^_Lfh_g6L@h_SxLF˜

&* R;“ `` &*-

VY–FL@h HŒg6CFJH`VYh: W ]N\_ Y[NRJt `+V/’L*]DLHKBISUT 1CGBH‡^_H`B[H`J%L@XDBUV‰S L[kW^WBDLf]D]DVYCGh

C`jXDTWLe3CF\=h_g6] C`yNJRH`]!H 1\Wh3S[XDVYCFhŒCKSN cBVN)eVZ˜Z˜˜VNJR/c f˜”pŽhŒXUTWVY]]DL@h=]DLFd/CG\WBEFC6H`a

VY]XDC _h_g XDTWL^_HKBIH`J%L@XDBUV•SLxkž^=BDL@]U]DVYCFh C`L[kWXDBDLfJL*–FHKa†\=L@]C` NhR]D\_SUTXUT_H`XXUTWL@BUL

L[kWVY]DXD] H`hN W .N c V˜Z˜Z˜dVN RVZ˜Z˜˜VN'

aGjTWLvN R ]]IHKXDVY]Ž1m6VYhWEXDT=Le3CF\Wh_gž]1CFBUJH

^WBDCZo[LS[XUV†CGh*CFhŠXDTWLEDYŽXDTŒS[C6CFB[g6VYh_H`XULC`XDTWL VYhnXUL@BD]ULS[XUV†CGh™CK ’jVYXDT*XUTWL Tnm6^3L@BD^=a‰HKhWL

W]^i _i[W N+V…MUQ HVQ D FM`AVF^3H`BIHKJL@XUL@BDVY@LZge6m,SN c VN e VZ˜˜Z˜VdN R/c 5a

76VYh_S[LlXUTWLSUT_H`B[HFS[XUL@BDVY]IHKXDVYCFhCK”XDTWVY]^WBDCoxLS[XDVYCGh VY]-h=CFXjg6VYBDLS[XUaYm HZ–FH`VYa•H`e=a†LGd’LSfH`h

]DLHKBISUT‡1CGBH%aYL[kWV•S[CFEGBIHK^WTWV•S@H`aYaYmLxkžXUBDL@J%L^_CGVYhnXCKLa%jT=V†]HKa†aYC`’j]R\W]XDT=L@hŒXDC

_h_g XUTWL‡L[kWXDBDLfJ HŒCKnNhRDd]DVYh_S[LŒXUTWL™aYL[kWV•S[CGEFBIHK^WTWV•S@HKalCFB[g6L@BUV†h=E C` –FLS[XUCFBU]*VYJ^WaYVYL@]

XDTWL ]DX[H`h_g=H`BIg Q2%CFBIgžL@BDVYhWEC`XDTWL@VYBA_BU]DX!S[C6CGBIg6VYh_HKXDL@]Z˜jT=LŸS[CGBDBUL@]D^3CFh_gžV†h=E*aYV†h=LH`B

^WBDCGEFB[H`JJ%V¾hWE^WBUCFeWaYL@J8V†]XUTWL@hXUC _h_g HŠa†LxkžV•S[CGEFB[H`^WTWV•S@HKaYa†mŒJ%VYhWVYJH`a/^_CGVYhnXCKH

^_H`B[H`J%L@XDBUV‰SO^_CGaYmnT=Lg6BDCGh”˜

jTWLj]DLHKBISUTC`”H`h L[kWXDBUL@JLj^3CFVYh6X/\Wh_g6LfBšHJVYhWVYJVH`XUV†CGhS[CFhW]UXDB[H`VYh6X¨VY]-L<; S[VYL@h6XDaYm

^_LfBŽ1CGBDJLZg*e6m*XUTWL]DVYJ^=a†LxkŠHKaYEFCFBUVYXDTWJ‡˜4jC`’L@–FL@BZdœXDT=L^_H`B[H`JLfXDBDV•S H`]U^_LSxXŸHKh_g*XUTWL

aYL[kWV‰SxCFEFB[H`^WT=V‰SfH`aWCGBIg6L@BUVYhWEC`”L[kWXUBDL@J%L^3CFVYh6XD]J\W]UX-e_LL@Je3LgWgžLgVYhXUTWLH`aYEFCGBDVYXDT=J™˜

jTWVY]l’jH`]g6CFhWL…enm*‹=LH`\=XDBDVYL@BZd3’jTWC^WBUL@]DLfhnXULg‡VYh:"8'&-XDTWLA/pDA #6#&%

3

(*7),>(

3 " 3

"

#&%%)4,

"

RH`aYEFCGBDVYXDTWJ ’jT=V‰SUT‡CœL@BD]Zd/e_Lf]DV•g6L@]CGXDTWLfB1\=h_S[XDVYCGh_H`aYVYXDVYL@]Zd H%B[H`XDVYCGh_H`a

^_H`B[H`J%L@XDBUV‰SO]DVYJ^=a†Lxk HKa†EGCFBUV†XUTWJ™˜

pŽh B[H`XUV†CGh_H`a3JCWg6LGdWA/pDA S[CFJ%^W\WXDLf]jXDTWLaYL[kWV•S[CGEFBIHK^WTWV•S@HKa_J%V†h=V†J \WJ C`;H ^3H`BIHKJL[

XDBUV‰SRB[H`XDVYCGh_H`a3^_CGaYmnT=Lg6BDCGh

mW]^N_-YAI YiJ TVNJtJViJtJV)J t `+V [M

^_CG]D]UV†e=a†mŒ\=h_g6L@BHGgWg6VYXDVYCFh3H`ašS[CGhW]DXUBIHKV†h6XU]CFh XUTWL^_H`B[H`J%L@XDL@BWd/EGVY–FL@h—enm HŠ]Dm6]UXDL@J

J"!lS@HKaYa†LZgXUTWLW$&,>(

3K

(lCK¨XDT=L^=BDCFe=a†LfJ™˜

jTWLS[CFhW]UXDB[H`VYh6XD]lCGhXUTWL]DVYEGh CK;S[CGJ^3CFhWLfhnXU]šCKOiH`h_g#H`BULhWCFXjBUL@]DXUBDV•S[XDVY–GLF›3V†h

H%a†C6CG^™hWLf]DXd/CGhWaYm*XDT=LCF\WXUL@BDJ%CF]DX…a†C6CG^™JHZm T3HZ–FLVYhX_hWVYXUL@aYm*J HKhnmVYXDLfBIH`XUVYCFhW]Z˜%$-m

" 3

J HK‘nVYhWEVYXD]VYh_g6L[kEFBUC`’XDC`’jH`B[g6]jVYhX_hWVYXŽm’LLfhW]D\WBULXDT3H`XjVYXD]aYC`’šL@Bje3CF\=h_gVY] _hWVYXULFd

H`h_g e6m H`h*HK^W^WBDCG^WBDV•HKXDLlXUBIHKhW]Da•H`XUVYCFh’šLS@HKhJ H`‘GLlH`aYaœaYC6CF^VYh_gžV‰SxL@]j^_CG]DVYXDVY–GLF˜

¨CH`^=^WaYmXDTWVY]lH`aYEGCFBDVYXUTWJ XDCCF\=Bj^WBDCGeWaYL@J(’L!S@H`hhWCGXDV•S[LXDT3H`Xje6m]DL@XUXDVYhWE

Y2I Yi WjY

i

Žs

W /VY]XDTWLR^WBDCZo[LS[XUV†CGhCGhviCK”XDTWLR^_CGa†m6TWLZg6BDCGh W ] hVdi y_-YJVi JUT-`Aa 4OL@h_S[LFd

e6m ]DLfXDXDVYhWE pW SN cBVN)eVZ˜Z˜˜VNJR/c %H`h_gpiUW .NJRVZ˜˜Z˜#VN VYh LˆG\_H`XUV†CGh M’L SfH`h

S[CFJ%^W\WXULXUTWLaYL[kWV•S[CFEGBIHK^WTWV•S@H`aœJ%VYhWVYJ!\WJ CFBjJ H kWV†J\=J d`]UL@L,"+&3OC`2SNhR#VZ˜˜Z˜VdN RH`]

H\Wh_S[XUV†CGhC`-.Nc-VdNfeVZ˜˜Z˜VdNhR/c#5a

VY–FL@hCF\=BœCFeFo[LSxXDVY–FL@]ZdZXDTWLšA;pDA*H`aYEFCGBDVYXDT=J„H`aYaYC`’j]œ\W]”XUClS[CFJ%^W\WXUL¨CGhWL-aYC6CF^Re_CG\Wh_g

^_LfB!S@H`aYaŽd3aYLHFg6VYhWEXUC XUTWLBDLf]DCFaY\WXUVYCFhŒC`]DJ HKaYa†LfBl^WBUCFeWaYL@J%]XUT_H`h‡VYhŒXDTWLSfH`]DLCK“XUTWL

‹WCG\WBDVYL@BЍЏ CFXDf‘nVYh L@aYVYJVYh_H`XUVYCFh”˜[PRa†]UC_d`]UVYh_S[LA;pDA‡V†]e_H`]ULg CFhXUTWLl]UV†J%^WaYL[k!H`aYEFCGBDVYXDT=J™d

’šLjT3HZ–FLjHJ\_SUTe3L@XDXUL@Bše3L@T_HZ–6VYCF\=B-’jBDXZ˜FVYh XDL@BUJ]/C`”]U^_HFS[LlSxCFJ^=a†LxkžVYXŽmœ›ZXDTWLj]UVYJ^WaYL[k

VY]“HS[CGhW]DX[H`h6XŽŽ]DVY@L H`aYEFCGBDVYXDTWJ‡d`H`h_g%XDT=L^3H`BIHKJL@XUBDV•SlSxCFJ^=\WXIHKXDVYCFhaYLHGg6]jXDCH…eWVYh_H`BUm

XDBUL@LC`/BDLSx\WBD]UV†–GL!S@HKa†aY]jXUCXDTWLA/pDA H`aYEGCFBDVYXUTWJ™d`’jT=CF]DL g6VYJL@hW]UVYCFh]DXUBDV•S[XUa†mg6LS[BULH`]UL@]

’jTWL@hXDT=LgžL@^WXDTCK¨XDT=LSfH`aYaœEFBUC`’j]U]DL@LW"85&И(CjT=V†]jXUBDL@LVY]jL[kW^WaYCFBULg%VYh H g6L@^WXUT633BD]DX

CFB[g6L@BH`h_gŠXDT=LBDL@]U\WaYXVY]SxCFhW]UXDBD\3S[XDLg CFh‡XDTWL_m6˜N4jLfh_S[LFdCFhWaYmXDT=LS[\WBDBUL@h6XeWB[H`h_SUT

C`jXDTWLXUBDL@L%J\W]DXe3LT=L@a•gŒVYhŒJL@J%CFBUmn˜3wlh=L S@HKh ]DT=C`’(XDT_HKXVYXD]HZ–FL@B[H`EGLg6L@^WXUT VY]

E *1Fs/a†CGE0WV=’jTWL@BULV0 VY]XDTWLh6\WJe3L@BC`-S[CFhW]UXDB[H`VYh6XD]gžL/_hWVYhWEXUTWLg6CFJH`VYhH`h_g

1VY]/XDTWLg6VYJL@hW]UVYCFhCK XUTWLjVYh_g6L[k]D^_HGS[LF˜ jTWVY]-aYLHFgž]-XDCH`hHZ–GL@BIHKEFLj]U^_HFS[LlSxCFJ^=a†LxkžVYXŽm

C`E0W1*1Fs/a†CGE-0W5a

pŽh SxCFJ^3H`BDVY]UCFh”dGXDTWLS[a•HK]D]DV•S@HKa”e3CF\Wh3gCGhJ%L@JCGBDm BDLˆG\WVYBDLfJL@h6XD]jCK¨XUTWL!‹=CF\WBUV†LfBŽ

CFXU@‘6VYh Lfa†VYJ%V†h3H`XDVYCGhŒV†]EGVY–FL@h e6mE1 0 e

5a-jT=V†]e3CF\=h_g J HZmŒe3L*VYJ^=BDC`–FLZgŒe6m

HFgWgžV†h=EšBULg6\Wh_g=H`h6X-S[CFhW]UXDB[H`VYh6X”BDLfJC`–FH`a`CGBœTWVY]DXUCFBDmSUTWLSU‘6]˜ 4jC`’L@–FL@BZdZXDTWL/ CFBDJ%L@B”S@HK]DL

VYJ^WaYVYL@]-CGhWLaYVYhWLH`Bj^=BDCFEGBIHKJ XUCe3L]DCGa†–GLg%1CGBjLHFSUT*BULg6\Wh3gWH`h_Sxm™SUTWLSU‘ 1LF˜E_˜Yd=\W]DVYhWE

XDTWLŠhWCFhW^3H`BIHKJL@XUBDV•S]UVYJ^WaYL[k HKa†EGCFBUV†XUTWJ …H`h_g—]DaYC`’j]S[CFhW]UV•g6L@BIHKeWaYm XUTWL*L[kWLS[\=XDVYCFh”d

’jTWL@BULH`]jTWVY]UXDCFBUmSUTWLSU‘6]lBDLZˆF\=V†BULH`hCFB[g6L@BjC` 0 HGgWg6VYXDVYCGh_H`a3]DXUCFBIHKEFLR]D^_HGS[L1CGBšL@–GL@BDm

S[CFh=]DXDB[H`VYh6X”EGL@hWL@B[H`XDLZg enmXUTWL“HKaYEFCFBUVYXDTWJ‡˜/jTWL@BDLx1CFBULFd`XDT=LšJHZkWVYJ!\WJ ]UV†fLšCK_XDB[HFS[X[H`eWaYL

^WBDCGeWaYL@J]’jVYa†aGe_Lj\=]D\_HKa†aYmJ\_SUTa•H`BUEFL@B1CGB/XDTWLjA/pDAŒH`aYEGCFBDVYXUTWJ„XUT_H`h…1CGB¨XUTWLl‹=CF\WBUV†LfBŽ

CFXU@‘6VYhL@aYVYJVYh_HKXDVYCFh”˜

jTWLBUL@]D\WaYXU]^WBUCžgž\_S[Lg—e6m A/pDA HKBDLeWVYh_HKBDmŒ]DLfa†LZS[XDVYCFh XUBDL@L@]CGh XUTWL^_H`B[H`JLfXDL@B

–FLSxXDCFB=dWVŽ˜LF˜YdnSxCFh_g6VYXUV†CGh_H`aœLxkž^=BDL@]U]DVYCFhW] C`-XDT=LlCFBDJ

) ! J t ( 3

, c 3

-(

3

ye'

’jTWL@BUL$cH`h_gye H`BULL@VYXDTWL@B…]DL@aYLS[XUVYCFhŒXDBUL@L@]CGB–FLS[XUCFBU]!CK“H';hWL…1\Wh3S[XDVYCFh=]CGh =˜

jTWL–FHFS[\WVYXŽmCK VY]-g6L@hWCGXDLg e6mXDTWLjLxkž^=BDL@]U]DVYCFh9+3˜ jTWVY]-S@H`]ULjJ HZmH`BDVY]ULj’jTWL@h

hWCS[CGhnXUL[kWXlVY]j]D^3LS[V _LZg‡V†hXUTWLVYhWVYXDV•H`a3^WBUCFeWaYL@J‡dWH`]jCFBj]DCGJLR–FH`aY\WL@]RC` XDTWLfBDL ’jV†aYa

e_LhWC^3CFVYh6XD]VYh(’jVYXDT^WBUL/WkW˜

jTWL™aYLHZ–GL@]CK!XDT=L™XUBDL@L HKBDL*–GLS[XDCGBD]*CKŸH';h=L1\Wh_SxXDVYCFhW]%CFh WdjH`h3gg6L@][S[BDVYe3L

XDTWLS[C6CFB[g6VYh_H`XUL@]C`šXUTWL a†LxkžV•S[CGEFB[H`^WTWV•S@HKa”J%V†h=V†J\=J CK HK]j1\Wh3S[XDVYCFh=]CK W˜œ‹=CFB

L[k_H`J%^WaYLFd[XDTWLaYC`’šLfBœe_CG\Wh_gCKH“VYhXUTWLTWL[k_H`EGCFh_HKaFXDVYaYL/VYh_EF\=BDLM/’jV†aYaGe_LBDL@^=BDL@]UL@h6XDLg

H`]EUV¾2FUD I:8J„t XDT=L@h™V2FUDI sJ„t XDTWLfh$t L@aY]ULVDGF s L@h_g6V-L@aY]DLOL@h_g6V#3˜jTWVY]

3 3 3

JLHKhW]/XDT_HKX-CFB-D ]DXDBUV•S[XDaYmEFBULH`XUL@BXDT_HKhW8XUTWLl^3CFaYm6TWLg6BUCFhVY]-L@J%^WXŽm6dFH`h_g CGXDTWLfBD’jVY]DLFd

V D V†]]DJ HKaYa†LfB”XDT3H`h s=d`XDT=Lja†C`’L@B-e3CF\=h_g C`%HV†]tW˜F‹VYh_H`aYaYm6d@CFB-D ]IH`XUVY]Ž1m6VYhWEs x DKQ68

XDTWLaYC`’L@Bje_CG\Wh_g%C`GH!VY]UD F sW˜

"$%!&

… - '

@ */

pŽh"v+&Ðd6‹=LH`\WXUBDVYL@B]D\WEGEFL@]UXD]jXUC!\W]ULg6VYBULS[XDaYmXUTWLS[CGh_g6VYXDVYCGh_H`aWXUL@BDJ%]š^=BDCWg6\_S[LZge6mA/pDA

H`]jHFS[XU\_H`aœe3CF\=h_gL[kW^WBUL@]D]UVYCFhW]Z˜jT=LJH`VYh V‰gžLHCK¨XUTWLa†C6CG^EFL@hWLfBIH`XUVYCFh*H`aYEFCGBDVYXDT=J VY]

XDTWLfh XUCŸSxCFJ^=\WXDLjXUTWLS[CFh_gžV†XUVYCFh_HKa_XUL@BDJ%]-1CGB“HKaYa_e3CF\Wh3g6]RH`h_g/RdVGCFBa†C`’L@BjH`h_g

\W^W^3L@Bje3CF\Wh_g%CK¨XDT=L D‰ŽXDT*VYh_g6Lxk d6BUL@]D^3LS[XUVY–FL@aYm6˜24OL^WBDCG^_CG]DL@]RXŽ’šCHKa†EGCFBUV†XUTWJ]ZdZe_CGXDT

CF^3L@BIHKXDVYhWE VYXDL@B[H`XDVY–GL@aYm1BUCFJ(XUTWLCF\WXUL@BDJ%CF]DXjXUC!XUTWLVYhWhWLfBDJCG]DXVYh_g6L[k”˜

jTWL3BD]DXH`aYEFCGBDVYXDTWJ©g6C6L@]/hWCGX¨\=]DLjS[CFh6XDLxkžXU]d6H`h_g^WBDCWg6\_SxL@]ša•HKBDEFLfB”e3CF\Wh_g…L[kW^WBUL@]Ž

]DVYCFh=]˜3P ]DLS[CGh_gŒCGhWL V†]XUTWL@hŒ^WBUCF^3CF]DLZg‡XDCBDLgž\_S[LXDT=L]DVY@LC`e_CG\Wh_g‡L[kW^WBUL@]D]UV†CGhW]d

H`h_g…\W]UL@]šXUTWLje3CF\Wh_gž]-C`œCF\WXUL@B-VYh_g6V•S[Lf]šH`]-XUTWLlS[CGhnXUL[kWX-’jTWL@hSxCFJ^=\WXDVYhWERXDTWLje3CF\Wh3g6]

C`/XDTWLh=L[kWXlVYh_g6L[k”˜XjTWL g6V L@BUL@h_S[L VYhXDTWL]DVY@L…C`-BDL@]U\WaYXlXUBDL@L@]S[CGJL@]1BUCFJ XDTWLŽHFS[X

XDT_HKXl’jTWLfh™hWCHFg6LZˆF\3H`XDLS[CGhnXUL[kWXV†]R\W]DLZgœdœXDT=LŸHKa†EGCFBUV†XUTWJ(L[kW^WaYCGBDL@]–FH`aY\WLf]lC`^_H`B[HZ

JL@XUL@B/1CGBš’jT=V‰SUT%XDTWLR]DCFaY\WXUVYCFhVY]šLfJ^WXŽm1’LlJ%LH`]U\WBDLg \W^XUCŸyGt C` hWCWg6Lf]jV†h

XDTWLXUBDL@L@]S[CGJ^W\=XDLg ’jV†XUTWCF\=X“S[CGh6XDL[kWX˜(

4jC`’L@–FL@BZd/’šL%J\W]DX HFgWg‡TWLfBDL]DL@–GL@BIHKalhWLf’ H`BUEF\WJ%L@h6XD]XUC™XUTWL*g6VY]IS[\W]U]DVYCFh—^WBDLx

]DL@h6XULgŒVYh "v+&D˜”‹V†BU]DXZd”XUTWLJ\WXU\_H`a/VYh_g6Lf^_L@h3g6L@h_S[LŠC`lg6VY]DXDVYh_SxX!e3CF\Wh3gŒS[CFJ%^W\WXIHKXDVYCFh=]

H`aYaYC`’j]XDC*^3L@BŽCFBDJ8XDTWL%’jTWCFaYLaYC6CF^‡EFL@hWLfBIH`XUVYCFh VYhŒ^_HKBIHKa†aYL@aŽ˜œPRaY]DC_dXDT=L: *h=CžgžL@]

J HZme3LlVYEFhWCGBDLg dnHK]-XDTWLfmS[CFBUBDL@]U^_CGh_g%XDCVYXDLfBIH`XUVYCFh–FLZS[XDCGBš^WBUL/WkWL@]j’jTWV•SUT’jVYaYaWhWL@–GL@B

e_LRBDLHGSUTWLgg6\WBUV†h=E!XUTWLlL[kWLSx\WXDVYCFhCK”XDTWLRa†C6CG^hWL@]DX]DL@LE"y+&D›(/XDTWL]UL@J HKhnXUV•S[]-C`”aYC6CF^

hWL@]UXL[kWLS[\WXUV†CGhL@hW]U\WBDLf] XUTWLL@h61CGBIS[LfJL@h6XC`XDTWL*S[CGh6XDL[kWXd’jTWV•SUT SxCFhW]UV†]UXD]%C`XUTWL

e_CG\Wh_g6]CK“CG\WXDL@BaYC6CF^‡VYh_g6V•S[L@]Z˜”‹V†h3H`aYaYmnd6L[kW^3L@BDVYJ%L@h6XD]]UTWC`’ XUT_H`XHZ–FCGV•g6VYhWEXDTWL\=]DL

C`-S[CFh6XDLxkžXjaYLHGg6]jXDCH J%CFBULlXDVYJ%L[cL<; S[VYL@h6XšL[kWLSx\WXDVYCFh ]DL@L]ULS[XUV†CGh W˜(

œL@XU]\=]hWCFXUL[A/pDA

3K

(* 5#&7% QI!#6 2L' U (#*HSfH`aYa/XDC*A/pDA ’jTWV•SDT‡]DCGaY–FL@]H`h

H`^W^=BDCF^=BDV•H`XULjL[kWXDBDLfJ\WJ ^WBDCGeWaYL@J cHFSfS[CFB[g6VYhWE!XUC!XUTWLl–FHKaY\WLjC`

3CK

( -’jVYXUT^_H`B[H`JLfXDL@B

–FLSxXDCFB 5#&% œ–FH`BUV•H`eWaYLl–GLS[XUCFB I&#&6d3S[CFhW]UXDB[H`VYh6Xj]Dm6]DXUL@J!L'HKh_gS[CFh6XDLxkžXE$( ”H`h_g%aYL@X

-/)$(+ $ :, $()9&, le_LXUTWLR1\Wh_S[XUVYCFh’jT=V‰SUT*S[CGJ^W\WXUL@]XDTWL 3

(C`-S[CFhW]UXDB[H`VYh6XD]gžL/_hWVYhWE

XDTWLe3CF\=h_g6] C`[NhRI˜%= V†XUTŒXDTWLH`e3C`–FLFdXDT=L:ISxCFh6XDL[kWXЍ11BUL@L ŒH`aYEFCGBDVYXDT=JC`"v'&“SfH`h e3L

’jBDVYXDXUL@h*H`]lH…^_H`B[H`aYaYL@aœCFh=LV._E_˜3sW˜(

jTWLXDL@BUJVYh_H`XUVYCFhC`-A/pDA #"8'&3L@hW]U\WBDL@]RXDTWL…XDL@BUJVYh_H`XUVYCFhC`/XDTWVY]jH`aYEFCGBDVYXDT=J™˜ 4OC`

’šLf–FL@BZdFXUCe_LR\W]DLZgVYh!^=BIHFSxXDV•S[LlVYX-J\=]DX/e_LRJCWg6V _Lg…VYh!CGBIg6LfBšXUCEFVY–FLj]UVYJ^WaYL@Be_CG\Wh_g

L[kW^WBDLf]D]DVYCGhW]˜ jTWL*EGCnHKajV†]%TWL@BUL™XUC H`XDX[H`VYh XDTWL 1CFBUJ CKLxkž^=BDL@]U]DVYCFhW]^WBUCWg6\_S[Lg e6m

‹WCG\WBDVYL@BЍЏ CFXDf‘nVYh—L@aYV†J%VYh_H`XUV†CGh”›3J H kžVYJH%H`h_g JVYhWVYJ H C`]UL@–FLfBIH`aH';hWL 1\Wh_SxXDVYCFhW]Zd

g6L/_h=V†h=EŸH aYC`’L@B“HKh_gH`h%\W^W^3L@Ble3CF\Wh3gœdWBUL@]D^3LS[XUV†–GL@aYmn˜=PlhL[k_H`J%^WaYLjC`-]D\3SDTe3CF\Wh3g6]

H`BULXUTWLe_CG\Wh_g6]RC`!VYhE_EG\WBDLMY@˜

jTWLBDLf]D\WaYXD]^WBUCWg6\_S[LgŠe6m*A/pDAS@HKh*e_L…BDL@^Wa•HGS[LgŠenm*HKh HK^W^WBUCF^WBUV‰HKXDLLxkžXUBDL@J\=J

1L@VYXUTWL@B JVYhWVYJ!\=J CGBJ H kžVYJ \WJWC`lH]UL@X!CKj1\Wh_SxXDVYCFhW] g6L/_hWVYhWEŠXDTWL_BD]UXŸS[C6CGBIg6V

h_H`XULjC`”XUTWLS[CFBUBDL@]U^_CGh_g6VYhWE a†LxkžV•S[CGEFB[H`^WTWV•S@HKaWL[kWXDBUL@J\WJ #"s+&D˜(/P 1CFBUJ H`a6^WBUC6C`”C`”XUTWL

–FH`aYV•g6VYXŽmC`œXDTWVY]XDBIHKhW]ŽCFBDJH`XUV†CGh’jH`]-EGV†–GL@he6mŸƒCGaYa‰HKBIgœdG‹WLHK\WXDBUVYL@B“HKh_gqjVY]U]DL@X-VYh"y'&D˜

" 3

€ =3¦_~ ^_H`B[H`aYaYL@aÐA;pDA

¨~`} Y[NJUT

¦/~ /~`}ARc)R d /R c)R

¦_ D ›W#M~¦1/€W`€ =9=¢>=;§¦

D ›WA;pDA2JVYh)V'"NcBVNfeBVZ˜Z˜˜VNJR/c &V'"NJR.VZ˜˜Z˜#VN &#VXY[NJ TV

§¦/¢

__

¦_ D ›W#M~¦1/€W`€ =9=¢>=;§¦

D ›WA;pDA 1JHZk V'"N c VN e V˜Z˜˜VN R c&#V'"N R VZ˜˜Z˜VdN /&#VXY[NJ T V

§¦/¢

‹V†EG\WBDLs=›WA¨HKBIHKa†aYL@a3e3CF\Wh_g%EGL@hWL@B[H`XDVYCGh™H`aYEFCGBDVYXDT=J e3H`]DLZgCGh*A/pDA/˜

Pl]jH`hLxk=HKJ^WaYLFd6S[CGhW]DV•g6L@BjXUTWLlLxkž^=BDL@]U]DVYCFh*CK”XDTWLaYC`’L@Bše3CF\=h_gCKNHVYhXDT=LT=L[k_HZ

EFCGh_H`a3XDVYaYLj1BUCFJ 3EF\WBULMF˜XjTWLS[CGh_g6VYXDVYCGh_H`a3XDL@BUJ UV-FUDI 8 J t XUTWL@hV-FUDI—s)J t

XDTWLfh™t L@aY]DLED%F s L@h3g6VšL@aY]DLEjL@h3g6V#^=BDCWg6\_S[LZg*e6m A;pDABULg6\_S[Lf]XUCJHZkcthV#D F s

’jTWV•SUTVY]jXDTWL…L[kW^_LSxXDLg%CFBDJ‡˜

jTWL]DLfXCKšH';hWL\Wh_S[XUV†CGhW]HK^W^3LH`BUV†h=EVYh*He3CF\Wh_g L[kW^WBDL@]U]DVYCFhŒS@HKh*e_LS[CGJ^W\6

XDLg \=]DVYhWEXUTWL1\Wh_SxXDVYCFh! "! $#%'&()*%'“g6L@][S[BDVYe3LgH`e3C`–FLF˜5jTWLjVYJ^WBUC`–FL@J%L@h6XD]

CFeWX[H`VYhWLg VYh%^WBIHGS[XDV•S[LH`BULl–GL@BDmEGCnCWgœ›6Lf–FL@h%a‰HKBDEGLlXDBUL@L@]]DL@–GL@BIHKa”T6\Wh_g6BULg6]jCK¨hWCWg6L@]/

S@H`h e3LjBDLg6\3S[Lg%XDCH`h L[kWXDBUL@J\WJ C`”HjL@’—1\Wh_S[XUVYCFhW]Zd`’jTWCF]ULjh6\WJe_LfB¨VY]/C`œXDT=LjCFBIgžL@B

C`-XDT=Lhn\=Je_L@BRC`šS[CGhW]DXUBIH`VYh6XD] 0*˜œCFBUL@C`–FLfBdœXUTWVY]]UL@XC`-\Wh_S[XUV†CGhW]VY]lVYBDBULg6\Wh_g=H`h6X

VYhBIHKXDVYCFh3H`aœh6\WJe3L@BD]ZdWVŽ˜LF˜YdFXUTWL@BDL VY]jhWC 1\Wh3S[XDVYCFhVYJ^=a†VYLg e6m%CFXDT=L@Bj1\=h_S[XDVYCGhW]jVYh XUTWL

]DL@XZ˜ jTWVY]S@HKh*e_L LHK]DVYaYm ]UTWC`’jh*e6mhWCFXUVYhWEXDT_HKXlLHGSUT*1\=h_S[XDVYCGh*L[kWXDB[HFS[XULgŠ1BDCGJ XUTWL

BDL@]U\WaYXjXDBUL@LVY]lH`h*HFSxXD\_HKaœL[kWXDBDLfJ\WJ 1CGBj]DCFJ%Ll–FHKa†\=L@]jC`/XDTWL^_HKBIH`J%L@XDLfBD]˜

$-mS[CGaYa‰HK^W]DVYhWEXUTWLS[CFh_gžV†XUVYCFh_HKaWe_CG\Wh_g L[kW^WBDL@]U]DVYCFh=]jV†h6XUCL[kWXDBUL@J H…C`¨H;hWLj1\=h_SU

XDVYCFh=]d6’LCGeWXIHKVYh H hWL@’ 1CGBDJ(CK;H`aYEGCFBDVYXUTWJ,+-!.-/$0!1(21œd]UTWC`’jhVYhW3EŸy=˜

3

„- F l

=ŒLCF\WXUa†VYhWLTWLfBDL‡XDTWL‡BDL@]U\WaYXD]*HFSUTWVYL@–GLg ’jVYXDT –FHKBDVYCF\W]A;pDAce3H`]DLZg„HKa†EGCFBUV†XUTWJ]Z˜N/C

]DXU\_g6m^WBIHGS[XDV•S@HKa¨g6CGJ HKV†h=]dG’šLBUL@’jBDCGXDL XDTWL A/pDAH`aYEGCFBDVYXUTWJ \W]DVYhWEH J\WaYXDVY^WaYLj^WBDLZS[V

]DVYCFh%aYV†e=BIH`BUm,#"54'&D˜( =ŒLS[CGJ^_HKBDLg XDTWL^3L@BН1CFBUJ H`h3S[LC`¨XUTWVY]jVYJ^WaYL@J%L@h6XIH`XUVYC`h!’jVYXDT*H

yFs ceWVYXjVYh6XDL@EGL@Bl–GL@BD]UVYCFh*CK‹=CF\=BDVYL@BŽDCGXD@‘6VYh*L@aYVYJVYh_HKXDVYCFh\W]ULgŠV†hXUTWLŸA;pDA7*^=BDCo[LZS[X

H`X

i

z-S[CGa†L g6L@]lVYhWL@]g6LA/H`BDVY]Z˜

7WH`J%^WaYLVYXDL@B[H`XDVYCGh g6CFJH`VYhW]l’L@BUL^WBUCžgž\_S[Lg enmŒH^WBUCFXUCFXŽm6^_LCKH%^_H`B[H`aYaYL@aYV†fV†h=E

S[CFJ%^WVYaYL@B˜XjTWLS[CGBDBDLf]D^3CFh_g6VYhWE^3L@BŽCFBDJH`h_SxLJLHK]D\WBUL@JLfhnXU]HKBDL ]DTWC`’jh*VYh*X[H`eWaYLMG˜

L@J%CFBDm‡BDLZˆF\=V†BUL@JLfhnXU] 1CFBA;pDAce3H`]DLZgH`^W^=BDCnHGSUTWL@]H`BULEFVY–FL@h—1CGB!XUTWL’šCGBD]UXŽDS@H`]UL

S@H`aYaœCK;LZHFSUT*L[k_H`J%^WaYLF˜XjVYJLRJLHK]D\WBUL@JL@h6XU]jC`-^_H`B[H`aYaYL@a”A/pDA ]UXIHKh_g%1CGBjXDTWL aYCFhWEGL@]DX

]D\We=^WBDCWS[L@]U]L[kWLS[\WXUV†CGh”d_HKh_g%XDTWLS[\=J\Wa•H`XDLZgL[kWLS[\=XDVYCFh*XUVYJLjC`-H`aYaœ]D\=eW^WBDCWS[Lf]D]DLf]˜

3 3 3

€5=_¦3~ L<; S[VYL@h6XŽŽ^_H`B[H`aYaYL@aÐA/pDA

/~`} Y[NJUT 6¦/~ /~`}A

R

c)R d

R

c)R

¦3VD ›W©M~Z¦1/€W`€5=+=1¢>=-§¦

R ›W J H k1aYVY]DXЍcCK•1 \Wh_S[XUV†CGhW]/cA;pDA2JVYh)V'"NcVN)eVZ˜Z˜˜VNJR/c&#V

"NJRXV˜Z˜˜VN & VXY[NJUTV

§¦(/¢

__

¦3VD ›W©M~Z¦1/€W`€5=+=1¢>=-§¦

R ›W JVYh 1aYVY]DXЍcCK•1\Wh_S[XUV†CGhW] cA/pDAL1JHZk V'"N c VN e V˜Z˜˜XVdN R/c &#V

"N R V˜Z˜˜VN#& VXY[NJUTV

§¦(/¢

‹VYEF\WBULy=›WPlaYEGCFBDVYXUTWJ +-!."-"/$!1(2*1 ’jVYXDT%CF^WXUV†J%VY@Lge3CF\=h_g%L[kW^WBDL@]U]DVYCFh=]˜

=ŒL’L@BDL*h=CFXH`eWaYLXUCŒEFL@h=L@BIHKXDL*XUTWLa†C6CG^ e3CF\Wh_gž]V†h—XDTWLa•H`]UXL[k_H`J%^WaYL\W]DVYhWE

‹WCG\WBDVYL@BЍЏ CFXDf‘nVYhLfa†VYJ%V†h3H`XDVYCGh”d[XDTWLjS[CGJ^W\WX[H`XUV†CGhBDLˆG\WVYBDVYhWEJ%CFBDLXDT_HKh!XUTWLlHZ–FH`VYa•H`eWaYL

JL@J%CFBUm]D^_HGS[LF˜

-H`eWaYLŒMF›jL@J%CFBUm \=]IH`EGL$SxCFJ^3H`BDVY]UCFh e_LfXŽ’šL@Lfh ‹WCG\WBDVYL@BЍЏCGXD@‘6VYh”dS[CFh6XDLxkžXЍce3H`]DLZg

A/pDA H`h_g%^_HKBIHKa†aYL@aœA/pDA

lCGJ HKV†h  L@JCGBDmce6m6XDL@]/

gžV†J 1X S[CGhW]DXUBD])0W ‹ D A/pDA—’FSxCFh6XDL[kWX ^_HKBIH`aYaYL@aœA/pDA

y $ t=˜s$4 t=˜sFs tW˜sGv

8 Ms t=˜yFy t=˜yFv tW˜y!4

sFt MG˜yFs MG˜8ns MF˜vGv

$ s $ lvGt 83˜yWM vW˜vGt

jTWLBDLf]D\WaYXD]]UTWC`’©XŽ’šCVYJ%^_CGBDXIHKh6Xš^3CFVYh6XD]Z›_XUTWLJ%CžgžL@BIHKXDLBULˆG\WVYBDL@J%L@h6XD]lCKšA/pDA/d

L@]D^3LS[V•HKa†aYmO1CFBœa•H`BUEFL-S[CGJ^W\WX[H`XUV†CGhW]d@HKh_gRXDTWLL[k_S[L@aYaYL@h6X”^3L@BŽ1CGBDJH`h_S[L/CKžXUTWLšHKa†EGCFBUV†XUTWJ

+-$."-/)!1(21 dG’jTWV•SUT™Lf–FL@h‡]DLˆG\WLfhnXUV•H`aYVY@Lg‡VY]j1BUCFJv%\W^‡XDC 4Fv ŽH`]DXUL@BXDT_HKh™XUTWL

S[CFh6XUL[kWXŽŽe_H`]ULg–FLfBD]DVYCGhBDCFJ "v+&D˜

P S[CFJ%^_H`BUV†]UCFhRC`W^_LfBŽ1CGBDJ HKh_S[L@]œCKWXDTWL-]U\WeW^WBUCWS[L@]D]UL@]-CK=HKaYEFCFBUVYXDTWJ +-!.-/$0!1(21

*_E3˜%8 ]DTWC`’j]XUT_H`X…XDTWL@VYB!SxCFJ^=a†LxkžVYXŽmVY]!H`h‡L[kW^3CFhWL@h6XUV‰HKa-\Wh_S[XUV†CGhŒC`jXDTWLh6\WJe3L@B

C`/^_H`B[H`JLfXDL@BU]1VŽ˜LF˜Yd6hWL@]DXUVYhWEaYL@–GL@aŽdL[k_S[L@^=XlCFBjXDT=L!S[CFJ%^W\WX[H`XDVYCGhC`-XDTWLVYhWhWLfBDJCG]DX

VYh_g6L[k’jTWLfBDL XDTWLHFSxXD\_HKa¨S[CGJ^WaYL[kWVYXŽmS

3

7

3

#

3 ;

jTWVY]lH`aYaYC`’j]-XDC^3H`BDXUVYXDVYCFh%XDTWL!SxCFJ

^W\WX[H`XDVYCGhW]j1CGBl]UJ H`aYahn\=Je_L@BU]lCKš^WBDCWS[Lf]D]DCGBD]•1BUCFJ XŽ’C\W^‡XDCL@VYEGTnX/j’jVYXDTŒHEGC6Cžg

aYCnHFg e_H`a•H`h3S[LF˜% VY–GL@h™XUTWL@]UL^3L@BŽ1CGBDJH`h_S[LBUL@]D\=a†XU]d’šLHKBDLS[\WBUBDL@h6XDaYmŒ’CFBU‘nVYhWECGh$H

ˆG\_H`h6XDVYX[H`XDVY–GLJCWg6L@aC`XDTWLBD\=hWhWVYhWE‡XDVYJLCK+-!.-/$0!1(21*VYh CGBIg6L@BXUCŒ^WBDLZg6V•S[X

" 3

-H`eWaYL s=› z¨kžLZS[\WXDVYCGhXDVYJLSxCFJ^3H`BDVY]UCFhŒe3L@XŽ’šLfL@h„‹=CF\WBUV†LfBŽDCFXU@‘6V†hd-S[CFh6XDLxkžXЍce3H`]DLZg

A/pDA H`h_g%^_HKBIHKa†aYL@aœA/pDA

RCFJ HKVYh j]UL@BlXUVYJL]#

g6VYJ S[CFhW]UXDBU] ‹ D A/pDA—’ ^3H`BIHKaYa†Lfa”A/pDA

1X 0W SxCFh6XDL[kWX JHZk^_LfBl^WBUCžSxL@]D] XDCGXIHKa

y $ t=˜sFy MF˜t $ tW˜sWM tW˜54 8

8 MZs 83˜sFu yW˜($Ft MF˜t 8 yW˜Fy

sGt y 8nv!4W˜tFt 4=MF˜ 8 MZyW˜tFt v $W˜YMt

$ s $ h FH u=MFMG˜86y M 86vW˜Fy vFs=MF˜($WM

t=˜tWM t=˜YM

M

MZt MtGt MtGtFt

t M s y 8 v 4

.1< 4[>

2/4W>

.2¨0 4œ4

=5!4 ,

2

4,

2

I

I I I I I I I I

‹VYEF\WBUL83›JzkWLS[\WXUVYCFh*XUV†J%LjC`-]D\=eW^WBDCWS[Lf]D]DLf]C` +-!."-"/$!1(2*11 W $JV20 W s $

3 3 3

XDTWL’CFBU‘6a†C6HFg%CFBHEFVY–GL@h$gžCFJ HKVYh HKh_gŠXDC*e3LH`eWaYL XDC*T3H`h_g6aYL ^_H`B[H`aYaYL@a/^WBDCWS[Lf]D]DVYhWE

BDL@]UCF\WB[S[L@]CœL@BULge6mJ\WaYXDVY^WBUCžSxL@]D]UCFBj’CFBD‘6]UXIH`XUVYCFhW]Z˜

( `)

jTWLjaYC6CF^ EFL@hWLfBIH`XUVYCFh^WBUCFeWaYL@J VY]-CFh=LjC`œXDTWLR‘FL@m6]-XUCXDTWLREFL@h=L@BIHKXDVYCFhCK ^WBUCFEGBIH`J%]/V†h

^_H`B[H`aYaYL@aYVYH`XUV†CGh!H`h3g^_HKBIHKa†aYL@a=^WBDCGEFBIHKJ XDBIHKhW]ŽCFBDJH`XUV†CGh”˜ 4OC`’šLf–FL@BZdFL[kWVY]DXUVYhWEJLfXDTWCWg6]

C`-aYC6CF^*EGL@hWL@B[H`XDVYCGh”dWe_HK]DLgŠCFh‡‹WCG\WBDVYL@BЍЏCGXD@‘6VYh*^_HKVYBD’jVY]DLLfa†VYJ%V†h3H`XDVYCGh”dF]U\ œL@BR1BDCGJ

XŽ’šCaYVYJVYX[H`XDVYC`hW]V†h=TWL@BDLfhnXXUCXDTWVY]HKaYEFCFBUVYXDTWJ‡›nHKh VYJ%^_CGBDXIHKh6Xš]U^_HFS[LS[CGJ^WaYL[kWVYXŽmH`h_g

H`h%V†XUL@BIHKXDVY–FLL[kWLSx\WXDVYCFhŠBDLˆG\WVYBDVYhWEH`aYaœaYC6CF^%e_CG\Wh_g6]jXUCe_L!SxCFJ^=\WXDLg%H`XjCGh_S[LF˜

pŽh XUTWVY]j^_H`^3L@BR’šLVYh6–FL@]UXDVYEnHKXDLg%XDT=L^WBIHGS[XDV•S@HKa”\W]ULC`-H aYCnCG^EGL@hWL@B[H`XDVYCGh J%L@XDT=Cžg

1CFBUJL@BUaYm]D\WEGEFL@]UXDLgŠe6m ‹=LH`\WXUBDVYL@BVYh9"v+&D˜ 4jVY]le_HK]DV•SRV•g6LH’jH`]RXDC\W]UL!^3H`BIHKJL@XUBDV•SRaYV¾

hWLHKB”^WBUCFEFB[H`J%JVYhWE/XDC6CFaY]XDCSxCFJ^=\WXDL/aYC6CF^e3CF\Wh3g6]”CGhWL-e6mCFhWLjH`h_gRL[kW^WBUL@]D]XDTWL@J H`]

S[CFh3g6VYXDVYCFh_HKaWXDLfBDJ]Zd`XDC e3LlL@–FHKa†\3H`XDLZgH`X-BU\Wh6ŽXDVYJLF˜5jTWVY]-JL@XUTWCWg ]D\Weœg6VY–6V•g6L@]XDTWLRV†h=V¾

XDV•H`a=^WBDCGeWaYL@J V†h6XUC]UJ HKa†aYL@B/CGhWL@]a†LZHFg6VYhWEXDC H`hL/; S[VYL@h6XjS[CFJ%^W\WX[H`XDVYCGh”dZeW\WX-^WBUCWg6\_S[L@]

a•H`BDEGLHKh_g%V†h=L/; S[VYL@h6Xj]DCG\WBIS[L S[CWg6LF˜

=ŒLL[kW^WaYCFBULgXDT=L!^3L@BŽCFBDJH`h_SxLC`“H JCWg6V _Lg%H`^W^=BDCnHGSUT*’jTWV•SUT™^WBUCWg6\_S[L@]CG^WXDV

J HKa¨e3CF\=h_g‡L[kW^WBDLf]D]DVYCGhW]˜ =ŒLH`aY]DC*]UTWC`’ XDTWL^3CF]U]DVYeWVYaYV†XŽmŠC`l^_HKBIH`aYaYL@aYVY@VYhWEXUTWLaYC6CF^

EFL@h=L@BIHKXDVYCFh*^=BDCWS[L@]U]dœXUTn\=]lBDLZg6\_S[VYhWEXDT=L!S[CFJ%^WVYa•H`XDVYCGhXDVYJLF˜W‹=BDCGJ CF\WBRL[kW^_LfBDVYL@h_S[Lf]d

A/pDAŽe_H`]ULg H`aYEFCGBDVYXDTWJ%]_H`^=^_LHKB/XDCle3LcH`]UXDL@B/H`h_gJ%CFBUL¨BUCFeW\=]DX/XDT_HKh!‹=CF\WBUV†LfBŽDCFXU@‘6V†h

L@aYVYJVYh_H`XUVYC`h”˜@pŽh ^_H`BUXDV•S[\Wa•HKBd`^WBUCFeWaYL@J%]/\Wh6XDBIHGS[XIHKeWaYLj’jVYXDT XDTWLRa‰HKXDXUL@BdFgž\WLjXDCVYXU]-]D^_HGS[L

BDLˆG\WVYBUL@JL@h6XU]d6T_HZ–GLe3L@L@hŠ]DCFaY–GLg%’jV†XUT–GL@BDmEFC6CWgLxkžLZS[\WXDVYCGh*XDVYJLf]˜

jTWL]DVYJ%^WaYV‰SxV†XŽmCK-XDTWLJ%CWg6V _Lg%^_H`B[H`aYaYL@a¨HKaYEFCFBUVYXDTWJ(JH`‘GL@]jVYXj–FL@BUm*LH`]UmXDC\=]DL

H`h_g…VYJ^WaYL@J%L@h6XdZH`h_gHKa†aYC`’j]/XDC…L[kW^WaYCFVYX/XDTWLRJ\WaYXDVY^WBDCWS[Lf]D]DVYhWES@HK^_H`e=V†aYVYXDVYL@]/CK XUCžg=HZm ]

^_H`B[H`aYaYL@a/’šCGBD‘6]DX[H`XUV†CGhW]˜G=ŒLH`BDLS[\WBUBDL@h6XDaYm‡’šCGBD‘6VYhWECFhŒXUTWL ˆG\_HKhnXUVYXIH`XUVY–FL JCWg6L@aYVYhWE

C`œXDTWL^3L@BŽCFBDJH`h_SxL@]-C`”XUTWLH`aYEFCGBDVYXDT=J™d@’jT=V‰SUT]UTWCF\Wa•g TWL@aY^VYh 1\WaYaYm!L[kW^WaYCGV†XUVYhWE]D\_SUT

1\Wh_SxXDVYCFh_HKaYV†XUVYL@]˜

G-… l

"YM/&ƒ˜ PRh_S[CF\=BDXH`h_g ‹˜ pŽBDVYEFCGV†h˜ 7WS@HKhWhWVYhWE ^3CFaYm6TWLgžBIH ’jVYXDT w aYCnCG^W]˜ pŽh

L&% ;

&, 7)0,7) -3 #&, # $()3

3 #&#6-4-

3

-

"

$#&%% )4,

" d

^3H`EFLf]lyFuWvFt=dFPlƒjŒd F\Wh=LMuGuWMF˜

"s'&/˜WƒT3H`J]U‘6Vc˜K ,JI )46,5,

3 % 3 ,>( - "

)3)

3

-P

3 $

"

#6% %.# ()96, :, # / 1

3

-&1

3

#!(

3

:>

3

$#6-:- #6#6-4-

3 -3

˜¨A;T ©XUTWL@]DVY]Zd jh=V†–GL@BD]UVYXWiLg6L!qOL@hWhWL@]Rp@dW‹WLfeWBD\_HKBDm‡MuFuGyW˜

"y'&3˜Ð‹˜œƒCFaYa•H`B[gœdWA/˜œ‹WLHK\WXDBUVYL@BdœH`h3g,˜_qOV†]U]DL@XZ˜

&,X$(7:$()96, $O-7$&%

L'(

3

% , 3

&,X$(#&)0,>(3@˜qOL@]DLHKBISUT qjLf^_CGBDXuFy xMZvWd

i

zS[CFaYLjCFBUJ HKa†L 76\6

^jiL@BDVYL@\WBUL!g6L mFCGh”d5œmGCFh”dW‹=BIHKh_S[LFd3*HZm*MuGuFyW˜

"8 &A/˜ ‹WLZH`\WXUBDVYL@B˜ A/H`B[H`JLfXDBDV•S—VYh6XDL@EGL@B ^WBDCGEFBIHKJJ%V†h=EW˜

3 3

#

3

1

3

$# ()9&,

, 3 -4-

3 3

#!(*)96,X

3 3

#6#

dWsFs cy @›s 86yžs $=dWMu $ $W˜

" 3

"v'&A/˜/‹=LH`\WXUBDVYL@BZ˜76L@JH`h6XDV•S@HKašH`h3H`aYm6]DVY]!H`h3g‡J H`XUTWL@JH`XDV•S@HKa”^WBUCFEGBIH`J%JVYhWEW˜=Pl^W^WaYV

SfH`XDVYCGh XDCŠ^_H`B[H`aYaYL@aYV†ZH`XDVYCGh$HKh_gŒ–GLS[XDCGBDVYHKXDVYCFh”˜‡pŽh Œ˜¨ƒCG]Dh_HKBIg L@XŸHKaŽ˜†dLg6VYXUCFBD]Zd

#&#6-4-

3 - #&, )$(*)3Y7: ( 3 -

"

&7)(

%)@dF^3H`EFLf]yFtGuWyFsFt=dz/aY]DLf–nVYL@B7WS[VYL@h_SxL!A/\WeWaYV

]UTWL@BU] $R˜Jl!˜ OCFBDXUT6 4jCFaYa•H`h3g@d3Mu $FuW˜

"'&A/˜W‹=LHK\WXDBUV†LfB“HKh_g …˜X;HZ’je=Vc˜ 1

3

6-/: ()9&,

3

L'$(

3 % 3 )4,1

3

8: #!(*)+&,X -/)0,21

3

#6)4

3

%.'

3

3 % -6)-&: - "

)37)

3 - š˜C/LSUTWhWV•S@HKa¨qjLf^_CGBDXd5H`e3CFB[H`XDCGVYBDLP7žp@d jhWVY–œ˜

A;V†LfBDBDL…L@X*HKBDVYLƒ\=BDVYLFd_A/HKBDVY]dW‹=BIHKh_S[LFdlLZS[L@Je3L@B!MZu $Fu=˜

"54'&˜ B[H`hWaY\Wh3gœ˜W

53

:>-() -3 3

)7)9&, 7)( % 3

(*)3 )Y7$#&L`˜

qOL[1L@BUL@h_S[L J HKh6\_H`aŽdF‹=BDL@L76CK1XŽ’jH`BDL‹=CF\Wh3gWH`XUV†CGh”dGpŽh_S`˜Yd RLS[LfJe_L@BMZuFu=MF˜

"($'& ˜ _˜X=ŒCFa”H`h_g%Œ˜7œ˜5H`J™˜ P„aYC6CF^%XDBIHKhW]ŽCFBDJH`XUV†CGh!XUTWL@CGBDm HKh_gHKh HKa†EGCFBUV†XUTWJ

XUCŒJ H kžVYJVY@L^_HKBIHKa†aYL@aYVY]DJ‡˜ / #6,X # (*)96,X &, #&#6-4-

3 - #&, 2)(7)3Y: ( 3

L'(

3

%@d_s 38X@›8nvGs 84WMGdFwS[XDCGe_L@B MuGuWMF˜

Unit´e de recherche INRIA Lorraine, Techn ˆopole de Nancy-Brabois, Campus scientifique, 615 rue de Jardin Botanique, BP 101, 54600 VILLERS L `ES NANCY

Unit´e de recherche INRIA Rennes, IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rh ˆone-Alpes, 46 avenue F´elix Viallet, 38031 GRENOBLE Cedex 1

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex

Unit´e 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)

ISSN 0249-6399