From high level programming model to FPGA machines

HAL Id: inria-00074430

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

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.

From high level programming model to FPGA machines

Jean-Pierre Banâtre, Dominique Lavenier, Marc Vieillot

To cite this version:

Jean-Pierre Banâtre, Dominique Lavenier, Marc Vieillot. From high level programming model to FPGA machines. [Research Report] RR-2240, INRIA. 1994. �inria-00074430�

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE

From High Level Programming Model to FPGA Machines

Jean Pierre Banˆatre, Dominique Lavenier, Marc Vieillot

N˚ 2240

Janvier 1994

PROGRAMME 1

Architectures parall`eles, bases de donn´ees, r´eseaux et syst`emes distribu´es

-,./021

3547698;:2<=4?>@>@4BA6982C67D@>@4FEHGI!JLKM<=8N<PORQS4UT.6HVR4H8N<=4H>WEXGSYZ69>\[U]U<=4H<_^=^_J5DWE

`SacbXdeagf0h!hi-jlknmagocp7qsrtiourtv7acixw2yLf0azf0{s{}|ix{sixw~HLf€wtixw2Hi‚Hbeƒ7ƒ.„ixi…w~7a7„ixwti@f0vH†"ixrwt‡Hwtr|ixhixwˆ‰qŠwcrtacqŠ9v‹„ixw

`SatbŒuixr.m`SŽ

ˆf0y9yLbeatr.Hi-ati@otp9ixagocp7iƒ-?‘e‘0’H“2k•”?f0ƒH–Hqsixa-j—e—0’2kj‘yLf0deixw

˜™%š…›@œ0Lž0›eŸ) .p7qsw‚y5f0y5ixa‚y9atixwcixƒHrtwf€ƒ¡f0y7y9atb?feocp$¢_bea‚HixacqŠ–Hqsƒ7d$f"£S`¤2m¥hfeotp9qŠƒ9i-¢_acbXh¦f/p7qsdXp

{six–eix{WyLf€agf€{Š{six{§y7atbedXazf0hh!q¨ƒ7d2h!b‰‰ix{P©S .p7i-hb7Hi…{RqŠw.5f0wti@UbXƒ"rcp7i‚ocp7ixh!qªoxf0{RacifXozrcqsbXƒUhixrzf0y7p9bXa«

rcp7i7f€rgf2wcrtacvLozrtv9ati2qswFf2hv7{srtqswcixrNf€ƒLrtp7i2ozbXh!y7v7rzf0rtqsbeƒ‚oxf0ƒ5iˆwcixixƒUf0wFf2wcvLoxozi…wtwtqsbeƒb€¢¬ocp7i…hqªoxf0{

acifXozrcqsbXƒ7w2ozbXƒ7wcv7hqsƒ7df0ƒL!y7acb‰‰vLozqsƒ7dƒ7ix­Zi…{Ši…hixƒHrtw.fXo…ozbXazHqsƒ7drtbwcyLiouq¨®Ro2atv7{sixw@©

¯°bXƒ±lixv7hUf0ƒf€agocp7qsrti@ozrtv7aci²f€ati-ƒ9bXr.wtv9qŠrciUrcb‚rcp7qswˆy7acbXdXazf0h!hq¨ƒ9dwcrP‡H{Šie³7­´iwcp7b0­Zrtp9iv9rtqs{sqŠrP‡

b€¢‹£S`¤2mˆwl¢_bXa2HixacqŠ–Hqsƒ7dfe7f0y7rciUpLf€agH­.f0aci‚f0azocp7qsrtiozrcv7ati…w©‚£9if€wtqs7qs{sqŠrP‡p5f0wˆ5ixixƒ$Hixh!bXƒ7wcrtazf0rti@

beƒrcp7i‚µ2¶·°¸t`ˆ¹º`§ixat{siz¸xj25b?f0az!­.qŠrcpUqŠh!y7{sixhixƒHrgf€rtqsbXƒb0¢fatixy9atixwcixƒHrgf0rcqs–Xif0{sdXbeatqsrtp7hº©

»!¼H½R¾t¿-À5œXÁSš0ŸM¤-f0h!hf7~0£S`¤2m‚~5`§ixat{siz¸xjX~5f0agocp7qsrciozrtv9ati-wc‡?ƒHrcp7ixwtqsw

ªÃÄ

Å}ÆPÇÈ

Ä

Å%ÉNÊsÆPËPÌzÍ

ÎLÏ5Ð0ѨÒWÓ5ÔzÕ=Ö.ѨÒR×ÙØ0ÚXÛ0ÜtÛ°Ý\Þ.ß.àSáRâã9ÜPÕ=ä¨ÜPÎ_åSæWÜcÒ_ÜcßzÕPç=ЈèsÚ0ѨéªÑ¨ß…éªÑ¨êxÜWâ5ÔuÚ\éëÕ}߅çté

Î7é=ÔNßuì0ì?ÜtßuÕ?ÑíÚ.éëÐXÜ5ì0Õ}Ô@çtÜcÜtÛ@ÑíÚXîxÒ0Ôz×HéªÐXÜWïgÚXÛð7ãRñSòWÒ5ó-ÔzÕ=Ö\ÒëÐXÔzì×sÔzÕôâ9ØXÒ=é_Ôuõöâ5Ôzõ.ì0ØXéëÑíÚXîR÷2ßxç=Ð0ÑíÚXÜtÒHó-ÔuÕ_Ö0ÒªÐXÔuì7ø

ù

ßzìXß0ø\â5ßuäíÑí׊ÔzÕ=Ú0Ѩß0øxòRì0Õ=Ñíä‰å…åcÎ_åzú0øåzûxû…ü

ýgþ=ÿ

ÝXßuÚXßxéªÕPÜ

þ

ä¨ßzêzÜPÚ0ÑíÜPÕ

þ

ê…ѨÜ=Ñíäíä¨Ôgé¬ÑíÕ=ÑÒ=ßרÕ

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

-S#´ / ! u "

2#´xn /#+"x2

¼‰š¼'Ÿ ·´i!yLf0y9qŠi…a‚y7a7„ixwti…ƒ?rciUv7ƒ7if€y7y7acb‰ocp7i!yLi…athi…rtrgf€ƒHr²HiU´„ixacqŠ–eixav7ƒ7ihUfXocp7qsƒ7iixƒ¡{sb€¸

deqev7iati@ozbXƒH®5dXv7azf07{si|f!yLf€atrcqŠa-v7ƒºhb7R|i…{ŠiHiy7atbedXazf0hhUf0rcq¨bXƒ!yLf0azf0{s{}|ix{si²‰ipLf0v7r2ƒ7qs–eif0vW©§·´i

h!b‰R|ix{siyLixv9r! ixrcatiUqs{s{Šv9wtrta7„iyLf€a‚v9ƒ7ih'„ixrgf€y7p7bXaciLf0w7„ixiUwtv7a{sixwa7„ifeozrtqsbXƒ9w²ocp7qshq"ev7ixw!«W{ªfUwcrtatv5oc¸

rcv7atiUHiHbeƒ7ƒ.„ixi…w‚ixwcr‚v9ƒ$hv7{srtqÙ¸}i…ƒ7wtixh9{Ši2ixr{sixw‚oxf€{ªozv7{sw-y5ixv7–Xi…ƒ?r# ixrcatiacixy7a7„ixwtixƒHr7„ixw"ozbXh!hi2v7ƒ7i

wcv7qsrtiHi-a7„i@fXozrcqŠbeƒ7woubXƒ7wcbXhhUf0ƒHrixr2y7acb7Hv7qswgf€ƒ?r2HixwU„ix{@„ixh!ixƒHrtwƒ7bXv7–eif0v‰†ixƒU¢=bXƒLozrcqsbXƒ7w2Hi-a|i…dX{sixw

wcy‹„iozqÙ®$ev7ixw@©

¹¬ixwFf€agocp7qsrtiourtv7acixwˆHiˆrP‡Hy5i.¯bXƒ±lixv7hUf0ƒ-wciˆy7a|ixrtixƒHr´hf€{¬|foziˆwcrP‡?{siˆHi.y9atbXdeagf€hhf€rtqÙbXƒW³…ƒ7bXv7w

h!bXƒHrtacbXƒ7w-{%ífX´„i evLf0rcqŠbeƒ‰ixw²ouqŠazozv7qsrtw{sbedXq"ev7ixw2atioubXƒH®Ldev7agf€7{sixwy5bXv7a´„ixacqŠ–eixaHixwf0azocp7qsrtiozrcv7ati…w

fe7f0y7r7„ixixw@©‹¹§f/¢}f0qswzf07qs{sqsr7„if ixr7„„ i ´„ixh!bXƒHrta7„ixiUwtv7a!{ŠiUwc‡?wcr|ixh!i `§ixat{siz¸xj"´„ix–eix{sbXy7y.„i f0vM{ªf05bXazf0rtbeqsati

`Sf0acqswtqsixƒ"Hi‚µ2¶·My5f0a.{si27qªf0qsw‹&v9ƒBf€{sdXbXacqsrtp7h!iFacixy7a7„i…wtixƒHrgf€rtqÙ¢g©

' À5›\š…¾gž)(*¼ºŸ¤f0hhUfH~0{sbXdeqev7iatioubXƒH®Ldev7agf€7{siX~L`§ixac{siz¸uje~7wc‡?ƒHrcp¬|ixwtiíf0agocp7qsrciozrtv9ati

5 6 ‚#! ,.#´

7$acqŠrcqsƒ7d‚fozbXacatiozry7atbedXazf0h)qsw.Hq98ozv7{sr©HŽPr´qswFix–eixƒUhbeati‰q:8ouv7{sr­.p7ixƒUrtp9irzf0acdXixr.hUfXocp7qsƒ7i.qsw‹f

yLf€agf€{Š{six{RhUfXocp7qsƒ7iˆf€ƒL!ƒ7b‚y5f0agf€{s{Ši…{Ly7acbXdeagf0h!hqsƒ7dhixrcp7b7qsw.y7atb0–HqªHi¬©Hm ozbehy7v9rgf0rcqsbXƒLf€{7hb7Hix{

­.p7qªocp f€{Š{sb0­.w´bXƒ7irtbHixwzozatqs5if0{sdXbeatqsrtp9hw­.qsrtp"f€w.¢_ix­ wti Xv9ixƒHrtqªf0{sqsrP‡ozbeƒ7wtrcagf€qŠƒHrcw f€w.yLbewtwcqŠ9{ŠiqŠw

rcp7ixƒ"HixwcqŠazf07{siX©Hm hb7Hi…{L­.qsrtp9bXv7r.f0ƒH‡wti ev7ixƒHrcqf€{sqŠrP‡H~Hoxf0{s{si¤f0hhf<;}¤2i…ƒ7ixagf€{Wm7wtrcagfXour+=Ub7Hix{

¢_bea>=Bv7{srtqswtixr´hmƒ7qsy7v7{ªf0rcqsbXƒ1?…~p5f0w´Lixi…ƒy9atbXy5bXwci!H‡”L©í`S©A@´f0ƒ f0rtacif€ƒLµ©H¹RiB=Uixrzf@‡XixaCsjED©e .p7i

y5b0­Fi…a.b0¢N¤-f€hhf.qswrcp7i2yLbewtwcqŠ9qŠ{sqsrP‡-b€¢Niz†7y7acixwtwcqŠƒ9df0{sdXbeatqsrtp7h!wWqsƒf0ƒUf07wcrtazfXozr.­.f@‡?~€­.qŠrcp7bXv9rFf0ƒH‡

f€atrtqÙ®ôouqf€{Rwti ev7i…ƒ?rcqªf0{sqsrP‡?©

 .p9iˆLf€wtqªo.wcrtatv5ozrtv7aci-qsƒ¤-f0h!hf´qsw´rtp7i2hv7{srtqswcixrf0ƒL!f-ozbXh!y7v7rzf0rtqsbeƒ‚y7acb7ozixiHwH‡ƒ7bXƒL‰ixrtixa¸

h!qŠƒ9qŠwcrtqªo´{sb7oxf0{Racix­.atqsrtqsƒ7dbXƒUrcpLf0r´hv7{srtqswti…r©H`SatbedXagf€hw´Lf0wci!bXƒ!rtp7qsw.hb7Hi…{ôf€ati-fhqswP¸Phf0ocp¢_bXa

¯beƒ²±lixv7hUf0ƒ-hUfXocp7qsƒ7iX©@ .p7qswSyLf0y5ixa­.qs{s{Hwtp7b0­ rtp7i.acix{six–Xf0ƒ5ozi.b0¢ô£S`¤ mˆwS¢_beaHixatqs–Hqsƒ7d-f0ƒfX7f€y7rti@

pLf€agH­.f0aci‚f0azocp7qsrtiozrcv7atie©

 .p9i.hf0qsƒqªHif2wcv7qsrti¢_beartp9i¤-f€hhf´y5f0agfeHqsdXh qŠw°rtp7i2f07qs{sqsrP‡b€¢Nf-¤-f€hhf´y7acbXdXazf0h rtbLi

Hi@ozbXh!yLbewtiUqsƒHrtbfacixwtrcatqªozrcqŠ–ei‚wcixrˆb€¢y7atqshqsrcqŠ–ei.y7atbedXazf0hw@~7oxf0{s{si#'FGH32IC’%Dt©L£9atbXh¥fpLf€agH­.f0aci

y5bXqsƒHr2b0¢F–Hqsix­-~5rtp7qsw2qswf€ƒ qsƒHrtixacatixwcrtqsƒ7dUy7acbXy5ixatrP‡ºwtqsƒLoziifeotp$y9atqshqsrtqs–eiˆy7acbXdXazf0h qsw2­Fi…{Š{Hiu®Lƒ7i

f€ƒL!qŠƒ5HvLozixw2fwty5iozqÙ®ôo-f€agocp7qsrti@ozrtv7aciX©

 .p9i.yLf0y5ixay7acixwti…ƒ?rˆf€ƒ‚qsƒH–Xi…wtrtqsdHf0rtqsbeƒ‚­´i.pLf@–Xi´y5ixaP¢_beath!iv7wtqsƒ7d2rcp7iˆ`§ixat{siz¸xj£S`¤ m5b?f€agJCí‘D

CK4%DRHix–Xi…{ŠbeyLi@?‡rtp7iˆµ2¶·M`Sf0acqŠwlixwtif€agocp¹§f0W©€ŽPƒ‚beagHixa´rtb2wcp7b0­¡rcp7iˆ–Xf€{ŠqªHqsrP‡b0¢RbXv7af0y9y7atbHfXocpW~

­´i2qŠh!y7{sixhi…ƒ?r°hf0ƒHvLf€{s{Š‡2rcp7i-y7acqŠh!i.¢}feozrtbeatqLf€rtqsbXƒUf0{sdXbeatqsrtp7hº©

 .p9iyLf0y5ixaqŠwbXatdHf0ƒ7qLxi@¡f0w ¢_bX{s{sb0­.w«5wti@ozrtqsbXƒM‘UdXqs–eixw‚fUwcp7bXacr‚y7acixwti…ƒ?rzf0rcqŠbeƒ¡b€¢ˆrtp7iU¤-f0h!hf

¢_beathUf0{sqswth"³7wciozrcqŠbeƒM4UqsƒHrtacb7HvLozixwrcp7iwcixrb0¢.y7atqshqsrcqŠ–ei‚y9atbXdeagf€hw;('F3GN32(?x©OHi@ozrtqsbXƒ ’"y7acixwtixƒHrcw

rcp7i-qshy7{sixh!ixƒHrgf€rtqsb0ƒ‚b€¢Nrcp7i-y7acqŠh!i.¢}feozrtbeatqLf€rtqsbXƒ!y7atbe7{sixh)bXƒUrcp7i‚`§ixat{siz¸xj25b?f0azR©

P Q

•( ²n ‚² ;- º

 .p7i¤f0hhfhb7Hi…{Noxf€ƒ 5i²‰ixwgozacqsLi f0w-fhv9{Šrcqswtixrrtagf€ƒ7wP¢=bXath!ixa«5rcp7i²oubXhy9v7rgf€rtqsbXƒUqsw-fwtv5oc¸

ozi…wtwtqsbeƒb€¢lf€y7y7{sqªoxf0rcqsbXƒ7w2b0¢ˆacv7{sixw­.p7qªotp¡oubXƒ7wcv7hiix{sixh!ixƒHrtw-b€¢‹rcp7ihv9{Šrcqswtixr-f0ƒ5ºy7atb7HvLouiƒ7ix­

ix{sixh!ixƒHrtw@©R .p7iozbehy7v7rzf0rcqŠbeƒ"ixƒL‰w-­.p7ixƒ$ƒ7b/atv7{sioxf€ƒ 5if0y7y9{Šqsi¬©R .p7if0y9y7{sqo…f0rtqsbeƒ"b0¢.atv7{sixwqŠw

y5ixaP¢=bXath!i!qsƒfƒ7beƒH¸ ‰ixrtixachqsƒ7qswtrcqªo.­.f@‡?©

 .p9i-Lf0wcqªo-qsƒH¢_beathUf0rtqsbeƒwtrtacvLozrcv7atqsƒ7d!¢}feozqs{ŠqsrP‡!qŠwrtp7ihv7{srtqswcixr©9mhv7{srtqswcixr.qswˆwtqsh!qŠ{ªf€aFrcbfwcixr

iz†Lozi…y7r‚rcpLf0rqsrhUf@‡ozbXƒHrzf0qsƒ hv9{Šrcqsy7{siˆb7oxozv7acatixƒ5ozixwb0¢´rtp7iwgf€hi-ix{sixh!ixƒHr©5m.rtbehqªo2ozbXh!yLbeƒ7ixƒHrtw

b€¢%hv9{ŠrcqswtixrcwFhUf@‡-Lib0¢NrP‡Hy5i-ati@f0{P~7ocpLf0azfXozrcixa~5qsƒHrtixdeixa.bXa.rcv7y7{si2b0¢%f€at7qsrcagf0ac‡rP‡Hy5iX©

 .p9i-hf€qŠƒ¢=if0rcv7atib0¢rtp9i-hb7Hix{§qsw.rtp7iR5¸PbXy5ixagf€rtbea~7­.p9qocp o…f0ƒ"5i‚Hiz®5ƒ7i/qŠƒUrcp7i2¢_be{Š{sb0­.qsƒ7d

­.f@‡R«

RS;P-~mI?T;F=U?WV

XZY>[J\]%^___K\H`a

= wcvLocp"rtpLf€rˆ;

\]^%___\b`

?

›cS¼ deRS;}-~m?W;E;f=!¸g

\h]^%_i__K\b`Hj

?WkömB;

\]^___K\H`

?E?

¼ (}š…¼l=ö©

my5ixagf€rtbeaZqswˆoxf€{s{Ši@rcp7iontati@fXozrcqŠbeƒ"ozbXƒL‰qŠrcqsbXƒHp5³7qsr.qswf5b?be{sif0ƒ!¢_v7ƒ5ozrtqsbXƒ/qŠƒ5Hqªoxf0rcqŠƒ9d‚v7ƒ5Hixa

­.p7qªocp$ozbXƒL‰qŠrcqsbXƒ7w2wtbehi-i…{Ši…hixƒHrtw2b€¢‹rcp7i‚hv9{Šrcqswtixr2oxf0ƒ$acifXozr@©R .p7im ¢_v7ƒ5ozrtqsbXƒS;nzfXozrcqsbXƒHp ?ˆHixw ¸

æ§æUÚqïxïuüsr

ozacqsLixw´rtp9i.atixwcv7{srb0¢Rrtp7qswSati@fXozrcqŠbeƒW©7$i´yLbeqsƒ?rSbev7rSrtpLf€rqÙ¢Lrtp7i.acifXourtqsbXƒozbeƒLHqsrtqsbeƒ-p7bX{ªHw§¢_beaSwtix–eixagf€{

wcv77wti…rtwf0r2rcp7iwgf€hirtqshiX~9rtp7iocp7beqªoziJ;_­.p7qªocp$qsw2hfX‰i‚f0h!bXƒ7d!rtp7ixhJ?qŠw2ƒ7ber-Hixrti…athqsƒ7qswcrtqªo0³RqÙ¢

rcp7ixwtiwtv97wtixrcwf€ati‚HqswsŒzbXqsƒHrFrcp7i2atifeozrtqsbeƒ7woxf€ƒUix–XixƒUrzfXi2y7{ªfeozi-f0r.rtp9i-wgf€hiˆrcqshiX©

¹¬ixr-v7wrgfXibeƒ7iiz†Lf0h!y7{si‚rcb"qs{Š{sv7wcrtazf0rtircp7iy9atbXdeagf€hhqك7dwtrP‡H{siixƒHrgf€qs{Ši@º?‡ºrtp9i¤-f€hhf@¸

h!b‰‰ix{P©X .p7iwtqsix–Xi2b€¢%¶Sazf0rtbewtrcp7ixƒ7ixw-oxf€ƒULi-­.acqsrtrti…ƒBf€w´¢_bX{s{sb0­.w«

š X

¼L¼ ;_ƒ ?V RS;}-~m?W;Eg\‘7~R©s©s©eƒ

j

?´¿cS¼?œ0¼

<;

\ j

^\

‘0?-VZhv7{srcqŠy9{Ši;

\ j

^\

‘&?

m";

\ j

^\

‘0?-V

\ ‘

hv7{srcqŠy9{Ši;

\ j

^\

‘&?°qswFrcatv7iq¨¢f0ƒL!beƒ7{s‡q¨¢

\

jqswˆfhv7{srtqsy7{si´b0¢

\

‘7©

 .p9iˆ¢=bX{s{sb0­.qŠƒ9d.®Ldev7ati-Hixwzozatqs5ixw2rtp7i-ozbehy7v9rgf0rcqsbXƒb0¢Nš

X

¼5¼0©0 .p7i2{sqŠƒ9ixwF5ixrP­´ixixƒ"i…{Ši…hixƒHrtw

qsƒLHqªoxf€rti.acifXozrcqsbXƒ7w@©Aml¢Nozbev7atwciX~Hrtp7qswqswbeƒ7iˆf0h!bXƒ7d.rcp7iˆy5bXwcwtqs7{si.yLf€rtp7w{sifeHqsƒ7d2rtb-rcp7iˆwcrgf€7{si.wgf0rciX©

"!

#

$ $

# !

$

#

 .p9i¤-f0h!hf@¸Ph‚b7Hix{§y7ati…wtixƒHrti@¡f05b0–Xiqsw-ƒ7berrcp7ihbewtrdXixƒ7i…agf0{.Hiz®5ƒ7qsrtqsbXƒW³RfeozrtvLf€{s{Š‡H~5rtp7i R

beyLixazf0rcbXaˆoxf€ƒrgfXi2f0ƒH‡ƒHv7hLi…ab0¢ozbXv7y9{Ši…w+;P.ifeozrtqsbXƒ§~m2ozrtqsbeƒ1?x~eifXocpUati@fXozrcqŠbeƒozbeƒLHqsrtqsbeƒqsƒLHqªoxf\¸

rcqŠƒ9dˆqsƒ-­.p7qªocp²o…f0wti´rtp9i‹f€wtwtb7ozqªf€rtifXozrcqsbXƒoxf0ƒ-5i.f0y7y7{sqsiR©@mw%f€ƒ-iz†Lf0h!y7{siX~oubXƒ7wcq‰ixaSrtp7i&%'10//s

ozbehy7v9rgf0rcqsbXƒW©eŽPrˆoxf0ƒU5i-iz†7y7acixwtwci f€w´¢_bX{s{sb0­.w«

( ™ ;=ƒ1?V RS;}T47~mI40?W;FR);(;Pˆ‘9~m2‘&?3;}-je~m‚j?E?g@ƒ

j

?S¿cS¼Hœ0¼

j;

\ ? V

\*)

j

mj;

\

?WV

\,+

j

^\-+

‘

‘ ;

\ ? V \

V'“

m2‘ ;

\

?WV j

T4 ;

\ j

^\

‘&?-V ›œ S¼

m4 ;

\ j

^\

‘&?-V

\

j/.

\ ‘

 .p9i.qŠƒ9qŠrcqªf0{HƒHv7hLi…a10!qswHiozbehy5bXwciqsƒ?rcb-f2ƒHv7hLi…aNb€¢ôbeƒ7ixw´­.p7qªocp²f€atiˆrcp7ixƒwcv7hh!ie¸Pv7y-rtb

y7acb7HvLozirtp7iatixwcv7{sr©5 .p7i-ozbXv9y7{sixwˆb€¢°lifXourtqsbXƒ32€mozrcqsbXƒo;}‘7~m‘0?Ff€ƒL#;}-je~m‚j?´­´bXa4qsƒUyLf0azf0{s{six{P©

mƒLozirtp7i.hv9{Šrcqswtixr§qŠwSwcrgf09{ŠiT;_qP©iX©0ƒ9bh!bXaciatifeozrtqsbeƒ7wb7oxozv7a?x~ertp7i.ƒ9iz†7rF.ifeozrtqsbeƒ320m2ozrtqsbXƒ ;}T47~mI40?

qsw.y5ixaP¢_beath!iR©

èsÚ0Õ=Ѩß

Q

3GN32Ff0acif­‹f@‡b€¢NHiozbehy5bXwcqŠƒ9d‚¤-f0h!hfly7atbedXagf€hw@©0 .p7ix‡ozbeƒ7wtrcqsrtv7rci‚f2wti…rˆb0¢Wy9atqshqsrtqs–eiFy7acb0¸

deagf0h wgocp7ixh!ixw~§­.p7qªocp$rtbedXixrcp7ixa­.qŠrcp²Œuv7wtr-rP­´bULf0wcqªoozbXh7qsƒ7qsƒ7d¢_bXachwy7atb0–HqªHif0ƒºiz†7y7acixwtwcqŠ–ei

yLf€agf€{Š{six{´y7acbXdXazf0h!hq¨ƒ9d{f€ƒ7dXv5f0dXie©R .p7iU'F3GN322rgfeircp7i¢_beath b0¢ˆyLf€agf0h!ixrtacqLxi$ozbeƒLHqsrtqsbXƒ5f0{aciz¸

­.acqŠrci-atv9{Ši…wˆqsƒ­.p7qªocp"ozbXh!y7v7rzf0rtqsbeƒy7acb‰ouixiHw2qsƒfƒ7beƒLHixrcixath!qsƒ7qswtrtqªo{sb7oxf0{Racix­.atqsrtqsƒ7db€¢FfdX{sbXLf€{

hv7{srcqŠwcixr©

 .p9iˆ¢=bX{s{sb0­.qŠƒ9dƒ9bXrgf€rtqsbXƒ!qsw.v7wtiBrtbHixƒ9bXrti2hv7{srcqŠwcixr´atix­.acqŠrcqsƒ7dL«

\]%^___^\b` "!

;

\h]^%___i^\b`

?$#&%B;

\]^%_i__^\H`

?

 .p9qŠw´atv9{Ši-oxf€ƒULi2qsƒHrtixacy7atixrciUqsƒH¢_beathUf0{s{s‡ f€wFrcp7i-acixy7{ªfXozi…hixƒHr´qŠƒHrcb‚rcp7i2hv7{srtqswtixr°b0¢Ni…{Ši…hixƒHrtw

\h]^%___i^\b`

wgf€rtqswP¢_‡Hqsƒ7d-rcp7ioubXƒLHqsrcqŠbeƒ'%";

\h]^%__i_^\H`

?°H‡rtp7i2ix{sixh!ixƒHrtw´b0¢

! ;

\h]^%__i_^\H`

?…©X¯qsix­Fi@f€w‹f

wcqŠƒ9dX{si2y7atbedXagf€h ~ertp7i2acixwtv7{srqŠw.be7rgf€qsƒ7i­.p9ixƒ"ƒ7bhbeatiˆacix­.atqsrcixwoxf€ƒ"rgfXi2y7{ªfXouiX©

 .­´b2bXy5ixagf€rtbeatwFf€ati.v7wci¢_bXaozbeh7qsƒ7qsƒ7dˆy9atbXdeagf€hw«…wti ev7i…ƒ?rcqªf0{RozbXh!yLbewtqsrtqsbXƒ)(

]+*

(-,2³0yLf€agf€{Š{six{

ozbeh7qsƒLf0rcqsbXƒ'(

]

..($,€©7 .p7iqsƒ?rcv7qsrtqsbXƒU5ixp7qsƒL/(

]$*

(-,2qswˆrtp5f0r2rtp7iatixwcv7{srb€¢0(-,2qswˆyLf€wtwci f€wf€ƒ

f€atdXv9hixƒHr2rtb1(

]

©mƒ¡rcp7ibXrcp7ixapLf0ƒL¬~Rrtp7i!atixwcv7{sr‚b€¢2(

]

.3(-,qŠwbX7rzf0qsƒ7iºH‡ºyLixa ¢_bXachqsƒ7d!rtp7i

acix­.atqsrti…wb€¢4(

]

f0ƒL5(-,qsƒyLf€agf0{s{six{P©

£§qs–Xi°atix­.acqŠrciFacv7{sixw~0oxf€{s{Ši@'fGH2x~…pLf@–Xi5ixixƒwti…{Ši@ozrtircbˆy7acb0–Hq‰iFf.wcixrSb0¢Ly7acqshqsrtqs–Xi§y7atbedXazf0hw@«

687

agf€ƒ7wthv9rtixa

6:9 iHvLouixa

6<;>=

rtqshqswti…a

6<?

†7yLf€ƒLHixa

68@

ix{siozrcbXa

 .p9ix‡-f0ati´Hiz®Lƒ7i@-qsƒ2rtixachw§b0¢7hv7{srtqswti…rLacix­.atqsrti…w©0mwNf0ƒiz†Lf0hy9{Šie~zrtp7iW'F 2sBA0'(s…~xrtp9iI$CAH/

f€ƒL!rtp7i EDGN1$&.oxf0ƒU5i-iz†7y7ati…wtwti@"qsƒUrtp7i¢_be{s{Šb0­.qsƒ7d2­.f@‡R«

FHGJILKMJN:OPFRQSG TVUXWZY\[]_^ `>ab[cUX`]edfWVUX`]

GJQSgLO+hiQJG j:UXWZYH[]_^ `kYRlVaf[mUX`Y\lL]dfWVUX`kY\lL]

QJ`onILKgLQJG peUXhSYq[orSY\[

#

]_^ `>ab[srSUX`]Y\[

#

UX`]edfWVUX`]

 .p9i 'F 2sBA0'(sˆf€y7y7{sqsixwˆrcp7iwgf0h!i-bXy5ixazf0rtqsbeƒ"rtb"f0{s{§rtp7iix{sixhi…ƒ?rcw2b0¢Frcp7i‚hv9{Šrcqswtixr.v7ƒHrcqŠ{Sƒ7b

ix{sixh!ixƒHrFwzf0rcqŠw ®Lixw´rtp7i-ozbeƒLHqsrtqsbeƒ<t©X .p9i$CAN/Hiozacif0wcixwˆrcp7iˆwcqLxi2b0¢Wrtp9iˆhv7{srtqswcixrH‡²f€y7y7{s‡Hqsƒ7d

fB¢_v7ƒLourtqsbXƒ$rcb"yLf0qsacw‚b€¢ˆix{sixhixƒHrcw-wgf€rtqswP¢_‡Hqsƒ7d"rcp7ioubXƒLHqsrcqŠbeƒut©§ .p7i EDGH $&‚HioubXhy5bXwcixwrtp7i

ix{sixh!ixƒHrtw2b0¢.rtp9i‚hv7{srcqŠwcixrˆqsƒHrtbUfUozbX{s{siozrcqŠbeƒ b€¢FLf€wtqªo-–Xf€{sv7ixw©5 .p7iqsƒHrti…atixwcrtiöatifeHixa‚oxf€ƒ"®5ƒL f

ozbehy7{sixrci-Hixwgouatqsy7rtqsbeƒb€¢Nrcp7i'FGH32qŠƒeC’%Dt©

 .p9i-iz†Lf0h!y7{sixwˆrzfXi…ƒ"qsƒ"rtp7iy7atix–HqsbXv9wwciozrcqŠbeƒo…f0ƒ"5bXrcp"Liiz†7y7acixwtwci¡f€wfoubXh7qsƒLf€rtqsbXƒb€¢

'F3GN32x©H .p7i-wtqsix–ei2b0¢%¶%agf0rcbXwcrtp7ixƒ9ixw2qŠw.wcqshy7{s‡f $CAH/x«

wtqsix–ei;0?-V

9

;Rvxwzy|{~}€cy‚;\^iƒ ? ^~ƒ ?g0‘ ^%_i__^ 0 j

 .p9i £§qs5bXƒLfeoxozqNoubXhy9v7rgf€rtqsbXƒqswˆfozbXh7qsƒLf€rtqsbXƒb€¢Nrcp7atixi 'fGH2„( ] ~(

,

f€ƒL5(…«

æ§æUÚqïxïuüsr

®L;0?)V3(

… *

;R(-,&. ( ]

?g 0 j

­.qsrtp

( ] V ? ;

\")

j

^\-+

j

^\+

‘&? iDGN1$&

( , V 7 ;\ V'“

^

j? 'f 2s:A&'(

(…+V

9

;‚{Lwc

^\

. ƒ ? $LAH/s

±lbXrcircpLf0r!rtp7qswy7acbXdeagf0h oxf0ƒ;f€{swtbºLi"iu†‰y9atixwcwti v7wcqsƒ7d$bXƒ7{s‡$rcp7i"wti Xv9ixƒHrtqªf0{2ozbXh7qsƒLf€rtqsbXƒ

beyLixazf0rcbXa‚«

®L ;0?)V3(… * ( , * ( ] g0 j

V\

£9atbeh f0ƒUf0agocp7qsrciozrtv9agf0{§yLbeqsƒ?r´b0¢S–HqŠi…­'rtp7i-Hi@ozbXh!yLbewtqsrtqsbXƒqsƒHrtby7acqŠh!qsrtqs–Xi´y7atbedXazf0hw°y7atb0–HqªHixwˆf€ƒ

qsƒHrtixacixwtrcqsƒ7d-­.f@‡-rtb2wtqsh!y7{sq¨¢=‡ˆrtp9i.wt‡HƒHrtp7ixwcqswb0¢W¤-f0h!hfy9atbXdeagf€hw©@mwrtp7i'F3GN32Nf€ati.­´ix{s{‰‰iz®Lƒ7i¬~

fpLf€agH­.f0aci2w Xi…{Ši…rtbXƒ/hf@‡Li-f0wcwtb7ozqªf0rciU­.qsrtp!ifXocp"b€¢Nrcp7ixh ©

 .p9iLf€wtqªoy7acb7oziHv7aci"¢=bXa-wc‡?ƒHrcp7ixwtqLxqsƒ7d¡fº¤-f€hhfy9atbXdeagf€h¦qsw-®LacwtrrcbHi@ozbXh!yLbewtiqsrqsƒ?rcb

'F3GN32x©7 .p7qsw.wtrcixy"qswˆHbeƒ7i2hf0ƒHvLf€{s{Š‡H©@ŽPƒ"bXrcp7ixa.­´bXazHw~9rtp7i-y9atbXdeagf€hhi…apLf0w.rcb­.atqsrtif¤-f0h!hf

y7acbXdeagf0h¥v7wcqŠƒ9d‚beƒ7{s‡fwtixrb0¢W®5–Xi2y7atqsh!qŠrcqs–XixwFf€ƒL!rP­FbbXy5ixazf0rtbeatw@©

mƒLouircp7i'fGH2SpLf@–eiˆ5ixixƒUwtix{siourtiR~5rcp7iˆƒ7iu†‰r.wcrtixyUqsw´rtbwt‡HƒHrtp7ixwcqLxi-f‚ozbeatacixwty5bXƒL‰qŠƒ9df0agocp7qÙ¸

rciozrtv9ati2¢_beaFi@fXocpb€¢Nrtp9ixh ©X¶N†‰y5ixacqŠh!ixƒHrtw´pLf@–Xiwtp7b0­.ƒ!rtpLf€rFrcp7i-Hiozbehy5bXwcqŠrcqsbXƒqŠƒHrcb 'F3GN32Nqsw´ƒ7bXr

wcv 8ozqsixƒHr«eHixy5ixƒLHqsƒ7d-beƒrtp7i.rP‡Hy5ixw´b0¢Rrtp7i.ix{sixh!ixƒHrtwy9atb7ozixwcwti!qsƒ7wtqªHi.f'F3GN32x~0rtp7iˆf€agocp7qsrti@ozrtv7aci

ozbev7{ªU5i-agf€rtp7ixa-HqRixati…ƒ?r@©5mˆƒ"ix{sixh!ixƒHrˆoxf0ƒ/pLf@–Xi2rtp9i‚rP‡Hy5i-wtqsƒ7de{Ši…rtbXƒ§~7yLf€qŠa@~HrtacqŠy9{Ši…r~S©s©Š©s~eixrgof0ƒ5

5iozbehy5bXwci"b€¢‹qsƒHrti…dXixa@~NocpLf€agfXourtixa@~Sixrgo0©§m)yLf€qsab€¢‹qsƒHrti…dXixacw²f€ƒL fByLf0qsa2b0¢ˆocpLf0azfXozrcixatwpLf@–ei²f

HqRixati…ƒ?rrP‡HyLiX©9mˆw2f0ƒiu†9f€hy7{siX~Hozbeƒ7wtqªHixartp7i 'f 2s:A&'(ˆ«

7

;Rt

^

?)V

\8

;\

?Z# t;

\ ?

lixhi…hLixa§rtpLf€rFrcp7qswW'FGH32%f€y7y7{sqsixwrtp9iˆwgf€hi´bXy5ixagf€rtqsbXƒrcb²f€{s{7rtp7iix{sixhi…ƒ?rcwb0¢Rrtp9iˆhv7{srtqswcixr

v7ƒHrcqŠ{Rƒ9bix{sixhixƒHr´wgf€rtqswP®Li…wˆrtp9i‚ozbXƒ5HqsrtqsbXƒ5t©H .­Fboxf€wtixw2hf@‡5ibe7wti…at–Xi@$«

rtp7irP‡?y5i2b0¢ \ qswˆHqôixacixƒHr´¢_atbeh rcp7i2rP‡HyLi-b€¢ ;\ ?x~

rtp7irP‡?y5ixw.b€¢ \ f€ƒL ;\ ?f0ati2qªHixƒHrcqo…f0{P©

èsÚ0Õ=Ѩß

ŽPƒ!rtp7il®Latwcrˆoxf0wci;_rP‡HyLi;\ ?V rP‡?y5i; ; \ ?E?(?x~5qÙ¢Nf0ƒ!ix{sixhi…ƒ?r \ acifXourtw~9qsrF­.qs{s{75ircagf€ƒ7wP¢_beath!iqsƒ

ƒ V ;\ ?x©5mˆwrtp7irP‡?y5ib0¢ ƒ qsw‰qRixacixƒHrˆb0¢rcp7i-rP‡HyLib0¢ \ ~H­Fif0atiwtv7aci‚rcpLf0rqŠr.­.qs{s{Rƒ7ix–eixa2atifeozr

f€d?f0qsƒW©HmZy5bXwcwtqs7{si2w eix{sixrtbeƒBf€agocp7qsrti@ozrtv7aci‚qsw-«

 .p9iˆ5b@†‰i…w

f€ƒL<t wtrzf0ƒLatixwcyLiourtqs–Xix{s‡!¢_beartp7i-feozrtqsbXƒf€ƒLrcp7i2atifeozrtqsbeƒW©H .p7i t Lb@†‰atqs–Xixw

fhv7{srcqŠy9{Šiu†‰i…a­.p7qªocpW~7fXoxoubXag‰qŠƒ9drtbrtp9i‚ozbXƒ5HqsrtqsbXƒUozbXh!y7v7rgf€rtqsbXƒ§~0bXv7rcy7v7rcw \ bXa ;\ ?x©

ŽPƒ/rtp7iwtioubXƒLºoxf0wci ;=rP‡HyLi; \ ?V rP‡HyLi; ; \ ?(?(?…~WqÙ¢Ff0ƒ/ix{sixhixƒHr \ atifeozrtw@~ ;\ ?ˆhv9wtrˆ5i-rcixwtrci

wcqŠƒ5ozi-qsr.hf@‡atifeozrˆf0dHf0qsƒW©HmZy5bXwcwtqs7{si-f0agocp7qsrciozrtv9ati-qsw-«

!

 .p9qŠw´wti@ozbXƒL/f0agocp7qsrciozrtv9atiqŠw.h!bXaciozbehy7{siz†f0ƒL!qshy9{Šqsixw´fhbXaci.wtbey7p7qswtrcqo…f0rti@"ozbXƒHrcatbX{P©

£9bXa°ifXocpJ'FGH32u~HHqRixatixƒHr´w eix{sixrtbeƒf0azocp7qsrtiozrcv7ati…wˆf0atiy7atb0–HqªHi‰ixyLi…ƒLHqsƒ7dbXƒrtp9iHqRixatixƒ5ozi

b€¢Frtp7iqŠƒ9y7v7r2€bXv7rcy7v7rrP‡?y5ixw@©R .p7i‚ocp7beqoui‚b€¢%rcp7iatqsdXpHrB'F3GN32‹o…f0ƒ"5i²‰bXƒ7i‚f€v7rtbehf€rtqªoxf0{s{s‡?‡"f€ƒ

f€ƒLf0{s‡Hwtqsw.b0¢Srtp7i2y7acbXy5ixatrcqsixw2b0¢Nrcp7i

¢=v7ƒLozrcqŠbeƒW©

 .p9i‚qªHif!5ixp7qsƒL/rtp7iaciz®Lƒ7i…hixƒHr2b0¢.rtp7i‰iozbXh!yLbewtqsrtqsbeƒqsƒS'fGH2.qsw2rtbUwtqsh!y7{sq¨¢=‡pLf€agH­.f0aci

h!iocpLf0ƒ7qswch ©0ŽPr.­.qs{s{RLi¢}f€wtrcixaf€ƒL!­.qŠ{s{5wgf@–ei £S`¤ mZatixwcbXv7azozixw©

 .p9iˆ®5ƒLf0{RwcrtixyUqswFrcbf0wcwtixh7{sirtp7i'FGH32u©e .p7i-ozbeh7qsƒLf0rcqŠbeƒ‚beyLi…agf0rcbXacw

*

f0ƒL".Zrti…{Š{Rv9w.p7b0­

rcp7qswFf0wcwtixh7{s‡2hv7wcrN5iˆHbeƒ7iX©emozrcvLf0{s{s‡?~@­´i´¢_b7ozv7wbeƒ7{s‡2bXƒrtp9i

*

beyLi…agf0rcbXa@~XwcqŠƒ5ozi.hf€ƒ?‡2y7acbXdeagf0h!w

qsƒLoz{svL‰qŠƒ9drtp7i . beyLixazf0rcbXao…f0ƒ"5i-ati…­.atqsrtrcixƒ v9wtqsƒ7dbeƒ7{s‡rtp7i

*

bXy5ixazf0rtbea©R£9v7atrcp7ixath!bXaciX~7­.acqŠrcqsƒ7d

( ] * ( , {sifX‰wƒLf0rcv7agf€{s{Š‡2rcb‚ozbXƒ9wtqªHixacqŠƒ9drcp7iˆacixwtv9{Šrcwb0¢( , f0wS5ixqsƒ7d-yLf€wtwti@f0wFf€ƒ²f€atdXv9hixƒHrSrtb)(

] ©

 .pHv7w@~Lrcp7i8(

]-*

($,ozbeh7qsƒLf0rcqŠbeƒozbXacatixwcyLbeƒLHw-rcbfy7qsy5ix{sqsƒ7i-b0¢rcp7i 'F3GN320(

]

f€ƒL/(-,-f€wˆwtp9b0­.ƒ

®Ldev7ati!jX©

ŽPrhv7wcr-Li!yLbeqsƒ?rci$bev7rrtpLf€r‚rcp7iUyLf0azf0{s{six{FbeyLi…agf0rcbXa ;.?qsw‚h!bXaciHq98ozv7{sr-rtbºqshy7{sixh!ixƒHr©

`Sqsy5ix{sqsƒ7qsƒ7d-rtp9iB'FGH32;=v7wtqsƒ7d-rcp7i . beyLi…agf0rcbXa?qsw´rtp7ixƒ!ƒ7bXr°yLbewtwtqs7{siX©Hµ2f0rzf2y7atb7Hv5ozi!H‡²f'F3GN32

" # " r õ´Ø0ä¨éªÑ¨Ò=Üté

èù

õ´Ø0ä¨éëѨÒ_Ücé

#%$

Ï

£Wqsdev7atijX«Hqsh!y7{sixhixƒHrzf0rtqsbeƒ-b0¢rtp9iwci ev7ixƒHrtqªf€{Nozbeh7qsƒLf0rcqŠbeƒ<(

] *

(-,

æ§æUÚqïxïuüsr

hv7wcrˆacixrtv7acƒ¡rcbrtp9iqŠƒ9y7v7r2hv7{srtqswti…r~7qsƒºbXazHixa2rtbU5iozbXh!y7v7rti@UH‡"rtp7ibertp7i…a'F3GN32x©5ŽPƒf®Lacwtr

f€y7y7atbHfXocpU­Fi-Hqswzoxf0azUrtp7qsw.y5bXwcwtqs7qs{sqŠrP‡¢_bea.rP­Fbhf€qŠƒacif0wcbXƒ7w@«

hbewtr´b0¢Nrcp7i-y7acbXdeagf0h!w‹o…f0ƒULi­.atqsrtrcixƒUv7wtqsƒ7dbeƒ7{s‡rtp7i

*

bXy5ixazf0rtbea©9 .p7i-iz†7y7acixwtwcqŠƒ9doxf€yLf@¸

7qs{sqŠrP‡b€¢%¤-f€hhfqsw.rtpHv7w.acixwtrcatqªozrti@"7v9r.qŠw.wcrtqs{s{Wf0ƒ!qŠƒHrcixatixwcrtqsƒ7dUozbXh!y7v7rgf€rtqsbXƒ5f0{7h!b‰‰ix{P©

bXƒ7ib0¢Nrcp7i-hUf0qsƒbXXŒzi@ozrtqs–Xib0¢Nrcp7qswˆ­´bXa4qsw.rtbqsƒH–Xixwcrtqsd?f€rti2rtp9i‚`5mI= wt‡HƒHrtp9ixwtqLxi-y9y7atb7ozixwcw©

 .p7i2atixwcrtacqourtqs–Xihb7Hix{5qsw.if0wcqs{Š‡wcv 8ozqsixƒHr.¢=bXa´rtpLf€r.y7v7aty5bXwciX©

e

 .p7ipLf€agH­.f0aci-y7{ªf0r ¢_bXach)­Fiv7wci-qswˆrtp9i‚`ˆ¹ô¸µ2¶·Z`§ixac{siz¸ujLbHf0azeCí‘D©9ŽPrˆqsw.Lf€wti/bXƒ"rcp7i‚`5m=

;P`SatbedXagf€hhUf07{siSmozrcqs–XiW=Uixhbeat‡H?-CK4D9oubXƒLozi…y7r«@{sqXi..m=)h!ixhbeat‡.hb7Hv9{Šie~f2`5mI= qsw%f€rtrzfXocp7i

rcb-rtp7i´wt‡Hwcrtixh)9v7wSb0¢Wfˆp9bXwtrozbehy7v9rtixa@©0 .p7i.y7acb‰ouixwtwcbXa.oxf0ƒ­.atqsrti.qsƒHrtb5~0f0ƒLatife¢_atbehrcp7i‹`5m=$©

@°ixqsƒ7df0ƒfeozrtqs–ei.pLf0azH­‹f€ati2ozb0¸Py7atb7ozi…wtwtbeaˆp7b0­´ix–eixa~ertp7i-`5m=¥y7atb7ozixwcwtixw-7f€rgf25ixrP­´ixixƒU­.atqsrcif0ƒ5

acifX/qsƒ7wtrcatvLozrcqsbXƒ7w@©R .p7iwty5iozqÙ®ôoy7acb‰ouixwtwcqŠƒ9dqsw-Hixrcixath!qsƒ7iUH‡Urtp7ioubXƒHrtixƒHr2b0¢´qŠrcwl/ %) A %'F

s 0©

 .p9i `§ixac{siz¸uj25b?f€ag!qsw.7v7qs{sr‹f€atbev7ƒLUf{ªf0atdei-f0atazf@‡b0¢7qsrP¸P{six–Xi…{WozbXƒH®5dXv7azf07{si2{sbXdXqªoozix{s{sw©7 .p9qŠw

f€atagf@‡Uqsw.wtv9atatbev7ƒLHi@"H‡{sb7oxf€{N.m= Lf0ƒ Hwv7wti/f0wfo…fXocp7iX~Rfy7acbXdXazf0h!hf09{Ši.oz{sb7o4deixƒ7ixazf0rcbXa

f€ƒL!wtbXh!ife7HqsrtqsbXƒ5f0{5{ŠbedXqªo.rcbhf€ƒLf0dei.rtp7i2p7bewtrˆ9v7w.qsƒ?rcixaP¢PfXoziX©

 .p9iozixƒHrtazf0{.ozbXh!y7v7rgf€rtqsbXƒ5f0{Nf€atazf@‡ ozbXƒ9wtqswtrcw‚b€¢lfU’S’hUf0rcatqن"b0¢ˆqs{sqŠƒ‰†ˆ·W4e“X—e“y9atbXdeagf€h¸

hUf07{si2d?f€rti‚f€atagf@‡HwCDt©5£7bev7a+4X‘\¸}7qsr.­.qªHi‚lmI=+5f0ƒ HwB;zj=U@°‡Hrtixw?f€ati-y9atb0–HqªHiUbeƒ"ifXocp"wcqªHiX©

 .p7ip7bXwcr.7v7w.qsƒHrtixa ¢}fXoziqŠw.f Sv7at5b?·´p5f0ƒ7ƒ7i…{WqsƒHrtixa¢}fXozi-Hi…{Šqs–eixatqsƒ7dfUj“e“=U@°‡Hrtixw 20wLf0ƒL‰­.qŠrcpW©

`%atbXdeagf€hhqك7d$`Wi…at{siz¸xjoubXƒ7wcqŠwcrtwUb0¢Hixwgouatqs7qsƒ7d'f0ƒZf0azotp9qŠrciozrcv7ati$v7wcqsƒ7d'f0ƒ'beXŒziozrUbXacqsixƒHrti

{ªf0ƒ9dXvLf€dXi ;}·..?-f0ƒL/7v7qs{srP¸Pqsƒ"y7acqŠh!qsrtqs–Xi¢_v7ƒ5ozrtqsbXƒ9w©=UbeatiozbehyLfeozr‰ixwtqsdXƒ9w-hf@‡U5ifXocp7qsix–Xi@

H‡oubXƒHrtacbX{s{sqŠƒ9d‚rcp7i2y7{ªfXozi-f0ƒ5acbXv7rci2y7atb7ozixwcw-Hqsatiozrc{s‡H‡wcb0¢_rP­.f0aciX©

ŽPƒºbXazHixartb"hUf0ƒLf€dXi-i38ozqsixƒHrt{s‡f®Lacwtrqshy7{sixh!ixƒHrgf0rcq¨beƒb€¢I'F3GN322bXƒ$`Wi…at{siz¸xjX~§­Fiqshy5bXwci

wcbXhiatixwcrtacqourtqsbXƒ7w«

bXƒ7{s‡beƒ7i'fGH2´yLixa2£S`¤2m‚~

j ¸}7qsr.7f0rzf0yLf€rtpW~

v7wtib0¢Nrcp7i-h!ixhbeat‡-beƒ7{s‡q¨¢Sƒ7iozi…wtwgf€at‡H©

mw.rtp7i2hf€rtacq¨†qsw‹f’S’hf€rtatqنW~Xfhf\†‰qshv7hZb0¢.j 'fGH2Fo…f0ƒ5i2qshy7{sixh!ixƒHrtiR©€mozrcvLf0{s{s‡?~ertp9qŠw

qsw-ƒ7ber2atif€{Š{s‡"acixwtrcatqªozrcqŠ–eiwcqŠƒ5ozirtp7ihUfxŒzbeatqsrP‡b€¢l¤-f€hhfy7acbXdeagf0h!woxf€ƒ 5i­.atqsrcrtixƒ$v7wcqsƒ7d"–Xi…at‡

¢_i…­ 'F3GN32x©

 .p9iƒ9iz†7rwtiozrcqsbXƒMy7ati…wtixƒHrtw"f€ƒ¡iz†7y5ixatqshi…ƒ?r­´ip5f@–Xiy5ixa ¢_bXachi qsƒ¡beagHixarcb$–Xf0{sqª7f0rcibXv7a

f€y7y7atbHfXocpW©

2´0 ‚#

 .p7idXbHf0{Rb€¢Frtp7iiz†7yLixacqshixƒHrˆ­.f0wrP­Fb€¢_bX{ªR©7£§qsatwcr~5­´i-­‹f€ƒHrtiUrcbHi…hbXƒ9wtrtazf0rci-rtpLf€rˆrcp7i²`§ixac{siz¸uj

5b?f€ag!qsw‹fwtv7qsrzf07{siˆy9{f€rP¢_beath rtbwtv9y7yLbeatr.rcp7iˆqshy9{Ši…hixƒHrgf€rtqsbXƒb0¢'F3GN32x©AO‰iozbXƒ5R~H­Fi2­.f0ƒHrti@rtb

èsÚ0Õ=Ѩß

wcp7b0­;rcpLf0rˆfhfeocp7qsƒ7iHi…atqs–Xi¢_acbXh)p9qŠdep{six–eix{Rwty5iozqÙ®ôoxf€rtqsbXƒ9w~7wcvLocp f0wˆ¤f0hhf9~@hf@‡pLf@–XiyLixa ¸

¢_beathUf0ƒLozi´f0wSdXbHb7‚f€wNf¯beƒ‚±.ixv9hf0ƒhfXocp7qsƒ7i°iz†7iozv7rcqŠƒ9d fwci ev7ixƒHrtqªf0{9y7atbedXagf€h ©zmwFf.–Xf€{Šqª7f€rtqsƒ7d

iz†Lf€hy7{siX~H­´i-otp9b?bewti2rtp9i-y7atqsh!i.¢}feozrtbeatqLf0rcqsbXƒy9atbX9{Ši…h ©

cke\b/ \

m ¢_v7ƒL9f0hi…ƒ?rzf0{rcp7ixbeatixh¦b€¢f0acqŠrcp7hi…rtqªo-wcrgf€rtixwrcpLf0r-i…–Xixac‡¡y5bXwtqsrcqŠ–eiqsƒ?rcixdXi…a 0Moxf€ƒ¡5i­.atqsrcrtixƒ

f€wfy7acb‰‰vLozrˆb€¢y7atqshi…wˆf0ƒL!rtp5f0rˆrcp7qswˆHiozbehy5bXwcqŠrcqsbXƒqsƒ"v9ƒ7q"Xv9iX©7 .p7qsw´¢}feozr.dXqs–eixwfbeƒ7iz¸Prtb0¸PbXƒ9i

ozbeatacixwty5bXƒL‰ixƒLozi!LixrP­´ixixƒ$y5bXwcqsrtqs–Xi-qsƒHrti…dXixacw f€ƒL"fhv7{srcqŠwcixr.b0¢y7acqshi2ƒHv7hLi…atw«9¢_bea.iz†Lf0h!y7{siX~7qÙ¢

0JV j‘X“TV;‘

4 rtp7i‚oubXatacixwty5bXƒ5Hqsƒ7dhv7{srcqŠwcixrqswg\‘9~í‘7~í‘7~K47~

j ©

 .p9iˆy7acqŠh!i´¢}fXourtbXacqLf0rcqŠbeƒ¤-f€hhfly7atbedXagf€h)oxf0ƒU5iiu†‰y9atixwcwti"f€w‹fozbeh7qsƒLf0rcqŠbeƒ‚b€¢ y9atqshqÙ¸

rcqŠ–ei2y7atbedXagf€hw2«

¢PfXozrcbXas;=ƒ1? ;

*

)

* ’ *

B4

*

‘

*

j%?g0;}‘ ^ 0?

] j

­.p9ixati

j ; ^ ? ] ; ^ ?\, ^ ; . j ^ ? ]

#

‘ ; ^ ? ] ; ^ ?\,#

"4 ; ^ ?\, #v<wcy{~}zy‚;^ ?

’ ;

^

? , ^

;

^

? ,

;

^

? , # vxwzy|{~}€cy‚;

^

s?

;

^

? ,

;

^

? , ^ # v<wcy{~}zy‚;

^

?

B4

 .p9i‚qsƒ7qsrtqªf€{Nhv9{ŠrcqswtixrqŠw-ozbehy5bXwci"b€¢‹f!yLf0qsa@~);}‘9~0?…©5 .p7atixi‰qRixacixƒHr‚rP‡Hy5ixw-b0¢´ix{sixhixƒHrcw f€ati

y7acixwti…ƒ?r«HyLf€qsatw.b0¢SrP‡HyLije~Hƒ7bXrci#;

^

? ]

~9yLf0qsacwFb€¢%rP‡Hy5i-‘7~Hƒ7bertio;

^

? , f0ƒLwtqsƒ7dX{sixrcbXƒ7w@©

 .p9i-wti ev7i…ƒLoziU;-‘

*

j?Tg0;}‘

^

0?

] j

y7acb7HvLozixwfhv7{srtqswcixr.b0¢Fy5f0qsatw";R}

^

0?,-­.p7i…ati‘ } 0S©

B4acixhb0–eixwˆf0{s{RyLf€qsatw;R}

^

0?\,2­.p7qªocp"HbHixwˆƒ9bXrˆwzf0rcqŠw ¢_‡rcp7i‚ozbeƒLHqsrtqsbeƒ'}B$&%321%'+$ Z $0 ;_ƒ7berti

vxwzy|{~}€cy‚;H}

^

0?(?…©Rm.¢=rtixa-rcp7iiz†7iozv7rcqŠbeƒ b€¢ 2’5~7rtp9i‚hv7{srcqŠwcixroubXƒHrgf€qŠƒ9wˆrtp9i‚yLf€qsatw;R}

^

0?,-­.p9ixati<}

qswˆfy7acqŠh!iˆf0ƒL5}‰qŠ–HqªHixw 0S©! -y7acb7HvLozixw2rcp7i2y7atqshil¢}fXourtbXaˆf€ƒL" atixh!b0–Xixw´rtp7iHbXv79{ŠiyLf0qsacw©

¶°fXocp y9atqshqsrtqs–ei-y7atbedXazf0h qsw2rtp9ixƒ¡f0wcwtb7ozqªf0rciº­.qsrtp$fo'fGH2x©5 .p7iozbeatacixwty5bXƒL‰ixƒLoziU5ixrP­Fi…ixƒ

rcp7i‚y9atqshqsrtqs–eiˆy7acbXdXazf0h!w‹f€ƒLUrtp9i 'F3GN32Fqsw‰bXƒ7i-H‡"f0ƒ5f0{s‡ Lxqsƒ7d‚rcp7iqŠƒ9y7v7r2€bXv7rcy7v7r.rP‡Hy5ixw©Rmwf€ƒ

iz†Lf€hy7{siX~5rtp9iy7acqŠh!qsrtqs–Xi-y9atbXdeagf€h#jqsw‚f!yLf0acrtqªozv7{ªf€a iDGH1$0s­.p7qªotpºrgfXixwbXƒ9iyLf0qsa2b0¢.rP‡HyLi

; ^ ? ] f€ƒL!y7atb7Hv5ozixw2rP­FbyLf€qŠacw.b0¢HqôixacixƒHrˆrP‡Hy5ixwB;E; ^ ? ] f0ƒL ; ^ ? , ?x©

æ§æUÚqïxïuüsr

# $

r

£§qŠdev7ati-‘9«Hy7atqshil¢}fXourtbXacqLf0rcqŠbeƒqshy9{Ši…hixƒHrgf€rtqsb0ƒbXƒ"`§ixat{siz¸xj

x

 .p7i´®5dXv7aci.’L©í‘.wcp7b0­.wSrtp7i.qshy9{Ši…hixƒHrgf€rtqÙbXƒ‰bXƒ7i.beƒ‚rcp7i‹`§ixac{siz¸ujlLbHf0ag¬© .p9i'fGH2Nf€ati´y7qsyLi…{Šqsƒ7i@

¢_acbXh rtp7i.qsƒ7y7v9rUrtbrtp7i.bev7rty7v9r© mƒ7iˆ£S`¤2m'ozbXƒHrzf0qsƒ7wbeƒ7i+'F3GN32Wiz†Lozi…y7r¢=bXaSrtp7i'F3GN32

ozbeatacixwty5bXƒL‰qŠƒ9drtb ’L©

m2ozrtv5f0{s{s‡?~zrcp7qsw-'FGH32ôaci ev7qsatixwSrcbˆhfXiSrti…wtrSbXƒ-rP­´b.ix{sixh!ixƒHrtw-;=wgf@‡ ]

f€ƒL , ?…© Sb.5iFi38ozqsixƒHr~

qsr­.f0wF‰iozqªHi­.p7ixƒ‰iz®Lƒ7qsƒ7d-rcp7i'FGH32Nw4Xix{sixrcbXƒf0azocp7qsrtiozrcv7ati2rcb-qshy7{sixh!ixƒHrWozbXƒLouv7atacixƒHrt{s‡rP­Fb

rcixwtrcw;Ht;

]^

, ?.f0ƒ5'tl; , ^ ]

?(?´wtqsƒLoui-LbertpUati@fXozrcqŠbeƒ7wˆp5f@–XiˆrcbLiix–Xf0{svLf€rtiR©

ŽPƒ rtp7iUy7acixwti…ƒ?ro…f0wtie~rtp9iBoubXƒLHqsrcqŠbeƒ$pLf0wrtb$Hixrcixath!qsƒ7iqÙ¢ ]

qŠwf/hv7{srtqsy7{si‚b€¢ ,­.p9qocp qŠw

ƒ7ber-f{sb0­ozbewtr-beyLi…agf0rcbXa-qsƒ"rcixath!w2b0¢‹·.¹ @Zati…wtbXv9agozixw@©S Sbhqsƒ7qshqLxi2rtp9i‚wcqiL…ib0¢.rtp7qsw2bXy5ixagf€rtbea~

qsr´pLf0w´Li…ixƒ"qshy7{sixh!ixƒHrtiv7wcqŠƒ9d²f-‰qŠ–HqswtbeaFbeyLi…agf0rcbXa.y7acb7ozixiHqsƒ7dwci ev7ixƒHrtqªf€{Š{s‡H©0 .p7i-Hqs–HqswtqsbXƒwcrtixy

aci ev7qsatixw2rP­´b‚beyLixazf0rcqŠbeƒ7w~5f-wcp7qÙ¢_rˆf0ƒ5fwtv97rtazfXozrcqŠbeƒe;_­.p9qocpUf0atiHbXƒ7i2qsƒy5f0agf€{s{Ši…{?…©

ŽPh!y7{sixhi…ƒ?rcqsƒ7dUrtp7qswJ'FGH32‚qsƒMbXƒ7{s‡$bXƒ9i £S`¤2m qswƒ7ix–eixatrcp7ix{sixwtw/yLbewtwtqs7{si"qÙ¢2bXƒ7i"fXo…ozixy7rUrtb

Hi@ozatif€wti2y5ixaP¢_beathUf0ƒLozi…wFH‡-y7acb0–Hq‰qŠƒ9dbeƒ7{s‡-bXƒ9i.atifeozrtqsbXƒbeyLi…agf0rcbXa@©X .p7i.rP­´b-ozbXƒ5HqsrtqsbXƒ7w´f0ati.rcp7ixƒ

ix–Xf€{svLf0rci!wti ev7ixƒHrcqf€{s{Š‡H©

xJ - e1 -\

 .p7i.qsh!y7{sixhixƒHrgf€rtqsbXƒpLf0wS5ixixƒozbehyLf€ati2­.qsrcp²fš X X(=7œFf€{sdXbXacqsrtp7hZ­.acqŠrcrtixƒqsƒ‚·¡f€ƒLiz†7iozv7rci

beƒrP­´blOHv9ƒ­´bXa Hwcrgf0rcqsbXƒ7wT;fOHy5f0agog¸ ‘f€ƒL OHy5f0agog¸uj@“&?x©H .p9if0{sdebXatqsrcp7h ~@{sqXiˆrcp7i-¤-f0h!hf.y7acbXdeagf0hº~

wcif0azotp9ixw®Latwcr.¢_bea‹fy7acqshiˆƒHv7h5ixa´­.p7qªocpB‰qŠ–HqªHixw0S³7rcp7ixƒUqsr.y7atb7Hv5ozixwˆrcp7i-y7acqshi´¢}feozrtbeatw«

! "

#$&%(')*"+)-,../"0)1213-4 5268729:$7;<$7*:$<7>=?625

èsÚ0Õ=Ѩß

)#'2'/ )23- 34

=>"

) '2' ,..3 '2') 3 323-4

121("

)#' 3-4

2121("

) "

#$&% ')>=>" )-,.2(" )1213-4 526<7:$<7:625

</"

) '2'

) 3 2 3-4

%>)/

# ' !

) 3 "

5

) "

 .p9iHqªf0deagf€h5ix{sb0­'wtp7b0­.w´rtp9iˆiz†7iozv9rtqsbXƒUrtqsh!iF–eixatwcv7w.rtp7iƒHv7hLi…a0S©X .p9iy5ixa¢_bXachf0ƒ5ozixwb€¢

rcp7i-¤-f0h!hf.hUfXocp7qsƒ7iˆf€ati2wtqsrtv5f0rti@5ixrP­Fi…ixƒ"rtp9iy5ixa ¢_bXachf0ƒ5ozixw.b0¢Wrcp7i2rP­FbOHv7ƒUOHy5f0agoOHrzf0rcqŠbeƒ7w©

 .p7qsw.qshy9{Ši…hixƒHrgf€rtqsbXƒHixh!bXƒ7wcrtazf0rti…wˆrtp5f0r.v7wcqŠƒ9dwtv7qsrgf€7{si-f0agocp7qsrciozrtv9ati¢_bXa.iz†7iouv7rtqsƒ7d!p7qsdXp{six–eix{

y7acbXdeagf0h!hqsƒ7d{ªf€ƒ7dXvLf€dXiX~zwcvLocp²f€wN¤-f€hhUf7~PhUf@‡.y7atb0–HqªHiy5ixaP¢=bXathUf0ƒLouiFf0w§dXbHb7-f0wSf´¯bXƒ‚±lixv7hUf0ƒ

hUfXocp7qsƒ7iˆiu†‰i@ozv7rtqsƒ7dUf-wci ev7ixƒHrtqªf€{Wy7acbXdXazf0hº©

Ú

"$#%'&)(

r+*

# , &'-,

r

"$#%'&)(

#

#

*.*/*/*

*0*/*/*

*.*/*/*

*21

#

*21

*21

Ò_Ücç

æ§æUÚqïxïuüsr

## °

µixacqŠ–Hqsƒ7d"f£S`¤ m f0azotp9qŠrciozrcv7ati¢_atbeh p7qsdXp"{six–eix{y7acbXdXazf0h!hqsƒ7dhb7Hix{§v7wtqsƒ7dUrtp9iozbXh!yLbewtqsrtqsbXƒ

b€¢%y9atqshqsrtqs–eiˆy7acbXdXazf0h!w+;E'fGH2(?.qswˆfy7acbXh!qŠwcqsƒ7d²f€y7y7acb?fXocpW©9ŽPƒH–Xixwcrtqsd?f€rtqsbXƒ!¢_bea.qŠh!y7{sixhi…ƒ?rcqsƒ7d2rtp7i

¤-f€hhUf´¢_beathf€{sqŠwchbeƒrcp7i‚`§ixac{Šiu¸uj-£S`¤2mZy9{f€rP¢_beath pLf€w.wtp7b0­.ƒUrtp5f0r.qsr.qswFacif0{sqswtrcqo€©

 .p9iFƒ7iu†‰r°wtrti…yqŠwSrcb f€v7rtbehf€rtiSrtp7qswf0y9y7atbHfXocpW©X`Sacixwti…ƒ?rc{s‡?~0wcyLi@ozqÙ®ôo.w4Xix{sixrcbXƒf0agocp7qsrciozrtv9atixwˆozbeaP¸

acixwty5bXƒL‰qŠƒ9drtbf-wcixr.b0¢Wy7acqshqsrtqs–Xi.¤-f€hhfly7atbedXazf0hw°pLf@–XiLixi…ƒB‰iz®Lƒ7i¬©L£9atbXh rcp7ixwtiw Xi…{Ši…rtbXƒ9w~

rcp7iocpLf€{Š{sixƒ9dXi´qŠw°rtb2wt‡HƒHrtp7i…wtqLxi2i8ozqsixƒHrW'F3GN32Nf0ƒ5R~0dXqs–eixƒ‚rcp7ixwciB'FGH32u~€rtb2y7{ªfXozi.rcp7ixh bXy9rtqshf€{Š{s‡

beƒrcp7i‚£S`¤2m hf€rtacq¨†W©

O‰b0¢_rP­.f0aci.rtbHbX{swy7acb0–Hq‰i­.qsrtprtp9i`§ixat{siz¸xjLbHf0agf€{s{Šb0­MHqsatiourFwc‡?ƒHrcp7ixwtqsw.qsƒrtp9iˆwgf€hi´­‹f@‡f0w

¯2¹OHŽF‰ixwtqsdXƒ§©H .p7iˆrcb?be{swFwcv7y7y5bXatr´qsƒHrtixazfXozrcqŠ–eiˆy7{ªfeozixhi…ƒ?r´b0¢Wrcp7i·.¹ @w@~7f0{s{sb0­.qsƒ7d2rtp7i2Hixwtqsdeƒ7ixa.rtb

ozbeƒHrtatbe{Hrtp7i´pLf0azH­.f0ati´rtbeyLbe{sbXdX‡b0¢Lrcp7iFHi…wtqsdXƒW©0¶§†7y5ixatqsh!ixƒHrtwSpLf@–Xi°wtp7b0­.ƒ-rcpLf0rSf&%$´f0wcwtqsdXƒ7h!ixƒHr

b€¢Frtp7i·.¹@°w2­.qsrtp"f¢_i…­JAH$ /s CA02‹acbXv7rcqsƒ7dHqsaciozrtqs–eixw2hf@‡qsƒLozacif0wci²ozbeƒ7wtqªHi…agf09{Š‡/rtp7i£S`¤2mˆw

y5bXwcwtqs7qs{sqŠrcqsixw«Hrcixhy5bXazf0{Ry5ixaP¢_beathUf0ƒLoziqsw.Lixrcrtixa-f€ƒL·.¹ @w2f0ati2ioubXƒ7behqLxiR©

X2,1

CsjD-”5©`S© @Ff€ƒ f0rcatif0ƒL/µ‚©5¹Ri= ixrgf@‡eixa©2`SatbedXazf0hh!qsƒ7d-H‡Uhv7{srtqswtixr´rtazf0ƒ7w„ ¢_bXachf€rtqsbXƒW©B/:AAb

/%'F 2%' 'H+,)!"~H4 ;gj%?x«í— jXjejX~tŒ…f0ƒ j@—X—047©

Cí‘%D‚`S© @i…atrtqsƒW~7µ©H.beƒLozqsƒW~Hf0ƒL”L©H¯v7qs{s{sixhqكW©5ŽPƒHrtatb7Hv5ozrtqsbXƒ!rtby7atbedXazf0hhUf07{ÙiFfXourtqs–Xihixh!bXatqsixw@©

ŽPƒº”L©=/o7'p7qsatrcixa-”5©="ox·.f€ƒ7ƒH‡f€ƒL ¶l©OH­.f0atrELx{ªf0ƒL‰ixa~Ri@HqsrtbXacw~ %2'(9 /B, %/2232u~

yLf€dXixw+4e“7j

4X“e—7~H`Sati…rtqªozif0{s{P~Rj— —7©

CK4%D‚`S© @i…atrtqsƒW~5µ©?lbXƒLozqsƒW~Hf0ƒ5”L©H¯v7qs{s{sixhqsƒW©R`SacbXdeagf0h!hf€7{¨i.fXozrcqs–Xiˆh!ixhbeatqsixw.«Hf-y5ixaP¢=bXathUf0ƒLoui

f€wtwti…wtwth!ixƒHr©SŽPƒ£´©&=Ui…‡Xixa.f0vH¢WHixa.ixqªHiX~ @©A=Ubeƒ7qsixƒW~Xf€ƒLm‚©í¹©XlbXwcixƒHLixacdL~eiHqsrtbeatw@~H>i

,/ '/3'RA 2+1$l' Hs ZI / 'A02…~eyLf0deixwjej— j4e“7~X¹¬iozrcv7ati2ƒ7bertixw´qsƒ·´bXhy9v7rtixa O7ozqsixƒLozie~

OHy9atqsƒ7dXi…aP¸P¯ixat{ªf€dL~Hb7ozr-j—e—X‘9©

C’D‚·2©f0ƒ HqsƒW~Xµ©X¹¬i+=Uixrzf@‡Xixa@~?f€ƒLµ©&O7f0ƒ5Hw©§m;`Sf0azf0{s{six{L`SacbXdXazf0h!hq¨ƒ9d+OHrP‡H{Šiˆf€ƒLqŠrcwmˆ{sdeix7agf

b€¢%`SacbXdXazf0h!w© /3'HAAB%'(2B TGzA0' / s / W1,W "!X~h; —€’A?…«4 4 ~7j@—X—047©Srtb

f€y7yLi@f0a©

C%D qŠ{sqsƒH†W© H 3 'io*+%'(,s <' %$#0©‘9j“e“ ¹¬bXdXqªo!µˆacqs–XiX~-O7f€ƒM”XbXwciX~F·´m

—P7j‘€’&%TOHm‚~Rj@—X—e‘7©

èsÚ0Õ=Ѩß

Unit´e de recherche INRIA Lorraine, Techn ˆopole de Nancy-Brabois, Campus scientifique, 615 rue de Jardin Botanique, BP 101, 54600 VILLERS L `ES NANCY

Unit´e de recherche INRIA Rennes, IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rh ˆone-Alpes, 46 avenue F´elix Viallet, 38031 GRENOBLE Cedex 1

Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

Editeur´

INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) ISSN 0249-6399