Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging)

HAL Id: inria-00073852

https://hal.inria.fr/inria-00073852

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- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

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, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging)

Michel Hurfin, Michel Raynal

To cite this version:

Michel Hurfin, Michel Raynal. Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging). [Research Report] RR-2838, INRIA. 1996. �inria-00073852�

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

&('*)+'-,.)+/1032 &(/546 7"098 :;'-,.<>=54",?'-@A/10 BC4ED3'=1'-8 & 4E2F@

GH IKJ

7"DL=1'6 M J

7"6 &(/N@ )

J

/1D>OP)+'-8 &Q'?D>OL2"2"/10L2>R

SPTUWVXY#Z[ \]^_+`1SaTbUWVXYcde_df

gQhji$k lk

S3m5nporqststu

vwxy{zy"|

*,+ -/.

&01 2 .

3

.

(&54)6&547 98

:<;>=@?ACB Z[ \]^_D:<;E=F?ACB cde_ df

GHJI

KLKM6NPO0QKRSKUTFVXW9KYRSZCR[Y

I

K(LKR

\][^"_

KY`6aXb

OT@bXb

^c]

YaXK

]

Kd H K ] d H

Kfeg,hcikjkilNnmoT

]

RM"pkpcq1N$M"jbrTFscKR

tuv(w"xFyrzFwc{|GH

Kb ][^k}~

K(L€YT@dƒ‚

~

Ka9„…e7Y

H

„…R†brT@brK ]‡^k]

„ˆsc„…erTFYSKR‰

]S^

L€Y

H

KaK

}

VXscsk„…eXs

^

‰ŠaX„…RSY ] „}

VY[Ka

T@bXb

~

„…dUTFYS„

^

eXRU‹0ŒWCKdVY[„

^ e ^

‰R[VXd

H

TFeT@bXb

~

„…dUTFYS„

^

e'dUTFe

}

KL

^

aK

~

KaŽT@R7T9brT

]

Y[„T

~…~

Z

^c]

aXK

]

KaRSKY

^

‰lb ][^

dKRSRRSYT@Y[KR"‹

GH

K5aXK

}

VXsksc„…eXs

^

‰d

^

e,Y ][^c~‘r^F’

R'“R[K(”,VKeXdKR

^

‰b ][^

dK(R[R0R[YƒTFY[K(R•

^

‰1Y

H

KRSK

KWCKd(VXY[„

^

eR„…R

}

TFRSKa

^

e0Y

H

K–RƒTFYS„ˆR—‰>TFd(Y[„

^ e ^

‰b

]

K(aX„…dUTFYSKR

}

Zb ][^

dKRSRR[YƒTFYSKRU‹`˜b ]S^

d(KR[R6R[YT@Y[KY

H

TFY

RƒTFY[„…R—™rKRTb

]

KaX„…dUT@Y[K6„ˆe H K ]

„…YSR‡„…Y[R

~T } K ~

‹3šEY›‰

^k~…~…^F’

R›Y

H

TFYUœc„…e7Y

H

„…R‡d

^

e,YSKWCYUœCT1aX„…R[Y ] „}

VXYSKaKWCKdVY[„

^ e

„…RT

~T } K ~

K(aaX„

]

KdY[K(ažTFd(Z,d

~

„…ds

]

TFb

H

“arT@s‰

^c]

R

HX^c]

Y•(‹ŸK

}

VXs

^k]

aXKYSK

]

L9„…eXK7„ ‰d

^

eCY ][^k~3‘r^F’

R ^ ‰

TaX„…R[Y ] „}

VXY[K(a%KWCKdVXYS„

^

eRƒTFYS„ˆR—™rKR1R

^

LKb ][^

b¡K

]

YEZTFL

^

VXeCY[RY

^

YSKR[Y„ ‰‡Y

H K ~T } K ~

Ka5a¡TFs„…eXd

~

VaXKR

R ^

LK6brTFYSY[K

]

e5aXKƒ™¡eXKa

^

eb

]

KaX„…dUT@Y[K

~T } K ~

R"‹

GH

„ˆR1brT@brK ] ™ ]

R[Y¢„ˆeCY ][^

aXVXdK(R7T9skKeXK ] T ~

brTFYSY[K

]

e£“dUT

~ˆ~

Ka¥¤k¦¨§k©ªk«X¤'«X¬ƒ­®@¯ˆ§c­ƒ¬•

’H

„…d

H

„…eXd

~

VaXKR

d ~ T@R[R[„…dUT

~

brTFYSY[K

]

eXRKed

^

VXeCYSK

]

Ka%„…e0aX„…R[Y ]„}

VXYSKa5aXK

}

VXsksc„…eXsr‹

GH

Ke'TFe0Kƒ°d„…KeCYb

^k~

ZCe

^

L„T

~

YS„…LK

T ~s

^k]

„ˆY

H

L±aXKYSKdY[„…eXs9R[VXd

H

brT@Y[Y[K

]

eXR6„ˆe0T

~T } K ~

Ka9arTFs„…R†b

]

KRSKeCY[Ka›‹

G^}

K1KUT@R[„

~

ZTFarT@bXY[Ka0Y

^

T@e

^

eC²>Y

H

Kƒ²

‘

Z0aXKYSKdY[„

^ e ^

‰Y

H

Kb¡TFY[YSK

]

eo„ˆe9aX„…R[Y ] „}

VXYSKa5KWCKdVY[„

^

eXR"œ¡Y

H

KT

~s

^k]

„…Y

H

L|³C„…R[„…Y[RY

H

K¢e

^

aXKR

^

‰Y

H

K1s

]

TFb

H

TFd(d

^k]

aX„…eXsY

^

T¢Y

^ b

^c~ˆ^

sk„…dUT

~ R

^k]

Y6R[Y

]

TFYSKskZC‹

´9µC¶¡·¸¹¡xkºvF{

Ÿ„…RSY ]„}

VY[Ka0R[ZCRSY[KL9RUœX»6e5Y H K ‘

Zs

~…^c}

T ~ b ]

K(aX„…dUTFYSKaXKYSKdY[„

^ e

¼…½¾

¿—ÀEÁUÂ

¾

¿ÄÃŅÀEÆÈÇÉ

ÊX˅̛Í

ÎÏXÎÐ[ÎÑ(ÒXÎÐ[Ñ(ÒXÎ

Î

ÊXÊ

Î(Ó

Ô Õ@Ö×XØ

Ó

ØXÊXËÚÙ

ÎÐ[Ó Ë…ÌÕFË

ÐSΆÏXÎÛÎ ÕFØX܅Ë

Î

؛ÔFÝcÞkßFàCá

ÎÏX΃â0ã Ð

Õ@Ê

ÑÎUä

%ÍÜCÍ× Ê ÝcÝ à–éê†ßkßìë%ÍÜCÍ ×XË ÝkÝ à–éê†éê

0 !7( 00 0 06 6

94

.

16

.

64 ƒ

µ vµ'{

Kb ][^c}X~I

KLK1T }¡^k]

aìQKarT@eXRdKY1T

]

YS„…d

~

KlT K(YXQQ K ] KeXd

^

e,Y ] QKarTFeR

~

K1dUT@a

]

KaVXeXK'QKYSVXaXK

RSV ]1~

TL„…R[KT@Vb

^

„…eCYaXK(RlT@bXb

~

„…dUTFYS„

^ e ] QKb¡T

]

YS„…KRU‹

KW†QKdVXYS„

^

e5aXKY[K

~ˆ~

KRT@bXb

~

„…dUTFYS„

^

eXRb¡KVXYKY ] K

L ^ aQK ~

„ˆRXQKKbrT

]

Ve%KeXR[K(L }X~

K7brT

]

YS„ˆK

~ˆ~

KL9KeCY

^c]

a ^

eXeQKaSQKYƒTFY[R

~ˆ^

dUT@VXW'aXKRb ]S^

dKR[RSVXRU‹

TFe¡T

~

ZCR[K

aXK(R

‘¡^

Y[R1aXK¢d

^

eCY ]

^k~

K0“RXQK(”,VKeXdKR¢a[QKYT@Y[R

~…^

d"TFVXWX•aKdKRK(W†QK(dVXY[„

^

eXR1KR[Y6‰

^

eXaQKKR[V ]6~

K1‰>TF„…Y6”,VK

~

KR5QKYT@Y[R

~…^

d"TFVXW9RTFYS„…RE‰

^

e,YaKRb

] QKaX„…dUT@Y[RU‹e<QKYƒTFY

~ˆ^

dUT

~

”CVX„3RTFYS„ ‰>TF„…YVXe5b ] QKaX„…dUTFY

H QK ]

„ˆYSK7aKR

^ e

Q

KYS„…”,VKY[YSKk‹Œe5d

^

eXRXQK”CVXKeXdKcœJarTFeRdKd

^

eCY[KWCYSKkœ¡VXeXKKWQKd(VXY[„

^ e ] QKbrT

]

YS„ˆKKRSY

]

K(b

] QKRSKeCYXQKKb¡T

]

Ve

s ] TFb

H

KQKY[„…”CVXKYXQKkœ

^k]

„…KeCYXQKKY‡RT@eXR‡d„

]

dVX„…Y[R"‹‡m0KY[Y

]

K1TFVb

^

„ˆeCY

^

VaQKYSK

]

L9„…eXK

]

R[„XVe

‘r^

YaXKd

^

eCY ]

^c~

K

RƒTFY[„…R—‰>TF„…Y1VXeXKb ]S^

b ]

„UQKYXQK ] K³C„…KeCY

I

T0YSKR[YSK

]

RS„

~

Ks

]

TFb

H

K¥QK(Y[„…”CVXKYXQK9„…eXd

~

VXY1VXe%L

^

Y[„ ‰‡aQKƒ™re„

I

T ~TF„…aXK

aXK(R5QKYS„ˆ”CVXK(Y[Y[K(R–aKRb

] QK(aX„…dUTFYSRU‹

K(Y†T

]

Y[„…d

~

Kb

] QK(R[KeCY[K6Y

^

VXY‡aT }¡^k]

a7VeL

^

YS„ ‰ s‡QKeQK ] T ~ “T@bXbrK

~ QK­ƒª@¯¯ˆ¦¬¤k¬1¤c¦§k©§k«[•”CVX„X„…eXd

~

VXY

~

KRL

^

Y[„ ‰RJd

~

T@R[R[„…”CVXKR

]

KeXd

^

e,Y

] QKRÄarTFeXR

~

K‡a

^

LT@„ˆeKaK

~

TL9„…R[K‡TFVb

^

„…eCY›aKRb ][^

s ] T@LL9KR

] QKb¡T

]

YS„…RU‹

ŒeR[VX„…Y[Kcœ‡VXeT

~s

^k]

„ˆY

H

LK¢brK ]‰

^k]

LT@e,Y1”CVX„brK

]

LK(YaXKaQKY[Kd(Y[K

]

aXK9Y[K

~

RL

^

Y[„ ‰Ra¡TFeXRVes

]

TFb H K

Q

KYS„…”,VKYXQKKY6a

^

eCY

~

Td

^

L9b

~

KWC„…YXQK1Ke5YSKLbXR6KR[Y1b

^k~

ZCe

^

L9„T

~

œkK(R[Y1KWCb

^

RXQKk‹1` ™re5a KY

]

K¢‰>TFd(„

~

KL9KeCY

T@arTFbXYƒT }X~

Kb

^ V ]

aQKYSKdYSK

]

TFVo³

^k~

aXKR6L

^

YS„ ‰R

~…^c]

Ra!VeXKKWQKdVY[„

^ e ] QKb¡T

]

YS„…Kkœ

~ T ~s

^k]

„ˆY

H

LK³C„…R[„…YSK

~

KR6R

^

L9LKYSR‡aXV0s

]

TFb

H

K–RSK

~…^

e ~ TRSY

]

TFYXQK(sk„…KaXV0Y

]

„JY

^ b

^c~ˆ^

sk„…”CVXKk‹

"<¹¡wv · z$#%µ'{ &

ZCR[Y

I

KLK(R ] QKbrT

]

YS„ˆR"œrŸoQKYSKdY[„

^ e T@V0³

^k~

aK–b

] QKaX„…dUT@Y[R6s

~…^k}

T@VXWJ‹

.

o4

GH

„…RbrT@brK ] b ]

KR[K(e,YSRìT@e7T

~s

^k]

„…Y H L Y ^

aXKY[K(dY†TR

^ b H

„ˆRSY[„…dUT@Y[KabrT@Y[YSK

]

e0“dUT

~…~

K(a¤c¦§k©ªk«X¤¢«X¬ƒ­®@¯ˆ§c­¬ƒ•

„…eT

~T } K ~

K(a5aX„

]

Kd(Y[KaT@dZCd

~

„ˆd¢s

]

T@b H ‹

GH

Kb ][^c}X~

KL R

^c~

³cKa

}

Z0Y

H

„…RT

~s

^k]

„…Y H L

^k]

„…sk„…erTFYSKa0‰

]S^

L

Y H

K7aKY[Kd(Y[„

^ e ^

‰†b ][^

brK

]

Y[„…KR

^

‰‡aX„…R[Y ] „}

VXYSKad

^

LbVXYT@Y[„

^

eXR6„…e

^ V ]

dV ]S]

KeCYK

^k]

Y1Y

^

aKR[„…ske%TFea

„…Lb

~

K(LKeCY‡T¢‰>TFd(„

~

„…YEZ¢‰

^k]

aXK

}

Vsksk„…eXsaX„…R[Y ] „}

VXYSKa5b ]S^

s ]

TFL9Rp[‹

GH

KR[K¢b ][^

s ] T@LR†T

]

K1d

^

Lb

^

R[K(a

^ ‰ T ™reX„…YSK†RSKY

^

‰Jb ]S^

d(KR[RSKRd

^C^

b¡K

]

T@Y[„…eXs

}

ZY H K ^ e ~

ZL9KUTFeXR

^

‰JLKRSRT@skK‡brT@R[RS„ˆesr‹

]S^

L T@e7„…eX„…YS„T ~

RSYTFYSK Tb ][^

dKRSR–b ][^

aXVXdK(RlTRSK”CVXKeXd(K

^

‰b ][^

dKRSR–RSYT@Y[KR1TFdd

^c]

aX„…eXs9Y

^

„…Y[Rb ][^

s ]

T@L YSKWCYU‹šEe0Y H K

d ^ eCY[KWCY

^

‰ŠY

H

K†aK

}

VXscsk„…eXs

^

‰ra„ˆRSY ] „}

VXY[Kab ][^

s ]

T@LRUœFT6aX„…R[Y ]„}

VXYSKaKWCKdVY[„

^

e„…RVXR[V¡T

~…~

Z–L

^

aXK

~

Ka

T@RT6brT

]

YS„T

~…~

Z

^k]

aXK

]

K(aR[KY

^

‰rb ]S^

d(KR[R‡RSYT@Y[KR—‹ šEeC‰

^k]

LT

~ˆ~

ZCœƒb ][^

dK(R[R‡RSYTFYSK‡b

]

KdK(aXKR „ ‰ }¡^

Y H

H

T"³cK

}

KKe'b ][^

aXVXd(Ka

}

Z9Y

H

KRT@LK1b ][^

dK(R[R

’

„…Y

H

™

]

R[Y"œ

^k]

„ ‰

H

TFR

}

K(Keb ][^

aXVXdK(a

}

Z0R

^

LK

b

]S^

dKR[R

}

Kƒ‰

^c]

K9„ˆY¢R[KeCYT0LKRSRT@skKY

^

TFe

^ Y H K ] b ][^

dKRSRTFeXa%Y H K ]

KdK„…³cK ] b

][^

dKRSRb ][^

aXVXd(Ka

T‰Y[K ]6]

Kd(K„…³,„…eXs9Y

H

„…RL9KR[RƒTFskKXY

H

„ˆRd"TFVXRƒT

~ b ]

KdK(aXKeXdK ] K ~

T@Y[„

^

e9„ˆRe

^ YH

„ˆesK

~

R[KY

H

TFe

T@Lb

^k]

Y R

H

TFbXb¡KeXK(a } K ‰

^k]

K"!

] K ~

T@Y[„

^ e KWCb

]

KRSR[Ka

^

e¥b ]S^

dKR[R9R[YƒTFY[K(R#…MUh[‹ ` aX„

]

KdY[K(a£brTFY H¥^

‰–b ][^

dKRSR

RSYTFYSKRRSYT

]

Y[„…eXs‰

][^

L!TFe0„…eX„…Y[„T

~ b ][^

dK(R[R1R[YƒTFY[K1„…RVXRSVrT

~…~

ZdUT

~…~

Ka5T¢d

^

eCY ]S^k~ ‘r^F’

‹

$

K6aXKRS„ˆsceXKa5TFea„…Lb

~

KLK(e,YSKaR[K(³kK ] T ~

aX„…R[Y ] „}

VXYSKa5T

~s

^c]

„…Y

H

LRY

H

T@Y

^

eC²EY

H

Kƒ²

‘

ZaXKY[K(dYb ]S^

²

b¡K

]

YS„…KR

^

e7d

^

eCY ]S^k~c‘r^F’

R ^

‰JaX„…R[Y ] „}

VXYSKa7d

^

LbVXYT@Y[„

^

eXR%…M &Cœ'Cœ([‹*)ìT@R[„…dUT

~ˆ~

ZT6b ][^

brK

]

YEZ„ˆRaXK ™reXKa

T@RìT

~

T@eXskVrT@skK

^

eTFeT

~b H T }

KY

^

‰›b

]

K(aX„…dUTFYSKR“T1b

]

KaX„…dUT@Y[K

}

K„…eXs7T }¡^C^k~

KUTFeK(W,b

]

KRSR[„

^

e0„…e

’H

„…d

H

T@bXbrK"T

]

³kT ] „T

}X~

KR

^

‰ìT9R[„…eXs

~

K¢b ][^

dKRSR•‡TbrT@Y[Y[K

]

e%„…R–T

’†^c]

a ^

‰†Y

H

„…R

~

T@eXskVrT@skKk‹6šÈ‰ìT

~ˆ^

dUT

~

R[YT@Y[K

RƒTFY[„…R—™rKRT¢sk„…³kKeb

]

KaX„…dUT@Y[Kkœ„…Y†„…e H K ]

„…Y[R„…Y[R

~T } K

~,+

R

^’^k]

aR†dUT@e

}

K–T@R[R

^

d„T@Y[Ka

’

„…Y

H

KUTFd H d ^

eCY ]S^k~

‘r^F’

‹-3„…erT

~…~

ZTd

^

eCY ][^c~3‘r^F’

RT@Y[„…RE™rK(RlTb ][^

brK

]

YEZ5„ ‰

^

eXK

^

‰‡„…Y[R

’†^c]

aXR } K

~…^

eXscRY

^ Y H K ~

TFeskVrT@skK

aXK ™reX„…eXs1Y

H

Kb ]S^

b¡K

]

YEZCœr¦/.¬ .¨œU„ ‰r„…Y3LTFYSd

H

KRR

^

LK‡brT@Y[YSK

]

e›‹

&

VXd

H

T@e7TFbXb ][^

T@d H7H

T@R

}

KK(e‰

^k]

LT

~

„10Ka

„…e2…M3[‹

GH

K(R[K1b ][^

brK

]

Y[„…KRT

]

K‰VeXarTFL9KeCYT

~ˆ~

Z6R[K”CVXKeCYS„T ~

„…e7Y

H

KRSKeXR[K1Y

H

KZd

^

eXRS„…aXK

]

KUTFd H d ^

eCY ]S^k~

‘r^F’

R[K(brT

]

TFY[K

~

ZC‹

&

K”CVXKeCY[„T

~ b ][^

brK

]

Y[„…KRT

]

K¢e

^

Y6b

^F’

K ]

‰ÈV

~

Ke

^

Vs H Y ^

KWCb

]

KRSRbrT@Y[Y[K

]

eXR

’H

„…d H T ] K ^

e0R[K³cK ] T ~

d ^ eCY

][^c~C‘r^F’

R"‹›`6e7KWXT@Lb

~K ^

‰rRSVXd

H

Tb ]S^

b¡K

]

YEZ„…RY

H

Kĉ

^k~…~…^F’

„…eXs

^

eXK + Y H K ]

K„ˆRT6b ][^

dKRSR‡R[YƒTFYSK

RƒTFY[„…R—‰ZC„ˆes T¢b

]

K(aX„…dUTFYSK54 dUT@VXRT

~ˆ~

Zb

]

K(dKaX„…eXsT¢b ][^

dK(R[RRSYT@Y[K6 RTFYS„…RE‰ZC„…eXs7T¢b

]

K(aX„…dUTFYSK64 TFea

T

~ˆ~

brT@Y H R ^

‰›b ]S^

dKR[R6R[YƒTFY[K(R†RSYT

]

Y[„…eXsTFYTFeXa9KeXaX„…eXsTFY 6RT@Y[„…RE‰ÈZ7R

^

LKRSK”CVXKeCY[„T

~ b ][^

brK

]

YEZ7!r‹

`

~…^

sc„…d–T }~

K1Y

^

KWCb

]

KRSRRSVXd

H e ^ e ²>RSK”CVXKeCY[„T

~ b ][^

brK

]

Y[„…KR

H

TFR

}

KKeo„ˆeCY ][^

aXVXdK(a5„…e#q[‹

8 K ] K ’

K†T

}

R[Y

]

T@dYJ‰

]S^

L£a„ˆRSY ] „}

VXY[Ka¢KWCKdVXYS„

^

eXR‡TFeXa1d

^

eXR[„…aXK ]›~

T } K ~ Ka1aX„

]

Kd(Y[KaTFdZCd

~

„…ds

]

TFb

H

R"‹

$

K¢™

]

RSYaXKƒ™¡eXK5“

&

K(dY[„

^

e%hk•1T9skK(eXK ] T ~

YEZCbrK

^

‰brT@Y[Y[K

]

eXR“¨aX„TFL

^

eXa0eXKdƒ‚

~

TFdK"•‰

^k]1~

T } K ~ Kaa¡TFskR

’H

„…d

H

„…eXd

~

VXaXKRTFRb¡T

]

YS„…dV

~T ]

dUTFRSKRR[K(”,VKeCY[„T

~

T@eXae

^

eC²ER[K”CVXKeCYS„T ~ brT@Y[YSK

]

eXRVR[Kƒ‰V ~

„ˆe9aX„…R[Y ] „}

VC²

YSKa%aXK

}

Vsksk„…eXs¡œJTFeXa'Y

H

K(ež“

&

KdYS„

^

ejk•

’

K7b

]

KR[K(e,YTFe%T

~s

^c]

„…Y

H

L!Y

^

aXK(Y[KdY¢Y

H

KRSKbrT@Y[YSK

]

eXR"‹šEe

^c]

aXK ] Y

^1}

KT@arTFbYT }~

KY

^1^

eC²>Y

H

Kƒ²

‘

ZaX„…RSY ] „}

VY[KaaXK(Y[KdYS„

^

e„…eY

H

Kd

^

e,YSKWCY

^

‰JaX„…R[Y ] „}

VXYSKaaXK

}

VXsF²

sc„ˆesrœc„ˆY„…R

]

K”CVX„

]

Ka0Y

H

T@YY

H

KT

~s

^k]

„…Y

H

L±³,„…RS„ˆYSR†Y

H

K1e

^

aXKR

^

‰Y

H

K–a¡TFsTFdd

^c]

aX„…eXsY

^

T¢Y

^ b

^c~…^

sk„…dUT

~

R

^k]

Y6R[Y

]

TFYSKskZC‹

& ^ Y H

„…RbrTFb¡K ] R

^c~

³cKRT1eXK

’ b ][^k}~

K(L ҬY

^^

V ]

‚,e

^F’~

K(aXskKU•(œCerTFL9K

~

Z1aXKd„…aX„…eXs„ ‰T

~T } K ~

KaarTFs

„…eXd

~

VXaKRR

^

LKR[b¡Kd„ ™rd0brT@Y[YSK

]

e›œÄY

H

T@Y

’

KL9KY„…e%aXKRS„…skeX„…eXs%TFeXa%„…L9b

~

KLKeCYS„ˆesT0aX„…RSY ] „}

VY[Ka

aXK

}

VXsksc„…eXs‰>TFd(„

~

„…YEZC‹

9:9<;>= ?@"A@

( (

KY"!$# “&%('*)•

}

K–T–™reX„…Y[K6arTFs

’

„…Y H,+

³kK

]

Y[„…dK(RU‹.-

^

YƒTFY[„

^

eXR/0'./1'/32*'./

2 T ]

KVXR[Ka0Y

^]

Kb

]

KRSKeCY

K ~ KL9KeCY[R

^

‰%‹

KY4/32TFeXa5/*6

}

K¢Y

’†^

³cK

]

YS„ˆd(KR

^

‰%7“8/329'*/*6F•„…RY

H

K¢R[KY

^

‰†T

~…~

Y H KbrTFY

H

R„…e5!

‰

]S^

L:/32Y

^

/*6X‹

7“8/ 2 '*/ 6 •.#<;C“=/

'*/

'3>3>?>*'*/A@X•CBC“8/

#/ 2•ED“8/A@F#G/ 6 •HD'“JIHKL'"MNMOKQPSRE'U“8/

2

'9/

2UT:

•WVX)•ZY

šEe

^k]

aK ] Y^

‰>T@d„

~

„ˆYƒTFYSK–Y

H

KKWCb

~

TFe¡TFY[„

^ e ^

‰ìY

H

KT

~s

^c]

„…Y H L ’

K7RSVXbXb

^

R[KY

H

TFY!

H

TFRT9R

^ V ]

dK

³cK

]

YSKW5TFeXa5T¢R[„…eX‚³cK

]

YSKW0aXKe

^

Y[Ka[/ T@eXa5/3\›œ

]

K(R[b¡KdY[„…³cK

~

Z,‹ )†Z9aXKƒ™reX„…YS„

^ e +

I]/ 2 V[%('

^________

`________a

7“=/32*'9/•#cb

D

7“=/3\'*/ 2•(#$b

D / 2Cd#/ feFg 7“=/ '*/ 2• d#$b

D / 2Cd#/3\ eFg 7“=/ 2 '9/3\X• d#$b

KYFh

}

K5T9™reX„…YSKR[K(Y

^

‰Ci

~T } K ~R +

hj#k;ml '*l '?>3>?>*'*lon=YC‹

GH

K9R[KY

^

‰–T

~…~

RSY

]

„…eXscR

^

³kK ] YH K

T ~b H T }

KYph„…R‡aKe

^

YSKa

}

Zqhprc‹(s9„…R†T

~T } K ~

„…eXs1‰ÈVXeXdYS„

^

eY

H

T@Y‡LT@bXRKaXscKR

^

‰(!<Y

^

R[KYSR

^ ‰ ~T } K ~

RU‹

šÈ‰‡“=/32*'9/*6F• V5)œs3“=/32*'*/*6•3aXK(e

^

YSKR‡Y

H

K†RSKY

^ ‰ ~T } K ~

RTFRSR

^

d„TFYSKa

’

„…Y H Y H

K†K(aXskK“8/329'*/*6F•‹

$

K†TFRSR[VXL9K

Y H K K(LbXYEZ7!

~T } K

~t

„ˆR„…L9b

~

„ˆd(„ˆY

~

Z7TFRSR

^

d„TFYSKa

’

„…Y

H

K³kK

]

Z0KaXskKl‰

^k]’H

„…d

H Y H K ~T } K ~

„ˆes‰VeXdY[„

^ e

aXK ™reXKR1e

^~

T } K ~

‹.!uaXKe

^

Y[KR6Y

H

K¢arTFsF!

’

„ˆY H~

T } K ~

„…eXsFs›‹

^k]

KUT@d

H

brTF„

]^

‰J³kK

]

Y[„…dKR6“=/32*'9/*6k•

^

‰ŠY

H

Ks

]

TFb

H

œwv–“8/329'*/*6F•

]

Kb

]

KRSKeCY[RY

H

KR[KY

^ ‰

’^k]

aXR‡aXK ™reXKa

}

Z1d

^

eR[„…aXK

]

„ˆes–T

~…~

b ^ RSR[„

}X~

K ~T } K ~

„…eXs

^

‰rT

~…~

brT@Y

H

R3R[YƒT

]

YS„…eXs–T@Y(/ 2 T@eXaKeXa„ˆesTFY(/ 6 ‹›m

^k]

K‰

^c]

LT

~…~

Z +

v1“=/ 2 '*/ 6 •

#

;Al l >?>3>Ll

@

VxhprBAy'“=/

'9/

'?>3>3>9'*/A@H'*/A@

T:

•zV:7“8/ 2 '9/ 6 •{'WI]K'M|MGKMGR'pl 2 V}s3“=/

2

'9/

2UT:

•ZY

KY~|€

}

K9Y

H

K9erTFL9K

^

‰–T b ][^

brK

]

YEZaKƒ™reXKa£T@R7T9R[KY

^ ‰

’^k]

aXR“

~

T@eXskVrT@skKv–“8~|€k•[•

^

e%Y H K

T ~b H T } KYCh1‹

 ‚[ƒC$„5…‡†ˆ†&‰‡†Šz„,E‰‰‹E…‡ŒkCŽ’‘

KY,/32TFeXaz/*6

}

K0Y

’^

³kK

]

Y[„…dKR

^

‰4! TFeXaz~C€

}

K0T5b ]S^

b¡K

]

YEZC‹

GH

K9brTF„

]

“=/32*'9/*6F•¢RT@Y[„…RE™rK(RY H K

brT@Y[YSK ] e &

»1m5Œ“8~|€ •Ä„ ‰›Y H K ]

K„…RTbrT@Y H ‰

][^

L“/32Y

^

/*6R[Vd H Y H

TFYTFY

~

KUT@R[Y

^

eXK

^

‰Y

H K ~T } K ~

„ˆeskR

^ ‰

Y H KbrT@Y

H

„…RìT

’^k]

a ^

‰(v1“=~|€k•‹‡m

^k]

Kl‰

^k]

LT

~…~

Z +

“S“=/32{'*/*6F•cB#•”–—<)“=~|€C•[•™˜ v–“8/329'*/*6F•Xš›v–“8~|€k• #•bd

œ&žNŸ{ 8 =¡£¢

;0¤

Ÿ{¥ž

¤

 ¦8§žLŸ{¨&©FŸ{ª8¨C§Z«Q¦8©AžN¢{ª8Ÿ{¬A©Fª=Ÿ­¦=©Ažª¦8©AŸ

;

¦8§žŸ{¨&©F®{žLª8¦8žL¯o°,,©Až

;

¦8©AžC¢{§{Ÿ

¤

¡£ p¦8§±Až¦=ž¨L¦

¬Aª8§{¬žª=¦8¡£žL ²§*«³±A¡£ 8¦8ª=¡£¥A´A¦8žL±p¨§{µp¬A´A¦=Ÿ­¦=¡£§

;

 ¶{žLŸ{¨&©|®{žLª8¦=ž¯pª=ž¬Aª=ž =ž

;

¦8 ²Ÿ

¤

§3¨LŸ

¤

 =¦8Ÿ{¦8ž(Ÿ

;

±¶m¡

;

¦8©AŸ{¦¨Ÿ{ 8ž{¶A¦=©Až

¤

Ÿ{¥ož

¤

 E§*«

Ÿ

¤£¤

¦=©Až¬Aª8žL±A¡£¨Ÿ{¦=ž ‡ 8Ÿ{¦=¡£ ·žL±p¥3¸pŸ

¤

§?¨Ÿ

¤

 =¦8Ÿ{¦8ž¹pŸ{ª=žŸ{ 8 8¡£¢

;

žL± ¦=§ Ÿ

¤£¤

¡;

¨L§­µp¡

;

¢Ÿ{ª8¨L H§*«‡®{žª=¦8žL¯ ¹A°

ºU»:9ºU¼

‚[ƒC$„5…‡†ˆ†&‰‡†Šz„,E‰‰‹E…‡Œz

GH

K0brT@„

]

“8/ 2 '*/ 6 •RTFYS„…RE™rKRY

H

K0brTFYSY[K

]

e£`

!

“8~C€k•„ ‰–T

~ˆ~~

T } K ~

„…eXscR

^

‰T

~…~

b¡TFY

H

R‰

][^

L / 2 Y ^ / 6

} K

~…^

eXsY

^

v–“8~|€k•‹‡m

^c]

K6‰

^k]

LT

~ˆ~

Z +

“[“8/329'*/*6F• B#“=~|€C•[• ˜ “J7“=/32*'*/*6k• #d bc• D “Uv1“=/32*'9/*6F• v–“8~C€k•S•

‚[ƒCGŒCE…‡„0E‰ ‰‡E…‡Œ

GH

„…RbrT@Y[YSK

]

e£„…RTFe£T

~

YSK

]

erT@Y[„…eXs'R[K”CVXK(eXdK

^

‰–b

]

„…L„…Y[„…³cK7brT@Y[YSK

]

eXR

&

»1m5Œ±TFeXa¥`

‹`6e¥`

brT@Y[YSK ] e ]

K(L„…eXaXR

^

‰TlaX„TFL

^

eXa7T@eXaY

’^

d ^

eXR[Kd(VXY[„…³kK1aX„T@L

^

eaXRT

]

Kd

^

eXeXK(dY[Ka

}

ZT

~

„ˆe‚Šœ¡¦.¬ .œkT

brT@Y[YSK ] e &

»1m5Œ œFY H K

’HX^c~

KÄbrTFYSY[K

]

e‰

^k]

L„…eXsTeKdƒ‚

~

T@dK

^

‰raX„TFL

^

eXaRU‹

GH

KT

~

YSK

]

erT@Y[„…eXs6R[K”CVXKedK

„…RaXKe

^

Y[K(aX~

~

~z>?>3>~‹

`!R[K(”,VKeXdK

^

‰ M9³kK

]

Y[„…dKR'“=/

'*/

'9/'9/ '3>3>?>*'*/F'9/

T:

•¢„ˆRToR

^k~

VXYS„

^ e ^

‰1Y

H

K0scKeXK ] T ~

brT@Y[YSK

]

e£“S¦.¬ .œ“=/

'*/

'9/ '*/'3>3>?>*'*/F'9/

T:

•“B# ~ ~

~c>3>?>|~•(œr„ ‰†Y

H

KRSK³kK

]

Y[„…dKRRƒTFYS„ˆR—‰Z

Y H K1‰

^c~ˆ~…^F’

„…eXs1d

^

eXR[Y

]

TF„…eCY[R

+

“=/

# /•’D “8/

T:

#•/

\ •

IH'1M<MPh M M '±“=/

€ T:

'*/

€ T*

•cB#•”–—<)“8~

€ T:

•

IH'h MPh M5' “=/

€²'9/

€ T:

•<B# “=~

€k•

!#"$&%('*)

œ,+

-/.0./'1)32

+

!#"$4%5'*)36

+

!#"$&%('*)

28719

œ8+

-/.0./'1)3287

+

!#"$&%5'1)

287;:

œ8+

!#"$&%5'1)<

9=2

+

-/.0.>'*) < 9 œ +

!#"$4%5'*)<

+

?A@ ?AB ?DC3E

?

?GF

?

?IHKJ?

?

?IH

E @

? ?

?DC3E

@

?

?IH

? A ?

?IHLJ

@

?DC

3„…skV

]

KM

+

`˜aX„TFL

^

eXaeXKdƒ‚

~

TFdK¢brTFYSY[K ]e

2NM

©A¡£ H¨L§

;

±A¡£¦8¡£§

;

¨LŸ

; Ÿ ¤

 8§.¥žžL¯3¬Aª8žL 8 =ž±Ÿ{  «§

¤£¤

§NO3P

'*Q('

¹IRLS=¹UT

+WV

XZY +\[

'^]A'

¹_R,S=¹UT

+a`

'^b>c

E

]D'1) 7 ++

XZY

+

9:9<;>= ?@"A@