Vérification d’automates étendus : algorithmes d’analyse
symbolique et mise en oeuvre
Aurore Annichini Collomb
To cite this version:
Aurore Annichini Collomb. Vérification d’automates étendus : algorithmes d’analyse symbolique et
mise en oeuvre. Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2001. Français. �tel-00004334�
HAL Id: tel-00004334
https://tel.archives-ouvertes.fr/tel-00004334
Submitted on 27 Jan 2004
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of scientific research documents, whether they are published 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.
!
" ## & ) * " ! ! $ %
'( '( % & '
!"
#$
( ( ) *') + ,
- - . /, % ) 0 1 2 134. -4-.+ !4$ .5
, 2 134. ) % &
+ ( %% 6 ) 1 ' 7 ) .,
) 1
% .)
8 ' 9 )' + :
*, ' & ) ') )
% ! '5
$
9; % ' % < ;
#
?
@
G
## .& ' # + ' . 9 @# * & ' @## 2; @# 9 A B ) C(,&D
@ * & ' ) @# 2; @ 9 A B ) C D @? * & ' ; @?# F )) @? 2; @?? 9 A @@ * & ' )' @@# 2; @@ 9 A B ( 5
4 !(4$ 2 ?#
?
??
[email protected]
?G
A & ' ! $
+ ?# * ? A (4 ; H .& ' ' 1 ;) ) ?G# .& ' ; ?G .& ' ; ?G# 4 & 6
6
=
#>
##
#@
#@
#@
#@
#6
#6
#=
#E
#E
#E
#
?
?
?
=
??
[email protected]
[email protected]
?G
?6
@>
@#
@#
@
@
?I
@#
@
@?
@@
@G
@I
G#
G
G?
[email protected]
#
?G 7 ?G? 7 [email protected] 1 1 ' @@
@@
@G
@6
!2( A 27 ( $ @## * @# 9 A @## * @# * @#? - @#@ - @#G
+ B 97 B @?# @? ' 9 @G# .& ' A +) C(,&D @G .& ' ) A +) C D @G? .& ' )' 2 ! ! G
G
G?
G?
GG
G=
GE
I#
[email protected]
II
I6
IE
6?
[email protected]
[email protected]
66
6E
=
"
' =I
G## .& =I
G# . =6
G## J =6
G# " ==
; & ' ==
G# 1 =E
G## 97 E>
G# - E
G 1 E?
G# 1 # A # B 7 E?
G 1 # A # B - EI
G? 1 A B 7 E6
[email protected] 1 A B - EE
G? EE
; & ' ) K #>?
2 #>@
! $
I#
I
I?
[email protected]
IG
II
A )) 9 4) ' . A .49 !. 4) 9 $
I# - ) ' I
) ' + L 97 L 1 ) & 2 %&' ( 6#
6
6?
[email protected]
+ J4M 6## ) 6# 2 6# * 6 6# 4 6 +) 6? N) 4 6?# 6? 9 A ) C(,&D 6?? 9 A ) , [email protected] 9 A ) C D 6?G 4 ( ! $ B (4 !( 4 $ 6?I B ( 4 6?6 + ) 6?= + ) 1 [email protected]# *
[email protected] * [email protected]? * ) [email protected]@ 1 " * #>6
#>=
#>E
##>
##>
###
##G
##I
)
##E
##E
#>
##
##
#
#
#@
#@
#I
#6
#E
#?>
#?#
#??
#?G
#?G
#?6
#?E
#?E
#@
#@@
#@G
+! )
+# ) I #GE
+ @ ) I? #GE
+? I ) IG #I#
,
*
-. / #
#
1# O #I6
1 " #IE
1? +) & #6#
F % - P .
2% 5
Q ' Q ; 5
P . ! & R ;$ 1 5
- & ' ) 0 H ) 5
& 0 S 2 & ' ! $ ) ! Q $ & ' 7 ; ! 5
$ ! T $ ) * ; & ' 0 0 1 ; & ' 0 ! $
' - ) * & ' 9 7 ; & ' U ) & ' * ; & ' ; ; * A
L ! $ 1 N VN IEW 9 ! ') $ 9 & ' ;
' 0 & ' ') 1 1 V1N== NXE6W
. VO4.EW
* ) ) 0 & ' ' 5
) ; ) 1 0 L ! $ 9 VF.= 19.=IW 9 & ' ' ) 5
* ; A & ' ' '
* ' ' 1 ' ) ) 8 !
$
& ' 0 ! $ & ' * ) ! ) & ' $ *J* 1J* 1J*Y V 66 9E>W
F ; ' ; & '
* & ' ' 0 & ' ! $ 0 & ' ! $
01 (
3 ' ; ! $ 1 ) ; ! )$ 0 ) S ) & )
! 0 ;
$ K ! & $ ) ! S ) &$
+ ' ;
! )$ ! $ ) ! $ 3 5,) 55 & & ' )' ! 0$
2 Q 5
* ( ! ) $ 2 % 5
! ) 5 $ ' 0 & & ' * ; ' ) ; & ' 3 ' U ! ' $ & ' ; % & ' F ) )
; 0 ;
5,)
' 2 3 (
2 & ' ; ! ;$ 7 ) V19=# F.= 19.=I Z=I E?W ; & 9 7 & '
) ' 2 7 '
' V=E EW
V" E> "[email protected] [email protected] XE6 1>>W & ' ; V =G ZE>W V"*E? * E?W
& '
V1(=E (1 E> (&E E?W
"R ; & ' ; % V(1 E>W
* & ' ; 9 7 ; ) O ; & ' ; A ' ; ' ' * ' & ' ;
; + ' & ' A
L ' V+E? 1 EIW * ) 0 ) V+(E=W ' & V&>>W ; ) 7 +
( ( %% V+((>#W & ' ; ) 7 ) L [email protected] '
5
* ) *J* 1J*Y V9E> +NEW
* ! ' $ 55 ; & ' ; 2 A
L * V1166 1N6= (( >>W ) 1 ; VNE?W
L * & & ' 1 ) 1 7 ! ;$ !;$ & ' 1 ' & ' V([email protected] & ' ; V("ZZE6 (NE6 ++(EE W
+ & & ' V++( EEW
2 ' !& ' ; $ 5
! & ' ) ' ) $ ) * 4 (
3 5,) & ' ; *
A
L !2($ V2=E : E=W B ) B & & '
) ' 3 ;
& L ) & & ' !& '
7 )
; $ 1 & '
& ' * & & & ' 2 & ' ) & & ) 1 !
)$ 1 ! $ ) . & 8 ) +
* ( & & ' &
; 7 ; 3 ) ' ; 1
; ) !C4
1 -999 #[email protected] V1+.>#W$
+ (
* ; ) & ' 1 ; 1 )
;
* ) ' 0 ' ! $
& & ' ! T 5
7 $ ' & ' 9 & ' & 1 ' ?
+&
' '
; H '
& ' ' 3 & ;
) !5
& $ S ) & ' 3 @ & & ' ) ! )
0 ) ' $ 1 & & ' ' 3 * G ' ; & ' ) 3 & ) ' ; )
& ' & !) ) & '$
* I & ' ;
1 5 ) '
3 ) #
* 6 7 & 3 S S )
; 3 ; ; ' =
2 ' ) 1 ' & ; & ' ; % )
; 3 ; ) - ; )
; * ' & ' ! $ 5
3 & ' & ; "#$#$ %& ' (
3 ; & ' 1 ) ) & ' Q
!8 )$ * O V+EW & ' ; & ' ' 5 60 7 8 0%9:
$ % &'
$ ( $
! " #
'
) '
& ! $ ; 5' & ' "
;; +
5 60 7 :
% '
; ' ' & '
& ' F 5 607 < :
!
* * +
' #
!'
!
O & ' .
!
[ '$
5 6% 7 < :
* *
' *
, *'
'
'
3 '
; & ' 5
5 6% 0%9:
* *
'
- *! + .
5 #
* *
/'
'
* #
* #
"#$#" (
. ! $ * ; ) A
O A ! $ . 5
. 1
+ * ;
)
T * ) A
;
\
* & ' & ; ) ! $
. )) 5 0 ' . 1 ; ' A
\
-3
\ '
* 5 \
[ *
5 - ; 0 ) 5
+ 5 \
* ) ! $ !
) VEW$ ) $
; ; + 5'
. JG# [email protected] ZE?
JG#
E
2 ) . ; ; 55 ! 3 ; ; ' A
* ; %
)
; 3 ) & & * Q
) ; Q ) * 5
' * ) ) )R ; 5
0 ) * ] 9 7 ' ) A 5
. ) ) Q 2 ' ; 5 ) ) * ' A ) ) & * ) ' 7 ' ' ! $
* ;
) ; 5
' * ' ; 5 6 9:
+ %)
) )
$ % &'
$
12
3 $
$ ( $
" ") ! )
' 0
' ( '
' 0 '
12' ( '
'
! " 12 12 '
$ -
#
' 0 " '
. 3 ; + & ' * ' & ' 3 -2 * * ' ; 0 '
# Q -2
' -2 + ) ;) 5
Q ;) 5
& ' 8 ;) 5 " 60 7 :
( $
+ %)
) )
()
) )
")
-! ;) ) #
$ $ 12 12 ' 0 # $ & ) 12
12
5 ) $
12
' 4 '
;; 0 7
$ ) '
$
$
9 7 ; ) 3 . ! $ ] ;) ) ) ; ;) # Q ;) ) ' ;) # # # # * ! $ $ )
! ;$ ;) ) ) 3 ) A
5 ) 6 :
*
# ' *
) #
# # # # # # #
#
#
#
#
#
# #
# #
# #
# # # # # # # ;) ) # # ;) )
) 6 #
;5
# 2 ' ) & ' 5 5
& ) % 9 7 ) 0 ) 5
3 * ;
& ' ; & ' 3 S & ' 5
+ " T 2 & ' ' 1
Q 1 ' 55 &
& ' + ; 5 Q 3 ; 5 & ) ' ;
5 $ 6+ :
* '
3 + " #
$ & $
*
$
' *
$
$
'
'
'
'
'
" " " ' 4 " ) '
$
' 0 " & '
+ 7 & $
&
! '
;; 9< "#)#$ * & + ' ;;;
5 2 & ' ' !-2 -3$ * 7 +
" T A
L % 5
' ! ' ' L 7 ' * & 7 O 7 T 7 . & ' ' * & ' ;) 3 ;) # Q -3
' -3 ;) # ' ) 9 7 5 6& :
4 ) ( ;;;
9< ( < ( ( 8 -,3/
9 ) ) 1 Q * 0 ; ) ;
5
' R - ) ) 5
C(,&D V+ E#W
* ;
+ ) C(,&D ) ) A
L ) 1 H L * ) 1
5
! $
4) ) C(,&D 3 * ! $ , * 0 , ! $ ' , % # ) , 9 7 , * , ! ) $ # , , *) C(,&D %)* & & ' 5
# * & ' " " ! $ A
L L * ) *
L ' ' L + & '
* ;) # 5 2 ;) ( , ) [ 2 0 )
# L #
;; 9< 9& ;) ) ' * ;) # ! ;) $ + # A
L * + A ;) #
* L * + A ;) #
* 9 # A ;) # . #
A ;) # ;) ) ;) L ;) ) C(,&D
* ;) ) ; 7 ; * ;
"#)#" * & + '' ;; ;
5 2 & ' ) )
' !-2 -4$ 3 %
; + - " & ' ) T ; -4 - Q ) !- $ * 7 +
" T A
L % 5
' . . . . . ! ' ) ' L 7 ) . .
. . . * & 7 )
. & ' ) ' * & ' ) ;) 3 ;) # Q
& ' )
-4
' -4 ;) # ) ' ) 9 7 9; )
* A
L * ' 7 L * * ) % )
2 ' ) 0 5 6& :
4
#
. . . . . . - .
. -4 ) ) ) "
;; 9< 5 6& :
7 #
Æ
Æ 16 Æ - * ) ' + Æ
Æ
2 5,) 5
* A 5 ;) - P * A
L * & ' 5 % T ' 5 P
L * ' & ' 5 ; 5
P
C D C D 3 S ' C D * V* E=W 1
V*>> W X V2OJ:EI : E6W
6 #
;; ;
9< ( < 8 -. /
. 0 C(,&D ! $ ) ) ) C D
V+*E# +12 E .J+E=W
* ) C D 5
! )$ ) 2 * 0 H
! $ . / 7 ! 55 7 $
9 ' ) % 7 . ! ; $ 1 0 @ 7 A
L A * L A * * ;
L
L
A * A * )
7 1 ? L 2 ;) ?
"#)#, * & + - . / ;;;
3
=7 ; 5 '
*
$
$ ( 0'
'
* ) * '
$ * $
*'
'
5 602 > 6::
* * ( ( (
'
8 9! + ( ( (
*
'
9< (
(
(
(
(
^!1 1 $ ^!1 1 _ _ !#$
;;;
5 2 & ' ; ;
) ; $
;; 9< 0 )) ; ) ! ;$ ; ; * ' A
L + A C D ) ; 55 ;
L + A C' D ) ; 55 ) ;
L A ; 55 ; L A CD 55 ; ) Q ; ;$
)
)
; ! 4) & ' ; - ; & ' ; ;) Q ; 3 S ; ) 3 ; ) . ; " & 7 ; 3 ; 5 # 6& ?:
*
" ' *
' 4 ) #
$ " + +'
$ " + + '
$ " '
$ " 2'
* ) ; - O ! - O $ A %
; ) 0 ;
)
3 ) 9 ;
) ; ( ! T ( $ ; ( ( ( 2 + ; ) 0 ) * ))
5 ! ; #G ) #E$
5 6& ? 4:
*
" ' *
* ;
' 4 ) #
;;;
9< ( 4 * ' 5 ;) @ * . 4
1 +
@ L '
5 *
& )
') & ! $ ; ) ) 1 )
* 0 H ) & S 1 ; 1 ;
* ) 5
) ; ! )$ 3 * ) ! $ 1 ) ! $ 7 )
4) ' * 5
) !+ $ ;
3 - J
S ) + ! 55 S $ ) + 3 9 7 A S ) + ! $ S + & 5
2 ; ) & ) + & ;; 9< S ) + ) !+ $ - 9 ) 0 & )
) )
5)) ) ! $ T 9 &!) $ C)D 4 !)
$ ' ) 0 ; ) C)D
G L 3 )R & ' : & ' ; ; 6 5
3 : + ;
6 * ) ; + + * ;) I 6
6 L 3 & ;) ) * ;) # 2 2 A ;
I L * ;
* ' ; 3 ;) # 2 2 * & ) + ) ;) ) # # 50 ! ) $
# + 2 ! )
; 3 $
%
3
= L 9
;) ) ! $
;) ; + ; 0 "#)#) * & '
;;;
5 2 & ' 7 7 ; 3 ; + & ' ) ; * 7 ; & ' ;;;
9< ( + 6,&+:
4 8 , &2
& ' )' ;; 9< &
%
!
"#"$
E L !
$"
!(4$
1 V2X4JE6 ".E6 N.EI EI N4.>#W
*
A & ; ) ; % ; 8 ) ; ; 2 )
3 1 9 4 ) 4) ' * S !&9=$ ; ) & % * ; ! 55 ) &$ ' 4 * ) X *
+' & ) 5
5
F ) ! ) )$ ) ) ; ; & S 5
0 )
5 * 5
' *
! $ * ' & '
* ;
2 Q ' S ) 5
* ) S % . )
5
) . )
5
% ) !); 7 $
2 ) S 5
& S + 5
) * 5
' - ) ; ;
5
0 ) 0 & ) ) 3 )
& ) !>K#$ ! $
2 7 ) & 5
A
L [email protected] A 7 '
) & S L [email protected] A * S ) * ; ' L 05A A 0 * S )
; ) F ) A
L &.0% A S ) ; L &B* A S ) L &@A A S ) * L &[email protected] A ) 5 ;
5 * 3 0 5
` ) !
)$
3 & ' & ' A
N# * 5
A ) ' N O ;
) #
;; 9< + & ! $ ) ! 5 $ ;
! $ 3 & ) ) ' * G Q A
L < A ; &
L << A ; ! ; ; & ' ' ) ; ; )$
L <=<> ?! A T ) & ) > !#$ . 5
. ) . & ' * ) L < A & ' 0 L < A '
* ( $! ' "- ( /"#$
-."+
"1+
$02#
'
* (+ "- ( "-
Ü Ü % ' ( )
$0*0/
* ( +
( '
$0 '
Ü "1)
,,
-.")
#> L ( B $0$$
* ;
( 3 + ( (( ! ! 33 ( 3 ( ( ! ! 3 + ( 3 (
3
( ! ! 3 + (1 ! + ( 3 (
) (
3
( ! ! 3 + ( 3 ( )
(1 ! + 4"5 /45 +
+
! * @ Q A
L <=< A ) ;
L <=<> A ) ) >
L <=<? A ) ) #
L < A T #+
/$+
.+)
03#
/$+
.+
.)+
1+
02#
1)
/$)
.)
/$)
#)
## L ( B #
"
;; 5 3 * )
3 * ) * ! 3
3 + )
* ! 3
3 + )
3 )
** !
! 3 )
* * 1 -4$ * ! 3 + ) * 1 -4$ * ! 3 + ) * ) "5 * ! 3 ) * ) "5 * ! 3 ) * *& & ' ' ! T ) 5$ A
' *. + *. ' + ' ! & ' C (
; * & ' J ) 3 ) 5
) ) 0 & & ' * &5
' ! $ ;) ) - & & ' 1 , V1E=W ;) 5
) & ' ! ' $ ; -3 ! * ;
)
-3$ + & ' !
$ ;) ; ' &
& ' 3 5,) V2EE 2
(ZE= ( E= 4EI ( E=W V(( >>W
C (
* ! ' $ ' + 2
V2=E [email protected] * ) *J* 1J* 1J*Y & ' V9E> +12E> +NE N3.:[email protected] 2 V1EEW ) ;) ; ! $
2 ; V.:EI 2JE= *Z:E= *+NEE *EEW B X V2OJ:EI : E6W V*:E6 *>>W
N& VNNZJEG NNEGW B & ' ' & ' ' V+NE?W ' ' & ' 5
' ' ? ' - ) *& & ' 0 VN4.># ++(>>W
C (
2 ; & ' ;
V(a=? 1 =6 =6 ("EI ("ZZE6 (NE6 -.>>W ( a5
; V(a=?W ' ; & ' ) ' & '
' ' ; ; A ) 1 ' 0 ) +
V+E? [email protected] ' ' ) ' - ) ; H & ' ; &
' A 55 ;) C D ! $ 2 ' ) ;) ' ;) 1 & A
L 1 , V1 EIW ;) ) & ) $
;; 5 L ' ) +
( ( %% V+((>#W & ' ) ;) ) ;) * & ' ; 7 0 & ' ; ;) ) ;
& ;
' V++( EEW * ) 5
0 & '
3 5
& ' ) 3 & & ' Q
' ; ; ; 5
& ' 0 H 2 ' 5
' * ; ' ' ; 3 & '
' ) ;
. -
1 8 * & ; ' ; ' ) '
+&
& ' ) ' ; ; A
L * @ & '
& ' & ' L * ) &5
' 9 ; 5
. & ' 5
A & ' 3 ; H ' ; G
3 & ' ; H ' '
;) ) & ' 9 7 ;) & ' 2 & ' & ' ; ) ; ; ! $ ;) 5
) ;
J
& ' & ;) ) ; ! ;$ * ; ) 0 9 7 C ,&D ! @#$ ; & 2 ' & ' ; 9 7 ' ) ! !
$ ' % ! U % ' $ + ; ;) ;
& ' 5
; + ' 1 ) 5
+ ) 5
' ' ) ;) ) * ) ; * ' ; ) ; ;) ) * ; & 7 ;) ) 3 S ; & ' ; 3 ' & '
3 ' ; 3 ' ; H ' ) + 7 ;) ) ' & ' ' ) ;) ) 3 ' ) ;) ) ; ) ) ;) " # $ %
&
3 %
; & ' # & ' 0 3 S ; !
5 " 60 ? !:
* ! # " " '
" 3 ) 5 . ( 3 ; .J9 3 ; & ' % 1 & ' ) 5 ) 60 1:
* * +
'
' * ( + %) () ! ,
( #
$ '
*
; ;
$
#
(
5 $ 60
* * +
1
(
* & ' ( 4 & ' % 4! ! * + ! '
! !
5 :
' *
!
+ * * * '
! * * * * '
! + * * * '
*
! ( ! '
'( ! ,#"#$ * * V1"*[email protected]
. " * ) ' ! -2$ - ! $ -2
' % -2 -2
3 -2 -2 -2 -2 -2
-2
! $ - % A
; ; # -2 -2 ; '
A
# * ; * % ' A
# 3
; 5 6 4 :
*
#
$
12 " '
12
#
12
# 12 12
)
& , '
-2 -2 0
$ * ) # 2 ; 5 2 Q ' ; ; # T 6 #
1 ) $ V1"*[email protected]
3 ; H ' ; 0 ' - V(*OE=W ' * 5
' ,#"#" 0 12
4 !(4$ ) ? * & ' ; ) * ' ' U & ; ! $ 2 ) ; & ' ; ! ;) ?# ?$
#
; ;
4
4)
4#"$
."
5#"$ "1
5
4#"$
5#"$
4 ."
2 4)
."
"1
$2
5)
5+
4+
$2
5#"$
5/$
4+
4/$
%
4/$
$2
5
."
"1
."
"1
5/$
"$ ! "- ( /"#$
! "- ( ?# L +
"- # A 2 ' "$ ( /"#$
' 5+ 4+
5/$ 4/$
."
$$
"- '
."
$$
5+ 4+
"- "- '
2 '
5#"$ 4#"$
"$ ( /"#$
"- '
5/$
4/$
"$ ( "- ' 5+ 4+
"- 5) 4)
"- '
5#"$ 4#"$
."
$$
2 ' "$ ( /"#$ 2
5#"$ 4#"$
"- ? L +
2 ' "$ ( /"#$
# A 5) 4)
* ; ) *! + 3 & ' 3 A ; + & ' % * & '
- ' A
)) ) H ;) & ' & 5
;) & '
. ;) ) & ' ) ) C D & ' * ; ;) ) + ) ;) ) ; . ;) ) ; ; ;
! <$
2 & ' - A
L ( - ( # (-(! V 66W )) ! $ *J* ) B 0 5
B ; 0 ; - ) 1 ) 5,)
!; ' ;$ VF.= 19.=IW
L 0 ( - ( # 0-(!
V9E>W ) & 3 ' ; H '
' ) ) H 2 Q & 2 ; ; ! $ & '
2 & ' " 5
& ' 3 " 5 "
;; D
1 558 Q ) 3 & ' ' ) ) ) '
! $ - T 5 *
; ' 6+ D:
' $
$
" @ ' *
"(
$ "( '
6 $
$ 6 " #
'
* ;
H 0 ;) 6 3 ; ) $ ; * Q $ * & $ & & 9 7 ; 5
; + & 5 5 ;) 0 P 9 % ) $ A
L $ %
$ %
! 7 $ A L 2 ; . ; ) * ; 3
)
S & 5 6* :
* " "( '
#
$
&
"( " $
)
&' $
&
&
$'
'
'
$
'
$ " " '
$
$
$
" #
"( "( 3 Q 5
& ' 5
$ . $ 6 6 $ . " $ "( & ' "( " $ ;) # # T Q
Q $ ' 3 ; ' A
L " A 6 L " A !6 $ 3 ;) ) * 5
' ; ' ; ;) ) + ; $
;; 0 + * @ "
) $ "( 6 $ ' * ' *
# '
+ ; H & ' 5
;) ) #, ! ; ;5
) ' . 8 ) ' & & ' . ) B ) ; #> ) &
## ) B ;) ) ) 2 ; & ' 7 ' 0 & ' ' 2 ' & ' 2 ) C D )
* & ' ' 5
! $ ' & ' & . ' 5
)
' . $ H & ' 3 ' A
$
- ;) ) 5
' 3 * ; - ! ( !*. %
.( 3
3
; & ' ;) ) S & ' ;
& ' ;
,#3#$ %& -
1 ;) ) ; - U ;) 5
) % ;) * ;) ; ;) 5
!
;) 0 ) % $ * ;) ) . ;) ) )
;) ) ) ) 0 ) ;) - ) ) 7 8 ) 1 ) ;) ?? A ) ) % ) 8 1 ) 8 ;) < ) % ;; * 4 4
6 /2 6 " ! $-# 2 37 "$
$-# 2 37 "$
*# 37 " # $
( $
$ % 2 2 2 *# $ 2 2 $
$ 2 2 ( *# $ 2 ?? L 9
;) + ) ;) ) ; ! @$ ;
,#3#" %& -
3 ;) 5
) 0 ; 3 S 7 5
& ' ;; ;
& 4 7
3 ' ! & '$ 9 ) 5 -2
T -2 ; ' $ * ;) ) ! ' $ !
' ' & ' * ; . 5
& & ' 3 -2 -2
. % ! 7 ) $ 3 ; -2 % ' & ; % * ; 5 6& 4 7:
* " 12 5 12 ' 7 #
$
$
12
12
% C D ! 5'$
+ *
" , ( $ 4
' *
12
12
'
' *
, #
12 3
; ) 3
!'
$ ( %
3 %
$ 4
3 3
1
2 3
12 3 $ *
&
&!
3 , #
12 3 , ' 1 '
&) ) 3! #
3 3 12 3 & 3 3 3 3 3
3 ;; * 4 4
$ 1 #
12 3 3 3 $ ( 3 5 3 5 3 3
#
'
3 % 9 7 % ) ) ;; ;
E ! 4
3 ) ?G# ) ;) ) ) ) % % 55 -2 3 %
+ *
6 E ! 4:
" ! ' 4
A A #
12 3 3 3 "
3 3 3 '
1 . !$ + ) ;; ;
E ! 4
1 ; ;) ; ;) - ' 55 ;
;) ) 7 .
* ; # # ;) £
' A # # 2 & ) ! $ 7 ) ! ; *
" ' *
7 B $
7 #
3 7 3 12 3 3 12
3 # 3 £
'
12 3 3 12
3 $
# '
$
5 $
+ 6 E ! 4:
'
7
# 3 7 3 3 £
' 0 , '
;; ;
* ? 4
3 ; ) 5 ;) 5
) 9 & 5' ; ;) ! ) ?$ ;) & 5 6* 4 7:
*
" 3
' &
12 '
#
; 5 # 6F 4 7:
" ! $ #
( C D $ $ 12 $
$
$
'
) &
'
#
;; * 4 4
* ;) ) 9 7 A
L A L ) 7 Q A
3 3 3 3 7 3 3 3 ;) & 5
) . & ' 5
) 7 ) ;) & 0 & ' ; ! ?G#$ - U ;) & ) % ;) ) ;) 5
9 0 ) & %
) C D ) ! ;) $ + U
% ;) & 0 Q
3 7 < Q *) & ;) [email protected]
*) * ; 6 /2 - 6 " ! $-# 2 37 "$ $-#8$9
$-# 2 37 "$ $-#8$9
#$ 2 "$$9
*# 0$- 37 " # $ #$ 2 /9 ( $ &
0 $ & $ *# 0$- $ $ % $ $ ( :03
*# 0$- $ ( ( #$ 2
*# 0$-$ 2 [email protected] L 9
&
;) / - . ; -2 -2 & & ' ) -2 * ' & ) -2 - U 1 -2 ! $ ) U
"
;#; * ) . ; O 7 ) & 1 S ) 5
;) ?G 1 ) . . - Q
?G L 1
$
$
A * ) * ;) A
# *
. . ) A
.
. .
. 3
. . A
+ ) 0 ) ) 9 7 0 ) . % 5 ;) ) O ; !;) ?I$ * ; * ; )
+ ) A ; ; #> ) 9
#> 3 5 ;) ) ; $
$
'
$
2 5
?I L 1
; 2 ) 5
) A
L ( A 55 ) 7 3 % L ( A 55 3 %
* ;) & # 3 3 3 T 3 7 * A
+ *
3
" , '
(
' 4
) )
#
$ 1 ' 7 '
$ 4
5 E $ ( 3 3 3 3 ' 7 < '
$
;#; * 3 5
K
) 1 7 &
& ' ) ! ' $ 3 0 % ) 3 5
? ) 7 7 ; 1 ' . R % 5 1 5
& R
) S ' ) 5 9 7 ' U
' ) * ;) @# * "!
@# L 2 7 )
) . ;; 4 6+5, ( + 5 E , <:
1 ; *
7 ;) ) * ! 5
$ 0 5
3 @@ ' 3 & & ' )
)'
! ( $
! 1 ! 0 &
0 " %
3 S &5
+ 3 @@ !) 6?$
)#$#$ * 4'
' 1 ( V(=?W 2 V2=EW 9 & ) & ' V: E? : E=W
) !;) @ !$$
3 3 ! $ !$ 4 ) @ L 4 * ;
? 9 7 T % > 1 7 3 ) * 3 3 3 ; * ) % ) 3 ) '
.) : V: E?W
3
)#$#" 0' 4' 4' 5
3 S ; 7 ;; ;
; C 4 & ! * ' ; A
'
! ' ! ( ! (
8 ' ; ) ' * ; ' A
'
' '
9 ' ! $ 3 @@
* & ! A ! 3 ; ! ' A
. ) ) ' ) ! ) 3
! ( ! ) )
( ' ( ! ! ( 3 ; ' A ) ) ;; 4 6+5, ( + 5 E , <:
3
! !) )
( ( (
!
( (
*
( 3 + 1 0 - * ! * 8 8 ! 0 +
5 6+G :
* ( ) 7 $
( ) '
#
' ' ' (
" ( +) ) (
( ( (
( (
( ( #
(
(
(
(
(
7 #
( ' F ! ( E) ! ( ( '
( '
F ( ('
! ( # E)
#
( !
$ 4
+) ' 7 #
2 +
' ' ! ' * ;
( + ( +( ( ?' G'
B' H' I' J'
K'
L' M' ?>' ??' )
)
! ) ! ' ) )
) )
) ! ) ' ) )
)
) )
)
)
) )
! )
! ) )
)
)
) )
) )
)
)
) )
)
! )
! ) ' 7 #
F ! ( E) ! ( ( ' ! ( + ( ('
. ( ( ( ' ? A
( + ( + ( (
;; ;
C
(
( + ( (
+
# ( + ( 4 ! T 0 K
)$ ; % 3 3 5 " 6 4 :
* !' - , ;; 4 6+5, ( + 5 E , <:
#
)
" ) ! ) 3 #
$ ( $ (
$
5 ''
' *
) 8 ) 3 ) ) 3 ! ( # '
(
' * ) ) 3 ) ) 3 ! 17 16 '
$ ( 3 & ' ) ) ' * 8 ,
) 3 ! ('
. 3 Q * ) 3
* ) 3 ) 1 ; 3 3
3 3 3
) 3
' ) T 3 ) . 3 3 ; '
3
3
A 3
. 3
+ + ; ' 3
3 5
3
( ( T 3
3
+ 3
+ * 3 +
(
(
(
(
* ;
(
(
(
(
(
(
(
(
(
(
(
(
* + 0 S A
3 3
3 L . 3
;
3 3 +3 3
3 3
3
3 3
3 L . 3
+3
+3
3
;
3
3 3
+ 3 3 . 3
. ) ) 3 3 * 8 3
8 ) 3 3 * ) 3 3
3 5
. 3
3
T + . 3 3 3
1 6 #
3
; A
4 4
4 S [email protected]#$
! ( ! (
3 A
L 3
3
3
"
;; 4 6+5, ( + 5 E , <:
4
3
3
L 4
3 ; A
. ,
3
3 3 4
,
,
. 3
C D ' A
3
3 3
3
T3
; 5
3 -3
3 ,
3
4
3
3 ! 3
. 3
9 7 3 ! 3
0 3 3 6 #
3 & ; 5 + 3 3 3 3 " +
*
)
) 3 3 ' ¾ 7 #
3 3 3
#
3 & & 3
)#$#, ' 0 4' '
* ! ; 0 ' 9 7 3 3
3 A
3
3 ! 3 3
3 5
! 3 A
3
!
3 3
3 [email protected]$
3
2 ) 3
!3
3
*3
3
* ;
)
3 ; ) 3
3
,
3
3
. ,
3
! 3
3
3
,
& + 3 ! 3 3 ,
! ,
,
*,
,
* ! ; 5 $ 9 7 )
! 5
$ - 3 3 * 5 3 CHD T
! ;$ ,
. ,
% 6 #
)#$#) ' 4' 9
9
. * 8 ' . 9 9 A
* 3 + 3 A
'
(
8 * * 8 * 8 ! 3 3
3 5
3
9 9 1 '
'
(
'
;; 4 6+5, ( + 5 E , <:
#$
'
'
'
Ì
'
Ì
Ì Ì
Ì Ì
'
'
Ì
Ì
Ì
9
3
3 +
b 5
) #
3
&
3 3 3
3 . 3
3
+3
. 3
! 3
3
! 3
3 ; + 3
3
3
3
3
3
& 3
3
3
5 + 3 + 3 3 & 3 & 3
3 - . 3
* A
* ) 3
* ) 3 + 3
3 ( ( 3
* ) ( 3
+3
; + 3
3
9
3 + 3 +!;
9 7 *
C
* ;
)#$#3
#
' ' . 4' 3 0 3 & ! 0
$ - ! $ !$ !$
! $ !$ 9 7 ' % . * . ' . 9 * * * 3 A
3
3
3
*
*
3
A
*
*
*
*
* *
3
* *
* 3
3 3 0 + 5
) 9 9 7 * * * 9 A * 0 O ;; 4 6+5, ( + 5 E #
, <:
* 3 3 3 3
' ;
3 3 + 3 3 + 3 3 3
! A
' % ' $ 3 3 3
3 3
3 3
+ 3
[email protected]?$
3
3 0 3
3
1 3
3 3 3 3 J 0 - " " & A
" ! (
3 ; , 3
3 " 3 5
3
* 3
* 3 ' 8 8 A . 3
3
3
3
A
3 3 3 * 8 3
! 3 3
[email protected]@$
5
3 3
3
3
) 3 3 + ! $ 3 3
3
; 3
C
4
3
3
3
3 ,)
3 '
* ;
* ) #GE 2 * 4
3
) 4
C
3 ,)
) 3 3 '
3 3 #
3 3
3
0 ,)
3 3
"
1 "
"
+!; . 3
3
"
3 3 2' # +
. 3
3 -3 3 *
-3
3
3
) + 3 3 ! ' ; Y$ 3 3 5
5
3
3
C
3
,'
3
3
3
3
* 3
3 3 & 3 ! 3 4
* ) #GE !& 0 $ 0 + 4
3
3 3 ) 3 ,) 3 3 3
+!; . 3
3
. 3 3 ' ? 3
3
3
3
"
; . 3
3
. 3 3 ' ? 3
3
2 @ 3
! 3
& O 3
3 ! 3 #
; ;
8 3
0 ) 3
& 5Z [email protected] 1 9 7 3
) & 5Z ) 3
' ! 2 3 ; ' )
;) & ,
Q 3
)
T # 3
J
) 5
) . - " " & ' ) 1 " T A
L ) # * ; * 3 ; S A
3
L
& & ) ) & )
A
3 ) 5 A T Q ) 7 )
) % ) T J ) 0 ,
. 3
& ' ) 7 ) . & ' "
! ) $
3 7 )
* ;
#
% S A
% * 3 %
% % %
3
; A
% %
%
3
. 3 ! #
$ + 7 ) ' A
,
L * 3 ,
3
3 3
,
3 3 3 ,
& 3 3¼
3 ,
,
L * T
% 3 3
& 3
* 3 5 A
3 ,
)
3 %
3 - N
,
3 3 3 % ,
& ' + #
* 3 ) % % 3 )
?'
3
3 3
3 3 3 ,
& 3 3 ¼ T & &
3 ,
,
L * T
3
)
#
)
-
!'
G'
B'
3 N !'
3
"
H'
3 3 3
'
) '
% % 3 % 3 % % %
"
'
3 ) ''
##
8 ;; 9E I'
3
3
) ''
"
'
J' *
%
3 % 3 % 3 % ) '' %
%
3 )
%
'
* ) #I#
* ' % 3 % . % 3 A
L * + A
+
%
L * A % + ;) 3
3
3 % T *7 ;) & % 3 3 - )
) . ' ) ! ( ) 3 ; / S . 3
3 / 3 3 A
3
! ( 3
&
)
% ;) 5
. 3
& ' . # 3
& & ' 3 ; 7 ;) & ' A
3 3 3 3
3 3 " 3 / 3 % + ) & 5
) 1 ! ! 2 2 & ; * ;
#
3 ) ;) ) ;) )#,#$ 4' '/
' 0 3 ; @## !) G?$ ; 5 0 5
& ! ' * ' ; A
'
! 0
! ( ! (
( ( ( ' ' 0 * 5
0 3 [ ' 3 ; 5
. ) ) ) ! )
0 + 0 +
* ! +
+ 0 +
+ ) )
; ' A
0 ! +
+ !) )
* + 5
) 2 5
% + 0 3 ; + ( ) ( ) ; ' A
0 0 0 ! ' #"
;; 9E * 8 ; 0 ' S ; T 5
0 ' * ; + ; ;
1 S . * + 1 ' . 9 * 9 + * +
0 * 3 3
3 $ ; '
! 3
(
(
! 3
9 ; 3 3
) @#? !) G=$ ! $ A
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
! 3
1 3
7 * 3 3
9 * + ' 0 0 0 ! 7 0
$
2 A
+ + +
+
* ;
1 3
. 3 3 3 + ! +
!
3 #)
+ 3 ) ) 3 3
3 . 3
3 ! 3 0 + 0 +
* 3 3 +
)
)#,#" 2 .'
4) 7 ;5
) ) * ) J
' 7
C D & ' Q ;) @?!$
$
!$
@? L $
! $
* ) & ' '
) 2 ' 9 ' ) 3 $
8 ;; 9E T ! $ ( H %
) ! ;) @?! $$ ; U ;) & & ; ;) * 3 3
3 C D S A . 3
3
3
' ( ( *
A
) 3 ) 3 ; 3 C D
T
3
. & 0 ! $
* . 0 7 ;) - ; ; ;) ;) ) 3 3 3 3 % . " " 7 & ' . # 3 ;) ) 3
Q . & 3
3
;) ) # 5
3
3
3
3
. 3
. 3 A
$ $ ; 0 3
3
* ;
* $ 7 7 ' %
3 ) 9 7 ! ;) & 3
$ 50 ! 3
$ ! 3
7 ' * $ ; 7 7 % ) 7 ) 7 ' 7
* 5) ;) 3
$ ; ;) ) C
*
7
) 3
' '
3 3 3
3
+!; * L 3
L 3
L ' . 3 3 3 3 3 L
3 3 3 3
L 3
L ' . N& - # 3 3
3 3 3
;; 9E 3 3 3 3 3 3 8 N& - 3 ;) ) A
3 3 + ; 5 % ;5
;) & 3
) ) 4) 7 ) & * ;) @@ ) !$ ' ! $ +
) ;) ) 3
. 7 3
;) 3
) . ;) 3
; ) & '
3
A
3
L ) ;) 3
L 3
) & 3
&
$ $ " "" "# "
&
$ &
- " ;$ "# "
@@ L 4 $ ) &
* ;
( ! 3 # !) =$ *
A
+ 0 0 0 3 ) A
L ( '
2 5
) 5
2 !$ 9 7 . !$ + H !$ 2 Q L ( #
2 A
L ( 2 !0 5
$
L ( 2 & A ' 1 ' . . L ( #
* 5 * 5 2 5 9 7 0 3 6# !) #$
6 #
;; 9< )#3#$ %& + ' ' 617&8
+ ; ' ; 3 ) ;) 5
) [email protected] C ,&D 3 ) #@
2 ;) # * ;) & ) @G
* ) & ! &$ ;) @I
* ;
@G L 9
;) ) C(,&D
#
;; 9< @I L " &
C(,&D
* ;
)#3#" %& + '' ' 6 8
+ ) ;) ) C D ! @ ) #= $
* ;) # . . . . '
/ ' /
* ;) & ) @6 T A
' / / ' /
/ ! * )
) ' /'
/'
0 % * ) & ;) @= T Q ;) 5 "
;; 9< #
#
#
#
#
#
# #
#
#
#
# # # # # #
#
@6 L 9
3
. ' . . . . ' . . . ! / . ' . . . ! . . ' . . ! . ' . ' . . /
. . ' . . . . ' . . ! / . ' . ' . . /
. . . .
. / . / . . /
. / . . .
. ' . ' . . /
. . . . . . . . /
. ' / . . . ! / . ' . . . . ' . . . / . ' . . . ! . ' . ' . . /
. / . / . . /
. . / . . . / . / . . /
. / . / . . /
! . . / . . ! . . / . . /
. ' . ' . . /
. . / . . . . . . /
. / ! . . . ! / ! . . / . . ! . / . / . . /
. . . . /
. . . . /
. ' . ' . . /
. ! . . . ! . ' . ' . . /
. ! . . . ! / . ! . . . . ' . ' . . /
;) ) C D
* ;
))
A
<
@
)>
)A
)=
)?
)@
)
B
C
?
)
=
>
)+
+
@= L " &
)C
C D
)#3#, %& '
2 ? & ' 3 ) 7 ) 3 & ' 7 ) . "$
;; 9< * "!
@E L * ;) A
.
.
- ) . % `
)
. ;) ' A
3 ;) A
. .
; + ) ) & & ' 2 0 ' &
& '
* T * ) O 1 ) * * ;) @#> T ) & S + * ;
' "
@#> L (4 B ) . 7 3 )
3 ) ' * ;) A
* *
*
+ ) A
1 3
A
+ +
! "
/
;#; 5 ! + ) ' ) - V( E=W
5 ) V2EEW 2
) ) ) * 5 ;) ) 3 A 3 2 2) V( E=W * & ; ! $ ;) ) V([email protected]
& ' & )
) ) ! ) &' 7 $ & ' ' ;
. 7 7 ! ' $ ; V(=? 2=EW )
X V2OJ:EI : E6W
V*:E6
*>> *>>W
* ' ' . (& 2 2) V(&EW ! $ * ) 27 2 2)
V*+NEE *EEW ' * : 1 , 27
2) V*Z:E= (* EEW + ' ' ) VN4.>#W ' * '
& ' ) 7 3 ! 6$
* N& VNNZJEG NNEGW &' VNE? [email protected]
) ' * & & & ' ' (4
* ;
"
( ) 4 Z (/ V((4E6 (4ZE=W 1 0 V(Z>#W
5
1 3 5
;) ) )
"
;#; 5 !
"# $$ * H ) ; 9 7 0 ; !CD )$
; * ' ; & ' ; . VE?W
* ; 7 & ' 5
* '
; & 0 ; 1 A
L . & ' ' ' )
& L . % ! $
) & 9 7 ) ) ; ' 3 S ' 3 ! ; $
) ) & 3 )
* "
V(1+*.>#W
"#
;; 7 4
( 3#$#$ %&0
" % 3 A
L A % ! ) ;
;) $ L A ) 0 ; +
; T . 1 1 1 5 ) 6 7 4:
*
" '
" 2 3 ) #
$ 2
) # ' 1
) 5 '
4 ) #
$ 2
3
& #
# # ) & ) - ( ' 1 #
1
1
3 )
'
4 ) #
1 3
"
1
& #
C D'
1
# # 1 ) * ; ! ! "
3#$#" %(
* & )
5,) ; 2 T S ; ) % 3 S ; ' ) $ 5 0 ( T ) ( -( ;) 5 $ 6F 4 7 7 4:
*
$
$
$
2
$
3
$
2 3
#
'
'
5 ) '
5 ) '
3 & ) ) ;; ;
%? 7 3 & ) T 3 ( 7 ;) ;) # % : ( !: -( $ * ;) Q ' : ( A # : 3 : ( !
$ ;) ! $
3 ;) ) 5
) 1 S . 2 . ; )
;
8
)
;) ""
; ; 9 2 0 ( T ( 3 0 . 1 3 ) ( 3 ;; ;
F 7 1 U & - 7 ) ; ) 1 & ;
0 ; ' )
) ) ) & '
! 55 &
)$ * 3 ) & 1 ) 3 ) ' ! G$
) ! G?$
. ) 7 %
3 9 7 0 ; ) *! ! # 3 ! 2 & ' ! $ ' ! ; = ) GG$ * Q
) & & & ' Q
' 3 3 ) & 3
3
! $ ;
3 ! $ * ; ! ! ")
+ ; ) & C D S ; 3 ; ) &5
! $ ) # * ) $ ; ,$ +,$ 5 $ $ - ; 9 7 ;) G# !$ 1 G 3 &
5
3 ) & + ;) G# ! $
!$ ) ) & 3 ) & ]' * ' ) ! $ ) !$
#
#
#
! $?
#
?
#
!$ P
!$ @
G# L O
3 S ! ) #$ & 3#"#$ 9 3
!
$
)$
; ; &
#
#
#
#
G L 1
; ;;
. 7 3
3 *
& 5
7 # # # T # 3
1 5
& & 9E . " " & ' . 7 & '
3 3 3 7
0 % + *
" " ' *
# # # # ) # 3 " 3 ,
& ) % ' 7 3 3 % 3
% %
+!;
* 3 3 % 3
) G 3 % 3 7 . # 3 ;) ) 3 ;) ! ) $ 73
% * 3
7 !$ 3
7 3 3 % 3 S ) + #
' * 7 ) # 3 E % '
*
" " * ; ! ! * $ $
3 % 3 #
0 )
3 )
)
3 7 +!; * L + 7 ! ) $ 73
3
% 3
3
3
3
;) Æ ! $ $ + 3
7 Æ 73 L . 7 Æ 3
3 ) 7 7 3
3
+ $ A 7 3
A
7 3 7 3 %
3 %
3 % 3
3 3 9 ; ;) A
7 Æ 6 #
* $ $ % ) 1 - ; 3 !1 6$
* $ * $ ;) $ 7 $
$ 7 & 0 ! ! )
; ; ; ;;
4 3 7
) 1 - 7 ;) & # 3
55 7 # I 3
7 T % 3 ) 7 ' ! $
3 A
+ *
' *
7
" " ' $ $
' ( 7 4 3 ) E , - 5 ) 7 ' 5' ) ;) ) - 7 0 0 1 6 0 3 ) 3 ! $ 3 ' 3
3 A
0 + +
+ 3
3 ' 5
T3
* ! 7 $ .
+ ' 5
& ) & ! ; ) =6$ A 7 7 A
7 -
+ 6 5
' 7 * ; ! ! )
0 ) ;) 3
A
3#"#" 9 '0
3 5 2 ; 1 ;) - 3 5
3 3 5 $ $
¼
& $ ;) # ' ; ; ;
* ( 8 E 3 S $ & A 5
7 ;) # 3
$ 7 7 ) `
;) & 7 ! ' ;) [email protected]$
& 7 * L * ' 5 ;) & 7 ;) L * 5 ! $ 5 1 5 % 5 9 7 5 + S $ 5 $ ;) & 3 $ 0
) 0 $ 9 ) ;) G?
A 5
) ? ;) 7 ? ; $
)
; ; #
#
#
#
#
&
&
#
#
#
#
)
)
#
#
#
#
&
#
#
&
#
#
)
G? L 27 #
)
2 ' % 0 ;) 5
& 7 # ) # ) ) # 7 $ ;) # # ! ! & $ 7 . # ;5
) ) 7 5 $ 3 $$ # 5 $ 7 # ;) ! )$ ;) $$ # ) 7
+ $ 7 ;) # 7 %
$$ # ;) ) $$ # 7
# 2 ;) G? $ ;) [email protected]
)) #
#
&
#
#
#
)) # &
*
)) #
*
#
$
$
[email protected] L 1
C
#
( $
7 $
#
#
&
#
# # #
*
& ( & , "D "$$
$
'
+!; * $ O 7 ' $ A
$ Æ $$ # Æ Æ
! $$ # Æ * ; ! ! )
T $$ # 7 5 # ! 7 5 ) $ $
* ) # 5
5 A $ 0 . 7 5
7 !$ 9 0 7 $ 55 % 0 ' A . 5 $$ # 7 7 ! I 3 $ 3 7 5
$$ # 5 ! ! T ! 5 $ 3 ! 0 1 5 ! ) S 5
$$ # - ;) # # # ! ;) [email protected]$ A
L # ;) 5 ;) # $ L # ;) 5 ;) # $ + 7 7 5 8 * I 7 A
+ "
% 3
* 3
$ $
3 $ 3 7 3 $ $ # 1 7 C ` D 7 C ` D & ' & ( ! $ ) ! 0 ) $
)#
; ; 2 7 C ` D $ ) ! $5 7 5
7
0 A
6 #
$ "
T 3 ) 5 9 ) 7
* 0 & )
& '
; ; ;
* ( 8 4 3 &5
) 3 , ) 3 7 ;)
! & ) $
0 ! ' # 7 0 & ' 1 % A
# 1 ! + +
#
3
7 & , * ' + + 5 7 & 3 ; 5
* $$ # ' 5
9 7 ' ' % 0 ! + + + ! 7 & +
* ;) $$ # ? * $$ # ! + + + ! 7 & +
2 & ' $
0 ;5
* ; ! ! )
+ $ A
+ )
*
$
? '
' * # 3
(E ' $ 3
4 4 3
. % $ 3 1 3 5
)R 5
; ; ;
*
( 8 E 1 $ & 5
3 $ ;) # 3
$ 5
$ ) ;) GG ) 7 7 7 & 7 $ $ &
0 ) 0 $ T 5 # $ 2 5 ) # + 5
! $ 3 7 +& 7 5
7 $ 3 ;) GG & 7 $ 1 7 $ + 7 & 5 $$ 7 7 $ $ $ $ 5 A
$ $ $$ 7 7 $ 9; $ ) # $ $ ;) 5 $$ 7 ;) )"
; ; #
$" * )
$" * )
GG L 1
C
$
* $ $ ' 7 ' * $
*7
#
$
$
5 '
$
$ $$ 7 $$ 7 - 7 $ 7 A 7 & ! $ 7 2 5 $$ 7 $ = 7 9 5
5 5 7 ! $ F 5 5
7 3 ; 5 7 $ ;
7 J
0 5 7 1 7
$ $ 9
7 7 A
$$ 7 $$ 7 7 7 7 A
T & 7 7 7 3 3 )
7 5 $$ 7 0 A
* ; $
! ! 1 ) *7
+ $
*
$
' *
))
$
,$ # 3 #
$ 0 $ 5 '
$ 7 $ ) E )
$$ 7 )
; ; ;
*
3
$ $
' ( E '
3 $ ( 8 4 3 & & 3 & '
#>
$ ; 5 50 + *
$
$ $ ) #
?>)
$
) $ $ $ ) $ #
4 4 # 3
# ! 3#"#, 0
& ) ! ;) G? !$$
$$
; ; * ; 8 7 ' ? 8 *
7 8 ' ? 8 8 ?7
8
* * ,
+ ' '
$
' ?7
( D)
'
?
'
$
* * 8 ' '
'
! $ & ' !$ +) GI L ; A * V2"">> 1.>#W ) ) 5 9 5
& ! 8 $ ! $ ) 5
; 1 ) * 50 8 9 ) '
* ;
. ; A
' * ; 3
! * $ A
* ; ; 3 ) * ) * ) * *
0 * ; ! ! $
9 ) ;) ) ) & ; ;) G6 ;) G#
4) ; ) ) & 3 ) A
L * 9 G ) 8 L * S # # ' ; 9 # + '
! & ' $ 1 ; # !
$
#
# # #
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
G6 L " &
9 * * 8 $ $ *
;) ! 6 ) E$ ;) # ! * 7 $ A
; + 8 !
+
8 ; ; +
8 ' $
#
#
#
#
#
#
#
#
#
#
#
#
# # ; ; G# L 1
5 5#
5 5#
5 5#
5 5#
5 5#
5 5#
5 5#
5 5#
5 5#
5 5
5 5
5 5
;) &
2(
) G6
*
8
;
>
; ;
; ; ' ; c c
>
; c? ; ; c c
; c c
; c c ; c 5 ; c c#
>
; c c#
; c c#
; c c# ; c 5 5#
; c c
>
; ; ; c c
; c c
; c c ; c 5 ; c cG
>
; c cG
; c cG
; c cG ; c 5 c ?
1 ;) # 3 0 ' ; ) #
9 5
S );) # * # * 8 1 $ $ 3 7 ! $ 3 ; ; 5
;) ' 5 !0 0 5 ; 5 $
- & ; 5 2 0
5 ' ) * ; A
; *
; * ; ' 1 ) 3 ) ; * ; ! ! $
) *! ! # 3 , .
4 ! + T & ' ) 7 ! $ % 9 7 ) )
A
/
/
3 / 3 &
& ' ! ) )$ 9 7 ) 7
* & ' ) * * ;) G=
' Q $
G= L * S & A
. A
* A
* A
6 $
;; 5 + * +
+* +
* + 1 9 7 ) ! $ ' A
%
* ! ) + * +
* +
+* +
* 1 ! ; % ; ' A
L 2 V1.># .>>W ; 5
5,) ) ) L 2 V(*.>>W & % ' ' ; 5
% % ' 2 ) '
7 2 ; & ) V I6 E#W 1 ) ;) ) 5 2 ) V2"">> 1.>#W 1 ' ) 3 5
) & & ) 1 7 9 7 ) & ' ) % 5
& 7 1 ! $ + * ; ! ! $
` 5
' ; ) $#
;; 5 %
# $ 3 5
; 1 5 ) '
3 ; ) ' !.49 A . 4) 5
9 $ .49 7 .49 7 /
" ..
5 602 > 7
*
:
* '
* * ! ' *
8 *
9< ( ( P
( ( ( ( ( P
& 5[ ( 7 A
0
( ( (
( ( (
(
( (
( ( (
( ( (
( 0
( (
+ ( 5 '
$
(
$" #; ; 9< & 0
+!;
- U
&
5 602 > *
( 0&9 60
' *
8
*
*
:
!
+ & 9< :
;
'
*
9< (
L
( (( P
O ^ ((( ((((
+ *
+ +
( 5 O? ''
5 5 6C ? 4:
*
' *
*
* P'
'
== ! '
) *
'
/ 5 . " 5 $ 5%
. &
+ ; 9 4) ' . % )) ) . ; ; ) ' ))
) ' A
B (
L ) ' )) ; L . ) ' ! ! ! $
L . ) ' ! L ) ' < 5
3 ; 9 4) ' . 1 5
0 5 69< & 0
*
'
$ < 7
#
8 0&9:
* #;
! $ * $ * $ 2) " '
" 2 ' 3 + '
# ))
) " ' 7 < '
5 ! ' 3 $ $)
'
) '
3 &
& ' 7 .49
J
; .49
* .49 C D .49 T ) * U ) .49 . .49 ) ' :#"#$ ' ' 0' 2 ; .49 3 .49 & !
1 S .49 C
"
' * ! '
*
' *
! ) ; ! ) * . 3 ; * * * + * ; S .
2 * . * +!; 3
; !
A
2 ! ! ( ( ( ( ( ( - ; 0 C
)
( 5 '
$
H #;;
+!;
9 7 2 ! ! 2 2 ! ; A
L ! ! L 2 ! L ! ! C
$
( *6; 5 * :#"#"
3
'
' ' ' 0' ; 9 7 ( ( 0 ))
2
5 6+ :
3
! 4
' 2
3
!
! )
) 5 '
; 5 .49
5 # 69< & 0 :
*6; C
! &
'
2 0 ' ) ' !
$
C
4
*6;
' 2
)
5 '
/ ' ! 6 4) 7 & ' ; ! P < P$ + )) ;
)) * @
A
* #;
#
?
@
! * * * 2 * 2
C
4
2
*6;
)
" ) *6;) 5 ) '
" 4) 5
L 2
L L 2 2 !)) $
L 2
L +!; . 2
.49 + ) 7 ; 3 ; ; ; " / 1 ! ! 6 3 !) #$ ;) ) & ' ; ; ; + 0 ; . ;) 2 ; 3 ; + 2+ 2 + 2 3 ; )) + 3 Q
' . ; #;; 9E H 7 .49 ! $ 2
#@ .49 .49 0 .49 9 7 C D ' T
.49 + 7
) ' A 5 ' 7
& & ! 2 5 & 5
. )) ) ; 3 + ! $
5 !
$ . $ C
4
#
$ '
$ '
2 5 ' 1
'
+!;
. < ( ( ) & * G 2 0 ;
2 ? @ 0 ; ; 2 ' # . $ 3 L . ( ( L . A ' ! ) $ < ( ( - ' 0 % )
+ ) 7 ) ( ( * #;
! $ ^ !
( ( - * ) ; 0 ' 3 + * 2 % ; + 9 U ; ; + ) 7
( ( * ) ' 0 1 T ; ! ' ; $
? $ ^ !
( ; ) ' 5' 3 ! $ U 5 A
( (( ( 1 [ * * * * * * @ $ ^ - % ' '
- ; ' ; ; ' ; 50
G # ? @ 2 0 ' ; ) 2 T .49 ! $ #;; 9E H 2 ; ) ; ; 0 ; ; .
0 ; ; #@
6 #
( 9 ! II$ ; & ' A & ' & ' 8 ; & ' ! ) ) $
! ( %% V( >#W$ - ) 7 ; ;
* & ' 1 Q ; ;) I#
* ; ( * ; 2
I# L A '
* ;) I ;) ) 3 ( ) ' 2 (2 ( (2 (2 (2
* #;
"
! I L A ;) 9 ; * 5
)) ; ' ( ( 3 1 ; 2 ' A
7 T
) ' + ' 4) ) 7
7
((( (( ((
((( (( (
7
(((
9 ! $ % - ! ($ 7 1 & ;) I 7 1 ( + )) ; ' ; ) ; & '
/ - ! . , #( + ; ; 5
) 7 3 ) [email protected] * ;) # 2 2 * ;) 5
) 5 ) & ;) I?
#
#;#; 5 ; +
+
+ +
+
+
+
+
+ +
+
; I? L " &
//
! - ; & ' ;
2 ' ) L V=6W 5
;) ) ; ) ) U 5
* #;
! L 2 V EIW , & & 5
) ' .49 2
;) ) % L ( ) " V("EI ("ZZE6W ; ! F22 A F 2 2)$ ; 5
2 V("ZZE6W 7 & ' ; 5
. ; 7
F22 1 H & 7 ; 2
V("ZZE6W ' 5
L ; 1F22 !C F22D$ ; 1 ( %% N V(NE6 N E=W
L . , ) ' !5
.*49$ V. >> -.>>W * .*49 5
)) F22 1F22 9 & & ' ;
L 2 & ' & & ' C 5
, )D & ; V1EE +((>#W * ;) ) 7 O & & ' ; )
) V1 EI 1E=W
3 & & ' & ; ) ) 7 ; )R ) ; 7 .49 & ' ; 7 )
J
F22 1F22 0 4 & 4 .*49 3 .49 ) & 9 .49 & + F22
! $ 1F22 & 9; ' ) 5
' [ ;
1 % [ ' ) 5
& & '
"
#;#; 5 &
' ( #
* ) & C - 6 0 *D 1
& & ' & 7 ' ! $ 3 & ' & ' ) & ' ; & '
; 3 S 9 7 S 5 ; V++( EEW * )) )) V( " EE ( " EE W )) .2*
* ; * ) & ;) ) 0 V "X EIW
V(*OE=W "R 1+2 ; H ) & ;
* ;) ) & 3 3 & S ) ; 7 ' !, ! 58
3
;#$#$ * ;) 6# )
$
;;
SDL
SDL2IF
Modèle
Contraintes
initiales
Configuration
initiale
Observeur
6# L TReX
Analyse
symbolique
%&'
Graphe
symbolique
fini
CADP
Configurations
atteignables
InVeST
verification
on−the−fly
oui/non
) & ' ' * & ' - ! 6#$ 1 &
& ' .2* !)) & '
$ * Q ;) ) & ' 0 -.J 2 ) & ; & ' 5,) ; 1+2
.-3 ; H ) ;
+ ' ' - 5
3 ;) ' 5
[ & ' & 3 & H ; & ' - 1# !) #I6$
3 ; ;#$#" * ;) 6 * 5
) 9 7 ) 1 ' ) 1 ) 6#
9; ) ) *) ; * ; %&' ( TReX
Algorithmes
Modèle
If
atteignabilité
techniques
symbolique extrapolation
[for|back]ward
Contraintes
initiales
Configuration
initiale
Structures de données
Constrained PDBM
FOAF
SRE
Observeur
If
Graphe
symbolique
fini
Configurations
atteignables
verification
on−the−fly
oui/non
Procédures de décision
FOAF
Redlog
6 L 7
3
Omega
! !
& 1cc GI?>> ) ;#"#$ * <' .
* ' & ) ; 1 - ' - ) 5 ) ! 1 ) #IE$
* - ' ' A
L * ) & ; & ' 1 ; & & '
L 3 ' & ' % ! $ 7 ' ) 0 & ' & + & &
) - ' &
& ' ! 55 [ & & '$ ; ; 5 7 ' ;#"#" 4' '
8 9 7 ' 5
A
L 1 3 ; 2 5
9 7 ) T !5
5$ ' ) ! 3 0 ' ; & 5 3 ;5
7 5 L *) ) 5
& 5Z ) H ' )R ' H 5
' ) A 3 5 ; ; ;
& 7
J
2 7 VJEIW VNEEW * 2 [ ' - ;
; * * ; %&' ( - 1 ! .) $ 2 ; !) 5
`,$ ' H 5
; A 5 1 ! &
(4$ A
$ *.
*. ' $
+ $ ' ' $ ' T + ' $ *. . ; *. ! $ ! ! ! 55 *. ' $ $ + 1 !*. ' $
A
+ + ' + ' ' $
1 ' 5 + & 5 ) 5
5 5 `, 1 ) 3 5 `, 5
5 ) + ' + 1 9 ) 5 ) ) ! 0 5$ 5
! 6?$
; ; 5 ; ; ;
*) ) 5
& 5Z 2 ) 5
3 ; ; ! ; 6 )
[email protected]$
3 ; ' &\3 ; . 3 2 ; 3 ) 9 7 ) ) 3 ; 3 ) !) #6#$
. ' ) 9 7 & ! ' 6 #
. H ) & H % ! + 0 ? $ % )R ' ! ?$ ' 5 ! T ( ' $ #6 (
; ; ;
I ' 5
+' & 7 0 7 5
) ' 0 55 * ; %&' ( %
+ 3 3 3
3
'
3
3 5 3 3
) 3
3 #
* 3
#
3 3
3 3 ) 3 3 % . ) % . 7 3 )
9 3 3 T ' & 3 H ' ;) & 1 3 % ) )
! ;) 6?$ 3 ) ) .
#
;; & ? "$"" " ( #$ 2 "9 "$
+ + + + )
"-#" 2 " $ "$
#$ 2 " $ "$ #$ 2 #$ 2
% 'E #" " " "$ "$ E'
( %% F999G
#$ $ 2$ #$ 2 % %- .0$%- %/ %/( ( 'E #" " " "$ E'
( % %- .0$%- ( ( %-
6? L +)
)
7 5 9 !
) 3 & ' ! ) , $ & ' ) !) 5
C D$
; ! $
. % ' 3 A
L A L A ) L A ; O O 5 . . G #>@ * * ; %&' ( ;#,#$ 1 0 V=EW 1 Q )
1 & ' - ! ) $ * ;) [email protected] g = 1, c = 1, a = 0
c = g /\ g > 1 /
g := g+1
c = g /\ g< N /
g := g+1
a=2/
a := 0, c := c−1
c > g / a := 2
c < g / a := 1
a=0/
a=1/
a := 0, c := c+1
#
[email protected] L ' * ) ) * , ) T * +
Q 1 0 A
L Q A 0 #
L 2 A 0 #
1 ) 0 % 5
Q ) * Q 9 ! )
$ , ! ) $ % ) 9 ) * ) ' 4 1 & 4
) ' * 6# 7 A
"
;; & ? 6# L . 3
?
@
G
I
6
=
E
#>
#>>
#>>>
#>>>>
3
(
. J J J =#
>##
=
G
>
>#
=#
>>
#G
I=
@==# #?E?
=#
>@
6
G?G #@EE
=#
>@?
E
6
G>@ #G#>
=
>GI
?I
6
GI> #@I#
=
>6#
@?
6
GG= #GG6
=
#E
G>
6
GE6 #@[email protected]
=
#>=
G6
6
G?= #G#?
=
#G
[email protected]
6
G#EI #G??
##? =?I
[email protected]
6
GEI #GI
'
6
G?#G #GI6
6
G?
#GE
5
5
5
6
I#@@ #6>G
5
5
5
I
#@E# [email protected]?
6 L . 3
?
@
G
I
6
=
E
#>
#>>
#>>>
#>>>>
3
(
=
=
=
=
=
=
=
=
=
=
=
=
=?
=#
J >
IG#
EEE
E>I
=E
E>G
[email protected]
=6=
=6?
=E
E>I
[email protected]
[email protected]
@?6
J >#@
@@
@#E
EG
[email protected]
EI
?##
?>#
?#@
?>6
?#>
?>G
?IG
>@
J
>#@
=EG
#@#=
#>#
##=I
#>#
##=G
##6E
##=6
##EE
##I
##=E
#?##
[email protected]#
!#$
J
>#
[email protected]
[email protected]
I6#@
I6#
I=#G
I6E#
I6G#
I6E
I=G=
I=6
I=E
[email protected]
>[email protected]
!$
=
=
=
=
=
=
=
=
=
=
=
=
E
6
3 & ) + ' 4
! ' )
$ & ) 1 #? E ;) #> ) ! $ =? [email protected] ;) * ; %&' ( )
;#,#" 0' ' 617&8
1 ) 0 V+ E# ("EEW
3 ) )
@G# !) [email protected]$ & ' ! $ * ;) 6G 6G L C(,&D
* & 6? ?? ;) O) 6? L . &
C(,&D J J J
[email protected] =G ?> #>=
6I ##EE ?>= #G>6
3 & ' ; ' ) ' & ' 2 O) & * ;) ! T $ A
[email protected] L . ) C(,&D '
J J J
[email protected]
>>=
>#>
>#=
E
?
[email protected]
>=>
>@>
#>
G
@
6I
@@I
@
I==
6G
$
;; & ? 2 ) ' & - U 7 ! ! ;) ) 3 ; ;) ;#,#, 0' ' 7
*) , & ) V+ E# ("EEW 2 ) , ' Q A % ! , $ ' & 1 , ! T $ , - 50 55
, ) & 9 T 2 !
& $ A
L $ $ T 7 & $ 7 ! $
L % T
L , #
L , L % L J & ' * ;) 6I 0 '
0 '
% %
% 0 '
6I L * J,
1 & '
5
* ; %&' ( 6G L . ! $
[email protected]$
?!G$
[email protected]
!Y$
J 6IG
J @>6
J
##6
) , !#$
=E
=E6
J G#E
#>G6??
J I?
I>[email protected]@=
J
##@
6>E#=#
!Y$ @ "
3 ?=
#E
; '
;) 2 & ' ;) ! T $ A
%
6I L . ! $
[email protected]$
?!G$
@!I$
6I
EI
??G
J G?#
6E?
=G6E
) J >E>
#=I>
I=6E
J
I#
E#G?
=E?G>@
, '
#>
E
[email protected]
3 ; ;) ) 2 ' ;) ;#,#) 0' ' 6 8
- ) C D V*&EIW
3 @ !) 66$ 3 ' ) ' * ;) 66 ;; & ? 66 L . ?
@
!YY$
!YY$
!YY$
?
=G
66 L C
J D A J J
) C D !#$
J J 1 + / 5
5
5
6=
>
>#=
5
5
5
E#
>
[email protected]#
5
5
5
#>@
>
E?G6I
+ ' / / ' >G @G? @6=
[email protected]
>
##?
#>I IG# #=#@?
+ ' / ' !& '$
6E
>
GE>
J
>#=
[email protected]#
E?G6I
##?
@[email protected]
GE>
!YY$ 9 6= L . ) C D !$
J J J
1 + / 5
5
5
5
E
?
5
5
5
5
6E
@
5
5
5
5
@>I?
+ ' / / ' [email protected]
>
>=6
>=6
?E
?
#>I
>
#6>= #6>=
?IE
+ ' / ' !& '$
6E
>
@@#
@@#
I#
' & * ; %&' ( ; 3 & ! * "( $ @
' / / ' ; *& =>> [email protected] 3
'
& ;) 5
6E L . ) C D '
J J J
J J J
/ G6
>
>#>
>#>
5
5
5
5
#
?
G6
>
>#
>#
5
5
5
5
#E
@
G6
>
>G
>G
5
5
5
5
E
'/ /'
[email protected]
>
>@>
>@>
6G
>
>?>
>?>
#
?
6G
>
>6G
>6G
6G
>
>GE
>GE
#E
@
6G
>
#@=
#@=
6G
>
#?>
#?>
E
' /'
=
#E
E?
@=G
=
#[email protected]
E
@#?
?
?
!Y$
d#= "
!Y$ 3
3 ; T ' T ' / ;) ) ;) ' ' / ;) ;) Q ! $ ' A ' ! / !
/ / ' ;#,#3 2''' ' 1' = > ? 12
=1' ' 2'''>
3 & & ' ) ! @G? ) 6E$
* ;) 6= ) 3 ) *
;; & ? ) )
' 6= L 2 (4
& ' (45 5 5 T
-3 ' -4 ' 3 & & ' )' ' 3
6#> L . (45#>5#5#>
(45>5#5>
(45?>5#5?>
([email protected]>5#[email protected]>
(455#5#>
(455#5>
(455#5?>
(455#[email protected]>
(455 5#>
(455 5>
(455 5?>
(455 [email protected]>
(45#>5 5
(455 5
I
I
II
I
[email protected]
[email protected]
[email protected]
IG
#>?
##G
##G
#?
E
5
J @?I
@G
@G>
@G?
#@==
#G
#GI
#G?
[email protected]#>
=#>E
#>I==
G??>
6=??
!YY$
!YY$ ) J >@6
>@#
>@@
>@
#E
#[email protected]
#
>
6G>
[email protected]
?G=I
@@?>
#>?>
5
J
@=?
@II
@[email protected]
@EG
#I=>
#6#I
#[email protected]
#6G
E#I>
##6GI
#@[email protected]
E6I>
==I?
5
(4 !#$
E
=6
=6
=6
E?
E?
E?
E?
#>
##
#>E
#>@
6G
E6
J >G6
>G6
>GE
>GI
#6
#I=
#6>
#6#
#66I
E?
#@##
?I>
#=6G
#>@
J ?>6
?#@
?>=
?>I
I6
I#E
[email protected]
I=
@@=6
GIE#
?=6>
@EG#
IIG6
@?6
J
[email protected]
?6#
?I6
?I
6=E
6=6
[email protected]
6EE
II?
=I?
G=#
6?##
=G?
GG6I
* ; %&' ( 6## L . (45#>5#5#>
(45>5#5>
(45?>5#5?>
([email protected]>5#[email protected]>
(455#5#>
(455#5>
(455#5?>
(455#[email protected]>
(455 5#>
(455 5>
(455 5?>
(455 [email protected]>
(45#>5 5
(455 5
5
5
5
5
5
5
5
5
#>
#>
#>
#>
=
E=
J J J
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
##6 I=G6
[email protected]
#= I=#
[email protected]
>EG I66>
==IG
#I6 I=#E
=E=I
#I6E #[email protected]>I #6>=G
#@E? EI?
@@GI
(4 !$
G
G
G
G
G
G
G
G
#@
#@
#@
#@
#G
6
3
(455
* ,) ' &
' 5& ;#,#: 2''' ' 4' ? 1' 5
' 2'''
3
@@ !) ?$
;#,#; 4' ' ''
3 & & ' ; ? !) ?G$
*& >?> GE >?#
[email protected] * 0 ; ) .49 3 ;) ) 6E * ) & T ) & ;) 6#>
#
;; & ? \
\
\1\
\1\
\
\
\1\
\1\
\1\
\
\
\
\1+
\1+
\1+
\1+
\1+
\1+
\
\1\
\1\
\1\
\1+
\1+
\1+
\
\1\ \1+
\1\ \1+
\1\ \1+
\1\ \
\1\ \
\1\ \
\ \
\ \1+
\ \1+
\ \1+
\ \
6E L 9
( 5
2
2
+
+
++
+
+
+
+
++
+ + 2
2
2
2
+
++
+ ++
+ ;) ) 2
2
2
+
+
++
+
+
++
+
+ + +
+
+ + +
2
+
2
+
+
+
+
(4 !; $
* ; %&' ( %
6#> L " &
(4 !; $
+ ;) ) ' 1 ' ; ;#,#@ 4' ' & ' & ' ; ) & T )
; & 3 ) ) ) 3 & & ' 4 ! ' ) ; $
* ' ;) 6## 6#
"
;; & ? $0 - %
$02#
$0."10
1
"101
$2
1
% /$ $0."10/
1
"101
$0$2
$2/
%
%
$0."10#
"101
"101
$2#
6## L (4 B ( 3 ( 3 ! 3 (3
(3 +
! 3 (3
(3 +
! 3 (3
(3 )\) ! (
( (
(
) 3
* ; %&' ( '
' '
- ."+
'
' - '
.3#
' - '
' ' '
' ' ' ' % % 2#
'
- ' '
'
'
% ' ' % ' .")
'
- ' )
- 6# L (4 B 7 - :! + !;
& ' ' 3 ; ) $
)
;#)#$ * ' ''
*
5' 3 ) J
& & '
! ; 0 ;$ ) ; 3 & ' *
L
A
!
2 1,)$ V2 2EE 2>>W ; 5
" 2` & ; H & ' $
;; * ! *) ) )5
) !1* A 1 * ) ))$ * ! & ' &$ ) ) * ; ' 1 ' 5
& ' Q K . S & ;) A 5 2 ) * ! ;) $ 5 - ! 5
% 7 $ * ' * ; .
& 0 A
L
!
L
V:XJ(># (
*') + 5 .& N $ VW & & ' & ' ; * 322 !3 2 2) V( E=W$
; !5 $ F22 !F 2 2) V("EI ("ZZE6W$ V([email protected] 5
2 ;) ; - ' ! ; 7 $
7 3225 ! $ * ) ' 4 Q
T ) T ) . ' ; ! $ ' & '
0 7 A 3225 >>W ; & ' 5
1
7 5
& (22 ) &' ) * ; %&' ( ) 1 5 ) - ' * ' 5 !
C(,&D T ?I$ T & ) ; ' G>>
3 '
- ' 5
' *
L
L
) A
! V*:E6 *>> *>>W Z : X * 5
1
& & ' ' * 5
& & ' - 5
;) ) 3 & & '
; ) * 122 !1 2 2)$ V*Z:E= (* EEW
! VN4.>#W B B
; & ' 1
& ' e*K + e * & ' & & '
T ) ' * ! '
T ' - ) ' ) ' )
! - ' 2 & & ' ' VN4.>#W 7 ' 9; & ) 2 "# V2OJ:EI : E6W ; & ' 5
) . : . J, X & & ' ' * ) 7 !2( A 27
( $ V2JE=W ! 5
$ ) * @ ' T ;) ) ; * ;) ;; * ! L
5 $% VNNEG NNZJEG +NNEIW & * & T ' * &' -
& '
& 5 ) $% ) & A
5># !5?#[email protected] "# [email protected]@ $%5#>@
' 5>=
;#)#" * '' '
3 S * ) !Y$
& 6# L 1
9
+ !Y$
+
+? !Y$
+?
[email protected]!Y$
[email protected]
+G!Y$
+G
+I!Y$
+I
+6!Y$
+6
+=!Y$
+=
+E!Y$
+E
+#>!Y$
+#>
+#>>!Y$
+#>>
+#>>>!Y$
+#>>>
+#>>>>
!#$
J
J
+ !4 $
=#
>##
#@
>G#
=
>#@
>#>
#EG
=#
>>
#@
>6?
=
=EG
>#>
##
=#
>@
#@
>EI
=
#@#=
>##
@
=#
>@?
#@
#6
=
#>#
>##
G=
=
>GI
#@
#@=
=
##=I
>#
IE
=
>6#
#@
#=?
=
#>#
>#=
=E
=
>E
#@
>=
=
##=G
>#
?6
=
#>=
#@
?E
=
##6E
>?
??=
=
#G
#@
IE
=
##=6
>@
[email protected]
##? =?I
#I
@?
=
##EE
>G6
I6
?=
[email protected]
=
##I
>=G
[email protected]#
=
##=E
##6
#?G#
1 = @ @ @ @ [email protected] * ; %&' ( 6#? L 1
9
+3
+(
J,
J,?
(,
(,?
!$
J
J
1 + !4 $
=?
#?##
&
=#
[email protected]#
>@
=G
J,
=E
##@
#E
#??
= =E6 6>E#=#
#@@ ??E>6
# C(,&D
6I
#G>6
>##
?6
!YY$
!YY$ * ' &
0 1 & & 5
2 + 3 H ) )
& Q ;) 2 5 9
+
6#@ L 1
J
(,
(,?
(,@
[email protected]
[email protected]
[email protected]
>#=
#>
I==
=I
=I
=I
J,
J,?
J,@
6I
EI
??G
I#
E#G?
=E?G>@
=I
=I
E?
'
J
C(,&D
>
>#
??
J,
>6
EGI
??6E##
1 .+
.+
.+
+
+
+
J
1 E=
#@#
>=
#>
G?>
#@G
.+
.+
.+
##E
#E
?=I
#E
@
[email protected]
+
+
+
C(,&D ! $ 0 ) , & 0
5 &
& & '
% ) ;; * ! 5 , ;#)#, * '' ''
4) S ) C D
9
6#G L 1
5##56
?5##56
@5##56
5Jd2
?5Jd2
5J52
6=
E#
#>@
[email protected]
#>I
6E
5##56
?5##56
@5##56
5Jd2
?5Jd2
@5Jd2
5J52
G6
G6
G6
6G
6G
6G
=
J
!
3
)
"# J C D >#=
#
>
#@
[email protected]#
#
>
#=
E?G6I
#
>G
?#
>=6
5
5
5
#6>=
5
5
5
@@#
P!Y$
5
C D '
>#>
#@
>#
#I
>G
E
>?>
5
5
5
>GE
5
5
5
#?>
5
5
5
@#?
5
5
$%
J
J
>>
>?
>6G
5
5
5
GE
I6
#@GE
G=
EI
G=
>#6
#G6
#?=G#
>G
6E
>@>
>
>>
>G
5
5
5
5
GE
IG
G
GE
=
I>
E
>>E
>=G
##I6
>=
#[email protected]
[email protected]>
>?
!Y$ * ' VN4.>#W * ; V+*E# +NE? JE=W T ' ) 2 ) & ! $%$ ` 3 ) 3 ) 7 & & '
* 6#I &
) 9 7 ' )
* ; %&' ( 6#I L 1
9
(45#>5#5#>
(45>5#5>
(45?>5#5?>
([email protected]>5#[email protected]>
(455#5#>
(455#5>
(455#5?>
(455#[email protected]>
(455J#5#>
(455J#5>
(455J#5?>
(455J#[email protected]>
(45#>5J#5J
(455J#5J
E
=6
=6
=6
E?
E?
E?
E?
#>
##
#>E
#>@
6G
E=
!
)
J
J
2 (4
[email protected]
#
>
?6#
#
>
?I6
#
>?
?I
#
>?
6=E
5
5
6=6
5
5
[email protected]
5
5
6EE
5
5
II?
5
5
=I?
5
5
G=#
5
5
6?##
5
5
=G?
5
5
@@GI
5
5
"# $%
J
J
#G
#G
#G
#I
5
5
5
5
5
5
5
5
5
5
>#
>?G
>?I
>[email protected]
5
5
5
5
5
5
5
5
5
5
G6
G6
G6
G6
G=
G=
GE
GE
5
5
5
5
5
5
>#E
>@
>?#
>@#
>@
>@G
>=>
#>E
5
5
5
5
5
5
;#)#) 9''
* 6#6 & 5
3 & ) ; 2 &
& ' ' 6#6 L 4
3 !
& !
"# $%
1 !
!
!
5
$
$
N 5
5
5
5
5
5
$
+&
+ +'
5
5
5
5
5
+
39
9
39
5
5
5
5
9
*
*
*
5
*
5
*
3*
9 & ' 5
) ' ) & & ' ) - ! #
;; * ! Q$ & ' % &
)
& 4 2 ) ) 1 ) ; ! )$ 0 ) S ) &
) ! 0 ;
$ K ! & $ ) ! S ) &$ 2 & ' ' ! ;$
3 ' ; ; ! & '$ ; ) ' *
& 5
& ' ; ; & ' * ' 5
0 ; 9 7 & ' ; ; ; ! $ - ' ; ; ' ; ;
& & ' !$ & & ' * ' & 5
' ' +&
' ;) & ' % ; 5
"
! )$ ' ! $ ' 3 ; 5
;) ) & ' 2 Q 1
0 ' ) ; ( &
; ) C4
1 -999 #[email protected]
+ !
2 5
J
3 ; K
U ' 3 ' ! 0 $ * ; CD & ; 2 ' 5
222
122 0 ' ' T 0 7 ' ! 5
' & ' ' $ - '
H % 9 7 V".E X E6 XE= +(3EE 3>> (3J>> (J>#W '
; & ' ' ! $ 1 ' 7 ; VX E6 (3J>>W & & ' ) ! $
' & 5
' 9 ) & ) 9 7 0 ; [ - ' ' * V++( EEW +
+ + . ( + ( %% N : *, ; ; 5 & & ) & & - ?? 1 0 0 R #I?? ( 7 0 * )
#@IL#GE & #EEE
V++(EE W
+
+ + + ( %% .& ; &
& A + (
7 0 * #G6E A>=L #EEE
V++(>>W
+ + 9 + + ( %% .& 5
) , & - ?G 1 0 0 R #=GG ( 7
0 * ) @#[email protected][email protected] & >>>
V+((>#W
+
V+(E=W
+ +
+ ( %% ( O5 5]& & & _ & - O ( 7 0 *
#@6 A?>GL?#6 #EE=
V+(3EEW
+
+ ( %% ( 3 N ) ) 5
` & ; ( 7 0 *
#I?? A#[email protected]#G> #EEE
V+12E>W
4 + 1 1 2 2 1,) 45J .&5
- 4 ' 1;;; 1' * ' ( 0 *) 4
) @#@[email protected] #EE>
* ( + (
%% 97 & ) ) -
4 ' GL 0' ( 4 ) 10(4>? *5
3 1 . 1 " & >># .)5)
V+12 EW
4 + 1 1 2 2 3 N _ N Z )5J + 5
) ) ; 6-**MG' 1;;; #EE
[email protected]
2. + "9 1 . 1 1& ) 5
A ) - *1Q S 0 #[email protected]$
#[email protected]
[email protected]
V+NEW
4 + 2 2 + & #I A#=?L?G #[email protected]
*
- 0
4 + J N`) * ) 5 - Z (,,
X N `) Z 4 " 4 ` ) 6 - # - )
$
, 4 4 I>> ( 7 0
.)5) #EE
*
) [email protected]#>I
V+NNEIW
4 + J + N`) 5N N + & ; & 1;;; - *= ; A#=#L
># #EEI
[email protected]
+ + 9 N 2 - + 5Z& #[email protected]
V+NE?W
4 + J N`) 5 ) -
4 ' GI * - 0 +1 )
GELI># #EE?
V+E?W
+
( &) ) _ -
4 ' ) Q 0 ) #I>L#6> % #EE?
[email protected]
+ +
( ; ) _ ( 7 0 *
=> A?#IL?6 #[email protected]
V+*E#W
+ * * + 5 5 ( 7 0 * I>> A#L6 #EE#
V+ E#W
" 4 + _ 0 4 # 4 4 J
(%K1 ) ) 1 & #EE#
V+EW
+ + * 1 9
4 - #EE
V(( >>W
V((4E6W
. ( ( `) 51 ` * " : *, +
) ) 5 - 4 * * **>> #[email protected] ( 7 0 * .)5) >>>
( ( ) * ( . 4 + & &
)& & & ! $ - 4 '
M 1 0 R 0 * 3 1 . ) #I6L#6= #EE6
V(1+*.>#W + ( %% + 1 5+ : *, .) +5
&) - - L 1 *
* ) **>? * 3 1 . )
??GL?GG & >>#
V(1 E>W
4 ( 9 1, X* 2* 2 * N_) .& 5
,) A & - 4 ' (0* ) @#@[email protected]
#EE>
V( " EEW ( `) 51 ` * " . " 5 X * - A + & & - TQMM #6>= ( 7 0 * ) ?>6L?6 .) . #EEE
, 4 V( " EE W ( `) 51 ` * " . " 5 X * ., - A + -
*2( T36QMM ) @[email protected]@> 9 #EEE
V("EIW
( ( ) " .& ; 5
_ ; ) F22 ( 7 0 * ##> A#L# #EEI
V(".E=W
( `) . " * ., J 5
J ) #EE=
V("EEW
J ( 4 " Z ) 5,) & _ ) A & - 0Q - 4 ( * # [email protected] ) [email protected]=E & #EEE
V("ZZE6W ( ( ) " ( Z Z J _ F22
- 4 **MK . #EE6
V(NE6W
+ ( %% N .& 4 & +& - O
1 .& _ 3 ) . 1 ;) ! 5
$ - ) ( 4 ) GH 1 0
#GI ( 7 0 * ) GI>LG6>
( ) - & & #EE6 .)5)
V(3J>>W
+ ( %% ( 3 J J 4) ,)
- ?G 1 0 0 R #=GG ( 7 0 * ) @>[email protected]#= & >>>
V(Z>#W
( ( ) . ) Z O _, ) _ ) - 6) T 1 S 0 ) 1S06>? >=? ( 7 0 * ) I##LIG >>#
V(*OE=W
. ( : *, . O_ 1 ) + -; . .& 1 & + & - + N 4 0RML R ) 0! #@6 (70*
) ?#EL??# .) #EE=
V(* EEW
" ( X" * 1 Z Z : 9U
& & ) , 7 ) - ?? 1 0 0 R ) 0RMM
#I?? * 3 1 . ) [email protected]#L?G? #EEE
V(*.>>W
X ( , : *, X . &) ` _ , - 4 T-6-T- >>>
V(J>#W
+ ( %% + J J _ ) 5
) ; - ?J 1;;; * ' ( 0 *)
(10*>? * 3 1 . ) P P & >>#
V( E=W
( ( ) * Q ; 1 * * 2
*') #EE=
V(
, 4 >#W
+ ( %% *) ) _ ) & ; ; 5 & - 4 ' GL 0' ( 4 )
10(4>? * 3 1 . 1 " & >>#
.)5)
V(4ZE=W
( ( ) . 4 Z O ) ( 7 0 * #@@? A#GL
P P #EE=
V(&EW
4 9 (& .& _ ) 0Q 0 @!?$ AE?L?#= #EE
V( E=W
J ( * 6 * 2 & #EE=
V( >>W
J ( + ) ) A + ; ) ) ,)
& - 4 ' GG 1 0 *= ;
) 10*; G>>> ) [email protected]@ >>>
V([email protected]
( ( )
Z .&
; _ J 1 0 0
=#= ( 7 0
&5 *
- 4 R ) GGLI6 #[email protected]
V(ZE=W
( ( ) Z &) & _ ; ) - 4 ?> 1 0 0 R #@6 ( 7 0 * )
==LEG #EE=
V(a=?W
2 ( a; O 1 ) 5. S 0Q ?>!$ [email protected] + #E=?
V1+.>#W
+ 1 5+ .) ` & 5
& #[email protected] ) - 4 6--33(*>? ) P P >>#
V1(=EW
O 1
1 ( 1 ; & 5
& - 1 U R Q T * * @>6 ( 7 0 * #E=E
V1166W
1 4 1 + A ; & ) & ; - H 0Q * 4 4 ( #E66
V1E=W
" 1 R ) 2 9 3 . 1
#EE=
V1EEW
" 1 4) _ , *') () #EEE
V19=#W
9 1, 9+ 9 2) & & ` ,5
) ) ) - 4 U ( 4 #?# ( 7 0 *
) GL6# .)5) & #E=#
& J , 4 V19.=IW
9 1, 9+ 9 + . + ; 5
. 1 .& ) J * ) .; 0Q - '
4 ( * =!$ [email protected]@LI? + #E=I
V1 =6W
+ 1 + , . ; ) ,) - 4 ' . ; U - 4 7 ) EGL## #E=6
V1 EIW
" 1 + , . & 1 0 #@!?$ A>L?#
#EEI
V1"*[email protected]
9 1, O " ) 29 * ) V1N6=W
1 3 N _ + & )
) - 434(KL 0Q #E6=
V1N==W
J 1 " N J 1 0 6I!$ #E==
V1E=W
N 1 : , & & ) J 4 *.5E=5# 93. 1 #EE=
V1EEW
N 1 : , J & - 4 ?> 1 0 0 - #[email protected] ( 7 0 * ) @LG6 .)5
) #EEE
V1>>W
9 1, . Z &
; - - 0 * -0*! >>>
V1.>#W
1 N . .& ,) - 4 -0*>? >>#
V2W
" 2` 2Q0 # V2"">>W
2 2 4 " O " ) + )5
,) - 4 U R ) UR>> ) #L= >>>
V2=EW
2 * 2 J) ; ; 5 & - ., 4 1 U R Q T * * @>6 (70* ) #E6L# ( #E=E .)
V2X4JE6W
4 2+) 5 X J 1 4 & J J
< ( 7 0 *
##6 [email protected]#[email protected]? #EE6
V2OJ:EIW
V2W
5,) 0Q - 4 ( * #I!G$ #[email protected]
1 2_ + O . J, . : J
, - U V * 111 # R 0 #>II (
0 * ) >=L#E .)5) #EEI
" 2` + 7
, Z _ Z ,) 2 , 4 V2EEW
" 2` + , ,) - 4 ' H 1 0 - 0 *) -0*MM #G6E ) ?L?E #EEE
V2>>W
" 2` + S
, 1 5 *= - - - >>>
5,)
V2JE=W
1 2_ . J, 5,) 5 & ) - ( 7 0 * #[email protected]
) ?#?L?E #EE=
V9E>W
9+ 9 J - 0
V "X EIW
9 . #EE>
) - * _ V ( #I ) EEGL#>6
*
1 ` N " + X 4 * .5
) 1 !f K ,)$ A + 5
; - 4 ' L 0 R ) 0RMJ ##> ( 7 0 * )
@[email protected]@> #EEI
V -.>>W
+ , . -& " . Z5 & A +5
; 4 4 *.5>>5I 93. 1 % >>>
V EW
51 ` 1 J * e 5 5]&e ; ; & - T #EE
V I6W
4Z & +)) ) ) - 4 * Q ) #EL? #EI6
V EIW
+ , O ; ; ) ) 5
J *- +1 9 3 . 1
#EEI
V 4EIW
* ) 4 .& ; _ )5 - 4 ' J 1 U ( 4 *
- ) (34*-6MJ . , ._ + ) #EEI
V"*E?W
. " 1 * +
& ) ; 5
- 0 R 0RMB IE6 ( 7 0 * ) 6#[email protected] #EE?
V"
" ) ; - 4 ' G 1 0 R 0 G?# ( 7 0 * ) #6IL#=G .)5)
#EE>
E>W
V".EW
. " + . 4 ) & _ & 5
- S 0Q ) I6GL6?G #EE
V".E6W
. " N . 1 ) _ -
0 0 R 0RMK *31. #[email protected] .)
) #EE6
, 4 V"[email protected]
"
Z + ##> A?>GL?I #[email protected]
5,) 1 0
VN E=W
N * R * 1 2 " #EE=
VNE?W
3 N _ 2& & & VNEEW
+1 N
#EEE
VNNEGW
) - 4 ' B 1'
0' 0 R 0RMB! IE6 ( 7
0 * ) [email protected] #EE?
A 0 4 Q J + N`) 5N N $% A J & )&
- V * 11 EEE * 3 1 .
) [email protected] #EEG
VNNZJEGW J + N`) 5N N N Z )5J $% A J ) - 4 ?J 1;;; 6- * * )
6-**MI ) GILIG #EEG
VNXE6W " N " X 1 5 ) J I# J -34-+ + ) #EE6
5 VN3.:[email protected]
J N`) M 3 ., . : .& ,)
5 & 1 0 ### A#[email protected]@ #[email protected]
VN IEW
1+4 N + )) 0 0Q # #EIE
[email protected]
3 N _ 4& :9 & ; & & & - 1 * * ) **MH [email protected] ( 7 0 *
#[email protected]
VN4.>#W
J N 4 % . ) ) * ,) - -0*>? >?# ) #=EL>? - & + >># .)
VN.EIW
X N 3 ., 9 ) 5
,) ; - T Q ; TQ; MJ
#>G# * 3 1 . ) IILI=# .)5
) #EEI
V=EW
J 1 O5 5,) ; 5
) - 1 U R Q T
* * @>6 " % #E=E
V3>>W
( 3 J ) 5
&) ; 5 & - J -0* P ( 7 0 * ) P >>>
VXE6W
5 X * 1 ) * 5
) - 9 (, - 0 * -0*MK ##6 ( 7 0 * ) ?ELG= .)5) #EE6
#
, 4 VX E6W : X O + 9 . .& 5
,) _ ) ) - 4 M 1 0 0 R #[email protected] ( 7
0 * ) @@[email protected]?G #EE6
VXE=W
: X + ` A ,&
; - GB 1' * ' Q T 0 *) QT0*ML #@G> ( 7 0 * ) [email protected]# .) ) #EE=
V* E=W
+ * 1 J
4 *.5E=56 93. 1 * .; ; . #EE=
VW
J ') 5 & !$
AKK___ ; ) Kg ) KK
V* E?W
29 * ) Q) 2
1) & #EE?
V*>>W
X * , - : ; - 0 * 6> ) @>[email protected]@ >>>
V*>> W
X " * J
Q3R;4G >>>
V*:E6W
X " * Z : S *= - - - #!#5$ A#[email protected]#G #EE6
V*Z:E=W
X" * 1 Z Z : 1 , 7 )
J & 2 1 .& #EE=
V*&EIW
2 VE?W
X* * Q 0 X _ + #EE?
V EIW
4 & J 4 445EIG - - 3 4
- + #EEI
V&>>W
) X & & ,
#EEI
4 & - 1 #66I ( 7 0 * >>>
* ( - 1 ) (-17G>>> V(=?W
( ( J 5 &) &)
4 * ) - R --- #E=?
V*EEW
, * ) 27 ) J
4 -J5J45#EEE5>? J & 2, #EEE
V*+NEEW
, * ) N 4 + N N ) O & ; & J 4 -J5J45#EEE5>@
J & 2, #EEE
, 4 VE#W
a + 1 ) - - 0 * =?!#$ ) E6L#?> #EE#
VO4.EW
. O_ 4 & 3 ., A & ; &5
- ?? 0' 2 I>6 ( 7 0 * ) [email protected]=L6G #EE
V=6W
X ) & 5
_ 4 * ) -) R R11 & #E=6
[email protected]
2 1 ) _ 5 5]& 5,)
- 2 2 0 R 0RMH =#= (
7 0 * ) ?66L?E> .)5) #[email protected]
V 66W
+ J ) ) - 4 ?L 1;;;
* T 0 * T30*KK! ) @IL
G6 O ?#L3 #E66
V =GW
+ - ) ) ) - ( #E=G
VEW
) h i)), )_ & ,
)` ` _ `) -
0 6 4 0 Q #EE
V.>>W
+ 9 . * ` ;5
- 4 0 R ) 0R>> #=GG
( 7 0 * ) [email protected]? >>>
VF.=W
F ., + )
_ & - GB T 0 * )
#6LG #E=
V.J+E=W
4 . ) N J + ; 5 5,) - T - 6- T - * #@=I ( 7 0 * P #EE=
V. >>W
" . 2 9 3 . 1 >>>
V.:EIW
., . : 1 ; & ! 5
$ - ?B * - 0 * #>@I ) [email protected]?GE " &
#EEI .)
VJG#W
J, 1 #EG#
VJEIW
J O) J - 3 ( 3 #EEI
VJE=W
. J, - T - * 4 2 " #EE=
V=EW
+ . ) _ - 4 ' *
0 1 ) EEL##G #E=E
"
, 4 VZ=IW
: Z + + 5J + + ) ; - 4 ' 1;;; 1' * ' ( 0 * ) [email protected]@ #E=I
VZE?W
Z) + _ ; ) J 4 -5E?>G i "& % #EE?
VZE>W
" Z, 1 ,) & ; -
U @G= #EE>
V:XJ(>#W
J : `5X J J ( + & &5
- 4 ' K 1 0 - 0 *) -0*>? 5
>?# ( 7 0 * ) GLII + >>#
V: E?W
. : Q 3 R * *
- 2 - 3 & " #EE?
V: E6W
. : X A ; 5 & *= -
- - #!#K$ O
#EE6
V: E=W
. : ,) * #@[email protected] A##@L#G? #EE=
( 7 0
+ ,$ '
: ; . /
4 3
3
3
3
3
3
. 3
4 . 3
3 . 3
3
3
3
. 3
3 3
2' ; * 3
3 3 , 3
3 3 3 3 3 2 ! 3
1 3
3
;
3
! 3 3
3
3
; * ) 3 - . 3
8 A
8 ) 3 8 * ) 3 2 8 A * ) 3 3 *
8 * )
+ 3 3 3 3 3 * ) 3
0 2 3 3
3
3
'
: ; . /
* ! V: E?W$
3 ! 3 !& $ 3
3
3 3 3 3 ?$
!#$ . A
& 3
)
!
3 #$
; ; +! G #
- * 3
3 2' ; 3 3
8 * * 7 . 3 ) 3 ) 3
) 3 3 3
A
! + ' )
!)
!+#$
O ! ) + ) + A
! )
) !+$
2 +# + @ A
L 3 ! ! ! + ! L 3 ! L 3 L 3
2 @ ) 3
!)
)
)
) ! !
)
!)
5 9 )
' ! ) ) ) 3
A
) 3
!$ * 0 * 3
' * ' 3
<
; +! #
J
' 1 9 9 1 3 5
! $ A * * . ; 5 ! $ 8 1 8 1 ) 3 . 3 L 1 ) 3 L 8 ) 3 O 8 1 ! 3 3 O 7 8 1 ) 3 ' @@ 3 ! 3 3 3
3 3 3
'
! 3
3 : /; . /
* ? & & ) ) &
& T - ; 3 2 0 '
) & & & & & 3 @ . % % 3 % % % & L % & L % & % & % & % & % & % & L ) % ) % ) & % ) % ) % ) & % ) & % & % & % &
G . 3 % 3 % % & A
% & ) % ) &
) % ) &
% & T & & 2 0 ' % & % & % & % & 9; ) #
;; +! #G #
% )
%
) &
% ) % ) & % & % &
I 9 7 % % % % % T + % + *
-. / * ;) # . . . . '
/ ' * ;) & ) 5
(# T ' / ' / ' / ' ' ! / / ' ' ' / / ' ' / / ' ' * ) 0 % ) ' * ) & + V "X EIW ( T ;) ) #
#
#
#
#
#
#
#
# # # # # # # # # # # # # # #
#
#
#
#
#
#
#
(# L 9
3
. . . .
. ' . ' . . /
. ' . ' . . /
. . / . . /
. ' . ! . . /
' . ' . . . /
. . . . /
. . ' ! . . /
. ' . ! . . /
. ' . ' . . ! / . ! . . . ! / . ! . . . ! ! . ! . . . /
. . / . . /
. . / . . /
. . / . . /
! . . / . . ! . / . . . . . / . . /
. / ! . . . ! ! . . / . . ! / . ' . ' . . /
. ! . ! . . /
. . . . /
! . . / . . ! . . / . . . . / . . /
. . . . /
. . . . /
. ' . ' . . /
. . ' ! . . /
. ! . ! . . /
. ' . ! . . /
. . ! . .
. ' . ' . . /
! . . / . . ! ! . . / . . / ! . . ! . . /
! . ! . . . /
. ! . ! . . /
! . . ! . . /
;) ) C D
< ,;
-. / !> G =$
!> ( #$
!> ( $
!# ##$
!# ( ?$
! ( ?$
! @$
!? I$
!? 6$
[email protected] G$
!G >$
!I #$
!I #?$
!6 =$
!6 E$
!= 6$
!= ++ ##$
!E #>$
!E #$
!#> @$
!#> #G$
!## I$
!# $
!# #6$
!#? ++ @$
!#? #@$
!#@ ++ G$
( L " &
!#@ #G$
!#G ++ >$
!#G ( #I$
!#I ++ $
!#I #?$
!#6 #=$
!#6 #E$
!#= ( G$
!#= ++ >$
!#E >$
!#E #$
!> ( ?$
!> >$
!# >$
!# ( $
! $
! #6$
!? #>$
!? #$
[email protected] >$
[email protected] #$
!G =$
!G ++ #$
!I >$
!6 #=$
!6 ++ I$
C D #
##
+ - < * 7 5 '
; ; ' ' * $4/ ) A
$4/
$ 6 ( ! ! ' '
T $ 6 ( ' 5 j 5; '
Q ;
' ;) & ) 5 ) ) 5 j 5
O+ 4 ; 1 5
4
1 5 j 5
9 5 j 5 '
& ' ; ' ' 5
&
5 j 5
; ) #
#"
*;; @ 5
) & ' & 5 j 5 '
& ' ; ' H ; * ; C D
5 4 #>>>> 1 5 j 5 '
& ;) ) ; ' ' 5) ' 9 ) & ; ' + ; ' 1 5 j 5
1 ' 1 5
+ ; ' 1 ) 5
1 5 j 5 '
9 & ; ' + ;) ) & ' ; ' 1 ; ? A ;5
) ) Q
& ' Q
) & ! 5) ; $ 5
3 5' ; & ' ) ; ' A
< *;
#)
!!!"
# $ "
!!!"
%
& '!''
& '!''
& '!''
* ;) & Q ! 0 Q & ' Q & ' ! 5
;$$ Q & ' & C5dD
; ) . ! O) 4 $ ) - = * )
5 )
V(".E=W 3 A
L & ! $
L ) ) (3 A
-
$
*; ; F
A
A
A
A
A^
A^
A^
A^
E A A^
j
j
j
A A^
A A^
A A^
A A^
A A^
A A^
W
KY YK
V>5EWc
V5`+5aWV\5`+5a>5EWY
k
k l km
! l m
4E E l E m
l m
4
3
^ k
l m
VW W A k
! $
E A 7 A
V! W ? l *m
k
V ! l m W
lm
l m
l A G (4J
V k W k
A A^
? V ? W V W V W
k
A A^ ?
E A A^
A A^
j
j
j
A A^
j
j
j
j
A A^
j
A A^
j
A A^
j
j
j
E A^ VW ! $
j
YjKjn
j d j o j o^ j d^ j ^ j od
j < *;
- ' . , ! #( 2 ) 5' ! ;) 1# 1
1?$ A
L L J 3
& 3 3 3
) 3 3 &
& ' 3
) & ' 3 *;;
4 7
"$"" " #$ 2 " $ "$
+ + + + )
"-#" 2 " $ "$
%% %% . . %% % . % /
% /
. $ ( %/
/ . 0 % / . 0 % / %/ . %/ %/ %
. 0 % . . % /
/ %/ . %/ %/ %
. 0 % . . % /
/ . 0 % F999G
1# L +)
! $
< *;
F999G
% 2 #- 2 % %
%/ . %/ %/ %
. 0 % . 0 % . . %/
/ % 2 #- 2 % %
%/ . %/ %/ %
. 0 % . 0 % . . %/
/ %/ . %/ %/ %
. 0 % . . % /
/ % 2 #- 2 % %
%/ . %/ %/ %
. 0 % . 0 % . . %/
/ F999G
1 L +)
! $
*;;
4 7
F999G
% %. 2* 2$ #- $ 2 % %
%. %
%. / . %/ %/ %
. 0 % . 0 % . . %/
. 0 %. . . %. /
/ % %. 2* 2$ #- $ 2 % %
%. %
%/ . %/ %/ %
%. / . %/ %/ %
. 0 % . 0 % . . %/
. 0 %. . . %. /
. / #$ 2
#$ $ 2$ #$ 2 1? L +)
!;$
"$ # "2 2 #" #" #$ $$ 2# 2$ #$
7 " # "$/ 2 2$ "!$9 $ #$ / $ # 2 2 $$"7$ 2* " $ " # 2" 2 ""* 3"-#$9 6
$"$$ 8 $ #$ $$"7$ - H$ #$ !8$ #$ $$ I D
#$ $$"7$ 2$ ' I "2 #"$ 2 $ 2 "" 2 # I #! 2 #" "$$$9 #$ #$ $$;$ $ $ 2#$$ / 2
" "; $9 $ "$ ""## $ 2;# "!"8 " #" 3"
2 $3"$ $ "2$ 2$ $$;$ 2$ #$ "#"
I #" /$ 2$ $ 2$ 3#$ 2" 2$ ! #7$ "$ 8 2$ " "; $9 - 2 #""#$ $ 2 "## #$-# 2$ $ $$-#$ 2 $$; $
2 3 8" 2* # $3" "29 -#; $ 8
$-# $ 39 J $ / 2$ "# $ $$ " #$
" "-#$ 2 $$; " $ 2 #* "$ $ 23$ $ 2" D
39 # /" "# $ $ $ $ 2 /"H 3 "$$ 2$
!2$ "## $ 3 $-# 39 6#$ / ## $ $
$$ #"$ 2"$ # "2 2 #""#$ ""8 2$ $$;$ 2#D!17 9 "
$" !$ #$ 2;#$ I $ ! #7$ " " $ $ *D
$ 2$ " $ 2 - $ #"8## $ "$ !2 *" 2"# "
"## $ 3 2$-#$ 2 $ 3$ 9 K "8 $
"$ #" $ !2$ 2"$ # L 8 $ I "$$" # $#
" "# 2 "; *" 2$ $ 2$ ! #7$ 2$ 3#$ 2"9
$ "$ 3 2$ *#$ $8$ #$ 8 # # 2 "$$$
- 9
-$ " 2#D!17 6" "; $ 6 #$ 2 " $;$
I $ $;$ $D #$ M 3"9
N! ! / ". 1 / #" ! "$ 2# #$ D
/ 7 ! 2"" "$/ -. "!$9 !$ #$ . 1 ! # /
$27 / $$"7$ -. . " $ " #"-# !"#$9 "1 $ !" "## !
$$"7$ . 2 ! !8$ #2 $$ D7 ! #$ $$"7$
"2' "."7 " #"$ / 2 2 -/ 227 / ! /"# / ! "$D
$$9 ! $$$ " / 2##2 " 27 " " $9 N . 12
" "!""# 2# "##.7 ! 3" / $3"$ "."2 -!" $ /
! $$$ / #$ !"2#7 " ! $" $ 8$ #1$ "$ .##
"$ " " $9 ! 7"# / ! ""#$$ $ "##" ! $ / ! -!" $ $$-# /
! $$ ! !1 !" ! #"$ " "."2 $3"9 ! -#
! $ !" !$ $ $ 39 22 " -!" $ " / / ! "#$ "1 - !
" "-#$ / ! $$ 2 7 ! * "2 $ " 232 " 3 3#29 $ ! $$" - "-# $ !$ -!" $ " 3$!2 ." "2 "#$ 32
!2$ "##" " 3$!2 " 3 $9 / "## . #"2 $#$
.! ! / ". 1 / ! "" ""#$$ / ! $$$ 2#D!17 9 ! $#D
2 $" / ! 2#$ .! $ "2 #1$ " " O2 $ " *$
/ ! -22 " $ / .!! . !" " *" !2 / "# " "##" " 3$!2 / $$ / 3 -!" $ 9 6 ""# $2 . $"-#$!2 !$ !2$
" # L .!! $ 1.#27 # -7 "-# !"2# " *" ." /
! $ ! #1$ "2 ! 8$9 N #2 !1 $8 *"#$ $! "$ !
-22 "$$$ #9
-$ " " #$ $ $$$ 2#D!17 6" "D
$ "#D $$$ M 3"9