HAL Id: inria-00073337
https://hal.inria.fr/inria-00073337
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.
OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing
Hubert Garavel
To cite this version:
Hubert Garavel. OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and
Testing. RR-3352, INRIA. 1998. �inria-00073337�
a p p o r t
d e r e c h e r c h e
%'&)(+*-,/.10 2354'67398 %;:=<>8 2?A@CBDFE G<H3HGIKJMLNBO<>IKBKP#G<
@Q?/G1R)<SGLNT$IUEVBLW?X8ZY=2[L]\ P#^E_BOLW?X8`YaEb8c d7<fegBOL]8[h
i>jlk"mWnpoVq rsntr]uvmWw
xzy{y{|{}
~vrjrnp pW{
6 7&,.98:+;%<!1.=?>?.A@B3/C=%<!,.=?>D%/EGF?HI!,.=KJ
LKM,NPORQTS/UWV$QXVZY[OR\^]
_7`baAcdegfihj"kld"monqprdAstkluqklsvaAcd"k
wyx{zo|}dAs~,
hmo b zxvsqd'x{dT0`bdTx{0`bd$RRWfimoZnmox{u:eTRfGeT moRdTk
r(ATXo _7`bk7x{dA zxvs bx{dTkvdAs{kPsv`d ¡b¢,£b¤t¥g¦A§©¨klzª«s}¬;mxvdmox00`bsvdT=svnbx{d®Z¬`b¯0`:mo°°z5¬k2svzRs{dARx{mosvd
:m Azcczrª±x0mocdT¬PzRxv²q³dTxvdTRs°¯mobRnmoRdTk9´"ª±zRxvcmo°¯klck,ª±zx;s{`bd'qdTk{=x{ bsvzrzª,=zR=nxvx{dAs;kvuqk}s{dAckT®ZmRk
¬PdT°°µmkgs{zzR°k¬sv`·¶5mox{zRnkgª±nb9s{zRmo°svdTkT®¸kln0`?mkgx0moqzRc¹d=pqdTAnqsvz©®IsvdTx{mR9s{¶Rdkvcnb°¯m5svz©®Izqº»sv`bdAº
¼ uWmo$WdApZ`$monklsv¶d¶dTxv½$Amosvz¸®s{dTklsdAdAx0m5svz©®dAs{¾_7`bd"kld bx{= b°dTk<`mX¶Rd ¿dAdA·ª±nb°°uDc b°dAcdTRs{dTI®
°d"mqbrs{z/mDz dA©®Id=pZsvdTkl¿b°d®Imo$À¬PdT°°ºÁqzq=nbcdAs{dTD xvzRx0moccbdTZ¶x{zbcdAs"®¬`0`Wm°°z5¬ks{zZz°¯k
svz¿$dbdA¶dT°zR $d"4Àmczqqn°mx7ª±x{mcdT¬PzRxv²[®ZqdA dA$qdAsv°urª±x{zcÂmoZur mxls{Anb°mxqdTk{=x{ bsvz/°mbnmdR¾
ÃÀÄRÅ[Æ{Ç È XÉ,R ª±zx{cmo°¸cd=s{`bzqbkT®czqqdA°º^0`dT0²Z®bzRqºÊs{`bd=º ¼ uK¶dAx{½$Amosvz¸®qx{dTmR0`mo¿b°Ës}u/mom°uqkvkT®bklc nbº
°mosvz¸®Ikvzoª«s}¬7mox{d®$kvzoª«s}¬7mox{d'dAbdAdTxvb®$svd"k}sdTbdAx0m5s{zR¸®s{dTklsvb®s{x{mklsvzDkvuqk}s{dAckT®¶5m°¯bm5s{zR¸®¶dAx{½bº
Am5s{zR¸¾
̯͸ÎlÏ^Ð"Ñ;ÎÒ,Ó¯Ï^ÔÊÕ=Ö
×TØXÙ9Ú±ÛIÜ=Ý}ÚÊÞÊßàÙ9ágÙ0âRÛ»ØXßàÞIÚãÝ}äoÙ9ÚãÛ¸ßàáPå9æ(çè$é(ê9ë[ì×Tí,î,ïbí,ágæ,äoÝ}á×AÙ0âÛ«ð¸ñ0ÚãÝ(í1ÚÊò^Ø"ßÛ»Ý}òÁÛ»ó"ÚÊݵâÙ9Ú$ô$ÝlÚãßõ5òlñ{ÛÊßàÙ9áöo×Tßà÷PóXøùñ{ÛÊßàÙ9áöTñ0áXú
û Ý}ÞãÛ»ßàáXü{ý^þoßàá'ÿ[Ý}ÚÊáXØXñ0ÚÊú"Ûy×AÛ»ÝÝ}áöRÝlú"ßÛ»Ù9Ú}öRç$ÚãÙTò}Ý}Ý}úXßàáXü9ÞµÙ0âbÛ»Ø"ÝbßàÚãÞÊÛ«áAÛÊÝ}ÚÊá5ñ{ÛÊßàÙ9á5ñ0ø[ëIÙ9áTâÝ}ÚãÝlá"òlÝPÙ9á û ÙAÙ9øàÞ(ñ0áXú<í1øàü9Ù9ÚÊßÛÊØX÷Þ¸âÙ9Ú
ÛÊØXÝPë[Ù9áXÞÊÛÊÚãóXòÁÛ»ßàÙ9á'ñ0á"úí,áXñ0ø"ÞÊßàÞ©Ù0â×TÞÊÛÊÝ}÷Þ û í,ë[í(× ZßàÞoÙ9áöXçbÙ9Ú±ÛÊóXü=ñ0øÁö 'ñ0Úãò^ØAí1äXÚãßàø
!#"$&%('*)#"*)#+*!*,#-./*"0.)1%(2"
43157618
9;:19=<>9?@19<>?@&9
a
@BA xC3
9*D FE(G
9H
I
|W|&J&K0L
9
3CM
94:19 ENOM
<
xPG
9
JCy
yWyPQKbOSROa]MAUT <
KP3
?*9WV
7&(.98/+;%<!1.A·>WC=% H©.T@B3KCA%<!1.= ;! C=!1H¸!
dx{m b zxvst bx{jTkvdAsvd°mox00`bËs{dT=svnbx{d°z¯=dA°°d b¡b¢,£¤t¥g¦=§1¨nb1 dAx{cd=s<svdRxvdTxtbmo$k
nbÀcAcddAZ¶ZxvzRbbdAcdTRstb˳[jAx{dAs{k°mbRmdTk9´"ª±zRxvcm°¯klcd"k2 znbxg°mbdTk{=x{ qs{zRÀqd kvuZklsvaTcdTkq¯klsvx{¿bnjTkT®
moklRndqdTk7zRnqsv°kzo³[x{mRsqd"k7ª±z$9svzmo°Ës{jTkb¶RdAx0kld"kA®Zs{dA°°d"knbd'°d=pqj"=nqs{zR/m°j"m5svzRx{d®q°¯mkvcnb°mosvz
svdTx{mR9s{¶Rd®y°¯m·¶jAx{½$Amosvz dApZ`$monklsv¶d/d=s·°m·¶Rz°jAd®2°m·jTbjAx0m5s{zR qd/svd"k}s0kA®Pd=s0o¾ dTk bx{$= $d"kzs
j=svjdTRs{aTxvdTcdAs'c b°jAcdAs{jTkT®©=zRqnb¯kvmsKnb?dAZ¶ZxvzRbbdAcdTRs'qd bx{zRx{mccmosvzDzRnb¶dTxls"®Id=pZsvdTkl¿b°d
d=sbzZAnbcdAsvjR®nb1 $dTxvcdAsqdqjA¶RdA°z b dAxtbdTkzRnqsv°¯kgqd cmbaAx{dczZbnb°mx{d®$$qjA dAmoccdAsqd svzRnqs
°mbRmd<qd'qdTk{=x{ bsvz/ moxvsv¯=nb°dAx"¾
È " Æ mom°uqkvdmT=d"kvkv¿°Ës{j®bRjAbjTx{mosvz/qd<svd"k}s0kA®bRjAbd<°zR¯=dA°»®q°zR¯=dA°»®bcj=s{`bzqqdTk7ª±zRxvcdT°°dTkT®
klc nb°¯m5s{zR¸®µkluqklsvaTcd"kDsvx0mokvsvzkT®,svdTklsT®µ¶5m°¯bm5s{zR¸®µ¶jTxv½$Tm5svz©®1¶RjAx{˽$Tm5s{zR D°¯mÀ¶zR°jTd®(¶jTxv½$Amosvz
¿mkvjAd'kvnbx°d"k7czZbaA°dTkT¾
5 !©&(EK3/+2!1.=
hdTkvdTmx{0`Dsv`bdmox{dTm4zoª2s{zZz°¯kmWm°Rzx{Ës{`bckª±zRxsv`bd=zRklsvx{n9s{zRWmomom°uqkvkgzoª7kluqklsvdTck`mRkt¿dAdT
mo x{dAcmk moxvsv¯=nb°¯mox{°u·mR9sv¶dR¾76td"kl Ës{drsv`ks{dAkvdKmR9sv¶ZËs}uR®(dAZº^nkvdAx0kZ¶z°¶d"· mR9s{nmo°;kluqklsvdAc
qdTkvR·bz/zosmo°¬;mXuqkx{dT=dT¶RdmRkc n0` =zRc bnqsvdTxlºÁmo¯qd"Wmk{kvkls{m=dmkgsv`dAuAznb°¯d=pq $d"9s"¾rczb/s{`bd
cmZus{zZz°¯kPqdT¶dT°zR $d"I®RzRb°umª±dA¬mxvdgxvzR¿bnklsPdTbznbR`svz¿$d<mo b°dTsvzxvd"mo°º»°Ëª±dt bxvzR¿b°dAckA¾98ÀzRxvdTz5¶dAx"®
cmZuTmkvdTkT®dA$Zº»n$kldTx{kyTmobzos2¿dAbdA½bs;ª±xvzRc m°°sv`bd"kldtsvzZz°¯kA®R¿$d"Amnkldsv`bdTumxvdtnklb m q˳[dAx{dAs;°mbnmd
sv`mKs{`bd'zd<kvnb b zxvsvd"4¿Zus{`bd<svzZzR°kT¾
:^s2kldTdAck,sv`bdTxvdAª±zx{d;sv`mos2m'klb½$Tmosµ moxvsµzoªsv`bddA³zRxlsykv $dTRsyqdA¶RdA°z bbsvzZzR°k(¯kµ¬7mklsvdT¸®mo sv`$m5sys{`bd
°z¿m°$ bx{zqqn=sv¶s}uzoª¸s{`bdxvd"kld"mox00`r=zccnbbs}u4ª±zx{cm°$cdAsv`bzqbk7mo$r¶dTxv½$Tm5svzrAznb°¯r¿dAxvd"mkvdT
sv`bx{znbR`/m¿d=svsvdAxg=zZzx0qm5s{zR¸¾
°¯mox{dP moxvs(zoªbs{`bdTkvd7 bxvzR¿b°dAck1Aznb°¯ xvzR¿mo¿b°u'¿d7kvz°¶d"'ªsv`d;¬`z°d;Azcc nbËs}umqnklsvx{umbz qs{dT
mÀnbbnbdr°¯mobRnmoRdª±zRxs{`bd4kv $d"=½$Amosvz mo$ qdTkvR?zoª bx{zosvzqAz°¯kmo AzAnbx{xvdTRskvuqk}s{dAckA¾;tz5¬PdT¶dAx"®
sv`b¯kt¯kgbzoss{`bdTmkvd=<;dA¶RdAÀs{`bdkls{mbmox0q?>Tmosvz:d=³[zxvs{ktnbqdTxls0mo²dTÀ¬Ës{`bA@9¦4B moC@1DEGF)H °dTÀsvzs{`bxvdTd
q˳[dAx{dAsKkls{mbmx{bkI%Jg¦DI¡KLK¡®MNBODB1¦5®moQPSRK=T=®; mqËs{zR svz s{`bdDcmoZu zsv`bdTxª±zx{cmo°kvcksv`mos
mo°xvd"mqu/d=pq¯k}sU<<¤WV¦o®(¤¦T [®GX(¤g¨Kb®OYg¨SBZt¡KR§,®[d=s{¾*:^s<kvdAdTcktsv`dAx{d=ª±zx{d A°d"moxs{`m5s'q³dTxvdTskv $d"=½$Amosvz
°mbnmd"k ¬°°AzsvZnbd/svz·d=pqkls7IãmRkskm°x{dTmRqu·sv`bdÀAmRkldKª±zxkvdnbdTRs{m°7 bxvzRx0moccW°¯mobRnmoRdTk#T\[
dA¶dT4ª1s{`bd]6gmxv¬b¯mo/kldT°d"9svzK bx{zZAdTk{k;d=pqkls{kT®ZËs¯k7nbb°²RdA°usv`$m5szbd<kvbR°d°¯mobRnmoRdt¬°°IdTcdTxvRdm
xvdTcm©¾
_1m²bmk,mªãm=s©s{`bd;AzZd=pqklsvdT=dPzoªcnb°sv b°d;°¯mobRnmoRdTkT®As{`bk,x{dA zxvs,moslsvdTc qs{k1svzg°z5¬;dAx©sv`bd7=zRxvx{dTkv zqb
dT=zRbzc¯=zk}s"¾9:^s;qd"kvAxv¿$d"k2m dAdAx{mx{0`Ës{dT9s{nbx{dmo°°z5¬b's{`bdgqdT¶dT°zR bcdAsPzªIsvzZz°¯kIãd¾¾®kvcnb°¯m5svz©®
¶dAx{½$Amosvz¸®Xs{dTkls(RdAbdTx{mosvz's{zZz°¯kA®odAs{¾T'sv`mosµTmo¿$dm b b°d"s{z xvzRx0mock©¬x{slsvdTq˳[dAx{dAsµ°¯mobRnmoRdTk
I±d¾¾®MNBODB,¦X®PSRKq®d=s0o¾^T9¾g_7`dTkvdbdTmkt`mX¶d ¿$dTdADdTRs{x{dA°u/c b°dAcdAs{dTÀWms{zzR°©dT¶ZxvzRbcdAstmcdT
b¡b¢,£b¤t¥¦=§©¨µ®¬`b0` `$mk¿dAdT nkvdT ª±zx4xvd"mo°klsv¯ÀAmRkldAº^klsvnbd"k_` 8Aa(=bq®c(R.a,ed® ` 8Dedq®N8Dmos{=bb®
w,d"A.d®$8D.d4f^®klzRcdzª©s{`bdAcÂÀmo/qnklsvx{m°©=zRsvd=pZs"¾
_7`bd¬;zx{² z: ¡b¢,£b¤t¥g¦A§©¨:¬7mkybsv¯m5s{dTÀeTRR<mRk2m<ª±zR°°z5¬7º»n s{z'sv`dgqd"klzªs{`bd¤t¥¦=§©¨:Azc b°dTx
_`
qLghf^®omczqqdA°º^0`dT0²Z7svzZz°Rª±zx1svx0mokv°¯m5svbMiBDB,¦( bx{zRx{mckIs{zj©m¿$dT°°dT _©x0mokvsvz ZuqklsvdAckiIkMGD¸¦Ak
zxWl ')&#,em
®[ª±zRxgkv`bzxvs#T=®mKkldTcmsv¯'czZbdA°,zD¬`b¯0`D¶RdAx{˽$Tm5s{zR:TmoÀ¿dAdTW dAxvª±zx{cd":nkvbK¿$dT`mX¶ZzRnbx0mo°
dnb¶Xm°dT=d"k2m$´XzRx(svdTc zx0mo°$°zR¯;ª±zx{c nb°¯mkT¾9nPd"Amnkld7s{`bdtzRb°u ª±nb$9svz$mo°Ës}u bx{z5¶¯qd"¿ZuK¤t¥g¦A§©¨/¬;mRk
x0mo b`KdAdAx0m5svz©®Zm:qnbd<s{zkls{mosvd<d=pq b°zRkvz¸®qs{km b b°Tmo¿b°Ës}ur¬7mk;x{dTklsvx{=svd"rs{zkvcmo°°ËºÁkvo>Td<kvuqk}s{dAckT¾
_7`bdËs{m°µzRm°(zoª;sv`bd: b¡¢,£b¤t¥g¦A§©¨ bxvz|}dT=s<¬7mkgs{zÀd=pZsvdT ¤t¥¦=§©¨ ¬sv` mbbËs{zRmo°(ª±nb$9svz$mo°Ës{d"k
I±=°nqbWx0mo$qzcd=pqdTAnqsvz¸®(svdAx0m=sv¶drkvcnb°¯m5svz©®,m? moxvsv¯mo°»®,zqº»sv`bdAº
¼
u¶RdAx{˽$Tm5s{zRpTbdAd"qdT·s{z
qdTm°,¬sv`·°¯mox{dAx<kvuZklsvdTckA¾q:^s¯k<¬PzRxls{`Wbzsv¯=bKsv`moss{`b¯k<zRm°1¬7mk<mKx{mRq¯Amo°(qdT moxvsvnbx{dª±xvzRc¹ bxvdT¶ZzRnk
mo b bx{zRmR0`bdTkT®Z=z$kl¯k}s{dTËs{`bdAx<
r
wyx{z5¶ZbbDm dAZ¶ZxvzRbcdAsqd"qTm5s{dT·svz·mÀ¶dT °mbn$modR®1¿Zu/|}nqpZs{m $zklsvz zªtkldT mox0m5s{dsvzZz°¯kT®
d"m0`/svzZz°1 bx{z5¶¯qbmrq¯k}s{$9sª±nb$9svz$mo°Ës}uG<;x0mo b`b¯Am°IzxtkvuZs{m5pZºÁqx{¶RdA/dTqsvzRxT®=zqqdRdAbdTx{mosvzx"®
svdAx0m=sv¶dWkvc nb°¯m5s{zx"®qdA¿bndTxT®zRqº»sv`bdAº¼ u bx{z dAxvs}u 0`bdT0²RdAx"®Ps{dTkls/RdAbdTx{mosvzRxT®7d=s0o¾ AdAxvs{m
qdTx{dAdzoª;nbb½$Amosvz·¿$dAs}¬PdTdAsv`bd"klds{zzR°k¬7mk<zª«svdA?m0`dT¶dTW¿ZuWkl`$mox{b:m:=zRc °dAx<ª±x{zslº^dA$I®
nkvb m =zRcczR ª±zx{cm5s/ª±zxÀmo¿$k}s{x{mR9s/kvuZs{m5p s{xvdTdTkT®gm dApq0`$mobRb bª±zx{cmosvz ¶¯m qd=½dT
svdAxvªãmAdTkqI±d¾¾®[½°dTk#T9¾;tz5¬PdT¶dAx"®$sv`bdkldTcmosv¯Am°1 bx{zq=d"kvkvr moxvs{kx{dAcmobd"Dqnb b°¯Am5s{dTW¿$dAs}¬PdTdA
s{`bdq³dTxvdTRsµs{zZz°¯kA®R $zkvkv¿°u°cËs{b'svdTxvzR $dTx{m¿b°s}u®mRk(dTm0`s{zzR°=zRnb°¯ `mX¶Rd7Ës0kyz5¬xvd"k}s{xv¯9s{zRk
IÊmAAdA qs{zRb°uKm moxvsv¯=n°mxklnb¿$kldAszoª,sv`bdkvznbx0=d<°¯mobRnmoRdUT2zxR¶Rd<mb˳[dAx{dAsRs{dAx{ bx{d=s{mosvz/zoª
s{`bdklzRnbx0=d°mbnmd<kldTcmosv¯AkT¾
s <s{`bdPAzsvx0mox{u®Tsv`bdt b¡b¢,£¤t¥g¦=§1¨ bxvz|}dT=s¸s{mxvRd=svd"'m5s1sv`bdPx{dTm5s{dTkls¸ $zkvkv¿b°dPs{dAx0m5s{zR<¿$dAs}¬PdTdA
s{`bdb˳[dAx{dAs<ª±nb=svzm°svdTk¿ZuDkl`$mox{b$®[bzos<zb°u:sv`dAzc b°dTxgª±x{zsvº»dTI®[¿bnqsmo°¯kvz/m°°(kldTcmosv¯
bx{zq=d"kvkvRkT®Ts{`bd0`bzRAdP¿d=s}¬;dAdTkvcnb°¯m5svz©®o¶dTxv½$Amosvz¸®XdAs{o¾(¿dAb'qd=ª±dTxvx{dTmk(cn0`mRk, $zkvkv¿°dR¾
r
bm qsvb?mo d=pq¯k}s{b AzZbd/RdAbdTx{mosvzRxzRxkvc nb°¯m5s{zx zx0qdTxs{z? $dTxlª±zRxvc¶RdAx{˽Am5s{zR¸¾ :Á czRkls
TmkvdTkT®[sv`b¯kmo bxvzm0`Wªãm=d"mx{0`Ës{dT9s{nbx0mo°(zx' dAxvª±zx{cmoAd¯kvkvnbd"k<<d=pq dAx{dT=d bx{z5¶d"Às{`m5ss¬;mRk
¶RdAx{uDqrAnb°Ës svz:svnxv mÀkvcnb°mosvzsvzZz°2svzDmd r=dAs¶dTxv½$AmosvzsvzZz°»®©nb°d"kvk'sv`bdrkvcnb°¯m5svzRx
`mR4¿dAdT:svdTsvzm°°u4qd"klbd"rª±zRx7sv`b¯k bnxv zRkvdª±xvzRcsv`bd'¿dARb¾
s <s{`bdPAzsvx0mox{u®Asv`bdg b¡b¢,£¤t¥g¦=§1¨ bxvz|}dT=s©`m'svztmRbmo qs©sv`bd;czZbdA°º^0`bd"0²Zb¶RdAx{˽Am5s{zR'Amo $mo¿bº
°Ës{d"kµzoª,¤t¥g¦A§©¨4svzkvcnb°¯m5svzmo$AzqqddTbdAx0m5s{zR¸¾tzosPkvz'klnbx{ bx{kvb°u®o¬;d7ª±znznqsys{`m5syRzb
s{`bk'bx{dT=svz·¬;mRkgcn0`·dTmkvdAxsv`m?zbKsv`bdzR b zRkvËs{d¬7mXu®IdApbm9s{°uW°²dsvnbx{bbDm/c nb°svº^nkldTx
zR $dTx{mosvbkvuqk}s{dAc svzrmkvbR°dAº»n$kldTx;zR $dTx{mosvbkluqklsvdAc kcn0`/dTmkvdAx;sv`m/sv`bd'zR b $zklsvdR¾
ª«svdTx,Azc b°d=s{zRzoªqs{k1bsv¯mo°zmo°¯kA®Tsv`d;mck¸zªqsv`bdt b¡b¢,£¤t¥g¦=§1¨ bxvz|}dT=s1¬;dAx{dµxvdT¶dA¬;dT'm'dAps{dAbdT
svz5¬7mox0rmbdA¬s{mox{dAs4<1sv`bd'mx{0`bsvd"9s{nbxvd¬7mk;czZb˽d"Kkvzsv`mos7zsv`bdTx7°mbnmd"k0´Xª±zx{cm°¯kvckysv`m MiBDB,¦
=zn°K¿$d'svdTx0m5svd"4svz/ b¡b¢(£b¤t¥g¦A§©¨(¾
_7`bkxvdT $zRxls qd"kvAxv¿dTk<s{`bdsvd"0`bb¯Am°2klzR°nbsvzkm?m0`bdA¶RdAcdAs0k<zoª;sv`bdÀ ¡b¢,£b¤t¥g¦A§©¨ bx{zo|}d"9sT¾ :^s ¯k
zx{Rmoo>TdT·mk'ª±zR°°z5¬k4<Zd"9svz e xvd"kldTRs0k's{`bdr bx{$= b°d"kzª;s{`bdD ¡b¢,£b¤t¥g¦A§©¨ mox00`bsvd"9svnxvdR®1¬`b¯0` ¯k
¿mkvdT/nb zÀmª±nb=svzm°©qd"=zc zRkvËs{zR:/sv`xvdTd'czqqn°d"k<µs{`bdql ')&1 , (2o ®bs{`bd -')&(' (2o ®$m
sv`bd o ')&("%-( (2? ¾/_7`bdTkvdczqqn°d"kmox{dqdTk{=x{¿dT· ZdT=svzk b®1®©mo x{dTkv $d"9s{¶RdA°u¾ c,$mo°°uR®
sv`bd AzA°n$klzÀkvnbccmxv?>Ad"k;sv`bd ¿$dTbd=½bs0kzª1s{`bd b¡b¢(£b¤t¥g¦A§©¨?mo b xvzm0`KmÀq¯kvAnk{kld"k7Ës0k°cs{m5s{zRkT®
°d"mX¶bxvzZzRcª±zx7ª±nqs{nbx{d'xvd"kld"mox00`¸¾
*&,+(-/.0!1+2!13K&,
_7`bdqd"kl¹zª·s{`bd b¡¢,£b¤t¥g¦A§©¨)mox00`bsvd"9svnxvd s{m²d"k Ës0kx{zZzos0k s{`bdqdT¶dT°zR bcdAszoª ¤t¥g¦A§©¨
_` mx{RmZ® ` b=g(f^®7sv`dD½x0k}s/czZbdA°º^0`bd"0²Zb?s{zZz°ª±zRxrª±nb°°]MNBODB,¦o¾ :^sK¬7mkrm°kvz cmbdD $zkvkv¿b°dW¿u s{`bd
monqs{`bzx kg bx{zRxgdApq $dTxvdAAd ·bdTkvRbrsv`dmx{0`bsvd"9s{nbxvdzoª¡¦A§©¨ _ 6Wayhf^®¸mr bx{zos{zq=z°,dAbdAdTxvb
svzZz°ª±zx;s{`bd*J¦ DI¡KeK¡°¯mobRnmoRd® bxvzR¿mo¿°usv`dt½x0kls7AzccdAx0=¯mo°$svzZz°svzRs{dARx{mosvdgkvc nb°¯m5s{zR¸®Zzqº»sv`bdAº ¼ u
mom°uqkvkm·czZbdA°º^0`bd"0²ZbDTmo m¿b°svdTkT¾W ¡b¢,£b¤t¥g¦A§©¨ m°kvzÀ¿$dTbd=½svdT·ª±x{zc ¯qdTmRk'c b°dAcdTRs{dT
zosv`dAx¶dTxv½$Tm5svz4svzZz°¯kT®qdTkv $d"=¯mo°°u¡¦A§©¨ _` hh©~gRhf1mo$7P «¢ _;zR°e\f^¾
°sv`bzRnb` sv`bd"kld/s{zzR°kkvnb b zxvsrq³dTxvdTRsrkvznbx0=d/°¯mobRnmoRdTk IkMNBODB1¦o®Jg¦D[¡ KLK¡®;m Yt¨GBOZg¡K§T=®2s{`bdAu
zo³[dAxtkvc°mx7ª±nb=svzm°svdTkT®$mczRb¬`b¯0`/¶RdAx{˽Am5s{zRK¿ZuKxvd"m0`m¿b°s}urmom°uqkvkT¾2_7`bd'¿mRkl¯bdTmzoª(s{`bd
b¡b¢,£b¤t¥¦=§©¨ mx{0`bsvd"9s{nbxvd/¬7mksvz ¯qdTRs{˪±u sv`bd=zccz ª±nb=svzm°svdTk4kl`mxvd" ¿Zu sv`bd"kld:s{zzR°km
svz?zx{Rmbo>Tdrs{`bdAc svz·s{`bxvdTdÀqklsv=sczqqnb°dTkT¾ _7`bd· b¡b¢,£¤t¥g¦=§1¨mx{0`bsvd"9s{nbxvd/c xvz5¶RdTk bxvdT¶ZzRnk
svzZz°¯k¿u dAqª±zRx{Ab?m·=°dTmoxkvdA mx{mosvz ¿d=s}¬;dAdT s{`bdTkvd/czqqn°d"knklb?¬;dA°°ËºÁqd=½$bdT !¯kIÊ b °¯Amosvz
wyxvzRx0moccq:ÁsvdTxlªãmR=d"k1T=¾(_7`d ¡b¢,£b¤t¥g¦A§©¨·mox00`bsvd"9svnxvdkbdA b¯9s{dT/zc,Rnbx{deR¾
"$# Ä&% 5' # È ÉÄ ¯kKxvd"kl zkv¿b°dWª±zx/dATmo kvnb°¯m5s{b mo `qb mo°°g°¯mobRnmoRd=ºÁqdA dA$qdAsKmRkl dT=s{kT¾
cxvzRc s{`bd4zRnqs{kvbd4zoªs{`b¯k czqqnb°d®(s{`bdKkvznbx0=d4 bxvzRx0moc Amo ¿d:kldTdA z°u mkmo MGD¸¦5®µ¬`m5s{dA¶dTx
s{`bdklzRnbx{Ad°¯monmdnkld"I¾_7`bdx0mo b`czZbnb°ddApq $zRxls0k'mKx{dA xvd"kldTRs0m5s{zRÀª±zx<s{`bdrk}s0m5s{dTk<mos{`bd
°¯mo¿dA°¯k(zoª[sv`d7svx0mokvËs{zRkluqklsvdAc:®mRkµ¬;dA°°mk( bx{csv¶d"k(svz'`$moq°dkls{m5s{dTkym°m¿$dT°kT¾:^s2mo°¯klz< bx{z5¶Zqd"k
bx{csv¶d"kµs{z =zRc nqsvdtsv`bdtsvx0mokvËs{zRxvdT°mosvzI±»¾d¾®Rs{`bdtbsv¯mo°[k}s0m5s{dtmosv`bdklnT=d"kvkvzx0k(zoª©m'R¶RdA
kls{mosvdUT=¾P_7`bd"kld<ª±d"m5s{nbxvd"kmox{d'mT=dTk{kvdTKsv`bx{zn`:mo& !¸$mocdT)(+*-,/.!0-,+12-341!,-5/68796;:9®b¬`b¯0`DqzZdTkbzs
qdT $dT/z:moZur mxls{Anb°¯moxklzRnbx0=d bxvzRx0moc:®ZbzxmZu moxvsv¯=nb°¯mox°¯monmd¾
_7`bdcm b bb¿d=s}¬;dAdA m R¶RdA kvznbx0=d bx{zRx{mc mo$*sv`b¯k svdAxvªãmAdk m0`bdA¶RdT*nkv mo
b¡¢,£b¤t¥g¦A§©¨=< +#-& "+#S->? ' ®[¬`b¯0`:svx0mokv°¯m5svd"k;sv`bdklzRnbx{Ad' bx{zx0moc svzKm xvzRx0moc cº
b°dAcdTRs{Àsv`b¯ksvdTxlªãmR=dR¾W_7`b¯k bx{zRx{mc ¯k =zRc b°dT kldT mox0m5s{dA°umo$ °b²RdT?¬sv` s{`bdKzsv`bdTx
b¡¢,£b¤t¥g¦A§©¨czZbnb°d"kA¾i:Á/sv`b¯ktm b bx{zRmR0`¸®Zsv`bd °¯monmd<¬;mRk0`bzRkvdA:¿dTTmonkvd'd?r=dAstAzc bº
°dAx0kPª±zx7sv`k°¯monmd<mox{d<mX¶5m°¯mo¿b°d I b°mXuqkPsv`d'xvzR°d<zoªµm $zRxls0mo¿b°d'mk{kldTc ¿b°u°¯mobRnmoRdUT9¾
I±Rs{dAxvªãmAdUT
Iãz¿q|}d"9st=zqqdhT I±zR¿q|}dT=st=zqqdUT
°¿bx{mxvdTk
I±z¿b|}dT9stAzqqdUT
=zc b°dAx =zRc b°dAx
d=pqdTAnqs{m¿b°d< bx{zRx{mc
I±RdAbdTx{mosvd" =zqqdUT I zRx AzZbdUT
Azc b°dTxPª±zRx
°mbn$mod
=zc b°dAx7ª±zx
°mbnmd
d=pq b°zx0m5s{zR4czqqnb°d
x0mo `4czqqnb°d
x0mo b`/czZbnb°d
klzRnbx0=d bxvzRx0moc klzRnbx{Ad< bxvzRx0moc
Iã°mbn$mod T Iã°mbn$mod T
x0mo b`/czZbnb°d dApZ °zRx{mosvz4czqqnb°d
°¿bx{mxvdTk
°b²4d"qsvzx
< c b°dAcdAs0ks{dAxvªãm=d
< nkld"kczqqnb°d
<(b bnqsvº»zRnqsv bnbsgqdA dA$qdAAu
µpq b°mm5s{zRKzª(kvuZc ¿z°¯k
x{dTkvnb°s{k7zoª1sv`bd'dApqdT=nbsvz
IãsvdTxlªãmR=dhT
c1nxvde=<7 ¡b¢,£b¤t¥g¦A§©¨mox00`bsvdT=svnbx{d
°¯k}s zªmX¶Xm°¯mo¿°d: b¡¢,£b¤t¥g¦A§©¨ºÁ=zRc °¯mos =zRc b°dAx0k'¯kR¶RdA? ZdT=svz q¾À_7`bdrª±nb9s{zRbb
bx{= b°dTkrm s{dAx{mo°tbd=s{m°¯kzªs{`bdTkvdWAzc b°dTx{krmxvdÀzosKAzklsvx0mobdT ¿Zu s{`bd b¡¢,£b¤t¥g¦A§©¨
mx{0`bsvd"9s{nbxvdR®Z bxvz5¶Z¯qdTrsv`mosc b°dAcdTRss{`bd(+*-,/.!0-,+12-341!,-5/68796;:svdTxlªãmR=d< bx{z dAx{°uR¾
"$#
Ä ±,5q Å È ÉÄ =zRkl¯kls{k m?kldAszoªg°¿bx{mxvdTkT¾ 2mR0` °¿bx{mxvu xvz5¶Z¯qdTkm?=z`dAx{dAskvd=szoª<bm5s0m
klsvx{n9s{nbx{dTkmomk{klzq=¯m5s{dTÀ xvcËs{¶RdTktª±zx<`mo$q°bKsvx0mokvsvzD°kls{kT®¸klsvzx{b4¶Z¯klsvd"kls{mosvdTkqnbx{b
Rx{m b` svx0mX¶dTx{k{mo°¯k7I±dR¾$¾®<kls{m0²qkT®s{m¿b°dTkT®t¿bsvcmo s{m¿b°d"k1T=®Azc bnqs{ `mRkl` ª±nb9s{zRkT®q¯kv b°mXuZb
q¯moRbzRklsv¯AkT®5d=s0o¾µ_7`bd"kld°¿x{mxvdTk(mox{dqdA dA$qdAsµª±x{zc mZukvznbx0=d7 bx{zRx{mc mokvznbx0=d7°¯mobRnmoRd¾
_7`bdrmX¶5m°¯mo¿b°d°¿bx0mox{d"k I±¬x{ËsvsvdT· mo· bx{d=ºÁ=zRc °dT T<mxvd bx{dTkvdAs{dT· Zd"9s{zR b®©¿nqs nkvdAx0k
Tmo:mbKbdA¬ °¿bx0mox{dTkPsvz½bss{`bdAxtkv $d"=½$<bdAd"bkT¾
"$# ÄWÄ ' È 5qÈ È ÉÄ Am ¿$d/=z$kl¯qdAx{dT?mRk'sv`d (lcm: xvzRx0moc:¾ :^s=zRRs0mok's{`bdKAzx{dzoªs{`bd
¶RdAx{˽$Tm5s{zR¸®Rkvcnb°¯m5svz©®RzRx2s{dTklsvbm°Rzx{Ës{`bc:®mrqdAsvdAx{cdTkP`bz5¬ sv`bd]MGD¸¦¯k2svz¿$dd=pq b°zx{dTI¾:Á
czRkls1TmkvdTkT®As{`bd2dApZ °zRx{mosvz<czZbnb°d2k1$qdA dAbdAs©ª±x{zcmoZu<klzRnbx{Adµ bx{zx0moc mo'kvznbx0=d2°mbnmd
Iã`bz5¬PdT¶dTxT®"qdTq¯Amosvd"d=pq b°zx0m5s{zR<czqqn°d"k,mxvd2 $zkvkv¿°dR®Tª±zRx1kls{m=dR®Xsvzt¶RdAx{˪±u<mtkv dT=½$P bx{z dAxvs}uT=¾
_7`bdd=pq b°zx0m5s{zRÀczqqn°dnkvdTktsv`bd bx{csv¶dTkgd=pq zxvsvd"D¿Zu/sv`bdx0mo b`DmD°¿bx{mxvu/czqqnb°dTkT¾W:^s<¯k
nkvnm°°uW¬x{ËsvsvdT
zx
¾ :^sTmo?¿dKq¯k}s{xv¿bnqs{dT?dTËs{`bdAx kvznbx0=dAzZbdª±zx{c:®1zRx zR¿q|}dT=s
AzZbd<ª±zx{cªµËs0ktmo°zRxvsv`ck7cnklst¿$d ²dA bst bx{¶5m5s{d¾7_7`bd mX¶5mo°¯mo¿b°d<d=pq b°zx0m5svz/czqqnb°dTktmxvd'°¯k}s{dT
:qdT9s{zR ¾
c1nxvdeK°°nklsvx0m5s{dTk sv`bd:=zRc °·m °²b·k}s{dA kbdTdTqd" svz·cdAx{d4sv`bd:q³dTxvdTRs=zqqdKª±x0mocdTRs0k
I±nkvdAxvº»¬x{slsvdT=zqqd®°¿bx0mox{u =zqqdR®Rmo$mnqsvzRcm5sv¯Am°°uRdAbdTx{mosvdT=zqqdhT,s{zm'klb°d7d=pqdTAnqs{m¿b°d bxvzRx0moc:¾
s ªt=znx{kvd®µkvzcdr bx{zRx{mccbD=zRZ¶dAs{zRk'`mX¶Rdsvz¿$dKdAqª±zRx{AdT zx0qdTxsvz·mX¶zR·¯qdAsv½dTxA°mRkl`bd"k
¿$dAs}¬PdTdA s{`bd?q˳[dAx{dAs:czZbnb°d"kA¾t°kvz®kl`bdT°°ºÁkvAxv qs{kKmox{dmX¶5mo°¯mo¿b°dÀª±zxÀ0`mb mo°°ts{`bdTkvd?k}s{dA kK m
klc b°dR®bnkvdAxvºÊª±x{dAq°u¬7mXu4mo/mX¶zRbbnbbdT=d"kvk{mox{ux{dT=zRc b°¯m5s{zRkT¾
F-/)J'&,%/- @ EK3/C=
tkkvm m¿$z5¶Rd®1sv`bd/x0mo ` czqqn°dKdATmo kvnb°¯m5svd"k m°°P°mbnmdAº^qdT $dTqdTRsmkv $d"9s{kmo$?¶dTkmT=dTk{k's{z
sv`bdTcsv`bx{zn`4m°mbn$modAº»qdT $dTqdTRs;s{dAxvªãm=dR¾,_7`dAx{d=ª±zx{d®Rsv`d<bdTkvR4zoª,kln0`Kmo4svdTxlªãmR=dk7kvnb¿q|}dT=s
svzmos{mzRbklsv¯=z$k}s{x{ms{k4<
r
:^sgkv`bzRnb°/¿ddTbdAx0mo°¸mÀmo¿$k}s{x{mR9sdAbzRnb`/s{z4mT=zcczqbm5s{d'm¶Xmxvd=s}uKzoªykvznbx0=d<°¯mobRnmoRdTkT¾2_7`b¯k
c b°dTkPbzs2svz xvdAs{mo4m°°$sv`bdg moxvsv¯=n°mxµª±dTmosvnbx{dTkPzoª©m'R¶RdA°¯mobRnmoRd®R¿bnqs;svz kvdA°dT=s;0`mx{mR9svdTxv¯klsv¯Ak
kv`mox{dT·¿ZukvdA¶RdAx0mo°y°¯monmdTkT¾K_7`dAx{d=ª±zx{d®1sv`d4qdTkv zoª7s{`bdrRs{dAxvªãmAdrxvdT°dTkz?sv`drd=pq¯k}s{dAAdrzoª
m?=zRcczR kvdAcmos{/czqqdA°svz?¬`b¯0` b˳[dAx{dAs4kvznbx0=d/ bx{zx0mockT®µ¬xvsls{dA b˳[dAx{dAsrklzRnbx0=d
°¯mobRnmoRdTkT®Tmo/¿$d<s{x{mkv°mosvdT¸¾
r
_7`bdgs{dAxvªãm=dkl`znb°¯²dTdA s{x{mR0²zªIsv`bdx{dA°¯m5svz$kl`b ¿d=s}¬;dAdArsv`bd<kldTcmosv¯czqqdA°[mo$sv`bd<=zRxvx{dTklº
zbb:kvznbx0=d bxvzRx0moc:®[klz:mktsvz/ bx{z5¶¯qddAbzRnb`Wqª±zRxvcmosvzDª±zRxbmbzkl¯k<t¬`bdA?modAx{xvzRxt¯k
qdAsvd"9svd"Dnkvb/kvc nb°¯m5s{zRDzx¶dTxv½$Amosvz¸®$sv`dn$kldTxkv`bzn°W¿$dmo¿b°dsvz/nbqdTx{kls{m:sv`dx{dTmRklzRÀzoª
s{`bddAx{xvzRxtWs{dAx{ck<zªysv`dkvznx{Ad bx{zRx{mc:¾_7`bk<¯kbzosm°¬7mXuqktd"mkvuKs{z:c b°dAcdAs"®¸dTkv $d"=¯mo°°uÀª
s{`bdAzc b°dTxtnkvdTkgklzR b`b¯k}s{Tm5svd"/svx0mokv°¯m5svzDm°Rzx{Ës{`bckA®$Z¶Rz°¶bsvdAx{cdTq¯m5s{d'ª±zx{ckgm:z bsvº
c?>Tm5s{zR4s{dT0`bnbd"kA¾
r
gk¶dTxv½$Amosvz mo°zRxvsv`bck`mX¶Rd:klsvx{z·d r=dAAu x{dnbxvdTcdTs{kT®2s{`bdDRs{dAxvªãmAd:kv`bzRnb° ¿dW=°zRkvd
dTbznbR`rs{zd=pqklsvb=zRc b°dAx0k7KzRx{qdTxbzos7s{zsvx{zqqnAdnmT=dA bs{mo¿°d<x{nbqº»svcd<z5¶RdAx{`bdTmRI¾
Z$=d/eTq®sv`d4 b¡¢,£b¤t¥g¦A§©¨ Rx{m b`Wczqqnb°dsvdTxlªãmR=d`mkgnbbdAx{zdkvnAAdTk{kl¶dxvdT¶¯kvzRks{zKcmos{0`
sv`bd"kld=zRk}s{x{ms0kA¾<_7`bd°mosvdTkls<¶dAx0kvzRIÊZdT qsvdTc ¿dAxeTR=bLTAmo¿$dkvdAdA·mkmrRzzqDAzc bx{zc¯kld¿$dAs}¬PdTdA
=z ¼ =svbxvd nbx{dAcdTRs0kA¾ ·d'¿bx{d ¼ ur bx{dTkvdAs7sv`bd'cm:qdTkv:0`bz¯=d"k<
r
_7`bd4svdTxlªãmR=d¯k¿mRkld"·nb $zR -/ "0 '?1& 4-/ l m? &(p"k-+ m I±¬`b¯0` x{dTqnAdTkAzAnbx{xvdT=uWsvzWkvdnbdTRs{m°
Azc $zklsvz mo bzbº^qdAsvdTxvcbklsv¯/0`bz¯=dhT9¾ :^s0knbqdTxv°uZ·kvdAcmos{KczZbdA°¯kmAzc ¿mosvz
zªj©mo¿dA°°dTW_1x0mokvËs{zRZuqklsvdAckmo<xv b²Rd k}s{xvn$9svnxvd"kA®[¬`b¯0`W¬7mktª±znb$ÀsvzK¿$dmo bxvzR bx{mosvd'ª±zRx
¶5mox{znk;°¯mobRnmoRdTk;mo4ª±zx{cmo°kvckA¾µ_7`b¯k7czZbdA°¸=zRkvkls{k7/mkvd=szª m\" & " m I±¬sv`Àmo -/ -/"%-&Om#"0&("0 T
mmÀkvd=szª "%')&( m\-/"k- m ¿$dAs}¬PdTdA kls{m5s{dTkT¾ 6tdT $dTqbÀz·s{`bdrklzRnbx0=d°mbn$mod=zRkvqdTxvd"I®Is{`bdAx{d
Tmo/¿$dmRbqsvzm°Iqª±zRxvcmosvz:m5sls0m0`bd"KsvzdTmR0`/kls{mosvd I«s{`bdTkvdm5svsvx{¿nqsvd"kmox{dTmo°°d" m#"0&("0 (#+ "0('#m T
m$´XzRx2s{zdTmR0`4s{x{mklsvz I«s{`bdTkvdm5svsvx{¿bnbsvdTktmox{dTmo°°d" o&+#?^m T9¾
r
_7`bdgs{dAxvªãm=dtª±z°°z5¬kysv`bd bx{$= b°d"k2zª©mo¿klsvx0m=sPbmos{m's}uZ dkv dT=½$Tm5svz©¾:^s;d=pq zxvs{k2s}¬Pz (}zR mnbd?:
s}uZ dTkT®s{`bd
m\"0&("0 "91
mo/s{`bd
o&+#?9"91
®$¬`zRkvds{dAx{mo°1xvdT bxvd"kldTs{m5s{zRkmxvd°d=ª«snbqdA½bd"I±»¾dR¾®
nb 4svz sv`bd<=zRc °dAx\Tymr¬`b¯0`4Tmo4¿d`mob°d"rnkvm kvd=s7zoª¸ xvcËs{¶RdTkT¾(_7`dAx{dgmox{d e"'ª±nb$9svz$k
qd"mo°¬sv`Dkls{mosvdTkmeTª±nb=svzkqd"mo°¬sv`:°¯mo¿dA°¯kA¾
r
gk7xvdTRmox0bk7kls{m5s{dTkT®[ b¡b¢,£¤t¥g¦=§1¨Wcm²dTkPs{`bdmk{klnc bsvzKsv`mosT®qª±zRxm¶dA:kvuZklsvdTc:®bk}s0m5svd<¶RdT9s{zx0k
Tmo<¿$dPk}s{zx{dTgm;½bpqd"Zº»°dAosv`<¿Zusvd2klsvx{b¾©_7`kIx{dTklsvx{¯9svz<¯kIcdTmRs©ª±zx¸`mq°k}s0m5svd"kId?rAdTRs{°u
_` q=g(f»®Rª±zxPkls{m=d¬`dA4klsvzRxvb<sv`dAc s0mo¿b°dTkT¾9;z5¬;dA¶dTxT®Ës7Amo¿dx{dA°¯m5pqdTmRkµsv`dtk}s0m5s{d¶d"9svzRx
Tmo=zs0mo zsvdAx0k(s{zquZmoc¯bm5s0mklsvx{n=svnbx{dTkIã°¯k}s0kA®8LB nbdTnbdTkT®odAs{o¾^Tmo°°zqAmosvd" sv`bd`dTmo ©¾
_7`bdª±nb9s{zRkPd=pq $zRxls{dT¿Zusv`bdgsvdTxlªãmR=dtm°°z5¬ svz zR¿qs{ms{`bdgkv?>Adtmsv`bdmo°RbcdAsIãr¿Zusvd"k1Tyzoª
mkls{mosvd®svz4Axvd"m5s{dmo:qdT°dAsvd mcdTczRxvu/=dT°°©svzrklsvzx{dmrkls{mosvd®svz4Az Zu4mrkls{mosvd's{zrmobzsv`bdTxzd®bs{z
Azc mox{dgs}¬Pzk}s0m5s{dTkT®Zsvz=zRc nqsvdm`mRkl`qº^¶5mo°nbdz:mkls{mosvdR®qsvz bx{smk}s0m5s{dgs{zm s{d=pZs½°d®qs{z bxvs
s{`bd(lb˳[dAx{dAAdTk:g¿d=s}¬;dAdAKs}¬;zkls{mosvd"kA®qdAs{o¾
n;uqzb kvz®Rsv`bdRs{dAxvªãmAd bx{z5¶¯qd"kym kvzcdA`z5¬ (lxvd"k}s{xv¯9s{dT4:tmRA=d"kvkµsvzkls{mosvdg¶dT=svzRx{kµ¿Zu=zRZ¶dAxvsvb
s{`bdAc svz·0`mox0m=svdTx k}s{xvbkA®,¬`b¯0` Am ¿$dKz¿qs0mobdT?¬`dA bx{Rs{mDkls{mosvdrs{zm:½$°dKzx xvsvb
s{`bd'q˳[dAx{dA$=dTk7¿d=s}¬;dAdT4s}¬;zk}s0m5svd"kA¾µ_7`b¯kmo bxvzm0`r¯k,|}nklsv½dT/¿Zus{`bdªãm9s7s{`m5stkls{mosvd¶dT=svzRx{k7mox{d
`b`°u°¯monmd=º¸mAzc b°dTxlºÁqdT $dTqdAs I± moxvsv¯=n°mxT®5s{`bdAu zoª«svdTxvdT°un $zRn$kldTxlºÁqd=½$bdT s}uZ $d"k
4s{`bdkvznbx0=d< bx{zRx{mc/®Rª±zx¬`0`À0`mx{mR9svdTx;klsvx{bRk7 bx{z5¶Zbdts{`bdklc b°dTkls $zRxls0mo¿b°d<svdTxlªãmR=dhT9¾
tzosv¯=ds{`m5s"®Ks{`bdAmRkld<¬`bdTxvd'kls{mosvd'¶d"9s{zx0k;Azs{m: zsvdAx0k7zx"®qczx{d<dAdAx0mo°°uR®ª(sv`bdTxt¿b$mox{u
x{dA bx{dTkvdAs0m5svz?¯kbzosmDbzRxvcm°2ª±zRxvc:®ykvzcd4 bx{csv¶d"k Iãd¾¾®2=zRc mox{kvz m `mRkl`b.TTmobbzs
¿dklc b°uÀc b°dAcdAsvd"?mk¿bs}¬kvdzR $dTx{mosvzkg¿d=s}¬;dAdAs}¬;zKcdAczRxvuDAdA°°kT¾_7`bd"kld bx{z¿b°dAck<mox{d
mRbqx{dTk{kld"rKs{`bd b¡b¢(£b¤t¥g¦A§©¨Wmx{0`Ës{dT9s{nbx{d¾
r
Zc°¯mox{°u®o°¯mo¿dA°¯kymox{dmk{klncd"svz'¿d½bpqdTZº^°dAbsv`¿us{dtk}s{xvbkI± zRk{kl¿b°u=zRs{mobb< $zRs{dAx0k,svz's{`bd
`bd"mo pTPmo$ª±nb=svzk7mxvdmX¶Xm°¯mo¿°dtª±zx7z¿qs0mobbs{`bdkv?>Ad<morsv`bd'mo°bcdAs*I±K¿Zusvd"k1T2zoª1m°¯mo¿dA°»®
ª±zRx7Axvd"m5s{bmo$KqdT°dAsvbmcdTczx{ur=dA°°Is{zklsvzRxvd<m°m¿$dT°Ê®Zª±zRx=z ZuZbm°¯mo¿dA°[s{zmbzos{`bdAxzRbd®ª±zRx
Azc mox{b s}¬;z°m¿$dT°kT®qª±zxAzc bnqs{m`mRkl`bº»¶5mo°nbd<z:m°m¿$dT°Ê®d=s{¾
s0m5s{d¶d"9svzRxyx{dTklsvx{=svzkPmo°¯klzm b b°u s{z °¯mo¿dA°¯k<(mo°sv`bzRnb`°¯mo¿dA°=zRRs{dAs{kPqdA dA$zs{`bdgkvznbx0=d°¯mobº
RnmoRd®Xsv`dtklzRnbx0=d7 bx{zx0moc msv`bdAzc b°dTxT®sv`bdTuTmo¿$dmRAAdTk{kld" nkvb=zR¶RdAx0klz svz0`mx{mR9s{dAx
klsvx{RkT¾gbqsvz$mo°1ª±nb9s{zRkmox{d mX¶5mo°m¿b°dsvz:qdTAqd¬`bd=s{`bdAx<mr°¯mo¿dA°,¯kt¶Z¯kl¿b°d zxbzsX®[W`bz5¬
cmoZu½$dA°¯bkm°m¿$dT°¸kkvnb¿[q¶¯qd"I®qª±x{zc ¬`0`/°bd'zª,kvznbx0=d< bx{zRx{mc m°¯mo¿dA°©AzcdTk;ª±x{zc:®qdAs{o¾
r
gk©x{dAmox0bkIs{`bd2s{x{mkvËs{zR'xvdT°mosvz¸®5¬`b¯0`¯k1sv`bd;=x{n=¯mo° $zRs(zoªqs{`bdPRx{m b`czqqnb°d®Z b¡¢,£b¤t¥g¦A§©¨
cmo²RdTkµcbcm°x{dnbxvdTcdAs{kµsvdTRs{zRmo°°u®rzRx{qdTxµsvz ¶dcm5pqcm°bª±x{dAd"qzcsvz Azc b°dTx2c °dAº
cdAs{zx0kA¾ zc b°dTx{k<mox{dzb°uDx{dnbxvd"Àsvz:RdAbdTx{mosvd =zqqdª±zRx<Azc bnqs{Ks{`bdbËs{m°yk}s0m5s{dm
ª±zRx2dAZnbcdTx{mosvb'sv`dgkvnAAdTk{klzRx{kµzª©m'¶dTrk}s0m5s{d¾cbzRx2s{`bdt°¯m5svsvdAxP bnbx{ $zkldR®s{`bdAx{dgmxvdtcmZu zRk{kl¿b°d
m b bx{zRm0`dTkT®µcmZu zoª<¬`b0` qz·bzosrcmos{0` d?r=dAAu zx°¯mobRnmoRd=º^$qdA dAbdAAdK=x{svdAx{¯mb¾ _7`bd
b¡¢,£b¤t¥g¦A§©¨ Rs{dAxvªãmAd4klzR°¶RdTk<s{`b¯k bx{z¿b°dAc dA°dAmosv°u®,¿Zu?svx{zqqnAb:s{`bdKAzAdA qszoª +#&>#&L+
#+1, &( -m ¾
ß(ÝàöTÛÊØXÝyò}Ù9áXò}Ý}ä"Û,Ù0âÛ»ÚÊñ0áXÞ»ßÛÊßàÙ9áXÞ©ßàágä"ÚÊÙAò}ÝlÞÊÞ(ñ0øàü9Ý`XÚÊñ0Þ
`bdT RdAbdTx{mosvbÀsv`dKRx{m b` czZbnb°dR®Pm b¡b¢,£¤t¥g¦=§1¨º^Azc b°ms=zRc °dAx`mks{zW bx{zqqn=d/m
m\2 +#+#\m#m(' 2 '1&("%-( #2G+ "%-( ®,¬`b¯0` Ës{dAx0m5s{dTk'z5¶RdAxmo°°µs{`bdKkvnAAdTk{klzRx{kzªm:R¶RdA kls{m5s{d 5¾
czx4d"m0` s{x{mklsvz R®¬`bdTxvd k/m °¯mo¿dA°<moWm kvnAAdTk{klzRx4kls{m5s{d®s{`bdkvnT=dTk{kvzx
dTncdTx{mosvzª±n9s{zR ¬°°Icmo²Rdgm ª±nb9s{zRKTmo°°zª¸sv`dtª±zRxvcdT
V
®q¬`dAx{dª±nb=svz¯k
mRkvkvdTmRkPm mox0mocd=s{dAx2svz m¯k2x{d=ª±dTxvx{dTs{zmk2sv`d
+#&>#&L+ #2S+"k-
¾cbn9s{zR Am $dTxlª±zRxvc
mumR9s{zR¸®5d¾¾®5 bx{svbsv`dPs{x{mkvËs{zR Psvz<mt½$°dR®k}s{zx{;m<kls{m5s{d2s0mo¿b°d®d=s{¾:^syTmo
¿d'dAsv`bdTxgqdA½bd"K¿ZuKsv`bd'n$kldTx:s{`bddApZ °zRx{mosvz/czqqn°dR®zxc $zRxls{dT/ª±x{zc sv`bd°¿bx{mxvu4czqqn°dR®
¬`b¯0` bx{z5¶Zqd"kkvdA¶dTx{m°µ bx{dTqdA½bdT Amo°°¿m0²Àª±n9s{zRk zªdAdAx0mo°ysvdAx{dTklsT¾D_7`d4dAZnbcdTx{mosvz?zoª
s{x{mklsvz$k7zbznqszª(kls{mosvd <kkvdnbdTsv¯mo°%<µbzqx{dT=stmT=dTk{k;svzs{`bd ÛÊØ
kln$A=d"kvkvzx7¯kx{dnbxvd"I¾
_7`bd:zRx{qdTx ¬`b¯0` ª±n9s{zR dTZnbcdAx0m5svd"ksv`bdÀkvnAAdTk{klzRx{k¯k°dAª«ssvz·sv`dD=zc b°dAx"¾ cnb9s{zR
TmoDqz/kl¯qd=º^d=³[dT=s{kT®[¿bnqsgs'kl`bzRnb°¯ÀbzosZ¶Rz²d<ª±n9s{zR xvd"=nbx0kl¶dT°u I«s{`bdAx{d=ª±zRxvdR®s{`bdsvdTx{mosvz
cdT0`$mob¯klcbdAd"bk(bzosµ¿dxvdTdAsvx0mos\T9¾ s s{z zoªsv`b¯k( bx{csv¶dI±¿nqsydTbdAx0mo°qmo$ d AdTs#T(Am°°¿mR0²
cdT0`$mob¯klc:®qczx{ddA°¯mo¿zx0m5svd"rªãmR=°svdTkTmo/¿$dbdA¶dT°zR $d"AIÊkldTd<sv`bd JR1¡r°¿bx{mxvu4ÀZdT=svzÀLT=¾
;s4sv`dWs{cdW¿dAb$®sv`bdTxvdd=pq¯k}sÀ q³dTxvdTRs/c b°dAcdTRs0m5s{zRk4zª b¡b¢,£¤t¥g¦=§1¨[=zc b°¯mos/Azc b°dTx{kT®
¬`b0`/¬;d'¿bxvd ¼ urxvdT¶ZdT¬]<
e¾ª«svdAx bdTkvRbs{`bd b¡b¢,£b¤t¥¦=§©¨ mox00`bsvdT=svnbx{d®s{`bd monqs{`bzx mmo qs{dTs{`bd¤t¥g¦A§©¨ Azc b°dTx
_` mox0RmR® ` qLghfImAAzx0qb°u¾(_7`bdgAzx{dzoª2¤t¥g¦=§1¨k;=zRc °mo°zRxvsv`ckI±¿mRkld"nb zs{`bdgsvx0moklº
°¯m5s{zRWzoªMNBODB1¦ s{z:msvdTxvcdTbmosvdd=pZsvdTqdT·w(d=s{xvµd=s'czZbdA°/T¬;mRkg²RdA qs'nb$0`mobRdT[1zb°uÀs{`bd
¿mR0²º»dTzoªP¤t¥g¦A§©¨À¬7mk;czqq˽$dT4ª±zx=zRc b°¯mo$=d¬Ës{`4s{`bd (+* ,/.0-,+1!2-3/1!,-54687 6;:Rs{dAxvªãmAd¾9:Á4s{`b¯k
c b°dTcdAs{mosvz¸®qd"m0`:k}s0m5svd<¯km mox ! " ¬`bdAx{d ¯kmcmxv²Zbzoª©s{`bd'w(d=s{xvIbdAsT®m ¯km
AzsvdApsgcm b bbKkls{mosvd¶Xmxv¯mo¿°d"k7svz4sv`bdTx¶5mo°nbdTk4[[dTm0`:s{x{mkvËs{zRÀkgdTbdAx0m5s{dT:¿Zu/sv`bd ½xvbrzª2m
Azx{xvd"kl zbbs{x{mklsvzÀ:sv`d w(d=s{xv,bd=sU[[dTm0`:°¯mo¿dA°(=zRkl¯kls{kzª2mRmosvdmcd'ª±z°°z5¬;dT/¿ZuÀm°kls
zª,dApq0`$mobRdTr¶5m°nbd"kA¾P_7`bdmo°dT¿bx{m<bmos{ms}uZ $d"k=zRs{mobd"K/sv`bdkvznx{Ad]MiBDB,¦ bx{zRx{mc Amo/¿d
dTËs{`bdAxPsvx0mokv°¯m5svd"
AzZbdg¿Zusv`d ¤t¥g¦A§©¨$#˧ORD:=zRc b°dAxW_
`
mox0o¿.fIzRxPc b°dTcdAsvd"rcmoZnm°°u¿u
s{`bd'nkvdAxU[:¿$zsv`ÀAmRkld"kA®bm5s{mklsvx{n9s{nbx{dTkquZmc¯Am°°urmo°°zZTm5s{dTK/sv`d'`bdTm /mxvd'kvnb b zxvsvdT¸¾
q¾:Á eT ®hdTmon$ hnzosDm sv`d·mnqsv`bzRx/AzbdT9s{dT sv`bd&%]V ª±zRxvcm5sKª±zx/sv`dx{dA bx{dTkvdAs0m5svz
zª j1mo¿dA°°d"_©x0mokvsvzZuqk}s{dAck_` mox0=bUfs{z sv`d b¡b¢,£¤t¥g¦=§1¨dTZ¶x{zbcdAs"¾_7`bd x{dTkvnb°svb
%]V(' ¡b¢ s{zZz°,dAm¿b°d"Às{`bdmo b b°¯Am5s{zRDzoª;mo°°2 b¡¢,£b¤t¥g¦A§©¨?s{zZz°¯k IÊkldTdqdT9s{zR T7svz/x0mo `k
dTRs{x{dA°u4RdAbdTx{mosvd"/m:x{dA bx{dTkvdAsvd"/Às{`bd%]V?ª±zRxvcmosT¾:ÁÀsv`ktc b°dAcdAs0m5svzId(gLg°bdTkgzoª
AzZbdUT9®5d"m0` ¡b¢,£b¤t¥g¦A§©¨4k}s0m5svd*I '1\m%3 °m¿$dT°Ê®Xs{x{mkvËs{zRpT¸¯k(qxvd"9sv°u<cmo b dT svzgsv`bd7=zRxvx{dTkv zqb
%]V k}s0m5s{d I ')\m%3
°¯mo¿dA°»®Isvx0mo$klsvzpT=¾ _7`bdqdT¶dA°z cdTszª)%]V *' b¡b¢ °dTWsvz:m/czqq½$Tm5svzzoª
s{`bd(+*-,4.0-,+12 3/1!,-5/6 7 6 :/zRx{bdAx;svzx{dAcz5¶d<kvzcdMNBODB,¦{ºÁkv $d"=½$<mkv $d"9s{kT¾
b¾:Á e"q®G8Dmox{n$kn;z=>TRmb®[RdTmobº °¯monbd cbdTxvmqd4> moAj©mnbxvdTs8ÀznbdTx I¡¨ /Z§+µ®cx{m=dhTqdAº
¶RdA°z dTKsv`bd J-,© +#« b¡b¢·=zRc b°dAx"®b¬`b¯0`Dmo°°z5¬k;svznkvd b¡b¢(£b¤t¥g¦A§©¨Wª±zxs{`bd =zRc $zklsvzm°¸¶dAº
x{˽Am5s{zRzoªIbd=s}¬;zx{²qk(zoª¸=zRcc nbb¯Amosvbmonbsvzcmos{mb¾(_7`bdb bnbsP°¯mobRnmoRd7mRAAdA qs{dT¿Zu J.,© +#« b¡b¢
Azkvkls{k,mkvd=sµzoª[monqs{zcm5s0mqIãdAsvxvdT°u dAdAx0m5svd" T1=zbdT=svdTsvzRd=s{`bdAx(nkvbsv`bd7 mx{m°°dA°q=zRc $zklº
s{zRm`b¯qz dAx0m5s{zx0k1zªOMNBODB,¦X¾9:Ásv`dAx2c °dTcdTs{m5s{zRIãb®g=gLg°bdTk2zoª =zqqd®R$=°nqbm
MP¡/,:kvTmobbdTx2mo$m0t§VSV mox0kvdAx\T9®od"m0`/ b¡b¢,£¤t¥g¦=§1¨:k}s0m5svd¯k2ms{nb b°dtzªs{`bdq¶Zqn$mo°$kls{mosvd"kµzoª
s{`bd'monqs{zcm5s0mb®qmo4svx0mo$klsvzk7mxvdz¿qs0mobdTK¿Zu4mo b°uZbsv`bdMNBODB1¦kvdAcmRs{Tk;xvnb°dTk;ª±zRx7 mox0mo°°dT°
Azc $zklsvz/mo/`b¯qb¾
¾:Á e"edq® <`m°¯ j©m²Zkvznmxmo tcmx n;znm°Ik@0¢¸¨ ¯§ ZzR b`b¯m5ºÁsv $zR°¯kT®cx{m=dhT'qdA¶RdA°z dT·s{`bd
iV 1 b¡b¢/=zRc °dAxµs{z=zRbbdT=sµsv`bd NV1svzZz°¯kldAs _n7hhtb=bhf$svz b¡¢,£b¤t¥g¦A§©¨(¾ NV1$ b¡¢Ks{mo²RdTkymRk
b bnqs NV1czqqdT°kT®R¬`0`4mxvdgdAsv`bdTx;mnqsvzRcm5s{mzx2d=s}¬;zx{²Zk2zoª©Azcc nbTm5svbmonqs{zcm5s0m=zRbbdT=º
s{dTsvzRd=s{`bdAxµ¿Zucd"mok(zª[kvzoºÁAm°°dT m(S+#,.') -32U&("%-( (#+ "0('#m ¾:Ásv`bdTxµc b°dTcdAs{mosvzIã®gLg=g°bd"k
zª =zqqdUT=®ZdTm0`D b¡b¢,£b¤t¥¦=§©¨Dk}s0m5svdgk;dTËs{`bdAx7mo4mnqsvzRcm5svzR4kls{m5s{dtzRx;msvnb b°dzoª¸°zZTmo°[k}s0m5s{dTkT®
mrs{x{mkvËs{zRk7mox{d<bd=svdTxvcbdT:mRA=zRx{bb svzs{`bdkldTcmosv¯Ak7zª,kvu$0`bxvzRb?>Tm5s{zR4¶RdT9s{zx0kA¾
q¾:ÁeTRedq®P°¯mo <dAx{¿bx0m5sT® mox{°zkhzqqx{Rnbd>R®Pmo$ y¶RdTk j©d}|}dTnbbdI¡b¨ /Zt§µ£+¡b¨ /K.By®icx{m=dhT
Azbbd"9s{dT¡b¨ /KeB k
¡ VpD¡ BR©¡ÀsvzZz°N_jO;gRUf,ª±zx PSROKsvzrs{`bdr¤t¥¦=§©¨¸´- qKeR
§©¨[§1¢Ds{zZz°º
¿zXpI¾ s bdmRkl dT=syzoªs{`b¯k2=zRbbd"9svz¬7mk,sv`dqdA¶RdA°z dAcdAsµzoªIm<RmosvdA¬7mXu<¿$dAs}¬PdTdA/
¡ VpD¡ BOR1¡
mD ¡b¢,£b¤t¥g¦A§©¨ _'hj©edUf»¾
F-/)C=./&,%'&G@ E/3KC=
b¡b¢,£b¤t¥¦=§©¨W bx{z5¶Zqd"k7m°¿bx0mox{uzoª1n$kldAª±nb°Ê®dAdAx{gªãmA°svdTkT¾ d'R¶Rdm/z5¶RdAx{¶ZdT¬ zoª,sv`bdTc <
r
c,x{klsT®sv`bdTxvdmxvd<s}¬;zrklcm°°¸°¿bx{mxvdTk4<µs{`bd PpDR§©¢R[§©¨R°¿x{mxvuR®b¬`b¯0`À bxvz5¶Z¯qdTk7¿$mkv< bx{zRx{mccb
nqs{°svdTkT®(m·sv`d¡¨¸¦ B1¢ °¿bx0mox{u®1¬`b0` 0`dT0²qk'¬`bdAsv`bdTxsv`d4¶5mox{zRnk<¿bmox{uª±x{mcdAs{k'svzÀ¿d
°²dTrsvzRd=s{`bdAx]IÊkldTd*c,nbx{deUT;mox{dc nqs{nmo°°urAzc mosv¿b°dL<(sv`b¯kmo°°z5¬kys{zbd=svd"9s¶RdAx0klzrc¯klcmos{0`
bx{z¿°dTckT®Z¬`b¯0`:mxvd°²RdA°usvzzqAAnbx¬`bdTKsvdAxvªãmAdTkT®b=zRc °dAx0kmo´Xzx7°¿x{mxvdTk7mox{dczqq½d"I¾
r
_7`bdJR ©¡ °¿bx0mox{u?k¿nb°sz svz zoªtsv`bd:x0mo ` czqqnb°d¾ :^sdAps{dAk s{`bdÀAm°°¿m0²?cdT0`$mob¯klc
qd"kvAxv¿dTKDZd"9svzÀ¬Ës{`:`bR`bdAxvº^°dT¶dA°ª±nb$9svz$mo°Ës{d"k<
_7`bdrAm°°¿m0²Àcd"0`mob¯kvc dAZnbcdAx0m5s{dTk<kvdnbdAs{m°°uÀsv`drklnT=d"kvkvzx0ktzª7m/R¶RdA?k}s0m5svd ®©¿bnbs
qzZdTk1bzosµk}s{zx{dµsv`dAc cdAczx{u¾8Àzx{dAz5¶RdAx"®TmRk¸s{`bd;Tmo°°¿$m0²cd"0`mokvck1bzosµkvnb b zRkvdT<s{zt¿d
xvdTdAsvx0mosT®5s2qzZdTk,bzsymo°°z5¬ bdA qs{`qºÊ½$x{kls(svx0mX¶dAx0k{mo°¯k©mo°zRxvsv`ck1s{z¿d bx{zRx{mccd"'xvd"=nbx0kv¶RdA°u¾
_7`bd JR1¡:°¿bx0mox{u:klzR°¶RdTktsv`b¯kt xvzR¿b°dTc¿uÀ¿nb°¯qbrs{x{mkvËs{zRD°¯kls{kT®¬`0`·AmoW¿$dnkvdT:ª±zRx
bxvzRx0mocctqdA bsv`qº»½x0k}s,svx0mX¶dTx{k{mo°¯kA¾I_1x{mkvËs{zR°¯kls{k(mox{d2°²dT °¯kls{k,zoªbs{nb b°dTk " ®
¬`bdAx{d kmK°m¿$dT°Ê®
mKkvnT=dTk{kvzxtkls{mosvdmo mr¿Zusvd=ºÁklsvx{bK¬`b¯0`DnkvdAx0kgTmoD bnbs'mZu
qª±zRxvcmosvzKsv`bdTu4¬7mosT¾µ°°I½dT°k.
®bmo$Gmox{dgzR qsvz$mo°¸mo$KTmo/¿$d'zRcsls{dT/ª,bzs
xvdT°dT¶Xms;s{zsv`bd'dApZ °zRx{mosvzKm°Rzx{Ës{`bc nb$qdAxAzkvbdAx0m5svz©¾
_7`bdzx0qdTxÀ¬`0`:s{`bdTmo°°¿mR0²rcdT0`mb¯klc*dAZnbcdAx0m5s{dTk7s{`bd kvnAAdTk{klzRx{k7¯k°d=ª«sgnbkv $d"=½dTI®
¿bnqs;sv`bd]JR ©¡°¿bx{mxvuAm4kvzxvsysvx0mokvsvzr°kls{k;mT=zRx{qb's{z ¶5mox{znkP=x{Ës{dAx{m Iãd¾¾®R°d=pq¯=zRx0m5º
b`b¯<zx0qdAx7z5¶dTx2s{`bd ½dA°¯bk#T9¾y_7`b¯kAmK¿d'nkvd=ª±nb°»®qª±zRx;kls{m=dR®qÀmo/Rs{dAx0m=sv¶d<klc nb°¯m5s{zx"®
ª±zxq¯kl °mXuZbsvzsv`bd'n$kldTxmo:mo° b`mo¿d=s{Tmo°°uºÁklzRxls{dT4°¯k}szª©s{x{mklsvz$kA¾
_7`bd JR ©¡/°¿x{mxvurm°kvzd=pq $zRxls0kcmoZur bx{csv¶d"k7svzrAxvd"m5s{d®qdT°dAsvdR®=zR uR®b bx{s"®mo/x{dA¶RdAx0kld
svx0mokvËs{zR °kls{k4[os{zAzc bnqs{d;sv`bd7°dAbsv`mmAAdTk{k1bx{dT=sv°u<sv`bd ÛÊØ
dT°dTcdAsµzoªbs{x{mklsvz°¯kls{k4[
svzDmT=d"kvks{`bdrq³dTxvdTRs's{nb b°d½dT°bk ®,m&zª7m:R¶RdA·dA°dAcdAsT¾ :^s mo°¯klz: bx{z5¶Zqd"k
Ës{dAx0m5svzRx{k©z5¶dTxIsvx0mokvsvz'°kls{k(mo$monqs{zcm5s{Tmo°°utsvx{nbTm5svd"k¸s{`bdPsvx0mokvËs{zR'°¯kls{k1˪bs{`bdPmX¶5m°¯mo¿b°d
cdTczx{urk7nkln!AdTssvzrklsvzx{d<mo°°©kln$A=d"kvkvzx0kPzoª,mR¶RdA/k}s0m5svdR¾
r
_7`bd §1¦ °¿bx0mox{u· bxvz5¶Z¯qdTk¶Xmxvzn$k' bx{dTqdA½bdT `mkv`qº»ª±nb9s{zRk¬`0` Tmo ¿dKm b b°d"?svzWkls{mosvd"k
m°¯mo¿dA°¯k;Azkv¯qdAx{dTmRk2¿Zusvd<k}s{xvbkA¾(_7`bdTkvdgª±nb9s{zRk7mox{dbdTdTqd"ª±zx7mT=d"kvkv `mRkl`qº»s{m¿b°dTk2m
ª±zRx;zR°o>Tcmb ktm°Rzx{Ës{`bc _;zR°e\f»¾ b¡¢,£b¤t¥g¦A§©¨·nkvdAx0ktTmoÀmb/s{`bdAxtz5¬À`$mkv`qºÊª±n9s{zRk<;kldTd
ª±zRxPkls{mo$=d _ ;t f^®Z¬`bdAx{d b¡¢,£b¤t¥g¦A§©¨À¯k;nkvdTª±zRx7m=zRc $mox0m5sv¶dgmom°uqkvk2zoª©¶5mox{znkP`mkv`bb
s{dT0`bbnbdTkT¾
r
_7`bdPpD§V*'°¿bx{mxvuk2¿bnb°Ës7zs{z zªIsv`bd*JR1¡°¿x{mxvumo bx{z5¶ZbdTkµ bx{csv¶d"kµª±zRx2cmomb
zRbdgzRxkldT¶dAx0mo°[kls{m0²qk5¾6gdA qs{`qºÊ½$x{klskld"mox00`Kmo°zRxvsv`ckPx{dA°urz/k}s0m0²qkPsvzk}s{zx{dts{`bd<d=pqdTAnqsvz/ mosv`
s0mo²dTª±xvzRc sv`bdËs{m°[kls{mosvdR¾(_7`dTkvdgkls{m0²qkPmox{dbzos7cdAx{dA°ukls{mR0²qkyzoª,k}s0m5svd"k<,s;¯kPm°kvzbd"=d"kvk{mox{u s{z
klsvzRxvdgsv`bdsvx0mokvËs{zRk7¿d=s}¬;dAdA:kls{m5s{dTk7ª±zRx0`mox0m=svdTxv?>Abmo/d=pqdTAnqsvz: mosv`:dAsvx{dA°u¾y°¯kvz®qdT qsv`bº
½x0kls7kvdTmx{0`/mo°zx{sv`bckPxvd Rnx{dts{zk}s{zx{dsv`d'°¯k}szª,kls{m5s{dTk;x{dAcmobb s{z¿$d<d=pq b°zx{dTKm5sdTmR0`Kkls{mR0²
û ØXÝ<áAóX÷OoÝ}Úyå^ýgÙAò}òló"ÚÊÚãßàáXürñ{Û7ÛÊØXÝ'Ý}áXúrÙ0â(ÛÊØXÝ'á5ñ0÷Ý "!$#&%úXÝ}áXÙ0ÛÊÝ}ÞÛÊØXÝ<âñ0òÁÛ7Û»ØXñ{ÛtÛÊØXßàÞøàßXÚÊñ0ÚrßàÞñä5ñ0Ú±ÛÊßàòló"øùñ0Ú
ßà÷ä"øàÝl÷Ý}á=Û^ñ{ÛÊßàÙ9áÙ0âZÛÊØXÝ(ÞãÛ^ñ0ò('oö5ñ0á"úÛÊØ5ñ{Û©ñ0øÛÊÝ}ÚÊá5ñ{ÛÊßÜ=Ýyßà÷äXøàÝ}÷Ý}áAÛ»ñ{Û»ßàÙ9áò}Ù9óXøàúFoÝ(Ù#Ý}ÚÊÝ}útßàáâó"ÛÊóXÚãÝ,Ü=Ý}ÚÊÞÊßàÙ9áXÞ¸Ù0â)+*-,.0/"1325467þ
qdT qsv`©¾_7`bdAx{d=ª±zRxvdR®d"m0`DdT°dTcdAs?m4kls{m0²ÀAzkvkls{kgzoª2sv`bx{dAd½dA°¯bk4<gm m#"0&("0i? ;®¸m ?&-#?i?
Azs{mbbsv`d °¯mo¿dA°©zª(sv`bd°¯mklss{x{mklsvz: dAxvª±zx{cdT:¿d=ª±zx{d'x{dTm0`brkls{mosvdQIãzxgmZnb°°© zsvdTx
ª kgsv`dbsv¯mo°ykls{mosvdUT=®©mo$Wmo l N =zRRs0mobbrs{`bd°¯k}s'zªysvx0mokvsvzkzR4znbs<zªPkls{m5s{d
sv`mos`mX¶d<bzs¿$dTdAÀdApZ °zRxvd"rudAsT¾czxmR¶RdA:k}s0m0²[®Zsv`bd °m¿$dT°¸mo/dTbd<½dT°bktmox{dzR qsvz$mo°%<,ª
bzRbd<zoª1sv`bdTcÂmox{d< bx{dTkvdAsT®Zs{`bdk}s0m0²r¿dA`$mX¶dTk7mRkmkvc °dkls{mR0²zoªµk}s0m5svd"kA¾
_7`bdPpD§V*'·°¿bx{mxvu bx{z5¶¯qd"k4m kvd=s/zoª=°¯mk{kl¯Am°t bx{csv¶d"kª±zRxKqd"mo°b ¬Ës{`k}s0m0²qkT¾ _7`bdTkvd
bx{csv¶d"k'mo°°z5¬svzDAxvd"m5svdR®©qdT°dAsvd®(=zR Zu®1m· bx{s kls{m0²qk4[¸s{zÀdAx0mkvds{`bdr=zRsvdAs0k'zoªm:k}s0m0²G[©s{z
0`bd"0²D¬`bdAsv`bdTxmDkls{mR0²Dk dAc qs}uG[(svz=zc bnbsvds{`bd4qdT qsv` zªmÀkls{mR0²G[1s{zWmT=d"kvk<s{`bd½dT°kzoª7s{`bd
dT°dTcdTs7zR4s{z :zoªµmk}s0m0²G[svz bn$kl`:zx7 z Àmo/dA°dAcdTRszR4s{z :zoª(mk}s0m0²G[qd=s0o¾
_7`bdTxvd/mox{dKm°kvz·kv dT=½$K bx{csv¶dTkª±zRxqdT qsv`bºÊ½x0klskvdTmx{0`©¾?_7`dAu mo°°z5¬ svz?qdTm°;¬sv` sv`dK°klszoª
kvnAAdTk{klzRx{k2zoª1sv`bdkls{mosvdzKsvz /zoª1sv`bd'kls{mR0²rmoI®qczRxvd'kv $d"=½$Am°°usvz=x{dTmosvdzxqdT°dAsvdsv`b¯k°kls4[Zs{z
0`bd"0²¬`d=sv`dAx7Ës7¯k2dTc bs}uS[s{zAzc bnqs{dts{k;°dTbos{`[ZsvzxvdTcz5¶ds{kP½x0k}s;dA°dAcdAsU[Rs{zdApZsvx0m9sPËs0k2½$x{kls
dT°dTcdTsmKsvz bnkv`:ËszR4s{z :zoª1sv`bdkls{mR0²G[qd=s{¾
_7`bd PpD§V*'°¿x{mxvur xvz5¶Z¯qdTkmRbqsvzm°Iª±dTmosvnbx{dTkgklnËs0mo¿b°d<ª±zxgzqº»sv`bdAº¼ u4¶dTxv½$Tm5svz©¾iczxklº
s0moAd®¬`bdAWAxvd"m5s{bKm4kls{m0²[®zbdAmWkl dTA˪±uÀm4cmopqcmo°,qdA bsv`Wzosts{z4¿ddApb=dAd"qdT¸®mRkt¬;dA°°,mRk
s{`bd'm9s{zR4s{z¿$d<s0mo²dTKª,sv`b¯k7cm5pqcm°¸qdA qs{`:k7x{dTmR0`bdT4zx¬`bdT4s{`bdk}s0m0²z5¶RdAx¼ z5¬k2¿dTTmonkvd<zoª
mcdAczx{urkv`bzxvs{md I±d¾¾®klsvzR b bbsv`bd'dApZ °zRx{mosvz¸®Z¿mR0²Rs{x{mR0²Zb svzsv`d' bxvdT¶ZzRnkk}s0m5s{d®qd=s0o¾^T9¾
r
_7`bd*H2§
K¡'<°¿x{mxvu ª±zx;cmmoRzbdtzxPkvdA¶RdAx0mo° m#"0&("0W"0&- o\m ®Z»¾dR¾®s{m¿b°dTk2ª±zxPklsvzRxvb's{`bdgkls{mosvd"k
zªIm< xvzRx0moc ¬`b¯0`rmox{d¶ZkvsvdT4qnbx{bmx0mo b`svx0mX¶dTx{k{mo°»¾ 2mR0`dA°dAcdAs2rm'R¶RdAs{m¿b°dtkPm'¿ZuRs{d
klsvx{®Rkvnb¿[q¶¯qd"s{zs}¬;z'½dA°¯bkT®s{`bd ( #&(m :½dT°4mos{`bd ( &(' :½dA°¯I¾µ_7`bdgkv?>AdTk2zoªIs{`bdTkvd½dT°k
¯kkl dTA˽$dT/¬`bdA/s{`bd<s{m¿b°d<¯k=x{dTmosvd"4mo$Ks¯k;sv`bdk{mocdª±zxm°°Is{`bd'dA°dAcdTRs0k7/s{`bd<s{m¿b°dR¾8Àzx{d
zª«svdA·s{`mo bzsT®,¿mkvd½dT°bk =zs0mo?kls{mosvd"k'zoª;sv`bd4x0mo b`·¿$dTDd=pq b°zx{dT I«s{`bdTkvd4kls{m5s{dTkmxvds{`bzRkvd
bx{zqqnAdT¿Zusv`dgRx{m b`rczqqnb°dUT9¾;tz5¬PdT¶dTxT®Rsv`bd¿mRkldt½dA°¯bk7Am4¿dn$kld"svzklsvzx{dtzsv`bdTx;m5s{m¾µ_7`bd
AzsvdTRs0kzoªµcmox{²r½$dA°¯bk Iã $zkvkv¿°u/dAc qs}uTmxvdqdAsvdTxvcbdT:¿ZuKsv`bdn$kldTxT¾6tnxvbrRx{m b`/svx0mX¶dAx0k{mo°¯kA®
cmox{²½$dA°¯bk2mxvdRdAbdTx{m°°unkvdTs{z k}s{zx{dmbbËs{zRmo°mosls{xv¿bnqs{dTk2mosls0m0`bd"svzkls{m5s{dTkI±»¾dR¾®¿mkvd½dT°k1T=¾
_1zm°°z5¬ ªãmklsmAAdTk{kA®dTmR0`rs0mo¿b°dg¯k;dnb b dTK¬Ës{`/mKmonbpZ°mxvu`mRkl`s0mo¿b°dsv`mos7m°°z5¬k2svzxvdAsvx{dT¶d
m/dT°dTcdAst`mX¶Zbrm¶dT:¿mkvd<½dA°¯I¾ czxtsv`b¯kx{dTmRklzR¸®bstktxvd nbx{dTKs{`m5ss{`bd ¿$mkvd<½dA°¯bkzªymo°°
dT°dTcdTs{k(mgs0mo¿b°dmox{dP mx{¬¯kldq¯k}s{$9sI«s{`b¯ky=zRqsvzqzZdTk(bzsy`bz°¯ª±zRxµcmox{²<½dA°¯bk#T9¾µ_7`bd7`mkv`
ª±nb$9svz?¯kkv $d"=½dT?¿ZuDs{`bdnkvdAx¬`dA·sv`bdrs{mo¿°d¯k=x{dTmosvd"I®1m·xvdTcm$k'=z$k}s0mos m5ª«s{dAx{¬;mx{bkT¾
czxgkvc °¯=s}u®Isg¯kbzos<mo°°z5¬;dT/s{z4x{dAcz5¶d mDdA°dAcdTRs'mo°x{dTmbuKdTRs{dAx{dTÀÀs{`bd s0mo¿b°d¾<°¯kvz®[Ës<¯k
zRk{kl¿b°ds{z czqq˪±ursv`bdcmox{² ½dT°kPzª¸sv`dgdT°dTcdTs;dTRs{dAx{dTrs{`bdgs{mo¿°dR®¿nqs;zos;sv`bdTx7¿mRkldt½dA°¯bkT¾
2mR0`KdT°dTcdAsdAsvdTxvd"4Ksv`bd<s0mo¿b°d'kmRkvkvzq=¯m5s{dT4mnbnbd<qdAp I±¿d=s}¬;dAdTgm_}
T9¾y_7`ZnkT®
mÀdA°dAcdAstÀsv`d's{m¿b°dAm/¿d x{d=s{xvdA¶RdT/Àsv`bx{dAdq˳[dAx{dAst¬7mXuqk<P¿ZuKs{kg$qd=pI®¿Zu/Ës0kt¿$mkvd'½dA°¯
Iãnklbsv`d'`mkv`4s0mo¿b°dUT=®bzx¿Zu4m zsvdAx7s{zËs0k7cdAczx{ur°zZTm5s{zR¸¾
tnqpq°mxvu ¶5mxv¯mo¿b°dTkmxvd:m5svs{m0`dT s{z mR¶RdA s{mo¿°dL<Ks{`bd S2" -/= R¶RdTksv`bd:qdAp zoªgsv`bd:°¯mkls
dT°dTcdTs<dTsvdAx{dTWs{zKs{`bds{m¿b°dL[©s{`bd l
"-/ =
¶d"kgsv`bdqd=p·zoªPsv`bd°¯mkls<dT°dTcdAs=z$klnb°svd"W
s{`bds0mo¿b°d IãWsv`bdAmkvd zª2mr¿bx{dTmRZsv`bºÊ½x0klsgkld"mox00`Àmo°zx{sv`bc T\[s{`bd
m\2 +#+#\m#m +#(2p"'
mo:s{`bd
&(->2')
+#(2p"'
mxvd7nkvdTª±zRx2kls{m5s{klsv¯Aky bnbx{ $zkldL<¸sv`dAuxvd"=zx0`bz5¬ cmukld"mox00`bdTkI±ª±zx2m'kls{mosvd¬sv`4m<R¶RdA
¿mRkldg½dT° T`mX¶d<kln$A=dTdTqd"KmKªãmo°d"I®qx{dTkv $d"9sv¶dT°uR¾
_7`bd7 bx{csv¶d"kµzo³[dAx{dT¿Zus{`bdH2§
K¡'g°¿bx0mox{u'xvd
¼
dT=sµsv`bd"kldbdTkvR0`bzRAdTk4<Isv`dAum°°z5¬ s{z=x{dTmosvd
mWqdT°dAsvds{m¿b°dTk4[¸svz/dAx0mkvdsv`bdTx'=zRsvdAs0kmWsvz: bx{s<Ës'nbbdAx'¶5mox{zRnktª±zx{cmos{k4[IsvzÀmRA=d"kvkgs{`bd
¿mRkld;mocmxv²½dT°k1zªmodA°dAcdAs(¶dA Ës0k1qdAp[5svzg bnqsµzx1d=sµmo dA°dAcdAs4[svzkld"mox00`mo dT°dTcdAs
R¶RdA/Ës0k¿mkvd<½dT°I®$z qs{zRmo°°ur$kldTxls{bst/sv`bd's0mo¿b°d'ª(zostmo°x{dTmbur bx{dTkvdAs4[qs{zrqd=s{dAx{cbd'ªym
s0mo¿b°d'ktdAc qs}u/zxª±n°°%[Ws{z4=zRkvnb°Ëstsv`bd¶5m°nbd zoªymonqpq°¯mox{ur¶5mox{¯mo¿b°dTkT¾;qËs{zRmo°°u®¬`dAD=x{dTmosvb
ms{m¿b°d®bzRbd'AmoÀkv $d"=ª±u4s{kcmopZcmo°¸kvo>Td®mRk7¬PdT°°1mk;sv`dm9s{zR4s{z¿$d<s0mo²RdA:˪,sv`kcmopZcmo°¸kvo>Td
¯k7xvd"m0`bd"rzRx¬`bdA/sv`d<s{mo¿°d<z5¶dTx ¼ z5¬k2¿dTTmonkvd<zoªµmcdTczRxvurkv`bzRxls0modR¾