Proceedings Chapter
Reference
Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study
DI MARZO SERUGENDO, Giovanna, GUELFI, Nicolas
Abstract
The problem addressed in this paper is the following: how to use high-level Petri nets for the reverse engineering of implemented distributed applications. The paper presents a reverse engineering methodology applied on a real (simple) Java applet based client/server application. First, starting from the Java program, several abstraction steps are described using the CO-OPN/2 formal specification language. Then, the paper presents brand new research that studies property preservations during the refinement process
DI MARZO SERUGENDO, Giovanna, GUELFI, Nicolas. Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study. In: Institute of Electrical and Electronics Engineers. Proceedings of the 1998 International Conference on Application of
Concurrency to System Design . Washington : IEEE Computer Society, 1998. p. 166-176
DOI : 10.1109/CSD.1998.657549
Available at:
http://archive-ouverte.unige.ch/unige:48309
Disclaimer: layout of this document may differ from the published version.
1 / 1
56$)+4*879&32:&<;6+4=&$>?3@A BC&0D$E%FHG
IJLKNMPORQQOTS%JUAONVWXKZY[\V]^P[XQ_`Kacbd e%JgfhKjigOPkI][Ximlnd
ao4pHqsrp QJLM[XVtkcJvucwxKNy9I[XQ[XMPO dsz I z{ S qsr Y|9Jgk}k%~[N_[XVsONi q Qkcu}JLu}]u[
Y|9JLuW\[XViORQ_ KRy)[NfsQKPiLKP^jw r Y|9JvuWX[\VigONQ_
_`JLORVW\K` _`J[X`f ^j][Xil3 _`J[Xfs
Z,NNj
N$, ¡}¢£h¤,¤h¥¦¦¤T§m¨ª©R§¦N£N}H§¦©N=«s¡m¡h¬§¨hh®
¯° h¬±©v%²h¦R§}´³g¡µ}c¡¶)}©L§¨N©¦·«ch©N9¥}µ}¸¦¸=}¨h,§³
¨N}c§m¨h¥«3§m¢)P¡¢$}¨N©L¤¹¤h§¦©L§m ²\©L¤¹£hj¡§mº£,©v§m,¨X¦$» ¯¼H½
¥¦¨N©£T¥}µ¦¨h,§m¨N§m¨hª¢4©N¤hs¡,¾¿£hj¡§m¤ªh¨
£¥£¡ÁÀ¦§m¢)P¡gÃ9Ä\£,µ}£9£¸hj¡© £s¦¤ºc¡§m¨N©ÅN¦}cµ}£¸hP¡§mº£s³
©v§h¨
¼Æ
§¦©mǦ©L£h©L§m¨hÈ«,¢É©N¹ÄX£hµ£3h¥£h¢=Ǧ¸µ}¥£s¡P£, ³
¦©v¥£hº©v§m,¨%¦¸©LÂP¦:£,¤,¦º§m ¤9²,¦¸§¨h9©N9Ê3˳˶Ì3ÅRÍ«h¸³
¢4£¡¦L´º§Îº£h©L§m,¨x¡£,¨h,²\£h
¼
N¨Xǹ¬¹c¦¸¨N©¹£Ï £,¨N¤
¨N¬Ðc¦£,ºH©R£h©È¦©v²X¤h§¦È¸´©L§mc¦¥¦µ£h©L§mh¨X¦¹¤h²X³
§m¨h%£¥vΨR}¢$}¨R©ºc¦¦ ¼
ÑÓÒ,ÔNÕÖj×sØjÙ\ÚÛ)}µ}¸¦¸¹Ü3¨h,§m¨N§m¨hǶ3}©L§Ì=}©¦ÇÝ¡,c³
}¥£h§mºßÞsNº}§ÎȺ£,©v§h¨X¦ÇHÊh¨Nº²X¨N©$£h¨N¤xà§á¦¸©L§m ²X©v¤¿ÞP¾¦³
©v¢=¦ÇÄ\£,µ}£Ç¶3¸´©L¾xâN}c§Îº£h©L§mh¨ ¼
ãä åhæ
NNç3èéj´ê¥ç
æ
ëLìnínî$ïð,ñNòóôNîõ$ösñ÷öøõ¥î}ösôRùÏôNîú,îøðhûjîô÷ôRóò¥üõ¥óýRþNüîôTöûXÿ
ûNøóï}ösü¥óð,ñ¹ìvõ¥ð öò¥ðsìvügí3ösõ¥înîñhóñNîîõ¥óñúXóîí3ûPð,óñ\üínîöõî
óñ\ü¥îõîcòüîcôxóñPöúXóñö %îüNðXôNð,øðhù9ýjösòîcô÷ð,ñÓö ìvðhõöø
òûjîïóPï}öüóðhñAømöñhþPöhî÷öøøðsí3óñxöªõîú,îõò¥îTîñhóñNîîõ¥óñ
ûNõðXïîcòò3üjösüï}öñýjîþNò¥îô9ìLðhõú,îõóPï}öüóðhñöñNô9úhösøóôPöüóðhñ
ûNþNõ¥ûPð,òîò¹ðhõÈìvð,õ3õîÿgîñ,óñRîîõóñ
ëgñÐðhõ¥ôNîõü¥ð öôNôNõîcòòHüNîcòîxösòûjîïü¥ò¹íî÷ösõ¥îÏíðhõXóñ
ðhñTö%îüRð\ôRðhøð,ùÏýPösò¥îôTð,ñxüNîðhóñXüþNò¥îðì:ö%ìvðhõöø
òûjîïóPï}öüóðhñ±ømösñ,þPö,îöñNôÐðsì4ö üî%ûPð,õösø3øðhóïNî
ösôNúhöñXüö,î¹ðsììvðhõöøPò¥ûPîïcójï}ösü¥óð,ñNò¹óòüjösü3üRîù÷ösøøðsí ö
ûNõîcïóòî3òùXò¥üî ôNîòïcõóûNüóð,ñ4ñNîcïîòòösõ¥ùìvð,õûNõ¥ðhûjîõügù=úhîõ¥óRÿ
ï}ösü¥óðhñxîPöú,îï Rðhòîcñ4ü¥ð3þNòîüNî"!#)ÿ#%$'&%()+*,!ð,ñNïþNõÂÿ
õîñXü-#ýîïüÂÿ.#õ¥óîcñ\ü¥îô/$`îü¥õó0&îüò21¹òûjîïóPïösüóð,ñÏìvð,õHösøÿ
óò436578!#)ÿ#%$'&%()ßóñXüî,õösü¥îòÈóñ ösñxð,ýîïüÂÿð,õóîñXüîcô
ösûNûRõð\öï2$`îüõ¥ónñRîüò¹ìLðhõ¹üNî9ôRîòïõ¥óûNüóðhñxðì ïcðhñNïþRõõîcñ\ü
ýPî9PöúXóð,õòhösñNô$ösø:hîýRõösóïòûjîïóPïösüóð,ñNò;3:<<7,ìvðhõ`üNîòûjîïÿ
óPï}ösü¥óðhñNòðì üNîò¥üõ¥þNïüþRõîôZôPöüö%îúhð,øú\óñHóñ¿üNî$îcüõó
= >?9@AB,C6D9EF
aG9GH8IKJLJJMONLPQR
C6STEUVWC6XYFTEU
N
B,?ZUUVC6XDS ?2[
>\]_^
GH`Lab BTZcE
aGG9H-dPeP STEC6f
b`Lg2b
@ b X
Mih EC6SjL?B
e E b S Q UUX
S,@?XST?B,UV@
b
B,FTC
bR6R A Q
A-FTEU
J
S,@BTC6Fkl?XD
h
UBTfmUSTU
b
B,ZcE
N
B,?2nTUZF
d2oopcd"q
]USTC6DXr[s?Bt
bR C6V
b
FTC6?Xu0v:]Ut
bw
jC6F,EFTEUxX
b
XZC
bR SP
@@?BTF
?2[0F,EU-y
dJ
\zv{y}|ZU
d0~
UV
~
UB
b9R VU
R^~ UV
P Z b
FTC6?X-UFVU
R6b
\ZC6UXZU
wc`
b
XV
Q
AFTEU"\jC6STS
b
FTC6?X
bR
\ZC6UXZU
d ? P XV
b
FTC6?X@BT?2n,UZF
qTd
?BTf
bR
a
UFTE?VS[s?B>?9XZ
P
BTB,UXF\ASTFTUfSTu
M
ñNîcüò NîöôNúhösñXüöhî=ðsìö9üî9ûjðhõöøøðhóïóò¹üPöü¹óüöøÿ
øðsí3òü¥ðîXûNõ¥îòòÈúhîõ¥ójï}ösü¥óð,ñ4ösñRôúhösøóôPösü¥óðhñõ¥îXþNóõî%îñXüò
öò öHò¥îü$ðsìûNõ¥ðhûjîõü¥óîcòHð,õîðsú,îõü¥îûjðhõösøøðhóïò$ösõî
íîøøòþRóü¥îô¿ìvð,õ $`îü¥õóñNîü¥òýPîcï}ösþNò¥îðì üNîóõðhûjîõösüóð,ñPösø
ò¥üösü¥îÿgîúhîñXüýPösò¥îôöûNûNõ¥ð\ösï2xîösõ¥î3ïþNõ¥õîñXüøù9ò¥üþNôNùXóñ
ò¥îúhîõösø`üî%ûPð,õösøjøð,óïcònóñð,õôNîcõ3üð9ï2NðXðhò¥î:üNî¹ðhñNî¹üPösü
ýjîòüOPü¥ò¹ðhþNõñNîîôNò;XþNòjüNóòûjösûjîõ¹ôNðXîò¹ñNðhüîXûNømösóñ
üNî¹þNòîðìü¥îûjðhõösøøð,óï)ìvðhõîXûNõ¥îòò¥óñûNõ¥ðhûjîõü¥óîcò
ëgñÏðhõ¥ôNîõü¥ðösûNûRøùö$õ¥î}ösøõ¥îúhîõ¥òî$îñ,óñRîîõóñ%ûNõðXïîcòò
Põ¥òüínî-jöúhî¹ó:ûNøî%îñXüîôö\öúhö$ösûNûNøóï}öüóðhñXüPösüínî
þNò¥î öò:öï}ösò¥î9òüþRôNùONîñínî+PöúhîûjîõÂìvðhõîôÏò¥îúhîcõösø
öýNòü¥õösïcüóðhñ$òü¥îûNò*mûNõ¥ðhõöóñøáöñhþjöhî}ïcð9þRñNóï}öÿ
ü¥óð,ñømöùhîõïøóîcñ\ü2(sò¥îõú,îõ,ôPösüö3ôNóò¥üõóýNþRüóðhñL19hösñRôïðhñRòóôXÿ
îõ¥îôÏò¥ðîûNõð,ûPîcõüóîò¹ösü3î}öï2ò¥üîû
NînûRøáöñðsìjüNîûPösûjîõóòüNîÈìvðhøøðsí3óñLjõòühíîóñXü¥õðsÿ
ôNþRïî4üNî$ýPösò¥óï$ïð,ñNïîûNü¥òðsìüNî$òûjîïóPï}öüóðhñßìvð,õöøóò
!#)ÿ#%$'&%()ò¥îïðhñRôínî%ûNõîcòîñXü9óñxôNîüösóøòòîú,îõöø öýXÿ
ò¥üõöïüóð,ñòü¥îûNò3ûjîõgìLðhõ%îô9ðhñ9ð,þNõõî}öøLXöúhöösûNûRøóï}öüóðhñ
üNóõôRínî¹ûNõ¥îòîñXü¹üRî-îüNðXôNðhøðhù$ínî¹óñXüîñNôHü¥ðösòò¥îòò
ïð,ñNïîõ¥ñNóñüNînúhöøóôjösüóð,ñ:ðìûRõðhûjîõ¥üóîòôNþRõóñöõîú,îõò¥î
îñhóñNîîõ¥óñ9ûNõðXïîcòò
nä 8OWW0 l ê.:`Nêç æ
çê¥l
!#3ÿ#$&%()W3657nóò4öñ8XùXýNõ¥óô¿òûjîïóPïösüóð,ñxìvð,õöøóò
ýPöòîô±ðhñAösø:,îýNõöóïÏòûjîïóPï}öüóðhñRò3:<<74ösñNô $`îüõ¥óñNîü¥ò
íNóï2 öõî%ïð9ýNóñNîcôxóñTößí3öù÷üPösü$óò4ò¥ós%óøáöõ¹üðxösø:hîÿ
ýNõösóïñNîcüòi36¡97.£¢ø:hîýRõösóïò¥ûPîcïóPï}ösü¥óðhñNòösõ¥î4þRòîô¿üð%ôNîÿ
ò¥ïõóýjîüNîHôPösüöHòü¥õþNïcüþNõ¥îòÏösñNôªüNîìvþNñNïü¥óðhñPöø öòûjîïüò
ðì)öHò¥ùXòüî98íNóøî¤$`îü¥õó3ñNîcüò9ösøøðsíÉüðzðXôNîøüNîò¥ùXògÿ
ü¥î8¥òïcðhñNïþRõõîcñ\ü¿ìLî}ösü¥þNõîò¦ðZïðûjîñNòöüî¿ìvð,õÏösø:hîÿ
ýNõösóï§$`îü¥õó3ñNîcüò¥ømöï ¿ðsìò¥üõ¥þNïüþRõóñxï}öûPösýNóøóüóîò!#)ÿ
#$&()%ûNõðsúXóôNîò$öò¥üõ¥þNïüþRõóñ¨îï2PöñNóò1ýPöòîôxð,ñ ö
ò¥ù\ñRï RõðhñRðhþNòóñXüîcõösïcüóðhñ$ýPîcügínîîcñösø:,îýNõöóïnñNîcüòXösòÈínîøø
öòñNðhü¥óðhñNòòûjîïóPï¹ü¥ð:ð,ýîïüÂÿð,õóîñXüöüóðhñ9ò¥þNï2öòüNî3ñRðsÿ
ü¥óð,ñNò3ðsìïømösò¥òjóñNîõ¥óüösñNïcîPöñNôHòþNýNügùXûNóñ0¢Aò¥ù\ò¥üî1óò
ïð,ñNòóôNîcõîôÏösòÈýPîóñ9ö¹ïð,øøîcïüóðhñ9ðìóñNôNîûjîñNôNîcñ\ü3ð,ýîïü¥ò
*Lösø:hîýRõösóïñNîü¥ò 1`íNóï2¹óñXü¥îõöïüöñNôïð,øømöýPð,õösü¥îüð,îüRîõ
óñ9ðhõ¥ôNîõ3ü¥ð öïïð%ûNøóò9üRî:úhöõóðhþRòüöòXò3ðsìüNî¹òùXòü¥î8
óñNôNîûjîñNôNîcñ\ü=îñXüóügùÏïðûjðhòîcô÷ðì ösñ¿óñ\ü¥îõñjösøò¥üösü¥î öñNô
íNóï2ûNõ¥ðsú\óôNîcònò¥ðî3ò¥îõúXóïîòüð$üNîîXüîõ¥óðhõrNîð,ñNøù
í öù$üð=óñXü¥îõöïüní3óüösñ9ðhý¸îïü3óòüð$ösò$ìLðhõóüòÈòîõ¥ú\óïîcò
üNîÈóñXü¥îõñPöøXòüöüîóò`üNîñ=ûNõð,üîïü¥îô9ö\öóñNòüþNñRïðhñXüõ¥ðhøøîô
ösïïcîòò¥îò;!#)ÿ#$&%()ôNî·PñNîòöñðhý¸îïüösòýjîóñ öñîñ´ÿ
ï}ösûRòþNømösü¥îôTösø:,îýNõöóï4ñNîcü4óñ¿íNóï ¿üRîûNømösïcîòïðûjðhòî
üNîóñXüîõ¥ñPösøXòüösü¥îösñNôüNîüõöñNòóü¥óð,ñNò%ðXôNîøhüNîïðhñNïcþNõgÿ
õîñXüîúhîcñ\ü¥òðsìüNî3ðhý¸îïü¢8ûNømösïî3ïð,ñNòóò¥üòðsìö9þNøüóòîcü
ðsìPösø:,îýNõöóïúhöøþNîò}NîüõösñNò¥óüóðhñNòösõ¥îôNóúXóôRîô¹óñXü¥ð3ügínð
hõ¥ðhþNûNò¹üNî%ûPösõö%îüîõ¥ó:¸îô¿üõöñNòóü¥óð,ñNòösøò¥ðïösøøîô÷üNî
îüNðXôNòXösñRô9üNî¹óñXüîõ¥ñPösøjüõösñNò¥óü¥óðhñNòNî)ìvðhõîõÈïðhõÂÿ
õîò¥ûPð,ñNôNòüð9üRî:ò¥îõúXóïîòûNõðsúXóôNîôHü¥ð4üNî¹ðhþNü¥òóôNîRíNóøî
üNîßøáöüü¥îõïðûjðhò¥îò9üNîßóñXü¥îõñPöøýjîPöúXóðhõ¥òðsì4öñ ð,ýXÿ
îïü"!ð,ñ\ü¥õöõù$üð$üNîîcüNðXôNòhüNî¹óñXü¥îõñPöøPü¥õöñNòóüóð,ñNò
ösõ¥î4óñXúXóò¥óýNøî:ü¥ð9üNî$îXüîcõóðhõ¹íðhõøôÏösñRôöù%ýPîïcðhñNò¥óô´ÿ
îõîcôÓöònýjîóñ$òûjðhñXüöñNîð,þNò3îúhîcñ\ü¥ò¢±ïømösò¥ò3ôNîòïcõóýPîcò:ösøø
üNîïð%ûPð,ñNîñXüòðsìöòîüðsìð,ýîïü¥òösñNô%óòÈïðhñNò¥óôNîõîcôÓöò
ösñÏð,ýîïü=üî%ûNømösüî;XþNòösøøüNî$ðhýîïcüòðìnðhñNî$ïømösò¥ò
Pöúhî9üNîòö%î9òüõ¥þNïü¥þNõî¹¢ïømöòò-HöùÏóñNîõ¥óü$ösøønüNî
ìvî}öüþNõ¥îò4ðì:ösñNð,üNîcõ4ïømöòò4öñNôWöù÷öøòðÏösôNôxò¥ð%î4ò¥îõgÿ
úXóïcîòðhõï2PöñhîüNî3ôRîòïõ¥óûNüóðhñ9ðìPòðîòîõ¥úXóïcîò öøõî}öôNù
ôNî2PñRîô0RîþNòþjösøôNð,ü3ñNðhüösüóð,ñPöò3ýPîîcñ÷ösôNð,ûNüîcô
©«ª¬®¯¨º,±¯l»°L®¯ºT¼±0¶ÐëgñZðhþNõöûNûNõ¥ð\ösï2üNîÏóñXüîõÂÿ
ösïü¥óðhñxí3óüTöñTðhý¸îïü$óò=òùXñNï2Nõð,ñNðhþRònöøüNð,þxösò¥ù\ñ´ÿ
ï2Nõð,ñNðhþNòßïð9þNñNóï}ösü¥óðhñNò öùZýjîxòó:9þNømösü¥îô½XþNò
íNîñ9ösñð,ýîïüÈõîXþNóõîcò·ö)òîõ¥úXóïcîhóüösòXòüð¹ýjînò¥ùXñNï2Nõðÿ
ñNó:¸îôÐí3óüÐüNîzîüNðXô¾*ûPösõö%îüîõ¥ó:¸îôÐü¥õösñRòóüóðhñ19ðsì
üNî$ðhý¸îïü¹ûNõðsúXóôNóñ9üNî9òîõ¥úXóïcîNî$òùXñNï2Nõð,ñNó:¸}ösü¥óðhñ
ûPð,øóïcùÏóòîXûNõ¥îòò¥îôZý\ùzî}öñNòðì ö%òùXñNï2Nõð,ñNó:¸}ösü¥óðhñ¿î,ÿ
ûNõîcòòóð,ñ§*ôNîïømösõ¥îôöìLüîõüRî
with
,îùXínð,õôL19síNóï2-öù óñ\ú,ðhøúhîHösñXù$ûPösõ¥üñNîõ¥òð,óñNîôýXù9üNõîî=òùXñNï2Nõð,ñNó:¸}ösü¥óðhñðhûjîõöüð,õò*ðhñNî=ìvðhõòó:9þNøüöñNîóügù¿
//
¥:jðhñNî=ìvð,õòî9\þRîñNïî¿
..
¥söñNô÷ð,ñNî=ìvðhõ¹ösøüîõ¥ñPösü¥óúhî$ðhõ¹ñNðhñ´ÿôNîcüîõóñNóòÀ¿+
¥61ÁNð,õîNöûNøîösñ¹ðhýîcïüöù3òó:9þNøüösñNîð,þNòøù3õ¥îXþNîòüÈügínð
ôNóÂîcõîñXüòîõ¥úXóïcîòìvõ¥ð±ügínð3ôNóÂîõîcñ\üð,ýîïü¥òìvð,øøðsíîô¹ýXù
ö$òîõ¥úXóïcîõîXþNîcòüü¥ðö$üNóõ¥ôð,ýîïü
ÁNð,õ4î}öï2 ü¥õöñNòóüóð,ñ¾*ûPösõö%îüîõ¥ó:¸îôZðhõ9ñNð,ü 19ðhñRîð,õ
ð,õîýjîPöúXóðhõösønö\óðòösõ¥î9ôNî2PñRîôxþNòóñ«*<1öñ÷ð,ûXÿ
üóðhñjösøïcðhñNôNóü¥óð,ñÐó:ûjðhò¥îôÐðhñ8üNîxösø:hîcýNõöóï¿úhösøþNîcòóñXÿ
úhð,øú,îôTóñªüNîÏöXóð¨0*,)14öñTð,ûNüóðhñjösøòùXñNï2Nõð,ñNó:¸}ösü¥óðhñ
îXûNõîcòòóð,ñ*,51ÈûNõ¥îÿ ösñRôûjðhò¥ügÿgïðhñRôNóüóðhñNòïð,õõîcòûjðhñNôNóñ
õîò¥ûPîcïüóúhîcøù9ü¥ð¹íPösüóòïðhñNò¥þîcô öñNô4íjösüóòûRõðXôNþNïîcô
óñüNîÈôNóÂîõ¥îñXüûNømösïîò`ïð%ûPð,òóñ3üNîñNîüsðhñRïînüNîü¥õösñ´ÿ
òóüóð,ñóò3îXîïþNü¥îô
©«ª¬®¯Wºc²±¯ºT¯2ö³8óüNóñZüNîW!#)ÿ.#$&() ìvõöîÿ
ínð,õXî}öï Hïømöòò3óñNòüösñNïcî-Pösò3ösñHóôNîñXü¥óügùl,íNóï %óòösøòð
ï}ösøøîôxösñ¿ðhýîcïü¹óôRîñXüóPîõüPösüöù%ýPî$þNò¥îôTösòö%õîìÿ
îõîcñNïîHðhõ¥îðsúhîcõöügùXûjî4óòî9\ûRøóïóü¥øùÏöòòðXïómöüîôxí3óü
î}ösï2ªïømösòòXþNò`î}ösï2ªðhýîïcü4óôNîñXü¥ójîõýjîøðhñ,ò4ü¥ðÓöü
øî}ösò¥üðhñRîügùXûPîÄXóñNïîÈðhýîïcüóôNîñXüóPîcõòösõ¥înösø:hîcýNõöóïúhöøÿ
þNîò¹üRîùÏï}öñÏýPî$òü¥ðhõ¥îô÷óñÏüNî$ûNømösïîò¹ðìÈöø:hîýNõösóïñNîcüò
Hðhõ¥îðsúhîcõóünóò3ûjðhò¥òóýNøî¹üð9ôNî2jñNî¹ôPösüö$òüõ¥þNïü¥þNõîò¹íNóï2
ðìðhý¸îïüóôNîcñ\ü¥óPîõò
Å%¼±0µ¯»Æ0®¯¼L»µ¶Ç!ømösò¥òóñNò¥üösñRïîòïösñÏýjîôNùXñPöóï}ösøøù
ïõ¥î}ösü¥îô_$öõü¥óïcþNømösõïõî}öüóðhñîüNðXôNòíNóï2ïcõî}öüîösñNô
óñNóüómöøó:¸î`üNîÈðhýîïcüòï}ösñ=ýPîôRî2PñNîôhüNîòî_îcüNðXôNòHöù
ýjî3þNòîcô9ðhñNøù¹ðhñNïcîìvðhõö,óúhîñ$ðhýîcïü¢ZûNõ¥îÿôRî2PñNîô%ïõî¸ÿ
öüóðhñ%îüRð\ôHóò¹ûNõðsúXóôNîôÈòþjösøøùïcøáöòò¥îò4ösõ¥î4þRòîô¿üð
ôNùXñPöóï}öøøùïõî}öüîñNîíZóñNòüösñNïîcònýNþRüóüóònöøòð¹ûPð,òò¥óýRøî
ü¥ð9ôNîïømösõ¥î¹òüöüóïóñNò¥üösñRïîò
ÉÊlËW°±¯ºc®µ¶Nî¹ìvð,õöøNòî9ösñXü¥óïcònðì£!#)ÿ#%$'&%()$óò
,óú,îñ¹óñüîõòðì´ïcðhñNïþRõõîcñ\üÈüõöñNòóü¥óð,ñ¹òùXòü¥îò`îXûNõîò¥ògÿ
óñöøøüNîûjðhò¥òóýNøîîú,ðhøþNüóð,ñNònðìðhýîïcüò¥Áòüöüîò;ÄXüösüî
ï2Pöñhîòöõîösò¥òðXïómösü¥îô$üðö9þNøü¥óò¥îüðìPîú,îñXüòíNóï29ösõî
ò¥ós9þRøüösñNîcðhþNò¥øù¿îXîïþRüösýRøî³NîÌPõóñxðì=öñZðhýîïcü¥ò
%îüNðXôÏïösþNò¥îòóñXüîõ¥ñPösøüõösñNò¥óüóðhñNò¹ü¥ðýjî Põîô¿òûjðhñXüöÿ
ñNîcðhþNò¥øùlRîóñXüîõ¥ñPösøüõösñNò¥óü¥óðhñNò9ösõ¥îiPõ¥îô öò4øðhñ÷ösò
üNîóõnûRõîÿgïðhñRôNóüóðhñ9óòÈìvþNøPøøîô¢ñðhý¸îïü¥ò_îüNðXô9ï}ösñ
ýjî_Põîcô9ðhñNøù¹óìñNð¹óñXüîõ¥ñPösøRüõöñNòóü¥óð,ñ4óòPõösýNøîNîìvþNøø
ïð,ñNïþNõ¥õîñRïùÏðsìüNî¹òûjîïóPï}öüóðhñÏóò3îXûNõ¥îòò¥îôxóñHüNî¹òî¸ÿ
HösñXüóïò3óñNïøþNôRóñ9óñXü¥õöÿgïð,ñNïþNõ¥õîñNïcù/*ýPîügíîîñxò¥îõúXóïîò
ðì)öñ÷ð,ýîïü21ösñNô¿óñXüîõÂÿïð,ñNïþNõ¥õîñRïùY*mýjîügíîîñTò¥îõúXóïîò
ðìò¥îúhîcõösø¹ð,ýîïü¥ò 1NîÏïcðûRøîcüîHòîHösñXüóïò%ðsì§!#)ÿ
#$&()$ï}öñýjîìvðhþRñNôHóñ¨3657
Í3ä ÎÏÐ"
N
Ñ`æÒ
ê
æ;
Nê
æ£Ò;Ó
Nç0 Ô
Ð
ANç
WW r
Nóò:ò¥îïü¥óð,ñxûNõîcòîñXüò*<1¹üRî4óñXìvð,õHösøõ¥îXþNóõî%îñXüò
öñNôHüNî-XöúhöûRõð,õöÖÕ ðsìö$õî}öøöûNûNøóï}ösü¥óð,ñNösñRô×*T)1
ò¥îúhîõösøNösýRòüõösïü¥óðhñ¹òü¥îûNò*,ØÌÙ:ü¥ð;ØiÚ1íNóï2¹øîösô¹üð3îú,îñ
%ðhõîHösýNò¥üõösïü!#3ÿ#$&%()¿òûjîïóPï}öüóðhñRòðsìüNîhóú,îñ
öûNûNøóï}ösü¥óð,ñ
Í3ä¥ãä å,æ
ç =
Û éê
æ
N
Nî§ÜöHö$ûPösõösôNó:Ý36)7ösôNú,ð\ïösüîcò öHí3öù¿ðsìûNõ¥ðsÿ
,õöóñíNóï2óòïøð,òîüðüNîï Rîóï}öøhõîösïü¥óð,ñNò#ñNî
ð,õ0ð,õîï2Nî%óï}ösøNõ¥î}ösïcüóðhñNòösõîöûNûNøóîô9ðhñ9ö9þNøü¥óò¥îüö
ï2Nî%óï}ösøXõîösïü¥óð,ñ4õ¥îðsú,îòòðîúhöøþRîò`ìvõðÉö;9þRøü¥óòîü
ïðûNþRüîòðhñRî3ðhõð,õîõîò¥þNøüònöñNô4óñNò¥îõü¥ònüNîCóñXüðüNî
9þNøü¥óò¥îü
2
5 8
1+2 2
1 3 2+3 3
3+5 Global Multiset
Þß6àLáâTã¨äLåOæ_çéèèçiçlêêLßìë·ßìíLî
xî9ïðhñNò¥óôNîõ$üNîìvðhøøðsí3óñîNöûNøî¹ïðûNþRüóñüNî
ò¥þ<ðsì4üNî¿óñXü¥îhîõ¥òHûNõîò¥îñXüHóñ±öW9þNøüóò¥îü³Á`ó:hþRõî<
ösï2NóîúXóñ$üNîõ¥îòþRøü;ï
Nî÷ösûRûNøóïösüóð,ñ9þNò¥üösøøðsíòîú,îõöøþNò¥îõòHüðªóñNòîõ¥ü
óñ\ü¥îhîcõòÏóñXüðÐöÏ9þNøü¥óò¥îüüPösüHíðhþNøô±ýPîxûjðhò¥òóýNøù±ôNóògÿ
üõ¥óýRþNüîô¢ïcïðhõ¥ôNóñ÷ü¥ðÏüRî§Üöö$ûjösõöôNó:¨Pï2Nî99ÿ
óï}ösø3õ¥î}ösïü¥óðhñNòHösõî¿ösûNûNøóîôZðhñªüNîz9þNøüóòîüüNîùjöúhî
üð¿ûPîcõgìvð,õ(üNîHòþ(ðì:ösøøüNî%óñXü¥îhîõ¥ò9îñXüîõ¥îôÐýXùTösøø
üNîHþNò¥îõòWNî%òùXòü¥îðHösôNî9ðìüNî%þNòîcõòüNî9þNøüóÿ
òîüöñNô÷üNîï2Nî%óï}ösø`õî}öïüóðhñ¿óòï}öøøîcôÏüNîiñÄÜöö
*,ñóòü¥õóýNþNü¥îôYÜöö1òùXòü¥î8¹xîûNõ¥îòîñXü%üNîHóñXìvð,õgÿ
öøPõ¥îXþNóõî%îñXüò3óñHügínð$ûPösõ¥üò0NîOPõ¥òüûjösõü3ûRõîò¥îñXüò
üNî9ò¥ùXòüî9 ð,ûPîcõösü¥óðhñNò¹íNóï289þRòüýjî9ûNõ¥ðsú\óôNîcô÷ü¥ðüNî
þNòîcõò`ösñNôÏüNîò¥îïðhñRô÷ûPöõüPüNîôNîcüösóøò:öýPð,þNü3üRî4ôPöüö
ösñNôHóñXüîõ¥ñPösøïcðûRþNüöüóðhñNò
ÉÊõ9¯Ë4¼ò0l»°¯º,¼±0µóôKÙõ"¢ ñNîíAþNò¥îõïösñÏýjî4ösôRôNîô
üð¿üNîHò¥ù\ò¥üî<ösüöñXùWð%îñXürôsöéõ ¢-þNò¥îõHöùÏîñXüîõ
ñNîí±óñ\ü¥îhîcõò3óñXüðüNî¹òùXòü¥î8Nöü öñ\ùi%ð%îñXüýPîcügínîîcñ
NóòîñXüîõ¥óñüó:îöñNô«RóòîXóüüó:îô:÷lõ¢3üösñXùðîñXü
üNîöûNûNøóï}ösü¥óðhñHï}ösñ¨hóú,î öûPösõ¥üómösøúXóîíÉðì üNî4ò¥üöüî9ðsì
üNî+9þNøüóòîüôÚõ"¢AþNò¥îõöù9îXóüüNîò¥ù\ò¥üî1ûRõðsúXóôNîô
NîPösòîñXüîõ¥îôÏóü
Éʯ°¯Ñ°±'²øºT±¯l»±°´«ªrù°lúºT¼L»lóYô:ûlõiNîÏóñXüî,îõò
îñXüîõ¥îôTýXùHüRî9þNòîõ¥ò4ösõ¥î9òü¥ðhõîcô÷óñxö9þRøü¥óòîüô:ülõNî
ösûNûRøóï}öüóðhñªïð%ûNþNü¥îò9üNîßòþ0ðsìösøø3üNîßóñXü¥îhîõ¥òîñ´ÿ
üîõ¥îô±ý\ùZösøø3üRîþRòîõ¥ò ôþýõ«NîHòþ<óò9ûjîõÂìvðhõîôZýXù
ï2Nîóï}öøNõîösïü¥óð,ñNòösïcïðhõ¥ôNóñüð$üRî%ÜööûjösõöôNó:¨
ôsÿéõ"¢Aï2Nîóï}öøõî}öïüóð,ñõ¥îðsú,îò3ügíð4óñXüî,îõò)ìvõðüNî
9þNøüóòîcüöôNôNò¹üNî9 þRûöñNô¿óñRòîõ¥üò$üNî9ò¥þóñXü¥ðüNî
9þNøüóòîcüôéõNîõî%óò:ð,ñNøùÏðhñRî4ügùXûjî9ðsì3ï Rîóï}öøõ¥î}ösï¸ÿ
üóðhñRòýNþNüòîcúhîõösøXðsìPüNîAï}öñðXïïþNõò¥ós9þRøüösñNîcðhþNò¥øùöñNô
ïðhñRïþNõõ¥îñXüøùHðhñ%üNî9þNøüóò¥îüôþÙlõ¢Aï Rîóï}öøPõ¥î}ösïü¥óðhñ
öù9ðXïïþRõöòò¥ð\ð,ñ÷ösò¹üNîòüösü¥î4ðì·üNî 9þNøüóòîü3óòòþNï2
üPöü4üNîï2Nî9óï}ösøÈõî}öïüóðhñªï}ösñªðXïïþNõócîÏösò$òðXðhñTöò
üNîcõî4öõî4öünøî}öòü3ügíð9óñXü¥îhîõ¥òóñüNî9þNøüóòîcü
Í3äcä ¨;
Ô
Ð
Nç
Ò
N
Nî\öúhö 3:<7PûNõ¥ðhõö¨ ÕsðsìüNî3ôRóò¥üõ¥óýRþNüîôÜ=öHöÿ
øós,î4ösôRôNóüóðhñHìLðhøøðsí3òöi\öúhö%ösûNûRøîcü:ýjösòîcô÷ïøóîñXü (òîõ¥úhîõ
ösõ¥ï Róü¥îïü¥þNõîöòôNîûRóïcüîôxýXùL,þNõî)ëgü¹óòõþRñNñNóñöü
üNîìvðhøøðsí3óñösôNôNõ¥îòò ! "
#$%
$"&#
! "'( "¢ñ÷öûNûNøîüóòôNðsí3ñNøð\öôNîôÏösñNôßî,ÿ
îïþNü¥îôÉýXù öñ ëgñXü¥îõñNîcüxîý±ýNõðsí3ò¥îõ¹ýNþRüÏüNîxösûRûNøîü
ï}ösñ9ïcð9þRñNóï}ösü¥îðhñNøùí3óü9òîõ¥úhîõ¥ò3øðXï}öüîô9ð,ñ9üNîONðhò¥ü
íNîõ¥îüNî$ösûNûNøîüïðîòìvõ¥ð¨
¢Éòîcõúhîcõ`üNî*)"+,-! ).
&
/0/4üNõî}öôöïüòösòö
õöñNôNð<õ¥îømöùÐýjîügínîcîñAüNîxösûRûNøîüò¹üNî¿òîõ¥úhîõ¨öóñXÿ
üöóñRòöÁ`ëÁ# ðsìóñXü¥îhîõ¥ò
#
-1!)".PöñNô¿í öóü¥òìvðhõ
ösûNûRøîcü¥òxïðhñRñNîïü¥óð,ñNòY*mûjðhò¥óüóðhñø<Tð,ñ³hþNõ¥î )1 Nî
$"&+#
! "2435 öûNûNøîü ösóñXüöóñNò:ö,õöûNóï}ösøÈþNòîõ
óñ\ü¥îõgìgösïî÷öñNôÐö¿øð\ïösø;9þRøü¥óòîü$ðsìóñXüî,îõò
%&6
Y*mó:9ÿ
ûNøîîcñ\ü¥îôxösòö\öúhö87-/1-Rî9þNòîõ=ï}ösñ¿îñXüîõ$óñXÿ
üî,îõò¿ôNóõîcïüøùÐóñXüðZüRî÷øðXï}ösø+9þNøüóòîü9ýXùÐüNîWîösñNò
ðsìüNîWhõösûNóï}öø4þRòîõ¿óñ\ü¥îõgìgösïî ¢òÏò¥ðXðhñÉösòxösñÉöûXÿ
öñNôÏüRî4ò¥îõú,îõ=ëgñ öôNôNóüóðhñNügíðüRõî}öôNò
6
)".
9
)".TöõîÏïõ¥î}ösü¥îôAösüüNî¿òîõ¥úhîõHòóôNî¿óñZðhõôRîõ
ü¥ðÑPöñNôNøîxóñXüî,îõòxóñNïðóñªìvõ¥ðösñNôhð,óñÐüðÐüNî
ò¥ð\ï2,îünøóñXóñüNîò¥îõú,îõösñRô9üNî¹ösûNûNøîüÄ´ós%óøáöõøùcügínð
%ðhõî%üNõ¥î}ösôRò:!;-
#
-1ÏösñNô<!;"-=-+¿ösõî
ïõ¥î}ösü¥îôÏösüüNîösûNûRøîcüòóôNî *mûjðhòóü¥óð,ñ)ð,ñ LhþRõî%)1Nî
!;"-=-+üNõ¥î}ösô%óònõ¥îòûjðhñNò¥óýNøî3ìvð,õüö\óñ=óñXü¥îhîõ¥ò
ðÂ4üNîÈøðXï}öø9þNøü¥óò¥îüösñNô¹ìLðhõòîcñNôNóñüNî±üðüNîò¥îõú,îõ
Nî
6
)".üNõ¥î}ösô9õ¥îïîóúhîcònüNîòîóñ\ü¥îhîcõònöñNôìLðhõgÿ
í3ösõ¥ôNò3üNî91üð$üNî
#
-1!)"+.iÁ`ëÁ# *mûjðhòóü¥óð,ñNò;5$ðhñ
L,þNõî)198Rî
9
)"+.HüNõî}öôZüö,îò$óñXü¥îhîõ¥òösü
üNîNî}ösô%ðsìüNî
#
-+1!)".«Á`ëÁ#AöñNôò¥îñNôNòüNî9üð
üNî öûNûNøîü-Nî>!;"-
#
-1$üNõ¥î}ösô¿óò¹õîò¥ûPð,ñNòóýNøî
ìvð,õí3ösóüóñìvðhõügínð%óñ\ü¥îhîcõòóñNïðóñ$ìvõ¥ð1üNî4ò¥îõú,îõ
HöXóñüNîóõòþ ösñNôxóñNò¥îõü¥óñÏüRóò=òþ(óñXüðHüNîøðsÿ
ï}öø09þNøüóò¥îü;HösóñXüösóñNîcôýXùÏüNîösûRûNøîü*mûjðhò¥óüóðhñNò@?Hðhñ
L,þNõî-)1
Java Applet
Multiset of Integers
Thread Java Web Browser
DSGammaClientApp
Host 0
RandomRelayServer Host 2
GlobalRelay InputRelay
TakeoffLocal Socket Host 1
Host n MSInt
3 4
1 3
4 2
put get
TakeoffGlobal
OutputRelay
Þß6àLáâTãBAå*CEDæ_çè§èçßèGFH6ãlèãîlë2ãêçâJI+Kßìë2ã+IëáâTã
¢þNò¥îõíRðÏí öñXüò$üð¿øîöúhîüNîò¥ùXòüî9 óñXìvð,õ%ò:üNî
öûNûNøîüýXùZüRî8%î}ösñNò9ðì4üRîhõösûNóï}öø¹þNòîõHóñXüîõÂìösïcî
Nî*!;"-=-+$ösñRôL!;"-+
#
-+1=üNõ¥î}ösôNòûNõð,ûXÿ
îõ¥øù4ò¥îñNôü¥ð4üNî3òîcõúhîcõösøøNüRîóñXüî,îõòõîHösóñNóñ¹óñ4üNî
øðXï}ösø9þNøüóòîühösñRô4ò¥üðhû%õîïcîóú\óñ$ösñXù4ñRîíZóñXü¥îhîõÈìvõ¥ð
üNî3òîõ¥úhîõ"ÁRðhõüjösüûNþRõûjðhòî¹öügínðÿí3öùPösñNôRòPöhî3ûNõ¥ðsÿ
ü¥ð\ïcðhøóò3þNòîcô
¢ ôNîösôNøðXï29ð\ïcïþNõò¹ösòòðXðhñHösòüNî¹ñXþ9ýjîõðìóñXü¥îhîõ¥ò
ûNõ¥îòîcñ\ü9óñxüNî,øð,ýPösør9þNøüóòîüi*üNîHþNñNóð,ñxðsìüRîøðXï}ösø
9þNøü¥óò¥îüò21óò$òHösøøîõ4üPösñªðhõ9îXþPöøü¥ð÷üNîÏñXþ9ýjîõ4ðì
öûNûNøîüò*míNóï2xóò4ösøòðHüNîñXþ9ýjîõ¹ðsì3øð\ïösø09þNøü¥óò¥îüò21
ëgñNôRîîôXïð,ñNòóôNîcõnö¹òùXò¥üîí3óü4ð,ñNøùügínð¹óñXüî,îõòóñ4üNî
,øð,ýPösø9þNøüóòîüösñNô9ügíð4ð,õ"%ðhõ¥îösûNûNøîü¥ònóñ9üNî¹òùXòü¥î8
í3óüNð,þNü4ü¥ó:îð,þNü`î}ösï2ªðsì:üNîò¥îügíð÷öûNûNøîüò9íðhþRøôxýjî
ýNøðXï ,îôHóñNôNî2PñRóü¥îøùí3ösóüóñìvðhõö$ò¥îïðhñRôÏóñ\ü¥îhîcõ"!ð,ñXÿ
òîXþNîcñ\ü¥øù3üNî¿íNðhøîHòùXòü¥î íðhþRøôZýjîÏóñ ö¿ôNî}öôNøðXï
òüösüîÏNîG!;"-
#
-1HüNõîösôZþNòîcòö¿üó:%îðhþNü=óñ
ðhõ¥ôNîõü¥ð öú,ðhóôüPösü3ôRî}ösôNøðXï2
Í3ä,Í)ä M
êRhZ,NNj´ê¥ç
æ ãrÓ
Nç0 Ô)
Ð
ANç
W×0
¢ýNò¥üõöïüóð,ñ/ØÙЩL£,¨X¦¡£h©Lc¦ üNîHûNõðhõö8Áí3õóüü¥îñZóñ
üNîXöúhöûNõðhõö%óñ3øáöñhþjöhî}óñXüð¹ò¥ûPîïcójï}ösü¥óð,ñNòî,ÿ
ûNõîcòòîcô÷í3óü!#)ÿ#%$'&%()
÷¶:÷¶þÙ¶ ت0µ¯»°L®¯ºT¼L± ò»¼®éµµ¶ ¢ýNòü¥õösïcüóðhñ ØÌÙ
øî}ösôNò8üð !#)ÿ.#$&()Cò¥ûPîïcójï}ösü¥óð,ñNò±íNóï -üöhîAóñXüð
ösïïcðhþNñXüýjðhüxüNî9ò¥îöñ\ü¥óïò¹ðsì3üNîiXöúhöûRõð,õöóñ
ømösñ,þPö,îöñNôüNî öûNûNøóï}ösü¥óðhñ¥ò¿ýPîjöú\óð,õÑ*müNîhóúhîñ
ûNõðhõö§19 ¢4Xöúhö±ûNõðhõö óòxýNþRóøüxþNûjðhñ îXóò¥üóñ
ïømösò¥òîò4ócî1üNîTýjösòóïxïømöòòîcò÷ûNõ¥ðsúXóôRîôAýXù üNîW\öúhö
ûNõðhõö%óñÏømösñ,þPö,î ÄXó:óømösõ¥øù¿íîÏýNþNóøôÐüRî8!#)ÿ
#$&%()xìLðhõHösø3ò¥ûPîïcójï}ösü¥óð,ñNòÏðì4üNîWXöúhöTöûNûNøóï}ösü¥óð,ñ
þNûjðhñ¦!#)ÿ.#$&()6ìvð,õöøò¥ûPîïcójï}ösü¥óð,ñNòÐðì üNî \öúhö
ýPösò¥óïAïømösòò¥îò ëgñ1üRóò ösñRñNîõHíîAïð,ûPîAí3óü1üNî
ûNõð,ýNøî ðsì9îXûNõîcòòóñAýjðhüAüNî \öúhöªòî9ösñXü¥óïcòÓöñNô
üNî$ösûNûNøóï}öüóðhñ¥ò3ýjîPöúXóðhõnö+Põ¥òü¹ømöùhîõ3ðì%!#3ÿ#$&%()
òûjîïóPï}öüóðhñRò ðì×XöúhöÉýjösòóï±ïømösò¥òîò±óòÐûNõðsúXóôNîôÀ*vöò
ýNþNóøôNóñ9ýNøðXï2\ò21öñNôÏüNî¤!#)ÿ#$&%()9òûjîïóPïösüóð,ñNòðsì
üNî$ösûNûNøóï}öüóðhñ9óò3ýNþNóøüðhñHüð,ûðsìüNóò3øáöù,îõ
÷¶:÷¶sö}¶ON+ƺ,´c²º,±QPª´,¼®SRµ¶Àxî%jöúhî¹òûjîïóPîôxö$ôNîô´ÿ
óï}ösü¥îô8!#)ÿ.#$&()$ïømöòò3ìLðhõî}ösï2XöúhöýPöòóïïømöòòrNî
óñNîõ¥óüösñNïcîAüõîcîAðsì÷üNîòî³!#)ÿ#$&%()Éïcøáöòò¥îòÐõîcûNõðÿ
ôNþNïîcòîNösïü¥øù÷üNî4óñRîõóüöñNïî9ü¥õîî9ðì üNî«Xöúhö%ïømösòò¥îò
Nî
9
1TÏ\öúhöªïømösò¥òÏóòHüNîªòþNûjîõïcøáöòò¿ðsìösøø\öúhö
ïømösò¥òîòNî$ïð,õõîcòûjðhñNôNóñW!#)ÿ.#$&()Hïcøáöòò¹óòï}öøøîô
üNîVU+0
9
1TCïømösò¥ò ösñNô1óòÐüNîAòþRûPîõ¥ïømösò¥òAðsì ösøø
üNî!#3ÿ#$&%()Aïømöòòîcò õ¥îømösü¥îôü¥ð \öúhö RîÑ!#)ÿ
#$&%()WU0
9
1THïømöòò$òûjîïóPîò%üNî8X43SY-Z3S.
-+Z3S.OîcüNðXôNònöñNô9üRîí3öù4üNîùöÂîïü3ö¹üNõî}öô¥ò
îXîïþNü¥óðhñöòínîcøø3ösò=üNî9øðXï2\ò$ösòò¥ðXïómösüîcôTüðßî}ösï2Tð,ýXÿ
îïü"ÁRðhõüNî¹ñNîcîôNò¹ðsìüNîösûRûNøóïösüóð,ñ9ôNîòïcõóýPîcô÷óñüNóò
ûPösûjîõNíî%jöúhî¹òûjîïóPîôßüNî-Xöúhö[/+,5 öñNô
&
-S;"¹ïømösòò¥îòRînïðûNøîü¥î"!#)ÿ.#$&()¹ò¥ûPîcïóPï}ösü¥óðhñ
ðsìüNîò¥î«Xöúhöýjösòóï¹ïømösò¥òîòóòhóúhîñ%óñ×3]\97
÷¶:÷¶s÷}¶ Å ©[^©¤Õ[_a`öµ9ò0®ºcb"®°¯º,¼±_¶ xî%jöúhî¹òûjîïÿ
óPîôxöôRîôNóï}ösü¥îô/!#)ÿ#$&%()ïcøáöòò¹ìLðhõ¹î}ösï2¨\öúhö%ïømösò¥ò
ôNî2PñRîôTýXù¿üNî9ûNõ¥ð,õöÀÕiNîcòî§!#)ÿ#$&%()HòûjîïóNÿ
ï}ösü¥óðhñNò9ösõ¥îïð,ñNòü¥õþNïü¥îôÐþNò¥óñÏüRîÌ!#)ÿ#$&%()HòûjîïóNÿ
ï}ösü¥óðhñNòðsìüNîO\öúhö¹ýPöòóï¹ïømösò¥òîòNîóüRîõnýXù9ò¥þNýXÿgïømösòò¥óñ
üNî9 ð,õ4ýXù¿þNòóñHüNî8RîihõöûNóï}öøþNòîcõ9óñXü¥îõgìöïî
PösòñNðhü3ýjîîñ¿òûjîïóPîcôEdXïîûRüìLðhõ3üRîòðXï2hîü¹üPösüPöò
ýPîcîñÉò¥ûPîïcójîôCòó:ûNøùªí3óüAügínðZýNþéÂîõ¥òY*ìvð,õHüNîªügínð
òü¥õî}öò 19hösñXùð,üNîcõó:%ûNøîîñXüösüóð,ñ3ôNîüöóøNóòìvþNøøù¹òûjîïÿ
ò¥ûPîïcójîôÐóñTð,õôNîõ9ü¥ðxõîfjîïüüNî\öúhößòîHösñXüóïò¢ýXÿ
ò¥üõöïüóð,ñ«ØÙûRõðsúXóôNîòüNîïð%ûNøîüîòûjîïóPïösüóð,ñNòðì´üNî
XöúhöûNõ¥ð,õö¨ëgü3óòìvþNøøù9ôNîò¥ïõóýjîôÏóñW3\97
ëgñ ösôRôNóüóðhñ¿üð¿üNî!#)ÿ.#$&()ßòûjîïóPï}öüóðhñNò$ðsìüNî
Xöúhöïømöòòîcò:ðìûNõ¥ð,õö ÕiXíî-Pöú,î:ò¥ûPîcïóPîôÏüNîðsúhîcõgÿ
öøø,òùXòü¥îÉí3óü:üNî!#3ÿ#$&%()
$&#
!
&
.4! 3ïømösò¥òðì
L,þNõîi5Róòïømösò¥ò:ò¥ûPîcïóPîòüNî9ýPî9hóñNñNóñ9ðìnüNî9ò¥ùXògÿ
ü¥î *mïcðhñNò¥üõþRïüð,õgXh
$"&#
"
&
."! ji -/Zkßïõî}öüîò
üNî),-! )".
&
/0+/¹í3ösóüóñ=ðhñ: -/1XösñNôHüRî:óñXÿ
ü¥îõöïüóðhñHðìüRîþNòîcõò:öñNôHüNî=òùXòü¥î8
l'monppEqrsn+t>tun+rv+pxwyzt
{x|o}~ J] {|~
J{J}~}cJ
|c~o {x|o}~ J +J|}+Z
}x {x|o}~ Jo+Jc|o}co+4
J{J}~{cJ
} {|}~]{|]~
{xJ}~c}cJ
|c~o x}So+ x¡+J¢"¢
}J£x
¤c~oc¥J|]c+J|o}+Z
}c }cSo+ ¡¢4¢4
}J£x
!cJ|}!¦
{xJ}~c{cJ
{|}~ }§ {x|]~+
{xJ}~cJ}]J
|]c~o {|o}~ }§ co+Jc|o}o+4
} {|o}~ }§ co+Jc|o}o+4
{xJ}~c{]J
x}So+ x¡+J¢"¢4J ¨|]}c¢Z]c~o©
J{J}~}cJ
~~|c~o }SoªJx¢4ª}¨ }~«}~c
c~oc+J|}+4
~~}c x}SoªJJ¢4ª}¨ x}~«J}~
+Jc|o}co+4
J{J}~{cJ
~}|o{x] {|~
{xJ}~c}cJ
|]c~o ~}|{co+J|o}+Z
}x ~}|o{x] +J|o}+Z
J{J}~{cJ
¬]®¯]°±c²
³o´cµ¶
o®¯]°·¸]¹°¯º¯o»¼
¥J|]
½¾
±°²
¿
°»À¹º
¾
»]°²
¸¹o°¯º¯»
c~o
ÁÂÃÄÅÆÇ È
É
Ê
Ë Ì
Í
Î
Ï ÐÑÒÓ Ô]ÕÖ
×
ØÙÚ ÛÜÝÞ ßàá
âãäå
+{|~
+{x|]~c
+{x|]~c
Þß6àLáâTãçæ}åéèëêìëâTçIëßìíLîWèOä4ííîãlâTçHoH4ìðïìë2ãè
ëgñXìvðhõöøAõîXþNóõî9îñXüò ôþÙõ ü¥ð ôÚõ ösõ¥î(òûjîïóPîcô
î}öï2 í3óüöCôNîôNóï}öüîô !#)ÿ#%$'&%() îcüNðXô1ðsìTüNî
$"&#
"
&
."! ïcøáöòò@X 4++/Qi4/ñkóñNò¥îõü¥òüRî4ñNîcí
þNò¥îõ@4/%óñ\ü¥ð9üNî=òùXòü¥î ösñNôßïõî}öüîòöñ÷ösûNûRøîcüEôRîôXÿ
óï}öüîôÐü¥ðTüNóòþRòîõ³Nî¿óôNîñXüóügùZðsì4ö þNòîõHóòò¥ûPîcïóÿ
Pîcôöò öñTóñXüî,îõò"+/ Z3-Qi3Zóx4/ñk îñPösýRøîcò>"/
ü¥ðîcñ\ü¥îõóñXüî,îõ:39óñÏüNî9òùXò¥üî¨üNóòîcüNðXô¿óñ´ìvðhõò
üNîÏösûNûNøîü>ôNîcôNóï}ösü¥îôZüðô"/üjösü9óñXüî,îõL3Hîcñ\ü¥îõò
üNîTò¥ù\ò¥üî¨õ/Qi3¦óx4/YkÏîcñPösýNøîòö4/±üð±ðhýNüösóñ
öªûPöõüómöø:úXóîí#ðsì4óüòHøðXï}ösø9þNøü¥óò¥îü)üNóòîüNðXô óñXÿ
ìvð,õ%òüRîösûNûNøîü[`ôNîôNóï}öüîôxü¥ðB4/üPösü@4/Ïí3ösñXüò
öHõ¥îòþRøüB4+/ ÷Z3SQi¤4/Yk=õî%ðsúhîò[4/ßìvõð üNîò¥ùXògÿ
ü¥î öñNôÏìLðhõí3ösõ¥ôNòüNóò¹óñ´ìvðhõösü¥óðhñü¥ðHüNî9ïð,õõ¥îòûjðhñNô´ÿ
óñTöûNûNøîü ÁRþNõüNîõÏösýRòüõösïü¥óðhñÐò¥üîûNò,îîûÐüNî÷ïcøáöòò
$"&#
"
&
."! ösñRôóü¥òìvðhþNõ_îcüNðXôNò
Í3äJø3ä ù
ç
æ
è1,NNj´ê¥ç
æ
_Ó
çr Éé
æ
ê`Nêç
æ
¥4ú
ª,NNj´ê¥ç
æ
¢ýNò¥üõöïüóð,ñ ØÌÙxûNõðsúXóôNîò!#)ÿ#%$'&%()ßòûjîïóPïösüóð,ñNò
ú,îõùCïøðhò¥îÐüð üNî \öúhö±ûNõ¥ðhõö öñNôCóü¥òTò¥îöñ\ü¥óïò
ösñNô üNîªòðXï2hîü¿ømöùhîõ NóòÏò¥üîûCûNõ¥ðsúXóôRîòÏüRîð,òü
ösýNò¥üõösïüÏò¥ûPîcïóPï}ösü¥óðhñ±ðsì4üNî öûNûNøóï}ösü¥óðhñZúXóîcínîôAösòÏö
º¡§m¨N©ÅR¦}µ4ösûRûNøóïösüóð,ñ
÷¶Ú¶þÙ¶ ت0µ¯»°L®¯ºT¼L±ò»¼®µµ¶ xî%üNõ¥ðsí öí3öùTösøø
òûjîïóPïïðhñNò¥üõ¥þNïüò3õ¥îXþNóõîô9ýXù$üNî3üösõhîüûRõð,õöóñ
ømösñ,þPö,îNîcõî \öúhörNîñNð,üóðhñRòðsì0Xöúhö$ðhýîïcü\öúhö
üNõ¥î}ösô"XöúhöÏò¥ðXï ,îüösñNôÏ\öúhö¿ösûRûNøîü4ôRóòösûNûjî}öõYxî
hîîcû÷ð,ñNøùüRîò,îøîüð,ñ÷ðì·üNî9ösûNûNøóï}öüóðhñXócîíî«,îîû
üNî*ôNóòü¥õóýNþNü¥îôL1$ösõï2Nóü¥îïüþRõîöñNô¿ýPîjöú\óð,õíNóï2 öõî
òûjîïóPï$üð%üNî4öûNûNøóï}ösü¥óðhñýRþNüñNð,üò¥ûPîïcójï4ü¥ðüRî-\öúhö
ûNõðhõö%óñømösñhþPöhî
ûnîò¥óôNîòüNîösýNò¥üõösïü¥óð,ñ¿ìvõð1üNî9ûRõð,õöóñ$øáöñXÿ
hþPöhîÁínîöýNòü¥õösïcüüNî9ïcð9þRñNóï}ösü¥óð,ñømöùhîcõ:ûRõðsúXóôNîô
ýXùTüRîÏòðXï2hîü¥òNî÷öûNûNøîü¥òóñNòü¥î}ösôÐðì:õ¥î}ösôNóñTöñNô
í3õóüóñ%ôPösüö$ìvõ¥ð1ösñNôßüðHòðXï2hîü¥òôRóõ¥îïü¥øùßõîïîcóú,î öñNô
òîñRôÐôPösüößìvõð?öñNôZüðxüNîÏòîcõúhîcõ XþNòníî,îîû ö
ïøóîñXü (sò¥îõú,îõösõ¥ï2Nóüîïü¥þNõîßí3óüxðhñNî%òîõ¥úhîõöñNôTò¥îúhîcõösø
ösûNûRøîcüòjýNþRüí3óüNð,þNüò¥ðXï ,îüòöñNôÏüRõî}öôNò¹ôNîôNóï}öüîôÏü¥ð
üNî=òðXï2hîü¥òjösñNôNøóñ
NîZòîõ¥úhîõÏPöòxýPîïcðîZú,îõù òó:ûNøî$óüWPöòxýPîîcñ
òNõ¥þNñ¹üð3üNî
#
-1!)".ÈìvþNñNïcüóðhñPöøóügùlócîüRîòîõ¥úhîõ
ösïü¥ò:öò:öÁ`ëÁ#ÉýRþlÂîcõjíNîõ¥î4îú,îõùÏöûNûNøîüôRóõ¥îïü¥øùHôNî¸ÿ
ûPð,òóüò$óñXüî,îõò öñNô¿ìvõ¥ðíNîõ¥îÏîúhîcõùTösûRûNøîü4ôRóõ¥îïü¥øù
üöhîòðÂ÷óñXüî,îõòÄXó:óømösõøù,ösü3üRîþNòîcõ¥ò¹òóôNîRüNî4öûXÿ
ûNøîüösñNô¿üRî4ï2Nî%óï}ösøõîösïü¥óð,ñNò`ýjîïð%î-ð,õîò¥ó:ûNøî
NîxösûNûNøîüPösñRôNøîòö øðXï}öø;9þNøü¥óò¥îü9óñZüNîßìvðhøøðsí3óñ
öñNñNîõ;*<13ñNîcíAóñXü¥îhîõ¥ò¹ïð%óñ4óñ%ìvõðüNî$þNòîõöõî
óñNòîõ¥üîôªóñ\ü¥ðHüNî9øðXï}ösør9þNøüóòîü0*,)1¹óñXüî,îõòò¥üð,õîôªóñ
üNî9øðXï}öø9þRøü¥óòîüöõî9üöhîñ¿ðÂxüRî9øðXï}öø9þNøüóòîüöñNô
òîñXüü¥ðüNînò¥îõú,îõXösñRô§*T51ûjösóõòðsìjóñXü¥îhîõ¥òïð%óñìvõð
üNîòîõ¥úhîõ3ösõ¥î3ïðhøøîïü¥îô,üNîcóõòþÉóòïðûNþNü¥îôhöñNô9óñXÿ
òîõ¥üîôHóñXüð¹üRî3øðXï}öø9þNøüóò¥îül*?l1üRîösûNûNøîürPösòüð=ïðhõÂÿ
õîïcüøù÷ò¥îñNô¿óüò¹øð\ïösø9þNøüóòîcü3ðsì3óñXü¥îhîõ¥ò¹üðHüNî$òîcõúhîcõ
ðhñNïcîüNîHþNòîcõ9í öñ\ü¥ò4ü¥ð÷øî}öú,îüNîHòùXòü¥î8O*ü1=üRîÓöûXÿ
ûNøîüPösòüðHöúhðhóôÏö9ôRî}ösôNøðXï2HòóüþPöüóðhñßð\ïcïþNõõ¥óñHíNîñ
üNî$ñXþ9ýjîõðìnóñ\ü¥îhîcõò¹ûNõîcòîñXü$óñßüNî$íNðhøîò¥ùXòüî9 óò
òHösøøîõüjösñHüNî=ñ\þ9ýPîõðsìösûNûRøîcüò
÷¶Ú¶sö}¶ Å ©[^©¤Õ[_a`ö µò0®ºb"®°¯ºT¼L±_¶ ¢ýRòüõösïü¥óðhñ
Øö óò hóúhîñ-ýXùüNõîcî !#)ÿ.#$&()Cïcøáöòò¥îòY*<1ZüNî
$"&+#
! "
&
.4 *,)1 üNî
#
-1)".Ê$ösñNô *T51xüNî
5 9ïømösò¥òîò *:L,þNõîò?Lü9öñNôL\1
ÉÊõ9¯Ë ¼ò0l»°¯º,¼±0µóNîHðsúhîcõösøø;ñÄÜöö%òùXòÂÿ
üîóò¹òûjîïóPîôªýXùÏüNî
$"&#
! "
&
.4! ïømösò¥ò`óü%,îîûNò
üNî=òö%î%!#)ÿ#%$'&%() %îüRð\ôRònüPösñÏösýRòüõösïü¥óðhñØÙ
NîýXh
$"&#
"
&
."! Ç!#)ÿ.#$&())ïðhñNò¥üõ¥þNïüð,õõî¸ÿ
XþNóõîò üPöüÐösòAò¥ðXðhñ(ösòCö ñ%ÄÜööÉò¥ùXòüî9 î,ÿ
óòüò ö #
-1!)".1ýNþéÂîõþ/ óòAïõ¥î}ösü¥îô *mïösøøóñ
/ÿ/+l1 íNîõî / óòÉö !#)ÿ.#$&() ðhýîïcüÉðsì
ïømösò¥ò
#
-1)".ÊöñNôe/±óò¿üNîZôNî¸ìösþNøü¿ïðhñ´ÿ
òü¥õþNïü¥ðhõ NîZðhýîïcüxóôRîñXüóügù /Aóò¿üRîñCòüð,õîô óñ
üNî
#
)ÉûRøáöïî Nî<X 4++/Qi4/ñk¹îcüNðXôÉó:%ûNøóîcò
'+Xh5 Qi/Yk1Zëgü%òü¥ðhõîcòÏüNîßûPösóõ
Qóx4/-óñ
üNîB-/h 49ûNømösïî¹Nî:4+/ Z3-+Qi3Zóx"/Yk
%îüNðXôï2Nîcï XòÐíRîüNîcõÐüNî±ûPöóõ
jóx4/ öøõî}öôNù
îXóòü¥ò¿ösñNô-óì ò¥ðÉìLðhõí3ösõ¥ôNòZüNîÉöïüóð,ñüðCüRîAôNîôNóÿ
ï}öüîô öûNûNøîü *mï}öøøóñe'"+/ Z3-Qi3k1 Nî
/Qi3Zó4/Yk%îüNðXôÐï2Nîcï Xò¿óì 4/±ösøõî}öôNùÐîXóòü¥ò
öñNôõî9\þRóõ¥îòüNînõ¥îòþRøü·ìvõðAüNî4/¥òôRîôNóï}ösü¥îôösûRûNøîü
+*mï}öøøóñE'/Qi3k1Nîý4+/ ÷Z3SQi¤4/YkîüNðXô
õ¥îðsú,îò4üNîÏûPöóõ
Qóx"/ìLõð üNîö-/h 4
ûNømöïîóì´óüîXóòü¥òhöñNô¹ìvð,õí3ösõ¥ôNòüNóò`óñ´ìvðhõösü¥óðhñüðE4/¥ò
ôNîcôNóï}ösü¥îô÷ösûRûNøîüz*mï}öøøóñ>'(4+/ ÷Z3Sé19
l'monpxp qErsEn+t>tun+rvpwyt
{x|o}~ J] {|~
ÿ{|o}~ J J]
} {x|o}~c{x|]~
ÿ}cSo£}]~
{x|o}~ }§ c{|~
ÿ{|o}~ }§
}cSo+ ¡¢4¢J ¨|}¢
ÿc~~}c}
~}|o{x] {x|]~
ÿ~}|{c ±°¾
»¯o¬o®o¯]°±²
³o´cµ¶
o®¯]°·¸]¹°¯º¯o»¼
²®
¾
¨
¯®o¬
c~
c~
c~
+{|~
+{|~
+{x|]~c
+{x|]~c
Þß6àLáâTãåéèëêìëâTçIëßìíLîWèëAñííîãlâTçHoH4ìðïìë2ãè
Éʯ°¯ °±0² ºT±¯l»±°´«ªrù°lúºT¼L»ló¢øðXï}ösøO9þNøüóòîcü
óò,óúhîñÐýXùZüRî
%&6
TûNømöïî÷ðì4ügùXûPî
6
/TðìüNî
5 Ïïcøáöòò÷ëgü=òüð,õîò9óñXüî9hîõ¥ò¨Nî,øðhýPöø09þNøüóòîcü
óò;,óúhîñÏýXùHüRî4þNñRóð,ñÏðsìüNîòî9ûRøáöïîòýNþNüösøò¥ð9ý\ùHò¥îú,ÿ
îõösøðhüRîõûNømöïîòôZ3S/4xðìügù\ûjî
6
+/¿óñ<5
ïømöòòösñRô÷ýXùô1/ðì
6 9 i 6
+/Ykügù\ûjî9óñ÷ïcøáöòò
#
-1!)".Rî"Á`ëÁ#ªðsìNóñXüî,îõò`óò`òûjîïóPîô$í3óüösñ
öøs,îýNõösóïò¥ûPîïcójï}ösü¥óð,ñ¢ñHóñXüî,îõhðXîòÈìvõ¥ðöñ
%&6
ûNømöïî4ðì ösñxösûRûNøîü¹ôNóõîïü¥øùÏüðG1/ösñNôHìLõð#üNîcõî
óühðXîòüðöuZ3S/49ûRøáöïîðìÈöñNðhüNîõöûNûNøîüRí öóüóñ=ìvðhõ
öHò¥îïð,ñNôTóñXüî,îõüNîóõ$òþüRîñ,ð\îcò4óñXüðHüRî
%&6
ûNømöïî¹ðsìüNóòösûNûRøîcü
NîóñXüîõ¥ñPösø#ýPîjöú\óð,õ óò<òûjîïóPîcô ýXù ïcøáöòò¥îò
#
-1!)". öñNôV5 4Nî
#
-1!). ïcøáöòò
ò¥ûPîïcójîò÷öÁ`ëÁ#ýNþlÂîõHðsì4óñXüî9hîõ¥ò ¢ñÐóñXüî,îõö3÷óò
óñNò¥îõü¥îôÐóñXüð¿üNóòÁ`ëÁ# ý\ùxüNî%î}ösñNò$ðsì¹üNîG Qi3k
%îüNðXôösñRôxóò=õî%ðsúhîô¿ýXù÷üNî%î}ösñNò¹ðìüNî>Qi3k
%îüNðXô
lýmnppEsm "!nm$#yzmnzv
} {
}¢4]¨]] ]
%&&
¯»²
'¸ '(µ
¸]¹o°¯]º¯o»¼
)
)+*
)+*
)
ÞßìàLáâTã-,åEèëêìëâTçIëßìíLîBèëAZíëì9ãâJîãlâëìßìêã
Nî:5 Ïïcøáöòò$òûjîïóPîò9üNõîcîÌ!#)ÿ#$&%()îüXÿ
ðXôNò 4!/ ¦3-Qi3kS4++/ ÷Z3SÊS/Qi3ksöñNô4ð,ñNî
ñNðhñ¿ôNîìgösþNøü¹ïðhñRòüõ¥þNïü¥ðhõ[Xh+5 +Qi/YkO¢ò¹ò¥ð\ð,ñ öò
ö¿ñNîí-þNòîcõîñXüîcõòHüNîñÄÜöö%òùXò¥üî¨ ößñNîí öûXÿ
ûNøîü9óò4ïcõî}öüîôÐýXùxüNîî}öñNòðsì¹üNîGXh+5 +Qi/Yk
ïðhñRòüõ¥þNïü¥ðhõrNîïcðhñNò¥üõþRïüð,õ3ïõî}öüîòö+!#3ÿ#$&%()ð,ýXÿ
îïü=ðsì3üNî9ïømöòò@5 Pò¥üð,õîò$üNî>/Ïð,ýîïü=óôRîñXüóügù
ðsì3üNî
#
-1!)"+.%óñÏüNî9ûRøáöïîG-+/h/ÊRóñNóüómösøó:¸îò
üNîô+,ªûNømösïîÏí3óü +LösñNôZüNîW1Z3SZ3S÷ûRøáöïî
í3óü</YRîç,TûRøáöïîÏò¥üðhõ¥îòüNîÏúhöøþRîL+¿óì
üNîþNòîcõ3óòÈïþNõõ¥îñXüøù9óñ9üNî¹ò¥ù\ò¥üî-ösñNô9ò¥üðhõ¥îò3üRîúhösøþNî
/$óìüRî:þRòîõîXóü¥òNî@1Z3zZ3SûNømösïî¹ò¥üðhõ¥îòüNî
úhösøþNî>/ÏóìöPõò¥ü9óñ\ü¥îhîcõ-Pösò$üðßýPî%õîXþNîò¥üîô öñNô
òü¥ðhõîcòñNð,üNóñ¿óìözPõ¥òü9óñXüî,îõiPösòöøõî}öôNùTýjîîñÐð,ýXÿ
üöóñRîôRóò$ûNømösïcî9óò$þNò¥îôTü¥ð÷îñRòþNõ¥îüPösü$öÏñNîcí½Põò¥ü
óñ\ü¥îhîcõóòõ¥îXþNîòü¥îôAðhñRøùZöìvü¥îõüNîÏûNõ¥îúXóðhþNò%òþ4Pöò
ýPîcîñxïð%ûNþNü¥îôNîu4!/ ¦3-Qi3k îüNðXôÏóñNòîcõüò
üNî=óñXü¥îhîõ>3=óñXü¥ð9üNî$øð\ïösø9þRøü¥óòîüòûjîïóPîô¿í3óüÏüNî
%&6
HûNømösïîiNîu"+/ ÷¦3S%îüRð\ôßõîûNømöïîò$üNî9ü¥ðsÿ
hîñG!$ýXù%üNî¹üðhîñG/$óñHûNømöïî[+,
l'monpxp/.1020moySw
{|}~ J {|}~ }§
}So£x}cc~
~}|o{x] 3¿
¸]¹o°²
¸]¹°¯]º¯o»
&
À]»±°(²¸]¹°¯]º¯o»
]|o}
¯]¹$4²5
¾o¾
®o¯o¬¹
±°¾
»o¯]º»J²
®
¾
¨
¯®o¬
°À6¯
¾%
°(²
¸]¹o°¯]º¯o»
o~{}
¯ºÀ¹o¹À¹oº²
5
¾¾
®¯o¬]¹
} ~|]
~c} 8797
~xJ¢Z]¢" |o:7974;¥x{~
J}|o}J
ÿc~J}c<
}o] ~|
¥J{~E>=é ;
ÿ;]¥J{~
{+
c~x{]
c~
o~{}
]|}
]|o}
]J|o}
~{}
c~
~
?$@ABCD EFFEG
o~{}
~{}
~
~
* <
o~{}
HI JK
c~
~
Þß6àáâTãMLåEèëêìëâTçIëß6íLîaèëAZíëI+Hßìãîlë@ìßìêã
Nî3ï2Nîóï}öøNõîösïü¥óð,ñNòösõ¥î3òûjîïóPîôHýXù î}öñNòðsìüNî
ìvðhþRõ×!#)ÿ#%$'&%()8üõösñNò¥óüóðhñNò Z3S/4Ê@4++-,
Z3ð; Nî8+Z3S/4Hü¥õösñRòóüóðhñxóòõ¥îòûjðhñRòóýNøî%ìvðhõ
ðhýNüösóñNóñ9üNî-jõòü¹óñXüî,îõ¹ýPîcóñóñXúhðhøú,îôHóñ¿ö9òþ8Pöò
òðXðhñxösò¹óü¹ðhýNüösóñNò¹öijõòü=óñXü¥îhîõ¹óü¹îñPöýNøîòöü¥ó:îð,þNü
Nîë"++-,üõösñNò¥óü¥óðhñ$óòõ¥îòûjðhñNò¥óýNøîìvðhõõî9ðsúXóñ:ö
òîïcðhñNô%óñXü¥îhîõÈìvõ¥ðÉüNî%Á`ëÁ# /höñNô$ìvð,õôNóòöýNøóñ:üNî
üó:îcðhþNüiNî>Z3©;÷üõösñNò¥óü¥óðhñWPöñNôNøîò4ö%üó:%îðhþNü¹îú,îñXü
ðXïïþNõ¥õóñ¿ýPîìLðhõîHö%òîïð,ñNôTóñXüî9hîõ$ï}ösñxýjîð,ýNüöóñNîôxýXù
üNî'4+!-,3üõösñNò¥óüóðhñÁëgüóòõ¥îòûjðhñNò¥óýNøîìvðhõ`ôNóòöýNøóñ
üNî=üó:îð,þNü3ösñNôHìLðhõ3óñNòîcõüóñ9üNî+Põò¥üóñXüî,îõ«*óñRòüîösô
òösõùl,ýPîïösþNò¥î4öôRî}ösôNøðXï29ðXïïþNõ¥ò:ösòòðXð,ñÓöònüNî¹ñXþ9ýPîcõ
ðìóñXüî9hîõ¥òûRõîò¥îñXüÏóñ üNî¨høðhýPöø9þNøüóòîcü*müRî÷þNñRóð,ñ
ðì üNî9øð\ïösø9þNøüóòîcüò 1óò¹òHösøøîõüPösñxð,õ:î9\þjösøü¥ðüNî
ñXþ9ýjîõðìþRòîõ¥ò0Rîÿ üõösñNò¥óüóðhñõösñNôRðøù¹õî9ðsúhîcò
óñXüî,îõòÈìvõ¥ðCüNîøð\ïösø9þNøü¥óò¥îü,ösñNô9ò¥îñNôNò3üNîCüðüNî
Á`ëÁ#6ýNþlÂîõ
Í3äONnä ¨
ê¥Nè-,´RjNê¥ç
æ ÍÓ
¥ê
`æ
Ð"
x,NNjNêç
æ
¢ýNò¥üõöïüóð,ñÌØö-ûNõðsúXóôNîò3ö¹ïøóîñXü (òîõ¥úhîõ3úXóîíZðsìüNî
öûNûNøóï}ösü¥óð,ñ ¢ýNò¥üõöïüóð,ñÑØ÷ÐöýNòü¥õöïüò%üNîÏñRðhüóð,ñ ðì
ïøóîñXü (òîõ¥úhîõ=üPöü%jösô¿ýPîîcñxós%ûPð,òîôßý\ùßüNîiXöúhö9ûNõ¥ðsÿ
,õöóñ¹øáöñhþjöhîNýjîï}ösþRòî9ösûNûNøîü¥ò3ï}ösñßïðhñNñRîïü¹ðhñNøù
ü¥ð üNîWNð,òüÏíNîcõîTüNîù±ïð%îHìvõ¥ð8 NóòÏòü¥îûAûNõ¥ðsÿ
úXóôNîòüNîOð,òüösýNò¥üõösïüòûjîïóPï}öüóðhñ%ðsìüNî:öûNûNøóï}ösü¥óð,ñ
úXóîíîôÏösòö%¤h§¦©L§m ²\©L¤öûNûNøóï}ösü¥óðhñ
÷}¶sû}¶þÙL¶ Øiª0µ9¯»°L®¯ºT¼± ò»¼®éµµ¶ xî õî%ðsúhîüNî
ò¥îõú,îõÏösòíîøø:öòüNî öûNûNøîü¥ò xîhîcîû׸þNòü%üNîÏñRðsÿ
ü¥óð,ñ4ðìôRóò¥üõ¥óýRþNüîô%øð\ïösøl9þNøüóòîcüòî}ösï29ðsìüRîCõîømösü¥îô
ü¥ð4öþRòîõ"ñ¹ösüö¹üõöúhîøòôNóõîïü¥øù$ìvõð ð,ñNîøðXï}öø9þNøüóòîcü
ü¥ðösñNð,üNîõXí3óüNð,þNü3üõöúhîøóñ$üNõ¥ðhþÓö=òîcõúhîcõ
Nîï2Nî%óïösøõîösïü¥óð,ñNò:öõî¹ñNð9øðhñhîõ3ôNóò¥üõóýNþRüîô_¢
ï2Nî%óï}ösø,õî}öïüóðhñ$óòòûjîïóPîôöò·öñ4ösü¥ð%óïöïüóðhñ=íNóï
üöhîcòügíðóñXüî,îõòÁìvõð ûjðhò¥òóýNøù¹ügínð3ôNóÂîõîcñ\üøðXï}ösø9þNøÿ
ü¥óò¥îüòösñNôxíRóï2xóñNò¥îõü¥ò4üNîóõ4ò¥þóñ\ü¥ðÏösñNð,üNîõ$øðXï}ösø
9þNøü¥óò¥îüÄXîúhîcõösøRï Rîóï}öø\õ¥î}ösïcüóðhñNòröùðXïïcþNõïð,ñNïþNõÂÿ
õ¥îñXüøù¹NîõîÏöõîHòîú,îõöøügùXûjîò9ðsìï2Nî%óï}ösøõî}öïüóð,ñNò
öïïðhõ¥ôNóñHüðNðsí üNîù¿õî9ðsúhî=óñXü¥îhîõ¥ò¹ìvõ¥ð üNî9øðXï}ösø
9þNøü¥óò¥îüò
Nî"9þRøü¥óòîüðìPóñ\ü¥îhîcõòóòû\ùXò¥óïösøøùôNóòü¥õóýNþNü¥îô$ðsúhîõ
ò¥îúhîõösøôNóÂîcõîñXüøðXï}ösü¥óðhñNòixî4ïösøø3¡º£s¡n¢$²,¡©L§¦}©9PüNî
ûjðhõ¥üóðhñ9ðìüNîO9þNøüóòîüûNõ¥îòîcñ\ü3óñö+hóúhîcñ9øðXï}öüóðhñhösñNô
íînïösøøXüNî3s¡h £s¡j¢4²,¡©L§¦©üNî_9þNøüóòîcüðhýNüösóñNîô$ýXù:üNî
þNñRóð,ñðì·ösøøüNîøðXï}ösø9þNøü¥óò¥îüò
÷}¶sû}¶sö¶ Å«©*^©iÕ[_a`éö µò0®ºb"®°¯ºT¼L±_¶ ¢ýRòüõösïü¥óðhñ
Ø÷ZïðhñRòóòü¥òðsì¹üNî
$&#
!
&
.4! ÷ïcøáöòò%ôNîûNóïü¥îôÐýXù
L,þNõîQPRóò=ïømösòò+ösóñXüöóñNòò¥îúhîõösøþNòîcõòösñRôxüNîóõ
õ¥îømösüîcô9þNøüóò¥îüò¢øønûjðhò¥òóýNøîï2Nî9óï}ösøÈõî}öïüóðhñRòösõî
ò¥ûPîïcójîôÏðhñHüNðhò¥î-9þNøüóòîcüò
ÉÊõ9¯Ë ¼Lò0l»°¯ºT¼L±0µó«Nî>X "+/Qi"/Yk+îüNðXô
óñNò¥îõü¥òSR"/ýóUT/VTóñXüðZüNî
%&6
ûRøáöïîø¢ñNîíþNò¥îõ
ð,óñNòTüNîAòùXòü¥î í3óü1ösñ-îûNügùCýPöLHõ¥îûNõîcòîñXüóñ
öñ î%ûNügùÐøðXï}ösø+9þNøüóòîü Nîö4+/ Z3-+Qi3Zóx"/Yk
%îüNðXôÏï2Nîcï Xòóìÿ4/Pösòöøõ¥î}ösôRùÏîñXüîõ¥îôxüRî9òùXòü¥î8
ócî`õî%ðsúhîòüNî¹ûPösóõWR"/ýóx1+2VìLõðCüNîûNømöïî
%&6
öñNôxóñNòîõ¥üò$üNîB3%úhösøþNî$óñXüðB1ócîóñNò¥îõü¥ò4üNî9ûPösóõ
R4/óx1YX¦3:V=óñ\ü¥ð
%&6
1YXZ3ò¥üösñRôNò3ìvð,õ:ö$ñNîcíAýPö
HösôNîðìüNîþNñNóðhñ$ðsìZ1+öñNô4üNî3òîcüWZ3\[NóòîüNðXô
ï}öñNñNð,üýjîPõîcôóì4/;jösòñRðhüösøõ¥î}ösôNùðhóñNîcô:üNîòùXòü¥î8
Nîë/+Qi3Zóx"/Ykïösñ$ýPî_Põ¥îôóÂüNî3ýPö¹ðìþNò¥îõ"/
ñNðhü¥óñ3üPöüôNþNîü¥ðüNî"!#)ÿ.#$&())òîHösñXüóïò}öìLüîõ`î}ösï2
PõóñªðsìüRîÏï2Nîóï}öøõ¥î}ösïü¥óðhñNò3ðhñNøùªðhñNî¿óñ\ü¥îhîcõõî¸ÿ
öóñRò3óñßðhñNîøðXï}öøýjöLONîu4!/ ÷Z3zQi4/ñkO%îüRð\ô
óñNòîõ¥üò9üNî:4/÷úhöøþNî9óñ\ü¥ðÏüRîûNømösïcî`_Z/-\a÷Z3zNî
÷¦3S$üõösñNò¥óü¥óðhñ9üRîñHõî%ðsúhîòüNîûjösóõbR4/ýóx1cV:ìvõð
üNî
%&6
HûNømösïcî öñNôÏóñNòîcõüò=óü¹óñXüð%üNî
%&6
-"a .
ûNømösïî-¢3ìLüîõPöúXóñî9\óü¥îô÷üNî9òùXò¥üî¨ö%þNò¥îõ-HöùñNð
øðhñ,îõ¹îñXüîõ$ñNîí óñXü¥îhîõ¥ò`ñNðhõ+hîü¹üRî9õîò¥þNøü`ñNðhõ¹îXóü
üNî=òùXòü¥î8RþNñNøîòòóü3õîîñXü¥îõò¹üRîòùXòü¥î8jösñNôHüNîòùXòÂÿ
üî0óüò¥îøìïösñNñNð,ü9óñNòîõ¥üóñXüî,îõò%óñ\ü¥ð÷üNîÏþNò¥îõ¥ò%øðXï}öø
9þNøüóòîcü
l'monpxp qrsn+t>tun+r+vpwxyt
}c {x|o}~c{|~ {|}~ }c§ ]{|]~
{|o}~ J J] {x|]~ ~}|o{x] {|~
ª\d
ª:e
ª:f
ª:g
ª:h
ª:i
ª:j
ª:k }§
3¿
¸]¹°(²
³o´µ
¸]¹°¯]º¯o»J·5o¬º¼ 3¿
¸]¹°l
¾m
6o°(²
³´µ
¸¹o°¯]º¯»·5o¬]º¼
n
±]»l
¾mo
À°(²
¸¹o°¯]º¯»
pqrs
tu
v
wxyz{|}~
9+
+{|~
)
¡¢
£¤¥¦
§¨©ª«
¬®¯°
±²³´µ
¶$·¸¹º»¹¼½¾
¿ÀÁÂÃ ÄÅÆÇ
ÈÉÊ ÈËÌ
ÍÎÏÐÑÒÓÔÕÑÖ
×ØÙ Ú
Û
Ü
ÝÞß
àÛ
áâ
ã
á äå æèçéêëìíîï ë
ð9ñòðóôõ ö÷
øùú
ûüý
þú
ÿ
Þß6àLáâTãåèëêìëâTçIë·ßìíLîBèëæZí*CEDæ_çè§èçD4ï+ì9ë ãlè
Éʯ°¯Ï°±0²½º,±¯l»±°´-ªrù°lúºT¼L»lóNî
%&6
xûRøáöïî
òü¥ðhõîcò4üNî4øðXï}öø09þNøüóòîcü3ðsì3þNòîõ¥òïþNõ¥õîñXü¥øù¿óñ÷üNî9òùXòÂÿ
üî¨íRóøîxüNî
%&6
-"a .TûNømösïcîxòüð,õîò¿üRîxøðXï}öø
9þNøüóòîcüðìþRòîõ¥òní3óòRóñ:ü¥ðøî}öúhîüRîòùXò¥üî¨Nîcù öõî
ðsìNügùXûPî2Qi
6
/ýóYkösñ4öø:hîýNõösóïòûjîïóPï}öüóðhñìvðhõ
!3ösõ¥üîò¥óáöñTûNõ¥ðXôNþNïü¥ò4ðì
6
/\òöñNô+XòüNîù¿òü¥ðhõ¥î
ûPösóõ¥ò R4/ýóx1cVQû3ö,ò:ösõ¥îòûjîïóPîcô÷í3óüÏöñ÷ösø:hîcýNõöóï
òûjîïóPï}öüóðhñ
ÁNð,þNõï2Nî%óï}ösø`õî}öïüóðhñRò¤*J2!)üðB2!) é1_jöúhî$ýPîîcñ÷ôNî¸ÿ
PñNîôªðhñ
%&6
ßðhñNøùliNîùxôNîcòïõ¥óýjîHüNî$ìLðhþNõûjðhò¥òóýNøî
í öùXò`ðsìNõî%ðsúXóñnügíðóñXüî,îõò`ìvõ¥ð±ðhñNîÈðhõügíðýjöhòöñNô
óñNòîõ¥üóñÏüNîóõ$òþ#óñXü¥ð÷ö¨*mûjðhòò¥óýNøù÷ð,üNîõ21ýjöLÁRðhþNõ
ï2Nîóï}öøõî}öïüóðhñRò*2!)HüðB2!)l1;jöúhî$ýPîîcñxôNî2PñNîcôTðhñ
ýPð,ü
%&6 9ösñRô
%&6
-\a .Nîù9ösõ¥îýPöòóï}öøøùüNî
òöî4öòüNî$ìLðhþNõï Rîóï}öøõ¥î}ösïcüóðhñNò=ôNî2PñNîcôxðhñ
%&6
ðhñNøùljîXïîûNü¹ìLðhõüNî$ìöïü¹üPöüüRîù8jöúhîü¥ðõ¥îðsú,îóñXÿ
üî,îõòÈìvõ¥ðCøð\ïösø9þNøü¥óò¥îüòò¥üðhõ¥îôóñ$üNî
%&6
-"a .
ûNømösïîösñNôßüNîùzPöúhîü¥ðHóñRòîõ¥ü:óñXüî9hîõ¥ò:óñXüð%øð\ïösø9þRøÿ
üóòîcüòò¥üðhõ¥îôTóñ¿üNî
%&6
ûRøáöïîiRîòîìvðhþNõ¹ï2Nî%óï}ösø
õî}öïüóð,ñNòò¥ûPîïcóìLùüNî¹ìöïü3üjösü3ðhñRïî4ö$þNò¥îõ;Pöò3ôNîïóôNîcô
üðHøî}öúhî9üNî9òùXò¥üî¨üNîcñWNóòøð\ïösø09þNøü¥óò¥îü;jösò¹üðÏýjî
ï}öø9þNøüóòîcü8Á`ó:hþRõîPßôNîûRóïcüòüNîýjîPöúXóðhõ$ðsì¹ï2Nî9ÿ
óï}öøõî}öïüóð,ñNòW2!)xösñNô 2!) *2!)1ügíðZóñ\ü¥îhîcõò<3¦óT
öõîHõî%ðsúhîô ìvõð üNîHòöîøðXï}öø9þNøüóòîünöñNôZüNîóõ
ò¥þóònóñNò¥îõü¥îôHóñ\ü¥ðüRóòøðXï}ösø9þNøü¥óò¥îü*2!)1Èügíðóñ\ü¥îÿ
,îõò:3ZóTHösõ¥î9õî%ðsúhîôHìLõð1üNî9òöîøðXï}öø09þNøüóòîcü3óñ
%&6 -\a
%
.\öñNô¿üNîóõòþ1óòóñNò¥îõü¥îôxóñXüðöñNðhüNîõ
øðXï}ösø9þRøü¥óòîüóñ
%&6
Í3ä3ä M çÈéX ,NNjNêç æ øÓ
è`´ èê¥hNNê¥é)´ê¥ç æ ,´RjNê¥ç æ
¢ýNò¥üõöïüóð,ñ/Ø÷ªösýNò¥üõösïü¥ò4üNîñNð,üóðhñ¿ðsì3ôNóòü¥õóýNþNü¥îô
ïðûNþRüóñLXýRþNüüNîñNð,üóðhñHðsìôNóò¥üõóýNþRüîôÏôjösüöóòhîûNü
¢ýNòü¥õösïcüóðhñ ØiÚ-ösýNò¥üõöïüòªüNî8ñNðhü¥óð,ñÉðìôNóòü¥õóýNþNü¥îô
ôPöüöNóòò¥üîûªûNõðsúXóôNîò=üNîðhò¥üösýNò¥üõöïü$òûjîïóPï}ötÿ
ü¥óð,ñðìüRî4ösûNûRøóï}öüóðhñ9íRîñÏóünóò¨N,©n¤,§¦©vc§m }²X©L¤
÷}¶sü}¶þÙL¶ Øiª0µ9¯»°L®¯ºT¼±4ò»¼®µµ¶ Rîõî óòÐö½,øðhýPöø
*ñNðhü3ôNóò¥üõóýNþRüîôL1_9þRøü¥óòîü3ösñNôHð,ñNøù9ðhñNî¹ügùXûPî¹ðìï2Nî%óÿ
ï}öøõ¥î}ösïü¥óðhñNò"¢ýNòü¥õöïüóðhñ¨ØiÚÏïð,ñXüösóñNò3ð,ñNøùð,ñNî¹ïømösòò
üNî
$"&+#
! "
&
.4 íNóï2iöóñXüösóñNòòîcúhîõösøþNò¥îõò3ösñNô
ð,ñNøùÏðhñNîhøðhýjösø09þNøü¥óò¥îü#ñNîügùXûjîðì ï2Nî%óï}ösøõ¥î}ösï¸ÿ
ü¥óð,ñxóòôNî2PñRîôZðhñxüRîhøð,ýPösø09þRøü¥óòîüíNóï2Tõî9ðsúhîcò
ügíð÷óñXüî9hîõ¥ò$ìvõð(üNîz9þNøüóòîü$ösñNôªóñRòîõ¥üòüNîóõ9òþ
óñXüð$üNî+9þNøüóòîü
÷}¶sü}¶sö¶ Å«©*^©iÕ[_a`éö µòr鮺b"®°¯ºT¼±"¶ Nî ïcøáöòò
$"&#
"
&
."! 4óò3ôNîûNóïü¥îôÏýXù L,þNõî«ï
lýmnppEqrsn+t>tun+rv+pxwyt
x} {x|o}~c{x|]~ {|}~ }c§ ]{|]~
{|o}~ J J] {x|]~
~}|{c {|]~
¥}¢4 Jª}J
%
±¯o»±c²
¸]¹°¯]º¯o»
3¿
¸¹o°²¸]¹°¯º¯o»
{x|]~ {|]~
{|]~
{x|]~
* <
<
{x|]~
{|~
Þß6àáâTãåEèëêìëâTçIëß6íLîaè Yí[CEDæ_çèèçD4ïìë2ãè
ÉÊõ9¯Ë ¼Lò0l»°¯ºT¼L±0µó«Nî>X "+/Qi"/Yk+îüNðXô
óñNò¥îõü¥ò9üNî%þNòîõ¥ò¥ÈóôRîñXüóügù 4/Ê`óñXüðÏüNîG"+/4ûNømösïcî
Nîë4+/ Z3-ji3Zóx4/Yk'îüNðXôï2Nîï2XònóìZ"/-jösònöøÿ
õ¥î}ösôNùªîñXüîõ¥îôÐüNîÏòùXò¥üî *mócîªóì@4/xóò$óñ üNîHûNømösïî
4+/"19}ösñRô:óñNò¥îõü¥òüNîE3úhöøþNîóñXüð3üNî09þNøü¥óò¥îü
%&6
ëLì4üNîÏþNò¥îõB4/PöòñNð,üù,îüHîñXüîõ¥îôAüNîßòùXòü¥î83üNî
%îüNðXôZï}öñNñNðhüHýjîjõîôüXþNòHüNî 3¿úhöøþRîÏóòñNð,üóñXÿ
ò¥îõü¥îôxóñ\ü¥ð9üNî 9þNøüóò¥îüRî /Qi3Zó4/YkOîüNðXô
ï2Nîï2XòóìZ"/-jösòösøõîösôNùîcñ\ü¥îõîcôüRî3òùXòü¥î8höñNô$õî}öôNò
ð,ñNî3óñ\ü¥îhîcõ 3óñ9üNî3ûNømöïî
%&6
ëLìY4/óòóñ$üRîE4++/4