Professional Documents
Culture Documents
Primitive Divisor of Lucas
Primitive Divisor of Lucas
Numbers
Yuri Bilu, Guillaume Hanrot, Paul M. Voutier
Yuri Bilu, Guillaume Hanrot and Paul M. Voutier (with an appendix by Maurice Mignotte)
No 3792
Novembre 1999
THEME 2
ISRN INRIA/RR--3792--FR+ENG
apport
de recherche
ISSN 0249-6399
!"#$&%'
)(#(*$& +' ,# %-/.0 ,
1324658795;:;2<>=@?A25;:B:DCE2
FGH'CEI
46JEKMLNCEIOQPRCS2:UTWVXJY2
K65;G>4MZ[]\5BK6^_CEI_CE``aGbIO5dcfegQThCE24i5;j>G
TQ5BkYIJEKiKMGmlon
p,qsritNuv3wyxRzi{s|}u"~>||}ui~
uU~~t3E~|>u
@]u~"
8sS>8mu"uiquqsu{3bvwy8>ut3uNi>wy>ui
Di,D;
] ;MS]M!s]Y!;M}
dM;; ;Mo6BodB B
M
S Y;]DoBBDi6Mo;M; B6}M";M]8BR!MB;b3M"BMa;
";M]8B;D6 M; B6M ]; B]M]M;MMM ;]! B]MbM 8 "!$#&%')( * +#-,-( ./'
0 821" 3 3 #!4( 56#*87%9"3 7: #( ;<
= & oM; RsB>boM6ob@? A )CBM 8ED#3 F7GD/%8#H( .I7( H
J M; B6 M "BM]8;M]KM ]; 9LoM sBB]MNMfB6O!])LQP
];B]SRM ?MT;B;oMMBM]o 8
!U VG*/7%W%<4-X!#-%'( -YW,Z%8#/,
+/V( ;W<
9!%'
a
"u$%
!&)%&
||} sFjJEgit S~}>us|@|{buiuSqqS jg { j)g ua{{mDuiR|t u)|}>{~|{>u>u
{ jhIg |{s'bR)s{|]>xR|ui{-!>S| sFjJEgt {u su {su6Rqsuu6E{Sm|}{uibsu{SuN#"u$%
!&I
l$./! !a
jvg)v
v v sj6gt j|g s !. t 4
" *. u%&|R|} sj6gt E~uis|a|{bu>uq9qS sFjngit {S jg u,{s{mD uiR>s|t u,|{~
|{bu>u{ juhg |R{s)s{s|}] "'uqtNui| sFjJEgt {uNmu {suNqu u6E{Sm|}{uibsu{SuN
" *. -%$.,/! !)b
jvg)v ||ms
v v sj6gt jvg)v
jfg v
j g
|
|
u >
u
{
U|uquiu!>)S| sFjJEgt |8~N !uqst uS|is{
v, sFjn
v |}
0|8
gt v |}
0|8uui{
!>9{ !uqst u {st9Sui ubs|}uA~>|i~m]u6oN{uuSm|}u6 t{mqs>i[ uiu'|Eu{m
E| t I !d8 >tNuiqsu{|usuiu6~
C NM!
$'&%6 ($.F
!u sFjJEgt Eu!>S|iWs|}t u {st3Eu
| ( sj6gt |}
m|}|mui v smmu6
{8m|b|mu sjfgt E v s |{{u>t {3qsu ]8uui~>|E{> v |{st9Sui
!. . > > !" #% " $
qsudt ui{su6,qMuR{s s|}t |}|um||i
|t |}~~~u sj6gt Eu3!uqst uU|is|}t u"{st9Sui |8( ,4 8 v sFjJEgit |} s|}|mui v
mUmui,{sUm|b|mu sFji g)4t v
%
&
q'ui{su~|] -
V U ~
.0/213546760.58:9+4"1;4=<>?.@BADCE@+F;<&8CHG@BF1JIK/L3ANM:8D3O&F/7CP/L3/LQR@ >"/LQR/S1BMRF+1T
usu6|ui~}
U & psj6g t
9624"11/SVSWX4=6S6;3YF/ZO&6[@B1 'sFjJEgt
\18D9]A^3YA_4:3\3A_4D3 v sFjJEgt
/S1`4a.%8:9B41ab[MRF\.@+ADCE@BFdceO4=/SFf%4=<>
v Fs jJEgtdc;A_4"1<NMeO&F/SCP/Y3Y/YQ=@ >"/YQR/21+M=F1$T
b[MRF
{'qsuiuRutqsu"su|~}tNui{b|{su6uis~}{Eudt3~ui'd>~}~8 6 Bw
p S*
d
@
!#"$%
&'&(") !*+, -%$.,/ !
p
s~u "
v
;
]
]
]
]
]m d nm
]
;(
]
;
]&n d
]
] ;
] m
]
]
n
n
cMe Y > .@=3 14D3/21dVSW &% $# 4<> (' # T('AN@B<f 8$O 3 Ml@):8/LQ-4=6[@+<9-@ bS1B@@aG:@+6[MIcf%4=6S6 >@+VY@R93Y/YQ=@
.@R3 > 4
1+4:3Y/S1VSWE# % $# 4=<> (' !T4'AN@+<f8OX3 M\@7):8/YQ-46@B<9B@Rf:4676 >:@+VY@$9$3/LQR@.@+ADCE@BFO04/7F+154FB@;M=VK3AN@
VYM=FC8* Bs . '
, . t6hs .
0 , . th92fzIKAN@+F-@s-,(
0t
0 4FB@4/LQR@B<r/S<:'_4 G=6[@<; T
p) S/S| sFj Eg t { sFj Eg t u $.I& ; %|} j hj g hIg p) !uqst u
|} sFj Eg t {S sj Eg t u $.& lU |} j hj g hIg - s>ui bs|M~}ui{bi|} u
= ?>
I.
{ MRF iG@
#HBRf4=6S6bL8Ol3 M~@):8/LQ-4=6[@+<9-@c s ths th >@BVY@$9$3/LQR@.58:9+4"1NO04/7F+1z4FB@5MRV3A&@KVYM=FCI* -, . 0 -, . 0 920f
C NM!
t $'&%6 ($.F
p
s~uv :
v
]
]
7n]
] nzJn ] 6
]&n
]
]
w ]
w ]
]
w ]
7n]
]
Sn]
]Nn
]
]
] ;
p
s~u" D
v
K<
!7"
#
n !$ zJn
$&%'$)( !$ #*dnJn
$&%+'$,
n !"$
!$
-$&%'$)( '$. !$ -$/%
'$0( '$1
m !$ -$&%32n
'$)4 5'$, n !$
687&9$&%
32n$1;: m
!$ z-$&%
2n+'$1
n
!$
6%09$&%2n
'$.?n m
<=?>"@A>BC=EDGF IH JLKM?N MAOQPSRSTUNVH MW3RSXRST+'K M?YZ$[K T3R#\'N J3H WH ]R#H MW3RSXRSTUJ+^
VYM=FC * s. M
, . 0t6h.s . , . 0 6t h 2 fIKAN@+F-@ s-,(
0 t 4FB@ !/YQ=@+<H/7</'_4 G=6[@-_DT
uu'muio|}>{'9d>,qsu"s]@
U |uibu
ui{|}>uRt sm|{Sm>{su"
8>{]uisui ; )>{]uisu 4)q
> +
c'e a` #b MsFjJEgt
V4`.@+ADCE@+F5O4=/SF 0 > )sFgihjut
/21e>@BVY@$93Y/YQ=@}VYMRF~4<r/S<&3 @
D@+F f3A&@+<dc ( T
ji "i t
d
@
!#"$%
&'&(") !*+, -%$.,/ !
p
s~u"
v 7
n en
/ 7n
n Ken
n +
I /(
;Bn
n
Bn
-
+# : L m (
< 4 ; <
/4
% % /4\n
% <
%
[ S
; ^
%
<=A>S@A>SB =EDGF IH J K M?N
MAOQPSRSTUNVH MW3RSXRSTE /K
M?YGKTUR#M?N
MAOQM?RSX
K
W3H ]R#H MWRSX
RSTUJ !#"B $
!%" Yn $
$ $
" H J W&?R('8H )'NMAK*+*SH'JUR+,A- RSM.S* R."
H JLYAR'/ MARSY1j0 TUN23
54
7 6
6G7
87
U Aqs3uio|}>{mDbb u6o|}>{0>ub|uWqsuEu6H
{[ ui|{vm
qs|qui~}|ui"t|}{s~{qsu)>*0
bu,imu"uis~}|q>s|R|}qtNu|R~Lqup
;
F
F
D8q,Euui{ |tN~}||}~*{s{~{
3{ u
ms~||~} ui|}{ F E !,4; ssud{|{quU~|uu8{9>t s~}uusY|6
{qsut uUuio|}>{
u"qsQqsfqsum~}t ||}ui|{'uimui,ui{btNui|{sNYDmudui|u|>~}|{sN{stuib|{
{ muio|}>{ Ausup,quut>
q|qs{>m3Eu'AqsuN]|}>qbd,0{uibsui{uqsu
~}>tN||u|}>{{'quuis~,ui|{ vm
|
{ ui|{ uqsfqid{Y mudu6o|}>uR!uqst u,|} sj6gt qsu"bs|}ui{bH G gihj | ui~>u 8
E
|
s|tN|}|uY;q-b{s|]>@p,qsu"t|{~|qsum~>t ||}u|{
% B
d>8~~'bu;duuR . {d8~~s|tNu b
{ u6o|{Q0u muib|u-d>t >st|{fm]uiu|u qsu t uqsmsd{st u|~8~m|}>{ p,qbu
u6>S|{S,q|}>q-suuumuiu~Eui|{ s ;
C NM!
$'&%6 ($.F
!"
$#%
$&'$
(
u"u c)sjit d>,qsu~muR~}>>|}qst |Rqsu|qb
qsu~}>us|8{st9Sui j )uii~~Yq
0 0 0
csFjut*)
+ , )-./10 + , )- .3254r6o87 s6:9 j*9 t
quu , |N{{st3Euu~{b|}{s|{s j {&qust/s{S3>u"qsu~}|{3qsu ui~ , {st~|;iui
-u
ui{ qsu]{ |{.{s|}u> D>m|9~}|{R - D|u~~ {s{ {|}|~UqRqsu|}>q>;qS{
|mu|"|}{SmuEu{su{b9qsuqs>|u , D + ; . |"qsut |}{|}t~
l
*
s j t s; j t
E~{st |~ j >u Nq r=<?> s ; t )qu{ ;
X
, $ ,! , iak
$ $ $
k , ,
$
A $
)sjit
c 2B4r9 , 9 2B4r6,oC7 sE:9 j 9 tED Y
@ $ /
uiu v",I;u{'ui|{As4
Dd~~}8,|t tNu6m|ui~}d>t qsusu{s|}|{'q
sFj
c
>
git # sFjut) )c sFgt)F2B4r.
c sFjg
c :
t # )sjit) c s gt
c )sj v t 9 9 csFjut
c
W s t qsu">u6ui,|t us|}|>
|}Xq W sE4t ZY
s t [ s~u ds{o|}>{ Y
!
\ t ^]|}ds{o|}>{ Y
s U
_ s t qsu"{st9Sui8m|]|}{8s|}t um||
,~; s ( t ]{sd>,qsu">u6ui,t t {-m|}|>, { >t u|t uiiM>|>{md|}>{muRSuRqu
{|{ r`<3>>s ( t
-,
0 , 0
uA{S~muqs|u6o|}>{ >u|t s~u~ut tqs|q|}~~Eu u{ ui>t u|t uiN|}qs>mEui|~
-,
0
uduiui{u>
) R b ba .@=3
4=<> G@|FB4:3Y/M=<_4=6)/S<&3 @
D@+F+1-f j6g .
4< 4F$G/Y3YF+4F]W 1):84=F-@lF-MM3rM=V
f 4<> 3AN@|F-MM3L1 MRV
c 8 c .
da:T4'AN@+<%e
/ T 'AN@J4=6 :@G=FB4=/Y9 <&8CHG@BF G gihjX/21}MRV5>@
!FB@@}4D3C M13 T
s
fat i$@
>
s It > sE4t > s 4t > s It > s 4t B tB
/S/7/ T b ijiEg)pia
V h s T>&g r G ?4=<>X9 jh9 9 g$9b24<>?AN@+<09B@+VYM=F3YAi9 G 9 - c$T
3AN@B<
d
@
!#"$%
&'&(") !*+, -%$.,/ !
(`Wp,quR{st9SuiHG{ G uqsu"b a c 8 s 8at c a @p,qs|,sui |
u6>|}~u{b,
#
?>
t s~
u >{]s>u> u{u 9 jh9 9 g$9 { 9 G 9 D|{qs|>u >g r G qsui{ G >q|q|t s~|}u6 j g
z
'
e
>{bm|o|}>{p,qsuud>u >g r G
K
D>
|{~~}>S|} ji6g)ph { r=<?> s fat qsu{ a c 8 s 8at c a |Uqu3t |}{|}t~
E~b{t |~! G>u
o
ias
k
o L
)s G t 2B4r9 a&9j6,oC7 s 254rk9 G 9 t F6,oC7 s 254r9 G 9 t 254rk9 a&9 2B4r9 j*9
c
p,qsu"~ut tN|8s>ui
Q
3
/
a , (' '"
%'(
{-qs|Uu6o|{-uuis~|q-st|{ |}qst u|i~~ qsu
;
F
,
D FS,p,qs>q'|}Uq>,Suiu{ {s{
@~}u6|t s~||~}>~{s">u,ds{S3|{Nqsu8M|~s~u,~}|}uisu){t s~uu,sSY|}ip,qsu|t qusu6ui{b
L l*
'AN@B< %e
/ T { M=F~4=6S6 OM1d/L3/LQR@~/S<N3 @
D@+F+1 'sFjg v t "T
I%@;AN4!QR@
$ $
Q:T b V4JO&F/SC @
>"/LQR/>:@B1 3AN@B<
>/YQR/Y>@B1 h T
$
QR/ T b Vz/S< 3AN@O&F-@RQR/[M8"1/L3 @BC A
E3YAN@+<
@D4:93Y6 W >"/LQ$/Y>@-1 $ h $
T
/ 0T b V4JO&F/SC @
>"/LQR/>:@B1-sFjngit?3YAN@+<
>"/LQ$/Y>@-1
/7V
-
3YAN@+<
@ 4:936 W >"/LQR/>:@B1 T
(` p,qs|| tNt uit t > E dt ID {s~#ui|}>{ 9 d>t |}ut || |{s
d>t~~/u6 u, Wm |} | bs|}u ~>|~ { ui> su v {suui_|}_ 6 4>,
"t
m| Yuu{b8t ui{|}{sS
iHk
7p
C NM!
$, $'&%6 ($.F
3YAD/215O&F-M-O@+F$3SWT 'AN@+<
9 $ @ 9 @
4<>
@ #
/SV uE>M@B1;<NM3 >"/LQR/>@ sj g)It I
4
M3YAN@+F$IK/21+@
q - qsu"s|{st |~Ydt3~
%
% %o
j g sFjfgt 6 4> iB
m|}{u r`<3> sFjngitsFj git m|b|mu6 {N|{u 9 sjgt qsu8~uis|a|{bu>u jfg |@s|t u, !p,qsuiu
d>u i ) |u~s
K K
sjfgt 6 4 > +
p,qud~~}|{s]E~b{t |~@|}~~S~M |~>~}u8|{ quuibsu~;p,qsu a{suU| v s c t >quUqs>tN>ui{su>
m~>t |S>~}{s>t |~mu, K
v s c t *
6 52v c 2 iHk s c t
7
7
p,quui{{uR| v s c 't mqsu"qt >u{sui 6 !&=-m~}t
|RS>~}{s>tN|~>mui0
7
S%
7
p,qu] S>~}{s>t |~uRui~u6qsu|su{b|}]
v s c t v s c J c t
d
@
!#"$%
&'&(") !*+, -%$.,/ ! >
D sFjJEgt |!uqst uS|iqsu{
; jg { B
j g t
s "9 t v 9;s v h t
% M
uqS~~{s8{suiuiqsud~}~
]ui{squ bu, ,u6s~}imm8{s~qsud~~}|{s|}t s~ui
U0u@uu6m8d>t9s~u{Ss>u
qsuam~>t ||}u|{) !{|}{buiui0 sm W s t W s h.s t6t
u6~~YqS W s t {sd>,qsu"t m|t~s|}t u"m||) o {-qsui)>si K
cMe X _ ]
VB Vd V U 4
sFjJEgt W s t
.@R3 h G:@l4=< /S<&3 @:@+Fa>/S13/S<93\VFBM=C # 4=<0> DT 'AN@+< 4j.@+ADCE@+F
v sFjJEgt 'sFjJEgit -4
.
O04/7F ~/S1 >:@+VY@$9$3/LQR@}/SV54=<>rM=<D6 Wl/SV iG@ B!T F 621+Mf&4P.@BADCE@+FO04=/SF ;/21 >:@+VY@$9$3/LQR@}/SV
4<> M=<D6 WH/SV sj6gt i$@
> > > >
# B$T
> >
{ h h' #
@ |}q Y
iB
@ { 9;sFj g t
v B ,
W s t |}
I+ vmI
>8 |}
I+
('
pt s~uuqsu"
qsu {s~|} ui|}>{|8ut|{Nu6]s~|qqsud>~}~|{s
~
-
u s~m|b|mu6 v
vv
u>{|mui)]>u6mqs|q-uiS>{ iB { v omuiEuio|}>u~ ",
M]RBM]M]
Y IPi]bM! ;Bo]B] 6BBR
C NM!
Mv $'&%6 ($.F
Y s R @ |q
{'qs|iu @ 9 s h t ui{u 9 v e
^ as R A
2
u so~}m|}|mui j g
H
|t |}~~|} 9 j g qsui{
u s~m||sui j g ,p,qs|Usui vv ,~|{
* 87 87 2
qs|8Eiu 6G7
Y s X @ { 9;sFji g)tE P
iG@ #HB \
~
$
v W. s t |}|}
44++ i
@
> > vB B ('
@ #HB
g v j v sj6gt v+
v
q v Sui~}>{s>)3qsut3s~}|s~|i|uRui{suui quR{st9Sui |}q @ { @ 9 {qsu{stN
Eu sjgt sFj g t ui{u m||mu6@ui|qsu{suUq>u >a>{su8qsuU{st9Sui sFjngt sFj g t
e
$
Y m X b
?F 0 >
<a/S<&3 @
D@+F /21J3 M:3L4676 Wr<NM=< >:@+VY@$9$3/LQR@~/SV 3YAN@)@):84D3/[MR<
v s; t W s t v i$@ B
F9 ; 9
> >
d
@
!#"$%
&'&(") !*+, -%$.,/ ! 6
(
{qs|u6o|{0)u9su9p,quut/> Eu u{Sm|}{qu >st u{bU>m~|}{ui0bfbu,|{ ;p,qsuiut s m
|~}>{b0i|}{&{uiqst u"|}"| Dmudui|u{&{!uqst u3|"| Dsudui|u>8~S!|}3|
\
u699>u|dNq,| s ( t |@dtp
~}usbqu{ Bs t6h.s M t6h |){Y mudu6o|uRi|})d)qsu
-,
0 * , . 0 , :. 0 32
u6E{s|}{sY{ |} s l t dt p
~}u9qu{ s t6h.s t6h |{YDmudui|u9!uqst ui|}
, 0 * , . 0 , . 0 2
d>,qsuu6E{s|}{sN
. .
a
j6g . >
.
u"qMu
a ' vtB
r`<?>)s v at r`<?>>s v at `r <3> s
at v>
s
atMiA h @ > s 4t > s It > s 4t > s 4t B v
D
a
j6g @
.
>
"u tMtNuRq
@
us~|}{ sj6gt {u6>|}~u{b8S,S|is{uqMu
`r <?>)s @ at vB
s @ fatMiA h @+s 4ts. I tBB ",B
!u sFjJEgit Eu mudu6o|u!>"|6p,qsu{uiuAs|}t um||" m|b|mu6 sFj gtE 8 a D
d>~}~89d>t v3qS qsuA>{s~Sb|s~}u-s|tNu s|}|>N @ | m |}{# u @@ s)u-qMu @ @ qsuu
!u sFjJEgt Eu mudu6o|u uiqst u |i p,qsui{ uiu s|t u s|}|> a m|
|mui sFji g)tE s Fat s at D d~~}8d>t v> &q qsuh{~} E>|s~u_s|}t u #m |b|
n
n n n
e
|-{s>{m;{u>|u |{>u>u68b|{ v> o)uqM>u u|}qsui -> a _ 64> mn |{u a |}d~~8 n n
dt v
q s atMh +s 4ts It ui{u s ( t s at |a{su8YqsuU])]Euias|s~MuiN|{p
s~u8
'
e
D sj6gt iS|i
qu{ a @ ui{u s ( t s @ at |3,>{suqsu]) ]bEui
iA@ B ,
0
m|s~M>ui|}{Ap
s~us
e -,
0
C NM!
i $'&%6 ($.F
~8dt v
q s fatMh Bs ItsE4t4s 4t u{Su s ( t s at |a{suUqu8]"]Su6am|~M>ui
' 5
e
|{Aps~uRS
iG@ B ,
0
>{su
qsu]N]bEuis|s~Mui|{-p
~}u"s
-, 0
quu |qsuM
|}E{>|u6>u{us>
@ B
$
a
+
+
quu
B |,qsu~|~)"u$%
!&I =$% (
! ;s!s>B)su{su6d>t
{
z
$
v osu"qM>u |}{-qsu3iu +o S{ ' |{-qsuiu o e ui{u s ,(
0t s
at |8{u"
@
qsu]9]Euim|s~M>ui|}{Ap
s~u"
o
d
@
!#"$%
&'&(") !*+, -%$.,/ !
a 6
4 >
, Y a h6 4> '
>
P#
s ( t s @ at m|s~Mu6|{p
s~u9 qsu{ uqM>u @ 8 a Squ{u @ f 64> m
{ @ f 6 4> |} m u"qMu a @ h mqs|q'~ui quR{
u ])N]Euii
-,
0
;
P#
a a
b
. .
. . +
|{ { |}{ b z t
o e , 0
{su9ui;| ui8|}t t uim|u~'q sj6gt s jJEgit u{Su s ( t u{bui8qsuN~}|{suNuiS>{m|{s |}
{>{s~|} s I .t u{buiqsu"~|}{suu6E{S m|}{
e ,
0
0 ,
I
!u sFjJEgit Su I mudu6o|uuiqst u|}6 qum~>t ||}u|{ Ko
s a ts ia %t B
iA@
> > > >
# B
. .
ia ia B
C NM!
$t $'&%6 ($.F
ia .
ia . +
,B
ia
i
a + I
a .
i a . + bv
quu -3B { |N{s>{mD{sub|u|}{buuiiuis~|{s sFjJEgt b{'uibs|M~}ui{b!uqst
ui|iut M
>st uRq
iG@
{s|}>{ Y
> |}) 9 { qsu {st9SuiR {
qM>u3qsut u9uams0s|t uNs|}|>i {
7
"
~ V V U _ R .@R3 f_4=<>\O8 3
s t
h
%
+
h
/SV /S1e@RQR@B<lM=F /S1eM:> >
%
s t -
/SV /21~@RQR@B<lM=F /21~M:> >
/SV /21~M:> > 4<> /S1~@=QR@B<
F 118CE@~3A_4D3 ^ 4
4=<> h' sFjJEgt
#
}4=<>)6[@R3 ;G@ ns j6gt
4=< 2 >@BVY@$9$3/LQR@ .@BADCE@+FO04/7FRT 'A&@+< /S1%4< >@BVY@$93Y/YQ=@
.@+ADCE@BF5O04=/SF$T
Y m _ X b V 4=<>
/S1)3 M3 4=6S6 Wr<&MR< >@+VY@R93Y/YQ=@$f03A&@+<l1+M\/21 T
Y m _ W DF > sFjhIgt
118CE@;3YA_4:3 4<> T b V c #^ VYMRF%4=<W >@+VY@R93/LQR@ .@+ADCE@+F0O04/7F sj6gtf 3AN@B<
/21J3 M:3L4676 Wr<NM=< >:@+VY@$9$3/LQR@T
(` ~~}8dt#@>Sb|}|{'{-p,qsuiut 9 u
d
@
!#"$%
&'&(") !*+, -%$.,/ !
~ 4Vd4V U _ _ .@R3 G@a4<^/S<&3 @:@+F 1+4:3Y/S1VSWD/7<HX# %
$# 4<>
h'
4!T 'A&@+< VYMRFr@=QR@+FdW
>@+VY@R93Y/YQ=@
.@+ADCE@+F5O4=/SF MsFjJEgtJI%@~A_4!QR@ csFjhIgt #^ T
(` ~~}8)dt#p,quut
cMe _ b _ /2154`9-MR< %e
>
'AN@MRF-@+C 5T e 1B@):8!@B<9B@MRV3A&@ VYMR6S6MIK/S< VYM=FC 4=6S6 WrIK@4 :@+F5411B@+F$3/[MR< z@=QR@BF]W?MD>D>\1):84=F-@ VF-@@
s|tNu'{st3Eu {s
u suiuim|{s& > b>{su'8qsu-{bt3Eu [ >u st |}{Su6 |
m>t |}{u6 u>u st |}{Su6&& |9mt |{ui {u>u mt |{ui& |
$
" e
% . % %8 .8 8 . %
; R #
|{s { b uutSu"{sui"
+*
cMe b R sFjJEgt
G gihj
.@=3 aG@`4=< /S<N3 @
D@+F 4=<> )4< >@BVY@$93Y/YQ=@ .@+ADCE@BF O4=/SF T ;8D3 T 'AN@+<^3A&@+F-@
@ /213Y1;4 bS1/7<H6[@c O&F/7CP/L3/LQR@
3AaFBMM:3%M=V58< /Y3SW `18:9]A 3A_4D3
/SV
IKAN@BFB@
H
s t
/S1%OF/SCE@$f
C NM!
$'&%6 ($.F
p,quudu |} 9 0m @ 9 ( .h 9G 9
>B
# # '
}| @ 9 9 sBh:H)t # 9G 9 #
/ \ s h +t
s t Y / \ s h + t 254r s t Y
/
s t6h Y
/
2B4r
2B4r
s t6h
uu |qsu X]s|,ds{So|{! |qsu">{ {s>~ds{o|}>{ {
7 7
e \ s t U
s t aU
s t }|}|
h'
87
$ v
7
2B4r
2B4r
7
254r 2B4rJ
/ /
/ H /
87
87
7 7
254rls t
/ \
* 2
$ v
2B4r
sR2B4rJt
2B4r
2B4r
/ / \
*
2
/
H / \
*
2
v
$ v
m|}{u0 qsuu6>{st M{s|qsu6 u>{>|}{su>muis~|{s @ |}{'qsu"~>],]st
7 7
J 254r
2B4r M s 254r t 254r
/
/ H @ / /
7
7
7 s
t
\
h@
2B4r \
52 4r @
h@
;v/ 2
$
;v/ 2$
d
@
!#"$%
&'&(") !*+, -%$.,/ ! 6
p,qim)u"qSMuRs>uiq
| @
#
;v3 "2B4r K254rs Hht %
| @ 0{|
254rH,F2B4r j254r
2B4r9 v s G t?9
Ns|t u{bt3Eu B L ,
254r W s ti s t s G t # I ! c L
254r s t # v ! L
Euiiu )s G t bp,qsu>uit 3
c
D qsui{ s tu 2B4r ;v ("254r F2B4rls Hht |tN~}uNt ss|}>{qs8qqs|U|{su6>S~|]
^ u
e
m|u6oU{uibsui{uR { 4
# $# $# o
Y , Y
Y Bm b X b < ; jg
3A&@P1+@=3 8O MRV"'AN@MRF-@+C
jiJg) !T5 O8D3 4=<0> !T:'AN@+< 3YAN@+F-@ @ :/213L1 4<X/7<&3 @:@BF
h r`<?>>s t B
1+4:3Y/S1VSWD/7<
% % L
# - 3 L
L
9 ; <?4sCH%h ti 9 9 ; 9 G G s # t
9
9 j*9 9 G 9 9 G
#
qsuiu G gihj {-qsu3quq{ExRui~d>{ qsu>~}|{suidt|{]~>|}qt ,|t s~|}u6Uq ;
qsuiu 9 G 9 qs|q'|
u s~q,u{suu6
*
0 (0
C NM!
v
", $'&%6 ($.F
~ V V U a R G , 9G 9
L
.@R3 G:@ 4j9-MRC O&6[@ 4=6 :@G=F+4/9 <&8CHG@BFPM=VJ>@
!FB@@ f IK/L3A "f GD8D3}<&M3e4lFBMM3JMRV)8<D/L3SWT
L
s G t ^9Eoqr G 9 Hh
.@R3 G:@P4=< /7<&3 @
:@BFf 4rFB@4=6K<&8CrG:@+F 1+4:3Y/S1VSWD/7<H # # f4<> 4POM=1/Y3Y/YQ=@ FB@4=6<&8CrG:@+FRT F 118CE@
s L t ,/. 021435769! 8 : ;< = > ! " 6 #%?
! "$#&%(' *) + -
n
s L t 1H L s L t 8H s L t 2B4r L 2B4r L
4<>aIKAN@+F-@\3AN@ ):84<N3Y/Y3Y/@-1
4=<0> A@
a4=F-@)>@ D<&@$>E41/S<:'AN@M=FB@BC F T5"T J:T
e
/21VSW %e # # T 'A&@+<
H s G t
c
s t J I s L t
/ T { M=F~4=<W @B/Y3YAN@+F # MRF
! # Y Bt
I s L t s 254r s L Et t !C2 X
IKAN@+F-@
* s L t Y
sR2B4r(s s tEt) 254r Vs 2B4r )t t
n
s t K I sL t
b < O04=F$3/Y9864=Ff_MR<N@e46YIK4W 1 AN41
! # Y
H
s t Y B
/7/ T { M=F~4=<W 18:9]A 3A_4D3
!
n
s L t sR254r
s L tEt !
6,oC7 @ | Lus L t
IK@}AN4!QR@
)s G t
c # B t",B
t ;v ;v
Lus L t FE s B FE v % ME N %
v % FE9 N D FE
IKAN@+F-@
tsI
;v
7
B FE v % FE N
3
9
n
9
3
% n
d
@
!#"$%
&'&(") !*+, -%$.,/ ! vs
(` |{s {S a|}q u"s|{
o !t
s t s G t ! s 254r t
c
# s s G tEt) * 2 c
t
6 Lus L t { 6
I s L t
B
7 E ! ! n
4 73%
#
# $%&$
'
|}q'qu{>u{b|{ Lus t )( |}qsu"t |}{|}t9st#|, ui{>u)qsu"uitNs]ui
"
sqsu6md>8 |u{-)u"~~}| u {'qsu"m|}t~~su" D s t I s ( t qsu{'quu"
u m|U
"*
` `
s t 6
s L t>sV2B4r s L t6t
! B t"t
n
tt
?t
/ T { M=F~4=<W s G t @+/L3A&@+F c s t I s t
# MRF ! # -T b < O04=F$3/Y98"624F
s t I s t ! b # t
/7/ T b V s t I s ( t
! s G t s te3YAN@+<dc # T
z # % z
) a _
{ MRF~4<WlMD>D>P1):84=F-@ VF-@@ 1+4:3/21VSW:/S<
I s > t s t I s t # ! # t
4<>`VYM=F~4=<W
H1+4:3/21VSW:/S< jb 3J$c}MR<&@;AN41
C NM!
v>v $'&%6 ($.F
qs~A sMmi
Jt ,",
s t I s t ! B =,
c
qsu>
{b|{suido|}>{ uu>d|{{Su)}6I;sp,quut6N{0 )>{suq
#
#
$# t
Y m a a _ s t
_ s t
f Q=@+FdWlMD>D>P1):84=F-@ VF-@@/S<&3 @:@+F IK/Y3YA ^ /21J3 M:3L4676 Wr<NM=< >:@+VY@$9$3/LQR@T b V /21;4=< MD>D>?1):84FB@
VF-@@}/S<&3 @:@+F)IK/L3A #^ 3AN@B< s %t
/21)3 M:3L4=6S6 WH<NM=< >:@+VY@$9$3/LQR@ s t @
IKAN@B<N@RQ=@+F BfIKA&@+F-@ /21J>@ D<N@$>?/S<
Ce
3YAN@}VYMR6S6[MIK/7< a3L4 G=6[@
b < O04F3Y/9$864=Ff @=QR@BF]WaMD>D> 1)8!4=F-@ VFB@@ \/21J3 M3 4=6S6 WH<NMR< >@BVY@$93Y/YQ=@=T
d
@
!#"$%
&'&(") !*+, -%$.,/ ! v
p,qsu-qs|R{st u|i~8~m|{ |sq{b|{su-uib|}>{sui S &6 @qsui{ , >u { RM>
iu {sS> v43>tN~}uu~f~ui_ uit ] ui~}~"u6>S|{S p,qsui u6 qsu&)ui~}~} {s{>o-qS-uui
eu +* "t ^o * ^u
qsu"t uqmqs|qsu"ss]uioU{'
u ui{|}>us|s~|}>sqs'Ai s
3|}9,9~u6m0|}{s|iu6|{qu|{>mmSo|{!qsu'tNuqsmU)p 6{ |9{su uuip b d9
u ms~||
:p
- 3
^ U ~
~ M qsui{|s|}t u9Su6qs u u~
;v qR{ 6 F
ds~~{ Amuit a|{mu
i
Sui{mui{>8{s|
3 N L D*
C NM!
v $'&%6 ($.F
E
$# # t
,,>smui qsu"|~u6b|}>{ v o
`
K&%
'%(
u >{|muiqsup,qsu"u6>S|{
s ; t
s j ; t ( 2
, B
quu h |N|{S~{st3Eu6 j {'~}>us|U{st9Suimu>uiu m{
- sjt
!u , Eu-. u~0
Qmuiuu + , )-. s u{su
quNui~ut9Su6sm|{s> , {
, , 3,
@s z
m R R ~ 4 V> `D s ; t
p'Sui|{0|}q!u6~~
qd"{ ~m|{ s ; t # |}q 9 ; 9 c quu9u |"u6~>{]s>u j
j >u - "Sqq
iHk
9 h ; j 9 9 ; 9 (v #
t uiui
#
s ; t sE6j t ; s t s t B
2$ ;' L =t
m R X cMe \ U 4 Vd
| "{'sm '
s t 7 s ; t % s j t
% s ; t 7 s j t
d
@
!#"$%
&'&(") !*+, -%$.,/ ! v
Dd>~}~8)d>t aqS
s t
t
U~m@E>|}|{-sv >{buiui)qS
'
=t $t
. 254r9 ; 94 L O 9 ; 9 s 0 t
I # # Y
v
Y ,
U 2B4r ; Up Y
m X R 9. } U
Dd>~}~8)d>t aqS
g 4g B
g
7 Y
dt uiu{'s|>u o
} p
~
ui
u ;% u6o|}>{- d,dsqu8mu|~
n n
C NM!
v
"t $'&%6 ($.F
m X X
4 V U
R{u
A|R-u6mu3qsu ssEu"Es{d U |}{qsu{b|}{su6 d|{u6qs{s|bsuii9p,qsu |muiu6
S 9 , u){ RMui{sS>2 v; u8d~~ D.sui|{sv"{S uRqS~~E>st uqS D
*
Y '
quu {^LAuui~E{st9Sui{
9t mmuiu{S]{bi D,d~~8q K
U
254r 6
90 0 L 9 Bt
%
7
4
quu |At~~a>{{b6p,qsut |{s|}t9st |}{&qsu|}>q>;qS{|mui{&Eubs| ~>t smu6 >i
3~ui>]6
t |{sui% u S{m|{s |}{bA->{b|{buid>o|{ uun4Diu6o|}>{0S}>dqsumu|~!o us|]|i~~}>
+*
e
qs|t |}{s|t3t#|,t {s|}Smu U ( sqs|q-b|u~sN{suiQsSui8S>s{d U
t>{s|}mu 254rU
Du|{s,qs|!suimu>i>{sum|{i6 u])Bqsuiu]ui,u6{s~}u
ssEuS>s{Rd> U Mmt>{s|}mu
2
9; 9 # 2 6
90 0 L 9
4
7 %
mu|}~ui-{S~|)!qs|U{qsu qs~>|}u6 o
t
5
%
$
E&(
D9s{3m9q3qut uqsmmui|Su6Eu m|q~}|qb3t mm|;S|{i|8uqM>u{s~&-ds~~){
m]ut
|{muiSui{mui{>8{s||{]ui>ds{Sst u{b~s{s|}i
* D*
|}"|}{s'qsu ui|t u @ d>qsu u~R)qsu Su~ , unu } m!v >I ou Su{ssEu"E{
0+
{u6' ))u"qSMuR{s
0 0
s ; t 4 \ 4 s t
7
0
h30+ A 2B4r9 ; 9 L O 9; 9 sE # # t s% t
e uiu{'Sui~}Qqsu3|}t s~||R{S]{b,|{-qsu"u6b|}>{ 8uRu6b~ qsu9uiS>{mu{b8>{{b,|}{ ) o@
sqsuii
Uh90+ 254r ; Uh30B sB t
quuR{ U 6o87s0+:9 0 9 :9 0`9 t
d
@
!#"$%
&'&(") !*+, -%$.,/ ! vb
m W R 9.} U
{u6 ))uqM>u
s t
4 g 4 g g
7
D 4 qsu{!,Eud>u>s)u>m|}{qsu"|{su6>S~|]
'
9 9 " 4 %
0
2 s ;t
qsuiu{s
254rg 254rg
"2B4rg 0+ H 10 0 10 z
m W X
4 V U
|{s
90
0 L 0+=9 # 0"
+ 9; 9 "
0+ 24 s! t
um|{
Uh "
0+
2B4r 0+" 254r 6 90 0 L 0B 9 s# t
%
7
4 4
4
2
+ -( ((
cMe y R ,f
Q=@+FdWlMD>D>P1):84=F-@ VF-@@;/7<&3 @:@BF )14D3/21dVSWD/S<
C NM!
v $'&%6 ($.F
p,qu{')u"qM>uU]>u6 Y s {S Y s m
! ,
#
I (=
u"qM>uUqsuium|}>{
s|}|mui
s It6h d>8>t uR|t u 9
sI
m
{
s
| t "
u m
}
|
|
>
,
| I
6 4 > S
{ '
8
~ i
u >
]
{ R
u
| 6
4 >
P >v `
{-~}~s|tNu"m||,
u 6 4> S
B
{ >u sIfqsbuqsu t~~ui |q q|hsEu]{ ss @ p,qu x~}>|Qs qu
Su~
- sf< 44s8Hh tEt ui - |m~|)qs|q tNu6{Nq|}q>N&|}{~u-s.Su~Rmuiuu @ ui -
^
u"~u , Euq|8s.Su~
m|}>{ B ){su>u,mu6|{-s8t sm|{S
}
|{uqM
u ui~ , |Uui>>{~} t ~}~ ou3>tNmu6-qsu9s{s|}>>ss>uquU|}q qsuN~8|{s
DsmmSuii|{A|s~iSNds~}~
{ 'mut |{muiSui{mu{bU{s|Uqs-u Su~ ,
qs|q u"{buu6Eu
5o u lu d ,
d{st ui{>~s|}{su8>st ui
qsu8>u{sui~}| u63|ut{{qbEqsui|i u,qsu{ui9qsu sds{|{
D*
ui|}dqsuuis~}
s{S{Sm||}>{s{~}~ qs|U,qsuqSmui8Uqsu9t sm|{S Uuq
qsq )uu8s~usui~S|q{s>{mBd{st ui{>~m]utY{s|)mui|Su69|{ u6o|}>{m )uUq~}~Em
qs||{ u oY|}ut|}{qs|qs~Asuduis~}u3'u3ds{Sst u{b~muit i|{u3qsuuiS>{m|{s~>|}qt
s{|{s;| S{b~ u6
o
d
@
!#"$%
&'&(") !*+, -%$.,/ ! v
) y X .@R3 G@j4(18 G7F-M8$O MRV nsk h kt M=V\/S<>@ @ 4=<0> J 3AN@h9-M=1B@R3Y1 M=V ?T F 118CE@
-Ji
$~
<?4 s3,=Hh t s
3YA_4:3 T 'AN@+<
/
# # @ 4t
!
+
3YAN@}<&8CrG:@+F+1
q! !"
2
sj t sE $#
# # + )^. t
D@+<N@BF+4D3 @ MQ=@+F T
$} 32 $}
* K(=('
{ qs|)>uuUmu {su qsu8t |}{|}t~Ems s|}t u8m||a s W 4t6h >quuW W s t |qsuUt |t~s|t u
m ||UU|uq@ @ {suiui-{s8Euuib~ |}{-qsu u Rlsqsu6um uS{su , ,qsu3|}{s>~}us.Su~
&)
muiuu @ ui - Up,q|qs>|u , |~}~Eu"t |ui'|}{'qsu"~>]sqsui|{ vm
)o
u qsu"|t >sq|t
* ) s h W t h * o12
&) hC-
Yk k @ 9B
* + )
< 4s8Hh W t,* <?4 s =Hh W t >
,
3,
y X R / U Vd, S ~ U f
o *
C NM!
, $'&%6 ($.F
! @70
B
A
/
0
2B4rk9 )s H , h W ?t 9 / D 2 0
0
s-,Ei * t "tB
!
!
D8|,ui>uiuRq +
s t 9 )s-, 0 H h W t6h s 0 Hh W t?9 mqs|q-|t s~}|uiq
A A
9 s-, , H h W t39 D 9 )s =Hh W 3t 9 D
-, b
! !
Uf~u
7
$}
8 7 Eu"9suEu{mui{uu~|}>{dquR{s| s $} t U|{s b o)uRu|u8q|>
$}
/
0
/ 254r9 )s, , Hh W ?t 9
!
quu ui{u
0B 0 /0 $ o@p,qu"~}uitNtN|,s>ui
e 0 0 $ t
32
|{ , > s< 4 sCHh W t6t )p,qbSsu{' >u" quu 6 s<?4sCHh W t6t ap,qs||
$ *
@ B
y X X SU xS M V U e i m V ~ !4 V U . U L Kx
{d>t9s~3d>,qsu"|{uiut|
) y _ @
.@=3
G@ 4 L D< /Y3 @ 4 G@B67/4=< F-M8$Of /L3Y1 > 8!4=6 F-M8$Of|4=<> 4 Q-46Y8!@R> V 8<93Y/M=< M=< ?T
~8D3
+ Lus +
& tu Lus tE.
^>g ! " $
s t=Lus t;4=<> + ,
.5IKAN@BFB@
G T 'AN@+<
2s +& ts s t 4t
/
'
9 9
Lusjit sjit
,
oBM@oBBommBM@M]BoRRB)6;]8L R O M]8
d
@
!#"$%
&'&(") !*+, -%$.,/ !
( ` ud~~ qsus,su6ui{bui&|{k D
!ut t v d>"qsu 3,qsu~ut ts-u Euqsu
> uiou D~sui ds{So|{S { qq
s t mp,qsus o{ b{~|{!
t
9 9Z
s; t
+
9 9
P 4&g q g
p,qsui{
+ dt#N|d @Uuq
p,qsu{s>{m;|}|~q>oui){ dt#N|,
ui|}>u{u6oa
@ ' 3B
sc t
/
Lus t s "c t s / Lus t s tEt s c t
Nqqsumuuit |{{b8{|{b>uuR uu6>t smu"|{'qsu"S|
U ~}u-qs qqsu0t| | 3]S]'qsut| "qu0ui{mt >sq|t |}{_qsu|
9 u
@ 9B
t smu
sc t uL s t
s "c t uL s t
s c t Lus+j t
s c t
/
/
7
8 /
Lus+%t
s c t / Lus2+j t
s c t / sLu2s +j ti Lus+%Et t
s c t
L
L
p>uqu,|q'qsut sm|{-!qu"u|u{~su6S>uqs|,>ui)qsud>t9s~3d>,qsusuuit | {{b6
{su ~uis|}~-u|;uiUq 9 9
s2+ t u6~}~q 9 9 9 9 R{S
s s2+%t It
u{u
&
s2+ ts s t 4t
e
s2+ t s+ t
'
/
/
9 9
LusFjut sjit 9 9
Lusjit sjit
/ 9 9 /
p,qs|8{~}suiquR]
t|{-u6{ad,qs|8uRqsud>~}~|}{
{ L
^ U 9{sui{ uud>t o
qsu'u{b|ui3qu|{b>uut | u>|}>u{9t 9 @ ut
sqsu6 { L qsutu~u63ust3 @ uit9|}{>~}|{s-quu{b|ui3qu|{uut | uu ;
[ b|{ BE u{um|{>muia' S{ . > L {suRqa >t smu>m|qu buit u~qs|}>qsui||{9sss~u
e
{su6]ui-st s @ It uiti
t
!
b 5
,2:<,7"=c2&'AdLe9L-B!%&')')9'*9N:<7",!2&'`(17/%2%B#&')9N:<,+"(f27/%g'h5/%>7"%7/:i@'1=?=ADCj kG.B2&'I2+7
2+/@l(7"=;5#2+
27/%/@
2+>=?'D/m,7"#&n/&@-o7/%&'g-/'*
,p=A"(M&>%'q08
,+')9r7"%st:<'1vu&w^xyw@>2,M"uB58
,M(fpMdq
%9{z!|czH')%"2+>#=??7/:^}
,+>7"#;(@7B(M~
5'1')9
&'`%&n/@'}L/@>#'IB)B.&:<7/,33&J(MD'"9N2+7?2+
~"'
.B2+77"~N7/%'&:2D7
:Z2'2=;'6B-N>2+'1@>:
@>6&,M
,+- Kx7/2'I2823>%|!/'2/!5&,+7/6/6&@-A%&7
22'
&'5&,+7/n",+/=c!"3,+>202')%D>%|4.&
%9#')9q2&'
,+n/2$(M&7/J('"./0%(1'3'9J9;%&7
2$%'1')9?/%-m05')(18( >p:<#%(f2+>7"%m'1h(1'152K2+&' p9=?'1%>7"%
@&i
z$,+7/6/@>-".
'(17/#&@J9
(17/%J9'1,M
6&@-m5'1')9?#5A2&'I(7"=;5#2+
27/%C<6B-qFBE" q.
/()(7/,M9%&n277/#&,')02=?
2'*+G.">:\.B>%02'*/9C7/,$2+7/n"'2'1,3>2G
Hi.!';/9t#0'*9@>6,+/,')^L}B>%&ng05')(1/@H,7"#2%&')4:<7",^2+&'?7/5'1,M27/%87/%}/'),-D@J
,+n/'`87"2+>%nq57/%"2MI%#=6'1,M
&
C<:<7/,%\2M
%(1'/.:"\2=#@2+>5&@J(12+>7"%t,+7/#2+>%')MGf.l#(MT"^ 7/, # mw%:<7",02+#&%2+'1@-/.l!';,'*
@>)')9D2+&7"%&@-3&'1%o
#&602+/%2J
@58
,2^7
:H2'm(7"=?5+
27/%^/9/@>,+')"9-q6'1')%t(7"=?5&@>'12' b 2282457/%2).82&'2=?'!'(7"#&@9t\2+>@@i8L}/'
n
%&')96B-N#>%nm2+2@6&,+/,')9J9g%&7
2K\#8\2+:<-q2&'`"9&9>27/%/@'7/,2,+')#&,+')9q:<7/,3,+'13,+2+>%&nm2'5&,7"n/,M
=
x^7
2'2
2K2&'^/@>n"7/,+2+&=,+')"9>@-9J02,+>6&#&2'))'1}/')%;:<7/,$>%&n"@>'3}/@>#&'37/:K.B9>'),')%2$}L/@>#')K7/:(1/%?68'32+,'*2+')9
6B-q9&'1,+'1%2=A/(M&%&'*7/%(1'42\!7;,7!7
:Z2'>%B}/'),+'I=?
2,+hL}/'I68')'1%(7"=?5'*9
T'm"(M~%73@>'*9n/'2+&'m#&5&57/,247/:$I^|0ut
%9i')(M%&+(M&'w^%&}/'1,M2M2II,M
".83&7q~%9@-
@@>7!')9g#
2+7?#0'2+&'1,(7"=?5'),3,'*07"#&,M(')2+7?(17/=?5&@'2+'2&'`(17/=?5M27/%8!9&')+(,+>6')9g%2+&J30'*(f27/%
< l
f
`q&M
v
i1
f11 "
"
R 6 U k ` o L0&4`
y& # 0&
wj3m4 ; cRjR ` 3a 6 mV 0&46w L c(
b
y d *
4 k J] o k o o k
eHfhg(i"jk^lnml Do/pq2o Wr&sut kvlnwWxj/y+z{lnm j/xvxvi2| o/s i}(l xvi}~5` r l pnr l jk^}(ik[xuj q2o/ i2l x t j q w o xuln~ p i$|l xvgxug&i j/x o xvlnj @s x p i o }
w r k^wJj s i s j/y;xvg(iw(k^i s i xw o wJik @ l pnr
o/tt iw&x s y r&pnp k^i s wJj (s ln~&l p l x"ySjk o/pnp k^i q2o l l m[l (o/ttr k o/t lni sK
i to/pnp xug o x+9 s x o } s ySjkxug&i o ~ s j pnr xvi p jm o kvl xvg q l t g(ilnmgxj/yxvg(i o/p mi~(k o l t Wr(q ~Jik s ii r ~ s i t xulnj `nK
/
k
( 0&4V6w Uy d
4 k k k # L &
k J ] 4 w ]3
021 y& w w k B
. *
R6
k w 4 w k
&mw@Z
E k L (
) 6 V 4J6 w y46
w y o k oR w d w P4 - . 0 km o % w c!(
fJ}~&t;t4ph }u@hvf tw~~trquD;t|\f Fsv&fi|&x |fiu~J I|f{&v~hm
. 3yv # "* j* 6 ;' . - )*>`RiP 0&% $44 & `w
wj 6{n`/>&` ` k n6D ow 6( m d & (
) wj ]+* `d ` ` &, 0
's J ]
&46w
U 0 6(y
321 b J ] ; j(4 3 . 50 mn k o d o
5 5]3 0 ]6 ]6 d d 7 6 5
8:9<;=?>A@B CEDGFIHKJ.L MONQPJ.L MHSTVR U PW R XY[Z J.L MO\ ]AP^`_ a B B Y P B W C Pb]R Hcd U2R T P,B R X+Y P^`_ ^ W Bfe
) 6 n g ] d ik hDo K j7k (4 h d R4 d Eww-
4
Z
0 b c4
l d ; ` 3 N4 ` 6Z c d
h wm3 4 Pw - 0 4 w4 cm&
]3
J ]
h-vvftw;wt4Dhhvtwyhf{>h}4>~r}h}{fJh0~t~gw~t7t fnyh| }fVh|vfmfi}4|q;fi|qf{&&t4;lyfhqqf{}fit4|&0>rq?f vo;ip fiunnnhu >t4|t4| fi}hih>m}}4h~gfZ{twv;fVm}4u@h }Hf hGyt4`uvf{{ilyhm&lnuuvt4{hfJ{t4fuvhfZv{}}4hmu lnrq&`hfi ind d u
twuvfJt4ph }u{l} hfi|Vfm}@itw;vy h }htwu{lhft4~~tmrquvy 0
4Z n o g jR* 0 { g 4q 3 bw > o k 4W y k N c/ '(
r fZt4;hhfZ|ttRt4 L/ '( &uvifLh}|&h{~}||f{&v~hut4hq&fm u@hfZ>}4u@hKf Gyhqt(hvfZv}4`fi|m
ms
< l
e
s s^],_a`/b
j
+ R+ (2 ' 1+* y10 !24!10 #+ 5
yh d
Ny4 ( myw k ( o
&uv L (l c 2(l c (}4uvL_&lyr-d fJt4ph }4u
ENn4 w g ]g 3 k
d y 4 kY4 k o o Z o
P4 Ny4 o k
Zw g d ] 3 k N y ki>Y Z k o Z o
P4 myw c k o mg
Zw g ] 3 k N y ki>Yw k o Z o
-v;~fi-h}h I d lyrqvfi|f
d y 4 k Y k o o
Z o Pw *Nn4 4 gs ] 3 k k
uv{f k o lyr-fJwfh
d Z n 4 kg Y k o o ! y c
pn;hfJ`thvf{&t4u
+ R+ L&1.1 *L+1 * " # 1 &< ' + !0+
r fZ{t4uv&f|hsr-t {}4&f{{
{ ) `V6
&y &
o k
o # o c 4&
ms
< l
F
p-nvL{l- nitwulyyhh}t4h uvE#Ly }4&uvuv LL &c(td Jlyr--fJvfit4t4p|h f{} u Lw}|f }h6/fm6 t4uv{f|uvuvP{twuvhtwu c '(h | f{>}uvhtP|tfwl
k d 4 Z o kPw 4 w g ] 3 k
k Z n k & Pw P4 g 3 y ] k
n
}4r}@uh-fm3vf{t-|nf{Ov{lyc{t44uJr hfJtwu }mcf '(-}4~&t;fi| /f{3 * d d
* 4Z y L W_&
rqvfi|f V0f /vuvfm>u c CDgt twpyh }4u |t4 hv}4ufih>}hft| lvut4h{fZhv}h
k o $ R o o L 5c(
k( o $ m q R k k L 7&
r fZ>}{@}4&&;fh}h .
0 n o y k %" L 2
(
uvf{fm6l#L 2
(}4~&f*hvfiu p c Wc&N}4u L 7&r fEv}wf o .
50 k o % 4 lrqv.;v~f{
.
h}hq4 Vw Iw 0 km /o %(lv&v}|`fi|qhv}4u L ( L 2
(
* ! 3 . 0 %" o . 0 k{ o %
b
rqv htw4fihvfi|qrqh L W _& yf{~$ c! (-vf{t|f{ cw |tfm6
\ Q _ S!SNSaSq&_ aU \ d Q $] Q
r fJ&fL-vf{t|f{ cw rqh h % TZ0f /vuvf k l o l l l l l }4uv k }4q|f Vv|fmDu-f{t4|fi Lw nl6}uDfi|&n
*
hvfZitwuyht4uv" c c(l L W}4u c (
+ +! ; &! B$`2w!10 .1 *@#
+ 05 $6 .#
+ 05
uvi0fZt r-fJf|&vy& fV hvcfJ &|luuv{th}4{~3fZ4h}4~}vh fZt hv fJ~t4 k}|lyhrqv l
y4 f{~jJ ] h Efiuv{{f L c(-}h6 /fm6
5 y
d
d d d k L 2(
6 k
-vq;v~f{hvfZuvWf Vnv}4~hf{
d
4 k k& k k y g y k{&
5
d
d
4 k k& 5 y
}4r}uhfm3
s s^],_a`/b
E
+ + 9I)424!' d $`24!sd / GBMH RI$6
uv{fZ h lyr-fJv}wf
N h
d
c 7
' (
Nv|&hfi|ml
5 4 k q 0 ] 3 1 n d &` 5]3 q 0 ] 3 k
y , 0 ` b w4
rqvDyfi~ y
o
k ] d 6 d o o d o 5 ] 3 d1 3 d1 /44d b 3 1 j b & 6`6n
c n
'
1 k
uv{f o ki
c w
' &
r-fJtwpyh }4u
k o b 0(b w`j b c 'W'(
}4uD&uv{f }4uuhf{wf|mlr fJ}mf 4 0y c '5CD
Ef{u{f
k +k 4 0 ! Wy b c '&_&
}4u ,
, 4 , 4
K j
,
k j b & 676 4K j 4K j ! 4`j
, , 0 , c 'Wc(
+ + 9I)424! ' $`24!s/ $6 SM $6 g &! B$624!10 +1 *>#+ 5
r fZv}wf
4 * w k wq 3N 4 k o 4V ww7 j
44 N b - &n b
wq3N 4 k w - 0 W 0 c `
' &
' (
Nv|&hfi|ml
w 4-w 0 w , ! ww b
4 0 b 0(b
ms
< l
-nv{lyhvfJ}&&v;ht4u t4-f{t4|fiO cw }|fJ}h6 /fm6+d v~yuvhml}u@&uv . L '7(}4uvL 'w&lyr-fJt4ph }4u
4Z o k d o w I(w Iw 50 d k o % d 4
0 ]6 kihDo k w 6 w h q(4
Ewy 4 L '7(
h-v}fRh uviht k w 3yf{i|fm}&f{t4uLhfuhfi|4}4~ 4
uvif- k p{ c 'n lr-ftwph }uglv&uv2L 2(
4
k (
4
g 1 y
d
3N k 1 a # K j
k 4 k
] 3
] 3 1 k
1
pv0hthitwh;uvvc~fihvhfhhvtfVL|t '7t4(slvlhr-|fJf{>twpy}h }4uv u htL&v4tmr h}hmlrqvf{u d }4up 3 4lytwufm}uf /uvf hd }4u cW rN}h r-f
}mfht&vtmr hv}hvuvfi|-hf{&fL}4&&;htwu{lhf|wh&x}u@&yfJt4 Lm& -q4|fm}hfi|Vhv}4u uvif
wm 3 4 ]6 w - 0 4 wm 3 d Pw ] I4 0 w y
hV& o;{f{ht &tmr hv}h 4q 3 d Iw ] w wV d q d
0
t4|qh}h d
4q 3 b q4 0`0 j
&uvc 7&lr d fJtwph }u
3
id1 o 3
1 o 0`0 j b b 44{ wq 3;
b w `
0 0 4
j
4
M
] 1
}4r}uhfm3-vq{t4;v~fihf{-hfJ|tt4t4-vfit4|f{O L4 'y
s s^],_a`/b
k
HJCHZ:-HJ=HJY
K
* +HML#
NH)OP#Q# $ !#RT"#S) U)$V%WX&6Y%Z'#[(
\%]')6^(*_a`),+-aY.0H /1 2#')3 )(4(*5")36% #798 :;<-')(= (*2# (*7(*36% -.> (*?(* 7<!+@!) )3 +$.AB=7CEDF'# GAHJIE 3#7CH
ba
cCade4 gf9
hcCicj#kalAmI>')(9(*5"#3 #7no Q9qsr 3#Q$to u qsv Mw1"#3Hmx#HMyz3'JHm;{.A Q|W}b\S)~|WXaYZY\%]abY*`)6_^H
_a
cC
iJ@ <z#*lmk C@OP?3 ')B= N1.A1 B=p 7>3#Qz ? ")2631 p(% (*7)xcHM (* #(<3#?(1HMyz3'JHm)JS@WX6YY_\CPaYa`cZbH
6
P
i)mIE3G ')(*( 7 (9)Q#(* 7?(*G 7 (*C#I> Q#77 ..Ayz3HEW}\%mWX6[[Z\%J^6`[]a_a`)6_^H
a#P) Mm>HM )LcQ#(*3G c"c {&#?b7P"#62MY(*Y (*H G G 2c N/1 2)'#3 #(g(*5"#3 )7]!+<%'#(B=(')Q<.M1(*G .A#Qc`>3(*C2#(*2# EY6Yyz3')*B=36 5")(*7PLNC'#37, 5"#(*7
Za#P g> Md Ee
i)klPLcG c )?4I0'"#(F5"#3 )7>. ?'z/1(*? (*()x#Hm"#B4!M(*>I>'JH MU)~WX6YYZ\%M_^_a`c_YbH
^a#P g> Md Ee
i)klPLcG c )?47"#2M(* (*G G 2# N/1 2#')3% )(1(*5"#3 )70!+3(*C 7B=('#QJmB=2M7 =yz3'MH Pm#S@WX6YY[\%Mb^_a`c_6bH
[a#P g> Md Ee
i)klJI>'"#((*5"#3 )7 %'N*B=2M7 %(1m(*G Q)7C)>N3= 'JH #=32)2M(*3CH
Ya f F6mk1dge4 P 4M
iJAhCM;<&%'#(9 (*? 3GJQ# c 7 70. EM)MHMyz3'JH]W}b\1WX6Y\%P6^_a`)a[H
a6b)^a M`_PYJ%cDF
?imCimHmyz3B='J2#HM"#Mm )#?N* G 3')77E")?7 (*C"#m2#737,#Q
M ](*?a"#YG Y636c%H 7 7"#!M({c2Mp )(* 3G B=(i&Lc*B= )3 (FQ)(>I>')* (>Q#(*7]B!) (*7Q#(D3 7>6Y[[6[Y
|1 f 00
XCm
cC m;1'#("#B=(* N*3Gm.A3N% 706.')(93 '#B=( N.A B=71 &E m)MHMyz3'MH]Wb\%]#WX6Ya_\%M_a`c^H
6ba|e4 0k6MCimm"#7 (9 $B=2#"#36% #3GJG ?(*!) 3 N<")B!M(*I0'#(*,+mM1 3Q#")36%(9I]({%70 zyz36'JHP#V)JmLc2) #?(*CMaYY_H
6_a|e4W,a YY0^k6\%MmiM_d_*`0 cfH
6
&fX
6*d| 0 h6XmLc"#!M({c2M#(* 3Gc3G ? %'#B=7F.A>N*G 37 7>? "#2&3)QT"#) >N*B=2)"c3 #7C#x#H)L+cB4!mG N>B=2)"cH mS#
a6F
gf#*lJg{cN*(*2c #3GM (*3GJO](*'#B=(*>7(*5"#(*#N*(*7cD3N* MN<x#HMyz3'MH m|WX6YY\%m_^a`cH
6aF
gf#*lJg{cN*(*2c #3GM (*3GJO]"#N*3707 (*5")(*#N*(*7C#D3N* MN<x#HMyz3'MH Jm@WXaYZa\%M[Y*`Y6cH
6Za|1 EMC,%z
i)J)3G + N1.} B4"#G 37.A0'#(<(*?")G 30.g3="#B4!m(*>m(*G QJ)8mHmyz3'JH J)WX6Y[Y\%JYYa`cZbbH
6^a Ee
imCkld K *7 G "c &(J(*N (<QM *5"#3 #7>Q) 2)'#3 (*##(*7:E3G ? ')B=(*7>(32)2#G N*36% #7)I>'#*7()) (* 7 %< Q#(*3"c{-P6YY^H
6[a Ee
imCklAJLcG c #?
I>'")(9(*5"#3 #7 '#"c'#(<.A"#G GJ"#) ? "#2Mmyz3'JHMB=2MH #32#2M(*3CH
6Ya
M
c FcAiMl,%ci]C] "#(*Q&.A 3N #7<W} K "#7 7 3)\C,3"#a3)aJyz7 N*a1]6Y^[H
b6|] FP
i))m"#)Q#3B=(*3G 7>6.g/1 2)'#3 #(91(*B=(,+m)L#2# #?(*CJ6Y[_H
bm| ]WXP6
Y)YC\%iJMlbd[|a` _bzH iPkllXad9F ]4C*lXCimk#m B=(*7>G )*3 (*7F(*&Q#(*"c{=G ?3 '#B=(*7>(>Q#(*B= )3%7FQM (* 2MG 3 Jx#H)"#B4!M(*FI>'#(*,+
bbaf4 e4 F]CczC#({%(*#Q#(*QT'#(*,+6.gOP"#N*37C#.A")#N #7C))MHmyz3'MHMVJ-WX6Y_\CMcaYa`[H
b_a
4 F]i)*lAC
dge4 F]Cim*lC
1% d0g FPkh%*dm3N% )?42MG +c#B= 3G 7 %'36 #3GPN*(TN* (*7C)yz3'MHM)MHS)UJ$W,aY[b\%M6*`c_cH
b6|0 ) h
icC=]iJci)PG 37 7")B!M(*B=2#"c%36 #76. K (*3GJ!M(*G 3")B!M(*0E (*G Q#7Cmyz3'JHmB=2MHMVm|WX6Y[b\CMZY_a`^^H
ba|1 gPPC
%)I0'#* (9Q#(*7>.A#N #7>")B=* 5"#(*77 B=2)G (*B=(*>2M* Q# 5"#(*7C#B=(*CH)x#HMyz3'MHJ@W,a[^[\%Ea[a`cbcJb[Ya`c_bH
bZa) g@
CACMG 37 7"#B4!m(*7>. (*3GPN+cN*G N1"#B4!M(*M(*G Q)7 %'7B=3G GPN*#Q)"#NC)B=2M7 yz3'MHmVMWX6Y^[\%MbY^a`_6YH
b^a>
#.XHM*l>m3JmHm"#B=B42#!m"#(*360%I> 'J#Hm3GJyz7 7CH(M'#3Q)c7EmP6>Y[['#M( Q)K (9(*17 G "#"c+(*TCP6.Y/1Yc m2#'#^3^a` Y#b(H F5")36 #7CJAi K H 9HMyzG G @WA(*QMH \%#"#B4!M(*I>')(* +m:gDF NH# 7,
b[a| Ek6c*lAMF #( K (*?"#G 36% 3!#7N%')6*")#?c#!)'MHmyz3'MHJLc(*B&H)3B4!#") ?
MW,aY^[\%MYa`#aZH
bYa| Ek6c*lAJB=2#"#3 )3GJG ?(*!) 3 N9")B!M(*I0'#(*,+mm/<yL#(*B= #3SM)) ')")7 (*C)37 (*GAP6YY_H
_6| Ek6c*ldFe4 EF
%6Ci)m
#CMG ? ')B= N9G ?(*!# 3 N1"#B4!m(*0I>')(*,+mJ3B!) Q#?(<# mH)DF (*7 7C]aY[YH
_FW,a YZ [\%Pk6*^lAi)C`)ak^h^
Jd>yz
3 'MPHmC1cL)i)L 6K ]LcDF!M B=# = (4WXQ#6YcZ [7 \%] 716_*.`)a'#(4Y(H {c2#(*7 7 | @3G ?(*!# 3 N")B!M(*m(*G Q)7W K ")7 7 3m\%Eyz36*HPL#!m ) $m
p
ms
< l
k8d
_ba-DF N*(*(*Q) #?76.')(98X(* )36 #3GJ#? (*7 76.Fyz3'#(*B=3 N* 3)7C# NC'MJ6YYmgG "#B=(4mm ')")7 (*CJ6YYH
__a|1 "c+ (*Ci ]CakYY#mI0cC'#`c(<[_H !m#3N*N*m"#B4!m(*73)QT%'#(1 N N9;1N*(*3MMi-(*')3 3c)m 7 NC'T3#QOP =WA(*Q)7CH \%)L+cB=2M7 3
13"#7 7 3#3cM>#.XH)9)Q#(
_6
P]%ci)6 )DF B= (>Q) c 7 7F.J'#(({c2) (*7 7
3G ?(*!# 3 N0")B!M(*Em(*G Q)7Cx#Hc (* #(3)?(<Hcyz3'JHS)U) )S)UmTW,aY^6\%)b^*`c__H
_a3# JQzMl, 2#
02)
G a N*lAc3DF )B=7C# > N*(3Q#Q#(* cB= 7 N< DF7F(*.M7O]7CJ"#aN*Y3^7F^3P)^Q=Ya`OPY(*b'#H B=(*p "#B4!M(* 7Cciz<H3(*F3#Q=/H sHcyz377 (*WA(*Q#7H \CI]3)7 N*(*#Q)(*#N*(FI>')(* +m:>Q#63)N*(*7
_Za EJlX
0
alP;1zQ# c 7 70.m(* B=3) !M#3N*N*AcO]"#N*3703#QOP(*'#B=(*0"#B4!M(* 7C)DF NH)OP#Q)zyz3'MHML#NH]W}_\0VMWX6Y^^\Cmb6}^H
_^a|4 P6
iP
6*d>1 | Fc-T,#Cm;1'#(DF 3N N*3GJLcG "c &.'#(I>'"#(9F5"#3 J)xcHM")B!M(*0I>'MHJVM@WX6Y[Y\%MYY*`)6_bH
_[a| 9MkMlXmDF B= (1Q) c 7 76.gOP")N*373)QzOP(*'#B=(*07 (*5"#(*)N*(*7C)yz36'JHmB=2MHMU)WX6YY\%M[ZYa`[[[H
_Ya| 9MkMlXmDF B= (1Q) c 7 76.gOP")N*373)QzOP(*'#B=(*07 (*5"#(*)N*(*7C#8 8mx#HmI>')(*CH)B!) (*7Qc{mH M|WX6YYZ\%Mb`b^H
6| 9MkMlXmDF B= (1Q) c 7 76.gOP")N*373)QzOP(*'#B=(*07 (*5"#(*)N*(*7C#8 8 8myz36%'MHmDF NHm>3B4!# Q)?(9DF'# GAHmLcNHJ)S#V|WX6YY[\%m^a`6YH
cF A <
%ci)lXki)P8X Q)"#N N+cN*G B= NM(*G Q#7Cm< 3Q)"#3(<IE({70 $yz3'MHMmVJmLc2# )?(*m6Y[bH
ba 9
CmI0'#( % #7 N<Q) c 7 76.gOP(*')B=(*>"#B4!M(* 7C##JHMyz36%'MH]W}b\%JUMS@WX6Y\CMb_6`b_ZH
_a 9 EEzal)8XQ#(*3G (<G (* #(*> B 8XQ#(*3G G 37 7 (*"#)Q(* )( K (*?"#G 33!)7 N%')6%*"##?c#8X(*HJyz36'JH mUmSWX6Y[6\%M_Z^a`c_[H
6
]CkiJ M")0I0'#(* (9Q#(*0DE(*)* (*7,()yz#37 'MHJyz36'JHmV|WX6[Yb\CMbZa`b[6cH
s s^],_a`/b
Unite de recherche INRIA Lorraine, Technopole de Nancy-Brabois, Campus scientifique,
615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES NANCY
Unite de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex
Unite de recherche INRIA Rhone-Alpes, 655, avenue de lEurope, 38330 MONTBONNOT ST MARTIN
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
Editeur
INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)
ISSN 0249-6399