HAL Id: inria-00070567
https://hal.inria.fr/inria-00070567
Submitted on 19 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.
A constraint-based algorithm for analysing memory usage on Java cards
Gerardo Schneider
To cite this version:
Gerardo Schneider. A constraint-based algorithm for analysing memory usage on Java cards. [Research Report] RR-5440, INRIA. 2004, pp.26. �inria-00070567�
ISSN 0249-6399 ISRN INRIA/RR--5441--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
A constraint-based algorithm for analysing memory usage on Java cards
Gerardo Schneider
N˚5440
Décembre 2004
Systèmes symboliques
+ ,.-/ 012
34658795:;=<*>@?A4CBD:465FE
G6H6IKJMLNPOI.IKH6NRQ9SUTWVYX6Z[OI
\^] S"_KO'Ja`*bdceO
f b@gghS ] JeO ] O'ikjO ] ikjOlc+mon@pUpoqsr taui'ONRQ ] ORv@qUqdp+r vUnRgwbdxUO'I
y&z{|8}~wd|o O0bdee
]
OIKIVYcJj[VWIgwbdg9O
]
JjO g
]
SUQ[TWONS@IKJb@JVYibdTYTYH1e[O'JO
]
NPVWcVYcxjO'JMjO
]
b/Ub@bo0b
] e
bdggTYO'JNbHg ] SCeZ[iORbFNFO'NFS ] H(S8UO ]K S8QhO'ibdZIKORSd2JMjO+eCHCcbdNFVYiVYcIKJbdcoJVWb@JVYSUcSdiTWbdIMIKOI/VYcIMVYeO
i'H6iTYOI' Og ] S8CVYeObPi'SUcIJ ] b@VWcoJKQwbdIMO'eb@TWxUS ] VYJMjNj[VWikjeO'JMO ] NPVWc[OIghS@JOcoJMVbdT TYSCSUg[IbdceDNRZ[JMZC
bdTWTH[
]
Oi'Z
]
IKVYUOaNFOJjS6eIj[O/bdTYxUS
]
VJjNSUghO
]
b@JMOI SUcFJMjOaQoH JO%¡iS6eO/S@*bdc(bdg[gTWOJ2¢J VWI^
]
VJMJO'c(bdI
bIMO'J.Sd ] Z[TWOI £ SUcO/¤S ] Obdikj¥QoH JO%¡i'SCeOVYcIKJ ] ZiJVWSdc6£PjVWikj¥bdTYTWS8IbiSUNPg9SUIMVJVWSdcwbdT ] ObdIMSUc[VWcxPbdce
VYJ1i'SUNPg ] VYIMOIaQhSdJMj¦VWcoJO ] b@ce¦VWcoJ ] b"¡g ] SCi'OeZ ] bdTbdcwbdTHCIKVWI' O§bdVWNPOesb@Jbdc¦bdTYxUS ] VYJj[N#IKZVYJbdQTYOJS
QhO¤Oe¥VWcoJS§Jj[O+g
]
SCSd2bdIMIKVWIJkbdcoJ/SCX(VYc¥S
]
eO
]
JSPO¨6J
]
bdiJ1b§iO
]
JV©wOe¥NFO'NFS
]
H(ZIMbdxUObdcwbdTHCIKO
] O
g ] S8dO§JMO ] NFVYcwb@JVYSUcSd^JjOb@TWxUS ] VYJMjNªbdI/ OTWTbdI/VJI/IKSUZcec[OIMIbdc[e«iSUNPgTWOJO'cOIKI/VYJj ] OIKghO'i'J1JS
bdc¥bdQIKJ ] bdiJVYSUcSdJMjOSUg9O ] b"JVWSdcwbdT¬IKONFbdcoJVYiISdJjOTWbdcxUZwb@xUOd
¥®o¯¬°K±R² }"³{@ G6Jkb@JMVWibdcbdTYH6IMVYI´NPONPS ] H&bdcbdTYH6IMVYI´i'SUcIJ ] b@VWcoJKQwbdIMO'eb@TWxUS ] VYJMjN¥´CUb@bPib ] e¬
µ·¶¸º¹¡»8¼0¸^½¾Y¹¡¿¤ÀÁ
ÂÃÄ"Ä@Å'ÆDÇÉÈKÊ/ËÌ.ÇÉÍÈ
¶*ÎaÏUÐRÑ
ÆÉÈÒ"ÓÍ/ÄÆÉÅ%Ô¤ÈMÓ¡ÇMÕUÖ¬×ÂØ Ù ÚhÂÛÜÞÝkßdàá Àd¾Wâ
Ýkß§ã äåßUækçéè
¹ á
¹^ê@¾
æ
¾Wâë»
á ¹ á ¾ ã'á
Ï á
¹¡¾¹À
Ý
»8ì
çíá
Ð
Ýïî âà â
áºç ð
¼ñ
æ
ìïë»"¸êo¸
à
»8ì¡âò¹¸ïóºô
õ2ö ÈÆ÷%ÆÊ8Å
ô
Â8ÓÍÒÈKøùÊÈÆºúøíÆÉøùûÉ÷
ôüÆ
Unité de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00
Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71
¡)(**1*' ( % * ) ,-1
{
O/J
]
b8@bdVYThIíVYcoJu
]
OIKIMOReu'JMO
]
NPVWc[O
]
IJkb@JMVWX ZONPOcoJIKVZcOb@ggTWVYib@JMVWSUc&UbdbU0b
]
eg9OZ[J
g ] S6eZV] O1Zceu'QhS ] eONPOcoJ.eO1NPuNPSUV ] OibdZ[IMOeOTVWcIJkbdcoJMVb@JMVWSUcFe[H6cwbdNPVWX ZO1eOiTWbdIMIKOIewbdc[I.TYOI
QhSdZiTYOISdZIaeu©wcVYIMIMSdcI/Zc«b@TWxUS ] VYJMjNFOPQwbdIKOReO+i'SUcoJ ] bdVWcoJO'Iag9SUZ ] eu'JMOiJO ] TWOIQhSdZiTYOI.O'J/TYOI
NFuJjS6eO'INRZ[JMZOTYTWO'NFO'c J
]
u'iZ
]
IMVUOI'S@J
]
ObdTWxdS
]
VJjNPOSUg9L
]
O IMZ
]
eOIg
]
SUx
]
bdNPNFO'I"Q H JMO¡i'SCe[OU2¢¡T
OIJ0g ] uIMO'coJu/i'SUNFNPOZc&O'cIMO'NRQTWO.eO ] LxdTWOI2£6Zc[Og9SUZ ] ikjwbdX ZO/VYcIKJ ] ZiJVYSUcFQoH JO%¡i'SCeOk£PX ZVÞghO ] NPO'J
eOI ] bdVYIMSUcc[ONPOcoJai'SUNPghSUIKVYJMVWSUcO'TWI¬VYT iSUc[IMVWIJORO'csZcO+bdcwbdTH6IMO+VYcoJ ] b0OJ/VWcoJMO ] g ] S6iu'eZ ] bdTWO@.SUZI
Oco6VWIMbdxUOSdcIZcbdTWxdS
]
VJjNPOX ZVÞgZVYIMIKOJ
]
O.eu'i
]
VJ Oc(S6Xg9SUZ
]
SUQ[JMOcV
]
Z[c&bdcwb@TYH6IMO'Z
]
eíZCJVWTYVWIMb@JVYSUc
eONFu'NFSUV] O1i'O ] JMVY©wu@.SUZI.Ocg ] SUZ[dSUcITbRJO ] NPVWcwbdVYIMSUcbdVYcIMV X ZOTbi'S ]M] Oi'JMVWSUcO'JTbi'SUNFg[TWu'JMZeO
gwb ]] b@gghS ] JZcObdQIJ ] bdi'JMVWSUceOTbRIKuNFbdcoJVYX6Z[OSdghu ] b@JMVWSUcc[OTWTYOaeZTb@cxobdxUO@
² |8{ ° "! # cwbdTHCIKO+IJkb@JMVWX ZOd´¬bdcwbdTH6IMOeO+NPuNPSUV] Od´9bdTYxUS ] VJjNPOQbdIMOeO+i'SUcoJ ] b@VWcoJO'I´9ib ] JO$
gZi'OIaUb8@b
' (
§ P) *'
) NRQhO'eeO'eIHCIJO'NFI'´@VïíO@IKghO'iVb@T¡g[Z ] g9SUIMOiSUNPgZ[JMO ] IHCIJO'NFI*QZVYTYJ VYcoJS0TWb ] xUO ] eOCVYiO'I´@b ] O2VYeOIKg ] Obde
bdceibdcQ9O1¤SUZceVWcIKVWNPgTWOxobdexUOJITWV+*dO/i'S,hOONb@ikjVWcO'I.bdceVWc(NPS
]
O1i'SUNPgTWO%¨(SUcO'ITWV-*@O/NPSUQVWTYO
gjSUc[OI/b@ce¥IKNb ] J.ib ] eI \^] SUx ] bdNFNFbdQTYOaIKNb ] J.ib ] eIab ] OIMNFbdTWT¬ghO ] IMSdcwbdT*eO'6VYiOIg ] S86VWe[OeVYJj
bFNPVWi ] SUg ] SCi'OIKIMS ] ibdgbdQTWOSd2Nbdc[VWgZTWb@JVYcxiSdc[©weO'c JMVbdT*ewb"Jkb[´hbdTWTYS8VWcxRJMjO+S8cO ] SdJjOib ] e¥JS
jwbUO/IKOi'Z ] Oabdii'OIMI JS+ikj[SUIMO'c(bdggTYVWib@JVYSUcI # gg[TWVWib@JVYSUcI'´oibdTYTWOePbdg[gTWOJI´6ib@cQ9OaeS8cTYSobdeO'e&bdce
O¨COi'Z[JO'esVWc(JMjOIKO+IMNFbdTYT¬iSdNFNRZ[cVWib@JVYcxReOCVYiO'I´ ] bdVYIMVWc[xNb_KS ] IMOi'Z ] VJ¡HVWIKIMZO'I ¢¡ceOO'e´ÞVYJj[SUZ[J
bdgg ] SUg ] Vb@JMO1IMOi'Z ] VJ¡HNFObdIMZ ] OI'´9bPNFbdTWVYiVYSUZI0b@ggTWOJiSUZ[TWeQhOVWc[IKJkb@TWTWO'e(VWcIMNFb ] Jib ] eIe[OIKJ ] S8H6VWcx
ewb@Jb[´[eVYIMi'TWSUIKVWcxg
]
Vdb"JOaVYc[¤S
]
Nb@JMVWSUc§S8UO
]
Jj[O/cO'J¡ S
]
*S
]
ghO
]
¤S
]
NFVYcx+cSdcCºbdZCJjS
]
VWIKOe&i
]
Oe[VYJ0ib
] e
J ] bdcIb@i'JVYSUcI'
j[ONFbdIMIKVYUOPZIKOSdIKZikj IMNFbdTYT2iSUNPNRZc[VWib"JVWc[xe[O'6VWi'OI+VYIVYNFNPVWc[OcoJ.Oc[iOd´VYJVWIOIKIMOcoJMVbdT
Jjwb"J/JjO'V
]
g[Tb@JK¤S
]
NPI´¬bdIa OTWT2bdI/JjORbdggTYO'JI/JMjwb@J/VYTWT
]
Zc¦SUcsJMjON´ibdc¦g
]
S86VWeO+IMSUNPORNPVWcVYNbdT
IMO'iZ ] VYJ¡HFxUZwb ] bdcoJOOVWcFS ] eO ] JMS+g ] OIKO ] dO1iSUcC©weOcoJMVbdTYVYJ¡HU´ VYc JMOx ] VYJ¡HPbdc[e(bdb@VWTb@QVWTYVYJ¡HSd VYc[¤S ] NFb@JMVWSUc
SxUZwb ] bdcoJOO+bdb@VWTb@QVWTYVYJ¡HPSd2JMjO+IKO ] 6VYiOIaS,¬O ] O'esQoHIKNbdTYT eO'6VYiOIJjONbdcbdxUONPOcoJbdceiSUcoJ ] SUT
Sd
]
OIKSUZ
]
iOIRDO@íxNPONPS
]
HVYIbi
]
Z[iVb@TVWIKIMZO@´wNbdVYcTYHFeZO1JMS§JMjOV
]
TWVYNFVJkb@JMVWSUcPSUcIMV+/Od
Z ]M] O'coJTYHd´@JMjONFb"¨CVWNRZ[NbdNPSUZcoJS@NPONPS ] H1¤S ] jVYxUjCÉJOikjIMNFb ] Jib ] eIb ] O10dp2 Sd )3)^\^f5476 ´
vdqUq82 S@ f5476 ´@p82 S@ f # 6 bdce§b.ewb@JbaQZI2S@ & vQVJI' 6 O'NFS ] H¤S ] Qbdc9* VWcxib ] eIDbdceRSdJMjO ] TWS80
Oce(ib
]
e[Ik b
]
O;:<082´:<082´=:2b@ce?>+QVJI
]
O'IMg9Oi'JMVYdOTYHdj ZI´wNPONPS
]
HRVWI0bUO
]
H&g
]
Oi'VWSUZ[I
]
O'IMSUZ
]
iO
jVWikjNRZ[IKJQ9O/NFbdcVWg[ZTb@JMOeFib
]
O'¤ZTYTYHUA@ÞS
]
Jj[VWI
]
ObdIKSUc´Q9SCS*6ISUcUbdbRib
]
e&JMOikjc[SUTWSUx@Hg
]
S8CVYeOI
bde[6VWi'OIJS bdggTYO'JeO'dOTYSUghO ] I¥iSUci'O ] cVWcx NPONPS ] H NFbdcwb@xUONPOcoJ O X ZSdJMO jO'cCBEDGFOibdZIMO
NFO'NFS
]
HVWcbaIKNb
]
Jib
]
eRVWI*UO
]
HIMib
]
iO@´UcO'VYJj[O
]
g9O
]
IMVYIKJO'coJ2cS
] J ]
bdcIKVWOcoJSUQ6_KOiJIIMjSUZ[TWeRQ9O i
]
Ob@JO'e
VWTYTYHo¡cVYTWTHIHKJíjOqUq´ GCOiJVWSdcsppLÉjwb@g[JO ] : & SdJMjORIb@NFORQ9S6S8*g ] S86VWeO'I1g ] Sdx ] bdNPNPVWcx§JVYgIaSUc
jS8 JMS«SUg[JMVWNPVWIMOFbdgg[TWO'JRi ] Ob@JVYSUc i'SUcIMVYeO ] VWcxsJMjO&NPONPS ] H TWVYNFVJkb@JMVWSUc[IB7DNM SUZ IKjSUZTYe bdTWIKS«TWVWNPVYJ
cOIJO'e NPO'JMjS6e VWcoUS6ib"JVWSdcI´j[VWikj iSUZ[TWe ObdIMVYTYH TWObdeJSIKJkb@iO*S8UO ]K S8¦¢¡c gwb ] JVWi'ZTb ] ´2b@ggTWOJI
IMjSdZTWe cSdJZIMO ] O'iZ ] IMVYdOibdTWTYIPHlQJùj[OqUq´GCOiJVYSUcR: & & L%(`*b@JO ] ´SUc G6Oi'JMVWSUcR: & p´*VYJIbH6IB7D # c
bdggTYO'J1IKjSUZTYe bdTYbHCI1ikj[OiO*sJjb@Jbdc«SUQ _KOi'JVYI/i ] Ob@JMOe¦SUcTHSUc[iOH ) UO'c JMjSUZxdjsJjO§bdQ9S8UORJMVWgI
b ]
O¤SUTYTWS8O'e QoH VYceZIJ
] H j[Oc g ] SUx
]
bdNFNPVWc[x¦bdggTYO'JIPbdc[e b ]
O¥VYc xUO'cO
]
bdT
]
O'IMg9Oi'JMOe´NPVWIJkb*@OI
] O'xob ] e[VWcxNPONPS ] HZIbdxdO£6TYV-*@ORJjO§VWc[IKJkb@c JMVb@JMVWSUc«S@b(iTWbdIMIVWc[IMVWe[OFb(TYSCSUg £sQ9SdJMjbdi'iVYeOcoJkb@TWTYH¥S ]
VWcoJO'coJVWSdcwbdTWTHU´wNFbHjwbUORcSdcC¡eO'IMV] bdQTYOi'SUcIKOX ZOc[iOI'1¢¡cDbdiJ´ÞJjO ] O+VYIacS@JjVYcxFVYc¥JMjO+IJkbdceb ] eI
jVWikj(g
]
O'dOcoJIbDcÞDVWcoJMOcoJVYSUcwbdTYTYH[QwbdeTH§
]
VYJKJO'c(bdggTYO'J JSb@TWTWS6ib"JO.bdTWTÞg9O
]
IMVWIJO'c JNFO'NFS
]
H§SUc(b
ib ] eS.O'ciO@´[Jj[OaeOJOiJVYSUc&Sd ] Oi'Z ] IKVYUO1NPO'JMjS6eIb@ce&TWS6SUgI VWcFQoH6JMOiS6eOI0¤S ] ON+QhO'eeOe(IH6IKJO'NFI
DIKNb ] Jib ] eIVWcgwb ] JVYiZTWb ] VYIbi ] Z[iVb@TVWIKIMZO1JS§JkbT*dOVWcoJSPbdi'iSUZ[c J
# I+Db ] bdI+ O(b ] O&b8b ] OJjO ] O&VYIRcS«b@bdVYTbdQTYOJS6SUT ¤S ] eOJOiJVYcxsJjOe[H6cwbdNPVWiPVWcIJkbdcoJVWb@JVYSUc
Sd2i'TbdIKIMO'IVYcIMVYeO1i'H6iTYOIabdceVU@S ]] Oi'Z ] IKVYdO¤ZciJVYSUcI¤S ] Ub@bPIKNb ] J.ib ] eI jOQ H JMO¡i'SCe[OUO ] V©wO ]
Jí` O ] q:U´` O ] qUvLï´2¤S ] VYcIKJbdci'Od´eS6OIRc[SdJ+dO ] VHg ] SUg9O ] JVWO'I ] OTb"JOe JSsNPONPS ] H¦Z[IbdxUO@sjO ] Ob ] Od´
ZceSdZQ[JO'eTYHd´2NFbdcoH«0bH6I+Sd
]
VYJMVWcxbdTYxUS
]
VYJj[NFI/¤S
]
eOJO'i'JVYcxIH6c Jbdi'JMVWiFTWS6SUgI´NRZ[JMZwbdTYTYH
]
Oi'Z
]
IMVUOPNFOJjS6eIFDO@íx´1J# GW>80L 1bdce O'dOc¤S
]
S8dO
]
¡bdgg
]
S¨[VYNb"JVWc[xJMjO§e[H6cwbdNPVWi§NPONPS
]
HZIMO'e¤S
]
bdc b@IMIMO'NRQTYO ] TWV+*dOTb@cxUZwbdxdOd¢¡c JjVYI1S ] *Þ´jS8 O'UO ] ´ Og ] SUg9SUIMOFbiSUcIJ ] bdVWcoJKQwbdIKOe b@TWxUS ] VYJMjN¥´
g ]
O'IMO'c JMOe¥bdIb+IKO'JS@
]
ZTYOI^£ SUcOa¤S
]
Obdikj(VYcIKJ
]
ZiJVYSUc6£¤S
]
IMSdTY6VWcxJjO/bdQhS8dO¡NPOcoJMVWSUcO'e(NFO'NFS
]
Ho
] O'Tb@JMOe i'SUciO ] cI' jO¤S ] NFbdTWVYIMN ikj[SUIMO'c 0bdIcSdJ&xdSdO ] cOe QoH NFO ] O¥bdOIJjOJVWi ] Ob@IMSUcIXB¦VYJFVWI
iSUNPg9SUIMVJVWSdcwbdTÞbdceVYJbdTWTYSIJMSRSUQ[JbdVWcbiO ] JMVY©wO'e(bdcwbdTH6IMO ] ZIMVYcx+JMjOag ] SUx ] bdN§¡bdIg ] S6Sdhgwb ] bdeVWxdN
DVïíO@Y´ ¤SUTYTWS8VWcxFJjOFZ
]K]
HoG..Sb
]
eVWIKSUNPS
]
gj[VWIMNJMSO¨6J
]
bdi'Jb(g
]
Sdx
]
bdN eV
]
Oi'JMTYH¥
]
SUN#JjO§g
]
SCSd
SdVJI.iS ]K] OiJcO'IMI' 4 cO¤Ob@JMZ ] OSdSdZ ] b@TWxUS ] VYJMjN VYIJMjwb@JVYJ S ] * I/eV] O'i'JTH(SUcJjOQ H JMO¡i'SCe[ORbdce
JjO ] OsVYIcScOO'e JS QZ[VWTWe O¨6J ] bewb@JbIKJ ] ZiJZ ] OI ¤OdxY´b iSUcoJ ] SUT S8ªx ] b@gjÞ 6 S ] OS8UO ] ´JjO
QoH6JMOiS6eOi'SUcIMVYeO ] Oe VWIPb ] Q[VYJ ] b ] Hd´^VÉOd OeS c[SdJPjwbUOsb@c H b@IMIMZ[NFg[JMVWSUc bdQ9SUZ[JJMjO¥QoH JO%¡i'SCeO
QhO'VWcx§g
]
SCe[ZiO'e¥QoHbYDºxUS6S6eZH/i'SUNPgVWTYO
] 4 Z ] bdgg
]
SobdikjVWci'TWZeO'IQhS@JjVWcoJ
]
b" bdceVYc JMO
]
¡g
]
SCi'OeZ
]
bdT
bdcwbdTH6IMVWI'"@ÞZ
]
Jj[O
]
NPS
]
Od´*JjOP¤S
]
NFbdTWVYIMN ZIMO'e VWIiSUNPgwb@JMVWQTYORVYJMjO¨CVYIKJVYcx¥ S
]
*6I+eSUcOb@J+¢
f
¢G #
Jù \^f qdp8Lï´jVWikjVWTWT*b@TWTWS8 JS ] O'ZIMOJjOiSdcIKJ ] bdVYc JIMSdTYUO ] ´wJj[O©[¨ ghSUVYcoJ.bdTWxUS ] VYJMjN b@ce¥IKSUNPOSd
JjOTWb@JMJMVWi'O+TWVYQ ] b ] VWO'I5D¡VWNPgTWO'NFO'coJOeHVWc S6X J\ VYiLï 4 Z ] JOikj[cVWX ZO§TWVYOI.VYJj[VWcJMjOIMi'SUghOS@ N N!
- J . LÉ´6jVWikjbdcbdTYH6IMO'I0IMSdNFO
]
ZcCÉJVWNPO.g
]
SUg9O
]
JVYOIS@bRg
]
SUx
]
bdNlVYJMjSUZ[JO¨COi'Z[JVYcxVYJ
4 Z ] ©wcwbdT¬xUSobdT9VWI JSSUQ[JbdVWc&b !O #$ ´[Z[IMVWc[x+JjOaO¨6J ] bdi'JMVWSUc(NPOikjwb@cVWIKN Sd*JMjO/g ] SCSd
bdIMIKVWIJkbdcoJ/SCX JF \ qdpLï´w¤S ] xUZwb ] bdcoJO'OVWc[x§[email protected][H6cwbdNPVWiVWc[IKJkb@c JMVb@JMVWSUc(S@i'TbdIKIMOIb ] Og9O ] ¤S ] NPOe
VWcIKVWeOaghSdJMOcoJVWbdT¬iH6iTWO'I.bdceg
]
S86VWe[VWcxb@cS8dO
]
¡bdgg
]
S¨[VYNb"JVWSdc&Sd*JjO1NPONPS
]
HZIKOeQoHbdcbdgg[TWO'J
GCZikjbdc bdcwbdTHCIKO ] i'SUZTWe«Q9OPbdeeO'eb@Ib(¤Z[ci'JMVWSUcwb@TWVYJ¡HSd Jj[OQ H JMO¡i'SCe[O§dO ] VY©wO ] jVYI1gwbdg9O ] VWI1b
© ] IJ.IKJO'gVYcIKZikje[V] O'i'JMVWSUc
j[OTb@cxUZwbdxdOFQ9OVYcxi'SUcIMVYeO
]
Oe VYIRo
6
` O JíG.aq:XLÉ´b #!O$ TWbdcxUZwb@xUOPJMjwb@JNFS6eO'TWIJjO
Ubdb/0b ] eaV] JZwbdT 6 b@ikjVWcO`*bdcxUZwb@xUOd¢JNFbdcVYgZTb"JOI ¤e[H6cwbdNPVWi8 SUQ6_KO'i'JMIbdceb ]M] bH6I2b@ceRQ9OIMVYeOI
JjO ZIKZwbdT IKJbdiO*bdce ] OxdVWIKJMO ] SUg9O ] b@JVYSUcI VYJ*i'SUNPg ] VYIMOIVWcoJMO ] O'IKJMVWcx¤Ob"JZ ] OITWV-*@OCV] JMZwbdToNPO'Jj[SCeib@TWTWI'´
DNRZCJZwbdTYTYH[
]
O'iZ
]
IMVUORNPO'JMjSCe[I´DZcwiSdceVYJMVWSUcbdT6_KZNPgIbdceIKZQ
]
SUZ[JVYcOI' O+bdIMIKZNPOJMjO
]
O+VWIcS
xob ] QwbdxUOi'SUTWTYOi'JMS ] ´hjVWikj¦VWI/JMjOib@IMO¤S ] Ub@b¥0b ] e¦Zg[JMSdO ] IMVWSdc vC:URG6Jkb ] JVYcx&VYJMjUb@b0b ] e
vCùvJjO/NFbdikjVYcOaVYciTYZeO'Ib+xob ] QwbdxUOiSUTYTWO'i'JS ] jVYikj(NbHPQhO/bdi'JMVY@b@JO'e&VWcodS8* VWcx§bdc # \ ¢ ¤Z[ci'JMVWSUc
b@JJjOO'ce¥S@JMjOO¨COi'Z[JVYSUc¥S@JMjObdggTYO'J´[cSdJeZ
]
VWcx§O%¨[O'iZ[JMVWSUc¬
j[OgbdghO ] VWIS ] xobdcVYIMOebdI¤SUTYTWS8I G6Oi'JMVWSUcvRQ ] VYO H&g ] O'IMOcoJMIJj[OTWbdcxUZbdxUO/Q9OVYcx§iSUcIKVWeO ] O'e
jVWTYO¦VWc GCOiJVWSdc & O g ] O'IMOcoJSUZ ] bdTWxdS ] VJjN O g ] S8dOd´VWc GCOiJVYSUc p[´/JO ] NFVYcwb@JMVWSUc Sd+SUZ ]
bdTWxdS
]
VJjN bdI& OTYT1bdI(VYJMI&IMSdZcecO'IMI¥bdce iSdNFgTYO'JMOcO'IMI&VYJMj
]
O'IMg9Oi'JJMS b@c bdQIKJ
]
bdiJVYSUc SdJjO
SUg9O ] b"JVWSdcwbdTIMO'Nb@c JMVWi'IFSdJjOTb@cxUZwbdxdOd FO¤S ] OiSdciTYZeVWc[x´VYc GCO'i'JMVWSUc n« OeVYIMi'ZIMIFjS8 JjO
bdTWxdS ] VJjNg ] O'IMO'c JMOe¥NbH(Q9O1VWNPg ] S8dOeVWc(S ] eO ] JS§VYci ] ObdIKONPS6eZTb ] VYJ¡Hd
'()
OaiSUcIKVWeO ] VWcPJjVYIgwb@ghO ] Jj[OajSUTYO1o 6 `*O1TWbdcxUZbdxUO.O¨CiO'g[J¤S ] IKZQ ] SUZ[JVYcOI ibdTYTWI bdce(O%¨[i'OgC
JVYSUcjwbdceTYVWcx[2¢JiSUNPg ] VWIMO'I´ÞbdNPSUcxS@JjO ] I´JMjO1¤SUTWTYS8VWcxK* VYceSdVYcIKJ ] ZiJVYSUcIB
G6JbdiO*(Nb@cVWgZ[Tb@JMVWSUcCB¬´! ´#"h´#"$wvC´%&('´()+*
` SCibdT¬@b ] VbdQTYOINFbdcVYgZTb"JVWSdcCB-,$ '"¬´.0/# 12
dZNPgVWcIJ
]
Z[i'JVYSUcIXB43059´#67 0/!
.ObdgNbdc[VWgZTWb@JVYSUcCB)72&h´$/$532,"´762/$532,"
# ]K] bH(VYcIKJ ] ZiJVWSdcIB8'11'+9#/# 1(29´!'1$1'97, +'"
6
OJjS6e¥ibdTWTYIbdce
]
OJZ
]
cCB:3;)<# 0=(2<.31+/+7'(,w´3>)$<# 0=(2+"25!3;)%3>/(2h´3;)$<# =(273;)$/7215'(?2¬´(1(2/+1)
j[OjSUTYO VYcIKJ ] ZiJVWSdcRIMOJ´obdIO'TWTCbdIbdc+SUghO ] b@JMVWSUcbdToIMO'NbdcoJMVWiISdho 6 `*OVWIxdVYUO'cRVWcJùGZ.aq:Lï
# o 6 ` O1g ] SUx ] bdNA@ jVWikj&VYTWTÞQ9Oaib@TWTWO'eVYcjwb@J ¤SUTWTYSI bB
0G#!O$8C #%
S ] IKVWNPgTYHd´
b C #% VYI b1IKO'J SdNPO'JMjS6eIEDGFIHKJLNM#OQP#Ri'SUcIMVYIKJMVWcxSd¬b1c6Z[NRQhO
]
O'eIMO'X ZOci'OaSdhVWc[IKJ
]
Zi'JMVWSUc[I
O§ ] VJOTSU(VLXWZY LQ[\D^]Z_#`;acbd3;)0/$1«JS¥eOc[SdJO§Jjwb"JJMjOPVWcIJ ] Z[i'JVYSUc b@Jg ] SUx ] bdN TYVWcO_#`¥¤ZIMZbdTWTH
ibdTYTWO'e§b4e#f
VWcNPO'JMjSCegD VWIh3;)/$1h` OJhijWkOml7nO0o$U#LpJW
R
QhO0JMjOIMO'J^S@bdTYTCJMjOj_#`%¡c ZNRQ9O ] I
OVWTWT*ZIKZwbdTYTYHSUNPVYJ.JjORIKZQIKi
]
VYg[Jq@§´¬Q9OVYcxZc[eO
]
IKJS6S6esJjwb@JJjORbdcwbdTHCIKVWIeOg9Oce[I1SUc¦bxUVUOc
g ] Sdx ] bdNr@P
+ '§[ '%
Og ] OIKOcoJ VWcRJMjVWI2IKOiJVWSdc§b/iSUcIJ ] bdVWcoJKQwbdIKOePbdTWxdS ] VJjN ¤S ] eO'JMOiJVWc[xJMjOS6iiZ ]M] O'ciOS@¬b )72&RVYcC
IKJ
]
ZiJVWSdcRVWcIKVWeO ghS@JOcoJMVbdT i'H6i'TWOI'´oeZO JS/VYc J
]
b"NFOJjS6eTWS6SUgIbdceVU@S
]
DN+Z[JZwb@TWTYH[
]
O'iZ
]
IMVUONPO'Jj[SCe
ibdTYTÉjO1bdTYxUS ] VJjNiSUc[IMVWIJI SUcJj ] OO.¤ZciJVWSdcI O>O_´ O>O_ 6bdce:J`jVYikj&iSdNFgZCJOI JjOVWcoJ ] b"
NFOJjS6eRiHCi'TWO'I´UJj[O0NFOJjS6eIibdTYTWOe] SUN VYc J ] b"NFOJjS6ei'H6iTYOI^bdceJjO¤NRZ[JMZwbdTWTH[ ] Oi'Z ] IKVYUONPO'JMjC
SCe[I/DbdI OTYThb@I JMjOaNPO'JMjSCe[I ] Obdikjwb@QTWO ] SUNJMjSUIKO8´ ] O'IMg9OiJVYdOTHU VYJMjFJMjOVYc[¤S ] Nb@JMVWSUcxdVYUO'cQoH
JjO'IMO+¤Z[ci'JMVWSUcI'´9JMjO+NFbdVYcbdTYxUS ] VYJj[N ikjO'iO*¥jOJjO ] b )72&VWcIJ ] Z[i'JVYSUcS6ii'Z ] IVWcIKVWeObFg9SdJMOcoJVWbdT
i'H6iTYOd2j[O0Nb@VWcbdTWxUS ] VYJMjNbdc[ebdTWToJMjObdQ9S8UONFO'coJVWSdcOe¤Zci'JMVWSUc[I2b ] Og ] OIMO'coJOeFbdIbaIMOJ2Sd ] ZTWO'I´
Obdikj
]
ZTYO b@IMIMS6iVWb@JVYcxSUcO^S
]
NPS
]
O^iSdcIKJ
]
bdVYc JMIJMSObdikjRVYcIKJ
]
ZiJVWSdcS@[Jj[O xUVUO'c+g
]
SUx
]
b@N¥*jO IMSUTYZC
JVYSUcSdCJMjO^IMOJS@[i'SUcIKJ ] bdVYcoJI ¤jVYikj+b ] O^Sd6JjO¤S ] N [Ka ]#[Ka@¬VWIJMjO^IMSUTYZ[JVYSUc
SdbTWObdIKJ©[¨ ¡g9SUVWcoJSUg9O ] b@JS ] SUQ[JbdVWc[Oe¦] SUN]C?F H biS ] SUTWTWb ] HSdb ] I%*6VíIY@V·¨6ghSdVWcoJ
jOS
]
ON´Jj[VWIOTYONPOcoJ.NbHQhOSUQ[JbdVWc[OebdI0Jj[OTYVWNPVYJ SdJjOIKJbdQVYTWVWIKVWcx+IMOX ZO'ciO [
[ ! aZa" #$h
O¥VYTWTIKjS8#© ] IKJjS8 JS eO'JMOi'J&VWcoJ ] b"¡NPO'JMjSCe TYSCSUg[Ibdc[e DNRZCJZwbdTYTYH[ ] O'iZ ] IMVUOsNPO'JMjSCe[I´
QhO¤S ] OIKjS8VWcxPSUZ ] NFbdVWcb@TWxUS ] VYJMjN¥
%'&)( *,+.-/+10-32546748:9"4;4<>=
O VWTYTe[O'©wcO J¡S ¤Z[ci'JMVWSUcI'´? O>O_b@ce O>O_.¤S ] eOJO'i'JVYcx iHCi'TWO'IVWc b=xUVUOc g ] Sdx ] bdN @B
O>O_VWTYTdQ9O eO©wcO'e+VWcoJ ] b"g ] S6iO'eZ ] b@TWTYHjVYTWO O>O_ VWTYTUg ] Sdgwbdxob@JMO2JjO ] O'IMZTJ*xUVYdOcQoH? O>O_VWcoJO ]
g ] S6iO'eZ
]
bdTWTHU
@A |8}~ °B } ² ® ³ *}~ !F~ A ~ !¯ {CD{EDGF VUOc=b g ] SUx ] bdN @§´ OeO©wcO¥JMjO¤SUTWTYSVYcx«Tb"JMJVYiOIH BH b
HIJLNM#OQPKJ iWkOml7nO0oU#L JWJML-[ ijWkOml7nO0o$U#LpJWJ iWkOml7nO0oU#L JWa%´UjO ] Oj[O ] O HKJL\M#OQP§bdceBiWkOml7nO0oU#L JW
b ]
OJjON S N!OO Sd*NPO'Jj[SCe&cbdNFO'IbdceT_#`kc ZNRQ9O
]
ISd @P´
]
O'IMg9Oi'JMVYdOTYHd´ÞbdceOL [ iWkOml7nO0o$U#LpJWPJ
iWOml7nO0o$U#L JWaVYIJjOTWb@JMJMVWiOSd*JjOg9S8O ] IMOJ.SdgbdV] I0Sd _#`k¡c ZNRQ9O ] IS ] eO ] O'e¥QoH&JMjO1ZIMZbdT IMZQ[IMO'J
] O'Tb@JMVWSUcjO.S ] e[O ] Sd9JjOg ] SCeZ[i'J Tb@JKJVYiO0VYIeO'©wc[Oe&b@I^¤SdTWTWS8IXBj[\D^]Z_#`]Q]RgaTS [\D:U]Z_#`VU]QTU ]RWUa
VYbdceSUcTH&V D b D:U´(_#`:b _#`VU´XQZYQU¬b@ce[R\Y,RWU
@wS ] SUZ ] g[Z ] g9SUIMO'I´TYO'JZ[IiSUcIKVWeO ] Jj[Oa¤SUTWTYS8VWcxTbdQ9OTYTWVWc[xS@ _#`kc ZNRQ9O ] IXB^]O_(ijWkOml7nO0o$U#LpJWa`
b
´ jO
] O b
VWIJj[O¤SUTYTWS8VWcxIKO'JB
bdcef
bg.JVihjPkQe#f F ijWkOml7nO0o$U#LpJWl .GCS´Þ¤S
]
iTWb
]
VJ¡H(Sdg
]
OIKOcoJkb"
JVYSUc´[ O1VWTWT¬g ] O¤O ] JS S ] *&SdcJMjOVWIMSdNFS ] gjVYiaTb"JMJVYiO
H b HKJL\M#OQPmJIiWOml7nO0o$U#L JWnJoL [ iWkOml7nO0oU#L JW'p
b a
VWcIJObde¥S@JMjObdQhS8dOTWb@JMJMVWi'Od OVYTWThZIMO _#`/JMS ] O'¤O ] JMSPb ] QVJ ] b ] HFNFO'NRQ9O ] ISd iWkOml7nO0oU#L JWbdce
g.JV¤S ] b ] Q[VYJ ] b ] HFOTYONPOcoJISd b
O§eScSdJbdIKIMZNPOPbdcoH¦IKJ ] ZiJZ ] OPSdc JMjO§Q H JMO¡i'SCe[OFg ] SUx ] bdN Q9OVYcx(iSUc[IMVWe[O ] O'e´O¨CiO'g[JJMjwb@J
Obdikj 67 /# .VYIVYcoJ ] b¡NPO'Jj[SCe bdQTYO : IKjS8IJMjO ] ZTYOI DSUc[O ¤S ] Obdikj+VYcIKJ ] ZiJVYSUcÞ¬ZIKOe¤S ] iSUNPgZ[JMVWcx
JjO1¤Zc[i'JVYSUcO O>O_ .SdJVYiO1Jjb@JJjOS ] VWxUVYc&SdbghSdJMOcoJVWbdTTYSCSUg(VYIbdTYbH6Ib 67 0/! YDºZgZH
f
ZTYOPQ:i'S
]M]
OIMg9SUce[IJMSPJMjOq67 /# ;D¡ZgZHajO
]
Oq0VYI0JjO1¤SUTYTWS8VWcx¤Zci'JMVWSUcsr`B
tvuxw
øùû
ü
Å'Æ y÷{z|zùÌûDÄdÈK÷V}øùÒ~/÷
ü
ÃÒ"Ó¡ÇÉøíÅ'Ò
ü
ÆÉÅVy ÇïÍÈ0ÄÆÉÅ8Ê8Ã"Ó¡Çzò÷kÇïÇïøòÓºÈ?. 5.øùÒÇïÅaøÇûDÈ)z
ü
Õ[ûDøùÒ"ÓÈ øíÇ Ê8ÈÄdÈÒ@Êû
÷VzùûïÅ^ÅÒÇïÍÈÄ"÷%Æ÷{y0ȺÇÉÈÆX ~'ø'ÈÒËÌÇïÍÈÓºÅ'ÆïÆÉÈKûïÄ@Å'Ò"Ê8øùÒ~ÆÉÃzíÈ ô[Ñ
ÅÆ÷~ø|ÈKÒ;y0ȺÇïÍ"ÅÊ ÷Ò"ÊÄÆÉÅV~'ÆÉ÷Vy ÓºÅ'ÃÒÇïÈKÆx ÛY÷%Ò"Ê
ÇÉÍÈÄ"÷%Æ÷{y0ÈÇïÈÆ
ó
Õ¬ÈÄÆïÈ
ü
ÈÆ2ÇÉÅûDÈKÈ uxw
÷û÷
ü
Ã"Ò"Ó¡ÇÉøíÅ'Ò
ü
ÆÉÅVyZK5Pn. { "øíÒÇïÅqx. 5 a¡¢¡Õ
ûïøíÒ@ÓºÈ ÷Ò"Ê£ *÷%ÆÉÈ ÷{z|¬÷Ì8ûXy÷%Ä"Ä@ÈMÊ0øíÒÇïÅ2ÇÉÍÈ5yûïÈ5z|ÈMûÞ÷%Ò"ʬÈ*Ê8Å'Òl¤Ç¥ ÆïøíÇïÈ. 5@÷ûÞ÷^Ä"÷%Æ÷{y0ȺÇÉÈÆwÅ ü ÇÉÍÈ üÃÒ"ÓºÇïøùÅÒ ô ØÍÃ"ûKÕ
ËÌ/¦W§s¨ª©«¬¬Èy0ÈK÷%Ò®W¯V¯ °¢ øòû÷ÒÈ5zùÈ5y0ÈÒÇÅ ü ÇïÍÈ ÄÆïÅ8Ê8Ã@ӡǪzò÷kÇïÇïøòÓºÈ ÷Ò"ÊT 5X¦W° ô ØÍÈ ûÉ÷{y0È^ÆÉÈ5y÷Æ }ÍÅVzòÊû
üÅ'Æ üÃÒ"Ó¡ÇÉøíÅ'Ò"û u/±
÷%Ò@Ê u/²
Ê8È"³@ÒÈKÊaËdÈ5zùÅ ô
q¯ ¢ )
uXw
3) sq¯ )¢ ¢3) x®W¯)¢ Û
ó
q¯ ¢ )
u3±
3) sq¯ )¢ ¢3) x®W¯)¢ Û
ó
®W¯¢1ª 5 n
uXw
3q¯ )¢ ¢3) x®W¯¢
u ²
3q¯ )¢ ¢3) x®W¯¢
Û ó
q¯ ¢ !) 5
u ±
3) x®W¯¢ ¢"3) x®W¯)|¢
u ²
3) x®W¯¢ ¢"3) x®W¯#"¢
Û_ ó
®W¯¢%$!&!'(&)%*+-,/.!0
q¯ )¢"3) x®W¯¢
Û-^
ó
q¯ )¢*!(-,!*-$
1
3) x®W¯32#465ª¨ ¢
Û7 ó
q¯ ¢%$98+*
q¯ )¢"3) x®W¯¢
Û;:
ó
bdQTYO:8B
f
Z[TWOI¤S
] O>O_
<>=@?ACBED3FEDHG>=
<%IJBED3FEDHKML N><>=+OP<%IRQ
S>S>S
KM=HBED3FEDUT>= N><>=+OPG>=+OP<%IOVKML+OVKM=>Q
S>S>S
KML@?ACBED3FEDHT>=WN><>=+OP<%IOVKML>Q
G>=HBED3FEDHKM= N><>=+OPG>=+OP<%IOVKML>Q
S>S>S
T>=
S>S>S
N><>=+OP<%IOVKML+OPT>=+OVKM=>Q
XY%Z
[>=
S>S>S
N><>=+OPG>=+OP<%IOVK\IOVKM=+OP]>=+OP[>=+O_^E]>=MQ
<>=`?AHBED3FEDUG>=WN><>=+OPG>=+OP<%IOVK\IOVKM=+OP]>=+OP[>=+O_^E]>=MQ
S>S>S
N><>=+OP<%IOPG>=+OVK\IOVKM=+OPG%IOP]>=+OP[>=+OV^E]>=EQ
KM=`?AHBED3FEDUL>=WN><>=+OP<%IOPG>=+OVK\IOVKM=+OPG%IOP]>=+OP[>=+OV^E]>=EQ
S>S>S
N><>=+OP<%IOVK\IOVKM=+OPG>=+OPG%IOP]>=+OP[>=+OV^E]>=EQ
G>=`?AHBED3FEDUL>=WN><>=+OP<%IOVK\IOVKM=+OPG>=+OPG%IOP]>=+OP[>=+OV^E]>=EQ
S>S>S
N><>=+OP<%IOVK\IOVKM=+OPG>=+OPG%IOP]>=+OP[>=+OV^E]>=EQ
]>=UBED3FEDH[>= N><>=+OP<%IOVK\IOVKM=+OPG>=+OPG%IOP]>=+OP[>=+OV^E]>=EQ
S>S>S
L>=
S>S>S
N><>=+OP<%IOVKM=+OPL>=+OVK\IOPG>=+OPG%IOP]>=+O [>=>Q
X aZ
@VYxUZ ] O;:8B ) ¨b@NFgTYO
Q[cbedgfhjkaEbih
bedJfh)jkj g.JVihj{ VY^;_#`0]Z_#` UqYlbedJfh)j
bedJfh)jkj ;_#`0] _#`iU SdJj[O ] VYIMO
>o
¢¡coJMZVYJMVYUO'TYHd´heO'JMOiJI jO'JMjO ] SU(VL WZY LQ[XD^]Z_#`Qa¬jwb@I QhO'Oc16VWIMVJO'eb"J TWObdIKJJ¡VYiO2 ] SUN SU(VL WZY L [XD^]Z_#`VUa´
VWc§jVWikjFibdIKOOg.JVaVWI bdee[OeFJMSM O>O_` O'J bm h)jMnÞQhOJj[O¤SUTYTWS8VWcxaIMO'JB bm h)jMn cefb7g.JVh)j k;_#``o _#` U
jOibdIKO¤S
] b 67 0/# ;DºeS8cZH1VWIIMj[ScVWc
]
ZTWOPïvU jO
]
OqkpVYI0JjO1¤Zc[i'JVYSUceO'©cOebdI¤SUTWTYSIXB
6p0[cbedgfhjma b h
bedJfh)jrq bm h)jMn VYo;_#`0]Z_#`{UWYlbdgfh)j
[cbedgfhjsq b atj;_#`0]Z_#` U SdJMjO ] VWIMO
o
j[O
] O D!qHVWIJMjO¥Z[IMZwbdTIKO'J&IKZQ[J
]
bdiJVWSdc SUg9O
]
b@JS
]
kpg
]
SUgwbdxUb@JO'IbdTYTJj[O¥g
]
SUx
]
bdN iSdZcoJO
]
c ZNRQ9O ] IbdcebdTYTag.JVh)jRnn¤S ] _#`OH1x ] Ob@JO ] JjwbdcB_#` ´©wTYJMO ] VYcx§bdTYT_#``H1IKNbdTYTWO ] Jjbdc _#`
f ZTYO( & .eO©wcOIq O>O_ ¤S ] JjORi'SUceVJVYSUcwbdT[_KZNPg´ÞjO ] O.VWIabdI/Q9O'¤S ] ORbdc[e 6u1VWIeO'©cOe bdI
¤SUTWTYS8IB
6u0[Rbdgfh)jaEb h
bedgfhjkq bm h)jwv¥ VYo;_#`0]Z_#`gxlyE?Ylbedgfhj
[Rbdgfh)jkq b azj;_#`]Z_#`gxlyE SdJMjO ] VWIMO
G:8qo
ku0VWI IMVYNFVYTb
]
JMSn6pB2VJ0b@TWTWS8I^JSRg
]
SUgwb@xob@JOabdTWTwJMjO _#`k¡c ZN+QhO
]
Ibdc[e&SUcTHPJMjO g.JVihjRnnhIMZikj&JMjwb@J
_#``H/VYIx ] Ob@JMO ] JMjwbdc _#`6x{yU2jVYIVWI cOO'eOeIMVYciO/JMjO35VYcIKJ ] ZiJVWSdc&VWIJMjO1iSdceVYJMVWSUcP¤S ] ©wc[VWIMj[VWcx
bPTYSCSdgbdceiTWOb ] THJMjOcO¨6JVWcIJ ] Z[i'JVYSUc(VWIcS@JVWcIKVWeO1IKZikjsTWS6SUg´6VYJMjSUZ[JO'TWVWNPVWcb@JVYcxJMjOibdIKOSd
q¯ )¢s%$+&'(&9\*+-,/.+01> 3
¨©«¬
3)
®W¯¢ g3)
®>¯E¢
3)
®W¯¢3
®W¯¢
Û ó
®W¯¢%$!&'(&)\*--,/.!0
¨ª©«)¬
3
®W¯¢3
® ¯E¢
3
®W¯¢3
®W¯¢
Û\ ó
q¯ )¢s%$98+*
q¯ )¢
q¯ #"¢
Ûw ó
®W¯¢*(-,+*-$
1
3
®W¯32#465ª¨ ¢
ÛQ_
ó
bdQTWOvZB f ZTYOI0¤S ] O>O_
bdcPSUZ[JO ] TWS6SUgiSUcoJbdVWcVYcx SU(VLXWZY L [XD^]Z_#` x ya% f ZTWO¤p IMjS8I^JjOibdIMO.Sd9JjOq35 Dºe[ScHk f ZTWO1ÉnU
iSUc[iO ] cI^CV] JMZwbdTNPO'JMjSCe§VYc dSCib@JVYSUc2GCVWci'O0Ob ] OiSUcIKVWeO ] VYcxjO ] O.SdcTYH+VWcoJ ] b"¡g ] SCi'OeZ ] bdTiH6iTWO'I´
JjOPiSdc JMOcoJSdT O>O_ VYIc[SdJg ] SUgbdxob@JMOe¦JSNFOJjS6e D:U(GCVYNFVYTb ].] Z[TWOI1¤S ] 3;)$<# =(2"253;).3>/(2 bdce
3;)<# 0=(273>)$/(215('(?2«NbHsQ9OiSdcIMVYeO
]
OeRj[Og1(2/+1) VWcIJ
]
Z[i'JVYSUc£
]
ZTWO 0o£¥e[SCO'I1cSdJ1g
]
SUgwbdxUb@JO
bdcoH JjVYcx´IMVYciOFOb ] O&VWcbdc VWcoJ ] b"NFOJjS6e bdcbdTYH6IMVYIs¢¡c ] ZTWOs %´43;)./$1IJkbdc[eI+¤S ] b@c H SdJMjO ]
VWcIJ ] Zi'JMVWSUc cSdJFeO'©cOe QoH Jj[O ] ZTWO'IsG:£¬ 0o VYc JMjVWI§ib@IMO¥JMjOVWc[¤S ] Nb"JVWSdc b@J O>O_ VYIFIKVWNPgTYH
g ]
Sdgwbdxob@JMOeJSJj[Oc[O¨6J.VWcIJ
]
Z[i'JVYSUc
OVWTYTZIKZwbdTWTH ] VYJO g.JV F, O>O_E[\D^]Z_#`;ajOc[O'UO ] g.JVh)jRnhF O>O_-[XD^] _#`Qa OPeO©wcO§JjO
¤SUTWTYS8VWcxRg ] Oe[VWib"JOB O>O_
dgfhj
g.JV F O>O_ [XD^]Z_#`;a O1IbH&JMjwb@J SU(VL WZY L [XD^]Z_#`;a VYIVWcbTWS6SUg&V,
O>O_
dgfh)j
C- ¢¡c @VWx[ :/OIMj[S gwb ] JSd*J¡SPcSUcIMS§ OTWT·¡IJ ] Z[i'JZ ] OeQoH JO%¡iS6eOg ] SUx ] b@NFI[JjO ] OIKZTYJ
Sd' O>O_ VWI1IMj[Scb@J1Jj[O
]
VWxUjoJgwb
]
JSd Obdikj g ] Sdx
]
bdN
\]
Sdx
]
bdN ïboai'SUcoJkbdVYcIcSi'H6iTYOd´ jVWTYOVWc
g ] Sdx ] bdN ¤QÞ bdTYTJjOTWVYcOI QhOJ¡O'Oc¥vdqbdce q+b ] O.VWcIKVWeOabiHCi'TWOS ] VYxUVWcwb"JOeFb@Jg ] SUx ] bdNlTYVWcO q[
@A | ® } °B } ² ® ³*}"~ !~ A ~ !¯ {Cï{D F VUO'c¥b§g ] SUx ] b@N @§´[OeO©wcOJjO1¤SUTYTWS8VWc[xRTb@JKJVYiO H B
H b HKJL\M#OQPmJIiWOml7nO0o$U#L JWnJ !g]n
jO
] O HIJLNM#OQP b@ce ijWkOml7nO0o$U#LpJWsb
]
O(b@IQhO¤S
]
Obdc[e,!g]?VYI+Jj[OZ[IMZwbdTTb@JKJVWi'OFVJj !G
jOS ] eO ] ¤S ] Jj[Og ] S6eZiJ1Tb@JKJVYiOVWIae[O'©wcO'e bdIa¤SUTYTWS8IB [XD^] _#`0];aaS[XD U] _#` U] UaVY bdce«SdcTYHVY
D b D:U´_#` b _#`{Uhbdc[e iUS@ÞS ] iSUcoUO'cVWO'ciO OVYTWTh ] VYJMO g.JV¤S ] §
j[O ¤ZciJVYSUcZ O>O_ ibdgCJZ
]
OIsb@TWT/Jj[OVWc[IKJ
]
Zi'JMVWSUc[I
]
Obdikjwb@QTWO¦
]
SUN VYcoJ
]
b¡g
]
SCi'OeZ
]
bdT1i'H6i'TWOI
Jj
]
SUZxUjNPO'JMjSCe(ibdTWTYI´6O¨6JO'ceVYcx: O>O_¢JVYI0eO'©cOeQoHJj[O
]
ZTYOIIMj[ScVWc(bdQTYOvCS@wS
]
IMb*dOSd
IMVYNFgTYVWi'VYJ¡HU´'JjO© ] IKJiSUcIJ ] bdVWcoJ ¤S ] ] ZTWOQ::¬jwbdI*Q9OOc ] VJMJMOcn O>O_
U
[XD^]Z_#`Qaj;g.JV ?d O>O_
U
[\D U]+ya%´
QZ[JVJNRZIJQhO1Z[ceO ] IKJMSCS6ebdIB .D"!*VYNFgTYONPOcoJVYcx D U
´¥ O>O_
U
[XD^] _#`Qaj[g.JV qd O>O_
U
[XD"! ]-yabdce
IMVYNFVYTb ] TYH¤S ]+] ZTWOQ:vdjO&Ib@NFO ] ONFb ] *«jSUTWe[I¤S ] JjO 3>)$<# 0=(2<31+/+#', ] ZTWO'I+SdJjO¤Z[ci'JMVWSUc
:J`d
%'&$# *,+.-/+10-32546748&%')('-(+*9"9,.-&//+100(1/X=22+3' +.-4>45T=
F VUO'cbg ] SUx ] b@N @§´[OeO©wcObPTWb@JMJMVWi'O H bdI¤SUTWTYSIXB
H b HKJL\M#OQP JKiWOml7nO0o$U#L JWnJL-[ HIJLNM#OQP#aJo!g]n
VJjJMjO+¤SUTYTWS8VWc[xFS ] eO ] ´ [XD^] _#`0]Q];a>SI[XD U ]Z_#` U]Q U] UaV,D b D U ´_#` b _#` U´¥Q\Y Q U bdce
?6 U #
xob@VWc´¤S
]
iSdc dOcVYOci'Od´¬ OVYTWT ZIKOg.JV+VWcIJObdeSd7bdc[e¥ O+VWTYTiSUc[IMVWe[O
] L [ HKJLNM#OQP?p