HAL Id: inria-00074063
https://hal.inria.fr/inria-00074063
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.
Mesh Partitioning Techniques and New Observations for 3-regular Graphs
Fabio Guerinoni
To cite this version:
Fabio Guerinoni. Mesh Partitioning Techniques and New Observations for 3-regular Graphs. [Research Report] RR-2623, INRIA. 1995. �inria-00074063�
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
Mesh Partitioning Techniques and New Observations for 3-regular Graphs
Fabio Guerinoni
N˚ 2623
Juillet 1995
PROGRAMME 6
1 $'23450 68795;:<"
=5>@?.ACBEDGFHJIACKB4KAML
NOQPMRMOTSUVUGWYX;Z\[]S^`_Ta@^cbd_TefWgJhiekjmlnaoWnpoUGPoqrWs^tefbTShiefPngWh]^fPMRMe`_TefW^cgJaoUurWOie`lnaoW
NOQPvTWh)wY^`SMqJefg
xYSzyoy{PMOihYq|WOQW_Q}oWOT_i}@W~gnXMn;ZMaoef^f^fWh MMZ $y{SRMWsb
0s4n Wq|Wbd_TOQef4WefgqJWshdSef^biPnUGWS^fRnPMOiefhQ}oUGbY_Ta@OiOiWsghQ^fefgaobiW;PnOa@gobihQOia4_ThQaoOiWq<UGWbQ}
y4SzOihQethQefPMgoefgoR{p]efhi}biPnUGWWUGy@}4SbQetbPngbiy{W_ThiOTS^UGWhQ}oPoqJbphQ}4Shefbpnhi}oPnbiW]UVWhi}oPoqJb]}oe`_i}efgJMPn^fMW
WefRnWgJMW_ThQPMO_TPnUGyoaohTShQetPngob u}@Wg Sy@yo^fetWq¡hQP£¢¤OQWRMao^`SzORMOdSzyo}obpYyoOQWJefPMaobVUGWhQ}oPoqJbG_Sg¥4W
hQ}oWPMOQWhie`_Sz^f^tVefUGyoOQPMWqcpnbi}@PMao^`qSbQhdSzhiWq_¦PMgvTW_ThiaoOQWy@OiPMWsb]hiOia@WM
§V¨J©cªi«¬{M®aogobihQOia4_¦hiaoOQWqUVWbi}@Wbp@RMOdSzyo}obpJy4SOQhiefhiefPMg@etg@R4pnoefbiW_ThQefPMgob
¯`°±
²¤³µ´¶
±
²·.¸f³µ¹µºT»
¼i½¾T¿ÀÂÁÃÄÅMÆÈÇÀÊÉMÁQÉÀtËÌÀÊÇCÀÍC¾ÃÎÂÇ
$+/ :0 "86 $5: " 2340 65
¨|¨ ]PMa@b"qrW_¦OiefMPngob"lnaoWlnaoWsb!Sz^fRMPMOQefhi}oUVWb _¦PMaoOTSgJhibVy4PnaoOG^fWy4SzOihQethQefPMgogoWsUGWgJhqJWb
USef^f^SzRMWbgoPngbihiOQa4_ThQaoOorWbÊSn__TWgJh]WbQhYUGefb5bQaoOY^fWb]UurWhi}@P|q|Wb]biy{W_ThQOdS^fWbpcqJWU"Szg4qoSzgh^tW_Sz^`_Tao^
qJWsb"nW_ThQWaoOib-yoOiPnyoOiWb]wYy@yo^felna]rWsWb"SzaiRMOTSyo}@Wb"£¢¤OorWRMao^fefWOQbp¡aog@W_TPMgvTW_ThQaoOiWWbQhyoOiPny4PnborWW
y{WOiUVWhihTSgJhYqÊSUurW^fefPMOiWsO5WghQ} WPMOQefW^fWbYSz^fRMPMOQefhi}oUVWb5yoOorr W_{rWqJWsghQb
¬{£sªd¨<U"Szef^t^`SzRWb5goPng"bQhiOQa4_Thia@OorWbpcRMOTSyo}oWsbpoy{SOihQefhiefPMgog@WUGWgJhpMoefbQW_ThiefPng
B C 55V%< "]0
D]}oWy@OiWbQWgJh SzOihie`_T^fW$efbefgJhiWsg4qJWq<hQP"RnefMWSgaoyhQPhi}oWUVetgJaohQWbiaoOQMW<P]hi}oWUVPMbQhYefUGy{PMOQhdSgJh
UVWhi}oPoqJbPMO]hQ}oWUVWbi}y4SzOihiefhQetPngoefgoRyoOQPMo^fWUFEJRMefMWgSzg"a@gobihQOia4_ThQaoOiWq<UGWbQ}!Szg4qSqJefbQhiOiefoa@hiWq
UVWUGPnOi$biJbihQWU ]efhi}HG yoOQP|_¦WbibQPMOibp{j4g4qIG q|etbfvTPMefgJhbiaoobQWhibPznWOihQe`_TWbP5hi}@WUGWbQ}P S{PMaoh
hQ}oWbdSzUGW)bieJW>K¤SH/ < '&L@ "AM5bQa4_Q}hi}4Szh]hi}oW_TPnUGUaogoe`_SzhiefPMg${Whµ WsWghi}@Wy@OiPo_TWbQbiPMOQbetb
UVetg@etUS^µ
Nµg¡SnqoqJefhiefPng p WG}{SMWU"SnqJWGS-bihia{qJPYhQ}oWbiP¢i_Sz^t^fWqO@ <cUGWhQ}oPoqJb]}oWsg Szyoyo^fefWq<hiP
)PRQS,TUWVX4Q<RMOTSyo}ob6D]}oWsbiW<bihia{qJefWb^tWSMq®hiP®etgJhQWOiWbQhiefgoRE_TPMgv¦W_Thia@OiWbSzg4qEShVhi}oWbTSUVW"hQefUGW
Pny4Wg@bbiPnUGWSOiWSbP]OiWbQWSOT_Q}¡efggJaoUGWsOie`_S^^fefgoWSzOSz^fRMWoOTSopc_TPnUoefg4ShQPMOie`Sz^cPMyohQetUVeJShQetPng poSg{q
Szyoyo^fe`_ShQetPngobhiPaogobQhiOQa4_Thia@OiWq-UGWbQ}RMWgoWsOdShQefPMgSg4q0PMhQ}oWO]j{W^`qJbf
D]}@Wy@OiPM@^tWsU#efb]S$ W^f^YJgoP]gVyoOiPno^fWU#efgVRMOdSzyo}hi}oWsPMOi[Z]\,^ ]}oe`_Q}etb]efgJhiOQefgobie`_Sz^t^fqJe`_"_Tao^fh1E
hQ}oWOiWSOQW]goPMhaYJgoP]gS^fRMPnOiefhi}oUVbchiPbiPn^fMW]efh0bA A<`c5efg$y4Pn^tJgoPnUGe`S^hQefUGWMdPnOiWPnWOpek4PngoWY_TPnao^`q
j4g{qbia{_i}GSzgGS^fRMPnOiefhi}@UpSga@U4WOPz bia4_Q}Gy@OiPM@^tWsUGb Pnao^`qSz^fbiP{W]biPn^tnWq$efgy4Pn^fg@PMUGe`Sz^MhiefUVWM
ebiy{W_Te`S^f^fVOiPnU#hQ}oWRnOdSzyo}J¢µhi}oWPnOiWhQe`_S^y{PMefgJhYPefWp@hi}oW$^fefhiWOTShia@OiW$etb)MSbQhSg{q_TPMUVyo^fW
dPnbihPchi}oW]efbQbiaoWb]qJefbd_¦aobibQWqV}oWOiW)}4SMW]{WWgVhdSYMWg$OQPMU y4Sy{WOibOQPMU hQ}oWSzyoyo^fe`_ShQefPMgJ¢µPMOQetWsghQWq
y{PMefgJh Pz.JefWpJU"Szefgo^fPMOy4SzOdS^f^fW^c_TPMUVyoaohTShiefPngob5PMgaog@bihiOQa4_ThQaoOiWq-UGWsbi}oWb4D]}oWy4Sy{WOQbfZ3^ip'ZÊ,^
yoOQPJeq|WS;µSefOi^f$4S^`Sg{_TWqV^fetbQh]POiWTWsOiWg4_¦Wb
w)b efbPhQWghi}@W_sSbiWnpoqJefbd_TOQWhiWy@OiPM@^tWsUGb SzOiWYa@bia4Sz^t^f$}4SOTqJWOhi}4SzgGhQ}oWefO _¦PMgJhiefgJaoPMa@b _TPnaogJhiWOÈ¢
y4SzOihQb'g@PMOhi}@Wy@OiPM@^tWsU~Pihjy4SzOihQethQefPMgoefgoRjKµSbPMyoy{PMbQWqVhiPk3 @ y4SOQhiefhiefPMg@etg@RMRnPPoq0OiWbQao^fhib
_SzgG{WYPnohdSzetg@WqJ$hi}oWefgJhiOiPoqJa{_ThiefPMgPz UGWhQOie`_TblP WnWOpJS$_T^`SbibP y@aoOiW^fRnOdSy@}J¢¤hQ}oWPnOiWhQe_sS^
UVWhi}oPoqJb_S^f^fWqk@ <'/,1"}4Sb5RJSefgoWq;y{PMyoao^`SzOiefhµefghi}oW]^`Szbih5nWSOQbnW SzOiWYy{SOihQe`_Tao^`SOQ^t
efgJhiWOQWbihQWqefghQ}oWU<pobiPVhi}oWs]ef^t^OiW_¦WefMWUGPnOiWShQhiWgJhQetPng {wYbSUShQhiWO)P5¤Sn_Thp{efghQ}oefbYbia@OiMWs
W_T^`SbibQekGhQ}oWbiW;UGWhQ}oPoqJbYSb Qbiy{W_ThiOTS^GSg{q QgoPMg|¢¤bQy4W_¦hiOdSz^µ
w)^f^PzmhQ}oWYS^fRnPMOiefhQ}oUGbcbQaoOinWMWq0}oWOQW]aobiWMpnPMO5_Szg4WYSnqoSy@hiWq;hiP{p,#m23n/$1"oD]}4Szhetb
hQP$j4g4qGS;y4SzOihiefhQetPngG]efhi}G bQaoobiWshibp@PMgoWSzyoyo^fefWb @etbQW_ThQetPngFK4Sz^Szg4_TWq0y4SOQhiefhiefPngGefgGhµPbQaoobQWhibM
^fPMR4opG hiefUVWbqNµg w)^tRnPMOQethQ}oU Mp5hQ}oefbOiW_Ta@OibiefnWoefbiW_ThQefPMguyoOQPo_TWqJaoOQW¡efb"_sS^f^fWqrs/$t,;u,=wvx
Szg4qVhi}oWoefbiW_ThiefPMgS^fRMPnOiefhi}@U efb%/,1:u,=ivsyzv1y
o
xM4D]}oWf{Wz|${
o
OiWyoOQWbiWsghhQ}oWhµ P$MWOQhiW biao@biWhQb
KCPMaohQyoaohMswD]}oW_TaohbQe}JsW[KUVWSbQaoOiefgoR¡_TPnUaogoe`_SzhiefPMg{WhµWWg yoOiPo_TWbQbiPnOibM-]ef^f^]4Wq|WgoPMhQWq.~
hQ}oOiPnaoRM}oPnaoh]hi}@etbYSzOihQe_¦^tW>KCbiWWw)yoy{Wg4qJePMOhi}{ShYSg{qGPnhi}oWsO]goPMhTShiefPng4S^ _TPngJMWgJhiefPngobMs
a m~ AEox]W_TaoOibQefMW%efbiW_ThQefPMg
OQW_ToefbiW_Th$Kj|GM
Kj RnOdSzyo} pG gJaoU{WOP5bia@obiWhQb8M
m G. s¨
¨J .{
¨µ¨
z oefbiW_¦hfK)|${ z |,{
o M
G z G?n$|wG
o
G?M,
z OiW_¦oefbiW_Th>K{ z |G z M
z OiW_¦oefbiW_Th>K{
o
|G o M
¨45
¨J .
D]}@WOiWSOQWbiPnUGWefg4_TPMgJnWgoefWg4_TWsbG]efhi}uhQ}oWaobQWPzOiW_Ta@OibiefnWoefbQW_ThiefPng ?g efOQbihpefhGU"S-¤Szet^
bQetRngoekjm_SzghQ^f]}oWg G efb$goPMhS<y4PWO$Phµ PWEeÂ8G <hi}oWOiWsbiao^fhiefgoR<y4SzOihiefhQetPng¡]ef^f^ g@PMh$4W
Wlna4Sz^f^t{S^`Sg4_¦WqcJW_¦PMg4qcp@hi}oWRnOdSy@}Gy4SzOihiefhQetPngoefgoRyoOQPMo^fWU _Sgog@PMh]{WbQPM^fMWqGJGS$qJefJeq|WSg{q
_TPng4lnaoWO)bihiOTShQWRME4SzgGPnyohiefU"Sz^ ¢µy4SzOihiefhQetPngefb]goPMhhi}oWOQWbiao^fh)P.hµ]e`_TW)oefbiW_¦hiefgoRGS$RMOTSyo}pMWnWgek
WSn_Q}oefbiW_¦hiefPMgefb]PMyohQefU"S^µ
NµgVbiyoefhQWPhi}oefb]PM@biWOQMShiefPng pJUGWgJhQetPngoWq04WTCPMOiWhQ}oWS^fRnPMOiefhQ}oUGb5_TPngobie`qJWOQWq}oWsOiWSzOiWPz.hi}@etb
hµJy{WMpohQ}4Sh]efbpJhQ}oWSOiWSz^t^i/,1"4SzbiWqc NµgPMhi}@WO] PnOdqJbpoW]et^f^cqJWbT_TOief{W]efhi}biPnUGWYqJWhTSef^
hQ}oWqJefMWsOibiWPMOQUGb5Pz.hi}@WOiPnaohiefgoW /,1:u$=wv1y
z
v1y
o
xM
DP)biefUGyo^fek)hi}oW]qJWbT_TOiefyohQetPngPcbiPnUGW5PzmhQ}oW]oefbiW_¦hiefPMgS^fRMPnOiefhi}@UGbps W]ef^f^a@biW]hi}@WY_TPMg4_¦Wyoh5Pz
1;@ s:w$<& q|WTj4goefhiefPngefghQOiPoqJa4_¦WqJ¥et^f^fe`SUbaZf ,^ipaobiWq;JS^f^nyoOiPo_TWq|aoOiWbe5SM_Q}S^fRMPnOiefhi}@U
RnetnWbSbd_Sz^`SOlna4SzghQefhµPMO;WSM_Q}¡nWOihQW Tp.Szg4q-OiPnU hi}oWOQWGhQ}oWGoefbQW_ThiefPng¡yoOQP|_¦WWqJbGSzbefg
w)^tRnPMOQethQ}oU o4D]}oWy@OiPo_TWqJa@OiWhiPG_¦PMUGy@aohiWhi}@W h &" rKChi}4SzhYefbYhQ}oWWM,^`SzOiRMWsbihMhdSYnWb
>K ^fPnR'MSzg4q-PMgo^f}4Sz^k hQ}oWhiefUGWSbSVCao^f^.RnPJP|q<bQPMOQhplP WnWOp dlna4Szbie^fetg@WSOS^fRnPMOiefhQ}oUGb
W oefbihpobQWWPnO]W 4SUGy@^tWfZÊX3^È
a m E)efe`qJW)JGUGWqJe`Sg
qJefJUGWqWKj||,{ z |${
o M
Kj RnOdSzyo} p-biWy4SzOdSzhiPMOj4W^`q M
5 hi}oW;UGWqJe`SzguPz s¨
{Wzi! { o
"
¬{$#p A|%G¬
m
'& us¨4
{Wzir{Wz)(* +
¨µ¨
{ o
r{
o
(*
¨45
¨45 ¬
¨J .
, & 0G34:]55$6¡$6$$
D]}oWVj4OQbihGSz^tRnPMOQethQ}oUp{hQ}oW.-YWsOigoefRM}{SgJ¢cefg¡S^fRnPMOiefhQ}oUpcSbqJWbT_TOief{WqE}oWsOiWqJPJWbg@PMh_TPMUVyoaohiWGS
oefbQW_ThiefPngK¤S^fhQ}oPMaoRn}efh5_Sg$4W]WSbief^fUGPoqJekj4WqhiPqJPYbQPM@aohOdShQ}oWO0mh0@W2SYRnefMWg@etbQW_ThQetPng
w)b ]ef^f^4W q|etbT_TaobQbiWq$^`ShQWOpsefhcetbca@biWqPzhiWsgShQWO.S@etbQW_ThQetPng}4Szbc4WWsg _TPnUGyoa@hiWq)JYPnhi}oWOUGWSzgob
D]}@WbQW_TPMg{qSz^tRnPMOQethQ}oU PMO)oefbiW_ThQefPMg<aobiWb;UGWhQOie`_TbYPnOetU{Wqoq|etg@RMbPnOYy4SzOihiefhQetPngoefgoR44Nµg<hi}@etb
OQWbiy{W_Thpcefh]etb]qJe0/cWOiWgJhOiPnU#S^f^chi}@WPnhi}oWsOibSz^fRMPMOQefhi}oUVb _TPMg@bie`qJWOQWq}oWOQWM
! #"%$
D]}oW -)WOigoefRn}4SgJ¢ cefg K- MSz^fRMPMOQefhi}oU etb$SyoOiPo_TWqJaoOiW-hiP <1 <m<c efUGyoOQPMWhQ}oWGbQeJWGPzYhi}oW_Taoh
~ Nµh]SbqJWsMW^fPMy{Wq<efghQ}oWWSOQ^f\'& b)oaohefh}4Sb{W_TPMUVW S aog4q@SUGWsghTS^ ihiW |hQ4PJPYRnOdSy@}
Sz^tRnPMOQethQ}oU Z)(,^i
|aoyoy{PMbiW- W}4SnW!S<@etbQW_ThQetPngrK:{Wz|${
o
M$]efhi}u_TaohVbieJW~ 6goPnOGSgJ¡nWOihQW X^fWh+*kKX4M04W
hQ}oW-,ÊPMaohÈ¢ÈqJWsRMOiWsW 6KCWqJRnWbRnPMefgoRVPMaohQbie`qJW$P]ethQbbia@obiWhMUVefga@b]hi}oW-,ÊefgJ¢iqJWRMOQWW qKWq|RMWb]efhQ}oefgefhib
bQaoobiWshMdPJefgoRjXhQPhi}oWPMhQ}oWO)y4SOQhiefhiefPMgVOiWbQao^fhib)etgS$goW _TaohQbieJWM
~-. ~P/*kKX4M
Szg4qVhi}Jaob]W 4_Q}4Sg@RMefgoRhµPnWOihQe_¦WbfXSg4q-0pJefgF{ z Szg4qI{
o
OQWbiy{W_ThQefMW^fJpoOiWsbiao^fhib)efg
~-.'.~POK1*kKX4M23*kK#0$MaP'46587M
]}oWsOiW+4 587 efb)hi}oW$gJaoU4WsOYPWqJRMWsb{WhµWWg XSg{q90KhQ}oW Sz^fRMPMOQefhi}oU~efb)MS^fe`qCPMOYUa@^thQefRMOdSzyo}ob
Sz^tbQPMs4D]}a@b]eÂ5WqJWTj4goW;hi}oW>A
TKXW|:0$Ma*kKX4M;2*kK10$MP¡<4 5=7 |
efhefbefg®hi}oWPnOi®y4Pnbiefo^fWhiP_TPMUVyoaohiWkTKX'|:0$M;PnOWSM_Q}Ey4SefO$PnWOihQe`_TWbGefg®PMyoy{PMbQethQWbiaoobQWhibVefg
>K#>
o
M)Sg4q!biW^fW_Th;hi}oW?,Êbi]Sy@hi}4SzhYU"S oetUVeJWsb?T4l]PWMWsOp{efhYUGefRn}h{WhQ}oW _sSbiW$hi}{ShYhQ}oWOQWetb
goP$y{PMbiefhQetnW0T{4D]}oW- <S^fRMPnOiefhi}oU bQaoRMRnWbihQbYS]ShQPWsbd_Szy4Wbia{_i}^fPo_S^{UGefgoefUSJpJOQWy4WShiWqJ^f
_TPngobie`qJWsOiefgoRGhQ}oW^fWSbQh] PnOihi}PnyohiefPMg
D]}@W"S^fRnPMOiefhQ}oU efb4SzbiWq efghi}oW0PM^f^fP]efgoRGPnobiWOQMShQetPng 'Jaoyoy{PMbQW"hQ}4Sh>XSg4q/0$}4SnWG{WWg
W 4_Q}4SzgoRMWqÌ4w g@W@* efbY_TPMUVyoaohQWqGSzbPM^f^fP]b
*.K1AWMa*kK#A'M2¡<4'B5 P '4<B7CA?D-E P X
*.K1FAMw*kK1FAM2E'4<GH7P¡'4<GH5IFJDLKRP M0
DP$biWWhi}@etbpMekNAVefb _¦PMgogoW_ThiWqVhQP^fWSJefgoRgoPoqJWLX{pJethQb Pnaohµ¢iqJWRnOiWW]ef^f^oefg4_TOQWSbQWSzg4qefhQb efgJ¢iqJWRnOiWW
]ef^f^YqJW_TOQWSbQWJ¡hQ}oWbdSUVW"SzUGPMa@ghpcOiWsbiao^fhiefgoRefgES<hiPMhTS^]efg4_TOQWSbQWPO*'J¡<4'B5n5w biefUGef^`SO
bQethQa4ShQefPMgPo__TaoOQb]PnO S$WgJhQWOiefgoRgoPoqJW0
D]}@W- GS^fRnPMOiefhQ}oU _Sz^_¦ao^`ShiWsb.S]bQWlnaoWg4_¦W]Pobi]SyobaX z |:0 z |X
o
|P0 oQHQRQ
X'S|P0:SSg4q;_TPMOQOiWbQy4Png4qJefgoR
RJSefgob?T z |T oQHQRQ
TS pnj4g4q|b]hi}oWefg4q|W LTVPhi}oW>:s: <JUS oefUaoU RJSefg
U"S
z:U U S uUS
S
V z T
NChi}oefb5RJSefgefb5y4PnbiefhiefnWMpMy{WOÈPMOQU hQ}oWWT0bi]Syob]}oe`_Q}}4SMW]OQWbia@^thQWqVefghi}oW)U"S oefU$aoU hiPnhdS^@RSefg
D]}oW;yoOiPo_TWq|aoOiW$efb OQWy4WShiWqbQWMWOTS^hiefUGWbaogJhief^cgoPbQ SzyobYSOQWU"SMq|WM
a m E-)WOig@etRn}4Sg|¢ Ìetg
YnWOi^fefgK)|${
z
|,{
o M
KYXefMWgS$oefbiW_ThQefPMgFK:{
z
|:KfMWSn_Q}"bQaoobQWhP.bQeJWZ>Szg4q_TaohYbQeJWf~p'M
K$hi}oWSz^fRMPMOQefhi}G_TPngobihQOia4_ThQbSgoPnhi}oWO]@etbQW_ThQetPng]efhi}_Taoh:Jse}JsW ~ . & ~ AM
E R{ z CKrR{
o
5XJD-E%|:0D9K bia{_i}hQ}4Sh?T KXW|P0,Metb]US
T z T z T
X z .X C0 z 0
E E P X CKrK.P 0
¬{ E]u$¬9>¬
¬{OA-D-E%|:FDLK ¬
*kK1AWM6*kK1AWM;2¡<4
BM5 P <4
B7
*kK1FMi*kK1FMN2®'4
GH7 P '4
GH5
¨45 ¬
5X D9E%|:0D9K bia4_Q}hQ}4Sh?T KXW|P0,M5efb]U"S
T0 T 0.pz;2OT
X .X C0 0
E E PX CKrK P0
¨45 ¬
K$hiPMhTS^cRJSefgob]}4SnWY{WWg_Sz^`_Tao^`ShQWqAM
5 TVbQa4_Q}hi}4Szh0 efb]U"S oefU$aoU
m
&$s¨
¬{ #6E] )¬ TG¬
{'zi {Wz6P 3X { o
r{
o P 0
{'zi {Wz)(*M0 { o { o (*X +
¨45 ¬
K>D]}oWgoW _TaohQbieJWefb0~ . ~ P >AM
¨45
¨J .
9 6 6"O /! #"%$
)aoWhiP)ethQb yo}JJbie`_Sz^Jg4ShQaoOiWMphQPPnaoOpYJgoP]^fWq|RMW5hQ}oefb.S^fRnPMOiefhQ}oU efbPMgo^fSzyoyo^fefWqhQPYUGWsbi}oWbsNµg4qJWWqÌp
efhibSzyoyo^fe`_ShQetPnghiPVRMOTSyo}J¢µhi}@WPMOQWhie`_Sz^5yoOiPno^fWUGbpcqJWy{Wg4qJbPnghQ}oWH$hj/&&P]hi}oW$RMOTSyo}<efghQP
bQPMUGW;U"Sg@eÂCPM^`qc4l]PWMWOpcefhYefby4PnbibQet@^tW$hiPVaobiWhQ}oWS^fRMPnOiefhi}oU<pJJ"WsU4Wq@qJefgoRGhQ}oWRnOdSzyo}efgS
PngoWqJefUGWsgobiefPMg{S^cqJefbd_TOQWhiW$biy4Sn_TWSM__TPnOdqJefgoRVhiPhQ}oWRMOTSyo}@e_sS^.q|etbQhdSzg4_TWhQPbiPMUVWOiWTWsOiWg4_¦WgoPoqJWM
D]}oWVOiWbQao^fhiefgoRSz^fRMPMOQefhi}oU KµShQWOhi}@WGOiW_TaoOibQefMW"_¦PMgobQhiOia{_ThiefPMgWM}4Szb{WWg_sS^f^fWq ,#m23 3 @
/,1"xXf.Zf ,^iJW]ef^f^4UVWgJhiefPMgVethoOQetW4Gefghi}oW^`SbQh]hµ P$biW_ThiefPMg@b
D]}@WY_TPMg4_¦WyohY_TPnUGWbOQPMU W^fWUGWsghTSOQbiPn^te`q;UGW_Q}4Szgoe`_Tb zbiWW)PnO.W @SzUGyo^fWLZf ^ÈpJSg{qPMOYbMWsOi
W^f^PMO]hµP"qJefUVWgobiefPng4S^µpnaogoekPMOQU#UVWbi}@Wb{W_TPMg@bie`qJWOSUVWbi}hQPG{W S$bQPM^fe`qPMMvTW_ThE]efhQ}
qJWsgobiefhµKAMspcy{PMbiefhQetPngoWq-]efhi}OiWsbiy{W_ThhiPSzgPMOihQ}oPMg@PMOiUS^OiWTWsOiWg4_¦W"bQJbihiWsUNCYWOiWy@OiWbQWgJh
SzgS oefb hi}oOQPMaoRn}hi}oW;PMOiefRnetgSzbYSaogoefhTSOiVMW_¦hiPMO p@hi}oWhjhj$48;5f'," !Pz5hi}oWbQPM^fe`q"
_Szg4W]OQefhihiWsg!SzbYSlna4SMqJOTShQe_PnOiU
!4K#a|$ WM6% '&(!K#aM
D]}oW<U"SzhiOQe !4K M!etb_S^f^fWq SguefgoWsOihie`S U"ShQOie efhGefbbiJUGUVWhiOQe_VSg4q qJWTj{goefhiW<y4PnbiefhiefMWn6D]}oW
qJe`SzRMPMg{S^{WgJhiOiefWbSOQWhi}oWUVPMUGWsghQaoUbP5efgoWOQhie`S]efhQ}"OQWbiy{W_ThhQPhi}oWOiW¦WOiWsg4_TWGS oefb
! zz KaM
K1F
o
2
o M KAM4 A
!
oo
KaM
K
o 2 A o M KAWM4 A
!AKaM
K1A
o
23F
o
M(KAWM4(A
D]}oW;goPMgqJe`SRMPng4S^{hiWsOiUGbYSzOiWhi}@WyoOiPoqJa{_Thib)P.efgoWsOihie`S
! zo
K#aM P
K1F AM KA'M4(A
! z
K#aM P
K<A'M(KAWM4(A
! o K#aM P
K1A FAM(KAM4(A
D]}oW$bd_sS^`SO!K#a|$ 'M)UGWSbia@OiWb)hi}oWefgoWsOihie`S KPMy@y4PnbiefhiefPMghQPG_i}{SgoRnWefgSgoRnao^`SO]UVPMUGWsghQaoU MOQPMU
hQ}oWPMMvTW_Th ¥]}oWg<hiPMOQbiefPMg<efbSyoyo^fefWq<S^fPMg@RGhi}@W S |efb g@OiPMU hQ}oWyoOQPMy{WOihQetWsbPz hi}oWUShQOie
NKMp@ WnYg@P hQ}4Shhi}oWsOiWSzOiW z | o | PMOQhi}oPngoPMOQU"S^{MW_ThiPnOibY]efhQ} !4KaM p ipoSg{q 5_Szg
{WSbibQaoUGW]hQP{WefgGqJWbd_¦Wg4qJefgoRVPMOdq|WOg@aoOihQ}oWOQUGPMOQWMpnetgVJetWsPz.hQ}oW[PnaoOdSzghÈ¢;gefbd_Q}oWsO]UGefgoefUGS
yoOQefg4_Tefyo^fWpoW}{SMW
0 UGefg
z & !4K M
Szg4qhi}@WUVefgoefUaoU efbYPM@hdSefgoWq"Szh M Nµh]etb)WSbQGhQPyoOiPnWhi}4Szh]hi}oefb)PMyohQetUS^ !etb)efgMSzOie`SgJh
aog{qJWOS$hiOTSgobQ^SzhiefPMgPz.hi}@WOiWTCWOiWg{_TWbiJbihQWUWl]PWMWsOp{hi}oW;MS^faoWYefhQbiW^k efb]goPnh1Eoefh]efb]UGefgoefU$aoU
Pngo^feÂ5WhdSYnWSbQbQhiWU ]efhQ}GPMOQefRMefg"Szh]hi}oW_TWgJhQWOP.USbQb
B Kd 1rM
A KAM4 A
G Kd 1rM
FKAM4(A
Kd 1rM
KAWM4(A
]efhi} 4Wsetg@R qJW¦j4goWqSzb]hi}oW;etgJhQWRMOTS^cPhi}oW$qJWgobQethµJ
WSbYefh)U"SJpMhQ}oWWsetRnWgJMW_¦hiPMO yoOiPJe`qJWb)]}4Sh)]et^f^4W$hi}oWi^fPngoRMWbQhGS |efbPMOSaogoekPnOiU
PnMvTW_Th1Nµh_Sg;4W _¦PMUGy@aohiWq)JSgJYWs^tWsUGWgJhdSzOi)yoOiPo_TWq|aoOiWMpzbia4_Q}Szb y{P WOPMOxYSJ^fWefRM}YefhQWOdSzhiefPMg
D]}oWsg hQ}oW Sz^fRMPMOQefhi}oU'y@OiPo_TWWq|bSbVW oy4W_¦hiWqE)yoOQPvTW_ThefgJhiPhQ}oW S oetbSg4q®oefbQW_Thhi}oW-j4g4q hi}oW
oefbQW_ThiefPngJbiPMOQhiefgoR{4D]}oWyoOQP|_¦WqJaoOQWefb]qJWbd_¦Oief4WqefgGw)^fRMPMOQefhi}oU
a m EoNOQetg{_Tefy4S^NµgoWsOihie`S
yoeKj|${Wz1|,{
o M
K$WSM_Q}nWOihQW Ua@bih}4SMWS$¢iqJefUGWgobQefPMg4Sz^oWU{WqoqJefgoRA K1A |PF | M?M
B & G &
&
K_TWgJhiWOPz.U"Szbib?AM
¬{$#6E] ¬ ¬
B B 2 A G G 2 F
2
¨45 ¬
K$etg@ethQe`S^feJW]efgoWOihQe`S$U"ShQOie AM
!f&!
K$UGPMUVWgJhdSSg{qGy@OiPoqJa4_ThQbYPz.efgoWOQhie`SjAM
¬{$#6E] ¬ ¬
!:BRBf%! BHB 2 K1F P GAM
o 2 K pP
M o
!:BRG* !:BRG0POK1FP
GAMK pP
M
!:G=G8 !:G8G2 K P
M o 2 K#AP
B4M
o
!:G
!:G
POK pP
MK1ApP
BM
!
!
2 K1AP
BM
o 2 K#FpP
GAM
o !
B>%!
BLP K1AP
BMK1FP
GAM
¨45 ¬
! G=B ! BRG ! G %! G ! B
%!
B
5WsetRnWgJMW_¦hiPMO P5^fWSzbih]WefRMWsgMSz^faoW
¬{$#6E] ¬ ¬
& A
¨45 ¬
K$hi}oWy@OiPvTW_ThiefPMg@b SzOiWhQ}oWbiWy4SzOdSzhiPMOj4W^`qAM
z 5qJefJUGWqWKj||,{ z |${
o M
¨J .
2 G:]55$686$
"/6 "
D]}oW)aobiW)P WefRnWgJMW_ThQPMOQb5PnO5RMOTSyo}|¢¤hQ}oWOiPnOiWhQe`_S^ _TPnUGyoa@hdShQefPMg_Szg4W)hiOTSM_TWq04SM_YhQPUGPnOiWhi}4Szg
hµWgJhµMWSzOibp@oaoh)ethQb]OiWJefMS^ SzbS$aobQWTao^hiPJPM^ÌPMO]y{SOihQefhiefPMgoefgoR$aogobQhiOQa4_Thia@OiWq-UGWbQ}oWb)etbYq|aoWhiP
NPMhQ}oWg 0 <WZ,^5Sg4q JefUVPMgZt ,^i
D]}@W!_¦PMOiWPzhi}@W!Sz^fRMPMOQefhi}oU efbhi}oWaobQWPhi}oW p @W<} A," Phi}oWRMOTSyo}EhQP _TPnUGyoa@hiW"S
_Q}4SzOdSM_¦hiWOQetbQhie`_;MS^fa4ShQefPMg pMSzbqJWsbd_TOQet{Wqefghi}@Ww)yoy{Wg4qJe Ja@obiWhQbP_¦PMOiOQWbiy{PMg{qJefgoRGnWOihQe_¦WbYPz
bQa4_Q}¡_i}{SOdSn_ThiWsOiefbihQe_$MSz^fa4ShQetPngobLKa@biWq<SbSbQWy4SzOdShQPMOj{W^`qM]yoOQWbiWsOiMWVhi}oW$PMOQefRMefg4S^_TPMg@goW_ThQetJefhµ
PzhQ}oWRMOTSyo}
Nµg-RMWgoWsOdS^bia4_Q}<bd_Q}oWUVWbSg4q-MSOQeSzhiefPMg@bYSOiW$UGPnOiWW |y{WgobQefMWhi}{SgPnhi}oWOQbpc@aohhi}oW-biWWU
hQPyoOiPoqJa4_¦W4WshihiWsOOQWbia@^thQb%ZÊ,^ipZÊ,^Èd!PMOiWPng"hQ}oefb]biaoMv¦W_ThYPng.JW_ThQetPngo
D]}@W?YMW$efbibia@WYefghQ}oWYbQy4W_ThiOTS^ S^fRnPMOiefhQ}oUpsetbhi}oW]WefRnWgJMW_ThQPMO]_TPMUVyoaohTShiefPng Sg{_JPMbUGWshi}oPoq
}4Szb4WWsg<¤SMPnOiWqcp@goPMg@Whi}oWs^tWsbibhQ}oWG_TPMgJnWOiRnWg4_TWefbYbQ^fP Wq!4W_sSaobQWGhi}@WbQU"S^f^fWbQh]WefRMWgJMS^faoW;etb
JWsOiP4J}@eÂChiefgoRSzg4qqJW$mSzhiefPMghiW_i}@goe`lMa@WbSzOiWhi}oWsgaobiWqc
a m EJy{W_ThQOdS^6efbiW_ThQefPMg
bQKj|,{Wz3|,{
o M
KE etb]hQ}oWSMqvsSM_TWg{_TU"ShQOiePS_¦PMgogoW_ThiWq!RMOdSzyo}H AM
KY*#qJe`SzRMPMg{S^cU"SzhiOQe p]efhQ}"WsghQOiefWb)hi}oWbia@U#Pz.WqJRnWT¢µ WefRn}hQb8M
[*rP/E
5bQW_TPng4qWefRMWsgnW_ThQPMOWA¡a@biefgoRKUVPoqJekj4WqM Szg4_JPnb]UGWhQ}oPoq
K$hi}oW_¦PMUGy{PMg@WgJhibAESOiW;hi}oWbiWsy4SOTShiPnO]j4Ws^qM
A
z 5qJefJUGWqWKj||,{
z
|${
o M
¨J .
% " !" N
D]}oefbbia@obiW_¦hiefPMg<RMPJWbS^fefhihQ^fW4WsMPMg{qhQ}oWW |y{PMbQefhiPMOQSbQy4W_ThibPz hi}@Wy4Szy4WsOSzg4qyoOQWbiWsghQbgoW
PnobiWOQMShQetPngob]PMghQ}oWetbQbiaoW;PMgOiWbQhiOQe_¦hiWq<_T^`SbQb]P.RnOdSzyo}ob
D]}@OiWWT¢µOiWsRMao^`SORMOdSzyo}ob5}{SMW4WWsg W^f^obQhia4q|etWq$etg$_TPMUoefg4SzhiPnOie`S^nPMyohQetUVeJShQetPng $g@PMOW 4SUVyo^fWMp
hQ}oWefOgJaoU{WO>Ka@yhiP_TWsOihdSzefg¡PMOTqJWOM}4Sb${WWgq|WhiWOQUGefgoWq Zf n ^È D]}a@bpcefhefb_TPnUGyoa@hdShQefPMg4Sz^t^f
WSbiefo^fWhiPGSzg4S^f4JW_SzOiWTa@^t^fhQ}oWy4WOÈPMOQU"Szg4_TWP5hi}@WbQy4W_ThiOTS^oefbiW_¦hiefPMg
W)efghQOiPoqJa4_¦WbiPnUGWYUVefgoefUGS^JgoPMhTShQetPngGgoW_TWbibTSOQhiPGqJWsbd_TOQet{W$hi}oWOiWsbiao^fhibWD]}oWwYyoy{Wg4qJe`_TWsb
_TPngJhdSefgobYSnqoqJefhiefPng4S^{PMOY_TPnUGyo^fWUVWgJhdSzOi$etg|PMOQU"ShQefPMg
w
¨oz
¬'efbYS$UGWsU4WOP.hQ}oWbQWh
Kr && | z P A|% $
goPnhie`_TWhQ}4Sh+K efbGS<bia@obiWhVPhi}@WK#>FP 1M¤¢¤bQaoobQy4SM_TW]qD]}oWPMOQhi}oPnRMPMg{S^fefhµOQW^`ShiefPngefg®hi}oW
qJW¦j4goefhiefPMg-etb)a@g4qoSUVWgJhdSz^¤pJSg{qW oyo^`Sefgob)]}-goPMhSoefg4SzOi M& | goPnhdSzhiefPMgefb)WUGyo^fPnWqc4D]}oW
.G
¨efg4qJa4_¦WqVefbYqJWgoPnhiWqJGSg4qVekefb hQ}oW iPnyohiefUS^_Taoh]bieJW; W}4SnW
¥UGefg
&
&
D]}Jaobphi}oWyoOQPMo^fWU Pz4RMOTSyo}$oefbiW_¦hiefPMg_Sg${W bQhdShQWqSbhi}4SzhPoj4g{qJefgoR D9KMpz]}oWOiWK3K
efb]hi}@WbiWh]Pz5PMyohQetUS^o@etbQW_ThQetPngob
eetRnWgJMW_¦hiPMOQbP VPnO.S]OQWRMa@^SzO RnOdSy@}SOQW5hi}oPnbiWPohi}@W SnqvSM_¦Wg4_TUShQOie pdSzg4qhi}Jaob6gefWqJ^fWO b
D]}oWsPMOiWsU,Szyoyo^fefWb0KCbiWW;wYyoy{Wg4qJe 1MSg4q0}oWg4_TW; W_SzgGbdSbQPMUVWhi}oefgoR$S{PMaoh]hQ}oW_TPMgog@W_ThiefJefhµp
oa@h]goPMhQ}oefgoR Sz4PnaohoefbiW_ThQefPMg )gGhQ}oWPMhQ}oWO]}4Szg4qGNPMhQ}oWg[ZÊs^cbiaoRnRMWbQhiWq!hi}oWbiPnOihQetg@RyoOQPo_TWqJaoOQW
hQPGSyoyoOQP oetUShQWYS$oefbiW_ThQefPMg
D]}@WqJe0/mWsOiWg4_¦WG{Whµ WsWg NPnhi}oWg bSzg4qHgefWqJ^fWO b_TOQethQWOie`SVefbYhQ}4Sh)hi}oW;j4OibQhPMgoW$OiWlnaoefOQWbhi}oW
_TPnUGyoa@hdShQefPMgPYhQ}oWUGWq|eSzg pc]}oe`_Q}¡SbWGbTSe`q{WTPnOiW_Sg®4WqJPngoW¤SzbihQWOhi}4Szg>K#>)^tPnR>M
gefWqJ^fWO b_Sg{Whi}oPnaoRM}Jh]POiWlnaoefOQetg@R>Kd sM
wqoqJefhiefPng4S^f^fpz W}{SMWyoOQPMy{PMbQWqSzg4qS^fRMPnOiefhi}@Upn]}oe`_i}-OiWyoOQWbiWsghQbSg{qefUGyoOQPMWUVWgJh5PMWO
{PMhQ}P5hi}@WS{PMWek[PngvTW_ThQaoOiW efb]hiOQaoWMJP$¤SzOpoW}4SMW;goPMhPnaog4qS_TPnaogJhiWOQW 4SUGy@^tWnpooaoh
W}4SMWe`qJWgJhiekj4Wq"S$y{PMbQbiefo^fW_Sg{qJe`qoShQWM
WqJWTj4g@WSk1@ s"/,cjhj&" ;a@g4_ThiefPngpEJek ¥etb]hQ}oWUGWq|eSzgKhQ}oW>n$$^`SOiRnWbih AM
qK1AM6
| eÂA
P A| A
qK1AM DLK
Q
]}oWsOiWZA SOQWhi}oW_¦PMUGy{PMg@WgJhibPSzgFKWefRMWsg'MµnW_ThiPnO
whiWsO _TPnUGyoa@hiefgoRS_Q}4SzOdSn_ThiWOQefbihie`_VMS^fa4SzhiefPMgp A 5Jphi}oWHgefWqJ^fWO b_TPMg@goW_ThQetJefhief_TOiefhQWOie`S<SyJ¢
yoOQP oetUShQWb hQ}oWbiy4Sn_TWZK;]efhi}
A 5 ubQefRMgK#A 5 M
]}oef^fWNPMhi}@Wgb]]efhi}
A 5 %qK1A 5 M
Wefhi}oWOPchi}@WYS{PMW]efb W^f^4q|WTj4goWqÌ4NµghQ}oW]j4OQbihp_SzbiW]PnaoO Sy@yoOiP oefU"SzhiefPMg
AUSYgoPnh5WMWsg4W
efg9K~qJaoWhQPhi}oWy@OiWbQWg4_TW$P& bnKhQ}oefbYbiefhQa4ShQetPngG}4Szb]4WsWgSg{S^f4JWqVefg Zf R&,^mM]Szg4qVefgGhi}@WbiW_¦PMg4q
_SzbiWhQ}oWbQWy4SOTShQetPngUVWqJe`SgVefb goPnh]aogoe`lnaoWM
PuWSzOiWOQWSMq|PnO hQ}oW_TPngvTW_ThQaoOiWE
¬W ¨oz ¨ EgoPnOYSgJGWsMWg<PMOTqJWOpÊ_TPngogoW_¦hiWqcp¢µOiWRnao^`SO]RMOTSyo}-hi}oWOQWW |efbQhibSV_Q}4SOTSM_ThQWT¢
OQetbQhie`_MSz^ta{ShiefPng+A 5bQa4_Q}hi}{Sh
D9K
| K#A 5M
]}oWsOiW efbYS;biWy4SzOdSzhiefPMgJGUVWqJe`Sg$a@g4_ThiefPng
biefgoRSgefUGy@^tWsUGWgJhdSzhiefPMgYSzgefg%dSzhi}oWUShQe_sShiPRMWg@WOdSzhiWOiWRnao^`SORMOTSyo}obsZf ,^ip[PngvTW_ThQaoOiW
}4Szb]4WsWgMWsOiekj4WqVCPMO]S^f^ _TPMg@goW_ThQWqcpc¢µOiWRnao^`SO]RnOdSy@}ob]PWMWg-PMOdq|WO > & R&opnW 4_TWyoh W
D]}@WYRMOTSyo}bQ}oP]gGyoOQPMWhiP${WnWOiVbiy{W_Te`S^µpJgoPnh Pngo^f$PMOy{PMbibQefo^f µ¤Szet^fefgoR [PngvTW_¦hiaoOQW $p
oa@hq|aoWhiPVhi}oW$W 4_TWy@hiefPMg4Sz^5qJe`_"_Tao^fhµGefgRnWgoWOTShiefgoRVefh%ENµhhQPPY"Sz4Pnaoh UGefgJaohQWb]PMgS
R&GPMOYJbihdSzhiefPMgow]ChiWOhQ}4Sh)hi}oWy@OiPMRnOdSzU }4SbWg4_¦PMaogJhiWsOiWq®qJe`_"_Tao^fhiefWb)]ethQ}efU"SzRMefg4SOQMS^faoWb
SzOiefbiefgoREqJaoOiefgoR®hi}oW qJW_¦PMUGy{PMbQefhiefPMg )hi}oWO-etgJhQWOiWbQhiefgoR®¤Sn_ThibSOQWefhibOiWqJa4_TWq Syo^`Sn_Te`Sg
bQy4W_¦hiOia@U9_TPngobiefbihQefgoRP&|T|TMpoSzg4qVhi}oWa@ga@bia4Sz^cga@U4WOP _Q}4SzOdSM_¦hiWOQetbQhie`_MSz^ta{ShiefPngob
_¦PMaoOQbiWMpekW_SgSMPneqSzgUVWqJe`Sg_TPnUGyoaohTShQetPng WSOQWUa4_Q}{WhQhiWOP / )aoOW oy{WT¢
OQetUVWgJhib)bi}oP hQ}4Sh)hi}oefbUGefRM}Jh PnO:YefgbiPMUVWy4SzOihie`_Ta@^SzO_SzbiWbp Sb)efghi}oW;Pn^t^fP]efgoR_¦PMgvTW_ThiaoOQW
nWOiekj4Wq"PMO> & R&o
¬W ¨oz ¨®pg@PMO]SgWnWgPMOdq|WOp{_TPMgog@W_ThiWqcp ¢µOiWsRMao^`SORMOTSyo}]efhi}K YhQ}oWg
¥biefRMgK#A 5 M
?$@2fi@s1&L<]A$h
D5Szo^fW" $bi}@P]bS^f^5_TPMg@goW_ThQWqE¢µOiWRnao^`SORMOTSyo}ob;etg{_T^fa4qJefgoRGhQ}oW Qo^`SM_YbQ}oWWy K1XOTSyo}¡<&AM
XOTSyo}u $efbgoPnh_TPngogoW_ThQWq®oaohefhefbefg4_T^fa4qJWq<goPMgoWshi}oW^fWbQbaD]}oWGSzyoyoOQP |efUShiefPng"UVWhi}@P|q|bSzOiW
RnOdSMq|WqSbCPM^f^fP]b1Eek
A!etb]hQ}oWSyoy@OiP oefU"ShQefPMg pW_TPMUVyoaohQW
RnOdSnqJWK
AWM6 UVetg
P
Az
D]}oefbYlna4SzghQefhµ}4Sb]hQ}oWqJWbQefOiWqy@OiPMy{WOQhµGhi}{Sh
RMOTSMqJWK
A'Mq&
A-DHG
Szg4qVbiefg4_TWefgVUGPMbQh _sSbiWsbfKW @_¦WyohfgetWqJ^fWO bM
Aj $
RnOdSnqJWK
AWMa KgJaoU{WOPYUGefbQbiWbM
D]}@W]etUVyoOiPnWqS^fRMPnOiefhi}@U biWSzOd_Q}oWbPMOWSn_Q}+A 5JpefgS)bihiOTSefRM}JhÈPMOQ SzOdq; SJpsPMOPMhQ}oWO5bQaoefhdSzo^fW
pRMa4SzOdSgJhQWWq®J¡[PMgvTW_ThiaoOQW¡ M]g@PMOhQ}oWbQWy4SOQhie`_Tao^`SzO _SzbiWbV W}4SnWGbQa4__TWWqJWq lMa@e_YJ^fpSb
bQ}oP]gPMghi}oW^`SbQh]^fetg@WYP5hQ}oWhdS@^tWn
gJPnOihia@g4ShQW^fphQ}oWYS^fRnPMOiefhQ}oU efb5goPMhy4Pn^tJgoPnUGe`S^µNC q|WgoPMhQWbhi}oW)MS^faoWb5hTSYnWgJSMWsOihiW
aog{qJWOS$_Q}4SOTSM_ThQWOiefbQhie`_MSz^fa4ShQetPng pW_S^f^a>$<`#A:$,4
VK#A'MspJhi}oWgJaoU{WOPhiefUGWbefh Po__¦aoOib
D]}oWY_¦^ta@bihiWsOiefgoRyoOQPMy{WOihµJpyoOQPMWq;efghi}@W]wYyoy{Wg4qJe pyoOQPJeq|WbbiPMUVW5efgJhiaoefhiefPngS{PMaohefhibUVWSgoefgoR{
NiqJWS^f^fPngoWYPMao^`q$^feYMW]hQP}4SMW W oyo^fe`_Tefhi^f$etghQWOiUVb Pz biy{W_ThQOdS^cefgJCPMOiUShQetPngS{PMa@h ]pnoaoh]Sh
hQ}oefb]bihdSzRMWPz.hQ}oWOiWbQWSOT_i}pc W]ef^f^4{WbTShiefbÈj4WqVefgGj{g4qJefgoR$PMO]bihTShQetg@Rbia4_"_TefWgJhY_TPng4qJefhiefPngob
XOdSy@} X \ ( R&
)yoh4[aohQb X
|e}JsW
w)^fR4o[PMg@g & &oÊM &@ &@ÊMX &oÊ<( &oÊ'( &o)(M &@)('( &oÊM
d!ao^fhiy
gefWqJ^fWO b X & & & &
NPnhi}oWg b & & & & & & & & & &
.¬4¨o & & & & & & & & & &
XOTSyo} M X 1\ R( '&
)yoh{[aohib M n H& ( X
JeJW
wY^fR{o[PMgog M)&nX Mf H& Mf nf MÊ'( n<( MÊ'( M
dao^fhQy
gefWqJ^fWO b & & X
NPMhQ}oWgb & & & & & & &
¬{¨o & & & & & & & & &
D5So^fW$ AEo¢µOiWsRMao^`SOY_¦PMgogoW_ThiWq-RMOTSyo}@b]P.PnOdqJWsO H&)K
goPMhY_TPngogoW_¦hiWqM
w®bia4_"_¦etWsgh5_TPng4qJefhiefPngYCPMO._¦PMUGy@aohdSzhiefPMg4Sz^WSzbiefoef^fethµ]Pz4efUGyoOQPMWq)S^fRMPnOiefhi}@U efb hQ}oWPM^f^fP]efgoR4
ÌWhWTS$_TPMgobQhdSzgh)efg4qJWy{Wg4qJWsgh)P>bQa4_Q}"hQ}4Sh
VK?M & T A 5
hQ}oWguhQ}oWetUVyoOiPnWqS^fRnPMOiefhQ}oU etb;WSzbiefo^fWM5[^fWSzOi^fphi}@Wg SgJ aog4_ThQefPMg¡USUVefbibSh$UGPMbQh
>K~HMhQetUVWbWDPj{g4q $PngoWUaobih_Q}oW_Y S_TPnUoefg4ShQPMOQeSz^ca@g4_ThiefPngPz~ nGhQefUGWb)hiPj4g{qSzg
PnyohiefU"Sz^4bQPM^faohQetPng
%#"O "/6 "
5WsOi<OiW_TWsghQ^fppSOQg4SOTqSg4q JefUGPng[Z,^}4SMWqJWJefbiWq<SVMSOQeSzhiefPMg-P bQy4W_¦hiOdSz^]oefbiW_¦hiefPMg<]}oe`_Q}
yoOQPJeq|Wb OQPMaoRn}o^fSg{qPnOdqJWOPcU"SzRMgoefhQa4qJWetUVyoOiPnWUGWsghcefg$biy{WWqVhiP$_TPMUVyoaohiW]SoefbQW_ThiefPng D]}oW
e`qJWS)efb4SbQWq;PMgS¤SzbihiWsO _TPMUVyoaohTShiefPngPz4hi}@WY_i}{SOdSn_ThiWsOiefbihQe_MSz^fa4ShQetPng]}oe`_i}$hi}@W_Sz^t^oS "&4<},
2:
g@PMOhi}{Sh]yoaoOQy4PnbiWMp{hQ}oWPMOiefRnetg{S^cUGWsbi}HKCPMO]RnOdSy@} MefbY_TPngJhiOdSn_ThiWqSM__¦PMOdq|etg@RhiPwY^fRnPMOiefhQ}oU#Xop
]}oe`_Q}efgJMPM^fnWbhi}oW_TPMUVyoaohdSzhiefPMg;P SYUS oefU"Sz^etg{qJWy{Wg4qJWgJhbiWh Ag@PMO S)RnWgoWOTS^{RMOdSzyo}efh _Szg
{Wbi}@P]gGhi}{Sh]hi}@W_¦PMgJhiOTSM_ThQetPngyoOiWbQWOinWb_TPMg@goW_ThQetJefhµJ4D]}oefb Sz^tRnPMOQethQ}oU efb Szg"W @_¦WyohiefPng"efgVhi}oW
_TPngJhiW ohYPz.hQ}oefb]y4Sy{WO1E@efhYqJPJWb]goPMhY_¦PMUGy@aohiWS;oefbiW_ThQefPMg p@oaohYSg@PMhi}@WO]RMOTSyo}
|aoyoy{PMbiWW}4SnWhi}oWG_Q}4SzOdSM_¦hiWOQetbQhie`_MSz^fa4ShQetPng AuPnOS_TPMgJhQOdSM_¦hiWq RMOdSzyo} D]}@etb;MS^faoW$etb
W ohQOdSy{PM^`SzhiWqEhQP¡hQ}oWPMOQefRMefg4S^]RnOdSzyo}E ,ÂSMWOTSRMefgoR PMOg@PPMWOQ^SzyoyoefgoR<MWOQhie`_TWb Sz^ta@Wb$PMO
PnWOi^`Sy@yoefgoRnWOihQe`_TWbHKCMS^faoWb$efg¡hQ}oWPMOQefRMefg4S^U"S oefU"S^efg4qJWsy4Wg{qJWgJhGbQWh MSzOiWW 4SM_ThQ^fhi}oW
bTSUGWSb]hQ}oWefO_TPnOiOQOiWbQy4Png4qJefgoR A]
D]}@W.PnohdSzefgoWqMSz^ta@W efbchdSYMWgSzbchi}oWetg@ethQe`S^MS^faoWP4S]xYSJ^fWefRM}lnaoPMhQetWsghcefhQWOdSzhiefPMghiPY_¦PMgJMWOQRMW
hQPSgWefRnWgoy4SzetO;PYhi}@W Sy@^Sn_Te`Sg Pz PnOiefRMefg4Sz^5UGWbQ} Jefg4_¦Whi}oWVW ohiOdSzy4Pn^`ShiWqMS^faoW$]SbSzg
SzyoyoOiP oefU"SzhiefPMg-hiP<ethp hQ}oWGy@OiPo_TWqJa@OiW_TPMgJnWOiRnWbhiPS_Q}4SOTSM_ThQWOiefbQhie`_VMS^fa4ShQefPMg<PYhi}@W"PnOiefRMefg4Sz^
UVWbi} pnCOiPMU ]}oe`_i}hQ}oWy4SzOihiefhQetPngGefbPMohTSefgoWqVaobQetg@RGqJefUVWqWKj| |${ z |,{
o M Q
a m XEXOTSyo}[PMgJhQOdSM_¦hiefPMg
_TPngJhiO$Kj|
.M
K YOQefRMefg4S^cRnOdSzyo}Gefb0.rK{ | fM?AM
K[PMgJhiOTSM_ThQWqRMOTSyo}efb? . K| fMwAM
5S$US netg{qcJbiWh
.! F!
¬{$ D ¬
FK AM6
F% (*
¨45 ¬
«> C¨ R{ ¬
¬{OA-D ¬
KY>K1AWMLEoSMqvSn_TWgJh]MWsOihie`_TWsbhQP AIAM
FK1AWM6 K1AWM
G B
>K1FM'
(*
¨45 ¬
¬{>K#| AMD P ¬
FK#"MFKM $s.¨4
(*K #|AM
¨4 m
¨45 ¬
¨45 ¬
¨J .
9" 8 $ 6
lP hQP _TPnUGyoa@hiWy4SOQhiefhiefPngPnO UVWbi}oWsbY_i}{SgoRnetg@RefghiefUGWYSzb]]}oWgaobQetg@RGSMqoSzyohiefMW)OiWTj{goWUGWsgh
w~bQPM^faohQetPng}{Sb$4WWsg¡yoOQPMy{PMbiWq< Szg )OiefWbQbd_Q}oWSg{qx]PJPMbQWHZt ^iNµgobihQWSMq<PzYhi}oW Syo^`Sn_Te`Sg
WefRnWgJMS^faoWyoOiPno^fWU~PzhQ}oWbihTSg4qoSzOdqVbiy{W_ThQOdSz^.@etbQW_ThQetPnghi}@WGyoOQPMy{PMbQWbiPn^tJefgoR
A *YA|
PnO]WlnaoefMS^fWgJhi^f
*
z
o
*
z
o
L *
z o A
]}oe`_Q}}4Sb)yoOiPMSzo^fWsetRnWgJMS^faoWb-efgGhQ}oWefgJhiWOQMS^6Z)&|Ts^inw__TPnOdqJefgoRhQPhi}oW$SaohQ}oPMOQbpo@etbQW_ThQetPngob
aobQefgoRhi}oefbYUVPoqJekj4WqWefRnWgoyoOQPMo^fWU SzOiW$biaoy{WOiefPnOhiPVhi}oPnbiWG_TPnUGyoaohQWqJhi}oWG_Q}4SzOdSn_ThiWOQefbihie`_$MS£¢
^fa4SzhiefPMg
g@PMOhQ}oW<biefUGyo^fWVW 4SUGy@^tWhQ}4ShVhi}oWEyoOQPMy{PMbQWMphi}oW<UGPoqJekj4Wq®Syoy@OiPSn_Q}uJetWs^q|b"Sg¥PMyohQetUS^
oefbQW_ThiefPngu]}oef^fWhi}oW-PMOiefRnetg{S^YS^fRnPMOiefhQ}oU'bi^fefRM}JhQ^t<µSef^fbaD]}oefbGUVefRM}Jh{WS yoOiPno^fWU¢iqJWy{Wg4qJWsgh
PnobiWOQMShQetPng p Szg4q®U"S<goPMhRna4SOTSgJhiWsWS<RMWg@WOdSz^teJSzhiefPMg6dPMOQWefghQWOiWsbihiefgoR®efbhi}oWSzobiWsg4_TWPz
hQ}oW T_T^faobihQWOiefgoRW /mW_¦h KCwYyoy{Wg4q|euAMspc]}oe`_Q}¡_Sg{WPMobQWOinWqefg<hi}oWVPMOQetRnefg4S^yoOiPno^fWUJa4_Q}
W/cW_Th$U"SYMWb)efUGy{PMbibQefo^fWhQPbiWy4SzOdSzhiWhi}@WG_i}{SOdSn_ThiWsOiefbihQe_$MSz^fa4ShQetPng_TPMUVy4PngoWgJhibSbhQ}oWRMOTSyo}ob
qJefbT_TPMgog@W_ThibpNµh)biWWsUGbYhQ}4Sh)hi}oW$goW Sz^fRMPMOQefhi}oU~y@OiWnWgJhibhQ}oefbYW/cW_ThD]}oWbQW Szg4qOiWs^SzhiWq-efbibQaoWb
SzOiW_Ta@OiOiWsghQ^fGaog4q|WOYefgJMWbQhiefRSzhiefPMg
NµgESgJ¡_SzbiWMphi}@W QyoOiW_TPMg4q|ethQefPMgoWq WefRMWgJMS^faoWVyoOiPno^fWU'efb$biefUGyo^fWWg@PMaoRn}hQPefUGyo^fWUWgJh
OQPMU hi}oWPnOiefRMefg4Sz^4bQy4W_¦hiOdSz^oefbiW_ThQefPMgbiPGSzb]hiPOiWSMqJef^fGS^f^fP®aoOihQ}oWO)bd_TOQaohiefgJ
WbQeq|Wb{WefgoRUGPnOiWRnWgoWOTS^hi}4SzghQ}oWPMOQefRMefg4S^bQy4W_¦hiOdSz^ @etbQW_ThQetPng¡S^fRMPnOiefhi}@U SbPMOQetRnefg4S^f^f
PnOiUao^`SzhiWq Kefh]aobiWsbSzOioefhQOdSOQGWq|RMWT¢µ WsetRn}JhibMsp{hi}oWUVWhi}@P|qV^fWSnqJefgoRhQPhi}oW;UGPoqJekj4Wq Szyo^`SM_Te`Szg p
aobQWb5Sn; 3" <ThQW_Q}ogoe`lnaoWM Ja4_Q}hQW_Q}ogoe`lnaoW5efbpsy4WOQ}4Sy@bpMS{WhihQWOefgobihQOiaoUVWgJh{PMOcaog{qJWOibQhdSzg4qJefgoR
bQy4W_¦hiOdSz^oefbiW_ThQefPMg p@etgJhQWOiUVWqJe`ShQWY{Whµ WsWg}@WaoOiefbQhie`_TbSzg4q$CPMOiUS^cSyoy@OiPSn_Q}oWb
g@aoOQhi}oWOQUGPnOiWMpJhQ}oWhiW_Q}ogoe`lnaoWSz^f^tP]bPnO hQ}oW_TPng4_TWyoh)Pwc@$;3 @ efgG]}@e_Q}biy{W_Te`Sz^ WqJRnWb
US vTPnefghi}oOQWWPMOUGPnOiW]nWOihQe_¦Wbl]Jy{WOiRnOdSzyo}obYSOQWaobiWq0PnO hQ}oWyoOiPno^fWU~Pz_Q}4Sg@RMefgoRUVWbi}oWsb
w qJefbT_TaobibQefPMg¡Pz}JJy4WsOiRMOTSyo}@bGSb$ W^f^YSzbhQ}oWbihdSzhiefbihQe`_S^PnOiUao^`SzhiefPMgSzg4qhQ}oWefO$yoOiPny4WOQhiefWbVetb
{WMPng4qhQ}oWbd_TPny4WPz.hQ}oefb]OiWy{PMOQh
G
1
c(#5 ;
WGqJWsbd_TOQet{WPMgoWPzYhi}oWsUp{]}oe`_Q}¡_TPMgJhdSzefgobUGPnbihS^fRnPMOiefhQ}oUGbqJWbd_¦Oief4W}oWsOiWHK)hi}oWVPMgoWefgbiW_Q¢
hQetPngoÊ{WefgoR$hi}oW;W 4_TWyohQetPng'M D]}oWy4Sn_YMSRMW)efbY_TPMUVyo^fWhiW^f]OQethQhiWgefg22$
!
D]}oW wJw qJWnW^fPMy{WqbQPhµ]SOQWGy4Sn_:YMSzRMWjD N#" Ld.Le5[ Z,^]yoOQWbiWgJhQb"S-biJgJhi}oWbQefbPzYUGWbQ}
y4SzOihQethQefPMgGS^fRnPMOiefhQ}oUGb1Wbie`qJWb]hQ}oWYW^f^WYg@P]g xWMWOQbiW[aohQ}oef^t^k¢:d_ -)WWPnO54Szg4qJ]e`qJhi}UVefgoefUGeÊ¢
JSzhiefPMgGSzg4q$efhib5MSzOie`ShQefPMgobphi}oW]RnOiWWqJhiW_Q}og@elnaoWnpJethetg{_TPMOQy4PnOdShQWbhi}oWPn^f^tP]efgoR)UGWbQ}y{SOihQefhiefPMgob
Sz^tRnPMOQethQ}oUGb
$¨J 4¬{ s¡{hi}oefbS^fRnPMOiefhQ}oUGb}4SMW$yoOQPMWg-¤SbQhp{biefUVyo^fWSzg4q
W/cW_ThiefnWMD]}oWe`qJWS;efb hQPy{SOihQefhiefPMghQ}oWUGWbQ}G4SzbiWqVPMgVhi}oWyoOQefg4_Tefy4S^cS oefbP efgoWOQhie`S
SbqJWbd_¦Oief4Wq$etg JW_ThiefPMgoÊ@TwY^fbiP)etg{_T^fa4qJWqSzb bQy4W_¦eSz^o_SbQWb5xXfSg{qhi}oWy4Pnbibiefoef^fefhµ
hiPGqJW¦j4goWhQ}oWyoOiPv¦W_ThiefPngS oefb SzOioefhQOdSOQef^tKµ_TPJPMOTqJefg4ShQW@etbQW_ThQetPng'M
¨o M
{¨ 5¨oz
¨oz
¬'oefg4_T^fa4q|etg@RUao^fhief^fWMWs^4bQhiOdSzhiWRn
s¨MzoRMOQWWqJVbihQOdShQWRMefWbPMOy4SzOihiefhQetPngoefgoR4pzhi}oWOiWsMWOQbiW[aohQ}oef^f^¢:d_YMWsWfK`CPMO4Sg4q¢
]e`qJhi}$UGefgoefUeJShiefPngYOdSzhi}oWsO.hQ}4Sg$y4SzOihiefhQetPng'M Szg4q;hiPMy{PM^fPnRMe`_S^JS^fRMPnOiefhi}@UGb{]}oe`_i}$RMa{S¢
OdSzghQWW_TWsOihdSzefg"g@WefRM}J4PnOi}oPJPoqVOiWbQhiOQe_¦hiefPMgob)PMghi}@WbQaoobQWhib
D]}@OiWWPMy@hiefUGeJSzhiefPMgS^fRMPnOiefhi}@UGb5SOQWefg4_¦^ta{qJWq0PMOy{PMbihÈ¢¤y@OiPo_TWbQbiefgoRGPz.hQ}oWy4SOQhiefhiefPMg@WqUVWbi} p
]}oe`_Q}"Sz^f^tP]bhi}oWaobQWO]hiP;j4goWhia@goWhi}oW)PMaohQyoaoh4NµgSMqoq|ethQefPMg pnhi}oWaobQWOY_Szg"_TPnghQOiPn^ SgJaoU{WO5Pz
y4SzOdSzUGWhQWOib]Pz.hi}@Wy{SOihQefhiefPMg pJS;MWOQGaobQWTao^ÌWShQaoOiWefgGJefWuPz.hQ}oW_TPMg4_¦^ta@biefPMgPhi}oefbbiaoOQMWVefg
hQ}oWgoW oh]bQW_ThiefPng
*,+-./0" $"% &'%-
u}@e_Q}efb SRnPJP|qSz^fRMPMOQefhi}oU PMO?hjy4SOQhiefhiefPMg@etg@R wD]}oW)OiWbQWSOT_i}efbibQaoWY}{Sb5{WWgSM_¦hiefMWPnOj4nW
nWSOQbLK¤Sh]^fWSzbihM Szg4qVhi}oWOQWSOiWy{WOi}{SyobS{PMaohhµ Wsghµy{Sy{WOib)PMgGhQ}oWbiaoMv¦W_Thp@oaoh]bQhief^f^4hQ}oWOiW;etb
goPnhSG_T^fWSzOSzgobiWO g@PMO)hi}oW$bdSzUGWOQWSbQPMg p{hQ}oW Szaohi}@PMOibPziD N#" Ld.Le5[ }4SnWefg4_T^fa4qJWq-biP
USgJGPnyohiefPMg@b]]ethQ}oefghi}@WefOYy4Sn_:YMSzRMWMWNµghQ}oefbYbQW_ThiefPngW]ef^f^ yoOQWbiWgJh]}4SzhYW}4SnWe`qJWgJhiekj4Wq
Szb]hi}oWUSefgyoOQPMo^fWUVb
D]}@W$j4OibQhyoOiPno^fWU efbhi}oWGq|e/cWOQWgJh c@#hQ}4Sh$SGUVWbi}US"Szbibia@UGWMD]}@etb;hµy{W{WSOQbgoP
OQW^`ShiefPnghiPhi}oW]RnWPMUVWhiOQP hQ}oW]yoOQPMo^fWU<phQP4W)biy{W_Tekjm_]W]]ef^f^OQWTWOhiPS£¢Èq|etUVWgobQetPng4S^JSefOµCPMef^
]efhi}ESCW#_TPnUGy{PMgoWgJhQb]gJPnOihQaog4ShQW^fhi}oefb$efbibia@W"efb$goPMh_T^fWSzOi^fWUGy@}4SbQe}JsWqefg¡SgJPzYhi}oW
y4Szy4WsOibY]}@e_Q}bi}@P hQetUVefgoRMbCPMOhi}oWSz^fRMPMOQefhi}oUVb
DPef^f^faobihQOdSzhiW]hi}@Wy{PMefgJh _TPngobie`qJWsO]hi}oW)hµ P;PM^f^fP]efgoRYhTSo^fWbAD]}@WGOQWyoOiWsbiWgJhYOQWbia@^thQbPMO_TPMU0¢
yoa@hiefgoRSG X¢µy4SOQhiefhiefPMg]efhQ}Ghi}@W{Sbie`_biy{W_ThiOTS^S^fRMPnOiefhi}oUVbpy{WOQ}4Syob]hQ}oWPMgo^f$yoaoo^fefbi}@WqVOiWbQao^fhib
]efhi}VhiefUGefgoRnb6KµS^fhi}oPnaoRM}PnUGefhihQWq$efghi}oefb]qJefbd_Ta@bibiefPng'M4D]}oWj4OibQh]biWhP.q@ShdS$_TPnUGWbCOiPMU la"Sg{q
^`SYMWjZÊ,^Szg4qhQ}oWbQW_TPMg{qVOiPnUSOig{SOdqSzg4q JefUGPMgHZÊ,^i
{ ~ ~ ]{ ~k
\<('( H&<( &of \ &o)&no
MnX MX@ &o)&A\n &o)& (
]{ ~ ~ ]{ ~
\M<& \M<( &of X<& &o)&Mn
MX<&MX M<& &o)&'(n &o)&M<(
nXM@ '&M@ &o)&'( &o)&M@
gefOibQh goPnhie`_TW5hQ}4Shhi}oWbieJWPohi}oWyoOQPMo^fWUVbm_TPngobie`qJWsOiWq$JYhQ}oWhµ PYSzaohi}oPnOibetb_TPMUVyo^fWUGWsghTSOQ
la}4SbhQWbihQWq®}oefbyoOQPMo^fWUVbYPMgbQU"Sz^t^UVWbi}oWsbSg4q-hi}@WGPMhQ}oWOSzaohi}@PMOib$PMg<^`SOQRMWUGWsbi}oWbD]}oW
goPnhdSzhiefPMgVetbY_¦PMgobQetbQhiWgJh)]ethQ}hi}4Szh]P.hQ}oWwYyoy{Wg4q|e¡ n
D]}@W"y@OiPM@^tWsUGbSOiW-PhQ}oWbTSUGW ,ÂSefOµPnef^Ìhµy{WM Y@biWOQMW<hi}oW_¦aohMWOQhiWuOTShiefPPzhi}@W^`Sbih
UVWbi}PMghQ}oW^fWThYSzg4qVhi}oWj{Oibih)PMgoWPng"hQ}oWOQetRn}JhNµh]bQWWUVb]hi}4SzhYefgGhQ}oW^`ShQhiWO)bieJWPz.hi}@W_Taoh)etb
yoOQPMy{PMOQhiefPMg4Sz^fhiPJP^`SzOiRMW>K#&of X<&AM]efhi}VOiWbQy4W_ThhiPhi}@WMSz^faoWYPz.UGWsbi}Gg@PMh]Ua4_Q}GqJe0/cWOiWgJh)etgVbieJW