HAL Id: hal-00341971
https://hal.archives-ouvertes.fr/hal-00341971
Submitted on 19 Jul 2009
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.
Towards an Automatic Parallelisation of Sparse Matrix Computations
Roxanne Adle, Marc Aiguier, Franck Delaplace
To cite this version:
Roxanne Adle, Marc Aiguier, Franck Delaplace. Towards an Automatic Parallelisation of Sparse Matrix Computations. Journal of Parallel and Distributed Computing, Elsevier, 2005, 65 (3), pp.313–
330. �hal-00341971�
12%0436578,9:;&9/
<>=@?BADCBE&FGIHJELKNMOAQPSR)FTVUQWNTJEXPXKBYNPSAQCNR[Z:\%EXHVAQ]BH^AQRELK
_`ALMba!Kdcfe%<%g9hMO<jiQkDlnmIK
hCNTJoLEpP[qrTJsBtE)G0u
t
vwonPSx:ywADHG0uv;qSq4=QCBCBELK
z mQ{}|;HVALRE&GIEXq>~EpPSP[AQqSqrEqpK
N km z t
v;onP4xLKBYBP[ADCNRpE
~EpH;d{Q{ k & k-i{ kLk
YdA?.{Q{9 kL ki}{}i
>>
nn4L@0@NDnn; L
Ep¡¢AQTJH£ ¤L¥B§¦SN@¨0DQ;¦4¥IIQQ©NLNª«IL@L0NLQnLf¬
y§EpP[qrTV=QC§®®°¯B±I²0¯B³
´£µb¶ ·¸º¹&»¼X»I½S¾!¿À½-»Q¾ Á»IÁ¹¬½-¼Ã½Sµ½S¾ ¸ºÄ-Å&½S¶ ·LÁDÆbÁXÇ>¼pÈL¶ ÁXżp¶ ¸ºÄ-»n¼¾r¼Xɺɺ½[ɺ¸ºÊ!¼p¶ ¸ºÁµËÇVÁX¾¹¬»¼p¾ ¹¬½
żp¶¬¾ ¸ÍÌÄ[ÁÅ&»LÈL¶r¼¶ ¸ÎÁXµdÏз¸º¹;Å&½S¶ ·ÁDƸº¹;ѼX¹¬½!Æ}Áµ-ÑIÁp¶ ·¢¼¾ ½SÒµ½[Å&½[µ¶§ÁpÇ0¶ ·½ÆL¼p¶r¼pÓÔÆQ½[»I½[µnÆQ½[µÄS½
¶ ½[¹¶»L¾ ÁX»IÁ¹¬½!ÆÑÕÖ%ÏN×½S¾ µL¹¶ ½[¸ºµ¼pµnÆ9¼pµ9¸ºµ¹¬»I½SÄS¶ ÁX¾¬Ó½SÌQ½[Ä[ÈQ¶ ÁX¾>¹¬Är·½SÅ&½Àw·¸ºÄr·9¸º¹>¹¬»I½[Ä[¸Î¼pÉθºÊ[½[Æ9¶ Á
½!¼XÄr·¸ºµL»ÈL¶»Q¾ ÁÂp¾r¼XÅÁXÇL¶ ·½ÄSÁÅ&»¸ºÉº½S¾!ÏзL¸º¹¼pµn¼pɺÕQ¹¬¸º¹Å&¸ÍÌL½S¹Ä[ÁÅ&»L¸ºÉJ¼¶ ¸ºÁµ)»Q¾ ÁÄ[½[¹¬¹`¼XµÆ%¾ ȵQÓض ¸ÎÅ&½
»L¾ ÁÄ[½S¹¬¹[Ï
з½%¹¬»n¼¾ ¹¬¸º¶ÔÕ:ÁXÇȵÆL½S¾ ÉÍÕQ¸ºµÂƼ¶r¼pÓ¹¶¬¾ ÈÄS¶ ÈQ¾ ½ÆQ½S¶ ½S¾ Å&¸ºµ½S¹¼&¹¬»I½[Ä[¸ÍÒnÄ»n¼¾r¼Xɺɺ½[ɺ¸Î¹¬ÅÙÀw·L¸ºÄ4·:¸ºµLÓ
ÄS¾ ½!¼p¹¬½[¹¶ ·½;ÆQ½[ÂX¾ ½[½wÁpÇd»¼p¾r¼pÉÎɺ½[ɺ¸º¹¬ÅjÁpÇ°¼pµ¼XɺÂÁp¾ ¸Í¶ ·Å-ÏÚQÈLÄ4·)¼¹¬ÁÈL¾ ÄS½#ÁpÇd»¼p¾r¼pÉÎɺ½[ɺ¸º¹¬Åj·¼Æ)¼pɺ¾ ½[¼ÆQÕ
ÑI½[½[µ9¼X»»Lɺ¸Î½[Æö Á-żXµÕ:µDÈÅ&½4¾ ¸ÎÄ[¼XÉ`¼XɺÂÁp¾ ¸Í¶ ·Å&¹¹¬ÈÄr·¼p¹%¶ ·L½)ȹ¬È¼XÉÛ·Áɺ½[¹¬ÜÕÇݼpÄS¶ ÁX¾ ¸ºÊ!¼¶ ¸ÎÁXµbÁX¾
Þdß;Ó£ÆQ½[Ä[ÁXÅ&»IÁ¹¬¸Í¶ ¸ºÁµà¼XɺÂÁp¾ ¸º¶ ·LÅ&¹&Ä[ÁµL¹¬¸ÎÆL½S¾ ½!Æ.¼X¹)¶ ·L½ÂXÁÉÎÆ๶r¼pµnƼ¾rÆL¹)ÁpÇ»¼p¾r¼Xɺɺ½[ɺ¸ºÊ!¼p¶ ¸ºÁXµáÑn¼X¹¬½[Æ
Áµ-¹¬»¼p¾ ¹¬¸Í¶£ÕÏз½>¹¶r¼pµnƼ¾rÆ-¼XÈQ¶ Áż¶ ¸ÎÄ>»¼p¾r¼pÉÎɺ½[ɺ¸ºÊ!¼¶ ¸ÎÁXµÃÅ&½4¶ ·ÁDÆÄ!¼pµµLÁX¶w¶r¼XÄrÜDÉν>¹¬ÈLÄ4·¹¬ÁÈL¾ ÄS½%ÁpÇ
»n¼¾r¼Xɺɺ½[ɺ¸Î¹¬ÅâÑI½[Ä[¼Xȹ¬½f¸º¶¸Î¹§Ñ¼X¹¬½!ÆÁµ¶ ·½#ã¼pÉÎÈL½fÁpÇÄ[½[ɺɺ¹;¼p¾¬¾r¼[ÕQ¹w¼XµÆµLÁX¶§Å&½S¾ ½SɺÕ)Áµ}¶ ·L½fÅ&½[Å&Áp¾¬Õ
¼ÆLÆQ¾ ½[¹¬¹¬¸ºµÂ)ÇVȵLÄS¶ ¸ºÁµdÏ
ÖfÆLÆQ¾ ½[¹¬¹¬¸ºµÂ;¶ ·½§¼pÈL¶ ÁXżp¶ ¸ºÊ!¼p¶ ¸ºÁXµ)ÁXÇI¶ ·L¸Î¹0»¼p¾r¼pÉÎɺ½[ɺ¸º¹¬Å¾ ½!äȸ; ½[¹0¶ ÁÆQ½[ã@½[ɺÁ»¼fÅ&¸ÍÌQ½!Æ%ÄSÁÅ&»¸ºÉº½SÓ
¶ ¸ºÅ&½¼pµnÆ¢¾ ȵ¶ ¸ºÅ&½¼p»»Q¾ Á@¼XÄr·¸Îµ¶ ½[Âp¾r¼p¶ ½!Æ:¸ºµ9¼¸ºµ¹¬»I½[Ä4¶ ÁX¾¬Ó½SÌQ½[Ä[ÈQ¶ ÁX¾>»Q¾ ÁÄ[½[¹¬¹[Ïз½Ä[ÁÅ&»L¸ÎÉμ¶ ¸ÎÁXµ
¹¶ ½[»á»L¾ ÁãD¸ÎÆL½[¹}¼OÆL½!ÆQ¸ºÄ!¼p¶ ½!Æ˸ºµL¹¬»I½[ÄS¶ ÁX¾-ÆL½[ãÁX¶ ½!Æå¶ Á¶ ·L½Ã¼pµn¼pɺÕQÊ[½[Ææ»Q¾ ÁÂp¾r¼XÅ-Ï+з½:¸ºµ¹¬»I½SÄS¶ ÁX¾
Ä[ÁÅ&»LÈL¶ ½[¹¶ ·½ÆQ½[»I½[µÆL½[µLÄ[½fÂp¾r¼X»·¼p¶§¾ ÈLµD¶ ¸ºÅ&½wÀw·¸ºÄr·¼pÉÎɺÁ!Àw¹#¼ÆQÕQµ¼XÅ&¸ºÄ#»¼p¾r¼pÉÎɺ½[ɺ¸ºÊ!¼¶ ¸ÎÁXµ:ÁXÇ°¶ ·L½
½SÌQ½[Ä[ÈQ¶ ¸ÎÁXµdÏ
Ö#¹½SÌQ»L¾ ½S¹¬¹¬½!Æ#çÈL¹¶`ÑI½SÇ^Áp¾ ½¿@¶ ·½§ÂX½[µ½4¾ ¸ÎÄw¹¬Är·½[Å&½ÆL½[ã@½SÉÎÁX»I½!Ƹºµ¶ ·L¸Î¹»¼X»I½S¾Ç^ÁXɺÉÎÁ!Àw¹¶ ·L½§ÆL½S¹¬¸ÎÂXµ
»L¾ ¸ºµÄS¸Î»Lɺ½[¹>Àw·¸ºÄ4·9·n¼!ã@½)ÑI½[½Sµ¼X»L»Éº¸º½!ÆN¿°ÑÈQ¶%¼p¶½!¼pÄ4·9¶ ¸ºÅ&½)¸ºµ9¼Xµáè@éXêÝëLì!í>À§¼[Õ¿d¶ ÁżXµÕ:¹¬»¼p¾ ¹¬½
»n¼¾r¼Xɺɺ½[ɺ¸ÎÊ[¼p¶ ¸ºÁµOÁXǵDÈÅ&½S¾ ¸ºÄ!¼pɼpɺÂÁX¾ ¸Í¶ ·LÅ&¹>¹¬ÈÄr·¼X¹%Û·LÁɺ½[¹¬ÜÕüXɺÂÁp¾ ¸Í¶ ·Å-ÏÖ;¹fÇݼ¾¼p¹À½&ÜDµÁ!À>¿
µÁ½[µL½S¾r¼XɧÇVÁX¾ żXɧÇJ¾r¼XÅ&½SÀÁX¾ Üb·n¼p¹)ÑI½[½[µ.»L¾ ÁX»IÁ¹¬½!Æb¶ ÁüXÈL¶ ÁXżp¶ ½}¹¬ÈÄr·à¼Å&½S¶ ·ÁDÆÁpǹ¬»¼p¾ ¹¬½
»n¼¾r¼Xɺ½[ɺɺ¸ÎÊ[¼p¶ ¸ºÁµNÏ9´Ôµ¶ ·¸º¹»¼X»I½S¾!¿0À½»L¾ Á»IÁX¹¬½¼-ÂX½[µ½4¾ ¸ÎÄÇV¾r¼pÅ&½SÀÁp¾ ÜÁXÇw¹¬»¼p¾ ¹¬½»n¼¾r¼Xɺɺ½[ɺ¸ÎÊ[¼p¶ ¸ºÁµ
î
¸ÝϽXÏ}µDÈLÅ&½S¾ ¸ºÄ!¼XÉ»L¾ ÁXÂX¾r¼pÅ︺µÆL½[»I½[µÆL½[µ¶4ð;Àw·L¸ºÄ4·Ä[¼Xµ9ÑI½¼p»»LÉθº½!ƶ Á¢¼XµÕµDÈÅ&½S¾ ¸ºÄ!¼pÉ`»Q¾ ÁÂp¾r¼XÅ&¹
¹ ¼p¶ ¸º¹ÇVÕQ¸ºµÂ)¶ ·L½>ȹ¬È¼XÉN¹ÕLµ¶r¼pÄS¶ ¸ºÄÄ[ÁµL¹¶¬¾r¼X¸ºµ¶ ¹#ÁpÇ0»n¼¾r¼Xɺɺ½[ɺ¸ºÊ!¼p¶ ¸ºÁµNÏ
ñ-òpóáôõDö4÷@øpùú|§AQPSAQHJHVEpHVTJûAsSTJ=LCK\Ep]°EpCdGIEpCNRpEFCNAQHJxIq4TVqXKNgn]NAQPSq4E&MOAsSP4TJ?c#=L¡]NTJHVEpP
Qü a e%~><ý\hcf~a4ýe
e%WB¡-EpPSTVRXADH>q4RpTJEXCs4TJþdRAD]B]BHVT^RpAsSTJ=LCNqqrWNR[ÿ AQq WNTVG GIxnCNAD¡-T^Rpq=QP-¡-EXR[ÿdADCBT^RpAQHqrs4PSWNR
sSWBP4E¢Rp=Q¡-]BWIs[As4TV=QCà=ÝsSEpCåWNqrE¢q4]NADP[q4E¡¢AsSP4T^REq
ü
F7¡¢AsSP4TJ?.T^q)qr]NAQPSq4ETf¡-AQCnxb=#TJsSq
Rp=E:RTVEpCsSqAQP4E¢ûXEpPS=bADCNGËTs4ÿBEXP4E:T^qAQCËALGIoADCsSAQUQE-TVCáE?I]BHV=QTJs4TVCBUbTÎs[qûXEpPS=Lq
ü
~ÿBE:Ep?
]BHV=QTJsSADs4TV=QC =%TJsSqûpEXP4=qHVEXALGBq}s4=às4ÿBE9WNq4EÃ=GIEGITVRXAsSEXG q4]NAQPSq4EÃqrs4=LPSAQUQEØ=LP4¡¢As
ÿBT^R[ÿ
PSEØEXP4EXCNREq ü EpCdREQK]NAQPSAQHJHVEpH§]NP4=LUQP[AD¡¢q&GIEXAQHJTVCBU
TJs4ÿæq4]NADP[q4E¢¡-ADs4PSTVRpEXqAQP4E-PSEXRp=QUQCNTJûXEXG
sS=°EEpPSP4=LP]BPS=QCBELKIÿNADP[G9s4=9GIENWBUADCdGbGIT:RpWBHÎss4=¡-AQTJCs[ADTVC ü c#=QCdqrELWNEpCs4HVxQKdÿBTVGNGITJCNU
q4]NADP[q4TÎs xs4=&]BPS=QULPSAQ¡¡-EXPSqEXALqrEqs4ÿNE]BPS=QUQP[AD¡-¡-EpP[qXuXs[AQq4ZAQCNGP4EGIWNRpEXqsSÿBEGIEXoQEXHJ=L]B¡-EpCs
sSTJ¡-E ü ýCNE]°=LqSqrTBTVHJTJs x:T^q#s4=¢R=LCNqrT^GIEXP#]BPS=QULPSAQ¡¢q
PSTÎs4s4EpC Ø=QP>GIEXCNq4E)qrs4=LPSAQUQE Ø=LP4¡¢ADsAQCNG
AQWIs4=L¡-ADs4T^RpAQHJHVxs4P[ADCNqØ=QPS¡-TJCBU%s4ÿBEX¡ï ØT
üE ü
P4Eq sSP4WNRs4WBPSTVCBUTJCs4=]BPS=QULPSAQ¡-q
ÿBT^R[ÿ}GIEADH
TÎsSÿ
q4]NADP[q4E%q sS=QP[ADULE Ø=QPS¡-ADsSq
ü
~ÿBTVq#EpCdABHVEXqfR=L¡]NTJHVEpP#=Q]IsSTJ¡-TVûXAsSTJ=LCNqfqrWNR[ÿÃAQq#]NADP[ADHVHJEXHJTVûXADs4TV=QC
°EØ=LP4Es4ÿNE&P4Eq sSP4WNRs4WBP[AsSTJ=LC]BÿdAQq4E
ü
Mb=LP4EX=oQEpPKLRp=QCNq4T^GIEpPSTJCNU-q4]NAQPSq4TÎs x:GBWBP4TVCBU¢R=L¡-]BTJHVEpPuq
=L]Is4TV¡-TJûAs4TV=QCdq§]BPS=oT^GIEq§A)CBE
qr=LWBP[REs4=&TV¡-]BPS=oQEfs4ÿBE%]NADP[ADHVHJEXHJTVûXADs4TV=QC
ÿBTVR[ÿ:RXADCBCN=Ds °E
AQ]B]BHVTJEG
ÿNEpC}s4ÿBE Ø=LP4¡¢As§T^q=QCBHVxRp=QCNq4TVGBEpPSEXG&sS=dE>GIEXCNq4E
ü
~ÿBTVqwTVq§GIWNEs4=s4ÿBEAQHJULEBP[ADT^R
]BPS=Q]°EpP4s x=0ûpEpPS=)s4=°EANq4=QPBTJCNUTVC¢WNq4WNADHdADHVUQENPSAQTVR>qrs4PSWNR!sSWBPSEXq§WNq4EXG-TVC¢HVTJCBEADP;AQHJULEBP[A
TüE ü KK&KIEpsSR ü ü ~ÿBT^q&ADHVHV=
qsSÿBE¢GIEp]°EpCNGBEpCNRpE¢P4EX¡=oAQHADs)PSWBC £s4TV¡-E ü ~ÿBEpPSEØ=LP4ELK
q4]NADP[q4Eá¢AsSP4TJ? ]BPS=QULPSAQ¡-¡TVCBUàTJCBÿNEpPSEpCs4HVx R=LCsSADTVCNq-¡-=QPSE]NADP[ADHVHVEpHVTVq4¡ s4ÿNAQC ]NP4=LUQP[AD¡¢q
PSTÎs4s4EXC Ø=LPGIEpCdqrE&qrs4=QP[ADULE Ø=LP4¡¢ADsSq ü
~ÿBT^qÿdAQGbADHVPSEXAQGBxdEXEpCO=Nq4EpPSoQEXG9ADCdGbAD]B]BHVTVEXG9s4=-sSÿBEgI]NADP[qrE}c#ÿN=QHVEXq4ZxÃYNAQRs4=LP4TVûXADs4TV=QC
¡-EsSÿB=IG {IK m ü a¬Cs4ÿBT^q]dAD]°EpPK
E&]BPS=Q]°=Lq4E)s4=:ULEpCBEXPSAQHJTVûpE)sSÿBEXq4E¡-EsSÿB=IGBq>sS=ADCnxqrE
WBEXCLsSTVAQHBCnWB¡-EpPSTVRXADHB]NP4=LUQP[AD¡âqSAs4T^qØxTVCBUs4ÿNEWNq4WNADHNq4xnCsSAQRs4T^R>R=LCNq sSPSAQTJCs[q=]NADP[ADHVHJEXHJTVûXA
sSTJ=LC k £ü \%EADHVTJCNU
TÎsSÿOqr]NAQPSq4E&q sSP4WdR!s4WNP4Eq>HJEAQGBq>s4=¢E?nsSEpCNGITVCBU-sSÿBEWNq4WNADHGIEþNCNTÎsSTJ=LCb=
GIEX]dEXCNGIEXCNRTVEXqsS=¢TJCsSEpUQP[AsSE%sSÿBEXq4E&]BPS=Q]°EpP4s4TVEXq ü
~ÿBE]NAQPSAQHJHVEpHVTVûXAsSTJ=LCT^qs4ÿNEpC¢GITVoT^GIEG}TVCs4=&A&R=L¡-]BTJHVE]BÿNALqrE>ADCdGAQC}Ep?IEXRWBs4TV=QC]BÿNAQq4E ü
FfsàRp=Q¡-]BTVHJEæs4TV¡E ADCNG ADsOE?IEXRpWIs4TV=QCjsSTJ¡-ELK}ADC AQCNADHVxIqrT^qbT^qO]°EpP Ø=QPS¡EG =QC ]BPS=QULPSAQ¡
sSE?nsSqAQCNGà=QCËqr]NAQPSq4E¡-ADs4PSTÎ?åq sSP4WNRs4WBPSEQK`P4Eqr]°EXRs4TVoQEpHVx
ü
~ÿBE-]NAQPSAQHJHVEpHVTJûAsSTJ=LC Ø=QHVHV=
qAQC
TVCNq4]dER!s4=LPE?IERWIsS=QP>q4R[ÿNEp¡-EQKnsSÿNAsT^qp
s4ÿBETJCNq4]°EXR!sS=QP
TVHVHR=L¡-]BWIs4Es4ÿBEGBEp]°EpCNGIEXCNREUQP[AD]BÿADCNGbqSR[ÿBEGIWBHVE)s4ÿBE&s[AQq4ZIqAQR
R=LPSGITVCBU}s4=-sSÿBTVqULPSAQ]Bÿ
s4ÿBE&Ep?IEXRWBs4=QP
TVHJH`]dEXPØ=LP4¡ sSÿBE&]NAQPSAQHJHVEpH0CnWB¡-EpPST^RpADH0Rp=Q¡-]BWIs[As4TV=QC ü
hqrWNAQHJHVxQKfsSÿBEOTVCNqr]°EXRs4=LP:R=QCdqrT^q s[q¢=&Aáq4Ep]NAQPSADs4E¡-=nGBWBHJE
ÿBTVR[ÿ ]°EpP Ø=QPS¡¢q¢AáGIxnCNAD¡-T^R
AQCNADHVxIqrT^q ü a¬Cås4ÿBEq4]NAQPSq4E-]NADP[ADHVHJEXHJTVûXADs4TV=QCK`s4ÿBE]BP4=LUQP[AD¡ú=fsSÿBE:TVCNq4]dER!s4=LPT^q&UQEXCBEpP[AsSEXG
nxOsSÿBE:R=L¡-]BTJHVEpPALRpRp=QP[GITJCNUsS=AULEpCBEXP4T^R ØPSAQ¡-E
=QPSZ ü ~ÿBEXP4EØ=QPSEQKTJsTVqqr]°EXRpTVAQHJTVûpEGOsS=
sSÿBEADCNAQHJxnûXEXGÃ]BP4=LUQP[AD¡ ü a¬C=QP[GIEpPfs4=:Rp=Q¡-]BWIsSE)s4ÿBEGBEp]°EpCNGIEXCNRE&ULPSAQ]BÿAsPSWBCs4TV¡ELKIs4ÿNE
TVCNq4]dER!s4=LP
TVHJHGIEsSEpPS¡TVCBEbsSÿBEbþNHVH£TVCTJCsSP4=IGIWNRpEXGGIWNP4TVCBUËs4ÿNEOE?IEXRpWIs4TV=QC°EXRXADWNq4Ebs4ÿNE
ULEpCBEXPSADs4TV=QCæ=%s4ÿNEGBEp]°EpCNGIEXCNREbULPSAQ]Bÿ GIEX]dEXCNGBq-=LC AQHJHCB=LCBûpEXP4=åHJ=IRXAs4TV=QCdq ü YTVUQWBPSE
]BT^R!sSWBPSEXqsSÿBEGIT°EXP4EXCs%q sSEp]Nq
ÿNTVR[ÿbADPSE)]dEXP Ø=LP4¡-EG9ADsP4WNC ÔsSTJ¡-Enx:sSÿBERp=Q¡-]BTVHJEXP ü ~ÿNE
GITEpPSEpCsTJCdqr]°EXRs4=QPqrs4EX]Nq=§YTJULWBPSE
BPSTVE xGBEXqSRPST°E)s4ÿBE Ø=LHJHV=
TVCBUsSP4EAsS¡EXCsSqX
s4ÿBEÃqrxn¡°=QHVT^RþNHJHfGIEsSEpPS¡-TJCBEq&sSÿBE:EpCsSP4TVEXq&TVCËs4ÿNE:¡¢As4PSTJ?
ÿBT^R[ÿáR=LP4PSEXq4]d=LCNGBqsS=
CB=QCNûpEpPS=áEpHVEp¡-EXCLs[qÃGBWBP4TVCBUásSÿBE.Ep?IEXRWBs4TV=QC ü ~ÿNEbþNHVHJTVCBU T^qÃCB=Ds¡-EXP4EXHJx WNq4EXG sS=
AQRXRWBP[AsSEpHVx}GIEps4EpPS¡-TJCNE>s4ÿBEP4EWBTJPSEXG-¡-EX¡=LP4x-q4TJûXE Ø=QPfA&UQTVoQEXC:qr]NAQPSq4E>¡¢AsSP4TJ?0KBWIs
ADH^qr=}s4=:Rp=Q¡-]BWIsSEs4ÿBEGIEX]dEXCNGIEXCNRE&ULPSAQ]Bÿ ü
~ÿBE%Rp=Q¡-]BWIs[As4TV=QC-=°sSÿBE%GIEX]dEXCNGIEXCNREULPSAQ]BÿKqr=RXADHVHJEG:øö[øpò&÷QòBò °÷Lò! #"[ò%$Dö'&
ÔgI\)(&!K`TVq*NALqrEGO=QCËADCàE?ns4EXCNq4TJ=LC.=GBAs[AÃGBEp]°EpCNGIEXCNRE
ÿB=qrE-R=LCNGITJs4TV=QCNq
EpPSE
UQTVoQEXC+nx¢F ü-, EpPSCNqrs4EpTVC z £ü FfsR=Q¡-]BTVHVE£s4TV¡ELKA}GIEXGBTVRXAs4EG-]BPS=QUQP[AD¡ TVq;UQEXCBEpP[AsSEXG
s4=¢R=L¡-]BWIs4Eq4WNR[ÿAUQP[AD]Bÿ ü
~ÿBEqSR[ÿBEXGIWNHJTVCBU-]BÿNALqrE&GIxnCNAQ¡T^RpAQHJHVxqSR[ÿBEXGBWBHJEq]BPS=QUQP[AD¡Ùs[AQq4ZIq ü EpPSEQKnsSALqrZIq>Rp=QP
P4Eqr]°=QCdG:sS=-APSEXqrs4PSWNR!sSWBPSEXGÃ]BP4=LUQP[AD¡ =L]dEXPSADs4TVCBU}=LC9q4]NAQPSq4E&GBAs[Aqrs4PSWNRs4WBPSEXq ü
EXECUTION
Executor Inspector
COMPILATION dense program
filling analysis
dense dependence analysis
code generation
Entries
filling final entries
sparse dependence computation sparse dependence graph
scheduling
sparse matrix
sparse parallel program
numerical result
ÃýoQEpPSonTJE
=§qrs4Ep]dq
a¬CNq4]°EXR!sS=QP vw?IEXRWBs4=QP¡-EsSÿB=IGBqOTVCNGIWdRE AQCj=oQEpPSÿBEAQG
ÿBTVR[ÿ ¡}WNqrs dE ¡TVCBTV¡-TJûXEXG ü
c#=LCNqrEWBEpCs4HVxQK
E
TVHJH A@oL=QP]NADP[ADHVHJEXH¡Eps4ÿB=IGBq Ø=QP)TJCdqr]°EXRs4=QPuq&ADHVUQ=QPSTJs4ÿB¡¢q ü ~ÿBT^q)EpC
ABHJEq)WNq)sS=OAD]B]BHVxOsSÿBE¢¡-EsSÿB=IG Ø=LPH^ADPSUQE¡-ADs4PSTVRpEXq)°EXRXADWNq4EQK`s4ÿBE:q4TJûXE¢=fs4ÿBE¢¡-EX¡=LP4x
AQHVq4=¢q4RXADHVEXqfWB]
TÎsSÿ9s4ÿBE&CnWB¡ dEXP=]BP4=IRpEXqSqr=LPSq
ü
~ÿBE¢PSEXqrs&=fs4ÿBE¢]dAD]°EpPT^q)=QPSULAQCBTJûXEXGåAQq Ø=LHJHV=
q ü
a¬CægnER!sSTJ=LCámBK
E:GIEXqSRPST°E:q4=Q¡-E
PSEpH^AsSEXG
=QPSZnq;GIEXAQHJTVCBU
TJs4ÿRp=Q¡-]BTVHVADs4TV=QC:=0TJPSP4EXUQWBH^ADP;]BP4=LUQP[AD¡¢q
ü
a¬CÃgnER!s4TV=QCÃ{BK
EULTJoLE
AQC}=oLEpPSoTVE
=d=QWNP¡-Eps4ÿB=IG BWBTVHÎswADPS=QWNCNGAqrTV¡-]BHVEfEp?BAD¡-]BHVE ü ~ÿBEpCKgnEXRs4TV=QCl]BPSEXq4EpCs[q
sSÿBEÃqrs4PSWNR!sSWBPSE¢=qrEWBEpCs4T^ADH#TJCN]BWIs}]NP4=LUQP[AD¡¢q ü gnEXRs4TV=QC z GBEþNCBEq&sSÿBE¢þNHVHJTVCBU ØWNCNR!sSTJ=LC
ÿBT^R[ÿæR=L¡-]BWIs4EqCBE
EpCs4PSTVEXq ØPS=Q¡ ADCáTVCB]BWIs]BPS=QUQP[AD¡ ADCNGË¡¢AsSP4TJ? ü a¬C gnEXRs4TV=QC zBü{NK
EULEpCBEXPSADs4EsSÿBETÎsSEpP[As4TV=QCàqr]NAQPSq4EGIEX]dEXCNGIEXCNREUQP[AD]Bÿ ØP4=L¡EXCs4PSTJEq%]°EpP Ø=QPS¡-EXG nxs4ÿNE
þNHVHVTJCBU ØWBCNRs4TV=QC ü gIEXR!sSTJ=LC ]BP4EqrEXCsSqd=Qs4ÿ:sSÿBE)qrxn¡°=QHVT^R%R=IGIEs4=}UQEXCBEpP[AsSEs4ÿNE%þNHVH£TVCÃALq
EpHVHBAQqGIEX]dEXCNGIEpCdREXqXKQAQCNGsSÿBECnWB¡-EpPSTVRXADHn]NADP[ADHVHVEpHIR=IGIE ü Mb=LP4EX=oQEXPXK@qr=L¡-EfEp?I]dEXP4TV¡-EpCsSAQH
PSEXq4WBHJsSq
TJs4ÿbR=L¡¡-EXCLs[qADPSEUQTVoQEpC ü YTVCNADHVHVxQK
E)HJEA@oQEs4ÿBE&PSEXRXAD]BTJs4WBH^AsSTJ=LCsS=:gnEXRs4TV=QC. ü
åEàALq4q4WB¡-EOsSÿNAsÃs4ÿBEàP4EAQGIEXPT^qÃRp=QCnoQEXPSqSADCs
TJs4ÿsSÿBEàEXHJEX¡-EpCsSAQP4x GIEþdCBTÎsSTJ=LCNqÃ=
GIEXCB=Ds[AsSTJ=LCNADHq4Ep¡¢ADCsSTVRXq>AQq Ø=QWNCNGTVC9s4ÿBE&TVCs4PS=IGIWNR!sS=QPSxR[ÿNAQ]Is4EXPSqf=§A}s4Ep?sd=n=LZ:=QC9s4ÿNE
q4W' ER!s%AQq z £ü
m ü <v;_F§~>v;\ý<g
~
=&s4=L]BT^Rpq;AQP4ERHV=Lq4E>s4=}=QWBP
=LP4ZIqXKQPSEXq4]dER!s4TVoQEXHJxqr]NAQPSq4E%Rp=Q¡-]BTVHJEXPSq
ÿBTVR[ÿ¢PSEXqrs4PSWNR
sSWBP4EA]BPS=QULPSAQ¡Ù=Q]°EpP[As4TVCBU-=QCGIEXCNqrE&AQP4P[A@xIqwsS=¢]BP4=LUQP[AD¡¢q#=Q]°EpP[As4TVCBU=QCqr]dADP[qrE&ADPSP[A@xnqXK
AQCNGbsSÿBE¢GIxnCNAD¡-T^R]NAQPSAQHJHVEpHVTVûXAsSTJ=LCb=;TVPSP4EXUQWBH^ADP]BP4=LUQP[AD¡¢q
ÿNTVR[ÿåADCNAQHJxIq4EXqGIEp]°EpCNGBEpCNRpE
ULPSAQ]BÿNqADCNGqSR[ÿBEXGBWBHJEqfsSALqrZIq>As>PSWBC £s4TV¡-E ü
! "
#$ %
a¬C s4ÿBT^q}s4=Q]NTVRQK§s
=
=QPSZnqÿNA@oQEá¢ADTVCBHJx °EpEXC ]BPS=Q]°=Lq4EXG KwIK lBK X £ü a¬C Kw K
sSÿBEADWBs4ÿB=LPSq>ÿdA@oQENALqrEGsSÿBEpTVPRp=Q¡-]BTVHJEXPMO~ =LCOA-WNq4E= °=Ds4ÿOGNAsSAq sSP4WNRs4WBPSEXqcf<%g
c#=Q¡-]BPSEXqSqrEG <=
gsS=QP[ADULE-ADCdG+c>cg c#=Q¡-]BPSEXqSqrEGc#=QHVWB¡-C+gs4=LPSAQUQE Ø=LPqrs4=QPSTVCBU
BP[AQq ü a¬C lBK X Ks4ÿNE9AQWIs4ÿB=LPSqÿNA@oQENAQq4EXGËsSÿBEpTVP-R=Q¡-]BTVHVEpP , EXP4CN=QWBHVHJTf=QC AOWNq4E=%A
ULEpCBEXPSAQHJTVûXADs4TV=QC=#d=Qs4ÿGBADsSA&qrs4PSWNR!sSWBPSEXq#c>cgADCdGcf<%gKLRXADHVHJEG:c g £c#=L¡-]BP4Eq4q4EXG x
]°EpPS]BH^ADCBEOgsS=QP[ADUQE@!K Ø=QP:qrs4=QPSTVCBUáqr]NAQPSq4E9¡-ADs4PSTVRpEXq ü ~ÿBE]BP4=LUQP[AD¡ q4Ep¡¢ADCsSTVRXq}T^q¢ULTJoLEpC
WNq4TVCBUbP4EXHVADs4TV=QCNAQH§ADHVUQENPSALq ü ~ÿBEpxåAQqSqrTV¡-TJH^AsSE¢qr]NAQPSq4E-ADPSPSA@xIq%s4=OA9P4EXHVADs4TV=QCNAQHwGBAs[A NAQq4E
ÿBEXP4E)ZLEpxIqADPSEEXCLsSP4x:Rp=n=QP[GITJCdAs4Eq
ü
a¬CÃs4ÿBT^q>q4EpCNq4EQKnsSÿBEpx:CdAD¡-EXGs4ÿBEXTJPAQ]B]BPS=LALR[ÿ4GBADsSA
RpEpCs4PSTVRBHV=n=Q]Nq
ÿNTVR[ÿ=QPSTJULTJCdADHVHJxq4]NADCTJs4EpP[AsSTJ=LCGB=Q¡¢ADTVCNq§ADPSEfP4Eq sSP4WNRs4WBPSEXGs4=q4]NADC}s4ÿNE
EXCLsSP4xbRp==LPSGBTJCNADs4Eq%GI=L¡-AQTJC
ü
c#=LCNq4E WBEpCsSHJxLKdPSEØEXP4EXCNRE}o@AQHJWNEXq
ÿBTVR[ÿåGI=CN=Ds)dEXHJ=LCBU:sS=
EXCLsSP4TVEXqfADPSEsSÿBEpC9GIT^q4RXADP[GIEXG
ÿNEpC:sSÿBE)R=Q¡-]BWBsSAsSTJ=LCT^q;]°EpPØ=QPS¡-EXGÃqrTVCNRE%s4ÿBEXx:ADPSE%CBEXoQEXP
ALRpREq4q4EXG
ü
, =DsSÿ
=QPSZnq#ADPSE¡¢ADTVCBHVx Ø=nRpWNq4EXG¢=LC:s4ÿNEAQWIs4=L¡-ADs4T^R%Rp=QCnoQEXPSq4TJ=LC-=`q4E WBEpCsSTVAQH°GIEXCNq4E
]BPS=QULPSAQ¡¢qTJCs4=}qrEX¡-AQCs4T^RpADHVHVxE WBTVoADHVEpCs#q4E WBEXCLsSTVAQHdq4]NADP[q4ER=IGIEXq ü ~ÿBEpPSEØ=LP4ELKDs4ÿNE
=LP4Z
]BPSEXq4EpCsSEXG TJC s4ÿBT^q¢]NAQ]dEXP:RpAQC °EbqrEXEpC AQq¢ADC E?nsSEpCNq4TJ=LC =%sSÿBEXq4E
=LP4ZIq ü a¬CNGBEpEXGK#TVC
ALGBGITJs4TV=QCK
EWNq4Eq4]NADP[qrTJs xOsS=àRp=QCnoQEXPrsq4E WBEXCLsSTVAQH#GIEXCNq4E:]BPS=QUQP[AD¡¢q&TVCs4=.q4Ep¡¢AQCLsSTVRXADHVHJx
ELWNTJoADHVEpCs9]NADP[ADHVHJEXH%q4]NADP[qrEàR=IGIEXq ü , EXq4T^GIEXqXK
E TJHVH)qrÿB=
TVC gnER!s4TV=QC ÿB=
s4ÿNEXq4E
=QPSZIqfRXADCdE&TVCs4EXUQP[As4EG:sS=-=QWBP>]NAQPSAQHJHVEpHVTVûXAsSTJ=LCÃqSR[ÿBEp¡-E ü
" $ #$#$ # $ "
\xnCNAD¡-T^R:]NAQPSAQHJHVEpHVTJûAsSTJ=LCËAQTJ¡¢q}AsqSR[ÿBEGIWBHVTJCBUåADCæAQ]B]BHVTVRXAs4TV=QC AQRpRp=QP[GITVCBUs4=åAOGIE
]°EpCNGBEpCNRpEUQP[AD]Bÿ]°EpP Ø=QPS¡-EXGAs%PSWBCs4TV¡-E ü a¬Cs4ÿBT^q>sS=Q]BT^RDK
E}RpADCbRpTÎsSE&s4ÿBE
=LP4ZIq= iIK
L KdmQm £ü
a¬C i K@sSÿBE#AQWIs4ÿB=LPSqGIEþdCBE#A%]NADP[ADHVHJEXHJTVûXADs4TV=QC&qSR[ÿBEp¡-E Ø=LP`]BPS=QULPSAQ¡¢q
ÿBEpPSE#AQP4P[A@xIq0ADPSE
TVCNGITVP4ER!sSHJx¢PSEØEXP4EXCNREG ü ~ÿBTVqf¡-EsSÿB=IGT^qADH^qr= NAQq4EXG=QC¢sSÿBE)TJCdqr]°EXRs4=QPE?IEXRpWIs4=LP#qSR[ÿBEp¡-E ü
~ÿBEÃTJCdqr]°EXRs4=QPR=L¡]NWIs4EqsSÿBEÃGIEX]dEXCNGIEXCNREÃUQP[AD]BÿK§AQCNGås4ÿBEXCæ]°EpP Ø=QPS¡-q}A.qSR[ÿBEXGBWBHJE=
s[AQq4ZnqXK
ÿBTVHJE;s4ÿBEfE?IEXRpWIs4=LPqSR[ÿBEXGBWBHJEqAQCNGRp=Q¡-]BWIsSEXq`sSAQq4ZIq`ALRpR=LPSGBTJCBUs4=sSÿBEGIEp]°EpCNGBEpCNRpE
ULPSAQ]Bÿ ü ~ÿBE%GIEX]dEXCNGIEpCdRE%AQCNADHVxIqrT^q§T^qw]°EpPØ=QPS¡EG-GIxnCNAD¡-T^RpADHVHVxALRpR=LPSGBTJCBUsS= , EpPSCNq sSEpTVCuq
Rp=QCNGITJs4TV=QCdq ü ýWBP
=QPSZ Ø=QHVHJ=
q§s4ÿBEqSAD¡-Eqrs4Ep]dq§E?BREX]Is
E>P4EpþNCBEs4ÿNE , EpPSCNq sSEpTVCuqwR=LCNGIT
sSTJ=LCNq xs[ADZnTJCNUsSÿBEq4]NAQPSq4TÎs xTVCLsS=ALRpRp=QWBCs ü a¬CgnEXRs4TV=QC Nü{NKEp?I]dEXP4TV¡-EpCsSq
TJHVH °EULTJoLEpC
TVC¢=QP[GIEpPsS=R=L¡]dADPSEs4ÿBEqSR[ÿBEXGBWBHJTVCBU&=IsSAQTJCBEGØP4=L¡ i uqwADCNAQHJxIq4TVq§AQCNGs4ÿNE%q4R[ÿNEXGIWBHVTVCBU
=IsSAQTJCBEG ØPS=Q¡ïs4ÿBE&ULEpCBEXP4T^Rqr]NAQPSq4E¡Eps4ÿB=IG]BPSEXq4EpCsSEXGÃTJCÃs4ÿBT^q>]NAQ]dEXP
ü
a¬C
Q
K>mLm
KAæHVTBPSAQP4x CNAQ¡EG`±Ý³ ÿNALq°EpEXC GIEpþNCBEXG
ÿBT^R[ÿ]BPS=oT^GIEqAæPSWBC
sSTJ¡-E)qrWB]N]d=LPrsfs4=GIxnCNAD¡-T^RpADHVHVx-qSR[ÿBEGIWBHVEALRxIRHVTVR%TJPSPSEpUQWNHVAQPwUQP[AD]Bÿdq
ü
\%EX]dEXCNGIEXCNREUQP[AD]Bÿdq
AQP4EE?I]BHVTVRpTÎsSHJxàGIEþNCNEXG
ü
ýWBP
=LP4Z]BPS=onTVGIEq)ADCàAQWIs4=L¡¢As4T^R ØPSAQ¡E
=LP4Z9sS=9Ep?ns4P[AQR!ss4ÿNE
GIEX]dEXCNGIEXCNREÃUQP[AD]BÿáADCdGås4ÿBE9qrxn¡°=QHVT^R:R=L¡]NWIsSADs4TV=QCËs4=OþNHJH#s4ÿNEÃq4]NADP[qrE¢¡¢ADs4PSTÎ?å=>s4ÿNE
]BPS=QULPSAQ¡
ü
~ÿBEqSR[ÿBEXGIWNHJTVCBU&ADHVUQ=LP4TJs4ÿB¡¢qGIEXoQEpHV=Q]°EXG}TVCsSÿBE>¡-EpCs4TV=QCBEG
=QPSZIqRpADC+°E>WNqrEG
TVC=QWBP ØP[AD¡-E
=QPSZ ü { ü ýh~>_a e%výY ~ v F%|#|;<ýF%c
~ÿBT^qqrER!sSTJ=LC}ADTV¡¢qs4=UQTVoQE#AQC=oLEpPSoTVE
=d=QWNPAQ]B]BPS=LAQR[ÿBWBTVHÎswADPS=QWNCNGAoQEpPSx&qrTV¡-]BHVE
Ep?IAQ¡-]BHJE ü as)]BPS=onTVGIEq%AQCOTJCsSWBTÎsSTJoLEPS=LALGb¡¢AD] Ø=LP%sSÿBE}PSEXqrs%=ws4ÿBE]NAQ]dEXP ü ~ÿBER[ÿN=Lq4EpC
Ep?IAQ¡-]BHJE)T^qA-qrTV¡-]BHVE&]BP4=LUQP[AD¡ÙUQTVoQEXCÃTVCbYTJULWBP4Em ü
~ÿBE NALqrT^RO]BPSTVCNRTV]BHVE.=GBAs[A GIEX]dEXCNGIEpCdRTVEXq9P4EXHJTVEXqÃ=QC R=QCdGITÎsSTJ=LCNqÃTJCs4PS=IGIWNRpEXG nxF ü
, EpPSCNqrs4EXTJC z £ü (TJoLEpCbA]BP4=LUQP[AD¡
ÿBEXP4E&A¢qrsSADs4Ep¡-EXCLs =IRpRWNPSq °EØ=LP4EA-qrsSAsSEp¡-EpCsK
A-GIEX]dEXCNGIEpCdRE&E?IT^q s[q>T=LCBE)=s4ÿBEs4ÿNP4EXE Ø=QHVHJ=
TVCBU-RpAQq4EXqÿN=QH^GBqp
Qü Aq s[As4EX¡-EpCsPSEXALGBq)A9RpEpHVH§¡-Ep¡-=QPSx
ÿBT^R[ÿàÿdAQq)]BPSEponTV=QWNq4HJx °EpEXC
P4TJsrsSEpC xàA
q s[AsSEp¡-EpCsKBq4=¬RpADHVHVEXG>õr÷QòBò °÷Lò! #"Sò
m
} ám
wywAQHJWNEXq>ADCdGÃTVCBTJs4T^ADH0þdHJH
! " #%$
& #'#(#%)#*
#
$ #+,#-.#%/#%
0$$!$$ # $1$!$
$$ $$ $ $!$
24365879':<;>=
$$
$
?$
$ $$
$ F q4TJ¡-]BHVE&E?BAQ¡]NHJE
m ü AqrsSADs4Ep¡-EXCLs
PSTÎsSEXqTJCåARpEpHVH¡-EX¡=LP4x
ÿBT^R[ÿ.ÿdAQq]BP4EXonTJ=LWNqrHVxdEXEpC.PSEXALG nxbA
q s[AsSEp¡-EpCsKBq4=¬RpADHVHVEXG A@CBr÷QòBò °÷Lò! #"[ò!
{ ü
A-q s[As4EX¡-EpCs
P4TJs4Eq>TJCbA¢RpEpHVH¡-Ep¡-=QPSx
ÿBT^R[ÿÿNAQq>]NP4EXoTV=QWdqrHVx°EpEpC
PSTÎs4s4EXCnx
A-q s[As4EX¡-EpCsKBqr=RXADHVHJEGàõD@ED@r÷LòNò! ÷Qò "[ò
ü
YN=QP>=QWNP>E?BAD¡-]BHVEQKBA-qrsSAsSEp¡-EpCsT^qfs4ÿBE&Ep?IEXRWBs4TV=QC9=s4ÿBE&TVCNqrs4PSWNR!sSTJ=LC AsADCnx:TJs4EXPSADs4TV=QC
m,FHGF
Bü
_`EsWNqGIEpCB=Qs4E:TJs nx G¬
ü
~ÿBEXP4EØ=QPSEQK`s4ÿBE =
¬GIEX]dEXCNGIEpCdRE:R=LCNGITJs4TV=QCK
WNq4WNAQHJHVx&CB=DsSEXGIJBKDT^qE?I]BPSEXqSqrEGnx)s4ÿBE>q4Es=dAQHJHn]NAQTJP[qf KG*LGNM^`=¤ ?OPO?O% ªRQ&¤ ?OPO?O+ X ª
qSAsSTVq ØxnTJCBU°=DsSÿ Ø=LHJHV=
TVCBU¢R=QCdGITÎsSTJ=LCNqTS@
Qü GUVGM
m ü G WGNM YX G ZGNM[ám X G \GNML
a
EPSEXqrs4PSTVRs=LWBPADsrs4EXCs4TV=QCbsS=:s4ÿNEþNP[q sE WNADs4TV=QC)G /GNMA s4ÿBEXC
E}=Is[ADTVCbs4ÿNE
Ø=LHJHV=
TJCNU-q4Es
ÿBEXP4E)EAQR[ÿ9]NADTVPGIEpCN=Ds4Eq>A-GIEp]°EpCNGBEpCNRpEEXGIULEQ
I J H]
Ôm[rln%X Ô{[ z % Øl^ -X z [Q% SiL-X £ %X Ôi[ kL-X L -X k[ mD%
L {L-X m ln%X {A z % l^ _
=
EXoQEpPK x¢WdqrTVCBU}s4ÿBE AQRs#sSÿNAssSÿBE)¡-ADs4PSTÎ?:T^qqr]dADP[qrELKQsSÿBTVq>q4Es>RpAQC°E&qrTV¡-]BHJTJþNEGÃGIWNE
sS=%sSÿBE]BP4=L]dEXPrs x)=dksS= °EANq4=QPBTVCBU Ø=LP¡}WBHJs4TV]BHJT^RpADs4TV=QC ü YB=LPEp?BAD¡-]BHVEQK
EfRXADC=Nq4EpPSoQE
sSÿNAs
z
TVqE WNADHws4=OkGIWBPSTJCNUOADHVH§s4ÿBE¢PSWBC £s4TV¡-E¢=fs4ÿBE¢]NP4=LUQP[AD¡
ü
c#=QCNq4E WBEXCLsSHJxLKADs
sSÿBE-TÎsSEpP[As4TV=QCËnK
E}ÿNA@oLE i
>` i
ü EXCNRELK
ÿNAsSEpoLEpPs4ÿBE¢R=LCs4EpCs)=a
TVqXKTJs
GI=nEqCN=Ds&A EXR!s)sSÿBERp=QCs4EXCs=a i
ü
~ÿBEXP4EØ=QPSEQK
E-GIEGIWNRE}s4ÿdAs)s4ÿBE]NAQTJP¢
z
[QRpAQC
bdcef%g<hi6g<e8j-iChkf%jlhkj'mniCo'ephkjlqirCsltNihkf%juRveLtLw*slqehixhkqxioleqChkj'm%ykeRhkjlqirCs't8ihkf%jzf*{iolepykf?f%|~}
\%EX]dEXCNGIEpCdREULPSAQ]BÿÃALRpR=LPSGBTJCBU+°=Ds4ÿbAQCNADHVxIqrT^q
°E%PSEp¡-=oQEG ØP4=L¡ sSÿBE%]BPSEponTV=QWNq;qrEps ü , x Ø=LHJHV=
TJCNU)s4ÿBEq4AQ¡EADCNAQHJxIq4TVqXKDsSÿBE%R=LWB]BHVE Øl^
RXADCADH^qr=°E&P4EX¡=oLEXG ü as4EXPSADs4TVCBUs4ÿBT^q>]BPS=IREq4qfxnTJEXHVGNqAss4ÿNE&EpCNGÃs4ÿNE Ø=QHVHJ=
TVCBU-qrEpsX
I J
j¤n {A z -X k[ mL%X {A z % l^ [ª
a¬C:YTVUQWBPSE%{BKQs4ÿBEqrEs
=q4Es[q% ØPSEXq4WBHJs4TVCBUPSEXq4]dER!sSTJoLEpHVx ØPS=Q¡ÙGBAs[A&GIEp]°EpCNGBEpCNRpEADCdGq4]NAQPSq4E
GIEX]dEXCNGIEXCNREAQCNADHVxIqrT^qSAQP4Eq4R[ÿNEp¡¢AsSTVRXADHVHJxPSEp]NP4EqrEXCLsSEXG
ü
a¬Cs4ÿBT^qþNUQWNP4ELKDHJTVCBEqwADCNGGBALqrÿBEG
HVTJCNEXqP4EX]BPSEXq4EpCs-GBEp]°EpCNGIEXCNRTVEXqTVCNGIWNRpEXG nx d=Qs4ÿ P4EØEpPSEpCNRpEXq -
TVC
PSTÎsSTJCNUåAQCNG
TVC PSEXALGITVCBUNK§ADCdG
ADCdG m
KwPSEXq4]dER!sSTJoLEpHVx
ü F sS=Q]°=QHV=QUQT^RpAQH#q4=QP4s
AQ]B]BHVTJEG¢s4=+°=Ds4ÿ9GIEp]°EpCdGIEpCNRpE)UQP[AD]BÿNq;]BPS=oT^GIEq#AQCFgIF| ¬q4R[ÿNEXGIWBHVTVCBU=s4ÿBEs[AQq4Znq KG !K
m F GYF
X
ÿBTVR[ÿT^q>GIEXqSRPSTdEGÃTVC9þNUQWNP4El
ü
gIR[ÿNEXGIWBHVTVCBU
s4TV¡E GIEXCNqrE&GIEX]dEXCNGIEXCNRE qr]NAQPSq4E)GIEp]°EpCNGBEpCNRpE
mIKB{ mIKB{BKnK
K kBK
{BK
l
m lNK
z z K
mBK
X
{ Kd z
l iBK
z kNK Q
mBK {
ldK z
i X
OgIR[ÿBEGIWBHVTJCBU¢=`sSÿBE&]BPS=QUQP[AD¡
_`EsWNqP4EX¡-AQP4ZsSÿNAs§TVCsSÿBEfq4]NAQPSq4E#qSR[ÿBEXGBWBHJTVCBUdK@s4ÿBETJs4EpP[AsSTJ=LCNq#¤Xl^ Si[ Q ª§ÿNA@oLE°EpEXC
PSEp¡-=oQEG ü ~ÿNEpx¢GI=CB=Qs#HVEXALG-s4=AQCnxRp=Q¡-]BWIs[As4TV=QC ü ýC-sSÿBERp=QCs4P[ADPSxQKQs4ÿBETÎsSEpP[AsSTJ=LCÃTVq
]BPSEXq4EpPSoQEG°EXRXADWNq4E)s4ÿNE}R=LCs4EpCs=p i T^q¡-=IGITÎþdEXGbAs>sSÿBT^qTJs4EpP[AsSTJ=LCæ i 0` i ü
YTVCNADHVHJxLK
E)RpAQC:=Nq4EpPSoQE ØP4=L¡7s4ÿBT^qqrTV¡-]BHJEE?BAQ¡]NHJEs4ÿNADs#sSÿBE)qr]NAQPSq4EGBEp]°EpCNGIEXCNRE)ADCdADH
xIq4TVqPSEXGIWdREXGs4ÿNER=Q¡-]BHVEsSTJ=LC9s4TV¡E)sS= z q sSEp]Nq ü
, x)s4ÿNTVqwq4TV¡]NHJEE?BAQ¡]NHJELK
E>RXADC=Nq4EpPSoQE#s4ÿNADssSÿBEGIEX]dEXCNGIEpCdRE>ADCNAQHJxIq4TVqRXADC+dETV¡
]BPS=oQEG
ÿBEXC¢GIEXAQHJTVCBU
TÎsSÿ¢qr]NAQPSq4Ef¡-ADs4PSTÎ? ü ~ÿBT^q
ALq§AQR[ÿBTVEpoLEXG nx}=Nq4EpPSonTJCBUs4ÿdAs;q4=Q¡-E
]°=Lq4TÎsSTJ=LCNqwTVC-s4ÿNE%¡¢AsSP4TJ?PSEp¡¢AQTJC:ADs;ûpEXP4=GIWNP4TVCBUAQHJHNs4ÿBE%Rp=QWBP[q4E>=0s4ÿNECnWB¡-EpPSTVRXADHNEp?IEXRW
sSTJ=LC
ü
a¬CÃ=Qs4ÿBEXP
=LPSGNqpKs4ÿNTVqAQCNADHVxIqrT^qGI=nEXqCB=QssSADZLE=LCBHVx:¡-Ep¡-=QPSxAQRXREq4qfTVCLsS=¢AQRpRp=QWBCsK
ULEpCBEXPSAQHJTVûpTVCBUs4ÿBT^q#¡Eps4ÿB=IGsS=ADCnx]NADTVP% Ø]NP4=LUQP[AD¡K¡¢ADs4PSTÎ?N`þNP[q s;PSE WBTVPSEXq§R=L¡-]BWIs4TVCBU]°=
q4TÎsSTJ=LCNqTVC}sSÿBE>¡¢AsSP4TJ?s4ÿNER=QCsSEpCs§=
ÿBTVR[ÿ
TVHJH'°E>CB=LCBûpEXP4=)As§HVEXAQqrs§=QCNRpE>TJC}s4ÿNER=QWNPSq4E
=;s4ÿNE¢CWN¡EXP4T^RpAQHE?IEXRpWIs4TV=QC ü a¬Cå=QWBP&Ep?BAD¡-]BHVEQK`q4WNR[ÿå]d=qrTJs4TV=QCNqXK`q4=¬RpAQHJHVEXG ò A@£ö%Bòø[KADPSE
=IsSAQTJCBEG ØPS=Q¡ADCnx:TJs4EXPSADs4TV=QC GfqrWdR[ÿsSÿNAs%°=DsSÿ Ø=LHJHV=
TVCBURp=QCNGBTÎsSTJ=LCNqADPSE)q4ADs4T^q þNEG0
Qü G
k¢As<G
m ü
Ø=QPAQHJH0TJs4EXPSADs4TV=QCNq U G[KA G
k¢As
ü
~ÿBEXP4EØ=QPSEQKs4ÿNE&E?IEXRpWIs4TV=QC9=§ADCnx¢TJs4EpP[AsSTJ=LCmF F
X
UQEXCBEpP[AsSEXq#s4ÿBE&CNE
EXCs4PSx
T d=Qs4ÿ nÃm kAQCNG n +k
ü
a¬C¢=DsSÿBEpP
=LPSGBqXK
EUQEXCBEpP[AsSE>A)CBE
EpCsSP4xw
ADs&s4ÿBE:TJs4EXPSADs4TV=QCbT d=Qs4ÿ ADCNG m9P4Eqr]°EXRs4TVoQEXHJx.AQP4E-EXCLsSP4TVEXq ü c#=LCNq4E WBEpCsSHJxLK
nx-q s[ADP4s4TVCBU ØP4=L¡âsSÿBE Ø=LHJHV=
TJCNU)q4Es ¤@k[ rl^4iA kA L lA z ª;GIEXCB=DsSTJCNU)s4ÿBETJCBTJs4T^ADH
EXCLsSP4TVEXqTJCËsSÿBE:¡¢AsSP4TJ?áADCNGËTJs4EXPSADs4TVCBUs4ÿBEÃ]BPS=nRpEXqSq&]BPSEponTV=QWNq4HJxåGIEþdCBEXG0K
E:=BsSADTVCËs4ÿNE
þNCdADHBq4Es§=NEXCs4PSTJEqj¤@k[ 4{ArlA Si[ k[ Q {[ lA Xz p ª ü ~ÿBETVCLsSEpPSEXqrsÿNEpPSE
T^qs4ÿdAss4ÿBT^q>]BPS=IREq4qRpAQC °EADWBs4=Q¡¢ADs4T^RpADHVHVxR=L¡]NWIs4EG nx:WdqrTVCBUs4ÿBEdAQq4TVR)Adq sSPSALR!sTJC
sSEpPS]BP4EpsSADs4TV=QC-s4ÿNEp=QPSx ü F%q#WNq4WNADH£KDsSÿBE%T^GIEAT^q§s4=}q s[As4T^RpAQHJHVx-R=QHVHVEXR!sGIxnCNAD¡-T^R>TVC Ø=QPS¡¢As4TV=QCdq
Ad=LWIs]BPS=QUQP[AD¡¢qnxWNq4TJCNU-ACB=LC ¬q s[ADCNGBAQPSG9q4Ep¡¢ADCs4T^Rpq i ü ~ÿBE)TVCLsSEpPSEXqrsTVqfsS=:ANqrs4P[AQRs
A
A@x ØP4=L¡ TVP4PSEpHVEpoAQCLs§¡¢As4s4EXPSq nx}UQTVoTVCBU&R=LCNq4EpPSo@ADs4TVoQEAD]B]NP4=@?ITV¡-ADs4TV=QCNq=dsSÿBE%R=LCNRPSEsSE
°EpÿNA@onTV=QP[q=§]BPS=QULPSAQ¡-q ü EpPSEQKBsS=:UQEXCBEpP[AsSEs4ÿBEqrEps=§EpCs4PSTVEXqXK
EADPSE&=QCBHVxTVCs4EpPSEXqrs4EG
TVCbs4ÿNE AQRs%sSÿNAs)qr=L¡Eo@AQHJWNEXqP4EX¡-AQTJCbCnWBHVHADCNG9sSÿBE=Qs4ÿBEXPSqGI=CB=Qs ü c#=LCNq4E WBEpCsSHJxLK
E
CNADs4WBP[ADHVHVxR[ÿN==qrEs4=9UQTVoQE}¡EADCBTVCBU9=;CnWB¡-EXP4T^RpAQHEp?I]BP4Eq4q4TV=QCNq%TJC.s4ÿBE°==LHJEADC.GB=Q¡¢ADTVC
ELWNTJ]B]°EXG
TJs4ÿàs4ÿBE¢WdqrWNAQH]BP4=L]d=qrTJs4TV=QCdADH§R=LCBCBEXRs4TVoQEq
ü
YBPS=Q¡úsSÿBTVq&q4TV¡]NHJE¢Adq sSPSALR!s)TJC
sSEpPS]BP4EpsSADs4TV=QCK
E
TJHVH °EÃABHJE:s4=.GIEpþNCBEA ØWBCNR!sSTJ=LC GrKRpAQHJHVEXGåsSÿBEB $ ØWBCNRs4TV=QC
ü
~ÿBE ØWBCNRs4TV=QC G
TVHJH§Rp=Q¡-]BWIsSEXGbsSÿBE
ÿB=QHVEq4Es)=#EpCs4PSTJEq Ø=LP&A:UQTVoQEXCO]BPS=QULPSAQ¡AQCNG
Ab¡¢ADs4PSTÎ?åTJCæTVCB]BWBs ü ~ÿBE:TVCs4EXP4Eq sPSEpHVTVEXq=LCås4ÿBE9R=QCnoLEpPSUQEpCdRE-=s4ÿNE G ØWBCNRs4TV=QCásS=
A9þB?I]°=QTVCs ü YB=QPS¡¢ADHVHJxLK nxåAD]B]BHVxnTJCNUs4ÿBERpHVALq4q4T^RpADHwq4HV=QULAQC:ö4ò "?DIö[ø%B@ò9÷Qò ^B@Bõ "!#%$
Nõ B ^@>ò'&?D @CBõ dKIs4ÿBE ØWBCNR!sSTJ=LC G( RXADC °EGIEþNCNEXGbAQq>AQCTÎsSEpP[As4TVoQE)]BPS=IREq4qXKIP4ERWBP[q4TJoLEpHVx
q4]dERTJþNEXGALq Ø=QHVHJ=
qX
)
*+
TVCBTJs4T^ADH`qrs4PSWNRs4WBPSE)=s4ÿBE&¡¢AsSP4TJ?TVCTJCB]NWIs
,.- S`/ G( r ,
G( r DY012b qrs4=Q]bRp=QCNGITJs4TV=QC°
~ÿBE]BPS=QULPSAQ¡
ÿBTVR[ÿ R=L¡-]BWIs4Eq-REpHVH^qs4= dE9þNHVHVEXG TVq¢AQWIs4=L¡-ADs4T^RpAQHJHVxËUQEpCNEpP[As4EG ü ~ÿNE
q4xn¡°=QHVTVRwAQCNADHVxIqrT^q0]BPS=onTVGBEXqA-CNE;R=LCNq sSPSAQTJCs[q
ÿBT^R[ÿ&¡WNqrs °E#qSAsSTVqrþNEXGsS=>þNHVHA>RpEpHVHü åE
TVHJHqrEXE&TJCOgnER!s4TV=QC z s4ÿdAs>s4ÿNEq4ADs4T^q ALR!sSTJ=LCÃ=`s4ÿNEXq4EA ¢CBER=LCNqrs4P[ADTVCLs[qfTVqRp=Q¡-]BWIs[ABHVE ü
YN=QP=LWBPE?BAQ¡]NHJELKNAs>sSÿBETJs4EpP[AsSTJ=LCOm F"3<F KBULEpCBEXPSADs4TVCBU4,.- S ØPS=Q¡5,fP4ELWNTJPSEXqfsS=
Rp=Q¡-]BWIsSE)s4ÿBEq4Es76 =CBE
EpCs4PSTVEXq>GIEpþNCBEXGnx
6 j¤98;:=<mF F X 8z> ? @ , ? Ëm @ , ª
~ÿBEXP4EØ=QPSEQK
EÿNA@oQE7 ,.-S
A ,CB
6 ü ~ÿBEþdHJHVTJCNU}ADHVUQ=LP4TJs4ÿN¡ sSÿBEpCALGBGBq#CBE
EXCs4PSTJEq
WBCsSTJHdCB=&EpCs4PSxT^q;Rp=Q¡-]BWIsSEXG
ü
YN=QPw=LWBP§E?BAD¡-]BHVEQKC&T^q§=BsSADTVCBEG}TVC-s4ÿNP4EXE%q sSEp]Nq
ü
~ÿBTVq
T^q>TVHJHVWNqrs4P[As4EGnxYTVUQWBPSE
z
ÿBEpPSE)s4ÿBENHVALR[Z d=@?IEXq>GBEpCB=Qs4E&CBE
EpCsSP4TVEXq
ü
ý nonTJ=LWNq4HJxLK°AQHJHEpHVEp¡-EXCLs[q
ÿBTVR[ÿåGI=CN=Ds)dEXHJ=LCBUsS=D12ÃGIEXCB=DsSE}]°=Lq4TJs4TV=QCNq=#RpEpHVHVq
ÿB=qrEoADHVWBEXq
TJHVHq s[A@xûXEpPS=GIWBPSTVCBUsSÿBE
ÿN=QHVE%CnWB¡-EpPSTVRXADHdE?IEXRpWIs4TV=QC
ü
~ÿBETVGBEXAT^q;s4ÿBEXC
sS=q4EXAQPSR[ÿåqrWdEp?n]NP4Eq4q4TJ=LCNqTJCåsSÿBE¢P4TVUQÿs£]NAQPrs)=AQqSqrTVUQCN¡EXCsSqWBCNGIEXPADCNAQHJxIq4TVqXK; 4
~ åm , TVC9=QWBP>Ep?IAQ¡-]BHJE@!KBqSAsSTVq ØxnTJCBU Ø=QPq4=Q¡-E)TJs4EpP[AsSTJ=LCNqnG§s4ÿdAss4ÿBEXTJP
EXo@AQHJWdAs4TV=QCGI=nEXqfCB=QsA EXR!s>sSÿBE)P4EqrWNHÎs>=s4ÿBE)ULHJ=NADHE?I]BPSEXqSq4TJ=LC ü ~=¢R=L¡E)NALR[Z-s4=-=QWNP
Ep?IAQ¡-]BHJELKBsSÿBEEpoAQHJWNADs4TV=QC=sSÿBEq4W'dEp?I]BP4Eq4q4TV=QC( ám As>sSÿBETJs4EpP[AsSTJ=LC.
$ $ $$
$$ $1$ $ $ $ $$
$ $1$ $$$ $$$ b
$ vw?BAD¡-]BHVE=`sSÿBER=L¡]NWIsSADs4TV=QC9=s4ÿBE)þNHVHVTJCBU ØPS=Q¡ï=`sSÿBE&E?BAQ¡]NHJEm
qSAsSTVqrþNEXq)q4WNR[ÿàA]BPS=Q]°EpP4s x ü e=
K0Tfq4=Q¡-E]NADP4sSq= Ø=QPS¡ =wsSÿBEXq4Eq4W'°E?I]BPSEXqSqrTV=QCdq
GIEXCB=DsSE;ADC&EXCs4PSxAsqr=L¡E§TJs4EXPSADs4TV=QCNqxGYU IK@=nonTJ=LWNqrHVx>sSÿBEw]NAQTJPf KG*[Q°TVq`CB=DsA%GIEp]°EpCNGBEpCNRpE
EGIUQE ü a¬Cæ=QWNPE?BAD¡-]BHVEQKp qSAs4T^qrþNEXq}qrWNR[ÿæA.R=QCdGITÎsSTJ=LC Ø=QPG z @ 12L ü
a¬CNGBEpEXGK
E)ÿNA@oLE z
ADCdG:sSÿBEpCæ
z
[QfGI=nEXqCB=Qs Ø=QPS¡ïA-GIEp]°EpCNGBEpCNRpE
ü
a¬C9=QWBPAQCNADHVxIqrT^qXKLsSÿBT^q
TJHVH dEALR[ÿBTVEpoQEGnxGIEpþNCBTVCBU¢A AD¡-TJHVxQKITVCNGIEp?IEXG x:s4ÿBE&TJs4EXPSADs4TV=QC
q4]NAQRpEQK=BTVCNADPSx)P4EXHVADs4TV=QCNq d=LCCnWB¡-EpPST^RpADHE?I]BPSEXqSq4TJ=LCNqpKRXADHVHJEG-ø%D!ø%@CB@D@CBõ *ö4ò[÷ B" @¬ò!ø!K
ÿBEXP4E:s4ÿBEqrER=LCNGËE?I]BPSEXqSqrTV=QC
TVHJH °EÃAQH
A@xIq&=>sSÿBE Ø=LP4¡
ü
<>=LWBUQÿBHVxËqr]°EXAQZTVCBUdK
S 8 8^M^
TJHVHÿB=LHVG T8 M>TVq¢AËq4W'°E?I]BPSEXqSqrTV=QC =8ADCNG
ÿNADs4EpoLEpPs4ÿNEbo@AQHJWNE
ALq4q4=IRT^As4EGOsS=8^MwTVqXKsSÿBE¢EpoADHVWNADs4TV=QCË=18æAs&sSÿBE¢TÎsSEpP[AsSTJ=LC G%TVqAQH
A@xIqs4ÿBEqSAD¡-E ü
YN=QP&E?BAQ¡]NHJELK r m a } } - ÿB=LHVGNqdERpAQWNqrE z TVq
AQH
A@xIq)E WNADHws4=OûXEpPS= ü ~ÿBEpPSEØ=LP4ELK`UQEXCBEpP[AsSTJCNUOqr]NAQPSq4E¢GIEp]°EpCdGIEpCNRpTJEqADs}R=L¡]NTJHVE£s4TV¡-E
PSE WBTVP4Eqfs4ÿNADs>s4ÿBE}R=Q¡-]BHVEp¡-EXCLs= RpADC °ER=L¡]NWIs4EG ü ~=:AQR[ÿBTVEpoLE%sSÿBT^q]BWBPS]°=Lq4EQK
E
TVHJHfq sSTJHVH;WdqrE¢sSÿBEANq sSPSALR!sTVCs4EpPS]BPSEs[As4TV=QCË]BPSEponTV=QWNq4HVx.GIEþdCBEXGËsS=bUQEXCBEpP[AsSE-s4ÿBE¢þdHJHVTJCNU
ØWBCdR!s4TV=QC ü YBPS=Q¡ sSÿBEpPSEQK
E
TJHVHTV¡-]BP4=oLE%sSÿBER=L¡-]BWIsSADs4TV=QC=GIEp]°EpCdGIEpCNRpTJEq ü
, xáPSEs4WNP4CBTVCBUås4=Ë=LWBP-E?BAD¡-]BHVEQKfqr]NAQPSq4E =
GBEp]°EpCNGIEXCNREq-RpADC °Eb¡=LP4E Ø=QPS¡¢ADHVHJx
GIEpþNCBEG9ALq Ø=QHVHJ=
qXRGwT^q =
¬GIEp]°EpCNGBEpCss4=¢T
GNM6U G[KxU GIEpCB=Qs4Eqfs4ÿBE&Ep?nERWIsSTJ=LCÃ=LPSGBEpP ü
G
@
12BKns4ÿNE
P4TJs4TVCBU¢REXHJH°EpHV=QCNULqfs4=þNHVHVEXGREXHJH^q
ü
G§
G M K °=Ds4ÿALGBGIPSEXqSqrTVCBU ØWBCNR!sSTJ=LCNq¢PSEXALR[ÿ sSÿBEOq4AQ¡-E9¡-EX¡=LP4x REpHVH Ø=LP
TÎsSEpP[AsSTJ=LCNqnGdM`ADCNG G ü
TOm 6.} > %+ T @ QKnsSÿBE)qrW'dq sSTÎsSWIs4TV=QC9GI=nEXq#CB=Ds>A EXRs
s4ÿBE&PSEXq4WBHJs>=s4ÿBE&Ep?n]NP4Eq4q4TJ=LCÃRp=Q¡-]BWIs[As4TV=QC ü
YN=QHVHJ=
TVCBU9s4ÿBEqrETVGIEAQqXK`sSÿBEULEpCBEXPSAQH§¡-Es4ÿN=nGË]NP4=L]d=qrEGàTVCËs4ÿNTVq}]NAD]°EpPà ØTüE ü sSPSAQCNq
Ø=LP4¡-TVCBU}AQCx¢q4E WBEXCLsSTVAQHN]BPS=QULPSAQ¡
=QPSZnTJCNU=QCGBEpCNq4E%¡¢AsSP4TJ?¢TJCsS=]NAQPSAQHJHVEpH°=QCBE
=LP4ZnTVCBU
=LC9q4]NADP[q4E¡¢ADs4PSTÎ?N Ø=QHVHJ=
qfsSÿBE)s4ÿNP4EXE Ø=LHJHV=
TVCBU¢q sSEp]NqX
R=L¡]NWIsSADs4TV=QC=NADHVHLEXCLsSP4TVEXqXK@s4ÿdAsT^qXK]d=qrTJs4TV=QCNqTVCs4ÿNE#¡¢AsSP4TJ?)s4ÿBER=LCs4EpCs=
ÿBT^R[ÿ
TJHVH°EXRp=Q¡-E)CB=QCBûXEpPS=ADsHJEAQqrs>=QCNRpETVC9s4ÿBERp=QWBP[q4E=sSÿBE&CnWB¡-EpPSTVRXADH0E?IERWIsSTJ=LC ü
R=L¡]NWIsSADs4TV=QCb=§TJs4EXPSADs4TV=QCbGIEp]°EpCdGIEpCNRpTJEq Ø=LPUQEXCBEpP[AsSTJCNU-s4ÿBEGBEp]°EpCNGIEXCNRE}UQP[AD]Bÿ ü
EXP4ELK
E
TVHVH°WdqrEs4ÿBE]BPSEponTV=QWNqfq sSEp]s4=P4EpþNCBEsSÿBE)WNq4WNADHGBAs[A}GBEp]°EpCNGIEXCNREs4Eq s[q ü
YTJCNAQHJHVxQKIULEpCBEXPSADs4TV=QCÃ=s4ÿBERp=QPSP4Eqr]°=QCNGBTJCBU]NAQPSAQHJHVEpH0R=IGIE
ü
gn]dADP[qrE9]NADP[ADHVHVEpHVTJûAs4TV=QC GIEXAQHVq
TJs4ÿ ]BPS=QULPSAQ¡¢qqSAsSTVq ØxnTJCNUàsSÿBEbWNq4WNADHqrsSADs4T^RR=QCsSP4=LH
]BPS=QULPSAQ¡-¡TVCBU¢R=LCNqrs4P[ADTVCLs[q k ü ~`=ÃqrTV¡-]BHJTØxÃs4ÿBE}]BP4EqrEXCsSAsSTJ=LCK
Eq4WB]B]°=Lq4E&s4ÿNADs%=QCNHJx
=LCBEADPSP[A@xb=s4ÿBETJCB]NWIs}]BPS=QULPSAQ¡ KT^qq4]NADP[qrE
ü
a¬Cá=LPSGBEpP&sS=bE?ns4EXCNGås4ÿBT^qADCNAQHJxIq4TVqsS=
ACnWB¡ dEXP=AQP4P[A@xIqpK
ERpAQCáR=QCdqrT^GIEpPs4ÿNADs T^q¡¢AQGIE¢WN]á=qrEXoQEXPSAQHwqr]NAQPSq4E:ADPSP[A@xnq
ü
c#=LCNqrEWBEpCs4HVxQK
E&qrWN]B]d=qrEsSÿNAs
E)ÿNA@oQE&A-qrEWBEpCs4T^ADH0]NP4=LUQP[AD¡ AQqTVCB]BWIs==LWBPR=L¡
]BTVH^As4TV=QCàHJTVCBE
ü
~ÿBEUQEXCBEpP[ADH Ø=QPS¡ú=#s4ÿBT^q]BP4=LUQP[AD¡ T^qTVCNGIWdR!s4TVoQEXHJxbULEpCBEXPSADs4EG ØPS=Q¡ s4ÿNE
Ø=LHJHV=
TJCNUPSWBHVEXqX
/8
ÿBEpPSE
TVq%AqSRpAQHVAQPo@AQP4T^ANHJE)ADCNG 8T^qADC9E?I]BPSEXqSq4TJ=LC
8
S
?OPO?O? 8 8 M
ÿBEXP4E, T^qÃAQCADPSPSA@x o@AQP4T^ANHJELK78
S
?O?OPO? 8ÃADPSE
TJCsSEpUQEXPE?I]BPSEXqSqrTV=QCNqAQCNG 8^M0T^q>ADC9E?I]BPSEXqSq4TJ=LC
TJs4ÿbCB=¢q4TVGIE)E°ER!s
S
ÿBEXP4E S &AQP4E)qrEWBEpCs4T^ADH0]NP4=LUQP[AD¡¢q ü
G 08"3 8 8 8 wm
ÿNEpPSE 8 T^q¢A d=n=LHJEADC E?I]BPSEXqSqrTV=QC AQCNG S ADPSE
qrEWBEpCs4T^ADH0]NP4=LUQP[AD¡¢q
ÿNEpPSEz-T^q>AoADPSTVABHJELK AQCNG7AQP4E)A ¢CBE)TVCLsSEpULEpP>E?I]BPSEXqSq4TJ=LCNq
ADCNG TVqA-q4E WBEXCLsSTVAQH0]BPS=QUQP[AD¡
ü
¢T^q>RpADHVHVEXG,B@òpö @CBõ ö%B Jò
ü
(TVoQEXCâA ]BP4=LUQP[AD¡ AQCNG AGIEXCNqrEá¡¢ADs4PSTÎ?jTJC TVCB]BWBsXKsSÿBE GIEpþNCBTJs4TV=QCâ=-s4ÿBEáþdHJHVTJCNU
ØWBCdR!s4TV=QC AQq
EpHVHALq:GIEp]°EpCdGIEpCNRpTJEq
TVHVH °EàGIEX]dEXCNGIEpCs=LCAQqSqrTVUQCN¡EXCsSq¢=sSÿBE Ø=LP4¡
8
S
PO?OPO-8 8 MEpCNRp=Q¡-]NAQqSq4EXGbTVC.AÃCBEXqrs4EGbHJ=n=L]
TÎsSÿBTVC.sSÿBE}]NP4=LUQP[AD¡ïWNCNGIEpP
AQCNADHVxIqrT^q
ü ~ÿnWNqXKAÝs4EpP
ADP[GBq
E
TVHVH;R=LCNqrT^GIEXP&s4ÿBE Ø=QHVHJ=
TVCBUbUQEXCBEpPST^R Ø=LP4¡ =s4ÿNEXq4E
ALq4q4TJULCB¡-EpCsSqX
S
?OPO?OP @ f S
S
PO?O?O? PO?O?O?
S
?OPO?O?+@
q4WNR[ÿÃs4ÿNADsX
TVqA GIEXCNqrE@¢ADPSP[A@x
ÿNEpPSEbo@AQHJWNEXq:AQP4ETVCÙ ÝsSÿBE.GI=L¡-AQTJC! =sSÿBE.R=LCNRPSEsSE
qrEX¡¢ADCs4T^Rpq[
á
#"
P4Eqr]
ü
EXALR[ÿ$&%Ã
#"
Ø=LPEXoQEpPSx @ ¤
?OPO?O-('.ª>T^q)ADC.A-CNE
ØWBCNRs4TV=QCáxnTJEXHVGBTJCBUOs4ÿBE:TVCNGIEp?å=Ab¡-Ep¡-=QPSxàRpEpHVH nx
PSTÎsSTJCNU ØPSEXq4]
ü
xåPSEXAQGBTJCBUn
ØP4=L¡ïADC9TJs4EpP[AsSTJ=LCå G
S
?OPO?OPLG @
ADCNG)á* "
åqrsSAQCNGBq Ø=QPAQCnxØWBCNRs4TV=QC
TÎsSÿB=QWBs%qrT^GIEE!EXRs ü
Mb=LP4E)]BPSEXRpTVq4EpHVxQKnsSÿBE ØWBCNRs4TV=QC+æTVqsSÿBEq4Ep¡¢ADCs4T^RpAQH0¡-EXADCNTJCBU-TVC9s4ÿBEqrsSAQCNGBADP[GÃTJCs4EXP4]NP4E
s[As4TV=QC)Ë=§sSÿBECnWB¡-EpPST^RpADHE?I]BPSEXqSqrTV=QC$, î.-0/1 b î32
b456554 27
ð98
455:564 -0/1;î32
b46555:4 27
ð98Vð TJCdGIWNR
sSTJoLEpHVxGIEþdCBEXG ØPS=Q¡js4ÿNE Ø=QHVHJ=
TVCBU)qrEps= NALqrT^RfCnWB¡-EpPSTVRXADHn=Q]°EpP[AsS=QP[q NALqrEG=LCAQHJULEBP[ADT^R
]BPS=Q]°EpP4s4TVEXqX
<
iole8r9= hkqe?>-iole8rCew*rCe jlf*iA@le8|e8j&@le8jlt8hke8qxveNi3=6e8e8jThiCe8rdw+ihkf%jlq>'w*j@ iCole8j<iole8rCehkq^jlfykf%jlm%e8rEhkj-iCe8rCe8qi
iCfnm%eLj'eLrCw+iCeioleCB ykykhkjlmY{slj't8ihkf%j~}
6D
@lf%g`w*hkjzhkq w*jEzw*ykm%e8vlrdw*hktYqirCsltNislrCe:>h}e%}F>w<qCeNi eG?slhk|l|eH@= hiCozqf%g<ehkj?ie8rCj w*y[w*j&@JI+f%rReLKPie8rCj w*y
t8f%g<|f%qhiChkf%j yw= q}