A formal proof of a protocol for communications over faulty channels using the Larch Prover

HAL Id: inria-00074198

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

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-

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,

A formal proof of a protocol for communications over faulty channels using the Larch Prover

Boutheina Chetali

To cite this version:

Boutheina Chetali. A formal proof of a protocol for communications over faulty channels using the

Larch Prover. [Research Report] RR-2476, INRIA. 1995. �inria-00074198�

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

A formal proof of a protocol for

communications over faulty channels using the Larch Prover

Boutheina Chetali

N˚ 2476

Janvier 1995

PROGRAMME 2

*$+-,.0/)1!%2% 345/$)7680/:9;#(')(

<=?>@BACEDGFHJIACE@KHMLNDO

PQSRTQVUXWYWZ1["\^]U`_ba+cd_fehgEWi?R_kjmlcMZnXodQSRTQpUXWYWUXqSjkRXrZ!q(Ts!rMjtZu_kRTjmapjkZ!_

PQSRBvpZ!quwcdQSZBa!U

x(UXodo?RQSqzyEZuQSZBaS{dZ!QVaS{dZr#[3|E}~\€‚U`rEƒ‚jkZ!Q„3……†u\‡[[o-U`TZ!e

ˆ$‰‹ŠŒ3ŽX-XŒ‘’{djkeo-UXo?Z!Q“y”Z!eVapQSjki-Z!e3ndiEgWYZBUXrdeR`•–U`rZp—-U`Wod_kZn3{dRX˜JRrdZWU3g™WYZBaS{-UXrMjbaUX_k_kg1ƒZQhjš•Gg

apRr-apcdQSQhZ!rEqYodQhRTQVU`WeuRr8qS{dZU`cdqhRWU`qhZBy›qh{dZRQhZWœodQSRXƒZ!Q$ŸžŸ ¢¡£qodQSZ!ehZ!rEqSeUY•GcM_t_kg¤a+RWoMcdqhZ!Q

aS{dZBaS¥ZByJodQhRERX•RX•™UYodQSRqSR”a+R_5•GRQa+RWWcMrdjma!UXqSjtRXrMe1RXƒZQu•¦UXcM_tq£g¢ah{?UXrdrdZ_te3 ’{dZaS{dReSZ!reSo-Z3apjš§d¨

a!U`qhjkRrZ!rEƒEjkQhRrdWZ!rEqjkeu©uªf«m¬?­“ndeSjtr?apZqh{MZodQhRo-RehZBy®WRdyEZ!_Ÿa!U`ri?Zu•GQhcMjtq¯•Gcd_k_kgUXodoM_tjkZByYqSRU˜jby”Z

ƒU`QhjkZ!q£gRX•fodQhRid_kZ!WeUXr?yWRdyEjš§-ZBy°RQZ+—”qSZ!r-yEZ3y•GRQeho?ZBapjmUX_?odcdQSo-RehZ!e3 ¡£qoMQhRXƒEjmyEZ!e“Uu{MjtT{dZ!Q_kZ!ƒZ!_

R`•zUXideSqhQpUapqSjtRr¤qSRZp—dodQSZ!eheehR_kcdqhjkRrMe1qhRYo-UXQpUX_k_kZ!_ŸoMQhRTQVU`WWjkrdT°odQhRid_kZ!We3 1±8ZjkrEƒZehqhjkTEUXqhZ°{dRX˜

qS{dZ©uªf«m¬?­WZ!qS{dRdyER_kRTga!UXri?Z1WYZBaS{-UXrMjt²ZByjkrŸž³ndUXr-y{dRX˜˜0Z1a!UXrcMehZ1qS{dZ1qS{dZ!RQhZ!W´oMQhRXƒEjkrdT

WYZ!qh{dRdyER_kRTgqhRoMQhRXƒZuepU3•GZ!q£gUXr-y$_kjtƒZ!rdZ!eSeB 

µY¶E·f¸h¹º?Ž»ŠX‘ •GRQhWU`_“ƒZ!Qhjš§¼aUXqhjkRrŸn“apRr-apcdQSQhZ!rEqodQSRTQpUXW¢nodQhRqhRdapR_£n5•¦U`cd_kq£g½aS{-U`rdrdZ!_keBn(¾ŸUXQpaS{

odQSRXƒZ!Q

¿mÀ#Á¦Â£ÃBÄ1Á‹Å#Æk£ǣÈpÉ

ÊGË+ÌXÍÎÏÊ

ÐVÑ?ҟÓmԖÕGÑ?ԟÒ#ÖØ×pÙÚ8ÓmԳҟÓmۖÕtÜ

Ë+ÝGÝ

× Î ÙÞ!ßà–Ù

ÎÏá

Þ

Ý£ÊâÎÏãmäËpåuæ Þ£Ù

ÝNÎ1çdËpÎ ÙèS×

Ý£é ߓêë

ç

ë“ìpí!îXß1ïpð3ïpñ!òód×pÙÚ

Ë Þ ÌáÝ

Þ¯ÕkÜÏô

ÊÕ

Ô³×pÙè

ä ßÞ Í × Î ÜmõèNöÞ

ã

×+Ü

Ît÷

Ü

Ë+ÝGÎ

×Xë

åšÝ

Unite´ de recherche INRIA Lorraine

)(% 1)105$)".# !! %#* !)œ68°#z/:$')u

”Š‘]0Z!qUXQSqhjmap_kZyEsBa+Qhjkq®qhQVU3ƒZ!Qhe°cdr8Zp—dZ!WoM_tZnŸ_UXcdqSRWUXqhjkepUXqhjkRXryEZY_bUYƒs!Qhjš§¼a!U`qhjkRr8yEZ

odQSRTQVUXWYWZ!ea+Rr-apcMQhQhZr‚qSeØ_U`jmyEZ¤yEcoMQhRcMƒZ!cdQ¢yEZ¤qS{ds!RQ!WYZŸž³ ´¡£_uodQhsehZ!rEqhZJcdrdZ¢odQhZcdƒZ

•GRQhWYZ!_k_tZycdrodQSRqSR”a+R_kZ™yEZ(qhQpUXrdeSWjkeheSjtRr°qhQpU3ƒZ!QSezy”Z!ezaUXrdr-U`cE—yEsp•NZBapqhcMZ!cE—Ÿ “¾Zr‚ƒEjkQhRrdrdZ!WYZ!rEq

yEZ¢eho?sBapjš§¼aUXqhjkRr aS{dRjteSjuZ!ehq8©uªf«m¬?­“ncMr WYR”y!_kZo?RcMƒUXrEq!qSQhZU`odod_kjmlcMsJcdrMZ¤_mUXQSTZƒU`Qhjks!qSs

yEZoMQhRiM_WZ!e3n-WYRdyEjš§-sZ!qsqhZ!r-y”c8o-RcdQyEZ!eU`odod_kjma!UXqSjtRrde1o?UXQhqSjmapcd_kj !QhZ!e3 !RcMe"U3ƒRrdeus!qSc-yEjks_mU

•GRQhWUX_kjkeVUXqSjkRr1yEZ0_mUWsqh{dRdyER_tRTjkZ#y"Ï©uªf«m¬?­_UXjmyEZyEcodQhRcdƒZcdQyEZqh{Ms!RQ#!WZ!e0Ÿž³nXZ!qapRWYWZ!rEq

cdqSjk_tjkeSZ!Q1apZodQSRcdƒZ!cdQo?RcdQ_mU°odQhZcdƒZy”ZodQhRodQhjks!qSsyEZ$&%(')+*,0Z!quyEZ-/.0-2143. *,! 

5 º?ŒKŠ¸V768J‘:ƒs!Qhjš§¼aUXqhjkRr•GRQSWZ!_k_kZnModQhRTQVU`WWYZ™apRr-apcdQSQhZ!rEqBn³odQSRqhRdapR_kZnŸa!U`rdr-UXc”—½yEsp•GZ3apqhcdZcE—Ÿn

¾³UXQVaS{oMQhRcMƒZ!cdQ

'1 ' 1 ' * 3 ' 3 .83+1 *. $ - )' 1*3 1 )$4$&. *)

! " #›0# !$

# ZƒZ!QpUX_“U`ododQhREUaS{dZ!euqSRoMQhRTQVU`W ƒZ!QSjϧfa!UXqSjtRr{-U3ƒZi-ZZ!r8odQhRo-RehZBy¢UXr?ycdehZ3y¢jtr›qh{dZ_kjtqSZ!QVU`qhcdQSZ 

$ WRrMTqh{dZ!W¢ndqS{dZ!QhZU`QhZq£˜“RYodQhjkr-a+jto?UX_ŸƒEjkZ!˜e3nfRrdZRo?Z!QpUXqhjkRr-UX_UXr-yqS{dZRqh{MZ!QuehgErEqVUa+qhjmaX u’{dZ

§-QSehqRrMZ®a+RrdeSjteSqheRX•UXr-U`_kg‚eSjkrdT8qh{dZ›odQhRTQVU`W jkrqhZ!QSWeRX•jkqheYZp—dZBapcdqSjkRreSZBlcdZ!r-apZeBnUXr?UX_kgEehjke

˜{djmaS{jkeRX•NqhZ!reSc-a!apZehe£•Ncd_jkrqh{dZa!UXeSZRX•eSZBlcdZ!rEqhjmUX_odQSRTQVUXWYe“iMcdq1Wc-aS{_kZ!ehe(ehRYjtrqS{dZa!U`ehZR`•

apRr-apcdQSQhZ!rEq0odQhRTQpUXWe3 f’{dZ0ehgErEqVUapqhjmaUXoModQhREUaS{jke³i-UXeSZByRrUXrUK—djtRWU`qhjma³QhZBU`ehRrMjtrMT-nX˜{dZQhZRrMZ

rdZZByEe™U"•GRQhWU`_kjteSW qSRZp—dodQSZ!ehe(qh{dZuQSZ!_kZ!ƒUXrEq0odQhRo-Z!QSqhjkZ!e(RX•‹U°odQSRTQpUXW¢nUXrUXododQSRodQSjmUXqhZu_mUXrMTc-U`TZ

qSRapRrdeSqhQSc-apq˜0Z!_k_š¨G•NRcdr-y”ZBy¢•GRQhWcd_mU`e"U`r-yUoMQhRERX•ehgEeSqhZ!W7qhR8apRrMehqhQSc-apqodQSR‚R`•GeB J’{dZ¢©uªf«m¬?­

Z!rEƒEjkQhRrdWZ!rEq&%Ï]('*)+),odQhRXƒEjmyEZ!eqS{dReSZ™qSRER_keqhRyEZ!eSjtTrUXr-yYodQSRXƒZapRr?apcdQhQSZ!rEquodQhRTQVU`We3 

-(Z!eSodjkqhZqS{dZ0QhZ!_mUXqSjkƒZeSjtWYod_kjmapjkq£gRX•dqh{dZ0odQSRo?RehZ3yWYR”y”Z!_£n!qh{MZ•GRQhWUX_3ƒZ!QSjϧfa!UXqSjtRrRX•fUodQSRTQpUXW

eSo-ZBa+jϧ?ZBy¢jkr¤©uªf«m¬?­QSZBlcdjkQhZ!eUaUXQhZ+•Gcd_UXr-U`_kg‚eSjke1UXr-yjkrEƒR_kƒZ!e1U`rZrdRQSWRcMe™UXWYRcdrEq0RX•“ap_kZ!QSjbaUX_

yEZqVUXjk_£ 0’{dZ!QSZp•GRQSZnŸU$qh{dZ!RQhZ!W oMQhRXƒZQ1jke1QSZBlcdjkQhZByqSRodQSRXƒEjby”Z"U$ƒZ!QSg{djkT{yEZ!TQhZ!ZRX•“apRrE§¼yEZ!r?apZ

jkrqh{dZapRQhQSZBapqhrMZ!eheR`•#qS{dZuƒZ!QSjϧfa!UXqSjtRrŸ 0©uªf«m¬?­¤R.fZ!QSe™U°_tRTjma1U`r-yUrMRqVU`qhjkRrYjkr˜{djmaS{UXideSqhQVUapq

eSo-ZBa+jϧfa!UXqSjtRr8RX•“qS{dZapRWYodcdqVU`qhjkRrU`r-yjkqhe(ehc-a!a+Z!eheSjtƒZQSZp§-rdZ!WYZ!rEqheUXQSZZ+—”oMQhZ!eSehZByfn˜jkqS{dRcdquUXrEg

WYZ!rEqhjkRrYqhRZ+—”Z3apcdqhjkRrehZBlcdZr-apZ!e3 u’{djke $ *1 *.830ƒEjkZ!˜ R`•‹qS{dZodQSRTQVUXWQhZ3a!UX_k_ŸqS{dZY/1032548eSq£gE_tZuR`•

eSo-ZBa+jϧfa!UXqSjtRr6%87:9;7=<Ÿ…+ >,hnE˜{djmah{YZ!WoM{-UXeSjt²Z!eidQhZƒ‚jkq£gUXr-yap_mUXQSjkq£gQVUXqS{dZ!Q(qh{-U`rZ+—”Z3apcdqVU`idjk_kjtq£gE 

¡£r8qS{djkeuo-UXo?Z!QBn˜0ZyEZ!epapQhjki?ZUY•GRQSWU`_ŸodQSR‚R`•1RX•1UapRr-a+cdQhQSZ!rEqodQhRTQVU`W eSo-ZBa+jϧ?ZByJjtrJ©uªf«m¬?­

U`r-y˜“Z(eh{dRX˜{dRX˜ ©uªf«m¬?­_kRTjma0UXr-yWYZ!qh{MR”y”R_kRTg"a+Rcd_myi?Zeho?ZBapjš§-Z3y˜jkqS{djkrUuTZ!rMZ!QVU`_Ϩ£odcdQSo-RehZ

qS{dZ!RQSZ!WodQhRXƒZ!Q0•GRQ5§-QSehqRQpyEZ!Q_kRTjma0_tjk¥ZuŸžŸnEjkrRQVyEZ!QqSRƒZ!Qhjš•GgepU3•GZq£gUXr-y$_tjkƒZ!rdZ!eSeodQhRo-Z!QSqhjkZ!e3 

?MRQuqh{?UXqBn³˜0ZodQSZ!ehZr‚qqh{MZ•GcM_t_kgapRWodcdqSZ!QaS{dZBaS¥ZByØodQhRER`•zR`•zUYodQhRTQVU`W yEZeVapQSjtiMjtrMT®UYodQSRqSR”a+R_

•GRQapRWYWcdrdjma!UXqSjkRXrdeRXƒZ!Q(•¦U`cd_kq£gaS{-U`rdrdZ!_keB A@(cdQUXjkW jkeuqhReh{MRX˜ qh{?UXqu˜“Za!U`r¤qpUX¥ZUy”ƒUXrEqVU`TZ

R`•™i?Rqh{qS{dZo-RX˜0Z!QUXr?yqS{dZehjkWoM_tjmapjkq£gR`•©uªf«m¬?­ U`r-yŸž³nzU`r-yJqh{-U`q*U¢qS{dZ!RQhZ!W7odQhRXƒZ!Qa!U`r

i?ZUapqhc-U`_k_tg¢cdeSZBy8qSR¤yEZ!qSZBapqB-RX˜ejkrUoMQhRTQVU`W eho?ZBapjš§¼aUXqhjkRrŸnZ!ƒZ!reSjkWod_kZRrdZodQSZ!ehZr‚qSZByJjkr

qSZp—dqhi?R‚R¥EeB 

’{MZ™oMQhRqSRdapR_³ehqhc?yEjkZByYjtrYqh{djkeo-U`o-ZQ1jke“qpUX¥Z!rY•GQhRW ]0{-UXoMqhZ!QCD°RX•#qS{dZqSZp—dqhi?R‚R¥R`•‹]0{-U`r-yEg

U`r-y*'jkehQpUE%Ï]('*)F),¯ PQSjkWUXQSjk_tgEnXRcdQ1eSqhc-yEg˜UXevpcdehq(jkr‚qSZ!r-yEZ3yqhRah{MZBaS¥RcdQjkWYod_kZ!WZ!rEqpUXqhjkRrR`•

©uªf«m¬?­HG?˜{dZ!qS{dZ!Quqh{dZ_kRTjbaehcdoMo-RQhqhZ3yiEg¢Ÿž¤a!U`ri?ZcdeSZBy›qhRZ!r-a+R”y”ZqS{dZ_kRTjma(RX•©™ªf«â¬?­“n-UXr?y

˜{dZqh{dZ!Qqh{MZeSq£g‚_kZRX•1JI eSo-Z3apjš§¼a!UXqSjkRr8apRcd_my›i-ZcdeSZBy¢qhReho?ZBapjš•Gg¢U©uªf«m¬?­odQSRTQVUXW¢ K-(Z!eSodjkqhZ

jkqheeSjkWod_kjmapjkq£g‚njkqzapRrEqVUXjkrdeUX_k_?qh{dZyEjMLapcM_tqSjkZ!e“UXr?yodQSRid_kZ!WYeRX•UQSZBUX_fodQSRqSR”a+R_ŸUXr?yUX_k_kRX˜ecde0qhR

ZBU`ehjk_kgjk_k_tcMehqhQpUXqSZ“qS{dZehR_tcMqhjkRrde˜0Z“oMQhRo?ReSZ wƒZ!rjkreSc-aS{Ui-U`ehjma0odQhRqhRdapR_dodQhZehZ!rEqhZ3yiEgZp—do?Z!QhqSe

jkr¢©™ªf«â¬?­“nE˜“Z(•GRcdr-yiMcdTeuUXr-yB¼U3˜eBnMZ!eheSZ!rEqhjmUX_k_kgq£˜“RjkrYRcdQZp—do?Z!QhjkWYZ!rEqheB 

?³jkQheSqu•GRQ™qS{dZeVUK•GZ!q£g¢odQhRo-ZQhqhjkZ!e3nqh{dZ•Ncd_k_#WYZBaS{-UXrMjt²3UXqhjkRrRX•qh{dZoMQhRERX•1_kZBUycde3n#U`eRX•NqhZ!r¢jkr

eSc-aS{®U`rZp—do-Z!QSjkWZ!rEqBnqhRZr‚qSZ!Q_kRX˜0¨¦_kZ!ƒZ!_fyEZ!qVU`jk_fRX•#qS{dZ1eSo-Z3apjš§¼a!UXqSjkRrŸ 5’{djke“rdZ3apZ!ehepUXQSgQhZp§?rdZ!WZr‚q

•GRQVapZecdeuqSR®UydyEQSZ!eheUXeSehZ!QSqhjkRrde°˜{dReSZodQhRERX•jkeuZ!jkqh{dZ!Q°cdr-yEZ!QSehqSR‚Rdy¢RQ_kZp•GquqhRqh{MZQhZBUyEZ!QBnUXr?y

U`e™Z+—”o?ZBapqSZBy¢˜0Zu•GRcMr-yqh{MZ!QhZcdr-yEZQhZ!eSqhjkWU`qhjkRrRX•0qh{dZUapqhc?UX_yEjMLapcd_kq£gR`•“qh{MZodQhRER`•V ™P‹QhZBapjkeSZ!_kg

]0{-U`r-yEgUXr?y*'jkehQpU e1odQSRERX•“jke1i?UXehZ3yRrqh{dZ°jtrEƒU`QhjmUXr-a+ZRX•qh{MQhZ!ZodQSZByEjma!U`qhZ!e:NPOXn1NRQU`r-y*NSUXr?y

qS{dZUXcMqh{dRQhe1cMr-yEZ!QSehqhRERdy›qh{-U`qqh{dZjkrEƒUXQSjmUXr-apZuR`•‹Z3UaS{odQhZBy”jbaUXqhZa!U`ri-Z°odQhRXƒZByYjtr?yEZ!o?Z!r-yEZ!rEqS_tgE 

’{dZ°Zp—do-Z!QSjkWZ!rEq˜jkqh{¢Ÿž{?UXeeh{MRX˜rqh{-U`qqh{dZ°jtrEƒU`QhjmUXr-a+Z1RX•HNPO(QhZBlcdjkQhZe™qS{djkeRX•HNSU`r-yYqh{djkeR`•

U`r®UydyEjkqhjkRr-UX_?odQhZ3yEjma!UXqSZ 

#

ZBapRr?y›•GRQuqh{MZ_kjkƒZ!rdZeheodQSRo?Z!QhqSjkZ!eBn˜0Z{djkT{d_kjkT{EqSZByqh{MZ•¦Uapquqh{-U`qqh{dZ_kRX˜0¨£_kZ!ƒZ!_5ehqhZodeT ) *

* *U )')+1+V )&'a!UXQSQhg8qh{MZ®y”Z!Z!o?Z!QU`eho?ZBapqRX•1qS{dZodQhRqhRdapR_¦nZ T? ¢qh{dZydU`qVUapRWWcdrMjbaUXqhjkRrRXƒZ!Q

qS{dZY•¦UXcd_kq£g8aS{-UXrdrMZ!_keB  'RQSZ!RXƒZ!QqS{dZZp—do-ZQhjkWZ!rEq{-UXeqVU`cdT{Eqcdeqh{?UXqqh{dZehqSQVU`qhZ!Tg UXeSo-Z3apqjkr

yEZƒZ!_kRoMjtrMTUodQSRERX•RX•_tjkƒZ!rdZ!eSe1a!UXrdrMRq1UXq1U`_k_fi-ZurdZ!T_kZBapqhZ3yf 

’{MZo-U`o-Z!QjkeRQST‚U`rdjk²!ZByU`eu•GR_t_kRX˜e3 ±8ZehqVU`QhqiEg½U›idQhjkZp•™y”Z!eVapQSjkodqhjkRrJRX•1qS{dZWYZBaS{-UXrdjk²!Z3y

jkWoM_tZWZ!rEqVU`qhjkRrYRX•u©™ªf«â¬?­ jkr³žŸ ’{MZ!r8˜“ZyEZ!epapQhjki?Zqh{dZapRWWcdrMjbaUXqhjšRrodQSRqhRdapR_odQSRXƒ‚jmyEZ3y

iEg8]0{-UXr-y”g½U`r-y6'jkehQpU %Ï]('*)F),¯nUXr?y¢˜“ZeS{dRX˜ qh{dZYWUXjkrehqSZ!odeR`•zqS{dZWYZBaS{-UXrdjk²BU`qhjkRr›RX•qh{dZ

apRQhQSZBapqhrMZ!eheoMQhRERX•V J¡£ro?UXQhqSjmapcd_mUXQ3n˜0ZZ+—”oM_bU`jkrqh{MZ B?RX˜eyEZ!qhZ3apqhZBy jkrqS{dZeVU3•NZ!q£godQSRERX•Ge3n“UXr?y

˜0ZyEZeVapQSjti?Z!eYqh{dZYehqhQpUXqSZ!Tg8cdeSZByJqhRoMQhRXƒZYodQhRTQSZ!eheodQhRo-ZQhqhjkZ!e3  ?³jkr-UX_k_kg‚n–˜“ZapRr-a+_tc?yEZ˜jkqh{U

yEjkepapcdeheSjkRr¤U`i-Rcdq“qS{djkeehqSc-yEgUXr-y*•GcdqScdQhZ˜0RQS¥f 

±8Z°ehcdodo?ReSZUY_tjkqSqh_kZu•¦U`Wjk_kjtUXQSjkq£g˜jtqS{qh{MZŸž¤eSgEehqhZW£UXe(•GZ!˜ UXeuo?ReheSjkid_kZuUXr-y›˜“ZQhZ3apRW$¨

WUXr-y %87:7…M„,#U`e1UXrYjtrEqSQhRdyEc-apqSjkRrŸ ³’{djke“Z+—”o?Z!QSjtWYZ!rEq{-UXe0i?Z!Z!rapRr?yEc-apq(˜jtqS{qS{dZuQhZ!_kZBU`ehZ[d |R`•

¢/) )u K$4

"

Y%³,%³#)" 3:689

?MRQRcMQŸodcdQSo-RehZnEUu©uªf«m¬?­odQhRTQVU`W apRrMehjkehqSe#R`•-qh{MQhZ!ZeSZBapqhjkRrdeUu»Ÿ¶d76GdŽX¶(ehZBa+qhjkRrqh{-U`qyEZBap_mUXQSZ!e

qS{dZƒUXQSjbU`id_kZ!ecdehZ3yjtrqh{MZ“odQSRTQVUXW¢nXUXrNŒN 606N·ehZ3apqhjkRrqS{-UXqyEZeVapQSjti?Z!eqS{dZ“jkrdjkqSjbU`_EƒUX_kcdZ!eRX•?qh{dZ

ƒU`QhjmUXid_kZ!e3n‚U`r-yU`r-Š3Š¤eSZBapqSjtRrqS{-UXq1apRrdehjkeSqheRX•#U°rdRrE¨¦ZWodq£gehZ!qR`•#UXeSehjkTrdWYZ!rEqehqpUXqSZ!WZ!rEqSeB 

w³—dZBa+cdqhjkRr8R`•zZƒZ!QSg©uªf«m¬?­ehqpUXqhZWZ!rEq¦U`ehehjkTrdWZ!rEq1qSZ!QhWYjkr-UXqSZ!eujtr¢Z!ƒZ!Qhg¢odQhRTQpUXW eSqVU`qhZUXr?y

UØodQhRTQVU`WœZ+—”Z3apcdqhjkRr apRrdehjkeSqheRX•UXr jtr”§-rdjkqhZrEcdWi?Z!QR`•"eSqhZ!oMejkr˜{MjbaS{Z3UaS{ehqpUXqSZ!WZ!rEqYjte

Zp—dZBa+cdqhZBy jtr”§-rdjkqhZ!_kg8R`•GqhZ!r³  $ ©uªf«m¬?­ oMQhRTQVU`W qhZ!QSWjkr-U`qhZ!eiEg8QSZBUaS{djkrdTU !4) V .(*¦n5˜{djmaS{

jke1Z3lcMjtƒU`_kZ!rEq1qhRYqhZ!QSWjkr-U`qhjkRrYjtr›ehqVU`r-ydU`QVy›ehZBlcdZ!rEqSjbU`_š¨¦odQSRTQVUXWYWjšrdTqhZQhWjkrdR_kRTgE “]0RQhQSZBapqhrMZ!ehe

R`•zapRr?apcdQhQSZ!rEquodQhRTQVU`We0jke™yEZp§?rdZBy›jtrqSZ!QhWYe1RX•odQSRo?Z!QhqSjkZ!euRX•Zp—dZBapcdqSjkRr¢ehZBlcdZ!r?apZ!eB u’{MZ!QhZU`QhZ

q£˜0Ri-U`ehjma(¥Ejtr?yEe1R`•‹oMQhRo?Z!QSqhjkZ!euRX•“apRr-apcdQSQhZ!rEquodQhRTQpUXWe"$# 1 ) * XnMqh{dZodQhRo-ZQhq£gWcdehq1U`_k˜zU3gEe0i-Z

qSQhcdZn³UXr-y .- ) ) $ $!n?qh{MZodQhRo-ZQhq£gWcdeSq“ZƒZ!rEqhc?UX_k_kgi?ZqSQhcdZA%Ͼ³UXW}} ,h 0’{dZ!QhZUXQSZu§-ƒZQhZ!_mU`qhjkRrde

Rr¤odQSZByEjma!U`qhZ!ejkr8©uªf«m¬?­qS{dZ!RQSg%'& ) $+$+n(# *1*))n. -212'+.81(*¦n,+H($R(') $™UXr-y )+1FV $.- *  1’{dZ°§-QSehq

qS{dQhZ!ZU`QhZcdeSZBy•GRQehqpUXqSjtrMT™epU3•GZq£godQSRo?Z!QhqSjkZ!e˜{dZ!QSZBUXe0qh{dZ(_mUXehqq£˜0RUXQSZcdehZ3yqhR°Zp—dodQhZ!eSe ' ') $+$

odQSRo?Z!QhqSjkZ!eBnfUehcMidehZ!q(RX•_tjkƒZ!rdZ!eSe1odQSRo?Z!QhqSjtZeB 

’{MZQSZBUy”Z!Qa!U`rJ§-r-yJqh{dZeSo-ZBa+jϧfa!UXqSjtRrdeR`•™qS{dZ¢©™ªf«m¬?­ _kRTjbaYUXr-yØWZ!qS{dRdyER_kRTg¢jtr Ÿžjkr

%Ï]0{dZB…†P,hnE˜jkqh{qh{MZZ!r-apRdyEjkrdTYRX•qh{dZeSgEr‚qpU3—RX•0©™ªf«â¬?­“ndqh{MZ˜oE¨ha!UX_mapcd_kcde1U`r-yYqh{dZ°ehgErEqVU3—RX•§-QSehq

RQVyEZ!Q(odQhZ3yEjma!UXqSZ!eB 5¡£rqS{dZu•GR_k_tRX˜jkrdT?nX˜0Z™TjkƒZ1Rrd_kgqh{dZyEZ+§-rdjkqhjkRrMerdZ!ZByEZ3yjkrqS{djkeo-UXo?Z!Q3 

/1032547698:6.;<47=>;?@8:A70CB147698EDGF7H:0I76.J%K(8:0=

PQSRERX•Ge³jtr©uªf«m¬?­UXQSZi-U`ehZByuRrUXeheSZ!QhqSjkRrdeRX•dq£gEo?Z$LNMOEPELEQO‚nZBlcdjkƒUX_kZ!rEqfqhRRMTSVU<W%X9P*YQ[ZnB˜{MZ!QhZ

U,W%X\PYQ[Z0jkeqh{dZu˜0ZBUX¥Z!ehq(odQhZp¨hapRr-yEjkqhjkRr$•GRQqS{dZuo-Rehq¯¨¯apRr-yEjkqhjkRr]Q %8-(jv!}~ ,h Ÿ’{dZu˜oE¨ha!U`_ba+cd_kcde0•GRQ

U`ehehjkTrdWZ!rEqeSqVUXqSZ!WZr‚qSeujte•GRQSWU`_tjk²!Z3ycdeSjtrMTqh{MZu•Gcdr-a+qhjkRr_^ a`cbEdegfih*jlkmNnoh*jlka   bEde jke1qh{MZehRQhq

R`•"Ua+qhjkRrde3n h*jlka jkeqh{dZYehZ!qR`•1i-RER_tZ3UXr8Zp—dodQSZ!eheSjtRrdeB  $ eqh{djkeehZ!qjkerdRq@£UXr-yJa!UXrMrdRqi-Z"U`r

Zp—dqSZ!rdehjkRrRX•i-RER_£Ui-UXeSjma1q£gEo?ZuodQhRXƒEjmyEZBy$i‚g›ŸžŸnM˜“Zu{-UyqhRy”Zp§-rdZ.; 58"p

'lp 1 V"p *' )p

1$/)

U`erqS ncs8U`r-y@tyEjM.fZ!QhZ!rEq0•GQSRW ³ž eidcdjk_kq£¨£jtrRo-ZQVUXqSRQSe5Suqmv •NRQ0jtWYod_kjma!UXqSjtRrŸnXyEjketvpcMr-apqhjkRrUXr?y

apRrBvpcdr?apqhjkRr³ 

#

R*U`e0•GRQ7w*w"x egfcy"z

˜{djmah{U`QhZyEjM.¼ZQhZ!rEq0•GQSRW ŸžRo-Z!QpUXqSRQhe{w"x egfc|

 ±8Z™U`_teSR*y”Zp§-rdZ

U`Qhjkqh{dWYZ!qhjmaYZp—dodQSZ!eheSjtRrde}

jlkm

ni?R‚R_kZBUXrZp—dodQSZ!eheSjtRrdeWU3gapRrEqVUXjkrUXQSjkqh{dWYZ!qhjmaeScdi?Zp—dodQhZ!eSehjkRrMe

'1 ' 1 ' * 3 ' 3 .83+1 *. $ - )' 1*3 1 )$4$&. *) †

XlXZ*Z t X J±8ZU`_kehR¤yEZ+§-rdZ¤UapqhjkRrMe*U`r-y8_kjkehqRX•UapqSjtRrde bEde n b.eno-UXjkQSeRX•1jmyEZ!rEqhjš¨

§-ZQhe1UXr?yZp—dodQhZ!eSehjkRrMeRXYW ZRQ$XY W ZU`r-y°§-r-U`_k_tg°ehZ!qSe“R`•Ÿo-UXjkQhe_ je 5qh{-U`q˜“ZqS{djkrd¥RX•#UXe

i?Z!jkrdTucdrdRQVyEZ!QSZBy_kjkehqheR`•-o-UXjkQSeŸRX•?jby”Z!rEqhjš§-Z!QSe“UXr-y"Zp—dodQhZ!eSehjkRrMeB H9Z!QhZjke³qh{dZU3—djkRWUXqhjk²BU`qhjkRr(RX• ^

"!#%$&

''()

$*&"+, ''-+./01"23&254#46'7"8:9;81"&"+&"+./01"23&"2

$*&"+,<>=@?A9* ''-+./0138"23&254#4B+8DCEF$&"+, ''-+./0G1@2G3&"22IHJ+"@="+8"2#CEK&"2

$*&"+!L7"MG9 ''-+&"M23&"2*4#4N'789O8"G1@&"+&"M3&"2

$*&"+,<>=@?A9O!L7"M9* ''-+&"M3823&"2*4#4B+8PCEF$*&"+!L7"M9* ''-+&"M2G3&"22HQ+"="+8"2*CEK&"2

’{dZ"•Gcdr-apqSjkRr

R*hS5h*jlkm:T@.egfi:U

nf˜{dZ!QSZ .e

U_kjkehqR`•#o-U`jtQSe

TWV:fcjlkm:U

n-eScdideSqhjkqhcdqSZ!e1Z3UaS{R”aapcdQhQSZ!r-apZ

R`•

WV

iEg jlka

jkr8qS{dZi?RER_kZBUXr8Z+—”oMQhZ!eSehjkRr

 8¾fZ!q°cderMRX˜&TjkƒZqh{MZyEZp§?rdjkqhjkRr8R`•1qh{dZYqhZ!WYo-RQVUX_

odQSZByEjma!U`qhZ!e3 

"!#X7""M''

''()

7"M>''+&3YA3 "".M2#4Z46([7@

7"M>''+&3YA3 "2\4Z4B+++&"HQ]Q+^Y22CE_$&+^ 3`&"aIY224\b2

7"M>''+&3YA3 "cI <>9OM2\4Z467""M>''+&3Yd3: "2;e7""M''+&3YA3A <>G9;M2

"!#%'7"(f>'

''()

'7"(f>'+&3"Yd3: "".M2O4#4Ng[ "M'

'7"(f>'+&3"Yd3d&@-!L2*4#4B7""M''+&3YA3`&-!L2Qeh1".'^'>9* <>+&3YA3`&-!L2

"!#%1@.'9* <>

''()

G1@.'^'9* <+&3"YA3A "".M2\4Z4Ngi "M'

G1@.'^'9* <+&3"YA3A "2*4Z4B+++&XHj]Q+,Y22\CEk$*&"+, 3:Y224\b2

G1@.'^'9* <+&3"YA3A "c5 <>G9;M2*4Z46G1@.'^'9* <+&3"YA3A "2*aJ1".'^'>9* <>+&3"Yd3: <9OM2

"!#XM> ?"'9*^=

''()

$*lX'7"(f>'+&:3"YA3`&-!L2Qm.M?DM> ?"'9*^=+&3Yd3d&@-!L2

M> ?"'9,=+&:3:(,3:&-!L2OHJM ?"'>9*^=+(,3Yd3d&@-!L22*EnM> ?"'9,=+&:3YA3`&-!%2

M> ?"'9,=+&:3:(,3:&-!L2OHJM ?"'>9*^=+^YA3<"3A&-!L22*EKM> ?"'9*^=+&oapYA3`(jap<3:&-!%2

M> ?"'9,=+&:3YA3`&-!%2*HJM> ?"'9*^=+(^3YA3`&-!L22*EKM> ?"'9*^=+&qaJ(,3AYA3`&-!%2

"!#srt> ([. @@

''()

rt+&:3d&@-!X3`.".G9<=?2\4#4B++.".G9<=?uCEK&"24\b*2*e7"M>''+&3WvA3&@-!L2

bAw<bEd eSx

jkeqS{dZ_kjteSqRX•ŸUX_k_Eqh{MZ™Ua+qhjkRrdeR`•Ÿqh{dZodQSRTQVUXW¢ ?MRQUXrU`qhRWYjmaŸeSqVU`qhZ!WYZ!rEq

b n R w jT afWy:fcbAU

WYZBUXrde°qh{-U`qjš•

{MR_myEeU`r-y

y

yEREZ!erdRq°jtrUYodQSRTQVUXW eSqVUXqSZnqh{MZ!r UK•GqhZ!Q°Zp—dZBapcdqSjtrMT

b

Z!jkqh{MZ!Q

y

RQ

{dR_myEeAGf{dZr-apZniEgjkr-yEc?apqhjkRr›Rr¢qh{dZrEcdWi?Z!Q1R`•“ehqpUXqSZ!WZ!rEquZp—dZBapcMqhjkRrde3n

¥ZZ!ode{dR_myEjkrdT

U`e_kRrdTUXe y y”R‚ZerMRq{dR_myf  ’{dZ•Ncdr-apqSjtRr jlk`.eS_bEd e aS{dZBaS¥Ee˜{dZ!qS{dZ!QqS{dZ!QSZ¤jke b jkr zI{

eSc-aS{8qh{-U`qrLWrth|%}O:~ L:}OjkeuƒUX_kjmyf ?dRQ™UYTjkƒZrodQhRTQpUXW zI{ n j w "RjTmfy fiz5{uU jkWoM_tjkZ!eqS{-UXq

R w jTmfWy:fizI{€U {dR_by”enfUXr-y®jϕ {dR_by”e™UXquUXrEgo-Rjkr‚qjkrqS{dZZp—dZBapcdqSjtRr¤R`•qh{dZodQhRTQpUXW qh{MZ!r y

{dR_myEeZ!ƒZr‚qSc-UX_k_kgE  w bdcb w e>Tmfz5{ fcd x:w V SPw e>U ehqpUXqhZe1qh{?UXq0jϕ%W{MR_myEeUXqZ!ƒZ!QhgYjtrMjtqSjmUX_?ehqVU`qhZUXr?y

WjkeehqpUXid_kZnEqS{dZ!r@W{MR_myEeUXqZ!ƒZ!QhgehqpUXqSZ"y”cdQhjkrdTU`r‚gZ+—”Z3apcdqhjkRrRX•odTW¢ 

¡£r¢RQpyEZ!QqSRjtr”•GZ!Q$W^~ mP }YRr-apZ˜“Z{-U3ƒZ5WB%P A"P }$jkr¤qS{dZapcdQSQhZ!rEqeSg‚eSqhZ!W¢nŸ˜0ZcdehZ

˜{-U`qŸž¢a!UX_k_ke™UY»Ÿ¶d» XŒ"GºQScd_kZUXr-y®˜{djmah{›jtqrMRqhZe5^ j wE *) $/)+$ cjV 3 3RM4$&. ($g0qh{dZ

)Rap_mU`cdehZapRr‚qpUXjkrde0qh{dZu{EgEo-Rqh{dZehZ!e(RX•#qS{dZuQhcd_kZUXr?yqh{MZ2. )RV1ap_mU`cdehZnMqh{dZ(•¦Uapq0jtr”•GZ!QhQSZByY˜{dZ!r

qS{dZu{‚gEo?RqS{dZ!ehZe1UXQhZuqSQhcdZ ¡£rYqh{dZyEZ+§-rdjkqhjkRrR`•#qS{dZ1odQSZByEjma!U`qhZu_kZBUyEeqhRE%Ï]('*)+),hnqh{dZuyEjketvpcMr-apqhjkRr

QScd_kZjte°QhZBU`_t_kg¤U`r¤jkrE§?rdjkqhZehZ!qRX•Qhcd_kZ!e3nŸRrdZ•GRQ™Z3UaS{8jkr‚qSZ!TZQ ¡£r-yEZZByfnUX_k_RX•qh{MZ!ehZYQhcd_kZ!eU`QhZ

apRrdehZ3lcMZ!r-apZ!eYRX•eho?ZBapjmUX_a!U`ehZR`•1qh{dZQScd_kZ•GRQ z  E?dcdQSqh{dZQhWRQhZn³˜0ZapRdyEZqS{dZyEjketvpcMr-apqhjkRr

QScd_kZu•GRQ z ndU`r-yUeho?ZBapjmUX_a!UXeSZRX•qh{dZuTZ!rdZ!QpUX_#y”jtekvpcdr-a+qhjkRrqh{MZ!RQSZ!W %Ï]('*)F),h 

ˆ g» ‹`ŒNº#ŽE E6m¶hº-Ž6N¶E-»Š

Œ3º

’{MZ•GR_t_kRX˜jkrdTjkr-yEc-a+qhjkRrJQhcd_kZjkeapQhc?apjmUX_i?ZBa!UXcMehZjkqjtrEƒR_kƒZ!e°qh{dZY•Gcdr?ydUXWYZ!rEqVUX_5odQhZBy”jbaUXqhZn

) 1FV $.- * ˜{MjbaS{Jcdehc-U`_k_tg8{MZ!_kodeqSR8eho?ZBapjš•GgJodQhRTQhZeheodQSRo?Z!QhqSjtZeRX•uodQhRTQpUXWe3 8¡£rWYReSqRX•uqh{dZ

odQSRERX•GeRX•™apRr-apcdQSQhZ!rEqodQSRTQVUXWYeBn³jkr8RQVy”Z!QqSR¤oMQhRXƒZU›odQSRTQSZ!eheodQSRo?Z!Qhq£gEn˜0Z{-U3ƒZYqhRZ+—”{MjtiMjtq

eSRWZqh{djkrdT˜{djmaS{ 3yEZBapQSZBUXeSZ!e n?ehR˜0Z™rMZ!ZByUQScd_kZ™qSReSo-Z3apjš•Ggqh{-U`q0•¦Uapq3 

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

/

25476

/8/9;:<>=

2@?-A)B

$%C (+,EDF9:<HGJI

2K3LM

9

?NA)B

$%C (+,

M

O jke#UehZ!q˜0Z!_k_š¨G•GRcdr-yEZ3y1cMr-yEZ!Qqh{MZ“QSZ!_mUXqhjkRrPQUXr?ySR7jke#U0•Ncdr-apqSjtRrGqh{MZK)+*'+.83l?•GQSRW odQSRTQpUXW

eSqVUXqSZ!eqSRTO  (’{dZ{EgEo-Rqh{dZ!eSjke™R`•qh{djkeuQhcd_kZjke(qh{-U`q•GQSRW UXrEgYodQhRTQVU`W ehqpUXqhZjkr˜{djmaS{@W{MR_myEeBn

qS{dZoMQhRTQVU`W Zp—dZBapcdqSjtRr¤ZƒZ!rEqhc?UX_k_kgQSZBUaS{dZe"U$ehqpUXqhZjkr˜{djmaS{}{MR_myEeBnMRQujkqQhZBUaS{dZ!eU$ehqVU`qhZjkr

˜{djmaS{@W›{dR_myEe(˜jtqS{¤U_kRX˜0Z!QƒUX_kcdZ°RX•qh{dZWZqhQhjmaUR   # jkr-a+ZqS{dZWYZ!qhQSjma1ƒU`_kcdZa!UXrdrMRqyEZBapQSZBUXeSZ

•GRQhZ!ƒZ!QBnMZ!ƒZr‚qSc-UX_k_kgU°ehqpUXqSZjkeQhZBUah{MZByjkr˜{djmaS{h}{MR_myEeB 

¡£r¢ŸžŸnM˜“ZueSqVUXqSZqh{MjteoMQhjkr-apjkod_kZUXe"

!+V0W5/ XY[Z+\)] ^_

Da`b:

Y+c

D

Xed f+Xg K f Da`b:

XY#hjik+_

D

XedfaXg KaK3L c.f

`[lnm

K

XY[Z+\)] ^_

Da`

fac.f

`[lom

K

˜{dZQhZ j"y jke1U°•Gcdr-apqSjkRrqSZ!ehqSjkrdTT!ZBlc-U`_kjtq£g%(RX•q£˜“RZp—dodQSZ!eheSjkRr_kjkehqSeBndUXr?y j kdcd x•NRQhWUX_kjk²!Z1U_kZp—djš¨

apRTQpUXod{djma(RQpyEZ!QSjtrMTRr_kjteSqheR`•‹UXQSjkqh{dWYZ!qhjmaZ+—”oMQhZ!eSehjkRrŸ 

pYº?ŒB¶% @(cdQjkWYod_kZ!WZ!rEqpUXqhjkRr¤R`•©uªf«m¬?­ a+RrEqVU`jtrMeUX_k_1yEZp§-rMjtqSjkRrde3n“qS{dZ!RQhZ!WYeBnapRQSR_k_mUXQSjtZeyEZp§d¨

rdZ3yjkr %Ï]('*)+),h  '®RQhZRXƒZ!Q3n“˜0ZyER¢rdRqapRdyEZqS{dZU3—djkRW RX•uehcdideSqhjkqhcMqhjkRrqhR¢odQSZ!ehZ!QSƒZ¢ehRcdr-y¨

rdZehe %rq( 

$

…M„ ,¯n–˜{djmah{¢WU`¥Z!euqS{dZodQhRER`•zeSg‚eSqhZ!W jkr-apRWod_kZ!qSZ 

$

_k_qh{dZqS{dZ!RQhZ!WYer£yEZ!QSjtƒZBy¢QhcM_tZe

U`i-Rcdq )+$+$1UXr-y )R($R(') $™UXQSZodQSRXƒZBy®jtrRcdQ1eSg‚eSqhZ!W %Ï]0{dZB…†>,hndidcdq(rdRq(qh{dRehZUXi?Rcdq)+1+V $.- *  

’{dRehZodQSRERX•GeuQhZ3lcMjtQSZ!eUYehqSQhc-a+qhcdQpUX_0jtr?yEc-apqSjtRrRr¢qh{MZ_tZrdTqS{RX•odQhRER`•“qh{-U`qujteurdRquo-Rehehjkid_kZjkr

Ÿž³ 

s

#°#YJ 7 !u# ‡(')( p?,.0/$)(!%

¡£r8qS{djke™eSZBapqSjtRrŸn³˜“ZyEZ!epapQhjki?Z!eqS{dZ•Gcd_k_kgapRWYodcdqSZ!Qah{MZBaS¥ZBy¢odQSRERX•RX•“qS{dZodQhRqhRdapR_•GRQapRWWcE¨

rdjma!U`qhjkRrMe1RXƒZQ0•¦UXcd_kq£gah{?UXrdrdZ_te(odQhRo-RehZBy›UXe™UYa!UXeSZehqSc-yEjkZ!euiEg]0{-U`r-yEgUXr?yT'®jteSQVU$jtr %Ï]('*)F),¯ 

’{dZ"•¦UXcd_kq£gah{?UXrdrdZ_#UXr?yqh{dZ°odQhRqhRdapR_UXQSZeho?ZBapjš§-ZBy¢UXeoMQhRTQVU`W eSo-ZBa+jϧfa!UXqSjtRrdeB ’{‚cMe1qh{MZqVU`eh¥

'1 ' 1 ' * 3 ' 3 .83+1 *. $ - )' 1*3 1 )$4$&. *) }

cs

ms mr

sender receiver

cr

ackr acks

R`•"yEZ!eSjkTrdjkrdT8UapRWWcdrdjma!U`qhjkRr›odQhRqhRdapR_RXƒZ!Q°•¦UXcd_kq£g8aS{-UXrdrMZ!_kea!UXrJi-ZƒEjkZ!˜“Z3yUXeU›odQSRTQpUXW

apRWo?ReSjtqSjkRrqS{dZcdrdjkRr¤R`•“qh{dZoMQhRqSRdapR_oMQhRTQVU`W UXr?yqS{dZ•£UXcd_kq£g¨¯aS{-U`rdrdZ!_odQSRTQVUXW2jke"UYodQSRX¨

TQVUXW;˜{djmaS{Tc-UXQpUXrEqhZ!Ze•¦UXcM_tq¯¨G•NQhZ!ZapRWYWcdrdjma!U`qhjkRrŸ M¡£rRQVyEZQqhRu¥ZZ!oqh{dZ_kZ!rMTqh{RX•?qh{dZZp—-U`Wod_kZ

˜jkqh{MjtrU°QhZBU`ehRr-UXid_kZuehjk²!ZndRrM_tgYqh{dZui-U`ehjma(jmyEZBUXe1U`QhZueh¥Z!qVaS{dZ3y{dZQhZ 

$ odQhRdapZ!eSe™a!U`_k_tZ3yqh{dZ{P* u{?UXeUa!apZeheqhRUXrjkrE§?rdjkqhZehZ3lcMZ!r-apZuRX•#yMUXqVUMn P  $ rdRqh{dZQ“odQSRX¨

apZeheBnMqh{dZ;A" EnMjkeQhZBlcdjkQSZByqSRRcdqSodcdq“U(eSZBlcdZ!r-apZ ueVU`qhjke£•GgEjkrdTuqh{MZ0•GR_k_kRX˜jkrdT1eSo-ZBa+jϧfa!UXqSjtRrŸn

˜{dZQhZ q <qjkeqS{dZu_tZrdTqS{R`• m

EdŽEN:ŸŒ

2 9

02

2

=

!"

2

=#%$#&

’{MZehZ!r-y”Z!QzU`r-y°qh{dZQSZBapZ!jkƒZQzapRWWcdrMjbaUXqhZqS{dQhRcdT{U•¦U`cd_kq£g"aS{-U`rdrdZ!_?WRdyEZ_tZ3yiEgq£˜0Ruo-UXjkQhe

R`•¼rdRrE•¦U`cd_kq£g"aS{-U`rdrdZ!_ke X'P*Y([EZU`r-y X~)*3EY~)*:P"Z!nXUXr-yU(odQhRTQpUXW qS{-UXqWUXrdjkodcd_mU`qhZ!efqS{dZ1apRrEqSZ!rEqhe

R`•gPU`r-y+E ’{dZ1eSZ!r-yEZ!QuUydy”eWZ!eSeVUXTZ!e0qhR+gPuUXr?yQhZ3apZ!jkƒZ!euUaS¥ErdRX˜_kZByETWZ!rEqhe‹•GQhRW ~)*:PnEqh{dZ

QSZBapZ!jkƒZQQhZBa+Z!jkƒZ!euWZeheVU`TZu•NQhRW,[UXr-y›UydyEeuUaS¥ErdRX˜_kZByETWZ!rEqhe0qhR~)*3E 0’{dZeSZ!r-yEZ!Q

'+. *) $zU

ydU`qVU$jtqSZ!W UXr-yjkqSejtr?yEZp—¤UXeuUo-UXjkQ[X"*:PY- P/.0*:P21Zjkr3gP  # RUXq(ZBUaS{WYRWZr‚q3n* PQSZ!odQhZehZ!rEqhe°qh{dZ

rEcdWi?Z!QRX•qh{dZ°_bU`ehqWYZ!ehepUXTZ(ehZ!rEq(i‚gYqh{dZ°ehZ!r-y”Z!QB 0¡£rqh{dZ°eVUXWYZ1˜U3g‚nEqS{dZuQhZBa+Z!jkƒZ!QuQhZ3apZ!jkƒZ!e(•GQSRW

[Uo-U`jtQ7X YmZ!  # RjkqzUydyYqh{dZydU`qVUjkqhZW qSR4 U`r-yYehZ!r-y”e ¢UXe1UXrUaS¥ErdRX˜_kZByETWZ!rEq0qhRqh{dZ

eSZ!r-yEZ!Q{NcdehjkrdTuqS{dZ1aS{-UXrdrMZ!_~)* E! 

$

qZBUaS{qSjtWYZn *3jkeqS{dZrEcdWi?Z!QRX•fqh{dZ_mUXeSqWZ!eSeVUXTZQhZBa+Z!jkƒZBy

iEgqh{dZ°QhZBapZjtƒZ!QB (’{Ecdeqh{MZeSZ!r-yEZ!QueSZ!r-yEeUrdZ!˜ WYZ!ehepUXTZ™Rrd_kgcdo?Rr›QhZBapZjtƒEjkrdTU`r¤UaS¥ErdRX˜_kZByET`¨

WYZ!rEq•GRQqh{dZuodQSZ!ƒEjkRcdeRrdZ GeSZ!ZNn5`~.A~. N O TjkƒZ!rYi-Z_tRX˜R 

6%¶dE87“XdŒ"Nº 8º 1Œ:9¶ h 6NŒ!·½9:¶(6h‘

¡£qjkejkWo?RQSqVU`r‚q0qhReSo-Z3apjš•GgU°•¦UXcd_kq£gaS{-U`rdrdZ!_ehc?ah{›qh{-U`q1_kReSqRQ1yEcdoM_tjma!U`qhjkRrYRX•WZeheVU`TZ!e1U`QhZ

rdRqcdr-y”Z!Qqh{MZ1apRrEqhQSR_dR`•¼qS{dZehZr-yEZ!QUXr-y°qh{MZQhZBapZjtƒZ!QBnEiMcdqWU3g(i-Z1y”RrdZ1U`cdqhRrdRWYRcdeS_tgE -Š.h¶EŒ!·

odQSRo?Z!QhqSjkZ!e“eSqVU`qhZ0qh{-U`q‹U•¦U`cd_kq£gah{?UXrdrdZ_-a!UXrRrM_tguQSZ!WRXƒZqh{dZ0{dZBUyR`•;gPRQ#U`odo?Z!r-yqhRuqS{dZ“QSZBUXQR`•

[G•NcdQhqS{dZ!QhWYRQSZn-U"•¦UXcM_tq£gaS{-U`rdrdZ!_fWU3g_kREReSZuWZ!eSeVUXTZ!e0•GQSRW<gP°UXr-y>=`RQyEcdod_kjma!U`qhZuWZ!eSeVU`TZ!e0jkr

[E  $ ŽXº ?ŽX¶dŠBŠ³eho?ZBapjš§¼aUXqhjkRrRX•¼Uz•¦UXcd_kq£guah{?UXrdrdZ_djke#qS{-UXq3n3jϕfUWZeheVU`TZ?;jteUXodo?Z!r-y”ZByjkrE§-rdjkqhZ_tg

R`•GqhZ!r›qhR@PU`r-yYrdRRqh{dZ!Q(WZ!eSeVU`TZjke1UXoMo-Z!r?yEZBy›qhR+gPn?qh{dZ!r U`odo?ZBUXQSe1jkr3[Z!ƒZr‚qSc-UX_k_kgE ’{dZ

apRQhQSZ!eho?Rr-y”jtrMTeho?ZBapjš§¼aUXqhjkRrRX•qh{dZ(•¦U`cd_kq£gah{?UXrdrdZ_#apRcd_myi?Z(•GRcMr-yYjtr %Ï]('*)+),h 

]0{?UXr-yEgU`r-yE'jkehQpUTjkƒZuqh{MZ©uªf«m¬?­8odQhRTQpUXW¤nBA nE˜{MjbaS{QhZodQhZ!eSZ!rEqheU°•¦U`cd_kq£gah{?UXrdrdZ_#UXr?y

qS{dZ“oMQhRERX•-R`•-jkqheapRQhQhZ3apqhrdZeheB 5’{dZ!geSqVU`qhZ0qh{-U`q#qS{djke#yEZWRrMehqhQpUXqSjtRrujterdRqŸrdZ3apZ!ehepUXQSg•GRQŸqS{dZ“eSqhc-y”g

R`•#apRWYWcdrdjma!UXqSjkRrodQSRqSR”a+R_keGRrd_kgqh{dZ(eho?ZBapjš§¼a!U`qhjkRrR`•#U(•¦UXcM_tq£gaS{-UXrMrdZ!_?jte0QhZ3lcMjtQSZByqSR*y”Z!ƒZ!_kRo

U`r-yYƒZ!QSjϕNgodQSRqhRdapR_keBndqS{Ecde1˜0ZUXeheScdWZuqS{dZapRQSQhZBapqSrdZ!eSeRX•qh{MZodQhRER`•#RX•qS{dZu•¦U`cd_kq£gah{?UXrdrdZ_#UXr?y

˜0Z1qpUX¥ZjkqSeeho?ZBapjš§¼a!U`qhjkRrUXe“UK—djtRWe³jtrRcdQodQSRERX•V ³¡£q“jkejkWYo-RQhqVU`rEqŸqhR°rdRqSZ1qh{?UXqqS{djke˜“RQh¥jkerdRq

jkrEqhZ!rEqSZByqSRi?Z*U$odQhRER`•“RX•qh{MZ*UyEZBlc-Ua+g•GRQSWU`_tjk²BU`qhjkRr NWRdyEZ!_kjk²BU`qhjkRr 5RX•0qh{dZa+RWWcMrdjma!UXqSjtRr

odQSRqSR”a+R_didcMq#qS{dZ0odQhRERX•?RX•fqh{dZapRQSQhZBa+qhrdZ!eSeRX•-qS{dZ0odQhRqhRdapR_Mjtr°qh{dZ5•GQVU`WZ!˜0RQS¥1R`•Ÿ©™ªf«â¬?­“ #xZBUyEZQhe

˜{dR˜UXrEq1qSR_kZBU`Qhr¢WRQSZUXi?Rcdquqh{MZ•GRQhWUX_kjk²BUXqSjtRXrUXQSZQSZp•GZ!QSQhZBy¢qSR %Ï]('*)F),h 1¡£r-y”Z!ZByfn³˜“Z"•GRdapcde

RcdQ1eSqhc-yEgRrqS{dZapRQhQSZBapqhrMZ!eheodQhRER`•‹R`•#qS{dZodQSRTQpUXW˜{djmaS{eho?ZBapjš•Ggqh{MZodQhRqhRdapR_#UXr?y˜0ZeS{dRX˜

qS{-UXqqS{dZodQSRo?RehZ3yodQhRER`•#jkejkr-apRWYod_kZ!qhZ 

%9¶TŽXº?ŒBºŸ`º 6

$ apRWYWcdrdjma!U`qhjkRroMQhRqSRdapR_?jkezU°odQhRTQpUXW ˜{djmaS{•Gcd_š§-_k_keqS{dZ1QSZBlcdjkQhZ!WYZ!rEqhe0RX•‹a+RQhQSZBapq1apRWWcdrMjϨ

a!U`qhjkRr˜{dZrjkqjte1a+RWo?ReSZByY˜jkqh{qh{dZ°odQhRTQVU`W A ˜{djmaS{WZ!Zqheqh{MZQhZBlcdjkQSZ!WZ!rEqSeRX••¦UXcM_tq£g

aS{-U`rdrdZ!_£ 

çdÝ£Ë!ãNË è Ë

Ü

"!$#&%('*)+'

,$-.,0/, 01

234576+98;:<>=4?=*3?@2=423A@=45B#CD0DE(#&CD0D$4#&CD0D$*#CDDB:<GF5B#CDD

HH , -

@2=4I5J@=42K?

:<23A@2=4L5JNMO6+9%(@!9DEPE@2=4Q !9RS@2=42ST5B#CDDAH2U57V'@W2P9@2=4Q

:<@2=4B5X%*@!9D$P9@2=4Q !ERY@=42ZT5O#&CD0DAH[ T57V'A@2W2P9@=42AQ

:<=4B5J=4KAP9(F\:?<Q

:<3(F[3?=*I5JUM]62(F[K(V'@W+PE=*Q^_@DE(%(@!9D$P9=*Q

!9RS=*T5B#CDDAHT5IV'@W2P9=*Q4^W'4`

:<=*I5X%(@!9D$P9=*Q !9R=*T5I#CDDH[57V'@W2P9=*Q4^W'4`

-.a

çMÝ£Ë!ãGË è Ë

Ü

’{djkeuodQSRTQpUXW2jteueS_tjkT{‚qS_kgyEjM.fZ!QhZ!rEq°•GQhRW qh{dZRrdZjtr %Ï]('*)+),hnfyEcdZqSRqh{dZrdRq°Z!r-apRdyEjkrdTRX•0qh{dZ

o-U`QVU`_t_kZ!_ŸU`eheSjtTrdWZr‚q[qqš Ÿ’{dZuq£˜0RodQhRTQpUXWe0UXQhZuZBlcdjkƒU`_tZr‚qcMr-yEZ!QqS{djkeWRdyEjš§¼a!U`qhjkRrŸ 

buº-ŽXŽX¶d`Œ¶dŠBŠ¢º Œ:9¶ŽXº-Œ3ºŸXº 6 qSR8odQhRXƒZqh{MZ½apRQhQSZBapqhrMZ!eheR`•qh{dZ¢odQhRqhRdapR_¦n0qS{dZ•NR_k_kRX˜jtrMT

jkrEƒUXQSjbU`rEqhe0{-U3ƒZuqhRi?ZodQhRXƒZByUXr-yYqS{dZuodQhRTQhZehe1oMQhRo?Z!QSq£gTjkƒZ!rYi-Zp•NRQhZ 

! "Nc

B&d

*B " (feg /ih

1kj

/

jU4 l"m

L]j4 l3m

/F/

jon m

:pm/

nqj

$ &r :

h1

/ 4

l(

L 4 l /8/+m

[n ts0

n

m/r :

m

Zn m/

n m

$#&

! "Nc

B&d

*B " (fe3u/ih

1

/ 4

l(

L 4 l /8/ tsv

402

r :

2 9

02

:

2

=wm

! "Nc

B&d

*B " (fe3x/yl(2s0

fl s0

f l3m/

f

l3m

pz4{3|}{3~3{3z

~&€~&{33‚4{ƒz*„0~…†„0~‡4{3…{3‚4zˆ„0~q‰Š‚4€‡4€3€‹

s

'1 ' 1 ' * 3 ' 3 .83+1 *. $ - )' 1*3 1 )$4$&. *) …

’{dZ #ŽXº?ŽX¶”Š3Š1a+Rr-yEjkqSjtRrjke?

2

=#

?-A)B

$%C (,

2

=%$#&

%!u# . 3:689

'c?ah{R`•1qh{dZo?RX˜“Z!QR`•1qh{dZyEZ3yEc-apqSjtƒZehgEehqSZ!WœR`•ŸžQhZ!_kjkZ!ecdo?Rr %) ~.^`~ )n“Z T? 8apRW$¨

odcMqVUXqSjkRrR`•“rdRQSWU`_?•GRQSWe0i‚gQSZ!˜QhjkqhjkrdT?n?qh{dZ!r¢qh{MZi-U`ehjke•NRQ1oMQhRERX•Ge(jke™U_kRTjma!UX_feSgEehqhZW¤n?˜{djmaS{

apRrdehjkeSqheRX•1UeSjkTr-U`qhcdQSZnZBlc-UXqSjkRrde3nŸQSZ!˜QhjkqhZeQScd_kZ!eBn³Ro?Z!QVU`qhRQheqh{dZ!RQhjkZ!e3nZ!qpaX ¡£rUydyEjkqhjkRrŸn?jtq

odQSRXƒEjby”Z!e“jkrE•NZ!QhZ!r?apZQhcM_tZezU`r-yqpUapqSjba+e•GRQ“oMQhRXƒEjkrdTqh{MZ!RQSZ!We3 ŸžQSZBlcdjkQhZ!eTcdjmydUXr-a+ZjtrYqh{dZ(odQhRER`•

eSqhQVU`qhZ!Tg‚n–Z T- qS{dZ*aS{-U`jkrdjkrdTRX•Z!_kZ!WYZ!rEqVUXQSgodQSRERX•“qpUapqSjba+eBnŸU`r-yjkrqh{dZjkr‚qSQhRdyEc-a+qhjkRrde(RX•“_kZ!WYWU`e

jš•#rMZBapZ!eSeVUXQSg‚ 5’{dZ!eSZ™_kZ!WYWU`e‹U`QhZ(odQhRXƒZByU`r-y_mUXqSZ!Q0cdehZByU`ezUK—”jkRWejkrodQSR‚R`•GeB ¡£rYRcdQ0odQSR‚R`•Vnqh{dZ

eScdTTZ!ehqSjtRrde0˜“Z(WUy”Z“˜0Z!QhZuUXi?Rcdq5qh{dZ(odQhRERX•ŸWYZ!qh{MR”y”eBnRQZp—dod_kjmapjkqjkrdeSqVUXrEqSjbU`qhjkRrMe#R`•ŸƒUXQSjbU`id_kZ!ejkr

_kZ!WYWUXe3nXZBlc-U`qhjkRrde3nZ!qVa` ¡£rqS{dZ(•GR_k_kRX˜jkrdT-nX˜0ZZp—dod_mU`jtrYqh{dZ°WUXjkreSqhZ!odeujkrqS{dZqSQVUXrMeh_mUXqSjtRrR`•

qS{dZ©uªf«m¬?­¤odQSRTQpUXW W ) [)³jkr³žŸ 

©uªf«m¬?­ƒUXQhjmU`id_kZ!e™U`QhZRX•q£˜0R¥Ejkr-yEe3 ’{dZjmyEZ!rEqhjš§-Z!QSe*U`odo?ZBUXQujkr¤qS{dZodQSRTQpUXW2qhZp—dqU`r-y¤U`QhZ

Z!r?apRdyEZByUXeapRrdehqpUXrEq“jkrYŸžRX•fehRQhq WV

 ³’{dZ1oMQhRERX•fƒUXQSjbU`id_kZ!eUXodo?ZBU`Qjkrqh{dZu©uªf«m¬?­oMQhRERX•#U`r-yU`QhZ

Z!r?apRdyEZBy¢UXeuŸžƒUXQSjmUXid_kZ!eR`•#ehRQhq WV S

x S bd

  $

©uªf«m¬?­½oMQhRTQVU`W´jke1yEZp§-rdZ3yUXe1U_kjkehqR`•‹Ua+qhjkRrde

U`r-yY˜jt_k_?i-ZapRrdeSjmyEZ!QhZ3yUXe1UapRrdehqpUXrEq

Aiz `<n bEd e.e

jtr›ŸžŸ 

¡hy”Z!rEqhjš§-Z!QSe1UXr-yr-U`qhcdQpUX_keUXQhZ(qh{dZWehZ_tƒZ!e0Zp—dodQhZ!eSehjkRrMeB 

$

e“qS{dZ1_kRTjma0RX•ŸžyEREZ!e0rdRq“{-U`e“eScdiE¨

eSRQhqSeBnM˜“Z(Zp—dod_kjba+jtqS_kgZ!Wi?ZBydy”ZBy WV n WV S x S bd U`r-y w b"e jkrEqhR jlka cMehjkrdT°•Gcdr-apqSjkRrde WV S$ex SRjlkm UXr?y

w b"eSex SRjlka  0’{dZ™yEjkeSqhjkr-apqSjtRri?Z!q£˜0Z!Z!rZp—dodQhZehehjkRrde™U`r-yi-UXeSjma1eSZ!qhegEjkZ!_myEe0qh{dZ(eVU`WZ1yEjkehqSjkr-apqhjkRr

U`WRrMTƒUXQSjbU`id_kZ!eBnEZ T?  bEd" n bEdAn d nEZ!qpaXn-U`QhZujmyEZ!rEqhjš§-Z!QSe1R`•#ehZ3lcMZ!r-apZRX•ehRQSq WV U`r-yU`odo-Z3UXQ

jkrqh{MZodQhRTQVU`W qhZp—dqBnn bd U`r-y k jgd UXQhZ(jmyEZ!rEqhjš§-Z!QSe“R`•¼ƒU`QhjmUXiM_tZe#R`•¼eSRQSq WV S x S bd rMZ!ZByEZByYjkrqh{dZ

odQSRERX•fRid_kjkT‚U`qhjkRrde3 ?’#RuyEjkehqSjtrMTcdjkeh{°jby”Z!rEqhjš§-Z!QSeŸ•NRQŸeScdideSqhjkqhcdqSjkRrde3nX˜“ZyEZp§?rdZ1Uo-U`QhqSjba+cd_mUXQjmyEZ!rEqhjš§-Z!Q

˜0Z*aUX_k_ i.e>WV nŸUXr?y¤U`rRo?Z!QVU`qhRQrw jlkEe>WV:`WWV n WV  °’{dZ!QhZ+•GRQSZqh{dZehRQhq WV jteuTZ!rdZ!QpUXqhZ3y¢i‚g i.e>WV

U`r-y>w jlkEe>WV   i.e>WV jke(ehZ!ZqSRi?ZqS{dZ§-QheSqujby”Z!rEqhjš§-Z!Qu˜{djmaS{¤UXoMo-ZBU`Qujtr›qh{dZqSZp—dq™R`•“qh{MZodQSRTQVUXW¢n

qS{dZehZ3apRr-y®RrdZujke{w jlkEe>WV`T [le>WV`U UXr-y$ehRRrŸ 

$ i?RER_kZBUXrZp—dodQSZ!eheSjkRr w e QSZ!odQhZehZ!rEqheuqS{dZSgNŒN 66m·eSZBapqhjkRrRX•qh{dZoMQhRTQVU`W W ) [)

''()

.".O4#4B+.?A9*^=A9*1"&"+(i256 9*^=A9*G1@&"+22

HJ+.?A9*^=d9G1@&"+'25@ G9,=A9*1@&+^'7<><+222

HJ+,'>YA9*^=A9*G1@&"+.?A9*^=A9*'>Y+, <(i225N'YA9*^=A9*1"&"+^!L&im>'>Y22

’{dZ?ŠBŠehZBa+qhjkRrjkeZ!r-apRdyEZ3yUXeU(_kjkehqRX•¼UapqhjkRrde! " $#%'&)(+*

g,

#%-&)(+*

2u','.%.).%,

#-&)(+*

/0,

&1234343

$ e™UXrYZp—-UXWYod_kZnqS{dZq£˜0R*UapqhjkRrde

l3m

/e=<l3m

5 m

67

m/

f

l3m/ /e= m $ & f

!" NDl"m K

l3m/8=:9)o:]m =<;

nDl3m/

K

U`QhZqSQVUXrMeh_mUXqSZByYjtr›ŸžcdeSjkrdTqS{dZu•GcMr-apqhjkRrde

b>z T>WV>=cjlkaAU

UXr-y

d x w V Sx{pR`eSRb>z TT>WV>=j kaAUgf(h*jlkaAU

?)?@?)?)?)?)?@?)?)?)?%?)?)?%?)?@??@?)?%?)?%?)?)?%?)?)?%?)?)?%?)?%?)?@??@?)?%?)?)?%?)?%?)?)?%?)?)?%?)?@??@??@?)?%?)?)?%?)?)?%?)?%?)?)?%?)?@??@?)?%?)?)?%?)?%?)?)?%?)?)?%?)?@??@?

A)B%CD'EGA)B%C)UP+QP)F%D)DJHWES'EID L EJTJUP%QB)P@N%R%SWEI)D0XZY CF%QPVQB)P)N%R@SWEX)X%X

)C0T%B%C ESWEGF)A%ID:LD)N%O)P%Q)B)P)NJR)SWEQFT-E4TJUPJQB)P%D)N%O'E4F%A%IDX)X@XX

%C0TBJC N S)Q-X'[

C)CB%Q EJT+UP%Q)B)P@N+R@SWEF)A%I)D0X

D%N%OPJQB@PNVRS E4NS)QD)NJO'X%X

EJT+UP%QB)P)NJR)S EID0X

N)F%U EJT+UP%QBP@DNVOWEF)A%I)D0X)X%X)X0[C0T0X@X

?)?@?)?)?)?)?@?)?)?)?%?)?)?%?)?@??@?)?%?)?%?)?)?%?)?)?%?)?)?%?)?%?)?@??@?)?%?)?)?%?)?%?)?)?%?)?)?%?)?@??@??@?)?%?)?)?%?)?)?%?)?%?)?)?%?)?@??@?)?%?)?)?%?)?%?)?)?%?)?)?%?)?@??@?

9  !4"# !$%

K(? 038ED H:;<F[0(Hm8:6.0=

’{dZ¢odQSR‚R`•RiM_tjkTEUXqhjkRrdeyEZ!epapQhjki?Z8odQhRo-Z!QSqhjkZ!eqh{?UXqqh{dZ¢odQSRqhRdapR_uWcdehqepUXqhjke¯•Gg‚ ;’{dZ!g UXQhZ›qh{dZ

ZBlc-U`qhjkRr?UX_-UK—”jkRWUXqSjk²BUXqSjtRXruR`•¼qS{dZqh{dQSZ!Z1jkrEƒUXQSjmUXrEqhe NPOKnNRQn+NSE  ?MRQ5Zp—-UXWoM_tZnBjkrEƒUXQSjmUXrEq NPOeSqVU`qhZ!e"

?dRQ*U`rEg½Uah¥ErdRX˜_kZBy”TWZr‚qu¢jkr8qh{MZ®aS{-U`rdrdZ!_P~)* RQ ~)* PnjkqWcdehqi?Z_kRX˜0Z!Qqh{-U`r8qh{dZ

jkr-yEZp—o-U`QhqR`•Ÿqh{dZu_mUXeSq“WYZ!ehepUXTZ(QhZBa+Z!jkƒZByiEgqS{dZ1QSZBapZ!jkƒZQ[L *3E!  'RQhZ!RXƒZ!QPWcdehq5i-Z

Z!jkqh{dZQ1ZBlc-U`_ŸqhR+* Pujš•‹qS{dZuehZ!r?yEZ!Qu{-UXe(rdRqgZ!qQhZ3apZ!jkƒZBy›UXrUaS¥ErdRX˜_kZByETWZ!rEq0RX•#ƒU`_kcdZuRQ

ZBlc-UX_fqSR4* P C GqS{dZuehZ!r-y”Z!Q1{-U`e1UX_kQhZ3UyEgQSZBapZ!jkƒZ3yUXrUaS¥ErdRX˜_kZByETWYZ!rEqRX•ŸƒU`_kcdZx! ’{Mjte

jkeqhQVU`rdeh_mU`qhZByYiEg+*:P o C Ÿ’{?UXqWZ3UXrdeqS{-UXq˜{MZ!rqh{dZuQhZ3apZ!jkƒZ!Q(QhZBa+Z!jkƒZ!e(qh{dZ Xau C"Z "!

WZ!eSeVU`TZnqh{dZUah¥ErdRX˜_kZBy”TWZr‚qR`•Ÿqh{dZS#"!uWYZ!ehepUXTZnEWU3gi?Z™U`_kQhZBUyEgjkrYqh{dZuah{?UXrdrdZ_O~*3

RQu~)*:Pnfqh{MZ!r * %$5 °¡£rqh{MZeVUXWYZ˜U3g‚nM˜{dZ!r ¢jkeujtr6~*3RQ€~)* PnfqS{dZ_bU`ehqurEcdWi?Z!Q

ehZ!rEq(i‚gqS{dZeSZ!r-yEZ!Q(jkeZBlc-UX_fqSR C Gjš•#qS{dZehZr-yEZ!Q(ehZ!rEq1WYRQSZ1qh{?UXrRr-a+Z™qS{dZuWZ!eSeVU`TZS

UXr-y®{-UXeUX_kQSZBUyEgQSZBapZ!jkƒZ3y¢qh{dZUaS¥ErdRX˜_kZByETWZ!rEq ndRQ™qSR Øjϕjkq1{?UXeurdRqugZ!q1QSZBapZ!jkƒZ3y¢qh{dZ

UaS¥ErdRX˜_kZByETWZ!rEqJ 

?dRQzU`rEgWZeheVU`TZD £UydUXqpUjkqSZ!W U`r-yjkqSejtr?yEZp— !nEeSZ!rEq™UX_kRrdTqh{MZaS{-UXrdrMZ!_ŸQSZ!odQhZehZ!rEqhZ3yiEg

gPuRQ [EnEqS{dZujkr-yEZp—WcdeSqi?Z™TQhZBU`qhZ!QqS{-UXrYqh{dZujkr-yEZ+—RX•#qS{dZu_mUXehq0WZeheVU`TZ(QhZBapZjtƒZByYiEgqh{dZ

QhZBa+Z!jkƒZ!Q{"*3EUXr-y_kRX˜0Z!Qqh{?UXrqh{MZjtr?yEZp—RX•fqh{dZ(_bU`ehqWZeheVU`TZeSZ!rEq“iEgqS{dZ1eSZ!r-yEZ!Q7'* P xZp¨

WZ!Wi?Z!Qqh{?UXq0qh{dZ(ehZ!r-y”Z!QehZ!r?yEe1UurdZ!˜ WZ!eSeVUXTZRrd_kgcdo?RrQhZ3apZ!jkƒEjtrMT*U`rUaS¥ErdRX˜_kZByETWZ!rEq

•GRQqS{dZuodQhZƒ‚jkRcdeRrdZ ¡N•#rMRqBnEjkqeSZ!r-yEe(qh{dZueVU`WZ(Rr-apZ°WRQSZ 

’{dZuQhZBa+Z!jkƒZ!QuQhZ3apZ!jkƒZ!e(Rrd_kg˜{-U`q{-UXei?Z!Z!r›ehZ!rEq["*3 *:P& *3X C"! 

! "Nc

B&d

*B " (feg /ih

1kj

/

jU4 l"m

L]j4 l3m

/F/

jon m

:pm/

nqj

$ &r :

h1

/ 4

l(

L 4 l /8/+m

[n ts0

n

m/r :

m

Zn m/

n m

$#&

’RodQhRXƒZ™qS{djkejkr‚ƒU`QhjmUXrEq0jkrRcMQehgEehqSZ!W¤nE˜0ZuWcdehq0odQhRXƒZuqh{dZ(•GR_t_kRX˜jkrdTqS{dZ!RQhZ!Wjkr¤JI5

'w T'ihmfAx e x f5w e>U7|{| eRNj

’{MZ0§-QheSq_kjtrMZ“jkrqh{dZjkrEƒUXQSjbU`rEq NPOXn

h1 j /

jU4 l3m

LZj 4 l3m

/F/

jon m

:Zm/

n j $ &r

jkeZp—dodQSZ!eheSZBy

jkrŸžYcdehjkrdTqS{dZ1oMQhZByEjma!U`qhZ w jy`T.j f5 jy`U ˜{djmaS{aS{dZBaS¥Ee“jš•Ÿqh{MZ1Z!_kZ!WYZ!rEq j i-Z_tRrdTe0qhR°qh{dZ(ehZBlcdZ!r?apZ

j"y  8’{MZcdrdjkƒZ!QhepUX_1lc-UXrEqSjϧfa!UXqSjtRr¤Rr ¢jkejkWoM_tjmapjkqS_tgU`ehehZQhqhZ3ycMehjkrdT8UƒU`QhjmUXid_kZ bd R`•1ehRQhq

WV S

x S bd

'1 ' 1 ' * 3 ' 3 .83+1 *. $ - )' 1*3 1 )$4$&. *) „„

1&)('* @

,

%#3

L

1&)('* @

,

%#%(+3* @

n

3

:

*(

n

* @V343

¾–Z!qcdeuyEZ!eVa+Qhjki-Zqh{MZŸžodQSRERX••GRQqS{dZeSZBapRr?yUapqSjkRrRX•qh{MZodQhRTQpUXW Ax ex? “±8ZueS{dRX˜ qS{-UXq

ŸžU`_k_tRX˜ecMeqhRapRrdeSqhQSc-apqodQhRERX•Ne™˜{MRehZehqSQhc-a+qhcdQSZUXQSZjmyEZ!rEqhjma!U`_#qSRqh{-U`q™R`•“qh{MZ{-UXr-y®odQhRERX•NeB 

PQSZBapjkehZ_tgEnf˜0ZZ+—”oM_bU`jkrqS{dZehqhZode˜{dZ!QSZ{?UXr-y›odQhRER`•“cdehZjkrEqhcdjkqhjkƒZ"U`QhTcdWZ!rEqSeBn?qh{-U`q™U`QhZrdRquUaS¨

apZodqhZBy›iEgqh{dZ°qh{dZ!RQhZ!WodQSRXƒZ!Q3 

uŽXºfº 1º 5 EdŽEN:ŸŒ:NPO!‘

V„ 1&*

,

#%'&)(+*

2u',

&123 ,

1&13 " J

Ÿž›Zp—do-UXr-y”eqh{djkeZBlc-U`qhjkRrcdeSjtrMTqS{dZyEZp§?rdjkqhjkRrde0RX• w bdcb w e U`r-y R w j>

V„7 *4*41&1 3 M3"! *4*$#*

u ,

3434 3 " +

’{dZa+RWWUXr-y j h &%(' { yEjkQSZBapqhe$Ÿž8qhRcdeSZqh{MZapRrBv+cdr-apqSjtRr¤WYZ!qh{MR”y– ’{dZTR‚UX_jkeuehod_kjkqujkr

q£˜0RehcdiMTR‚U`_ke

)*+*-,/.M*4*41&1 34 M3 " J

)*+0,/.M*4*1#*2u0, 3434 3 " +

¾–Z!q32n54n6;i?Z™QSZ!eho?ZBapqSjkƒZ!_kgqh{dZ"§-QheSqBndeSZBapRr-yUXr?yqS{djkQVyYehcMidqhZ!QSWeR`•#qh{MZ™qSZ!QhW ¡£i(

7 8

1&)('* @

,

%#3

L

1&)('* @

,

%#(+3 * @

n

3

:

*%(

n

* @9)343

:;8

1&)('*<'%#

,

#3

L

1&)(='*<-%#

,

#%(+3 >*

n

1&?'*<'%#)343

:

*41&?'*<'%#)3

n

%(+3

@;8 *

n

%(+3 : *(

n

A)3

)*+*,.*4*41&1 *

7 :B: :C@

3434 34 " Z+

)*+0,.;*

7:B: :B@

3 D# *#%-&?FEG %(4(H**(

,

(I)3

,

* V#%(

,

)12* %#(+343

,

*("J

=LK

?'* %#(+3

:

&0&)4* %#%(MJ

=

JN"))('34343

,

*7 :O: :P@

343 QR " J

uŽXºfº 1º TSUVUXWEZYehjkrdTqh{dZy”Zp§-rdjkqhjkRrRX• w e ˜{djmaS{QSZ!odQSZ!ehZ!rEqSeqh{dZujkrdjkqhjmU`_¼apRr-yEjkqhjkRrde

T+C T+Q

?=[

EIK ]\

X EID

X

E4F@A%ID

N S)QD@N%O'X

E4F)AJIK

N S)QD@N%O'X

E4A)K

N S)QD)NVO'X

EA)D

N S)QD)NVO'X EK

N S)QD)NVO'X

’{dZ°TR‚U`_-jkerdRQhWUX_kjk²!ZBy GZ_tjkWYjtr?UXqhjkRrR`•_qSTg

V„ k„"g **9J

=_^

3 :

*%("J

=

)3

:

* %#%(GJ

=

N"))('3

:

* %#`J

=

N"))('3

:

*#9J

=

N"))('3

:

*#("J

=

N")@(='3

:

*N"9J

=

N"))('3 a 3

*4*

7 :B:T:R@

34 3M " +

j[h

SO'

{

ŸžTZ!rdZ!QpUXqhZe1qh{MZ{Eg‚o?RqS{dZ!eSjte"

*J

=_^

3 :

*("J

=

)3

:

* %#("J

=

N"))('3

:

* %#`J

=

N")@(='3

:

*#`J

=

N"))('3

:

*#%("J

=

N"))('3

:

*N"bJ

=

N"))('3M " c

U`r-yYqh{dZu•NR_k_kRX˜jtrMT™eScdidTR‚UX_9

)*+*+*-,.*4*4*1&)('* )

,

N"))('3

L

1&)(='* @

,

3 * )

n ^ 3 :

*

n

* @9)3433

:

*1&)(='*<-%#

,

N"))('3

L

1&)(='*<-%#

,

N"))('3

*^ n

1&?'*<-%#V343 : *41&?'*<-%#V3

n

)33

: * ^ n V3

:

*

n ^

)33 Q 3 " J

.M*4*4*/ >* @

n ^ 3 :

*

n

* @9)3433

:

* * ^ n

1&?'*<'%#)343

:

*41&?'*<'%#)3

n

)33

: *M3 : * 334 3

" Z+

.M*4*

: : 34 M34 " ZJ

.M* M34 " ZJ

.J

¡£r-y”Z!ZByfn5qh{dZTR‚UX__V„ k„ t„"jkerdRQhWUX_kjk²!ZByU`r-y8yEjkƒEjby”ZBy¢jkr¤qS{dQhZ!ZYehcdiMTR‚U`_keBn³cdehjkrdTqS{dZodQSRo?Z!QhqSjtZe

R`•t 'RQSZ!RXƒZ!Q3nŸž¢rdRQSWU`_tjk²!Zeqh{dZTREUX_ŸcMehjkrdTqh{dZQhZ˜QhjkqhZQhcd_kZ!euR`•“jkqhe™a+cdQhQSZ!rEqehgEehqSZ!W¤ (’{dZ

apRrdrdZBa+qhjkƒZ!e{t f s f qS7UXQSZ). . 1 * )V`nQSZ!od_mUapZ3yiEgqh{dZapRQhQSZ!eho?Rr-y”jtrMTidcdjk_kq£¨£jtrRo?Z!QpUXqhRQheR`•ŸžŸ 

¡£qeSqhRoMe1˜{dZ!rqS{dZTREUX_?jkejtr '1 '  

uŽXºfº 1º 3)*+0,.

)*+0,.; *4*7 : : :B@ 3 $# *#%'&?FEG V(4(H*4*%( , %#%( 8 %(I , )12* %#(+343 ,

*(GJ= K - -?'* %#(+3 : &0&)4* %#("J= JN")@(='34343,

*7 :O: :C@ 34343b " J

.":*4*7 :B:T:R@ 3 *4*%("J= K ?'* %#%(+3 : &0&)4* %#("J= N"))('3

( E I<-*J02,*7 : : :C@ 34343

:

*J&0&)4*%(ZJ

=LK

- -?'* %#(+3

:

&0&)4* %#("J

=

N"))('3

*7 : : :R@

3433b a " J

QhZ!oMQhZ!eSZ!rEqheqh{MZ_tjkeSqRX•fo-UXjkQSeT%"f" UgfWT.bEd"fe.bAfT.bEd"U>U nEapRQhQhZeho?Rr-yEjkrdTqhR°qh{dZ1UapqhjkRr ~ Q  5Ÿž

U`odod_kjkZ!eqh{dZyEZ+§-rdjkqhjkRrR`•#qh{MZ™eScdideSqhjkqhcdqSjkRrde3ndQhZod_mUapjkrdT " iEg " n bEd" iEg e.bAfT.bEd"U U`r-yqS{dZ!r

rdRQhWUX_kjk²!Z!e0qh{dZuTREUX_fcdeSjkrdTqh{dZyEZ+§-rdjkqhjkRrMeRX• fffcje.d

*4*

7 :O: :C@

3 *4*%(GJ

= K

?'* V#%(+3

:

&0&)4* %#(GJ

=

N"))('343

*1&)(='* @

,

%#3

L

1&)('* @

, @12* %#(+343

* @

n

3

:

*4*%(IV3

n

* @9)343

:

1&)('*<'%#

,

#3 L

1&)('*<'%#

,

#(+3

*

n

1&?'*<'#)343 : *41&?'*<'#)3

n

*(I)343

: *

n

*(I)343 : *4*%(I)3

n

A)3343

: *J&0&)4*%(ZJ=LK - -?'* %#(+3 : %#( 8= 3

*7 : : :R@ 3433 Q " J

'1 ' 1 ' * 3 ' 3 .83+1 *. $ - )' 1*3 1 )$4$&. *) „

j h @S ' { (Ÿž8Uydy”e™qS{dZ{EgEo-Rqh{dZ!eSjke TT tTt U.|qU qhRjkqheapcdQSQhZ!rEq_kjkehq(RX•0•¦Ua+qheujkrRQpyEZ!Q

qSR8odQhRXƒZqh{MZeSZBapRr-yqhZQhW¤ Ø¡£qqSQVUXrMe£•GRQhWeqh{MZ{EgEo?Rqh{MZ!ehZ!eYiEg8QhZ!od_mUapjkrdT¤Z3UaS{ƒUXQhjmU`id_kZi‚gU

apRrdehqpUXrEqBn bA i‚g bdd n k jgd iEg k jgdgd   $ qqS{dZeSqhZ!ooV„ k„"!nfqS{dZ!QhZY˜zU`erdRqehc-aS{JQhZ!od_mUapZ!WZr‚q

i?ZBa!U`cdehZqh{dZu{EgEo-Rqh{dZehjke™yEREZ!e(rdRqapRr‚qpUXjkrƒUXQSjbU`id_kZ!eBnidcdq1a+RrdeSqVUXrEqSeB 

Y·%º?Œ:9¶dŠ¶”Š

1&)(='* @# , V#3

L

1&)('* @# , %#(+3 * @# n

3 : *%(

n

* @# V343 " a

1&)(='*<-%##

,

#3

L

1&)('*<'%#%#

,

#%(+3 >*

n

1&?'*<'%#%#)343

:

*41&?'*<'%#%#V3

n

%(+3 " Q

*

n

(+3

:

*%(

n

AV3 " a

º? 6£Š*

)*+0 +*,/."*4*%("J

= K

?'* %#(+3

:

&0&)* V#%("J

=

N"))('343

*1&)('* @# , %#3

L

1&)(='* @# ,

)12* %#%(+343

* @# n

3

:

*(

n

@# 3

:

1&)(='*<-%##

,

#3

L

1&)('*<'%#%#

,

#%(+3

*

n

1&?'*<'#%#)343

:

*41&?'*<'%#%#)3

n

*%(I)343

: *

n

*(I)343 : *%(

n

343 c " J

)*+0 +0,(.Z*J&0&)4*%(MJ

= K

- -?'* %#(+3

:

&0&)4* %#("J

=

N")@(='343 *7 :B: :R@

343 a " J

uŽXºfº 1º 3)*+0 +*-,.

)*+0 +*,/."*4*%("J= K ?'* %#(+3 : &0&)* V#%("J= N"))('34343 aP

*1&)('* @# , %#3 L

1&)('* )# , )12* %#%(+343

* @# n

3 : *(

n

@# 3

: *1&)(='*<-%## , #3

L

1&)('*<'%#%# , #%(+3

*

n

1&?'*<'#%#)343 : *41&?'*<'%#)3

n

*(I)3433

:

*

n

*(I)343

:

*%(

n

33 aP " J

j[h SO' { ŸžTZ!rdZ!QpUXqhZe™UrdZ!˜ {EgEo-Rqh{dZ!eSjke™UXr?yrdRQhWU`_kjt²Z!e“qS{dZuehcdiMTR‚U`_9

8 *4*%("J= K ?'* %#%(+3 : &0&)* %#%(GJ= N"))('34343 aP " J

)*+0 +*,/."*1&)('* @# , %#3

L

1&)('* @# ,

)12* %#(+343

* @# n

3

:

*(

n

@# 33 a

! *1&)('*<'%#%#

,

#3 L

1&)('*<'%#%#

,

#%(+3

*

n

1&?'*<'#%#)343

:

*41&?'*<'%#)3

n

*(I)3433 a

! *

n

*%(IV343

:

*(

n

33 aP " +

j[h % ' { 5ŸžeSod_kjtqSe“qS{dZTR‚UX_fjkr$•GRcdQeScdidTR‚UX_ke"

)*+0 +*+*-,/.M*1&)(='* @# , V#3

L

1&)(='* @# , )12* %#%(+343

* @# n

3

:

*(

n

@#)33 Q " +

)*+0 +*+0,/.M*1&)('*<'%#%#

,

#3 L

1&)('*<'%#%#

,

#%(+3

*

n

1&?'*<'#%#)343 : *41&?'*<'%#)3

n

*(I)3433 a " +

)*+0 +*+,/."*

n

*%(IV343b a " J

)*+0 +*+ ,/."*%(

n

3 a " +

U`r-yYqhQhjkZ!e(qhRodQhRXƒZuZBUaS{eScdidTREUX_9

)*+0 +*+*-,/. $/)+)r)+)

)*+0 +*+0,/.M*41&?'*<'%#)3

n

%(+3 *41&?'*<'%#)3

n

*(I)343

}z*„0~…

:

ƒ~p‡ {[‡4‚Aƒ~&z*„0‡*„2„0‡

+

)*+0 +*+,/.M*

n

(+3 *

n

*%(IV343

}&z*„0~…

@

ƒ~]‡ &{Z‡4‚Aƒ~&z*„0‡*„2„0‡

)*+0 +*+ ,/."*4*%("J= K ?'* %#(+3 : &0&)4* %#%(GJ= N"))('34343 aP " J

.Z>*%(MJ

=LK

?'* %#%(+3434 ` !_&0&)4* %#%(MJ

=

N"))('3 Q` " Z+

8

>*41&)('*(

,

%#(+3434 b " ZJ

."*(

n

3

:

*%(

n

*%(M)343 " Z+

}&z*„0~… €2‡ {3z*„0z 7 +

."*

n

%(+34 ` ! *%(

n

34 ` " ZJ

}z*„0~&….€‡ &{"z*„0z

@

."*`J

=

(+34 b " ZJ

’R§?rdjkeh{qS{dZoMQhRERX•Vn?˜0ZWcdeSqodQhRXƒZqS{dZeScdidTR‚UX_,V„ [M k„ k„nE{-U3ƒEjtrMT{‚gEo?RqS{dZ!ehZe nn n  q5g

a!U`ehZ!e3n bAd>bEdA RQ bdd>e.bAfT.bEd"U n?UXr-y$cdehjkrdTqS{dZu{‚gEo?RqS{dZ!ehjken?ŸžjkrE•GZ!QSe

* @# n 3

:

*%(

n

* @#3 )343 " ZJ3* @# n

3 " ZJ

,

*(

n

* )#( )343 " ZJ

#

RqS{dZeScdidTREUX_p„ [d k„ k„"ŸjkeQSZByEc-apZ3yqSR /*%(

n

@#)3 " ZJ

$

qqS{djke“o?RjkrEqBnMŸžqSQhjkZ!e1U`_t_?qh{MZ™{EgEo?Rqh{MZ!ehZ!ejkrYjtqSe“eSgEehqhZW U`r-yeSqhRoMe“i?ZBa!U`cdehZjkq5•¦UXjk_kejkryEZ!QSjkƒ‚jkrdT

qS{dZyEZ!ehjkQSZBy$•¦Uapq3 

$

e0˜“Z({-U3ƒZ(ehZ!ZrŸndqS{dZ1WYZBaS{-UXrdjk²!Z3yodQSR‚R`•Ÿjke“eSjtWYjk_bU`QqhRU°{-UXr?yodQSR‚R`• GqhRodQhRXƒZ

qS{dZqh{MQhZ!ZeScdidTR‚UX_keŸžcdeSZ!eqS{dZyEZp§-rMZByqh{MZ!RQSg‚n0˜{djmaS{apRrdeSjkehqheYRX•uqh{dZeho?ZBapjš§¼aUXqhjkRrRX•uqh{dZ

ydU`qVU°q£gEo-Z!e3ndqS{dZ™yEZ+§-rdjkqhjkRrMe“R`•Ÿqh{dZuqhZWo?RQVU`_dodQSZByEjma!UXqSZ!eBn?qS{dZ™yEZ+§-rdjkqhjkRrMe“R`• P"nQnZ!qVauUXr?yqh{dZ

yEZ+§-rdjkqhjkRrMeRX•#qS{dZU`Qhjkqh{dWYZ!qhjmaRo?Z!QVU`qhRQSe{nn!  !Z!ƒZQhqh{MZ!_kZ!ehe3n-jkq1a!U`rdrdRq1UaS{djkZ!ƒZuqS{dZodQSR‚R`•V 

¾–Z!q1cMerdRX˜ Zp—dod_mUXjkrqS{dZ jtrEqScdjkqhjkƒZo(odQSR‚R`• $ e1Zp—dod_mU`jtrMZByYjtrqS{dZi?Z!TjkrdrdjkrdTR`•qh{djke1eSZBapqSjtRrŸn

qS{dZ§-QSehq_kjkrdZRX•ujkr‚ƒU`QhjmUXrEq„Z+—”oMQhZ!eSehZ!eqS{dZ•¦Uapqqh{?UXqUaS¥ErdRX˜_kZByETWZ!rEqSe@N˜{djmah{U`QhZo-RehjkqhjkƒZ

jkrEqhZ!TZ!Qhejkrqh{MZ"aS{-U`rdrdZ!_keP~)*:P"RQo~*3UXQSZ1_kZ!eSeqh{-U`r * UXr-y$TQSZBUXqSZ!Qqh{-U`r@*:P C ¾fZ!qcdeqpUX¥Z

U`r8jt_k_kcdeSqhQVU`qhjkƒZZp—-UXWYod_kZ*apRrdehjmyEZ!Qqh{MZqhQpUXrdeSWjkeheSjkRrR`•1qh{dZ C$WZ!eSeVUXTZn³jtr¢q£˜0R¤yEjM.¼ZQhZ!rEq

a!U`ehZ!e3 ’{dZu§?Qhehq(RrdZ°˜jtqS{dRcMq_tRehe1U`r-yqh{MZehZBa+Rr-yRrdZ˜jkqh{Uo?ReSehjkid_kg_kReSeRX•qh{MZWZ!eSeVU`TZujkr

qS{dZ*aS{-U`rdrdZ!_ke%gPuRQ%[E  $ eSehcdWYZ™qS{-UXq(qh{dZ"§-QheSq2WZ!eSeVU`TZ!euUXQhZ°˜“Z!_k_³qhQVU`rdehWYjkqhqhZ3yfndUXr-y®˜“ZuTjkƒZ

Rrd_kgqS{dZehqVU`qhZƒUXQSjbU`id_kZ!e1˜{MjbaS{¤U`QhZQhZ!_kZ!ƒU`rEq1•NRQ1qS{dZZp—-UXWoM_tZ ¡£r¤qS{dZ°•GR_k_kRX˜jkrdT-n˜“Z˜QhjkqSZ*)

)+$+$/1P4)jkrdeSqhZBUyRX•*U )) $+$/1P4)

. *U1. V )!; 12'#* ) 1 * 8 xZ!WYZ!Wi-ZQŸqh{?UXqU1WYZ!ehepUXTZ

ehZ!rEq1UX_kRrdTqS{dZaS{-U`rdrdZ!_ke gPujkeR`•#qh{MZu•GRQSWY+!n˜{dZ!QSZ z @P .B1h 

?³jtTcdQhZ¢„TjkƒZ!eUepah{MZ!WU`qhjmaƒEjtZ˜´RX•˜{-UXq{-U`odo-Zrdejkr8qS{dZaS{-U`rdrdZ!_keJ~*:PU`r-y ~)*:P$jkr8qh{dZ

qSQVUXrMehWjkeSehjkRrY˜jtqS{dRcMq“_kReSeB ±8ZuehqpUXQSqjtrU°ehqpUXqhZ°˜{dZ!QhZ

*:P z >’{dZueSZ!r-yEZ!Q(ehZ!rEq(qh{dZWYZ!ehepUXTZ8 

'1 ' 1 ' * 3 ' 3 .83+1 *. $ - )' 1*3 1 )$4$&. *) „B†

kr=

a2

ks=

ks= kr=

ks= kr=

a5,a1

ks=

a2

acks ackr

kr=

N

N+1

N

N

N+1 N+1

N+1 N+1

N

N+2

?³jkTcdQSZ„*’QVU`rdehWYjteSehjkRr˜jkqS{dRcdq0_kReSeB 

kr=

a2 ks=

ks= kr=

ks= kr=

ks=

acks ackr

kr=

N

N+1

N

N

N+1 N

N

N+1 N

N

N

ks= N+1 N N N N kr= N

ks= N+1 N N N N kr= N+1

(2) a4 x times (1)

ks= N+1 N N N+1 kr= N+1

N+1 kr=

ks= N+1

ks= N+1 kr= N+1

N+1

N N+1

(3)

N+1

ks= N+2 a2

N+1

kr= N+1 N+1

a3

N+1

N+1 a4

a3, a1

a3, a5

a6,a1

?ŸjkTcdQhZ[:’QpUXrdeSWjkeheSjtRr˜jkqh{qh{dZu_kReSeRX•qh{dZWYZ!ehepUXTZ !„ 

*3

z

>$’{dZQSZBapZ!jkƒZQ{-U`eQSZBapZ!jkƒZ3yqS{dZWYZ!ehepUXTZ UXr?y8{-U`eeSZ!rEqqh{dZapRQSQhZ!eSo-Rr-yEjkrdT

UaS¥ErdRX˜_kZByETWZ!rEq$~*:P

z P R! 

~ X~)*:P"Z

z

>’{dZUaS¥ErdRX˜_kZByETWZ!rEqTZ!qhe(qhRqh{MZ™{MZBUyYRX•L~)*:P 

’{dZ›rdZp—dqehqpUXqhZQSZ!ehcd_kqSe•GQSRW qS{dZZp—dZBapcdqSjtRrRX•uqh{dZeSZBapRr?yUapqSjkRr ~QYRX•uqh{dZ›odQhRTQVU`W¤ ¢’{dZ

eSZ!r-yEZ!QY{-UXea+RWo?UXQhZ3y¢qh{dZƒUX_kcdZYRX•ujtqSe*a+RcdrEqhZQBn?*:Pn˜jkqh{Jqh{dZƒUX_kcdZYRX•uqh{dZ

~ X~)*:P"Z!  $ e

*:P z

~ :X~)*:P"Z!n?qh{dZ°ehZ!r-y”Z!Qujtr?apQhZ!WYZ!rEqhe(jtqSe1ƒU`_tcMZ™iEg Cn-U`r-yeSZ!r-yEeuqh{MZWZ!eSeVU`TZ K C 0’{dZ

qS{djkQVy8eSqVU`qhZapRQSQhZ!eSo-Rr-yEeYqhRqS{dZehc-a!a+Z!eheYRX•1qh{MZqSQVU`rdehWYjteSehjkRr(’{MZZp—dZBapcMqhjkRrJqhQVUapZjkeR`•1qh{dZ

•GRQhWEP ~aY~EY~ O  ’{dZuWYZ!ehepUXTZ K C({-U`ei-Z!ZrQhZBa+Z!jkƒZBy›iEgqh{dZQSZBapZ!jkƒZ!QBnM˜{djmah{eSZ!r-yEe(qh{dZ

Uah¥ErdRX˜_kZBy”TWZr‚q C u’{djkeUaS¥ErdRX˜_kZByETWZ!rEq0jke"U`_kQhZBUyEgjtr›qh{dZ{dZBUyR`•“qh{dZaS{-UXrMrdZ!_q~)*:P 

’{dZ°_bU`ehq(ehqVU`qhZQSZ!ehcM_tqSe(•GQhRW qS{dZZp—dZBapcMqhjkRr¢RX•qh{MZUapqSjkRrh~ Q nMi-ZBaUXcdeSZ

~ X~)* PZ z *:P 0’{dZ!r

qS{dZehZr-yEZ!Q(ehZ!r-y”e1qh{MZWZ!eSeVU`TZ  

?³jtTcdQhZ1[°eh{MRX˜e“qS{dZuehc-a!a+Z!ehe¯•Gcd_k_kgqhQpUXrdeSWjkeheSjkRrRX•#qS{dZ[X k CZ"!WYZ!ehepUXTZn˜jkqS{Uuo?ReSehjkid_kg_kRehe

jkr8qh{MZah{?UXrdrdZ_tegP*Y([E ’{MZ§-QheSqq£˜“R›ehqVU`qhZ!eUXQhZYehjkWjk_mUXQqSRqh{dRehZR`•UYqSQVUXrMehWjkeSehjkRr˜jkqS{dRcdq

_kReSeG³’{dZehZ!r-y”Z!QehZr-yEeqS{dZWYZ!ehepUXTZ CUXr?y˜UXjkqhe•GRQuqS{dZ*UaS¥‚rMRX˜_tZ3yETWYZ!rEqB (±8ZUXeSehcdWYZ

qS{-UXqqS{dZWZeheVU`TZ n Cujke0_tRehqjkrqS{dZaS{-U`rdrdZ!_ke gPY-E 

ks= N+1 kr= N+1

ks= kr= N+1

N

N

acks ackr

N+1

N+2 a2

?³jtTcdQhZ: ZYrdQhZBUaS{-UXid_kZeSqVU`qhZ

#

qVU`qhZ $

e1qh{MZƒU`_tcMZ1RX• *3jkerdRq1WYR”y”jϧ?ZByfnEqh{MZUaS¥ErdRX˜_kZByETWZ!rEq jke(ehZ!rEq1Rr-apZqSjkWZ

jkrqh{dZah{?UXrdrdZ_teD~)*3~*:P ’{dZqhZehq

~ X~)*:P"Z

z

*:P°•¦U`jt_ke3n>*:Pjke(rdRq(WRdyEjš§-ZByf 5’{dZ!r

Rrd_kgqS{dZUa+qhjkRr~*:P

z

~ X~)*:P"ZjkeZp—dZBa+cdqhZBy– 

# qVU`qhZ|’{dZuWZ!eSeVU`TZK Cu{?UXei?Z!Z!reSZ!rEq1Rr?apZWRQhZ(˜jtqS{qS{dZUa+qhjkRrh~  ±8ZuUXeSehcdWYZ

qh{-U`qqh{dZ°WZ!eSeVUXTZK C1jke_kReSqPYqhjkWZ!e3 

’{dZehqVU`qhZQSZ!ehcdWYZ!euqh{dZ°•GR_t_kRX˜jkrdTehjkqhc?UXqhjkRro_kReSe1R`•“qh{dZWZeheVU`TZ C°_kZBUyEeuqSRUXq

_kZBUXeSq ¢qhQpUXrdeSWjkeheSjtRrRX•qh{MZUaS¥ErdRX˜_kZByETWYZ!rEq8n–ehRWUXrEgRda!apcMQhQhZr-apZ!eYRX•“jkqUXodo?ZBU`Qjkr

~)*3EY~)*:P 

# qVU`qhZ~:’{MZeVUK•GZ!q£g¢odQhRo-ZQhq£g8RX•1qS{dZ•£UXcd_kq£g¤aS{-U`rdrdZ!_kegP*Y([YZ!rdeScdQhZeqh{-U`qRrd_kg8UY§-rdjkqSZ

rEcdWi-ZQRX•qh{dZ°WZ!eSeVUXTZ Ca!UXri?Z_kReSq1apRrMehZBapcMqhjkƒZ!_kgE ’{dZ!r›ehqVU`qhZ~YapRQSQhZ!eSo-Rr-yEeuqhR

qh{dZ°QhZBapZodqhjkRr›i‚gqS{dZQSZBapZ!jkƒZQ1RX•qh{dZ XK CZ !WYZ!ehepUXTZn>*3 z K C 

’{dZY•GR_k_kRX˜jkrdTeSqVU`qhZ!eUXQhZY•GRQqS{dZUaS¥‚rMRX˜_tZ3yETWYZ!rEqRX•uqh{dZWZeheVU`TZ C  'UXrEg8RdaS¨

apcdQSQhZ!r-a+Z!eRX• CUXodo?ZBU`QjkrqS{dZ¤aS{-UXrMrdZ!_ke ~)*3¢apRQSQhZ!eSo-Rr-yEjkrdT8qhR8qS{dZZp—dZBa+cdqhjkRrR`•

qh{dZ§?QhehqUapqSjtRrŸ wƒZr‚qSc-UX_k_kgqS{dZUaS¥ErdRX˜_kZByETWZ!rEq1TZ!qhe°qhRqh{dZ{MZBUy¢R`• ~)*:P ’{dZqhZehq

~ X~)*:P"Z z *:Puehc?a!apZ!ZBy–nfqh{dZrqS{dZeSZ!r-yEZ!Q(ehZ!r?yEe1qS{dZ X K Z"!°WZ!eSeVUXTZ 

±8ZurdRqhZuqh{-U`qqh{dZujkrEƒUXQSjbU`rEqKC(jkeƒZ!QSjϧ?ZBy%

~)*:P,s ~*3` *3E  # qVU`qhZ LP *3En # qVU`qhZ:D L z *3E! 

~)*:P,s ~*3/*:P C d _# qpUXqhZ *:P CP dn # qVU`qhZ *:P C z ! 

±8Z0QhZBaUX_k_dqh{MZehcdidTR‚U`_‚jkr˜{djmaS{˜0ZehqSRojtrqh{MZodQhRERX•fRX•?jtrEƒU`QhjmUXrEq“„

"

bAd

n˜jtqS{qS{dZ0{‚gEo?RX¨

qS{dZ!ehZe @# n

" ZJ (

n

* @#;V3 " + %(+ K ?'* %#%(+34 " Z+ %(+ " Z+

¡£rEqhcMjtqSjkƒZ!_kgEnf˜“Z¥ErdRX˜ qS{-UXqu˜{dZ!r *:P z *3EnUX_k_qh{dZUaS¥ErdRX˜_kZByETWZ!rEqheuUXQSZZBlc-U`_qhR * PRQ°_tZehe

qS{-UXr *:P ¡£rUydyEjkqhjkRrŸnjš•

~ X~)*:P"Z z *:P(qh{dZ!rUX_k_?qh{dZuUaS¥ErdRX˜_kZByETWYZ!rEqheUXQSZ1ZBlc-U`_-qSR4* P  NehZ!Z

§-TcdQhZ3[*! 

!RX˜ apRrdehjmyEZ!QuUehqpUXqhZ[Pjkr˜{djmaS{3*:P z *3UXr-y]

~)* P s ~)*3mX *3EZt X'* P

X**CZlZ.Z ]0_tZ3UXQh_kgujkrEƒUXQhjmU`r‚q0„0{dR_myEe³jtrqh{MjteeSqVUXqSZ{?³jkTcdQSZ !  $ e * P z

~ X~)* PZEtU%gX~)* P z

[W *P}EZn-qS{dZUapqSjkRr ~Qjke0Z!r-UXiM_tZ3yf ±8Z1a!UXrYZp—dZBapcdqSZu~ QnEUXr-y$qh{dZ(QhZ!eScd_kqhjkrdTehqVU`qhZ{P <

OƒZ!QSjϕNg

* P z n>*3 z CnehR*3& *:P&CX"*3# C"ZUXr?y I ~)*3o%gX"*:P X% CZn˜jkqS{

z Ø 

’{dZrjkr‚ƒU`QhjmUXrEq1„y”R‚ZerdRq{dR_myjkrqh{djke0ehqVU`qhZ 

’{MZodQSRid_kZ!Wœa+RWZe•GQSRW qS{dZY•¦Ua+qqS{-UXqqS{dZehqVU`qhZ P

jke ŽX¶E-9d‰6N¶¼n–˜jtqS{QSZ!eho?ZBapqqhR

qS{dZjkrdjkqhjmUX_³ehqVU`qhZ ’{Ecdeuqh{MjteueS{dRcd_myrMRqu{-UXoMo-Z!r8UaapRQpyEjkrdTqhRqh{dZoMQhRTQVU`W¤ (¡£r-yEZ!ZBy¢˜0ZrdZ!ZBy

'1 ' 1 ' * 3 ' 3 .83+1 *. $ - )' 1*3 1 )$4$&. *) „B}

jkrE•GRQhWUXqhjkRrdeeVU3gEjkrdTqh{?UXq1UaS¥ErdRX˜_kZByETWZ!rEqSejkr ~*:PUXQSZuehWU`_k_tZQ#qS{-UXrYqh{dRehZujkr ~)*3EndU`r-yqS{-UXq

~)*:PYUXr-y6~)*3YUXQhZeSZBlcdZ!r-a+Z!eRX•rdRr?yEZBapQSZBUXeSjtrMTjkr‚qSZ!TZQhe˜{djmaS{¢jte°odQhZBa+jteSZ!_kg¤¡£rEƒU`QhjmUXrEqK M ±8Z

rdZZByqh{MZ!QhZp•NRQhZUXrUXcE—djk_kjmUXQhgjkrEƒUXQhjmU`r‚q5˜“Za!U`_t_ NE

g EdŽEG ŸŒN

DaD

1 j 4 l3m/

K

:7D

14 l3m

[K /F/

jon

:

[n

m

[K :7D

1 j 4 l3m//F/

jon

m

[K

’{djkejkrEƒUXQSjmUXrEq1WcdeSq1i?ZodQhRXƒZBy¢i?Zp•GRQSZqh{dZRqh{dZQqh{dQSZ!Z ¡£r›•¦Ua+qBn³jtquQSZ!ehqSQhjmapqheqh{MZUX_k_o?ReheSjkid_kZ

eSqVUXqSZ!euRX•qh{dZoMQhRTQVU`W´qhRqS{dZQhZ3UaS{-UXiM_tZueSqVUXqSZ!e(•GQhRW´qh{MZjkrdjkqhjmUX_?ehqpUXqhZ ±8ZuodQhRXƒZuqh{dZu•NR_k_kRX˜jtrMT

qS{dZ!RQSZ!W jkrŸž(

&*4*4*41&)('* @

,

%#(+3

:

1&)(='* @

,

%#343? *4* )

n

= )3 :

* @

n

34343

:

*41&)('* @

,

V#%(+3 * @

n

343

,

,

1&143

YehjkrdTjkrEƒUXQhjmU`r‚q NUXr?yjkrEƒUXQSjmUXrEqHNSU`e1U3—djkRWYeBnX˜0Za!U`rrMRX˜ UaS{djkZ!ƒZqh{dZuodQSRERX•RX•qh{dZeScdidTR‚UX_

p„ [d k„ k„"g

*(

n

@#)3 " ZJ

9g‚o?RqS{dZ!eSZ!e

@# n

" ZJ

%(

n

* @# )3 " J

%(+ K ?'* %#%(+34 " Z+

%(+ " Z+

*1&)('* @# , %#3

L

1&)('* @# , )12* V#%(+343 " ZJ

ƒz4{

*.M1&)('* @# ,

)12* %#%(+3434 " J

* K

?'* %#%(+3

n

@#)34 " ZJ

„0~ƒ‚*„ƒ~‡

+

*%(

n

@#)34 " ZJ

]U`ehZ[ M1&)('* @# ,

%#34 " ZJ

* K ?'* %#%(+3

n

@#)34 " ZJ

„0~ƒ‚*„ƒ~‡

+

*%(

n

@#)34 " ZJ

¶m» #ŽXºfº V

AR0 FRH ;$;? ;?.6 0470=m=

PQSRERX•GeR`•“_kjkƒZ!rdZeheUXQSZehRWYZ!˜{-U`q™yEjM.fZ!QhZ!rEq(•GQSRW qS{dReSZR`•zepU3•GZq£g‚ °’#RYodQhRXƒZT )+$+$1RQ)R($R(') $

odQSRo?Z!QhqSjkZ!eBn³˜“ZUXoMod_kgqS{dZyEZp§?rdjkqhjkRrŸn?jkq1jkeurdRq1qh{MZa!UXeSZ•GRQA)+1+V $- *

 u’{djke(jteyEcMZqSRqS{dZ°•¦Uapq

qS{-UXqqh{dZ$§-QheSqq£˜0R{-U3ƒZUXr!Ro?Z!QpUXqhjkRr-UX_ayEZp§-rMjtqSjkRrUXr?y¢qh{dZY_bU`ehqy”R‚ZerdRqB ›±{dZ!r8˜0ZyEZ3UX_

˜jkqh{UodQSRo?Z!Qhq£gU`e W h}End˜0Z{-U3ƒZ™qSRaS{dZBaS¥jϕjkqjkeS!eSqVUXqSjma)UXr-yYqS{dZ!rqSRqhQhgqSRodQhRXƒZ

W !"#p}jkr¢RQVy”Z!QqSRjtr”•GZ!QRW$ }E  @(qh{MZ!Qh˜jkehZn˜0ZWcdeSq(§-r-y !TRER”y›jkrEqhZ!QSWZByEjmU`qhZ

•¦Uapq $jtr¢RQpyEZ!QqhRcMehZqh{MZRqS{dZ!QQScd_kZ!e˜{djmah{8eSo-Z3apjš•Gg )+1+V $.- *

UXeqSQVU`rdehjkqhjkƒEjkq£g‚ ’RU3ƒRjby›qh{Mjte

yEjMLapcM_tq£gEnX˜0ZodQhRdapZZByYi‚gQhZ+§-rdZ!WYZ!rEqRQ“y”ZBapRWYo-RehjkqhjkRrqSRehjkWoM_tjš•Gg(qh{dZuapRr3vpZBapqScdQhZ 5±8Z“Z+—”{MjtiMjtq

jkrEqhZ!QSWZBy”jbU`qhZuodQSRo?Z!QhqSjtZeqhRi?ZoMQhRXƒZ3yUXr-yYQScd_kZ!euqhRodQSRXƒZqS{dZ!W¤ (@(rdZRX•qh{MZWYRehq0RX•NqhZ!rcMehZBy

QScd_kZqhRodQhRXƒZA)+1+V $- * odQhRo-ZQhqhjkZ!e(jke 3 1 3+)R1 *. ' )g

!"

^~ mP XW(Y} s gZgY+^~ mP X EY+EZ

^~ mP XW(Y} s EZ

$ •GqhZ!QoMQhRXƒEjkrdTqS{dZuqh{dQSZ!ZjkrEƒUXQSjbU`rEqheTjtƒZ!ri?Zp•GRQSZnd˜0ZuodQhRXƒZ1qS{dZuWUXjkrodQSRo?Z!Qhq£gYRX•qh{dZuodQSRTQpUXW

W)End˜{djmaS{jkeqh{MZeho?ZBapjš§¼a!U`qhjkRrR`•‹qS{dZuodQhRTQpUXW'

q <qz ,~ mP q <qz C

’{dZ(odQhRER`•¼odQSRo?ReSZByiEg]0{-UXr-y”gUXr-yA'®jteSQVUujkeqS{dZ0•GR_t_kRX˜jkrdT?n!cdeSjtrMT*3•GRQRq <qšn•GQSRW jkr‚ƒU`QhjmUXrEq

N¡h[*7n ehqpUXr-yEe0•NRQ_kZBUy”e[qhRmg

m = m = $ & L

D

4

l3m K

D g K

4

l"m m/ = $ & D Nu

K

m = D(m

=%$ & K L

D(m J=%$ & K

D x K

‚4}‹0{Z€2~

D g

KYƒ~&

D u K

m/ = $ & m

=%$& D

K

m = m = $ &

‚4} ‹0{Z€~

D Nx

Kƒ~

D

K

#

Ru˜0Z{-Uy°qhRapRWod_kZ!qSZ“qS{dZodQSR‚R`•¼TjkƒZ!riEgqh{dZ1U`cdqh{MRQhe3nUXr?yjkro-UXQSqhjmapcd_mUXQ˜0ZZp—do-UXr?yqS{dZodQhRER`•

R`•X9M QgZUXr-y X9M

Z!n-U`e˜“ZU`QhZuTRjtrMTqSReSZ!Z 

uŽXºfº º3 X\MJO Zg(’{djkeuodQhRo-ZQhq£gjkeuodQhRXƒZBy›cdehjkrdTYqh{dZ[)* )*~.W )WQ ¦](@ !&-SodQSRo (R`•

U*•¦UXcd_kq£gaS{-U`rdrdZ!_ %Ï]('*)+),h 0¡£ro-U`QhqSjba+cd_mUXQBnM˜“ZapRrdeSjmyEZ!Q1qS{dZ°•¦UXcd_kq£gaS{-U`rdrdZ!_³•GRQqh{dZUaS¥ErdRX˜_kZByET`¨

WYZ!rEqhe{GqSQVU`rdehWYjteSehjkRr•NQhRW qh{dZQSZBapZ!jkƒZ!Q1qSRqh{dZeSZ!r-yEZQ !n?qpUX¥EjkrdT5W0 X'* z @Z! 

uŽXºfº º3 X9M Q"Zg¡£r¤RQVyEZ!QuqSRoMQhRXƒZ°qh{djkeuodQhRo-ZQhq£gEnf˜“Z°§-QSehquZp—d{djkidjkq1qS{dZ•£Uapquqh{?UXqujš•5U`r¤jkqSZ!W

jkejkr¢qh{dZeSZBlcdZ!r-apZh~)*:P$qh{dZr8jtqu˜jk_k_Z!ƒZ!rEqhc-U`_t_kgi?ZUXquqS{dZ{dZ3Uy›RX•P~*:PRQ*:P˜jk_k_i-ZZ3lc?UX_

qSR J Cuehjkr-apZqh{MZehZ!r?yEZ!Qujkr-apQhZWZ!rEqhe%*:P°˜{dZ!r¢{dZQhZ3apZ!jkƒZ!euqS{dZ*UaS¥‚rMRX˜_tZ3yETZ!WYZ!rEq•NRQ1qS{dZ#"!

WYZ!ehepUXTZ Ÿ’{dZ(odQhRid_kZ!W jkeqh{-U`q˜0Z1yERrdRq¥ErdRX˜

)d  !ZƒZ!QSqh{dZ!_kZ!eSeBnMjtq5jte5Zp—-UapqS_tgqh{MZ1WZ3UXrdjkrdT

R`•“qh{dZ°jtr?yEc-apqSjtRrodQSjtr?apjkod_kZ $/)+)1 F ) V2.! nfcdehjkrdTqS{dZo-RehjkqhjkRrR`•“qh{dZ°jtqSZ!W jkrqh{dZehZBlcdZr-apZqhR

i?ZqS{dZWZ!qSQhjmaE(?dQSRW U`r‚gYodQhRTQpUXW ehqpUXqSZjkr˜{djmaS{>Xa ~*:PZ({dR_myEeBn?qh{MZodQSRTQVUXWZp—dZBapcMqhjkRr

Z!ƒZ!rEqhc-U`_k_tgYQhZBUaS{dZ!e™UeSqVU`qhZjkr˜{MjbaS{}X ~)*:P<t

~ X~)*:P"Z z %Z%s *:P z CnERQjkq“QSZBUaS{dZe

UØehqVU`qhZ¢jkr ˜{MjbaS{ Xa

~)*:P"Z{MR_myEeU`r-yqS{dZo?RehjkqSjtRrRX• jkrqh{dZ›ehZBlcdZ!r?apZ ~)*:P¢jke_kRX˜“Z!Q

Nehjkr-apZYqh{dZo?ReSjtqSjkRr¢RX•1UjkqSZ!W jkr8UeSZBlcdZ!r-a+Z®aUXrdrdRqyEZBa+QhZBU`ehZjkr-y”Zp§-rdjkqhZ_tgEn:WEPEX

~ :X9P}EZ.Z z

CYWEPEX

~ :XN~ X9P}EZ.ZlZ zE

Y: ! 6@(r UXrMRqh{MZ!Q{?UXr-yfn˜{MZ!r U`rjkqhZ!W Jjke*U`qqh{MZ{MZBUy¢R`•

~)*:P˜0Z¥ErdRX˜ qS{-UXq%*:P˜jk_k_Ÿi?ZZBlc-UX_qhR J C m•NQhRWqh{MZqSZp—dq™R`•W )E!n?˜0Z*aUXrcdeSZ %P A"P

qSRodQhRXƒZ™qS{-UXq3 

#

Rqh{MZ™oMQhRERX•RX• ~)*:Pn

* P z Cujte1y”ZBapRWYo-RehZByYjkr

4

l"m m J=%$ & L D

4

l3m/ : ;

nDl"m K

=

K

4

l"m : ; nDl3m/

K

= m J= $ &

4

l"m m J=%$ &

‚4}‹0{Z€2~p‡ {ƒ € {[‡ €

uŽXºfº “º 5X9M Zg±8Z{-U3ƒZqhRoMQhRXƒZqS{dZ•NR_k_kRX˜jtrMT1odQSRo?Z!Qhq£g% *:P z 6C n *3 z 6Cn˜{djmaS{

U`ehehZQhqheqh{?UXqu˜{dZ!r8qS{dZeSZ!r-yEZQeSZ!r-yEeqS{dZ X J CZ !WYZ!ehepUXTZnfqh{MZQSZBapZ!jkƒZQZ!ƒZ!rEqhc-U`_k_tgQSZBapZ!jkƒZe

jkqB ¡£q1jke™U$odQhRTQhZeheuodQhRo-ZQhq£gE 1’{dZ°odQhRqhRdapR_jke™y”Z!ehjkTrMZByjkrehc?ah{8U˜U3gqS{-UXq(jš•‹qS{dZWYZ!ehepUXTZ°jte

'1 ' 1 ' * 3 ' 3 .83+1 *. $ - )' 1*3 1 )$4$&. *) „B…

_kReSqqh{MZ§-QSehqqhjkWYZ“jkqjkeeSZ!rEqBnEqh{MZ1ehZr-yEZ!QeSZ!r-yEe0jkq“UXTEUXjkrcMrd_kZ!ehe0jkqQhZBa+Z!jkƒZ!e1U`rUaS¥ErdRX˜_kZByETZ!WZr‚q3 

’{dZuepU3•GZ!q£goMQhRo?Z!QSq£gUXeSehZ!QSqhe(qh{-U`qzU`r‚gWZeheVU`TZ(ehZ!rEq1UX_kRrdTqh{MZ™aS{-UXrMrdZ!_Ÿa!U`ri?Z1_kRehqBnEiMcdq“Rrd_kg*U

§-rMjtqSZur‚cMWi-Z!QR`•#WYZ!ehepUXTZe1a!UXri?Z™_kRehq1apRrdehZBa+cdqhjkƒZ_tgE 

¡£rRQpyEZ!QqSRuodQhRXƒZRX9M Z!n`˜“Z{-U3ƒZ“qSRyEZBapRWo?RehZ0qh{MZodQhRid_kZ!W'?³jkehqR`•–U`_t_£n3˜0Z“˜UXrEqqhRucdeSZqh{dZ

apRr-yEjkqhjkRr-UX_?odQhRo-ZQhq£gR`•‹U"•¦UXcM_tq£gaS{-UXrMrdZ!_<£](@ !;- odQhRo !nEjkrRQVyEZQqhRodQhRXƒZ1qh{?UXqjš•#UWYZ!ehepUXTZ

jkejkr@gPndjkq0˜jk_t_?Z!ƒZ!rEqhc-U`_t_kgi?Zujtr3[ Gjkq“jkeqS{dZuRrd_kg˜U3gqhRodQhRXƒZ™o?UXeheSjkrdTRX•jtqSZ!We5i-Z!q£˜0Z!Z!r›qh{dZ

eSZBlcdZ!r-apZe4gPU`r-y3[E 1’RyERqS{-UXq3n-˜0ZqVUX¥ZRW0 X'*:P

z

J C t X.X C*Y(@P .J C21Z gP"Z.Z

U`r-y3 UXe XJ C*Y(@P .e C21Z! 0±{dZ!r¢qh{MZWZ!eSeVU`TZjke1jkr3[En?jkrEqhcdjkqhjkƒZ!_kg˜“ZWcMehqodQSRXƒZqS{-UXq(jtq

˜jk_k_-UXQSQhjkƒZ(qhRqS{dZ1{MZBUy$RX• [EnEUXr-yqS{dZ!rYjϕŸqS{dZ™a+RrEqhZ!rEq0RX• [(jke?n)*3(˜jt_k_di?Z1Z3lc?UX_fqhR°qh{dZ(jtr?yEZp—

R`•   $ eyERrdZ•GRQ$X\M Q"Z!n˜“Z(cdehZuqS{dZ1jkr-yEc?apqhjkRroMQhjkr-apjkod_kZqhRodQSRXƒZqh{?UXqUuWZ!eSeVU`TZ jkrqh{dZ(qVU`jt_

R`•5U°ehZ3lcMZ!r-apZTZ!qSe1qSRqS{dZ{dZBUyf 

.

m/ = $ & 9ks

2 L m = $ &

)*-,

9ks

2 DF9ts

2K3L D2 4 l

[K

)0,

‚4€

9ks

2

&%"

?NA CC D

254

l

[K L ; nD(l

[K

=

2L

m = $ &

),

9ks

2 DF9ks

2 : 2 4 l K L ;

nD(l

[K

=

2L254

l L m = $ & ) ,

‰‰

‚4}‹0{o€~

)0,

ƒ~&

),+

m/ = $ & DF9ks

2 : 2 4 l K3L

; nD(l

[K

= 2 L2 4 l L m

=%$#& ),

‚4}‹0{Z€2~

)*-,

ƒ~

) ,+

9ks

2 : D 254

l

[K :9D

2 fl [K

=

DF9ts

2

:7D

2 4 l [K

:9D

2 f l K

G K

L

D;

nD(l

[K

= 2 :

254

l

[KL

m = $ &

),

9ks

2 : D 254

l

[K

D;

nD(l

[K

= 2 : 2 4 l

[K3L m

=%$#& ),

)

€2~p‡ {ƒ € {

,

m/ = $ & ;

nD(l

[K

=

2L254

l L m = %$#&

L D2 4 l : ; nD(l

[K

=

2K ),

‚4}‹0{Z€2~]‡ {ƒ.€ {oƒ~&

),

; nD(l

K

= 2 2 4 l : ;

nD(l

[K

= 2

),

]‰

‹0{ƒz

m/ = $ & m = $ &

L02 4 l L D2 4 l : ; nD(l

[K

=

2K

)*

,

‚4}‹0{Z€2~]‡ {ƒ.€ {oƒ~&

),

2 4 l D2 4 l : ;

nD(l

[K

=

2K

)**-,

m/ = $ & m = $ & L D2 4 l : ; nD(l

[K

=

2K

)*0,

‚4}‹0{Z€2~]‡ {ƒ.€ {oƒ~&

)*

,

; nD(l

K

= 2 : 2 4 l m = $&

)* ,

m/ = $ & m = $ &

‚4}‹0{Z€2~]‡ {ƒ.€ {oƒ~&

)* ,

+

±8Za!U`rQhZodQhZ!eSZ!rEquqh{djkeodQSR‚R`•‹U`e1UeSZBUXQpah{›qhQhZZnd˜{dZQhZqS{dZuQhRERqjkeqh{MZ™oMQhZByEjma!U`qhZ˜{MjbaS{Y{dR_myEe0jkr

qS{dZehqpUXQhqSjkrdTehqpUXqSZ  # qVU`QhqSjtrMT1•NQhRW U(rdRdyEZn˜“ZZp—do-U`r-y°qh{dZuyEjM.¼Z!QSZ!rEqo?ReheSjkidjk_tjkqSjtZe‹U`r-y°qh{dZTR‚UX_ER`•

qS{dZodQSR‚R`•#jkeqhRQSZByEc-a+ZqS{dZuqhQhZZqhRUeSjtrMT_kZ1_kZBUK•VnE˜{djmaS{QSZ!odQSZ!ehZ!rEqSeqh{dZuodQSZByEjma!U`qhZqS{-UXq˜0Zu˜zU`r‚q

qSRRidqpUXjkrŸ ³’{dZujtWYo-RQhqpUXr-apZR`•#qS{dZ] $ ! Qhcd_kZujke“qS{-UXq˜{dZr˜0Z1˜UXrEqqSRodQSRXƒZuqh{?UXqWn }EnE˜0Z

eSqVUXQSqu•GQSRWGW8U`r-y˜0ZqhQhg¢qhRcdr?yEZ!QheSqVU`r-y¢˜{-UXq°˜“Z˜zU`rEq™qSRRidqpUXjkr(˜{dZ!qh{MZ!Q˜0Z{-U3ƒZUYehqVU`qhZ

˜{dZQhZu}u{dR_by”eRQUuehqpUXqSZ™˜{MZ!QhZUu{dR_myEe3  # Ru§-r-yEjkrdT0(jkezapQSc-apjmUX_£njkqQhZ!oMQhZ!eSZ!rEqhe™U°odQSZByEjma!UXqSZu{dR_my

jkrjkrEqhZQhWZ3yEjmUXqhZeSqVU`qhZ; ')+3 )V7.1qS{dZ1eSqVUXqSZu˜{dZ!QhZu}({dR_by”eBndUXr?yqh{dZu]

$

!UQScd_kZ"U`_k_tRX˜eqSRTZ!q“QSjmy

R`•‹jkq3