A Complete Set of Satisfaction Rules for Property Detection in Distributed Computations

HAL Id: inria-00073788

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

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,

A Complete Set of Satisfaction Rules for Property Detection in Distributed Computations

Michel Hurfin, Masaaki Mizuno

To cite this version:

Michel Hurfin, Masaaki Mizuno. A Complete Set of Satisfaction Rules for Property Detection in Distributed Computations. [Research Report] RR-2908, INRIA. 1996. �inria-00073788�

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

A Complete Set of Satisfaction Rules for Property Detection in Distributed Computations

Michel HURFIN, Mazaaki MIZUNO

N ˚ 2908

Juin 1996

TH `EME 1

012 "!34!50678*,9:%2; <%"!'

=?>A@CBDFEHGJI KMLNOJPQ8=RTSTRURTV7>(=NXWHIJO:Y Z

[\^]

_`'_a2bdcJe_fg_ihCjTkM_l(fgmFfnl

]

_`'_f

opnqXr

_l(s2tTu

c2hCuTu qvp

ltT_

p

_w

\ _ p w \

_xzy|{v}~v€b‚vjTƒ„x…ai}}v†€bd{Ta2u/hC‡_f

ˆ"‰‹ŠŒXCŽ/CŒ [\

ƒ„fu/h‘u/_

p u p

_fg_xFlnf<h<‡_xT_

p

hC’“

p

h‘`'_”

qvpg•

“

qp

fnuU_wƒ—–/wih‘lnƒ

q

x˜h‘xTt™tT_ln_wlnƒ

q x q “

u

pgq

uU_

p

lgƒ„_fƒšxJtTƒ„fgl

p

ƒ„›Tjœln_t<w

q

`'uœjTlh‘lnƒ

q

xTfXžsu pnq

u/_

p

lAm

q

“,fnlŸhClg_f(ƒ„xJtTƒ„fnl

p

ƒ„›TjTlg_t<w

q

`'uTjTlŸhClgƒ

q

xƒ„x

u

pgq

‡ p

_fgf ƒ„ftT_¡–/xT_t¢›|m£u

p

_tTƒ„wihClg_fJ¤¥wih‘’š’„_t˜¦Ÿ§Ÿ¨T©ªi«¥¬­n©‘®^¯°©±²±³§X­´Fµn¶hCxœt-fŸhClnƒ„f·“¸hCwlgƒ

q x p

jœ’š_f'¤¥wih‘’„’š_t

¹¬iº©C®,¬Ÿ¯T§X­n©v±³¬v­¡µ·¶ž s»›U_

\

hX¼Fƒ

qvp

h‘’8u/h‘lnlg_

p

x<ƒ„f

q

›TlŸhCƒ„xT_tJ›Fm'w

q

`›Tƒ„xTƒ„xT‡›/hCfgƒšwzu

p

_tœƒšwXhCln_f½l

\

hCl(h p _

tT_¡–/xT_t

q

¼v_

p

_ƒšl

\ _ p ’q

wXhC’TfglhClg_f qvp

w q

xTfgƒ„fnln_x|l ‡v’

q

›/hC’FfnlŸhClg_f

q

“8l

\

_w

q

`'uœjTlh‘lnƒ

q

x8ž¿¾Ax›

q l \

wih‘fn_fXÀ

” _`

q

tT_’^htœƒšfgl

p

ƒš›œjTln_tJw

q

`'uTjœlhClgƒ

q

x›|m'htœƒ

p

_wlg_t<hCwmFw’„ƒ„w‡

p

h‘u

\

ƒ„xM”

\

ƒ„w

\

¼v_

p

lnƒ„w_f

p

_u

p

_fg_xFl

¤Á’

q

wih‘’

qp

‡v’

q

›/hC’¥¶7fnlŸhCln_fÂh‘xTt_tT‡_f

p

_u

p

_fn_xFl2wihCjTfŸhC’

p

_’¥h‘lnƒ

q x q

¼_

p l \

_(fnlŸhClg_fiž,ÃFuU_wƒ—–/wXhClnƒ

q

x hCxœt

¼_

p

ƒ—–/wih‘lnƒ

q x q

“›U_

\

hX¼Fƒ

qvp

h‘’u/hClgln_

p

xTf h

p

_“

qvp

`jT’¥hClg_t<hCfƒ„xTfnlŸhCxTw_f

q

“Hl

\

_’¥h‘xT‡vj/h‘‡v_

p

_w

q

‡vxTƒ„lnƒ

q x

u

pgq

›T’„_`£ÀThCxTtJ›/h‘fnƒ„ww

q

xœw_uTlgf½jœfn_t<ƒ„xM“

qp

` h‘’T’¥hCxT‡j/hC‡_l

\ _ qp

mJh

p

_hCuTuT’„ƒ„_t8žs›UhCfnƒ„wu

p

_tTƒ„wih‘ln_

ƒ„f(hCfgfnƒ„`'ƒ„’¥hClg_tl

q

hfgmF`›

q

’¸ÀhCxTt<h›U_

\

hX¼Fƒ

qvp

h‘’/uUhClnlg_

p

x:ƒšffgu/_wƒ—–/_t-h‘f(h’Äh‘xT‡vjUhC‡v_¤n«¥ÅÁ§iÅ hfn_l q “

”

qvp

tTf¶tT_Ÿ–/xT_t

q

¼v_

p

h‘x h‘’šu

\

hC›U_l

q

“fnmF`›

q

’„fiž

Æ

hCfg_t

q

x l

\

ƒ„f,`

q

tT_’°h‘xTt‡vƒ„¼_xh€›/_

\

hX¼|ƒ

qp

hC’œu/hClgln_

p

x8ÀF”H_tœ_Ÿ–/xT_ “ q j p ` q

tUhC’

q

uU_

p

h‘l qp

f¤n«¥Å¥§XÅ

“q j p tTƒ—ÇÈ_

p

_xFl,fŸhClnƒ„f·“¸hCwlgƒ

q x p

jT’„_fŸ¶ž

[\Tp

__

q

“/l

\

_`Éh

p

_H_Ê|jœƒš¼vh‘’„_xFl8l q ` q

tUhC’

q

u/_

p

hCl qvp

f,u

p

_¼|ƒ

q

jTfn’„m

ƒ„xFl pgq

tœjTw_tJƒ„x

p

_’¥hCln_t'”

qvpn•

fXž,Ë8ƒ„x/h‘’„’šmFÀX”H_u

p

_fn_x|l(h‘’„‡

qvp

ƒ„l

\

`Mfl

q

¼_

p

ƒ—“²m_ih‘w

\Jq

“8l

\

_“

q j p ` q

t/h‘’

q

u/_

p

hCl qvp

f q

¼v_

p

hw’Äh‘fnf

q

“›U_

\

hX¼Fƒ

qvp

h‘’^u/hClgln_

p

xTfiÀUwih‘’„’š_t

p

_‡vjT’¥h

p

uUhClnlg_

p

xœfiž

ÌMÍFÎUϝÐÑUvҊC

tTƒ„fnl

p

ƒ„›TjTln_t w

q

`'uœjTlh‘lnƒ

q

x8ÀtTƒ„fnl

p

ƒ„›TjTlg_tJtT_›Tjœ‡v‡vƒ„xT‡UÀFu pnq

u/_

p

lAmJtT_lg_wlnƒ

q x

ӄÔÕ

Ö·×AØiÙ

Õ

ÖÛÚ܄×AݳÞß

àHáXâCã¥ävåvæ7çèã³çèé²êCëì„ãFí½î^áCçèé7ï/ðã²ñ2ï/êéé³âCòCòvðã³ó³ônõçèåòCêã³ó8öX÷(êòvðé²ó7õCðiøgó²ðã³êùCúã³êåXóUìšã³ðûüó³áCô,ý¥þ7ÿ8ý£ÿ8ôgé²ôgêã³øAá

ý¥åCé³ó³çèó²âCó³ôë

ôgòCêã²ó³ûônåXó8ð¡ìUðûòCâCó³ônãêåCõzý¥åXìšðã³ûêó³çèðåXøgçèônåCøgô êåCé³êéXó²êó²ô8åCçôgã²é³çèó¥÷ êåCáCêó³ó²êå‘ë

ûêé³êêñXçæ7ønçèégëñié³âFëôAõCâ í½î^áCçèéïUðã³ñ(ïUêé,é³âCòCòvðã³ó²ôgõçèåòCêã³ó8öX÷(ó³áCô,þ8êó²çèðåCêùXøgçèônåCøgôCðâCåCõCêó²çèðåâCåCõCônã‹ã²êåXó

Uÿ! #"%$&'#êåCõ‹ã²êåXóUý¥þ8î( ')*Xë

‚;( "!3;J M*, M*,( ;J!'2z2%' * (J*

Í°ŠÍ<

_l(h

p

lnƒ„w’„_2u

p e_fg_xFln_jœx'`

q t ]

_’š_‡,e_xe_ p hC’7u

q j p

fgue_wƒ—–/_

p

_l te_lg_wln_

p

tœ_fu pnq

u p

ƒXe_lTe_f

t/h‘xTf’„_fwihC’„wjT’„f2tTƒ„fnl

p

ƒ„›Tje_fXž(xT_u pnq

u p

ƒXe_lTe_u qp

lŸhCxFl(fgj

p

’š_ztÂe_ pnq

jT’„_`'_x|l2tjTx<wih‘’„wjT’tTƒ„fnl

p

ƒ„›Tje_

_fgl'te_¡–/xTƒ„_Ju/h

p

jTx™u

p e_tTƒ„wihCl<¤³hCuTuU_’ie_n`

q

lnƒ—“w

q

`Mu qp

ln_`'_xFlh‘’|¶2_ljTxT_

p]

_‡’š_MtT_Jfh‘lnƒ„fA“¸h‘wlnƒ

q x

¤Ce_‡|h‘’š_`'_xFl,hCuTuU_’Xe__

q

ue_ p hClg_j

p ` q

tUhC’|¶ž2x`

q

lnƒ—“Tw

q

`Mu qp

ln_`'_xFlh‘’v_fgl

q

›œln_xFj_xw

q

`›Tƒ„x/hCxFl

tT_f½u

p e_tTƒ„wih‘lnf£e_’Xe_`M_xFlhCƒ

p

_ffnue_wƒ—–e_ff

q

jTf“

qvp

`'_(tjœxT__kFu

p

_fnfgƒ

q

x-›

qFq

’Xe__xœxT_ u qvp

lh‘x|l2f

q

ƒšlfgj

p

’ne_lh‘l’

q

wihC’ tjTx£u pnq

w_fgfnjTfMf

q

ƒšlzfnj

p

jTxe_lŸhCl‡v’

q

›/h‘’,w q\

e

_ p

_x|lXž hCxœf’„_f tœ_jTk…wih‘fiÀjTx…wih‘’„wjT’

p e_u/h

p

lnƒ_fgl `

q

tÂe_’„ƒ„fTe_u/h

p

jœx…‡

p

h‘u

\ _ qp

ƒ„_xFlTe_MfhCxœfwƒ

p

wjœƒšlt/h‘xTf’„_ÊFjT_’ jTx…f

q

`'`M_l

p

_u p e_fn_xFln_

jTxe_lh‘l ¤¥’

q

wih‘’

q

jJ‡v’

q

›UhC’¥¶,lŸhCxTtœƒšfÊFjT_z’š_f½h

p

wf

p

_u

p e_fn_xFlg_xFl’¥h

p

_’¥hClgƒ

q

x'tœ_te_uU_xTt/h‘xTw_wih‘jTfh‘’„_

_xFl

p

_<e_lhClgfiž"!7hfnue_wƒ—–/wihClgƒ

q

x_l,’¥h2¼He_ p

ƒ—–/wXhClnƒ

q

xtT_f `

q

lgƒ—“²f^w

q

`Mu qp

lg_`'_xFlŸhCjTkfg_

p

h‘`

]

_xT_x|l

]

hjœx

u

pgq

›T’

]

_`M_tT_

p

_w

q

xTxUhCƒ„fnfŸhCxTw_tjTx’¥h‘xT‡|h‘‡v_ۓ

qvp

`'_’F_l tT_ “¸h‘ƒšlXÀC’„_f w

q

xTw_uTlnf tT_2›/hCfg_tT_(’¥h2l

\ e_

qvp

ƒ„_

tT_f’¥hCxT‡FhC‡v_fu/_jœ¼v_xFl$#_l

p

__`'uœ’

q

m e_fXž2x<u

p e_tTƒ„wihCl£e_’Xe_`M_xFlh‘ƒ

p

__fgl€h‘fnfgƒš`Mƒ„’ie_ ]

h"jTx<fnmF`›

q

’„__l

jTx:`

q

lgƒ—“w

q

`'u qvp

lg_`'_x|lŸhC’^_fgl(fguÂe_wƒ—–(e_u/h

p

jTx<’¥hCxœ‡|hC‡_¤n«¥Å¥§XÅ2jTx<_xTfg_`›T’„_tT_`

q

lgf¶Ûte_Ÿ–/xœƒfgj

p

jTx<h‘’šu

\

hC›U_ltT_fgmF`›

q

’š_fiž

s?u/h

p

lnƒ

p

tT_w_`

q t ]

_’„__l<e_lŸhCxFl t

q

xTxe_½jœx `

q

lgƒ“^w

q

`'u qvp

lg_`'_x|lŸhC’AÀCx

q

jTfte_Ÿ–UxTƒ„fnf

q

xTfÊFj/hCl p _

q

uÂe_ p h‘ln_j

p

f`

q

t/hCjœk ¤g«¥Å¥§XÅÊFj/hCl p_

p]

_‡v’„_ftT_fhClgƒ„fA“¸h‘wlnƒ

q

x£tTƒ—ǽe_ p _xFlg_f¶ž

o8q

j p l pgq

ƒ„ft_xFl

p

__jTk^À

x q jTff

q

jT’„ƒ„‡vx

q

xTf’„_fw qvpgp

_fgu

q

xTt/h‘xTw_fhX¼v_w½tœ_f

q

uÂe_ p h‘ln_j

p

f(te_Ÿ–/xTƒ„f(tUhCxTftTƒ„¼_

p

f(h‘jTl

p

_f(l

p

hX¼vhCjœkȞ

Ë7ƒ„x/hC’„_`M_xFliÀœx

q

jTfu p e_fn_x|l

q

xTfztT_f h‘’š‡

qvp

ƒšl

\

`'_fu/_

p

`'_lglh‘x|l2tT_¼He_ p

ƒ—–/_

p

jœxT_ u pnq

u p

ƒie_lTe_ q

›œln_xFjT_

_x…hCfgf

q

wƒ¥hCxFl’jTxJtT_fÊFj/hCl p_ q

ue_ p hCln_j

p

f`

q

t/h‘jTk

]

hjœx<u

p e_tTƒ„wihClhCuTu/h

p

lg_x/hCxFl

]

hjTxT_zw’¥hCfnfg_tT_

` q lnƒ—“²fÛw

q

`Mu qp

ln_`'_xFlh‘jTk'hCuœu/_’Xe_f`

q

lgƒ“³f

p

_‡jT’„ƒ„_

p

fXž

%?ÑUŒ4Š¡Ï¡'&(Í£

wXhC’„wjT’„f p e_u/h

p

lnƒ„fiÀœ`'ƒ„fn_hCjJu

q

ƒ„x|l p e_u/h

p

lnƒ„_vÀTte_ln_wlnƒ

q

x<tœ_u pnq

u p

ƒXe_lTe_f

¬v¹¯/®š§X±³§/§X± ¬/©v±³«„µ© i±³«¥¬v´v®„§µÅ¥ÅÁÅ

!8*,';:%' "!

¾Ax'htTƒ„fnl

p

ƒ„›TjTln_tw

q

`MuTjTlh‘lnƒ

q

x7À

q

›Tfn_

p

¼vhClgƒ

q x q

“/_kF_wjTlnƒ

q

xfglh‘ln_f ƒ„f_fnfn_x|lgƒ¥hC’F“

qp

hCx/h‘’šmFfgƒšfXÀCtT_›œjT‡

‡ƒšxœ‡/À^hCxTt:w

q

xFl pgq

’ q

“,l

\

_ ›U_

\

hX¼Fƒ

qvp2q

“HhCuœuT’„ƒšwXhClnƒ

q

x u pnq

‡ p h‘`'fiž

[\

ƒ„f(u/h‘u/_

p u p

_fn_x|lgf hC’„‡

qvp

ƒ„l

\

`'f

l q

tœ_ln_wl”

\

_l

\ _ p

htT_fgƒ

p

_t˜¤

qvp

jTxTtT_fnƒ

p

_tU¶u pnq

u/_

p

lAm

q

“Hu pgq

‡ p

hC` ffnlh‘ln_fzƒšffŸhClnƒ„f·–/_t£tTj

p

ƒ„xT‡

w q

`'uTjœlhClgƒ

q

x8ž

op

_tTƒ„wihClg_f

q

¼v_

p ’q

wihC’,¼vh

p

ƒ¥hC›œ’š_f

q

“Âw

q

`'u

q

xœ_xFl(u pgq

w_fnfg_f'h

p

_jTfn_t¢l

q

tT_fgw

p

ƒ„›U_

l \ _u

pgq

uU_

p

lgƒš_fiž

ð_¼v_

p

hC’w’¥hCfgfn_f

q

“Hu

p

_tTƒ„wih‘ln_f

\

hX¼v_›U__x…u pgq

u q

fg_t-ƒ„x<l

\

_’¥hCfgl(fn_¼v_

p

hC’,m_ih

p

fiž2xT_w’¥hCfgf q “

u p

_tTƒ„wih‘ln_f,ƒ„fwih‘’š’„_tM¦©‘µ« ¯^­n§Ÿºv« Ÿ©±²§µž^s™›/hCfgƒšwÛu

p

_tœƒšwXhCln_ƒ„fh‡v_xT_

p

h‘’T›

q|q

’„_ihCx_k|u

p

_fgfnƒ

q

xtT_¡–/xT_t

q

¼_

p

_ƒ„l

\ _ p

¤gai¶^l

\

_ ’

q

wih‘’vfglhClg_

q “ q

xT_ u pnq

w_fnf(¤·®š¬ ©‘®X¯È­n§Ÿº« Ÿ©v±³§¶

qvp

¤³{v¶7h‡v’

q

›/hC’fnlh‘ln_ l

\

h‘l8w

q

xTfnƒ„fglnf

q

“H’

q

wXhC’¼vh

p

ƒÄh‘›T’„_f

q

“H`jT’„lnƒ„uT’„_2u pnq

w_fgfn_f<¤C®„¬v¦Ÿ©C®U¯^­n§Ÿºv« Ÿ©±²§Ÿ¶ž

Æ

hCfgƒšwu

p

_tTƒ„wihClg_f`JhXm'›U_ jTfg_tühCf

›Tjœƒš’„tTƒ„xT‡›T’

q w •

fl q “

qvp

`h`

qp

_2‡v_xT_

p

hC’7w’¥hCfgf

q

“u

p

_tTƒ„wihClg_fwihC’„’„_t…¦Ÿ§¨œ©vªX«¥¬v­g©C®F¯T©v±³±²§X­´Fµž

[\

_fn_

u p

_tTƒ„wih‘ln_fh p _ q

“8ƒ„xFln_

p

_fnl”

\

_x

q

xT_(l

p

ƒ„_f l q ‡ p

h‘fnuMl

\

_2u pnq

‡ p _fnfnƒ„¼_

p

_’„_¼vhCxFl,w

\

h‘xT‡v_f”

\

ƒ„w

\ h p _

jTfg_Ÿ“²jT’ƒ„x…w

\ h p

hCwln_

p

ƒƒšxœ‡ hJw

q

`'uœjTlh‘lnƒ

q

x8ž 2jT_l q l\

_JhCfnmFxTw

\Tpgq

x q jTfx/hClgj

p _ q

“½hJtTƒ„fgl

p

ƒ„›Tjœln_t

w q

`'uTjœlhClgƒ

q

x8Àۛ/_

\

hX¼|ƒ

qp

hC’2u/hClgln_

p

xTf

p

_Ÿ“³_

p l q

h…w’Äh‘fnfgƒšwXhC’(wXhCjTfŸhC’u

p

_w_tT_xœw_

p

_’¥h‘lnƒ

q

x™›U_lA”H__x

fglhClg_f

p

hCl

\ _ p l\

hCx˜l

q

h¢x

q

x·hX¼vh‘ƒš’¥h‘›T’„_'‡v’

q

›/hC’2w’

q w • ž Æ _ \

hX¼Fƒ

qvp

h‘’(u/h‘lnlg_

p

xTf:ƒšxœw’„jTtT_vÀhC`

q

xT‡

q l\ _ p

fiÀ

p

_‡vjœ’Äh

p

u/hClgln_

p

xTfœÀa½h‘xTt˜hCl

q

`'ƒ„wfg_ÊFjT_xTw_f „ai{FÀai~!nž c_‡vjT’¥h

p

u/hClgln_

p

xTf'ƒ„xTw’„jTtœ_

’„ƒ„x

•

_t u

p

_tTƒ„wih‘ln_f"„a#$nÀFfnƒ„`'uœ’š_fg_ÊFjT_xTw_f%è{FÀT}TÀ^aX~nÀThCxTtJƒ„xFln_

p

¼vhC’&Aw

q

xTfgl

p

hCƒ„xT_tMfn_ÊFjT_xœw_f%è{$nž

' _ p

ƒ—–/wih‘lnƒ

q x q

“^›U_

\

hX¼Fƒ

qvp

h‘’Tu/h‘lnln_

p

xTf

q

¼v_

p ’q

wih‘’Fu

p

_tœƒšwXhCln_f¤A®š¬ Ÿ©C®/¦Ÿ§Ÿ¨T©ªi«¥¬­n©‘®v¯T©v±³±²§X­´Fµn¶7wih‘x›/_

t q xT_ h‘l

p

jœx lgƒ„`'_›Fm'uTƒ„‡v‡m›/hCw

•

ƒ„xT‡f

q

`'_hCtœtTƒ„lnƒ

q

x/h‘’^ƒ„xF“

qvp

` h‘lnƒ

q

xƒ„x `M_fnfŸhC‡_fiž(2x<l

\ _ q l \ _ p

\

h‘xTt8À^¼_

p

ƒ—–/wXhClnƒ

q x q

“H›U_

\

hX¼Fƒ

qvp

hC’u/h‘lnln_

p

xTf

q

¼_

p

‡’

q

›/h‘’8u

p

_tTƒ„wihClg_f'¤C®„¬v¦Ÿ©C®H¦Ÿ§Ÿ¨T©ªi«¥¬­n©‘®/¯T©v±³±³§i­´°µ·¶

‡_xT_

p

hC’„’„m

p

_ÊFjTƒ

p

_fw

q

xTfnl

p

jTwlnƒ

q x q

“T’¥hClglnƒ„w_

q

“/w

q

xœfnƒ„fnlg_xFl‡’

q

›/h‘’Cfnlh‘ln_f,h‘lhtœ_fnƒ„‡vxUhCln_tu pnq

w_fnf)*TÀ

#!·ž(+<h‘xFm h‘’„‡

qvp

ƒ„l

\

`Mf,l

\

h‘l(¼_

p

ƒ—“²mM’

q

wih‘’8›U_

\

hX¼Fƒ

qvp

hC’8uUhClnlg_

p

xœf€h

p

_tœ_fnw

p

ƒ„›/_t…hCf2u/h pl q

“‹`M_fnfŸhC‡_

u/h‘fnfgƒšxœ‡…u pnq

l q w q

’„fXž,+<hCxFmühC’„‡

qvp

ƒ„l

\

`'f“

qvp

‡v’

q

›/h‘’H›U_

\

hX¼Fƒ

qvp

hC’u/h‘lnlg_

p

xTfJh

p

_ tœ_fnw

p

ƒ„›/_t?›Fm…lA”

q

fg_u/h

p

hClg_ hC’„‡

qp

ƒ„l

\

`'f-

q

xT_l q lp

hX¼_

p

fg_’¥hClnlgƒ„w_hCxTt<hCx

q l \ _ p l q

¼_

p

ƒ—“²mu

p

_tTƒ„wih‘ln_fXž

s2f tœƒšt…ƒ„x,nÀ7”H_M`

q

tT_’hJtTƒ„fgl

p

ƒ„›Tjœln_t¢w

q

`MuTjTlh‘lnƒ

q

x£›FmühJtTƒ

p

_wln_t˜h‘wmFw’„ƒšwM‡

p

hCu

\

¤¥t/h‘‡|¶À

ƒ„x<”

\

ƒ„w

\

¼v_

p

lnƒ„w_f

p

_u

p

_fn_xFlfglhClg_fhCxTt:_tT‡v_f

p

_u

p

_fg_xFltT_uU_xTtœ_xFl

p

_’¥h‘lnƒ

q x q

¼v_

p

fnlh‘ln_fXž

[\

ƒšf

` q

tœ_’T‡vƒ„¼_fjTfÂh2jTxœƒ–U_t¼Fƒš_”

q

“ȼ_

p

ƒ—–/wXhClnƒ

q x q

“^›

q l \ ’q

wihC’/h‘xTt‡v’

q

›/hC’F›U_

\

hX¼Fƒ

qvp

h‘’Tu/h‘lnln_

p

xTfXžs(f

ƒ„l(”hCfu

p

_¼Fƒ

q

jTfg’šmJfgjT‡v‡_fnlg_t…ƒ„x è†FÀ.œÀ^TÀa$nÀU_ihCw

\

›/hCfgƒ„w u

p

_tTƒ„wih‘ln_ƒšfhCfgf

q

wƒ¥hClg_t…”ƒ„l

\

h"’Äh‘›/_’¸À

h‘xTt<l

\

_½fg_l

q

“,hC’„’^l

\

_z’Äh‘›/_’šfƒ„fw

q

xTfnƒ„tT_

p

_t…hCf(h‘x-hC’„u

\

h‘›/_liž,sfg_l

q

“,’Äh‘›/_’šfƒ„f(h‘fnf

q

wƒ¥h‘ln_t<”ƒ„l

\

_ih‘w

\

¼v_

p

ln_k£ƒ„x-l

\

_ tUhC‡0/h’¥h‘›/_’Ûƒšfƒ„x-hMfn_liÀ7ƒ“l

\

_ fglhClg_<¤¥`

q

tœ_’„_t<›Fm<l

\

_¼v_

p

ln_kT¶h‘fnf

q

wƒ¥h‘ln_t

”ƒ„l

\ l \

_fn_lfŸhClnƒ„f·–/_f(l

\

_›/hCfgƒ„w(u

p

_tTƒ„wihClg_tT_x

q

ln_t ›FmMl

\

_’¥hC›U_’Až

q

xTfn_Ê|jœ_xFln’„m|ÀThzfn_l

q

“”

qp

tTf

ƒ„f(hCfgf

q

wƒ¥hClg_t<”ƒ„l

\

_ihCw

\

uUhCl

\

ƒ„x'l

\

_’¥hC›U_’„_tJt/hC‡Už

ðu/_wƒ–UwihClgƒ

q x h‘xTt£¼v_

p ƒ–UwihClgƒ

q x q

“›U_

\

hX¼Fƒ

qvp

hC’u/h‘lnln_

p

xTfh

p

_“

qp

`jT’¥h‘ln_t-h‘fƒšxœfnlh‘xTw_f

q

“ l

\ _

’¥hCxœ‡vj/h‘‡v_

p

_w

q

‡vxœƒšlgƒ

q

xu pgq

›T’„_`£žU¾Axl

\

ƒ„fhCuTu pgq

h‘w

\

Àvh u

p

_tTƒ„wihClg_Hƒ„f8fgu/_wƒ—–/_t›Fm½hfn_l

q

“T”

qvp

tTf¤n«¥Å¥§XÅ

h’¥hCxœ‡vj/h‘‡v_i¶žHË qvp

_kThC`'uœ’š_À

p

_‡jT’¥h

p

u/h‘lnln_

p

xTfjTfg_

p

_‡jT’¥h

p

_kFu

p

_fnfgƒ

q

xTf

q

¼v_

p

›/hCfgƒšwu

p

_tTƒ„wih‘ln_fl

q

tT_fnw

p

ƒš›U_›U_

\

hX¼Fƒ

qvp

f q

“hz‡vƒ„¼v_xM_kF_wjTlgƒ

q

x8ž (_ln_wlgƒ„xT‡'h›U_

\

hX¼Fƒ

qvp

hC’Uu/hClgln_

p x p

_ÊFjTƒ

p

_f(l q l p

hX¼v_

p

fn_

l \

_'’¥hC›U_’„_t…tTƒ

p

_wln_t h‘wmFw’„ƒ„w‡

p

h‘u

\ l \

hCl`

q

tT_’„fl

\

_MtTƒ„fnl

p

ƒ„›TjTlg_tüw

q

`'uTjœlhClgƒ

q

x8ž

' _ p

lgƒšw_fh p _

¼Fƒ„fnƒ„ln_t ›UhCfn_t

q

xJhl q u q ’q

‡vƒ„wihC’Uf qp

l q

“‹l

\

_t/hC‡Už

1

ƒš¼_x…hJw

q

`MuTjTlŸhClnƒ

q

x-hCxTtühM›U_

\

hX¼Fƒ

qvp

hC’,u/h‘lnlg_

p

x32À8” _ƒ„x|l pnq

tTjTw_“

q j p

fh‘lnƒ„fA“AhCwlgƒ

q x p

jT’„_f

h‘xTtM“

qvp

` hC’„’„mtT_¡–/xT_l

\

_2“

q

’„’

q

”ƒ„xT‡“

q j p u pnq

uU_

p

lnƒ„_f-

avž ”

\

_l

\ _ p l\ _ p

_ _kFƒ„fnlgf(hu/hCl

\ l \

h‘l

\

hCf”

qvp

tTf”

\

ƒ„w

\

¼_

p

ƒ—“²ml

\

_›/_

\

hX¼Fƒ

qp

h‘’^u/hClgln_

p

x /

{Tž ”

\

_l

\ _ p

h‘’„’^l

\

_uUhCl

\ f \

hX¼v_2f

q

`M_(”

qvp

tTf(”

\

ƒ„w

\

¼_

p

ƒ—“²mMl

\

_›U_

\

hX¼Fƒ

qvp

hC’^u/h‘lnln_

p x /

Tž ”

\

_l

\ _ p

h‘’„’^l

\

_”

qvp

tTf

q

xJhC’„’^l

\

_½uUhCl

\

f(¼v_

p

ƒ—“²ml

\

_›/_

\

hX¼Fƒ

qp

h‘’^u/hClgln_

p x //h‘xTt

*/ž ”

\

_l

\ _ p l\ _ p

_ _kFƒ„fnlgf(hu/hCl

\Jq

x'”

\

ƒšw

\

hC’„’^l

\

_”

qp

tTf¼_

p

ƒ—“²mMl

\

_›U_

\

hX¼Fƒ

qvp

h‘’^u/hClgln_

p

x8ž

ÜhClnƒ„f·“¸hCwlgƒ

q x p

jT’„_ffnƒ„`Mƒš’¥h p l q l \

_fn_

\

hX¼v_J›U__x˜u pgq

u q fg_t˜ƒ„x

q l \ _ p ” qpn•

fiž

[\

_J–

p

fgllA”

q

u

pgq

uU_

p

lgƒ„_fh

p

_z_ÊFjTƒ„¼vhC’„_xFlHl q l \

_zu pnq

u/_

p

lnƒ„_f2¯T¬CµŸµ«¥¦® 2?hCxœt º§Û´T«¥±³§® 2?tT_¡–/xT_t<ƒ„x *nž¾Ax è}$·À

1 h p

‡ h‘xTtühC’„tT_w

• _ p

wih‘’„’Tl

\Tq

fn_2lA”

q u pnq

uU_

p

lnƒ„_f,§Ÿ©(h‘xTtJµ±²­g¬v´ “

qvp

`jT’¥hC_vÀ

p

_fnuU_wlgƒš¼_’„m|ž¾Ax $·À

Æ

hC›/h

q

‡’šj£hCxTtü§X±©C®„ÅtT_Ÿ–/xœ_t…u pnq

u/_

p

lnƒ„_f 2hCxTt 2”

\

ƒ„w

\ h p

__ÊFjTƒ„¼vhC’„_xFll q l\ _

– p

fnlhCxTtJl

\ ƒp

tJu pnq

u/_

p

lnƒ„_fXÀ

p

_fnuU_wlgƒ„¼v_’„mFž

[\

ƒšf u/h‘u/_

p u p

_fn_xFlgf½hCxJhC’„‡

qp

ƒ„l

\ ` ¤³hCxTtMƒ„lnf ¼vh

p

ƒ¥h‘lnƒ

q

xTf٦l

q

¼v_

p

ƒ—“²mhC’„’

q

“8l

\

_2“

q j p u pnq

u/_

p

lnƒ„_fXž

2q

ln_l

\

hClx

q

hC’„‡

qp

ƒ„l

\

`'f^l

\

hCl¼v_

p

ƒ—“²mu pnq

u/_

p

lnƒ„_fH{h‘xTt *2ƒ„xl

\

_ “

p

hC`M_”

qvpn•2q

“ q j p

‡v_xœ_

p

h‘’T`

q

tT_’

\

hX¼_›U__x<u pgq

u q fg_t<›U_Ÿ“

qvp

_vž

opgq

uU_

p

lgƒ„_fahCxTt hCxœt<u pnq

u/_

p

lnƒ„_f{h‘xTt*“

qvp

`tTjUhC’

p

_’¥hClgƒ

q

xTfiž

…_u

p

_fn_xFl h‘x<hC’„ln_

p

x/hClgƒ„¼v_hCuTu pnq

h‘w

\

ÀT›/h‘fn_t

q

x<l

\

ƒ„ftTj/hC’

p

_’¥h‘lnƒ

q

x8Àœl

q

¼_

p

ƒ—“²mMu pnq

u/_

p

lnƒ„_fhCxœt

*›Fm'jTfgƒšxœ‡ l

\

_hC’„‡

qp

ƒ„l

\ ` l q

¼v_

p

ƒ—“²mu pnq

u/_

p

lnƒ„_fa½h‘xTt {œž…_½h‘x/hC’„m _(l

\

_fnu/h‘w_w

q

`MuT’„_kFƒ„lnƒ„_f q “

l \ _lA”

q

h‘uTu pnq

hCw

\

_fXž

[\

_fgl

p

jTwlnj p_ q

“Tl

\

_,u/h‘u/_

p

ƒ„f8hCfU“

q

’š’

q

”f-/l

\

_,`

q

tœ_’

q

“TtTƒ„fnl

p

ƒ„›TjTln_tw

q

`MuTjTlŸhClnƒ

q

x(ƒ„f^tT_fgw

p

ƒ„›U_t

ƒ„x ð_wlnƒ

q x {œž,ÃF_wlgƒ

q x u

p

_fg_xFlnf

p

_‡vjœ’Äh

p

u/hClgln_

p

xTf(hCxœt'“

q j p u pnq

u/_

p

lnƒ„_f2›/hCfg_t

q

xMl

\

_u/h‘lnln_

p

xTfXž

¾Ax<ÃF_wlnƒ

q x *UÀF”H_u

p

_fn_x|lhCx<hC’„‡

qvp

ƒ„l

\

`ÉhCxTtJƒ„lnf¼vh

p

ƒ¥hClgƒ

q

xTf“

qp

¼v_

p

ƒ—“²mFƒšxœ‡ l

\

_u pnq

u/_

p

lnƒ„_fXž

! " :%"!"z#" ';J2

$&%(' )+*-,/.101*-2435.16798:<;9=>3?.A@B.1*-:<C

s¢tTƒ„fnl

p

ƒ„›TjTln_tw

q

`MuTjTlŸhClnƒ

q

xw

q

xTfgƒ„fnlnf

q

“/h w

q

’š’„_wlnƒ

q x q

“EDzfn_ÊFjT_x|lgƒ¥hC’vu pnq

w_fgfn_f,tœ_x

q

lg_tGF<HJIKFLMINMNMNKI

FBO'”

\

ƒšw

\ w q

`'`jTxTƒ„wih‘ln_”ƒ„l

\

_ihCw

\<q

l \ _ pq

xT’„m›Fm'`M_ihCxTf

q

“`'_fgfh‘‡v_u/hCfgfnƒ„xT‡Už

[\

_jTxTtT_

p

’„m|ƒ„xT‡

fgm|fgln_` l \ hCl,fgjTuTu

qvp

lgfl

\

_2w

q

`MuTjTlŸhClnƒ

q

xw

q

xœfnƒ„fnlgf

q

“^u pnq

w_fgf qp

f(w

q

xTxT_wln_tJ›FmhxT_lA”

qvpg•

ÀF”

\ _ p _

_ih‘w

\ u pnq

w_fgf

p

jœxTf

q x hJfg_u/h

p

hClg_Ju pnq

w_fgf qp

ž _ƒ„l

\ _ p f\ h p

_t™`M_`

qp

mJx qvp

h:‡v’

q

›/h‘’,w’

q w •

ƒšf

hX¼vh‘ƒš’¥h‘›T’„_vÀThCxTt:l

\

_fgmFfnln_` ƒ„f½h‘fnmFxTw

\Tpnq

x q jœf-l

\ _ p

__kFƒ„fnlgf½x q › q

jTxTt

q

xJ`'_fgfh‘‡v_tT_’ÄhXmFfXÀ/w’

q w •

t p

ƒ—“²liÀ qvp

l \

_ lgƒ„`'_'xœ_w_fgfh

p

m™l

q

_kF_wjœln_…hCx h‘wlnƒ

q

x8ž + _fnfŸhC‡v_:u/hCfgfnƒ„xT‡…›U_lA”H__x˜u pgq

w_fnfg_fJƒšf

wih pnp

ƒš_t

q

jœl½›Fm-hMu

q

lg_xFlnƒ¥hC’„’„mJjTx

p

_’šƒ¥h‘›T’„_ u pgq

l q w q

’ l

\

h‘l½l

p

h‘xTfn`Mƒšlgfh'fgƒ„xT‡v’„_`'_fgfhC‡_h‘lh'lgƒ„`'_

“

pgq

` h‘x qp

ƒ„‡vƒ„x/h‘lnƒ„xT‡u pnq

w_fgf l

q

h"tT_fnlgƒ„x/hClgƒ

q

x-u pnq

w_fgfiž +J_fgfhC‡_f`JhXm'›U_ ’

q

fgliÀUtTjTuœ’šƒ„wih‘ln_t qvp

tT_’šƒ„¼_

p

_t

q

jTl q “

qp

tT_

p

¤n«ÁÅ¥§iÅMw

\

hCxœxT_’„f h

p

_x

q

lzxT_w_fgfh

p

ƒ„’„müË8¾nË ¶žQPH_l hC’„’,`M_fnfŸhC‡v_f

p

_w_ƒ„¼v_t

h p _xT_ƒšl

\ _ p w qpnp

jTuTln_t-x qp

“

qvp

‡v_t7ž

RTSVUQSVU W5X ÍZY7Œ4Š

2j

p

ƒšxœ‡ hMw

q

`'uTjœlhClgƒ

q

x8ÀU_ih‘w

\ u pnq

w_fgf_kF_wjTlg_f'hMfn_ÊFjT_xœw_

q

“Âh‘wlnƒ

q

xœf hCfgm|xœw

\œpnq

x q

jTfg’šmFž\[,h‘w

\

q

wwj pnp

_xTw_

q

“Âh‘x h‘wlnƒ

q

x<ƒ„f½wXhC’„’„_t-hCx£_¼_xFliž

[\œp

__

•

ƒ„xTtTf

q

“_¼v_xFlgf€h

p

_w

q

xTfnƒ„tT_

p

_t -ƒ„xFln_

p

x/h‘’¸À

fg_xTt8ÀhCxTt

p

_w_ƒš¼__¼v_x|lgfiž!^_l^]`_a'tœ_x

q

lg_l

\

_bcVdM_¼v_x|l”

\

ƒ„w

\£q

wwj

p

fhClF

a

žË7ƒš‡j

p

_Jaf

\Tq

”f

h‘x'_kThC`MuT’„_

q

“tTƒ„fnl

p

ƒ„›TjTln_t'w

q

`'uTjTlŸhClgƒ

q

xu/_

p“ qp

`'_t'›Fm l

\Tp

__u pnq

w_fnfn_fiž

[\

ƒ„fH‡

p

h‘u

\

ƒ„wihC’

p

_u p _

fg_xFlhClgƒ

q

x<ƒ„f(wXhC’„’„_t<hfnu/h‘w_ Alnƒ„`'_tœƒÄh‘‡

p

hC`-že qvp

ƒ

q

xFlh‘’8’„ƒ„xT_f

p

_u

p

_fg_xFl_kF_wjœlnƒ

q x q

“,u pgq

w_fnfg_fiÀ

”ƒ„l

\

lnƒ„`'_u pgq

‡ p _fnfgƒ„xT‡M“

pnq

`’„_Ÿ“²l2l qMp

ƒ„‡

\

liž2s(x£h pnpgq

”?“

pnq

` q xT_u

pnq

w_fgfl

q

hCx q l \ _

p(p

_u

p

_fg_xFlnf