HAL Id: inria-00072960
https://hal.inria.fr/inria-00072960
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,
Dynamic Changes in Concurrent Systems: Modelling and Verification
Eric Badouel, Javier Oliver
To cite this version:
Eric Badouel, Javier Oliver. Dynamic Changes in Concurrent Systems: Modelling and Verification.
[Research Report] RR-3708, INRIA. 1999. �inria-00072960�
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Dynamic Changes in Concurrent Systems:
Modelling and Verification
Eric Badouel and Javier Oliver
N ˚ 3708
June 1999
TH `EME 1
0-213 54.)6"
768:9<;>=@?BADCFEHGJILK?FMHAONP?RQ'9SGJ8.T.I<9UQPGV8W
XY[Z]\%^@_a`cb!d]ef^]gJhRi^j!efklemjfZ]\%^]e
npofqsrt^]j)nHgJofgVuJovgVw[Yl^
bLgJw[wFqJofjx[^om^:y5Yl^]ovy5Yl^z{}|~J&`Jh[z[^%_:VJ` {R|wgsuV^:e
][VV zjvYleLw[gVwF^]o)^gVx[x[of^]eve)jfYl^evefhl^:eqsD\0qlxl^]zlugVz[xV^:omFy]gsjmqJzqsDyqJzyh[ovom^:z}j
efklemjf^]\@eLevh[Rrt^:yj!jfqxlklz[gJ\%yy5YgVzluJ^]e!h[efzlunD^jvom zl^jLqJov\@gsev\@e!e!gJoLgVeLjfYl^^i[w[of^]evemRj k
qV¡jvYl^\%qlxl^¢eyq}z[y^:ofz[^]x£g.hljt¤Sz¥gVz[x£xl^]y^]z}jfovgs¦^]x£\%^]y5Y[gJzlef\§q}oY[gVzxlzlu>y5Y[gJzluV^:eae
qRqJ¨V^]x.qJo]jjfYl^@evgV\%^jm\%^0jvYl^0gVefy0xl^]yx[gJl^0w[ofqJwF^]ofjm^]eLqs¢nD^jvomDzl^jve©Un¢gVy^%ªqJh[zxl^]xR¤
z[^]eve«b!^:gVy5Y[gJlj kV«¬a^]gJxlqly5¨B«sgVzx®V^:zl^]eve5¯'evYlqJh[x0om^:\%gVz0xl^]yxgVl^pq}o jfYl^^iljf^]z[xl^:x0\%qlxl^]U
XY[^0u}gsz>z°jf^]ov\%e6qV¡\%qlxl^zlu±wFq¡^:oLeh[evh[gsk>wgsx°}k°gq}efeaqs)xl^]yx[gJl^@womq}w^:omjf^:e
jvofgJxl^¤Sqs²³zl^^:x[e0jmq°F^q}h[z[x´F^j )^^:z¥^i[w[of^]evefRj kµgVzx´yq}\%whljfgJlj kV
z¶g°w[of^RqJh[e0emjvh[xlk
)^Y[g·J^z}jfofqlx[h[y^]x±g&ygVeve!qVDY[u}Y¸^]V^nD^jfofz[^jfe]«Fy]gs^:x±om^:yq}zRuJhofgJl^zl^]jfe]«jvY[gsjaygVz¸xlk}¤
zgV\%y]gskµ\0qlxlk°jvYl^oq!z¹efjfovh[yjvh[om^&}kµof^!ofjmzlu±emq}\0^@qV)jvYl^oyq}\@wq}zl^]z}jfe]XYl^:em^zl^]jfe
)^]of^h[ef^]x>qJoa\%qRx[^zlu¸yqJ\@w[h[jm^]oaevh[w[wFqJofjm^]x°yqRqJwF^]ovgsjfJ^)qJov¨°© ºB»:º¼¯LgJz[x>\%qJof^0wom^:yem^]k
)qJov¨J½q3emklefjm^]\@e] z>jfYle6emjvh[xlk¸¡^%om^:emjvomyjqJh[ogsjfjm^]z}jfq}z±jmq.jfYl^%efhFygJefeqspof^]yqJzRu}h[ovgVl^
z[^jfe]«)jm^]ov\%^]x³of^V^:ofefl^J«¢!Ylq}em^±efjfovh[yjvh[om^±\%qlxlk}zlu´ovhl^]e&gVof^.qJov\@gsk´z}V^:ofef[^J¿¾lh[y5YÀg
z[^j\@g·k>^@R^]¡^:x°gJejvYl^&ygJefy]gVxl^:x°yq}\@wq}emjmqJz°qs¡gJzµgJhljmq}\%gVjmq}z±jvYµg¸w[gJofgJ\%^jfofynD^jvom
z[^jÁ'gJz[x>h[zxl^]oaemq}\%^0gVxxljfq}z[gsDgVevevh[\@wljmqJz±jae^]ÂRhlgs^]z}jLjfqgefjfovgsjfÃF^]x±nD^jvomDzl^]j6n¢gVy^
FqJhz[xl^]xzl^]eve«om^:gVy5Y[gJlj kV«Äxl^]gJxlqRy5¨B«'gJz[x°V^]z[^]eveagJom^@xl^:yx[gVl^&w[ofqJwF^]ofjm^]eaqsom^]V^]ovefl^0of^¤
yqJzRFuJh[ovgVl^zl^jveLÅFofqJ\Æg&w[ofgJyjfy]gswFqVz}j!qsHR^ÇYlq)^V^:ojfY[^y5YlqVy^qs¢gw[gJomjfy]hlgJo!\%qlxl^
©UnD^jfofHzl^jve«Äef^\%qRx[ÃkRzluq}oLefjfovgsjfÃ^:x±nD^jvomHzl^]jfe]«Pof^]yqJzRFuJh[ovgVl^zl^]jfe0ȯ>xl^:w^:z[x[e6efjfofqJzluJk
q}zjvYl^z[gVjfh[of^6qsDjfYl^w[ofqJ[^:\jmq&F^\0qlxl^]¦^:xÄ
ɸÊ}ËPÌvÍÎ Ï V b!^:yq}zRuJhofgJl^aÐL^]jfe]«[xlklz[gV\%yy5YgVzluJ^]e]«[ºP»:º¼.«lÑ£qJov¨J½qÒ¾}klefjm^:\%e]«lªqJh[zxl^]xR¤
z[^]eve«F¾}^]ÃÓ¤SÔ>qlxlkRzlu&nD^]jfofÄÐL^jve
ÕÓÖÄ×fØSÙ]Ú×Û ÜØSÝSÞß
à'á:âäã'åPæ5çUè!å'éêã®ë·ì·í·îtçïSéêè5îtìí·ë·çâäì·ðépñ:âäãUâï'æêòPó5étñ:âäîtç ô õäâñîmç'évïöÓçâäãSé:÷
øpùFú
éêâäõû
ù
çUâäü5÷ýÄéêí·æ5ë·îtõÃþ âäçâäãSé:÷òç
ÿ
ùFú éêâäõûæ5õäâñîtçSþ í·ãUâäü5÷ëñV÷îtã
Unit´e de recherche INRIA Rennes
¡0 !" (Ç&-/ 6" 0)" 54¸)6"
ÐqJh[e)zlq}h[e¢z}jmd]of^]evefqJz[e¢xgVz[e)y^]jmjm^djvh[xl^gJh&w[ofqJlZ]\%^Lxl^g\0qlxld]evgsjmqJz@^]j¡xl^g
Jd]ofÃBygsjfq}z±xl^@emklefjmZ]\%^:eayqJz[y]h[ovom^:zJjveLevh·rt^jvexl^:eay5YgVzluJ^]\%^]z}jfeaxlklz[gJ\0ÂRhl^]e]6®^0qJov\@gsev\%^
x[^0[gJem^^:emjay^]hlHxl^:eLofd]ef^]gJhRi¸x[^nD^jvom<pzµy^%Â}h[ yqJz[y^]ovzl^efqJz±^ilwom^:efefRjmdq}z±emq}h[Y[gVjf^]ovgsj
hz.\%qlxlZ]^g·kJgJz}j)h[z.\%d]y]gVzlef\%^xl^w[ofem^6^]z.yq}\@wljm^xl^:ey5Y[gVz[uV^]\%^:zJjvexlklz[gV\%Â}h[^]eÂRhl'efqVj
g%qVe!z}jm^:ofzl^^j!qlygs<)nDgJo!gs^:h[ofe!^:eLw[ofqJw[ofdjmd:e!xl^gVef^}jm^]^]e!gVy]y^]evefljfdV«^y]gVovgVyjfZ]of^
FqJovzldpxh[z[^¡wlgVy^V«·^)lqRy]gsuJ^V«:gRgVyjmdaxl^]Rovgs^]z}j®yqJz}jmzRhl^]ojvom^)xl^]ew[ofqJw[ofd]jmd:e®xld:yx[gVl^]e
wFqJhoy^jfjm^&ygVevef^0d]jm^]zx[hl^xl^&ofd]ef^]gVhli±x[^&n ^]jfofU%¬q}ofxlz[gVof^0^@uJgVzµ^]zµjm^:of\%^&x^i[w[of^]evemRjfd
ef^jvofgJx[hljLw[gVoh[zl^%w^:omjf^^]z±jf^]ov\%^xl^w[ofqJwomdjfdxld]yxgVl^^jah[z±yq}\@w[omq}\%exlqVjjvom^jfofqJhlJd
^:z}jfof^^ilwom^:efefRjmd.^jy]gsyhlgVljfdV¶¬6gVze&h[zl^±djvh[xl^±w[ofd]yd]xl^:zJjf^V«)zlqJh[e@g·JqJz[e%zJjvomqlx[h[j&h[zl^
ygJefef^>xl^£omd:em^:gVhRi³xl^°nD^jvomaxl^µYgVhlj.zlJ^]gJhÄ«!gVw[wF^d]eomd:em^:gVhRi³om^:yq}zRuJhofgJl^:e«ÂRhl6w^:hlV^:zJj
y5YgVzluJ^]oDxlklz[gV\%ÂRhl^]\%^]z}jD^]h[o¢womq}w[om^efjfovh[yjvh[om^^:z@omd]d]yof·gJz}j y^]ofjfgsz%xl^^:h[oHyq}\@wq}efgJzJjve! ¡^]e
ofd]ef^]gJhRiw^:hlV^:z}jef^]ofRo"%\0qlxld]ef^]o)^:ey5Y[gVz[uV^]\%^:zJjve¡x[^6\%qlxl^:e¡q}wd:ofgVjmqJof^]e)x[gVze¡^]eefklemjfZ]\%^]e
x[^jvofg·gsyqRqJwFd]ovgsjfÃ!^]j%wlh[e&evwd:yFÂRhl^]\%^:zJj@x[gJz[e^]e@efklemjfZ]\%^]e#±½FqVjfe@xl^.j%$Jy5Yl^]e]¹¬agJz[e%g
womd:em^:zJjf^d]jfh[xl^%qJzµem^@of^]efjfof^zJjgefqJheaygJefef^0x[^]eaomd:em^:gVhRi>of^]yq}zRu}h[ofgJl^]e]«Bxljfe6ofdJ^]oveml^]e]«
wFqJho^:efÂRhl^]ey5Y[gJÂ}h[^6ofZuJ^6xl^\%qlxlFygVjmqJz.emjvofh[yjfh[of^^awF^]hlj]jfof^aqJov\0^]^]\%^:zJjz}V^]ovefd^V&z
jf^Pomd:em^:gVh&wF^]hlj"jvom^lhyq}\%\%^ah[zl^yqJ\@wFqJefjfq}z&^]zy]gVevygJxl^Lxh[zgJhljmq}\%gVjm^^j¡xh[zomd:em^:gVh&xl^
nD^]jfofDwgVovgV\%djvomdJ«B^]jaefqJheay^]ofjfgVzl^:eY}klwFqVjfY[Z]ef^]e^]efjad:ÂRhlgV^:zJjhzµofd]ef^]gJh>xl^%n ^]jfofHemjvofgVjmdV
nHgJogs^]hofejmqJh[jm^]e^:ew[ofqJwomdjfd]e\%^]z}jfq}z[zld^:eyä xl^]evevh[eefqJz}jxld:yx[gVl^]ewq}h[o^]eomd:em^:gVhRi
of^]yqJzRFuJh[ovgVl^]e®omd]V^]ovefl^]e]'¬hz0wFqVz}j xl^lhl^w[ovgsjmÂRhl^¡y^]wF^]z[xgVz}j y'^:emjDgLz[gVjfh[of^w[gVofjmyhlZ]of^
x[^)y5Y[gJÂRhl^pw[ofqJlZ]\%^)Â}h[Rx[djm^:of\%zl^)^y5YlqVixhz0\%qlxlZ^¡wgVofjmyhl^:op©<omd:em^:gVhRixl^¡nD^jfof<«somd:em^:gVhRi
gJhljmq}\%qRx[ÃFgJz}jfe)qJh¸efjfovgsjm^:e«[ofd]ef^]gJhRiom^:yq}zRuJhofgJl^:eLä¯5
( Î : Ì ') b!d:em^:gVhRi±of^]yq}zRu}h[ofgJl^]e]«[y5Y[gVzluJ^]\%^]z}jve!xlklz[gV\%ÂRhl^]e]«PºP»:º[¼¸«PemklefjmZ:\0^:e@½FqVjLxl^
j*$Vy5Yl^:e«[y]gVovgVyjmZ]of^FqJovzldJ«[omd:em^:gVhRixl^nD^]jfof®gVhljfqJ\%qlxlFgVz}jfe
' (
" &-¸p"
zom^:y^:zJj)kV^:gVove¡\@gJzJkefjfhxl^:eY[g·V^ayqJzemxl^]of^]xh[emzlu%nD^jfof'zl^]jfe¡qJo\%qlxl^zlu)$+*,!-./#%*,0
*!-213$42*. !5 6)78 9@© ºB»:º¼¯/:Ã_%;R«%<S¡XY[^]ef^6gJw[wly]gsjfq}z[e«Fgsemq@ygV^]x3= %*>? LgVw[wlyg¤
jfq}z[e]«ByqJz[y^]ovz±xlefjfof[hljm^:x>gVyjmRjf^:eLXY[^k¸z}JqVV^efkRefjm^:\@e!qspgVuV^:zJjve©<yqJ\@w[h[jm^]oaefkRefjm^:\@e!qJo
YRh[\@gJz[eê¯!Yly5Y±yqRqJwF^]ovgsjm^jfY[z>gJz±Yl^jf^]ofqVuJ^]zl^]qJh[egJz[x¸uV^]qVuJovgVwYly]gskx[efjfofhljm^:x±^]z}RofqJzl¤
\%^:zJj]!XYl^ef\@wl^]efj!z[efjfgVzy^]eLqs¢yqRq}w^:ofgVjmV^6¡q}of¨gVof^jfYl^78 9A@B>DC)EFG.,!H#%!&5
XY[^]ef^efkRefjm^:\@e)evh[w[wFqJofjpjvYl^6om^:gs¦:gsjmqJzqs®)qJov¨0womqly^:x[h[of^]e)}k%u}omq}h[w[epqsyqVgJq}ofgVjmzlugsuJ^]z}jfe
}kyqRqJovxlzgsjmzlu%jfYl^6½Fq+qsDjfgJef¨Re)jfYlz¸jfYl^xlefjfof[h[jm^]x¸efklemjf^]\.
XYl^xl^:emuJzqVPºP»]º¼ efklemjf^]\@eovgsef^]e®efqJ\%^¡\@wFqJofjfgVz}j \0qlxl^]zluevefhl^:e®¨s^¡x[kRzgV\%y¡y5Y[gVz[uV^]e
qV¢gVyjfRjm^]e]«FjvgVev¨\%uJovgsjfq}zÄ«Fevh[wF^]of\@wFqJefjfq}z¸qspxl²B^:om^:z}j!^]V^]eLqspgVyjmRjf^:eLgVzx¸jfYl^%zlqVjfq}z
qV'\hljmwl^LqJwF^]ovgsjfz[u\%qRx[^]e] XYl^nD^jfofPzl^jpqJov\%gVev\xlqR^]e¡zlqVj¡qs²P^]o¡gxlom^:yjpg·kjfqgVxx[om^:efe
jvYl^]ef^^:gsjvh[om^:eLgJz[x¸qJoLjfY[gVjof^]gJemq}z.\%qlxl^]z[ugVz}k¸om^:gsefjmy0ºP»:º[¼efklemjf^]\§xlom^:yjmk¸jvY±nD^jvom
z[^j\@g·k°F^g¸xlJIy]hljjfgVev¨K
jejfYl^:om^qJof^%jf^]\@wljfzlu°jmq¸z}jvomqlx[h[y^&^iljm^:z[efq}z[e6qsnD^jfofpzl^]jfe
^:efwF^]ygVk¹xl^]efu}zl^]x¥efq°gJejmq£gsqqJo0gVz¥^:gVefk°q}of\@gV¦]gVjmqJz£qsLevh[y5Y¹qJo0efhy5Y£^]gsjvh[of^V°XYl^
u}gsz%z@jf^]ov\qVP\%qlxl^zlu0wq)^]oHe¢h[evh[gVk%wgsx%}k@g6q}efe¢qs'xl^]yxgVl^!w[ofqJwF^]ofjm^]e] jvofgJxl^¤Sqs²
z[^^]xejmqF^6qJh[z[x.F^j )^^]z.^ilwom^:efefRj kgVz[x.yq}\@w[hljfgJlj kV
zµjfYle6w[gVwF^]oa)^0gJx[x[of^]eveLjvYl^0evefhl^:eaqsLGE1F.MMJ &gJz[xN6. OP2!Q ¸qs¡yqJz[y]h[ovom^:zJjemklefjm^]\@e
evh[Rrt^:yjjmqx[kRzgV\%y6y5Y[gJzluV^:e
egsom^:gVxlk¸\%^]z}jmqJz[z[^]xÄ«'\@gV¨}zlu¸yqJzyh[ovom^:z}jLemklefjm^:\%e6gJx[gVwljvgVl^jfq.y5YgVzluJ^]eeaqJz[^0qVpjfYl^
\@gVz¸y5Y[gV^]zluJ^z>ºP»:º[¼efklemjf^]\@e!xl^:emuJzÄ j!e\@wFqJofjfgJzJjjvY[gsjLjfYl^\%^:y5Y[gVzlev\qJoLy5Y[gVzluJ^^
^i[wlyjmkof^]w[of^]ef^]z}jf^]xz}jmq6jfYl^\%qlxl^[efqajfY[gVjDgVjD^]gVy5Y0emjvgsuJ^¡qVFw[ofqRxh[yjHxl^]V^qJw\0^:z}j«sxl^:emuJzl^:ofe
y]gVz.^i[wF^]of\%^:zJjjvYl^^²B^:yj!qVHefjfovh[yjfh[ovgs®y5YgVzluJ^]e]«l^VuJk.h[efzluwomqJjmqVj klwF^]e]¡XYleL\%^:gVz[ejvY[gsj
efjfovh[yjfh[ovgsly5Y[gJzluV^:egJom^)jfgJ¨s^]zz}jfqagJyyq}h[z}j®ofqJ\3jvYl^V^:omkF^uJzlzluaqsBjfYl^xl^:emuJz%w[ofqRy^]eveovgsjvYl^]o
jvY[gVz°Y[gVz[x[^:x°}k±gVz±^iRjf^]ovz[gs gVz[x°uVqJ[gVefklemjf^]\.«P^Vu6emq}\0^^i[y^:wljmqJz>YgVz[xlzlu\%^]y5YgVzlef\.«
x[^]efu}zl^]x.gVz[x¸gJx[xl^]x.jfq%jvYl^\%qlxl^xl^]evyof[zlu%jfY[^emklefjm^:\ zlqJov\@gs'F^]Y[g·RqJh[o]¢XYRh[e)^6g·VqJho
gJzR "!-.SMsgVzxT .G"!-MqV^:oHgVz3VU=!-MsgJz[xR" W.Oxl^:efy]omwljmqJz%qVÄy5YgVzluJ^]e]«VgVz[x&gXMYE2M
qJ^]oHg=MZF[VMVY[gJz[xlzluqs'y5Y[gVz[uV^]e]XY[e¡gVw[w[ofqJgJy5YepyqJ\@w[gVjml^LjvY@jfYl^LFqVjfjmq}\¤ h[w\%qlx[hlgVo
efklz}jfYl^:emeqVLnD^jvomzl^jve%!Yl^]of^g£yq}\%w[^i¥efklemjf^]\e%x[^]ofJ^]x¹ofqJ\ evh[yy^]evemV^.om^Fzl^]\%^:zJjveqV
w[gJy^]eq}o)jfovgVz[efjfq}z[e}kevh[R¤ emklefjm^]\@e]
\¢gV¨ ef^Ó¤S\%qlxlkRzluz[^jfe:Ã_%]R«'_E^<®egJz.^]gVofkgsjfjm^]\@wljqVDgJz.^iljm^:z[emqJzqsDnD^jvom®z[^j!\%qlxl^
jfY0gL[h[jt¤Sz%\%^]y5Y[gJzlef\OqJo Y[gJz[xlzluay5Y[gVz[uV^]e] j eD\%qJof^qJ^]o'ÂRhljm^gLzgsjfhofgVJuJ^]zl^:ofgV¦]gVjmqJz
qVBnD^]jfof[zl^jve z@yq}zJjvofgJemj jfY@nD^jvom[zl^]j«}jfYl^!wom^¤SyqJz[xljmqJz%gVzx0wFqJefjt¤ yq}z[xljmqJz0qsÄg6jfovgVz[efjfq}z
_
gJom^!zlqJj¢uVV^:z@gVeHJ^]yjfqJoveH[hlj)gVe¢\@gsjvomy^:eH`
_ab_
`dc=egfeihkjlHXovgVzemjmqJz
_
epjfYl^:z@^]z[gJl^]x@z
\@gJof¨}zlu8monTjlLp´ gJz[xq}zlkÃqJo)^]gJy5YwlgVy^Pq,r jvYl^yqJzxljfq}zsmutJq,r&vPwDxzy ` _ t{qr
aq y v mut{q
y v
eevgsjmem^]xÄ%Ñ¿Yl^:zµ^:z[gV[^:x°jvYle6jvofgJz[efjfq}z°ygJz>Bom^&gVzxµw[ofqlx[h[y^%jvYl^&zl^ \@gVov¨Jzlu3mi|Hefhy5Y
jvY[gsj$mi|5t{q rv?}~mut{q rv x y ` _ t{q r aq y
vbmutJq
y
v% x y _ ` t{q r aq y vbmutJq
y
v5«JjfY[gVjeDjmq6evg·kmi|,}Ddt
_
v=m
!Y[^]of^¡jvYl^/!5 W.![\%gVjfofÃi¹eDuVV^:z}kdt{q r aq y v?}D r
y ` _
t{q r aq y v
_ ` t{q r aq y
v jvY r
y
})
}&gJz[xR r
y
}~%Ã }HXYl^z[qVjmqJzqsDemklefjm^]\@eqV of^]wlgVy^]\%^]z}j2s\hljmwly]gsjfq}zqsD\@gsjfofy^]e
jvgV¨V^]eHjvYl^LwlgVy^!qsÄjfY[^LzlqVjfq}z@qs'efkRefjm^:\@eHqs'of^]wlgVy^]\%^]z}j2sgVx[x[jfq}z0qVÄV^]yjmq}ofeDjvY[gsjpy5YgVovgVyjf^]of¦]^
nD^]jfof'zl^jve
&aefh[gVk½Fq+om^]gVjmqJz[ex[^]wF^]z[x[e!qJzlkh[wFqJz¸g%\%jf^]x¸zRh[\F^]oqVDw[gJy^]ejvY[gsj)^efYgsÄjm^]ov\
2"!Q M*,MY=25%XYl^%yqJz}jm^:z}jqVpjfYl^:em^@wlgVy^]eaz°jfh[ovz°gJom^@g²P^]yjm^:x>qJz[k>}k±y^:omjvgsz>jfovgVzemjmqJz[e
jf^]ov\%^]x2 AWX2EO V!Q ¸Jk±yqJz}jfovgVefj!jmq.jfY[^0qJjfYl^:o8 1 SjvofgJz[efjfq}z[eaÑ jfY>^]V^:omk
\@gJof¨}zlu8megVevemqlygVjm^]xgnD^jvomÄzl^]j } te aLa ` t5v
a t5v `
v¡qJljvgszl^]x}k&^gsh[gsjfq}z&qs jfYl^
½Fq of^gsjfq}z[ez´\@gVov¨Jzlu m
` _ t{qrQv}
` _ t{qr a LvPFm gVz[x
` _ t{q,r&v}
` _ t{q,r a LvPm ¸XY[e
nD^]jfofPz[^j e)jfYl^ 24O= !Q @qV®jfYl^ef^Ó¤S\%qlxlkRzlu&zl^]j$z\@gVov¨}z[u8m ¢Le)qJzlu@gVezlq
yqJz}jfofqVBwlgVy^:epgJom^a\0qlxl^:x&jfYl^6ef^Ó¤S\%qlxlk}zlu%zl^j^:Y[g·V^:epgJepjfe)yh[ovof^]z}jpyq}zRu}h[ofgVjmqJzÄ¢¾}^]ÃÓ¤
\%qlxlkRzlu0zl^jve¡gJom^!jvYl^]of^q}om^)^FgJx[gVw[jm^]x%q}opefjvh[gsjfq}z[e¢z&!Yly5Yef^J^]ovgs[\%qlxl^]e¡qsÄqJwF^]ovgsjfq}z
yqR^ilefj
ez[xlygVjm^:xzÅDuF}_¡nD^jfofRzl^j jvYz[YlljmqJoveDgVovyeygVz^)\@wl^]\%^:zJjf^]x0Jkef^Ó¤S\%qlxlkRzlu
z[^jfe]XY[ePq}of\@gVef\¿e®jfYRh[e'X h[ofzlu!wFq)^]omhlsgVz[x6jvYl^]of^He'zlq!Ylq}w^Hjfq!qJljvgszauV^]z[^]ovgssgVh[jmqJ\@gVjmy
J^]ofÃBygsjfq}z¶jfqRqVe@qJo&jvYl^±hl6ygVeve&qsem^]ÃÓ¤ \%qlxlÃkRzlu¶zl^]jfe]OÔ°qJof^qV^:o%jef^^:\@exlZIyhljjmq
Bz[x£z}jm^:om^:emjfz[u>efh[l¤SygJefef^]eaqs!ef^Ó¤S\%qlxlkRzlu>z[^jfejvY¥xl^]yx[gJl^w[omq}w^:omjf^:e@©UFqJh[zxl^]x[z[^]eve«
V^]z[^]eve«Hof^]gVy5YgVlj kV«È¯3^i[y^]w[jqJo2!/MW20-GE1 W2 S.!5 :Ã_%]4<!Yl^]of^gVw[of^]yq}z[xljmqJz[e
gJom^yqJz[efjfgJz}j z[xl^^:xÄ«D¬ahlqJh[ovx¹^j%gs< :_]~<)w[ofqV^@jfYgsj0FqJhz[xl^]xzl^]eveegsof^]gVx[kµh[z[x[^]yx[gJl^
q}onD^]jfof)zl^]jfe0jvYg ..! :_.<S«H!Yly5Y¥e0gµem\@wl^.ygJem^qsLef^Ó¤S\%qlxlFygVjmqJz ©<em^]^ÅDuF¡_¯ê
zlqVjvYl^]o&ef\%w[^±ygJem^¸qVaef^Ó¤S\%qlxlFygVjmqJzÀeof^gsjf^]x¶jmq¥jfovgVzet^:omj@gVovyeT:ä|4<S z :_]~%<¬ahRq}h[ovx
^]jgs<@womqJ^0jvY[gsjwlgVy^¤ q}h[z[xl^:x[zl^]eve6eh[z[xl^:yx[gVl^%qJo6nD^jvom¢z[^jfejvYµjvofgJz[em^]ofjagJofy]e^]V^:z
jvYlqJh[uJY¹q}h[z[xl^:x[zl^:efee0xl^]yx[gJl^&qJojvY[gsj0ygVeveLq)^J^]o]«®z¹qJovxl^]ojfq±^:efef^]z¹q}h[ow[of^RqJh[e
gJefef^]ofjmqJz'«]q}zl^pevYlqJhlx\%^]z}jfq}zjfY[gVj ¡qJ^]ovgVlj kgJz[xX^]ov\%z[gVjmqJz6!Yly5YgJom^pFqVjvYh[z[x[^]yx[gJl^
womq}w^:omjf^:e6qs!em^]ÃÓ¤ \%qlxlÃkRzlu>zl^]jfegJom^&xl^:yx[gV[^FqVjvY£qJonD^jvom)zl^jvejfY¥of^]ef^jgVovyegJz[xµqJo
nD^]jfof'zl^jvejvY.jfovgVz[em^]ofjgVovye]
!"$#%'&(
)+*-,.*0/12435,
!6"$#%'&(
798;:;<>=;<?/4@A2B12435,
CD!E6"GF%H&I"GF4%;JK"$#%
LM241C8N,9OP*52./12435,
Q4R
R S R
S R R S T
R # #
S S
R T
S
R
ÅDu}h[of^%_;H\@wl^]\%^:zJjvgsjfq}zqV z[YlljmqJo]«[of^]ef^j«[gJz[x.jfovgVz[em^]ofjgVovye)z.ef^Ó¤ \0qlxlkRz[u@z[^jfe
XYl^:om^He'Ylq)^J^]oÄg)uJgJw6^]j ¡^]^]za!Y[gsj®eÄjvYl^q}om^]jmygVk!^i[w[of^]evefl^Dz6jf^]ov\@eÄqslem^]ÃÓ¤ \%qlxlÃkRzlu
nD^]jfofDz[^jfegJz[xµjfYl^&\@gVz[z[^]oazµ!Yly5Y>)^@z}jm^:z[xµjmq¸h[em^@jvYle\%qlxl^]DqJo6\%qRx[^zlu¸yqJzyh[ovom^:z}j
efklemjf^]\@eagVx[gJwljfgJl^jmqy5YgVzluJzluemjfh[gVjmqJz[e]pV^]z°jfYlq}hluJY>jfYl^%h[em^%qspof^]ef^jagVovyegVz[x±jvofgJz[em^]ofj
gJofy]egJomem^:eÂRhljm^¸z[gsjvh[ovgsk£z¶jfY[gVj%yqJz}jm^iljj0e0wFqJevefl^gJe)^evY[gVem^]^evYlqJofjmk¹jmqµqJljvgsz
\0h[y5Y±\%qJof^jfovgVyjfgJl^0\0qlxl^]eLjvY±V^:omk¸ef\%gJo^]gVjfh[of^]e]!Leaefjfgsjf^]x±gJqJ^V«)^z}jm^:z[x±jmqh[em^
ef^Ó¤ \0qlxlkRz[u£zl^]jfe%q}o%\%qlxl^]z[u£g£emklefjm^:\ yqJzememjfz[uµqVgµh[z[y5YÀqsLnD^jvom!z[^jfe]«¡y]gs^:x´jfe
2EO= !5 «pjfqVuJ^jfY[^]o%jvY³emq}\0^¸\%^]y5Y[gJzlef\ ©<h[efzlu¹jvYl^±emqV¤Sy]gs^:x¶yq}z}jfofqVwlgJy^:e&gVz[xÀjfYl^
y5YgVzluJ^]eqs¡yqJzRu}h[ovgsjmqJzB¯gsqzlujfYl^&efklemjf^]\§jmq¸^]VqVV^omq}\§qJzl^@yq}zRu}h[ofgVjmqJz±jfq.gJzlqVjvYl^]o
q}zl^hz[xl^]o)y^:omjvgsz&yofy]h[\@emjvgVz[y^]e] zqJovxl^]opjmqjpz\%qJof^LefjfovgsuJY}jtq}omgVovxlkjfYjvYle)\@gJz[zl^]o
qVFxl^:efy]omlzluLevh[y5Yefklemjf^]\@e®)^)z}jfofqlx[h[y^pjfY[^)\%qlxl^RqVVU+!&X!& V"!Q MMYV1 !5 l!5D©9W'ºYX[Z
z¥evYlqJofjê¯5¸z\W'ºMXHZ e0g>w[gJofgJ\0^]jfofy%gJ\%kµqVn ^]jfof¡zl^]jfe]«D!Yly5Y¥\%^:gVz[e0g±nD^jfof¡z[^j!Y[qJef^
½Fq3gJofy6z[evyofw[jmqJz[egVof^zl^:gVoh[zyjmqJzeLqVpy^]ofjfgVz¸w[gJofgJ\%^jm^:ofe]«jfqVuJ^jfY[^]ojfY>efqJ\%^yqJz}jfofqV
uJJ^]zJkgBzljf^gVhljfqJ\@gsjfqJz!YlqJef^aefjfgVjm^:exl^jf^]ov\0zl^6jfY[^6y]h[ovom^:zJjgshl^:e¡qV jvYl^]ef^w[gVovgV\%^]jm^]ove]
jejfY[^]of^qJof^jvYl^0y]gVevygVx[^]x±yq}\@wq}emjmqJz¹©UqJoLef^]\%Dxlom^:yjLw[ofqlx[h[yjê¯!qs¢g>©<yqJz}jvomqJÓ¯gJhljmq}\@gsjmq}z
jfY.g%w[gVovgV\%^jvomyn ^]jfofÄzl^j] zjvY[gsjof^]evw^:yjjeÂ}h[jf^6ef\0gVo)jmq&g\H^]yjfqJox[xljmqJz±¾}klemjf^]\
jfY´¾}jvgsjf^]e&© W»:»]¯!Yly5Y£eg±x[of^]yj6womqlx[h[yjqsgVz¹gVhljfqJ\@gsjfqJzµjvY¹gnD^]jfofpzl^j]&ѵ^evY[gV
z[xl^]^]x¹F^gVl^@jmq>gJefefqlygsjm^@^:gVy5Y WĺMXHZÀjfY¥efqJ\%^@¡^:gV¨}k>^]ÂRhlgs^]z}j W»:»XYlezlqVjfq}zµqV
)^]gJ¨%^]ÂRhl·gV^:z[y^6e)^]zlq}hluJYjmq@^]z[evh[of^jvY[gsjFqVjvY\%qlxl^egVof^a^]ÂRhl·gV^:z}j¡jfY.om^:efwF^]yjjmq&emq}\%^
hz[x[gV\%^:zJjvgs¢w[ofqJwF^]ofjm^]e6gJe6n¢gJy^@ªqJh[zxl^]x[z[^]eve«Äb!^:gVy5Y[gJlj kV«'gJz[x°J^]zl^:efe]¾}zy^&gsHjfYl^:em^
womq}w^:omjf^:e)gJom^xl^:yx[gV[^aqJo;W»]»6jfYl^]kgVof^6gsemq&xl^:yx[gVl^aqJoW'ºMXHZD
¢J^]z¥jvYlqJh[uJY\W'ºMXHZ Y[g·J^g>xl^Fzljm^¸gVxlgJzJjvgsuJ^&qV^]ojfYl^.em^]ÃÓ¤ \%qRx[ÃkRzluµzl^]jfe0z´jm^]ov\@eqV
6MJ 1=!Q qs womq}w^:omjf^:epjvYl^kYg·V^6em^:omqJh[e)x[ovg·![gVy5¨Re¢omq}\ gG41=MM{ efjfgJz[x[wFqVz}j¢Lyjfh[gVk
jvYl^YgVz[xlzluqVy5Y[gVz[uV^]e¢qsyqJzRu}h[ovgsjmqJzeHe)xl^:efy]om^:x&uVqJgsk@gVz[x^iljm^:ofz[gVk&}k%jvYl^yqJz}jfofqV
gJhljmq}\@gsjmq}z.!Yl^]of^qJz¸jvYl^0yqJz}jfovgVofkj!)gJeuVV^:z.qlygVk¸gVz[x.zJjf^]ovz[gskz±em^]ÃÓ¤ \%qlxlÃkRzluzl^]jfe
!Y[^]of^6yqJz}jfofqVÄwlgVy^]egVzxy5Y[gJzluV^:e)qs yqJzRFuJh[ovgsjfq}z[ea©!Yly5YgJom^of^]evw^:yjfJ^kwlgJy^:egVz[xjfovgVzR¤
efjmqJz[e%qsjfYl^±efkRefjm^:\¯gJom^¸h[ef^]xĶXY[e@\%^]gJz[e%jfY[gVj@\%qlxl^]z[uµjfY W'ºYX[Z¿ygJz[zlqJj%gVq qJo
jvYl^\%qlx[hlgVo0qJjmjmq}\0¤Sh[w¶emklz}jfYl^:emejf^]y5Y[zlÂRhl^V>XY[e%\%qRx[^p¡jvYl^]of^q}om^F^z[gVx[^]ÂRh[gsjf^@qJo
\%qlxl^]z[ugJomuJ^emklefjm^]\@e]«BhljL\@g·k.F^h[ef^]x±gJeLg&jvgVofuV^]jqJov\%gVev\ qJz¸!Y[y5Y¸J^]ofÃFy]gsjfq}z.\@g·k
F^wF^]omqJov\0^:xÄ¢XYle!efjvh[gsjfq}zeÂRhljm^ef\%gJojmq&nD^jvom®z[^jfe!!Yl^]of^g@n ^]jfof®zl^]jeh[ef^]xq}ojfYl^
\%qlx[hlgVo)efkRz}jvYl^]efe)qVg0yqJz[y]h[ovom^:zJj¡emklefjm^]\ !Y[^6V^]ofFygVjmqJz@e)wF^]omqJov\%^]xqJzjfeefjfgVjm^auJovgVw[YÄ
z¸q}ofxl^:ojmq&q}ljfgVz¸g%qly]gs®xl^:efy]omwljfq}zqV jvYl^y5Y[gJzluV^:eqsHyqJzluJh[ovgsjfq}z[eqJz[^\%g·kyqJzemxl^]o
\%qlxl^]z[uLjfY[^)yqJz}jfofqV}gVhljfqJ\@gsjfqJz6jfef^FgVe g©<efg·k6qJz[^¤ efgs^·¯BnD^jvomlzl^]j®jvY}heq}ljfgVz[zluag!j )qs¤S^]V^]
efjfovgsjfÃF^]x¸nD^jvom zl^j]¾}jfovgsjfÃ^:x¸nD^jfofz[^jfe: < gJom^ef^Ó¤S\%qlxlkRzluzl^jve!!Ylq}em^w[gJy^]e$q
aa q
\@g·k>F^@uVV^]z°z£gVz°qJovxl^]o6evh[y5Y>jvY[gsj6jvYl^%½qof^gsjmqJz°zefy]omwljmqJzeqV¡jvYl^&gVovye6yq}z[zl^]yjm^:x>jmq
w[gJy^ q,rDz}VqVV^aqJz[kjfYl^wlgVy^]e q y
©Y ¯¡!Y[y5Y.gVw[wF^]gJoemjvomyjfk.^qJof^ q,rt¡XYle\%^:gVz[ejvY[gsj
jvYl^jvofgJz[et^:omj\@gsjvomiqVDg&efjfovgsjfÃF^]x.nD^jfofz[^jeLg@q¡^:o¡jvomgVz[uJhlgVo\@gsjvomijfY£_yq}^Iy^]z}jfe
q}z¸jfYl^0xlgVuVq}z[gs< emjvofgVjm^]x¸nD^]jfofzl^]jygJz±^}^)^]x±gJe!jvYl^ygJefy]gVxl^:x¸yqJ\@wFqJefjfq}z¸qsHnD^jvom
z[^jfe]Á®gJz[x°gJyjfhgsk±jvYl^&\%gJof¨}zluu}ofgJw[Y±qV¡gefjfovgsjfÃF^]x>nD^]jfofDz[^j6eajvYl^&ygVevygJxl^]x°yqJ\@wFqJefjfq}z
qVpjfY[^@\@gJof¨}zluu}ofgJw[Y[eaqspnD^]jfof¢zl^jve j6gVe6evYlq!z>z: <¢jvY[gsj6emjvofgVjm^]xµnD^jvomHzl^]jfe\@g·k>^
efklz}jfYl^:em¦^:x±ofqJ\§jfY[^o\%gJof¨}zluu}ofgJw[Y°hemzlu.jfYl^&of^uVqJz>jm^]y5YzlÂRhl^J0eagVo6gVeaV^:omFy]gsjmqJz>e
yqJz[y^]ovzl^]x±Y[q¡^]V^]oLemjvofgVjm^]x±nD^]jfof zl^]jfeaefhl²B^:o!ofqJ\ÆjfY[^0evgV\%^\%jfgVjmqJz[eagVejfYl^0!YlqV^0ygJefe
qV ef^Ó¤S\%qlxlkRzlu&nD^]jfof'zl^jve
z±g&w[of^RqJh[eefjfhxlk :]%<®)^Y[g·J^z}jfofqlx[h[y^]x¸g&ygVeveqsHYluJY.^]V^]'nD^jfofz[^jfe]«y]gs^:x.of^]yqJzR¤
FuJh[ovgVl^zl^]jfe]«jfYgsjLy]gVz±xlklz[gJ\0ygVk\%qlxlkjvYl^o!q!z±efjfovh[yjfh[of^}k.of^!ofjfz[uemq}\0^qVHjfYl^]o
yqJ\@wFqJzl^:zJjve¡ om^:yq}zRuJhofgJl^anD^jvom®z[^j!e!g@nD^jvom zl^jjfY¸qlygsemjvofh[yjfh[ovgs'\%qlxlkRzluofhl^]e
wF^]omqJov\%z[ujfYl^Lof^]w[gJy^]\%^:zJjDqVPq}zl^qsÄjfe¡efh[zl^jvep}k0gJzlqVjvYl^]o¢evh[[z[^jHXYl^LjmqJ¨V^]z[eDz&gxl^]^]jm^:x
w[gJy^gVof^6jfovgVz[em^]of^]xjmqg@yof^]gVjm^]xqJz[^V¢XYl^:em^zl^]jfe)^]of^h[em^:xq}o\%qRx[^zluxlklz[gJ\0y6y5Y[gVz[uV^]e
jfY[z¸)qJov¨J½qOefklemjf^]\@e!gVeLz :_V_.<< j!gVe!evYlq!z.jfYgsjFqJhz[xl^]xzl^]eveqs¢gof^]yqJzRFuJh[ovgVl^zl^j
y]gVz³F^>xl^]yxl^:x }kÀyq}z[efjfovh[yjfzlu¥g¥ef\@wl^]xÀqJov\ qVgJofw³gJz[x Ô>^]oe&yqV^]ovgV[j k¥jvom^]^V«
Y[q¡^]V^]o¡jfY[e!yqJz[efjfovh[yjmqJz.xlx¸zlqJj!gsq+jmqxl^:yxl^6!Yl^jvYl^]o!g%uJJ^]z.wlgJy^6qs jfYl^0zl^jeq}h[zR¤
x[^]xÄLXY[^jm^:y5Y[zlÂRhl^0h[ef^]x±}k¸gVz±xl^:ogsemj:;<q}o!V^:omkRz[uemq}h[z[x[zl^:efeLqs¢)qJov¨J½qÒz[^jfeygJz
F^%uV^]z[^]ovgs¦]^]x±jfqof^]yq}zRu}h[ofgJl^zl^jveÅDz[gsk>gjfovgVzemgsjfq}z±qs¡g.of^]yq}zRu}h[ofgJl^zl^j6zJjfqgJz
^:ÂRhlgV^:zJj!ef^Ó¤ \0qlxlkRz[uzl^j!gVeLgsemq&w[of^]ef^]z}jm^:xÄ¡XY[^ygVeveqs¢of^]yq}zRu}h[ofgJl^azl^]jfeLjfYl^:om^qJof^
gJw[wF^]gVoveHgVeHgevh[BygVeveDqsÄem^]ÃÓ¤ \%qlxlÃkRzluzl^]jfeHq}oD!Yly5Y%FqJhz[xl^]xzl^]eve¢ygJz@^!xl^:yxl^]x' q¡^]V^:o
jvYleLjvofgJz[emgsjfq}z¸h[em^:e!^:gsjvh[om^:e!¨V^of^]ef^jgJofy]e!Yl^:om^:gVeLFqJhz[xl^]xzl^]eve!qV¢jfYl^%ygVeve!qs¢nD^]jfof zl^]jfe
jfYom^:em^]j¡gVovye¢e)h[z[xl^:yx[gV[^JDXY[e)efh[uVuV^:emjveHjfYgsjgem\@wl^]o¡jfovgVz[efgVjmqJz@\%u}Y}j¡F^awFqJeveml^Lgsj
^]gJemj)q}ow[gVofjmyhlgVoevh[BygVevem^:eqs of^]yqJzRFuJh[ovgVl^6zl^jve
z jfY[e&efjfh[x[k´¡^±of^]efjfofyj0q}h[o@gsjfjm^]z}jfq}z¶jfq£jvYl^±efhFygJefe@qVaof^]yq}zRu}h[ofgJl^zl^jve«)jm^:of\%^:x
of^J^]oveml^V«s!Y[qJef^!emjvofh[yjfh[of^L\%qlxlk}zluovhl^]e¢gJom^!qJov\%gVkz}V^:ofef[^JXYlepgJefevh[\@wljmqJz@epÂRhljm^
zgsjfhofgV¡efz[y^jfY[^efkRefjm^:\ jvY[gsj0¡^z}jm^:z[x¥jfqµ\%qlxl^¦]^e0evh[w[wFqJef^]x¹jfq°ofhz¹qJof^J^]ogJz[x¹jfYRh[e
evYlq}hlx z[qVjY[g·J^>xl^u}ofgJxl^]x³F^]Y[g·RqJh[o]¾Rh[y5Y g´z[^j\@g·k³^°}^)^]x gJejvYl^µy]gVevygVx[^]x³yq}\¤
wFqJefjmqJz¸qs¢gJz±gVhljfqJ\@gsjfqJz¸jfY±gw[gJofgJ\%^jfofy6n ^]jfof z[^j«B<^J!gVeLgJz W'ºYX[ZD«jvY}heLªqJhz[xl^]xzl^]eve«
bL^]gVy5YgVlj k6gVz[x®V^]z[^]evegJom^px[^]yx[gJl^¡qJo of^V^:ofefl^¡om^:yqJzluJh[ovgV[^¢zl^]j ÅDz[gVkh[z[x[^]oDemq}\%^
gJx[xljmqJz[gVlgVevefh[\@wljfq}zgaom^]V^:ofef[^)om^:yqJzluJh[ovgV[^pz[^jDeHevYlq!z^]ÂRhl·gV^:z}jjfq6gaefjfovgsjm^:xnD^jvom
z[^j
XYl^6of^]\@gsz[xl^:o¢qs'jvYl^6w[gVwF^]o¡e¡qJofuJgJzl¦^]x&gJeHqJq!e z.¾R^]yjfq}z;)^Lz}jfofqlx[h[y^jfYl^6\%qlxl^
qVMU+!&X!&T"!Q MMYV1D.!Q l!H©W'ºMXHZ®¯5Ñ£^¡evYlq¹jfYgsjDgVz}k W'ºMXHZ&\@g·k6^gVevefqRygVjm^:xjfY
efqJ\%^@)^]gV¨}k±^]ÂRhlgs^]z}j,2.!-KU+1=1 !5 N#,%!-. > ! #,!-!-0© W»:»:¯agVz[x£jfYgsjyq}z[ef^]ÂRhl^]z}jfk
w[gJy^¤ FqJh[z[x[^]x[zl^:efe]«lom^:gVy5Y[gJlj kV«Rxl^]gJxlqRy5¨&gJz[xV^:zl^]evegVof^axl^:yx[gV[^6w[ofqJwF^]ofjm^]e)qsWĺMXHZH z
¾R^]yjfq}z{)^pom^:ygVsjvYl^¡x[^FzljmqJzqsL224O= =[MZ l!ÄgVzxyqJzemxl^]o®jve®evh[BygVeve'qs+.6.2 [MZ
+2VEO F[.MYsl.!5q}o!Yly5Y g¹h[z[xgV\%^]z}jfgVawomq}w^:omj kÀe^]efjfgV[efY[^]xÄ XYle&hz[x[gV\%^:zJjvgs
womq}w^:omj k@eh[em^:xz±¾}^]yjmqJz jfq@womqJ^LjfYgsjjfYl^\@gVov¨}z[uuJovgVwYqsDg0of^J^]oveml^of^]yqJzRu}h[ovgVl^
z[^jHe¢^]ÂRhlgs^]z}jHjmqjvYl^L\@gVov¨}z[uau}ofgJw[Y0qsÄemq}\0^W'ºMXHZDDXYRh[e¢wlgVy^¤ q}h[z[xl^:x[zl^:efe]«Jof^]gJy5Y[gVlj kJ«
x[^]gVx[qly5¨°gJz[x¥J^]zl^:efegVof^gsemq>x[^]yx[gJl^.w[ofqJwF^]ofjm^]eqVLom^]V^]ovefl^of^]yq}zRu}h[ofgJl^@z[^jfe]°XYl^
hz[x[gV\%^:zJjvgsw[ofqJwF^]ofj kµqVLom^]V^]ovefl^of^]yq}zRu}h[ofgJl^zl^jvee0hem^:x´zÀ¾}^]yjmqJz]>jmqµ^]efjfgV[efY¥g
jvofgJz[efgVjmqJzqsHemq}\0^of^J^]oveml^aof^]yqJzRFuJh[ovgVl^zl^jvezJjfqemjvofgVjm^]x.nD^jvomzl^jve z>¾}^]yjmqJzT^@¡^
uJJ^pefqJ\%^¢^i[gJ\%w[^:e'qsyqJz[y]h[ovom^:zJjemklefjm^]\@eefh[lrt^]yjjmqaxlklz[gV\%y¢y5Y[gVz[uV^]e]®XYl^]kgVof^pom^:efwF^]yjmV^]k
\%qlxl^]¦^:x.hemzluof^V^:ofefl^6of^]yq}zRu}h[ofgJl^azl^]jfe]«nD^jvomzl^jve«BgVz[x¸efjfovgsjm^:xnD^]jfof®zl^jve!evYlqz[u
jvY[gsj%jfY[^.y5YlqJy^qVgµwgVofjmyhlgVo0\0qlxl^]\h[y5YÀxl^]wF^]z[xe0q}z´jvYl^.zgsjfhom^qsLjvYl^.womq}l^:\ jmq¹^
\%qlxl^]¦^:xÄ
&"06"0 0" //-+)" )"
z´jfYle¾}^]yjmqJz¥jvYl^.z[qVjmqJz´qsLLh[jmqJ\@gVjmqJz ¡qJz}jfofqV^:x¥nD^jvom)ÐL^]j©< ¡n¢Ð6¯e%z}jfofqRxh[y^:xÄ£
)^]gJ¨@^]ÂRhlgs^]z[y^6F^j )^^:z ¡npÐe!gJz[x\H^:yjfqJoLxxljfq}z>¾}klemjf^]\@ejvY>¾}jfgVjm^]e6©5\ 6¾[¾ :Ã_ <¯¡e
z[xlygVjm^:x6omq}\+!Y[y5YjqVq!e®jfY[gVj®n¢gVy^¤ q}h[z[xl^:x[zl^]eve]«:bL^]gVy5YgVlj kV«:¬a^]gVx[qly5¨agVz[xJ^]zl^:efe
gJom^!x[^]yx[gJl^w[omq}w^:omjf^:eHqs' ¡n¢ÐaeDÑ£^Lz[xlygVjm^!zw[gJomjfy]hlgJoHgxl^FzljmqJz&qVPjvYl^LyqV^]ovgV[j k
jvom^]^6qsHgVz. ¡n¢ÐÇ!Yly5YejfY[^yqJhzJjf^]ovw[gVofj)qsDjfYl^yqV^]ovgV[j k@jvom^]^aqV jvYl^gVevemqlygVjm^]xs\Da¾[¾B
Ê
Î
l Ê
!Ê
¸Ê
U * G.!Q !Q S.!X !Q".!Q t a e a
e"!$# a e&%(' _a m (4v > ) e 1 T* > .1 +* ,!+O?" !- .!5 >..MZG.,!)
V&*V!Q 6%M{!-.G21P* X!&2 *MZ=2. S16%"!5 e"!$# ae&%(' _ c=eNf h jl,D L .&*2!5 6.MJ
!-X21/!$*, ..!X!5 JU8S1 *%!5.!G!Q JU
m ( n3jlp ! " !Q M,X 9
jW >?LMZ.!
` a ` c
jl-,)h t5ef
h jlLv[VL 6.)[.
`
+t/. vt{q
a
#v?}ge"!$# t{q
a
#v0. 1
`
t. v.tJq
a
#v?}~e&%('
_
t{q
a
#v 0.
W.&. nzjl,
#sn
1 qne21L!8*VG.!Q EL.!Q !+G,!8!& W.8 M{ AW !Q
S.!5 } te a a ` +t/. v a ` t/. v v S1=VU V1s[. .nTjl , PO? GV.MZ!5 L= 6% [.
m#$. Lm | qRn3e
t v mut{qvPw e"!$# t{q
a
#v .
t& v mi|5tJqv?}~mut{qv)e"!$# t{q
a
#v .TNe&%('
_
t{q
a
#v .
Ê Î Î À[ Î0Î ] Î ))Ê Ï !Ê ¸Ê U+ !-G!-iV"!Q MMYV1 !5 S.!
GR!5 *MZ } t
asa
vG> } t
aGa a
'C(4v8 G/O$, !& 1F.!- , 2!Q !&X!& > !
!HAWd!-!-
.! AW 6%"!5
!5 !Q 3 MZ!Q
f
f
1G " !Q M !-!- ' ( n
} t
a e aGa
e"!$#
a
e&%('
_a
m ( vX 8* G!5 !5 !> ! !G.XG.!+bW .6"!5G8!
!&X!&
c h jl ,
!-.G21T!"G!-!-241 W2!Q
6G! "!-.W.FVR[2.!Q>?2.
!d2,!5 M*!"!&!"d!&X!&#S1!/2,!5VMMZ21*!$!&!?* G!5 !5 !%# U+!5"MM{
2)[22!5"21s% !"?W. MJRAW! V"!Q MMYV1s[.!"!&X!&& G 9
bW' V !P* 2/t5m
a
'%v n3jlp f( S18 !d!5 !Q 3 MZ!Q [2!5>?2TX 9 / = 6% [
tQm
a
'%v*)h tQm |a ' |v +-,
.
+0/1 m#
t'4v2Lm |
j.! G 9 X= 2* !X!&X!&
1F.S!-V1E43657
F[.!- SV1T[ .!5 !5 !5!Q "2 !Q
V.MZ!5 !-G!.! AW G 9 2=2=[MZ W2 ! " !Q MX 9 tQm ( a
'C(4v
zµgJhljmq}\@gsjmq}zµyqJz}jfofqV^]x>nD^]jfof¢zl^j6jfY[^]z¹yq}z[emefjfeaqsj ¡q¸efkRefjm^:\@eyqJ\@wFqJef^]x°z¹ygJefy]gVxl^;gJz
gJhljmq}\@gsjmq}z8+gVzx&gw[gVovgV\%^]jfofynD^jvomBzl^j¥DXYl^Lz}jm^]omgVy^!^]j ¡^]^]z&jvYl^!j )qefkRefjm^:\@e¢e¢uVV^:z
}kjfYl^efjfgVjm^^:z[yqlxlzlu@h[zyjmqJz¸jvY[gsj\%g·k.^0w[om^:em^:z}jm^]x.z±\@gsjfofiqJov\
c9zf) h jlѵ^
gJ[[of^Rgsjm^ :365ÒjmqI:3&3!Yl^:z
egR!5 64 M[efjfgVjm^6^]zyqlxlzlu«l<^JD!Yl^]z; } ÇgJz[x
e
jvYl^%xl^:z}jmj k>\%gVjfofÃiÄLh[jmqJ\@gVjmqJz ¡qJz}jfofqV^]x¸nD^jvomHzl^]jfe6gVof^J^]ofk.ef\%gJoLjfqs\H^:yjfqJoaLx[xljmqJz
¾RkRefjm^:\jfY>¾}jfgVjm^:e
Ê Î=< ?>Ê V Î ÏÏ ÎA@'Ë Ê Í CB @ ][ Ê D> @'@ U ,2!& UL1F1 !Q 8#,%0
!- > !N#,!-!-.stE a !GF ' a?H v32 !5RAWTXO$, !&3 .,!&213= 2*7I } tJE a -!KF '%v "!-&F
L w 1) X* H c !GF 'ThNMMPO Ud#,# sD "!-21s= 2*MZ=[2MMZ21 *MMQO U
G 9 s /* 8t5m a2R vXF1=XAW6V!- > !3S"0-S&F!5 6"!Q .mon jlO S1s 6%!&VU
R
nE S S!-!Q 8TU-VXWZY\[
.
TU /VXW /YX2"?!!^]X B VSW2
R
!-
R | 1Bmi|,}~m H
t]v
"G 9 st5mi|
a?R
|v/ /. 1 !- [2 VVFV"=[MZ W2 G 9 st5m
a?R
v W_TU-VXWZY
ø
.
TU /VDW /Y+>
ø
. !"s @BVUF 6%RS1 !Q !5 6R.MZ TAWG!s MZ!Q DAWRS.0&!--*z 2=2=[ M{ !QT= 6.D[.7`
TUaVXWZY
.
TU
/
VbW
/Y c ] nd TU-VXWZY [
.
TU
/
VXW
/Y jW ! Ud#,#i2G e *=*21z> !gG
, !5 MHG 9 tQm (
a2R
( v ! G 9 3= * !"X *>RMZ=[2MMZ21 .s s!s!Q *,MZ.
TUaVXWZY([
.
TU
/
VbW
/
YX> TtQm
a?R
v!AS1 ! GtQmi|
a2R
|vX# sG 9 2=2F[.MZW2 !R " !Q M
G 9
¡^]gJomk°gJz¥ ¡n¢Ðf } t
aga
v!Y[^]of^I eg3*, 6nD^]jfof¡zl^]je^]ÂRhlgs^]z}jjmq±jvYl^ \Da¾[¾
ih} tE
a
-!KF '
a?H
vL!Y[qJef^V^:omjfy^]eagVof^jvYl^&emjvgsjm^:eaqs$KjE }k gJz[x>q}zl^%YgVeaqJzl^%gVovyzl !KF '
ofqJ\ 'jmq '4|ÄgVF^^:x¸JkjfYl^J^]yjfqJomE t/#
a
'%vPnlMM uVV^:z}k
Et#
a
'%vtv$}ne&%('
_
t{qr
a
#%v e"!$# t{q,r
a
#vXo"
t/'%v
,
,
,
,
,
ÅDu}h[of^ ;HDomq}\\%wh[om^zl^]jjmqw[hom^zl^]j
!Y[^]of^ei} q
aa
q !epefqJ\%^[il^]x@^:zRh[\%^]ovgsjmqJz0qsÄjvYl^Lef^j¢qVÄw[gJy^]e¢qs¥DLyjvh[gskj gVzx
ihY[g·V^6jvYl^evgV\%^\@gVov¨Jzlu}e!gVz[x7TUaV + Y ,
.
TU /V
+0/
Ypz¸jvYl^\@gVov¨}zlu&u}ofgJw[Yqs âgVzxq}zlk
TUaV
+
Y!
,
.
TU /V
+g/
Y¢z.jfYl^\@gVov¨}z[u0u}ofgJw[YqV ihV
¾Rhw[wq}em^)jfYgsjDzl^j e®\@w[h[of^¡!Y[y5Y0\0^:gVz[ejfYgsjDqJjfYe"!$# t{q
a
#v
t/'%vgVz[xe&%('
_
tJq
a
#%v
t'4v
gJom^zlq}z¸¦^:omq%qJoLemq}\0^w[gJy^Bq®«F^J^]z}j-#gJz[x±emjvgsjf^ 'V«FqVjvYl^]ofef^emjvgsjf^]x¸jfY[^yq}zRuJhofgVjmqJzqs
gJefefqlygsjf^]x¸jfY£emjvgsjm^ '© 5 "% ¯Le6gJz±\@w[hom^%nD^jfofHzl^j]ÐLq q}zl^0y]gVz°^]gVefk¸jfovgVzetq}of\§gVz}k
nD^]jfof}zl^]j®z}jmqgw[h[of^pnD^jvomRzl^]j}kefwljmjmzlujve®^]V^]z}jve XYlejfovgVzetq}of\@gsjfq}za!Yly5Yeh[emjvofgVjm^:x
z¹jfY[^^jqV)ÅDu ;¸yqJz[efemjvez¥evwljfjmzlu>^:gVy5Y£^J^]z}j #z}jmq>j )q±^J^]z}jfe]«®jvYl^#"fF^uVzlzlu±qs-#%$
x[^]zlqJjm^]x # J
«pgVz[x¶jfYl^&"m^]z[x¶qs #%$xl^:zlqVjf^]x #('¡ pgVy5Y¶zw[hlj@wlgJy^.qsL^]V^:zJj #¸z´jfY[^.q}omuVz[gV
z[^jegVz£z[w[hljw[gJy^@qs-#
J
jfY¹jvYl^evgV\%^@¡^]u}YJj].¾}\%gVofk°^]gVy5YµqJh[jfw[hlj0wlgJy^&qV)^]V^]z}j&#
zµjfYl^@qJofuVz[gsDzl^j6e6gVzµqJhljvw[hljwlgVy^%qs #)'ÀjfYµjfYl^&evgV\%^0)^uJY}j]ÅDz[gVk>)^%Yg·V^%zµjfYl^
evwlj6zl^]jagJz>^iljvofgwlgJy^qJo^]gVy5Y>^V^:z}jLqs¡jfYl^%qJofuJzgsDzl^j%©UF^]gJomzluq}oef\%w[yj k±jfYl^@z[gJ\0^
qVjfY[gVj^J^]z}jê¯6jfYle0w[gJy^egJz¹qJhljvw[hlj0w[gJy^&q}o # J
gVz[x¥gJz¹zw[hlj0w[gJy^&q}o #)'+jfY´efz[uV^
)^uJY}jve«·jfeDyq}zJjf^]z}j uVV^]e®jfYl^zRh[\0^:o®qVzemjvgVz[y^]eqs^]V^]z}j #)jfY[gVjDgJom^¡yh[ovom^:z}jmka^il^]yh[jm^]x' XYl^
evwljzl^]juJJ^]e6gFzl^]o6xl^:efy]omwljfq}z>qs¡jfYl^&w[Yl^:zlqJ\%^:zlqJzµ^]zlu¸\%qlxl^¦]^]xµzµjfYgsj6Jk>om^:gV¨}z[u
jvYl^&gsjfqJ\%yj k±qV¡^]V^]z}jvejgsq!eq}oagJz°^i[wlyjxl^]evyofwljmqJz°qs¡jvYl^&yqV¤<qlyy]h[ovom^:z[y^0qs¡^]V^:zJjve
q¡^]V^:oâq}zl^eLzlqJj!z}jf^]of^]efjm^]x¸z±jvYl^z[xl^]wF^]zxl^]z[y^qVD^]V^:zJjve«F!Yly5Y±eLjfYl^0ygVef^!Yl^:z¸qJzl^
gVz}jjmq&y5Yl^:y5¨w[ofqJwF^]ofjm^]e¨V^om^:gVy5Y[gJlj kV«lq}h[z[xl^:x[zl^:efe]«[J^]zl^:efeq}oxl^]gJxlqly5¨B«RjfYl^:z¸jfYl^evwlj
z[^je^:Â}h[gs^]z}jjfq>jfY[^qJofuJzgspzl^]j©Uef^^ :{%<¯ê+*az[^\@g·k°jfY[z[¨£jfq°gVw[w[kµjfYleq}w^:ofgVjmqJz°qJo
^:gVy5Y±yqJzRu}h[ovgsjmqJz.qV gVz[x±jfqh[ef^jvYl^0yqJz[efjfovh[yjfq}z¸uVV^:z.gJqJ^qJow[h[of^ ¡n¢Ð0Mq¡^]V^:o
jvYl^gsjfqJ\%yj k±qs^V^:z}jfe6om^:ÂRhlof^%jfY[gVj^]gVy5Y°Fofz[uqVgJz°^]V^]z}j6jfgJ¨s^:eaw[gJy^@z¹efqJ\%^@w[gVofjmyhlgVo
yqJzRFuJh[ovgsjfq}zqV jvYl^0efklemjf^]\.«gVzx¸jfYleLw[ofqJwF^]ofj keLzlqJjLw[of^]ef^]ofV^:x}kevwljfjmzluqVD^]V^:zJjve«Femz[y^
#)'µy]gVz&qly]yh[o¡zgxl²P^]of^]z}j)yqJzRFuJh[ovgsjfq}z0jvY[gVzjfYl^6yq}ofof^]evwFqJz[xlzlu # J zq}ofxl^:o¢jfq0^:efy]gVwF^LjfY[e
womq}l^:\$)^efYgs¢^]zRq}ofy^&^J^]z}j # J
jfq±qRy]yh[o\@\%^]xlgsjf^k£gsjm^:o #)'p z¹jvYle)g·k°¡^&jfqVjfgVk
qRqJef^gVz}kzRq}of\@gVjmqJz±gVFqJh[jLjfY[^0yq}z[yhofof^]z[ykqV¢^V^:z}jfe]«F[hljagVeL¡^%gsom^:gVxlk.\0^:z}jmqJz[zl^:x±jfY[e
YgVezlq°^²P^]yjqJz¹jfY[^w[ofqJwF^]ofjm^]e)^gVof^&z}jf^]of^]efjm^]x£zıXYRh[e^:gVy5Y¹ ¡n¢Ð } t
asa ve
gJefefqlygsjf^]x¸jfY°g\ 6¾[¾8ih} tE
a !KF ' aDH
vLjvY°yq}\@wq}zl^]z}jfeagVeLqVq!e+\H^]ofjmy^]eagVof^^]jvYl^]o
efjfgVjm^:eqsjfY[^ ¡n¢Ð q}ow[gVove t/'
a
#%v\%gJxl^qVg±efjfgVjm^gJz[x¹qs!gJz¹^V^:z}j^]z[gJl^:x¹z¹jvYleefjfgsjf^
E } -,+t ' a
#vBnlzf
/.
c
'4| n +a,
. + /
}¡ÅFqJo!^:gVy5Y.jfovgVzemjmqJz +-,
. + /
)^Y[g·J^j ¡qgJofy]ez
jvYl^ \Da¾[¾MFqJzl^aofqJ\ V^]ofjm^i 'jfq&V^:omjf^i t' a
#v)gJ^]^]x;E t/#
J a
'%vgVz[x¸gJzlqVjvYl^]oq}zl^aomq}\ V^:omjf^i
t' a
#vjfq°V^:omjf^i'E|¡gVF^^:x*E t/#('
a
'%v!Yl^:om^E t/#
J a
'%vgVzxaE t#)'
a
'%vgVof^jvYl^J^]yjfqJoveqVjMM J10
uJJ^]zJk
E t/#
J a '%v.tvH}
e"!$# t{q r a #v t'%v
gVz[x #d} #%r
'
gVz[x # } #%r
'
gVzx
E t/#)'
a
'%v.tv?}
e&%('
_
tJq,r
a
#v
t/'%v Ã
à gVzx #/} #%r
'
à gVzx # } #%r
'
!Y[^]of^se } q
a.a
q ±gVz[x
} #
aEa
# 0 ±gVof^efqJ\%^iR^:x´^:z}h\0^:ofgVjmqJz[eqsLjvYl^±em^]j0qV
w[gJy^]e&gJz[x ^J^]z}jfe@qVjfY[^° ¡n¢Ð¡XYl^]z jfY[^°\@gVov¨Jzlu}e0qV gVof^±gsemq¥\@gVov¨}z[uJe%qsmih¸gVzx
TUaV + Y ,
.
TU /V + /
Y'z%jfY[^!\%gJof¨}zluauJovgVw[Yqs PgJz[x%qJzlkB)^Y[g·V^)jfYl^!ef^]ÂRhl^:z[y^qVFjfovgVzemjmqJz[e
TUaV
+ Y ,
.
TU
//
V + Y ,
.
TU /V+ /
Y)z>jvYl^&\@gVov¨Jzluu}ofgJw[Y±qV'ih!Yl^]of^Xmi||ceuh jl
Ô°qJof^qV^:o TUaV
+
Y!
,
.
TU
//
V+
Y¢ejvYl^qJz[kjfovgVz[efjfq}z^]gJxlzlu&jmq\@gVov¨}z[uTtQmi||), #)
a
'%v
gJz[xATU
//
V + Y ,
.
TU /V + /
YLejvYl^q}zlkµjvofgJz[emjmqJzµofqJ\jfYle\@gJof¨}zlu>^:ygJh[em^ E t#
J a
'4v
!Y[y5Y£gVx[xµqJz[^&jmqJ¨V^]z°jmq>wlgVy^ #gVz[x E t/#('
a
'%va!Yly5Yµof^]\%qV^%qJz[^%jfqJ¨V^]z°omq}\jfYlewlgVy^&gVof^
jvYl^%qJzlk¸V^]yjmq}ofeLjfY[gVja\%qlxlk±jfYl^%gshl^qV¡wlgVy^2#} ¡¡^%om^:emjvomyjagsjmjf^]z}jmqJz>jmqjvYl^@\%gJof¨}zluJe
of^]gJy5Y[gV[^DofqJ\Òemq}\%^¢z[jfgV}\@gVov¨}z[ut5m ( a
'C(4v n3jl p fm.j®qVq!e®jfY[gVj®jfY[^¡of^]gVy5YgVl^H\%gJof¨}zluJe
qV ihgJom^¡jfYl^of^]gVy5YgVl^¡\@gVov¨}z[uJeqs jmqJuV^jvYl^]o jfY%emq}\%^)\@gVov¨}z[uLqsBjfYl^)q}of\ tQmi||, #)
a
'%v
!Y[^]of^ m || c e h jl«"#in
«6gVz[x' n XYRh[e.jvYl^¥ ¡n¢Ð gVz[x+jve.gJefefqlygsjf^]xD\Da¾[¾
gJom^&^:ÂRhlgV^:zJj0jvY´of^]evw^:yjjfq°jfY[^qVqzluµw[omq}w^:omjf^:e%n¢gVy^¤Sª)q}h[z[xl^:x[zl^:efe]«bL^]gVy5YgVlj kV«
¬a^]gJxlqRy5¨gVz[x®V^:zl^]eve«[efz[y^6jfY[^]ef^6womq}w^:omjf^:egVof^6x[^]yx[gJl^aq}o \ 6¾[¾°©Uef^^ :_ <¯ê
ÎpÎ Î BMZ=20 1=21.V
+VFV"=[ M{ !Q
2=1MZE29 1$ 6%.2/V1=2 1==[MZ*, 0
*!5 .$W. U$l
z@w[gJomjfy]hlgVo qJzl^y]gVz%xl^]yxl^!w[gJy^q}h[z[xl^:x[zl^:efeDqVPgJz0 ¡n¢Ð¿}k%yqJzemjvofh[yjmzluajfYl^!yqV^]ovgV[j k
jvom^]^qsjfe0gVevemqlygsjf^]x)\Da¾[¾B Ñ£^ygJz¥em\@wlÃk¹jfY[^yq}z[emjvofhyjmqJz¹qVjfYleyqV^]ovgV[j k°jfof^^}k
gJ\@gsuJgV\@gVjmzlu0jvYl^evh[yy^]evemV^gJofy]egVevemqlygVjm^]xjfYlEt#
J a
'%vgVzxE t#)'
a
'%v5)ѵ^yqJz[yhxl^jfY[e
ef^]yjmqJz.}kg@xl^]evyofw[jmqJzqsDjfYle!yqJ^]ovgVlj k@jfof^^J
Ñ£^xl^Bzl^gVzqJovxl^]oof^gsjfq}zF^j )^^:z.\@gJof¨}zluJe)qsDgVz. ¡n¢Ð}k^jfjmzlu
t5m
a
'4vit5m
|a ' |v t'+} ' |v 1 t
qTnReumut{qSvzm
|
t{qv v
¾R\%gJojmq&!Y[gVj)e!xlq}zl^aqJonD^jvomzl^jve«g0Fz[jf^gVw[womq·il\%gVjmqJz&qV jvYl^of^]gVy5YgVlj k&jfof^^y]gs^:x
jvYl^°yqV^]ovgV[j k¶jfof^^>ygJz ^µyqJzemjvofh[yjm^:xÄ3ÅqJojfY[gVjw[h[ovwFqJef^>g´zl^§gshl^>xl^:zlqVjf^]x gVzx
of^]wom^:em^:zJjfz[u "mgJz>gVovljfovgVofkgVofuV^ $z}jm^]uV^]oegJx[xl^]x>jmq.jfYl^@em^]jLqVPjl qVpzlqJzl¤Szl^]uJgVjmV^z}jm^uJ^]oveÁ
jfYÀjfY[^±qJovxl^]o%om^]gVjmqJz gVz[x¶jfYl^>gJx[xljmqJz gVz[x evh[[efjfovgVyjfq}z´q}w^:ofgVjmqJz´^iljm^]zxl^]x }k´^]jmjfzlu
n3jl a 3} } N}
a
) }
a
gVzx R!Àe!h[z[xl^Fzl^:xÄ
Ê Î#" %$.Ê Ê )'&VÊ Ï À[)( /+* $ U F MJ -,E21 X 9 AWG U$l XX*
t/.m a
'%v/>". 0.m GG2*1.m ce hkjl , s1 ' n X!-!-