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/, 45! 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 47C:IY4 D =VXLIH9?5070VXl6S^`W9?5 =70mT47C:IY4OQP7"5AST70mZ?9Q`WST4 D =9QL^h 70m^47:fIY4OQP LH9?70ST5A9Q`LfS^JkF465 D ] 7C:IY4lvO504 D O`WVixHl69?70ViO`i4 RV D l69Q`W`i4Mh|9 Ja-f Yd&OQPY70mT4lvOV{] 4Q]i=FVWLIH9?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