Abstract. Distributed execution oflogic programs on heterogeneous pro- ..... antee sa f e p ro c ess a b or tion in the sense that all workers actually stay idle in the ...
! "$#%& '( *))+ ,-.
0/12-.(3&456 72 8 .(3"!#:9(; 3 . ?1& @%2 &2 A DB CFE5GIH5CKJMLNGOEFHPLRQPSTSTLVUXWTYMQPZ L[UO\]^QP_'`[EPG acbedgfFhTi jlckinbO}~m3q{i'dPfropI+frqtsgnu f~fcvx2wzs5q{y{nbFbe|'}OhT
rwzq{frsg u qtsgbFbe}~qtsgu 2 .tw7['qtsP oP n}O ¡Ou ¢£^¤w7 3 ¥§-¦¨'©'D£ª ¡F|F£nin¢zfry{¥F «Fsg«§£T¤ ¥t¦¨ ¬1|FbF^
~
~®Fi¯}O°F
3±P}O²bF¯'¶'³oPqta´}ObFq{
~
;fr}~beqt·Pop|ef~q{bebsPMfKbµf~'bF
r|e¸¹ogfrq{i q{
~s1fr}~i qtjPPy{opi'fruq{iq{|´sdP }Oi'sgu }Onbem-sgu
7qtsgi b s;p
~'bFsgf~bO|º}OPi'}Ou'i bOsPspq{»FbFnifropq{
zi sdP}Of~i i bF
~|~µ'pdPbFy{i q{oPfytq frspgub3f~dTbi'|ºPf~bOs5sPq{¶'frq{og by2jNf~i i},dq{
~befr}~}~jNqti P}OopmKf~b sgf~|Fnb'
rh¸P¼
,Pf~iMq{
,bOdpspudTqtspbebF};
;d5be}O½TbF
~bbO|FsPfrq{f~'
-bey{ nhzf~n¾Nfc
r¸|Frisp}~
rq{'q{
~bOf~s
i f~i-jcd5}OPin'u sp}Onnm3m¿q{| |ºg5 q{be}O}On|F}Of~|ºbeP}~Kq{
~fri q{jg|F
;q{
~frsg}~qtPfroppf~b,bMd5y{
~n|~frgjNbFi }OoPmÀytq sg|Fu-i sP|FÁpi'um;o5dT}Oni frsgq{bei sPs f~
7sp Py{b´f~i-f~i|Fi'sPPfr }Odgi f y dgfr
rgdT b+bF}O|O o5|Fyt{iy{bOnspytq[fr
r
~q{q{'m Pb;beh.}OÄ ¾Nfci 5}~y{ ¸KbÂy{
~ i|Fsgi'qt-m-sp|¸m,i bFoP}~bedTd1s5iq{be|F}Osgn'fru f~q{bFqti sg
-sÃbF
2s|'i'
z
~f~TP
opi }O
~Ä f;-PvÅnqty{
lbjNd bFi'qtµ'y
~oPdP
r}Oqty{Pbi y{q{b'frm-qthsgbFu?|~bp'u'bes5i}Oiq{
~yTmÆbF5µ'f~dTbi-u be}O}~}ObFq{bFmKbF
1opbes5|i bj f~ y}ObF
roPy{f~
´qty tog
~fr}O'f~bfrpbcdbe}~jNi }OmK sg|Fb3ijzfrgb3mKi5beyNh Ç È5É2ÊTËTÌ,Í3Î;Ï^ÊTÐOÌ´É ÒPÞßOÑlÛTßFÞ ÒPÙÓ5ØeèÔÖìÕ,ÞÕÕ× ÜNÒ5ÙØeÛgØeÒPÞâeÓPßØOØFÒ5ÙâOÜ Ú+çãIÞ1ÒPÚØMÜ[Ô[ÒPÛTÞFÓ5íÓ,Ô[ÕÜNÕÙÔ[ÒÞÛTã,ÛpÓ5âOâ1ÝçTÙÞ Þ Ó5îgÞáTÞ ß ÕØeÝTÒPÜ[ÔÖéTâOà5Ô[Ü[ÞDÒ5ÞÛ7Ú×ï.ØOÒPÑlÙÜ[ÛTÒPÒ5è Ó5ÓKÔÖÕ ßeâeÝTçTáTáTÞ Øeá^ÒPÔ[ÚÒPÓPØeØFáTâDÙÜ[Ú+ÙäÞÚ+ãIßKÒ5ÞÕ'ØOÛpÚåÙâÛÙÒâOâFã7Ô[ÙÒáTà5ÛØOÞÒ5áTÓPÙØeØFèTÒÙêpêPÚÙÔÖèÛgÚ+ÞâFßÙÔ{ÛTÓ5âOÓ,Þ1çÞ1æ,ÒãDçÛTÞÞ ØeØOÕFÞFÞ ëë ãIÕÒÒPÞãzØeÛpÜ[ÚÒPâ,ÓPß áÔ[Õ2ÙÒØãzáÙèTØOÜ[ÒPÔ[Ü[êpÞÓ5ÜÔ[ØèTÙÙÞFÛTÚëOè Ùß7ÛTèTÒ5èpÔ[Û1ßOë~ÕâeçØOÒ5Ô[ÞÛTéTâOñpÞÝTÝTØeâeÒPÞÞÓ5Ø2è¹ÞÙÙÛTÛTØOÞè ÕFÒ5çTÝTßeÔ[áßâOÞ Þ áÕÕØOâOÝTÒpÝTÜNÕØeÙÞÞâeßeß;ÔÖßOê5ÒPépÞ,Øeì ÞßîpÞßeîpÞÝTÕáTÕFÝTÜ[çÒPâeÔ[Ô[ÙÒPâOß2Ô[Û7ÛTÙ-ï5Ó-ò,ÑzáçTó3ÙÞ,ØôõÙèTÜÖÒÔ[Ü[ßOÞãöâeÜ[æcØOÔ[ßOÔ[éTÒPÚðØeÝTàpâeÚ¹ßOÞâè ÙÙÔÖâOÞÛÔ[îpÜÖÒPì3ÞÛÕÔ[ß.ÝÛ ÚâOâOÔ[ÒPçTÙ'Û ìÞ Õó%ØOÞ'âOÙØFâOÙÞ+èTÔ[áâOÙÔ[Ò5ØFÛÙÜ[ÙÜ[Ü^ÞÜ7âÙâFßOÙàßeàgßeßMÕFçTâOÞçèTÙÝTâKÜ[ÞÛØ ÞÞù[è?únû'âOü7ÒØeÞé^Ü[Ô[Þ÷Þß,ÙçTßOßeÞnÔÖÙ'Ó5êpÛTÔ[ÞÜ[èøì1Ò5âOÒÛ¹ØOßeÞ çÚÙØeÒPÞâeèÞ1ØOáÞØOßeÒpÒPÕÝTÞØeßeÕßOÞÒPß-Øeß÷âOÒ Ùá^â;ÞØeغÝTãIÒPÛpØeë~ÚýâOÔ[ÚÔ[âOÞPß ï ãIÙÝTâeÛTÞß2Õ âOÒPÔ[Û ÒPÛTØOß'Þ ïpßOÒPþÝÝØOâÕÞá^ßcÞØ~ßOãrç^ÒPÙØOØOÚÞ è ÙÛTÒÕ êPÞ,ÞØ2æ,Ù;ÔÖÜ[ÑlÜ^ÛTó;ÒPôÅâ´ÔÖÒÛã^ÕèTØOÔ[ÞnßOÙâOßOØeÞ-Ô[éTáTÝTØeâOÒPÞ á^è ÒPæØOâeÒ5Ô[ÒPØOàpÛßOÙâFÜÖÙÜ[ìâOÔ[Ò5Ôÿã7ÛTâeß çTæ,Þ;ÔÖßeâeÕççÕÞÒ5èTÛTÝTßOÜ[Ô[ÞèTØ,ÞÒ5ØFÙáéTÞغÜ[Þ ë ÕÛÒPÙÚ+âeÝTÚ ØOÞMÝTÒÛTã.Ô[ÕnèÙÔÖâOßeÔ[âOÒPØeÛ3ÔÖéÕÝTÒPâOßeÞâOè8ßnï ÕpÝÒPTÚ+ÕFç1áTÝTÕ'ÙâOÔ[ßOÛTÞ Ó^ß2ï ØOÞñpÝTÔ[ØeÞâeÞÕFçTÛTÔ[ñpÝTÞß2âeçÙâ2ÙØeÞé^ÞâeâOÞØÙèÙáâOÞè âOÒ3âOçTÞ áTÛTØOÞò,ÒpØ-çÕÒPÔÖÞ ß-ÛøßOß~áë~âOéÙçáÙÞ1ßOÞ ÞÛTØèÅÒpáTèTØOáÞ Þ ÙßKßOØÞÒÙÛpÜ[ãDâOÜ[Þß Ù Ü2Ù+êpÜ[Ò5Ô[ßOØOÓPÕFâeÔ[çTÝÕÞÙáTÚ+ÜØeÚ Þ ÒPÓPÝTãIØFÒPÜ[ÙâOØ-Ô[Ú+áTÞ ØeÚzÒgÞÔ[Õ ÕÛTÞâeÓ ßOÔ[ßeêPÒPßOÞìpØnÜ[ìøßOï^âeò,ÞèTÚçTÔ[ßOÞ âOØOØe-ÝTÔ[éTÛTØOÝTÒ5ÛâOÜÖÔÖÔ[Ò5ÛÛTÓ Ó¹Ó+ Ô[âÛ?ÙØeßOÞnÙàp Ù ßèTÔ[âOßOÒÞ âeâ~ØOÞæÔ[éTÛÒ5ÝTÓPØOÔ[âeà ÛTÞÞè?ßeßìgÚ¹ßeÒ5âOÛ ÙÞÚÛpÙ ë ÞÒPù[ úÛpâe 'çTâ;ü7ÞæcØ,ØeÝTÒPÞÛTØeÔ[àgâOß3çßeÒPâÞÙÛ Ø;âOßeÔ[Ù ÒPìgÛ7ÛÑzïÕó3ç ôåØOÛTÒPÓ5ÛÒÔ[ÒPã ÛTÝTæÞßeß;Ò5ÜÖì+Þ ØOàpÚÒPßOØ,áTâFÙÜ[ÙÒâeßeÔÖì ìgÒ5ÛÛTâOçTÕß;çÞ-æ,ØOßOÒPÔ[Þ âeÛØOç¹ÒPêpÝTÔ[Þ'ÕßeÙÞÜÖÕFß;ì+ç ÒÝT× ãßOÔ[ØO×ÛTÒ5Ó ÜÖÒ5ÞÓ îpÞâOâOÛTØFÒ Ù Ó5ÕÔÖÚÛÒ5ÚÞKÞßeØeÚ ßÝTÙÝTÛTÓPÛTÛTÞ;Ô[Ô[ÕnÛTá^ÙÓ+ÙâOßOÞ,ÒPßeÔ[Û æ,ÛTÓ1Ô[Ù âOç+áèTØO Ô ÞnzÔ[ÙÚÞÕFØ~çÔÿëë âOÔ[êPÞ ßÙèTèÞè âOÒ pâOÝTßc× ØOÒ5ÜÖÒ5ÓïP×^ó3ôÅÔÖßcÙéTÜ[Þ,âOÒ-ÞîpáTÜ[Ò5ÔÖâ êPÙØOÔ[ÒPÝTßãIÒ5ØOÚ+ß7Òã7á^ÙØÙÜ[ÜÖÞ ÜÖÔ[ßeÚ
W MW W ÒâOó3Ô[ã,ÒPôÛÝTßO ÒÞê5ÙÞÛTØOçTèøÞ'ÙÔÖâeèTÕß1Ò5ß3Ú ÙÒéã.éTÔÖÔ[Ü[âeÛÔ[çTâ~ÙìÞâeÔ[èTâeÒPÒÔ[ÛTßeâOßÞØOîpÔ[ï éTáTpÒÝÜ[ÒPPâOÔ[Ú+Þâ-è ÞKçTáÔ[ÒÓPÜVã2ÙçTâ~ÔÖÜ[âeãIì Ò5ß,ØOÙ'áÚÆêPÙÙØeÙÔ[âOÜNØeÔ[ÙÕÞéTÝTßOÜ[ÜNÞ-Ô[ÙÓ5Ø;çÛTÙÚÔ ØOèTÞ ÕnØOÙæ,Ô[ÛpâOÙß;â,ØeÞPèTÙïzØOÔ[ÕÞþcâFÔ[ÙÝTâOâeâß3ÔÖÛâOØOÓ1çÒ5éTÞ âeÝTçÕßOÙÒPâeâ;Ú+ÛTÙÞÚ ßeÛgß ì+ÝTÛTâÞnÔ[ÙÙÕnßOßOÙ'àÞ ë èTÔ[ßOâeØOÔ[éTÝTâeÔÖÒ5ÛÚÞÕFçÙÛTÔ[ßOÚ¿ßOçTÒ5ÝTÜ[è ÙèTèáTØeÒPá^ÒPØOâeÔ[ÒPÛÙÜÖÜ[ì Ü[ÔÖâeâOÜ[Þ;Þ îgÞ ÕÝTâOÔ[Ò5Û ÒêPÞØeçTÞnÙè7ï ò,çTÞ-ãIÒ5ÜÖÜ[Òæ,Ô[ÛTÓßeÞÕâeÔÖÒ5ÛTßKÙÛÙÜ[ ì Þ-âOçÞèTÞßeÔÖÓ5Û ÕFçTÒPÔ[ÕÞ ß;Òã2âeçTÔ[ß;ÚÒpèTÞ Ü^ãIÝTØOâeçTÞØ'ï pÞÕ âOÔ[ÒPÛ éØOÔ[Þ ì èTÔ[ßeÕÝTßOßeÞß;Ò5âOçTÞ ØßeÕçÞèTÝTÜ[Ô[ÛTÓ ÚÒpèTÞÜ[ßÙÛTèÔ[ÛTèTÔ[ÕnÙâOÞßcÞîpÔ[ßOâeÔÖÛÓ1áTÔ[âºã ÙÜ[Ü[ßnï pÞÕ âOÔ[ÒPÛ ÛTáT+Ô[ØOßOèTÒ5ÚÔ[áßOÒ5ÕÙßOÝTÞÛßeèøßOèÞÚß ÙÛâOÒpçÙèTÞ1ÜÖÞ ì Üzße ÕÔÖÞ ÛçßÞÕÔ[èTâOÒ5ÝTßÚÜ[ÕFÔ[áÛTçÙÓ ÙØOØÔ[ßeÙßOÕÒ5Õ çâOÛÞÞÚØeâeÔÖÒßeÞ âOÒPÔ[ÝTÕâeß'ßOçTÞ ï ÞèÂØ3pÞÔ[âOÛ?Õ ÞâOÕFÔ[×^çTÒPÛTó;Û Ô[ôñp ÝTW ÞèáTßÔÖØeßeÞÙÕßOÛTÝTÞ èßeÛgßOâeÞß1ß ÛâeÙâeçTçTÜ[Ü[Þ Þ¹ì ßOÙßOÕFÞ èTçTÕêPÞ âOÙèTÔ[ÒPÛpÝTÛ âÜ[ÙÔ[ÛT ÓPÓÞáTßMÚØeÞÒÞßOã,ÕFÞâOçÛpçTâeÙÞß ë ßOÒ5ÚÞ;Þ îgá^ÞØeÔÖÚ+ÞÛpâÙÜzØOÞßeÝTÜ[âOß;âeçÙâ,Ô[Ü[Ü[ÝTßOâeØÙâOÞ-âOçTÞ-á^ÞØ~ãrÒPØOÚÙÛTÕ ÞKÒã2âOçTÞ-ÚÒpèTÞ Ü ï
É´Ê ËTÏ ó,â1âeçTÞ ÙéTßeâOØÙÕâ Ü[ÞêPÞ Ü,æÞÕnÙÛÕÜNÙßeßOÔÿãIì?ßeÕçÞèTÝTÜ[Ô[ÛTÓøÚÞâeçTÒpèTß1Ô[ÛpâOÒøâ~æcÒ ÕnÙâeÞÓPÒ5ØOÔ[Þß'ï
ÛTÓ5ÔÖÛÞß-ÜÖÒpÒ5à ãIÒ5Ø;âÙßOàpß ÞÛTÓ5ÔÖÛÞèTØOÔ[ê5ÞÛÂßeÕFçTÞèTÝTÜ[Ô[ÛTÓ ,ÒPØ3âÙßOàpß;Ü[ÒpÒPà 1 then ask(Farmer, number_of(Tasks)-1) process_locally(task, ResultA) task∈Tasks if ResultA≠fail then Result ← Result∪{ResultA} Tasks ← Tasks - {task} else send_to(fail, Farmer) failure_mechanism if message_from(Farmer)=abort then abort_mechanism if message_from(Farmer)=NewTasks then worker(NewTasks, Farmer, NewResult) if message_from(Farmer)=Engines then farmer(Tasks, Engines, Farmer, Engines, {}, ResultB) Result ← Result∪ResultB if Tasks≠{} then worker(Tasks, Farmer, Results) if Tasks={} then send_to( (idle, Result, {}), Farmer)
1 2 3
4
5 6 7
8 9
distribute(Pool, Waiting-List) W ← head(Waiting_List), Engines⊆Pool send_to(W, Engines) Waiting-List ← tail(Waiting_List) Pool ← Pool - Engines
E5G PC'G îpÞÕÝTâeÔ[ÒPÛ × ØOÒ5âOÒpÕÒ5Ü
%.9
*$/
' 6 "# 0 0'8#'&#
æéò.ÞMÒ5Ò ØOÞà5öÚÞÞ Ø2ÕÙáTâOà5Ô[ØeÞ;êPÒPÞ âOâOçÒpÙÕÞâ,Ò5ßOÕÜTìpÒ5çßOÛgÙâeâeÞß2ØOÚ Ò5éÜÖÞ Ü[ Ô[ÞÛTQÛ UÓIÓPC'ßeÔ[áGêPÞ Þ ÙÛ÷ÕÛTÝTèÙÜNÙÛ âe `ÖÔÖEê5UXÞEPC'áGG ÙrØ ,E+ÙGeÜ[U EÜ[rÞFQPÜ[C Ô[S UßOÚøU QPÚïG 1ÞÕF× çØeÙÒPÛTÜ[Ô[ÒPßOÓ ÚÂÞïFîpò,ÞçÕÝÔÖß´âOÔ[ÚÒPÛøÞÕFâOççTÙÞ ÛTÔ[ã ßOÙÚ%ØeÚÕnÞÙØºÛ ë
ó;Ü[çTÜzÞæÛ Ò5ÙcØOà5ã ÞÙØOØOß3ÚÒÞ ãIØzâeÞØOÛÞÕÕÞ çÔÖê5ÞÞÕFßàÙãrÒP QPØ,L[Ù` ÛpÚìÞßeÚ+ßÙÞÓPßOßFÞ ÙãIÓPØeÞ ÒPßcÚåãIØOÙäÒ5æÚÆÒ5âOØOçTàPÞ Þ Ø7ÔÖØcÔ[â7ã~ÙßeØOÞÚ+ÛTèTÞßØnï ÙÛ Q E5G Ú+ÞßOßFÙÓ5Þ : âOÒ Ò5 âO+:çTÞçTØ-ÞÙÛÂâeâÙ?-? P ú t ï P û û 5 ú ï û 5 ú ï û T [ ï ú T ï T ï D #J KE G P ú ï % $ 1 5 ú ï û $ 5 ú ï $ " 1 G #J KE ï T û % ï $ T $ ï%1 1 HJI úPï ú5ï únû ú5ï ú H.I #. KE T û [ ï 1 Tï% 1 ú81ïÖú
ú HJL Tï[6ú pû ïÖú2 ï ^ú6 H.L #. KE $Tï%1 1 úPú5ï Pû ú8 ï $ ÛpÞz~ÝTâ;ÞÚ ÕÔ[âOß;éÔ[Þ ê5ÞØ;ÞÛÜ[ÕÒì¹ÒPã2ÝTâeÞçTØFÛÙÞ-ÓPÓ5Ô[æÔÖÛTÛÒ5ÞÓØOß-à+âOÔ[Ò ÛTÜÖÒpÕßeØeÙÞÞnèÞ ÙßeÙâOÞÛTçßèÙâ;Ô[ÛTÕná^ÙèTÛ ÞÔ[ÕnØ~ãIÙÙÒ5âOÜ[ØOßeÔ[ÛTÚÒ÷Ó ÙÙèâOÛTç^ÙÕÙÞMáTâ;âcÔÖÚ+âeâOçTÒ áTÞ ØOâeÒçTßOÕFê5Þ-çTÞÕFÞß,çèTÙÙÝß;ÛTÜÖÔ[Ó5âeÛTçTÔ[Ó+ÛTÞ Ó1ßOßOÕFÔ*Õ çT ÒPÞÞÛ Ú+ÒãÓ5ÞÝTâFÕnÙØÙÙßeÛÂàgâOÔ[ßÒPáÛ+ÙÙÛTØOÒâeèã ÔÖâeâOâOÔ[ÒPçTçTÛÞÞ áTÛTÜNÒpÙèTâºÞãIÒPß3ØeÒÚÂãï Ù /äßeëOç× ÙØOØeÒ5ÞÜÖèpÒ5ë~Ó ÚáTÞØOÚ+ÒêpÒPØeÔ[èTì1ÞÚ ß;ÙMÝTÜ[ßOâeá^ÔÖáÞØOÞÒpèÕë ÞÝTßeá8ßOÒPÒØ'ã ïpò,ï çT3ÞãIÒ5ó3Ø ô ä ë 6& ë á ÙØH ÙÜÖÜ[ÞÜ^2èTØeÔ[ÝTßOâeÛTØOÛTÔ[éTÔ[ÛTÝTÓ âeÞÒ5è ÛÂÞ8úî51 ë ÞÙÕÛTÝTèÅâeÒP× Ø -ù[ú8× $ü7Ô[ÚÔÖÚ+áTáTØeÒØOÒêPê5ÞÞß-ß2âOâeççTÞÞá^á^ÞÞØ~Ø~ãIãIÒ5Ò5ØOØOÚÚÙÙÛTÛTÕÕÞ ÞMÒÒ5ã ã 66 I 'c épï ì0âO Ô[Úï%$ Þ ÒPßKÛ ØeÝT ÛT1 ÛTáTÔ[ÛTØeÒpÓ8ÕÞÒPßOÛÃßeÒP ú Øe ß áTú81 ØOÒpáTÕØeÞ ÒpßOßOÕÒ5ÞØOßOß'ßeïÒPØe/,ß WëO× éTØeÝÒPâ;Ü[ÒPèTÓ+Ô[ßOáTâeØOØOÔ[ÒéTêpÝTÔ[âeèTÞÞè ßáTÙ ÜNÙÜ[Ô[â~ÛTãIÞnÒ5ÙØOÚØ;ßeß´áÜÖÞÔ[à5Þ è?Þ × ÝT Ká ×xÒãKáT8úØe1÷ÒêpãIÔÖÒPèØ Þ 1Ù 'ße á Þ ) ÞèÂÝ3á¹ØOÒÝTã;ÛÛTúPÔ[ï ÛT ÓãIÒ5ÒPÛ Ø (' ) ;Ò5ÛÂÒ5Ûõ8ú ú áØOáTÒpØeÕÒpÞÕßeÞßOßOÒPßeØeÒPßnØeï ßn#ï 7Ô[ÛÙÜ[ÜÖì × -×ÅáØOÒêpÔ[èTÞßÙ+ßOá^ÞÞè?ÝTáøÒã ïtû ãIÒ5(Ø 7
c
#. FE #. FE #J KE #J KE
D
71 4 6!6 0 6 + 0'8 "# !$/&
PÓÙØFØeó;ÞKÙÛÚÛÙÒPß,Ü[ìgâ2Ü[ßeÔ[ÞàPÔ[îpßKÞ1á^Ó5ÞÞÕ âOâe ß Þ2 è Ú âOÒ5'Ò ØO Þ á^ ÞÕ#Ø~ÒP,ãIÚ+Ò5ÒPØOáTØ ÚÆÜ[#Ô[Õn'âeÙç âeÙÞâcè 0 æcæ,Þ çTÜ[ÜÞÝTÛx 6Û#Ô[èTâKKÞØ,Õ âeÒPçáTÚÙÜNâ3ÙÞ âºßÓPãIÒPÞâOÛØeÒ ÚÞØ&ß ÙâOæ,Þ ë~Ô[áâOç ÙÛTØFÕÞFÙÒ5ë~Ü[ÓPÛTÜ[ÞØFßOÜ2ÙÔ[èTÔ[ÞÛTÞ îpÞØÞè ÙÕ éÝTá^ÜÖâOÞ-ÙÔ[ÒPØÕÙÛÒ5Ü[ï.ÚÜÖÞ × ÜÖÚ Ô[ØeßeÒÝpÚ ëë ÛTÙÛ Ô[ÕnÙÞ âeîgÔ[Õ ÒPÞÛ?áTâOÕÔ[Ò5Ò5ßOÛ7âOïzßó;ÙÜ[ß1âeÞÙØOØeÛÓPÙÝTâOÞ Ô[èêPÞMÔ[ÛÃéÞù[ÛúPÕú çW Ú¹ üºÙï Øe× àpØeß;ÞÕnÜ[ÔÖÙÚ+ÛÂÔ[Ûé^ÙÞØeì¹ÝTßeØeÞÞèÂßOÝâeÜÖÒâeß Ô[Ü[ßOÜ[ÝTçTßOÒâeæcØÙÞâeèxÞâOâOççÙÞ1â1á^×^Þó;Ø~ãrôÒPØOÚÔ[ßÙÛTÛTÒPÕ Þâ Òéã,Þ ÛTèTÕFÔ[çTßOâeÚ¹ØOÔ[ÙéTØOÝTàpâeß Þè?ÝTßOáTÞè ÜNÙÔ[âºÛãIÒPâeØeçTÚÞ,ßná^ïÞò,Ø~ãIçTÒ5Þ ØOÚÙ ÛTÕÞ, ÙÛ^ÙÙÜ[ÛTìpè ßOÔ[ß7Ò ã6èT, Ô[ßO-âe' ØO$Ô[+^éTáTÝTØOâeÒ5Þè1ÓPØßeÙìpÚßOâOß-Þ ÚÙØOß Þ Ô[Û¹êPÙù[ØOúPÔNúXÙüOâe6ï Ô[ÒP+ÃÛTß,çTÞ ÒÛ ã ÞßO&ÝTîp Ú+ÞÕë~Ô[ÝTâÛTÙâeÓ1ßeÔ[ÒPàpÒ5Ûßáã Þ âeÙØOØÔ[ÞÙÜ Þ5âeW Ô[ï âeÒPçTò,ÛTÞ ß'çT ï Þ&(;ßOÞ?-?? = ?-?-? @?-?-? CB?-?? >-??-? = ?-?? P ú ï % $ T ï % $ $ T ï % 1 ï 1 $ 5 ú ïï "$ TTïtïtûû $ $ú T%ïït15û5ûPû û %ïï $ $1 D #. FE D #. KE G #. FE Tï $ Tï ûTï Pû $ ï n ú û G #. KE HJI #J KE ûT%ï 1 T%ï 1 $ 2ú 1T%ï 1 2ú 1Tï Pû H.I #. FE ï
T%ï $ ûT%ï 1 Pû $ï[8ú 1 HJL #J KE ûTï Tï 1 1 2ú Tïtû ú ï % 1 1 H.L #. FE ï Tú ûT%ï Pûú T%ï %ï 1 1
"!
#
74 1 4 #' 6%6 0 6 + 0'8 " %$&
áâOçTÞ ~Þ+Ú+ÛÙááTÜ[â~Þ Ü[Þì?Ø~ÚãIÒ5Ô[ÛÞØOÚ¹ÛpâFâeÙçTÙÛTâOÞ+Ô[ÕÒ5Þ ãIÛ ÒPÛpØeßOÚ ÝTÕFÚ çTÒÞéÚ+ãKÞ Ù ØOÞß-ß çÒÕÔÖã,Ó5Ò5çTÚ âOçTÞéTØ Þ Ô[ÛTÕUÒPÔ[_ÛTÛpS Óâe[ØO\Tó3ÒPC Ü,rôL Ò6ê5é^ÞØOÙÞçÛTÛÞnÕFè ÙçTè7Ú&ï Ùò,ØOàpçá^ß-ÞÙØÝTãrÙßeÒPÜ[ÞÜ[ÜÖèÜ[Þ ÒÜÖæ,Ô[Ô[ßeÛøÚ*ÔÖÛâOÓçTâ~ìpÞ âÙáTá^éTÔ[ÕnÞÜ[ÙÞØ~ãrÜ[Ü[ÒPÕìøØOÒ5ÚÛpáâÙ'ÙÙìÛTÔ[ÛTÕ ÙÞß ØOÙÞÛßeÙáÜ[Þ ìgÕßeâOÔ[Ô[ßêPÒÞ ãÜÖìp× ï2-×^ó;× ï5ô¿ò,á^çTÞÞìØ~ãrÒPÓ5ØOÞÚ+ÛTÞßØFÙé^âeÞÞâOâeó;ÞØ1&ô Þ ,îgë~áÝTÜÖÛTÒ5èÔ[âOÞÔ[Ø~ÛTë Ó&âe çTÞ ÙÛTó;è &ô ä ë ÝTë ÝÛÛTèTèTÞØ~Þë غ&ë ó3 ô á%ÙØá^ÙÙÜ[Ü[ØÞÙÜ[Ü[Ô[ÜÖßOÞ Ú6ÜÖÔ[ßeÒÚ ã
âOÔ[ÛgçTâeÞ ÞØO#áØOÞ âeÞ Ø Ù%ÛTHcè?éÞâeÛçTÕÞç× Ú¹ØeÙÒPØeÜ[à-ÒPÓ éÞÞ Õ'ÛTÙÓPÝTÔ[ÛTßeÞÞ Ô[Ô[â7ÛøØeÞÕñpÒPÝTÚ+Ô[ØOáÞÙßØeãIÔÖÞ ßeæÒPÛøÞØâOâÒ ÙßO&à- ßOæ,ë~ÝTÔ[âOÛTÕFèTçTÞ Þ Ø~ß.ë~ó;é^Þôâ~æcÞÞá^Û ÙØâeÙçTÜ[ÞÜÖÞ &ÜÖÔ[ße Ú ë ÓPÔ[ÛgÞâeÛÞÞØOØáÙØOâOÞÞâeè ÞØ÷épÙì â;âeâeçTçTÞ Þ1 #âeÒPáø Ü[Þ êP ÞÜ[Iß-ïTÒò,ãcçTâOÔ[çTßcÞ Ô[ÛTÞèTîpÔ[ÞÕnÕÙÝTâeâeÞÔ[ßcÒPÛøâOçâOÙØOâDÞ Þ ×^ó3æ,ô çTÔ[ÜÖã ÞMÙ'êPâOÒ5çTÝTÞ ØOâß2ÙâeßOçTàpÞ-ß-ÝTÔÖÛøßOÞ-Ü[ÒÒæã7âOÞ çTØ;Þ Ü[Þ&êPÞ ÜÖßë ÕnÙÛé^ÞáTØeÒgÕ ÞßOßeÞèÂÞ ÔÖâeçTÞØ3ßOÞñpÝTÞÛpâeÔVÙÜ[ÜÖì Ò5Ø,Ô[Û¹ó3ôäë~áÙØFÙÜ[Ü[ÞÜ~ï _S [\TC IL @ _S Ö\C rL A 34 1 4#' 6%6 0 6 ! ï $ T%ï 1 D #. FE G #. FE ï
T%ï 1 $ HJI #J KE ^ï 1 T%ï $ 1
HJL #J KE ^ ï Tï Tú TÒ5Ø2âOçÞ # %H-éÞ ÛTÕFçTÚ¹ÙØOà × -×?áTØeÒêgÔ[èTÞ ßDÙ-ßeáÞ ÞèÝTáÒã7ÝTáâe'Ò ï ÙÛTè ãIÒPØ´âOçTÞ # I é^ÞÛTÕFçTÚÙØOàøÙßeáÞ ÞèÝTá?ÒãDÝáÂâeÒ ïtûTï^ò,çTÞ ÜNÙâOâOÞ ØKé^ÞÛTÕFçTÚÙØeà áÞ Ø~ãIÒ5ØOÚß éépì Þ âOâOÞÞ îpØ,âOÞæ,ÛçTèTÞÔ[ÛTÛÓØeÝTâOÛçTÞ Ý+ ÛTèTó ÞØc âOçTæ,Þ-çT×Ô[ÕF-ç ×?Ô[Úßeìgá^ßeÒPâOÞßeÞÚ ß;ÛTéÒ+ÞÕ'âÙÙÝTßOßeà Þ ße&æ, ÔÖâeë ÕFáçTÙÞØßÙÜÖé^Ü[ÞÞÜâ~æcÞîpÞÞÞÕÛ?ÝTâeâOÔÖçÒ5Þ÷Û× Ô[ß2ØeÒPØeÜ[ÞnÒPÙÓ+Ü[Ô* ÞÞÛpè ë ÓPØOÞnÔ[ÛTÙßOÞ Ò5ÙÛÛTÙèøéTÜ[ì+âOçæÞ ÞÜ[Üz ÝTë ßeÚ+Ô[ÛTÞÓ ÕFçÚ¹ÙÙÛÔÖÔÖÛßeÚýßOâOØeæ,ÞnÙçÚÆÔÖÕFçø× ØeÔ[ÒPßKÜ[ÒPâeçTÓ Þ âOÞ ÕnÕÙçßeÞ ÛTÒPÔÖÜ[Û?ÒPÓ5×^ìgó;ï ô ï^þÝTâ ×^ó;ôÆÙÜ[ßOÒ+áÞ Ø~ãIÒ5ØOÚß
,Î .Ë ,ÎäÊÎ3Ë! Ì2Ë ÞâOØeØOóåÔÖÒ5éÓPÝTßOÞÕFâOÛçTÞÞÞ èÒPÚÝTßeÕÞ-ß çãIèÞÒ5èTÔÖØ,ßeÝTâOßOØeÜ[ÕFÔ[ÔÖÛTçTéÓ ÞÝTèâOÕÞÝTÒPèxÜ[Ú+ÔÖÛÚ áÓÒ5ÝTâOÛTÜ[çâOÞÔ[ÞÛpáTâOÞØeßcÒgîpÕ ÞâOçÞÕßOÝTÙßeâeâ2ÒPÔ[ÒPØ ÕÒ5Û çÚÙÒÚ ßãá^ÝTé^ÙÛTÞØÞÔ[ÙÕnÛÅÙÜ[ÜÖâOÞ áTÞcÜ7ØeÞÔ[âÛpßOÙÞ ãIßOØOÛgàpÞ âeß;ñgÞÝè7Ò5ÞÛ ï´Ûpò,âOÙ Ü[çTìáTÞØOÙÒpÚ+ÛTÕèÞÒgßeèÙß~ë~èTÞéÜ2Ò5ÙáTÝTßeâOßeÞß,Þè?ß Ù-çTèTèTÞÔ[ì5âºß~ëëë Û 2ÙÙÚ+ÕFçÔ[ÕÕÒ5âÙÚßOá^à5ëÒPèÛTØOÞÔ[ÛpêPÞâcÛ?ÕÒPÙÛpáâFáTÙØOÔ[ÛTÒpÙß,ÕFÙ-ç?ã ÙâOÒ ØOÚ+ÙÞè^Ø2ÙÞáTÛTâ-Ó5âOÔ[ÒÛTÞ;âeçTØeÞÞ ßOá^ÕFçÒPÛTÙÛTßeÔ[Ó5éTÔ[Ü[ÛTÞ-ÓãIÒPÛØcÙâeâOÝTçØOÞKÞ èÒÔÖßeã,âOßOØeÝTÔÖéÕFÝTç?âOÔ[áTÒPÜNÛ Ùâ~ÒãIã.Ò5ØOáÚÙØ~ß'ë ï ÙÙÜ[é^Ü[ÞÒPÜ^Øeâ âÙ/:ßeàpã ß,ÙÔ[âOÜÖÒ ÝØOÙÞ,ÛpèTÝTÔ[ßOÚ âeØOé^Ô[éTÞØcÝTâeÒÞã7èæcÚÒPØOÞà5ÕFÞçØOÙß;ÛTÙÔ[ÛTßOÚðèâeççTÙÞ-ß,Ú¹ÙÜ[ÙßOÒMÔÖÛpéâeÞÞÛÞ Û¹ÙÛÔ[ÕÛTÞ,Õ ÒPÒØOã2á^ÙÒPØFèTÙÔ[ßeâeâOÞØOèÔ[éTÔÖÝÛpâeâOÒÞèâOçTá^Þ3ÒgÒ5ÚÜ~ïPÒpó3èTÞÛ Ü âOâOÒøÞÕFçTØOÞÛèÔÖñpÝTÝTÕÞ Þ ßâeÕnçTÙÞÛ ßOã á^ÙÞÕÕÔ[Ü[ÝTÔÖâFÜNÙÙâeâeÔ[Þ2êPâOÞçTÞ3æÒ5ÞîpØOàzÞÕï ÝT× âeÔ[ØOÒPÞÛ Ü[Ô[ÚÒã7Ô[ÛèÙÔÖßeØOâOìøØeÔÖØOéÞÝTßeÝTâOÞÜ[è âOß âFÔ[ÙÛTßeèTàgÔ[ß´ÕnÞFÙíâOÞ+ÕÔ[âOÞçÛpÙâOâ1Ü[ì âeçTÙÛTÞè áTÔ[ØOÚÒ5ááÒ5ØOßOÒÞêPè Þ âOâOçTÞØ3Þ?ØOá^ÝTÞÛغÛTãIÒPÔ[ÛTØeÓ1Ú¹âeÙÔ[ÛÚÕÞ,Þ ÕÒÒ5ã ÛTßOáTÝTØOÚ+Ò5ÓPÔ[ØÛTÙÓ1ÚÙß'Ûï2èò,ÛTçTÒ5ÞÛpßeëÞ âeØOÔ[êpÓPÔNÝÙØOÜzÞÙß áTÔ[áTÛTÜ[èÔ[ÕnÔÖÙÕ'âOÙÔ[âOÒPÞøÛTß´âOç^ØÙÙâ¹âeçT×^ÞØ,ó3âeôçÙáÛ ÞغãIÛTÒPÞXØeë ÚÓ5Øß+ÙÔ[éÛTÞÞ âºè ë áÒãÙØFÙÙáTÜ[Ü[áTÞÜ[Ü2Ô[ÕnâFÙÙâOßOÔ[àpÒPß'ÛTï ßMÝâOTÒ?ØOâeÔ[çTÚÞØ áTØeØOÒÞêPßeÞ ÞnÙâOØeçTÕFÞçõèTæ,Þ Ô[ßOÜ[Ô[ÜÓPãIÛÃÒpÕÙÝTÛßèÒ5âOÛ?çÞ¹ÞîpÔ[áÚ+Þ ØOáTÔ[Ü[ÚÞÚ ÞÛpÞâeÛpÔÖâÛÙÓ¹âOÔ[æ,ÒPÛ Ô[âeçÒãKÙâeçTæ,ÞÔ[èTáTÞ ØOØ1Ò5áØFÙÒ5ÛTßOÞÓ5è Þ ßOèTÕFÔ[çTßOâeÞØOèÔ[éTÝTÝTÜ[ÔÖâeÛÞÓ¹è Ú+áTÜNÒpÙèTâºãIÞÒPÜ.ØeÙÚÆÛTè Ü[Ô[àPèTÞKÞ âO×^Þó3ØeÚô1Ô[ïÛTÞ1Ùh g´}O bFsPbef~sg b'hT ¼ Ep}O u b2gv´be}~ q{zf~'}O i y{Tinq{5u3u oP
~}Ob'
~f~bF m o5sg'>b-w7µ' zd5'y{iPq{Phfrqt'sTh u3qtsg5bOdTbesg5besPf n'h y{zbFh,nt,kPnq{|F|º
rgo5bF¸
~f~be }sgz h 5h h, q{
~b'h F h 'i Ps qt h,w2C h Top
r¸T.a3h 3h a3h }~'}ObOs^. sgh.c '}~q{^qNhÃ5¼ h pb 2o5}Oi}O Ndp}O yt{beyK
~
~f~bFm h*B # 5h,dgw2 h }O yt{i be}Oy beyNl }O5ih y{i'7u-}~q{i's1fF 5q{
~h kcfr}~hqtPPopb,f~b,+be}Om-u'inbm-m-m-i }ObF-mKopµp'g|~5 sgqtsg bF
Fkch. h ¾VscbF'beh 5}hlh q{P gbeIbebe}½TPbFbF|f~q{
´f~i qts} z8y{i G
)´+H}~ B I : " J1 5O is5sPbedpf~bmäTbO} (Ph 5h,w25h hh g 'dP
~qt
~}ObFi5»'hKnbF´sq{f~i } Ndp}O 1yt{ bey( y{u'i;}~q{K frpm¿jNi} z}Oi y{inu sg*( :*W2 JNJ(E 3G U] V*W2 1'($;" 9P$3'(4% Q)>4&" '(
G ) K Q$) %T Q" 9P$3*B- *&8
HG ,"%$)+"%!4&" NENEXZ3EB[&]
&D
JNJBY
KJ
E%A
G /1*(K2"%$;"%!4"@*( 2*($2*($
