Formal development of Java based Web parallel applications

(1)

Proceedings Chapter

Reference

Formal development of Java based Web parallel applications

DI MARZO SERUGENDO, Giovanna, GUELFI, Nicolas

Abstract

The Java object oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a rapid penetration of Java programs into commercial products is that software engineers do not have any methodology and have to develop complex parallel applications. We present a formal development methodology based on the stepwise refinement of CO-OPN/2 formal specifications, using a real Web parallel application. Starting from a centralized view, we present the following refinement steps: data distribution, behavior distribution, communication layer, and Java program. During the whole refinement process, we study the evolution and the verification of one specific property.

DI MARZO SERUGENDO, Giovanna, GUELFI, Nicolas. Formal development of Java based Web parallel applications. In: Institute of Electrical and Electronics Engineers. Proceedings of the 31st Hawaii International Conference on System Sciences - HICCS'98 . Washington : IEEE Computer Society, 1998. p. 604-613

DOI : 10.1109/HICSS.1998.649261

Available at:

http://archive-ouverte.unige.ch/unige:48308

Disclaimer: layout of this document may differ from the published version.

1 / 1

(2)

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

0)132547698$8$6;:)1=<>69?%@A2BDCA?%EGF7C58$H$2JILKNM OP1RQA29SR67TU0VE$C5SXWYM

I[Z]\_^a`'\_b$ced7fhgjihclkemonaprqsfhb_fhd7t Mhu-quwvyxP^a`{z$|cRiji]}~fjfhgtY^%b/iAkeclk/kyf

z$|clkfhghRtb_ napYfjbnRnm[`z$|{ckR[fhghRtb_

ctgj[n/scyfj Gfhsscyfj

o5A$9

h¡%¢s£a¤¥l¤)¦§©¨¢Rª«¬X¦®¯¢°%«±¢3²-³h®X¦R´L®µ¤L¶Y¶·¯¸°L´º¹»¤L°´L¼a¤l´¢¡%¤y½

§R¢3¢°«»¡+¢/½¼a§©¨¢Rª«[¦X¾/¤L°¯¶¿³À¦®«±¤L°%«[¯°%¥¦y¹Á¥l¢¶Y¢l°%«+¾®X¦¶s³h®X¦Â¬

´L®µ¤L¶Y¶·¢®R½¤L°%²)«Á¡%¢¯°+²L¼½«©®ÃyÄÆÅ9½±³%¢Rªl¯¤Â¹¹»Ã¾¦L®¤³L³¹Á¯ªR¤y¬

«©¯¸¦L°a½·®µ¢¹Á¤L«±¢R²~«±¦~«Á¡%¢Ç~¢§ÄÈ h¡+¢J³É®X¦§¹Á¢l¶r¦X¾G½¼aª3¡¤®X¤³É¯²

³À¢°%¢«©®µ¤L«±¯¦L°¦µ¾£a¤L¥¤J³É®µ¦3´®X¤¶$½¯°%«±¦_ªR¦L¶Y¶·¢®Xª¯¤y¹Â³É®X¦²L¼aª«½

¯Á½~«Á¡%¤L«Ê½¦µ¾«±Ë¤L®µ¢È¢°L´¯°%¢R¢®R½È²¦°%¦L«¡+¤L¥¢w¤L°+Ã{¶Y¢l«Á¡%¦²L¦Â¹Ì¬

¦3´Ã¤L°%²¡%¤¥l¢=«©¦²L¢¥l¢e¹»¦³ÍªR¦L¶¿³¹»¢RÎY³%¤L®µ¤y¹¹Á¢¹[¤R³³¹»¯¸ª3¤«©¯¸¦L°a½Ä

Ï$¢®X¢eÐÈË¢Ñ³É®µ¢½¢°%«~¤¾¦L®e¶·¤Â¹Ê²¢l¥¢e¹»¦R³h¶·¢°%«¶Y¢l«Á¡%¦²L¦Â¹»¦R´LÃ

§R¤y½¢R²Í¦°)«»¡+¢½«©¢Ò³ÉË¯Ó½¢®X¢±Ô°%¢¶Y¢l°%«=¦X¾ÕÖ9¬Ö×Ø¿Ù%Úw¾¦L®¬

¶·¤Â¹½±³%¢3ª¯ÔªR¤«©¯¦°a½RÐ~¼½¯¸°L´¤®µ¢3¤Â¹ÈÇ=¢l§=³%¤L®µ¤y¹¹Á¢¹¤³L³¹Á¯ªR¤y¬

«©¯¸¦L°%ÄÛj«©¤®«©¯¸°L´$¾®µ¦L¶¤wªR¢°%«±®X¤y¹Á¯ÌÜ¢R²È¥¯¢Ë[ÐË¢J³h®X¢e½¢°%«J«»¡+¢

¾¦y¹¸¹»¦LËÝ¯°L´®X¢±Ô°%¢¶Y¢l°%«9½«±¢Þ³j½ß_²L¤L«±¤w²¯Á½«©®¯¸§l¼a«±¯¦L°aÐ9§3¢R¡%¤¥l¯¸¦L®

²L¯Á½«±®¯§¼a«©¯¦°aÐª3¦¶·¶Y¼a°%¯ªR¤L«±¯¦°¹»¤Ãy¢l®Ðà¤°%²w£a¤L¥¤Y³É®µ¦3´®X¤¶·Ä

á$¼a®¯°´_«»¡+¢/ËA¡%¦Â¹»¢$®µ¢©Ô°+¢l¶Y¢l°+«%³h®X¦ªR¢½R½RÐË¢J½«±¼a²LÃY«»¡+¢/¢l¥¦y¬

¹»¼a«±¯¦L°w¤°%²«»¡+¢·¥¢®¯ÔªR¤L«±¯¦°È¦µ¾$¦L°+¢Y½©³%¢Rªl¯Ôª³h®X¦³À¢®«±ÃyÄ

âÑãä%å$æjçyèjéê9Û¦µ¾«±Ë¤L®µ¢7Å°L´¯°%¢R¢®¯°L´ÂÐ×¢«©®e¯%Ø$¢«½RÐëJ¹´¢e¬

§l®µ¤L¯ªYÛÂ³À¢Rª¯ÔªR¤L«±¯¦L°À½3Ð7ì¿¢©Ô°+¢l¶Y¢l°+«ÐYÕ¦L°%ª¼a®®X¢°%«¤L°+²~á$¯Á½R¬

«©®e¯§l¼a«±¢R²YÛÃ½«©¢¶$½RÐ7£a¤¥l¤ÂÐ·Ç~¢§lÄ

í·î ï5ð

Añ~òó~9ôeñ

ð

õö÷Löø»ùöúXûüeûýaþÈÿ+úú3ö~øÁý öyýöLû

I þjöyþ_øÁù

ø%û%ùµûYþ%û÷ûLÿ+ø»ùµþXúµø%þXûYöyÿ%ÿÁøÁülöÂþXøLý%ùy÷ûúAþ%û

û %ù"![ù$#±þ

öÂúXû_ûýøÁý%ûûúµø»ý{þµûü%%ý%ø& %ûù'(%ùXþjû

øÁýþµú %üeûøÁýLú%ûúYþù+ÿ%ÿ)úXþYþ%û=ù#©þ

öÂúXû(Áø*#©û_üaüÁû

#+LúYþ+ø»ù~öÂÿ%ÿÁøÁülöyþµøLý,ÈöyøÁý-%û %ø-ü=ÿÁû.aø»þ/0$#

ù%ü%wöyÿ+ÿÁø»üöyþXøý%ù7øÁù+ûDþ·þ%û/üLý+ü%úXúµûýaþ/ü=ÿ)ý%ûýaþXù

öyýþ%ûøÁúü Lú%øÁýöyþµøýÈö,Lúµø»þ1

2Þýþ%øÁùPÿöyÿjûú

û]öyÿ%ÿö'þLÿ 3/

ýûýLøÁý%ûûúµøÁý

~ûþ ,4#+úþ+û%û÷ûLÿ=ûýaþ5$#öÊõö÷Lö4öÂùXû û

687:9<;>="?+@BA<C+DFEGGHJILK)K:KNMO)P$Q$RB@BSTD$UV4@BWCTD$UXO)?T9>YUUV$@BW$AS9%ZC+D$U

[\%]:\

@B@ILW"CTU?TW

\

C+@B9<W

\

R7:9W"ZU?TUW$YU)9W^"="STC+U_`^"Y@BUW$YUSa%b

\

W"P

\

?+=dc%e

G$aEG<G>f"a>gh9W \ a [\%]:\ @B@MiD$@BS ] 9<?+jJD \ SQ,UUW4ST;9W$ST9?TUV; \ ?TCT@\ RBRB=

Q>='CTD$UkK:ST;$?+@BCXl 9W$Ai U?T_nmUS+U \ ?+Y/D'O:?+9%oTUYCXp%qq>fpsrTthUST@BAWZ9?

u\ RB@BV \ CT@B9W$vdwthUu\>x] @BCTDCTD$UyW \ W$Y@\ RSTP$;$;9<?+C9zZ{CTD$U}|N~K^4wL|Z*e

yYU~5UVU?\ RV$URLUV$P$Y \ CT@B9WUC5V$UR\ ^"Y@BUW$YU xa \ W$V'Q"=C+D$U^ ] @BSTS

\

CT@B9W

\

R^"Y@BUW$YU~$9P$W$V

\

CT@B9W5;$?T9%o+UYC5rT~$9?T_

\

R$4UCTD$9>V$SZ9<?7:9W"e

YP$?T?+UW$Y="v$M

ÿöÂú3öÁû9öyÿ%ÿÁøÁülöÂþXøLý

úµø»þµþXûýõ :#+LúYùLúXþ%jöyùXû<Lý

#+úö$aùXÿjûüø*ülöÂþXøLý+ù>h%û/ö$%÷LöÂýþRö$û$#AöJ#+LúÈöùµÿûeüø*3

üöyþXøýøÁù·þöyþYøÁþö

ùYöwÿ%úµûüøÁùXûùùµþXû%ûùµüúXøÁÿ%þµøLý

ý%ûeüûùXùRöyú

%ûý'ü<~ÿ»û<.]öyÿ%ÿÁøÁülöÂþXøLý%ùöÂúXû%û÷ûLÿjû

öÂýøÁù%ùXûz#+d#+Lú$÷ûúXø*üöyþXøýöyý÷Lö»øöÂþXøLýÿ%úXÿ:Lùµûù>

ûjö÷Lûü8LùXûeý)þ+ùXûþ+û34hk

M

+XLý+ü%úXúµûýaþ

JRûüeþJúXøÁûýaþµû5ûþµúXø:ûþµù89ùXÿjûüø*üöyþXøý'#+LúÈö$ÁøÁùB

%øÁü%søÁù(%û÷ûLÿjû{,%ú~þµûlö$Æöyý

%øÁü8ºÿ%úy÷aø%ûù

öyý #±ûlöyþ%úXûùö$öÂÿ%þXû<Íþ{þ%û{öÂÿ%ÿÁøÁülöyþµøý%ù·ö%úXûeùXùXû<

øÁýþ+ø»ùGÿöyÿjûú>0 Lúµû_ÿ%úXûeüøÁùXû !534hk

M

øÁýaþXû<Lú3öÂþXûù"!

øÁýöyý0Rûüeþ/3/LúXøÁûýaþµûÍöÂÿ%ÿ%úaöyü%!h5ûþXúµø7ý%ûeþXù4#+ú$þ+û(%û%3

ùµüúXøÁÿ%þµøý$#üý%ü%úµúXûýaþ4jûö÷aøLúXù"!höyýwö$û%ú3öÂøÁüDùµÿûeüø*3

üöyþXøý%ùkB

#+úþ+ûDùµÿûeüø*ülöyþµøLý#þ%ûùµþXú+üþ%úµûöÂþ3ö

û÷,Á÷aøÁý$øÁýþ%û5ûþXúµø[ý%ûþXù"

%ûwöyÿ%ÿÁøÁû0#+úö$h%û÷ûLÿ=ûýaþ~ûþ ,wüý 3

ùµø»ùµþXù(#8

I

Yÿ%úy÷aø%øÁý{öùXûeþ($#DøÁý #TLúö$7öÂÿ%ÿÁøÁülöyþµøLýù

úµû& %øÁúXû=ûýaþXùøÁý%ü%øÁý_÷LöÁøjöyþXøý(RûüeþXøÁ÷LûùJû.aÿ%úXûeùXùXû<

öùXûþ(#k%ûùµøÁúXûÿ%úLÿjûúXþµø»ûeù>'

M

F%ø%øÁý{öÂýøÁý%øÁþXøö

3kk

M

ùµÿûüeøjülöyþµøý!h$!$#þ+û_õ{: !¡öyùµû1ý{þ%û

øÁý #+úö$[úXû& %øÁúµû~ûýaþµù>!öyýö$%ùµþXúRöyüþ_ûý,Íþ1jûwöyù

øÁý%ûeÿûý%ûýaþöyùÿ)ùXùµø»û#Èþ%ûø~ÿ»û<~ûýaþ3öÂþXøyýsüý 3

ùµþXú3öÂøÁýþµù>/þ%øÁùÈùµÿûeüø*ülöyþµøLýPÿ%úy÷aø%ûùwöyýPö$%ùµþXú3öÂüþ÷aø»û

#Dþ+û{öyÿ%ÿ»øÁülöÂþXøLýN!

%ûúXûþ%ûÿ%úÁû øÁù·ý%ûeø»þ%ûús%øÁù/3

þµúXø%þµû$ýú%ûüeûýaþXú3öÁø¢eûh%øÁùjúXùXþ[ùµÿûüeøjülöyþµøý(%ùµþ

÷Lö»øöÂþXûþ%û4%ûùXøÁúµûwÿ%úLÿjûúXþµø»ûeù>TÝÿûeú/#+ú~øÁý£#+%úúµû%3

ý+û~ûýaþ/ùXþµûÿ%ù"!¤T¥ ¦wþ¥¨§<!hüLý+üûúXý+ø»ý)þþ%û'#TLú/3

ö$hùXÿjûüø*üöyþXøýöyýwþ%û_ÿ%úLÿjûúXþµø»ûeù>(+¥©¦ª¿ÿ%úy÷aø%ûù$ö

%ûeüûýaþXúRö$Áø¢û÷aøÁû

$#þ%û~öyÿ+ÿÁø»üöyþXøý!

%ûúµûþ%û(öÂþ3ö

øÁù%øÁùXþµúXø%þµû+þýþLûþJþ%ûjûö÷aøLú"T¥«:9ÿ%úy÷aø%ûù

þ%û$öyÿ%ÿÁøÁülöÂþXøLý

øÁþÈöGüÁøÁûýaþ8ÂùXûúµ÷Lûú/öyúXü%%øÁþµûüþ+úXû

%ûeúXû

:Lþ{þ%û jöyþ3ö=öyýþ+û jûö÷aøLú/öyúXû'%øÁùXþµúXø%þµûX+¥s¬)

øÁýaþXú{%üûù$þ%ûYüs(%ý%øÁülöyþµøLýö"ûú>!hø/û/þ%û(5$2

öÂùXû_ùaü8ûþXù"!Lþ%ûöyÿ+ÿÁûþXù"!Lþ%û7ùµûúX÷ûú>!%öÂý_ö$aý%ûüûùµù3öÂú

þ%úXûlö%ù5öÂýÁøÁýþ%ûùaü%LûeþXù>h2Þý_ö$%øÁþXøLý!øÁþ[øÁýþµú %üeûù

#©ûöyþ+úXûùJ$#þ%û/õaö÷LöYÿ%ú,Lú3ö=øÌý4öyý,ö$ûh%øÁùùXþµûÿ

Áûlö%ù·þ{ö÷øÁû

ª¹Á¦y½¢«©¦«Á¡%¢ªR¦l²¢>!

%ûúµûÈþ%û~ÿ+ú»û<

öÂùjûûýùXÿ%úµûlö$-Lýwþ%ûû%þýþLûþJø~ÿÁû=ûýaþXû

øÁþ-õö÷LökT¥(§$ÿ+ú %üûeù~þ+ûÈõaö÷Löwÿ+úú3ö®%øÁúXûüeþ

(3)

ÿ%ú #zN(%ùXþjûÿ%úy÷ø%û<4#+Lú5þ%ûÿ+úLÿjûúµþXøÁûùÿ%úµûùXûeúX÷LöyþµøLý

ûeþ

ûûeýwþ

_ü<Lý%ùµûü%þµø»÷û$úXûzý%û=ûýaþ»ûe÷LûÁù>

%øÁù±#TLúö$²%û÷Lû<ÿ~ûeýþ³~ûþ ,´#TLú;õö÷Lö

öyùµûûÿöyúRö$ÁûöÂÿ%ÿÁøÁülöyþµøLý%ùJø»ù/ÿ%úµûùXûeýþµûþXú, ö

üLý+üúXûþµû·û<.Àö~ÿÁû'ú+ý%ý%øÁý_öyþþ+û4#+

øÁý$ö$+úXûùµù

aþXþXÿN,$Áù%ýûÿ µ}ü%)ûö$,¶4·k-·¸¶$ö$'~öþ(<

%û_öyÿ%ÿÁøÁülöÂþXøLýwøÁùJöyùµû1ý{þ%û(¶$ö$sÈö/ÿöÂú3ö%ø®

M<

©ö;ÿ+úú3ö~øÁýPÿöÂú3ö$+ø, øÁýaþXûú3öÂþXøÁý;ü%%û~øÁülöwúXûz3

öyüþµøLýü<Lý%üûeÿ%þXù%¹¶$ö$s~ö"3/ÌøLû_ö$%øÁþXøLýøÁù_úXûö$Áø¢û

Lý%øÁùXþµúXø%þµû±(Áþµø»ùµûþXùs$#_øÁýþµûLûeúXù>ºõaö÷Lööyÿ+ÿÁûþ

ÈöÂø»ýaþRöyøÁý%ùaülösö(Áþµø»ùµûþ $#_øÁýþµûLûeúXù>!_öÂýVö»%ùXûú

Èö";ûýaþXûeú)ý%û

øÁýþµûLûeúXùPø»ýaþ'þ%ûùaùXþµû

øÁþþ%û

%ûÁÿ¼$#{önú3öyÿ%øÁülö$ %ùµûúø»ýaþµûú/# öÂüûPÿ%úy÷aø%û¼ þ%û

öyÿ%ÿ»ûeþ>%û ,,ö$d(ÁþXøÁùXûþGø»ù'LøÁ÷ûý þ+û%ý%øý$#

ö$þ%û(Áþµø»ùµûþXù4öyøÁýaþ3öyøÁý%û< {þ%ûÈöÂÿ%ÿÁûþXù"ü%%û=øÁülö$

úXûlöÂüþXøý%ù7öyúµûõö÷Lö¿þ%úµûlö$%ùÝþöÂþüÁûüþ[ÿöÂøÁúXùh$#høÁýþµûLûeúXù>!

ö$þ+ûöyýÿ%þ/þ+ûoøÁýaþþ+û((ÁþXøÁùXûþJÈöÂø»ýaþRöyøÁý%û

Lý+ûk#þ%û·öyÿ+ÿÁûþXù"

%ûh#+,%ûùXüeúXøÁÿ%þXøý #Àþ%ûd#+LúÈö$$+û÷Lûÿ~ûýaþ#Àþ%øÁù

öyÿ%ÿ»øÁülöÂþXøLýN!þ,Lûþ%ûú

øÁþÿ%úLÿjûúXþµø»ûeùÈ÷ûúXø*üöyþXøýÍüöyý

û£#+%ý~øÁý½

%ûÿöyý#$þ%ûwÿjöyÿjûú_øÁù_þ%û #T

ø»ý)FúXùµþ !

û

øÁýþµú %üeûwþ%û-öyùµø»üüLý%üeûÿ%þXù #Êþ%ûwùµÿûüeøjülöyþµøý#+ú/3

Èö»øÁù¾3¿4h4

M

aùXûüý

û/ÿ%úXûeùXûýaþøÁýs%ûþ3öÂø»ùþ%û

~ûþ , {öÂÿ%ÿaøÁý~øÁþ/þþ+û_ü8LùXûeý%øÁùXþµúXø%þµû

öyÿ%ÿ»øÁülöÂþXøLýN

Àî ÁÃÂ¨ÄÆÅ¼ÇÉÈÇËÊ³ÌÎÍFÀ

hÏ

Ä

ô%Ðw/[ôñ

ð

Ñ ñGXÒ Óôe5Ò

34hk

M

B

øÁù·öyý0 %úXøùXÿjûüø*üöyþXøý0#+LúÈö$ÁøÁù

öyùµû(Lý_ö$û%ú3öÂøÁü7ùµÿûüeøjülöyþµøý%ùB

öÂýÔ5ûþµúXøjý%ûþµùþöÂþ

öyúµûÍü<(%øÁý%û)øÁý]ö

ö")þöyþøÁù{ùµø~øöyúþ)ö$Lû<%ú3öÂø»ü

ý%ûþµùBÕ

(û%ú3öÂøÁü·ùµÿûüeøjülöyþµøý%ù_öyúXû(+ùXûþ%ûùµüúXøjû

þ%ûJöyþRö/ùXþµú%üeþ%úµûùöyý_þ%û#T%ý%üþµøýö$jöyùXÿjûüþµù$#Aö/ùaù¿3

þXû0!

+øÁû5ûþXúµøAý%ûeþXùö$

þ(s{+ûþ%û/ùaùXþµû1ù9üLýª3

ü%úµúXûýaþ #©ûöyþ+úXûù"Ëh-ü=ÿûý+ù3öyþµû#TLúwö$Lû<%ú3öÂø»ü0AûeþXúXø

ý%ûþµù>NÓöÂü%#àùµþXú%üþ+úXøÁýwülöÂÿö$+øÁøÁþXøÁûù"!34hk

M

ÿ%ú3

÷aø+ûùàöÊùXþXú%üþ%úXøÁý'~ûü%öÂý%øÁù³öyùµû(Lý~ö/ùaý%ü%%úý%ù

øÁýþµûú3öÂüþXøýûþ

ûûýsöû%úRöyøÁü_ý%ûþµù>!öyù

û7öyùYýLþµøLý%ù

ÿûeüÁøöyúþ²Rûüeþ/3/LúXøÁûýaþRöyþXøýsù%ü%)öyùþ+û{ýþXøLý+ù$#

üöyùµù>!%øÁý+ûúXøÁþ3öÂý%üû!jöyýù%þ/aÿ%øÁý)

ùùµþXû øÁù·ü<Lý%ùµø+ûúXûPöyù'ûøÁýöüÁûüþµøý#DøÁý 3

%ûÿjûý%ûeýþ-RûüeþXù©öû%úRöyøÁüwý%ûþµù8=þjöyþøÁýþµûú3öÂüþÈöÂý

üö$:LúRöyþµûþûþ+ûú7øÁý(ú%ûú9þYöyüü,~ÿÁøÁùYþ+û÷Löyúµø%ù

þ3öÂùaù#þ+ûDùaùXþXû<1

Ö ×Ø"ÙÚ$Û ÜÝ5Þ±Úß+Ü:à>àá1JýRûüeþ·øÁùYüLý%ùµø%ûúXû<Íöyù_öyý

øÁý%ûÿjûý%ûeýþJûýaþXøÁþ/ !Lü,~ÿ:Lùµû#öyý~øÁýaþXûeúXýöhùXþ3öÂþXû!%öÂý

þöÂþ/ÿ%úy÷aø%ûù$ù=û$ùXûúµ÷aø»üeûù·þþ%ûYû.aþXûúµøLú>¨%û ý

ö"YþGø»ýaþµûú3öÂüþ

øÁþ~öyý(ûüþøÁùþYöyù'#TLúøÁþXùÝùXûúµ÷øÁüûeù>

þ%û9øÁýaþXûúµýö$aùXþRöyþµû7øÁùAþ %ùAÿ%úLþµûüþXû<~ö$öÂøÁý%ùXþ%ý+üLýaþXúÁû

öyüüeûùXùµûù>34hk

M

%ûzý%ûùöÂýûüþöyùXjûøÁýöÂý~ûýª3

þ%û_øÁýþµûúXýjö$[ùXþRöyþXû,!öyýþ%ûYþXúRöyý%ùµøÁþXøLý%ù4s{+û[þ%û_üý 3

ü+úXúXûeýþûe÷LûýaþXùX$#Aþ%û4Rûeüþ>hPÿöyüûü<Lý%ùµø»ùµþXù#ö4(*3

þµø»ùµûþ($#DöLû%úRöyøÁü~÷Lö%ûù>0%ûþµú3öyý+ùXøÁþXøLý+ùöÂúXû+ø»÷aø%û

øÁýaþþ

ú+ÿ%ù>þ%ûwÿöÂú3ö~ûþµûúXø¢ûPþXúRöyý%ùµøÁþXøLý%ù"!ö$Áù

ülö»û<{þ%û =ûþ{+ù>!AöÂýwþ+û_ø»ýaþµûúXýö[þXú3öÂý%ùXøÁþµøý%ù>'%û

#+ú=ûú7ü<LúXúµûùXÿ:Lýwþ_þ%û$ùXûeúX÷aøÁüûù/ÿ%úy÷aø%ûþ_þ%û4+þ/3

ùµø+û!

%øÁûþ%û4öyþµþXûúX%ûùµüúXøjû$þ%û/øÁýaþXûúµýö$:jûö÷aøLúXù#

öÂý(Rûüeþ>¤XýaþXú3öÂú_þ$þ%û4=ûþ %ù"!Lþ%û/øÁýþµûúXýjö$jþXú3öÂý 3

ùµø»þµøLý%ù$öyúµû_øÁý÷aøÁùXøÁû$þþ%û_û.aþµûúXøLú

ú öÂý0Èö"jû

üý%ùXø%ûeúXûöÂù(ûeø»ýùXÿ:Lýaþ3öÂý%û+ù~û÷ûýaþXù>ü<ÓöÂùXùs%û%3

ùµüúXøjûùÈöþ%ûü=ÿ)ý%ûýaþXù'$#$öùXûþs$#4RûüeþXùÈöÂýøÁù

üý%ùXø%ûeúXûöyù7öÂý(RûüeþþXû=ÿöyþµû %ù"!öþ%û,Rûüþµù

#ý%û·ü<ÓöÂùXùjö÷LûYþ%û_ùRö$~ûYùXþµú%üeþ%úµûJRûüþµù·ülöÂý1jû

aýö~øÁülö$üeúXûlöÂþXûd%û%ùö$Lþýþ3öyþµøLýjöyùjûûý

öLÿ%þµû

Ö ×Ø"ÙÚ$ÛâTÝÛ"Ù ã$Ü)Ú$Û"âLä:Ý¤áå2Þý,%ú~öyÿ%ÿ+úöÂü%!9þ%ûwøÁýaþXûeú/3

öÂüþXøLý

øÁþöyýûüþ_øÁù$ùaý%ü%%úLý,%ù>!9ö$Áþ, öÂùaý 3

ü%%úLý,%ùwü,(%ý%øÁülöÂþXøyý%ù(ö"jûùXø(öyþµûÉ %ù"!

%ûeýöÂýRûeüþ[úXû& %øÁúXûeù7öùµûúX÷aøÁüû!øÁþöyùaùþjûùaý%ü%%ú$3

ý%ø¢û<

øÁþsþ%û~ûeþ nÿöÂú3ö~ûþµûúXø¢ûºþXú3öÂý%ùXøÁþµøý)(#

þ%û ,Rûüþ/ÿ%úy÷aø+ø»ý_þ%ûYùXûúµ÷aø»üeû%ûYùaý%ü%%úLý%ø¢löÂþXøLý

ÿ:ÁøÁüøÁùDû<.ÿ+úXûùµùXû ~ûlöÂý%ù4$#àö=ùaý%ü%%úLý%ø¢löÂþXøLýû.,3

ÿ%úµûùXùµøLý L%ûü<ÓöÂúXû~öæ#©þXûeúþ%û

with

Lû

Lú:!

%øÁü%ö"

øÁýa÷,»÷ûÈöÂý{YÿöÂúXþXý+ûúXùh%LøÁý%ûs _þ%úµûû$ùaý%ü%%úLý%ø¢löÂþXøLý

ÿûúRöyþLúXùsLLý+û#+úùµø(»þRöyý%ûeø»þ/-ç

//

!Lý%ûF#+úDùµû& %ûý%üeû

ç

..

!höyýý%û'#+úDö$ÁþµûúXýöÂþXøÁ÷Lû'Lú/ýý 3/%ûþXûeú~øÁý%øÁù¹ç

+

^B

èLúhû.%ö~ÿÁû!öyý,RûüþhÈö"ùµø(Áþ3öyý+û%ùúXû& %ûùµþ[þ

%ø*éhûúXûeýþ/ùµûúX÷aøÁüûù4#±úrþ

%ø*éhûúXûýaþ/ÿöÂúXþXý+ûúXù"!#+,

û

~öYùXûeúX÷aøÁüû$úXû<&{+ûùXþ/þ~öGþ+ø»ú Rûüeþ>

èú_ûlöyü%þXúRöyý%ùµø»þµøLýê¸ÿöyúRö$=ûþXûúµø¢ûåú·ýþ8<!¤ý%û Lú

sLúXû jûö÷aøLúRö$$ö$.aø=ùöÂúXû0%û%ý%û<!øÁýåú%ûeúÈþ%û%3

ùµüúXøjû4

I

Jöyý Lÿ+þXøLýöhüLý%øÁþXøLýø~ÿ:Lùµûýwþ%ûYö$Lû%3

%úRöyøÁü9÷Lö$%ûùøÁýa÷,Á÷Lû$øÁýYþ%û/ö$.aø0!

M

[öyý(Lÿ+þXøLýöaùaý 3

ü%%úLý%ø¢löÂþXøLýû.aÿ%úµûùXùµøý!T_ÿ+úXû%3~öyýÿ:Lùµþ/3ÞüLý+ø»þµøLý%ù

üúXúµûùXÿ:Lý+ø»ýÍúµûùXÿjûüþµøÁ÷LûPþ

jöyþ~øÁù=üLý%ù~û<öyý

öÂþ7øÁùÿ+ú %üû<ÈøÁý=þ%ûJ%ø*éÉûúµûýaþÿöyüûeù7ü,~ÿ:Lùµø»ýDþ%û

ý%ûeþ>!ý%üû/þ+û$þXúRöyý%ùµø»þµøLý~øÁùû.aûü<%þXûN

Ö ×Ø"ÙÚ$Û²âëÞNÙ ÝÛ"â+Û%ìá±søÁþ%øÁýþ+û`3kk

M

#©ú3ö~û%3

Lú! ûlöyü%ü<ÓöÂùXù$øÁý%ùµþ3öÂý%üû(öÂù·öyýø%ûýaþXøÁþ/ !hþöÂþ$øÁù·ö$Áù

ülö»û< öÂýRûeüþ$ø%ûýaþXø*ûeú>!hþöyþö"jû +ùXûöÂùÊö=úµû%#L3

ûúµûý%üû, úXûy÷ûú>![ö=þ/aÿûYøÁùDû<.ÿ»øÁüøÁþwöÂùXùaüøöÂþXû

øÁþ

ûlöÂü%üöyùXù" %ù>![ûlöÂü%ûüþYø+ûýaþXø*ûújûLýLù$þ{öyþ

ÁûlöÂùXþXLý%ûJþ/ÿjûdýú%ûeú/3ÞùLúµþXûwöû%úRö#Rûüeþø+ûý 3

þµøjûúXù/øÁùüý%ùXþµú%üeþXû!5øÁýLú%ûú/þ=úXû%µjûüþ$þ%û·ù%þ/aÿ%øÁý

úµûöyþXøý{þöyþ/øÁù$ûùµþ3ö$»øÁù%ûjûþ

ûeûýþ%û_üöyùµùXûùYþ/aÿûù"

¸aøÁý%üeû5Rûeüþ[ø+ûýaþXø*ûúµùöÂúXû7öLû%úRöyøÁü÷Lö+ûù>!þ+û/ülöyýjû

ùµþLúµûøÁý~ÿöyüeûù$#öû%úRöyøÁüý%ûeþXù>X Lúµûy÷Lûeúø»þ9øÁù7ÿ:LùµùXø*3

Áûþ%û%ý+ûöÂþ3ö/ùµþXú+üþ%úµûùþöyþ9öyúXûJ%øÁþh%ÿ)ý(Rûeüþ

ø%ûýaþµøjûúXù"!%û)[öGùXþ3öÂü%LúöF& %û%ûF$#ûüþø%ûeýþµø*ûúXù"

íkä:Ý5àÛ"ã$î5Ú$Û"ä)ãàáXöyùµùøÁý%ùµþ3öyý+üûùüöyýjûaýö~øÁülö$

üúµûlöyþµû[öyúµþXøÁüöÂú$üúXûöyþXøý~ûþ %ù/þöÂþ$üúXûöyþXûöyý

øÁý%øÁþXøö»ø¢û5þ%ûdRûüeþXù[ülöyýFû5+û%ý%ûNLþ%ûùXûX~ûeþ %ùö"

(4)

öyþµøý~ûeþ wøÁùÿ+úy÷aø%û4ïJùöüöyùµùXûùYöyúXû'%ùµû{þ

aýö$=øÁülö$7üeúXûlöÂþXûý%û

øÁý%ùXþRöyý%üûeù>!$+þøÁþhøÁùö$Áùÿ:LùµùXøÁû

þ(%ûeüöyúXûGùXþ3öÂþXøÁü/øÁý%ùXþRöyý%üûeù>

%Ýhð}Ù ã$âTÛ>ÜÝÚÙ ÜÝ5Þêà<îh×}Û<ìñ}âTÝhòá4û'ûÁøÁû÷û·þöyþ/øÁý 3

%ûúµø»þRöyý%üeû·öyýù%þ/aÿ%øÁý~öyúµû/þ

(%ø*éhûúXûeýþJýLþµøLý%ù9þöÂþ

öyúµû%ùµûs#+Lúþ

'%ø*éÉûúµûýaþ7ÿ%úXÿ:Lùµûù>X2Þý%ûeúXøÁþ3öÂý%üû/øÁùüLýª3

ùXø%ûúµûöyù4jûøÁýwö_ùýaþRöyüþµø»ü'~ûeü8jöyý%øÁùþöyþJ#©úµûûù$þ%û

ùXÿjûüø*ûúF#©úþ+û·ý%ûeüûùXùµøÁþ/$#¤%ûe÷LûLÿ+ø»ý~üöyùµùXûù£#©ú,

ùXüúRöyþµü8wöÂý_øÁù5ÈöÂø»ý4%þµø»ø¢û<_þ$úµû%ùXû/ÿöÂúXþµù¤#Aû.aø»ùµþXøÁý

ùXÿjûüø*ülöÂþXøLý+ù> üöyùXù'Èö"øÁý%ûeúXøÁþ·ö$þ%û(#±ûlöyþ%úXûù'$#

öyýþ%ûeúAüöyùµù>!yöyýkö"ö$Áùö/ù,~ûAùµûúX÷aøÁüûùdLúhü%öyýLû

þ%û(+ûùXüúµøÁÿ%þXøLý#àù=û$ùXûúµ÷aø»üeûùöÁúXûlö%û%jý%û J%ú

ù+þ/ÿ+ø»ýúXûöyþµøLý%ù%øÁÿÍøÁù(öÂùXûó%ÿ)ýsþ+ûÈùµþXúLý-÷Lûú¿3

ùXøLý#àþ%û_ù%ùXþµø»þ%þ3ö%øÁø»þ/ÿ%úXøÁý%üøÁÿÁû![öyýø»ùYö~ùµûÈöÂý 3

þXøÁülö~ûeü8jöyý%øÁù0AøÁý{öÂý ~üýþµû.aþ>!höyý =üöyùXùJøÁý%ùXþRöyý%üû'$#

öþ/aÿjûÈö"jûwù%ùXþµø»þ%þXû<þÍöüöyùµùø»ý+ùXþ3öÂý%üû#$ø»þµù

ù%ÿjûú¿3þ/aÿjû!7öÂýþ%û(jûö÷aøLúF$#þ%û

ÁûYùaùXþµûúXûz3

ÈöÂø»ý+ù)%ý+ü8jöyýûh%ûúµûùXÿjûüþµøÁ÷Lû%øÁûúRöyúXü%%øÁûùhûý%ûúRöyþXû<

~þ+ûùXû$þ

_úXû<ÓöÂþXøLý+ù%øÁÿ%ùX_ýþý%ûüûùµù3öÂúXøÈü<LøÁý%üø%û

ôÙ õÜÝNÛ>â/Úàáh%ûJ#+LúÈö$+ùXûöyýaþXøÁüùX$#k3kk

M

øÁù

LøÁ÷LûeýDøÁý$þµûú=ù$#ü<Lý%ü+úXúXûeýþ[þµú3öyý+ùXøÁþXøLýGùaùXþµû~ù5û.aÿ%úXûùµù/3

øÁý~ö$hþ+û$ÿ)ùXùµø»ûGû÷,+þXøLý%ù#5RûüeþXù>jùµþ3öyþµûù>J¸aþ3öÂþXû

ü%öyýûùDöÂúXû$öyùµùaüøöyþµûwþ~ö'(ÁþXøÁùXûþd$#û÷LûeýþµùþöyþöÂúXû

ùXø(Áþ3öÂý%û,%ùû.aûü+þ3ö$»û,n%û úµøÁý$#·öyýóRûüeþ>ù

~ûþ ~ülö%ùXûeù øÁýaþXûeúXýöö9þµú3öÂý%ùXøÁþXøý%ùþ(jûJúXû²ùXÿ:Lýª3

þ3öÂý%û+ù+û~þXúRöyý%ùµøÁþXøLý%ùYöyúXû¨úXû<Íöyù'LýwöÂù·þ%ûøÁú

ÿ%úXûz3 üý%øÁþXøýøÁù4#+*)Áû-ý,Rûüþ"ù(=ûþ{üöyýjû

úXû<Lýø*#7ý~þµú3öÂý%ùXøÁþXøý{øÁùjú3ö$»û,%ûYü=ÿÁûþXûYùXûz3

ÈöÂýþµøÁüù¤#34hk

M

ülöyý jû4#++ý~øÁýB

÷î ø

ñGXÒ Ó-ò

Äù Ä Óeñ Ï-Ò

ÄÊð

ú

Ñ ñ¨Ò

ÅËÇÃÈÇËÊ±ÌûÍÀ

ñýü_

ù

%øÁù$ùXûüeþXøLý-ÿ%úXûùµûýaþXù=þ%û=ÿ%úÿ)ùXûþ#+LúÈö$h%ûe÷LûLÿª3

~ûýaþX~ûþ ,~öyÿ+ÿÁø»û<~þ=þ%û/üý%üúµûþXû~öÂÿ%ÿÁøÁülöyþµøý

%ûùµüúXøjû{øÁý=ùXûüþµøLý

I

ÿ

!

"

!

##$

%û¶$ö~öYÿöÂú3ö%øÎ

M<

ö%÷aülöÂþXûù_ö

ö"#ÿ%ú3

LúRö$=øÁýþöyþJø»ù9üLùµû$þ_þ%û$ü%%û=øÁülö$júXûlöÂüþXøý%ù>Jý%û

Lú5sLúµû7ü%%û=øÁülö$aúXûöyüþµøý%ùöyúXûöÂÿ%ÿÁøÁû'Lý~öJ(ÁþXøÁùXûeþ>Aö

ü%%û~øÁülöaúXûlöÂüþXøLýYúXû<y÷Lûeùù=û÷Lö$%ûùN#©ú]öJ(ÁþXøÁùµûþ>!

ü=ÿ%þµûùù~û/úµûùÁþµùÊöÂýwøÁý%ùµûúXþµùDþ%û ø»ýaþ_þ%û(3

þXøÁùXûeþ> ûYüLý%ùµø%ûúYþ%û¨#+

øÁý_û.%ö$=ÿÁû/ü=ÿ%þµø»ý

þ%û/ùË#þ%û$øÁýaþXûûúXùÿ%úµûùXûeýþJøÁýÑöF(ÁþXøÁùµûþ>hè5ø,%úXû

I

%ûÿ%øÁüþµùö(»þµøÁùXûþöyýÈöGÿ)ùXùXøÁû4¶$ö$s~öü,~ÿ%þRöyþµøý

öyü%%øÁû÷aøÁýYþ%û$úµûù»þ&%

¬á°¦)áL¦:á zÝ'ä:ã$õÜß5ã$Ù(:îhâTã$Ù{õÙ ÝNÛæà"á´ûJø»ýaþµûýþ(%ûz3

÷LûÿVöÂýöyÿ%ÿ»øÁülöÂþXøLýPö$

ø»ýùXû÷ûú3ö%ùXûeúXùþøÁý%ùXûúµþ

øÁýþµûLûeúXùwøÁýaþsö(Áþµø»ùµûþ~þöyþ

ûÿ:LùµùXø%øÁù/3

úµûlöyüþµøLý%ù7öÂúXû/öyÿ%ÿÁøÁû'LýYþ%ûJ(ÁþXøÁùXûeþ>yþ%û'ö÷LûþDÿjûú¿3

#+ú)þ%û7ùn$#hö$aþ%û9øÁýþµûLûeúXù[ûýaþXûúµû( ·ö$þ%ûX%ùXûeúXù>

û$üö$}·4¸¶$öö(+·JøÁùXþµúXø%þµû`¶Gö$~ö,[ùaùµþXû0!þ%û

ùùµþXû´ö$%û#þ%û4%ùµûúXù"!þ%û(Áþµø»ùµûþ7öÂýþ%û/ü%%û=ø3

ülö[úXûlöÂüþXøLýNû$ÿ+úXûùµûýaþ$þ%ûYøÁý #+úÈöúµû& %øÁúXû=ûýaþXùJø»ý

þ

ÿöÂúXþµù>h%ûXúµùXþ5ý%û9ÿ%úXûùµûýaþXù9þ%ûùaùXþXû<¾ÿûeú3öyþµøLý%ù

þöyþh(%ùµþû9ÿ%úy÷aø%ûYþJþ%û+ùXûúµù>!aöyý$þ%ûùXûeüLý'Lý+û!

þ%û4%ûþ3öÂø»ùö),%þþ+ûkjöyþ3ö_öÂýøÁýþµûúXýjö$hü,~ÿ%þRöyþµøý%ù>

2 5 8

1+2 2

1 3 2+3 3

3+5 Global Multiset

)*,+.-/1032.4576#898:6;6=<<.*?>@*?A.B

ôìà<Û"Ù{õýä)ñdÙ{ã$ÜÛ>âTä)Ý5àDCEL¦GF¤)ý%û

%ùµûú/ülöyý-û·ö%û

þ$þ%ûJùaùXþµûöyþ7öÂý{',~ûýaþ"E«=Fhê%ùµûúÈö"$ö~ý%û

øÁýaþXûûúXù/øÁýaþ=þ%û_ùùµþXû0!höyþ$öyý ,~ûýaþ>! jûþ

ûûý%øÁù

ûýaþµûúXøÁýþXø~û~öÂý%øÁùYû.aø»þYþXø=û7E¬#Fkþ_öyý 1s=ûýaþ>!

þ%ûöÂÿ%ÿÁøÁülöyþµøLýwülöÂý1øÁ÷Lû_ö_ÿöÂúXþXøö÷aøÁû

$#7þ%û_ùXþRöyþXû(#

þ%û(ÁþXøÁùµûþ>HE§"F¤³%ùXûú4ö"_û.aø»þþ%ûYùaùXþµûÿ%úy÷aø%û

%û4öÂùûýaþXûúµûø»þ"

ôÛ"ÜÛ"ÙnÜÝ5ÞÉâTÝÛ"Ù ã$ÝhÜß ×dÙ{ðhÜ=IâTä)ã=CJELK=F(%ûø»ýaþµûLûúµù

ûýaþµûúXû wþ%û(%ùµûúXù·öÂúXûYùXþLúXû<ø»ýö((»þµøÁùXûþ"ELM=F%û

öÂÿ%ÿÁøÁülöyþµøý~úµûlö$Áø¢ûùJþ%û$ù¼$#7ö$hþ+û$øÁýþµûLûeúXùûeýþµûúXû<

{öÝþ%û(%ùµûúXù"EONGF%û_ù ø»ù/ÿjûú/#TLú=û wü%%û=ø3

ülöúµûlöyüeþXøLý%ùöyüeüLú%øÁý$þYþ+ûk¶$ö~ö9ÿöÂú3ö$+ø,1GEQP#F}

ü%%û=øÁülö$%úµûlöyüeþXøLý_úµûy÷ûùþ

DøÁýaþXû<Lûúµù5#©ú;þ+û(ÁþXø*3

ùµûþ>!jö$%ùþ%û¼%ÿ!%öÂýø»ý+ùXûúµþXùþ+û$ù ø»ýaþ·þ%û(ÁþXø*3

ùµûþ>"EQR#F%ûúXûøÁùhLý4ý%û7þ/aÿjû$#hü%%û~øÁülöLúµûlöyüþµøLý!,%þ

ùµû÷LûúRö$5#7þ+ûoülöÂý1aüü<%ú/ùXø(Áþ3öÂý%û+ùÈöÂýwüý%ü%ú¿3

úµûýaþ1ýþ%ûs(ÁþXøÁùXûeþ>EL¦S#Fk'ü%%û=øÁülö$úµûlöyüeþXøLýö"

aüü+úÊöÂùù{ý{öyùJþ%ûYùXþRöyþµû #þ%û'(ÁþXøÁùXûþ9øÁùù%ü%{þöyþ

þ%û_ü%%û~øÁülöAúµûlöyüþµøLýülöÂý1aüü+ú>!5øëûYöyù/ù ýöyù/þ%ûeúXû

öÂúXû$öyþÁûlöÂùXþþ

·øÁýaþXûûúXùJøÁýÈþ%û4(ÁþXøÁùXûeþ>

¬¡áL¦:á«áUT4ã$ä:ñ5Ù ã$Û>âTÙà$á´2ÞýLú%ûú~þ%ùµûúX÷ûwþ+ûwÿ%úÿ 3

ûúµþ/ÿ%úXûeùXûúµ÷LöyþXøý%úµøÁýwúXûzý%û=ûýaþ>!

û

øûùXþRö$ÁøÁù

ý%ûX#+%ýjö$~ûeýþRö$aÿ%úLÿjûúXþ/~öÂý'#+

øÁþh%úXøÁýGûlöyü%~úµû%3

ý+û~ûýaþùµþXûÿN7V»¾«Á¡%¢®X¢/¯Á½/¦L°a¹ÁÃ$¦L°+¢·¯°+«©¢Þ´¢l®J¯°~«Á¡%¢$¶Y¼¹»«±¯Á¬

½¢«Ð[«»¡+¢l°w¯¸«¶Y¼½«§R¢D«Á¡%¢G®X¢e½¼¹Á«¦µ¾/¤J³À¤®X¤y¹¸¹»¢e¹ªR¦L¶¿³É¼a«©¤«©¯¸¦L°

¦µ¾_«»¡+¢~½¼a¶ ¦X¾_¤Â¹¹7«Á¡%¢¯°%«±¢Þ´L¢®R½_¢l°%«±¢®X¢R²{§Ã¤y¹¹«Á¡%¢~¼½¢®R½

½¯°%ªR¢Y«»¡+¢·¤³L³j¹»¯ªR¤L«±¯¦°w§R¢´¯°%°+¯°L´Ä

ÿXWY G&X#$Z

!

[\X]^[\_`

[\$a\ cb&\d

%ûø»ý+ø»þµøö$¤3kk

M

ùµÿûeüø*ülöyþµøLýå_ÿ%úy÷aø+ûù·þ%û

sLùXþ9ö$%ùµþXú3öÂüþ÷aøÁû

#Aþ%û·4¸¶$ööùaùµþXû0!LþöyþX#+3

(5)

þXøÁùXûeþ

øÁþ=ùXû÷ûú3öü%%û<~øÁülö$júXûöyüþµøý%ùaüü<%úXúµø»ý_üLý%ü<%ú/3

úXûýaþ(ý~øÁþ>Nûjö÷LûDöGýý(%øÁùXþXúµø%þXû<jöyþ3ösþ%û(3

þXøÁùXûeþ8!ÝùXû÷ûú3öÿ%úaüûeùXùXûeù1þ%û~ü%%û<~øÁülö$ÝúXûlöÂüþXøLý+ù8!öÂý

ûlöyü%wÿ+úaüûùµù>!jüLý+ùXø%ûúµûwùXûeÿöyúRöyþXû< !%øÁù9ýLþ+ø»ùµþXúµø%þXûN

¬á«áL¦:á í'ÖZe"ÖfTZgih« àñ5ÙÚâOj¤Ú$ÜÛ>âTä)ÝXá´%û øÁý%ø*3

þXøö$É3kk

M

ùµÿûüeøjülöyþµøý øÁù LøÁ÷ûý þ%û

k.lmnDo=o.nplGqHrtsuto

üöyùXùJ%ûÿ%øÁüþµû '),%úXû

M

vwyxtz$z^{|}x~;~x|Gz$~

O $yL$,Q y O$,Q

$yL LL1?Q

LOy$O,$,Q

t

OHO1tO1LQ

?yQ

¡,¢¤£

,¥Ly

¦Q§y¡?¢y£

¡,¢¤£

?¥Qy

$, $,

?

¨ª©

©

$,

)*?+.-/10«\4&¬#0®*¤B*,>ª*?6#¯ í'ÖZe>Ö;TZgihª«i°± 0²*³´²t6=>ª*,A.B

ôìà<Û"Ù{õ ä:ñ5Ù ã$ÜÛ"â+ä:Ý5àtC %û #+%úÆ34hk

M

~ûþ %ù>! µ

uG¶ ·HruG¸¹º·Hrt¸»

!

·HruG¸ n¼ts\½t¾

µ

¹t½\¿$·Hr¸»

!

¸urt·ÀGs¹½\¿$·Hrt¸Á»

!LöÂý

·HruG¸ uGÂ\½s¹·Hrt¸Á»

ùµÿûeüø*#+þ%û4#T%ú

ùXûúµ÷aø»üeûù>!hùaùXþXû<¹LÿjûúRöyþXøý%ùZEL¦GF7þE§"F8!%þöyþJþ%ûYùaùµþXû

ÿ%úy÷aø%ûùþ_þ%û4,%þXùµø+û

%ûÃµ

uG¶ ·HrDuG¸¹·Hr¸»

~ûeþ øÁý%ùµûúXþµùþ%ûÎ+ùXûúµù>

ø%ûýaþXøÁþ/ !

·Hr¸

! øÁýaþ þ%û

·.ruG¸Hr

ÿöyüû, %û

·HrDuG¸ n"¼ts´½t¾

µ

¹t½´¿$·Hrt¸»

=ûþ ü%%ûü%aùø#

·Hrt¸

öÂù

ö$ÁúXûö$wûeýþµûúXû<þ%û_ùùµþXûÎ¸øëûGø*#

·Hr¸

øÁù/øÁý{þ%û·ÿÓöÂüû

·HrDuG¸Hr

!öyý;øÁý%ùµûúXþµùsþ%û

½

÷Lö%û!=ø»ýaþ)þ%û(ÁþXøÁùXûeþ

ÄlÅ µ s

2T#[þ%û4%ùµûú

·Hrt¸

öÂù7ýþLûþûeýþµûúXû<wþ%û/ùùµþXû0!

þ%û-~ûþ Íüöyý%ýþjû úµû!þ{+ù~þ+û

½

÷Lö+ûÈøÁù_ýþ

øÁý%ùXûúµþXû øÁýaþþ+ûÉ(ÁþXøÁùXûeþªÆ %û

¸u"r·ÀGs¹t½´¿$·Hrt¸»

~ûþ wü%%ûü%aù$ø*#

·Hrt¸

öyù/ö$ÁúXûö$wûeýþµûúXû<þ+û·ùùµþXû0!

öyý_úµûlö$+ù¤ý%ûøÁýaþXûûú

½

øÁý_þ+ûÿöyüeû

Ä#l"Å µ s

2T#

·Hrt¸

ø»ùÝø»ý

þ%û

·HruG¸.r

ÿöyüeû!Lþ%û

·HrDuG¸ uGÂ\½s¹·Hrt¸Á»

~ûþ _úXûsy÷Lûù

·Hr¸

ôÛ"ÜÛ"Ù ÜÝ5Þâ+ÝNÛ>Ù ã$ÝhÜßh×5Ù ðhÜ=Iâ+ä:ã=C5±(Áþµø»ùµûþX$#øÁýaþXûz3

Lûúµù7ùµþúXûù9þ%ûøÁýaþXû<Lûúµù7ûýaþµûúXûøÁýYþ%ûJùaùXþµû{_ö$%þ%û

%ùXûeúXù>F%û 3kk

M

Äl"Å µ s

ÿöyüû,!)#7þ/aÿû

Å µ suGÇu¸

!

%ûÁùwþ%øÁù1(»þµøÁùXûþþ%ûþ/aÿû

Å µ suGÇu¸

ø»ùùXÿjûüø*û<

%ùXøÁýö$Lû+ú3öyøÁüYùXÿjûüø*ülöÂþXøLý+ù~öyù$û& %øÁ÷Lö»ûeýþ/þwýöyþ%ú3ö

ý (ûeúXù8<¤·J%û$þ_þ%û'34hk

M

5ûþµúXø[ý%ûþJùXûöyýaþXøÁüù

$#ÿöÂüûù>![þ%û_üýþµûýaþ #Döÿöyüeû_ø»ùYö$

ö"aù4LøÁ÷ûý ö

(ÁþXøÁùXûeþ>%û3¿4h4

M

ÿöyüû

·HrDuG¸Hr

$#þ/aÿjû

Å µ suGÇ#uG¸

ùXþLúXûeùþ+û$ø%ûýaþXøÁþ/($#[þ%ûF%ùXûúµùDöÂùø»ýaþµûLûúµù>

È

?TU_U_¤Q,U?CTD

\

CN@Z)9W$U5URBU_UW"C:W$UUV$UVQ"=

\

_UC+D$9"V9?NC+?

\

W"e

S+@BCT@B9WU$ÉUW"C)@BSNW$9C

\ É \

@BR

\

Q$RBUCTD

\

W@BC+SU$Ê>UYP$CT@B9WX@BS@B_;9<S+ST@BQ$RBUM

MZËGÌ

uDoÁ½G¼n=ÀDÍ"u=n"¼ts\½¾

ûÁù5þ%ûü%%û<~øÁülö$yúµûlöyüeþXøLýN2Þþhþ3öLûù5þ

øÁýaþXû<Lûúµù

½\¿Î

#©ú

þ%û

Ä#l"Å µ s

ÿöyüû,!öyý~øÁý%ùXûeúXþXùJþ%ûeø»úJù

½ÐÏÎ ø»ý

ÄlÅ µ s

¬¡á«¡á«áUT4ã$ä:ñ5Ù ã$Û>âTÙà$á´û$ý

ü<Lý%ùµø+ûú$þ+û·ÿ%úLÿjûúXþ/

ùµþ3öyþµûsøÁýù%ùµûüþXøý

I M

!öÂý

ûü8+ûü%

øÁþ(öyù

û÷,Á÷Lû<(%úXøÁý/þ%øÁùùXþµûÿ5û

ø%øÁý #+LúÈöJù

!$

öÂý

{ !þ%û$ÿ+úLÿjûúµþ/~øÁùX#+*)Áû

%ûü=ÿ%þ3öÂþXøLý$#þ%û-úXûùÁþøÁù{úµûlö$Áø¢û þ%û

þµú3öyý+ùXøÁþXøLý

ËGÌ

uDo½G¼npÀDÍ.u=n"¼s\½t¾

µ·J%û/þ·þ%û 3¿4h4

M

ùµûÈöÂýþµøÁüù>!/þ%û

ËGÌ

uDoÁ½G¼n=ÀDÍ"u=n"¼ts\½¾

µ-þXú3öÂý%ùXøÁþµøý)ülöyýnjû

úµûsùµø(»þRöyý%û<%ùùµû÷Lûeú3ö$/þµø=ûù>!9ÿ%úy÷aø+ûsþ+ûwÿ%úXûz3

üý%øÁþXøýÈøÁù#+*)Áûs#+LúJûlöyü%aüü+úXúXûeý%üû'%û4júXøÁý~øÁù

úµûÿûöyþXû< +ýþµøþ%û=ÿ%úXûz3üý%øÁþXøýø»ùGýLýûú4#+:ÁûN!

ø/û[ø*#}ýLý+ûDøÁýaþXû<LûúúµûÈöÂø»ý+ùø»ý=þ%ûF(ÁþXøÁùXûþ"þþ%û

jûLøÁý%ý+ø»ýk#þ+ûùaùXþµû1!ý/øÁýþµûLûeúøÁùÿ+úXûùµûýaþ7øÁý

Ä#l"Å µ s

û~öÂùXù~û_þjöyþÒÑ-øÁýaþXûûúXù_ûýaþµûú·þ%û~ùaùXþXû<ùXø(Áþ3öæ3

ý%û<%ù³ùXûe÷LûúRö$YùXø(Áþ3öÂý%û+ù

·Hru¸ n"¼ts\½¾

µ

¹t½\¿·Hrt¸»

%ù"!Ñ\Ó

M"

ÿjöyøÁúXùÔ#AøÁýþµûLûeúXùöyúµû/ÿ%úXûùµûýaþøÁý

Äl"Å µ s

öyý

ËGÌ

uDoÁ½G¼n=ÀDÍ"u=n"¼ts\½¾ µ

øjûjúXû0Ñ\Ó

M"

þµø~ûùùµø(Áþ3öyý+û%3

,%ù 4#©þµûú/þ%ûùµû(úµøÁýLù"!Õ×ÖØÑ9Ùå,Ñ\Ó

Mæ

ø»ýaþµûLûúµù

ø

úµûÈöÂø»ýøÁý

ÄlÅ µ s

±+û úXøÁýù#

ËGÌ

uto½G¼n=ÀtÍ.u=n"¼ts´½t¾

µ

ÿ%úaüûûùµø=øÓöÂúýwþ+ûùXû9ÕoøÁýaþXû<Lûúµù>![öyýùXþLÿ

%ûý

ÕÚÖ

I %û{øÁý%øÁþµøÓöùXÿjûüø*ülöÂþXøLýÿ%úy÷aø%ûùþ%û #+,3

øÁý)X

I

öæ#©þXûúöFjúXøÁý($#

µ

¹t½\¿$·Hr¸»

Lý

ý%û_øÁýþµûLûeú·úµûÈöÂø»ý+ùDøÁý

ÄlÅ µ s

¤

M

/þ%û~ü<~ÿ%þ3öÂþXøLýwøÁù

úµûlö$Áø¢û-#+ø»ýÿöÂú3ö$ÁûNy÷Lûú$ö$[þ+û~ö÷Löyøö$Áû/ÿöyøÁúµùk#

øÁýaþXûûúXùJÿ%úXûeùXûýaþ$øÁý

ÄlÅ µ s

Tþ%û$úµûÈöÂø»ý+ø»ý·øÁýaþXûûúøÁù

þ%û{ùÎ$#$þ%û{øÁýaþXû<LûúµùÈÿ+úXûùµûýaþwøÁý

Äl"Å µ s

jû%#+Lúµû{þ%û

úµøÁý #

ËGÌ

uDo½G¼npÀDÍ.u=n"¼s\½t¾ µ

ÿTÿ Û;$GÜ\]Ý&ßÞà`

#á &$$â&ã#$

%ûøÁý%øÁþXøö$ùXÿjûüø*ülöÂþXøLý9ÿ%úy÷aø+ûùöüeûýaþXú3öÁø¢eû_÷aø»û

#àþ%ûÈöÂÿ%ÿÁøÁülöyþµøýsù

û_øÁýþµûý-þ,%þ3öÂø»ýöyýø=ÿÁû%3

=ûýaþXû~öÂÿ%ÿÁøÁülöyþµøý +ø»ùµþXúµø%þXû y÷ûúþ+ûkû<!LøÁþøÁùý

ý%ûeüûùXùRöyúsþøÁýþµú %üeû%øÁùXþµúXø%þµø»÷aøÁþ/ø»ýþ%ûùXÿjûüø*ülöæ3

þµøýÝäû%ý+û~ûýaþ4¥ ¦ø»ùJüLý+üûúXý+û

øÁþöÂþ3ö¨%øÁùXþXúµø 3

þµø»÷aøÁþ/

¬¡á¬¡áL¦)á ¥(ÙGj5ÝhÙ{õÙ ÝNÛ¤ñhã$äÚ$Ùà"à$á %ûJ(ÁþXøÁùXûþN$#høÁýþµû%3

ûúXù$øÁù/ÿ aùXøÁülö+ø»ùµþXúµø%þXûy÷ûú/ùXû÷ûú3ö¤+øéhûúµûýaþ $3

ülöÂþXøLý+ù>Xû/ülö$[¹»¦ªR¤y¹[¶·¼¹»«±¯Á½¢«7þ%û$ÿ:LúµþXøLýåçæHèX$#þ%û

(Áþµø»ùµûþ9ÿ%úXûùµûýaþøÁýwö'LøÁ÷LûeýaülöÂþXøLý!%öÂý

û/ülöA´y¹Á¦L§R¤y¹

¶Y¼¹»«±¯Á½¢l«þ%û'(ÁþXøÁùXûþ,%þ3öÂøÁý%û wþ%û +ý%øLý#àö$Aþ%û

aülö$(»þµøÁùXûþµù>5è5ø%úµû£'øÁ÷LûùöÂýÈø%ùXþµú3öÂþXøLýs$#ü%%û(3

øÁülöhúXûlöÂüþXøLý+ùy÷Lûúþ%û4%øÁùXþXúµø%þXû<(ÁþXøÁùXûeþXùåçæ è !aþöyþ

ü,~ÿ+þXûþ%û$úµûùÁþ&%

%û)úXû%jý%û~ûeýþÿ%úaüûùXùöÂùÍþ]ÿ%úµûùXûeúX÷Lûþ%û)ùaù/3

þµû LÿjûúRöyþXøý%ù> %ù>!;þ%û y÷LûúRö$ùµÿûeüø*ülöyþµøLý

#Íþ+ûË·4¸¶$ö$s~öùaùXþµû (%ùXþºÿ%úy÷aø%û;þ%û ù3ö$=û

#+,%ú0~ûþ %ùéµ

uG¶ ·HruG¸ê¹·Hrt¸»

!

µ

¹t½\¿$·Hr¸»

!

ëìí=î

p$ï S+C

\

W$V$S:Z9<?C+D$UN@BW>CTUAU?);

\

?+C:9%Z)CTD$U?TU

\

R,W>P$_XQU?

ípî

p"M

(6)

1 2 6

3 2 5

1 1+5

2+3

2 3

5 8

2+6

MS 1 MS

3 MS 2

)*?+.-/10ð\4Zñ*

°

>ª/*yò"-=>0<é576898:6óº¯¤*LôÐ0Z6=<<.*,>ª*?A.B

¸urt·ÀGs¹½\¿$·Hrt¸Á»

!öyý

·HruG¸ uGÂ\½Ðs¹º·Hrt¸»öõ

þöyý_þ%ûøÁý%øÁþXøö$

ùXÿjûüø*ülöÂþXøLý$ùþ%û4ö)(»þµøÁùXûþøÁù9ùXÿÁøÁþXy÷Lûúùµû÷,3

ûú3öhaülö(Áþµø»ùµûþXù'Lý%û4#+úûlöÂü80%ùµûú8<!

ûF(%ùXþúµû%û%3

ý%û/þ+ûDùaùXþXû<ËÿûúRöyþµøý%ùöyý~øÁýaþXûúµýö$jûö÷aøLúµùù%ü%

þöÂþ>

I

9ûlöÂü8 %ùµûúøÁùÈöÂÿ%ÿû<_þ~öFaülö(ÁþXøÁùXûeþùXÿjûü%3

ø*û

øÁþÍö-ö÷!J

M

Yþ%ûü%%û~øÁülö7úµûlöyüeþXøLý%ù(jö÷Lû~þ

úXûsy÷LûYøÁýþµûLûeúXù4#©úºLý%û(úksLúµû aülö$d(ÁþXøÁùXûþµù>!h+,

þ%û/øÁýaþXûûúXùÿ+úXûùµûýaþøÁý~þ%û4aülö)(»þµøÁùXûþ5#öF%ùXûeú

öÂýaþXùþ Áûlö÷ûþ%ûJùaùXþµûÉ(%ùµþ}jûÿ+úLÿjûú(+ø»ùµÿöyþµü%%û

þ_þ%û4Lþ+ûúaülö$(»þµøÁùXûþµù>

¬á¬á«¡á í'ÖZe"ÖfTZgih« à<ñ5ÙÚ$âjdÚÜÛ"â+ä:ÝXá +û 3

4hk

M

ùXÿjûüø*ülöÂþXøLýý$#]þ%û öÂÿ%ÿÁøÁülöyþµøý

øÁþÎ%øÁù/3

þXúµø%þXûs(ÁþXøÁùXûeþXù[øÁù5LøÁ÷Lûeý({Yþ+û

k"lGmnDo=o"n=lGqHrts#uDo üöyùµù

%ûÿ%øÁüþµû (:%úµûk½:

ôìà<Û"Ù{õ ä)ñ5Ù ã$ÜÛ"âTä)Ý5àDC%û;µ

u¶ ·HruG¸ê¹·Hrt¸»

=ûþ{

øÁý%ùXûúµþXùéø

·Hrt¸¿ªù&ú

øÁýaþþ%û

Äl"Å µ s

ÿÓöÂüûÃý%û

%ùXûú

%LøÁý%ùþ%ûùaùXþXû<

øÁþöÂý û=ÿ%þ/ö$:!wúµûÿ%úXûeùXûýaþXøÁý

öyý)û=ÿ%þ/üö$(Áþµø»ùµûþ> %û

µ

¹t½´¿$·Hrt¸»

~ûþ wü%%ûü%aù$ø*#

·Hrt¸

öyù/ö$ÁúXûö$wûeýþµûúXû<þ+û·ùùµþXû0!

ø/û,Aúµûy÷ûù7þ%ûÿjöyøÁú ø

·Hrt¸¿ûnGÇú

#©ú;þ%û/ÿöÂüû

Äl"Å µ s !

öyýøÁý%ùµûúXþµù·þ%û

½

÷Lö$%û_øÁýaþ

ûnÇ

!hø/û=øÁý%ùXûúµþXùYþ%û=ÿöyøÁú

ø

·.rt¸¿$ûnÇ=Ï\½tú øÁýþ

ÄlÅ µ s

ûnGÇ=Ï´½

ùXþRöyý%ùJ#+úö_ý%û

ö$

Èö%û5$#hþ+û%ý%øLý#

ûnGÇ

öÂý·þ%û9ùXûþü

½Gý

¡%øÁù}=ûþ{

ülöyý+ýLþjûFúXû-ø*#

·Hr¸

öyù/ýþÊöÁúXûlö %ø»ý+û{þ%û_ùaù¿3

þXû0%û

¸u"rt·#ÀGs¹t½\¿·Hrt¸»

ülöyý²ûsúµûø*ésþ%ûsö$0$#

%ùXûeú

·Hr¸

üýaþ3öyøÁý%ù/û.%öÂüþý%û·û<»û<~ûýaþ

½

ø/û

ùþÏØ½

<

2ÞþøÁù

LúµþwýLþXøÁý=þöÂþ+û$þ=þ%û(3¿4h4

M

ùµûÈöÂý 3

þXøÁüù"!Lö"#©þµûú[ûlöyü%FúXøÁýJ$#%þ+û7ü%%û=øÁülö$úXûlöÂüþXøLý+ù>!,Lýý%û

øÁýþµûLûeúúXûöyøÁý%ù9ø»ý ý%û4aülöö$:

%û

·HrDuG¸ uGÂ\½s¹·Hrt¸Á»

=ûþ øÁý%ùµûúXþµù·þ%û

·Hrt¸

÷Lö$%û

øÁýwþ%ûYÿöyüeûZÿ

rt¸#¾=Â\½Ðs X%û

uGÂ\½s

þµú3öyý+ùXøÁþXøLýþ%ûýúXûz3

y÷ûù$þ+û~ÿöÂø»úø

·Hrt¸¿$û#nGÇú

#©ú þ+û

Äl"Å µ s

ÿöyüû~öÂý

øÁý%ùXûúµþXù=ø»þ_øÁýaþþ%û

ÄlÅ

µ

s¾Go=s=q

ÿöÂüûåJù_þ%û-%ùXûú

øÁùþXø,þ_ü%ÿ»û<

øÁþwö'üö$(»þµøÁùXûþ"!aø»þøÁùý%ûeüûùXùRöyú

þøÁýaþXú +üûöÂþþ%øÁùDÿ:LøÁýaþDöþXúµûlöyþ~ûýaþJ#+LúJ%øÁùXÿöÂþXü%%øÁý

%øÁù÷Lö$%ûù"#©þXûeúö÷aø»ý·û.aøÁþXû<Èþ%û/ùaùXþµû1!aö'%ùµûúÈö"

ý Lýûú$ûýaþXûeúö=ý%û

øÁýaþXûûú>!5ýúLûþGþ%û_úµûùÁþ"!Aýú

û.aøÁþþ%û$ùaùXþXû<1!+ýÁûùXùJø»þúµûûýaþXûeúXù$þ%û$ùaùµþXû0!öyýÈþ%û

ùaùXþµûøÁþXùµû*#àüöyý%ýþ·ö${øÁýaþXûûúXùGø»ýaþÈþ%û+ùXûú"ùFaülö

(ÁþXøÁùXûeþ>

CTD$@BS ] @BRBR{Q,UhC+D$UhY \ S+UNZ9<? \ RBRCTD$UW$U$Ê>C?TU/yW$U_UW"CLSM

CTD$UhS+;,UY@yY\ CT@B9WX9%Z)CTD$U5CL=";U X@BS_ \ V$UhP$ST@BW$A \ W \ RBAUQ$?\ @BY

S+;,UY@yY

\

CT@B9W

]

D$@BY/D'V$U/yW$US

\

W U_;$CL=Q

\ A \

W$VC+D$UP$STP

\

R9<;U?

\ e

C+@B9<W$SM

vw¤xtzz&{|}x~;~x|=z$t~

$O yO$,L ¤L O?Q

¤L 1LL@,L QO¤$,L

O

¦Q§y¡?¢y£

¡?¢y£

?¥Q¤ ,¥"!

¦L§y¡,¢¤£#%$&(' )y£ *

"

¡?¢y£

,¥Q¤,¥"!

+

?

#,$ &(-".£

¡,¢¤£

,¥Ly

/0

12

34

5

6789:;<=>

?@A

BCDE

FHGIJ

KMLN

OQPRSUTV W,XHY

ZM[\

]

?O^$_a`

bcd e f

g hij

kHlmn

o

p%qrs

tHuvwx y%z{|}~|

,,

¡ ¢

£

¤¥

¦¤ §¨

©ª «¬®¯ °

±²³´²µ¶·

¸¹

º»¼

½¾¿

À¼

Á

)*?+.-/10ÃÂ4ÅÄ0t³B=0=8 0=B=>ÆÄ2ÈÇ<6=>6 <H*° >ª/*yò"-=>ª*,A.B

ôÛ"ÜÛ"ÙåÜÝ5ÞâTÝÛ"Ù ã$Ý}Üßk×dÙ{ðhÜ=IâTä)ã=C%û

Ä#l"Å µ s

ÿöyüû

ùµþLúµûù$þ%û(üö$h(ÁþXøÁùXûeþ$#%ùµûúXù$ü<%úXúµûýaþ{øÁýþ%û_ùaù/3

þµû1!

%øÁû{þ%û

Äl"Å

µ

s¾GoÉ=s=q

ÿÓöÂüûùXþLúµûù{þ%ûaülö$

(Áþµø»ùµûþ'$#k+ùXûúµù

øÁù%øÁý{þÁûlö÷Lûþ+ûÈùaùXþXû<1å+û

öÂúXû#Dþ/aÿjû

ËÊ

¹Å

µ

suGÇ#uG¸¿QËnÇ»

!AöÂýö$Lû+ú3öyøÁü=ùXÿjûüø*ülöæ3

þµøý4#+úöÂúXþµûùXøöyýYÿ%ú{%üþXùd$#

Å µ suGÇuG¸

ù[öyý

Ë#nGÇ ù>Âþ%û

ùµþLúµûÿöyøÁúµù ø

·Hrt¸¿ûnGÇú ) %ù"!

ûXöyý»ûöJ(ÁþXøÁùXûeþöyùö

,Áû!%öyýýþþ%ú,ø»þµù7û<»û<~ûýaþXùöÂùøÁþ

öÂùþ%û/ülöÂùXû

øÁý~þ%û$øÁý%øÁþXøöùµÿûüeøjülöyþµøý$

è,%úü%%û=øÁülö$5úXûlöÂüþXøLý+ùÔ

Ë

ÍÍÌ þ

Ë

ÍÎ

ö÷LûFûûeý%û%3

ý+ûý

Äl"Å µ s

Lý %û<1%ûeùXüúµøjûþ%û¨#++ú$ÿ)ùXùµø»û

ö"aù$#úµûy÷aøÁý9þ

jö$Lù[öyý

øÁý%ùµûúXþµø»ýwþ%ûeø»úGù øÁýaþwöÿ:LùµùXø0Lþ+ûú8Fö$:è%ú

ü%%û=øÁülö$[úXûöyüþµøý%ù

Ë

ÍÈÏ þ

Ë

ÍÈÐ

jö÷Lû'ûûeý%û%jý%ûLý

:Lþ

Ä#l"Å µ s

öyý

Ä#l"Å

µ

s#¾Go=spq

:%û~öÂúXûöÂùXøÁülö$þ%û

ùRö$~ûYöyù/þ%û'#T%ú/ü%%û=ø»üö$[úXûlöÂüþXøý%ù%û%jý%ûLý

Äl"Å µ s

ý{!+û.aüûÿ%þF#+LúJþ%ûF#öÂüþ/þöÂþDþ%ûjö÷LûYþúXûsy÷Lû$øÁý 3

þµûLûúµù5#±ú³üö$:(ÁþXøÁùXûþµùAùµþLúµû~øÁý_þ%û

Äl"Å

µ

s¾GoÉ=s=q

ÿöÂüû!höyýþ+ûö÷û$þ=ø»ý+ùXûúµþ$øÁýþµûLûeúXù/øÁýþaülö$N(*3

þµø»ùµûþXùGùXþúXû-øÁý{þ%û

ÄlÅ µ s

ÿöyüû,(%ûùµû'#+%ú/ü%%û=øÁülö$

úµûlöyüþµøLý%ùJùXÿjûüø*#+~þ%û4#öÂüþþjöyþý%üû·öF%ùµûú4öyù%ûeüø%û

þÁûlö÷û·þ%û~ùaùXþXû<1!hþ%ûý%øÁùaülö$h(Áþµø»ùµûþjöyù$þjû

û=ÿ%þXøÁûN!yý/ý%û

øÁýaþXû<Lûúµù5Èö"4jûøÁý%ùXûeúXþXû<~øÁýaþ4%øÁù5aülö$

(Áþµø»ùµûþ>èLúùµø=ÿÁøÁüøÁþ/_ÿ%úXÿ:Lùµû!:),%úXûF½%ûÿ+ø»üeþXù4Lý

þ%ûjûö÷aøLú($#/ü%%û~øÁülöúXûlöÂüþXøý%ù

Ë

ÍÑÌ öyý

Ë

ÍÈÏ

s#+Lú

Ë

ÍÑÌ þ

_øÁýaþXû<Lûúµù

½\¿Î

(Áþµø»ùµûþ>!aþ%ûøÁúùøÁùøÁý%ùXûúµþXûøÁýaþ_þ+ø»ùJüö$(»þµøÁùXûþ"

#+ú

Ë

ÍÈÏ þ

/øÁýþµûLûeúXù

½´¿Î

öÂúXûúµûy÷û#±úþ%ûùRö$=û¤$3

ülö(Áþµø»ùµûþøÁý

Ä#l"Å

µ

s#¾=Ä=spq

!aöyýþ%ûøÁúJùøÁùDö%û

þ~öyýþ%ûúaülö(ÁþXøÁùXûþÝø»ý

Äl"Å µ s

(7)

úXûlöÁø¢eûn Íþ%ûþXúRöyý%ùµøÁþXøLý%ù

Ë

ÍÑÌ þ

Ë

ÍÒÐ

¼·+û{þÍþ%û

3¿4h4

M

ùXûöyýaþXøÁüù"!Lþ%û

Ë

Í½

þXúRöyý%ùµø»þµøLý%ù9ülöyýsûJúµû

ùXø(Áþ3öÂý%û,%ù !Aöyýûöyü%$#þ+ûülöÂýjû(úµûùXø(*3

þ3öÂý%û+ù{ùµû÷Lûeú3ö$9þXø=ûù>!hÿ+úy÷aø%ûþ+û_ÿ%úXû%3Þüý%øÁþXøLýøÁù

#+*)Áûd%û4úµø»ý~øÁùúXûÿjûlöÂþXû0%ýaþXøAþ%û$ÿ%úµû%3ÞüLý+ø»þµøLý

øÁù·ý0Lýûú4#+:Áû0#TLúYýLý%ûs$#/þ%û

Ë

Í½

![ø/ûø#ý

Lý%ûYøÁýaþXûûúúµûÈöÂø»ý+ùø»ýþ%û'(ÁþXøÁùXûeþ>þJþ%û'û<LøÁý%ý%øÁý

$#þ%û_ùaùXþXû<1!ýwû~ÿ+þ/jö$Lù$öÂúXû_ÿ%úµûùXûýaþYøÁý

Äl"Å µ s

û~öyùµù=û_þöÂþfÑ-øÁýaþXûûúXùYûýaþXûú_þ%û_ùaùµþXû ùXø(Áþ3öæ3

ý%û,%ùùXûe÷LûúRö$YùXø(Áþ3öÂý%û+ù

·.ruG¸ n"¼s\½t¾

µ

¹½\¿$·Hrt¸Á»

<

%ûùµûéÑsøÁýaþXû<LûúµùÈöyúµû %øÁùXþXúµø%þXû<åy÷Lûú_û<.ÀöÂüþ Ñö$ù

Lý%û)øÁýþµûLûeúsÿûeúåö$ !-ûüö$%ùµû]ûlöÂü8´aüü<%úXúµûý%üû$#

µ

¹t½´¿$·Hrt¸»

öÂùþÈöyüeüûùXùYö

,»û4ö~øÁý Lú¿3

þ(jû·öyüeüûùXùµû0{=þ

(úúXû=ûþ{+ùLúþXúRöyý%ùµøÁþXøLý%ù"

2Þýþ%û$øÁý%øÁþµøÓöùµÿûeüø*ülöyþµøLý1$!,Ñ\Ó

M"

ÿöÂø»úµù$#[ø»ýaþµûLûúµùDöÂúXû

ø~û<%øöyþXû<øÁýa÷,Á÷Lû$øÁýYþ%ûü%%û<~øÁülö$úXûlöÂüþXøý%ù>h%øÁù[øÁù

ö$

ö"ù[þ%ûülöyùµûöyùþ%û&Ñ(jö$LùöÂúXûöyüeüûùXùµûüLý+ü%úXúµûýaþ

wþ%û

Ë

Í½

øÁýþµûúXýjö$þµú3öyý+ùXøÁþXøLý+ù>+û'úXøÁý $#9þ%û

Ë

Í½

þXúRöyý%ùµø»þµøLý%ùYÿ%úaüûeû%ù %ýaþXø9ýLý%ûs$#/þ%û ülöÂýjûjúXû!

þ %ù'Lý0Lý%û=øÁýþµûLûeú·úµûÈöÂø»ý+ù$øÁýþ%ûs%ý%øLý#Dö$7þ%û

ö$ù>

äû%ý+û~ûýaþ(¥ ¦ÿ+úy÷aø%ûù_þ+û#T

ø»ý)

I

Yö"#©þµûúÈö

úXøÁý4#Éþ%û

Ë

Í½

þXúRöyý%ùµøÁþXøLý%ùhýLý%ûøÁýaþXû<LûúúµûÈöÂøÁý%ù[ø»ý

ÄlÅ µ s

M

þ%û$ü,~ÿ%þRöyþµøý_øÁùúXûlö»ø¢û<#T_øÁý=ÿöyúRö$Áû

y÷Lûú~öö÷Löyøö$Áû~ÿjöyøÁúXù_ÿ%úµûùXûeýþøÁýþ%ûöLù(#

Ä#l"Å µ s

öyý

Ä#l"Å

µ

s#¾Go=spq

T=þ+û{úµûÈöÂø»ý+ø»ý{øÁýaþXûûúøÁùÈþ%û

ù$#/þ%ûø»ýaþµûLûúµù_ÿ%úXûeùXûýaþøÁýÍö$þ%û ö$ù($#

Ä#l"Å µ s

öyý

Äl"Å

µ

s¾GoÉ=s=q

jû%#+úXû$þ%ûJúXøÁý(#

Ë

Í½

ÿÓã Ô [\& "\]^ Þ WY`

âZÍÕ&Hb&Ü &$G#"â&ã

#Êþ%û

öyÿ%ÿ»øÁülöÂþXøLý~öÂþ7þ%û4öyþRö4Áû÷Lû<ëhJù

ûJøÁýþµûý=þ'%þRöyøÁýÈö

õö÷Lö_öÂÿ%ÿÁøÁülöyþµøý%øÁùµþXúXø+þXûy÷ûúþ%ûûN!%øÁþøÁùý%ûüeûù/3

ù3öÂúþþ%øÁýö$:%þ$öyÿ+ÿÁûþXù$ùµþúXøÁýþ%û(aülö5(ÁþXøÁùXûeþ

úXûöÂþXû-þþ%ûs%ùXûú

wùXþRöyúXþµù_þ%ûöyÿ%ÿ»ûeþ>0%ûùµûÑöÂÿ 3

ÿÁûþXùý+ûûwþ·ü,(%ý+ø»üöyþXû

øÁþ=ûlöyü% Lþ%ûúøÁýú%ûúþ

úXûlöÁø¢eûDþ%û·4¸¶$ö$s~öùùµþXû0h%ûõaö÷Lö$ÿ+úú3ö~øÁý

öyý,ö$û7üý%ùXþµú3öÂø»ý+ù7öyý~öÂÿ%ÿÁûþ[þ$ü<Lý%ý%ûeüþ7û<.ü<+ùXøÁ÷Lû$þ

þ%û'ùXþ

~ûýaþ¥«=øÁýaþXú +üûùöGùXûúµ÷Lûú"5%øÁùÁûlö$+ù7þö'jûö÷aøLú

%øÁùXþµúXø%þµøý

¬á*§áL¦:á ¥¨ÙGjÝhÙ õÙ ÝÛñhã$äÚ$Ùà"à$á %û]ùµûúX÷ûú>!-ülöÁû

mÀp¾Gûn=ÀDÍ"u=À=nGq

!löyüeþXùöyù7öJ éhûúXûeþ

ûûeýÈö$aþ+û×Ö

#À=uGs ù>

%ûùµûúX÷ûúøÁù5ýöÁûþ·úµûüûøÁ÷Lû/øÁýaþXûûúXùX#±ú'ö/ùµûþ$#

öyÿ%ÿ»ûeþXù>!höÂýwþ=ùXûý{þ%ûùXûYøÁýaþXûûúXù/þ=þ%øÁùJù3ö$=û/ùXûþ4$#

öyÿ%ÿ»ûeþXù>! ù%ü%þjöyþ$öyýwøÁýaþXû<Lûú4aûù/úRöyý,(#±ú´ý%û

öyÿ%ÿ»ûeþþ~öyýLþ+ûú÷aøÓöGþ+û$ùXûúµ÷Lûú"

%û{ùaùXþXû< ÿûeú3öyþµøLý%ù{öÂýPø»ýaþµûúXýöjûö÷aøLúXùwöÂúXû

ùXÿjûüø*û_ù%ü%·þöyþ"¤

I þ%û

mÀp¾Gûn=ÀDÍ"u=À=nGq

ùXûúµ÷LûúÝø»ù5ùXÿjûü%3

M

öÂÿ%ÿÁûþ>!J+,$þ%ûwöyÿ%ÿÁûþµù~öyúµûÈúµûùXÿ:Lý+ùXøÁûþÈöÂøÁýþRöyøÁý{ö

aülö$X(ÁþXøÁùµûþ4$#DøÁýaþXû<Lûúµù>!°½{Yöyýöyÿ%ÿÁûþFöyùYþøÁý%ùXûúµþ

øÁýaþXûûúXùJûýaþXûúµû0{=þ%ûF%ùXûúJøÁýþ_øÁþXùaülö$(Áþµø»ùµûþ>!TÕ

öÂý~öyÿ%ÿÁûþXöÂù7þ·ü,»ûeüþ7ÿjöyøÁúXù5#AøÁýþµûLûeúXù>!+þö$ûþ%ûøÁú

ù1!%öÂýþ_øÁý%ùXûeúXþ/þ%øÁùùøÁýþ·øÁþµùaülö$(Áþµø»ùµûþ>!T

öÂýöÂÿ%ÿÁûþ5öÂùþGùXûý=øÁýþµûLûeúXù9þ/þ%ûJùXûúµ÷Lûú"!Ø,[þ%ûöÂÿ 3

ÿÁûþJöyùJþ_üúXúµûüþwùµûýøÁþXùaülö(ÁþXøÁùµûþ¤#ø»ýaþµûLûúµù

þ_þ%û/ùXûeúX÷Lûeú>!:Lý%üeû$þ%û4%ùµûú

öyýaþµùþ(Áûlö÷LûJþ%ûGùaùXþµû1!

1%Ýþ%û$öyÿ+ÿÁûþXùXö÷LûJþ_ö÷ø~öF%ûlöaü8_ùµøÁþöÂþXøLý_þöyþ

aüü<%ú

%ûýYþ%ûý (jûú#øÁýaþXûûúXù[ÿ%úµûùXûýaþøÁý$þ%û

,ÁûùaùµþXûøÁùÁûùXùþöyýþ%û$ý (jûú¤#öÂÿ%ÿÁûþXù"

¬¡á§Ná«á í Ö e>Ö;TZgihª« à<ñ5ÙÚ$âj¤Ú$ÜÛ"âTä)ÝXá´%û 3

4h4

M

üöyùµùXûù¼$#)þ%ûoöÂÿ%ÿÁøÁülöyþµøLý÷aøÁû

û

øÁþ ö

üÁøÁûýaþ8ÂùXûúµ÷Lûúöyúµü%%øÁþXûüþ%úXû/øÁù5ø»÷ûý( 4),%úXûùÕ! $öÂýÆØ

ôìà<Û"Ù{õ ä)ñdÙ{ã$ÜÛ>âTä)Ý5àDC+ûy÷ûú3ö·k¸¶$ö$s~ö~ùaù/3

þµûoøÁù$ùµÿûüeøjû {þ%û

k.lGmnDopo.n=lGqHrsuDo

ü<ÓöÂùXù"!AøÁþ4Lûûeÿ%ù

þ%û/ù3ö$=û=ûþ %ùþöyýúµû%ý%û=ûýaþ¥ ¦

vwyxtz$z^{&|"}&x~;~x|GGzt~

$yL Q1,?Q

ÙÚÛ"ÜYMÝy 1LQ1,

O $yL$,Q

ÙÚÛ"ÜYaÝßÞàáâáLO(_OL

$yL O?Q

ÙÚÛ"ÜYMÝy O

ßÞãäâåGHUäMæ?QO

ÙÚÛ"Üç_"ÝLQOQ

LOy$O,$,Q

ÙèÚÛ"ÜYaÝQO¤

£%$

¤é ))%ê

£

O

ë )),ê

£

¡,¢¤£

?¥Qy%!

ì í

ìê$Hî

êí

ê* _

_

]

$,`

ï

ð

ñò

ó

ô

õ ö

÷

ø

ù

ú

û

ü

]

X?"`

]

$,`

]

$,`

)*,+.-/10Ãý4þÄ0t³B=0p8:0=B=>ÆÄ«ÿÇAG0p/16¯y¯ °° >0=8

'üLý+ùXþXú%üþLú;µ

uG¶Dk.lGmnto=o.n=lGq.rtsuDo

öyù'jûûýÍö%û

±ö±+û%#ö$»þºüLý%ùµþXú%üþúøÁùýÉýLûúù~üøÁûýaþ8< 2Þþ

úµû& %øÁúXûùþjöyþ>!wöÂùù{ý öyùö±·4¸¶$ö~öùaùXþXû< û.,3

øÁùXþµù>!sö

m#À=¾Gûn=ÀtÍ.u=À=nGq ªéÉûú

Ç=¸

øÁùüúXûlöÂþXû üö$Áø»ý

Ç=¸ ¼¸u=nGsu

<!

%ûeúXû

Ç=¸

ø»ù$ös34hk

M

Rûüeþk#àü<ÓöÂùXù

mÀ=¾Gû#n=ÀDÍ.u=ÀpnGq

!AöÂý

¼t¸u=nsu

øÁù·þ%û%ûz#ö$ÁþYüLý+ùXþXú%üþLú>

%û'ûüþ$ø%ûýaþµø»þ/

Çp¸

øÁù/þ%ûeýùXþúXûøÁýþ%û

mGÍ ÿöyüeû

%ûµ

uG¶ ·HruG¸¹º·Hrt¸»

=ûþ wø=ÿÁø»ûeùþ%û(aýö~øÁü/üúXûz3

öÂþXøLý#Döý%û

öÂÿ%ÿÁûþ

n

¸ülö$ÁøÁý

n

µ

u¶

Ö

#À=uGs¹Çp¸»

2Þþ-ùXþúXûùþ%ûsÿöÂø»ú

n¿$·Hr¸

ø»ý;þ%û

rts¾G¸u=nÀpuGsHr

ùµþLúµûùÿöÂø»úµù1#%ùXûeúXùöyý±öLù>¡LøÁülö !Jø»þùXþLúµûù

ö

ö"aùþ%ûùRö$=ûsøÁý #+LúÈöÂþXøLý!'+þUöÂùþ%ûöyýÁø»ý

# þ%û±aülö$-ö$öÂùåûeü=ûnLúµûü<~ÿ»û<.!øÁþÍøÁù

%û<%øÁülöyþµû þ]öyý öÂÿ%ÿÁûþ" %û

·HruG¸ n"¼ts\½t¾

µ

¹t½\¿$·.rt¸»

=ûþ )ü%%ûü%aùø*#~þ%ûÿöyøÁú

n¿$·Hrt¸

öÁúXûlö)û.aøÁùXþXù"!

öÂý!aø*#Aù:!,#+Lú

öÂú%ù9þ%û$öÂüþXøLý=þYþ%û4%û<%øÁülöyþµû{öyÿ+ÿÁûþ>!

n

¸ülö$ÁøÁý

n·HruG¸ n"¼ts\½¾

µ

¹t½»

<É%û

¸u"rt·Às¹t½\¿$·.rt¸»