HAL Id: inria-00074419
https://hal.inria.fr/inria-00074419
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.
On the fly testing of regular patterns in distributed computations
Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson
To cite this version:
Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson. On the fly testing of regular patterns in distributed computations. [Research Report] RR-2252, INRIA. 1994. �inria-00074419�
ISSN 0249-6399
a p p o r t
d e r e c h e r c h e
1994
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
ON THE FLY TESTING OF REGULAR PATTERNS IN DISTRIBUTED
COMPUTATIONS
Eddy Fromentin, Michel Raynal, Vijay K Garg and Alex Tomlinson
N˚ 2252
Avril 1994
PROGRAMME 1
Architectures paralle`les, bases de donne´es, re´seaux et syste`mes distribue´s
!"#$%&' ()* +,-"
.0/1/32457698;:=<?>7@A<CBEDFG@IHKJ1:=LNM#O=23<"OPLQBRDST@VUWO=2;XYTOP57Z[B\B#O]<"/_^LA:=`,aN6b8;Lc@A<"d\6b<CB\B
eNfhgPiPfWj=klknmporqtsCfWuhvbwyx\mQu7x\z{f\mQ|0}?j=fWj~~m7~mQ|K? ?jP|mQ|bmpbgP{mEmQ|Ebf{mQ|mQj=zb
mExC||xQmEknmQ|]wc|x\fwy {zmQ|
eNf\g]mExsb}
j}{}?gPf\xbmf\mQu\v{mEf7u\v{m#9P]Pqts9fw~oQP=q oQ}?j=iPmQ|
¡ E¢Q£R¤?¥=¢P¦suh~§j]|\|g=¨}{f\g]}?mEf\xwymQ|©g=¨C]w§|x\fwy {z{x\mQGu7gPkn}{z{xWj=xwg]?|wc|TbmQ|\u7fwy ?mQj=?ªj=
jR~yiPg]fwyx\v{k¬«vbwcuhvbmExhmQu7xW|x\v{mEk®wc|}{f\mQ|mEbx\mQ¯°vbwc|#uh~cjP|h|g=¨}{f\gP}3mEf\xwymQ|#uEj~~ymQGf\mEi]zb~§jf
}?j=xhx\mEf\?|jR~~yg«|[xhv{mz?|mEfx\gp|}3mQuhw¨I±j=²m7{}?mQu7x\mQ´³g]fµz{b«j=bx\mQ3¶· 3mEv?jQ]wygPfg=¨Nj#u7gPkn}{z{¸
xWjxwygPj]||mQ¹]z{mE?u7mQ|g=¨·f\m7~ymE=j=9x0mEPmE9x7|³ºgPfjP||mQ¹Pz{mE?u7mQ|0g=¨"~yg{uEjR~"}{f\mQ]wcuEj=x\mQ|0x\v?j=x»kpz?|x
3m¼|z?uEu7mQ|\|ºwyPm7~y½PmEfw¾?mQ3¶W¯'°¿v{m,|mQ¹]z{mE?u7mQ|j=f\m±bm7¾?{mQ½ bj´¾?bwyx\m|xWjx\m±j=z{x\gPk²j=x\gP
³v{mE?u7mx\v{m?j=knmfhmEiPzb~cj=f}?j=x\xhmEf\?|7¶W¯¡s'u7gPkl}{z{xWj=xwygPPmEfw¾?mQ|0x\v{m}{f\g]}?mEf\xTw¨[j=?²gPb~y
w¨[gP{mg=¨¡wyxW|uEj=z?|\jR~"}?j=x\v?|¿kÀj=xWuhv{mQ|jn|mQ¹]z{mE?u7mP¯
ÁÃÂ9Ä"ÅÆTÇ1£=È¡ P¦É ?mEv?jRPwygPf7jR~}{fhgP}?mEf\xPP]wc|x\fw {z{xhmQÀu7gPkl}{z{xWj=xwygP"P]wc|x\fw {z{xhmQnbmE {z{iPi=wy{i?
gP´x\v{mÊ?bmEx\mQu7xwygP"3f\mEiPzb~cj=f}?j=xhx\mEf\"¯
ËIÌTÍ
ÎÏÐQÑ
Í
ÎNÒNÓÏÔAÕQÖ
×"ØKÙVÚ·Û=Ü\Û=ÝÞ¡ßÙáàáà1Ü\ÛRÛ=ÝÜhÞ¡ÙVâãäØQÝ»ÛQÞäåEæÝÝçEÙVâQè7Ú[åhé?ãäØQÝêWë7ìíîAâEãïPðåWâKéäïå7â#ñ{Ü\ÞÜàáàVݺàñòÞäåEæÝÚäÚAÙVâRèQó{ñbÝâRâEô
Úäõ7àVöWÜhâEÙVÝ÷EãÜhãäÝ[ø"âKÙVö=ïVó=ù·úRèWúRÚäã[û\üWühýRï
þ
îäÿîä÷Eù%ð"Ü
ÛQúRÚçQÝ?Ý\ÜhúEàáÙVÝúPó;ë\ýEê)ÿ ?÷æÝçQÝ{ÿù·ð óÀݺô
ÜÙáàºéÞäå
ÝâEãAÙyó
ÞÜõEâ=Üà ÙVÞAÙVÚÜKïéyÞ
þþ ÝÛQãï
åhé 3ð ø âEÙVö7ÝÞäÚAÙVãAõ±åhéµ×{ÝQÜhÚrÜhãù·ø"ÚäãAÙVâ]ó"ù·úRÚäãAÙVâ;× [óݺô
ÜÙáà!ö7Ù"Üõ7óáÜàVÝEã¡ÛEÙVâQÝ7ïÝæÝ7ïúRãäÝQÜ\ÚhïÝçQú
Unite´ de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Te´le´phone : (33) 99 84 71 00 – Te´le´copie : (33) 99 84 71 71
"! $#%!&'('
*) + ,! $-./!0
132 547682ÂÀ¦9gPz?|N»m7¾?bwc|\|gP?| wcuhw1z{{muh~§j]|\|mbm}{f\gP}{fwmEx{ mQ|}?gPz{f ~mQ| m7µmQu7z{xwygP?|¡f{mE}?j=f\xwymQ|
0:áz{ª}{f\gPiPfWjknknmp]wc|xhfwy {zµmnjRwy?|ºwµ¹]z:áz{_jR~yiPgPfwxhv{knmn¹PzbwN~ymQ|bmEx\mQu7x\m²j=z;Pg=~<;{~ymQ|©kngPxw¨|
f{mEiPzb~wymEfW|E¯>=[mEx\xhm¿uh~cjP|h|m}?mEf\knmExjz{Tz{xw~wc|\jx\mEz{fbm¿|}µmQuhw¾?mEfNz{Àu7gPkn}3gPf\x\mEklmE9x[|g]z{v?jRwyxm
gPzª{gPj=zkng=PmEbmn|bmQ¹]z{mE?u7mQ|#0:mE[mE{mEknmEbxW|0}?mEf\xwy{mEbxW|g]z¼bm²|9mQ¹]z{mE?u7mQ|#bmn}{f{mQ]wy¸
uEj=x7|C¹]zbw bgw]mE9x?mEx\fhm#|z?uEu7mQ|\|ºwyPmEknmEbx[mEfw¾mQ|K¯0=[mQ||9mQ¹]z{mE?u7mQ|C|gP9xm7{}{fwykmEmQ|TjT~<:Vjw§bm
0:Vjz{x\gPkÀj=xhmQ|C0:mExWj=xW|µ¾?bw§|³0:ág"z´~<:ámEkn}b~yg=wbz;x\mEf\knmA@B
CEDGFIHKJLC
@h¶W¯NM0{mTm7µmQu7z{xwygPf{mE}?j=f\xwym
[mEfw¾?m»~cj}{f\g]}{fwmEx{ m[jRwy?|ºw?m7}{fwkmEm|ºw{mEx[|mEzb~ymEknmE9x|ºw{z{Àbm|mQ|Nu\v{mEkw?|»uEj=z?|\j=zbT[mEfw¾?m
z{{mTbmQ|C|bmQ¹Pz{mE?u7mQ|0jPbkTwc|mQ|0}?j=f~<:Vj=z{x\g]kÀj=x\mP¯
OÇ3¢Q EÅ\¥QPR2Â ¦}{f\g]}{fwmEx{ mÀu7gPkn}3gPf\x\mEknmEbxWjR~ymP¡m7µmQu7z{xwygPf{mE}?j=f\xwymP¡[mEPmEf\kw?jiPmbm}{fhgP¸
iPf7j=knknmQ|f{mE}?j=f\xw§|K9bmEx\mQu7xwygP;j=z±]g=~9klgPxw¨ |¿fmEiPzb~wymEfW|E¯
CH C J D$C DQF>H C +J J J%F C "!#0F J
$
$ ("
°v{m²|x\z?b±g¨[ ?mEv?jRPwygPf7jR~[}{f\gP}3mEf\xwymQ|g=¨µ}?jfWjR~~ym7~µj=?]wc|x\fwy {z{x\mQªu7gPkn}{z{xWj=xwg]?|0w§|0wykn¸
}3gPf\xWj=bx¨ägPf#j=?j~{|ºwc|E¡x\mQ|xw{i;j=?GbmE {z{iPi=wy{i?¯&%»(' ?mEv?jRPwygPf7jR~µ}{f\g]}?mEf\x*)«mnknmQj=Gj
}{f\g]}?mEf\x²«vbwcu\v;m7{}{f\mQ|\|mQ||gPknmg]fWbmEf{gPxwygP,+Vb.-{"oR0/º¯?°vbwc|wc|jTx9}bwcuEjR~N|ºwyx\z?j=xwygPÃw
x\v{mj=?jR~y|w§| g=¨·|b?u\v{f\g]bw21QjxwygPTwy]wc|xhfwy {z{x\mQÀu7g]kn}{z{xWj=xwygP?|¡«0v{mEf\m«m«¿j9xNx\g#bmExhmQu7x
w¨Cj|mQ¹]z{mE?u7mng=¨¿uEjz?|\jR~~y,fhm7~§jx\mQ;f\m7~ymEj9xmEPmE9x7|³gPfj|mQ¹Pz{mE?u7mlg=¨[~yg{uEjR~µ|xWj=xhmQ|x\v?j=x
|\jxwc|º¨I|gPklm}{f\mQ]wcuEj=x\mQ|7¶v?jP| 3mEmE±}{f\g{bz?u7mQ´ 9jnu7gPkn}{z{x7j=xwygP"¯
3{mC|{|x\mEkÀj=xw§u¿«¿jRx\g#bmExhmQu7xµ|z?uhvn}{f\gP}3mEf\xwymQ|u7gP?|ºwc|xW| ¾?f7|xNwyn {zbw~c]wy{inx\v{m~cj=x\xw§u7m
jP|h|guhwcj=xhmQ±«¿wxhv_jÀ]wc|xhfwy {z{x\mQm7{mQu7z{xwygP4+5/[j=?´x\v{mE´wyx\f7jQ]mEfW|ºwy{iÀxhvbw§|0~cj=xhxwcu7mnx\g
bmEx\mQu7xx\v{mÀu7gP?|w§bmEfhmQ 3mEv?jQ]wygPfWjR~}?j=x\x\mEfh6+9"/¯s{gbmng¨µx\vbwc|~cj=xhxwcu7mÀf\mE}{fhmQ|mE9x7|j
}3g9|\|ºwy b~ymni=~ygP ?jR~[|xWjx\m#g=¨Nx\v{mn]wc|x\fwy {z{x\mQ;u7gPkl}{z{xWj=xwygPj=?´j=±mQbiPm¨äf\gPkg]{mp{g{bmTx\g
j={g]x\v{mEfnf\mE}{f\mQ|mE9xW|Tj=mE]mE9xTx\v?j=xT«gPzb~cGkÀj57]mÀx\v{m±u7g]kn}{z{xWj=xwygPG}{f\gPi]f\mQ|\|©¨IfhgPk x\v{m
¾?fW|x#x\g´x\v{mÀ|mQu7gP?ªi=~ygP ?jR~|xWj=xhmP¯"°v{m87]wy?{|g=¨}?j=x\x\mEf\?|©x\v?j=x#uEj=G ?m|x\z?]wymQ¼wy_x\vbwc|
«jRTv?jQ]mPmEf\T¨ämE«~wykTwyxWj=xwg]?| {z{xx\v{mrj]|\|g{uhw§jx\mQÀu7gb|xNwc|»PmEf\TvbwyiPv±|ºwy?u7mx\vbwc|»knmEx\v{g{
f\mQ¹]zbwyf\mQ| {zbw~c]wy{i;x\v{m~§jx\xwcu7m³mEPmE´w¨[wyxwc|}?gb|\|ºwy b~ymÀx\g² {zbw~c_j=?´x\g²m7{}b~gwx©wyxgP;x\v{m
Ê?Pbz{fwy{iÀxhv{mm7mQu7z{xwygP´g=¨Nx\v{m#j=?jR~y91EmQ±u7gPkn}{z{x7j=xwygP,j]|Nwy,+yoP?b{:/ ¶W¯
°"g}{f\mE]mE9xx\vbwc|u7g9|xQ"|g]knmnj=z{x\v{gPfW|v?jRPmnbm7¾?{mQª}?j=f\xwcu7zb~cj=f ?mEv?jRPwygPf7jR~[}?j=x\x\mEfh?|
«v{gb|mCbmEx\mQu7xwygP²bg9mQ| {gPxNf\mQ¹]zbwfhmC {zbw~c]wy{inx\v{m~cj=x\xw§u7m0gPfNz?|ºwy{inju7mE9x\f7jR~w21EmQlkÀj=?jiPmEfQ¯
°v{mQ|mbmEx\mQu7xwg]jR~yiPg]fwyx\v{kÀ|#jf\mn|z{}?mEfwykn}3g9|mQGgPªx\v{mÀ]wc|x\fwy {z{x\mQu7g]kn}{z{xWj=xwygPGj=?
z?|mnjn|wkl}b~ml}bwi]iP9 ?j]u;7]wy{iÀx\mQuhv{bwc¹Pz{mTx\g²mE?|z{f\mTu7gP?|ºwc|x\mE?u7´g=¨Nx\v{mpbmEx\mQu7xwg]"¯<3{m#g=¨
x\v{m¾?fW|xg=¨[x\v{mQ|mT ?mEv?jR]wygPfWjR~[}?j=xhx\mEf\?|0v?jP| ?mEmE´wy9xhf\gbz?u7mQ¼ 9=w~~ymEfpj=? =[v{gw>+yoQ?/A@
uEjR~~ymQ
HKJ
*B
CC#
@
CCQJEDC
CF
|z?uhvjn}?jx\x\mEf\;bmQ|\u7fwy ?mQ|jÀuEj=z?|hjR~ |mQ¹Pz{mE?uhwy{i±g¨N~g{uEjR~µ|x7j=x\mQ|
PmEfw¨ä]w{i±|gPknm}{f\mQ]wcuEj=x\mQ|©³+HGb.-ò"oQ5/"}{fhmQ|mE9xjR~yiPgPfwyx\v{kÀ|0x\gnbmEx\mQu7x|z?uhv±}?j=x\xhmEf\?|7¶W¯9I
+H-J/*Kz{f¾?mExjR~¯{iPmE{mEfWjR~wL1Em#xhvbw§|¿}?j=x\x\mEf\xhgjkng]f\miPmE{mEfWjR~
"!'JD CCM F>C
DCN#
@
CCQJLO
DC
C
@{v{mEf\mn|g]knm#mEPmEbxW|uEj, 3m¨ägPf\ bwc{bmE 3mEx«mEmE´mQjPu\v´}?jRwyfg=¨[u7gP?|mQu7z{xwyPmTf\m7~ymEj9x
mEPmEbxW|E¯
°vbwc|N}?j=}3mEf[}{f\mQ|mEbxW|»juh~§j]|\|Ng=¨ ?mEv?jR]wg]fWjR~1}?jx\x\mEf\?|¡x\v?jx¡w?uh~yz?bmQ|»~wy*7PmQl}{f\mQ]wcuEj=x\mQ|
j=?²j=x\g]kTwcu|mQ¹]z{mE?u7mQ|µj]|N}?j=f\xw§u7zb~cj=fuEjP|mQ|E¯9°vbwc|uh~cjP|\|»g=¨"}{f\gP}3mEf\xwymQ|uEjR~~ymQ²f\mEiPzb~cj=f[}?jx\¸
x\mEfh?|µj~~yg=«C| x\v{mCz?|mEf[x\gT|}?mQuhw¨äj© ?mEv?jRPwygPf7jR~1}{f\g]}?mEf\xTg=¨·j#u7gPkl}{z{xWj=xwygPjP|[|mQ¹Pz{mE?u7mQ|
g=¨¡f\m7~ymEj=bxmEPmE9x7|³ºgPf[g=¨ ~g{uEjR~"}{f\mQ]wcuEj=x\mQ|»x\v?jxµkTz?|x» ?mPmEfw¾?mQ3¶7¯°¿v{mQ|mr|mQ¹Pz{mE?u7mQ|jf\m
bm7¾?{mQ; bjT¾?bwyx\mn|xWjx\m#j=z{x\gPk²j=x\gP"bv{mE?u7mTx\v{m?j=knmf\mEiPzb~cj=f}?j=x\x\mEfh"¯?°v{m#}{fhgP}?mEf\x
wc|nbmEx\mQu7xhmQ_jP||gbgPj]|#j;uEj=z?|\jR~}?j=x\vg¨Cx\v{mu7gPkn}{z{xWj=xwg]kÀj=xWuhv{mQ|gP{mng=¨x\v{mQ|m|mE¸
¹]z{mE?u7mQ|E¯"°v{m#bmEx\mQu7xwg]¼j~i]gPfwyx\v{k«gPf;7{|gP´x\v{mÊ?«wyx\v{gPz{x {zbw~c]w{i;jnu7gPkn}b~ym7j=?
m7{}?mE?|ºwyPmn{j=x7jn|x\f\z?u7xhz{f\m#|z?uhv±jP|j~cj=x\xw§u7mP¯
°v{mT}?j=}?mEf©w§||x\f\z?u7x\z{f\mQ;jP|0¨äg=~~yg=«C|%;<PPmQu7xwygP_²}{fhmQ|mE9x7|x\v{mTkngbm7~[g¨µ]w§|x\fwy {z{x\mQ
u7gPkl}{z{xWj=xwygP?|E¯QPPmQu7xwygP#bm7¾?{mQ|¿f\mEiPzb~cj=f}?j=x\x\mEfh?|[j=?lx\v{mknmQj=bwy{iTg=¨"x\v{mruh~cjRwykR' x\vbwc|
ÿ"ÿ â&SQê7êWê
:! C J N: QH D .:! HJ
u7gPkl}{z{xWj=xwygP|\jxwc|º¾?mQ|Tx\vbwc|l}?j=x\x\mEf\.)ò¯&PPmQu7xwygP-;wc|nbmEPgPx\mQGxhg,xhv{m}{f\mQ|mEbxWj=xwygPg=¨j
bmEx\mQu7xwg],jR~yiPgPfwxhv{k¨ägPff\mEiPzb~cj=f}?jx\x\mEf\?|E¯
* ! # &! ()* ½!;É"
! #"%$'&()+*,&*,-%/.
°v{mTz{?bmEf~y]wy{i,|{|x\mEkxhv?j=xCm7{mQu7z{x\mQ|]wc|x\fw {z{xhmQ±}{fhgPiPfWj=k²|»wc|u7gPkn}?gb|mQg=¨10¼{gbmQ|
x\v?jx¿uEjm7òuhv?j={iPmknmQ|h|\j=iPmQ|E¯>9m7wyx\v{mEf|v?j=f\mQ²knmEklgPf\n{gPfji=~ygP ?jR~·uh~yg{u;7²wc|jRjw~cj= b~ymP¯
=´mQ|\|\jiPmQ|j=f\mm7òuhv?j={iPmQ²x\v{fhgPz{iPv²f\m7~w§j b~m {z{x{gPx{mQu7mQ|\|\j=fw~y32<I42 3u\v?j={{m7~c|E¯3°"fWj?|¸
kTwc|\|wg]¼bm7~cjR{|j=f\m¾?bwyx\m {z{xCz{{}{f\mQ]wcu7xWj b~mP¯
5 67(8*,-%"%(89!-%/ ;:=<>.;?@-BA#-%(8<>*
s]wc|x\fw {z{xhmQT}{f\gPiPf7j=k-w§|¡k²jPbm[g=¨/0T}{f\g{u7mQ|\|mQ|C>D{«vbwcuhvpu7gPknkTz{bwcuEj=x\mj=?|b?u\v{f\g]bw21Em
gPb~y bCklmQj=?|"g¨9knmQ|\|\jiPmN}?jP|\|ºwy{i?¯Ks]w§|x\fwy {z{x\mQ#u7g]kn}{z{xWj=xwygPTbmQ|\u7fwy ?mQ| x\v{m»m7mQu7z{xwygP
g=¨[jn]wc|x\fw {z{xhmQ±}{fhgPiPfWj=k´¯
EGFHEIF'J K
¤?£R¢ML§¤ PÇ1£=È Â£TÇ>NÂPOÂ#N?¢Q
°v{m;jPu7xwy]wxGg=¨CmQjPuhv}{f\g{u7mQ|\|QC D wc|Tkng{bm7~mQ 9j|mQ¹]z{mE?u7m±g¨CmEPmEbxW|QR D uEjR~~ymQ-x\v{m
vbwc|x\g]f\Tg=¨C
D
;PR
DTSVUMWD UMXD UZYD[M[,[
³º«v{mEf\m
UZ\D
w§|»x\v{m^]=_a`mEPmEbx[m7{mQu7z{x\mQl 9QC
D
¶7¯PsnmEPmEbx
wc|#j²|mE?´mEPmEbxQjnf\mQu7m7wyPmlmEPmE9xgPfj=´wy9x\mEfh?jR~ mE]mE9xQ¯GbmExdc
e
?mTx\v{mnuh~cjP|\|w§uEj~[ bw?jf\
f\m7~cj=xwg],bm7¾?{mQ bfb"j=kn}3gPf\xgPmEPmEbxW|+yoMg?/<; Uh\
D c
e
Uhi
j
wlkTm STn j=?f]poo Srq ³äwy´x\v?j=x
uEjP|m«µm0{gPx\m U
\DQs
cDlt UZi
j
¶W]gPf U \D
wc|xhv{mr|mE?]wy{ing¨vuj? UZi
D
x\v{mCfhmQu7mE}{xwygPg=¨vu;bgPfxw Uhyz
|z?uhv±xhv?j=x U \D c
e U yz{
0G| U
yz
c
e U ij ¯
bmEx3} ?m;x\v{m|mExg¨pjR~~#x\v{m;mEPmE9x7|E¯[s¬]wc|xhfwy {z{x\mQ'u7g]kn}{z{xWj=xwygP wc|jG}?j=f\xwcjR~~y
gPf7bmEf\mQ±|mEx©³}?g9|mExE¶3~} S ³}3c
e
¶¯
EGFHEIFHE K
¤?£R¢ML§¤ PÇ1£=È Â£TÇ>N PyÇ"¥=¤ P K¢E¤{¢EÂ
»jPu\v²}{f\g{u7mQ|\|C D wc| wbwyxwcjR~~ywyx\v{m0~yguEj~ |xWj=x\mh
D
¯ NPmEbx Uh\
D
xhfWj=?|º¨ägPf\kÀ|!C D :V| ~yguEj~ |xWj=x\m
\W
D
wy9xhg
\D
¯PbmEx^ ?mx\v{m|mEx[g¨1~yg{uEjR~·|xWj=xhmQ|Ng=¨·jR~~"x\v{m}{f\g{u7mQ|\|mQ|K¯ =´gPfhmEg]mEfQR~ymEx
e
?m
x\v{m¨Ig=~~yg=«wy{i; bw?jf\;f\m7~cj=xwygPgP¼~g{uEjR~µ|x7j=x\mQ|E \D
e ij
wlkgP{mlg=¨µx\v{m¨Ig=~~yg=«wy{i±v{g=~c0;
m STn j=?]po½o Srq ³äwy;x\v?j=xuEjP|mT«m#{g]x\mn³4 \D s Dlt
i
j
¶W3gPf U
\MGW
D
wc|x\v{mn|mE?]wy{i´g=¨1u
j=? Uhi
D
x\v{mf\mQu7mE}{xwygP´g=¨@u;ògPf^wP yz |z?uhv±x\v?j=x \D
e yz { 0I| yz e i
j ¯
°vbwc|Nf\m7~cj=xwygPlgP~g{uEjR~1|x7j=x\mQ| wc|b"jkn}?gPfhx :V| f\m7~cj=xwygPÀj=}{}b~wymQlx\g~yguEjR~1|xWj=x\mQ|E¯=s-}?g9|mEx
~
S ³
e
¶»wc|#jP|h|guhwcj=xhmQ±«¿wxhvmQjPuhv¼]wc|xhfwy {z{x\mQu7gPkn}{z{x7j=xwygP
~
} S ³4}3c
e
¶\¯2 wi]z{f\mo
î ·ÿîcù
CH C J D$C DQF>H C +J J J%F C "!#0F J
2 wyiPz{f\m²oQ;bs$]wc|xhfwy {z{x\mQ´m7mQu7z{xwygP
]wc|}b~cjR|»j]wc|x\fwy {z{x\mQlm7mQu7z{xwg]Twynx\v{muh~cjP|\|ºwcuEjR~"|}?jPu7mE¸äxwyknmC]wcj=i]fWj=k³ b~cjPu;7nuhwyfWuh~ymQ|[jf\m
mEPmEbxW|E]«vbwyx\m|\¹Pz?jf\mQ|Nj=f\m~yg{uEjR~·|xWj=xhmQ|7¶W¯=°"ggP {xWjRwynx\v{mf\mE}{f\mQ|mE9xWjxwygPng=¨·j=Àj]|\|g{uhw§jx\mQ
}3g9|mEx }¬g]ff~~ _«mpu7g]?|ºwcbmEfCgPb~yf\m7~ymE=j=9xm7~ymEknmEbxW|©³m7wyx\v{mEfmEPmE9x7|gPf0~g{uEjR~ |xWj=x\mQ|7¶j=?
jP{´jR~~·mQbiPmQ|bz{mx\gnx\f7j=?|ºwyxwyPwyxP¯
EGFHEIF
1lÂÈ 4"¥=¢MLyÇ>NǤÈLA E¢Q£LA4¢EÂ{Ƚ ¥>4¢ML§ÇN
»jPu\v}3g9|mEx }~ S ³4}1c
e
¶¼uEj= 3m'jP|\|g{uhwcj=x\mQ«wyx\vjÉf\m7~cj=xwygPuEjR~~ymQ K0¸äf\mQbz?u7xwygP"
} S ³}3c
e
R¶W«v{mEf\mTf\m7~cj=xwg] c
e
w§|©f\m7~cj=xwygP c
e
¨äf\gPk«vbwcuhvv?jRPmT ?mEmE_|z{}{}{f\mQ|\|mQ0;
jR~~[x\f7j=?|ºwyxwyPwyx±mQbi]mQ|Cbz{mTx\g²x\v{mTx\fWj=?|wxw]mpuh~yg9|z{f\mlg=¨
s cDlt
j=?±jR~~[x\f7j=?|ºwyxwyPwyx±mQbi]mQ|
u7gP{{mQu7xw{imE]mE9xW|µ¨If\g]k!x«gn]wc|xwy?u7xC}{fhgu7mQ|\|mQ| W ¯
2 wi]z{f\m,G]wc|}b~cjQ{|xhv{m K0¸äf\mQbz?u7xwygPjP|\|g{uhwcj=x\mQ-«wyx\v½x\v{m;u7gPkn}{z{xWj=xwg]+|v{g=« w
2 wyiPz{f\moG³mQbi]m_³ U XW U YY
¶nv?jP|² 3mEmE'|z{}{}{f\mQ|\|mQ+j]|lwx²wc|jGx\f7j=?|ºwyxwyPwyxmQbi]m=¶W¯µ°¿v{m PP¸
f\mQbz?u7xwg]
S ³
e
Q¶Nwc|bm7¾?{mQ±|ºwykTw~cj=f~yèIf\g]k ~[¯
s!uEj=z?|\j~[}?j=x\v;g=¨ }~ ³f\mQ|}{xQ¯ [¶»wc|#j]wyf\mQu7x\mQ¼}?j=x\v´wyx\v{mnjP|\|g{uhwcj=x\mQ~ K0¸äf\mQbz?u7xwygP
}l³f\mQ|}{xR¯{wyx\v{mnjP|h|guhwcj=xhmQ PP¸äfhmQbz?u7xwygP
Q¶W¯
}T³fhmQ|}{xQ¯
E¶«¿w~~ ?mTz?|mQ;x\g²f\mQjP|gP
j= 3gPz{x#|mQ¹]z{mE?u7mQ|g=¨[fhm7~mE=j=bxmEPmE9x7|³fhmQ|}{xQ¯|mQ¹Pz{mE?u7mQ|©g=¨N~yguEj~µ|xWj=x\mQ|0|\j=xwc|º¨äPwy{i±|g]knm
}{f\mQ]wcuEj=xhmQ|7¶W¯
î§é
ÝÚäÚÜhèWÝÚ¡çQݺàáÙVöWÝÞAÙVÝÚNÞäÝÚäÛ=Ýæã¡æ\Ü\úRÚÜà{åWÞäçRÝÞûëcóQãäØRÝÞäÝ[Ü\ÞäÝNâRåÚäúQæºØCãäÞÜhâQÚAÙVãAÙVö7ÙVãAõ#ÝçQè7ÝÚï
ÿ"ÿ â&SQê7êWê
:! C J N: QH D .:! HJ
2 wyiPz{f\m# ;3°v{m K¸äfhmQbz?u7xwygP;g=¨·x\v{m}?g9|mEx ~}
#)$AI"?A#--%/"%
sf\mEi]zb~§jfn}?j=x\x\mEfh C w§|²jÃ~cj={iPz?j=iPmª³|mExTg=¨«gPfW{|7¶#bm7¾?{mQg]j;Pg{uEj= {zb~cj=f\n 9
j¼¾?bwyx\m|xWj=x\m;j=z{x\gPk²j=x\gP"¯N°v{m´f\mEiPzb~cj=f²}?j=x\x\mEf\½j=?xhv{m¼u7g]f\f\mQ|}3gP?]wy{iG¾?bwxhm¼|xWj=x\m
j=z{xhgPkÀj=x\g]j=fhmi=wyPmE±x\v{m#|hj=knm?j=knm Cl¯
5 ^AG9/$$8()
Iº_gPf7bmEfx\gf\mQu7gPiPbwL1EmÀj²}?jx\x\mEf\g]¼j]wc|xhfwy {z{x\mQm7{mQu7z{xwygP" wyxwc|#{mQu7mQ|h|\j=f\´x\g²~cj= ?m7~
mEPmEbxW|³g]f~g{uEjR~µ|x7j=x\mQ|7¶«wyx\v_|bkT ?g=~c|g=¨²¯.IºgPfWbmEfx\g²wyiP{g]f\mwfhf\m7~ymEj=bxTmEPmE9x7|³gPf
~yg{uEjR~ |xWj=x\mQ|7¶Nx\v{mmEkl}{x|bkT ?g=~0 ?m7~ygP{i9|0x\gl¯
°v{m~cj= 3m7~~wy{i´¨Iz{?u7xwg]±jP|h|guhwcj=xhmQ|«wyx\v´mQjPuhv±mEPmEbx U ³fhmQ|}{xQ¯{x\g²mQjPuhv~yg{uEjR~ |xWj=x\m
]¶·j|mExNg=¨3~cj= ?m7~c|³ U ¶¡³f\mQ|}{xR¯1³=¶¶W¯>=[gP?|w§bmEfw{ix\v{mCuEj=z?|hjR~}?jx\v SrU,WhUMXhUZY
[,[M[
1³T¶
f\mE}{fhmQ|mE9x7|[xhv{mr|mEx ] W ] X ] Y
[M[M[
] D ³ U D
¶9¯"I²gPx\v{mEfW| «gPfW{|³¶wc|[xhv{mr|mEx»g=¨·jR~~"x\v{m
«gPfW{|¿x\v?j=xuEj=± 3m# {zbw~cèIf\g]k%«wyx\v,j~~¡}?g9|\|w b~ym~cj= ?m7~~wy{i9|E¯
67=-%/: -%(8<>;<"!A ?A#--%/"%
s}?j=x\x\mEf\C%w§|]mEfw¾?mQ´wy¼j²]wc|x\fwy {z{x\mQªu7gPkn}{z{xWj=xwg] }~ w¨x\v{mEf\mwc|jÀuEjz?|\jR~N}?j=x\v#
|z?uhv;x\v?j=x#j=´m7~ymEknmE9xg=¨³T¶ w§|©f\mQu7gPiPbwL1EmQ; b3Cn¯QIä¨C%w§|©gP±mE]mE9xW|K$wc|j²}?j=xhv±g=¨
}5@bw¨1CÉwc|g]²~g{uEjR~ |xWj=x\mQ|$wc|jT}?j=x\vg¨
=¯
î ·ÿîcù
CH C J D$C DQF>H C +J J J%F C "!#0F J
AG.;?!$8/*
òj=kl}b~m J
=[gP?|ºwcbmEfx\v{m¨äg=~~yg=«wy{i|mQ¹]z{mE?u7m#g¨"~yguEjR~¡}{f\mQ]wcuEj=x\mQ|
W
S
W X Y
+HGb.-b"oQ?/¯{°vbwc|
|mQ¹]z{mE?u7mnbmQ|\u7fwy ?mQ|j}?j=x\x\mEf\²x\v?j=x¿w§|0PmEfw¾?mQw¨[xhv{mEf\mwc|CjnuEjz?|\jR~·}?j=xhv²w
0w´«vbwcu\v
x\v{mEfhmwc|[j~yg{uEjR~1|xWjx\mg=¨ C
\W
|\j=xwc|º¨ä]w{i
W
¨Ig=~~yg=«mQT 9nj0~yg{uEjR~|x7j=x\mg=¨ C
\X
|\j=xw§|¨I]wy{i
X
¨äg=~~yg«mQ² b±j~yguEj~ |xWj=xhmCg=¨C
\Y
|hj=xwc|º¨äPwy{i Y ¯
s~~"~yg{uEjR~·|xWj=x\mQ|»g=¨C
\ D
x\v?j=x|\j=xwc|º¨ä D jf\m~cj= 3m7~ymQ D ¯Q3x\v{mEfC|x7j=x\mQ|[jf\m~cj= 3m7~ymQ#K¯
W
wc|0x\f\z{mw¨[x\v{mEf\mm7bwc|xCjnuEjz?|\jR~·}?j=xhvx\v?j=xkÀj=xWuhv{mQ|x\v{mfhmEiPzb~cj=fCm7{}{f\mQ|\|wg] W X Y ¯
òj=kl}b~m
E
=[gP?|ºwcbmEfx\v{mkngPf\mC|gP}{vbwc|xwcuEj=x\mQ²}{f\mQ]wcuEj=xhm
X S + W / X
+
Y / +C/?«v{mEfhm D j=? j
j=fhm~yguEj~ }{f\mQ]wcuEj=xhmQ| +H-J/¯
X
wc|0x\f\z{mw¨[x\v{mEfhmwc|CjluEj=z?|\jR~N}?j=x\v²wy;«vbwcu\v;jP|0 ?m7¨ägPf\m#xhv{mEf\m
wc|Tjl~yguEjR~|xWj=xhm X wy C
\X
|\j=xw§|¨I]wy{i X
j=?ªjl~g{uEjR~|xWj=x\mwy C
\
|\j=xwc|º¨ä]w{i
j=?ªjP{]wyxwygP?jR~~y_gPªx\vbwc|#uEj=z?|\j~[}?j=x\vjR~~[~yg{uEjR~¿|x7j=x\mQ|}{f\mQu7mQ]wy{i X
bg±{g]xPmEfw¨I
W
jR~~~yguEj~ |xWj=x\mQ| w 3mEx«µmEmEf
X
j=? bg#{gPxPmEfw¨ä
Y
j=?²jR~~?~yg{uEjR~·|xWj=xhmQ|¡¨äg=~~g=«wy{i
bg²{gPxPmEfw¨ä ³|mEm +-0/¨IgPf0kngPf\m#bmExWjw~c|j= ?g]z{xCj=x\gPkw§u|mQ¹Pz{mE?u7mQ|0g=¨N}{f\mQ]wcuEj=x\mQ|7¶W¯
s)~yguEj~ |x7j=x\m#xhv?j=xr|hj=xwc|º¾?mQ|j~g{uEjR~[}{f\mQ]wcuEj=xhm²g]f w§|0~cj= 3m7~ymQ bx\vbwc|}{f\mQ]wcuEj=x\mP¯
bg{uEjR~ |xWj=x\mQ| g=¨ j}{f\g{u7mQ|\|gP²«vbwcu\v´{g~g{uEjR~·}{fhmQ]w§uEjx\mQ| gPfpjf\mrbm7¾?{mQ´j=f\m0~cj= ?m7~ymQ
R¯
X
wc|»x\f\z{mw¨·xhv{mEf\mwc|jTuEj=z?|\jR~"}?j=x\v²f\mQu7gPi]bw21EmQ² bnx\v{m¨äg=~~yg=«wy{inf\mEiPzb~cj=fm7{}{f\mQ|\|ºwygP;
³ X o
Y o !o! ¶ B X
³"
W o X o o ¶ B #³#
W o X o
Y o Q¶
B ¯
$
# , ? *
&%1!('-%*M-%A#-%TAG@-B<>.;A#-B<>
bmExC 3mx\v{mn¾?bwyx\m±|xWj=x\mÀjz{x\gPkÀj=xhgP³bmEx\mEfhkTwybw§|xwcugPf{gPxE¶#bmQ|\u7fwy bwy{i_xhv{mÀf\mEi]zb~§jf
}?j=xhx\mEf\;«mÀj=f\mwy9xhmEf\mQ|x\mQ´wy"¯ C S ³#' (
)'+*),P¶«¿wxhv;-'x\v{mn|mExg¨¿|xWjx\mQ|E x\v{m
|mEx¿w{}{z{x|bkT ?g=~c|©³äwy?uh~z?]wy{i 7¶7.(
x\v{mwybwyxwcjR~µ|xWj=xhmP/' * xhv{m#|mExg=¨¡¾??jR~ |x7j=x\mQ|j=?0,
x\v{mx\fWj=?|wxwg]²¨Iz{?u7xwygP
X ¯
2 wi]z{f\m½]wc|}b~cjR|¼x\v{m¾?bwyx\m|xWj=x\m_jz{x\gPkÀj=xhgP'jP|\|guhwcj=x\mQÉ«wyx\v)x\v{mG}?j=x\xhmEf\g=¨
m7?j=kn}b~ymppw PPmQu7xwygP,ò¯á?¯
5 1 <"32(8!)+< -%! 465<"87:9<;h"%# : -%(<
Iºpg]fWbmEf·xhgC«gPf;7gPx\v{mK³g]f&P{¶¸äf\mQbz?u7xwygP"=}{fhgu7mQ|\|mQ|Nj=f\m[mQ¹]zbwy}{}?mQT«¿wxhvj0PmQu7x\g]f·uh~ygu 7
|{|x\mEk +yoPoC/¯=[jPuhv}{f\g{u7mQ|\|^C D wc|Cj=z{i]knmE9xhmQ²«wyx\v±jTPmQu7x\g]f>=@? D +yo
[,[M[
0Q/"«v{g9|mm7~ymEknmEbxW|
A
ÙVÚ"ÚäúQæºØãäØÜhãCBED)F#GHJI
KLNMCO ßÙVãäØ
MCOQPM
Ü\âRçBED<F#RSHJI
KL
TD NéyåWÞ"Üàáà?ÚäãÜ\ãäÝÚUDWV
M ï
ÿ"ÿ â&SQê7êWê
:! C J N: QH D .:! HJ
2 wyiPz{f\mp ;9s¾?bwyx\mT|xWj=xhmrj=z{xhgPkÀj=x\g]n¨ägPfCj=±jx\gPkTwcu|mQ¹]z{mE?u7m
j=fhm[wybwyxwcjR~wL1EmQnxhg g{¯[j]u\vxwyknm»wxN}{fhgbz?u7mQ|Nj=mEPmEbxQ =@?DA+m/Pwc| wy?u7f\mEknmEbx\mQ bpj0}?g9|ºwyxwyPm
=jR~yz{mP¯/[jPuhv²knmQ|\|\j=i]m u}bwyiPiPb ?jPu;7{|»x\v{mjR~yz{m=@?R³4u´¶·g=¨¡x\v{mC]mQu7x\gPfµuh~yg{u;7²g=¨wyxW||mE?bmEfR¯
½v{mE;wyx#fhmQu7m7w]mQ|#j²knmQ|\|hj=iPmQu;}{f\g{u7mQ|\|C D z{}{j=x\mQ|=@? D xhg u { ]³#=@? D )= ?R³4u´¶h¶Y ¯½v{mE
wyxj=f\fwyPmQ|jx C D 3knmQ|\|\j=i]m ujP{{|jlx\fWj=?|ºwyxwy]wyx²mQbiPmx\gnx\v{mK³g]f>P{¶º¸äf\mQbz?u7xwygP´w¨µj=?
gPb~yÃw¨= ?
D
=@?R³4u´¶
+yoE:/¯I±xhv?j=xCuEjP|mx\vbwc|f\mQu7m7wyPmwc|0wi]{gPf\mQèIfhgPkx\v{mT}?gwbxg=¨[PwymE«
g=¨Nx\v{m#bmEx\mQu7xwg]"¯.Iº±x\v{m¨äg=~~yg«¿w{i3?«m#bgn{gPxbmQ|\u7fwy ?mPmQu7x\gPfCuh~yg{u;7k²j=?j=iPmEknmEbxQ¯
-%/: -%(8< AG$8)<>"%('-%.
su7gP9xhf\g=~~ymEf @D¡w§||z{}?mEfwykn}3g9|mQ;gP´mQjPuhv,}{fhgu7mQ|\|^C>D[g=¨[x\v{mTz{?bmEf~y]wy{i,u7gPkn}{z{x7j=¸
xwygP"¯QIjP{]wyxwygP;x\g²PmQu7x\g]fruh~yg{u;7{|E" D kÀj=?j=iPmQ|0j=,j=fhfWjR D +' /¡g=¨[ ?gbg=~ymQj=;jR~yz{mQ|
«wyx\v;x\v{m¨äg=~~yg«¿w{iklmQj=bwy{i ; D +(?/wc|x\f\z{mwlk_x\v{mEfhm#wc|j²uEj=z?|\jR~N}?j=x\v mE?]w{i;j=xx\v{m
u7z{f\fhmE9x0~yguEjR~[|xWjx\mg=¨C D ³g]fCj=xx\v{m©~cjP|xmEPmEbx0wx}{f\g{bz?u7mQ;|z?u\v´x\v?j=xCj«µg]fW²g=¨1³T¶
}{z{xW|^CÉwy,|x7j=x\m(b¯
D +(
/¡wc|wybwyxwcjR~~y_x\v{mlgPb~y,mEbx\f\´«wyx\v=jR~yz{m U ¯ D m7{mQu7z{x\mQ|©x\v{mT¨äg=~~g=«wy{i
|x7j=x\mEknmEbxW|%;,
W
X
j=? Y
¯5PPxWjx\mEknmEbx
W
w§| m7{mQu7z{x\mQmQjPuhvxwyknmj=mEPmEbx UhD wc| }{f\gbz?u7mQ
bj}{f\g{u7mQ|\| C>D[³g]f[mQjPuhvÀxwklm#j#{mE«-~yg{uEjR~ |xWjx\m hD wc|mEbx\mEf\mQ3¶W¯QPPxWj=xhmEknmE9x7| X
j=? Y
j=fhm#jP|\|g{uhwcj=x\mQ«¿wxhvmQjPu\v±u7g]knkTz{bw§uEjxwygP±knmQ|h|\j=iPmP¯
Ü ÙVÚ"çQå7âQݻݺàVÝ
ÝâEã¡ÛÝÞ"ݺàVÝ
ÝâEãï
! #"
B$ H%'&)( Vû+**!*,
! ( .-
B$ H ( 9ÜhâQç0/1( Vû2*!*!*,
! (
"
B$ H ( yï
î ·ÿîcù
CH C J D$C DQF>H C +J J J%F C "!#0F J
W
;#[jPuhvxwyknm#j=mEPmEbx
UZD
w§|¿}{f\gbz?u7mQ´ b C D ;
P§Â9¢ S ³ U Dä¶@ gPf S 1³hDº¶
ºÇ1£RÂ9¤?¥ ] È"Ç
\ +' /;S ³
{
U
[,[M[
{
U ¶;@
Ç£RÂ9¤?¥!(
' R4"¥_¢¤{¢
D
+(?/È Ç
Ç£QÂb¤?¥ ,]³#( ]¶ È Ç \ +?/;S U Ç"È
Ç"È
Ç"È
ºÇ1£RÂ9¤?¥ ( ' È Ç xD +(?/;S
\
\ +(?/@òÇÈ
X ; +v{mE3C D |mE?{|jknmQ|\|\j=i]m u ;
LCxhv{mf\mEiPzb~cj=f}?j=xhx\mEf\²wc|g]mEPmE9x7|¢1Â#N
m7{mQu7z{x\mp|x7j=x\mEknmEbx^
W
«v{mEf\m UZD w§|¿x\vbwc|C|mE?ÃmEPmEbx0@
e wi]iP9 ?j]u;7 D¡gP3u 3m7¨IgPfhmwyxwc|C|mE9x0@
Y ; +v{mE3C>DNf\mQu7m7wyPmQ|jTkÀ|iQu }bwyiPiPb ?jPu 7PmQ«¿wxhv ©³4u´¶ ;
L ubgbmQ|{gPxu7f\mQj=x\m#jTxhfWj=?|ºwyxwy]wxmQbiPm¢Â#N
Ç£RÂ9¤?¥!( ' È Ç D +(0/;S D +(?/³u´¶+(?/@9Ç"È
LCxhv{mf\mEiPzb~cj=f}?j=xhx\mEf\²wc|g]mEPmE9x7|¢1Â#N
m7{mQu7z{x\mQ
W
«0v{mEf\m UhD wc|x\vbwc|0f\mQu7m7wyPm#mE]mE9xQ¯
<>"%"%/: -%!/**f?"%<< !
°v{m²}{f\gbg=¨wc|nbgP{ml¨IgPff\mEiPzb~cj=f}?j=x\x\mEf\?|©g=¨CmEPmEbxW|³j±|ºwykTw~cj=fnfhmQjP|gPbwy{i,uEj_ 3mbgP{m
¨ägPff\mEiPzb~cj=f}?j=x\x\mEfh?|g=¨»~yguEjR~}{f\mQ]wcuEj=x\mQ|7¶7¯ =[gP?|ºwcbmEf#xhv{m K0¸äf\mQbz?u7xwygPjP|\|guhwcj=x\mQ¼«wyx\v
j´]w§|x\fwy {z{x\mQGu7gPkn}{z{xWj=xwg]"¯bmEx U 3mÀj{g{bmng=¨x\vbwc|}?j=fhxwcjR~[gPfWbmEf#j=? c
x\v{mnj~z{m
g=¨¡x\v{m#j=f\fWjR jP|h|guhwcj=xhmQ²«wyx\vx\v{mmEPmE9x U 9nxhv{mC}{f\mE]wygPz?|jR~yiPgPfwyx\v{k±¯=bmEx C³ U ¶N ?m
x\v{mT|mExg=¨NuEj=z?|\jR~·}?jx\v?|mE?]wy{ijx U ¯
°v{m}{f\gbg=¨ u7gP?|ºwc|x7|»wy,|v{g=«wy{iTx\v?j=x»¨ägPfj=9²mEPmEbx U x\v{m¨äg=~~yg«¿w{il}{f\gP}?gb|ºwyxwygP,e»
wc|0x\f\z{mP¯
K 1 c +(0/ wc|x\f\z{mwlkx\v{mEf\mTm7bw§|xW|juEj=z?|\jR~[}?jx\v C³ U ¶C|z?u\v;x\v?j=x ; q 1³T¶
j=?Ãx\v{m«gPfW q }{z{xW|x\v{m#jz{x\gPkÀj=xhgPnwy;|xWj=x\m+(b¯
ÿ"ÿ â&SQê7êWê
:! C J N: QH D .:! HJ
K £QÇÇW¦ sCz{i]knmE9xmQj]u\vG}{f\g{u7mQ|\| C>D 9j²¾1u7xwxwg]z?|wybwyxwcjR~mEPmEbx U D ~cj= 3m7~ymQE¯¡°v{m
}{f\gbg=¨"wc|bg]{mC bTwy?bz?u7xwygP±g]Àx\v{mfWj=*7lg=¨·mEPmEbxW| wyx\v{mrjz{iPknmEbx\mQ8K0¸äf\mQbz?u7xwygP;³ºx\v{m
fWj*7Àg=¨[j=mEPmEbxwc|0x\v{m~ymE{iPx\v±g¨ x\v{m~ygP{i]mQ|xCuEj=z?|\j~·}?j=x\vmE?]wy{i±j=x U ¶7¯
z{mpxhgnwybwyxwcjR~wL1Qj=xwygPg=¨j=f\fWjR{| D
x\v{mT}{f\gP}3g9|ºwyxwygP;wc|x\fw]wcjR~~yx\f\z{m¨ägPfrj~~NwybwyxwcjR~
mEPmEbxW|0«vbwcu\v´v?jRPmfWj=*7oP¯ 90g=«'jP|\|z{kw{i²}{f\gP}3g9|ºwyxwygP,
w§|0x\f\z{m©¨Ig]fCjR~~·mEPmEbxW|0«wyx\v
fWj*7n~ymQ|\|xhv?j=b{u7gP?|ºwcbmEfCjmEPmE9x U g=¨¡fWj=*7b¯=NPmEbxW|EbgPxhv{mEfµxhv?j= U b ?m7~ygP{i=wy{i²x\gnj
}?j=xhvg=¨ C³ U ¶»v?jQ]m#jTfWj=*7l~ymQ|\|xhv?j= P¯?°¿«µgnuEjP|mQ|v?jRPmx\gn 3mpu7gP?|ºwcbmEf\mQ0;
oP¯ U wc|j=²wy9x\mEfh?jR~·gPfCjl|mE?mEPmEbxQ¯
Ix»¨äg=~~g=«C|¿x\v?j=x U v?jP|»gPb~yÀg]{mC}{f\mQbmQu7mQ|h|gPf U {j=? U v?jP|fWj*7oP¯QPPxWj=x\mEknmEbx
ouhv{mQu 7|TjR~~C}3g9|\|ºwy b~ym±x\f7j=?|ºwyxwygP?|©¨IfhgPk jR~~0jz{x\gPkÀj=xhgP_|xWjx\mQ|J(
|z?uhvx\v?j=x
cO +( /N«wyx\vjR~~[~cj= 3m7~§|g=¨³U ¶W¯QIx¨äg=~~yg=«C|x\v?j=xx\v{mnj=fhfWjR c
"jP|\|g{uhwcj=x\mQ´«wyx\v U
«v{g9|mf7j=*7nwc|b|hj=xwc|º¾?mQ|0}{f\gP}?gb|ºwyxwygP ¯
{¯ U wc|jTf\mQu7m7wyPm#mE]mE9xQ¯
Inxhvbw§|»uEjP|mP U v?jP|¡x«g}{f\mQbmQu7mQ|\|gPfW| U j? U j=?nj=x¡~ymQjP|x[gP{mg¨1x\v{mEkv?jP|¡fWj=*7
oP¯<PPxWj=x\mEklmE9x Y
knmEf\iPmQ|
c O
j=? c OO
wybx\g±j=´wy9x\mEfhknmQ]wcj=x\mÀj=fhfWjR«vbwcu\v;wc|
z?|mQjP|x\v{m²wy{}{z{xj=f\fWjR;«v{mE Y
uEjR~~c|f
W
¯N°v{m±|hj=knm²f\mQjP|gPbwy{i_j]|wy½uEjP|m;o
j=}{}b~wymQ|j=?²}{f\gP}3g9|ºwyxwygP
wc|]mEfw¾?mQ²¨ägPf U ¯
Ix¨äg=~~yg«|}{f\gP}3g9|ºwyxwygP
wc|xhf\z{m¨Ig]fCjR~~·mEPmEbxW|g=¨NfWj=*7 P¯
s|knmEbxwygP{mQ-wy'|mQu7xwygP'{»~wy*7PmQÉ}{f\mQ]wcuEj=x\mQ| +G{-boQ5/#j=?jx\gPkTwcu;|mQ¹]z{mE?u7mQ|g=¨
}{f\mQ]wcuEj=xhmQ| +H-?/·uEj ?mm7{}{f\mQ|\|mQ´jP|»f\mEiPzb~cj=f}?j=xhx\mEf\?|E¯9Ixhv{m#uEjP|mg=¨"~wy*7PmQÃ}{f\mQ]wcuEj=x\mQ|E
x\v{m±j]|\|g{uhw§jx\mQj=z{x\gPk²j=x\gP;wc|~wy{mQj=fj=?GknmQ|\|hj=iPmQ|v?jRPmÀg]b~Gx\g;}bwyiPiPb ?jPu 7_x\v{m²~cjP|x
f\mQu7g]iPbwL1EmQ,|xWj=x\mg=¨Nx\vbwc|Cj=z{xhgPkÀj=x\g]"¯
I +0/ºPj=fWGmEx²jR~¯N}{f\gP}3g9|mx\g_uhv{mQu 7G¨IgPfTf\mEi]zb~§jfÀ}{f\g]}?mEf\xwymQ|Tg¨©]wc|x\fw {z{xhmQ+u7g]kn¸
}{z{xWjxwygP?|E¯·°¿v{mQ|mn}{f\gP}3mEf\xwymQ|#jf\mÀbmQ|\u7fwy 3mQ b´¾?bwxhm|x7j=x\mnj=z{x\gPk²j=xWj{¯?° g,j?|«mEfx\v{m
¹]z{mQ|xwygP 'hwc|lx\vbwc|n}{f\g]}?mEf\xGPmEfw¾?mQ- 9x\v{m;]wc|x\fwy {z{x\mQ½u7gPkn}{z{x7j=xwygP)]j=fWGmExjR~¯
u7gP?|w§bmEfx\v{m~cj=x\xw§u7mg¨·i=~ygP ?jR~·|xWjx\mQ|»f\mE}{f\mQ|mEbxwy{iÀjR~~·}3g9|\|ºwy b~ym#gP ?|mEf\j=xwg]?|g=¨·x\v{m#]wc|¸
x\fw {z{xhmQu7gPkn}{z{x7j=xwygP½³j=GgP ?|mEfhj=xwygP wc|nj;}?j=x\vGwyx\vbwc|~cj=x\xwcu7m²¨äf\gPk x\v{m²wybwyxwcjR~#x\g
x\v{m©¾??jR~Ni=~ygP ?jR~[|xWj=x\m + /¶W¯ '?PPgPklm0)À|\jxwc|º¨ j]u7xwygPwc|uh~§jwklmQ±«0v{mE¼jx~ymQjP|xgP{m#}?j=xhv±g=¨
x\v{m~§jx\xwcu7mTwc|f\mQu7g]iPbwL1EmQ; 9´x\v{mÀj=z{xhgPkÀj=x\g]±«v{mEf\mQj]| '7mEPmEf\*)À|hj=xwc|º¨jPu7xwygP;wc|uh~cjRwyknmQ
«v{mEGmQjPuhv_}?jx\vg=¨x\v{mT~cj=xhxwcu7m²w§|©f\mQu7gPiPbwL1EmQG b;x\v{mjz{x\gPkÀj=xhgPG³x«µg±]wc|xw?u7xT}?j=xhv?|
g=¨x\v{mn~cj=xhxwcu7m±uEj=_ 3m±jP|\|g{uhwcj=x\mQª«wyx\vGx«g;]w§|xwy?u7xÀ|mEbx\mE?u7mQ|T ?g]x\vj]uEu7mE}{x\mQG 9ªx\v{m
î ·ÿîcù
CH C J D$C DQF>H C +J J J%F C "!#0F J
j=z{xhgPkÀj=x\g]¶W¯5I²gPz{fµj~i]gPfwyx\v{k xhv{mCPmEfw¾1uEjxwygPnwc|bgP{mP]gPÀxhv{mÊ?PbgPnx\v{m}?j=x\v?| g=¨"x\v{m
}?j=fhxwcjR~·gPfWbmEf0iPmE{mEfWj=x\mQ² b²x\v{m#m7{mQu7z{xwygP"¯
()( ±"
°vbwc|}?j=}3mEf#v?jP|0wybx\f\g{bz?u7mQ_j´uh~§j]|\|g=¨ ?mEv?jR]wg]fWjR~µ}?jx\x\mEf\?|0¨ägPf#]wc|x\fwy {z{x\mQGu7gPkn}{z{x7j=¸
xwygP?|K¯ PPz?uhv±}?j=xhx\mEf\?|j=f\m#uEj=z?|\j~ |mQ¹]z{mE?u7mQ|g=¨ fhm7~mE=j=bxmEPmE9x7|³gPfCuEjz?|\jR~ |mQ¹]z{mE?u7mQ|g=¨
~yg{uEjR~ |xWjx\mQ|Nx\v?jxµ|\j=xw§|¨IÀ|gPknm}{f\mQ]wcuEj=x\mQ|7¶[bm7¾?{mQ bÀjr¾?bwxhm#|xWj=x\mj=z{x\gPkÀjx\gP³v{mE?u7m
x\v{mT?j=klmpfhmEiPzb~cj=f}?j=x\x\mEfh?|7¶W¯°v{mEgPf\mExwcuEjR~[fhmQ|zb~yxW|³j= 3gPz{x#u7gPkn}b~ymEknmEbxWj=f\Pz{bwygP"mEx7uR¶
gP²¾?bwyx\m#|xWj=x\mCjz{x\gPkÀj=x7j#uEj=|ºwykn}b~w¨Ix\v{mx7jP|7Tg=¨ bmQ|ºwyiPbwy{ij=?lPmEfw¨I]wy{iÀ|z?uhv ?mEv?j=¸
]wygPfWjR~}?j=x\x\mEf\?|K¯=sCÀj~i]gPfwyx\v{k xhv?j=x[bmEx\mQu7xW| x\v{mQ|mf\mEi]zb~§jf[}?j=x\xhmEf\?|¡gPnx\v{m¿Ê?pv?j]|N ?mEmE
}{f\g]}?g9|mQ @wx0{mEmQ{|{m7wyx\v{mEfru7g]kn}b~ym7Ã{j=x7jp|x\f\z?u7x\z{f\mQ|0³|z?u\v±jP|j~cj=xhxwcu7m=¶Wb{gPfjnu7mE9xhfWjR~
kng]bwxhgPfQ{gPf#jP{]wyxwygP?j~µknmQ|\|hj=iPmQ|@òwyxgPb~y,fhmQ¹Pzbwyf\mQ|©x\v?j=xmQjPuhv;knmQ|\|\j=i]mp}bwyiPi]9 ?jPu 7{|j
3g9g=~ymQj=±jf\fWjRn³«0v{g9|m|ºwL1Emwc|»x\v{m9z{kT ?mEfg=¨·|x7j=x\mQ|Ng¨·x\v{m¾?bwyx\m#|x7j=x\mCj=z{xhgPkÀj=x\g]¶·j=?
jT]mQu7x\gPfCuh~yg{u;7²w¨[uEj=z?|\jR~·g]fWbmEfwc|{g]xµmE?|z{f\mQ bx\v{mz{?bmEf~y]w{i±||xhmEk±¯
sCGwykn}b~ymEknmEbxWj=xwygP-g=¨Cx\vbwc|nbmExhmQu7xwygP+jR~yiPg]fwyx\v{k wc|nu7z{f\f\mEbx~yªw-}{f\gPiPfhmQ|\|©wg]z{f
]wc|x\fw {z{xhmQ,bmE {z{i]i=wy{in¨jPuhw~wx,+ /¯
' #/
mj=f\mliPfWj=x\m7¨äzb~µxhg3#¯;%j= ?j=gi~z"&=G¯;K0z{f¾?j? =N~¯ PjfW;¨ägPf©wbx\mEf\mQ|xwy{i¼]wc|\u7z?|h|ºwygP?|
j= 3gPz{xC]wc|x\fw {z{xhmQ,bmExhmQu7xwygP±g=¨¡}{f\mQ]wcuEj=x\mQ|E¯°vbwc|«gPf;7nv?j]| ?mEmE;|z{}{}?gPfhx\mQ²wy±}?jf\x 9
x\v{m =[gPknkTwc|\|wg],g¨ Nz{fhgP}?mQj= =[gPknkTz{bwyxwymQ|z{?bmEfpNP9e[ I° e f\gPiPf7j=knknm%µ¿s G]:G%g
³ % 3s =[sP9°¶W 9xhv{m32{f\mE?uhv =$9Pz{?bmEf²x\v{miPfWj9xneNj=fWj~~ym7~C° fWjPu7mQ|nj=?G bj
2òf\mE?u\v{¸I|fWj=m7~wNiPfWj=bxgP,]wc|xhfwy {z{x\mQ±u7gPkl}{z{xwy{i?¯
!'*$
+yoF/ 3#¯ %j= ?jgi=~yzj=? T¯ =;j=f;1Ezb~~yg?¯
%JL C
Q
DGH9;QH
CF QJ
@
J%F
C ?
C0!
F
":! C .
GH DC D C#
!'CCD
J !
J
JL @
J%F
CC ?
C0!
Qu\v?j}{x\mEf·3¯Ps= =
eNf\mQ|h|E=2{f\gPbxwymEf PPmEfwymQ|E P?¯{¯Q=±zb~~ymE?bmEf [¯§³WoQP]b¶W¯
+VJ/
3#¯ %j= ?jgi=~yzpj=?=G¯QjR9?j~ ¯ '?PP}?mQuhw¾1uEj=xwg]Àj=?#bmExhmQu7xwygP#g=¨? 3mEv?jRPwygPfWj~9}?j=x\x\mEfh?|
wy_]wc|x\fwy {z{x\mQGu7gPkn}{z{xWjxwygP?|;){I @
0D
%
Q8
%C
@ C
DC
C # C
: HC :! #NF J
D
@ @ J
JEDCQH
#:#NHKJD
J
<PP}{fwy{iPmEfNmEf~cj=i PPmEfwymQ|©w
mE}?mE?{j= b~ym =[gPkl}{z{xwy{i? P9j= 0wymEiPg?³ Pj=bz?j=f\P"oRP={¶W¯
ÿ"ÿ â&SQê7êWê
:! C J N: QH D .:! HJ
+VJ/ e¡¯K=C¯5%µjx\mQ|[j=? {¯=C¯-w~ymQbmE"¯ 'K¿wyiPv{¸A~ymEPm7~·bmE {z{iPi=wy{i#g¨]wc|x\fwy {z{x\mQ²|{|x\mEkÀ| ;=x\v{m
?mEv?jR]wg]fWjR~j= ?|x\fWjPu7xwygP#j}{}{f\g9jPuhv.){
QF
@C
QH: ?
C0!
@ C
=³mQu7mEkT ?mEfR
oQ:-P¶ ò³b¶;V]P:GR?¯
+á"/ ¯*=[gbgP}?mEfnj=? T¯&=,jf;1Ezb~~g3¯4' =[gP?|ºwc|xhmE9xTbmEx\mQu7xwygPg=¨Ci~g] ?jR~µ}{f\mQ]wcuEj=xhmQ|;){I
$@
0D
<
@;B
C# @
QH HKC H*
JL @
J%F
CC
C F D DQJ D
=}?j=iPmQ|o?G
o ?QP9j=bxWj.=[f\z*1P =µjR~w¨IgPfhbw§jò"³=;jRPoQP{o¶W¯
+VJ/=C¯ 0wymEvb~=C¯ PjfW·j=? ò¯T¯·0j=kn}?g]"¯4'EmQjPuhv?j= bw~wxj=?j~{|ºwc|gP]w§|x\fwy {z{x\mQ
m7mQu7z{xwg]?|;){NI
CC
@
8
$@
:D
JED C
@ C
C C HC# !'C
.ä{}?jiPmQ|GPP G=9{
°"seNP*3 2N°©9PP}{fwy{iPmEf NmEf~cj=i3%b9= P G:G:-{rjz?bm7~1j=? =gPz?j{?j=z?TmQ]wyx\gPfW|Kb³sC}{fw~
oQPP¶W¯
+HGJ/ p¯ T¯rjf\ipj=? %¯#_jR~cbmQu;7]mEfQ¯'mEx\mQu7xwygP²g=¨"z{?|xWj= b~ym}{f\mQ]wcuEj=xhmQ|»wy±]w§|x\fwy {z{x\mQ
}{f\gPiPf7j=kÀ|;){I
C H .
C
@
JE
QH
%C
@ C D C QF
:
JE
8
@ C
CD
GH D:
CC
@ C
JDQH :! #NF
C @ D JC D C
=}?j=iPmQ|»PP{:G=?"PP}{fwy{iPmEf NmEf~cj=i3
b9=P GP]{ 9mE« m7~yvbwQI?]wcj{ ³ mQu7mEkT ?mEfQ"oRPPb¶W¯
+ / =G¯>K0z{f¾?"9#¯e¡~ygPz*1EmQjz"#j=? =_¯jR9?j~ ¯ ' s bmE {z{iPi=wy{ix\gbg=~¨IgPf;]wc|x\fwy {z{¸
x\mQ [|x\m7~~m;}{f\g]iPfWj=kÀ| ){
QF
@C
QH :! #NF
C @ :!!'F
JDC
JE
³=;jRPµoRPPb¶W
o0Gb³¶;VP:-P={¯
+H-J/ =G¯ K0z{f¾?"9¯1e ~g]z*1EmQj=z"·j=?=G¯jR9?jR~¯8'mEx\mQu7xwy{i±j=x\gPkw§u|mQ¹]z{mE?u7mQ|g=¨}{f\mE¸
]wcuEj=x\mQ|»wy,]wc|xhfwy {z{x\mQ±u7gPkl}{z{xWj=xwygP?|;)ò Iº @
?D
#
@;B
C#
@
QHLHKC H
J @
J%F
C
C F D DQJ D
N}?j=iPmQ|²P9b{ P9j=0wmEi]g?³ =;jRPoQP]b¶W¯É³mE}{fwybx\mQ w
P:Iebs9 9g]xwcu7mQ|E mQu=¯"oQ]Pb¶W¯
+VJ/=C¯ ]j=fW·°©¯ =mEf\g]"p¯p¯ =g]z{fW{j="Nj=?jkn}?gP {¯T¯ '7siPmE{mEf7jR~µj=}{}{f\g9j]u\vGx\g
x\fWjPu7mE¸uhv{mQu 7Pwy{iwyÀ]wc|x\fwy {z{x\mQu7gPkl}{z{xwy{i||xhmEkÀ|;){*Iº @
0D
! Q8
{e¡g:1E?j="?e¡g~§j?³ =z{{mP"oRP={¶W¯
+yo,g5/ bN¯Pb j=kn}?g]f\xQ¯ 'E°»wyknmP{uh~yg{u;7{|j=?nxhv{mCgPf7bmEfwy{ipg¨mE]mE9xW| wy±j#]wc|x\fwy {z{x\mQ||xhmEk8){
:!! F
JEDC
J
C
,3³ zb~P¡oQ -b¶W9òo=³ ¶;P:-"GPb¯
+yo]o/ 2¯0=;j=x\x\mEfh"¯ ' 0wyf\x\z?jR~bxwyknmµj=?©i=~ygP ?jR~|xWj=x\mQ|g¨ò]wc|x\fw {z{xhmQp||xhmEkÀ|;){5Iº=[g9|?j=fW
zbwy9x\g]"r0jQb?jR~j=?gP ?mEfhxQmQ]wxhgPfW|E
@
GHHKC H J
@
J%F
C HD:
@ J
!
}?j=iPmQ|òoQP"G{I90gPf\x\v{¸AK0g=~~cj=?³;3Cu7xhgP ?mEfQ oQ:-:-b¶7¯
+yoR5/ %¯Ve¡¯ =Ãw~~ymEfj=? {¯ =»v{g=w¯ '%»f\mQj57b}?g=wybxW|[j=?v?jR~yxwy{i#wy]wc|x\fwy {z{x\mQ²}{f\g]iPfWj=kÀ| ){*I
$@
0D
.-B_a` ! .8
J @ J F
CC "!#0F
J D ?
C0!
J C
{³ =zb~yP
oQ:-:-¶WP}?j=i]mQ|{o0G{PP{¯
î ·ÿîcù