Using static analysis to derive imperative code from Alpha

(1)

HAL Id: inria-00074386

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

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

Using static analysis to derive imperative code from Alpha

Patrice Quinton, Sanjay Rajopadhye, Doran Wilde

To cite this version:

Patrice Quinton, Sanjay Rajopadhye, Doran Wilde. Using static analysis to derive imperative code from Alpha. [Research Report] RR-2286, INRIA. 1994. �inria-00074386�

(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

Using Static Analysis to Derive Imperative Code from ALPHA

Patrice Quinton, Sanjay Rajopadhye, Doran Wilde

N˚ 2286

May 1994

PROGRAMME 1

Architectures parallèles, bases de données, réseaux et systèmes distribués

(3)

(4)

2436587

9:<;=?>A@0BDCFE$>HGI;JKGMLLONQPR:<GKS:UTWV,:XSJKY:[ZI\IT]B^LLLNQ_FJK=:XGa`b>HcAZIB^LLLdL

egfhXi<fjUk-k-lmnpofqdrKsutdl0q?tv]fl0wyxzjUfjO{|{~}l?{l0wIzjXwl0wKlFKh<]ll0w]f]l0wl0jUvK

ltMw]wt0}lk-l0w<swtfs]vl0w

efhXlto!e

jx]xzhXftKlfl0qdr]lfqdr]lFKXXX,njOm0<U,n m0xzjiXl0w

'0 O¡z¢UX£4¤¥trKsHwjUftsqd{lXK¦lMKlk-hXzwtfjUtljFtdfjUzw§{HjUtshX¨k-ltr]h]KhU{hXiX-¦rKsHqdr'tfjUzwª©«hXfdk¬wgj

rKsiXrD{ul<l?{®jO{iXhXfstr]k¯sq,wxzl0qds|°±qjUtsuh<²¦yfsttl¥str]l³´Xµ]¶I·¸{HjU]iXvzjiXlth-jU¥sk-xzlf?jUtsXl]jtj

xzjUf?jO{|{ul?{{HjU]iXvzjiXlX¹a³´Xµ]¶z·ºsHwjD©Av]zq?tshXzjO{{HjU]iXvzjUi<l¬¦rKsHqdrW¦jXw,Kl0w§siX]l0»tdh'©¤jXqds|{¼stjtl'tr]l

½ sz]whU©¾wtjtsHqFjUzjO{]wl0w]ll0Kl0D©AhXfMKhUs]i-fli<vK{jf!jUfdfjO¬wK[tr]l0wªsw¿¹¾À¸lFwr]hÁ¦trzjUttr]lFwdjUk-l

k-ltdr]hÂ]w¦rKsHqrjUfdlvzwl0©AhXfwhU{Xs]ifliXvK{HjUfjUffjOw[Ktr]l0w§sHwÃx]fhXK{lk¬wqjU-Il!jx]xK{¼sl0¥th,tr]l

q?hXk¨xKs¼{HjUtsuh<²h©¾³´Xµ]¶z·»jXwj,©Av]zq?tshXzjO{{HjU]i<vzjUiXlX¹

À¸l-sK©AhXfk¬jÁ{¼{sKtfh]Kvzq?l'tr]l4³´<µ]¶z·º{j]iXvzjUiXl¥¦stratr]lÄjÁsÅhU©Ml?zjUk-xK{l0wjUzÅl?ÂxK{HjOs

r]hU¦ÆstsHwjX]jUx]tl0Dth-KhUs]iÄwt?jUtsHqjUzjO{]w§sHwMjUzDtfjUzwª©«hXfdk¬jUtshX¹À¸l°zfwtMwr]hU¦Ær]hÁ¦ÇjU³´ÁÈ

µ]¶z·Åx]fhXiXfjkÉqjzlzjÁsu<l?{u¥sk-xK{lk-lKtl04K¬<sl¦s]i¥sutjXwj-wlthU©gk-hX]h{¼strKsHqjUff?j0]wjUz

tr]l?sf1°]{¼{|s]i©Av]zq?tshXzwÊsuk¨xK{ulk¨l[tl0avzwªsu]ijUx]xK{|sHqjUtsXl'qjXqrKs]iz¹¨À¸l-tr]lawr]hU¦br]hÁ¦wtjUtsHq

jUzjÁ{u]w§sHwFqj¸zlvzwl0tdh¥suk¨x]fhUXltr]ll?ËÄqdslzq?¸hU©tdrKsw1zjOsXl,sk-xK{lk-l[t?jUtshXa[4hXfKlfwhU©

k¬jiXKstvzKlX¹À¸lx]fl0wlKtj'q?hXk-xKs|{HjUtshX¸k-ltdr]hÂ4¦rKsHqdr²k¥j ½ l0wÌsuzq?fdlk-l[t?jO{¾tfjUzwª©«hXfdk¬jUtshXzw

hX¥tr]ljUzwtf?jXq?twKKtjO-tfllhU©®jU4³´Xµ]¶z·x]fhXi<fjUkbs'hXf?KlftdhFk¬j ½ lxzlf©AhXfk¥jUzq?lsk-x]fhUXlÍ

k-lKtwjUz4hXx]tsuk¯suÎl¨st©«h<fFj-iUsXlajUfqdrKsutdl0q?tv]flX¹Ïr]l¬q?hXk-xKs|{HjUtshXawtlxzwKl0wq?fsIl0szqd{vzKl

wqdr]l0KvK{|s]izjO{|siX]k-lKt0]xzjUftsutsuh<Ksu]iI±jO{|{h]qjUtshXR{uhKhXx4]l0wtiXl]lfjtshXzjUz'q?h]KlFiXl]lf?jUtshX

jUz4tr]ljUfl,s|{|{uvzwtfjUtl0Ð¦str¸j¥fv]]Ks]il?zjUk-xK{lX¹À¸l-<sHwq?vzww,whXk-lhU©¾tr]l-wt?jUtsHqjUzjO{Âwªsw

sHwwv]l0wÌ¦rKsHqrq?hXk¨lMv]xjUtÃl0jXqdr'hU©tr]l0wlFwtlxzwjUz¨]fsl?Ñz'Kl0wq?fszl,¦rzjUtwtjUtsqjUzjO{]w§sHwthKhU{Hw

jUfdlvzwl0$¹

ÒDÓ[ÔÕÖ×± UØX£ÆxzjUf?jO{|{ul?{|sÎ?sziWq?h<k-xKs|{ulf?w^jOË¥]l-fl0q?v]fflzq?l¨l0ÙXvzjUtsuh<zwxIhU{[r]l0KfjR${|s]l0jUfx]fhXÍ

iXf?jUk-ks]izzjÁË¬]lKlxIlzKlzqdsul0w¿®KlxIlzKlzq?¸jUzjO{Âwªsw¿±wt?jUtsHqFq?hXKtfh{^x]fhXiXf?jUk¬wKk-hX]h{¼strKsHq

jUfdfjOÂw]jUx]xK{|sHqjUtsXlqjXqdrKsu]iI¹

ÚÜÛÝ

Þßà0á

Ý

Þgâ^ã|ßäÜå0æ

çªèéOê0êUëìAíAîï,ðñMò^èOóô?ì¤õöíg÷ø«ùÂú«û¿üý?þÿõdö0ïAêOìí $õ$îAîõìíë?öFògò Áòé¾ðUîì

ç§ç¤îÌõ "!$#%$&'()'+*,&-.&/10324-

ç¤ç§ç¤îÌõ "!.-+0151)6+078+*,&-$&/024-

ç¤ç§ç¤ç îÌõ "!$9.&:7;1*,&-$&/024<-

(5)

+ ¨ %-# #&.Og¨y

ÓÂÓW£ ¾l-xzjUxKslf,x]fÂl0wlKtl,v]]l-k»ltdr]hÂKhU{hXisul-Kl-tdfjUzw§©AhXfk¬jtshX²v]]l¥wxl0qds|°±qjUtshX

jO{iXhXfsutdr]ksHÙXv]l¸KlrzjUv]t-KsXl0jUv*q?h]¾ll4l ³´Xµ]¶I· lÆv]»{HjU]iKjUiXl'sk-xlfjUts|©Ä}jxzjfjO{|{l?{|sHwk-l

Kl-KhX]ll0w¿¹³´<µ]¶z·»l0wtv]{HjU]i[jUiXl,©AhXzq?tshX]]l?{Ãl0<sljUvKt[xIl0w jUzjO{]wl-wtjUtsHÙ<v]lfl0ÙXvKsHw

xzh<v]f{Hj¥w[Ktr}l0wlFKlFf]l0wl0jUvK'f]li<vK{¼slfw¿¹yhXvzwyk-hXKtfhXzwÙ<v]lF{l0wyk»ltdr]hÂKl0wKlf]l0whU{v]tshXKl0w

x]fhXK{¤}lk-l0wÃ{|sl0wF}j,{Hj-w[Ktr}l0wl!Klf] l0wl0jUvK¬f]liXvK{|slfwxIlv]Xl[tltdfl!jx]xK{¼sHÙ<vll0wF}j{j¨q?hXk-xKs|{HjUtshX

Kl-³´Xµ]¶I·¸ltj[tÙ<v]l{HjU]i[jUi<l©«hXzq?tsuh<]]l?{~¹

eh<v]fÊq?l?{Hj]UjUx]f0}l0w$j0<hUsf$s[tfdhÂKvKst¾Klgk¬jUKs¤}lflsK©«hXfdk-l?{|{ulÌ{ul{HjU]i[jUiXl³´Xµ]¶I·¾ÁwhXFjX]jUx]tjtshX

}j¥{jzjO{Âwl'wtjtsHÙXv]l-lt-jUvK¸tf?jUzw§©AhXfk¬jUtsuh<zwKl¬x]fh<iXfjUk-k¨l0wl0wtFl?]xK{|sqdst]llX¹gzwvKsutdlX]hXvzw

x]f]l0wl[tdhXzwv]]l,sk-xK{lk-lKtjUtshX4zjXl- v]x]fhXiXf?jUk-k-l³´Xµ]¶z·»whXvzwÌ©AhXfk-lv]lzwlkK{l

KlFt?jUK{l0jUvK²k-h<]hU{|sutdrKsÙ<v]l0wFKh<[t{l0wy©AhXzq?tshXzwKl,flk-xK{|sHwwjUiXl,©AhXKtMjUx]xzl?{!}j{j¥tdl0qr]KsHÙ<v]l¯Kl

qjXqdr]ljUx]xK{|sHqjUtsXlX¹! Mf"jXq?lÐ}j²{#jUzjO{Âwl²wtjtsHÙXv]lX{l?ËÄqjXqdst]lKl²q?lttdl¬x]flk¯s~}lfl¥sk-xK{lk-lKtjUÍ

tshX¸l0wtjUk»l?{|suh<fÂllKl-xK{vzw§slv]fwhXfKfdl0wFKl-iXf?jUzKlv]f0¹$gK°z]hXvzwx]f]l0wlKthXzwv]]l-k»ltr]h]Kl

Kl-q?hXk-xKs|{HjUtshXWÙ<vKs¾v]ts|{|sHwl¬Kl0wtdfjUzw§©AhXfk¬jtshXzwwvzqq?l0wwªsu<l0wFwv]fy{jUf]fl-wKKtjOKsÙ<v]l-jUzwtf?jOst

Kvx]fdhXiXfjUk¨k-l³´Xµ]¶z·¸l4[v]ll²jUk»l?{|shXflf{l0wxzlf©«hXfdk¬jUzq?l0wltKl{hXx]tsuk¯swlfMxIhXv]fMv]]l

jUfqdrKstl0q?tv]fl'qdsK{l²KhX]llX¹%$l0wÅlt?jUxzl0wKl'q?lttl'q?hXk-xKs|{HjUtshX whXKtq?h<zwtstvll0w,xzjUf1{hXfKhX]Í

zjUzq?lk-lKt0<{jO{|siX]lk-lKt0<{lMxzjUfdtstshX]]lk-lKt0<{#jO{|{uh]qjUtshXÂ{j,igllfjtshXKlKsH]wKlMIhXvzqd{l0w

ltÃ{HjigllfjUtshX-KlFq?h]KlX¹&{|{l0wwh<[tÃs|{|{uvzwtf]ll0w,}jFtdfjOXlfw{lFÃlfhXvK{lk-lKtÌv]'l?Âlk-xK{lX¹zeh<v]f

qdrzjXÙXv]laltjUxzlXR{l0wx]fh<K{~}lk-l0wxzhKw[l0wyxzjUfy{#jUzjO{Âwl¬wtjUtsÙ<v]l-whXKt!<sHwq?v]t]l0wlt0$v]]l]f0}lXlFx]f]lÍ

wlKtjUtshXKl0wÌhXv]ts|{Hwv]ts|{|sHwKl0wxIhXv]f{l0wwhU{v]tshX]l0wÌl0wtMKhX]llX¹

'Ç×z0¿Õ¢)(*Ób£ xzjUfjÁ{¼{l?{¼sHwjtshX6Klq?hXk¨xKs¼{HjUtdlv]fwl0ÙXvzjUtsuh<zwFf]l0q?v]fflKtl0wjOË¬]l0w¿gxzhU{KrÊ}l0Kfl0w¿

ÃlxIlz]jUzq?l0wjOË¥]l0w]jUzjO{ÂwlFKl0wÃlxzlz]jUzq?l0w¿]x]fhXiXf?jUk-k-l0wÃKlFq?hX[tdf)hU{l!wtjUtsHÙ<v]lX[t?jUK{l0jUvK

k-hX]h{¼strKsHÙ<v]lXqjXqdr]lFjUx]xK{|sqjtsXl

(6)

8

"ÊM,+ g1

§t-rzjXw,{hX]iazll ½ ]hU¦»trzjtF©Av]zq?tshXzjO{x]fhXi<fjUk-ks]i4{HjU]iXvzjUi<l0w¬jUfdl-s]r]lflKt{ xzjUf?jO{|{ul?{

9

7:[*7<;§¹=yhÁ¦lXlfÃtr]ltfjUzw§{HjUtsuh<'hU©^j©Av]zq?tshXzjO{x]fhXiXfjkthjU¬l?Ë'qdsulKtxzjUf?jO{|{ul?{suk¨xzlfjUtsu<l

x]fh<iXfjUk/rzjXwx]fhUXlth¥zl¬j¨Xlf<s|ËÄq?vK{tx]fdhXK{lk

9

7U<;¤¹$¤trKsHw1xzjUxzlf0$¦l-Klk-hXzwtfjUtlj

tf?jUzw§{HjUtshX¸k¨ltr]hÂKh{uh<iX¸¦rKsHqdrWtf?jUzw§©AhXfk¬wjDrKsui<r¸{lXl?{MjO{iXhXfsutdr]ksHq¬wxIl0qds|°±qjUtshX ¦yfsttl

s¸³´Xµ]¶I·¾zj,©Av]zq?tshXzjO{{HjU]iXvzjUiXlXRth-jU¥sk-xzlfjtsXlFxzjUf?jO{|{ul?{{HjU]iXvzjUi<lX¹

³´<µ]¶z·sHwjw§s]iU{ljXwdw§siX]k-lKt0Kl0ÙXvzjUtsuh<zjO{${j]iXvzjUiXlzjXwl0¥hX'tr]ly©«hXfdk¬jO{|sHwkhU©®wÂwtdlk¬w

hU©jÁË¬]lfl0q?v]fflzq?ll0Ù<vzjUtshXzw¥¦rKsHqdr6rzjOXl4x]fhUXl0»vzwl?©«vK{sÆtr]l¸Kl0w§siXÆhU©FfliXvK{HjUfjffjO

jUf?qrKstl0q?tv]fdl0w¹?>¾l?s]iWjD©Av]zq?tshXzjO{{HjU]iXvzjUi<lX¾³´Xµ]¶I· sk-xK{|sHqdst{HÆwv]x]xzhXfdtwq?hXzq?v]fflzq?»jUz

q?hXk¨kv]KsHqjUtsuh<¹]o{iXh<fstr]k¬wqjU'zl,flx]fl0wlKtl0'jUtMj,Xlfd¬rKsiXrD{ul<l?{s¸³´Xµ]¶z·¾IjXwjwlthU©

xzjUf?jO{|{ul?{zkv]tvzjÁ{¼{,fl0q?v]fw§sXll0Ù<vzjUtshXzwUqd{h[wlthr]hÁ¦ahX]lÃksiXr[tgwxIl0qds¼©Atr]lkÇk¬jUtr]lk¬jtsHqjO{|{uX¹

³´Xµ]¶z· x]fhXiXf?jUk¬w¨tlzºth»zlWwr]hXft0s[tvKstsXlXjUzºl0jXwºth»Xlfs|©AXjO{tr]hXv]iXr*tdr]l?suf'zjÁsu<l

l?]l0q?v]tshX4sHws]l?ËÄqdslKtsu4zhXtdr²wxIll0²jz¥tr]lFvzwl,hU©gk-lk-hXfX¹IÏr]lwtdfl]iXtr'hU©gtr]l³´Xµ]¶z·

{HjU]iXvzjiXl'{|sl0w¨s tr]l¥©¤jXq?t-trzjt¬jUK ³´Xµ]¶z·Çx]fhXi<fjUk qjU Il²jUzjÁ{uKÎl0 wtjUtsHqjO{|{»s h<fKlf

th¥Kl0Kvzq?l¯q?lfdtjOs'sK©AhXfk¬jUtsuh<'vzwl?©«vK{©AhXfKhUs]i¬hXx]tsuk¯suÎ0jtshX¹±ÏÌrKswyxzjUxIlfM¦s|{|{¾Klk-hXzwtf?jUtl

trzjtMzjXwl0hXtrKsHwwtjUtsqjUzjÁ{u]w§sHwjUa³´Xµ]¶z·»x]fdhXiXfjUk qjUzl¨hXx]tsksÎl0th'l?]l0q?v]tlhX¸j

tjfiXltxzjUfjO{|{l?{gk¬jXqdrKsu]l,['wl?{l0q?ts]ijUx]x]fh<x]fsHjUtltfjzw§©«h<fk¬jUtshXzw¿¹

³´<µ]¶z·Æ¦Ìj<whXfsiUszjO{|{ KlXl?{hXxIl0 jXwjwxzl0qds|°±qjUtshX {j]iXvzjUiXl¥©AhXfw[Ktr]l0w§sÎ?s]iWfdliXvK{HjUf

jUfdfjOÂwÃ©AfhXk jOË¬]l,fl0q?v]fflzq?ll0Ù<vzjUtshXzw¹$§hXf?Klfth°zz4tsks]ijUzjO{|{hÂqjUtsuh<©Av]zq?tshXzw

hXf¥k¬jUxºfliUsHwtlf?w¬jUzºq?hXk-kv]KsHqjUtshXº{|s ½ w¥tharzjUfK¦jUfdlX¾jO{|{1Kh<k¬jOszw¬jz6KlxIlzKlzqdsl0w

kvzwt°zfwtFzl¥wtjUtsHqjO{|{

½

]hU¦¹Ïr]ltdr]l¬jUzhUXlx]fh<K{ulk¥wFqjU¸IlÄqj<wtsWtlfdk¬whU©ÌKhsu]i

hXxIlfjUtshXzwyhX4xzhU{Kr]l0Kfj'jUz'whU{<s]i¥{¼s]l0jUfx]fdhXiXfjUk¨ks]i-x]fhXK{lk¬w¹³´Xµ]¶z·a¦jXwKl0w§siX]l0

th©¤jXqds|{|stjUtltr]l0wl ½ sz]wghU©jUzjO{]wl0w¹ yhU¦»¦lÌjfls[<l0wtsi[jUts]i,tr]ltr]lw§skvK{HjUtshX¥hU©^³´Xµ]¶z·

x]fh<iXfjUk¬w¿zjUz4¦l¯jflFlzq?hXv]Ktlfs]i4tr]l-wjUk-l1swdwv]l0wtrzjt!jUfdl©AhXv]z4str]l-q?hXk-xKs|{HjUtshX¸hU©

jUfdfjOÂwÌs©Av]zq?tshX{HjU]i<vzjUiXl0w¹$À¸l,°zz4trzjUttr]l-wjUk¨lk¨ltr]hÂ]w¦yrKsqdrWjUfdlFvzwl04©AhXfwhU{<su]i

fli<vK{jfjUff?j0wK[tr]l0wªswx]fhXK{lk¬wÃqjU-zlvzwl0,©AhXfgtr]lq?hXk-xKs|{HjUtshX¥hU©^³´Xµ]¶z·¸jXwgj!©«v]zq?tsuh<zjO{

{HjU]iXvzjiXlX¹

¤tdrKswxzjxzlf0I¦lF<swdq?vzwwwhXk-l,hU©gtr]l-wtjUtsHqjUzjÁ{u]w§sHwysHwwv]l0w¦rKsHqdr¸q?hXk-lv]x¸Kv]fs]i'tr]l

KlXl?{hXx]k¨l[t,hU©jU¸³´Xµ]¶I·6q?hXk-xKs|{lf0¹Ïh¥s|{¼{vzwtdfjUtltr]l0wl,sHwwv]l0w¿¦lFx]fl0wl[tFjU4l?Rjk-xK{ls

¦rKsHqdr¬¦ltfjzw§{HjUtljU'³´Xµ]¶z·4x]fhXiXf?jUkÇs[thFjsk-xzlfjtsXlM]jUtjxzjfjO{|{l?{Êx]fdhXiXfjUk

9

m#7;¤¹XÏÌrKsw

tjfiXlt-¦jXw-qdr]h[wlºzl0qjUvzwlfl0q?v]ffdlzq?l²l0Ù<vzjUtshXzw¥jUfl]jUtjxzjfjO{|{l?{!K»zjUtv]flX¹À¸lvzwlj

tf?jUzw§©AhXfk¬jUtsuh<zjO{±jUx]x]fh[j<qr¥thKlfsu<lFjU-sk-xIlfjUtsXlF]jtjxzjUf?jO{|{ul?{x]fhXiXfjk¦rKsHqdr¥swÃl0Ù<vKsÁjUÍ

{lKt¾Kq?hXzwtdfvzq?tshX-thtr]lMwhXv]fq?lx]fhXiXf?jUk¹UÏr]ltfjUzw§©AhXfk¥jUtshXzwjUflwxzl0qds|°zl0'jXqq?h<f<s]ith

tr]lfl0wvK{twÃhU©^KhUs]i-wtjtsHqMjUzjÁ{u]w§sHwjUz¯suK©AhXfk¥jUtshX'jUzhXv]ttr]lytjUfiXltjUfqdrKstl0q?tv]flXsu'h<fKlf

th¨hXx]tsksÎlFtr]l,x]fhXiXf?jUk ©«hXfj-wxzl0qds|°±q,k¬jXqdrKs]lX¹±ÏÌrKswyk-ltr]h]KhU{hXiX'wlxzjUf?jUtl0wtr]lsHwwv]l0whU©

jO{iXh<fstr]kKl0w§siX¯©«fh<kbtr]lk¬jUzjiXlk-lKt^hU©^jUf?qrKstl0q?tv]fdlMKlxzlzKlKtxzjUfjO{|{l?{|swkÉjz-q?hXk-kv]Í

KsHqjUtshX¹¤tFjO{|{hU¦Mwtr]lx]fhXi<fjUk-k-lfth¥©AhÂq?vzwh<ÐKl0wªsui<Ksu]itr]l-jO{iXh<fstr]k ¦rKs|{lÄKl?{li[jUtsu]i

tr]lk¥jUzjUiXlk-lKthU©gxzjUfjÁ{¼{l?{|sHwk jUz'q?hXk¨kv]KsHqjUtsuh<th-tdr]lFq?hXk-xKs|{lf0¹

Ïr]lMxzjxzlfÃsHwhXfi[jKsuÎl0¥jXw©AhU{|{uhU¦Mw¿¹[§Äwl0q?tshX]X¦lx]fl0wlKtjU-sK©AhXfk¬jÁ{zs[tdfhÂKvzq?tsuh<'th

tr]l,³´Xµ]¶z·D{j]iXvzjUiXljUz,sKtfh]Kvzq?lMtr]ll?zjUk-xK{lX¹K¤'wl0q?tshX@7]<¦lMKl0wq?fszltdr]lMq?hXk-xKs|{HjUtshX

hU©³´Xµ]¶z·6jz4sWwl0q?tshX¸I$¦l,s|{|{vzwtfjUtdl-st¦str¸tdr]l¬jOsHhU©jUl?RjUk¨xK{ulX¹¤Wwl0q?tshXA:]$¦l

(7)

Kl0wq?fsIl¬]fsl?Ñz¦rzjUtFwtjUtsHqjUzjO{]w§sHwthKhU{Hw¦lflvzwl0$¹$¤Wwl0q?tshXW]$¦lk¬j ½ l,hXzwlfUjUtshXzw

jUIhXv]ttr]lFq?hXk¨xKs¼{HjUtsuh<²h©^©Av]zq?tshX'{HjU]i<vzjUiXl0wjUz'wv]k-k¬jUfsÎl,tr]l¦hXf

½ ¹

"ÊMF+ g1& 2Ä yM

³´Xµ]¶z·¥¦jXw$hXfsiUszjO{|{-Kl0w§siX]l01stdr]lq?hXKtl?]t^hU©zw]wthU{|sHqjUffjOMw[Ktr]l0w§sHw

9

m0K0Rm;¤¹§tsHwgjx]v]fl

©Av]zq?tshXzjO{{j]iXvzjUiXlFjUz4jXwwvzqdrKsHwyfl?©«lfdl[tsHjO{|{tdfjUzwxzjUfdl[t0¹I³´Xµ]¶z·ÅsHwMwªsuk¯s¼{HjUfth ÃfÂwtjO{

9

KK[;¤]jU]hXtr]lf©«v]zq?tsuh<zjO{{HjU]iXvzjUi<lX¹=yhÁ¦lXlfO]³´Xµ]¶z·4sHwk-hXfdlMfl0wtfsHq?tl0¨trzjU ¾f]wtjO{±jUz

sHwgzjXwl0Fh<¯Kl]h<tjUtshXzjO{zwlk¬j[tsHqw¦rKsHqr¬jÁ{¼{hU¦»tr]lÃszKl?¬KhXk¬jOs-hU©jUK³´<µ]¶z·l?]x]fl0ww§shX

th-Il-wtjUtsHqjO{|{q?hXk-x]v]tdl0$¹±Ïr]l,fl0wtfsq?tsuh<zwsa³´Xµ]¶z·a¦lfdlFKl0w§siX]l04s[tdh-tr]l{HjU]i<vzjUiXlFtdh

iXvzjUf?jU[tdllqd{h[wv]flyhX-jwltghU©zsk-xIhXftj[tx]fhXiXf?jUk tdfjUzw§©AhXfk¬jtshXzw0jUz¨jO{Hwhlzwv]fltdrzjUt®j[

³´Xµ]¶z·x]fhXi<fjUkbk¬jOFIlMx]v]tÃsKthj1x]fl0Kl?°z]l0 '&%/ !&¹X§¬k¨h[wt©Av]zq?tshXzjO{${HjU]iXvzjUiXl0w¿

{|s]l0jUf{|sHwtwjUfdltdr]lKhXkszjUKtF]jUtj¥wtfdvzq?tv]fl0wyvzwl04s¸j-x]fh<iXfjUk¹I¤a³´Xµ]¶z·Ã$tr]lfljfl]h

{|sHwtwjUz]hFwtdfl0jUk¬w¹U§zwtl0jX$KjO{|{±UjUfsHjUK{l0wjUfltKxzlKl0qd{HjUfl0'jUtgtr]lyzliUs]Ks]i-hU©jx]fhXi<fjUk

jXwxIhU{[r]l0Kf?jO{]jtj1°zl?{]w¿¹

//(; "!.&#+)'+0$$,&&%'

-+;(%1-1'+/(%4.&# )+* &-,/.01.&"2 )4 &'(;3;-&'54

:1;(

4.&#76&98"1:$101/1;

*,&-, &;0<=2-)>.6?8@4

*,&-, &;A1B<"2-) 4.&#76&;CD8E 4.&#76&;C<8@4

;1/10$4

(;1:4 F

G5HIKJMLONP>QMR@SOTVUBW5HYX9XS

//(; "!)-90-7BZ%#+/<(.&(%(,&)'[% 6+0-+0 +;(;-\)]*"^,_^BA."24

`

)]* &5a5-,.0 &;0^@4.0150,&2 )4 &'(;3;-74

b

)]* & ,.01.&;0^c2 )4 &'(;3;-&'

-+;(%1-1'+/(%]de)]* & ,.01.&;0^c2 )4 &'(;3;-&'54

f

0-=#g)>* &5a5e,+.01.&;0^@4.0150,&h2 )4 &'(;3;-74

:1;(

#76&5a58"1:$101/1;

*,&5a5-, 51:.2-)

`

6&5a58cijd@658@4

*,&5a5-, 5&Ac.2-)_#76&5a5CD8E

`

6&5a58ci"d@658@4

;1/10$4

d@6&98"1 $101/1;

*,& , &"1:.2-)

b

6&98@4

*,& , &cAc.2-)

b

6&98&C#76&5a&;CD8@4

;1/10$4

(;1:4 F

GkHIJMLONlQMRkUBmonpHmrqstMTMuovwSOvwtkvwSOUBW

xsiXv]fl-mMyzÏÌ¦h¥³´Xµ]¶z·ax]fhXi<fjUk¬w

§trKsHwwl0q?tshX$¦l,suK©AhXfk¥jO{|{u4sKtfh]Kvzq?ltdr]l¬³´Xµ]¶I·a{j]iXvzjUiXl¦strtr]l-jOsHhU©¾tdr]lt¦h

l?zjUk-xK{l0w1suÅ°ziXv]fl4mX¹®RjUk¨xK{ul4msHwjw]wtlk hU©fl0q?v]fdflzq?l0w1©«hXf,tr]lcxszh<zjXqqdsMwlfsl0wFjUz

l?zjUk-xK{l-¨swj¥w]wtlk/hU©¾fl0q?v]ffdlzq?l0w¦rKsHqdrÐwhU{Xl-j{hU¦lftfsHjU]iXvK{HjUfKz¤¦strv]KstF<sHjUiXhXzjO{|{

(8)

w]wtlk hU©y{¼s]l0jUf¨l0ÙXvzjUtsuh<zw[Ð©«hXfd¦Ìjf¸wv]zwtsutdv]tshX¹oMÆ³´Xµ]¶z·Æx]fh<iXfjUk sw¨j ahU©

fl0q?v]fdflzq?lMl0Ù<vzjUtshXzw¿¹[o ¥Kl0qd{jfjUtshXq?hXzwªswtwghU©^j1zjUk-l¦str'jFwlt¾hU©$s]x]v]tÁjUfsHjUK{l

Kl0qd{HjUfjtshXzwMjz'j-wlthU©ghXv]tx]v]tyÁjUfsHjUK{l-Kl0qd{HjUfjUtsuh<zw¹@x]h<fszwtjUzq?lMy

//(; "!)-90-7BZ%#/(.&(%(,&)'[% 6+0-+0 +;(;-\)]*"^,_^BA."24

`

)]* &5a5-,.0,&;0^@4 .0150,&2 )4 &'(;3;-74

b

)]* & ,.01.&;0^"2 )4 &'(;3;-&'

-+;(%1-1'+/(%]de)]* & ,.01.&;0^"2 )4 &'(;3;-&'54

oÇ©Av]z]jUk-lKtjO{©«l0jtv]flhU©³´Xµ]¶z·Ãz¦rKsHqdr¸wltwÃstjUxzjUfty©«fdhXkhXtr]lfÌ©«v]zq?tshXzjÁ{^{HjU]iXvzjiXl0wRsw

trzjtFjO{|{¾ÁjUfsHjUK{l0w1s ³´Xµ]¶I· jUfl¬wtdfhX]iU{tKxzl0¸jzzj<wl0hX¸xIhU{[r]l0Kf?jO{¾szKl? KhXk¥jOszw¹

oÇÁjUfsjK{ul-Kl]hXtdl0wjk¬jUx]xKs]i¨©«fdhXkjU . .& (z¤tr]lFwlthU©®jO{|{sKtliXfjÁ{^xzhUsKtwy¦strKs

j¸wxzl0qds|°zl0Æxzh{uKr]l0KfhX {-tdh¸ÁjO{v]l0w¯s6tdr]l "#O .&% zAsKtliXlfw¿gfl0jO{HwÃhXf-Ih[hU{l0jUzw {¹¾o

xIhU{[r]l0Kfh<asw1zhXv]zKl0aK¸j¥°zKstl¥[v]kIlfFhU©{|s]l0jUfs]l0ÙXvzjÁ{¼stsl0w [¹ÏÌr]l

wKKtjO'hU©®jxIhU{[r]l0Kfh<sÅ³´<µ]¶z·sHw>z~©«hXfl?zjUk-xK{l{;y

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

jUz¥tdr]lFw[KtjO¥hU©^tr]lFKl0qd{HjUfjtshXhU©gjU¥s[tli<lfÁjUfsjK{ul6*zj<wl0¥hX'trzjUtÃszKl?²KhXk¬jÁsuDsHwy

798

:!#"%$9&;(+*,!-*.0/1(2*435$2*2!<>=-?!@2AB0/

obw]wtlkk¬jO¬jÁ{wh-rzjOXl{h]qjO{^UjUfsHjUK{l0wI¦rKsHqrjUflFKl0qd{HjUfl04jO©«tdlftdr]lFwÂwtlkr]l0jXKlfvzwªsu]i

tr]l ½ l[¦hXf?DCEB±¹KÏr]lMw]wtlkbhU©l0Ù<vzjUtshXzwtrzjUt¾Kl?°z]ltr]lMUjUfsHjUK{l0w©«h{¼{hU¦ tdr]lMKl0qd{HjUfjUtshXzw

jUzjUfl¸Kl?{|suk¯sutdl0Ç[ºtr]l¸xzjOsfh© ½ lK¦hXf]w)F26jUzG4Fz¹ÏÌr]l{HjU]iXvzjUiXl4sHw'l0Ù<vzjUtshXzjÁ{~

jUz¥l0j<qr¥l0ÙXvzjtshX;CEBH!4E I+F+KJ5LNM23O-P2B5Q2!=@4R

LNM

zjUk-l0wj,ÁjUfsHjUK{l,hX¬tdr]l % =TS¬jz¥rzjXw

jUl?]x]fl0ww§shXahXtr]l-)=USz¹^Ïr]l¥Kl]hXtjUtshXzjÁ{wlk¬jUKtsHqwhU©M³´Xµ]¶I·

9

]m';¤wxzl0qds|©«trzjt0I{|s½ l

UjUfsHjUK{l0wl<lfa³´<µ]¶z· l?]x]fl0ww§shXajO{HwhKl]hXtl0w,j¨©«v]zq?tshXÐ©«fh<k/suz<sHq?l0w,th'UjO{v]l0w¹^Ïr]l0wl

wlk¥jU[tsqwyjUfl©AvK{¼{q?hXk-xzhKw§stshXzjO{¤±jz¨©«hXfdktr]lzjXw§sHwyhU©®jtdfjUzw§©AhXfk¬jtshXzjO{ÊwÂwtdlk¹

oM]hXtdr]lfFsk-xIhXftj[t¬q?h<zq?lx]t-vzwl0asÆ³´Xµ]¶z·sHwtr]l']hXtsuh<»hU©!j . ( .#U¦rKsHqdrasw

jUajOË¬]l,©«v]zq?tsuh<¸hU©¾sz<sHq?l0wfl?{HjUtsu]i4tr]lszKl?WKhXk¬jOs¸h©tr]l %=TSUjUfsHjUK{l¥th'tr]l,szKl?

KhXk¥jOshU©®j¨)=TS¥ÁjUfsjK{ulX¹VSXKKtjXq?tsHqjO{|{X±j¨KlxzlzKlzq?'©Av]zq?tshXDswy¦fsttdljXwy

W !@X+O0"!@X2O0"GY5Y5YZ ![@X2O\5O4P2B]"![@+X+O\5O-P2B]"YQY5Y_^

¦r]lfdlFl0jXqdr`![@+X+O\5O-P2B-sHwjU²jOË¥]lFl?]x]fl0ww§shXhU©gtr]lsz<sHq?l0wtdh-tr]l{l?©AthU©gtr]ljUfdfhU¦ jUz

hU©¾w]wtlkxzjfjUk-ltlf?w¹ zjUk-xK{l0whU©¾jOË¬]lFKlxIlzKlzq?©Av]zq?tshXzwjUfl

W

!-\Qa2!-\cb^ jUz

Wed "!f"hg\Qa d \+i"jb d \g\+i"kg\i4^O¹KoM¥l?Rjk-xK{lhU©®jU¥l0ÙXvzjtshX'¦rKsHqr'vzwl0wjOË¬]ly©«v]zq?tsuh<zwthflÍ

{HjUtlKhXk¬jOszwhXtr]lM =TSFtdhtr]lKhXk¬jOs-hXtr]l % =USsHwg¦yfsttll?ÂxK{|sHqdst{X]vzw§s]iKlxIlzKlzq?l

©Av]zq?tshXzwgjXwy lm3<nY

W

!4\5a2!Q^<\oINY

W

!-\Qa2!#"!-\+i-^#/$hXfl0Ù<vKsÁjO{lKt{X<sut¾q?h<vK{jO{HwhIl¦fsttl1suk¨Í

xK{|sHqdst{Xvzw§s]i¥tr]lFwhpÂqjÁ{¼{l0 ! + -hU©³´Xµ]¶z·gy2lqe!Kr:3nq_! r\sINq_!f" !-\ir0/

Ïr]lFwK[tjÁ¬©AhXf³´Xµ]¶z·»jU'l?Âx]fdl0ww§shX'sHwyx]fl0wlKtl0¥zl?{hU¦ut<¹

vxw

îìAíõ]ðÁõdì^õöFõíAîìAöÁõdíAî+zyéUõìAîÃð0ì¤õ|{?îªí^õdöëêOíëöUõ ë?öAíAìAé,ªígõdö0ïí0î¾õAíAîìz{ gõ}îîªöOî Aí¤õìk~

(9)

X2EE5\CEB !-E I+F+ &

=c@ E @2

q%O4P2BQ5,!=c@,r=P O-P,BQ52!=c@ =P¥sHwMjKszjUfd¬hXfyv]zjUf¥hXxzlfjthXf

O-P,B9Y1X+ P jU'l?Âx]fdl0ww§shX²q?h<k-xzh[wl0¥¦str²jUjÁË¬]lFKlxzlzKlzq?4©Av]zq?tshX

XQ= #E2![@

8

O-P,B jU'l?Âx]fdl0ww§shXfdl0wtfsHq?tl0Dth¬j,xzjUftsHq?vK{HjUfKzªwv] {ªKh<k¬jOs

¢U¡zÓO-P,B»ÓÂ¿¡z¢ jv]KshX4hU©®l?]x]fl0wwªsuh<zwMKl?°z]l0DhÁ<lfM<sHwÜªhsuKtMwv]$KhXk¬jOszw

Ïr]lflsHwjÁ{wh¯jwtdfsHq?th<xzlfjUtdhXf¾¦rKsHqdr'sHww§sk-xK{'q?hXzw§sHKlfl04jXwj 7Í¤jUf =cPÄjUz'j,fl0Kvzq?tshX

hXxIlfjUthXf,¦rKsHqr»jUx]xK{|sl0w-jU»jXwwh]qdsHjUtsXl'jUz¸q?hXk¨kv]t?jUtsXl-KszjUfÅhXxzlfjthXfjzWjDk¬jUK²tdh

hX]lszKl?²k¥jUx]xKs]i-©Av]zq?tshXtdh¯j¯ÁjUfsHjUK{l

9

m ;¤¹

owk¨l[tshX]l0ÅjUzhUXlX³´<µ]¶z· fl0wtfsHq?twtdr]l ½ sz]w,hU©x]fhXi<fjUk¬w¦rKsHqdr qj¸zl¥flx]fl0wl]Í

tl0Åthtdr]h[wl-¦r]lfdl¬tr]l¨szKl? Kh<k¬jOszwhU©ÁjUfsHjUK{l0w-jfl-v]KshXzwhU©Mq?hXKXl?¸xzh{uKr]l0Kfj]gjUz

]jUtj,KlxzlzKlzqdsl0wjUflMjOË¥]lszKl?-©Av]zq?tshXzw¹]Ïr]l0wlfl0wtdfsHq?tshXzw{¼sksttr]ll?Âx]fdl0ww§sXlxzhU¦lf

hU©³´Xµ]¶z·¾tr]hXv]i<r»]hXt-thtr]l'xIhUs[t¥hU©MflzKlfsu]iÅst-tfs<sHjO{¤¹¾o/x]fhXxIlf¬wv]zwlt-h©!tr]l¥{HjU]Í

iXvzjUi<l+z§v]Ks¼©AhXfk³´Xµ]¶z· {swÏv]fs]iq?hXk¨xK{ultdlX[jUztdr]lflMjUfljUzjO{Âwªsw®sHwwv]l0wjUzh<v]t¾jU'³´Xµ]¶z·

x]fhXi<fjUk tdrzjUt-jUfl¥v]zKl0qds]jK{ul

9

7Rm!;§¹^oiXfl0jUtKv]kIlf-hU©{|s]l0jUf¬jÁ{ui<l]fj¸jUza<siUstjO{!w§siXzjÁ{

x]fh]q?l0ww§s]i¸jO{iXhXfstr]k¥w©¤jO{|{¾¦strKs»tr]l0wl{|skstjUtshXzw¿¹^§¸fltv]fd©«h<ftrKsHwFfdl0Kvzq?l0¸l?]x]fl0ww§sXl

xzhU¦lf0K¦l!qj¬k¬j

½

lMvzwlhU©®jwlthU©^xIhÁ¦lf©AvK{^wtjUtsqjUzjO{]w§sHwthKhU{HwtrzjUtÃlzjUK{lFvzwtdhKl0Kvzq?l

hXx]tsksÎ0jUtsuh<zwth¥KfjUk¬jUtsqjÁ{¼{¥sk-x]fhUXltdr]lxzlf©AhXfk¬jzq?lhU©j¯x]fhXiXfjk¹

! #"%$&'()$!

*,+.-+.- /10

¡2,3IÓ×465,¡z87Ü

9©¾jO{|{®tr]ltdfjUzw§©AhXfk¬jtshXzwÃ¦rKsHqrqjU'zlKhX]lFhXj³´<µ]¶z·Wx]fdhXiXfjUk4[tdr]l %+/1: <

sHwtr]lk-h[wtq?hXk-k¨hX¹z§tsHww§sks|{jfFth¥tr]lfl?szKl?[s]ihU©g{hKhXxÁjUfsHjUK{l0w

9

<;;¾jUz4hXtr]lfy{h[hXx

tfjzw§©«h<fk¬jUtshXzwKhX]l¥sºXl0q?thXfsÎ?s]iWjUzaxzjfjO{|{l?{¼sÎ?szi q?h<k-xKs|{ulf?w¹ ysXl6j4ÁjÁ{¼sHºx]fhXi<fjUk

jUz4j¬qdrzjU]iXl,hU©®zj<w§sHwhU©j¨ÁjfsHjUK{lXj]l¦FIx]fhUÁjUK{l0Ù<vKsÁjO{lKtx]fhXiXf?jUk sHwKlfsXl04¦rKsHqr

]hXthXK{'szqd{vzKl0w,tr]lqdrzjU]iXl,hU©¾zjXw§sHwhU©¾tr]lUjUfsHjUK{lX$]v]tFjO{Hwh¥tr]lFfl?szKl?Ks]i²h©jO{|{jUfdfjO

fl?©Alflzq?l0wythtrzjUtUjUfsHjUK{lX¹

o qdrzjU]iXlhU©Fzj<w§sHw¥hU©FÁjUfsjK{ul

7

vzw§s]i»tr]l¸jOË¬]l4tfjUzwª©«hXfdk¬jUtshX ©«v]zq?tshX>= qjUÆzl

xzlf©«hXfdk-l0¥s|©tdr]lflFl?KsHwtwjU]hXtdr]lfMjOË¬]l1©«v]zq?tshX@?¨±wvzqdrtdrzjUtBADC,E GF y z=IHJ?{9zKE {!L>EI

jUz¨sHwKhX]lFKÄw[KtjXq?tsHqjO{|{'fl¦fsutsu]i'jU³´Xµ]¶z·Åx]fhXiXfjkÉj<wÃ©«h{¼{hU¦Mwy

798

F =-?!@2AB0/

F+

7

3NM8M8M

7

M8M8MPO

M8M#M3NM8M8M

7

M#M8MQO

cF / R Z 7 8TS!UWV%XZY\[^]VB_

F¥=T`]=-? !@2AB0/

F2

7 3 W M8M#M

7

YK=aM#M8M^VY?bO

M#M8M3 M8M8M

7

Y=aM8M#Mz/

4F /

*,+.-+c* d

Ê87*±87×2

osk-k-l0<sHjUtl¬q?h<zwl0ÙXv]lzq?l¥hU©fl?©«lfdl[tsHjO{¾tdfjUzwxzjUfdlzq?'sttrzjUtl0Ù<vzjO{|stª4sHwFwv]zwtstv]tsXln

l0Ù<vzjO{Ml?]x]fl0ww§shXzw¥jUfl'jO{¦j0]w-jUzal<lf[¦yr]lfl¥s[tlf?qrzjU]i<l0jUK{lX¹¾o»l0ÙXvzjtshX6wxIl0qds|°zl0w'jU

e%f

îõìñ,hgji ö^k?îìAíð1îXí0îömlGnipo

v

õdö0ïrqsiatlvuqsw^unwgë?ìÊõ w ~Wx1 éOö0öOî î¤õdì ñìAî AíAìíyk?îe~

ÂíUõí ìAîõ ñö0îîï0îï zgëìi4íAë Áõ{kîõ}|~h%

ã

~P

äÞ

|

ßªÞ

gë?ìí0îgêUëöí öí0îgï0ëõöëg,i0~

(10)

jXwdwlftshX-h<Äj1ÁjUfsHjUK{l¦rKsHqdr¬kvzwtjO{¦j0]wgIlMtdfv]lX¹]l0jXwhXKs]i-jUIhXv]t³´Xµ]¶z·x]fh<iXfjUk¬wÃqjU

trKvzwzl'KhX]l,sWtdr]l¯q?h<[tl?]thU©tr]l-x]fhXi<fjUksut?wl?{|©jUzfl?{|sl0w,l0wwlKtsHjO{|{uÅhXtr]l©¤jXq?tMtdrzjUt

³´Xµ]¶z·'x]fdhXiXfjUk¥wfl0wxzl0q?t¾tdr]l :'| ( '#(0¹UÏrKvzwXjUKszwtjUzq?lh©ÊjyÁjUfsHjUK{lhXtr]l

{l?©AtMrzjUzw§sHKlhU©¾jUK'l0ÙXvzjUtsuh<²k¥j0¥zlflxK{HjXq?l04¦str4tr]lFfsui<r[trzjUzw§sHKlFhU©gstwKl?°zKstshX¹

ÏrKsHwytfjUzwª©«hXfdk¬jUtshX¨sHwKhX]lFK¥fl¦fsts]i'jU³´Xµ]¶z·ax]fhXiXfjkÉj<wg©AhU{|{hU¦Mwy

798

F =4? ![@2AB0/

F+

7 3 V

UWVX

O

M8M#M3NM8M#M

7

M8M8MQO

4F / R Z

798

F =-? !@2AB0/

F2

7 3 V

U VX

O

M#M8M3 M8M#Mz Fy

V

UWVX

{}M#M8Mz/

4F /

*+.-+

×± "W¡&(c7<¡]87×z2

Ïr]lfdl'sHw¬jÁ{wh jUÆ³´Xµ]¶I· tf?jUzw§©AhXfk¬jUtsuh<»trzjUt?]h<fk¬jO{|sÎl0wajU[º³´Xµ]¶z·Çx]fhXiXf?jUk suKth»j

x]fl0Kl?°z]l0awK[t?jXq?tsHq,©AhXfk ¦rKsHqdr¸°]]l0wtr]l]l0wtsu]ihXf?KlfhU©M³´Xµ]¶z·Æq?hXzwtfdvzq?twth[y z§iXhUs]i

©AfhXk hXv]tdlfk-h[wttdh¥su]]lfdk-h[wt{qjXwl¬wtjUtlk-lKtw$fdl0wtfsHq?tshX¸h<xzlfjUtsuh<zwKszjUfajUzv]zjUf

hXxIlfjUtshXzw¿^jUzÐ°zzjO{|{ KlxIlzKlzq?a©«v]zq?tshXzw¿^UjUfsHjUK{l0wjUzaq?hXzwtjUKtw¹ÏÌrKsw,tf?jUzw§©AhXfk¬jUÍ

tshX'q?hXzw§sHwt?whU©^jUzh<v]t 7:Ffdl¦fstlfvK{l0w¦rKsHqrjk-hX]iFh<tr]lftrKs]i[wqrzjU]i<lMtr]l]l0wts]i-h<fKlf

hU©Ãszq?hXffl0q?t{¸]l0wtl0hXxIlfjUtshXzwÊÑ±jUttl]l0wtdl0¸qjXwl0wjz¸q?hXkKs]l¬fl0wtfsHq?tshXWjUzÅjOË¬]l

©Av]zq?tshXzw¦r]lfl,xzh[wdw§sK{ulX¹ÏÌr]lFfl¦fsutdlFfvK{l0wjUflq?h<KÑzv]l[tjUz'i<vzjUfjUKtll0¥th¥tlfkszjUtdlFjUt

j-wtjUK{l°]QpKxzhUsKt

9

Rm!;§¹ÂÏÌrKswytfjzw§©«h<fk¬jUtshX¨sHwh©«tl¥vzwl04jXwj,©AhU{|{hÁ¦v]xthhXtr]lfytfjUzw§©AhXfÍ

k¬jtshXzwzªwvzqr¸jXw1tr]l-qrzjU]i<l-hU©zj<w§sHwjz²wv]zwtstv]tshXatfjUzwª©«hXfdk¬jUtshXzwyx]fl0wlKtl0¸jUIhUXl{

jUz¨sHwy¦r]lfl,tr]lFq?hXk-x]v]tjtshX'hU©g]l¦ KhXk¬jOszwjUz'KlxzlzKlzq?4©Av]zq?tshXzwÌswyKhX]lX¹

:<GzT

\v

Y$=JK= :

R Z CEB

8 F =-?!@2AB0/

F2

CEBG3

EQ5

F t y

t

z

[ U

¹

V

M8M8M{BO

F A y

A

z

[ U

¹

V

M8M8M{BO

M8M8M

5QE

O

M#M8M

4F /

p(*1#&%¥?

Ïr]lD³´<µ]¶z·»{HjU]iXvzjiXlÄjztfjUzwª©«hXfdk¬jUtshXwÂwtlk rzjXwx]fdhÁ<l0Xlf4vzwl?©«vK{Ã©«h<fFtr]l¬w[Ktr]lÍ

w§sHw,hU©Mw]wthU{|sHq¥jUffjO]w¹$¤ahXfKlf,thlzjUK{ljDvzwlfFthKl]v]itr]l-sKstsHjO{MwxIl0qds¼°±qjtshX6jUzÐth

k¬j ½ ltr]lMwÂwtdlkk-hXfdlvzwl?©«vK{¤K¦ls[Xl0wtsi[jUtl0k¥j ½ s]i¥³´Xµ]¶z·4l?Âl0q?v]tjK{ulX]jUz¨jUfl¦hXf ½ s]i

hXajq?hXk-xKs|{lf0¹À¸l-rzjOXl-lzq?hXv]Ktlfl0Ðk¬jUKsHwwv]l0wFtdrzjUtFjO{Hwh²jfsHwls¸iXl]lfjÁ{Ìq?hXk-xKs|{HjUtshX

xzjUfdtsHq?vK{jf{s¸tdr]lFl?ËÄqdslKtsk-xK{lk-lKtjUtshX¸h©jUffjO]wÃs©«v]zq?tsuh<zjO{^{HjU]i<vzjUiXl0w¹ >Ãl0qjUvzwlhU©

tr]lwªsuk¨xK{¼sHqdstÆhU©!tdr]l¥{j]iXvzjUiXlXgk¥jU[ahU©Mtdr]l0wl'sHwwv]l0w¥qjU»Il²whU{Xl0 l?{li[jUKt{X¾vzw§s]iatr]l

xIhU{[r]l0KfjÁ{^{|s]fjUf

9

7X;^jUz¨{|s]l0jUfx]fhXiXf?jUk-ks]iz¹

(11)

§a©«v]zq?tsuh<zjO{{j]iXvzjUiXl0wÃjUffjO]wFjUfl¥tfl0jtl0Wj<wFl?str]lf # +& $h<f &% ? 9 7<#;§¹

egfdhXiXfjUk¨k-lfwgk¥j0<sl¦Æszq?flk-lKtjO{^jUffjO]w¾jXwj,q?hX[<l[tshXzjÁ{pzjUz-r]lzq?lXRxzlfw§sHwtdl[t{¾]jUt?j

wtfdvzq?tv]flXgk¬jKsux]vK{HjUtdl0 l?]xK{|sHqdsut{uÆ¦strÆjU5PX2E4hXxzlfjtshX¾¦yr]h[wlwlk¬j[tsHqw¥Kl]hXtlj

©Av]zq?tshX¬tdrzjUtgfltv]fzwÃj]l¦6jUfdfjOXUtr]lflKfdltjOsKs]iFfl?©AlflKtsHjO{±tf?jUzwxzjUflzq?X¹U~©sk-xK{lk-l]Í

tl0zjÁsu<l?{uXszq?flk-lKtjO{jUffjO]wfdl0ÙXvKsfl¥v]zjXqq?lx]tjUK{¸rKsiXr»jUk-h<v][thU©q?hXxKXs]izjUz¸tdr]lfl

rzjXw1zll»j'zh]K¸hU©¦hXf ½ thjUk-l?{|shXfjtl¬tdrKsw

9

m] 77] 7X<;¤¹ 9atr]l-h<tr]lfFrzjUz$k-hX]hU{|strKsHq

jUff?j0]w

9

7X;Ìq?h<zw§sHKlfÄjU»jUff?j0Åthzlw§sk-xK{ j4k¬jUxÅ©«fdhXk suz<sHq?l0w¥thUjO{v]l0w¹¾ÏrKsHw,{l0jX]wtdh

jU¸l?{li[j[tx]fhXi<fjUk-ks]iwt<{l¬¦rKsHqdrWfdlk¬jOszwKl0qd{jfjUtsXl'jUz4sHw,l0jXw¸tdh'vzwlX¹ sXl¸trzjt

lXlf'l?]x]fl0wwªsuh<sÅ³´<µ]¶z· Kl]hXtl0wj©Av]zq?tshXD©«fh<k jxIhU{[r]l0Kf?jO{KhXk¬jOs4th¬j¨ÁjO{v]lXIstsHw

zjUtv]f?jO{^th'q?hXzw§sHKlfFj¨x]fhXiXfjk jXwj¥q?hU{|{ul0q?tsuh<¸hU©¾k-hX]h{¼strKsHqjUff?j0]wzjz'stwyk¬jOszh]K²j<w

j-wxIl0qds|°±qjUtshXhU©gtr]l d°]{|{|su]i¨©«v]zq?tshX¹

o wtjUz]jf¸jUx]x]fhKjXqrth4l?ËÄqdsl[t1sk-xK{lk-l[t?jUtshXahU©fl0q?v]fw§sXl-x]fdhXiXfjUk¥wysw1tjU]vK{HjUtshX

9

]zm<m;¤XjO{Hwh-qjO{|{l0'jUx]xK{|sHqjUtsXlFqjXqdrKs]i

9

m0;¤¹=lfdlXXfl0q?hXk¨x]v]tjUtshX¨sHwjOXhsKl0¯[-k¥jOs[tjÁsuKs]i

j¥tjUK{l&z§hXfFqjXqdr]l{hU©x]fl<shXvzw§{Wq?hXk¨x]v]tl0ÁjÁ{uv]l0w¿¹^ÏrKsHw,k¬j ½ l0wtdr]lv]zKlf{u<s]isk-xK{lk-l]Í

tjUtsuh<-sk-xIlfjUtsXlXI]v]tx]fl0wlfdXl0wjx]v]fl?{jUx]xK{|sHqjUtsXlsKtlf©¤jXq?lthtr]lvzwlf zAs¤¹lX¹Kfl?©Alfl[tsjÁ{

tfjzwxzjUflzq?Dsw1fltjOs]l0 {¹ÏÌrKsw1tl0qdr]KsÙ<v]l¨sw1xzjUftsHq?vK{HjUf{¸jUttdfjXq?tsXl,¦r]lWjO{|{¾tr]l-xIh[ww§sK{l

jUfi<v]k-l[t?wth-tr]l1©«v]zq?tsuh<±jUfdl ½ ]hU¦wtjUtsHqjO{|{X¹I¤tyswytrKvzwzjU4hXKXshXvzwyk-ltr]h]¥©AhXfsk-xK{lÍ

k-lKts]ik-h<]hU{|sutdrKsq'jffjOÂwyzhX]l¥w§sk-xK{WjO{|{hÂqjUtdl0wj¸lk-x]ttjK{ul¥hU©tr]l¬jUx]x]fh<x]fsHjUtl¬w§sÎlX

jUzD°]{|{HwysutFj<w]ll0Kl0$¹ÏrKsHwlzjUK{l0w1tr]lq?hXk¨xKs¼{lf,th¬i<l]lfjUtlq?hÂKlzªjO{Il?sutzjÁsu<l{¦r]l]h

wtjtsHqjUzjO{]w§sHwgsK©AhXfk¬jtshX-sHwjOÁjOs|{HjUK{lz¤hXfg¦yr]l¬tr]ljUzjO{]w§sHwÃXsl?{H]wj]liKjUtsXlfl0wvK{ut{¹[Ïr]l

q?h]Kl°zfwtjO{|{h]qjUtl0wwthXfjiXlzjUffjO]wghXft?jUK{l0w{g©AhXftr]l # +MKh<k¬jOszwhU©¾jO{|{°zKstlFUjUfsHjUK{l0w

jUz4tr]l°]{|{Hw,v]x¸trKsHwwth<fjUiXl,[¸q?hXk-x]v]tsu]i'tdr]l-ÁjO{v]l0wvzw§s]i²Klk¬jzKÍ¤KfsXlWlUjO{vzjUtshX¹

ÏrKsHwÌsuKXhU{Xl0wÌtr]l©AhU{|{hÁ¦Ìsu]i'wtlxzwy

K{ulk/qjO{|{ul0 ' j,xzhU{Kr]l0KfhX¹]oÆ{hKhXx'x]fhXi<fjUkbtrzjUtKhKl0wÃtrKsHwqjU¥zliXl]lfjtl0

vzw§s]i-tr]l¦l?{|{ ½ ]hÁ¦y:xRhXv]fslfÍ¤4hXtÎ ½ s'l?{¼skszjUtsuh<²jUz¨rzjXwÃzllDsuk¨xK{ulk¨l[tl0Äs'tr]l

9

q?hXk-x]v]tl0¥vzw§s]i'Klk¬jUz4KfsXllUjO{vzjUtshX y

ÁjO{v]l0wjUfl]hXt¾<lt ½ ]hÁ¦y zAsz<sHqjUtl0¥K-j,tjUiKst{g¦l!wvzwxzlz'jUz,°zf?wtlÁjO{vzjUtl

tr]lFjUfiXv]k¨l[t0¹

su4tr]ltjUK{ljz¤¦str'tjUi-wlt{jUz'jO{Hwh-fdltv]f'tr]l,ÁjO{v]lX¹

½

rzjXwsK°zKstlKhXk¥jOszwX¦l¦s|{¼{]ll0¬KKzjUksHqk-lk-h<fk¬jUzjUiXlk¨l[t0KjUz¨k¬jO]h<tIlFjUK{lMtdh

(12)

hXfKlfMq?h<zw§sHwtlKt¦strtdrKswywqr]l0KvK{lX$¦str]h<v]tMjUKÄq?hXKtl?]tMw¦stqdrKs]iz¹zÏrKsHwyx]fhXK{lksw

9

XK$ #;gth¥kvK{uts<sÍ

k-lzw§shXzjO{wqr]l0KvK{l0w

9

xzhU{Kr]l0KfjO{gx]fhXK{lk¬w¹

<sÊlfdl[tgUjUfsHjUK{l0w¾jUz¨jXww§siXl0jXqdrxzjUftstshXthFj<sÊlfdl[tÃx]fhÂq?l0wdwhXf0¹Oo6wt?jUtsHqjUzjO{Âwªsw

9

X;¤¹

jUz4]hXK{|s]l0jUf{hXx]tsksÎ0jUtshXÅx]fhXK{lk¬wvzwªsu]i4tr]lxzhU{Kr]l0KfjO{KhXk¬jOszwjUz¸jÁË¬]l-KlÍ

s²w]wthU{|sHqFjffjO¬wK[tdr]l0w§sHw¹

x]ì¤õdöcgë?ì öÁõñªî

ù]õdì¤õ<îíAîì õìAïõìAî

îöOîªì¤õdíAî

f

ëïOî gè^x

øêÁîì¤õdíykî

ù]õdì¤õ î

ùRìAëô?ì¤õ

[ù

ùRìAëô?ì¤õ<

ù]õdìAî

[ù

Nx]ì¤õö,cguë?ìõíë?öè¿êUî .õdíë?ö

sHwxzhKww§sK{l¯wªsuzq?lD³´<µ]¶z·Wrzj<wtr]l,l?Âx]fdl0ww§sXlxzhU¦lfth-fdlx]fl0wlKt!j¨x]fhXiXf?jUk)jUtk¥jU[¥{lXl?{Hw¹

(13)

x]rzjXwlX¹IÏrKsHwsHwytr]lk-h]Kl?{^¦lvzwlth¬q?hXk¨xKs¼{l-jU³´Xµ]¶z·Åx]fhXiXfjk¹

jUIhÁ<lXÂjz'¦rKsHqdr²jUfls|{|{vzwtfjtl0¥stdr]lF]l?]tMwl0q?tshX¹

mX¹zegjfwl,³´<µ]¶z·¸sKth¬jU¥sKtlfzjO{flx]fl0wlKtjUtshX

:]¹&%Êh[hXx yl0wt l]lfjUtshX

]¹ÃhÂKl l]lfjUtshX

(*1#&%¥? FM + ¨z F1 #&%¥

x]fhXi<fjUk z zjUk-xK{l]xsui<v]fl-m{¹

v]fsu]iÅtr]l'°zfwt¬wtlx³´Xµ]¶I·ÆsHw-fl0j< jUzaxzjUf?wl0$gx]fh]Kvzqds]i jU»oDS[Ï¦rKsHqdr»sHw-fdl0jX

97 ;¤¹XÏr]l

*,&5a5-,&;C15CD9A1B.45A 1B.4?C,&rE^BCYD9A1 .2()_#76&5a58"CA #76&5a5CD8

*,&5a5-,&;C15CD9A1B.45A 1B.4?C,&rE^BCYD9A1 .2()_#76&5a58"CA

`

6&5a58

*,&5a5-,&;C15CD9A1B.45A 1B.4?C,&rE^BCYD9A1 .2()_#76&5a58"CAjd@658

*,& ,C,&9E^BCD9A1B.4&;A 1B. 2-)d@6&98 CA

b

6&98

*,& ,C,&9E^BCD9A1B.4&;A 1B. 2-)d@6&98 CA #76&5a&;CD8

jXwh<x]tsksÎ0jUtshXzwyhX'trKsHwzjÁsu<lFq?hÂKlX¹

v ) $() $

À¸l¥°zfwt¯Kl0wdq?fszl¸jzjOsXl¥sk-xK{lk-lKtjUtshXº¦rKsHqr sHwiXvzjUfj[tll0atdh²Ilq?hXffl0q?tO^fdli[jUf<{l0ww

9

m;¤¹Iotl0jXqdr²xIhUs[tO¦l

(14)

hXxIlfjUtshX'wvzqdrjXwgx]fdhXl0q?tshXKhXf wª{¼sHqds]i ¨zlt¦ll¬t¦hFrKKxzlfxK{HjU]l0w¹RÀ6r]l'j,ÁjO{v]lhXv]t?w§sHKl

trKsHwÃk¬jOsk-xK{¥fl0q?hXk-x]v]tjtshX¹]Ïr]lsHwwv]l0wwvzqdrÄjXwflxK{HjXq?lk-lKtxzh{¼sHqdsl0wIltqU]jUflMwªsuk¯s¼{HjUfyth

tr]hKwlMwtvz<sl0¯sÄqd{HjXwwªsqytjU]vK{HjUtsuh<

9

;¤Xjz-jO{|{±tr]hKwlfl0wvK{twÃqjU-IlMvzwl0$¹ g{l0jUf{XKtrKsHwsHwÃtr]l

th¨tr]lFwtjUz]jf'jUx]xK{|sHqjUtsXl-qjXqdrKsu]i

9

mXmUm0<;§¹

v )

s-tr]lyÁjUfsHjUK{l)w®szKl?¨wxzjXq?lthFjxIh[w§stsXlsKtliXlfgflx]fl0wl[ts]ijfl?{HjUtsXll?]l0q?v]tshX¥tsk-l

9

<;¤¹

Z 9

;¤ z¤ÁjfsHjUK{l

ÇjUtszKl?²xIhUs[t

sHwKlxzlzKlKtMhX4ÁjUfsjK{ul jUtÃszKl?²xIhUs[t

{¾tr]l z

{z

{?[tdrzjUt

9

;¤¹]4vK{tsH<suk¨lzw§shXzjO{gtsk-l!qj¬Il

z

{z

{$¦yr]lflbk-l0jzw d{l?Ksq?h<iXfjUx]rKsHqjO{|{»iXfl0jUtdlf

9

m8;;¤¹Ïr]l¥wqr]l0KvK{|s]i¸x]fh<K{ulk

9

<#;§¹

#

R

mXkzK;%$&'$ #

R {¹ÁÏÌr]ls]x]v]tw¾jUfdlÌjÁ{¼{jXwwv]k¨l0FtdhFj0UjOs|{HjUK{l!jUt(pL ;]¹Uoy{tlfzjUtdl?{uX<tr]l

wqdr]l0KvK{l0w) z { L*+ 'jUz" z{vL*ÃjO{Hwh¬<sl?{Htdr]lwjUk¨l{jtlzq?X¹#SXt?jUtsHqFjUzjÁ{u]w§sHwwr]hU¦Mw

trzjt¾tr]ly°zfwtwqdr]l0KvK{lfl0ÙXvKsfl0wyjFh<]lMth,k¬jUK]fh[jX]qjXwtÌq?h<k-kv]KsqjtshX,

9;Z 9

;.-

/-0#a$¦r]lfl¬j<wtr]l¬wl0q?hXz¸wqdr]l0KvK{ljO{|{uhU¦Mw1

9

;thIl-x]fhXxzji[jUtl0tdh1

9

;'-23-4#

]fhKjX]qjXwts]i-tdrzjUqrzjÁsu]l0wl0Ù<v]lKtsHjO{®q?hXk-kv]KsHqjUtshXItr]l°zfwtMwqdr]l0KvK{ul,¦hXvK{H'zlqr]hKwl

hXtdr]lf¦sHwlXUtr]lwl0q?hXzwqdr]l0KvK{lM¦hXvK{H,zlqr]h[wl¹ =ylflXU¦lqr]hKh[wltr]lÃ°zfwtO¹0À¸lÃsKtfh]Kvzq?lMjU

sKtlfk-l0<sHjUtlÌ{uh]qjO{zUjUfsHjUK{l576¦rKsHqdr,swxK{HjXq?l0zlt¦lltr]lÁjUfsjK{ul8)jUz1stwgq?hXk-x]v]tjtshX¹

sHwflzjUk¨l0tdh,tdh¬flk¯suz4vzwtrzjtstysw]hU¦bj¥tlk-xIhXfjO{®<sk-lzwªsuh<¹^Ïr]lfl0wvK{ts]i³´Xµ]¶z·

q?h]KlsHw;"y

<

èö,ªî>= $õöyëéOíAê0é0í0õdö0ï $î õöOö0ë?í$ï0ë¾õ UõöOôîëg[ðÁõ$ëö í í0ë?é0í Áõdö0ôö0ôí0îAñ1AíAî¸ïOîÁö1íë?ö4~

?

x0î ö0ï0î@,A ö0ïOéîï¬ðUîõé,AîMíOî UõöOôîë%gðÁõAî Ãö0ë?öBé0ö1ëïOé¼õ?ìk~$øÜí õìAîï0é0öOïÁõdöííAî êUë?ì¤õ

öOï0î@aqsn/CED

eGF

uUð0éOíö0îî¤õìAñíAë{îîêí0î Añ1AíAî õIHö0îe~