HAL Id: inria-00073324
https://hal.inria.fr/inria-00073324
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,
Deriving Unbounded Petri Nets from Formal Languages
Philippe Darondeau
To cite this version:
Philippe Darondeau. Deriving Unbounded Petri Nets from Formal Languages. [Research Report]
RR-3365, INRIA. 1998. �inria-00073324�
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
Deriving unbounded Petri nets from formal languages
Philippe Darondeau
N ˚ 3365
F´evrier 1998
TH `EME 1
('%*')
+-,.0/1.12&24365798:<;&=3>79?
@BADCFE GIHKJ LMNOGQP$R>SGFTUNOVWNOTXCFE GN
Y[Z]\$^_G`TaYP$ZbP$cdZbP$efADG
LgP"ehei\$ZXTjhG-ZXGk]ADG`Z]k]ADGmlnonopoqrJ s&M`tuZXvwG`Z)Hyxoxoz%J {dn|e}P$coGN
~&FQ"h d
GehZX\de<\oNXGjhGFkFvwN_vw\dl%ehZX\>kFGjfRhZXGN}PdNXGFj|\dl%Z]GFcdvw\dlhN\$ZT\aehZX\dhGFE N
\dlehRhZXGaRhlu<\dRhlDjhGFjYGFTOZXv<lDGFTXNBvTOAvld^_GFkFTOvtoGUP$<GFvlDchalDGaehZX\dhwG`EvwNTX\|k\$lf
NOTXZORDkFTlhGFT]NZX\dE!vlDk\$E ehGFTXGaNOe<Gk`vDkP$TXv\dlDNFhcdvtdGFluVe}P"vZ]NB\dZ]Gc$RhP$ZBP$lDc$R}PdcoGFN
TXA}P$TvE e<\oNXG4ZXGNOe<Gk`TXvtoGFV)Rhehe<GFZ&P$lDj\yBG`Z<\dRhlDjfN&\dl%TXADG`vZG`SWe<GkFTXGj*<GFADPytuv\dRhZ]NF
@BADG)NXGkF\dlDjehZ]\$hwG`EvwNTX\IjhGFZOvtoG)GFuRfvt$P$wG`luTlDGFTXNZX\dEjfGFT]G`ZXEvlhvNOTOvwkgefRDNOADjf\l
P$RhT]\$EP$T]Pf>TOAuRDNG`SWAhvfvTXvlDc|TXAhGFvZAfvwjhjhG`l kF\dlDk`RhZXZXGFlDk`Vo
¡ ¢£i¤O¥|¦ "§d YGFTXZOvflDG`T]NFoZ]Gc$RhP$ZP"lDcdR}PdcdGN$k\dluTXG`SWTO¨Z]GGP$lDc$R}PdcoGFN$efRDNOADjf\l
P$RhT]\$EP$T]PffNOGFEv¨vlhGQP$ZNXG`T]N
©«ª¬®y¯¬°±²³0´`µ
¶&·9¸¹º¼»½D¾<¿yºÀ»¼ºÂÁÁ"ÃFÄÅ[¹`Æ0ÇFÈ"ÉyÃO¹FÊ$˺¼Æ0ºÂÌ0¹"ÄͲÆ
Unit´e de recherche INRIA Rennes
'% %&
'%` ('%*')%
\dRDN)jh\dlhlh\dlDN)jhGN)ehZX\>kFMjfRhZXGN%jhGIjhMk`vwN_vw\dl \dlDjhMFGN)NORfZGNKZ]MFcdvw\$lDN
ei\dRfZjfGFRfS ehZX\dhwC`ErGFNjfG N_VWluTOADCNOGZ]GFwP$TXvN)P$RfS ZXMNXGP$RfS jhG YGFTOZXvlD\dl6i\dZOlDMN
MFTXvRDGFT]PdcoGBvld^_Gk`TXv GBehZXGFEvwGFZehZ]\$hwC`ErGGNOTjfGk\dlhNOTXZORhvZXGBRhlIZ]MFNXGP$Rae}P$ZXTOvZjhG
NOe<MkFvDkQP"TXvw\$lDNvlDk\dEehCFT]GFNojf\dlhlDMFGN[e}P$Z[jhGFRfS*P$lhcPdcoGFNZ]MFcdRhvwGFZXN&Rhv>i\dZOlDGFluTN_Rf
eiM`ZXvwG`RhZ]G`ErG`luT4GFT4vlhMFZOvwGFRfZ]GFE GFluT[Gk\$E e<\dZXTXGFE GFluTP$TOT]G`lDjfRjfRIZ]MFNXGQP"R GNXGkF\dlDj
ehZ]\dfwCFE GGN_TBjÀGS>Afv<GFZwGe}P"ZbP$wMFvwN_ErGkQPdk]ADMUjRhlP"RhT]\dErP$TXG)efvwGjfMFT]G`ZXEvlhvNOTXG
GFl k\dlDN_TXZORhvwNXP$luTURfl ZXMNXGP$R jhG%YGFTOZXvMRhvt$P$wG`lWT
¦ ¤ ! ZXMNXGP$RfS jfG YGFTOZXv¨UwP$lDcPdcdGNrZXMcdRhvwG`Z]NwP$lDcPdcdGN Ah\dZ]NkF\dluT]G`SWTXGd
P$RhT]\$EP$TXGN"|ehvwGd>GFlDNOGFE|fwGNUNXG`E v² vlDMP$vZXGN
I! F
"#$$%4\d P$<GFwGFj cdZ]P$ehADNA}PQtoGK<GG`lvluTXZX\>jfRhkGj vl'&)(Lgx*oP,+iP$lDj-(Lgx*$ADG`Z]G
TXADG`V NOGFZOtoGjP"Er\dlhc\dTOADGFZT]\k]A}P$Z]PdkFTXGFZXv/.GgcdZbP$efADN0/ 1$243$5&T]\ErP$Z76WvlDc%cdZbP$efADN
\d[G`wGFE GFluT]P$ZXVlhGFTgNOVWNOTXGFE N98 Z]GFcdvw\dlErP$eDNNOT]P$T]GFNUTX\!:;%<>=?*vl N_RDk]A P PQVTXADP$T
k]A}P$lDcoGFN\d t$P$RDGNP"Z]GgRflhv\dZOE \dlP$iP"Z]kNvTXAP*k\dEE \dlrwP$iG` ADG`lDkGKvTTOZbPdkFGN
TXADG-t$P$RhGN\d&P|ei\dTXGFluTXvwP$ ehwPdkG-\$[P|lDG`TgkF\dEe}P$TXvhwGUvTOATOADG)k\dlhNOvwjfGFZ]GFj c$ZbP$ehA
@BADGYG`TXZXv² ZXGcdv\dlDN|\d@&BAR6>x{,+04Ahvwk]ATbP6oGvluTXGcoG`Z tdP"RDGFN4ehPQV TXADGNXP$E GZ]\dG
)ZT YG`TXZOvlDG`T]NF@BADGCDEF3E/G2HIJ>/!\$Z*lDG`T]N*TOADGFl ZXGjfRhkGN|TX\ NOGQP$ZXk]A \dZ
LKM/NJ>/NORhhNXGFTXN)\dZ]Gc$vw\dlDNFijfvNOTOvlDcdRfvwNOAfvlDciG`TBGFGFl P$NOT]P$T]GFN)P$lDjr^ RDN_TXvVuvlDc
Z]GN_TXZ]P$vluT]N\dlPdkFTOvw\dlDNP$TGQP$k]ANOT]P$T]GO&BPaLgxop+¨QuVWluTOADGN_vwNP"wco\dZOvTOAhErN&jhGk`vwjfvlDc%AhG`
TXADG`ZIP cdvtoGFlc$ZbP$ehA AD\dwjfN P$lRLKM/NJ>/)N_RhDNOGFTI\dZ]GFcdvw\$lDNA}PQtdGPdkFTOR}P$ViGFGFl
NOTXRhjfvwGFj P"lDj vEehwG`ErG`lWTXGj*\$Z4GFGFE GFluTbP$ZOV*lDG`T]NS&BTVU XW)xoq+}P$lDj|\$Z4i\dRflDjhGjYGFTXZOv
lDGFTXN@&BTPoxLYZ+¨
@BAhG T]\W\d\[>]_^a`Eb jhGFNXkFZOv<Gj vlc&BTPoxLYZ+BP"w\yNPdN)BG`T]\ kF\dlDN_TXZXRhkFT*<\dRhlhjhGj
lDGFTXNBZ]\dEhlfvT]GaP$RhTX\dEP"TbPde2fgM% hji>k/5`&@BADGa<\dRhlDjhGFjZ]GFcdvw\dlhNB\d
Z]Gc$RhP$ZwP$lDcdRDPdcoGNA}PQtdGU^ RDN_Tg<GG`l NOTORDjfvGj vll&)mVmVPaxq+T]\IehZ]\ytuvwjfG*P vlDGQP$ZUP"wcoG
hZbP$vkINX\dRhTXv\dl6TX\ TOAhvwN-Z]G`P"S>GFj NOVuluTXADGFNOvN*ehZ]\$hwG`E @BAhG ehZXGNXG`luT|e}P$e<GFZG`SWT]G`lDjhN
\tdGFZTXAhvNGP$ZXvwG`Z4B\dZ76Ivl NXGFtdGFZ]P$<ZXGN_eiGFkFT]NFsvZXNOTQoTOADGg<\dRhlhjhGjflhGNXNk\dlhNOTXZ]P$vluT\dl
lDGFTXN[RhvT]GIl}P$TXRfZbP$ADGFl k\dlDN_TXZORDkFTOvlDc lhGFT]N%Z]\dE hlfvT]GITXZ]P$lDN_vTXv\dl6NOVWNOTXGFE NRhe
T]\cdZ]P$ehA vNX\dE \dZOehAhvwN_E DhRfT)P$ZXTOvDk`vP$ADG`l jhGFZOvtuvlhcrlDGFTXNKZ]\dE wP$lDcdR}P$coGNFiNXGFGFl
PdNBNOGFZXtuvkGKN_eiGFkFvhkQP$TOvw\dlDNF>vNvT]GFj _Q>GFk\dlhj hk\$E ehGFTXGgN_eiGFkFvhkQP$TOvw\dlDNBP$Z]GgZ]GFefPdkFGj
WVvlDk\$E ehGFTXGKNOe<Gk`vDkP$TXv\dlDNhlDP$ErG`V e}P$vZXN\d&ZXGcdRfP$ZwP$lDcdR}P$coGNGS>efZ]GNONOvlDcrNXP"
GFTVP$lDjvtoGFlhGNXNZ]GFRhvZXGFE GFluT]NF@BAhvZXj hTXADG)lDG`TaN_VWluTOADGN_vwNaehZX\dhGFEvNUNO\dtdGj\dZ
jhGFTXGFZXEvlfvwNOTOvwkkF\dluT]G`SWT_ Z]GFGaP"lDcdR}PdcdGN[@BADGgTXGk]AhlhvRDGNRDNOGjrTX\|\dhT]P$vlTXAhGgZ]GFNORhT
E vcdAuT&\dZj6IP$N[BG`h\dZ[\dTXADG`ZkFwPdNXNOGN4\d9P$lhcdR}PdcoGFN&vTOAINXG`E v² vlDGQP"Z&kF\dE E*RhTbP$TOvtdG
vErPdcoGNF
@BAhG Z]GFNOTr\daTOADG e}P"eiG`Z vN \dZXcP$lhv/.GFj PdNI\dw\yNnQWGkFTOvw\dl { jhG`hlDGFN Z]GFcdvw\$lDN
vlP$lDc$R}PdcoGFNgP"lDj N_TbP$TXGNUtdP"ZXvP"lWTUk]A}P"ZbPdk`T]GFZOvo.P$TXv\dlDN\d&lhGFTUP$lDc$R}PdcoGFNvl TXGFZOErN\d
Z]Gc$vw\dlDNFpQ>GFkFTXv\dl nrNO\dtdGNKTXAhG|NOVuluTXADGFNOvNKehZ]\dfwGFE \dZglDGFTXNaZ]\dE e}P$vZ]Ng\d4Z]GFcdRhP"Z
P$lDc$R}PdcoGFN0Q>Gk`TXv\dlrq NX\dtoGNgTXADGNOVuluTXADGFNOvwNgehZ]\dfwGFE \dZUlDG`T]NgZX\dE jhGFTXGFZOE vlhvwN_TXvwk
k\dluT]GSWTO ZXGGIP$lhcdR}PdcoGFNM8mN_AD\dZXT%kF\dlDkFRDNOv\dl k\dEE GFluT]N)\dl TXAhGIvEvT]P$TXv\dlDNgP$lDj
ei\oNONOvhwG-kF\dluTXvluR}P"TXvw\$l\dTOAhvwN\dZ76<
%F% ' (F'')%
G`T <GP flhvTXGrNXG`T \d E`r8 % )\ytoG`Z vwN*P NORhhNXGFTI\$ *ADG`Z]G
</<BvwNaTOADG*Z]GFG|Er\$lD\dvwj coGFlhGFZbP"T]GjuVp8 NXGFuRhGFlDkFG \dG`toGFluTXN vN
P\7Kd ADG`l! }<TOADG\dZ]jvNKPC/F u5g\d[TOADG*\dZ]j#"1lD\$TbP$TOvw\dl%$
'&(*)@8 wP$lDcdRDPdcoG+ vwN 2HI-,/.10j5/ jKvvTKvlDk`RDjfGN-P$&TOADG|wG`TK1PdkFTX\dZ]N-\$TOADG
B\dZXjhN-vT)kF\dluTbP$vlDN2"1vl \$ZXE|RhwPdN3$465
+789+ GFTXTOvlDc:465
+;< :!=> @?
BA
#
+;*C&#@?1]C8efZ]GF>SW kF\oNXGFj P$lDc$R}PdcoGD+ \tdGFZ2 EPQV <GrvwjhG`luTXvhGj vTXA TOADG
jhGFTXGFZXEvlfvwNOTOvwk"1fRhTKcoG`lDGFZ]P$VvlDkF\dEehwG`T]GE)P$RfT]\dErP$T]\$l
+S<Fd<FG9<<H+7]9ADG`Z]G*TOADG
NOTbP"T]GN\d9TXAhGP$RhT]\$EP$TX\dlP$ZXGTXADG\dZ]jhN\dI+TXADGvlfvTXvwP$WNOT]P$T]GvwN[TOADGGFEehTV|\dZXj
P$NOT]P$T]GFN P$ZXGPdkFkGFefTXvlhch[P$lhjJGmvwNTOADGrNOGFT \$P$<GFwGFj TOZbP$lDN_vTOvw\dlDN K
L
NORDk]A
TXA}P$TM <F J+ONPQiP$lhj DINd@BAhZX\dRDcdA TXAhvNUvjhGFluTXvDkQP"TXvw\$l hTXADGk\dlhkGFefTK\d
vluT]GFcoGFZt$P$RhGj Z]GFcdvw\dlhN\$ P-TXZbP"lDNOvTXvw\$lINOVWNOTXGFE!PdkkF\dRhluT]GFjr\dZ4vlr&BAR6>x{+0 &BP Qfxon+0
\dZh&Bm\PKYSR-xop+0fErPyVriG)PdjhP$ehT]GFj P$N\$w\yNBTX\ ehZ]G`fSukF\oNXGFj wP$lDcdR}P$coGN\ytoG`ZM
T¢UWVYX X¦6V[ZI\-]'^ ¢`_6X¦IV bac Z]GFcdvw\$l + / d2 124 ed
<Ffgh*_3 dji
+ L kml
KMf
i L non
h 4533%OC[p q
dS
W dS
rtsuf
v e#wx+
K:a< Qy h /N :f
i L nzn
J3EdkENi>E1$243/ 1NK3%
{. K 3E 2Df
i L non|
eMk3}~f
p vWCf
r1sf
v; 3EI <F
K: /NKEN,VjKu_3 3EM G 2\7KP_F3 E0/3Et:
+7K
F3EG 9 GI$$% p% +
h d ZI\Z+=8[+Svq
+S8
+7
8 ZXGcdv\dl
d
<Ffg\d+ vNUG`luTXvZXGFVjhGFTXGFZXEvlhGjWVTOADG%ErP$efZ]\dE TOADG%t$P$RDG dS
]
\dZBE \dZ]GUcoG`lDGFZ]P$V Z]\dE dS
\dZNO\dErG+~ lkQP$NXGaADG`lu+ \Wkk`RhZ]NT]\*<GgTOADG
NXGFT\diG`A}PQtuvw\dRhZXN\$PehRhZXGrYGFTXZOvlDGFTGPdk]A ehwPdkGI\dTXAhGlDG`T*c$vtoGFN-ZXvwNOG T]\ P$lDj
EPQV P$kFTXRDP$V<GNXGG`lPdNP-Z]GFcdvw\$lI\dr+ G`TRhNZXGkP$hTOADGjhGFflhvTOvw\dlI\diYG`TXZOv9lhGFT]NF
T¢UWVYX
X¦6V[ZI\z=^{K¢
y
XV¢
!ac
YGFTXZOv&lDG`T/ B2H/
<Fd<HP 3EI
K ISK/-eE F &ehwPdkGFN0 KG`toGFluTXNh K
ipe9
%
L kml
c ErP$Zj6uvlDc /1C2J
ir
L kml
c EN 3%-k\dlDkFGNONOvw\$l ;
K ED
z
<HNbu& z
¡
c E<NJ_F3 55$c*
D fZ]G ¢ 3/' F3E N7% $y¤£{Nj¥ E53nF3%
¦
z
Wj
z
*§¨
o
<¡Nbs9
N<
c 0N _/BefRhZ]G
¦
N2
o
<¡Nb
N<
W ;gP¢ 3E9J3% $kIS 9-vlhvTOvP$vo.GFj1g©
<Hd<H9<¡«ª¬3ª®¯
_F3-vlhvTOvP$WErP$Zj6uvlhcPª¬3ª® IS3E9 ji>45# EFS 3ES KE5 DOK-,jK
* :EX?x : N3 ?6N@
ª¬3ª®6?{N@¥9
K
Q
e
<H<H9<¡
K
I?
¢ 3E
p/@ 5j/jKd3EP"lDcdR}PdcdG- Q
T¢UWVYX X¦6V[ZI\y^ V¢ ac N_RhhlDG`T -E N jK %©
<Hd<H9<¡«ª¬3ª®¯
/ ENN jKr;u
<Hd<F/<¡C
ª¬ ª®
KE5jK rI $5N$n >
1@%J # S2H5
Y8
!C
ª¬3ª®
/M3EMIN$5N$ ª¬ ª®p K2*r
e
{
h d
ZI\
«78
eODM%J>W J
(P$k]AehwPdkG
\drP$l vlhvTOvP$vo.FGj efRhZ]G YG`TXZXv lhGFTQ
e
<H<H9<¡ª¬ ª®e jhG`T]GFZ_
E vlDGN)PRhlhvRDG Z]Gc$vw\dl
d
<FfgU\d
«]N_RDk]A TOA}P$T dS
ª¬3ª®
z
aP$lDj«f
NbM
N<
§
z
<HNb \dZGFtdGFZOV GFtoG`luTxN[ TB\dlutoGFZXNXG`VoaGQPdk]AZ]GFcdvw\dl
d
<Ffg\d
«jfGFT]G`ZXEvlDGFNBRhlhvRDGFVP$l . NDaehP$kG
Ahvk]AEPQVr<G-PdjfjhGjT]\2v²
TXAD\dRfT%PiGFkFTOvlDcvT]Na<GFA}PQtuvw\$RhZ]NF NORDk]A6TXA}P$Tª¬3ª® z
dW
UP$lDj\dZKGFtoG`ZXV G`toGFluT
Ndv
N<
I§ o
<¡NbW[f
NbP$lDj z
<HNb
N<
W ;f A\dZ]GavjhGFVofP$lvlhflhvTXG
YGFTOZXvlDGFT
+;
e
<H<H9<¡ª¬ ª®aEPQV<Grk\$lDNOTOZXRDk`T]Gj vl6TOAhvwN)BPyV Z]\$E P$luV
lD\dlf GFEehTV*ehZXGFfSu kFw\dNXGjIP"lDcdR}PdcdG +ovTXA P-NXG`T\d}ehPdkFGN
kF\dlhlDGFkFTXGjrN_vEvwP$ZXV
vTXA6TXADGIZ]GFcdvw\$lDN\$ +@BADG vlDkFRDNOv\dl6ZXGFwP$TXv\dl + 8
+7gvwN)TXADG`l P$PQVWN
N]P$TOvwNOhGj WV jfGFhlhvTXv\dl \dBZXGcdv\dlDN@BADGk\$lWtdGFZXNXGrvlDkFRDNOv\dlvwN)coG`lDGFZ]P$V vlut$P$vwj
s}\$ZvlDNOT]P$lDkFGdWPdNXN_RhEvlDc)TXA}P"T;+'
+7\dZ+'
s`wGPdjhN4T]\*P%kF\dluTXZ]P"
jfvwk`TXvw\$l P$N%\dw\yN8aN)TXAhG NOGRDGFlhkG
vNPiG`A}PQtuvw\dRhZ%\d
+;KP$lDj
vwN-lD\dT
TXADG`Z]GgE*RDNOTG`SWvwN_TP)Z]GFcdvw\dl ed
<Ffg[\d%+N_RDk]ATOA}P$T dS
n;*P$lhj dS
c;fuADG`lDkG
f
v! ;> shZX\dE P$lD\dTOADGFZ NX\$RhZ]kFGdUP$NOGRDG`lDkGFN!#" P$Z]GiG`A}PQtuvw\dRhZXN \$$
+7]
ADGFlDkFG dW
Os%
f
E|RDN_TU<G-lD\dllDGcoP$TXvtoG-\dZUP$&%<8aN dS
`vNhlhvT]GdhTOAhvwNvN
kFwGP$ZXVvEei\oNONOvhwG$('-GFlDG`ZbP$vo.`vlDc \dlTXAhvNaGShP"E ehGd<\dlDG|kP$l NOT]P$T]G*TOADG|\dw\yvlDc
ehZ]\de<\oN_vTXv\dl uTXADG-ehZX\>\$&\dAhvk]A vNNOTXZ]P$vwc$AWTO\dZXBP$ZXj
¦*)4¦ X X1¦6VZO\,+^.-0/ hD d ¢ X1`XV²_V¢ 1 V/_ _}¢ !a32 fg0j02HNDf2HI-,/.10
5/ jKd + # 9 OEM2h 3E_e/b_ I ji>/EB}
v-) /hF3Eh% # 1pENN jKG2HI<#N_-h
vv-)w+'
+7{h
vvv¦)
+78[+7h
vt)
«+7
NIN54x+ q f
Nb c;6 dS
`Osf
rIs f
Nb7 ;
e# 1pI$$
ed
<Ffp
+7
3E-3E p N$%GI0NKbhr+'
«ae EDh%J>%
+7# 0
J>/jKhI !J G I$$%*@
+7J8
+; 3fgu_N9eF3E
NKD Dd%$5 h N$
|
t
@BAhvwNk]ADP$ZbPdk`T]G`ZXvo.P$TXv\dlPdkFk\dRflWTXN\dZBwP$lDcdR}P$coGN\$ ei\oNONOvhVvlhflhvTXGglDG`T]N>v Gd[lDG`T]N
vTXA vlhhlhvT]GNXGFTXN4\d}ehP$kGNF_mRhT&lD\dT4G`toGFZOV|P"lDcdR}PdcdGB\d<PalDG`T4vwN&TOADGBP"lDcdR}PdcdGB\d<P
hlhvTXGlhGFT&sD\dZvlDN_TbP$lDkFGd"TXADGvlhflhvTXGlDG`TS©
<>: E<
?X<H9<¡ª¬ ª®<vTOA|k\$RhluTbP$hG
NXGFT\$-ehPdkFGN
kml
NORDk]A TXADP$T E<
='
z
<
u
P$lhjCª¬3ª® z
%z
§ = %\dZP"
A}PdNBlh\*hlhvT]GKGFuRfvt$P$wG`luTQ4@BAhvNBErPyVI<GaehZX\tdGjZ]\$E TOADGa1Pdk`T
TXA}P$T
¬ ¬
¬
«%\dZ G`toG`ZXV l}P"TXRhZ]P$luRhE|<GFZAhGFZ]GPdNP$T TXAhGN]P$E G
TXvE G
¬ ¬
¬
4
«] AfvwGBGP"Z]GrE \>jfGFZbP"T]GFV vluT]G`Z]GN_T]GFjvl vlhflhvTXG
lDGFTXNGk\dlhNOvwjfGFZIADGFZXGPdN hZ]N_T k`PdNONIkFvTOvo.FGFlDN|TOADGhlhvTXGvlhvTXvwP$v/.Gj lDGFTXN Ahvwk]A
A}PQtoGvlhflhvTXG Ij53%LJ> D :"0NOGFT]NI\dErP$Zj6uvlDcoN*ZXGQPdk]ADGFj uV6hlhvTXGr<GFA}PQtuvw\dRfZ]N
\dgTOADGvlhvTXvP"vo.FGj lDGFTH)` @BAfvwN vwNP NOvwc$lhvDkP$luTIjfvtdGFZXcoGFlDkFG ZX\dE TXAhGN_TbP$lhjfei\$vluT
Pdjh\dehTXGjvl &)mVmVPKxq,+0hADG`Z]G%NXk\$eiG)P$NUZXGNOTOZXvkFT]GFjTX\<\dRhlhjhGjlDGFTXN"lDGFTXNUAD\dNXG
EP$Z76uvlDc%cdZbP"ehADNP$Z]GhlhvT]GE)4@BADGaE \ytoGZ]\dEhlfvT]GTXZ]P$lDN_vTXv\dlNOVWNOTXGFE NBT]\%vlhflhvTXG
TXZbP"lDNOvTXvw\$l N_VWNOT]G`ErNUA}PdNgP$lvEe}PdkFTU\dlTXAhG%TVue<G*\dZ]Gc$vw\dlDNTOA}P$TUvlDjfRhkG-ehP$kGNU\d
TXADGNOVuluTXADGFNOv/.Gj lhGFT]N
+;] \dZ76Z]G`ei\dZOT]GFj6vl &)mVmVPKxqZ+BPdN)}PdNXGFj Rhe<\dl TOADG
vlhGQP$ZP$coGFhZ]P$vwkehZX\deiG`ZXTOvwGN\d TOADGKNXG`T\d <\dRhlhjhGjZXGcdv\dlDN\dPZ]GFcdRhwP$ZwP$lDcdRDPdcoGd
ADGFZXG
d
<Ffg«
+7IvwN'Jk KjK vM:
dW
J? +-? vwNrRhefeiG`Zi\dRflDjhGj¨"1vl
kl
)`&\dZ*GFRhvt$P$GFluTXVo&v#:!f
D?r +-?vwN%Rhehe<GFZi\dRflDjhGj["vl
nzn
) T*NOAD\dRfwj
iGG`E ehADPdNOv/.Gj TOA}P$T :!f
u?/+!?vwN|\GFZ <\dRhlhjhGj\dZIP$luV ZXGcdv\dl\dM+
@BAhvwNk]A}P$Z]PdkFTXGFZXvNOTOvwkehZ]\de<GFZOTVI\d ZXGcdv\dlDNu\divTOTXGBADGFerADG`l\WkFRDNvwN\dlr<\dRhlhjhGj
Z]Gc$vw\dlDNFdvwNTXADGBk\dZOlDGFZXNOT]\$lDG\dDTXADGBjhGFtdGFw\$ehErG`luT]N4ehZ]GFNXG`lWTXGjIvl|TOAhvwNe}P$e<GFZ4@BAhvlhcoN
EPQV <G jhGFNXkFZOv<Gj P$N\dw\yN 'KvtdGFl P ehZXGFfSuk`w\oNOGj wP$lDcdR}P$coGu+\ytdGFZBwG`T
f i L non
<GP$luV ErP$e NORDk]A TXADP$T :!f
? #+-?A}PdNrP6E vlhvE*RhE wG`T
alDGFkGNON]P$ZOvV lD\dlf¨ei\oN_vTOvtoGN_vlDkFG«f
`x ;f @BADG fS>GjEP"ef c$vtoGFNZXvwNOGT]\
P kF\dGk`TXvw\$l\dgZXGcdv\dlDN
d
<Ffg
+7]BGQP$k]A \dgAhvwk]A k\$ZXZ]GFNOe<\dlDjhNIvTOA NX\dE G
vluT]GFcoGFZ ;N_RDk]A TXADP$T dS
< §
18gE \dlDcTOADGNOG Z]GFcdvw\$lDN TXAhGGQPdN_T\$lDG
" ;1)vNTXADG)E \oNOTN_vwcdlhvDkQP"lWTN_vlDkFGdD\dZUGFtdGFZOVGFtoG`luTNN_RDk]A TOA}P$Tf
Nb ;fhvT
vwN4TXADGUEr\dNOTv6oGFV|T]\)}P$ZTXAhGgGS>vT]NIN54+y"ADGFZXG<x+)4uV ehZ]\WjfRDk`vlDc%lDGcP"TXvtdG
tdP"RDGFN dS
INbW dW
Ms f
ONbW f
r§
Ms
s f
Nb]@BAhvwNEr\dTOvt$P$TXGNTOADG
\d\vlDc|jhG`hlhvTXvw\$l
T¢UWVYX X¦6V[ZI\ ^ ~FyD dI ¢`_6X1¦6V ba #g0j02HND 2HI-,/.10j5/ jK %
+ 2hGr2 f i L non
453 3%0:!f
D?6 [+V?'3%1'MEM /
5j/jKr P$DN_TXZbP$kFT%Z]Gc$vw\dl +
+;JF3EM p dLJ 75 $$% +
:\jK«+ K EWN> E53 3%/ON54«+;hV I$$f
+7
/ >NK1 )DP$ZTXADG)GS>vTINd f
r²§ :!f
²? +!?;s f
Nb ;g
T¢UWVYX X¦6V[ZI\=^ ~§ XQ X ¢ ¢ ¦ ¢`_IX¦6V !a«c J
+7 /PdjfEvwN_
NOvfwG2_F3 245g+ OD {. ²ON 4+ /@JIjK1J>DM 1GI$$:f
+7
@BADG-\d\vlDc*vNPIN_TXZ]P$vwcdAuTO\dZXBP$Z]jPdjhP$ehTbP"TXvw\$l\d[Y[ZX\de 9{>Àpf
¦*)4¦ X X1¦6VZO\^ f X V / hD d ¢ X1 > X1¦6V axc g0j02HND 2H-,/.10j5/ jK g0
;+ \ pE /G3E# h G
|
,E S2H 0 _G K
ED
+7O5K@ 1
|
,Eg 2+ 0 LKM/NJ>/hJ e
k
lLKLK $h eMED
+ 0 LKM/NJ>/p%J
+7{h+y
«@/N
e
<H<H9<¡ª¬ ª® JOF3E
2HkIS/_F302H5
5%N45gjK I 5I 24 KhI$$%~f 453
F3%Yª¬ ª®
z
W¨§a:!f
²? jx+9?- K
N<
%§Q
o
<¡NbSCf
Nb eOD
EWN@
l TXAhG NXGFRDGF¨TOADGT]GFZOE $$6vwN P$BPQV>NRDNXGFj vTOA TOADG E GQP$lfvlDc \dLJN75
$$DY lTXAhGUZXGNOTB\d TOADGaNOGkFTOvw\dl WGacdwP$lDkFGgP"TTOADGKP$coGFfZbP$vkNOTXZORDkFTORhZ]Ga\d
+;]
TXADGK1P$EvV\dZXGcdv\dlDN\dW+_8 Z]Gc$vw\dl f
+7EPQVr<G-vwjhG`luTXvhGjvTOA P|tdGkFTX\dZ
vlTXAhG)flhvTXGKjfvE GFlhNOvw\$l}P$iE \WjfRhwG
nzn
y ¥ P"lDjvTErPQVrTXAhGFZ]G`\dZ]GK<G-ZXvTXT]G`l PdN
P%\dZOEP$9N_RhE
K f
Nb
NdWADGFZXGf
Nb[vNTOADG*N` k\dEei\$lDGFluT\$ TXADGUtoGk`T]\dZs}\$Z
vlDN_TbP$lDkFG *§
>v Gd k<3§¥ vltoGFkFTX\dZ\dZXE >ZXGFehZXGNXG`luT]NTXADGKZXGcdv\dl f
S
P$lDj f
~§f
T¢UWVYX X¦6V[ZI\-]!=^#"$ X&% ¢ V I ¢ _6X¦6V ba ¢²\ I$$%f
<Ff
i L non
I
GRhvt$P$GFluT@
BA
%
<%
kml
¦
Nx2 % f
NbS%
f Nb¡
h d ZI\-]p] ¢²\ ji>/E I$$% + J {.X5ND3EG>1 {. IN 4+
Q>\h TXADGjfvZ]Gk`TXv\dl \dPZ]GFcdvw\dl> toGFkFTX\dZ-vwN%P$[TXA}P"T%ErP$TOT]GFZXN sD\dZ-TXAhvN-Z]GQP$NX\dl vT-vN
uRfvT]GkF\dlutoGFlfvwGFluTT]\ G`SWT]G`lDj ZXGcdv\dlDN T]\ ZbP"TXvw\$l}P$Bt$P$RDGNF 6dGGFefvlDc vlEvlDj TXADP$T
E|RhTOvehvwkP$TXv\dl uVP"l P$jhGR}P$TXG%lDP$TXRhZ]P$ luRhE|<GFZvNwGFTvE efvwk`vT
T¢UWVYX X¦6V[ZI\-]gZ^ f X1¦6V ¢`_6X1¦6V ba«c ZbP$TOvw\dl}P"UZXGcdv\dl :+ /' 2=f
i
L ' E53 3%\:!f
²? wJ+!? 3% MEMk< (
+7@KgO3Eh
@3E @243 c %J )
+;h/aPdj>E vNXNOvhwGD/ /B<+ MD-{. WIN 4+
/-JIjK J>D 11I$$ F3/d -h 3EIf }P$Z]N2IN
|
$N$6}:f+*INr
f
%%§ :!f
²? +-? sf
Nb ;v
mVP$hRDNOGa\dilD\dTbP"TXvw\$lDNoTOADGgZ]P$TXv\dl}P$hZXGcdv\dlDN\d²+ ErPQV iGvwjfGFluTXvDGjvTXAtoGFkFTX\dZ]N
vl TOADG tdGk`T]\dZ_NOeDPdkG'
'
¥%[P$lDj TOADGFV EPQV <G Z]G`ehZ]GFNXG`lWTXGj uV6\$ZXErP$NORhE N
K f
Nb
NdADG`Z]G«f
Nb ' sD\dZvlhNOTbP"lDkG$ u§
P"lDj
`
§
jhGFlD\$T]GUGRhvt$P$GFluTZbP$TOvw\dlDP$hZ]GFcdvw\$lDN&@BAhvwNk\dlutdGFluTXv\dl\d<Z]G`ehZ]GFNXGFluT]P$TXv\dlrErPQVIP$wNO\
iGP$ehefvwGFj TX\TOADG: 3 0g g\dTXADGIB\$Z]jhN>=y GFT
r ' ¥)
ADGFZXGrTXADGN`k\$E e<\dlDG`lWT*\dTXAhGrtoGFkFT]\$Z k\dRflWTXN*TXAhG\>kFkFRhZOZ]G`lDkGFN \dMNrvlJC"TXAuRDN
r
Nb
kml
) sD\dZIvlDN_TbP$lDkFGd
s
alDGErPQV TXADG`l \dhNXGFZOtoG
TXA}P$T<f
r0 f <
r ¥ \dZ-P"lWVZbP"TXvw\$l}P$Z]GFcdvw\dlf
i L
'
P$lhj \dZKP"lWV\dZ]j
« FhADGFZXG5 /<g¥ vNNXkP$P$ZefZ]\WjfRDkFT@BAWRhNDADGFlfvwNP$lRhl%6Wlh\l Z]Gc$vw\dl
P NXGFT\dgk\$lDNOTOZbP$vlWTXN :!f
gª¯ 1ª¡ªD? =& & ?uADGFZXG
<u<Fg¬P$ZXGcdvtdGFl
B\dZXjhN1ªe : p<&@<HM< @<¥G?uDP"lDjª/l
'
hErPQVr<GKvluT]G`ZXehZXGFT]GFj P$NgP|hlfvT]G-N_VWNOT]G`E
\d9GR}P$vTXvGN&P$lDj vlDGFR}P$vTXvGNTX\KiGNO\dtdGj vl TOADGhlhvT]Gj>vE GFlDN_vw\dl}P">tdGkFTX\dZNOe}P$kG
' y¤¥) PaGk`vwjfvlDcTOADG-GQPdNXP$hvvTV \d&NORDk]A PN_V>N_T]G`EP"lDj kF\dEehRhTXvlDcP NX\dRhTXv\dl
ADGFlvT*vwN*GPdNOvhwGTbP,6dGN TXvErGei\dVulD\dEvP$vl TOADGNOv/.G\dTOADGNOVWNOTXGFE "1NXGFGG$Àcf
&Q>k]ADzop,+)` LUG`TXRhZOlhvlhcTX\ TXADG P$coGFhZ]P$vwk NOTXZORDkFTORhZ]G \d
+7ba\dlDGEPQV NOTbP"T]G P$l
\dutWv\dRDNehZX\de<\oNOvTXvw\$l
¦*)4¦ X X1¦6VZO\-] ¢ 3Ep7N$ $$%O +le 5p'' = ¥
KlhG kP$lhlD\dT*N]PQV Er\$Z]GP$<\dRhT%TXADGNOTOZXRDk`TXRhZXGr\dZXGcdv\dlDN)vTOAD\dRhT%NXG`TXTOvlDc NOe<GkFvDk
PdNXN_RhE efTXvw\$lDNRhe<\dl wP$lDcdRDPdcoGNF
rF I* "*# '% " '% (F
* ' F
@BADGcd\P$\dTXADG%NXGFkFTXv\dl vNT]\NORhehefVPIjhGk`vwNOv\dl \d&GPdN]P$fvvTVP$lhj PINX\dRhTXv\dlT]\
TXADG-\dw\yvlDcehZ]\dfwGFE
¦ ¢ r\-] I$d% >+ K + ,E h E2h
5%E5 ,E ENN jK 2HkI P
e
<H<H9<¡ª¬ ª®erE53 F3%P+ 8
8 +<
@BAhvwNehZX\dhGFEvNP ZXGFwP"S>GjtoGFZXNOv\dl \$TOADG-\d\vlDchWNX\dtoGFjvl &)mVmVPaxq+0
¦ ¢ r\Z 1 I$ % W+ dW,E SEW2h 5% E5
ENN jKp2HOS
<Fd<H9<¡ª¬3ª®¯h7 3E
/M<,Egp -h 453 3%
+'
«h KdF3EhIj53%LJ>ND S /,E 3
@BADG lDG` Er\$TXvt$P$TOvw\dlhN*RhlDjhG`ZY[Z]\$hwG`E nf²H P$ZXGTX\ coG`T ZOvwj \daTOADG <\dRhlDjfGjflDGFNXN
k\dlDN_TXZ]P$vluTIehZ]G`tuvw\dRDN_V vE e<\oNOGj\dllDGFTXNP"lDj TX\ P"w\y k\$lDNOTOZXRDk`TXvlhc lDG`T]NIZ]\dE
502H/ h 245,V5j $%` \dTXvkG*TOA}P$TKTOADG|RDN_R}P$4jfvNOTOvlDk`TXvw\$l iG`TBGFGFl6NOT]P$T]GIPdN
NXGFZOTXv\dlDNP$lDj|<GFADPytuv\dRhZbP"}PdNXNOGFZOTXvw\$lDN[1PdjhGFNPyBPQV|\dZYGFTXZOvhlDG`T]N\dZ&TXADG`vZ[ErP$Zj6uvlDc
cdZbP$efADNUP$Z]G)jhG`T]GFZOE vlhvwN_TXvk"¨P$lhj G`toGFl k\$ jhGFTXGFZXEvlfvwNOTOvwk)`4@BADG`Z]G`\dZ]G$}vl P|lDG`TaN_eiG
kFvhkQP$TOvw\dlP+ 8
8 +UdTOADGPdNONXGFZOTXv\dlDN
«78 + P$lDj2+ 8
« ErPQV<GNXGFGFl
Z]GN_eiGFkFTOvtoG`VP$NP >7eND-PdNONXG`ZXTXv\dl P$lDj P PdNXNOGFZXTOvw\dl @BAhG%N_eiGFkFvDkQP$TOvw\dlvN
k\dEehwG`T]G*v;+ +\dTOADGFZOvwNOGIvTKvwNKvlDk\$E ehGFTXGdP l P$luVkQP$NXGd\dlhGIErPQVPdNONORhE G
TXA}P$TP+ P$lDj + P$Z]G ehZ]G`fSukF\oNXGFjP$lDj TOA}P$TP+ 8 +@BAhGNXGP$NXNORfE ehTOvw\dlhN*jh\ lh\dT
PiGFkFTTXAhGUjfGkFvNOv\dl efZ]\dhGFE <GkP$RDNOGUTOADG\deiG`ZbP$TOvw\dl\dikF\oNORhZXGWV GFT41Pdk`T]\dZXNP$lDj
TXADG|ZXGFP"TXvw\$l \dvlhkFRhNOvw\$l P$Z]G|ZXGk`RhZ]N_vtoG \$l ZXGcdRfP$ZgP$lDc$R}PdcoGFN ADGFl TXAhG NOe<GkFv²
DkQP$TOvw\dl vN)vlDk\$E ehGFTXGd TXAhGFZ]GIErPyV G`[email protected]\h\$lDGI\dZ%NXGFtdGFZ]P$wP$lDcdRDPdcoGN-\$BlDG`T]N
+~ª
ª¯%NORDk]A TXADP$T2+ 8C+Sª/8 + ADGFl TXAhGNOe<GkFvDkQP"TXvw\$l vwN|kF\dE efwGFTXGd[v¨ÀG$
ADGFl«+ w+ +DTXAhGFZ]GG`SWvwN_T]NaP$TEr\oN_Ta\$lDGdDl}P$E GFV +SmRhTgGFtdGFlvlTXADP$TakPdNXG$
Y4ZX\dhGFE n>Â{P$lDj Y[Z]\$hwG`E nf²HP$Z]GlD\$TIGRhvt$P$GFluTQ s}\$Z|vlDN_TbP$lhkGdGFtdGFZOV hlhvTXG
ehRhZ]GlDG`T NORDk]ATOA}P$T
S s
W
&ADPdNBP"lrvlfhlhvTXGZ]GQP$k]A}P$hvvTV|NXGFT
PdNBPdN\dhNXGFZOtoGFjvlf&)mVmVPKxoq+¨_QWTXv oTOADGKkF\dlDkG`ehT]NB\d hZ]P$lDk]ADGFNP$lDjr\>\dehN\diZ]Gc$Rf
P$ZGS>efZ]GNONOv\dlDNehRhT\dZXBP$Z]jIvlC&)mVmVPKxoq+DvhiGADG`ehRfD\dZNX\dtuvlDc%Y[Z]\dfwGFEmnfHd
LUGFkQP$TOA}P$TaPCI${.2HI$r\ytoG`ZmvwNgP$lG`SWehZXGNONOvw\$lvl TOADG mg ¼sB}N_VWluT]P"S
+
izi
(<?{N;? +s+? +' +? + ADG`Z]GN: h8gl g7 jK-%J30j{.2HI$\d+ vN
P$lG`SWehZ]GFNXN_vw\dlrNORhk]A TXADP$T P$efeiGP$Z]Nvl+
T¢UWVYX X¦6Vr\z=^ V /¢ V § ¦ ¦*) !a ¢ 3EhZ]P$lDk]ADGFN0 #I$kV{.2HI$
+cI F3E\7KS 3E\
+7\KjK I+ J>D@53%hD#g7 jK
J30j{.2HI$ + g<¢ 3EGJ>753EG 0F3E0g7 jKOJ30j{.2HI$%G + I
5j/jK%w\W\deDNM +7h\ Kd3EG /OKgjK J>D
+;¡
@BADG%fZbP$lDk]AhGNZ]GN_eiGFkFTOvtoG`VTOADG%\>\$eDN\d&PIZXGcdRhwP$ZG`SWehZXGNONOvw\$l \dZOE PdkFTOR}P$VTB\
,E NXGFTXN4shZX\dE lD\y\dl wG`T(N
<jhG`lD\dT]GBP$E|hvcdRD\dRhNOVgTXADGNXG`T&\dfTXADGZ]GFcdRhP"Z
G`SWehZ]GFNXN_vw\dlDNU\ytoG`Z<DP$lDjTXAhG-NXGFTU\dZ]GFcdRhwP$ZP"lDcdR}PdcdGNAhvk]A TOADGFVjfGFhlDG$gNOvlDc
TXAhvNP"E|hvwc$RhvTVdGT]P,6oGTXADGviG`ZXTVKTX\gT]P$/6-\$hTXADGhZ]P$lDk]ADGFN4P$lDj%w\W\deDN\dDPZ]GFcdRhP"Z
P$lDc$R}PdcoG)vTOAD\dRhT)P"lWV G`SWehvwk`vTUZ]GFG`Z]G`lDkG|TX\vT]NgG`SWehZXGNXN_vw\dl h8UTOAD\dRDcdA hZbP$lhk]ADGN
P$lDjw\W\deDNjh\jhGFe<GFlhj \dlTXADG)k]AD\dNXGFl Z]Gc$RhP$ZGSWehZ]GFNXNOv\dl DTXAhG%vlDjhGFTXGFZOE vl}PdkFV wG`T
vlTXAfvwNPQV<GQP"Z]NlD\Ik\dlhNXGRDG`lDkG$ GSWTUefZ]\de<\oNOvTXv\dl\d\yNBvEErGFjfvP"T]GFV Z]\dE
PaGF 9{>²H{ P$lDjCPaG` }nf¼n>
¦*)4¦ X X1¦6V %\ S+N
¡ c 2f
i L ' /O17 $ I$$
+ @ K EDG3E,E _:!f
²?
+7j?r5E % $L EkJ
¢ 3E MEM OF3E@ V:!f
²? 9+V? /M3E ji>% g 3EMMEM OF3E
,E :!f
²?
+7I?
l|e}P$ZOTXvwk`RhP"ZQ
+7S
z
+;{ \dZW+=N
]PdN
%
+7~
rz
+7]
G
v}lD\yehZ]\$ei\oNOG-P*jhGFkFvNOvw\$lehZ]\WkGFjfRhZ]Gg\dZY[Z]\dfwGFE!nf¼{vlrTXADGKGSWT]GFlhjhGjkQPdNOGK\d
YGFTOZXvlDGFTXNavTOA'"ei\oNONOvhV)vlhhlfvT]G-ZXGQPdk]A}P"hvvTVNOGFT]NFGQ>\$tuvlDcITXAfvwNUNOvEehGFZ\dZXE
\dY4ZX\dhGFEnfH-vNBlD\dTe<\dvlWTOwGFNXNW\dZTXAhG-NX\dRhTXv\dlGKehZ]\WjfRDkFGKvwNjfvZ]Gk`TQWAhvGK\dl
TXADGg\dTXADG`ZADP$lDjrTOADGaNO\dRhTOvw\dlGKNOA}P"}ehZ]\$ei\oNOGgwP$T]G`Z\$l\dZBY4ZX\dhGFE nf²HgZXGFvGN\dl
TXADG)jhGFkFvwN_vw\dl\dTXAhG%kF\ytoGFZOvlDcIehZX\dhwG`E\dZ R 8GQ%Q>N
¦*)4¦ X X1¦6V %\ g0j02H D 2HI-,/.10j5/ jK % + N
> h
pD K5NK* 3EF3E +'
«_e 1~,EgpENN jKG2HkIhYJ
¦ ¦ sD\dZG`toGFZOV N KwG`Tu+
K + 6N
+7NdgADGFZXG
oIvwNTOADG
k\dEehwG`ErG`luT)ZT UP$lDj«NavNTXADGKZOvwcdAuTRD\dTOvwG`lWTuVuN2"1AhGFlDkFG>+
K
vNZ]GFcdRhP"Z¡)`
sDZX\dEY4ZX\de {>¼xP"lDjfPaGF {>Hy{>iTXAhG|ehZ]\dfwGFE +[
«vNKNX\dt$P$hwG%vP$lhj\dlhV
vG`SWvwN_T]N\dZUGFtdGFZXVN« P hlhvT]G)NXG`TU\d&Z]P$TXv\dl}P$<Z]Gc$vw\dlDN
K 8
+;BNORhk]A TXADP$T
¦
x+
K eA
f@
K
Yf*uINdQuvlDkFGM vN[hlhvT]GdoTOADGehZ]\$ei\oN_vTOvw\dl \$hTbP$vlDN[v9\dlhGUkP$l
jhGk`vwjhGIRhe<\dl6TOADGG`SWvwN_T]GFlhkGr\$P$l PdjhGFuRDP$T]G NXGFT\dZ]Gc$vw\dlDN \dZPfS>Gj G`toGFluT
G`T
<Hd<G9<ª¬ ª® <
<GPahlhvT]GjhG`T]GFZOE vlhvwN_TXvkP$RhTX\dErP$T]\dl*Z]GkF\ocdlhv/.FvlDc
+ouvTXA NXG`T\$ihl}P"}NOTbP"T]GN
N_RDk]ArTOA}P$TNX\dE GNOT]P$T]Gvl
kP$lr<GZ]GPdk]ADGjZ]\dE
P$luV N_TbP$TXGvl
KalDG%EPQVTXZ]P$lDNO\$ZXE vluT]\P"lGRhvtdP"wGFluT@I0g UP"RhT]\dErP$TX\dl
<Hd<G < ª¬3ª® < )vTXA kF\dE e<\dlDG`luT]NIPdN \dw\yN G`T
<GTXADGNOGFT\d
e}P$vZXN
X<Fr
9
465
+1N_RDk]A TOA}P$T ¡ª¬3ª®
L
%vwNP|ZXRhl \d P$lDj P$luVT\ N_TbP$TXGN
tWvNOvT]Gj|vlITXAhvN[ZXRhl P$ZXGjfv<GFZXGFluTQ G`TG <GTXADGNOGFT\d9TXZ]P$lDNOvTXv\dlDN
<% K
L <
NORDk]A TOA}P$T K
L ¨G P$lDj IN\dZD vwNP GFTI1PdkFTX\dZ\d svl}P"V wG`T
ª¬ ª®
ª¬3ª® <UP"lDj
:
X<Fr<
?
?u
vN)PhlhvTXG jhGFTXGFZOE vlhvwN_TXvwk
P$RhT]\$EP$TX\dlZ]GFk\oc$lhvo.`vlDc2+