Preview only show first 10 pages with watermark. For full document please download

Tasks Design And Formal Verification

   EMBED


Share

Transcript

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE On the Validation of Robotics Control Systems Part I: High Level Specification and Formal Verification Bernard Espiau, Konstantin Kapellos, Muriel Jourdan, Daniel Simon N˚ 2719 Novembre 1995 PROGRAMME 4 ISSN 0249-6399 apport de recherche     "!#$%& ('$)*+-,. / 0%132&456798:<;< ='$>?-@BA@ 0 CDE%F,G 0 H <%&BA@  IJLKM&NOKPRQTSVUWXNOY[Z1\C]^M_S`aNbMc`WdM\eNOUfJhgigd]^SjVZfklYKWdJhg-mO]cYKP&NOM[ZfnCNbMoWpJqg-rcWdst]cMjj ufvxwqyhv{zh|$|~}@0€‚ -@BA@    Á;’ .<Á; ’%&BA@   <%1 >C 0%14'$ …%F,G<    L§  ~¬ Õ@} vxzq“Š“^wqv•„1“Šv {}h„B}f¸ˆ}Fv x‰›¸±„Bza„B–  ‰Š$}Šx}|ƒ›¸ˆ}@–Š}[„®vxzŒazh‰L°|$} }$—wa¸±¸ˆzqƒ^wqvxz…¿ „{†ˆwhC}q„®v{}-¸  zŒazhq„T“ŠvxwaŽ}„<‘f†ˆ“e–Š}¾¸  ¼• - ¼  ’˜ h”}¿ ’¸ˆ“^}@}„<¸ˆ}“Šv{wa•}„ ¼•—zqvx}T–Š}T¸  ¼• - ¼ ›wh“”˜›†ˆz ¾h„{†ˆ“^w…¸±†ˆ&zq‰›„Bwh‰Šv_–Š}@¸ˆzx“ —†±µb—za„{†ˆwh}„&–”} ¸ˆz-Œ v•†±µb—z…„x†ˆwq·iwhv{|~}¸±¸ˆ}@–  zq“Š“›¸±†ˆ—z…„x†ˆwqŠ—wq|~“›¸ˆ}®°”}} v{whƒcwa„{†ˆ‡L‰Š}a"» !-zqŠ ‰ŠŠ}T“Švx}|¡#† vx}<“”zhvŽ„x†ˆ}a‹”Šwh‰”[“”v x}q„BwhŠ1¸ˆ}<|$wa„{†±Œaza„{†ˆwh”F–Š}T—}¾„®vxzŒaza†±¸}Šwq‰Š zq“Š“Š‰›ºqzhq„Tx‰Šv’¸ˆ}Ÿƒc}xw…†ˆŠ<–Š‰H–Šwh|$za†ˆ”}a‹c}„ŸŠwq‰Š-%} $c}—„®‰ŠwqŠ ‰Š& „®z…„Ÿ–Š}¸  zqv•„T–Š}¸ˆzE'Œ v•†±µO—za„{†ˆwh }(v{whƒcw…„x†ˆ‡L‰Š} (:“Šzqv•„{†ˆv–Š}v x‰›¸±„Bza„B–›†ˆx“cwh¹†ˆƒ›¸ˆ}}Ê†ˆ›·iwhv{|~z…„x†ˆ‡L‰Š}a»¶uf‰›†ˆ$Šwh‰”– —v•†±Œqwh”¸ˆ} –Š}‰L°C}q„x†±)„  —#¸ <–Š}T¸  zq“Š“Švxw›—B˜Š}T“Švxwq“cwh }a‹L¸ˆz$+„ *q—®˜Š}Tvxwqƒcwa„<}„ ¸ˆzE“Švxw›— –”‰Švx}» 6®‹O—®˜”}—®³q†ˆŠy$xwq|~} ? A@B' +—B˜Šzqvxzq—¿ „B}v•†ˆ•„{†ˆ—C 5dzqƒŠx}Š—}’wa·„B}|~“cwhv{za¸Š–Š}zq–›¸ˆw›—B³L‹LŒ…za¸ˆ‰Š} w…·¸ˆw²@}v zh”– ‰”“Š“^}vfƒcwh‰Š”–Š@whE„®˜”}-–Š‰Šv{za„{†ˆwh w…·x“c}—†±µb—@„®zqx³L»±»±>» 60zhŠ–c‹›“cwh{•†ˆƒ›¸±ºa‹”•„®‰”–›ºL†ˆŠDy ,FEG"H?IŸ|~w›–”}¸ˆ†ˆŠ—¸ˆ‰Š–¹†ˆŠywa„B˜Š}v&³q†ˆŠ–” wa·cŒazqv•†ˆzqƒ›¸ˆ}» ¼X·-²@}CŠw²Ëzq–Šwq“›„„®˜Š}‰Š{}v  “cw…†ˆh„$wa·<ŒL†ˆ}²Ÿ‹F†±„*zq“Š“^}zqvx„B˜Šz…„˜›†ˆ~|$za†ˆÊ†ˆq„®}v{}•„†ˆ¡†ˆ¶„®˜Š} {“^}—†±µb—z…„x†ˆwqw…·—wh|$“›¸ˆ}®°E|¡†ˆx•†ˆwqŠ@wqv[zq“Š“›¸±†ˆ—z…„x†ˆwqŠf†ˆzh}zq•º~zqŠ–Exz…·Â}¾²[zºq»F֊whv@„B˜Šz…„[“Š‰”vx“cwh{} †±„†ˆ”}—}xxzqv•º’„®w –Š}µb”}&“Šv{wh“c}v•¸±º<²<˜”za„zqvx}_„®˜Š}fzh—„{†±ŒL†±„x†ˆ}+˜Š}fx˜Šwq‰›¸ˆ–˜ŠzqŠ–›¸ˆ}&zqŠ–˜Šw²:„®Jw A@B3K3 „B˜Š}|Á†ˆwqvx–”}v<„®wE|~}}„<˜¹†ˆŸv{}‡¹‰¹†ˆvx}|~}q„B»T֊v{wh|„®˜Š}Œq}v•†±µb—z…„x†ˆwqC•†ˆ–Š}a‹^„®˜Š}—wq|~“cwq•†±„x†ˆwqŠŠz…¸±†±„Xº “ŠvŽ†ˆŠ—†ˆ“›¸ˆ}¾|‰Š•„T“Švx}{}v•Œh}T„B˜Š}—wh˜”}vx}Š—}Tƒ^}„X²@}}C‰ŠŠ–”}v•¸±ºL†ˆŠyE|~z…„®˜Š}|$za„{†ˆ—zV¸+|~w›–Š}¸ˆ‹Š†ˆ:wqvx–Š}v „Bwƒ^}¾zhƒ¹¸ˆ}-„Bw“^}vŽ·Âwqvx|#·Âwqvx|$za¸c—wh|$“Š‰›„®z…„x†ˆwqŠ1za„ zqhºE¸ˆ}Œh}¸Â» - zq }®°”zq|~“›¸ˆ}a‹¹„®˜”}-‰Š{}Ÿw…·z•†ˆ”ya¸ˆ} Žº””—®˜Šv{wh”wh‰Š v{}zh—„{†±Œh}¸ˆzqŠyq‰Šzhyq}Tzh¾z~„Bzhv{yh}„ ·iwhv¾zh‰›„Bwh|$za„{†ˆ—<„BvxzqŠ•¸ˆz…„x†ˆwqE†ˆŸz$²[zºewa·f“Švx}{}v•ŒL†ˆŠy z¸ˆwqy…†ˆ—za¸•„Bvx‰Š—„B‰Švx}@²<˜”za„B}Œh}vf„®˜Š}¾—wh|$“›¸ˆ}®°¹†±„Xº*w…·„®˜Š}¾zh“”“›¸±†ˆ—za„{†ˆwhc»  —wqŠx}‡L‰Š}”—} E<% 'E@-C@ Ë    ?½     !#"%$&"%(')" ­ Š˜ }Cv{}x}zqvx—B˜Êzhv{}zÃw…·Ÿ“Šv{whyqvxzq| ·Âwqvx|$za¸@Œh}vŽ†±µb—z…„x†ˆwq¶ƒ^}y…†ˆŠ² †±„B˜¶„®˜”}*²@wqvx³¶w…·ŸÖ¸ˆwº›– 9 :-zqŠ– ¾whzqvx} 9 ¢: ·iwhv¡x}‡L‰Š}q„x†ˆz…¸ “Švxwqyhv{zh|$»:­ ˜Š}ºÊ}•„Bzhƒ¹¸±†ˆx˜Š}–:„®˜”} ƒ”zhŽ†ˆwa·’„®˜Š}Exw…¿p—z…¸±¸ˆ}–¶–Š}–Š‰”—„x†±Œh} “Šv{w›wa·Žº›•„®}|$ zhv{}z”‹¹²<˜Š}v{}†ˆ×8!C0 ¿+* 9 £:‹^u&×  9±:‹Õ&,.- 9 š3:zqvx}Txwq|~}¾·Âzq|~wq‰Š vx}“Šv{}x}q„®z…„x†±Œq} „Bw›wa¸ˆ»­ ˜Š}{}F„B˜Š}wqvx}| “ŠvxwŒq}vx1–Šw-Šw…„“c}v•·Âwqvx| ·i‰›¸±¸±ºzh‰›„Bwh|$za„{†ˆ—Œq}v•†±µb—z…„x†ˆwq^‹…ƒŠ‰›„„B˜Š}º–›†ˆx—B˜Šzqvxyq} „B˜Š}Ÿ‰”x}v@·Âv{wh|3„B}–›†ˆwq‰Š@„®zqx³L zqŠ–Cza¸±¸ˆw² ˜¹†ˆ|Á„®w—wqŠ—}q„®v{za„B}» 6®»¶­ ˜”}whv{}„x†ˆ—z…¸&„®w›w…¸ˆ·Âwqv•„B‰Š–›ºL†ˆŠye{‰Š—B˜¶˜hº›ƒŠvŽ†ˆ–¶•º›•„B}|~˜ŠzŒq}Cƒ^}} “Šv{wh“cwqx}– 5d{}} 9 œ <:·Âwqv-}®°”zq|~“›¸ˆ} 6B» ,’·F—wq‰Šv{x}a‹O„®˜”}0|$za†ˆH—wh|$“›¸ˆ}®°¹†±„Xº w…·F„B˜Š}x}T•º›Ž„®}|~’vx}|~z…†ˆŠ ¸ˆw›—z…„®}–¾†ˆ„®˜”}†ˆv–›º›Šzq|†ˆ—z…¸¹“Šzqv•„‹…zhŠ–„B˜Š}fzh{xw›—†ˆz…„®}–¾µb›†±„®}@Ž„®z…„®}&|$zh—B˜›†ˆŠ}zqvx}@w…·À„B}0w…·bz¾vxz…„®˜Š}v ¸ˆw²3•†ˆÍ}a» ,-:„B˜Š}—wqh„Bvxzqv•ºa‹o„®˜Š}—wq|~“”‰›„®}v<{—†ˆ}Š—}—wq|~|‰Š¹†±„Xºex}zqvx—B˜Š-„BwC}®°¹„®}Š–?˜›†ˆvx}x‰¹¸±„® ² †±„B˜ 5–›†ˆx—v{}„®} 6[µb›†±„®}$•„Bza„B}~|~zq—B˜›†ˆŠ}¾„®we˜qº›ƒŠv•†ˆ–ʍŽº”Ž„®}|$Ÿ|$w›–Š}¸ˆ}–zqTµb›†±„®}E•„Bza„B}zq‰›„®wq|~z…„®z›‹ ƒqºzh–Š–¹†ˆŠy“Švxwqyqvx}xŽ†±Œh}¸±º~v{}za¸±¿iŒaz…¸ˆ‰Š}–EŒazqv•†ˆzqƒ›¸ˆ}"»  •„Bza„B}?-@BA@ 0 6+7 Ë Ê ¡ E¤ C Ë? / %1*@&  %1-     &      #!     " ­ ˜Š}$­ †ˆ¶Ä   †ˆT„®˜Š}|¡†ˆ›†ˆ|~z…¸ Byhv{zhL‰›¸ˆzqv•†±„Xº x}}?ƒqºe„®˜Š}¡}Š–›¿d‰Šx}v¾za„„®˜”}zh“Š“¹¸±†ˆ—za„{†ˆwh ¸ˆ}Œq}¸Â‹ŠzqŠ–„B˜Š}<|$z…°¹†ˆ| ‰Š| wqŠ}<—wqŠŽ†ˆ–Š}vx}–ƒqº„B˜Š}<—wqh„Bvxw…¸Š•º›•„B}|~1}Šya†ˆ”}}vza„f„®˜”}<—whq„Bvxw…¸›¸ˆ}Œh}¸Â» ¼X„ †ˆ<–”}x—v•†ˆƒc}–†ˆC–”}„®z…†±¸ˆ@†ˆL 9 ¹3¢ :»@֊wqvx|$za¸±¸±ºa‹Oz­ †ˆ<–Š}µOŠ}–*zq@„®˜” } @B'  3 I;K @B  %?  $  )  7E 7'   % ( ,B (G %!G  $( ' %' K3,  DK&%*  %*!' % >E  "7  )-.L),B ?&K I*!'G +I  $; )<. A" ,B& &KK&?G? I#   , ;K C $K  .+ K ' $ 7)K  N,F?, E &'*!&%*-K& " %$&' CI*!%-. +I%*-K&  $ ?   ,B ?3K - '* %?   ֊vxwq| „B˜Š} —wqh„Bvxw…¸Š“^w…†ˆq„Fw…·bŒL†ˆ}²Ÿ‹L„B˜Š} x“c}—†±µb—z…„x†ˆwqwa·+zŸ_­(vx}‡L‰›†ˆv{}„®wT–Š}µb”}@„®˜Š}f·Â‰”Š—„x†ˆwqŠ‹ „B˜Š}*|$w›–Š}¸ˆzqŠ–:„®˜Š}“Šzqvxzq|~}„B}vx<²<˜¹†ˆ—®˜(zq“Š“c}zhvT†ˆÊ„B˜Š}zhŠz…¸±ºL„x†ˆ—z…¸[}®°”“Šv{}xŽ†ˆwh^‹1†ˆ¶—wqq„x†ˆL‰Šwq‰Š „{†ˆ|~}a‹Owa·1„®˜Š}T—wqh„Bvxw…¸wh‰›„B“Š‰›„BF„Bw~ƒc}zh“Š“¹¸±†ˆ}–„®w„B˜Š}Tzh—„B‰Šza„Bwhv{f†ˆewhv{–Š}v@„®w$“^}vŽ·Âwqvx|̄®˜”}Ÿ–Š}Ž†ˆvx}– “Š˜qº›•†ˆ—z…¸zh—„{†ˆwhc»f‘[}Ž†ˆ–Š}‹”„B˜Š}-{“^}—†±µb—z…„x†ˆwq~w…·„B˜Š}<¸ˆwqya†ˆ—z…¸ƒ^}˜”zŒL†ˆwhv@†ˆE !KHIG ' I;?? 1K  ­ ˜Š}~—wq|~“cwq•†±„x†ˆwqew…· ­ zhŠ–:» 6|‰”•„˜ŠzŒq}@ƒ^}}zq—®˜›†ˆ}Œq}–² †±„®˜Šwq‰›„–Š}„B}—„x†ˆŠy }v{vxwqvx‹V„B˜Š}fzh‰›„Bwh|$za„{†ˆ— |$w›–Š}F|‰”•„Fƒc}@zh—„{†±Œaz…„®}–zh”–„®˜Š} B˜L‰Š|~zq' 2@?-AB?C-D4 56&7E8:9F; G2IH&J@24 KL7M.19N%OL'PQLR1#LSTO$%&'U V1OL'XW!%$Y!Z &!PP&P [%%&W 8:2IH&J@2\@]1^_$` ab 8:2IH&J@2\@]1^_$kmlnZb c OLTdeH$J@fD2Ig1?>1.hCi4jK7M.19 8:2IH&J@2o\@pZ1    pEb [%%&W q'(&[-%%&W OLrsAB?J@DLtuJIH&*DmTv1L'w8:2IH&J@2o\2@?1}L7EH$.;hA~D$€ghH&033/;1‚‚€‚ q'-(&[%%&W %|€Th"&#&%&'(iƒG2@?„4 …6&7M.19 q'(&$!PP$P z1†‡qR#LWTO&%$'pm\3Fb@b@bI; ˆ ))  \uG \ o    m;t ˆ ) \<ˆ hg1>3FbI; +h^Z_€Š1   m;!:^_1   ; +t ˆe) \:)"#:DLŸ2Ÿ)+*hb@b@bI; +t ˆe) \<ˆ ˜7M„12$pbI;hˆ ))  \utƒˆe) \:)"%#:D$ž2Ÿ)+*pbI;o '&ox(ža% )m;* t ˆ ) \<ˆ˜7 „2$hb@b@b ¼•C—wh”—¸ˆ‰Š•†ˆwq^‹¹„®˜Š}¾:ƒ^}¸ˆwqŠy„BwE„®˜Š}{}—whŠ–CwqŠ}a»0¼•zq–Š–›†±„{†ˆwh^‹bŒh}v•†±µO—za„{†ˆwhC|$}„®˜Šw›–Š zqvx}¡‰Šx}–C„Bw —v{}za„B}» 6 Eӊ¦fӊ¨ ªŠ§ Ïh©  «qª›¨ i#Ó  ¼•Ãv{}¸ˆza„{†ˆwh?² †±„®˜:zq   e“Šv{whyqvxzq| ‹^whŠ}¡—zh:yh}”}vxz…„®}a‹+Ž†ˆ|‰›¸ˆza„B}a‹}®°”}—‰›„B}zh”–eŒh}vŽ†±·Àº zq‰›„®wq|~z…„®z›»f¼•e“”zhvŽ„x†ˆ—‰›¸ˆzq(v $   &‹+zhCzq‰›„Bwh|$za„{†ˆ—<Œh}vŽ†±µb—z…„x†ˆwq„®w›w…¸Â‹b–”}–›†ˆ—za„B}–E„®w~zqŠz…¸±º›•†ˆ-zqŠ– „BvxzqŠ•·iwhv{|~z…„x†ˆwq-w…·Šµb›†±„B}[zq‰›„Bwh|$za„Bz”‹®†ˆ&–›†ˆv{}—„x¸±ºT¸±†ˆŠ³Vzqƒ›¸ˆ}@„®w’„®˜Š}   0—wq|~“¹†±¸ˆ}v»­ ˜”vx}}f³h†ˆ”–Š w…·wh“c}vxz…„x†ˆwqŠf—zhEƒc}-“c}v•·Âwqvx}|$}– 2 G"K&%'G (}®°¹„®v{zh—„BŸ”}²“cwqx•†ˆƒ¹¸ˆ}*ƒc}˜ŠzŒL†ˆwqvx(  5i„B˜Š}~„BvxzqŠ•†±„{†ˆwh”0w…·  7 KK¡“Švxwq“^}vŽ„Xºa‹+†Â» }a»?zex‰”——}x•·i‰›¸„B}vx|†ˆ”za„{†ˆwhew…·@„®˜Š}$­Ì—zh:ƒ^} v{}zh—B˜Š}–C·ivxwq| zqhº?•„®z…„®}w…·@†±„®T}Œhw…¸ˆ‰›„x†ˆwq^‹zqŠ–H„®˜Š} K3 $ %EE“”vxwq“^}vŽ„Xºq‹b†Â» }~zqhºC·iza„Bza¸1}®°Š—}“¹„x†ˆwqC†ˆ zq“Š“Šv{wh“ŠvŽ†ˆza„B}¸±º˜Šzh”–›¸ˆ}–~ƒqº~}|¡†ˆx•†ˆwq~w…·+zx“c}—†±µb— •†ˆyqŠz…¸b¸ˆ}zŒL†ˆŠy„B˜Š}<•º›Ž„®}| †ˆEzxz…·Â}’•†±„®‰”za„{†ˆwh^» ¼•Czµbv{•„<Ž„®}“^‹”²@}0“”vxwŒq}–„®˜Šz…„<}zh—B˜|~w›–Š‰¹¸ˆ}<†ˆ|~“¹¸ˆ}|~}q„®}–$—whv{vx}—„x¸±º$†±„® ·i‰ŠŠ—„{†ˆwhŠz…¸±†±„Xº*zqŠ– {za„{†ˆ•µb}–¡„®˜Š}E…‹+„®˜”}Ÿ­l{za„{†ˆ•µb} „B˜Š}Cvx}‡L‰›†ˆv{}–¶“Švxwq“^}vŽ„x†ˆ}»=­ ˜”}†ˆh„B}vx}Ž„~wa·T„®˜¹†ˆ~vx}{‰›¸±„†ˆE–Šwq‰Šƒ›¸ˆ} 2HµbvxŽ„½‹f²<˜”}(zh”za¸±º›Í†ˆŠy?„®˜Š} ƒc}˜ŠzŒL†ˆwqv~w…·0z:' ?-* 7 5¶zqŠ@–  1L‹ zqvx}E¸ˆw›—z…¸[wqŠ}‰Š{}–Ê„®wC·iwhv{—}~„B˜Š}—wh|$|‰Š›†ˆ—z…„x†ˆwqeƒ^}„X²@}}Êzh‰¹„®wq|~z…„®zwa·’„®˜Š}E“Švxwqyqvxzq| »Ê­ ˜Š} —wq|~|‰Š¹†ˆ—za„{†ˆŠyŸ“”vxw›—}x1² †±¸±¸ƒ^}T}®°”“›¸ˆz…†ˆŠ}–~¸ˆz…„®}v» 8Fzq—B˜*wqƒ›•}—„@²<˜›†ˆ—B˜ —wq|~“cwqx}zq -vxyqwqF“Šv{whyqvxzq|#†ˆ zhEzh‰¹„®wq|~z…„®wq„®˜Š}’„®v{zhŠŽ†±„x†ˆwq¸ˆzqƒ^}¸ˆ@w…· ²<˜›†ˆ—B˜~zqvx} w…·c„®˜Š}@·iwhv{|        a»_­ ˜Š}   ’“ŠzhvŽ„F}®°”“Šv{}xx}o„®˜Š} —wqŠ–›†±„{†ˆwh‰Š” –Š }v ²<˜›†ˆ—B˜ „B˜Š}„®v{zh”•†±„x†ˆwqC†ˆ„Bv•†ˆyqyh}v{}–^» ¾ƒŠx}”—}wa· }Œh}q„BŸ†ˆ–Š}”wa„B}–eƒqºwŒh}vŽ¸±†ˆ›†ˆŠy›»C­ ˜Š}  ¡“Šzqv•„ †ˆ¾„®˜Š}{}„-w…·[wq‰›„®“”‰›„<}Œh}q„®¾}|†±„{„®}–E²<˜Š}C„B˜Š}„®v{zhŠŽ†±„x†ˆwqE†ˆ-„Bv•†ˆyqyh}v{}–^0» -Czqvxv{w² ² †±„®˜Šwq‰›„-zq zqx{w›—†ˆza„B}–~xwq‰Šv{—}<•„Bza„B}-–Š}Šw…„®}1„®˜”}<†ˆ›†±„{†ˆza¸•„Bza„B}-w…·„®˜Š}¾zh‰¹„®wq|~z…„®wq^» ›wq|~}@wa·O„®˜Š}{}@zh‰›„Bwh|$za„Bz ˜ŠzŒq} „®}|$“^wqv•†ˆÍ}–T•„Bza„B}‹…²<˜›†ˆ—B˜zqvx} –Šv{z²<² †±„®˜0¸ˆzhƒc}¸ˆ&w…·b„B˜Š}@·Âwqvx| A 4B»@­ ˜Š}{}<„®}|$“^wqv•†ˆÍ}–Ž„®z…„®}fza¸ˆ{w˜ŠzŒq}0zqEwh‰›„Byhw…†ˆŠyT„®v{zh”•†±„x†ˆwq„B˜Š}<¸ˆzqƒc}¸^w…·²<˜›†ˆ—®˜E†ˆ v{}“›¸ˆzh—}– ƒqºÊzex‡L‰Šzqvx}v{w›wa„»e­ ˜¹†ˆ†ˆ„®˜Š}¡„x†ˆ|~}wq‰›„T„®v{zhŠŽ†±„x†ˆwq^»C­ ˜”}†ˆv†ˆh„B‰›†±„x†±Œq}*{}|~zqq„x†ˆ—†ˆzq·Âw…¸±¸ˆw²<; 2 wqŠ—}Tz„®}|$“^wqv•†ˆÍ}–Ž„®z…„®}’†ˆ<}q„®}vx}–c‹L†±„-|‰ŠŽ„<ƒ^}’¸ˆ}·À„-ƒc}·Âwqvx}[„®˜Š}¾†ˆŠ–›†ˆ—z…„®}–Ezh|$wh‰”h„ w…·„x†ˆ|$}Ÿ˜Šzq }¸ˆzq“Šx}–c»­ ˜Š}zq‰›„®wq|~z…„®wq*—zqC¸ˆ}zŒq}„B˜Š}T„®}|~“cwqv•†ˆÍ}–E•„®z…„®}T„B˜Švxwq‰Šyq˜Cz BŠwqvx|$za¸ „BvxzqŠ•†±„{†ˆwhL 5À†±· {‰Š—®˜z„BvxzqŠ•†±„{†ˆwhE}®°¹†ˆ•„B 6®‹¹whv@„B˜Švxwq‰Šyq˜„B˜Š}Ÿ{“^}—†ˆz…¸b„{†ˆ|~}wq‰›„@whŠ}’²<˜Š}E„®˜Š}¾–Š}¸ˆzºE}®°Š“¹†ˆvx}» ­ ˜›†ˆ&“”vxwqyhv{zh|l†ˆ1ƒŠ‰›†±¸±„F˜¹†ˆ}vxzq—®˜›†ˆ—z…¸±¸±ºa»­ ˜”} wh‰›„B}vx|$whŽ„ozq‰›„®wq|~z…„®wqT˜Šzho„®˜Šv{}}FŽ„®z…„®}zq——whv{–›†ˆŠy „Bw„®˜”}0—‰”vxvx}q„<Ž„®z…„®‰Š w…·&„B˜Š}­ 2O²<˜›†±¸ˆ}²@za†±„{†ˆŠy~·iwhv[„®˜Š}“Šv{}—whŠ–¹†±„x†ˆwqŠf„®wEƒ^}Txz…„x†ˆŽµb}–^‹Ozh—„{†±Œh} 5À„®˜Š}}®°”}—‰›„{†ˆwhH¸ˆz²Ì†ˆza¸±†±Œq} 6ŸzqŠ–?µb›†ˆ{˜Š}–^»­ ˜Š}¡µbvxŽ„wa·@„®˜”}x}Ž„®z…„®‰Š¾—wh‰›¸ˆ–:}Š–:}†±„®˜Š}v¾²<˜Š} „B˜Š}„X²@w“Šv{}—wh”–›†±„x†ˆwqŠTzhv{}~xz…„x†ˆŽµb}–:whvT²<˜Š}Êzey…¸ˆwhƒ”za¸@}®°”—}“›„x†ˆwqe†ˆ–”}„®}—„®}–c‹c†Â» }a»:„®˜”}~–Š}¸ˆzº zqx{w›—†ˆza„B}–„®wz“Švx}—wqŠ–›†±„{†ˆwh}®°”“›†ˆv{}»1­ ˜ŠD} C#E 12 3!4  "10•„Bza„B}@†ˆ[v{}µbŠ}–ƒqº$„®˜Šv{}} zq‰›„®wq|~z…„®z¡²<˜›†ˆ—B˜Ãzqvx}$—wh|$“^wqx}–E†ˆÊ“Šzqvxz…¸±¸ˆ}¸ 2„B˜Š}º}Œqwa¸±Œq}*Ž†ˆ|‰›¸±„®zqŠ}wq‰Š•¸±ºa»E­ ˜Š}$ƒ^w°e² †±„®˜zq z…„x„Bzh—B˜Š}–Ex‰ŠƒŠƒcw°~²<˜›†ˆ—®˜H—whq„®z…†ˆŠF  ;:< 7 >›‹O†ˆŠ–›†ˆ—z…„®}@„®˜”za„ „B˜Š}x}¾„X²[w$}Œh}q„®’zhv{}-¸ˆw›—z…¸Â» ­ ˜Š}º zqvx}‰Š{}–tƒcw…„®˜Êzh0†ˆŠ“Š‰›„Bzh”–twq‰›„B“Š‰›„®»Ê­ ˜Š}—wq|~|‰Š›†ˆ—z…„x†ˆwq“”vxw›—}xT†ˆ$—za¸±¸ˆ}– KHE+,-'+*-K "H'&GI/'3K&û» ­ ˜›†ˆ†ˆ„B˜Š}Exzq|~}Ezh†ˆ¶„B˜Š} 8FŽ„®}vx}¸1¸ˆzh”yh‰Šzqyq}a»:¼X·-ze¸ˆw›—z…¸ }Œh}q„†ˆ~}|¡†±„x„B}–ÃqºÊz —wq|~“cwh”}h„‹…}zh—B˜zq‰›„®wq|~z…„®wq—wh‰›¸ˆ–¡vx}zq—„&„®w¾„®˜¹†ˆF}|¡†ˆx•†ˆwqƒqº„Bv•†ˆyqyh}vŽ†ˆŠy-w…„®˜Š}vo„®vxzqŠŽ†±„x†ˆwqŠ2» <¸±¸ „B˜Š}x}’„®vxzqŠŽ†±„x†ˆwqŠF“”zhvŽ„x†ˆ—†ˆ“Šz…„®} „Bw„®˜”}-xzq|~}¾ya¸ˆwqƒŠz…¸ov{}zh—„{†ˆwh$wa·„B˜Š}-“”vxwqyhv{zh|» ÏeΩa#Ó ÓO§ Ïq©  «qª›¨ i#Ó  Ó+Ó 6 ­ ˜Š} Ÿv{wh”wh„Bw›wa¸L†ˆ|$“›¸ˆ}|~}q„®+zT•º›|ƒcwa¸±†ˆ—@|~w›–”}¸±¿p—B˜Š}—B³h†ˆ”yEa‹f†Â» }a»·Âwqv0}zq—B˜t}®°”}—‰›„{†ˆwh {}‡¹‰”}Š—}~·ivxwq | QP @„B˜Š}vx}E}®°¹†ˆ•„Bz͎„®z…„®}Exz…„x†ˆŽ·ÀºL†ˆŠ9y G+» PP G¶}®°”“Švx}{x}„B˜Šza„ G´†ˆEzh  7 “Šv{wh“c}v•„XºezqŠ– G†ˆ¡xz…„x†ˆ•µO}–†±·* K ? !K *!' ),BG8 ,B  %D*! / *    %  J $ ),B  " +&K D K8 )  ),B  ­ Š˜ }1xw…¸ˆ‰›„x†ˆwq<†ˆƒ”zh{}–-wq<„®˜”}&xw…¿d—za¸±¸ˆ}–’„®}—B˜Š›†ˆ‡L‰Š}w…·›•º›Š—B˜ŠvxwqŠwq‰Š^wqƒŠ{}v•Œh}v{b‰Š{}–-†ˆT•º›Š—B˜Šv{whŠwq‰Š “Šv{whyqvxzq|~|¡†ˆŠy }qŒL†ˆvxwqŠ|~}q„®»­ ˜Š}@†ˆ–”}z-†ˆ1„®wTzh–”–„®w¾„®˜Š} “”vxwqyhv{zh|l„Bw-Œq}v•†±·Àºz—wq|~“cwh”}h„+²<˜›†ˆ—B˜ wqƒŠx}vŽŒh}+†±·O„®˜Š}f—wh”•„®v{za†ˆq„„Bw<xz…„x†ˆŽ·ÀºT†ˆŒL†ˆwa¸ˆz…„®}–c»¼X·Šºq}‹Lz¾x“c}—†ˆza¸L}vxv{whvŽ„®z…„®}_†ˆ&vx}zq—B˜Š}–^»#’º›ƒŠv•†ˆ– ¾vxyqwh†ˆf‰Š{}–„®wT—wh|$“Š‰›„B}&„B˜Š}@¸±†ˆŠ}zqv&˜qº›ƒŠv•†ˆ–$|~w›–Š}¸›w…·b„®˜”} •º›•„B} | V’whƒcwa„­zqx³zqŠ–wqƒŠ{}v•Œh}v h‹ zqŠ–¶uw…¸ˆ³Vz:—wh|$“Š‰›„®}T„B˜Š}~Œ…za¸ˆ‰Š}$wa·’„®˜Š}–Š}¸ˆzº›²<˜¹†ˆ—®˜(|$zh³…}E„®˜Š}}vxv{whvŽ„®z…„®}Evx}zq—®˜”zhƒ›¸ˆ}aL» Ã} ˜ŠzŒh}vx}z…¸±†ˆÍ}–xwq|~}¾„®}q„®z…„x†±Œq}T„®}•„B@² †±„®˜„B˜›†ˆp8$" ; G hH&.1*&H&J   Q G ƒ= „1J@?2@?2$-„pDDJ@0p€H&2@03?. 8$8:2@D€7  ,<. !#"%$ & "%$(')+*,-  = .  /; ?3>17 D …60ƒ?21ˆZDLŸ2@>1J  ? 2@DL803. = J@2@0pž0nH&,<.2@D€3303fD€.pžD˜„pH&fD$8034560K};$G„1J@03.fDJ  DJ@nH$7 f 898: } 4j}97;< =.+? D*;= g1D€32;=> =>DJ "hD€303.;;< ?>>1D2;   H$>303.Z;Zt =@ D€[email protected]J) BA€dD u  ?(C +8:D)J D E 8 ;+>0nC-D-;  D€JI8:03?.w … F … AHGJILKMGJONP"Q'SR:-F*+'JTVU%"6W(/USBX9Y[Z\?.+DL)8989  J@??1H8@8:0n8:2IH&.2 J@?fJIH&7š8:„hD$ž0p  H&2@03?.H&.hC] DJ@0p H$2@03?.B03.  m. A^A_NF"%'`R- *,'J/TaU%"6W(/USbIced2f9YhgiIbGSj ik l KLm:GNLnpoqhrLItsvu l mN l Ke\ ?P V894…( 4 3 9 w @x g3? C;  =+8@8:03f.03.1fwABDLH&.103.f 2@?  J@?fJIH&78Q  J@?1ŸD€D$C-03.1f8 ?21ƒG 7 „p?-8:0n8 03.i=„1„303DLCBAiH$2 D[5 7H&2@0n8Ÿ;-03.yrz{R"[t,*+'JTP |6W("%'[{|<6}~'JLWF#"SUE|)'[*"S-i'J"€;( ( dE ZG- : H&J@2QmD$C-032@?J;(?# V8;„„€)85/5}-; 8 …:0 4jK9 L =w  => ?H&J@D;‚ =.‡=e-ƒ 03?7H&2@0nt H8:0n8e1 ?J)–?7M„12@D€J  J@?fJIH&7 7M03.1fp; „s…~- *,'%,*,/-|~svr ; ?a$ };1.V vL 6;-„1„K9$0 …5 K4 5; 8 …98 4 5$9 Áï L tL ? $?.DL8!A   NM&O3P&Q'R š/  K @ * 7I   4 …$9 w =3>1J;˜H d = ; > D€( . 03.1fD€J H&.pC  G ?> ?  =>2@?7H&2@0n G -7 "h?30n 2@D€7E8Q; X[Z({R- - TPKb"%/T j[Nv*{!"m  |S#"[|Hm  LW(|`*{ ;v8985  D€J@0€H&2@03?. 2? 1˜7 "pDLC1CDLC‡G 1865 4 09M=w  .>1D30/;b d1Dw2@D7 „h?JIH&uˆZ?f0n ?1  J@?fJIH$7E8Q;BX9f/{R„L- - T|  EW|S*{: /-_qV-P$9+*,-(|6} J' LWF#"SUwmi'[*"S-P'`"Ÿ;  J@?0nC-D.hžD-;„1„3…5:K90;P8020 4 4$9 w hAB033.1DJ;=+=  H$nŸ>13>p8–?21 –?7M7 >.10n€H&2@03?.EG 8:2@D€78Q;vItsam;G„1J@03.fD€J  D€J@nH&fp;P8246 4 8$9 e& A„ –nH&J@*D; e =w ˜7 D€JI8:?. H&.hC =w  G0n8:2@nH;F–=>2@?7EH&2@0n  D€J@0€H&2@03?.m?21pg03.032@D[5/8:2IH&2@D –?.hŸ>1JQ5 J@D€.2oG 8:2@D€78 +8:03.fdD€7 „p?JIH& F5 3?f0n G„hDLŸ0p  €H&2@03?.h8Q ; ~s=r N(UQ-(|)9'[,*,/-|w - ‚U%  9UQ~*{- =/-Fj 9 ("J|w-P$ m  |`6"S<Ÿ| ;  ?# 14 ;V894 …( 46&9~  +>D€0333DoH$.pC Z G0<1 H&*-0n8Ÿ;?‰ G„hD$ž0p H&2@03?.BH&.pC  D€J@0p H&2@03?.E?1 –?.pž>1J@J@D.-2oG 8:2@D€7E803.3 G-=L ; vItsamyX9 Y ) \  RtGS-F#"SUS-P,*+-PTPm  EW|S*{: *{ - ‚UQ  :UQ~*{ - ;1G„[email protected]DJ  DJ@nH&fh;1550 15-K ;(8949 42€ 9~  L g1D€[email protected]&.hC-D) ;iƒ =. ,/7 „3D€7 D.-2IH&2@03?.?21 H&. wž03D.-2e=3f?J@032 17 1 ?J˜tu0n8:037 >1nH&2@03?.BC >0 & H&3D€.pžD ; mP'[*"S-i'J"H6} s…LWF#"[U ‚UQ  :UQ~*{ - ;  ?# PL 5; })/5 5;17H 898 6 4$ }L9 w –3D$H D€nH&.hC;)   H$J@J@?‰ ;&t  G2@DD€.Z;=ƒ dDu?.pž>J@J@D€.h <@ ?J@*"hD.h Z;2@ ?J@*8$1?„ ?. = >12@?7H&2@0n  DJ@0p €H&2@03?.ABD€2 ?1C8‚1 ?J g03.1032@D G2IH&2@D G 8:2@D€7E8Q1 ; k TciZPd )\ vItsam(\ S-i"X 2f  4 5&9~  /5 ˆ 0n 103D€J; L  ?1CJ@03f>D[- ;…  G0<1 H$*0n8Ÿ;  ?03J@?. ;"`|[Uy N )/TV})! U ‚UQ)'%T k T *,$9+*,-Pc gi|"S#U " % | $‚*,$9€" ;1dDL 1.0n€H&J@D€„p?J@2 ?2e1 ˆa+; ,F5 ,:Ai=L; ;=+; J@D€.? "13D;hg1JIH&.pžD;V8940: 4S 3 9 =w1 tu?>hH # #@H&.10/;9  $5 L1 g1D[email protected]&.hCD[ H&.hC w (+> H& " H h8Ÿ;V AB03.1037EH&-7M?1CD€fD€.D€JIH&2@03?.  ;2GS- 6"SUS-P+*,-PT & (U '|JR`Wz-^s…LWF#"[U  *,$:"%$ k "SUS* )‚'J+*,h- ;%>2@fD€JI8Ÿ; #:>1.D;v)898 6 4$ KL9 L u?>1JIŸ?>"hD€2@0n8Ÿ;&A€  H$JIC0/;  [@ ?3„hDJZH&.hC A„ *uH&.pH$*H$*0n8Ÿ;(  ABD€7M?J  EŸ03D€.2Z=3f?J@032 17E8n1 ?JZ2 1D  DJ@0p €H&2@03?. ?21 dD7 „h?JIH&  J@?„hDJ@2@03DL8QEGS- 6"SUS-P+*,-PT & +U '|JR(`W-„sEWF:6"SU‚ *,$:"%$ k "[U`* )‚'J+*,h- ; >2@fD€JI8Ÿ; #:>1.1D-;V)898 6 4 …&9 w e tuJ H$.2;iL+; JIH&„%5 "pH8:D$C = 3f?J@032 78V1 ?Jutu??3D$H&. g1>.hŸ2@03?.EA H&.03„1>1nH&2@03?.  ;G lBlBl N(UQ-(|)9'[j ,*+-(|/- s…/EWF:6"SUJŸ| ;  ?# …/5 5K-; F4 ;P894 … 4/L0 9M)<* –?>pC-D€J@2; Lp tuD€J@2 D€2;  5   A HCJ@D;m g1?J@7H&Ztu??3D$H&.BA H&.103„>1nH&2@03?.h8a1 ?J2 D  D€J@0 €H&2@03?.?21 GD/C >D€.2@0nH&˜AiH 103.DL8Q GJr l saj GJqv+G pGS- 6"SU`-i/,*,- -PT & +U '|JRJW^-„MW9WFT *"%$ qVU`!T?r„"S{R()$|qVU s…/USU%"%'[ k ?mG & "J|S,* 9h- ;F)898 6 4)&4 9~  5  gD€[email protected]&.pC-D[- ;-=w mD€J "JIH$2;ˆ A~?>.103D€J;V  G 7 "p?30n BC >10  H$3D.hŸD  DLI*-03.f: ;9q* }S R]s…/-)})"[U%"S-P'`" -^s…LWF#"[U`j, *,$:"%$ k "SUS* )‚'J+*,h- ;%˜3?>1.pC1HE\6+; J@D€DLŸD&bI;hˆ'  GE…980 ;hG„[email protected]D€J  D€J@nH&fp; 898 5( 4)&8 9 =w tuD€. D€.10n8:2@D H&.pCy;< tuD€J@J ;  =.?2 1D€J‰ˆ??*wH&2 D$H& <5 d 037 D  J@?fJIH&7M7 03.1f ;‚UQ)'J"J"%$*{ - |w6}<{R " G lBlBl ;%w P8 ;  ?# P0/8 ;P8982 4j}$6&9~.< + > H&J@D/; m #/6"%'`RU`{| b k * |`TPMW9WFUQ[9'`R # s…LWFT." -m  |`6"S<|J\@ D€0 € 7EH&.1. ,/.h8:2@032@>2@D?u1 G-Ÿ03D€.pžD; 894/3F 4j}:€ 9 gB1 AiH&JIH&.103.h 10/;P )+„hD€JIH&2@03?.hH&H&.hC –?7 „p?-8:032@03?.pH$pGD7H&.2@0n€8 ?2˜1 G .h 1J@?.1?>p8= >12@?7H&2@?. u?7t5 „h?8:032@03?.h8Q  ;seoItsHgiKe\ vItsa0 m /2Y:$d ;G„1J@03.fDJ  D€J@nH&fp;P)898 } ë cëÂö    4j}}L9 dH tu?3?f.1D$8:0˜H&.hC š…ž e t–J@03.*18:7EH;M ,<.2@J@?1C>hž2@03?. 2@?w2 D,@G) G„hD$ž0pH&2@03?.ˆH$.f>hH&fD ˆe)md+)G; …s /EWF:6"SU I<"SBU('|-P$GSm & Ixm  |S6"S<|ž;  ?# P[3p;%w v;}Kh}8; 82494 4j}$5&9~   DJ@JIH&>hC;)< ?>ƒ; A€ H> >1?>   )+„hD€JIH&2@03?.hH&EGD€7EH&.-2@0n8E?21~H mD€[email protected] ?21E2 D ˆH&.1f>pH$fD ˜3DLŸ2@J@D ;6NVR "QU%"[+*,'JT=s…/EWF:6"SUwmP')*,"[-P'`"Ÿ;w VL66;-.1?D€7 "1J@D~898} 4j})39M)<  ?>ƒ H&.pC   >h8:>Z. DLž0nCH "13D!1>  "1J@0nC‡G 18:2@D78m2@?iA~?C-D30 € DMH&.hC  DJ@01   DLH& 5/dƒ037MD =„(5 „130nH&2@03?.p8Q  ; 9-P$ l UQ`W("%- & +U '|JR(`W - Kb"%/T j[Nv*{!"y/-i$yu  US*,$ m  |S6"SŸ| ;e+; J@D€.1? "3D;ƒgJIH$.pžD-; 5[:5 K}<5 …!898 K 4j}KL9 *< mDL8:2@D€.;-=w  .>1D30/;/ h G0F1 H&*0n8 H&.hCEG  *–?- 03.D;FI ,/.-2@DfJIH&2@03?. fJIH$„h8Ÿ˜HžnH8@8 ?21 CDLž0nCH "13D "1J@0nC 8$8:2@D€78Q & (U '|JR`Wz-pNVR "QU  6}Eu  US*+$~m  |S#"[|J \ ˆ G&0 5…;P)898 5 4j}$…&9 wu =3>J;   u?>JIž?>%"pD€2@0n8Ÿ;1 b+> H& " H h8Ÿ;udE ‚> D.(€ 03.fD€J;  B> ?p;< 0nŸ?3303.;–= )+30  D€J@?p;  G0<1 H&*0n8uH$.pCBG  *˜? 03.1D;= d1D =3f?J@032 17M0n= .hH& 8:0n8–?211>  "1J@0nCiG 8:2@D€7E8Q ;MNVR "%/UJ"S+*,'JTsEWF:6"SU mP'[*"S-i'J" ;  ?# PL 50 ;P)898 K 4j}2L0 9 w + > H& ": H h8Ÿ; * 5 e  J@?  H$.pC   H -7M?.hC;V  D€J@0 €H&2@03?.‰?21 ˆZ03.1D$H$J…1>  "1J@0nCwG 18:2@D78 " MA~D$H$.p8 ?21 –?. D[ƒ =„„1J@? ƒ 037H&2@03?.h8Q ;2GS-F#"SUS-P,*+-PTm  EW|S*  - m #+*,'bL-PT  |S* |J\vm(Em " [Z ;-ˆ'  G4 …h3 ; 898/3F 4j}/&4 9 dHp = F> D€.( 03.1fD€JoH&.hC  5> F> ?p;aŸ AB?1CD€  DLI*-03.fwG2@JIH&2@Df03D$8…n1 ?JL1>  "1J@0nCG 8:2@D€7E8Q1 ;‚s…/-)})"[U%"S-P'`" -7GS-i$/9|S+US*,TF‚W9W T *,'%,*,/-|w6}w US,* )b'[*,/TGS- #"[T T ,* ("S-P'`˜" H&.pC -ƒ „hDJ@2G 18:2@D78Ÿ;V8283F 4j}/&8 9 =w tu?>pH # #@H$.0/;*< ˆH&*-.DL Z; w  ? "%"hH&.pHwqPUQ & :U%/,*,- s…/T'[T 9|b# ?*{-i"%UBu  US*,$  #/!d? H&„1„hD$H&Ju03.‰2 D+„J@?1ŸD€DLC03.1f8 ?2p 1 2 DwL0 2  ,/.-2@D[email protected]&2@03?.hH&*u?.1 D€J@D.hŸDƒ?. –?7M„1>12@DJQ<5 = 0nC-D$C  DJ@0p €H&2@03?. 89-8 K 4 56&9 w =3>1J; L u?>1JIž?>"hD€2@0n8H&.hCz.< =+. 033;b A~?C-D <5  1D$ *03.1ftn1 ?JmJ@D$H& 5 2@037MD 8$8:2@D€7E8Q  ‚UQ['`"J"%$* - | 6} {R " ) }S R^/-F- (T?G lBlBl |  LW(|`*{ -  9*,'`|12@DJ G?ž03D2$  J@D$8@8S 4 5(€ 9 L =+8:2@JIH&>hC?p;:  1 t–?J@J@D3 ; € G037 >nH&2@03?.o?1 AB>132@03„J@?1ŸDL8@8:?J  ? "h?2–?.2@J@?33D€JI8Q ;‚U%['c(G lBlBl GS- #c s…/-)}[ca-K‚  +*,'`|/-i$t !+*,h- ;0nŸD;1AiH 89-8 } 4 5-}L9~.< G037M?.Z;   gJ@D€DLC7H&.BH&.hC e*  H8:2@0333?p oM-y{R" k T *,$9+*,-z#}HK‚  ,*,'`| s…/-F+UQTVm  |S6"S|)c e/US GQG ML-PT  |S* |6} U%"%T j#+*{ "'[T |"%$/j#T )JW 'J- ,UQTb#|+'Ÿ| ;e,/.1J@0nH  DL8:D$H$JI  D„h?J@2M}90 }&6; ? D€7 "hDJ 89-8 K 4 55&9 e –?8:2@D[/5 AiH$.0 €J@D-;tL* u8:„10nH&>Z;*e* >12@2@D.Zo = deH8:*/5 ˆD) D'? "h?2  J@?fJIH&7 7M03.1f ˆH&.f>pH&fD H&.pC 032I8 DLHž2@0  D ƒ D$ž>12@03?.F1 ; ‚UQ)'J"J"%$*{ - |<6}~ R "tX  G lBlBl GS- 6"SUS-P+*,-PTBs-[}"SUJ"S-P'`"/-]K‚  /,*,'`| -P$L:#t,*,/p- ; 0nžD-;gJIH$.pžD-;AiH 898 };„1„= }90 K:[5 }90 K&… 4 5/ 3 9!;<- tuD€J@J -;(;< (+; ?.2 103D€Jb  d1D‰G .h 1J@?.1?>p8  J@?fJIH&7 7M03.1foˆH&.1f>pH$fD _ 1 ?+. DL8:03f.;1GD7H&.(5 2@0n€8Ÿ;-,/7 „3D€7 D.-2IH&2@03?.   ; mi'[*"S-P'`"~o } s…LWF#"SU ‚UQ  9U%/~~* - ;  ?…)8 .1?~};„„]4:05%& K}; 898 } 4 5-KL9!;< tu?>hC?/;    ? ; CDwG037M?.1D;v.<  DJ@f-H&7M03.10/  J@?žD$8@8€H&nž>30/;:1 J@?7š2 1D€?J B2@?w„1JIHŸ2@0nžD  DJ@0p €H&2@03?.B2@?-?n8Q ;p03.€GS- 6"SU`-i/,*,-PT & (U '/|%R`W^-„ !+*,' k "SUS* )‚'J+*,- r„"S{R[$|b})U2@?7EH&2@0n  D€J@0€H&2@03?. ?21og03.1032@DiG2IH&2@D u?.hž>J@J@D€.2 G   8:2@D€7E8>p8:03.1fBdD7 „h?JIH&ˆ?f0n G„pDLž0€H&2@03?.h8Ÿ H „1JIHž2@0nH&H&„„1J@?H F1; ‚UQ)'cX:d/ R~s=r m  EWic 4 5…&9  - ‚US*{-P'[* WFT"J|H6} ‚UQ 9UQ~*{- V- 9 ("J|Ÿ;-„1„€90)5%&}&…1;F)8945 4 524&9 w hCD G037 ?.D; .<  D€J@fH&7 03.0/?  )UQ$ m* ˜;-, ,:= dDL 1.0n€H&* D€„h?J@2 .1?99;P82498 4 528&9~  Le gD€[email protected]&.pC-D[- ;B T$  UQ-(\#[TP})U2"SUS* )‚'J+*,-_6} 'J~- *,'J/,*{- tWFUQ)'J"`|%|"J|Ÿ;˜dD$ = D„h?J@2 G„pDLž2@J@D![p 3 ; ˆa+; ,F5 ,:Ai= ; ;V+; J@D€.? "13D;V89494( 4 3-6&9 dH ( > D€.€ 03.fDJ; <%  0nž?3303.Z; h G0<1 H&*-0n8–H$.pCwG *–?- 03.D;i G 7 "h?30nAB?1CD€ 5  DLI*-03.fL1 ?JDLH& /5 dƒ037MD G 8:2@D€7E8Q  ; iG9sa0 m ;h,$   u?7M„1>2@D€JoG?ž03D€2  J@D$8@8Ÿ;F& >1.D7)898 } 4 3 € 9 A€ …& ?>1JICH$.;gBu AiH$JIH&.03.h 10 H&.hC =w )+30  D€J@?   DJ@01 -03.fyC >hH&.2@032IH$2@0  D J@DLH& F5 2@037 D „J@?„hD€J@2@03D$8 ?21 8$.h 1J@?.1?>h8 „1J@?fJIH&78Q  ;  R GS- 6"SUS-P+*,-PTs…/-)})"[U%"S-P'`"H-^s…LWF#"[U`j /*,$:"%$ k "SUS* )‚'J+*,h- ;1ˆ'  G …980 ;hG„1J@03.fDJ  D€J@nH&fp;($ >.1D7898 5 41 3 }L9 A€ & ?>1JICH&.Z; GS- 6" :UQ+*{ - ‚})U`!T2"SUS* )‚'J/,*,- !"[ R[$|<6 } )(- ,*{, * 9"LU%"%/T j,*{!"‚WFUQ`W("SUS,*,"`| *{- # $: " 2"ST`W  "S- B"S - *{UQ-  "S- })/UwU%  ,*+'<'J- ,UQT T "SUJž| ;-,/.1J@0nH DL8:D$H&JI   D€„h?J@2 .VZ }K-3 6 ;P898 K 43 5&9  H&„hD€33?8Ÿ l - *{UQ- -i"[!"S-F $:"~W U%  9UQ~t,*,/- $:"J|`W9W T *,'%,*,/-| UQ  /,* [ "J| U %9'[, * 9"JŸ| ;  F. C-0n8@8:DJ@2IH&2@03?.;%už?3DmCDL8 A~03.DL8 C-D  H&J@0n8Ÿ;hG?„10nHM=.2@03„h?30n8Ÿ;1g1JIH&.hžD-;? D€7 "hD€JL8983F 4 32 3 9~.< G037 ?.;  – g1J@DDLC7H&.XH&.pC e ƒH8:2@0333?p; B  =.hH& € 03.f 2 1DdD7 „h?JIH& t–D hH 03?J ?21  DLH& 5 2@037MD u3?-8:D$C:F5 3?-?„ ? "h?2@0nmd H8:*8Q ;G lBlBl GS- #cMs…-[})c?-Kb  ,*+'S|~/-i$ #/!+*,h- ;G-H&.+ . 03Df?h;P8983F 41 3 KL9~.; e  H8:2@0333?p;~ H$„pD€33?8Ÿ u?7 „>12@D€JQ/5 H&0nC-D$C„+. DL8:03f. ?2+1 H„+; D.1DJ@0n ?95 "h?2 –?.2@J@?33D€JE> H&.hC-303.f D$HŸ2@0 - 032BH$.pC D$H& 5 2@037MD –?.2@J@?–,:8@8:>1D$8Q ;aG lBlBl NUQ-(|)cb- s…- +U%/T m  |S6"S|7NF"%'`R-PT   ;: ? ;1.1?!p3 ;(+. DLŸD€7 "hD€J828 5 43 …&9 Lh G-H&78:?.Z;A„1 ˆZDmtu?J@f.1D;1tL% u8:„0nH$>BK‚   s…- ,UQ,T b{R "7N |+'j+qP-P'[,*,- MW9WFUQ[9'`R ;unH$J@D.hC?.  J@DL8@8Ÿ;) ƒ:1 ?JICBGž03D.hžD  >%"130nH&2@03?.p8Ÿ;w ~ ;=8989 4 3(L0 9    H$7EHC-fD;@x A„ @ ?.%hH&7 ; u  d1D –?.2@J@??21i+. 0n8@žJ@D2@D  D.-2I8–G 8:2@D€7E8Q1 ;#‚UQ['cV6}e R "BG lBlBl ; 090 \Q$ bI;P89498 4 3:&4 9   +H&7EHCfD;/@ - A€ 2@ ?.%pH$7 ;  G>„hD€JQ 0n8:?J  u?.-2@J@?1?21 H unH8@8e?1=. 0n8@žJ@D€2@D D€.2  J@?žDL8@8:D$8Q ; m:GJL r cbs- ,U)cMo=WF,* ~* )/,*,h- ;}K\Q& bI;„„ }&6…:5 }&56; 894:0 4 3:&8 9~.< G037M?.Z;~ H$„pD€33?8Ÿ;1tL u8:„0nH&>Z;hA„ P& ?>1JIC1H&.Lo g1?J@7H&  D€J@0 €H&2@03?. ?2e1 AB0n8@8:03?.h8 H&.hCBd H8:*8Q 9-P$ l UQ`W("%- & +U '|JR(`Wy/-Kb"%T j)N=*{ "w-P$~u  US*,$m  |S6"S<ž| ; + ; J@D.1? "13D-;1g1JIH&.hŸD;15[:5 K}<5 …~898 K: 4jK$6&9 e >2@2@D€.Z;   ˆZD‚+ ; >D€[email protected];F– GD/C >D€.hŸ03.1fHm. H&2IH+g3? d H8:*8p03. G,Q;  =+ˆv & +U '|JRJW /- V- 9 ("J|J\ s…/EWF*{T"SUJ|w-P$yNF[Tvm )W9W(/US })UEKb"%/T j[Nv*{!"m  |S#"[Ÿ| ;hb1.D!)8983F 4jK:€ 9 w tuJ@?-?*8Ÿm = J@? "1>p8:2+nH D€J@D$Cž?.2@J@?8$8:2@D€7 1 ?J+H 7M? "1033DmJ@? "h?2J ;FG lBlBl :U`-i/Ta6}wK‚  /,*,'`| -P$L:#t,*,/p- ;  ?#%  =b5 }; ?F = ;hA H&JI ]894 …;-„pH$fD$8 [395 }$5 ë cëÂö    £Š  t H #@€8$;‚`. 0n8@žJ@D€2@D D€.2AB?1CD€3303.f ?21  0n8:>pH$3 ];+>0nC-D$C tuD hH5 k * |`*,-h;P[3p;-„1„€08/5%8;F)898K 4jK$5&9 tL =w t–JIH&.pC-03.Z;=@ A€ F@ ?.%pH&7B;?mF)W"SU /*|)U  s- ,UQT6}]Nv*  "%$ & * |[')U%"S6" l 2"[- ‚m  |S#"S<|Ÿ;dDL (5 .10nH& D€„p?J@2L8}6;hG 18:2@D78–?.2@J@?v+ ; J@?>„Z;*.10  DJI8:032$ ?2˜1 d?J@?.-2@?p; H$.pHC1H;V)898} 4jK)39<@x *m? 1.;=  i H&7 DL8Ÿ;=w DJ@?1CD; ;P+ > H&J "10n8:?.;=wZ =fJIH H&nH1;?Ÿ =x1>  "1J@0nCG 8:2@D€7E8m=„„1J@?H B2@? u?7M„1>2@D€JQ5/=0nC-D$C u?.-2@J@?˜.f03.1D€D[email protected]EG lBlBl s…- +U%/TFm  |S#"S<|‚rz ( S*{-iŸ" ;&„1„][395 }K;H$„J@03V898 K: 4jKKL9 ~ dH GD€? ‰; F+ . D.hH& H&2 pH$.;…Ÿ = dD7 „h?JIH& ˆZ?f0n=„1„J@?H i2@? +. 0n8@ŸJ@D€2@D  D€.2 u?.-2@J@?{ ; G lBlBl GS- #cMs…-[})c?- K‚  +*,'`|/-i$ #/!+*,h- ;+H&f? H;: H$„pH&.Z;h7H 898 K 4jK$…&9 w m>17EH$J;   ~ vm; H$J@fp;G ,` A H&JIž>p8Ÿ;M  J@DLC0n€H&2@D H&.hC  J@D$C-0nH$2@D dJIH$.p8#1 ?J@7MD€JI8bn1 ?J‰G>1„pD€JQ 0n8:?J  u?.2@J@?˜?21L. 0n8@žJ@D€2@D  D€.2~ . -.pH&7 0n€H&ƒG 8:2@D€78Q]G lBlBl N(UQ-(|)ce-€L!/,*,'ys- ,UQT ;? ? 5914 ; .1? 4 ;1„1„€& }S395%& }}90 ;H&>f>p8:2w898 5 4jK2L0 9 A€ =.2@?.103?2@2@0/;tL1 AB0n8$1JIH;iS+. 0n8@žJ@D2@D  D.-2ƒA~?C-Dn8dD€7M„h?JIH&hˆZ?f0n8 G>„hD€JQ 0n8:?J  u?.2@J@? 5 3D€Ju=>2@?7H&2@0nG .2 1DL8:0n8 ?2e 1 ˆZ?1Ÿ?7 ?2@03?. –?.2@J@?33D€JI8Q ;:G lBlBl GS- #"[U`-P,*,/-i/Ts…-[}"SU%"S-i'J"H-]K‚j  +*,'`|/-i$t !+*,h- ;+H&f? H1; H&„pH$.;hA H ]898 K 4jK/&4 9 A€ = .-2@?.03?2@2@0/;A„  H/F1 H&J@0/;1tLh A~0n8$JIH;vŸ = „1„1 03.1fMdD7 „h?JIH&ˆ?f0n  D€J@0p H&2@03?.EH&.hCBG .2 1DL8:0n8 2@? AiH$.><1 Hž2@>[email protected]~G 8:2@D€78Q  ;=G lBlBl GS- 6"SU`-i/,*,-PT…s…-[}"SU%"S-i'J"-„m  |S6"S|J\rz-_-P$„s  "[U`-i"[+*,'`Ÿ| ;  H&.hŸ?>( D€J;* H$.pHC1H;h)mž2) V89-8 K 4jK/&8 9~.< A€ ˆ ?.h8Ÿ;ž =  J@?žD$8@86<5 t H8:DLCB=„„1J@?H i2@?deH8:*:5  nH&. D€„J@DL8:D.-2IH&2@03?.  ; G lBlBl GS- #cbs…-[})cK‚  +*,'`|<-P$~ !+*,- –03.pž03.hH&2@2@0/;oG-=‰;p7H  828 6 4 …6&9 dH ;

1J@„-;i.< A„ ˆ?.h8Ÿ;=w ( V> D.hC-J@03*8Ÿ;…  0n8:>hH&3  +; >0nC-DLCBAB>132@0 /5 g03.fDJ@DLC +; JIH8:„03.1fH8L+. D[5  .DLC " wG D€7H8 H&.hCH D$Hž2@0  DmG 18:2@D7  ; & (U '|JR`W]- I"SUQTP U%'`R* 6"%'[,:U%"`| -P$ & * |`,US*  :6"%$  bŸG ;oG% ;pˆZ?8= .1fD€3D$8Ÿ;%mG-=‰; 4 …(€ 9~.< A€ ˆ ?.p8Ÿ;=w ( v> D€.pC-J@03*8Ÿ;b G-H/1 D€ w= C1H&„12@03.f H7> 03D€JIH&JI 10nH$' DLHž2@0  D G 8:2@D€77 ;m G l m  EWic -7GS-F#"ST{T * "S- =Kb  {|~/-i$ sEWF:6"SU k *|S*,-(\ LGQŸG ;ht–?8:2@?.Z;oG-=;a828 5 4 …-}L9~.<  AB>h8:303.D€J;1e >w b+. >J 1 D€D;~ ;< G 03.Z;t D$H8:?.03.1f H "h?>2Bt–?>.hC-D$C  DLHž2@0  032$ 2@? =+ 103D[ D D$H& <5 d 037 D+ ; >hH&JIH&.-2@DDL8Q ; *{- ‚UQ['ce  eGm2WFUS* - ym  LW()|S*{ -hmi"ST "Q')+* 2"  "SUQ'`"6WF,*,/p- ;–AiH&JI  89-8 } 4 …5&9M)<  H&>h8@8:D-;=>w ,`  J@0n8:2@D€.p8:D€.Z;‚`> 03D€JIH&JI 10n€H& u?.2@J@??. DL8:03f. t H8:DLCB?.  D2@J@0  D€2 AB?1CD€3303.f~1 ?J H&. =>2@?.?7 ?>h8MA~? "1033D ? "h?2J  ;…GS- 6"ST{T ,* ("[- ML-P!/9|m  |S6"S|zs-[ } ,GJEm_Z $;H$J@n8:J@>1D-; ; D€J@7EH&.-;-7H&JI y)898 K + 4 …/ 3 9 +H 037 0/;  0nH;=ž =Qg1JIH&7 D[ ?J@*n1 ?J G?1 26 H&J@DoG-H/1 D€2$  D€J@0 €H&2@03?. ?2 1 ,<.pC->h8:2@J@0nH&'? "h?2 )+„hDJIH$2@03?.p8Q1 ; s…/EWF:6"SUw-P$GS-i$/9|S+US*,T l - 9*{-i"J"SUS* - ;/ ?}&6 .1?~} ;h„1„}908:5 }40 ;(898(9 4 …-KL9 v * 03.1fp;p= ~ AiH * ?J@2 Z;? G„hD$ž0p H&2@03?.BH&.pC  DJ@0p H$2@03?.?211 u?.h8:2@JIH&03.2+t H8:DLC. .hH&7 0n G 1865 2@D€7E8Q  ;03.09-P$HGS-Fc & /+U '|JR`W]- ‚U`*{-P'[* WFT"`| -P $ ‚UQ9'[,*+'`"L6}!s-(|S,UQ* -F ‚UQ 9UQ~*{ - ;1G„1J@03.fDJ  DJ@nH$fp;P8983 4 ……&9 w˜ ˆ -.p ;M> tL a@ D03."pD€J@fp;   J@? 03.1f3u?J@J@DLž2@.DL8@8?21 H  D 0nž3DEA H&.1D>( D€J +. D$žD3D€JIH&2@03?. 0  9-P$ l UQ`W("%- & (U '|JR`Wz-Ke"QT j[Nv*  "/-i$u  US*,$m  |S6"S<|%\V+; J@D.1? "13D-;gJIH$.pžD-;5[5 K }/5 …t898 K 4jK}L9~  m?8:DLI*&H;i>    J@0n8:2@D€.h8:D.Z; 03?JIQ8 (; GS- #c c6} s…LWF#"SU Áï  NM&O3P&Q'R £Lš  K @ * 7I   4 …:0L9 e u ?8:2@D[5/A H&.10 J@D;A„  D€J@J@03DJ;=w  D€>p hŸA~0n8@8:03?.  J@?fJIH&7 7M03.1fp= „1„130nH&2@03?.B2@?  .hC-DJQ H$2@DJ ? h" ?2I8Q~Z R GS- #c=m  LWic- l -`W("SUS*{!"[- T(Kb  ,*+'S|ž;G2IH$.(1 ?JIC;oG-=‰;F &>1.D 565… $> B};V)898K 4 …24&9 =w v.+DL8$  „hH&.hCD;   H&JIH&0 -H;S.+DL8:03f.H$.pC &H&3>pH$2@03?.id??n8e1 ?J=>2@?7EH&2@DLC]>03f : H iG 18:2@D78Q 9-P$ l UQ`W("%- & U+'|JR(`Wy/- Kb"%T j)N=*{ "/-i$u  US*,$m  |`6"S<|J\i;+J@D.1? 1" 3D-;1g1JIH&.hŸD;15[5:K}5<…~898K: 4 …28&9MG v;mH&>%h " DJ@2;MŸdƒ037MDLCw=>2@?7H&2IHH&.hC].+0n8@žJ@D2@D  D.-2oG  8:2@D€7E8Q; ‚UQ)'c l :U%JW"%/- s…- ,UQTMs…-[})c ; ;+J@?.103.fD.Z; :# >1  )8985 4 0$6&9!;< u  ?  D€.;  -AB?33D€J;9 (  +  >pHC-JIH&2;1A„  03?2;=ž= 3fD 1" JIH&0n d??n8a1 ?Ju2  D  DJ 1 ?J@7EH&.hžD &H&3>hH&2@03?. ?21F.+0n8@ŸJ@D€2@D   D.-2–G  8:2@D€7E8Q1;G lBlBl ‚U%['`"J"Q$*{- |Bm2W"Q')*+TGJ|J|` "e- & * |[')U%"S6" l 9"S- Pm  |S6"S|Ÿ;090\Q$bI; @# H&.->pH$J  82498 4 0:€9 w   0n8@8@H&JIC:5 ;+0 h" ?33D€2;%~  *  H&„hD€33?8Ÿ;   0 DL8Ÿ;   t–?J@J@D3  ;=  D$H$ 5/d 037 D  J@?fJIH&7 7M03.1f ?21–AB? 1" 033D  ? h" ?2u= ž2@03?.h8 +   8:03.f =+C:H$.pžD$C u ?.2@J@?1dDL 1 .0{C>DL8QEZ{RGS- #c m  EWici- l -SW("SUS*{!"S-FT9K‚  ,*,'`|Ÿ; G2IH&.(1n?JIC;o  G-=‰;i &>1.D 565 &> B  };i898K 4 0}L9  %  0 DL8Ÿ; w   0n8@8@H&JIC:5 ;+0 h" ?33D€2; ~  %  H$„pD€33?8   . D[D€3?„17MD€.2˜?21 H  DLHž2@0 D A~? " 033D ? p" ?2  8:03.1f  D$H&d 037 D  0n8:03?. ;BNVR:*{UQ$ Ÿg1?J@7H&  DJ@0pH$2@03?.?1+AB0n8@8:03?.h8 H&.hC deH8:*8Ÿ=„„130n€H&2@03?. 2@?  .hC-DQJ $H 2@DJ  ? "p?2@0n8QGS-Fc s…-[})c- e$ -P'`"%$tK‚  ,*,'`|J\G9s=LK!" &;pt H&JIžD3?.p8Ÿ;G„hH&03.Z;8:D€„2) 898-K 4 0)39 4 0KL9 ~ H&„hD€33?8Ÿ;1GF = "C-?>;A€  &?>1JICH&.Z;htL u8:„0nH$>€€G„hDLŸ0pH$2@03?.;1g1?J@7H&  DJ@0p€H&2@03?.H&.pC,<7 „3D[5 7 D.-2IH&2@03?. ?1˜d H8:*8uH&.h8 A~0n8@8:03?.h8a1 ?J H&.w=>2@?.1?7 ?>h8  D 10nž3D/wZ RtGS-FcVm  EWPca- l -SW("SUS*{!"S-FT K‚  +*,'`|Ÿ;G2IH&.1 ?JIC;oG-=;V &>1.1D 565 &>1  }-;V898K: ~  H&nH&H&.10n8 H$.pC‡H&# ; DLC-032@?JI8Ÿ;bI,<.2@D€[email protected]&2@03?.pH&  J@?fJIH&7 + . D[D€3?„7 D€.2m03. .hCD€JI8:D$H ? "h?2@0n8 H&.hCB,<.2@D€3303fD€.2–?.2@J@?{1; ‚UQ)'cB6}{R " /*{- ~gvmeU`, (/T &  U('|JR`Wp;ˆZ0n8$"h?H1;  ?J@2@>1fH&/;7EH&JI   898-K 4 0$…&9 *< hˆZ>Z;  ptu>0n8@8:?.;?ž= .hH& 8:0n8uH$.pC D„1J@DL8:D.-2IH&2@03?.h8˜?21>1 "1J@0nCBG 18:2@D78‚ 032 BG03.1f>1nH&J G 8:2@D€7E8Q; q*{UJ|S |S*,/-]'J- ,UQTMs…-[}"SU%"S-P'`"Ÿ;d?* ?p;( H&„hH&.Z;P &>1 ]8983F 4 02L0 9~ % m?8:DLI*&H;2>w  1J@0n8:2@D.h8:D.Z;  -ƒ „pD€J@037 D.-2I8˜03.EtuD hH 03?Ju?7M„h?8:032@03?. ; YUQ$wGS- cVm  EWic=- GS- 6"ST j T ,* ("[- ?K‚  +*,'1 y)898 K ë cëÂö Unite´ de recherche INRIA Lorraine, Technopoˆle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LE` S NANCY Unite´ de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unite´ de recherche INRIA Rhoˆne-Alpes, 46 avenue Fe´lix Viallet, 38031 GRENOBLE Cedex 1 Unite´ de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex E´diteur INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) ISSN 0249-6399