Grammatical Inference as Unification

(1)

HAL Id: inria-00073042

https://hal.inria.fr/inria-00073042

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.

Grammatical Inference as Unification

Jacques Nicolas

To cite this version:

Jacques Nicolas. Grammatical Inference as Unification. [Research Report] RR-3632, INRIA. 1999.

�inria-00073042�

(2)

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

Grammatical inference as unification

Jacques Nicolas

No 3632

mars 1999

TH `EME 3

(3)

(4)

%'&)(+*-,/.1032546(87:9;&)0=<

>-?A@CBDFEHGIKJLMDON6PQRLMSUTJV?ATB#BDRWXB#PYQZ?AS[JAD\

S[B#P!]YDO^_\A`ATJaJAbCDC^C\aQRTJJaP!S[^6^;PYJQRDC^

c:NMTYdKD_L-e-fX`aP

g/PYhahiTN6L-`ADFNMDOQZ?ADCN;QZ?ADJFjEYkElGmB#PYN;^onCppYpqGrlAnqhaPY]YDC^

stvuCw_xzya{!w| }

D~haNMThT^MDL6T^6D_LL;?AD]N;PYB#B#P!L6SUQCP!S[JDCN6DCJaQ_D~haN6TAUDCBS[J3PT]YS[Q_P!

N;PYBD_'TN;3>-?aD^6DCPN6QZ?TNP`aBSU^;^6SUAUD^MTUaLMSUTJa^#S[J3P]YSUYDCJQR[PY^;^T!oUPJA]P!]YDO^SU^

N6DC`aaQ_DC`L6TL;?ADVhaN6TaDOBTYaJASSUJA]P~^6D_LT!L6DCN;B^C>-?aSU^hTSUJLT!SUD_?aP^HiD_DCJ

P![N6DCPY`a`AD_D_UThiDC`=SUJ=L;?ADFhaPYN6LMS[Q_aUPN'Q_TJLMD_AL-T!Q_P!L6D_]TN6SUPYi]N6PBB#PN6^C\APLXAhiDFT!D_ASW

Q_PYSU_DO`q]N;PYB#B#PYNC } D'hNMDO^MDOJLL6?aD'^6L6PYLMD'T!L;?AD'PNMLSUJHL6?AS[^`ATBPYSUJHPYJa`haNMThT^MD'^MDCYDON6PY

S[BhNMTzDCBDCJL6^C>-?aDQCPY^6DT!1N6D_]AUPN)]N6PBB#PN6^S[^'^ML;a`ASUDC`S[JP^MDOQRTJ`haPYN6L_ } D^;?ATz

L6?P!LN;P!LMSUTJP!-aJASiQ_PYLMSUTJ3P!UUTz^L6TSUJADCN^;aQZ?5]N;PYB#B#PYN;^_ } D]SDQRTN;N6DC^;hTJa`AS[JA]

cN6TYUTY]haNMT]N;PYB#^)S[JiTYL;?VQCPY^6DC^CIKJ`AD_DO`8\ATJADT!L6?ADqP!S[B T!L6?AS[^':TN6S[^:L6T^;?ATzL;?aP!L

¡ UDCPJ ¡ haN6TY]N;PYB#^PYN6DhT^6^6SUaDTNF]N;PYB#B#P!LMS[Q_PYvSUJDONMDOJaQRD>-?AS[^FPYhahNMTPYQZ??PY^qiD_DCJ

^;aQ_Q_DC^;^KA8S[J=L6?ADoiD_[`VTYvPALMTB#P!LMDO`L;?AD_TNMDOBhaN6TzSUJA]#PYJ`'DoDRahDOQRL-L6TTa^6DCN6YDL6?AD

^;PYBDqDOJADRL;^-S[JV]N6PB#BPYLMS[Q_PYS[JDONMDOJaQRD#¢DR£Q_SDOJaQRPJa`=DRALMDOJa`AS[ASUSULXY

¤¥¦¨§6©Hª xz«u| ]N6PBB#PYLMS[Q_P!S[JDCN6DCJaQ_DY\JASQ_P!L6STJ8\aQ_PYLMDC]YTN6S[P!¨]N;PYB#B#PYN;^_\cN6TYUTY]

¬®R¯Z°A±#®²/³¯Z´6µY¶

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) T´el´ephone : 02 99 84 71 00 - International : +33 2 99 84 71 00

T´el´ecopie : 02 99 84 71 71 - International : +33 2 99 84 71 71

(5)

/$ Y "# $

u | Ta^haN6ThiT^6TJa^`SUJa^;Q_N6S[NMD=DhaN6Ta@OBD`ADS[JbONMDOJaQRD]N;PYB#B#P!L6SUQCP!UD

àPJaÛDQCPYàN6DHÀDUPVhaNMT]N;PYB#B#P!L6STJUTY]SADPN6DCQZ?aDCN;QZ?ADHÀD^MTUAL6STJa^PàBSU^;^6SUAUDC^

àPJaâJAD-QR[PY^;^6D'ÀTJaJAbCDàD'[PYJa]P!]DC^DC^6LNMbOàASULMD-PYhaN6TAU@CBDÀD-aJASiQCP!LMSUTJàJDCJW

^6DCBHaDÀD/L6DCN;BDC^C! :DohiTYS[JLÀD/aDPÀbKd#"b_L6bÀbCYDCThahbàPYJ^:UD/Q_TJLMD_ALMD/`$aJVLXAhD

haPNML6SUQCASUDCNq`aD]N6PB#BPYSUN6DC^/UDRASUQCP!USU^6b_DO^_\1DO^o]N;PYB#B#P!S[NMDO^/QCP!LMbC]YTNMSUD_UDO^_ Ta^qhaN6bC^6DCJW

LMTJa^b_L;P!LÀD'PYN6LvàPYJa^vQ_D'ÀTB#P!S[JAD:DCLhNMThT^MTJa^haUa^6SUDCaN;^vPYBb_USTN6PYLMSUTJa^C1DQ_P^vÀDC^

]N;PYB#B#P!S[N6DC^N6b_]AUS@ONMDO^DO^ML'b_L;aÀSUbo`PYJaâJADoÀDOAS@OBDqhaPNML6SD Ta^BTJL;NMTJa^%aDÀD

LMDCUDC^]N6PBB#PYSUN6DC^/hDOAYDOJL'&_L;NMDS[JbCN6b_DO^/haPNoaJASiQ_PYLMSUTJ~N;P!L6STJaJAD_UUDY

Ta^o`ATJJATJa^

UDC^haN6TY]N6PB#BDO^'cNMTT]Q_TN;NMDO^6hiTJàPYJL6^àPJaÛDC^ÀDO=QCPY^C!(J=D*)¨D_LC\iaJàDC^-aAL;^ÀD

QRDL6N;P zP!SUDO^ML`AD/BTJL;NMDON+SUDO^ML'hT^6^6S[ADo`bCQCNMS[NMD/`ADC^haN6TY]N6PBBDO^ ¡ B#P!SU]N6DC^ ¡ hiTaN

S[JbCN6DCJQRD]N;PYB#B#P!LMS[Q_PYD\PhahaN6TAQZ?AD,ASPbCLMbPYhhAS-Ab_DP YDOQH^;aQ_Q_@C^/DCJ`abCBTJa^6L6N;PzW

LMSUTJPALMTB#P!LMS-ADY Ta^DCJ~PYLMLMDOJa`ATJa^S[QRSDO^B.&CBDC^/P zPYJL6PY]YDC^o¢'DRAL6DCJa^6STJP!S[^MbCDFD_L

DR£QCPYQRSULMbq`aQ_T`aD

/ ª wCu § {0 | SUJAbCN6DCJaQ_Dq]N;PYB#B#P!LMS[Q_PYD\JASQ_P!L6STJ8\A]N;PYB#B#P!S[N6DC^'Q_P!L6b_]TN6SDCUDC^C\c:NMTT]

(6)

ª ª

} DFhaNMThT^MDS[JVL;?AS[^-haPYhiDCNL6TDO^ML;PYAUS[^6?=P#QRTJJADCQ_LMSUTJ=DCLX:DCDCJV]N;PYB#B#P!LMS[Q_PY¨SUJDONMDOJaQRD

PYJ`L6?ADVDCU`TYUTY]YS[QhaN6TY]N6PB#BS[JA]i } DQR[P!S[B ^6QZ? P~'TN;~S[^#a^MD_A:TNP!LHUDCP^ML

LX'TVN6DCPY^6TJ^_vS[N6^6L_\8SUL/PYUTz^/LMTViD_L6LMDONJa`ADCN;^6L6PYJ`L6?ADaJa`PYBDCJL6PY^6L6N;aQ_L6aN6DC^aJW

`ADONMUSUJA]P!U]YTNMSUL6?aB#^PYJa` hNMTzS[`ADC^PiN;^ML^ML6DCh TNL6?AD=QRTB#haPNMS[^6TJPYJ`SUJL6D_]N;P!L6STJ

T!IKJa`aQRLMSUYD TY]SUQcN6TY]N;PYB#BS[JA]VL6DCQZ?aJaSADO^qSUJ]N6PBB#PYLMS[Q_P!vS[JDCN6DCJQRDYDCQ_TJa`8\1SL

P!UUTz^vLMT AS[QZUHhaN6TA`aaQ_D-DR£QRSUDCJL)P!U]YTNMSUL6?B^C\YB#PYS[JA]qhaN6T!LTYL;?AD^6S]JASQ_PYJLaPQZYW

]N6TJa`oSUJFT]YS[Q)haN6TY]N;PYB#BS[JA]-LMTTJAU/TAQCa^1TJqPY^;hDOQRL;^N6DCPYUN6D_UD_zPJL1LMT]N6PB#BPYLMS[Q_PY

S[JDCN6DCJaQ_DY

>-?ADoS[`ADCPTYa^6SUJa]aJaSiQCP!L6STJVP^'P#Q_TJL6N6TYUS[JA]`AD_S[QRDTN'L6?aDoPJaP!UA^MS[^'T!UPJA]aPY]YDO^

?aP^iD_DCJhaPYN6LMS[Q_A[PYN6U N;ASLMAoSUJQRTB#haaL6P!L6STJaP!/S[JA]ASU^6LMS[Q_^VPYJa`JaP!L;aN6PY[PYJA]aP!]D

haN6TAQRDC^;^6SUJA]i=e JaBHiDCNHT!

¡

aJaSiQCP!L6STJWPY^6DC`

¡

]N;PYB#B#PYNTN6B#PYS[^6B#^F?P YDiD_DCJ`ADRW

YDCThDO` ¢DRiJASULMD :[PYa^6DN6PBB#PN6^C\ 1DRAS[Q_PYaJaQ_LMSUTJaPYN6PBB#PN6^C\DCP`WX`aNMSUYDOJ

c?aN;PY^6DL6N;aQ_L6aN6DN6PB#BPN6^C_C6>-?ADS[`ADCP#TYvQ_TJa^6SU`aDCN6SUJA]#]N6PBB#PYLMS[Q_P!¨S[JDCN6DCJQRDFPY^-P

aJASiQCP!LMSUTJhNMTADOBS[^)SUL6^6D_+JATYL^6TFJADCq\PYL;?ATA]?#QRTN;N6DC^;hTJa`AS[JA]q^ML;a`ASUDC^)^6LMSU¨N6DCB#P!S[J

QRTJiÀDOJLMS[P! FIXL?PYôP![NMDOPYÀiD_DOJÀDCYDCThDO`~S[J~L6?aD#N6DC^6L6N6S[QRLMDO`ÀTB#P!S[J~T!'Q_P!L6D_]TN6SUPY

]N;PYB#B#PYN;^CSUJQRDL;?ADC^6D]N6PB#BPN6^HPYN6DDC^;^MDOJLMS[P!UJaTzJSUJ L6?ADD_[` TYQRTB#haaL6PzW

LMSUTJP!USUJA]AS[^ML6SUQC^_\:D#-SUN6^6LFNMDOQ_PY?ADONMD^6TBDJADCQ_DC^;^6PNM~`aDRiJASULMSUTJ^TNoL6?aDaPY^6SUQ

e`zdMaSDC-SUQ_RWPNKWSUUDC+Q_P!L6D_]TN6SUPY8]N;PYB#B#PYN;^_)>-?ADNMDO^ML-TYL;?ADH^6DCQRL6STJN6PhASU`aVSUJL6N6T!W

`aaQ_DC^-`AD_iJASULMSUTJa^PYJa`=JATYL;P!L6STJa^'TN-aJaSiQCP!L6STJ=PJa`=PYJLMSWJASQ_P!L6STJ8

>-?ADhaPYhiDCNSL;^MDC)S[^TNM]PYJASU_DO`=SUJLX'ThaPNML;^F¢-L6?aDFiN;^MLTJADH^6L6`ASDO^/JASQ_P!L6STJS[JL6?AD

N;PYBD_'TN;qT!+QCP!LMDC]YTNMS[P!A]N6PBB#PN6^PJa`L6?AD^MDOQRTJ`TJADhaN6ThiT^6DC^vL6THa^6DN;P!LMSUTJP!aJaSW

iQCP!LMSUTJ=S[J=L6?ADoN;PYBD_'TN;#T!iJASULMDFPALMTB#P!L6PcN6TYUTY]#SUB#hAUDCBDOJL;P!L6STJa^-T!haN6DC^6DCJLMDO`

P!U]YTNMSUL6?B^PNMDo]YSUYDOJS[J=L6?ADFPhahDOJa`AS8

! #"

³%$&')(+*

"-,

&)(

"

±±

" ( ¯

>-?AD]N6PB#BPYLMS[Q_PYS[JDONMDOJaQRDQ_TB#BHaJaSLXL6N;PY`ASULMSUTJP!UHQ_TJa^6S[`ADCNN;AUD-]N;PYB#B#PYN;^_\z?ADONMD

[PYJA]aP!]DC^PYN6DF`ADC^;Q_N6S[DO`VS[P^MDCL6^-TYvN;AUDC^-TNPYaLMTB#PYL6P#aN6DCPYS[JA]`ATzJP^MDOJLMDCJQRDqS[J

BTN6DHDCDOBDOJL6PYN6haPYN6L6^aJLMSUvL6?ADDCYDCTY):TN6`^_o>-?ADC^6D^6T!WXQ_PYUDC` ¡ ha?aN;PY^6DH^6L6N;aQRL;aNMD

]N;PYB#B#PYN;^ ¡ Q_TJL6N;PY^6L--SUL6?UDRAS[Q_P!USU_DC`=]N6PBB#PN6^C\a?ADONMDHPYaASUL^ML;N6QRL6NMDO^/.B#PYSUJAU

L6N6D_DO^10PYN6D^;ahahiTN6LMDO`P!LDOPY^6L/TJADH'TN;`8P S[JA]SULq`AS)¨DCN6DCJL6\8L6?AD]N;PYB#B#PYNSUDC^

S[JL6?AD/D_ASUQ_TJ¢vPF^MDCLTY8hiT^;^6SUAUD^6L6N;aQRL;aN6DC^)S[^P^6^6TAQRS[P!L6DC`LMTDCPYQZ?'TN;`#SUJL6?ADUDRAS[QRTJ

PYJ`FL6?aDPJaP!UA^MS[^T!iPoha?N6P^MD'BP FhNMTAQRDCDC`FP^6^6DCBAUSUJA]o^6L6N;aQRL;aNMDO^Q_TN;NMDO^6hiTJ`ASUJa]LMT

DCPQZ?FTAQ_QCaN;NMDOJaQRD)TYP/:TN6`FSUJP/ha?N6P^MD'SUJP/^;ASUL6PAD'P Y2NMTB PTN6B#PYhiTYS[JLTYSDC

ha?aN;PY^6D-^ML;N6QRL6NMD]N;PYB#B#PYN;^PYJa`D_ASUQCP!USCDC`]N;PYB#B#PYN;^?P YD'L6?AD^;PYBDDRahaN6DC^;^MSUYDOJADC^;^C\

S[J~L6?aD^6DCJa^6DHL;?aP!L/SLS[^PYP A^hiT^;^MS[AUDHLMT=DRa?AS[ASULP]N;PYB#B#PYN-S[J~TJAD^6A^ML6DCB L6?P!LSU^

.'DCP30D ASUzP!UDCJLLMTP]YSUYDOJ]N6PBB#PNS[J=L6?ADqTL6?ADON-^MA^6LMDCB=

-PY^6S[Q4.TN1QR[PY^;^MS[Q_PY0iQ_PYLMDC]YTN6S[P!z]N;PYB#B#PYN;^:DONMDvS[JL6N6TàQRDOòSUJ65l87PJaòNMD_iJADO`'PBHW

iDC95nOE87vSUJ~PP!LML6DCB#hALLMT]SDHPB#PYL6?ADOBPYLMS[Q_PYaP^MS[^-TNJaPYL6aN;P!UPJA]aPY]YDFQ_TJa^6L6N;aQZW

LMSUTJ^_o>-?ADSUJLMDONMDO^ML6DC`~N6DCP`ADCN/B#P =Q_TJa^;AUL:5;\+lAn!\¨EanY\8l<87vTNaN6L6?ADON/N6DRDONMDOJaQRDO^PYJ`

DRAL6DCJa^6STJa^vT!¨L6?aSU^:aPY^6SUQ:TN6B#P!US[^6B=

}

D]SDPqBS[JAS[BPY^6D_LT!8`AD_iJASULMSUTJa^C\a^6S[JA] PBHW

iDCJATL6PYLMSUTJ#TN:LXAhiDC^=.L;?ADoLMDON6B LXAhiD/S[^a^6DC`VSUJa^6LMDOPY`T!QCP!LMDC]YTNM\S[JTN6`ADONL6TP TYS[`

(7)

.>:AhDO^10 DPY^;^6aBD'L6?ADD_S[^6LMDCJQRDT!¨P^6D_LT!^6ABHiTY[^-SL;?ATAL TN

Q_PYUDC`haN6SUBSULMSUYDoLXAhDO^_\iBP`ADoT!P#^MDCL-T!v PNMS[PYaDO^PJa`P#`ASU^6LMS[JA]ASU^;?ADO`=Q_TJa^6L6PJL

haN6SUJQRS[haP!8LXAhiDqL_)>-?ADF^6D_LTYLXAhiDC^-S[^L6?ADF^;B#P!UDO^ML-^6D_L^;P!L6SU^MSUJA]¢

"! #$

&%

$3*³*'('

.-PY^6S[QqQ_P!L6D_]TN6SUPY]N6PB#BPN10:e aP^MS[QqQ_PYLMDC]YTN6S[P!¨]N;PYB#B#PYNS[^P#L6N6S[hAD

)+*-,/.

1032

\1?ADONMD

.

S[^FPYJPYUh?aPYiD_L .L6?ADVD_S[QRTJ 0 \4 SU^FP^MDCLFT!LXAhDO^HPYJ`

0

SU^PiJASULMD=B#PYhahAS[JA]N6TB65 LMT87/9: PY^;^6S]JASUJa]~P~^MDCLFT!-LXAhiDC^FL6T~DCPQZ?^MABTS[J

L6?aDVP![ha?aPDCL_~I L;?ADCN6DS[^FTJAUTJADLXAhiDTNHDCPQZ?^MABHiTY\vL6?ADV]N;PYB#B#PYNoS[^^;P!S[`LMT

iDH`AD_L6DCN;BSUJAS[^6LMS[QoTNN6S]SU`+)I L6?ADONMDFPNMDqP!LBT^MLVLXAhDO^hDON^6BT\L6?ADF]N6PB#BPN'SU^

^;P!S[`LMTiDHWzPYUADO`8 PJA]P!]YDO^-QRTN6N6DC^;hTJa`AS[JA]#LMTW zP![ADC`=]N;PYB#B#PYN;^'TN;B P^ML;NMS[QRL

?ASUDCN;PYN;QZ?TN-S[JaQ_N6DCP^MS[JA]i

$3*³*'<;

.DCN6SzP!L6STJ8\=/DOJADCN;P!L6STJ 0:TNP]SDCJ ^6D_LTYFLXAhDO^=\L6?aD * >

`ADONMSUzP!LMSUTJNMDCUPYLMSUTJS[^HL;?AD^6B#P!UUDC^6LN6D_[P!L6STJ^6PYLMS[^KS[JA] .JATYL6DVL;?aP!LL6?AD`ADONMSUzP!LMSUTJ SU^

TN6SUDCJLMDO`8\L;?ADq`AS[NMDOQRLMSUTJT!1L;?ADPhahAUSDO`N;AUD@? TNBA QRTN6N6DC^;hTJa`AS[JA]FL6TL;?ADhiT^6SULMSUTJTY

L6?aDPNM]aBDCJL)WX^MDOQRTJa`haPN6PBDCLMDONTY1L6?ADo`ADONMSUzP!LMSUTJVN6aD_W-SUL6?=NMDO^6hiDCQ_L:L6TL;?AD/aJaQRL6TN

WiN6^6L-haPYN;PYBDCLMDCNMWSUJ=L;?ADq^ML;NMS[JA] 0

* >

CDFEG

H

I

?m¢vS

C

* >

PJa`

E

* >

\AL6?ADOJ

C1E

* >

Am¢vS

C

* >

PYJa`

E

*J>

L6?aDCJ

CDFE

* >

TN/P]YSUYDOJ]N;PYB#B#PYN

)K*L,/.

1032

\PJa`PV^ML;NMS[JA]=M

*

MONP%Q%Q%IMBR

. R \ ) ]YDOJADRW

N;P!LMDO^M S)8S

N

%T%Q%

R

UVDXWZY[!\]B0G^

MB_

I _a`b

N

%Q%T%

R

* >

c

JADQ_PYJPY^;^MTAQRS[P!L6DPHaJaQRL6TNMWPNM]aBDCJL)^6L6N;aQRL;aNMDTN'PH]SDCJhaPN6^6D?aSUQZ?S[^PHAS[JaPNM

L6N6D_D?aDCN6DDCPYQZ?S[JLMDCN;JaPYJATA`ADS[^F[PYiD_UDC`-SL;?L6?ADVJaPYBDTY'L;?ADPYhhASUDC``aDCN6SzP!L6STJ

N;ADqPJa`=DCPYQZ?DOPzvSU^-PJ=D_UDCBDCJLT! .

dOeJfhgOikj"l m>-?aD~aPY^6SUQQCP!LMDC]YTNMS[P!]N;PYB#B#PYN#N6DCQ_TY]JaSCSUJA]L6?aD~UPJA]P!]YD

RknR

!KopY

.JaTYLMDL6?aPYL8UPJA]aPY]YDO^Ba^6L1DqTrtsuvwv)0SU^ )<*x,y,

z

n

2[

J{|]}~O

,[

,

w

T^

`I

F2

n , 22y2

>-?ADqJaQRL6TNMWPNM]aBDCJL-^ML;N6aQ_L6aN6DFQRTN6N6DC^;hiTJa`AS[JA]#LMTL6?ADF]DCJADON6PYLMSUTJVT!

nn

SU^L6?ADHaSW

JaPNML;NMDCDA

| ^

A|1~

^z

|1~Fz`

A |

^

|1~

n ~

``

n ~

`Z\a?aDCN6D/L;?ADqNMSULML6DCJVSUJ`ASUQ_DC^]SD

L6?aDqLXhiDqT!DCPQZ?VJATA`AD

'

3*

" ³*'/

"

i³*X° *

" ³*'

e aJASiQCP!LMSUTJP!U]YTNMSUL6?B SU^PJPY]TN6SL;?aB^6TYUS[JA]o^MDCL6^vTYiD aPYLMSUTJa^vTzDCNPo^MDCLT!iL6DCN;B#^_

eUL6?aTA]?SLS[^P#'D_U1JATzJQRTJaQRDOhAL_\i:DFN6DCQCP!U1^MTBDF`ADRiJaSL6STJa^-S[JTN;`ADCNL6ThaN6DCQRS[^6D

(8)

.>1DON6B#^C\1^;aa^6LMSUL6AL6STJa^10/SDCJP^MDCL TY'zPNMS[PYAUDC^qPJa`P^MDCL

_

4_¨T!iaJaQRL6STJ^6ABHiTY[^-SL;?PJP^6^6TAQRS[P!L6DC`FJaBDONQ_P!UUDC`PYN6SLX\zL6?AD-^6D_LPTYiLMDON6B#^

S[^-NMDOQ_aN;^MSUYDC`aDRiJADO`PY^o¢

L b

s/_

&

_

s_

^

N

%T%Q%

I _`

O%

e^6a^ML6SL;ALMSUTJHSU^P-iJaSL6D'B#PYhhASUJa]N6TB L6Tt`aDCJATLMDC` *x, NBA

N

%T%Q%

R A R 2

ehhAS[JA]L6?AD^;aa^6LMSUL6aLMSUTJ L6TP=L6DCN;B

N6DC^;AUL6^S[JPJADC L6DCN;B

.PYJSUJ^ML;PYJaQ_DTY

L10o?ADCN6DP!U)zPYN6SUPAUDC^

_ TY

?aP D#iD_DOJ^MS[BHaL;PYJADCTa^6NMDOhAUPQRDO`

_ =L6?AD^6D_LqTY

^;aa^6LMSUL6AL6STJa^:B#P D/TN;`ADCN6DC`8ve^;aa^6LMSUL6AL6STJ S[^BTN6D]YDOJADCN;P!L6?aPJPF^6a^ML6SL;ALMSUTJ

SvL6?aDCN6DD_ASU^6L6^P#^;aa^6LMSUL6AL6STJ^6aQZ?VL6?P!L *

v

>-?AD'JATYL6STJa^+TYBT^6L+]YDOJADCN;P!aJASDCN .B]08PYJ`oDOPY^6L1QRTBBTJqPYJLMSWS[Ja^6L6PJaQRD.UQCP 0+PYN6D

`aAD/LMTFgTAS[Ja^6TJ 5l; 78PYJa`#cTL6SUJ 5l-7N6DC^;hDOQRL6SD_UY/Ja`ADON)PYSUN6U]DCJADON6PY?hiTYL;?ADC^6DC^

.N6DCJPYBSUJa]TYzPYN6S[PYAUDC^+0 \aB]=PYJ`V[Q_PTYP^6D_LT!vLMDON6B#^-PYN6DoaJAS-aDY

$3*³*'

.B]8\YUQCP 01e5^6D_LT!L6DCN;B#^hSU^vaJASiPAD'S)L6?ADONMD'DRAS[^ML;^P/^6a^ML6SL;ALMSUTJ

.L6?aDaJASDCN+0^6QZ?HL;?aP!L)PJQRThADTYL6DCN;B^

N'PJa`

SUJ SU^aJaSiPAUDY\YL;?aP!LS[^C\Y^6QZ?

L6?P!L

N *

vh~LMT=PN6DCJaPBSUJA]T!zPYN6S[PYAUDC^L6?ADONMDDRASU^6L6^PJASADBT^6L]YDOJADCN;P!

aJASDON-B]8 SU^P#aJaSDONT!P#^MDCL-T!^6D_L-TYL6DCN;B^S)SULaJASDO^DCPYQZ?=^6D_L-T!LMDON6B#^C

e ^MDCLT!:LMDCN;B#^t S[^oPYJLMSWXaJASiPYAUDFS)L6?ADONMDDRAS[^ML;^/PLMDCN;B

.L;?ADPYJLMSWS[Ja^6L6PJaQRD-0^6QZ?

L6?P!L:TNP!U

_ S[J \L;?ADCN6DDRASU^6L6^P^6a^ML6SL;ALMSUTJ ~^;aQZ?L;?aP!L _ *

v)e[Q_PSU^'PBT^ML

^;hDOQRSiQPYJLMSW SUJa^6L6PJaQRD\+L6?P!LqS[^FP!U)TYL;?ADCNqPJLMSWS[Ja^6L6PYJQRDC^oPNMDP![^6TPJLMSW S[Ja^6L6PYJQRD#T!L6?AD

[Q_PahLMT#PNMDOJaPYBS[JA]FT! PNMS[PYaDO^L;?ADCN6D/D_ASU^6L6^'PJASAD[Q_Pa>-?ADoPYJL6SWSUJ^ML;PYJaQ_DT!P

^6D_L-T!v^MDCL-T!LMDCN;B#^SU^L6?ADF^6D_LT!PYJL6SW SUJ^ML;PYJaQ_DC^'T!vDCPQZ?V^6D_LT!vLMDON6B#^C

"! ¥ yAx # { 0yauCu ¥ u ª%$ {yAw ¥ # ª x-y 0 # xzy yAxzu

'P!L6D_]TN6SUPY]N6PB#BPN6^?aP DqDCDCJDC^;^6DCJLMS[P!UV^ML;a`ASUDC`PY^PBDOPYJ=LMT#TN6B#PYSU_DFJaPYL6aN;P!

[PYJA]aP!]DHhaN6TQ_DC^;^MS[JA]iIKJL6?AS[ôÀTB#PYSUJ8\ÜDCPN6JAS[JA]=BHa^6LiDhT^6^6S[ADHNMTB hT^MSULMSUYDSUJ^KW

L6PJaQRDO^'TJAUY\a^6SUJQRDoPQZ?ASU[`V^6D_DOB^'L6T#?P YDDCN6#D_ JAD_]P!LMSUYD/SUJ^ML;PYJaQ_DC^P zP!SUUPAD?ASUD

PYQ ASUN6S[JA]FPHJADC3UPJA]aPY]YD'& )(FPYJaPYCP P65n l 7]SDC^)PFL6?ATNMTA]?^6L6a`aTY8DOPYN;JaPYASUUSLX

S[JL6?AS[^Q_TJLMD_LPJa`=DRa?AS[ASUL6^^6TBDFJATJW L6N6SS[P!+QR[PY^;^6DC^T!Q_PYLMDC]YTN6S[P!8]N;PYB#B#PYN;^'?AS[QZ?

PYN6DFUDCPN6JaPAUDoNMTB hiT^6SULMSUYDFS[Ja^6L6PYJQRDC^C } DFTAQ_^/?ADONMDHTJL;?ADHLX'TQR[PY^;^6DC^-L;?aP!L^MDCDCB

BT^6LS[B#hTNML;PYJL_\AN6S]SU`PJa`W PYUaDC`]N6PBB#PN6^C\Y^6SUJaQ_DL;?AD_#TN6B L6?aDQ_TN6DT!1BAL6SUhaD

DRAL6DCJa^6STJa^C\N6DCB#P!S[JhaN6PQRL6SUQCP!UQ_TB#haAL;PYAUDaJa`aDCNFN6DCP^MTJaPYAUD#PY^;^6aB#hAL6STJa^FPJa`PYN6D

.PYLoDOPY^6LL;?AD_TNMDCLMS[Q_PYU30UDCPN6JPYAUDFN6TB ^6L6N6S[JA]^C } DP![^6T=haN6DC^6DCJLo^MDCYDON6PYD_ALMDCJ^MSUTJa^

?ADOJL6?ADL6N;P!S[JAS[JA]QRTJL6DRAL/iDCQ_TBDC^/NMS[QZ?ADONq¢-P PYS[PYaSUSLXVT!JADC]PYLMSUYDqS[Ja^ML;PYJaQ_DC^TNTY

P#^MDOB#PYJLMS[QoNMDOhaNMDO^MDOJL6P!L6STJTY^6DCJLMDOJaQRDO^_

'

+*

$ "

(3* & (+*&*

"

-,X´

"-,

°3$1&)(

"

±±

" ( ¯/.1( 'z± ¯Z³ (Z° _³° ( $1:*¯Z³

"

1$Z¯

'P!L6D_]TN6SUPY]N6PB#BPN6^'PYJ` q6WNMDCDqQRTJL6DRALKWNMDCDo]N;PYB#B#PYN;^'N6DChNMDO^MDOJL'L6?aDH^6PBDoQ_UP^6^TY

[PYJA]aP!]DC^C>-?aDFSUJADCN6DCJaQ_DFT!Q_TJLMD_LMWN6D_Dq]N6PB#BPN6^. 0NMTB hiT^6SL6SDFS[Ja^ML;PYJaQ_DC^

(9)

Q_PYUQ_TB#haAL;PYAUDqQR[PY^;^T!]N6PB#BPN6^C&~T^6L-PYAL;?ATN;^PY^;^6aBDoS[Ja^ML;PYJaQ_DC^-PNMDqhaN6DC^6DCJLMDO`

LMT]YDCL6?ADON-SUL6?L6?aD_S[N]N6PB#BPYLMS[Q_PY^6L6N;aQRL;aN6DY2iTN! ^C\!L;?ADC^6D-^ML;N6aQ_L6aN6DC``ADC^;Q_N6S[hALMSUTJa^

PYN6DoBPÀDoT!vaJA[PYiD_UDC`=ÀDCN6SzPYLMSUTJVL6N6D_DC^CvIXLSU^-JATzJL6?aPYL-L6?ADq^6D_LT!vÀDCN6SzPYLMSUTJL;NMDCDC^

T!P~]YSUYDOJ SU^N;P!LMSUTJP!\L6?aPYLS[^_\:BP iDNMDOQRTY]JASU_DC` ^6TBDL;NMDCD=PALMTB#P!LMTJ

5l!kA\il" 7

IKJ#Q_P^MD-TY¨QCP!LMDC]YTNMS[P!]N;PYB#B#PYN;^C\!`ADCN6SzPYLMSUTJL6N6D_DC^PYN6D'TNMSUDCJL6DC`8v>-?a^_\PYJSUJ^ML;PYJaQ_D-SU^)P

aJaQ_LMTNKWXPYN6]aBDOJLv^6L6N;aQRL;aNMD=.^6D_D-ÀD_iJASULMSUTJ#E 0Z\!?ADONMDDCPQZ?JaTàD'S[JaÀS[Q_PYLMDO^vL6?ADLXAhD-TY

L6?aDQ_TN;NMDO^6hiTJÀSUJa]ÀDCN6SU PYLMSUTJ8! :TB#haPNMDO`qLMToL;?AD'QCPY^6D:TY ^_\!PY]TN6SL;?aB#^ÀDCYDCThDO`

^6TPN/iDCJAD_LNMTB PYJPYASUS[PYN6SUJTN6B#PYLMSUTJ8\8L;?ADhiT^6SULMSUTJa^T!:L6?ADPYN6]BDOJL6^C\L;?aP!L

B#P =iDH?aPN6`L6TTaL6P!S[JS[JhaN6PQRL6SUQ_DY-eUL6?ATA]? (FPYJaPYCP P^;A]Y]DC^6L6^-L;?AD. L6?ADCTN6D_LMS[Q_PY0

hiT^;^MS[ASUSULXL6TDOPYN;J5W PYUaDC`]N;PYB#B#PYN;^NMTB ^6L6N6SUJA]^DCJaBDON6PYLMS[JA]P!UhT^6^6S[AD

aJaQ_LMTNKWXPYN6]aBDOJL-^6L6N;aQRL;aN6DC^C\L6?aDHaJaÀDON6^6L6PJaÀS[JA]T!L;?AD^6L6N;aQRL;aN6DqT!L6?ADaJaÀDONMUSUJa]

^6DCPYN;QZ?^;haPQRDN6DCB#P!S[Ja^oS[Ja^6A£Q_SDOJLqLMT~?AThD#TNoDR£QRSUDCJLFP!U]YTNMSUL6?B^C

}

DhaNMThT^MDPJ

S[JL6DCN;BDC`AS[PYN6^MDCLML6SUJA]i\aUDCPYN;JAS[JA]NMTB LMTL6P!UUTNhaPNML6SUPYUaJaUPDCDO`=`aDCN6SzP!L6STJL;NMDCDC^C

$H¯ $ "

(I

¯µ "

1$' . (+*&* "

³%$&')(+*

"-,

&)(

"

±±

" ( ¯ " ¯ " ," ³³*1$' .o³$ (Z±H¯

>-?ADQ_UP^6^ ) T!-NMSU]YS[`]N;PYB#B#PYN;^oBP DhPYN6LMS[P!U~TN6`aDCN6DC`-SL;?L6?AD^;aa^;aB#hAL6STJ

N6D_[P!LMSUTJ~¢ ) N ) S)S

) N ( )

/&)(FPJaP!OP 'P 5nOl871haNMTzDC^L6?aPYL

^ ) `TN;B^

PqQRTB#hADCLMD-[P!L6LMS[QRD-S¨PoL6ThD_UDCBDCJLS[^)PY``ADC`8\QRTBhaDCLMS[JA]oL6?AD[P!L6LMS[QRD^6ToL6?aPYLDCPYQZ?#haPYSUN

T!v]N;PYB#B#PYN;^'?aPY^-PUDCPY^6L-ahahiDCNiTJa` .[a 0

I SUL'DRASU^6L6^=.SDY)`AS)¨DCN;^N6TB L6Th 0Z\L6?ADo[aTY1LX'TH]N;PYB#B#PYN;^B#P iDo`aDRiJADO`V^6S[Bha¢

1DCL ) ^

`

* ,y,

@ 0 ~ 2 . ~ 2 1DCL

*

^) ^) N

)

``I`Z

>-?ADOJ

n ^) N ) ` * ^)

N )

` v

>-?AD#]N6DCPYLMDO^MLTz'DCNiTaJa` .]Y[ 0T!:LX'T]N;PYB#B#PYN;^/B#P ~iD`ADRiJaDC`SUJP`aaPY'P ¢

1DCL n ^) N ) ` *

^

) ^) N )

``I`Z

aNML;?ADCN;BTN6DY\ (FPYJP!CP P-QRTJa^6SU`ADON6^1L6?AD^;aiQ_UP^6^gg TYiNMSU]YS[`q]N6PBB#PN6^8S[JHN6DC`aQRDO`

TN;B PJa` L;?ADQR[PY^;^g ae T!/N6S]SU`aJaQ_LMTNKWXPYN6]aBDOJL^ML;N6QRL6NMDO^_e ]N6PB#BPNHS[^#S[J

N6DC`aaQ_DC` TN;BSJaT^;B#P!UDONH]N6PBB#PNHhaN6TA`aaQRDO^HL;?AD^6PBDV^6D_L#T!JaQRL6TNMW PNM]aBDCJL

^6L6N;aQRL;aNMDO^ .P!W^6L6N;aQ_L6aN6DC^+0 DH^;?ATz^-L;?aP!LL;?ADH^6L6N;aQRL;aN6D

^

t`SU^SU^6TBTN6ha?aSUQLMT

L6?aD^6L6N;aQRL;aNMD

^

) `R\L;?a^/QZ?PYN;PYQRL6DCN6SCSUJa]L;?AD#^MDOPYN;QZ?=^;haPQRDFTNL;?AD]N6PB#BPYLMS[Q_PY

S[JDCN6DCJaQ_DqhaNMTAUDCB=

* $ "

(3* &(+*&*&(

"

±±

" ( ¯.1( '!± µ "

(Z³ *

"-,, ,"

$ ,

$F¯Z³(Z° R³ ° ( $R¯

dOeJfhgOikj"l m } D-SU[a^6L6N;P!LMD'L6?aDDO?aP STNTYiL;?ADP!U]YTNMSUL6?aB#^-SUL6?L6?AD'TUTz-SUJa]/D_APB#hAD

TJa`=SUJ95n 87)¢

? .&PNM\A .USUYDC^C\!T?J 00Z\

? ."!T?aJ8\A .JATz^C\&PNM300 \

? ."!T?aJ8\A .USUYDC^C\^6PJ 0 0Z\

? .&PNM\A .JATz^C\? ."!T?J8\A .US[!DC^C\a^;PYJ 0 00 0

-a^6C!Tz^;S 5-7?PY^haNMThT^MDO`PYJ PY]TN6SL;?aB (FPJaP!OP 'P=^;?ATz^FL6TUDCPYN;JL6?aDVQR[PY^;^FTY

N6S]SU`V]N;PYB#B#PYN;^S[J=L6?ADqUS[BSULN6TBP^6D_Lc3T!PzWX^ML;N6QRL6NMDO^_

(10)

.N6DC^;h8 NQ

0PJa`LXAhD N.N6DC^;h8

0S'L6?AD#haPYN6DCJLJATA`AD ? |

^ n `

.N6DC^;h8A |

^

n

`:?PY^LXAhD@ Nz

lA :TYUDOQRLL6?ADqLXAhiDC^-TYUDCP DC^C\hNMTA`aaQ_SUJa]L;?ADq]YDOJADCN;P!TN6B ) ^

`Z

Ea">N6LMTQ_TB#haAL6D * ^) `Z

I SUL-DRAS[^ML;^_\AL;?ADF^MTUaLMSUTJVSU^ ) ^

` * ) ^

`

>-?AS[^/PY]TN6SL;?aB N;aJa^/S[JS[JADOPYNL6SUBD-SL;?~NMDO^6hiDCQ_LL6TL6?aDJaBHiDCNT!)S[Ja^6L6PYJQRDC^/PYJa`~SU^

P![BT^6LS[JADCPN-SL;?NMDO^6hiDCQ_L'L6T#L6?ADF^6SCDqT!SUJa^6L6PJaQRDO^_

}

DhaN6ThiT^6DS[JL;?ADPhahiDCJa`ASPcNMTT]HhaN6TY]N6PB QRTB#haALMS[JA]g .c 0Z /JASiQ_PYLMSUTJ-SUL6?

TAQ_QCaNKWXQZ?ADOQZS[^vNMDaSUN6DC`8\z^6SUJQRD'SLvBS]?LvhaN6TA`aaQRD:SUJAiJASULMDLXAhDO^TL6?ADONM-S[^6D .SL;?AD-haNMTT]

QRTB#hASUDCNoÀTDO^qJATYLqS[B#hADOBDCJLqN6PYLMSUTJaPYvJASQ_P!L6STJàDRPYaLC\^6L6PYJàPYN;àJaSiQCP!L6STJ

S[^-^6£Q_SDOJL+0

PzWX^6L6N;aQRL;aNMDO^PYN6DoN6DChNMDO^MDOJL6DC`VPY^LMDON6B#^TYL;?ADoTN;B

!D^

v 5 n v V

n uvwv

5vs

n uvwv`

?ADONMDogAUD PYiD_8S[^.aPQZPYN;``aSUN6DCQ_LMSUTJ 0TN' .TN6'PN6`=`AS[NMDOQRL6STJ 0

1DOP YDO^'PNMDT!vL6?aDoTN;B .%ABHiTY0

dOeJfhgOikj"l m>-?a^C\ATNDRaPYB#hAUDoSU^N6DChNMDO^MDOJL6DC`-SL;?VL;?ADoTYUUTz-SUJA]LMDON6B#^q¢

J . 8\.#&PNM 0 \J .K\.S[!DO^10Z\.#!T?aJ0 0 0 \J .8\.#!YT?aJ0 \J .K\.JATz^10Z\.#&PNM 0 0 0Z\

J . 8\.#!T?aJ0 \J .K\.USUYDC^+0 \.Aa^6PJ00 0Z\

J . 8\.#&PNM 0 \J .K\.JATz^10Z\J .8\. !T?J0Z\J .K\.S[!DO^10Z\.#a^;PYJ0 00 0 0

>-?ADFPY]TN6SL;?aB haN6T`aQRDO^L6?ADoTUTz-SUJa]N6DC^;AUL6^-P!L-DOPYQZ?V^ML6DCh¢

IKJa^6L6PJaQRD#n#¢g 5!YT?aJW \&PYN6 W \AUSUYDC^MW.

L+07

IKJa^6L6PJaQRDFlV¢g 5!YT?aJW \&PYN6 W \aJATz^MW .

L+0\S[!DO^KW1.

L+0 7

IKJa^6L6PJaQRDE¢g 5!YT?aJW \&PYN6 WH\Aa^6PJW \JATz^MW .

L10H\S[!DO^KW1.

L10 7

IKJa^6L6PJaQRD ¢L;?AD^6TY[AL6STJ3SU^g 5!T?JWL_\ &PNM WLC\ ^6PJWL_\JATz^MW1.L

L10 L_\

USUYDC^MW .L L+0zL 7

>-?AD-UDRAS[QRTJHSU^NMDOhaNMDO^MDOJLMDC`H-SL;?#PYJeJ L6N6D_D. ¡ aP![PYJaQ_DC` ¡ L6N6D_D\zTNv?aSUQZ?L6?aD?aD_SU]?L6^

T!vL6?aDFLX:T^;aAL;NMDCDC^-S[^;^6ADO`VNMTB P#]YSUYDOJJATA`ADF`AS)DONVPYLBT^MLHn80 \iP!UTz-S[JA]#TTh

PYJ`ah`aP!L6DSUJ

^

`Z\SB S[^L6?AD^MSU_DT!L6?ADUDRASUQ_TJ8 TYL6DL;?aP!L (FPYJP!CP P

P![^6ThaN6ThiT^6DC^:SUJ 5nOl 71PcN6TYUTY]HS[B#hAUDCBDCJL6PYLMSUTJT!L;?ADqB#P!S[JP!U]YTNMSUL6?B^'?ADo`ADC^;Q_N6S[DO^_

Tz'D_DCNC\SL#S[^TJAUTN#PYJ5SU[a^6L6N;P!LMSUTJ5haaN;hT^MD S[^haN6TY]N6PB^PYN6DVJATL#TJAUYDONM

S[JADR£QRSUDCJLAL`AT JATLhaN6ThiT^6DP^MAJL6?ADCLMS[QSDC TYL;?ADPY]TN6SL;?aB=">-?AS[^hiTYS[JLSU^

S[BhiTN6L6PJLiDCQCPYa^6DPQ_TB#haPYQ_LQRTA`AD=SUJUTY]YS[QhNMT]N;PYB#BSUJA] .P ¡ UDCPJhaN6TY]N6PB ¡ \)PY^

SULS[^QCP!UDO`SUJ 5E-70HQ_PhAL6aN6DL;?ADVDO^6^6DCJQRDTY/PYJPY]TN6SL;?aBPJa`UDCP`a^HL6TD_£Q_SDOJLPYJ`

DRAL6DCJa`aPAUDS[B#hAUDCBDCJL6PYLMSUTJa^C

} DF^MUSU]?LMUS[BhNMTzD/L;?ADqTN6S]SUJP!8P!U]YTNMSUL6?aBSUJ=LX'TP A^_

vSUN;^6L_\A'DohNMThT^MDoPYJSUJaQCNMDOBDCJL6PY8LX:T#^ML6DCha^-PY]TN6SL;?aB ¢vDCPQZ?V^6L6N;aQRL;aN6D/S[^-haN6TQ_DC^;^MDO`

S[J L6N6J8\'NMDOQ_aN;^6SD_UP^6^6S]JAS[JA]PLXAhD=LMTSL;^JATAÀDC^#PJa` S[B#BDOÀS[P!LMDC hiàPYLMS[JA]L6?AD

(11)

LXAhD/T!8L6?aD/^6BTiS[J#L6?aD]N;PYB#B#PYNC ()AhaTSL6SUJA]L6?ADPY^;^MTAQ_SUPYLMSUSULXHTY1aJASiQ_PYLMSUTJ8\L6?aSU^

ThiDCN;P!L6STJPYUTz^LMTF`ADCLMDOQRLvP!SU[aNMDO^PY^)^6TTJPY^hiT^;^MS[AUD-PYJa`L6?aSU^)P`AzPYJL6PY]YD'-SUN6D_DCP!

LMTiDS[B#hTNML;PYJLTN/D_ALMDCJ^MSUTJa^/T!)L;?ADaPY^6S[QHP!U]YTNMSUL6?BV\?ADOJ~SULS[^Q_P!UUDC`PVJaBHiDCN

T!vLMS[BDC^TN-zPYN6STa^-haPN6PBDCLMDON:zPYUADO^_&~TN6D_TzDCNC\L;?ADF]N;PYB#B#PYN'S[^QRTB#haAL6PAUD-SUL6?

P#^6hPYQRDqQ_TB#hAUDRASLXVJATYL-`ADOhDOJa`AS[JA]TJ=L6?aDFJBHiDCNT!SUJ^ML;PYJaQ_DC^C

>-?ADOJ8\'D/`aTHJATYL:NMDaSUN6DL6?aD/^6L6N;aQRL;aNMDO^)S[Jc L6THD/UPDCDO`8eUhiT^;^6SUAUDP^6^6S]JaBDCJL6^

PYN6DqQZ?ADCQZYDC`VJATJWX`ADCLMDCN;BSUJaSU^6LMS[Q_PYUY

dOeJfhgOikj"l m6iTNS[Ja^6L6PYJQRDY\ATaNDRaPBhaDqB#P iDFNMDOhaNMDO^MDOJLMDC`-SL;?=LMDCN;B#^

J . N \.#&PNM 0 \J .

\.USUYDC^+0 \. !T?J0 00Z\J . N \.#!YT?aJ0 \J .

\.JATz^+0 \. &PYN6 0 00 \

J . N \ .#!YT?aJ0 \J .

\.S[!DO^10Z\.#a^;PYJ$0 00 \

J . N \.#&PNM 0 \J ."

\.JATz^10Z\J ."!\. !T?aJ$0Z\J . \.S[!DO^10Z\.#a^;PYJ00 0 0 0 \

?ADONMD=ahahiDCN;Q_PY^6D=LMDCN;B#^PNMDVzPYN6SUPADO^_IXLhaN6TA`aaQRDO^^6TY[ALMSUTJa^^;aQZ? L;?aP!L=¢ N *

@N * n

\

* * s~PJa`N

N

@N

$

AK\)8aa8\)8\) ))

>-?AS[^[PY^6LBTA`ASiQCP!LMSUTJ?aPY^:SUB#hiTN6L6PJL'QRTJa^MDADCJaQ_DC^)NMTB PQRTBhAL6PYLMSUTJaPYPJa`#N6TB

PoUDCPYN;JAS[JA]qhTSUJL)TYSUD_q 1DCL

! _ `ADOJATYL6DC^L;?AD^MSU_D-TY8L6?AD

V

|

^6L6N6S[JA]oSUJ#L;?ADUDCPYN;JAS[JA]q^MDCL_

S[JaQRDPYJP!W^6L6N;aQ_L6aN6DFS[^/PaSUJaPNM=L6N6D_D\iSUL6^oJaBDONT!JaTJL6DCN;BS[JaPYJATA`ADO^S[^

!

_hr

Y

>-?ADJaBDON)TY8hiT^;^6SUAUDP^6^6S]JaBDCJL6^TNL;?AD[PYiD_iT!8L6?ADO^MDJATA`ADC^)SU^'P!LBT^ML7

RN

.JPYBD_UY\aDOPYQZ?=JATAÀDqB#P DPPYQZ'PN6àJaQRL6STJTN-PTN6PYN;àJaQ_LMSUTJ 0ZeUL6?aTA]?

L6?aSU^::TN6^6LKWXQ_P^MDPYJP!U^6S[^SUJL;NMTA`aaQ_DC^:PYJ#DRahiTJADOJLMS[P!aPQRL6TNC\!PzWX^6L6N;aQRL;aNMDO^)B#P iD/haPNKW

LMS[P!UU[PYiD_UDC`8#aN6L6?ADON6BTN6DoSL-S[^JATL^MS[B#hAUDqLMTD_zPYUaPYLMDqL;?ADFJaBHiDCN-TYvQZ?aTYS[QRDC^L;?aP!L

PYN6DHQZ?ADOQZ!DO`SUJ~hN6PQRLMS[QRD\iL;?AS[^/JaBDONiD_S[JA]DCN6=`ADOhDOJa`ADOJLTJL;?AD#^MSU_DFTY)L6?ADD_ASW

QRTJSUL6^6D_PYJa`L;?AD^ML;NMDOJA]YL;?TYQ_TJa^6L6N;P!S[JL6^oTa^MDONMDC`TJNMDaDCJLMUTAQ_QCaN;NMS[JA]=:TN6`a^

.TN'TaN'^MS[B#hAUD/D_APB#hAD\L;?ADCN6DoPYN6DTJa #^MTUAL6STJa^:SUJVPH^;haPYQ_DT!:n <lHhiT^;^MS[ASUSULMSUDC^+0

c

N;`ADCN6SUJa]FSUJ^ML;PYJaQ_DC^:-SL;?N6DC^;hDOQRL'LMTHL;?ADo^6aB TY+N6D ADCJQRSUDC^:T!+SUL6^':TN6`^)S[JL6?aD/?ATD

UDCPYN;JAS[JA]#^MDCL^MDCDCB#^-P]YTTA`V^6L6N;P!L6D_]YL6TNMDO`aaQ_DL;?ADFJaBHiDCNTYvhiT^;^6SUAUDqPY^;^MSU]JBDOJL6^C

iN6TB P~UDCPN6JaSUJA]~hiTYS[JLHTYSUD_q\vUTT^6DCJAS[JA]~L;?ADVN6D AS[NMDOBDCJLqTNHTN6SDOJLMDC``aDCN6SzP!L6STJ

L6N6D_DO^DOPY`a^#L6TS[JLMDCN6DC^6LMS[JA]hT^6^6S[ADD_L6DCJa^6SUTJa^T!L6?ADUDCPN6JAS[JA]Q_N6SL6DCN6STJ8>-?ADS[`ADCP

S[^FLMTThAL6SUBSU_D^6TBDaJQRLMSUTJD_ahaNMDO^6^6S[JA]L6?ADVQRTB#hAUDRASULXTY-L6?ADS[Ja`aQRDC` ]N;PYB#B#PYNC

} D=]SDS[J L;?ADPYhahiDCJa`aS LX'T^6SUB#hAUDSUB#hAUDCBDOJL;P!L6STJa^T!/^;aQZ?QCNMSULMDONMS[P¢=L6?ADViN;^ML

TJaDHQRTJa^MS[^6L-LMTaL;?ADHJaBHiDCNT!)haN6SUBSULMSUYDFLXAhiDC^SUJL;?ADF]N6PBB#PN_\aL;?aP!LSU^]YDCJaDCN;P!U

JATzJL6TD ASULMDoTzAL6?ADF^6DCQ_TJa`VBS[JAS[BSCDC^L6?aDL6TYL;P!+JaBHiDCN'TY^6BTU^a^6DC`VS[J

L6?aDHNMDOhaN6DC^6DCJL6PYLMSUTJTYL6?ADq]N6PBB#PN.JATL-LMTiDFQRTJa^6DC`=-SL;?BSUJAS[B#P!]N;PYB#B#PYN;^:TY

-a^6C!Tz^;SaPYJa`#cvDOJaJ 5k)7 \?ADONMD-L;?ADLMTL6PYiJaBHiDCNT!8LXAhDO^)S[^)BSUJaSUBSU_DC`+)>-?ASU^:BDCPzW

^;aNMDS[^QRTJa^ML;PYJLPYJa`VL6?a^-JATL-NMDCDC PJL:TNNMSU]YS[`]N6PB#BPN6^+0 NM] BSUJ ^6SU_DohaNMTA`aQRDC^

-SUL6?aJA[PYiD_UDC`=P!W^6L6N;aQRL;aN6DC^PaJAS-ADF^MTUaLMSUTJ.L6?aDH^6PBDo^6TY[AL6STJVP^-NM]#TNUPDCDO`

PzWX^6L6N;aQRL;aNMDO^10Z=e/JSUJL6DCN6DC^6LMS[JA]~ThiDCJhNMTADOB S[^FL;?ADDRAS[^ML6DCJaQ_DT!hiT^;^MS[AUDNMDCUPYLMSUTJa^

iD_LX'D_DCJ^6TY[ALMSUTJ^TNq`AS)DONMDOJLqUPDCU^#¢HPNMDL6?aDCN6DPYJ~]YDOJADCN;P!USULXTN;`ADCN6SUJa]=iD_LX'D_DOJ

^6TBDq^MTUAL6STJa^ 'PJTJADq`AD_L6DCQRLQ_TJa^6L6PJL'LXAhiDFPY^;^MSU]JBDOJL6^'SUJPY+^6TY[ALMSUTJ^

* $ "

(3* &-,/X´

"),

°3$F&(

"

±±

" ( ¯

(FPYJP!CP PF?aP^-haN6TzYDC`L6?aPYL-L6?ADFQ_UP^6^'TYvW PYUaDC`V]N;PYB#B#PYN;^S[^DOPYN;JaPYaD/NMTB ^6L6N;aQZW

L6NMDO^_D-P![^6TohNMThT^MDO^PJPY]TN6SL;?aB L6?P!LvSU^PYJDRALMDOJa^MSUTJT!L6?ADN6]oP!U]YTN6SUL6?aB=\!aP^MDO`

(12)

TN6B#PYUY\8P=YWXhaPNML6SUPYaJASDON/TY:P=^MDCL/TYLXAhDO^>SU^oP^;aa^6LMSUL6aLMSUTJ

QV

^;aQZ?~L;?aP!L

u

#z^

, 2 `

Ve WhPYN6LMS[P!)aJASDONqT!-P^MDCLqT!^MDCLqT!LXAhDO^qSU^HP=WXhaPYN6LMS[P!

aJASDONT!P!U8SL;^-D_UDCBDCJL;^_

eJTL6?ADONqD ASUzP!UDCJLq`ADRiJaSL6STJTNqWhPYN6LMS[P!aJASDCN;^qS[^qL6?P!LqL6?aD_PNMDaJaSDON6^oTYW

haPNML6SL6STJa^ .?ADONMDPoYWXhaPNML6SL6STJqSU^PhaPNML6SL6STJF-SUL6?P!LBT^6LqDCDOBDCJL6^S[JHDOPYQZ?HaTAQZ 0

>-?ADF`AS£Q_AULX=SU^-L;?ADCJL6ThaN6ThiT^6DoL6?ADH`aDRiJASULMSUTJ=TYPQ_TJaQ_DChAL^6S[BSU[PYN-L6TB]^_\a-SUL6?

L6?aD`AS)DONMDOJaQRD-L;?aP!L)BAL6SUhaDS[JaQ_TB#haPYN;PYaD-^6TY[ALMSUTJa^B#P DRASU^6L_ } DJAD_DO`#LMTFQRTB#haALMD

L6?aD'^6D_L

0

) TYiB#PzAS[BPYUo]YDOJADCN;P!YWXaJASDON6^C'(FPJaP!OP 'P-a^6DC^L6?aD'^6DCQ_TJa``ADRiJaSL6STJ

T!WhPYN6LMS[P!8aJASDCN;^LMTTAQ_^-TJVL6?ADF^6D_L r 0 )

TYvB]^TYvWXhaPYN6LMSULMSUTJ^_

r 0 )

^

` *x, ^

` /

V@

r

u UV]UV w!

s 2 %

>-?AS[^^MDCLQ_TJL6PYSUJ^

0

) aaLvB#P FaJATN6L6aJaPYLMDCFQ_TJL6PYSUJHTYL6?aDCND_UDCBDCJL;^_IXL`ATDC^vJATYL

haN6DCQ_Ua`aDC^-UDCPN6JaPASUSULXT!L;?ADFQR[PY^;^-T!W zPYUADO`=]N;PYB#B#PYN;^-aALUDCP`a^-LMTPJP!U]YTN6SUL6?aB

L6?P!LB#P haN6TA`aaQRDoL6TTB#PYJ^6TY[AL6STJa^SUJP#haN;PYQ_LMS[Q_P!8Q_TJLMD_LC

IKJTNoDRaPYB#hAUDY\L6?ADPY]TN6SL;?aB ]=iJ`a^HlYl=^6TY[AL6STJa^TNqol=PYJa`[PYiD_UDC`SUJ^KW

L6PJaQRDO^_\l)<</TY8?ASUQZ?PNMD-B#PzAS[B#P!U]YDCJaDCN;P!2DiJa`a^nOl!kzpp/^6TY[ALMSUTJ^-SL;?aJA[PYiDRW

UDC`VSUJa^6L6PJaQRDO^_\8n l!ky);qT!v?ASUQZ?=PYN6Do`AS)¨DCN6DCJLC)>-?ASU^[PY^6L-NMDO^6aL'SU^QRTB#haaLMDC`VS[J </TJ

PYJaL;N6P^6haPN6Q-SUL6?TaNhaN6TY]N6PBaAL/SLQRUDCPNMUV`ADOBTJa^6L6N;P!L6DC^-L;?aP!LL;?AD^;aa^;aB#hAL6STJ

haN6TAUDCB iDCQRTBDC^N6PhASU`a=SUJL;N6PQRL6PAUDY\DCYDOJ=TN^6B#P!U1D_aPYB#hAUDC^Ce^P^6SU`ADD*)¨DCQ_L_\SL

P![^6T^;?ATz^L6?P!L-D ASUzP!UDCJL-^MTUaLMSUTJa^-PNMDohT^6^6S[ADTN`AS)DONMDOJL[PYiD_USUJa]^C

>-?ADP!U]YTNMSUL6?aB haN6ThiT^6DC`# (FPYJaPYCP PS[^:PJ#SUB#BDC`aSUPYLMDD_ALMDCJ^MSUTJTY ^MO!Tz^;S^

N6]P!U]YTNMSUL6?BV\?ADONMD r 0

) S[^'Q_TB#haAL6DC`SUJa^6LMDOPY`T!1B]^Cve/^:TN'L6?ADoQ_P^MD/T!N6]\

'DFhaNMThT^MDqL6TTYUUTz PJVS[B#haN6TzYDC`=S[JaQ_N6DCBDOJL;P!1^6L6N;P!L6D_]LMThi`aPYLMD r 0

) ->-?AD

S[JDCN6DCJaQ_DqT!WzP![ADO`V]N6PB#BPN6^:TN

nS[JL6N6TA`aaQRDO^PJADC haN6TaDOB-SUL6?N6DC^;hDOQRL-LMT

N6S]SU`]N6PB#BPN6^C TN/P]YSUYDOJ:TN6`8\¨PLXAhiDB#P D#a^6D_UDC^;^S[JL;?AD^6DCJ^MDL6?aPYLSUL/S[^/P

BHaL6SUhAUDTAQCQ_aN;NMDOJaQRDT!aPYJATL6?ADON+LXAhiDT!aL;?AD:^;PYBD)'TN;`81eL;?ATa]? (FPJaP!OP 'P`ATDC^JATYL

BDCJLMSUTJ#L;?AS[^haN6TAUDCB=\PqQRT^6LMUN6DC`aJa`aPJaQRLMDC^6L)S[^JADOQRDO^6^;PYN6FLMTQZ?ADCQZHL6?ADO^MDBAL6SUhaD

TAQ_QCaN6N6DCJQRDC^C1IKJTN6`ADONvLMTFN6DC`aQRD-L6?aSU^:QRT^6L_\Y:DhaN6ThiT^6DLMTqTN6aSU`#BHaL6SUhAUDTAQ_QCaN;NMDOJaQRDO^

PY^^6TTJP^:hiT^;^6SUAUDY\AL;?aP!LS[^_\A`aNMS[JA]L6?ADoD_zPYUaPYLMSUTJT! r 0 )

)>-?AS[^PY^;^6aBDO^:L;?aP!L

S[JAD aPYLMSUTJa^'PYN6DS[JL;NMTA`aQRDC`LMT#QRTJ^ML;N6PYSUJLaJaSiQCP!L6STJ8 S[JaPYUY\'D/`AD_iJADoPYJa`^MDL6?AD

TYUUTz-SUJA]#`AS[^dMJaQRL6SDFaJASiQ_PYLMSUTJ¢

u

!V s ^

` *

|

#yV

s

^

`

?ADONMD

|

S[^-L6?aDF^MDCL-T!DCDOBDCJL6^ASULN6TBL;?ADF^6D_L-T!LXAhDO^B"S[J=?AS[QZ?TJADqT!vL6?AD

LXAhD/?aPY^:DCDCJaJaSDO`-SUL6?

PYJ`

#yV

s

^

`SU^:LXAhD

S SU^'^6L6N6SUQ_LMU]NMDOP!LMDONvL6?aPJL6?aD^MSU_D

T!P"PJa`

*

TN-PY1LXhiD

S[J H

r 0 )

^, N

%T%Q%

I R 2

`'B#P L6?aDCJDFQ_TB#haAL6DC`=S[JaQ_N6DCBDCJL;P!U-SUL6? u

!V

s ¢

N * u

!V s

^I

N ` * u

!V s

^ N

I

`

%Q%T%

R * r 0

)

^ , N

%Q%T%

R 2 ` * u

!V s

^ R N

R `

>-?ADHTN;`ADCN6DC`VSUB#hAUDCBDOJL;P!L6STJ:DFhaN6ThiT^6DoSUJL;?ADHPhahDOJa`AS=?aP^PYJ=S[JLMDCN6DC^6LMS[JA]haN6T!W