HAL Id: inria-00074478
https://hal.inria.fr/inria-00074478
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-
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,
Eddy Fromentin, Michel Raynal
To cite this version:
Eddy Fromentin, Michel Raynal. When all the observers of a distributed computation do agree.
[Research Report] RR-2194, INRIA. 1994. �inria-00074478�
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
When all the observers
of a distributed computation do agree
Eddy Fromentin and Michel Raynal
N˚ 2194
Mars 1994
PROGRAMME 1
Architectures paralle`les, bases de donne´es, re´seaux et syste`mes distribue´s
!"#%$&('*)!+(,-/.
0121 354#6798;:=< >?@<BA CD<1FEG?IHJ:LKNM+CL3 <#COKPA
QNRTSDUDRVLWXWYZ[]\BR^T_9`bacYP^dacefRcYPghiVLRV=jkjmlYdjnYPgpoiqiVDgrYPg/s9Ys9SDtftuYYPgo9RfuYPgrYPVLe9v
YaBgrwxgyaPlYWYPgsO`zgyacRy`bqfeuYPg
QNRcSO{|Ya\}s9h
~/VhfhiSDRca s9Y+RcYP^T_fYR^T_fYt+9fZPL"[ ;VLRdgBZDL"[D"hiVLUOYPg
PiLD\^dSDtig|`gracYta"SDqigyYRcLVLay`bSDtFSVsO`zgyaTRy`bqfefacYPs^dSDWhfefaVay`bSDtF^VLtFqiYgyYYt5VOg
VgyYPDefYti^dYSgraVLacYPg}VLtisYDYt9ag}aT_iVLa+W`bUD_9a+_iVDYXqiYYtGhfRcSxs9ei^dYPsGq9w;YdvxYP^defar`ntfU;ac_9`zg
^dSDWXhfefaVLay`bSDtSDtVWSDtfSDhfRTSx^dYPgcgrSDRPGDSFV;sO`gracRy`bqfefacYPsYdvfYP^defay`bSDtUDYtfYRdVjjnwVO^^dYhfagV
jbSDa"SL ^dSDtig|`gracYta"SDqigyYRcLVLay`bSDtig¡_9`zg}hiVLh YR^dSDti^dYt9acRVacYPg SDtF¢/_iVa+Vjj£ac_fYPgyYXSDqigyYRcLVL¤
ay`bSDtig"_iVDY`bt^dSDWXWSDt\BtVLqigyaTRVD^day`bSDt5^V=jkjbYPs¦¥@§i¨©P¥@ªI«¬¨®D¯¬T«D°ªI«DªI¨"`zgs9Yd±itfYPs²\
tfYP^dYPgcgTVLRcwVLtisgre9³´^T`bYtaB^dSOtisO`nar`nSOt²^c_iVLRdVD^dacYRy`bµd`btfUgyei^T_´graVLacYPg¶`g UL`bDYt´VtisV"WSDt9`bacSORc¤
qiVDgrYPsFVjbUDSDRy`bac_fW·ac_iVLa+s9YacYP^dadg}ac_fYW¸`g"VjzgyS²hfRTYPgyYtaTYPsQSgTg¹`bq9jnYXeigyYPg}SLBgyei^T_5gyadVLacYPg
VLRTY+gyºDYa^T_fYPs
»½¼¾¿yÀÁ2LÂD sO`zgyacRy`bqfefacYPs^dSOWhfefaVLay`bSDto(RcYdjbY=VLt9a;YDYtao+^dSDtig¹`zgyacYt9a²UjnSOqiVjÃgyadVLacYDo
^VLeigTVj`naywDo hfRcYP^dYPs9Yti^dYDo}^dSDti^defRcRTYti^dwDo`btfYD`baVq9jnYGULjbSDqiVj+gyaVacYDo&eftigraVLq9jbY;hfRcSDhiYRTa|ws9Y¤
acYP^dar`nSOtoiSDqigrYRc=VLar`nSOtofSDqigyYRcOYRc¤@`btis9YhiYtis9Yt9a}hfRcSDhiYRTa|w
ÄÆÅÇ
ÈyÉyÊPË
Ç
ÈNÌNÍnÉ|Î@ÏPÐ
ÑÒpÓÕÔÖ2×dØIÙÒ=ÚTÔÛ=ÜyÜyÝÔIÞPßPßL×dØIàIÜyáÓÕÝß=ÚTØIà/ÛâàIÒPÜ}ã×dä£äåÓÕÔIÔ@ÓÕ×dÝ×cæ&çfÞØI×ßLÜcÚTÝ´ã×dää&ÞÝÓÕà@ÓÕÜyÔBÞÝPáÜ|Ø
ç èPéiê#ëzÑéìØI×ídØmÚcääÜBîêïðdñðdòózîêôõï¶öãïNèÑø÷¹ù9Ûâ+àIÒPÜ úPØIÜyÝûmÒãüêè"ÞPÝPáÜyØ£àIÒÜ/ídØmÚcÝàéfÚcØmÚrýþýÕܹý
ÑfØmÚTûyÜ|ÔÚcÝá}ÛâBÚúPØIÜyÝûmÒÿ@ëzÔIØmÚTܹýþÓiíØmÚTÝà×dÝ}áÓÕÔIàIØ@ÓÕÛPÞàIÜyá+ûy×äßÞPà@ÓÕÝPí
ܹÿzä/ÚrÓþý¹ænØI×däÜyÝà@ÓbùDØmÚyâÝ=Úrý õÓÕØ@ÓÕÔmÚæbØ
¼x ¼/th Yefa£^dSDtig¹`zsåuYRcYR¶OeþeftfYSDqigyYRT=VLay`bSDt^dSD_uYRcYt9acY£sþeftfYYdv£uYP^defay`bSDtRfuYhiVLRc¤
ay`bYBgrY ^dSOWhiSgrY seftfYBg9uYPOefYti^dY/syuYadVLagõYa&s|uY&uYtfYWYt9agOe9`2VLefRV=`naNhfeYacRcY&hfRTSxs9e9`bacY/Yt
såuYRcSDe9jzVLt9a^dYacaTYYdvuYP^defar`nSOt RfuYhiVLRcar`nYgyefR}eftFWSOtfSD¤IhfRcSf^dYPgcgyYefRP/tfYXacYdjjnYXYdv£uYP^defay`bSDt;RxuY¤
hiVLRTay`bYVD^^dYhfaTYs9SDti^UNuYt£uYRVjbYWYt9a&eftUDRVtistfSDWqfRcY}sþSDqigyYRcLVLay`bSDtigå^dSD_£uYRcYt9acYPg/SOeig
u
YaceisO`bSDtig(`^T`/eftfYVLqigyacRdVD^day`bSDt5OefYtfSOeigVhfhiYdjjbYRcSDtig¨PªI«Dª®D¯¬T«D&¥@§¨©P¥@ªI«¬¨De9`YPgya+eft
h SL`bta+^dSDWXWeftlVaTSDefacYPg jnYPg SOqigyYRc=Vay`bSDtig/SDeig s9SDtftfSDtigeftfY^dSDtisO`bay`bSDtFtuYP^dYPgcgcV`bRcY"Ya
gye9³gcVLt9acYDe9`&^VLRVD^dafuYRy`zgyY^dYacacYhfRcSDhfRy`uYaxuY+s`btuYD`baVLq9`j`bafuYuYaVLt9aBs9SDtftuY+eftuYaVLa/UjnSOqiVjmo
hfRfuYPgyYt9acSDtigõeftÃV=jnUOSDRy`bac_fWYRcYh SgcVLt9a¶grefRjYWh9jbSL`2sþeft^dSDt9acRSLjbYefRN^dYtacRdVj`g9uY/De9`2såuYacYP^dacY
s9Y"acYdjzguYaVLag ULjbSDqiVLe9vYa/Yt²RfuYPgyefWSDtigOefYdjzDefYPg efay`j`zgcVLay`bSDtig h Sgcg¹`bq9jbYPg
Á P¿c ¼FYdv£uYP^defay`bSDtXRxuYhiVLRTay`bYDouY&uYtfYWYtadgSDqigrYRc=VLq9jbYPgoåuYaVLaULjbSDqiVj2^dSD_uYRcYtaoPSDRds9RcY
^VLeigTVjmoLhfRxuYP^ uYPs9Yti^dYDoP^dSDti^defRcRcYti^dYDouYaVLaULjbSDqiVj9`bt£uYO`baVLq9jbYDoD^Vjz^de9j2s9Y&hfRcSOhfRy`Yafuu YPg `btigyaVLq9jbYPgo
SDqigrYRc=VLar`nSOtoihfRcSOhfRy`Yafuu Y`btis&uYhiYtisfVtacYs9Y j!þSDqigrYRc=VLaTYefR
B"!$N(
L`bti^dYVLWh SDRca ÕggyYW`btiVjihiVhiYRZPmoPYdvfYP^defay`bSDtS#VDgyw9ti^T_fRcSDtfSDeigNsO`zgyacRr`nqfefaTYPshfRcSDUDRdVLWg
`zg"WSfs9Ydjk`bµYPs qwFVhiVRcay`zVj£SORs9YR+SDtac_fYYDYt9ag}hfRTSxs9ei^dYPs efYacSac_fYVDgyw9ti^c_fRcSOt9`grW
SL&aT_fY}eftis9YRyjbwD`btfU grefhfhiSDRca mtfS^dSOWWSDthf_wfg¹`z^Vj&^TjnSf^Tº2o tfS^dSDWWXSDt gy_iVRcYPsWYWXSDRcwDo
VLRTq9`naTRVLRcwacRVtig¹ÆYRs9YdjzVPwfg!&VLt9w^dSDtig¹`zgyaTYtaSDqigyYRT=VLay`bSDtSLøgyei^T_´VsO`zgyacRr`nqfefaTYPsYdvxYP^defay`bSDt
^VLtSDt9jbwgyYY V+gyYPOefYti^dY}SLøVjj2ac_fYPgrY/YDYt9agNac_iVa&RcYPgyh YP^dagåac_fY/hiVLRTay`zVj2SDRds9YRP g¹`btfU+ac_9`zg
gyYPOefYti^dY+S#YOYtagVLtSDqigyYRTDYR/^VLtRTYP^dSDtigyacRcei^daoxgraVLRcay`btfU(ÆRcSOWac_fY `bt9`bay`zVj¶gyadVLacY/SLac_fY
^dSDWXhfefaVLay`bSDtoiVXgyYPDefYti^dYSLNULjbSDqiVjNgyaVLacYPgåac_fRTSDefUD_¢/_9`z^T_²ac_fY+^dSDWXhfefaVLay`bSDtWVw_iVDY
hfRcSOUDRcYPgcgyYPs"bZOoNZ$#%m/tfYÃ`nWXhiSDRcadVLta+OefYPgyay`bSDt `g(ac_fYt'&VLRcYac_fYRTYUjnSOqiVj£gyaVLaTYPgBgyYYtqw
VjjNSDqigyYRcLVLay`bSDtigS VsO`zgyaTRy`bqfefacYPs²^dSDWXhfefaVLay`bSDt)(
¡_fY/s9YacYP^day`bSDtSL2grei^c_ULjbSDqiVjigyaVacYPgy^VjjnYPs½¥z§ ¨P©P¥@ªI«¬pk¨õ`btac_fYåISLjjbS=¢ `ntfU*!ø^VLtqiYDYRcw
_fYdjbh9Ie9jBacS grSLjbDY´grSDWYhfRcSDq9jbYWgoNVDg"VLtF`btfYO`baVLq9jbY²ULjbSDqiV=j gyaVacY_iVDg"tfYP^dYPgcgcVRy`jnwGqiYYt
+ hiVOgcgyYPs}aT_fRcSDefUD_-,qw}aT_fY£VD^daceiV=jYdvxYP^defar`nSOt.¹tSOac_fYR¢SDRsfgVLt}`btfYO`baVLq9jbY/ULjbSDqiVjfgyaVLacY`zg
`btis9YhiYtis9Yt9aSLiSDqigyYRTDYRg\^^dSORsO`btfU}acSBaT_fY£VLhfh9j`z^VLay`bSDthfRTSDUDRVLW YdvfYP^defacYPsgyei^c_gyadVLacYPg
^VLtqiY eigyYPsÃÆSOR&YdviVLWh9jbYBaTSs9Yd±itfY+V+^T_fYP^Tºh SL`btaPo9SDRåacSs9YaTYP^da&hfRcSDh YRcay`bYPgac_iVaNWeigra&qiY
acRTefYÆSORVjj£SOqigyYRc=Vay`bSDtig"SDR}acS grSLjbDYULjbSDqiVj/gyaVLaTYSDRy`bYt9acYPs;hfRcSDq9jbYWg"¢/_fS9gyYgySLjbefay`bSDt
tfYYPs acS;qiY²SOqigyYRcDYRc¤@`btis9Yh Ytis9YtaÕìoø/mN¡_9`zghiVLhiYRhfRcYPgyYt9agV;^T_iVLRVD^daTYRy`bµPVLay`bSDtSL
gyei^T_²UjnSOqiVj¶gyaVacYPgVLtisVLt V=jnUOSDRy`bac_fWacSs9YacYP^da ac_fYW²
¡_fYFhiVLh YR`zg²gyaTRcei^dacefRcYPs `bt aT_fY;ÆSjkjbSL¢`btfU¢/VwD DYP^day`bSDt `bt9acRcSfs9ei^dYPg;VÆSDRTWVj
WSfs9Ydj/ISDRsO`zgyaTRy`bqfefacYPs^dSDWXhfefaVLay`bSDtigN¡_9`zgWXSxs9YdjB^dSDtig¹`zs9YRgXgyei^c_V;^dSDWhfefaVay`bSDtVLa
gySOWYSDqigyYRcLVLay`bSDt jnYOYdjVLtiseigrYPgtfSDay`bSDtiggrei^c_¦VDgRcYdjbY=VtaYDYt9agoõjbSx^Vj}gyaVLacYPgXVLtis
^VLeigTVj`nayw`btis9ei^dYPsGqwWYPgcgcVUDYPg SDRcYSLDYRPoìhfRcYP^dYPs9Yti^dYRcYdjzVLay`bSDtig(SDtjnSf^Vj/gyaVLacYPgSL/V
sO`zgyacRr`nqfefaTYPs^dSDWhfefadVLay`bSDtVLRcY^TjnYPVRyjbwF`zs9Yt9ay`±iYPsDYP^day`bSDthfRcYPgyYt9agVtfYP^dYPgcgcVLRcwGVLtis
gye9³^T`nYt9a+^dSDtisO`bay`bSDt;ISDR}VUjnSOqiVj graVLacY}acSqiY"`btfYO`nadVLq9jbYDø SDRcYSLDYRBVXUDYtfYRV=jk`bµPVLar`nSOt²`zg
UL`bDYtGq9w²`bt9acRcSfs9ei^T`btfU aT_fYtfSDay`bSDtFS&`btfYD`baVq9`kj`bayw¢`bac_FRcYPgrhiYP^da+aTS²V²gyYa}SL/hfRcSf^dYPgcgyYPgp
DYP^day`bSDt"hfRcYPgyYt9ag&VtVjbUDSDRy`bac_fW acS+s9YaTYP^da V=jkj `btfYD`baVLq9jbY"ULjbSDqiVj#graVLacYPgSLøV"sO`gracRy`bqfefacYPs
^dSDWXhfefaVLay`bSDt'0`bagÃay`bWY ^dSDWXh9jnYdv9`baywG`g123-4%56!7m¢_fYRcY83 `gXac_fYt9efWqiYRSLBhfRcSf^dYPgcgyYPg
VLtis)5:9<;=?>A@BC3ED-;F%GHJI$K)LI$M%=NLPO%Q=QGO7I$K)RS@T!U!di~YdjzVLacYPs;¢SDRTºxg/VRcY+qfRy`bYViwYdvìVLWÃ`ntfYPs
`bt DYP^day`bSDtXWì¡_fY^dSDti^Tjbeig¹`bSDtj`grag"hfRcSDq9jbYWg}aT_iVLa+^VLtFq YgySLjbDYPsqweig¹`btfU`ntfYO`baVLq9jbY
ULjbSDqiV=j¶gyaVLaTYPg
Y Z
i´!+£%$&('*)!+(
[]\B^ _a`Tbcd`Tegfch-ikjgdl'm'd/nopb
\ sO`gracRy`bqfefacYPs;hfRcSOUDRVLW `zg WVOs9YSq3FgyYPOefYtay`zVj&hfRTSx^dYPgcgrYPgR]r$stttusvRSw¢/_9`z^T_F^dSDWWef¤
t9`z^VLacYVLtis²grwti^T_fRcSDt9`bµY+q9wac_fY}SDt9jbwWYPVLtigS¶WYPgTgcVLUDY}hiVDgTg¹`btfUi
¡_fY²eftis9YRyjbwO`btfUgywxgracYW²oNac_iVaYdvxYP^defaTYPgsO`gracRy`bqfefacYPs hfRcSDUDRdVLWg(`zg^dSDWXhiSgyYPs SLJ3
hfRcSf^dYPgcgySORg)mSOtfY h YR²hfRcSf^dYPgcg!ac_iVLa²^VLt Ydvì^T_iVLtfUDYFWXYPgcgcVLUDYPgp&VD^T_¦hfRcSx^dYPgTgySDR²_iVOgV
jbSf^Vj¶WXYWSDRcwD/Yd`bac_fYR}gy_iVLRTYPsWYWSORcwtfSDRBVXULjbSDqiVj&^TjbSx^Tº`zg}VPLV`jzVLq9jbYD ²YPgTgcVLUDYPg/VRcY
Ydvi^c_iVtfUDYPsac_fRcSOefUD_+RcYdj`zVLq9jbYDo9tfSDttfYP^dYPgcgcVLRr`kjbwP. +oL^c_iVLtftfYdjzg9¡RdVLtigyW`zgcg¹`bSDts9YdjzVwxgNVRcY
±it9`bacYqfefa/eftfhfRcYPsO`z^daVq9jnYD
[]\ [ _a`Tbcd`Tegfch-iAlSokj f c n6c`Tl b
i@¼ ¼"! P!#Â$#N&%Á2('bb¼ ¼
¶vxYP^defay`bSDtSõV(hfRcSf^dYPgcg R'@hfRcSfs9ei^dYPg/V+grYPDefYti^dY SL ¬T«L°¥ ¨P©¨P§iª@°D\¦qiVDg|`^YDYt9a&WVwqiY
Yd`bac_fYRå`btaTYRctiVj]y^VLeig¹`btfU+SDt9jbwV"^c_iVtfUDY/acS jbSf^Vj2LVLRy`zVLq9jbYPg!NSDRN`baåWVw+`bt9DSLjbDYB^dSOWWeft9`n¤
^VLar`nSOt|gyYtisVtisRcYP^dYd`bDY+YDYt9ag! bZPmf¡_9`zgBgrYPDefYti^dY(`geigyeiVjjbw²^VjjbYPsac_fY}_9`zgyacSDRcw*)2@
SLR'@&+)2@9 G,
@ G r@
G.-
@ G 4@
tttTG/
@
tttL¢_fYRcY G/
@
`zgac_fY>+01}qiVDg¹`z^YDYt9a£YdvfYP^defacYPsq9w RS@C0?G2,
@ V
I±2^dar`nar`nSOeig!øqiVDg|`^ YDYtaNaT_iVLa`bt9`nar`V=jk`bµYPgåjbSf^Vj2LVLRy`zVLq9jbYPgNS R @ (NDYt9agVLRcYå`btigyaVLt9aVLtfYSDeigp
Ya3) qiYac_fYgyYa+S Vjj£aT_fYPgyYYDYt9ag}VLtisjbYa54
6
qiYac_fY^TjzVDgcg|`^V=j£q9`btiVLRcw;RcYdjzVLay`bSDt
s9Yd±itfYPsq9w VWhiSDRTa/SDtqiVDg¹`z^(YDYtadgbZP|^V=jkjbYPsa«O°«D?y¨¨ D¨P§6¨!v&
G /@ 4
6
G7
8:9
;<<<<<
=<<<<<> ? 9A@VLtis>CB¦Z 9ED I$H
G /@
`gac_fY+gyYtisO`btfUSLNVWYPgcgcVUDY+VLtisG 7@
`bagRTYP^dYhfay`bSDt
I$H F
GGHgyei^c_ac_iVLa G /@ 4
6
G2GH =?3IG2GH4
6 G 78
J _fYt^dSDtig¹`zs9YRy`btfUGqiVDg¹`z^YDYt9agoV sO`zgyaTRy`bqfefacYPsYdvfYP^defay`bSDt^VLtq YRcYhfRTYPgyYtaTYPsGqw
VhiVLRTay`zVjjnwSDRs9YRcYPs;gyYa mh SgyYa%!K) 9p)8sL4
6
!d2¡_9`zg h SgyYa+s9Yd±itfYPg ac_fY^dSDWhfefadVLay`bSDtFVLa
VWhiSDRTa Õg#jnYOYdj0LaT_9`gõjbYDYdjf`zgN^T_iVLRVD^daTYRy`bµYPs+q9w}ac_fYåmVD^da`ba&^dSDWhfRy`zgyYPgNV=jkji^dSDWWeft9`z^VLay`bSDt
YDYt9agMõ`bUDefRcY}ZsO`grh9jVwfgo`btac_fY£^TjzVDgcg|`^V=j2gyhiVD^dY¤Iay`bWY/sO`zVLUDRVW²o=V sO`zgyacRy`bqfefacYPsÃYdvxYP^defay`bSDt
VLa8õVLWhiSORca ÕgXjbYDYdjmYDYt9agVLRcYFs9YtfSDacYPs qw q9jVO^cº VLtis¦¢_9`naTY5^T`bR^TjbYPgo WYPgcgcVLUOYPgqw
VLRTRcSL¢Bg!
X¼ ¼ f!i¼ 2¼N!iP"!¼f 'bb¼ ¼
\}^^dSDRsO`btfUacSaT_fY+hfRcSDq9jbYW_fY"_iVDg/aTSgySLjbDY:mYDþUifs9YacYP^day`bSDt;SL&VXULjbSDqiVjøhfRcSOhiYRcayw6!&SDt9jbw
VgrefqigyYa/SLøqiVOg¹`z^}YDYt9agVLRcY}WYPVt9`ntfUÆe9jøaTSaT_fY}eigyYRmYDþU x^T_iVLtfUDYPgåSL&gySDWXYBLVLRy`zVLq9jbYPg!
¡_fYPgrYYDYt9agVLRcY^VjjnYPs y¨k¨©P«D§ ªB¨©P¨§iª@° TDei^c_VLtVLqigyacRVO^day`bSDtFSL/YDYt9ag}SV²sO`zgyacRr`n¤
qfefacYPs^dSDWhfefaVLar`nSOt _iVOg}VjbRcYPVDs9w²q YYtFhfRcSDh SgyYPsq9w gyYDYRdVj Vefac_fSDRgogyYYWfoZ !#Ya
O qiYac_fYgyYa"SLBRcYdjbY=VtaYDYt9ag%0ac_fYPgyYYDYt9ag+s9Yd±itfYac_fYeigyYR ÕgjnYOYdj `ntaT_fY´sO`zgyacRr`n¤
qfefacYPsYdvfYP^defay`bSDtFSLPõ`bUDefRTY´ZOoiRcYdjbYLVLta}YOYtag VLRcY"tfSDacYPs½qwq9jVO^cº;^T`nRd^TjnYPg !¡_fYhiSgrYa
4 4 4 4 4 4 4 4 4 4
4 4
4 4 4 4 4 4 4 4 4
4
4
4
4
4 4
4 4 4 4 4 4 4 4 4 4
õ`nUOefRcYZ&f\sO`zgyacRy`bqfefacYPsYdvfYP^defay`bSDt VLa VLWh SDRca Õg jbYDYdj
K
O 9pO2sP4
6
!s9Yd±itfYPgac_fY²sO`zgyacRr`nqfefaTYPs ^dSOWhfefaVLay`bSDtVaac_fY²eigrYR Õg"jbYDYdjmg.mt9acYRcYPgyay`btfULjbwDo
ac_iVtfºxg acS}acRVLtig|`nar`nO`baywS 4
6 o KO `ntf_fYRr`nadg£^VeigcVjihfRcYP^dYPs9Yti^dY `btis9ei^dYPsXqw^dSDWWeft9`z^VLay`bSDt
YDYt9agoìYDYt`£^dSDWWeft9`z^VLay`bSDt²YOYtagVLRcY}tfSDa/RTYdjnYLVLt9aP
[]\ l Anngi mTl'egnbcn6c h6bn6c8c h"f b$h-dbTh]h
Yd±itfYO @iVDgõac_fY&_9`zgyaTSDRcw}SLRS@iVLaac_fYeigyYR Õg jbYDYdjT& O @S9<H ,
@ H r
@ H -
@
tttBH7
@
ttt m¢/_fYRcY H7
@
`zgac_fY
D 01 RcYdjbY=VLt9aNYDYt9aNSLR'@!0dÆSOR D ZDo$H 7@
hfRcSLDSDºDYPgõac_fYåjbSx^VjigyaVacY£^T_iVLtfUDYåIRcSDW O 7
r
@
acSO 7@
C3EG>AQUO27
r
@
!N¢`jkjNqiY}eigrYPsVDg/Vgyw9tfSDtw9WSDeig SL O27
@
!f¡_fY `bt9`bay`zVj¶RTYdjnYLVLt9a/YDYt9aH ,
@
`zg G ,@ &
`baBs9Yd±itfYPg O2,
@
o9ac_fY `bt9`bay`zVjjnSf^VjøgyaVacYBS R @ &SOtacRdVLRcwacSYDYt9agåac_iVLa/VLRcY`btigyaVLt9aVLtfYSDeigpo
s9efYacSgrwti^T_fRcSDt9`bµPVLay`bSDtFVLtis½¢/V`bay`btfUjbSf^Vj graVLacYPg_iVDY+Vs9efRVLar`nSOt'02V"jbSf^Vj&gyaVLacY}SqR'@
jzVDgyadgåÆRTSDW VRcYdjbYLVLta YDYt9a/SL RS@Nay`jj¶aT_fY}tfYdvxa/SOtfY7õ`bUDefRcY+XsO`grh9jVwfgoiVLaeigyYR ÕgåjbYDYdjmo
jbSf^VjgyaVacYPg"SLaT_fY´sO`zgyacRr`nqfefaTYPsYdvfYP^defay`bSDt SL õ`bUDefRcYFZIRcSDW ¢/_9`z^T_G`bRcRcYdjbY=VLt9aYDYtadg
_iVO`ntfUqiYYtYdj`nWÃ`ntiVacYPs6!
.I&hfRcSf^dYPgcg R'@NacYRTW`btiVLacYPgo-O! #"%$0
@
¢`jkj£s9YtfSOacY}`bag jzVDgyajbSf^Vj graVLacY0-3EG>AQUO& #"%$ 0
@
!9<O&'
@ V
jbSf^Vj gyadVLacY}`zs9Yt9ay`z^Vj£aTS O #"%$ 0
@
VDgmVLRVOgjnSf^Vj&LVLRy`zVLq9jbYPg"SLqR'@/VLRTY^dSDti^dYRctfYPsE0P3EG>AQuCO '
@ !
`zgtfSDaBs9Yd±itfYPs²Vtis8H('
@
`gac_fY ±2^day`bay`bSDeigYDYt9a/ac_iVLahfRcSxs9ei^dYPg O&'@
*) +
PÁ !, %¼xL¼fÂõ¼"!L¼
¡_fY gyYa&SLjbSf^Vj#gyadVLacYPgõSLøV}sO`gracRy`bqfefacYPs^dSDWhfefadVLay`bSDt`zgNhiVRcay`zVjjbwSDRs9YRcYPsÃqwV RcYdjzVLay`bSDt
^VjjbYPs;°ªy¯D§® y¨vd¨ D¨P§6¨oDs9YtfSDacYPs
$
6
?.¹t9ÆSDRTWVjjbw O@
$
6 O 8
WYPVtigac_iVLa O%@¢ VOg&tfSWSORcY
$
$ $
$ $
$ $ $
$ $
$
õ`bUDefRcY+A&6Sx^V=j¶gyaVLaTYPg&S VsO`zgyaTRy`bqfefacYPsYdvfYP^defay`bSDtFVLaeigyYR Õg£jnYOYdjg
Ydv9`zgyay`btfU;¢/_fYtXO
8
qiYUVLtacSYdv`zgyaõ`bUDefRTY`zg+VtFYt9jzVLRcUDYWYt9a+SV½hiVLRca}SL õ`bUDefRcY
¢/_fYRTY+¢Y+^VLt²gyYY2O2,
r $
6 O r-
!d
$
$
õ`nUOefRcY+A&f\ tYdvìVWh9jbY+SL&gyacRcSOtfUhfRcYP^dYPs9Yti^dY
fSDRcWVjjnwDo gyacRcSDtfUhfRcYP^dYPs9Yti^dY"`zg s9Yd±itfYPs`btac_fY ÆSjkjbSL¢`btfU¢ VwE&
O /@ $
6
O7
839
H
/
r
@ 4
6
H.7
8
I$H2O27
8
9<3EG>*QUCO /@ !
õ`nUOefRcY²gy_fSL¢Bg/aT_fYRTYdjVay`bSDt
$
6
m¢`bac_fSDefa}aTRVLtig¹`bay`bO`naywYPs9UDYPg!BVDgcgrSx^T`zVLacYPs¢`bac_ac_fY
^dSDWXhfefaVLay`bSDt S õ`bUDefRcYFf/¡¢SjbSx^VjgraVLacYPgO@VLtiskO
8
VLRTY gTV`zs¦acSGqiY5^dSDti^defRTRcYtao
s9YtfSDaTYPs O@ O 8
of` Vtis²SOt9jnw½`CO@
$
6 O 8
!q=N3ICO
8 $
6
O%@!c \ ^dSDtig|`gracYta}UjnSOqiVj graVLacY
SLVsO`zgyaTRy`bqfefacYPs¦YdvfYP^defay`bSDt¦`zgVFtf¤Iefh9jbYGSL}jbSx^V=jgyaVLacYPg COr$sO
-
stttUsvOwA!gyei^T_¦ac_iVLa
?9A@&O @ O 8 $
$ $
$ $
$ $
$
$ $
$
õ`bUDefRcYX-&DaTRcSDtfUhfRcYP^dYPs9Yti^dYqiYay¢YYt;jbSx^V=j£gyaVLacYPgSLõ`nUOefRcY |VLRTRcSL¢Bg/VLRcY"IRcSDW jbYdIa
acSXRy`bUD_a!
*)
¼9&%ø¼fL¼f¼N!#¼
¡_fYgyYa/SLjbSx^V=j gyadVLacYPgå`zg VjzgySgyacRTei^dacefRcYPsq9wVN¨«y¨vd¨ D¨P§6¨åRcYdjzVLay`bSDtos9YtfSDacYPs
6
.¹t9ÆSDRTWVjjbw O%@
6 O 8
`k]O@2q YUVLtqiYdISDRcY O 8
DDS(`na`zg hiSgcg|`nq9jbY ac_iVLaqiSDaT_SL2aT_fYWWVw+Ydv9`gra
g¹`bWe9jbaVLtfYSDeig|jnw VLtis¦^dSDtigrYPDefYt9ayjbwhiVLRTay`z^T`nhiVacY;acS5aT_fY gcVLWXY ^dSOtig¹`zgyacYt9aULjbSDqiV=j(gyadVLacYD
õ`bUDefRTY W"`zgBVLtYt9jzVLRTUDYWYt9aBSLNVhiVLRca/S õ`bUDefRcY+â/_fYRcY}¢Y+^VLt grYY O rr
6 O r-
!
¡_fY}RcYdjzVLay`bSDt
6
`zgåISDRcWVjjbw²s9Yd±itfYPs`bt;ac_fY ISLjjbS=¢ `ntfU¢/Vw&
O /@
6 O 7
839 H /
@ 4
6 H 7
8
^dSDefRgyYDoO@
$
6 O
8 O%@
6 O 8 fRTSDW ac_fY´s9Yd±it9`bay`bSDtigâ£Y_iVDYVjzgySO%@
$
6 O
8
3EG>*QUCO@!
6 O 8
(õ`bUDefRcY gr_fS=¢ gac_fYRcYdjzVLay`bSDt
6
¹¢`bac_fSDefa&aTRVLtig¹`bay`bO`nayw"YPs9UDYPg!¶VOgcgySf^T`VacYPs
¢`bac_ac_fY+^dSDWhfefadVLay`bSDtSL õ`bUDefRcYì
õ`bUDefRcY WA&f\ tYdviVLWh9jbY+SLN¢YPVLºhfRcYP^dYPs9Yti^dY
$ $
$ $
$ $
$ $ $
$ $
õ`bUDefRcY & JYPVLºhfRTYP^dYPs9Yti^dY+qiYay¢YYtjbSx^V=j¶gyaVLaTYPg&S õ`bUDefRcY+:|VLRcRTS=¢ g&VLRcY IRcSDW jbYdÆa acS
Ry`bUD_9a%!
*) *) X¼ Gi
.¹tXZDZ VWhiSDRTa/`bt9acRcSfs9ei^dYPs²ay¢SacYWXhiSDRV=jøhfRcYP^dYPs9Yti^dYRcYdjzVLar`nSOtig SDt²SDh YRVLay`bSDtYdvxYP^def¤
ay`bSDtigp.I VLtisVLRcYay¢SBSOhiYRVLar`nSOtig
6 mRcYPVDsE&Xy¨vd¨ D¨°2!øWXYPVLtigNVjj#VD^dar`nSOtig
^dSDWXhiSg¹`btfU VLRcY^dSDWh9jbYacYPsq YdÆSORcYVLt9w²VD^day`bSDtS`zgqiYUDeft'0
6 mRTYPVDsE& d«D§
« ¨vª7!åWYPVLtig/gySOWY+VD^day`bSDtSL hfRcYP^dYPs9YPgBgrSDWY+VD^day`bSDtSL
¡_fYRcY`zg&V}g|`nWÃ`kjzVLRr`nayw±iRdgyaNqiYay¢YYtjbSx^V=j2gyaVLacYPgNVa VLWh SDRca ÕgõjbYDYdj2VtisVD^day`bSDtigåVLtis
gyYP^dSOtis}qiYay¢YYt}jbSf^VjxgyadVLacYPgVLaeigyYR Õg jbYDYdjxVLtis(SDhiYRdVLay`bSDtig%0¢ `naT_+gyei^c_V/^dSDRcRTYPgyhiSDtis9Yti^dY
RcYdjzVLar`nSOtigSDt(jbSx^VjfgyaVLacYPgõVLaeigyYR Õg jbYDYdj
$
6
Vtis
6
^dSDRcRTYPgyhiSDtis(acS/RcYdjzVLar`nSOtigSDt+SOhiYRVLar`nSOtig
6
VLtis
6
?|~ YWVLRcº"ac_iVLa`btSDefR^dSDtaTYdvxa&V WYPgTgcVLUDYRcYP^dYhfay`bSDtVYP^day`btfU+ac_fYRcYP^dYd`bDYR
jbSf^VjìgraVLacYNgywfgyacYWVLar`^V=jkjbw}Yt9aV`jzgøV^c_iVLtfUOY&acS/VtfY¢jbSx^VjfgyaVLacYISDRaT_fYNRcYP^dYd`bDYRøhfRTSx^dYPgcg0
gySÃ`ntSDefRB^dSDt9acYdvfa
6
o9`mþYD
6
oO`zgBVD^dwf^Tj`z^!
[]\ ab ` m ]hN?c lSd* Tl bcl i h*c hN?c jgdh"Ah6i hN Ah
¼xLÁ bÁ
.¹tacRTSxs9ei^dYPsg¹`bWe9jbaVLtfYSDeig|jnwqwõ`zs9UDY) £VLtisG ;VLacacYRct bZW¹oDYP^dacSDR^TjnSf^Tºxg^dSDtigyar`naTefacY
VLtXSDhiYRVay`bSDtiVjiacS9SLjfacS}Yti^dSxs9Y s9YhiYtis9Yti^dwVLtis^dSDti^defRcRTYti^dwS2YDYt9agSLV}sO`gracRy`bqfefacYPs
^dSDWXhfefaVLay`bSDtf\}gå`bt Zfo-W$¢Y}eigyY}_fYRcYgyei^T_DYP^dacSDRB^TjbSf^cºfg `ntac_fY ISLjjnSL¢`btfU¢/VPwE&
@CbZgtttT36`zgac_fY+OYP^dacSDR/^TjbSx^TºSLNhfRcSx^dYPgTg R'@09`ba`g£`nt9`bay`zVj`bµY=s acSZZ%@g|VµYRcSOYP^dacSDR
¢`bac_5Z`bt²aT_fY3?01 h Sg¹`bay`bSDtE!v0ìac_9`zg`bt9`bay`zVj`bµPVLay`bSDt5g¹`bWe9jzVLacYPgYDYt9aH ,@
&VD^T_Fay`bWYR'@Yt9acYRg+V½tfY¢jbSf^Vj gyadVLacYmYdvfYP^defay`bSDt5SVRTYdjnYLVLt9aYOYta%!
@U? `zg
`bti^dRcYWYt9acYPsq9w´VÃhiSg¹`bay`bDY"=VjbefY:mYDþUiZ$!&VLtisac_fY}tfY¢ =VjbefY+S¶ac_fY}OYP^dacSDR/^TjbSx^Tº
^dSDtigyay`bacefaTYPgac_fY+ar`nWXYPgyaVLWhSøac_9`zgjbSf^Vj¶gyadVLacYD
\/jjNWYPgcgcVUDYPg^VLRcRcwac_fY+^defRcRcYt9a/LVjbefYSøac_fY+OYP^dacSDR/^TjbSx^TºSLNac_fYd`bRgyYtis9YRdg
J¦_fYt V WYPgcgcVLUOY<;;o^VLRcRcwO`btfU
C; !co}`zgGs9Ydj`nOYRcYPs acS R'@yo
@`zgGefhsfVLacYPs acS
;=N>
@Cs
; !U!
r
Á2 i}Á¼9¼fL ÁL /pf¼x %ø¼fL¼f¼N!#¼
Ya
CO@!&VLtis
CO
8
!NqiY}ac_fY ay`bWYPgyadVLWhigåRcYPgyh YP^day`bDYdjbw²VDgcgySf^T`zVLacYPsX¢`bac_jbSf^Vj¶gyadVLacYPg O@SL
RS@¶VtisO
8
SLR
8
+ìRcSDW RcYPgye9jbagåSLq oZW2SOtac_fYBar`nWXYPgyaVLWh9`btfUSøYDYt9agVLtisRcYPgye9jbagåSL
bZSDtac_fY"ay`bWYPgyaVLWXh9`ntfUSLjbSx^VjNgyaVLacYPg ¢£Y+^Vt s9YPs9ei^dY+aT_fY}ISLjjnSL¢`btfURcYdjzVLay`bSDtig VLqiSOefa
ac_fY}hfRTYP^dYPs9Yti^dY+SLjbSx^V=j¶gyaVLaTYPg? /ac_fYRRcYdjzVLay`bSDtigVLtisISDRcWe9jzVDg^dSDti^dYRct9`btfUXjbSx^VjøgyadVLacYPg
^VLtqiY(ÆSDeftisX`bt"#%!
! #"
$%'&)(Oó *",+-
ó.% ÷I÷0/2143652z07877:9 #"<;
3>= ?$%@&)(Oó #"<;
3#=
+:
ó.%B÷
;
3#=n÷
+
PÁ !,A%¼xL¼fÂõ¼"!L¼kO%@
$
6 O 8 9
CO%@B!v?
CO
8
!v?
¼&%¼xL¼fÂõ¼"!L¼<O@
6 O 8 9
CO%@B!v?
CO
8
!v?
åc/ .}
\B^ h Tn6c$c` Ah"l mBl'e nbcn-ch6b
¡_fYgrYa SL V=jkj5^dSDtig|`gracYta¦ULjbSDqiV=jgraVLacYPg¦VDgcgrSx^T`zVLacYPs ¢`bac_V sO`gracRy`bqfefacYPs^dSOW¤
hfefaVay`bSDt OK 9k O2sP4
6
!_iVDgV jzVLacar`^dY%gyacRcei^dacefRTY-¢/_fSgyY W`bt9`bWVj mRTYPgyhfaP¦WVv9`b¤
WV=j!¦YdjbYWYt9a `zg ac_fY`bt9`bay`zVjkmRcYPgrhfaPX±itiVj! ULjbSDqiVj gyadVLacY , 9kCO ,r
stttUsvO ,@
stttusvO ,w !
mRTYPgyhfaP #"%$0P9kCO #"%$ 0
r
stttusvO " $ 0
@
stttUsvO #"%$0
w
!-L ¡ _fYRcY `gVt YPs9UOY]IRcSDW V DYRcacYdv
9kCO r stttCsO @ stttUsO w !acS+V(DYRcacYdv 69kCO r stttCs3EG>AQuCO @ !vstttusvO w !`køVLtisÃSDt9jbw`#aT_fYRcY
`zgVLtYDYt9a H%@SL'R'@ac_iVa£^VLtq Y/hfRcSfs9ei^dYPs`btULjbSDqiVjgyaVLacY 0H@^dSDtigyay`bacefacYPg ac_fYjzVLq Ydj2SL
ac_9`zgYPs9UDYbZW¹õ`bUDefRcY # gr_fS=¢ gac_fYåjzVLacay`z^dY/VDgcgySf^T`zVLacYPs(¢`bac_ac_fY£sO`zgyacRr`nqfefaTYPs^dSDWhfefaVay`bSDt
sO`zgyh9jzVwDYPs½`bt õ`bUDefRcY+f
.mt9ISDRcWVjjbw²VgyYPOefYtay`zVjSDqigyYRcLVLay`bSDtSL¶VXsO`gracRy`bqfefacYPs²^dSOWhfefaVLay`bSDt
K
O RcYhfRcYPgrYtagV
^dSDtig|`gracYtaNO`bY¢SL OVLt"YdvxacYRTtiVjìgrYPDefYt9ay`zVjfSDqigyYRcDYRN^dSDe9jzs"_iVDYbZOoDZ$#m ²SORcYNISDRcWV=jkjbwK
VLtSDqigrYRc=VLar`nSOt 1 `zgNV}gyYPOefYti^dY& ,H r r
HM- P-Pttt @ r H @ @ H @ r
ttt " $0iSLULjbSDqiVj2gyadVLacYPg
VLtis½YDYt9ag/gyei^T_ac_iVLa&
VjjøYDYt9ag VLhfhiYPVLR `nt;VLt²SORs9YRB^dSDtig¹`zgyaTYta ¢`bac_ OK `YDfac_fY+gyYPOefYti^dYSL¶YOYtag£`nt
1 `zg V"j`ntfYPVRBYdvfacYtig¹`bSDt 4 SLKO !v0
@
`gac_fY}ULjbSDqiV=j¶gyaVLaTYBSDqfadV`btfYPsIRcSDW @ r
q9wYdvfYP^defay`btfU H @
\BtFSOqigyYRc=Vay`bSDt;`zg+V
+
hiVac_-,X`btFac_fYjzVLacar`^dYDo#`btF¢/_9`z^c_GULjbSDqiVj£graVLacYPg}^dSDRTRcYPgyhiSOtis;acS
DYRTay`z^dYPgVtis;YDYt9ag acSjzVLqiYdjzgS£YPs9UDYPgõ\^^dSORsO`btfU aTSac_fYhfRcSDq9jbYW·¢£YX¢ Vta}acS²grSLjbDY
SDt9jbw"YDYtadgSDRõULjbSDqiVjigyaVLacYPgõ^VLt+q Y ^dSOtig¹`zs9YRcYPs"¢`bac_9`btVLt+SOqigyYRc=Vay`bSDtP\}ggy_fSL¢/t `bt Z$#%
VjjNhiSgTg¹`bq9jnYSDqigrYRc=VLar`nSOtig/SL&VsO`zgyacRr`nqfefaTYPs ^dSOWhfefaVLay`bSDt²^dSORcRcYPgyh SDtisYdviVD^dayjbwacSVjjNac_fY
hiVLaT_ig/SLNac_fY(jVacay`z^dYmac_fY `btaTYRcYPgyacYPsRcYPVDs9YR ¢`jjø±itisWSORcY+s9YaV`jzg}VLqiSOefaBSDqigrYRc=VLar`nSOtig
`bt ZDoZ$#%!
ÑÒÜ=Ý=ÚrýDícýÕ×dÛ=ÚrýÔIàmÚTàIÜOÜdÓÕÔIàIÔ ×ÝpýÕâÓþæxÚrýþýDßPØI×ûyÜyÔIÔIÜ|Ô ×cæ9àIÒPÜápÓÕÔIàIØ@ÓÕÛPÞPàIÜyá ûy×äßPÞàmÚcà@ÓÕ×dÝ àIÜ|ØIäåÓÕÝLÚcàIÜ
"ÜøÔIÞßPßL×ÔIÜ ÓÕÝBàIÒÜæb×TýþýÕ×cÖÓÕÝí/ÔIÞPû¹Ò=ÝpÓÕàIÜNáÓÕÔIàIØ@ÓÕÛPÞàIÜyá+ûy×äßÞPàmÚTà@ÓÕ×ÝÔøÛÞPà×ÞØØIÜyÔIÞýÕàIÔøÚrýÕÔI×/ÚcßßýÕâ/àI×åÝP×dÝÿ
àIÜyØIäåÓÕÝ=ÚTà@ÓÕÝPí}ûy×dä£ßÞPàmÚTà@ÓÕ×ÝÔ
ï¦ýþÓÕÝÜcÚcØ"ÜàIÜyÝÔ@ÓÕ×Ý K $;ó +! #"
$
÷/×TæBÚß=ÚTØIà@ÓkÚrý ×dØIáPÜyØ $K ó + $
÷ÓÕÔÚàI×àmÚrý£×dØIáPÜyØ}ÔIÞûmÒ;àIÒ=ÚTà
1&%
+'
5( )%
$
'+*
%
#"
$ '
$
$ $
$
$ $ $
$ $
$
$
$
$
$ $ $
$
$
$ $ $$
$ $ $
$ $$
$ $ $
$ $
$
$ $ $ $
$ $
$ $
$
$ $ $ $ $
$
$ $
õ`nUOefRcY2#N&-Vacay`z^dY+VDgcgySf^T`zVLacYPs½¢`bac_ac_fYsO`zgyaTRy`bqfefacYPs²^dSDWXhfefaVLay`bSDtSL õ`bUDefRcY
\ [ M h `cnEe ThamTl'egnbcn6c h6b
) ¼P! bÁ!
\ ULjbSDqiVjBgyaVacY`zg¥@§i¨P©¥zªI«9¬¨}` `baq YdjbSDtfUgacSFVjj/ac_fYSDqigrYRc=VLar`nSOtig+SBac_fYsO`gracRy`bqfefacYPs
^dSDWXhfefaVLay`bSDtDA.¹t õ`bUDefRcY2#9o 9kCO.-
r
svO
r-
svO.-
4 ! `g VLt`btfYO`nadVLq9jbYUjnSOqiVj¶gyaVacYD
~YdjbY=VLt9aYDYtadg}VLtis`btfYD`baVq9jnYUjnSOqiVj£gyaVLaTYPgBVLRTYac_fYRy`bUD_9aVLqigyaTRVD^day`bSDtig acS²grSLjbDY
hfRcSOq9jnYWgå`btDSjnO`btfUUjnSOqiVjøgyaVLacYPgågyYYtq9wVjjøSDqigyYRTDYRg9¡_fYPgyY+gyaVacYPg&^T_iVLRVD^daTYRy`bµY}ac_fY
UDRTYPVLacYPgya/gyYa/SøULjbSDqiVj¶graVLacYPggy_iVLRTYPsqwVjjøhiS9gcg¹`bq9jbYSOqigyYRc=Vay`bSDtig?.mt;VDsfsO`bay`bSDt²acSac_fYd`bR
^dSDti^dYhfaTeiVjø`bt9acYRcYPgyaofac_fYwhfRcYPgyYt9aVhfRdVD^day`z^Vj`bt9acYRcYPgyaBVOgac_fYd`bRs9YaTYP^day`bSDt ^VLtq Ys9SDtfY
VLa jnSL¢^dSgyaygyYYDYP^day`bSDt;iþA!N¢`bac_fSOefa/qfe9`jsO`btfU;ac_fY jzVLacar`^dY"SL&ULjbSDqiVjNgyaVLacYPgå¢/_9`z^T_F^VLt
q Y+YdvfhiSDtfYt9ay`zVjN¢`bac_RcYPgyh YP^daBacSXac_fY}tefWq YRBSLhfRcSx^dYPgTgyYPg
\gåVLtYdviVLWh9jbY/SLeigyYB^dSOtig¹`zs9YR£aT_fYBs9YacYP^day`bSDtSL2hfRTYPsO`^VacYPggyei^c_VDg o`btacRTSD¤
s9ei^dYPsq9w &SSOhiYR}VLtis² ;VLRcµe9jjbSþ$mf\sO`zgyaTRy`bqfefacYPs;^dSDWhfefaVLar`nSOtFgcVLay`zg¹±iYPghfRcYPsO`z^VLacY
<9 !o9¢/_fYRcYG`zg/V"hfRcYPsO`z^VLacY}SDt²V"ULjbSDqiVjøgyadVLacYDoL`&VLtisSDt9jbwX`kNYPVD^T_
SDqigrYRc=VLar`nSOt 1 /
SL`bti^Tjbeis9YPg}VULjbSDqiVj¶graVLacY
/
gyei^T_²ac_iVLa / 9
\g ^VLtqiYVLt9w²hfRTYPsO`^VacYSDtFVULjbSDqiVj£graVLacYDoVjbUDSDRy`bac_fWg acS²s9YacYP^da VRcY
tiVLaTefRVjjbwqiVOgyYPsSDtV aTRVDYRgcVj9SL2ac_fYYtay`bRcY jVacay`z^dY/SLULjbSDqiVj2gyaVacYPg ZDoDfoL$m$.mtfYO`baVLq9jbY
ULjbSDqiV=j gyadVLacYPg^VLt²q YgyYYt VDgV^c_fYPVh²_fYefRy`zgyay`z^V=jnaTYRctiVLay`bDY acSÃjk`bW`ba}ac_fYgyYPVLR^T_ grhiVD^dY
VDg ¢£Y}_iVDY&
F E?T3EG
?Q=NF%LG & 9 !
9 !
.IBVDsfsO`bay`bSDtiVjjbw¦`zg"gyei^c_Gac_iVLa `ba^VLt;SDt9jbwFqiYaTRcefY`bt5VLt;`btfYO`baVLq9jbYULjbSDqiVj£gyadVLacYDo
ac_fY + UDRcYYPs9wA,s9YacYP^day`bSDtUL`bDYPgBV=jn¢/Vwfg&aT_fY+Ry`bUD_9a/VLtigy¢YRBVDgå`btac_9`zgB^VDgrY&
F E?T3EG
?Q=NF%LG & 9 ! 9
9 !
~YPgye9jbag}S o&&VLRcY+YdvfhfRcYPgcgrYPsFVLaVLWh SDRca Õg jbYDYdjmø¡_fYw;^dSDti^dYRct;ac_fYs9YacYP^day`bSDt
SL ¢/_fYRcY 9!
w
@#"Er%$
R'@2¹YPVD^c_
$
R'@}q Yd`btfUV;hfRcYPsO`z^VLacYjbSx^V=jacSGVR'@'&$! #Ya
9kCO r stttCsO w !/V^dSDtig¹`zgyacYt9aBUjnSOqiVj¶gyaVacYDo (9` VLtis½SDt9jbw`k)!
@
O @ 9 $ R @ !NJ `bac_
SDefRõjbYDYdjfSLìVqigyacRVD^dar`nSOt2meigyYR Õg2jnYOYdj!YPVD^T_JRS@|o `ntac_fY&sO`zgyaTRy`bqfefacYPs^dSDWhfefaVLar`nSOtøopYtacYRdg
VtfY¢ jnSf^Vj£gyadVLacY7O%@YPVD^T_;ay`bWY
$
RS@£^T_iVLtfUDYPg`bag(=VjbefY*/0¡_fSgyYVLRcYac_fYSDt9jbw;RcYdjbY=Vta
XÓÕàIÒàIÒPÜåÓÕÝÓÕà@ÓkÚrý¶ÚTÝPá+àIÒÜ =Ý=ÚrýícýÕ×dÛ=ÚrýÔIàmÚcàIÜyÔ&Úrýþý#ÚTØIà@ÓÕûyÞýkÚTà@ÓÕ×ÝßL×cÓÕÝàIÔ×Tæ2àIÒPÜåýkÚTàIà@ÓÕûyÜÚTØIÜåÓÕÝPÜ,+dÓÕàmÚcÛpýÕÜ
íTýÕ×ÛLÚyýiÔIàmÚTàIÜyÔ
ïáÜ|àIÜyûyà@ÓÕ×dÝ´ÚrýÕí×dØ@ÓÕàIÒPä+dÓÕÔ@ÓÕà@ÓÕÝí×dÝýÕâÃÓÕÝPÜ,+dÓÕàmÚcÛpýÕÜ+íTýÕ×ÛLÚyýNÔIàmÚTàIÜ|Ôyù ûrÚTÝÛLÜ û|×däß=ÚTØIÜyáàI×Ú -IídØIÜyÜ|áâ/.
ÚrýÕí×dØ@ÓÕàIÒPä¦àIÒLÚcàyùÓÕÝ}ûy×äåÛÓÕÝ=ÚTàI×dØ@ÓkÚyýßPØI×dÛýÕÜyäÔyùDûrÚTÝ}ÔI×dä£Üyà@ÓÕäÜyÔøäåÓÕÔIÔàIÒPÜNÔI×TýÕÞPà@ÓÕ×dÝ
ÓÜ 10 "
ÓÕÔ×dÝýÕâ ×ÝýÕ×ûcÚyý2+ÚTØ@ÓkÚTÛýÕÜyÔN×cæ "
èp×£ÖÜÒ=Ú,+dÜ43
"25
$ 0 "
/76#ó.9&%!(98¹ó:3
"÷ 5
$;0 "÷
YDYt9agNvfhfRcYPgcgyYPs½¢`bac_²ac_fY `btfYO`baVLq9jbYULjbSDqiVj¶gyadVLacY+VLqigyaTRVD^day`bSDto9RcYPgye9jbagSL oi&$^VLt
q Y+RcYdISDRcWe9jzVLacYPsVDg&
9 !
9 F E?B3G
? QC=?F%LG& (9 !
¡_9`zgISDRcWe9jzVLay`bSDt¦YdvxhfRTYPgcgyYPg²^TjbYPVLRrjnw¦ac_fYYdvìVD^daWXYPVLt9`btfUSL7 9 ! @ $ RS@!U!
¢`bac_GRcYPgyh YP^daacS²ac_fYXjzVLacay`z^dYSL/ULjbSDqiVj/gyaVLacYD¡õS;SDefR+º9tfSL¢jbYPs9UDYac_9`zg}`zg"ac_fY±iRdgyaay`bWY
gyei^T_ Vt²VLqigyacRVO^da&ISDRcWe9jzVLay`bSDt`zgUL`bDYt
) !¼xL¼fPpi¾5!¦
(¼N!iLÁ!#Â bÁ !
Ya 9kCOr$stttsvO@CstttusvO%w*!¶q YV"ULjbSDqiVjøgyadVLacY |sO`zgyay`bti^da/IRcSDW , VLtis " $0 ! JFY}_iVDY&
+
9kCOr$stttUsvO@CstttsO%wA!`zg Vt `ntfYO`baVLq9jbY ULjbSDqiVj graVLacY ` VLtis SOt9jnw `
?us@7&O@
6
3G>AQuCO
8 !
"PÁÁ
YaH%@ qiY RS@ ÕgYDYt9aac_iVLaXhfRcSxs9ei^dYPs O%@coH
8
qiY)R
8
ÕgYDYt9aac_iVLaXhfRcSxs9ei^dYPs
3EG>AQuCO
8 ! CO
8
9<O
'
8
!v0
&SDtig¹`zs9YR
9kvtttsv3EG>*QUCO
8
!vsttt!c\Bt9w;SDqigyYRcLVLay`bSDt^dSDWhfRy`zgyYPg mq9w;_w9¤
hiSDaT_fYPg¹`zg!&VLtisgyei^T_´V Emq YP^VLeigyY YPVD^c_XSDqigyYRcLVLay`bSDtX`nti^Tjbeis9YPg/V=jkjYDYt9agåVLtis
gySJH 8
!¶VLtis VLhfhiYPVRgNq YdÆSDRTY 6|VDgO
8
`zgNhfRTSxs9ei^dYPsXqiYdISDRcY3EG>AQuCO
8
!!v0D^dSDtigyY¤
DefYt9ayjbw7H%@VLhfhiYPVLRdgNqiYdISDRcY H 8
¢`bac_9`btac_9`zg SDqigyYRcLVLay`bSDtD SDRcYSLDYRac_9`zg`zgNaTRcefY
ÆSORBVLt9w^dSDefh9jbY?Us @-!m
\g `zgX`btfYD`baVLq9jbYFaT_fY hfRTYD`bSDeigRcYWVLRcºG`zgacRcefY½ÆSDRVjj}SDqigyYRcLVLay`bSDtig .¹a
ÆSjkjbSL¢BgaT_iVLaISDR/VjjøSDqigyYRcLVLay`bSDtig%& ?Us @A&-H%@NVLhfh YPVLRgq YdÆSDRTY H
8
fRcSOW-Dµh9`jbRVL{ytÕgac_fYSORcYW bZ m¢_9`^T_gyaVLacYPg(ac_iVLa"ac_fY`bt9acYRgyYP^dar`nSOtSLBVjj
j`ntfYPVR£YdvfacYtig¹`bSDtig_fYRcYac_fY/gyYaåSL2Vjj2SDqigrYRc=VLar`nSOtig+SL#V hiVRcay`zVjiSDRs9YR9_fYRcY
K
O 9 O2s4
6
!`zghfRTYP^T`grYdjnwac_9`zghiVLRcar`V=j#SORs9YR%!N`baISLjjbS=¢ gac_iVLa ?Us @7&H%@ 4
6 H
8 0
ac_iVLa `g acSgcVw"`btacYRcWg SLjbSf^VjøgyaVLacYPg cDYP^day`bSDtfÕf?! ?Us @7&O%@
6
3G>AQuCO
8
!c
YaBVUjnSOqiVj¶gyaVacY 9kCOr$svO
-
stttUsO%wA!åqiY+gyei^T_²ac_iVa ?us@7&?O%@
6
3EG>*QUCO
8
!d
õ`bRgya}jbYa"eig+gy_fSL¢ac_iVLa ¦`zgV^dSOtig¹`zgyacYt9a+ULjbSDqiVj/gyaVLaTYDDefhfhiSgyYXac_iVLa¦`zg
tfSDa£^dSOtig¹`zgyacYt9aP¡_fYt
F
?Us @7&NO@
$
6 O 8
cDYY}DYP^dar`nSOt²fÕfbZåISDRNac_fY}s9Yd±it9`bay`bSDtSL
V+^dSDtig|`gracYtaåULjbSDqiVjgyaVLacY$!0ÆRcSOW¢/_9`z^T_¢YB^VLt^dSDti^Tjbeis9Y2|gyYY"DYP^day`bSDt´ìÕfÕ?!
F
?Us @7&3EG>AQuCO @ !
6 O 8
¢/_9`z^c_½`g V^dSDt9acRVOsO`^dar`nSOt
/SL¢ ^dSDtig¹`zs9YRVLt-SDqigyYRT=VLay`bSDt 1 ac_iVLa ^dSOWhfRy`zgyYPg ay¢£SUjnSOqiVj gyadVLacYPg
9kvtttUsvO@Csttt!BVLtis 9pvtttUsv3EG>*QUCO
8
!vsttt!dJFY_iVPOY+acS²gy_fSL¢ ac_iVLa
hfRcYP^dYPs9YPg z
YaH
@
qiY RS@ ÕgYDYt9aac_iVLaXhfRcSxs9ei^dYPs O%@yo H
@
qiY RS@ ÕgYDYt9aac_iVLaXhfRcSxs9ei^dYPs
3EG>AQuCO%@!/VLtis H
8
q Y R 8
ÕgYDYt9aBaT_iVLa/hfRcSfs9ei^dYPs)3G>AQuCO
8
! \g 1 `nti^Tjbeis9YPg"Vjj
YDYt9agå`ba`bti^Tjbeis9YPg H @ o-H
@
VLtis H
8
0fac_fYt²gyei^T_ 2VLtis iYdv9`zgyag
VhfhiYPVLRg(`bt<1V=ÆacYR7H @ VLtisqiYdISDRcY8H
@ 0 VLhfh YPVLRgV=ÆacYR2H
8
N SDRcYSLDYR
H @ 4
6 H
8
mq YP^VLeigyYJO@
6
3EG>AQuCO
8
!!v0x`na ÆSLjjbSL¢Bgac_iVa hfRTYP^dYPs9YPg `bt 1X
\g qw _9wh SDac_fYPg¹`zg ?Us @:&NO%@
6
3EG>AQUO
8
!F¢£Y _iVPOY ?us@7&?H
@ 4
6 H
8
0^dSDtigyY¤
DefYt9ayjbw²VLt9wSOqigyYRc=Vay`bSDt81 `zg gyei^c_ac_iVLa&
1 9 ,tttTH
@ @ tttH
@ @
tttTH
@ H
8 8 tttTH
8 8 tttTH
8 8
ttt " $ 0
¢`bac_tf¤Iefh9jbYPg ?BrstttUs ? wN!NVLtis@$rstttUs @w?!qiYd`btfUh YRcWefaVLay`bSDtigSLZ/stttsv3S!c
.maISLjjbSL¢Bg/aT_iVLaac_fY}ULjbSDqiVj¶graVLacY
`zgac_fY}ULjbSDqiVj¶graVLacYB
\ h AnEb$h l , ngi #"%$ 0
)*)
Á!#Â bÁ!#Áf@ ¹¾
Ya`ba/qiY"ac_fY}ay¢S+ISLjjbSL¢`btfUhfRcSOhiYRcay`bYPg%&
) , ?Us @7&O ,@
6 O r8
) " $0
?Us @7&O
" $0
@
6 O '8
, `zgtfSDa/s9YP^TjzVLRcYPs`btfYO`baVLq9jbYqw^dSDtisO`bay`bSDt
+
`P) , `zgtfSDaDYRr`k±iYPsfSOR V"UL`bDYt
^dSDWXhfefaVLay`bSDtofaT_9`g_iVLhfh Ytig`k£grSDWY RS@N_iVDgtfSDa/q YYt`nt9ISDRcWXYPs²VLq SDefa`bt9`bay`zVj`nµPVay`bSDtFSL
gySOWY7R
8
qiYdISDRcYYtaTYRy`btfU O r
@
mq YP^VLeigyYWXYPgcgcVLUDYPg_iVDYtfSDa}qiYYtGgyYta}SORVLRTYaTRVDYdjjk`btfU
acS9S
+
g|jnSL¢jbwA,acS`ba%!d
L`nWÃ`kjzVLRrjnw " $ 0 `zg/tfSDa}s9YP^TjzVLRcYPs½`btfYD`baVq9jnYÃ`kP) " $ 0 `gtfSDa DYRy`±iYPsfSDR ) " $ 0 acSqiY
acRTefYYPVO^c_ RS@yo¢/_fYt;`bt5gyaVacYJO
#"%$ 0
@
oWeigya+gyYtis;VWYPgcgTVLUDYacSYPVD^T_;SDac_fYR R 8
|VLtisSDt9jbw
VIacYR/RTYP^dYhfay`bSDt²SL&Vjjøac_fYPgrY}WYPgcgcVLUOYPg R 8
YdvfYP^defacY H('
@
`mþYD9`ba/acYRcWÃ`ntiVacYPg!
) , mRTYPgyhfaPM)
" $ 0 !ÆSORcWVjjbwYdvxhfRcYPgTgyYPg`btV}sO`zgyacRr`nqfefaTYPsgywxgracYW^dSDt9acYdvxaNaT_fY&`bt9ISDRcWV=j
tfSDar`nSOt
+
VjjøhfRTSx^dYPgcggyaVLRcaTYPs mRcYPgyhfaPO±it9`zgy_fYPs6!/g¹`bWe9jnadVLtfYSDeig¹jbwA,f
)*)
!, , ! #"%$0 À9¾ø!¼ i b¼
DS½`k SDtfY¢/VLt9ag ac_fY`bt9`bay`zVj/ULjbSDqiVj£gyadVLacY , mSOR}ac_fY±itiVjSDtfY " $ 0 !/SLBVsO`gracRy`bqfefacYPs
^dSDWXhfefaVLay`bSDtq Y+Vjb¢ VwfgåRcYP^dSDUDt9`bµYPsVDg `btfYD`baVq9jnYDo^dSOtisO`nar`nSOtig) , mSOR) " $ 0!NWeigya/gywfgy¤
acYWVLay`z^VjjbwqiY+gcVLar`g|±iYPsA.mtac_iVa£^VDgyY:) , mSDRL)
" $ 0 !`gVDsfs9YPsacSac_fY ¢£YPVºhfRcYP^dYPs9Yti^dY
RcYdjzVLar`nSOt
\/a/ac_fY}SDh YRVLay`bSDtiV=jjbYDYdjøac_9`zg `gYtigyefRcYPs½qwVDsfsO`btfUac_fY ÆSjkjbSL¢`btfURce9jbYPg%&
Á2 ) , J¦_fYt `ba Yt9acYRg O r@ o hfRcSf^dYPgcg RS@ ?B! s9S9YPg·ac_fY ÆSLjjbSL¢`btfU efh2sfVLacYPg&
@ &
@U@?E&9 ;=N>
@C@NBsPZ$!T0ac_9`zg YtigrefRcY
?Us @:&O2,@
6 O r8
|grYYRcYdjzVLay`bSDt¸`bt*DYP^d¤
ay`bSDt²fþ Õ?!v0
Á2 ) #"%$ 0y efRy`btfUjnSf^VjBgyaVacY O #"%$ 0
@
ohfRcSf^dYPgcg2R'@
?!}qfRcSVOsf^VDgyag(acSFVjjR
8
V;^dSDtaTRcSLj
WYPgcgcVUDYF^VLRcRcwO`btfUSDt9jbw VGar`nWXYPgyaVLWhLJ¦_fYt¦`ba_iVDgRTYP^dYd`nOYPs gyei^T_ VGWYPgcgcVUDY
ÆRTSDW YPVD^c_SOac_fYR R'@YdvxYP^defaTYPg H
'@
09ac_9`zgYtigyefRcYPg ?us@7&O
#"%$
0
@
6 O '
8
|gyYY}RcYdjzVLar`nSOt`nt
DYP^day`bSDt ìþiÕ?!d
)*) *)
¼9! !,5Á !2¼ i bd¾ mÁ , ! #"%$0
) , gyaVLacYPg(ac_iVLa(ÆSDRVLt9w5^dSDefh9jbY)CRS@svR
8
!co RS@ ¢ VOg jzVLefti^T_fYPs I`basO`zs`nadg}`bt9`bay`zVj`bµPVLay`bSDtig!
q YdÆSDRTYJR
8
YdvfYP^defacYPs`bag ±iRgyaYDYta H r
8
A.¹t²SDac_fYR¢£SORsfgå`P) ,/`zgDYRy`±iYPsqwac_fY+^dSDWhfef¤
aVay`bSDt`bagyYdjq `YD¢ `naT_fSDefa/ac_fY+VDsfsO`bay`bSDtSøRce9jbYPg/S&DYP^day`bSDt²fÕìÕ?!oOac_fYt²Vjj`nt9`bay`zVjjbSx^V=j
gyadVLacYPg O ,@
^dSD¤IYdv9`zgyacYPsVLa&gySOWYBhf_9wfg¹`z^Vj2ay`bWY I`mþYD9V}hfRcSf^dYPgcg R'@õ¢ VOgtfSDaN`btgyaVLacY O -@
¢/_9`jbY
VLtfSOac_fYR}SDtfY_iVDstfSDa}wOYa}qiYUDeftE!¡_fYgcVLWYRcYWVLRcº Vhfh9jk`bYPg"acS " $0 åSDtigyYPOefYtayjbwDo
¢/_fYt;VDsfsO`bay`bSDtiVjNRce9jbYPg SLDYP^day`bSDt ffÕVLRcY"tfSDa/eigyYPsoì`£^dSDtisO`bay`bSDt
+
VLhfh9j`nYPsacS ,
mRTYPgyhfaP
#"%$0
!£YLVjbeiVLacYPg acSacRcefYDo ¢Y^VLt;^dSDti^Tjbeis9YDoøVDg ) ,
mRcYPgyhfa)
#"%$0
!¢ VOg/gcVLay`zg¹±iYPs
q9waT_fY+^dSDWhfefaVLar`nSOt`nadgyYdjrofaT_iVLa , ¹SDR #"%$0 !NRcYPVjjbwYdv9`gracYPs²s9efRy`btfUaT_fY+^dSDWhfefaVLar`nSOt
ÑÒÜBÚTáPáÓÕà@ÓÕ×dÝ×cæ ób×dØ(b÷NàI×}àIÒÜBÖÜcÚTÙ+ßPØIÜyûyÜyáPÜyÝPûyÜ}ØIܹýkÚTà@ÓÕ×ÝOùiܹýþÓÕä&ÓÕÝLÚcàIÜyÔ àIÒPÜ ßL×ÔIÔ@ÓÕÛpÓþýþÓkà@âàI×
Ü ÜyûyÞPàIÜ£ÚåápÓÕÔIàIØ@ÓÕÛPÞPàIÜyáßPØI×dídØmÚcää/ÚTáPÜ&×Tæ9 ÓÕÝPáÜyß=ÜyÝáPÜyÝà&ßØI×û|ÜyÔIÔIÜyÔyùD×dÝPÜ&ÚrænàIÜyØàIÒÜN×àIÒÜyØ