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
© Copyright 2021 DropDoc