Exploiting Symmetries to Test Programs

(1)

HAL Id: inria-00071776

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

Submitted on 23 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

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,

Exploiting Symmetries to Test Programs

Arnaud Gotlieb

To cite this version:

Arnaud Gotlieb. Exploiting Symmetries to Test Programs. [Research Report] RR-4810, INRIA. 2003.

�inria-00071776�

(2)

ISRN INRIA/RR--4810--FR+ENG

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

Exploiting Symmetries to Test Programs

Arnaud Gotlieb

N˚4810

Avril 2003

THÈME 2

(3)

(4)

+-,/.103246587:9<;>=@?BA1C

DFEHG/IJK'LNMPO/QHRSJ(TVUXWYRVZ[RSJ/T

J[\]Z[^_T`ZabT#cedfI'g3UXTVR`hYabJ

ikjlU_mnJ[\]o^_Q:pqJ

rs^_tHt3UXju\]pqJvjlJ/ZEHJ/jlZEHJwQ'x_yBzH{/|}L~fjuRVTK_|Y|XLK_|*tb^XWXJ/c

/[HXX dfIIJ\ujlRVJ/csUX\uJ/Q8^_tHt3J/^Xj^XcstHjuUYt:J/je\lRSJcsUXI^XQBd-^_ju\uRS:Z[^XTcuJ\u\uRVQHWYc/FQ8ikjlUXWXj^_I

DJ/ce\uRVQHW:X\lEHJ[dZ[^XQg:JfRSJ/Jp^XcktbjuUYt:J/je\lRSJc1U_#tHjlUXWYjl^XIc1^_QbpZ/^_Qg3J]abcuJ/p\uU'ZEHJZ'\lEHJZ[UXjljuJZ\u

QbJ/clc]UXk\uEHJZUYItHaq\uJp8UYaq\lZ[UXIJ/c/Q\uEHR`cPtb^_t3J[j JZUYQbceR`pqJ/jPcudfIIJ[\ujlRSJcs\lUg3J*t3J[jlI'aq\^\lRSUYQ

jlJ[T`^\lRSUYQbcPg:J[\nJ/J[Q"tHjlUXWYjl^XI¡J¢qJ/Z[aq\uRVUXQbc(^XQbp£abcuJ*\lEHJ[I¤\uU¥^Xaq\uUYI^_\uJ\uEbJ\uJ/ce\uRVQHW¥tHjlUqZJcuc/¦}J

RVQB\ujlUqpqabZJP^'cuU_\nF^_jlJF\uJcn\lRSQHWtb^Xjl^YpqRSWYI§Z/^_TVTSJp dfIIJ\ujlR`Z]DJ/ce\uRVQHWbfEHJ/juJP^_aq\lUXI^\lRVZs\uJ/ce\pb^\l^

WYJ[QHJ/jl^_\uRVUXQ}RVcZ[UXaHtbTSJp}RS\uE¨cudfIIJ[\ujlRSJc(ZEHJ/ZfRVQHW-\uU¥aHQ:ZUXJ/jv©^_aHTS\lcRSQbcuR`pqJ\uEHJtbjuUYWXj^_Ic[~

tbjl^YZ\uR`Z[^XTtHjuUqZ[J/pqaHjlJ*ªUXj(ZEHJ/ZfRVQHW\uEb^_\'^tHjlUXWYjl^XI¡cu^_\uR`cnbJc(^WYRSYJ[Q"cedfIIJ\ljud¥jlJ[T`^\lRSUYQR`c(pqJ

clZjlRVg:Jp«sDFEHJtb^Xjl^YpqRVWXI%I^XXJ/c]abcuJU_¬MPjlUXaHt\lEHJ[UYjuJ[\uR`Z(juJceabT\c]^Xc^ªUXjlI^_T#g:^XcuRVcs\uUIRVQHRSIRV®[J

\lEHJQfaHI'g3J[jUXtHjlUXWYjl^XI¯J¢qJ/Z[aq\uRVUXQbcvjlJ/hBaHRVjlJ/p8gfd¥\lEHJIJ\lEHUqp«DFEHR`c(^_tHtHjlUY^YZE^_tbt:J^_jc]\lU¥g:J

UX]tb^Xje\lRVZ[aHTV^Xj*RVQB\uJ/juJcn\ªUXjtHjlUXWYjl^XIc(ªUXjEHR`ZE°QbJ[RS\uEHJ/j^_Q°UYjl^YZTVJX1QHUYj^_Qfd"ªUXjlI^_Tcet3J/Z[R3Z[^

\lRSUYQ8R`c^<^_RVT`^_gHTVJX¦£J'RVItHTSJ/IJ[QB\uJp dfIIJ\ujlR`Z'DJ/ce\uRVQHWgfdabceRVQHW\uEHJ*tHjuRVIR\lRSYJUXt3J[j^\lRSUYQbcsUX

±²/³´µ1¶k^·Y^<^*aHQHRS\s\uJcn\lRSQHW\lUfUXT#pqJ/XJ[TVUXtbt:Jpgfd¸'b¹P^_TVJ[dX:¹'bº]U_» I^_Q¥^_Qbp-i \ljuUfUYt:J/j/kDFEHJ

J[¢qt:J/juRVIJ[QB\l^XT3jlJ/cuaHTS\lcFJWYU_\UXQ©^_abT\ndYJ[jceRVUXQ:c¬UXZT`^XclcuRVZ/^_T3tHjuUYWXj^_IcU_\lEHJ UX\n^XjuJPDJcn\lRSQHW

Z[UXII'abQHR\ndceEHU¼\uEHJ(J[»3JZ\lRSYJ[QHJcucU_\uEbJ^_tHtHjlUY^YZE#

½¥¾B¿ ÀlÁ'Â ÃX ~]aq\uUYI^\uJp U_\nF^_jlJPDJ/ce\uRVQHW: dfIIJ[\ujldXbMPjlUXaHtDFEHJ/UXjldX dfIIJ\ujlR`ZPDJ/ce\uRVQHW

Ä`Å«ÆuÇÉÈ/ÊFÆËÌVÇÉÍ>ÎÏ

Ð¬Ñ:Ò©ÓÔ@ÕÖ×qØÙ<Ú<ÕÛÜªÝÜ©Þ/ß£àÜªáÝÜß¥Ûâ«Øãä<å<æ#Ú<Õkç ÕeØå<èêéêÕnåBë<ìíîïðÝÕnÙ<Ù<Õnæâ«ÕnÚ<ÕñXëòbÝßáâ«ó

Unité de recherche INRIA Rennes

(5)

()' [

)v

o^QHU_\lRSUYQ}pqJcedfIIO\ljuRVJ^XtHtb^Xjl^XR\cuUXabXJ[QB\Z[UXIIJ*abQHJ*tbjuUYtHjuRVO\lO'pqJQHUXI*gHjlJ[aq¢

UYgqmnJ\c]^Xje\lR:Z[RSJ/TVc/¹P^_Q:c]TVJ*pqUYI^_RVQHJ'pqa£DJcn\vo#UXWYRVZ[RSJ/T@3ZJ/TSTVJZRt:J/aq\[\ujlJ'faHJZUXIIJ'abQHJ'tHjlU_

tbjuRVO\lOpqJFZJ/je\^_RVQbctbjuUYWXj^_IIJ/c«RVIt:O/jl^_\uRS©cJ[\t3J[aH\[\ujlJ¬aq\lRSTVR`ceO/Jt3UXaHjZUYQB\ujXTVJ[jT`^]Z[UXjljuJZ\lRSUYQpqJ/c

cuUXju\uRVJ/cFZ/^_T`ZaHTVO[Jct:^_jsZJcFtHjlUXWXj^_IIJ/c/¹P^_Q:csZJvj^_tHt3UXju\/fQHUYabcZUYQbceR`pqO/juUYQbcFhYaaHQbJvcudfIIO[\ujlRSJ

Jcn\aHQbJ¥juJ/TV^_\uRVUXQpqJt:J/juI*aq\l^_\uRVUXQ J[QB\ujlJ¥pqJ[aq¢ J¢qO/Z[aq\uRVUXQ:cpqatHjuUYWXj^_IIJJ[\QHUXabcTaq\uRVTSR`cuUXQbc

t3UXabj^_aH\uUXI^_\uR`ceJ/jsTSJ'tHjuUqZ[J/clceabc]pqJ\lJ/ce\/s¸sUYabcsRVQB\ujlUqpqaHR`ceUYQbcsaHQtb^_j^XpqRVWXIJvQHUYIIODJcn\ dBI

IO[\ujlRVhBaHJU¥aHQHJ*tHjuUqZ[O/pqaHjlJ'pqJ'WXO[QbO[j^\uRVUXQ¥^Xaq\uUYI^_\uR`hBaHJ'pqJpqUXQHQbO[J/cpqJ\lJ/ce\Jcn\Z[UXaHtbTSO/J'^<XJZ

abQZUYQY\ljYTSJspHJsTV^*cedfIIO\ljuRVJ]pH^XQbckTVJ]gHaH\pqJ]pHO\uJZ\lJ[jFpqJ/ck©^_aq\lJ/c(TRVQY\lO[jlRSJ/aHjpHJ/cktbjuUYWXj^_IIJ/c/

]QHJvIO\uEbUfpHJPtbjl^_\uR`hYabJ]t3UXaHjsZ[UXQB\ujXTVJ[jhYaaHQ-tHjlUXWYjl^XIIJ]cl^\lRVce©^_RS\FaHQHJvjuJ/TV^_\uRVUXQ-pqJPcudfIIO[\ujlRSJ

pHUXQHQHO/J(J/ce\]pqO/Z[juRS\uJY¬o#J(t:^_j^XpqRVWXIJP©^_RS\sabcl^_WXJ(pqJ(jlO/cuaHTS\l^_\lcspqJ(T`^DFEHO/UXjlRSJ(pqJc]MPjuUYaHt3J/cZUYIIJ

paHQbJgb^YceJ]ªUXjlIJ[TVTSJt:UYaHjFIRVQHRVIRVcuJ[jTSJPQHUYI'gHjlJpJ¢qOZaq\lRSUYQbc¬jlJ/hBaHR`ctb^_jFZJ[\e\uJPIO\lEHUqpqJX! J[\e\uJ

^XtHtHjlUqZEHJcuJ[I*gHTSJ"[\ujlJpaHQZJ/je\^_RVQ°RVQB\uO[j\t3UXaHjTVJ/ctHjlUXWYjl^XIIJc*hBaHRQbJpHRVcut:UBceJ/QB\QHRspaHQ

UYjl^YZTVJXYQHR:paHQHJvcut:OZRS:Z[^_\uRVUXQªUXjlIJ[TVTSJYoJDJ/ce\

dfIIO\ujlR`hYabJ^(O[\uOpHO[XJ/TSUYtHt3OsJ\J¢qt:O/juRVIJ[QB\uO

T^_R`pqJ*paHQUXaq\lRST1pqJ'\uJ/ce\abQHR\^_RVjuJ*pqJ'tHjlUXWYjl^XIIJcs·B^<<^bbQHUYIIO±]²³<´µJ\IR`c^Xa8t3UXRVQY\Ptb^_j

¸':¹P^_TVJ[dYb¹'3ºsUX»3I^_Q¥J[\si \ljuUfUYt:J/j/¬oJ/cjlO/cuaHTS\l^_\lcJ[¢ft3O[jlRVIJ/QB\l^_aH¢hBaHJQHUYabcs^<XUYQbcUXgq\lJ[Qfabc

cuaHjvpqJ/cXJ/jlcuRVUXQbc]RSQbZ[UXjljuJZ\lJ/c]pHJ*tHjlUXWYjl^XIIJc]Z[TV^YcucuRVhBaHJc]pqJT`^# UXII*aHQb^_aH\uO*pHa}DJ/ce\voUXWXR`ZRVJ[T

IUYQY\ljuJ/QB\FTJ$Z[^YZRS\uO(pqJZJ[\e\lJ^_tHtHjlUqZEHJX

%wÂ

À

'&

DJ/ce\sTVUXWXR`ZRVJ[T«^Xaq\uUYI^_\uR`ceOY

dfIIO[\ujlRSJYbDFEHO/UXjlRSJvpqJ/cMPjuUYaHt:Jc[HDJ/ce\scedfIIO\ljuR`hBaHJ

(6)

* #"!¬

DJ/ce\uRVQHW8RVIt:J/jl^_\uRVXJtHjuUYWXj^_Ic(^\*\uEHJaHQHRS\TVJ[YJ[TjuJhYabRSjlJ/c\uU}cuJ[TVJ/Z\'\lJ/ce\pH^_\l^ªjlUXI \uEbJRVQHtHaq\

pHUXI^_RVQ#\uUJ[¢qJ/ZaH\uJ\lEHJtHjlUXWYjl^XI RS\uE"\uEbJcuJ[TVJ/Z\lJ/p£\lJ/ce\pH^_\l^8^XQbp£bQb^XTSTVd\lUZEHJZ\lEHJZUYje

jlJ/Z\uQHJcuc¬U_ \uEbJZUYItHaq\uJpUXaH\lZUYIJ/c/$#bUXj^XTSIUBcn\k\lEHjlJ[JpHJ/Z[^YpqJ/c/XtbjuUYt:UBceRS\uRVUXQbc¬Eb^<XJg3J[J/QI^XpqJ

\lU¨^_aq\lUXI^\lJ\uEHR`ctbjuUqZJcuc/ \ljua:Z\uabjl^XT\uJcn\pb^\l^"WYJ[QHJ/jl^_\uRVUXQ juJ/TSRVJ/cUYQ tHjlUXWXj^_I ^XQb^_TVdqceR`c\uU

:Qbp¨^_aH\uUXI^_\uR`Z[^_TVTVd£^8\uJ/ce\cuJ\\uE:^\*WYab^_j^_QB\lJ[J/c(\uEHJ-ZUXJ/jl^XWXJUX]ceUYIJZjlR\lJ[jlRV^¥g:^XcuJ/p UYQ&%bU

WYjl^XtHEbc'S{Y1Kqkqy(É)#HaHQbZ\uRVUXQb^XT\uJ/ce\uRVQHW£RVc*gb^YceJp¨UXQ¨\uEHJ¥cut:JZRS:Z[^_\uRVUXQbc^_Qb^XTSdqcuRVc\uU£WXJ/QHJ[j^\lJ

^Xaq\uUYI^\uR`Z[^XTSTVd£\uJcn\pH^\^*',+q.-/(É°DFEHJceJ\uJZEHQHR`hBaHJ/cg3U_\uE jlJ/hBaHRVjuJ-^8ªUYjuI^_TFpqJcuZ[juRVtq\uRVUXQ¨\uU"g:J

WYRSYJ[Q^YcPRSQHtbaq\¶]\uEHJcuUXaHjZJZUqpqJU_¬tbjuUYWXj^_IcsRVQ8\lEHJZ[^XcuJ'UXce\ujlabZ\laHjl^XT\lJ/ce\uRVQHW10«\uEHJªUYjuI^_T

cut3J/ZRS:Z/^\uRVUXQU_ktHjlUXWYjl^XIc]RSQ\uEHJZ[^YceJ'U_kªaHQ:Z\uRVUXQ:^_T\uJ/ce\uRVQHW:vº]UJ/XJ/js\uEbJ[jlJ*^_jlJ'tbjuUYWXj^_IcF\uU

g3J(\lJ/ce\uJ/p¥ªUXjsEHR`ZE¥QHUUYQHJ(U_\lEHJ/cuJ(ªUXjlI^_TpqJ/clZjlRStH\uRVUXQbcR`c]^<^XRST`^_gHTVJX2#HUYjsJ¢H^XItbTSJY:ZUYIIJ/je

Z[RV^XTUX»:>\uEbJceEHJ/TZUXIt3UXQHJ/QB\lcP^_jlJ'abcuab^_TVTVdpHJ[TVRSYJ[jlJ/p8^Yc3egHT`^XZB>g3U<¢qJ/c54:R@JXvJ[¢fJZaq\^_gHTVJ'UYgqmnJ/Z\lc

EbUYcuJPTVR`ZJ[Q:ceJcªUXjlgHRVppqJ[ÉZ[UXItHRVTV^_\uRVUXQgb^XZ\lU\uEHJcuUXabjlZ[JvZ[UqpqJ6',7/(>b^XQbpRSQqªUYjuI^XT#cet3J/Z[R:Z/^\lRSUYQ

R`cabcuJ/p*IUBcn\U_:\uEHJ\lRSIJ\uU(pqJcuZ[juRVg:J\uEbJ[RVj1J¢qt:JZ\lJ/p*g:J/Eb^<fRSUYaHj/Q'\lEHJ/cuJceRS\uab^_\uRVUXQbc/<\uJZEHQHR`hBaHJ/c

cuabZE8^Ycsj^_QbpqUYI%\lJ/ce\uRVQHW8'z(É:g3UXabQbpH^_jldB>^XTSaHJ^XQb^_TVdqceR`c9':(UXjsTVUqZ[^XTJ¢qEb^Xabce\uRVXJ(\lJ/ce\uRVQHW;'V{/|/(Z[^XQ

g3JJ[ItHTVUdXJp«rs^XQbpqUXI \uJ/ce\uRVQHW8^XRSIc^_\'ceJ/TSJZ\uRVQHWj^_QbpqUYITSd¥\lEHJ^_TVaHJ/cRSQbcuR`pqJ\uEHJRVQHtHaH\*pqU_

I^XRSQ-gfdabcuRSQHWtbcuJ[a:pqU_Éjl^XQbpqUYI <^XTSabJ/cFWXJ/QHJ[j^\lUXjc[BEHJ/juJ^Xcg:UYaHQbpH^XjudBÉ^_TVaHJP^XQb^_TVdqceR`cjuJ/TSRVJ/cUYQ

cuJ[TVJ/Z\uRVQHW-\uEHJg:UYaHQbpH^XjuRVJ/cvUXJ/^YZE"RSQbpHRSfR`pqab^_T¬UXjpqJ/t:J/QbpqJ[QB\'pqUYI^_RVQbc'V{X{(¬UX\lEHJRVQHtHaq\*cutb^YZJX

oUqZ[^_TJ¢qEb^Xabce\uRVXJ\lJ/ce\uRVQHW-juJhYabRSjlJ/c]\uU-RVpHJ[QB\uRSªdZjlRS\uR`Z[^_Tt3UXRVQY\cv^_jlUXaHQbp8EHRVZE}RSQbtHaq\(^_TVaHJ/cPRVTST

g3J'J[¢qEb^_abce\uRVXJ/TSd-ceJ/TSJZ\lJ/p«s~]TST\uEHJceJ*IJ[\uEHUqpHc]Eb^<XJ'RSQ8Z[UXIIUXQ\uUªUfZ[abcsUYQ\uEHJ*WXJ/QHJ[j^\lRSUYQ-UX

RVQHtHaH\]^_TVaHJ/c^_Qbp^_jlJ(gb^YceJpUXQ¥^_Q¥aHQ:pqJ[jlTSdfRVQHW^XclcuaHItq\uRVUXQEHR`ZE8ZUYQbZJ/juQbc\lEHJ*^<^XRST`^_gHRVTVR\ndUX

^¥Z[UXjljuJZ\(^_Qbp Z[UXItHTVJ\lJUXj^XZTVJXR@JX-^tHjuUqZ[J/pqaHjlJ^_gHTVJ\uU¥tbjuJpqRVZ\(\uEHJjuRVWXEB\(UXaq\ZUYIJªUYj'^_Qfd

RVQHtHaH\(pb^\l^b ]QqªUXju\uaHQ:^\uJ/TSdY«\uEbJ[jlJ^XjuJceRS\ua:^\uRVUXQ:cEbJ[jlJ'\lEHRVc(^YcucuaHItq\lRSUYQ}cuJ[J[Ic\uUg3JaHQHjlJ/^

cuUXQ:^_gHTVJX~]ct:UYRSQB\lJ/pUYaq\gfd¦£J[dfaHXJ/j<'V{K=(ÉqceUYIJ]tHjlUXWYjl^XIc¬^_jlJ]ZUYQbceR`pqJ/juJp\uU'g3JPQHUXQq>\uJcn\^_gHTVJX

DFEbJ/cuJ^XjuJtHjlUXWYjl^XIcªUYjEHR`ZE RS\R`c\uEHJ/UXjlJ\uR`Z[^XTSTVd¨t3UYclceRVgHTVJXgHaq\tHj^XZ\uR`Z[^XTSTVd \uUfU¨pqR$ZaHTS\\uU

pHJ\uJ/juIRVQHJs\lEHJvZUXjljlJ/Z\UXaq\ZUXIJY UYQbceR`pqJ/jtHjlUXWYjl^XIc1RSQB\lJ[QB\uJp\uUZUYItbaq\uJP^(ªaHQbZ\uRVUXQEHRVZERVc

QbU_\^YZ[Z[aHjl^_\uJ/TSdfQHUQUXjtHjlUXWXj^_IcªUYj¬EHR`ZEZ[UXjljuJZ\^XQbceJ[jc¬^XjuJs\uUfU*pqR$ZaHTS\\uU*Z[UXItHaq\lJ]gfd

E:^_Qbp«DFEHRVjpf>t:^_ju\nd¥TSRVgHj^_RVjuRVJ/cv^_Q:p}Z[UXIIJ[jZR`^_T1ZUYIt3UXQbJ[QB\lc©^_TVTkabcuab^XTSTVd8RVQY\lU-\uEHJªUXjlIJ[jZ/^XcuJ

'V{/(>HEbJ[jlJ/^XcFZ[UXItHTVJ¢QfaHIJ[jlR`Z[^_T«tbjuUYWXj^_Ick©^XTST«RVQB\uU\lEHJ(TV^_\e\lJ[j9'V{[y(É

Q\lEHR`ct:^_t3J[jYJsRVQY\ljuUqpqa:ZJ^*ceUX\n^XjuJF\lJ/ce\uRVQHW't:^_j^XpqRVWXIYZ/^_TVTSJp dfIIJ\ujlR`ZsDJcn\lRSQbW"> D@?

EbRVZE8^XRSIc]^_\s\uJcn\lRSQbWRSIt3J[j^\lRSYJ(tHjuUYWXj^_IcªUXjEHR`ZE¥QHJ[RS\uEHJ/j^XQ¥UXj^XZTVJXbQHUXj]^XQfdªUYjuI^_TpqJ

clZjlRVtq\uRVUXQR`ckjlJ/hBaHRVjuJp«¦}JPZUXQ:ceR`pqJ[jcedfIIJ\ujlRVJ/c1\lUg3J]t3J[jlI'aq\^\uRVUXQjlJ[T`^\lRSUYQbckg3J\nJ[J/QtHjlUXWXj^_I

J[¢qJ/ZaH\uRVUXQbcF^_Q:pabcuJ\uEHJ/I \uU^_aH\uUXI^_\uJP\uEHJP\lJ/ce\uRVQHWtHjuUqZ[J/clc[1MPRSYJ[Q\uEHJvRVQB\uJ[ju©^XZ[JUX^*tHjlUXWXj^_I

^XQbp ^ cedfIIJ\ljudjlJ[T`^\uRVUXQ D Z[UXI*gHRSQbJ/c-^_aq\lUXI^\lRVZ8\uJ/ce\¥pH^\^°WYJ[QHJ/jl^_\uRVUXQ ^_Q:p¼cudBIIJ\ljuRVJ/c

ZEbJ/ZfRSQbW(\uU*aHQbZUYJ[j1©^XaHTS\lcR\lEHRVQ\uEbJ]tHjlUXWYjl^XI-MPjuUYaHt\lEHJ[UYjuJ[\uR`ZjuJceabT\c^XjuJsa:ceJp^Xc^(ªUYjuI^_T

g:^XcuRVc/YZ[UXQqªUYjuIRVQHWceU\uEHJJ/TSTS>fQHUQ^YpH^_WYJ6ACB9DEFG´@l³´DEH]ÍCJ=LKM2u²D=:Ń6³<´DEH]Ó6GP

µ EQR'S{/+=(É~]c'^-\ujlRSfR`^_T1J¢H^XItbTSJYZUYQbcuRVpqJ/jv\uEHJtbjuUYWXj^_ITS RVQY\lJ[QbpHJ/p£\uU8Z[UXItHaq\lJ\uEHJWYjuJ^\lJ/ce\

Z[UXIIUXQ¨pqRVfRVcuUXjU>ªWBZ[pV?U_\nU8QHUXQH>QHJ/WY^_\uRVXJRVQY\lJ[WYJ[jc9W ^XQbp&X"^_Qbp°ceaHtbt:UBceJ\lEb^\NS°R`c\lJ/ce\uJp

RS\uE£\lEHJªUXTVTSURVQHW-\uJcn\pH^_\uaHIZY[W*\^]`_badcVefXg\Thdcd_i#^Xaq\uUYI^_\uR`Z[^XTSTVd8WXJ/QHJ[j^\lJ/pgBd}^j^_Q:pqUXI

\lJ/ce\PpH^_\l^WXJ[QbJ[j^\uUYj/s~]T\lEHUXabWXE# J*^_TVTfQHU EbU \lUZ[UXItHaq\lJ\uEbJ*WBZ[pU_1\nURVQB\uJ/WXJ[jcj R\PRVc

kml

éÖon]Öon<Õ¬ó:å/pnèêéêÚ<éØÙØè,qÓÒ©éÖ n<ãsrVÓÒ#Õñ<ØãäèêÕ

(7)

QbU_\'cuU-J^Xcud¥\uU¥tbjuJpqRVZ\(\uEHJJ[¢qt:JZ\uJp£<^XTSabJU_Y5]=_dabc eHhbcd_iRS\uEHUYaq\(\uEHJEbJ[TVt U_^-Z/^_T`ZaHT`^

\lUXj #bUXju\uaHQb^_\uJ/TSdY -cu^_\uR`cn:J/cP^cuRSItHTVJ*cudfIIJ[\ujld-jlJ[T`^\lRSUYQ ¶WXeYW eHX i2\Y[XefW i

Ub

RSY5]=_dabc eHhbcd_i\Yhbcd_VeG]`_badci\uEHJ/Q£\uEHJ\lJ/ce\uRVQHWtHjuUqZ[J/clcRVTVT¬cea:Z[ZJ/J/p\uUaHQbZ[UXJ/jv^©^XaHT\

RS\uEbUXaq\\lEHJEHJ/TStU_1^_QUYjl^YZTVJUX:k¦£J(WXJ[QbJ[j^_TVRS®/J/p\uEHR`cR`pqJ/^\lUUXgq\^_RVQ^*ªUYjuI^_TpqJbQbR\lRSUYQ

UXcedfIIJ\ljudjuJ/TV^_\uRVUXQUYQRSIt3J[j^\uRVXJ]tHjuUYWXj^_Ic/ #HUYjuI^XTSTVdcut3J/^_fRVQHWbYTSJ[\ Sg:JP^(tHjlUXWXj^_I EHR`ZE

\^_YJ/c^XJZ\uUYjU_1^\sTVJ/^Ycn\^_TVaHJ/c^YcRSQbtHaq\]^_Q:pjlJ\laHjlQbc^XJZ\uUYjU_^\sTVJ/^Xce\^_TVaHJ/c/b^_Q:pTVJ\

^XQbpg3Jv\nUXJZ\uUYjlc\lEHJ[Q¥^cudBIIJ\ljudjuJ/TV^_\uRVUXQªUYj.S¥EHUXT`pHcFRS¶

! #"Ee%$&! 'cuabZE¥^Xc(O\)*

\,+ S$Y- i\.&*S Y i

EbJ[jlJ/

"

>©juJcet0

'

?sRVc\lEHJ*cudfIIJ[\ujlRVZ'WXjlUXaHt8^YZ\uRVQHWUXQ1J/TSJ/IJ[QB\lcU_

>ªjlJ/cut#2kJ[TVJ[IJ/QY\c]UX

? dfIIJ[\ujlRVZ(DJ/ce\uRVQHWZ[UXQbcuRVce\lcFRVQ-bQbpqRVQHW\lJ/ce\pH^\^*\uEb^_\sBRVUXT`^\lJ^WXRVXJ[QcudBIIJ\ljudjuJ/TV^_\uRVUXQ#

R>JXbQbpHRSQHWcuabZE¥^XcªUXj]^XTST3&}¶

6\)*

54

S YEi6\7&*S$Y

i

dBIIJ\ljuRVJ/cjuJ/TV^_\uRVUXQbc^_jlJWXJ/QHJ[jlRVZtbjuUYt:J/je\lRSJc^_QbpZEHJZBRVQHW}\uEHJ}ZUXjljlJ/Z\lQHJ/clcU_vtHjlUXWXj^_IcRVQ

jlJ[WB^_jpHckRS\uE\uEbJ/cuJjlJ[T`^\lRSUYQbc¬R`cF^*pHR$ZabT\F\l^Yce fTVRSYJ[TVdaHQbpqJZR`pH^_gHTVJPRSQ\uEHJPWXJ/QHJ[j^_T Z[^YceJ98kºsUF

J/XJ/j/B\uEbJ[jlJv^XjuJ(Z[RSjZaHIce\l^XQbZJcEbJ[Q-\uJcn\lRSQHWtHjlUqZJpqaHjlJ/cFZ[^XQg3J(abcuJ/p\uUZEHJZ\uEHJZ[UXjljuJZ\uQbJ/clc

UXstHjlUXt3J[ju\uRVJ/c'^XWY^XRSQbce\tHjlUXWYjl^XIc 'Kf{[yb{=-/(É}ºsJ/QbZJYgBd"abcuRVQHW8\lEHJ/cuJtHjlUqZJpqaHjlJ/c/RS\*g3J/Z[UXIJ/c

t3UYclcuRSgHTVJ-\uU ZEHJZ \uEb^_\^£WXRVXJ[QcudBIIJ\ljud jlJ[T`^\lRSUYQ R`ccl^\uR`cebJ/p gfd¨\uEbJ¥tHjuUYWXj^_I UXQ^}bQHRS\uJ

cuaHgbcuJ\U_kRS\lcsRVQHtHaH\vcutb^XZ[JXsoRSIRS\l^\lRSUYQbcsUX D ZUYQbZJ/juQ-\uEbJ'J/^_fQHJcucuJ/csU_kcedfIIJ\ljud-juJ/TV^_\uRVUXQbc

\lUpqRS» J[jlJ[QB\uR`^\lJ'RVQbZUYjujlJ/Z\]RSItHTVJ[IJ/QY\^\lRSUYQbcsªjlUXI¡Z[UXjljuJZ\]UYQHJ/c/]Q¥©^YZ\ \uEHJ/juJ^_jlJTSUX\lcU_ktHjlU_

WYjl^XIc¬\lEb^\scl^\lRVceªd^WXRVXJ/Q-cudfIIJ[\ujldjuJ/TV^_\uRVUXQ-^_Qbp-^_QfdRVQbZUYjujlJ/Z\RVItHTVJ[IJ[QB\l^_\uRVUXQRVTST«QHUX\sg:J

QbJ/ZJcucl^_jldpHRVclZUYJ[jlJ/pgBd dfIIJ\ljuR`Z'DJ/ce\uRVQHWb UXQfXJ/jlcuJ[TVdXq\lEHJ*^XtHtHjlUY^YZEpHUBJcsQHUX\jlJ[t3UXju\^_Qfd

cutHaHjlRVUXabc]©^_aHTS\/Q£UXjpqJ[j\uUJ[^XTSab^_\uJ*\uEHJ©^XaHT\(jlJ[YJ/^_TVRVQHWZ/^_tb^YZRS\nd-UX Dv«JRSItHTVJ[IJ[QB\lJ/p£R\

gfdabcuRSQbW\uEbJsªUXabjaHQbR\FUXt3J[j^\lRSUYQbckUX«\uEHJP·Y^<^v\lJ/ce\uRVQHW'\lUfUXT3±²/³´µ 'V{X{(#^XQbpJ]abcuJ/pRS\¬\lU*jlJ[YJ/^XT

©^XaHTS\lc1UYQcuJ[YJ[j^_Tq^XZ/^XpqJ/IRVZtHjlUXWYjl^XIc^XQbpUXQtHjuUYWXj^_IcJ¢f\uj^XZ\uJpªjlUXIw\uEHJ\lEHRVjlpfÉtb^Xje\nd(TVRSgbjl^Xjud

: <;H3=?>&@=BA Â &&¾ _?>Â C <=-D UX¬\uEbJ·B^<^-KtHT`^\lJªUXjlI >©ce\lp£JpqR\lRSUYQ {Yy ?'DFEbJ/cuJ*:jlce\PJ[¢qt:J/juRVIJ[Qq

\^_TjuJceaHTS\lccuEHUw\lEb^\ D R`c'UXFt:^_ju\uR`ZaHT`^_j*RSQB\uJ/juJcn\*EHJ[Q \lJ/ce\uRVQHW}cuUXIJUXF\uEHJ63nQHUYQq>\uJ/ce\l^XgHTVJ4

tbjuUYWXj^_Ic[

DFEHJjuJcn\UX\lEHJtb^Xt:J/j'R`c(UXjlWY^XQHRV®[J/p£^Xc(ªUXTVTSUsc¶ceJZ\lRSUYQ°K-tHjuJceJ/QB\lcv\lEHJMPjlUXaHt£\uEbJ[UXjlJ\lRVZ

jlJ/cuaHTS\lc^YcFJ/TST^Yc\uEHJ(QbJ/ZJcucl^_jldQHUX\l^\lRSUYQbcjlJ/hBaHRVjuJp\lUªaHTSTVd-aHQbpqJ/jlce\l^XQbp\lEHJ(tb^Xt:J/j/

J/Z\lRSUYQ-

pHJ\l^XRST`c]\uEHJ*tHjuRVQbZ[RStHTVJ'UX

dfIIJ[\ujlRVZDJ/ce\uRVQHWEHRVTSJcuJ/Z\lRSUYQ8yjlJ[t3UXju\lcs\uEHJJ¢qt3J[jlRSIJ[QB\^_TjuJceaHTS\lc

UYgq\l^XRSQbJ/pR\lE±]²³<´µ>rsJ[T`^\uJpUYjuqc1^XjuJspqJcuZ[juRVg3J/pRSQcuJ/Z\uRVUXQ+v^XQbpbQb^XTSTVd*cuJ/Z\uRVUXQ -vRVQbpqR`Z[^\lJ/c

cuJ[YJ[j^_T t3J[jcet3J/Z\uRVXJ/c\lU\uEHR`cUXjl3

E F

HG-(JI&v)v - )# !k -

~]TST\uEHJ(g:^XcuRVZvI^\lJ[jlRV^XT#UXQ8MPjlUXaHt-\lEHJ[UYjudtbjuJceJ/QY\lJ/p-RVQ\uEHR`cscuJ/Z\lRSUYQRVc]J¢f\uj^XZ\uJ/pªjlUXI 'S{/+=(^_Q:p

\lEHJ· LK RVTVQHJ'cTVJ/Z\laHjlJPQbU_\uJc9>©^<^_RVT`^_gHTVJvUXQHTVRSQbJ6MMM(NO9PHQSRUTVWNX<YZ[?P]\<^`_[<aXUbY]cSVUdXS^Vcd?

egfhjiSk

Ú<ÕnÙ<ÓÖ>ÕnæÖon<ÕmlÕ5pÖ>ÓÒÓIrlØèêå<Õnæ pnÓãä<åÖ@ÕeÚ0nosÖon<Õ1ÕñÕ5pnåÖ@éêÓÙ(ÓIr f l éÖ n

i

ØæéêÙ<ä<åÖ

p

ßèÖ n<Óå=qn

l

ÕØÒ©ÕFÙ<ÓÖkØ

l

ØÒ©ÕÓIr«ØÙo(ä<Ò©Ó[ÓIr«ÓIr3Öon<éêæuëYéÖ peØÙn_Õ no/äXÓÖon<Õnæ>érqnÕnÚØæØ@pnÓÙ<æ@Õ@s/å<ÕnÙ/pnÕÓIr:Ö n<Õå<Ù<Ú<Õut

peéêÚ<Øvn<éêèêéÖBosÓIrHÖ n<Õ.n<ØèÖ>éêÙ/qä<Ò@ÓwnèêÕeã

(8)

-¾C

>ª9>

Â]CIM2u²D=

²G<3µ ´Gµ µ²Hµ G.µ³²<b²<´µo©²8S³`´v³

Â

´[³µ `´ ´µ ²S².

³`b©²*´

"!eu$#/eu3 % 6e&!'NY(#)Gi\ Y*!'+#Li$,n³<´´[²-G©³µ .=µo/

$10, ´D2/¥³<´3!'40 \50+4!O\6! 7! % 8 LDqµ u³

"! , 6ev$1!:97;6, ´D2<¥³´3!4!:97; \5!:97;=4!6\>0?5Hb`´µG@I*²A'³82.L´GA

DFEHJ£cedfIIJ\ljuR`Z¥WXjlUXabt QHU_\lRSUYQ RVc\uEHJ£ZUYjuQHJ/jece\uUXQbJ-UX dfIIJ[\ujlRVZ}DJcn\lRSQbWbwoJ\CB g3J}^

QbUXQHJ/ItH\nd*:QHR\lJ(ceJ[\UXED8pqR`cn\lRSQbZ\J[TVJ[IJ[QB\lc/B\uEHJvcuJ\ 7F¨UXgHRmnJ/Z\lRSYJI^XtHtHRVQHWYc¬ªjuUYIGB \lU'RS\lcuJ[TS

R`ckZ/^_TVTSJp\lEHJ ¿ ¾ [ >© Â E UX"B >@cu^<d5 $F£^YZ\c1UXQB ?DFEbRVckcudfIIJ[\ujlRVZWYjuUYaHt*E:^Xc1J[¢q^YZ\lTSd

D)H<J/TSJ/IJ/QB\lc/EHRVZE^_jlJ¬Qb^XIJ/pt3J[jlI'aH\l^\lRSUYQbc/É\1RVcZ[TSJ^_j\uEb^_\ F RVc^WXjlUXaHt'g:JZ[^_a:ceJR\1R`cZ[TSUBceJp

^XQbp8^YcucuUqZR`^\uRVXJ'aHQbpqJ/j'q3R`pqJ/QY\lR\nd¥R`cR\cQbJ[aq\ljl^XTJ/TSJ/IJ/QB\v^XQbp¥J/^YZE8t3J[jlI'aq\^\uRVUXQt:UBcucuJ/clceJc]^XQ

RVQfXJ/jlcuJg3J/Z/^_abcuJP\uEHJpHJbQHRS\uRVUXQR`cFjuJcn\ljuR`Z\lJ/p\uUgHRmnJ/Z\uRVXJvI^_tHtbRSQHWBcFUXQHTVdX

F Z[^XQ°g3JR`pqJ[QB\lRbJp¨RS\uE. 7I ¶\lEHJcedfIIJ\ujlR`ZWXjlUXabt°^XZ\uRVQHWUYQ5Jb]be**Ce&DK^Xc'\uEbJ[jlJR`c*^

\ljuRVfRV^XTfgHRmnJZ\lRSYJjlJ[T`^\lRSUYQ">ªR`cuUXIUXjltHEHR`ceI ?g:J[\nJ/J[Q F ^XQbp 7I ~ t3J[jlI'aq\^\lRSUYQ'RVQ 7I'RVcjlR\u\uJ/Q¶

"\ML

] ** D

N Yf]=i ** N YD iCO

EHJ/juJ N Y5]/ie**e N YD i]pqJ[QHUX\uJ*\uEHJRVI^XWXJc]UX<]de?*j*ePD gfd\uEbJ*t3J[jlI'aq\^\lRSUYQ

bk¦ EHJ[Q¥^t3J[jlI'aq\^\lRSUYQ-UXm 7I-R`c^_tHtbTSRVJ/p\uU^YJ/Z\uUXj

UXcuRS®/J'D1HJ(RSTVT#jlR\lJ0*

\lUpqJ[QbU_\uJ

\lEHJsRVI^_WXJFUX

gfd'\uEHJst3J[jlI'aH\l^\lRSUYQ >©cl^<d^XZ\lc1UYQ

?.#HUYj1\uEbJ]cu^XXJFU_«ZT`^_jlRS\ndX_JRSTVTbJ[¢f\uJ[Q:p

UYaHjQHUX\l^\lRSUYQbcF\lUtHjuUYWXj^_I Z[UXIt:UBceRS\uRVUXQ:c[ÉS8R`cs^tHjlUXWYjl^XI=SQ RSTVTpqJ/QHU_\lJv\uEHJ*^_tHtHTVR`Z[^\lRSUYQ

UX S8\uU\uEHJ*t:J/juI*aq\l^_\uRVUXQ UX1\uEHJ*J[TVJ[IJ[QB\lc]U_kRS\lcRSQbtHaq\YJ/Z\uUXj UXQfYJ[jceJ/TSdY&R$S8RVTSTpqJ[QbU_\uJ

\lEHJ(t3J[jlI'aq\^\uRVUXQ &^XtHtHTVRSJp\lU\uEHJ(UYaq\utbaq\sXJZ\uUYjFU_S

~]TST\uEbJ't3J[jlI'aq\^\uRVUXQ:c]Z[^XQ¥g:JJ¢qtHjlJ/clcuJ/p-gfd-a:ceRVQHWUYQHTSd¥^ªJ/ UXQHJc[ UXQbcuRVpHJ[jsªUYj]J[¢q^XItHTSJ

\lEHJ(t3J[jlI'aq\^\uRVUXQ

*\ L

]TS _VU W

_VU ]TWVSXO

U_ 7Y_¬\uEHJ¥cl^_IJ-t:J/juI*aq\l^_\uRVUXQ Z/^_Q g:J¥Z[^Xtq\uabjuJp¨gfd"\uEHJ-ªUYTSTVURSQbW

QbU_\l^_\uRVUXQ \ Y5]=_biLYZSU[Wdi¬EHJ[jlJ]J^XZEt:^_RVjUXgHj^XZYJ\lcpqJ[QbU_\uJcF^*cut:JZRS:Zt:J/juI*aq\l^_\uRVUXQZ/^_TVTSJp^XQ

j]\sZdqZ[TSJY-~ t3J[jlI'aH\l^\lRSUYQ Y*!

;

![^S*j*![_`i(UX 7I£RVc*^_Q 1` ¿ '&¾£R» R\I^Xtbc!

;

\lUa![^_)![^\uUb!cXFS

![_

97;

\uU%!_^_Q:p8TVJ/^<XJ'aHQbZEb^XQHWXJp\uEHJUX\uEHJ/jJ/TSJ/IJ/QB\lc/~§Kd\sZdqZTVJ">©juRS\e\lJ[QsY(![e(!gf=if?R`c]a:ceab^XTSTVd

jlJªJ/jujlJ/p*\lU'^Xc^v\uj^_Qbcut3UYcuR\lRSUYQ#~ \ujlRSfR`^_T:tHjuUYt:J/je\nd*U_«\ljl^XQbcet3UYcuRS\uRVUXQbc1R`c1\lEb^\\uEHJ/d^_jlJF\uEHJ/RSjUQ

RVQfXJ/jlcuJX

~ ceabgbceJ[\ih¡UX#J[TVJ[IJ[QB\lc¬U_^v:QHR\lJWYjuUYaHt &RVc^'cuJ\U_E3¾`C¾ q Â RS»-J/XJ/judJ[TVJ[IJ[QB\¬UXE Z[^XQ

g3JjlR\u\uJ[Q^Xc1^bQbR\lJsZUXIt3UYcuR\lRSUYQ*tbjuUqpqabZ\1U_b\lEHJJ[TVJ[IJ/QY\cU_"h¨ R`c1cu^XRVp'\uUvg3JWXJ[QbJ[j^\uJpgfd

h°@#HUXjJ¢H^_ItHTVJX:R\PRVcJ[TVTÉfQHUQ-\uEb^_\2 c RVc]WXJ[QbJ[j^\uJp-gBd-\lEHJ\nU\uj^_Qbcut3UYcuR\lRSUYQbckj

; \ Yf]]Sdi

^XQbpj ^ \ Y(S_ig3J/Z[^XabcuJ8J/^YZE UXQHJ8UXv\uEHJ£ceRS¢ J/TSJ/IJ[QB\lcU_ c Z/^_Qg3JjlR\u\uJ[Q¼R\lE ^"bQHRS\uJ

Z[UXIt3UYcuR\lRSUYQtHjlUqpqabZ\FU_\uEHJceJP\nU\uj^_Q:cet3UYcuR\lRSUYQbc/ K UYjuJPWXJ/QHJ[j^_TVTVdX I R`cWXJ[QbJ[j^\uJpgfd^_TVT \uEHJ

\ljl^XQbcut:UBceRS\uRVUXQbc/BgHaq\^_T`ceU*gBd\lEHJPªUXTVTSURVQHW'cuaHgbcuJ\FU_#\ljl^XQbcut:UBceRS\uRVUXQbc]¶+JYf]]SdiLe`YZS_biLe**Ce=YDml&]de&D i/KY

Q\uEbRVcFtb^Xt:J/jJvRVTST«a:ceJP\uEbJªUYTSTVURVQHW*tbjuUYt:UBceRS\uRVUXQ#fWYRSYJ[QEbJ[jlJPRS\uEbUXaq\s^tHjlUBUX >\lEb^\]Z/^_Q-g:J

ªUYaHQbp-RVQ'V{=+(?

n Â Â ?>©?> Â]Co[LLl³µ²´'²A $I

"Vµ u³b´ H²´Iµ ©²pj \ Yf]]Sdi'³]µ 9[qQLgGCsr \ Y5]tS**D i(µÉ²b[µ G<bGGu³µm0 7I$u

(9)

É\PZ[^_Qg3J'cuEHUQ\lEb^\2 7IZ[^_QbQHU_\sg3JWXJ/QHJ[j^\lJ/pgfdTVJ/clcF\uEb^XQ\nUt3J[jlI'aH\l^\lRSUYQbc/ºsJ/QbZJQJ]j e&r K

R`c^ceJ[\sU_WXJ/QHJ[j^\lUXjc¬UXIRSQbRSI*aHI cuRS®/JX

~6ªaHQ:pH^_IJ[QB\^_T#QHUX\uRVUXQ-RSQ8MPjlUXaHt\uEbJ[UXjldR`cFWXjlUXaHt-EHUYIUYIUXjltHEHR`ceI¡¶

-¾C >ª9>Â]C [du²D=aH²²² d `´s

du²D=bH²²² d `´Iu² ³6du²D= µ²³6du²D=a s²./G'µ '´[³²<H²´Iµ ©²&V³ `´

³ ³Ig l 8 ´ID2/µH³_µ2Ys i\2Y-iE2Y- i u

¸]U_\lJ*\lEb^\'^XQ}R`cuUXIUXjltHEHR`ceI¡R`c(cuRSItHTVd^-gHRmnJ/Z\lRSYJEHUXIUXIUYjutHEbRVcuI~c(^-Z[UXQbcuJ/hBaHJ/QbZJU_\uEbRVc

pHJbQHRS\uRVUXQ\uEHJRVI^_WYJUX ^WXjlUXaHt*EHUXIUYIUYjutbEHRVcuI&ªjlUXI ¼\uU' R`c1^cuaHgHWYjuUYaHt'UX" É\kRVcQHUX\uJp

Y.i UXQfXJ/jlcuJ[TVdXb0EY i]pqJ[QbU_\uJcF\uEbJ(XJ[jlQHJ/T#U_1^WXjlUXaHt-EHUYIUYIUXjltHEHR`ceIHEHR`ZERVc\uEHJ'cuJ\

UX1t:J/juI*aq\l^_\uRVUXQbc]U_ EHR`ZE8^_jlJI^_tHt3J/p¥\uU Nns a0EY.i]pqJ[QHUX\uJc\uEbJ'WXjlUXabt8hYabU_\uRVJ[QB\]UX

gfdb0EY ibR>JY\uEHJ*ceJ[\'J !% 6e"!#a0EY.i/KB%$'&( Y* 6e< ispqJ[QHUX\uJc\uEHJcuJ\sUXWYjuUYaHt

EbUXIUXIUXjltHEHR`cuIc>ªRVQ¨©^XZ\/1RS\R`c^_T`ceU^}MPjuUYaHt?"DU8J[Qbp¨\uEHR`c*juJ/BRVJ[ UX\uEHJ¥MPjuUYaHt"\uEbJ[UXjlJ\lRVZ

jlJ/cuaHTS\lc\lEb^\sJvQHJ[JpEHJ/juJYHJPWYRSYJ]\lEHJvªaHQbpb^_IJ[QB\l^XT«\uEbJ[UXjlJ[I%U_WYjuUYaHt-EHUXIUXIUYjutHEbRVcuIc¶

n Â Â ?>©?> Â]C `´[²² 2 `´¡µ ²HGs

) [µ ³] FIµZ¬²du²D=:´³]* FI³sGCLGbµP²P$'&( Y* 6e& iK]µVL'³µ²´bµ²µ

²@b²<´µm*²P'³´DE,+G/µ ©²VK³`´²² dE`´I.- ³]³;+G<[µ ©²

/

l ldl2l"

021 _ f43

3

5 633 eI]f

7a0EY.i l ldl2l"91Y/8 i

:

$& ["! L! !"« [

; <>= ?@BACACDFEG@HGIDJLKENMLO%PRQ

DFEbJ'R`pqJ/^g:J/EHRSQ:p dfIIJ\ujlR`Z'DJ/ce\uRVQHWR`cs\lUJ[¢qtHTSUYR\PabcuJ[juÉpqJ[bQHJp¥cedfIIJ\ujlRVJ/c]\uU^Xaq\uUYI^\uJ'\uEHJ

\lJ/ce\uRVQHWtHjlUqZJcuc1UX«RSIt3J[j^\uRVXJ]tHjuUYWXj^_Ic/o#UX\lckUX#pqJbQbR\lRSUYQbckUXcedfIIJ\ujld'E:^<XJg3J[J[QtHjuUYt:UBceJp

RVQ¥^_jlRSUYabcsZ[UXQB\uJ[¢B\c9'V{=+=(É UXIJUX\uEHJ/I¯Z/^_Qg3J*^Xpb^_tq\lJ/p-ªUXj]UXaHjstbaHjut3UYcuJXF¦£J'gHjlRVJL%bd-pqRVclZa:cuc

\nUt:UBcucuRVgHTSJ(ZEHUYRVZ[J/c\uE:^\]Z[^XQg3JZUYQbcuRVpqJ/juJpªUYjtHjlUXWXj^_I§\lJ/ce\uRVQHWb

TS

¿ ¾ [ >¾ Â ; ¾ ;H & ¾ ~ cudfIIJ[\ujld8UXJ/j^XTSaHJc(Z[^XQ}g3JJ¢qtHjlJ/clceJp^Yc(^jlJ[T`^\lRSUYQ

g:J[\nJ/J[Q¥\nUtHjlUXWYjl^XI J¢qJZaq\lRSUYQbc]EbJ[Q\uEbJ[jlJ'R`c]^WYJ[UYIJ[\ujlRVZvjlJ[T`^\lRSUYQ)>ªUYj]J¢H^XItbTSJY3^XQ

RVcuUXIJ[\ujldE?]g3J\nJ[J[Q8\uEHJ\nURVQHtHaq\vt:UYRSQB\c[~cP^\ujlRSfR`^_TJ¢H^XItbTSJY Z[UXQbcuR`pqJ[jv^tHjlUXWYjl^XI S

EHR`ZE¥\l^XXJ/cs\nURSQB\uJ/WXJ/jlcs^Yc]^XjuWYaHIJ[QB\lc^_QbpYJ[jlRbJcS$Y

e i2\ S YAl

e l i]Q¥\uEHR`cPZ[^XcuJX

\uEHJv\nURSQbtHaq\st3UXRVQY\cs^_jlJvcedfIIJ\ujlR`Z[^_T«(j\\uEHJ(UYjuRVWXRVQUX\lEHJ(RSQbtHaq\]cutb^XZ[JO0

TS

¿ ¾ [ >¾ Â ; ¾ ;Hq >@q&¾ 1~ cudfIIJ[\ujld*UYJ[j1^_jlRV^XgHTVJ/ckZ/^_Qg3JsfRSJ/Jp^Xck^(jlJ[T`^\lRSUYQ

g:J[\nJ/J[Q"\nUtHjuUYWXj^_I J[¢qJ/ZaH\uRVUXQbc(EbJ[jlJ\uEHJ/juJR`c^¥t3J[jlI'aq\^\lRSUYQ£jlJ[T`^\lRSUYQ}g3J[J[\nJ/Q"\uEHJ

RSQbtHaq\]t3UXRVQB\lc/S$Y

e i \ S$Y-e

iFR`c\uEHJ(IUYce\sceRVItHTVJ(J¢H^_ItHTVJvU_1ceabZE^cedfIIJ\ljudY

dBIIJ\ljuRVJ/c¬UXJ/j1<^XTSabJ/c¬Z/^_QJ^XcuRSTVd*g3JsjlJ/Z[UXWXQbRS®/J/p*ªUXjtHjuUYWXj^_Ic\uE:^\Z[UXItHaq\lJ^vI^\lEHJ[I^\lRVZ/^_T

ªabQbZ\lRSUYQ(WXRVXJ[Qvgfdv^ªUXjlI'aHT`^9>ªgb^YceJpvUXQ^XjuRS\uEHIJ[\uR`ZUXj«\ljuRVWXUYQHUXIJ\ljuR`ZUXt3J[j^\lRSUYQbcI?#QcuUXIJkZ[^YceJc[

(10)

TVUqZ[^XT#cedfIIJ\ujlRVJ/cFUXJ/j\uEHJceJ(UYt:J/jl^_\uRVUXQbcFI^<dg3J^_WYWXjlJ[WY^_\uJp\uUpqJ[\uJ/juIRVQHJ^WXTVUXgb^XT«cedfIIJ\ujld

UYJ[jF\lEHJ(ªUXjlI'abTV^b:cuabZE¥^XcRVQ¥\uEbJ(ªUXjlI'aHT`^RS Y eEi2\ NDY

i)l &YEiEHRVZE8cl^\lRVcebJcs^\ujlRVBR`^_T

cudfIIJ[\ujldUXJ[j]<^XTSabJ/c(j\]\lEHJ'UYjuRVWXRVQ#P¸sJ[YJ[ju\uEHJ/TSJcuc/3RSQ£ceabZE8^Z[^YceJ'\uEHJ'ªUXjlI'aHT`^RS\lcuJ[TS¬Z[^XQ

g3JabceJp8\lU-ZEbJ/Z-\uEHJZ[UXjljuJZ\uQbJ/clcsU_\uEHJZUYItHaq\uJpUYaq\lZ[UXIJXº]J[QbZ[JX«\lEHJ/cuJcedfIIJ\ujlRVJ/cPUXJ/j

^XTSaHJc^XtHt3J/^_j\uU-g3J*abcuJ[TVJ/clc]ªUXjvUXaHjPtHaHjlt3UYcuJX UXQfXJ/jlcuJ[TVdX3cedfIIJ\ljuRVJ/cPUXJ/j]^_jlR`^_gHTVJ/cZ[^_Q}g:J

cut3J/ZRSbJpR\lE^vXJ[jld(ªJ/ fQHUTVJ/pHWXJFUXQ\lEHJªaHQbZ\uRVUXQg3J[RVQHWZUYItHaq\uJp«1D¬dft3JRSQHªUXjlI^_\uRVUXQbc¬^_jlJ

cuUXIJ[\uRVIJccea $Z[RSJ/QY\\lUPcuJ[J\uE:^\k^]tbjuUYWXj^_I&Eb^Xc\lUvcl^\lRVceªd^PcedfIIJ\ujldUYJ[j<^XjuR`^_gbTSJc[ #baHju\uEHJ/j/

\lEHJ[d^XjuJtHjlUXt3J[ju\uRVJ/c«\lEb^\1Z[^XQ'g3JJ^XcuRSTVdvJ¢f\uj^XZ\uJpvªjuUYI ^_Q'RVQqªUYjuI^_Tfcut:JZRS:Z[^_\uRVUXQ#DFEHJ/cuJ^XjuJ¬\uEHJ

jlJ/^YceUYQbcEfd'JRVTVTHªUqZabckUXQcea:ZEcudfIIJ[\ujlRSJc1RSQ\lEHRVc¬tb^_t3J[j #HUXjlI^_TVTSd*cet3J/^XBRVQHW:X^vcedfIIJ\ujld

R`cpqJ[bQHJ/p^YcªUXTVTSUscv¶

-¾C >ª9>Â]C >´O6[µo/

) [µS FI³ u²l³ ².G³!X²³ µH³µFµ³b´sD H(LLHG@I´³<´Dqµs³]"H[µoDEb´ *LGP

G@I´ KP³]gC[µ $I ´ 7u FIµ ´[µo*u²D= ²./G'D ´ 7u* 8GCLGbµ@´Ksµ G ³

¿ ¾ / ¿s`´'³Nb³ e&§´ID2/8³´R 7Ie &L e

6\)*

\#+ S Y- i\7&]*S Y i

e

¸]U_\lJ*\lEb^\J/XJ/jud8tbjuUYWXj^_I S¨cu^_\uR`cn:J/cv^\TVJ/^Ycn\v\uEbJ\ujlRSfR`^_TkcudBIIJ\ljud Ne N g:JZ[^XabceJ

RVIt:J/jl^_\uRVXJtHjlUXWYjl^XIc^XjuJsZ[UXQbcuR`pqJ[jlJ/p'\uUg3J]pqJ[\uJ/juIRVQHRVce\uR`Z[ckEHJ[jlJ >\nU(J¢qJ/Z[aq\uRVUXQ:c1R\lE\uEbJ]cu^XIJ

RVQHtHaH\WXRVXJ8\uEHJ£cu^XIJjuJceaHTS\I? UXIJ}U_v\uEHJ}juJ[ªJ[jlJ[QbZ[J/cUX(\uEHJ}RSQbtHaq\YJ/Z\uUXjI^<d g3JTVJ/^<XJp

abQbZEb^_QbWXJ/p}gfd8\lEHJt3J[jlI'aq\^\uRVUXQ ¥U_^¥cudBIIJ\ljud e &( Ub\uEHJYJ/Z\lUXj(UX }J¢HZEb^XQHWXJp

RVQHtHaH\juJ[ªJ[jlJ[QbZ[J/cRSQfXUYTSYJ/pRSQ}\uEHJcudfIIJ[\ujld¥RVc(Z/^_TVTSJp8\lEHJ GODqµÉ³bFLCDqµkceJ[\EHJ/juJ^Xc\uEHJ

YJ/Z\uUXjUX J[¢qZE:^_QHWYJ/pUYaq\utbaq\¬jlJªJ[jlJ[Q:ZJ/cR`c1Z[^XTSTVJ/p*\lEHJ GODqµÉ³bFLCv²DqµDqµHceJ[\/ abZEcudBIIJ\ljuRVJ/c

Z/^_Q-g:J(WYjuUYaHt3J/p\uUXWYJ\lEHJ[jFgfd\lEHJvIJ^_QU_cedfIIJ\ljudjlJ[T`^\lRSUYQbc/

-¾C >ª9>Â]C >´O6[µo6HGS³_µo©²

) [µ$S FI¥³ u²du³ ²./G³ Y²³µb³µsH³´/& GDqµ³dFGCUDqµX³_µÉ³ ³] < GDqµ³dFGC

²Dqµ ²6´IK "! ' `´'³ ¿ ¾ [ ¿ ¾ &©q9>Â]Ca².Ss

2"! 'm $ &(1Y #" e% 3'i[l²D= b²²² 2 `´ "K

]

"

e" e#

"$ '

Y-bi%T`´'³´IOµ 3².Su

DFEbJ*jlJ/^YceUYQ¥EBd¥cudfIIJ[\ujld-jlJ[T`^\lRSUYQbcP^_jlJ'jlJ/hBaHRVjuJp\uUg:JWXjlUXaHtEHUXIUXIUYjutHEbRVcuIcsR`cg:^XcuJ/p¥UYQ

UYaHjsRVTST\uUZEb^_j^XZ\uJ[jlRV®[JP\uEHJ*TSRVQHqcsg3J\nJ[J/Q¥t:J/juI*aq\l^XgHTVJUXaq\ZUYIJc[DFEHR`csRVTVTg3J'I^XpHJ'ZTVJ/^XjuJ/j

RVQ\uEHJvªUYTSTVURSQbWb¸sU_\lJP\uEb^_\]cedfIIJ\ujldjlJ[T`^\uRVUXQ:c^XjuJPXJ/judpHR$ZabT\\lUZEbJ/ZEHJ/Q\lEHJvQfaHI'g3J[j

UXt3J[jlI'aH\l^_gbTSJRVQHtHaH\*pH^\^¥RVQbZjlJ/^YceJc>ªg3J/Z[^XabcuJL " ZUYQY\^_RVQbc "HJ[TVJ[IJ[QB\c?É\'R`cRVIt:UYje\^_QB\(\uU

cuJ[Jv\lEb^\& "$ ' pHUBJcQHUX\]pqJ[QHUX\uJ^aHQbRVhBaHJ'cudfIIJ[\ujldjlJ[T`^\uRVUXQHg:JZ[^XabceJv\lEHJ[jlJ(R`cQHUjlJ/hBaHRVjuJ/IJ/QB\

UYJ[j1\lEHJPI^XtHtHRVQHW'tbjuUYt:J/je\lRSJckU_\uEHJEHUXIUXIUYjutHEbRVcuIQ©^XZ\' "! ' R`c¬R`pqJ[QB\lRbJpRS\uE-^'ZT`^XclckUX

cudfIIJ[\ujldjlJ[T`^\uRVUXQ:c\uEb^_\]^_jlJWYjuUYaHtEbUXIUXIUXjltHEHR`cuIcRVQ#$'&(1Y " ev 'i)(^YceJpUYQ\lEHJ[RVjªUYjuI^_T

pHJbQHRS\uRVUXQqRVpqJ/QB\uRSªdBRVQHWcuabZEcudfIIJ[\ujldjlJ[T`^\uRVUXQ:cIRVWXEB\s^_tHt3J/^Xj\uUg:JpHR$ZabT\! UXQfXJ/jlcuJ[TVdXBJ

*

ßæqå<æ>åØè[éêÙkéêãä_ÕeÒ@ØlÖ@élÕ3ä<Ò©ÓqÒ>ØããéêÙ=q<ëlÖon<Õ]lØèêåÕ ÓIr_ØÙ¬éêÙ<ä<åÖHÒ©ÕmrVÕnÒ©ÕeÙ=peÕ#ãsØ@omn_Õ ãÓ[Ú<é+ÕnÚ

l éÖon<éêÙ1Öon<Õ ä<Ò©ÓqÒ>Øã

ØÙ<ÚNpnÓÙ<æ@éêÚ<ÕnÒ@ÕnÚvæ@ÓØæØÙÓåÖ@ä<åÖ,lØÒ©éØvn<èêÕ

,

éêÙ&-Ò@ÓåäPÖ nÕeÓÒ-oëÖ néêæéêæ peØèêèêÕnÚÖon<Õ1æ>å<ääXÓÒªÖÓIr3Ø¬ä_ÕeÒ©ãå/ÖÉØlÖ@éêÓÙ

(11)

^XjuWYaHJ\lEb^\F\uEbJ[dZ[^XQJ/^YceRVTVdg3J(cet3J/Z[R:J/pgfdTVUfUXfRSQbW'^\\uEHJvRVQqªUXjlI^_T cet3J/Z[R3Z[^\lRSUYQU_tHjuUYWXj^_Ic/

g3J/Z/^_abcuJ\uEHJ/d£^XjuJUX\uJ[Q"jlJ[T`^\lJ/p\uU\uEbJ\ndft:JRVQqªUXjlI^\lRSUYQbcvU_FtHjlUXWXj^_I¡^XjuR`^_gHTVJ/c/ UXQ:ceR`pqJ[j^

tbjuUYWXj^_I S\l^XBRVQHW^_QaHQbUXjpqJ[jlJ/pcuJ\F^Xc^_jlWXaHIJ[QB\X\lEHJ[QJ^XTSjlJ/^YpqdBQbU\uEb^_\ SE:^Xc¬\uU*cl^\lRVceªd

^vcudfIIJ[\ujldjuJ/TV^_\uRVUXQ*g:JZ[^_a:ceJZUYItHaq\uRVQHW2SR\lE^t3J[jlI'aH\l^\lRSUYQ*UXb\lEHJJ[TVJ[IJ[QB\cU_b\lEHJscuJ\kpqUfJ/c

QbU_\vIUqpqRSbd\lEHJZ[UXItHaq\lJ/pjuJceaHTS\/¸]aHIJ[jlUXabctHjlUXWYjl^XIc\l^_YJ*abQHUXjpqJ[jlJ/p¥cuJ\cv^XcP^_jlWXaHIJ[QB\c'¶

Z[UXQbcuR`pqJ[jcuUXju\uRVQHW}tbjuUYWXj^_Ic'UYjWXj^_tHEqÉgb^YceJp tHjlUXWXj^_Ic]mnabce\\uU"Qb^_IJ¥^}ªJ[( #Habje\lEHJ[jk\lEHRSjpf

t:^_ju\nd TSRVgHj^_jlRSJc'\lEb^\Z[UXQB\l^XRSQ TVU_\lcUXPWYJ[QHJ/juR`ZtHjuUYWXj^_Icg>ªUYjjuJ/abceRVQHW"tHaHjlt3UYcuJ=?*Eb^<XJ-U_\lJ[Q \uU

cl^\lRVceªdcudfIIJ[\ujldjuJ/TV^_\uRVUXQbc/

; < K ARJLD Q

UYQbcuRVpqJ/j\uEHJce\l^XQbpH^_jp-^_tHtHTVR`Z[^\lRSUYQtbjuUYWXj^_IIRSQHW*RSQB\lJ[ju©^XZJ(cut:JZRS:Z[^_\uRVUXQ-U_\uEHJ

O\\ N b^QSRWNuaXRR`V ^Q XST]cmNYVR`\ SVRR]IJ[\uEHUqpWXRVXJ[QRSQU#RSW:S{YÉJvZUYQbcuRVpqJ/j¬\lEHJvQ$\sZdqZ[TSJr

!!"#%$&('*),+.-&0/1)2)354%687

9

(:"%!<;<=>7

9

(:"?#("@=>7

ACB<D.EFG<B<HIFEEJ0G<G<K.LMLMB<NOG<B<HJPQJN.BRHSD>B<G<TU8B<VXWFEK.BRTNYFXETH[Z]\CTZS^

FN.JZS^.B<L_`YJLMBaPbJLMcXFEEde.LMB<DOEFG<B<HI\]TZS^YN.B\]fQFEgB<FG^YB<EB<cXB<N(ZIB

TNYhiHMKOG^jZS^OFZlkbJEV.fFE,mamnN0KOEE8opBmamnN0K.EEqJEV.fQFEb_B<r0K.FEHkbBsMs_

kbt]^.THCcXBZS^.J0Vj^.FH]NOJXBugB<GZ]JNYZS^.BaHSTv<BRJPQZS^OBaETHMZ_s

w

+.$+Ox%&y<&($z{

6R|

Z^.BaETH[ZnTN}\C^.TG^YLMB<DOEFG<B<cXB<N(ZTHCZSJXJ0G<G<K.L_

!<;<=a|

ZS^OBRJEV WFEK.BaZSJ1~8BaLMB<DOEFG<B<V8_

#"@=a|

ZS^OBRNOB\WFEK.Ba\]TZS^Y\]^OTG^jJEV.fQFETH]ZSJX~8B

LMB<D.EFG<B<V8_

&y$z{

ZSLMKOBaTP*ETH[ZG<JN(ZSFTN.B<VjJNOBaJLCcXJLMBaB<EB<cXB<N(ZSH]BaHMKOG^jZS^OFZ

3!<;=<<#p"<#!<;<=8"<(.3"

_

$z{

N.HMKOD.D8JLMZSB<VOnD8B<LMFZSTJN.QG<B<DZTJN

| TP*ZS^OBaHMD8B<G<TU>B<V ETH[ZJL

ETHMZ

|TZSB<LMFZSJL]VOJ0B<H]NOJZHMKOD.D8JLMZIZS^OBaHMBZncXBZS^.J0Vg_

#RSWYaHjuJ{Y¶~]ikFcet3J/Z[R:Z/^\lRSUYQ-UXHYV R<\I SVR`R

YJ/Z\uUXjkZ[UXItHaq\lJ/pgfd'RVQfXUqZ[^_\uRVUXQU_YV R`\I SVRR]R\lE\uEHJjlJªJ/juJ/QbZJc4& Q '!«^_Q:pQD$0O¡¢ !n\lEHJ[Q

\ r* \#+ \ r*

¢ ^_Qbp£ ^_jlJ(\nUt3J[jlI'aq\^_gHTVJ'RVQHtHaq\(cuJ\lcEHJ/juJ^Xc

^_Qbp£

^_jlJ

\lEHJt3J[jlI'aq\^_gHTVJUXaH\utHaq\ceJ[\lc/"#Habje\lEHJ[jRS\'R`cZTVJ/^Xj(\uEb^_\YV R`\I SVRREb^Xc(\uU8cl^\uR`ceªd8\uEbJcu^XIJ

cudfIIJ[\ujld]ªUYj^XTST</ I ºsJ/QbZJY/\lEHR`c·B^<^FIJ[\uEHUqp(E:^Xc«\lU]cl^\uR`ceªdP^ ¤¥X¤ ¤¥X¤/cedfIIJ\ljudPjuJ/TV^_\uRVUXQ#

EbJ[jlJ ! !bpqJ/QHU_\lJ/cs\uEHJ'cuRV®[JUX\lEHJ*^Xgbce\uj^XZ\]Z[UXTVTSJZ\lRSUYQ¦'@#RSQb^XTSTVdX:\uEbRVc]WXjlUXaHtEHUYIUYIUXjltHEHR`ceI

R`c\lEHJ8R`pqJ[QB\uRS\nd U_ $'&( Y X¤¥X¤Ce% X¤¥X¤,iEHRVZER`cUYQHTSd UXQHJ¥UXv\uEHJ8t3UYclcuRSgHTVJ8cudBIIJ\ljud juJ/TV^_\uRVUXQbc

jlJ[tbjuJceJ/QY\lJ/p£gfd¤¥X¤ ¤¥X¤ (d£TSUfUXfRVQHW^_\'\uEbJ O\\ Ngb^QURWN@aXR`R`V ^]Q XST cZT`^Xclc(EHR`ZE°Z[UXQB\l^XRSQbc

{=: pqR`cn\lRSQbZ\IJ\lEHUqpHc§^_IUXQHW¨ 7fFJªUXaHQbp \lEb^\}{K£IJ\lEHUqpHcEb^<YJ-\uU°cl^\lRVceªd ^_\TSJ^Xce\UXQHJ

QbUXQq>\ujlRSfR`^_TcedfIIJ\ujldjuJ/TV^_\uRVUXQ#(DFEHR`cPZT`^Xclc]F^XcceJ/TSJZ\uJp8g3J/Z/^_abcuJ'RS\vZ[UXQbcuR`cn\c]UX¬IJ\uEbUfpbc]\lEb^\

¨

ãÕÖon<Ó/Úæ

l

(12)

UYt:J/jl^_\uJ*UXQ"ZUXTVTVJ/Z\lRSUYQbc/3EbRVZE"Z[^XQg3Jcut3J/ZR`^_TVRV®[J/pUXQ}I'aHTS\uR`ceJ[\(UXjvceJhYabJ[QbZ[J/cPU_UXgqmnJZ\lc/'~cP^

Z[UXQbcuJ/hBaHJ/QbZJY<\uEHJ]juJceaHTS\lcWYRSYJ[QEHJ[jlJceEbUXaHT`p'QbU_\kg3JJ¢f\uj^_t3UXT`^\lJ/p'ªUXjk^_QfdUX\uEHJ/jkZT`^XclceJc[D^XgHTVJP{

cuaHII^_jlRS®/J/ck\uEHJvcedfIIJ\ljudjlJ[T`^\uRVUXQ:ckªUYaHQbpªUYj¬\lEHJ/cuJ]IJ[\uEHUqpHc/1iJ[jlI'aq\^_gHTVJ]RVQHtHaq\^_Q:pUXaq\ltHaq\

^XjuJ]RSQbpHRVZ/^\uJpRVQ\uEHJ]\nU*ZJ[QB\ljl^XT:ZUYTSabIQ:c[1DFEHJPcedfI'g3UXT0kpHJ[QHUX\uJ/ck\uEHJjuJ[\uaHjlQHJpjuJ[ªJ[jlJ[QbZ[JsUXj

^XTSaHJvUX\lEHJ·Y^<^*IJ\uEbUfp#

TNOFZK.LMBaJPFWF1cXBZS^OJ0V.H *B<LMc _

TN

*B<LMc _

JKZ

dc _

LMB<Eb_

!;%!>3548746(

h

#"<!#

"#"<!#g3!"!#p6

ACBZ "!#

!;%$(<O3546>7

9

:"%!:

h h

9

:"%&>3'!"<!#6(

ACBZ (

9

:"%(#g3'!"<!#6(

ACBZ (

4?#)!(<".3[#p#g7

9

:"

9 ACBZ (*+#!"

!!"#,"(<"<6O354p6>7

9

:"%!<;<=O7

9

(:"?#("@=

h h

!;%"- "-"O3546

h h

!;%!">354%6>7X#

;#(<"

h h

!;%/.0$$"O3546

h h

!;%!-83546

h h

!;%@g3546>7}#¢O71#¢:

h h

D^_gHTVJ{X¶211¢H^_ItHTVJ/csU_cudfIIJ[\ujldjlJ[T`^\uRVUXQ:c

DFEHJmP\43P^_Qbp6P,Q9TPEb^<XJ\lUcl^\uR`ceªdP^ ¤¥X¤

;

cedfIIJ\ujldPjuJ/TV^_\uRVUXQvg:JZ[^XabceJk\uEHJ/dPjlJ\laHjlQ(UXQHJkUXq\uEHJ

J/TSJ/IJ[QB\lcU_3^_Q'abQHUXjpqJ[jlJ/p'ceJ[\/<\uUfUY^Xc^_jlWXaHIJ[QB\ UXQfYJ[jceJ/TSdY65]QSRR87YV R`\ SVRR87 YVV<Y]cSV7

YX<^\<^V7 cSX<Y`^971c _b:55R`V7c M\¥Eb^<YJ\uU£cu^_\uR`cnªd ^ ¤¥X¤ ¤¥X¤cudfIIJ[\ujld£jlJ[T`^\lRSUYQ¨g3J/Z[^XabcuJ\uEbJ[d

IUqpqRSªd(UXjpqJ[jlJ/p(cuJ/hBaHJ/QbZJc#UYjTVRVce\lc/Q'©^XZ\/<\uEbJ/cuJ¬t3UXTVdBIUYjutHEbRVZkªaHQbZ\lRSUYQbcEb^<XJ¬g:J/J[Q'J[¢f\uJ[Q:ceRVXJ/TSd

ce\ua:pqRSJp(RVQ(\uEHJ#HaHQ:Z\uRVUXQ:^_TBikjuUYWXj^_IIRSQbW UXII'aHQbR\ndv^_Qbp(\uEHJcedfIIJ\ujldPjuJ/TV^_\uRVUXQbc#\uEHJ/dPE:^<XJ\uU

cl^\lRVceªd'Z/^_Qg:JspqJ/juRVXJpªjlUXI \uEHJJ[TVTÉfQHUQ'tbjuUYt:J/je\lRSJcU_b\lEHJ[RVj1\ndft3J9'S{7`(> VSTbUPV<Y\<^]QUXSTE:^Xc\uU

cl^\lRVceªd^&¤¥X¤ ¤;=<>¤cedfIIJ\ujld(jlJ[T`^\uRVUXQ'gHaq\ !06 !/RVcJhYa:^_TB\uU ! !/RSQ*\uEHR`cZ[^YceJYEHJ[QbZ[J¬\lEHJFtHjlUXWXj^_I

E:^Xc\uU*cu^_\uR`cnªd(\lEHJ]cl^_IJscudBIIJ\ljud'juJ/TV^_\uRVUXQ\uEb^XQ\uEHJsUX\uEHJ/j1tHjlUXWXj^_Ic/¸sUX\uJ\lEb^\ c _b:55R`VabcuJ/c

^'jl^XQbpqUYI§t3J[jlI'aH\l^\lRSUYQU_R\ct3J[jlI'aH\l^_gbTSJPRSQbtHaq\pH^\^H1~sTS\uEHUYaHWXE\uEHJvZUYItHaq\uJpTVRVce\Z[^_QbQHU_\Fg:J

J^XcuRSTVdtHjlJ/pqR`Z\lJ/p«B\uEbJPcudfIIJ[\ujldjlJ[T`^\lRSUYQ\uE:^\0c9_b:55R<VEb^Xc\lU*cl^\uR`ceªdRVccet3J/Z[R:J/pR\lEHUXaq\^_Qfd

pHR$ZabT\lRSJc[ TaX3QUVc(Eb^YcF\uUcl^\lRVceªd^ ; ¤¥X¤bcudfIIJ[\ujldjuJ/TV^_\uRVUXQ#bEHRVZE¥Z/^_Q-g:JRVQB\uJ/jutHjlJ\lJ/p^Xc

ªUYTSTVUsc¶Eb^_\uJ/XJ[j'RVc'\uEHJ-^_jlWXaHIJ/QY\UX TaX3QUVcf\uEHJUXaq\ZUYIJceEHUYaHT`p"g:J-^¥XJZ\uUYj'UXFJhBab^_T

jlJªJ/juJ/QbZJc[DUZ[UXItHTVJ\lJ*\lEHR`c(tb^_QbUXj^_I^H«ZUYQbcuRVpqJ/jP\uEHJ¦ SX@?¥IJ[\uEHUqp£EHR`ZE£^XRSIc(^_\(Z[UXtfdfRSQbW

\lEHJv^_TVaHJ/cFZUYQB\l^_RVQHJpRVQY\lU^'TVRVce\ >\lEHJceUYaHjZJ]TVR`cn\?¬RVQB\uU^_QbU_\uEbJ[jFUXQHJ6>\lEHJ(pqJ/ce\uRVQb^_\uRVUXQ-TSR`cn\?kDFEHJ

IJ[\uEHUqpjlJ/hBaHRVjlJ/c\uEHJpqJcn\lRSQb^_\uRVUXQTVR`cn\\uUPg3J^_\TVJ/^Ycn\1^XcTSUYQHWv^Xc\uEHJcuUXaHjZJkTVR`cn\É3R\RVcTVUXQHWYJ[j<\uEHJ

jlJ[I^XRSQHRVQHWJ/TSJ/IJ[QB\lcRVQ\uEbJPpqJcn\lRSQ:^\uRVUXQTSR`cn\^_jlJ]abQb^» J/Z\uJ/p^_QbpjuJ/I^XRSQJ/hBab^_T:\uU*\uEbJ[RVjtHjlJ[fRVUXabc

^XTSaHJc[k~c^ZUYQbceJhBaHJ[QbZ[JXB\uEbJIJ\uEbUfp-Eb^Yc\uUcl^\uR`ceªd^ ¤¥ ¤A ¤qcudfIIJ[\ujldjlJ[T`^\lRSUYQEHJ/juJ*! !

I^<d"QHUX\g3JJhBab^_T\uU ! !)#bUXjJ¢H^XItbTSJYkZUXtfdfRVQHW \CBC]de<S eH_EDRVQY\lU \FBa ea eHaVeHaVeHaGDTSJ^XpHc

\lU \FBC]de/SEe_ eHaVeHaED>¥Q°\uEHJceJZ\lRSUYQ¨yb1JWYRSYJceJ/XJ/jl^XTkJ¢H^_ItHTVJ/c*U_sQbUXQq>\ujlRSfR`^_TcedfIIJ\ujld

jlJ[T`^\lRSUYQbc/

(13)

; <; ?@BACACDFEGIM DQEM P

\^\lRSUYQ#.#HUXjlI^_TVTSdcet3J/^XBRVQHW¶

-¾C >ª9>Â]C [µo*gV´µo

]-³µ CY

eS Y iLeS Y*

ifi*´D2/¥³<´.S$Y-*

i \ "! ' Ybiw*S Y i

ÉªUXabQbp«ceabZE ^-\ljuRVtHTVJ eoS Y

ieoS Y*

i §juJ/tHjuJceJ/QB\lcv^¥ZUYaHQB\uJ[juÉJ¢H^_ItHTVJ'ªUYj(\uEbJcedfIIJ\ujld

jlJ[T`^\lRSUYQ#DFEHRVcceEbUsc1\uE:^\^_\¬TVJ/^Xce\UYQHJsUX«\uEHJ]\nU(\lJ/ce\pH^_\l^

^_Qbp *

Ub

WYRSYJ[Q8^cuJ\PU_1\lJ/ce\PpH^_\l^^XQbp¥^cudfIIJ[\ujldjlJ[T`^\lRSUYQ#3JWYJ\v^Qb^_RVXJ'tHjuUqZ[J/pqaHjlJ(\lEb^\vZ[^_Q}ZEHJ/Z

EbJ\uEbJ[j(tHjlUXWYjl^XI UYaq\lZ[UXIJ/c(^XjuJRVQbZUYjujlJ/Z\lc/'É\R`cvjuJhYabRSjlJ/p8\uU8ZUYItHaq\uJ^XTST\lEHJt:J/juI*aq\l^_\uRVUXQbc

UX1\uEHJ*t:J/juI*aq\l^XgHTVJ'RVQHtHaq\vU_¬^YJ/Z\uUXj

3\uUJ¢qJ/Z[aq\uJ SRS\uE^XTST\uEbJ/cuJ'RVQHtHaq\(pH^\^^_Q:p\uU-ZEHJ/Z

EbJ\uEbJ[j(\lEHJUXaH\lZUYIJYJ/Z\uUXjc(^_jlJJ/hBab^XTVcv\lU8^t:J/juI*aq\l^_\uRVUXQ£U_F\uEbJXJ/Z\uUYj(juJ[\uaHjlQHJ/p£gfdS$Y

i

DFEbRVcFtHjlRVQbZRVtHTVJZ[^_Q-g3J(RSTVTSa:cn\ljl^_\uJ/pgfd\uEbJvªUXTVTSURVQHWZUYII*aq\l^_\uRVXJ(pqR`^_WYjl^XI-

l ldldl *

33

5 33

5

S Y

i?ldldldl

2"! 'fY-iw*S Y i

É\(R`cPUXQHTVd8^QbJ/ZJcucl^_jld¥ZUYQbpqRS\uRVUXQ8ªUYjP\uEHJZUYjujlJ/Z\uQHJcucU_ S£(j\R\c(cet3J/Z[R3Z[^\lRSUYQg3J/Z/^_abcuJ*RVQq

Z[UXjljuJZ\]RVItHTVJ[IJ[QB\l^_\uRVUXQbcU_ SI^<d¥^_T`ceUcl^\lRVceªd\uEbJ*cl^_IJ*cudfIIJ[\ujld-jlJ[T`^\lRSUYQ#v¸sU_\lJ'\lEb^\P\uEbRVc

tbjuUqZJpqaHjlJR`cRVQbpqJ/t:J/QbpH^XQY\vU_1\lEHJ*\uJ/ce\(ceJ[\g3J[RVQHWa:ceJp«vQ¥©^XZ\/«RS\PTVJ/^<YJ/c\lEHJ*\uJ/ce\uJ/j]\lEHJt:UBcucuR

gbRSTVR\nd8\uUabcuJ^XQfd8^_aq\lUXI^\lRVZ*\uJcn\pH^_\l^-WXJ/QHJ[j^\lUXjc[3g3J/Z[^XabcuJRS\R`cvQHU_\(jlJ/hBaHRVjuJp¥\uUtHjlUqpqabZ[J^XQ

UYjl^YZTVJªUYj\lEHJJ¢qt:JZ\lJ/p}UXaq\ZUXIJc['º]UJ/XJ/j/3R\cuEHUXabTVpg:JjlJ/Z[^XTSTVJ/p¥\uEb^_\P\lEHJQfaHI'g3J[jvU_t:UBcn

cuRVgHTSJ(t3J[jlI'aH\l^\lRSUYQbcFRVQ ,"R`c"HVHTVJ/^XpHRSQHW\lU^_Q-RSItHj^XZ\uR`Z[^_T«QfaHI*g:J/jU_tHjlUXWXj^_I Z/^_TVTVcFEbJ[QHJ/XJ[j

¨RSQ:ZjlJ/^XcuJ/c/°¸]U}Efdft:UX\uEHJceR`c^_jlJI^XpHJ-UYQ¨\lEHJ-\ndBt3JU_s\lEHJt:J/juI*aq\l^XgHTVJ-RVQHtHaH\pb^\l^ >gHmnJ/Z\

jlJªJ/juJ/QbZJc[RSQB\uJ/WXJ/jlc/¬VS,?gHaH\*ZEHJ/ZfRVQHW-\uEHJJhBab^_TVR\nd}g:J[\nJ/J[Q1%bUB^\uRVQHWt3UXRVQY\*<^XTSabJ/cvIRSWYEB\'g:J

E:^_®/^XjlpHUXabc1g3J/Z/^_abcuJ]tbjuUYWXj^_Ic\uE:^\I^XQHRStbaHTV^_\uJPceabZE<^XjuR`^_gbTSJc¬pqJ/t:J/Qbpce\ujlUXQHWYTSd*UXQ\lEHJPJ[^_TVab^

\lRSUYQUYjlpHJ[jFU_J¢qtHjlJ/clceRVUXQ:c[ Ubf\lEHJ(J/hBab^XTSRS\ndjlJ[T`^\lRSUYQg3J\nJ[J[Q-\lEHJZUYItbaq\uJpjlJ/cuaHTS\lccuEHUXaHT`p-g:J

jlJ[T`^¢qJpªUXjF\lEHJ/cuJv\ndft:Jc[

; < BD M PCK%M%DP Q@BACACDFEG@HGIDJLKENMLO%P

¦£J\uaHjlQQHU UYQ^IUXjlJstHj^XZ\uR`Z[^XT:tHjlUqZJpqaHjlJ\uEb^_\FZEbJ/ZqckEHJ[\uEHJ/j^'tHjlUXWXj^_I§cu^_\uR`cn:J/c^WXRVXJ/Q

cudfIIJ[\ujldjlJ[T`^\uRVUXQ

= = ¾

Ã S>

C

¾ C }

¾ Â!

¾ q?>

Â C

QUXjpqJ[j\lUTVRSIRS\]\lEHJ'QfaHI*g:J/j]U_ktbjuUYWXj^_I Z/^_TVTVc/bJ'tbjuUYt:UBceJv\lUZEHJZUXQbTSd-\nUt:J/juI*aq\l^_\uRVUXQbc

UYQHTVd\nUt3J[jlI'aq\^\lRSUYQbc^_jlJjlJ/hBaHRVjlJ/p\uUWXJ/QHJ[j^\lJ2 ,"fk~]cs^Z[UXQbcuJ/hBaHJ/QbZJYBJ(WXJ[\F\uEHJvªUYTSTVURSQbW

tbjuUYt:UBceRS\uRVUXQ}¶