HAL Id: inria-00073277
https://hal.inria.fr/inria-00073277
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.
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing
Valérie Gouranton
To cite this version:
Valérie Gouranton. Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study:
Slicing. [Research Report] RR-3413, INRIA. 1998. �inria-00073277�
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
Deriving analysers by folding/unfolding of natural semantics and a case study: slicing
Val´erie Gouranton
N ˚ 3413
Avril 1998
TH `EME 2
.234%( 657./
8-9;:=<?>A@=BDC6EGF(>9;HJIKE;H
LNM4OPDQ"RTSVU WXZY[Q]\[^`_aY[bKY[QK\
QKcbedf\[bgZ\ihkjZPl(^a\mY[n;g4Q
o,pk^fqrQKcsidaX4t4Q
udav4v(^`prct4QTpkQbM4QpkbM4QwXx^`yazZ{?yDS}|2~ZprYm\{?``SVRavJda_`Qh
2ee4`` Q)b^`X4hkY[t4QpDhv(QbKYmJbedfckY[^`X4h^adaXJdf\mjZhQpkhDQA4v4pkQhhQtdahDb^`PDv(^`hkYmckY[^`X4h6^ac!^$g4X4bKckY[^`X4h?d
hQP6daXckY[b g4X4bKckY[^`XGMZY[bM)pkQKcg4pkX4hdXJdfcg4pdf\hQP6daXckY[bhNt4QprYm~adfckY[^`XcpkQQ`JdaX4tdv4pk^`v(Qprcjt4QKJX4Qt)ljpkQbg4p
pkQX4bQ]^`Xt4QprYm~`dfckY[^`X cpkQQh?| pkQbg4pkhkYm~Q t4QKJXZYmckY[^`X)^a/dtZjZXJdaPY[bTdaXJdf\mjGhQp&bedaXl(Q^`lZcdfY[X4Qt)lj=^a\[t*¡fg4XZ^a\[t
v4pk^`_`pdaP¢cpdaX4hk^`pkP6dfckY[^`X£b^`PlZY[X4Qt£NYmcM¤t4QK=^`pkQhkcdfckY[^`X QTdav4vZ\mj)^`g4pN=pdaPDQK¥^`pk¦c^6cM4QTt4QprYm~adfckY[^`X£^a§d
hk\mY[bKY[X4_ daXJdf\mjGhkY[h^`pd\[^`_aY[bv4pk^`_`pdaPDPY[X4_6\¨daX4_`gJda_`Q`
©)ª«'¬® ¯/` hkjZhkcQP6dfckY[b"t4QprYm~adfckY[^`Xv4pk^`_`pdaP°cpdaX4hk=^`pkP6dfckY[^`XXJdfcg4pdf\hQP6daXckY[bh?v4pk^;^acpkQQ`'hk\mY[bKY[X4_
daXJdf\mjZhkY[he
±[²x³µ´¶e·N³&¸x¹m´»º½¼¾
Unit´e de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) T´el´ephone : 02 99 84 71 00 - International : +33 2 99 84 71 00
T´el´ecopie : 02 99 84 71 71 - International : +33 2 99 84 71 71
!¥"6"./&%- »-k]*3-
^`g4h"b^`X4hY[t4Wpk^`X4h\¨d hv(WbKYmJbedfckY[^`X7tg4X daXJdf\mjZhQg4pb^`PDPDQ\¨d b^`PDv(^`hkYmckY[^`X7t4Qt4QgG ^`X4bA
ckY[^`X4hTg4X4Q6=^`X4bKckY[^`X hWP6daXckY[n;g4Q`§nGgZY pkQX4t g4X dapkl4pkQt4Q6t4WprYm~`dfckY[^`X t4QD\¨d¤hWP6daXckY[nGg4QXJdfcg4pkQK\m\[Q`§QKcg4X4Q
v4pk^`v4prY[WKcW6t4WKJXZY[QvJdap]pkWbg4pkpkQX4bQ6hg4p\[Qhdapkl4pkQh]t4QDt4WprYm~`dfckY[^`XX4QDt4WKJXZYmckY[^`X pkWbg4pkhkYm~QDtg4X daXJdf\mjZhQg4p
tZjZXJdaPY[n;g4Q-vQgZcKcpkQN^`lZcQXg4QvJdapt4Qh§cpdaX4hk=^`pkP6dfckY[^`X4h t4QNv4pk^`_`pdaPDPDQh! ½vZ\mY¨da_`Q?¡ft4WvZ\mY¨da_`Q"AGb^`PlZY[X4WQd~Qb
t4QhcQbM4XZY[nGg4Qh t4Qt4WK=^`pkQhkcdfckY[^`X ^`g4hdav4vZ\mY[n;g4^`X4h X4^acpkQbedat4pkQ_`WX4WprY[nGg4Q#6\¨d6t4WprYm~`dfckY[^`X tg4X4QdaXJdf\mjGhQ
tWK\¨da_da_`Qv^`g4pg4X\¨daX4_da_`Qt4Q]v4pk^`_`pdaPDP6dfckY[^`X \[^`_aY[nGg4Q`
$® e ¬ &% t4WprYm~adfckY[^`X£hkjZhkcWP6dfckY[n;g4Q`JcpdaX4hk^`pkP6dfckY[^`X£t4QTv4pk^`_`pdaPDPDQhe(hWP6daXckY[nGg4QXJdfcg4pkQK\m\[Q`'dapkl4pkQt4Q
v4pkQgZ~Q`(daXJdf\mjGhQ]tWK\¨da_da_`Q`
8 9 -%(] .i%-
| \¨dapk_`QdaPD^`g4Xc¥^a(¥^`pk¦MJdah l(QQXDt4QK~^acQt6c^Tv4pk^`_`pdaPwdaXJdf\mjGhY[h,t4g4prY[X4_]cM4QN\¨dahkc c¥^t4Qbedat4Qhel(^acM6^`XDcM4Q
v4pdabKckY[bedf\ hY[t4QdaX4t ^`X cM4Q"cM4Q^`pkQKckY[bedf\,Y[hhg4Qh?;:^?¥QK~QpxPD^`hc ^a¥cM4Qv4pk^`_`pdaPdaXJdf\mjGhQpkh cMJdfcTMJde~QDlQQX
Y[PDvZ\[QPDQXcQt£^`ppkQv(^`prcQt¤Y[XcM4QT\mYmcQpdfcg4pkQh^D½dapdapkQTb^`X4bQpkX4Qt NYmcM¤^`X4QThv(QbKYmJbTv4pk^`v(Qprcj*^`X4QhvQbKYmJb
\¨daX4_`gJda_`QdaX4t^`X4Qhv(QbKYmJbhQpr~GY[bQ ½tZjZXJdaPY[b-^`p,hkcdfckY[b"A| =QK _`QX4QprY[bNc^G^a\[h MJd~QlQQXv4pk^`v^`hQtl4gZc,cM4QKj
dapkQT_`QX4Qpdf\m\mj)pkQhkcprY[bKcQt¤c^6^`X4QTbK\¨dahh^a§v4pk^`v(QprckY[Qh^`pN\¨daX4_`gJda_`QheJ^`p\mY[PYmcQt)Y[X)cM4QKY[pN\[QK~QK\i^a§dal4hkcpdabKckY[^`X
Q6l(QK\mY[QK~QDcMJdfcTcM4QpkQ6Y[hdhkcpk^`X4_¤X4QQt$=^`p]QX~GY[pk^`X4PDQXch"hg4v4v(^`prckY[X4_)cM4Q6t4QhkY[_`X$^a&v4pk^`_`pdaP daXJdf\mjZhQpkh
daX4t)cMJdfcPD^`pkQTQ<(^`prchM4^`gZ\[t)lQ]v4gZc^`X)cM4Q'*+=>5? )5 T^adaXJdf\mjZhQpkhe
Qv4pkQhQXc d"pdaPDQK!^`pk¦^`pNt4QhkY[_`XZY[X4_ daXJdf\mjGhQpkh-pk^`P ^`v(QpdfckY[^`XJdf\2hvQbKYmJbedfckY[^`X4hlj)v4pk^`_`pdaP cpdaX4hr
=^`pkP6dfckY[^`X ==^a\[tZY[X4_¡fg4XZ=^a\[tZY[X4_ "ALNM4Q daXJdf\mjGhkY[hhv(QbKYmJbedfckY[^`X MJdah c!^ b^`PDv(^`X4QXch? d hQP6daXckY[bh^a]cM4Q
v4pk^`_`pdaPDPY[X4_ \¨daX4_`gJda_`QdaX4t dDt4QKJXZYmckY[^`X ^a2cM4QTv4pk^`v(Qprcj
dfcg4pdf\ hQP6daXckY[bhA@CBZ-{?yDdapkQ d _`^G^;t hkcdaprckY[X4_ v(^aY[Xc=^`p6cM4Q t4QKJXZYmckY[^`X ^adaXJdf\mjZhQhlQbedag4hQ cM4QKj
dapkQ6l(^acM$hkcpkg4bKcg4pdf\! ½b^`PDv(^`hkYmckY[^`XJdf\"daX4t$Y[XcQX4hkY[^`XJdf\»LNM4QKj dapkQ6hcpkg4bKcg4pdf\ lQbedag4hQcM4Q6hQP6daXckY[bh^a&d
v4M4pdahQ Y[XcM4Q v4pk^`_`pdaPDPY[X4_D\¨daX4_`gJda_`Q]Y[h&t4QprYm~Qt=pk^`PwcM4Q]hQP6daXckY[bhN^a/hg4l4v4M4pdahQhEZcM4QKjdapkQY[XcQX4hkY[^`XJdf\
l(Qbedag4hQcM4Qt4QprYm~`dfckY[^`XcpkQQ-cMJdfc!Y[h!dahh^;bKY¨dfcQt NYmcMdv4M4pdahQY[X cM4Qv4pk^`_`pdaPDPY[X4_\¨daX4_`gJda_`Q b^`XcdfY[X4h&cM4Q
Y[XcQpkPDQtZY¨dfcQ¤pkQhgZ\mch =cM4Q hQP6daXckY[bhD^ahg4l4v4M4pdahQh "A LNM4QhQ nGgJdf\mYmckY[QhDdapkQ hkY[_`XZYmJbedaXcDY[X cM4Qb^`XcQAZcD^a
v4pk^`_`pdaP daXJdf\mjZhkY[h¥l(Qbedag4hQb^`PDv^`hYmckY[^`XJdf\mYmcj\[Qedat4h!c^"PD^`pkQ-cpdabKcdalZ\[Q v4pk^G^acQbM4XZY[nGg4QhdaX4tY[XcQX4hkY[^`XJdf\mYmcj
P6da¦`Qh-YmcQedahkY[QpNc^6QhkcdalZ\mY[hMcM4QTb^`X4X4QbKckY[^`X l(QKc!QQX¤cM4QTpkQhgZ\mc^a/cM4QdaXJdf\mjZhkY[h-daX4t)YmchY[XcQX4t4Qt g4hQ`
F g4phQP6daXckY[bh]Y[ht4QKJX4Qt$^`pkP6df\m\mj$dahTd=g4X4bKckY[^`X cda¦Y[X4_¤dcQpkP#daX4t daX$QK~`df\[gJdfckY[^`X b^`XcQAGcdaX4t pkQA
cg4pkXZY[X4_d"t4QprYm~`dfckY[^`X)cpkQQ`LNM4Q]v4pk^`v(QprcjYmchQK\miY[hd"=g4X4bKckY[^`Xpk^`P3t4QprYm~`dfckY[^`X)cpkQQh&c^6d"hgZYmcdalZ\[QTdal4hkcpdabKc
t4^`P6dfY[X¥LNM4Qb^`PDv(^`hkYmckY[^`X)^a2cM4QhQ c!^g4X4bKckY[^`X4ht4QKJX4QhdtZjZXJdaPY[b0;G*H"2(daXJdf\mjZhkY[heJIµc&pkQv4pkQhQXch
d=g4X4bKckY[^`XMZY[bMY[XZYmckY¨df\m\mj bedf\[bgZ\¨dfcQhcM4QcpdabQ ^a§db^`PDvZ\[QKcQ]QA4QbgZckY[^`X »d"t4QprYm~adfckY[^`XcpkQQ"!^a2d"v4pk^`_`pdaP
l(QK^`pkQNQAZcpdabKckY[X4_]cM4QNpkQnGgZY[pkQt6v4pk^`v(Qprcj§o,pk^`_`pdaPcpdaX4h^`pkP6dfckY[^`X4h+&QAZcQX4t4QtD=^a\[tZY[X4_¡fg4XZ^a\[tZY[X4_cQbMG
XZY[nGg4QhdaX4t hkY[PDvZ\mYmJbedfckY[^`X pkgZ\[Qhdf\m\[^e c^)^`lZcdfY[X dpkQbg4pkhkYm~Q6t4QKJXZYmckY[^`X ^a!cM4QDtZjZXJdaPY[bdaXJdf\mjGhQp =MZY[bM
t4^GQhDX4^acDbedf\m\!cM4Q)v4pk^`v(Qprcj g4X4bKckY[^`X "A LNMZY[h"g4X4bKckY[^`X7Y[hY[X ½dabKc6d tZjZXJdaPY[bK L*M%(NOdaXJdf\mjGhQpY[X7cM4Q
hQX4hQcMJdfc Ymc bedf\[bgZ\¨dfcQh]cM4QpkQn;gZY[pkQt v4pk^`v(Qprcj v4pk^`_`pkQhhkYm~QK\mj t4g4prY[X4_v4pk^`_`pdaP QA4QbgZckY[^`XTLNM4Q=^a\m\[^eNY[X4_
tZY¨da_`pdaP hM4^eh-cM4Q]_`QX4Qpdf\2^`pk_daXZY[hdfckY[^`X
P)Q"RSUTWVSYX[ZT'\2]_^
T']7`RS2acb'def
g
R`5hijd+T'\
k
lm
m
m
m
m
m
m
m
m
m
m
m
m
Z\2TWT
n \2QoTW\+Si
p
q
r T-d+sjhCS
LNM4Q¦`QKjv(^aY[Xch-^a2cM4Qdav4v4pk^dabM v4pk^`v(^`hQt¤M4QpkQdapkQ cM4QT^a\m\[^?NY[X4_4
t
LNM4Q6t4QprYm~`dfckY[^`X Y[hdabMZY[QK~Qt Y[X d¤hkjGhcQP6dfckY[bD!dej lj$g4hkY[X4_¤=g4X4bKckY[^`XJdf\,cpdaX4hk=^`pkP6dfckY[^`X4he"g4XZ^a\[tZY[X4_
daX4t^a\[tZY[X4_4
t
IcY[h dav4vZ\mY[bedalZ\[Q£c^ d$NY[t4Q ~adaprY[QKcµj ^a \¨daX4_`gJda_`Qh)daX4t v4pk^`v(QprckY[Qh l(Qbedag4hQ¤Ymc Y[hlJdahQt ^`X XJdfcg4pdf\
hQP6daXckY[bht4QKJXZYmckY[^`X4he
|hPDQXckY[^`X4Qt l(QK^`pkQ`§h^`PDQ^acM4QdaXJdf\mjGhQhcMJdfc"¥Q&daXcc^£hvQbKYmj dapkQ tZjZXJdaPY[b)daX4t ^acM4Qpkh6dapkQ
hkcdfckY[b` LNM4QpkQ6Y[h"X4^ pkQedf\¥pkQedah^`X Mj cM4QhQ6cµ¥^ bedfcQ_`^`prY[Qh"^adaXJdf\mjZhQh"hM4^`gZ\[t l(QhQQX dahl(QK\[^`X4_aY[X4_ c^
tZYu<'QpkQXc¥^`pr\[t4he0IX cM4QDvJdav(Qp]¥QD=^Gbg4h]^`X tZjGXJdaPY[b daXJdf\mjGhkY[h?xb^`X4hkY[t4QprY[X4_)cMJdfchcdfckY[bdaXJdf\mjGhY[hTbedaX$lQ
^`lZcdfY[X4Qt Y[X£dhQb^`X4t hcda_`Qdah daX£dal4hkcpdabKcY[XcQpkv4pkQKcdfckY[^`X$^a§cM4Q"tZjGXJdaPY[b"daXJdf\mjGhkY[h dahv4pkQhQXcQt£Y[Xv@{?D»
Q^`gZck\mY[X4QcMZY[ht4QprYm~adfckY[^`X Y[X cM4Qb^`X4bK\[g4hY[^`X ^acQ cMJdfc"^`g4pDdav4v4pk^dabM7Y[Xcpk^Gt4g4bQh6d bK\[QedaphQvJdapdfckY[^`X
l(QKc!QQX cM4QhvQbKYmJbedfckY[^`X£^a,daX daXJdf\mjGhY[h ½t4QKJX4Qt£dahdDv4pk^`v(Qprcj¤^`X¤hQP6daXckY[bht4QprYm~`dfckY[^`X£cpkQQh "NdaX4t¤cM4Q
df\[_`^`prYmcM4P¢cMJdfcY[PDvZ\[QPDQXchYmce
QTYm\m\[g4hkcpdfcQ]cM4Q]=pdaPDQK¥^`pk¦)lj cM4Q]=^`pkP6df\it4QprYm~`dfckY[^`X¤^adhk\mY[bKY[X4_daXJdf\mjZhkY[hN=^`pd\[^`_aY[bTv4pk^`_`pdaPDPY[X4_
\¨daX4_`gJda_`Q` LNM4Q$tZYu<(QpkQXc¤hkcda_`Qh^acM4Q t4QprYm~adfckY[^`X dapkQ t4QKcdfYm\[Qt Y[X cM4Q ^a\m\[^?NY[X4_ hQbKckY[^`X4hexwGQbKckY[^`X R
Y[Xcpk^;t4g4bQhb^`XcQAZche¥cQpkPDhe¥t4QprYm~`dfckY[^`X cpkQQhdaX4t7cM4Q¤hQP6daXckY[bhg4X4bKckY[^`X LNM4Q¤dal4hkcpdabKct4^`P6dfY[X daX4t
cM4Q v4pk^`vQprcµj$g4X4bKckY[^`X dapkQ6v4pkQhQXcQt Y[X hQbKckY[^`X yZ LNM4Q6cpdaX4hk^`pkP6dfckY[^`X ^a&cM4Q6b^`PDv(^`hkYmckY[^`X ^a&cM4QDcµ¥^
hv(QbKYmJbedfckY[^`X6=g4X4bKckY[^`X4h! =cM4Q-hQP6daXckY[bh&daX4tDcM4Qv4pk^`v(Qprcj "/Y[Xc^"d]tZjZXJdaPY[b3 *M% NOdaXJdf\mjZhQpY[h,t4QhbprY[lQt
Y[X¤hQbKckY[^`X z4 uQK\¨dfcQt)¥^`pk¦(*b^`X4bK\[g4hY[^`X£daX4t de~QXg4Qh^`pg4prcM4QppkQhQedapkbM£dapkQtZY[hbg4hhQt)Y[X hQbKckY[^`XdaX4t
hQbKckY[^`XDpkQhv(QbKckYm~QK\mj
N%( (),+--%./
LNM4Q&XJdfcg4pdf\JhQP6daXckY[bh,^ad\¨daX4_`gJda_`Q&Y[hd-hQKc^adZY[^`PDh,daX4t"Y[XZQpkQX4bQ&pkgZ\[Qh§cMJdfct4QKJX4QdpkQK\¨dfckY[^`XDlQKcµ¥QQX
dDb^`XcQAGce(dcQpkP Y[X)cM4Qv4pk^`_`pdaPDPY[X4_6\¨daX4_`gJda_`QdaX4t dDpkQhgZ\mce¥|XJdfcg4pdf\/hQP6daXckY[bht4QprYm~`dfckY[^`X¤cpkQQTMJdah
cM4Q]=^`pkP)
n \2QQZ\2T'T r
n
\2QQZ\2TWT
n
\2QQZ\2TWT
^ Z Z
M4QpkQ"u Y[hcM4Q"XJdaPDQ^acM4QpkgZ\[Qg4hQt c^t4QprYm~Q wGLNL]LNM4Qb^`X4bK\[g4hkY[^`XAwGLNL Y[hd6hkcdfcQPDQXcecMJdfcY[h-c^
hdej¤d"cprY[vZ\[QTb^`X4hkY[hkckY[X4_6^adb^`XcQAZced"cQpkP daX4t dpkQhgZ\mce
IX7^`pkt4Qp"c^ P6da¦`Q=^`pkP6df\NP6daXZY[v4gZ\¨dfckY[^`X4h6QedahkY[Qp,!QQAZv4pkQhh"cM4Qb^`X4hkcpkg4bKckY[^`X ^a-XJdfcg4pdf\hQP6daXckY[bh
t4QprYm~`dfckY[^`X cpkQQhY[X d=g4X4bKckY[^`XJdf\ =pdaPDQK¥^`pk¦()sxQKc l(QDcM4Q6hQKc^a&b^`XcQAGch? cM4Q6cµjGv(Q6^a&cQpkPDh"^a!cM4Q
\¨daX4_`gJda_`QdaX4t! ""cM4QNcjZv(Q^a(t4QprYm~`dfckY[^`X6cpkQQh?`cM4QX6cM4QhQP6daXckY[b=g4X4bKckY[^`X$# Y[h!d vJdaprckY¨df\*=g4X4bKckY[^`X6^a'cjZvQ`
%
X'&)(+*,&
*-& .&,&?X0/21354768*,&9.X;:=<
.&,&>
%
X'&?X!<-?
& *,* XA@
B QprYm~`dfckY[^`X¤cpkQQh-dapkQP6dat4Q^adhkcdfcQPDQXc =cM4QTb^`X4bK\[g4hkY[^`X "AdD\mY[hkc^a/t4QprYm~`dfckY[^`X¤cpkQQh =cM4QTv4pkQPY[hQh "
daX4t cM4QXJdaPDQ^apkgZ\[Qdav4vZ\mY[Qt£c^6t4QprYm~QcM4Qb^`X4bK\[g4hkY[^`X
Qdahhg4PDQ]cMJdfcd6cQpkP Y[hdvJdfY[p^a,d6v4pk^`_`pdaP
v(^aY[Xc¥daX4t6daXQA4v4pkQhhkY[^`XDCEFt4QX4^acQh,cM4Q&cµjGv(Q&^a(hcdfcQPDQXcheHGHIpkgZ\[QNXJdaPDQhe"IHJX4^`pkP6df\4=^`pkPDh ½v4pk^`_`pdaP
pkQhgZ\mch "AK H v4pk^`_`pdaP¢v(^aY[Xch-daX4tML"QAZv4pkQhhkY[^`X4he
LNM4QY[PDv(^`prcdaXc]Y[hhg4Q"dal(^`gZc cM4Q"cjZvQ^a,cM4QhQP6daXckY[bg4X4bKckY[^`X Y[hcMJdfc]YmcpkQKcg4pkX4h cM4Q"M4^a\[QDXJdfcg4pdf\
hQP6daXckY[bht4QprYm~`dfckY[^`X$cpkQQ`ipdfcM4Qp cMJdaX)qrg4hkc cM4QDpkQhgZ\mcT^a!cM4QDv4pk^`_`pdaP)DLNMZY[hTbM4^aY[bQ6P6da¦`QhTYmcTQedahkY[Qp c^
t4QKJX4QDY[XcQX4hkY[^`XJdf\!daXJdf\mjZhQheDLNM4Q6=dabKc]cMJdfc]!Q6t4QhbprY[l(QDcM4QDhQP6daXckY[bhY[X d=g4X4bKckY[^`XJdf\,pdaPDQK!^`pk¦ t4^;Qh
X4^acv4pkQK~QXcDg4hpk^`Pt4Qedf\mY[X4_ NYmcM X4^`X t4QKcQpkPY[XZY[hkckY[b\¨daX4_`gJda_`Qhe dah¥QhM4^ew^`p"d¤\[^`_aY[bv4pk^`_`pdaPDPY[X4_
\¨daX4_`gJda_`Q`¥LNMZY[hY[hNl(Qbedag4hQ]¥QbedaX¤g4hQNIHJdaX4tODc^DpkQv4pkQhQXchQKch^a/v(^`hhkY[lZ\[Q]pkQhgZ\mch-daX4t¤b^`XcQAZche
Q g4hQcM4QX4^acdfckY[^`X$PQSRHT6c^"t4QX4^acQcM4QJQK\[t ^axcµjGv(QUHV6^aWP X*^`p!QAJdaPDvZ\[Q`Z¥QNYm\m\P6da¦`QY[XcQX4hkYm~Q
g4hQ^a2cM4Q =^a\m\[^eNY[X4_ QAZv4pkQhhY[^`X4hNY[XcM4QTpkQhkc^a/cM4QTvJdav(Qp
Si oT ] T-`"R acRZY
[\ ]^-^ .&,& bWQRbhsdaQR Q [\
[\
_`,^ /2135476a*,&b9 o\2T'] acd2d+T-d.Q
[\
[\ c-d :=< R`"] TYQ SfejT \2sjhTJsd+Thg[`S SfejT \2QQ"SYQ [\
[\ ]^-^ESi
%
bWQRSUTWVS QSfeTJbWQ"Rb hsdacQ"R;d+TkjsT'RS Q [\
[\ ]^-^E^ZSl @ SUT'\2] Q SfejTJbWQ"Rb hsdaQ"R(d+TkjsT'RS Q [\
[\ ]^-^E^Z`-` *,* o\2Q-Y"\U`"] oQacRS QSfeTJbWQ"Rb hsdacQ"R;d+TkjsT'RS Q [\
[\
]^-^Ed,m <-? RQ\2]7`5h" Q\2] Q SfeTJb QRbHhcsdaQR;d+TkjsTWRS.Q
[\
npoDqsrtqvuxw8yz"{}|~r$WwfW{ |)"W"w8uu{ yDfw8yD)wWq
Qdahhg4PDQdDv4pk^`_`pdaPAEZMZY[bM¤Y[hdDb^a\m\[QbKckY[^`X ^a§v4pkQtZY[bedfcQt4QKJXZYmckY[^`X4h^a2cM4QT^`pkPW=QQQkvKD
Nb 6LNM4Ql(^;tZjN ^adv4pkQtZY[bedfcQ Y[h]Y[X X4^`pkP6df\,=^`pkP#daX4t$Ymcb^`XcdfY[X4h^`XZ\mj ~`daprY¨dalZ\[QhT=pk^`P¢¡W=QQQ2k£v¤
^`pkP6df\-=^`pkPDh dapkQ)Jpkhc ^`pkt4QpD=^`pkPgZ\¨daQ »df\[h^ bedf\m\[Qt¦¥_`^df\-=^`pkPgZ\¨daQ,§)Y[X @{ZD "Dl4gZYm\mc g4v =pk^`P1v4pkQtZY[bedfcQ
dav4vZ\mY[bedfckY[^`X4hg4hkY[X4_6^`XZ\mjcM4QTb^`X4X4QbKckYm~Qh¨¥µdaX4t§K¥^`ph§JdaX4t¥»cM4QpkQTQAZY[hkchk§LNM4QKY[phjGXcdY[h-t4QKJX4Qt¤lj'
©'ªª«+¬tk£®Ek°¯=;±t²³±H´)µ´®±H´)¶´®A±"·¸Q´)U±E¸¹==Q=Q=Qbk¹º~
M4QpkQ ¬t¤hkcdaX4t4h^`plJdahkY[b"v4pkQtZY[bedfcQh
daX4t=^`p-g4hQpt4QKJX4Qt v4pkQtZY[bedfcQh? ´ dapkQcQpkPDh ^a§cjZvQ Q
dahhg4PDQTcMJdfcQedabM ~`daprY¨dalZ\[QA ^Gbbg4pkprY[X4_Y[X dcQpkP ·Q´)Y[hg4XZY[n;g4Q` IX dv4pk^`_`pdaP)QedabM£hg4lZcQpkP¢Y[X¤cMZY[h
hkjZXcd)Y[h-dahh^;bKY¨dfcQtNYmcM£dv4pk^`_`pdaP¢v(^aY[Xc ½g4hkY[X4_vJdfY[pkh "A
TRjaCS2aQR Q SfeT o\2Q-Y"\U`"] aR `OhQY"acbJo\2Q-Y"\U`"] ] aRtY di RSH`5V
[ /H31 ,9
[ // "319 º9
[ // "4 9 4 ! a3"F9K /# [
/"4 %$ }4&$' ! $ a3"%$9 9
/#%() *+º/ $ F9 9
/#-, *+º/4 $ 4 99
/#-. /0 /& $ ! "9 9
/#%1) /03"K/a3" $ a3"F99
2³/21' 3 ! a3"F9v /#-4 [ /21' 5 }46 & U3'F9 9
/#%7) 8 3"3º/4 5 3b99
Q\2]7`5h" Q\2] Q SfeT oj\2Q-Y"\U`"]
[ /21 5 }4 ! a3"F9£
//21"9"3519:/N; 9<:/4¦=,9>:/& ¨0-9>:/a3"N=-9 9?
/'@FF/21"/ H3199>:/a; 9:A/ 4¦9"9%: /! ³9"9%:A/a3" 9"99?
/'@F@"4-A@ $@t4 $@& $-@a3" $t1"/ "4 9:
/# [
/"4 $ 4 $ & $ a3" $99:
/# ( *B+º/
$
F99:
/#-, *B+º/4A $ }4N9 9:
/# . /= /!
$
> ! "9 9:
/# 1 / 3"v/U3" $ U3"¸99 9
2¨/21 3 ! a3"F9K /'@~A@t4
/# 4 [
/21' 5 4A6 & U3'F9 9:
/# 7 8 3"3º/4 3b99 9
X/Y[_`g4pkQD{,| hkY[PDvZ\[Q]\[^`_aY[bTv4pk^`_`pdaP
|hNdaXYm\m\[g4hcpdfckY[^`X)^axcMZY[h&hkjGXcd'X/Y[_`g4pkQ"{v4pkQhQXchdhP6df\m\v4pk^`_`pdaP Y[Xd\[^`_aY[b v4pk^`_`pdaPDPY[X4_DhkjGXcd
daX4thM4^eh¥Ymch,cpdaX4h\¨dfckY[^`XY[Xc^X4^`pkP6df\(^`pkP)LNMZY[h¥v4pk^`_`pdaP3b^`PDv4gZcQh cM4QPY[XZY[Pg4P)GcM4Q-P6dZY[Pg4P)4daX4t
cM4Q-de~Qpda_`Q-^ad\mY[hkc b^`XcdfY[XZY[X4_DC)Y[XcQ_`Qpkh?>wG^`PDQv4pk^`_`pdaPv(^aY[Xch¥dapkQ-^`PYmckcQtD^`p,cM4QNhda¦`Q^a'pkQedatJdalZYm\mYmcj
X*^a\m\[^eNY[X4_ @{ezD» ¥Q¤dahhg4PDQdaX7Y[XZJXZYmcQ)hQKc^av4pk^`_`pdaP ~adaprY¨dalZ\[Qh' %EGF%H daX4tdaX Y[XZJXZYmcQ)hQKcD^apkQXJd
PY[X4_ ~adaprY¨dalZ\[QhUG<E5F-H!L2QpkPDh]daX4t hg4l4hkckYmcgZckY[^`X4h dapkQb^`X4hcpkg4bKcQt£g4hkY[X4_ v4pk^`_`pdaP¢~`daprY¨dalZ\[Qh daX4t pkQXJdaPY[X4_
~`daprY¨dalZ\[Qhe QtZY[hkckY[X4_`gZY[hM c¥^ ¦;Y[X4t4h^aNhg4l4hckYmcgZckY[^`X4heDv4pk^`_`pdaP#~`daprY¨dalZ\[Qhg4l4hkckYmcgZckY[^`X4h }CAI>JLKbR " M4^`hQ
t4^`P6dfY[X¤daX4tb^ft4^`P6dfY[X¤dapkQ hg4l4hQKch!^a %E5F-H6daX4tpG<E5F-HDpkQhv(QbKckYm~QK\mj4daX4tpkQXJdaPY[X4_"~`daprY¨dalZ\[Q hg4l4hkckYmcgZckY[^`X4h
GLKI<JMKbR "!M4^`hQ]t4^`P6dfY[X£daX4t)b^ft4^`P6dfY[X dapkQThg4l4hQKch-^aG>EGF-H
.)NPOZ]^ *PQSRc (:=^TcU
:Z]VNPOZ] ^ :SQSRc (:=^TcU
M4QpkQGHR5W-HX pkQv4pkQhQXch)d$cQpkP b^`X4hcpkg4bKcQt NYmcM pkQXJdaPY[X4_ ~`daprY¨dalZ\[Qh$G<EGF%H*ZY!jb^`X~QXckY[^`X!Q£g4hQ
[]\ CI<JLKZR¤=^`p dv4pk^`_`pdaP ~`daprY¨dalZ\[QDhg4l4hkckYmcgZckY[^`X daX4t_^ \ GLKI>JLKbR ^`pTdpkQXJdaPY[X4_)~`daprY¨dalZ\[QDhg4l4hkckYmcgZckY[^`X
LNM4Q$t4QKJXZYmckY[^`X ^a"hg4l4hkckYmcgZckY[^`X0b^`PDv(^`hkYmckY[^`X0Y[h)PD^GtZYmJQt c^ cda¦`Q dabb^`g4Xc¤cM4Q$pk^a\[Q$M4QK\[t0lj pkQXJdaPY[X4_
~`daprY¨dalZ\[QheLNM4Q-PD^GtZYmJbedfckY[^`X^;bbg4pkh¥M4QX [`\ CAI>JLKbRDdaX4ta^ \ GbKI<JLKZR¥QMJd~Q!^dc [e\ CI<JMKbRDt4QKJX4Qt lj(
+Sf) /gihkj-9K=+Sf) /"j-9
/glhmj-97/"9K9g£/"jb/"99v Q"\ `5hChon!+Sf /"j,9
LNM4Qt4^`P6dfY[X7^ab^`XcQAZch"^`pcMZY[h\¨daX4_`gJda_`QY[h"t4QKJX4Qt lj M HW>WkpCI<JMKbRLqM4QpkQp>HGW<Wvr]Y[hcM4Q
cµjGv(Q)^alZY[XJdaprj cpkQQhDNYmcM \[Qede~Qh^acjZvQ=r Q)t4QKJX4Q¤b^`XcQAZch dahDlZY[XJdaprj7cpkQQh6^ahg4l4hkckYmcgZckY[^`X4h6c^
cda¦`QDY[Xc^ dabb^`g4XccM4QDX4^`X$t4QKcQpkPY[XZY[hkckY[bXJdfcg4pkQ^a¥cM4Q\¨daX4_`gJda_`Q` wG^4x¥Q6_dfcM4Qp]Y[X$^`X4QDt4QprYm~`dfckY[^`X cM4Q
b^`PDv4gZcdfckY[^`X6^a'df\m\ZcM4Q!hg4l4hkckYmcgZckY[^`X4h^a(dv4pk^`_`pdaP)|vJdaprckY[bgZ\¨dap,b^`Xcpk^a\JhkcpdfcQ_aj=^`p/cM4Q¥Y[PDvZ\[QPDQXcdfckY[^`X
st
T bWQRdag T'\ QR hi7SUT'\2R`"\+i&u`"dab oj\2Tkg acb'`5SUT-d8eT'\2TvAujsjS Q"SfejT'\ `"\+aCS2aT-d `"\2T SU\2T-`5SUTkgaR[SfejTJd2`"] Txw.`-iSy
`
/# `"/¸ %() ,k9 9K( fF/
¸ -() -,k9
/#b ;p6 9v( "3 / 69
:
°()) (W( (
/#b G: (k9K(x(
?
°(D (W( (
/# 5? (k9K( AH3"f)³/ ) (k9
@
*B+S+/ > º9 °()
/# @¸ 9K( 8)f / "9
&n 3S \2T-de"`"\+ac`u hT
% R-_,_
² !
/ 9 "
!
(D
/# [ !
/$#b h #,E99K( %'&
¹! / D}9
w aCSfe)([ ! /¸ h ºZ9v " !+* n [ f-,
. // /\ \ ( 9 khh 9v0/ /. /\ hh7 9 . /\ ( hhh 99
. /"j khh 9K . /"j hkh 9
1 ¼
/"j ( , 9K24365!gN7(/"jb/ 9.QoojZ/ ( 9 98)jZ/ , 9
*:9<;
glhmj
ajb/ 9.`REgojb/ ( 9.`"\2T Y"\2QsjREg `REg!jb/ , 9Mna:PQRc >= QSfeT'\w acd+T
¶? 6@A
/"j 6 9KB243?5!g 4]¨Y"sF/"jb/"9 jZ/699 9<;
g hkj abjb/"9.`"Rtg!jb/6f9.b'`RouT sR aTkgD
= QSfeT'\w acd+T
¶? 6@
1
// /\ \ (k9 / / (h9 C/ /EDF D-(79 9v0/ /
¶ 6@
1 /\ DF 9
¶? 6@
1 /\ () (V D-(h99
¶? 6@
1
/"j DD9£0/ / D)9
FCGHG /"j $3 )3b9K=j6(3?83
* w aSfe!3JIK3ML j?(3?83
*
/3b9v=jb/3b9 `REg j?(3?83
*
/N3b9K0)3
OQP
1 ¼
/"j $A3b9v=j+RTSVU w aSfe!3WIK3ML jXRTSYUb/3b9K=jZ/3b9 `"Rtg j+RSYU/N3b9KQ=
²C
!
/"j,9K7(jZ/$#<Z98V[Z*
%'&
¹!
/"j j $9K9glhmj w aCSfeZj $ 9glh\(jb/$#HZ598)[Z
*
X2Y[_`g4pkQ"RG dfcg4pdf\ihQP6daXckY[bh-^ad\[^`_aY[bTv4pk^`_`pdaPDPY[X4_\¨daX4_`gJda_`Q
A/
\
9~?3
\
/# )/¸ %() -,h9 9t// \ f¸/ ¸ %(V -,k9 9 ; 9 2- `Z9
/# t/> 6f99Z/ / \ "3T)/ 6f99
; 9
2A 9
/# ; / ( 9924365
[\
A/
9
D [\ h]^,^Ed=m
[\ (0A/) (k9
( [\
( ]^,^Ed=m
9<; // \ (h9 V([\ [\ (* :K9
/# M/ (k9926365 [\ pA/ 9
[\
]^,^Ed=m
[\ (0A/ (k9
x(0 [\ (]^,^Ed=m
9X;
// \ "3"f¨/ ( 99 V([\ [\ ( * ?K9
/# 9 50/
9 9243?5 [\
A/*B+S+/
"9
9
)p [\ 7S] ^,^Ed=m
9<;
/ / \ 8f /
"99 V([\
*
@t9
/# [242/[ !
/$#b hkh #,Z99924365 [\ pA/
²C !
/ 9 " ! 9
)p [\ h]^,^Ed=m
9<; / / \ % & ¹! / ) 9 9 V(
[\
* % R-_,_9
w aSfe ([ !
/ h 9v " ! * n n \2QY
X/Y[_`g4pkQyZLNM4QThQP6daXckY[bh=g4X4bKckY[^`X¤^ad\[^`_aY[bTv4pk^`_`pdaPDPY[X4_6\¨daX4_`gJda_`Q
^a§cM4Q]\¨daX4_`gJda_`Qb^`pkpkQhv^`X4t4h-c^6dDvJdaprckY[bgZ\¨dap-^`pkt4QprY[X4_ ^a2cM4QT\[Qed~Qh^a/hg4l4hckYmcgZckY[^`X4hcpkQQhe XJ^`pNY[X4hkcdaX4bQ`
cM4Q\mY[hkc^aNpkQhgZ\mch"^a!cM4Qg4hgJdf\¥t4QvZcMG»Jpkhkc"QK~adf\[gJdfckY[^`X hkcpdfcQ_aj$^aNo,pk^a\[^`_£Y[hv4pkQbKY[hQK\mj$cM4QD\[Qede~Qh^a!cM4Q
hg4l4hckYmcgZckY[^`X cpkQQTv4pk^Gt4g4bQt lj)^`g4p-hQP6daXckY[bh^`pkt4QpkQt£=pk^`P \[QKcc^6prY[_`Mce QTprYmcQ! #"=$"8®b&=^`p-dcpkQQ
NYmcM¤hg4lZcpkQQh%"daX4t&"®`
LNM4QXJdfcg4pdf\2hQP6daXckY[bh ^ad6hkY[PDvZ\[Q]\[^`_aY[bv4pk^`_`pdaPDPY[X4_\¨daX4_`gJda_`Qg4hkY[X4_6cM4QTg4hgJdf\iY[XZ=QpkQX4bQpkgZ\[QTv4pkQA
hQXcdfckY[^`X Y[h v4pkQhQXcQt Y[XX/Y[_`g4pkQRG IX cM4Q"J_`g4pkQ` ''#"N-t4QX4^acQh cM4Qdav4vZ\mY[bedfckY[^`X$^a¥d6=g4X4bKckY[^`X('wc^df\m\
cM4Q hg4l4hkckYmcgZckY[^`X4hN^a/dTcpkQQ)" daX4t Ymch&pkQhgZ\mc!Y[hNdf\[h^dcpkQQ`LNM4Q=g4X4bKckY[^`X$+*¤pkQv4pkQhQXchNcM4Q-Y[XcQpkv4pkQKcdfckY[^`X
^a!^`vQpdfc^`p¬ETLNM4QDhg4l4hkckYmcgZckY[^`X(,LC.-/ [ kk²k-^a CAI>JLKZR¤Y[h]t4QKJX4Qt ^`pcM4Qg4XZYmJbedfckY[^`X ^aD daX4t² + [
½pkgZ\[Q1032&"ALNM4Q6pkgZ\[Q$µ Y[hX4^achg4pkv4prY[hkY[X4_42cM4QDJpkhkc]=^`pkPgZ\¨dM´)^a!cM4Qb^`Xfqk^`X4bKckY[^`X$Y[hQK~`df\[gJdfcQt daX4t cM4Q
pkQhgZ\mc%4 &Y[h¥cda¦`QX)dahNb^`XcQAGc&=^`p¥cM4Q QK~`df\[gJdfckY[^`X^axcM4Q hQb^`X4t^`pkPgZ\¨d$´®^axcM4Q b^`Xfqr^`X4bKckY[^`X E4cM4Q pkQhgZ\mc
4 ® Y[h cM4Q-JXJdf\(pkQhgZ\mce XJ^`p¥cM4Q-pkgZ\[Q ¶!cM4Qhg4lZcpkQQh&b^`pkpkQhv(^`X4tZY[X4_c^cM4Q-hg4lG»=^`pkPgZ\¨daQ ^acM4Q-tZY[h½qr^`X4bKckY[^`X
dapkQ QK~`df\[gJdfcQt Y[X4t4Qv(QX4t4QXck\mj!LNM4Qg4X4bKckY[^`X # 2 £#",$"8®E$"8¯b,Y[h&X4QQt4Qtc^l4gZYm\[t)dX4QK0hg4l4hkckYmcgZckY[^`XcpkQQ
qk^aY[XZY[X4_¤cM4QcpkQQh5"8®6daX4t"8¯6v4pk^;t4g4bQt lj c!^£hg4l4_`^df\[he Iµch]Jpkhkc"dapk_`g4PDQXcY[h]cM4Q6Y[XZYmckY¨df\!hg4l4hkckYmcgZckY[^`X
MZY[bM¤Y[hNg4hQtc^DY[t4QXckYmjcM4QTv(^aY[XchNM4QpkQTcM4Q!qr^aY[X4hMJde~Q]c^Dl(Q Y[Xcpk^Gt4g4bQt =cM4QhQ]v(^aY[Xch-dapkQTcM4Q \[Qed~Qh
^a6" "A LNM4QpkgZ\[Q· g4hQhc!^£=g4X4bKckY[^`X4h87:939 daX4t<;$º+*2=7:939$Y[h"g4hQt c^ dat4t d v4pk^`_`pdaP~adaprY¨dalZ\[Q Y[X d
hg4l4hckYmcgZckY[^`X =cM4QX4QK v4pk^`_`pdaP°~adaprY¨dalZ\[Q"Y[h dfckcdabM4Qt c^d6=pkQQpkQXJdaPY[X4_~`daprY¨dalZ\[Q"daX4t>;$º?*$pkQPD^e~QhTd
~`daprY¨dalZ\[Q]=pk^`P¢dhg4l4hkckYmcgZckY[^`X
X*^`p&cM4QpkgZ\[Q FA@A@JGc¥^Dt4QKJXZYmckY[^`X4h-^aihg4l4hkckYmcgZckY[^`X4hdapkQ X4QQt4QtB4DCCWFE¥bpkQedfcQhd"X4QK0hg4l4hkckYmcgZckY[^`X
c^ QAZQbgZcQcM4Ql(^;tZj)^a dbK\¨dag4hQ =Ymc daPD^`g4Xchc^ d6~adaprY¨dalZ\[Q"pkQXJdaPY[X4_ "l(Qbedag4hQcM4Ql(^;tZj N^a d6bK\¨dag4hQ
b^`XcdfY[X4h =^`pkP6df\*vJdapdaPDQKcQpkh bxdaX4t1E0b^`XcdfY[X4h¥v4pk^`_`pdaP ~adaprY¨dalZ\[Qh)¹-GFA£²7EaH4 ,§v4pk^`vJda_dfcQh¥cM4QpkQhgZ\mc
^ad$v4pkQtZY[bedfcQ£Y[XcM4Q£bedf\m\mY[X4_ hg4l4hckYmcgZckY[^`X4h l(Qbedag4hQE#b^`XcdfY[X4h~`daprY¨dalZ\[Qh'¹-TdaX4tI4b^`XcdfY[X4h ^`pkP6df\
vJdapdaPDQKcQpkh¨LkX*pk^`P3cM4Qt4QKJXZYmckY[^`X ^aJ4DCSCW;Z¥Q hQQcMJdfc&cM4Ql(^GtZj'N^a2d"v4pkQtZY[bedfcQ Y[hNQK~`df\[gJdfcQtY[XdaX
QX~;Y[pk^`X4PDQXct4QKJXZY[X4_ QA4dabKck\mjcM4Q]=^`pkP6df\xvJdapdaPDQKcQpkh^a/cM4QTv4pkQtZY[bedfcQA;
LNM4Q=^`pkP6df\(t4QKJXZYmckY[^`X4h&^acM4Q=g4X4bKckY[^`X4h!Y[Xcpk^Gt4g4bQtY[XZ^`pkP6df\m\mjl(QK=^`pkQdapkQ-v4pkQhQXcQtY[X6cM4Ql^ackc^`P ^a
X/Y[_`g4pkQRG
LNM4Q-hQP6daXckY[bh¥Y[Xg4X4bKckY[^`XJdf\^`pkP Y[h v4pkQhQXcQtY[X X2Y[_`g4pkQyZ/LNM4Q-hQP6daXckY[bh g4X4bKckY[^`X6^aX/Y[_`g4pkQ-y cda¦`Qh
cµ¥^¤dapk_`g4PDQXch =cM4Q"b^`XcQAGc!EwdaX4t cM4Q"cQpkP " "-daX4t Ymc pkQKcg4pkX4hTdt4QprYm~adfckY[^`X cpkQQ`]LNM4Qt4QprYm~adfckY[^`X cpkQQ
b^`XcdfY[X4hcM4Q]b^`X4bK\[g4hkY[^`X EN$";
Ea 4 HF AZM4QpkQ
Y[h&cM4Q]pkQhgZ\mc^a/cM4Q]v4pk^`_`pdaP Y[X=g4X4bKckY[^`XJdf\x^`pkP)
cM4Q\mY[hkc!^aihg4lZcpkQQhNdaX4tcM4Q XJdaPDQ^aicM4QpkgZ\[Qg4hQt c^t4QprYm~QcM4Qb^`X4bK\[g4hkY[^`X,LNM4Ql^GtZj6^axcM4Qg4X4bKckY[^`X
Y[hd¤\mY[hc^abedahQh"hQK\[QbKcQt lj vJdfckcQpkX P6dfcbMZY[X4_ ^`X cM4Q=^`pkP#^aNcM4Q cQpkP) LNM4Q g4X4bKckY[^`X Y[h"t4QKJX4Qt lj
pkQbg4pkpkQX4bQ^`X)cM4Q]cQpkP),LNM4Q]hQKc^a/t4QKJXZYmckY[^`X4ho,pk^`_DY[hg4hQt£dah-daXY[PDvZ\mY[bKYmcvJdapdaPDQKcQp^a/cM4QThQP6daXckY[bhe
.2 "./&%1 *.2 "(*%;
w;\mY[bKY[X4_"d6v4pk^`_`pdaP°b^`X4hkY[hkch-Y[X b^`X4hkcpkg4bKckY[X4_)d6pkQt4g4bQt£~QpkhkY[^`X£^acM4Qv4pk^`_`pdaP ½bedf\m\[Qt dv4pk^`_`pdaP 21"
b^`XcdfY[XZY[X4_^`XZ\mjcM4^`hQhkcdfcQPDQXchcMJdfcd<'QbKcdD_aYm~QX£hQKc-^a§~`daprY¨dalZ\[Qhdfc_aYm~QX£v4pk^`_`pdaP¢v(^aY[Xch =cMZY[h-hQKc
Y[hbedf\m\[QtA*M 21 &1"+*H+ "AJIµX)v4pk^`_`pdaP t4Ql4g4_`_aY[X4_4*hk\mY[bKY[X4_DP6da¦`QhNYmcv(^`hhkY[lZ\[Q =^`p&dh^acµ!dapkQTQX4_aY[X4QQp
c^^Gbg4h,^`X6cM4Q-pkQK\[QK~adaXc!vJdaprch¥^a(cM4Qb^;t4Q` w;\mY[bKY[X4_Y[h¥df\[h^Tg4hQKgZ\J=^`pcQhkckY[X4_4Gv4pk^`_`pdaP g4X4t4QpkhcdaX4tZY[X4_"daX4t
Y[X P6dfY[XcQXJdaX4bQdabKckYm~GYmckY[Qhe!Y&Qbedag4hQ^acMZY[htZYm~QpkhYmcj£^a dav4vZ\mY[bedfckY[^`X4h?tZYu<(QpkQXc~`daprY¨dfckY[^`X4h]^`X£cM4QX4^ackY[^`X
^ahk\mY[bKY[X4_£MJd~Ql(QQX v4pk^`v(^`hQtdah!QK\m\&dah"d¤Xg4PlQp^aPDQKcM4^Gt4hc^£b^`PDv4gZcQhk\mY[bQhe X/Y[pkhkced¤v4pk^`_`pdaP
hk\mY[bQbedaX¤QKYmcM4Qp-l(Q 51#*U, ^`p-X4^ace¥o,pk^Gt4g4bKY[X4_ daX QAZQbgZcdalZ\[Qhk\mY[bQTP6da¦`QhYmcv^`hhY[lZ\[Q c^dav4vZ\mjg4prcM4Qp
cpkQedfcPDQXchc^¤cM4QpkQhgZ\mc^aNcM4Q daXJdf\mjZhkY[he|X4^acM4QpY[PDv(^`prcdaXctZY[hkckY[X4bKckY[^`X Y[hl(QKc!QQX *U*+21daX4t
/?21hk\mY[bKY[X4_4 IX$cM4Q JpkhkcbedahQ`/cM4Q hk\mY[bQ6Y[hb^`PDv4gZcQt NYmcM4^`gZcdaXj dahhg4PDvZckY[^`X ^`X cM4Q6Y[X4v4gZche/M4QpkQedah
cM4Q)\¨dfckcQppkQK\mY[Qh6^`X h^`PDQ)hv(QbKYmJbY[X4v4gZctJdfcdZLw;\mY[bKY[X4_ df\[_`^`prYmcM4PDhbedaXdf\[h^$l(Q)tZY[hkckY[X4_`gZY[hM4Qtlj cM4QKY[p
tZY[pkQbKckY[^`X 1 =>-"hk\mY[bKY[X4_DY[t4QXckYmJQh-cM4QThcdfcQPDQXch^ad6v4pk^`_`pdaP cMJdfc-P6dej¤MJd~Qh^`PDQ]Y[PDvJdabKc-^`X¤cM4Q
bprYmcQprY[^`X£M4QpkQedah>=>-hk\mY[bKY[X4_ pkQKcg4pkX4h-cM4QhkcdfcQPDQXchMZY[bM£P6dej¤lQ]Y[XJg4QX4bQt lj)cM4QbprYmcQprY[^`X IµX
cMZY[hvJdavQp*¥Qb^`X4hY[t4Qp /?21 -1 =>'21 NYmcM£QAZQbgZcdalZ\[Qhk\mY[bQhe w;cdfckY[bhk\mY[bKY[X4_ df\[_`^`prYmcM4PDhbedaX
l(Q-t4QprYm~Qtlj dal4hcpdabKc¥Y[XcQpkv4pkQKcdfckY[^`X)^a'tZjZXJdaPY[bhk\mY[bKY[X4_"daXJdf\mjZhQpkh[EcMZY[h!b^`X4hkcpkg4bKckY[^`XY[h!h¦`QKcbM4Qt Y[XcM4Q
b^`X4bK\[g4hkY[^`X
QbedaX t4QhbprY[lQ^`pr&dapkt£hk\mY[bKY[X4_daXJdf\mjGhQpkhY[X£dhkY[PYm\¨dap&dj¤l4gZchk\mY[bKY[X4_ daXJdf\mjZhQhv4pk^;t4g4bKY[X4_
X4^`X QAZQbgZcdalZ\[Q"hk\mY[bQht4^X4^ac-4c¥QK\m\/Y[Xc^^`g4p=pdaPDQK¥^`pk¦¤hY[X4bQTcM4QhvQbKYmJbedfckY[^`X ^acM4QdaXJdf\mjZhkY[hY[h d6pkQA
\¨dfckY[^`XDl(QKc!QQXDcM4Q&hQP6daXckY[bh,^a*cM4Q!^`prY[_aY[XJdf\Jv4pk^`_`pdaP daX4tcM4Q&hQP6daXckY[bh,^a*cM4Q&hk\mY[bQNdah§v4pkQhQXcQtDY[X @{?D'
w;\mY[bKY[X4_&dahN^`prY[_aY[XJdf\m\mjv4pk^`v(^`hQtlj QKY[hQp!^`p!Y[PDv(QpdfckYm~Q\¨daX4_`gJda_`Qh3@RaDdaX4t Ymchdav4vZ\mY[bedfckY[^`Xc^"\[^`_aY[b
v4pk^`_`pdaPDPY[X4_ @R`RjD¥daX4t$=g4X4bKckY[^`XJdf\ v4pk^`_`pdaPDPY[X4_ @{jBjD MJd~Q6l(QQX hkcg4tZY[Qt pkQbQXck\mj&IX ½dabKcexcM4Q6b^`X4bQvZc
^a h\mY[bKY[X4_YmchQK\m Y[h-~Qprj _`QX4Qpdf\»-YmcY[hX4^acckY[Qt£c^^`X4Q"hvQbKYmJb"hkcµj;\[Q"^a,v4pk^`_`pdaPDPY[X4_6daX4t Ymc bedaX£\[Qedat£c^
tZjZXJdaPY[bdahN!QK\m\/dahhkcdfckY[bTdaXJdf\mjZhQpkh@RfzD»
| hk\mY[bKY[X4_daXJdf\mjGhY[h=^`pd\[^`_aY[bv4pk^`_`pdaPDPY[X4_ \¨daX4_`gJda_`Q =NYmcM v4pk^`_`pdaPDhY[X X4^`pkP6df\2^`pkP "-dabb^`pktZY[X4_c^
dv4pk^`_`pdaP v^aY[Xc&daX4t)dhQKc¥^ai~adaprY¨dalZ\[Qh&^axY[XcQpkQhkcNb^`X4hkY[hkch!Y[X ¦`QQvZY[X4_^`XZ\mj6cM4Qhg4lG_`^df\[hN^axtZY[h=qkg4X4bKckY[^`X4h
^axQedabMbK\¨dag4hQ »dTbK\¨dag4hQt4QKJX4Qh!dv4pkQtZY[bedfcQ",l(QKY[X4_dalZ\[Q-c^d<'QbKc cM4Q~`df\[g4Q-^a'cM4Q-~adaprY¨dalZ\[Qh!^a'Y[XcQpkQhkce Iµ
df\m\xhg4lG_`^df\[h-^a2d"^`pkPgZ\¨d^aicM4Q]tZY[h=qkg4X4bKckY[^`X¤dapkQ t4pk^`v4vQtJcM4QX cMZY[h^`pkPgZ\¨d"Y[hNt4pk^`v4vQt Iµ2df\m\=^`pkPgZ\¨daQ
^acM4QtZY[h=qrg4X4bKckY[^`X ^a,_`^df\[h dapkQt4pk^`v4v(QtcM4QX cM4QbK\¨dag4hQTY[ht4pk^`v4vQt7IX¤cM4Q^`v4v^`hYmcQbedahQ`*cM4QM4Qedat£^a
cM4QTbK\¨dag4hQTt4QKJXZY[X4_DcM4QTv4pkQtZY[bedfcQY[h¦`QvZce
siQKcg4h]cda¦`QDcM4Qv4pk^`_`pdaPY[X X4^`pkP6df\¥^`pkP^a X/Y[_`g4pkQ){6c^)Ym\m\[g4hcpdfcQtZjZXJdaPY[b6lJdab¦;!dapkt hk\mY[bKY[X4_4 Q
dahhg4PDQ¤cMJdfc6!Q£dapkQ¤Y[XcQpkQhkcQt ^`XZ\mj Y[XcM4Q)~adf\[g4Q£^a cM4Q)~adaprY¨dalZ\[Q dfccM4Q v4pk^`_`pdaP v(^aY[Xca LNM4Q
vJdfY[p!¡F !¤Y[hTbedf\m\[Qt cM4Q hk\mY[bKY[X4_¤bprYmcQprY[^`XLNM4QtZjZXJdaPY[bhk\mY[bQ^a!cM4Qv4pk^`_`pdaP#Y[hTQAZcpdabKcQt ^`p]^`X4Q
vJdaprckY[bgZ\¨dap-Y[X4v4gZceDXJ^`pNY[X4hkcdaX4bQ`*Ymi!QQA4QbgZcQ cM4QTv4pkQtZY[bedfcQ#" NYmcM=C.-%$dahNcM4Q Y[XZYmckY¨df\i~`df\[g4Q]^a&$Z!QT_`QKce
'C.-'$ )(E * * *H
"'+$ !v,-F,=-C) +/.E '+$7C 10,/,M,-H,=-Ck
+ H; -%° 0,2,MC !k
LNM4Qv4pkQtZY[bedfcQ °Y[hX4^ac"pkQbg4pkhkYm~QK\mj bedf\m\[Qt daX4t cM4QJpkhkctZY[h=qkg4X4bKckYm~QvJdaprc"Y[h"hdfckY[hkJQt,cM4Q cMZY[pkt7bK\¨dag4hQ
^a)wY[h X4QK~Qp QAZQbgZcQt]LNM4Q"t4QKJXZYmckY[^`X$^a,cM4Q"v4pkQtZY[bedfcQ" Y[h ¦`QvZcl(Qbedag4hQDdf\m\2Ymch bK\¨dag4hQh]dapkQg4hQK=gZ\2c^
34
Q\2TJoj\2T-b acd+TWhCi5u`b76Sw `"\fg dhCabHacRZY98y
:;
T'R a%SfejT gjTSH`aChcd Q%SfeT \2T'd+sjhCS2aRtY7`"R`hCijd+T-d `"\2TJQ$bWQsj\Ud+Ty
b^`PDv4gZcQcM4Q ~adaprY¨dalZ\[Q !>I2¥QTb^`X4hkY[t4QpcM4QTQAZQbgZckY[^`X ^a2cM4Q]v4pk^`_`pdaP¢NYmcM b¸C.-%$fk-dahY[XZYmckY¨df\x~adf\[g4Q
^a&$rZ¥QpkQbg4pkhYm~QK\mjbedf\m\cM4Qv4pkQtZY[bedfcQ6Z!QT_`QKce
'kC.-%$f)(Ekkk8
'kk0EC 10,/,M,-H,=-C) +8= ' 0"C 10,2,,-H5,=-Ck
+v®tH7 9£C
)(ECk
+v¯tH7 9£ 0,2,k10,2,k
"!+$7 !v,-F,=-C +
. '+$7C 10,/,M,-H,=-Ck
+ZH; -7 0,/,MC ~
F XZ\mj dDvJdaprc^a§cM4Q]cMZY[pkt bK\¨dag4hQ^a§cM4Qv4pkQtZY[bedfcQ Y[h-¦`QvZce*cM4Qv4pk^`_`pdaP°v^aY[Xch "daX4t-dapkQt4pk^`v4vQt
l(Qbedag4hQ]cM4QKj)dapkQTX4^ac-g4hQK=gZ\Y[X)b^`PDv4gZckY[X4_!
|hhg4PY[X4_dDhQKc^a§vJdfY[pkh 7 4M4QpkQ b§Y[hdDv4pk^`_`pdaP°v^aY[XcdaX4t A dD~adaprY¨dalZ\[Q`'dDlJdab¦;!dapkt hk\mY[bKY[X4_
daXJdf\mjZhkY[h-v4pk^Gt4g4bQhcM4Qhk\mY[bQ]b^`PDv4gZckY[X4_6=^`pQedabM£v^aY[Xc cM4QThdaPDQT~adf\[g4QhdahNcM4Q]Y[XZYmckY¨df\iv4pk^`_`pdaP¢^`pNcM4Q
~`daprY¨dalZ\[Q k
IX6^`g4p=pdaPDQK¥^`pk¦(Zd]v4pk^`vQprcµjDY[h,QA4v4pkQhhQt6ljDd]g4X4bKckY[^`XDMZY[bMcda¦`Qh!dfc,\[Qedahkc¥daX dapk_`g4PDQXc¥l(QKY[X4_TcM4Q
b^ft4^`P6dfY[X¤^a2cM4Q hQP6daXckY[bhN=g4X4bKckY[^`X »d"t4QprYm~adfckY[^`XcpkQQ]^a2cjZvQN H "!daX4tcM4Q]pkQhgZ\mcN^aicM4Q v4pk^`vQprcµj Y[hdaX
dal4hkcpdabKc t4^`P6dfY[XLNM4Qhk\mY[bKY[X4_ v4pk^`v(Qprcj)cda¦`Qh daX dat4tZYmckY[^`XJdf\§dapk_`g4PDQXcc^ pkQv4pkQhQXccM4Qh\mY[bKY[X4_ bprYmcQprY[^`X
½^a&cjZv(Q' H GF%H¸ "]daX4t cM4QDcjZv(Q^a!cM4QpkQhgZ\mcTY[h' H ~ l(Qbedag4hQ6hk\mY[bQh"dapkQpkQv4pkQhQXcQt lj hQKchT^a
v4pk^`_`pdaPv^aY[Xche)LNM4Q6hk\mY[bKY[X4_£bprYmcQprY[^`X Y[hpkQv4pkQhQXcQt Y[X ^`g4p"dav4v4pk^dabM7lj cM4Q P6dav4vZY[X4_ =pk^`P#v4pk^`_`pdaP
v(^aY[XchNc^pkQK\[QK~`daXcN~`daprY¨dalZ\[Qhe Y&Qbedag4hQ ^aicM4Q]h\mY[bKY[X4_"v4pk^`v(QprcjJ¥Q]X4QQtQAGcpd"Y[XZ=^`pkP6dfckY[^`X QY[Xcpk^Gt4g4bQ
d£hQKc^aN~adaprY¨dalZ\[Qh^aNY[XcQpkQhcDdabb^`pktZY[X4_ c^ d v4pk^`_`pdaP v(^aY[Xc =cMZY[hhQKcpkQv4pkQhQXchcM4Q~`df\[g4Q^aN~adaprY¨dalZ\[Q
cMJdfcPg4hkc lQv4pkQhQpr~Qt¤=^`p-b^`PDv4gZckY[X4_ cM4Qb^`pkpkQhv(^`X4tZY[X4_6cQpkP "ANLNM4QY[XZYmckY¨df\2~`df\[g4Q^a§cM4QhQKcY[hZ&LNM4Q
v4pk^`v(Qprcj)v4pk^`vJda_dfcQhcMZY[hNY[XZ^`pkP6dfckY[^`X£^a2cµjGv(Q'GF%HdaX4t)JXJdf\m\mj cM4QTcjZvQ]^a/cM4QTv4pk^`v(QprcjY[he
ª" H' F GF%H¸ '5F-H~!' H ~ '5F-H~
LNM4Qhk\mY[bKY[X4_Tv4pk^`v(Qprcj
^`pcM4Q\[^`_aY[bv4pk^`_`pdaPDPY[X4_\¨daX4_`gJda_`QY[h,v4pkQhQXcQt6Y[X!X/Y[_`g4pkQz4/LNM4Q-v4pk^`vQprcµj
cda¦`Qhdahdapk_`g4PDQXchDd)t4QprYm~`dfckY[^`X cpkQQ$ "2vZ\[g4hTc!^£dat4tZYmckY[^`XJdf\&vJdapdaPDQKcQpkh!4"
\$#%#
&' <EGF-H~]daX4t
; \ '#%')(+* ALNM4Q hQb^`X4t dapk_`g4PDQXc 4" ==^`puQK\[QK~adaXc, daprY¨dalZ\[Qh "]Y[hTcM4Qh\mY[bKY[X4_ bprYmcQprY[^`X PDQXckY[^`X4Qt
dal(^e~Q`,|0v4pk^`_`pdaP3v(^aY[Xc dahh^;bKY¨dfcQtNYmcM)dTX4^`XGQPDvZcjhQKc 4"'+,Y[h¥bedf\m\[Qt)daX^`l4hQpr~`dfckY[^`X v(^aY[XceLNM4Q
cMZY[pkt dapk_`g4PDQXc8; ^a&cM4Q6v4pk^`v(Qprcj pkQv4pkQhQXchcM4QhQKc^a!~adaprY¨dalZ\[QhM4^`hQD~`df\[g4QhPg4hkcl(Q6v4pkQhQpr~Qt Y[X
cM4QT^`gZcv4gZcb^`XcQAZc.- ½X4^`pkP6df\x=^`pkP "&^aicM4Q]cQpkP) /0/,cM4Q]hQKc^a2~`daprY¨dalZ\[QhcMJdfcPg4hkc-l(Q]v4pkQhQpr~Qt)Y[X)cM4Q
pkQhgZ\mc 4!-^aNcM4QQK~`df\[gJdfckY[^`X ^a-cM4Q t4QprYm~`dfckY[^`X cpkQQ$ "mk IX cM4QY[XZYmckY¨df\Nbedf\m\»B; Y[h"cM4QQPDvZcj hQKce£LNM4Q
=g4X4bKckY[^`X
Y[hTbedf\m\[Qt$pkQbg4pkhYm~QK\mj ^`X cM4QY[XcQpkPDQtZY¨dfcQt4QprYm~`dfckY[^`X$cpkQQh "m"^a¥cM4QDXJdfcg4pdf\ hQP6daXckY[bh
daX4t¤hQKch^a/^`l4hQpr~adfckY[^`X)~`daprY¨dalZ\[Qhe
LNM4Q)pkQhgZ\mc"^acM4Qv4pk^`v(Qprcj Y[hDd£vJdfY[p f#H MNYmcM¦# \ '#1# "daX4t \ '#%')(+* A #Y[h"cM4QhQKc^a
v4pk^`_`pdaP v(^aY[Xch-^a2cM4Q cQpkP" cMJdfcPg4hkc-l(Q¦`QvZcNY[XcM4Q]h\mY[bQTdaX4t= #Y[h&cM4Q]hQKcN^a/~adaprY¨dalZ\[QhM4^`hQ ~adf\[g4Q
Pg4hkclQ v4pkQhQpr~Qt¤Y[X cM4Q Y[X4v4gZcb^`XcQAGc32| v4pk^`_`pdaP v(^aY[XcPg4hclQ ¦`QvZcNY[XcM4Q]hk\mY[bQYmiYmcbedaXY[XJg4QX4bQ
daX^`l4hQpr~`dfckY[^`X v(^aY[XcN^`p,cM4Q~`df\[g4Q^aid~adaprY¨dalZ\[Q^a ;3Y[X cM4Q^`gZcv4gZc&b^`XcQAZce,LNM4QhdaPDQ-b^`X4tZYmckY[^`X)dav4vZ\mY[Qh
c^Tt4QbKY[t4Q-MZY[bM~adaprY¨dalZ\[Qh¥Pg4hkc!lQNv4pkQhQpr~QtY[XDcM4QNY[X4v4gZc!b^`XcQAZceJI(cM4Qv4pk^`_`pdaP v(^aY[Xc¥bedaXl(QNpkQPD^e~Qt
=pk^`PcM4Q hk\mY[bQ`/cM4QpkQhgZ\mc"^a!cM4Q v4pk^`vQprcµj Y[h$¸H; A/MZY[bM PDQedaX4hcMJdfcX4^ v4pk^`_`pdaPv(^aY[XcY[h"dat4t4Qt c^
cM4QTh\mY[bQdaX4t)cM4Q ~`daprY¨dalZ\[QhM4^`hQ]~`df\[g4QhPg4hkc-l(Q]v4pkQhQpr~Qt¤Y[XcM4Q]Y[X4v4gZcb^`XcQAZcdapkQ]cM4Q]~`daprY¨dalZ\[QhNcMJdfc
dapkQ6X4QbQhhdaprj Y[X cM4Q6^`gZcv4gZcb^`XcQAGce F cM4QprNY[hQ`icM4Q6Jpkhkcb^`PDv(^`X4QXc^a!cM4Q6pkQhgZ\mc^a¥cM4Q6v4pk^`v(Qprcj Y[h
4 # 4 ¡ ¤l(Qbedag4hQ MJdahc^¤l(Qdat4t4Qt c^ cM4Q6v4pk^`_`pdaP v(^aY[Xchb^a\m\[QbKcQt Y[X cM4Qhg4lZcQpkPDh"^a "LNM4Q
hQb^`X4t b^`PDv(^`X4QXcD 1^a cM4QpkQhgZ\mc Y[hcM4QhQKc^a ~adaprY¨dalZ\[QhM4^`hQ"~`df\[g4QPg4hkc]lQ"v4pkQhQpr~Qt Y[X cM4QY[X4v4gZc
576
Q"\ ` Q"\w `"\fg oj\2QoT'\+Si7Sfejacd `"\Ysj] T'RSmw.Q"sjh«g bfe`\U`b SUT'\+acd+TJSfeTYacRjos S bWQRSUTWVS \U`SfejT'\ Sfe`R SfeT QsjSUojsjS bWQ"RSUTWVSy
8 6
Q"\ ` Q"\w `"\fg oj\2QoT'\+Si7Sfejacd `"\Ysj] T'RSmw.Q"sjh«g bfe`\U`b SUT'\+acd+TJSfeT QsjSUojsjS bWQ"RSUTWVS \U`SfeTW\ Sfe`"RSfeT aRojsjS bWQ"RSUTWVSy
b^`XcQAGc)ED Iµc¥b^`XcdfY[X4hNdfc!\[Qedahkc cM4QhQKc ; daX4t cM4Q~`daprY¨dalZ\[Qh64"'+,^axhk\mY[bKY[X4_"bprYmcQprY[^`X;cM;g4h!¥Q=dabKc^`prY[hQ
cMJdfc-lj)hQKckckY[X4_ ;~ ; 4
4"$+!Y[X)l(Q_aY[X4XZY[X4_6^a2cM4Qhk\mY[bKY[X4_6t4QKJXZYmckY[^`X
Qdahhg4PDQ cMJdfcNcM4QTt4QKJXZYmckY[^`X4h^a #M§daX4t 6§dapkQ]X4^ac-PgZcgJdf\m\mj)pkQbg4pkhkYm~Q`,LNM4QTt4QKJXZYmckY[^`X¤^a/cM4Q]hQKch
^ax^`l4hQpr~`dfckY[^`X6~`daprY¨dalZ\[Qh =cMZY[pkt dapk_`g4PDQXc&^a
"t4^X4^ac!g4hQ) E - ^acQNcMJdfc!cMZY[h¥Y[h¥dTbMJdapdabKcQprY[hkckY[b
=Qedfcg4pkQT^adDlJdab¦;!dapkt daXJdf\mjGhkY[h?
IXOX/Y[_`g4pkQ"z4JcM4Q"pkQK\¨dfckY[^`X©<C 93C *EaH;pbH; ®bNY[hg4hQt c^QX4hg4pkQcMJdfccµ¥^hQKch^a/~`daprY¨dalZ\[Qh ;p daX4t ; ®
dapkQ-Y[X4t4QvQX4t4QXceZMZY[bM Y[h,cM4Q-bedahQM4QX6cM4QKj6t4^X4^ac¥hMJdapkQdaXj6pkQXJdaPY[X4_~adaprY¨dalZ\[Qh =Y[X daXj6hg4l4hkckYmcgZckY[^`X
^a(cM4Qb^`XcQAZc E"A2LNM4QpkQK\¨dfckY[^`X$©%C 9C$*dav4v(QedapkhY[XcM4QNJpkhkccµ¥^bedahQh dah d X4QbQhhdaprj"b^`X4tZYmckY[^`Xc^]QAZbK\[g4t4Q
cM4QcQpkP3=pk^`P cM4Q hk\mY[bQ`JIµxcM4Q pkQK\¨dfckY[^`X)M4^a\[t4heGcM4QXcM4Q ½pkQXJdaPY[X4_~adaprY¨dalZ\[Q"!hg4l4hkckYmcgZckY[^`XpkQhgZ\mckY[X4_pk^`P
cM4QQK~adf\[gJdfckY[^`X7^a&cM4Q cQpkP bedaX4X4^acMJd~Q)daXj Y[PDvJdabKc"^`X cM4Q6~`daprY¨dalZ\[Qh^a ;£¤LNM4QpkQK\¨dfckY[^`X Eakk²
Y[hhdfckY[hkJQt YmcM4Q g4XZYmJbedfckY[^`X ^a daX4t ²DbedaX4X4^ac ½dfYm\-=^`pdaXj hg4l4hkckYmcgZckY[^`X ^a!E6 Ic Y[h d v4pkQpkQnGgZY[hkYmcQ
=^`pDQAZbK\[g4tZY[X4_
k² "=pk^`P cM4Q¤hk\mY[bQ)l(Qbedag4hQ¤d ½dfYm\[g4pkQ)Y[h6pkQb^`pkt4Qt Y[X7cM4Q¤hg4l4hkckYmcgZckY[^`X cpkQQ¤dahDcM4Q
hg4l4hckYmcgZckY[^`XEGdahNdb^`X4hQnGg4QX4bQ`;Ymc&MJdah&daXY[PDvJdabKcN^`Xdf\m\cM4Q~adaprY¨dalZ\[Qh?LNMZY[h!b^`X4tZYmckY[^`X&dah!X4^ac&Y[X4bK\[g4t4Qt
Y[X cM4Q
bedahQ`&dahhg4PY[X4_ cMJdfc6cM4Q¤\[^`_aY[b¤v4pk^`_`pdaPDPY[X4_ \¨daX4_`gJda_`Q Y[h6Qn;gZY[v4v(Qt7NYmcMPD^Gt4Q daX4X4^acdfckY[^`X4h
QX4hg4prY[X4_"cMJdfc&^`vQpdfc^`pkhdapkQ df\m!dejGhNbedf\m\[Qt NYmcMcM4QKY[p Jpkhc¥cµ¥^Ddapk_`g4PDQXch_`pk^`g4X4t)daX4t cM4Q-\¨dahc!^`X4QpkQQa
IX£l(^acM¤cM4Q
daX4t£cM4Q
bedahQhecM4Q"hQKc^a,X4QbQhhdaprj¤~`daprY¨dalZ\[Qh »dfccM4QY[X4v4gZc]^acM4Q"v4pk^`_`pdaP v^aY[Xc "NY[h
; dat4t4Qt£c^ df\m\/cM4Qv4pk^`_`pdaP ~adaprY¨dalZ\[Qh ^acM4QcQpkP)&cM4QhQKcA¡ k ® k ¯ ¤^`p
k ® k ¯ -daX4t cM4QhQKc
^a&v4pk^`_`pdaP ~adaprY¨dalZ\[Qh^;bbg4pkprY[X4_)Y[X²Y[X4bpkQedahQt NYmcM =^`pcM4QDpkgZ\[Q
k²kALNM4Q=^`pkP6df\,t4QKJXZYmckY[^`X4hT^a
©<C 93C$*$daX4t´ 'wdapkQ]v4pkQhQXcQt Y[XcM4QTl^ackc^`P¢^aX/Y[_`g4pkQTz4
X*^`p cM4QpkgZ\[Q
;
'l(^acM l4pdaX4bM4QhdapkQ"v4pk^;bQhhQt£Y[X£cg4pkX =cM4QhQb^`X4t l4pdaX4bM Jpkhkc]hkY[X4bQ"^`g4p v4pk^`vQprcµj
Y[hb^`PDv4gZcQt Y[X£d6lJdab¦&dapkt tZY[pkQbKckY[^`X "ALNM4Q"v4pk^`vQprcµj¤Y[hJpkhcbedf\m\[Qt£NYmcMO "8®daX4t; daX4t¤cM4Q"pkQhgZ\mc-Y[h
f# ® H ® E`cM4QXcM4Q&v4pk^`v(Qprcj"Y[h/b^`PDv4gZcQt6NYmcM 5" daX4t ® a!QNMJd~QAf# H /dah2cM4QNpkQhgZ\mce2LNM4QNv4pk^`_`pdaP
v(^aY[Xc bedaXDl(Q&pkQPD^e~Qt6=pk^`P cM4QNhk\mY[bQ&M4QXDl(^acM'#daX4t'#8®&dapkQNQPDvZcµj"hQKche
M4QXcM4QNv4pk^`_`pdaPv(^aY[XcY[h
¦`QvZceGcM4QpkQhgZ\mc!^acM4Q^`v(Qpdfc^`p
;
Y[h¥cM4QXf#
4
#8®
4 ¡ ¤"H '- lQbedag4hQcM4QY[XZ^`pkP6dfckY[^`X)dal(^`gZc!v4pk^`_`pdaP
v(^aY[XchN^a/l^acMl4pdaX4bM4QhNY[h&¦`QvZc-daX4tcM4Q hQKc6 !NpkQv4pkQhQXch&cM4Q~`daprY¨dalZ\[QhNPg4hkcl(Qv4pkQhQpr~QtY[X cM4QY[X4v4gZc
b^`XcQAGchkY[X4bQ ¥QTb^`X4hY[t4Qp-dDlJdab¦;!dapkt£tZY[pkQbKckY[^`X
LNM4QcpkQedfcPDQXcT^a
Y[htZYu<(QpkQXceNcM4QcQpkP¢Y[hhkjZhkcQP6dfckY[bedf\m\mj ¦`QvZc-Y[X£cM4Q"hk\mY[bQl(Qbedag4hQYmcdf\m!dejGh Y[XG
Jg4QX4bQh2cM4Q,~`df\[g4Qhi^a4df\m\cM4Q~`daprY¨dalZ\[Qh =cM4pk^`g4_`MTcM4QY[Xcpk^;t4g4bKckY[^`X^aZhg4lZcpkQQhiY[XTcM4Q,t4QprYm~adfckY[^`XcpkQQ"AxY!^acM
l4pdaX4bM4QhdapkQTb^`PDv4gZcQt¤Y[X4t4QvQX4t4QXck\mj£daX4tcM4QTpkQhgZ\mc-_dfcM4Qpkh-cM4Q Y[XZ^`pkP6dfckY[^`X£^a2cM4QhQ c¥^ l4pdaX4bM4Qhe
LNM4Q"pkgZ\[Qh^`p
9 53 daX4t
[2 2
dapkQX4^ac hg4pkv4prY[hkY[X4_4 Qdahhg4PDQTcMJdfccM4QT~`daprY¨dalZ\[Q Y[X
9 H5
,´)-
Y[hNg4XZY[nGg4QY[Xd"X4^`pkP6df\mY[hQt)v4pk^`_`pdaP E4h^ ¤bedaXl(Q pkQPD^e~Qt=pk^`P cM4Q hQKcN^aiX4QbQhhdaprj~`daprY¨dalZ\[Qh&j;Y[QK\[t4Qt)lj
cM4QdaXJdf\mjZhkY[h^a ´) ½M4QX4bQ !s¡¤ "A
IX cM4QpkgZ\[Q=^`p
2 2
'Jpkhkc cM4Q"t4QprYm~`dfckY[^`X cpkQQb^`pkpkQhv(^`X4tZY[X4_c^ cM4QDv4pkQtZY[bedfcQ 6Y[h b^`PDv4gZcQt NYmcM
cM4Q)hQKcp¡ ±" G£EaH; ,¡¹ ¤t¤ ^a-~`daprY¨dalZ\[QhDc^ l(Qv4pkQhQpr~Qt '/0/ cM4Q=^`pkP6df\vJdapdaPDQKcQpkh! ^aU
l(^`g4X4t4Qt)c^6dapk_`g4PDQXchU¹-iMZY[bM dapkQ]X4^acY[X4t4Qv(QX4t4QXc=pk^`P3cM4QThQKc%;"A LNM4Q cQhkcNY[XcM4Q]pkgZ\[Q]=^`p
[2 2 Y[h
hkY[PYm\¨dap&c^"cM4QcQhkc!Y[XcM4Q
bedahQ` Q b^`gZ\[t)P6da¦`QPD^`pkQ]h^`v4MZY[hkckY[bedfcQt)bM4^aY[bQh&c^Dd~^aY[tY[X4bK\[g4tZY[X4_ df\m\(cM4Q
~`daprY¨dalZ\[Qh³¹=QQQk¹ºY[XcM4QThQKc^a/cM4QTX4QbQhhdaprj~adaprY¨dalZ\[Qh?
QSUT[Sfe`5S = ad7`R4`ud+Q\u acRZY TWhT'] T'RS Q\7SfeT(d+T']7`RS2abWd7Q SfeT h`RtY"s`Y"Ty
6
Q\ aRdSH`RbWTdf/E= F %() -, 9UQ= `REg
"3¸/E=i 6f9KQ= y
SfeTW\w ad+T `R[TWVSU\U` b QREgaCS2acQ"Rou`"d+Tkg[Q"R bW`"RouTJ`gtg Tkg[`"d aR SfejT bW`d+Ty