Prototyping of VLSI Components from a Formal Specification

(1)

HAL Id: inria-00074315

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

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

Prototyping of VLSI Components from a Formal Specification

Roderick Mcconnell

To cite this version:

Roderick Mcconnell. Prototyping of VLSI Components from a Formal Specification. [Research Report]

RR-2363, INRIA. 1994. �inria-00074315�

(2)

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

Prototyping of VLSI Components from a Formal Specification

Roderick McConnell

N˚ 2363

septembre 1994

PROGRAMME 1

(3)

(4)

%&" ' ()* '+,-. 0/132/4'5$6" 7

8:9;=<?>A@CBEDGFHBJI9LK=K&<?MNM"OPO

QRTSEUERWVXXZY5[]\ ^_Ra`abdcfeTYA`PehgiRhYAjkJVARaVlmlonYplmYAjPq%rJVsjtYAj_u?Yvu?Sswdw*xYpYAj3qdRixYAjCYAVgiy

Ype_jCzdjCepnYpXY{ju?c|jtehRTcfrdg}xYAj

QRTSE~CYpe_^1Q=

]VAkdkJSERheu?YRhY{`bdY6Ra`abdYw0EsE0\ jtYpkiehYpXrdRhYv[ps\ skVUEY{j

PAAdE%_YkdRhY{jtYpwevV-ehRWV~CYA`PeTSERTzRhSEXSsRhXVAl&jtkJYA`Pc`pVeTcfSsweTS)`PSsXkJSEwdYpwepq *bdc|`b `pVAw

rJY-gjtYAuehS)kiRhSEeTSEeCzk¡YVkdkilfc¢`6VehcmSEwJj*bdc¢`ab£`PSEXrdcmwdY5S¤¥ehbdYp¥ojtbiYpl¦v`3SEXkJSEwiYpw?eWj0VAwJu.`PgJjteTSEX

bJVRWu?*VARhY%q&kdRhSA§c¢u?YAu¨ehbdYpz XYpYpeehbiY`PSEwjtehRWVcmw?eWjSA0©%zwJ`abdRhSswdSEgjª1VAeaV¨«¬lfSA ®bdYSERhX"Vl

jtkJYA`Pc`pVAehcfSsw.VlmlfSA_j1gJj¯eTSkdRTSA§%YeTbJVe!`PgJjteTSEX°`PSsXkJSEwdY6w?eWj±*cmlflrJY`3SERhRTYA`PeTlfz)jCz?w`bdRTSEwdcm²pYAu

cfw³V¨jtzijteTYpX `PSEwehYpyep³YJRajCecmw?eTRhSu?g`PY´µ¬©¶"©%zwJ`abdRhSswdSEgjª1VeWV«¬lmSq&Ypl¢VAr¡SsRaVAehY)ehbiY

`PSEwjtehRWVcmw?eWj]cfe1cmXkJS%jCYAjPqVwJu)uYPJwdYgdwJ`PeTcfSEwj]RhYplmYp§sVwe]eTS`PSswJjteTRhgJ`PeTcfwdU"VjtzijteTYpX)1®biYpw)Y

u?YAjT`PRhcmr¡YeTbdY:`PSEwJjCehRTgJ`PehcmSEw.S±V¨jtcfXgdl|VehcmSEw¨XSu?Yplo¨«¬cfwJVAlflmz%qYuYp§%YplfSsk.V¨`PSEXkJSswdYpwe¯SER

XSEeTcfSsw-§c¢uYpS5`PSucfwdUcfw´·1ªµqJjteaVARheTcfwdU5RhSsX¸V¯SERTXVl¹jtkJYA`Pc`pVeTcfSsw

º»%¼ ½h¾v¿JAÀ¬E.XSsehcfSsw§c¢u?YpS`3Su?cfwdUiqJjtzwJ`abdRhSswdSEgJj_udVAeaV0ÁJSAqd´µ¬©jCcfXgdl¢VAehcmSEw

ÂÄÃ!Å

ÆNÇCÈpÉ

Å

Æ=Ê¬ËfÇÍÌÏÎaÐ

ÑCÒ ÓAÔÖÕ×LØ3ÙÚ¯×¹ÛÕÝÜEÛaÙÞÏÔÛaßÖßÖà*ámâAãEäpåTä¯æ6à¯ÞÓAå_çÙåCãEèÓ5éLØpØ3ÙNäpÔÖãsÛaÞÏåTävêëåCÕåhÛaÙoèÏÓìdÙØPí3ÙoÛîðïÝñ¬òØá¹ÞÏÓAå}çÙåtãsèÏÓ

ò1ÔÖãAÔÖÕÏÞÙà5ØáÝê åCÕÏåTÛaÙNèÏÓZÛaãEäópÜsÛPèNå3ôdæpà0ÞÓAå1õdÕÜAÙÏÔÖÞ}öLê ï÷ÜAÙØhøNåTèNÞ_ñëØvù3ùPú3ûñëïÝñ ïëüÄûôiÛãsä0æpà5ÞÓAå1ý¬Ø{èÍÞØ3ÙNÛaßþü

èCÛãsäpÔäAÛÞå=ñ åCÞ¢×LØ3ÙÏÚ]ámØ3Ù ópàpÕÞÏåCî³Ûaãsä]òÛ3èÏÓAÔÖãAåï¬ÙoèÏÓAÔÖÞåTèÍÞâAÙÏå&ØáÞÏÓAå=ýêõJýÿ

ÑNÑCÙÏØ{äÔÖÙÏÔÕNÛAÿámÙ

(5)

' ¨'5$6 ¨) #Ý 0/132./_'5$6" %4 0++6

»». ]SsgJju?Yp§%YplmSEkdkJSEwj]gdw `PSEXkJS jhVwe1lmcpxYVg `PSudVAUEYZu! þcmXVUsY0§c¢u&xY6SdqLYpw)wiSEgJjVki¥

kdgdzVAw?eÝjtgdRÝgdwdY_jtk}xYA`Pc¦¡`pVeTcfSEw1SsRhXYplmlfY=Vp§%YA`lmYXSunY6lfYÁJSEe u?Y*u?Sswdw}xYpY{jjtzwJ`abdRhSswdY#"%$'&(C*)=YpeTehY

jtk}xY{`Pc¦`6VehcmSEw¨wdSEgj¯kJYpRhXZYpeu! TxYpeaVArdlfcmR1lfYAj1rJSEwiwdYAj¯kiRhSEkiRhc6xY6ehYAju?YZjtzwJ`abdRhSswdc¢jTVehcmSEw qgdwdYSsc¢j1lfY

`PSEXZk¡S jhVAw?e5cmwJjxYpRixYudVAwJj5jtSswY6w?§cfRTSEwdwdY6XYpwep,+]wdYwdSseaVAehcfSsw.ehYpXkJSsRhYplmlfYVcmwJjtc.-%gdYlmYAj±SswJ`P¥

ehcmSEwJj]w}xYA`PYAjTjhVcmRhYAjvnVjCSEw¨gdehcmlfc¢jTVeTcfSEw:kJSEgdR1l|VXSu&xY6lfc¢jTVeTcfSEwu?YAjxYp§&xY6wdYpXYpweaj*uiVwJj]giw¨jtzijte6nY6XY

k*xYpRTcfSu?c/-¶gdYvjCSEwe*cfwehRhSugdcfeWjP10wJjtgicfehYwdSsgJj_uxYA`PRTcf§%SEwj$l¢V`PSswJjteTRhgJ`PeTcfSswu, þgdw:`PSsXkJS%jhVAw?e_uY0jCcf¥

Xgil¢VeTcfSsw 20w?Jw qEwiSEgJj=u?SswdwdSEwj giw5Ypy?Y6XkdlfY u! þgdwjCzdjCe6nYpXZY$kJSsgdRl3 YAjteTcfXVAehcmSEwvu?YXZSEgd§%YpXZYpw?e6q

VcmwJjtc4-%gdYvu?YAj*RixYAjCgdlfeWVeWj*u?Yvjtzw?eTb nYAjtYvVp§%YA`]lmYAj$Ssgdehcml¢j*u?Y5©%zwdSskJjtzijP

5¿{P½a76*».`PSswJ`PYpkiehcfSsw:u?Yvjtzijte6nY6XYAjjCk*xYA`Pc|Vlmc¢jxY{jPq?´±µ¬©aqd`PSudVAUEY!u! þcmXVUsY1§?c|uxYpS

(6)

7

Ý ¨/_$6

®bdYehRWVwJjCcfeTcfSEw£rJYpeCYpYpw£VrJYpbJVp§cfSsRaVl_XSu?Y6lS¯V)jtzijtehY6X VwJu£V*YpUsc¢jteTYpR® RaVwjÍYpRZµLYp§%Ypl

8

Ý®*µ:9XSu?Y6ldc¢jSeTYpwVvu?c<;"`Pgdlme=jteTYpk q%cfw§%SElm§?cmwdUV`PSEXZkdlfYpeTY*RhYp¥*RhcmehY*SAYAVE`ab`3SEXkJSEwiYpw?e6%Nw

VEuiu?cfeTcfSEw¹q¶cmec|j SAehYpwZehbdYjCSEgdRW`PY1SAYpRhRTSERaj%=VE`p`PSsRau?cmwdU0eTS 0*0*lfYpUsYpwJuLq?>W«¬c¦eCz5kJYpRW`PYpwe$SAÝ^¯© )

kdRTSEehSseCz?kJYAjuSEw eSsR@0cmw5ehbdY}jtzijteTYpXYpw?§cfRTSEwdXZYpw?erJYA`pVgjtY_S¹`bicfk5jCkJYA`Pc¦¡`pVeTcfSEwvYpRhRTSERWjPq%`abdcfk

cfwehY6RaVE`3ehcfSswkdRTSErdlmYpXj$SsR]Y6lfYA`PeTRhc|`pVlJYP¤YA`PeWjRhYpl|VeTYAuehSrJS%VARau-cmXkdlmYpXY3w?eWVehcmSEw BACþ4DN

Nw)ehbdc|j1VRTehc¢`3lfYY5kdRTSEkJS%jCYVZjtzijtehY6XVeTc¢`VkdkiRhS%Vs`b¨ehSZkdRhSsehSEeCzkdcfwiUVjtzijtehY6XVAe1ehbiY4Yp¥

UEc|jteTYpR5® RaVAwJjÍYpRvlfYp§%Y6lNqjteaVARheTcfwdURhSEX V"SsRhXVAl&jtkJYA`Pc`pVeTcfSswS_eTbdYjCzdjCehYpX°ehcmXcfwiUcfw¨´µ¬©

©%zwJ`abdRhSswdSEgJjvª1VeWV«¬lmSA

8

´0©ª«E9FC¦[pGDHC¦[PIDHC¦[pDo:J_gdR5VAkdkdRTS%VE`abc|j±rVEjtY{uSEw.VSERTXVl=jCkJYp¥

`Pc`pVeTcfSsw)wdSEeWVehcmSEw VwJu¨VjtcmXgdl|VeTcfSEw:XSu?YploqdkJS%jtcmehcmSEwdYAu)rJYpeCYpY6w©%z?w`bdRTSEwdSsgJjª1VeWV«¬lfSA

8

©¶ª1«E91UsRaVAkdbJjVwJu.VjCz?w`bdRTSEwdSsgJj5jtzijteTYpX°rdgdcflmeS±jtzwJ`biRhSEwiSEgJj5`PcmRa`Pgicfeaj3 ^1jcfw÷©ª«q¬eTbdY

wgdXrJYpR&SÝcfwdkigde1VAwJu-Ssgdehkigde]§sVAlfgdYAjkJYpR_SEkJYpRWVeTcfSEw:kJYpR*kJYpRhcmSuVRTYK@wdSA*w JNw:VEudu?cmehcmSEw qdeTbdY

XSsXYpweajLVAe=*bdc¢`ab0eTbdYpz0Y6y?c|jteRhYpl|Vehcm§%Y=ehSV`PSsXXSEwv`PlmS`L@vVARhY_jtkJYA`3c¦JYAuqcmw0SERWu?YpR=ehSkdRhSsk¡Y6Rhlfz

XSu?Y6ldjCz?wJ`abdRTSEwdSsgJj=`PcfRW`PgdcfeWjMCNGDNs®bdY*ehYpXZk¡SsRaVAldjCk¡Y{`Pc¦`6VehcmSEw5kJYpRTXcfeWjëeTbdY_u?YAjCcfUEwiYpRehSr¡Y6ehehY6R

u?YPwdYcfwdkdgie1VAwJu-Ssgdehkdgie]gdwJ`PeTcfSswJjPqJVAwJu-cmw-kVRheTc¢`Pgil¢VR_ehSXSu?Y6lLkdcmk¡Y6lfcfwiYAuSEkJYpRaVAehSsRaj1VAe]eTbdY

*YpUEc|jtehY6R® RaVAwJjÍY6RlfY6§%YplNsNwXS%jCe&`pVEjCYAj$eTbdc¢jYplmcfXcmwJVeTYAjërig?¤YpRajrJYpeCY6Ypw5kdcfkJYplmcfwdY{uSsk¡Y6RaVeTSERWjP

®bdY©%z?w`bdRTSEwdSsgJjª1VAeaVv«¬lfSA.UERWVkdbOCþsPDC?[4DS¤YpRaj&Vw5YplmYpU%VAw?eÝRhYpkdRTYAjtY6w?eWVehcmSEw0SsR=`PYpRTeaVcmw

RhY{Vlf¥ehcmXY5ª_cfUEcmeaVAl©%cfUswJVl&QRhS`3YAjhjCcfwdU

8

ª¯©QM9±Vkdkdlmc¢`pVAehcmSEwJj3 ÏTqLcfw¨SERWu?YpRehScfXZkdlfYpXYpwe_V`PYpRh¥

eaVAcfwZVkdkilfc¢`6VehcmSEw qAbdcmUEbehbdRTSEgdUsbdkdgde&*cflfliVl|jtSrJY]RTY2-%gdcfRTYAuLqsjtkJYA`Pc|Vlfcm²pYAu´µ¬©`PcfRW`PgdcfeWj¬VARhY_SeTYpw

eaVARhUsYpehYAuL®=z?kdc|`pVlmlfz%qdeTbdYAjCY5`PcmRa`Pgdcmeaj*VARhYjtzwJ`abdRhSswdSEgjPq VAwJu)VRTY0lfcmw@%YAurz)u?YAuc¢`pVAehYAu`PSsXXgi¥

wdc|`pVeTcfSEwj$kJVAehbJj*¥¬eTbdY1*cmRhYAj=S V5Q )6Q÷SsRSRgdlfeTcf¥ )=bdcfkTRSu?gdlfY q SsR*YpyiVXkdlmY%%^]lmehbdSsgdUEbZehbdYpRTY

VRTY_`PlfY{VRÝjtcfXZcfl¢VARhcmehcfY6j¡rJYpeC&YpYpw0eTbdY]©¶ª1«UERWVkdbZVwJu5VjtzijtehY6X S¹jCz?wJ`abdRTSEwdSsgJj`PcmRa`Pgdcmeaj3qpehbdYpRTYc|j

Vl|jtS!V±l|VRTUEY1U VkcmweTYpRhXjS XZSu?YplfcmwdU1eTbdY]cmXkdlmYpXY6w?eWVehcmSEwvu?YpeWVcml¢jP® SbdYplfkrdRTc¢u?UsY]eTbdc¢jU%VAk q

Y_kdRTSEkJS%jCY5V0«dSsRhXVAlL©%kJYA`Pc`pVeTcfSswwdSEeWVeTcfSEw:VAwJuV0`3SEXkJSEwiYpw?e=XSuYplNq%*bdc|`bZ`pVwZRhYpkdRTYAjtY6w?e

V5eaVRTUEYpe_VAkdkdlmc¢`pVAehcfSswr¡SsehbVeVw©¶ª1«lfYp§%YplVAwJuVAe]eTbdYlfYp§%YplJSA=jCz?wJ`abdRTSEwdSsgJj]`3cfRa`3gdcfeWjP

®bdYpRTYYpyc¢jte!jtYp§%Y6RaVl&jCzdjCehYpXj*bdc¢`ab `PSEXkicflfY© z?wJ`abdRTSEwdSsgJjªVeaV)«lfSAHUERWVkdbJj0SER5Xgdlm¥

ehcmkdRhS`3YAjhjCSERcfXkdlmYpXYpw?eWVeTcfSEwjPqjtgJ`ab£VEjVUMWYX $[Z2\!]^CDoqM_1_^1Q0¥NTVC¦[*`PD*SERZ^]lmeaVba )&VEu?Y6wJ`PY7 j

>P© cfUEwVlQRhS`PYAjTjtcmwdUSsR@J©%eaVAehcfSsw2ACDN%Ï¹V1kdcfkJYplmcfwdY{u0bJVRWu?*VARhY_cfXkdlmYpXYpw%eaVAehcfSswc¢jYpw§?c|jhVUsYAuLq

ehbiYAjtYjCzdjCehYpX"jjtg¤LY6RRhSEX ehbdYuc¢jhVsu?§sVweaVAUEY0eTbJVe*rilfS`@djSA=udVAeaV5VARhYrdg?¤YpRTYAur¡Y6et&YpYpwSskJYp¥

RaVAehcmSEwJj3:J_gdR1VAkdkdRTS%VE`ab¨Vl|jtSuc¦¤YpRajRhSsXYpyc¢jCehcmwdUjtzijteTYpXj$SER±u?Yp§%YplmSEkdcmwdU5kJYpRhcmSu?c¢`v`PcfRW`PgdcfeWjPq

jtg`bVEj)&^$®*· 0$ª]^1µcCdNPDoqYUfe (hg:Z2XiCEDNq2RY6w?eTSERj__RaVAkdbdc¢` Öj0>aª¯©Q © eaVeTcfSsw2AkCþI`PDSERmlKnoYW

CþsPDpEehbdY{jtY_jtzijteTYpXjVARhY*rJVsjtYAu5SEwZjtzwehbdYAjCc¢j3q%VwJu5gJjCY1Vu?YAjT`PRhcmkdehcmSEw5SA ehbiY*cfwehYpRTwJVldSskJYpRaVAehcfSswJj

ehS"u?YpehY6RhXcmwdY]eTbdY5jCz?w`bdRTSEwdcm²AVeTcfSswS ehbdY!udVeWVRhSsXehbiY5udVAeaVu?Y6k¡Y6wJu?YpwJ`3z%dYvcfwJjCehYAVsu-gJjCY

ehbiY±SsRhXVAl jCk¡Y{`Pc¦`6VehcmSEwS$jtzwJ`biRhSEwicf²AVAehcfSswcfw´0©¶ª1«ehSkdRhSA§%Y`PSsRhRTYA`PehwiYAjhj3

êê ãq6ûPú3ù3ú

(7)

®bdY5RhY6XVcmwJu?YpR&S&ehbdY!VRTehc¢`3lfY0c|j4SsRhU Vwdcm²pYAu)VEj*SElflmSA_jPÍwjtYA`3ehcfSsw)&Y0RTYp§?cmYpGeTbdY0kdRTcfwd¥

`PcmkdlfYAjSA_©%z?w`bdRTSEwdSsgJjª1VeWV«¬lmSJ¨Y5ehbdYpw:cfwehRTSu?gJ`PYv´µ¬©1©%z?w`bdRTSEwdSsgJj1ª1VAeaV«¬lmS VwJu

cfeWjVEjhjCS`Pc¢VAehYAuSsk¡Y6RaVeTSERWj0cfw jtYA`PeTcfSsw.? ¨YVl|jtS)uYPJwdYwdYA`PY{jhjhVARhz¨`PSswJu?cmehcfSswJj±SsR¯gdw`PehcmSEwJVAl

bJVARau?}VRhY qE*bdc¢`abVRTY_VwYpyehYpwJjCcfSsw5ehS1eTbdY*wdYA`PY{jhjhVARhz!`PSEwJucfehcmSEwJjUEcf§%Y6w5cfw CþsPDoqC?[4DNqsVwuVAkdkdlfz

ehbiYAjtY&ehS`PSsXkJSEwdY6w?eWjëcmw5jtY{`PehcmSEw0iE^£`PSEXZk¡SswdYpwe¬XZSu?Ypl%*bdc|`b!Vc¢uijëcmwVkdkdlmz?cmwdU_´0©ª1«ehS1eTbdY

u?Yp§%Y6lfSEkiXYpweLSëVwZ®*µjCzdjCehYpX jtcmXgdl|VeTcfSEw¹qpc¢j=Vl|jtSkdRhY{jtYpwehYAu¨YJwdc|jtbr?z!Vkdkdlmz?cmwdU1´0©¶ª1«

ehSjtzwJ`abdRhSswdSEgJjv`PcfRW`Pgdcmeaj1VAwJu.jtzijtehY6X°u?YAjtcmUEw¨cfw.jCYA`PeTcfSEw `?q gJjCcfwdU:´·1ª1µðVAwJueTbdY-© z?wdSskJjtzij

jtzwehbdYAjCc¢j*ehS%Ssl¢jP 0 yiVXZkdlfYAj3q?cmwUEY6wdYpRaVAleaVG@%YpwRhSsX§c¢u?YpSZ`PSu?cmwdUdqVRTY5UEcm§%YpwehbdRTSEgdUsbdSEgdeeTbdY

VRTehc|`PlfY1eTScmlflmgJjteTRaVeTYj@%YpzkJSEcfweaj3

¨/) # '5' ( +6

«dSERvVkikdlfc|`pVeTcfSEwj¯*bdc|`b)XY6Ype1cfeWjjtehRTc¢`Pe±`PSEwJjCehRWVcfweajSEwkJYpRTcfSu?c|`PcfeCz%qJehbiY-©%zwJ`abdRhSswdSEgj0ª1VAeaV

«¬lmS¨UERWVkdb5SA¤YpRajV*kJSAYpRCgdl%XSu?YplESsRjCeaVAehc¢`&VwJVAlfzijtc|j¬VAwJu0jCcfXkdlmc¦JY{u4cmXkdlfY6XYPweaVAehcmSEw 3ª1VAeaV

«¬lmSUERWVkdbj C[ DmC*D_VRTY-SAehYpw.gJjCYAucmw£jtcfUswJVl*kiRhS`PYAjTjtcmwdUeTSXZSu?YplRTYAVlm¥ÏeTcfXYZVkikdlfc|`pVeTcfSEwj

rJYA`pVAgJjtY1eTbdYpzS¤YpR_VAwcfwehgdcmehcm§%Y_VwJu§c¢jCgJVlmlfz¥ÏSsRhcmYpw?eTYAuVkdkdRTS%Vs`b CþGDNd©ª1«¨c¢jV§sVRhc|Vwe*SeTbdY

ehRWVEu?cmehcmSEwJVAlª1VAeaV«¬lmS UERaVAkdbYpLeTbdY5VAXSEgiw?e_S}udVAeaV`PSswJjtgiXYAuVwJukiRhSu?gJ`3YAur?zYAVs`b:wdSu?Y

SERVlmlLcmeajcfwikdgdeaj_Vwu"Ssgdehkigdeaj3q¡c|j$Jy?Y{u"cmw:VEu?§sVw`PY%

"!

NwehbiY¯©ª«XSu?Yploq%V5jtcmUEwJVAlLkdRTS`PYAjTjtcfwiU5Vkikdlfc|`pVeTcfSEwZc¢juYAjh`PRTcfrJYAu5cfwehYpRTXjS'%, 3=ehRaVAwJjÍY6Raj

Vwu-SEkJYpRWVeTcfSEwjP®bdYw?gdXrJYpR=SH3 '$#[ #=YplmYpXYpweajwdYpY{u?YAuSsR1VAw-SskJYpRaVAehcfSsweTS`PSsXXYpw`PYEq

Vwu,eTbdYwgdXrJYpRSAm&%'#[3 #5Y6lfYpXY6w?eWj0RhYAjCgdlfeTcfwdURTSEX VAw Ssk¡Y6RaVeTcfSsw q_VRhYy?YAu³Ve:u?Y{jtcfUsw

ehcmXY%%«dgdRTehbdY6RhXSsRhY%qEeTbdY1wJVAehgdRTY1SÝehbiYAjtY1kiRhSu?gJ`3YVwJu`PSswJjtgiXY]Y6lfYpXY6w?eWjëc|j$wdSseJy?Y{u¥ehbiYpcfR

UERWVwgdl¢VARhcmetz"`pVw:§EVARhzRhSsX¸jtcmwdUElmYSERWudj*SER_kdcfyYpl¢j3q?eTSrdlmS`L@ij*S&VARhrdcmehRaVARhzjCcf²pY qdRhYpkdRTYAjtY6w?eTcfwdU

SER5Y6ydVAXkdlfYYpwehcmRhYcmXVUsYAjC[pDNÝ®bdY:`PSEwjtgdXYZYplfYpXZYpw?eWjVRhYrdg¤LY6RhYAu.VeehbiY-cmwdkdgde5eTS¨Vw

SEkJYpRWVeTSER_gdw?eTcfl¹Vwcmwdkdgde*eTbdRhY{jtbdSsl¢uc¢jRTYAVE`abdYAu?pehbdYSsk¡Y6RaVeTSER_c¢jeTbdYpw056L#%EqSER_jCeaVRTehYAuJÍweTbdY

VrjtehRWVE`PeXSu?Yploq?ehbiY0RhY{jtgdlmeaj_VRhYvehbdY6w)Vp§sVcfl|VrdlmYcfXXY6u?c|VehY6lfzsq¶coþY%ehbdYvkdRhSugJ`PY5YplmYpXYpw%eWjVRTY

kdRTSu?gJ`PYAu*cfeTb-wiSu?Y6l¢Vpz%

( *),+-!+/.01*2435+7698.

®bdY©¶ª1«GVkikdRhS VE`ab.VlmlfSA_j¯SswdYehS:kdRhSA§%YehbJVAe5Vk¡Y6RhcfSuc¢`jtzijtehY6X`pVAwSskJYpRaVAehYcfwJuYPJwdcmehYplmz

*cfeTbwiYpcfeTbdYpRjCeaVRT§sVehcmSEwwiSER0rig?¤YpR0SA§%YpRCÁJSAq VEjvu?YpXSswJjteTRaVeTYAurz)XYAVwj]S}ehbdYZ®ëSskJSElfSsUEz

R)VeTRhcmy : ®bdc¢jjTVXY}`PSEwjtehRWVcmw?ec|j¬YpykdRhY{jhjtY{u¯cfw C[4NGDC¦[6PDJVsjjhVAehc¢jNz?cmwdU1eTbdY;,1, 3 #j#<$#[, b'3

ÏSsgdehkigde=c|j*`PSEwdwiYA`PehY{uehScfwdkigde?>JqdehbdYvVRW`1*bdc¢`ab:`PSEwdwiYA`PeajeTbdYpXXgjte*jTVeTc¢jÍz=

@BADC-AFEG@IHKJIH

*bdYpRTY

@BA VAwJu

@LH

VRhY # 2# `3SEgdweaj3qdcNþY ?ehbiY¯wgdXrJYpRSA=ehcmXYAj$eTbJVe_wdSu?YM=SER_wdSu?Y>*cmlfl

rJYRhYpkJYAVAehYAuu?gdRTcfwdU5SswdYvjtzijteTYpX kJYpRTcfSuLq

C-A

c¢jehbiY1w?giXrJYpR=SÝSEgiehkdgde_YplmYpXYpweaj:+&%'#[3 #%*k¡Y6R

(8)

RhY6k¡Y6ehcfeTcfSsw0S

A

qsVwJu

JIH

ehbdY&w?giXrJYpR SALcmwdkdgdeÝYplfYpXZYpw?eWj)3 b'$#& #%kJYpRRhY6k¡Y6ehcfeTcfSsw0S

H

®bdY*§%YA`3ehSER *S

@BA

j¬UEcm§%YAj ehbdY&w?gdXrJYpR S¹RhYpkJYpeTcfeTcfSEwjëSALY{VE`ab5wdSu?Y_u?gdRTcfwdUSEwdY_jCzdjCehYpX k¡Y6RhcfSu

®bdYrJVl|VwJ`3YY2-%gJVAehcfSswjCkJYA`Pc¦YAj1Vw Y2-¶gicf§sVlmYpwJ`PYvS*eTbdYZ`PSEgdweS}§EVAlfgdY{jPqLcoþY%LeTbJVeeTbdYjTVXY

wgdXrJYpRvS§sVlfgiYAjVARhYkdRTSu?gJ`PYAu£VwJu£`PSEwjtgdXY{uu?gdRTcfwdU)SswdY)jCzdjCehYpXkJYpRTcfSuL=®bic¢j5cfw.ehgdRTw

UEgVRaVAw?eTYpYAj]eTbJVeehbdYjCzdjCehYpX `pVAw¨`PSEwehcmw?gdY1SsRVwzwgdXr¡Y6R*S}jtzijteTYpX¸k¡Y6RhcfSuij]*cfeTb)wdYpcfeTbdYpR

jteWVRT§EVAehcmSEwwiSER_rdg?¤YpR_S§%Y6RtÁJSA

8L 8 6 +7698 .

®bdY5©ª1«RTYpkdRhY{jtYpweaVAehcfSswbJVsj4lmcfXcmeaVeTcfSswJjPqEeTbdYXS%jCe$gdwudVXY6w?eWVlLrJYpcmwdU5ehbVe*cfe_`6VwSEwdlmzrJY

VkikdlfcmYAuehS:VlfcmXcfeTYAujtgdrd¥o`Pl|VEjhjS4jtcfUswJVl=kdRTS`PYAjTjtcfwiUVAkdkdlmc¢`pVAehcfSswJjPq wJVAXYplmzehbdS jtY*biYpRhY5eTbdY

udVAeaV-eTRaVAwJjÍYpRWj0`pVAwrJYjCeaVAehc¢`6Vlflmz)jCk¡Y{`Pc¦JY{uL)_]cm§%Ypw¨VjCgdcfeWVrdlmYVAkdkdlmc¢`pVAehcfSsw qLeTbdYpRhYc¢jVAwdSEeTbdYpR

lfcmXcfeWVeTcfSEwZ*bdc¢`abehSgJj1Vkik¡Y{VRaj_RhYplmYp§sVwe4=¡©¶ª1«÷Vsj]kdRhY{jtYpwehYAurz:µLYpY RYAjhjCYpRajT`bdXZcfehe6qVwJu

cfXZkdlfYpXYpwehY6u1cfw5ehbiY1©ª1«)u?SsXVcmw5S eTbdY_u?YAjCcfUswjtzijtehY6X-UMWX $[Z2\!] CDNq VkdkJYAVARajrJYpeheTYpR&VEudVAkd¥

ehY{u"eTSXZSu?YplfcmwdU5jCSeC*VARhYvehbJVAwbJVARau?}VRhY J®bdc¢j*c¢j*u?giY¯eTSeTbdYrdlfS`@wJVAehgdRTYS=eTbdYehRaVAwJjÍY6Raj

Vwu Ssk¡Y6RaVeTcfSswJjPqL*bic¢`ab¨`PSERTRhYAjCk¡SswJu¨`PlfS jtYplmzehS:Vw)cmwdkdgdeSERSEgdeTkdgde1rig?¤YpRvVwJu)VjtgirdRhSsgdehcmwdY

`pVAlflNqRhYAjCkJYA`Pehcm§%Yplfz EðbdcflmY1rdg?¤YpRWj*VwJu:jtgdriRhSEgiehcfwiYAj*VRTY¯&Yplflm¥NjCgdcfeTYAu0SER_cfXkdlmYpXYPweaVAehcfSsw5gJjtcmwdU

SEwiY0SER_XSsRhY1kdRTSEUsRaVXZXVrdlmYª¯©Q# jPqdehbiYpzVRTY0kJS%SERTlfz:jtgicfehY{u"eTSVu?YAuc¢`pVAehYAu´µ¬©=bJVRWu?*VARhY

cfXZkdlfYpXYpweaVAehcSEw

Ne]c|j]`PlmYAVR_ehbVe1eTbdYpRhYv`pVAw)rJY5VUsRhYAVAeu?YAVAl¬SA&jtcmXcfl|VRhcmeCz5r¡Y6et&YpYpwVw©ª1«.UERWVkdb¨VAwJu)Vw

®*µXZSu?YplESAV*bJVRWu?*VARhYp¥rJVEjCYAu5jtcmUEwJVAl%kdRhS`3YAjhjCcfwdUjtzijteTYpX)pNwvVw!Vkdkilfc¢`6VehcmSEwvjtg`b!VEj XSEeTcfSEw

§c¢u?YpS:`PSsXkdRTYAjhjCcfSEw¨cfw¨RhY{Vl=ehcmXY%q`PSEXkilfYpy:SEkJYpRaVAehcmSEwJj5jCgJ`b VEjvVu?c|jh`PRTYpehYZ`PS jtcfwiYeTRaVwjÍSERTX

VRTY]SAehYpwkJYpRtSsRhXY{u0r?zVjtcmwdUElmY1uYAu?c¢`6VehY{u5`PcfRW`Pgdcfe6q*bic¢`abeWVP@%YAjVrdlfS`@0SAÝudVeWV0VAe$eTbdY_cfwdkdgie

VwukdRhSugJ`PYAj*VrdlfS`@5SÝudVAeaV5VAeehbiY1SEgdeTkdgde6d®bdY1kiRhcfw`PcfkJVAlu?c¦¤YpRTYpwJ`PYSsRehbiYu?YAjCcfUEwiYpR=c¢j$cmw

ehbiY5ehcfXZcfwdU5SA*uiVeaVehRaVAwJjÍY6RajP¹Q RTSu?gJ`PYZVwu)`PSEwJjCgdXYvehbdRTYAjtbdSsl¢udj_cfw©¶ª1«÷Xgjte_r¡Y5RTYpkdl|VE`PYAu

rzVvjtehRTYAVX SÝudVAeaV?qd&SERWu"rz5SsRauLqehS5RTYPÁJYA`Pe=eTbdYSEkJYpRaVAehcmSEwSeTbdY1bJVARau?}VRhYvVAe_V0*YpUEc|jtehY6R

® RaVwjÍYpR&lfYp§%Yplo%Ne=c¢j$rVEjtc|`pVlmlfzVrJVwJu*c¢u?eTbVAwJujCehSERWVUsY¯kiRhSErilfYpXH¥ehbdY6RhYVARhYpw e=YpwdSEgiUEbkdcfwj

SEw:V5`abdcfkehS5kVEjhj*rdlmS`L@ij$SAÝudVeWVVAe_V¯ehcmXY%qEwiSER_u?S%YAjSswdY*VAw?e&ehSjteTSERTY0uiVeaV0giwdwdYA`PY{jhjhVARhcmlfz%

/+?0 K+ +

J_wdY5VAkdkdRTS%VE`ab)ehSZXSu?YplmcfwdUV5bJVRWu?*VARhYjCzdjCehYpX Ve_ehbiY5*YpUEc|jtehY6R1® RaVAwJjÍYpRlfYp§%Yploq%c¢j*ehSrdRTYAVP@

u?SA*wrdlmS`L@¥SERhcmYpwehYAu)SEkJYpRWVehcmSEwJjcfwehSjtcfXZkdlfYpRjtgird¥ÏSskJYpRaVAehcfSswJjPqgiw?eTcfl=YAVE`ab¨SEkJYpRaVAehcmSEw.SsR@ij

SEwVjCcfwdUslfYSsRauS udVeWV?JY!u?c¢jT`pVRWu"eTbdc¢j*VAkdkdRTS%VE`ab qVEj*cfe*zcfYpl|udj*Vw:gdw*cfYpl|u?zVAwJu`3SEgdwehYp¥

Rhcmw?eTgdcfeTcf§%Y_UERWVkdb qJVAwJu-c|j*Vl|jtSZVkJS%SERXSu?YplJSER*´µ¬©&`PcfRW`PgdcmeajP

Y`biS%S%jtY:cfwJjCehYAVsueTSXSuYplrdlmS`L@ij5SvudVAeaVVAeeTbdY:4Y6UEc¢jCehYpR® RaVAwJjÍY6RlfYp§%Y6lVsjrJYpcfwiU

ehRWVwJjNYpRhRTYAujCYpRhc|Vlflmz%qE&SERaur?z5&SERau J_gdR=SERTXVljtkJYA`3c¦`pVAehcmSEwwdSEeWVehcmSEw qiVlmlfSA_j$gJj=ehSvYpy?kiRhYAjTj

ehbiY5ehcfXZcfwdUS&ehbic¢j1jCYpRhc|VleTRaVwjÍYpR6q VwJu)ehS:jCeaVeTc¢`pVAlflmz-§%Y6Rhc¦zeTbJVeehbiY5ehRaVAwJjÍY6RajVRTY5kdRhSsk¡Y6Rhlfz

jtzwJ`abdRhSswdcf²6YAurJYpeCYpYpw¨kdRTSu?gJ`PYpR!VwJu `PSEwJjCgdXYpR6 ]Su?Y{j±cmwSsgdR0UsRaVAkdb qVAwJu`PSsXkJSEwdY6w?eWj±cmw

SEgiR]lmcfrdRWVRhz q?*cflmlLrJY5`3SEXkJS%jCYAuSÝeCSZjtgdrd¥YplmYpXYpweaj3q%VeTcfXcmwdU5`3SEXkJSEwiYpw?e}VwJu:Vw:SEkJYpRaVAehSsRp

¨Y0gJjCY0ehbiY0ehcmXcfwiU`PSEXkJSswdYpwe*ehSRTYpkdRhY{jtYpwe*ehbdYvehcmXcfwdUvS}V`Pzi`Plmc¢`]eTRaVwjÍYpR6q¡*bdY6ehbdYpR_cfe_rJY

(9)

block DCT

Input

Output DCT

Input

Output

pixel

1 64

«¬cfUsgdRhY[I=L©ª1«wdSu?Y!Ve_rdlfS`@VAwJu-kicfyYplLlmYp§%Ypl

VeV5rdlfS`@lfYp§%Ypl

8

wJVeTcf§%Y5©ª1«E9&SER±jtYpRTc¢VljCehRTYAVX

8

`3cfRa`3gdcfeT¥ÏlmYp§%Ypl9aNwehbdYSElflmSA*cfwdUjCYA`PehcmSEw qd&Y

u?YAjT`PRhcmrJY¯SsgdRSERTXVl¹jtkJYA`Pc`pVAehcfSswwdSEeWVehcmSEw

( -)/ ¨# '5Ý' (+p %

^1j*cfwJuc¢`pVAehYAucfw:ehbdYvkdRhY{`PYAu?cmwdUjtYA`3ehcfSsw qdehbiY©ª1«÷XZSu?YplLc|j]Vk¡SA&YpRtgdlehS%SslëSsRVkikdlfc|`pVeTcfSEwj

*bdc|`b5XY6Ype¬cmeajRaVAehbdY6RjCehRTc¢`Pe=`3SEwJjCehRaVAcfweaj3¶¨Y*kdRTSEkJS%jCY¯eTbJVe6q%*cfehbjCSEXY*XZcfwdSsRXSu?c`pVeTcfSswJjPq

cfe_`6VwrJY5V0kJSAYpRCgdl ehS%SslëSsR*XSu?YplmcfwdU!u?YAu?c|`pVeTYAu´µ¬©jCzdjCehYpX"jVEj*Y6lflN

®bdY)wgdXrJYpRS`PSEwjtgdXY:YplfY6XYpweaj¯wiYpYAu?YAu÷eTSl¢VAgdwJ`ab³Vw³SEkJYpRWVehcmSEw q_u?Y6k¡Y6wJudjSsw eTbdY

SEkJYpRWVeTcfSEwZVwuSsweTbdY*UERWVwgdl¢VARhcfeCzvS eTbdY*YplmYpXYpweaj3p«dSER=YpyiVXkilfY%q6V±eC&SE¥ou?cfXY6wJjtcmSEwJVAldu?c|jh`PRTYpehY

`PS jtcfwiY*ehRaVAwJjÍSsRhX

8 ª )&®!9*bdc|`bRhY -¶gdcmRhYAjV¯rilfS`@0S Ny"N1kdcfyYpl¢jÝVEj$cmwdkdgde6qEXVpzrJY]RTYpkdRhY{jtYpwehYAu

cfw `PS%VARajtY6¥ÏUsRaVcmwðudVAeaVÁJSAVsj`3SEwJjCgdXcfwiU[rdlmS`L@¨ehS¨jCeaVRTekiRhS`PYAjTjtcmwdUdMJ_RpqÝVeVXSsRhYwdY

UERWVcmw qehbiY)ª )&®XVpzrJY)RhY6kdRhYAjCYpwehYAu.VEj`PSswJjtgiXcfwdU kdcfyYpl¢j0rJYPSsRhY¨jCeaVRTehcmwdUd*®biY-JRWjte

RhY6kdRhYAjCYpweaVeTcfSswVEjTjtgdRTYAjehbJVAe1VAlflehbdY1cmwdkdgde&*cflml VRTRhcm§%Y1VAe*ehbdYvjhVAXY_cfwJjCeaVwepqd*bicflfY_ehbiY0jCYA`PSswJu

RhY6kdRhYAjCYpweaVeTcfSsw5cfXkdlmcfYAj V1rdg¤LY6RhcfwiU¯SA cmwdkdgdeY6lfYpXY6w?eWjLgdw?eTcflJVAlfldbV{§%Y*rJYpY6w5RhYA`PY6cf§%YAuLANw«¬cmUEgdRTY

[vVw)©ª1«.wdSu?Y¯SsR_Vª)&® c¢jUscf§%YpwVAe1V0rilfS`@VwJu:VeV0kdcfyYpllfYp§%Yplo

^4eehbdY5kdcmy?Y6l¬lmYp§%YplNqdeTbdYpRTY5c¢j1V`PlmYAVRjCcfXcml¢VARhcfeCzrJYpeCYpYpw)eTbdY©ª1«³ª )&®SEkJYpRaVAehSsRpqVwJu¨V

u?YAuc¢`pVAehYAu´±µ¬©ª )&®ðkdRTS`PYAjhjCSERjtgJ`ab:VEjeTbdY &p¥N®bdSsXjtSsw:R© ¥N^0[6?[ NAyNª )&®³`bdcmk C¦[6DNq

SERehbiY)µ¬©vµLSEUEc|`)µ A` NAyN¨ª )&®`abdcfk CEDNÝ®bdYpRTY)VRTY:cmwdkdgde5kdcmy?Y6l¢j5`PSswJjtgdXZYAuk¡Y6R

SEkJYpRWVeTcfSEw¹qJVwJuA`PS%Y ;"`PcfY6w?eWj kiRhSu?gJ`3YAuLJ®bdY1kiRhcfw`PcfkJVAlu?c¦¤YpRTYpwJ`PYAj=VARhYcfweTbdY00]SAeTbdY

cfwikdgde_Vwu-SEgiehkdgde_Yp§%Ypweaj3qVwJucfwehbdY1, #%3*¯SÝehbdYSsk¡Y6RaVeTcfSsw

698L8 .

®bdYv´µ¬©`3cfRa`3gdcfeWjbJVp§%Y¯eTcfXcmwdU0RTY2-%gdcfRTYpXYpweaj3q¶giwdlfc@%Y1ehbdYvjCSeC*VARhY0SskJYpRaVAehSERWj1gJjtYAucfw)©ª1«&

0§%Ypw¨c¦&YZ`PSEwjtc¢uYpRSEwdlmz)ehbdYZ®*µð`PSswJjteTRaVcmw?eWjPq ´µ¬©`PcfRW`PgdcfeWj]RhY -¶gdcmRhY5eTbJVeehbiYcmwdkdgdeWj¯rJY

jtzwJ`abdRhSswdcf²6YAu]*cfeTb0eTbdY&jtzijtehY6X`PlfS`@qpVwu¯ehbVeehbdYpz±VRhRTcf§%Y=SEwiY§sVlmgdY=k¡Y6R`PlfS`@`Pzi`PlfY q*cmehbdSsgde

cfwehY6RhRhgikdehcmSEw qLgiw?eTcflÝV`PSsXkdlfY6ehYrdlfS`@)bJVsj±rJYpY6wRTYA`PYpcm§%YAuLJNweTbdY©ª1«ðXSu?Yploq¡eTbdYpRhYVARhYwdS

`PSswJjteTRaVcmw?eWj$*bJVAeajCS%Yp§%YpR*SEweTbdY1ehcmXcfwiU1SÝehbdYcfwdkdgieYp§%Ypweaj3%µLc@%Y6*c¢jtY q¶eTbdY1Ssgdehkdgie*§EVAlfgdY{jVRTY

Vp§sVcfl|VrdlmY5cfXXZYpu?c|VeTYplz*bdYpw)eTbdYSskJYpRaVAehcfSswbVEj]Jwdc|jtbdYAu ®bdY5´µ¬©`PcfRW`PgdcfeWjPqdSsweTbdYSsehbdY6R

bJVAwJuLq?*cmlflkdRhSu?g`PY1ehbiY1SEgdeTkdgdeWj*V{ehY6R*V5`PYpRTeaVAcfwl|VehY6wJ`Pz%q%eCz?kic¢`pVAlflfzvSEwdYk¡Y6R*`PlmS`L@Z`Pzi`PlfY%qsgdw?eTcfl

V`PSEXkilfYpeTY]rdlmS`L@bJVsj4rJYpYpwYpXZcfeheTYAuL

(10)

Y_`abdS%S jtY_ehSYpykdRhYAjTj®*µehcfXZcfwdUVEjehbiY >TcfwJjCeaVweAVAe$*bic¢`ab5Vwcfwikdgde=SER=SEgiehkdgde=S`p`3gdRaj3

¨Y*eaVP@%Y}VEu?§sVAw?eWVUEY_SeTbdYoVE`PeehbVe=SEgdR jtzijtehY6X c|jjtzwJ`abdRhSswdSEgj¬ehS1SERTXVlmcf²pYÝehbdY*cmw?SERTXVeTcfSEw

S$VudVAeaVsjtbdYpY6epJÏTq?cmw-eTbdY5jCkJYA`Pc¦¡`pVeTcfSEw¹qdVw:cfwdkigde*XgjterJYvkdRhYAjCYpwe_Ve_ehbdYv`PlmS`L@Rhc|jtcfwiU5YAu?UEY q

YjtkJYA`3c¦z5ehbVeeTbdY_cfwdkdgie$Y6§%Ypw?e VwJueTbdY`PlfS`@5YAu?UsY]XgJjteÝS`p`PgdR}VeeTbdYjhVXZY0>hcfwjteaVAw?e A?qiVwJu

lfc@%Yp*c¢jCY]SERehbdYvSEgdeTkdgdep_]cm§%Ypwehbdc|j1u?YAjT`PRhcmkdehcmSEwS&cmwdkdgdeWj1VwJuSsgdehkigdeaj3qLY!u?Yp§%YplmSEkSERTXVl

YpykdRhY{jhjtcmSEwJj$SsR1`3SERhRTYA`Pe&SEkJYpRaVAehcmSEwcmwehbdY1SElmlfSA*cfwiUjtgdrJjCYA`PeTcfSEw¹

v¿¬3AAJAC¿J dAÀ ¾vdA»

^1j=kdRhYAjCYpwehYAu5cfwOC¦[*NDNqVw©¶ª1«UERWVkdb:`pVAwrJYvjteaVAehc|`pVlmlfz5VAwJVlmz?²6YAuehS!u?YpeTYpRhXcmwdY*c¦¹cfe&c¢j=`PSEwjtc¢jC¥

ehY6w?e6¶¨Y_SEgil¢ulmc @%Y%qAcfwZVEuducfehcmSEw q%eTS5VEjTjtgdRTYehbJVAe*VlmlJehRaVAwJjÍY6Raj$S`6`PgdR*VAeeTbdY >TRhcmUEbeA¯XZSEXYpwepq

cNY%%ehbJVAeeTbdYu?YAjCehcmwJVeTcfSEw:Vs`p`PYpkdeWj=V0ehRaVAwJjÍY6R_VeeTbdYjTVXY_XSEXZYpw?eÝehbJVAeehbiYjtSsgdRa`PYUsYpwdYpRWVehY{j

ehbiY¯eTRaVAwJjÍYpR6J®bdc¢j*c¢jcmw:VE`p`PSsRaudVAwJ`PY*cfeTbSsgdR]bzk¡SsehbdY{jtc¢jeTbJVeV5ehRaVAwJjÍY6R_`pVw:r¡Yv`PSswJjtc|u?YpRTYAu

cfwjteaVAw?eWVwdY6SEgJj*c¦Ýcfe*eTYpRhXcmwJVeTYAjcfwSEwiY0`3lfS`@`Pzi`PlfY%

®b?gj]Y!jteaVARhe*cfeTbeTbdY ;,1, "3 ##< #&, b'3q¹VwJu)Vsudu eTbdY5`3SEwJjCehRaVAcfwe1ehbVepqJc¦ SEgdeTkdgde=$c|j

`PSswdwdYA`PeTYAu-eTScfwikdgde >¡qV§sVlmgdY5c¢j*kdRTSu?gJ`PYAu)VAwJu)`PSswJjtgdXZYAuVAe1ehbdY!jhVAXY0cmwJjteWVwepÍwjtYA`3ehcfSsw

d-&Y*cflmlVAl¢jCS)u?YpX"VwJu)ehbJVAe0eTbdY`PcmRa`PgdcmebJVp§%YV:`PSEwJjCeaVAw?e5l|VehY6wJ`Pz%q `3SERhRTYAjtkJSswJu?cfwiU)ehSSsgdR

§c¢jtcmSEwSÝVv`PSEXkJSswdYpwe$eTbJVe&RhYpkJYAVAeaj=YpydVs`Pehlmz5ehbdYjhVAXY_SEkJYpRaVAehcmSEw*cmehbVv`PSEwJjCeaVAw?e&k¡Y6RhcfSudNw

ehbiY]SElmlfSA*cfwdUvehYpye&Y1cfwehRTSu?gJ`PY±V¯wdSseaVeTcfSsw-SER&ehbdYXSEXY6w?eWjPqESsRcfwjteaVAw?eWjcfweTcfXY q%Ve&*bdc¢`ab

VjCcfUEwVl=Ypyc¢jteWjPNwehbiY`PcfRW`PgdcfejtY6wJjtY%qJehbic¢j1`PSsRhRTYAjtkJSEwudj1ehSehbdY5cmwJjteWVweaj1VAe1*bdc|`b¨VAw)SEgdeTkdgde

c¢j*§sVlmc¢uLqdSsR1VAwcfwikdgde_c¢jl¢VAea`abdYAuLdðcmehbehbic¢j*wdSEeWVehcmSEw qJY*cmlflLSERTXVlmcf²pYSEgdR`PSEwjtehRWVcmw?e6qJVwJu

cfwehRTSu?gJ`PYvV0XY6ehbdSuSER_jCeaVAehc¢`VAwJVlmzdjCc¢jP

( " +/!"6 + 6 8 .

NwSERauYpR*ehS0SsRhXVAlfcf²6Y]eTbdY`PSswJjteTRaVcmw?eWjSEw:ehbdY1cmwJjteWVweaj*cfwehRTSu?gJ`PYAuZVrJSA§%Y%qdY]Rajte*cmw?eTRhSu?g`PY

VwdSEeWVeTcfSEw)SERehYpXkJSsRaVlYpykdRhY{jhjtcmSEwJj3 ^H`PSsXkdlfY6ehYu?Y{jh`PRTcfkdeTcfSEw)SA&ehbdY5wdSseaVAehcfSsw qVlmSEwdU*cfeTb

VXSsRhYSsRhXVAl*u?Yp§%Y6lfSEkiXYpw%e1SA1eTbdY:VEjhjCS`Pc¢VAehYAu.kdRhS%SAojPq=c¢jUEcf§%Y6wcfw C¦[3Do¬¨Y-rJYpUscfw.*cfeTb.V

wdSseaVeTcfSsw,SsRuYAjh`PRTcfrdcmwdU.VAw cmwJu?cf§c¢ugJVl1kJYpRTcfSu?c|`Yp§%Ypwepq=ehbdY6wðY¨Ypy?eTYpwJu.ehbdc|j"wiSEeaVAehcmSEw³ehS

RhY6kdRhYAjCYpwe0V)jCYpe0SA_kJYpRhcmSu?c¢`Y6§%Ypw?eWj1*cfehb V)`PSsXXSEw)kJYpRTcfSuVAwJu.jteWVRheTcfwdU)cmwJjteWVwep ¨YVl|jtS

u?YPwdY*V1`6VwdSswdc¢`pVAl¶SsRhX *bdc¢`ab0YplmcfXcmwJVeTYAjdkJS%jhjCcfrdlmY*RhYAugdwJudVAwJ`Pz0cmw0SsgdRehY6XkJSERaVAl%YpykdRhYAjTjtcmSEwJj3

_»?¿ À»J¿J »%¿ L»!¡{

J_gdReTYpXkJSERWVlJYpykdRhY{jhjtcmSEw5SER_Vk¡Y6RhcfSuc¢`*Yp§%YpweuYPJwdYAj=V0XVAkdkdcmwdU1RhSEXcfwehY6UEYpRWj eTS0cmw?eTYpUEYpRWjP

®bdY*RTYAjtgdlmehcmwdU]§sVAlfgdYAjÝu?YpwdSsehY*ehbiYj #%!" ,1" %[##"

8

SER jtcfXZkdlfz_ehbdY #9VAe*bdc|`b5Yp§%Y6w?eWjLS`p`PgdR6

^jtcmXkdlfYehYpXkJSsRaVl Y6y?kdRTYAjhjCcfSsw-c|j]uYpwdSEeTYAur?z

8%$&(')&(*

9aqd*bdYpRTY

$

c|jehbdYvk¡Y6RhcfSuq

'

eTbdY0kdbVEjtY q

Vwu

*

ehbiY0cfwicfehc|Vlu?Y6l¢Vpz%?¨Y5VAl¢jCSSAehYpw:SER+@*cfehbVgiwdcfSswS&Yp§%Y6w?eWj

'

*bdc¢`abRhYpkdRTYAjtY6w?e*eTbdY

kdbJVsjtYAj*S XgdlmehcmkdlfY

8

u?c¢jCehcfw`Pe 9ÝYp§%YpweajugdRhcmwdUV5kJYpRhcmSuLJ®bdYpRTYPSERTYYcfwehRTSu?gJ`PYehbiY0jCYpe+£ehS

RhY6kdRhYAjCYpweV`PSElmlfYA`PeTcfSswS-,

'

Öj1ugdRhcmwdUSEwdYkJYpRhcmSuL YgJjtY5eTbdY5SElflmSA*cfwdUwdSseaVeTcfSsw SsR¯SsgdR

ehY6XkJSERaVAlLYpykdRTYAjhjCcfSEwj =

(11)

» Ä¿

» =¿¡A 6 A»?6 Ï¿

8 $& '&(*

9=

$

' *

8%$&

+

&(*

96=

$

'

*

$

'

*

pp

$

'! "

* #$

%

$&(*'&

J( p ')&+*

p6

$

ð[,

+ E * '- &('. &

pp

'.!

,

/ 10 2+ 2 E

,3

Ïc¢j=eaVP@%Y6wVEj=ehcfXZY%q

& J(

q?ehbiYpwehbiYV ;ZwdY1YpykdRTYAjhjCcfSEw

8 $!&('& *

9ÝSER 8%$&

+

&(*

9 jtkJYA`PcJYAj=Vw

cfwJwdcfeTYjtY6RhcfY{jP

ð» 6»J 46Ï»4=»Ï¿ À Ï E¿

^]w)YpyiVXZkdlfY1SA_VjCcfXkilfYkJYpRhcmSu?c¢`Ypy?kiRhYAjTjtcfSsw)XcfUsb?e*rJY 865 &7*

&

pp

&85

³[,

&

9aqL*cmehbkJYpRTcfSu

5

VAwJu , E 5

Yp§%Ypweaj$cmw:VkJYpRTcfSuLqdeTbJVe_c¢j%=

9 = &

p6

8:5

£[P9

& $ E 5 &('

AFE

=

&(*

E

®bdYcfwikdgde5ehS¨ehbiYª)&®VeZVkdcfyYpl&lfYp§%YploqjtbdSA*w÷cmw£«¬cfUsgdRhY¨[Eq&SEgdl|ubJVp§%Y-eTbdYkJVRWVXY6ehYpR

5 E

AdJ®bdY!`PlfS`@Ypy?kiRhYAjTjtcfSswSEgil¢urJY =

8%$&

+

&(*

9 E 8

&7*

& [ &

p6Ps;,

&

9

8 $&

+

&(*

9M=<=

*

, 2

?> ,A@ðA-,3

©%cmwJ`PY0eTbdc¢jVAl¢jtSRTYpkdRhY{jtYpweaj_Vw¨Yp§%Ypwe1VAeYp§%YpRhz"`PlfS`@eTc¢`@Lqdcme1c¢j]Y -¶gdcm§sVlfY6w?e_ehSehbiY5Ypy?kiRhYAjTjtcfSsw

8 $!&('& * 9 E 8 [ & &

9=

B

*

C , 2

D> ,A@ðA-,FEGBHI3

®bdc¢jYpyiVXZkdlfY:jtbiS_jeTbJVeehbiYpRhYVRhY¨XgdlfeTcfkdlmYYpykdRhYAjTjtcmSEwJj*bic¢`ab÷RhY6kdRhYAjCYpweehbdY¨jTVXY

jtY6e1S}`PlmS`L@Y6§%Ypw?eWjPJ·]Y6wJ`PY0cme]c|j4wiYA`PYAjTjhVRTzeTSu?Yp§%YplmSEk:`PYpRTeaVAcfwRTgdlfY{j}SsR1XVwicfkdgdl|VeTcfwdUZ`PlfS`@

YpykdRhY{jhjtcmSEwJj3^jV)kdRhY6lfgJu?YeTSehbdY:cfwehRTSu?gJ`PeTcfSEw£SeTbdYAjCYRhgilfYAj3qYkiRhSEkJS jtY)ehbiY-SElmlfSA*cfwiU

`pVAwdSEwdc|`pVlLSsRhX)q*bdc¢`abYplmcfXcmwJVeTYAj=VXrdcfUsgdcfeCz5cmw-eTbdYwdSEeWVeTcfSEw¹

(12)

v¿% 6 ¿J2

¨Y1YplfcmXcfwVehY*RTYAu?gdwudVwJ`3zcfweTYpXkJSERWVlYpy?kiRhYAjTjtcfSswJj$rzu?c¤YpRhYpwehc|VeTcfwdUrJYpeCYpY6w

'

SER+_qiVwJu

*

¨Y*cmlfl%gJjCY

*

Ypyi`PlmgJjtcm§%Yplfz*eTS]YAjCeaVArdlfc|jtb0eTbdY*uYpl¢VpzrJYPSERTYehbiYkJYpRhcmSu?c¢`rJYpbJVp§cfSsR`PSsXXYpw`PYAjP

¨Yu?YPJwdYvehbdY5rJYpUscfwdwicfwdUSA}V"kJYpRTcfSurzehbdY5cmwdcfeTc¢Vl Y6§%Ypw?e_cfwVk¡Y6RhcfSu NwSEeTbdYpR1&SERWudjPqL&Y

jtY6eehbdY)XZcfwdcmX5gdX SAvehbdY ' A E

?q*VAwJuðgJjtY

*

ehS.jCkJYA`Pc¦z£ehbdY:cfwdcmehc|Vlu?Ypl¢Vpz%&«dSEReTYpXkJSERWVl

YpykdRhY{jhjtcmSEwJj3qdehbdc|jz?cmYpl¢uij =

» Ä¿

v¿% 6 ¿J2 H # "L#''* k<' k3, 3,1* %

8 $!&('& *

9

' E

8 $&

+

&(*

9 '-

E

&('

A @ ' A

3

A¿ =¿J ¢¿

H ##"#''*

8 $& '&(*

93, ; # # [k3, 3,1* % ;4'$# ; +, 3

'

* 102#f-0",P'G#, %,'%'% V6 102#m,11%[#1,

8 $& '&(*

9 8 $&

&(*

' 9

·]Ypw`PYPSERTehb qY*cflmlLgJjCYYpy?kiRhYAjTjtcfSswJjcfw:V`pVwiSEwdc|`pVlLSsRhXeTSVp§%SEc|uVwzkJS%jTjtcmrdlfY!`PSEw?gjtcfSsw

+7698. . " +-! 2 8 .

Nw)SERWu?YpRehSXVAwdcfkdgil¢VeTY0eTYpXkJSERWVlYpy?kiRhYAjTjtcfSswJjPqY*cflflXVG@%Y0gJjCY5S*eC&S-SskJYpRaVAehcfSswJjVwJu¨V

`PSswJu?cfeTcfSswSY2-%gdcf§sVlmYpwJ`PY ®bdYSEkJYpRWVehcmSEwJj5VARhYk'*3,1sq=VwJu %[#1, A$©`6VlfcmwdU¨`PSsRhRhY{jtkJSEwJuij0ehS

YpyehYpwu?cfwdUvehbdYkJYpRTcfSu-SASsrJjtY6Rh§sVeTcfSEw:S&V0eTYpXkJSERWVlYpy?kiRhYAjTjtcfSsw qd*bdcmlfYu?Y6l¢Vpz`3SERhRTYAjtkJSswJudj*ehS

VEuiu?cfwdU¨V:`PSEwjteaVAw?e5eTSeTbdYcfwicfehc|Vl&u?Ypl|Vpz

*

Y"Vl¢jCScmw?eTRhSu?gJ`3YV`PSswJu?cmehcfSswSER5Y -¶gdcm§sVlfY6wJ`PY

rJYpeCYpY6weCSeTYpXkJSERWVlJYpykdRhYAjTjtcmSEwJj3q¶cmwehbiY1`pVsjtY1*biYpRhY_ehbdY6zu?YAjh`3RhcfrJY_ehbdY±jhVXZY]cmwJjteWVweajP%¨Y

u?YpeWVcmlLehbiYAjtYeCSSEkJYpRWVehcmSEwJj_Vwu-ehbiY0`3SEwJu?cmehcmSEwSÝY2-%gdcf§sVlmYpwJ`PYr¡Y6lfSA

% 6 Z»;=»?» _» ¿ À

QYA`pVAgJjtY*SsgdR*jCzdjCehYpX"jVRTY]kJYpRTcfSu?c|`EqEehbiY]Yp§%Y6w?eWj¬SëV¯kJYpRhcmSu*cmlfldRTYpkJYAVe6q%*cfehbehbiY1jTVXY*kdbVEjtY q

cfw)SElmlfSA*cfwiU-kJYpRTcfSudj3o4V`PlmS`L@:YpykdRhYAjTjtcmSEw 8 $&

+

&(*

91uYAjh`PRTcfrJYAj1ehbiYYp§%Y6w?eWj]S4VjtzijteTYpX ugd¥

RhcmwdUSswdYrVEjtY¨kJYpRhcmSuLq*cfec|jVl|jtS.kJS%jTjtcfrilfY¨ehS§cfYp¸eTbdY)Yp§%YpweajVsjk¡Y6RhcfSuc¢`*cfeTbðehbdY)kJYpRT¥

cfSuðVAw?z£XgilfehcmkdlfYZSvehbdY)rVEjtY)kJYpRTcfSuL&Y:bJVp§%Y)VlmRhYAVsu?z÷Y6wJ`PSEgiw?eTYpRhYAu£VwðYpyiVXZkdlfY*bdYpRTY

8

A

&7*

& [ &

pp3E",

&

b9 VwJu 8 [ & &

b9=RhY6kdRhYAjCYpwehYAu0eTbdYjhVAXY_cfwJjCeaVweaj3%Y1wiSðcmw?eTRhSu?g`PYV¯XZSERhY

SERTXVljCk¡Y{`Pc¦`6VehcmSEwSsR*ehbdYUEYpwdY6RaVeTcfSswS V0wdYpðkJYpRTcfSu?c|`1jtzijteTYpX *cmehblmSEwdUsYpRkJYpRTcfSudj3?J_wdY

wdYp³kJYpRhcmSu-*cmlflLwiS `PSEweaVAcfw

@

RhYpkJYpeTcfeTcfSEwjSÝehbdYrJVsjtY0kJYpRTcfSuLJ®bic¢j*c¢j*u?SswdY0rz`6Vl¢`3gdl¢VAehcfwiU

ehbiY1kdbJVsjtYAjSAYp§%Y6w?eWj SA

@

rJVEjCYk¡Y6RhcfSuij*bdc¢`abXVG@%Y*gdkSEwdYwdYpðkJYpRTcfSuLqdUscf§%YpwehbiY ,!kdbJVEjCYAj

S&SswdYrVEjtY5kJYpRTcfSuLq

* '

pp

'! "

,%¹µLc @%Yp*c|jtY%qJc¦=eTbdY5rJVsjtYk¡Y6RhcfSu)`3SEweaVcmwJjVjtY6e1S ,kdbJVEjCYAj

+_q%Yu?YPJwiY]eTbdY1jT`pVlmcfwdU

@ 8 $!&

+

&(*

9=Vsj$eTbdY]giwdcfSswSeTbdY1jT`pVlmcfwdU j$SA ehbiY ,5cmwJu?cm§?c|u?gJVlikdbJVEjCYAj

' A

J®bdYcfwdcmehc|Vl uYpl¢Vpz

*

u?S%YAj*wdSEe_`abJVwiUEY =

(13)

» Ä¿

¹% 6 '*3,1 , #& , 3%1G3

##"#''* ;4 ,RhYpkJYpeTcfeTcfSEw *, 3%

@

# 1%P'

@ 8 $!&('&(*

9CE 8 @

$!&

+

& * 9

/

02#%#

+

E * '& $ '&

$ '&

pp

&48

@

£[P9

$ ' ,

2+ 2 E @

02#j'*3,1

@ 8%$&

+ & * 9 <' 02##& km102#j'*3,1P'F 102#, % 4 %'#&,1-0",P'G#'

' A & +

@ 8%$&

+

&(*

9 E 8 @

$&

+ & * 9

/

02#%#

+ E

A

* ' A & $ ' A &

p6

&48

@

ð[G9

$ ' A ,

2

+

2 E @ 2+ 23

46Ï»E 46Ä¢½a» »J $»Ï¿ À ¿.$»A?¿¬

¨Y `pVAw wdSA u?Y6XSEwJjCehRWVehY¸eTbdYY2-%gdcm§EVAlfYpw`PYS ehbdY `PlfS`@YpykdRhY{jhjtcmSEwJj

8 [ & &

b9 VwJu

8

A

&7*

&pp3E",

&

b9Wq¡eTbdY5jCYA`PSEwur¡Y6cfwdUXYpRTYplfzZVjh`6VlfcmwdUS=eTbdY¯JRWjte1rz:

8

cNY%dARhYpkJYpeTcfeTcfSEwj

S ehbdYkJYpRhcmSu$9=

@ 8 $!&('&(*

9CE 8 @

$!&

+

& * 9

8 [ & &

9=E

8

& + &

9

+

E

"

,3

¨YXcmUEbe ehbdYpw`3SEwehcfwgdY=ehSvjT`pVlmYehbic¢j wdYp.YpykdRhYAjTjtcmSEw

8

&7*

pp3s;,

&

9¬rzv?qAehS1UsYpe=V]kJYpRTcfSu

*bdc|`bc¢jeC*c|`PYVEjlmSEwdU"=

8

A

&

"

, &

9

E 8 [pIN

&

"

, &

983

%A»?d ¬»

¢ 6»'6E¼

J_gdRwdSseaVAehcfSswðc¢jcmw?eTYpwJu?Y{uehS XSu?Ypl*RTYAVl`3cfRa`3gdcfeWjPq*bdc|`b£RhY2-%gdcfRTYehcfXZY-eTS.`pVAl¢`Pgdl|VeTYehbiYpcfR

RhY{jtgdlmeajPi®bdYpRTY1c¢j=wdYA`PYAjTjhVARhcflmzV0l¢VAehYpwJ`3z5r¡Y6et&YpYpwehbdYcfwJjCeaVwe**bdYpwZehbdYuiVeaV0Y6w?eTYpRaj&V5`PcfRW`Pgdcfe6q

Vwu eTbdY5cfwJjCeaVAw?e1*biYpw)ehbdY5RTYAjtgilfeajVRhYVp§sVcml¢VArdlfY!VeehbdY5Ssgdehkigdep «dSsR0VZjtzijtehY6X `PSsXkJS%jtY{u-S

XgdlfeTcfkdlmY`PcfRW`PgdcmeajPqJehbiY5l¢VeTYpwJ`PzVEj1ehbiYudVeWV"kVEjhjCYAj¯eTbdRhSsgdUEb¨ehbiYjtzijtehY6X*cflmlrJY 3 #& #b1,P#aq

cNY%V5`PcfRW`Pgdcme*bdc¢`abeWVP@%YAj=cfeaj=cfwdkigdeRhSsX eTbdY1SEgiehkdgde*SA=VAwdSEeTbdYpR_`PcmRa`PgicfepqsXgJjCe=*Vcme*gdwehcflJeTbdY

SEgiehkdgde*c|jVp§sVcml¢VrilfY%q*bdc¢`ab*cflmlJcfweTgdRhw:u?c|`PeaVAehY1eTbdY1cfwjteaVAw?e}Ve**bdc|`bZcfeaj=SA*w-Ssgdehkigde**cflmlLrJY

Vp§sVcfl|VrdlmY%?¨YXSu?Yplehbdc|jl¢VAehYpwJ`3zrzVEuiu?cfwdUZV`PSEwJjCeaVAw?e_u?Y6l¢VpzehSV5ehY6XkJSERaVAlLYpykdRTYAjhjCcfSEw¹

^]lflsYp§%Ypweaj VARhY&`pVlmcfrdRWVeTYAu1r?zV_`PSsXXSEw`PlmS`L@qAVwJuvVlml%cfwJjCeaVweajL*biYpw5V*ehRWVwJjNYpR¬S`6`PgdRajVRTY

c¢uYpw?eTc¦JY{u0r?zehbdY_ehY6XkJSERaVAlJYpy?kiRhYAjTjtcfSswJjP^1uiu?cfeTcfSEwVlLl|VeTYpwJ`Pz%qsehbdYpRTYPSERTY%q%c¢j=jtcmXkdlmz5V0`3SEwJjCeaVwe

(14)

*bdc|`bZu?YPJwiYAj$eTbdY]wgdXrJYpRSÝVsudu?cmehcfSswJVl¹jtzijteTYpX`PlfS`@5`3zd`PlmYAj=u?gdRTcfwdUv*bdc¢`abwiS0Yp§%YpweajS`p`PgdR6

®bdc|jl¢VeTYpwJ`PzZVEuiu?YAuehSZV0ehYpXZk¡SsRaVAlLYpykdRhY{jhjtcmSEw:`PSsRhRhY{jtkJSEwJuij4eTSVEudu?cmwdUZV

8

kJS%jCcfehcm§%Y9=`3SEwJjCeaVwe

ehSehbiY¯cmwdcfeTc¢VAl u?Ypl|Vpz

* =

» Ä¿ »'6E¼C

H ##"#''*

8 $!&('& * 9 %[#1, #% ;4, 3 b'% , &

& J(

# 1%P'

8 $!&('&(*

9

8%$&(')&(*

b983

H ##"#''*

8 $!&

+

&(*

9 %[#1, b#% ;4,3 b'%, [

& J(

I #1%P'

8%$&

+

&(*

9

8%$&

+

&(*

983

ð» 6»J À¬» 6E¼ ð» A»?p Ï¿

NwðVXZSEehcmSEw.§c¢u?YpS `PSu?cmwdU.jCzdjCehYpX)q=VAwiNAyNª)&® X"V{z r¡Y)kJYpRCSERTXYAur?z£V`3cfRa`3gdcfev*bdc¢`ab

cfXZkdlfYpXYpweajSEwiYp¥NucfXYpwjtcfSswJVlehRWVwJjNSERhX"j4Ssw)Vlml RhSA_j1VAwJu-eTbdYpwSsw)VAlfl`PSslfgdXwjPdÏ=eTbdYRhSA_j

Vwu0ehbdYpw5eTbdY_`PSslfgdXwj VRhY*eTRaVAwJjÍSsRhXYAuvjtY2-%gdYpwehc|Vlmlfz%qpeTbdc¢j SEkJYpRWVehcmSEw*cflml?bJVp§%Y}V]l¢VAehYpwJ`3z¯SA¹Ve

lfY{VEjte[pIN`Pzi`PlmYAjP%^jhjtgiXcfwdUeTbdY`PcmRa`Pgdcme=k¡Y6RtSERTXjehbdYehRaVAwJjÍSsRhXcmw)[pIN5`Pzi`PlfYAj3q%ehbdY1eTYpXkJSERWVl

YpykdRhY{jhjtcmSEwSER*eTbdYSEgdeTkdgde_*cflmlLrJY5u?Y6l¢Vpz%YAurz

E

[pIN*cfeTb-RTYAjtkJYA`3e*ehS5ehbiY¯cmwdkdgde*=

*

E * A

[pIN

8%$&

+

A

&(*

A

9 E 8

A

&7*

& [ &

6p

&

s;,

&

9

8 $&

+

&(*

9 E 8

A

&7*

& [ &

6p

&

E",

&

[pINb983

¨Y¯RTYpXVAR@5ehbVe_VEj_V0RhY{jtgdlmeS SEgdR*RTYAjteTRhc¢`3ehcfSswJj$SsweTbdYVkikdlfc|`pVeTcfSEw:u?SsXVcmw qVUscf§%Ypw"`PcfRW`Pgdcfe6q

SER_wdSu?Ycmw-eTbdYUERWVkdb qJ*cflml VAlf*VpzijbJVp§%YvVV3 b'% , &f1,#L34

J 6»!¬%»¿- 6Ï¿ A»?p Ï¿

®S¨`3lfS`@YpykdRTYAjhjCcfSEwj5VRhYY2-%gdcm§EVAlfYpwec¦_eTbdYpz u?YAjh`3RhcfrJYeTbdY:jhVAXYjCYpe5ScfwjteaVAw?eWjP )=lmYAVRTlfz

eCSYpykdRhYAjTjtcmSEwJj1VARhY5Y2-%gdcm§EVAlfYpwe*c¦ ehbdYpz:VARhY0c|u?Ypwehc|`pVloqdehYpRTXr?zeTYpRhX)J®&SYpykdRhY{jhjtcmSEwJj*XVpz

Vl|jtSZu?YAjT`PRhcmr¡YeTbdYvjhVXZY0jCYpe*S cfwJjCeaVweaj3qdrdgde*SA§%YpR_Vu?c¦¤YpRTYpwekJYpRhcmSuLJYv`PSswJjtc|u?YpR*eCSZ`PlfS`@

YpykdRhY{jhjtcmSEwJjehS:r¡Y #< #[*,1#%[_c¦*eTbdYpz `pVw YAVE`abrJYjT`pVlmYAucmw.jtgJ`ab V*Vpz)ehbJVAe5ehbdY6cfRYp§%Ypweaj

Vlml >hXVAea`ab2A?q cNY%LeTbdYpz)rJSEeTb.jtbJVARhYV:`PSEXZXSEw¨jT`pVlmYAu kJYpRTcfSuLqÝVwJu Vlfl=SA_ehbdYjT`pVlmYAu)kdbJVEjCYAj

8

Y6§%Ypw?eWjL9}VRTY5ehbdYjTVXY%J¨Y5RhYpXVAR@eTbJVeeCSZYpy?kiRhYAjTjtcfSswJj1VARhY5Y2-%gdcf§sVAlfYpwe]*biYpw)ehbdY6z)u?YPwdY

ehbiY0jTVXYcfwJjCeaVweaj3qdYp§%YpwceTbdc¢jbVkdkJYpwJj*SA§%YpR_u?c¤LY6RhYpwekJYpRTcfSudj3

^1jcflmlfgJjCehRWVehY{uVAr¡SA§%Y%qehbdYYpykdRTYAjhjCcfSEwj

8

Adq

*

?qf6ppqds;,%qb9&Vwu

8

[Eq?qÖ 9&VRTY¯Y -¶gdcm§sVlfY6w?e6qErJYp¥

`pVAgJjtY_ehbdY6z5u?YPwdY]eTbdYjhVXZY*cfwJjCeaVweaj3%NwUsYpwdYpRWVloqEYpykdRhYAjTjtcmSEwJj=VRTY]Y -¶gdcm§sVlfY6w?ec¦¹ehbdYpRTY*Ypyc¢jteWjV

`PSsXXSEw5XgdlmehcfkilfYSAehbdY6cfRkJYpRTcfSudj3q?SA§%YpR&*bdc¢`abeTbdY1eCSvYpykdRhYAjTjtcmSEwJj&Vlf}Vpzdj&u?YPJwdYehbdYjTVXY

cfwjteaVAw?eWjPRSERTY¯SERTXVlmlfz%qeCSZ`PlfS`@Ypy?kiRhYAjTjtcfSswJj_VRhYvY2-%gdcf§sVlmYpwe*c¦=eTbdYpRhYvYpyc¢jte_jT`pVlmcfwdU j @ & @

jtg`behbVe_ehbdYeCSjT`pVlmYAuYpy?kiRhYAjTjtcfSswJj*VRTYY2-¶gVlNqehYpRTXrzehYpRTX C[P D C¦[pD =

(15)

» Ä¿

6Ï»!%»

8 $ & + &(*

9E

8 $ & + &(*

9

@

8%$ & + &(*

9 E @ 8 $ (&

+ &(* 9

Nw-eTbdY¯SslflmS*cmwdUjtY{`PehcmSEw qYvjtbdSAGbiS ehbdc|j]`PSswJu?cmehcfSswS=Y2-%gdcm§EVAlfYpw`PY1`6VwrJYvVkikdlfcmYAuehS

jteWVeTc¢`pVAlflfz§%YpRTc¦zehbJVAe*ehbdYvjtzwJ`abdRhSswdcf²{VehcmSEwS ehRaVAwJjÍY6Raj*c¢j*`PSsRhRhY{`Pep

A & 0/_ ¨/)&"¨1'5$6

^,© z?wJ`abdRTSEwdSsgJj=ª1VeWV1«¬lfSA.UERWVkdb`6Vw5rJY_jteWVehc|`pVlmlfzvVwVlfz²pYAuehSvu?YpeTYpRhXZcfwdYcJcfec¢jÝ`PSEwJjCc¢jCehYpwepq

VEj kdRTYAjtYpwehY{u±cmw C¦[4NDoqAVwJuehSu?YpRTcf§%Y=V*kJYpRhcmSu?c¢`=jh`abdYAugdlfYRhSsXGehbiY*® SEkJSElmSEUEzFR)VeTRhcfyP¨Y&SEgdl|u

lfc@%Y%qJcfw VEudu?cmehcmSEw q ehSYpwjtgdRTYeTbJVe!VlflÝehRaVAwJjÍY6Raj¯S`6`PgdRvVevehbdY >hRTcfUEbeAXSsXYpwepqdcoþY%JehbJVAe0eTbdY

u?YAjCehcmwJVeTcfSEwZVE`6`PYpkdeWjV1ehRWVwJjNYpR*VAeehbiY1jTVXY*XSsXYpwe¬eTbJVe&ehbdYjtSsgdRa`3Y]UsYpwdYpRWVehY{j$ehbiY]eTRaVwjÍYpR6

¨YjteWVRhe&*cfeTbeTbdY ;,1, 3 #m#< #&, b'3qiVwJuZVEuduehbiY1`PSswJjteTRaVAcfweehbVepqc¦¹SEgdeTkdgde=c¢j=`PSEwiwdYA`PeTYAu

ehS.cmwdkdgde >Jq&V§EVAlfgdY)c|jkdRTSu?gJ`PYAu³Vwuð`PSEwJjCgdXYAu£VeehbiY¨jhVXZYcfwjteaVAw?e6¨Y¨`pVlml]SsgdRwdYp

`PSswJjteTRaVcmw?e*eTbdY,'#G #%[ #% ;,1, 3 #0#< #&, b'3dYehbdYpw"jtbdSA³bdSA eTbdYwdSEeWVehcmSEw:`pVAw-rJYgJjCYAu

ehS jtkJYA`3c¦z¨´µ¬©0`3SEXkJSEwiYpw?eWjPqÝVwJu£j@%YpeW`bbiSehbic¢j5`pVAw÷rJY:VkdkdlmcfYAu¨ehS jteaVAehc|`"§%Y6Rhc¦¡`pVeTcfSEw

S¯jtzwJ`biRhSEwicf²AVAehcfSsw &«¬cfwJVAlflmz%q¬&Y)u?c|jh`PgJjTjjCcfXgdl¢VAehcmSEw.`PSsXkJSEwdY6w?eWj¯SERjCcfXgdl¢VAehcfwiU)`PSsXkdlfY6ehY

jtzijteTYpXj&VeV54YpUsc¢jCehYpR_® RaVAwJjÍYpR_lfY6§%YplN

!L801+ 6 8 . 6

©ª1«GRTY2-¶gicfRhY{j0ehbJVAe5YAVE`ab >aVE`3ehSER A?q=SERwdSu?Ycfw.eTbdYkdRhS`PY{jhjtcmwdU¨UERaVAkdb q=rJYjCz?w`bdRTSEwdSsgJjVwJu

kJYpRhcmSu?c¢`sq$*cmehbðSEwiY >tRhcfwiU AkJYpRrJVsjtY)kJYpRhcmSu÷SvehbVewdSuY%*®bdc|j >tJRTcfwdU ARhYpkdRTYAjtY6w?eWjSswdY

YpyYA`PgdeTcfSswSehbdYSsk¡Y6RaVeTcfSsw÷S±ehbJVAe5wdSu?Y%qcmwJ`Plfgu?cfwdU)eTbdY:`PSEwjtgdXkiehcfSswS±VJy?Y{u wgdXrJYpR

S cfwdkdgie]YplmYpXYpweaj3qVwJueTbdY0kdRTSu?gJ`PeTcfSswS}V0JyYAu-wgdXr¡Y6RS&Ssgdehkdgie1YplfY6XYpweajP Íw:SERWu?YpR_ehS

XSu?Y6l?SsgdR=`PSswJjteTRaVcmw?eWjPqE&Y*VsjhjtS`3c¢VeTY]*cmehbV]wiSu?Y= V1`PSswJjteWVwe

$ A

qE`PSsRhRTYAjtkJSEwu?cfwdUeTS1ehbdY*rVEjtc|`

kJYpRhcmSu?c¢`0SskJYpRaVAehcfSswS}ehbJVAewdSu?Y%ª]gdRTcfwdUSswdYRTYpkJYpehcmehcmSEw)S_eTbdY5kJYpRhcmSu

$ A

qLehbdY6RhY*cflflrJY

JKA

cfwikdgdeaj_Vwu

CA

SEgdeTkdgdeWjP 0=VE`abcfwJucf§c¢u?gJVAl cfwdkigde]SsR]Ssgdehkigde]cmwJjteWVwe1`3SERhRTYAjtkJSswJudj]eTSV`PYpRTeaVcmw

kdbJVsjtY

'

«dSER=ehbiY]XSsXYpwe Y*kdRTYAjtY6w?eY{VE`abwdSuY1Vsj$c¦cme$bVEjSEwdlmz5SEwdY_cfwikdgde&VwJu5SEwiY1SEgdeTkdgde*p

ehbic¢j1c¢j]Sswdlfz)eTS:V{§%Ssc¢u)V`PlmgdeheTYpR1S}cfwJuc¢`PYAj_cfw)SEgiR¯wiSEeaVAehcmSEw Ý®bdY5kJYpRhcmSu?c¢`jtYpeS_cfwjteaVAw?eWj]S

VwzSswdY0cmwdkdgde*SA=V5wdSu?Yvc¢j*VEjTjtcmUEwdYAuehbdYeTYpXkJSERWVlLY6y?kdRTYAjhjCcfSswY=

J

-

J

7

E

8%$

A & + A

&(*

A

9

*cfeTb 2+

A 2 E JBA

3

µLc@%Y6*c¢jtY q?ehbiY¯kJYpRTcfSu?c|`jtYpe*SASsgdehkdgieaj*S&V5wdSu?Yc¢j*VsjhjCcfUEwiYAu-eTbdYehYpXkJSsRaVl Y6y?kdRTYAjhjCcfSswY=

C

- -

J

E

8%$

A & +

&(*

9

*cfeTb

2+

2 E CA

3