HAL Id: inria-00072696
https://hal.inria.fr/inria-00072696
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.
Formalization and Verification of Coherence Protocols with the Gamma Framework
David Mentré, Daniel Le Métayer, Thierry Priol
To cite this version:
David Mentré, Daniel Le Métayer, Thierry Priol. Formalization and Verification of Coherence Proto- cols with the Gamma Framework. [Research Report] RR-3953, INRIA. 2000. �inria-00072696�
ISRN INRIA/RR--3953--FR+ENG
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
Formalization and Verification of Coherence Protocols with the Gamma Framework
David Mentré, Daniel Le Métayer, Thierry Priol
N˚3953
June 2000
THÈME 1
,
-&&/.012
,
3
4 57698;:$<$=?>A@CBCDFEG45H>8;=?IKJ'=L<MD?@N57OH=PBPERQ*S8T=PBUBUOWVBC8TXYI
Z[]\_^a`abdcfe'gUhi`Ujlknmo`pqhirnhspt\_^a`Uh
uwvixlys`p'u{zqe'|~}
eKjlHxlvip'`vi`C-[`_v--[` ?l?lc?k7`lllcbU]jll`Ch
oU_Nll Z[hK]jlF`UvKvt`Uhi`_PpthKjlj]vixPjl-[pix*x?vi^*j ¡¡¢_`x?[`_vt`_F`vtxptx7_xl hxlv£h~[]jlvi`C
¤
¡v~ptk]j ¥^a`U^x?vi¡`Uhj?h^k ¦pih~`_pvi`U§'vi¦pi¡¨h~rnh~pi`U^ahU©aZ[`*l ¡xlª]jl ¥hsp-jNpi`axlwpi[]`*vixlpixnx? ¡hvt`_vt`«
hi`_Ppt`Uj?h£j^k ¦pihi`pj]¨vt`_§'vt¦pi¡ovtk ¡`Uhdjvt`k]hi`Upix`Uhtvt¦ªH`¬h~ptjpi`a-[]j?`UhU©£|
¤
jvtjPpth£jvt`
`_mnvi`Chihi`ULjlhvtxlH`_vipi¡`Uhxl®pt[`oUjv-n¦Fj ¡¯psrx'h~kªFh~`_pth§'[]¡-[°-[]jlvtj?pt`_vt¦¢U`hiF`C¦±F*vt`_ jNpt¦x?]h_©
²L` vt`Uhi`_Pp2j³jknptxl^*jNpt¡j ¡lx?vi¦pi[^´ptxµ-[`U-¶®pt[]jNpojLvtxlH`_vipsrµ¡h*jl·¡
¤
jlvijPpaxj¸]vixlpix«
_xl ;©¹Gxlpi[¨pt[`xlvt^*j ¡¦¢CjNpi¡xljl]¨pt[`
¤
`_vt¦±F_jpi¡xlh~pi`_Fhdjlvi`¦ ¡ ¦kFhsptvtjpi`U¸xl¨pt[`*ºAj]»Kk]]j¶
hi¡l ¡`«¼§'vi¦pi`Uv½N^k ¦pi¡ ¡`«¼vi`Cjln`Uvthwxl[]`_vt`_]_`d]vixlpixnx? T©
¾¨¿PÀYÁtÂà NÄlÆÅ jl^a^aj]ÇÈ¥`_vt¦±F_jpi¡xlAÇFÉGx?[`_vt`_]_`£]vixlpixnx? TÇnʨk ¦pihi`pKvt`_§'vt¯pt¦
ËÌ{ÍiμÏUÐÍ'ÑҡμÓ;ÔÕ
Ö9×CØÚÙ9ÛÝÜ-ÛlÞsß9Ù;×ÝàáCâÚãÜ-ÛÝÛÞ~Ü-ßØÚädåHæ¥çUè9éêëëëCìíáÝäÝÞRêëëëCìÝî7ØÚï'ÞsßTØÚð¼ñìÝòóßôÞsâõÜ-äÝã
Unité de recherche INRIA Rennes
') _ "N _+/.01
ÉG`2Fj¡`_v¬vigCh~`UPpi`*k`j]vixn-[`*Hxlkv¬ ¡j¨xlvt^ajl ¦htjNpi¡xlµn`vtxpixn_xl ¡`Uhn`x«
[]g_vt`_]_`£Hxlkv ¡`Uh^ag_^axl¡vt`Uh
¤
¦vipik`U ¦ ¡`Uh]jlv~p-j?g_`Uhhixlk]hwxlvt^a``dhirnhspt\_^a`Uhn`vtg_gU_vi¦pik]vi`?©ºg_ptjNp
? ¦x?ª]j ¥k®vtxptx7_xl ¡`¬`Chspvt`_vtgUhi`_Pptg¬]jlvk®^k ¦pi¦«¼`_]hi`_^¬ª ¦`a`_p ¦`Chvi\Ul ¡`Uhn`avigUgU_vi¦pikvt`*h~x?Pp
kpi¡ ¦h~gU`UhFx?kvngU_vi¡vi`G ¦`Ch-[Fj?`_^a`_PpthgptjpU©ºA`Ch9¡
¤
jlvijPp-h9hixlPp`_m7]vi¡^agUhh~x?k]h{x?vi^a`G`Gvtx«
]vi¡gptgh~k]vK ¡j*Ujv-n¡]j ¡¯ptgn`hixlk]h~«¼`_]hi`_^¬ª ¦`ChPkUjv-jlptg_vt¡hi`_PpKn`ChKvt`_ jNpi¡xlFhKh~HgU_¯±?k]`UhU©qxlk]h
]vigCh~`U?ptxl]hKk¸j ¡lx?vi¦pi[]^``
¤
gUvi¦±F_jpi¡xl¨jkpixl^*jpi?k]`Fx?kv
¤
g_vt¯±F`_vPkk`¬vix?vt¦g_pig`Uh~p£k]
¡
¤
jvt¡jl?pRnkovixlpixnx? ¦`?©º9`UhRn`UknmagptjlF`Chwn`Kxlvt^ajl ¦htjNpi¡xl`pn`
¤
gUvi¦±FUjNpi¡xlahixlPpR¦ ¡ ¡k]hsptvigU`UhRhikv
¡`vtxpixn_xl ¡``_xl[gUvi`U]`n`º9A`pq»qk]j¶YÇgU_vi
¤
j¡k]Pk``_pK ¦`Cpt`_kv-h^k ¦pi¡ ¡`UhU©
%à C Á )Å jl^a^aj]ÇnÈqgUvi¦±F_jpi¡xlAÇnuwvixlpixnx? ¦`n`x?[g_vt`_F`lÇeKg_gU_vi¦pik]vi`n`^k] ¯pt¯«¼`_]hi`_^¬ª ¡`
? @
&
A£hsptvi¡ªknpt`U¸hirnhspt`_^*hUÇ{^aj?n`xlGjkpixl]xl^axlk]h£^*jl-[¡`Chq ¡¦]¶l`U¸ª7r j`_ps§Gx?vi¶YÇYjvt`§'n`_ ¡r¨k]hi`U{Ç
v-j]l¡ vix?^)[]¦?[n«;H`_vixlvt^*j]_`2 ¡k]h~pi`_vx?^]knpi¡ptx¨ôjk] ¯pi«Tptxl ¡`_v-jPp¬hir7h~pi`U^*h_©¸»qxN§G`
¤
`Uvn`«
hi¡l¡aj]vtxllv-j^a^a¡¬hik]-[ h~rnh~pi`_^*hh'janB2_k ¯pqptjlhi¶YÇ7¦
¤
x?
¤
¡^ajl]j?`_^a`_Ppx`mn ¡¡_¯p
Fjv-j ¡ ¦`U ¦h~^ jl] k ¡¡UjNpi`C·¡nx?vi^*jNpt¦x?A©³ÉGx?[`_vt`_Fr®¡hax?` xKpt[`¨^ax?h~paB2k] ¯p2vtxlª] ¦`U^ah
jlvihi¦¨¡·nh~pivt¦ªkpi`Uµhirnhspt`_^*hU©¨|¼pj]F`Cjv-hxlv¬`mj^a ¡`2¡°nhsptvi¡ªknpt`U®±] ¡`hirnhspt`_^*hUÇ
¤
¡v~ptk]j
hi[]jlvi`C*^a`_^axlvtr*xlv§G`UªUjl-[`Ch_©¥zqh¡nxlvt^*jNpt¦x?ohhivt`Uj?oj ¡ Yx
¤
`UvRpi[]`hirnhspt`_^ Çnxl]`£`U`Uhvtx«
ptxnxl hqpix jl__`Uhth£jl]k]Hjpi`¬pi[hd¦xlvt^ajpi¡xl¸_xl[`Uvi`UPpi ¡rlÇY§'[¡ ¦`^a`_`pt¦]hiF`C¦±FxlFhsptvtjl¦Ppth
hik]-[·j?hôjlk ¦p~«;pixl ¡`_v-jF`lÇH`_vixlvt^*j]_`UhUÇ jNpt`_]_rlÇRhi`U_kvi¦psrlÇ¥`_ptl©®¹k¡ n¦]hik]-[°vtxptx7_xl hh¬j
_xl^a ¡`mo^*jp~pi`UvU©RZx*^*jlh~pi`Uvpi[hKx?^a ¦`_movtxn`UhthUÇn¯pKh'vtk]j Yptx*ªF`jlª ¡`pix*h~`U]jv-jNpt`d`Uhi¦?
jl]¦^a ¡`_^a`U?p-jNpt¦x?hth~k`Ch_©Z[`Kn`Ch~¡lv-j^a`_§xlvt¶hi[xlk ¦F ¡k]n`'ôj?¡ ¦¦pi¡`Uhptxxlvt^*j ¡ ¦r¬-[`U-¶
]vix?F`Uv~pt¦`ChRx{pt[`dvixlpixnx? T©|j¬h~`CxlF*hsp-jl`?Ç?¦phi[x?k ¡2ªF`dFxPhihi¡ª ¦`qpixh~H`U_¡jl ¦¡¢_`'pt[`jª]h~piv-jlp
¤
`_v-h~¡xlxpi[`vtxptxnxl Ajl]opixal`_pqj`B2¡`_PpK¡^] ¦`U^`UPptjNpt¦x?x?opt[`ptjlvi?`p' jNpixlvt^©
ÉGx?[`_vt`_]_`'vtxpixn_xl hRjvt`k]h~kFj ¡ ¦rvt`Uhi`_Ppi`C¬kFh~¡]hi`_kFnx«xnn`'x?vR]jNptkv-j j?k]j?`+C¡*pi[`
jlvi`Cjoxlhi[]jvt`U
¤
¦vipik]jl ¥^a`_^axlvtrlÇ%DE]Ç9Ç¥bC7ÇnbFwjlvi`avt`_vt`Uhi`_Pptjpi
¤
`¬`mj^a ¡`UhG©oÉG[`C-¶P¡ h~kF-[
]vixlpixnx? ¡hdhxpjl®`Ujlhir¨p-jlhi¶H©IH¡vth~pUÇ9pi[`2hiH`U¦±FUjNpi¡xlµjl]®j^axnn`U Rxpi[`ovixlpixnx? ¥h~[x?k
ªH` ¡`Ujlvi ¡r°h~ptjNpt`U;Jpt[`_ pt[`¨^ax7`_ Khi[xlk ªF`-[`C-¶l`C·jPj¡]h~pa¦pth*hiH`U¦±FUjNpi¡xl9©³z
¤
jlvi¡`psr
xl
¤
`Uvi¦±FUjNpi¡xlpi`U-[]Pk`Chjvt`¬j
¤
j¡ ¡jlª ¡`7D¡bUnÇ¥bCnÇbUnÇ9?-F¥ªknppi[`Ur`_¦pi[]`_vdôjl_`pt[`*hsp-jNpi`ahi]jl_`
`_mn ¦xPh~¡xlvtxlª] ¦`U^KCô¦pt[`wUjlhi`Rxh~ptjNpt`R`_7k^a`Uvtjpi¡xljFh~r7^ªHxl ¡^xnn`U P-[]`U-¶7¦]pi`U-[]Pk`Ch<G
x?v`_`C[7k^*jl¡Ppi`_v
¤
`UPpi¡xl j]opi[7k]hKjlvi`nB2k ¦pKpixak]hi`IC¡pi[`Ujlhi`£xlpt[`_x?vi`U^ vtx
¤
¦LG©
Zxjlvi`Chihpt[x?hi`¡hth~k]`UhUǧG`Kj?
¤
xnUjNpi`¡api[h¥]jlF`UvRjnxl^*j¡ah~H`U_¯±F j]lk]jll`pixn`Chi_vi¡ªF`
_xl[`Uvi`U]`Gvtxpixn_xl h_©Z[¡h¥jlvtx?j?-[vi`U ¦¡`Uhx?^k] ¯pt¡hi`pRvt`_§'vt¯pt¦]qptxqx?vi^*j ¡¡¢_`vixlpixnx? 7`_Ppi¦pi¡`Uh
jl]¸_xlPpivtxl ;©Ê¨xlvt`_x
¤
`_vCÇF§`vtxlHx?hi`¬jljl ¦?xlvt¯pt[^ pix -[`U-¶ ¡
¤
jlvijPpqvtxlH`_vipi¡`Uh£x
¤
`Uvdhik]-[¸j
x?vi^*jl `Uhtvt¦npt¦x?A©·Z[` j ¡lx?vi¦pi[]^ ¡hª]j?h~`C°xl j®h~r7^ªHxl ¡ovt`_vt`Uhi`_Pp-jNpi¡xl°jl] j ¤
xlhpi[`
`_mn ¦x?vtjpi¡xl2xlh~ptjpi`Uhpt[]jNpKjlvi`dxp'vt`_ ¡`
¤
jPpxlv'jl
¤
`UovtxlH`_vipsrl©¥Z[`vt`Uhik ¦pxl9pt[`j ¡lxlvt¦pi[^
hqjoxlFn¯pt¦x? pi[]jp£[]j?hpixoªF`hijpihs±]`C ª7ropt[`¡¦pij h~ptjpi`xl¥pi[`¬h~rnh~pi`_^ xlvqpi[`¬vtxlH`_vipsr2pix
ªH`¬jl¡
¤
jlvijPpU©dZ[`
¤
`_vt¯±H_jNpt¦x?¨¡hdjkpixl^*jpij]¨pi[`xl ¡r¨jlpi¡xl]hqvi` ?k]¦vt`Uvtxl^ pi[]`¬k]hi`_v
jlvi`pi[`*hiF`C¦±F_jpi¡xlxwpt[`aknp-jNpi
¤
`¡
¤
jlvijPpdjl]¸pi[`avtxlH`_vipsr¨h~H`U_¯r7¡pi[`¦]¯pt¡jl Rhsp-jNpi`
xl9pt[`h~rnh~pi`U^©
Z[hRFjH`_vRh¥xnkFh~`C¬x?
¤
`Uvi¦r7¦hi[]jvt`U
¤
¡v~ptk]j ^a`U^x?vi¡`Uh¥_xl[`Uvi`U]`']vixlpixnx? ¡h§'[-[a§G`
]vi`Ch~`U?p£¦Lh~`Cpi¡xlLnÇY¦xlysk]pt¦x?¸§'¦pi[Lj`_mnjl^a ¦`¬vtxpixn_xl 9kFh~`C pi[vtxlk]l[x?knpqpt[¡h£]jlF`UvU©
|h~`Cpi¡xlÇ7§G`dn`Uhtvt¡ªF`£xlkvwxlvt^ajl ¦hi^ ptx`_m7]vi`Chihwvixlpixnx? ¡hGj]ovtxlH`_vipi¡`Uhwjl]aptx¡ ¦ ¡k]h~piv-jNpi`
¦p§'¦pi[Wpi[`L`mj^a ¡`l©%|Mh~`Cpt¦x?ME]Ç'§`¸vt`Uhi`_Pp2pt[`
¤
`_vt¯±FUjNpt¦x?Wj ¡lxlvt¦pi[^ j]Whi¶l`_pt-[ ¦pth
jl ¡¡UjNpt¦x?¨xl pi[]``mjl^] ¦`?©qe'`_ jNpt`U §xlvt¶jl]kvipi[`Uv£§xlvt¶jlvi`¬n¡htkFhihi`U ¡¸hi`Upt¦x?¸*jF
hi`Upi¡xl4Nvi`Ch~H`Upi
¤
`_ ¡rl©
O P
&' 0Q
@
K'+
}n[]jvt`U¬Èq¡v~ptk]j Ê`_^axlvt¦`ChRCT}7ÈdÊSG[]j
¤
`GªH`_`Uavix?FxPh~`Cª7rº9]jF¬»qk]j¶7D¦bEF]jlh¥jdpt`U-[]Pk`pix
ôj?¡ ¦¦ptjpi`pt[`¬`Uhi¦?¨xwnhsptvi¡ªknpt`Ujl ¡¡UjNpt¦x?]h_©KZ[]¡h£xlF`_pqxTY`_v-h'pt[`¡ ¦ ¡k]hi¦x?¨xwj*? ¦x?ª]j
j?nvt`UhthRhi]jl_`Kx
¤
`Uvwnhsptvi¡ªknpt`Uoj?nvt`UhthRhi]jl_`UhU©|ohik]-[ojh~rnh~pi`_^ Ç?pi[`hi[]jvt`Uajl]nvi`ChihGh~Fjl`q¡h
Local state
Allowed remote states Local event Remote event Read
Invalid
Invalid or Read
Inv or Read or R/W
Read/Write
Invalid Remote read Local write
Local write Remote write Local read
Remote write
H¡lkvt`ab¥u¥j?`hsp-jNpi`?vtjl[oxlº9Aj] »KkFj¶o_xl[`Uvi`U]`vtxptxnxl
¤
n`U ¡¨`_ ¡`_^a`_Pp-jvtrok¦pthd_jl ¦ ¡`U <&'9 2.7C¡[]jlvtn§jvt`nhsptvi¡ªknpt`U¨hi[]jvt`U^a`_^axlvtr5Gxlv
. C¡ahixóps§jvt`K}7È£Ê G©?Z[]x?hi`k]¯p-hRjvt`'vt`_ ¡¡UjNpt`U¬¦*j ¡x7Uj FjvipxlFpt[`qnh~pivt¦ªkpi`Uahirnhspt`_^
]x7`Uh^a`_^axlvtr¸Uj ¡ ¦`Cj &5_©oZ[hnhsptvi¡ªknpt¦x?Ljl ¦ ¡xN§Khh~¡^k ¦ptjl`_x?k]hjlU`Chihi`Uh£pix¨jptj jF
pt[7k]hh~`
¤
`_v-j Hx?¦`ChwxlApi[]`htj^a`£ ¦x?l_j H¡`U_`£xl9¦xlvt^ajpi¡xloUjªF`x?]kvtvt`_Ppi ¡ra^xnn¦±]`C{©¥|¼
jdxnn`'xlFpt[`qnh~pivt¦ªkpi`Uahirnhspt`_^%^axnn¦±]`UhR¯p-h¥ ¦xnUj ]_xl7rx{jd¡`U`'xlY]jNptj]Çlxlpi[`UvRxl]¦`Ch¥xHpi[`
htj^a`¡`U`xH¦xlvt^ajpi¡xlh~[x?k ªH`k]Hjpi`C¬j?_x?vt¦? ¦r?©9Z[hh~[x?k ªH`^aj?n`¦aj£_xl[`Uvi`UPp
^*jl`_vCÇh~k]-[µj?hjNpjl7r¸pt¦^a`lÇ¥jlPr
¤
¦`U§ xlpt[`hirnhspt`_^)¡hF`Uvt_`_
¤
`U®j?hx?[`_vt`_Pp7CTjl__xlv-n¡
ptxj`Uv~p-j¡¸^a`_^ax?vir¨^axnn`_ ;Ç{;©`?©¬jxlPptvtj?p£ªH`ps§`_`U¸pt[`avtxllv-j^a^a`_v£j]¸pi[`2}7ÈdÊSG©AZ[]¡h
_xl[`Uvi`UPp^axnn¦±F_jpi¡xl·xldnh~pivt¦ªkpi`U jptjL¡haj?-[¦`
¤
`C°ª7r°j®_jl-[]`_xl[`Uvi`U]`vixlpixnx? T© zqh
TY`_vt`_Ppqj] ¦_jpi¡xl]hvt`Pk¡vt`£ptxa^ajl]j?`jNp-j¬¡nTH`Uvi`UPpK§jÝrnhUÇ7hi`
¤
`_v-j Yvtxptx7_xl h[]j
¤
`ªH`_`U
]vix?FxPh~`C{Ç7 ¦¡¶l`dpi[]` ¡jl¢_r2vt`_ ¡`Uj?h~`x?]h~h~pi`_Fr D¡bC-Fxlvpi[]`hi_xlH`_xl]hihspt`_]_r D¦b?bF;©
Zx®¦^a ¡`_^a`_Pp2jLvtxpixn_xl ;ÇR^ax?h~pahixóps§jvt`}7ÈdÊk]h~`pi[]`¨]j?¦^a`U-[]jl¡hi^ xldx?^a^x?
]vixn`Chihixlv-hptxn`_pi`Cpjl__`UhthKptx]jNptj]©£¸`Uj?-[xnn`?ÇYpi[`ajlvi`Chihdh~Fjl`¬`_ ¡`_^a`_Pp-jvtrk]¯ph£j
Cópsr7_jl ¦ ¡r7Eaptxoª7r?pt`UhG©e'`Uj? j] §'vt¯pt`jlU`Uhthptx2j*]j?`_j¨ªH`¡]n
¤
¡nkFj ¡ ¦rh~`_pU©|¼
j }7ÈdÊ/hirnhspt`_^0^kFhspn`pt`UpUÇ{x?vd`_mj^a ¡`lÇ{vtxn`Uhthixlvq ¡x?j?¡]h~pivtk]pt¦x?]hqx?LjhiF`C¦±FFjl`?Ç{¯p
x? ¡r¬`U`UhRpix¡htjª ¡`Kvt`Uj?*jl__`Uhthpixpi[hwFjl`Kpi[vtxlk?[pi[`£vixn_`Uhth~x?v¥]j?¦ ¦x?l© K`m7pRpt¦^a`
pt[`vtxn`Chihixlv'§'¡ ¦ hihik`j* ¡x?j? ¦]h~pivtk]pi¡xl xlv£j2jNp-j*¡ pi[hqFjl`?Ç]j*vt`Uj?Fjl`ôjk ¦pq§'¡ ¦ ªF`
ptvi¡l?`_vt`Uj]aUjk?[?pRª7r¬pi[`d}7È£Ê0hirnhspt`_^ © Gjl-[*]jll`¡hGjlhth~xn_¡jpi`U¬§'¦pi[2x?`']j?`«;vtjl^a`Gpt[]jNp
xN§'Fh]jNptj¡ [7r7hi_j {^a`U^x?vir?©
|opi[hwFjH`_vCÇP§`qkFh~`djlhwjl2`mjl^] ¦`qpi[`ºAYj]o»Kk]jl¶*h~¡l ¡`«¼§'vt¯pt`_v½Ý^k] ¯pt¦ ¡`«¼vt`Ujl`_v-h¥x«
[]`_vt`_]_`d]vixlpixnx? D¡b)EF;©RZ[hvtxptx7_xl YhªFxlpi[¨x?]h~`jFvt`Ujl ¦h~piKptx¡ ¡ ¦k]h~piv-jNpt`dpi[`jlvtx?jl-[9©
Z[]`2ºAwjl]®»Kk]jl¶]vixlpixnx? ¥[]j] ¦`Ch`Ujl-[®^a`_^ax?virFjl`*xlGpt[`2hi[]jvt`U®jl]nvi`Chihhi]j?`a¦Fn`«
H`_Fn`_Ppi ¡rl©£z ]jll`hK`U¯pt[`_v£§'vi¦p~pt`_ª7r j*kPk`xnn`¬xlvKvt`Uj? ª7rx?`xlv£^axlvt`xnn`UhU©wj?-[
vt`Uj?n¡oxnn`H`_vixlvt^ahdj ¦xn_jl _xl7r xRpt[`a]j?`l©² [`ULj]j?`¡¸vt`Uj?hsp-jNpt`¬hd§'vi¦p~pt`_AÇAjl ¦
_xl¡`Uhxl]pi[]`']j?`G^¬k]hsp¥ªH`'n`_ ¡`pt`U4Cópt[vix?kl[j 2 []j?h~` G© H¡lk]vi`db'h~[xN§Khpt[`'hsp-jNpi`
?vtjl[¸xlj]jll`?©*}7ptjNpt`2-[]j]l`a¡hdptvi¡l?`_vt`U¸`_¦pi[`Uvª7r¸j ¦xnUj ¥xlvj vt`_^axpt`*jl__`Uhth_©H]xlv`Uj?-[
Fjl`?Ç?j^ajl]j?`_vwh~pix?vi`ChR¡nxlvt^*jNpt¦x?2jªHxlknpGpi[`dhsp-jNpikFhwxlA`Ujl-[*Fjl`£hsp-jNpi`?©¥z'_`Chihwvi` Pk`Uh~pthGjvt`
hi`_Pppix*¦pqjFo¦p'pivt¦?l`UvthGpi[]``U_`Uhthijlvira¡
¤
jl ¦jNpt¦x?]hU©
²L`xN§$`Uhtvt¦ªH`xlkvxlvt^*j ¡¡hi^ jl]o¡ ¡ ¦k]h~piv-jNpt`¯pK§'¦pi[pi[]`jlªFx
¤
`dº99jF»qk]j¶ovixlpixnx? T©
(*G µ"N
£k]vAvtxpixn_xl lhiF`C¦±F_jpi¡xl j?k]j?`h9jl`_ jªHxlv-jNpt¦x?£xlPpt[` Å jl^^*jx?vi^*jl ¦h~^ DÇU F¼© Å jl^a^aj
hª]jlhi`U x?W^k] ¯pt¡hi`pvi`U§'vi¦pi¡ CTj h~x _j ¡ ¡`U³pt[`i-[`_^a_jl £vt`Uj?pi¡xl Fjv-jln¡l^#G§'[¡-[$[]jlh
jl ¦vt`Uj?nr*ªH`_`_ k]hi`U¡
¤
jlvi¡xlk]h_xlPpi`_mPp-hpix*vt`Uj?h~x?jªHxlkp'¡h~pivt¦ª]knpi`C_xl^aknp-jNpt¦x?]h DnÇÇ{bC F;©
Z[` Å jl^a^ajx?vi^*jl ¦h~^Æ¡hª]j?h~`CLxlpi[`o-[]`_^a¡Uj ¥vt`Uj?pi¡xlL^a`p-j[x?vU©*Z[`*k]Pk`2]jNptj
h~pivtk]pikvt`a¦ Å j^a^*jDÚ-Fwhpi[`*^¬k ¦pih~`_p7Côj¨hi`ppi[Fjµ_jlL_xlPptjl¦µhi`
¤
`Uvtjl x7Ukvtvt`_]_`Uhdxpi[`
htj^a`'`U ¦`U^`UPpG§'[-[*_jl*ªF`qhi`_`U*jlhRji-[`U^_jl h~x? ¦kpi¡xl©zMh~¡^a ¦`qvix?lv-j^hwjhi`pwxl{vik ¡`Uh
!"© Rm7`Cknpt¦x?vtxn`_`ChUÇF§'¦pi[x?knpdjl`mn ¡¦p£xlv-n`UvUÇHª7rvt`_ jl_¦]
`U ¦`U^a`_Pptho¦³pt[`¸^¬k ¯pt¡hi`phijpihsr7¡®pi[`vi`Cjlpi¡xl x?]n¦pi¡xl ª7r·pt[`vtxnnk]pth2xlpi[`Ljlpt¦x?
C#~-[]`_^a¡Uj vi`Cjlpi¡xl#G©dZ[`¬vt`Uhik ¦p£hdxlªnp-j¡`U¨§'[]`_jhsp-jª ¡`¬h~ptjpi`¡h£vt`Ujl-[]`U{ÇFpi[]jpdh£pixhijÝr
§'[]`_¸]xo^axlvt`vt`Uj?pi¡xlFhq_jlp-j¶l` ¡j?`?©º9xn_j ¡¦psr jl] jl-¶xGxlv-n`_vt¦]oj ¡ ¦xN§Kh£j`Uhtvt¦npt¦x?
xljl ¦?xlvt¯pt[^*hG§'¦pi[]xlknp'k]`U`Chihtjvtr2hi`Pk`_Ppt¡jl ¦¦psrl©¥zK `_mnjl^a ¦`xlj Å j^a^*j]vix?lv-j^ h'h~k^
$&%('
$*)+'
©·Z[h¬]vix?lv-j^ h~k]ª]hspt¯ptknpi`Ch¬ps§GxL`_ ¡`_^a`_Pp-h
$
jl]
'
ª7r®pi[]`_¡v2h~k^ CTjlpi¡xlGjlh
¡xl]aj?hps§Gxa`U ¦`U^`UPpthKjlvi`j
¤
j¡ ¡jlª ¦`¡pi[`^¬k ¯pt¡hi`p Côvi`Cjlpi¡xl xlFn¯pt¦x?G©Rzq ¡¦`Cpix*^¬k ¯pt¡hi`p
,.-
%/0%1/2%4325
¯pq_xlk vtx7k]`dpi[]`xl ¡ ¦xN§'¡`mn`U_knpi¡xl h~` Pk`_]_`
,.-
%1/2%1/2%430576862626
9;:<>=@?
A(:A>=@?
,CB
% B 5D662626
EFE!GDH ,JI
5
K£h~¡api[]¡hx?vi^*j ¡h~^ Çn§`d]xN§Mvt`Uhi`_Pp'[xN§M]vixlpixnx? ¡hjFopt[`_ vtxlH`_vipi¡`Uhjlvi`n`Chi_vi¡ªF`C{©
LNM(O PQNRSUTWVV.X4Y[Z\RS2]_^]N`a]cb4Ved@Vgfihb;^2X(V.Tj^kS2TjlSUX;^2X(YZmVon[V^0TWfpV
Z[]`^k ¦pih~`_pqvt`_vt`Uhi`_Ppth'ja? ¦x?ª]j
¤
¡`_§ xpi[]`hsp-jNpi`xpi[`hirnhspt`_^ ©w|pt[¡hq^k ¦pihi`pUÇFvi`U ¡jpi¡xl]h
q
$jrsssN$t
n`Uhtvt¦ªH`vtxpixn_xl {`_Ppt¯pt¦`Ch'xlv'`
¤
`_Pp-h+Cóxlvq`mj^a ¡`lÇnx?vKj}7ÈdÊ)]vixlpixnx? TÇj?_`Chih
vt¡l[Ppth£pix¨Fjl`Ch_Ç9]j?`«;vtjl^`Ch_Ç{vt`Uj?¸x?v§'vi¦pi`a]jll`ôjk] ¯p-h_Ç`ptl©G©oZ[`* ¡xl?¡xGpi[`ovixlpixnx? ¡h
`Uhtvt¦ªH`U §'¦pi[¸j Å j^a^*j*vtxllv-j^ ^*jln`xl¥vik ¡`Uh C ¡¦¶?`q*u
$g%
qv
'
wqyx
$z'
G©'|¼¥pt[` ¡`óp
[Fj]®hi¡n`*xljvtk ¡`*¡hj
¤
jl¦ jª ¡`a¦Lpt[`*^k ¦pihi`p Cqu
${%
q|v
'
GÇApi[]`_µ¦pxlFh~k^a`CLjl]pi[`
vt¡l[Pp'[]j]¨hin`xpi[`vik ¡`ICq|x
$}'
G¡h£jl`Upixapt[`^k] ¯pt¡hi`pC©Gzvt`_§'vt¯pt¦]2hspt`_ ¡hqh~k]FxPh~`C
ptxaªF`jpixl^a©Rz vtxptx7_xl &~hKn`Uhtvt¡ªF`Coª7r*pt[`xl ¡ ¦xN§'¡alv-j^a^*jv
~# 2
%
~
#
rD
jj
j# q $ r sCss$ t
j
%
a[U
z vixlpixnx? {¡hK^aj?n`xlj*hi`pqxl¥vik ¡`Uh ¼ÇF`Ujl-[vtk ¦`[]j
¤
¦pt[vi`U`h~`_pthqxpi`_vt^*h[
r
Çaj]j©
z hi`pxlwpi`Uvi^*hDjh^aj?n`ax¢_`Uvixxlv^axlvt`avi`U ¡jpi¡xl]hDq
$ r ssCsD$ t
©a|µjovtk ¡`lÇ&
r
hdpi[`2hi`p
xlvt`_ jNpt¦x?]hGpi[]jpK^k]h~pKªH`vi`Ch~`UPpK¦pi[]`^k ¦pih~`_p'pix*ªH`jª ¡`pix*jl ¡r2pi[]¡h'vtk ¡`l©@jhpi[`hi`p
xlGvt`_ jNpt¦x?]hKpt[]jNp^¬k]hsp dªF`avt`Uhi`_Pp¦pi[`a^¬k ¯pt¡hi`pptxªH`*jª ¡`pix¨j] ¦r pt[hvik ¡`l©¬² [`_
pt[`vik] ¦`h'j ¡¡`U{Çjl ¦ {vt`_ jNpt¦x?]hx&
r
jvt`dvi`U^x
¤
`Uavtxl^ pi[`^k] ¯pt¡hi`pqjl]ovt`_ jNpt¦x?]h¦jjvt`
j?n`C2ptx*¯pC©Rz xlvt^ajl Ah~`U^*jPpidx9pt[hKh~r7Pptjmo¡?
¤
`_¦D¡bC-F¼©
r
Uq
r %
q
%
! "$#&%
'
q'
r %
q'
%(
)& "*#&%
r%
! "$#&%
'
Uq
r%
q+,
%(
!& -*#%
'
q'
r %
q'
%(
)& "*#&%
r%
! "$#&%
'
+./0 12
r%
q+,'
%3
)& "$#&%
q+,'
r %(
!& -*#%
r
E
+./0 12
r %
q45
r %
q45
%
!& -$#%
'
%76$8
:9<;>=!?0/0@2/0);
5A B2$#%
'
r
DCm!9E;>=?0/F@2/0);
5A B2$#&%
r
'
r %
q4.
%(
! "*#%
r
:9<;>=!?0/0@2/0);
5A B2$#%
r
'
r
DGm!9E;>=?0/F@2/0);
5A B2$#&%
r
'
r %
q4.'
q+,'
r %(
!& -*#%
r
r %76$8
DHm+./0 12
r%
q4'
r%
)& "I#%
r r%J6$8
:9<;>=!?0/0@2/0);
5A B2$#%
r
'
r
H¡lkvt`d }7pivtk]ptkvi`C Å jl^^*j
¤
`_v-hi¦x?2x9hi¦]l ¡`«¼§'vi¦pi`Uv½N^k ¦pi¡ ¡`«¼vi`Cjln`Uvth¥º9Yjl]o»qk]jl¶]vixlpix«
_xl
H¡lkvt`vt`Uhi`_Ppthwpi[`x?^a ¦`_pi` Å j^a^*j¬hiH`U¦±FUjNpi¡xloxApt[`dº9{j]»Kk]jl¶*vtxpixn_xl ;©Z[`
vtk ¡`Uhn`±F¦]pi[]`vtxptxnxl jvt`27k^ªH`_vt`UK
r
pixL7Hl©LZ[]`vt`_ jNpt¦x?]h_xlPptjl¦`Cµ¡µpi[`^k] ¯«
pt¡hi`p-[]jlvtj?pi`Uvi¡¢_`[7r7hi_j `_Ppt¯pt¦`Ch9Cô]j?`p-jª ¡`lÇ{Fjl`x??pt`_PpG£jF ¡xll_jl `UPpi¦pi¡`Uh:Cvtxptxnxl
][]jlhi`*xlv`mjl^] ¦` G©eq+,M-Wh~ptjpi`Chpt[]jNpa]j?`N·x?°xnn` ¡h¬¦ vi`CjlF½N§'vi¦pi`*^axn7«
` Cô]j?`p-jª ¡`¨vt¦?[?p-h<G© q4O h~ptjpi`Ch*jvt`Uj?·vt¡l[PpU© q4 12IOKCôvi`Ch~H`Upi
¤
`U ¦r
+./0 12P GRh~ptjpi`Uhwpi[FjNpjvi`Cjl Côvi`Ch~H`Upi
¤
`_ ¡r§'vi¦pi` G¥`m_`_npt¦x?2[]jlhGxn__kvivt`U¬x?vG]jll`Q
x?*xnn`J¥©
! "5#&%R¨hsp-jNpi`Ch¥pt[]jNpj]jll`v-j^a`#&% CTj[7rnh~_jl ]]jll`-GRxlvtvt`UhiFx?]n¡
ptx
¤
¡v~ptk]j ]jll`R `mnhsp-h¬x?°xnn` ¥©"9<;>=?F/0@/F;
5A
!BS#&%STMh~ptjpi`Uhpi[FjNpa]j?`R ¡h¡
¡
¤
j ¡¡jpi¡xl¨[Fjlhi`¦¸xlv-n`_vqxlvqFjl`vtjl^`N#%¸pixªF`jl__`Uhth~¡ª ¡`¡vi`CjlF½N§'vi¦pi`^axnn`¬xlxnn`
¥©
6I8
h~ptjpi`Uhpt[]jNpKFjl`U¨hxpK¡
¤
xl
¤
`C2¡¨j¦
¤
j ¡¡]jNpi¡xl[]j?h~`?©
wj?-[¸vtk ¡`¬`_m7]vi`Chihi`Uhdjh~ptjpi`a-[]j]l`§'¦pi[pi[]`j?hihixnjNpi`C¨vt`U_xl]n¦pi¡xl9© Hxlv`_mnjl^a ¦`?ÇYpi[`
xnUkvtvi`U]`xcq+,VWµ¡pi[]` ¡`óp[]j]h~n`¬ªknpxpd¦¸pi[`¬vi¡l[Pp£[Fj]hin`xlwj2vtk ¦`
CTjlh¡" G¡^a ¡¦`Chpi[]jppt[`2vt`UjlH½Ý§'vt¯pt`vt¡l[Pp¡h_jF`_ ¡ ¡`ULxlv]j?`5µxlµxnn`M¥© e'k ¡`UhV
r
jl] x?vivt`UhiHxl]aptxpi[`_j?h~`d§'[`Uvi`dxnn`
r
vi` ?k]`Uh~pthvi`Cjljl__`UhthGxlv'j]j?`djl]2pt[h]j?`
hkvtvt`_Ppi ¡r k]h~`C¡¸vt`Uj?C0
r
Gqxlvd§'vt¯pt` CF GK^axnn`ª7rjxlpi[`Uv£xnn`* ©eKk ¦`Ch Ç
E
jF
DH2h~ptjpi`api[]`2_jlhi`*§'[`Uvi`*xnn`I
r
§'vi¦pi`Chxlµj ]jll`*j]pt[¡h]j?`a¡h C( G`_¦pi[`Uv¬j?_`Chihi`U¡
§'vt¦pi` CF G¥x?vwvt`Ujl CF
E
G¥^axnn`qª7r*j]xpi[]`_vRxnn`7 Kx?v CYX-GGjl__`Uhth~`CªPr¦pthi`_ ¦ Cxnn`7
r
GR¦2vt`Uj?
^axnn`ICF H G© H¡]j ¡ ¡rlÇvtk ¡`UhDCj]DGhsp-jNpi`vt`UhiH`Upt
¤
`_ ¡r*pi[]`¦
¤
j ¡¡]jNpi¡xl ¡xPx? x]j?`_xl¡`Uh
jl]*pt[`lv-jPpxvt`Uj?F½Ý§'vt¦pi`£j?__`Uhthw§'[`Ujl ¦ Y¡
¤
jl ¦jpi¡xl]hjvt`d^aj?n`l© £`hi[xlk] ¡oxpt¡_`£pt[]jNp
r q+, -
m q4. q+,
m q+, q4
E +&/2 q4 '
C q4 12' +&/02 3'
G 9<;>=?F/0@/F;
5A
BL' q+,
Hm q4.'
!& -$#%M
! "$#&%I -
H q+,'
)& "I#%I
!& -"
-
H¦?kvi`uwvix?F`Uv~pt¦`Chxlvpi[]`ºA9jl]»qk]jl¶2vtxpixn_xl
vtk ¡`Uh5
E
j] DG*xlPp-j¡Lj`U?jNpt¦x?A©*Z[h`m7pi`U]hi¦x?¸ptx pi[`*k]vi` Å j^a^*jxlvt^*j ¡¡hi^ ^*j¶?`
pt[`vtxptx7_xl {n`Chi_vi¡npi¡xl`Uj?h~¡`_v'jl] nx7`Uhxlp[Fj
¤
`jah~¡l¦±FUjPp'¦^a]j?p'xl
¤
`Uvi¦±FUjNpi¡xl9©
LNM S2]_R T S2^0X(TWV
zq2¡
¤
jlvijPpRhw^*jl`KxAvtxlH`_vipi¡`Uh§'[¡-[jvt`Kn`±]]`U2j?_x?vt¦ptxpi[]`Kxl ¡ ¡xN§'¦lv-j^a^*jv
# q ' r ssCsN' t
q ' r sss' t
r
!
r
"
$#&%'( *),+.-/0(
# -
qxp-jNpi¡xl q ' r sssD' t
`mnvt`Uhthi`Uh£pi[`*Ujv-n¦Fj ¡¯psr¨xljvt`_ jNpi¡xl]j^a`CS ¦pi[`*^¬k ¦pih~`_pjl«
_xlv-n¡dpixpt[`K]jp~pi`Uvi
' r sCss_' t
C§'[]`_vt`qj
'
AUjaªF`£j
¤
jlvijª] ¦`']jl^a`'xlv¥pt[`K^*jNp--[n«¼jl ¦ hir7^ªHxl
G©=H]xlvK`_mj^a ¡`lÇ¡pi[`^¬k ¯pt¡hi`p
,
q2143
%
q5146
5
§`[]j
¤ ` q879 / Ç q27:3[
- Ç q;< /
jl] q=7>7@ ?]©uRvtxlH`_vipi¡`Uhjvt`K¡^a ¦¦pi ¡r Pk]jPpt¯±]`C Ck]
¤
`_v-hijl ¦ ¡r5Gxl2pi[`U¦vGvi`U`
¤
jvtjª ¡`UhU© £`
hi[x?k ¡*jl ¡hixxpt¡_`'pi[FjNpwpt[`K¡^a ¦_jpi¡xl4 _j*ªH`K`Cjlhi¦ ¡r¬j?n`Uptxpi[]`qh~r7Pptjm¬xlHpt[hw j?k]j?`
xlwvtxlH`_vipi¡`Uhdk]hi¦]opt[`ak]h~kFj `Pk
¤
j ¡`_]_`A@BC DE
@
C2©¬Z[]`¬x?vi^*jl hi`_^*jPpt¡Uh£xl
pt[` j?k]j?`£xlvtxlH`_vipi¡`Uhhvt`Uhi`_Ppi`Co¡D¦bÝ-F;©
H¡lkvt`·vi`Ch~`UPpthoj x? ¦ ¡`Upi¡xlWxlknp-jNpi
¤
`¦
¤
jvtjPpth2xlvpi[`LºAj]M»Kk]jl¶³vixlpixnx? T©
Z[]`vtxlH`_vipi¡`Uh*jvt`¨7k^ªH`_vt`U
r
ptxF
H © z£h2^a`_Ppt¦x?`U jlªFx
¤
`lÇj³x
¤
`Uvi ¡¦]`U vi`U ¡jpi¡xl ¦¡¶l`
q(+ .M`mnvt`Uhth~`Chdpi[`oPk]^ªH`_vxl'x7Ukvtvt`_]_`Uhxpik] ¦`Ch¬htjNpt¡h~r7¦] pi[`2vt`_ jNpt¦x?§'¦pi[
^*jpt-[¡ajvtlk^a`_Pp-h CG^*jpt-[¡*j7r
¤
j ¡k`-G©uRvix?F`Uv~psr q+,7 - h~ptjpi`Uhpt[]jNpx?vj
Fjl`J9ÇFpi[`Uvi`hdjNp£^axPhspqx?`]x7`N°h~kF-[ pi[]jpDq+,RW®`mnhsp-h_©K² ¦pi[]¦¸pi[`¬vixlpixnx? TÇ
¦poh2` ?k]
¤
j ¡`_Pp*ptx·hijÝr·pi[]jpjNpojl7r°pi¡^a`lÇqjp2^ax?h~poxl`¨]x7` Cxnn`W G*_jl §'vi¦pi`¨x? ]j?`
©®uRvix?F`Uv~psrH
r
h~ptjpi`Chpt[]jNp*jNp^ax?h~px?`oxnn` _jl°[]j
¤
`ovt`UjlH½Ý§'vt¯pt`ojlU`Uhthx? j¸]j?`l©I&
h~ptjpi`Chqpt[]jNp¦'joxnn`*[Fjlhjvi`Cjl¸j?__`Uhth£x?Lj]jll`?ÇAx xpt[`_vxnn`*_jl[Fj
¤
`§'vi¦pi`*jlU`Chih£pix
¦pU©I h~ptjpi`Uhpi[]`nkFj _jlhi`l©
E
jFFC-[`C-¶pt[]jNpvi`Cjl°jl]µ§'vt¯pt`o]jll`*ôjlk ¦ptha_jlxpªF`
hi¡^k ¦ptjl`_x?k]h~ ¡r¸n`_pi`Cpi`CLxl®j ]j?`l©JG*hsp-jNpi`Chpi[FjNp¡L¡
¤
j ¡¡jpi¡xlL[]j?h~`?ÇApi[]`*xnn`*[]j
¤
¦]
ptvi¡l?`_vt`U¡
¤
jl ¦jNpt¦x?2h~[]xlk axp[]j
¤
`'vt`Uj?F½Ý§'vt¦pi`KjlU`ChihRpixpt[¡hG]jll`l©K H h~ptjpi`UhRpi[]jpG¦{pi[`Uvi`
hdj2vt`Ujl¸jl__`Uhth'ptxopt[`¬Fjl`pi[`Upi[]¡hdxnn`ah~[]xlk ¨[]j
¤
`xl`j]¸xl ¡r xl`¬[7rnh~_jl x?7rxl
pt[`*]jll`l©IH¡]j ¡ ¡r
H
-[`U-¶nh£pi[FjNp¦jxnn`*[Fjlhj§'vt¯pt`2jl__`Uhthdpixj]jll`lǯphi[x?k ¡L[]j
¤
`j
][Prnhi¡Uj _xl7rxHpi[]`K]j?`'j]x^axlvt`pi[]jlaxl`K_xl7rxHpi[]¡h¥Fjl`Khi[x?k ¡¬`mnhspR¡api[]`Kh~rnh~pi`_^ ©
Z[hxlvt^*j ¡¦¢CjNpt¦x?xFpi[`'º9j]»Kk]]j¶vtxptxnxl nnx7`Ch]xp¥^a`_Ppi¡xl[xN§°pt[x?hi`¦`C`ChxF¡n«
x?vi^*jpi¡xljvt`Rhsptxlvt`U£¦j'nh~pivt¦ªkpi`Uhirnhspt`_^ CôT©`l©[xN§vi`U ¡jpi¡xl]hjq+,'x?v9<;>=?F/0@/F;
5A B
jlvi`o¦^a ¡`_^a`_Ppt`Uµ¡µpi[]`hirnhspt`_^IG©LZ[¡hn`C jv-jNpi
¤
`ax?vi^*jl ¦¡¢Ujpi¡xlµh¬hik B2¡`_Ppptx
¤
`Uvi¦rLpi[`
..) <oxKj vtxptxnxl ;©}nk]-[°j vtxpixn_xl wUjLpi[`U°ªH`2¦^a ¡`_^a`U?pt`U®¡
¤
jvt¦x?k]h^*j]`_v-h_Çn`«
H`_Fn¦]2xl pt`U-[x? ¦x?lrj] xlpi[`Uv£x?]h~piv-j¡?p-h_© Hx?vq`_mnjl^a ¦`?ÇFjl ¦ 9pi[`j ¡lxlvt¦pi[^*hKn`Chi_vi¡ªH`U ¡
D¡b)EF_jlªH`h~`U`_ jlhvt`±]]`_^a`_Ppthxl9pt[`jª]h~piv-jlp
¤
`_v-hi¦x?ovt`Uhi`_Ppi`Co[]`_vt`l©
Q2¬
!" '+
Z[]`¬v-j^a`U§Gx?vi¶ vt`Uhi`_Ppi`C¸¡pi[`avt`
¤
¡xlk]hhi`Upt¦x?Ljl ¦ ¡xN§Khdk]hdpixx?vi^*j ¡¡¢_`ªFxlpi[Lpi[`avtxptxnxl
jl]apt[`£]vix?F`Uv~pt¦`ChRpt[]jNppi[hvtxpixn_xl ]h`mnH`Upt`U2pixahijpihsr?©² []jph`_`Cn`UoxN§ hGj¬§jÝr¬pix
-[]`U-¶pi[]jp£pt[`¬]vix?F`Uv~psr hq¡]n`U`U¸jl¸¡
¤
jlvijPpqxlRpi[]`¬vtxptxnxl ;©£Z[]¡h
¤
`Uvi¦±FUjNpi¡xlhi[x?k ¡¸ªF`
jlknpix?^*jNpijF¨vi`Cjlhixl]jlª ¡r2`B2¡`_PpKptx2ªH`¬j] ¦_jlª ¡`xl¨vt`Ujl 9h~¡¢_`vixlpixnx? ¡hU©²`¬vi`Ch~`UPpqxN§
x?kv
¤
`Uvi¦±FUjNpi¡xlj ¡lx?vi¦pi[^ j ¡xla§'¦pi[ `_`Cn`U jlknmn¦ ¡¡jlvir2k]pt¦x?]hKjl]hi[xN§ ¯p-h'vt`Uhik ¯px?v'pi[`
º9Aj] »qk]j¶ovixlpixnx? T©
M(O T SUXD`ad ^0X(]cY d@b(Z_]_SUX8^f
Z[]`'vix?FxPh~`C¬jl ¦?xlvt¯pt[^ h¥ª]j?h~`Cx?¬pt[`Khi¦^a ¡`'xlª]hi`_v
¤
jNpt¦x?pt[]jNpwjvtk ¡`'¦*j Å j^a^*jvtxllv-j^
vt`_^ax
¤
`Uh'jF ¦Ppivtxnnk]_`UhKja±]m7`C{DZF¯pt`7k^¬ªF`UvKx¥vt`_ jNpi¡xlFh_© Hvtxl^ javtxlH`_vipsr2pixoªF`htjNpt¡h~±]`C
#",)Kpt[`Kj] ¦_jpi¡xlx{jdvik ¡`lÇl¯pRh¥Hx?hth~¡ª ¡`Gptxn`_vt
¤
`jvix?F`Uv~psrpt[]jNpR^¬k]h~pRªF`KhtjNpt¡h~±]`UX"(
pt[h'vik] ¦`h'j ¡¡`U{Çnpt[]jNpKhpix2htjÝr2j
( 2 F©=Hx?v'`mj^a ¡`lÇ_xl]hi¡`_v'vtxlH`_vipsrJ&
q4.
q(+ .N
jl]vik ¡`5
q4 12
r %
q+, %
!& -*#%
q4.
r%
q %
!& -*#%
r%
)& "I#%
'
Z[]`qx
¤
`Uvi j]¦]ªF`_ps§G`U`_4 dj]M7£¡hG^*j¦`Uh~pi`C2ª7rpi[`dvtxys`Upi¡xl Cvix?^ vtk ¡`77
¤
jlvijª ¡`Uh
ptxavix?F`Uv~psr4&
¤
jvtjª ¡`UhG
" #%
T#&% r 0
|vik ¡`77?ÇPx?`qvt`_ jNpt¦x? q42 djl]2x?`qvt`_ jNpt¦x? q+,ajvt`qh~k]vt`Uhth~`C*¦opi[`
^¬k ¦pih~`_pU©zpdpi[`*htj^a`pt¦^a`?Ç{ps§Gxvi`U ¡jpi¡xl]h7q4. jl]x?`¬vt`_ jNpt¦x?
!& -¨jvt`¬j hix
j?n`C2ptx*¯pC©GÉGxl]hi¡`_vt¦a_jlvt¦]jl ¦¦psr
¤
jvt¡jpi¡xl]hUÇn¦pKl
¤
`Uh
q! 6 -
q.
)D/
q+, 6 -
! " #%I ) -
Z[`Uvi`_xlvt`lÇn¦K ^kFhspKªH`
¤
`Uvi¦±]`Uoxl]_`5hKj] ¦¡`UAÇnxl``U`Uopix*`U]h~k]vi`ªH`xlvt`dpi[]jp
q4
6/
q+,
-
Z[]`ovtxlH`_vipsr q4F
6/
h`Pk
¤
jl ¦`UPppix¸ôj h~` hi¦]_`Ujv-n¦Fj ¡¯pt¦`Ch¬Ujxlp¬ªH`]`_«
jpi
¤
`?© }7xLpi[`¨jlªFx
¤
`ovtxlH`_vipsrµ_j ªF`hi¡^] ¦¦±]`U ¡?ptx q(+ . - © ʨx?vi`Ux
¤
`Uvpi[]¡h
_xl]¯pt¦x?^¬k]h~pqªF`¬hijpihs±]`C§'[`_ 7hqj] ¦_jlª ¡`lÇnpt[]jNpqhptxohijÝr§'[`_ q! (IA
q(+ . F8
)& "S#&%L F ]©°Z[7k]h§G`[]j
¤
`xlªnp-j¡`U°pi[`!0=> .
(2¸xl&
xlv'vtk ¡`
§'[-[h
q q+,
!& -$#%M
q(+ .N
-
Z[h`U§ ]vix?F`Uv~psrhi[xlk] ¡L¡ptkvtLªH`2jL¡
¤
jlvijPpxGpi[`*vtxptxnxl ;©o}7xFÇ{pi[`
¤
`_vt¯±H_jNpt¦x?
jl ¦?xlvt¯pt[^ h*n`±]]`U jlh*jLvtx7_`Uhth§'[¡-[ ¦pi`_v-jNpt
¤
`_ ¡rµªk¡ ¡]h2j®hsptvi`Upt[`_`C°¡
¤
jlvijPpC© Z[`
]vixn`Chihw^k]h~p_xl
¤
`Uvi?`'ªF`C_jlk]h~`qpi[`d j?k]j?`'xAvtxlH`_vipi¡`UhG¡hw±]¦pi`?©|¼pthvi`Ch~k] ¯p¡hG`_¦pi[`Uv sôj hi`
x?v9jK_xl ¡ ¦`Cpi¡xlxlvtxlH`_vipi¡`Uh%Cpi[`hsptvi`Upt[`_`C¦
¤
jvtjPpGY§'[]¡-[^¬k]hspªF`hijpihs±F`Uª7rqpt[`w¡¦pij
h~ptjpi`xpi[]`h~rnh~pi`_^ ©RZ[`
¤
`_vt¯±FUjNpt¦x?opt[]jNp'pt[¡hqxlFn¯pt¦x?h'htjNpih~±]`U _jljl ¡hixªF`^a`C-[]j¡¢_`C
kFh~¡*pt[`pt`U-[Pk`vt`Uhi`_Ppt`U ¡ pi[h£hi`Upi¡xl¨ªkpqpi[]¡hdhspt`_hK]xp£_xl]hi¡`_vt`Ukvipi[`Uvq¡¨pi[]¡h
FjH`_vC©
Z[`
¤
`Uvi¦±F_jpi¡xljl ¦?xlvt¯pt[^ hdh~[xN§'¨¡SH¡lkvt` E]©dZ[`¬jl ¦?xlvt¯pt[^ hsp-jvipth'vtxl^ pt[`! #"%$&"
hi`pGxYvix?F`Uv~pt¦`Ch_© wj?-[]vix?F`Uv~psr('MxlYpi[hwhi`pwhR_xl]hi¡`_vt`U¦aptkvt*kapix_xl
¤
`Uvi?`_]_` Cô§'[-[
xnUkv-hK§'[`U¨pi[]`¬`U§vtxlH`_vipi¡`Uhqjlvi`¦^a ¡¦`Cª7rpi[`j ¡vi`Cjlnrl`U`_v-jNpt`U vtxlH`_vipi¡`UhG©dZ[`¬hi`p
xl{vixlys`Upi¡xl]h )
vtxl^
¤
jvt¡jlª ¡`Uh¥xlAvik ¡` =Côx{pi[]`qvtxptx7_xl ~(GptxvtxlH`_vipsr*' hG_xl^aknpt`U{©
Z[]`_api[]`K§G`Cj¶?`Uh~pRvi`Cx?]n¦pi¡xl+'
)
x{vtxlH`_vipsr*'$xlvwvik ¡` §'¦pi[2vtxys`Cpt¦x?
)
h¥`
¤
jl ¦k]jpi`C
kFh~¡ k]pi¡xl-,/.K© £]`apt[h`U§ vtxlH`_vipsrhx?vi^*j ¡¡¢_`Upt[vix?kl[10ǯphj?n`Uptx¨pi[`
#"%$&" hi`p¯wpi[hdvix?F`Uv~psr hdxp¦^a ¡¡`UªPr¨]vix?F`Uv~pt¦`Chq¡ #"%$&"324$&"%5#6 C708:9%kFpi¡xl
Uj ¡ G©¥zp`Cjl-[¯pt`_v-jNpi¡xlhspt`_AÇpi[`l`U`_v-jNpt`U2hirnhspt`_^ ¡ h~`_pth; #"%$<" j]=$&"%5#6 ¡h'-[`C-¶l`Caxlv
_xlPpiv-jl¡pi¡xloª7roUj ¡ ¦¡k]pi¡xl0>?A@CBEDGFH8l©
Z[hj ¡lx?vi¦pi[^ pi`Uvi^a¡]jNpt`UhdªH`U_jlk]hi`pi[]`hi`pxRvtxlH`_vipi¡`Uhqpi[FjNp_j¸ªF`vtx7k]`ChK±]]¯pt`l©
Z[]` hi`p-h*x
¤
jvt¡jlª ¦`Chak]hi`U·pix°n`_±]`¨vtxptx7_xl haj] vtxlH`_vipi¡`Uh*jvt` jlhth~k^a`C°ptxµªF`nhôysxl¡?p
Cô§'¯pt[xlkp ¦xPhihxl?`_`Uvtjl ¦¦psrh~¡]_`*vi`U]j^a¡¨_jLªH`2j ¡¡`ULxpt[`_vt§'¡hi`-G©*²`*§'vt¦pi`+.JIK"%.LNMPO
Q
(,% %
~
¿ #"%$<" ,
5o%
$<"%5 6k +
¿ ~c ,
r%ssCs%
t5
¿ Hx?v7
- %
¼Ç .JIK" h~`_p¬xlKvixlys`Upi¡xl]hvix?^
pixJa© .JIK" , r
%sCss%
5
Â
¿ #"%$&" ajF0>[email protected]$&"%5#6 21 #"%$&"
Ä Ã¿
'1 #"%$<"
#"%$&" #"%$<"
6 , ' 5
$&"%5#6 $&"%5#62 , ' 5
à 7- %
%
-
%
Ä Ã
' ) 0 ,/.!' %
%
)#"$"
¿ r
&%'%#%( '
)
à )
-
%+*
Ä Ã
08:90
%
$<"%5 642 #"%$&"
¿-,
#"%$&" #"%$&" 2 , 5
¿., Ä
¿-, ÄÃ
¿-, Ä Ã
¿-, Ä Â/¿
¿ , r %CsssC% t5
$&"%5#6
¿ 0 r
r
&%'%#%4
t
H¡lkvt` EÈ¥`_vt¦±F_jpi¡xl j ¡lxlvt¦pi[^
,/.
% r %
q
'r sCss't
Fjvipb
?
-
%
F ? BE?
B , q
$jrgsssN$t
|
r
$ ) ' )
|'
)
<
5
q
' r sCss' t
]jvipq
F =? BE?Nq $ r sss$ t
*j
%
$ ) ' )
%N$
)
< ' )
* q
' r ssCs' t )
q
' r sss' t
]jvipK
B"!#!8:B%$'&#()$*& 9+$7?%
&
B , q
$ r ssCsN$ t
a
$ ) ' )
y'
) 5
6 B*
, q
$ r ssCs$ t
*
r
$ ) ' )
y'
) 5
H¡lkvt` ²`Cj¶?`Uh~p]vi`CxlFn¯pt¦x??`_`Uvtjpi¡xl
pt[`a ¡jp~pt¡_`xlGvtxlH`_vipi¡`UhhiF`Cj ¡¦¢U`U¸xlv jl]k~©a|¼phjvi`Chsptvipt¦x?¸x;.JIK"%.$ªk¡ ¯pvtxl^
vt`_`
¤
jvt¡jlª ¡`Uh¬x Cô§'[-[ hxpt`U-,/.
G¬jl]µvtxl^ vt`_ jNpt¦x?]hjH`Ujlvi¡¸¡{~¬jl] a©
Z[]`oxlv-n`Uvi¡xlKpi[` jNp~pt¡_`ohJjl]
h¬pi[`h~^*jl ¦ ¡`Uh~pk]F`Uv¬ªHxlk]]{©µ|¼p¬h¬±]¦pi`^ax7k ¦x
kFh~k]jl ]` ?k]
¤
j ¡`_F` Cô§'[-[o_jl2ªF`
¤
`Uvi¦±]`Cpi[vtxlk?[2jptvtjl]hsx?vi^*jpi¡xlaxAvtxlH`_vipi¡`Uhw¦Pptxx?vi^*j
_xlNysk]]pt
¤
`jl] h~¡^a ¡¯±FUjNpt¦x?]hk]hi¦pt[`hsp-j]]jv-2`Pk
¤
j ¡`_]_`UhªH`ps§`_`U _xl]`Uptxlv-h<G©
M 0 h[Q[X(b(X(d S0n21hY`^2X8] YV
Z[]¡h'jl ¦?xlvt¯pt[^ k]hi`Uh'hi`
¤
`_v-j {jknmn¡ ¦jvtrak]pi¡xl]hpt[]jNpqjlvi`n`_±]`CªH`_ ¡xN§©
3%¿ 54 ¿ _+6 ¿ Ã , Ä TÃ , Ã 6 Un ôÃ , z°vtxys`Cpt¦x?vix?^ j'vtk ¡` PpixN§jv-hAj']vix?F`Uv~psr
j¬k]pt¦x? ¸xlhi¦?]jNptkvt`87:9 2 , 5
;7:9 2 , 5
h~kF-[opt[]jNp
< $W%4'
=9:> I %
$
' $
' $ '
<
H¡lkvt` vt`Uhi`_Pp-hpi[`n`±F¯pt¦x?µx,/.K©Z[]`2vi`Ch~k] ¯pxl,/.ptjl¶l`Chpi[`2xlvt^ CH¡lk]vi` G
Fjvipb ·]jvipq ]jvipK© u¥jvipb®jFW]jlv~p¨°vt`_vt`Uhi`_Pp xlFn¯pt¦x?Wxj ¡_jNpt¦x?Mxlpi[`
k]Hjpi`CµvtxlHx?hi¯pt¦x?F ¦°Fjvip©¸ujlv~pbojFµ]jvipa¨`mnvt`Uhthpi[]`2ôjlppt[]jNp¬pi[` x?^]knpi`C
]vi`CxlFn¯pt¦x?2[]j?hRptx¬ªH`dhtjNpt¡h~±]`C2§'[`U2pi[]`£vtk ¡`£hGjl ¡¡Ujª ¡`lÇPpt[]jNp¡hGptxhtjÝr¬§'[]`_y
r
vi`U ¡jpi¡xl]h
jlvi`2j
¤
jl¦ jª ¡`a¦®pt[`2^¬k ¯pt¡hi`p Cô_jlvt¦]jl ¦¦psrh~pivtpi ¡rLlvt`UjNpt`_vpt[]j° Gj]ej*vt`_ jNpt¦x?]hjvt`*xp
j ¤
jl¦ jª ¡`d¦pi[]`^k ¦pihi`p CôUjv-n¡]j ¡¯psro ¦`Chihpt[]j xlv'` Pk]j {ptxa¢_`_vtx G©¥u¥jvipq¬hKn`Uvi
¤
`C2vtxl^ pi[`
¡¦pij HvtxlHx?hi¯pt¦x?E$p-j¶7¦]¦Pptx¬jlUx?kPp¥pi[`£^xnn¦±FUjNpi¡xlFh¥pix_jlvtn¡]jl ¦¦pi¡`Uh8CTjlUxlv-n¡pixpi[`
