SPIKEpar : une interface parallèle du démonstrateur automatique SPIKE

(1)

HAL Id: inria-00098701

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

Submitted on 26 Sep 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.

SPIKEpar : une interface parallèle du démonstrateur automatique SPIKE

Sorin Stratulat

To cite this version:

Sorin Stratulat. SPIKEpar : une interface parallèle du démonstrateur automatique SPIKE. REN- PAR’10 : Rencontres Francophones du Parallélisme des Architectures et des Systèmes, 1998, Stras- bourg, France, pp.210-213. �inria-00098701�

(2)

!"#$&%'()!"#$* + +, -."/

0&1325476*8:9<;3=?>?@?ACB"@EDFAHGJIK'LMAON?K'GPK'QRQ"SHQ"AUT?>VT?WHXZY'@?[DFGPKDPAH>?G

K'>&DPY'XZKDFB"\]>:A7^]_3`ba7c

d+efhgjikdmlhfonplhqr$npl

sJt)uwvyx{z+vy|uHvyx

}~P~

-

p

/

x|)*

u<Jhs5 d |x<|)UHP{zPuHx<|H

mP*

| eq fhgj¡eiMqi¢<gji+lh¢fy£np ¢<¤bnpfonpr¥rj¦rj¢H¤eqfr¥¢§&ei¨lhfonplh¢qfnql¨e§?nlhgj©+q¢Hd Pvyª' l¨¢rjrj¢H©qJ«¢r¥rj¢H¢¨lH§:gjh¢

¢i¬q¡+fh¢Ehqfqi®fh¨¢Rnq*¢Ehlnl¨g¥ei¢'l¨fon"¡ngjrJ§:eie¤f¨e ¢h¨¢qf ~Js «n¤¤fhe+ ¯¢'§knp°jlhfh¢ ¢¨ r$n"¡¢{np±befh¢{¤eqf

¤bnpfonpr¥rjrjgjh¢f5rj¢ "nrj qr¨²+§]±ber¥gj©+q¢Prjgj³npq´'¤f¨¢q¡¢§: "nigj©+q¢P¤bnpfFf¨ qf¨fh¢i ¢¤b¢f¨§:¢lP¢H¤nfhlnµ¢fPrn©+qbnpil¨gjlh

¢lhfn"¡ngjr¢i+lhf¨¢r¥¢¤f¨e+ ¢h¨¢qf¨)¨¢rjei&r¥¢§:e+¦rj¢H¢¤bnfnrjrjrjgjonl¨gjeiE¢<ly²+¤¢ P¶'z ei+£·efh§:¢<¸¹rn¹hlhfnl¨µgj¢ ~+ i

¤f¨e+ ¢h¨q'd

Pvyª'

¢º¢ l¨q¢E¢H Rnpr¥ qrj<¸EµfheHµfngjiknpqkig¥¡¢Rnq&¢ r$nq¨¢

~

»½¼¾¿ÀpÁ·EÂ Rnpr¥ qr5¨²§]±erjgj©+q¢M¤bnfnrjrj¦rj¢ z h²+hl¨¦§:¢H¢fh fhgjlhqf¨¢ z §&ei¨lhfonplhgjei&¢lh¯efh¦§:¢H¤bnpff¨ qf

fh¢i ¢

z d

Pvyª'Hz

¤bnfnrjrjrjg¥¨§:¢H¸Eµf¨eHµfngji

ÃÄ:ÅÆ ¾"Ç¼5ÈJÉÀp¾RÊË¼ Æ

s n§:el¨gj¡nlhgjeiÌ¸ ¢lhfn"¡ngjrb¢hlHr$n'¤fheµfonp§:§knplhgÍei'¢<¢i+¡+gjfheii¢§:¢il¨¤nfonprjr¥¦r¥¢¢lHg¥¨lhf¨g¥±qH¤eqfM£npgjfh¢

q Rnrj qr+¨²§]±erjgj©+q¢P ef¨fh¢ l¢l5fn¤gj¢ ~R| el¨fh¢M±qlP¢hlP¢M¡egjfÎqh©+q5«¸w©q¢r+igj¡¢Rnpq'rj¢5¤f¨¢q¡¢¤bnpf5fh qfhf¨¢i ¢

±bnph¢'hqfrn&f¨ f¨g¥l¨qfh¢&¤b¢q¡¢i+lEµnpµi¢f¢i*¢Ï: Rn gjl¨]µfoÐp ¢:¸&rj¢qf¤bnfnrjrjrjgjonl¨gjei?¢l z ¢i§:Ñ§&¢'lh¢§:¤ z ¢

l¨fheq¡¢fH¢<§:lh¯e+¢<np©+qbnplh¢¤beqfHrj¢H§:¢l¨lhf¨¢)¢ik¬q¡+f¨¢ ~

s ¢'¤fh¢q¡¢'¤bnpf<f¨ qf¨fh¢i ¢k±nh¢'hqf)r$nfh fhgjlhqf¨¢:¨ei+l< eii+q¢' e§:§&¢<lni+lgÍÏ: gjrj¢)¸&¤bnpfonrjrjrjgjh¢f ~

i¢{¢'fonpgjhei'¢hlrnÌ£·ef¨lh¢E¤¢ibnpi ¢&¢]r$n]hl¨fonplhµg¥¢]¢]¤fh¢q¡¢] ¯egj¨g¥¢

z

¢rjrj¢

§&Ñ§:¢lonpi+l'h¢ihgj±rj¢:nq´

gjhgjei¢]¤fheµfonp§:§knplhgÍei:²in§:gj©+q¢'¢'loÐp ¯¢'¢i+l¨fh¢]¤f¨e ¢h¨¢qfh

~s

n]hl¨fonplhµg¥¢]qlhgjrjg¥¨¢E¤b¢ibni+l'qi¢

¤f¨¢q¡¢)gji+Òq¢i ¢±b¢Rnpq eq¤?r¥¢H¤b¢fÓ£·ef¨§knpi ¢Hq?§:eihlhfnl¨¢qf

~

rjrj¢<h¢f¨¤b¢fh ql¨¢]bniHr¥¢l¨¢hl¨<Ôibnq´]¢

¤¢fy£Õefh§?ni ¢<¢lfh¢i®gÍÏ: gjr¥¢Hry«ninrj²+h¢<¢'ry«¢Ï: Rn gjl¨<q?lhfn"¡ngjr¢iÖ¤bnpfonrjrj¦rj¢

~

v

rb²{n¹¢q´]n¤¤fhe+ ¯¢M¤beqf¤bnpfonrjrjrjgjh¢f¢M¤fheµfonp§:§]¢Jrjg¥nq] Rnprj qr¨²§]±erjgj©+q¢

~s

n¤f¨¢§:gj¦f¨¢Hqlhgjrjgjh¢Hrj¢

×ØÙyØpÚ$Ú¥ÛÚ¥ÜjÝÞEßàßÚáßÝÕ×Øâßàß'Ùyßâãß"Ùyâoãß

z npqh¨gie§&§:

×mØÙyØÚ$ÚjÛÚjÜjÝÞ{ß'àßä·å¨×ß]æEç

z ©+qgb ei¨g¥¨lh¢¸lhf¨eq¡¢f¤nfh§&g

¤rjq¨gj¢qfhP¨lhfonplhµgj¢ ¢rjrj¢H©+qg+§:¦i¢¸qi¢Hherjqlhgjei ~Rs ¢Mµnpgji'¢i]¤¢fy£·efh§?ni ¢M¤¢qlPÑlhf¨¢<e±lh¢i+qE¤bnfPry«¢´+ ql¨gjei

¤bnpfonpr¥rj¦rj¢'¢{gÍºfh¢il¨¢Ehlhfnl¨µgj¢Îqh©+q5«¸&e±l¨¢igjfqi¢E¤fh¢§:gj¦fh¢Eherjqlhgjei ~éè ngj z hgbniry«n¤¤r¥gj Rnplhgjei?qi¢

¨lhfonplhµgj¢)e¤lhgj§?nrj¢H¢hl¢§:¤r¥e²+¢ z rj¢<n"¡npilnµ¢³¸Eqlhgjrjg¥¨¢fH ¢l¨lh¢{np¤¤f¨e ¯¢hei+lH¤¢fhq ~

s nE¢q´gj¦§&¢)np¤¤fhe+ ¯¢'¢´¤r¥egjlh¢rj¢

×ØÙyØpÚ$Ú¥ÛÚ¥ÜÝÞEßEàßEä·ÙyØêRØÜjÚ

z nq¨hg5 eii+q? e§&§:¢

×ØÙyØpÚ$Ú¥ÛÚ¥ÜjÝÞEß{àß{äÕå¨×ß)ë'ì

z

¢lMR«np¤¤qgj¢Hhqfrj¢<¤bnpfhlonpµ¢Hq]l¨fon"¡npg¥rµrje±bnpr+¢i+lhfh¢¤rjq¨gj¢qfhM¤f¨e ¢h¨¢qfh ~b nion¡¢f¨hgjei]¤qfh¢ z ry«nrjµefhgjl¨¯§]¢

¤bnpfonpr¥rj¦rj¢R«¢´+ ql¨¢' ¯bn©+q¢¹£·egjHn"¡¢ r$n'§&Ñ§:¢H¨lhfnlhµgj¢íeik¤nfhrj¢'nrjefhM5«qi¢

×mØÙyØÚ$ÚjÛÚjÜjÝØäÕÜ$îï®âoîïðîÙoÞEß]ñ]ÚjØ

ÝäÕÙyØäÕÛoòÜ$ß®ó .¨ô

~ i¢]lh¢r¥rj¢:np¤¤fhe+ ¯¢:n?¢]ie§]±f¨¢q´Ön"¡ni+lnµ¢ z e§:§&¢)r$n&¤eh¨gj±gjr¥gjl¨{5«¢º¢ l¨q¢f]¢' Rnrj qr¥

lh¢f¨§:gjiH¢lH¤fh¡+q z npgjihg©+q¢¢¢´+¤f¨g¥¢i ¢fh¢¤fhe+q lhgj±rj¢ ~

s nµfonpi¢ e§&¤rj¢´+g¥l¨H5«qi¢¤fh¢q¡¢'¤bnpff¨ qf¨fh¢i ¢{±nh¢)¨qfHr$nfh fhgjl¨qfh¢'¤¢f¨§:¢lM¢H¤bnpfonpr¥rjrjgjonplhgjei¸

¤rjq¨gj¢qfhigj¡¢Rnpq´:¢{µfoni+qr$npfhgjlh ~s n]¤rjq¤nfhlH¢lhfon"¡npq´:l¨¯efhgj©+q¢heil eion fh'¸]r$nE¤bnpfonpr¥rjrjgjonplhgjei?¸

µfongji&Ôbiöõ$¤

~¢ ~

rj¢'l¨fongjl¨¢§:¢i+lq?Ôbrjlhfnµ¢{¤bnpfonpr¥rj¦rj¢R÷

z

lnigj©q¢{rj¢¢´+¤f¨gj§:¢i+lonplhgjeiHhei+l£·e+ Rnpr¥gj¨¢¤rjqlhøl

¨qfry«nqlhfh¢¢´+lhf¨§:gjlh

z

Rnpeù:ry«¢Ï: Rnp gjlh<q: Rnpr¥ qrb¢hlM£np gjr¥¢<¸e±lh¢igjfM§knpg¥Prj¢M¢º¢lhH¢r$n¨lhfonplhµgj¢<ql¨g¥rjgjh¢

¤¢q¡¢i+l<gji+lh¢f¨¡¢igjf

~

s

¢±qlM¢ ¢l<npfhlhgj rj¢¢¨lHrn¹¢h fhgj¤lhgjeik¢{ú+ûMüý

ëJ×ØÙ

z

qi¢g¥i+l¨¢fy£np ¢¤bnfnrjrj¦rj¢H¢'d

Pvyª'

ó

ô

©qg e§]±gji¢

rj¢h ¯§?n'§?n°jlhf¨¢

¢h r$n"¡¢)n"¡¢ )qik¨ ¯§kn¢'¤nfonprjr¥r¥gjnlhgjeiÌ¸EµfheHµfonpg¥i&¢lH ei+£·ef¨§:¢¸Ernhl¨fonplhµg¥¢

~

(3)

npiE ¢lhl¨¢?h¢ l¨gjeiöieq' f¨gj¡ei]r«e¤fonplhgjei¢?fh fhgjl¨qfh¢?¢l]rj¢E ei ¢¤l¨E£·ein§:¢ilnq´®r¥gj]¸?qi¢

¤f¨¢q¡¢H¤bnff¨ qf¨fh¢i ¢'±bnph¢H¨qfr$nfh fhgjlhqf¨¢'¸<qi]igj¡¢Rnpq{¨q+Ï:onpil¤beqfqi¢H e§:¤fh¯¢ihgjeiE¢Hr$n§:l¨¯e+¢

¢¤bnpfonpr¥rjrjgjonplhgjei ~ iÖn¤¢fqÖ¤rjqHlongjrjrj¢H¤f¨¢q¡¢<¤bnpfHfh fhgjlhqf¨¢{¢<l¨¢fh§&¢Hh¢'l¨fheq¡¢¢i

ó ô ~

i !¢hl ei¨lhf¨qgjl¤bnpf¢ ei¨lonpil¨¢ z ¡npfhg$n±r¥¢F¢lh²+§]±erj¢P¢M£·ei lhgjei z ¢Hr$n<§?nigj¦f¨¢qhq¢rjrj¢ ~+s ¢

e¤fonplhgjei<¢'±nh¢Ehqf<rj¢<l¨¢fh§&¢heil¢g¥ihlonpi+lhg$nl¨g¥ei z ¢lh¢hlh5«µ+nrjgjlhhl¨fhq lhqf¨¢rjr¥¢E¢l¢Ôbrjl¨fonµ¢ ~

i]lh¢f¨§:¢"$#¢hlMqi¢&%('*)+,-'*./<¢0É"«g¥r+¤¢qlMÑlhf¨¢<e±lh¢i+q]¢i]f¨¢§:¤rnRni+lJr¥¢¡nf¨gnp±rj¢P¢0¤bnf¢l¨¢fh§&¢5íei

fhgjl1$#*234 z eù54f¨¢¤f¨h¢i+l¨¢]rnE¨q±¨lhgjlhql¨gjei?qlhgjrjgjh¢E¸Er«gji¨loni+l¨gnplhgjei ~ iÖl¨¢fh§&¢6)7%98: Eqi nqlhfh¢lh¢f¨§:¢

HR«gjrb¢´gj¨lh¢'qi¢)¨q±¨lhgjlhql¨gjei<;Elh¢rjrj¢©+q¢6)=;62> ~

t iÖnphhe+ gj¢¸' ¯bnp©q¢)l¨¢fh§&¢<qi¢

ÝîÙäÕß

z ©+qgiel¨¢)qi:¢i¨¢§]±rj¢<¢<¡nrj¢qfh z rjqg §:Ñ§&¢ Rnpfon lhf¨g¥¨'¤bnpfqi¢

¢h f¨g¥¤lhgjeiÔbig¥¢:np¤¤¢rj¢

ß"ï+ÝßRÞ?Ú¥ß:âîA@ê"ÙyØïä

~ )2B'¢hlEqi¢

ÛC=@+Øä·Ü$îï

¨gD)&¢lE'hei+l'¢'l¨¢fh§&¢'¢]§&Ñ§:¢

¨efhl¨¢

~

i

Ú¥Ü$äÕä·Û"ÙyØÚ

¢hlqi¢'©+qbnplhgjei&eq?onEiµnplhgjei

~

i¢'gj¥Îei l¨g¥ei:¢rjgjlhl¨fonpq´: eihl¨gjlhq¢'qi¢

âÚjØF@Ýß

~

i¢

ÙHGoòpÚ¥ß àß*ÙÛRÛ"â"ÙoÜËäI@+ÙyßöïîïKJhâoîïàÜËä·Ü$îïïßÚ$Ú¥ß

¢hlÖielh¢L8M

z

eùN8'¢lO hei+l?¢?l¨¢fh§&¢

~H

rjrj¢ ¤¢ql

Ñl¨fh¢&qlhgjrjgjh¢&¤beqf'fhqgjfh¢&qi l¨¢fh§&¢¹"«g¥r ei+lhgj¢i+lEqi¢&g¥ihlonpi ¢89#¢8H©+qgM¢hlEfh¢§&¤r$n ¢]¤bnfEry«gji¨lonpi ¢

efhf¨¢h¤eini+lh¢H¢1

~"

iE¢i¨¢§]±rj¢¢Hf¨¦µrj¢P¢Mfh fhgjlhqfh¢H£Õefh§&¢Pqi

Ýå"Ýä(GRÞEß<àß<ÙÛRÛ"â"ÙoÜËäI@+ÙyßàßäÕßRÙÞEßÝ&P ú-Q

ìSR

~

i d uP¶UT

f¨¢¤fhh¢i+lh¢?qi¢:fh¢rnplhgjei¢&fhq lhgjei*l¨¢rjrj¢]©q¢)MWVB¹"«g¥r² n&qi¢&fh¦µrj¢]¢

T

©qgf¨qgjl)

¢i ~s nEfh¢rnplhgjei&¢'f¨q l¨gjei<M V gjiqg¥lHqikefhf¨¢'hqfHr¥¢<lh¢fh§:¢H¢l<egjl³n"¡egjf¢'±beii¢¤fhe¤fhgjl¨ z ¤bnf

¢´+¢§&¤rj¢<r$nlh¢f¨§:gjibngj¨ei ~+s «ef¨fh¢¨qf<rj¢Hl¨¢fh§&¢H¤b¢qlHR«l¨¢if¨¢Ì¸Eqi?efhf¨¢X½hqfrj¢H r$nq¨¢ ~

Y

lonpilHeiiqi?¢ih¢§]±rj¢¢ r$nqh¢[Z]\õ$ie§:§&¢

Ø^Ü$îÞ{ßÝ

÷H¢lHqi¢' r$npqh¢6_ õ$ie§:§:¢

âîï/`ßâRä(@+Ùyß

÷ z ei

gjlM©+q¢6_?¢hlHqi¢

âoîï+ÝÛ=C@+ßRïâoßEÚjîoòÜ9C@+ß

¢EZ]\ z ielh¢EZ]\Oa2b_ z hg_ ¢hl¡nrjgj¢HbniHlheqHr¥¢§&e¦rj¢¢]ZE\ ~

d+gJ¤beqf<l¨eql¨¢hq±¨lhgjlhqlhgjei

âÚ¥îpÝßc

õ$g~¢ ~ rj¢<l¨¢fh§&¢<f¨¢§:¤r$nRni+lhH¨ei+lHonpi<¡npfhg$n±r¥¢"÷MeiÖnZ]\a2N_

c z ei?gjl

©+q¢6_®¢hlHqi¢

âîï+ÝÛC=@+ß"ïâß]Ü$ïàF@+â"ä·ÜËêRß

¢6Z]\&¢lei&rnielh¢'¤bnpf1Z]\<a2[dfe-g1_ ~

hifnrj¢§&¢i+l z qi¢M¤fh¢q¡¢H§& Rnig¥¨¢Hn"¡¢ MqiE§:eihl¨fonplh¢qfnpqlhe§knl¨gj©q¢5§&¢fhµ¢¢Mry«n¤¤rjgj Rnplhgjeiln¤¢

¤bnpflon¤¢'¢

ÙHGòÚjßÝ'à5áÜ$ïðÛ"ÙyßRïâoß

¢¨ei?h²+hl¨¦§:¢5«gji+£·fh¢i ¢ ~bs ¢)¨²+hlh¦§:¢5«gji+£·f¨¢i ¢'¢¹d Pvyª' ei¨g¥¨lh¢'¢i

¢q´: r$nphh¢<¢fh¦µrj¢<J«gji+£Õfh¢i ¢:õ$¡egjfH¸Ern gjµqf¨¢

.

÷*i+¢fh¦µrj¢H¢'ly²+¤¢kj

ß"ïß"ÙyØäÕß

¢lú

Ü$Þw×bÚ¥Üðå

z eim£ ~ ó

ô

~

i¢fh¦µr¥¢¢ly²+¤b¢El6='* ,g¥ihlonpi gj¢< ¢fhlngji¢H¡n m Æ +Ç¾

iFn(oLpqrs-tHu<vwLn(oLpoE#xtubpyqzrsv

hgJ¤beqfHlheqlh¢'

~¢ ~ ~ 4Ö¢r

z

Z]\Oa2&dfegEnIo{poE#-pu|pqzrsvH}~r64

~

éÊÕPÁ·Ê:$

inIobpqrs-tHu<vwOn(opo #tHu<v

hgZ]\<a2 dfe-g nIo3pko#-pu<vH ~ r

I1

.[

ß'Ýå"Ýä(GRÞEß{àJáÜ$ïðÛRÙyß"ïâß'òÛ"ïÛ"ÙÜ9C=@+ß f¨gnp±rj¢¢Ern ei"Î¢ l¨qfh¢]l¨fongjl¨¢:n"¡¢ E¢rj§:¢i+l¨<¢

ry«¢i¨¢§]±rj¢] eq¡fni+l

z

¢l]¤qgj:np¤¤rjgj©q¢:qi¢®lonp¤b¢?¢

¨g¥§&¤rjgÍÔb Rnl¨gjei

~hs

¢5¨q±¨lhgjlhql¨gjeiP f¨¢"«n¤¤¢rjrj¢i+l¢

Ý@?ÝäÕÜ$ä(@äÕÜ$îï+Ý×mØÙàßÝß"ï+Ýß"Þ?Ú¥ßÝâoîA@+êRÙyØïä$Ý&PÓÝ$ß=Ëâ=R

~

i¢

gji¨loni ¢<5«qi¢<fh¦µrj¢<¢ly²+¤¢]%I!8I%(7:¤¢qlHl¨fonpiy£·ef

§&¢fqi¢ r$npqh¢¢i&¤rjqhgj¢qf¨H r$nq¨¢

~

i¢hl¨fonl¨µgj¢¢

¤f¨¢q¡¢{¨lonibnf¨Ö¢{d Évyª¹ eihgjhl¨¢'¢iry«np¤¤rjgj Rnl¨gjei z

bnpiHqi¢±beq rj¢'gji+Ôbigj¢ z ¢ry«e¤bfonl¨gjei?¢ief¨§knpr¥gjn

l¨g¥ei ¢] eiRÎ¢ lhqfh¢?©+qgH¢¨l]e±l¨¢i+q¢ n¤fh¦]qi¢k¨qgjlh¢?5«ln¤¢:¢?¨g¥§&¤rjgÍÔb Rnl¨gjei z hqg¥¡+gj¢?5«qi¢&lonp¤b¢Ö¢

f¨ qf¨fh¢i ¢ ~s ¢

ïÜ$ê"ßØF@Öàß:ÙyÛâ=@+ÙÙyß"ïâß

5«qi¢{ r$npqh¢Egjigj©+q¢'rj¢'ie§]±fh¢'§&gjigj§:nr5«lonp¤b¢¢Efh qfhf¨¢i ¢&i

¢honpgjfh¢¤eqfHnE fhRnplhgjei ~

s

«n¤¤r¥gj Rnplhgjei5«qi¢Mfh¦µr¥¢HJ«gji+£Õfh¢i ¢H¢hlM¡+q¢H e§:§:¢Pqi¢Hlhfonpihgjl¨g¥ei

z

iel¨¢]w

z

5«qi¢M¤bngjfh¢HJ«¢ih¢§]±r¥¢F¢

r$npqh¢6n(o1dHtud9vM¢i?qi¢)ieq¡¢rjr¥¢¤bngjf¨¢nIod9ztHud9v

z

eù<o1dJ¢l&o1d9Hhei+lH¢H¢i¨¢§]±rj¢M¢ ei"Î¢ l¨qfh¢

z

ud

¢lud9¢¢ih¢§]±rj¢P5«¯²+¤el¨¯¦h¢¢Mfh qfhf¨¢i ¢

~

i¢Hhqgjlh¢M5«n¤¤rjg¥ "nlhgjei5¢fh¦µrj¢5«gji+£·f¨¢i ¢

z

np¤¤b¢r¥¢

àÛRÙÜ$ê"ØäÕÜ$îï

z

Ôbigjl<n"¡¢

Ý+@+ââGÝ

¨g5r$nE¢f¨igj¦fh¢'¤ngjfh¢¢'r$nf¨g¥¡nplhgjei&¢hl¢'r$n¹£·ef¨§:¢n(tHu<v

~+

i¢'¨lhfonplhµgj¢'¢hl

ÛC=@+Ü$äÕØF?Ú¥ß

hgry«¢i¨¢§]±rj¢<¢ eiRÎ¢ lhqf¨¢¤b¢f¨hgjhlni+lh¢yn(pd*dovM¢ ¯bnp qi¢'¢'h¢f¨g¥¡nplhgjei¢¨l<¡+gj¢

~

Ä &ÇÁ·ÁÕ+Á·ÊÕ¾"Ê$¼ Æ ÈJ{PÇ¼b +FÇ

s «nrjµefhgjlh¯§:¢<qlhgjrjg¥¨bnir$nE§:gj¨¢)¢i ¬q¡+fh¢E¢]ú+ûMüý

ëJ×ØÙ

nlhE eiq¤beqf¢´+¤rjegjlh¢frj¢'¤bnfnrjrjrjgjh§:¢¸

µfheMµfngji]hqfHqi¢)npfh ¯gjlh¢ lhqf¨¢'¢¤f¨e ¢h¨¢qfh'¸§&§:egjfh¢Mgjhlhf¨gj±q¢¢i&hqgj¡ni+lMr$n¤bnfngjµ§:¢

àÜ$ê"ÜjÝßRÙÉ×mîA@+Ù

ÙÛòïß"Ù

rjefhM¢'ry«nl¨lhf¨g¥±qlhgjei]¢)l¨fon"¡npg¥rgji¤b¢ibni+l<npq´:gÍºfh¢il¨<¤f¨e+ ¢h¨q ~

s «nibnprj²¨¢{q ¨²¨lh¦§&¢]5«gji+£·f¨¢i ¢]¢:d Pvyª'Hz n"¡¢ ]qi¢]¨lhfnlhµgj¢]¤rjqfonÏ:i¢]©+qggji+lh¢f¨gjlr¥¢'hgj§:¤r¥gÍÔ

Rnplhgjei)J«qi¢] ei"Î¢ l¨qfh¢Ön"¡¢ {5«npqlhf¨¢{ eiRÎ¢ lhqf¨¢ z ieq{n&¤¢fh§&gj)J«gj¨erj¢f¢£·fonpµ§&¢i+lh<¢]¤fh¢q¡¢:©+qg

¤¢q¡¢i+l{Ñl¨fh¢&¢´+ ql¨]gji¤¢ibnp§:§&¢i+l ~ i¢&¤fh¢§:gj¦fh¢]lon¤¢:¢:¤bnpfonrjrjrjgjonplhgjeiÖ¢hlE±bn¨¢:¨qf'ry«e±¨¢fh¡n

l¨g¥ei q £ngjlE©+q¢? o¯n©+q¢? ei"Î¢ l¨qfh¢Ö¢kry«¢i¨¢§]±rj¢]¢? eiRÎ¢ l¨qfh¢kgji+lh¢fh§:g$ngjfh¢ z gj¨hq¢&5«qi¢?ln¤¢k¢

f¨ qf¨fh¢i ¢ z ¢hl Rnig¥nlh¢]¸&qi¢Elonp¤b¢]¢{iefh§?nrjgjonl¨gjei ~ ¢E¤rjq z qi¢i¨¢§]±rj¢{¢{ eiRÎ¢ lhqf¨¢{¢hl'¡npr¥gj¢

¨g¢lh¢qrj¢§&¢i+l'hgM ¯bn©+q¢] eiRÎ¢ lhqf¨¢ z eihgjf¨¢?h¤nfh§:¢i+l z ¢¨l{¡npr¥gj¢ ~é npf' eih©+q¢i+l z r«e¤bfnl¨g¥ei ¢

(4)

Pvyª'

r$ni {n"¡¢ {qi§:Ñ§:¢<¢i¡+gjfheii¢§&¢i+l<¢E¤f¨¢q¡¢

~5

¦©q¢'rj¢e¤fonplhgjei¢Eiefh§knprjg¥nl¨g¥ei]heill¨¢fh§&g¥i¢

z

ei³ÎegjilPrj¢ eiRÎ¢ lhqf¨¢Hfhhqrjlonplniqi]ieq¡¢r¢i+¡+gjfheii¢§&¢i+lFµrje±bnpr¢H¤f¨¢q¡¢

z

¤qg¥ei]lhq¢Hr¥¢¤fhe+ ¢hhq

d

Évyª¹w~

¢]r$n&§:Ñ§&¢)§?nigj¦f¨¢{ei*fonÏ:i¢{¢i ef¨¢?¤rjq

ÃÄ nIo tHu<v

n(otHuvíÔbi

¤fh¢q¡¢

£nq´éí

Ä ¾= Æ ¾

Ôbi

¤f¨¢q¡¢ o2N

ÀP¾

õ·d+gj§&¤rjg£ ~

¤nfonprjr¥¦r¥¢"÷1o3¢¨l<¢'r$n¹£·ef¨§:¢&p

e

qzrAs

Ä

¤fhe+ ¢¨hq*nqzrs-tHu<vw d "!

n(oE#

tHu<v

#JÄ

õÎeg¥i+l¨qfh¢R÷En(o tHu<v

nIp

e

o"tu<v

õ u qfhfh¢i ¢<¤nfonprjr¥¦r¥¢"÷o ¢hlP¢Mr$nM£·efh§:¢p

q%$[s

&Ä

¤fhe+ ¢¨hq*nq%$'s-tHu<vw(*) e+!

n(oE#

tHu pq%$'sv

,Ä

õÎeg¥i+l¨qfh¢R÷En(o tHu<v

nIp

o#

tuBpkov

-

Ä/.ÉÆ10

¼ÀÁ(

I1

-

áØÚòîÙoÜËä¥ãÞ{ßEÞ{ÜÝ¹ß"ï320@+ê"ÙyßH×ØÙ ú+ûMüý

ëJ×ØÙ

r$nÖ¨lhfonplhµgj¢k¢i gji+lh¢fhgjonpi+l

z

¤¢ini+l]qi¢?e¤

fonplhgjei]¢fh qfhf¨¢i ¢ z rn¹hgj§:¤rjgÍÔb RnplhgjeiEn"¡¢ ¢

¯+²¤el¨¯¦¨¢¢Mfh qfhf¨¢i ¢5«qi'§&Ñ§:¢Pigj¡¢Rnq'¢

fh qfhf¨¢i ¢:nÔbi:¢¤b¢f¨§:¢l¨lhf¨¢'qi¢e¤fnlhgjeik¢

fh qfhf¨¢i ¢ ¤bnfnrjrj¦rj¢ ~x g¥ihg z qi¢e¤fonplhgjei ¢

fh qfhf¨¢i ¢µrje±bnrj¢M¤b¢qlÑl¨fh¢ ei¨gjfh¢) e§:§&¢

r$n e§:¤e¨gjlhgjei ¢ e¤bfonl¨gjei¢*fh qfhf¨¢i ¢

hqfE ¯bn©+q¢& ei"Î¢ l¨qfh¢ ~s ¢E ei r¥qhgjeiE¢&fh

qf¨fh¢i ¢H¢l5rj¢J¯²+¤el¨¯¦h¢¢f¨ qf¨fh¢i ¢ z "nrj q

rj¢P¤bnfP¢¤fhe+ ¢hhq³d Évyª¹wz ¨ei+lPfhqig¥P¤eqf

£·ef¨§:¢frj¢{ieq¡¢r¢i+¡+g¥f¨eii¢§:¢i+l¢Er$n:¤fh¢q¡¢ ~

s «nprjµef¨gjlh¯§&¢<¢E¤bnfnrjrjrjgjonl¨gjei?¤fhe¤beh]¢¨l'¤f¨h¢i+l¨:bnpirn

g¥µqfh¢

- ~|

elhei©+q5«qiÖ ¯¢ &¢Ern&¤f¨¢q¡¢

5«qi¢) eiRÎ¢ lhqf¨¢'gjh¨q¢'5«qi&¤fhe+ ¢¨hqEd

Pvyª'

¢hlqi? ¯¢ 'µr¥e±bnr

~

s

n*¤fh¢q¡¢ ¢Ö ef¨fh¢ lhgjei½¢&fh¨qrjlonl¨?g¥¨hq?¢ úûMüý

ëJ×ØÙ

¢hl&±bn¨¢ ¨qf?r$n ef¨fh¢ l¨gjei½5«qi¢Ö¤f¨¢q¡¢

¢Öd

Évyª¹w~³

eqf]qi¢ np¤¤rjgj Rnl¨gjei eii¢ÖgjrH² n¢&¤begjil¨]¢Ö¨²i o¯fheig¥nl¨g¥eiö¢Ölheqlh¢:rj¢]lhfn ¢k¢

¤f¨¢q¡¢µifh¢En"¡¢ 'qiÖie§]±fh¢)npfh±gjl¨fongjf¨¢'¢'¤f¨e+ ¢h¨¢qf¨

z

hq¤¤beonpil©+q5«qi?¤fhe+ ¢¨h¢qf{¢´+ qlh¢EqiÖ¨¢qr

¤f¨e+ ¢h¨q:¸?r$n£·egj

~5

nf'¢´+¢§&¤rj¢

z

ry«¢ih¢§]±r¥¢nIo tu<v¹ Rnrj qrj:npq´Ö¤bnp4 õ$eq65÷¢hlEg¥¢i+lhgj©+q¢{niElheqlh¢

rj¢¤fh¢q¡¢ z e§&¤lonpi+lH¤beqfrnE§&Ñ§:¢gjlhfnlhgjei ~ npf< eih©q¢i+l z rj¢'l¨fon"¡ngjr£ngjl<n"¡¢ {¤rjq¨gj¢qfh¤f¨e+ ¢h¨¢qf¨

¢¨l<¢´np lh¢§&¢i+lHrj¢'§:Ñ§&¢H©+q¢' ¢rjqgJ¢º¢ lhq{¢i®qlhgjrjgjoni+lMqi¢'¨lhfnlhµgj¢'h©q¢i+lhgj¢rjrj¢ z ¨qf<qi®h¢qrJ¤fhe+ ¢hh¢qf ~

s n]¤f¨¢q¡¢E¢E ef¨fh¢ lhgjeiR«n"¡+¦fh¢Elhf¨gj¡g$npr¥¢¢l"«np¤¤qgj¢'¨qfry«e±h¢fh¡nl¨gjei?©+q¢{l¨eql¨¢{¤fh¢q¡¢{µif¨¢:n"¡¢ {qi¢

¨lhfonplhµgj¢)¨©+q¢i+lhgj¢rjrj¢'¤¢qlh¢fh¢·Îeq¢fn"¡¢ 'd Évyª¹w~

| eqÌn"¡ei'nqhhgM§:ei+lhfhE©+q¢:rj¢]¨²¨lh¦§&¢]5«gji+£·f¨¢i ¢& ei¨lhf¨qgjlÌn"¡¢ ]rj¢{f¨¦µrj¢¢:¨g¥§&¤rjgÍÔb Rnl¨gjei?¢lEfh

qfhfh¢i ¢'¤bnpfonpr¥rj¦rj¢¢hl

ÙyÛÕð@+ä·Øä·ÜËîïïßÚ$ÚjßRÞEßRïäâîÙÙyßâ"ä

õËg~¢ ~ rj¢<¨²+hlh¦§:¢<l¨fonpiy£·efh§&¢<¢H¤fh§&g¥¨h¢H¡nprjg¥¢¢i?¢

l¨qfh¢E¢&r«¢ih¢§]±rj¢o ¢'e¤bfonl¨gjeiE¢]hgj§&¤rjgÔ Rnl¨g¥eiÖ¢l'f¨ qf¨fh¢i ¢Ö¤bnpfonrjrjrj¢]hei+l'lhfngjlh¢ ~ ¢]¤rjq z g¥r

gjiqg¥lHqi¢'¤bnpfonrjrjrjgjonplhgjei] ei+£·efh§:¢'¸Er$nEhl¨fonplhµg¥¢©qg5µnpfonpil¨gjlHrn§:Ñ§:¢<¨lhfnlhµgj¢'¢'¤fh¢q¡¢{gji ¯bnpiµ¢"n±rj¢

¡+gj ¸ ¡+g¥M¢r$n'¤fheµfonp§:§knplhgÍeiE¢<lÐ ¯¢eq&q?ie§]±f¨¢<¢¤f¨e+ ¢h¨¢qf¨'¢§:¤r¥e² ~

#JÄ »½Ê/ Æ17 Ç

s n§:gjh¢H¢i?¬q¡+fh¢¢úûMüyý

ëF×mØÙ

¢lHqikeq:¤rjq¨gj¢qfh¤fhe+ ¢hhq)¢h r$n"¡¢ ~s ¢¤fhe+ ¢hhq)§?n°jlhf¨¢<¢´+ qlh¢'ry«nrjµefhgjl¨¯§:¢M¢r$n gjµqf¨¢

-

í+gjrbgj¢i+l¨gÔ¢

npq:ly²+¤b¢5«e¤fnl¨g¥ei:¢i? eqfh5«¢´+ ql¨gjei z erjrj¢ l¨¢)¢l<gji+lh¢f¨¤fh¦l¨¢'rj¢Hfhhqrjlonplh¢<¤fhe+ ¢¨hq¢¨ r$n"¡¢ ~

niHrn g¥µqfh¢

PVM

(esclave) PERL (esclave) PERL

SPIKE SPIKE

(maître) PERL

I1

Ek

ß'ÝâãÛ"Þ{Ø&Þ{Ø"8$äÕÙyßJhßÝâÚjØê"ß

¢h¨q)d Évyª¹ n"Ôbi&¢<l¨fonpg¥l¨¢fMrn¹ eiRÎ¢ lhqfh¢'nl¨lhfhgj±q¢<¤bnpfrj¢¤fhe

nw¤fhgj¨¢¢i' ¯bnpfhµ¢ ~s ¢lhfniÓ£·¢f¨l5¢P¤bnpfonp§:¦l¨fh¢J5«qi¤fhe+ ¢¨hq¢

r$nE¤f¨¢q¡¢'¢'r$n eiRÎ¢ lhqfh¢E¢hlrnpi ¢

z

rj¢'¤f¨e ¢h¨q¢h r$n"¡¢'§knp°

l¨fhgjh¢¨ei]lnlM eqfni+lM¤bnfMry«npibnrj²+h¢M¢H§&el¨

rj¢rnl¨fon ¢)¢

¤fh¢q¡¢µifh¢'¤nfMr¥¢¤fhe+ ¢hhq)d

Pvyª'H~s

¢fh¨qrjlonlH¢<ry«e¤fon

r$nlhfn ¢'¢'r$n'¤f¨¢q¡¢

~

d+gqi?¤fhe+ ¢hhq)¢h r$n"¡¢hgjµibnprj¢<qi? ¯¢

z

rj¢E¤fhe+ ¢hhq]§kn°jl¨fh¢'nf¨fhÑl¨¢:lheqrj¢{nqlhfh¢'¤fhe+ ¢hhq{¢¨ r$n"¡¢]¢l

l¨¢fh§&g¥i¢³n"¡¢ Hqi] ¯¢ µrje±nr ~s n f¨Rnl¨gjei:9p¢hl¨fhq lhgjei&¢¤f¨e+ ¢h¨qH¢¨ r$n"¡¢<¢lrj¢Hlhfonpiy£Õ¢fhlM¢¤nfonp§:¦l¨fh¢

¢i+l¨fh¢'qi&¤fhe+ ¢hhq)¢h r$n"¡¢¢lH§?n°jlhf¨¢<¨¢<£yngjl³¸ry«ngj¢H¢ è ó ô

~+s «ql¨gjr¥gjnlhgjei]¢ è ¤¢fh§&¢lHµnprj¢§:¢i+l

§]qig¥ "nlhgjei]¢i+lhfh¢¤fhe+ ¢¨hq¡g$n è ¢hlw£ngj±rj¢<¢l)nEqi¢g¥imÒbq¢i ¢'iµr¥gjµ¢Rn±rj¢hqfr¥¢<lh¢§:¤H5«¢´+ qlhgjei'í

(5)

'2 '2 '2 '2 4 h¹¢i¢fnlh¢ d+gj§:¤rjgÍ£·²

- . . .R -/

-

-/

. . .R/

.k

ßÝ'ÙÛÝ@Ú¥äÕØäËÝ

s «nrjµefhgjlh¯§:¢¢]¤bnpfonrjrjrjgjonplhgjei?¢l'rj¢ e+¢'¢{¤f¨e+ ¢h¨qE¢h r$n"¡¢]ei+llh& fhgjl¨'¢i us

ó

ô

~bvrieq

¤¢fh§&¢lH5«¢º¢ l¨q¢f¢'ninrj²+h¢H¢Ï: "n ¢¢<lhfn ¢)¢)¤fh¢q¡¢ ~Js ¢ e+¢ u<s ¢{ú+ûMüý

ëJ×ØÙ

"«lh¢iÖhqf

l¨fhegjÔ o¯g¥¢fhiPqi ¢hl]n¨he+ gjknpq ¤f¨e+ ¢h¨q]§knp°jlhfh¢E¢lE¢q´ ¸® ¯bn©+q¢]ly²+¤¢:¢&¤fhe+ ¢hhq:¢¨ r$n"¡¢ z ¨¢rjei*r$n

ibnplhqf¨¢¢'ry«e¤fnl¨g¥ei]¢º¢ lhq¢ ~5s ¢)ie§]±f¨¢<¢'rjgjµi¢¢) e¢'¢hl5«¢i+¡+g¥f¨ei

.R///

~

&Ä

]PÁÕ¾=¾[*PÇÊÕ

Æ

¾

|

eq)n"¡eiH§:gjM¢i?¬q¡+fh¢E¢l<l¨¢hl¨:úû³üý

ëJ×ØÙ

hqfqi?fh¨¢Rnq¢

¨lonplhgjeiH¢'lhfn"¡ngjr

9

xs5x{z

¢

ly²+¤¢

//

9

z

n"¡¢ qi¢)§&§:egjfh¢H¡+gj¡¢<¢

."- ]è e+ l¨¢lh

~

i* ¢f¨lonpg¥iie§]±fh¢'¢]¤fhe±rj¦§:¢'nlh&lhfonpgjlh]n"¡¢ &úûMüyý

ëF×mØÙ

z

eilrj¢E¤fhe±rj¦§:¢'q*lheqf)¢] Rnf¨lh¢'¢

hgjrj±f¨¢Rnl¨¯ õ

÷E¢l]r$n ef¨fh¢ lhgjei J«qi nprjµef¨gjlh¯§&¢{¢®lhfhg¤bnf]gji¨¢fhl¨gjei3õ ÷ ó

-ô~s

¢:f¨hqrjlnlh&heil

nÏ: o¯niMr$n ¶ n±rj¢

.

Û"âoãßÚjîïïØF?Ú¥ß z bni

rj¢'¨¢ieù z ¨gFrj¢'¤fhe±r¥¦§:¢ ei+l¨g¥¢il'nphh¢{¢E¤bnpfonrjrjrjgjh§&¢ z rj¢l¨¢§:¤5«¢´+ ql¨gjeiÖ"«np§:rjgjef¨¢i+l³n"¡¢ Er«nÎeql

eqfMr¥¢¤fhe±rj¦§:¢

z ry«¢Ï: Rn g¥l¨He±l¨¢i+q¢¢i:qlhgjrjg¥ni+lP¢q´]¤fhe+ ¢¨h¢qf¨¢hlH¤rjqrj¢¡+¢¤bnfMfonp¤¤befhlHnq´

¢q´Ö eiRÎ¢ l¨qfh¢{gjigjlhg$npr¥¢H¢§knpi¢i+lqi l¨¢§:¤)gj§&¤befhlonpi+lHfon¤¤befhlh]nqlh¢§:¤lhelnrP¢Er$n]¤f¨¢q¡¢ ~x gji¨gz

ry«nÎeql5«qi?ieq¡¢Rnpq?¤fhe+ ¢¨h¢qf)i¢) ei+lhf¨g¥±q¢fon¤rjq<¸rn eihl¨fhq l¨gjeiÖ¢ ¢¹£·fonpµ§:¢il¢'¤f¨¢q¡¢ ~

,Ä$#

Êy"ÀRÊÕ¼

Æ

s

¢Mlh¢§&¤P5«¢´+ ql¨gjei]5«qi¢M¤f¨¢q¡¢n"¡¢ ú+ûMüý

ëJ×ØÙ

¤¢i¢ilHnqhhg¢Hr$n¤b¢fy£·efh§knpi ¢M¢<d

Pvyª'H~

i¢

¡¢fh¨g¥ei:¢'d

Évyª¹

¤rjqM¤¢fy£·efh§?ni+lh¢¡ngjiqgjfh¢qi¢¡¢fhhgjei:¢EúûMüyý

ëJ×mØÙ

¤rjqM¢Ï: Rnp ¢

~|

eqH¤b¢iheiH©q¢

úû³üý

ëJ×ØÙ

v r²Ön:µnrj¢§&¢i+l<¢'gji ei+¡+igj¢i+l¨ z ¤bnpf¢´+¢§:¤rj¢ z ¤beqf'rj¢'¤bnphnµ¢:¸qi¢]¤bnpfonpr¥rjrjgjonplhgjei?¢Eµfni+qr$nf¨gjlh

¤rjqÔbi¢ír$n'¤bnpfonpr¥rjrjgjonplhgjeiE¢e¤fonl¨gjeiH¨qfH¢Hl¨¢fh§&¢Hi¢¤b¢ql<¤rjqMÑl¨fh¢' ei+lhfhørj¢{n"¡¢ 'úûMüyý

ëJ×mØÙ

~és n

¨erjqlhgjei z ©+qg+ eihl¨g¥l¨q¢Hqi'¤fheRÎ¢l5£Õqlhqf z ¢¨lFr$nw ei ¢¤lhgjei{5«qi¢¡¢fh¨g¥ei{¤nfonprjr¥¦r¥¢¢³d Pvyª'H~ rjr¥¢M¤¢fh§&¢lhl¨fon z

¢i+l¨fh¢{npqlhf¨¢ z r«np ¦Hgjf¨¢ l)npq´:¨lhf¨q lhqfh¢¢eii¢¢l<qik ei+lhf¨ørj¢¤rjqH¤fh gj<¢lH¢Ï: "n ¢'¢)r$n¤fh¢q¡¢ ~

%Ê

0

ÁÕÊ·¼&Ç='PÊ9

(*)"+-,.0/123.54768):93;=<?>A@B23CD47EF)9G2IH8J?,0KMLC:N:.547OP):93)QSRHUTWV*HM2I1XYKIZ*[]\C:N^V.H_[a`C^HUN:bcHULTW2IV/2d/FHM23TW[eKIZ[]\C^2IHUN^Z.=)Dfghi3jk*l

gMm?nBop]qWg*l^rtsvugpw=hxykx7rtgj;(dz*z*{)

|})"+ZA`L0Z`C^V~47):93)Q5icAhAI?hx7gp]kx7rtAh=wkiDsAhi3icAjs38kjl^IAgiWrtI]ugjrtx7rtgjjIltlI3)IQLIM28/28L;

.N^23TWUN^HMv?VA.KdXM;[vVTW8(Izz*)

)"+ZA`L0Z`C^VF47])9-2IHD6`0UN:.ZAN^HMK L¡47EF):93)Q¢y[]\C:N^K3N^H8N:./`0KIHUN^Z.FN:.$KdZ.0/}N^HUN^ZA.VACDHUL2dZTMN^2II)fghi3j0k*lgMmDhx7gpkxyWvWk*£

dgjrtj¤*;*ZAC7)(I;.¥|};(Izz¦;\\)=(I§*zAQ|A¦})

)"23TWULZAN^HM¨v47])92IHª©*Z`0V..VA`/F4c©)):93)IQ¢ª«iWrtx7?dodxyAp83;AKML0V\=){;*\\)|A*AQ|A¬)Q$?ZTWHULbc?ZAC:C^V.0/®;0?[vMHM23TW/V*[¯;

(dz*z*¬;°kjqWgAgA±vgMm3gicAxyr²s3k*l=ugpw=hx7AiGnBsArtAjsWI;*ZC:`0[v2+?³´0ZTW[vVAC[v2IHUL0Z/?V.0/YR2I[vVA.HUN^KII)

¦})<?23N^MHY47):9]2dHvVC7)Qµ]¶B·Y¸?ªkiUk*l²l^l_¶r²i3x7hk*l·YksWrtjA¹»º®dAi ¼½Dhrt¯kj5hx7gi3r²k*lBmIgiv¾x7«gic±3~ªkiUk*l²l^l

ugpw=hxyr²j¤*)*QFE$75¥TW2dMI;(Izz*)

{)"VN^/N^K LY47):93)IQP¿ªj½DAjAi3r²s-Uw=icdAjx7kx7rtg*jgMm-ÀWpÁwBl^r²sr²xÀWjhsx7rtgjDicgAs3WhicI3)MQ$6DV\\BZTWHHM2IKML.N^Â*`02Á.ÃDRÄbc6Dz*{Ä|¬;

ÃO5M;B(Iz*z{)

Å )"O$VC:Cª47Æ-)9Á2dHGVAC7)Q¢icgW¤}ickp]prtj¤vªiMl:)Q!Ç]È6D23N:C:C^X*;(dz*z Å ;=|

N^I[_2

d/}N^HUN^ZA.)