Using on-the-fly Verification Techniques for the Generation of Test Suites

HAL Id: inria-00073711

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

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.

Using on-the-fly Verification Techniques for the Generation of Test Suites

Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurence Nedelka, César Viho

To cite this version:

Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurence Nedelka, César Viho. Using on-the-fly Verification Techniques for the Generation of Test Suites. [Research Report] RR-2987, INRIA. 1996.

�inria-00073711�

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

%'&)(+*#, -.*0/21)3$45/2687 9:4<;(>=?A@B1)(C-.* 1D4E?F3G*(CH#I$4J&LKM-.;N1O384P,4<*$4<;@B1)(Q-*

-RKS14J& 1L&DI(T14J&

UMVXWMY2Z\[^]_WM`abV!cdVfe>YWgYaVXhgi[^]_WM`abVjUkWMe>ailEmbnoVXeTeTp$UqVfe>rkYidsWg`e>VfYtXVjuAVfaVX]wvxWbi[yqVXz>WMe<{|nomr

y}:~Qf€X

‚ƒ:„ VX…b†>VX‡‰ˆbe>V ‚ŠkŠkƒ

Œ‹ !

%)3%

UMVXWMY2Z\[^]_WM`abV!cdVfe>YWgYaVXhgi[^]_WM`abVjUkWMe>ailEmbnoVXeTeTp$UqVfe>rkYidsWg`e>VfYtXVjuAVfaVX]wvxWbi[yqVXz>WMe<{|nomr

54

‹68796

;: =<

68>?68@,ACBD6E&>?FC>GE ‹67968>

H'I?J,K

6EL>

H

@,7MN@-6E

MN6PO3E I 6

@QMM JRI

ESC6

I

68O 4 6 I O 4

6UT

}f~++€XV: 8WE

6ME?67X I 6

>+RWY:  ~

M@QZR68>

[\%]8^_a`b,^,c

T E 4d

>;MN@QMe6 I#f

69@aE?E?679MCE#E

J

SC67

J

T>GE

I

@QE?6-E

4

@QE

J

TCghE

4

6gjiF=E?6PO 4 T

dlk

A68>8mnSC6oR6p

J

Me68S

d

T E

4

6O

J

TqE?6BrE JQs

oR6 ILdut

O8@aE dvJ

TwmqO8@QT

4

6pxM

d

TyS6 ILd

o d

TZ-EL68>zE5>?A

d

E?6P>{

68>zE5MA I M J

>?68>@

I

6&AN>z6PS

d

TyM

I

@,OE

d

O6&E

J

>z68pv6PO3EE?68>zEO@R>z6P>|@ROO JRI

S d TZ}E

J

> J 796YM

ILJ

Me6 I E d

68>

J,s

E 4 6->?MN6PO

dvt

O@QE dxJ

Tw{~6}SC6

t

T6-@9O

J

T>

d

>zE?68TOFyM I 6

J,I

SC6 I pd

T€

d

TZ9EL68>zEMA I M J

>z6P>@QTS>?MN6PO dvt

O@QE dxJ

T>8{

~6Z

d

oR6@y>z6E J,s'I

Apv6P>E J O 4

6PO€yE 4d

>#O

J

T>

d

>GEL6TOF@,TSE

J

SC6 I?d

o,6@yO

J

79Mpx6E?6-E?6P>GEYO@R>z6 f"d

E 4 M I

68@,7-Xpx6,m‚M

J

>zEL@Q7Xpx6,m

oR6 I S d

OEL>|@QTSE

d

796

I

>8{

54

6;@QpxZ J,ILd

E4 7m

f"4d

O

4ƒd

79Mpv68796TqEL>'E

4

6;O

J

TN>GE

I

AOE dxJ

T I Apx68>8m

d

>X@R>z6PS

J

Tƒ@}SC68MCE 4ƒtNI

>zEE

I

@„o,6

I

>L@Qp

J,s

@>zFrTO 4ILJ

T J A>5M

ILJ

SCAOE&XN6E

f

686TE

4

6}EL68>zE&MA I M J

>z6}@,TS=E

4

6>?MN6PO dvt

O@QE dxJ

Tw{5~6->

4J,I

E?pxF

I

6pl@aE?6 J A I

6BCMN6 I?d

6TO6 J T

@,T

d

TSCA>zE ILd

@,pNM I?J

E J O J p f"d

E

4|…#†

m@

tNI

>zEM I?J

E J EGFrMe6

J,s

E 4 6Y@QpxZ

JRI?d

E4 7 d

79Mpv68796TqE?6PSy@R>|@O

J

79M

J

T68TqE J,s

E4 6

#H

E

JqJ

pvX

J

Bn{

‡ˆq‰‚Š?‹Œ _a%],c

Z,6T6

I

@aE dxJ

T

JQs

EL68>zE|>zA

d

EL6,m

J

TE

4

6&iF-oR6 ILdut

O@aE dvJ

TwmQEL68>zE'MA I M J

>?6,m sŽJRI

7ƒ@,p>zMe68O dut

O@aE dvJ

Twm

d

TMAEL>G

J

AE?MACE>

E I

@,T>

dE dxJ

TN>">zFC>zE ‹6876P>mroR6 I S d

OEL>8mrE

d

796 I >

x‘’

“z”–•P—

’

“&˜%™l”–šh›œ

wž„Ÿ¡ ¢n£3¤h¥ža¦ "§Q¨G¨G©Dªa¦¤h«hŸ¬¦­¡­®ƒ j¯Pª„ªQ£3¤h«h¨z°D§®D¦©DŸ¡©„°„¯„ ±«j¤hŸ¬¦­w²z£3©«h¤–¦²³«"¢2Ÿ«jžƒ´N¨z¤hŸ¡­¡£3µ}Ÿ¡©D¦- ±«j¯„°8®9¶x£3¤|«jž„¨&¶x¤h¨G©„²–ž·/¸%¹»ºx·%Ÿ¡¤j¨G²³«hŸ¡£3©

¸#¼¨G©‚¼¨G¤–¦­¡¨ªQ£3¯„¤½­l¾¹½¤j¿"¨G¿"¨G©«–À

2žPŸ¡ 2ª„¦ª,¨G¤w¢w¦ 2ª„¯„§„­¡Ÿ¡ hž„¨G°#Ÿ¡©#Án¹r´|¾Â3ÃPĄÅCÆ%ÁwÇ}È3ÈzÉ3ÊPÄ,Ç8ªP¤jŸ¡©„µ3¨G¤n´e¨G¤h­¬¦µ

T dE <

6}SC6

I

6PO 4 6 I O 4 6

"4%ËJ

T6g

pvMe68>

WqÌ,Ì

mC@„oR6TrA6ÍSC6YphÎ A

I?J

MN6RmÏ

€

ÏRÏ,Ð

R"ÑDG !bÓÒwI

@QTO6PÔ

y< < 4J Ò QW9W YÌ+~ < < J d Ò aW9W YÌ+~9Ì+~

&3 "!#

ˆ ] ˆ c

@QT>½O6

I

@QMM JRI

E2T

J

A>27

J

TqE ILJ

T>

k

A6|pv6P>nEL68O 4 T

dlk

A68>%SC6o

<

6

I?dvt

O8@aE dxJ

T ‹@"pl@"o J p <

66/Me6AoR6TqE

Ë

6E

I

6'@QMMp dlk

A <

6868> ‹@

pl@Z

<

6T

<

6 I

@aE dxJ

TÍSC65>

<

6 k

A6TNO68>½SC6EL68>zE8{

6P>

J X K

68OE dvs

>%S6E?6P>GE/>

J

TqE½ACE dpd> <

6P>m„68T-M

I

@aE dxk

A6RmPM J A I > <

6px68OE dxJ

TT6

I

S68>%>

<

6 k A6TO68>

SC69EL68>zE8{

J

AN>YS

<

6 t T d

>L>

J

T>#AT6

I

68px@QE dxJ

T SC6DO

JR4<

6 I

6TNO6-68TqE

I

6ƒpx@>?M

<

68O dut

O@aE dvJ

TV6E}phÎ J X K

68O3E dus

SC69EL68>zE8{

&J

A>}S

J

TT

J

T>

ATV6T>?67Xpx6SC6

I

‹6ZRpv6P>"M J A I O J

T>GE I A

dvI

6}AT69>

<

6 k

A68TO6-S6-EL68>zEÍO

J

79Mp‹6EL6 ÒM

I<

6P@Q7XApx6,m‚O J,I

M>;SC6-EL68>zE8mnM

J

>zEL@,7-XApx6PÔm

M J A I S <

6 t T dxI

pv6P>oR6 I S d

O3EL>6E9px68>E

d

796

I

>{

Î@QpxZ JRI?d

E 4 76Rm

k A d5d

79Mp

<

67968TREL6ypx68>

I

‹6ZRpv6P>}SC6O

J

T>GE

I

ANO3E dxJ

T2mM@

I O J A I

E-6T

M

ILJQsŽJ

TSC68A

I

SnÎ@QX J,I

Snm,ATDM ILJ

SA

d

E>zFrTO 4ILJ

T668TqE

I

6px@Y>?M

<

6PO dvt

O@QE dxJ

T96E|phÎ J X K

6PO3E dus

SC6"EL68>zE8{

6E@QpxZ J,ILd

E 4

796"68>zE'p dT <

68@

dvI

6,{

&J

A>S

<

6PO ILd

o J T>wX

I?d

‹68o,67968TRE½T J E I

6|6BCM

<

6

I?d

6TO6>zA

I

ATM ILJ

E J O J pq6T}ACE

dpd

>?@,TREATM I?J

E J

EGFqMe6|@,MMe6p

<

6

…#†

{ 6M

ILJ

E J EGFrMN6

@ <

6E

<

6#S

<

68o,6p

J

MM

<

6;S@QT>5pl@9X JRd

EL6 ‹@

J

ACE

d

pl>

#H

{

Œ ^8] Š b ˆ c Z <

68T

<

6 I

@QE dxJ

T SC6=>

<

6 k

A6TNO68>YS6DE?6P>GEPmo

<

6

ILdut

O8@aE dvJ

T ‹@pl@o

J p <

66Rm J X K

68O3E dus

S6ƒE?6P>GEPm>zM

<

68O dvt

O8@aE dxJ

T

sŽJRI

796pxpx6,m

>?FC>GE ‹6796YSC6#E

I

@QT>

dE dxJ

T> ‹@6TqE I<

6868>Gr>

J,I

E d 68>8m,oR6

I S d

OEL>8mrE

d

796

I

>{

!"# !! Ï

$ %

%/ )/

E d>

f"d

SC68pvF

I

6PO

J

ZRT d'&

68S E 4

@aE}EL68>zE

d

TZ

d

>}@QT 6P>?>?6TqE

d

@QpO

J

79M

J

T68TRE JQs

E 4 6 s Apvpp

dvs

68OFCOpx6 JQs

O J 77AT

d

O@QE

d

TZ >zFC>zE?6879>8{

&Jaf

68o,6

I

maE

4

6M ILJ

O68>L>

J,s

ZR6T6

I

@QE

d

TZ#E?6P>GE|>?A

d

E?6P>

d

>'O

J

79Mp

d

O@QE?6PSnm,6 I?ILJ,I

gjM I?J

T6@,TS6BCMe6T>

d

oR6,{

54

6 d TqE

ILd

T>

d

OS d)(

OApvEGF

O J 7968>

sŽI?J

7 E 4

6&Xpx@RO€Rg–X

J

B-T@aELA I 6

JQs

E 4 6 d

79Mpv68796TqEL@QE dxJ

TwÕ

d

EL>|XN6

4

@„o dvJ

A

Id

> J TpvF

J

XN>z6

I

oa@QXpv6@,TSƒO

J

TRE I?J

px@,Xpx6@aE'E 4 6

d

TqE?6 I?s

@,O68>8{ TE

4

@aEÍO

J

TREL6BrE8m‚@

sŽJRI

7ƒ@,p sŽI

@Q796 fJ,I

€ d

>;@M

I 6 I 6 k A d> d

E?6 sŽJRI

Z do d TZDM

I

68O

d

>?6@,TSO

J

T>

d

>zE?6TqE#76P@QT

d

TZq>

JQs

EL68>zEo,6 I S d

O3E>{

54

6ÍA>?A@Qp‚E 4 6

JRI

6E

d

O@,p‚@,MM ILJ

@RO 4+*~-,wd

>"E J O J

T>

d

SC6 I @

sŽJRI

7ƒ@Qpn>?MN6PO dvt

O@QE dxJ

T

JQs

E 4 6 d

TqE?6TNSC68SyXN6

4

@„o dvJ

A I

J,s

E 4 6 79Mpx6796TqE@aE dxJ

T

TSC6 I5

6P>GE

Ò

Ô{ EMN6

I 7 d

EL>YE

J

SC6

t

T6ƒE

4

6DT J E

dvJ

T

JQs

./!0/

I

68px@QE dxJ

T pd T€

d

TZ @QT

d

79Mpv68796TqEL@QE dxJ

TyE J E 4

6Y>?MN6PO dvt

O@QE dxJ

Ty@,TSE

4

6ÍT J E

dxJ

T

J,s21

/ @,>L>

J O d

@aEL68S9E J E 4

6Y@QMMp

d

O@QE dxJ

T

J,s

@-E?6P>GEO@R>z6

Ò

>?6E JQs

d

TqE?6

I

@,OE dxJ

T=>z6

k

A6TO68>Ô/E

J

@,T

d

79Mpv68796TqEL@QE dxJ

Twm f {I {E8{E

4

6YO J T

sŽJ,I

7ƒ@QTO6

I

6pl@aE dxJ

T2{

54

6ÍM ILJ

Xpv687

d

>E

J

@,ACE

J

79@QE

d

O@,pvpxF

ZR6T6

I

@QE?6}O JRI?I

68OE"E?6P>GE;O8@,>?68>

sŽILJ

7 @

sŽJRI

7ƒ@Qp½>zMe68O dut

O8@aE dvJ

T

JQs

E 4 6

{ O

JRI?I

68OE"E?68>zE;O8@,>?6,mN@,MMp

d

6PS=E

J

@,T

m

f"d

pxp

SC6POpl@

I

643 s@ d

p'5

J

TpxF

d

79Mpx67968TRE@aE dvJ

T>

f"4d

O 4 S J T J EYO

J T sŽJ,I

7+E J E 4

69>zMe68O dut

O@aE dvJ

T Ò

//6 M

I?J

MN6

I

EGFÔ3{Y~69@Qpl>

J

I 6 k A dxI

6E

4

@QE@QT

d

79Mpx6796TqE@aE dxJ

T

f"4d

O 4 S J 68>|T

J

E|O J T

sŽJRI

7 E J E 4 6Í>?MN6PO

dvt

O@QE dxJ

Tƒ7 dZ 4

E|Xe6;SC6E?68OE?6PSDXrF

I

68MN6P@aE

d

TZYE 4 6

@,MMp

d

O8@aE dxJ

T

JQs

@E?6P>GE&O8@,>?6,mCATS6 I @ s@

dxI

T68>L>"@,>L>zA79MCE dvJ

T J TE

4 6 d

7Mpv68768TqEL@aE dvJ

T ÒM ILJ

Me6

I

EGF JQs

6B

4

@,A>GE do d

EGFÔ3{

A ILd

TZE

4

6}pl@,>zE"S68O@RSC6,mrEL68>zE

d

TZ9E 4 6

J,I

F@,TS@QpxZ J,ILd

E 4 7ƒ>

sŽJ,I

E 4 6}Z,68T6

I

@aE dvJ

T

J,s

EL68>zEL>

4

@„oR6#Xe668TSC6oR6p

J

Me68S sŽI?J

7

@QXe6pxpv6PS

½I

@,T>

dE dvJ

T

FC>zE?687 >zMe68O dut

O@aE dvJ

T>

Ò

Ô3{

68>zE/Z,6T6

I

@aE dxJ

T d Tro

J

pxo,68>%>?AXCg–M I?J

Xpx67ƒ>

JQs

E I

@„oR6

I

>?@,phmaO

J

79M@

ILd

> J T

JRI}I

6PSCAOE dxJ

T

JQs

m%@Qp

I

6P@,SCF @RSS

I

68>L>z6PS XrFo,6 I?dvt

O@QE dxJ

Tw{

|J

T>?6

k

A68TRELpvFRm

f

69E 4d

T€‚m/@Q7

J

TZ

J E 4 6 I > *7/,

m%E

4

@aE}E

d

796

d>

I?d

MN6 sŽJ,I

pd T€

d

TZEL68>zE#@,TS oR6 ILdut

O8@aE dvJ

Tw{

54

66BCMe6 ILd

68TO6 JQs

M I

@,OE dE

dxJ

T6

I

>E?68pvpl>;E

4

687 E 4

@QE dE d

>;T J E I

6P@,>

J

T@,Xpx6ÍE

J

E I FE

J

oa@,p

d

S@aEL6@,pvpM

J

>L>

d

Xpx6Xe6

4

@„o dxJ

A I >

JQs

E 4 6 dvI

M

ILJ

E J O J pj{ E d>

f"4

FE

4

6F A>?6 dT

sŽJRI

7ƒ@,p½EL68>zEYMA I M J

>z6P>{

Ñ

@,>

d

O@QpxpxF,m

f

6ÍE

I

@„o,6

I

>?6

d

T@S6MCE 4 g

tNI

>zE7ƒ@QTT6

I

mrE

4

6}>?FqTNO 4I?J

T J AN>'M

ILJ

SCAOE JQs

E 4 6

>?MN6PO dvt

O@QE dxJ

T@QTS JQs

E 4

6ÍE?68>zEMA I M J

>?6,{

A ILd

TZE

4

6;E

I

@„oR6

I

>?@,phm

f

6ÍO

4

68O€E 4 6

dxI

7-ACELA@QpnO

J

T>

d

>zE?68TOFR{

–s

> J

mr@,T@,OFCOp

d

O&E?6P>GE5Z

I

@QM 4d

>Z,68T6

I

@aEL68Sƒ@,TSSC6PO JRI

@QE?68S

f"d

E4 o,6

I S d

O3E>2@QTNSÍE

d

796

I

>{

54

6|@,pvZ J,ILd

E 4 7 d

>%@QT JRI?d

Z d

T@,p,6BrEL6T>

dvJ

T

JQs

E 4 6 J TCgjE

4

6ghiFÍoR6 ILdut

O8@aE dvJ

T#€R6

I

T6p

f

6|SC68o,6p

J

Me68S

@ s6 f F,68@

I

>/@,Z J8*+

m

>~

m € m

9,

{ E'M I?J

o d SC68>@YO

J

79Mpx6EL6"E

I

68@QE?796TqE J,s

E 4 6M

ILJ

Xpv687 JQs

EL68>zEO@R>z6P>m

d

TOpvANS

d

TZ}M

I

68@Q7Xpx68>

@,TS9M

J

>GE@Q7Xpv6P>mqo,6 I S d

OEL>@,TSE

d

796

I

>7ƒ@QT@,Z,68768TqE8{ E d

>|T Jaf f

68pvpN€rT Jaf

T9E

4

@QE|SC68MCE 4 g

tI

>GE|E

I

@„o,6

I

>L@Qpl>@

I

65E 4 6 4

68@

I E

J,s

> J 796'Z

JqJ

S-o,6 ILdvt

O@QE dxJ

T-@,pvZ J,ILd

E 4 7ƒ>m

sŽJ,I

Xe6

4

@„o dxJ

A I

@QprO

J

79M@

ILd

> J T@QTS

I

6PSCAO3E dvJ

T *€9, m,@,>

f

6pxpr@R>

sŽJ,I

7 J S6pvg–O

4

6PO€

d

TZ

*+

m Ì m  ~-, {|~6->

4Jaf

E 4

@aE dE d

>@Qpl>

J E I

A6 sŽJ,I

EL68>zE&Z,68T6

I

@aE dvJ

Twm f"4d

O 4 O J TN>GE

d

ELACE?6P>&@9Z JrJ

S=6B@Q79Mpx6 JQs

EI

@QTN>

s6 I"sŽI?J

7

oR6 ILdut

O8@aE dvJ

TE

J

EL68>zE

d

TZ{

54

6DE?68>zE-ZR6T6

I

@QE J,I

mwX@R>z6PS J T o,6

I?dvt

O8@aE dxJ

TEL68O 4 T J pJ

Z,FRm

4

@R>YXN686T M ILJ

E J EGFrMe68S

dT E 4

6yO

J

TqE?6BrE JQs

@QT

d

TSCA>zE ILd

@,p

O J T>

J,I

Ed A7m‚p

d

T€

d

TZ

†<

6

ILd

pJ ZNm

@QMg

6P>?@m

T6E8m T

I?d

@D@QTNSE 4 6

I

6TNO 4RI

7-FR{

T 6BrMe6

ILd

768TqE

f

@,>Me6 I?sŽJ,I

7968S

J

TV@

I

68@,p

M

ILJ

E J O J p2>?MN6PO

dvt

O@QE dxJ

Tw{

54

6 I 68>?ApuE>

f 6 I

6Yo,6

I

FD68TO J A I

@,Z

d

TZmO J T

tNI

7 d TZ9E

4 6 d

TqE?6

I

6P>GE J,s

AN>

d

TZ9E 4d

>&€

d

TS

J,s

@QpxZ JRI?d

E 4 7 d OQm

f"4d

O 4 d

>#T Jaf

7ƒ@aE?A

I

66T

J

AZ 4 E J

XN6E

I

@QT>

s6 I

68S

dT E 4 6 d

TSCA>zE ILd

@,p fJ,I

plSnmeE

J

SC68@,p f"d

E

4I

6P@Qp sŽJ,I

7ƒ@Qp

>?MN6PO dvt

O@QE dxJ

T>8{

A I

@,MM ILJ

@RO 4 d

>ƒO

J

79M@aE

d

Xpv6 f"d

E 4

>?Fr7-X J pdO

ҎJRI

>GE

I

AOE?A

I

@QpÔ J T6P>p

d

€,6

5†:*7,"f"4d

O 4 7ƒ@„F

O J

79MACEL6ÍE?68>zEMA I M J

>?68>5A>

d

TZ

I

68@RO

4

@QX dpd

EGFD@,T@QpxFC>

d

>8{

54

6-M

I

6P>z68TqEL@aE dvJ

T d>

JRI

Zq@QT d'&

6PS@R>

sŽJ

pxp Jaf

>8{'~6->zEL@

I

EXrFSC6 t T d

TZ9E

4

6-S d);

6 I 6TqE&7

J

SC6pl>"A>?68S sŽJRI

SC68>LO ILd

X d TZ9E?68>zE

MA I M J

>?68>8m,EL68>zE|O@R>z6P>m,E

4

6#>zMe68O dut

O@aE dvJ

TD@QTSE 4 6

{R~6;SC6

t

T6&@-O

J

TN>

d

>GEL6TOFM I6

J,I

SC6

I

Xe6E

f

668T9E?68>zE|MA I M J

>?68>'@QTS

>?MN6PO dvt

O@QE dxJ

T>8m½@,TS@=E?68>zE-O J T

sŽJ,I

7ƒ@QTO6

I

6pl@aE dvJ

TVp

d

T€

d

TZ

d

79Mpv68796TqEL@QE dxJ

T>ÍE

J

>zMe68O dut

O8@aE dvJ

T>{ƒ~6ƒZ

d

o,6E 4 6

sŽJ,I

7ƒ@Qp

I

Apx68>-@,pvp Jaf"d

TZE

4

6=O

J

T>GE

I

ANO3E dxJ

T

J,s

@E?6P>GE9O@,>?6 sŽILJ

7 @E?6P>GEMA I M J

>z6y@QTS @ >?Me68O dvt

O8@aE dxJ

T2{~V6yZ

d

o,6>

J

796

I

68>?ApvEL>

O J TO6

I T d

TZ >

J

ATSCT6P>?>@QTS 6B

4

@QA>zE do d

EGF JQsJ

A I Z,68T6

I

@aEL68SVE?6P>GE9O@R>z6P>{

%d

T@,pvpxF,m

f

6DZ

d

o,69E

4

67ƒ@

dT I

68>?ApvEL>}Zq@

d

T68S

SCA I?d

TZƒ@QT6BCMe6 ILd

7968TRE

J

T@,T

M

ILJ

E J O J pj{

< =

T E 4d

>ƒ>?68O3E dvJ

T f 6 tI

>zEƒSC68>LO ILd

Xe6=E

4

67

J

SC6pl>9A>?68S sŽJ,I

E 4 6SC6P>?O

I?d

MCE dvJ

T

J,s

E4 6S

d);

6 I 6TqE

J X K

6PO3EL>

d

Tro

J

pvoR68S dT E 4 6

ZR6T6

I

@QE dxJ

T

JQs

E?6P>GEyO8@,>?68>8{

54

68F @ I

6A>?68S E J SC6

t

T6E

4

6 T J E

dxJ

T

J,s

O J T>

d

>GEL6TOF

I

68px@QE

d

TZ @E?6P>GEyMA I M J

>z6 f"d

E 4 @

>?MN6PO dvt

O@QE dxJ

T@QTSE

4

6YT J E

dvJ

T

J,s

O J T sŽJ,I

7ƒ@QTO6

I

6pl@aE

d

TZ9@,T

d

79Mpx6796TqEL@QE dxJ

T

f"d

E 4

@>?Me68O dvt

O8@aE dxJ

T2{

54

68>?6#7

J

SC68px>"@

I 6

E 4

6TA>?68SyE

J

SC6

t

T6 sŽJRI

7ƒ@Qp

I

Apx68>

sŽJRI

E 4 6}O

J

T>zE

I

AO3E dvJ

T

J,s

EL68>zEO@,>?68>8{

>@?A BDCFEHGJIDKLMGJIEHGJIONMPRQTSVUWPRPXUWYZI[OQ\C]N_^XI^R`2CaNbFN#IUdceN

54

67

J

SC6pl>A>?68S-@

I

6@QpxpRXN@,>?68S

J T TMACEzg

ACE?MACE

@QXe6pxpx68S

½I

@QT>

dE dvJ

T FC>zE?67ƒ>

Ò

Ô dT f"4d

O

4d

TMACE@QTS

J

ACELMACE

@RO3E dxJ

TN>"@

I

6ÍS df;

6 I 6TqE

d

@aEL68SyXN6PO@,A>z6 J,s

E 4

6}@,>?Fr7796E ILd

O8@Qp‚T@aELA I 6

JQs

E 4 6ÍE?6P>GE

d

TZD@,O3E do d

EGF,{

~6O

J

T>

d

SC6 I @ t T d

EL6@,pvM

4

@QXe6E JQs

@,OE dxJ

T>Hg}mnMN@

I E dE dxJ

T6PS

d

TqE J E

fJ

>?6E>Õ h/i j# g]k9@QTS fi F O

gjl{ ~6>

4

@,pvp|pv6E0monRp

I

@,TZ,6

J

oR6

I

g-m\q nRqr

I

@QTZ,6

J

oR6

I

gjky@,TSts_nsr

I

@QTZR6

J

o,6

I

g]l{V~6yO

J

T>

d

S6 I}t

T d EL6

+uÒvxw

ngny

w

nz w{|{} Ô

f"4

6 I 6 vVwVd

>E

4

6Í>z6E JQs

>zEL@QE?6P>mz

w

{|{} d

>E 4 6 dT dEd

@Qp‚>zEL@aEL6,m_y

wt~vxw4€

g

€8vxwVd

>'E

4

6&E

I

@,T>

dE dxJ

T

I

6pl@aE dvJ

Tw{

W ©ƒ‚8Ê3Â!„…