HAL Id: tel-00133652
https://tel.archives-ouvertes.fr/tel-00133652
Submitted on 27 Feb 2007
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.
Chaker Nakhli
To cite this version:
Chaker Nakhli. Approche fondée sur les modèles pour java temps-réel. Génie logiciel [cs.SE]. École normale supérieure de Cachan - ENS Cachan, 2005. Français. �tel-00133652�
"!#$
%'& % )( +*,! % -./ 01. 2$!3!+(
46587:98;1<>=87:;?A@B5
CDE<F9HGI;1JK5LNMOPRQSUTOPRMVXW
YZ\[^]_Z\`badcfe^g]"hickjA]BlKm^cnm^c
+. o
%p&
%
)(q +*r!
%
s./ 01. t$!3!+(
u#DEvw@BGx<F;_y
WzT{^|SCO6}pW~Q
JE;1=K;# @=HF:98;y
qwqq+#k633k¡ ¢¤£w¥3b¦1
§R¨ª©¬«®w¯ª°®±¬«®¬²F³®±B¬³«®´¶µ\³1B²Fµªw·w¸«®¬¯¹³1¬º"»ª°¼+¸>½¶½K¾"¿ª¬À>Áf²K³·Â¼µ¹°¼ÃĬ´¶ºn¯b´¶«¼±¿ª3Å
ÆÁfµª°¼B²K³Ç°®È»b´¶µª°¼É ÊÈi°®¬Ä¬³1¬µª°¿ªwˬÄ:¨ªB°¼Ä:¨ªÌ#ÍËÎ Ïp°®±¬«®È¿¹B²K³
Ïp¨ªÈi·È¯¹¯^_Ì·Áfµª«¼« Ïp°®´>ÐÑB«®«¼Bµª° ËÁf¯ª¯b´¶°¼³®Bµª°
Ò·ÓÁ>µª«ÔÁEÀ¶¬·µª²¹¿ ÊÈi°®¬Ä¬³1¬µª°¿ªwˬÄ:¨ªB°¼Ä:¨ª"ÍÕÎ\Õ$Õºn¬« ËÁf¯ª¯b´¶°¼³®Bµª°
ÖfBÁf²\×8ÏpÈiB°®°¼§NÁ>·¯ªÈi² Ïp°®´>ÐÑB«®«¼Bµª° ØNÙ¹ÁfºnÈi²Á>³®Bµª°
Õ²F³®´¶È²¹_ÏÚ¬³®Èi³ Ïp°®´>ÐÑB«®«¼Bµª° ÊÈi°®BÄÛ³1¬µª°¿ª_§R¨ª©B«¼
Öf´¶«¼B¯ª¨ÜÎ\ÈiÐÝÁ>ÞAÈi« ÊÈi°®¬Ä¬³1¬µª°¿ªwˬÄ:¨ªB°¼Ä:¨ªÌ#ÍËÎ Ì´>׿ªÈ°¼BĬ³®Bµª°¿ª_§R¨ª©¬«®
Vb@BߪDE5à@B=8DEGx58;á#QSWzCOâUãäCSæå¶çdèBé
qô
í;k=HGI;1<F9q58;1v_;151GI;15íDð98;1?K G@fGI9?ªDEJK5_v@:ìíDEGx5@1JF;1GxxxGF@B<F998DE< @BߪDE5à@B=8DEGx58;n;1=_?ªDEJK5
v@:ìíDEGx5';1<d@E¶587¶JK5à@B<î=pvw@=HF:98;! "í;#xJKG9à@BGI9Nïð587##@:ìíDEGx59HJ+v_;$:DE<F9à@158;15pJK<F;#?A@B5H=HGI;#K;=8;1v?F9 ë
;1<3?A@B5H=HG%1JKxGI;15#@BJ"&+v_DEv_;1<>=89DE?K?ªDE5H=HJK<F9 ë vw@Bxïð5879à;:9 <FDEvßK58;1JF98;:9#@1=HGxì>Gx=87:9'
í;wìíDEJF¶5à@BGI958;1v_;151GI;15I;:9v_;1vßK58;:9K;v_DE<nzJK5)(
ë
46KGxxGx?K?ª;+LÚ @BJF989;1=P# @BJF9M@dìí;1xJK<F*>JKG
DE<î=@:;1?K=87#,+1=H58;R5à@B?K?ªDE5H=8;1JK589 ë O<î=8DEGx<F;4^;1=HGx= ë V^@BJK58;1<î=#{K5HGxß¹DEJK5Hï;1=-í;d@B<¶ãÝ46GI;15H58;}^@Bx?KGx<.
í;=HGI;1<F9'71ïî@BI;1v_;1<î=/58;1v_;151GI;15
;15HïðGID10äDÛì>Gx<F;?¹DEJK5'98;:9;1<:DEJK5à@Bïí;1v_;1<î=89#;1=p?¹DEJK5I;:9pGx<K<FDEvã
ßK5à@BßKI;:9ä¶GI921JF989HGIDE<F991GI;1<>=HG34*îJF;:9Ú;1==8;8K<KG%*>JF;:95*>JF; <FDEJF9Ú@dìíDE<F9ä;1JF;:96 DE<+@BGIK;';1=9à@$:DE<î=H5HGxßKJK=HGIDE<
DE<î=71=87?K5871GI;1JF98;:9F@B<F97:;=H5à@:ìð@BGx8 9î;ìíDEJF¶5à@BGN@BJF9898GI;58;1v_;151GI;15:àA@BI;1JK58;1JF98;1v_;1<î=K;v@dìíDEGx5
98DEJK=8;1<>Jn9à@B<F9587:98;15Hìí;F@B<F9'I;:9v_DEv_;1<î=89#¶G;<1GxI;:96 4@BG^;1J3ߪ;d@BJ:DEJK?nK;?K @BGI9HGx5=I;>:DE<K<A@@?I=H58;;1=
=H5à@:ìð@BGxxI;15@dìí;RxJKG8
í;58;1v_;151GI;S@BvBA:GDCN;1<
@B @B?¹DEJK5=8DEJK=8;:9I;:9¶GI91JF9à9HGIDE<F9=H58:9#;1<K5HG%àKGI989à@B<î=8;:9 ë 921GI;1<î=HG34*>JF;:9
DEJ+<FDE<
ë
*>JF;'<FDEJF9 @:ìíDE<F9p;1JF;:9
ë
#@:ìíDEGx5 58;1xJ+v_DE<vw@B<>JF915HGx=p;1=ÚDE5Hïî@B<KGI987I;?ªDE=ÚK;vw@9àDEJK=8;1<A@B<:;!
í;98JKGI9';E&f=H5+1v_;1v_;1<>=F3A;15K;#I;7:DEv?K=8;15'?A@B5HvGXv_;:9@BvGI9'
<wïð5à@B<Fwv_;151GG
@B>ßKGHCp@BK58DEJK< ë P@IÑ9Ú} vw@B5 ë LÚKGxF;1ß+PDð9898;1<>=HGx<KG¹;1=NOvGx<F;uKG @?ªDEJK5I;1JK5
@BvGx=HGI7
ë
I;1JK598DEJK=HGI;1<Ü;1=#@dìíDEGx5=8DEJEHDEJK58971=87_?A@B=HGI;1<î=89:Ñ@:;3v_DE<Gx<F¶GI9H?ªDE<KGxßKGxxGx=87+;1=v_;:99à@BJK=89
#îJKv_;1JK56
{Gx<A@BI;1v_;1<î=
ë
H;58;1v_;151GI;_vw@"?ª;1=HGx=8;1Ñ@BvGxxI;3yªv_DE<?ª158;_CnDEA@Bvv_;:
ë
vw@9J#JK5VX;KI @k;1=Rvw@
v_158; DE<FK;:96 @B<F9ìíDEJF9
ë
ìíDE=H58;_@Bv_DEJK5R;1=ìíDE=H58;98DEJK=HGI;1<
ë
H;<F;9à;15à@BGI9?A@E9#LM715HGx58;B:;:9xGxïð<F;:96
C;151G¹?A@B?A@#@dìíDEGx5p=8DEJEDEJK589N15HJ;1<+v_DEG8 KCn;151GªVX;KI @?ªDEJK5Ú=à@=8;1<F¶58;:9898;#;1= =8;:9 ;1<:DEJK5à@Bïí;1v_;1<î=896
C;151GäC@Bvw@B<K;v@:ìíDEGx598DEJK=8;1<îJ:DE5H?F9;1=:OBv_;?ª;1<FF@B<î=P:;:9@B<K<F7:;:9 ë :;1=H=8;=HF:98;_;:9H=@BJF9à9HG @
=HGI;1<K<F;!
0
e¹ad]BZm[ðaÛgZ\e
ç! xç (f9H=81v_;:9=8;1v?F9ãÑ587:;1 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / >
ç! xç! xç u7E3F<KGx=HGIDE<
ë
ß¹;:98DEGx<F9;1=K7E3A9 / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / >
ç! xç! ê uGI98=HGx<1=HGIDE<F9;1<î=H58;IDEïðG%1GI;1^;1=pGxv?KI71v_;1<î=à@B=HGIDE< 7 / > > / > / > 7 / > / > / > )çdè
ç! xç!
ñ
}b;1v?F9ãÑ587:;19)(><àK58DE<F;;1=@E9)(f<8K58DE<F; > / > / 7 / > > / > / > 7 / > / > / > )çðç
ç! ê Q6=à@B=K;#8@B5H=B / > / > 7 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > )ç1é
ç! ê xç O?K?K58D 8F;:9FÓDE<FK7:;:9'98JK5pI;:9pv_D>K1I;:9 > > / > / 7 / > > / > / > 7 / > / > / > )ç1é
ç!
ê ê
O<A@B(¶98;R;1=pìí715HG34d@B=HGIDE<nK;:9IDEïðG%1GI;1I9 > > / > / 7 / > > / > / > 7 / > / > / > )ç
ó
ç! ê ñ Vb@B<Kïî@Bïí;:9;1='?K58D3FI9K;R?K58DEïð5à@Bvvw@B=HGIDE<n=8;1v?F9HãÑ587:;1 > / > / > 7 / > / > / > )ç
ç!
ñ
CÚJK=;1=@B?K?K58D àF;K;R @=HF:98; / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > )ç
ò
ç! ñ xç LNDE<î=8;E&¶=8; > 7 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > )ç ò
ç! ñ ê |߶;1=HG6;1=K71vw@B58F; / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > )ç
ç! é 46 @B<n¶J3KD 1JKv_;1<î= 7 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ê è
. e
Z¹[àcfeÛc`hc3m [
%
lFebj\lKjAclKl
ê
xç VX;R @B<Kïî@Bïí;7>@:ìð@ > 7 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / >
êðñ
ê ê O?K?K58D 8F;=8;1v?F9ãÑ587:;1bQ&¶?K58;:9898D > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > êðò
ê ê xç Vb@9H?ª71G34d@B=HGIDE<3=8;1v?F9ãÑ587:;1bS } / > > / > / 7 / > > / > / > 7 / > / > / > êðò
ê ê ê
4658D3FbS@dìí;1<F9d@B5ã î@dìE@ > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / >
ñ ç
ê ê ñ WÝv?KI71v_;1<>=à@B=HGIDE< "!$# %&%1 / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ñðê
ê ê é Q6ìE@BxJA@B=HGIDE< > 7 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / >
ñðñ
ê ñ S;:9H=H5HG%1=HGIDE<F9@B?K?¹DE5H=87:;:9@BJ @B<Kïî@Bïí; / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ñ é
ê ñ xç (><>=à@@&¶;@BßF98=H5à@BGx=8; / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ñ é
ê ñ xç! xç } (f?¹;:9@BßF9H=H5à@BGx=89'K;RßA@E98; / > > / > / 7 / > > / > / > 7 / > / > / > ñ é
ê ñ xç! ê Q&f?K58;:9à9HGIDE<F9 / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ñ å
ê ñ xç!
ñ
WÝ<F9H=H5HJ1=HGIDE<F9P / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / >
ñ å
ê ñ xç! é u71 @B5à@B=HGIDE<K;>1 @E9898;:9;1=p=HK58;d@EK9 / 7 / > > / > / > 7 / > / > / > ñ
ê ñ ê
S;:9H=H5HG%1=HGIDE<F9@BJk<KGxìí;d@BJkK;:9F1 @E9898;:9 / > > / > / 7 / > > / > / > 7 / > / > / >
ñðò
ê é uGI921JF989HGIDE< > / > / > 7 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > réðé
*
ZmfhÓgÛl¶aÛgiZ¹e mc 0
e:ad]E[ðaÛgZ¹em [
%
lFebj\lKjAc
ñ xç CnDfK1I;:9;1='DE?ª715à@B=HGIDE<F99HJK5pI;:9'v_D>K1I;:9 > / > > / > / 7 / > > / > / > 7 / > / > / > ré ó
ñ
xç! xç Vb@Bß¹;1I9 > / > 7 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ré
ó
ñ xç! ê
(f9H=81v_;RK;}X5à@B<F9HGx=HGIDE<F9 > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ré
ñ xç! ñ LNDE<î=8;E&¶=8;K;9)(f<8K58DE<KGI9à@B=HGIDE< 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ré
ñ xç! é CnDfK1I; / > 7 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > å¶ç
ñ ê
LNDE<F9H=H5HJ1=HGIDE<nK;Rv_DfK1I; / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > å ó
ñ ê xç Q6<îìfGx58DE<K<F;1v_;1<î=#9H=à@B=HG%*>JF; > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > å
ñ ê ê CnDfK1I;:9'9871vw@B<>=HG%*îJF;:9K;:9pGx<F9H=H5HJ1=HGIDE<F9/ > / > / 7 / > > / > / > 7 / > / > / > å ò
ñ ê ñ
46587:¶G%d@B=89#DEßF98;15Hìð@BßKGxxGx=87 > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / >
ó ç
ñ ê é S7:715HGx=HJK58;K;#v_DfK1I; / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > óðñ
ñ ê é xç S@B?K?ª;1I9'9HJK5pI;:9'9)(¶9H=81v_;:9'K;587:715HGx=HJK58; > > / > / > 7 / > / > / > óðñ
ñ ê é ê }X5à@B<F9 DE5Hvw@B=HGIDE<K;:9'v_D>K1I;:9p?A@B5587:715HGx=HJK58;7 / > / > 7 / > / > / > ó å
ñ ñ
OxïíDE5HGx=HKv_;:9;1=';E&¶;1v?KI; / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / >
ó
*
ZmfhÓgÛl¶aÛgiZ¹e mc !
YYhÓgíl¶aÛgZ\e lKl
cY îcfh
é xç CnDfK71xGI9à@B=HGIDE<kK;:9=HK58;d@EK9 / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > fç
é xç! xç (f9H=81v_;RK;=H5à@B<F9HGx=HGIDE<3=8;1v?ªDE5HGI987@:ìí;?K5HGIDE5HGx=87:9B / > > / > / > 7 / > / > / > ê
é xç!
ê
LNDE<F9H=H5HJ1=HGIDE<n¶Jv_DfK1I;#JK<3=HK58;d@E > / > / 7 / > > / > / > 7 / > / > / >
é xç! ê xç LNDE<F9H=H5HJ1=HGIDE<n¶Jk9(f9H=81v_;RK;#=H5à@B<F98Gx=HGIDE< > / > / > 7 / > / > / > ò
é xç! ê ê
(f9H=81v_;K;#=H5à@B<F9HGx=HGIDE<k=8;1v?ªDE5HGI987@E989àD 1GI7/JK<=HK58;d@E > / > / > ò è
é xç! ê ñ S71=H58DE?K58DE?A@Bïî@B=HGIDE<qK;:9'78F7d@B<:;:9 / 7 / > > / > / > 7 / > / > / > òðê
é xç!
ê é {FDE<1=HGIDE<kK;#?K5HGIDE5HGx=87@E989àD 1GI7:;R@BJ39)(¶9H=81v_;#K;#=H5à@B<F9HGx=HGIDE<=8;1v?ªDE5HGI987 ò é
é ê CnDfK71xGI9à@B=HGIDE<kK;R8@B?K?KxG%d@B=HGIDE< > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ò é
é ê xç LNDEv?¹Dð9HGx=HGIDE<nK;:9'9)(¶9H=81v_;:9p=8;1v?ªDE5HGI987:9@:ìí;?K5HGIDE5HGx=87:9 / > / > 7 / > / > / > òðó
é
ê ê
LNDE<F9H=H5HJ1=HGIDE<n¶Jv_DfK1I;K;R8@B?K?KxG%d@B=HGIDE< > / 7 / > > / > / > 7 / > / > / >
òðó
é ê ê xç LNDEvvJK<KG%d@B=HGIDE< / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ò
é ê ê ê Q&"1xJF98GIDE<3vJK=HJF;1xI; 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ò
é ê ê ñ CnDfK1I;K;#8@B?K?KxG%d@B=HGIDE< / > > / > / 7 / > > / > / > 7 / > / > / > ðè
é
ñ
Q&¶;1v?KI; > > / > / > 7 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ¶ç
é ñ xç 46587:98;1<î=à@B=HGIDE<K;R8@B?K?KxG%d@B=HGIDE< / > / > > / > / 7 / > > / > / > 7 / > / > / > ¶ç
é ñ ê LNDE<F9H=H5HJ1=HGIDE<n¶J3CD>K1I; > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ê
0
Y hlFe¹adl¶aÛgZ\e mc "
å" xç CnDE=HGxìð@B=HGIDE< > / > / > 7 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / >
å"
ê
46587:98;1<î=à@B=HGIDE<qK; #Ad 7 / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > çdèðè
å" é O5àKGx=8;1=HJK58;;1=FàFDEG&"=8;àK<FDEIDEïðG%*îJF;:9 / > / > > / > / 7 / > > / > / > 7 / > / > / > çdè ò
!
Y^Y hÓgíl¶aÛgZ\e
ó
xç (><>=HF:98;#DE58KDE<K<A@B<:;1JK5ã LÚA@@?I<F;#DEJK=HGxI9Q &f?K58;:989àD / > > / > / > 7 / > / > / > çðç
ñ
ó xç! xç Q&f=H5à@1=HGIDE<n¶J3v_D>K1I;;1=pGx<F9H=H5HJKv_;1<î=à@B=HGIDE<q¶Jk98DEJK5:; / > / > 7 / > / > / > çðç1é
ó xç! ê
(><>=HF:98;K;#8DE58KDE<K<A@B<:;1JK5 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > çðç1é
ó
xç!
ñ
Q&¶;1v?KI;:9#@B?K?KxG%d@B=HGIDE< > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > çðç
ó ê SDEߪDE='P SDÛìí;15K;# @TO O > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ç ê ç
ó ê xç u;:9215HGx?K=HGIDE<3ïí71<F715à@BI; / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ç ê ç
ó ê ê (f9H=81v_;#IDEïðG%1GI;1= > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ç ê ç
ó ê ñ O5àKGx=8;1=HJK58;K;R8;E&K71JK=HG / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ç êðê
ó ê é O<A@B(¶98;RK;RK;R8;E&K71JK=HG¶J3P SDÛìí;15: > / > / 7 / > > / > / > 7 / > / > / > ç êðñ
ó ñ (><>=HF:98;@BJK=8DEvw@B=HG%*>JF;:9K;:9p5871ïðGIDE<F9#@BxID d@B=HGIDE< > / 7 / > > / > / > 7 / > / > / > ç ê é
ó ñ xç Cn71=HFDfKDEIDEïðGI; / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ç ê
ó ñ ê WÝv?KI71v_;1<>=à@B=HGIDE< > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ç êðò
Z¹eîhÓ[ÛgZ\e
xç CÚGx @B< 7 / > > / > / > 7 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ç ñ ç
ê 4^;1589H?ª;1=HGxìí;:9 / > / > 7 / > / > / > > / 7 / > / > > / > / 7 / > > / > / > 7 / > / > / > ç ñðñ
g`hÓgZAj\]¬lKY
gc
!
Z\[^] îc mc
cY hc
! #"%$&'!$#")(*,+.-0/&$&1
243526352 87:9<;>=@?.=BAC;EDGFIHKJLAC=M;GJNH:?PO#79<J
VX;:9N?K58DEïð58:9 =8;àK<FDEIDEïðG%*îJF;:9';1<+Gx<"DE5Hvw@B=HG%*îJF;R@BJEHDEJK58#îJKGGDE<î=N*îJF;<FDE<98;1JKI;1v_;1<î=p @?KxJK?A@B5H=
K;:9DE߶;1=89*>JKGî<FDEJF9 ;1<î=8DEJK58;1<>=98DE<î= K;ä?KxJF9;1<?KxJF9^KDE=87:9 #RQÝGx<î=8;1xxGxïí;1<:;TS ë vw@BGI9ìíDEGI;1<î=6@BJF989HGfI;1JK589
DE<1=HGIDE<K<A@BxGx=87:9-:DE<F9H=à@Bvv_;1<>=@Bv_71xGIDE587:;:9;1=p9HJK5àA@B5Hïí7:;:9'?A@B5pK;#<FDEJKìí;d@BJ"&";1v?KIDEGI9;1=Fd@B?A@1Gx=87:96
VX;:9n;E&¶;1v?KI;:9<F;vw@B<*îJF;1<>=k?A@E9y I;:9k=871I71?KFDE<F;:93v_DEßKGxI;:9k;1<K58;1ïðGI98=H58;1<î=nK;:93Fxv_;:9ìfGIK7:D ë I;:9
vw@8KGx<F;:9Mq @dìí;15+98; :DE<K<F;1=8;1<>=+98JK5wWÝ<>=8;15H<F;1=;1=I;:9ìíDEGx=HJK58;:9w?K58DE?ªDð98;1<>=wI;v_;1GxxI;1JK5Gx=HGx<F715à@BGx58;
9HJKGxìf58;R=8DEJK=';1< :DE5H5HGxïí;d@B<>=@BJK=8DEvw@B=HG%*>JF;1v_;1<î=I;$58;1Gx<A@Bïí;;1=p @=H5à@¬;1=8DEGx58;!
LN;1=H=8;R@:ìð@B<:7:;=8;8K<FDEIDEïðG%*>JF;;:9H=NI;FÓ5HJKGx= K;8Gx<>=871ïð5à@B=HGIDE<3K;VU8XW ¶ %ZYX[K\% #TW^]_Y !_`ba:c %IDEïðG%1GI;1I9
;1=#vw@B=8715HGI;1I96 bLN;:9/:DEv?ªDð9à@B<î=89R98DE<>=98DEJKìí;1<î=R587d@1=HG 9 ë @Bv_;1<F7:9>Gx<î=8;15à@BïðGx5;1=/:DEvvJK<KG%*îJF;15@dìí;
#@BJK=H58;:9'9)(¶9H=81v_;:9 ;1= I;1JK589';1<îìfGx58DE<K<F;1v_;1<î=89' FV ;E&K71JK=HGIDE<k#JK<"=8;1.:DEv?¹Dð9à@B<>=';:9H= xGI7:;/ @"(f<A@¬ã
vG%*>JF;K;:99H=HGxvJKxG6@BJ"&"*>JF;1I9-:;K;15H<KGI;15KDEGx=587d@BïðGx5;1=;:9H=98DEJKìí;1<>= :DE<>=H5à@BGx<î=8;?A@B5K;:978F7d@B<:;:9
;1=K;:9;E&¶Gxïí;1<:;:9=8;1v?¹DE58;1xI;:9<F7:;:989à@BGx58;:9@BJ ß¹DE< ÓDE<1=HGIDE<K<F;1v_;1<>=_¶J 9(f9H=81v_;wvw@BGI9@BJF989HG k @
*>JA@BxGx=87K;98;15HìfG%:;! FW X96@BïðGx=@BIDE589K; %d %T\5eTW # %f\#bW "%¼ !gc #DXh @BGxxxGx5= :;:9-:DE<î=H5à@BGx<>=8;:9#KDE<K<F;RxGI;1J
JK<F;K71ïð5à@EF@B=HGIDE< Gxv?¹DE5H=à@B<>=8;qK;:9w?ª;15 ÓDE5Hvw@B<:;:9 ë ìíDEGx58;n @vGI98;n;1< ?ª715HGx¶J 9)(¶9H=81v_;k;1=+98DE<
;1<îìfGx58DE<K<F;1v_;1<î=6 ^VXDE589*>JF;878F; +JK<F;1:DE<î=H5à@BGx<>=8;_=8;1v?ªDE58;1xI;;:9H=/:DE<F9HGIK71587B:DEvv_;_K7EÑ@BGxx @B<:;
15HGx=HG%*>JF;¶J"9)(¶9H=81v_;?¹DE5H=à@B<>=p@B=H=8;1Gx<>=8;>9àDE<Gx<>=871ïð5HGx=87 ë I;9)(¶9H=81v_;;:9H=N¶Gx=\ #TW %® !gc #Xa !K fuR@B<F9NI;
d@E9#DXhq8;Tiª;1=##JK<F;=8;1xI;K7EÑ@BGxx @B<:;98;587:¶JKGx=/wJK<F;K71ïð5à@EF@B=HGIDE<K; @<*>JA@BxGx=87K;98;15HìfG%:;9à@B<F9
DE5:71v_;1<î=;1v?G+8F;15I;#ß¹DE<M DE<1=HGIDE<K<F;1v_;1<î=ïðIDEßA@B
ë
I;9(f9H=81v_;R;:98='¶Gx=f\ #TW %¼ !_c&#CW_Xa"
VX;K71ìí;1IDE?K?¹;1v_;1<>='K;:9ä9)(¶9H=81v_;:9ä=8;1v?F9ãÑ587:;1¹;:98=ä<FDE<9à;1JKI;1v_;1<î=NJK<;1<EH;1J7:DE<FDEvG%*>JF;Gxv?ªDE5ã
=à@B<î=
ë
vw@BGI9@BJF989HG6JK<KDEvw@BGx<F;K;58;8F;158F;w?A@B5H=HG%1JKxGI158;1v_;1<î=@1=HG bV 71 @Bß¹DE5à@B=HGIDE< K;:9R9)(¶9H=81v_;:9
=8;1v?F9ãÑ587:;1b9àDEJKI1ìí;K;:9K7E3A9pGxv?ªDE5H=à@B<î=89;1=@Bv_1<F;75871?ªDE<F¶58;7K;R<FDEvßK58;1J"&ß¹;:98DEGx<F9y
j
uGxvGx<>JF;15I;:9N:DXkK=89K;RK71ìí;1IDE?K?ª;1v_;1<î=;1=@E989HJK58;15pJK<=8;1v?F9#@::9@BJvw@B58F7LlvGx<KGxvw@B8
j @EF@B?K=8;15;1=p5871?¹DE<F¶58;:K;:9';1<îìfGx58DE<K<F;1v_;1<î=89#K;#?KxJF9';1<k?KxJF9p5à@B?KGIK;:9;1=-:DEv?KI;E&K;:96
j
LNDEvßKGx<F;15K;:9@1=HGxì>Gx=87:9#=8;1v?F9HãÑ587:;1¶JK5#;1=#v_DEJ. XLN;1G :DE<F¶JKGx=>:DE<:;1ìíDEGx5K;:9#?¹DExGx=HG%*>JF;:9
#DE58KDE<K<A@B<:;1v_;1<>=_?KxJF9B:DEv?KI;E&K;:9@@3F< K;+9à@B=HGI9 Ñ@BGx58;K;:9;E&¶Gxïí;1<:;:9?KxJF99HJKßK=HGxI;:9B*îJF;I;
58;:98?¹;1='9H=H5HG%1='K;:978F7d@B<:;:96 \4@B5;E&K;1v?KI;R8DE?K=HGxvGI9à@B=HGIDE<K;:9p=8;1v?F9'K;#5871?ªDE<F98;:9pïðIDEßA@BJ"&
;1=p @ *îJA@BxGx=87K;R9à;15Hì>G%:;!
j
LNDE<:;1ìíDEGx5nK;:99)(f98=81v_;:9 :DEv?KI;E&¶;:9F@B<F9I;1JK589 DE<1=HGIDE<K<A@BxGx=87:93vw@BGI93@BJF9à9HG/d@B?A@BßKI;:9kK;
9à;_v_;1=H=H58; HDEJK5 ë 98;:DE<"3FïðJK58;15 ë 98;5871?A@B58;15;1=9'@EF@B?K=8;15@BJK=8DEvw@B=HG%*>JF;1v_;1<î=DEJÜ@dìí;?ª;1J
#Gx<>=8;15Hìí;1<î=HGIDE< ë ;1==¶GI9H=à@B<:;!
j
|ßK=8;1<KGx5K;:9_9)(¶9H=81v_;:9P3\@BßKI;:93y@E989HJK58;15 @q9à71JK5HGx=87
ë
9_kK58;1=87
ë
¶GI9H?ªDE<KGxßKGxxGx=87 #b\BU äVb@<A@B=HJK58;
"(f<A@BvG%*>JF;';1=68F71=87158DEïí71<F71Gx=87K;:9ä9)(f98=81v_;:9658;1<FI;:96=8;àK<KG%*îJF;:9 1 @E989HG%*>JF;:9#71ìð@BxJA@B=HGIDE<K;
3\@BßKGxxGx=87DEßF98DEI1=8;:96
VX;NK71ìí;1IDE?K?¹;1JK5 K;:99)(f98=81v_;:9b=8;1v?F9ãÑ587:;1f<F;ä¶GI98?¹Dð98;ä?A@E9^#DEJK=HGxI9 ë K;äv_71=HFD>KDEIDEïðGI;:9 ;1==8;8K<KG%*>JF;:9
JK<KG3A7:;:9@@3F<_#@:DEv?A@Bïð<F;15=8DEJK=8;:9 I;:9 71=à@B?ª;:96K;NK71ìí;1IDE?K?ª;1v_;1<î=6 î<F;Nv_DfK71xGI9à@B=HGIDE< :DE5H58;1=8;pK;:9
9)(¶9H=81v_;:9#=8;1v?F9ãÑ587:;1?ª;15Hv_;1=H=H5à@BGx=8@B<A@B(¶98;PDE5Hv_;1xI;;1=R871=HJFK;_;1=R @M:DE<:;1?K=HGIDE< K;B:DE<î=H5EI;1JK589
@EK7*>JA@B=896
2435263 =5J ?.=5; ?.=5AC;GJ HK; ? .HBAC=:=BHH:?P=B7 HK; ? ? =5AC;
W ;E&fGI98=8;K;:9¶G}iª7158;1<:;:9>ÓDE<FF@Bv_;1<>=à@BI;:9;1<>=H58;_I;IDEïðG%1GI;1N;1=RI;_9)(¶9H=81v_;=8;1v?F9ãÑ587:;15*>JKG68Gxvã
?KI71v_;1<î=8;! VX;wIDEïðG%1GI;1N;:98=715HGx=F@B<F9K;:9 @B<Kïî@Bïí;:9=8;1 *>JF;wOpF@ðå
ë L ë
î@:ìð@kDXhI;_K71ìí;1IDE?K?ª;1JK5
Ñ@BGx=¶G}iª7158;1<>=8;:9ä98DE5H=8;:9#@BßF98=H5à@1=HGIDE<F9Ú9HJK56I;N:DEv?ªDE5H=8;1v_;1<î=NK;:9 :DEv?ªDð9à@B<î=89Ú;1=I;1JK5896Gx<î=8;15à@1=HGIDE<F9'
VX;IDEïðG%1GI;1N;:9H=JK<F;_K;:9215HGx?K=HGIDE< YXa,\[ #gYXa¶J 9(f9H=81v_;! b<F;vJKx=HGx=HJFK;K;_K71=à@BGxI998DE<î=DEvGI9 ë
:DEvv_;' @>:DE<1JK5H58;1<:;
ë
@#ïí;:98=HGIDE<K;:958;:9à98DEJK5:;:9
ë
8DE58KDE<K<A@B<:;1v_;1<>=
ë
I;pv_D>K;#;E&¶71JK=HGIDE<
ë
@BGx<F9HG
*>JF;I;:9>d@B5à@1=8715HGI9H=HG%*>JF;:9?K58DE?K58;:9P+ @"?K @B=8;®ã ÓDE5Hv_;wK;_K71?KIDEGI;1v_;1<î=6 VX;_K71ìí;1IDE?K?ª;1v_;1<î=¶JIDEïðGã
1GI;1 96@:DEv?A@Bïð<F;KDE<+#JK< :;15H=à@BGx<<FDEvßK58;+# (>?ªDE=HF:98;:9;1=#@BßF98=H5à@1=HGIDE<F9<F7:;:9à9à@BGx58;:9B @
vw@@?I=H5HGI98;"K; @ :DEv?KI;E&¶Gx=87"K;8;1<F9à;1vßKI;";1=P*>JKG :DE<î=H5HGxßKJF;1<î=k9HGxv?KxG3A;15 @nK;:915HGx?K=HGIDE<. 6uR@B<F9
:;98;1<F9 ë I;IDEïðG%1GI;1ä;:9H=#ïí71<F715à@BI;1v_;1<>=::DE<1J?ªDEJK5$+1=H58;=H58:9?¹;1JK71?ª;1<FF@B<î=K;8@B5àKGx=8;1=HJK58;wK;
@?K @B=8;®ãÓDE5Hv_;<1GxßKI;! ¹Vb;K71ìí;1IDE?K?¹;1JK5@E¶v_;1= ë K;?KxJF9 ë :;15H=à@BGx<F;:9R?K58DE?K5HGI71=87:97:DEvv_;8@B=8DEvG%1Gx=87 ë
@:DE<1JK5H58;1<:;
ë
JK<F;<:DEvvJK<KG%d@B=HGIDE<ÜGx<F9H=à@B<î=à@B<F7:;";1=8@BßF98;1<:;+K;_K71 @BGI96 ^VX;_IDEïðG%1GI;1 DE5Hv_;?A@B5
I;ßKG @BGI9K;:9581ïðI;:9K; @_9871vw@B<î=HG%*>JF;DE?ª715à@B=HGIDE<K<F;1xI;¶Jk @B<Kïî@Bïí;JK<F;vw@8KGx<F;@BßF9H=H5à@BGx=8;587d@1=HGxìí;
KDE<î=wI;:9w@1=HGIDE<F9w98DE<>=wK71I;1<8F7:;:9?A@B5I;:9_71ìí71<F;1v_;1<>=89;E&¶=8;15H<F;:96 C +1v_;9HGpI; :DfK;¶J IDEïðG%1GI;1
:DE<î=HGI;1<>=K;:9 587E 7158;1<:;:9@BJ=8;1v?F9-=H5à@:ìí;1589K;:9 ïî@B58K;®ãÓDEJF9DEJK;:9p=8;1v?F9'#;E&¶?KGx5à@B=HGIDE< ë I;=8;1v?F9
58;:9H=8;=8DE=à@BI;1v_;1<î=p;E&f=8;15H<F;$>:;1=H=8;vw@8KGx<F;! fVX;:9 71ìí1<F;1v_;1<î=89N=8;1v?ªDE58;1I9 98DE<î=Ú=H5à@BGx=87:9NK;v +1v_;=*>JF;
=8DEJK=@BJK=H58;71ìí1<F;1v_;1<>=;E&¶=8;15H<F;!
Vb@w¶G}iª7158;1<:;7DE<FF@Bv_;1<î=à@BI;;1<î=H58;I;IDEïðG%1GI;1;:9H=8Gxv?KI71v_;1<>=à@B=HGIDE<587:9HGIK;F@B<F9I;$Ñ@BGx==*>JF;I;
IDEïðG%1GI;1¶;:9H=XGxvvw@B=8715HGI;1¶;1=^KDE<äK71?ªDEJK5HìfJK;=8DEJK=8;:9^Gx<"DE5Hvw@B=HGIDE<F9^=8;1v?ªDE58;1xI;:96 ¬V Gxv?KI71v_;1<î=à@B=HGIDE< ë
*>JA@B<î=:";1xI; ë :DE5H58;:98?¹DE<F @BJ:DEv?¹DE5H=8;1v_;1<>=K715HGx=?A@B5I;IDEïðG%1GI;1Úvw@BGI9R=8DEJK5H<A@B<î=1"JK<F;ìfGx=8;:9898;
?K5871GI98;¶G%1=87:;?A@B5 @?K @B=8;®ã DE5Hv_;;1=;:9H=-:DEJK?KI7:;@:ìí;JK<n;1<>ì>Gx58DE<K<F;1v_;1<>=@(î@B<î=#JK<F;"(><A@BvG%*>JF;
?A@B5H=HG%1JKxGI158;! ¹u;?KxJF9 ë 8Gxv?KI71v_;1<î=à@B=HGIDE<q<F;R58;:98?¹;1=8;?A@E9 ÓDE5:71v_;1<>=I;:9@BßF9H=H5à@1=HGIDE<F9¶JnIDEïðG%1GI;18
:a c _adcY à]îcfh
@BGx<F9HG\I;'?A@B5à@BxI71xGI9Hv_; ë 8Gx<FK71=8;15HvGx<KGI9Hv_;Gx<KF7158;1<î=N>:;15H=à@BGx<F9 d@B%1JKI9äGx<FK71?ª;1<FF@B<î=89p;:98=ä71xGxvGx<F7 #Z\BU
W ä;:9H=;:9898;1<î=HGI;1NK;w¶GI9H?ªDð98;15#JK<F;v_71=HFDfKDEIDEïðGI;w5HGxïíDEJK58;1JF98; ë !;:9H=1¶Gx58;BDE<FK7:;w9HJK58JK=HGxxGã
9à@B=HGIDE< K;v_DfK1I;:9/DE5Hv_;1I9
ë
?ªDEJK57*>JF;I;?A@E989à@Bïí;_¶JIDEïðG%1GI;1 398DE<Gxv?KI71v_;1<î=à@B=HGIDE<Ü98;PÑ@E9898;;1<
58;:9H?ª;1=à@B<î=B:;15H=à@BGx<F;:91:DE<F¶Gx=HGIDE<F9Gxv?¹DE5H=à@B<>=8;:96 WÝ5@BJK=?K587:98;15Hìí;15I;:9?K58DE?K5HGI71=87:9ìí715HG3A7:;:9IDE589K;
@1:DE<:;1?K=HGIDE<DE<1=HGIDE<K<F;1xI;! Au1@BJK=H58;?A@B5H= ë GxG @BJK=p?K58;1<F¶58;;1<:DEv?K=8; @"(f<A@BvG%*îJF;K;R8Gxv?KI7®ã
v_;1<î=à@B=HGIDE<q?ªDEJK5 @w9HGxvJK @B=HGIDE<;1= @ìí715HG34d@B=HGIDE<K;::;1xI;®ã1G8 ¹V @B<A@B(¶98;#JK<9)(¶9H=81v_;=8;1v?F9ãÑ587:;1
<F7:;:989HGx=8;_8JK=HGxxGI9à@B=HGIDE< K;v_DfK1I;:9=8;1v?ªDE5HGI987:9 ë *>JKG6?KJKGI9898;1<î=K715HGx58;+ @DEGI9R8;Tiª;1=K;:9@1=HGIDE<F9
¶J IDEïðG%1GI;1 ;1= @3?K58DEïð58;:989HGIDE<ܶJ =8;1v?F96 L ;:9H=F@B<F9P:;1=H=8;+DE?K=HG%*îJF;*îJF;<:;_=H5à@:ìð@BGxN?K587:98;1<î=8;JK<F;
@B?K?K58D 8F;/ DE<FK7:;R9HJK5'I;:9'v_D>K1I;:9'F@B<F9I;/d@E¶58;>î@dìE@=8;1v?F9HãÑ587:;18
2435263
£H<Jd¦ .7H J#; .AC;GHH:? 4J&; .AC;#H
VX;:9?K5à@B=HG%*îJF;:9@1=HJF;1xI;:9?ªDEJK5p @B:DE<:;1?K=HGIDE<qK;:9'9)(¶9H=81v_;:9p=8;1v?F9ãÑ587:;196Gx<F915HGxìí;1<>=F@B<F9K;1J"&
?A@B5à@E¶Gxïðv_;:9ßKGI;1<3K7E3F<KGI9yF9)(f<8K58DE<F;;1=@E9)(><àK58DE<F;!
uR@B<F9I;?A@B5à@E¶Gxïðv_;9)(f<8K58DE<F;M#@B ò¶ë C C ¶ç ë M#@B ñÝë I;9)(¶9H=81v_;?K58DE?A@Bïí;I;:9;Tiª;1=89#K;:99H=HGã
vJKxG^K;R8;1<îìfGx58DE<K<F;1v_;1<î=>=H5à@:ìí;158998;:9'¶G}i7158;1<î=89=:DEv?¹Dð9à@B<>=8998JKGxìE@B<>='JK<3DE58¶58;K;>d@BJF9à@BxGx=87! AVX;
9)(¶9H=81v_;587d@BïðGx=:+8;1<>ì>Gx58DE<K<F;1v_;1<>=;1<;Ti;1=HJA@B<î=JK<?A@E9RïðIDEßA@BäK;Bd@B%1JKNDXh¶G}iª7158;1<>=897:DEv?ªDBã
9à@B<>=89?K58;1<K<F;1<î=Ú?A@B5H=6 íV yd ¶.\,e % # %dX[!U !HX[ #9H=HGx?KJKI;-*îJF;p @587d@1=HGIDE<+¶Jw9)(¶9H=81v_;p;:9H=Ú@E9à98;KAp5à@B?KGIK;
?ªDEJK55871?ªDE<F¶58; \ #bW "%N\ÑXa,\^98=HGxvJKxJF96K;N8;1<îìfGx58DE<K<F;1v_;1<î=6 >Q6<_#@BJK=H58;:9 =8;15Hv_;:9
ë
=8DEJK=6I;:9d@B%1JKI9
98DE<>=-3F<KGI9#@:ìð@B<î=$*îJ.JK<<FDEJKìí;d@BJADE=K;KDE<K<F7:;:9#@B5H5HGxìí;;1=;1<1I;1<àF;JK<k<FDEJKìí;d@BJq?A@E9K;:d@B%1JK8
Vb@587d@1=HGxìfGx=87;1=' @?K5871GI98GIDE<k¶Jk9)(¶9H=81v_;R98DE<>=KDE<RߪDE5H<F7:;:9p?A@B5' @¶JK587:;¶J3?A@E9'
VX;:9N?K58DEïð5à@Bvv_;:9'9(><àK58DE<F;:9p98DE<î=NGxv?KI71v_;1<î=87:9';1<+JK=HGxxGI9à@B<>=pJK<+DE58KDE<K<A@B<:;1v_;1<>=9HGxv?KI;58;:9ã
?ª;1=à@B<î='8DE58¶58;RK;/d@BJF9à@BxGx=87R;1<>=H58;RI;:9N:DEv?ªDð9à@B<î=896 ¹LN;1G?¹;15Hv_;1='K;:9 Gxv?K @B<>=à@B=HGIDE<F9;E;<d@:;:9F*>JKG
<F;<F7:;:989HGx=8;1<î=#?A@E9K;9(f9H=81v_;:9#;E&¶?KIDEGx=à@B=HGIDE<. ¹4;1<FF@B<î=RJK<?A@E9K;:d@B%1JKë 8A@*>JF;=2O8F;58; :DEGx=
JK< Ó5à@Bïðv_;1<î=wK;"=8;1v?F9_K;Md@B%1JK8 V5Gxv?KI71v_;1<î=à@B=HGIDE< 587:9HJKx=8;"=(f?KG%*îJF;1v_;1<>=;1< JK<F;98;1JKI;"=2OàF;
:DE<F9H=HGx=HJF7:;#JK<F;ß¹DEJ1I;RI;1=HJK58;¬=H5à@BGx=8;1v_;1<>=B715HGx=HJK58;!
VX;N?A@B5à@E¶Gxïðv_;'9(><àK58DE<F;N;:98=6@EKDE?K=87 ?A@B56¶G}i7158;1<î=896 @B<Kïî@Bïí;:9 ë ¶Gx=89 @B<Kïî@Bïí;:969(><àK58DE<F;:9 ë @(î@B<>=
@*>JKGI9JK< @B5Hïí;9HJ::9#;1<nGx<F¶JF98=H5HGI;,C'LNQ6è ñ :DEvv_;I; @B<Kïî@Bïí;Gxv?ª715à@B=HGÚQ9H=8;158;1,C'â ê DEJ
I;:9R @B<Kïî@Bïí;:9K;ADE=K;KDE<K<F7:;:9VJF98=H58;M#LNS4 ¶ç ;1= Gxïð<A@BV^âRVXV¶ç W I998DE<>=RJK=HGxxGI987:9 ë ;1<>=H58;
@BJK=H58;:9 ë ?ªDEJK5pI;:9@B?K?KxG%d@B=HGIDE<F9vJKx=HGxv_7:¶G @ ë K;R=H5à@BGx=8;1v_;1<î=K;9HGxïð<A@BX;1=K;/:DE<>=H5EI;@BJK=8DEvw@B=HG%*>JF;!
uR@B<F9I;?A@B5à@E¶Gxïðv_;@E9(><àK58DE<F; ë GxA<.(?A@E9ÚK;'?A@E9ïðIDEßA@B¹#;E&¶71JK=HGIDE<. fMDE5HvGI9I;:9 :DE<î=H5à@BGx<î=8;:9
Gxv?ªDð987:;:9?A@B58Gx<>=8;15à@1=HGIDE< 71ìí;1<î=HJF;1xI;3K;:91:DEv?ªDð9à@B<î=89 ë :;:9K;15H<KGI;158998DE<>=Gx<FK71?¹;1<FF@B<>=896 äL ;:9H=
@?ªDExGx=HG%*îJF;3#DE58KDE<K<A@B<:;1v_;1<>= *îJKG'K71=8;15HvGx<F;
ë :;15H=à@BGx<F9w71=à@B=89_¶J 9(f9H=81v_;
ë
I; :DEv?ªDð9à@B<>=
;E&K71JK=8;156 VX;1:DEv?¹Dð9à@B<>=R71xJq9'@d@B?A@B58;_@BIDE589RK;:958;:9à98DEJK5:;:9RK;1d@B%1JK\JF9*>J.:;:*>J.Gx696@B5H5+1=8;
DEJq?¹;158K; @vw@BGx< ë 98;1IDE<qI;:9$15HGx=8158;:9#DE58KDE<K<A@B<:;1v_;1<î=6 ^V DE58KDE<K<A@B<:;1JK558;1v?KxGx=RJK<F;:DE<1=HGIDE<
:;1<î=H5à@BI;F@B<F9JK<Ü9)(¶9H=81v_;+@E9(><àK58DE<F;! DE<5EI;";:9H=K;w58;:98=H58;1Gx<F¶58;"8@::9@BJ"&58;:9898DEJK5:;:9
ë
;1<
;1<Kïî@Bïí;d@B<î=K;:9@1=HGIDE<F9¶J 9)(¶9H=81v_; ë F@B<F9I;_ßKJK=K;9à@B=HGI9 Ñ@BGx58;_I;:9P:DE<î=H5à@BGx<>=8;:9PÓDE<1=HGIDE<K<F;1xI;:9;1=
Vb@?KxJK?A@B5H=ÚK;:96 @B<Kïî@Bïí;:9ïí71<F715à@BxGI9H=8;:95:DEvv_;L ë OpF@ ðå#;1= î@dìE@#98DE<>=Ú@E9)(f<8K58DE<F;:96 îVb@<FDE=HGIDE<
K;7:DE<1JK5H58;1<:;<.;:9H=?A@E9=8DEJEHDEJK589#@B?K?A@B58;1<î=8;@BJk<KGxìí;d@BJq¶Jk @B<Kïî@Bïí;! ª4DEJK5;E&¶?K5HGxv_;15I;?A@B5à@BxI7®ã
xGI9Hv_;';1=6 @9)(><àK58DE<KGI9à@B=HGIDE< ë Gx@BJK=98DEJKìí;1<>=Ú98; ßA@E9à;15ä9HJK5K;:9xGxßK5à@BGx5HGI;:9Ú¶Jw9)(¶9H=81v_;p#;E&¶?KIDEGx=à@B=HGIDE<
:DEvv_; [ ! #_Y % M#@B5& DEJ N !$#_Y % WÝ<F9&ðå ¶u1@BJK=H58;:9 @B<Kïî@Bïí;:9F:DEvv_; ë OpF@;1=
î@dìE@ ë ?ª;15Hv_;1=H=8;1<î=R#;E&f?K5HGxv_;15# @:DE<1JK5H58;1<:;_@BJn<KGxìí;d@BJ¶J?K58DEïð5à@Bvv_;;1=DLiª58;1<î=JK<F;1:;15H=à@BGx<F;
Gx<FK71?ª;1<FF@B<:;K;R @?K @B=8;®ã DE5Hv_;#;E&K71JK=HGIDE<.
u#;1J"&@B?K?K58D àF;:9bvw@¬H;1JK58;:9b@BߪDE58K;1<î=b8DE58KDE<K<A@B<:;1v_;1<>=6K;:9X9)(¶9H=81v_;:9ª=8;1v?F9ãÑ587:;1f@E9(><àK58DE<F;:96
Vb@ ?K58;1vGI158;N@B?K?K58D àF;ä;:9H= @p=HF7:DE5HGI;ä#DE58KDE<K<A@B<:;1v_;1<î= =8;1v?F9ãÑ587:;18 ¬Q6xI;6?K58DE?ªDð98;K;:9b@BxïíDE5HGx=HKv_;:9
ßA@E987:9#9HJK5#K;:9#v_D>K1I;:9R@B<A@B(f=HG%*îJF;:9R98Gxv?KI;:9 *>JKG ?K58DE?¹Dð9à;1<î=RK;:9$15HGx=8158;:9R9HJ";w9à@B<î=89#?ªDEJK5#8DE58KDE<¶ã
<A@B<d@BßKGxxGx=87! AV^@K;1J"&fGI1v_;@B?K?K58D àF;;:9H=p8@B?K?K58D 8F;¶Gx5HGxïí7:;R?A@B5'I;:9pv_DfK1I;:96
Vb@_=HF7:DE5HGI;#DE58KDE<K<A@B<:;1v_;1<>=R=8;1v?F9ãÑ587:;1 :DE<F98GI9H=8;:_ìí715HG3A;15JK<F;7:DE<F¶Gx=HGIDE<q9HJ";w9à@B<>=8;@B?K?ª;®ã
I7:; U!\5e!$# ! îX[[!YX[ U&#TW #T[K\#98DEJF9# @*>JF;1xI;8DE58KDE<K<A@B<:;1v_;1<î=;:9H=R¶Gx=bY %ZYy]# ë
!;:9H=7+¶Gx58;I;:9
;E&¶Gxïí;1<:;:9#=8;1v?¹DE58;1xI;:99àDE<î=9à@B=HGI9 Ñ@BGx=8;:96 LN;:9#v_71=HFD>K;:9RDE<>=71=87_@B?K?KxG%*îJF7:;:9@dìí;9HJ::9@BJK71ìí;®ã
IDE?K?ª;1v_;1<î=K;:99)(¶9H=81v_;:9p=8;1v?F9ãÑ587:;1;1=-:;15H=à@BGx<F;:9K;7:;:9'?ªDExGx=HG%*îJF;:998DE<î=@BJEHDEJK58#îJKG 9HJK?K?ªDE5H=87:;:9
9HJK5JK<nïð5à@B<Fn<FDEvßK58;K;9)(f98=81v_;:9#;E&¶?KIDEGx=à@B=HGIDE<=8;1v?F9ãÑ587:;18 \<F;9)(><>=HF:98;;1=ìfJF;#;1<F98;1vßKI;
98DE<>=?K587:98;1<>=87:;:9;1< PRS4 ñKë O C u ðå ë CNJK=& u#@B<F9I;d@E¶58;K;:;:9v_71=HFD>K;:9 ë I;:9P15HGx=8158;:9
#DE58KDE<K<A@B<:;1v_;1<î=;E&¶Gxïí;1<î=#K;:9 :DE<F¶Gx=HGIDE<F998=H5HG%1=8;:99HJK5I;:9?K58DE?K5HGI71=87:9=8;1v?ªDE58;1xI;:9K;:9=2O8F;:9#;1=
I;1JK589ÚGx<î=8;15à@1=HGIDE<F9 ë 98DEJF9äI;:9*îJF;1xI;:9N96@B?K?KxG%*>JF; @/@BGI9¼@BßKGxxGx=87K;'8DE58KDE<K<A@B<:;1v_;1<>=6 \LN;:9 :DE<F¶Gx=HGIDE<F9
:DE<:;15H<F;1<î=wI;:9?ª715HGIDfK;:9 ë =8;1v?F9#;E&K71JK=HGIDE< ë 78F7d@B<:;:9 ë =à@BJ"&Ü#JK=HGxxGI9à@B=HGIDE< ¶J ?K58D :;:989à;1JK5 #Z\BU
VX;:9?ªDExGx=HG%*îJF;:9SCnO ô
Y \ #qX[\ \ÑX[ U [ Yd %%¬õ VXV ñKë
Pâ ¶ç ;1=Qäu{
ô
IY ! # %T\ #_Y [ #
! %T\8õ VXV
ñAë
S
ò
9àDE<î=K;:9';E&K;1v?KI;:9'K;>:;1=H=8;@B?K?K58D àF;#@B<A@B(¶98;!
Vb@w=HF7:DE5HGI;#DE58KDE<K<A@B<:;1v_;1<î=R=8;1v?F9ãÑ587:;1ß¹71<F7E341GI;K;7:;15H=à@BGx<F9R@dìE@B<>=à@Bïí;:96 ªQ6<n;Ti;1= ë I;:9=15HGã
=8158;:9#DE58KDE<K<A@B<:;1v_;1<î=89w58;1?¹Dð9à;1<î=9HJK5K;:9:ÓDE5HvJKI;:9_@B<A@B(>=HG%*>JF;:99HGxv?KI;:9
ë @1GxI;:9 kv_;1=H=H58;;1<
Df;1JKì>58;+;1= 3ìí715HG3A;156 uR@B<F9 @kvw@¬HDE5HGx=87"K;:91d@E9 ë 8DE58KDE<K<A@B<:;1JK5;:9H=ßA@E9à79HJK5K;:9115HGx=8158;:99H=à@¬ã
=HG%*>JF;:9Ú;1=Ú?¹;1J+K71?¹;1<FF@B<>=89NK;871=à@B=N¶J+9)(¶9H=81v_;! îW \;:9H=Ú?A@B5 :DE<F987*>JF;1<î= 9HGxv?KI;$RGxv?K @B<>=8;15 ;1=N98DE<
;E&K71JK=HGIDE<3<.Gx<î=H58Df¶JKGx=?A@E9K;RK71 @BGI9-:DE<F9HGIK715à@BßKI;:9 8;E&¶71JK=HGIDE<n¶Jk9)(¶9H=81v_;!
LN;1?ª;1<FF@B<î= ë :;:9Xv_71=HFDfK;:9b;1=^@BxïíDE5HGx=HKv_;:9^#DE58KDE<K<A@B<:;1v_;1<î= 58;:9H=8;1<î=9ÓDE5H=8;1v_;1<>=bxGxvGx=87:9^;1=X58;:9ã
=H5HG%1=HG96 í|JK=H58; I;5Ñ@BGx=*îJF; :;:9 v_71=HFDfK;:9 <F;N9àDE<î=@B?K?KxG%d@BßKI;:9 *>JF;Ú?ªDEJK5 JK<F; 9H=H5HJ1=HJK58;p9H?ª71G34*îJF; K;
8@B?K?KxG%d@B=HGIDE< ë ;1xI;:998DE<>=98=H5HG%1=8;1v_;1<î=587:¶JKGx=8;:9 _ïî@B5à@B<î=HGx5I;:9-:DE<î=H5à@BGx<>=8;:9#=8;1v?¹DE58;1xI;:9##7àF7d@B<:;
?ªDEJK58A@*>JF;n=2O8F;! Q6xI;:9<F;k?ª;15Hv_;1=H=8;1<î="?A@E9+#;E&f?K5HGxv_;15"#@BJK=H58;:9+=(f?¹;:9+K; :DE<>=H5à@BGx<î=8;:96 p4 @B5
;E&K;1v?KI; ë @w?KxJK?A@B5H=K;1:;:9#v_71=HFDfK;:9#<F;?K58;1<K<F;1<î=R?A@E9R;1< :DEv?K=8;I;:9#v_7d@B<KGI9Hv_;:9K;1:DEvvJ¶ã
<KG%d@B=HGIDE<;1<>=H58;I;:9=2OàF;:9DEJI;?A@B5H=à@Bïí;K;58;:9898DEJK5:;:96 bVb@"ïí;:9H=HGIDE< K;:958;:9898DEJK5:;:9?A@B5H=à@Bïí7:;:9 ë 9HG
I;+?A@B5H=à@Bïí;K;:958;:9898DEJK5:;:9;:9H=@BJK=8DE5HGI987
ë
98;<@BGx=?A@B5K;:9?¹DExGx=HG%*>JF;:99HGxv?KI;:9B:DEvv_;4Wz4 ô !Óð
!\d[ # ! \BYX[!U # ! \Ñ U8Óõ SVðè DEJ34ÚLN4 ô ! ! \dk #[ !.\ÑRU8õS VXS ðå KW ª<.;:9H=p?A@E9
?ªDð989HGxßKI;#@:ìíDEGx53K;:9+?¹DExGx=HG%*>JF;:9"?KxJF9M:DEv?KI;E&¶;:9DEJ@EF@B?K=87:; 8A@*>JF;= (f?¹;qK;n58;:9898DEJK5:;:9;1<
DE<1=HGIDE<K;:9Rߪ;:98DEGx<F9K;_8@B?K?KxG%d@B=HGIDE<. ^O d@BJF98;_¶J vw@B<*îJF;_#;E&¶?K58;:989HGxìfGx=87_K;:;:9Rv_71=HFD>K;:9
ë
Gx
<.;:9H=Ú?A@E9ä?ªDð989HGxßKI;'#;E&¶?K5HGxv_;15 K;:9 :DE<>=H5à@BGx<î=8;:9 Gx<î=HGxv_;1v_;1<>=pxGI7:;:9 @R<A@B=HJK58;;1= :DEv?ªDE5H=8;1v_;1<î='K;
ô
:a c _adcY à]îcfh
Gxv?ªDE5H=à@B<î=8;:9>d@B5R;1xI;:9#?ª;15Hv_;1=H=8;1<î=#DE?K=HGxvGI98;15;1=BDEJqïî@B5à@B<>=HGx5K;:9?K58DE?K5HGI71=87:99HJKßF9H=à@B<>=HGI;1xI;:9K;:9
9)(¶9H=81v_;:9';1vßA@B5*îJF7:9 ë :DEvv_; @1:DE<F98DEvvw@B=HGIDE<#71<F;15HïðGI;DEJ8;:9H?A@:;Rv_71v_DEGx58;JK=HGxxGI987!
V @B?K?K58D 8F;¶Gx5HGxïí7:;?A@B5'I;:9'v_DfK1I;:9;:98='JK<F;@B?K?K58D 8F;@Bx=8;15H<A@B=HGxìí;:*>JKG^@?ªDEJK5ßKJK=K;?A@BxxGI;15
I;:96K7E341GI;1<:;:9äK;:9 v_71=HFDfK;:9#DE58KDE<K<A@B<:;1v_;1<>=Ú=8;1v?F9ãÑ587:;11 @E9à9HG%*îJF;:9' BV5@B<A@B(f98;#DE58KDE<K<A@B<:;®ã
v_;1<î= ¶J9)(f98=81v_;;:9H=bßA@E9à7ä9HJK5^JK<v_DfK1I;ä=8;1v?ªDE5HGI987 *îJKGîK715HGx=I; :DEv?¹DE5H=8;1v_;1<>=
ë
I;:9^Gx<î=8;15à@1=HGIDE<F9
ë
:DE<î=H5à@BGx<>=8;:9R=8;1v?ªDE58;1xI;:9 #b\BU ªK;8@B?K?KxG%d@B=HGIDE<. V5@B?K?K58D àF;B:DE<F9HGI9H=8;1ky¹98DEGx= Lc ! #! ! îX[[!YX[A
Yy] \5c Xa %Td %b\5eTW # ë 71=à@B<>=NKDE<K<F7JK<F;'?ªDExGx=HG%*îJF;#DE58KDE<K<A@B<:;1v_;1<î=p?A@B5H=HG%1JKxGI158;f98DEGx= %TdX[K\,cb\% # !
a [ ! í [[!YX[!U #Ta!
ë
;1< 98;ßA@E9à@B<>=9HJK5v_D>K1I;
ë
*îJKGìí715HG3A;w?A@B57:DE<F9H=H5HJ1=HGIDE< I;:97:DE<>=H5à@BGx<î=8;:9#DE5ã
KDE<K<A@B<:;1v_;1<î=#;E&¶Gxïí7:;:96
Vb@Rìí715HG34d@B=HGIDE<¶J_v_DfK1I;'¶Jw9)(¶9H=81v_;'@E989àD 1GI7F#JK<F; ?ªDExGx=HG%*>JF;'#DE58KDE<K<A@B<:;1v_;1<î= 58;1?K587:98;1<>=8;
K;:9Ú@dìE@B<>=à@Bïí;:9NGx<î=87158;:989à@B<>=896 fVX;'v_DfK1I;¶Jw9(f9H=81v_;DE58KDE<K<A@B<:7K715HGx= R @ DEGI9I;=:DEv?¹DE5H=8;1v_;1<>=
DE<1=HGIDE<K<F;1 ;1=<FDE<¶ã DE<1=HGIDE<K<F;1'¶J 9(f9H=81v_;+;1=?¹;15Hv_;1=_@BGx<F9HG K;+v_;1<F;158@B<A@B(¶98;:DE<EDEGx<>=8;K;:9
K;1J"&Ü= (f?¹;:9_K;"?K58DE?K5HGI71=87:9' VX;3K71=8;15HvGx<KGI9Hv_;3Gx<î=H58Df¶JKGx=w?A@B5I;:9 àFDEG& K;" @?ªDExGx=HG%*>JF;3#DE58KDE<¶ã
<A@B<:;1v_;1<î=587:¶JKGx=8;:98?A@:;_#71=à@B=¶Jv_DfK1I;_Gx<KGx=HG @BN¶J 9)(¶9H=81v_;?ª;15Hv_;1=H=à@B<î=@BGx<F9HGäK; :DE<>=8;1<KGx5
8;E&¶?KIDð9HGIDE<:DEvßKGx<A@B=8DEGx58;! äLN;1 @?ª;15Hv_;1=@BJF989HGN#71ì>Gx=8;15I;:9>Ñ@BJ"& :DE<î=H58;®ãÝ;E&K;1v?KI;:9B*îJKGÚ71vw@B<F;15à@BGx=
K;R @ìí715HG34d@B=HGIDE<¶J3v_D>K1I;xGxßK58;RK;R8@B?K?KxG%d@B=HGIDE<n9à@B<F9'?K58;1<F¶58;;1<:DEv?K=8;8DE58KDE<K<A@B<:;1v_;1<>=6
Vb@ 9)(f<î=HF:9à;n#DE58KDE<K<A@B<:;1JK5 C}bKS ó¶ë PRVb4 ò¶ë Oâ èðè ë Oâ è êKë O{ C èBé :DE<F9HGI9H=8;
;E&¶=H5à@BGx58; ë "?A@B5H=HGx5¶J v_DfK1I;wK;w8@B?K?KxG%d@B=HGIDE< ë JK<DE58KDE<K<A@B<:;1JK5B*îJKGÚ5871?¹DE<F @BJ"&;E&fGxïí;1<:;:9;1=
:DE<î=H5à@BGx<>=8;:9Gxv?¹Dð987:;:9@BJk9)(¶9H=81v_;! \LN;1=H=8;K71vw@B58F;<F;>:DE<F9HGIK158;?A@E9K;R?ªDExGx=HG%*îJF;:9#DE58KDE<K<A@B<¶ã
:;1v_;1<î=ä?A@B5H=HG%1JKxGI158;:9
ë
;1xI;N?K58D>¶JKGx=6JK<_DE58KDE<K<A@B<:;1JK5Ú9H?¹71G34*>JF;! ðVb@$:DE<F9H=H5HJ1=HGIDE<_#DE58KDE<K<A@B<:;1JK5
?A@B5H=HGx5 ¶J"v_DfK1I;#K;8@B?K?KxG%d@B=HGIDE< :DE<F98=HGx=HJF;I; d@E¶58;I;?KxJF9ÚxGxßK58;#;1= I;?KxJF9N;E&¶?K58;:989HG^?¹DEJK5pDE5ã
KDE<K<A@B<:;158@B?K?KxG%d@B=HGIDE<. ªLN;1=H=8;Rv_71=HFDfK;98DEJ,iª58;Rvw@BxF;1JK58;1JF98;1v_;1<î=#K;#8;E&¶?KIDð9HGIDE< :DEvßKGx<A@B=8DEGx58;
¶JF; 871<îJKv_715à@B=HGIDE< ;E&fA@BJF9H=HGxìí;wK;8;:98?A@:;#71=à@B=6 XC@Bxïð587B:;?K58DEßKI1v_; ë @"9(><>=HF:98;#DE58KDE<¶ã
<A@B<:;1JK5@w?KJ +1=H58;v_;1<F7:;9HJK5#K;:9R;E&K;1v?KI;:9RK;=à@BGxxI;Gx<F¶JF9H=H5HGI;1xI;T-0è¶ç ë âáRè ñ ªVX;:9RDEJK=HGxI9RK;
ìí715HG34d@B=HGIDE< :DEvv_; Cná C :C
ñÝë
P#58DE<FDð90äDdì
;1=?K?A@ð@B ,CNVbV ðå
DLi¹58;1<>=JK< 9HJK?K?ªDE5H=
Gx<F¶GI9H?ª;1<F9à@BßKI;;1=';E;<d@:;?¹DEJK5p @9(><>=HF:98;!
V @B?K?K58D 8F;¶Gx5HGxïí7:;?A@B5I;:9v_D>K1I;:9=DE5Hv_;JK< d@E¶58;JK<KG3A7?ªDEJK5#@BߪDE58K;158@B<A@B(f98;K;:9?K58DBã
?K5HGI71=87:9DE<1=HGIDE<K<F;1xI;;1=+<FDE<¶ãDE<1=HGIDE<K<F;1xI;K;:9"9)(f98=81v_;:96 äQ6xI;qDLiª58;kI;nv_D6(í;1<#;E&¶?K5HGxv_;15K;:9
:DE<î=H5à@BGx<>=8;:9'?KxJF9p5HG%àF;:9N*îJF;I;R9H=H5HG%1= 58;:9H?ª;1=pK;:9p78F7d@B<:;:9=8;1v?F9ãÑ587:;1ë @BJ"&"*>JF;1xI;:9p98DE<>=p587:¶JKGx=8;:9
I;:9=HF7:DE5HGI;:9B1 @E989HG%*>JF;:9#DE58KDE<K<A@B<:;1v_;1<î=6 äuR@B<F9B:;1=H=8;@B?K?K58D 8F; ë @kv_D>K71xGI9à@B=HGIDE< ¶J 9)(¶9H=81v_;
HDEJF;
ë
?A@B5#K7E3F<KGx=HGIDE<
ë
JK<n5EI;::;1<>=H5à@B8 ªWÝb;:98=;:9898;1<>=HGI;1K;P:DE<F9H=H5HJKGx58;K;:9v_DfK1I;:9-3AK1I;:9;1= :DEF7®ã
58;1<î=89' L ;:9H=F@B<F91:;1=H=8;¶Gx58;1=HGIDE< *>JF;_I;?K587:98;1<î==H5à@dìE@BGx 98;?K @:;;1< ?K58DE?¹Dð9¼@B<î=JK<d@E¶58; ë JK<F;