proof of the basic theorem on concept lattices in

0 downloads 0 Views 408KB Size Report
Cч eчsitli mantiklarda чcikarim yapmayi destekler. Isabelle in yiuksek dereceli mantik icin iozelleчsmiчs haline Isabelle/HOL denir. Bu чcaliчsmanin uzun vadeli ...
       !"    #$% !&!' () !

*  %+%,-.  /0 1  321/, 4 5! 61 , 5!7/85!'# /09# 5    3:#//!&  % $  5!;,= > ?5  @4 A BA>

#*CA .5!DE,!'A#!'!&F  $G  H1 I,1# F 1 1-&  H/ ?21  H :% 69# 5 #  J/ K5A 1- 1 6L-,1 8 2#   #52

MN,!O>QP)RNRNS

   2  L  E   : !"-#!#"#$"%

&' (% /)#%9 * ,+-/). 0# . 1 /)!'"23 4"#' 5+6 78!$9"$'!$:$  $';#$< =)'">?!'"@A"B$: $: C"$'!$8- 9#D3#)   $F#G   #!#" % E

4' (% /)"%9G+ $@  BH I# G, J A/)" F@A"B 9 D 4Œ7C:‡IY4 D =VXLIH9?5070VXl6S^`W9?5 =70mT4ƒ7C:‡IY4ƒOQP7"5AST70mZ?9Q`WST4 D =9QL^h 70m^4ƒ7Š:fIY4ŒOQP LH9?70ST5A9Q`†LfS^JkF465 D ] 7C:‡IY4lvO504 D O`WVixHl69?70ViO`i4   RV D l69Q`W`i4Mh|9  Ja-f Yd&OQPY70mT4lvOV{] 4Q]i=FVWLƒIH9?5070VWl6SH`W9?5'$ %

PjOQ59Q`W` $

M=

p $eP $  =^70mT4ML&$ % PjOQ5&9Q`W`%    =T„&m^VWlnmyVWJKIH`XVi4 D $     s        PjOL^Vi70ViOlvOl69?70ViO147$ ( &  - ( $   $ #  ! -  + +7  7 (  1  $"! ! ?A@0 7 (  1 !$ (  "$"!="   :  "  7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $    " 3  & .  $  " +7  7 (  1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $ !     A? !, (  + +757  7 ( @ 7(  1  $"! ! ?A0  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $ !     A? !, (  + ) !%    $  '& 3 " (  + +757  7 ( @ 7(  1  $"! ! ?A0  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $ -  - ( &,'&     5B + 7  7 (  1  $"! - " - ( &  &    0   - '&   7 ( 

 

:  9



)







1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ ( 1 $ (   ( &  - % $ ! 1 ( &  - (  1 7 $ " $ 3   #  " (

147

 ( &



)

- (

( &

$-



- (   - (

1 7 7 7  7 (  7 ( &,'&     5B + 7

1            7 @  @  +   "   - @ " 1 7 1            7  $ ##"%$'&    1  ! -  - $'&! 9 7   ! &,+  ! & ( 6 #  1  !% -  - $% '&! 9 7 1 &  "    1 @       " ! 7 )  &     1 !  '   $ '& 3 " ( 1 !     A? !  ( 1       @ ! 7 9 7 9 72& 7" (  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $ & ( 6 #  + + 7  7 ( @ 7(  1  $"! ! ?A0  1    &   6 $# ( %  $ ! $ (435(  +5+7 (  1  - -   -  1 + 3 # # ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $  ! -  - $'&!  + +757 7 ( 1  (  (43 6 $ # + & ( 6 #  + '7 1   $#  !% -  1 &  "      ) &  "     & 7 '7  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $ $ 3   #   +7  7 ( 1B  (43 6 $ # + & ( 6 #  + ) # "  3  '7 @ 7(  1  $"! ! ?A0  1 !# $ &%+  "$"! 1 !# $ ( >147 7  7 ( @ 7(  1  $"! ! ?A0 1   $#  !% -  1 &  "      ) &  "     & 7 '7  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $ $ 3   #   +7  7 ( @ 7(  1  $"! ! ?A0  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 ( @ 7(  1  $"! ! ?A0  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $   $ #  ! -  + +7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $ !     A? !, (  + ) !%    $  '& 3 " (  + +757  7 ( 1   (43 6 $ # + & ( 6 #  + ) 6 "

$ ( #  3  '7  1 !# $ &%+  "$"! 1 !# $ ( >147 7  7 ( @ 7(  1  $"! ! ?A0 Np

1 



   

$ !    

1$ (  1$





(

1$



( &

- % $ !





 

- ( 

17

)



&  "  

$ ( &

& 7 ' 7   +7 7(

 

$ $ 3   # 

- (

0



$

" "$"!

( &

- % $ !

+

17

- ( 

- " - ( &  & 



( &

# #

3

- % $ !

$

" "$"!



$

" "$"!

!, (

- % $ !

( &

- " - ( &  & 

"$"!



+

! #$ ( 

7(

- (  

)

1 ! # $

 ( &



147

( 



$ ( &

7( 1(

1 ! # $



( &

+



! 

( &

1  $"! 1 $ 3 "

",& 

( &

 (

1 &  " 

 !% - 

 1  ?A@ 7 ( "  !  - 1 3     1   0   -  1 3    "  !  - 1 3  "  !  - 1 3   A?  +757    1   0  #1 17  "(

1  $"! 1  - 1 #" 1 #" 



$#

1  $"! 1 #" 







1 ! # $

 &

1 7 7 7  7 ( $ $ 3      +7  7 (

)

- (

147 41 7

( 

- ( 

17

- ( 

( 



( &

$ ( &

)

( &



- ( 

)

( &



- ( 



- (

$





1 7 7 7  7 ( 17 $ (&

$#



 5+7 757 (

 !% - 

+

- (

1 7 7  7 ( 

- '&



- ( 



7( 1 7 7 7 ( 

! #

 $ ##"%$'&  - -       $#  !% -   9 &,+  !   $ #  ! -  1 &  "    !  '   ? !, ( 1 !%  '   $  & 3 " ( 1   @      7 9 7 9  @  "   &  "   & 7 9 " ( &      1 + 3 # # ( &  - "$"! 1 ( &  - ( >147$ ( &  - ( $   $ #  ! -  + +7  7 (  1  $"! ! ?A@0 7 (  1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $ !     A? !, (  + +757  7 ( @ 7(  1  $"! ! ?A0  1 !$ (  "$"!="   :  "  7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $    " 3  & .  $  " +7  7 (  1 + '!% %  $"! 1 !# $ ( >147 ) ( &  - ( >147 7  7 ( @ 7(  1  $"! ! ?A0  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $ $ # #"!% A?  & ( '& +7  7 (  1  "  "  1 "$"! !% A? "  757 (  1  &   "$"!="  -5-       " !  !     A? !  ( 1   @ ! 7 9 "  7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $ -  - ( &,'&       + 7  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $ $ # #" !% A?  & ( '& +7  7 (  1  "  "  1 "$"! !% A? "  757 ( Ns

)

1( 

1  1  





&  "$"!

1$

"$







&  "$"!



$ (

( &

- " - ( &  & 

" "$"!





$# "$"!

1  $"! 

1    @ ! 7 9 "  7 (  !     $% '& 53  ( 1   " ! 7 9 A7 "  7 (

$% '&  ( 1  #" ! 7 9 7  1  @ ! 7"  7 (

 $  ( &  - ( $ - " - ( & '&%         (  A+7 757 (

 ="  -5-     " !   3 6  "  - -   1  @ !  ="  -5-   1    - -   -  1     1   0  7 ( 3  #1 17  1 7 7 7 3   B%" (

1  

! #$ ( 









!



( &

- "$"!

!

- (

 A? 7 1 53 147

 

!  (

)



( &

(

- ( 

#

1            7     "  +   "   -   @ " 1 '7 1            7  $ ##"%$'&    1  ! -  - $'&! 9 7   ! &,+  ! & ( # 35  1  !% -  - $% '&! 9 7 1 &  "    1 !%     A? "!  ( 1 !     $% '& 53  ( 1      /#" ! 7 9 7 9 7 )  &     1 @     / @ ! 7 & 7A" (  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $ & ( # 3  + + 7  7 ( @ 7(  1  $"! ! ?A0  1    &   6 $# ( %  $ ! $ (435(  +5+7 (  1  - -   -  1 + 3 # # ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $  ! -  - $'&!  + +757 7 ( 1  (  (43 6 $ # + & ( # 3  + '7 1   $#  !% -  1 &  "      ) &  "     & 7 '7  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $ $ 3   #  B/+7  7 ( 1B  (43 6 $ # + & ( # 3  + )3 - -  3  '7 @ 7(  1  $"! ! ?A0  1 !# $ &%+  "$"! 1 !# $ ( >147 7  7 ( @ 7(  1  $"! ! ?A0  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 ( @ 7(  1  $"! ! ?A0 1   $#  !% -  1 &  "      ) &  "     & 7 '7  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $ $ 3   #  B/+7  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $   $ #  ! -  + +7  7 ( @ 7(  1  $"! ! ?A0  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $ !     A? !, (  + ) !%    $  '& 3 " (  + +757  7 (  

1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 ( 1   (43 6 $ # + & ( # 3  + ) # $ (  3 - -  3   7  1 !# $ &%+ "$"! 1 !# $ ( >147 7  7 ( @ 7(  1  $"! ! ?A0 1   $#  !% -  1 &  "      ) &  "     & 7 '7  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $ $ 3   #  B/+7  7 ( @ 7(  1  $"! ! ?A0  1  - -   -  1 + 3 # # ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $   $#  !% -   +5+7 757 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $ $ # #"!% A?  & ( '& +7  7 (  1  "  "  1 "$"! !% A? "  757 (  1  &   "$"!="  -5-       " !  !     A? !  ( 1   @ ! 7 9 "  7 (  1  &   "$"!="  -5-       " !  !     A? !  ( 1   @ ! 7 9 "  7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 (  1  $"! - " - ( &  &    0   - '&   7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $ !     A? !, (  + ) !%    $  '& 3 " (  + +757  7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $ -  - ( &,'&       + 7  7 (  1 $ 3 "  "$"!#1 ! #$ (  1 7 ) ( &  - (  1 7 7 7 (  " ( 3 -  ! # " ( 

 $ ##"1  !% -  - $% '&! 9 7   - # " - $'& !% " (  1 ( &  - "$"!#1 ( &  - ( >147 $ ( &  - ( $  - #  - $%   1  $"! ! ?A@0 7 (  1 ( &  - "$"!#1 ( &  - ( >147 $ ( &  - ( $  $% '&$ #    @ 7(  1  $"! ! ?A0 1 " +"#  & '. &  '7  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $ " +"# + +7  @ 7(  1  $"! ! ?A0  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ! -  - $'&!  + +757  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ! -  - $'&!  + +757  7 ( 

 + 7 7 (

& !



+

 + 7 7 ( 

+

7( $  ( &



- (

$  ( &



- (

?A@0 7 ( 1 $  '& (       7  1 ( &  - "$"!#1 ( &  - ( >147 $ ( &  - ( $ $  '& (    + + 7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $  ! -  - $'&!  + ) /3 $ # &   @ +A7 7  7 ( 1  "$ ( &  & '. &,   7  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $  "$ (  + + 7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $  ! -  - $'&!  + +757  7 ( @ 7(  1  $"! ! ?A0 1 (43 - "  3  + $% &, "$  (435(   & (  ( '7  1 !# $ &%+  "$"! 1 !# $ ( >147 7  7 ( @ 7(  1  $"!  0  1  $"! (43 - " !#  7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 ( 1&  + &  3  +0$ &  $%  ( 3 (   & (  (  7  1 !# $ &%+  "$"! 1 !# $ ( >147 7  7 ( @ 7(  1  $"!  0  1  $"! &  +" !#  7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 (  ," !# - " (  -   # "! $# " +   $# !  " " (  $ ##"%$'&.   !% -  - $% '&! 9  ! &,+  ! 1 6 $  $ 1 . #" ! 7 7  1  ! -  - $'&! 9 7  ! " (  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $   2" 6 $  $ + " ) (43 (  +5+7  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $  !% -  - $%  & !  + + 7  7 (  1 !# $ &%+  "$"! 1 !# $ ( >147 7  7 (  1  $"! + !  -  -  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $   $ #  ! -  + +7  7 (  1 $ 3 "  "$"!#1 ! #$ (  1 7 ) ( &  - (  1 7 7 7 (  " $ 3   #  " (  $ ##"%$'&.   !% -  - $% '&! 9  ! &,+  ! 1  3 1 . @ ! 757   1  ! -  - $'&! 9 7  ! " ( 

1  $"!

! 



 #1  >147  $ 2"  3  " 3  + 7 7 ( 1 3    1  >147  $

 + 7 7 ( 1  1 >147 7 7 ( 1   7( 1 3    1  >147  $ 

 +7 7 ( 1 3  #1 17  1 7 7 7 ( " 3       " ( 9 7   ! &147  

  5+ 7 7 ( 1    1  17   0       +7 7 ( " 3     " ( 9 7   ! &147  

  5+ 7 7 ( A? " 757 ( 1  "  " 1 1 3  #1 17  17  $  0  +757 " 3       " ( 9 7   ! &147 7  7 (  1  $"! - " - ( &  &    0   7 (  1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 ( &  - "$"!#1 ( &  - ( >147 $ ( &  - ( $   2" 6 $  $ + " + 7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $ !     A? !, (  + ) !%    $  '& 3 " (  + +757  7 (  " $ 3  #%" ( 



$

" "$"!

 $ ##"%$'&.  1  ! -  - $  & !% 9 7   ! &14 7 $ (&- ( $  ! -  - $'&!  + )   $#  ! -  +5+ 7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 ( 

1  - -    -  1 + 3 # # ( &  - % $ ! 1 ( &  - (  1 7 $ ( &  - ( $  ! -  - $'&!  + )   $#  ! -  +5+ 7 7 7 (  1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 !# $ &%+  "$"! 1 !# $ ( >147 7  7 (  1  $"!#1 -  - ( &,'&%    0   -  &    (  7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $   2"  3  + " +7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $ !     A? !, (  + ) !%    $  '& 3 " (  + +757  7 (  " $ 3   # - '&  " (  $ ##"C.  1  !% -  - $% '&! 9 7  !   ! 1   $  . #" !  1 6 $  $ $A7  #" ! 7  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $   2" 6 $  $ + " + 7  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ (&- ( $  ! -  - $'&!  + )   $#  ! -  +5+ 7  7 (  1 $ 3 "  "$"!#1 ! #$ (  1 7 ) ( &  - (  1 7 $  ( &  - ( $ !     A? !, (  + ) !%    $  '& 3 " (  + +757 (  " $ 3   #  " ( 

 $ ##"C.  1  !% -  - $% '&! 9 7  !   ! 1   $  .  @ !  1  3  1 ( &  - "$"!#1 ( &  - ( >147 $ ( &  - ( $   2"  3  + " +7  7 (  1 + 3 # # ( &  - "$"! 1 ( &  - ( >147$ ( &  - ( $  ! -  - $'&!  + )   $#  ! -  +5+ 7  7 (  1  "  "  1 "$"! !% A? "  757 (  1 ( 3 6 $# "$"!"A1 !     A? !  ( 1 .  @ ! 7 9 7  . #" ! "  1  &   "$"!="C.   " !  !%     A? "!  ( 1 .  @ ! 7 9 "  7 (  1 ( 3 6 $# "$"!" . @ !  1 !%  '   $  & 3 " ( 1 .   " ! 7 9  1  &   "$"!="1 !%  '   $  & 3 " ( 1 .   " ! 7 9 7  .  @ ! "  1 $ 3 "  "$"!#1 ! #$ (  1 7 ) ( &  - (  1 7 $  ( &  - ( $ !     A? !, (  + ) !%    $  '& 3 " (  + +757 (  " $ 3   #  - '&  " (  $ ##"%$'& 6 9   ! &147$ ( &  

(

!% - 

16

  $

$

A7   @ ! 7 $



7(

7A"  7 (  7 (

6 7 9 A7 " (





.  #" ! " (

. @ ! " (

$

 ! - 

-



$'&!

+

)







$#





 ! - 

+



)  

"6

  $

 $

@ 7( 1  $"! ! ?A0  1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  $ !     A? !, (  + ) !%    $  '& 3 " (  + + 757  7 (  1  $"! ! ?A@0 7 (  1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  $ !     $ '& 3  (  + +A7 7  7 (  1  $"! - " - ( &  &    0   7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 (  " 6 $  $ + !" (

" +7  7 (

+



( &



- (

( &



- (

 $ ##"%$'&   9   ! &147$ ( &  - ( $ ( 3 -   3   -  (  . & 6  + +A7  7 ( 1  "  "  1 "$"! !% A? "  757 ( 1 + 3 # # ( &  -  "$"! 1 ( &  - ( >147$ ( &  - ( $  ( 3  ?  +5+7  7 ( @ 7( 1  $"! $ ## 0 1 " ( " & (   "$"! $ 1 "  " ) " . " 7 + ( - "!  7 ( 1 $% $"!  7 ( 1  $"!  "  7 ( 1 " ( " & (   "$"! $ 1 "  " ) "  " 7 + ( - "!  7 ( 1 $% $"!  7 ( 1  $"!  "  7 ( 1  (  &  ( %  $ ! $ 1 "  " ) "A1 -  &  7A" 7 +  @0 7 ( @ 7( 1  $"! ! ?A0 1  &   "$"!=" -  & 1    ! 7  B   ! "  7 ( 1  &   "$"!="       ! "  7 ( 1  &   "$"!=" -  & 1    ! 7  B   ! "  7 ( 1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 ( 1  &   "$"!=" -  & 1 *  ! 7   B   ! "  7 ( 1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 ( 1 " ( " & (   "$"! $ 1 "  " ) "  " 7 + ( - !  7 ( 1  $"!  -  7 ( 1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 ( 1 $ 3 "  "$"!#1 ! #$ (  1 7 ) ( &  - (  1 7 7 7 ( " ( 3 -  (  - " ( 5". " (

 $ ##"%$'& 1 & (   -  & !    3  B -  &'7 ( 1 &  + &  3    (   7 &147 $ ( &  - ( $ $ 3   # +7  7 (  1  $"!.$ 3   #   7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 (  1  $"! (43 - " !#  7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 $ ( &  - ( $ $ 3   #   +7  7 (  " 6 $  $ (43 -  ( " ( 

 $ ##"1 &  + &  3   ( #1  3 1 9 ! ! 7 7 1  !% -  - $%  & ! 9 7 7A" (  1 ( &  - "$"!#1 ( &  - ( >147 $ ( &  - ( $ &  + &  3   (  +5+7  7 (  1  $"! ! ?A@0 7 ( 1  &  $ 6 + 9   ! 3   3 & ( &   !% -  - $% '&! 9  7  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $   2"  3  + " +7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $  ! -  - $'&!  + +757  7 (  1  $"! + !  -  -  7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 (  1 !# $ &%+  "$"! 1 !# $ ( >147 7  7 (  1  (  &  ( %  $ ! $ 1 "  " ) "A1  3 1 .  @ ! 7 7A" 7 +  @0 7 ( @ 7(  1  $"! ! ?A0  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ (&- ( Qs

)

$

1 # " - "  !  - 1 3 

 ! - 

-







13  & (   ! +  1 ( 3 6 $#"$"! 1 @  "  1  3 1  @   1 3  1 ( 3 6 $#"$"! &    

    





!

 

)

+





$#

$

" "$"!

 

&  + &

,& (

#

  



3&    

 $% '&

+

! # $ ( 

)

(2 





 ! - 



( &

- ( 

)

 !% - 

&  "  



9# 7 1 &  "   

$% '& 53  ( 1 !%  '   ?

$%  & !



!

"!  (



     (



 



 7 9 7 9 1  $"!#1 $ 3  # - '& '

1 $ (   ( &  - % $ ! ( & - (  1 $ (   + 3 # # ( & - % $ ! ( & 1  $"!.$ 3   # -  &  1 $ (   ( &  - %  $ ! ( & - (  1  $"! &  +" !#  1 $ (   ( &  - %  $ ! ( & - (  "  3 " &  + (

&     





 5+ 7 7 ( 1 147  1 7 7 7 7 (  3 7 " 6 1  3 1 . @ ! 7 7 1

1 . @ ! 7 7  7 1    1 . @ ! 7 7 7 9 7 9 72& 7" 7 ( @  "  1  3 1 .  @ ! 757 " . 1&  53  1    ? 1   @#  1  3 & 7A" 7 (       3 7 7 ( 1  1 7 7 7 (   1  >147  $ 3   

   7( 1  1 7 7 7 ( 7( 1  17  $ 3       5+7 "(

$'&!





'  

!%

( (





"  

1 .  @ ! 757

"!  (

( 

)





- ( 

$ ( &

- (

$

#

5+ 7  7 (



- '& '



$ ( &

- (

$

#

-  & '



7(

 $ ##"%$'&   - #  - $  & !% (     !  (      ! (    &147 $ ( &  - ( $ &  $ 6 " !%  - ( 5+7  7 (  1  (  &  ( %  $ ! $ 1 " 6 0 " ) "A1  ! -  - $'& ! 9 7" 7 + &  +    1 $% $"!  7 (  1  $"!  3  &  +   (  7 ( @ 7(  1  $"! $ ## 0 @ 7(  1  $"! $ ## 0 @ 7(  1  $"! &%+ + 0

$%  & !

97 7

9 ! ! 

7'7

!

1 1 6/) 7 

7( 

7



-  ( 



-  ( 

(

.



7(

.



7(

7

 

(



1

@

-  -   +

)



!

7 6  $

& " "!  & 

 #1  >147  $   5+7 7 ( 1 3    1  >147    3           A? " 757 ( 1  "  " 1 9 1 3 6  "A151 6   6 7 1  3 757 1

1   $ 1 "  " "A1 6   6 7" 7 + 7( 1   #1  >147  $

 +7 6    1 7( 1 7( 1   $ 1 "  " "A1  3 7A" 7 + 7( 1   #1  >147  $

 +7 1  3  7( 1 7( 1  7( 1 7( 1 7( 1   #1  >147  $

 +7 ?A@ 7 ( 1 6    1 7( 1 7( ?A@ 7 ( 1 1  3  7( 1 7( ?A@ 7 ( 1 1 #" - "  !  - 1 3  1 147  17  53      " 6    "  "  3  " +757 1 #" - "  !  - 1 3  1 147  17  53      " 6    "  "  3  " +757 @  1 7 9 1 3 6  "A151 6   6 7 1  3 757 1

1 3 6  " 6   6  " !   3  #" ! " 7 ( 1 #" - "  !  - 1 3  1 147  17  

1(



+

&



( &

# #

#$'& !%



(



( &

- "$"!

- ( 

$ ( &

( &

- "$"!

& (

 -  & (



"$"!

- ( 

!% 

( &



 $"!



$% $"!

$

( &



 $"!



$% $"!



 $"!



$% $"!





$% $"!





( &

)

- ( 

$ + !





( &

- "$"!

! 

0



 $"!

$



$% $"!





 $"!

! 



 $"!



$% $"!





 $"!

! 

$

 !% - 

( - !

$

$ ( &

- (

 ! - 

)

) 



. 6  +5+ 7  7 (

- " (  '& 

$%  & !

7   ! "  7 (



$'&!

+



7(

( - !



- ( 

$ ( &

- (

 ! - 

$'&!

+



7(

- ( 

$ ( &

- (

 ! - 

$'&!

+



7(



$ + !

0



+ !

0



 $%   &

$

 $%   &

" (

) %

+

$

)

$# "$"!



(

$# "$"! 

$

$

$

$

$

 

" "$"!

( &

$



- ( 

)  

+

)

( &

$  ( &

- ( 

+

- ( 

)  

+

$  ( &





+



 !% - 



! # $ ( 

)



7(

- (

& " "!  & 

)

$

$

)

! # $ ( 

) %

+

-  -   +

(

$

" "$"!

" (



! # $ ( 

" "$"!





+

)



-

 $"!

!%

'  - '& (

+



( &



& ( '  -  &! % "



+ !

- "$"!

!%









- (



$

" ( "& (  "$"!



- (

"!%

)

$

( &

- "$"!

$



" ( "& (  "$"!



$ ( &

&

) #$ '& ! ,

+

$# "$"!



- (

$%  & !

7(

 A?

"!  (



+

)

 A?

"!  (



+

)

"!  (



+

)

$ !%  

 

$ !%  

 

7   ! "  7 (



( &

- ( 

$  ( &

- (

$ !%  

 A?

 

" 6 $  $ + " )    "  3  + " +757  7 (  1 + 3 # # ( &  - "$"! 1 ( &  - ( >147$ ( &  - ( $  !% -  - $%  & !  + + 7  7 (  1  "  " 1 "$"! !% A? "  757 (  1 $% $"!  7 (  1  (  &  ( %  $ ! $ 1 " - " ) "A1  ! -  - $  & !% 9 7A" 7 ) 1 " $ " ) "A1 6 $  $ 6 7" 7 ) 1 " " ) "1  3 7" 7 ) 1 " -  &" ) " -  &" 7 ) 1 " " ) " " 7 + & ( "&  -    7 (  1 $% $"!  7 (  1 $% $"!  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $ &  $ 6  !  - ( 5+ 7  7 (  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $  ! -  - $'&!  + +7  7 (  1  $"! 6 $  $  + !  7 (  1 $% $"!  7 (  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $  ! -  - $'&!  + +7  7 (  1  $"!  3  + !  7 (  1 $% $"!  7 (  " $ ( &! %       + " ( !%

 



 $%   &

 $ ##"

53

" (





) %

+



1 6 $   (

&  + & 1  3 1 9   ! 757 (  6  9  !     9   9  @  ! 7  1 1 6 $   $ 6/)  3  7    ! 7 (     ! (      $ #  ! -  1& "    :/6  6 9  !  1 6 $  $ 6 ) 7  ;:     9   ! &      1  )  3  7    !  & 7 9 " ( 1 -  + + : 6  6  9  !  1 6 $   $ 6/)  7     !    9   ! 1 !     A? !, ( :     1 )  3  7  1 ( &  - "$"!#1 ( &  - ( >147 $ ( &  - ( $   $#  !% -  +5+7  7 (  1  $"! ! ?A@0 7 (  1 ( &  - "$"!#1 ( &  - ( >147 $ ( &  - ( $ (435(  +5+7  7 ( @ 7(  1  $"! ! ?A0  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $ (435(  +5+7  7 ( @ 7(  1  $"! ! ?A0 1 -  + + : 6  6  9  !  1 6 $   $ /6 )  7     !    !     A? !, ( :     9  ! !  1  )  3 7   1 @ 7(  1  $"! /3 $ # &          3  



$'&





- # 

-

$  & !%

" 7 + 7( 1 7( 1 3 6  "A151 6   6  3 7  ! 7" 7 ( 1    1  1 7 7 7 ( 1 3    1  >147  $   A? " 757 ( 1  "  " 1   1 3    1  >147  $ A? " 757 ( 1  "  " 1 1  ="  -5-     ! ! "  1 35  7" 7 1  ="  -5-     ! ! "  1 6  7" 7 1   $ 1 "  " "A1 6   6 7" 7 + 7( 1   $1" " " "7+ 7( 1  " 7 ( 1 7( 1   $ 1 "  " "A1  3 7A" 7 + 7( 1  " 7 ( 1 7( 1 7( 1 #" - "  !  - 1 3  1 147  1 7 7 7 7 ( :   9  ! !  1   3 7 1     A?  ;: 6 6 9  !  1 6   6  7  !  1  1   #1  >147  $ 435  5+7 7 ( @ 7( 1 1(



&



( &

- "$"!



!# $ &%+  "$"!



  $

- ( 

$ ( &

!# $ ( 



$% $"!



( &



 $"!

! 

0



$% $"!





 $"!

! 



!# $ &%+  "$"!

)

( - "!

- ( 

$ ( &

$% $"!



(

$# "$"!



$ (

( &

!# $ ( 

( &

# #

+

$

( - "!

!, (

( &





$ ( &

- (

$ ( &

- (

- # "



- ( 

!% 

$  & $#

/





7 7

& ( #



 &  "$"!

/





7 7

& (

$



" ( "& (  "$"!

)



" ( "& (  "$"!

)

$% $"!



$% $"!





$% $"!



&

$



+



 $"!

( - !

- "$"!

" "$"!



!



( &

( - !

$



+

(

 

#

(





)





 5+7 7 (

)  "$  (

+

( - "!



)

- ( 



-

 $"!

-  +













-

&

" ( "& (  "$"!



+



 &  "$"!



5+7  7 (

$'& !%



( &

"$"!





 $"!

7( 



- ( 

!% 

- "$"!



- ( 

( &

- "$"!





+



/)

$

( &

"$"!

# #





!



)

- % $ !





- (









0

" ( "& (  "$"!

+



+



( &



( 



 $ !

- "$"!



(



" ( "& (  "$"!



- (



( &



- ( 

! # $ ( 

!, (







$

$ ( &

- (

( &



$

(



)

/)

( 

$ ## 0





+

 





  !  9  7 7



 =" 6 " 7 ( ?A@ 7 ( 1 1   3    1 1 3    1  A? " 1  "  " 1 1   $1" " 1 7( 1  " 7 ( 1 3 6  "  A? " 1  "  " 1 1 3    1  A? " 1  "  " 1 1  7( 1   $1" " 1 #" - "  !  - 1 3  $ 43  3     1  " 7 (  ! 1  =" @ 7( 1 1   $1" " 1 7( 1  " 7 ( 1   $1" " 1   3    1 1   7 ( 1   $1" " 1 7( 1 3    1  A? " 1  "  " 1 1   $1" " 1 #" - "  !  - 1 3  1   $1" " 1 #" - "  !  - 1 3  1





 $



 $"!



$ (



+

! 

+

0 ( &

# #

( &

# #

- % $ ! ( &

- "$"!







 $ !

" ( "& (  "$"!

 

$% $"!



 $"!



(

+

( &

!% 

( &

- "$"!







  $%"  $ !





"$"!

# #

-

!% 

"$"!

(

$

"A1 6

+

 $"!



 &  "$"!



 $"!

&

) !%







$% $"!



 $"!



  $%"  $ !

+

( &

# #

- % $ !

( &

# #





( &

- "$"!

!% 

"$"!

" ( "& (  "$"!







$

"

$

"

" ( "& (  "$"!





- (

)

" "$%" 7 +

( - !

)

"6 "7+

( - "!

7( 

( &



>147

- ( 

7( 

$ ( &



- (

$ ! 

'

 ?



!, (

 + 7 7 (

+

)

" >" 7 +

( - "!



7(



$% $"!

+





" ( "& (  "$"!



 ( &





$ (



$







6 7" 7 + ( - !  7 ( 1 ! # $ (  147 ) ( &  - (  1 7 $  A? !, (  +5+7 7  7 (

  $

$ ## 0

" ( "& (  "$"!



7(

" 7(



" ( "& (  "$"!





+



-



)

" "$"!

 (

- "



( - "!

$&







- (

$ !  '   ? !, (  + + 7  7 (  7 ( &  3  

 ( 

+ +7

    9    !  1   1  3  7 7A"  7 (  757 ( ( >147$ ( &  - ( $ & ( 6 #  +5+7  7 (  757 (

" ( "& (  "$"!





( &

- (









>147$  757 ( ) "  " 7 +



$ ( &



$# "$"!



>147

- ( 

- ( 

!% 

"$"!



( &



>147$ ( &  - ( $ !%  '   ? "!  (  + + 7  7 (  757 ( ) "A1  3 7A" 7 + ( - !  7 ( "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 ( ) " >" 7 + ( - !  7 ( "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 ( - ( 





1 $% $"!  7 (

  

1 1 

1 1                 

$&















@ 7( 1  $"! $ ## 0 1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 ( " + +  !%     $%   & 53 " ( : 6  6  9  !  1 6 $   $ 6/) 7     !  9 ' 7 ;:      9  ! !  1  )  3 7    !  '7 @ 7( 1  $"! /3 $ # &    " + +  !%     $%   & 53 " ( : 6  6  9  !  1 6 $   $ 6/) 7     !  9 '7  ;:     9  ! !  1  )  3 7    !   '7 1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $ (435(  +5+7  7 ( @ 7( 1  $"! $ ## 0 1   $    $ !="  "  7 ( @ 7( 1  $"! ! ?A0 1 $ (   + 3 # # ( &  - %  $ ! 1 ( &  - ( >147 $ ( &  - ( $ !  '  $ '& 3 " (  + + 7  7 ( 1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $ ( 3 -   3   (  + + 7  7 ( 1  "  "  1 "$"! !% A? "  757 ( 1 " ( " & (   "$"! $ 1 "  " ) "  " 7 + ( - "!  7 ( 1 $% $"!  7 ( 1  $"!  "  7 (    6  9  !  1   1 6 $  $ 6 757A"  7 ( 1 ( 3 6 $# "$"!"     1  "  "  1 "$"! !% A? "  757 ( 1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $ & ( # 35  +5+7  7 ( 1  "  "  1 "$"! !% A? "  757 ( 1   $%"   $ !  7 ( 1 " ( " & (   "$"! $ 1 "  " ) "A1  3 7A" 7 + ( - !  7 ( 1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( + &  3  

( 

+ ) !     $    & 53  (  + +A7 7  7 ( 1  $"! &  - "  7 ( 1  &   "$"!="    ! "  7 ( @ 7( 1  $"! $ ## 0 1 " ( " & (   "$"! $ 1 "  " ) " "$%" 7 + ( - !  7 ( 1 $% $"!  7 ( 1  $"!  "  7 ( 1 " ( " & (   "$"! $ 1 "  " ) " 6 " 7 + ( - "!  7 ( ?r

1 $% $"!  7 (  1   $%"   $ !  7 (  1 " ( " & (  "$"! $ 1 "  " ) " >" 7 + ( - "!  7 (  1 $ (   + 3 # # ( &  - % $ ! 1 ( &  - ( >147 $ ( &  - ( $ !  '  $ '& 3 " (  + + 7   1 + 3 # # ( &  - "$"! 1 ( &  - ( >147$ ( &  - ( $ !%  '   $  & 3 " (  +5+7  7 (  1  "  "  1 "$"! !% A? "  757 (  1 " ( " & (   "$"! $ 1 "  " ) "A1 6 $   $ 6 7" 7 + ( - !  7 (  1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 " ( " & (   "$"! $ 1 "  " ) " 6 " 7 + ( - !  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 $% $"!  7 ( @ 7(  1  $"! $ ## 0  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 ( 1  - " + + :     9   !  1  )  3  7    !    !     $% '& 53  ( : 6  6  9  !  1 6 $   $ 6/) 7     !  9  1   1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $ (435(  +5+7  7 (  1 !# $ &%+  "$"! 1 !# $ ( >147 7  7 (  1   $    $ !="  "  7 (  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $ !     $ '& 3  (  + +A7  7 ( @ 7(  1  $"! ! ?A0  1 $% $"!  7 ( @ 7(  1  $"! ! ?A0 @ 7(  1  $"!.$ # # 0 @ 7(  1  $"! &  - 0  1 " ( " & (   "$"! $ 1 "  " ) " 6 " 7 + ( - "!  7 (  1  "  "  1 "$"! !% A? "  757 (  1 $% $"!  7 (  1 " ( " & (   "$"! $ 1 "  " ) " >" 7 + ( - "!  7 (  1 $% $"!  7 (  1  "  "  1 "$"! !% A? "  757 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $  - # " - $'& !%  +5+7  7 (  1  "  "  1 "$"! !% A? "  757 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $  $  & $#    + )  "$  (  +5+7 



7(

7



7

7(

 ="  1  ="  1  "  " 1 1   1   1  " 1 7( 1   1  " 1 7( 1    1 3  #1 "  "(      

( &

$



7 7



7"  7 ( 7 "  7 (

( - "!

7( 



$ (



1(

- % $ !

&



! #$ ( 

" "$"!

1 7 7  7 ( &  - (  1 7 7 7 (

- ( 

17 )

(

- ( & + !





&

$% $"!



7 7

$ 1 "  " ) A" 1  3  7A" 7 +

7( 

-

 $"!







" ( "& (  "$"!



 

&  "$"!

$% $"!





 ! ! "  1 & ( # 53      ! ! "  1 & ( 6 #   757 ( " ) "A1 6 $   $ 6 7 " 7 + ( - !  7 ( " ) "  " 7 + ( - !  7 (

-5- /   5- - /    &  "$"! 

"$"! !% A? " " ( "& (  "$"! $1" " ( "& (  "$"! $1"  7 (

 $"! &

1 



 "    " (  #"%$'&  &147  $  1  @ 7 ( 1 5. 6  7 1   $ 1 "  " " 6   %" 7 + A? " 757 ( 1  "  " 1 1   $1" " " 3 "7+ A? " 757 ( 1  "  " 1 1   $ 1 "  " "A1  1 35 ?A@ 7 ( 1 1   #1  >147  $ @ 7( 1 -  # "! $#

+ 



$ # (

- # 



 (

- "



!  " 

$#



$



)

$





- " (  '& 

-  &





- " (  '& 

- ( &

- ( &

-  &



( &



 $"!

- "$"!















 (



 $"!



( &



 $"!

6

  $

$

(



3



1 3

1 9 !  ! 7 7 7 

- (



    ! 7 7A" (  7 (

 7 - " (  '& 

"$"!





$'& !%

$ ( &

)

!% 

"$"!

0

- "$"!

( &

!% 

7(

( - "!

  $

7( 



)

- ( 



( - !

$

)

&  (  % $ ! ! 

$



" ( "& (  "$"!



97 7 $'&! 9 7 7   ! 7 1 -  &   + 7

$'&!

 ! - 

- ( 



7 7



 ! - 

( &

)

 ! - 

" ( "& (  "$"!







- 0

&

-  && (



- ( &

-  &

7  1&+&3  7  9 @  ! 7 



$

$

 "& 

 

$  & !%

!

$ ( &



#

- (



$ ## 0

Qp

16 $





@ 7( 1 ! #" ! 757 57 7A" 7 +  0 5. 6  +5+7  7 (

- " (  '& 

@ 7(  1  $"! &  - @0 7 (  1  $"! (43 -  #% (( 7 (  1 $% $"!  7 (  1 ( 3 6 $# "$"!"   " !   9  ! "  7 (  1  &  "$"!="  -5- 6  9  !   - -   9 ! !  1 1 6 ) 7  9 @  ! 7 1 1 6 $   $ /6 )  3  7     ! 7A"  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >147$ ( &  - ( $ ( 3 -   3   (  + + 7  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ (&- ( $  ! -  - $  & !%  + )   $ #  ! -  +5+7  7 (  1  "  "  1 "$"! !% A? "  757 (  1 $% $"!  7 (  1 ( 3 6 $# "$"!"   " !   9  ! "  7 (  1  &   "$"!="  -5- 6  9  !   - -   9  ! !  1 1 6 ) 7  9 @  ! 7 1 1 6 $   $ /6 )  3  7     ! 7A"  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $ ( 3 -   3   (  + + 7  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ (&- ( $  ! -  - $  & !%  + )   $ #  ! -  +5+7  7 (  1  "  "  1 "$"! !% A? "  757 (  1 $% $"!  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $  ! -  - $  & !%  + )   $ #  ! -  +5+7 7  7 ( 1 - ( & & (   -  (  . & 6 '7 6   6  9  !  1  (  &  ( %  $ ! $ 1 "  " ) "A1    1 &  "    : 1 1 6 $   $ 6 7 ) 7    !  ) &  "    :     9  ! !  @ 7( 1  ) 1  3  7 7     !  & 7 7" 7 +  0 @ 7(  1  $"! ! ?A0  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $    - " ( 5'. &  6  +5+7  7 @ 7(  1  $"! $ ## 0 @ 7(  1  $"! $ ## 0 @ 7(  1  $"! &  - 0 

1  $"!

$ ## 0



7(



7(



7

Qs



(



1(



&



 #1 ?A@    ?A@    ?A@ :

- "$"!

1  $"!

    

1 1             

1 1 























( &



>147

- ( 

$ ( &



- (

$

 ! - 

-

 +7 7 (

$'&!

+



7( 1 $ (  ( & - % $ ! 1 ( &  - (  1 7 $ ( &  - ( $ - ( &  + ! + 7  7 ( 1  $"! !  0 7 ( 1 $ (  ( & - % $ ! 1 ( &  - (  1 7 $ ( &  - ( $ - ( &  + ! + 7  7 ( 1  $"! !  0 7 (  6  6  9  !  1 6 $   $ 6/)  7     !  -  + + 7  ;:/6  6  9  !  1 6 $  $ 6 ) 7    !  7 1 ( &  - "$"!#1 ( &  - ( >147 $ ( &  - ( $ (435(  +5+7  7 ( @ 7( 1  $"!.$ # # 0 @ 7( 1  $"! &  - 0 1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $  - # " - $'& !%  +5+7  7 ( 1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $  $  & $#    + )  "$  (  +5+7  7 ( 1  "  "  1 "$"! !% A? "  757 ( 1 " ( " & (   "$"! $ 1 "  " ) "A1 6 $   $"$7A" 7 + ( - !  7 ( 1 " ( " & (   "$"! $ 1 "  " ) "  " 7 + ( - !  7 ( 1  $"! &  - "  7 ( 1 $% $"!  7 ( 1 " ( " & (   "$"! $ 1 "  " ) "  " 7 + ( - !  7 ( 1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 ( :     9  ! ! -  + + 7  1  )  3 7    !   ;:     9  ! !  1  )  3  7     !  7 1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $ (435(  +5+7  7 ( @ 7( 1  $"!.$ # # 0 1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $  - # " - $'& !%  +5+7  7 ( 1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $  $  & $#    + )  "$  (  +5+7  7 ( 1  "  "  1 "$"! !% A? "  757 ( 1 " ( " & (   "$"! $ 1 "  " ) "  " 7 + ( - !  7 ( 1 " ( " & (   "$"! $ 1 "  " ) "  " 7 + ( - !  7 ( 1  $"! &  - "  7 ( 1 $% $"!  7 ( 1 " ( " & (   "$"! $ 1 "  " ) "A1  3 "$A7" 7 + ( - !  7 ( 1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 ( ! 

0



1

-  &



&

1(

$  3- ( &



 #1 ?A@ 6 @ #1  7( "  !   3   #1 ?A@ 7( @  @    ?"   7(  " 7 ?"    " 1    7(  " "  !  7(

1

1 $% $"! 1 #" -

$(3

- "

1(



&





- "$"! ! 



1

( &

7( 7(

- "$"!

7(

! 



" ( "& (  "$"!

1 $% $"!

( 

7

(





1  $"! !  1 + 3 # # ( & 1  "  

1( &



>147$

- ( 

$1" " )" "7+



  

1 $% $"! 

1  $"! 1 #"   

1



147

(

$ & ( # 3  + + 7  7 (

)



( &



- (

( - "!





- (

( - "!



( &

7(

1 ( &  - ( >147$  5

"$"! !% A? " 77( 1   $%"  $ !  0  7 ( 1 " ( "& (  "$"! $ 1 "  " ) "  " 7 + 

7( 

17

- ( 

$  ( &



- (

$(3

- 

 3



 + 7 7 (

(

7(



1  $"! 

 

1 $ 3 " "$"! 1 ! # $ (  7 (

( 

+5+7 7 ( &  - ( >147 $ ( &  0 7 (

- 0

&

1  $"! 

$

7

-  &

+

$   " &  . +5+7  7 (

- (

$ ## 0

1  $"! 1 + 3 # # 

3 %@



$ ( &

.

'7



1  $"! 

3

+  !  & (



1 $% $"! 

7(

-  0#



1  $"! 



&  "  (

$ ## 0





 

1  $"! 1  $"!



7(

'&



-

0

! 

- ( && (







( &

- "$"!

1  $"!



. ( >147

$%" 0&  "  (

- "$"!

( &

$ & ( # 53  +5+7  7 ( 7(



-

&



1 $% $"!

- ( && (



7( 1 $ 3 " "$"! 1 ! # $

( 

147 )

( &



1 7 7 7  7 (

- ( 



# +

.

&  "  (

+

'7

-  &

1  $"! $ ## @0 7 (  1 ( 3 6 $#"$"!"   " !  : 6  6  9  !  1 6 # 35 1 6 $  $ 1   " ! 757 7     !  "  7 (  1 ( 3 6 $#"$"!"  @ !  :     9  ! !  



  $

$

6/)

+



1 # 3 1 6 $  $ 1  #" ! 7 7 /)  3  7     !  "  7 (  1 $ (   ( &  - % $ ! 1 ( &  - (  1 7 7  7 ( 1 -  + +  1   @ !  :     9   !  1 # 3 1 6 $   $ 1    " ! 7 7 )  3  7    !  1  $"! /3 $ # &   @ 7 ( 1   @ !  ;:     9 ! !  1 # 35 1 6 $  $ 1  #" ! 757 /)  3 7     1 ( &  - "$"!#1 ( &  - ( >147 $ ( &  - ( $ (435(  +5+7  7 (  1  $"! $ ## @0 7 (  1  $"! ! ?A@0 7 (  1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $  ! -  - $  & !%  + )   $ #  ! -  +5+7 7  7 (  1  $"!#1  -  0# 3 !" BA7  7 (  1 $% $"!  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >147$ ( &  - ( $ ( 3 - "  3   (  + )  !% -  - $   & !  + )   $ #  ! -  + + 7  7 (  1  "  "  1 "$"! !% A? "  757 (  1  &   "$"!="  -5- 6  9  !   - -   9  ! !  151 /6 )  7  9 @  ! 7  1 1 6 $   $ /6 )  3  7     ! 7A"  7 (  1  &   "$"!="    " !  !%     A? "!  ( 1   @ ! 7 9 "  7 (  1  &   "$"!="   @ !   9    ! "  7 ( 9    @ ! "  7 (  1  &   "$"!=" !     $ '& 3  ( 1  #" ! 7 0  1  &   "$"!="  -5- .    !  "      6 $  $ 1 9  ! 7  & ( # 3   1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ (&- ( $ &  + &  3    (  + )  ! -  - $ '&!  + ) %  $ #  !% -  + +7  7 (  1  "  "  1 "$"! !% A? "  757 ( 9    @ ! "  7 (  1  &   "$"!=" !     $ '& 3  ( 1  #" ! 7 0  1  &   "$"!="    " !  !%     A? "!  ( 1   @ ! 7 9 "  7 (  1  &   "$"!="    " !   9   ! "  7 (  1  &   "$"!="  -5- .    !  "       3 1 9  ! ! 7  & ( 6 # ; ."  1  &   "$"!="    " !  :/6  6  9  !  1 6 $  $ 6 ) # 35 1 6 $  $ 1   " ! 757 7     !  "  7 (  1  &   "$"!="  -5- 6  9  !   - -   9   !  1 1 /6 )  7  9  @  ! 7 

'7  ' 7 ! 7

." 7(



7(

1 1 6

6/)  3  7     ! 7A"  7 (  1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 + 3 # # ( &  - "$"! 1 ( &  - ( >147$ ( &  - ( $ ( 3 -   3   (  + + 7  7 ( @ 7(  1  $"! $ ## 0  1 " ( " & (   "$"! $ 1 "  " ) "  " 7 + ( - !  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 " ( " & (   "$"! $ 1 "  " ) "  $%" 7 + ( - !  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ (&- ( $  ! -  - $  & !%  + )   $ #  ! -  +5+7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $  ! -  - $  & !%  + )   $ #  ! -  + ) !  '   ? !  (  + ) !  '    $ '& 3 " (  + + 7 7  7 ( 1 :     9  ! !  1 # 35 1 6 $  $ 1  #" ! 757 )  3 7    !     1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $ (435(  +5+7  7 ( @ 7(  1  $"!.$ # # 0 @ 7(  1  $"! &  - 0  1  $"! ! ?"  7 (  1 ( 3 6 $# "$"!"   " !  :  &   " !  ;:  "  7 (  1  $"! & ( ?"  7 (  1  &   "$"!="    " !  :/6  6  9  !  1 6 $  $ 6 ) # 3 1 6 $  $ 1    " ! 7 7 7    !  "  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ (&- ( $  ! -  - $  & !%  + )   $ #  ! -  +5+7  7 (  1  "  "  1 "$"! !% A? "  757 (  1  &   "$"!="    " !  !%     A? "!  ( 1   @ ! 7 9 "  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 #" - "   !  - 1 + #  6 $ # ( %  $"! $ 2" 3  & . $ " + 7  7 (  1 #" - "   !  - 1    &   6 $# ( %  $ ! $    " 3  & .  $  " +7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 ( 6   6    " ! "  7 (  1 ( 3 6 $# "$"!"    1  $"!  "  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ (&- (

  $

$

147$ ( &  - ( $ ( 3 (   + ) !     $% '& 3  (  +5+7  7 (  1 " ( " & (   "$"! $ 1 "  " ) "  $%" 7 + ( - "!  7 (  1  $"! &  - "  7 ( @ 7(  1  $"! ! ?A0  1 $% $"!  7 ( @ 7(  1  $"! ! ?A0 @ 7(  1  $"! $ ## 0  1 " ( " & (   "$"! $ 1 "  " ) " 6 $%" 7 + ( - !  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1   $%"   $ !  B  7 (  1 " ( " & (   "$"! $ 1 "  " ) "  $%" 7 + ( - !  7 (  1 $% $"!  7 ( 6     " !  1 1 6 $  $ 6 7 )  1 ( 3 6 $# "$"!"   1 # 3 1 6 $  $ 1  #" ! 7 7 7 7    ! "  7 (  1   $%"   $ !    7 (  1 " ( " & (   "$"! $ 1 "  " ) " 6 $%" 7 + ( - !  7 (  1 $% $"!  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $  - # " - $'& !%  +5+7  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $  $  & $#    + )  "$  (  +5+7  7 (  1  "  "  1 "$"! !% A? "  757 (  1 " ( " & (   "$"! $ 1 "  " ) "A1 6 $   $ 6 $7A" 7 + ( - !  7 (  1 " ( " & (   "$"! $ 1 "  " ) "A1 # 35 1 6 $  $ 1  #" ! 7 7 7A" 7 + ( - !  7 (  1  $"! &  - "  7 (  1 $% $"!  7 (  1 " ( " & (   "$"! $ 1 "  " ) "A1  3 "$A7" 7 + ( - !  7 (  1  $"! &  - "  7 (  1 $% $"!  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 ( 



1 $% $"!  7 ( 1 $% $"!  7 ( 1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ 1 ( &  -  "$"!#1 ( &  - ( >147 7  7 (

   

1 1  1 

-  +

+

( 

147 )

( &



- ( 

1 7 7 7  7 (

7



 " !  :/6  6  9  !  1 6 $  $ 6 ) # 35 1 6 $   $  #" ! 7 7    !      " !  ;: 6  6 9 !  1 6 $   $ 6/) # 3 1 6 $  $   " ! 7 7     !   1  $"! /3 $ # &   @ 7 (  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $ (435(  +5+7  7 ( @ 7(  1  $"! $ ## 0 @ 7(  1  $"! ! ?A0  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $  ! -  - $  & !%  + )   $ #  ! -  +5+7 7  7 (  1  (  &  ( %  $ ! $ 1 "  " ) "A1 6 $  $"$A7" 7 ) 1 "  " ) "A1 6 $   $ 1  #" ! 7 7A" 7 + ( - !  7  1  $"!#1  -  0# 3 !"  7  7 (  1 $% $"!  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ (&- ( $ ( 3 - "  3   (  + )  !% -  - $   & !  + )   $ #  ! -  + + 7  7 (  1  "  "  1 "$"! !% A? "  757 (  1  &   "$"!="    " !  !%     A? "!  ( 1   @ ! 7 9 "  7 (  1  &   "$"!="   @ !   9    ! "  7 ( 9    @ ! "  7 (  1  &   "$"!=" !     $ '& 3  ( 1  #" ! 7 0  1  &   "$"!="  - - .    !  "   ; :6 $  $ 1 9   ! 7  & ( # 3  ."  1  &   "$"!="  -5- 6  9  !   - -   9   !  1 1 /6 )  7  9  @  ! 7  1 1 6 $   $ /6 )  3  7     ! 7A"  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 ( 1 : 6  6  9  !  1 6 $   $ /6 ) # 3 1 6 $  $    " ! 7 7     !    #" !  1 ( &  -  "$"!#1 ( &  - ( >147 $ ( &  - ( $ (435(  +5+7  7 ( @ 7(  1  $"!.$ # # 0 @ 7(  1  $"! &  - 0  1  $"! ! ?"  7 (  1 !$ (  "$"!="   @ !  :  "  7 ( 





7 ' 7

(

7( 

'7



$

1 + 3 # #  ! - 

-

( &





- "$"!



$  & !%

1(

+

 & )



>147$

- (  



$ #



( &



- (

 5+7 7 (

 ! - 

+



1  "  " 1 "$"! !% A? "  757 (  1  &   "$"!=" !    $ '& 3  ( 1  #" ! 7 90   @ ! "  7 (  1 $ (   + 3 # # ( &  - % $ ! 1 ( &  - ( >147 7  7 (  1 #" - "   !  - 1 + #  6 $ # ( % $"! $ 2" 3  & .$'B%" + 7  7 (  1 $ (   ( &  - %  $ ! 1 ( &  - (  1 7 7  7 (  1 ( 3 6 $# "$"!"        @ ! "  7 (  1  $"!  "  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ (&- ( $  ! -  - $  & !%  + )   $ #  ! -  +5+7  7 (  1  "  "  1 "$"! !% A? "  757 (  1   $%"   $ !  7 (  1  $"! /3 $ # &   "  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ (&- ( $ ( 3 (   + ) !     $ '& 3 " (  + +7  7 (  1 " ( " & (   "$"! $ 1 "  " ) " >" 7 + ( - !  7 (  1  $"! &  - "  7 ( @ 7(  1  $"! ! ?A0  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 ( @ 7(  1  $"! ! ?A0 @ 7(  1  $"! $ ## 0  1   $%"   $ !  7 (  1 " ( " & (   "$"! $ 1 "  " ) " >" 7 + ( - "!  7 (  1 $% $"!  7 (  1  "  "  1 "$"! !% A? "  757 (  1   $%"   $ !    7 (  1 " ( " & (   "$"! $ 1 "  " ) " 6 " 7 + ( - "!  7 (  1 $% $"!  7 (  1 $% $"!  7 (  1 $% $"!  7 (  1  $"! /3 $ # &   "  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $ !%  '   ? "!  (  

t3r

+

435( % + + 7  7 (

) (

1 

1







" ( "& (  "$"!



 $%"  $ !





$ 1 "  " ) "  %$ " 7 +  7 (

( - "!



7(

" 7(  1  $"! !  ?A@0 7 (  1 $% $"!  7 ( @ 7(  1  $"! ! ?A0 @ 7(  1  $"! $ ## 0  1 ( 3 6 $# "$"!"      @ !  1 1 # 35 1 6 $   $ 1   " ! 757 7 ) 1  3 757     ! "  7 (  1 " ( "& (   "$"! $ 1 "  " ) "  $%" 7 + ( - !  7 (  1 $% $"!  7 (  1   $%"   $ !    7 (  1 " ( " & (   "$"! $ 1 "  " ) "  $%" 7 + ( - !  7 (  1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1   $%"   $ !    7 (  1 " ( " & (   "$"! $ 1 "  " ) "  $%" 7 + ( - !  7 (  1 $% $"!  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $  - # " - $'& !%  +5+7  7 (  1 + 3 # # ( &  -  "$"! 1 ( &  - ( >14 7 $ ( &  - ( $  $  & $#    + )  "$  (  +5+7  7 (  1  "  "  1 "$"! !% A? "  757 (  1 " ( " & (   "$"! $ 1 "  " ) "A1 6 $   $"$7A" 7 + ( - !  7 (  1 " ( " & (   "$"! $ 1 "  " ) "A1 # 35 1 6 $  $ 1  #" ! 7 7 7A" 7 + ( - !  7 (  1   $%"   $ !   7 (  1  $"! &  - "  7 (  1 $% $"!  7 (  1 " ( " & (   "$"! $ 1 "  " ) "A1  3  $A7" 7 + ( - !  7 (  1   $%"   $ !   7 (  1  $"! &  - "  7 (  1 $% $"!  7 (  1  $"! &%+ + "  7 (  1   $%"   $ !   7 (  1  $"! &  - "  7 (  1 $% $"!  7 ( 

1  $"!

&



-

t

1 $% $"!  7 (  1 $% $"! BA7 (  1 $% $"! BA7 (  1 #" - "   !  - 1 $ 3 " "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7 BA7 ( @ 7(  1  $"! $ ## 0  1  $"!#1  -  0# 3 !" BA7  7 (  1 $% $"!  7 (  1  &   "$"!="  -5- 6  9  !   - -   9 ! !  1 1 6 ) 7  9 @  ! 7  1 1 6 $   $ /6 )  3  7     ! 7A"  7 (  1  &   "$"!="  -5- "$     " !   $  9  !  1  -5-     @ !  1  $ )  7  9 @  ! 7  1  -5-     @ !    9 ! ! 7A"  7 (  1  &   "$"!="  -5- "$    @ !   $  9   !  1  -5- 6     " !  1 6 ) "$7  9 @  ! 7  1  -5-    #" !    9 ! 7A"  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $ ( 3 - "  3   (  +5+7 7  7 (  1  &   "$"!="  -5- "$    @ !   $  9  ! !  1  -5- 6   #" !  1 6 ) "$7 9 @  ! 7  1  -5-    #" !    9 ! 7A"  7 (  1  &   "$"!="  -5- 6  9  !   - -   9 ! !  1 1 6 ) 7  9 @  ! 7  1 1 6 $   $ /6 )  3  7     ! 7A"  7 (  1  &   "$"!="  -5- "$     " !   $  9  !  1  - -    @ !  1 "$ ) 7 9 @  ! 7  1  -5-     @ !    9 ! ! 7A"  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 $  ( &  - ( $ &  + &  3    (  + + 7 7  7 (  1 !# $ &%+  "$"! 1 !# $ ( >147 7  7 (  1 " ( " & (   "$"! $ 1 "  " ) "  !" 7 + ( - !  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1   $%"   $ !    7 (  1 " ( " & (   "$"! $ 1 "  " ) "  " 7 + ( - !  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  1 #" - "   !  - 1 $ 3 "  "$"! 1 ! # $ (  147 ) ( &  - (  1 7 7 7  7 (  " $ ( &! %       " ( 

t?p