May 24, 2006 - Claude Jard, Thierry JÑron, Guy-Vincent Jourdan et Jean-Xavier Rampon. NË 2238 ...... F oundations o f So f t w are Technology and Theo-.
A General approach to trace-checking in distributed computing systems Claude Jard, Thierry Jéron, Guy-Vincent Jourdan, Jean-Xavier Rampon
To cite this version: Claude Jard, Thierry Jéron, Guy-Vincent Jourdan, Jean-Xavier Rampon. A General approach to trace-checking in distributed computing systems. [Research Report] RR-2238, INRIA. 1994.
HAL Id: inria-00074432 https://hal.inria.fr/inria-00074432 Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published 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.
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
A General Approach to Trace-Checking in Distributed Computing Systems Claude Jard, Thierry J´eron, Guy-Vincent Jourdan et Jean-Xavier Rampon
N˚ 2238 Mars 94
PROGRAMME 1 Architectures parall`eles, bases de donn´ees, r´eseaux et syst`emes distribu´es
ISSN 0249-6399
apport de recherche
"!#%$'&()*&(+,&.-/ %&.0213 4 !5768219:&;)Ê Ï»ÐÌ´Ñ´ÒÓ øeï(ÙÚßÔ9âùÕ`ùÖã ×BÖØÚÙÜÛ×´Ý
Þ(Öß`à»á´âãäå%æß(ÛQݹ×Qß`ÖÛçÙÜèeß`Öé.êYèß(ëݹ×Bݹß`ì]ÝYèßí/ÙÜàQÛç×^ÙÚî(ï`ÛQÝeÞ:êYèðÕ(ï`ÛçÙÚß`ñ»ò;ó;àQÛ^Ý´ðà^ô(õ]öJè÷´ß`ÖßJõ]öDèéÜèñß`Ýõ
Unit´e de recherche INRIA Rennes IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) T´el´ephone : (33) 99 84 71 00 – T´el´ecopie : (33) 99 84 71 71
, 9 ) N. ²71',. %& :&.¡84 4 N'-.-5-/=-/ 68V- P%&. R uo`¿h: 2¢ J]neoqo`J~e¿N|
oh r({§ o`}~euuH%u %o`uD 7Yn]o`o`RDpquJBu ut3r(n7Ju RJRu}7u {rr(r%~]}p`°:o`oquJ n]n]P}} ~]¸¶nJ|Du{ t3
r(~]r(u}neoq~]}Ru};R]®Ju ~]ÅVne}r%Jr{Jo`u ne;{n]"uu.u{D~N~e}Jo`J~ 7Jo`R3u:p %{uu.r {ºn]{u }Jn~%r("uunJt9u{
o`ur(t9Rne~~]
}oq"o`n]en]~]Juqn]t3°RJ}uu7uRR~»~P oqr ~]oq~en]u~eu
`]RD~e uu °`DZ^o`ru77n]}Jr(n]uJoq JuuBneu n]t3RuuNDun]Jun]e]oJ~D{JuRe
uN]oqJ°:J;uu "n]u} soq¸
³% u
n r eun»}:JDe{Juut7~eu~]Ju7JneJuo`neJRo`neuJ}.une~J}.o`uu n~JpqRu7 n]oquu
e~r(r`su`Rr(µ;t9~e
}´r}ªB]n r]}}uJ~eJuuut9oquJiJu:~eoqn]Ju 7ur°:D unJ u.J{Ruoq}t9J{n]ru~ R~]RYu7o`n]oq~J r(u]Ruu.~ n] {°`eDr(J~]Dn:}o`uu". ®® uxr ~J3r(J~et3n]oJoJr{e|J]Heuu ohp u{}.uurq%u u nr qr(J
Yuru~:r.u Yro`]J~e°%n]n%uu ne}{}Üu¸H}~]{~eu²r(h~euu} oqV~e
{RoqRuJuYu]~]u~nsrq{{{uuo`J|ªQ}"uoq n]
hu%uRu~] uu o`]]ns¼
Jh®Pnn]Åurr(
Jr~]|n]~]u{}oquun]"~}uhr(uVn]R~e{u}r{Ju`o`sJnsrhJn]}oq~JuJu u
~Dr(n]neuo`~]}Yp`uo`ns.er®o`JJ|J uJRJuu § uq`oq!nsr(Rne{uJhunJu{Yr(r(Dn]s~er(}´ }~J:uq u RY~]o`n]piu}rp`}uhRuuVD{n]oqo`JpqYnsurVt3{t3oq|uuV neunJuR
~]ur n]~]}; °:u n]} ¸¶{r(~]}oq huDnJu. R}{r~]; u e~sÃYr£bt3¢JÁs¦ } ¿ r(p`"
!#"$&%'"$)(*",+ -"/.012 34 50-"$&%'678+93:+ ; < 9421%&.¡ =?>@= ABDC?E4F@GIH JKDLMK GMHNGIOPK ¨¬|J|J}u n]u2Yr(¼`Yo`un:pq}ºD{n]r(u%euun]Rne~]o`n]~]¼ u;{]}|DJR} `u¸YDuJ%u.TªQo`noqn]u~e}|Jr(uJ}Rh~]uuY~]u.R{u.~]T}J
pNrn]oq~ep`}ºr}{roqinsuRn]n]uoqne}n]Jp²}7o(rªRu°q}]u~eRn]~]}J.®RJ~eQ²u.7uJr(neneo`upqnso`r(Dt2 ¬{oq}
~]|'{¯Yur`nene{u.Ju.r(u.7U T´~]¬}¬t3}~]}~e|u|oqrnn]3u¼`º}rYt3~]u}Jn´°`ªQuoqut9n]ut'°`uur(RR
~s~er{V~]u}¼ oqo(ns3RRuu±^J}´n]®}JuqJp`®Jp`pqr8}SYJJJp
rqo® {]«{oqT´
Jo;]7}R
unsrr(ns~er(}o`u2H}J neo`tpqrqnsRr(t'uo(³ ª:r(~eY|J3ur}ep`]Jo`u
rr
]D]n]oJo`{Y}ru~]neu.~´ er
u.{o`}ÜDª^i]u}Jne°`p9u~]n9|JJuNn]}oJR{~]uue
7h¬u.'|J}Y{e|u|
n]r;u;°R{}uo`}n°`uo9ª ~]n]|JuYuo`Dnen]~]o`NpqªQnsnero`t t,Jr7~e|JYu3r(D~]Dn]o`nsr(pqPnsrr(t,JDJn]oi
rqR{eu|n7~]~]o7ue~e~3u]r(~e
}D²p{e}|Ju.~e{eo3«R3}J~e]|
ur(n]~~ ~e~e|J|Juu{Jo`net9o`YJuJn]~s~´rT~]}|Jo`oq9ºh±Q°`.r® n]½´}Tr(DJunr`r{]~eeObs }}{pqu`Jt3r(u7i}~e~7.q}7t3}ut3esYro`p`]ueu}JD{eu3|
r~]o²Jp`~euns.rqH{®;u ®.®´r(³R¬%~e|Juut7uD]u~ t9euuRu.~s{r(~ne²~]|DuuV°`u~´RiY~e3uooªª u°quRQ ~] |J¬:uNuo`¬Jr(eRu~n]°R~]}o7JpoqJr ]]uRne°`]~eu`u® t (~e|Jur`{~]1}°R}~´oª¶pR5r(~]|D3u2n]}Jpr(Y6Je}Jpn]874 ¬%pquu:J{urnr(q~]~]}oqnr`{uoT]ª"{en]|JJu.{e«RTB~e}}Jt9pi³Pu{}rRªQo`
netu]rJ~]}}o`~H"J;r`{e}R|J~]}uo°q~eu.|J9n]uiu%Nn]]u;or(ªQ]~´oq¬
r(r(n]Du Jn]}
oq
RuuYu}
DJR]&uuT´nei~]~]}~Pu.t9'Ju }}Y}7RuT´ªQ~eo`|J}neJutu;]ro`~]D~s}rnso`]{N«Ru.±Q{~eµoJ|
~]|JRr(uu~ e±^±^
uJ
o`oqR~e]u]}J}J~]pN|Yr(o(~ªHr(~]Re|J]o(}u ¬]~e}Ju.RªQoio`rqineNt'tr}J~]r;}eo`~]n]|
D~er;t3o°`uu~]R|Dr~]uu;{'o`uDne~s]}ruDne}ns9°`r(unen;}r(uR~]¬u
o`|J{n }3{]|
|7Rr(t'nuRYr(¬u«q
ruhn]Pu}D~]|J{po`u oqt3oh3Y{{~]o`|DJDun]uneR}uR~]
~]{uuone
ª o(r(~]ªHY|JuJuN°`&utRVH~eurqn]{]|Do`}J{Dr(euu
sn]rq³°`{Rr}~]J~´|Jhuu³ ~ero7
¡Jn]¸
o(
°Rr(}RuR`r~e|Jhu}ºrr(p`
Jroq]R~ee}º{}%® o(ª ~e|Ju}hªQo`netr(~e}o`";¬|J}{e|{o`Je}]~] }3}R~]uneJn]u~e}Jp3~e|JuJr(~rN}9o`nRun 3
P1
P2
P3
6
2
4
7
1
5
8
? #0D1& #14M "/7 #0&78 I"$5 &�& 1 # & # 8"/ 34 D#
eYio`ee~]]u}t2Ju®Hy}RR~e2un]Ju.n]r;oq°RJ}Jo`pD
o{ª»uut9°quuRR~~]o`{2oqt3~]|J
u3r~]{}o`Jn]neu:u.{¬~e}J~eu|3]9~]|Do(uª{r'r(J
rr(n]H~]o`}{nDRºurnen}D~]pue}~
Rt7YJ{eu.~9
Ru77°`~]r|Ju}9o`Dª^o`]nuner(°`Ru. {oqt3JD~sr(~e}o`"® =?> C?B CPJ K 9C?O ½´}T'~]~]|D|JuVu]rY]u.~{~]}ur(q{ru.]r(une.¬%D~]u|Ju{ner(uu.¬% un]~]unr`]{uu°`T]u{en|Jr(u."{eD«Rn]}Jo`YpTo`o`e}n7~]}Jo`neJu.R~e}o{r(|D~euuhu}~]'u.{R~]}}]o`~]"ne}®J¨J~]|Ju;uJR}uoqJJDup`up`ne}}DJp²pY`¬:u°`oqun]« }¬²|J~]}{e|Y|r(~Jerun]u.rpq¬o`
rrHJ]ne
ur]JuR]|J~eu.oq ~];"®}!R}
! {/u ~] |J]u"/r(
Y~e2|Jup`}s°`{u}uNRr(~e}Ü ¸H{r({pqo`o`t9n]}t7~e|JJt J}~e~´o~eRn]u}u~eu.{~e~No3]u~sJrJ~eu
u3'Jne~eu.|JR}}{¬:r~]oqun];« ~e¬%o3un]ur(neJp`neuo`nY{o`er(u.e7]u~eo oRª:u;Jr(n]Yoq¬
}u~en]|7~]}uoh;{Hr(sYrJ}'n]u.¼`hJ}º{Dr(]~]~sur.JJ{uoq#¼ .%$ J
Q {~]`}qo`'!r(
7Jv(R'}&:J
({~e]}o`®
7Å o(}UVHª"un]oJu{Rr~
Jr(nepqu.o`Rn]}{}~er|J~]t3u; e~eu|JquJo`neuu
~]{}}{JrpTP]o~]ªne
{oJ~e{Jrn]u`®Jne!%u.o`RJ}{er(u ~equJ.u®R®®%~]yRJ~]|D~e|JuuReu}UV¶urn]upqRo`~ne}~eJ|Jn]t3oRoNªQ]o(ª V¶u~]n9|DuªQner(o`tp`oqn]r2}~]|Dr`t3{e«T:Ro(o7ªD|Jo`o`~t9uo`°`pquuJu|DoquJ ee}~]Yn]Y{u7{~]~]J|Jneuu o(ªHrJ~]|D
uu;r(r(n~er`~]}{T´u|Jo(oJª"{(®Hpq¯Yo`r`
{ru.i2e~s~ero3~]u~e |J}±QVoqne}{~]oq
Jr]~]}}eo`~]"uRY~¬%{uJ¬%~];uRneo`u7n ~]}uRt9u;r(J~]su.³®#Q²~]o'ue~]~]|J
}JR«N~]}²|D}RuºrD~]~]~e|2}º{~]u|J}u Ypqr¡uo`p`JeoR}u~eoJn}r(o`»"{r®&r(Q²p`Yo`Rune}}Je~]|Jr(|Jo(~et9u¬c ~]~eo¡¬|
|JªQr(o`}~%{eJ|fJY
3hhu~eu~]|Jn]u.euN{~s~r(n])uY(
r(Rneu;}p`J{u~]p7n}o`~]{2|Jruo`]R]uRJ
n]o(ru.ª t3hJ}º}{ne{%r(u.~]]Ru7~e}n]{
Rr{u~]~]~euJu. {ne~eu~]}|
oqo(r"ªP®Y~]|J}¨9u|J~]uN|Jr(u~e
~]r(}DY{n]uVuunV°Rh}}ho`neuu.JªQ{u~e
9}h~]Vunsu.er(r`
~eR{eJ%| n]~]uqor ® ~eonsª»r`]{¨DuVJ|Doq]uJu~en]]uutn]o(°`ª»r(r(}~eu
}°`o`hu"Ru®n ~];Q²o(®Dª"uQ²~e|Jur;u~]Y|Jer(u~]n]Yuu]}n:R}~eoq%n]3oJo`Rne~epi
|Jr({uDuJ+} r7*oqu.~]{7}o`rr(7]]o} ªQ¸¶ª"o`{o`r(Jo(~]¬e}uoq.n]3® °`Q²ro(JªPuJu]n]~suoqr°q
n]uu~%Rn]~.R~]J}ur u
J
7Yr(o`oqeu.e7}9D~]p|Jo`u'~e|J°`~]uu;|D{uJ~]neoqro`nJJ}{oJu}~´tRN}J~]oop ª uR{eJ|Ju;Ju.{{e}neR«Ruu]}Je~]u.p
|J2Çut¬:R9uNo`J¸
n]JTBu}}]~]Juuu`R®;r~7¯"Jr(~]}
²oqrtr(rRp`~soqrJ¬%n]®q}u:¨~]|Je|J|Jt#oqo(J¬ ¬p`|'|J|J}o(~]{e¬²|D| u~eeo~]~eneu.{]}º{e|D{|J~]u.J{e} «quJJJun]~]oqu
r(uRnen]u~]}¬:u~e|Juu3o`UT´N{«R~]Jr(nso(erqV¬{uo3;ª®(}'D¨n]~]|Jo`|JuYu7euuner(~]Jne}u.n]uoqrN
~eo(u|
ª%ner(~]t3~}uoJ:¬%Rruun]n]Uuu T Jneu]ui~eu.}'Jneu°R}o`J¬%o`ne«i}'R}]~]ne}JJ~]u;RuJDp`p`}JpY® , T N0-PV :&.¡ ¨Q²|Ju}e~ser(u.ne{~ ~e}Roq ²h}u¸
RJu}J°qpo`~]eu;o`2t9~]u:o~e~eu|Jn]t9u7}JDn]o`oqJo`pqut ¬o|Jª}{e~e|7nsrq]{~eu3ut3oqPJ]ª^un]o`ne°`t r(~e~]}|Joqu²~e}|J uoqr'n]7R}o(]ªH~en]
}JrJn]~]~e}u.r2Jo`unRR°Ru}n]n]}o`JDpqt3:ur(RY~. ® ur(°q~eu~]R}{~]u;;®H®R¨¨|J|Juu9neut¬:ur}neYu.R{r(unYo(~]ª%|Ju ~]|JJuo`~ee}u.o`{J~e}%oqo( ª }s{RruJ°`so`r~e
u.neur(~]o7~e}oq~]|DJu¼oqr
-i }sJ{uoqJn]u.]}{eo`~]JueR~]~n]Y{J{~]~]}eo`¼N2ªQo`o(nª%o`~]|JJueu{n]°`r(rJJr(u neur(~]}oqR3roqJ]un]°`un.® 2>@= .'GIB H 9O C?F90C /21 y Yr(n]~e}r(VoqnsRun]u.Neu~± +³ 634 5 7± 48 9 :3 ³/}:r ]u;~ 4 oª¶uut9uR~];.~eo`pqu~]|Jun:¬}~]|7r(7r(R~e}eRt T t9u~]ne}º{Jn]²r
r(n]uNsr} "$5 34 D # . } 734 ®Y½^ª >=9 /~]|Ju= >2}r 5 1+ + o(ª A }= 45r
A } 3 A A :D æß(×^ÙÜÖ
!#"$&%'"$)(*",+ -"/.012 34 50-"$&%'678+93:+
5 r +0D1++++## o(o(ªHª A >³%}o`#n 47A ®D Q² us+0r;>''r(~]|
r¡~ JA o`~e}uV>r F "$3'3:B3 A } ª01#" >G 89F :+A 0Dr(
++#xBo(ª 4> 8)>G±QoqF n :3 >}9 r(:B3 A " 3 3 1#5 "/ A ® ¨|JuNR}n]u.{~eu.'pqnsr(D|fr]eoh{}ºr~]u.9~eo7~]|J}{o(°qun]}Jp7neur(~]}oq3}RuJoq~]u.
R± 4³ 5©± 48 ³® Çu~
ureJJeu~o(ª 4 q~]|Ju:+0 . 1Po(ª 4 3 oqc}4 #5 ±8 9 :3 ³®qy &-"/D #"$¡±Qneu]"®Jr "$`³}r]JD]u~o(0ª 4©}'¬|J}{e|u°`une3
r}noª»uut9uR~]}}
{oqt3
rnsr(Du±^n]ue"®H{o`t9
r(nr(Ju.³® y D #"$ 1#3 +" " #7} '{]|Yr(}Joª 34 }VrN
rn]~e}~e}o` 4!#" $&%('*) ) ) +*, oHª 4 }'¬|J}{e|'u°`uneB 4-} r9{]|Yr(}o(ª 43 /® .10>DZ 8 43 ³ 5203485'>6487%5± 0GF 3: >Y*³ "}~]|Jueu~oª>t'r;J}trJuut3ui~eoª ©} ¡34 ® !R}t3}r(n]`8 .19:/;± 8 4V3 ³ 5 }h52¸
t7 J@t 4} 8 4N3 9 ® >H"7±Qneu]/J® I > 5K @4 8 > 9 "b³ }~e|Ju 5 1+ + + ±^n]ue"®Y~]|Ju +0D+: +# +º³%A oHª >'}A 4N3 :3 H® GM:LON >G51 A #: 4 8 A F A 3: >H"±^n]ue":3 !® A IM:LON > 5 F :3 A "b³ }~]|Du "$3'3 1#" 89R 1 ++# + ±^n]ue"®Y~]|Ju "$3'3 1 "/ 89 +0D++# +³ o?ª >9} 4N3 ® y "$5 > P9 +" #9o(ªr¡
oq]u~ 4 3 }Vr7t'r;J}tr;H{e|
r(}4 oqR~]o 4 ¬|J}{e|Jneu]un]°`u 9 3: D}´® uq®µ > 9 >G9 ® :y 3 A" 1 #E Q3 o(Aªr7Yo`eu~ 34 }r9]DJ]u~N{o`]u;2iJn]u.{u.Ru
{u`Jµ >RS85 4¡ 9 > T®5Q |JuU .10>DZ 8 43 ³ }neu.R
{u.²~eor7e}Jp`u~eo`T >/"R
¬%uNsr;'~]|
rV~ }Ar)+08 D9A "$:31#0D" . rAr]
]9oJ{~]}|
rr~]~u. ~]|D~]}oBD>"n]® o(J°R}DR]uune°`rNu3o`~eD|
ur(TB~~eo#~]T´|Jo`u7JuNeu{~o`neo(n]ªuet
oqrb
JR}t'}Jr(p3HYuuu~´t9¬%uuRu~]~e}|J ur}R u.}rRu;r(r(P
ªQ9oqn]~]t9|Dur(rR ~]}r{eR|
~]r}}{eD|
:r(}o ª r¡
oq]u~;®H¨|Jueu~o(ª:}Ru.rX WR± 4³oª:r7Yo`]u~ 4¡3 Jo`nRuneu.2R3]u~}
{J]}oq"qªQo`net3r9R}]~]ne}JJ~]}°qu r(~e~]}{u RW ± 4³ ±Qeuu &}n Y8Z ç³® 2> [ GIJ&J&L /P] G \ JL ^4J&LF K 1 ¯Duo`°qneutr({r('neYu.r(ueo`RJ}]}~eJ}pDp`oqJ}]u|DJu.u.H{µJ~]}o`7~ensrq{u%n]u qJ}n]u:r ]}t3Ju t'r(~e|Jutr~]}{r(t3oJRu´®¨¬%oR}UV¶un]uR~ _ ¨|Ju²Jeun u°qu´¬|Juneu²~]|Ju²Jneo`pqnsr(t9t3un3hu¸
Ju2¬|
r~|Du²¬ri~e'~]o ~ensr`{uT±Q°`r(ne}r(Ju J~]{e|J|
Jur(~Jr(u~]pq°`}uuoq.R"J~®({¨~´r(R|JY:uu7~er`o±Q{oq~een}uo`
N R.oh}J{ pN³{J® Jn]n]neoJu
{u;{RuVJn]r(une.uP{®r(®®Ú³®(u.¨)|Ju.e+u r(#ne uV.r` {~] }#o`J&%/+oJ®({¨{J|Dneun]}r`J{p3~e}RoqDn]Y}Jr(pNt3~]u%|JRuu{¸
o`Jt u T _ ¨|JuNn]J&T´~]}t9uu°`uP¬|J}{e|}
RY{ueo`t3u{oqJ]~ensr}R~eo`~e|JuNn]ur(~e}°`uNo`nshun]}Jp9o(ª:oqJ]unT °`
r(uJ~´¬:u uuu°`uRJ~en].oJ®H{umP]n]]u;u{.}%]uuJReJJ~]n]|Y}Jr(~%p2}~]|
~er|J~u~e{|Jru'Js]ruY}~´R3}Jhp JuoªV~]o7r~]t9|DuVu]D|ir(Rpqeu3}º{t7r(HJue
~{er(|
r(¬Dr;p`iuoJª»n]t3u.{uu.]Rsurp`}u~] n]u.{uJ~]}oq"® oq~ey |Ju¼qu
~]}r(t3t9uJT´}uJuo¼ªrNo(ªP~eJnsrqn]oJ{u{u}e ]up`;}®H°`uy'nen]}o(9¬¸
p`n]Dun]Juneuh]±Bur`i³~®J¨~e|J|JuuNt3o`Due]sur(ne°`pqr(uJu
u{]u|Y°qr(uJRpq~]u.r(® n]u¸
p`Jneu.2r(Vho`~] `!`'bß aMcdc>edf
Y
? #0D1& #14M "/7 #0&78 I"$5 &�& 1 # & # 8"/ 34 D#
Jeu~} ¸¶Ço({ª:ru~N~]u}°qo`Ju R~]~]{|Jo`}JoJe{}º]{huJu~nen n]}}rfJ«Rp'¸
JJRo(}J¬~en]u3}J]}p9u ~~]r`|Johuª°`Jur(Jn]
oJu.{{{u7Jue~er(]}Yoqu; e±R~s r(uJDRoquu;~]D³u.®5o` ~]Q²uRVu @~eh|J4 uu7'NJRo`~]~e}o#uoq4 } R~5±QoqJJDu}oq{
o`³J ® e, }ºh u{n]o`NR~e|J~sªQoqruNn}J¸
eVJ}t}r~eu T ~e~e|J|Juuesur
«`Ru}Joª p]u}°`t3uJR~]} {}±Q~´DRJ`o`{Jo`t9eun]t7°`rJJJ}u{r}~]7}o`J7ne}{eY|
{r(}JJDu.u³ V r(ne{uo`R{oq~srJ}]D}R u~]ne|Ju.u{
o`oqnen]}Rue~
TB~eoqo#
T´
R}oqJ}RpN~n]³:u.r{u
J ~]} oqJ}±ç~]ªQ|Jo`un euu°q~uRo(~]ª» oq~]J|
]ru~n]°`r(r(n]DuuoJu{°`ruHR~]~eo .®'4 J µ J u{5rf {o`Je}ºhu n®~e|
r(~V }eJ}~D}R~]o7~e|JuR}o`}R~:eJJeu~] oª Çu~ Yu~e|Jueu qJuR~]}r
oqnsRune}J'pEo(ªH u°quR~]r(D
u.rn]}Jpo`7Dn]oJ{ue 4 ®(¨|Ju{r(Dsr(Yn]uºr~]}o` T e|J} ±^¬|Jo`euRu¸YJ}~]}o`9}pq}°`u9}= "rtDZq Q³%}3}%~]|Juetrue~ n]uºr~]}o` sr(~e}´ªQR}Jp'µ v`® 9J6iv :!"85'> 8 A 8=> A 5 > A J® > B8=> > J® c}~]nr(Je}~]}°`u e}u~ }R ~]u}n]ouª:erN~]o`}J
Jer(punen]~]r°`}r(rHJ}~oqunsr(Ruu°`o(n;u¬®JR%½´~]'J~]
|Dr~euo3n]~e]}ºJu roqq~VJ9u{Bo`oqDnJ¬:R]u}uRn]u;u¬2n}{Yio`'o`t9J~et7|J'uJ{Jneo`u}J{er(r}~e~]R}}oquo`nN~eu|J°`u®Yui¨]~eJ|J.Y®Y}o`¨nrR|JJu}]n ~ens 3u.rqrq{}R~]
}o`R~e2
o7{{u;o`r(3J
n RrJ9~]n}~]r`}|J{~´uu t9 !oh0 h" u D´µ 1 "P1#" " +/- "/ .0 9 .1: "$ $% #0&" +3 " 8#1 %1# . 7 &3 ?? " # D 8+ 3" #? +- #U " D2 08 ."$( '*V ): Q²1 u7" + sr;#2"$ ~] |Yr(D~7 #"$r' +:~]n r`{u1 r2r(~]ne}u.¹{¸
uu}3°`u'~e|Juu,°qu+xR~3½-r(½7
T{o`rf
hªQ}o`~e}o`o( ¬}±çJªQo`p'n ]ueYJ o` u°`}iuR°R~7}]}~]J|Duu9n]u}Ru~ehuns}erq~]{3~]}o`r(D~7¼i³Nu.r} ]ªV~Noqo`Ju'u;r`oq{eJ|T]uJnen]°`oJr({Jueu'.%u°qYuuR~´¬:~7u}Bu® u` ® 9 @v . : 8 / 8 > 8 > 5 1 .® ~.® > ® A uqJ~]|DuVoqJ]un]°`un|
rA :~eo7n]u.{oqJ/ 0
{~V~e|Ju
oq]u~ A 3 ªQn]oqt5~]|DuVoqJ]un]°`u;3u°`uR~];®
'oqn]u ´ ½ 9 J s n q r { ] ~ } { ] e ~ ] n J}2neu.¸
{}pq]Jun]Ru3Ph}±Q~
|
³®r!Ro'~]o2¬:n]u7u.{Do`uJu.e²~]n]~eYo{~7r(]~]e|JoJu'{}{r(o(~]°`u9u]n]oq}Jt3p²uR«R}p`}
ns2rJo(|2ªo({ª oJR 73 }J/p'¬~]|Jo'}{eu3| °qu2Rr(~]eN]u} Roq}r(nspqRnsurnNt ~]o'}t']r(|D«`o(u¬} ~ YoJ{o`{eD]}n]Ju`r®P
¨2|J~]u'|Dufo`D{]ohuhne}°`Dup
n7®Pne'u.{o`une}°`uuo(7°`u~]n;|JPu'~]|Juu'°qu{Ro`~5D]43~]ne~e
o`{pq~eu}~]oq|JTun7|
r(¬N}~e~]| o2~e
|Juu3RJoqneoJJ{u3u]oq9 -iRJ}Jt7u`
® u& nJ}~7 ¬¬|D|Ju}{e|6r 4 u}'°qu~]R|J(~ u4{oq}t3n]Ju.D{u~s}r(°`~eu.}9o`3Rr(3Y~e7|Ju¬o`|JJ}{ee|'un]|
°qr;un.°`Du ~]J|Jo`u~neuYtuur;'o`
Du]u]neoq°`t3u.'u qu°`u~.u®YR~e¯Joqn:¬u|JD}{]r|'t3YJuu`o`qJ}7pN¸
~]oNpqJ~]n]|DuuVNYr(r(]e~]Jot97ª 4u ~eJ|
o(r(¬©~:neru.i{uu}°`°quuR~]J®YJJ¨~P|Juu°`uu°qiu~eRH ~ Jr(J
¬N|D }º{e|
|'r;°`}Vurr(neu.}r`t3Rt3u;
Ru}ur;7~]uo`JDen]uu.n]R°qu;u.{Hu]Rer(o`
nNo(]ª:JJDD
}oq]ut3~e}|
e]r(}~PJp
~e|J®qu¨o`|JJueneuu n]°qrun]un ~´{¬%rJo'sr
Hoqo`]]n}RJunu7o`~e9u.{e~]|J|JJu} qr(Jn]uu;Nr`}R27~]oq|YJr(]~une{°`r(u.e9u`®/u¨°qu|JRuN~];¸
®Rn]½´e3~o`o`DDn:u7u}
r~et3ofJ{o`u`t3(~eD|
Jr(~]~%uNt3~]|Ju;r(u7Je J~eY|
o`r(ns~huv n
ou.ª{o`~et3|Ju7un]u;rr( }~et3o7t9
uu.Rn]u}r(t3~euo(°`Ju;n]3u;Rr(u.{u}~e]Yoqu.n{o(oqª:t3Nu}'r~]~]|Jnur(JeeJ}Y~e}o`°`nsuhu.uRn.®5pqu`Q ®J|J¨u|J u9eu.r({neo`n]Y}°`'u;
Joq~e]|Je}uD}u.R}~´pqNu}Yu~e~´o¬:¬uur( }~vªQo`rn
r'N}J|
u.r(r(n u4qJJ~e~eu|JJu]}o`oqJ"e`u~en]|
°qur(n~P}t7 J¬e|J~:u¬3r(r(}~:Nru°`Hut3R8~ }]4%e}}D poqJu°`]uun]i°`~eu;7
r(uªQ
o`neu~]|J~surn]«iu}J}P9p ]4oqt3}iu%~eo t3rq}{]{e}oqJJpRu~.°`®Ju¨i|D~e:uV}oqNJ~]]|Jun]u°`Yunr(]]~P~e}oª ¬%neu.o`{neu«i}°`u;o`²-Rr;ªQ}~eJuunr(~e|Ju¬:|Ju}{p`r|D7u]u~Jo`
Du;u{~.'® ~]!R|
u.r{~ ~]~]}o`|DJuo(J¬%®Ú7uer(~ Yu°`uJi® 7~e:J}Nneu~]]|JuRu~oq~´ns¬%Ruo3n:¬¬r;}iR Jo(o`ª:~ {YoJuR]}JRep7~]u~et'|Ju r(~]{}r({Jrr( neur(J ~]}oq
f{u7r¬:
3uNr|
r;p`°`o`u7ne}{~]oq|JJt9]~e n]~]
o7{~euu.J ~ensr9r`{{~une~]~s|Dr(u}²{o(
°`run]ne~}Do(p3ª%R~]}|Jp`uNnsr
Joq|3]uo~Dª» 7~e3 |JYusYr;o`]~eu|J~u7ªQne]o`Jt5D
}oq~]]u{~;oh:h =}
n"³u. rq{e|" u9 "°`u}i0~ ~]|J>/u ~e|J"u r9 p`o`une}°`~]u|JRtc~}{ o`J4 e~]n]r(Y
{ ~]:r" r(9 nens4r;7± >Y³ "}%o(~]ªJ|Jo`u Jeun]°qA u.9 4(u± °`>
u7³ R ~e»ev
{e|u°`~e|
uRr(~~ }Q r4 «`uT {®/r(¨2|J
u3uNeu
Ru~]n´uªQoq
n]{t3u u;s'{oq}t3J~´¬:D~]o9u7]~]~e|DuJu.®P}]¯/~}n]o(]ª~e}it3Dt9¬:u7u.Rr(}er(]~eoJu{}Jr(n]~eu;uRu.~eo{uu;e]r`oq{en]| 'uo(°`ª uR>D~ ¼ > }²r¡ J}neeoJ~ {u.RJneou ª uJ°qneuuR°R~]}o`9J]
]{eu;|T{~]~]}|
o`Yr~³®H¨|J 9}5}VRoq0J>HuN }A ¡± : )8³ A ]}
{u >/"2±Q~e 9 |J2}5 }]~70>H{o` nen]u e
oq
R'~]o2~] |D9 ueu~ ©9 5"} + ~]|Ju
!
"
$#
'&
(
$ A GMLON >
)#
%
+*-, ./
,
10
32546
48719 4:47;=?A@ B-C9DEGP F?H&I@#J[#J\ I =LKNM8ONO P#QRSUTNP C-VWVXY VZ8^ DV _&VC^H&H`DJ aC TNR8PJ]YcbHdB-C9DEGF?Y&B T C-VH M8ONO P YE T B-B TNP WH TNP C-VW8V XY @#e f Hd]LIJYJI =LKNM8ONO P#QRS VZV P CY g IhiJ D T C TNP W S,R XH?IJJI =jKlk mGkonNM8ONO P Q?RS B-VC RS VZV P CY > J \?[#@ ]UpUJ P@rq V htsUZ8V P Cu/D H DaC TNRP YbH&B-C9DE*FvYdBH TNP C-VWVX9wxY g{ I@#Jz|&}$y&f HdVZ8V CY y \\ O ^ J*D_&IV $^$ ~ TcTcD#))Y&KNKNy M8M8O
N
Nb
`
`~ QQ ] b\\ Ydy y{ O O @#b e |&KK T`B}$Q Qf H`~ y O Yb K B QN9M Yy O B T C-V ~ BY&y O E T B-B TNP WH Y T`S J*qi I\R $Jz I$ n rO m2K T`Q/] n nT O b K T`Q2 y O b K T`Q{ J@#\?|&[#}$f @ ]UpUJ @' D8V F?u$y&H?VZ8V P C9wxY a \R E*J*O e FIK $ O C-VT¢ C- Q V hi^ D T B-T C C TNP RW S5S$TR EGX K E*y O Vb ¡ K T y DOC-B VGT C-FV Q/X-n Vy ¡O B V T aC-VV B-Q B ]R X-\ B RS y&Y ¢¢ O E T y B-B B TNP C-WV H`tH t¢ y&O E Y T B-B TNP W 2M Y @@#f#f } ]j ¢ Y O E T B-B TNP W# 44;kJL6
JL25II1S(B56CG; l
=k9 484;kJL6AZ
vx
25GE4876M
;=?=]@A;B56!47F6
;;
I2AGHSr6CG342-
il #0?1 & #1 4Ad"/7 # 0&78 c"$5 & �& 1 # & # 8"/ 34 ?#
*º
l´ jº »
º
jº i¹º » ¹ºG» ³
jº
4876"JL25V%O=6C486KO 2A
9WB56CGH9>@A6:BA9 =D6A^[2AG=;?G6(;I\46CG86CV%O=6A^F476-OG82AO 6CG4 ]I&" ^ _37;kJ87o;< 4GDF6-Ma2AG9 I ;Sr6T9 =; ME;4KJL25I\4H9 ;I< 9>OO16W9 GI1Sv;I47F6"O19>R16C=6TS
0
;
·
:^F
476-V%6CV(R 6CG8
9>=?_39W]\4;2AINZ M1_:6EJ872\2A;?4
Ma2AG=;I6T9>G
6 r486CIGMu48GH9>I
O 2A4 ;kJ:O7NZ ~ I6 ;I\46CG86C
O 2 _E6[G!2 M
vu
9hl1I;46v9 D482AVv9 425Io_37F;J87i9AJCJL6[O4
_376[G6347F6E4H9
2 M347F6(=9>448;JQ6A^m47F6(=O719 R 6C42 Mm9AJL48;?25I< ;
6C43D=?=2 _e482%I@AD19>@A6(S\6Ll1IF6TS R\]F5ZG:2AI\MaG82AI\4;I@4747%;I
=-5
K
d Z
@
Y-4 #7
5i;CB ` vXaG86C44;kJL6-S\DG;I@_37;kJ87 [ ^5476 487 6[=?6[V%6CI\4:;?I S\;kJC9 48;?IF@_376C4876CG =?@52AG8;?487V);I%2AGLS\6CG3482%JL2ADI\4:476I\DV(R 6CG:2 M ;?4:IoR 6";VO=6CV(6CI\46TScR\]h9cRG6W9AS\487
¶
6T95J87U;kS\6W9 = ;?GGL9W]%R\]%9 I9 G8GH9W](2>Mu;I\46[@A6CG8
4876=k9 448;kJL69 I1S47F6K425INZ
x¸
u4(;==DI1S
'Z
25D
C^\O19>@A6C
=Sr]^ 4;2AI
x¸
;
A
^
I
m ;I6T9>G!6+ 486CIG]
G CD==21Z
39>=?; Ma25GI;k9F^ 9W]
4 N
9 L L N6;
9KN9>VE;
A^
;Sr@A6AZ
S\6CG;I@ Z
9 (6N6;
/O\X
1^
;?6[7= ^ Z 9 GLSm^A9>I1S
\OG;I@56CG ;kS
}
;