HAL Id: inria-00074357
https://hal.inria.fr/inria-00074357
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.
Inevitable Global States: a Concept to Detect Unstable Properties of Distributed Computations in an Observer
Independent Way
Eddy Fromentin, Michel Raynal
To cite this version:
Eddy Fromentin, Michel Raynal. Inevitable Global States: a Concept to Detect Unstable Properties of Distributed Computations in an Observer Independent Way. [Research Report] RR-2317, INRIA.
1994. �inria-00074357�
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
!" # %$& ! ('*)"+), ,
-.$/ ,),0 12 34"05 ,
6879:),)91"+1; #<=>
Eddy Fromentin and Michel Raynal
N˚ 2317
Aout 1994
PROGRAMME 1
!" # %$& ! ('*)"+), ,
-.$/ ,),0 12 34"05 ,
6879:),)91"+1; #<=>
! "$#&%'$ (#)
*&+-,.+/$01032547698+:-;<>=?2):@=?AB+?2)CDE/$+/FGFIH2@FJ2)CLKEME/CN2)CPO25O,QBQSR2!2)C!K+BR2)CN2)/$AT
2!=CNUVCW=)H2!032)CSO(<XCW=?+W<>MBASR2)C
*&+?,(YZ2!=S8[OD
\P/]DBDE,+?=[O2[+?2):-;B2!+:-;B2^Q'_`aB4$b6c8,AB='4edd$fg6 4)hgDE/$.(2)C
ikjml!n)oepEq$nrtsu(v?wyx!wzxL{}|~-Gw(zBv?IGw( e$v?())}w3x3]GIG(IvI e)Wx!x!wk}' )Zx!w$
v?I} )w1 )wvSuzxLI 'xLwImv?G@SZ $v?u}W )gWx!I} ew[Zx!}X|x)})v?w )v?I|3@skvxLIv
}w$Iv?v?Iv}wkIu}PzxLzv-P}wyx!wv?}w3IIux
v?I} )wk&uv-wkIuvgI ezv?|k}SX )[{>x!v3x!
xev?wv?Wx!{&v$>?xLIv' ewyx){} ezx!{"IWx!v' !uv'W e'Wx!G ewEExLwz' eIvIvW¡ V?xL{G{}|k&uv-wkIuv
)v?I|}PwZx!({Gv1¢Xv) )wWv'IvgIuvx!I W>x!Iv@kv$>?x!vGw )Pezx!Wx!w$Iv-vk 3Iv?x!}w
IvS )Iv-)v?W£?
¤
)} )wIzux![x!(IIWx)W} )w{}v?)v?{&&}uyIv-IvWI kx3(Iv$>?xLIv¢X(Iv?@¥g{}v?)v?{>£x!wzv@x!¦
vWv]v?wzWvv?v-v?w{} ?xL{ZxLIv?Px!vP II}wI $zNvBS§&uv?wkx!wx!IZxeWI} ew?x!{}{}vk¨ª©z«?¬@¨}I®)¯-°G«
±
°G²e¯Z®L°³ZI®@I«´G$vW zw(vBPx!wxwvWv?ZxLI|µx!wz$¶5W}v?w$3W )w$}I} )w ·$v-IvW1IzuIZxLIv?1G
!$J]vBs}Iuku}x!IWx)WG ew·x1Iv@W}Iv'vxLw}w}P)})v-wyI 1IuvgIv?$} )(
v?I} )w¸¢X}w$¹
$v-zv?w$v?w$I{}|3 Lºx!w$|'x!I>W{>x!zv?WWv?} )w )wv-x!w3uzx@evS !uv$}II}vW )gZxLI} )w£?»
$v-IvW} )wxL{Ge )Gu¼X )&u}
v?I} )w}m zwzx!{}{}|[v?Iv?w$vB
½g¾$¿BÀIÁPÂÃ)Ä"Å!Æ
$}II}vW )gZxLI} )wW )w}IIv-wSe{G ezx!{BZxLIv)B?xLZxL{G}|$W )wWIv?wzW|$Gw]¹
v?$}ZxL{}vS){} )zxL{zZxLIv)wZxL{}v(I )v?|( )v?I)xLI} )wE$ eIv-I)v-¹Gw$v?v?wz$v?w$S )v?I|$
ÇÉÈÊ
ËWÌWÍ)Î
Ê
Ë&Ï&ÐJÌZÑÒ)Ó
ÔÖÕØ×ÙÚØÛÜÝ)ÞSß)àÙ!áWÞWÞWâ!ÚØÛ)ã@×PÙ-äÜÝ)Þå@æ}çèÉééEéê!ë!ìSß$Ù×ÚØíeìîÙ@Û3ïBð?àIðNÕñÕØÞÕºð-Û)â3ò"ÚØ×ÜàÚØóeí)ÜÞWâkïBàÙ!áWÞW××ÚØÛ)ãeô
õWö
Ë?Ñ?÷}Ð>ø!ùNúØËEû@úØü!ùIø@ú!ÌWÐ>ø!Ð>ËWÌ$ÏzøýBü ö$þ
ËÒzÐÐ>üÿ&Ë?Ð>Ë
þ
Ð
ö
ÌZÐ>ø!ùWúØËüÒËIЪ÷GËNÌüÖÿº÷¡ÌZÐ I÷}ù?Í)ЪËSýBü!Î"ÒzÍeÐ>ø!Ð>÷}ü
ö
Ì÷
ö ø ö
ùWÌZËIÑ?Ë õWö
!ËÒË
ö
!ø
ö
Ðø
ôòmðWÕñÕGð-×WômáWÜÙó$ÞWà
è"èê!Ô ð-ìSß)íe× â)Þ"!EÞ?ð-í!ÕñÚØÞWíô$#&%'()é+*,*méEê áWÞWâ)Þ.-)0/1"Ô2*,é ôÞ43XìPðNÚñÕ6587äJàÙ@ìSÞWÛ!ÜÚ>ô
àIðWë!Û$ðWÕ69:ÖÚØàÚØ×Zð;ä>à
'& &
*
"+, *
-&
(
&
(.
*
"" /(
&
0(1.
23¾]Å541673¾Æ
8
)$v{É¥ñxLwzx!{}|$Iv)]5v?IS e ].9v?ev?IgGwx!)vPB¥w )eZx!g'v&:9v?zx!I}{Bv?IS}' )Zx!w$
$v[ )() )}:9v? )wz]Iv;xgw(v}w$Iv?I ex!} )wk$|$v&=<mv-IIv[v?>@9v@WI} ewkZx!}ÉxLG¹Év-{G{}vPv?{}{}v !¹
9v?:9v"@z:<mvSZxLz eI& ) )vPwvSxBAW ew5$vS:9v-z ewz$Iv ;xWv?Iv
v-II} ew
zxLwzg{>xP )9v?:9vSv?w
v?I} )w )I[({9v-vW e''[v&(w3:9v@$>?x!ISwC9v?Wx!e{} )zxL{E$v{¥vD>E9vW(I} )wE(v?I}wIWx!{}v[¢Év)
w(vPI eIF9v?:9vP}wIWx!{}vzv?(&Xe}I})v?gv?w$$Gv?IvP$ZxL}v{} eI$vS{¥vD>@9vWG ewz£?
H
eWv?{>x(w e}w$I ]]}I )w($v?w( )I} ew&Iv?{}{}v?
(vPw})vxL5B¥ñxLIZx)NI} )w3v-w5v?xLZ3 ¥(w
v$>?xL7$ ewwE9v¢w})vxL $vg{¥(I}{}GWx!v?Z£ v?:9vI9v$v?wzNvÉx!}{}vPv-wIv9v?ZxLI{G ?xLJ>E
¤
eK9v?Wx@¹
{}}I )wSv?w(I}Ivw39v?xLw}I'vPB¥ñxLIZx)NI} )w
vw )PxLzv-{G{} ewL«N ® ±
°}²)¯W®!°"¨>©L«?¬@¨}I®)¯-°G«x!}wI
E¥wv&W ewz$}I} )ww@9vWv?ZxLGv&v?"I$¶'Wx!w$Ivmv?w$vº]v{>x.9v?IvNI} )w[$vmIv?{}9v?ZxLI@NM&wvmI}ew¡ V?x!} )w
:9vW}IvO;x{Jx
(v?IG ew:9vI9v$v?w$Ivv?x!{} )$ )wwE9v?v)$}wz.9v?v?wz]v?'gv?w$º$vS )v eIv-I)x!} )w5]
?xL{>W{E:9v?zxLIIIM&w3x!{}) eI}Iu('v&vW¶5?xeWvP )&{>x.9v?vWI} ew$vPWv?I eIF9v?:9v?v?$ ewwE9v)
PÂIQ Å-À=RTSU3¾Æ
-x!{>W{":9v-zx!I9v?Wx!ISe{G ezx!V> W eu@9v?Iv-w"?x!(Zx!{}}:9vezW ewzWIv?wzNv)9v?ZxLIS){} ezx!J>
}wE9v?$}ZxL{}v?(I eIF9v?:9v?}wZxL{}v?$ eIv?)x!G ew
( * %"E.
* +?,DE2!+-=W<>2)C3,! [O(<ªCN=?+W<>MBAB=?2)O :@,(03DBAB=/$=W<>,QEC1:!/$QµME2k2@TBDB+?2)C?CW2)O¼/C#"@DE/$=?;EC$y=-;B2@<J+:@,Qz=-+?,$F
%
,!&CS;E/'2=?,( ,$F}F>,!&'KB,+P/CS.(2!QB2!+/eFDB+?2)O(<X:!/$=?2)CCW,032[,) =?;B2@<>+.]FJ,(ME/eFºCW=/]=?2)C;E/'(2=?,*'2+
+W< UKe<>Q5,(+O2!+, ,+=-;B2DB+?,D2!+?=WU[=?,ME2C-/$=W<XC.-E2)O/!02S/O+?2)C?CW2)O´=?;B21-E+CW=/]DBDB+?,z/:-;[<>Q#2ØdKz4ea!3IK
/$QEO/$+-2';B2!+?2g<>Qz=-2!+?2)CW=?2)O<>Q=?;B2CW2):@,QEO,QB2/4ZO2)/FGF>U/O(<ªCN=?+W<>MBAB=?2)O:@,01DBAB=/$=W<>,Q657^C-/!+
=W<XC.-E2)C/DB+?,(DE2!+?=WU98µ< &<J=DE/C?CN2)CS=?;B+?,AB.(;y/.$F>,ME/eFºCN=/$=?2[C?/$=W<XC. U(<JQB.=?;B2[DB+?2)O(<X:!/$=-25/C?CN,+
:-<X/$=?2)O9&S<>=?;:8;/=<Q> É,(+?=?ABQE/$=?2@F>UKBM2):!/$AECW2,! &=?;B2[ABQE:@2!+?=/<JQ=WUy:?;E/]+/:@=?2!+W<@?@<>QB.kO(<ªCN=?+W<>MBAB=?2)O
:@,01DBAB=/$=W<>,QEC!KBAZOAB2gDB+W<>QE:-<JDE/FGF>U=-,=?;B2/CWUQE:?;B+-,QzUk,) :-;E/$QBQB2@FXCDCK&S25/]+?2<>QE:!/$DE/$MF>23,!
O2!=?2!+-0<>Q<JQB.k=-;B2[.$F>,ME/eFºCW=@/$=?2)C=?;B+?,AB.(;#&P;<X:?;=?;B25:@,01DBAB=/$=W<>,Qy/:@=-AE/eF}FJUkDE/(C?CW2)O/
4 3=?;B2DB+?,D2!+?=WUE&S2F&P/$Q==?, O2!=-2):@=k<XCyCW=@/$MF>2GAI,QE:@2=?+?AB2<>Q /.$F>,ME/eF5CW=/]=?2=?;B2
/C-CW,V:-<X/$=-2)OkDB+?2)O(<X:!/$=?2[+-2!0/e<>QECP=-+?AB2<>Qy/eF}F, ÉAB=-AB+?2[.$F>,ME/eFºCN=/$=?2)CDCm=?;B2[DB+?2'(<>,AECP+-2!0/$+IH<XC
QB,=&/O+/&PME/:H/J ;B2K;E/$QEOU>+ML/$01DE,+?=NØCCNQE/$DECW;B,=&/eF>.,+W<>=?;B0O2Øa3B:!/$Q'M2 CNABDE2!+W<>03D,zCW2)O
,Qg=?;B2ABQEO2!+NFJU(<>QB.':@,03DBAB=/]=W<>,Q'=?,:@,03DBAB=?2.$F>,ME/eFVCW=@/$=?2)C"ABQ=W<}Fz=?;B2DB+?2)O(<X:!/$=?2<XC,'2!+N<P-E2)O
MU5/.$F>,ME/F CW=@/$=?2/4 =-;B2DB+-,DE2!+?=WU´<ªCmABQECN=/$MF>2K=?;B2SDB+?,(MFJ2!0 ME2):@,012)Cm03,+?2P:@,03DF}<X:!/$=?2)O
/C/5CNQE/$DECW;B,=/FJ.(,+W<>=?;B0 :!/$QBQB,(=M2'AECW2)O"K ME2):!/$AECW2´<>=:!/$QyO2@F}<@'2!+7/1CW2QAB2!QE:@2g,! .$F>,ME/F
CW=@/$=?2)C=?;E/]=3;E/CR"@./$DECI$:@,+?+?2)CNDE,QEO(<>QB.µ2@TE/:@=WF>Uµ=?,=?;B,zCW2.$F>,ME/eF7CN=/$=?2)C´<>QS&P;<X:?;¼=?;B2
ABQECW=@/$MF>2DB+?,(DE2!+?=WU ;B,]FªOBC/TK,z,(DE2!+·/]QEOVU/$+?!AFGF>, /O+?2)C?CW2)O =?;<XCDB+?,MF>2!0 <>QW2ñf3'/$QEO
DB+?,!'(<XO2)O'=X&S,P032)/]Q<JQB.Cm=?,P=?;B2SCW2!Qz=-2!QE:@2Y"Z,z2)C/:@,03DBAB=@/$=W<>,Q 7¼C?/$=W<XC. U[DB+?,D2!+?=WU[8]\^$_/5
JS;B2!U:@,QEC<XO2!+?2)O=-;B2CW2!=&,! /FGFB.$F>,ME/eFECW=/]=?2)C,&;<ª:-;3:@,AFXOgME2S.2!QB2!+/$=-2)O'MU'/O(<ªCN=?+W<>MBAB=?2)O
:@,01DBAB=/$=W<>,Qk/$QEO=?;B2[CW2!=S,! /eF}FDE,zC?CZ<JMF>2CW2QAB2!Q=W<X/eF2@TB2):@AB=W<>,QECS=?;E/$=P:!/$QME2'/(C?CW,B:-<ª/]=?2)O
&S<>=?;=?;<XCS:@,03DBAB=/]=W<>,Q,/JS;B2)CN22@TB2):@AB=W<>,QECa`zAECWAE/eF}F>U:!/eF}F>2)O,MECW2!+'/$=W<>,QECb`1CN=?+?AE:@=?AB+?2=?;B2
CW2!=,! /eF}FP.$F>,ME/eFPCW=/$=-2)C'/Cg/FX/$=?=W<X:@2/m8 O(<XCW=?+N<JMBAB=-2)Oµ:@,03DBAB=/$=N<J,(Q
5
7 C-/$=W<XC.-E2)C(ced(fg8
AZO2!QB,(=?2)Oh57WijVcedkfE8C@K&< /$QEO ,QF>U¼< 3=?;B2FX/$=?=W<X:@2;E/(Cy/.$F>,ME/eF5CN=/$=?2]lm'2!+W< U<>QB.
8K1&P;B2!+?2)/(Cnpo(qr8 <XCC?/]=W<XC.-E2)O¼MzUs57tAZO2!QB,(=?2)Ou57WijSnpo(q68C'< 5/$QEO ,QF>U< 52)/:-;
,MECN2!+I'/$=N<J,(QyDE/C?CN2)CS=?;B+?,AB.(;y/.$F>,ME/eFºCN=/$=?2T'2!+W< U<>QB.98wv!/
JS;B2K,,D2!+I+MU/$+I?!AF}F>,=NØC[/$DBDB+?,/:?;k.]<x'(2)CP=X&S,:-F>2)/$+[/$QECX&S2!+C=?,3=?;B2´<JQ<>=W<X/eFwQ(AB2)CW=W<>,Q
<>Qk=?;B2':!/CN2,! mABQECW=/$MF>2[DB+?,D2!+?=W<>2)C/8P=S=?;B2,DE2!+@/$=W<>,QBQE/eF"F>2'2@FIKO2!=-2):@=W<>,Qk,! yced(fg8 ,(+
nzo(qr8 +?2Q(A<>+?2)C{-E+CW=P=?,1MBA<GFXO=-;B2[FX/$=?=W<X:@2g,! º.]FJ,(ME/eF CN=/$=?2)CS/$QEO=?;B2!Qy=?,1=?+/'2!+CW2<>==?,
F>,,H( ,+&,QB2P.$F>,ME/F CW=/]=?2TA<>Q3=?;B2:!/CN2P,! yced(f1C,+,QB2.$F>,ME/eF CN=/$=?2SDE2!+,MECW2!+I'$/$=W<>,Q#A <JQ
=?;B23:!/CN2',! |npo(q}CPC?/$=W<XC. U(<JQB.98;/B8[C!K <>Q·=-;B2[&S,+CW=:!/CW2KB=?;B23C<@?!2,! &=?;B2[FX/$=-=W<X:@2 :!/]QyME2
2@TBDE,QB2!Q=W<X/eF"<>Q=-;B2PQzAB0M2!+,) DB+-,V:@2)C?CN2)C2>4K4)h3IK=-;<ªC/$DBDB+?,z/(:?;:!/]Q3ME2):@,012ABQ> 2)/C<>MF>2/
JS;<XCDE/$DE2!+[DB+?2)CN2!Qz=C[/]QB,=?;B2!+T& /eUk=?,k/$QECX&S2!+=?;B2QAB2)CN=W<>,Q,~"Z,z2)C[/:@,03DBAB=/]=W<>,Q
5
7 C?/$=W<XC.-E2)C}8\^$BK&P;<X:-; O,2)CQB,=7CNA> 2!+ +?,0 =?;B2DB+?2'(<>,AECF}<>0<>=/$=W<>,QEC/,J ;B2'032)/$Q<>QB.
,! S=?;B2pQ(AB2)CW=W<>,Q<XC´ME/CW2)O,Q/QB2&t/$QEOC<>03DF>2 /$MECN=?+/:@=W<>,QK"=-2!+?032)O] P>I
/, S/CZ<ª:!/FGF>U/.$F>,ME/eFCW=/]=?2[<XC<>QB2'(<>=/$MF>23< <J=<XCgCW;E/$+?2)OMUy/eF}F=?;B2,MECW2!+I'$/$=W<>,QEC,!
I
×ÜIð?Ûeâ)×"ä>Ù@àïÙ@××ÚØó!ÕØë
ä>Ù@àòÞ.$Û!ÚØÜÞÕØë
=?;B2':@,(03DBAB=/$=W<>,QKV</2/< <>=<ªC ,MECW2!+I'$/$=W<>,Q +<>QEO2!DE2!QEO2!QB=/"8 O(<XCW=?+W<>MBAB=?2)O:@,03DBAB=/]=W<>,Q 75
C?/]=W<XC.-E2)C=?;B2PDB+?,D2!+?=WU} É,+-05AFX/$=-2)OMzUce7ed}c8EAZO2!QB,(=?2)Og57 ijVce7ed}cO8C&< º/]QEO,QF>U
< =?;B2!+?2[2@T<XCW=C/$Q<>QB2'<>=/]MFJ2.$F>,ME/FºCW=/$=-2(l '(2!+W< ÉU(<>QB.R8;/
JS;B2[DE/$DE2!+S;E/C=?;B+-2!2[0/e<>Q2):@=W<>,QEC/2):@=W<>,Q`'DB+-2)CW2!Qz=@C=-;B27O(<XCW=?+N<JMBAB=-2)Oy:@,03DBAB=@/!+
=W<>,Q03,BO2@FIKEQB,(=W<>,QECCNAE:?;/CSAECN2!+NØC FJ2'(2@FK&S2)/!HkDB+-2):@2)O2!QE:@25M2!=X&2!2!QF>,B:!/eF CN=/$=?2)C!K/$QEO
=?;B2 Fª/]=?=W<X:@2 /(C?CW,B:-<ª/]=?2)O&S<>=?;2)/(:?;O(<XCW=-+W<>MBAB=?2)O2@TB2):@AB=W<>,Q,/2):@=W<>,QaO2D-EQB2)C´<JQB2'(<>=/$MF>2
.$F>,ME/FºCW=/$=-2)C/]QEOyCW=/]=?2)CS/QB2):@2)C?C?/$+-U /$QEOCWA :-<>2!Q=7:@,QEO(<>=W<>,Q É,(+/.$F>,ME/eFCW=@/$=?2[=?,ME2
<>QB2'(<J=@/$MF>2/2):@=N<J,(QfkDB+?2)CW2!Q=C/03,Q<>=?,+I+ME/(CW2)O/eF>.,+W<>=?;B0 =?,kO2!=?2):@='CWAE:-;CW=@/$=?2)C/$QEO
=?,3/$QEC&2!+S=?;B2eQ(AB2)CW=W<>,Q " 75 ijVce7ed}cO8R\$ / JS;B2':@,QE:-F>AEC<>,QFG<XCW=@CS,=?;B2!+SDB+?,MF>2!0C =?;E/$=
:!/$QME2CW,$F@'2)OMUAEC<>QB.=?;B2[<>QB2'(<>=/$MF>2.$F>,ME/eFºCW=@/$=?2[/$MECW=?+/(:@=W<>,Q,/
JS;<XC&,(+IHP<XCmDE/$+-=,! E,AB+&:@AB+?+?2!Q=2D,+-="<>Q O2)CZ<J.(Q<JQB./$QEO<>03DF>2!032!Q=W<>QB.5/O2!MBAB..$<>QB.
I/:-<}F}<J=WU É,+PO(<XCW=?+N<JMBAB=-2)OyDB+-,.+/$0C;2¡`zKÖ4)`3M/
(.
*
&
. O * !
(#"
(
.%
$!%'& (*),+.-/),012-35476/8:9:/;=<>+
8 O(<XCW=?+W<>MBAB=?2)O DB+?,.+/]0 <XC0/O2k,) @? CW2Q(AB2!Q=W<X/eFDB+?,B:@2)C?CW2)Cc
vBACA.A
cEDF&P;<X:-; :@,030A +
Q<X:!/$=?2k/$QEOCWUQE:?;B+?,(Q<x?!2MU·=-;B2,QF>U032)/$QEC´,! P032)C?C?/].23DE/C?CZ<JQB./2AE:-;DB+?,(.+/$0C[/]+?2
2@TB2):@AB=?2)O1MzU/$QABQEO2!+WF>U<>QB.CWUBCW=?2!0^:@,(03DE,zCN2)OzAM&S<>=?;B,AB=mF>,zC-Cm,! .2!QB2!+@/eF}<J=WUC,! :?3DB+-,V:@2)CX+
CW,(+C AI,(QB2PDE2!+SDB+?,B:@2)C?CDCm=?;E/$=;E/'2F>,B:!/eF032!03,+W<>2)C/$QEO:!/]Q32@T :-;E/$QB.2032)C?C-/$.2)Cm=?;B+?,(AB.;
+?2@F}<X/$MF>2K&QB,QQB2):@2)C?C?/]+W<}FJUGF4HFJI :?;E/]QBQB2@FªC/JÖ+/$QECN0<XC?C<>,QµO2@Fª/eUBC/$+?2(-EQ<>=?2MBAB='ABQBDB+?2+
O(<X:@=/$MF>2/
$!%K$ LM;N+O),P*3RQ!3S:-+T;NS4VUW;N<768E/O-RXY+Z'3RQ!3Z
[ºTV2):@AB=W<>,Q ,! /µO(<XCW=?+N<JMBAB=-2)O DB+?,(.+/$0 DB+?,BOAE:@2)Cy/µCW2!=T\ ,! !Y]2'2!Qz=@C:@,01DE,zCW2)O
,! :@,0105ABQ<X:!/$=N<J,(Q2'2!Q=CkAZCW2!QEO/$QEO¸+?2):@2@<@'2!C'/$QEO<>Q=?2!+?QE/eFS2'2!Q=C/yJ ;B2)CW232'2!Q=C'/]+?2
CW=-+?AE:@=?AB+?2)OMUpL/$01DE,+?=NØC_^`` = pbaXS+?2@FX/$=W<>,QKEO2!QB,(=?2)Odc
e
/]QEOkCW,032!=W<>032)CS:!/eF}F>2)O
]Df^g`=Xh]Dh 5]DT2>4!f3M/
L"2!=@ijkCivkCi k
ACA.A
M2=?;B25CW2Q(AB2!QE:@23,! &ME/C<X:g2'2!Q=CDB+?,VOAE:@2)O MzUkDB+?,B:@2)C?Cec
k
/"\S2@FX/$=W<>,Q
c
e
<ªCO2D-EQB2)OkMU~
l 2mF
×ÜIð-Û)â)×Öä>ÙàmïBàÙ@ßÞWàÕØë
n
ìSÞ?ð?ÛLÚØÛ)ãSÚØÛ'ðßeàÙß$ÞWàÙ@àÙ@ó)×ÞWàboð-ÜÚØÙÛ;3>ÚØÛ)âeÞ?ß$ÞWÛ)â$ÞWÛ!ÜìPð?ÛeÛ)ÞWà,p4
ik c
e
i
jk/$QEO 4Tj
i kg<XCP=?;B2'CN2!QEO(<JQB.k,) /g032)C?C-/$.2
/$QEOTik <>=CS+?2):@2!DB=N<J,(Q
iCWAE:-;y=?;E/$=i k c
e
i? i>c
e i
8îO(<XCW=?+W<>MBAB=?2)O:@,03DBAB=/$=N<J,(Q :!/$QME2[+-2!DB+?2)CW2!Q=?2)OMzU/'DE/]+?=W<X/eF}F>U,+@O2!+?2)OkCW2!=TAIDE,CW2!=C
5
\ j AH\c
e
CI/JS;<XCDE,zCW2!=[O2D-EQB2)C=?;B2:@,03DBAB=/$=N<J,(Q·/$=CN,0325/]MECW=?+/:@=N<J,(QFJ2'(2@F! &S2:!/eF}F
<>=",_` D #/5FÖ<>.AB+?2k43O(<XCWDFX/eUVC[/O(<XCW=?+W<>MBAB=?2)O:@,03DBAB=/]=W<>,Q·/$=eL/$01DE,+?=NØCSF>2'2@FM~
5
\ j AH\c
e
CI/IPQDB+?,B:@2)C?CÖF}<JQB2)CLK! +?,0 FJ2D ==-,+W<>.;=)Ke2'2!Q=C&/$+?2SO2!QB,=?2)OMU':-<>+:-F>2)CA.&P;<>=?2
,+MFX/:H=C/ 8Q/$+?+-, &g +?,0 ,(QB2'DB+?,B:@2)C?C FG<>QB23=-,/$QB,=?;B2!++?2!DB+?2)CW2!Q=C/3032)C-C?/$.2$ B2!QEOBC,!
=?;B2/$+?+?,!&µ/$+?2PCW2!QEO(<>QB.3/$QEOg+?2):@2@<@'<>QB.2'2!Q=C /032)C?C-/$.2P:@+?2)/$=?2)C&:!/]AEC?/eFO2!DE2!QEO2!QE:@2)C ,Q
2'2!Q=CM2@FJ,(QB.$<>QB.y=?,yCW2'(2!+/eF&DB+?,V:@2)C-CW2)C/4I=<XC<>03D,+?=/$Q==?,QB,(=?2=?;E/$==?;<XC[/$MECW=?+/(:@=W<>,Q
F>2'2@Fm<>QE:-FJAEO2)C[/FGF:@,030ABQ<X:!/$=W<>,Qk2'(2!Qz=C/
c&% c cl c!' c&( c&) c&* c,+ c&. c!-
c%l c
l c ll c'l c (l c )l c*l c +l c.l c-l c %
l c
l cl l c '
l c (
l
c&%
' c ' cl'
c!'
'
c&(
'
c&)
'
c!*
'
c/+
'
c!.
'
c!-
' c%
' c
'
0
0 l
0 '
FÖ<J.(AB+?234~B8 O(<XCW=?+W<>MBAB=?2)O2@TB2):@AB=W<>,Q·/$=TL/$03D,+?=NØC F>2'2@F
$!%21 33Z,3RQ:;NSE- 3 Q!35SE-+T;NS4V6/354),PR;-3548:/1+O35/RX+76 Z'3RQ!3Z
8[:!:@,+O(<>QB.y=-,=?;B2DB+?,(MFJ2!0 ;B2(&P/$Q=C=?, CN,$F@'2zAIQE/$032@F>U·O2!=-2):@=W<>,Q,! CW,(032'.$F>,ME/FDB+?2+
O(<X:!/$=?2,QµDB+-,V:@2)C?CN2)CF>,B:!/eF '$/$+W<X/$MF>2)CDC,QF>U /CNABMECW2!=3,! 'ME/CZ<ª:2'2!Q=CzAZ:!/eF}F>2)O X=
2>48!3C[/$+?2032)/$Q<>QB.! AFP=?,=?;B2AECN2!+pA=?;B2)CW22'2!Qz=@C5/]+?2=-;B2ABD"OB/$=?2)C,! T'/$+W<X/$MF>2)C
AECW2)O1<>Qk=?;B2DB+?2)O(<X:!/$=?2$ =?;B2)CN2;'$/$+W<X/$MF>2)C/]+?2:!/eF}F>2)OX yPCD/L"2!=7 M2[=?;B27CN2!=
,! &+?2@F>2'/]Qz=2'2!Q=C/ JS;B2[DE,CW2!=57j AX7 c
e C O2D-EQB2)C=?;B2':@,01DBAB=/$=W<>,Qy/$=CW,032[/$MECW=?+@/:D+
=W<>,QF>2'2@F/ &S25:!/eF}F&<>= `=X Y]D ,+ fC9#(P: /$==-;<ªC[/]MECW=?+/:@=N<J,(QkF>2'2@F&,QF>Uy+?2@F>2'/]Qz=
'$/$+W<X/$MF>2)C3:!/$QME2,MECW2!+I'(2)O/,=?23=?;E/]=)KOAB2=?,y=-+/$QEC<>=W<@'(<J=WU,) c
e
,QME/(C<X:32'2!Q=C!K 75
<>QB;B2!+W<>=CS:!/$AEC?/FEDB+?2):@2)O2!QE:@2P<>QEOAE:@2)OMU5:@,0105ABQ<X:!/$=N<J,(Q2'2!Q=C!Ke2'2!Q< :@,030ABQ<X:!/$=W<>,Q
2'2!Q=CP/]+?2[QB,=P+?2@F>2'$/$Qz=/
''
' l'
%' l
%l ll
l '
%
l
'
FÖ<J.(AB+?2'` ~=L",B:!/eFºCN=/$=?2)C,! /3O(<XCW=?+W<>MBAB=?2)O2@TV2):@AB=N<J,(Q /]=AECN2!+NØCF>2'2@F
FÖ<J.(AB+?2 `:@,QECZ<ªO2!+@C=?;B2kO(<ªCN=?+W<>MBAB=?2)O :@,(03DBAB=/$=W<>,Q2@TB;<JM<>=?2)O <>Q FÖ<J.(AB+?24k/$=5CW,(032
DB+?2)O(<X:!/$=-2#AI,+PAECN2!+NØC FJ2'(2@FCD~}57j Ab7 c
e
C/EIPQF>Uy+?2@F>2'$/$Qz=[2'(2!Qz=CLK:@,01DE,zC<>QB.R7K"/$+?2g+?2+
DB+?2)CN2!Qz=?2)O AI=?;B2!Uy/$+-2[=?;B2[MFX/:IHk2'(2!Qz=C ,! JFÖ<>.AB+-24!C/8+?+?,!&CPCN;B, & :!/$AEC?/eFO2!DE2!QEO2!QE:@2)C
A c
e
C=?;E/$=&S<}F}FME2PAECN2)O3=?,'O2D-EQB2T&S2)/!H5/]QEO3CW=?+?,(QB.[DB+?2):@2)O2!QE:@2[+?2@FX/$=W<>,QEC ,QF>,V:!/F CW=/]=?2)C/
$!% /35PR3435SPR35+ 03R- 3535SVZ'82PR;NZ+.- ;-35+
L"2!=
k ME2=?;B2 +?2@F>2'/$Q=2'2!Qz=gDB+?,BOAE:@2)OMUFc
k
<>=5DB+-, '(,H2)O/F>,B:!/eF CW=@/$=?23:?;E/]QB.2
+?,0
v
k =-, k(j ?=i A
v
k C}AF>2!= jkME2=?;B23<>Q<>=W<X/eFSF>,V:!/FCN=/$=?23,) c
k
C/K,(Qz=?+@/$+?U=?,
2'2!Q=Cg=?;E/$=3/$+-2AECWAE/FGF>Uµ:@,QEC<XO2!+?2)O <JQECN=/$Q=/$QB2!,AEC!K F>,V:!/eF[CW=/$=?2)C´;E/'2 /OAB+/]=W<>,Q,~k
FX/CW=@C +?,0
k
A<>QE:-F>AEO2)OC=W<}F}F
v
k AIQB,=&<>QE:-F>AEO2)OC/ 4 c
k
=-2!+?0<>QE/$=?2)Ck &S<}F}FO2!QB,=?2<J=@C
FX/CW= FJ,B:!/eFCW=/$=-2/
87Cg/$Q2@TE/$03DF>2K:@,QECZ<ªO2!+3/DB+?,V:@2)C-C[c
k & <J=-;=X&,F>,B:!/eFw'$/$+W<X/$MF>2)C
v
/$QEO
/$QEO
,QF>Uµ,QB2,! [=?;B2!0yKC?/eU
v
Km<XC+?2@F>2'/$Q=1< /2//$DBD2)/$+Cg<>Q¼=?;B2y.$F>,ME/FDB+?2)O(<X:!/$=?29&2y/]+?2
<>Q=?2!+?2)CW=?2)O<>Q,/<PD"OB/$=?2)C=?,
v
/$+-2'=?;B2g,QF>Uk+?2@F>2'/$Q=2'(2!Qz=C,! |c
k / 8P=P=?;<XC/$MECW=?+/(:@=W<>,Q
F>2'2@F/1F>,V:!/F CW=/]=?2,! ;c
k
<XC':@,01DE,zCW2)O ,! P=?;B2'/FJAB2)Cg,!
v
DF>AEC5/ '/eF>AB29AI=W<>032)CW=@/$03DC
032)/(CWAB+W<>QB. c k
NØCgDB+?,(.+?2)C?C/$==?;B2k=W<>0321<>=303,BO(<-E2)O
v"!
/m87C}&S2y:!/$QµCW2!2y/FJ,B:!/eF7CN=/$=?2
'$#
Ý)ÞWÛkÚØÜ[ßeàÙ!â)íeáZÞW×&%'Éôß)àÙ@ãàÞW××[Ù-ä
' ä>àÙì ÜÝ)Þâ!ÚØ×ÜàÚØóeí)ÜÞWâÞ.-!ÞWáZíeÜÚØÙÛß$Ù-ÚØÛ!Ü'Ù-ä o@ÚØÞ)(&ôá?ð-Ûkó$Þ
àÞWß)àÞW×ÞWÛ!ÜÞWâPó!ë&ÜÝ)Þ"á?ð-í)×IðNÕ]ß$ð?×ÜBÙ-ä*% ' ô?Û$ð?ìSÞÕØëSÜÝ)Þ"áWÙíeß!ÕØÞ5
n
7+%,-%25.%$/$01/$2345 5.%76
8 % ' 9:9 7$% ' 9-;<6
8
p4=ÖÝ)Þ
ìSÞ?ð?×íeàÞÙ-äz×íeáIÝPðmß)àÙ@ãàÞW××ÚØ×"áÕGð?××ÚØá?ðNÕØëSÚØìSß!ÕØÞWìSÞZÛ!ÜÞWâ>("ÚØÜÝ o@ÞWáZÜÙ@àEáÕØÙ!á@?!×
n
×ÞWÞAñå!ô ?å)Bð?Ûeâê!ÞWáWÜÚØÙ@Û ##hp4
k
O,2)CQB,=3:-;E/$QB.2* É+-,0
k
=W<}F}F
v
k A<>QEO2!DE2!QEO2!Q=WF>U ,) =-;B2kME/C<X:2'2!Q=Cg2@TV2):@AB=?2)O
M2!=b&S2!2!Q
k /$QEO
v
k /CS=-;B2)CW2[2'2!Q=CP/$+?2<>+?+-2@FJ2'$/$Q=C/
J &S,5DB+-2):@2)O2!QE:@25+-2@Fª/]=W<>,QEC:!/]QkME25O2D-EQB2)O,QF>,B:!/eFºCW=@/$=?2)C~
&S2)/!HDB+?2):@2)O2!QE:@2~ k&2)/)HF>UDB+?2):@2)O2)C
< kME2!.z/$QSA.&S<>=?;+-2)CWDE2):@=3=-,·:!/$AEC?/F
DB+?2):@2)O2!QE:@2!CPME2D ,+?2
/5F ,+?0/FGF>UK k
e k c
e
CW=?+?,(QB.3DB+?2):@2)O2!QE:@2~ k CW=?+-,QB.$F>UkDB+?2):@2)O2)C
<P . k &P/C{-EQ<XCW;B2)O:AM&S<>=?;+?2)CWD2):@=[=?,
:!/$AEC?/eFDB+-2):@2)O2!QE:@2!C;&P;B2!Q
ME2!./$Q=?,2@Tz<XCW=/:FB,+?0/eF}FJUK k
e A
v
k c
e
j ?=i Ak>CIC/
0 ;B2!Q:@,QEC<XO2!+W<>QB.MFÖ<J.(AB+?25`(&S2[;E/'2~
jv
e v
v
v
e
v
A)
vv
e v C
$!% 3GZ,;-O-),PR3G8 PR8:S+ )'+.- 3S:-9:Z,8E0;NZW+.-;-35+
8 .$F>,ME/eF5CN=/$=?2]l <XC:@,03DE,CW2)O ,! ? FJ,B:!/eF3CW=/$=?2)C k
KS,(QB2 É+-,0 2)/:-; DB+-,V:@2)C?C/;J &S,
F>,B:!/eFCW=/$=?2)C>
k
/$QEO
/$+-250AB=?AE/FGF>U:@,(QEC<XCW=?2!Q=AI,+´<>QEO2!DE2!QEO2!Q=CK&O2!QB,=?2)O k
K<
A k
e C ?
A
e k
C/!4IQ=?A<>=W<@'2@F>U3=?;B2!U:@,AFXO;E/'2:@,+2@Tz<XCW=?2)O1OAB+W<>QB.'=?;B2P:@,03DBA +
=/]=W<>,Q,/B8 ]D @ I^ [lGj A
v ACACA
- k
ACA.A
D C&<XCCWAE:?;=?;E/$=jp~ k
<>=[:@,AFXOk;E/'2[ME2!2!QDE/C?CW2)O=?;B+?,AB.(;MUk=?;B2'O(<XCW=?+W<>MBAB=?2)O:@,01DBAB=/$=W<>,Q,/
JS;B2yCW2!=,! '/eF}F:@,(QEC<XCW=?2!Q=3.$F>,ME/eFCW=/]=?2)Cg=?;E/$=3:!/$QµME2y/(C?CW,B:-<ª/]=?2)O]&S<>=?; /O(<XCW=?+W<>MBA +
=?2)Oµ:@,(03DBAB=/$=W<>,Qs57j AX7 c
e
C7;E/(C3/Fª/]=?=W<X:@2yCW=?+?AE:@=-AB+?2p&;B,zCW2k0<>Q<>0/eF[A+?2)CWDB=/m0/eT<@+
0/FC2@FJ2!012!Qz=S<XCS=-;B2<JQ<>=W<X/eF AI+?2)CNDB=/-EQE/eFC.$F>,ME/eFCW=/]=?2[lj;j A jv
ACACA - jk$
A.ACA - jD
CAI+-2)CWDB=/
l
j A
-
v
A.ACA -
-
k
ACA.A -
D
CbC[2ª4K`K"fEK&4)h!3M/JS;B2!+?2 <ªCg/$Q2)O.2<>Q=?;B2 Fª/]=?=W<X:@2( +?,0
lgj A
v ACA.A
- k
A.ACA
- D C[=?,Gl=j A)
v A.ACA
?Ni8A k C
ACACA
- D C[< 5/$QEO,(QFJU¸< '=?;B2!+?2<XC/$Q
2'2!Q=
k ,! ac
k
=?;E/$=:!/$QyM2'DB+?,BOAE:@2)O<JQ.$F>,ME/eFCW=/$=-2[l
k
0/!H(2)Cc
k
DB+-,.+?2)C?Cw É+?,(0 k
=?, ?=i A
k
C/]QEOk:@,QECW=W<>=?AB=?2)C =?;B2[FX/$M2@Fº,! m=?;<XCP2)O.2/
FÖ<J.(AB+?2 aO(<XCWDFX/)UBC=?;B2 Fª/]=?=W<X:@2,) 7:@,QEC<XCW=?2!Q='.]FJ,(ME/eF CW=@/$=?2)C'/(C?CW,B:-<ª/]=?2)OF& <J=-;O57KÖ=?;B2
O(<XCW=?+N<JMBAB=-2)O·:@,(03DBAB=/$=W<>,Qk,) JFÖ<>.AB+?2'`_/ljTj Aj
v
j j
!
CS/$QEO9l - j A
!v
!!
C/
8cCW2Q(AB2!Qz=N<ª/F ,MECN2!+I'/$=N<J,(Q d ,! y=?;B2 O(<XCW=?+W<>MBAB=?2)O :@,(03DBAB=/$=W<>,Q 75 +?2!DB+?2)CW2!Q=C/
:@,QECZ<ªCN=?2!Qz=S'(<>2& /$Q 2@TB=?2!+?QE/eFCW2Q(AB2!Q=W<X/eF·,MECN2!+I'2!+ :@,AFXO ;E/'2/4=µ<XC /^CN2QAB2!QE:@2~
lj
vlwv
l
ACA.A
l k v k l k k v
ACA.A
l- ,! :@,QEC<XCW=?2!Q=.$F>,ME/eFºCW=@/$=?2)CP/$QEO+?2@F>2'/$Q=2'2!Qz=@C
CWAE:-;y=-;E/$=~
/eF}F+?2@F>2'$/$Qz=2'2!Q=C/$DBD2)/$+&<>Q/]Q3,+O2!+S:@,QEC<XCW=?2!Q=|&S<>=?; 7A<M/ñ2/$=?;B2!U} ,+?0^/F}<>QB2)/$+5
2@TV=-2!QEC<>,Qy,! 7}C5
%l l'
%l
' l ll ''
l %'
%
%l
%' l
l %'
l
' l l' l l l'l l '' ' ll l'
%l
%' l
l
' l ll l'
%
%l
'
'
l
l ''
%
%l l'
FÖ<J.(AB+?2'a ~=L/]=?=W<X:@2'/C?CW,B:-<X/$=?2)O &S<>=?;k=?;B25O(<XCW=-+W<>MBAB=?2)Oy:@,01DBAB=/$=W<>,Q,! FÖ<>.AB+?2`
l k
<ªC=?;B2[.$F>,ME/FºCW=/$=-2,MB=@/e<>QB2)Oz +?,0 l k v MU2@TB2):@AB=W<>QB.
k /
87CkCW;B,!&PQ¼<>QW2>4$K[4)h3'/eF}F'=?;B2CW2QAB2!Q=W<X/eF',MECN2!+I'/$=N<J,(QECk:@,+?+?2)CWD,QEO 2@TE/:@=WF>U =-, /eF}F
=?;B2DE/$=?;EC1,! [=?;B2kFX/$=?=N<ª:@2/14IQ /(:@=3=?;<XC1FX/$=?=W<X:@2y+-2!DB+?2)CW2!Q=C/FGF=?;B2yD,zC?C<>MF>2CW2Q(AB2!Qz=N<ª/F
2@TB2):@AB=W<>,QEC,! =-;B25O(<XCW=?+W<>MBAB=?2)O:@,03DBAB=/]=W<>,Q57}/
8µQB,Q +ICW2Q(AB2!Qz=W<X/eFE,(MECW2!+I'/]=W<>,Q#2>43V/FGF>,!&Cm/$Q',(MECW2!+I'2!+m=?,"!CW2!2$CW2'2!+/eF<>QEO2!DE2!QEO2!Q=
+?2@F>2'$/$Qz=2'2!Qz=@C/]==-;B27C?/]032=N<J012/gF ,+?0/FGF>UK(<>=S<XCP/'CN2QAB2!QE:@2g,! .$F>,ME/eFCW=/$=-2)C/]QEOCW2!=@C
,! &+?2@F>2'/]Qz=2'2!Q=CTl j v l v l
A.ACA
l k v k l k
ACA.A
l - &CWAE:?;=?;E/$=~
k
<XCS/[QB,Q +2!01DB=ZUCW2!=S,! "<JQEO2!D2!QEO2!Qz=2'2!Q=C&=-;E/$=O,QB,=DB+?2):@2)O2[=?;B22'2!Qz=@C&,!
K É,+/eF}F51A<>Q=?2!+?0CS,) º,+@O2!+=-;B2!,+?U
<XCP/$Qy/]Qz=W<X:-;E/e<>Qy,! z57}C/
l k
<ªC=?;B2[.$F>,ME/FºCW=/$=-2,MB=@/e<>QB2)Oz +?,0 l k v MU2@TB2):@AB=W<>QB. /FGFm2'2!Qz=@CS,! k /
$!% 3 828:63/ ;N/R1Z'Z,82X + ;N66/8:;NP
K,,D2!+/$QEOGU/$+I?!AF}F>,ME/(CW2)O,Q CW2Q(AB2!Qz=N<ª/F,MECW2!+I'$/$=W<>,QEC=-;B2yC?/$=W<XC. I/:@=W<>,QK&MU/O(<XCX+
=?+N<JMBAB=-2)O:@,01DBAB=/$=W<>,QO57KÖ,! /]QABQECW=/$MF>2DB+?,D2!+?=WU 8 2@TVDB+-2)C?CW2)O/C[/kDB+?2)O(<X:!/$=-2,Q/
.$F>,ME/F CW=@/$=?2!/JS;B2!UyO2D-EQB2)O =b&S,C-/$=W<XC. I/:@=W<>,Qy+-AFJ2)C/=FÖ<>+CW= 7Wi5 jVcedkfE8¼< =?;B2!+?22@Tz<XCW=@C
/µCW2Q(AB2!Q=W<X/eF5,MECN2!+I'/$=N<J,(Q d <JQE:-F>AEO(<>QB.î/.$F>,ME/F5CW=/$=?2:l CWAE:-; =?;E/$=9lVij 8;/ 2):@,QEO
5
7WijSnpo(qr8 < NKm<>Qµ2)/:-;µCW2QAB2!Q=W<X/eF,(MECW2!+I'/]=W<>,QEd
K=-;B2!+?22@T<XCW=C3/.$F>,ME/FCN=/$=?29l
CWAE:-;y=-;E/$=Tl
ij 8;/
87C´QB,=?2)O<>Q=?;B23<>Q=?+?,BOAE:@=W<>,QµCWAE:?;/$Q/$DBDB+?,/:?;¸;E/CT 2)/C<>M<}F}<J=WU¸F}<J0 <J=@/$=W<>,QEC3/C7<>=
+?2Q(A<>+?2)C=?,MBA<}FXO =?;B2FX/$=?=W<X:@2FA.&P;<X:?; :!/$Qµ<>QE:-F>AEO2 A
D
C'.$F>,ME/F7CW=/$=-2)C!KµM2@<>QB.µ=?;B2
0/Tz<>0AB0 QAB0ME2!+P,) º+?2@F>2'$/$Qz=2'2!Q=CSDB+?,BOAE:@2)OkMUk/DB+?,B:@2)C?CDC/
JS;B2/$QECX&S2!+=?,Rced(fg8îO,z2)C´QB,='O2!DE2!QEO¸,Q=?;B2(&P/eU·/$Q,MECW2!+'/$=W<>,Q <ªC´03,BO2@FJ2)O
AI=-;B2y/$QECX&S2!+<XC3D,zC<>=W<@'2<P [=?;B2!+?2<XC3/CW=/]=?2<>Q =?;B2FX/$=?=N<ª:@29'2!+W< U<>QB.g8C/JS;E/$=<XCQB,(=
=?;B2k:!/CW2z ,+(npo(qr8/2FB,+g=b&S,O(<ªCN=W<>QE:@=3,MECW2!+I'$/$=W<>,QEC!Kd
/$QEO d
Km=?;B2.$F>,ME/eFCW=@/$=?2)C
C?/]=W<XC. ÉU(<>QB.F8î:!/$Q¸ME2O(<XCW=W<>QE:@=/J,< 75 ijVnzo(qr8 &S25;E/'2QB,<>Q> ,+?0/$=N<J,(Q/$ME,(AB=[=?;B2
CW=@/$=?2)CÖ<>Qp&;<ª:-;98<ªCa'2!+W<-E2)O AI=?;<XC:!/$Q1ME2/$Q <JQE:@,(Q'2!Q<>2!QE:@2< =?;B2PO2!=?2):@=N<J,(Q3<XCO,(QB2 ,+
O2!MBAB..]<JQB.gDBAB+?DE,CW2)C!Kz/(CÖ<JQ1=?;<XC&:!/CW2S=?;B2SAECW2!+|&P/$Q=CÖ=?,THzQB,!&µ=?;B2S.$F>,ME/eFCN=/$=?2)C <>Q&P;<X:?;
8G&P/C1'2!+W<-E2)OC/ JS;B2[QB2@TB= 2):@=W<>,QkDB+?2)CW2!Q=CP/gQB2& :?;E/]+/:@=?2!+W<@?)/$=N<J,(QK ,+P/gDB+?,D2!+?=WU3=?,
M25C?/$=N<ªCb-E2)O"KE=?;E/]= O,2)CQB,=S;E/'(2[=?;B2)CW25O+@/&ME/:IHBC/
12%'& (*3 S)b-),8ES+
8 .$F>,ME/FºCW=/$=-2[l¼<XC<>QB2'<>=/$MF>2< &<>=PM2@FJ,(QB.zC=?,/eF}F=-;B2[,MECW2!+I'$/$=W<>,QEC,! º=-;B2'O(<ªCN=?+W<>MBAB=?2)O
:@,01DBAB=/$=W<>,Q
5
7[/T4Q FÖ<>.AB+?2'a A
v
-v
v
!
C&<XC <JQB2'(<>=/$MF>2/
\S2@F>2'/$Q=2'2!Qz=@C[/$QEO<>QB2'<>=/]MFJ2k.]FJ,(ME/eFCW=/$=-2)C/$+-23=?;B2+W<>.;=5/$MECW=-+/:@=W<>,QEC=?,yCN,$F@'2
DB+?,(MFJ2!0C<>Q'(,$F@'<>QB..$F>,ME/eFCW=@/$=?2)C[CW;E/$+-2)OyMU/eF}F,MECW2!+I'$/$=W<>,QEC/4QB2'<>=/]M<GF}<>=WU :-;E/$+/(:@=?2+
+W<@?!2)C =?;B2S.+?2)/$=?2)CN=ºCW2!=m,! ".$F>,ME/eFECW=/$=?2)CmCW2!2!QMU5/eF}FE,MECW2!+'/$=W<>,QEC/!4IQB2'(<J=@/$MF>2P.$F>,ME/eFCW=@/$=?2)C
/eF}F>,!&î=-, CN=/$=?2[/$Q<>Qz=-2!+?2)CW=W<>QB.,MECW2!+I'$/$=W<>,Q +<>QEO2!DE2!QEO2!Q=5O2D-EQ<>=W<>,Q É,+C?/$=W<XC. I/:@=W<>,Qk,! &/
(
êLí)áIÝ[ð-×Wô)ä>Ù@àÞ.-)ð?ìSß!ÕØÞ@ô
! " #
$&%!'$ô (Ý)ÞWàÞ ' ó$ÞÕØÙÛeã×&ÜÙ
'
) #
ÚØÜÝÜÝ)ÞSÚØÛLÚØÜÚGðWÕð?Ûeâ(Û$ðWÕã-ÕØÙó$ðWÕ×ÜIð-ÜÞW×Wô ðNÕñÕð?àÜÚØáWíLÕGð?ÜÚØÙ@Ûkß$Ù?ÚØÛ!Ü×SÙ@ào@ÞZàÜÞ.-g×ÞZß$ð?àIð-ÜÙ@à× A%)B"Ù?ämÜÝ)Þ
ÕGð-ÜÜÚØáWÞ ð-àÞmÚØÛ)Þo@ÚØÜIð-ó!ÕØÞPã-ÕØÙ@óðNÕE×ÜIð?ÜÞW×.
DB+?,(DE2!+?=WUkMU /:@,03DBAB=/]=W<>,Q 7(/5 X` .T^ a^] <XCO2D-EQB2)O/CY8 M2@<JQB.k=-+?AB25/$==?;B2
C?/]032p"@DE,]<JQ=$} ,+/FGFm,MECW2!+I'2!+@C~
A 57 ijVce7ed[c 8C
c
A
lS~>l ,?Ni9 bi#l ij 8C
,(=?; cedkfE8 /]QEOGce7ed[ch8^/$+?2k,MECN2!+I'/$=N<J,(Q +<JQEO2!D2!QEO2!Qz=eKSMBAB=)K&/C}&2#& <GF}F7CN2!2K
O2!=?2):@=N<J,(Qy,! |ce7ed[c 8 :!/$QkME2O,QB2'2k:-<J2!Q=WF>UK&S<>=?;B,AB=PMBA<}FXO(<>QB.y=?;B2FX/$=?=N<ª:@2/
12%K$ S3PR35+O+O;=/ ;NS4V+O17PR),3S:-TPR8ES4)K-),8:S
L"2!=}lGj A
v A.ACA
- D CM2'/.$F>,ME/eF&CW=/$=?2(AWO(<ªCN=W<>QE:@= +?,0ulj'/$QEO9l- C/
o ! r
l,?Ni9 bi
,~>A k
e
?Ni IA)
C j -
C
"go
#
r
JS;<XCDB+?,z,) º:@,QEC<XO2!+C,QF>UkCW2QAB2!Q=W<X/eF,MECW2!+'/$=W<>,QECS/$QEOCWABDBD,zCW2)CDB+?,B:@2)C?CW2)C;E/'2
<>Q>-EQ<J=-2M2!;E/'(<>,+C/!4=:!/$Q2)/C<}F>UME2P2@TB=?2!QEO2)O=?,QB,Q +ICW2Q(AB2!Q=W<X/eFE,MECW2!+I'$/$=W<>,QEC/$QEO
-EQ<>=?2'M2!;E/'(<>,+C,! &DB+?,V:@2)C-CW2)C/
$
L"2!=elGj A)
v A.ACA
- k
ACA.A
D CME2'/]Q<JQB2'(<>=/$MF>2'.]FJ,(ME/eFºCW=/]=?2K
k ME2(c
k
NØC2'2!Q=
=?;E/$=PDB+-,VOAE:@2)O k KE/$QEO
ME2c
NØC2'2!Qz==?;E/$=PDB+?,BOAE:@2)OT?Ni IA)
C/
K,QEC<XO2!+}l
j A
ACA.A
h?Ni IA)
C
ACA.A
C/B8QzUkCW2Q(AB2!Qz=W<X/eFm,MECW2!+I'$/$=W<>,Q·:@,(Qz=/<JQEC l
AIMU ;UDE,=?;B2)CZ<ªC^C /$QEO CNAE:?;î/ l}AIME2):!/$AECN22)/:-; ,MECN2!+I'/$=N<J,(Q <>QE:-FJAEO2)C¸/eF}F
2'2!Q=C[/$QEOCW,
C/$QEO:l /$DBDE2)/]+CME2D ,+?2zl AZ/C
<XC[DB+-,VOAE:@2)OMU c ME2+
É,(+?2@?Ni IA)
CIC z:@,(QECW2QAB2!Q=WF>U
k
/$DBD2)/$+CSM2D É,(+?2
&S<>=?;<>Qk=?;<XCS,MECN2!+I'/$=N<J,(Q,/
U,+?2!,!'2!+S=?;<XC<XCP=-+?AB2T É,(+/$QU :@,ABDF>2*A ,=CX/
87C lt<XC1<>QB2'<>=/$MF>2=-;B2·DB+-2'<>,AEC+?2!0/$+IH<XC=?+?AB2 É,+k/eF}F[,MECW2!+I'$/$=W<>,QEC/ 4=
É,]FGF>,!&CS=-;E/$= ,+P/eF}F,MECW2!+I'$/$=W<>,QEC~ , ~ k
/$DBD2)/$+CSM2D É,+-2
/
FB+?,(0 ?!D<}F>+/$YWQ,NØC=?;B2!,(+?2!0 2>4ed3TAM&;<ª:-;µCW=/$=?2)C´=?;E/$=g=?;B23<>Q=?2!+CW2):@=N<J,(Qµ,! /eF}F
F}<JQB2)/]+2@TB=?2!QEC<>,QEC`z;B2!+?2S=?;B2PCW2!=,! /eF}F,MECN2!+I'/$=N<J,(QEC.`',! /DE/]+?=W<X/eFE,+O2!+`;B2!+?2
5
7jSAb7c
e C`3<XCSDB+-2):-<ªCN2@FJU=?;<XCSDE/$+?=N<ª/F ,(+O2!+C&<>= ,$F}F>, &CS=?;E/$= ,~
k c
e
=?;E/$=S<XCS=-,C?/eU<>Qy=?2!+-0CS,! mF>,V:!/eF&CW=/$=?2)CA 2):@=N<J,(Q·` /ñf_C /~ k
e
?Ni8A
CI/
L"2!=/.]FJ,(ME/eFºCW=/]=?2(lGj A
v
A.ACA
- D CME2'CWAE:-;y=?;E/]= /~ k
e
?Ni8 IA
CD/
FÖ<>+CW=[F>2!=gAEC'CW;B,!& =?;E/$=*l <XC5/k:@,(QEC<XCW=?2!Q='.$F>,ME/eFPCW=/$=-2/BABDBDE,zCW21=?;E/$=l <XC
QB,=':@,QEC<XCW=-2!Qz=/JS;B2!Q
/~ k
e A 2!2 2):@=W<>,Q` /k ,+=-;B2 O2D-EQ<>=W<>,Q,!
/:@,(QEC<XCW=?2!Q=[.$F>,ME/eFCW=/$=?2!C > É+-,0 &;<ª:-;&S25:!/$Q:@,QE:-F>AEO2#AZCN2!2 2):@=N<J,(Q `_/ñf C
,~?Ni8A
k C
e
&P;<X:?;<ªC/3:@,Q=?+/(O(<ª:@=N<J,(Q,/
P,!& :@,QECZ<ªO2!+P/[CW2Q(AB2!Q=W<X/eF,MECN2!+I'/$=N<J,(Q d =-;E/$=:@,03DB+W<XCW2)C=X&S,.]FJ,(ME/eF CW=@/$=?2)C
l4!A Cyj A
ACA.A
k
ACACA
Cy/$QEO6l`>A2=Cj A
A.ACA
?Ni8A
C
A.ACA
C/T02;E/'2=?, CW;B,!&
=?;E/$=el4!A XCmDB+?2):@2)O2)CYl`>ACI/
L"2!=
kME2 c k
NØC2'2!Q=3=?;E/$=1DB+?,VOAE:@2)O k K k¸ME2 c k
NØC2'2!Q=3=?;E/$=1DB+?,VOAE:@2)O
?Ni8A
k
CP/$QEO
M2kc
NØC2'2!Q==-;E/$=PDB+?,BOAE:@2)O?=i A
C/87CTd <JQE:-F>AEO2)Cg/eF}F
2'2!Q=C<>=S<>QE:-F>AEO2)C
kK
k3/$QEO
<>= É,]FGF>,!&C=?;E/$=Tl4!A XC/$QEO9l`>A2=C&2@T<XCW=/
l4!A CE/$DBDE2)/$+@C<>Qd / É=?2!+
kV/$QEOM2D É,(+?2
k )l`>A CV/]DBDE2)/$+CÖ/ É=-2!+
/U,+?2!,!'2!+
k c
e
AIME2):!/]AECW2 k
e
?Ni8 IA
CIC <>=T É,$F}F>,!&C=?;E/$=}l4!A CDB+?2):@2)O2)C}l`>A2=C <JQ
d/
87C MzUt;UzD,=?;B2)C<XC /*~*
k
e
?Ni IA)
CF&2 ;E/'(2 /~
kTc
e
3:@,QECW2+
QAB2!Q=WF>Uy/$QU CN2QAB2!Q=W<X/eF,MECN2!+I'/$=N<J,(Q d <XCPCNAE:?;=?;E/$=~
d j lj
ACA.A k
l4!A v C
ACA.A k
l4!A C
A.ACA
ACA.A
k
$
lS`>A v C
A.ACA
ACA.A
lS`>A C
A.ACA
$ l`>A.D C
A.ACA
&S<>=?;3Q +ABDF>2)CTA v
ACA.A
D C&/$QEOzA v
ACA.A
/ D CME2@<>QB.3D2!+?0AB=/$=W<>,QECm,! A47
ACA.A h?BCI/
4I= ,$F}F>,!&CP=-;E/$=S=?;B2[.$F>,ME/eFºCN=/$=?2
<XCYlGj A
v ACA.A
k
A.ACA - D C/
12%21 (*3R-35P-),S9 35; 6/3PR35435SPR3
JS;B2DB+?2'(<>,AEC3:-;E/$+/:@=?2!+N<x?)/]=W<>,QEA=?;B2!,+?2!0 C,! S<>QB2'<>=/]MFJ2.$F>,ME/eFCW=/]=?2)C<XCgDBAB+?2@F>U
=?;B2!,(+?2!=W<X:!/eFM/!4IQ3,(+O2!+=-,AECW2 <J=m<>Q3O2!=?2):@=W<>,Q/eF>.,+W<>=?;B0CB&S2SQB2!2)O3/$Q'2Q(A<@'/eF>2!Q=S,DE2!+/]=W<>,+
QE/eF:-;E/$+/(:@=?2!+W<@?)/$=W<>,Q,/,JS;<XC 2):@=W<>,Q¸DB+?2)CW2!Q=C[/$Q/$DBDB+?,DB+N<ª/]=?2['2):@=-,+':-F>,V:Hy032):-;E/$Q<XCW0
&P;<X:-;/C?CN,V:-<X/$=?2)C&/=W<>032)CW=@/$03D(&S<>=?;2)/:-;[F>,V:!/FCW=/$=?2$ e=?;B2)CW2S=W<>032)CN=/$03DECm/eF}F>, &µ=-,7O2):-<XO2
&P;B2!=-;B2!+=X&S,gFJ,B:!/eFºCN=/$=?2)CS/$+?2[+-2@Fª/]=?2)OkMU
e
,(+PQB,=/
4IQ=?+?,BOAE:@2)O5CZ<J0AF>=/$QB2!,(AECF>U5MU FÖ<XO.2;2 3z/$QEO(U/$=?=?2!+-Q2>4 3IK'2):@=-,+º:-F>,B:IHBC&:@,QECW=N<J=-AB=?2
/$Q1,DE2!+/]=W<>,QE/eFE=?,,$FB=?,[2!QE:@,VO2O2!DE2!QEO2!QE:@Uk/$QEO3:@,QE:@AB+?+-2!QE:@U5,) 2'2!Q=Cm,! /[O(<ªCN=?+W<>MBAB=?2)O
:@,01DBAB=/$=W<>,Q,/0¸2·/C?CN,V:-<X/$=?2k;B2!+-2R'2):@=?,(+:-F>,V:Hµ=W<>032)CW=/]03DEC(&S<>=?; FJ,B:!/eF7CN=/$=?2)Cg<>Q¼=?;B2
,$F}F>, & <JQB.z&P/eU~