HAL Id: inria-00074613
https://hal.inria.fr/inria-00074613
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.
Allocating memory arrays for polyhedra
Doran Wilde, Sanjay Rajopadhye
To cite this version:
Doran Wilde, Sanjay Rajopadhye. Allocating memory arrays for polyhedra. [Research Report] RR- 2059, INRIA. 1993. �inria-00074613�
ISSN 0249-6399
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
a p p o r t
d e r e c h e r c h e
1 9 9 3
PROGRAMME 1
Architectures parallèles, bases de données, réseaux et systèmes distribués
Allocating Memory Arrays for Polyhedra
Doran K. Wilde and Sanjay Rajopadhye
N˚ 2059
Juillet 1993
)+*-,/.-021435687:9<;=.-09$>?.-0A@&.CB2D.-@*-E.A9GFHBI;J
KGLNMPO/LRQS%S%TUWV XYL[Z]\C^`_NTZa_NbCLcTdGefQgL[QghihkjT&hiTldnmpoqQ/drTldtspTuspM/vCvxwT&TdnmfLywTldrTQbCz
T&_ dr{ydr_jT&S%Tdsp^|d:_NLN^`oCbxwTd
KGLNM/}:T_ XWK<~
YQeCefM/LN_spTLNTZR\CT&L[Z]\CT vP /PV /bC^`hih`T&_WU//V gefQgOPTd
%InC/ 2=T\fQ& T!ofT&Tv=^`vp Td:_N^`O Qg_c^ivCOeCLNMPoChiT&SdYt\C^|ZR\QgLN^drT^ivZnM/SeC^ih`^ivCO
dr^`vCO/h`TQ/dNd:^iOPvCS%T&v_h|QvCO/bfQO/Td^ivt\C^Z]\S%TS%M/Lc{^|dvCMP_!T&zeCh`^|Zn^`_Nhi{+Qhih`MZ&Qg_cTs
^iv_NMteqQgLRQhih`T&hZnMspT ¡?¢-^i£ Tdr_[QgvfsyQgLRseqQgLRQhih`T&hi^`¤&^ivCOxZnM/SeC^ih`T&LRdam&sp^¦¥-TLNT&v_A^ivfsT&zdreqQ/ZnT
_NL[Qgvfd8§¨M/LcS©Qg_c^iM/vqdYQLNTefT&Lr§¨MPLNS%TsM/vPQLN^|QoChiTldYspTlZnh|QLNTs!M T&L ZaM/v T&z!efMPhi{\CTspL[Qgh
LNTO/^iMPvfdn¡?KHM/h`{p\yTspLRQªZ&QgvofTt_NL[Qgvfd8§¨M/LcS%Ts^`vdrbfZR\QYxQl{uQPd«_cMWLNTlspbfZnT_N\CTt MPhibCS%T
Mg§¬_N\CTtofMPbCvfsp^`vCOofMzt\C^Z]\TtbfdrT _NMLcTspbfZnT_N\CTªQgSM/bCv_HM§AS%TS%M/Lc{Qgh`hiMZ&Q_NTs
_NMuQ/QLN^QgoCh`T ¡GXYh`hiMZ&Q_N^`M/vMg§¬S%T&S%MPLN{W_cMPQgLc^|QoChiTdGt\C^Z]\QLNTªspTnfvyTsM T&LHfvC^`_NT
ZnMPvp T&z efM/h`{p\CTlspLRQh LNT&OP^iM/vqd®LcT¯°by^iLNTldAQ±_cLRQ/sT&Mg¥^`v_c\CTtZaM/S%eCh`T&z^i_8{tM§f_N\CT<S%TS%M/Lc{
Q/syspLNTdcdr^`vCO±§¨byvfZn_N^`M/v T&L[drbfd-_c\CTQgS%MPbCvp_²Mg§fST&S%M/Lc{bfd:Ts-¡I=T<eCLcTdrT&v_AQt_NL[Q/spTMg¥
^iv©t\C^Z]\_N\CTS%T&SM/LN{Q/sCsLNTdcdx§¨bCvqZn_N^`M/v©^|dh`^iS%^`_NTs_cM%QvQl³vCTW§¨bCvfZa_N^iMPv©Mg§?_N\CT
^ivqsp^|ZnTld%_N\bfdS%T&S%MPLN{+^|dQgh`hiMZ&Q_NTs_NMQ=LcTZn_[QgvCOPbCh|QL!efQLRQhihiThiT&eC^`efTs´LNT&OP^iM/v²R¡
µ ^i T&v_c\C^|d?ZnM/vfd:_NL[Qg^iv_&m T drT&T&£QbCvy^iS%Mspbyh|QgLI_NL[Qgvfd8§¨M/LcS©Qg_c^iM/vt\C^Z]\S%^`vC^iS^¶¤Td
_N\yT M/h`bCS%T©Mg§u_c\CTofM/byvfsp^ivyO·ofMz¸M§u_N\CTe MPhi{\CTspLcM/vA¡º¹\y^|d!^d%Q=vCMPvC»h`^ivCTlQgL
eCLcM/O/L[QgS%S^ivCOeCLNMPoChiT&S¡=+T¼eyLNTd:T&vp_Q½ST&_N\CMs´^`v·t\y^|ZR\´_N\CT© MPhibCS%TMg§_N\CT
ofM/bCvqsp^ivCO ofMz^d S%^`vC^iS^¶¤TsM/vCTsp^`S%T&vfd:^iMPvQg_IQt_N^`S%THo{ªQYd:bfZ&ZnTdcdr^`M/vMg§qdr£ T&t^`vCO
_NL[Qgvfd8§¨M/LcS©Qg_c^iM/vqdn¡<¾<Q/ZR\MPvCTMg§<_c\CTdrTª^|d Qhi^ivyTQgLteCLcM/OPLRQgSS%^ivCOeCLcM/oCh`T&S¡
¿À ÁAÂNÃuÄfÅHPÆT&S%M/Lc{%Qhih`MZ&Qg_c^iM/v¬mfKHM/h`{p\CTlspLRQmC¢-^ivyTQgL eCLNMPO/L[QgS%S%^`vCO
ÇÉÈÊ
Ë8Ì:Í&Î
Ê
ËÏIÐiÌ:ѨÒ]Ó
ÔrÕAÖ×ÙØÚ²ÛnܨÝÚAÞRØtß/ÞRܨàצÞRáÙáÙâuØãßß/Ûaܨàäcå%æ&âàÖäçCبßgܨ×Ùàªè-ÞRØ×êéWë®ä:بäcÞ]ÜkéÖ©ìGé8à¨×ÙÛaí©î®ì?îAìðïñ
îAãgòtæPä:ÜAóaónôaï
Unit´e de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) T´el´ephone : (33) 99 84 71 00 – T´el´ecopie : (33) 99 38 38 32
À À© ¢cwT&PQghibqQg_N^`M/v©sTdwT¯ bfQ_N^iMPvfdLywTlZnbCLNLcT&v_NTdGhi^`vtwTQ^iLNTld«Tldr_teCh`bfdTn³Z&QPZnT
d^iht{Q+dr_cMZ]£PQO/T+spT©h|QS T&SM/^iLcTQ/dcdr^iOPvtww T&TQgbCzPQgLc^|QgoyhiTda¡<¢ÙQl¥²TZa_RQg_c^iMPv spTh|Q
S wT&SM/^iLcTuQgbCz+PQgLN^QgoCh`Td¯°by^d:M/v_ofQ/dwT&Tdd:bCLh`TdspM/SQg^ivyTdWZnMPvp T&zTdWsT&S©QgvqspT
bCvZnM/SeCLNMPS%^|d-T&v_NLcTth|QZnMPS%eChiTzp^`_CwT<spT h|QY§¨MPvfZn_N^`M/v¯ bC^C_cLNM/by TYbCv Th&ww T&S%Tvp_IsbCvCT
PQgLc^|QgoyhiTWT&vS T&S%MP^iLNTw m&T&_hQ¯°bfQvp_c^i_ywTWspTªS T&S%MP^iLNTxQl¥²TZn_yww T&TQbd:_NMZR£PQgO/TuspTZnT&_N_cT
PQgLc^|QgoyhiT ¡<T&_?QgLN_c^|Znh`T<eCLNMPe M drT bCvZnMPS%eCLNMPS%^|d²sCQgvqd«h`T¯ bCT&h/hQY_RQ^ih`hiTspTh`TS TS%M/^`LNTw
Ql¥²TZa_CwT Tdr_<S%^`vC^iS%^`dwTd:M/bfdtZaM/v_NLRQ^iv_NT ¯ bCT h|QY§¨M/vfZa_N^iMPv!efMPbCLtQPspLNTdcdrT&LhiTtS TS%M/^`LNTw
drMP^i_ Q&³%vCT ¡
ºÄCnÂRÀ¸X hihiMZQg_N^`M/vspTuÆðwT&S%MP^iLcT m KHMPhi{²jTspLNTldnmCKGLcM/O/L[QgS%SQg_N^`M/v©¢-^`vtwTQ^iLNT
, -/. 021 354 6 7802-93:.
~8v _N\y^|d!efQefT&L©T+sp^dNZnbfdcd©Qgv ^|dNd:bCT_N\qQg_QgLc^|drTld!t\CT&v ZnMPvfdr^spT&Lc^ivCO_N\yT+dr^iSbC»
hQg_N^`M/v´MPLT&PQhibfQ_N^iMPv´Mg§ªd:{Cd:_NT&SdYMg§ªQ&³%vCTLNTlZnbCLNLcT&vfZnTT¯ bfQg_c^iMPvfd<;XW ¾>=¦U/U@?k¡
AYTLNT mfThi^`S%^i_tMPbCL;XW ¾ dY_NM©T¯ bfQ_N^iMPvfdW^iv M/h`p^`vCO!PQLN^|QoChiTldsTnfvCTsM T&L9BDC
EFZnMPvp TzefM/h`{p\CTlspLRQhtspMPS©Qg^`vfdn¡-+T\fQ& T!ofT&T&v+MPLN£^ivCO©t^`_N\+_N\CTHGI9JLKG
T&v^iLNMPvCS%T&v_M=¶U Cmt?t\C^Z]\ ^d%ofQ/d:Ts MPvð_N\yT§¨M/LNSQghi^drS Mg§Q&³%vyT=LcTZnbCLcLNT&vfZaT
T¯ bfQ_N^iMPvfdn¡NGOIPJKQGº^dtdr^iS^ih|QLG_NM_c\CT>RTS9UWVNXYGOI=hQgvCOPbfQgOPTO=[Z?²^iv©_N\qQg_t^|dxQ/d
spTldr^iOPvCTs_NMW§kQ/Za^ihi^`_RQ_NTtd:efQ/ZaT&»_c^iS%T_NL[Qgvfd8§¨M/LNSQg_N^`M/vfdIMg§AeyLNM/OPLRQS©dnm/oybC_<^|dGhiTdcdGQgS»
oC^`_N^`M/bfd_N\fQv\RTS9UWVNXYGOIm¬Qgvfs=^dofQPdrTs+M/v´_c\CT%d:bCofd:_N^i_cbC_N^`M/v´eyLN^ivqZn^ieCh`Tt\C^|ZR\
QhihiM dteCLNMPO/L[QgS _cLRQvfd §¨MPLNS©Q_N^iMPvfdt_NMo TspM/vyT_N\yLNM/byO/\+dr{v_RQg_c^|ZWLNTtLN^i_c^ivCOy¡N; {ydr»
_cT&S©dMg§Q&³%vyTLNTZnbyLNLNTvfZnTTl¯°bfQ_N^`M/vfd©QgLcTLNTn§¨TLNT&v_N^Qghih`{´_NL[Qgvfd:efQgLcT&v_&mS%TlQgvC^`vCO
_c\fQg_ QvT&zeCLNTldNdr^`M/v%\qQ/dt_N\CTdcQgS%TªS%TQgvy^ivCOu^iv%T& TLN{ZnMPvp_cT&zp_xQgvfs©T&PQgh`bfQg_c^iM/v©M§
Q©LNTZnbyLNLNTvfZnTT¯ bfQg_c^iMPv´\fQ/dvCMd:^|spTTn¥²TZn_[dn¡I¹\C^deCLcM/efT&LN_:{^ddr\qQgLNTls=op{§¨byvfZn»
_c^iM/vqQghGhQgvCOPbfQgOPTdWt\C^|ZR\S©Q£ TdtspTdcZnLN^`oC^ivyO%d:{Cd:_NT&S©dt^`_N\LcTZnbCLcLNT&vfZaTTl¯°bfQ_N^`M/vfd
T&Lc{©dr^`S%^ihQgL<_NMeCLcM/O/L[QgS%S^ivCOu^ivQ§¨bCvfZa_N^iMPvfQghAhQgvCOPbfQgOPT ¡)]QLN^QgoCh`Td^ivQdrbfZR\Q
d:{Cd:_NT&S QLNTd:^ivCOPhiT&»kQ/dcdr^iOPvCS%T&v_&mPS%TQgvy^ivCO_N\qQg_TlQ/ZR\!PQgLc^|QoChiTWvqQgS%T ^|d<Q/dcdrMZn^Qg_cTs
t^`_N\MPvCTQvfsM/vyhi{©M/vCTuPQghibyT ¡fXYvCMP_N\CT&Lªdr^spTTa¥-TlZn_tMg§LNTa§¨T&LNT&v_N^Qgh²_NLRQvfdreqQgLNTvfZn{
^dY_N\fQ__N\CT&LcT^|d$^qT&zp^`oC^ih`^i_:{^iv_N\yTM/LRsT&LW_N\qQg_T¯ bfQg_c^iM/vqdWQgLcT!T&PQhibfQ_NTs´¨M/LLNT&T»
PQgh`bfQg_cTs [¡tXWd%hiMPvCOQ/d_^fM spT&efT&vfspTvfZn^iTld%QgLcTLNTd:e TlZn_NTs²mT¯ bfQg_c^iM/vqd!S©Q&{o T
T&PQhibfQ_NTs-m MPLSQl{uofTWdcZ]\CTlspbChiTls_NMofT T&PQgh`bfQg_cTs-m ^ivQgv{M/L[spT&LrV T& T&v^`vefQgL[Qghi»
h`T&h8¡`; ^ivfZnT PQgLc^|QgoyhiTdQgLNTQghih²d:^ivCOPhiTQPdNdr^`O/vCST&vp_m/_N\yT&LNTQLNT vCMtLN^`_NTªspT&efT&vfsT&vfZn^`Td
MPLWQvp_c^i»kspT&efT&vfspTvfZn^iTld_NMofTuZnM/vfZaT&LNvCTls¼QofM/bC_¡
~8v_c\CTdr^`S!bChQg_c^iM/vM/LWT&zTZnby_N^iMPv©Mg§xdr{ydr_cT&S©dMg§xQ&³%vCTuLNTZabCLNLcT&vfZnTT¯ bfQg_c^iMPvfdnm
_c\CT&LNTuQLNT_:Mdr_cLRQ_NT&OP^iTdt^iv M/h`p^`vCO/QLN^QgoCh`Td
UP¡babc(d@L(e(f]QgLN^QgoCh`TdtQgLcTWLNTlZnM/S%eybC_NTsQ/ZZnM/L[sp^ivCO_cM_N\CT^iL§¨byvfZn»
_c^iMPvfQghsTnfvC^`_N^iMPvfd%TQ/ZR\ _N^`S%T©_N\CT{ QgLcTvCT&TsTs-¡t¹\C^d!^|dZ&Qgh`hiTsg*`h*
*cijc(&kel%Qvfs¼S©Q&{ofT^`S%eCh`T&S!Tvp_cT&sop{O/L[QgeC\LcTspbfZa_N^iMPvm=¶U?8¡
¡onh@d@pPl+(`(f¹\yTfLRd:_H_c^iS%T<Q /QLN^QgoCh`T^|dIZnMPS%eCbC_cTs-m&_N\yTLNTldrbCh`_H^dHd:_NM/»
LcTs-¡¹\CTªdr^`vCO/h`TWQPdNdr^`O/vCST&vp_?eCLNMPe TLN_:{!M§Id:{Cd:_NT&S©dIMg§ILNTlZnbCLNLcT&vfZnTtTl¯°bfQ_N^`M/vfd
TvfdrbCLcTd_c\fQg_tTlQ/ZR\%PQgLN^QgoCh`TYt^`hihfM/vyhi{T& T&L<\fQ& TWM/vyTWPQghibyT ¡~k§I_c\CTWPQgh`bCTWM§
Q/QLN^QgoCh`T^|dtT& T&LtvyT&TspTs©Q%d:TZnMPvfs¼MPLdrbCoqdrT¯ bCT&v_Y_c^iS%T mp^i_[d±PQhibCTu^|dtvCM/_
LcTZnMPS%eCbC_cTs-m/oCby_^|d<M/oC_[Qg^`vCTs §¨LcM/S S%T&S%MPLN{ ¡P¹\C^|d<_NTZR\CvC^¯°byTt^|d£vCMtv©QPd
¹\C^d!efQgefT&Lt^ihih sTQgh t^i_c\ tQ&{Cd_NM+§kQ/Zn^`hi^i_[Qg_cT¼_c\CT+drTlZnM/vfs d:_NL[Qg_NTO/{op{4d:_RQg_c^i»
Z&Qhihi{Qgh`hiMZ&Q_N^`vCOS%T&S%MPLN{©§¨M/L/QLN^QgoCh`TdspTlZnh|QLNTs´M T&LQLNoC^`_NL[QgLN{+fvC^i_cT©ZnMPvp T&z
efM/h`{p\CTlspLRQhIspM/S©Q^ivfda¡
q)"fH^`o MPvfQ/ZZn^ ; T&Lc^iTd
`F `U "!$#
%&
'&( U !) U
U !)
+*-,/. +*-0 !21
¹AMZnM/SeCbC_NT3t^`_N\CMPbC_tbfdr^`vCO/QLN^QgoCh`Td:_NMPLRQgOPTLcT¯°by^iLNTldT&zefM/vCT&vy»
_c^|Qgh²_N^`S%T ¡AYMT& T&L&mP^¶§IPQgLc^|QgoyhiTudr_cM/LRQO/T^|dtQhih`MZ&Qg_cTs!_NMd:_NMPLNTPQghibyTd
M§fPQgLN^QgoCh`T4¸t\CTv_N\CT&{QgLNTxZnM/SeCbC_NTls-m&_N\CTvZnMPS%eCbC_[Qg_N^`M/vLNTl¯°bC^`LNTd
MPvChi{%h`^ivCTlQgL_c^iS%T ¡
~8vQd:{Cd:_NT&St^i_c\´PQgLc^|QgoyhiTdr_NMPLRQO/T mGTQPZ]\/QLN^QgoCh`T!T&h`T&S%T&v_ ^|dZaM/S%eCby_NTsM/vCh`{
M/vqZnT m&S%^`vC^iS%^¦¤&^`vCOZnM/SeCbC_RQ_N^`M/v_N^`S%T<Qg_?_N\CT<T&zefT&vfdrTMg§fST&S%M/Lc{ Qgh`hiMZ&Q_N^iMPvA¡PÆT&»
_N\yMsCdGMg§¬Qgh`hiMZ&Q_N^ivyOST&S%M/Lc{±§¨MPL<QgLcLRQ&{ydGZ&QgvofT sp^i^|sTs^`vp_cMWd:_RQg_c^|ZtQvfs!s{pvfQS%^|Z
S%T&_c\CMsCda¡N; _RQ_N^|ZS%T&_c\CMsCd spTZnhQgLNT_c\CTQhihiMZQg_N^`M/vM§ST&S%M/Lc{§¨M/LªQgvT&v_N^`LNTPQg»
LN^QgoCh`TQgLcLRQ&{Q__c\CTofT&O/^`vCvC^`vCO©Mg§ Q%eCLcM/OPLRQgS¡ ; _[Qg_c^|ZS%T&_c\CMsCdY^`vfZnh`bfspT_N\yTbfdrT
Mg§ efMP^iv_NT&LQgLNL[Q&{CdamGQgLcLRQ&{+hi^ivyTQgLc^i¤Q_N^iMPv_NTZR\CvC^¯°byTdnmAQvfsdr_[Qg_N^Z%Z&QPZ]\C^`vCO+LcT&eCh|Q»
ZnT&ST&vp_udcZ]\CTlspbChiT^|deCLcTZnM/SeCbC_NTls ¡<~8v ZaM/v_NLRQPdr_m<sp{pvqQgS%^Z!S%T&_c\CMsCdQgh`hiMZ&Q_NT
S%T&SM/LN{ §¨M/LThiT&S%Tvp_[dnm&M/LO/LcM/bCefdM§AT&h`T&S%T&v_RdIQg_LNbCv_N^`S%T mt\CT&v%_c\CT&{QgLNTZnM/S%»
eCbC_cTs-¡ ]QgLc^|QgoyhiTdLNT&S©Q^iv^`v=S%TS%M/Lc{¼byvp_c^ih<_N\CT{+QgLNTspTQgh`hiMZ&Q_NTs+M/LLcT&eChQ/ZnTs²¡
5Y{vfQgS^|ZST&_N\CMsydH^ivfZahibfspT\fQ/d:\C^ivyOQgvqs!Z&QPZ]\y^ivCO¨t^i_c\Qs{pvfQS%^|Z<LNT&eyh|Q/ZaT&S%T&v_
Qgh`O/MPLN^i_c\CS[¡-~8vpfvy^i_NTsM/S©Q^ivfdYSbfd:_YofTQghih`MZ&Qg_cTs+sp{pvqQgS%^Z&Qgh`hi{ mfd:^ivfZnTu_N\CT{+Z&Qgv
vCT& TLT&z^|d:_^iv©S%TS%M/Lc{^iv_N\CT&^`Lt_NMP_RQgh`^i_:{Qg_tM/vyT_c^iS%T ¡ ; _RQg_c^|ZWQvfss{pvfQS%^|ZtS%T&»
_N\yMsCdYZQgvofTbfd:Ts%_NM/OPT&_N\yT&L&¡
¹\C^|defQe TL!^`vp Td:_N^`O Qg_cTdQ+dr_[Qg_c^|Z%S%T&_c\CMs=Mg§/QLN^QgoCh`Td:_NMPLRQgOPT^ivt\C^Z]\Q
PQgLc^|QgoyhiTofQ/d:Ts´M/vQZnM/v T&zefM/h`{p\CTlspLNMPv´^|dW_NL[Qgvfd8§¨M/LcS%Ts^ivd:bfZ]\QtQ&{+QPd_NM
LNTlspbfZnTt_c\CTY MPhibCSTMg§I_c\CT o MPbCvfsp^`vCOofMzZnM/v_RQ^ivC^`vCO_N\CT PQgLN^QgoCh`T ¡ ¹\C^dGLNTspbqZnTd
_N\yTQgS%MPbCv_Mg§«S%T&S%MPLN{_N\fQ_YvyT&TsCd<_NMofTuQghih`MZ&Qg_cTs%_NM_c\CT/QLN^QgoCh`T ¡C~8v©d:TZn_N^`M/v
pm<TeCLNTldrT&v_%d:M/S%TofQ/ZR£O/LNMPbCvfs¸^`vp§¨M/LcS©Qg_c^iM/v4Qvfs sTnfvC^`_N^iMPvfdLNTn§¨T&LcLNTs´_cM´^iv
_N\yTeqQgefT&L&¡²~8vdrTZn_c^iMPvm Tt^ihih¬dr\CMð_c\fQg_ªQgh`hiMZ&Q_N^`M/vM§<S%T&SM/LN{u_NMPQgLN^QgoCh`Td
t\C^Z]\QLNTspTnqvCTs´M T&Lfvy^i_NTZnM/v T&z+e MPhi{\CTspL[QghLNT&OP^iM/vqd LcT¯°by^iLNTldQ_NL[Q/spTMg¥
^iv_c\CTZnMPS%eChiTzp^`_r{Mg§x_N\CTST&S%M/Lc{©Q/syspLNTdcdr^`vCO%§¨bCvfZn_c^iM/v+ T&L[drbfdY_c\CTQgSM/bCv_WMg§
^d h`^iS%^`_NTs_NMQgv Ql³vCT¼§¨bCvqZn_N^`M/v¸M§_N\yT¼^`vfsp^ZnTdQgvqs dr\CM _c\fQg__N\C^d LcT¯ bC^iLcTd
_c\fQg_WST&S%M/Lc{!ofTQghih`MZ&Qg_cTs_NMQ LcTZn_RQvCO/byh|QgLªefQgL[Qghih`T&hiTeC^iefTs%LNTO/^iMPvMg§<PQLN^|QoChiT
^`vfspT&zdrefQPZnT ¡f~8v©d:TZn_N^`M/v%ymCTs^|dNZabfdNd\CM ofM/bCvfs^ivCOofMgzTdtQLNTuZnM/SeCbC_NTls%Qgvfs
d:\CM _c\fQg_QbCvC^iSMspbCh|QL_NLRQvfd §¨MPLNS©Q_N^`M/vZ&Qv´ofT%bfd:Ts=_NMLNTsbfZnT%_c\CT! MPhibCST
M§_N\CTofM/bCvfs^ivCO´ofMzMg§uQ+e MPhi{\CTspLcM/v4t^i_N\yM/bC_Z]\qQgvCOP^ivCO´_c\CTZnM/SeChiT&z^i_:{M§
_c\CTQ/sCspLcTdNd:^ivCO+§¨bCvfZn_c^iM/v¬¡G=Tdr\yMg \CM _N\C^dZ&Qgv4ofTspMPvCT©bfdr^`vCO´Q+drTl¯°bCTvfZnT
M§dr£ T d¼Qvfs \CM_N\CM drTdr£ T& d©Z&Qv ofTZnM/S%eybC_NTs²¡+T½§¨MPLNS©Qhi^`¤&T©_N\C^d¼QPdQ
vCMPvC»¨hi^ivyTQgLueCLNMPO/LRQS%S%^`vCO%eCLcM/oCh`T&S¡A~8vdrTZn_c^iMPvpmATeCLNTd:T&v_QvQgh`O/MPLN^i_c\CS ^iv
t\C^Z]\_N\yTY MPhibCS%TtM§I_N\CT ofM/bCvqsp^ivCOofMz^|dGS%^ivy^iS%^¦¤&TsWMPvCTsp^`S%T&vfd:^iM/vQ_tQ_N^iST
o{4Q´drbfZZnTdNd:^iMPv Mg§dr£ T&t^`vCO+_NLRQvfd §¨MPLNS©Q_N^`M/vfda¡t¾<Q/ZR\¸M/vyTMg§u_N\CTldrT^d%Q=h`^ivCTQL
eCLcM/OPLRQgSS%^ivCOueCLNMPoChiTS¡~ vd:TZn_N^`M/vMZpmfTsp^|dcZnbfdNd drMPS%TW_cTZ]\yvC^|¯ bCTd<Mg§dcZ&QgvCvy^ivCO
PQgLc^|QoChiTdrefQPZnTdQghih`MZ&Qg_cTs·o{´MPbCL!ST&_N\CMsQvfs¸^iv4drTlZn_N^`M/v m<T©eCLcTdrT&v_M/bCL
ZnMPvfZnh`bfdr^`M/vfda¡
1
½ !+(
4
=%=
! #"$&%"')(*,+-./-0+(1%2 435&"'
XYv{ZaM/v T&zefM/h`{p\yTspLNMPv762Z&Qv!ofT LNT&eyLNTd:T&vp_cTs^iSeChi^Zn^¦_r{ bfd:^ivCOQ\yM/S%MPO/T&vCTM/bfd
d:{Cd:_NT&S M§G^`vCT¯ bfQgh`^i_c^iTd
6 98 ;:=<?>
8
>A@CB
> 1 # cUg
t\CTLNT2:ð^dYQZnM/vqdr_RQvp_ ^iv_NTO/T&LtS©Q_NLc^iz^ivt\y^|ZR\¼TlQ/ZR\¼LcMðMg§D:ºLNT&eyLNTd:T&vp_[dM/vCT
^`vCT¯ bfQgh`^i_:{ZnMPvfdr_cLRQ^ivC^`vCO_c\CTspMPS©Qg^`vAmE8!^|dQLRQ_N^`M/vfQh- TZn_cM/LQgvqs
>
^dQgv^iv_NT&OPT&L
dcZ&QghQgLudrbfZR\_N\qQg_
>
8^|dWQv=^`vp_cT&O/T&L TZn_cM/L¡-¹\CTd:T&_WM§tLRQ_N^`M/vfQhGefM/^iv_Rd8t\C^|ZR\
dcQg_N^d §¨{W_c\CTtQofMg Td:{Cd:_NT&SðM§fZaM/vfd:_NLRQ^iv_Rd-§¨M/LcSºQtZnM/v T&z efM/hi{\CTsLNM/vF6%¡¾<¯ bfQg_c^iM/v
U^|dZ&Qgh`hiTs_N\yT q)&"LcT&eCLNTldrT&v_RQ_N^iMPv=M§G6¡H¹\yT!efM/h`{p\yTspLNMPvH6QghdrM\qQ/dQgv
T¯ bC^`/QhiT&v_tsbfQgh qh_ lLNTeCLNTd:T&v_RQg_c^iMPv
6 98 C< > 8
>I@
KJL =L
B
-
> 1 -# k°
d:_RQg_cTs^iv©_cT&LNS©dM§<_N\yT T&Lc_N^|ZaTdYkZnM/h`bCS%vfdM§<^iv_NT&OPT&LtS©Q_NLN^`z;JtMg§<_c\CTefMPhi{\CT&»
spLcM/vAmIt\CT&LcTML¸^|duQ§¨LNTT%PQghibyTs=LRQ_N^`M/vfQhtZnMPhibCS%v+ TZn_cM/LbCvfsT&L_c\CT%efM d:^i_N^`p^`_:{
LcTdr_cLN^|Za_N^iMPv´d:efTZn^¶qTsQgofM T ¡IKGLNMZnTsbCLNTdT&z^|dr_ª_NMZaM/S%eCby_NT_N\yT%spbqQgh<LNT&eyLNTd:T&vC»
QeCLNMZnTlspbCLNTu^iv_N\CTuO/T&MPS%T&_NLc^|Z±§¨byvfZn_N^`M/vhi^ioyLRQgLc{%bfd:Ts¼o{%_N\yT_GOIPJLKG dr{ydr_cT&S¡
vfZnT J ^|dspT_NT&LcS%^ivCTls-m-Qvp{vyM/vC»¨vCT&O Qg_N^` T%hi^`vCTQLZaM/SoC^ivfQ_N^`M/vMg§ ^`_RdZnMPhibCS%vqd
^|dQ¼§¨TlQ/dr^`oChiTdrM/h`bC_N^`M/v_NM_c\CTdr{ydr_cT&S M§uZnMPvfdr_cLRQg^`vp_[dO/^` T&v´^ivT¯°bqQg_N^`M/v U©Qgvqs
{ T&^`h|sCdQ efM/^`vp_ d:M/S%Tt\CT&LNTª^ivfd:^|spT6%¡y¾<Q/ZR\ZnMPhibCS%vMg§/J ^|dM§<_N\yT§¨MPLNS <
@
t\CT&LcT
B ¡C~§
1 mp_c\fQg_xZnM/h`bCS%v^|dZ&Qgh`hiTsQHc jF myQgvfs%^¦§
mp^`_^dZ&Qhih`Ts
Q g¡IX efM/^`vp_LRQ&{f^ivH6 ^dQgv j_qh`^¶§Qgvqs·M/vyhi{´^¦§W^`_Z&QvCvCM/_
ofTT&zeCLNTdcdrTsQ/dQ!efM d:^i_c^i TZaM/SoC^ivfQ_N^`M/vM§M/_N\yT&LWefM/^`vp_[dWQgvfsLRQ&{ydYMg§D6¡-~§Qhih
ZnMPhibCS%vqd±M§ J QLNT T&LN_c^|ZnTdamC_N\CTefM/h`{p\CTlspLNMPv=^dYofM/bCvfsTs-mH\qQ/dQ!fvC^i_cT! MPhibCST m
Qgvqs¼^|dtZQghih`Ts%Qqh&@q)R¡
+( + N" )(
\CT&LcTQ/dªQefMPhi{\CTspLcM/v^|dªQ!LNT&OP^iMPv+ZnM/v_RQ^ivC^`vCO©Qgv+^ivfvC^i_cTvbCSo TLtMg§tL[Qg_c^iM/vqQgh
efM/^`vp_[dnmfQH*pmfQPd±TWbfdrT_c\CT_NT&LcS ^iv%_c\C^|deqQgefT&L&mCMPvChi{LNTn§¨T&L[d_NM_c\CTh|Qg_c_N^ZnT
Mg§?^iv_NTO/LRQhAefM/^iv_Rdt^ivQ efM/h`{p\yTspLNMPvA¡
©ÀÉ¨Ä B9EFYqh&')+*+psM/S©Q^iv < *_ " !\r*`pB9 +*o
/
/ 6#
!
6 k°
"
') N65r%B E<r hc Lqh&(')+*< b*_ " ! b*`B9)+* $#(ke
% E*'&Ef
X spMPS©Qg^`vZnMPvfdr^dr_N^`vCO©Mg§xQ%h|Q_N_N^ZnTM§tefM/^`vp_[dY^ivqdr^|sTQofMPbCvfspTsefM/h`{p\CTlspLNMPv¸¨M/L
efM/h`{p_cM/efT/It^ih`hfZnM/v_RQ^ivQYfvC^i_cTYvbCSofT&LHM§AefM/^`vp_[d<Qgvfs!^d<Z&Qgh`hiTsuQ$B9EF*p¡
µ ^i T&vQ!spMPS©Qg^`v'%mfTvCM spTnfvyT_:M§¨bCvfZn_c^iM/vqdYQPd§¨M/hih`M d
©ÀɨÄ)(+*N')ª M/hibyS%T§¨bCvfZn_c^iMPv-,/.103254167 8:9 ;,H*`pB9 +* lmd@')
Eked@T< *lE/qh`ro')r*)f
©ÀɨÄ=< h`T&z^|Z&Qh S©QgeCey^ivCOt§¨bCvfZn_c^iMPv-,>2?7@>
9A;,!@qE+j'sqh`!
*; HHk`EB#"k `F `To')L ! ! C R !EDF.10G2H4167l?! #Ef
*N'h "keE@iEY +@+ "@&>keEB#(kE(f
~8vQ&³%vCTtLcTZnbCLcLNT&vqZnT<T¯°bqQg_N^`M/vfdIMg§²_N\CT_:{pefTtZaM/vfd:^|spT&LcTs\CT&LcTtQvfs^ivu_N\CTthQgvCOPbfQgOPT
GOIPJLKG%m T& TLN{/QLN^QgoCh`TW^|dtspTlZnh|QLNTs!M T&L QZaM/v T&z!efMPhi{\CTspL[QghIspMPS©Qg^`vA¡eAYT&LNT m
©À É Ä PQgLN^QgoCh`T < jq)usCQg_[Qg_:{e T *`+@j+* cHm*
*`B +*o
/sCQg_[Qg_:{pefT # ¨p
"
')jj
s') j_`< jFqhE* ')Yqh`L * of
¹\CTS%TS!MPLN{Qghih`MZ&Qg_cTs§¨MPLWQ/QLN^QgoCh`T^|d Q! TZn_cM/LtMg§T&h`T&S%T&v _[dM§<hiT&vyO/_N\
.10G2H4167 !dr_[QgLc_N^ivyOQg_ªdrM/STWQPsCspLNTldNd7¡C¹\CTuQS%M/bCv_M§GST&S%M/Lc{QhihiMZQg»
_cTs!§¨M/L /QLN^QgoCh`T ^dtspTnfvyTs%^iv©T¯ bfQg_c^iM/v©^|d
17 0C=17!0f*l q)N .103254167! k°
Qvfs¼_c\CTuQ/sCspLcTdNdtMg§Qgv©T&hiTS%T&v_!HM§<PQgLc^|QgoyhiT" ^|d
$#%#'& 7()/
*7 . 17!0c*jq)r+ 2 7@G5r Z°
t\CTLNT .103254167-, Qvfs'2?7@?HrQLNTuQ/dteCLcT&p^`M/bfd:hi{spTdcZnLN^`o Tls-¡
~8v_N\CTtvyT&zp_?drTlZn_N^`M/vAmTtt^`hiheCLNTd:T&v_H_c\CT2?7@/.10A§¨bCvfZa_N^iMPvfd®§¨MPLGLNTZa_RQgvyO/bChQgLQgvfs
_cLN^|QvCO/byh|QgLsM/S©Q^iv+ofQ/d:Ts=PQgLc^|QgoyhiTda¡G~8vdrTlZn_N^`M/vfdC¡ÙQgvfs´y¡ÙpmITt^ih`hLcTdr_cLN^Zn_
_c\CT%ZaM/S%eCh`T&z^i_:{©Mg§ _N\yT §¨bCvqZn_N^`M/v 2?7@/.10_NMofT%QvQl³vCT!§¨bCvqZn_N^`M/v+Mg§ _N\yT!^`vfsp^|ZaTd
M§<_N\CTuspMPS©Qg^`vAmCQvfs¼_c\CT&vS%^ivC^`S!^`¤&Tt_N\yTQS%M/byvp_tM§GS%TS%M/Lc{Qghih`MZ&Qg_c^iMPvvCT&TlspTs
bCvqspT&Lt_N\qQg_ªZnM/vfd:_NL[Qg^iv_&¡
2 7
"3½]A $3 !4 =+ %=
¹\CT©h`T&zp^Z&Qgh<S©QeCeC^`vCO¼§¨bCvqZn_N^`M/v 2 7@ 9 S©QefdTQPZ]\^`vfspT&z+efM/^iv_^`v ! »
d:efQ/ZnT_cMQbCvC^|¯ bCTW^`vp_cT&O/TLtQgvqs\yT&vfZnTW^dtQgv©M/L[spT&Lc^ivCO§¨bCvqZn_N^`M/vAmydr^iS^ih|QL<_NMM/_c\CT&L
§¨bCvqZn_N^`M/vfdWt\C^Z]\+d:e TlZn^¶§¨{Qgv´MPLRspT&L_c\fQg_efM/^`vp_[d^`v´Q !f»8sp^`S%T&vfd:^iMPv+drefQPZnT%QLNT_NM
ofTLNTlQ/s=¨M/LWeyLNMZnTdcdrTs^`vd:M/S%TuM/_N\yT&LYxQ&{ [¡ bCLWMPLRspTLN^ivyO!^dYd:^iS%eCh`{%_N\yTM/L[spT&L
^`v=t\C^Z]\+T&h`T&S%T&v_RdtMg§ªQ©/QLN^QgoCh`T©QgLcT%d:_NM/LcTs´d:T¯°byT&vp_c^|Qhihi{^iv+S%T&S%MPLN{ m²Qgvqs½§¨M/L
vCMºTut^ih`hGQPdNdrbyS%T_c\fQg_W_c\CTM/L[spT&L ^|dYbyvfZnM/vqdr_NL[Qg^`vCTs-mf_N\fQ_W^|dªQgv{¼MPLRspTLN^ivyO%^|d
}:bfd:_QPdOPM MsQgv{+QgvCMP_N\CT&L¡G~8vdrTZn_c^iMPvmZp¡iUPmATt^ihih«sp^|dcZnbfdNdW_c\CT!^`S%eCh`^|Z&Q_N^iMPvM§
Q©efQgLc_N^|QhMPLRspT&Lc^ivCOZnM/vqdr_NL[Qg^`vp_^8¡T ¡AQ©_N^iS^ivCO!§¨byvfZn_N^`M/v- ofT&^`vCO^`S%efM drTls½MPv´_N\CT
PQgLc^|QoChiT ¡
; ^`vfZnT mIspbCLc^ivCO©_c\CT©ZnMPbCLRd:T!M§ªQdr^`S!byh|Qg_c^iMPvM/LT/QhibC_c^iMPv=M§ªQdr{ydr_cT&S Mg§ LcT&»
ZnbyLNLNTvfZnT%T¯ bfQ_N^iMPvfdnmG_c\CT4$#5#6& 7().10§¨bCvfZa_N^iMPv\fQ/d_NM+ofT¼T/QhibfQ_NTsT& T&Lc{_N^iST
Q©/QLN^QgoCh`T!^dQPZ&ZnTdcdrTs²mHQvfs´d:^ivfZnT 2 7@/.10^|dWbfd:Ts½^`v=_c\CT!§¨bCvqZn_N^`M/v7$#5#'& 7(8.10m®^`_Rd
Mg§¬QWPQgLc^|QgoyhiTtT&h`T&S%T&v_-^`vS%T&S%MPLN{WT&zyZnT&TlsCd®_c\CT ZnMPS%eChiTzp^`_r{ Mg§²_c\CT Q/Zn_cbfQgh²ZnMPS%eCbC»
_RQ_N^`M/vAm/_c\CT&vu_N\CTtT&zefTZn_cTsQ/spPQgv_RQO/T Mg§²bfd:^ivCOWST&S%M/Lc{Y_cMdr_cM/LcTt/QLN^QgoCh`TLNTldrbCh`_Rd
^|dh`M d:_&¡
~8_!t^`hih o TbqdrTn§¨bChªQg__N\C^d efM/^`vp__NM´_[Qg£ TQ+hiM M/£ Qg_%_:MdrefTZn^QghªZnh|QPdNd:Td!Mg§
spMPS©Qg^`vfdn¡²¹\CTqLRdr_ª_r{efT^|dt_N\CTLcTZn_[QgvCOPbCh|QLWefQgL[Qgh`hiT&h`T&eC^iefTs©spMPS©Qg^`vt\C^Z]\\fQ/d
Ql³vCT 2?7@/.10A§¨bCvfZn_c^iMPvfdn¡P¹\CTtd:TZnMPvfs_:{e T^|dA_N\CT_NLc^|QgvyO/bChQgL<spMPS©Qg^`vt\C^|ZR\\fQPdHefM/»
hi{vCMPS%^|QhfZnM/SeChiT&z^i_:{ 2?7 @ . 0§¨bCvfZa_N^iMPvfdn¡y~8_t^`hihfofTudrT&T&v§¨LNM/S _N\yTdrTW_:MT&zyQgS%eyhiTd
\CMð_c\CTZnMPS%eCh`T&zp^`_:{Mg§«_N\CT 2?7@/.10§¨bCvqZn_N^`M/vLcT&h|Q_NTd_cM!_c\CTudr\fQefTMg§<_c\CTspMPS©Qg^`v
_N\qQg_ ^i_TvpbCST&LRQ_NTda¡
% ! + -0+(; " "' -'+ N"M +(
tTZn_RQvCO/byh|QgLspM/SQg^ivqdQgLcT©QZnhQ/dNdM§ªspM/SQg^ivqd_N\qQg_Z&Qv´ofTdcZ&QgvyvCTs=o{´Qd:T&_
Mg§vCTd:_NTs"5 »¨hiM MPefd¼t^`_N\ `hiMT&LQgvqs bCeye TL¼ofMPbCvfsCda¡Y¹\y^|d©Znh|QPdNd%Mg§
spMPS©Qg^`vfd^|dt^iv_NT&LcTdr_c^ivCOofTZQgbfd:ThiTzp^Z&Qghf§¨bCvfZn_c^iM/vqdx§¨MPLYLcTZn_RQvCO/byh|QgLªspMPS©Qg^`vfdYQLNT
Ql³vCTW§¨bCvfZa_N^iMPvfdMg§«_N\CT&^`L^`vfsp^|ZaTdn¡
¹\C^|dtZah|Q/dcd±M§<sM/S©Q^ivfd\fQPd±_c\CTW§¨M/h`hiMt^ivCO§¨MPLNS
98 8 C
I8 , B , =8 , ,
8 0 B 0 =8 0 0
¡¡¡ ¡¡¡
8 B
=8
#
98 8 C
K8 #
4/
t\CT&LcT8 ^d_N\yT ª^ivfspTzkZnM M/L[sp^ivfQ_NT/?Mg§?_N\CTªe MP^iv_ 8AmpQvfs%t\CT&LcT Qgvfs QLNT
ZnMPvfdr_[Qgv_WdcZ&QghQgLRd§¨MPL! U!HmCt^`_N\ !o T^ivCO_c\CTusp^iS%Tvfdr^`M/v%M§G_c\CTuspM/S©Q^ivA¡
vCT+Z&Qgv sTnfvCTC2 7@4Qgvfs .103254167§¨bCvfZn_c^iMPvfd §¨M/LQ LcTZn_[QgvCOPbCh|QL©spM/SQg^iv4^iv
_NTLNS©d<Mg§xQ TlZn_NMPL t\yM drTThiT&S%Tvp_[d ?QgLcTspTafvCTs©LNTZnbyLRdr^` T&hi{^iv©_cT&LNS©dM§
Qgvqs5A^|dtspTafvCTs©Q/d
U t\CT&v ºU
* , 5*-,
*-,. Ugt\CT&v U D/ ! . U
t°
¹\CTudNZQgh|QL A^|d_c\CTW M/h`bCS%T Mg§?_N\CTuspMPS©Qg^`v%^iv_N\CTWfL[dr_/ Usp^`S%T&vfd:^iMPvfdn¡¹\CT
2?7 @%QvfsE.10G2H4167<§¨bCvfZa_N^iMPvfdtQgLcT_c\CT&vspTnfvyTs%^iv©_NT&LcS©dGMg§
2 7@GN !"""# , 0
¡¡¡
$%
%%
&('
H k°
.10G2H4167P! , cU&
t\CTLNT !%^|dG_N\yT sp^iS%Tvfdr^`M/vM§ Qgvfs_N\CTtMPefT&LRQ_N^iMPv
'
^dGQW TZn_cM/L<spMP_<eCLNMspbqZn_&¡
¹\CT t» TlZn_NMPL QgofM T^dtZ&Qgh`hiTs%_c\CTuspM/eC^`vCO TZn_NMPL^`vZaM/S%eC^`hiT&L<_cT&LNS%^`vCM/h`M/OP{M=¶U@?k¡
H^`O/bCLcTUªdr\CM deyLNM/OPLRQS©d«§¨MPLLNTlZn_RQvCO/bChQgLspMPS©Qg^`vfdGMg§?sp^`S%T&vfd:^iM/vqdU/mpmyQgvfs
t^`_N\%_c\CT&^iLQPdNdrMZa^|Qg_cTs!§¨bCvfZn_c^iMPvfdn¡y~ _Z&Qv©o TªM/ofd:T&LN Ts§¨LNM/S _N\yTWT&zyQgS%eCh`TdH_c\fQg_
h`T&zp^Z&QghG§¨bCvqZn_N^`M/vfdW§¨M/L_N\y^|d£^ivqs=Mg§ªspMPS©Qg^`vQgLcT©Qgh`tQ&{ydQl³vCT!§¨byvfZn_N^`M/vfdM§ _N\CT
^`vfsp^|ZaTdn¡
YTldr_NTls¼¢-M MPe+KGLNM/OPLRQS ¢-Tzp^Z&QghIQvfs]MPhibCST CbCvfZn_c^iM/vqd
5 ¡&¡&¡
eCLcMZnTdNdG85#
2?7 @H5r
.1032541675r .
U
5 ¡&¡&¡
5 I¡&¡&¡
eCLcMZnTdNdG8 #
2?7 @H5 C . Ug[H ! .
.1032541675 C . Ug[ ! . Ug
5 ¡&¡&¡
5 ¡&¡&¡
5 G¡&¡&¡
eCLcMZnTdNdG85 #
2?7 @H5 y . UR . Ug[H .
.
UR
a
.
.1032541675 y
. UR . Ug[
. Ug
H^iOPbCLNTU f¢-Tzp^Z&Qghf§¨bCvfZn_c^iM/vqdx§¨MPL ±TZa_RQgvyO/bChQgL 5YM/S©Q^ivfd
% / ! D + - G+( "-'" !+G N" +(
~8v _N\y^|ddrTZn_c^iMPvAm_c\CTZah|Q/dcd!Mg§u_cLN^|QvCO/byh|QgLspM/S©Q^ivfd^|d^iv Td:_N^iO Qg_cTs-¡<¹\C^d%Znh|QPdNd
M§uspM/SQg^ivqdZ&Qgv4o TdNZ&QvCvCTsop{ Q=d:T&_!M§vCTd:_NTs 5 »¨hiM MPefd!t\CM drThiMT&LQgvfs
bCeye TLofMPbCvfsCduQgLNTQ&³%vyT §¨bCvqZn_N^`M/vfdYM§tMPbC_NT&LvCTldr_NTlshiM M/e+^ivqsp^|Zn^`Tdn¡f¹\yT!h`T&zp^Z&Qgh
dcZ&QgvCvy^ivCO!§¨byvfZn_N^`M/vfd§¨M/L _N\y^|d Znh|QPdNdtMg§xspM/SQg^ivqdtQgLNTuefM/hi{vCMPS%^|Qh-§¨bCvfZn_c^iM/vqd±M§<_N\CT
^`vfsp^|ZaTdn¡²¹®Lc^|QvCO/bChQgLuspMPS©Qg^`vfdWQgLcTQghdrM©^iS%efMPLN_RQvp_ ofTZ&QbfdrTQgh`h<ZnM/v T&zspMPS©Qg^`vfd
Z&QvðQhixQl{yd!ofT+drbyo-s^i^|spTs¸^`vp_cM´_NLc^|QvCO/bChQgLdrbyoC»8sM/S©Q^ivfda¡tX dr^`S%^ihQgLS%T&_c\CMs
xQ/d!T&SeChiM{ Ts^iv = ?Y^`vt\C^|ZR\ dcZ&QgvCvy^ivCO§¨bCvfZn_c^iMPvfd T&LNT%§¨MPbCvfs·§¨M/LQgLcoC^i_cLRQLN{
spMPS©Qg^`vfdtop{drbyo-s^i^|sp^`vCO!_c\CT&S ^iv_NM_NL[QgefQ¤&M/^sCQgh«drbCoC»kspMPS©Qg^`vfdn¡ ; ^ivqZnT_c\CT 2 7@ .0
2?7 @ . 0Y§¨bCvfZn_c^iMPvfdWMg§t^`_RdW_NLc^|QvCO/bChQgLudrbyoC»8sM/S©Q^ivfdZnMPS!oC^`vCTs©t^i_N\~ H»kdr_RQ_NT&ST&vp_[dnm
_N\yTZaM/S%eCh`T&z^i_:{M§_N\CT 27@ . 0§¨bCvqZn_N^`M/vMg§uQvp{ ZnM/v T&zspM/S©Q^iv´^dMg§_c\CTdNQS%T
M/L[spT&L QPd±_c\CTuZnM/S%eyhiT&z^i_:{M§<_NLc^|QvCO/bChQgL spMPS©Qg^`vfdn¡
¹\C^|dtZah|Q/dcd±M§<sM/S©Q^ivfd\fQPd±_c\CTW§¨M/h`hiMt^ivCOOPT&vCT&L[Qgh-§¨MPLNS
98 ;8 C
=8 , B , 8 ,4 ,
8 0 B 0 . 0,8 , 8 04 0 . 0,8 ,
8
B . ,8 , . 08 0=8 . ,8 , . 08 0
¡¡¡ ¡¡¡
8 B 8 , 8 *-, 8 8 , 8 *-, #
cU/Ug
t\CT&LcT85²^|d_c\CT ^ivfsT&zkZnM M/L[sp^ivqQg_NTPGMg§I_c\CTWefM/^`vp_!8Am°t\yT&LNT m km myQgvfs'
QgLcTQhih?ZnM/vfd:_RQvp_WPQhibCTsZnM Tn³Zn^iTvp_[dnmCQvfst\CT&LcT_c\CTdcZ&QghQgLt§¨bCvfZn_c^iM/vqd !8rxQgvqs
8:AQLNT<_N\CTLNTd:efTZn_N^` THh`MT&LIQvfsbCeye TLHofM/byvfsCdHM§f_N\CT<^`vfspT&z85 §¨M/LATQPZ]\sp^iST&vC»
dr^`M/vNmfQgvfsQgLcTQl³vCT§¨bCvfZn_c^iM/vqd±M§<hiMTL sp^iS%Tvfdr^`M/vCTs^ivfsp^ZnTdG8 , 8 0 85* , ¡
H^`O/bCLcT%dr\CM deyLNM/OPLRQS©d§¨MPLeCLcMZnTdNd:^ivCOQgh`hThiT&S%Tvp_[d^iv´_cLN^|QvCO/byh|QgLuspMPS©Qg^`vfd
Mg§xsp^`S%T&vfd:^iMPvfdWU/mAmAQgvqsp¡A¹\CTQPdNd:MZn^|Q_NTshiT&z^|ZQgh-§¨bCvfZa_N^iMPvfdYeCLcMspbfZnTQvT&vbC»
S%T&L[Qg_c^iM/vvbCS!ofT&LG§¨MPLtTQ/ZR\%T&h`T&S%T&v_G^iv ZnMPLNLcTdrefM/vqsp^ivCO_NM_c\CTWMPLRspT&Lt^`v©t\C^|ZR\
T&h`T&S%T&v_RdWMg§ QLNTeCLNMZnTldNdrTlsðt^i_c\ ofT&^ivCO_N\CT%fL[dr_n[¡¹\yT+ZnM/S%eyhiT&z^i_c^¶TldMg§
YTd:_NTs¢-M M/e+KGLNMPO/LRQS ¢-T&z^|Z&Qh CbCvfZa_N^iMPv
5 ! ¡¡&¡
eCLcMZnTdcd 85#
2?7 @H5r/
5 ¡¡&¡
5 lHrq¡&¡&¡ 5r
eCLcMZnTdcd 8 3#
2?7 @GH C * ,
= l l? .
H:
5 ¡¡&¡
5 lHrq¡&¡&¡ 5r
5 H Cf¡&¡&¡ 5 C
eCLcMZnTdcd 8 #
2?7 @GH C/
*-,
= g P ? .
*-,
= g5 /5 l? .
5 C
_c\CT%hiTzp^Z&QghH§¨byvfZn_N^`M/vfd^ivfO/byLNTQLNT%efM/h`{pvyM/S%^Qgh|dWM§ _N\CT©dcQgS%TsT&O/LcT&T©Q/d_N\CT
sp^`S%T&vfd:^iMPv%Mg§?_N\CTLcTdrefTZn_c^i TsM/S©Q^ivfda¡
4-'+ - 5 % 4- 3 D F + - G+(
<MPS%eChiTzYh`T&zp^Z&Qgh§¨bCvfZn_c^iMPvfd®LcTdrbyhi_I^ivuZnM/SeChiT&zªQ/syspLNTdcdr^`vCO±§¨byvfZn_N^`M/vfd-§¨M/LIPQgLc^|QgoyhiTd
QhihiMZQg_NTls¸^iv¸ST&S%M/Lc{¸¨T¯ bfQg_c^iM/v Z°[¡$; ^`vfZnT_N\CTQ/sCspLcTdNd:^ivCO´§¨bCvqZn_N^`M/v¸Sbfd:_o T
Z&Qhih`TsWTQ/ZR\_c^iS%T<Q /QLN^QgoCh`T^dHQPZ&ZnTdcdrTs²mg_c\CTtZnMPS%eCh`T&zp^`_:{tMg§f_c\CTT&v_N^`LNTdr^`S!byh|Qg_c^iMPv
^dYQ&¥-TlZn_NTs²¡f~ _t^d±_c\CT&LcTn§¨M/LcT TLN{spTdr^`LRQoChiT_NMhi^`S%^i_m Q/d S!bfZR\Q/dt^|dte M dNd:^ioCh`T mC_N\CT
ZnMPS%eCh`T&zp^`_:{Mg§«_N\CThiTzp^Z&QghC§¨bCvfZa_N^iMPvA¡
¹AM!LcTspbfZnT_c\CTZnMPS%eCh`T&zp^`_:{Mg§«_N\CThiTzp^Z&Qghf§¨bCvfZn_c^iM/v%§¨MPLWQspM/SQg^iv¬mpS%MPLNTS%T&»
S%MPLN{uZ&Qv!ofTªQghih`MZ&Qg_cTs_N\qQgv^|d<Q/Zn_cbfQgh`hi{vCT&TlspTs_NMLcT&eCLNTldrT&v_G_N\yT spM/S©Q^ivS%MPLNT
_c\fQgv_c\CTt M/h`bCS%TGM§-_c\CT spMPS©Qg^`v-R¡~§¬QgvQS%M/bCv_IMg§²S%T&S%MPLN{ ^|dIQgh`hiMZ&Q_NTs_cMdr_cM/LNT
_c\CTdrS©Qhih`Tdr_ LNTZa_RQgvyO/bChQgLuspM/SQg^ivt\C^|ZR\+ZnMPvp_[Qg^ivqd_c\CTspMPS©Qg^`vMg§x_N\CTPQLN^|QoChiT
ofT&^`vCO©Qgh`hiMZ&Q_NTs+t\C^Z]\©Tt^ih`hIZ&Qgh`hH_c\CTHd keE*Md +W§¨LNMPS vCM MPv-_N\CT&v_N\CT
h`T&zp^Z&QghI§¨bCvfZn_c^iM/v+ofTZnMPS%TdWQvQl³vCT§¨bCvfZn_c^iM/vMg§t_c\CT%^`vfsp^|ZaTdn¡²¹\CT©ZnM dr_§¨M/L_N\CT
d:^iS%eCh`^¶fTls±h`T&zp^Z&Qgh&§¨bCvqZn_N^`M/vW^d-_N\fQ_AS%M/LcTGS%T&S%MPLN{^|d-Qhih`MZ&Qg_cTsW_N\fQv^d-vCTZnTldNdNQLN{
, ¡
¹\CTsp^¶¥²T&LcT&vfZnT^`v=_c\CT% M/h`bCS%TuMg§ _N\yT!ofM/byvfsp^ivyOo Mz+spMPS©Qg^`v´Qvfs=_c\CT! MPhibCST
M§_c\CTPQLN^|QoChiTsM/S©Q^iv^d±_c\CTQS%M/byvp_ Mg§bCvbfdNQoChiTST&S%M/Lc{_N\fQ_vCT&TsCdt_NMo T
QhihiMZQg_NTls=^iv+M/L[spT&L_cM©\fQ& T!_c\CT%ofT&vCTnq_RdWMg§ªQvQl³vCThiT&z^|Z&QhH§¨bCvfZa_N^iMPvA¡I~8v=_c\C^|d
efQefT&L&mITeCLNMPe M drT©_NMhi^`S%^i_ _N\CTZnMPS%eChiTzp^`_r{©M§ _N\CThiT&z^|ZQghH§¨bCvqZn_N^`M/v+_NMQv4Ql§¨»
fvyT!§¨bCvfZn_c^iMPv´Qvfs=_N\yT&v´_NM_NLc{_NMS^ivC^`S%^¦¤&T_N\CT©QS%M/byvp_Mg§ ST&S%M/Lc{%t\C^Z]\+^|d
QhihiMZQg_NTls-¡
(=(<< !+( % + =+ %=4 =
(= 3
~8v©d:TZn_N^`M/v©¡iUPmpT eCLcTdrT&v_NTls _c\CT!2?7 @ . 0QvfsC.1032541676.0H§¨bCvfZn_c^iMPvfd«§¨MPLLNTlZn_RQvCO/bChQgL
spMPS©Qg^`vfdn¡e; ^ivfZaTt_N\CT/2?7@/.10I§¨bCvfZn_c^iM/vMg§®QWo MPbCvfsp^`vCOofMz^|d<QgvQl³vCTt§¨bCvfZn_c^iM/v¬m/_N\CT
#5#'& 7 8.0§¨bCvfZn_c^iMPv=t\C^Z]\^|dWofQ/d:Ts´M/v´^`_T¯ bfQg_c^iMPv Z°ª^|dQh|d:MQl³vCT ¡I=Tt^ih`h
d:\CM \CM¸_NMuZnMPS%eCbC_cTtQW_NL[Qgvfd8§¨M/LcS©Qg_c^iM/v ·t\y^|ZR\Qghi_cT&LRdG_c\CT dr\fQefTWMg§®QsM/S©Q^iv
mfdrbfZR\©_N\fQ_Y_c\CTW M/h`bCS%T Mg§?_N\CTofM/byvfsp^ivyO!ofMz%Mg§«_N\CTW_cLRQvfd §¨MPLNS%Ts©spMPS©Qg^`v'
ÕAÖä ÞRòYÛaãí&àAÛ¬òYä:ò ÛnܨâªÞ]áÙáÛé:Þ]à¨äcåà¨ÛuÞYæ/ÛaãíPål×í æ/Ûu×ÙØ?áÙ×Ùò ×ÙàäcåW×Ùíà¨ÖgätÚ²Ûnܨبàé:ÞRØätà¨Û
H^`O/bCLcTu 5YMPS©Qg^`v' Qvfs¼^`_Rd MPbCvfsp^`vCO Mz
^|dGLcTspbfZnTls-¡~ _<t^`hihCofTd:\CMtv%_N\fQ_tQ&³%vCT/2?7 @ . 0H§¨bCvfZn_c^iMPvfdQLNTªZnhiM drTs!byvfspT&LQl³vCT
bCvC^`S%MspbChQgL_NLRQvfd §¨MPLNS©Q_N^`M/vfdtMg§?_N\CTbCvqspT&LNh`{p^`vCOspMPS©Qg^`vA¡
(* 2G+ + 2)(
¹\CTfO/bCLcTdr\CM d¨M/v_N\CThiTa§¨_nQspM/S©Q^iv Qvfs=¨M/v_N\yTLc^iOP\p_a ^ivfd:^|spT^`_Rd
ofM/bCvqsp^ivCO©ofMz ¡¬~ vMPbCLQeCeCLNM Q/ZR\Am-_cM¼LcT&eCLcTdrT&v_/ ^`vS%TS%M/Lc{ mpT^iv§kQPZn_
Qgh`hiMZ&Q_NTT&vCMPbCO/\S%T&S%MPLN{u_NMLNT&eCLcTdrTvp_ <mfQdrbCefT&L[drT&_ Mg§ Qghih`Mt^ivCO_c\CTbfdrT
Mg§?Qv©Ql³vCTY§¨byvfZn_N^`M/v_NMQPsCspLNTldNdQv%T&h`T&S%T&v_HM§ ^ivS%T&S%MPLN{Tl¯°bfQ_N^`M/vfd9ZQgvqs
°[¡G¹\CTQgLNTlQ¼M/by_Rdr^spT©Mg§/ oCby_^ivqdr^|sT; LNTeCLNTd:T&v_RdQgLcTQ¼t\C^Z]\^|dxQ/d:_NTs
S%T&SM/LN{ ¡&¹\CTªQgS%MPbCv_GMg§¬tQ/d:_NTt^d«eyLNM/efMPLN_N^`M/vfQh-_cM;.10G2H416 7?G .10G2H416 7?R¡
X d keE* d +M§ ^|dWsTnfvCTsQ/dY_c\CTd:S©Qgh`hiTd:_tLNTZa_RQgvyO/bChQgLspMPS©Qg^`v
t\C^Z]\ZnM/v_RQ^ivfd %¡yXWdspTafvCTs^ivT¯ bfQg_c^iM/v1 mpLcTZn_[QgvCOPbCh|QLtspMPS©Qg^`vfd<QgLNTZ]\fQLRQPZn»
_NTLN^i¤Ts¼^`v_NT&LcS©d±M§ ZnMPvfdr_[Qgv_ TZn_NMPLRd +Qgvqs
¡f+T!t^`hih?dr\CM$\yMg2_N\CT TZn_cM/L[d
+Qgvfs Mg§±QofMPbCvfsp^`vCO©o Mz+QLNTZnM/S%eybC_NTs%§¨M/LuQ%O/^` T&vfvC^`_NTspMPS©Qg^`vC%¡8 ^|d
spTnqvCTs%^iS%eyhi^|Za^i_8{Qgvfs©efQgL[QgS%T&_cLN^Z&Qgh`hi{Q/d§¨M/h`hiM d
98 ;8 C
:=< > 8
>A@ B > 1 # cU&°
98 ;8 C
.< > 8
>I@
KJL =L
B
-
> 1 # cU&°
t\CT&LcT2:2Qgvfs J QgLcTZnM/vfd:_RQvp_W^`vp_cT&O/TLtS©Qg_cLN^|ZaTdnm'8QvfsL´QgLcTLRQ_N^iMPvfQgh? TZn_NMPLRdam
Qgvqs
>
^dYQv©^iv_NT&OPT&LtdcZ&QghQgLªdrbfZR\©_N\fQ_
>
8¼^dtQgv^iv_NT&OPT&L TZa_NM/L¡
¹\CTZnMPhibCSvfdHMg§I_c\CTJ SQg_NLc^izuLNT&eCLcTdrTvp_G_c\CT uT&z_NLNTS©QghC TLN_N^ZnTdAMg§I_c\CTWefM/»
H^iOPbCLNT f¹ALRQvfd §¨MPLNS%Tls 5 M/S©Q^iv' AQgvqs¼^i_[d M/bCvqsp^ivCO Mz
T&Lc_N^ZnTdn¡P¹\CT LRQ_N^iMPvfQgh¬ZnM/vqdr_RQvp_[d ²Qgvqs 5AQLNT _N\CTLNTn§¨MPLNT spTnqvCTsQ/d_c\CT S%^ivC^`S©Q
Qvfs¼S©Qzp^`S©QpmPLNTd:e TlZn_N^` T&hi{ mPMg§<_c\CT !PQhibCTd
d^iv©_N\CT LNMðM§NJ
S%^ivf
, 0 g 2U / ! cUn
5 S©Qgzy
, 0 l $U "!
¹\CTofM/byvfsp^ivyO%ofMgz ^|dtspTnqvCTs%^iv©_NTLNS©d<Mg§
¬Qgvfs k¡
98 8 C
85 U"!# cU&
) ) + - 5 " 3= )- +
¹AMLNTspbqZnTttQPdr_NTls S%TS%M/Lc{ mnTt_NLN{_cMWfvfsQWhi^`vCTQgL?bCvC^iSMspbCh|QLG_NL[Qgvfd8§¨M/LcS©Qg_c^iM/v
9 t\C^|ZR\ZR\fQgvCOPTd_N\yTd:\fQgefTMg§ª_N\CTspMPS©Qg^`v 5 t^i_N\yM/bC_Z]\qQgvCOP^ivCO
^`_Rd M/h`bCS%TªQgvfsdrbfZR\©_N\fQ_Y_c\CTusp^¶¥²T&LcT&vfZnTªo T_rT&T&v©_N\yT_cLRQvfd §¨MPLNS%TsspM/S©Q^iv
Qvfs^i_[d±ofM/byvfsp^ivyO%ofMgz²mf^8¡T ¡8.1032H467? .103254167P? iRmf^|dtS%^`vC^iS^i¤aTs-¡E; ^`vfZnT
_c\CT©_NLRQvfd §¨MPLNS©Q_N^`M/v ^|dbyvC^iS%MsbCh|QL%^k¡T ¡%*` a WU^`_^|d MPhibCST!eCLcTdrTLN»
^ivCO.10G2H416 7? É .103254167P?N[¡-¹\bfdnmC_cM%S%^`vC^iS^i¤aTY_c\CTtQPdr_NT m ^`_ drbp³ZnTdt_NM
S%^`vC^iS^¶¤T .1032H467? [¡
H^`O/bCLcT·^`hih`bfdr_cLRQg_cTd%spMPS©Qg^`v) Yt\C^Z]\ ^d%spMPS©Qg^`v _cLRQvfd §¨MPLNS%Ts¸byvfspT&L
d:M/S%TW_cLRQvfd §¨MPLNS©Q_N^iMPv ¡¹\CTofM/bCvqsp^ivCOofMz' Mg§?_N\CT_cLRQgvqd §¨M/LcS%Ts%sM/S©Q^iv
^dGdrS©Qhih`T&LA_N\fQv_N\CTtofMPbCvfsp^`vCOo MzM§-_c\CTtbCv_NL[Qgvfd8§¨M/LNSTsspMPS©Qg^`vA¡¢-Tdcd«ST&S%M/Lc{
vCTTsCdG_NMuo TªQgh`hiMZ&Q_NTs§¨M/L_N\CTtofMPbCvfsp^`vCOofMgzM§_N\fQv!§¨M/L<_c\fQg_Mg§A_c\CT M/LN^`O/^`vfQgh
spMPS©Qg^`v %¡
µ ^i Tv©Q!sM/S©Q^iv'm
H^`vfs©Qgv©bCvC^`S%MspbChQgLt_cLRQgvqd §¨M/LcS©Qg_c^iMPv 9
d:bfZ]\©_c\fQg_ _N\CT .10G2H4167l? <^|dS^ivC^`S%^¦¤&Ts-¡
~8v©_NT&LcS©dM§ , Qgvqs mp_N\yTsM/S©Q^iv f^|dtsTnfvCTs©QPdYQPd
, 98
8 8 8 4, # cU(Z°
98
8
C
'< >
8
> @ JLJ
L=L
B > 1 -# cU /
t\CT&LcTJ ^d!Q+ZnM/vqdr_RQvp_^iv_NT&OPT&LS©Qg_cLN^`z-m ^d!Q+bCvC^iSMspbCh|QLS©Qg_cLN^`z-m
>
^d!Qv
^iv_NTO/T&LdNZ&Qh|QgLmQvfs 8AmN8Qgvfs L QLNTLRQg_c^iMPvfQght TZa_NM/L[dnm<Qvfs
>
8<^|dQgv¸^`vp_cT&O/TL
TZn_cM/L¡
AWQ&p^`vCO_c\CTS©Qg_cLN^`z2J Jmp_c\CT TZn_NMPLRd `m fQvfs ²QgLcTuZnM/S%eybC_NTs§¨LNMPS
J ^`v_N\CT dcQgS%TtS©QvCvCT&LI_N\qQg_ m Qgvfs ·T&LNT ZnMPS%eCbC_cTs§¨LcM/S J¡ ¹\CT vCT&=2?7 @ . 0
QgvqsE.1032541676.0G§¨bCvfZn_c^iM/vqdMg§<_c\CT_NLRQvfd §¨MPLNS%Tls%spM/SQg^ivQLNT
2?7 @H 8 !"""# , 0
¡¡¡
$%
%%
& ' 8
' 8 '
cU(t°
.103254167-,
,
cU&°
t\CT&LcT !%^|dG_N\CT s^iS%T&vqdr^iMPvM§Io MP_N\ , qQgvfs ,
Qgvfs_N\CT M/efT&L[Qg_c^iM/v
'
^d<Q TlZn_NMPL
spMP_YeCLcMspbfZn_¡
IÀÄ À *N') 2?7@L "keE@o< bT "_+*T*, H "keE@C
< 8 f
#% < tµ ^i T&v 2?7@/. 80mp^iv_NTLNS©dGMg§I_cLRQvfd §¨MPLNS%Tse MP^iv_RdD8 mpQvQl³vCTY§¨bCvfZa_N^iMPv
2 7@/.850S©Q&{ofTsT&LN^` Ts%Q/d§¨M/h`hiM d
2?7 @H 8 ' 8 '
' 8- '
' 8 '
2 7@G8¬
¹\bfdam OP^i T&v©_N\yT_NL[Qgvfd8§¨M/LcS©Qg_c^iM/vS©Qg_cLN^`z mC_N\CTZnM/vqdr_RQvp_ TZn_cM/L[d ¬Qgvfs
Z&QvofT ZnMPS%eCbC_cTsYO/^`p^`vCO _N\CTxZnM Tn³Zn^iT&v_Rd §¨MPLGQvQl³vCT 2 7@/.10-§¨bCvfZa_N^iMPv