Precise Interprocedural Data5ow Analysis with Applications to

!"$#&% '(*)+
%,-/.0'122
"/34/65789:<;="38?>
@BACAEDGF?HICJLKNMPORQBSUTVAXWIZY\[]_^9Y
O<IXàbH9cVYdIE` e+AXfhgKjilk
m"nLopqsr*tvu8wyxvzRtC{xdtC|8}8tvp~Xu3r3otC{rv9{zREtvu
|3zRrnE7z|3xdnL{|3z{s~Ez|3nL{
Cyv tC|*r}~Pr*nL{wVr*u3tvtvrv~Ez|3nL{<EL L \ws
tCxdr*u3nL{9zxob~Ez / |
~X LzRu3tvp9|v¡snEu
¢=zRr*£X¤Z¥\xv|v¦§¢=z|
xX¦§tCq
¿¾²Z´¹"ÆÉ&ÀZ·3ÈE¿¼h·
ÂµÃX´¼*¿¾Ä ¼
µ³Ð¸¨ª½·¸©/ÌÍÂµ¼¸ÁZ«º¾¹-É¬/´Õ®¯·
Ó¸¿¾¨¯·
³µ¼¸½X°/½À¬±¿¾·
²¿"¹¬/·Ê¹_²ZÖL³µ¶P´¹*º¾»¼h¶Z¿Î
·¸º¼
¶E·¸ÌL¹_É4·ªº¶P»¶E¼hº¾¼h¼h½X³µÎ¸»½vº¹_¿"·
º¾É½Z³µ´´¼hº¾³µ¶E½v¹-¶¿¾¹_¹_ºº¾º¾·3¹-¶´Ç¿¾¹_³µº¾¼h½C¼C½<¿¾»¹-¹*³µÀÏÀ´sÁPº¾Èvº¹-Æ·¸¶Âº¾·
¹-ÀZ½2´Ç·3¹_¿½C¹-·
½C¿¾ÃZ¹-ÐP¼3À&³§Äº¾Èv¼¸ÅNÆ½Z·
É<½X··¸¹-ÀÂ§½vÆP³µ¿´´Ç¿Ç³µº¾´Ñ³µ³ÈZÒ ¶¹hÁPº¾ÒµÓ9¼h¿¾³µÈ·\ÐdÂµ¹/¹-ÉÉ<¹-½C·¸´ª¶ZÐC³µ³§¶½Êº¾³µ¼h½Z½ZÄÎÉ<²ZÌG³Ë¹_º¾»¼h½C²ÊÉÔ
¿V¿Çº·¸½Z´ÌÍ¼¸º¾É<¹_º*Ò
×¬/²Z¹ª¹¯¶É<º¾¹-¹_´Ç¿¾¹-²Z½v¼C¿UÀ$·
³µ½\´¹_·
Ø¶Z¶Z»_Âµ³µ³µ¹-¹*½vÀ<¿¯¿¾ÀP¼&ÆP´Ç½Z¼¸·¸ÂµÉ<Ðd¹³Ë»¶Ålº¾¶¹-º¾»_¼¸³µÎ¸´Ç¹-ºÂ§·¸Æ=É<·¸É<½X³µÀ½Î&¹_Ø·
Âµ»Îh³Ë¹_¼¸½Cº¾³§¿¾¿¾Â§²Æ$ÉÙ¿NÄ/¿¾¼8²Z·
ÑÚÀ¿¹*¶P»_º¾³Ë¼CÀÀ·¸ÁXÈZÂµ»¹3¹-Õ9´Ðh¶·3º¾º¾¹*³G»_·
³µ½v´Ç¿¾¹´/´Ç¼¸¼¸ÌÛÂËÁP¿¾¿¾²Z³µ¹¯¼h½Z³Ë½v´-Ò¿¾¹_º¾¶Pº¾¼C»_¹*ÀPÁº·¸Â
³¿¾µ»_½v²Z¼¸¿¾½Z¹¯¹_´º¾ÌR¿¼¸¶·¸º¾º¾½vÉñ¹_¿Ç¿¾Ål´¶ë\¶Pº¾Ü¼¸º¾ìð¶X¼hÎ¸·
òºÎd·
ó·
ÉÙ¿¾ï³µ¼¸ô ´½=¿·
¶P¿¾ívº¾¹-¼hÒ É<È¹-ÂË¹_½vÉ\¿¾´ÜE¼¸Ý¾ÌsÞßX¿¾à$²¹ÝÞ
ÌR¼¸áZº¾âÉÙãÚä¸áXëèãLÜßXìîåÞí$ßPä*·
æd½XähÀãRçÚÞ
ëèáèÜ ìð·¸½ZïEÀ\ÒZé¬/çRáL²ZêÇ¹ä¸åªÂË·
Ý¾¿ÇÞ¸¿¾¹_áZºªâãÚ·¸ä¸ÂµáZ´Ç¼ãÛßZ³µ½CåÇÞ¿¾¹ßPº¾ä*¶ædº¾ä¸¹_ãR¿¾çÚ´Þ¸áy´¿Ò·
¬/¿¾¹_²ZÉ<¹¹-ÌÍ¼¸½vº¾¿¾É<Ú¹_¼
º Ì
õ ö÷¯øEùLúûüýVøLþúU÷
ÿ ¡z|¯p9~Xp/tvu¯xdnL{9xdtvu
{|¡snP¢ r*n {pu3tCxvz|*t$|*n qsr3zRnL{|ªr*nè~ ~Xu3 Et"x ~E|
|nE9z{Ûr*tvu
pu3nyxdtCqsu
~ ~Xr3~ 9nP¢
~E{~ y|3z|¯pu3n tCo?|z{Êp/n y{snLobz~ r3zobtE¦ yr3¡stpu3n tCo?|r*n=¢=¡9zx
¡+nLqsuUr*tCx¸¡{
z VqstC|¯~Xp9p E|*tvEtvu¸~
X~Xu
z~E{Ûr3|nEr3¡st Kj`9i]df^f*A ¸]
aXcyf-IED AX`sYdi¾IX`9i l^f*A¸^yICJIEiKAE`^f*A vD]vW |*r3~E{nLqr~E| tCz{ nEp9~Xu3r3zxvq ~Xu
zop/nEu3r3~E{9xdtE¦
-{ xdnL{Ûr*u
~E|3r2¢=zRr3¡ KNìf-I pu3nyxdtCqsu
~ ~Xr3~ nP¢ ~E{~ y|3z|v¢=¡tvu3t -p9u3tCxvz|*t otC~E{9| *obtvtvr-¾nPEtvu*
~ ¾p9~Xr3¡| Êz X ¾¯~ pu
tCxvz|*t Kj`9i]df pu3nyxdtCqsu¸~ ~Xr3~ 9nP¢~E{~ V|
z|Ï~ EnEu¸zRr3¡o±oq|3rÊpu3nVzstbr3¡st
*otvtvr-¾nEtvu*~ MZIEDGKÇa ¾p9~Xr3¡| |*n qsr3zRnL{
¦ p9~Xr3¡z| MXIXDGKÇa zRÊzRrbu3tC|*p/tCxdr3|br3¡stð~Exdr?r3¡9~Xrb¢=¡stC{ ~
pu3nyxdtCqsu
t {z|
¡stC|8zRru3tvr3qsu¸{|=r*nr3¡st2|3zRr*tÏnEr3¡stonL|*ru3tCxdtC{rèxv~ µw ! m$~ y#"$% & Ïw %
$tv&p %'& $\)w (*%'& $(\+w %E ¾-¦ ,=_{r3¡z|\p9~Xp/tvuC¢&t2|3¡sn¢:¡snP¢,r*.
n {r3¡st2otvtvr-¾nEtvu*~ ¾Z~ zs¾p9~Xr3¡|
|*n qsr3zRnL{NnEu~\xdtvu3r3~Ez{?x ~E|3|nE/~Xr3~ 9n¢Ùpu3n tCo?|z{2¢=¡zx¸¡r3¡st~Xr3~ 9n¢Ùj~Exdr3|~Xu3tob~Xp9/| 0-tC{VzÍ
u3nL{obtC{Ûr3| ,ju3nLo:|*nLob1t {zRr*t<|*tvrnE/|*y2o /n | 31r*nÊ|*nLot jp/nL|3|34z Ïz){ {zRr*5t ,ª|3tvrnEX~ qstC7| 68z¦§tE¦
r3¡st~Xr3~ 9nP¢!~Exdr3|+~Xu3t?otC9o /tvu
|\nE; : `M 3=<>61,?,¸¯~E{ r3¡st?~Xr3~ nP¢!jq{9xdr3zRnL{@| 0-tC{VzRu
nL{otC{r
r*u
~E{|3NnEu
obtvu
>| z={ : `9M 3A<>6B,DE C : `M 3A<>6B,?,$9z|*r*u
4z 9qsr*tènEtvu=r3¡stÊobtvtvr<nEp/tvu
~Xr*nEu=nE7 : `M 3=<>61,¸¦
txv~ r3¡z||*tvr8nE~Xr3~ 9nP¢ pu3n tCob|<r3¡sGt F{Ûr*tvu3p9u3nVxdtC9qsu
~ I H z|*r*u
4z qsr3zRE9t :{ÛyzRu3nL{obtC{Ûrp9u3n s
tCob2| jnEu_} pu3n tCo?|vyNnEu8|3¡snEu3Jr ,¸¦
ÿ ¡tÊxdnL{Ûr*u
4z qsr3zRnL{|nEªr3¡z|<p~Xptvu8xv~EK{ /tÊ|3qobo?~Xu
zR£vtC ~E|jn nP¢=|
~ MON&PDQSR+MTVUXW5RYQIZ[W]\)QIW]\_^\)`&T]RTabN&`cNXdfeab^gTWahIijTalkX\m\_`&kSaW5NXÌPn\)`&T
L tîz{Ûr*u
nVq9xdtðD
TW]RY`S^doNXWPn\)W]Ê¦
~ eSq`RYPabMrJQIW]NXUXW5RYPDPaÙcRXsbUYN&WalT5ZIP NnE.u {9z{s obtvtvr-¾nPEtvu*~ ¾X~ zy
L tp9u3tC|*tC{rp
p~Xr3¡|¯|3n qsr3zRnL{|v¦ tsnEu EtC{stvu
~ _} pu3n tCo?|r3¡st"~ EnEu
zRr3¡o ¢=z {nEr¯{stCxdtC|3|
~Xu
z Êr*tvu
o?z{~Xr*tE¦
(8nP¢"tvEtvuC¢&t=ztC{Ûr3zRjÏ~|3q 9|*tvrnE_} pu3n tCo?|¯jnEu¢=¡9zx
¡r3¡st=~ EnEu¸zRr3¡o snVtC|r*tvu
o?z{~Xr*t
~E{9Êu
q{9|z{èr3zo1t uvwx3.y],¸P¢8¡stvu3zt wz|r3¡st"{q92o /tvunEytCs EtC|ªz{Êr3¡stpu3nE Eu
~E=o {µ|xdnL{Ûr*u
n | 9nP¢
Eu¸~Xp9¡¦
L t|*r3qs r¢"n {~Xr3qsu¸~ Z~Xu
z~E{r3|2nEr3¡stðxdnL{|3r3~E{Ûr-¾pu
nEp9~X L~Xr3zRnL{p9u3n tCo xdnEpVÛxdnL{9|*r3~E{Ûr
p9u3nEp9~X L~Xr3zRnL}
{ tI"I+~E{9 z{stC~Xu*xdnL{9|*r3~E{Ûrîpu3nEp~X L~Xr3zRnL{8¢8¡zx
¡Ô0t ~Vr*tC{9|ðxdnEpV4xdnL{|*r3~E{r
p9u3nEp9~X L~Xr3zRnL{ Vðz{r*tvu3pu3tvr3z{s |*r3~Xr*tCobtC{Ûr3|\nE&r3¡stÏNnEu

o n2128¢=¡stvu3Gt ~E{ +~Xu3t

Èv®UÆ¹-´Ç¿¾¹*²Z¬/·
¹º²»¾³µx²´·3Ä/¿¾³µ¼
¼hº¾º >¼ ½X&·
¹-ÄÂE»¿¾«P·
´»_´/³µ¨¯¹-´ÇÁZ½XÎ¸¶»_¹-¹j¶E½X¼¸»Æ\ºÇ¼h¿¾ÁZ¹*ÁZ½ZÀ$½XÀZÀP³µ·3½¹_¿¾ºª³Ë¶X¼¸¨¯·3½"ºÇS® ¿ÁÛ½XÈvÆ$n¨À¹7· º¯Î
ººÀP·3·¸¹_ÐC½vSº ³Ë¿¾À<´ª·¸°¼½ZÒ°À J®UdÅlò ÁXJ»d³ËòJÂµÑS¹hÉ<òJs¼¸J·h½Z&»³§¿¾h·
¼¸·3½Xº¾ºÀ$¹*/À Àè°ZÈv°¹-ÆÂµ®Âµ¼*¿¾ÅlÄ² 1¹´Ç²Z¯³µJ¶=0Ø<ÌÍ¼¸»_P¹&ºUÓÈv«P¼
Æ&Ì»_³µª¿¾¹-²Z½X·*¹&»Ðh¹¯·
Ây·
¹_½X®¯ÌR¹_À ¹_½Z´Ç´Ç¹*¹U½Z·
¨ªºÎh»¾³µÀP½²ÊÐh¹-ÁZ·
¹_º¾½X½X³µ»_ÀP½Z¹*¹_ÎPÀ º Ó
Èv¥»_¼¸Æ\½½C³µ·<¿ÇÐdº¹_·¸Î
º¾º»´Ç·¸#¿ ³§¿j½vIÆ=¿¯¼¸ÌGJº¾Ì¼h °É8
¼hlÅ¶E£ª0¹-3¹_½lÅº¾²X¸¼?Å·¸¤èÎ¸°¹-d½¼¸í¸Ò º¾Õ¶EÓX¼¸ÈvºÆ"·3¿¾¿¾¹"²¹ª®U¨U¹-´Ç³§¹*º ·3Zº»¼
²Ûº»_ÒO ¹ s¯·
ºÇØ¿¯»¼¸¹¯Ì¼
¿¾Ìs²Z³µ«P´»_Ä/³µ¹-¼
½vº¿¾¢³ ¡XÄ»U·
®U´¹-´ÇÀ¹*¼¸·3½Zº¹»²ÄÁ²Z½X³µÂµÀ¹¹¿¾º/²ZÎ¸¹º·
·¸½vÁP¿¿¾²ZI¨ ¼¸_º¾´UÄ/«P¹_®º¾lÅ ¹ ÐClÅ ³µJ´Ç³µ¿¾³µ½CÎ$ÓC·¸¿¾½Z²ZÀ ¹
¦ ª½8Âµ¹*·*Ðd¹ÌÍº¾¼¸8
É §j© ¨4«»_³µ¹-½v¿¾©³ ¡E»°¹-½v¿¾¹_º*Ó ªª·¸³§Ì·CÓ §N´º·¸¹-ÂÒ

zRr*tvu¸~ |<nEuq|*tvu*t0{stCxdnL{|*r3~E{r3|v¦ ÿ ¡st\-} p9u3n tCob|&r3¡~XrxdnEu3u
tC|*p/nL{br*Gn /nEr3¡nEUr3¡tC|*t
X~Xu
z~E{r3|j~ z{Ûr*nr3¡st+~/nEtdotC{r3zRnL{stCB|3q9|*tvrxdnL{|*tVqstC{r EnLqsur*tCx
¡9{z
qtC|^N#slkX\RXs|s
a`S^gT]RX`MO\_^GNYdT5Z\_^\AMONX`S^gT]RY`&TrJQSW5NXQSR+UYR+TabNX` QIW5NXhsb\_PD^ a`pTaPn\.uvwî~ ~z|34z t y ,¸
¢8¡stvu3At *î~ ~z|34z t z|8r3¡stÏob~ ~szoÏq9o {q9o /tvunEX~Xu
z~ tC|8Vz|
4z tÏz{~E{Û p9u3nVxdtC9qsu3tÊnE
r3¡tpu3nE Eu¸~Eo ¦ ÿ ¡t~ EnEu
zRr3¡o?|n r3~Ez{stCÏz{Êr3¡9z|U¢$~CÊzobpu3nPEt&nL{Êr3¡st&¢&t y{sn¢={xdnL{|*r3~E{r-
p9u3nEp9~X L~Xr3zRnL{¢&nEu ju3nLo $=zxd.t µm1m ÿ ÿ %E Uz{ r¢&n?¢"~PV|
L ÿ ¡s;t $=zxdt8~ EnEu
zRr3¡o!z|{snErp9u3tCxvz|*t=jnEuu3tCxvqu
|3zREtpu
nE Eu
~Eob|vY¦ j-{~ExdrvzRr&ob~C~ z{r*n
~E{z){ {zRr*t nVnEp ¢=¡tC{ ~Xpp zRtC r*nbu3tCxvqsu
|3zREtpu3nE Eu
~Eo?J| ,¸¦
-u3tvr3qsu
{ *qop+jq9{xdr3zRnL{>| ~Xu3t$ EtC{stvu
~Xr*tCEr3¡Bt $8zxdt
L
tCxv~Eq|3t<nE zobzRr3~Xr3zRnL{9|z{+r3¡t"¢$~C
~ EnEu¸zRr3¡ontC|{nEr<tvEtC{ yzRt pu3tCxvz|3t~E{|*¢"tvu
|<jnEu=~ {snL{s¾u3tCxvqsu
|3zREtpu3nE Eu
~Eo?|v¦
-{ xdnL{Ûr*u¸~E|*rvnLqsu~ EnEu
zRr3¡o yzRt v| QSW5\_M ab^\8W5\ ^5iIslT]^d N&WDh NYT5Z W5\_MiSW5^5alk&\8RY`Sec`SNX`jr
W5\_MiSW5^5alk&\QIW]NXUXW5RYPn^L¦
| /tvtC{ zobp tCotC{r*tC ~E{9 q9|*tC r*nB~E{~ V£vtm:p9u3nX
L èqsuÏ9~Xr3~ 9nP¢<~E{9~ V|3z|b~ EnEu
zRr3¡o ¡~E2
Eu¸~Eob|v+¦ u3t zobz{~Xu
b0t ~yptvu¸zotC{r3~ u3tC|3q r3|8~Xu3tèu3tvp/nEu3r*tC z{wytCxdr3zRnL{ ¦
ÿ ¡t2u3tCob~Ez{tvunE"r3¡stp~XptvuÊz|ÊnEu3 L~E{zR£vtC ~E|ÊNn n¢=| -{ wVtCxdr3zRnL{ ¢&tbz{r*u3nyqxdt2r3¡stxdnEpV
xdnL{|*r3~E{r-¾pu3nEp~X L~Xr3zRnL{ ~E{ z{stC~Xu+xdnL{|*r3~E{r-¾pu3nEp9~X L~Xr3zRnL{ pu3n tCo?|v&¦ "¯z{stC~XuÊxdnL{|*r3~E{rèpu3nEp~X L~Z
r3zRnL{ z|<q|*tCz{?|
q 9|*t VqstC{r"|*tCxdr3zRnL{9|$r*nÏz q|3r*u
~Xr*tènLqsu$zstC~E|v¦y_{ wVtCxdr3zRnL{ ¢&tès0t {st=r3¡st\x ~E|3|$nE
-} pu3n tCo?|v¦-{bwVtCxdr3zRnLG{ 'sE¢"ts0t {t"r3¡t$xdnLobp9~Exdr Eu
~Xp9¡u
tvpu3tC|*tC{r3~Xr3zRnL{2nE/z|*r*u
4z 9qr3zREt"tC{yzÍ
u3nL{obtC{Ûr¯r*u
~E{|*jnEu
obtvu
|~E{Ï|3¡sn¢ ¡nP¢ r*nq9|*tr3¡stC|3t& Eu
~Xp¡|Ur*n {9Êr3¡st$otvtvr-¾nEtvu*~ ¾Z~ zs¾p9~Xr3¡|
|*n qsr3zRnL{ r*n2~~Xr3~ 9n¢4pu3n tCo ¦ywytCxdr3zRnL{ p9u3tC|*tC{r3|$nLqsu<sV{9~Eobzxh¾pu3nE Eu¸~Eobobz{ Ê~ EnEu
zRr3¡o ¦y-{
wVtCxdr3zRnL{ñV©¦ 'sª¢&t z|3xvq|
|Êr3¡st ~Xpp zxv~Xr3zRnL{ nE<nLqsu~Xppu3nL~Ex¸¡ r*nîr3¡st xdnEp xdnL{|*r3~E{r-¾pu3nEp9~X L~Xr3zRnL{
~E{ z{stC~XuxdnL{|*r3~E{r-¾pu3nEp~X L~Xr3zRnL{ pu3n tCo?|v¦ u3t zobz{9~Xu30t ~Vp/tvu
zobtC{Ûr3|"z{¢=¡zx
¡nLqsu$~ EnEu
zRr3¡o
¡~EG| /tvtC{ñ~Xpp zRtC r*n p/tvu3NnEu¸o z{tC~Xu?xdnL{|*r3~E{rpu
nEp9~X L~Xr3zRnL{ñnL{ m!p9u3nE Eu
~Eob|~Xu3t u
tvpnEu
r*tCñz{
wVtCxdr3zRnL{ ¦wVtCxdr3zRnL{ èz|3xvq9|3|*tC|&u3t ~Xr*tC¢&nEu ¦ywytCxdr3zRnLf{ LzREtC|$~E{bnEtvu3yzRtv¢ nEU¡snP¢r3¡st8¢&nEu ¡9~E|
/tvtC{ 0t ~yr*tC{stC r*np/tvu3jnEu
o stCo?~E{ysu¸zREtC{ ~Xr3~ 9nP¢ ~E{~ y|3z|v¦
þ øEùÛþ "üøLþ ?úU
÷ Pø ÷¯ø bùÛ!ú "#!øLþ¾úU$
÷ ?ùL!ú %'&(
ÿ ¡stvu
t?~Xu3nt ~Xr tC~E|*Jr ,r¢"n zop/nEu3r3~E{rX~Xu
z~E{r3|nEr3¡st xdnL{|*r3~E{r-¾pu3nEp9~X L~Xr3zRnL{ñp9u3n tCo r3¡~X2r 9r
z{r*nbr3¡stÊju
~Eobtv¢&nEu pu3tC|3tC{Ûr*tC z{ðr3¡z|<p9~Xp/tvu xdnEpV xdnL{|*r3~E{r=p9u3nEp9~X L~Xr3zRnL{î~E{ z{stC~XuxdnL{|*r3~E{r
pu3nEp~X L~Xr3zRnL{¦9-{ xdnEpV xdnL{9|*r3~E{Ûr8pu3nEp9~X L~Xr3zRnL{~2X~Xu
z~ t Bz|z|
xdnPEtvu3tCr*n /tÊxdnL{|*r3~E{r=tCzRr3¡tvu
zR/zRrz|~E|3|3zR L{stCb~èxdnL{|*r3~E{rZ~ qxt jtE¦§ s¦ 4O ,ªnEuzRzRrz|~E|3|3zR L{stC2r3¡t<Z~ qst<nE/~E{snEr3¡stvuZ~Xu
z~ t
r3¡~Xr=z|8zRr3|*t xdnL{|*r3~E{9r jtE¦§ s¦X 4) Y ,¸¦ nEr3¡tvu=jnEu
ob|$nE~E|3|3zR L{obtC{Û9r jtE¦§ s¦Y m ,
~Xu3@t xdnL{9|*tvu3X~Xr3zREt ,=~E|3|3qobtC r*nbob*~ Et î{snL{yxdnL{|3r3~E{Ûrv¦
"¯z{stC~Xu2xdnL{|*r3~E{rÏp9u3nEp9~X L~Xr3zRnL{ñzstC{r3z 9tC|2~î|3qsp/tvu
|*tvrÏnEr3¡st z{|*r3~E{xdtC|nE8xdnL{|*r3~E{rÏX~Xu
z~ tC|
jnLq{ îxdnEpBxdnL{|*r3~E{rÊpu
nEp9~X L~Xr3zRnL{+¦ ~Xu
z~ t z|èz|3xdnEtvu3tC r*Kn /t2xdnL{|*r3~E{rètCzRr3¡stvuzR"zRrÊz|
~E|3|3zR L{tC~+xdnL{|*r3~E{r$Z~ qsGt jtE¦§ s¦) 4O ,nEu$zRUzRr$z|&~E|3|
zR L{stC ~X~ qstr3¡~Xr"z|"~ z{stC~Xu$jq{9xdr3zRnL{bnE
nL{stX~Xu
z~ t8r3¡~Xrz|&zRr3|*t xdnL{|*r3~E{r jtE¦§ s¦_ 4) O Yz O ,¸¦y nEr3¡stvujnEu
ob|nE~E|3|
zR L{otC{r
~Xu3t~E|
|3qotCr*nob*~ Et {nL{yxdnL{|*r3~E{rv¦
,
-/." ö 1032ù +&465 úù 7
,98õ
bùÛ!
ú #ù +& :;<&ù'9÷¯ø øLþúU÷
:pu
nE Eu
~Eoz|u3tvp9u3tC|*tC{r*tCîq9|3z{s ?~zRu3tCxdr*tCî Eu
~Xp;¡ =?>}A@;><>wB>,=xv~ tC@~ ^5iSQ \)W5UXW5RYQSZ!¦ =C>
xdnL{|3z|3r3|bnEÊ~ xdn tCxdr3zRnL{7nE* 9nP¢ Eu¸~Xp9¡D| =FEg<G= Q <HHH jnL{stðjnEubtC~Ex¸¡ p9u3nVxdtC9qsu35t ,¸nL{stnEè¢=¡zx¸¡
=FIKJLNM¯Uu3tvp9u3tC|*tC{r3|r3¡st?pu3nE Eu
~E=
o {µ|Êob~Ez{ pu3nyxdtCqsu3tE¦ ~Ex
¡ 9n¢ Eu
~Xp9
¡ =PO ¡~E|+~ðq{9
z qs@t ^gT]RYW]T
{snysKt QROVs~E{ ~+q9{
z qt \TSSalT{nVsCt UVOy¦ ÿ ¡stnEr3¡stvu{snystC|"nEr3¡st 9n¢ Eu
~Xp9¡u3tvp9u3tC|*tC{r"|*r3~Xr*tCobtC{Ûr3|
~E{ pu
tCzxv~Xr*tC|<nEªr3¡stèpu3nE Eu
~Eo z{ r3¡stÊq|3q~ ¢$~CE0t ~sxdtvprr3¡9~Xr~pu3nyxdtCqsu3tèxv~ z|<u3tvp9u3tC|*tC{r*tC
V?r¢&n{snVtC|vv
~ MORXs|sU{snystÊ~E{ v~ W5\ T5iSW`jr^5alT]\b{nVstE¦
-{2~EzRr3zRnL{br*nÊr3¡st<nEu
z{9~Xu3Ïz{r*u
~Xpu
nVxdtCqu
~ tCs EtC|r3¡~Xr&xdnL{{stCxdrr3¡st8{snVtC|nEr3¡st8z{zRyzq~
9n¢ Eu
~Xp9¡|CNnEuÊtC~Ex¸¡ pu
nVxdtCqu3t2xv~ u3tvpu3tC|3tC{Ûr*tC
VBxv~ {snV/t W~E{Bu3tvr3qsu¸{y|3zRr*t{snysFt Xy =C>
¡~E|<r3¡u3tvtÊtCs EtC|

!#"%$
&'(
)('*,+.-#/
(0+12/43)567"98:<;>=$28@?A#$?:BCEDFCG5)3
H
H)IH*J+K2(IH002(L#/
&'(M3)5NO"%84$=#?4!;>=$28P?F#$?QBCEDFCN5)3
RG0SUTNVH
0XWY[ZJ\
]*Y+/
0XWY^_\
`
aXWbZ,\!cNd^_e
3)5f7"98Q$=)?,O;E=)$28P?F)$?QB2CEDFCf53
H
s
P
ENTER P
s
n4
IF a>0
main
ENTER main
n5
a := a − 2
n1
CALL P(7)
n6
CALL P(a)
n2
RETURN
FROM P
n7
RETURN
FROM P
n3
PRINT(x)
n8
a := a + 2
e
main
EXIT main
n9
x := −2 * a + 5
e
P
EXIT P
)§hg ¥ ®I ÒZ¨¯½8¹ ¤·¸É<¶ZÂµ¹¶Pº¾¼hÎ
º·¸ÉÙ·¸½ZÀ8³§¿¾Ú´ÇÁZ¶E¹_º¾Î
º·¸¶Z²<i4j¸Ò
L { z{r*u
~Xpu3nyxdtCqsu¸~ MORXs|s r>T]N+rJW]\ T5iIW5`jr^5alT]\tCs EtNu3nLo Wr*n X
L {z{Ûr*tvu
pu3nyxdtCqsu
~ MORXs|s r>T]N+r^gT]RYW]TtCs Et$ju3nLo Wr*nr3¡st<|*r3~Xu3r{snystnEr3¡st"xv~ tCp9u3nVxdtC9qsu3t
\ tCs Et+Nu
nLo r3¡st+t0y~ zRr{snVtÊnEr3¡stxv~ tCîpu3nyxdtd
L {ðz{r*tvu3pu
nVxdtCqu
~ T\ SSalTgr>T]NrJW5\ T5iSW`jr^5alT]2
9 qsu3tèr*n Xy¦
ÿ ¡stxv~ ¾r*nX¾u
tvr3qsu
{y|3zRr*t$tCs EtC|¯~Xu3tz{x q9stCÊ|*nr3¡9~XrU¢"txv~E{¡~E{9 tpu3nE Eu¸~Eob|/¢=zRr3¡ nyxv~ X~Xu
z~ tC|
~E{ p9~Xu
~Eotvr*tvu¸|r3¡st?9~Xr3~9nP¢!jq9{xdr3zRnL{|ènL{ xv~ ¾r*nX¾u3tvr3qsu
{y|
zRr*t ~E{9 t0~szRr-¾r*nX¾u3tvr3qsu
{y|
zRr*ttC EtC|
p/tvu
obzRrr3¡stz{NnEu
o?~Xr3zRnL{ ~ nLqr nyxv~ X~Xu
z~ tC|$r3¡9~Xr"¡sn 9|"~Xr"r3¡stèxv~ |3zRr*tr*9n /txdnL2o z{stCb¢8zRr3¡
r3¡stz{NnEu
o?~Xr3zRnL{ ~ /nLqsr< n 9~ X~Xu
z~ tC|=r3¡~Xr=¡sn 9|~Xrr3¡stÊtC{9 nEªr3¡tÊxv~ tCðpu
nVxdtCqu3tE¦
¦p
k SjRYPDQsb\ml'nho tzR Lqsu3t |3¡snP¢8|~E{ 0t ~s~Eop tèp9u3nE Eu
~Eo ~E{ðzRr3||3qsp/tvu3 Eu
~Xp¡]
,98 ö÷¯ø ù &ùLúý 9ûüù +% ø ."
q \ràlTabNX`_l]n(sut QRTZ AA v+D]v`JLij7
T w[vhf*AXW ÀCaÛ!] x i¾AÀCaÛ<] yKNYÏ{I zR^yAXY
Y¸K dDÍF]dW8îLF |YC>] }Cc]vX` ¸]
AA v4w]3aCJV]hY¸OgTÛK vTgKjDjj
D ¸]a]dÀEi]
Ka dF UE<GU Q <HHH]<GUE~0 OY N@i O vvAXfIXDjD *O ! wO OijTy]+i¾IXfÇJ]Ci&AA v
]3aPJ] U KlYÊijTy]YvAXcyf h]2AA vÏ]
aCJ] U1E =IEij=T AX&` IEi]vÌEiKÇAX` KNY+aÛ]dÀLi]3a dF p
ÿ ¡t{nEr3zRnL{ nE$~E{ z{Ûr*tvu3p9u3nVxdtC9qsu
~ + ,Z~ z p9~Xr3+¡ xv~Xpr3qu3tC|èr3¡stzstC~ r3¡9~Xr|*nLotp9~Xr3¡9|èz{
= > sn?{snEru3tC|*p/tCxdr8r3¡st+~Exdrr3¡~Xr8¢8¡stC{ð~?pu3nyxdtCqsu3
t {z|3¡stC|CxdnL{r*u3n z|=r*u
~E{9|*Ntvu
tCðr*nr3¡st+|
zRr*t
nEr3¡stonL|*r&u3tCxdtC{r"xv~ ¦s *|3~Eobtd tvEt Z~ zp9~Xr3+¡ Ïz|"~X~ zbp~Xr3¡?r3¡9~Xr"|*r3~Xu
r3|&~E{?tC{|"z{?r3¡st
|3~Eobtèpu3nyxdtCqsu3tEs~E{ z{ ¢=¡zx
¡ tvEtvu3 xv~ ¡~E|~bxdnEu3u3tC|*p/nL{z{ Ïu
tvr3qsu
{¦
q \ràlTabNX`_l]nl SUTs]2YC]vijYAA v ^RYPD\Orsb\ kX\s1kRXs|abe QRTZ^ IXà kRXs|abe QR+T5Z^ Kj` =C> IEf*]aÛh] `]3a
KjàX+c CiKjMX]vDGF IZ4Y vdAEDNDAXgY
L SUTy]2]dW8îFÊ^yIEijTðKNYI ^]RYPn\rsb\k&\)s7kRXs|abe8QSRT5Z z_IXà ijTy]vf*h] vdAXf3]I kRXs|abe8QSRT5Z |
L IEijNT U KNY\I kRXs|abeVQRTZ K vè]vKjijTs]df U KNY8ÀLi&IX`îE] EKi _i¾A f3]vicyfh+` YhKji]Ï]3aPJ]+IXà KlYMZIXDÍKa
AEf U KNYIX`ñ>] EKi -i¾A f3]vicyfh+` Y¸Ki]b]3aPJ]?IX`<a U 4gTs]df36] KNYI YdIXWbg] DÚ]dME]dDªMZIXDÍKa
^sIEijTLO KNY?IMZIXDÍKÇab^yIEijTLOÊIXàBijTy]bYvAXcyf h]ÀCa] AA v U# KNYbijTyf] ¸IXDND&ÀCaÛ] ijTVIEiWIEi dTy]dYijTy]
f3]vicyfh+` Y¸Ki]ÀCaÛ]?IEi=ijTy]bi¾IXfÇJ]Ci8AA v U H9+c vTBIÏ^sIEijTKlYI ^RXPn\rsb\k&\)s/k)R&s|abe QRTZ K vBKlY
IEDËYvA IYvIXWb0] _D]vMX]vDMZIXDÍKÇaè^sIEijT

]ÏaÛ]vÀEi]ijTy]YC]vi"AAvÊMZIEDGKÇa^yIEijTLY v¸f*AXW ÀCaÛ]Ox i¾A?ÀCaÛ]Oy dF x < y , p
,98 ,
02
÷ þùLúU÷ & ÷Uø ÷û 0÷þ¾ùÛúU÷"&49÷¯ø -ù÷"-úù &4ù q \ràlTabNX`_l]n ]vi 3 ] I `Ki]îYv]Ci2AA v^f-A3JLf-IEW Y¸FXW 3AEDËY ]vi 6 ¸] I `Kji]gTs]dKJXTiWb]
]Ci
Yv]vWlK _DRILiÇiK h]gKijTBI i¾A¸^]dDÚ]dWb]d`9i
y ]2aÛ]vÀEi]bijTy]Wb]¸]viA¸^s]vf-ILi¾AXf@dFSUTy]+Yv]Ci : `M 3=<>61,
AA v \)`&kSaW]N&`SPD\_`&T]^ KlYèijTy]ÊYv]CiAA vQvhcV&
` CiKÇAX`s:Y v¸f*AXW 3 i¾A 6 $SUTy,] vdAEDNDAXgKj`J A¸^s]df*IEiKÇAX`sYÏIEf*]ÏaÛ]h`]3a
AX` : `9M 3=<>61,
L SUTy]+Wb]
]vi$A¸^s]vf-ILi¾AXfAE` : `M 3A<>6B, O$aÛ]dÀLi]3a dF U y E U y Q OKNY H U y E , U y Q ,?,
L SUTy]Ïi¾A¸^ ]dDÚ]dWb]dìKj` : `M 3A<>6B, O$aÛ]dÀLi]3a dFOKNY H
L AXfIX` ]v`MPKjf*AX`Wb]d`9i U y : `M 3A<>6B, O 3 O$IXà
6 O$ijTy]?>] d^f*]dY
YhKAX` U y E a]dÀEi]dY ijTs] ]d`MKNf*AX`Wb]v`9ièKj`ñgTÛK vT KNYbWI¸^L^]3a i¾A2IXà IX`9FALijTy]df?Y¸FXW 3AXD " ! KlY
WI¸^Û^s]3aOI ¸AXf-aEKN`J i¾A U y ,
p
jRYPDQsb\ml'n$# -{ r3¡stxv~E|*tnEz{r*tv Etvu\xdnL{|*r3~E{rpu3nEp9~X L~Xr3zRnL{
L 3z|<r3¡t|*tvrnEz{Ûr*tv Etvupu3nE Eu¸~Eo Z~Xu¸z~ tC|v¦
%( ' ¢=¡stvu3t *
)V z,+ K&-ÏsnEufm¦ ÿ ¡Vq|$r3¡st¡stCzR L¡rnE
%( ' z|=V¦
L 6&
-{ ~ðxdnL{9|*r3~E{Ûr-¾p9u3nEp9~X L~Xr3zRnL{ pu3n tCo I: `M 3A<>6B, z|q|*tC ~E|jn nP¢8| _U y , %1r3¡stC{ r3¡st
X~Xu
z~ t ¡~E|+~ V{nP¢={ xdnL{|*r3~E{rX~ qst?z{r3¡tbtC{VzRu3nL{9otC{rBU y ¯r3¡stX~ qst- stC{snEr*tC|{nL{y
k
S
xdnL{|*r3~E{r8~E{9 stC{snEr*tC|8~E{ q{6y{snP¢8{ Z~ qstE¦ p
q \ràlTabNX`_l]n/. t `7]d`9MPKjf-AX`9W]v`9iif*IX`sY vdAEf¸Wb]df10¸ : `M 3A<>6B, E : `9M 3=<>61, KNY e ab^gT5WahIijTalk&\
za]dÀEi]
2
a vF20h : `9M 3=<>61, E C : `M 3A<>6B, |K 3 vvAXf]dMX]vf¸F U y E<GU y <HHH : `M 3=<>61, OIEà4 3 O
0 U y |,?,0 ,G 0 U y ,?,0 , 65+AEi] ijTVILiÊijTÛKNY ]E}vcIXDÍKjiFBWcVYhQiÊIXDGYdATVAXDa vvAXfKN`#`Kji] Yv]CijY AAv
]d`9MPKjf-AX`9W]v`9ijY p
,98/7
-D. 1
ø 98"'ú 5 2ü&÷ýVøLþ¾ú¯"÷ ~Xr3~ 9nP¢ pu3n tCo0z| |*p/tCxvz 9tC V ~E{9{snEr3~Xr3z{s ÙtC~Ex¸¡ tCs Et UBnE = > ¢=zRr3¡ ~E{7tC{VzRu
nL{otC{r
r*u
~E{|3NnEu
obtvu<r3¡~Xr=xv~Xpr3qu3tC|<r3¡stÊt:+/tCxdr=nEªr3¡stÊp9u3nE Eu
~Eo nEp/tvu
~Xr3zRnL{~Xrr3¡stÊ|*nLqsu¸xdtÊnE UE¦
q \ràlTabNX`_l]n<; t ` a`S^gT]RY`SMO\ AA vÏIX` a`&T]\_WQIW]NMO\_eiSW5RXs!eab^T5WahIiTalkX\K\)`&kSaW]N&`SPD\_`&T.QSW5NXhjr
sb\)P z_AXf>= q k QSW5NXhsb\)P vdAXfÊY
TVAXfd%i |bKNY+NI vdAXcyf _ic^DÚ]hO F =C>5<>3A<>6<@
? , O&gTy]vf*)]
L =C> KNY+IbY¸c^s]dfÇJEf*I¸^9T
L 3 IXà 6 IXf3]IZYÏaÛh] `]3a?Kj` }80t {zRr3zRnL{V©¦ '
L ? w > E : `M 3=<>61,E C : `M 3=<>61,?, KlY IX`7IZY
YhKRJL`Wb]d`9iA v aEKlYdif¸K dcsiKjMX]î]d`MKNf*AX`Wb]dì
if*IX`sY vdAEf¸Wb]df¸Y2i¾A?ijTs]2]3aCJV]hY+AA v =?>
p
k SjRYPDQsb\ml'n/A4-{r3¡t"xv~E|*t$nE z{stC~XuxdnL{|*r3~E{rªp9u3nEp9~X L~Xr3zRnL{Er3¡st$z{r*tvu3tC|*r3z{s \tC{VzRu3nL{9otC{r¯r*u
~E{9|-
jnEu
otvu
|ª~Xu3t$r3¡snL|*t<~E|3|3nVxvz~Xr*tC2¢8zRr3¡+tC EtC|¢=¡snL|*t<|*nLqsu¸xdtC|ª~Xu
t$|3r3~Xu3r{snVtC|vZxv~ {nVstC|Ct0~szRr{snystC|v
nEu={snystC|<r3¡9~Xru3tvpu3tC|3tC{Ûr~E|3|
zR L{otC{r|*r3~Xr*tCotC{r3|v¦
7¡stvr3¡stvuÏtCs EtC|ÏnLqsrÏnE|*r3~Xu3r{snVtC|+¡~PEt{nL{yzstC{r3zRr tC{yzRu3nL{otC{rÊr*u
~E{9|*NnEu¸otvu
|+stvp/tC{|
nL{7r3¡st |*tCo?~E{Ûr3zxv| nEr3¡stpu
nE Eu
~Eobo?z{s ~E{s Lq9~X EtE¦ tsnEu 0t ~s~Eop tE"r3¡tC|*ttCs EtCg| {<tC{VzRu
nL{otC{r
r*u
~E{|3NnEu
obtvu
| ob~P u30t tCxdr r3¡st~Exdrðr3¡~Xr ~ñp9u3nVxdtC9qsu3t {µ| nyxv~ X~Xu
z~ tC|ð~Xu
t q{z{zRr3z~ zR£vtC ~Xr
r3¡stð|3r3~Xu3rnE\r3¡st pu
nVxdtCqu3t r3¡~Xrbz|vr3¡st r*u
~E{|3NnEu
obtvu
|Ï¢&nLq /t B U y H U y !E E - o Q E
- HHH5 9C E - NnEu~ nyxv~ Z~Xu¸z~ tC/| H_¦ ÿ ¡sttC{VzRu3nL{9otC{r"r*u¸~E{|*jnEu
otvu
|"jnEu$r3¡stètCs EtC|<nLqsr$nE
r3¡st|3r3~Xu3r{snystNnEuUr3¡stpu3nE Eu¸~Eo {µ|ob~Ez{\p9u3nVxdtC9qsu3tob~P~ |3nu30t 9tCxdrr3¡tj~ExdrUr3¡~Xr n 9~ X~Xu
z~ tC|
~Xu3tq{z{zRr3z~ zR£vtC ¢=¡stC{ r3¡stbp9u3nE Eu
~Eo z|Ï|*r3~Xu3r*tCI¦ tsnEu0t ~s~Eop tEUr3¡stbtC{VzRu
nL{otC{rr*u
~E{9|*NnEu¸otvu
~E|3|*nyxvz~Xr*tC¢=zRr3¡ tCs EBt Q IKJLNM E y z{ r3¡st|
qsp/tvu3 Eu
~Xp9¡nE tzR Lqsu3t z| D U y H 9 HE-Ï¦
F ª¯¹-½X»¹hÓHG³µ´¯·
Âµ´Ç¼»_¼hÉ<¶ÂË¹¿¾¹·¸½ZÀ²X·
´¯·&ÂË¹-·¸´¿U¹-Âµ¹-É<¹-½v¿*ÓÀ¹-½¼¸¿¾¹*À=ÈvÆJI"Ò
ò
ÿ ¡ttC{yzRu3nL{otC{r2r*u
~E{|3NnEu
obtvu
|~E|3|*nyxvz~Xr*tCÙ¢=zRr3¡ÙtCs EtC|nLqsr2nE\xv~ ~E{ t0~szRrb{snystC|u3t0tCxdr
r3¡st ~E|
|3zR L{otC{r3| nE~Exdr3q~ r*nNnEu
o?~ p9~Xu
~Eobtvr*tvu
|v~E{7yzxdt Etvu
|
~ jNnEuxv~ ¾Z~ qtd¾u3tC|3q r
p9~Xu
~Eobtvr*tvu
|J,¸¦_tsnEu$t0~y~Eobp tEÛr3¡st8r*u
~E{|*jnEu
obtvu~E|3|*nyxvz~Xr*tC¢=zRr3¡btC Et y E Qz{?r3¡st8|3qptvu
Eu
~Xp9¡
nE tzR Lqsu3t z| U y H U y © E ]¾¦ z~E|3z{s jtE¦§ s¦qtr*n?p/nLz{Ûr*tvu
|nEu=u3tvjtvu3tC{xdtÊp~Xu
~Eotvr*tvu
| ,"xv~E{
/t=¡~E{ tCbxdnL{|*tvu
Z~Xr3zREt zR# ~E{9obzR L¡rz/t=~ z~E|3tC@/tvjnEu3t=r3¡t8|*r3~Xr*tCobtC{Ûr! Vr3¡stC{?r3¡st
xdnEu3u3tC|3pnL{9z{s tC{ÛyzRu3nL{obtC{Ûr<r*u¸~E{|*jnEu
otvu<¢"nLq K/t U y H U y E 5o E Ç U y b+,?, ¾¦
"¯z{stC~Xu8xdnL{|3r3~E{Ûr8pu3nEp9~X L~Xr3zRnL{î¡~E{ tC|8~E|3|3zR L{obtC{Ûr3|=nEr3¡stÊjnEu
o Wè~E{9K
W E ! W
¢=¡stvu
t
WKW EC\~E{ W Q ~Xu
t zRr*tvu
~ | nEuBq9|*tvu*st0{tC xdnL{|3r3~E{Ûr3|v¦ ÿ ¡t tC{VzRu
nL{otC{rðr*u
~E{9|*NnEu¸o2Q
tvu
|~E|3|*nyxvz~Xr*tC7¢=zRr3¡Ùr3¡tC|*tî~E|
|3zR L{otC{r?|3r3~Xr*tCotC{r3|~Xu
tðnEÊr3¡stNnEu¸o 2 U y H U y E W¾$~E{
U y H U y E W E U y b, W Q ¾su3tC|*p/tCxdr3zREt E¦
tsnEu2nEr3¡tvu~E|3|3zR L{obtC{Ûr|*r3~Xr*tCotC{r3|vjnEuÏ0t ~s~Eop t vyr3¡st ~E|3|3nVxvz~Xr*tC tC{VzRu
nL{otC{r
r*u
~E{|3NnEu
obtvu+z| U y H U y E - ¾¦ ÿ ¡z|r*u¸~E{|*jnEu
otvuÏz|Ï~|3~Xjt~Xpp9u3n ~szob~Xr3zRnL{ r*nîr3¡st~Exdr3q9~
|*tCo?~E{Ûr3zxv|bnEr3¡tð~E|3|3zR L{obtC{Ûr r3¡t r*u
~E{|*jnEu
obtvu2r3¡~Xrb0t ~s~Exdr ÙxdnEu3u3tC|*p/nL{9|r*n r3¡stð|3tCob~E{r3zxv|v
U y H U y E U y b+,7 U y , ¾xv~E{{snEr /tq|3tC z{ r3¡st -} Nu¸~Eotv¢"nEu /tCxv~Eq|*t zRr2z|2{snEr
z|*r*u¸4z 9qsr3zREtE¦ p
,98
-D. <s
ø ù 1%%/%þû Fø .ªú %üøLþ¾ú¯÷
? , ]IE` F H : ^f-A vD]vW KN`sYdi¾IXX` h#] \SUTy] Pn\_\ TgrN_kX\)WgrRXs|s r
q \ràlTabNX`_l]n ]vi F = > <>3A<>6<@
kRXs|aberJQRTZ^ YdAXDÍcsiKAE` AA v F vdAXfIJEKjMX]v` ÀCaÛ] y @;> OaÛ]vÀEi]
8
a dF @ C OÏKlYîa.] `]
aIZY
C
? ",0 , O&gTs]df3] ? KNYÏ>] Ûi]dàÛ]
a i¾A^yIEijTÛGY dfF AXW8^yAXY¸KiKAXÒ
vvAXDNDAXgY @ C IKJLNM !C }
? ?b,z U y H U y IXà }
? ? UE<GU Q <HHH5<GU>~gb,# C$ ? UE~5,&% }
? U>~('+E,)%+*,*,*-% }
? U Q ,)% }
? UE,
hK j)] O }
p
-{~E{-} p9u3n tCo Er3¡ttC{ÛyzRu3nL{obtC{Ûrr*u¸~E{|*jnEu
otvu~E|
|*nVxvz~Xr*tC?¢=zRr3¡?~E{bz{r*u
~Xpu3nyxdtCqsu
~ tC Et
U?u3tvpu
tC|*tC{Ûr3|Ï~î|3~XNt~Xppu3]
n ~yzo?~Xr3zRnL{ r*nr3¡st~Exdr3q~ |*tCob~E{r3zxv|+nEr3¡st?xdnyst ~Xr+r3¡t|*nLqu
xdtbnE UE¦
tq{9xdr3zRnL{|<nL{ xv~ ¾r*nX¾u3tvr3qsu
{s|3zRr*ttCs EtC|0t ~Vr*u
~Exdx
r jju3nLo r3¡stè~Xr3~ nP¢Ôz{sjnEu
o?~Xr3zRnL{ Z~ z zo?otCzÍ
~Xr*t v /tvjnEu3t=r3¡stxv~ ,&~Xr3~ 9nP¢ z{sjnEu
o?~Xr3zRnL{b~ /nLqsr nyxv~ Z~Xu
z~ tC|&r3¡9~Xr&oq|*7r /t8u3td¾tC|*r3~ z|3¡tC
~Xjr*tvur3¡st\u3tvr3qsu
{ ju3nLo r3¡stèxv~ Y¦ t9q{xdr3zRnL{|<nL{ 0t ~szRr-¾r*nX¾u3tvr3qsu¸{y|3zRr*ttC EtC|<0t ~Vr*u¸~Exdr=~Xr3~ 9n¢Ôz{sjnEu*
ob~Xr3zRnL{ r3¡9~Xrz/| /nEr3¡?X~ z ~Xr<r3¡stè0t ~szRr|3zRr*tènEªr3¡stèxv~ tC pu
nVxdtCqu3t~E{9 u3t tvZ~E{rr*n2r3¡stÊxv~ z{ pu3nyxdtCqsu
tE¦
. nEr*tBr3¡~Xr xv~ ¾r*nX¾u3tvr3qsu
{y|
zRr*ttCs EtC| z{Ûr*u
nVq9xdtî|*nLobt~E9zRr3zRnL{~ p9~Xr3¡| z{r3¡tî|3qptvu
Eu
~Xp9¡
r3¡~Xr"sn{snEr"xdnEu3u3tC|*p/nL{2r*nÏ|*r3~E{~Xu¸pu3nE Eu¸~Eo2¾0t ~ytCxvqsr3zRnL{bp~Xr3¡|v¦ ÿ ¡t=z{Ûr3q9zRr3zRnL{ /tC¡z{r3¡t=-}
ju
~Eotv¢"nEu z|r3¡~Xr\r3¡st2z{Ûr*tvu
pu3nyxdtCqsu
~ X~ zîp9~Xr3¡|nE}0t {zRr3zRnL{ V¦ËxdnEu3u
tC|*p/nL{ðr*Vn -p9~Xr3¡9|
nE8~Exdr3zRnLY{ NnEup9~Xu
r3zxvq ~Xu Y¸Yc dYv]vijY nEr3¡st u
q{r3zot?tC{Ûr3zRr3zRtC| jtE¦§ s¦ n 9~ X~Xu
z~ tCJ| ,¸¦ ÿ ¡st?p~Xr3¡
q{xdr3zRnL{ ~ nL{s Ù~ p9~Xu3r3zxvq ~Xu p9~Xr3¡ xdnL{Ûr*u¸4z 9qsr*tC| nL{ ^yIXfdi nEr3¡st 9~Xr3~ 9nP¢ z{sjnEu
o?~Xr3zRnL{7r3¡~Xr
u30t 9tCxdr3|¢=¡9~Xr¡~Xp9ptC{9|bqsu¸z{s r3¡stBxdnEu3u3tC|3pnL{9z{s u¸q{y¾r3zot0t ~VtCxvqr3zRnL{¦ ÿ ¡stð~Exdr3| jnEunEr3¡tvu
|3q |*tvr3|"nEUr3¡stèu
q9{Ûr3zobt=tC{r3zRr3zRtC2| jtE¦§ s¦ nyxv~ Z~Xu¸z~ tCJ| ,"~Xu3tÊ¡~E{9 tC. z,+tvu
tC{ÛGr -r*u
~ -tCxdr*nEu
zRtC>| y
jnEu0t ~y~Eobp tEsp9~Xr3¡|r3¡~Xrr3*~ EAt *|
¡snEu3r-xvqsr3>| bVz~bxv~ ¾r*nX¾u3tvr3qsu
{y|
zRr*t+tCs EtC|C¦
7 / Xþ÷ #10ù ."ðøEú :;<&ù'9÷¯ø 02÷ þ¾ùLúU÷ &49÷¯ø -8ù /÷ _úUù &4ù \{stnEr3¡st Etvy|$r*nr3¡st83t 2xvzRtC{xdbnE¯nLqsu"9~Xr3~ 9nP¢<~E{9~ V|3z|=~ EnEu
zRr3¡o z|"r3¡st\q|*tnE¯~ ^yAXKj`9igKNYv]
u3tvpu
tC|*tC{Ûr3~Xr3zRnL{nEtC{yzRu3nL{otC{rr*u¸~E{|*jnEu
otvu
|C¦L_{br3¡z|$|*tCxdr3zRnL{y¢"t8|3¡sn¢7r3¡~Xr&tvEtvu
bz|*r*u
4z qsr3zREt
tC{VzRu3nL{9otC{r"r*u¸~E{|*jnEu
otvu 0h : `M 3A<>6B, E C : `M 3=<>61,"xv~EK{ /t8u
tvpu3tC|*tC{r*tC q|3z{ Ï~2|*tvr<nEªq{xh
r3zRnL{5| 4 6 C87 C:9 < 3<; > = ¤E¤LtC~Ex¸¡BnErVp/Gt 6 E 6#¦ tq{9xdr3zRnL{ 6 = C z|\q|*tCr*nu
tvpu3tC|*tC{r
r3¡stt:+/tCxdr3|ènL{|*y2o /n r3¡~XrÊ~Xu3t2z{stvp/tC{tC{ÛrnEr3¡st2~Xu3 Lq9otC{r8tC{VzRu
nL{otC{rv&¦ t9q{xdr3zRnL{ 6 C87 C
xv~Xpr3qsu
tC|r3¡st$t:+tCxdr&r3¡~Xrr3¡st$X~ qstnE|3V9o /n z{r3¡st~Xu3 LqobtC{ÛrtC{VzRu3nL{9otC{r¡9~E|nL{2r3¡st<X~ qst
nE<|*y2o /n z{ r3¡stu
tC|3q rÊtC{VzRu
nL{otC{r zR snVtC|Ê{snEr+stvp/tC{BnL{ Ur3¡stC{ 6 C87 C H ¦ tsnEu
~E{|*y9o /n sr3¡st\Z~ qstènE 0 U y ,0 ,$xv~Ef{ /tèstvr*tvu
obz{tC@ Vbr3*~ yz{s 2r3¡stÊobtvtvr$nE¯r3¡st\X~ qstC|<nE
3 z{zRyzq~ q{xdr3zRnL{ ~Xp9p zxv~Xr3zRnL{| 90 U y ,0 ,! 6 = , C87 !? 6 C87 C ?U y ,0 ,?,?,¸¦
C

_ rz|"xdnL{ÛEtC{zRtC{r"r*n+u3tvp9u3tC|*tC{r 0 ~E|&~ Eu
~Xp9¡¢8zRr3¡ 38 ,{snystC|~E{9b~Xr&obnL|*r38 , Q tCs EtC|C
¢=¡stvu
t+tC~Ex¸¡tCs Et H E z|è~E{{snEr3~Xr*tCB¢=zRr3¡Br3¡tÏq{xdr3zRnL{ 6 C 7 C ~E|èstC|3xdu
z4/tCB~/nPEtE¦z{tC Et
q{xdr3zRnL{ H snVtC|è{snErèxdnL{r*u
z49qsr*t2r*n r3¡st9{~ X~ qstnE&~ |*yo9/n 9r3¡stvu3tvjnEu3tEr3¡sttCs EtC|Êr3¡~Xr
¢"nLq {snEu
o?~ @ /tè~E{{snEr3~Xr*tC¢=zRr3¡ r3¡9~Xrjq9{xdr3zRnL{ xv~E{ /t\nLobzRr*r*tCðNu
nLo r3¡stè Eu
~Xp9¡¦-,
-{r3¡z|$|*tCxdr3zRnL{ ¢"t|3¡nP¢ r3¡~Xr$r3¡st\otvtvr-¾nEtvu*~ ¾Z~ zs¾p9~Xr3¡||*n qsr3zRnL{ z{ =C>8xv~E{.tjnLq{@
{9z{s ðr3¡sp
t *otvtvr-¾nEtvu*~ ¾u3tC~ zR£C~ td¾p~Xr3¡>| |*n qsr3zRnL{ nE=~u3t ~Xr*tC pu3n tCo±z{ ~ Eu
~Xp9¡ =
n r3~Ez{stC=
p9~E|*r3z{ r*nE Etvr3¡stvur3¡stèu3tvpu3tC|3tC{Ûr3~Xr3zRnL{ Eu
~Xp9¡|$jnEutvEtvu3 xdnL{r*u3n nP¢ÔtC Etz{ =C>¦
7 8õ úUþ÷¯ø 5þ :;<&ù'9÷¯ø øEþúU÷ ú ? 02÷ þ¾ùLú¯"÷ &49÷¯ø -ù "÷ -úù &4ù nho ]vi 0¸ : `M 3A<>6B, E C : `M 3=<>61, ]ÏIX` ]v`MPKjf-AE`Wb]d`9i"if-IE`sY vvAXfhW]vfIEà?D]Ci = !
q \ràlTabNX` '
3 &SUTy] Q7N&a`&T.ab^\ W5\_QIW5\ ^\)`&T]RTabNX` AA v20¸OªaÛ]dÀEi]3.
a dF N* 3+; > = ¤ ,K3+; > = ¤ , E 6 E 6B, O
KNY+aÛ.] `/]3Ka dF
=
H 0 ,0 ,
H = < 3
H
<
3
H 0 E b,0 ,z 0 ,0 ,
$
C
N < , < 3 H 0 E b,0 ,z 0 ,0 , H 2A Ú,
g
0 E b,0 , A l,g
t DGYdAZO vvAXf\I+JEKjMX]v` f*]_^f*]dYv]v`9i¾IEiKÇAX
` N- 3; > = ¤ , 3; > = ¤ , E 6 E 6B, OijTy] a`&T]\_WQIW]\ T]RTabN&`
AA vO_O O : `9M 3A<>6B,DE C : `M 3A<>6B, KlYijTs]+aEKlYdif¸K dcsiKjMX]2]d`9MPKjf-AX`9W]v`9i$if-IE`sY vvAXfhW]vfa.] `]
K
a dF
N oU y ,0 ,# C$ O = < ,0 , C87 ? O < ,0U y ,?,?,
,
p
n(s tzR Lqsu3t |3¡nP¢=|$r3¡stèp/nLz{r¢=z|3tèu3tvpu3tC|*tC{r3~Xr3zRnL{|<nE¯r3¡stètC{VzRu3nL{9otC{r&r*u
~E{9|*NnEu¸o2
k SjRYPDQsb\
tvu
|<jnEu z{stC~XuxdnL{|*r3~E{r=pu
nEp9~X L~Xr3zRnL{ jnEur3¡st|
qsp/tvu3 Eu
~Xp9¡nE tzR Lqsu3t ¦p
ÿ ¡tz{Ûr3q9zRr3zRnL{=/tC¡z{ r3¡st+st0{zRr3zRnL{ nE O z|=r3¡~Xr.*o?~Exdu3nX¾q{xdr3zRnL{+ 0 z|u3nEtC{snP¢8{ðz{r*n
*obzxdu
nX¾jq{9xdr3zRnL{>| \r3¡~Xr~Xu3/t ~E|3zxv~ nEr3¡st<jnEu
o H 0 E b,0 ,¸¦ÛnEu3tp9u3tCxvz|*t EÛ~ o?zxdu3nX
q{xdr3zRnL{| < ,¸¢=¡tvu3t ! = ª~Xu3t xdnX|*r*u¸zxdr2Z~Xu
z~E{r3|nE H 0 E b,0 ,¸¦ ÿ ¡st?o?zxdu3nX
q{xdr3zRnL{| N = < ,b~Xu3t r3¡stnL{ ñ{snL{yxdnX|*r*u¸zxdro?zxdu3nX¾jq9{xdr3zRnL{| r3¡tv p ~CÙ~u3n tî|3zobz ~Xubr*n
r3¡st - EtC+{ |*tvr3|nE EtC{y yz pu3n tCo?|v¦ ÿ ¡tr*nEpBjq9{xdr3zRnL{Bz|q9|*tCð¢8¡stC{stvEtvupnL|
|34z tE/z¦§tE¦¢8¡stC{
H 0 E b,0 ,&z|t Vq~ r*n O = < ,&~E{r3¡Vq|"sntC|"{snEr"xdnL{Ûr*u
4z qsr*t8r*nÏr3¡st8u
zR L¡Ûr-¡9~E{?|
zst=nE
,¸j¦ tz{~ E/r3¡st2zstC{r3zRrðq{xdr3zRnL{Bz|èq|3tCð¢=¡tC{stvEtvu\pnL|
|34z tE/z¦§tE¦¢=¡stC{r3¡st+u¸zR L¡Ûr-¡~E{9î|
zst
nE ,"¢=z ¡9~CEtÊr3¡st+|3~EotèX~ qstÊ¢=¡tC{ z|=|3q 9|*r3zRr3qr*tC NnEu H 0 E b,0 ,¸¦
Z\_NXW5\_P ' nl AXf2]dMX]vf¸F 0¸ : `M 3A<>6B,DE C : `M 3A<>6B, O 0 N p
ªnLz{r¢=z|*t u3tvpu3tC|3tC{Ûr3~Xr3zRnL{|~Xu3t x nL|*tC q{stvu xdnLobpnL|
zRr3zRnL{~E| xv~Xpr3qsu
tC r3¡st jn nP¢=z{ s0t {9zRr3zRnL{ ~E{ r3¡stvnEu
tCo ¦
n SUTs] MON&PDQ NX^5alTabNX` O O ¦ AA vU^yAXKj`9igKNYv]=f*]_^f3]hYv]v`9i¾IEiKÇAX`sY O < N ¦ 3 ; > = ¤ q \ràlTabNX` '
3 ; > = ¤ , E 6 E 6B, KlY+aÛh] `]
f
a vF ¦ ,0 < ,0 ,# C$ 3 ? "! =$# ¦ )< ,0 <$,0 ,?,
p
Z \_NXW5\_P 'n$# AXfIXDND0 Eg< 0 Q <HHH< 0 C : `9M 3=<>61, E : `M 3A<>6B, O
¦ ,*,*,* &% # 0 C % 0 C:'+E %+*,*,*% 0 E p
}t0 {zRr3zRnL{x's¦©'8obtC~E{|r3¡~Xr yzRt |U~E{nEr3¡stvuUu3tvp9u3tC|*tC{r3~Xr3zRnL{ Eu
~Xp¡¦ ÿ ¡stvnEu
tCo 's¦ËobtC~E{|
r3¡~Xrr3¡st xdnLop/nL|3zRr3zRnL{ nE|*tvEtvu
~ tC{¦ VzRu3nL{9otC{rÏr*u¸~E{|*jnEu
otvu
|+xv~E{p/ t?u3tvp9u3tC|*tC{r*tCp ~B|3z{ t
u3tvpu
tC|*tC{Ûr3~Xr3zRnL{+ Eu
~Xp9¡¦ ÿ ¡~Xrz|vCtC{yzRu3nL{otC{rr*u
~E{|3NnEu
obtvu
|~Xu3t* xdnLobpu3tC|3|3z4 t r3¡stvu3tz|U~//nLq{
nL{+r3¡st&|3zR£vt"nEsr3¡st" Eu
~Xp9¡+{stvtCstC+r*n8u3tvp9u3tC|*tC{r¯~E{Ê|3qx
¡+q{xdr3zRnL{9R+^' \)s|sYR+^TZ\2MONXP Q NY^5alTabNX`S^
NYd^]iSMZmdoiI`SMTabNX`S^)(
í
s
P
ENTER P
λ l. 7
λ l.⊥
Λ
x
s
Λ
a
x
n4
IF a>0
main
ENTER main
n5
a := a − 2
n1
CALL P(7)
λ l.l − 2
n6
CALL P(a)
n2
RETURN
FROM P
n7
RETURN
FROM P
n3
PRINT(x)
n8
a := a + 2
e
main
EXIT main
n9
x := −2 * a + 5
e
P
EXIT P
λ l.l+2
λ l.−2*l+5
´)¿§h·¸g ½v¥¿ÇÅl¶I® º¾ ¼¸¶X·
CÎdÒ·
¬/¿¾³µ²¼¸½\¹¶ÂË·¸º¾¼¸ÈEÈZ¹_ÂµÂË¹-¹-É\ÀÙÒZo¹ ¬/¤²Z¶¹Âµ¼C¹*ÀÀP¹*ÎhÀ ¹´ÇÌÍÁZÁ½X¶E»¹_¿¾º¾³ËÎ¸¼¸º½Z·
Ú¶Z²ñ·
º¾¹ÌR¼
·
ºÂËÂ¿¾²Z¹ y¹º¾¤Á»_½Z¹-½Z¶P³µ½¿ÎÄ²Z¹ ¹_¤º¾·¸¹É<³µ½X¶ZÀPÂµ¹ ³Ë»-·
¶¿¾º¾¹*¼¸ÀLÎ¸Ò º·
É ÌÍ¼¸º ¿¾²¹ðÂµ³µ½Z¹-·
º »¼h½Å
7 8 -D. P'%9û 09 %¾úû û ü P9ù #ù .
n/. ]vi F = > <>3=<>6;<@? , ¸]IX` F H : ^f*A dDÚ]dW0Kj`sYdi¾IXX` ¸)] SUTs] sbRYh \sb\ e}\TS#r
q \ràlTabNX` '
QsbNeS\_e ^]iSQ7\_W5UXW5RYQIZ AA v F KlY+I aEKNf3>] Pi]3aJLf-I¸^T = A@ <>w , gTs]df3] @ C @ >D3<;
¤ , IXà w C x < E y < 9 x E y w > < C < , ! H ¤ : aCJ]DRI¸]dDGY2IEf*]
> = JEKjMX]vm
` dF [I vhcyX` CiKÇAX` : aCJ] `9 w E 6 E 6B, aÛ.] `/]3a i¾A )] : aCJ] ` x < E y < , C$
C! < ,
t ^sIEijT KN` = KlY?I W5\_RXs|aORYhsb\ QSRT5Z K vbijTyK
] ¸AXfhf*]dY¾^yAXàXKN`VJ ^yILijT KN` = > KNY?IðMXIXDÍKab^yILijT
]ÏaÛ]vÀEi]ijTy]YC]v i$AA vÊf3]3IXDÍKÚkCI vD]=^sIEijTLY vhf*AXW IE` E] h^DACaÛ]
a ÇJEf*I¸^9TBÀCaÛ] U x i¾A IX` E] h^DACaÛ]
a JLf-Ih^9T
ÀCa] U y dFG[ U x <GU y , RYPn\rsb\k&\)szW]\_RXs|aORXhIsb\ QSRT5ZS^ IXf*]a.] `]
a?Y¸KjWKNDIXfhDGF p
n<; tzR Lqsu3t xdnL{Ûr3~Ez{|r3¡st<0t ~yp nVtC|3qsp/tvu3 Eu
~Xp¡jnEur3¡st<u
q9{{z{s \0t ~s~Eop t$pu3nE Eu¸~Eo
k SjRYPDQsb\
~ /t tC ¢=zRr3¡ r3¡stÊ{snL{yzstC{r3zRrA : aCJ] ` jq9{xdr3zRnL{|v¦ p
n/A ]vi F =?>]<>3A<>6<@
? , ]IE` F H : ^f-A vD]vW KN`sYdi¾IXX` h#] \SUTy] Pn\_\ TgrN_kX\)WgrRXs|s r
q \ràlTabNX` '
W5\ RXs|aRYhIsb\rJQSRT5ZS^ YvAXDÍcyiKÇAX`ñAA v F vvAXfbIbJLKNME]d` E] h^DACaÛ]
aîÀCaÛ] U y @ OaÛ]vÀEi]3
a vF @ f[ C O
KNY+aÛ.] `/]3a IZ4Y vvAXDNDAXgY
@ f[ C C$ f[ I J LNM = C ILijT ` ",0 ,
gTy]vf*d] =IEijT `ÙKNY : aCJV] ` >] Ûi]dàÛ]
a i¾AÊ^yIEijTLY v.F ¸AXW8^yAZY¸KiKÇAX` p
t{nP¢ |3r3~Xr*tr3¡stèr3¡stvnEu
tCo r3¡~Xr=z|r3¡st 9~E|3z|NnEunLqu=~ EnEu
zRr3¡oNnEu8|*n Vz{ _} pu3n tCo?|
? C ,7 @ f[ C C p
F y @ > IXà 3 O Z\_NXW5\_P ' n AXf2]dMX]vf¸

ÿ ¡stxdnL{|*tVqstC{xdtnE<r3¡z|+r3¡stvnEu3tCo z|r3¡9~Xr+¢"txv~E{ |*n Et -} pu
n tCob|x |*n yz{s B~ u3t ~Xr*tC
pu3n tCo nL{ r3¡st ~/t tC t0~yp nystC |3qptvu
Eu
~Xp9¡¦
÷ +&7þý bùLú #
ù +&(&þ÷ #+1%#úùÛþ¾ø."&
-{Br3¡z|è|*tCxdr3zRnL{¢"t2pu3tC|*tC{rè~E{ ~ EnEu
zRr3¡o r*n xdnLop9qsr*tÏr3¡stobtvtvr-¾nPEtvu*~ ¾X~ zy¾p9~Xr3¡||*n qr3zRnL{
r*n+~Ê LzREtC{b~Xr3~ 9n¢ p9u3n tCo z{|3r3~E{xd*t F ¦ ÿ ¡stz{sp9qrr*nÊr3¡st=~ EnEu
zRr3¡9o1z|r3¡st ~ /t tC0t ~yp nystC
|3qsp/tvu3 Eu¸~Xp9¡ = ¢8¡stC{ñr3¡stî~ EnEu
zRr3¡o {z|3¡stC|CNnEu?tvEtvu3ñ0t ~yp nVtCy¾ Eu
~Xp9¡ {snVt U y @
MZIED U y ,7 @ G[ C ¦ ÿ ¡st~ EnEu
zRr3¡o!nEp/tvu
~Xr*tC|$z{r¢&np9¡~E|3tC|vÛ¢=¡9zx
¡b~Xu
t|3¡nP¢={?z@{ tzR Lqsu3tC|$+~E{
's¦-
{ ¡~E|*t2hr3¡st2~ EnEu
zRr3¡o 9qz |èqp ^sIEijT v¸cyX` PiKAE`sY ju3tCxdnEu
stC z{ =IEijT ` ,~E{ YhcVWWIXfhF
vhcV`&CiKÇAX`sY ju3tCxdnEu¸stCz{ HcVWWIXfhF ` ,¸¦!ª~Xr3¡ q{xdr3zRnL{|~E{9Ù|3qo?ob~Xu3 q{xdr3zRnL{9|~Xu3tðst0{stC
z{r*tvu
ob|8nE ]3aPJ] vhcyX` CiKÇAX`sY : aCJV] ` ,¸/~E{nEr3¡stvu\p9~Xr3¡îjq9{xdr3zRnL{|~E{|
qobo?~Xu3bq{xdr3zRnL{|C¦-{
¡9~E|*tè3hsr3¡stèp9~Xr3¡ q{xdr3zRnL{9|<~Xu3tq|*tC r*nbstvr*tvu
o?z{st\r3¡st~Exdr3q~ MXIXDÍc]dY ~E|3|*nyxvz~Xr*tCð¢8zRr3¡ {snystC|
nEr3¡stè0t ~yp nVtC Eu
~Xp9¡¦
98õ
/."+ ö
¡9~E|*tz|Up/tvu3NnEu¸otC \pu3nyxdtCqsu
tm$nLop9qsr*t ~Xr3+¡ t9q{xdr3zRnL{|vC|
¡snP¢={z
{ tzR Lqsu3tV¦Zm"nLobp9qsr*t ~Xr3¡y
tq{9xdr3zRnL{|z|Ê~ðsV{9~Eobzxh¾pu3nE Eu¸~Eobobz{ ?~ EnEu
zRr3¡o r3¡~XrÊu3tvp/tC~Xr*tC xdnLobp9qsr*tC|\p9~Xr3¡q{xdr3zRnL{9|v
¢=¡zx¸¡ ~Xu3t\jq{9xdr3zRnL{|"Nu3nL}
o 6 r*Gn 6VjnEu nL{ Etvu~E{ nL{s Etvu<p9~Xr3¡|$z{ = ¦ ÿ ¡st8p9~Xr3¡jq{9xdr3zRnL{|"r*n
y < |
qobo?~Xu
zR£vt8r3¡tèt:+tCxdr3|=nE¯|3~Eobtd tvEt u3tC~ zR£C~ tp9~Xr3¡|$ju3nLo r3¡stÊ|*r3~Xu3r{nVst\nE y {µ|$pu3nyxdtd
qsu
t r*n y < ¦ ÿ ¡stvu3tÏob~P /t+~p9~Xr3¡jq{9xdr3zRnL{ju3nLo QGO < r*n y < jnEuè~ 3 ; > = ¤L¦
m"nLobp9qsr*t ~Xr3+¡ tq{9xdr3zRnL{|\~ |*nxdnLobp9qsr*tC||3qo?ob~Xu3jq9{xdr3zRnL{|v¢=¡zx¸¡|3q9obob~Xu¸zR£vtÊr3¡stÏt:+tCxdr3|\nE
|3~Eobtd tvEt u3tC~ zR£C~ tp~Xr3¡|Nu3nLo {nVstC|nE"r3¡stNnEu¸o W]< ¢=¡stvu3t W+z|è~ xv~ {snVtEr*n X<
¢=¡stvu
Kt Xz|r3¡stxdnEu3u3tC|3pnL{9z{s u3tvr3qsu
{s|3zRr*t{snystE¦
m"nLobp9qsr*t ~Xr3+¡ tq9{xdr3zRnL{|z|~=¢"nEu z|*r~ EnEu
zRr3¡o,r3¡~XrxdnLop9qr*tC|¯|3q9xvxdtC|3|3zREt 9 tvr*r*tvu~Xpp9u3n ~szÍ
ob~Xr3zRnL{9|Ur*nr3¡stp~Xr3¡+~E{Ï|3qo?ob~Xu38jq9{xdr3zRnL{|v¦rª|*r3~Xu3r3I| Êz{9zRr3z~ zR£Cz{s \p9~Xr3¡+~E{9+|3q9obob~Xu
=q{xh
r3zRnL{|=r*n H ¦ ÿ ¡stè¢"nEu z|3r8z|z{zRr3z~ zR£vtCîr*nbxdnL{r3~Ez{r3¡stÊp9~Xr3¡ ju3nLo Q IKJLNM < = r*n Q IKJLNM < =
~E{r3¡stp9~Xr3¡jq9{xdr3zRnL{NnEu$r3¡~Xr$p9~Xr3¡ z|$z{zRr3z~ zR£vtC r*nr3¡stèzstC{r3zRrjq9{xdr3zRnL{ Y¦ \{?tC~Ex
¡ zRr*tvu¸~Z
r3zRnL{nEr3¡st$ob~Ez{ nVnEpr3¡t"~ EnEu
zRr3¡9o:stvr*tvu
obz{tC| /tvr*r*tvu~Xppu
n ~szob~Xr3zRnL{|¯r*n\p9~Xr3¡~E{+|
qobo?~Xu3
q{xdr3zRnL{|v¦
ÿ n+u
tCqxdt=r3¡t~EobnLq{Ûr&nE¢"nEu p/tvu3jnEu
otCm$nLop9qsr*t ~Xr3+¡ t9q{xdr3zRnL{|$q|*tC|"~E{zstC~+|
zobz ~Xu"r*n
r3¡sKt *obz{9zob~ ¾q{xdr3zRnL{y¾ Eu
~Xp+¡ +~Xp9pu3nL~Ex
¡ L \{ b~Xjr*tvu=~Ïp9~Xr3¡ q{xdr3zRnL{ jnEu~p9~Xr3¡ ju3nLo
~Ï{snVtnEr3¡st8NnEu
o QGO)< E r*n~Ï{snVt=nEr3¡stNnEu¸o W5< ¡~E!| /tvtC{pu3nyxdtC|3|*tCÛ¢=¡stvu
t Wz|"~Ïxv~
nL{ pu3nyxdtCqsu
t "y¢=z ~+p~Xr3¡ Nu3nLo Q < y r*n Q < y /Qt8pqsr&nL{ r3¡t¢"nEu z|*r ~E{ r3¡stC{nL{
zRªtCs Et W5< Q E Q < y z|z{ w ¦
98 /."+ öEö
&¡~E|*t3z|ptvu
NnEu
obtC pu
nVxdtCqu3t8m"nLopqsr*t ~ qstC|vÛ|
¡snP¢={?z{ tzR Lqsu3
t 's¦Û-{2r3¡z|&p9¡~E|*tEÛr3¡st
p9~Xr3¡îq{xdr3zRnL{|\~Xu3t2q|*tCr*n stvr*tvu
o?z{str3¡st2~Exdr3q~ "@ f[ Z~ qtC|~E|
|*nVxvz~Xr*tC ¢=zRr3¡B{snVtC|=nE&r3¡st
0t ~yp nVtC Eu
~Xp9¡+¦ &¡~E|*tè3$xdnL{|3z|3r3|nEªr¢"n?|3q ¾p9¡~E|*tC|
z , { zRr*tvu
~Xr3zREt ~ EnEu
zRr3¡o z|q|*tC r*nîpu3nEp~X L~Xr*t?X~ qstC|+Nu3nLo±r3¡st|*r3~Xu3r+{nVst?nE<r3¡st?o?~Ez{
p9u3nVxdtC9qsu3t$r*n~ nEr3¡stvu&|*r3~Xu3r{snystC|~E{2~ xv~ {snystC|v¦ ÿ nÊxdnLop9qsr*t<~Ê{tv¢Ù~Xppu3]n ~yzo?~Xr3zRnL{
r*nÏr3¡stZ~ qt~Xr$|*r3~Xu3r${snyst QGO_< Y : aCJV] ` U y < QRO< ,z|$~Xpp zRtCbr*nÏr3¡st\xvqsu3u3tC{r&~Xpp9u3n ~V
zo?~Xr3zRnL{B~Xr\~ {snystCK| U y ~E|3|*nyxvz~Xr*tC¢=zRr3¡îxv~ |èr*n ¦ ÿ n xdnLop9qr*t+~ {stv¢,~Xppu3]n ~yzo?~Xr3zRnL{
r*n2r3¡tX~ qstÊ~Xr<xv~ {snyst W5< z{pu3nyxdtCqsu
5t " IEijT ` Q < < W5< ,$z|<~Xpp zRtC r*n2r3¡st
xvqu3u3tC{r~Xppu3]n ~yzo?~Xr3zRnL{|=~Xr=~ {snVtC| Q < ¦
zz ,D~ qtC|2~Xu3txdnLobp9qsr*tC NnEu2~ {snVtC| y < r3¡9~XrÏ~Xu3t {stCzRr3¡stvu2|*r3~Xu
rÏ{snEuxv~ {snystC|v¦ ÿ ¡z|
z|8snL{st V ~Xpp yz{s ILijT ` QRO)< < y < ,<r*n @ f[ QGO)< ,<NnEu=~ j¢=¡tvu3t z|=r3¡st
p9u3nVxdtC9qsu3t\r3¡~Xr=xdnL{r3~Ez{| y ,¸9~E{ r3*~ yz{s br3¡stÊobtvtvr<nEr3¡stèu3tC|3q r3z{ Z~ qtC|v¦
{ &¡~E|*t3g z ,¸¦8|Ê~u3tC|
q r -!z|\pu3nEp9~X L~Xr*tC
. nEr*tr3¡~Xr MXIXD Q IKJLNM < = ,z|èz{9zRr3z~ zR£vtC r*n*-!z
r*n~ {snystC|$nEªr3¡stèjnEu
o y < = ,¸¦ tCxv~Eq|3tr3¡st\q{xdr3zRnL{ nL{ ~E{ tC EtèNu3nLo nL{stènEUr3¡stC|3tÊ{snVtC|$r*n

H)IH =
? CL*]? B$2;>? "%=)$28L+/
&'(
R.2O
Q82;AB?FB2? =;;DA8" $!DF=
;>C DFC#" )$ $&%('*),+.- /6
W ;=?>A@_
0 J
132
4 M + 567839: /<
R.2O
H;>=D DFC8 =$ "%$ BN;
DC.DFC>? 2D $ 2#"%DA#
8 E
GF<#$ $H%'I)J+.-K/f
LNMOWVIX+IKLY7JP1 O7Q84 M G+ 3E
83FPP/ R
W ;=G>S@ XZ
W +[ I J LNM :-#]\^[ I J LNM :-#7/
T!U
W ab
0 JP12P4 M G+ [ OWI VXJ LNLM Y71e:-_d \` I J LNM :-# / <
H
V
(
W
R
O
f
(
T
U
c
g 8C CL; ?,)$ JP1D 2PC4 OM P= hC)$7C B)&C [ :i]\^jk:$lmD = T(U OWVXLY71
o
n0W 0
G+ 5i]\`jklmP/
1
V
+
H
j
/
p8c
) p q
j "%8:<;
$= C6" r
$ "s;E
%" $ B!DF=
;>C D u
C t
R.GCL);A!
B $v688 w .? wjk: l ]\^mx
v.#%!y{z
*'DF|= 2|B#? CN+ mxP:$v.\^[.x
v8ab/Q
(u
Fo}C?FBC6DFC>? 2D 5$ Ch8 " ?FC$2= C? B2#?,;>=)DFDFC8 =$ 8? &
= j
R.GCL);A!
B $v688 w .? w~
W jk: l \^FP:$vm#%!y{z
*'DF|= 2|B#? C+ |: i \^FP:$vm77 4!M 3+ ~/ on/Q
R.GCL);A!
B $v688 w .? wnPv,W LM I I J
O7Q84!M G+ 3jk l ]\`FPvmP/ R
W d ;=G>S@_
*'DF|= 2|B#? C+ |: i \^FP:$vm7WnPv]{n/QH ) p ) p q
j "%8?FBC6C>
" ?4$= C(= "H
R.GCL);AB[;E
$= u
C E ? B2#?,;E|9
8 "!:" ?FB[;E=)DFD CLG8 =)$ " $ BNDFC>:? D $ C.8 " ?FC$= CuFN
R.2NC);A!
B $|688 w .? w3EP:|m\^[ i #%!y z #$ 3~85 l ]\FP:$.%y z
{
nm
W 4!M G+ EP$P\^ i /Q#$ nP,
W 4!M G+ ~8: l \^3FP. /Q#$ nd W + n I I {J
nO7Q8{4!n M / LNM IIKJPO7Q84 M G+ 3E
\^3FP /
#
R n W LM
G+ EP ]\^FP: P/VH
LNM IIKJPO7Q84 M G+ 3E
\`FP P/XR
W n
o
x }C? BCf8P?F)DP?:$= C(= kEP
8 DF=;EC 2D C
R.GC;A
B v 88 w .? wn v W 0 JP12P4 M G+ [ x v \`3EP: P/ R
W d ;=G>S@_
*'DF|= 2|B?FC+ x v \`FP n on v /QH `M M p R.2I1)
R.2NC;A
B 39: v Q8 w 8? w3jkl8\` v %!y z *D $= 2
B?FCG+ [| i \`v87 4 M G+ 3jk l ]\v8P/ {n/Q p pc 1LV
H
H)IH*D $= 2
B? C3+ ~:n/
&'(
o
n2
W n 0 JP12P4 M 3+ ~/
d

R n W 0 J
132
4 M + ~/LV
W n 0 J
132
4!M + ~/X
$28 CED ? ~f"%$?F= T!U OWVX+LYW1 `
H
)§hg ¥ I® @PÒZ¬/²Z¹·
ÂËÎ¸¼¸º¾³§¿¾²ZÉñÌÍ¼¸ºS9²Z·¸´Ç¹7§Ò

H)IH =
? C'
C8L+/
&'(
3)5N*'B)8 C +"1/45)3
R.2NC);A!
B ~.j9%,z J +~8jH/XW @Y
J G+ [ I J LNM :-# /Q W
W +[ I J LNM :-#7/
T!U OWVX+LY71 XZ
W d fO
c VH( T(U OWVXLY71eR
g 8C CL; ?,)$ D COP= hC)$7CE5 = C C B)DA
B7$= Cqjk:DF=) T(U OWVXLY71
p8c 1V + jH/
) p q
j "%8?FBCf8P?F#D ?:$= C6=(N"H
R.GCL);A!
B E4?FB2?4"984<;E|$= C6"%$28 " C#" d ;=?>A@Y
R.2NC);A!
B 8 w 8? wNn2W 0 J
132
4 M + jk:\`3EP:$6P/ W
J
*D $= 2
B? C '
C+ 3EP:$7Sn+ G+ [5: /P/P/4 H) p ) p q
j "%8:<;
$= C6" r
$ "s;E
%" $ B!DF=
;>C D u
C t
R.GCL);A!
B $ 88 w 8? w3jk]\^mxP:$6#%!y{z
*'DF|= 2|B#? C '|2CG+ [mx:$6N 4!M G+ 3jk\^[.x
/>+ J G+ 3jkP/P/ /4
pc 1LV
3)5N*'B)8 C +"%"9/453
R.2NC);AB0$= u
C jk
"%$ o2D =
;>C DF
C "
?FB2?:"98:$=#?4!;
=)D4<8@?A#D ?:$= C6
R.GC;A
B [!88 w .? wnW 0 JP12P4 M G+ [ :$]\^3jkP/
W d ;=G>S@
J G+ 3jkP/QX
J
J
W + jk: / n + G+ [ : P/ /: H
H)IH*D $= 2
B? C '
C+ ~.jk
/
&'(
W =P+ ~8jH/
R W d J 3+ ~.jH/VH
J + ~8jH/X
W $28 CED ? ~8j "%$?F= T!U OWVX+LYW1 `
H
p )§hg ¥ I® vÒZ¬/²Z¹·
ÂËÎ¸¼¸º¾³§¿¾²ZÉñÌÍ¼¸ºS9²Z·¸´Ç¹7§|§Ò
¢$~Cy|~ xdnL{9|*r3~E{Ûrjq{9xdr3zRnL{8 |*tvt}t0 {zRr3zRnL{D's¦ ,¸r3¡st1-!X~
~ s{ nL{y = {snyst U x z|Ê~
qst~Xr y < = xv~E{{snEr8~+tCxdr8r3¡stèZ~ qt~Xr U x ¦
# nho7¡stC{ ~Xpp zRtC r*nBr3¡st t0~yp nVtC Eu¸~Xp9¡ nEtzR Lqsu3t nLqsu2~ EnEu
zRr3¡o69z|3xdnPEtvu
|
k SjRYPDQsb\*]
r3¡~Xr î¡9~E|=r3¡stÏxdnL{|*r3~E{r\Z~ qst %~Xr\{snyst y Ajr3¡st+p9u
z{Ûr8|*r3~Xr*tCotC{rz{r3¡stÏob~Ez{ p9u3nVxdtC9qsu3t5,¸
~E{ r3¡~X.r snVtC| ÀEi ¡~CEtð~ xdnL{|*r3~E{rZ~ qt ~Xrb{snyst Q jr3¡stð|*r3~Xu
r{snVt nE8pu
nVxdtCqu3t 2,¸¦
}\qsu
z{s &¡~E|*t hªr3¡t ~ EnEu
zRr3¡o6xdnLobp9qsr*tC|r3¡st jn nP¢=z{ u3t tvX~E{Ûr2p9~Xr3¡~E{ |3qobo?~Xu3q{xh
r3zRnL{| 4 ILijT ` Q < E y < , H ILijT ` Q < E U <? ,9 H 7V
H9cyWWIXf¸F ` y < = E y <? , H %V =IEijT ` Q I J LNMS< = E y <? , H %V~E{
ILijT ` Q IKJLNM < = E y _ <? ,! H %V¦
}\qsu
z{ A¡9~E|*t?
0z ,¸ªZ~ qtC|Ï~Xu
t?pu
nEp9~X L~Xr*tC ~E|+jn nP¢8|r*nîz|
xdnPEtvu2r3¡~XrvBz|{snErxdnL{|*r3~E{r
~Xr{snVDt Q Q IKJLNM< = , - y < = , -Ï Q1< , y < , V
Q < , &-Ï¦
}\qsu
z{v ¡~E|*t30 zz ,¸ IEijT ` Q I J LNMS< = E y _ <? ,=z|=~Xpp zRtC r*n MXIXD Q IKJLNMI< = ,¸9pu3nyqxh
z{s r3¡tèZ~ qst %V¦ p
98 ,
- ù &7þ"
÷ øEþúU÷ ÷&û ?ú øðö X"ü '
ÿ ¡stÊ~ EnEu¸zRr3¡o nEªr3¡stÊpu
tvVzRnLq|<|3tCxdr3zRnL{ðsnVtC|{snErr*tvu¸obz{~Xr*tèjnEu=~ -} pu3n tCob| s¡sn¢&tvEtvuCzRr
snVtC|r*tvu
o?z{~Xr*tjnEu8~ xdnEp xdnL{9|*r3~E{Ûr-¾p9u3nEp9~X L~Xr3zRnL{Bpu3n tCob|v~ ª z{stC~Xu\xdnL{|*r3~E{r-¾pu3nEp9~X L~Xr3zRnL{
pu3n tCob|v<~E{z{4 EtC{stvu
~ =jnEuð~ p9u3n tCob| jnEu ¢=¡9zx
¡ r3¡st |*p9~Exd
t 4 nEX~ qstd¾r*u
~E{|3NnEu
obtvu
q{xdr3zRnL{|\xdnL{r3~Ez{|{sn z){ {9zRr*ttCxdu3tC~E|3z{s x¸¡~Ez{|v7¦ . nEr*tr3¡~XrÊzRrèz|\p/nL|3|34z tr*n xdnL{|*r*u
q9xdrÊz){
{zRr*tstCxdu
tC~E|3z{s x
¡~Ez{9|ètvEtC{ z{Bxdtvu3r3~Ez{ z|3r*u
4z 9qsr3zREt2X~Xu
z~E{r3|ènE&xdnL{|3r3~E{Ûrèpu
nEp9~X L~Xr3zRnL8{ µ)w B
p9~X Et XL ¾-¦ ,
h
ÿ ¡t\xdnL|3r<nE¯r3¡stè~ EnEu
zRr3¡9o z|<snLo?z{~Xr*tC.r3¡stèxdnL|*rnEI¡~E|*tèh¦ ÿ ¡z|$p9¡9~E|*tèxv~E{ftèxv~Xu3u¸zRtC
nLqsrp9~Xu3r3zxvq ~Xu t32?xvzRtC{r zRr3¡stvu3tÏt0~sz|*r3|\~b¢$~CnEu3tvpu3tC|*tC{r3z{s r3¡stÏjq{9xdr3zRnL{|8|
qx
¡r3¡~Xrr3¡st
q{xdr3zRnL{~ nEp/tvu
~Xr3zRnL{9|xv~E{ /tÊxdnLopqsr*tC z{ q{zRr-¾r3zobtE¦
ÿ ¡tC|*tèr*tvu
obz{9~Xr3zRnL{ ~E{ xdnL|*r8z|3|3qstC|obnEr3zRZ~Xr*t+r3¡stèjn nP¢=z{s st0{zRr3zRnL{
q \ràlTabNX` # n(sut vDIZY¸YAAvÏMZIXDÍc9]0-if-IE`sYvvAXfhW]vffvhcV`&CiKÇAX`sY 4 6 E 6 TVIXY2IX` \M ab\_`&TKW5\_Qjr
W5\ ^\)`&T]RTabNX` K v
L 4 IXà 4 KNY2vDAZYv]
acyàÛ]df,v¸cy`XPiKAXÌXDWb]
]Ci"IXàK
AXW8^yAZYhKjiKÇAX`
L 4 TVIXYÏIN`Ki]Ty]dKJXTiOz¾cyà]dfijTy]^sAXKNìgKlYC]2AXf*aÛ]dfhKN`VJ |
L SUTy]df3]+KlY+I?f3]^f3]hYC]d`9i¾ILiKAX` Y0dTs]dWb] vdAEf 4 gKjijT ijTy] vvAXDjDRAXgKj`J+^f-A¸^]dfdiKÇ]dY
QIQIslq $KjMX]v` IBf3]^f3]hYC]d`9i¾ILiKAX{` vvAXf [I vhcV&` CiKÇAX` 6 4 O vvAXf ]dMX]vf¸F 6 O 6 , ¸IXm` ]
¸AXW8^csi]3a Kj`
AX`sYdi¾IX`9i<iKjWb#]
NXPDQ7NY^5alTabN&` $KjMX]v` ijTy]bf3]^f3]hYC]d`9i¾ILiKAX`GY vdAEfbIX`FðigA v¸cyX` PiKAE`sY 6 E0< 6 Q 4 O=Iðf*]_^f30] YC]d`9i¾ILiKAX` vvAXfijTs] v¸cyX` PiKAX` 6 E % 6 Q 4 ¸IX` 9] ¸AXW8^csi]3a Kj` ¸AX`sYdi¾IX`9i<iKjW)]
\_\T $KNME]d` ijTy]?f3]^f3]hYC]d`9i¾IEiKÇAX`sYOvdAEf?IX`FîigA0v¸cy`XPiKAX`Y 6 Eg< 6 Q 4 O8If*]_^f3]hYv]v`9i¾IEiKÇAX`
vvAXfijTs] v¸cyX` PiKAX` 6 E 6 Q 4 IX` ¸9] AXW8^csi]3a KN` AX`Yhi¾IX`9i<iKjWb#]
k $KjMX]vìjTy]8f3]^f*]dYv]dì¾IEiKAE`sYvvAXf8IE`FÏigA vhcy`XCiKÇAX`sY 6 Eg< 6 Q 4 OKi¯KlY^yAXY
Y¸KdDÚ]\i¾AÏi]hYdi
Kjn` AX`Yhi¾IX`9i$iKjWb]+gTy]vijTy]vf 6 E! 6 Q
T]N&W]R+UX\ SUTy]df3]KNY?I¸AX`sYdi¾IX`9ix3AEcVàAX`ÙijTy]bYhi¾AEf-ICJV] `]¸]3aÛ]
a[vvAXfbijTy]f3]^f*]dYv]dì¾IEiKAEÀAv
IE`NF vhcyX` CiKÇAX` 6* 4
t ` F H : ^f*A vD]vW KN`sYdi¾IXX` h] F =C><>3A<>6<@
? , KlY \M ab\_`&Tslq W]\)QIW]\_^\)`&T]RYhsb\ K v vdAEf2]vMX]dfhF
U w > O"IXà < 3 O < , 4 vdAXf+YdAEWv
] vDIZY
Y2AA v,vhcyX` CiKÇAX`sY 4 ijTyIEi"TVIZY2IX` ] 8CKÇ]v`9i
f3]^f3]hYC]d`9i¾IEiKÇAX` p
~ /nPEt0t {zRr3zRnL{ ¢"t\n{nErzop/nL|*t\~E{Û?u3tC|*r*u
zxdr3zRnL{|nL{ H < ,&¢8¡stC{
. nEr*tèr3¡~Xrz{ r3¡stè
tCzRr3¡stvu nEu z| = ¦ ÿ ¡z|+z9| 9~E|3tC nL{ r3¡st ~E|3|3qobpr3zRnL{ r3¡9~Xr+r3¡st xdnL{|*r3~E{rjq9{xdr3zRnL{|~E{ r3¡st
zstC{r3zRr q{xdr3zRnL{ xv~E{ ~ ¢"~PV| /tu3tvp9u3tC|*tC{r*tC z{ ~E{ 3t 2?xvzRtC{rob~E{{stvuP!¦ ¾wyzobz ~Xu EU¢"t?~E|3|3q9ot
r3¡~Xr H xv~E{ð~ ¢$~Cy| t\u3tvp9u3tC|*tC{r*tCðz{ ~E{ 3t 2xvzRtC{Ûrob~E{{stvuP-¦ ,
-{stC|3xdu
4z z{s r3¡stxdnL|*rÊnE"r3¡stb~ EnEu¸zRr3¡o zRrÊz|ÊxdnL{EtC{zRtC{r+r*n z{r*u3nyqxdt2r3¡st?{snEr3zRnL{|ènE ^yIEijT
]3aPJ] ~E{ YhcyWÏWIXfhFb]3aCJV] ¦V7p9~Xr3¡tCs Etz|&~p9~EzRunE/0t ~yp nystCy¾ Eu
~Xp9¡?{snystC|¢=¡nL|*tp9~Xr3¡bjq{9xdr3zRnL{
z|{snEr2t Vq~ r*n H z Etv¢=z|3tE~ |3qo?ob~Xu3tC Et z|~p9~EzRunE0t ~yp nVtCy¾ Eu
~Xp9¡ñ{snystC|¢=¡nL|*t
|3qo?ob~Xu32q{xdr3zRnL{ðz|={snEr<t Vq~ r*n H ¦
ÿ ¡t|*nLqsu
xdtnE~2p9~Xr3¡ tC Et+z|~{snystÊnEr3¡stjnEu
o QO< 9¢=¡stvu
Bt QÏz|r3¡stÏ|*r3~Xu3r8{nVstènE|3nLot
pu3nyxdtCqsu
t ªr3¡Vq|vr3¡stvu
t xv~EV{ /t ~XrobnL|*Gr 3 p9~Xr3¡s¾tCs Et |*nLqsu
xdtC|bz{ tC~Ex
¡Ùp9u3nVxdtC9qsu3tE¦ ~Ex
¡
zRr*tvu
~Xr3zRnL{nE ¡~E|3tð0t ~Vr*tC{9|b~ V{sn¢={Ùp~Xr3¡ÙtCs EAt ñxdnLop/nL|3z{ zRrb¢=zRr3¡ jr3¡st q{xdr3zRnL{ nEJ ,
tCzRr3¡stvu$~E{ w tC Et=nEu$~Ê|3qo?ob~Xu3+tCs EtE¦ ÿ ¡tvu3t=~Xu3t=~Xr"onL|*1r uvwx3 Q ,|3q9x
¡tC EtC|v¦ tCxv~Eq|*ttC~Ex
¡
tCs Et UÊxv~E{ /tèq|*tC z{ r3¡tènEptvu¸~Xr3zRnL8{ -0t ~yr*tC{ð~p9~Xr3¡ð~ nL{s tCs Et U2nL{xdtÊjnEu<tvEtvu3 p9~Xr3¡y¾tC Et
|*nLqsu¸xdtEr3¡stvu3tÊ~Xu3t+~Xr=onL|*r u wx3.y],"|3qx¸¡ xdnLop/nL|3zRr3zRnL{|*r*tvp9|v¦
tsnEu\tC~Ex¸¡Bp9~Xr3¡îtCs Et2~E{|
qobo?~Xu3btCs Etju3nLo ~E{0t ~yp nystCî{snVt y < = r3¡t+p9~Xr3¡s¾jq{9xdr3zRnL{
X~ qst xv~E{ x
¡~E{ Et ~Xr onL|*r ¡stCzR L¡r nE2 6 r3zobtC|v¦=wyzobz ~Xu E"p~Xr3¡7tCs EtC| ~E{ |3q9obob~Xu
tC EtC|
tCob~E{9~Xr3z{s 2Nu
nLo nEr3¡stvu=0t ~yp nystC {snystC| y < 3ðxv~E{ x¸¡~E{s EtÏ~Xr=onL|*r<¡stCzR L¡r=nE 4:r3zobtC|v¦
m"nL{|3t qstC{r Er3¡st r*nEr3~ xdnL|*r2nE ¡~E|*th~E{9 r3¡Vq|nEr3¡ttC{r3zRu3t ~ EnEu
zRr3¡9o z| /nLq{stCD
uvw23@y],*j¢8¡stvu3tÊr3¡stÊxdnL{9|*r3~E{Ûr8nE¯p9u3nEp/nEu3r3zRnL{~ zRr tvptC{9|"nL{ r3¡stÊ¡stCzR L¡r3|nE 6 ~E{ 42-¦ ,
98/7
ª
ú & 07ýsþ 9÷¯ø % :;<ù '9÷¯*ø % ö 103?ùL!ú %'&(
N&Q&q
NX`S^gT]RY`&T2W]N&QR+UXRTabN&`
-{?xdnEpVbxdnL{|*r3~E{r$pu3nEp9~X L~Xr3zRnL{y~ nEr3¡st\xdnL{|*r3~E{r$jq9{xdr3zRnL{| H W~Xu
t~E|3|3nVxvz~Xr*tC ¢=zRr3¡tCs EtC|"nE
r3¡st8NnEu
o x < = E y < ¦ ÿ ¡st=nL{ 2jq9{xdr3zRnL{|&nL{ *{snL{s = tCs EtC|$~Xu3t8zstC{r3zRrbjq{9xdr3zRnL{|v¦ywsz{xdt
»-·
½\×ÈE¹¹¶E·¸¹_´ÇºÇ´ÇÌÍÁ¼¸É<º¾É<¹¹*·ÀÁZ³µ½½Z³§»_ÌÍ¼¸¼hº¾½É$´¿ÅN·¸»_½v¼h¿´¿/¿¾É<³ËÉ<¹*¹¸·¸Ò ´ÇÁPº¾¹hÓCº·
¿¾²Z¹º¿¾²X·¸½8·&Âµ¼¸Îd·
º¾³§¿¾²É<³G»Åj»¼h´¿UÉ<¹*·¸´ÇÁPº¾¹ P¹hÒ ÎÒµÓ¼h¶E¹_º·3¿¾³Ë¼¸½Z´¼h½=³µ½v¿¾¹-Îh¹_º¾´

% ~E{9 " r3¡stx ~E|3|
t32?xvzRtC{r=u3tvp9u3tC|*tC{r3~Xr3zRnL{¦

# ¤z|<r*u
zRyz~ ~x ~E|3|8nE¯q{xdr3zRnL{|=r3¡~Xr=¡~E|=~E{
NX`S^gT]RY`&TxW5NXQSR+UXRTabNX`
"Uz{tC~XuxdnL{9|*r3~E{Ûrpu
nEp9~X L~Xr3zRnL{2xv~E{9t$¡~E{ tCq|3z{ 8r3¡st$|*tvrnEq{xdr3zRnL{|-4 H | Gg, W 9
% 2 ¤O< %3< ~E{ W %' ¤L¦ ÿ ¡st"jq{9xdr3zRnL{|U¢8¡stvu3t/9 ~Xu3t"r3¡st<xdnL{|*r3~E{rjq{9xdr3zRnL{|v~E{9
~E|Êz{ xdnEpVxdnL{|*r3~E{rÊpu3nEp~X L~X(r3zRnL{Ur3¡stC|3t~Xu3tb~ ~E|3|3nVxvz~Xr*tC ¢=zRr3¡ = tCs EtC|v¦-, Etvu3îjq{9xdr3zRnL{
tu3tvpu
tC|*tC{Ûr*tC.V ?~+r*u
zRp tv|Y<]R< Wg&, ¢=¡tvu3t* % ¤LY %Êy~E{ W %( ' ¢=¡tvu3t
6* 4 xv~E{.
a`\_RYW
H |x Vg, W nEr3¡stv u3¢= z|* t
4 ¡~E|~E{ðt32?xvzRtC{r=u3tvpu
tC|*tC{Ûr3~Xr3zRnL{=/tCxv~Eq|*t
L 4
L "UnL{s EtC|*r=x¸¡~Ez{|z{ 4 ¡9~CEtÊr3¡st\jnEu
o H |* g, H |* p0, W HE-ÏyNnEu=|3nLot
Y<5<RW %¦
L ÿ ¡stèNnLquu3tvpu3tC|3tC{Ûr3~Xr3zRnL{ðu3t q9zRu3tCotC{r3|~Xu3tÊobtvr
QI\_QI\Tslq ÿ u
zRyz~ ¦
| E < E <RW E W Q ,
E Q < E Q
|
6

E
<

E
R
<
g
W
,
1
W

|
6

E
,
W E W <¢=¡stvu3t
| E < E <RW E , | Q < Q <RW Q , | E Q ,
)| Q Q 6EJ, %
< <
-,
ns¦§¢Ê¦
NXPDQ7NY^5alTabN&` | E < E <RW E , %@| Q < Q <RW Q ,z?| E Q ,J<]| E Q E ,J<]?| E W Q p E , W E ,?,¸¦Y(8tvu3t
zRr8z|=~E|3|3q9otCr3¡~Xr !fmG jnEu %¦
k u3tvpu
tC|*tC{Ûr3~Xr3zRnL{9|Ê0t ~sxdtvprr3¡~XrnE HE- ~Xu3tbq9{
z qtE¦8{Br¢"n r*u
zRp tC|+z{¢=¡zx¸¡
W - u3tvpu3tC|3tC{Ûr3| HE-ÏY
¦ (8nP¢"tvEtvuC9t Vq~ zRr xv~E{ð|*r3z /tèr*tC|*r*tCz{ q{zRr<r3zobtE¦
ÿ ¡tÏr3¡9zRu
BxdnLop/nL{stC{r WÏz|è{stvtCstC|3nr3¡9~Xrèr3¡st2otvtvr\nE&r¢&n q{xdr3zRnL{9|èxv~E{ tu3tvp9u3tC|*tC{r*tC¦
tsnEu0t ~s~Eop tExdnL{9|3zstvu2r3¡st xdnyst Nu
~X LobtC{Ûr abd*,*,* T5ZS\_` A
\)sb^\n G ;K
r"¦ ~Xu
z~ G
t z|8nL{ ðxdnL{|*r3~E{rÊ~XNr*tvu\r3¡svt abd"¢=¡stC{r3¡stz{zRr3z~ Z~ qstnE7 z| 's/~E{Bz{ðr3¡9z|xv~E|3t
&{µ|X~ qst+z| V¦ ÿ ¡stvu
tvNnEu3tEr3¡stobtvtvrnEr3¡stÊq{xdr3zRnL{|8z{ r3¡str3¡stC{y"~E{9 t |*td u
~E{9x
¡stC|8NnE
u z{
r*tvu
o?|$nEI îz|<u3tvpu
tC|*tC{Ûr*tC= Ç_ < < O ,¸¦
"¯z{stC~Xu<xdnL{|*r3~E{r<pu3nEp9~X L~Xr3zRnL{ xv~E.
{ /t~ |3nÏp/tvu3jnEu
obtCnL{u3tC~ {q92o /tvu
| ' ¦y-{br3¡9z|"xv~E|3tEsr3¡st
otvtvrnEp/tvu
~Xr3zRnL{ñz|| zR L¡r |
zop tvu /tCxv~Eq|*tr3¡stvu3t {sn{stvtC r*nr*tC|*r¢=¡stvr3¡( tvu Q <E2zRVztC|
E Q tvEtC{ nL{ r3¡~Xr Q ! <E=zR Q ! Ev¦
bù '%þ &7þ"
÷ /ù 40 PùÛþ &49÷¯ø tÙ¡~PEtÙxv~Xu3u
zRtC,nLqsr~pu3t zo?z{~Xu34|*r3q4r*n stvr*tvu
obz{t r3¡st jtC~E|34z 9z zRr nE?r3¡stñsV{9~Eobzxh
pu3nE Eu¸~Eobobz{ ~ EnEu
zRr3¡o ~E{9r*nÙxdnLobp9~Xu3tBzRr3|~Exvxvqu
~Exd~E{9 r3zobtu
t qzRu
tCotC{r3|b¢=zRr3¡7r3¡nL|*t
nEr3¡st2{~EzREt2~ EnEu
zRr3¡9o r3¡~XrèxdnL{|3zstvu
| p9~Xr3¡|u
~Xr3¡tvur3¡9~E{ *q|*rr3¡stÏu3tC~ zR£C~ t2p9~Xr3¡9|v¦ ÿ ¡st
~Xr*r*tvu ~Xppu3nL~Ex¸¡z||*r3z |3~XjtE7 9qsro?~C t tC|
|b~Exvxvqsu
~Xr*tr3¡~E{ñr3¡st~ EnEu
zRr3¡o6r3¡9~XrbxdnL{|3zstvu¸|
nL{ u3tC~ zR£C~ t?p9~Xr3¡9|vS¦ tsnEu0t ~s~Eop tEUNnEuÏr3¡stbp9u3nE Eu
~Eo z{ tzR Lqsu3t UX~Xu
z~ .t ¢"nLq {snExr /t
zstC{r3z 9tC~E|?~ xdnL{|*r3~E{r~Xrr3¡stpu
z{r?|*r3~Xr*tCobtC{Ûrz{pu
nVxdtCqu3t WIXKj` -¦ , ÿ ¡stðr¢&n ~ EnEu
zRr3¡o?|
¢"tvu3tzobp tCotC{r*tCz{ m~E{ q|*tC?¢=zRr3¡ ~+Nu3nL{r"tC{r3¡~Xr"~E{9~ £vtC|~2mpu3nE Eu
~Eo!~E{ EtC{stvu
~Xr*tC|
r3¡stxdnEu3u
tC|*p/nL{z{s 0t ~Vp nVstC2|
qsp/tvu3 Eu
~Xp9¡+NnEur3¡tz{Ûr*tv Etvu z{stC~XuxdnL{|*r3~E{r-¾pu3nEp9~X L~Xr3zRnL{?pu3n tCo ¦
ªnLz{Ûr*tvu¸|è¢&tvu
tÏ¡~E{9 tCxdnL{9|*tvu3X~Xr3zREt tvEtvu
~E|3|3zR L{9otC{r8r3¡su
nLqs L¡~p/nLz{r*tvu¢$~E|\xdnL{|3zstvu
tC
r*n Vz ~ X~Xu
z~ tC|"r*n+¢=¡zx
¡?r3¡sft ÊnEp/tvu
~Xr*nEu<z|"~Xpp zRtC|*nLotv¢8¡stvu3t=z{?r3¡st=p9u3nE Eu
~Eo V~ q9|*tC|
r3¡su3nLq L¡+p/nLz{r*tvu
|¢"tvu3t<xdnL{|3zstvu3tC2{nL{yxdnL{|*r3~E{rv-¦ , ÿ ¡st$|*r3qq|*tC2 9Et8m pu3nE Eu¸~Eob|ªr3*~ EtC{2ju3nLo
r3¡stè)w mÙz{r*tv Etv1u tC{9x
¡o?~Xu Ï|
qzRr*t µw % ¾¦ ÿ tC|*r3|"¢&tvu3t\xv~Xu3u
zRtC?nLqsr&nL{~wyq{ )w / $m$|*r3~Xr3zRnL{
X nVt y ¢=zRr3¡ '? nE $= ¦
6

I > e)T
e
-T -)- Û >
e > e
2 U MI1 O1[1 YWY
U
L Y
2 U MI1 O1[1 YWY
U
L Y
(
p R4 H)
e\)e-T
T-
) Te - -
¬V¨ª©#
p8p IH p
>e
>
- >
e
>e>
ÒX«P³-¹_´U¼
Ìs¿¾²Z¹³µ½¶ZÁ¿¶Pº¾¼hÎ
º·¸É<´-Ò
H 2 (
f( ( p!p #"
p 2 p
\w d^ w e \
)e \ e w e !^ w e
^ w e
& w \<'
e w !^ w \ \
-
- w ^ w \
>>
>
>
>
p
\
\ >>
) T
> -# T\ -
>
f( w ^ w T
\5w \<^ w &
w ^ w \
w !^ w \#T w ^ w >
>
>
> \
T>e
\
>> \
\
y
> \
-
>> \> e >
'
)- e-
>
e
e)T
1K71LV
( $p !p %"
p L2 p
e#T
>P> > \
T
\
-#e\
-#\
e
>>
¬y¨ª©# fvÒE°# ¥ ¿¾³µÉ<¹-´·¸½ZÀ½CÁZÉ&ÈE¹_º/¼
Ì9»_¼h½´¿·¸½v¿¾´UÀ³µ´¾»_¼3Ðd¹_º¾¹*ÀLÒ
ÿ ~ t LzREtC|8z{NnEu
o?~Xr3zRnL{ð~/nLqsr=xdnystÏ|3zR£vt. z{stC|8nE|*nLqsu
xdtÏxdnVt~E{ z{tC|=nEpu3tvp9u3nVxdtC|
|*tC
|*nLqsu¸xdtxdnyst5,~E{Br3¡tÏp~Xu
~Eotvr*tvu
|\r3¡9~Xr\x¸¡~Xu
~Exdr*tvu
zR£vt?r3¡st|3zR£vt2nE&r3¡stxdnL{Ûr*u
n | 9nP¢1 Eu
~Xp9¡|v¦ ÿ ~Z
t xdnLop~Xu3tC|r3¡stxdnL|*r$~E{b~Exvxvqsu¸~ExdnEr3¡st8V{~Eo?zxh¾pu3nE Eu
~Eo?obz{s \~ EnEu
zRr3¡o ~E{br3¡st8{9~EzREt
~ EnEu
zRr3¡oð¦ ÿ ¡st u
q{{9z{s ðr3zobtC|2~Xu3t *q|*tvu2xdp9qy¾r3zobt n *|*V|3r*tCo6xdp9qy¾r3zobt pz{ñ|3tCxdnL{J| ,jnEu
r3¡st ~ EnEu
zRr3¡o?|ÏnL{xdt r3¡stt0~Vp nystC |3qsp/tvu3 Eu¸~Xp9¡ z|xdnL{|3r*u
qxdr*tC¦ ÿ ¡txdn qo?{| ~ t tC
m$nL{y
|*r3~E{r3|>z{9zxv~Xr*t8r3¡t={q9o2/tvunE/u
zR L¡r-¡~E{y|
zst=X~Xu
z~ tq|*tC|r3¡9~Xr¢&tvu
t=jnLq{2r*2n t8xdnL{|*r3~E{rv¦
?"Uz{tC|(Z|*tCxX¦¢bz{9zxv~Xr*tC|=r3¡tÊ{qo9/tvu$nE z{stC|<nE|*nLqsu
xdt+xdnVstèp9u3nVxdtC|
|*tC p/tvu|*tCxdnL{¦
) : %ø9û+*úù 7
ÿ ¡st&_} ju
~Eotv¢"nEu ÊzI| 9~E|*tCÏnL{ÏtC~Xu zRtvuz{r*tvu3pu3nyxdtCqsu
~ ~Xr3~ 9n¢<~E{~ y|3z|ju
~Eotv¢"nEu y|Us0t {stC
Vwy¡~Xu
zRu\~E{=
&{qt Bz µ)w B ~E{9A Ê{nnEpî~E{Bwyr*t:+tCV{ +w % ¾/~E|8¢&t ~E|8r3¡st Kj`9i]vf¾^f*A h]3aXcyf*IXDËO
u F HÊGH vhf*IXWb]dgAXf , EjnEuª|
¡snEu3Jr ,/r3¡9~Xr¯¢"t&p9u3nEp/nL|*tCÊtC~Xu zRtvu
`Ki]hOaXKNYhifh|K vcsiKNME]hOY¸Yc hYC]v
i vhf-IEW]vgAXf , jnEz
$w (%' $(\w %E5 ¾¦ ÿ ¡st+-} ju
~Eotv¢"nEu ðz*
| 9~E|
zxv~ îr3¡tws¡~Xu
zRu* &{qst z¯ju
~Eotv¢"nEu ¢=zRr3¡Br3¡u3tvt
onyz xv~Xr3zRnL{9|
z , ÿ ¡stÊ~Xr3~ 9n¢ snLo?~Ez{ z|<u3tC|*r*u¸zxdr*tC r*v
n /tÊ~snLo?~Ez{ nE¯tC{yzRu3nL{otC{r3|v¦
zz , ÿ ¡stÊ~Xr3~ 9n¢Ôq{xdr3zRnL{|~Xu
tÊu3tC|*r*u
zxdr*tCðr*v
n /tÊz|*r*u
4z qsr3zREtètC{ÛyzRu3nL{obtC{Ûr<r*u¸~E{|*jnEu
otvu
|C¦
zzz , ÿ ¡st&tC Et&ju3nLo ~xv~ {snyst&r*n8r3¡st$xdnEu3u3tC|3pnL{9z{s =u
tvr3qsu
{y|3zRr*t${snyst&xv~E{¡~PEt<~E{Ï~E|
|*nVxvz~Xr*tC
9~Xr3~ 9nP¢ jq{9xdr3zRnL{¦
m"nL{9zRr3zRnL{!| z ,~E{@ zz ,U~Xu3tu3tC|3r*u
zxdr3zRnL{|ªr3¡~Xr¯o?*~ Etr3¡st&_} Nu
~Eobtv¢&nERu tC|
| EtC{stvu
~ r3¡~E{r3¡stq
wy¡~Xu¸zRu* {Vqst z/ju
~Eotv¢"nEu ¦m"nL{zRr3zRnL{ zzz ,¸¡sn¢&tvEtvuC EtC{stvu
~ zR£vtC|r3¡stÏws¡~Xu
zRu* &{qst z/ju
~Eobtv¢&nEu ~E{ p/tvu
obzRr3|+zRrr*nBxdnEtvupu3nE Eu¸~Eobobz{ ~E{s Lq~X EtC|z{ ¢=¡9zx
¡ u3tCxvqsu
|
zREt?pu
nVxdtCqu3tC|+¡9~CEt nyxv~
X~Xu
z~ tC|~E{ p9~Xu
~Eobtvr*tvu
2| j¢8¡zx
¡ðr3¡stÏwy¡~Xu¸zRu* {Vqst zju
~Eotv¢"nEu snVtC|={snEJr ,¸¦ 9z,+tvu3tC{r EtC{stvu3
~ zR£C~Xr3zRnL{r*n ¡~E{ tÏu3tCxvqsu¸|3zREt+p9u3nVxdtC9qsu3tC|¢8zRr3¡ nyxv~ Z~Xu¸z~ tC|\~E{ðp~Xu
~Eotvr*tvu
|8¢$~E|8p9u3nEp/nL|*tC
V.
Ê{nnEpð~E{9ðwVr*t:+tC{ +w % ¾¦
ÿ ¡t<_} Nu
~Eobtv¢&nERu +z|~|*r*u
zxdr EtC{stvu¸~ zR£C~Xr3zRnL{ nEr3¡st= t}Êwju
~Eotv¢"nEu Ïpu3nEp/nL|*tC2z={ $\)w (*%'
$;(èw %E ¾¦&_{ t}ÊwÙpu3n tCo?|vr3¡st|3tvr?nEÊ~Xr3~ nP¢ j~Exdr3f
| 30z|~ {zRr*tî|*tvr?~E{9Ùr3¡stî~Xr3~ 9nP¢
q{xdr3zRnL{9| j¢=¡zx
¡~Xu3t+z{ ? E ? ,$z|*r*u
4z qsr*tÊnPEtvu\r3¡st+otvtvr=nEp/tvu
~Xr*nEu jtCzRr3¡stvu\q{zRnL{ nEuz{Ûr*tvu3
|*tCxdr3zRnL{ystvp/tC{z{ nL{br3¡stpu
n tC.o ,¸¦VwynLot<-} pu3n tCob|xv~E@{ t<tC{9xdnVstC?~E| t}èwpu3n tCob|
¡sn¢&tvEtvuC/~E{_} pu3n tCoz{ ¢=¡9zx
¡ 6 z|z){ {zRr*t |3q9x
¡ð~E|8r3¡st z{stC~XuèxdnL{|*r3~E{r-¾pu3nEp9~X L~Xr3zRnL{
pu3n tCo xv~E{{snExr t2r*u¸~E{| ~Xr*tC z{r*nð~E{ t}Êwîpu3n tCo ¦Um"nL{|*t VqstC{r Er3¡z|p9~Xp/tvuÊ|*r*u
zxdr
0t ~yr*tC{|r3¡stx ~E|
| nEz{Ûr*tvu
pu3nyxdtCqsu
~ ~Xr3~ 9nP¢~E{~ V|
z| pu3n tCo?| y{snP¢={ r*p
n /t|*n X~ tBz{
p/n V{nLobz~ r3zotE¦ (=n¢&tvEtvuPtvEtC{ ¢=¡stCf{ 6ñzB| {zRr*tEyr3¡stè~ EnEu
zRr3¡9o pu3tC|*tC{r*tC z{ r3¡z|"p9~Xp/tvu$¢=z

p/tvu3jnEu
o:oqx
¡ /tvr*r*tvur3¡~E{r3¡t=~ EnEu
zRr3¡o(NnEu t}èwpu3n tCo?|NnEuo?~E{ÛBVz{9|nEp9u3n tCob|C¦tsnEu
t0~s~Eop tE/z{Br3¡stxv~E|*t2nExdnEpVîxdnL{|3r3~E{Ûr\pu3nEp~X L~Xr3zRnL{z{B~E{Û LzREtC{pu3n tCo z{|*r3~E{9xdt2r3¡stÏ|
zR£vt
nE! 6Ôz|{n ~Xu
EtvuÊr3¡~E{îr3¡st2{q9o2/tvunE&xdnL{|3r3~E{Ûr zRr*tvu
~ |z{Br3¡stpu3nE Eu
~Eoð¦ ÿ ¡st-} Etvu
|3zRnL{BnE
xdnEpVðxdnL{|*r3~E{r8p9u3nEp9~X L~Xr3zRnL{Bz{ÛEn EtC|\tC{yzRu3nL{otC{r3|nE&|3zR£v2t 39¢=¡tvu32t 3 z|8r3¡stÏ|3tvr=nEpu3nE Eu¸~Eo
X~Xu
z~ tC| SBxdnL{Ûr*u¸~E|*rv¯r3¡t t}ÊwBEtvu¸|3zRnL{ z{En EtC||3q 9|*tvr3|ÊnE1 3 6¦ tsnEu|*nLobt?m pu3nE Eu
~Eo?|
r3¡~Xrè¢"tz{ÛEtC|3r3zR L~Xr*tCm
jnE$~Xu3nLq{ Ë E z{stCJ| ,¸r3¡st2 t}ÊwEtvu
|3zRnL{u
~E{BnLqrènE&yzRu3r3q~ obtConEu3E
¢=¡stvu
tC~E|<r3¡stÊ-} Etvu
|3zRnL{ {z|3¡tC z{ ~2jtv¢Ô|*tCxdnL{|C¦
ÿ ¡t"~ EnEu
zRr3¡9o:NnEu|*n yz{s \-} pu3n tCo?|UyzRt |~E{Ï3t 2?xvzRtC{rp/n V{snLo?z~ ~ EnEu¸zRr3¡o,NnEutvr*tvu*
obz{9z{s <pu3tCxvz|*t z¦§tE¦Xotvtvr-¾nPEtvu3~ ¾Z~ zy¾p~Xr3¡J| ,|*n qr3zRnL{|v5¦ tnEIu /nEr3¡+xdnEpÊxdnL{|3r3~E{Ûrªpu3nEp9~X L~Xr3zRnL{
~E{ z{stC~Xu<xdnL{|*r3~E{r$pu3nEp9~X L~Xr3zRnL{yr3¡stvu
t~Xu3t\|*tvEtvu
~ ~E{r*tCxdtCstC{r3|v¦ Etvu
|3zRnL{nEUz{r*tvu3pu
nVxdtCqu
~
xdnEpV xdnL{9|*r3~E{Ûr8pu3nEp9~X L~Xr3zRnL{ð¢"~E|8stvEt nEp/tCð~X;r $8zxdt~E{ ¡9~E/| /tvtC{ z{ q|*tèjnEu8o?~E{Û?EtC~Xu
|v¦ ÿ ¡st
~ EnEu
zRr3¡oz|<stC|3xdu
4z /tC zD{ µm=1m ÿ ¾~E{ |3r3qzRtC|$nE¡snP¢4r3¡tÊ~ EnEu
zRr3¡o p/tvu3jnEu
ob|"z{ pu¸~Exdr3zxdt
nLV{ tsnEu3r*u¸~E{ñpu3nE Eu
~Eo?|¢"tvu3t xv~Xu3u¸zRtC nLqsr u3nPEt~E{ ÿ nEu
xd£vnL{ ÿ %E ¾7¦ (8nP¢"tvEtvuCr3¡sKt $8zxdt
~ EnEu
zRr3¡o¡~E|r¢&nbpnEr*tC{r3z~ u
~C¢ ~Ex y|r3¡~XrnLqu=~ EnEu
zRr3¡osntC|={snEr=¡~PEt
t $=zxdtÏ~ EnEu
zRr3¡o z|={snEr=pu3tCxvz|*t+NnEu8u3tCxvqsu
|3zREtpu3nE Eu
~Eo?|v¦ j_{ðj~ExdrvzRr8o?~Cj~ z{Ûr*n~E{
L ÿ ¡sx
z{ {zRr*t nVnEpð¢=¡stC{ ~Xp9p zRtC r*nbu
tCxvqsu
|3zREtèpu
nE Eu
~Eob|v-¦ ,
-u3tvr3qsu
{ *qobp q{xdr3zRnL{9>| ~Xu3t EtC{stvu¸~Xr*tCr3¡st $8zxdt
L
tCxv~Eq|3tðnE zobzRr3~Xr3zRnL{|?z{ñr3¡st ¢$~C
~ EnEu¸zRr3¡ontC|{nEr<VzRt ðpu3tCxvz|*t~E{9|*¢&tvu¸|<NnEu8~ {snL{y¾u3tCxvqu
|3zREtÊpu
nE Eu
~Eob|v¦
tî¡~CEtî~ |*n |3¡nP¢={ z{ñr3¡z|p~Xptvu?¡snP¢r*n |*n Et z{stC~Xu?xdnL{9|*r3~E{Ûr-¾p9u3nEp9~X L~Xr3zRnL{7pu3n tCob|v
¢=¡zx¸¡z{+ EtC{tvu
~ {Ï~8|3qptvu¸|*tvr¯nE9r3¡st"z{9|*r3~E{xdtC|nE9xdnL{|3r3~E{ÛrX~Xu
z~ tC|jnLq{2 +xdnEpÏxdnL{|*r3~E{r
pu3nEp~X L~Xr3zRnL{¦&wVtvEtvu
~ nEr3¡stvu
|2¡9~CEt ~ |*nB0t ~s~Eobz{stC x ~E|3|*tC|nE8xdnL{|*r3~E{r-¾pu3nEp~X L~Xr3zRnL{Ùpu3n tCob|
onEu
tè EtC{stvu
~ r3¡~E{ðxdnEp xdnL{|*r3~E{r=p9u3nEp9~X L~Xr3zRnL{ ~Xuh )w 2% ÿ %Ey9w %E5 ¾¦
1'&4÷û 1
ø 8&ú 5 "÷ +% Xþ t ¡~PEt stvEt nEp/tC ~E{7zop tCobtC{Ûr*tC~ stCob~E{ ~ EnEu
zRr3¡o0jnEu r3¡stB_} ju
~Eobtv¢&nEu ¦ ÿ ¡st
stCo?~E{~ EnEu
zRr3¡o {|Êr3¡stX~ qstbnE<~ LzREtC{ |*y9o n 3 ~Xr+~ LzREtC{ xdnL{r*u3n 9n¢1 Eu¸~Xp9¡
{snyst y @ >¦ tCxv~Eq9|*t+nE|3p9~Exdt zo?zRr3~Xr3zRnL{|¢&tÏxdnL){ {st+nLqsu
|*t EtC|r*n v~ u¸zRtv|3qobo?~Xu3bnEr3¡9z|
¢"nEu ¦
ÿ ¡tstCo?~E{ ~ EnEu¸zRr3¡o z|2|3zobz ~XuÏr*nBr3¡st sy{~Eobzxh¾pu
nE Eu
~Eobo?z{s ~ EnEu
zRr3¡o nEwytCxdr3zRnL{Ù)
¡sn¢&tvEtvuCyz{2r3¡st8stCob~E{2~ EnEu¸zRr3¡o p9~Xr3¡2q{xdr3zRnL{|&~Xu3t=xdnLopqsr*tCqsu¸z{s Ê~ 9~ERx ¢$~Xu
|&r*u
~CEtvu3
|3~ nE = z¦§tE¦tCs EtC|Ï~Xu3tbr*u¸~CEtvu
|*tC ju3nLo r3~Xu
EtvrÏr*nî|*nLqsu
xd5t ,¸¦ ÿ ¡stbu3t ~Xr3zRnL{|3¡zRp /tvr¢"tvtC{ r3¡st
stCo?~E{~ EnEu¸zRr3¡o ~E{Br3¡st2~ EnEu
zRr3¡9o nE$wytCxdr3zRnL{ z|Ê|3zobz ~Xu\r*n r3¡stu3t ~Xr3zRnL{9|3¡zRp r3¡~XrÊ¡n |
jnEu t}Êw p9u3n tCob| /tvr¢"tvtC{Br3¡ststCob~E{~ EnEu
zRr3¡o nE $)w (*%'# ($\w %E ~E{îr3¡st+0t ~s¡~Eq|3r3zREt
~ EnEu
zRr3¡o nE $)w (*%'+ $;(èw %E ¾¦
z,+/tvu3tC{r+~Xppu
nL~Ex
¡ r*nn r3~Ez{z{s îstCob~E{9Etvu
|3zRnL{|nE<z{Ûr*tvu3p9u3nVxdtC9qsu
~ ~Xr3~ nP¢<~E{~ y|3z|
~ EnEu
zRr3¡o?|Ê¡~E*| /tvtC{ z{EtC|*r3zR L~Xr*tC B}\qstC|*r*tvu3¢$~ \qpr3~y~E{ wVn +n~ C} Êw %E ¾¦U_{Br3¡stCzRu+~Xps
pu3nL~Ex¸¡NnEutC~Ex¸V¡ qstvu
~|3tvrÏnE8~Xr3~ 9nP¢ t Vq~Xr3zRnL{|2z|2|3tvrÏqsp nL{ r3¡s@t 9nP¢ Eu
~Xp¡ bqsrÏ~E|zR
~ tCs EtC|=¢&tvu
tèu3tvEtvu
|*tCX ,¸¦ ÿ ¡s*t 9n¢4jq9{xdr3zRnL{|<nL{ r3¡tèu3tvEtvu
|*tÊ Eu¸~Xp9¡ ~Xu3tÊr3¡st ~Xp9pu3n ~szob~Xr*5t ,<z{y
Etvu
|*tC|nEr3¡stjnEu3¢$~Xu
9n¢q{xdr3zRnL{|v¦ ÿ ¡stC|*tt Vq~Xr3zRnL{|&~Xu3t=r3¡tC{|*n EtCq|3z{s ~stCob~E{ssu
zREtC{
+~ytCy¾p/nLz{Ûr-| {z{s pu3nyxdtCqsu
tE¦
\qustCob~E{2~ EnEu¸zRr3¡o1¡9~E|r3¡stjn nP¢=z{ +~EsX~E{Ûr3~X EtC|"nEtvu&r3¡st~ EnEu¸zRr3¡o( LzREtC@
{ VÏ}\qstC|*r*tvu3
¢$~ \qsp9r3~y9~E{ðwVn +~
, ÿ ¡stCzRu?~ EnEu
zRr3¡9o nL{ ñ~Xpp zRtC|¢=¡stC8
{ 61¡~E|?~ `Ki]`cyW ]vfAA vî]vD]vW]v`9ijY ¢=¡tvu3tC~E|¢"t
u
t qzRu
tnL{ Êr3¡9~XIr 6B~E{ 48/t&nE `Ki]"Ty]vKRJETi ¦ tnEuª0t ~s~Eop tE z{stC~XuxdnL{|*r3~E{rpu3nEp9~X L~Xr3zRnL{
¢8¡stvu32t 67¡~E|8~E{z{ {zRr*t+{Vq9o /tvunEt tCotC{r3|vz|=nLqsr3|
zst+r3¡t+x ~E|3|nEpu3n tCob|¡~E{9 tC
V r3¡stCzRu=~ EnEu
zRr3¡9o ¦
,-{|*r*tC~E nExdnLobp9qsr3z{s r3¡stZ~ qstnE ~Xr y sr3¡stCzRu=~ EnEu¸zRr3¡o ~E{|3¢&tvu
;| qstvu¸zRtC|nEªr3¡stÊjnEu
o
--|r3¡stÏZ~ qstÏnE ~Xr y ?jnEu~? LzREtC{BZ~ qt B 6¦_{ z{stC~XuèxdnL{|*r3~E{r\pu3nEp9~X L~Xr3zRnL{
r3¡tvu3t<z|{sn8¢$~CÏr*nèq|*1t qtvu
zRtC|nE9r3¡z|ªjnEu
o r**n {+r3¡st<xdnL{|*r3~E{rZ~ qt"nE~8 LzREtC{Z~Xu
z~ tE¦
ÇO ,7¡stC{u3tC|*r*u
zxdr*tC+r*n tª}Êwèpu3n tCo?|vvr3¡st¢"nEu
|*r-xv~E|*t$xdnL|*r¯nEVr3¡t}\qstC|*r*tvu3¢$~ y \qsp9r3~Z_wVn +/~
I® Y®I+°#«
ò
r*tCx¸¡{z
Vqst2z|*u w 3 ? ,¸¦-{xdnL{r*u
~E|*rv/r3¡stÏ¢"nEu
|*r-xv~E|*txdnL|*rnEnLqsuèstCo?~E{ ~ EnEu
zRr3¡9o z|
u w 3 y ,¸¦
}\qstC|*r*tvu3¢$~ \qspr3~y"~E{wyn +/~ ~ |*n LzREtB~ |*p/tCxvz~ zR£vtC7~ EnEu
zRr3¡o r3¡~Xrv&NnEuxdnEp xdnL{|*r3~E{r
pu3nEp~X L~Xr3zRnL{9u3tCobtCzRtC|$pu3n tCob| ,$~E{ ÇO ,¸¦
:; ù9÷&
ý '

{w
%)B2#$wQBC X2D =$B)DA # M 8O <M !#DHM B)DA
O 2B0O J)$I ILNM =PX Ch8PJCM $28P" ? J "h)CY"%$ ? CEYVD:L DFM/=
;>JC M DF|I ?AI M=P1AJ #$2|
8 "%88w $ L 0
M
1 L U M B)CL8 -e > w U U 0 U
{w|9 #B#$ rw oX w%= =| CEQD.I rw YVLCEI $2$C M& $ #$IT"L ! wO'H =DFM;$#EY7=1O $w 1 $L ? M CDDF=
;>C DA
;E=)$28P?F)$?_DF=|5C
L U M U U U M U 2
BC8 > e\( > > > w
B? "%=)$w $ L 0
*) g e+
, w K2 C8P? CED:Q / . 0w )e46
5 ?F)$QI2 1 YVL w ! I w g =3M wOV,LNM C!L #$ Y C DF"hCEO $ O;EJ =)IrI LNM ?A?F" X =J$ M =(J "%$? CY DDF=
;>CC
L U M U 0 U 0 U
DA
?F =Puw $
M $ 2|B)C8
-( > e5 w
! w 7{w "98F;ABCED#$ .uw 8w ! C(9_9 #$;
w O J:W1 LNM J; U I )L O 4w 9 C$<P#<"%$3|_2O<"%$B 8*]} "98 B" $B
=)r2 )$$ $2;
w 1 C$% =<*])D>=? > w
)@ {wA)DF=Ph)C7#$
wCH=DF;$#E=$wD? 8P? =(YE<? 2Y L MDJ $2M ;>? "%=)I$ " rI %CEM<1 JPC1$L ?A?M F" =$28w $ L 0 X U M O M U B
M ! 0 O U O J II LNM X JM M J U 2 |B)CL8 T+ > w
F . g e+
F
g w =)D:: " ?#|G Hw .:C2 882 )$ w g |B)"hAw ,C!#$ "%$? CED: DF=
;>C DF| ?A =PU
#$2|
8 "%88Aw J4$}5C
"98 BC !#$2 8F;>DF" ?8 > ewI1
8 7 w {6
w 8#=$C8#$ ?{w 1 ;>DF=(1?8w ?F =P #$2|
8 "%8=(Q
"9;E#? ")h C D =$)B DA#!8 8P"%$[
B <" $"%!
1
$2;>? "%=)$ B)DA
2B28w $ 465 L Q I U Y L M I U M 0 VO LNM L Y U 0 O U O JI ILNM X JM M J $ Y 2|B)C8
\+ T
> w
6#D>-
w 6)D D.6w ?K!$C6D C8% #? "%=)$28 B"0
G
)<=)$Bh #DF"%|} CL8Q=( o2D =$)B DA#!w A1 J M > > e > > -w
1
Q I U VY L M I
"-
)w ?{w0" [wL? $"
M2C DF=;AB0? =B|%=|}2|DF=|BDF) =|? "%O"N##? "%=)$w $ 465 L L Y O O J II LNM X JM
M
O
V
N
L
M
J
Y
M $ 2 BC8 > \#T
> -w
U 0 U 0 U
g \
8E
w M $2=O =$M m
)$ MB9e w I g ?F)COL 3 CE'O $P
w QMY7B1[C[O "%$1 ?FL CED:M DF=;EC 2 DF|;E=)"%$2;>" CE$;>C0? BC=)DFCE!w $ M1 VO M)J
1 L U M)J
U U U U M U 2|B)C8 > \)e( >& T > \5w
465
. > Q*w #$ "#$
!
QL I! U YVL M I U M 9e0 w OV)LNM /w .L YCED.U ,w * 0 =)O "%U $ ? O CJD4I " $ I LN2 M ;> C X'J M %"9 )8M J " $B Y G?I2 |B2 )D CL=$8 } C+ > ;T
% 8 8> "
M ;E> #?w "%=)$w $
g .u4w615 C>X ?>#8)B 1C1 DNOWY #$ M g w O g ?FO D J=$I Iw LNM $? X CDJ M DF=
;>J C Y DA
J'M ;>=$2Qm8PY7?F1 #$Io?{Y 2 D =$2 B? "%=)$HR?4$ CEr "%DF"%;
8P? |w
1
U 0 U
M $ L 2\5 > w
.:C%
w M.4 C2 O 88M w g =$h MB"%$ B I C<)L )$ O' h CEMDA8PY7"%1[=)O $281 =(L M "%$? CED: DF=
;>C DF|2#$
N8 "98] DF=|}% CE!88w $ M1 VO M)J
1 L U M)J
U U U U M U 2 |B)C8 + T > w
. F g e+
H
w .:C82 88 g w F =D4: "6?>5#$2 #$ Q SI1 wVY L g |BI )"hM w *D VO CLLNM ;>"98PL C6 "%$Y ? CED: DF=
O ;>C O J I DF|ILN M ?A 'X J =PM J
#$
N8 "98h "%rBDF|B
L U M U 0 U 0 U
D CL);AB2|}" " ?:|w $
M J Y |
B)CL8 > > e5w
. g F G
w .:C82 8 1 w g |B)"h #$ g w F =)D:: " ?>#|w $?FCED: DF=;EC 2 DF| ?A =PU
#$2|
8 "%8h "9oBDF|B0D CL);AB2
C
} " " ?:|C
w C;AB$"9;E|R.:C =)D ?. C >& ?F| =$)B "98T= $8@?F" ?:
?8G J,$")h CEDA8 " ?:!=>k =| CE$2B2
BCE$ > w
g > 9ew g ? C$3C$ )$ 2 8O Rw 1 L $J=A=| woI "%$1" ? C!O ;>=$2L 8PM ?F#$?A8E B2)DF; ? CD "N##? "%=)$28,=( 0$C8 CL;>" }% C!8PCE?=>
;>=$28@?A#$?F88wVU U U M L %T2+ \)/ )T+ > > > w
g * > 1 w g B2)D "%DQ#$ ? w *'$ C8 "[Ww =O
DF=;AO BC8 O J =)I DQ"%4 $?F CED: DF=M);EC J DQm2 Y DFL|Y$Z #?2 F O7Q =P JM )$2
N
8P "98 L w J
$ 1 L g Mw g Y w
2 ;AB$2"%;X=#$ 7 w o
w 8)=)$CL8] C " ?F=)DA8 0 U
U U

UY
U 1
;AB2
? CED -552 BC8 > +\ w *D C$? "9;>CC F |[ > > w
g *A, \+ g *A,R = =)$2CE$? *AJ $? CB CED.:C8 CL)8 C6\3 > \d+[ "%$?\/7w g ?F)$ )D * CED =)DF!#$2;ECL,]h |5C
?F" =$( =D =)DA?F" =$a+ g *A,#Q/2 )" D ( W? > \w

Download Report

Precise Interprocedural Data5ow Analysis with Applications to

Paperzz.com

Your Paperzz