HAL Id: inria-00074177
https://hal.inria.fr/inria-00074177
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.
Skewed associativity enhances performance predictability
François Bodin, André Seznec
To cite this version:
François Bodin, André Seznec. Skewed associativity enhances performance predictability. [Research Report] RR-2499, INRIA. 1995. �inria-00074177�
ISSN 0249-6399
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
Skewed associativity enhances performance predictability
Franc¸ois Bodin, Andre´ Seznec
N˚ 2499
Fe´vrier 1995
PROGRAMME 1
#&( ,-(./1012
34157698
:<;>=@?BA ;DCE=
6-F(G6
C
4IH
J%KJML
6
JN:(O%OO
PQSR)T<Q2U1VWVXY[Z]\Q2^S_N`bacX^daceNQSXf ghU1QiU1jbj@kXjbXflnmhUofcXf pnXpnR<qNq-rXXsflNQNrXfcXtU1enuXafcvnfcakXVXf"pw`xfSacQS`xm7eyrXf
PzQcR{iXsa"|-U1gNf
}U1gNg>R)QSa"pnX QcX^S_NXQi^S_NX~qn1M< ZrXnQc`bXQY<) Z< ghUoT)Xf
zst1h1<PEXQR)QcV!U1qh^dX9aSeNqN`bqNTBm>X^iR<VXf-_hUoQ2pnXsQ9U1f"^dR)Vg7eNacXQ-aSX^S_NqNR<jxR<T)v!U)pn)Uoqh^iXftyqNX Ro
aS_NX@U)^iaSR)QSf`bfac_NX `bqh^iQSXU1fS`xq7T^iR<VgNjbXiuN`bavRoDVXVWR)Qcv_N`bXQ2UoQ2^S_N`bXf!R)fSaVWRNpnXQcqBV!U)^S_N`bqNXfqNR1
eNfSXUoajbXU1fSaR)qNXBjbX<Xj(Ro[^U<^S_NXVWXVR<QcvnR!QcXpne>^iXXiuNX^deNac`bR)qfcaiU1jbjbflD^U<^S_NXVW`xfSfcXfVBeNfcamhX
<XQcv!jbR1IwR1a-U1QSX"acXt^c_7qN` )e7Xf"eNfSXp!aSRB`xVWgNQcR1<X-jbRw^sU1jb`bav_hUt<X"m>XXq¡pwX)XjbR<gNghXtpWR)QqneNVXsQc` ^U1j
^iRNpnXsflnfce>^c_Uof(jbRnR)g mNjbRw^S¢n`bqNTU1qhp ^iR<gMvn`bqNT>D£-qnR)QcaSeNqhUoacXjbvnl)aS_NX-mhXs_hUtn`xR<QR1Dpn`bQcX^iaVU1g7ghXp U1q>p
fSXaU1fcfSRN^i` U1ac`b<X^sU)^S_NXf `bf-fcaS`xjbjXQSQ2Uoac` ^ -_NXq¤j¥UoQcT<X9qneNVWXQc` ^UojDpNU1aiU `bf"U)^^iXsfcfcXtp"¦EuNX^ie7ac`bR)qaS`bVX
^Uoq!)U1QcvpwQ2U1fSac` ^ijbv R<QaS_NX f2U1VWX-jbRMR<g¢<XQcqNXsjIpnXg>Xqhpw`xq7TBR)qe7qh^iR)qnaSQcR)jbjbXp@U)^iaSR)QSf-fceh^S_U1f-U1QSQ2Utv
jbXU<pn`bqNTBfc`b§X)-_NXR<qNjbvBfcR1ayUoQcXVWXac_NRNpWUt)U1`bj U1mNjbX-acRB`bVWgNQcR1<X-XiuNX^ieNaS`xR<qac`bVWX"fcaiU1mN`bjb`bavB`bf-ac_NX
^iR<gnvM`bqNT¤R1QcX<eNXsqMaSjbv¡eNfSXp¨p7U1a2U7lD-_7`¥^S_%`bf^iR)fSacjbv,`xq%XduwXt^ieNac`bR<q%ac`bVX)W£-fcXsQcfU1QSXBqNR)aeNfcehUojbjxv
^U<^S_NXR<QcTMUoqN`bf2Uoac`bR)q,XiuNghXsQcacft!-_NXv%U1QSXqNR<aUt-U1QSXBR1-fceh^S_gN_NXqNR<VXq>UNlDUoqhp,_hUt)XBq7R©^dR)qnacQSR)j
R1<XQ-`ba
ªqWac_N`bfghU1g>XQtlNX"fc_7R1«ac_hUoaaS_NX QcX^dXqnacjbv!gNQcR<ghR<fcXpW1¬-UtvfS¢)XXp!U1fSfcRN^i` U1aS`x<X9^U<^S_NX vM`bXj pnf
<XQcv«fSa2UomNjbXXiuNX^ieNaS`bR)qac`bVXf!U1qhp®T)RnRNpUt<XQ2UoT)X,V`bfcfBQiU1aS`xR<fR<q«mNjbRN^c¢<Xp«UojxT<R)QS`xaS_NVft\"fU
QSXfceNjbatlDXiuNX^deNac`bR)q,ac`bVWX`bf-@UofcacXsQU1qhp©VBeh^S_VR<QcXgNQSXpn` ^iaiU1mNjbX ac_hUoq¡-`bac_,^iR)qn)XsqMaS`bR)qhUojz^sU)^S_NXft
\fU QSXfce7jxa Roz`baSf"m>XacaSXQ^iR)VWghR<QcacVWXqnaln`ba-`bf"g>R)fSfc`bmNjbXacRBe7fcX j¥UoQcT<XQ"mNjbRN^S¢nf"fc`b§Xsf"-`bac_m7jxRN^S¢)Xtp
UojxT<R)QS`xaS_NVftl)-_7`¥^S_W-`xjbj>e7Qcac_7XQcVWR)QcX QSXpneh^iXsf"mNjbRN^S¢M`bqNT R1)XsQc_NXU<p^iR<fcacft
¯W°n±²c³´>)µ1¶^U)^S_NX)l7gNQcXtpn` ^ia2UomNjbXghXsQR<QcVUoqh^iX)lnjbRnR)gWmNjbRN^c¢n`bqNT>lnfc¢)XsXpM¬·UofcfcRN^i` Uoac`b)X^U<^c_7Xf
¸ ¹Bº
»@¼½¾
º
»z¿IÀb¼ÁÂiÃ
ÄcÅÆbÇ"ÈiÉËÊNÌÍnÎÏtÉËÐNÑiÒÅSÓÐ)ÅSÔ2ÕÖÉË×ÉØÒÈ1ÙÚÛ×
ÄSÄcÜ>Ý ÉØÒ×ÅÞnÎi×@ß7ÉØÒDÈdÐÅSàßÅÐ)Ï1ÅSÏásÅ×Ò ÉØÎiÐ ÎiÚNßÝ ÅÈi×@ßâÉØÔÊØÅ-ãäsåÅSæhÅSÏ"ÈÒÒÎtÔÉØÈsß ÉØásÉØß ç(Å·Ð Ý ÈiÐ)ÔcÅSÒnÞMÅ·×ÚbÎi×Ç"ÈdÐ)ÔcÅ>Þ1×ÅcÏtÉØÔcßÈiÆ
Í1ÉËÊËÉØß çtè"æ Ý ÉØÔÝ æ>ÉËÊËÊéÈiÞ1ÞnÅcÈi×EÉËÐê7×ÎÔSÅcÅcÏtÉËÐ)ësÒÎiÚéßÝ Å"ììißÝíÐ1ßÅ·×Ð)ÈßâÉØÎiÐ)ÈiÊNätçÇ-ÞnÎÒâÉËî1ǨÎiÐï>ÎdÇ-Þ1î)ßÅ·×Ið×ÔÝ ÉØßÅcÔcßâî1×Å
ñ òî1Ð)Å(óiôôõsö
Unite´ de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Te´le´phone : (33) 99 84 71 00 – Te´le´copie : (33) 99 84 71 71
#¤&.,0
°w °¨Xf g>XQR<QcV!U1qh^iXsfpwXf R)Q2pw`xq>U1acXseNQcfpËU1et{iR)eNQip_neN`fcR<qMa pnX<XqneNXfaSQkXfpn`^i`bjbXfkU
XiuNgNjbR<`xaSXQXakU!gNQNrX)R<`bQD£[q¨pnXf@U)^iaSXeNQSfQSXqhpNUoqMaB^iXaSacX!gNQNrXn`xfS`bR)q,XiuNacQkXsVXVWXqna^iR)VWgNjbXiuNXXsfca
jeNac`bjb`bf2Uoac`bR)q!pnX_7`rXsQ2U1Qi^S_N`bXf V«rXVWR)`bQcXftlnXa Xq,ghU1QSac` ^ieNjb`bXQ9pwXV«rXVR<`xQSX"^U)^S_NXsf"Xsf"acQiU1qNf·R)QSVU ¬
aS`xR<qNfpnXgNQcR<T)QiU1VVWXfacXsjxjbXf-<eNX-jbX-mNjbRN^U1T<X"pnX-mhR<eh^ijbXfghXseN)XqnaXacQSX"eNaS`bjx`bfNrXXf(g>R)eNQU1V«rXsjx`bR<QcXQj U
jbRN^U1jb`baNrX"pwXf"U1gNg7jx` ^Uoac`bR)q7fzp7U1qNfjbXfy^dRwpwXfqneNV«rXQc` <eNXftM¤U1jb_NXeNQSXeNfSXVXqnatl)jbX9^dR)Vg>R)QSacXVWXqna(pnXf
^U<^S_NXfkU^iR<QcQcXsfcg>R)qhpNUoqh^iXpn`bQcXt^iacXfXapnXf ^U)^S_NXf U1fcfSRN^i` U1ac`Ûf ghUoQ XqNfcXsVBmNjbXfcR<qMaacQkXsffcXq7fc`bmNjbXf
kUWpnXf"g>U1Q2UoV¡kXaSQcXfacXjbf )e7XjbX gNj U)^iXsVXqna"pnXf aiU1mNjbXUoenuXq¤V«rXVWR)`bQcXh^iX^d`(XqnacQiU1`bqNXghUoQR<`bf"pnXf
^S_neNacXsfpnXBg>XQR<QcV!U1qh^iXsf9`bVWgNQNrXpw`¥^dac`bmNjbXf"Xsa^sU1a2UofcaSQcR)g7_N` )e7XfVXsVX fceNQ pnXf^iRNpnXf mNjbRN)e-rXfDU
gNjbeNg>U1Qca"pwXf"eNaS`bjx`bfiU1acXseNQcf-qNX g>XeN<Xqna"ghUofXacQSX^iR)q7f2^i`bXqnacfpnX aSXjbf-gN_-rXqNR<V¡kXq7Xf
UoqNf9^iXsaU1QSac` ^ijbX)l>qNR)e7f9VWR)qnacQSR)qNf"<eNX jbX^sU)^S_NXU1fSfcRN^i` U1aS`ÛmNQcR<eN`bjbjrX)R<`bXf9<eNXBqNR<eNf9Ut<R)qNf
QNrX^iXVWVXqna-gNQSR)g>R)fNrXXfcakU g>XegNQkXf `xq7fcXqNfS`bmNjbXUoegNj U)^dXVXqnaQcXj Uoac`ÛpnXf"aiU1mNjbXUoenuXsqV«rXVWR)`bQcX
Xa <e`xj7R<eNQcqN`ba"Uo`xq7fc`eNqNX g>XQR)QcV!U1qh^dX9g7QNrXpn` ^iaS`bmNjbX9Xsa"fcaiU1mNjbXkUjeNfiU1T<XQ
XgNjbeNfl7fceNQ-jbXf"UojxT<R)QS`xaS_NVXsf(mNjbRN)e-rXflneNq7X9g>U1QcaS`bX9`bVWghR<Qca2UoqnacX9pwX9jXfSghU)^iXpeNq!^U)^S_NX U1fcfSR1¬
^i` Uoac`Ûym7QcR)e7`xjbjtrXg>XeNaXacQSXBeNac`bjb`bfNrX ghR<eNQjbXfpwR)qNq-rXsXfQNrXseNac`bjb`bf2U1m7jxXsfD^iX^d`jb`bV`bacX jbXBfce7Q2^iReNajb`rXUoe
mNjbRN^UoT)XpnX mhR<eh^ijbXft
´> s²2! "°,^sU)^S_NX)l>g>XQR<QcV!U1qh^iXgNQNrXsM`bfS`xm7jxX<lh^U<^c_7Xf9UofcfcRN^i` Uoac`Ûf-mNQSR)eN`bjbjrXf
1 2 (&(W -
PEXQ·R)QSVU1q>^iXace7qN`bqNT%R)q«aSRNpNUtvf^dR)Vg7eNacXQSfB_hU1fWmhXt^iR)VWX)XQSv«^iR)VWgNjbXiuD("q7X!@U)^dacR)QWR1ac_7`xf
^iR<VgNjbXiuN`bav`bf ac_NXWeNfcX!R1"VWXVR<Qcv_7`xXsQ2U1Qi^S_N`bXfl(Uoqhp%ghUoQcaS`¥^deNj U1Qcjbv,R19^U<^S_NX!VXVWR)Qc`bXft>\"f ac_NX
VW`xfSfDg>XqhUojxav `bfmhXt^iR)VW`xq7T-_N`bT)_NXQ(Uoqhp _N`bT)_7XQl1g>XQ·R)QSVU1q>^iX(m>X^iR)VWXf)XQSvfcXsqNfc`bac`b<XaSR9aS_NX-^U)^S_NX
g>XQR)QcV!U1qh^dX)£-qnR<QcaSeNqhU1aSXjbvMl7ac_NX m>X_hUtn`bR)QcfR1pn`bQcXt^ia¬VUogNghXtpU1qhp©fcXa·¬·UofcfcRN^i` Uoac`b)XB^U)^S_NXsfUoQcX
<XQcvfSXqNfS`xaS`b)X acR!fcV!U1jbj)U1QS`¥Uoac`bR)q7f-R1aS_NXUogNgNjb` ^U1aS`bR)qf-ghUoQ2U1VWXacXsQcfn`bqh^dXaS_NX^sU)^S_NXfUoQcX qNR)a
g>XQX^ia43jb`xVW`bacXp,U1fSfcRN^i` U1aS`xn`bavnlqNR)qw¬@R<gNac`bVUojQcXgNj U<^iXVXsqMa fcaSQ2UoacXT<v5sl(g>XQR)QcV!U1qh^dXVUtv¤fce6XQ
eNq7gNQcXpw`¥^da2U1m7jxv QcR<V ^iR<q7h` ^iaBV`bfSfcXfBX<Xq¶-`bac_¨m7jxRN^S¢)Xtp¨jbRnR)g7f8:9;cNR<QB`bqNfcaiU1qh^iX<l(`bqU¤QcX^dXqna
fSacehpnvnlN^S_Nj U1qNfS¢)XQXsaU1j"8:<;fc_NR1Xp,aS_hU1atlX)Xsq¨-`bac_%U!)XsQcv,QcXT<eNj U1QVWXVR<QcvU<^^iXfSfBghU1aSacXQSqNf
fSeh^S_¨U1f `bacXQiU1ac`bqNTWR)q,ac_NX QcXtU)p,R1-U>=NuNXp¤fc`b§XBVWXVR<QcvBfce7mNmNjbRN^c¢laS_NX V`bfcfQ2U1aS`bRR)q%U@?<t¬yUtv
fSXa¬cU1fSfcRN^i` U1aS`x<X"^U)^S_NX"pwXghXsqhpnf_NXUtn`bjxv R<qghUoQ2UoVXaSXQcf(fSeh^S_Uof(ac_7XqneNVBm>XQR1hQSR1-f(R1>ac_NX--_NR<jbX
V!U1acQS`ÛuÖoªqac_7X`bQ-XiuhU1Vg7jxX<l)pnXg>Xqhpn`bqNTBR<q-_NXsac_NXQac_NX qneNVBm>XQ(RoIQcR1-f`bfyBA)BA R)Q-A<)Nl<qNXUoQcjbv
UojxjaS_NXU<^^iXfSfcXf QcXsfceNjba"`bq!U _N`baR<Q-qNXU1QSjbvU1jbjaS_NXU)^^iXsfcf QcXfSeNjba-`bq©UV`bfSf
7R)QVR<fca-eNfSXQcftlfceh^S_%eNq7gNQcXpw`¥^da2U1m7jxX m>X_hUtn`bR)Qcf ^U1q,qNR<a"m>XU<^^iXgNaSXpDC XaSac`bqNTg7QcXpn` ^iaiU1mNjbX
UoqhpWfca2UomNjbX ghXQ·R)QSVUoqh^iX `bf"UV!U{iR)Q`bfcfSeNX)
}[X^iXqnaSjxvnlNaS_NXfS¢)XXp<¬cU1fSfcRN^i` U1aS`x<X^U<^c_7X)lUBqNX UofcfSRw^d`¥Uoac`b)X^U<^S_NXfSacQSeh^iace7QcXB_hUof-mhXXsq¡gNQSR1¬
g>R)fSXpW`xqE8ËNl>Y%F;c<ªqaS_N`bf-ghU1g>XQlnX `bqM<XfcaS`bTMU1aSX"aS_NX"fSXqNfc`baS`xn`bavBR1ac_NX fS¢)XXp<¬cU1fSfcRN^i` U1aS`x<X^U)^S_NX
aSRghU1QiU1VWXacXQSf(fce>^c_!U1f(fS`b§X"RoIU1QcQiUtvnf(R)Q(QSXj U1aS`x<X-gNj U)^iXsVXqnacfR1ac_NX U1QcQiUtvnf(`bqqneNVWXQc` ^UojN¢)XQSqNXjbf
R<qpnXq7fcX fcaSQceh^iaSeNQcXsf£-qNjb`b¢)X-e7fcehUojhfSXa¬cU1fSfcRN^i` U1aS`x<X^U)^S_NXftlNU 1¬-UtvfS¢)XXp<¬cU1fSfcRN^i` U1aS`x<X9^U<^S_NX `xf
<eN`bacX `bqNfcXsqNfc`bac`b<XaSRac_7R)fcXBU1g7gNjb`¥^sU1ac`bR<qf-ghU1QiU1VXsacXQSf>-_N`bf jxXtU)pnfacR!mhXsacacXsQUt)XQiU1T<XV`bfcf-QiU1aS`xR
aS_hU1q!fcXsa¬cU1fcfSRN^i` U1ac`b<X^U)^S_NX U1qhpVR)QSX"gNQSXpn` ^iaiU1mNjbXg>XQR)QcV!U1qh^dX)
G _NXqeNfS`bqNTpn`bQcX^da¬VU1g7ghXp¤^U)^S_NXf R<Q"fcXsa¬cU1fcfSRN^i` U1ac`b<X^U<^S_NXfl^iR<gnvM`bqNTB`bfeNfcehUojbjxvWac_NX R)q7jxv
n` U1mNjbX fcRoayUoQcX fcR<jxe7ac`bR)q,acRUt)R<` p!eNqNgNQSXpn` ^iaiU1mNjbXU1q>p¡^Uoa2UofcacQSR)gN_7`¥^ m>X_hUtn`bR)QSf R<Q9fSR)VWXU1QSQ2Utv
pn`bVWXqNfc`bR<qNf 7-_NXqeNfS`bqNTUBo¬@-UtvfS¢)XXp,U1fcfSRN^i` U1ac`b<X^sU)^S_NX)lm7jxRN^S¢n`bqNTB`bf-fce ^i`bXqnatlhaS_neNf"XiuNaSQ2U
^iR<VgNe7a2U1aS`bR)q^dR)fcaR)Q"^iR<gMvn`bqNT ac_NXUoQcQ2Utvnf-`bf"Ut)R<` pnXp
eNQfc`bVBeNj U1aS`bR)qNf-U1jbfcRBXsfca2UomNjb`bfc_NXp©ac_hUoal>X)Xsq¡-_NXsqeNfc`bqNTWQcXfSacQSeh^iace7Qc`bqNT!acX^S_Nq7`¥<eNX fce>^c_%U1f
mNjbRN^S¢n`xq7T¨U1qhp«^dR)gnvn`xq7Thlg>XQR<QcV!U1qh^iX¤R1pn`bQcX^da¬VU1g7ghXp¶^U<^S_NXfU1QSXfc`bT)q7`0=^U1qnacjbvR<QcfcX¤ac_hUoq
g>XQR)QcV!U1qh^dXR1fSXaU1qhp®fc¢)XsXpU1fSfcRN^i` U1aS`b)X¡^U<^S_NXf!R)QSXR1)XQ!R<eNQXiuNg>XQc`bVWXqnacf!fc_NR1$aS_hU1a
X<Xq%-_NXq%m7jxRN^S¢n`bqNTUoqhp¡^dR)gnvn`xq7T`bf eNfcXp,aS_NXBXiuNX^ie7ac`bR)q,ac`bVXVUtv)UoQcv`bq¡UWj U1QST)X Q2UoqNT)XR)Q
pn`bQSX^ia¬VUogNg>Xp!U1qhpWfcXsa¬cU1fcfSRN^i` U1ac`b<X^sU)^S_NXfpnXg>Xqhpw`xq7TBR)q!QcXj Uoac`b)XU1QSQ2UtvBgNj U<^iXVXsqMaSf
q«e7fcehUoj9pn`bQcXt^ia¬VUogNghXtp¶R)QWfcXa·¬·UofcfcRN^i` Uoac`b)X¡^sU)^S_NXftl-ac_NX¤mhX_>UtM`bR<QR1^U<^S_NXf!R)q«m7jxRN^S¢)Xtp
UojxT<R)QS`xaS_NVf(pnXsT)Q2U<pnXf-<XQcvBQiU1gN` pnjbv -_NXqaS_NX"m7jxRN^S¢n`bqNT @U<^iacR<Q`bqh^iQSXU1fSXf>¦EuNghXsQc`bVXqnaSf_hUt<X9UojxfSR
m>XXq^iR<qhpneh^iaSXpW-_N` ^S_`bqhpn` ^UoacXfac_hUoal<-_NXqWeNfc`bqNTU1¬-Utvfc¢<XXtp<¬·UofcfSRw^d`¥Uoac`b)X ^U)^S_NX<lhU j U1QST)XQ
QiU)^iaS`bR)q!R1ac_NX^sU)^S_NX VUtv mhXeNfcXpR)QmNjbRN^c¢n`bqNT>
-_7X(QcXV!U1`bqhpnXsQDR1NaS_NXg>U1g>XQ`xfER)QSTMU1q7`x§sXpU1fÖR)jbjbR1-fiªq nX^iaS`xR<q7lX(QcXt^U1jbjnac_NXgNQS`xq>^i`bgNjbXfDRo
U fS¢)XXp<¬cU1fSfcRN^i` U1aS`b)X9^sU)^S_NX)<ªqnX^iaS`bR)q?X"gNQSXfcXsqMa-U <XQcv fc`bVg7jxXXiuNg>XQc`bVXsqMa-_N` ^S_BXiuNgNj U1`bqNf
-_nvBfc¢<XXp<¬cU1fcfSRN^i` U1ac`b<X^sU)^S_NX fc_NR<eNj pBXiuN_N`bmN`ba-U m>XacaSXQ9Ut<XQ2UoT)X"m>X_hUtn`bR)Qac_>U1qUfcaiU1qhp7U1Q2pfcXa·¬
UofcfcRN^i` Uoac`b)X ^U)^S_NX)7ªqnXt^iac`bR)qWhlnX"gNQSXfcXsqMa-aS_NX fc`bVBeNj U1aS`bR)qaSRMR<jbf-_N` ^S__>Ut)X"m>XXq!eNfSXpW`bqBac_NX
ghUoghXsQªq%nX^iaS`bR)q¨ Nl>aS_NX`bVWghU)^iaR1)UoQc`bR)e7f9U1QSQ2Utvg7j¥U<^iXVWXqnacf"`bf fcaSehpn`bXp¤R)q%U Xs qneNVXsQc` ^U1j
¢<XQcqNXsjxftNQc`bT)`bqhUoj@lomNjbRw^S¢<XpUoqhp mNjbRN^c¢<Xp^dR)gN`bXpWU1jbT)R<Qc`bac_NVWfIUoQcX"fSacehpw`xXtpnªqnXt^iac`bR)qH9Nl<X-fSacehpwv
aS_NX `xVWghU)^daIRoIaS_NX"mNjbRN^S¢n`xq7T @U)^dacR)QR)qWghXsQR<QcVUoqh^iX U1qhpacQcvBaSR^S_hUoQ2U<^iacXQS`b§Xac_7X-QiU)^iaS`xR<qRoDac_NX
IJI
ÐKì Lôsô
^U<^S_NXfc`b§X aS_hU1a`bf"Ut)U1`bj U1mNjbXR)QmNjbRN^c¢n`bqNT3QcXfSgDNm7jxRN^S¢n`bqNT ^dR)gnvn`xq7T 5R)qfSXa¬cU1fSfcRN^i` U1aS`b)X^U<^S_NXf
Uof"U1qhpWR)q!fS¢)XXp<¬cU1fSfcRN^i` U1aS`x<X^U)^S_NXftnX^iaS`xR<q4A fceNVWVU1QS`b§Xf(aS_N`bf-fcace>pnvM
0 ( &(
ªVWgNQcR1n`bqNTBg>XQR<QcV!U1qh^iXmMv!QSXpneh^i`bqNT,^U1ghU<^i`bavU1qhp,^iR)q7h` ^ia"VW`xfSfcXf `bqqneNVWXQc` ^UojIU1g7gNjb`¥^sU1ac`bR<qNf
mnv%fcRoa-U1QcXWacX^S_Nq7`¥<eNX!_hUofBmhXsXq«U)pNpnQSXfcfSXp¶`bq%VUoqnvfcaSehpn`bXfE`xQSfca fcaSehpn`bXf48hlY7lY?NlDANl ?;
RN^ie7fcXpWR)qBjb`bV`baS`xq7T-ac_NX fc`b§XR1DaS_NX9^ie7QcQcXsqMa-R)QS¢n`xq7TfcXaR1DaS_NX9UogNgNjb` ^U1aS`bR)qNftl1ac_neNfQcXpweh^i`bqNT ac_NX
qneNVBm>XQ R1y^sU1ghU<^i`bavV`bfcfSXf R)q,ac_NX^sU)^S_NX)jbRN^c¢n`bqNT!R)QUoqMv!eNq7`xVWRNpneNj U1Q-aSQ2U1q7fR<QcVUoac`bR)q7f9^Uoq
m>XeNfSXpU1a-^iR<VgN`bjbX"aS`xVWX-acRBXq7_hU1qh^dXfcghUoac` U1jDUoqhpWacXVWghR<Q2UojhjbRN^U1jb`bavB`bqUogNgNjb` ^U1aS`xR<qNf
eNamNjbRN^S¢M`bqNT `bfqNR)a(U[fce ^i`bXqna(aSX^S_NqN` <eNXR<QIV!U1qnv9UogNgNjb` ^U1aS`bR)qNfU1qhp ^U)^S_NX"^dR)q=hT<eNQ2Uoac`bR)q7f
ªq,R)QipnXQaSRR1)XsQ2^iR<VXaS_N`bfpw`^deNjbavMl7mNjbRw^S¢nf XiuN_N`bmN`bac`bqNTB_N`bT<_jbX)XjR1QSXeNfcXBV!Utvm>X^dR)gN`bXp¤`bq
R<Q2pnXQacR ^iR)qnacQSR)jNaS_NX-gNj U)^dXVXqnaR1Ip7U1a2U`bq VXVWR)QcvUoqhpUt<R)` pgNj U)^iXVWXqna(^iR)q7>`¥^dacf(`bqBac_7X"^U)^S_NX
8bY)Y1lohl9;·eNa^iR<gnvM`bqNT V!Utv"`bqhpneh^dX-j¥UoQcT<XR1<XQc_NXtU)p R)q VUoqnv9qneNVWXQc` ^Uoj)¢<XQcqNXsjxft)X^S_Nq7`¥<eNXsfR)Q
pnXsacXQSV`bqN`bqNT"-_7Xac_NXsQz^dR)gnvn`xq7T"`bfDqNXsXpnXp R<QIq7R)a 3X)Th8bY)Y1l&9;5DU<pNpnQcXsfcfpn`bQSX^ia¬VUogNg>Xp^U<^c_7XfU1q>p
UoQcX fcaS`xjbj<XQcv!^iR)qNfSXQc)Uoac`b)X<h!R<QcXR1<XQ-ac_NXsfcXaSX^S_NqN` <eNXf"R)e7j¥p_hUt)X aSRm>XU1gNgNjb`bXpWU1a-Qce7qn¬@aS`bVX
-_NXsq¨ac_7XBfc`b§XfBU1qhp,U)p7pnQcXfSfcXfBRo[UoQcQiUtvMf U1QcXBe7qN¢nqNR1-q/Uoa^iR<VgN`bjbXac`bVWX3X)T>D^U1jbjbf acRjb`bmNQiU1Qcv
QSR)eNaS`xq7Xf+5s
ªqR)QipnXQ acR%Ut)R)` p¤eNqNgNQSXpn` ^iaiU1mNjbXU1qhp^U1aiU1fSacQcR<gN_N` ^Bm>X_hUtn`bR)Q R19^sU)^S_NXfW-`xaS_NR)e7a^iR)gnvn`bqNThl
N^S_Nj UoqNfc¢<XQXa!U1j>8<; gNQcR<ghR<fcXp®acR¨e7fcX¡U%^iR<VgNjbXiu¨_>U1fc_7`xq7T,eNqh^iaS`bR)qR)QBaS_NXfSXafSXjbX^iac`bR<q«`bq
R<Q2pnXQ acR!R<mNa2Uo`xq%U!T<RMRNp,U1qhp¤gNQSXpn` ^ia2UomNjbXm>X_hUtn`bR)Qt-X<XQcaS_NXjbXfSfBac_NX`bQg7QcR)g>R)fiU1j(fSe6XQcf QSR)V
aRV!U{iR<QpnQ2Ut-m>U)^S¢nfB=hQSfca"U_N`bT)_pnXT<QcXXR1IU1fSfcRN^i` U1aS`bM`bavB`bfqNXXpnXtpE3`bqaS_NXY9t¬-?) QiU1qNT<X%5-U1q>p
fSX^iR)q>plNfSR)VX-^iR<VgNjbXiuB_hU1Qipn-U1QcX-VWX^S_hU1q7`xfSV `xfqNXXpnXtpaSRg7fcXehpwR1¬Q2U1q>pnR)VW`x§sX-ac_NXfcXafcXjbX^dac`bR)q
`bq!ac_NX^U<^S_NX)
W hIW B -!9
!#"$%!#&(')
4 %%& ,,"_hUt<XmhXsXq¡QSX^iXqnaSjxv,gNQSR)g>R)fcXtp`bq 8ËnlY%F;·7\+*-¬yUtvWfcXa·¬·UofcfcRN^i` Uoac`b)X
^U<^S_NXU1f(`bjbjbeNfcaSQ2U1aSXp `bqE`xT<eNQcX Y-`bf(mNeN`bjba(-`bac_,* pn`bfcaS`bqh^ia(mhUoqN¢nf<-_NX"VWXVR<Qcv mNjbRN^S¢UoayU<pNpnQcXsfcf
- V!Utvm>X"gN_nvnfc` ^Uojxjbv VUogNghXtpR<qgN_nvnfc` ^Uojhjb`bqNX(. 3/-5`bqU1qnv R1Dac_7X9pn`bfcaS`bqh^iamhU1qN¢nft)-_N`bfn`xfS`bR)q
RoUfcXsa¬cU1fcfSRN^i` U1ac`b<X^U)^S_NX =hacf--`bac_!aS_NX gN_nvMfS` ^U1jE`xVWgNjbXVBXqna2Uoac`bR)q0* m>U1qN¢nf-R1(fSa2U1aS` ^9}[\9!ft
7R)Q-Ufc¢)XsXp!UofcfcRN^i` Uoac`b)X ^U)^S_NX3E`xT<eNQcX 5slNpn`6éXQSXqna"V!U1gNgN`bqNTe7qh^iac`bR<qNfyUoQcX eNfSXpR)QXU)^S_
^U<^S_NXmhUoqN¢nf `@X)bl>UVWXVR<QcvWmNjbRw^S¢¡UoaU)pNpnQSXfcf1- V!Utvm>XBVUogNghXtp!R)q,gN_nvnfc` ^U1jjx`bqNX1.2&33-5 `bq
^U<^S_NXmhUoqN¢FR)Q-`bq!gN_nvnfc` ^U1jjb`bqNX4.65%33-5-`bq^U)^S_NX mhUoqN¢¡Y<lnXa2^1
ªaB_>U1fBm>XXqfc_NR1-q¶`bq 8nlY%F; ac_hUoalR)Q T)XqNXsQ2U1jUogNgNjb` ^U1aS`xR<qNflfS¢)XXp<¬cU1fSfcRN^i` U1aS`b)X¡^U<^S_NXf
XiuN_N`bmN`ba"Uoq©Ut<XQ2UoT)XjxR1XQ-VW`xfSfQiU1aS`xR ac_>U1q!fcXa·¬·UofcfSRw^d`¥Uoac`b)X^U<^S_NXf
í87 I íð
data tag
data tag
f
f(A0) = f(A1) = f(A2)
A0 A1 A2
E`bT)eNQSXY6?pNU1aiUm7jxRN^S¢nfy^dR)q7h` ^iaS`bqNT R<QyU fS`bqNT)jbX"fSXa-R)qUaR1¬yUtv fcXa·¬·UofcfSRw^d`¥Uoac`b)X ^U)^S_NX<G«_NXsq
\ FBU1qhpW\YUoQcX fcaSR)QSXplN\ _hU1f-aSRB¢n`¥^S¢BR<eNa-R)qNX RoIac_7XaR
data tag
data tag
f0 f1
A0 A1 A2
f0(A0)=f0(A1)=f0(A2)
f1(A1)
f1(A2)
f1(A0)
E`bT)eNQSX \ F7l>\YBU1qhp¤\9!^iR<Vg>XacXR<Q"ac_7XBf2U1VWXjbRN^U1aS`xR<q`bqmhUoqN¢ FNl>mNe7a^U1q,m>XgNQSXfcXsqMaBU1a
aS_NXf2UoVXac`bVX)lnU1f-aS_NXv!pnRBqNR)a-V!U1gBaSRBac_NX f2UoVXjxRN^Uoac`bR)qW`bqm>U1qN¢Y
IJI
ÐKì Lôsô
!#" ) !#"("$!
"
G«_7Xq¡pnXfS`bT)qN`bqNTBU fc¢<XXtpU1fSfcRN^i` U1aS`x<X^U)^S_NX)l7ac_NXVU1g7gN`bqNT eNq>^iac`bR)q7f-VUtv mhX^S_NR<fcXq¤`xqWR)QipnXQ
aSRBV`bqN`bVB`b§X"^iR)q7h` ^ia-V`bfcfSXf"U1q>pB_hUoQ2pn-U1QSX^dR)fcat*G%X"jb`bfcafcR)VWX R1IaS_NXfSXgNQcR<ghXsQcac`bXf>8ËNlY%F;c
E°n1²SI%µ@(°n)´ ªqU eNfcehUoj%*-¬yUtvBfSXa¬cU1fSfcRN^i` U1aS`b)X^U<^S_NX)l>-_NXqE3* Y%5-pNUoa2U mNjbRN^S¢Mf
^iR<qnacXqhp R<QaS_NX!f2UoVXBfcXsaB`xqac_NX!^U)^S_NX<l(ac_7XQcX!`bfU,^iR<q7h` ^iaU1q>p%R)q7XR1"aS_NX!mNjbRN^c¢nf VBeNfcamhX
QSX{iX^iaSXp©QcR<V~ac_NX ^U)^S_NX3E`xT<eNQcXBY5
w¢)XXp<¬cU1fSfcRN^i` U1aS`x<X^U<^c_7Xf9Ut<R)` pWfceh^S_¡U fS`xaSehU1aS`bR)q!mnvf2^sU1acaSXQc`bqNTWac_NX pNU1aiUNh¤U1gNgN`bqNT eNqh^S¬
aS`xR<qNf^Uoqm>X^S_NR)fSXq¶fceh^S_«aS_hU1a -_NXqNXs)XQWaR%pNU1aiUm7jxRN^S¢nf^iR)q7h` ^ia R)QBU¤fc`bqNT)jbX!jbRN^U1aS`xR<q%`bq
^U<^S_NXm>U1qN¢cl7ac_NXv!_hUt<XU )XsQcv!jbR1 gNQSR)mhUomN`bjb`xav R1^iR<q7h` ^iaS`xq7TBR<Q"U jxRN^Uoac`bR)q!`bq^U)^S_NXmhU1qN¢!
3D`bT<eNQcXB5
"´D1 -µ@(°n)´#¨,#%$ °B&% UoqMvBU1g7gNjb`¥^sU1ac`bR<qNf(XiuN_N`bmN`bafcghUoac` U1jjbRN^U1jb`bavnlaS_NXQSXiR)QSX
aS_NXV!U1gNg7`xq7T(e7qh^iac`bR<qNfVBeNfcam>Xy^S_NR<fcXq fce>^c_BU1fEacR Ut)R)` paR('2UojbVR)fSa*)qNX`bT)_nm>R)QS`xq7T"pNU1aiU-mNjbRN^S¢Mf
^iR<q7h` ^iaS`xq7TR)Q"aS_NXBf2UoVXg7_MvnfS`¥^sU1j(^U)^S_NXBjb`bqNXf`bq¡mhUoqN¢+cÖ-_NXV!U1gNg7`xq7T eNqh^iaS`bR)qNf .-,VBeNfcamhX
^S_NR<fcXq%`bqR<Q2pnXQ aSRjb`bV`baV!U1gNg7`xq7T^iR<q7h` ^iaSf9fSeh^S_/Uof ac_NX VUogNgN`bqNT R1y^iR<qNfcXt^ieNac`b<XpNU1aiUBmNjbRN^S¢Mf
`bqUfS`bqNT)jbX^U)^S_NXmhU1qN¢(S
./0 °21I7)µD³N1°30 ° %°D74 ´ \ ¢)Xv,`bfcfce7XBR<Qac_NXWR1)XQiU1jbj(g>XQR)QcV!U1qh^dXBR19U!gNQSR1¬
^iXsfcfcR<Q`bf"aS_NXgN`bg>Xjb`xq7XjbXqNT)aS_Dh£[fc`bqNT!pn`bfcac`bqh^da"VUogNgN`bqNTeNqh^dac`bR)qNfR)q!ac_7Xpn`bfSac`bqh^ia ^U)^S_NX mhU1q7¢Mf
fS_NR)eNj p_hUt)XqNR X 6X^iaSfR<qghXsQR<QcVUoqh^iX)l<U1fjbR)qNT U1fac_NX"^dR)Vg7eNa2Uoac`bR)qNfRohac_7X-VU1g7gN`bqNTeNqh^dac`bR)qNf
^Uoq!mhX`bVWgNjbXVXqnaSXp`bqnacRBU qNR<q^iQS`xaS` ^U1jEfca2UoT)X `bqaS_NXgN`bg>Xjb`xq7X9U1f-q7R)a-acR jbXqNT<ac_NXq¤ac_NX gN`bg>Xjb`xq7X
^ivN^ijbX)
#5 6 " )798: &('#)
)/ !"9;("($!
"
G%XBgNQSXfcXsqMaB_7XQcXWac_NXWfc¢)Xs-`xq7T!eNqh^dac`bR)qNf-_N` ^c_%XQSXe7fcXp `xq,ac_7Xfc`bVBeNj Uoac`bR)qNfac_hUoa`bjbjxe7fcacQiU1aSX
aS_N`bf"ghUoghXQtN-_NXsfcXfS¢)X-`bqNT e7qh^iac`bR<qNf9UoQcX R)mNaiU1`bqNXpWmnv *" }[`xq7TUXs mN`baSf"`bqaS_NXU)p7pnQcXfSf R1zU
VWXVR<Qcv mNjbRw^S¢H3U1f-`bq 8nlEY%F;5
ÖXae7f©^dR)qNfS`¥pwXQU¨fS¢)XXpU1fSfcRN^i` U1aS`x<X¡^U<^c_7X¡mNe7`xjbaW-`xaS_ %R<Q¶^U)^S_NX%mhUoqN¢nflXU<^c_R)q7X
^iR<qNfc`bfSac`bqNTBR1=<^U<^c_7Xjb`xq7XfRo?>mnvnacXftl
jbXa@Bm>X-ac_7Xg>XQX^ia¬fc_neAXR)q qm7`xaSfl1pNUoa2UmNjbRN^c¢UoaIVWXVR<Qcv"U<pNpnQcXsfcfCB9DE>GF/H*<%IB
H
J<F/>JIB 5 ?>
V!Utvm>XVUogNg>Xp%
Y)R)q^U<^c_7Xjb`xq7X9B 53K B H
`bq^U<^c_7XmhU1q7¢F
N &#R)q!^U)^S_NXjx`bqNXL@J3#B 5 5 K B H
`bq^U<^c_7XmhU1q7¢¡Y
?N &#
5
R<q©^sU)^S_NXjb`bqNXM@/H3NB 5,5 K B H
`xq^U<^S_NX mhU1qN¢!
h &#R)q!^U)^S_NXjx`bqNXL@
D
3#B 5 5 K B H
`bq^U<^c_7XmhU1q7¢?
O
ÎiÐ9È LiÆ æ>È2ç-ÒâåÅSæhÅSÏ"ÈÒÒÎtÔÉØÈsß ÉØáÅÔSÈÔÝ Å
í87 I íð
-_NXsfcXeNqh^dac`bR)qNff2Uoac`bfvaS_NX9^iQS`bacXQS`xR<qBR<Q))T<RnRwp )9fS¢)X-`bqNTeNqh^iaS`bR)qNf-pnX =hq7XpB`bq48Ë;D3D`bqnacXQ·¬@mhUoqN¢
pn`bfSghXQSfc`bR)qElNjbRN^U1jDpn`bfSghXQSfc`bR)q,U1qhpWjbR1¶_hU1QipnyUoQcX^dR)fcaSf+5s
\ gNfcXsehpnR1¬ D}-£QSXgNj U)^dXVXqnaghR<jx` ^ivWfc`bV`bj U1QacRBaS_hU1a pnXfi^iQc`bm>Xp,`bq 8bYF;z-U1f-e7fcXp¤`bqfS`bVBeNj Ut¬
aS`xR<qNf
~ h "[ ! ,0 ¶"%[«*"
G%X_hUt)X"^iR<qhpneh^dacXp!U)XQSvBfc`bVgNjbXXiuNghXsQc`bVXqnaacR`bjbjbeNfcaSQ2UoacX"aS_NX"m>XqNX,=hacfac_hUoa^U1qWmhX XiuNg>X^iaSXp
QSR)V$UfS¢)XXp<¬cU1fSfcRN^i` U1aS`b)X^U<^S_NX)
ÖXaBeNfB^iR)q7fc` pnXQ!U¡ 7Y!jb`bqNXf^U<^S_NX) ÖXa eNf^iR)q7fc` pnXQU%^iR<jbjxXt^iac`bR)qR1(* pNUoa2U¤mNjbRN^c¢nf XU)^S_
-`bac_UQ2U1q>pnR)V U)pNpnQSXfcftn-_N`bf^iR<jxjbX^dac`bR)qB`bf(`bacXsQ2U1aS`b)XjbvQSXU)p!YF ac`bVXsf `bQcX^da¬VU1g7ghXpÖl)Nl1>l:<NlbY%9
UoqhpH?)t¬-UtvBfcXa·¬·UofcfcRN^i` Uoac`b)X)lBUoqhpW1¬yUtvBfS¢)XXp<¬cU1fSfcRN^i` U1aS`x<XXQcXfS`bVBeNj U1acXtp)\ gNfcXsehpnR1¬ D}-£
QSXgNj U)^iXsVXqnaghR<jb`¥^dv9-U1feNfSXpR)Qac_7XfS¢)XXp<¬cU1fSfcRN^i` U1aS`x<Xy^sU)^S_NX H t-_NXXiuNghXsQc`bVXqna-U1fDQSXg>XU1aSXp
R<q/YFF pn`6éXsQcXqna9^dR)jbjbX^iac`bR<qNfR)QX<XQcv!fcXt)e7Xqh^iX fc`b§X)
5 8 &8(! & )0 ! "
E`bT)eNQSX ?)U `bjbjbeNfcaSQ2U1aSXfac_NXUt)XsQ2U1T<X"QiU1ac`bR R1DmNjbRN^S¢nfaS_hU1aQcXV!U1`bqB)U1jb` p `bqBac_NX^U<^S_NXUtaSXQyUfc`bqNT<jbX
QSXU)p!g>U1fcf-RoIaS_NX-_NR<jxX^iR<jbjxXt^iac`bR)qR)Q"^dR)jbjbX^iac`bR<qfc`b§Xsf")U1QSvn`xq7TQSR)V ?<aSR NYtN
60 65 70 75 80 85 90 95 100
0 100 200 300 400 500
valid block ratio (x100)
collection size
2SK 4SK DM 2SA 4SA 8SA
80 85 90 95 100
0 100 200 300 400 500
valid block ratio (x100)
collection size
2SK 4SK 4SA 8SA 32SA
3@UB5 3m 5
E`bT)eNQSX ? *3@UB5-}"U1aS`bRRoI)U1jb` p mNjbRN^S¢Mf"U acXsQ-R)qNX QcXtU)pl 3m 5}"U1aS`bRR1)U1jb` pBmNjbRN^S¢Mf"U acXsQ-acXq!QcXtU)pnf
-_7XqneNVBm>XQ R1")U1jb` p¤mNjbRw^S¢nf `xq%aS_NX ¬@-UtvfS¢)XXp<¬cU1fSfcRN^i` U1aS`x<X^U<^S_NX!`xfT)QcXtU1acXsQBac_hUoq%ac_NX
qneNVBm>XQR1()U1jb` p mNjbRN^c¢nf-`bqaS_NXt¬yUtvBfSXa¬cU1fSfcRN^i` U1aS`b)X^U)^S_NX U1qhpWfcjb`bT)_naSjxv jbXfcfac_hUoqaS_NXqneNVBm>XQ
Roz)Uojb`¥p m7jxRN^S¢nf-`bqac_7X1¬yUtvBfSXa¬cU1fSfcRN^i` U1aS`b)X^U)^S_NX<
Îi×IßÝ Å(ÒÅcßâÆ ÈÒÒÎtÔÉØÈßâÉØáÅÔcÈsÔÝ ÅÑ1ßÝ ÅEÞ)Èi×ÈiÇ"ÅSßÅ·×hÇ"ÅSÈÒ î1×ÅcÏ[ÉËÐßÝ ÉØÒEÅcàsÞMÅ×ÉËÇ"ÅÐ1ßNÏ1ÎtÅcÒÖÐ)ÎßDÏ1Å·ÞMÅÐ)Ï[ÉËÐÈiÐ çæhÈiç
ÎiÚ>ßÝ ÅÖ×@Å·Þ1ÊØÈÔcÅ·Ç"ÅÐ1ß)ÞnÎiÊËÉØÔcç
IJI
ÐKì Lôsô
-_7X-qMe7VBmhXQRoé)Uojx` p m7jxRN^S¢nf(`bqaS_NX-1¬-Utvfc¢<XXtp<¬·UofcfSRw^d`¥Uoac`b)X"^sU)^S_NX"`bf(U1g7gNQcRtuN`bVUoacXjbv"Xt)e>U1j
aSR"ac_7XqneNVBm>XQDRoNmNjbRw^S¢nfD)Uojb`¥p`bqaS_NX < ¬@-Utv"fSXa¬cU1fSfcRN^i` U1aS`b)X-^U)^S_NX)ltmNe7aI`bfEjxR1XQEac_hUoqac_NXqneNVBm>XQ
Roz)Uojb`¥p m7jxRN^S¢nf-`bq¡Y%9 ¬@-UtvU1q>p?<t¬yUtv fcXsa¬cU1fcfSRN^i` U1ac`b<X^U)^S_NXsf
\[acXsQUBfS`xq7T)jbXQSXU)p,fSX<eNXqh^dX)lER)QUoq¡X<ehUojU1fSfcRN^i` U1aS`bM`bavpnXT<QcXX<lDVWR)QcXBpNUoa2UW-`bjxjEmhXBR<q/U
fS¢)XXp<¬cU1fSfcRN^i` U1aS`x<X^U<^c_7Xac_hUoq!R)qU fSXa¬cU1fSfcRN^i` U1aS`b)X^U<^S_NX)
5 )'98&8 ) &8"(!/8! "
\$fSX^iR)q>p¶gN_NXq7R)VXsqNR)q¶U)^^iXsqMaSehU1aSXfaS_NXU)pn)Uoqna2U1T<XRo9ac_7XfS¢)XXp<¬cU1fSfcRN^i` U1aS`b)X!R1)XQBaS_NX!fcXa·¬
UofcfcRN^i` Uoac`b)X^U<^c_7X)
E`bT)e7QcX ?om`bjbjbeNfcaSQ2U1aSXfac_NXUt)XsQ2U1T<X Q2U1aS`bRR1ac_NX mNjbRN^S¢Mf`bqaS_NX fcX<eNXq>^iXac_>U1a-QcXsVU1`bqB)Uojx` p`bq
aS_NX^U)^S_NXUtacXQ-aSXqfSeh^^iXfSfc`b)X QcXtU)pnf-RoDac_NX -_NR<jxXfcX<eNXsqh^iX3fcX<eNXq>^iX)UoQcvn`bqNT QSR)V ?)acRB NYt
mNjbRN^S¢nf+57R)Q"pn`bQSX^ia¬VUogNg>Xp!U1qhp!fSXa¬cU1fSfcRN^i` U1aS`b)X^U<^S_NXfl>aS_NXqneNVBm>XQ-R1()U1jb` pBm7jxRN^S¢nf9pnRnXfqNR)a
X<R)jb)X UtaSXQ(aS_NX =hQcfSafSX<eNXqh^iXQcXU<p%n`ÛÖUmNjbRN^c¢ `bf(V`bfSfc`bqNT `bacfa2U1QST)XafcXsalnjbRMU<pn`bqNT ac_NXmNjbRw^S¢ -`bjxj
`bqn)U1jb` pNU1aSX"U1qNR<ac_NXsQ"mNjbRN^S¢B`xq!aS_NX^U)^S_NX)
[R1Xs)XQtl)`bq ac_NXfc¢)XsXpM¬·UofcfcRN^i` Uoac`b)X"^U<^S_NX)lnac_7X-qMe7VBmhXQR1DpNU1aiU mNjbRN^c¢nf(g7QcXfSXqnayUoa(ac_NXf2UoVX
aS`xVWX `xq!aS_NX^U<^c_7XpnXsghXq>pnf R)q!ac_NX gNQSX^i`bfcX VUogNgN`bqNTRozXtU)^S_¡pNUoa2UBm7jxRN^S¢`bq!ac_7X^U)^S_NX<\"VWR)qNT
aS_NX R)ac_7XQ-ghR<fcfS`xm7jxX jbRN^U1aS`bR)qNfR)Q-U pNU1aiUmNjbRN^S¢ -~g7QcXfSXqna"`bqaS_NX^U)^S_NXU1aac`bVWXlnac_NXQSXVUtvmhX
UoqXVWgNavjbRN^U1aS`xR<qD jbRw^S¢ - V!Utvm>X"QcXsVR1)Xtp QSR)V ac_7X9^U<^c_7X9mnvBU V`bfSf(R)qUoqBR)ac_7XQ-mNjbRN^c¢,-
`bqmhUoqN¢ Sl>mNeNaac_NXq7XiuNa9aS`bVX - -`bjxjm>XQSXiXQSXqh^iXpÖl - ^U1qm>XV!U1gNg>XpW`bq©UoqXVWgNavjbRN^U1aS`bR)q
`bq!mhU1q7¢I UoqhpBaS_Me7f"ac_7X9qneNVBm>XQR1pNUoa2U U1jb`b)X9Uoa-ac_NX fiU1VXac`bVX`bqac_7X^U)^S_NX-`xjbj>`bqh^iQcXtU1fcX<
7R)Q-`bqNfSa2Uoqh^iX)lUtacXQ-aSXq`bacXQiU1aS`xR<qNf"Ro(ac_NXfSX<eNXqh^dXQSXU)pn`bqNT>lNaS_NXqneNVBm>XQ-R1()U1jb` pBm7jxRN^S¢nf-`bq
aS_NX 1¬yUtv fc¢<XXtp<¬·UofcfSRw^d`¥Uoac`b)X^U<^S_NX>3QcXsfcgD>t¬yUtv5`xf`bqaS_NX"fiU1VXQ2UoqNT)X U1f-ac_>U1aR1Dac_7X ?<t¬yUtv
fSXa¬cU1fSfcRN^i` U1aS`x<X3QSXfcgE < ¬@-Utv5^sU)^S_NX)
ªq¤mNjbRw^S¢<Xp¡UojbT)R)QS`bac_NVWflnmNjbRN^S¢fc`b§Xf U1QcXB^S_NR)fSXq%`bqfce>^c_%UWyUtv!aS_hU1a ac_7XfS`x§sXBR1aS_NXQSXeNfSXp
pNUoa2U `bf-fcV!U1jbjbXQac_hUoqaS_NX^U)^S_NXfc`b§X)>ªa-VUtv m>XXiuNghXt^iacXp¤ac_>U1a-ac_7XfcXjÛpNUoa2U QcXsR)QcTnU1qN`b§Uoac`bR)qW`bq
aS_NXfc¢<XXp<¬cU1fcfSRN^i` U1ac`b<X^U)^S_NX-`xjbjjb`bV`ba^iR<q7h` ^ia-VW`xfSfcXf-R<q!fceh^S_mNjbRN^S¢)Xp!UojxT<R)QS`xaS_NVfU1qhp!U1jbR1
T<QcXUoacXQmNjbRw^S¢Wfc`b§X)
[R)aS`¥^dXaS_hU1aaS_N`bf XiuhU1Vg7jxX pnRnXfqNR<a9fS_NR1 fSeNQcXBg>XQ·R)QSVU1q>^iXBTMUo`xqEhnXa pn`bfcacQS`bmNeNac`bR<q¡`bf qNR)a
QiU1qhpnR<V `bq¨QSXU1j"UogNgNjb` ^U1aS`xR<qNfEªq¨V!U1qnv%^U1fSXflpneNX!acR,fcghUoac` U1j-jbRN^Uojx`bavfSXa¬cU1fSfcRN^i` U1aS`b)X¡^U<^S_NXf
R)QS¢QSXU1jbjbvXjbjlNmNe7a9pnXfiU1fSacQcR<eNf fcXapn`bfSacQc`bmNe7ac`bR)qV!UtvU1jbfcRBm>XfSXXq%U1f"`bayUof"fc_7R1-q`bq 8:9nl <;
Uoqhp!U1f-`ba--`bjxj>m>X9XsVgN_hUofc`bfcXtp`bqWac_NXq7XiuNa-fcX^iaS`bR)qNft
0 ! B *+-W0
ªqR<Q2pnXsQ-acR^sU1gNaSeNQcXX,6éX^dac`b)Xg7QcR)T<Q2UoVm>X_hUtn`bR)Q-`bqh^ijbehpw`xq7TjbRnR)gWVU1q>U1T)XsVXqnaUoqhpWf2^Uoj¥UoQ-QcXiXi¬
QSXqh^iXftlX^S_NR<fcXaSRe7fcXX 6X^iaS`b)XgNQSR)T<Q2U1V XiuNX^ie7ac`bR)q!acQiU)^iXsf
-_7X4!WghU)^S¢)UoT)XpwX)XjbR<ghXpmnv C R<Q2pnR<q¨ªQcj UoV 8Ë ;"yUofeNfSXpacR,T)Xq7XQ2UoacX¡U<pNpnQcXsfcfBacQiU)^iXsf
R<QgNQSR)T)QiU1VWfXiuNX^ieNaSXpR)q¨U7£( nghU1Qi^naiU1ac`bR<qDY%F7IDAA¤NR<QcacQiU1q¨^iR<VgN`bjbXQ -`bac_,¬c!¬·p7U1jb`bT)q
R<gNac`bV`b§Uoac`bR)q7f(yUof-eNfcXtp
[R!VRNpn`=é^Uoac`bR)q!R1ac_NXBmN`bqhUoQcv^iRNpnXBaSRm>XU1q>U1jbvn§Xp¤yUof9QSX<eN`bQcXpÖI£[fcXQ^dRwpwXBR1yUWfc`bqNT<jbX
UogNgNjb` ^U1aS`xR<q«^U1q«m>X¡^iR<VgNjbXaSXjbv%acQiU)^iXp Xiuh^iXg7aR)QaS_NX¡ ¶¢<XQcqNXsj^dRwpwX)\"fXfSacehpn`bXp®ac_NX
í87 I íð
m>X_hUtn`bR)Q R1"qneNVWXQc` ^Uoj¢<XQcqNXsjxfB^iR<qNfc`bfcaS`bqNT¡RoUWX~qNXfSacXp®jxRnR<gNflER)qNjbv%pNU1aiU!QcXdXQcXsqh^iXf!XQcX
gN`bg>Xp!aSRUB^U<^S_NXfc`bVBeNj UoacR)Qt
E`b)X(^U<^S_NXR<QcTnU1qN`b§Uoac`bR)qNfXQSXfS`xVBe7j¥UoacXp[`bqU[fc`bqNT<jxXghUoac_tpn`bQcX^da¬VU1g7ghXpÖl ¬@-Utv"U1q>p 1¬yUtv
fSXa¬cU1fSfcRN^i` U1aS`x<X)lt¬yUtvBU1q>po¬@-UtvBfc¢<XXp<¬cU1fcfSRN^i` U1ac`b<X^sU)^S_NXft
ªq R<Q2pnXQaSR-jx`bVW`xa7ac_NX(fS`b§XfR1Nac_7X(gNQcR<mNjbXVf>qNXXtpnXp acR-Xdu7^dXXp ^U)^S_NX-^U1g>U)^i`bav 3U1qhpfc`bVBeNj U1aS`xR<q
aS`xVWX%5l>U<mnvnacX^U<^S_NX-U1ffc`bVBeNj U1aSXpn-_NX ^U)^S_NX jb`xq7X9fS`b§X^S_NR<fcXq¤R<Q-ac_NX fc`bVBeNj U1aS`bR)qB-U1f"?)
mnvnacXft
.°(4/2±¤´N1 %°n°n NJN-´( ªqWR)QipnXQ"aSRVWXU1fSeNQcXac_NXfcXqNfS`bac`bn`xavBRoIaS_NX^U)^S_NX
m>X_hUtn`bR)Q acRWghU1QiU1VWXacXQSf fceh^S_%U1fU1QSQ2Utv!fc`b§XfR)Q"m7jxRN^S¢fS`x§sXflfSvnfcacXsVU1aS` ^ XiuNghXsQc`bVXqnaSf9XQSXQSXi¬
g>XU1aSXp!-_N`bjbX )U1QSvM`bqNTmNjbRw^S¢Wfc`b§XUoqhp 1R<QjbXU<pn`bqNT fc`b§X3`@X)nqneNVBm>XQR1QcR1-f-`bqUV!U1acQS`Ûu 5s
M N-´ ´ !41°¶°°N 4´ -%° ªq¶R)QipnXQBacR¨U<^^ieNQiU1aSXjbv¨XfSac`bVUoacXaS_NX!R1)XQS_NXU<pUof¬
fSRw^d`¥UoacXp-`bac_mNjbRN^c¢n`bqNT¡Uoqhp¨^dR)gnvn`xq7TR)qac_NX!XiuNX^ie7ac`bR)q¶ac`bVWXR<QaS_NXpn`6éXsQcXqnaU1jbT<R)Qc`baS_NVftléU
fSeNghXsQcf2^sU1j U1QgNQcRN^iXfSfcR<Q"-U1f-fc`bVBeNj UoacXpo-_NX fc`bVBeNj U1aSXp^dR)q=hT<eNQ2Uoac`bR)qWyUofR<qNX mNQ2Uoqh^S_!eNqN`bal<aR
`bqnacXT<XQ-eNqN`baSflnR)q7X"jbRMU<p 1fSacR)QSX"eNq7`xa-U1q>pBaR 7hRnU1aS`xq7T1¬ghR<`xqna(e7qN`bacf nU mN`baSf-mNQ2Uoqh^S_a2UoQcT<Xa-mNe6XQ
-U1f `bVgNjbXVWXqnacXpENR<Qac_NXsfcXfS`xVBe7j¥Uoac`bR)q7flU1q%` pnXUoj"^U)^S_NX!-U1fUofcfSeNVXp 3`XX<XQcv%QSXiXQSXqh^iX
_N`baSf+5
G%X ^U1jbjaS_NXXiuNX^ie7ac`bR)q!ac`bVWX"R)m7a2U1`bqNXtpBQcR)V ac_N`bf-fc`bVBeNj Uoac`bR)q ac_NXB &/ +B &H'
ªq!aS_NX QcXV!U1`bqhpnXQR1(ghUoghXsQlNX QcR<eNT)_NjbvBVWRwpwXjb`x§sX"ac_7X9XduwXt^ieNac`bR<qac`bVX-RoU¢<XQcqNXsjImnv%
>
!"#%$'& () *+ YF-,/.10 ,3242 32Y%5
5 6
- IW ! ./0!1 879#1
\f"gNQSXn`xR<eNfcjbvBVWXqnac`bR)qNXtplnac_NX `bVg>U)^iaR)q!^U)^S_NXm>X_hUtn`bR)Q-RoIaS_NX fcR1ayUoQcX acX^S_Nq7`¥<eNXgNQcR<ghR<fcXp
aSRB`xVWgNQcR1<X"pNU1aiU jbRw^sU1jb`bav`bf-qNR<aeNjbjbveNq>pnXQcfSacRnRNp
-_7X"XiuNg>XQc`bVXsqMaSfg7QcXfSXqnacXp!`bqWac_N`bffcX^iaS`bR)q!X)U1jbehUoacX-aS_NX^U)^S_NX g>XQR<QcV!U1qh^iX[R)Qac_NQSXXjbRnR)g
¢<XQcqNXsjxf Y%FBF:9¶Y%FBF!VUoacQc`Ûun¬VUtacQS`ÛuVBeNjbac`bgNjbvnl ?o F89 ?o F <;MU<^iR)m7`-jxRnR<g/Uoqhp¶Y%FBF+9¶Y%FBF D£
@U<^iacR<Qc`b§Uoac`bR)qDoªqU1jbjnac_NX-XiuNg>XQc`bVWXqnacfl<X-)U1Qcvac_NX-jbXU<pn`bqNTpn`bVXqNfS`bR)qRoéaS_NX9UoQcQ2UtvnfeNfSXpB`bq ac_NX
jbRnR)gNf-aSRB_N`bT)_Njb`bT)_na(aS_NX`bVg>U)^ia(RoIaS_NXU1QSQ2Utv!pnX^ij U1QiU1aS`xR<qR<qaS_NX^U<^S_NXm>X_hUtn`bR)QG%X fS`xVBe7j¥UoacXp
R<Qc`bT)`bqhUoj@l<mNjbRN^S¢)Xp!U1q>p^dR)gnvBmNjbRN^c¢<XpW)XQSfc`bR)q7f"R1ac_NX ¢<XQcqNXsjxft
-_7X9aS_NQcXsXR)QS`xT<`bqhU1j>¢)XQSqNXjbf"XQSX^S_NR)fSXqm>X^U1e7fcXaS_NXv!XiuN_N`bmN`baypw`06XQSXqna9^S_hU1QiU)^iaSXQc`bfSac` ^if
Y)-_NXV!U1acQS`ÛuM¬VUtaSQc`ÛuBVBeNjbac`bgNjbv`bf"U ac_NXac_NQSXXi¬R)j p!qNXsfcacXtpjbRnR)g!-_NXQSXXU<^c_,pNU1aiU `xf-QSXeNfSXp
VUoqMv ac`bVWXfn\eNacR<VU1aS` ^mNjbRw^S¢n`bqNT acX^S_NqN` <eNXV!Utvm>X eNfcXtp!R)q!ac_7`xf-¢<XQcq7Xj
N-_NX" =;nU)^iR<mN`NjbRnR)g `xf(UaR1¬R)j pnXpqNXfcajxRnR<g-_NXsQcX"pNUoa2UQcXe7fcX"`bfjb`bV`bacXpÖi-_N`bfIjbRnR)gB^Uoq
mhX"UoeNacR<VUoac` ^U1jbjbv"m7jxRN^S¢)Xtp eNX-acR jb`bV`bacXtp9p7U1a2UQcXeNfSX)l<R1)XQS_NXU)pBUofcfSRw^d`¥UoacXp -`baS_^iR)gnvn`bqNT
`bf-)XQSv_N`bT)_E
IJI
ÐKì Lôsô
?N-_NX E£%jbRnR)g `bfIUac_7QcXXi¬R<j¥pqNXfcaSXp jbRnR)gD U1aiUQcXe7fcX-`bf)XQSv _N`bT)_D "XsQc`bn`xq7T"U1eNaSR)VUoac` ^Uojxjbv
U mNjbRN^S¢)Xp)XQSfc`bR)qBRoDac_N`bf(jbRnR)gB`bf(qNR<a(XUofcvnac_NX-m7jxRN^S¢)XtpU1q>pB^iR)gnv mNjbRw^S¢<XpB<XQcfS`xR<qNfR1ac_NX
D£jbRnR)gWeNfcXp©`xqWac_NXghU1g>XQ-XQcXpwXQc`b)Xtp!mnvB_hU1qhpÖ
7R)Qac_NXfSXac_7QcXX¢<XQcq7XjbflXVWXU1fSeNQcXtp%ac_7X`bVghU<^iaRo9mNjbRN^S¢M`bqNT,U1qhp mNjbRw^S¢n`bqNT ^iR)gnvn`bqNT
R<qac_NX qneNVBm>XQ"Roy^U)^S_NX V`bfSfcXftlNR)q¤XiuNacQ2UWVWXVR<QcvBQcXdXQcXsqh^iXfBU1qhp©R)qXiuNaSQ2UW`bqNfcaSQceh^iaS`bR)qNfU1q>p
XiuNX^deNac`bR)qWac`bVXsf1NR<Q( ´D->°Nµ!U1qhp 1´D± ´D-h°NµW)XsQcfc`bR<qNf(R1DaS_NX"U1g7gNjb`¥^sU1ac`bR<qNfltac_7X"mNjbRN^S¢fc`b§X
-U1f^S_NR)fSXq%fcR!aS_hU1aac_NXBaSR)a2Uojfc`b§X R1-ac_NX mNjbRN^c¢nf `bf9UogNgNQcRtuN`bVUoacXjbvWX<ehU1jacR!_hUojÛzRoyaS_NXB^U)^S_NX
fS`x§sX)>\"f-fc_7R1-q`bq!nX^iaS`xR<q 9NlnaS_N`bf-_hU1g7ghXq7f-acRBm>XUT<RnRwp!UogNgNQcRtuN`bVUoac`bR)qE
8 !7 : 8 !7 : 'G!#&'
-_NXBaS_NQcXsX)XsQcfc`bR<qNfR1-ac_7XBgNQcR<T)Q2UoVf-_N` ^c_,XQcXWfc`bVBeNj U1aSXp!U1QcXB`bjbjbeNfcaSQ2UoacXp¤`bq/E`bT)eNQSXBh>-_NX
qneNVBm>XQ"RoD7hRMUoac`bqNT1¬g>R)`bqna-QcXiXsQcXqh^dXf`bq!ac_7Xpn`6XQcXsqMa <XQcfS`xR<qNf R1(ac_7XUojxT<R)QS`xaS_NV~`bf"g7QcXpn` ^iaiU1mNjbX
QSR)V ac_NX7R)QSacQ2Uoq^iRNpnX
`bqaS_NX R)QS`xT<`bqhU1j>jbRMR<gDlnXU<^c_¤XjbXVXqnaR1VU1aSQc`ÛuB\ `bf`bqn)U1QS` U1qna`bqWac_NX`bqNq7XQ-VR<fcajxRnR<gU1q>p
ac_NXsq¡`bf-QcXtU)p,U1qhpW-Qc`baSacXq,R)qNXac`bVX 3@FBFFBF QcXiXsQcXqh^dXf+5 U1qhpWXU<^S_¡XjbXVWXqna-R1(VUoacQS`¥^dXf
U1qhp!|U1QSX9QSXU)p,YFFac`bVXf 3@BFFBFFFBFQSXiXQSXqh^iXsf+5
-_NXqBmNjbRN^S¢n`xq7ThltXU)^S_BXjbXVWXqnaDRoéV!U1acQS`Ûu9\«`bfQcXU<pBU1qhp-Qc`baSacXq>=h<XaS`bVXfE`xq7fcacXtU)p R1R)q>^iX)l
ac_neNf-jbXU<pn`bqNTaSR@<FBFFFVR<QcXVXVWR)Qcv U)^^iXsfcfcXsf3fSXXE`bT)eNQSX95
`bq«ac_NX¨^dR)gnv«mNjbRN^S¢)Xp¶<XQcfS`bR)qDl-XtU)^S_ XsjxXsVXqnaRoVUoacQS`Øu«|$`bf^iR)g7`xXtp«R<qNX¡aS`bVXE3@BFFFBF
QcXiXQcXq>^iXf+5 Uoqhp XU)^S_WXjbXVXqna(RoDVUoacQc`Ûu `bf^iR)g7`xXtp>=h<X"ac`bVWXf 32Y%FBFFBFFQcXiXQcXq>^iXf+5sl>ac_neNf
jbXU)pn`bqNT acRBFFBFFFXiuNacQ2UVXVWR)QSvQcXiXQcXq>^iXf
-_7X"qneNVBm>XQR1D`bqNfcaSQceh^dac`bR)qNf`bqBac_NX pn`6éXsQcXqna-)XsQcfc`bR<qNfypwXghXsqhpnf-_N`bT)_7jxvR)qBac_7X9<ehU1jb`bavRoDac_NX
DAAB^dR)Vg7`xjbXQtNna2Uoac`bfcaS` ^if"R<qaS_NXXiuNX^deNac`bR)q¤R1IaS_NXaS_NQcXX fc`bVBeNj UoacXpWU1jbT)R<Qc`bac_NVWfU1QSX QcXg>R)QSacXp¤`bq
aiU1mNjbX"Y<7R)QDR<eNQDXdu7UoVgNjbXftliac_NX-DAA^iR)VWgN`bjxXsQheNq7QcR)jbjbfDaS_NX(`bqNqNXsQDVR<fcajbRnR)g "aS`bVXfti-_N`bfDXiuNgNj U1`bqNf
aS_NX"j U1QST)X-pn`6éXsQcXqh^dX9m>XaXXqW`¥pwXU1jNXduwXt^ieNac`bR<qac`bVWX(R1ac_NXR)QS`xT<`bqhU1jn)XsQcfc`bR<qRoDac_NX"UojxT<R)QS`xaS_NV U1q>p
aS_hU1a-Rozm7jxRN^S¢)XtplNU1qhpWmNjbRN^S¢)Xp ^iR)gN`bXp!UojxT<R)QS`xaS_NVft
QS`xT<`bqhU1j jbRw^S¢<Xp j |R
7hRnU1ac`bqNT g>R)`bqnaQSXi BF)BFFFBF 7Y%FFBFFBF <)FBFFBF
pNU1aiUQSXi BF)o <<BF 7YFBA) 7Y <1 ?o FB<
`bqNfSacQce>^iac`bR)q7f <1nFF< ABF9)<)B? AB?) NYs ?BF
` pnXUojDXiuNX^ie7ac`bR)q!ac`bVWX BF)B?NY%?B< BANY)Y<F7Y B<FA<A<
zUomNjbXY6N|_hU1QiU)^iaSXQc`bfcaS` ^if R)qaS_NXpn`6XQcXsqMaVUoacQc`Ûun¬VeNjbaS`ØgNjbv<XQcfS`xR<qNf
-_7XpNU1aiU!QcXe7fcX`bq,ac_NX,Y%FBF:9¶Y%FFWV!U1acQS`ÛuM¬VUtaSQc`ÛuVBe7jxaS`bgNjbv`bf)XsQcv,_N`bT)_XtU)^S_%XjbXVXsqMa Ro
V!U1acQS`Ûu ,U1qhp |%U1QSXeNfSXpWY%FFaS`bVXftlVR<QcXR1<XQXU<^c_B^U<^c_7X-mNjbRw^S¢^iR<qMaiU1`bqNfE"R)Q2pwfltac_NXsqjbXU<pn`bqNT
í87 I íð
aSR FBFQSXU)pwf9RoU fc`bqNT)jbX^U<^c_7XmNjbRN^S¢Nneh^S_¡U1q¤R)gNaS`xV!U1jNQSXeNfSX^UoqR)q7jxvWmhXR)mNaiU1`bqNXpW-_NXq¤ac_NX
-_NR<jbXBVU1aSQc` ^iXf =ha`bq%ac_NX!^U)^S_NX<(NR<Qac_NXBm7jxRN^S¢)Xtp¨U1q>p,mNjbRw^S¢<Xp%^iR)g7`xXtp,)XQSfc`bR)qNftl(U!QcXsj¥Uoac`b)Xsjxv
^iR<QcQSX^ia"Xsfcac`bV!U1ac`bR<qRoDac_NXV`bqN`bVUtjnqneNVBm>XQ(R1DVW`bfcfcXsf(`bfR<mNa2Uo`xq7Xp mnvU1fcfSeNV`bqNTUghXsQX^da"^U)^S_NX
mNe7a-qNRBQcXe7fcXBU)^iQSR)fcf-aS_NXmNjbRN^S¢nfNA< FBFVW`xfSfcXft
ªqE`bT)eNQSX UoqhpE`bT)eNQSX 9Nl7XQcXfSghX^dac`b)Xjbv`bjbjbeNfcaSQ2UoacXfac_NXqneNVBm>XQ-RoV`bfcfSXf"U1q>p!ac_NXXiuNXi¬
^ie7ac`bR)qaS`bVXfR<Q"XU<^S_R1aS_NXaS_NQcXXB<XQcfS`bR)qNfQceNq-`baS_qneNVBmhXsQcf"Ro(QcR1-f"Ro(ac_NXBU1QSQ2Utvnf")UoQcvn`bqNT
QSR)V Y%FBFaSR < FN
JN$N ´´ ¶&(µ ´D->°Nµ ´´ "ªa(^ijbXUoQcjbvUogNghXtU1Qcfac_hUoazpw`xQSX^ia·¬@V!U1gNg>Xp U1qhp U1qhp1¬yUtv
fcXa·¬·UofcfSRw^d`¥Uoac`b)X ^U)^S_NXfXiuN_N`bmN`ba"<eN`bacX eNqNgNQSXpn` ^iaiU1mNjbXm>X_hUtn`bR)QSf-R)q!ac_NX R<Qc`bT)`bqhUoj)XQSfc`bR)qU1f
XsjxjU1fR<q%ac_NXWmNjbRw^S¢<Xp<XQcfS`bR)q%R1"aS_NXU1jbT<R)Qc`baS_NV¡>NR<Q`bqNfcaiU1qh^iX<lDXiuNX^deNac`bR)q%aS`bVX R1-ac_NX
mNjbRN^c¢<XpUojxT<R)QS`xaS_NV¡loac_NXXduwXt^ieNac`bR<qac`bVX)U1QSvBQSR)V QcR<V ?BBFFFFBF^dvw^djxXsf9aSRY%9FBFFFFBF
^ivN^ijbXfl>X<Xq!-`bac_Uo¬@-UtvBfcXsa¬cU1fcfSRN^i` U1ac`b<X^U)^S_NX<
-_NXqneNVBm>XQBR1VW`xfSfcXfBR<q¶ac_NX¡ ¬@-Utv%fc¢<XXp<¬cU1fcfSRN^i` U1ac`b<X¡^U)^S_NX,`bfBjbXfcfW`xQSQcXT<eNj U1QtlU1q>p
mhXt^iR)VWXf"<eN`bacX"QSXT)e7j¥UoQ-R)qWac_NX 1¬-UtvfS¢)XXp<¬cU1fSfcRN^i` U1aS`x<X^U)^S_NX) -R<ac` ^iX ac_hUoaaS_NXUt)XQiU1T<X
V`bfcf-QiU1aS`xRW`bf"U1jbfcRWmhXaSacXQR)qUBo¬@-UtvfS¢)XXp<¬cU1fSfcRN^i` U1aS`x<X^sU)^S_NX ac_hUoqR)q¡Uoqnv)R)aS_NXQ ^U)^S_NX
fcaSQceh^iaSeNQcX6R<Q ac_NX mNjbRN^c¢<Xp!<XQcfS`xR<qDlaS_NXUt<XQ2UoT)XVW`bfcf"qneNVBm>XQ-`bfU1QSR)eNqhp 9)@FBFFR)Qac_NX
1¬yUtvBfS¢)XXp<¬cU1fSfcRN^i` U1aS`b)X^U<^S_NXU1TMUo`bqNfcaYt9>FFFR<QaS_NX1¬-UtvBfcXa·¬·UofcfcRN^i` Uoac`b)X^U<^c_7X)
´D->°Nµ&(µ ´°Nµ"\"fSfcRN^i` U1aS`xq7TBmNjbRw^S¢n`bqNTBU1qhpW^iR)gnvn`bqNTBmNQc`bqNT<f-QcXj Uoac`b)XjbvBfSa2U1m7jxX qneNVBm>XQcf
R1V`bfcfSXfR)Q-aS_NX VUoacQc`ÛuBVBeNjbac`bgNjbvn
G«`bac_¨UW1¬-UtvfcXa·¬·UofcfSRw^d`¥Uoac`b)X!^U)^S_NX<lac_NXWXiuNX^ieNaS`xR<q%ac`bVX )U1QS`bXfm>XaXsXq ?¡Y<F4FBFFWacR
Y%<BF FBFF ^ivN^ijbXf
(e7a"XfcaS`xjbjqNR<ac` ^iXaS_hU1aac_NXmhX_>UtM`bR<Q-R1(ac_NX1¬yUtvBfS¢)XXp<¬cU1fSfcRN^i` U1aS`x<X^U<^c_7X_hUof-jbR1XQ
V`bfcfQ2Uoac`bRBUt)XQiU1T)XUoqhp!UVWR)QcXfcaiU1mNjbX mhXs_hUtn`xR<Q-ac_hUoq!ac_hUoa-R1IaS_NXR<ac_NXQ"^sU)^S_NXft
-_NX"<eN`bacX-fSa2U1m7jxXmNeNaQcXj U1aS`b)Xjbvg>RnR)QghXsQR<QcVUoqh^iX-RoéaS_NX"pn`bQcX^da(VUogNghXtp^U<^S_NX-VBeNfca(UojxfSR
mhXghR<`xqnaSXpWR)eNat
7R)Q-U1jbj^U)^S_NXR)QcTnU1qN`b§Uoac`bR)q7flnXiuh^iXg7a"ac_7X9o¬@-UtvBfc¢<XXp<¬cU1fcfSRN^i` U1ac`b<X^sU)^S_NX)l7ac_NXUt<XQ2UoT)XXiuNXi¬
^ie7ac`bR)q!ac`bVWX"`bf"^ijbXU1QSjbvBmhXaSacXQ R<qac_7XmNjbRN^c¢<Xp ^iR<gN`bXpWjbRMR<gaS_hU1q!R)q!aS_NX mNjbRw^S¢<XpWjxRnR<gD
8$
!
& ) "()'
-_7X-¢)XQSqNXj>fcace>pn`bXp _NXQSX"`bf(U ;nU)^iR<mN`NjbRnR)g XiuNacQiU)^iaSXp QSR)V U1qU1g7gNjb`¥^sU1ac`bR<q^U1jbjbXp P(¦ [\
8Ë;cliaS_hU1a^iR)VWgNeNacXsfghXQSVXUomN`bjb`xav-`bq g>R)QcR<eNfDVWXpn` UeNfc`bqNT"U =hq7`xaSXpn`6XQcXq>^iX-VXaS_NRNpi-_NX(R<Qc`bT)`bqhUoj
jbRnR)gq7Xfca `bf"fS_NR1-q`bq¡E`bT)eNQSX AN "e7XaSRj U)^S¢Rofcg>U)^iX!l>mNjbRw^S¢<XpU1q>p!mNjbRN^c¢<Xp^iR<gN`bXp!<XQcfS`xR<qNf
Roac_NXB¢<XQcq7XjU1QSXq7R)a `bjxjbeNfSacQiU1acXtp>ªqac_N`bf ¢)XsQcqNXjlaS_NXBpNU1aiUBQcXseNfcXW`xfVR<QcXjb`bV`bacXtpBac_>U1q,`xq¤ac_NX
V!U1acQS`ÛuM¬VBeNjÛac`bgNjbv% QSXeNfSXf ghXQ pNU1aiUR<qU1QcQiUtvnf-)u F7lnMvF7l? QcXeNfSXf ghXsQ9pNUoa2U `bqUoQcQ2UtvWghR
D
lNU1q>p
R<qNjbv%R)qNX!U)^^iXsfcfaSR¡XtU)^S_¨XjbXVWXqnaRo9U1QSQ2Utvnf`b<uDlD`bnvnl<uwq¶U1qhp nvMqED`b<uU1qhp `bMv%U1QSX`bqnacXT<XQ
L-×Åî)ÒÅcÒÈi×ÅÞ1×ÅcÒÅÐ1ßcÑsÍ1î)ßDÈiÐ)ÈdÊØçÒâÉØÒÎiÚß
Ý
Å(ÈsÒÒÅÇÍ1ÊØÅ×ÔcÎtÏ1Å(ÔcÎdÐ1×Ç"Òß
Ý
ÈßÎiÐ)Å(ÎdÚéß
Ý
ÉØÒ×Åî)ÒÅÉØÒDÔSÈiÞ)ßâî1×@ÅSÏ-Í1ç
×ÅcëiÉØÒßÅ×Ò
IJI
ÐKì Lôsô
!"$#!%&
'(
$
)
'(
$
'(
$
*$+,-
*$+,-
*$
.$/0$+
(
$$1$ 2,$,
./0$
.$/0,$+
(
$$132,$,
4
5./0,
"$# .$/0),6 ./0
'(
$
.$/$0$7
$
'(
$
'(
$
'(
$
'(
$
*$+,-
*$+,-
8,$0$$+ (
*$$1$ 2,$,
8,$0$$+
(
*$$132,$,
#$9$,8,$$0
,-"8$,$$0
#: 8,$0$ 78,$0;
'(
$
'(
$
*$
8,$0$$+
(
*$$132,$,
<$= 8,$$0 )4 78,$0
'(
$
.$/0$+
(
7$1 ,,
- = ./0
.$/0$,$+
(
>1+,$,
-
=
-
=$<=
)5./0,)"
#$9$,.$/0 ,-$"./0$,
'(
$
.$/0-
=
'(
$
'(
$
'(
$
'(
$
3@UB5 3m 5 3@^ 5
E`bT)eNQSX J3@U5 Qc`bT<`xq>U1jDV!U1aSQc`Ûun¬@V!UtacQc`ÛuVBeNjbaS`xg7jx` ^Uoac`bR1qDl*3m 5mNjbRw^S¢<Xp!VUoacQS`Øun¬VUoacQc`ÛuBVBeNjbac`bgNjb` ^Ut¬
aS`xR<qDl*3@^5-mNjbRN^S¢)XpWVUoacQS`Øun¬VU1aSQc`ÛuVBeNjbac`bgNjb` ^Uoac`ØR<q-`baS_©^dR)gN`bXf
QS`xT<`bqhU1j jbRw^S¢<Xp j |R
7hRnU1ac`bqNT g>R)`bqnaQSXi YA?o FFB< YA?1FFB< B9?)<19
pNU1aiUQSXi BA<B?1MB< B<1 <B<A< <) A7Y)Y9
`bqNfSacQce>^iac`bR)q7f 9B?<B?1hYt 9B9NY)Y?NYt <<<NY9) B9
` pnXUojDXiuNX^ie7ac`bR)q!ac`bVWX >Y%A<9AB? >Y%91<)A A1 <<)7Y
(U1mNjbX9 N|_hU1QiU)^iaSXQc`bfSac` ^if"R<q!ac_NXpn`6XQcXqna ;MU<^iR)m7`D)XsQcfc`bR<qNf
UoQcQ2UtvnftDn`bqh^iX ac_NXsQcXU1QSX 7hRnU1aS`xq7Tg>R)`bqna"R)Q2pwf9R<Q <B`bqnacXT<XQ R<Q2pnf g>XQ^U<^c_7XBmNjbRw^S¢l>ac_NX =hQSfca
QSXiXQSXqh^iXBVW`xfSfcXfR)q!aS_NXfcXfcX<Xq¡U1QSQ2Utvnf-QcXsgNQcXfSXqna@?)A DB 2 A
DB 2
B H A
D)B 2 A DB2
C
Y%AB?FFV`bfcfSXf
jbRN^c¢n`bqNTWac_NX jbRMR<g¡pnRnXf qNR<a9`bqhpweh^iXBU1qnv!XiuNacQ2UWQSXiXQSXqh^iXWacR!ac_NXBU1QSQ2Utvnfl>aS_N`bf9Xduwg7j¥Uo`bqNf"-_nv
aS_NX / 'B& '(,R<QIaS_NX-R)QS`bT)`bqhU1j<jbRMR<gU1q>p R<Qac_NX-mNjbRN^S¢)XpjbRnR)gBU1QcX`bqaS_NX-f2UoVX(QiU1qNT<X)
ªq¤acXQSVf R1yUoQcQiUtv©U<^^iXfSfcXftlac_NX XiuNacQiU!^iR)fSaR1y^dR)gnvn`xq7T`bf"_neNT<X)>-_NXBac_NQSXXBU1QcQiUtvnf9<u FNlnvF
Uoqhpg>R _hUt)XacRmhX"^dR)gN`bXpT)Xq7XQ2Uoac`bqNTF< "?B<-XiuNaSQ2U QSXiXQSXqh^iXfR)q 7hRnU1ac`bqNT pNU1aiUtVR<QcX(aS_hU1q R)q7X
aS_N`bQ2p¤R1aS_NX>7hRMUoac`bqNTo¬@g>R)`bqna"pNU1aiUBQSXiXQSXqh^iXfUoQcXBpnR)q7X-_N`bjbXB^iR)gnvn`bqNT3D>PIUoQ2U<pnRtuN`¥^sU1jbjbvMlnaS_NXBacR<a2U1j
qneNVBm>XQ"Ro(VXVWR)QcvBQSXiXQSXqh^iXsf`bqaS_NQcXX )XsQcfc`bR<qNf R1(ac_NXBU1jbT<R)Qc`baS_NV 3a2UomNjbX5U1QcX`xq¤ac_NX f2UoVX
QiU1qNT<X-mhX^sU1eNfSX-ac_NXABA"^iR<VgN`bjbXQT<XqNXQiU1acXsffS`ØuQSXiXQSXqh^iXf-aSR f2^Uoj¥UoQcfeNfSXpR)Q(U<pNpnQcXsfcf(T<XqNXQiU1ac`bR<q
`bq!ac_NX R<Qc`bT)`bqhUojéUoqhpWac_NXm7jxRN^S¢)XtpU1jbT<R)Qc`baS_NVf(`bqhpweh^i`bqNT9A1< FBFXiuNaSQ2U VXsVR)QSvQcXdXQcXsqh^iXft
í87 I íð
Qc`bT)`bqhUoj jxRN^S¢)Xtp (jbRN^S¢)Xp |R<gnv
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 338335, max = 1294849, mean = 564610)
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size
(min = 130375, max = 1404633, mean = 257514)
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 118543, max = 154306, mean = 133458)
&G\
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 270075, max = 1289899, mean = 461050)
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 69193, max = 1397133, mean = 176932)
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 51979, max = 143304, mean = 76792)
G\
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 262723, max = 1279999, mean = 373971)
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 46892, max = 1391693, mean = 126328)
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 37615, max = 137882, mean = 55602)
G
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 323091, max = 775357, mean = 406176)
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 79323, max = 430778, mean = 118420)
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 46821, max = 111209, mean = 63436)
BG
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 288171, max = 448446, mean = 306152)
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 49814, max = 154320, mean = 62005)
0 200000 400000 600000 800000 1e+06
100 150 200 250 300 350 400 450 500 550
misses
leading size (min = 35232, max = 52830, mean = 44388)
E`bT)eNQSX¨ "¤U1acQS`ÛuM¬VUoacQS`Øu«VBeNjbaS`xg7jxv< 9 fSa2Uoqhpnf!R<Q`bQcX^ia,U1gNg>Xpl &G¤\ R)Q¡-Utv«fcXa·¬
UofcfcRN^i` Uoac`b)XB^U)^S_NX<lDBG\ R)Q !yUtv!fSXa¬cU1fSfcRN^i` U1aS`x<X^U)^S_NX<lIG WR<QW-Utv!fc¢)XsXpM¬·UofcfcRN^i` Uoac`b)X
^U<^S_NX)l>G R)Q- -UtvBfc¢)XsXpM¬·UofcfcRN^i` Uoac`b)X^sU)^S_NX)
IJI
ÐKì Lôsô