Verification of regular architectures using ALPHA : a case study

HAL Id: inria-00074388

https://hal.inria.fr/inria-00074388

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,

Verification of regular architectures using ALPHA : a case study

Catherine Dezan, Patrice Quinton

To cite this version:

Catherine Dezan, Patrice Quinton. Verification of regular architectures using ALPHA : a case study.

[Research Report] RR-2284, INRIA. 1994. �inria-00074388�

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

Verification of regular architectures using ALPHA : a case study

C. Dezan, P. Quinton

N˚ 2284

Mai 1994

PROGRAMME 1

0"12"3!4$5

6879;:=<?>A@CBEDF7G8H1IJ@3KLM@NBOB

P QOR?S?QTEUVUW!XZY\[CQ]O^M_a`Wb]c`deQWbfghTEQT=ijilkWcimWbfonhphT?fqWbfrMW!rMR?sestW%Wbf%nMQetWbfqWbTEdMu

W%`Cfqvwfx`bkW%UWbfrA_Jfx`Qx_apedtWbf

P QRAyzW%`[P {

|TEgeg3R?Q`CrMW;QWb]O^eW%Q]^eW}s8~M??€‚$Y„ƒ…T†_‡Xbˆ?ˆ‚8Y„A$ghTES?Wbf

‰‹ŠŒ%bŽ†hE?‘’“W8geQWbfxW%sM`CT;”•R?QU/T†iUW%`^eRer/”•R?Q`^eW–?W%Qq_j—˜]%T‚`x_aR?s™RE” QW%S?dMiJTEQš›œ?{TEQ]O^M_m

`Wb]c`OdeQWbf%ž{ls™RAdeQUW%`^eRer1ne`^eW;phW%^hT†–?_aR?QcT†iŸfxg3Wb]O_j—˜]%T‚`x_aR?s RE” `^eW8]O^M_mg TEshrV_a`f¡_aUgMiaW%UW%se

`T‚`x_aR?s¢TEQOW—hQfx`WcuegeQWbffxWbr£_as¥¤$¦?§e¨3©0n˜T!”ªdesh]c`x_aR?shT=i«iJTEseS?dhT‚S?W”ªRAQ`^eW!rMWbfz_mSAs¢R‚”ŸQW%SAdMi¬T‚Q

fxvMsh]O^eQR?seR?dhf$TEQ]O^M_a`Wb]c`deQWbfož£­¡^eWp3W%^hTb–A_aR?QT†ifxghWb]O_®—˜]%TE`q_mRAs_JfQWc—hseWbrrMRE¯s“`R™TEsTEpe

fx`OQT?]c`CTEQc]^M_a`Wb]c`deQOW!rMWbf]cQx_age`x_aR?sn1¯^M_jiaW`O^eW_aUgMiaW%UW%sM`TE`x_aR?s+_JfCfz_mUVgMij_®—hWbr…pMv/_ashrMdh]c`x_aR?s

`Wb]O^esM_J°?deWbf±deg…`R`O^eW²fOTEUW!T‚phfx`QT?]c`TEQ]O^M_a`Wb]c`deQW;iaW%–?Wcilžš W%Qx_®—˜]%TE`q_mRAs…_Jf`^eW%s rMR?seW$p³v

UT‚`]^M_aseS p3R?`^´rMWbf]cQq_mge`q_mRAshf%ž­¡^M_¬fVUW%`^eRerµ^hT?f;phW%W%s¶fxdh]%]cWbfOf·”ªdMi®iav´TEgegMi®_aWbr¸`R¥]O^eWb]¹

`^eW]cR?QOQWb]c`seWbffRE”‡Tº?»A»ež¼»?»?»²`QTEshf·_Jfx`OR?Qš›œ?{Cfxvefx`REi®_J]$]^M_ag…shTEUWbr“¤$§³½¿¾eÀhžC­^M_Jf]O^M_mg

¯T?f;rMWbf·_aS?seWbrµ`R‹_aUgMiaW%UW%sM`T…fx`Qq_mseS…]cR?UghTEQq_¬fqR?sÁT=imSAR?Qx_a`^eU¯_a`^TEgegMi®_¬]%T‚`x_aR?s`R™RAQ

`^eRAS?QTEge^M_J]$U$_Jfxg3Wci®ij_as3S¥]cR?QQWb]c`q_mRAs¥TEshr ÃÄ[ÅfxWb°AdeW%sh]cW‹]cR?UghTEQx_JfxRAsž’ WrMWbf]cQx_ap3W‹`^eW

¤$¦?§e¨h©µiJTEseSAdhTES?W?n1`^eW;”•R?QUT†i`QTEshf·”•R?QU/TE`x_aR?shfdhfxWbr¢”ªR?Q`^eW;–?W%Qx_®—˜]%TE`x_aR?s geQORw]cWbffonTEshr

`^eWc_aQTEgegMi®_J]%TE`x_aR?s…`R`^eW–AW%Qx_®—˜]%TE`x_aR?s™R‚”Ÿ`^eW$¤$§³½¿¾eÀ]^M_agž

ÆÈdzÉÊxË$̘ŽE͌?‘“šZ›œ?{cnhQOW%S?dMiJTEQCTEQ]O^M_a`Wb]c`deQWbfone^hTEQrM¯TEQW–AW%Qx_®—˜]%TE`x_aR?s

ΪÏ$Ð

ÑxÒxÓbÔ

Ð

Ñ Õ ÖmÒz×ÙØbÚ

ÛzÜÞÝ%ß¼àcáxâ•ãÙß¼äbåá0æbá0ç3â•áxälèOé݆á‡êëxë·ß¼æbáxÝ%älèxì¼ácíeîáxï=èOâ•äxðEñJÝoòmócâ•ôèäÙß¼õ%ö†ácí³ç˜÷/øcùúoí³ûúcûcøüç3â•áxã•äŸý1áxæ†ázþ

ÛlÛñ•ÿ1ñíoýÞèôïbö†ãæbá0ç3áèOö%ìß¼áxö?ícüùcùcù‡ÿ áz݆Ýbáxãxð™ãÙìß¼é%äÙì ô‡ó%æoß=áxæàcázâ•ãÙß¼ócÝóOòwäoß¼ãï=èOïEázâèï†ï=áèOâ•áxæ

߼ݙ÷ â•ó%ëð ÷ú†íbèO݆âlè݆ëlß¼ã•ëxó†í«ö†éö†ã•äúúbíñ¥ý óôïbö†ä•áxâ%ó%ë·ß¼áxä ‹÷eâ•áxã•ãxí1ï=èOéáxã !#"$oð

% oß¼ã'&1ócâ(&èOãï=èOâ•äÙì òaöb݆æbáxæ) Cä†á*†â•áz݆ë+8ý1ó%ócâ•æ%ß¼ÝEèä•áxæ$ÿ1áxã•áqèOâ•ë+$÷eâ•ócéâlèOôã-,/.0èOÝbæ0-12 óò1äbá

3

ß¼Ýoß¼ã•ä54ázâ•á$æ†áìjè!ÿ ázë6báxâ•ë+†á8áxäæbáì7eÝbã•á·ß¼écÝbáxôáxÝ%ä8%öbï1åáxâÙß¼ázö†âxí«è݆æ9) $äbá8†÷hÿ1ñ

%

ç1èOãÙß¼ë!ÿ1áxã•áèOâ•ë+

ëxäÙß¼ó݆ã«Ý%ö†ô*)Eáxâ-cûøcùèOÝbæ$cû%ð

$ 0!4V 42 "

ÇwŒÇ¶‘ ÄRAdhfgeQetWbfxW%sM`R?shf;deseW™UtW%`^eRerMW/”ªR?QOUWci®imW+ghR?deQ²i¬T“–0tW%Qx_®—˜]%TE`x_aR?s r¼TEQ]O^M_a

`Wb]c`OdeQWbfšZ›Ÿœ?{CQetW%S?dMi®_¿kW%QWbf%ž1ÃTEshfseR?`QW$UtW%`^eRerMW?neiaWbf8fqg‡tWb]O_®—˜]%TE`x_aR?shf]cR?UVghR?Q`OW%UW%s³`cT†iaWbf

rMd¶]O_aQ]cdM_a`™W%`‹fxR?s _mUVgMiW%UW%sM`TE`x_aR?st fxR?sM`£r¼T‚phR?Qr WcuwgeQq_mUtW%WbfVW%s ¤$¦?§e¨3©0n0des¸iJTEseS³T‚S?W

”•R?sh]c`x_aR?seseWcighR?deQiJT™]cRAsh]cW%ge`x_aR?s¥r¼TEQc]^M_a`Wb]c`deQOWbf8fxvMsh]^eQOR?seWbfQetW%SAdMij_lkW%QWbf%ž0WbffxgtWb]O_®—˜]%TE

`x_aR?shf;fxR?sM`W%shfxdM_a`W/QTstW%Wbf yxdhf°Ad JkTVi!R?pe`W%sM`x_aR?s¥rMW$iJT+rMWbf]cQx_age`x_aR?srdeseW£T‚Q]^M_a`Wb]c`OdeQW

TEphfq`QT†_a`W?ž›"_aUgMiW%UW%sM`TE`q_mRAs¥Wbfx`$f·_aUgMi®_®—¡tt W%W‹ghTEQrMWbf;`Wb]O^esM_¬°AdeWbf$r_ashrMdh]c`x_aR?s´g3R?deQ!T‚`

`Wc_ashrMQW¡imWU$#W%UWsM_a–?WbTEdr¼TEphfx`OQT?]c`x_aR?sžE›T–0tW%Qx_®—˜]%TE`x_aR?s$Wbfx`0T=imRAQfR?pe`W%sMdeWW%s²]cRAUghTEQTEsM`

iaWbfrMW%dMu¢rMWbf]cQx_age`x_aR?shfR?pe`W%sMdeWbf%ž%0W%``OWUÁtW%`^eRerMW8T tW%`etWZT‚gegMij_J°Ad‡tW%W$Tb–AWb]Cfxdh]%]EkWbfghRAdeQC–0tW%

Qx_®—hW%QiJT$]cR?QQWb]c`x_aR?s‹rdes]O_aQ]cdM_a`š›œ?{rMWCº?»?»ež»?»?»`QT‚shf·_Jfx`R?Qf T‚geghWciW;¤$§³½•¾eÀhž&0WZ]O_aQ]cdM_a`t

T#tW%`etW/]cR?s']cdghR?deQVQwtWbT†i®_JfxW%Qdes´T=imSAR?Qx_a`^eUW™rMW…]cR?UghTEQT=_¬fqR?sÁrMW™]O^hT(#

)

seWbf/rMW™]%TEQT?]c`bkW%QWbf

T†–?Wb];rMWbfTEgegMi®_¬]%T‚`x_aR?shfkT$iJT/]cR?QQWb]c`q_mRAs rR?Q`^eR?SAQTEge^eWW%`i¬T/]cR?UghT‚QT†_JfxR?s…rMW²fMtWb°AdeW%sh]cWbf

r[ÃÄ;ž0ÄRAdhfrtWb]cQx_a–?R?shf;iaW‹iJTEseSMTES?W…¤$¦?§e¨h©0niaWbf`OQTEshf·”•R?QUT‚`x_aR?shf±”ªR?QOUWci®imWbfVde`x_®i®_Jf³tW%Wbf

g3R?deQiJT$–tW%Qq_j—˜]%T‚`x_aR?sneW%`iaW%deQTEgegMi®_¬]%T‚`x_aR?s´kT;iJT–0tW%Qx_®—˜]%TE`q_mRAs™rMd™]O_mQc]cdM_m`$¤$§³½¿¾eÀhž

*#Ì3bŒ%ʐ+(Ç´‘µšZ›œ?{cn˜T‚Q]^M_a`Wb]c`OdeQWbfQetW%S?dMi®_¿kW%QWbf%nM–0tW%Qx_®—˜]%TE`x_aR?s…rMWUTE`etW%Qx_aWci

6 7

C;4/! ±

­ÞWb]^eseR‚imRASE_J]%T†i TArM–=TEsh]cW_as!TEQOWbT?f1RE”hrMWbf·_aS?s!T‚shr”lTEpeQx_J]%TE`x_aR?s;^hT?f3_ash]cQWbT?fxWbr;`^eW0]cRAUgMiaWcu³_a`xv

RE” ^hTEQrM¯TEQOWZfxvefx`W%U/f%ž 0^eWb]O¹A_mseS/`^eW8]cR?QOQWb]c`seWbffRE”Ÿfqdh]^™fxvefx`W%U/f_JfTEsV_mUVghR?Q`cTEs³`TEshr

rA_£]cdMia`$`T?fx¹1n1T?fW%QOQR?QfUT†v/iaWbT?r…`OR£]cR³fq`xiav‹iaR³ff±RE”0geQRerMdh]c`x_aR?sž«ƒ…TEsMv‹W%QQR?QcfCTEQOW²rMdeW

`R“UTEsMdhT†iZrMWbf·_aS?sž[ia`^eRAdeS?^TEde`OR?UTE`x_J]VUW%`^eRerefgMiJT†v´TEsµ_ash]cQWbT?fz_mseSQOREiaW/_ms98;:=<>

rMWbf·_aS?sn3`^eWUT‚yzRAQx_a`zvVRE”«`^eW^M_aS?^ÈimW%–AWciŸrMWbf·_aS?s™geQORw]cWbff¡_Jffx`x_®i®i UTEsMdhT†ilžwƒ+R?QOW%R=–AW%QbnMW%–?W%s

`^eWQWbfxdMia`RE”«TEsT‚de`R?UTE`q_¬]rMWbf·_aS?s‹`RMREihU$_aS?^M`‡seW%WbrV`R;phW]^eWb]O¹?Wbr1nA_asR?QcrMW%Q0`R;desh]cR=–AW%Q

g3R³ff·_apMiaW$W%QQR?Qf‡_ms+`^eW8fxRE”•`x¯TEQW`RMREiJf%ž

­QTArA_m`q_mRAshT†i®imv?n^hTEQrM¯TEQW™fqvwfx`OW%Uf^hT†–?W‹p3W%W%s¶–=T=ij_JreTE`OWbr´pMvUWbTEshf/R‚”±f·_aU$dMiJTE`x_aR?sž

­^M_JfUW%`O^eRwr£_¬f¡i®_aU$_a`Wbr1nT?f_a`_¬frA_£]cdMia``R/T?]^M_aW%–?W/Xb»?»? ”¿TEdMia`]cRE–?W%QTES?W?že­^M_Jf_Jf`^eW

QWbTAfxR?s‹¯^Mv”•R?QU/T†i–?W%Qx_®—˜]%TE`x_aR?sÈ_¬fphWc_aseS‹]cR?shf·_JrMW%QWbr+UR?QOWZTEshrÈUR?QWR‚”ª`W%sž

@eR?QU/T†i«–?W%Qx_®—˜]%TE`q_mRAs™_Jf¡i®_m¹AW²TVUTE`O^eW%UTE`x_J]%T†i«geQOR³RE”ž1­^eW!]cR?QOQWb]c`seWbffRE”‡TV^hTEQrM¯TEQW

fxvefx`W%U#_Jf rMW%`W%QOU$_aseWbrQW%SMTEQrAiaWbffRE”e_a`fÞ_asegede`0–ET†iadeWbf%n?pMv!]cRAshf·_JrMW%Qx_aseS8_a`fޔ•desh]c`x_aR?s$QTE`O^eW%Q

`^hT‚s_a`fphW%^hT†–?_aR?deQ†nwT‚shr$p³v$–?W%Qq_j”•vA_mseS²imRASE_J]%T†i˜geQRAghW%Q`x_aWbf%žA@ R?QUT†ih^hT‚QrM¯TEQW–?W%Qx_®—˜]%TE`x_aR?s

]cR?shfz_¬fq`fRE”Wbfx`TEpMi®_Jfx^M_aseS `^hT‚`ZTEsBDCFEGHC& I™fT‚`x_Jf·—hWbf8T!JEK=hže{·UgMiaW%UW%se

`T‚`x_aR?s TEshr…fxghWb]O_®—˜]%TE`x_aR?sTEQW;QW%geQWbfxW%sM`TE`q_mRAshfRE”‡`^eW]O_aQ]cdM_a`!T‚`ZrA_HLW%QW%sM`imW%–AWci¬f±RE”¡T‚phfx

`QcT?]c`x_aR?sž

Ã_LW%QW%sM`TEgegeQR³T?]O^eWbf]%TEs+phWdhfxWbrȔ•R?Q”ªR?QOUT†i«–?W%Qq_j—˜]%T‚`x_aR?s/MzfxW%WONHPCdeghˆ XQ”•R?QCT‹fqdeQ

–?W%vRSAC3TUEGV-W8`^eWQWciJTE`x_aR?shfx^M_ag/phW%`x¯W%W%sTfxg3Wb]O_j—˜]%T‚`x_aR?s™TEshr;_aUgMiaW%UW%sM`TE`x_aR?s

_Jf`QOWbTE`Wbr/T?fT8`O^eW%R?QW%U}_as/iaR?SE_J]EnXC& 4YTZ"[\-W`^eW_aUgMiaW%UW%sM`TE`x_aR?s‹geQRE–A_JrMWbfT$fxW%

UT‚s³`x_J]URerMWci1”ªRAQ‡`O^eW”ªR?QOU!dMiJT;¯^M_J]O^‹QW%geQWbfxW%sM`f`^eW8fqghWb]O_®—˜]%TE`x_aR?sn0] V I!D

W8Wb°AdM_a–=T†iaW%sh]cWRE”˜TCfqghWb]O_®—˜]%TE`x_aR?s‹TEshr8T‚s8_aUgMiaW%UW%sM`TE`q_mRAsnEWb°?dM_a–=T=imW%sh]cWRE”3—hsM_m`OW¡fq`TE`WTEde

`RAUTE`TenH ^DC&I_W!`^eW¡_mUVgMimW%UVW%s³`T‚`x_aR?s/_Jf0fx^eRE¯s`ORphW]cR?s³`cT†_aseWbr$_as/`^eW

fxg3Wb]O_®—˜]%TE`x_aR?s+_as™`^eW8fxW%shfqWRE”Ÿ`O^eWQW%geQWbfxW%sM`TE`x_aR?sViJTEseS?dhTESAW?žh­^eWbfxWUW%`O^eRwrefrMW%g3W%shr+R?s

`^eWfxg3Wb]O_j—˜]%T‚`x_aR?s™TEshr;_aUgMiaW%UW%sM`TE`x_aR?s‹UVRwrMWciJfdhfxWbr`SIHaNHPR?Qre€bQAW$geQR?ghRMf·_a`x_aR?shT†ihiaR?

SE_J]Eno—hQfx`•RAQrMW%QgeQWbrA_J]%TE`WiaR?SE_J]Enb^M_aS?^e•RAQrMW%QiaR?S‚_¬]En†`W%Ug3R?QT†iAimRASE_J]En%R?QcC&d`

5&N¼ƒÈ_jiJˆeXAnwÄ[P0€b³nAeW%Qˆ?_QIW$—hsM_a`W$fx`TE`WTEde`R?UT‚`Ten?`OQT?]cWfx`Qdh]c`deQOW?n³geQORw]cWbffT†iaS?W%

peQT ž

­^eWUT†_asVi®_mU²_m`cTE`x_aR?s‹RE”–?W%Qx_®—˜]%TE`q_mRAs`Wb]O^esM_J°?deWbf_Jf`^eWc_aQ]cR?UgMiaWcu³_a`xv?žM[ia`^eRAdeS?^geQOR?

S?QOWbff^hT?f p3W%W%s‹UT?rMW_ms‹`O^M_¬fTEQOWbTen³]cR?UVgMimWcu‹WcuhTEUgMiaWbfTEQWfx`x_®i®i p3W%v?R?shr/`^eW]%TEghTEpM_®i®_m`q_mWbf

RE”TEde`R?U/TE`x_J]–?W%Qq_j—˜]%T‚`x_aR?s¥fxvefx`W%UfožGfRE¯‡W%–AW%QbnhT?fghRE_asM`Wbr…R?de`pMv™fxW%–?W%QcT†iT‚de`^eR?Qf%n ”•W%¯

–?W%Qq_j—˜]%T‚`x_aR?s´`Wb]O^esM_J°?deWbf²WcuwgMiaRE_a`/`^eW/_ase^eW%QW%s³`VQW%S?dMiJTEQshTE`OdeQWR‚”C^hTEQrM¯TEQW?ž0@eR?Q$ghTEQcTE

UW%`OQx_hg%Wbr‹rMWbf]cQx_age`x_aR?shf%neUVRwrMdMiJTEQgeQRMRE”lf MNif›|ˆA2QR«RAQ _ashrMdh]c`x_a–?WgeQRMRE”lfjMe0REv?W%QOlƒ™RMR?QW2R

fxW%W%U `R…phW‹`^eW‹URMfx`$geQR?U$_Jf·_aseS¥fxR‚imde`q_mRAshf%ž [UR?seS¥TE`O`W%Ughf;`R…^hTEshrAiaW™`^eW/–?W%Qx_®—˜]%TE

`x_aR?s+RE” QW%S?dMiJTEQ^hTEQcrM¯¡T‚QW?nM`^eW8]cR?QQWb]c`OseWbffR‚”Ÿfxvefx`REi®_J]8]O_aQ]cdM_a`f^hT?f¡phW%W%s¢]cRAshf·_JrMW%QWbr+p³v

fxW%–AW%QT†iŸTEde`O^eR?QfFMzfxW%WkNifW%sh€lennmGeˆ?º Q«TEUR?seSVR?`^eW%QfRcž

{ls `^eW$geQWbfqW%s³`ghTEg3W%Qbn1¯W$geQWbfxW%sM`8T/geQR³R‚”‡UW%`^eRerMREiaR?S?v+`R‹]^eWb]O¹…`^eW]cR?QQWb]c`seWbfOf

RE” !5!HR?QUR?QOWS?W%seW%QT†i®iav ZH D! ž

­^eW‹geQRMRE”CgeQRe]cWbff;_JfT…]cR?U$pM_ashTE`x_aR?sRE”`R?gelrMRE¯sB!$52A!h!8TEshrµp3R?``R?UV•deg $!T

DVdes³`q_ji«T$]cR?UUVR?sU²_¬rerAiaW%•g3RE_as³`_JfQWbT?]O^eWbr1žh­^eWgeQx_ash]O_agMimW$RE”`^M_JfUW%`^eRerMREiaR?S?v

¯T?fT†iaQWbT?rMv$geQR?g3R³fxWbr²_ms N–?Wb€bQ˜TEshrVTEgegMi®_mWbr/`OR!T”•W%¯´WcuhTEUgMiaWbf N¼Ãƒ…ˆ?»AnW%^h€bQlždeQ

UW%`O^eRwrµ`T‚¹?Wbf8T?rM–ETEsM`TES?W/RE”ZT†–=T=_jiJTEpMiaW+ghRE¯W%Qx”ªdMiCTEQc]^M_a`Wb]c`deQcT†i¡fxvMsM`^eWbf·_Jf$UW%`^eReref;”•R?Q

fxvefx`R‚ij_J];TEQQT†vefNdM_J€E2Qlž

­^eW$”•R?QUT†i QW%geQWbfqW%s³`T‚`x_aR?s RE”phR?`^“`^eWfxg3Wb]O_j—˜]%T‚`x_aR?s´TEshr+`^eW$_aUgMiaW%UW%sM`TE`x_aR?sµRE”

T/]O_aQ]cdM_a`_¬fS‚_m–AW%s™_as“¤!¦A§e¨h©0n1T$”•desh]c`x_aR?shT†iiJTEseS?dhTES?W$dhfxWbr£”ªRAQC`^eW$fxvMs³`^eWbfz_¬fRE”0QW%SAdMi¬T‚Q

TEQc]^M_a`Wb]c`deQOWbfNšƒCˆ XQlž%­^eW¤$¦?§e¨3©$iJTEseS?dhTES?W]%TEsQW%geQWbfqW%s³`«T]O_mQc]cdM_m`0T‚` rA_HLW%QW%sM`iaW%–?WciJf

RE”«TEphfq`QT?]c`x_aR?sXSMfx`Qdh]c`OdeQT†i˜rMWbf]cQx_age`x_aR?s™TAf ¯Wci®i T?fŸ”ªdesh]c`x_aR?shT=i RAQ0`W%Ug3R?QT†ilžM­^eW–?W%Qx_®—˜]%TE

`x_aR?s…geQRe]cW%WbrefpMv™rMRE_aseSgeQRAS?QTEU-`OQTEshf·”•R?QUT‚`x_aR?shfphT?fxWbrÈR?s™`O^eW²fqW%UTEsM`x_J]%fRE”¤$¦?§e¨h©

N¼ƒ…TEdh€AˆQe`O^³dhfÞ`TE¹A_aseS8T?rM–=TEsM`TESAW‡R‚”h`^eW¤!¦A§e¨h©³© !!fqvwfx`OW%U N¼Ã3PZ›"«ˆeXQ NÃWgbˆ?º Q

T†iaQWbTArMv™dhfxWbr£”ªR?QTEQ]O^M_a`Wb]c`deQT=iŸfxvMs³`^eWbfz_¬fož˜­^M_JfgeQRE–A_JrMWbfCT !$ C&hTCDgeQOR³RE”0geQOR?

]cWbffone_as™`O^eW!fxW%shfxW;`^hTE``O^eW!rMWbf·_aS?seW%Q^hT?f`RfxWciaWb]c``QTEshf·”•R?QU/TE`x_aR?shf¯^eRMfxW8TEgegMi®_J]%TE`x_aR?s

_JfTEde`R?UT‚`x_J]Ežw­¡^eW8geQRMRE” UW%`^eRerMREiaR?S?v‹rMWbT†iJfCrA_aQWb]c`xiav‹¯_a`^+ghTEQTEUVW%`Qx_hg%Wbr‹]O_aQ]cdM_a`f%ž

­^eW]cR?s³`OW%s³`RE”h`^M_JfghTEg3W%Q _JfphT?fxWbr;R?s$T]%T?fxWfx`dhrMv?žE­^eWUW%`^eRerMREiaR?S?v±_¬f T‚gegMij_aWbrV`R

TEs$WcuM_Jfx`x_aseS!º?»A»ež¼»?»?»`QcTEshf·_Jfx`R?Q fxvefx`REi®_J]]O_aQ]cdM_a`0shTEUWbrV¤$§³½¿¾eÀIN¼›T†–wˆAºQ·ž=­^eWfxg3Wb]O_®—˜]%TE`x_aR?s

RE”`^eW/]^M_ag]cR?shf·_Jfx`f±RE”`^eWQWb]cdeQQOW%sh]cWWb°AdhTE`x_aR?shf;rMWbf]cQx_apM_aseS…_a`fR?g3W%QTE`x_aR?shfož«­^eW$_aU

gMiaW%UW%sM`TE`x_aR?sÈ_Jf`^eW8T?]c`dhT=i˜URerMWci«RE”«`O^eW8]^M_ag™TE`QW%SE_Jfx`OW%Q•`QTEshfz”ªW%QiaW%–?WcilžGev‹fxvMs³`^eWbfz_¬fon

`^eWQWb]cdeQQW%sh]cWWb°?dhT‚`x_aR?shf0TEQOW‡`OQTEshf·”•R?QUWbr±_asTEsVWcuwgMi®_J]O_a`¡T‚Q]^M_a`Wb]c`OdeQW?ževTEphfx`QcT?]c`x_aR?sn

`^eWV_aUgMiaW%UW%sM`TE`x_aR?s _¬f$f·_aUgMi®_®—hWbr¸p³v“Wcij_aU$_ashTE`q_mseST†i®i_asM_m`q_¬T=ij_hgbTE`q_mRAsUVWb]^hTEsM_JfxU/f%n TEshr

fxRAUWR?ge`x_aU$_hgbTE`x_aR?shf¯^M_J]O^™¯W%QWTEgegMi®_mWbr+¯^eW%s™rMWbfz_mSAsM_mseS‹`O^eW8]^M_agž1­^eW–?W%Qx_®—˜]%TE`x_aR?s/_Jf

]cR?UVgMimW%`OWbr™pMv/UTE`]O^M_aseSphR?`O^™rMWbf]cQx_age`x_aR?shf%ž

­^eWgeQWbfxW%sM`8ghT‚ghW%Q_Jf±R?QS³TEsM_JfxWbr“T?f”ªR‚ijiaRE¯CfS _as¥fxWb]c`x_aR?sen1¯W$SE_a–?WTEs RE–?W%QO–?_aW%¯}RE”

`^eW±¤!¦A§e¨h©‹iJTEseS?dhT‚S?WCTEshr;RE”1`^eWphT?f·_J]`OQTEshf·”•R?QUT‚`x_aR?shf%žAœ?Wb]c`x_aR?s£ºrMWbT=i¬f¯_a`^`^eWUT=_ms

`QcTEshf·”•R?QUTE`q_mRAshf ”•R?QCT‚Q]^M_a`Wb]c`OdeQT†iŸfxvMsM`^eWbf·_Jf%žÞœ?Wb]c`x_aR?s™‹rMWbf]cQx_aphWbf`O^eW`QTEshf·”•R?QU/TE`x_aR?shf

”•R?Q‡T‚phfx`QT?]c`q_mRAsž@Þ_ashT†i®iav?nwfqWb]c`x_aR?s$#;fx^eRE¯Cf `O^eWCTEgegMi®_J]%TE`x_aR?s‹RE”`^eWgeQOR³RE”UW%`O^eRwrMREiaR?SAv`R

`^eWV¤$§³½•¾eÀ]O^M_agž

% &) %C;4/! «± «$ !±!

¤$¦?§e¨h© _Jf™T“iJTEseS?dhTESAW™_asM–?W%sM`Wbr¸”•R?Q‹`^eW fxvMs³`^eWbfz_¬fÈRE”!QOW%S?dMiJTEQ™TEQ]O^M_a`Wb]c`deQW pMvfq`W%ge

¯_JfxW+QWc—hseW%UW%sM`bž{l`$_JfVphT?fxWbrµR?s`^eW+URerMWciCRE”kZZ I ]A!%nÞ_msM_a`x_JT†i®iav¸_as³`QOR?

rMdh]cWbr p³v'&T‚Qgn«ƒÈ_®i®imW%Q‹TEshr“’¸_mseRAS?QT?r`N&ƒ+’9lbQlnTEshr Wcue`W%shf·_a–?WciavdhfxWbr iJTE`W%QRAs ”•R?Q

`^eW…fxvMs³`^eWbfz_¬fVRE”8fxvefx`REi®_J]™TEQOQT†vwf;MzfxW%W/N¼ƒ+REiJ€?Mn(dM_J€?º3n 0^eWb€)#enÃ{z€)# QCTEUVR?seS R?`^eW%QcfRž

­^eW+¤$¦?§e¨h©¸iJTEseS?dhTESAW£]%TEsµT†iJfxR…phW/dhfxWbr `OR™rMWbf]cQx_aphW !$52I"I!&!5!C3!%nTEshr“`^eW%

QWc”•R?QW?nÞgeQRE–?_JrMWbf;T‹shTE`deQcT†i0”•QTEUW%¯R?QO¹/”ªR?Q;`^eW`QcTEshf·”•R?QUTE`q_mRAs¢R‚”(DC& !EA ,T

A!_asM`R Z"! ž ­^eW/geQx_ash]O_agMiaWbf/RE”8¤$¦?§e¨h©¶^hT†–?W/phW%W%sgeQOWbfxW%s³`OWbr“_ms´rMW%`cT†_®i

WciJfxW%¯^eW%QOWN¼Ãš œ³ˆeX³n3Ã3PZ› " ˆeXEn3šZƒ CˆeX"Qlžh­^eW;gedeQghR³fqW!R‚”0`^M_JffxWb]c`x_aR?s+_Jf`RV_as³`OQRwrMdh]cW

`^eW;QWbT?rMW%Q`OR!`O^eW8seR?`T‚`x_aR?shfTEshr‹geQx_ash]O_agMiaWbfRE”`^eWiJTEseS?dhT‚S?W?ž

{·s¢`O^eW”•REi®imRE¯_aseShn´rMW%seR?`Wbf`^eW!fqW%`CRE”_as³`OW%S?W%Qf%že{·s…R?QrMW%QseR?``R$_asM`QRerMdh]cW!]cR?sM”•dhf·_aR?sn

¯W8rMW%seR?`W;p³vh%Ç3ÇwŽ;`^eWdhfqdhT†i_as³`OW%S?W%QC`xvMghW?ž

­R^eWciag$WcuegMi¬T=_msV`^eWiJTEseS?dhTES?W?n†¯W0]cR?shf·_JrMW%Q `^eW]Oi¬TAff·_J]%T†ieWcu TEUVgMimWRE”h`^eW0]cR?sM–?REiade`x_aR?s

T†iaS?RAQx_a`^eU™žFP_a–?W%sT‚s_asM—hsM_a`W fxWb°?deW%sh]cW "!$#&% »en0TEshr¸T+—hsM_a`W fxWb°?deW%sh]cW…RE”¯Wc_aS?^³`cf

')(

!»+*-,.*-/µne`^eW$]cR?sM–?REiade`x_aR?s ]cR?shf·_Jfx`fRE”‡]cR?UVgede`x_aseS™TfxWb°AdeW%sh]cW&0 !$#%-/rMWc—hseWbr

pMv‹`^eW”•REi®imRE¯_aseS/Wb°?dhT‚`x_aR?sXS

1 #2%3/4! 057698

:

($;=<

' (?>

A@

( B

MX2R

›1W%`C/D6´hžh­^M_JfWb°?dhT‚`x_aR?s™]%TEs™p3WQW%¯Qx_a``OW%s¢T?fQWb]cdeQQOW%sh]cW8Wb°AdhTE`x_aR?shfT?f”•REi®imRE¯Cf(S

#E% F 0 M"#R26HGkM"#I!AR

#2%J!$,+6LKX F G M"#I!M,R76» MzR

#2%J!c»N*3,* F G M"#I!M,R763GkM"#I!M,OK´X2RP

'

M",RRQSnM"#K,R

B

­^eW¤$¦?§e¨h©+geQR?S?QT‚U geQWbfqW%s³`Wbr!_msV—hS?deQWX?n?rMWbfO]cQx_aphWbf`^eWCfxvefx`W%U}R‚”˜Wb°AdhTE`x_aR?shf MxRž

[s´¤$¦?§e¨3©geQOR?S?QTEU _Jf$T™]cR‚ijiaWb]c`x_aR?s¸RE”Cf·_aseSEiaW£TAff·_aS?seUW%sM`$Wb°?dhTE`q_mRAshf%ž ¤$¦?§e¨h©¸”•REi®iaR=¯f

`^eW$]OiJT?ff·_J]%T†i«geQq_msh]O_agMiaWbfR‚”T ! 4 c!5&5 EK4F$I DXH†ž

­^M_Jf geQR?SAQTEU#^hT?f `x¯R_asegede`–=TEQx_JTEpMiaWbfu²T‚shr$¯!nETEshr$QOW%`deQshf T–=T‚Qx_JTEpMiaWCvžEš0TEQq_¬T‚pMimW

u;_¬fÞ_ashrMWcueWbr$R?s$`^eWfxW%`UTV#MWX#%¸»ZY³nbTEshr$]%TEs$p3W¡fqW%W%s²TAf«T¡”ªdesh]c`q_mRAs`^hTE`UTEghfÞ`^eW_as³`W%SAQT†i

g3RE_as³`fR‚”Ÿ`^M_JfrMR?UT†_as…`R&h%ÇZhÇeŽMž phfxW%Q–?W$`^hT‚``^M_JfCrMRAUT†_as‹_JfT$g3REiav³^eWbrMQRAs¢R‚”)\[3ž

š0TEQq_¬T‚pMimW+¯ _JfrMWc—hseWbrRAs¥`^eW‹g3REiav³^eWbrMQOR?s-TV#$W»]*^#N* Y³ž{l``O^eW%QWc”ªRAQWQOW%geQWbfxW%sM`f$T

i®_aseWbTEQTEQQT†v‹RE”`xv³g3W_h%ÇZhÇeŽMžX@Þ_mshT=ijiav?nv+_Jf8rMWc—hseWbr…R?s`TV#MWI#U%¶Y³ž­¡^eW!geQOR?S?QTEU2dhfqWbf

T†iJfxR‹T±iaRw]%T†i –=T‚Qx_JTEpMiaWbanhrMWc—hseWbr+R?s‹`^eW8fqW%`CTV#c!$,RWc#%JdRKXO*3,*Y³ž

­^eW0Wb°AdhTE`x_aR?shfrMWc—hsM_aseS`^eW iaRe]%T†iw–ETEQx_JTEpMiaWUaTEshr±`^eW R?de`gede`–=T‚Qx_JTEpMiaW‡v8T‚QW0W%sh]OiaR³fxWbr

p3W%`z¯W%W%s+`^eW¹?W%vM¯‡RAQref+¬Ç³8TEshrȍ%Ç +·ž

{lsµ¤$¦?§e¨h©0n1–ETEQx_JTEpMiaWbf8TEshrÈWcuwgeQOWbff·_aR?shf8T‚QW”•desh]c`x_aR?shf”•QR?U2TfxW%`RE”_msM`W%S?QcT†i«ghR‚_msM`f

RE”22[]%T†i®iaWbr`^eW3!JEKI4C&D;RE”`^eW–ETEQx_JTEpMiaWR?Q `^eWWcuwgeQWbfOf·_aR?snM`R!TfxW%`RE”–=T†iadeWbfRE”

T;SE_a–?W%s/`xv³g3W^MzŠÌ1Ì+aÇMŸnh%Ç3ÇwŽMnAR?Q‡Ž†ÇM +Rž3¤$¦?§e¨h©…WcuegeQWbff·_aR?shfTEQWR?pe`T†_aseWbrVp³v]cRAU

pM_asM_aseS…–=TEQx_JTEpMiaWbf MlR?QQWb]cdeQf·_a–?Wciav?nWcuegeQWbffz_mRAshfRC`RAS?W%`^eW%Q¯_a`^…`z¯R‹fxR?Q`cfRE”0RAghW%QTE`OR?Qf3S

EADfeph!&EK !¡TEshr ! EAXEA ! ž

ŒoÉ«Œ%%Ç% ]cR?sM–?REiade`x_aR?s`M$¯ SZTV#MWO»b*3#E*YÌh%Ç3ÇwŽZd

u SZTV#MWI#%¸»ZYÌ&h%ÇZhÇeŽR

Ž†ÇM( Ž ŒkM$v SZT#MWc#7% YÌ&h%ÇZhÇeŽR$d

hŽ

G SZTV#c!$,RWc#%JdKXb*3, *YÌfh%ÇZhÇeŽZd

+¬Ç³

v 6 TV#MWI#7%Y^Sa

B

M"#\F #c!OARMd

a-6 EhŒ%Ç

TV#c!$,RWc,_6LKXY^S?»

BM #c!M,_F RMd

TV#c!$,RW»C*H,*Y^Sa

BM #c!M,+F #I!M,OKX2RRP ¯

B

M"#I!M,OF ,RRQu

BM #c!M,_F #RK,R$d

ÇwŒohd

%Ç +

@Þ_aS?deQOWXS1¤$¦?§e¨h© geQOR?S?QTEU ”•R?Q`^eW8]cRAs³–?R‚imde`q_mRAs

ÌfhcË&ٌ%Ç ÌÇwŽ†e%Ì1Ž=Œ­^eWbfxW$R?g3W%QTE`R?QcfCTEQOW!g3RE_as³`x¯_JfxWVS?W%seW%QT†i®_hgbTE`x_aR?shf±RE”‡]OiJT?ff·_J]%T†i

TEQq_m`O^eUW%`x_J]R?ghW%QcTE`R?Qf`R¤$¦?§e¨3©¢WcuegeQWbffz_mRAshf%žA@eR?QWcu TEUVgMimW?nMSE_a–?W%s/R?seW%lrA_aUW%shf·_aR?shT=iŸ–ETE

Qx_JTEpMiaWbf M·R?Q0WcuegeQWbff·_aR?shf$R TEshr+an?`O^eWWcuwgeQOWbff·_aR?sPa¶QOW%geQWbfxW%sM`f0TZ”ªdesh]c`x_aR?s™rMWc—hseWbr

R?s“`^eW$_as³`OW%QfxWb]c`x_aR?sµRE”`^eWrMR?U/T†_ashfRE”-TEshr4a-¯^eR³fxW–ET†iadeW£TE`_ashrMWcu3#_Jf P a ž

phfxW%QO–?W`O^hTE`8g3RE_as³`x¯_JfxW/R?ghW%QcTE`x_aR?shf8]%T‚QQv…R?de`8TEs“_aUgMi®_¬]O_a`rMRAUT†_as¥RAghW%QTE`q_mRAsn«T?f±`^eW

QWbfqdMim`q_mseS¸WcuwgeQOWbff·_aR?s P a _¬f‹rMWc—hseWbr¸R?s `^eWÈ_as³`W%QcfxWb]c`x_aR?s RE”8`^eW rMR?UT=_mshf/R‚”_m`cf

R?g3W%QTEshref%ž1­^M_Jf_JfR?seWRE” `^eW¹?W%v/”•WbTE`deQWbfRE” `^eWiJTEseS?dhTESAW?ž

e ¬ +ÌÇwŽ†e%̘ŽEŒ­^eWbfxWR?g3W%QTE`R?Qcf WcuegMij_J]O_a`xiav™U/TEsM_agedMi¬T‚`W!fxghT‚`x_JT†i rMR?U/T†_ashf%žh­^eW%v

TEQOW`^eW!rMW%g3W%shrMW%sh]cW?n1QWbfx`Qx_J]c`x_aR?s…TEshr‹]%T?fxWRAghW%QTE`OR?Qf%ž

’ W!]%T†i®i0TO4 EK4,T‚s¢TseWU/TEgegM_aseS/”ªQRAU 2[`R ;n4!4%»ež ’ W

rMW%seR?`OW8fxdh]^‹T”•desh]c`x_aR?s‹pMvOM"#I!Z!

B B B

F M"#I!Z!

B5B BR R«¯^eW%QOW£_¬fTEs‹TseWWcuegeQWbff·_aR?sžI@ R?Q

WcuhTEUgMiaW?n M"#c!$,NF' #K º ,OP¥ RŸQOW%geQWbfxW%sM`f`O^eWUTEgegM_aseS£ #K¥º ,OP $”•QR?UD`RžIev

]cR?sM–?W%sM`x_aR?sn <

rMW%seR?`Wbf;`^eWfz_mseS‚imW%`OR?s´fxW%`bžÞ[ ]cRAshfx`TEsM`_Jf$T‹UT‚gegM_mseS ”ªQRAU <

`RÈ_m`cf

`xvMghW?ž

­^eW^4 EK4$EKŸ]cRAU!pM_aseWbfrMW%g3W%shrMW%sh]cW”ªdesh]c`q_mRAshf‡T‚shrWcuegeQWbff·_aR?shfožAP_a–?W%s

TEs‹WcuegeQWbffz_mRAs ´TEshr‹T$rMW%ghW%shrMW%sh]cW;”•desh]c`x_aR?s™r1n B

rrMW%seRA`Wbf`^eW8]cR?UVghR³f·_a`x_aR?s‹R‚””ªdesh]c

`x_aR?shf ´TEshr/r1žI@eRAQ‡WcuhTEUgMiaW?ne`O^eWCWcuegeQWbff·_aR?sÈu žM"#F #=K¥X_RŸQOW%geQWbfxW%sM`fTOiaWc”ª`Olfx^M_®”ª`²p³v

R?seWRE”˜`^eW–ETEQx_JTEpMiaWun?T?f fx^eRE¯s;_as$—hS?deQOWCež?›1W%` m/phW`^M_JfWcuwgeQWbfOf·_aR?sž?­^eW #¿•`^$WcimW%UVW%s³`

RE” m/_Jf`^eWb#=KX%•`^/WcimW%UVW%s³`RE”užM[Zfg3RE_as³`x¯_JfxWRAghW%QTE`OR?Qf%nA`^eW8rMW%ghW%shrMW%sh]cW;_aUgMi®_aWbfTEs

R?g3W%QTE`x_aR?s/R?s‹rMR?UT†_ashf%žfW%QOW?n³`O^eWCrMR?UT†_as/RE”cmV_¬f`^eWrMR?UT=_ms/RE”1ufx^M_®”ª`OWbr/`R8`^eWQx_aS?^³`†n

! "

$#%'&

!() * h%ÇZhÇeŽ

@Þ_aS?deQW8ASe{¿i®imdhfq`QTE`x_aR?s+RE”0rMW%ghW%shrMW%sh]cW$”•desh]c`x_aR?shf

TEshr+URAQW8S?W%seW%QcT†i®imv?n1S‚_m–AW%s T‚s™WcuegeQWbff·_aR?s TEshr…TrMW%g3W%shrMW%sh]cv r1nh`^eWrMR?U/T†_as™RE”ž¼r

_Jfr

@,+

M-/. M R RnA`^eWQWb]O_ageQRe]%T†i_aUTESAW8RE”«`O^eW!rMR?UT=_ms‹R‚” p³v0-hž

phfxW%Q–?W‹`^hT‚`!`O^eW‹seR?`TE`x_aR?s»

BM #c!M,`F RWcuw`OW%shref`^eW‹]cR?shfx`cTEs³`»…`OR žœE_aU$_®iJTEQxiav?n

McF ,Rne¯^eW%QWb,V_JfTEs/_as³`OW%S?QT†iŸ]cRAshfx`TEsM`bnerMW%seR?`WbfT²UTEgegM_aseS”•QR?U <

`Rž

­^eW^!RAghW%QTE`OR?Q0QWbfq`Qx_J]c`f`^eWCrMRAUT†_asR‚” TEsWcuegeQWbffz_mRAspMv$UWbTEshf R‚”˜i®_aseWbTEQ

]cR?shfq`QT†_asM`f%ž«­¡^³dhf%nETV#c!$,RW#?%ºZY Sa-rMW%seR?`Wbf`O^eWQWbfq`Qx_J]c`x_aR?sµRE”`^eW$”•desh]c`x_aR?s a `R+`^eW

fxdep1rMR?UT†_as#2%´º ž

­^eWEhŒ%Ç$R?g3W%QTE`R?Q T†i®iaRE¯Cf WcuegeQWbff·_aR?shf`RphWC]cR?shrA_a`x_aR?shT=ijiavrMWc—hseWbrVpMv!fxdep1rMR?UT†_ashf%ž

{·`¡]cRAU!pM_aseWbfWcuegeQWbff·_aR?shfrMWc—hseWbrVR?srA_JfÙyxRE_as³`rMR?UT=_mshf_asM`R!T±seW%¯WcuegeQWbffz_mRAsn³T?ffx^eRE¯s

pMv`^eWrMWc—hsM_a`x_aR?s™RE”7a¶_as‹geQR?SAQTEU}RE”—hSAdeQW!X&SMrMW%ghW%shrA_aseSRAs¯^eW%`O^eW%Q ,+6LKXR?QseR?`bn

a `TE¹AWbf`^eW$–=T†iadeW»VR?Q_JfrMWc—hseWbr…QOWb]cdeQf·_a–?Wciav?ž­R‹p3W$–=T†i®_Jr1n1`^eW$peQTEsh]O^eWbfR‚”0`^eWEhŒ%Ç

U$dhfx`^hT†–?W8rA_JfÙyxRE_asM`ZrMR?U/T†_ashf%ž

phfxW%Q–?W/`^hTE`;_ashrMWcuÁshT‚UWbf$TEQW H1`R+`^eW‹rMWc—hsM_m`q_mRAshfRE”rMW%ghW%shrMW%sh]cW‹”•desh]c`x_aR?shf

TEshr…rMR?U/T†_as rMWc—hsM_a`x_aR?shfož«­^Mdhf%n M"#c! F #P R _Jffx`Qq_¬]c`qimv…Wb°AdM_a–=T†iaW%sM`8`RM",!21\F ,NP31JRn

TEshr+rMW%seR?`Wbf`O^eW54w•WcuegeQWbffz_mRAs64J# B M"# P Rž

%7 98;:<7>= @? A<8

­^eWrMWc—hsM_a`x_aR?sRE”1¤$¦?§e¨h©VimWbTAref`RT–?W%QvghRE¯W%Qx”•dMi³`QTEshfz”ªR?QOUTE`x_aR?sUWb]O^hTEsM_JfxU™no_msM_a`x_JT†i®iav

T†_aUWbrµTE`geQRE–A_JrA_mseS+`^eWphT?fz_¬]²`R³R‚i¬fZ”ªRAQ`^eWfxvMs³`O^eWbf·_JfRE”QW%S?dMiJTEQ!T‚QQT†vwfožh{·s `^M_Jf8fxdepe

fxWb]c`q_mRAsnh¯W8fxdeQ–AW%v™fxR?UWRE” `^eWbfxW;`QTEshfz”ªR?QOUTE`x_aR?shf%že­^eW%v™T‚QWphT?fxWbrÈR?s‹`^eW!fqW%UTEsM`x_J]%f

RE” `^eWiJTEseS?dhT‚S?W?ne¯^M_J]O^™_JfrMWc—hseWbrÈ_as¢rMW%`cT†_®i_as N¼ƒ…TEdh€?ˆ Qlž

¤!¦A§e¨h©…”•REi®imRE¯Cf¡`^eW8fxdephfx`x_a`de`q_mRAs‹geQx_ash]O_mgMiaWSTEs³vV–=TEQx_JTEpMiaW$]%TEs‹phW$fxdephfx`x_a`de`Wbr/pMvV_m`cf

rMWc—hsM_a`x_aR?sne¯¡_m`O^eR?de`]^hTEseS‚_mseS$`^eWUWbTEsM_aseS$RE”`^eWgeQR?S?QcTEU™ž@eRAQ0WcuhTEUgMiaW?nefxdephfx`x_a`de`x_aseS

a _ms+`^eW8rMWc—hsM_a`x_aR?s…RE” v/_ms+geQR?S?QcTEU RE”«—hSAdeQWX?nMSE_a–?Wbf`^eWseW%¯ rMWc—hsM_a`x_aR?s S

bù!"

#$%'&)(

ù+*

* ,-!"

#$.%/#$+

&021

!3

#.%/&5476

!3

#$+%/8&)(

(9&

!"

5%/

& !

­^M_JfWcuwgeQWbfOf·_aR?s]%TEs$phW‡fz_mUVgMij_®—hWbr1nMpMv8rA_¬fq`Qx_apede`x_aseS8`^eWR?de`f·_JrMW%•URMfx`«QOWbfx`Qx_J]c`x_aR?sTV#$Wc#7%

Y_ashf·_JrMW8WbTA]^‹peQT‚sh]^/RE”«`^eWEhŒoǘžAev£fz_mUVgMij_®—˜]%TE`q_mRAsnh`^eW—hQfx`peQT‚sh]^™rA_JfTEgeg3WbTEQf%nw_m`cf

rMR?U/T†_as™phWc_aseS/W%Uge`xv?žh­^M_Jf¡imWbT†–?Wbf¡dhf¯_a`^ S

#5

,-!"

#9%:#9;

&50<1

!3

#%:&476

!3

#$%=>?&&

!3

5%:#

& !

œE_aU$_®iJTEQxiav?n`O^eWQx_aS?^³`O•UR³fx`rMW%ghW%shrMW%sh]cv…]%TEs™p3W8rA_Jfx`Qx_apede`WbrÈ_ashf·_JrMW$`^eWWcuwgeQOWbff·_aR?sn1TEshr

T†”•`W%QC]cRAU!pM_ashTE`q_mRAs™¯_a`^‹`^eW_asM`W%QshT†i0rMW%ghW%shrMW%sh]O_aWbf%n1¯WR?pe`cT†_as S

0N6 G B

M"#c!$,NF #I!ºR=P

' B

M"#c!$,NF  R QU

B

M"#I!M,_F #RK ºR

B

{·s”lT?]c`bnEfxdh]O^Tf·_aUgMi®_®—˜]%TE`x_aR?s™]%TEsT=im¯T†vefp3WCrMR?seW?žseW]%TEsgeQRE–?W`^hTE`0T‚s³vV¤!¦A§e¨h©™Wcue

geQWbfOf·_aR?s™]%TEsp3WQW%¯Qx_a``W%s/T?fTEsWb°AdM_m–ET†iaW%s³`WcuwgeQWbfOf·_aR?snh]%T†i®iaWbrV_a`f IC&C!nM¯^eRMfxW

fx`OQdh]c`deQW‹]cR?shf·_Jfx`f²RE”R?seW£fz_mseS‚imW…EhŒ%ǓWcuwgeQWbfOf·_aR?s MzfxW%W N¼ƒ…TEdh€?ˆ QRž­^eW/seR?QUT†i®_hgbTE`x_aR?s

geQRe]cWbfffxW%QO–?Wbf`OR£f·_aUgMi®_®”•v¢WcuegeQWbffz_mRAshfR?pe`T=_mseWbr+pMv™]cR?UgMiaWcu `QTEshfz”ªR?QOUTE`x_aR?shf%žM{·`8]%TEs

p3WdhfxWbr1n`OR?S?W%`^eW%Q¯_a`^…`^eW/fxdephfx`x_a`de`x_aR?snÞ`R™rMR™T‹fxvMU$phREi®_J]W%–ET†iadhTE`x_aR?s R‚”¡TEsµ¤$¦?§e¨h©

geQRAS?QTEU™žM{·`_Jf`^eWphT?f·_JfRE”ŸT†i®i”•R?QU/T†iUTEsM_agedMiJTE`x_aR?s™R‚”‡¤$¦?§e¨h©“geQR?S?QT‚Uf%n³T‚shr‹¯_®i®i«phW

dhfxWbrÈWcuw`OW%shf·_a–?Wciav™`^eQRAdeS?^eR?de``^eW8QOWbfx`RE”Ÿ`O^M_¬fghTEg3W%Qbž

#@ A& 98BR 3<9:N

[ 1 2!U!Z]%TEs p3WTEgegMi®_aWbrµ`R‹`^eW$_ashrMWcuÁfqghT?]cWRE”TEs³vÈiaRw]%T†i–=TEQq_¬T‚pMimW?ndhf·_aseS…T

fx`OQT†_aS?^M`x”ªRAQ¯TEQr/fxv³sM`T?]c`q_¬]±`QTEshfz”ªR?QOUTE`x_aR?s‹RE”0`O^eW8Wb°AdhTE`x_aR?shf3NšZƒ CˆeX"Qlžh­^eW$]^hTEseSAW8RE”

phT?fz_¬fÞ`QT‚shf·”ªRAQUTE`x_aR?s_JfdhfqWbr”•R?Qp!JEKTDC& I4DC\?nc¯^M_J]O^_JfÞ`^eW0URMfx`3”ªdeshreTEUVW%s³`T=i

`QcTEshf·”•R?QUTE`q_mRAs8RE”h`^eWfxv³sM`^eWbf·_JfRE”hQOW%S?dMiJTEQ0TEQQT†v?žE­^eW_JrMWbTphW%^M_ashrV`^M_Jf`QTEshfz”ªR?QOUTE`x_aR?s

_Jf`RQWc_ashrMWcu‹`^eW–=T‚Qx_JTEpMiaWbf0R‚”ÞTgeQOR?S?QTEU#_as‹fxdh]O^T¯T†v8`^hT‚` R?seWCrA_aUW%shf·_aR?s‹RE”`^eWseW%¯

_ashrMWcu¢fxghT?]cW8]%T‚s‹phW_as³`OW%QgeQW%`Wbr+T?f`^eWkDC&†n³¯^M_jiaW;`^eWQW%UT†_asM_aseS$_ashrMWcueWbfQW%geQWbfxW%sM`T

geQRe]cWbffxRAQs³deU$p3W%Q^MzfqW%W—hS?deQW8ºRž

­^M_Jf™`OQTEshf·”•R?QUT‚`x_aR?s _Jf+–=T†i®_Jr#_®”`^eW]O^hTEseS?WµRE”phT?f·_JfÈ_Jf rMR?seWµ¯_a`^}TEs I

IC&4H

+

U/TE`Qx_®u N¼ƒ…TEdh€?ˆ QlžÞ[ ]^hT‚seS?WR‚”CphT?f·_Jf;p³vµT™desM_aURerMdMiJTEQV”ªdesh]c`x_aR?sFE MlWcue

geQWbfOfxWbrµ_asrMW%g3W%shrMW%sh]cW+”ªR?QOUORn¯^eR³fxW/_asM–?W%QfxW/_Jf<GnR?s`^eW+–=TEQq_¬T‚pMimW mrMWc—hseWbrRAs´T

rMR?U/T†_as¢ÃR?U _JfCTA]^M_aW%–?Wbr+T?f”•REi®imRE¯Cf"S

H

ê݆á ÝbócÝbãÙß¼Ýbécö%ìjèOâ0ôèOä•âÙß¼þ 2 ß¼ããlèqß¼æä•ó )=áöbÝoß¼ô‡ó%æ†ö%ìjèOâ ßòJIKL)2

&- MN

MM!FRPR!`R

#

@Þ_mSAdeQW8ºAS Ÿu TEUVgMimWR‚”]O^hTEseS?WRE” phT?f·_Jf

`^eW!rMWc—hsM_a`x_aR?s…RE”jm 65 /_JfQW%gMiJT?]cWbrÈp³v m 6 E3MxÃR?UOR=S

B

Gn ¯^eW%QW8E3MxÃR?U R

QW%geQWbfxW%sM`f`O^eW_mU/TES?W8pMv E}RE”«`O^eW!rMR?UT=_ms™ÃRAU™n

WbT?]O^‹Rw]%]cdeQW%sh]cW$RE” m/_as™`^eW;Qx_aS?^³`O•^hTEshr‹f·_JrMW$RE”«Wb°AdhTE`x_aR?s‹_JfQW%gMiJT?]cWbr‹pMvm

B

E$ž

[Z]c`dhT=ijiav?n`^eW¢]O^hTEseS?W‹R‚”ZphT?fz_¬f/]%TEsp3W™Wcue`W%shrMWbr`R“`^eW™]%T?fxW+¯^eW%s E ^hT?f/T+iaWc”•`

_asM–?W%QfxW GnA_lžW?ž G E 6´{že{·`Cfxd £]cWbf¡`R$QW%gMiJT?]cW_as‹`^eW8TEp3RE–?W`QTEshfz”ªR?QOUTE`x_aR?s`O^eWUTE`Qx_®u

E

@@+

pMv G MzfxW%W Nif›ˆE2QRž

L97>7 8 <9? ? <8

­^eW/seR?`T‚`x_aR?s dhfxWbrfxRȔ¿T‚Q”•R?Q¤$¦?§e¨h© geQRAS?QTEU _Jf±”ªdesh]c`q_mRAshT†ilnŸT‚shr¥fxdM_a`Wbrµ`OR™`^eWdese

rMW%Qfq`TEshrA_aseS RE”C`O^eW£fxW%U/TEs³`q_¬]%f;RE”¤$¦?§e¨h©ž fRE¯W%–?W%Qbn1”•R?Q;geQT?]c`x_J]%T†igedeQg3R³fxWbf%nÞ_a`;_¬f²WbTE

f·_aW%Q+`RdeshrMW%Qfx`T‚shr¶TrMWc—hsM_a`x_aR?s 6 ¶T?f‹T´°AdhTEsM`x_®—hWbr¶fx`TE`OW%UW%s³`/RE”$`^eW…”•R?QU

N# QR6 XN M"# RQlžM’ W!]%T=iji0fxdh]O^ TseR?`cTE`x_aR?s™`O^eW15OID/RE”¤$¦?§e¨3©0ž˜­¡^eW8`QT‚shfx

iJTE`x_aR?s‹R‚”ÞT±seR?QUT=ij_hg%Wbr+¤$¦?§e¨h©…Wb°AdhTE`x_aR?s‹`R±_a`fTEQQT†v8seRA`TE`x_aR?s$_Jffq`QT†_aS?^M`x”•R?Q¯TEQr1ž^@ R?Q

WcuhTEUgMiaW?n3`^eW8TEQQT†vseRA`TE`x_aR?s/”•R?Q`^eW8]cRAs³–?R‚imde`q_mRAs‹_JfS

aN#c!M,Q6NEhŒoÇ

,6LKX3S?»d

»N*3,* ISa&N#c!$,CK´XQ7P#¯^N,QuXN#K ,Qd

ÇwŒohd

vGN#Qf6 aN#c!Qd

œ?degeg3R³fxW8seRE¯¸`^hTE`0¯Wfxdephfx`x_a`de`OWCa _as‹`^eWZrMWc—hsM_a`x_aR?s+RE”v?že­^eW8TEQQT†v;seR?`TE`x_aR?sV”•R?Q0`^M_Jf

seW%¯#geQR?S?QcTEU _¬f"S

v`N#Q6M+a¥Š Íޏ&#,1ž

a&N#I!M,Q76 EhŒ%Ç

,6LKX^S?» d

» *3,*IS aN#I!M,OKXQ7P ¯^N,Q ±unN#K,Qd

ÇeŒ%h dHRN_lnsAQd

B

5C!"Þ"#!"1†C ¡«±!"

[fWcuwgMiJT†_aseWbrV_as`O^eW_as³`QORwrMdh]c`x_aR?snM`^eW`R?gelrMRE¯s$ghTEQO`0RE”R?deQ–?W%Qx_®—˜]%TE`x_aR?s/UW%`^eRerMREiaR?S?v

]cR?shfz_¬fq`fRE”`QTEshf·”•R?QU²_mseS;`^eW”ªdesh]c`x_aR?shT=iÞfqghWb]O_®—˜]%TE`x_aR?s‹RE”`^eW]O^M_mg/_asM`R!T‚s£TEQc]^M_a`Wb]c`deQOW?n

pMv¥UVWbTEshf;RE”Cfxv³sM`^eWbf·_Jf$`OQTEshf·”•R?QUT‚`x_aR?shf%ž{·s¥`O^M_¬fVfxWb]c`x_aR?sn¯WgeQWbfqW%s³``O^eWbfxW`OQTEshf·”•R?Q

UT‚`x_aR?shf%ž3œ?dephfxWb]c`x_aR?s…ºežaXfxdeUUT‚Qx_hg%W`^eWC¯Wci®i«¹MseRE¯s£fqghT?]cW%•`x_aUW8`OQTEshf·”•R?QUT‚`x_aR?s`Wb]O^e

sM_J°AdeW?ž³{·sfxdephfxWb]c`q_mRAshf0ºež¼TEshrº ž¼ºen†¯‡WrMWbf]cQq_mp3WC`x¯RT?rerA_a`x_aR?shT†i˜`OQTEshf·”•R?QUT‚`x_aR?shfseW%WbrMWbr

`R/fxv³sM`^eWbf·_hg%W;^hTEQrM¯TEQW?ž

@2 = = A8B

­^eWfxvMs³`O^eWbf·_Jf0geQORw]cWbrMdeQW_JfphT?fxWbrVR?s`O^eW”ªR‚ijiaRE¯_aseS$QW%UTEQO¹wf%ž@Þ_aQfx`bnE`^eWphW%^hT†–A_aR?deQRE”«T

fxvMsh]O^eQR?seR?dhfTEQ]O^M_a`Wb]c`deQW$]%TEs™p3W!QOW%geQWbfxW%sM`Wbr‹pMv£T/fxW%`R‚”0QWb]cdeQQW%sh]cW;Wb°?dhTE`q_mRAshf%nXMxTEshr

`^eW%QOWc”ªR?QOW?nŸTAf!T‚s´¤$¦?§e¨h© geQR?S?QT‚U™nHR¯^eW%QW‹RAseW_ashrMWcun0fT†v nÞ_Jf$`^eW‹`q_mUVW?nŸT‚shr R?`O^eW%Q

_ashrA_J]cWbfTEQWT$U$dMia`x_JrA_mUVW%shf·_aR?shT†i geQRw]cWbfOfxR?Qs³deU$p3W%QbžI@eRAQ‡WcuhTEUgMiaW?ne`O^eW¯‡Wci®i¹MseR=¯s‹desM_m

rA_aQWb]c`x_aR?shT=iŸfxvefx`REi®_J]TEQQT†v$”•R?Q]cR?s³–AREiade`x_aR?s™]%TEs‹phW8rMWbfO]cQx_aphWbr‹pMvUWbT‚shfRE”«`^eWgeQR?SAQTEU

RE”Þ—hS?deQWhž³­^eWTEQ]O^M_a`Wb]c`deQW]%TEs/phWrMWbrMdh]cWbr/”•QR?U `^M_Jf0geQOR?S?QTEU p³vTEs IEGD

RE”`^eW²_mshrMWcueWbfOS CUWbT‚shf`^eW`q_mUVW?nŸT‚shr UWbT‚shf`^eWgeQORw]cWbffqR?Q8sMdeU$phW%QbžÞ’´_a`^fxdh]O^

TEs _msM`W%QgeQOW%`TE`x_aR?snT+rMW%ghW%shrMW%sh]cW/”•desh]c`x_aR?s M$!]F KX !`R]%TEs p3W`QTEshfzi¬T‚`Wbr+_as³`OR™T

QW%S‚_¬fq`W%Qbn³T‚shrT8rMW%g3W%shrMW%sh]cW”•desh]c`x_aR?s MM!+F$!?K™X2RQW%geQWbfxW%sM`f0T]cRAseseWb]c`x_aR?s‹phW%`x¯W%W%s

geQRe]cWbffxRAQ ™TEshrÈgeQRw]cWbfOfxR?Q KXAž

­^eWS?R³T†iRE”«`^eW$fxv³sM`^eWbf·_Jf¡_Jf`R`QcTEshf·”•R?QU `^eW_asM_a`x_JT†i‡rMWbf]cQx_age`x_aR?s…RE”‡XZ_msM`R/`^hTE`RE”

—hS?deQOW8hže­ÞRrMRfxRhn `^eW”ªR‚ijiaRE¯_aseS‹fx`W%ghfTEQOW&MzfxW%WkNšƒ CˆeXQ1”ªRAQCrMW%`T†_®iJfRS

TEgegMiav`R4a'T…]O^hTEseS?W™R‚”CphT?f·_JfV¯^M_J]^¸UTEghf M"#I!M,R`R/M6 #EP ,! 6 ,Rž­^eW

rMW%`W%QU$_ashTE`q_mRAs™RE”«`O^M_¬f¡`QTEshf·”•R?QU/TE`x_aR?sV_¬frMR?seW8pMvfxREia–A_aseS£T±i®_aseWbTEQgeQR?S?QcTEUU$_aseS

geQR?pMiaW%U™n

gM_aghWci®_aseW!–ETEQx_JTEpMiaW _as™fxdh]O^£T±¯Tbv$`^hT‚` _a`]O_mQc]cdMi¬T‚`Wbf_as‹`^eWfTEUWrA_aQWb]c`x_aR?s™T?fEaž

ŒoÉ«Œ%%Ç% ]cR?sM–?REiade`x_aR?s M8¯ SZTV#MWO»b*H#* Y!Ì h%ÇZhÇeŽd

u SZTV#MWI#7%´»ZYÌh%Ç3ÇwŽR

Ž†ÇM( Ž Œ M8v SZTV#MWI#% YÌf3%Ç3ÇwŽRMd

hŽ

!Ia SZT $!W%´»!c»b* *YÌ &f3%Ç3ÇwŽd

+¬ÇM

v`N# QJ6 TV#$Wc#7%Y^Sa&N#P =!Qd

aNM! QJ6 EhŒoÇ

6 KXS³»

»N* *kS a&NKX !NK´XQZP ¯^NAQQ NM! Qd

ÇeŒ%hd

NM! QJ6 EhŒoÇ

6 KXS³»d

»N* *kS &NK  !NK´XQd

ÇeŒ%hd

%Ç +

@Þ_aS?deQOWIS1¤$¦?§e¨h© geQOR?S?QTEU ”•R?Q`^eW8]cRAs³–?R‚imde`q_mRAs

@2 AA<2 7 8 @=- 8?

{·`_¬fRE”•`W%s8`^eW]%T?fqW‡`O^hTE`«`O^eW0_aUgMiaW%UW%sM`TE`q_mRAsRE”˜Tfqvwfx`OREi®_¬]TEQOQT†vdhfxWbf T`x¯‡RAÙimW%–AWci ]OiaRe]¹ S

`^eW‹fxvefx`REi®_J]]cve]OiaW/_¬f±_a`fxWci®”Zfqdep˜rA_a–?_JrMWbrÁ_msM`R…fxUT†i®iaW%Q]cvw]OiaWbf%n rMdeQx_aseS…¯^M_J]^µWciaW%UW%sM`TEQv

_ashfx`QOdh]c`x_aR?shfCT‚QWghW%Qx”•R?QUVWbr1že{ls+R?QrMW%Q`RURerMWciŸfxdh]O^™TEs‹R?g3W%QTE`x_aR?sn R?seW8]%TEs‹QWc—hseW;`^eW

_asM`W%QgeQW%`T‚`x_aR?s‹RE”«`^eW$¤$¦?§e¨3©¢geQOR?S?QTEU pMvT†i®iaRE¯_aseS`x¯‡RrA_HLW%QW%sM`0_ashrMWcueWbf`OR!QOW%geQWbfxW%sM`

`^eWV`x_aUW S ”ªR?Q`O^eWfxvefx`REi®_J]]OiaRw]O¹1n«TEshr,1nfT†v?nh`OR‹QW%geQWbfxW%sM`8`^eW²_mshfq`Qdh]c`x_aR?sµs³deU$p3W%Q

¯_a`^M_as T/fxvwfq`REi®_J]8]cve]OimW?ž1’¸_a`^…fxdh]^…TEs‹_asM`W%QgeQW%`cTE`x_aR?sn3`^eW!T?]c`OdhT†iŸ]OiaRw]O¹‹sMdeU!p3W%QRE”0TEs

_ashfx`QOdh]c`x_aR?s_JfSE_a–?W%sVp³v$]OimRe]O¹6 1P ,8¯^eW%QW1 _Jf`^eWsMdeU!p3W%Q RE”h_ashfx`OQdh]c`x_aR?shf pMv!fqvwfx`OREi®_¬]

]cve]OiaW?ž

@eR?QU/T†i®imv?n`^eW™]OiaRw]O¹¥QOWc—hseW%UW%s³`/`QT‚shf·”ªRAQUTE`x_aR?sµ]%TEsphW…T?]^M_aW%–?WbrµpMvµUWbTEshf$RE”T

]O^hTEseS?W;RE”«phT?f·_Jf%ž0R?shfz_¬rMW%Q`^eW”•REi®iaR=¯¡_mseS/geQR?SAQTEU ”ªQcTES?UW%sM`

!n aST W%¸»ZY-ÌphRMREiaWbTEsRd

&NJQ6 + N QP N Qd

a&NJQ6 N QP 2N Qd !

¯^eRMfxW$^hTEQrM¯TEQW±_msM`W%geQW%`cTE`x_aR?s‹_Jffx^eRE¯sÈ_as…—hS?deQW #?Tež3{ls…R?QrMW%Q`R/UTEg `R/`^eW—hQfq`

]cve]OiaW_, 6»TEshr a}`R`^eW8fxWb]cRAshr™]cve]OimW ,6#XRE”0T$QWc—hseWbr™]OiaRe]¹A_aseS™f]O^eW%UW?ne¯W8TEgegMiav

.

H

.

H

2

@Þ_aS?deQW # S³{¿i®imdhfq`QTE`x_aR?s…RE”0]OiaRw]O¹/QWc—hseW%UW%sM`

, 6 XSaNM!M,Q , 6»&S NM!M,Q

ÇeŒ%h

m0NM!$,Q

;

EhŒ%Ç a3M",6 X2R

3M",6»R

G

@Þ_aS?deQOW^lAShƒ+W%QSE_aseS`RV–=TEQx_JTEpMiaWbf¡”ªRAQ^hTEQrM¯TEQWfx^hTEQq_mseS

`^eW]O^hTEseS?WRE”«phT?f·_Jf.E + 69M2F M!c»R`R $n³TEshr<E

69M FM!†X2R«`ROGže­^eW]cR?UURAsiaWc”•`

_asM–?W%QfxW;RE”E +T‚shr E

_¬f G 6 M$!M,+F Rže[gegMiav?_aseS+`^eWbfxW`QT‚shf·”ªRAQUTE`x_aR?shf‡imWbTAref`RV`^eW

seW%¯#geQR?S?QcTEU

&ST $!M,RW %´»dM,_6»ZY-Ì Cp3R³REiaWbTEsRd

a&ST $!M,RW %´»dM,_6 XY-Ì Cp3R³REiaWbTEsRd

&NM!$,QJ6 + NJQP N Qd

a&NM!$,QJ6 &N$!»2QZP NJQd !

fx^eRE¯s²_msV—hS?deQW#Epž?ÄR?`x_J]cW`^eWQW%SE_Jfx`OW%Q _as³`OQRwrMdh]cWbr/p3W%`x¯‡W%W%s T‚shr až?­^M_Jf_JfphWb]%TEdhfxW

1 .

, 6 1.

,! &P´XAž

@2#@ "97$#&% 7 V 97 8+B

fTEQrM¯TEQWfx^hTEQq_mseS;_JfT†iJfxRT;–?W%QvVdhfxWc”ªdMi^hTEQrM¯TEQWCfqv³sM`^eWbf·_Jf`QcTEshf·”•R?QUTE`q_mRAsžE{l`C]%TEs/phW

”•R?QUT=ijiavµQW%geQWbfxW%sM`Wbr“_as¶¤$¦?§e¨3© T?f±”ªR‚ijiaRE¯Cf%ž›1W%` TEshra2p3W‹`x¯‡R…–ETEQx_JTEpMiaWbfrMWc—hseWbr

R?s rA_JfÙyxRE_as³`$rMR?UT†_ashf -$ ´TEshr(-¶QWbfxghWb]c`q_m–AWcimv?žÞ[ZfOfxdeUW`^hT‚` -!')( -$* 6,+ež1­^eW%s m6

EhŒoÇ dIa ÇwŒoh/_Jf8T/–ET†i®_¬rµrMWc—hsM_a`x_aR?sžcev¢TArerA_mseS…`^M_Jf;rMWc—hsM_m`q_mRAs¥`R™TÈgeQR?S?QcTEU™n1TEshr

pMv…QW%gMiJT?]O_aseS™WbT?]O^ Re]%]cdeQQW%sh]cWRE” pMv6-$ SXmnTEshr+WbT?]^…Re]%]cdeQQW%sh]cW/RE”Sa pMv - S m«n

R?seW+R?pe`T†_ashf/T seW%¯ Wb°AdM_m–ET†iaW%s³`‹geQOR?S?QTEU+žŸ­¡^M_¬f/`OQTEshf·”•R?QUT‚`x_aR?sn¯^eW%sTEgegMi®_aWbr `RµTEs

¤$¦?§e¨h©geQOR?S?QTEU)phWc_aseS/_as³`W%QOgeQW%`Wbr/_as…`W%QU/fRE” ^hTEQrM¯TEQOW?neURerMWci¬f^hT‚QrM¯TEQW8fx^hTEQq_mseS3n

T?f‡_ji®iadhfx`QcTE`WbrÈ_as‹—hS?deQW^l žIfW%QOW?ne`^eW8EhŒoÇWcuegeQWbff·_aR?sÈ_Jf_asM`W%QgeQW%`Wbr+T?fT$U$dMia`x_agMiaWcuwW%Q†ž

&"3 Þ!"1b ±!"

­^eW8fqWb]cR?shr/ghTEQ`RE”«RAdeQ‡–AW%Qx_®—˜]%TE`x_aR?s™UVW%`^eRwrMR‚imRAS?v]cR?shf·_Jfx`cfRE”Ÿf·_aUgMi®_®”•v?_aseS‹`^eW8rMWbf]cQq_mge

`x_aR?s+RE”0`^eW$T?]c`dhT†iŸ]O^M_agne_as…R?QrMW%Q`RR?pe`T=_ms…TQOW%geQWbfxW%sM`TE`x_aR?s…TE``^eW$fTEUWiaW%–?Wci0T?f`^eW

fxvMsM`^eWbf·_hg%Wbr‹R?seW?ž [Zf¯Wfx^hT†i®iŸfxW%W_as…fxWb]c`x_aR?s #enM`^eWUT=_ms™rA_£]cdMia`xv‹W%sh]cR?desM`W%QWbr£_ms‹RAdeQ

]%T?fqW!fx`dhrMv/¯T?f`R/f·_aUgMi®_j”•v™`O^eW8Wb°AdhTE`x_aR?shfrMWbf]cQx_apM_aseS‹`^eW_asM_a`x_JT†i®_hgbTE`x_aR?s geQRe]cWbffRE” `^eW

]O^M_agž³ÃdeQx_aseS8`O^M_¬fge^hTAfxW?nEQW%SE_Jfx`W%Qcf TEQWiaR³T?rMWbr$¯_a`^$–ET†iadeWbf%n?¯^M_J]O^TEQWdhfxWbrT?f ]cRAshfx`TEsM`f

rMdeQx_aseS`O^eWZfxdephfqWb°?deW%sM`C]%T†iJ]cdMiJTE`x_aR?shf%ž [¶shTE`deQT=i˜¯T†v!`OR!f·_aUgMi®_®”ªv‹`O^eWZ]O^M_ag‹¯¡TAf `R;geQRE–?W

`^hT‚``^eWbfxW+–=T†iadeWbf‹TEQW™]cRAshfx`TEsM`bn TEshrQOW%gMi¬TA]cW™`^eW%U _as´`^eW+geQR?S?QT‚U WTEs´`Wb]O^esM_J°?deW

f·_aU$_®iJTEQ/`R ]cR?shfx`T‚s³`;geQR?ghTES³T‚`x_aR?s _as¸R?ge`x_aU$_hgc_aseSÁ]cR?UVgM_jiaW%Qfož [Zf$fx^eRE¯sµ^eW%QW?n `O^M_¬fV]%TEs

p3W²rMRAseW8pMv™TEgegMiav?_aseS¢TVf·_aUgMiaW$_ashrMdh]c`x_aR?s f]^eW%UVW?nh¯^M_J]O^n1`^hTEse¹ef`R/`^eW8geQOR?ghW%Q`q_mWbfRE”

¤$¦?§e¨h©neiaWbT?ref_as…R?deQghTEQ`q_¬]cdMiJTEQ]%T?fxW;`RT$–?W%Qv‹f·_aUgMiaW8–AW%Qx_®—˜]%TE`x_aR?s™geQORw]cWbffož

{ls…`^M_JffxWb]c`x_aR?sn3¯W!]cR?shf·_JrMW%Q;`^eW8geQRMRE”0RE”‡TVgeQWbrA_J]%TE`W'E ¯^M_J]O^™_asM–?REia–?WbfR?sMiav+desM_m

rA_aUW%shf·_aR?shT=i‡–=T‚Qx_JTEpMiaWbf%ž´›1W%`rMW%seR?`W$`^eWfxW%`RE”0shT‚`deQT†i0sMdeU$phW%Qf%ž1­ÞR‹geQRE–?W'E$n1R?seW

geQRe]cW%WbrefT?f”•REi®imRE¯Cf(S

X?žgeQRE–?W E3Mz»R MlphTAfxW8]%T?fxW2Rn

ežgeQRE–?W`^hTE` E3M R E3M P´X2Rcn 1 M•_ashrMdh]c`x_a–?Wfx`W%g`Rcž

­ÞRCWcuegeQWbffÞ`^M_Jf _ms/¤$¦?§e¨h©n%iaW%`dhf«rMWc—hseWphRMREiaWbTEs$–=T‚Qx_JTEpMiaWbf E

n=T‚shr E

QWbfxghWb]c`q_m–AWcimv

QW%geQOWbfxW%s³`q_mseS E3Mx»Rn E3M +P X2Ržh­^eWbfqW8–=T‚Qx_JTEpMiaWbfTEQW8rMWc—hseWbr+R?s™`O^eW!rMR?UT=_ms]T 2W4% »ZY³n

TEshrÈ`^eWc_aQ¤$¦?§e¨h©rMWc—hsM_a`x_aR?s+_¬f

E

NIQ64%´»&S5E&N¼»2Q

E

NQ6 4%´»&S5E&N P´XQ

B

­ÞRgeQRE–?W E$neRAseW8^hT?f`OR!geQOR=–AW`^hTE` E

TEshrE E

TEQW`QdeW”•R?QCT=iji «ž

0R?shf·_JrMW%QseR=¯ `^eW±”ªR‚ijiaRE¯_aseS/Wcu TEUVgMimW?ž3›1W%` phW$T$–=TEQq_¬T‚pMimW$rMWc—hseWbr+p³v

&N Q 6 ‚hŒ%Ç

6»OSwu »d

U%¶XkS N7KXQd

ÇeŒ%h d

TEshr/fxdegeg3R³fxW`^hTE`¯WC¯TEsM` `R$geQRE–?W`^hT‚` ”•R?Q U%´»en^M R6uh»ežM­^eWCgeQOR?ghW%Q`xv$`R;geQRE–?W

]%TEs+phW;¯Qx_a``W%s/_as ¤$¦?§e¨3© S

PjNJQ6 S%¸»kSM&N Q6 u »R

B

’ W;pedM_®i¬rE T‚shr E

S E

N Q26 S%´» S PFN¼»2Q

E

N QE6 S%´» S PFNRP XQ

e0v‹fxdephfx`q_m`Ode`x_aseS£P p³v/_a`frMWc—hsM_a`x_aR?s+_as¢P

T‚shrV_ms…P

ne¯WR?pe`cT†_as S

P

NJQ26 U%´»AS M&N¼»2Q76 uh»Rn

P

N Q26 U%´»AS M&NP´XQf6 uh»Rž

­ÞRgeQRE–?W E

nwimW%`dhfCfxdephfq`x_a`de`W Âp³vV_a`frMWc—hsM_a`x_aR?sž­^eWQOWbfxdMia`_Jf

E

NJQ76 U%´»AS M M +¬¥Š ͏ ž

EhŒ%Ç

6 »OSAu »d

S% XkS N2KXQd

ÇwŒohd`RN»2QR6 u »R$d

[”ª`OW%QseR?QUT=ij_hgbTE`q_mRAsnh¯WS?W%`

E

N` Q76 S%´» S M¿u »6uh»RMd

¯^M_J]O^™geQRE–?Wbf¡`^eWphT?fxW$]%T?fxW?ž

­R…geQRE–?W2E

nÞiaW%`!dhf$fxdephfq`x_a`de`W™TES³T=_ms pMv…_a`frMWc—hsM_a`x_aR?sµ_as`^eW‹rMWc—hsM_m`q_mRAs´RE”

E

žh­^M_Jf¡imWbTAref`ROS

E

N QE6 S%´» S M M +a¥Š Íޏ ž

‚hŒ%Ç

6»OSwu »d

U%¶XkS N7KXQd

ÇeŒ%h d`RNP´XQ26 uh»RMd

{·``deQshfR?de``^hTE`†n³TES³T=_msnMseR?QOUT†i®_hgbTE`x_aR?s‹geQRE–A_¬rMWbf¡`^eWZrMWbfz_mQOWbr‹QWbfxdMia`bžM{·shrMW%Wbr1nhrA_Jfx`Qx_apede

`x_aseS/`^eW8rMW%ghW%shrMW%sh]cWNRP´XQÞSE_a–?WbfS

E

N QE6 S%´» S M M‡EhŒ%Ç

6LKXkSwu »d

U%´»OS NJQd

ÇeŒ%h d`R)6 uh»RMd

ev™rA_Jfx`Qx_apede`x_aseS‹`^eWg3RE_as³`x¯_JfxW+6¶R?ghW%QcTE`R?QbnM¯WR?pe`T=_ms

E

NJQ76 U%´»AS M‡EhŒoÇ

6 KXkS`M•uh»+6u »R$d

S%¸»OSMN Qf6uh»RMd

ÇwŒohd`RMd

@Þ_ashT†i®iav?nT?f U%´» 6LKXC6)+enM¯‡WSAW%`

E

NJQ6 S%¸»AS MN Qf6uh»RMd

­^M_Jf¡_JfWcuhT?]c`xiav/`^eW!rMWc—hsM_a`x_aR?s…RE”E$ne¯^M_J]O^™geQRE–?Wbf`^eW±_mshrMdh]c`q_mRAs fq`W%gž

&£% 0±'

{·s¥`^M_Jf;fxWb]c`x_aR?sn¯WrMWbfO]cQx_aphW/`^eWTEgegMi®_J]%TE`x_aR?sµRE”R?deQUW%`^eRerMREiaR?S?v…`R‹`O^eW–?W%Qx_®—˜]%TE`x_aR?s

RE”CT‹fxg3Wb]O_JT†igedeQghR³fqW£]O^M_agž{lsfxdephfxWb]c`q_mRAs #ež¬X?nh`O^eW]^M_ag“_Jf8geQOWbfxW%s³`OWbr1n«TEshr…`O^eWRE–?W%QT†i®i

fx`OQdh]c`deQW;RE”0`^eW8–AW%Qx_®—˜]%TE`x_aR?s‹_JfrMWbf]cQq_mp3Wbr1žœ?dephfxWb]c`x_aR?shf #ež¼TEshr #ež¼ºfq^eR=¯ QWbfxghWb]c`q_m–AWcimv

`^eW$fxvMs³`^eWbfz_¬fTEshr™TEphfq`QT?]c`x_aR?s/ghTEQ`†ž

7 J @8 ? ? A<8 <9: ? )? #

­^eW ]O^M_agnshTEUWbr ¤$§³½•¾eÀ9N¼›T†–eˆ?º Qln_Jf‹Tµš›œ?{]O^M_mg#rMWbrA_¬]%T‚`Wbr `R¥fq`Qx_aseS´]cR?UghTEQq_¬fqR?s

pMv¥UVWbTEshf;RE”ZrMvMshTEU$_J]/geQR?S?QcTEUU$_aseS…`Wb]O^esM_¬°AdeWbf%ž P_a–?W%s`x¯‡R…]^hT‚QT?]c`W%Qfx`Qq_mseSMf 6

M" + !

B5B B

!$

R¡T‚shr.G 6 M"0 + ! B B5B

!M0

[

Rn3`^eW]^M_ag¥]cRAUgede`Wbf`^eWrA_Jfx`TEsh]cWVphW%`x¯W%W%s TEshr

G SE_a–?W%s…p³v+`^eW$U$_asM_aU!deU s³deU$p3W%QRE”a! $!$D ! n04 DA!%nXD !$ ! nhT‚shr !T

EA2!$A!8¯^M_¬]O^´TEQW/seWb]cWbffT‚Qv¥`OR¢`OQTEshf·”•R?QU _as³`OR G‹ž ›1W%` QW%geQWbfqW%s³``O^eWW%Uge`xv

]O^hTEQT?]c`OW%Qbž1{l`;^hT?fp3W%W%sÁfx^eRE¯s _ms N¼› ’ b # Q0`^hT‚`OM"#I!Rne`O^eWrA_Jfx`TEsh]cW/phW%`x¯W%W%s `^eW&#

—hQfq`C]^hT‚QT?]c`W%Qf¡RE” TEshr/`^eWV—hQfx`]O^hTEQT?]c`OW%QfRE”G‹nM_JfRApe`T†_aseWbr‹dhf·_aseS/`^eW”•REi®imRE¯_aseS

QWb]cdeQOQW%sh]cW^M·`^eW`QTEshfxg3R³f·_a`x_aR?s]%TAfxW_¬fseR?` QW%geQWbfqW%s³`Wbr²^eW%QW?n†”ªRAQ `^eWCfTE¹AW0RE”f·_aUgMi®_¬]O_a`xv`SHR

OM #c!RR6L#

M"#KX !OKX2RRP - M" !$0R

M"#KX !RJP3-AM !M0R

M"#I!CK´X_R P3-AM ! R !

MzºR

QWbfxdMia`f

@Þ_aS?deQW;bSM[CQOQT†vfx`Qdh]c`OdeQW

¯^eW%QOW -AM" ! RQW%geQWbfxW%sM`f;`^eW™]cR³fq`8RE”ZrMWciaW%`x_aseS n$- M !M0R`^eW‹]cR³fx`$RE”_ashfxW%Q`q_mseS0 En

TEshr-AM !$0 R0`^eW8]cR³fx`RE”Ÿfxdephfx`q_m`Ode`x_aseS. p³v0=ž

­^M_JfT†iaS?R?Qx_a`^eU]%TEsµphW/UTEgeg3WbrµR?sM`R¢T+QWb]c`T‚seS?dMiJTEQfxvwfq`REi®_J]‹TEQQT†v…RE”CrA_aUW%shf·_aR?s

> ¯^eW%QW$WbT?]^“geQRw]cWbfOfxR?Q_Jf8]%TEghT‚pMimWVRE”0ghW%Qx”•R?QU²_mseS+R?seW$WciaW%UW%s³`cTEQv ]cR?Ugede`T‚`x_aR?s

M"#c! Ržc{lsON¼›1[šZ€Aˆ2QwT‚shrkN®œ =f[ˆ?» Qln%_a` ^hT?fÞphW%W%s/fx^eRE¯s8`^hT‚`1_asgeQT?]c`x_J]cW`^eQW%WrA_JTES?R?shT†iJf

RE”geQRe]cWbffxR?Qf;TEQWfxd £]O_aW%sM`8`R‹geQOR=–A_JrMWS?RMRwr+QWbfqdMim`cf%ž­^eWTEQOQT†v/_¬f±`^MdhfR?QS³TEsM_hg%Wbr TAf

fx^eRE¯s/_asȗhS?deQWkbMž

­^eW¤$§³½¿¾eÀ£]O^M_mg+_JfphT?fxWbr‹RAs™`^M_Jffx`Qdh]c`deQOW?žIfRE¯W%–?W%QbnA_a`]cR?s³`cT†_ashfCfxW%–AW%QT†i«R?ge`q_mU²_m

gbTE`q_mRAshf¯^M_J]O^™UT‚¹?W_a`fCTA]c`dhT†i1_aUgMiaW%UW%s³`cTE`x_aR?s+”¿T‚Q”ªQOR?U `Qx_a–?_JT†ilž1­^eWbfxW;R?ge`x_aU$_hgbTE`x_aR?shf

]cR?sh]cW%QOs S

`^eW_as³`OW%QshT†iŸfx`OQdh]c`deQWRE” geQRe]cWbffxR?Qcf%n

`^eW8]cR?sM—hS?deQcTE`x_aR?s™geQORw]cWbffrMdeQx_aseS¯^M_J]O^™WbT?]O^™geQORw]cWbffqR?Q_JfUT?rMWghT‚Q`x_J]cdMiJTEQbn

`^eW UT‚gegM_mseS RE”8_asM`W%Q]cR?seseWb]c`x_aR?shf phW%`x¯W%W%s geQRe]cWbffxRAQf%n_as#R?QrMW%Q+`R´U$_asM_aU$_hg%W

`QTEshfqU$_a``Wbr‹reTE`T ž

­^eWRE–?W%QT†i®ie–?W%Qx_®—˜]%TE`x_aR?s/geQRe]cWbffRE” ¤$§³½•¾eÀ_Jf0]cRAshrMdh]c`WbrTAfޔªREi®iaRE¯Cf%ž@Þ_aQfx`†nE`^eWWb°AdhTE

`x_aR?shfrMWbf]cQq_mpM_aseS`O^eWCfxvefx`REi®_J]CT‚QQT†v_as/—hS?deQW(bZTE`T”•desh]c`x_aR?shT†ihiaW%–?Wci«TEQOW`QTEshfzi¬T‚`Wbr;_as³`OR

ß¼Ý%ß¼äÙßjèqì ã•ï=áxë 7(cßaí(có 9

(

ä•ã

L

$ L ù ( (

ŸóOò

&

- aã;

L

$# L ù ( (

óò

&)(

àèOâ

î L

$# L ù

(9

ù

(.

ù (

(70

û

2( 0 û (

óò

(

îL

L ù

( ù (;

ù ?ù

(

L ù ( #(;

ù (cß

(

L ù ( û #(;

ù (cß

0

(cß

(

L ù

( ù (

(ó

(

L ù

( ù ( û

(ó

0

(có

(

L ù (

2#($-

($ 0 û †ß¼Ý%òaä

(

L ù (

2#($-

($ 0 û

†ß¼Ý%òaä

(

L ù

( 0

#(

($-

($ 0 (

(

ôß¼Ý ˜îL

$# 0

(óí

ôß¼Ý ˜îL û

$5

0

ä•ãL

$

í

îL

$5

0

(cß

&J&)(

(

ãL

$#

îL (

(

@Þ_aS?deQW8€ASe{·sM_a`x_JT†ifqghWb]O_®—˜]%TE`x_aR?s…RE”¤$§³½•¾eÀ

¤$¦?§e¨h© Ml¯W!fx¹A_ageghWbr…`O^eW!U/TEgegM_aseS™RE”0`^eW$QWb]cdeQOQW%sh]cWWb°AdhTE`x_aR?shf`R/`^eWfxvefx`REi®_J]$TEQQT†v?n

f·_ash]cW?n _ms…`^M_Jf]%T?fqW?n3_m`_Jf8TEs+R?pM–?_aR?dhf`QcTEshf·”•R?QUTE`q_mRAs`Rž1œ?Wb]cR?shr1n1`^eW$T?]c`dhT†i0]O^M_mg _¬fT=i¬fqR

rMWbf]cQq_mp3Wbr…dhf·_aseS‹¤$¦?§e¨h©ž

@eQR?U `^eWbfqW!fxg3Wb]O_j—˜]%T‚`x_aR?shf%n3¯‡WgeQORw]cW%Wbr£_ms+`^eW”•REi®iaRE¯_aseS¯T†v S

p³vµfxv³sM`^eWbf·_Jf%n¯W/QWc—hseW`O^eW/”ªdesh]c`x_aR?shT=irMWbfO]cQx_age`x_aR?sµ_asR?QrMW%Q$`R¢]cRAUW£]OiaR³fqW%Q`R

`^eW$_aUgMiaW%UW%sM`TE`x_aR?spMv rMW%`T†_®i®_aseS `^eW{!) TA]c`x_a–?_a`xv RE”WbT?]O^ geQRe]cWbffxR?Q†ž’ WT=i¬fqR

QWbrMdh]cW$`^eW$s³deU$p3W%QRE”0geQRe]cWbffxR?Q_as³`W%Qc]cR?seseWb]c`x_aR?shf_as…R?QrMW%Q`R/S?W%`]OimRMfxW%Q`R/`^eW

_aUgMiaW%UW%s³`cTE`x_aR?s…¯^M_J]^…rMR³Wbf¡seR?`C]cR?sM`T†_as™rA_JTES?R?shT=ii®_mse¹ef%ž

p³v/TEphfx`QTA]c`x_aR?snE¯WCWci®_aU$_ashTE`W`^eW&C&2![\UWb]O^hTEsM_JfxU-geQOWbfxW%s³`_as‹`^eWgeQRe]cWbffxR?Qcf

`Rfxdegeg3R?Q``O^eWc_mQ_asM_a`x_JT†i®_gbT‚`x_aR?sž

’ W`^eW%sfx^eRE¯`O^hTE`8`^eW/fxv³sM`^eWbf·_hg%Wbr“QW%geQWbfxW%sM`TE`q_mRAsÁ]cR?sM`T†_ashf±`^eW_aUgMiaW%UW%sM`TE

`x_aR?sž

’ W;seRE¯ rMW%`cT†_®iŸ`^eWbfqW8fx`W%ghf%ž