HAL Id: inria-00074389
https://hal.inria.fr/inria-00074389
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
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
HPF to C-Pandore translator
Lahcen Jerid, Françoise André, Olivier Chéron, Jean-Louis Pazat, T. Ernst
To cite this version:
Lahcen Jerid, Françoise André, Olivier Chéron, Jean-Louis Pazat, T. Ernst. HPF to C-Pandore translator. [Research Report] RR-2283, INRIA. 1994. �inria-00074389�
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
HPF to C-PANDORE translator
L. Jerid, F. Andr´e, O. Ch´eron, J.L. Pazat, T. Ernst
N˚ 2283
Mai 1994
PROGRAMME 1
Architectures parall`eles, bases de donn´ees, r´eseaux et syst`emes distribu´es
$"%'&)(+*-,/.10324#%1576.8*19(:0;2=<>%=?A@B9(+*-CD60+2&1%E$"%F"G:H:GJI80K2LM%N"*-6OPI1Q
R1SUT;V3SXWZY7Y\[A]_^a`bSXcUd:eEfg[!chfgi:SU[Pj"kDWZSlWZmEm/n[PmE[Pj!o+pDWqjg[Pj"r+[Ar+T;sJsut[P[Pj-oDS:t[Pjg[-WZi+vK[PfwjUxyjUf!n[PY7[Pjzr{e|jUfgSUe|pJiut[Pj
R1SgT-}l[PfzR1WqY\kDW
~WZkJkDT3Sgfr+["Sg[-cgdJ[PSXcUd:[sA+;3; ^aKWZe]-;Z^3Ak)WZV;[j
-ZDZ38wd:eEjwkDWqkD[PSW3r:r+SU[PjgjU[Pj"fgd:[AfUSXWqs:jgmWZfUeET;s\TqbRk:SgT3V;SXWqY\jeEs+fgT7 ¢¡¢£1¤¢¥¢¦KT3s:[Pj-§
¨7©+ª¢«g¬A);®1Z°¯be|jUfgSUe|pJi:fg[!rY7[PY\T3SgxMkDWZSlWZmEmE[PmwclT;Y7k:i:fg[Sgj!o=clT;Y7k:eEmWZfgeET3s8o¢R=o8±"~1~_`z²b;³:o
jUT;i:Slcl[l´µfgTZ´µjgT3i:SXch[#fUSXWZsJjgmWZfUe|T3s
¶·¸
¹/ºµ»!¼
¸
¹½¿¾EºµÀµÁlÂ
ÃgÄÅ8ÄÇÆ-ÈÉËÊ)ÌhÍwÎZÏ;ÐDÑZÒ1Ó¢ÒgÌhÏZÔÖÕ×ÒµÏ:ÉlØ!ÙlÚPÛ!ÜÅ8ÒµÝZÝ;ÒUÐ1Þ|ß-àµÌlÝ;áUÒXâ
ãPä1å"æèç
ßJÄÅ¿Æ-é1É-Å¢Ï;ÑZêlëDÒìàÊJí;ÌhÏ;ÐîÐÇÒgÒ1Ù-É æ8çîï
ÜhÛPðPñ1Ó¢ÒµàÇÔÖÕÖÝ#Þ
ä
ÒµàÇÍÌlÝZòËâ
Unit´e de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France)
©{! "© $#=[ SXWZkJkDT3Sgf\fUSXWqe|fU[Kr+[KmWKfUSXW3r+iDclfUe|T3s r+[Kk:SUT;V;SlWZY7Y\[Pj#bR [Ps k:SgT3V;SlWZY\Y7[Pj
¢¢¡¢£¿¤¥¢¦8§
% )Ë«X'&(© KW;cUd:eEs:[jAkDWZSlWZmEm/n[PmE[PjnWMY t[PY\T3eESg[#r+eEjUfgSgeEp:iwt[P[;oclT3Y\k:eEmWZfUe|T3s8o:R'o18±"~1~_`z²b;³:o
fUSXW;r{iDclfgeET3s
##
(*)$+ !Z8® Z&,î + -
. /
%1032452A¨76'
)98
6¢ &î;: + ® 1D<,µ=g)>, @?!&Ç© © +
-:&,
+
;=z-Z
+ &Ç:-D
-
:§E]BAK¯#w± #C1`D'E clT;Y7k:eEm|[SfgT+T;mEjGFHFFFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF
J§E];§E] ±K3[PSXWqmEm¢jgfgSUiDclfUi:Sg[LFFIFJFIFFHFFFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF
J§E];§Ö #=T;Y\kJe|mE[PSV;[Ps:[SXWZfUT;SFIFJFIFFHFFFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF
:§E];§Ö:§E] M:cPWZsJs:[PSV3[Ps:[PSlWZfUT;SNFFFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF
:§E];§Ö:§Ö R¿WqSgjU[PSV3[Ps:[PSlWZfgT3SOFHFFFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF
:§E];§Ö:§Ö A"[Ps:[PSlWZfUT;S=îT3Sw`p:jUfgSXW3clfIM{xys+flW-v1SU[P[PjFHFFFHFFFFHFFIFJFIFF
:§E];§Ö:§ A"[Ps:[PSlWZfUT;S=îT3Swfgd:["fgSlWZs:jìîT;SUYWqfgeET;sTqWqfgfUSgeEp:i:fU[!r7fgSg[[Pj1FIFJFIFF
:§Ö P=WZjUeEj=îT;SweEY\kJm|[Y[Ps+fXWZfUeET;sTZ¿fUSXWqs:jgmWZfUT;SQFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF
J§Ö:§E] AAK¯ JT;SgfUSXWqsD;³SR;R îSgT3syfU[PsDrTFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF
J§Ö:§Ö AAK¯# clT:r+["V;[Ps:[SXWZfUT;SUFFHFFFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF
V
\®èW?1-:&,î
+
=g)MP¢¢¡¢£1¤¢¥¢¦ X
:§E] bR r{e|jUfgSUe|pJi:fgeET;sQFFFHFFFIFJFIFFHFFFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF Y
:§Ö bP¢¢¡¢£¿¤¥¢¦ r+eEjgfUSgeEp:i:fU[!r7k:dDWZjU[ZFFHFFFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF Y
:§Ö 1SlWZs:jUmWqfgeET;sjlcUd:[PY\[FFHFFFIFJFIFFHFFFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF
- 6Z + &Ç:-:!&î©7[]\J^ ¿©+ (`_
D§E] è±"~1~w`"² 3³AkDWqSgfwTqbRaFJFIFFHFFFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF]!³
D§Ö M{kD[!checb¢cARclT;sJjgfgSUiDclfUj WqsDrMr+eESg[!chfge%K;[PjFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF];]
d 6©{\e,Ç-© ((
f §E]Bg¿vJWqY\k:mE[ih #=d:T3m|[j'j+x/W3clfgT3Sge%k!WqfgeET;s FHFFFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF];]
f §Ö glK;WZmEiDWZfUeET;s7FIFFFHFFFHFFFIFJFIFFHFFFFHFFFHFFIFFHFFFHFFFFHFFIFJFIFF]P
m ^1 1Z©\¬A) n (`d
X >??©
+
®o,p:16q1©[]\J^°-©{ ,î-©@?1Zr)Z M
+ ® 9q1© bP¢¢¡¢£¿¤¥¢¦Or)©
+
©+Z:-©:®
Z8®è©
(`m
#w!
Dµs>Sg[!ch[Ps+fAx;[!WqSgj-oDYMWZs+x\kJSgT!}l[-clfgjAd)W&K;["îT:cliJjg[!r>T3sKfgd:[ i %!"!$#i%p BWqk:k:SUTyW;cUd>fgT7k:SgT3V;SXWqY
r+eEjUfgSgeEp:iJfg[!r Y\[PY7T;SUx kDWZSlWZmEmE[PmzclT3Y\k:iJfg[PSUj'&E])(g§M+[$K3[PSXWqmzmWqs:V;iDWqV;[KkJSgT;k)T;jlWZmEjWqSgT3jg[ îSgT3Y fgd:[PjU[
*
T;S jyj-o;[3§V)§ +eE[PsJsDWAJT;SgfUSXWqs&|]
f
(WqsDrJT;SgfUSXWqs\¯,&Ö(g§Z`wfDg~ D'M+`#o
*
[clT3sDcl[Ps+fgSlWZfU[!r7T;s\r+[$K3[PmET;k:eEs:V
clT3Y\k:eEmEeEs:VWZsDrMSUi:s+´µfgeEY\[fg[!cUd:s:e.-3i:[Pj/&|]-+o1]P ('WqsDrKr+erMs:T3f"k:i:f"fgd:[[PY7k:dDWZjUeEjT;s fgd:[mWZsJV;iDWqV;[
Wqjgk)[!clfgj-§¢:T3StK;WqSgeET;i:j=k:SlW;clfUecWZm8SU[!WZjUT;s:j # *
WZjcUd:T;jU[Ps Wqjwfgd:["pDWqjg["jg[0-3i:[syfUeWZm8mWqs:V;iDWqV;["WZsDr
* [
[lv:fU[PsDr+[!r7eEf
*
eEfgd\W"Y7e|sJe|Y\WqmZjg[Pf=TZ¿r{e|SU[!clfUeK3[Pj!o3V;e%K+eEs:V"p:eESgfUdfgTAfUd:["P¢¢¡¢£1¤¢¥¢¦\mWqs:V;iDWqV;[1&Ö+o;2(ì§
~w[-cl[Ps+fgmEx+o¢fgd:[\_eEV;d Rè[PSìîT;SUYWZs)cl[BJT;SUfgSlWZs43/R5 mWqs:V;i)WZV;[/&f (dDWZjAp)[P[Ps r{[bDs:[!r WqjAWr{[l´
/W3clfgT"jUfXWZs)r:WZSlrîT;S1[lv:k:SU[PjgjUe|sJV#r:WZflW"r+eEjgfgSUeEp:i:fgeET3s#eEs:T3SgfgSlWZsk:SgT3V;SlWZY\j-§$DµfeEjr+[PjUeEV;s:[!rWqjWjU[PfTq
[lv:fU[Ps:jgeET3s:j'WZs)rAY7T{r{ecb¢cPWZfUe|T3s:j¢fgT"fUd:['jUfXWqsDr:WZSlr76XJT;SUfgSXWqs#;³289&Y(goZWZs)r"eEf¿[hv{kJm|T3eEfgj1fgd:[=kDWqSXWZmEmE[PmEeEjgY
eEs:d:[Sg[Ps+feEs7YWZs+xjXcleE[Ps+fUecb¢cAWZk:kJm|ecPWqfgeET;sJj!§
M+[$K3[PSXWqmDkJSgT;V3SXWqY\j1dDW&K;[wWZmESU[!W;r+xp)[P[Ps
*
SUeEfgfg[se|sR WqsDrs:[
*
p)[PsDcUd:YWqS'j+j
*
eEmEm+pD[w[lv:k:SU[Pjµ´
jU[!rAeEsAfUdDWZfèmWZs:V3iDWZV3[;§!JT;Sèfgd:eEj8SU[!WZjUT;s8oqfgd:[b¢¢¡¢£¿¤¢¥¢¦fg[-WZY r+[!cher{[!rfgT"r+[PjgeEV3s#WZsDr fgTeEY7k:mE[PY\[Ps+f
WKbR´/fUTZ´lP¢¢¡¢£1¤¢¥¢¦ fgSlWZs:jUmWZfgT3SAeEs T;Slr+[PSAfUTKpD[\Wqp:mE[fgTKfU[PjgffgdJ[M ¢¡¢£1¤¢¥¢¦ clT;Y7k:eEm|[S
*
eEfUd
bR k:SUT;V;SlWZY7j!§D¯bi:[fgT\fUd:[cli:SgSU[Ps+fAjg[fzTqur+eESg[-clfge%K;[jATZw ¢¡¢£1¤¢¥¢¦8oT;s:mExKWjUi:p:jg[fzTquR
YMW-x p)[MfgSXWqs:jgmWqfg[!r¢§1wdJ[kJi:Sgk)T;jU[KTZ"fgd:eEjkDWZk)[PS\eEjfgT>k:Sg[jg[Ps+f\fUd:eEjjgi:pJjg[PfMWZsDr fgd:[
*
W-x fgd:[
fUSXWZsJjgmWZfUT;SwdDWqjwpD[P[sKp:i:eEmEf!§
wd:[KclT3syfU[Ps+fgj7TZzfUd:eEj#fU[!cUd:s:ecPWqmSg[kDT3Sgf\eEjT;SUVyWZsJek[!r WZjîT;mEmET
*
j9hèjg[!chfgeET;s V;e%K;[PjWZs T K3[PSµ´
K+eE[
*
TqufUd:[5AAK¯ #w± #Cb1`D'EfUTyT3mEpDT-v WZs)r>fgd:[jUT;i:Slcl[\clT:r+[fgSlWZs:jUmWZfgT3SAT;s
*
d:ecUd fUd:[\R
fUTMP¢¢¡¢£¿¤¥¢¦KfgSlWZs:jUmWZfgT3SweEjwpDWZjU[!r¢§M{[!clfgeET3s kJSg[PjU[Ps+fgj"fgd:[AbR´/fUTZ´lP¢¢¡¢£¿¤¥¢¦KfgSlWZs:jUmWZfgeET3s
jlcgdJ[PY\[;§ M+[!clfUeET;sKmEeEjgfUjwfgd:["Ç[!WZfUi:Sg[PjbTZfgdJ[#R mWZs:V3iDWZV3[zSU[!clT3V;s:e%kP[!r pyx7fgd:[fgSXWqs:jgmWqfgT;S-§M+[-cU´
fUe|T3s f k:Sg[jg[Ps+fgjAWmEe|jUfwTZ1k:SgT3V;SXWqY\jiJjg[!r7fgTfU[Pjgfbfgd:["fUSXWZsJjgmWZfUT;SwWZsDr7Y\[-WZjgiJSg[PY7[Ps+fgj=fgTclT;Y7kDWZSU[
fUd:[#WZiJfgT;YMWZfUecWZmEmEx#bP¢¢¡¢£¿¤¥¢¦KV;[PsJ[PSXWqfg[!rKchT{r{[PjfUTdDWZsDry´
*
SUe|fUfg[PsMT3s:[Pj!§
: ;=<
°?>
A@
7 0B DC EBKAF!HG3#I JLK MJ \
"! NG B !"#
O eEfUd:eEs fUd:eEjAjg[!chfgeET;s
*
[k:Sg[jg[Ps+fWMp:SgeE[lr+[PjlclSgeEk:fUeET;s TqufUd:[\clT3Y\k:eEmE[PSV3[Ps:[PSlWZfUe|T3s fgT+T;mEp)T-vWZs)r
fUd:[#R fgTjU[0-3i:[Ps+fgeWqm # fUSXWZsJjgmWZfUT;SwT;s
*
d:ecUd
*
["pDWqjg[!r7T3i:SwT
*
sMfgSXWqs:jgmWqfgT;S-§
PRQ)S TVUXW Y[Z\Y^]`_Na4bdcXegfFhjik)lnmpoqrfflns
.ut(vt(
49w)©yZ &&'- q 1Z©
èeEV;i:SU[]1jgdJT
*
j8fgdJ['clTZ´µT;k)[PSlWZfgeET3sApD[f
*
[P[s#fUd:['r+eyx¢[PSg[Ps+fèk:SgT3V;SXWqY\j
*
d:ecUdAclT;sJjgfgeEfUi:fg[=fgd:[fgT+T;mEp)T-v§
` clT3Y\k:mE[PfU[zr+[jXclSUe|kJfgeET;s cWZsMpD[bîT3i:sDr7eEs^&E];])(g§
.ut(vt. 2z @?,&Ç©+ r)© + ©+Z:-)
.ut(vt.gt( z
q
++
©+>r)©
+
©+Z:-)
|{}&E]-³$('V;[PsJ[PSXWqfg[Pjk:SUT;V3SXWZY7jfUTKpD[iJjg[!r e|s>mE[lv:ecPWZm'WqsDWZmEx+jgeEj"TZwfg[hv{f-§¢` fµx+k:ecPWqm'W;clfUeET;s>e|jfgd:[
V3[Ps:[PSlWZfgeET3sTqjXcPWqs:s:[PSUjÇT;SclT3Y\k:eEmE[PSgj-§W{"jgflWZsDr+j_îT;Sw~w[V;i:mWZSgA~k:SU[PjgjUe|T3sKfgT+T3m/§"DµfweEjweEs:jUk:eESg[!r
îSUT;Y Eog~#§o|{Ak:SgT:cl[jgjg[jBWjgk)[!cleb cPWqfgeET;s clT;s+flWZeEs:eEs:V\SU[PV;iJmWqS[lv:k:SU[PjgjUeET;s:jAfUT\p)[#jU[!WZSlcUd:[!r îT3S!o
WqsDr W;chfgeET;s:j
*
SgeEfgfU[Ps e|s # T;S T{r{i:mW-´g fgTpD[ [lv:[!cli:fU[!r
*
d:[s [lv:k:Sg[jgjgeET3s:j WZSU[KÇT;i:sDr§|{
V3[Ps:[PSlWZfg[j W>flWZp:mE[l´gr+SUeK3[Ps jXcPWqs:s:[PSKclT3s:jgeEjUfgeEs:V TZ#W>jlcPWZs:sJ[PS\SUT;i:fUe|sJ[ WZsDr clT3s+fgSgT3mflWZp:mE[Pj-§wd:[
jlcPWZs:sJ[PSSUT;i:fUe|sJ[zeEY7k:mE[PY\[Ps+fUj'WZsKWZiJfgT;YMWZfUT;sWZsDrMclT3syflWZeEs:jWclT3k+xTZfgd:["jUkD[!checb)[!r W3clfgeET3s:j!§
Scanner specification :
Regular expressions Rex Scanner
Lalr Parser
Parser specification : Concrete syntax (grammar)
Tree specification : Ast Tree
Abstract syntax (grammar)
Puma specification module Puma Puma generated
module
Compile + Link Executable
Compiler
Compiler Module Tool
Specification
.ut(vt.gt%.
\b:;©+>rD©
+
©+Z:-D
wd:[ kDWZSUjg[PSMV;[s:[PSXWqfgT3S #c &E]!$("dDWZj7pD[[Ps r+[$K3[PmET;k)[!r
*
eEfgd fgd:[ WqeEY fgT clT;Yp:eEs:[MW>kDT
*
[PSìîi:m
jUkD[!checb¢cPWZfUe|T3s fg[!cUd:sJe-3i:[ îT3S chT;s+fg[lv:fì´îîSU[P[ mWZs:V3iDWZV3[Pj
*
eEfUd fgd:[ V3[Ps:[PSlWZfUe|T3s TZd:eEV;dJm|x[ cleE[Ps+f
kDWqSgjU[PSgj-§:wd:[bV;SXWqY\YMWZSgjèYW-x"p)[
*
SUeEfgfg[s\i:jUe|sJV gP=² chT;s:jUfgSgi)clfgj-§gW3cgd7V;SlWZY\YMWZS¢SUi:mE[YW-xpD[
WqjgjgT:cleWqfg[!r
*
eEfgd W7jU[PYWqsyfUecAW;clfUeET;s clT;s:jUeEjgfgeEs:V TZWZSgpJe|fUSXWqSgxKjUfXWZfU[PY\[syfUj
*
SgeEfUfg[Ps eEs>fgd:[flWZSgV3[Pf
mWZsJV;iDWqV;[;§vO d:[s:[$K;[S#W7V;SXWqY\YMWZS=Sgi:mE[eEj"Sg[!clT3V;s:e%kP[-r>pyx fgd:[kDWqSgjU[PSAV;[s:[PSXWqfgT3S!oèfgd:[\WqjgjgT:cleWqfg[!r
jU[PYWqsyfUecW;chfgeET;s7e|jw[hv{[-cli:fg[-r¢§)` Y\[!cUdDWqs:eEjgY îT;SMy´ìWqfgfgSUeEp:i:fgeET3s3îT3s:mExjgx+s+fgd:[jge%kP[!rKWqfgfUSgeEp:i:fU[Pj 5_e|j
k:SUT K+er{[!r7fgT\WZmEmET
*
clT;Y7Yi:s:ecPWqfgeETZs#p)[Pf
*
[P[Ps>fgd:["jU[PYWqsyfUecW;chfgeET;s:j-§
.ut(vt.gt%V / © + ©+Z:-DJ=g)\P-ZDq z ª + -W: 6Z©+©:
! p&Ö$(DeEj'WbV3[Ps:[PSlWZfgT3S1îT3S¿kJSgT;V3SXWqY Y\T:r+iJm|[j8fgd)WZf'r+[ bDs:[Pj=fgd:[wjUfgSUiDclfgiJSg[TqWqp:jgfUSXW3clf'jUx+syflW-v#fUSg[P[j
WqsDrk:SgT K+er+[Pj7V;[Ps:[SXWZmbfgSU[P[KYWqs:eEk:i:mWZfUeEs:VMk:SgT:cl[!r{i:Sg[Pj-§wwd:[ r{[bDs:[!r fgSg[[PjMYW-x>pD[ r{[!clT;SlWZfU[!r
*
eEfgd WZfUfgSgeEp:iJfg[PjTq WZSUp:eEfgSlWZSgx fµx+k)[Pj!§1wdJ[jUfgSUiDclfgiJSg[KTqzfgdJ[\fgSU[P[Pj7e|jjgk)[!clebD[-r p+x WMîT3SgYMWZmEeEjgY
pDWqjg[!r T;s clT;s+fg[hv{fì´îÇSg[P[MV;SlWZY7YWZSUj!§)wd:[7V;[Ps:[SXWZfU[!rY\T:r+i:mE[eEsDclmEiDr+[Pjk:SUT{ch[!r+i:SU[Pj\fUTclT3s:jgfUSgiDchf
WqsDrfUTBr+[jgfgSUTZxfgSU[P[Pj!o)fUTASg[!W3rMWZsDrfgT
*
SUe|fU["fgSg[[Pj=îSgT3Y 3îfUTd5lbDmE[Pj!o:WqsDrfgTfgSlW&K;[PSUjg["fgSU[P[Pjbe|sjUT;Y7[
clT3Y\Y7T;s:mExiJjg[!r7YWqs:s:[PSUj!§i !jeEs:k:iJfmWZs:V3iDWZV3[we|ji:jg[!r7fUT#r+[bDsJ[zfUd:[sJT{r{[fµx+kD[j!o3fgd:["jgiJp:fµx+kD[
SU[PmWZfgeET3s\p)[Pf
*
[[Ps sJT{r{[zfµx+k)[PjzWqsDrMWZfUfgSgeEp:iJfg[PjwTqfUd:["s:T:r+["fµx+kD[PjbeEsDclmEiDr+eEs:Vfgd:[e|SrJWZfXWfµx+k)[Pj!§
.ut(vt.gt- / © + ©+Z:-DJ=g)9q1©M!Z + =g) :9, + ;=:-! ,Ç!¿-©:®K-Z©+©:
R#>N&Ö$(8e|j=WAfUTyT3m¢jgi:kJkDT3SgfgeEs:VfgdJ[fgSlWZs:jìîT;SUYWqfgeET;s\WqsDrYWqs:eEk:i:mWZfUe|T3sATZWZfUfgSgeEp:iJfg[!rfgSg[[Pj!§ Dµf=e|j
pDWqjg[!r7T3s\kDWqfgfg[Sgs+´µYWqfXcUd:eEs:VDoqi:s:eb cPWqfgeET;s8o+WZs)rSg[-cli:SgjUeET;s8§ R#>"clT+T;k)[PSXWqfg[Pj
*
eEfgdfgdJ[zV3[Ps:[PSlWZfUT;S
îT3SzWqp:jgfUSXW;chfzjUx+syflW-vKfgSU[P[Pj !/§ R# W;r:r+jAWclT3sDcleEjg[sJT;fXWqfgeET;s7îT3SfUd:[#WZs)WZmEx+jgeEjzWqsDrMjgx+s+fgdJ[PjgeEj
Tq¿fgSU[P[Pj-§
PRQP skns fo\k)hjil)mph mFqpqrk)f f qrosl qrfo
O [wpDWqjg[!rT3i:S'bR>fgT ¢¡¢£1¤¢¥¢¦7fgSXWqs:jgmWqfgT;ST;s\WZs[hv{eEjUfgeEs:V"fgT+T;m¢r+[$K3[PmET;k)[!rp+x AK¯o
*
d:ecUd
fUSXWZsJjgmWZfU[PjzWjgi:pJjg[Pf"TZR eEsyfUT#jU[0-3i:[Ps+fgeWqm # clT:r+[;§
.ut.ut( / %10 ^¢)Z!Z + _ [7\H^ =gZ + !© + ®
`wf AK¯_´ìoDg~M{AoO §D`;YMWZs:s WqsDr>R1§ g1s:j j;T;s)WZfgiJjAdDW&K;[\r{[$K;[PmET3kD[!r WMJT;SUfgSXWqsD;³SR;bRîSUT;s+´
fU[PsDr¢§;DµfwdDWZsDr{m|[j'fUd:[
*
d:T3m|[":T3SgfUSXWZs);³mWqs:V;i)WZV;["WZsDr7cPWZsMkDWqSgjU[ WqmEm¢fgd:[AR r:WqfXWr+eEjgfgSUeEp:i:fgeET3s
Wqs:s:T;flWZfUe|T3s:j!§ Dµf#eEjAfUd:[>bDSUjgfk:SUT;fUT;fµx+kD[7TZwfgd:[MkDWqSgjU[PS#Tqfgd:[MR chT;Y\kJe|mWqfgeET;sMjgx+jUfg[PY
*
d:ecUd
eEjwp)[PeEs:V\r+[$K3[PmET;k)[!r
*
eEfgd:eEs7fgd:[AR~gR)`z~g gi:SgT3kD[!Wqs gM:R~Dµ k:SgT!}h[!clf9&Ö$(g§+wd:eEj=îSUT;s+fg[Ps)r\d)WZj
p)[P[PseEY\kJm|[Y\[Ps+fg[-r
*
eEfgdfgd:[=d:[PmEkTZ r{ex¢[PSU[Ps+ffgT+T;mEjèTZDfUd:[ #w± #Cb1`D'E7fgT+T3m|p)T-v h |{g #cW!
R#>Z§J`mEjgT)o:eEfuchT;s+fXWqe|sJjwjgT;kJd:eEjgfgecPWqfg[!r dDWZsDry´
*
SUe|fUfg[PsMkDWqSgfUjfgT\chT;k)[
*
eEfUdfUd:[Aer+eET;jUx+sDclSXWqjgeE[PjwTq
fUd:[AjgT3i:SXch[AmWZs:V3iDWZV3[;§
.ut.ut. /
%10 2 Z8®è©7r)©
+
©+Z:-D
wd:[jlWZY7[BWqi:fgd:T3SgjdDW&K;[WZmEjUT r+[$K3[PmET;k)[!r W# chT{r{[\V;[s:[PSXWqfgT3S!§oDµf#cPWZs p)[WqjgjUT{cheWqfg[!r
*
eEfUd fgd:[
JT;SUfgSXWqsD;³SR;bRkDWZSUjg[PSAeEsKT3SXr+[SzfUTMk:SgT:r+iDch[ # jg[0-3i:[Ps+fUeWqm'clT:r+[îSgT3Y:T3SgfUSXWZs);³iR3RjUT;i:Slcl[
clT:r+[3§"Dµs\fgdJ[[!WqSgmEx>K;[PSUjgeET;s7TZ8fUd:[zclT:r+["V3[Ps:[PSlWZfgT3S
*
[d)W&K;[iJjg[!r¢o+jUT;Y7[:T3SgfgSlWZsD3³bî[!Wqfgi:SU[Pj
*
[PSg[
s:T3f#d)WZsDr+mE[!r ÇT;SAeEs:jUfXWZs)cl[;oWZSUSXW-x>jg[!chfgeET;s:j-§wd:[#clT:r+[MV;[Ps:[SXWZfUT;SeEjAeEY\k:mE[PY7[Ps+fg[!r i:jgeEs:V fgd:[
R#>"fUSXWZsJjµîT3SgYWqfgeET;sfUT+T;mµ§
KMKM"! G;
M+flWZSUfgeEs:V7îSgT3Y°fgd:[>AAK¯ # clT:r+[V;[PsJ[PSXWqfgT;S-o¢fgdJ[\W;r:Wqk:fXWqfgeET;s7îT3S#bP¢¢¡¢£¿¤¥¢¦ clT;s:jUeEjgfgje|s fgd:[
fUSXWZsJjµîT3SgYWqfgeET;sTq8fgd:["[lv:eEjgfUeEs:V#SUi:mE[PjWZs)reEs\fUd:["e|sJjg[PSUfgeET;s7TZ¿sJ[
*
SUi:mE[Pjr+[!r{ecWZfg[-r\fUT#fUd:["V;[PsJ[l´
SlWZfgeET3s\TZbP¢¢¡¢£¿¤¥¢¦ r+eEjgfUSgeEp:i:fUe|T3seEs+îT;SUYWqfgeET;s8§-wd:["eEY\kJm|[Y\[Ps+fXWqfgeETZsTZ8fgdJ[zfUSXWqs:jµîT3SgYMWZfgeET3s:j
eEjwpDWqjg[!r7T;s7kDWZfUfg[PSUsKYWqfXcUd:eEs:V)oZi:s:eb cPWqfgeET;sMWZsDr7SU[!cli:SUjgeET;s8§ gW;cUdMfgSlWZs:jìîT;SUYWqfgeET;seEjwYWqeEs:mExAeEY´
k:mE[PY7[Ps+fg[!rp+x\WAjU[PfwTZ8jUi:p:SgT3i:fgeEs:[j!o:[-W;cUdMjgi:p:SUT;i:fUeEs:[p)[PeEs:VclT;Y7kDT3jg[!rTZ¿SUi:mE[Pj!§+` SgiJm|[AclT3s:jgeEjUfgj
Tq¿WAkDWqfgfU[PSgsMr+[PjXchSgeEp:eEs:VWAfUSg[P[bîSlWZV;Y7[Ps+fWZsDrWqsW;chfgeET;s8§O d:[s\fgdJ[zcli:SUSg[Ps+fwjUi:p:fgSU[P[AeEjYMWZfXcUd:[-r
*
eEfgd W kDWqfgfg[Sgs8o1fUd:[clT3SgSU[Pjgk)T;sDr{e|sJV W;clfUe|T3s TZzWMSUi:mE[\eEj[lv:[!cli:fU[!re|s T3SXr+[SfgTKV3[Ps:[PSlWZfg[KclT:r+[3§
Dµs fgdJ[MîT;mEmET
*
eEs:VKjU[!clfgeET3s:j
*
[Mk:Sg[PjU[Ps+fMfgd:[
*
W-x r:WqfXW r+eEjgfUSgeEp:i:fUeET;s eEj[lv:k:Sg[PjUjg[!r eEs RWZs)r
¢¢¡¢£¿¤¢¥¢¦è§rO ["fgd:[s r{[PjXclSUeEpD[fgd:["fUSXWZsJjgmWZfUe|T3sMjXcUd:[PY7[
*
["dDW&K;["eEY\kJm|[Y[Ps+fg[!r¢§
Q)S k)s qrork q k)f
wd:[A¯D'M+~ D'P_g r+eESg[-clfge%K;["jUkD[!checb)[PjzWYWqk:k:eEs:V"TZr:WZflWAT3p;}l[!clfUjwfgTWZp:jUfgSXW3clfkJSgT:cl[PjUjgT;SUjeEsW
k:SUT:cl[PjgjUT;SWZSUSXWZsJV;[PY7[Ps+f!§WDµf"YMW-xWZkJkD[!WqS"T;s:mExMeEsKfgd:[jgk)[!cleb cWZfgeET3s kDWqSgf"TZwW\jlclT;kJe|sJV\i:s:eEfAWZs)r
p)[AWZk:k:mEeE[!rfgTjgT3Y\[r+[-clmWZSg[-rMT;p;}l[-clfgj-oDW;ccl[PjgjUeEp:mE["îSgT3Y fgdJe|j=jXchT;k:eEs:Vi:sJe|f-§WM+[$K3[PSXWqm)îT;SUYWZfUj'YMW-x
p)[Ai:jU[!r7e|sKW¯D'M+~D'Pwg r+eESg[-clfge%K;[ShPE8± #Co ##E D #"oJ§
¯beEjgfUSgeEp:i:fUe|T3s:j8YMW-xwpD[jgk)[!clebD[!reEsDr+[kD[Ps)r+[Ps+fgmEx"îT3S¢[!W;cUdr+eEY\[PsJjgeET;sbTZ W=Yi:mEfUer{e|Y[s:jgeET;s)WZmZWZSgSlW-xy§
!
"$#%'&()+*-,."$/#0"21(#!34#5*6#879 ;:8<8*=:>
?A@BC'DEB)1F(001()0GB)1FH<H3IB8<8*6B8<7
?A@BC'DEB)1F(001()0GB)1F>J3IB>H7
?A@BC'DK,."20(%)H"ML(N%O:.<H34LP1FQ*6LP'1FQR7
?A@BC'DK,."20(%)H"ML(N%O:'>J3SF(TF2PTF!*;UH7
wd:[`#]WZSgSlW-x
*
eEmEm8p)[BcWZS'K3[!rMi:k>eEs+fgT\clT3syfUeEV;i:T3i:jSU[!clfXWqs:V;iJmWqSkDWqfXcUd:[Pj-o
*
d:ecUd
*
eEmEm¢pD[r+eEjµ´
fUSgeEp:i:fU[!rT3syfUTAW"f
*
Tq´ìr{e|Y7[Ps:jUe|T3sDWZm+WZSUSXWZsJV;[PY7[Ps+f¿Tq¿WZp:jUfgSlW;clf=k:SgT:cl[jgjgT3Sgj-§+wd:[`"AWZSUSXW-x
*
eEmEm:dDW&K3[
eEfgjwSUT
*
jzr+eEjUfgSgeEp:iJfg[!rKchx{chm|ecPWqmEm|xT K3[PSWT;sJ[l´ìr{e|Y7[Ps:jUe|T3sDWZm¢WZSUSXWqs:V;[PY7[Ps+f!§+wd:[VAjUkD[!checb)[PjAfgd)WZfw`z
eEjws:T3fwfgTpD[#r{e|jUfgSUe|pJi:fg[!rMWqm|T3s:Ve|fUjwjg[!chT;sDrKWËv:e|jXW+fgd+i:jWqs[syfUeESg["SgT
*
eEjwfgTpD[#r{e|jUfgSUe|pJi:fg[!rMWqjwT;s:[
T3p;}l[!clf-§
QP Y=Z([]\_^a`bdc]efk)s qrork q mJjigsdm
` P¢¢¡¢£¿¤¥¢¦#kJSgT;V3SXWqY e|j1W=jg[0-3i:[syfUeWZm+k:SgT3V;SlWZY
*
d:ecUd#cPWqm|mEj8r+eEjUfgSgeEp:iJfg[!rk:dDWqjg[Pj-§Z` r+eEjUfgSgeEp:iJfg[!r
k:d)WZjg[=eEj8jUk:Sg[!W3rAT K3[PS1fgd:[k:SgT:cl[PjUjgT3Sgj=TZ:fgd:[=fXWqSgV3[Pfr+eEjgfgSUeEp:i:fg[-rAY7[PY\T3SgxwYW3cUd:eEs:[WZsDr"eEjè[lv:[!cli:fU[!r
eEsMkDWZSlWZmEmE[Pmµ§iDµfUjwjgk)[!cleb cPWqfgeET;s e|jwr+[PjlclSgeEp)[!r jgeEY\eEmWZSUm|xfgTfgdJ[ r{[bDs:eEfgeET3sTqWk:SUT:cl[!r+i:SU[ih
h
W#r{e|jUfgSUe|pJi:fg[!r k:dDWZjU[AeEj'V3e%K;[PsKWsDWZY7[zWZs)rWmEeEjgfwTZèîT;SUYWqm:kDWZSlWZY7[Pfg[PSUj!o
h
fgd:[ T{ccli:SgSU[PsDcl[ TqAfgdDWqf\sDWqY\[
*
eEfUd W>mEeEjgfTqA[x [-clfge%K;[>kDWqSXWZY7[Pfg[Sgj!oeEs fUd:[KjUi:p:jg[-;iJ[Ps+f
k:SgT3V;SlWZY fU[lv:f!o:kJSgT:r+iDcl[jzfUd:["eEs:jgflWZs+fgeWZfUeET;s\Tq¿fUd:[Ar+eEjgfgSUeEp:i:fg[-rMk:dDWqjg[;o
h
fgd:[ pDT:r+xTZ W r{e|jUfgSUe|pJi:fg[!r k:dDWZjU[KeEj
*
SgeEfgfU[Ps WZj\W>jU[0-3i:[Ps+fgeWZmbk:SgT:cl[-r+i:Sg[(Wwfgd:[Sg[ WqSg[Ks:T
kDWZSlWZmEmE[Pm8clT3s:jgfUSgiDclfUj"e|s7fgd:["mWZsJV;iDWqV;[;o
h
WAr+eEjgfUSgeEp:i:fU[!rkJdDWZjU[ cWZs:s:T3fucWZmEmDWZsJT;fgdJ[PSur{e|jUfgSUe|pJi:fg[!r7k:d)WZjg[(W+fgd:[Px\WqSg["cPWZmEmE[!rp+x#fUd:["YWqe|s
k:SgT3V;SlWZY §
wd:[AjUfXWqfg[PY7[Ps+f
® ,µ & ` !$3| ! "!$#S ` <#%!.5 !$#%
eEs+fgSUT{r{iDcl[Pjbfgd:[#r{e|jUfgSUe|pJi:fg[!r7p:mET:c j\Tq¿eEs:jgfUSgiDchfgeET;s:j9 !$#%Z§
wd:[r+eEjUfgSgeEp:iJfg[!rkDWZSlWZY\[fg[PS1mEeEjgf1eEj¿fUd:[YMWZeEsbî[!Wqfgi:SU[wTZ¢fgd:[P¢¢¡¢£¿¤¥¢¦mWZs:V3iDWZV3[;§&Dµf'WZmEmET
* j
fUTjgk)[!cleîx\fUd:[AkDWqSgfUe|fUeET;s:eEs:V#WqsDr7fgd:["YMWZk:k:eEs:VTZ¿fUd:[#r:WqfXWi:jg[-rMeEsfUd:[Ar+eEjgfUSgeEp:i:fU[!rMk:dDWqjg[;§
wd:[WZSUSXW-x\eEjbfgd:[AT3s:mExr:WqfXWfµxyk)[
*
d:ecUdKYMW-xpD[Ak)WZSgfUeEfgeET;s:[-r¢§:wd:[Y\[-WZs\fUTr+[-clT;Y7kDT3jg[#Wqs
WqSgSXW-xeEj1fgTAjUk:mEe|fe|f1eEs+fgT"p:mET:c jyj-§;wdJ[wjgk)[!cleb cPWqfgeET;sTq8fgd:[wkDWqSgfUe|fUeET;s:eEs:V_îT;S'W"r3´gr+eEY\[s:jgeET;s)WZm:WZSUSXW-x
eEjwV;e%K3[Ps\p+x\fUd:[Hj3[Px
*
T3SXr7!&î8&n[3 &F%F%Fn5
*
d:[PSU[1e|s)r+ecPWZfU[PjfUd:["jge%kP[ATqfUd:["p:mET:c'j+jweEsMfgd:[
r+eEY7[Ps:jgeET3s8§yJT;S=[lvDWZY7k:mE[
&D(n&D(Dèª !&î8&n[3l] ! 5
eEsDr+ecPWqfg[Pj=fgd)WZffUd:[zWqSgSXW-x" TZ#$&%' [PmE[PY7[Ps+fgjeEj'r+[-clT;Y7kDT3jg[!reEs+fgTApJm|T:c j+jTZ8jUe%kP[#](%'>h
fUd:[#WZSUSXW-xeEjr+[!chT;Y\k)T;jU[!r7eEsyfUT)$ mEeEs:[Pj!§
wd:[PsèoDfUd:["YWqk:k:eEs:VATqfUd:[Ap:mET:c j+jwT;s+fgTfUd:[AWZSXcUd:eEfU[!clfgiJSg[
*
e|mEm¢p)[#W;cUd:eE[$K3[!r7p+x\fgdJ[#clT;Y7k:eEmE[PS
W3cPclT;Slr+eEs:VfgTfgdJ[zs+i:Yp)[PS=TZ1k:SgT:cl[PjUjgT3Sgj"TZ1fgd:["Sg[-WZm¿WqSXcUd:eEfg[-clfgi:SU[;§)wd:eEj's+i:Yp)[PS=eEjwV;e%K;[Ps7p+xfgd:[
i:jU[PSzWqfclT;Y7k:eEmE[wfgeEY\[;o3i:jUe|sJV\WZs\T3k:fgeET3seEs7fgd:[AclT3Y\k:eEmEeEs:V#clT3Y\YWqsDrm|eEs:[3§
QA _Nosl pqrk)f segDmphjm
Dµs R=o1r+eESg[!clfUe%K;[PjfUTK[lv:k:Sg[jgjW jgfXWqfgec\r{e|jUfgSUe|pJi:fgeET;sèo8YMW-xp)[\iJjg[!r
*
eEfgd:T3i:f#Wqsyx>Sg[jgfgSUeclfgeET;sJj
[lvDcl[k:ffUdDWZfwfUd:[Pjg[r+eESg[-clfge%K;[jjgdJT;i:mrp)[#r+[-clmWZSg[-rMeEs\fgdJ[zjUkD[-cleb cPWZfUeET;sKkDWqSgfwTqWjXchT;k:eEs:Vi:sJe|f-§
Dµs fgdJ[ bP¢¢¡¢£¿¤¥¢¦ mWZs:V3iDWZV3[;o¿WqmEmwe|s{îT;SUYWZfUeET;s WZp)T;i:f\r:WqfXW>r+eEjgfUSgeEp:i:fUe|T3s e|jVyWqfgd:[Sg[!r eEsT;s:[
clT3s:jgfUSgiDchf9h)fgd:[ %!"!$#in *rW&!0P§)wd:["T3fgd:[PS"clT;sJjgfgSUiDclfUj WqSg[ > < !DÇi:sDclfUe|T3s:jzWqsDr > \k:SUTZ´
V3SXWZY>§
1TfgSlWZs:jUmWqfg[#WJT;SUfgSlWZsD3³iR;bR kJSgT;V3SXWqY eEs+fgTM¢¢¡¢£¿¤¢¥¢¦èo:fgdJ["îT;mEmET
*
eEs:V#cPWqjg[PjAWqSg[AfUTpD[
clT3s:jger+[Sg[!r h
h
wd:[PSU[AeEjws:TBr{e|jUfgSUe|pJi:fg[!r r+eESg[!clfUe%K;["eEsfUd:[Acli:SUSg[Ps+f"k:SgT3V;SlWZY i:sJe|f-§
wd:[Acli:SUSg[Ps+f"k:SgT3V;SlWZY i:sJe|f=eEj9h
+-,/.10123,1465-7
!
fgSlWZs:jUmWqfg[AfUd:["jgi:pJSgT;iJfgeEs:[AfUTBW7¢¢¡¢£¿¤¢¥¢¦ YW;chSgT#clT3s:jgfUSgiDchf!§
8
,/7:9;4<5 2;7
e×8T3s:[Tq¿fUd:[zr+iJY\YxAWZSUV;i:Y7[Ps+fgj=e|jwWZs\WqSgSlW-xfgd:[PsKW3r:rfUd:[SU[Pjgi:mEfK;WqSgeWZp:mE[wTq
fUd:[AÇi:sDclfUe|T3sMfgT\fUd:[AmEeEjgfwTqr{i:Y\YxWZSUV;i:Y7[Ps+fgjWZs)r\fUSXWqs:jgmWZfU[#fUd:["îiJsDclfgeET3sfUTW7
¢¢¡¢£¿¤¥¢¦MYW;chSgTzchT;s:jUfgSgi)clf!§)±fUd:[PS
*
e|jU[;o+fgSlWZs:jUmWZfg[wfUd:[wÇi:sDclfUe|T3s#fUTAfgdJ[A ¢¡¢£1¤¢¥¢¦
îiJsDclfgeET3s chT;s:jUfgSgi)clf!§
5-7
012>=?0 ]
fUSXWqs:jgmWZfU["fgd:[AYMWZeEsk:SUT;V;SlWZY fUTfgd:[¢¢¡¢£¿¤¢¥¢¦ YWZeEsk:SgT3V;SlWZY §
h
M+T;Y7[zr:WqfXWT;p;}l[-clfgj"WZSg[Ar+eEjUfgSgeEp:iJfg[!r73ÇmE[PfA@pD[AfUd:["mEe|jUfwTZ1fgd:[PjU[AT;p;}h[!clfgj5P§
wd:[Acli:SUSg[Ps+f"k:SgT3V;SlWZY i:sJe|f=eEj9h
+-,/.10123,1465-7
!
W;r:r$@ fgT7fgd:[AmEeEjgfwTqur+i:Y7Yx#WZSUV;i:Y7[Ps+fgjwTq'fgd:[jgi:p:SUT;i:fUeEs:[BWqsDr7fgSlWZs:jUmWqfg[
eEfwfgTW7 ¢¡¢£1¤¢¥¢¦ r{e|jUfgSUe|pJi:fg[!r7k:d)WZjg[3§
8
,/7:9;4<5 2;7
W;r:rfgd:[wSU[PjgiJm|fK;WZSUeWZp:mE[Tq fUd:[=îi:sDchfgeET;sfUTzfUd:[wmEeEjgf1TZ8r+i:Y7YxzWZSUV;i:Y7[Ps+fgjWZs)r
fUSXWZsJjgmWZfU[Afgd:[bîiJsDclfgeET3sfUTBW7bP¢¢¡¢£¿¤¥¢¦ r+eEjgfUSgeEp:i:fU[!r7k:dDWZjU[;§
5-7
012>=?0 ]
fUSXWqs:jgmWZfU["fgd:["YWqeEs#k:SUT;V3SXWZY fgTW7P¢¢¡¢£¿¤¥¢¦Kr+eEjgfgSUeEp:i:fg[-r\kJdDWZjU[
*
eEfUd
@WZj=kDWZSlWZY\[fg[PSUj!o+WZsDr7clSg[!Wqfg["T;sJ[A ¢¡¢£1¤¢¥¢¦7YWZeEsk:SgT3V;SlWZY §-wd:eEj=YWqe|sk:SgT3V;SXWqY
jUe|Y7k:mExBcWZmEmEjwfgd:[Ar+eEjgfUSgeEp:i:fU[!rMk:d)WZjg[AclSU[!WZfU[!rKWqpDT K3[;§
:
=12 0<5;4
5
8!3#
2 ,
5?+;4?0<5.?,14 '1
.
94 + 3;P
5?+4 1>8(,8
9
0
1
.
9;4<+
7 7
5
8!3 " + :0
,/.10123,1465-7 83 F
,10?0
714 B 0 2>=?0
N
7:54 7 7
% 0
7:+
4
20
,/.10123,1465 7 M%
2
F$B
7 2>0
$/'
9;0 2 3;F
,10?0
714 B 0 2>=?0
N
7:5;4
7
2
+
5 8 3 " + C
,?7:94<5 237 3 F
,10?0
714
B
012 =?0 N
7<5;4 7 7
5 8 3 : 4 P2
+;4 1 7
$ 8
7/4 1>8% $P
5/+-4
" + : 7 :
0?0 R3;P
5?+;4 1 8(,
,
:
0?=<+
7 7
P
5?+;4 1>8(,
,
:
0?=6+
F
237 9 4 34P
5?+;4 1>82,
,
2:
0?=6+
*V)H
+-, 4
1>8C
,?7:9;4<53237
7
% 0 7 +
4
MC
,?7:9;465 237
% 2 F(B
7 2 0
$/'
9;0/2 3=F
,10?0 7 4 B
012>=/0 N
765;4
7
2
+ % 0 7:+
4
$C
,?7:9;4<53237
% 2 F(B
7 2>0
$C
, 7:9;4<5 2-7 3 F
,10?0
714 B 0 2>=?0
N
7<54
7
2
+ 5 8!3/
5-7
B
012>=?0 +3F
, 0?0
714
B
012>=?0 N
7:5;4 7 7
% 0
7:+
4
$/'
5-7 B 0 2>=?0
X%
2
F2B
7 2>0
$/
5-7
B
012 =?0
$+3=F
,10?0 7 4 B
012>=/0 N
7:5;4
7
2
+
P
&
4 P 5/+;4
1>8(,
5?+;4?0<5.>,14 1
.
94<+
3;P
5?+;4 1>8(,8
9
0
'1
.
9;4<+
7
5
8!3 " + :0
,/.10123,1465-7 83 F
,10?0
714 B 0 2>=?0
N
7:54 7 7
% 0
7:+
4
20
,/.10123,1465 7 M%
2
F$B
7 2>0
X,
5>+;4/0<5-. ,14
B +
83;F
,10?0
714 B 0 2>=?0
N
7:5;4
*-P 7
2
+
5 8 3 " + C
,?7:94<5 237 3 F
,10?0
714
B
012 =?0 N
7<5;4 7 7
P
5/+;4 1>8(,
,
:
0?=<+
F
237 9 4 34P
5?+;4 1>82,
,
2 :
0?=1+
* )H
+-, 4
1>8C
,?7:9;4<53237
7
% 0
7:+
4
$C
,?7 9;4<5 237
% 2 F$B
7 2>0
X,
5>+;4/0<5-. ,14
B +
83;F
,10?0
714 B 0 2>=?0
N
7:5;4
*-P 7
2
+
5 8 3 /' 5-7
B 0 2>=?0 53F
,10?0
714 B 0 2>=?0
N
7:54 7 7
% 0
7:+
4
$/
57
B
012>=/0
%
2
F(B
7 2 0
X,
5?+;4 0<5-.?,14
B +
83=F
,10?0 7 4 B
012>=/0 N
7:5;4
*VP 7
F 0 2
4
2,
5?+;4?065-.?,14
B +
&
4
#.f3 F , 0?0
714
B
012>=?0 N
7:54
7
F 0 2
4
2F2B
7 2 0
$/
57
B
0/2>=?0
X93 P+*FR3 F 0
2
4
(,
5?+;4/0<5-.?,14
B +
O7 7
:¢ @? &Ç©)
1;q© q8®è©D
B)1&2):/O%'0(%
):P5* ,."$/#0"21(#!34#5*6#879 ;:+* L
?A@BC'DEB)1F(001()0GB)1F0J3>H7
?A@BC'DK,."20(%)H"ML(N%O: 3SF(TF(P"2F!*=UH7 1(#%1OB)1F0
2>4
0<+
H
9
0
2;.
9;46+
$H
9-,14<5 2;7
0/4
#(, B)1&():/ %02%
-: rD©+Z8®è©)
5?+;4
%'0(%!38
2 4
: # #
. . 2 9
3I#+* <7 $
0
8!3$<8*7 2
H "$#1N'% 7
2>4
0<+
9
0
23.
9;4<+
$
9-,14<53237
0?4
5-7 3$7
8
2 4
:# #
%'0(% 34:87
B !" B> }BK!b
wd:eEjwjU[!clfgeET3skJSg[PjU[Ps+fgj"fgd:[jgi:p:jU[PfTqbRdDWZsDr{m|[-r\p+xfUd:[#R fgT #´gR)`z²b¯"±z~g fUSXWZsJjgmWZfUT;S!§
Q)S Z _\a i oq f
wd:[
*
d:T3mE[ è±"~1~w`"² 3³AeEjwfgSlWZs:jUmWZfg[-r\fUT #´ìR)`"²¯"±"~g[lvDcl[PkJfwîT3Swfgd:[bîT3m|mET
*
eEs:Vbî[!Wqfgi:SU[Pj9h
h
#ww`"~w` #=g~o #w±z RE g~oD¯g~ D%+Ig¯ fµxyk)[PjWqsDrMWZmEm¢T;k)[PSXWqfgeET;sJjWZfgflW;cUd:[!r7fUTfgd:[PY>o
h
`SUSXW-xchT;s:jUfgSgi)clfgT3S!o
h
`IEoE8± #=`1`IPE gwo:R±Dg²_g~Ao)±"R1Dg±"²w`IEWZsDr71`z~AJg1 WZfUfgSUe|pJi:fg[Pj-o
h
`IEoE8± #=`1`IPE gwo:R±Dg²_g~AoJ1`z~AHg1Ao:¯_`1`#o+²w`"GgE D'M{Ao
h
gdD%+è`IE g² #g WZsDr#w±z K±"² jgflWZfU[PY\[Ps+fUj!o
h
¯bxys)WZY\ecwWqjgjgT:cleWqfgeET;s8o
h
g²w~ WqsDr#w±z²_1`Dg²M7jUfXWZfU[PY\[syfUj!o
h O g~g WZsDr78±"~w`E E>jUfXWZfU[PY\[syfUjWZsDrMclT3s:jgfUSgiDchfgj!o
h
~w[Ps)WZY\[-r[Ps+fgeEfUe|[jwe|sMW MWgjUfXWZfU[PY\[syf-o
h
Dµs:k:i:fWqsDr7T;i:fUk:i:fwjUfXWZfU[PY\[syfUj!§
wd:[bîT3mEm|T
*
eEs:VSg[PjUfgSgeclfUeET;s:jbd:T;mr h
h
`SUSXW-x\YiJjgf=pD[Ar+[!chmWqSg[!r
*
e|fUdKWZs\[hv{kJm|ecleEfwjUdDWZk)[;o
h
wd:[T K3[PSgmWqk:k:eEs:VAp)[Pf
*
[P[PsMmE[lîfµ´µdDWqsDr3´µjger+[zWqsDrSUeEV;d+fµ´µdDWZs)r3´/jUer+[WZSUSXW-xjg[-clfgeET;sJjwTZ¿WZsMWZSUSXW-x
WZjUjgeEV;s:Y7[Ps+feEjT3s:mExKr+[Pfg[-clfg[!r eEsKfgd:[\cWZjg[
*
dJ[PSg[jUi:p:jXchSgeEk:fAfUSgeEk:mE[PfgjAWqSg[clT;s:jUfXWqsyf"[lv:k:SU[Pjµ´
jgeET;sJj!§
QP i mpegkeO egf sqroevqrs a kno mpevqrkRm s
*
T\Rr+eESg[!chfge%K;[Pj"WZSU[zflW j3[PsMe|s+fUTBW3cPclT;iJsyf
*
eEfgd\fUd:["îT3mEm|T
*
eEs:V"SU[PjgfUSgeclfgeET3s:j9h
h
R~w± #gMWM:±"~MAr+eESg[!chfge%K;[ihZWqm|m3k:SgT:cl[jgjgT3S'WZSUSXWqs:V;[PY7[Ps+fgj¢Yi:jUf¢dDW&K;[[lv:k:mEeche|fèjgdDWqkD[j¿T3S8Yi:jUf
pD[bjXcPWqmWZS!§+R1SUT{ch[PjgjUT;SWZSUSXWqs:V;[PY7[Ps+fgj'r{[!clmWZSU[!reEsfgdJ[k:SUT;V;SlWZYYi:jUf¿d)W&K;[wfgdJ[jXWqY\[=jgdDWqkD[3§
h
¯D'M+~D'Pwg r{e|SU[!clfUeK3[ih=[!W;cUd r+i:Y7YxWqSgV;iJY\[Ps+fTZW k:SUT{ch[!r+i:SU[ Yi:jgfp)[ [hv{kJm|ecleEfUm|x
r+eEjgfUSgeEp:i:fU[!r3îfgdJ[Ai:jg[TZeDg²bg~ Dµ eEjws:T3fuWqmEm|T
*
[!rr5§
"è P
wd:[=fg[jgf1jgi:eEfU['i:jU[!rfgT[hv{k)[PSUe|Y7[Ps+f8fUd:[ubRMfUT #´gR)`z²¯"±"~g7fUSXWZsJjgmWZfUT;S1eEsDclmEiDr+[Pjèfgd:[îT3m|mET
*
eEs:V
k:SUT;V3SXWZY7j9h
h
#=d:T;mE[Pjj+x/W3clfgT3Sge%k!WZfUeET;s
h
ER /W3clfgT3Sge%k!WqfgeET;s
h
MT:r+ebD[!r7A"SlWZY´'M:cUd:Y7e|r+fWZmEV3T;SgeEfUd:Y
h
W3clT;p:e1WZmEV;T3SgeEfgdJY
h
~w[!ry´PmW;c j]M+i)cPcl[PjUjge%K;[#±K3[PSµ´g~w[PmWËvJWqfgeET;s
h
KWZfUSgevKWqfgSgevKR1SgT:r+iDchf
RQ)S hjiDlnmDY gDflnm s evqrfork qrknf
jgT3i:SXcl[ bDmE[
F(@1(P'0QT 18
!#"%$& '%(*),+%$,'-).0/213/$/& 4#5%(6)./
87$6)9/;:( < ($7
=%>%? @>A BC D%? E FG HI
J KL F%@ F%>NM=%A>A BF%L F%>POOQKSRST-U,V
> F%AEXWH%J KY.R%Z6[*M8Y%JBF%K%GJ?,KXW\]O^K%16U*M_\XO^K1-U,[`OOaI
b=%>%J KL;cXMCd !e%$& '%(*),+%$ '%)./PdMKNM3dfgdMaK
AEECJ K%J LXWI-[
AEE;eA% LXWI-[
AEEC D F H%G6BNWI6[
F%KY =%>%? @>A B D%? E FG HI
G%>%?-L%J K F;J K%J LPWA-[
J KL F%@ F%>NM=%A>A BF%L F%>POOQKSRST-U,V
> F%AEXWH%J KYRZ6[ M8Y%JBF%K%GJ? K]W\ O^K%16U*M_\XO^K1-U [ OOaA
J KL F%@ F%>;J
Y%?CJ R%\XM K%1-U
AXWJXMJ6[#RCK*U > F%AEXWK*U*M Z6[
AXWJXMJ*U*O^K%16U [ RS1-U\ Z
AXWJ*U*O^K%1-U*M^J6[ RS1-U\ Z
F%KY;Y%?
F%KYSG%>%?-L%J,K F;J K%J L
G%>%?-L%J K F; D F H%G6B WA-[
J KL F%@ F%>NM=%A>A BF%L F%>POOQKSRST-U,V
> F%AEXWH%J KYRZ6[ M8Y%JBF%K%GJ? K]W\ O^K%16U*M_\XO^K1-U [ OOaA
J KL F%@ F%>;JXM
> F%AEXWH%J KY.R%Z6[SOO G6B
G6BCR`\\ Z
Y%?CJ R%\XM K%1-U
Y%?,R%\XMQK%1-U
G6BSR G6BCAXWJXM[
F%KY;Y%?
F%KY;Y%?
b=%>%J KL;cXMCd& %7#R dM G6B
F%KYSG%>%?-L%J,K F; D F H%G6B
G%>%?-L%J K F#eA% LPWA-[
J KL F%@ F%>NM=%A>A BF%L F%>POOQKSRST-U,V
> F%AEXWH%J KYRZ6[ M8Y%JBF%K%GJ? K]W\ O^K%16U*M\]O^K 1-U [SOOA
D =%e=%>%?FGG? >G =%>%?G]WV[
D =%e#Y%JG L>%J-LF;AXWcXM I% E%J6[ ? KL%?=%>%?G
J KL F%@ F%>;JXM MaH
> F%AEXWH%J KY.R%Z6[*M8Y%JBF%K%GJ?,KXW\]O^K%16U [ OO ? EHA
Y%?;HR%\XM K%1-U
AXWHNMQH-[#R G >LXWAXWHNM H-[[
AXWH*U*O^K%1-U*M H-[#R3AXWH*U*O^K%1-UM8H-[3AXWHNMQH-[
? EHAXWH*U*OK%1%U [ RCAXWH*U*O^K%1-U*M H-[ ($ 4%&$ ' AXWH*U*O^K%1-U*M H-[
Y%?,RH*U*M K%1-U
AXW O^K%1-U*M[ RSAXW O^K%1-U*M[ 13? EHAXW O^K%1%U [ cC? EHAXW[
F%KY;Y%?
F%KY;Y%?
F%KYSG%>%?-L%J,K F#eA% L
V;[PsJ[PSXWqfg[!r b)m|[
F(@1(P0QT
7$&(;J K%J LXW
4%AT-U,VT-U,V6[
)9/%' J
"%( WJ R%\J R%T6UU ^J-[
AJJ R`T-U
)9/%') -U
"%(NW9) -U9R%\) %U]W WT%UU,1 WJ-U [.[ *U[) -U-[
A ) -UXWJU [J#R W1-U\\\\\.\\\ \\\ \\.\\\[
)9/%') -U
"%(NW9) -U9R%\) %U]W WT%UU,1 WJ-U [.[ *U[) -U-[
AJ) -U WJ-U [#R W1-U\\\\\.\\\ \\\ \\.\\\[
7$&(; D F H%G6BNW
4%AT-U,VT-U,V6[
)9/%' J
)9/%'
4%;G6B
G6B RS\\\\\\\\\ \\.\\\ \ %\\
"%( WJ R%\J R%T6UU ^J-[
"%( W,R%\ R%T-U U 6[
G6B3R WG6BA J-[
4-). ';eA% LXW
4%AT-U,VT-U,V%! & W,U*M T-U,V6[ 7$: ($:: 4XW U*M \6[ 7 4%3J K%?-L-[
)9/%' J
)9/%'
)9/%'CH
4%;? EHAT-U,V
"%( WHR%\^H R%T6UU H-[
A^H^H R` (%'XWA^H^H-[
)9/%') -U
"%(NW9) -U9R%\) %U]W WT%UU,1 WH-U [.[ *U[) -U-[
A^H) -U WH-U [#R WA^H ) -UXWH*U [,A^HH-[
)9/%') -U
"%(NW9) -U9R%\) %U]W WT%UU,1 WH-U [.[ *U[) -U-[
? EHA ) -UXWH*U,[RSA^H ) -UXWH*U [
"%( W,RXWH*U [ R T-UU -[
)9/%') -U
"%(NW9) -U9R%\) -U]W.WT-U U,1 [ U [) %U6[
A ) -U RgWA ) -U %1]W? E HA ) 6U%c ?EHA 6[[
7$6)9/NW9[
4%#IT-U,VT-U9V
J K%J LXWI-[
eA% LXWI-[
D F H%G6BNWI6[
RQP l pqrk)f
DµsMfgdJ["îT;mEmET
*
eEs:VAflWZp:mE[
*
[k:Sg[PjU[Ps+f"fgd:[A[hv{[-cli:fgeET3sKfgeEY\[j'T3p:fXWqe|sJ[!r
*
d:[PsKSUi:s:s:eEs:VfUd:[Afg[jgfjUi:eEfg[
k:SUT;V3SXWZY7j!§3wd:[flWZp:mE["clT;Y7kDWZSU[Pj'fUd:[zWqi:fgT3YWqfgecPWZmEmEx"V;[PsJ[PSXWqfg[!rKchT{r{[;o+i:jgeEs:VT;iJS'fUSXWZsJjgmWZfUT;S!o
*
eEfUd
Wqsd)WZsDr3´
*
SgeEfUfg[PsKclT:r+[ 3*
eEfgd\fUd:[AjlWZY\["r:WZflW#r{e|jUfgSUe|pJi:fgeET;sv5P§
`mEm+fgdJ[wk:SgT3V;SXWqY\j1WZSg[=SgiJsi:jgeEs:V"W f ]!Ëv f ]!wr+T3i:p:mE[=k:Sg[!che|jUeET;sYWqfgSUe×v8olT3sBW";_s:T:r+[PjeRM #R;:§
WZp:mE[]ih
H 5%n$! 1#S ## $< !
#w±EogMWC ]!J§fSf ;³J§Ö³;
GAHM ]3];]3§)] ];]-:§D]
` #w±P D ³J§f ³J§f ]
M`R~w±z¯ ;J§YSY iYJ§f
~g¯IPE¢` #C ³J§3³ ³J§Ö;
JSgT3Y fgdDWqf
*
[MYMW-xclT3sDclmEiDr+[ fgdDWqffgd:[KWZiJfgT;YMWZfUecWZmEmExKV;[PsJ[PSXWqfg[!r chT{r{[KeEj -;iJe|fU[MjgeEY\eEmWZS"fgT W
dDWqsDr3´
*
SgeEfgfU[PsMT;s:[3§
MT3Sg[PT K3[PS!o1fUd:[MT K;[PSUd:[!W;r TZfUd:[\fUSXWZsJjgmWZfUT;Se|js:[PV3mEe|V3eEp:mE[
*
eEfgd SU[Pjgk)[!clfMfUTKfgd:[
*
d:T3mE[\clT;Y´
k:eEmWZfUeET;sMfgeEY\[Sh:eEf"fXW j3[PjAWZk:kJSgT-v:eEYWZfUe%K;[PmEx\jU[!clT3sDr+jfgT\fUSXWqs:jgmWZfU[\;³3³;³mEeEs:[Pj"TZubR clT:r+[#eEs+fgT
¢¢¡¢£¿¤¢¥¢¦>clT:r+[;§
\
O ["eEs+fg[PsDr7fUT[lv:fg[PsDr fgdJ[P¢¢¡¢£1¤¢¥¢¦KmWZsJV;iDWqV;[
*
eEfUdsJ[
*
r+eESg[!chfge%K;[Pj-o:YMWZeEs:mExBchT;sDcl[Sgs:eEs:V7fgd:[
Wqm|eEV3s:Y\[Ps+f-oZeEsT3SXr+[SwfgTp)[ Wqp:mE["fgTfgSlWZs:jUmWZfg[AWmWZSUV;[PSwjUi:p:jU[PfTqR'§
M J #
O [ *
T3i:mrmEe%j;[fUT#fUdDWZs;j O §3` 3YWZsJs\WZsDr7R1§Wg1s:j'j3T;sDWqfgi:j=ÇSgT;YTAAK¯_´ìoDg~M+
*
d:TdDW&K;["r+[$K3[l´
mET;k)[!r7fgdJ[ bRfgTjU[0-3i:[Ps+fgeWZm # fgSlWZs:jUmWZfgT3SwT;s
*
d:ecUd
*
["pDWqjg[!r7T;iJSwT
*
sfUSXWqs:jgmWZfUT;S-§
KK 'C "è P KK #NJ
""
jgT3i:SXcl[ bDmE[
/&0 18
8B 4-),"-). 4#@ ($7 G&7),4#$ <%(*),' 7
87$6)9/;:( < ($7
=%>%? @>A B#B%@%G
J KL F%@ F%>NM=%A>A BF%L F%>POOQKSRST-U,V
> F%AEXWH%J KY.R%Z6[*M8Y%JBF%K%GJ?,KXW\]O^K%16U*M_\XO^K1-U,[`OOaI
AEECJ K%J LXWI-[
b=%>%J KL;cXMCdB%@%GB$ ' (*),fPdMaKNMCdaf dMQK
AEE F LXWI-[
AEEC D F H%G6BNWI6[
F%KY =%>%? @>A B B%@%G
G%>%?-L%J K F;J K%J LPWA-[
J KL F%@ F%>NM=%A>A BF%L F%>POOQKSRST-U,V
> F%AEXWH%J KYRZ6[ M8Y%JBF%K%GJ? K]W\ O^K%16U*M_\XO^K1-U [ OOaA
J KL F%@ F%>;JXM
Y%?CJ R%\XM K%1-U
AXWJXMJ6[#RCK*U > F%AEXWK*U-M Z6[
AXWJXMJ*U*O^K%16U [ RS1-U\ Z
AXWJ*U*O^K%1-U*M^J6[ RS1-U\ Z
F%KY;Y%?
F%KYSG%>%?-L%J,K F;J K%J L
G%>%?-L%J K F; D F H%G6B WA-[
J KL F%@ F%>NM=%A>A BF%L F%>POOQKSRST-U,V
> F%AEXWH%J KYRZ6[ M8Y%JBF%K%GJ? K]W\ O^K%16U*M_\XO^K1-U [ OOaA
J KL F%@ F%>;JXM
> F%AEXWH%J KY.R%Z6[SOO G6B
G6BCR`\\ Z
Y%?CJ R%\XM K%1-U
Y%?,R%\XMQK%1-U
G6BSR G6BCAXWJXM[
F%KY;Y%?
F%KY;Y%?
b=%>%J KL;cXMCd& %7#R dM G6B
F%KYSG%>%?-L%J,K F; D F H%G6B
G%>%?-L%J K F F LPW[
J KL F%@ F%>NM=%A>A BF%L F%>POOQKSRST-U,V
> F%AEXWH%J KY R%Z[ M Y%JBF%K%GJ? KXW\XO^K1-UM\XOK%1-U[ OO
> F%AEXWH%J KY.R%Z6[*M8Y%JBF%K%GJ?,KXW\]O^K%16U [ OO K%? > B M G Y%? LNM%
J KL F%@ F%>;JXM MaH