About Folding-Unfolding Cuts and Cuts Modulo

HAL Id: inria-00072640

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

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.

About Folding-Unfolding Cuts and Cuts Modulo

Gilles Dowek

To cite this version:

Gilles Dowek. About Folding-Unfolding Cuts and Cuts Modulo. RR-4004, INRIA. 2000. �inria- 00072640�

ISSN 0249-6399 ISRN INRIA/RR--4004--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 2

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

About folding-unfolding cuts and cuts modulo

Gilles Dowek

N 4004

Septembre 2000

Unité de recherche INRIA Rocquencourt

Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France)

Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30

#%$'&(&')+*-,.0/1)3254

6879;:=<>@?BADC;EFG<IHKJML+FKNOFG<;H

<OPQNORSHTNUVHXWZY[:@\]JMHKFT^+UV<

_a`bJScd<OPQeXJML+FgfRMH

hiRSjVjkJ+`ZPil0<I`b<;Nm7<;`bNm7V<nE]oqp+r+rSp?Bs[<;j0Pt<;:@\`b<@>Sr+rMrI?vu;r=jVRMLM<;W

wxqy;zO{|}MzM~% <"WZ7J€FGE‚Pt7FTWIEJMPt<=Pt7kRPNU0PI<;HGFK:-FGEVRSPtFKJMEFGEƒl0<„l0UVN…PbFGJ+E‚:-J0l0UHKJ%WZUV\VWZUV:=<„WINU0P

<;HGFK:-FGEkRPtFKJMEFKE†l<;l0UVNPtFKJME†€‡FGPt7Pt7<ˆ‰J+HKlFGEL"RMEVlUE0ˆ‰JMHTl0FKEL-`tUVHG<„WOŠ

‹%Œ3Žb@‘

{’qyM~

fUPi<OHKFG:-FKEVRPbFGJ+EX“Vl0<„l0UVN…PbFGJ+E†:=J0l0UVHGJk“[ˆ‰JMHTl0FGEVLV“UEˆ‰JMHTl0FGEVLVŠ

”a•—–t˜…˜m™Oš3›Kœ;tžO™bŸO „–¢¡£—–Z¤0›T¥…£§¦¨…¨m©Vª‰«…«…˜…b¬—–b­b¤˜[›'–¢¡£—–Z¤0›T¥…£;«;®O¯OtžO™bŸ

y ~ E :=J+E3Pt`b<ƒ^3U<ƒHC;HGFK:-FGEkRPtFKJMEnl0<„W§NJ+UjU`b<;W<;E lC;l0UVNPtFKJME :-J0l0UHKJ LMCOEVCO`mRSHKFKWt<

HCOHKFG:-FKEVRPbFGJ+El0<„WiNJ+UjU`b<;W8R+<;NDl0<;W‡`b9OL+HG<„W8l0<IjHKFKRMLM<<Pil0<l0C;jHKFKRMLM<MŠ

‘

z„y

Ž

}

y~

HKFG:-FKEVRPbFGJ+E%l0<;W‡NOJMUjUV`t<„WO“l0C„l0UVNPtFKJME:=J0l0UVHGJk“jHKFKRMLM<M“lCOjHKFKRMLM<+Š

'¢E)(k`bWZP+*JM`ml0<O`IEkRPtUV`bRMH l0<;lUVN…PbFGJ+EX“ R§NU0P=FKW1R%WZ<„^3U<OEVNO<"ˆ‰JM`b:-<;lƒ€‡FGPt7 RMEƒFGE3Pt`bJ0l0UVNPtFKJME `bUHG<

ˆ‰J+HGHKJ€<;l\[YRSE<;HGFK:-FGEkRPtFKJME1`tUVHG<+Š687FTWqEJSPbFGJ+E@NORME@\]<<-,3Pb<OEVl<;lIPbJ l0<„RSH[€‡FGPt7Pb7<8R,0FGJ+:"W5JMˆkWZJ+:-<

Pb7<OJ+`tFK<;W;“<MŠLVŠDPdY[jk<1Pt7V<OJM`bYM“ Wt<PDPt7<;JM`bYM“]Pt7V<"s[Pt`mRPtF(V<„l/.J+UEVlRSPtFKJMEVW;“ ŠGŠKŠI_a`mR—€‡FP1032Ku;r54 j`bJMj]J+Wt<;W

R `bRSPt7<;`UEVFˆ‰J+`t: €8R—Y PbJ <-,3Pb<OEVl Pt7<‚EJSPbFGJ+E JMˆ@NU0P†\[Y6(k`bWZP<-,3Pb<OEVlFGEL7(V`mWdP8*'J+`bl0<;`EVRSPtU`mRSH

l<;l0UVNPtFKJME €‡FPb7 Pd€J‚`bUHK<;W9 RSEVl ;:N;RSHKHG<„l=< >@?8%>-A RMEVl6< +BC#DE@A

\[Y§_ `bR—€‡FGP805FRSEVl‚Pt7V<OE NJ+EVWtFKl0<;`tFKEL†R%WZ<„^3U<OEVNO<-JSˆ‡WZUVNm7ƒ`bUHK<;WIRMW@REV<O€ ˆ‰JM`b: JSˆ‡NUP :Wt<O< RSHTWtJ

2>[“G0“Vu+“ & “IH4JF…Š  <i7VR+<‡`t<„N<OE3PbHGY=j`bJMj]J+Wt<;l-RSEJMPt7<;`a€8R—YPtJ@<,[Pt<;EVl"l0<;lUVN…PbFGJ+E NORSHKHK<;l B>@A

#K% 2ML0“N4X€‡7<;`t<Dj`bJMj]J+WtFPbFGJ+EVW<;^3UFRSHK<OE3P:-J0l0UHKJ"R1NOJMEL+`tUV<OEVNO< RS`b<DFKl0<;E3PtF(V<;l ŠO'dl<OE3PtFGˆ‰Y[FGEL

jV`tJ+jkJ3WZFGPtFKJMEVW5Pt7VFKWq€8R—YD<-,[Pt<OEklWqPt7<EJMPtFKJME@JMˆkNUP;Š  <8Wt7J€ FKEPt7VFKW EJMPt<Pt7VRSPal0<;l0UkN…PtFKJME1:-J[lUHGJ

WtU\VWtU:-<;W‡l<;l0UVNPtFKJME†€‡FGPt7Pt7< RMEVl `tUHK<;W;Š

P Q SRmUTUT WVYX[Z]\_^a`cb ed `fVYXgZ]\O^a`cb

'¢EPb7FKW8EVJSPt<+“€<NOJMEVWtFTl0<O`iRD(h,0<;lPt7V<OJM`bY3i ˆ‰JM`b:-<;l€‡FPb7%R,0FGJ+:"W

j!kmlDnnnjEko/pqUrUsutvr@w

€‡7V<O`b< Pb7< q r W‡RS`b<IRPtJ+:-FKNDj`bJMj]J+WtFPbFGJ+EVW8RSEVlPt7V< t r W‡RS`b\FGPt`mRS`bY-j`tJ+jkJ3WZFGPtFKJMEkWOŠ

 <iWtR—YPb7VRPaRDj`bJMj]J+WtFPbFGJ+EDx 5 PtJIRSE-RPbJM:-FKNj`bJMj]J+WtFGPtFKJMEDy :`t<„WZj5ŠXPt7kRP[y 5 PtJvxDF

FGˆOy{z}| qUr RSEVl~xz€| t r ˆ‰JM`iWtJM:-<R,0FKJM: jEkElDnnnhj!k!opqUrUs‚tvrƒw JSˆOi RSEVl†WtJM:-<IWZUV\VWdPbFPbU0PtFKJME

|VŠ  < R+WtWtU:-<8Pt7kRP„i FTW WtUVNm7-Pb7VRP8RSE RPbJM:-FTN8j`tJ+jkJ3WZFGPtFKJME"UVE0ˆ‰JMHTlW PbJ@RP:=J3WdPJME<ijV`tJ+jkJ3WZFGPtFKJMEXŠ

687<R,0FGJ+:-WJMˆ_i NORME\]<I`b<OjHTRMNO<;l\3Y Pt7<l0<„l0UVNPtFKJME†`tUVHG<„W

…/†K| t r

…/†3| q‡r

…/†3| q‡r

…/†K|

t r

RMEVl1FP FTW <;R+WZYPbJNm7V<;NˆPt7kRP RDWZ<„^+UV<OE3PgiŠ‰8…‹†"y NORME1\]<8j`bJ M<;l@FGED(V`mWdP8*'J+`bl<O`qEVRPbU`bRMHl0<;lUVN…PbFGJ+E

FGˆaRSEVlJ+EHGYFˆ Pb7<@Wt<;^3U<OE3PŒ…†~ynNORME%\k<jV`tJ +<;lFGE%l0<„l0UVN…PbFGJ+E%€‡FPb7†Pt7< RSEVl %

`bUHK<;W;Š'¢Ekl0<O<„l “ RSE[YFGEkWdPmRSEVNO<JSˆQPt7< RMEVl `tUVHG<„W1N;RSE \]<WtFK:@UHTRPb<;l UVWtFKEL‚RME

R,0FGJ+: JSˆ‡i RSEkl Pb7<IR,0FGJ+:"WJMˆ‡i NORME\]<j`tJ +<;l"FKE†l0<;l0UkN…PtFKJME†€‡FGPt7Pt7< RSEkl

%

`bUHK<;W;Š

s[FKEVNO<RMERPbJM:-FTNQj`bJMj]J+WtFGPtFKJME UEˆ‰JMHTlWPtJ-RP8:=J3WdP8JMEV< j`bJMj]J+WtFGPtFKJMEX“[R1Wt<;^3U<;EVN< ˆ‰JM`b:-<;l"€‡FGPt7

R RSEklRME

%

`tUHK<7VRMWPb7<ˆ‰JM`b:

nnn

…/†"x

…†"y

%

…/†"x

RMEVlNORSE\]<I`t<„l0UVN<„l PbJ

nnn

…/†"x

ŽUŽ‘h’“a“’

s0UVNm7R"Wt<;^3U<;EVN<FTWPt7[UVWiN;RSHKHG<„lR % -Š

fU0Pi<;HGFK:-FGEkRPtFKJMEPb<O`b:=FKEVRSPt<;Wˆ‰J+`iWZJ+:-< Pb7<OJ+`tFK<;W i“\U0PiFGPQl0J[<;W8EJMP8ˆ‰JM`iJMPt7<;`bW;Š

Q !"

'¢E l0<;l0UkN…PtFKJME :=J0l0UVHGJk“aR†Pt7<;JM`bY‚FTW@ˆ‰JM`b:=<„l €‡FGPt7 R‚WZ<OP1JSˆQR,0FGJ+:-WD… !;?a>BE1B J+E

jV`tJ+jkJ3WZFGPtFKJMEVW;ŠQ<O`b<M“MPt7<QNOJMEL+`tUV<OEVNO<FTW Pb7<QWt:-RMHGHK<;WZP NJ+ELM`bU<;EVN<8FTl0<OE3PtFGˆ‰Y[FGEVL qUr RSEVl tvr ˆ‰J+`a<;R+Nm7

Š

687<1l0<;l0UkN…PtFKJME†`bUHK<;W8PmRˆM<Pb7FTWiNJ+ELM`bU<OEkN<FGE3PbJ RMNONOJMUE3P„Š .J+`‡FGEkWdPmRSEVNO<M“Pb7< #Kh!B-h

FTW8EJMPQWdPmRPt<„lR+W8UVWtUVRSH

…/†3y x …/†"y

…/†"x

R+WPt7< (V`mWdP‡j`b<O:-FTWZ<E<;<;lEJSP‡\]<<,RMNPtHKYŠy x \U0P‡:"R—Y \]<DJ+EHKYNJ+ELM`bU<OE3PPtJ=Pt7FTW8j`bJMj]J+WtFC*

PbFGJ+EX“07<;EVN<IFGPiFKW‡WZPbRSPt<„l

…/† …/†3y

FGˆ y x

…/†"x

HGHXPt7<I`bUHK<;W8JSˆqFGE3PbUFPbFGJ+EFTWdPbFKNEVRSPtU`mRSHXl<;l0UVNPtFKJME†:"R—Y \]<WZPbRSPt<„lFKE%R-WZFK:-FGHTRS`‡€8R—Y :(VL+U`b<=u5F…Š

- FGEƒl0<;lUVN…PbFGJ+E‚:-J0l0UHKJFTW;“XHGFˆM<-FKE/(k`bWZP+* JM`ml0<O` HGJ+LMFTNS“XR†Wt<;^3U<OEkN<1ˆ‰JM`b:=<„l§€‡FGPt7 RFGE3Pt`bJ*

lUVN…PbFGJ+ERMEVl RME‚<;HGFK:-FGEVRSPtFKJME`tUVHG<+Š-fU0PI<OHKFK:=FKEVRSPtFKJME‚Pt<O`b:-FGEkRPt<„W ˆ‰JM`WtJM:-<=NOJMEL+`tUV<OEVNO<;W;“]\VU0PFP

lJ3<„W8EJSP‡ˆ‰J+`‡JSPb7<O`mWOŠ

q"@ ;[ !

 <UVWt<R=ˆ‰UEVNPtFKJMEVRMH5EJMPbRSPtFKJMEˆ‰JM`ijV`tJ[JSˆW;Š6J <„RMNm7j`tJ[JMˆqJMˆ R"Wt<;^3U<;E3PŒy l ‰ nnn‰8y o †~x FKE~(V`bWZP+*

J+`bl<O`qEVRPbU`bRMH0l0<;l0UkN…PtFKJME5“€<‡RMWbWtJ[NOFKRSPt<RQj`bJ[JSˆ*'Pt<;`t: €‡7J3WZ<ˆ‰`t<;< RM`tFTRS\HK<;WqRS`b<8RS:-JMEL l ‰ nnn‰ o Š

_ `tJ[JSˆWQ\UFKHPD€‡FPb7%Pt7V<1R,0FKJM: `tUVHG<„WiUVWtFGEVL"Pt7<=R,0FKJM: y r RS`b<I€‡`tFGPZPb<OE r “]j`bJ[JSˆWi\VUFGHGP €‡FGPt7 Pt7<

FKE3Pt`bJ0l0UVN…PbFGJ+ERSEVl<;HGFK:-FGEkRPtFKJME@`tUHK<;W5JSˆ[Pt7V< FK:=jVHGFTNORSPtFKJME@RM`t< €‡`bFPtPt<;ED< RMEVl pw “jV`tJ[JSˆWX\UFKHP

€‡FGPt7@Pt7<8FKE3Pt`bJ[lUVN…PbFGJ+E1RSEkl<OHKFK:=FKEVRSPtFKJME@`bUHK<;WqJSˆVPt7<‡NJ+EcdUEVNPtFKJME=RS`b< €‡`bFPtPt<OE !O‰" !# “%$'&)( p w RSEkl

&)*+ p w “j`tJ[JMˆW \UFKHPq€‡FPb7IPt7V< FKE+Pb`tJ0l0UkN…PtFKJMERMEVl<OHKFK:=FKEVRSPtFKJMEI`bUHG<„WXJMˆ3Pb7<lFKWcdUEVNPtFKJMERS`b<a€‡`bFPtPt<;E

p w “, p w RMEVl p.- El/0214365 w “3j`bJ[JSˆW \UVFGHGP€‡FGPt7-Pb7<i<OHKFK:=FKEVRSPtFKJME-`tUVHG<iJMˆPt7<QNOJME3Pt`mRMlFKNPtFKJME-RS`b<

€‡`bFGPZPt<;E p87:9 (<;>=@? w jV`tJ[JSˆW \UFKHP€‡FPb7"Pt7V< FKE3Pt`bJ[lUVN…PbFGJ+E RSEVl"<;HGFK:-FGEkRPtFKJME"`bUHK<;W JSˆ Pt7V<QUEFM<;`bWbRSH

^3UVRME3PtF(V<O`RS`b<‡€‡`tFGPZPb<OE"< k §RMEVl pA(w RSEkl"j`bJ3JMˆW \UFKHGP€‡FGPt7"Pb7<QFKE3Pt`bJ0l0UVN…PbFGJ+ERSEkl-<OHKFG:-FKEVRPbFGJ+E

`bUHK<;W"JMˆPt7<§<-,0FKWZPt<;E+PbFKRMHQ^3UVRSE3PbFC(V<;`RM`t<†€‡`bFPtPt<OEB .(a‰C # RSEVl p; k

;D=@? k

w

ŠBE

B>@A

J+E

jV`tJ[JSˆ*'Pt<;`t:"WFTW‡l0<(VEV<;l\[Y Pt7V<ˆ‰JMHKHGJ€‡FKEL=`tUHK<;WPb7VRPi<;HGFK:-FGEkRPt<NOU0PbW‡WZPt<;j†\3YWdPb<OjXŠ

p

<6F l

15wHGJI

1K

0LM

l

$'&)( p .El‰C61 #wNG ml

&)*+ p !El‰C21 # wOG 21

p.- p lw 1 3 5%wNGJI l)K 0LM 1

P!Q‡ŽPSR

! #"

%$&'(*)+-,. 0/

1)

1) 2 #"4365

7*)+-,. 0/

8 !9 "

%$&':);-,.

9

(/

1)

1) 9 "<3=5

7);>,.

9

0/

1

1) 9 "<3=5

)+>,.

9

0/

?;@ "

%$&'();>,.

@

0/

1)

!@ "

%$&':);>,.

@

0/

)

1A ?) B!) @ "4365

7AC-,.

@

(/

1)

!D

"<3=5

E>

D

?

?

,GFH'I/J

"

K$&'0>>,LJMF?N/OFP?QSRT,.H/

,GFH'SVU'/J

"<3=5

E!-,LJWFN/OW);-XU'YZF[\

)

1)

,GFH'SVU'/^]

"

%$&'(!>,4]FI/OW)>XU'YZF[\

?) '8

,GFHN/^]

"4365

7);-,4]KF?I/OWF_PQSR:,.H0/

.qFGL+U`t<-uI9O` RPbU`bRMHXl0<;lUVN…PbFGJ+E:-J0l0UHKJ

ŽUŽ‘h’“a“’

p8- , p l-w 1 30 55wOGJI l)K 3'L 5

p< k ( wHGJI( K5k LM

p; k

;>=@? .(a‰Cml # k 21

wOG I( K5k

‰"El

K

0LM21

_a`bJ[JSˆ WqFKE1l0<„l0UVN…PbFGJ+E@:-J0l0UHKJV“SRM`t<€‡`tFGPZPb<OE1R+W5FKE (k`bWZP+*JM`ml0<O`EVRPbU`mRSH[l0<;l0UkN…PtFKJME5“MRSEVlIPt7<8j`bJ[JSˆ

`b<;lUVN…PbFGJ+E`bUHK<;W‡RS`b< Pt7<WbRS:-<MŠ

_a`bJ[JSˆ W \UFKHP €‡FGPt7 Pt7< `bUHK<QRS`b<‡€‡`bFPtPt<OE@RMEVl=j`tJ[JMˆW \UFKHP€‡FPb7-Pt7< `bUHG<

RM`t<D€‡`bFPtPt<OE VŠa687<NOJM`b`t<„WZj]JMEkl0FGEVL@`b<;l0UVNPtFKJME`tUVHG<FTW

G

q@@

WRSHK`b<;RMlY WtRMFKlX“R†WZ<„^3U<OE3P …}†6y FKWIjV`tJ RS\VHG<-FKEƒl<;l0UVNPtFKJME €‡FGPt7Pt7V< RSEVl

%

`bUHK<;WDFGˆRSEkl§JMEVHGY%FGˆPb7<-WZ<„^+UV<OE3P iK‰8… †y FTWDj`bJ —RM\HK<1FKE/(k`bWZP+*JM`ml0<O` EVRPbU`mRSH l0<;lUVN…PbFGJ+EXŠ1687<

Wt<;^3U<;E3P …6†y FKWRSHTWtJj`bJ RS\HK<@FKE‚l0<„l0UVNPtFKJME :-J0l0UHKJFˆRMEVl§J+EHKYFGˆ Pb7<-WZ<„^+UV<OE3PiŠ‰8…7†y FKW

jV`tJ RS\VHG< FGE"(V`mWdP8*'J+`bl0<;` EVRSPtU`mRSH l0<„l0UVNPtFKJMEXŠNi<;EVN<DPb7<IWZ<„^+UV<OE3P …/†"y FTWjV`tJ RS\VHG< FGE†l0<;lUVN…PbFGJ+E

€‡FGPt7Pb7< RSEVl `bUHG<„W8Fˆ RSEklJ+EHKY Fˆ FGPiFKW8j`bJ RS\HK<FGE%l0<„l0UVNPtFKJME:=J0l0UVHGJkŠ

687FTWDNORSE§RMHKWtJ \]<@j`bJ M<„l†l0FG`b<;NPtHKYMŠc'ˆ FTWQRj`bJ3JMˆ JSˆg… †y FKE l0<„l0UVNPtFKJME§€‡FGPt7%Pb7<

RMEVl `bUHK<;W;“0Pt7<;E%Pt7V<j`bJ3JMˆH J+\0PbRMFGEV<;l\[Y<O`mRMWtFKEL=Pt7<Iˆ‰J+HKlFGELRSEVlUE0ˆ‰J+HKlFGELWdPb<OjVW

FKE ƒY3FK<OHTlWiR-jV`tJ[JSˆqFGE§l<;l0UVNPtFKJME†:-J0l0UHKJVŠ687V<NJME +<O`mWZ<DFKWQR-HGFGPZPbHG<\VFPQ:-J+`t<Il0F NUHGP;Š„'¢EVl0<;<;l “

FGˆ8Pt7<j`tJ+jkJ3WZFGPtFKJME;x UEˆ‰JMHTlWIPbJ‹x Pt7<;EƒPt7< jV`tJ+jkJ3WZFGPtFKJME;y/x RSEVl;yx RM`t<"NOJMEL+`tU<;E3P

RMEVl†7<;EVN<IPb7<@Wt<;^3U<;E+P y~x †y x 7VRMW R=Pt`bF[FTRSHj`tJ[JMˆqFKE§l0<;lUVN…PbFGJ+E%:=J0l0UVHGJk“kUVWtFKEL"JMEHKY

Pb7< IA# `bUHG<+ŠUPPb7< % `bUHK< l0J[<;WEJMP8RMjjHKY1PbJPb7< jV`tJ+jkJ3WZFGPtFKJME3y x “0\U0P8JMEVHGY=PtJ

Pb7<j`bJMj]J+WtFPbFGJ+E3x ŠQ<OEVNO<QPb7<j`tJ[JMˆ5JSˆUy3x :@UkWdP8\k<€‡`bFPtPt<;E $'& ( p w ‰&)*+ p w # €‡7<;`t< Pt7<

RM`tFTRS\HK< FKWI*<,0jVRMEVl0<„l‚WtJPt7VRSPIPt7< % `bUHK<"NORSEƒRSjVjHGY PtJPt7V<"j`tJ+jkJ3WZFGPtFKJME;x Š 687VFKW

cdUkWdPbFC(V<„W8Pt7V<IE<O<„lJMˆPb7<ˆ‰JMHKHGJ€‡FKEL=HG<;:-:-RVŠ

Œ | >B !?8h@A y "!B?a x EB aƒB#@[B O?aƒB$$ y&%

l

x('*) >B

$hB-?8B"?8BE?8%] 13]

y x

!

x y

7B>-@A O$$hB

ˆ‰JMHTl0FGEVL

!

UE0ˆ‰JMHTl0FKEL

?aB+

,

>Ba-B/!?8%] 1 ?8B$1B

NOJME M<;`bWtFKJMEWZPt<;jVW

+

- ?1+ .+ Y FGEkl0UVN…PbFGJ+E†J M<O`Pb7<WdPb`tUkN…PtUV`t<JSˆ_yŠ

/ ' ˆ_y FTWiRSPtJM:-FTNS“[Pb7<OEy UE0ˆ‰J+HKlVWPtJŠx RSEkl€<DPbRˆ+<DPt7<Ij`bJ[JSˆ Wc<6F0"RMEVl <6 0VŠ

/ ' ˆcy z y l y 1 Pt7<;E x z x l x 1 Š  < 7VRM<-<;FPb7<O` y l z x l RMEVl)y 1 % l x 1 JM`

y l % l x l RSEVl;y 1 z x 1 ŠY‚FGEkl0UVN…PbFGJ+E 7[Y3j]JSPb7<;WtFTWI€<"7kRM<-FGE \]JSPb7 NOR+WZ<„Wj`tJ[JMˆW(1 l

RSEVl21 l

JSˆgy l x l RMEVl~x l y l RSEVl1 1 RSEkl31 1

JMˆ_y 1 ux 1 RMEVlx 1 y 1 Š  <IPmRˆ+<

<=< 3 p1 1Kp p1 l 3 w8w+w RMEVl <66<3 p1 1 p p1 l 3 w+w8w Š

/ ' ˆy z y l ;y 1 Pt7<;E x z x l ;x 1 Š  <†7VRM<<OFGPt7<;`Šy l z x l RSEVl=y 1 % l x 1 JM`

y l % l x l RSEVl;y 1 z x 1 ŠY‚FGEkl0UVN…PbFGJ+E 7[Y3j]JSPb7<;WtFTWI€<"7kRM<-FGE \]JSPb7 NOR+WZ<„Wj`tJ[JMˆW(1 l

RSEVl21 l JSˆgy l x l RMEVl~x l y l RSEVl1 1 RSEkl31 1 JMˆ_y 1 ux 1 RMEVlx 1 y 1 Š  <IPmRˆ+<

< p1l $'&)( p w+w ‰ p1 1 &)*+ p w+w # RSEVl<6 p1 l $'& ( p w8w ‰ p1 1 & *+ p w+w# Š

P!Q‡ŽPSR

/ ' ˆy z y l y 1 Pt7<;E x z x l x 1 Š  <†7VRM<<OFGPt7<;`Šy l z x l RSEVl=y 1 % l x 1 JM`

y l % l x l RSEVl;y 1 z x 1 ŠY‚FGEkl0UVN…PbFGJ+E 7[Y3j]JSPb7<;WtFTWI€<"7kRM<-FGE \]JSPb7 NOR+WZ<„Wj`tJ[JMˆW(1 l

RSEVl21 l

JSˆgy l x l RMEVl~x l y l RSEVl1 1 RSEkl31 1

JMˆ_y 1 ux 1 RMEVlx 1 y 1 Š  <IPmRˆ+<

< p.- 3 p1hl3 w , p1 1 Yw+w RSEkl <6 p8- 3 p1 l 3 w , p1 1 Yw+w Š

/

s[FKEVN< y FTW8`t<„l0UVNOFG\HK<M“VFPQN;RSEEJMP‡\k<

/ ' ˆ yz j!k y l Pt7<;ExWz j!k x l RSEVl%€<=7VRM< y l % l x l Š Y†FKEVl0UVNPtFKJME 7[Y[j]JSPt7V<;WtFKW €<

7VRM<j`tJ[JMˆ W1 l RSEkl 1 l JSˆ y l Sx l RSEVl)x l Sy l Š  < PmRˆM< < < k p1 l/p k!w+w RSEkl

<=<

k p1 l p kEw+w

Š

/ ' ˆ yz k y l Pt7<;ExWz k x l RSEVl%€<=7VRM< y l % l x l Š Y†FKEVl0UVNPtFKJME 7[Y[j]JSPt7V<;WtFKW €<

7VRM<8j`bJ[JSˆW1 l RSEVl 1 l JSˆmy l x l RSEklDx l y l Š  <8PmRˆM<c<6 p; k ;D=@? k 3 k ‰ p1 l 3 w # w

RSEVl<6 p; k ;>=@? k 3 k ‰ p1 l 3 w # w Š

‘ { ‘ |0{  y y ! E?8+ "+ …{† y() >B= >B?1B "E?8%] ~] … †=y +

$hB ?a# p1 o{nnnŒp1 l wannnMw >B?8B 1 l ‰ nnn‰ 1 o ?8B‹"!B?aA}B+> !?8%] ‹B

Pb`bRMEVWZˆ‰JM`b:-RSPtFKJME ] +

{

‘ ‘

yz

‘

,

hB E?8>5a@A> !?1 !-B; B>-@A O €$hB

ˆ‰JMHTl0FKEL

!

UE0ˆ‰J+HKlFGEL

?aBa EŠ$hB!?8h@A>4!?1 !-BDB>@A#$% ?1B $hB -#KB +

-

?1+ .+

`mRMWtFGEVL‚Pb7<%ˆ‰J+HKl0FKEL RMEVl UE0ˆ‰J+HKl0FKEL WZPt<;jVW-Pb`bRMEVWdˆ‰J+`t:"W"RME3Y j`bJ3JMˆ FKE l0<;lUVN…PbFGJ+E

€‡FGPt7Pb7< RSEkl

%

`tUHK<;WiFGE3PtJ R=j`bJ[JSˆO FGE§l0<„l0UVNPtFKJME†:-J[lUHGJkŠfJME +<O`mWZ<;HGHKYM“0FGˆ R

Wt<;^3U<;E3P7VR+W RjV`tJ[JSˆ'§FKEl0<„l0UVNPtFKJME:-J0l0UHKJV“+Pt7V<OE€<QN;RSE \UVFGHTlR@j`tJ[JMˆ FGEl<;l0UVNPtFKJME €‡FGPt7

Pb7< RSEVl

%

`bUHK<;W8FKEVWZ<;`ZPbFGEVL-Wt<;^3U<;EVN<„W8JSˆ NJME +<O`mWZFKJMEWdPb<OjVW8€‡7<;E†E<O<„l0<;l Š

ODV O q !"

 <@EVJ€ j`bJ M<Pb7VRPNU0PD<OHKFG:-FKEVRPbFGJ+E†Pt<;`t:-FKEVRPb<;WiFKE l0<„l0UVNPtFKJME%€‡FGPt7%Pb7< RSEVl %

`bUHK<;W8FGˆ RMEVlJMEHKY FGˆ NOU0Pi<OHKFG:-FKEVRPbFGJ+EPt<O`b:-FGEkRPt<„W8FGE%l0<„l0UVNPtFKJME†:-J[lUHGJkŠ

Π|

B-

y

!

y

B~[ !?1>5aAh~a> >

y y

!

y

!

y

?8B/B-

$hB-? 8[$# !CA1Ah

) [ŠaE@A>

) [K aE@A>

) [K?8IA-Ah

) [ > !B?-

!

>"„@Ah$? [~BIaBA

!

>"„@Ah+

B

BŠ !?8%] $]

… †/y

!

!?1+

+

…/†"y

>„ Š?1hJ ?a#$A;+

+

>@?8>@A

)

$hB-

?8B>Bac ~>@?8%>-A

ED >BŒ> !?1+ 1 ]

?8B

@?8hJ ?a#K@A> + a>@E?8%] 1 ]

+

- ?1+ .+ YƒFGEVlUVN…PbFGJ+E JME Pb7<HG<;ELSPb7 JSˆ‡Pb7<Pb`bRMEVWZˆ‰JM`b:-RSPtFKJMEƒˆ‰`bJM: PtJ Š687<`t<„WZUVHP=FKW

J+\ 3FKJMUkW FGˆ z Š Pt7<;`t€‡FTWt<M“ Pb7<"j`bJ3JMˆ 7kRMWDPt7V<-ˆ‰JM`b: p1 o l p1 oEnnnp1 l wannnMw+w Š687<"j`bJ[JSˆ

p1 oEnnnp1 l wannnMw FTW"R j`bJ[JSˆQJMˆDRj`bJMj]J+WtFPbFGJ+E6y Pb7VRP"FTW-<OFGPt7<;` RPbJM:-FKNJM`-7VR+W=Pt7<%WbRS:-<7<;R+l

WtY[:@\]JMHXR+W yŠ

ŽUŽ‘h’“a“’

' ˆvy

FTW"RPbJM:-FKNPt7V<OE *zƒRSEkl p1 o

l5nnnp1 l wannnMw FKW"Rj`bJ[JSˆQJMˆ y “ 1 o z <6B RSEkl

1 o l z <6 VŠ2Y‚FGEkl0UVN…PbFGJ+E 7[Y3j]JSPb7<;WtFTWO“ p1 o

lnnnp1 l wnnnw `t<„l0UVNO<;WPbJ§RSE FKE+Pb`tJ0l0UkN…PtFKJME

RMEVlPt7<WtU\j`bJ[JSˆW8JMˆ RM`t<DPt`mRSEkWdˆ‰J+`t:"RPbFGJ+EVWJSˆqPt7<WtU\j`bJ[JSˆWJSˆO Ša687<Ij`bJ[JSˆH `t<„l0UVNO<;WPtJ

-RSEVlPt7V<OEPtJ Š

Pb7<O`b€‡FKWt</y 7VR+W"Pb7<WbRS:-<§7V<;RMl WZY[:@\]JMHDRMW"yŠ Y FKEVl0UVNPtFKJME 7[Y[j]JSPt7V<;WtFKW;“8Pt7<j`bJ[JSˆ

p1o nnnp1l: wannnMw `b<;lUVN<„W8PtJ"<6F

l :`b<;WtjXŠ !

l

‰C

1 # “ p l w “ , p

l w “E< k

l

“H !(a‰"

l # F…“kPt7<@WtU\jV`tJ[JSˆW

RM`t< Pt`mRSEkWdˆ‰J+`t:"RPbFGJ+EVWJSˆPt7<WtU\j`bJ[JSˆW8JMˆHƒRSEVl31o

l 7VR+WPt7<ˆ‰J+`t:

<7<3 p)1Kp p

l 3 w8w+w

:

`t<„WZj5Š

<6 p l $'&)( p w+w ‰ p 1 &)*+ p w8w#

<6 p.-

3

p%l

3 w , p)1 mw8w

<6 p.-

3

p%l

3 w , p)1 mw8w

<=< k p%l$p k!w8w

<6 p; k ;>=

@?

k 3 k ‰ p%l 3 w # w

FŠ@687[UVW;“Pt7<-j`bJ[JSˆ `b<;l0UVNO<;W PtJ†RSE‚FGE3Pb`tJ0l0UVNPtFKJME RMEVl%Pb7<"WZUV\j`bJ3JMˆWQJMˆ RS`b<@Pb`bRMEVWZˆ‰JM`8*

:"RSPtFKJMEVW8JMˆqWtU\j`bJ[JSˆW8JSˆO Š

{ ‘ ‘ yz‘

cBC#DE@A)B?a# !ƒB ;IB>-A O$

ˆ‰JMHTl0FKEL

!

UE0ˆ‰J+HKlFGEL

?aB

! 3] -„B-# !@A;#KKB-?a#DEBa+

-

?1+ .+

WbWZUV:=<1Pt7kRPNU0PI<;HGFK:-FGEVRSPtFKJME:-J[lUHGJPt<;`t:-FKEVRPb<;WRSEkl NJ+EVWtFKl0<;`IRNOU0PI<OHKFG:-FKEVRPbFGJ+E

Wt<;^3U<;EVN< ml5‰C21‰

nnn

FKE†l<;l0UVNPtFKJME†€‡FGPt7Pt7< RMEVl

%

`tUHK<;W;Š

RMNm7r

lDFTW8JM\PbRSFKE<„l

ˆ‰`bJM: r <OFGPt7V<O`‡\[Y `b<;l0UVNOFGEVL-R=HKJML+FKN;RSH NU0PiJ+`‡R@ˆ‰J+HKlFGEL*'UVE0ˆ‰JMHTl0FKEL"NU0PiRSEklJ+EHKY R (kEFPb<IE[U:@\]<O`

ˆ‰J+HKlFGEL*'UVE0ˆ‰JMHTl0FKELQNUP`b<;l0UVNPtFKJMEVWNORME\k<jk<;`Zˆ‰J+`t:-<„lINJMEkWZ<„NU0PbF+<OHKY

:

RMW Pb7<WtF0O< JMˆj`bJ3JMˆWX`b<;l0UkN<;W

€‡7V<OEƒ€<"`b<;lUVN<"WtUVNm7 R%NU0PaF…Š  7V<OE r

l=FTWIJM\PbRSFKE<„l‚\[Y‚`t<„l0UVNFKEL%R†HKJMLMFTNORMHaNU0PFKE r8Pb7<OE

r l

FKWQJM\0PmRSFKE<;l\[Y`b<;lUVNFKEL R"NUPQFGEA

r

RMEVl†€‡7<OE !r

lIFKWiJM\0PmRSFKE<;l\[Y`b<;lUVNFKEL"R=ˆ‰JMHTl0FKEL*

UVE0ˆ‰JMHTl0FKEL NU0PiFKEAr Pt7<;EA

r l z

r Š Q<OEVNO<IFGE†Pb7<Wt<;^3U<OEkN<

l

‰"

1 ‰ nnn FGE§l0<„l0UVNPtFKJME†:-J[lUHGJ

<„RMNm7%j`bJ[JSˆ FKW <OFGPt7V<O`QJ+\0PbRMFGEV<;l%\[Y`t<„l0UVNFKELRNU0PDFGE%Pb7<@jV`t<3FKJMUkWO“kJM`iFTWQ<„^3UVRSH5PtJ"Pb7<@j`b< [FKJMUVW

RMEVlJMEHKYRD(VEFGPt<IE[U:1\k<;`‡JSˆ NJMEkWZ<„NU0PbF+< j`bJ[JSˆW‡N;RSE\k<<;^3UVRMH(Š W‡NU0Pi<;HGFK:-FGEkRPtFKJMEPt<;`t:-FKEVRPb<;W

FKE%l0<;lUVN…PbFGJ+E:-J0l0UHKJV“0Pb7FTWiWZ<„^3U<OEVNO<FKW„(VEVFPb<RSEVl†WtJ=FTWPt7V<WZ<„^+UV<OEVNO< l ‰" 1 ‰ nnnŠ

fJ+E +<O`mWZ<;HGHKYM“XR+WtWtU:-<1Pt7VRSP@NU0P<;HGFK:-FGEVRSPtFKJME‚Pt<;`t:-FKEVRPb<;WFKEƒl<;l0UVNPtFKJME€‡FPb7Pt7< RSEkl

% `bUHG<„W RMEVl"NJ+EVWZFTl0<;`RjV`tJ[JSˆ*`b<;l0UVNPtFKJME"Wt<;^3U<OEkN</ l ‰" 1 ‰ nnn FGEl<;l0UVNPtFKJME :-J0l0UHKJVŠ 687<

jV`tJ[JSˆ l NOJME3PbRMFGEkWIR`b<;l<, ŠK'¢E l

R%NOJME M<;`bWtFKJME WZPt<;jVWI:"R—Y§7VR+<=\]<O<;EƒFGEVWt<O`tPt<„l\k<OPd€<;<OEPt7<

FKE3Pt`bJ0l0UVN…PbFGJ+E `bUHK<-RMEVl%Pb7<-<OHKFG:-FKEVRPbFGJ+E‚`bUHK<-JSˆaPb7FKW`b<;l<, Š U0P„“X\[Y§HG<;:-:-R~L0ŠKuM“5`t<„l0UVNFKELPt7<

NOJME M<;`bWtFKJME†WdPb<OjVWDRSjjVHGFK<;l†PbJ"Pt7V<1FKE3Pt`bJ[lUVN…PbFGJ+E%jk<;`t:1U0Pt<„WiPb7<@FKE3Pt`bJ[lUVN…PbFGJ+E§RSEVl†Pb7<1NOJME M<;`bWtFKJME

WZPt<;jVW;Ši6873UkWO“6

l

`t<„l0UVN<„W8PtJ 1

FGE RSPQHK<;RMWZPQJ+E<WdPb<OjXŠ/Q<OEVNO<Pb7<@Wt<;^3U<OEkN< l

‰"

1 ‰ nnn

FKWc(VEFGPt<

RMEVlWZJ-FTW8Pt7<IWt<;^3U<;EVN< El‰C21‰

nnn

P!Q‡ŽPSR

@ †qO !" RmUTUT

VYXgZ]\O^a`cb d `YVYX[Z]\_^a`cb

'¢E2N%4X€<D7kRM<WZ7J€‡EPt7kRPiR1Pt7<;JM`bY":=J0l0UVHGJ-7VR+lPb7<INU0Pi<;HGFK:-FGEkRPtFKJMEj`bJMj]<O`tPdY"Fˆ FGP87kRMl†WZJ+:-<

ˆ[FKEVl=JSˆ :"RSE[Y*RMHGU<„l@:-J0l0<;H :€‡7J3WZ<8Pb`tUPt7 RSHKU<;W RS`b<iWZ<OPbW JMˆ]j`bJ[JSˆWF NORMHGHK<;l-R !?1B#KIB RMEVl=€<

7kRM<Wt7J€‡E†Pt7VRSP HTRS`bLM<NOHKR+WtWt<;W‡JMˆ Pt7<;JM`bFG<„W‡:-J0l0UHKJ7VR+lPt7<=NU0PD<OHKFG:-FKEVRPbFGJ+E%j`tJ+jk<;`ZPdY+Š WDNU0P

<;HGFK:-FGEkRPtFKJMEFKW<„^+UVFRSHK<OE3PFGE†l0<;lUVN…PbFGJ+E€‡FGPt7Pt7< RMEVl

%

`bUHK<;W8RSEVl FGE†l0<;lUVN…PbFGJ+E

:-J0l0UHKJV“kPt7V<;Wt<PtJ[J+HKWDNORME%\k<-RMlRMj0Pt<„lPtJj`tJ +<@NUP <OHKFK:=FKEVRSPtFKJME§FKE l0<„l0UVN…PbFGJ+E§€‡FGPt7§Pb7<

RMEVl `tUVHG<„WOŠ

HPb<O`bEVRPbF+<OHKYM“—Pt7V<OJM`bFK<;WXUkWZUVRMHGHKYj`b<;Wt<OE3Pt<„lIFGE=l0<;lUVN…PbFGJ+E€‡FPb7Pb7< RSEkl `tUHK<;W

N;RSE<;^3UFRSHK<OE3PtHKY \]<Ij`t<„WZ<;E3Pt<;lFKE†l<;l0UVNPtFKJME:-J[lUHGJkŠ

_a`bJ[JSˆ WFGEl0<;lUVN…PbFGJ+E :-J[lUHGJ=RS`b<Q:-JM`b<QNOJM:-jVRMNP Pb7VRSE jV`tJ[JSˆWFKEl0<;lUVN…PbFGJ+E€‡FGPt7"Pb7<

RMEVl % `bUHK<;W;ŠW.qFG`mWdP„“ \]<;N;RSUVWt<‚Pt7<‚ˆ‰JMHTl0FKEL RMEVl UE0ˆ‰JMHTl0FKEL WdPb<OjVW†RS`b<HG<OˆgP†FK:-jHKFKNOFP%FKE

l<;l0UVNPtFKJMEƒ:-J0l0UHKJV“q\U0P1RMHKWtJ†\k<„NORSUkWZ<"FKE l0<;lUVN…PbFGJ+E €‡FPb7‚Pb7< RMEVl `bUHG<„WO“ RMW

Wt7J€ RM\kJ +<M“ j`bJ[JSˆWDE<O<„l%PbJ\]< *'<-,[jkRSEVl0<„l WtJPb7VRPPb7< RMEVl % `bUHK<;WD:"R—Y%\k<

RMjjHKFG<„l Š687FKW * <,0jVRSEkWZFKJME§NOJMUHTl%\]<=R+JMFTl0<;l†FGˆ €<1<-,3Pb<OEVl<;l†Pb7< RSEkl `tUHK<;W

PbJ"R "!B?aA `tUHK<

…/†"y

!5B-?aA FGˆOy x

…/†"x

€‡FGPt7§RM`t\VFPb`bRM`tY jV`tJ+jkJ3WZFGPtFKJMEVW y RSEVlxŠ UP;“kPt7<;E§HG<;:-:-R"L0ŠKuI€J+UHKlEJMPQ7J+HKl%RME3Y[:-JM`b<RSEklR

NOJME M<;`bWtFKJME WZPt<OjFKEVWZ<;`ZPb<;l\k<OPd€<;<OE†R@FKE3Pt`bJ0l0UVN…PbFGJ+ERMEVlRSE<;HGFK:-FGEkRPtFKJME†NJ+UHTl\HKJ0Nˆ R-NU0P„“RMW8FKE

Pb7<Ij`bJ[JSˆ :€‡FPb7x x F y ‰8x †"y y ‰1x†"x

U*'FKE3Pt`bJ

y ‰8x †"y x

"!B?aA

y ‰8x†3y x

U* <OHKFK:

y ‰8x †"y

 <†€J+UHTlƒPt7<;E EV<O<;l PtJ<,[Pb<OEVl Pt7<EJMPtFKJME JMˆDNOU0P-RMEVl l0<(VEV<RNU0P R+W=RWt<;^3U<OEkN< ˆ‰J+`t:-<„l

€‡FGPt7 RSE FKE3Pt`bJ[lUVN…PbFGJ+E `tUHK<M“aR WZ<„^+UV<OEVNO<JSˆQNOJME M<;`bWtFKJME`tUHK<;W1RSEVl RSE <;HGFK:-FGEVRSPtFKJME `bUHK<‹2p4 “ F(Š<MŠ

<„WtWt<OE3PbFKRMHGHKY RMW‡R-NUPi:=J0l0UVHGJkŠ

P HTRMWZP;“[l0<„l0UVN…PbFGJ+E":-J[lUHGJ@FKW :-J+`t<‡L+<OE<;`bRMH0Pt7VRME l0<;lUVN…PbFGJ+E"€‡FPb7-Pt7< RSEVl

%

`bUHK<;W;“RMW8FGPQl0J[<;W‡EVJSPi`b<;^3UFK`t< Pt7VRSPQRSE%RPbJM:-FTN jV`tJ+jkJ3WZFGPtFKJMEUE0ˆ‰J+HKlW‡PtJ"RPi:-J+WZPiJMEV<DjV`tJ+jkJ3WZFGPtFKJMEXŠ

687VFKW"j]<O`b:-FPmW"FKE jkRS`tPtFTNUHTRS`-PbJ FGEVNOHGUkl0<M“8\]<;WtFKl0<„W"<;^3UFRSHK<OEVNO<;W-\]<Pd€<O<;E jV`tJ+jkJ3WZFGPtFKJMEVW"WtUVNm7 RMW

k

z k z

z V“+<„^+UVFRSHK<OEkN<‡\]<Pd€<O<OE-Pb<O`b:"W WtUVNm7 RMW k

k Š 687<;E RIj`bJMj]J+WtFPbFGJ+E

WtUVNm7"RMW pJk w3p w z :"R—Y=\k<i<„^3UFRMHG<;E+P PbJ:"RSE[Y@jV`tJ+jkJ3WZFGPtFKJMEVW WtUVNm7 R+W k"p w z “

pAk w z “ k z z “ k z z V“VŠKŠGŠ €‡7FKHK<8Pt7FTWaFTW EJMPajkJ3WtWtFG\VHG<‡FKE l0<;lUVN…PbFGJ+E

€‡FGPt7Pb7< RSEVl `bUHG<„WOŠ

5

&'

5

! Z$' $#"

3

&

3 L&$

3

$T$#"

3

&&%

')(+*-,/.10/2436587.:9<;>=1?A@#.87BCDE.#F1BCGHJIKGI

L:NM8O1OQP R+R)>S8T1I

"

S1MQH

ŽUŽ‘h’“a“’

6

&B

"

&'

5$'Z$'

3 5

$#" 6&' 3

3M3

&' 365

G +$ &' R $

L: M8T P4

IJ E

&B

$&BZ$' $'$

"4365

T$'

')(>*,/.J0K23517 .:9;>=1?A@#.87BC DE.#F1BCG HJS L:NM8MK PR+R)

I "

1S/

1

3

G

&'% &'

5!6$'L& &#$V$

"

&B

3

&O&'

5

Z$'"1"

3 &"

&B 3 & 5

G !

%$

3 &

W #"

365

$% L$

K$

P4G)')(>*#.J2#*4?&% 2&.' B3/F B3)( BF (+*42+*.12, *42 D).#F1BC.-#G/!

3

=$0 &3 $

3 $ 16

R

$

3

&E$=

3 3

8T1H/G /R

&' 3 &

"32*3

&5

L: M1MQT1P4G6R+R 4QH

"

8 M/65 5+7/7K.1298:, *;5*&C (+*42:C (+*I1I8O8I/G=<>;?@<: L: M8M1OQP4

H A

3

GCB

"

ED

&B G W

AF

&0 "

3 &

AB

" 3

&

3 R

&'#G_TK 5

H? R+R

&$ 3 ? 3 4"

3

&04"

3

I/44KG<

+$V$'$0$

Z$'W

5 3 ? 3 " 3

&04"

3 3 <

&' $'JIK

3 3 $ 3

$' Z$'LIK

3

L:NM8M1OQP4B

: R+R

3

Z&^

,/.J0K2 3517 .:9NM08.1?58*0,O5*&5-4.13>B3/F1

SJ :

# 3

G1B

"

:D

&B

G

W :F

&04" 3 &

:DQPQ!

"SR T

+%$

3

%$'W

5

&#$V$

"

&B

3 & 3 R & 3

$&$;

" 8"

3 & "

&B 3 & 5

J E<

U

Z&

3

WK&B W

V?

+$ $04"

G 3 $'&#$

G:5 *+W 24BX8B3/F ' *&C (/3>B$Y0+*+-513,

MZ7/77BC 58B.13 -#G

3 &

NS8IK

! 3 $0 &3

$

3

$^

R $3 &

6

3 3

G+KR

&' 3 &

"323

& 5

G L:NM8M8M8PR+R)

I/ T "

I1IK1

T

3

W [

3

&' 3 &

=

&'% &'

5

! Z$'1TK

5

=<

'>=+7>*+- 9N.12:762:. .:9+- 513=,)762:.#F12&51?\-O]^1G

G

5

3 SQH1T

D *&C.80/2#*Q_ .8*+- B3a`.1?;7608*42 ;CB*43C *4G /R

&' 3 &

"32*3

& 5

G)L: M8M1MQP4G+R+R)>S

"

T8T

OJcbKH

GV

&' 5 R

&'%$: $3

$0$#"

3

&&%

GZd. C.8.12:587C8(+*+-#BX-#G

"W 5 3

&#$\eI JG

3

&#$$%

B 3 " 5

J%

WeIG

3

&#$$%8

;f

$3 M&0

L:NM8MQP4

MJc! D 55

=gJ$

GhP

&'

5

! Z$'

R

&'%$ $ 3 $ $#"

3

&&%

Gd. C.8.12:587i8(+*+-#BX-#G

e G

3

&#$$%8

$'K " 5

L:NM8O1IQP4

4Jj

&B $#!

=

$0 &B 5 3

=$'

G R

&'%

"

$#"

3

&

3

$'J6

5

$V$0K%

=M7?jY.' Bk-98mlonBLp-*77+L: M8S8H8P4

P!Q‡ŽPSR

Unité de recherche INRIA Rocquencourt

Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France)

Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France)

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot-St-Martin (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)

Éditeur

INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France)

ISSN 0249-6399