A security proof system for networks of communicating processes

HAL Id: inria-00074629

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

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.

A security proof system for networks of communicating processes

Jean-Pierre Banâtre, Ciaran Bryce

To cite this version:

Jean-Pierre Banâtre, Ciaran Bryce. A security proof system for networks of communicating processes.

[Research Report] RR-2042, INRIA. 1993. �inria-00074629�

ISSN 0249-6399

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

a p p o r t

d e r e c h e r c h e

1 9 9 3

PROGRAMME 1

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

A Security Proof System for Networks of Communicating Processes

Jean-Pierre Banˆatre, Ciar´an Bryce

N˚ 2042

septembre 1993

&' )(*+-,./+( 0 12345

687:9<;5=?>.@A7CB+BD7*EF9<;HG9<I+BD7JLK@A9<BM9<;NE#B+O5P:7RQ

STVUXWXTZY\[F[^]._a` b4Tdcde:fhgV]+cigkjlTk]+mnoY+TdY\pqpsr]tpq]+miuwvoYXmA]+mxC]yxCUXz:z-{]t]+miu:Tl{]+m|]}Y\j:~

]tg4mA:mAgtr]t[F]}m2xCf€m|gkTVfhv:j-{]+m

STkUXA]tg4‚„ƒ…S

†4Y\nln‡UDTkg xw]ˆTV]+cde:]tTdcde:]4z‰wŠD‹\ŒŠ` m|]n:gk]t[v:TV]_XXŽ.` X.noY\WD]+m

^‘„’i“}”\•l–X“—˜™zCš›UDTk[Y+gkfhUDzœoU+žŸciUXzwgkTVUXp[F]+cdeoY+z:f mA[FmoxC]tgV]+cig8Y\zoxn:TV]t¡]tzwg‡gVTdY+zom¢š›]tTZm

U+š5fhzwš›UXTk['Y\gkfqUXzFželf cde¡wfhUDp Y+gk]gVe:]Hm|]+cijlTkfhgA^ciUXz£m|gkTZY\fqzCgZmLn:p€YXci]}x'UDz¤Y#mA:mAgk]t[ ¥˜™z

gVe:f mnoY+no]tTž2]¦m|gVjoxCYˆnlTkUXWDTdY+[F[FfhzlWp Y+z:WXjoY+WX] voYDm|]+xFY+n:n:TVUYXcdeFgVUˆœoU+ž§ciUDzCgVTkUXp

fqz¨Y*mA:mAgk]t[U+š c?UX[F[j:z:f€ctY\gVfhz:Wn:TVUwci]+mkmA]+mi¥¨©2e:]p Y+z:WXj£Y\WX])cde:Uªm|]tz«gkU)n:TV]+m|]tzwg

gVe:]+mA]f xC]}YXm2f m¬ƒwS„¥w­*]¦WXfh¡]¦gke:] ®Dm|]+c?j:Tkfqg|^m|][Y\zwgkf€ctmk®U\š5¬ƒ…S¯Y\z£xmAe:U+ž u:žfhgVe

gVe:]HY\f€x'U+šgAžU.]t~:Y+[Fn:pq]+miue:U+ž°gVe:]Hm|]t[Y+zCgVf ctm5ctY+zv‡] jomA]+xgVUciUXz£xCjocig4mA]+cij:TVfhgA

nlTkUU\šsm4U\šnoY\TZY\phpq]tpn:TVUXWXTZY\[F[^]+mi¥

±¤²…³´VµH¶‡”+·¸’X—¹fhzCš›UDTk[Y+gkfqUXz œoU+žmA]+cij:TVfhgAu¸m|]+c?j:Tkfqg| ¡DY+Tkf Y+v:ph]}miuc?UX[F[j:z:f€ctY\gVfºzlW

mA]+»j:]tzwgkf Y+p<n:TVUwci]+mVm|]+m?uoY\~wfhUX['Y\gkf€cm|][Y\zwgkf€ctmiuwm|]}cij:TkfqgA#n:TVUU\šmA:mAgk]t[¼¥

½¿¾yÀ

Á™ÂAÃtÄ

À

Á5ńÆh¢ÇÉÈdÊ

Ë|ÌAͦÎÐÏÒÑCÓÔ¢Õ+ÖDÎd×XÎd؛ÙÉÌ?Ú+Ö\ٛÛ+ܙÌV݄ÏÞٛÏÞßsÎ\àáqÙ

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) T´el´ephone : (33) 99 84 71 00 – T´el´ecopie : (33) 99 38 38 32

ˆ,# )23455* 4' ()+4,#(/

²C’² — ‚<]+m[ ]+ctY\zlf m|[^]+m xC]¤ciUXzwgkT{ UXph]¤xC]Fœojl~¯xfhzwš›UXTk['Y\gkfqUXzom UXzwg#noUDj:T

TUXpq].xC]x{]gk]+cigV]tT¦xV{]t¡]zCgVj:]tp m5gkTZY\zom™š›]tTkgZmxfqzCš›UXTV[Y\gVfhUDz3noUXj:¡DY+zCgHciUD[Fn:TkUD[F]tgVgkTk]

p€Ymw{]+c?j:Tkfqg:{]Y\gVgk]tzoxwj:]xj:zym|lm|gr]t[F]¥UDjom ]~:Y+[Ffhz:UDzom‡f€cifph]5n:TVUXv:psr]t[F]xC]c?UXzwgkTUDph]

xw]ˆœoj:~¼x:Y\z£mph]+m4m|lm|gr]t[F]+mxw]n:TVUwci]+mkmAjomnoY\TZY\pqp™r]tpq]+mciUX[^[#j:zlf ctY+zCgZmi¥w‚<].p Y+z:WY+WX]

mAj:n:noUXTVgHxC].pV{]tgkjoxw]]+mAg¬ƒwS„¥UXjom xCUDz:z:UDzomj:z:]mw{][Y\zwgkf€»…j:]H®DmC{]+cijlTkfhgZY\fqTk]+®Fxw]

¬ƒ…S*]tg[FUDzCgVTkUDzom„mAj:T»…jl]tp »j:]+m]t~w]t[Fn:pq]+m<ciUD[F[F]tzwgc?]tgkgV]mw{][Y\zwgkf€»…j:]5no]tj:g]tgkTV]

jlgkfhpqf mw{]t]noUXj:T¦ciUDzom|gVTkj:fqTk]HxC]+m2n:TV]tj:¡]+mxC]Hmw{]+c?j:Tkfqg:{]¥

R¶:“+’i´Z– ²H—*œoj:~ xfhzCš›UDTk[Y+gkfqUXzudnoY+TdY\pqp{]tpqf mA[F]uVmC{]t[Y+zCgVf »j:]Y\~wfhUX['Y\gkf€»…jl]ukn:TV]tj:¡]+m

xw]mw{]+cij:TVfhgl{]uCn:TVUwci]+mVm|jom4ciUX[^[#j:zlf c?Y\zwgdmi¥

, -

('2 )*L/'(

©2e:][^Um|gfq[FnoUXTVgdY\zwg4YXmAno]+cigU+šciUX[^n:j:gk]Tm|]}cij:TkfqgAFf mgke:]Hz:UXz/.™xCf€mkcipqUmAj:Tk]uoUXT

+u\U+š<gVe:]fhzwš›UXTk['Y\gkfqUXzym|gkUDTk]+xfqzYm|lm|gV]t[ ¥0ރwY\pqg#1t]tT32°ƒwcÐelTkU]+xC]Tt¥54}76lxC]8ozl]

Ym|]}ciTk]+c?#¡wfhUDp Y\gVfhUDzYXmUwctcij:TVTkfqz:W#žel]tz

®Xbz j:z£Y\j:gVe:UXTVf m|]}x¯n‡]Tdm|UDz f€mFY\vlph] gkUŸTk]+YDx¯UXTFgZY79])YXxw¡XY+zCgZY\WD]*U+š

fhzCš›UDTk[Y+gkfhUDzm|gVUXTV]+xfqzgVe:]HciUX[^n:j:gk]Td®

:zomAj:Tkfqz:W mA]+ciTV]+cif m]+»j:fh¡DY+ph]tzwggVU mVY}wfhzlWgVeoY\gHci]TkgdY+fhz)fhzCš›UDTk[Y+gkfqUXz gkTZY\zomA[Ff m;.

mAfhUDzomiu:UDT=<> ?@?uCvo]tgAž2]]tzm|lm|gV]t[UDv:A]+cigdm2[jomAg/vo] n:TVUXe:fqv:fhgV]+x<¥o©2e:]tTV] Y\TV] [Y\zw

]~:Y+[Fn:ph]}m„U\š¸gVe:f mACY gdY+~.n:TkUDWXTdY+[F[F][jom|gz:UXgph]+Y9CBÉph]g œ£U\žEDgke:]4n:TVfh¡DY\gV]fhzCš›UDT#.

['Y\gkfqUXzFfqg4YXctc?]+mkmA]+m2gkU.j:z£Y\j:gVe:UXTVf m|]}xn:TVUwci]+mkmA]+mfhzgke:]am|lm|gk][ ¥:b v£Y\zF9¤Y\nln:phf€ctY7.

gVfhUDz#eoYDmnoY\TVgkf c?j:p Y+Tkphym|gVTkf c?g5m|]+c?Tk]+ci TV]+»…jlfhTk][F]tzwgdmA?fhzCš›UDTk[Y+gkfqUXzY\voUDj:gY cipqfh]tzwgÒm

YDctciUDj:zCg['Y}.œoU+ž§gkUgke:] gk]phph]T2UXv:A]}cigdm2v:jlgz:UXg4gkU.UDgke:]tT¦cipqfh]tzwgdm?¥

ƒU3že£Y\g9wfhz£xU+š4[F]+cdeoY\z:f€m|[m4Y\TV]Fz:]t]}xC]+x gkU YDcÐelfh]t¡].fqzCš›UXTV[Y\gVfhUXz)mA]+ciTV]+ciHG

¬5UDzom|f€xC]tT Y[Y\fqp¸Y\n:n:pqf ctY+gkfqUXzIo]+YXcde jomA]tTnlTkUwci]+mVmeoYXmYFpq]tgkgV]tTvoU\~¤UXv:A]+c?gt¥Jzl]

[^fhWXewgc?UXzomAf xC]tT4gAž2U^m|]+c?Tk]+ci^n‡UDphf€cifh]+m?¥HK„fhTZm|gVphuwUXz:pqgVe:]U+žz:fqz:WFjomA]tT4f m4Y\phpqU+ž2]+x

gVUTk]gkTkfq]t¡]gVe:]ciUDzCgV]tzwgdm<U\š e:f€m pq]tgkgV]tTvoU+~<¥ƒ]+ciUDzoxCpqutfºš YjomA]tTML«m|]tz£x:mY[F]}mkmkY+WX]

gVUFjomA]tTON[Y\T9]+xCPRQ3SUTVB™mAfhWXzlfºš›wfhz:WWK:UXTEX5UXjlTO:]+mYJ4z:phHDdu:gVe:]tzZN[jom|gz:UDg

vo]HY\vlph] gkU.š›UXTVžY\TZxgVe:]HciUXzwgk]tzwgdm5U\š5gVeoY\g4[F]+mVmkY+WX]gVUFmAUX[F]UDgke:]Tjom|]tT¥

>'#'W' [R #%$\aY\TV]#j:zlfh¡]tTZmkY\pqph¤jom|]+x gkU¤Tk]+xwjoci].gkel]#fqzCš›UXTV[Y\gVfhUXz œoU+ž4mˆfqz Y

mA:mAgk]t[ 0‚Y\[Fn£m|UXz4_Xu]4tŒlu 4]tj:[Y+zoC_6™¥©U3]t~w]+cijlgk]Y\z)UXno]tTZY\gVfhUXzŸUXz«Y+z UXv:A]+c?gtu

gVe:]4ctY+phphfqz:W4n:TkUwci]}mkm„[jom|gnoUªmkm|]}mkm2YO^ š›UDTgke:]UDno]tTdY+gkfhUDz¥ :5YXcde.n:TVUwci]+mkm¸f m„WDfh¡]tz

Y.mA]tgU\š_9]t:m?uUXz:]š›UXT4]+YDcÐeFU+šgVe:] UXno]tTZY\gkfqUXzomfhzgVe:] UXgkel]tTUXv:A]+c?gdm2gke£Y\gfhg[Yt

pq]tWY+phpqfqzC¡U`9]¥ bphp¸UXno]tTZY\gkfqz:W¤m|lm|gV]t[mjomA].gke:f€m Y\vomAgkTdYDcigkfqUXz¥8˜¢zbaz:fq~<uogkel]*9]t

Y+vom|gVTdYDcigkfqUXzf m5fh[Fn:pq]t[]tzgk]+x žfhgVeYXctc?]+mkmciUXzwgkTVUXp<pqf mAgdmi¥w˜ÉšYˆj£m|]tT Þm/nlTkUwci]+mVm2eoYXmY

TV]+YXx9]aš›UDT5Y8oph]gke:]z.gke:]dc[FUwxC]v:fqg š›UDT5gke:]e8opq]2žfqphpwv‡]4mA]tg„š›UDT5®\žUXTkp€x:®UXTš›UXT

gVeoY\g¸jomA]tTÒm WDTkUXjln¥…¬Y+noY\vlfhphfqgAvoYXmA]+x.m|lm|gV]t[m Y\Tk]-Y[FUDTk]5xCfqTk]+c?gfh[Fn:pq]t[]tzCgZY\gVfºUDz

U+š5gkel]Y9]FY+vom|gVTdYXc?gkfhUDzf0‚<]t¡C/g\Œ`6™¥

h4UXfhzlWˆv£YXc'9gkU gVe:][Y\fqpwY\n:nlphf cY\gkfqUXz.]t~lY\[^n:ph]u+YDctci]+mVm5ciUXzwgkTVUXp mctY\z.vo]4jom|]+x.gkU

]zCš›UXTZci]5gke:]m|]}ciTk]+c?Tk]+»j:fqTk]t[F]zg‡gVeoY\g¸UXzlph gke:]5U+žz:fqz:Wj£m|]tT¸Tk]+YDx:me:f m<U+žzpq]tgkgV]tT

voU+~ uCvw#UDz:phWXTZY\zwgkfhzlW.gkeoY+gjom|]tT-Y9]tš›UXTgVe:]TV]tgkTVfh]t¡]UDn‡]TdY\gVfhUDzUDzgke:]pq]tgkgV]tT

voU+~ ¥%iU+ž]t¡]tTtudgVe:]2n:TVUXv:pq]t[RY+Tkf mA]+mžfhgke gVe:]mA]+ciUXz£xm|]}ciTk]+c?TV]+»…jlfhTk][F]tzwgt¥?b jom|]tT

[^fhWXewg2TV]+ci]tfq¡]Y*PQjSHT*[F]}mkmkY+WX]HY\z£x'š›UXTVžY+TdxgVe:]HciUXzwgk]zCgZm2fhz¤Y\z:UDgke:]T[F]}mkmkY+WX]

gVUHm|UX[^]UXgkel]tT5jom|]tT¥bctc?]+mkmc?UXzwgkTkUDp m5xCU z:UDg2j:zoxw]tTdmAgdY\z£x e:U+ž fqzCš›UXTV[Y\gVfhUXz œoU+ž4m

fqz«Y3mA:mAgk]t[¼¥©2e:]FUDz:ph ž-Y})gke£Y\g.YDctci]+mVmciUDzCgVTkUDp mcY\z«mAgkUXn Y3jom|]tTkL fqphpq]tWY+phph

š›UDTkž-Y\Tdxwfhz:WY[F]}mkmkY+WX]4gkU.jomA]tTN¹xwfhTk]}cigkpquXUXTfqzoxCfqTk]+cigVphH¡Cf€YˆUXgVe:]tTjom|]tTUDv:A]+cigZmiu

f€mgkU]zom|j:TV]gkeoY+g2gVe:]tTk]4f mz:UHmA]+»…jl]tzoci]U+š¸jom|]tT5n:TVUwci]+mVm|]+m5fhzgke:]¦m|lm|gV]t[¹mAgdY\TVgkfqz:W

[>9]t4š›UXT5gke:]z:]t~wg[F]t[.vo]tT Þmoph]tgVgk]tT¸voU\~ ¥ azwš›UXTkgVj:zoY+gk]tpqu\gVe:f mm|UXpqj:gkfqUXz.žUXj:p€x

nlTkUXelfhv:fqgOL š›TVUX[ mA]tzoxCfqz:W•o³“gVU N I‡e:]zoci]u:gVe:]YXctc?]+mkmc?UXzwgkTkUDp5m|UDphj:gVfhUDz

f€m2fhzomAj'cifh]tzwgt¥

­*]¤z:]t]+x¨m|UD[F]3UDgke:]tT^Y\nln:TkUªYXcde š›UDT#n:TV]t¡]tzwgkfqz:W*jlzoxC]+mAfhTk]}x gkTZY\zomA[Ff mVm|fqUXz¯U+š

fqzCš›UXTV[Y\gVfhUDz vo]tgAž]t]tz¯nlTkUXWDTdY+[F[F]UXv:A]+c?gdmi¥5b4z[ *!% [ <d ? [F]+cdeoY\zlf m|[

[jomAggZY\W3]}YXcde ¡XY+Tkf€Y\v:pq].žfhgke)gkel]m|]tg U\š-¡DY\Tkf€Y\v:pq]+mLš›TVUX[ že:f€cÐe fqgeoYXmTV]+ci]tfq¡]+x

fqzCš›UXTV[Y\gVfhUDz#œoU+ž4miuogke:] ] ]+c?gdm2U\š že:f cdeFeoYt¡] z:UXg4vo]t]tzphUªm|g4xCjl]gkUmAj:vomA]+»…jl]tzCg

œ£U\ž4m?¥5©2e:]FœoU+žmA]+cij:TVfhgA U\š¦gkel]3mA:mAgk]t[ ctY+z gVe:]tz vo]¤xC]tgV]tTk[^fhz:]+x3š›TkUD[ gVe:]+mA]

gZY\Wªmi¥<ƒjocdeY[F]}cÐeoY+z:f mA[ TV]+»…jlfhTk]}m gVeoY\ggVe:] vo]teoYt¡CfqUXj:TU\š]+YXcdeciUDzom|gVTkjoc?g2U\šgkel]

p€Y\z:WDjoY\WD] jom|]+xgkUnlTkUXWDTdY+[F[F]4gke:]¦m|lm|gV]t[vo]nlTk]+cif€m|]tpq.xC]8oz:]+x#žfqgkeFTV]+m|no]+c?g2gkU

gVe:]2fqzCš›UXTV[Y\gVfhUDzaœ£U\ž4m¸fhg¸WX]tz:]TdY\gV]+mi¥ J4z:]cY\zj£m|]2gVe:]2TV]+m|jlphgkfqz:W¦m|]t[Y+zCgVf ctmogkU mAgdY.

gVf ctY+phpqY+zoY\pq:mA]gVe:]n:TVUXWXTZY\[F[^]2gk]~Cg„š›UDTœoU+ž4m2Y\z£x TV]kA]+ciggVe:]n:TVUXWXTZY\[F[^]2fºš8Y+zC

U+šgVe:]+m|]œoU+ž4m/¡wfhUDp Y+gk]gkel]mA]+cij:TVfhgAHciUXzomAgkTZY\fhzwgdmn:p€YXci]}x UDz#gVe:]nlTkUXWDTdY+[F[F]¥D©2e:f m

Y+zoY\pq:mAf m5ctY+z#vo]¦xCUXz:]4vweoY+zox#UXTY+j:gkUD[Y\gVf ctY+phph B›vCyYˆc?UX[Fn:fqph]tTš›UXT5]t~lY\[^n:ph]%Dofš

]z:UXj:WDe3fqzCš›UXTV[Y\gVfhUXzf€mY}¡DY+fhp Y+v:ph]ª¥:bpqgk]tTVzoY\gVfh¡]tpqugke:]Hm|][Y\zwgkf€ctm2ctY+zv‡]Hjom|]}xgkU

mAno]+cifºš›yY xCCz£Y\[Ff€c/[F]+cdeoY+z:f mA[3¥©2e:f m5ciUDzom|f€m|gdmU+š]t~wgkTZYn:TkUDWXTZY\[F[F]fhzomAgkTVjocigkfqUXzom

gVeoY\gaY#ciUD[Fn:fqph]tTfhzomA]tTkgZmmAUFgkeoY+ggkel]n:TVUXWXTZY\[F[^]fhzCš›UDTk[Y+gkfqUXzFœoU+ž4mY\TV]pqUXWXWD]+x

Y+gTkjlzCgVfh[F]¥©2e:]4Y\nln:TkUªYXcdem|j:n:noUªm|]+mgke£Y\g5Y+zY\gkgZYXc'9]tT¸eoYXmgkel]2n:TVUXWXTZY\[F[^]/gV]t~wgI

el]+mAe:]Fgkewjomj:zoxw]tTdmAgdY\z£x:mˆgVe:]#]~Cno]+cigV]+x v‡]eoYt¡CfqUXj:T U\š4gVe:]n:TkUDWXTdY+[F[F]yY\zox mAU

['Y}.vo] Y+v:ph]¦gkU.xw]+xCjoci]¦fhzCš›UDTk[Y+gkfhUDz#vw]t~:Y+[Ffhzlfhz:WgVe:]¡DY\pqj:]U+š5mAUX[F]4¡DY\Tkf€Y\v:pq]¥

˜™zCš›UXTV[Y\gVfhUXzœoU+ž¨ciUDzCgVTkUXpw[F]+cdeoY+z:f mA[FmoeoYt¡]/gVTdYDxCfhgVfhUXz£Y\phpq jom|]+x* E$7'$

0]tz:zlfhz:W4+Cu8†L]tfqgk[Y+z(4gwu 3f&1tj:z:UW2 Jp€xC]te!U]?š›gt¥g`g76s¥:5YXcde ¡XY+Tkf€Y\v:pq]f m¦YXmkmAfhWDz:]+x

Y.ph]¡]tpxC]z:UXgVfhz:Wgke:]ym|]tz£m|fhgVfh¡wfhgA.U\šgVe:] fhzCš›UDTk[Y+gkfhUDzfhg4ciUDzCgZY\fhz£mi¥ bLš›gk]tT4Y+z3UDn‡].

TZY\gVfhUXz8u/gVe:]3pq]t¡]tp5U\šHgkel]3¡DY\TVf Y\vlph]že:f cde¯TV]+ci]tfq¡]+x gke:]¤fhzCš›UDTk[Y+gkfhUDz œoU+ž[#j£m|g

vo].z:U^ph]+mVmgkeoY+z gke:].pq]t¡]tp U\šgke:]œ£U\žNmAUXj:TZci].¡DY\Tkf€Y\v:pq]+mi¥iU+ž2]¡]tTtu:gVe:].mA]+cij:TVfhgA

pq]t¡]tp8Y\n:n:TVUYDcÐeŸm|]t¡]Tk]tpq#TV]+m|gVTkf c?gdmgke:]HTdY\zlWX].U\šnoUXpqf cifq]+m2gke£Y\gUDz:].[FfhWDeCgpqf9] gkU

mAj:n:noUXTVgt¥ b œoU+ž [F]}cÐeoY+z:f mA[1m|e:UDj:p xphUDW#gVe:] ¡XY+Tkf€Y\v:pq]+m2gkeoY+ge£Y}¡]4œoU+žz3gkU.]}YXcde

¡DY+Tkf Y+v:ph] TZY\gkel]tTgkeoY+z3gVe:] ph]t¡]tpoU+š5gke:]Hx:Y+gdYw¥ 0#"XUXzl]+m2N‚<fhn:gVUXz¥]4+6Þm 7$$! [F

‡[F]}cÐeoY+z:f mA[ f€m/fhzgkelf m2mAn:fhTVfhgY\z£x'e£YXm2mAUX[F]¦m|fq[Ffhp€Y\TVfhgkfq]+mžfhgke^gke:]4[F]+cdeoY\zlf m|[

nlTkUXnoUªm|]+x3e:]Tk]gVe:f m2noY+no]tTt¥ ©2e:]HxCf$ ]tTV]tzoci]}m/žfhpqp<vo].xwf mkc?jomkmA]+xFp Y\gV]tTt¥

©2e:f mnoY+n‡]Tc?UXzomAf xC]tTZmLfqzCš›UXTV[Y\gVfhUDzœoU+žNciUXzwgkTVUXp¸fhz¼m|lm|gk][m2U\šnoY+TdY\pqph]tpciUD[ .

[j:z:f€ctY\gVfhz:W n:TVUwci]+mVm|]+m?¥:­*]HciUDzoci]tzwgkTZY\gk]¦n:Tkfq[Y\TVfhph.UDz¤Y.m|gdY+gkf€c¦œ£U\ž ciUXzwgkTVUXp<[^].

cdeoY+z:f mA[ fhz gVe:]#š›UXTV[ U+š Yn:TkUU+š mA:mAgk]t[¼¥„©2el]FWXUªY\pf m gkU¤v‡]'Y\v:pq]FgkU3š›UDTk[Y+phph

¡]Tkfºš›fhzwš›UXTk['Y\gkfqUXz#œ£U\ž n:TkUDn‡]Tkgkfq]+m2š›TkUX[%gke:]Hn:TkUDWXTdY+[F[F]4gk]t~wgt¥<¬ƒ…S 0\iUªY\Tk]`4g76

f€m.cÐelUm|]z¯gkU fqphpqjom|gVTdY\gV]gke:]¤Y\nln:TkUªYXcde§m|fhz£ci]FfhgmA]t]t[mHYWDUUwx ¡]e:f cipq] š›UDTFxw]+m.

c?Tkfhvlfhz:W¤m|lm|gV]t[m?¥„©2el]Fp YtUXjlgˆU+šgVe:]FnoY+no]tTf€mYXmˆš›UDphpqU\ž4m?¥¸bv:Tkfq]išU+¡]tTV¡Cfq]tž U+š

¬ƒ…S f€m/n:TV]+m|]zCgV]+x fqzFgkel]z:]t~wgm|]+cigVfhUDz¥:ƒ]+cigVfhUXz'ŽˆphUU`9:mY+g2gVe:]fhzwš›UXTk['Y\gkfqUXz.œoU+ž

Y+zoY\pq:mAf m2U+šgVe:] m|]}»…j:]zCgVf Y\p¸¬ƒwS p€Y\z:WDjoY\WD]HciUXzomAgkTVjocigdmY+zoxn£Y\TdY+phpq]tpciUD[FnoUmAfhgkfqUXz

Y+zox.gke:] B™Y\~wfhUD[Y\gVf c7D8m|][Y\zwgkf€ctm<U\š gkel]4ciUX[F['Y\zoxTk]WY\TZxCfhzlWˆelU\ž«fqg] ]+cigZm„fhzCš›UDT#.

['Y\gkfqUXzFœoU+ž4mf mn:Tk]+mA]tzwgk]+x<¥o©2elf m2]tzoY+v:ph]}m-œoU+žRmA]+cij:TVfhgAFn:TVUU\šsm?u‡gVeoY\gf€miuCš›UDTY+zC

noUDphf c? že:f cde*gVe:]n:TkUDWXTdY+[F[F]tT¦[Yt ctY+Tk]gkU xw]8oz:]ugVe:]#nlTkUU\šam|lm|gV]t[ ctY+z vo]

j£m|]+xFgkUxw]tgk]tTV[Ffhzl]fºš¸gkel]ˆnlTkUXWDTdY+[F[F]¦m|gdY+gk]HY\g4mAUX[F]4noUXfqzCg4mVY\gkf€m 8o]}m2gke:f€m2n‡UDphf€ci¥

˜™z n£Y\TkgVf cijlp Y\TVphu¸Ytš›gk]tTyciUXzomAf xC]TkfhzlW3e:U+ž%Yn:TVUwci]+mkmC' #.Y3TV]t[FUDgk]n:TkUwci]}mkm

¡DY+Tkf Y+v:ph]}miuž2]4žfhpqp:jom|]aYaž]+Y79]T/fqzCš›UXTV[Y\gVfhUDzœoU+ž§ciUXzomAf mAgk]tzoc?.gkUHctY\nlgkj:TV]fhzwgk]tT.

nlTkUwci]+mVmfhzCš›UDTk[Y+gkfqUXz œoU+ž4mi¥/ƒª]+cigkfqUXzŸ m|e:U+ž4mgVe:]#jlz:f58 cY\gkfqUXz U+šUDj:T.Y+n:n:TVUYXcde

Y+zoxFgke:]¦gkTdYDxCfhgVfhUDzoY\p8m|]+cijlTkfhgA.pq]t¡]tpoY+n:n:TkUªYXcdegkUfqzCš›UXTV[Y\gVfhUDz œoU+ž Y\zoxY+p m|UHgkeoY+g

œ£U\ž noUDphf c?fh]+m[Ytvo]]~Cn:TV]+mkmA]+x#fqzFciUªY\TZm|]tTgk]tTV[mgkeoY+zFfhzwgk]tT.É¡DY+Tkf Y+v:ph]4gkTZY\zomA[Ff m;.

mAfhUDzomi¥w©2e:]noY+no]tTÒm2ciUDzociphj£m|fhUDzomY+Tk]¦ciUXzwgdY+fhz:]+xfqzFmA]+cigVfhUXz Y+phUXzlWžfhgVeYphUU%9^Y\g

TV]tp Y+gk]+xžUXT9<¥Db š›UXTV[Y\p+Ajom|gVf58 cY\gkfqUXz.U+šgkel]4m|]t[Y+zCgVf ctm<f€m„WXfq¡]tzfqz.gke:]4Y+n:no]tzoxCfq~<¥

&' )( +4,./+( 0 ¤ ('/, 12345

¬ƒwSV0\iUªY\TV]%4g6‡f€m/gVe:]n£Y\TdY+phpq]tpon:TkUDWXTdY+[F[Ffqz:Wp Y+z:WXj£Y\WX] že:f€cÐe.f€m2Y+zoY\pq:mA]+x š›UXT

fqzCš›UXTV[Y\gVfhUDzœoU+ž¯fhzgkel]Lš›UDphphU+žfqz:WHxCf mVcijomkmAfhUDz¥w©2e:]['Y\fhzxw]+cip Y+TdY+gkfhUDzom5Y\TV]WDfh¡]tz

fqzgke:]š›UXpqphU+žfhzlW.gdY\vlph]¥

"!$##&%%(')'''''*%%+, -!$##/. 021436571987:

!$## ;+$! =<?>;+$! =@?>BADC(EF<?>BADC(EG@ 02143$HIKJJ

;+$! LM,NPORQM,NN$MSGO TIH$UV8148WYXZ3[J

ADC(E AD7C\C(#]Q^_`aQbcKdeQf$gihjkQ7ORVmlmQAnC(EB>ADC(E H637:a:o8[TJ

ADC\C(# #4Kp,EqQ$!rO H637:a:os[,XZH687WYX3[

#4Kp,E ut,l JvIw[,T

$!rO =x?O 14I6HI$XZy$I

^/` 7z,6E{|AnC(EG<}>~€z,6E{ADC(EG@k. 8UVWYI$1[,8WYXZy$I

bcKd ‚ƒ*z,6E{„ADC…EG<†>~€z,6E{„AnC(ER@k. 14I40"IwWYXWYXZy$I

z,6E ‡†Q*AD7C\C(# 5s814T

že:]Tk]eˆ(‰m|fqWXz:f]8o]+mO1t]tTkU¤UXT.[FUDTk]Tk]tno]tgVfhgVfhUXz£mˆU\š¦gkel]F]tzocipqUmA]+x m|wzwgdYXc?gkf cY\p

jlz:fhgZmiu ¡wm|gdY+zox:m/š›UDTY¡DY\TVf Y\vlph]4UXTYpqf mAg/U+š¸¡DY\Tkf€Y\v:pq]+miu: Xš›UXT-Y\zFfqzCgV]tWX]tT5]t~wn:TV]+m.

mAfhUDz3Y+zox ‹Š …š›UDTYŒŠ2UUDph]+Y+z3]t~wn:Tk]}mkm|fqUXz¥

b ¬ƒwS n:TkUDWXTdY+[F[F]-ciUXzwgdY+fhzomY8o~w]+xzwj:[v‡]TU\šnlTkUwci]+mVm|]+m?uX]+YDcÐe.f€xC]tzwgkf58£]+xvC

YcdeoY\TZYXcigV]tTmAgkTVfhz:W p€Y\vo]tpq¥o©2e:f m p€Y\vo]tp :[YtFY+p m|U^v‡]yY\z)Y+TkTdYtže:]tTV]gVe:]]tzwgkTV

p€Y\vo]tp 0Ž 64zoY\[^]+m#Y n:TVUwci]+mVm'želf cde eoYXmFgkel])mkY\[^])ciUwxC])YXmgke:] UDgke:]TFn:TkUwc?]+mkmA]+m

z£Y\[F]+x fqz¯gkel])Y\TkTZYt¥2STVUwci]+mkmA]+mFciUD[F[j:z:fqctY\gV]Fvw gAžU%.›žYt [R6 A/]}YXcde

nlTkUwci]+mVm#zoY+[F]+m.gke:] n:TVUwci]+mVm#gkeoY+gFfhgžY+zCgZm#gkU¨ciUD[F[j:z:fqctY\gV]FžfhgVeI5že:]tz UXzl]

n£Y\TkgAfhzFgVe:]¦ciUX[F[j:z:f€ctY\gVfhUDz]t~w]+cij:gV]+mfhgZm2ciUD[F[#jlz:f ctY+gkfUXzc?UX[F[Y+zox<uXfqg5v:phUwc'9:m

jlzCgVfhp:gVe:]noY\TVgkz:]T/nlTkUwci]+mVmf mTk]+YDxCgVU ]t~C]}cij:gk]fhgZm/c?UX[F[j:z:f€ciY+gkfhUDz¥+©2e:]] ]+c?g/U+š

gVe:].c?UX[F[j:z:f€ctY\gVfhUXz^f mgkUYDmkm|fqWXz gVe:]¡DY\pqj:]U+šgke:]H]t~CnlTk]+mVm|fhUDz ]t¡DY\pqjoY\gV]+xfqz3gkel]

mA]tzoxCfqz:WnlTkUwci]+mVm2gkU.gVe:]¡DY\TVf Y\vlph]fqzFgke:]¦Tk]+ci]fh¡wfhz:W n:TVUwci]+mkm2z£Y\[F]+x.fhz^gke:]TV]+ci]tfq¡]

©2e:] Y+phgV]tTkzoY+gkfq¡]3Y+zox Tk]tno]tgVfhgkfq¡]ciUD[F[Y\z£x:m.ciUXz£m|f mAg#U+šHUXz:] UDTF[FUXTV]WXjoY+Tdx

vlTdY\z£cÐenoY+fhTdm?¥<b°WDjoY\TZxf mYŠ2UUXpq]+Y\z¤]t~wn:Tk]+mVm|fqUXzuoY.ciUD[F[j:z:f cY\gkfqUXzom5ciUD[F[Y+zox

UDT.Y Š2UUXph]}Y\z ]t~wn:TV]+mkmAfhUXz š›UXpqphU+ž2]}xvw)Y3ciUD[F[j:z:fqctY\gVfhUDz¥<b¹WXj£Y\Tdx)f m

!7'!$&

fšVu…š›UDTY+z3]t~wn:Tk]}mkm|fqUXzuwfhg]t¡DY+phjoY+gk]+m2gVU#gVTkj:]ulY\zoxFš›UXT¦Y#c?UX[F[j:z:fqctY+gkfhUDzuXgVe:] n:TkU`.

c?]+mkm5zoY\[F]}x#fhzFgVe:]HciUX[^[Y\zoxf€m2Tk]+YDxCgkUciUD[F[#jlz:f ctY+gk]¥`K:UXTWDjoY\TZx:mc?UXzomAf m|gVfhz:W

U+šv‡UDgke«Y Š2UUXph]}Y\z)]t~CnlTk]+mVm|fhUDz)Y\zox)YFciUD[F[j:z:f cY\gkfqUXzomc?UX[F[Y+zox<uwgke:].]t~wn:TV]+m.

mAfhUDz¯[jom|g.vo]3gVTkj:]¤Y+zox¯gke:]n:TVUwci]+mVm#zoY\[^]+x*fhz¨gke:]¤WXjoY+Tdx«[#jomAg.vo]3Tk]}YXxC«gkU

c?UX[F[j:z:f€ciY+gk]š›UXTgkel]ˆWDjoY\TZxgVU#vo] noYXmVmkY+v:ph]¥

­ e:]tz¼Y\z Y+phgV]tTkzoY+gkfq¡]c?UX[F[Y+zox#f€mL]t~w]+cijlgk]+x<uoY.v:TZY\zocde3že:Uªm|].WDjoY\TZx3f mnoYXm;.

mVY\v:pq] f mFcde:Uªm|]tz¥˜ÉšH[FUXTV]gVeoY\z§UXzl] WXjoY+Tdx f m#noYDmkmVY\v:pq]u2gkel]tz§Y\zw¯UDz:] U\šHgkel]

c?UXTkTV]+m|noUDzoxCfhzlWFv:TdY+zocde:]+mctY+z3vo]]t~w]+cijlgk]+x<¥l˜Éšz:UWXj£Y\TdxlmY\TV]noYDmkmkY+v:ph].gVe:]tzgkel]

nlTkUwci]+mVmv:phUwc'9:m¸j:zCgVfhp:UDz:]U\š8gke:]4c?UX[F[j:z:f€ctY\gVfhUXz WDjoY\TZx:mv‡]}ciUX[F]}m„noYXmVmkY+v:ph]d.<j:z/.

pq]+mkm¸gke:]tTV]4Y\TV]z:UHciUX[F[j:z:fqctY+gkfqUXz WXjoY+Tdx:mUDT/gVe:]n:TVUwci]+mkmA]+mzoY\[^]+xˆfqz.gke:]WDjoY\TZx:m

Y+Tk]4gk]tTV[Ffhz£Y\gk]}x<u\fqz#želf cdeFctYDm|]gVe:]¦ciUX[F['Y\zoxšsY\fhp€m5Y\zox#gVe:]4n:TkUwci]}mkm/gV]tTk[^fhzoY+gk]+m?¥

J4z ]+YXcde¯fqgk]tTZY\gkfqUXz¨U\šHgke:]¤Tk]tno]tgVfhgVfh¡]¤ciUX[^[Y\zox uY*v:TZY\zocde že:Uªm|] WXj£Y\Tdx f m

n£YXmkmVY\v:pq]f mˆ]~C]+c?j:gk]+x ¥˜Éš4[FUXTV]#gVeoY\z UDz:]WXjoY+Tdx f m noYXmVmkY+v:ph]u¸gke:]z phf&9] š›UDTgkel]

Y+phgV]tTkzoY+gkfq¡]uY\zw)UXz:]FU+šgVe:]Fv:TZY\zocde:]+mf€mcde:UmA]tz¥„­ el]tz z:U¤WXjoY+Tdx f m noYXmVmkY\vlph]

gVe:]HciUX[^[Y\zox.gk]Tk[FfqzoY\gV]+m2Y+zoxFgke:] n:TVUwci]+mkm4ciUDzCgVfhzwj:]+mi¥

-

(¼L ,./'( tH! \( …¤ (5t,H1202,# y

©2e:]tTV] Y\TV]gAž2Uycip YDmkm|]}mLU+šfqzCš›UXTV[Y\gVfhUXzœoU+ž4mLfqzFn:TkUDWXTZY\[F[F]}mi¥wbz¤YXmVm|fhWDz:[F]tzwg

c?UX[F[Y+zoxctY\j£m|]+mY^· ›”+²C–X“ œoU+ž U+šfhzCš›UDTk[Y+gkfhUDzš›TVUX[ gVe:]¡DY+Tkf Y+v:ph]}mY\n:no]+Y+Tkfqz:W

UDz gke:]HTkfqWXewgeoY+zox m|f€xC].U\š gke:]CBAOD5UXno]tTZY\gkUDT gkUFgVe:]¡DY\TVf Y+v:ph]HUXz gkel].ph]iš›geoY+zox

mAf xC]ª¥C©2elf m/f€m/vo]+ctY+jom|]¦gke:]fqzCš›UXTV[Y\gVfhUDz#fqz#]+YDcÐe^U\š¸gkel]TkfqWXewg/e£Y\zoxm|f€xC]UDn‡]TdY\z£x:m

cY\zfhzCœojl]tzoci]vw.ctY+jom|fqz:W ¡DY\Tkfq]tgAfqz.gke:]pq]iš›geoY+zoxFm|f€xC]¡DY\TVf Y\vlph] 0¬5UDe:]tz(4`46s¥C©2el]

fqzCš›UXTV[Y\gVfhUDzFgkeoY+gž-YXmfhzgkel]xw]+m|gVfhzoY+gkfhUDz¡XY+Tkf€Y\v:pq]ˆf€m2phUªm|gt¥

¬5UXzoxwfhgkfqUXzoY+pwciUX[^[Y\zoxlm‡fhzwgkTVUwxCjoci]Y2z:]ž«cip YDmkm<U+š:œoU+ž4me0]tz:zlfhz:W4+76s¥+©2e:]šsYXcig

gVeoY\g4YHciUX[^[Y\zoxf€m2ciUDzoxCfqgkfhUDzoY\pqph.]t~w]+cijlgk]+x.gkTZY\zom™š›]tTdm2fqzCš›UXTV[Y\gVfhUXzgkUY+zFUXv£m|]tT.

¡]TUXz gkel]¡DY\pqj:]U+š2gVe:].c?UX[F[Y+zox#WDjoY\TZx<¥„¬5UXz£m|f xw]tTgkel]ˆš›UXpqphU+žfhzlW#n:TVUXWDTdY\[^[F]

mA]tWX[^]tzCg¥­*] jomA]Y.[j:phgVfhn:pq]4YXmkmAfhWDz:[F]tzwg/š›UDTv:TV]t¡wfhgA(I`BD5f€mm|UD[F]]t~wn:Tk]}mkm|fqUXzA

A`BD'I

A ‹

‹I

0 §‹

A _

‹

A°_O6

˜ÉšmAUX[F]tUDz:]d9Cz:U+ž4m5gke:]nlTkUXWDTdY+[F[F]gk]~Cggke:]tz8u…vwfhzomAn‡]}cigkfqz:W]tfqgke:]T

UXT

Ytš›gk]tT

nlTkUXWDTdY+[F[F]]t~w]+cij:gVfhUDzuwm|UX[^]tUXz:]¦ctY+z 9CzlU\ž žel]tgke:]T žYDme1t]tTkU UDTz:UXg¥:©2e:f€m/f m

Y+z*]~:Y+[Fn:ph] U+š4Y\z)fh[^n:phf€cifhg5œoU+ž 0#4]tz:z:fqz:WR4}765UXT žeoY+gˆž].žfhpqp[FUXTV]WD]tz:]tTZY\phpq

TV]iš›]tTgkU^YXm4Y\z ¸· ›”+²C–X“œoU+ž ¥

©2e:f m mA]+cigkfqUXz ]t~lY\[^fhz:]+mgkel]#fqzCš›UXTV[Y\gVfhUXz3œ£U\ž4m] ]+c?gk]+x vC¤gke:]n:TVfhzocifqnoY\p m|].

»j:]tzwgkf€Y\p c?UXzomAgkTkj£cigdmC.FYDmkm|fqWXz:[^]tzCg¤Y+zox gkel]«Y\pqgk]tTVzoY\gVfh¡])Y\z£x Tk]tno]tgVfhgVfh¡])ciUD[ .

['Y\zox:m?¥:©2e:]Hz:UXgZY\gVfhUXz¤jom|]}x'gVe:TkUDj:WXelUXj:ggVe:] noY\no]tT4f m2]~Cn:p€Y\fqz:]+x#vo]iš›UDTk]teoY+zox<¥

­*]O8oTdmAgkpqzl]t]+x3mAUX[F]HžYtU\šTk]n:Tk]+mA]tzwgkfhzlW#gVe:].mA]tgU\š ¡XY+Tkf€Y\v:pq]+mfhzwš›UXTk['Y\gkfqUXz

c?UXzoci]Tkz:fqz:Wže:f cde eoYXmœoU+žz*gVU:uUXT fqzCœoj:]tz£ci]+x<uY¡DY\Tkf€Y\v:pq]‡¥ ­*]^ctY\pqpgkelf m m|]tg

gVe:]H’t²w– „” “d³£•:”É•:‘›² U+šou:xC]z:UXgV]+x :¥

˜™zoxCfhTV]+cigœoU+ž4m4Y\Tk]¦[FUwxC]tpq]+x#vw#gVe:]W [ o¡DY\TVf Y\vlph]O.5xC]8£z:]+xFYDmY.mA]+»…jl]tzoci]

U+šm|]gdm2U\š¡DY\TVf Y\vlph]+mA

 c A(B

c !%D#"

B›že:]tTV]°f m/gVe:]¦®Xm|]gU\šs®ˆUDno]tTdY+gkUXT4Y+zox " mAgdY\z£x:m/š›UXTgVe:]mA]tg2U+šzlUXzF. 1t]tTVUph]z:WXgVe

mA]+»j:]tzoci]}mi¥5D©2el]]t[Fnlg|^UXTz:fqpfhzoxwfhTk]}cigf m\ˆ%$'&‰H¥o©2e:].UXno]tTZY\gVUXTdmUDz (c )

Y+Tk] z:U+ž°]t~wn:p€Y\fhzl]+x<¥

©2e:]¡DY\phjl]U+š gkel]'œ£U\ž1U\š+ [ ›uxw]tz:UXgV]+x*

+

B9(c )D4f€mgke:]¤m|]g.U\šaY\php

¡DY+Tkf Y+v:ph]}m2fhzgke:] fqzoxCfhTV]+cig¡XY+Tkf€Y\v:pq]¥:‚<]tga c ,)B4D xC]tz:UDgk] gkel]….-0/U+š13]tzwgkTkfq]+mA

B42(c 'D

%3547698

:<;>=

(c )B4D

žel]tTk]?3)f€m/gkel] m|]tgj:z:fqUXzFUDn‡]TdY\gVUXT¥<ƒfhzoc?]o c f€m AjomAgY.mA]+»…jl]tzoci] BÉU+šm|]tgZmDdu

ž]YXmVm|j:[F]gkel]A@

FBDZuB



BD-Y\zox)ciUXz£ctY\gV]tzoY\gVfhUDz BDC D4UXno]tTZY\gVUXTdm?¥b¹mA]tg U\š¡DY.

TVf Y+v:ph]+mFE [YtFY+p m|Uvo].YDx:xC]+x3gVU:u YXmUXn:noUmA]+x3gkU'ciUXzocY\gk]zoY\gV]+xžfqgkeu c ?¥

©2elf mf m4xCUXz:].žfqgke¤gke:]G«UXno]tTdY+gkUDTt¥©2e:]ym|]tgE¹f€mmA]tgjlz:fhUDz:]+xžfqgke¤]+YXcde3]tzwgkTV

fqzgke:]( c ,)m|]+»j:]tz£ci]¥

EHG ( c )

IC 4J6K8

:L;>=

B#E%3m(c )B4D D

K¸fhzoY+phphªu ž]Fžfhpqp2z:]]+x Y\z¨UXno]tTZY\gkUDT š›UDTciUX[v:fqz:fhz:WgAž2U (c )¡DY\TVf Y+v:ph]+m gkU`.

WD]tgkel]tTt¥©2el]#UDn‡]TdY\gVUXTHf m?M¥ UXgV]#gVeoY\g fqgf mz:UDzF.™c?UX[F[j:gdY+gkfq¡]¥:˜™gdm] ]+c?gf mgkU

YDx:x#jomAfhz:WHgke:]NG*UDno]tTdY+gkUXTgVe:]4¡XY+Tkf€Y\v:pq]+m/fqz#voUXgVe (c )!4gkUgVe:]8oTZm|g (c )

Y+TkWDj:[F]tzwgÒm/]tzwgkTVfh]+mA

 c

: M (c )O

B2

+

B4c ,)

:

DP3Q

B4c OD#DPGR2( c

:

©2e:]E<d ? + !%;U\šLY#n:TVUXWXTZY\[F[^]ˆf€mxC]8£z:]+x YXm8oTZm|gVphuogke:].['Y\n:n:fqz:W

š›TVUX[N]+YXcde.¡DY\Tkf€Y\v:pq]gkU fhgZmm|]}cij:TkfqgAˆ¡DY+Tkf Y+v:ph]4Y+zoxFmA]+ciUXz£xCphu+gkel]¡XY+phj:]U+šD c ?¥

­)]^m|gkTV]+mkmgVeoY\gHY\pqpgkel]FY+~CfqUX[mY+zox Tkj:pq]+mWXfq¡]tz fhz)gkelf mnoY\no]tTHY+Tk]fhz gk]Tk[mU+š

gVe:]ˆœ£U\ž m|]+cijlTkfhgAmAgdY+gk]u „¶:“Hgke:]š›j:zoc?gkfhUDzoY\pm|gZY\gV] BÉ['Y\n:n:fqz:W.š›TkUX["¡DY\TVf Y+v:ph]+mgkU

¡DY+phj:]+m'Dd¥:­ e:]z xC]+mVciTkfqv:fhzlW.gke:]Hv‡]eoYt¡CfqUXj:T4U\š5gVe:]HciUX[^[Y\zoxg|wno]+mžfhgkeTV]+m|no]+cig

gVU«gke:]3œoU+ž m|]+cijlTkfhgA¨m|gZY\gV]už2] žfhpqpj£m|]ŸY\z§UXno]tTdY+gkfqUXzoY+pz:UDgdY\gVfhUDz°mAfh[Ffqp Y\TgkU

0SphUXg9CfqzHgXŽ6™¥©2e:]œoU+ž«m|]t['Y\zwgkf cm‡Y+Tk]xC]8£z:]+x YXm¸YLgVTdY+zom|fqgkfhUDz Tk]tp€Y\gkfqUXzH® ¨®že:f€cÐe

['Y\nomHY3n:TkUDWXTdY+[F[F]^m|]tWD[F]tzwgHY\zox«m|gZY\gV]n£Y\fhTHgkU)Y+z:UXgVe:]tTt¥5©2el]fqzCgV]tTknlTk]tgZY\gkfqUXz

WDfh¡]tzbB

8

u D BtuUDf mgkeoY+ggkel]]t~w]+cij:gVfhUDz3U\š gke:]ciUD[F[Y+zoxFm|]}»…j:]zoci]

8

fqzm|gZY\gV] 3ph]+YDx:m2gkUyY.m|gZY\gk] š›TkUD[že:f cdegke:] c?UX[F[Y+zox.m|]}»…j:]zoci]2]t~w]+cijlgk]+m?¥

¬5UD[FnoUmAfhgkfqUXzf mmAno]+cif58£]+xFžfhgkegVe:]š›UXphpqU+žfhz:W.TVj:ph] A

B

8

u D B?uHD

B

8

I?u D BiuUD

žel]tTk]-xC]tz:UDgk]+m2gVe:] ]t[Fn:gAciUD[F[Y\z£x#mA]+»…jl]tzoci]¥

! #"5$% &

©2e:]ciUD[F[Y\z£x(' A ]~CnB

8

*)+),),)+) -

D4eoYDmagVe:].] ]+cig¦U\š4mA]tgkgVfhz:W^gke:]mA]+cij:TVfhgA

¡DY+Tkf Y+v:ph] '#gVU

$

:/.

 R_

),)10

& 3H$

:2.

 _

)+)30

& 3

B42( c 'D

©2el]gV]tTk[ $ : .  _

),)10

&¤ctY\n:gVj:Tk]}mˆgkel]'šsYDciggVeoY\g.gVe:]F¡DY\pqj:]U\š'zlU\ž1WXfq¡]+m

[^UXTk]¦fhzCš›UDTk[Y+gkfhUDzY\voUDj:gžeoY+gž-YXm2fhz]+YDcÐe

: ¥

©2e:]gV]tTk[ $ : .  R_

)+)30

& cY\n:gVj:Tk]gVe:]gVTdY\z£m|fhgVfh¡wfhgAU+šgVe:]fqzCš›UXTV[Y\gVfhUXz.œoU+ž4mi¥

K:UDT]t~lY\[Fn:pq]u:gkel]n:TVUXWXTZY\[F[^]C0

A

IP*A

6ctY\j£m|]+m Y œoU+žRš›TkUX[ ¡DY\Tkf€Y\v:pq]

Y+zox

gkU.¡DY\TVf Y\vlph]N m|fhz£ci]ciUDzCgZY\fqzomLgVe:] ¡DY\phjl]ˆU+švoUDgke

Y\zox

¥

¬5UXzomAgdY+zCgZmˆY+Tk]HfhWXzlUXTk]}x3fhz3gVe:]ˆœ£U\žNctY+p cijlphjom4m|fqzoci] gke:]WDfh¡]Hz:UFfhzwš›UXTk['Y\gkfqUXz

c?UXzoci]Tkz:fqz:WgVe:]2¡DY+phj:]+mU\š£¡XY+Tkf€Y\v:pq]+mi¥D©2e:]tfqTmA]+cij:TVfhgA¡DY+Tkf Y+v:ph]f m¸Y\pqžYt:mgkel]2]t[Fnlg|

mA]tg$'&¥o©2ewjom2gke:]HYDmkm|fqWXz:[^]tzCg

A¦‹.m|]tgZm

gkU

+

B4 c ,)'Dd¥

bm„[F]zCgVfhUXzl]+x<u,

+

B9( c )DoelUXp xlm gVe:]¡DY\pqj:]2U+šgkel]fhzCš›UDTk[Y+gkfhUDzˆœoU+ž4mže:f€cÐe

gVe:]4ph]iš›g5eoY+zoxm|f xw]¡DY\TVf Y+v:ph]4žfhpqp‡fqzoxCfqTk]+cigVphHTk]+ci]fh¡]¥+˜™zoxCfqTk]+c?g œ£U\ž4mY\TV]phUU`9]+xFY\g

mAe:UXTVgkpqFfhzgkel]c?UXzwgk]t~wgU\šgke:] TV]tno]tgkfqgkfh¡]¦Y\z£x3Y\pqgk]tTVzoY\gVfh¡] c?UX[F[Y+zox<¥

bTk]+mAj:phgHU\š gVe:f m.Y+n:n:TkUªYXcde¯f€mgkeoY+gFY ¡DY\Tkf€Y\v:pq] [Yt vo] Y [F]t[.vo]tT U\š¦gkel]

mA]+cij:TVfhgA ¡DY\Tkf€Y\v:pq] ' ]t¡]tz.gVe:UXj:WDe4'cY\z:z:UDg2vo]jomA]+x gVUfqzCš›]tTgVe:]4cij:TVTk]tzwg¡DY\pqj:]U+š

IoYm|j:v£m|]+»j:]tzwg4YXmVm|fhWDz:[F]tzwg2['Y}eoYt¡] Y+phgk]Tk]+x ¥o©2e:f m2f€mLfqzCgV]tzwgkfhUDzoY\ps¥wbm2phUDz:W

YDm gVe:]¤cij:TVTk]tzwg¡DY\pqj:]U\š5')f mˆš›j:zoc?gkfhUDzoY\pqphŸxC]tno]tzoxw]tzCg.UDz Y B›n‡]TkeoY+nomyš›UDTk[F]TD

¡DY+phj:].U+š u<gkel]tz žfqphpvo].fqz ':¥<­)]^Y\Tk].gVTkwfhz:W^gkU[FUwxC]tp¸gkel] šsYDciggke£Y\g5'eoYDm

TV]+ci]tfq¡]+xFfhzCš›UDTk[Y+gkfqUXzš›UDTk[ Ym|UDj:Tdci].želf cde3[YtFvo]š›UXTVv:f xlxC]tz gkU^fhgtu žeoY\gV]t¡]tT

gVe:]cijlTkTk]zCgHfhzCš›UDTk[Y+gkfhUDz«ciUDzCgV]tzCgHU\š¦gkeoY+gm|UDj:Tdci]ª¥=Jš c?UXj:TZm|]u¸že:]tz 'f€mˆTV]+m|]tg

UDT gdY79]}mY\z«YDmkmAfhWXzl[F]tzwgz:UDg fhzw¡UXph¡wfhzlW u<gVe:]tz f€mazlUpqUXz:WD]tT [F]t[.vo]tTU+šgkel]

mA]+cij:TVfhgA¡XY+Tkf€Y\v:pq] 'FmAfhzoci]5' Þm2z:]ž fqzCš›UXTV[Y\gVfhUXz¤ciUDzCgV]tzwgf m2fhz£xC]tno]tzoxC]zCgU+šdB™Y+zC

nlTk]t¡wfhUDjomDciUDzCgV]tzwg2U\š ¥

©2e:] ] ]+cigU+š5gke:]yYXmVm|fhWDz:[F]tzwg2UDz3gVe:]n:TVUXWDTdY\[^[F]mA]+cij:TVfhgAmAgdY\gV]f€mctY\n:gVj:Tk]}x

vwFgVe:]š›UXphpqU+žfhz:WY+~CfqUX[ BZrYp YC0\i4UY\TV]X6 D 8 A

L

;

$HSd0' B$

: .  R_

),)10

& 3 $ : .  _

),)10

& 3

B42( c 'DD 65&

'+A B 8

*)+),),)+) - D

$S &

žel]tTk] +0

6f m4Y.n:Tk]+xwf ctY+gk]]}»…j:fq¡DY\ph]zCggkU ]t~lci]tnlggkeoY+g]t¡]tTV š›TV]t] Uwctcij:T.

TV]tzoci]¦U\š5gVe:] ¡XY+Tkf€Y\v:pq]

f m2Tk]n:p YDci]+x#vwF]t~wn:Tk]}mkm|fqUXz

¥

K:UXT¦Y\TkTZYt¡DY+Tkf Y+v:ph]}miu:UXzl]ciUXj:p€xFfh[Y+WXfhzl]ˆe£Y}¡wfhzlWFYm|]+c?j:Tkfqg|^¡XY+Tkf€Y\v:pq]aš›UDT]}YXcde

]ph]t[F]zCg¥K:TkUX[ gkel]noUDfhzwg.U\š ¡wfh]tž¹U+šHY m|gZY\gVf cm|]+c?j:Tkfqg|ŸY\z£Y\phlm|f€mgke:UDj:WXe8ufhg.f m

]}YXm|fq]tT.gkU YXmkmAfhWDz Y)m|fhzlWXph]œoU+ž¡DY\TVf Y\vlph]3gVU*gVe:]že:UXpq] Y+TkTdYt¥ K:UXTY+z§Y\TkTZYt

u

fqzoxC]t~H¡DY\Tkf€Y\v:pq]]Y\zox.¡DY\TVf Y\vlph] Du\gVe:]4YXmVm|fqWXz:[F]zCg

0Ž 6(A gkTZY\zom™š›]tTdmfhzwš›UXTk['Y\gkfqUXz

Y+voUXj:g 4Y\zox <gkU

mAfhzoc?]UXz:]¦ctY\z[FUDTk]]+YDm|fhpqfqzCš›]tT5gke:]¡DY+phj:]4U\š¸gVe:]gAž2Uš›UXTV[F]tT

¡DY+Tkf Y+v:ph]}mLš›TkUD[

Ytš›gk]tT¦gke:]YDmkm|fqWXz:[^]tzCg¥ Bs©2e:].fhz£xC]t~FœoU+ž4mgkU

mAfhzoci]HfhgZm¡DY\phjl]

cY\zvo]9wz:U+žzvwFz:UDgkfqz:W#gVe:] fhzoxw]t~#U+š5gkel]ˆ]ph]t[F]zCgjln<xlY\gk]}xUDd¥

L

;

$HSd0

$

& 3 3 ?3  3

+

B9(c )D6P&

0 6A

$S &

K:UDTˆgVe:].UXnln‡Uªm|fqgk]^YXmkmAfhWDz:[F]tzwgtu A

0 6™u:gVe:]tTV].f mYxCfqTk]+cig4œoU+ž š›TkUD[ ¡DY\TVf Y+v:ph]+m

Y+zoxe/gVU D¥ ©2e:]¡DY\TVf Y+v:ph]

œ£U\ž4m¦m|fhz£ci] UXz:]yxCf mVciU+¡]tTdm[FUXTV]HY\voUXj:g¦fhgIœoU+ž4m

vo]+cY\jomA]ˆUDz:] ctY+zC9Cz:U+ž že:f€cÐe'Y\TkTZYt#]tpq]t[F]tzwg¸žYXmYDmkmAfhWXzl]+x#š›TkUX[%gke:]zl]tž ¡DY\phjl]

U+š Du:Y+zoxe:]zoci]gVe:] ¡XY+phj:] U+š k¥

L ; ®

$HS0 $

& 3 3  3

+

B9(c )'D 6P&

EA

0Ž 6

$S &

Jš¦ciUDj:TdmA]u„voUDgke L ;

Y+zoxfL

;

® Y\TV]Y3mAno]+cif Y+pctYDm|]FU+šOL

;

A„gkel]ciUX[^[Y\zoxlm

0Ž 6eA Y+zox CA

0 6Y\Tk]]+»j:fh¡DY+ph]tzwggkU

A B



DY+zox WA B

D

TV]+m|no]+c?gkfh¡]ph¥

ÑÞÑ\Ù Î+Ï?͝ßlÎd×2Ù+ÑÞÌAßDÎ?ÌÎd×ߺá?ÙoßÉÌVÜ+ÙÉÌ! ÎdØÉØsÎiÜ\Ì!2Ø5Ø"+ÌAÏÞÙ<ß+Ö+ߙܙٛÏÞÕ+Ø<Ø/ÌAÍ4ÕXÎ#

1("5$% &

©2e:]Tkj:pq]š›UXT.mA]+»j:]tzwgkf Y+p5ciUD[FnoUm|fqgkfqUXzfB#I]Dš›UXphpqU+ž4mi¥¸˜Éšgkel]ciUX[F['Y\zox*ƒo_.]+mAgdY.

vlphf mAe:]+mHY3m|gZY\gV]3mVY\gVf m¢š›wfhzlW3n:TV]+xCf cY\gk] š›TVUX[ Y m|gZY\gk]¤SRY\z£x ƒ…Š3]+m|gZY\v:pqf m|el]+m†

š›TVUX[Hu:gVe:]tz ƒo_š›UXphpqU+ž2]+x#vw3ƒwŠ.[jom|g5]+mAgdY\vlphf mAe¤Y#mAgdY\gV].mVY\gkf€m¢š›wfhz:W† š›TkUX[ S>A

6 :-: 4

$+S &#ƒo_ $N&uP$N&.ƒwŠ $+†&

$+S & ƒ£_%Iºƒ…Š $+†&

#( ( "5$% &

©2e:]¡DY\Tkf€Y\v:pq]+mfhz Y3WXjoY+Tdx œ£U\ž%fhzoxCfqTk]+c?gkph¤fhz«gkel]vlTdY\z£cÐe«že:]tz«fqg]t~w]+cij:gV]+m

mAfhzoc?]]t~w]+cijlgkfhUDzFU\š¸gVe:]v:TZY\zocdeF[F]}Y\zom5gkeoY+ggke:]WDjoY\TZxF[#jomAg5v‡]¦gkTkjl]¥ 3UDTk]tU+¡]tTu

YWXjoY+Tdx vo]tfhzlW3gkTVj:]F[Yt¤fh[Fn:pqgkeoY+g.Y\zlUXgkel]tT.WXjoY+Tdx f mgVTkj:] B›UXT šsY\p mA]%Dd¥¸©2ewjomiu

ž] ciUDzom|f€xC]tTgke£Y\ggkel]tTk] f mY\z¤fhzoxCfqTk]+c?g œ£U\ž š›TkUD["Y\pqpWXjoY+Tdx:mgkU.gVe:] v:TdY+zocdeFgkeoY+g

]~C]+c?j:gk]+m?¥…ƒªfh[Ffqp Y\TVphutfš¸Yv:TZY\zocdeFf mz:UDg5]t~C]}cij:gk]}x<u\gVe:]tzFgVe:f m5ciUDj:p x.[F]+Y+z.gkeoY+g5fhgdm

WDjoY\TZx*f mšsY+p m|]^Y\z£x*gke:]Tk]iš›UDTk].UXgVe:]tT WXj£Y\Tdxlm.Y\Tk]gkTVj:] BÉUXTšsY+p m|]`Dd¥¸©2eCj£miugke:]Tk].f m

Y+z fhzoxwfhTk]}cigLœ£U\ž°š›TVUX[ Y+phpWDjoY\TZx:mgkUY+php¸v:TdY+zocde:]+mže:f€cÐe)Y+Tk].z:UDg]t~w]+cij:gV]+x<¥obm

Y+z3]t~lY\[^n:ph]4U\šgke:f€miuociUDzom|f€xC]tTgVe:]š›UXphpqU+žfhz:W.n:TVUXWDTdY\[^[F]mA]tWX[^]tzCg¥

'+A ‹

‹RI

0RN AV4 I ' A 

„¶:“*N ' A Š*6 I

0 4 8 ' §

§‹ d6 I

˜™zFgVe:] mA]+ciUXz£xY+phgV]tTkzoY+gkfq¡]ciUD[F[Y+zox<uXgVe:]]t~w]+cij:gVfhUDzFU\šY+zCFvlTdY\z£cÐeFWDfh¡]+m5fhzCš›UDT#.

['Y\gkfqUXzFUDz¤Y\php U\šgke:]¦WXjoY+Tdx:m?¥<©2eoY+gf m?uCfºš2

8

]~C]+c?j:gk]+m5gke:]zFgke:]HciUDzoxCfqgkfhUDz 4

[jomAg/e£Y}¡]¦v‡]]tzgkTkjl]¥‡¬5UDzom|]+»j:]tzwgkpquž2]E9wz:U+ž§gkeoY+g ' f€mˆš›TkUX[%gke:]8£Tdm|g4Y+phgV]tT#.

z£Y\gkfq¡]m|gZY\gk][F]tzwgt¥ ©2e:f mfhzwš›UXTk['Y\gkfqUXz f€mˆY+p mAU3xwf mkc?]tTkz:fqv:ph]HvC UDvom|]Tk¡wfhz:Wgke£Y\g

e£YXm2z:UDg2]t~w]+cij:gV]+x<¥ :~w]+cij:gVfhUDz#U+š2fh[Fn:pqfh]+mgke£Y\g f€m=1t]tTVUHY\zoxFgke£Y\g2gVe:]tTV]iš›UXTV] '

f€m5ŠˆmAfhzoc?]gke:]4mA]+ciUXz£x v:TZY\zocde[#jomAg„e£Y}¡]]~C]+c?j:gk]+xfqz.gke:]4n:TV]+ci]+xCfqz:W Y+phgk]TkzoY+gkfh¡]ª¥

©2e:]v‡]eoYt¡CfqUXj:TU+š4Y¤m|]+cijlTk]Y\pqgk]tTVzoY\gVfh¡]yciUX[F['Y\zoxžfhgke TV]+m|no]+c?gˆgVUgke:].œoU+ž

mA]+cij:TVfhgA^m|gdY+gk]HctY+z3vo]HxC]+mkc?Tkfhvo]+xYDm-š›UDphphU+ž4m?¥FK:UXT¦YWXfq¡]tzFœoU+ž°mA]+cij:TVfhgAFmAgdY+gk]u

B 0

Ï "!?àÞà$#

: :

I#6™u D B &%5·¸•C“+²'UI : I&%5·¸•C“+²)(<u1 D

žel]tTk]

*%5·„•C“}²+'

2(c dA%$N 3 .

, .-

/10

& C(c )I

A

3 $? 3 . 2, .-

//0

&3

, @ ! cJ!

*%5·„•C“}²4(

2(c dA 

B9( c )D

@ !

cJ!f mgVe:]mA]tg2U+š¸¡DY\Tkf€Y\v:pq]+m5Y\n:no]+Y+Tkfqz:WUDzFgke:]4ph]?š›g/e£Y\zoxFmAf xC]4U\š¸gVe:] A UDn‡].

TZY\gVUXTfhz^gke:]vlTdY\z£cÐe:]}m/U\šgkel] ciUX[^[Y\zoxI .-

//0

f m2gVe:] mA]tg2U+š¡DY\TVf Y+v:ph]+mY\n:no]+Y+Tkfqz:W

©2e:]gkTdY+zom|fqgkfqUXz)f m]+YXmAfhpq3]t~wn:p Y+fhz:]}x<¥<©2el]#fqzoxCfhTV]+cigœ£U\ž4mš›TVUX[ gkel]FciUD[F[Y+zox

WDjoY\TZx:mˆ]~Cf€m|gUDz:ph)xCjlTkfhzlWgVe:]ciUD[F[Y\z£xvoUwxC¥¸©2ewjomiuD c ,)4f mj:n x:Y\gV]+x UXz

]zCgVTk B &%5·¸•C“+²' D5žfqgke¤gke:]Hz:]tž°fqzoxCfhTV]+cig5œoU+ž ¡DY+phj:] že:f€cÐef mTk][FU+¡]+x#UXz¤]t~wfhg

B &%5·¸•C“+²)(HDd¥<ƒfqzoci] gke:]H¡DY\Tkf€Y\v:pq]+m2fhz¤gke:] v:TZY\zocde:]+mz:UDg]t~w]+cij:gV]+xFxCUz:UXgam|]t] gkel]

]<]}cigdmU\š  c ,)?u+Y\pqpC¡DY\TVf Y+v:ph]+mgke£Y\g5ctY+z.Tk]+c?]tfh¡]5YDmkmAfhWXzl[F]tzwgdm<fhzHgke:]-ciUX[^[Y\zox u

@ !

cJ!ueoYt¡]Fgke:]fhTm|]}cij:TkfqgA*¡DY\TVf Y+v:ph]+mjln<xlY\gk]}x¯žfhgke«gVe:]FœoU+ž¡DY\phjl]U+š gkel]

WDjoY\TZx¡DY\TVf Y+v:ph]+m2UDz3]tzwgkTV B &%5·¸•C“+²'FDd¥

b*Tkjlph]xC]+mVciTkfqv:fhz:Wgke:]mA]t[Y\zwgkf€ctm:U\šlgke:]Y+phgk]TkzoY+gkfh¡]ciUD[F[Y\z£xLf€m<gke:]š›UXpqphU+žfhzlW:¥

­)] ph]tg .-

//0

$J 3 .

, .-

/10

& I

6 0 -

4

-

:

S †0(c )$ .-

/10

C ( c )iu

3 .-

/10

3 , @ ! cJ!6™u

3D _

),)10

$† & ƒ :

$H© &u

© k0Ž2( c 

B42( c 'D6

$S & 0 8 8

¥q¥h¥h¥q¥h¥

- -

6$ %&

©2el]TVj:ph]f€m„WX]+Y+Tk]+x.gkU+ž-Y\Tdxlm œoU+ž mA]+cij:TVfhgA n:TkUU+šsmi¥/i]tzoci]ªu\UDz:]ž-Y\zwgdm5Yn:Tk]}xCf ctY+gk]

gke£Y\gf m5]+m|gZY\v:pqf mAe:]+x#z:U.['Y\gkgV]tT2želf cdeFU\š¸gVe:]HciUX[F['Y\zoxv:TZY\zocde:]+mƒ

:

f m2]~C]+c?jF.

gV]+x<¥o˜™g¦m|e:UDj:p x3vo]TV].›]t[Fn:eoYDm|f€m|]+xFgke£Y\g4gke:]HTkj:pq].mkYtlmLzlUXgkelfhz:WY+voUXj:ggVe:]¡DY+phj:]+m

U+š5gkel]c?UX[F[Y+zox.WXjoY+Tdx:m4m|fqzoci] fhg-xC]+Y\p€mLUDz:ph^žfhgkegVe:]œoU+ž°mA]+cij:TVfhgAFmAgdY+gk]¥

K„fhz£Y\phpquz:UXgV]gkeoY+g#gVe:]¤ctYXmA]U+šgVe:]n:TkUwc?]+mkmgV]tTk[FfqzoY\gVfhz:W¼xCj:]gkU)Y+phpWDjoY\TZx:m

šsY+fhpqfhz:W¤f mz:UDgFxC]}Y\phg.žfqgke¥5ƒjocde¨Y\z«]t¡]tzwg.xCU]}m z:UDgctY\j£m|]¤Y\zw*œoU+ž4m.v‡]g|ž]t]tz

nlTkUXWDTdY+[F[F]¡DY\TVf Y+v:ph]+m?¥iU+ž2]t¡]TtudfhzCš›UDTk[Y+gkfqUXzHctY\zHvo]2ph]}Y79]+xgVUgVe:]2]zC¡wfhTVUXz:[F]zCg

fqz.YTVj:zwgkfh[^]¡]tTdmAfhUDzU\š gVe:]2œoU+ž [F]+cdeoY+z:f mA[ ¥d­*]TV]tgkj:TVzgVUgke:f€m noUDfhzwgfhzym|]+cigVfhUDz

w¥ÞŠw¥

(#/ " % &

†L]n‡]gkfhgVfh¡]ciUD[F[Y+zox:m Y\p€m|U)ctY+jom|]fhz£xCfhTV]+cig fhzCš›UDTk[Y+gkfqUXz œoU+ž4mˆš›TkUX[ gke:]F¡DY.

TVf Y+v:ph]+mfqz gkel]WDjoY\TZx:m.gkUŸY\php¡DY\Tkf€Y\v:pq]+mže:f€cÐe¨ciUDj:p x noUmVm|fhvlph TV]+ci]tfq¡] œoU+ž4mfqz

gVe:]pqUUXn)voUwxC)m|fqzoci] ž2]ctY+z 9wz:U+žRgke:].¡DY\pqj:]U+šgke:]HWXjoY+Tdx:mvw]~:Y+[Ffhz:fqz:W.gkel]

¡DY+Tkf Y+v:ph]}m2fhzgke:] pqUUXn .5]t¡]zFfºš¸gVe:] phUUXn¼xCU]+mz:UXg4]t~w]+cij:gV]¥

cA

8

BD

*BD I

' [ [ [/ [;[U ) !%7 !%$]

'

eA ‹ ‹

‹I

0

' ' A ' _

c

H eAH _O6I

A _%I

˜™zgkelf m2n:TVUXWXTZY\[F[^] m|]tWD[F]tzwgtugkel]ˆ¡DY+phj:]+m2U+š'FY+zox 5žfhpqp]+»joY\p Y\z£x cTk]}m|no]+c.

3UXTV]tU+¡]tTtuoYDm+0†L]fhgk['Y\z(4 g76noUXfqzCgV]+x3UXj:gum|fqzoci]yY\php¡XY+Tkf€Y\v:pq]+mTk]}ci]tfh¡wfhzlWxCfhTV]+cig

œ£U\ž4m5Ytš›gk]tTgVe:]phUUDnFxwUmAU UXzciUDzoxCfhgVfhUDz.gkeoY+g/gVe:]phUUDn#gV]tTk[^fhzoY+gk]+m?utgke:]¡DY\TVf Y+v:ph]+m

U+š gkel]3phUUDn¯WDjoY\TZx:m œoU+žfqzoxCfhTV]+cigVph)gkU)gke:]+mA]3¡DY\TVf Y+v:ph]+m?¥5©2e:f m.f m.vo]+ctY+jom|]¤fhg.f m

9wz:U+žz«Ytš›gk]tT gkel]#pqUUXn gV]tTk[FfqzoY\gVfhUDz gkeoY+gY+php5WXj£Y\Tdxlm.Y\Tk].šsY\p€m|]¥¸˜™z)gke:]]t~lY\[Fn:pq]

Y+voU\¡]ªu vw UXv£m|]tTV¡Cfqz:W3gVeoY\g

f m#_UXz:]W9Cz:U+ž4m gkeoY+g ]+»joY+p m' Y+zox cF]+»joY\p€m ?¥

¬5UDzom|f€xC]tTgVeCj£mLgVe:]vo]teoYt¡wfhUDj:TU\š gke:]HTk]tno]tgVfhgkfq¡]HciUX[F['Y\zox#žfqgke¤Tk]+mAn‡]}ciggVUFgkel]

œ£U\ž m|]+cijlTkfhgAmAgdY\gV]¥

B 0

Ï "!?àÞà$#

: :

I#6™u D B &%5·¸•C“+² 'UI : I&%5·¸•C“+²)((I0

Ï "!?àÞà$#

: :

I#6™u1 DUDTB &%5·¸•C“+²

u D

žel]tTk]

*%5·„•C“}²

 c A%$N 3 .

, .-

//0

& Gm c ,)I

A

3 $?3 .

, .-

//0

&

J4z3]}YXcdeFfhgV]tTdY+gkfhUDzU\š5gVe:] phUUXn8u‡gVe:]œoU+ž°¡DY\phjl]ˆU+š5gkel]ˆpqUUXn¤WXjoY+Tdxf€mLnljom|e:]}x

UDzCgVUgkel]]( c )mAgdYXc'9 B*%5·„•C“}²+'FD¸Y+zoxnoUXn:no]+xFY+ggkel]]tzox B*%5·„•w“+²4(HDZ¥\­ e:]z

gVe:]pqUUXn 8oz£Y\phpqFgk]Tk[FfqzoY\gV]+miuwgke:]HfhzoxCfqTk]+c?g2œoU+ž š›TkUD[ gVe:]pqUUXn)ciUDzoxCfqgkfhUDzomgkU^Y\php

¡DY+Tkf Y+v:ph]}m gVeoY\gciUXjlp xeoYt¡]5Tk]+ci]fh¡]+xY2œoU+ž fqzgkel]/pqUUXnCB

@ !

cJ!utgkU¦ctY\gV]tT<š›UXT¸gkel]

cYXm|]žel]tz#zlUˆvlTdY\z£cÐe.]t~w]+cijlgk]+m'DY+zox#Y+php:¡DY+Tkf Y+v:ph]}m„že:f cdem|jlvom|]+»j:]tzwgkpq Tk]+ci]fh¡]Y

œ£U\ž f€m/TV]+ciUXTZxC]+xCB*%5·„•C“}²

Dd¥ UDgk]elU\ž gVe:]?G)UXno]tTZY\gVfhUXz^f m/j£m|]+x#fqzom|gV]+YXxU\š¸gkel]

C4gVU ctY\nlgkj:TV]gke:]n‡]Tk[Y+z:]tzoci]U\š gkel]4cÐeoY+z:WX]fqzŒ c I+[FUXTV]tU+¡]tTtu?gke:]zwj:[v‡]T

U+š ]tzCgVTkfq]+m<fhz c f€m gVe:]mVY\[F]UXz.]tzwgkTVY+zox]t~wfhgm|fqzoci]Y+zCHY+Tkv:fqgkTdY+TkHz:]+m|gVfhz:W

mVcÐel]t[F]4U\š Y\phgV]tTkz£Y\gkfq¡] Y\z£xTk]n‡]gkfhgVfh¡]¦ciUX[^[Y\zoxlm/[jom|gv‡]HmAj:n:noUXTVgk]+x<¥

b Tkjlph]š›UXTe:U+ž°gVe:]Hm|]+c?j:Tk]TV]tno]tgkfqgkfq¡]ciUD[F[Y+zox#fhzwœoj:]tzoc?]+m/gVe:]œoU+ž°mA]+cij:TVfhgA

mAgdY+gk] f mA

6 -:-

:

S †0(c )$ .-

/10

C ( c )iu

3 .-

/10

3 , @ ! cJ!6™u

† Sd0Ž c ,) 

B4c ,)'D 6su

3D _

),)10

$† & ƒ :

$y†I&u

S k0( c ) .-

//0

G (c )?u

3 .-

1/0

3 , @ ! cJ!6

$HS &/0

8 8

¥h¥q¥h¥q¥h¥

- - 6 $ %&

­)]#Aj£m|gkfš› gkelf mTkjlph]3j£m|fhzlW*gVe:]gkTdY+zom|fqgkfqUXz¯WDfh¡]tz¨Y+v‡U+¡]¥2ƒªfhzoci]gVe:] ciUD[F[Y+zox

voUwxC«[Yt vo]]t~w]+cij:gV]+x*Y+zCŸzCj:[vo]tT U\š¦gkfq[F]+miuž]Fz:]t]+xŸY\z¯fqzC¡DY+Tkf Y+zCgHUXz«gkel]

œ£U\ž%m|]}cij:TkfqgA)m|gdY+gk]¥S mA]tTk¡]+mHYXmgVe:f mfqzC¡DY\TVf Y+zCg¥ 3UDTk]tU+¡]tTugke:]F[^UwxCf58 cY\gkfqUXzom

gVeoY\g5Uwctc?j:TgkU gVe:]

@ !

cJ!4Y\zoxc ,)¡DY\TVf Y\vlph]+mY+g5gke:]4mAgdY\TVgY\zox.]tzoxU+š<]}YXcde

vlTdY\z£cÐe¤Y\pqphU+ž§Y\z [F[U 5fhzw¡XY+Tkf€Y\zwg† gVU.v‡] ]+mAgdY+v:phf€m|e:]+x

¥obLš›gV]tT2gV]tTk[FfqzoY\gVfhUDzuXgkel]

8£zoY\p[FUwxwf58 ctY+gkfqUXzom2gVU#gVe:]œoU+ž ¡DY\TVf Y+v:ph]+m2]}m|gdY+v:phf€m|e¤Ym|gdY+gk]ymkY\gVf m™š›Cfqz:W H¥

×á€ÎiܙØVÚtØ"+ÏÞß tÌAß× ?ØDÎ?̄Ø2ÖDÌ5ÎdםÏÞ× ?ÎÐٛÏÎd×tØDÔ&+ߛØÎdß<Ñ?×Îdß #ÏÒß<ٛÌ&#€ÌAßÉØsÎÐÖ+ÑÞÏÒß"+Ì!ÎdØ<Ø\Ì

b n:TVUU\šU\šgke:] mAUXj:z£xCz:]+mVmY\zoxciUD[Fn:ph]gk]tz:]}mkmU\š¸gVe:]n:TVUU\šmA:mAgk]t[1f m5WXfh¡]z#fqz

gVe:]HY\n:no]tz£xCfh~Y+phUDz:W.žfhgVe3YnlTkUU\š gkeoY+ggke:]Hm|][Y\zwgkf€ctm5ctY\n:gVj:Tk]HY+php<gVe:] fhzCš›UDTk[Y.

gVfhUDz'œ£U\ž4m?¥

" (# F

©2el]#]t~lY\[^n:ph] ž2].žfqphpciUXz£m|f xw]tT f mYFphfqv:TdY+Tk¼xC]+ciTVCn:gVfhUDz3n:TVUXWXTZY\[F[^]¥<©2el].n:TkU`.

WDTdY+[F[F]FeoYDm gVe:Tk]]3fhzln:j:gdmY\z£x gAž2U)UXj:gVn:j:gZmFYXmFmAe:U+žz fhz«gkel] xCf€Y\WXTZY\[ ¥5©2el]

fqz:n:j:g4c?UXzomAf m|gZmLU+šY.m|gVTkfqz:W#U+š5]tzoc?Tkwn:gk]+xgk]t~wgtuwUXTk

Éu8Y 9]t.š›UXT4xw]+ciTkwnF.

gVfhUDz3Y+zox Yj:z:fqgTZY\gV]ˆželf cdegVe:] jom|]Tf€mcÐeoY+TkWD]+x'š›UDT]+YXcde¤cÐeoY+TdYDcigk]tT4xw]+ciTkwn:gV]+x<¥

©2el]ˆUDj:gknlj:gdmY+Tk] gke:]axC]+ciTVCn:gV]+x#gV]t~CguCUDT $! Éu Y\z£x'gVe:]HcÐe£Y\TkWD]š›UXTgVe:]HxC].

c?Tkwn:gkfqUXz¥o­*]YDmkmAj:[F].gke£Y\g gke:]c?ph]+Y+T#.›gk]t~wgf€mUXjlgkn:j:g gVUgVe:].jomA]tT Y\z£xgVeoY\g gkel]

cdeoY+TkWX] f€m2UXj:gVn:j:ggVU.gke:]HphfhvlTdY\TV#U+žz:]Tt¥o©U#vo]j£mkY\vlph]u:gVe:] jom|]tT[jomAg2gkTVjom|g4gkel]

nlTkUXWDTdY+[F[F].z:UDggkU¼m|]+c?Tk]tgVph3pq]+Y79 gVe:]cipq]+Y\T.ÉgV]t~wggkU gVe:]#pqfhv:TZY\TV U\žzl]tT¡wf YFgkel]

cdeoY+TkWX]}maUDj:gknlj:gt¥ƒjocde)Ypq]+Y79DY+WX]f mgV]tTk[F]}x3Y '

! [F[H'$fhz 0‚Y+[FnomAUXz(4}Ž76™¥

­)].žfhpqpgkel]tTk]iš›UDTk]œoU+ž m|]+cijlTk]nlTkU+¡].gke:]xw]+ciTkwn:gVfhUXz nlTkUXWDTdY+[F[F]uogke:]c?UwxC]#U+š

želf cdef€m2WXfq¡]tzFvo]tphU+ž ¥

Decryption Service

Charge

Cleartext Ciphertext

Key

Unit cost

K„fhWDj:Tk]y_%A ]+c?Tkwn:gkfqUXz ƒwcde:]t[Y

LM,NBHƒ81Y5I Iisƒ[XWY>

M,NNwMƒSDBHwU‹I81 WYI WHwX0I$1 WYI WY>

H$X0ƒIw1 WYI WD†<kC\$##7?`\,]E$!ƒd`$EF@?>

s[,XZWV†< zpr`+6`]!p,# `6p` @?>

H81Y5I] s[,XZWY>

/! >

"

HwX0#ƒI$1 WYI WY$Y.&%mpzV !p,# `6p`?{

Kp,!ƒd`$E#'H$X0ƒI$1 WYI WY(.)c{|H$UVI6871 WYIWY(Y.Vm;*'H$X0ƒI$1 WYIWY(Y.+, I-)>

Hƒ81Y57I]V†Hƒ81Y5I*.!/‚ƒs[,XZWY>

~1023?Kp,!d`$E#'6HwX0#ƒI$1 WYIWY(Y.4)={|HwUVI681 WYIWY(Y.V†HwX0I$1 WYI WY( .>

Hƒ81Y57Ia†Hƒ81Y57I5.†s[,XZWY>

.>

_V!&.76>