Dynamic Slicing: a Generic Analysis Based on a Natural Semantics Format

(1)

HAL Id: inria-00073314

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

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.

Dynamic Slicing: a Generic Analysis Based on a Natural Semantics Format

Valérie Gouranton, Daniel Le Métayer

To cite this version:

Valérie Gouranton, Daniel Le Métayer. Dynamic Slicing: a Generic Analysis Based on a Natural Semantics Format. [Research Report] RR-3375, INRIA. 1998. �inria-00073314�

(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

Dynamic slicing: a generic analysis based on a natural semantics format

Val´erie Gouranton et Daniel Le M´etayer

N ˚ 3375

Mars 1998

TH `EME 2

(3)

(4)

$

%&('*)+",'* -/.

$

01'

23547698;:=<?>A@CB08D35EGFD@CEH<9FIJ3KE0:=<L4M<ONH69FP3RQC<98

S1TVUPWAX!YZ\[^]P_a`bXcbdfeR`bgD`bXDc

XDh,gjikcbgPlacnmoaWp*dRcq`br5lVX

stdkuvXDh,wniR_VxVX

yziR{V{dftvhxVXtXPg;TVXPtgTVX|_~}f}fAZiRtmLff!ZJ{GiRefXPm

-jj9Vff cq`bgD`b_Ve+iR_GikcqoamXPmTGijX?pXPXP_{Vtdf{*dfmXPx=dftzxa`q0XPtXP_h{VtdfeftiRWAWJ`b_VeciR_VeflGiRefXPmjJy,ikhTVXPtzhTGiR_

xVXDG_a`b_Ve?i!_VXDiR_Gikcqoam`bm7tdfWmgPtikhg;T 7dft(XjiRgT¡{VtdfeftiRWAWJ`b_Ve?ciR_VeflGiRefXf¢V£X^dflacbx cq`b¤fX,hdJm{*XPgD`q7o¥mlVgTiR_

iR_Gikcqoam`bmzdf_VgPX=dft,ikcqc¦¢G`b_§iAciR_VeflGiRefX©¨¦`b_VxVXP{*XP_VxVXP_h(iPo¢ªiR_VxhTVXP_§m{*XPgD`ikcq`bmX`qh=dftxa`q0XPtXP_h^{VtdfeftiRWAWJ`b_Ve

ciR_VeflGiRefXPmj¬«_dftxVXPt-hd,iRg;Ta`bXDX£hTa`bm¬efdikc¦¢k£X{Vtdf{*dfmX£i,_VdRh`bdf_dRG_GikhlVtikcamXPW?iR_Kh`bgPm-=dftW?ikhiR_Vx!ixaoC_GiRWJ`bg

mcq`bgD`b_Ve iR_Gikcqoam`bm=dftW?ikhjS1TVX_GikhlVtikc¬mXPW?iR_Kh`bgPm,=dftW?ikh=dftW?ikcq`bmXPm^i?gDciRmmzdR_GikhlVtikcmXPW?iR_h`bgPmiR_Vx+hTVX

iR_Gikcqoam`bmA=dftW?ikhA`bm?iefXP_VXPtv`bgf¢®ciR_VeflGiRefX©¨¦`b_VxVXP{*XP_VxVXP_hj¢1mcq`bgD`b_Ve¯iR_GikcqoCm`bmL°S1TVX¡gPdfttXPgDh_VXPmmdRhTVX¡efXP_VXPtv`bg

iR_Gikcqoam`bm1`bm1XPmhiRpacq`bmTVXPxiRmi!tXDcikh`bdf_pXDh±£XPXP_¡hTVXxVXPtv`qfikh`bdf_¡htXPXPmdR-hTVXdftv`beR`b_Gikcn{VtdfeftiRW²iR_Vx hTVXmcq`bgPXf

S1Ta`bm1efXP_VXPtv`bgiR_Gikcqoam`bm(`bm(hTVXP_O`b_VmhiR_h`ikhXPxhd!mXDXPtikc0{VtdfeftiRWAWJ`b_Ve?ciR_VeflGiRefXPmgPdf_a7dftWJ`b_Ve?hTVXzmXPW?iR_h`bgPm

=dftW?ikh³¦iR_ `bWA{*XPtikh`qXciR_VeflGiRefXf¢"i!cbdfeR`bg{VtdfeftiRWAWJ`b_Ve?ciR_VeflGiRefXiR_Vxi!7lV_VgDh`bdf_Gikc~ciR_VeflGiRefXL´©¢Go5`bXDcbxa`b_Ve¥i

xaoa_GiRWJ`bgmcq`bgD`b_Ve¥iR_GikcqoamXPt1=dft1XjiRgT+dR-hTVXPmXciR_VeflGiRefXPmj

µ¡¶K·0¸¹º 9»f xaoa_GiRWJ`bg^mcq`bgD`b_Ve!iR_Gikcqoam`bmj¢C_GikhlVtikcªmXPW?iR_h`bgPmL¢C{VtdCdRªhtXPXf¢agPdfttXPgDh_VXPmmj¢amoamhXPW?ikh`bgzxVXPtv`qRi9¨

h`bdf_ª

¼b½~¾±¿ÁÀjÂ1¾(Ã~Äq¿¦ÅÇÆPÈ

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)

*) ) . $

* (' #! ' )|1'*)*

«±cCXa`bmhXlV_gPXPtvhik`b_J_VdfWpVtX1xiR_GikcqoCmXPm¬x]DciReiRefX({*dflVt-xa`q0]PtXP_hm¬ciR_VeiRefXPmxVX{VtdfeftiRWAW?ikh`bdf_ª

l cq`bXPlHxVXxV]DG_a`btlV_VX_VdflaXDcqcbXiR_GikcqoamX?{*dflVtgTGiRgPlV_ xVXPmciR_VeiRefXPmL¢-_VdflVmJik`bWAXPtv`bdf_Vmm{]PgD`qGXPtciR_GikcqoCmX

x]DciReiRefX,`b_VxV]P{XP_VxGiRWAWAXP_Kh1xVl?ciR_VeiRefXzgPdf_Vm`bxV]Pt]f¢5{Vla`bm£c`b_VmhiR_VgD`bXPt{acblVm`bXPlVtm£ciR_VeiRefXPmjsdflVt£ikhhXD`b_VxVtX

gPXDh®dfpCuXPgDh`qv¢_VdflVm{Vtdf{*dfmdf_Vm®lV_J=dftW?ikh®xVX1m]PW?iR_Kh`br5lVX_GikhlVtXDcqcbX,r5la`V=dftW?ikcq`bmX1lV_VXgDciRmmX1xVX1m]PW?iR_h`brClVXPm

_GikhlVtXDcqcbXPmXDh^_VdflVmxV]DG_a`bmmdf_VmlV_7dftW?ikhxiR_GikcqoamXAxaoa_GiRWJ`br5lVXAx]DciReiRefXArCla`XPmhef]P_V]Ptv`br5lVX¥iRlmXP_Vmd

`qcXPmh`b_VxV]P{*XP_VxGiR_hxVl¡ciR_VeiRefXfzdflVm]DhiRpacq`bmmdf_VmzXP_Vmla`qhXci?gPdfttXPgDh`bdf_§xVXciR_GikcqoCmXef]P_V]Ptv`brClVXx]DciReiRefX

mdflVm^=dftWAXJxVXJtXDcikh`bdf_ XP_htXAcbXPmiRtpVtXPmxVXJxV]Ptv`qfikh`bdf_ xVl§{VtdfeftiRWAWAX?`b_a`qh`ikcXDh^xVl! #"%$&J³=cbXJ{VtdfeftiRWAWAX

htiR_Vm=dftWA]L´©w'iR_GikcqoamXzef]P_V]Ptv`br5lVX^x]DciReiRefXXPmh(ikcbdftm`b_VmhiR_VgD`b]PX({acblVm`bXPlVtm(ciR_VeiRefXPm(xVXz{VtdfeftiRWAW?ikh`bdf_

³ÇlV_ ciR_VeiRefXz`bWA{*]Ptikh`q¢VlV_OciR_VeiRefXxVX^{VtdfeftiRWAW?ikh`bdf_¡cbdfeR`brClVXXDh(lV_OciR_VeiRefX^=df_VgDh`bdf_V_VXDc´XP_ gPdf_a7dftWJ`qh]

ijXPg,cbX,=dftW?ikhxVXzm]PW?iR_h`brClVXf'zdflVm£dfpahXP_Vdf_Vm1{GiRt£cimla`qhX,lV_ iR_GikcqoamXPlVt£xaoa_GiRWJ`brClVX,{*dflVt£g;TGiRgPlV_ xVX,gPXPm

ciR_VeiRefXPmj

) º j ¸ +* iR_GikcqoamXxaoa_GiRWJ`brClVX§x]DciReiRefXf¢,m]PW?iR_h`brClVX _GikhlVtXDcqcbXf¢^iRtpVtXxVXxV]Ptv`qfikh`bdf_ª¢gPdfttXPgDh`bdf_ª¢

xV]Ptv`qfikh`bdf_+moamh]PW?ikh`brClVXf

(6)

' ( '

$

#J)n'

$

)

_VX¡WAdRh`qfikh`bdf_ =dftJhTa`bmJ£dft¤ mhXPWAmA=tdfW hTVX¡dfpVmXPtvRikh`bdf_ hTGikh?mcq`bgD`b_Ve¯iR_GikcqoCmXPmATGijXp*XPXP_ {Vtdf{dfmXPx

=dftxa`q*XPtXP_Kh{VtdfeftiRWAWJ`b_VeciR_VeflGiRefXPmj ) hTVXPtXGiRWA{acbXPmdR1iR_GikcqoamXPmdR(efXP_VXPtikc`b_hXPtXPmh`b_VgDcblVxVX?mTGiRtv`b_Ve

iR_GikcqoamXPmj¢fxGikhi+*Gdj iR_GikcqoamXPm(PP dfWAX1dR"hTVXPmX1iR_GikcqoCmXPmiRtX(mhikh`bg^³=hÁoa{a`bgjikcqcqo!7dftgPdfWA{a`qcbXPtdf{ah`bWJ`bmikh`bdf_"´©¢

dRhTVXPtm1gjiR_OpXzXD`qhTVXPtmhikh`bg,dftxaoa_GiRWJ`bg!³==dftXViRWA{acbXz`b_ iR{V{acq`bgjikh`bdf_Vm(hdxVXPpVlVefeR`b_VeK´©-,^XP{*XP_Vxa`b_VeJdf_¥hTVXD`bt

_GikhlVtXA³Çmhikh`bg^dft(xaoa_GiRWJ`bgL´(iR_VxhTVX^{VtdfeftiRWAWJ`b_VeAciR_VeflGiRefX^hTVXDo iR{V{acqo¥hdV¢ChTVXPmXiR_GikcqoamXPm1iRtXzxVXPmgPtv`bpXPx

`b_ xa`q0XPtXP_hAijoCm?iR_Vx 1`qhT iRiRtv`iRpacbX gPdf_VgPXPt_ =dft=dftW?ikcq`bmikh`bdf_ª mAigPdf_VmXPr5lVXP_VgPXf¢®`qhJ`bm!xa`/.?gPlacqhAhd

ÇiRgDhdftv`bmXAXD0dftvhm^`b_hTVXJxVXDG_a`qh`bdf_ dR(iR_GikcqoCmXPmiR_Vxdf_VXJ`bm^dR7hXP_cbXPxhdO`b_KXP_h_VXD iR_GikcqoamXPm^Ta`bgT gPdflacbx

`b_+=iRgDhzpXxVXPmgPtv`bpXPx§iRmfiRtv`ikh`bdf_Vm,dftziRxGiR{ahikh`bdf_VmzdRXa`bmh`b_Ve¥df_VXPmL10/TGikhXdflacbxtikhTVXPtcq`b¤fX`bmhdpX

iRpacbX¥hdm{*XPgD`qomlVgT°efXP_VXPtikc£{VlVt{*dfmX¥iR_GikcqoamXPmdf_VgPX?7dftikcqc¦¢-`b_Hi ciR_VeflGiRefX©¨¦`b_VxVXP{*XP_VxVXP_hA(iPo¢iR_Vx hTVXP_

m{*XPgD`ikcq`bmXhTVXPW 7dft1xa`q0XPtXP_h{VtdfeftiRWAWJ`b_VeciR_VeflGiRefXPmj

S(dHW?ik`b_{VtdfpacbXPWAmOTGiPXhd¯pX¡mdRcqXPx `b_dftxVXPtAhd¯p*XiRpacbX¡hd¯xVXDG_VXiR_ iR_GikcqoCm`bmA`b_ i§ciR_VeflGiRefX©¨

`b_VxVXP{*XP_VxVXP_hzijo2

30¯XWlVmhG_VxiR_+iR{V{Vtdf{Vtv`ikhXpGiRm`bm=dft1xVXDG_a`b_Ve?hTVXmXPW?iR_h`bgPm,dR¬hTVX{VtdfeftiRWAWJ`b_Ve¥ciR_VeflGiRefXf54o

iR{V{Vtdf{Vtv`ikhXf¢£X WAXjiR_ efXP_VXPtikc1XP_VdflVefT hdXP_VgPdfWA{GiRmmAi+1`bxVXORiRtv`bXDh±oHdR{VtdfeftiRWAWJ`b_VeciR_VeflGiRefXPm

iR_Vx¡{VtXPgD`bmXXP_VdflVefT+hdAmlV{V{dftvh,lVmXD7lacniR_GikcqoamXPmj

YC30¯X,WlVmh1{VtdjC`bxVXi(iPohd!xVXDG_VX^efXP_VXPtv`bgiR_GikcqoamXPm1iR_VxOmhikhX,hTVXD`bt(gPdfttXPgDh_VXPmm(1`qhT tXPm{*XPgDhhdhTVX

mXPW?iR_h`bgPm,dR-hTVX{VtdfeftiRWAWJ`b_Ve?ciR_VeflGiRefXf

«_§dftxVXPt,hd¡iRg;Ta`bXDXhTVX!Gtmh^efdikc¦¢0£XJ{Vtdf{*dfmXJi¥_VdRh`bdf_dR®_GikhlVtikcmXPW?iR_Kh`bgPm7dftW?ikhj

miRteflVXPx`b_

6

7¦¢a_GikhlVtikcnmXPW?iR_h`bgPm

6

}a¢98:7~iRtXi!efd5dCx mhiRtvh`b_Ve?{*dR`b_h1=dfthTVXxVXDG_a`qh`bdf_¡dR-mhikh`bgiR_GikcqoamXPm1p*XPgjiRlVmX^hTVXDo

iRtX?p*dRhT mhtlVgDhlVtikc³ÇgPdfWA{*dfm`qh`bdf_Gikc´iR_Vx `b_hXP_Vm`bdf_Gikc¦¥S1TVXDoiRtX?mhtlVgDhlVtikc®pXPgjiRlVmXJhTVX?mXPW?iR_h`bgPmdR(i

{VTVtiRmX^`b_OhTVX^{VtdfeftiRWAWJ`b_VeAciR_VeflGiRefX`bm(xVXPtv`qXPx =tdfW|hTVXmXPW?iR_h`bgPm1dRmlVpV{VTVtiRmXPm<;ahTVXDo iRtX,`b_KhXP_Vm`bdf_Gikc

p*XPgjiRlVmX!hTVXAxVXPtv`qRikh`bdf_htXPX!hTGikh`bmiRmmd5gD`ikhXPx§hd¡iO{VTVtiRmX!`b_hTVXA{VtdfeftiRWAWJ`b_VeciR_VeflGiRefXAgPdf_hik`b_VmhTVX

`b_KhXPtWAXPxa`ikhXtXPmlacqhm ³=hTVXmXPW?iR_h`bgPmAdRmlVpV{VTVtiRmXPm©´©§S1TVXPmXrClGikcq`qh`bXPmAiRtXm`bef_a`qGgjiR_KhA`b_HhTVXOgPdf_hXahAdR

{VtdfeftiRW iR_Gikcqoam`bm£p*XPgjiRlVmXzgPdfWA{dfm`qh`bdf_Gikcq`qhÁo¥cbXjiRxVmhd!WAdftXhtiRgDhiRpacbX^{VtdCdRªhXPgTV_a`brClVXPmiR_Vx¥`b_KhXP_Vm`bdf_Gikcq`qhÁo

W?iR¤fXPmJ`qhAXjiRm`bXPt!hdXPmhiRpacq`bmT hTVX gPdf_V_VXPgDh`bdf_p*XDhÁ£XPXP_ hTVX tXPmlacqhAdRhTVX¡iR_Gikcqoam`bm?iR_Vx `qhm!`b_hXP_VxVXPxlVmXf

) lVt(_GikhlVtikc~mXPW?iR_Kh`bgPm(7dftW?ikh(`bmhTVXz7dftW?ikcq`bmikh`bdf_¡dRigDciRmm1dR-_GikhlVtikc0mXPW?iR_h`bgPmjS1Ta`bm1gDciRmm£`bm(efXP_VXPtikc

XP_VdflVefT+hdJ`b_VgDcblVxVXhTVXW?i9udftmXPrClVXP_h`ikcn{VtdfeftiRWAWJ`b_VeOmhÁoCcbXPm³=`bWA{*XPtikh`qXf¢GcbdfeR`bgiR_Vx =lV_VgDh`bdf_Gikc´©

m=iRt(iRmhTVX^mXPgPdf_Vx efdikc*`bm(gPdf_VgPXPt_VXPxª¢aXpXDcq`bXDX,hTGikh(hTVXzWAdfmh(_GikhlVtikc0(iPoOhdm{*XPgD`q7oiR_OiR_Gikcqoam`bm

`bm(hdJgTGiRtiRgDhXPtv`bmX`qh(1`qhT¡tXPm{*XPgDhhd!hTVX^`b_KhXP_VxVXPxlVmX^dRn`qhm(tXPmlacqhj _GikcqoamXPm1iRtXefXP_VXPtikcqcqoO{*XPtv7dftWAXPx hd

g;TVXPg¤iRmmlVWA{ah`bdf_VmziRpdflahhTVXpXPTGij5`bdflVtdR-hTVX{VtdfeftiRW ikhm{*XPgD`qGg{dR`b_KhmdR`qhmXVXPgPlah`bdf_+dft(hd?XP_GiRpacbX

{VtdfeftiRW%df{ah`bWJ`bm;ikh`bdf_Vmj«_ p*dRhT gjiRmXPmAhTVX `b_KhXP_h`bdf_ dR,hTVXiR_Gikcqoam`bm?gjiR_ p*X Xa{VtXPmmXPx `b_ hXPtWAm?dR^i

htiR_Vm=dftW?ikh`bdf_iR_VxiJtXDcikh`bdf_ª®S1TVX^htiR_Vm7dftW?ikh`bdf_xVXP{XP_VxVmdf_ hTVXtXPmlacqhdRnhTVXiR_Gikcqoam`bmiR_Vx hTVXtXDci9¨

h`bdf_XPmhiRpacq`bmTVXPm,i?gPdfttXPm{df_VxVXP_VgPXpXDh±£XPXP_hTVXmXPW?iR_Kh`bgPm,dRhTVXdftv`beR`b_Gikc-{VtdfeftiRW iR_VxhTVXhtiR_Vm7dftWAXPx

{VtdfeftiRW¡-="dft1XViRWA{acbXf¢C`b_OhTVX^gjiRmX^dR-i{VtdfeftiRW iR_Gikcqoam`bm=dftgPdfWA{a`qcbXPt1df{ah`bWJ`bm;ikh`bdf_ hTVX,htiR_Vm7dftW?ikh`bdf_

XV{VtXPmmXPm®hTVXdf{ah`bWJ`bmikh`bdf_hTGikh®`bmikcqcbdj£XPxOpoAhTVX`b_a7dftW?ikh`bdf_O{VtdjC`bxVXPx¥pKoAhTVX,iR_Gikcqoam`bm£iR_Vx¥hTVXtXDcikh`bdf_

`bmAhTVX¡XPrClGikcq`qhÁo p*XDhÁ£XPXP_ hTVX G_GikctXPmlacqhm³ÇdftAdflah{Vlahm;´!dRzhTVX¡dftv`beR`b_Gikc,iR_Vx hTVX htiR_Vm=dftWAXPx{VtdfeftiRW¡

zdRhXhTGikh,`qh`bm_VdRh^ikcqijoCm,hTVXgjiRmXhTGikh,hTVXtXDcikh`bdf_`bmhTVXXPr5lGikcq`qh±o21iAgPdflV_KhXPt¨ÁXViRWA{acbX!`bm,mcq`bgD`b_VeiR_Gi9¨

cqoam`bmTVdfmXik`bW `bmhd¥pVla`qcbxi?mcq`bgPXhTGikhzpXPTGijXPmcq`b¤fXhTVXdftv`beR`b_Gikc{VtdfeftiRW df_acqo¡1`qhT+tXPm{*XPgDhhdm{XPgD`qGg

{VtdfeftiRW {dR`b_Khm,iR_Vx fiRtv`iRpacbXPmj

mJWAXP_h`bdf_VXPx p*XD7dftXf¢¬mdfWAXOdRhTVX iR_GikcqoCmXPmhTGikh!£XO(iR_hJhdm{XPgD`q7oHiRtXxaoa_GiRWJ`bg¡iR_Vx°dRhTVXPtm?iRtX

mhikh`bgf+S1TVXPtX?`bm!_Vd+tXjikc£tXjiRmdf_¯ToHhTVXPmX?h±£d§gjikhXPefdftv`bXPm!dRiR_GikcqoamXPm!mTVdflacbxHp*X¥mXPXP_°iRmp*XDcbdf_VeR`b_Ve+hd

xa`q0XPtXP_h£dftvcbxVmj?«_hTVXA{GiR{*XPt£XA=dCgPlVmdf_¯xaoC_GiRWJ`bgiR_GikcqoCm`bmL¢~gPdf_Vm`bxVXPtv`b_Ve¡hTGikhmhikh`bg¥iR_GikcqoCm`bmgjiR_ pX

dfpahik`b_VXPx `b_ i mXPgPdf_VxmhiRefX+iRm¥iR_ iRpVmhtiRgDh¥`b_hXPt{VtXDhikh`bdf_/dR,hTVX+xaoC_GiRWJ`bg+iR_Gikcqoam`bmj>0¯Xdflahcq`b_VXhTa`bm

xVXPtv`qfikh`bdf_`b_ hTVXgPdf_VgDcblVm`bdf_ª

«_?hTVXz_VXah£mXPgDh`bdf_ª¢5£Xz{VtXPmXP_h(dflVt®_GikhlVtikcªmXPW?iR_Kh`bgPm7dftW?ikh(iR_Vx¥`qcqcblVmhtikhX,`qh®1`qhT¥hTVX,m{XPgD`qGgjikh`bdf_

dRi+mW?ikcqc®`bWA{*XPtikh`qX¥ciR_VeflGiRefXf XPgDh`bdf_ }`b_htdCxVlVgPXPm!mcq`bgD`b_Ve§iR_Vx°{Vtdf{dfmXPmJi¡efXP_VXPtv`bgOmcq`bgD`b_VeiR_GikcqoCmXPt

hdfefXDhTVXPt+1`qhT/`qhm¡`b_hXP_Vm`bdf_Gikc!gPdfttXPgDh_VXPmm{Vtdf{*XPtvhÁo S1TVXHgPdfttXPgDh_VXPmm{VtdCdR`bmxVXDhik`qcbXPx `b_ {V{*XP_Vxa`

(7)

0¯XmTVdj TVdj hTVXefXP_VXPtv`bg+iR_GikcqoamXPt?dRmXPgDh`bdf_ } gjiR_ pX `b_VmhiR_Kh`ikhXPx hdHxVXPtv`qXimcq`bgD`b_Ve iR_GikcqoCmXPt

=dft?iR_ `bWA{*XPtikh`qX¡ciR_VeflGiRefX¯³ÇmXPgDh`bdf_K´©¢(i§cbdfeR`bg{VtdfeftiRWAWJ`b_VeHciR_VeflGiRefXH³ÇmXPgDh`bdf_ f´JiR_Vx i§7lV_VgDh`bdf_Gikc

{VtdfeftiRWAWJ`b_Ve ciR_VeflGiRefX ³ÇmXPgDh`bdf_>8´©¯yXDcikhXPx £dft¤ iR_VxiPXP_5lVXPmA7dft!=lVtvhTVXPtJtXPmXjiRtgTiRtX xa`bmgPlVmmXPx°`b_

mXPgDh`bdf_§AiR_Vx¡mXPgDh`bdf_+JtXPm{*XPgDh`qXDcqo

('*)*¡" ' . $

* ('

S1TVX(_GikhlVtikcGmXPW?iR_Kh`bgPmdRi,ciR_VeflGiRefX(`bmimXDhdRi a`bdfWAmiR_Vx!`b_a7XPtXP_VgPX(tlacbXPm¬hTGikhxVXDG_VXi,tXDcikh`bdf_ApXDh±£XPXP_

iAgPdf_KhXChj¢*iJhXPtW `b_¡hTVX{VtdfeftiRWAWJ`b_Ve?ciR_VeflGiRefXJiR_Vx+iAtXPmlacqhj _GikhlVtikcmXPW?iR_h`bgPmzxVXPtv`qfikh`bdf_htXPXTGiRm

hTVX=dftW 2

?! #"

$%'&)(*(*(+$%$,

- .

TVXPtX!y `bmhTVX_GiRWAXdR¬hTVXtlacbXlVmXPxhd?xVXPtv`qXhTVXgPdf_VgDcblVm`bdf_ S1S iR_Vx S1S `bm,i?mhikhXPWAXP_hj¢hTGikh`bm

hd?m;iPo¡i!htv`b{acbXgPdf_Vm`bmh`b_Ve?dRiAgPdf_KhXChj¢"iAhXPtW iR_Vx+iAtXPmlacqhj

«_ dftxVXPt!hd§W?iR¤fXO=dftW?ikc1W?iR_a`b{Vlacikh`bdf_Vm?XjiRm`bXPtP¢X Xa{VtXPmm!hTVX gPdf_VmhtlVgDh`bdf_ dR_GikhlVtikcmXPW?iR_h`bgPm

xVXPtv`qfikh`bdf_HhtXPXPm`b_°i =lV_VgDh`bdf_Gikc®=tiRWAXD£dft¤*¡w~XDh0/+p*XAhTVX?mXDhdR(gPdf_KhXChmL¢#1§hTVX?h±oC{*X?dR(hXPtWAm!dRhTVX

ciR_VeflGiRefX!iR_Vx3241hTVXhÁoa{XdR¬xVXPtv`qfikh`bdf_¡htXPXPmjS1TVXmXPW?iR_h`bg=lV_VgDh`bdf_65 `bm,iJ{GiRtvh`ikc~7lV_VgDh`bdf_+dR-h±oC{*X2

798;:=<?>@:

1`qhT

>A:

B

:@:083CEDFG%H.>@:'IJ8LKM

B

:@:

798;:08NMAO

:

>@>P8Q

,^XPtv`qfikh`bdf_htXPXPmiRtXW?iRxVXdRiJmhikhXPWAXP_h!³=hTVXgPdf_VgDcblVm`bdf_"´©¢iAcq`bmhdRxVXPtv`qfikh`bdf_htXPXPm³=hTVX{VtXPWJ`bmXPm;´

iR_Vx+hTVX_GiRWAXdRtlacbXiR{V{acq`bXPxhd?xVXPtv`qXhTVXgPdf_VgDcblVm`bdf_ª 0¯XiRmmlVWAXhTGikhzi?hXPtW `bm,i¥{Gik`btdRi?{VtdfeftiRW

{*dR`b_h£iR_Vx?iR_JXV{VtXPmm`bdf_ªSRT1U1xVXP_VdRhXPmhTVX(h±oC{*X(dR*mhikhXPWAXP_hmj¢WVWXtlacbX1_GiRWAXPmj¢4XWY_VdftW?ikcV=dftWAm1³Ç{VtdfeftiRW

tXPmlacqhm©´©¢Z2W2{VtdfeftiRW²{*dR`b_hmiR_Vx\[!Xa{VtXPmm`bdf_Vmj

S1TVXJ`bWA{*dftvhiR_h`bmmlVX!iRp*dflah^hTVX!hÁoa{XJdRhTVXJmXPW?iR_Kh`bgJ7lV_VgDh`bdf_§`bmzhTGikh`qhztXDhlVt_Vm^hTVX!TVdRcbXA_GikhlVtikc

mXPW?iR_Kh`bgPmxVXPtv`qfikh`bdf_ htXPXf¢ntikhTVXPt^hTGiR_¡uvlVmh^hTVXAtXPmlacqhdRhTVXA{VtdfeftiRW¡AS1Ta`bmg;TVdR`bgPX?W?iR¤fXPm`qhXjiRm`bXPt^hd

xVXDG_VXA`b_KhXP_Vm`bdf_GikciR_GikcqoamXPmjAS1TVX?=iRgDhhTGikhX?xVXPmgPtv`bp*XAhTVXAmXPW?iR_h`bgPm`b_HiO=lV_VgDh`bdf_Gikc7tiRWAXDdft¤xVd5XPm

_VdRh{VtXDXP_h1lVm=tdfW xVXjikcq`b_Ve1`qhT_Vdf_xVXDhXPtWJ`b_a`bmh`bgciR_VeflGiRefXPmL¢aiRm®£X,mTVdj `b_?mXPgDh`bdf_¡C¬S1Ta`bm®`bm£pXPgjiRlVmX

XgjiR_lVmX]XUYOiR_Vx^/?hd?tXP{VtXPmXP_hzmXDhm1dR¬{dfmm`bpacbXtXPmlacqhm,iR_Vx¡gPdf_KhXChmj

0¯X^lVmX,hTVXz_VdRhikh`bdf_`_6acbWd?hd!xVXP_VdRhXzhTVXzGXDcbxdR~h±oC{*Xe1Wf?dRg_ ="dftXGiRWA{acbXf¢a£X,1`qcqcªW?iR¤fXz`b_hXP_Vm`qX

lVmXdR-hTVX^=dRcqcbdj1`b_VeXa{VtXPmm`bdf_Vm1`b_ hTVXtXPmhdRhTVX{GiR{*XPt 2

hjilk

mPon&AlpArq

stu(vwAw B

:@: x

A

xzy|{T}

p|A~Zst

stu($@w CEDFG%H>@:I

k

mp}} } Zst

stu(A

KM

ATnmP$

h

u

{y

{r}

o]n

hgh

h

$st

stu(vwAwT(c

7 x

A

h

%

h

x

&A

xzy|{r}

p&A

}

o

{ A h st

stu(vwAwT(w(c

Q h

m$

h

x

&A

xzy|{r}

p&A

}

o

{ A h Zst

stu(vwAwT(w(A

>@> k

$qAn$m

k

pA

h

x

&A

xzy|{r}

p&A

}

o

{ A h Zst

stu(vwAwT(@ MAO Ar$mn y Am

h

xA xy{r}p|A } o { A h

$Zst

«_?dftxVXPt£hdefd=lVtvhTVXPt®iR_VxpXiRpacbXhdxVXDG_VX,efXP_VXPtv`bg{VtdfeftiRWiR_GikcqoCmXPm£pGiRmXPx?df_Oi_GikhlVtikc*mXPW?iR_h`bgPmj¢

X¥_VXPXPx hd¡¤C_Vdj|WAdftX¥iRpdflahhTVXA7dftW&dR1i¡_GikhlVtikc®mXPW?iR_h`bgPm7lV_VgDh`bdf_\z?SndhTa`bmXP_Vxª¢~X?xVXDG_VX?`b_

=`beflVtXAiJ_GikhlVtikc-mXPW?iR_h`bgPm,7dftW?ikhhTGikh11`qcqcnmXPtvXiRm1hTVXpGiRm`bm17dfthTVXxVXDXDcbdf{VWAXP_hm^dR-hTa`bm{GiR{XPtP

S-dW?iR¤fXhTa`bm¡xVXDG_a`qh`bdf_ WAdftX gPdf_VgPtXDhXf¢^X mTVdj&`b_ =`beflVtX¯}°hTVX _GikhlVtikcmXPW?iR_Kh`bgPmdR!i mW?ikcqc

`bWA{*XPtikh`qXzciR_VeflGiRefX,lVm`b_VehTVXzlVmlGikc"`b_a=XPtXP_VgPX,tlacbXz{VtXPmXP_Khikh`bdf_ iR_Vx£Xz{VtXPmXP_Kh£`b_ =`beflVtX,hTVX,_GikhlVtikc

mXPW?iR_Kh`bgPm?`b_ dflVtJ=dftW?ikhj S1TVX¡moC_Khi dRzhTVX ciR_VeflGiRefX¡`bmAxVXDG_VXPx `b_ =`beflVtXYC Snd¯W?iR¤fX `qh?XjiRm`bXPtJhd

mXPX!TKohTVXJmXPW?iR_Kh`bgPmxVdCXPm,`b_VxVXPXPx gPdf_a=dftWhd¡dflVtz7dftW?ikhj¢~£XAmTVdL`b_ =`beflVtX¥¥hTVX!`b_VmhiR_h`ikh`bdf_VmdR

(8)

C t I

t

C=C II ! #"%$ C&=I('

)+*

-, /.0$

,

C 12 I

t , 435$

,

C12

t I

st

,

C ,t ,I

1,

st

,(vw@wT(

6

CC

t

7

$

C8 12&=II9 st

&:I<;>=

=-`beflVtX?2S1TVX_GikhlVtikcnmXPW?iR_Kh`bgPm=dftW?ikh

' Csus ?lI

? '

&A@

CBEDF?HG'

EIJKD

!

CEIJ09

&

BoILDNMPO 6 )

EIJ P

&

EIJ '

?HGQDSRTDSEIJ

&VUHW

EIJB

R ' XFYJZ\[

DS]_^`a

[

Dcb

=`beflVtXY2

oa_hi ¡dR¬iAmW?ikcqcª`bWA{XPtikh`qXciR_VeflGiRefX

d &"

feg

&

<h

& &

egBg<hLB

fe CC&

& @ B IZ<h B

d B "

fe C?HG'

EIJTIZ<h ikj

DjCEIJ9uIlN?HGF;

dmz"

neg & <o &

fe C

!

CEIJ

&

B IIZ<o

&

ikj

DjCEIJ9uI pXFYHZq[

drz"

feg B <h B

ne9C

!

CEIJ0

&

B IIZ<h B

iEj

DjCEIJ0&uI

]s^!`a

[

d+t"

feg

&

<h

& & e CsMPO 6 )

EIJ &

I<o B

ne9C>sMPO 6 )

EIJ &

IZ<uLB

i8j

DjCEIJ0&uI vXNYHZ\[

d+w"

xeCC_MPO 6 )

EIJ &

IZ<h

ikj

DjCEIJ9uI

]_^`a

[

=`beflVtX}D2 zikhlVtikc-mXPW?iR_h`bgPmzdR¬iJmW?ikcqc~`bWA{XPtikh`qXciR_VeflGiRefX

(9)

C t I

t

C9

&A@

BoI\'

)* st & C & I

1

& st &%(cv w@wT(

st B C1 & B I

18B

st

B

(cv w@wT(

6 CCt &1 B I

st & st B ;9: & I

Cs?HG '

EIJ I\'TCC

t

9 iEj

DjCEIJ &uIlc?HGJ;I 6 )

&: B I

C

!

CEIJ0

&

B II

! ikj

DjCEIJ uI vXNYHZq[

'

)* st & C & I

1 & st & (cv w@wT(

6 CCt &1

&

I

st

&

;9:

m I

C

!

CEIJ0

&

B II

! ikj

DjCEIJ uI

]_^`a [ '

)* st &

CBoI

1 & st & (cv w@wT(

6 CCt &1 & I

st &;9: r I

C_MO

6

) EIJ P & I ! ikj

DjCEIJ uI vXNYHZq[ '

)* st &

C

& I

1

& st &%(cv w@wT(

st

B C1

& t I

18B

st

B

(cv w@wT(

6

CC

t

&1 B I

st &

st

B ;9:

t I

C_MO

6

) EIJ P & I ! ikj

DjCEIJ uI ]_^`a [ '

CC8

t

&uI 6 )

&:

w I

=`beflVtX 2 XPW?iR_Kh`bgPm,dRhTVX`bWA{*XPtikh`qXciR_VeflGiRefX`b_¡hTVX_GikhlVtikcmXPW?iR_h`bgPm7dftW?ikh

(10)

: .0$& .0$

B

32$

&

3%$

B 7 $ sk$

: & 1 & & CB 18B XFYHZq[

:B iEj

DjCEIJ uIlN?HGS;

XFYHZq[

: m & 1 &

iEj

DjCEIJ suI pXNYHZ\[

: r B 1 &

iEj

DjCEIJ suI ]s^!`a [

: t 1 & &

MPO 6 )

EIJ & 1 B

iEj

DjCEIJ suI pXNYHZ\[

: w

iEj

DjCEIJ suI

]s^!`a

[

=-`beflVtX!2«±_VmhiR_Kh`ikh`bdf_+dRhTVX_GikhlVtikcnmXPW?iR_Kh`bgPm=dftW?ikh=dft(hTVX^`bWA{XPtikh`qXciR_VeflGiRefX

hTVXJxa`q0XPtXP_h=lV_VgDh`bdf_Vmj0¯XAiRmmlVWAXAi¥7lV_VgDh`bdf_£dRh±oC{*X / XWY+hdOXDfikcblGikhX!hTVX!RikcblVXJdRiR_

XV{VtXPmm`bdf_ª

S1TVXmXPW?iR_h`bgPm7lV_VgDh`bdf_°dR5=`beflVtX¡¥hiR¤fXPmhÁdiRteflVWAXP_Khm³=hTVX?gPdf_KhXCh iR_Vx hTVX?hXPtW^´iR_Vx `qh

tXDhlVt_VmiOxVXPtv`qfikh`bdf_ htXPXfS1TVXAxVXPtv`qfikh`bdf_htXPXAgPdf_hik`b_VmhTVXAgPdf_VgDcblVm`bdf_ ! #"!"©¢ªhTVX!cq`bmhdR

mlVpahtXPXPm $% iR_VxHhTVX_GiRWAX&HdR1hTVXtlacbXlVmXPx°hd+xVXPtv`qXhTVX¥gPdf_VgDcblVm`bdf_ª 0¯XlVmX¥hTVX¥_VdRhikh`bdf_ _ 7dft

j_(')aaa*o_+"©¡S1TVXpdCxao dR1hTVX?=lV_VgDh`bdf_¯`bmJi¡cq`bmhdRgjiRmXPmmXDcbXPgDhXPx po¯{GikhhXPt_ W?ikhgTa`b_Vedf_¯hTVX¥7dftW

dR,hTVX hXPtW iR_Vx hTVX mikh`bm=iRgDh`bdf_ dRm`bxVX¡gPdf_Vxa`qh`bdf_VmjHS1TVX¡WAXDhi9¨Á_VdRhikh`bdf_-,aaa/.10?`bmAlVmXPx°hdxVXP_VdRhX¡hTVX

tXP{*XDh`qh`bdf_ dRªhTVX,XP_VgDcbdfmXPx {a`bXPgPXzdRªhXCh^³ÇmXPX+=-`beflVtX^K´©32®iRg;TOgjiRmX&¥gPdfttXPm{df_VxVmhdJiR_¥`b_a=XPtXP_VgPXztlacbX!³Çdft

iR_i C`bdfW¥´1`b_+hTVX_GikhlVtikcmXPW?iR_h`bgPmj+4XPgjiRlVmXdRm`bxVXgPdf_Vxa`qh`bdf_Vmj¢0XjiRgT§df{XPtikhdft46587 gjiR_p*XiRmmd5gD`ikhXPx

1`qhTmXDXPtikctlacbXPm9&0S1TVX17lV_VgDh`bdf_Vm;:

<

iR_Vx>=

<

iRtXlVmXPxAhdgPdfWA{VlahXztXPm{XPgDh`qXDcqoAhTVXgPdf_hXah?

<

iR_Vx?hTVX

hXPtW@

<

dR-hTVX`BADCAtXPgPlVtm`qXgjikcqc~hdAhTVXmXPW?iR_h`bgPm,7lV_VgDh`bdf_¯³Ç{VtdCxVlVgD`b_Ve?hTVX^`BADC¥mlVpahtXPXE$%

<

´©®«±_¡efXP_VXPtikc¦¢

<

gjiR_¯xVXP{*XP_Vx df_ hTVXAdftv`beR`b_Gikc®gPdf_hXah#?¢ªdf_¯{VtXDC`bdflVmtXPmlacqhmE?F?iR_Vx¯df_hTVX¥mlVpXV{VtXPmm`bdf_G dR£hTVX

dftv`beR`b_Gikc-hXPtW¡

="dft`b_VmhiR_VgPXA`b_ hTVX?GtmhtlacbX?dR =-`beflVtX¥V¢H'JIK iR_VxL9M#IKJ'jAS1TVX?XDfikcblGikh`bdf_HdR£hTVXAhXPtWAmN

<

W?ijo`b_dRcqX!hTVXmlVpahXPtWAmO F dRHPL3=Gdft,XGiRWA{acbXf¢*`b_hTVXGtmh,tlacbX!dR-=`beflVtXV¢Q ' IRO ' iR_VxS M IRO M

|`bm,hTVX{GiRtvh,dRhTVXhXPtW hTGikh^gjiR_+p*XlVmXPx+`b_hTVXgPdfWA{Vlahikh`bdf_Vmikh,hTVXgPlVttXP_Khz_VdCxVXdRhTVXxVXPtv`qRikh`bdf_

htXPXJ³=`b_hTVXhXPmh9T dft£`b_¥hTVXzgPdfWA{Vlahikh`bdf_¡dRªhTVXz_VdftW?ikc*=dftW|po ´©%=Gdft£XGiRWA{acbX% `bm£XPWA{ah±o¥=dft®hTVX

Gtmh^tlacbXJdR =`beflVtXJ ;`qhz`bm^XPr5lGikchd(UVWXIY EZ5=dft,hTVXmXPgPdf_VxtlacbXJiR_Vx§hd> Z5 7dft^ikcqchTVX!dRhTVXPt^tlacbXPmj

«_ iRxVxa`qh`bdf_ hd[ ¥¢hTVXOgPdfWA{Vlahikh`bdf_ dR1hTVX_VdftW?ikc(=dftW pKoG W?iPoH`b_KdRcqXOhTVX_VdftW?ikc(=dftWAmdRhTVX

mlVpahtXPXPmA³\ F ´ziR_VxhTVX!`b_a`qh`ikc¬gPdf_KhXCh?,«_+hTVXGtmh^tlacbXJdR =`beflVtX!V¢] ^_ ' ! M "6! `"aIY M ,dRhX

hTGikhXxVd?_VdRhikcqcbdL gDoagDcq`bgxVXP{XP_VxVXP_VgPXPm,pXDh±£XPXP_hTVXxVXDG_a`qh`bdf_VmdRhTVXJ

<

!$%

<

iR_Vxb

<

³¦iRmlVmlGikc~`b_

_GikhlVtikc(mXPW?iR_h`bgPmJxVXDG_a`qh`bdf_Vm;´© 0¯X¥gjiR_°hTKlVmJiRmmlVWAX¥1`qhTVdflahJiR_KoHtXPmhtv`bgDh`bdf_°hTGikhhTVX¥xVXDG_a`qh`bdf_Vm?iRtX

dftxVXPtXPx`b_¥mlVg;TiiPo¥hTGikhc

<

iR_Vx

<

xVXP{*XP_Vx¥df_acqo?df_d?F1`qhTJedfgS1Ta`bm£gjiR_p*XmhikhXPxWAdftX=dftW?ikcqcqo2

h F (.0$

,

C 1k9=I

.0$

,

C 1 i

lN1kjmlcn;F;9=I

h F (3%$

,

C 12

t I 3%$

,

C 1 i

lF18j3l?n;F;

t I

0¯X!gTGiRtiRgDhXPtv`bmXJhTVXgPdfWA{*dfm`qh`bdf_Gikcq`qhÁo§{Vtdf{XPtvh±o+WAXP_h`bdf_VXPx`b_+hTVX`b_Khtd5xVlVgDh`bdf_ pKo¡hTVX=dRcqcbdj1`b_Ve¡iRmv¨

mlVWA{ah`bdf_ 2 3 $

,

C 1%t

Ho

$

lS

$

;I v3

$

,

C 1%t I Ho

$

lS

$ ;

S1Ta`bm{Vtdf{*XPtvhÁo XV{VtXPmmXPm^hTVXJÇiRgDhhTGikhhTVXJ7lV_VgDh`bdf_Vm=

<

xVd¡_VdRhxVXPgPdfWA{dfmXJhTVXAmlVpahXPtWAmO

dRp pVlah

m`bWA{acqo lVmX^hTVXPW²iRm{GiRtvhdRnhTVXD`bttXPmlacqhjS1Ta`bmgPdf_Vmhtik`b_Kh,XVgDcblVxVXPm17lV_VgDh`bdf_Vm,xVXPgPdfWA{dfm`b_VeAhTVXmlVpahXPtWAm

O

hdA=dftefX_VXD hXPtWAmj

0¯XAp*XDcq`bXDXJhTGikhhTa`bm=dftW?ikhgjiR{ahlVtXPmhTVXJijo§_GikhlVtikc£mXPW?iR_h`bgPmxVXDG_a`qh`bdf_Vm!iRtXAlVmlGikcqcqo{VtXPmXP_hXPx

iR_Vx xVdCXPm1_VdRh`b_Khtd5xVlVgPXiR_KotXjikcªtXPmhtv`bgDh`bdf_ª h(cbXjiRmhj¢C`qh(`bm(efXP_VXPtikc~XP_VdflVefT hdgPdLXPt1mhiR_VxGiRtx Gtmhv¨ÁdftxVXPt

mXPrClVXP_h`ikc~{VtdfeftiRWAWJ`b_Ve?ciR_VeflGiRefXPmiRm(£X^1`qcqcªmXPXz`b_ mXPgDh`bdf_Vm1V¢"!iR_Vx 8aS1TVXzXahXP_Vm`bdf_ hdJTa`befTVXPt¨ÁdftxVXPt

ciR_VeflGiRefXPm,`bmxa`bmgPlVmmXPx `b_ hTVXgPdf_VgDcblVm`bdf_ª

q

An

x hsr ph p}

$

h A h

x n }

h

n h t , p} o

{ n y h

&Aru

h

j r n }gx

n A%t }

AL$mvu p|q

{

F)w

(11)

* "

cq`bgD`b_Ve!i?{VtdfeftiRW gPdf_Vm`bmhm`b_+gPdf_VmhtlVgDh`b_Ve¡i?tXPxVlVgPXPxXPtm`bdf_dRhTVX{VtdfeftiRW ³ÇgjikcqcbXPx§i¥{VtdfeftiRW ! #"%$&´

gPdf_Khik`b_a`b_VeOdf_acqo hTVdfmXmhikhXPWAXP_hmzhTGikh,ik0XPgDhziAeR`qXP_mXDhdR¬fiRtv`iRpacbXPm,ikh,eR`qXP_{VtdfeftiRW²{*dR`b_hm!³=hTa`bmmXDh

`bmgjikcqcbXPx & ! #"%$!" $ "! &"!a´©«±_¡{VtdfeftiRW xVXPpVlVefeR`b_VeV¢"mcq`bgD`b_VeAW?iR¤fXPm1`qh{*dfmm`bpacbX^=dft(iJmdRh±iRtXXP_VeR`b_VXPXPt

hd =dCgPlVmAdf_ hTVX¡tXDcbXDRiR_Kh{GiRtvhm?dRzhTVX¡gPdCxVXf cq`bgD`b_Ve `bm¥ikcbmd lVmXD7lac1=dftJhXPmh`b_VeV¢lV_VxVXPtmhiR_Vxa`b_Ve°iR_Vx `b_

W?ik`b_KhXP_GiR_VgPX§iRgDh`qC`qh`bXPmj 4(XPgjiRlVmX¡dRzhTa`bm¥xa`qXPtm`qhÁo dR^iR{V{acq`bgjikh`bdf_VmL¢1xa`q*XPtXP_Kh¥fiRtv`ikh`bdf_Vm?df_ hTVX_VdRh`bdf_

dRmcq`bgD`b_Ve§TGijX¡pXPXP_ {Vtdf{*dfmXPxª¢®iRm!£XDcqciRmAi_KlVWp*XPtAdRWAXDhTVdCxVmJhdgPdfWA{VlahXOmcq`bgPXPmj =`btmhJi§{VtdfeftiRW

mcq`bgPXgjiR_XD`qhTVXPtp*X& & $ "! &zdft_VdRhj£stdCxVlVgD`b_VeiR_+XaXPgPlahiRpacbXmcq`bgPXW?iR¤fXPm`qh,{dfmm`bpacbX^hd¥iR{V{acqo 7lVtvhTVXPt

htXjikhWAXP_Khm1hdhTVXztXPmlacqh(dRªhTVXziR_Gikcqoam`bmj

_¥dRhTVXPt`bWA{*dftvhiR_h1xa`bmh`b_VgDh`bdf_O`bmpXDh±£XPXP_ "$iR_Vx : "$

mcq`bgD`b_VeV¬«_hTVXGtmh¬gjiRmXf¢RhTVX(mcq`bgPX`bm¬gPdfWA{VlahXPxJ1`qhTVdflahiR_o!iRmmlVWA{ah`bdf_Jdf_hTVX`b_V{Vlahmj¢RTVXPtXjiRm¬hTVXcikhhXPt

tXDcq`bXPm,df_mdfWAXm{*XPgD`qGg^`b_V{Vlah,xGikhia cq`bgD`b_Veikcbefdftv`qhTVWAmgjiR_ikcbmd?p*Xxa`q5`bxVXPx¡`b_Khd?h±£d¥gjikhXPefdftv`bXPm 2 $

iR_Vx $ AiR_GikcqoamXPtmj+ $ !mcq`bgD`b_Ve¥`bxVXP_h`qGXPmzhTVXmhikhXPWAXP_Khm^dRi¥{VtdfeftiRW²hTGikhzW?iPoTGijXmdfWAX

`bWA{GiRgDh(df_?hTVX,gPtv`qhXPtv`bdf_¥TVXPtXjiRm $ ,mcq`bgD`b_VetXDhlVt_Vm£hTVXmhikhXPWAXP_hmTa`bgTOW?iPo¥p*X1`b_D*GlVXP_VgPXPx poAhTVX

gPtv`qhXPtv`bdf_ª«±_HhTa`bm{GiR{*XPtP¢£XOgPdf_Vm`bxVXPt : "$ $ "%$!"DA1`qhT XaXPgPlahiRpacbXOmcq`bgPXPmj

hikh`bg¥mcq`bgD`b_Ve

ikcbefdftv`qhTVWAmgjiR_?p*X1xVXPtv`qXPx?po?iRpVmhtiRgDh`b_KhXPt{VtXDhikh`bdf_dR0xaoa_GiRWJ`bgmcq`bgD`b_VeiR_GikcqoamXPtm

6 7 ;KhTa`bmgPdf_VmhtlVgDh`bdf_

`bmm¤fXDhgTVXPx `b_hTVX?gPdf_VgDcblVm`bdf_ª0¯X?gjiR_ xVXPmgPtv`bp*XJ7dftv(iRtx¯mcq`bgD`b_Ve+iR_GikcqoamXPtm`b_¯i m`bWJ`qciRt^(iPo pVlahmcq`bgD`b_Ve

iR_GikcqoamXPm^{Vtd5xVlVgD`b_Ve¡_Vdf_XVXPgPlahiRpacbXJmcq`bgPXPm^xVdO_VdRhzVh^£XDcqc¬`b_hd¡dflVt,=tiRWAXD£dft¤§m`b_VgPXhTVXJm{*XPgD`qGgjikh`bdf_dR

hTVXiR_Gikcqoam`bm`bm(i!tXDcikh`bdf_¡p*XDhÁXPXP_ hTVXzmXPW?iR_h`bgPm1dR~hTVX^dftv`beR`b_Gikc~{VtdfeftiRW iR_VxOhTVXzmXPW?iR_h`bgPmdR~hTVX^mcq`bgPXf

0¯XgPdf_Vm`bxVXPthTVX1=dRcqcbdj1`b_Ve`bWA{XPtikh`qX,{VtdfeftiRWiRm®iR_?`qcqcblVmhtikh`bdf_¥dR0xaoC_GiRWJ`bg,pGiRg¤5iRtxmcq`bgD`b_Ve¥³ÇmdfWAX

{VtdfeftiRW {dR`b_Khm,iRtXdfWJ`qhhXPx=dft(hTVXmiR¤fXdR¬tXjiRxGiRpa`qcq`qhÁoG´2

C

&

'

bUI

@

C B j

'

I @

C

m

j I '

I @

C

r

eFb ' :I

@

C

t

MO 6 )

b 5

C>

w j

' j

H b;I

@

C>! F" Fb '

#

FbZC$eFb H

b;II

@

C>&%S"

j I ''#

j I C$

j

I0H

b;II

@

C>&(Sb '

b*),+II

@

C

&.-

j

' j l'C

# j I C/+F"~III

0¯XAiRmmlVWAXhTGikh^£XAiRtX!`b_hXPtXPmhXPxdf_acqo`b_+hTVX!fikcblVXdRfiRtv`iRpacbX#10§ikhz{*dR`b_h32 '54f^S1TVX!{Gik`bt/2 '54 6^7098 "

`bmzgjikcqcbXPxhTVXmcq`bgD`b_VegPtv`qhXPtv`bdf_ªS1TVXxaoa_GiRWJ`bgmcq`bgPXdRhTVX{VtdfeftiRW `bmXahtiRgDhXPx+=dftdf_VX{GiRtvh`bgPlaciRt`b_V{Vlahj

=Gdft`b_VmhiR_VgPXf¢V`q£XXVXPgPlahXhTVX{VtdfeftiRW²1`qhT:?iRm1hTVX`b_a`qh`ikc~fikcblVXdR;¢C£XefXDh<2

C

&

'

bI

@

CBN j

'

I @

C &.- j

' j

llC# j I C/+S"]III

«_hTa`bmgjiRmXf¢*hTVX!p*dCxaodRhTVX!cbd5df{`bm^_VXDXPtzXVXPgPlahXPxª«±£XJgPdf_Vm`bxVXPtzhTVXJXaXPgPlah`bdf_dRhTVXJ{VtdfeftiRW

1`qhT=<iRm£`b_a`qh`ikc"fikcblVXdR>;¢hTVXcbd5df{A`bmXVXPgPlahXPxiR_Vx?hTVX,xaoC_GiRWJ`bg,mcq`bgPX=dfthTVX,gPtv`qhXPtv`bdf_¥`bm®hTVX=dRcqcbdj1`b_Ve 2

C

&

/ ' bUI

@

C B j

'

I @

C t _MPO

6

) b C w

j

' j?

H b;I

@

C ( &b '

b@)A+ II

@

C

&.-

j

' j l'C

# j I C/+F"~IIjI

«±h`bmXjiRmo!hdgTVXPg¤!hTGikhp*dRhTAmcq`bgPXPm®iRtX1mh`qcqcGXVXPgPlahiRpacbX1{VtdfeftiRWAm£iR_VxJhTGikh®hTVXDo!gPdfWA{VlahX1hTVX1m;iRWAX(RikcblVXPm

iRm1hTVXdftv`beR`b_Gikc-df_VXA³==dft1hTVXgPdfttXPm{*df_Vxa`b_Ve?`b_a`qh`ikc~fikcblVXdR;-´=dfta70Oikh{*dR`b_h@2 '54R

cq`bgD`b_VeJ(iRm1dftv`beR`b_GikcqcqoO{Vtdf{*dfmXPx po 0¯XD`bmXPt7dft`bWA{*XPtikh`qXzciR_VeflGiRefXPm

6

YR}7ªiR_Vx`qhmiR{V{acq`bgjikh`bdf_ hd!cbdfeR`bg

{VtdfeftiRWAWJ`b_Ve

6

L:7£iR_Vx =lV_VgDh`bdf_Gikc®{VtdfeftiRWAWJ`b_Ve

6

j7®TGiPX?p*XPXP_¯mhlVxa`bXPxHtXPgPXP_hcqo¥«_ÇiRgDhj¢~hTVX?gPdf_VgPXP{ah

dR®mcq`bgD`b_Ve¥`qhmXDcq®`bmXPtvo+efXP_VXPtikc2`qh,`bmz_VdRhzh`bXPxhdOdf_VX!m{XPgD`qGg!mh±o5cbX!dR{VtdfeftiRWAWJ`b_Ve!B?iR_Vx+`qh^gjiR_cbXjiRxhd

xaoa_GiRWJ`bgiRm£XDcqciRmmhikh`bgiR_GikcqoamXPtm

6

YR7¦ dA£XpXDcq`bXDXhTGikh,mcq`bgD`b_VeA`bm,iR_`bxVXjikc-iR{V{acq`bgjikh`bdf_hdA`qcqcblVmhtikhX

dflVt1=tiRWAXD£dft¤*

CED

A

k

x p} yiGF trn

x

dH.n$

}jy px

pAq Iw

JEKML

Aep*

h

u

h

np

y}

h

}{yh pArqn&Arn yi } }

n$u

x { } w

(12)

0¯Xdf_acqo W?iR¤fXh±£diRmmlVWA{ah`bdf_Vmdf_ hTVXxVdfW?ik`b_Vm,dR-hTVX_GikhlVtikcnmXPW?iR_h`bgPmzdRhTVX^ciR_VeflGiRefXTVXPtX2

mX?1`qcqc®mXPXAcikhXPt¥³ÇmXPgDh`bdf_Vm!V¢C¢ 8´©¢-hTVXPmXiRmmlVWA{ah`bdf_VmW?iR¤fX?hTVX¥xVXDG_a`qh`bdf_°dR1efXP_VXPtv`bgiR_GikcqoamXPm

XjiRm`bXPt1`qhTVdflah`b_htdCxVlVgD`b_VetXjikc~tXPmhtv`bgDh`bdf_Vm,df_ hTVX{VtdfeftiRWAWJ`b_Ve¥ciR_VeflGiRefXPm)(K

+*

C t &1

i

,I

! t

Cs9 C II ! " $ C&=Ip'

)*

-, 4.0$

,

C8 1%&=I

t , 3%$

,

C 1%

t I

st

,

C-, t ,I

1 , st ,(vwAwT(@

, o , 1 i

CI

, ,

j.- , C .0$

j

/ j I j0-

o,

C

3%$

j I - , C>7

$

,

oI

C21!,s/k,jI 3*

C-,s t ,s&1

i

,2,I

/

j.- - C

.0$

j

/ j I j0-

o

- C 3%$

j I - - C>7

$

,

oI - o - C

"%$

I

6 6 1 i

C I 54

,61,

54 ! 87

C>7

$

,I

!

, 7 C .0$

,

/k,jI

* O

C4 ,

- o

- C

"%$

II

)!

C ,61!,

:9

%;/~I<;>=

- ,C2<2/~I

/k,>=

Cj o,

@?A

j

,>=B< Cj - (*(*(

j ,DC

& j

o,j ,FE

&

(*(|(

j $ I

@?

< Cj - (|(*(

j ,GC

& j

,s

j

,HE

&

(*(*(

j $ II

- o, C2<uI

/%,>=

Cj o, ? A j ,

=B< Cj - (*(*(

j ,DC & j

o,j ,FE &

(*(|(

j $ I < Cj - (*(*(

j ,DC & j , j

,FE &

(|(*(

j $ II

7

C2<2/~II=

J (< Cj - j &

(*(|(

j $ I

@? j

=`beflVtX 8D2 cq`bgD`b_Ve 2efXP_VXPtv`bgiR_GikcqoCm`bm

)

lVtOefXP_VXPtv`bg§mcq`bgD`b_Ve iR_GikcqoamXPt`bm¥{VtXPmXP_KhXPx `b_ =`beflVtX 8a S1TVXiR_GikcqoamXPthiR¤fXPm¥hTVX§miRWAXiRteflVWAXP_Khm

'K / iR_VxLLK 1HiRm!hTVXOmXPW?iR_h`bgPmJ=lV_VgDh`bdf_ª¢{acblVmJh±£d iRxVxa`qh`bdf_Gikc{GiRtiRWAXDhXPtmMKON>NL Td2#%$& "

iR_VxQPRKbTdSN>T%UV "©S1TVXhTa`btxiRteflVWAXP_h ³==dft1yXDcbXDfiR_hW®iRtv`iRpacbXPm©´`bm1hTVXmcq`bgD`b_VeAgPtv`qhXPtv`bdf_WAXP_h`bdf_VXPx

iRp*djXf«±h®iRmmdCgDìkhXPm®XjiRg;T?{VtdfeftiRW {*dR`b_h£1`qhT¥imXDhdR0{VtdfeftiRW fiRtvìRpacbXPmj {VtdfeftiRW {*dR`b_h 2+iRmmd5gDìkhXPx

1`qhT¡i!_Vdf_C¨ÁXPWA{ahÁo mXDhcd/2 "£`bm(gjikcqcbXPx¡iR_ dfpVmXPtvRikh`bdf_ {*dR`b_hj«_hTVX^iRp*djX^XGiRWA{acbXf¢ `bmhTVXz7lV_VgDh`bdf_

iRmmd5gD`ikh`b_Ve,2 '54^1`qhT 6^10M8JiR_Vx+ikcqc~dRhTVXPt{VtdfeftiRW²{*dR`b_hm1`qhThTVXXPWA{ahÁo¡mXDh<2

d/2 "pI XZY=2I 2 '54\[]_^Z` 6^10M8a^>bIcd^fe

S1TVX7dflVtvhT+iRteflVWAXP_KhgPdR¬hTVXiR_GikcqoamXPttXP{VtXPmXP_KhmhTVXmXDhdRRiRtv`iRpacbXPm,TVdfmXfikcblVXWlVmh,p*X{VtXPmXPtvXPx

`b_ hTVXdflah{VlahgPdf_KhXChihJ³Ç_VdftW?ikc~=dftW¥´dRnhTVX^hXPtW¡®«±_OhTVX^`b_a`qh`ikc~gjikcqc P `bm(hTVXXPWA{ah±oOmXDhjS1TVXtXPmlacqhdR

hTVX!iR_GikcqoCm`bm`bmzi?{Gik`btJ5mkjG"(1`qhT\5lK[TdSN>N"iR_VxmjMK[TdSNnTUV "©5 `bmhTVXmXDhzdR¬{VtdfeftiRW {dR`b_Khm,dRhTVX

hXPtW hTGikh,WlVmh,p*X¤fXP{ah,`b_¡hTVXmcq`bgPXiR_VxQj `bmhTVXmXDhdR¬fiRtv`iRpacbXPmTVdfmXRikcblVXWlVmhzpX{VtXPmXPtvXPx+`b_

hTVX`b_V{VlahgPdf_KhXChkoK {VtdfeftiRW {*dR`b_h,WlVmhp*X^¤fXP{ah`b_ hTVXmcq`bgPX^`q-`qhgjiR_¡`b_D*GlVXP_VgPXiR_¡dfpVmXPtvfikh`bdf_{*dR`b_h

dfthTVX¥fikcblVXOdR,i¡fiRtv`iRpacbX dRP `b_HhTVXOdflah{VlahAgPdf_hXahj§S1TVXOmiRWAXOgPdf_Vxa`qh`bdf_ iR{V{acq`bXPmhd§xVXPgD`bxVXOTa`bgT

p

A;n A { h}

y*yr n x

&A

h

z

h

H.p

y|y t ]n

}h n h

LALn A;p|m

k

n

hpL y n&Aq

{

n$qA

r n }{ t }hph{ h p|A

h

LALn

y

Aq$p

x k

AqAnmPmpArq

y

n&Arq

{

nqA=n&Ar]n&AeA L

p|&ArmP A h

A!n { A x h p|&ATn

yUy n&Arq

{

nqAqH.p

h

n }k x psr

x L npn6t

y

= Ar

hpAq h

ArAmn

y

Am8tw

u

uT$gn $/H.n$~n ATn yi } p}

h

p} n$q { mP A h

HJ {y x nn x h

p}

h

#pA

k { h x A

h

%

h

n

h

n A

h

{

hk { h x &A

h

%

h w

v

uT$gn $/H.n$~n ATn

yi } p} h

p} n$q

{

mP A h HJ

{y

x nn

x h p}

h

{ hk { h x

&A

h

%

h

n

h

%

h

n&A

h

pA k { h x

&A

h

%

h w