HAL Id: inria-00074412
https://hal.inria.fr/inria-00074412
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
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
Subtyping with union types, intersection types and recursive types II
Flemming Damm
To cite this version:
Flemming Damm. Subtyping with union types, intersection types and recursive types II. [Research Report] RR-2259, INRIA. 1994. �inria-00074412�
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
Subtyping with Union Types, Intersection Types and Recursive Types II
Flemming Damm
N˚ 2259
May 1994
PROGRAMME 2
Calcul symbolique, programmation et g´enie logiciel
45!,6(' * 7890! 2$'$
:<;>=@?A?CBED%FHGIJ?K?ML
N%OQPSRTOVUWXWZY\[6]_^#U`badce`gfih@WkjlPS`nmboScJYSpqeOQPSRSOdUWXWUrQmnPstYr<R'uYsJmvY!`nPSRTmbadmnY`
N%OQPwdYr!xyUslz@Y
{\U|qeqlPSOir\z}Y)OQYaQ~eYOdai~JYts@[S[TS]_U h S]_[S&qlURSYf
T#~emnfqU|qYOmnftUEPS`n`nPcJqPSsqeOiYmnPTcefPSOij@hri~JYUcJri~ePTO)PTsficejJrhqJmvsJR#mnrQ~
fiYrrQ~eYPSOQYrimba 6cesemnPSsypJmnsrQYOifQYadrQmvPTs¡U|szOQYadceOQfimnSY&rh@qYf ¢)NOiY@mnPScefQ`nhpJmvr##Uf<fi~eP#s£~eP¤rh@qlYf
WU hZjlYYsadPez@Y zUf\OQYRScJ`¥U|O\rQOiYY&Yd¦eqeOiYfifimnPTsefV§|fiYrkadPSsJfiriOdUmns@rif ¢\#~emnf<RU SY!OQmvfQYtrQPUfiPScJszUslz
adPTWZqe`nYrQY\z@YadmnfQmvPTsZqeOQPeadYz@ceOQY<EPSO'rh@qlY\mnsad`ncefQmnPSsy¢g#~eY\OQYficJ`vr#UfpT~ePYSYOpT`vmnWXmvrQYzriPtU!OdUrQ~eYO
fQqYa¨mª©arh@qlY)`bU|seRScU|RSYS¢
«s£ri~eY&.PTOiOiYqPTOiriY zPTs~eYOQYSpYtRTYseYOdU`nmn¬YtrQ~eYOQYfice`nrUslzz@YTY`nPSqUkRSYseYOVU|`%riYaQ~esemboTceY
EPTO\z@YOQmv@mnseRkfQcejerh@qemnseRkU`nRSPTOimnri~eWXf%EPTO#rhqlY!`bUseRTcURTYf##mnri~ZcJsemnPSsyp@mns@riYOQfiYa¨rimnPSsHU|szXOiYa¨ceOifQmvTY
rh@qlYf¢®YqeOiYfQYs@rfiYqUOdUriYOQYoTcemnOiYWXYs@rifXEPTOPTjerVU|mnsemnseR¯UCficejerh@qemnseRKU`nRSPTOimnri~JW°#~embaQ~±mvf
OQYfiqlYadrQmvTY`nhZfQPSceszXUszka¨PSWZqJ`vYriYS¢g«sZrQ~emnf'²U h&Y\PSjJrVUmnskURTYseYOQmba#firQOVU|riYRTh&EPSO'mnWXqe`nYWZYs@rQmvsJR
rQ~eYficJjerh@qYOQY`bUrQmvPTskEPTO\UjJOiPUTzad`bUfif#P|'SYOQhZYd¦eqeOQYfifQmvTYrh@qY`¥U|seRSclURSYf¢
³X´@µ¶i·¸lS¹%!hqlY'rQ~eYPSOQhp{-YRSce`bU|OriOiYY.Yd¦eqeOQYfifQmnPSsef pº@Yr+adPTsefirQOVUmns@rif p»\`nRTPSOimnrQ~eWZf pº@YWU|s@rimbadfp
«iz@Y U`yWXPez@Y`pS«s@rQYOifQYadrimnPTsrh@qYf p¼#semnPSsXrh@qYf p{-YadceOQfimnSYrh@qlYf
½b¾k¿
ÀÁÂÃ
¿
ÀÄ+ÅnÁÆÇdÈ
ÉlÊSË%ÌdÍSÎbÊSϨÐѪÒÔÓSÌdÐÎÕѪÌdÖ×ÖªØ%ÙÚÍÛSÜËiÜ*ÝÞØ#̨Û)ß+àlá±ÙnËÖ×ÖªÏdâÒÕÊÑ×Óeã
äiå
ÖªËæ#æ#Ñ×ÛSç|ãè+̨æ.æ\éÔÑ×ÐEѪÒ>ÌãÙ×Ð
Unit´e de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France)
(!,!(* '
´} ´± ^YrZUOirQmbad`nYZqlPSceOQficemnrk`nYf&OiYaQ~eYOdaQ~eYfz@Y`U|ceriYceOtfQceOk`mvslad`ncefimnPSs¯z}Yrh@qlYfZU SY a
cesJmvPTs
YsJfiYWkje`nmnfirQY pTmns@riYOQfiYadrQmnPSsZYr.OeuYadceOQfimnPSsy¢@«`UuYreuY\WXPSs@riOeuY²U|ceqUOdUOdUs@r.adPTWZWZYsrg`nYf.rh@qlYf
qlPSceSU|mnYs@rYriOQY!OiYqeOeuYfiYsreuYf!qUO#z@Yf#Y¨¦}qJOiYfQfimnPSsef\zU|OijeOQYfOeuYRTce`nmYOiYf
adPSs@riOdUmns@riYf#zYsefQYWkje`nYfd ¢
^Ya¨myU)z}PSses#uY#`nmnYcU<ceseY<qeOiPealuY z@ceOiYz@Y\zuYadmnfimnPSsZa¨PSOiOQYadrQY)Yr.adPSWXqe`YriY#qlPScJO'`mnsa¨`vcJfimnPSstz}Y#rhqlYf ¢
^YqlYszJUs@rpl`nY!OeuYfQce`nrVUruYrVUmnr#OQYfirQOiYmns@rU&ces`bUsJRURTY)z@Y!rh@qlYtUfQfiY¬fQq#uYadmÚ© oTceYT¢
!U|sef\`nY&riOVU SU|mn`yqeOeuYfiYs@reuYZmbadmplsePScef!R'uYs#uYOdU`nmnfiPSsJf)`nY&OeuYfQce`nrVU|rYrzuYTY`nPSqeqlPSsefceseY&riYaQ~esemboTceY
R'uYs#uYOdU`nYtqlPScJO\z.uYOimnTYOz@Yf)U|`nRSPSOQmnri~eWXYf²zmnsa¨`vcJfimnPSsz@Yrh@qYf\qlPSceO!z@Yf\`bU|seRU|RSYf\z@YrhqlYfU SY a
cesJmvPTsypmns@riYOifiY adrimnPSs&Yr%OeuY adceOifQmnPSsy¢#PTcefyqJOeuYfQYs@riPSsJf'ceseY'`nmnfirQY.z@Y#adPSslz@mnrimnPSsefOQYoTcemnfiYf*qPTceOyPTjeriYsJmvO
cesU`nRSPTOimnri~JWZY#zmvslad`ncefimnPSsZz}Y\rh@qYf\adPSOQOiYadr#Yr\adPSWXqe`nYr¢<Y!adYrirQY!WUsJmYOiYSpTsePScJf.PTjeriYsJPSsefceseY
fQriOVU|reuYRTmnY#R'uYs#uYOimboTceY.qlPScJOymnWZqe` uYWXYs@riYO`bUOQY`bUrimnPTstzmnsad`ncefimnPTs6z}Y.rh@qlYf%qPTceO%ceseY#ad`bUfifQYZuYriYsz}ceY
z@Y`¥U|seRU|RSYf#z@Y!rh@qYf\riOYf\Y¨¦}qJOiYfQfimÚEf¢
±¸lÞ¶V! " ´ 2#~²uYPSOQmnYz@Yf&rh@qYfp$#g¦eqeOQYfifQmvPTsefZz×UOQjeOiYfkOeuYRTce`nmYOiYf p'^PSs@riOdUmns@riYfkzYsefQYWkje`nYfp
»<`vRTPSOQmvrQ~eWZYTpºuYWUs@rQm¥oTceYfp@«izuYU|c@¦yp@«s@riYOQfiYadrQmnPSsz@Y!rhqlYf p¼#sJmvPTsz@Y!rhqlYf pehqlYf<OeuYadcJOifimÚEf
6 $t'('X3,#
7897 :<;>=?A@B=?9;C
h@qY&fih@firQYWZf<qe`bU hU|smnsadOiY UfimnseRT`nhmnWXqPTOirVU|s@r.OQPS`nYmnsri~JYtz@YfQmvRTsHP|'qeOiPTRSOVU|WZWXmvsJR)`bU|seRScU|RSYf
U|ftY`n`.Uf&mnsri~eYXmnWZqe`nYWXYs@rVUrQmªPTsP\adPSWXqemn`nYOif ¢.h@qlYZfQhfQriYWXf~U TYSpyYT¢Rl¢npjYYsKficaa¨YfifEce`n`nh
U|qeqe`nmnYz&mnsZz@YfVa¨OimnqerimnPTskP+U!jeOQPUTzkad`bUfif*firVU|rimba\U|sU`nh@fiYf'ficaQ~Uf'fQriOimbadrQseYfQf)UslU`nh@fimnf'Usz&rdURSRTmnseR
PTqerimnWZmn¬U|rimnPSsg¢
D<ceO#PSOQkmnf#WZPSrQmnSUriY z&jhkrQ~eYz@YfQmvOQYriPkWUTY#cefiYP|+rQ~eY!Yd¦eqeOiYfQfimnSYseYfif!P|
fiYrrQ~eYPTOiYrQm¥a
cesJmvPTsypmns@riYOQfiYa¨rimnPSs¯U|szOQYadceOQfimnSYXrh@qYf ¢y ~emn`vY&OiY adceOifQmnSYZrh@qlYftU|OiYkmnsadPTOiqlPSOVU|riYzmns@riPWUs@h
WXP}z}YOisXqeOiPTRSOVU|WZWXmvsJR\`bUseRTcURTYfpTcesemnPTsUslzkmns@riYOQfiYadrQmnPSsrh@qYf#~lU SY\rQPkri~eY!rQ~eY\@seP#`nYz@RTY\P|
rQ~eYtUcJri~ePTO#PSse`nhkjlYYsHU|qeqe`nmnYzkmnsU!>Y¤Y¨¦}qlYOQmvWXYs@rVU|``¥U|seRSclURSYf¢
EJOiPTW Uka¨PSsadYqericU|`'qlPSmns@r#P'@mvYpeficJjerh@qemnseRZmnf)U&slUricJOVU`gqUOQr\P|.rh@qYfQh@firiYWZf\mnsa¨`vclz@mnseR
fQcaQ~AadPTsefirQOicadrQf¢GF#PYSYO pyrQ~eYZqJOVUSa¨rimbaU`qeOQPSje`nYWXf)OQY`bUrQYz#mnri~ri~JYfiYadPTsefirQOicadrQfZUOQYZWU|s@h¢
%P!OiY`bU|riY#rh@qYf.qeOQPSqlYOi`nh@pri~JYOiY\U|OiY#s@ceWkjlYO%PyUfifQPeadmbUrimn@mnrhpadPTWZWkcerdUrQmv@mÚrh)Uslztz@mnfQriOimnjecJrimn@mvrh
OQce`nYf\#~embaQ~WkcefirjlY)PTjefiYOiSY zIH)U|W|U9Ji¢@#~eY!rPkYoTcU`nmnrimnYf
KML
KONPK$Q SR
K>LTKON P
K>LTK$Q
KONUK$Q
LTK
R
K3N0LTK P
K$QLTK
U|OiY&Yd¦UWZqJ`vYf\PficaQ~Oice`nYf ¢#F#YOQYSprQ~eYkrh@qY
K N LVK Q
z@YsePTriYfri~eY&fiYr!P|'Ecesa¨rimnPSsef!#~embaQ~WUq
U|`v`gSU`nceYf#P|'rhqlY
K N
mvs@rQPkSU`nceYf#P|rh@qlY
K Q pU|sz
U
Usz
P
z@YsJPSriY&OiYfiqlYadrimnTY`nhri~eYcesemnPSsUslz
mns@riYOQfiYa¨rimnPSsPTqYOVUrQPSO<PSsZrh@qlYf¢
«s¯UTzez@mnrimnPTsriPcJsemnPSsypmns@riYOifiY adrimnPSsKUsz£OiY adceOifQmnSYrh@qYfri~eYXrhqlYk`bUseRTcURTY8a¨PSsefQm¥z}YOiYz mns
H!UWUWJ adPSs@rdUmnsef>X U|rpjlUfimbarh@qlYfpTqeOiPez@cladr.rh@qlYf.U|szEcesa¨rimnPSs&rh@qYf ¢S#~JY#.PTOikz@YWZPTsefirQOVUÞ
rQYzX~eP rh@qYf#WU hjlY\YsladPez@YzU|f.OQYRSce`bU|O.rQOiYY!Yd¦eqeOQYfifQmvPTsefV§|fiYr!adPSsJfiriOdUmns@rif ¢e#~eY<jUfQm¥a-mbz@YUmvf
rQ~Ur%rh@qYfz}YsePSrQY.fQriOQcadricJOVU`n`nh!fimnWZmn`bUOlSU`nceYfpU|sz!#mnri~&UstU|qeqeOiPTqeOimbU|riY'OQYqeOiYfiYs@rVU|rimnPSskP|eri~eYfQY
fQriOicladriceOQYfp*rh@qYfWU hZjlYkYsa¨P}z}YzUf!OiYRSce`bUOriOiYYkYd¦eqeOiYfQfimnPSsJf¢%º@mnsadYkri~JYkmvslad`ncefimnPSs£qeOiPTje`nYW
EPTO.OQYRScJ`¥U|O#riOQYYYd¦eqeOQYfifQmvPTsef\mnf#z@YadmbzeU|je`nYSp@ri~Jmvf#WUTYf'ceqri~JY)jlUfimnfP'Utz@Y admnfimnPSsqeOQP}a¨Yz@ceOQY!EPSO
rQ~eYkficejJrhqlYkOiY`¥U|rimnPSsg¢YEJPSO<ri~eYkrh@qlYt`bU|seRScU|RSYta¨PSsefQm¥z}YOiYzU|sz£mvrQf!YsadPez@mnseRlpmnr\mnf!qeOiPTYzrQ~Ur
rQ~emnf6z}YadmnfimnPSsqeOQP}a¨Yz@ceOQYZmnf!jPTri~fiPScJszHU|szadPTWZqe`nYrQY#mnri~OiYfQqY adrtrQPri~eY&mbz@YU`%fQYWU|srQmbadf\P|
rh@qlYf¢
F-P.YSYO p'WZPTfirkP|6rQ~eYqeOQP@PEfUOiY£rimnRS~@ri`nhjlPSceslzKriPrQ~eYHfQqY admÚ© a`bU|seRScU|RSYXcesz@YOadPTsefimÚ
z@YOVUrQmnPSsy¢%«rkmnf&seYmnri~eYOad`nYU|Ok~eP ri~JYOQYficJ`vrQfZfQ~ePSce`bz jYRSYseYOVU|`nmv¬Yzp'sJPSOk#~eYrQ~eYOkrQ~eYhAU|OiY
RTYseYOdU`nmn¬Uje`nYS¢e¼-s@EPTOiricJsUrQY`nhpTri~eY!`bUsJRScU|RSY\adPTsefimbz@YOQYzU|szkmnriffiYWUs@rQm¥a¨f.fQcejeficJWZY\fQPSWXY\SYOih
UTz@SYOQfiY#`nmnWZmnrVU|rimÚPSsef ¢VPTfir%adOica¨m¥U|`@mvf%UstU|fifQceWZqerQmnPSs!ri~U|r+U|`v`Trh@qYf'z@YsePSrQY.mns@©sJmvrQY'fiYrif%PSU|`nceYf¢
»<f%mvf%cefQcU`J#~eYs&qeOiP@mnseR)a¨PSWZqJ`vYriYseYfif'OQYfice`nrQfpSU<SYOihqeOQYadmnfiY!z@YWUOVaUrimnPTs)P| rQ~eYqeOiPTje`nYW
mnf'seY adYfifdUOQh¢@º@mnsadY©sJmvrQY#rh@qYf*PSjlYhtTYOih&fiqlYadmbU|`eficejJrhqJmvsJROice`nYf pmnr'adPSWXYf'Uf'seP!fQceOiqeOQmnfiY\rQ~Ur
rh@qlYf#Wkcefir*jYUfQficeWXYzkmns@©lsemnriY\mnskPTOVz@YO#rQPtqJOiPSY!adPSWXqe`nYriYseYfif ¢¼-s@EPSOQriceslUriY`vh@pTri~eY<qeOiP@P>f.P|
OQYfiqlYadrQmvTY`nhfiPTcesz@seYfiftU|szHa¨PSWZqJ`vYriYseYfifUOQYt`nmnseSY zfQPad`nPSfQY`nhriPTRSYrQ~eYOrQ~Ur!rQ~eYtfQPSceslz@seYfQf
OQYfice`nr<OiY`nmnYf#PSsrQ~eYfVU|WZY<`vmnWXmvrdUrQmªPSsJf¢
78 =
«srQ~emnf\qU|qYO)YOQYadPSsJfimbz@YO!ri~JYtfQcejerh@qemnseRkqeOQPSje`nYW¢@#~eYjU|fimba!mbz@YU|f)UOQYtrQ~eYfdUWZYU|f\mnsri~eY
©OQfir#qU|qYO¢T#~eY\WUmnsOiYfice`nrmvf#U!RTYseYOQm¥a-riYaQ~esJm¥oTceY-EPSO*mvWXqe`nYWZYsrQmnseR#ri~eY<ficejJrhqlY\OQY`bUrQmvPTs&EPSO
U&jeOQPUTzZad`bUfQf#Pyrh@qlY)`bU|seRScU|RSYf ¢@Y)z@Y z@cadYfQcaadmnsa¨r\OiY oScJmvOQYWZYsrQf'>PSOri~eYYsadPez@mnseR&P+rh@qlYf
mns@riPOiYRSce`bUO<riOQYYZYd¦eqeOQYfifQmnPSsef ¢*hOiY USz@mnseRXri~eYfQYZOQYoTcemnOiYWXYs@rifUfUkRTcembz@Y`nmnseYEPSO!z@Yd©semnseRU|s
YsladPez@mnseRZP|+rh@qYfpU&RTYseYOdU`griYaQ~esemboTceYmnfPSjerdUmnseYzÔ¢
h@qY!adPSsJfiriOQcadrQmvPTsef#riP#~embai~kPTceOriYaQ~esemboTceYUqJqe`nmvYfpmnsad`ncz}Y\firQOimbadr\U|f'.Y`v`Uf`bU¬h&qeOQP}z}cadr
U|szEcesadrQmnPSsrh@qYf peOQYadPSOdzrh@qYfpU|szXrh@qYf!aUOQOih@mnseRZadPTsrQOiPT`XP¤mns@>PSOiWUrQmvPTsy¢
»<fHUKj@h@qeOiPez@cladrHY~U TY¯UKfiYqlUOVU|riYKfiPTcesz@sJYfifqeOiP@P|kEPSOrQ~eY¯YsadPez@mnseR qeOQYfiYsrQYz mns
H!UWUWJ¢*#~emnfZqeOQP@PmnfZ`nmnjYOdUrQYzCEOQPSW ri~eYHU|fifQceWZqerQmnPSsefkrQ~UrZU|`v`<rh@qYfWkcefQrtjlYmvs}©semnriYS¢
#~@cef p'>PSOZrQ~eYHadPTsefimbz@YOiYz fVU|WZqe`nY`bUseRTcURTY#mnrQ~KEcesa¨rimnPSsKrh@qYfpqeOiPez@cladrrhqlYfUslzKjUfQmba
rh@qlYfpY&~U SYtUfiPTcesz£ficejerh@qemnseRU`nRSPTOimnri~JW #~embaQ~Hmnf)U|`nfiPa¨PSWZqJ`vYriY!#~eYsz@mnfiOQYRU|OVz@mnseRXri~eY
OQce`nYf)U|qeqe`nh@mvsJRfiqlYadmÚ© ad`nhriP&©lsemnriY!rh@qYf ¢
#~JY)OQYficJ`vrQf)adPTsefirQmnricerQYri~eY<EPTceszeU|rimnPSsEPSO#U6EceOirQ~eYO<RSYseYOVU`nmn¬U|rimnPSsXriPZUriYaQ~esemboTceY!>PSOfiPS`Ú
@mnseR\rh@qlY'mnsad`ncefQmvPTstadPTsefirQOVUmns@rif] ri~eY.a¨PSOiYPlWUs@h#rh@qlY'mns@EYOQYsadY#fQhfQriYWXf¢ #~emnfRSYseYOVU|`nmv¬ UrimnPTs
mnf#ri~JYriPTqemba#P.U6EPSOQri~a¨PSWZmnseRqUqlYO+H!UWTjOJ¢
78 %B= "! ;$#%
«s@riYOifiY adrimnPSs rhqlYfk~U TYZjlYYs fQricz}mvY z¯mns@riYsefimnSY`vhmns¯adPTseseYa¨rimnPSsK#mnri~Cri~eYmns@riYOQfiYadrQmnPSsKrh@qY
z@mnfdadmnqe`nmvsJY HF-mnsS['JipjecJr'ri~emnf'rh@qlY\fQhfQriYW ~Uf'sJYmnri~eYOcesemnPTskrhqlYfsePSO*OiYadcJOifimnTY)rh@qlYf¢T»\WUSz@mnP
U|sz^#UOVz}Y`n`vmH»\^#J9Jyfiriclz@mnYzficJjerh@qemnseRtP|'OiYadcJOifimnTYrh@qYf ¢F-P.YTYOpJri~eYmvO#rQYaQ~esemboTceYf!z@PksePSr
fQYYW riP<jY#Uje`nY'rQPUSaadPTces@rEPTO%cesemnPSsUslzmns@riYOQfiYa¨rimnPSs&rh@qYf ¢Smnfi~JOVU\U|sz&{#Yzez}h H×{'&S'Jip^EJOiYYd
WUsU|szZN+EYsesemnseR HE%N'J9JpeU|sz^#UOQr#OimnRS~@r#Usz ElURU|s H×^ E%e9J+U|`v`yz}Yd©seYz rhqlY!fih@firQYWZf##mnrQ~
cesJmvPTsyp@mns@riYOQfiYadrQmnPSsUszXOiY adceOifQmnSYrh@qlYf¢#PTseY!P'ri~JYW z}m¥zÔp@~eP.YSYO padPTsefimbz@YO<ri~eYficejerh@qemnseR
qeOQPSje`nYW®mnsZmnrif>ce`n`RSYseYOVU`nmnrh@¢
#~JYZPSOij@h»\mnSYsAUslz mnWZWkYOif H»y¤T'J)adPSWXYfSYOih¯ad`nPSfQYriPPTceOif ¢%#~eYh¯adPTsefimbz@YOZU
rh@qlY\`bUseRTcURTY.fQmnWZmn`bUOriPPSceOQfp@Usz&rQ~eYmnO'PSOi&mnf'U`nfiPjlUfiY z&PSsZU!OQY`bUrimnPTstP| rh@qlYf²U|sz&OiYRSce`bUO
rQOiYYYd¦eqeOQYfifQmnPSsef ¢#«sCUSadrXri~eYh¤adPSsJfimbz@YOUWZPTOiYRSYseYOVU|`!qeOiPTje`nYW)(%RTmvTYs¤UfQYrPtmnsad`ncefQmnPSs
adPTsefirQOVU|mvs@rQfp%z@P@Yfri~JYOiYXYd¦emvfQriftUXfQcejefirQmnricerQmvPTsEPSO!rQ~eY&EOiYYkSUOimbU|je`nYf!ficaQ~ri~lUr!ri~eYkmnsa¨`vcJfimnPSsef
U|OiYZSU|`nm¥zÔ¢YF-P.YSYO pyrQ~eYZceslz@YOi`nh@mnseRficejJrhqJmvsJRHU`nRSPTOimnri~JW mnffirQOimbadrQ`vhYUTYOtrQ~UsPTceOiffimnsadY
OQPSceRT~ U|qeqeOQP ¦}mnWUrimnPTsef'UOiYmvs@rQOiPez@cadY zZmnsadPTseseYadrQmnPSs#mnri~adPSs@rQOVU SUOQmbUs@r'>cesadrQmvPTsZrh@qlYf¢
78* +I@,#@5?-.
»Kfi~JPSOir%mns@riOQP}z}cadrimnPTsriP<WZYrQOimba%fiqlUSadYf%mnf%RSmnSYs)mnstº}YadrimnPTs8[-#~eYOiYY²U|`vfQP\PTceri`nmnseY'~ePU<WZYrQOimba
fQqUSadYkP|.ficJjefiYrQftP|²UXRSmnSYsfiYrWU hZjlYkz@Yd©seY z¢#~emnf!mnf)rQ~eYkadPSOQYkP.jlPSrQ~HrQ~eYtmns@riYOiqeOQYrVU|rimnPSs
P|.OiYRTce`bUO!riOQYYkYd¦eqeOQYfifQmvPTsef#~embaQ~YtqJOiYfQYs@rmnsHº@YadrQmnPSsepUsz£ri~JYtmbz@YU|`%WZPez@Y`gP.rh@qlYf¢»
fQWU`n`rh@qlYt`bUsJRScU|RSY!#mnri~EcJsadrimnPTsrh@qYfU|szXqeOiPez@ca¨r)rh@qlYf!mnf\qeOQYfiYs@rQYzmnsº@YadrQmnPSs¢e#~Jmvf
`bUsJRScU|RSY\mnfYoTcemnSU`nYs@rriP&ri~U|r.P|/H!UW|U9Jip@UszXfQYOiTYf)U|f²U|sZYd¦UWXqe`nY#PSs~eP PTceOriYaQ~esemboTceY
WU hjY\U|qeqe`nmnYz¢Sº}YadrimnPTs!mnf'rQ~eY)adPTOiseYOifirQPSseY!P| rQ~eY\Yd¦eqlPSfQmvrQmnPSsy¢ F-YOiY!Y#fi~ePK~ePKrh@qlYf.WU h
jlY#YsadPez@Y zZUf*OiYRTce`bUO%riOQYY\Yd¦eqeOQYfifQmnPSsef p@qeOiYfQYs@r.fQcaadmnsa¨r.OQYoTcemnOiYWXYs@rif%EPTO%ri~eY#YsladPez@mnseR!Pri~eY
jU|fimba*rhqlY\adPTsefirQOicadrQPSOQfp@UszRSmnSYRSYseYOimba*fiPTcesz@seYfif#Usz&adPSWXqe`nYriYseYfif%qeOQP@PEf ¢«s8º}YadrimnPTs<Y
fQ~ePSOQri`nhtz@YWXPSsefQriOdUriY~ePfQPSWZY%PTri~eYO*rhqlY`¥U|seRSclURSYfyWU h#jlY#UqeqeOQPUTai~JYz&cefimnseR<PSceOgriYaQ~esJm¥oTceYT¢
<'( , X1,\!
#~eYkrQ~eYPTOihP.WXYriOQm¥afiqlUSadYfmvf!PTseYkP.WXPSOQYri~eYPSOimnYf#~embai~qJOiP@mbz@YWU|ri~eYWUrQmbaU`WXYri~ePez@f
EPTOtRTmnmnseRfQYWU|srQmbadfriP£OiYadcJOifimnTYHz@Yd©sJmvrQmnPSsef pym¢YS¢rQ~eYri~eYPTOihmnftU ©e¦eYzqlPSmns@rrQ~eYPSOQh¢%º@PTWZY
P|.ri~eYkUSz}SUs@rVU|RSYf\U|fifiPeadmbU|riYz£#mnri~WXYriOQm¥a<fQqUSadYftUOQYri~U|r#©e¦eYz£qlPSmns@rif)U|OiYcJsemboScJYSpUszrQ~Ur
rQ~eY!ri~eYPTOihZU|`v`nP#fgEPTO%©sz@mnseR6©e¦eYzXqPTmvs@rQf'PysePTs@WZPSsJPSriPTsembagEcesladrimnPSsJf¢@#~eY<`¥U|rirQYO.qJOiPSqlYOQrhkmvf
adOQcadmbU`ÔEPSO#rQ~eY!fiYWUs@rimbadf#P|+rh@qlYf\qeOQYfiYsrQYz£mvsº@YadrQmnPSs¢
X´ > E¸ ±´@ Z%´e WZYrQOimba#fQqUSadY
!
+*. ^
% $& ) *WZYrQOimba
(
#"$
L
&% ('^(G%.).(W , *)
+ , J.-/!0
R21 3 - R 0
+
, J.-/!0
R J.04!-
+
2, J.-/!5
6 J.-/!0
87 J.04!5
+
A&$* &W '&9,
» fiYoTceYsladY;:=<*>@?A>CBEDP\Y`nYWXYs@rifP|)UWXYriOQmba
.@
6mvf&aU`n`nYz¯UGF\*( ^@H''(XmÚ#EPSO
YTYOihJIK?L1&rQ~eYOiYkY¨¦}mnfQrifUsNMficlai~ri~lUr#>PSO)U|`n`PO
@QSR
M%p J
<9T
<U V6WI@¢e» fiY oScJYsadY:=<>X?=>CB8D
P|Y`vYWZYs@rif#mnf\aU|`n`vY z (1'&A $<mª%ri~eYOiYYd¦emnfirQf)U&`nmnWZmnr <ZY
P'ri~JY)fQYoTceYsa¨YS¢#~U|r#mvf p@RSmnSYs
U|shKIS?G1Jp@ri~eYOiY!Yd¦emnfirif!UsMficaQ~ri~lUrEPTO²U|`v`[O
R
M%p J
<T
< \6]I¢@»±WZYriOimba-fiqUTadYmnf ( 5
mÚ+YSYOQh ^#U|caQ~@hZfiY oScJYsadY&mnf\adPSs@SYOiRSYsr ¢
»±WU|qeqemnseR_^ (
.@
L
`K!a
*jYrYYsrPtWXYriOQm¥a-fiqUTadYf<mvf (A&W* (A1!mÚ+rQ~eYOQYYd¦emnfirif\U
adPTsefirdUs@rcbd:0!ficaQ~ri~U|rEPSO\U|`n`
-/!0
Y p
a|
^
.-
^
.0
Q Z6eb J-f@0
#~eYRSYseYOVU`nmn¬U|rimnPSsXriPgMJiUOih&>cesadrQmvPTsef#OiY oScJmvOQYf
a
^
-
N
¢ ¢ ¢
@-4h
^
.-4i
N
¢ ¢¢
@-jih
\62b\WU ¦jk e-
>
!-4i
>
fl9m/6GM/n
»®WU|qeqemnseRmnf [oWqpW * $1mÚ\rQ~emnftOQYoTcemnOiYWXYs@rt~ePT`bz@f!EPTOb$6 S¢g#~eYsr * * (gtup W,
)& firdUriYf\ri~lUr\adPTsrQOVUTadrimnSY<EcJsadrimnPTsef#~U SY!cesJm¥oTceY<©e¦eYzXqlPSmns@rif (
vZw%´@¸l´"x@y4+lwz "{
!
+* [oW5 ( 5 A&$( A * (+* ,|^ (
!
L
!
( &* (213!)'^ *O +*40 }H$\tup ,
!
~50 utup W, 5 +
{ KF\* ( ^@H$'(Z:c^
>
.-
D q?>CB8D >'&W
- D * * &^'&*&$
~
EJPSO\adPTWZqlPSfQmvrQmnPSskP'adPSs@rQOVUSa¨rimnSYtU|szksJPSs@Yd¦eqUsJfimnSY!WU|qeqemnseRTf'.Y!~U TY (
*´ ^(
N "
¢ ¢ ¢
"Sh
L ` * , > (
L > 4*&^'A&W*&' * 2^ *~ #&.)
( O $Ag^|V:=
N
¢ ¢¢
h ? R -&
L ^ N
-
¢ ¢ ¢ h .-
i \ * 13
~Z^_V:A
N
¢ ¢ ¢
h ? [oWqpW * $1 {^ * ,* j > *&W~
~Z^ \:A
N
¢ ¢¢
h ? (W A&W* (A13 {z^*,4*[ > *&W [oWqpW * $1 *,'$&A^& * >
*&+(&* (1~
»0WUqeqJmvsJR_^ (
.@
L
`K!a
#jlYrYYsr.PkWXYriOQmba#fiqlUSadYf!mnf)a¨PSs@rimns@cePScJf#mª%EPTO\U`n`
- Y
U|szU`n`/I_?W1ri~eYOiY&Yd¦emvfQrif!U|?W1ficaQ~rQ~Ur-EPSO\U|`v`
0 Y p e-f@0
d:
a|
^
.-
^
0
Q :2I@¢
^PTsrQmnscJPScef%WU|qeqemnseRTfyqeOQYfiYOQSY<`vmnWXmvrQf¢#~Ur%mnfpmÚf^ (
!
L
.`K@a
gmnf.U!adPTsrQmnscJPScef%WU|qeqemnseR
U|szK:=< > ? >}B8D mnf'U\adPTsTYOiRTYs@r'fiY oScJYsadY#mns
!
g#mnri~`nmnWZmnr <Sp ri~JYs:=^
< > q? >CBED mnf'U\adPTs@SYOQRSYs@r
fQYoTceYsadY&mns
.`K@a
#mnrQ~Z`nmnWZmnrz^
< ¢
\897 : =#?I; C ; # =
!mnTYsU|shkfQYr
riPSRTYri~JYO##mnri~U&OdUse&>cesadrQmvPTs (
L
pePSsJY)aU|s z}Yd©seYUWZYrQOimba#fQqUSadY!P|
fQcejefiYrif#P
U|f%EPS`n`nP#f¢ xYrA<
N < Q
jlY\rP!fiYrQfp@rQ~eYsg<
N
< Q
z}YsePSrQY\rQ~eYmnO'fih@WXWZYrQOimba'z@mYOiYsladY
<
N
< Q
<
Q
< N
¢S#~eY!ad`nPSfQYseYfQf=b
< N < Q
*Pr.P&ficJjefiYrQf#P
p[<
N < Q Y
.
p@mnf'ri~eY<Y`nYWZYsr
P|\`vY Ufir&qlPSfifQmnje`nYkOVUsJmvsrQ~eYZfQh@WZWZYriOimbaz}mYOQYsadY (\b
< N < Q R®WZmnsjk
fl
YW<
N
< Q n@¢*h
adPTs@SYs@rimnPTsypWZmnsk n R"!±¢#~JYkfiYr#
P|²fQcejefiYrifkP
adPSsJfirimnrQceriYfkUWXYriOQm¥afiqlUSadYX#mvrQ~¡U
WXYriOQm¥a %$
z@Yd©seY zj@h(
%$|
< N < Q
>R¤['&)(+*-,/.0,21+3d¢ *hadPSs@TYs@rimnPSsyp['&)4 R1e¢ #~emnfgfiqUTadY.mnf%adPSWXqe`nYriY (
vZw%´@¸l´"x &'( A * (W
.
@ 5$
. (W 5 ~>"{S:c<*>9?A>CBED *JF\* (04 ^@H$'(
)' .\ <5R k Y l *t % * _<>Xn[~
«r<mvf<.PTOirQ~sePSrQmbadmnseRZrQ~Ur<ri~emnf\rQ~eYPTOiYW2mnf\SU|`nm¥zEPTO\UsHU|OijemnrQOVUOQhOVUsJZ>cesadrQmvPTsy¢e«s£qUOQrimbadce`bUO
sePTrimbadYXri~U|rri~eYk`nmnWZmnr<P\U^#UcaQ~@hfiYoTceYsladYmvfmvslz@YqlYsz@Ys@r&P#ri~eYUSadrQcU`OVU|se£EcesadrQmnPSsy¢»
qU|OirQm¥a¨ce`bUO!fiYoTceYsadYkWU h@p@~ePYSYOpJUmn`griPZjlYkU^#U|caQ~@hfQYoTceYsa¨Yk#~eYsri~eY&OVU|seEcesladrimnPSs£mvf
OQYqe`bUSadY z¢
-Ymnri~eYO\cesemnPTsypemns@riYOQfiYa¨rimnPSssePSO\a¨PSWZqJ`vYWZYs@r#UOiY&adPSs@riOdUSadrQmnSYtU|f#EcesladrimnPSsJf\PSsU&qPYO\fQYr
WXYriOQm¥a
@ 5$
jecer#rQ~eYhUOQY6U|`n`sePSs@Yd¦eqU|sefimnSYT¢
xÔYr_^(
";`
N "
¢¢ ¢
"`
h L
jlYUXEcJsadrimnPTsP\sePTs@YWZqerhHa¨PSWZqJ`vYriY&WZYrQOimba&fiqUTadYf ¢
»<fificJWZYN^ mnfZadPTs@riOVUTadrimnTYmns¯mnrif&©OQfirUOiRTceWZYsr ¢%#~eY76iqU|OVU|WZYrQYOimn¬Yz ©e¦eYz qPTmvs@r28EcJsadrimnPTs
9 ^ ( ` N "
¢ ¢ ¢
"`
h L
mnf8z}Yd©seYzCj@hrVU|@mvsJR
9
^
.0
N
¢ ¢¢
@0
h
rQPHjlYZrQ~eYcesemboTceYkY`nYWZYsr
- Y
fQcaQ~ri~U|r
-
RW^
.-/!0
N
¢¢ ¢
!0
h
¢@#~JY UsUTai~X©e¦eYzqPTmnsrri~JYPSOQYWMYseficeOQYf\rQ~Urficlai~U|s
-
Yd¦emnfirQf¢l«sH£N'º& 'J'mnr!mnf\qeOQPSYz£ri~U|r\mÚ^mnfadPSs@rQOVUSa¨rimnSY
sePTs@Yd¦eqUsefQmnSY <ri~JYsHfQPmvf
9
^y¢Ô«s
adPTseseYa¨rimnPSs#mnri~X©e¦eYzqlPSmns@rif pY!#mn`v`gsePSr\z}mvfQrimnseRTcemnfi~jlYrYYs
L
Usz
¢l«¢YS¢erQ~eY!©e¦eYz
qlPSmns@r#P^ ( L mnf
9 ^ ( L ¢
: 4 ! 1( K('!<;>=(*) % *
{-YRSce`bU|OriOiYY.Yd¦eqeOQYfifQmnPSsefGHº&ep»)J9J}UOQY.adPTsadYqerQcU`n`nh\Y oScJmvSU|`nYs@rriP#fiYr+adPTsefirQOVUmns@rifGH»y¤T['J¢
#~eY&z@m YOQYsadY&mnf#WU|mvsJ`vh&fih@s@rVUTadrimba¢!mnSYsU&OdUseTYzU`nqe~U|jYr#?!peU@?*rQOiYYkUf\U&`bU|jY`n`nYz©semnrQY
rQOiYYX#mvrQ~HsJP}z}YtfQhWkjlPS`nf#?!¢YEJPSO!YUTaQ~sePez@YtrQ~eYks@ceWkjlYO\P|²fQcejeriOQYYf&mnf)Y oSclU`'rQ~eYkOVU|sePri~eY
fQhWkjlPS`UrrQ~UrsJP}z}YS¢*hBA@CC.Yz@YsePTriYXri~eY F#YOQjeOVU|szcesJmvTYOifQYZP|²rQ~eYZfQhWkjlPS`nf!mnsB?!¢#~eY
$O ED4
GF
#P'UrQOiYY
F
mnf#ri~JY`nYseRSrQ~P+rQ~eY!`nPSseRTYfir#qU|ri~P
F
¢e»±EPTOiYfQr#mnf\U&fiYr#P|rQOiYYf¢
»<f²U|skmnsefirdUsadY!P|yri~eY!qlP.YOfiYr²adPTsefirQOica¨rimnPSsqeOQYfiYs@rQYzmnsZº@YadrQmnPSs[e¢nSpTUadPSWXqe`nYriY<WZYrQOimba
fQqUSadYP%EPSOQYfirQf#WU hkz@Yd©sJYz¢
vZw%´@¸l´" &'( A * (W
A@Cg
@
G ( 5 ~0"({: > ? >CB8D /*|F\* (0 ^@H$'(
)' .\
R k F Y A@CKl
F *t * >n ~
6mvTYsUkfQYrP'SU|OimbUje`nYfprQ~eY&fiYrP|5&W 3*& &W.qpW &W W $ =D
?
#mnfz@Yd©seY zj@h
rQ~eYRSOdUWXWUO ( ((Rl
-
l
¢ ¢¢
Al 7 l l l
-
EJPSOkUHa¨PSsefQriOicladriPTO Y ? P\OdUse]MKri~JYs@ceWkjlYOP|6U|OiRScJWZYs@rif&WkcefQrjYNM%¢%»®OiYRTce`bUOkrQOiYY
Yd¦eqeOQYfifQmnPSsef!mnf+\o{^& ,mÚ%EPSO\U|`v`OQYadceOQfimnSY&OiYRSce`bUO#rQOiYY&Yd¦eqeOQYfifQmvPTsef -!
pU`n`PeaadcJOiOiYsadYf
P|²rQ~eYkSUOQm¥U|je`nY
-
mns
U|OiY&YWkjY zez@YzmnsHadPTsefirQOica¨rimnPSsef&P#ri~JYEPTOiW"
N
¢ ¢ ¢ h
¢Ô#~eYtfQYrP|
Y`n`ÚEEPTOiWXYz&OiYRTce`bUO#rQOiYYY¨¦}qJOiYfQfimnPSsef!mnf#z@YsePTriYz
?
¢
#~JYfiYWUs@rimbamns@riYOQqeOiYrdUrQmvPTs0PZOQYRSce`bU|OriOQYYKYd¦eqeOiYfQfimnPSsJfHmnfqeOQP@m¥z}Yz±j@h¤rQ~eYEcJsadrimnPTs
# ($
?
L
d!$
L
A@C #~eYOQY%A!$ R&
L
A@Cy mvf&ri~JYfQYrkP#>PSOiYfir
Ys@@mnOiPTseWZYs@rQf
OVU|seRSY zZPTYO#j@h%'@ #WU|qeqemnseR!SUOQmbUje`nYfmnsrQPkficejJfiYrQf\P A@C'¢
# HH(2JJ)' R *
# HH-
JJ)' R '
.-
#5HH N
¢ ¢¢
h
)JJ+' R k,
GF
N
¢¢ ¢ +FXh
fl F N
Y-# HH NJJ)'/.¢ ¢ ¢.
FXh
Y0#5HH h JJ)'4n
#5HH N 7 Q
JJ)' R #5HH N JJ1'E2#5HH Q JJ)'
#5HH N
Q
JJ)' R #5HH N JJ1'32#5HH Q JJ)'
#5HH JJ)' R A@C
#5HH JJ4'
#5HH -!
JJ)' R 9
65
# HH JJ1'jk798
-
nÞ
Y`n`Ú>EPSOQWZYz@sJYfif<P.OQYRSce`bU|O)rQOiYY&Yd¦eqeOQYfifQmvPTsef&YseficJOiYfrQ~Ur!rQ~eYZUqeqJ`vmbaU|rimnPSsP|.ri~eY©e¦eYz£qPTmnsr
PTqYOdUrQPSO
9
h@mnY`bz@f²U&Y`n`Úz}Yd©seYzXOQYfice`nr ¢
#~JY#fiYr'P| rQOiYYf\adPSOQOiYfQqPTsz@mnseRrQPOiYRTce`bUO%riOQYY\Y¨¦}qJOiYfQfimnPSsX#mvrQ~ePScJry>OiYY<SUOimbU|je`nYf+U|OiY\fQriOQPSs@
RT`vhkY oScJmvSU|`nYs@r#riP&riOiYYOiYa¨PSRSsJmv¬YOif Hº&|OJ¢eº}caQ~fQYrif!UOQY6aU`n`nYzXOiYRTce`bUO¢
º}Yr+adPTsefirQOVU|mvs@rQfy~U TY+jlYYs&firQcz@mnYz!mns@riYsefimnSY`vh<ri~eY*OiYadYsr%hTYUOQf¢^EJPSOPTceOyqJceOiqlPSfQYSp ri~eY'mnWXqPTO
rdUs@r.OQYficJ`vrQf)U|OiY\rQ~Ur>PSO'rPtOQYRScJ`¥U|O.rQOiYYYd¦eqeOiYfQfimnPSsJf N Usz Q
p@mnrmnf.jlPSrQ~z@Ya¨m¥zJUje`nY!#~eYrQ~eYO
# HH N JJ)';:<#5HH Q JJ1'EPTO!fiPSWXY>PSOiYfirYs@@mnOiPTseWZYs@r/'H»y±S['JipyUslzEPTOU`n`%EPTOiYfQrYs@@mvOQPSseWXYs@rif='
H!#\T'J¢
> ?
1&1&
«s&ri~emnf%fiY adrimnPSskYqeOiYfQYs@r.U<fiWU`n`Srh@qlY.`bUsJRScU|RSYS¢«r+mnr%fimnWXmv`bU|OrQP)rQ~Ur%mns@riOQP}z}cadYz&mnsH!UWUWJp
U|sz#mn`n`@fiYOQSY\U|fU<fdUWZqJ`vY%`bUsJRScU|RSY'rQ~eOiPTceRS~ePTcer%Pri~eYOiYfir'P| rQ~eY.qlUqlYO¢«skUSzJz@mnrimnPSsrQP!cesemnPSsyp
mns@riYOQfiYa¨rimnPSsUslz&OiYadcJOifimnTY\rh@qYfp@mnr'mnsad`ncz@Yf.U!fiYr.P|yjUfQm¥arh@qlYfp@qJOiPez@cadr#UslzEcesadrQmnPSs&rhqlYf ¢
«sPSOdz@YO&riPRTmnSY&fiYWUs@rimbadf!riP£rhqlYf pyYZUSz@PTqerrQ~eYkmbz@YU`*WZPez@Y`'P|²rh@qlYf H£N'º& 'Ji¢#~Jmvf
aQ~ePTm¥a¨Ymnf.YfQfiYs@rQm¥U|`EPTO.PTceO\z@YTY`nPSqeWXYs@r.fQmnsadY!WU|sh&qeOQPP|Ef#OiY`vmnYf#PTsZqeOQPSqlYOirQmnYf\P|+ri~Jmvf#WXPez@Y`¢
F-P.YTYOpJri~eYrhqlY!mnsad`ncefimnPTsZOicJ`vYf\Uqeqe`nh@mnseR&mvsXri~emnf#WXP}z}Y`fQYYW2rQPkjY!rh@qembaU`peU|szkY!Yd¦eqYa¨r
rQ~eYW®riPkjlYSU`nmbz&mnsZWZPTfirPSrQ~eYO\WXPez@Y`nf¢
* 897 5C=B ; '#?%;C'
K ((R l
N
l@¢ ¢ ¢ l
h l F l K " K l
K>L K l K UK l K PK
l 9 F
K
[S
#~eY<rh@qY0z@YsePTriYf#rQ~eY\YWXqerh&rhqlY)U|sz> U|OiY<jUfQm¥a-rh@qYf ¢S«sXri~eY<fiYoTceY`.Y!UfifQceWZY##mnrQ~ePScer
`nPSfQf'PlRSYseYOVU`nmnrhrQ~Ur.U|`n`jlUfimba*rh@qYfUOiY\z}mvfnwdPSmns@r¢D<SYOi`bUqeqJmvsJR\rh@qYf.WU h\jlY\z@Yd©seY z&mvs&riYOiWZf
P|²rQ~eYtcJsemnPSsrh@qlY8adPTsefirQOica¨riPSO ¢+NOiPez@cadrQf8U|OiY&sePSs}U|fifiPeadmbU|rimnSYS¢l#~eYEcesladrimnPSs£rhqlYkmnf\rQ~eYk.Y`v`
@seP#sadPSs@riOdU SUOQm¥U|s@r%Ecesa¨rimnPSsXrhqlYS¢e¼-semnPSsZUslzkmns@riYOQfiYadrQmnPSsrh@qYf\U|OiY<fiYrrQ~eYPSOQYrimbapU|sz
9
F
K
z@YsePSrQYf'ri~JY.cesJm¥oTceY*rhqlY
K i
EcJ`ª©l`v`nmnseRri~eYYoTcU|rimnPSs
K i R K HK i8 F
Ji¢Y.U|fifQceWZY.U|`n`Srh@qY*Yd¦eqeOiYfQfimnPSsJf
U|OiY+G o{^& ,(ÞEPSO.U|`n`P|yOiYadcJOifimnTY)rh@qlYf
9
F
K
pSYTYOihkPeaa¨ceOiOQYsadY&PyrQ~eY\SU|OimbUje`nY
F
mns
K
PeaadceOQf
mnskri~JY\fVa¨PSqlY)P|ÔUjU|fimbarh@qY!adPSsefQriOQcadriPTOp@m¢YS¢TmvsZU6qeOiPez@ca¨r.PTO%Ecesa¨rimnPSskrh@qlYS¢@#~emnf'OiY oScJmvOQYWZYsr
YsJficeOQYfZcesJm¥oTceY©e¦eYzqlPSmns@rif6EPSO&OiYa¨ceOifQmvTY`nh¯z@Yd©sJYzCrhqlYf ¢'hv=80.Yz@YsePTriYri~JYZfiYrtP|
Y`n`ÚEEPTOiWXYz&rh@qYY¨¦}qJOiYfQfimnPSsef ¢
»0rQPSqXrhqlY#~embai~mnfri~eYcJsemnPSsZP|.U`n`rh@qlYf\WU htjlYz@Yd©sJYzmnsriYOQWZfP'OiYa¨ceOifQmvPTs(
9
F
N>U
¢ ¢ ¢
U h U
-FA"F
U L F
* 8 B>C =? ; B>?9C
#~eY£SU`nceYZcJsemnSYOQfiYmnsA#~Jm¥aQ~Cri~eYrh@qlYfZ#mn`n`jYmns@riYOQqeOiYrQYzpmnfZUHz}PSWU|mns fVUrQmnfEh@mnseRri~eY
z@PTWU|mvskY oSclUrimnPTs(
RWy
N
7¤¢ ¢ ¢!7]y
h 7 "
87
L
S
F-YOiYZy >yz@YsePSrQYGX Ur.z}PSWU|mnsefPjUfQmbaSU`nceYf ¢#~JYfiY!z@PSWUmnsef+U|OiY#UfQficeWXYztz}mvfnwdPSmns@r¢*h
"
p
Yz@YsePSrQYZri~JYkqeOiPez@ca¨rtP|°#mnri~mnrQfiY`ÚVpyU|sz
L
°mnfrQ~eYa¨PSs@rimns@cePScJf!Ecesa¨rimnPSsef6EOiPTW!
rQP¢F-YOiY&.Y~U SYrPkqU|OVUWXYriYOif\rQPkri~eY&fiYWUs@rQm¥a¨f¢@»#r#©lOifir plri~eY&qeOiPez@cladr
" WU hkjY
YmnrQ~eYOkri~JY ^#U|OirQYfimbUsCqeOiPez@cladrkPSO&ri~eYfQWUfQ~eYzqeOQPez@cadr ¢'#~eYXfiWU|fi~eY zqeOQP}z}cadrZz@mYOif&EOQPSW
rQ~eYt^#UOQriYfQmbUsqeOiPez@cladr#j@hadP@U`nYfVa¨mvsJRZUqU|mnOZ:
-/@0
?¤#mnrQ~Zri~JYjPTrirQPSW Y`nYWXYs@r.P|'ri~eY!qeOQP}z}cadr
#~eYseYSYO
-
PSO
0
YoTcU|`nf"k¢#~eY<PSrQ~eYO'qU|OVU|WZYrQYO.adPTsadYOQsef#ri~eY-Ecesa¨rimnPSsZz@PTWU|mvsg¢^F#YOiY\Y\WU h
PTO)WU hksePSr!mnsad`ncz}YsePSs}fQriOimbadr<EcJsadrimnPTsef¢ EJPSO!PSceO<Yd¦UWXqe`nYSpeY8aQ~eP@PTfiY&ri~eY&fiWUfi~JYzqeOQP}z}cadr
U|szUfQficeWXYU`n`EcJsadrimnPTsef\fQriOimbadr ¢l«sri~emnf<²U h@p@.Y&UOiY&adPSsefQmnfiriYsr!#mnri~IH!UWUWJ¢J#~eYtz@PTWU|mvs
PTqYOdUrQPSOz7 z}YsePSrQY#ri~eY#fQceWPTqYOVUrQPSO ¢ F#YOQY#.Y~U TY²U<ri~JmvOdzqlUOVU|WZYrQYO%riP<ri~eY#fQYWU|srQmbadf¢º@PTWZY
P|.ri~eYkz@PTWUmnsef#WU hkjYk`nmÚErQYz¢EJPSO<Yd¦UWXqe`nYSpePTseYWZmnRT~r##Us@r<riPZ`nmÚEr<ri~eYEcesa¨rimnPSsHz}PSWU|mnsZriP
PTjerVU|mvs¯U fiYqU|OVU|riYjPTrirQPSWSU`nceY&EPTOri~JYkEcesladrimnPSsJf 5-=
$#R%¢»\R@UmnsEPSO&adPSsefQmnfiriYsadh¯#mnrQ~
H!UWUWJ+Y6U|fifQceWZY<ri~U|r#sePSseY!P|rQ~eY!ficeWXWU|sztz}PSWU|mnsef.UOQY`nmÚEriYzÔ¢
«rXfi~ePTce`bz jlYYWZqe~lUfimn¬Y zKri~U|rri~eYmbz@YU`!WXP}z}Y`
Usz ri~@cefri~JYHOQYfirP|tri~JmvffQYadrimnPTs Xmvf
mnsz@YqYslz@Ys@r!P'ri~eYfiYkai~JPSmbadYf ¢YF-P.YSYO pUf#PTseYWU htYd¦eqlYadr pri~eYrhqlYmnsad`ncefQmnPSsOice`nYf!z@YqlYsz
PTsHrQ~eYtmnsefQrVU|srQmbUrimnPTsef\P|²rQ~eYfiYkqlUOVU|WZYrQYOif ¢ D\rQ~eYOmnsefQrVU|srQmbUrimnPTsef\RTmvTYtPTri~eYO)fQcejerh@qemnseROicJ`vYf¢
»<ftUsYd¦UWXqe`nYSpeYt~lU SY&ri~U|r&
L
TR' #mvrQ~HrQ~eYkai~JPSmbadYfWUSz@YT¢ *cerri~Jmvf!YoTcU|`nmvrhmnf!sePSr
SU|`vmbzmª%ri~eY<EcJsadrimnPTs z}PSWU|mnstmnf#`nmÚEriYzÔ¢@Y)z@mnfVa¨cefif<ri~eYPTri~eYO#qPTfifimnjemn`nmnrimnYf#mnsº}YadrimnPTs$J¢
º}PS`ncerimnPTsef%P+z@PTWUmnsY oSclUrimnPTsef.`nmnSY
S %Y¨¦}mnfQrifceqZrQPmnfiPSWXPSOQqe~emnfiW Usz&WU hjY!adPSsJfiriOQcadrQYz
@mbUkrQ~eYtfQPiaU`n`nYzmns@SYOifiY&`nmnWZmnr²a¨PSsefQriOicladrimnPSsg¢#~eY&fiPS`ncerQmnPSsmnf)U`nmvWXmnr.P|.ri~eY&fiY oScJYsadYkP|²adqlPSf
: > ? >CBED pefirdUOQrimnseREOiPTW D R k|n (
&>%
N
Ry
N 7 ¢¢ ¢*7y h 7
g>
"
g> f7
&>
L
&>
#~emnf#fQYoTceYsadYkadPTsefirQmvrQceriY&U&fiYoTceYsladYtP|+mnsadOQYUfQmnseRS`nhZjlYrQriYO!UqeqeOQP ¦emvWUrQmvPTsef%riPkrQ~eYfiPT`ncerimnPSsg¢
»<s¯Y`nYWXYs@r P6U£z@PSWUmns
mvf
ot%
PTO²w¨cefir©semnriY mÚ#EPTO8U|`v`*mvsladOiYU|fimnseRfiYoTceYsadYf
:
-4h
? h
BED P%Y`nYWZYs@rQf'P
p h
-4h
mvWXqe`nmnYf%ri~U|r.rQ~eYOiY!Yd¦emnfirQf\UsgMfQcaQ~ri~U|r 2-4h
¢T#~eY
©sJmvrQY\Y`nYWXYs@rif'P|+UadqlP
mnf#z@YsePTriYzjh
¢#~eY-©semnriY<Y`nYWZYsrQf'P+U6qeOiPez@ca¨r²z@PTWU|mvs "_`
mnf
K";`
p%Uslzri~eY©semnriYXY`nYWZYs@rQfP)UfQceW°z@PTWU|mvs
7 `
mnf
7
`
¢>EePTOtUXEcJsadrimnPTs
z@PTWU|mvs
L `
ri~eY<©sJmvrQY!Y`nYWZYs@rQf²U|OiY<©semnriY!`ncejefPG _{$(A ¢EJPSO Y U|sz
a Y ` p
U&fQriYq>cesadrQmvPTs a
mnf\z@Yd©lseYzXj@h (
.
a
.-
R
a
mª
-2
PSri~JYOi#mnfiY
-PSrimbadYri~U|rEPSO#Us@hk©lsemnriY<Ecesa¨rimnPSsSU`nceYZ^rQ~eYOQYYd¦emnfirif!UWXmnsemnWU `efQYr\P|+firQYqEcJsadrimnPTsef#ficaQ~
rQ~UrN^ mvfXri~eY`ncej P|6rQ~eYfQYfiriYq EcJsadrimnPTsef¢ !mnSYs U fiYrsk
N N
¢ ¢¢
h h
nPtfQriYq
EcJsadrimnPTsefp*ri~eYWZmnsemnWZU|`+fQYrZP|)fQriYqK>cesadrQmvPTsef&WU hjYPSjJrVUmnseY z¯j@h¯adPTsefiY adcerimnTY`nhAOQYWZP@mnseR
rQ~ePSfQYfirQYqEcesladrimnPSsJf >
>%>PSO##~embaQ~ri~eYOQYYd¦emnfirQf)UsJPSri~JYO#firQYqEcesladrimnPSs#
ficaQ~rQ~Ur
R > Usz > ¢@ ~eYseYSYO#Y!mvskrQ~eY<EPS`n`nP#mnseR!#OimnriY!U!©lsemnriY#>cesadrQmvPTsZSU|`vcJY)Uf#U`vcJjZP+U
fQYr\P|+firQYqEcJsadrimnPTsefpJ.YUfQficeWXY\rQ~emnf#fiYr<riPkjlY)WXmnsemnWU `¢
EJPSOU©semnrQYkSU`nceYJY
.YZz@Y¨©seYZrQ~eY &W*
T rQPjlYkri~eYk`nYU|fir_m-ficaQ~¯rQ~UrNY > ¢
«s@>PSOiWU`n`nhfiqlYU|mnseRlpU&SU|`vcJY\mnf©semnriY!mÚ'mnrif#firQOica¨riceOQYtmnf©semnrQYSpU|szXPSseYaU|srQ~emnseZrQ~eY!OVU|seZP|
U&SU|`vcJY)Uf#rQ~eY~eYmvRT~@r.mnrif#fQriOQcadricJOiYS¢
* 8 : = # ? 5B ; '#B -
&W, $& , * tU|OiY!sePTs@YWZqerhZz@P#s@#UOdzZad`nPSfQYzfQcejefiYrif!P'U&qUOQrimbU`PTOVz@YO ¢ EePTO²U&qU|OirQm¥U|`PSOdz@YO
ri~eY&PSOdz@YO!mbz@YU`nf!UOiY&z@YsePTriYz£j@h D
¢l»\s, * %mvf!UsPTOVz@YO)mbz@Y U`y#~Jm¥aQ~mnf!ad`nPSfiY zceslz@YO
`ncejef#P|'mvsladOiYU|fimnseRkfQYoTceYsadYf¢#EJPSO#U&qUOQrimbU`lPSOdz@YO
rQ~eYmbz@YU|`vf\U|OiYz@YsJPSriY zj@h
.
¢
»<f!WZYs@rimnPTseYzpJ.YfQ~U`n`%qU hfiqlYadmbU|`.UrQriYs@rimnPTsriPX©semnrQYY`nYWZYsrQf¢l#~eYEPS`n`nP#mnseR&ri~eYPTOiYW
YfQrVU|je`nmvfQ~eYf!Ukad`nPSfiYadPTseseYa¨rimnPSsjlYrYYsPTOVz@YO\mbz@YU|`vfP%©sJmvrQY!Y`nYWZYs@rQf²U|szXm¥z}YU`nf (
vZw%´@¸l´"/ u{$(
L * * , *! 2 (&$& A , . ^/{t
1* "
*I&, '& ' &A {
:- .*,
D
:\ *~
¼-fimnseR!ri~JY\qeOQY@mvPTcefi`nhkz@Yd©sJYzkOdUseEcesa¨rimnPSs-PSs&©semnrQY#SU`nceYf pSY#RSYrUf.U!fQqY admbU`lmvsJfirVU|sadY
P|#~JYPSOQYW [J¢×[(
vZw%´@¸l´"/ A&$( A * (
!
$ ( 5 ~ "{V:"
> ?
>}B8D
*F\*(0. ^@H$'(
)' .\
R k#|Y l$ 2*t% * @>Xn[~
EJPSOkUH^#U|caQ~@hHfQYoTceYsadY :" > ? >CB8D P!PSOdz@YO&m¥z}YU`nf&ri~eYX`vmnWXmvr
R k - Y l
mnf&mvsCmns@©semnriY`vh
WUs@h > nkmnftU|sHPTOVz@YO&mbz@YU|`¢l#~eYOiYdEPTOiYSp%rQ~eYkficJjefiqUTadY D
@ $
!mnfU`nfQP a¨PSWZqJ`vYriYkUsz£EOQPSW
#~eYPSOiYW2¢n\mnr*EPS`n`nP#f'rQ~Ur#rQ~eYWZYriOimba-fiqUTadY
@ $
mvf\a¨PSWZqJ`vYriY)U|f#.Y`v`¢
^PTOiOQYfiqlPSsz}mvsJRkriPkri~JY)jlUfimba<rh@qY&adPSsefQriOQcadriPTOif
"
U|sz
L
.Y!WU h8z@Y¨©seYrQ~eY<EcesadrQmnPSsef (
" R k:
-f@0
? Y " l - Y 9.
0
Yun
L R k^NY L l |Y
^
@ \Yun
#~eYhHUOQYtjlPSrQ~HadPSs@rQOVUSa¨rimnSY&mnsri~eY&WZYriOimba<fiqlUSadY
@ 5$
¢*cer!ri~emnf#USadr<mvf<~emnRS~e`nhXfiYsefQmnrimnSY
rQPZai~JPSfiYsOVU|sekEcJsadrimnPTs@¢
* 8* B>C =? ;
xÔYr=v=A$ R!e
L
'jlYrQ~eY!fiYr#P|M & $&rh@qY!Ys@@mnOiPSsJWZYs@rif
OdUseRTYzXPSYOj@h@ ¢@#~eY
fQYWU|srQmba<Ecesa¨rimnPSsPTsrh@qY&Yd¦eqeOQYfifQmvPTsef (Pv=8
L
v=d!$
L
#WU|qeqemnseR&.Y`v`Ú>EPSOQWZYz
rh@qlYYd¦eqeOiYfifimnPTsef\mns@riP&mbz@YU`nf p@mvf\z}Yd©seYz jh(
HH JJ R k n
HH>JJ R y >
HH
F
JJ R
GF
HH
KON
"
K$Q
JJ R HH
KON JJ
" HH
K$Q JJ
HHK N L K Q
JJ R HHK N JJ
L HHK Q JJ
HHK N UK Q
JJ R HHK N
JJ HHK Q JJ
HH
KONPK$Q
JJ R HH
KON
JJ 3 HH
K$Q JJ
HH9 F
K JJ R 9
65 HHK JJ4k# 8
F
nÞ
Y`n`Ú>EPSOQWZYz@sJYfif#P|.rh@qY&Yd¦eqeOiYfifimnPTsef!YseficJOiYf&ri~U|r\rQ~eYtfQYWU|s@rimbadf\P|.UkOiY adceOifQmnSYkrh@qY&mnf\Y`n`Ú
z@Y¨©seYz±Usz cesemboTceYS¢#~emnfkRSmnSYfZY`n`ªiz@Yd©lseYz@seYfifP| UfZY`n`¢,*h
HHK JJC.Yz@YsJPSriY£ri~eY
©sJmvrQYHSU|`nceYfP HHK JJ¢#YfQ~U`n`<EOQYoTceYs@ri`nh¤adPTsefimbz@YOri~eYfiYWUs@rQm¥a¨fP|trh@qYfmnsT &W '&
Ys@@mnOiPTseWZYs@rQf (eUrhqlY!Ys@@mvOQPSseWXYs@rkmnfmnWZqeOQPSqlYO.mÚgEPSOfiPTWZY\rh@qlY!SUOimbU|je`nYf
F
p
-F
mnf\UfiYr#P|
SU|`vcJYf!#~embai~£mvf!sePTrUsmbz@YU|`nf¢l»\f!`nPSseRUf!rh@qYf6z}PsJPSradPSs@rdUmnsOiY adceOifQmnPSsyp2mnf!.Y`n`Úiz@Yd©seY z
EPTO#mnWZqeOQPSqlYO.rh@qlY!Ys@mnOQPSseWXYs@rif¢
* 8 : = # ? 5B ; '#B - ;C? #
D<seYkP|.PSceO<OiYfQce`nrifmnf!UZsJYfQPScesz}seYfifqeOiP@PP.rQ~eYtfQcejerh@qemnseRUqJqeOiP@USaQ~jU|fiYz£PSsYsadPez@mnseR
P|)rh@qYfZUf&OiYRTce`bUO&riOiYYY¨¦}qJOiYfQfimnPSsef ¢#~emnftqeOQP@P)z@P@YfksePTr8U|fifQceWZY©semnriYsJYfifkP|)rh@qYf¢%#~eY
qeOQP@P+mnsa¨`vclz@Yf#UOQY`bUrimnPTskP+rQ~eY\WXYriOQmba#fiqlUSadY<P+mbz@Y U`nf'#mnri~UWXYriOQm¥afQqUSa¨Y)P|yfiYrQf#P%riOiYYf¢J«s
rQ~emnf)adPTseseYadrQmnPSsmnr#ricJOisef<PScer#rQ~Ur#rQ~eYWZYriOimba!z@Yd©lseYzmnsº@YadrQmnPSsl¢&aU|cefiYf!adYOQrVUmnsqJOiPSjJ`vYWZf¢
EJPSOQricesU|riY`nh@p@mnr#mvfqlPSfifQmnje`nY)rQPkOiYz}Yd©seY&ri~eY!WXYriOQm¥a-#mnri~ePTcer\U YadrQmvsJRkri~eYfQYWU|s@rimbadfP+rh@qlYf¢
#~JYZWZYriOimbafiqUTadYP\mbz@YU|`nfmnftUsmnsefQrVUsladYZP|\ri~eYXficejefQYrZadPTsefirQOicadrQmnPSsKqeOiYfiYs@riY z¯mns¯º@Y aQ
rQmvPTs¡[J¢nS¢l»\fsJPSrimbadY zmvsº@Ya¨rimnPSs¯[J¢vTpri~JYZadPSWXqe`nYriYsJYfifP|²fQcaQ~fiqUTadYf&mnf)mnsz}YqYsz@Ys@r&P#ri~eY