HAL Id: inria-00073685
https://hal.inria.fr/inria-00073685
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.
Performability Analysis of Two Approaches to Fault Tolerance
Philippe Joubert, Gerardo Rubino, Bruno Sericola
To cite this version:
Philippe Joubert, Gerardo Rubino, Bruno Sericola. Performability Analysis of Two Approaches to Fault Tolerance. [Research Report] RR-3009, INRIA. 1996. �inria-00073685�
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
Performability Analysis of Two Approaches to Fault Tolerance
Philippe Joubert, Gerardo Rubino and Bruno Sericola
N ˚ 3009
Juillet 1996
TH `EME 1
"/01(')2
3 45768589 9;:=<?>?@(AB:DCFEHGJI=:DCK?CL(>/MN@(A57O>PKQO(LRSC@(O(>UT,:DC58VW>Q68K
XYZ
[F\][ ^`_ aNb[cd[fegih][jkcdlHcdj
Z
[\][c
m npoq
[Fjkr oWs
[Ftu[Fj1v
o
txw sWoyn
akezHz o{n
j s [ n [|
Y [ n | Y
[~}Sy{y_ ygiwxttx[Fjk^F{y _ ^zey[fc
]iy
[z
n
[cd[}Dje]ge}Wjpwjejwx[|
o
\]ze
n
wc o }
o
jd
o z o
zigHte
n
eziz no
e{|
Y
[fc
oyn1n
[|
o
[ n wx}i
npo
\
m(
[
nnpo{n
c¡k¢`ge sDn
gizitx[Sr oWs
git£e
n
aB[
s
gi}
s
e}|l'e}
s'¤
ey|¥D2e
nsN¦ npnoyn
aB[|
o
[
n
l§
¤o
j Y e n [gcd[
s
w}N[FhDw£cdjwx}i
egitxj¨8j
o
tx[
n
e}WjkcdlHcdj[F\Nc o©
[ n
w}i«ªeyc¨w|Fetxtxl¬j
Y
[cpe\][\New}
[ejpg
n
[c
e}
sQ®
w}¯ze
n
jpw£|git£e nF®
j Y
[Nce\][
egitxj¨8j
o
t[
n
e}|[Nc¨[
n
Ww|[fc°j
n
e}c¨ze
n
[F}Dj
n
[f|
o
[
n l
oyn Y
e
ns
2e n [
egHtxjc±§
[ c Yio
~j
Y
ej1j
Y
[gcd[
o
z[
n¨oyn
\²eªiwtxwxj¨l«\][e{cdg
n
[cwc
n
w|
Y [ n j Y
e}'|teyccdw£|Fet
s
[z³[}
s
eªHwxtxwj¨l'e}etxlHcdw£c§'´kwx[F}µj
Y
ejj
Y
[Fl'je¥[0w}Dj
o
e{|F|
o
gH}Dj}
o j o
}Htxl
n
[FtweªHwxtxwj¨le{cdz[|j¶c+ªigHj et£c
o
z[
ndo{n
\Ne}|[N\][Fj
n
w£|Fc
® j Y
[l/ett
o
·e
s
[[Fz[
n
w}cdw
Y
j0w}Dj o j Y
[ª[
Y
eFWw o g
n0o
j Y ['|
o
}c¨w s [ n [ s
cdlHcdj[F\Nc§(¸
o{n
w}cdj¶e}|[
® j Y
[Flett
o
¹j
Y
[gcd[
n j o ws
[F}Wjpw
l s w© [ n
[}DjB\]w£cpc¨w
o
}¬tx[F}i{j
Y
cBtx[fe
s
w}i j
o
ª[Fjpj[
n e s
ezij¶ejpw o }
o
[e{|
Y
j¨lWz³[
o
e n | Y wxj[|jpg
n
[§
º»¼u½p¾¿ÀÁ{ ¤
e{|Â¥WBe ns
[
nnpoynkn
[f|
o
[
n l
®Hs
[Fz[F}
s
eªiwtxwxj¨l«\][e{cdg
n
[c
®D
egitxj¨8j
o
tx[
n
e}Wjk|
o
\]zigij¨
wx}H«cdlHcdjp[\Nc
®
z³[
ndoyn
\NeªHwxtxwj¨l
®
ge sDn
gizit[+\
oWs
gite nBn
[ s gi}
s
e}|l
®Wn
[Fzew
n
eªit[c¨lic¨jp[F\²c§
ÃxÄ0Å
ÆdÇÉÈFÊ
Å
ÆBË ÌÍǨÎÐÏÑ
= %¯ . %'%'( );*+
0 ')B . .N +
»W»
}¯z
n b[cd[F}Wjp[«gi}i[¬|
o
\]ze
n
ew£c
o } ge}Djwxj¶ejpw[
s [ s
[gih¯eziz no
| Y
[fc+ªiw[F}/|
o
}i}DgH[c
z o g n t[
n
[f|
o
gi
n
[\][F}Wj s
[
npn
[Fg
n
c1
m(
¡Qt£e n [
sWo
} s e}|[ \
oWs
gitew
n
[S ge sDn
gizitx[[Fj1t[
n
[f|
o
gi
n
[
\][F}Wje npn
w Z [ n [
s
[
npn
[g
n
§]([c
s
[FgHhµeziz no
| Y [cc
o
}Wj+gHjpwxtwcWb[F[c
s
e}c
s
[ccdlHcdj
Z
[\][cB[FhDw£cdj¶e}Wjc1[F}
o©?n
e}Wjtx[fc \[F\][cB|Fe
n
e{|jHb[ n
wc¨jpwgi[c
s
[0ªeycd[¬[Fj
®
[F}µze
n
jpw£|gitxw[
nF®
tx[c1\[F\¬[Fckcd[
n
Dw£|[c
s
[0j
o
tb[
n
e}|[Segih
egij[c°
n
[|
o
gi
n
[F\][F}Wjj
n
e}cdze
n
[F}Wj1z o g n
t[c
egij[c`\Nejib[ n
wx[Fttx[c±§
}'\
o
}Wj
n
[gi[
t
gijpwtxw£cpejw o } s
[«\][c¨g
n
[c
s
[ z[
n¨oyn
\²eªiwtxwxjHb[[c¨j1zitgc
n
w|
Y
[S gi[«t
e}etxlHcd[«|t£eyccdwgi[
s
[]cg n [FjHb[
s [
o
}|jpw
o
}i}i[F\¬[F}Dj§
¦
j¶e}Wj sWo
}i}2b[¬g
[Fttx[cBz
n
[F}i}i[F}Wj1[F}P|
o
\]zijp[}
o
}Pcd[gitx[F\¬[F}Djktx[fc1eyc¨z³[f|jc
s
[?eªiwtxwjib[\New£cBegccdw t[c\][c¨g
n
[fc
s
[z[
n¨oyn
\²e}|[
®
[Ftxt[cz[
n
\][Fjpj[F}Wjgi}i[Se}etxlHcd[ zitgc}i[
s g | o
\]z oyn
j[F\][F}Wj
s
[c c¨lic¨j
Z
[F\][fc+|
o
}c¨w s b[ n b[c§
m e n
[FhW[F\]zit[
®
|[|w;z[Fgij«ew s [ n t
gijwxtxw£cpejp[Fg n¬Z
e
j
no
gi[
n
gi}i[\][Fwtxtx[g
n
[ke
s b[gejpw
o
}[F}Wj
n
[1te s g n b[F[
s
[t£e\]w£cpc¨w
o
}¬[Fjt[+j¨lWz[
s
e n | Y wxjp[f|jpg
n
[§
¿i½»¯
a [|
o
gi
n
[F\¬[F}Dj2e nn
w Z [ n [
s
[
nn
[Fg n®
\][c¨g
n
[c
s
[ cg n [jib[ s [
o
}|jpw
o
}i}H[F\][F}Wj
®
cdlHcÉ
j Z [\][w}
oyn
\Nejwgi[j
o
tb[ n
e}Wj1t[c`ze}i}i[c
®
z[
ndo{n
\NeªiwxtwxjHb[
®³n
[
sDo
} s e}|[0\
oWs
gitew
n
[ ge sDn
gizit[
®
cdlHcdj
Z
[F\][c n b[Fze
n
eªitx[fc
9 :
0,(
.');0
¸egitjBj
o
tx[
n
e}|[w£cB|te{cpcdw£|Fettxl
s
wxWw s [ s
wx}Wj oo
g n ze
n
jc¡([
nnpoynks
[Fjp[|jpw o } ®
egitxjkwc
o
t£ejpw o } ® [
npnpo{n
n
[f|
o
[
n
le}
s
egitj(j
n
[fejp\¬[F}Dj<;^=8§
XY
[`j[|
Y
}iwgi[c
oyn2s
[Fj[|jpw}ie}
s
w£c
o
tejwx}i
egitjc(e
n
[`;[Ftxt
gi}
s [ n
c¨j ooWs
e}
s
Bw
s
[Ftxl¬gcd[
s ° n
[FzHtxw|ejpw
o
}e}
s | o
\]ze
n
w£c o } ® [
npnoyns
[Fjp[|jpwx}H«|
oWs
[c§§F§±§
}
j Y [|
o
}Wj n e n l ®
wxjkeziz[e n c j Y
ejkj Y [ n
[1w£c}
o
|tx[e n | o
}cd[F}cdgc
o
}Nj
Y
[+[
npnpo{nBn
[|
o
[
n
l«jp[|
Y
}iw£ gi[fc§
Y
wtx[µett
egHtxjNj
o
tx[
n
e}Wj|
o
\]zigHjp[
n
cgc¨[j
Y
[Pcpe\¬['jp[|
Y
}iw£ gi[fc
o{n
[
npnpo{ns
[Fjp[f|jpw o } }i[e
n
tl
et\
o
c¨jB[ey|
Y
c¨lic¨jp[F\
Y
eyc`wjc
o
B}µeziz no
e{|
Y j o [ nnpo{n`n
[|
o
[
n l § XY
w£c w£c j n
gi[[F[F}Nwx}Nj Y [ [t
s
o
| o
\]\¬[
n
|wet
egitjd7j
o
tx[
n
e}WjkcdlHcdjp[\Nc0;?>*=8§
@
jkwck|tx[fe n j Y
ej1j Y [ n
[w£c`}
o
ª[c¨jc
o
txgijw
o
}j o [
npnoyn1n
[|
o
[
n
l²e}
s j Y
ej1[fey|
Y [ nnpoynkn
[f|
o
[
n l
ezHz npo
ey|
YY
e{c`wxj¶c
o
B}µe
s
{e}Wjey[c1e}
s
twx\]wjejpw
o
}c§
@
jB\NeFl«j
Y
[}ª[
s
wA²|gitj
oyn
ez
o
j[F}Wjpwet
|gc¨j
o
\][
no{n
c¨lic¨jp[F\
s
[fcdwx{}i[
n j o¯s
[f|w
s
[¬
Y
w|
Y [ npnoyn«n
[|
o
[
n
l¯eziz no
ey|
Y
w£cª[c¨j]c¨giwxj[
s j o
Y
w£c
s
[Fz[F}
s
eªiwxtwxj¨l
n
[f giw
n
[F\¬[F}Dj¶c§CB`[z³[}
s
wx}H
o
}/j
Y
[N\]w£cpc¨w
o
}c+e{cpc¨wxy}H[
s j o j Y
[Nc¨lic¨jp[F\
®
e}
ezHz npo
ey|
Y
\NeFl ª³[';[Ftxt cdgiwjp[
s j o
e¯{wx[F} \]w£cpc¨w
o } j¨lDz[Pe}
s
ª[
Y
eF['z ooyn
tl
oyn
e}
o j Y [ n §
@
}¯j
Y
wc e
n
[e
®;s
[Fz[F}
s
eªiwtxwjdlµe}
s
z[
ndo{n
\Neªiwxtwxj¨l'\
oWs
[Ftwx}iN
n
[ejptxl
Y
[Ftxzc+j
Y
[][F{etgejw o }
o
| o
\]z[Fjpw}i
s
[fcdwx{}/c
o
txgijw
o
}cw}¯jp[
n
\Nc o
wx\¬zitx[F\«[F}Wjejpw
o
}µe}
s
z[
n¨oyn
\²e}|[²|
o
c¨jc§
XY
wcw£c
[c¨z³[f|wetxtxl«j
n
gi[w
\]w£cpc¨w
o
}¬jdlWz[
Y
eycBj
o
ª[+j¶e¥[F}Nw}Dj
o
ey|F|
o
gi}Wj
oyn
j Y
[[F{etgejw
o
}u§
XY
wczez³[
n z n
[c¨[F}Wjc e'ge}Wjpwjejwx[N|
o
\]ze
n
w£c o }
o
jd
oµs
w© [ n [F}Wj e}
s
ªe{cdw|Neziz npo
ey|
Y
[c
j o m(
[
nnpo{n0n
[|
o
[
n
l?¡¢kge sWn
gizit['r oWs
gHte
n
aB[
s
gi}
s
e}|l °¨¢1r'a1±e}
s ¤
ey|¥D2e
ns/¦ npnoyn
aB[|
o
[
n
lµ°
¤B¦
a1±§
¤o
j Y
\][Fj YioWs
c1e
n
[«Bw
s
[txlNgcd[
s
w}
egitxj1j
o
t[
n
e}Djc Y e n [ s
\][\
oyn
l]\0gHtxjpwÍ
z
no
|[cpc oyn
c§
XY
[ge}Wjpwjejwx[ke}etlic¨wcw£cªe{cd[
s
giz o } z[
n¨oyn
\Neªiwtxwjdl\][feycdg
n
[c§
[`z no
z o c¨[
e]\][Fj YioWsDo
to
{w|Fet z
o
wx}Wj o
Dw[F e}
s } o j s [ }iwxjwx[}Dgi\¬[
n
w£|Fetu{etgi[c§
g n
ewx\·wc1j o c
Yio
j Y ejkz³[
ndoyn
\NeªHwxtxwj¨l \][eyc¨g
n
[fc|Fe} ª[[
n
l«gcd[
gituwx}Ngi}
s [ n
c¨je}
s
wx}i«j
Y [ s w© [ n
[}DjBª[
Y
eFWw o g n
o
j Y [j¨
o e n | Y
wxj[|jpg
n
et|
YHo
w|[c§
XY
[ n [F\Newx}
s [ nBo
j Y
wc`zez[
n
wc o{n
e}iwD[
s
eyc
o
tt
o
kc§v [|jpw
o
}E>
s
[cp|
n
wxª[c`j
Y
[ j¨
o [ npnpo{n
n
[f|
o
[
n
l'j[|
Y
}iwgi[c|
Yio
c¨[F}
oyn
| o
\]ze
n
wc
o
}/e}
s z o
wx}Wjc
o
gij0j
Y
[Ne{cdz[|j¶cj
o
ª³[Nj¶e¥[F}¯w}Dj
o
ey||
o
gi}Wjkwx}'j
Y
[ e}etxlHcdw£c§v[|jw
o
}=
s
[etc`Bwj
Y
z³[
ndoyn
\Ne}|[ {g
n
[fc`
Y
w|
Y e n
[ }i[|[ccpe
n
lNj
o
s
[F[t
o
zj
Y
[z[
n¨oyn
\²eªiwtxwxj¨lke}etlic¨wc§(v[|jw
o
}F1z
n
[cd[}Dj¶cQj
Y
[;\
oWs
[Ft£c o
j Y [(j¨
o e n | Y
wxjp[f|jpg
n
[c§
[`gc¨[r'e n ¥ o
\ oWs
[Ft£c eyccdgi\]w}i |
o
}c¨je}Wj
ewxtg
n
[ke}
s]n
[Fzew n(n
ejp[c§v[|jw
o
}HGz npo
z o cd[cj
Y [
s
[Fz[F}
s
eªiwtxwjdl¬e}
s
z[
ndo{n
\Neªiwxtwxj¨l e}etlic¨wcke}
s j Y
[|
o
\]ze
n
wc o } n
[cdgHtxjc§
XY
[t£eyc¨jkcd[|jw o } w£c
s
[F
o
jp[
s j o c o
\¬[|
o
}|txgc¨w
o
}c§
F " *
)*',+);.(+
g n | o
}|[
n
}Nwcj o | o
\]ze
n
[j¨
o¬s
w© [ n
[F}WjBetjp[
n
}ejwx[c
o{n
j o t[
n
ejpwx}H m( ¹
egitjcBwx}e
egitjd
j o tx[
n
e}Wj«c Y e n [ s
\][\
oyn
l\«gitxjwxz no
|[cpc oyn
§
Xuo
[eyc¨[]j
Y
[|
o
\]ze
n
wc
o
}/[²|
o
}c¨w s [ n
jd
o
egitj
j o tx[
n
e}Wj e n | Y
wxj[|jpg
n
[c`j
Y
ej
o
}itl s w© [ n
w}j
Y
[]2eflµj
Y
[Fl
n
[|
o
[
n`npo
\
m(
[
nnpo{n
c§`ze n j
npo
\ j Y ej
® ª o j Y
cdlHcdjp[\Ncue
n
[keycpc¨gi\][
s j o
ª[Bªigiwtxj Bwj Y j Y
[kcpe\][ªeycdw£|gi}iwjc°7cpe\¬[
Y e ns
2e n [
| o
\]z
o
}i[F}Wjc±ke}
s j o o©
[ n j Y
[¬cpe\][
egitxj¨8j
o
tx[
n
e}|[«cd[
n
Dw£|[c°
n [ s
gi}
s
e}Dj1ªHgcpc¨[c
®
\][F\
o{n
wx[c
e}
s @ s
[Dw£|[c±¶§
@ } oyn¶s
[ n j oNs
[Fjp[|j`
m(
ewxtxg
n
[c
® j Y
[«
m
ª o e n¶s
c1|
o
}Dj¶ew}j¨
o m(
c o z[
n
ejpwx}H0w}t
o
|¥
cdj[Fz/\
oWs
[§
XY
[ o
gHjpzigij¶c o
ª o j Y m(
c«e
n
[|
o
\]ze n [ s
ej [fey|
Y
ªHgc0|li|t[§
@ j Y
['
m(
c
s
w£cpe
n
[F[
o
}¯j
Y
[Fw no
gijzigijcj
Y
[ǻ o e
n¶s s
wcp|
o
}i}i[f|jc1wxj¶cd[Ft
no
\&j
Y
[0ªigc0°
ewxtͨc¨j
o
zPª³[
Y
eFDw oyn
±¶§
XY
w£c[
nnpoynks
[Fjp[|jpw
o
}]e}
s0
egitjw£c
o
t£ejw
o
}¬\][Fj YHoWs
wc;|
o
\]\
o
} zit£ey|[1w}
egHtxjd7j
o
tx[
n
e}WjBc¨lic¨jp[F\Nc
e}
s
wcgcd[
s0oyn
wx}cdje}|[wx}Nj
Y
[ vj
n
ejpgc`e}
s
v[g
o
w£e0c¨lic¨jp[F\Nc§
"!$# % &('*)+,.- /)+-*01'*
n
cdj(jp[|
Y
}iw£ gH[
oyn(n
[|
o
[
n
w}i
npo
\
m(
[
nnpo{n
c wc j on
gi} j
Y
[|
o
\]zigij¶ejpw
o
}«c¨wx\«gitxj¶e}i[
o
gcdtl
o
}Nj¨
o m(
ª o e n¶s
c o z[
n
ejpw}i wx}]t
o
|Â¥Écdjp[zu§
@ o
}H[
o
j Y [ª
o e n¶s
c ewtcj
Y [ o j Y [ n;o
}i[c¨wx\]zitl
| o
}Djwx}Wgi[c1wxj¶c|
o
\]zigij¶ejpw
o
}Pe}
s } o z npo
|[cpc¨wx}i'z
o
[
n
wct
o
c¨jF§
XY
wc+j[|
Y
}iwgi[ w£c+¥W}
o
B}/eyc
¢kge sWn
gizit[kr oWs
git£e
n
aB[
s
gi}
s
e}|l]° F
m
ce n [ n
gi}i}iw}i1j
Y
[kcpe\¬[|
o
\]zigHjejw o } ®
j¨
o1o
} [ey|
Y
m(
ª o e n¶s
±ke}
s
wcgcd[
s0oyn
wx}cdje}|[1w}Nj
Y
[ vj
n
ejgckcdlHcdjp[\Nc0;*=8§
G
m(
m(
m(
m(
m(
m(
m(
m(
XY
[0¢r'a¹e n | Y
wxj[|jg n [
m(
ª o e ns
m(
ª o e ns
m(
ª o e ns
m(
ª o e ns
^
m(¦
>²
m(
ª o e n¶s
c ^
m(¦
>0
m(
ª o e n¶s
c
r
o{n
[c¨z[|w³|Fettxl
® | o
}cdw
s [ n j Y [
ey|j;j
Y
ej
o
}i[
o
j¨
o
zew n [ s
m(
ª o e ns
c ewxt£c§
X o
|Fe{cd[c
e n [z
o
cpc¨wxªit[¡
Y
[}j Y [ n
[F\²ewx}Hwx}i«ª o e
n¶s
wc
o
z³[
n
ejw
o
}et
®
wxjBwxtxt,j
n
lj
o
zigijj Y [
ewxt[
so
}i[«ªe{|Â¥wx}
o
z³[
n
ejw
o
}U°
n
[|Fetxtj
Y
ejj
Y
[Fl
n
gi}[hie{|jptl j Y
[«cpe\][ |
o
\]zigHjejw
o
}Q±§
@
}µ|Fe{cd[
o
cdg||[cpc
®
j Y [zew
n]o
m
ª o e ns
c n [cdj¶e
n
jc0j o
o{n
¥Uj
o
{[Fj Y [
nF®
e}
s j Y
[w}D
o
tx[
s
egitxj
"$*
e
1/ 5 o
}H[§
@ } o j ® j Y [
egitxjB2eyc
& §
@ j Y [
ewtxg n [
o
e
m(
ª o e n¶s
e n wc¨[c
Y
[F}Pj
Y
[Nzew n [
so
}i[Nw£c+}
o \ o{n
[ o z[
n
ejpw
o
}et
®
j Y [F}]j
Y
[1
Yio
tx[1zew
n
wc sDo
B}u§Bvwx}|[1e ¢1r'a cdlHcdj[F\
Y
e{c}
o [ npnoyn;n
[|
o
[
n
l\][f|
Y
e}iwc¨\
c
Yio
git
s
e1zew n o
m(
ª o e n¶s
c ewxt
® j Y [ s
eje1j
Y
ej([
n
[Bwx} j
Y
[k|Fey|
Y
[c o
j Y [Bzew
n [ s m(
ª o e ns
ckwct
o
cdj
®
e}
s j Y
[
Yio
tx[cdlHcdj[F\ wc sWo
B}§
. % &('*)+,.- )+-*01'*
`}
o j Y [ n
etxjp[
n
}ejpwx[Nw£c0j
o
gcd[
¤
e{|Â¥WBe
ns ¦Jnnpo{n
a [f|
o
[
n l °
¤B¦
a1±§
XY
[ªe{cdw£|z
n
w}|wxzHtx[
o
ªe{|Â¥WBe ns
[
npnpo{n n
[f|
o
[
n
l1w£c j o z[
n w oWs
w|etxtl
n
[|
o{nsn
[|
o
[
n l s
eje`w}
oyn¶s
[ n j o1n
[f|
o
[
n j Y
[2cdj¶ejp[
o
j Y
[¬cdlHcdjp[\&j
o
e]z n w
o{n
cdj¶ej[0
Y
w£|
Y
wce{cpcdgH\][
s j o
ª[«[
npnoynn
[F[
® c Yio
git
s
e}µ[
nnpoyno
|F|g n §
@
}µe]c Y e n [ s
\][\
oyn
l0\«gitxjwxz no
|[cc oyn®
c Y e n [ s
\][F\
oyn
l«wce0}ejg
n
et(t
o
|Fejpw o }
oyn
c¨j o{n
wx}H j Y [
n
[f|
o
[
n l s
ej¶eD§
}H[
n
[f giw
n
[F\¬[F}jwcQj
Y
ej j
Y
[(giz
s
ej[
o
j Y [ n [|
o
[
n l s
ej¶e° w7§[§|
Y
[f|Â¥Wz
o
wx}Wjpw}iD±
}i[F[
s
c j
o
ª[1ej
o
\¬w|`°w8§[§
, &(/&.-
±QBwj Y n
[cdz[|j(j o
m( U
ewtxg
n
[c§
XY
wc |e}«ª³[
ey|
Y
w[F[
s
ªWl¥[F[Fziw}iBj Y [ s
ej¶e \ oWs
w[
s
c¨wx}|[j
Y
[te{cdj,|
Y
[|Â¥Wz
o
w}Dj?Bwxj
Y
wx}j
Y
[;|Fey|
Y
[2eycpc
o
|wejp[
s
Bwxj
Y
[fey|
Y m
§ Y [F}]e|
Y
[|¥Dz
o
wx}WjÁw£c
n
[giw n [
sQ®
j Y [1|ey|
Y
[Bwcgc
Y [ s j o j Y
[1c Y e n [ s
\][F\
oyn
l
et
o
}iPBwxj Y j Y
[µ
m( n
[ywc¨jp[
n
c§
Xuo
[F}
o{n
|[j
Y
[=ej
o
\]w|wxj¨l o
|Fe{|
Y
[gc
Y
[c
® j Y
[=|Fey|
Y
[w£c
ey|jpgetxtxl gc Y [ s j o
jd
o«s
wc¨jpw}|j\¬[F\
oyn
l ª o e
n¶s
c§
m(
m(
m(
m(
XY
[
¤B¦
a~e n | Y
wxj[|jpg n [
^
m¦
^ m(
ª o e n¶s
^
m(¦
^ m(
ª o e n¶s
Y
[F}~e m(
ª o e ns
ewxt£c
®
ett1j
Y
[z no
|[ccdwx}H
sDo
}i[/cdw}|['j
Y
[t£eyc¨j|
Y
[|¥Wz
o
wx}Wj]wc]t
o
cdj§
XY
[¬c Y e n [ s
\][F\
oyn
l¬|
o
}Dj¶ewx}c j Y
[¬cdjejp[
o
j Y
[]c¨lic¨jp[F\ ejj
Y
[ jwx\][
o
j Y
[ t£eycdj|
Y
[|¥Dz
o
wx}WjF§