!" # $ % &' # ( )!'*'
+ ,"&% - &' # $!- .- #-**/0 1'"% .'
-2 3-")&4 # 5 '*'6
7 ( 8" 9 &-' :% ;' <= 0>?@AB< 5 '*'6 = 0&*C
,D' -EF GH IA GI?I@J= 1K EF GH I A GI?IA@
!
!
" " # $ "
!
!
%&
!
"
!
%
!
# ' " " (
!
"
!
!
!
)
!
!
!
) %
!
!
!
% "
\ \ \ \ ! " # $ \% \ &# &
'( $ \" $ ) *#\( $ $ \& \# ' + \$ &
' $+ $ '+ ( , ' ( -( . /!0 . + "
# '# # $ \ ' \% \ ' *#\ ( #
( 0 \ \ -( " \% \ &# & \% ' #
$\ \"#$ ( # $ $ 1 \ ' " \
' \ '( $#( 0
2 ' #& \ " ( \( # $ ' \'\& #
\ $\ \"#$ ( . /! 3 *#\ ( $\4 # "
'# $ \"$ $ )$ # \& 0 5 #( " ' ( $ (
$\4 #\ # # ( "\\& + \ ( '( \ ( + #\$ \' $( \ 3
\ , ( "\\ ' + \ \ 6\ . 78 9:; . < = >!
( &\ ?\& 78 9:; @! A5 #( A( <! " #$\$ 0
B # \ &\ # &\\& ' '( *#\( +\ \
"\$ \ - - 1 " $ A C 3\1 - 0
+ D \% + ( ( \*# ' )3
\& \& $ \$\& '( *#\( \% \ ' # ( 0
% + '( \ ' $#( E \ $( \ \ '(
- $ $ # $\$ 7F7GH8IJK L JM7: \ $ " \$$ ' "
( "\ -#\ \ ' N ( ( @<!0 $ \ ' # \&
' #( \ &\ ' $\ \"#$ ' ( + \ $"#&
\%\ '( \ \ \ $ ( "\&#\\ \ # # '( + 10
" $\ ( \ \ !0 O \$# + \
( \ E \ \ " $ GP7L IG9: L 789Q PJR ( " $$$ \ \ ' ?( \
5 " S \ #$ ! +\ \ ' " $ 3
\% \ \ 2$\ O ' <!0 T # ( \ + $% &\ D\&
#( " ' # + \ " # $ $% $ ) $( \ \ 0 S
( \ " # $ $ \& \ \( E \ \ '
#33 # + \ ( \ $#( \ &( + \ \ #3
&# & $ 6& + \ ( \ ( \ +0 #\& \( \
" -#$ \ $\ \"#$ \( \ $ ( 1 " " # "3
\ ' ( \% $ 0
\ '+ \& ##E 0 \$# $ # ( \
*#\( &\ # \$ '( *#\( $#( 0 0/
$ \" # \ \*# $\ # \& \( -( + \ # '# + +\
# \ ' 0 0> $ \" '( \ ( \ $ &\
+ # ) $#( 0 0< $\ # ' \( \& \% \ ,
\ 0U $ 0V + $\ # # \( \ $ \ % ( 0 W\ \ 0@ +
O \1 ' \% \& - \ '( ( $ + + 1 " ' '
# ( 0 \% $\D '( $ \& $ $ + \ \#
&\)\ \ # 0 \% + \ '( *#\( $#( \& + \
# 0 5 \ % ( ' "( " )$ \ &\ " ( '
\ ' & '( + 1 + \ \ #" *# \( ( $ 0 # \
$ \\ ' *#\$ ( & \( "# \ \ \$ 3
#$ " ( - \ \' $\ $ \ #" *# 0 5 '# $
" \% \ & *#\ '( #\ ' \% \ \( \\& *#\$
( $\%\ \& " \ 0 5 *#\( \ \ \( 3
'# $ #" *# & \ $( #$ \( $%\\ '
\\\ \% \ $#( D\& + $( N ( ( @<!0
# ' '( \ $ $#\& \ # \&# *#\(
\ \ "\\& ( $ #( "\&## \%\ 0
O + # $ \% # \( %$ \ \
*#\( $#( 0
\ '( \% \ &#& " $ $ % 3$ &\ \
\ !0 5 \% \ \# $ ' \\ $ GP7L 9 \& \
" ' ( "\& \% $ \ ( 0 \%\ #\
" ( $ $% $ " ( ' $ \\ $ \ $ \ - $
#& \ ' ( ( \ # 0
5 ( \ ' $\ IK98HR7 + $ ## \"
$ ( " \# $$ $ $\\ \ \& ' \ \
$ \\ 0 W \ '+\& -( + '# ( \'\& #D0
\\ \%$ \ H 7R ( "#D $\ \ \ (
:IL I80
H 7R
H 7R E !!" #
:IL I8 E $
% H 7R & :IL I8
'KI8 H 7R
H 7R(
H 7R ( ) *
:IL I8 ( )
H 7R
L E !!" #
%
H 7R & :IL I8
H 7R( ) H 7R L
JKHL 7
H 7R
L E !!" #
L H 7R
H 7R( )
H 7R L
+ " \ 1\ $ ' ( E $ \"\& " $ ## $
\& \ ( 0 $ \\ ' \ \ " $ '
$\ '( \ \ &\ '( # \# $\& 3 $ 3 0
( +\ & ( 1$ " ' + \ (
1\& #&$ # ' ( ( 1$ + \ 0 2\\\)\
( + $%\\ ' 3 " \( \$\& \( $ \& # \ \
$\ 'KI8 ( $% \\ \ #D - ( 0 $ \\ '
" $ ## \ &\ " ( ' ( \ + \ \# \ 0
\" $\& +\ \# $ + \ $\& + \
##0 W#( \( $ \" ' \ + #\( $
$ "' 0
5 ( '# ' \ GP7L 9 G9:GH:H \ + ' ( \& ( 0 2 # (
\ ( " $ \"\& + $\D ' \% \ $#( " ( "\$
& *#\ ( \\ ( \& ( "\ \ #& &\ \
00 W $\$ $ \\ ' \ $ #$ ' \ !0
O '( '( *#\( $#( $ $#
\$$ \% \ 0 2$ #( " ' *#\( &\ $#\&
# E
6 \ $ - '( \( $"\\ $ \$ \$-\&0 W
\ A
=
C 3" $ - \( ( $\ ( \ + \
= C 0
1 \' \ \ \%\ $#( \\& $ \\ 0
W \ '#)) \ 1 ' $#( + \ \ A
=
C \ @@"!0
( '( \ \( \& % $ \ \
\ \\1 \ ( $ 1 ' #" ' ( 1 U!0
5 \( ( \ $ -# \% \ $#( + \ \ 3-#" '3
( &# & 0 5 \( # \$ \& "# '# \ \&
\%\ \ \( ( ", ( *#\ \( ' $ \" $ \
\1 78 9:; @ \& 78 9:; U!0
& & #\ $\ '( \% \ "
# $ " &( ( $ $"#& \( ( \ , & '
\ $ \"$ \ \ $ 78 9:; !0
6 \ $ 1 % \% # $ 1
$#( 0 1 \1 W#)) \ @@"! ? \ >! $( \ \'
\%\ \ " \ $ $ 0
B '# $ 1 #4 \ &# '
\% \ 0 $ ( \ 1 \1 ( \ # \& \" "#
( \ \ \ \ 0 W \ \$ H 7R \% \ $ '+\&
+ \ E
7R RJMHG7
H 7R
L E !!" #
%
H 7R )
:IL I8
H 7R ( )
H 7R L
7R RJMHG7 \ ( & \ "#D + \ $\\ \ :IL I8 0 ( \
\ \ + \ H 7R ( \ ' \ $ \ ' \\ \
H 7R
#$ # :IL I8 \' 1 \ #" \\ 0 ? \$ &\
RJMHG7 \ E # \% '& # ' % H 7R E 1
# \ 1\& ( $ $ 0
\ ' # \' D ' '( \)\& \%\ 0 ( #
" ( ( ' \ \&\& $\ ' " \ 1 >!0 \% \ \% \
\ #$ " # $ 1 + \% \ \ \ (
$ 78 9:; >!0
2 $ \' $# *#\ ( \( " #
'( $#( #$ " $ +\ *#\( \% \ 0 3
( + #( \ $ $\$ \ ' \% \ $#( 0 S \%
' \$ #( \ ( #\ ' $\\ ' \ 1\& +
\ ' \" \' \ \ "+ \ ' ( $\ 0 W
\ ## ' $\\ ' \
7R RJMHG7 + \3
% \ \ \ \ O $ + !E \ '
' &\ ( # \& ' % $ \ \%\ "# \ \ + + 3
+ \ $\& \0 = ( \1 @! \$ ( = "
$ +\ $#( E $ \ $ \ % $ $\ ## # $
" = , $+ " 1 ' \ \ ( # ' ( \ \( 1 ( # '
+ $ <!0 . T A ( \( " # $ ' )\&
$#( + E \ \ $ " $ \ \& $ &\ . T A
" ' " \& $ 0 #& . T A ( " '( \ \ #( \
= E ( # \\ \ *# $ ( ' 0
B '# D $$ '( ' \% \ \ ' &
$$ +\ + \% \ $ 78 9:; >!0 5 #( \
# # $ ( # '( \% ' ( # #&& + #$ & 0
#\$\& ( ' ( ( \ \ \\ $ \ ( ' \(
( # $ " ( % $ - + 1\& \
D$ # '3\\ '+ 1 >!0
S $ 1\& ' # &#\$ \1 1\& "# \1 ( \&
\ + *#\ \ \$ *#\ 0 . + ( $ 1\& +1 %\
( \ $ ( '+ ( \%\ ( 0 \ "\$ + 3
( \& " \( ' \& "# '+ ( \ '+
( \ & \%\ ( \ 0 2 1 >! ( $ 1\& \ # 3
'# # $ '+ ( + \ \%\ E \$ \ "#\$ " \ \ + \
( #( " ' " ( $ & \" \%\ ' ( $ 0
W \ 'K8 " " $ K7 7RJQJ 0 5 " \ " # $
#( ' ' ( \( ( # # $ " $ 0
2 $ &# ' " \ ' "#D ' \ 9
L 797 Q RJMHG7M I:: 7
7K8H9::
7 GJKHL 7M + $ \' "#D $( \ " \0
$\ ( \ $ ( \ $% ' \ \1
$%$ " " $%$0 2 ' -\ \& ' '( \
$( \ ' ( " \& \%$0
5 &#& $\$ '( ( T "3 ? \& 78 9:; @! + ( 3
\ " \%$ \$# \& 3" $ ( \ 0 O \ $ \ \&\
+ \# # -\ \& $ \*# 0
2 $ -\ # + # + 1+ -( E A\' ( = >"
\ $ 78 9:; ?# 78 9:; > ) 78 9:; @V!0
5 \' ( *# ( \& '( "# $ '
*# 0
2 = >"! *#\( ' \' ( \% $ # \& , #( " ' $ ( \
\ $ # \& ( B \3\1 &\ # ? $ S \ @@!0 5#&
# ' B \ &\ + # $ ( \ \ $\ - \" \
\$$ \ ( \ ( $ \ & # $ \% $ $ \ ( $
\ # 0 2 $ \& +\ \%\ \( \ \&\ + + \ '( \)
" \ ( \ $ &\ #\" \0 O \%\
\$#\& #( " ' R77 8Q7 ( \( \\ $%$ " #( \ 0
' ' EE) HQ MJ K
! " EE) 8JQQ7M L JIK
EE) JQ7K G:J7M
! EE) HQ R7 H78 MJ K R7 H78
5 \' " $%$ " \ \\ $\\ $ $ E
I8
QJI8IJK E $
MIR7G8IJK E ' '
8987 E ! "
MJJR E
'+ \& ( $ \" \' ( + \ \# $ \' $ ( $ ' *# E
I8 !87L
I8
R7 H78 E !
$
R7 H78 \ ' *# \ $\\& \ $ 0
\\\\)\ \ ( \ E
'KI8 I8 !87L
I8 !87L (
QJI8IJK ( )
MIR7G8IJK ( )
HQ
8987( )
8JQQ7M
MJJR( )
JQ7K
I8 !87L
R E !
E $
R7 H78( ) R7 H78 R
( $ \"\& ( \& ' \' # \& ( \ = >"! \
$\\$$ # \ + ( ( J7 Q Q $ J7 J K Q 0 2 \ + + \$
\ ( $ "\ \( # \ ( \ ( \& 0> 00
( J7 Q Q $ \" ( \& # ' \' + # *# "
\' # \\ , \ " \$ + \' \ $ ( \& #0
J7 Q Q
I8 !87L
MJJR ) G:J7M
E $ HQ R7 H78 R7 H78
QJI8IJK
MIR7G8IJK ) HQ
QJI8IJK( ) QJI8IJK
MIR7G8IJK( ) HQ
8987( ) L JIK
MJJR( ) G:J7M
T \ ( J
7 J K Q $% \ ' &\& $\\ ' ( \&
'( $+ # \' $+ *# #$ \' \\ $ \
*# ' \' " \ # \\ 0
J
7 J K Q
I8 !87L
MJJR )
G:J7M
E $ HQ R7 H78 R7 H78
QJI8IJK
MIR7G8IJK ) MJK
E $ MJK R7 H78 R7 H78
& QJI8IJK
QJI8IJK ( )
QJI8IJK
MIR7G8IJK ( )
HQ
8987( )
L J
IK
MJJR( ) G:J7M
J7 J K J K $ J7 Q J K # ( ' ( \& ' \'
$+ + \ + $ ' \ 0 \ ( Q7K JJR
$ :J7 JJR + \ \ $ \" \ ' \& $ + *#
\ " '( $#( $ # + \$ ) \ 1\& ' \"
\ \ \ 0 O $ \ $#( \ \' + \ $
\ \ ' \ \$$ $ ( \ 0
2 $ - \ $( \ " \ ' ( B \3\1 &\
# \$#$ 0 A\ ( &$ \& + \ # # '
( " $ \& \ " - $ \ \ + 0
6\ $\ \ \ ( "#\ # \& ( &\
$ B \ # + +\ '( $% + &\ #
$ ) \ &\ " \ 0>0>0
O ( \ "# A\' ( = >"!
E MJJR )
JQ7K 8987 )
8JQQ7M
E 8 R7 H78 ) QJI8IJK MJJR ) G:J7M
MJJR ) JQ7K
E 8 R7 H78 QJI8IJK MIR7G8IJK ) HQ
8987 ) L JIK MJJR ) G:J7M QJI8IJK )
% ( + $ \ ' \' \ $ 0
$ # + \' \ + *# \
\ $0 \$ ( + \' \ ( \& # $ *# " \
\\ \ +\ # \ ' ( \\& *# $ 0
# \ \ E \ # ' &\ \% \ 5 + \& \ 1\$
' *# \ \ & ' '( \ + $ \" \ - \ 0
( ( ' $#( ( $ T \ ( 0 \
( + \% \ \E & ! + ! \ '
( $
' T \ ( 0 ( \ ( \ !
" ' \ \" \ \\ \ @@!0 $$ ( \
\ @@ \ \ # + >! \ $\ $ $ D
'( \)\ ' # 0 W \ + $% $ \ ( \
" $ ( \ ( $0
W \( \\ $ \ + \$ \$ \ ' , + \' #
'&( # \& \ ' '+ \& $\\ \ @@ $\ 78 9:; !0
S "# ' # \\ ' + &\& &\ + #(
\" -\\ ( \$ \ $\\ ' \ ( $
" \\ \ E \ # ( $\' ( 0 \ #( \
$$ \0
O ( 1 # #( \ & + \ # \ ' \\ I8( ) I8
'( 97 7 H78 \ $ \\ 7 H78( ) 7 H78 '( J7 Q Q $
J7 J K Q + # ( & \ \& I8 $ \ \&
7 H780
2 $ " -\ # \ ( \ + + "\ \$# ?( \
5 " S \ \ " \ ' # \\ ' 0
2 ?( \ 5 " S \ ( $ # $ #$ /! J:7GH:7 !J
:H8IJK $ H:7 '# $( ( 0 5 ?( \ 5 " S \ \ \
#
+ # \ &( ( ? \ ' % &#\ &#& &$ "
&( ( ( # $ \ ' # GJKMI8IJK
" &
" &
0 5 #\ \
( #\ ' ( # E "&
, ( " # # $\( \ #\ 0 #\ \$$
5 " S \ 0 " ( $ ' #" #\ # \& E ! )
! !0
( & + \$ ' ? ( E
E \ ' \&3 $ \$ ' # $\&
\ ' \ '3 $ \$ \' $\\ ( # $0 \ #
GJKMI8IJKL LL L LL L (
L (
L (
\' (
(
(
\ ' L $ L (
" ( ( #" \#3
\
GJKMI8IJK (
(
(
E \ ' \ #\
! !
! ! ! !
E #" #\ ' \ -
! !
!! ! !
+
! \$\ -0
2 ?( \ 5 " S \ + # % # \' $ $
( ( # , # & \( ## #\ 0 2'
+ # \ \ #( ( ( # ' ( \
3$( \\ \ 0
5 ? .5 S ( \( \\\ +\ \% \ 0 ' \% \ \
&" \' \ " ( \\ ' ( #"3 $\&
\ " '$ , "$ "$ \ # 0 2 '
\ "$ + \ $\\ \ %$ $ ?. 5 S # "$
+ $\\ # $ ( # \ '3$ \$ ' # 0
O \$ 9IR ? ( + $ "$ # +\ # " %$ E \ 3
#( \ \ \& \ $%$ # \& B \ &\ # 0 > 0>0
O &\ ? . 5 S \\ ' \% \ + \ + # $ + \ #
$( \ 0 2#\\ \ ' ( \ \$ #\ + \ (
+ \" \ #" #\ \ ( \& ( #0 2 $ \
( $ ( \ # + ( \ $ *# #\ ( $
' $ $\\ ' \ 0
O $ \" '( \)\ ' # \\ # \& &#& \ '0
5 ( # \ # ' ( $ #E
) ) " "
5 #\ \ " & ' ( # E
! ' ) ) " &
$ # \ ( $ ' $\\ $% \"\\ ' # $ '
+ #\ \ $\ ( # $ $ $$ #\ E
) ) ' ' ! ' ! '
O +\ % ! ' # $ $ # \ $ \$
( "\&#\0
5 # \ \" #\ \' #\ \ ( # \ ' $\\
'
'
' # $ ( # ( # ' #0
'# \ !7L \ #\ ( \ E
7L E !
" '
!
"
!
'
= \$\% ' ( \ \ \$ #" #\ \ \&
( #E + ( 1 $ "& $( $ " \ '#\ \ ( #
\ \ # ' ( $0
7L JQ \ # \ (
E
7L JQ E !
"
7L
Q \ $ $\\ ' ( $\D ' #E
= ( $\\ \% ( ' ( '( "&
# ' # ( # " $$$0
= $\\ $% ( ( " \ \ ( $ # (
$ # \ \ \' $\\ $ \ \$\\
' ( ' ( E \ +$ 1 ' ( ( " \ \ (
$ \ \ 0
6 $\\ \\& ( ( \ 000 # $$
$\& ( # $ $$\& ( # # $$ 0
=- ( E F( ) F \ F $ \ # $ F $ \ # '
#0
6$\\ \\& \ $$ $\\ "# ( #
$\& \" \ $$ $ $$$ &\ $ $ \"$
0
=- ( E F & < \ & < F $ F $
+ '+\& \\ ' ?( \ S \ # % # +
"$ " $\\ $ 3\\& # ( # 0
2 \ \" $% ( '#\ $ \" ' \ + # \00 3
\ ( % #E \ # # $ $ \ $\\ 0
\' \ \\ # \$ &\ A\' ( 0
\\\\)\ \ 'KI8 !87L \ ( $ ( \ # \& $\\
$ # $ # '+\& #\ E
QJI8IJK$ MIR7G8IJK ' ' HQ
8987! " 8JQQ7M MJJR JQ7K
( \ "\$ " \\ ' \ \ ( #\
$ "0
# \$ \ ( 97 7 H78 '+\& #
( \ E
R7 H78 !
$ R
# $\& \ J7 Q Q J7 J K Q \ \( \
'+ \& $\\ QJ ( \ E
MJJR
G:J7M R7 H78 !
$ HQ R7 H78
QJI8IJK$ QJMIR7G8IJK '
'
HQ
$ *# E
8987! " L JIK MJJR G:J7M
R7 H78 ! $ HQ R7 H78
# + \ $ ( ( # \( ## E '+\&
# \\ "$ \ ( + \ $ ( $\' ( \"
\ 0
O ( 1 " $ "& " $( $ \ ( # # \ \&
\ #0 W -( R7 H78 \ $( $ \ ( ( # '
*# E \ \ + \ \ \" # ( & $\D \\ '
\ 97 7 H780
O $% + 7F7GH8IJK L JM7: ( + ' " -#\& \%\
$#( $ B \3\1 &\ ?$ S \ @@! \ -\"\$ "
# ( $0
-#\ ( $ \ $% $ ( \ # $ \"$ , \ #'$\&
' \\ ' # ' \ ( \ 0
W ( " -#\ " #$ \ '+\& + E
$ \ \$ ,
% \ \$ \ \\\\)\ \ + \# $\\ ,
'( $ $\D \" \ -\ ( &
"$ \ $ # \$# \& 3$( \\ ( \ \ '
\ "\& \ \0
" $ \\ ' &# ' "$ \ + \ #$
" \$ +\# \ $\$ " ? ( ( $0
2 $ + \% \ ' B \3\1 &\ # # \& ( 3&#&
+ \$# \% \ ' -#\ E
EE) JIM 8R77
JR " ' *
+
" ' ) ) ! " ' ! " * ! "
'# \ F7G ( ( -#\ +\ \# \
+ ( \ \% \ ' '#\ , ( \ \\ \( '
$ " 7 + \ \ $ 7 \ *# ' \ E
' + \ \ \ ,
( ( " ' *# 7 ( # \ \ # \
+ \# \ ,
' ( " ' ' \$ ' $ 7 ( # $ 3
$\\ ' \ \ \ \$ $ *#
## 1 \1 "+ $ $ \ 0
2 $ " " $( \ \ \1 $$1 $ \ + \$#
# &\ "+ \& '+ # '( B \ &\0 6\ - $ $\
$ " B \ &\ , $\ + ( \ ( \ $ \$
( \ #\ 0 O $\ Q \ \$ #\ \' ( #
\ ( \ \\ ' Q \ 0
O "\ \ &\ # + \$# $ \ ( \ E
Q + Q \ # $#\& -#\ # \ +\ " (
# Q \# $0 2 \# E \' Q \ # ( $
\ \$ \ # Q \ $ 0
\ \ ' Q ' \ + Q "( # \ +\ $ '0 T
E \' Q \ # $ \ +\ ( \ # ' + #" ' $0
Q Q \ # '0 \ ' $ ' -#\ Q \
\$ 0
Q ( + Q "( # # + \ $ $ "'
( ( Q \ \ \$0 \ \' Q \ # $ \ " #&
\ $ "+
+ $ $ $ "+ $
$ \
Q $ 0
Q *#\ ( ( \& - \ $ #
Q \ \$ #\ "( #0 T E \' Q \ # $
\ "
#&
\ $ "+
+ $ 0
'+\& -\( \ ( + + + '( \) ( \& ' &\ #
Q E
HK:7Q ) #
7 E
, 7 E *
,
GP7L 9 E !
" !
"
, 78 E * !
"
,
IK8 E ! " ' ! "
H8R77 F7GGP7L 97 ) # JRIK8 78 7 ) 7
9:IM IK8 9KMQ KJ8 )
#
7/ E *
, 78( E * !
"
,
IK8( E ! " ' ! " , 7 E
7 7 JR IK8( 78( 7/ ) 7
9:IM IK8( JRQ ) #
+ '#\ 9:IM \ $\ + $ \ E \#\\ \ \
$ \$\& #\ $ )\& ( \& + \ #\
\1 + " $ ' # 0
7KHR7 E
Q E
7KHR7Q )
#
HK:7 Q ) #
7 E , 7 E * ,
GP7L 9 E !
" !
"
, 78 E * !
"
,
IK8 E !
" '
!
"
H8R77 F7GGP7L 97 ) # JRIK8 78 7 ) 7
9:IM IK8 9KMQ KJ8 ) #
7/ E *
, 78( E * !
"
,
IK8( E !
" '
!
"
, 7 E
H8R7777 JRIK8(78(7/ ) 7
9:IM IK8( ) #
'( \)\ ' 7KHR7 $\ '( HK:7 E \ ' Q \' Q $
-\ ' \ \$ + Q \ \$ & +
$ \ E # " ( # "# ' '\ ' ( \ ( $ +
\$#$0
. \& $ \" $ ( \& ' &\ $\ \ ( $ +
$% $ $( \ \ " # \\ ' \%3
\ 0
O \' $ \' $( \ *#\( +\ ' + # 0
O $ $%$ \ A\' \% \ \ 0/E + + )
\%\ \& ( 0
E MJJR ) JQ7K 8987 ) 8JQQ7M
MJJR \" $ 8JQQ7M \' 0 !89:7Q \ Q K:7 ' E \ '
\ \" + Q
' ) Q # ) Q \ \$ - \
-#\ +\ \ ' Q ' ) Q 0
2 # \# \$ Q MJJR ) JQ7K 8987 ) 8JQQ7M , &\
+ Q $ \ "$ \ ' Q ( " + \ MJJR )
G:J7M 8987 ) 8JQQ7M 0 \ 97 7 H78 $ ( $\' \' + \
\% \ \ & \ $\& \\0 S \
" -#$ \ \ \& \' ( \
\' $ ( $\' ( ( # # 97 7 H780 + #$
\\ $ 0
E 8 R7 H78 ) QJI8IJK MJJR ) G:J7M MJJR ) JQ7K
E Q + Q \ 8 R7 H78 ) QJI8IJK MJJR ) G:J7M
$ \ MJJR ) JQ7K + ( # Q $ -\ ' \
\$ + Q
\ \$ & + $ 0 O +
Q , ' "$ \ #\ \\& ( # E
R7 H78 !
$ 8 QJI8IJK$ QJMJJR
G:J7M
\\ $ + ( # MJJR JQ7K \
\# ( # \ \ #\ \ \ '( \)\ ' # #
-#\ ( $0
? \$\& # \% \ + \ "$ \ \
\\& ( # 97 R7 H78 + \ $$ + *# ( #
+ \# ( $\'\& \' $ Q7K JJR + \ - \' $0 .
Q $ 0
O + $ ' # ( \ E &\ + Q
$
-\ "$ \ \" + \ $ \ + \ $ 0 2 #
\%\ # \ ( $ ' \ Q7K JJR $ ( 97 7 H780
5 #( \& '\ $\\ &\ \ 0> + + \ # "
\$ 0 \ ( '0
E 8 R7 H78 QJI8IJK MIR7G8IJK )
HQ
8987 ) L JIK MJJR ) G:J7M QJI8IJK )
E \ $ Q + ( # # \
' \ $ -\ \& '( \\& ( # E
R7 H78 !
$8 MIR7G8IJK '
'
HQ
QJI8IJK $QJ 8987 !
"
L J
IKMJJR
G:J7M +\ QJ
$\& \\& QJI8IJK $ 0
\ \ \ ( $ ' \ 97 7 H78 $
\ J
7 Q Q +\ \## ( \' # #\ *# "
5 '( *#\( $#( \$ \ $ \&# $ \\ ' ( "\&
$$0 2 \( \ $% " \ ' ( $ \"\& P98 (
$ $ PJ $ \ . @!0
O ' 3-#" ( \ 0 \%\ $\ \
\% \ +$ $ ( #" \\ \1 \%\ ( #"
'# \ $ \' \ $ \ ( 0
. + \% ' #$ $ \ ' ( + \ "
$ $ + $( \ \ " $\ \ $ " \ \% \( '
# ( 0 . \ "( 0 5 \ \1 \ \ # $ ( 1
\( ' ' \( \ ' ( # $\$ "# \ "\
\( '( \ \ ' \+ E -#"\\ \( ( "\\
' \% \ W# !0 S \% + + -\( \( $\
\%\ \ $ &\ '$"1 '( # ( $\$ '( # \& ( #
$ \$ # \ 0
\*# ' \$\ " 9KIL 98IJK " \$# $ \ $ ( $\4 #
' "\\& '( 3-#" \% \ &#&0 \%
" # $ '( \% \ \ -#" '( # \& $\D
&( ( \& &# & $ $\D ( $&\ \& 78 9:; U!0
"( ( # " '$ $\& ( $ ' \ $ &
&# &0 2 & ( "( $\ '( \& ( $\D " \ 0
=-#" &# & - \ 3-#" \ \ '#\ ( #
" ( #" $ \ $( \ ( # " %\ "0 5 " #\
" $\ # 4 \ \ + + -#"
'( ' \& \% \ "# " 4 \ -#\
\%\ # + >!0
S $\$ \ D + $ $( ' ( $ ' ( 3
\& \%\ 6& &( 0 2$$ # \& &\ &( ( \& "
# + \( $#( \ \ + ( $\ '# $ \
$#( \( ( \ \ ( ' 6& # 0 W \ N
$ N # \ # $ $ " \ & ' ( # \ '
6& $ $# $ \" ' 6& $\ \( ( \& $$ #
N N # !0 # \ $ 7K7R987 9KM 878 " # \ \ " $
&\& # +\ #$ \" \ ' " $ \"$ \ \%\
$#( $ \& ( # \& \% \ \ $ \\ 0 B '# \
$ \%\ $#( "# \ \( \E \ #D '( "( ' ( "\ 3
\ - \ ' #\ $ ' \ ' + '( *# \ "\$ "#
\% \ + &( ( # \( % $ #\ 0
\" \ < ( \ !0 \ \ Q RJG7MHR9: ( $ \ !
+ \ \ $% $ $ \ + \ # ( # " # $ 0 2 '
\%\ ( # " + \ "\& \ ( \ $ # \ \( \ # \ \ \"
\&'+ $ \ \ $# ' & &#&0 \\
\( $ &# & \$ "1 \ ( ' 4 \ ' -#\ ' "\$
0
T # \( \ " \%$ $# \ \&\ \% \
% " %$ \ \( \%$ \ + 7:0 ( \ ' # \ \
# ' $\\ &# & $ 6& ?\\\ \ U! & &# &
' ( \& ' \% \ 0 $ 6& \ - \ ' 6& +\ # '
-\\ \ ( $ \ ( \ \ " $ ( \ ( $ ?\ \\ !0
( \ + & \ 0> ' \%\ &\ # '( " \ ' \( \
+ \ $ #\ ' $\ \"#$ ' ( "\&
\%$ 0 \( \\ ' ( \& '( # 6& $\ \ ( \\$
"# + ( "\\ ' $\& +\ # '# ' \% \ 0
5 $\ \"#$ D ( \ \ ( $ ' ( + $\&
+ \& $ \ # "\ 0 2 # ' 4 \ \ $$ $ \
$ "\$ " #( \ \ ' %$ \%\ " -#$
+ 1 ' + 1 \ 0
B \1 \( \( D + ' -#\& \& \ *#\
$ " # \( & $ 6& $ + \ \ -#" '( '
\% \ " & 0
$ 6& \ " $ ( "\\ ' $ $ $\\ ( $ \
A\$ + \ &\ &( ( \& ( #\& \ 6& ?\\\ \ U!0
5 &( \ $ 6& \ ' ' ( $# $ 8P7JRI7 IKI8I9: J9: $
\\\ $\ \ ( $\#( $ 8HQ :7 Q9G7 :9GJ9RM0 "1"$ \ ( #\
' &\ # 6& ( 0 \\\ ' "1" $ \ $% $ " \
&E
5 \ & $% ( & + \ # + &
\ # \ ' # E
5 & -#\& $ \& # ' $3
\& #( \& $#\& # 0 5 8P7JR \ 6& &( -$$ +\ ( \ ( '
$\ \ #& # 0
( \ '# +\ ) ( &#( +\ &\ \"
\& 0
5 '+ \& '( E
IK H9RM $ R79M H9RM # $ \& #\' ( #\ ' # \
"1" $ + \ \$ \ &# $0 "$ ' \ $\ $% $
\ 1+$& " ' 0 ( \ \ ' + (
( $ Q R79G8I
98IJK $ QJ89G8I
98IJK0 '( $% \\ $\\ \ \&
' $\& $ $\& ( # '( "1"$ 0 \ ' 6&
&
JM $ + ( #\ ' # E " $$$ "1" $ \ ' # '#
#\ ' & JH8 78 $ " $$$ \ ' "$ '\# 9I:HR7 780
2\\ ' \ -( \$ 1 \ % "\\ ' \ + &#$ 0 2'
&#$ \ \ %$ $\& " $ \ # $ $ # $$$ "1"$ 0
2' \ ' \ \\ \ 3$( \\ \ $ -#$ 0
5 $\& \% \ $ \" $ \ 0> \%\ $#( \ ( $
' ( + \ \ $\ " ' ( $ \
( + \ \ $\ $ \"\& + ' ( ( 0 T \
( \ ' ' $\\ + \ \' ' \$ ' (
+ \ \ \ \" # \ $ ' $\\ + \ $%
' " $ ' \\ ' \ \ '0
5 \ \ "$ \' # ' ( \ % \ $\\ , +
( \ # \' "$ ( \( 0 \ \( \ \
\( \ \ " -#$ ( \( 0 2 ' \( \ '
*#\( \% \ $#( # \& # &# & \( ( $\ D '
#\& $ ( 1\& " " # \ \ ' ( " \& \% $ 0
2 $ \( \' \ + \$ #( " ' # +
# "& *
T
T ( #\
T $ '#\ *# P79M 89I:RJK8 :98
5 \( \ 3
\
)
)
&
A&\
#\%
( \
\" $\ (
\\ + \$#$ $ # ' \" '( ' $\
$ # "\\ ' ( *#\% 0
Q7
" $% $ \ '+ E
Q R7M7 KI87 $ ,
I
7K 78,
8RHG8HR7M 8Q7 $%$ " #( \& ( ,
\& 8Q7 GJK8RHG8JR "& * ,
GP7L 9 8Q70
9RI9:7
\" \ $\ ' ( ( # " $% $ " & * '
C "# ( $ 6 # + + \ 0 \\ $
\' \" \ \ \$ ' -\ \ #\ *# \% \ $\\
' ( 0
\ \ ( # " \$ \ \" 0 2' ' \### \" \
$% $ $\& $\ ( # " $ # \& \" '
C -\ \ *#\% $ $ + \& ( # " *# \&\ \"0
R7MIG987
2 # #" ' $\ " # $ \ \% \ \
$\ \( 0 2 $\\ ' ( \ \ \" #
&\ + \
" # $ \ #\ +\ ( ( " \ 0
$ ' $\ \ \( $ \# 6 &( "\$ #&
" $% $ # \& 3\( " $\ $ \ \\ \$ ,
#$ \#( &\ 0&0 #\ *#\%
+ $ 0 5 #& $\ 1$ $# D #\&
\( \ 0
T \% \ $#( " "\$ " ( # % ( ' \&\
\% \ \( \ \# # \& + \ #( \
$# 6 &( 0 O + $ \" \$ + # $ "#\$ 0
= \( ( $%$ " ( ## - \ \ $#( \
'( $ \ 6 , \ $ ( $%$ " ( ## - \ \
$ \ \\& $\& \( ( + \
$ \ - \ 0
\" $%$ \ $\\ ' ( $ #\*# 6
# \ "1"$ + \ \ "\$ \& ( ' \" $ '
( \ + \ \ \ $%$ 0 2# \" ( $ '( "1"$ + \ ##
\" $$$ 0 W ( ( \ $( \ # ' \( "
$\ \ \ ' $\\ $ $\\ $ $\& \ \ $$$
0
# \ $\\ + ( ( " \ $\ $ \
$\\ + #$ ( \& $ ( 0
2 6 &( \ \ *#\ \#$\& # \ \3&#$ ' $\&
+ \ ( \& \ +\ " ( $ '( "1"$0
6 &( "\$ #& '( \ " \\\\)$ "' \
" -#$0 \\\ ' "1"$ $ \\\ & \ ' " "\$
" #( \ \ ' \% \ "# ( # " $%$ \ *#0
2 \ + # 6 &( \E \ \ \" \ & $#\&
-#\ ( # " $% $ \ \\\ &0 S # \& \#
$ ' \( \ ( # " $$$ # \ \\\ "1"$0 T
\\\ & " $%$ $ # " # ( $\%$ 6 &(
\ $ $ 6& ( \ $#\& -#" $ $\&
*# $ \( \ 0 \ $ # +1 ' + 1 \ 0
Specification
Zel
Program
SP
Executable
Code
Query
O $ \" + \( \ ' \' ( \% \ ' \' ( \$# $
\ 0/0 % \ ' %\& $#( 0 \ ( # %\& $
\( \'\& ( \ - 0
W \ '+\& ( $ \" \ ' ( \& \' # \$$
\ $\& *# " \ # \\ \ + \' \
&\& # + *# &\& $+ 0 + '+ & " ( $
+ \ \&\ \ &\ \ 0/E \" $%$
JL 78Q7 $ \ \" 0
(
(
(
(
(
!
"
#
$
( ( ( ( ( ! " $ ( ( $ ( $ $ $ $ # $ "
- \ #( \ \ ' \% \ \ $ 6&0 . \
$ "\$ " \& ( J7 Q Q " $0
! " # $ % & '
\\\ # \ "\$ '( 'KI8!87L I8 ( $%$ \ \%3
\ $#( 0 2 " ( $\%$ \ ' \# *# " \( $ 0
2 '+\& - ( + # \ # ' # \& *#
' \ *# ' \' $ \\\ $\\ ' \'0
( ( ( !
S & " \$ " \\\ &E
'
6 &( \ ( \$ $ -#$ 0 " + + '
( ( ( ! ! ! ( ! ! ( ( ! ! ! ( " ! " " " ! ! ( ! ! "
5 \% $"#& \% \ 0 . #$ \( 1 '
( " '# -$ \( " \ $# ( \ 1 \
\%\ 0
W \ " + \( \ \' + '& \# $ \ J7 Q
( \& #\& ' \' $0 + \' (
+ \ ' *# I8PJH8 G:JIK I8 MJJR, ( \ *# $$ \
:J7 JJR ( *# ' > ( \ ( & $\& *# \ $ \ \
\$ +\0
\& \%\ " \$ # \& $\D \ '
\# '#\ *#\( $ " \& #\& \( \ 0 5 # # '#
+ '#\ *#\( $ \ \$ "# \' \ ' '#\
*#\( $ \ %"\\ \ $( $ N ( ( @<!
( \ $& ' \( \ \ ( ' \& \%\ \$\
+ \ # *#\( $ \ \& $& ' # \%
\ ( "\& "#\0
\ ' "\\& \( \ \ #( \ \ \ \" \$ "#\$
' ( \' \&\ \% \ \ \( ( $\%$ \ $
$\D + '# 0 '$" 1 ( \& '( -#\ ' \( \
" # $ \( ( $ \&\ \%\ $#( 0
W \ + % # -( ( 1 \' ( ( \ \ \ \&
#( " ' \' $ \'\& $#\& \ ' # *# 0 \ " \
QJI8IJK E ' $
MIR7G8IJK E ' ' '
8987 E ' ! "
MJJR E '
R7 H78 E ' ! $
I8 E '
+ ' EE) 9 9 9/ $% \" \' 0
'+ \& ( % $\& $ \ $\& \ 0
J
7 Q Q
I8!87L
8 E ' ! $ ,
8 E ! , 7 E ' , Q Q E $ , M E ,
G G E ' ' , E ! "
8 R7 H78 7 I8 8 ) 78
7Q QJI8IJK Q Q ) Q
7M MJJR M ) G:J7M
7G MIR7G8IJK G ) HQ
7 8987 ) L JIK
QJI8IJK( ) QJI8IJK 7Q 7Q
8987( ) 8987 7 7
MIR7G8IJK ( )
MIR7G8IJK 7 G 7 G
\ J7 Q Q \ + "$ + ' \ \'
*# " \ # \\ , $\\ $ \\ ' ( \& \'
*# #$$ 0 B *# $#$ " + \ \& $\&
*# \' *# $ 0
JK8RJ::7R
I8!87L
R E !
$
E !
$ , R E '
!
$,
8 E !
, 7 E '
, 9 9 Q E $
)
R )
8
7Q QJI8IJK 9 )
Q 9 )
9 9
7 E ' , Q E $
7Q QJI8IJK )
Q
)
& 9
R )
7 8
R7 H78( )
*# + ( " \ $ #& -#\ 0 ?#
' \ ' $\D \' " \$ \ # "$ \
# -#$ 0 O '+ \ ' \( \ ' \' ( ( $ '
\' $ $# \&\& *# \%$ " 0 % ' (
+ \ ' $\& *# \ +$ 0
! "
! " #
! # $
! $ %
! % &
! & '
! '
$ "
" ! "
" ! " #
" ! # $
# "
% "
# "
#
&
$ "
# "
#
" #
$ "
# "
" $
"
#
#
() ! '
" $
"
#
#
# ! "
" $
"
# "
() ! ' &
&
" ! $ %
" %
"
" () ! $ #
" #
" #" # &
"## ""#
# "&"#
( # "
( # ()"()
# (("(
&\ " + \& *# \' + \
# ( '( \& '( $#$ *# 0 +
\ ' *# + \' $ $ # 3\& '
$ 0 \ $ & " \ \' '# $ " $ " '# %\&
\%\ 0
O '( *#\( \% \ \ % \ '+ $(
" $ '( ( $ \"\\ ' )\& $ \& \ ' *#\3
( \ #$\& \( ( "\\ -#"\\ \ \$
( \ 1 - 0
O \$#$ + ( $ ' \ ' \% \ $( \ E % \
( " $ \ \ " $ +\ &" " \ ( + $ \
( $ " $# \& 0 \ ' " # $
# $ \%\ " \ $#\& + \ " # $ \ #" *# 0
( \ \ ' # \$#\ ' ( \ \ ( \
' + \ D '( " \ ) $( \ \ ' \ ( $
#( \ $( ' # \( \ # \& \& &#& " \&\&
# " \ 0
T # +1 " ( $ +\ - $ \ \ N ( ( @<!0
( \ $\D \ # ( $ \( *#\( \% \ $#3
( + N ( ( + ( \ $ \ $ \& 0 O "\ \ \ \(
$\ \&#\ *#\( \%\ '( $ \& \% \ ?\\ 78 9:; U!
$ \$# $ # $ ( $ $ ' \ \& $ \% \ '
*#\( \% \ $#( 0
( '( \& +\ \ , ' \ ( \ \&
( +\ ? 6 \ ( \ @!0 ? 6 \ # $ \' " \
+ \ \ # $ ' $\\& ( $ \& '# ' " $ $0 \&\ \
+ $ '( \%$ 0 2 . <! 6\ # $ '( \)
+ # \ $ $( \ "\ ' ( \ \%$ # \& , \
'( \)\ ' \\ "+ + \ 0
' "# \ #\)\& ( $ 0
2 \$ 78 9:; ! '( \ ( " $ ( &\ \ # $ \&
( +\ $( \ \ 0 # ' ( &\ D &$ \& \
#$ ' $( \ ' \%\ + \&\ \ # $ "
'( ( \ 0
2 \ ( \& ( '( " $ ' T "3 ? \& 78 9:; @!E
*#\ -#\ ( $ \ \$# $ $%\& \ ' " *# '
\ $ \ $ # \& ( ( &\
# ( $0
A5 " $ " \&$ +\ + + \ \ \ # $
$% 9G8IJK \% \ A( >!0 5 \( " #&& $ " =
\ = >"!0 . # B \ \1 &\ ? $ S \ @@! '( \) \
"\ ' ( , \\& ( $ +\ ( \ \ \\ \ &\
"# '( \)$0
T # + + \( \\ $ \ ' B \ &\ # % *#\
+ + \ \ ( \ " $ ? . 5 S 0
O " # \& \ $ $ \"$ \ \ \ # $&$#
# *#\( &\\&0 #$ " ( $ $ + +
)\& # -\ # 0 ( ( \& #
# '#$ ( \ E \ 1 # ' \ ( $"#&&\&0 5
+ \ \&\& \ '( \ \ " + \ ( \ $
\&\ $\ ( \ ' 0 O #$\& $ ( ' #
( \ +\ \&\ 0
# + #$ \ \1 1 6 ?\\ ' \ 3
'# ( ( $ #&& \ 0 6\ # ' \ + 1 + \$$ " ?( ( \ \ '
=# B \ #$ =6 2 6&( ( \ 6 ?T T 2 5 2T
$ " 2\ S B > 3 6& 2&&\ $ '+ 0
" # % # # # # # ! ! ! # ! # # $ (
!"
"$ " # $ # !
%& #
&'( $( ) # $ ! * $ ! + # * # $ ( , - . / 012
3 4# ' ) ! # '*
5( ) # %
% 6 # 6 # # "
7 89 ('* # "
: # &
!
&) ;# % # #
% 5 #
#
<"
$$ = "$
$$7 >
6 # # $ (
)) 4# ' #
& 6 #
! *% # ' ) #
" 6
" 4# 6 + # # $ ( 0 - . / 1 , 2
" 4# 4#
' )
!
#
'&( ! ( ) #
" 6
" 4# 6 + #
#
"$7
&
&'(& # " #
" 4# # $ ( 0 - . / 1 , 2
" 4# 4#
' ) ! # *' ! ( ) # 3 # 3 4# # ! !
6#
"
*
# ) # ) # # 6 #
! 6 # * # $ (
! "
/!
012 #
*'& 3 # % + **
% # + # + 4#
** #
""" $ $ $ # : ' %# " &
# # & ' #
& #
<"
$"
$ = "$
$$7
# # # $( $ "
" """ $ $
$$
4# + % #
! ( # %' + + ( ) # 6 &
# 6 + #
& #
$$7
# "
4# ' $# # # $ ( ! 1 , "
! " ! *( #
& '&* ( ) # !
4)
&
!
# 4) # & # $( 1 + # # # ! % #
(%'*&
) # ) " *
): # # & 4# * # $( , - . 3 4# ' ) ! # ('*
5( ) # % : # % #
! " # ' %# ! 3 ! ) # 3 # # $( 1
! " " # # ' # ! # *'% 3
" $)( ) # ; ; : # # $( 0 - . / 1 , 2
" 4# 4#
' )
!
#
&'* ! ( ) # ; ; : # # $( ! 1 ,
" ! " + # # # 3 + # ! *( #
&&' *% ) # 3 # #
$$ <"7 ' # 6 " %
6 # # ' ) 4#
% # $ (
- ."
3 4# ' ) ! # '
5( )
6 &
"
*(
6 & # 6 && # + # + & : #
*( # $( $ / 0 2 ! * # *%'% ) # % % $# # # #
% 4
*
% $# 4 #
* #
$$ <"7 & %' * # # # $ (
$$ = "$
$$
#
( '*%
) + %( " %
! $ # $ ' $ # ' : # #
$$7
( ' *& #
4)
4) #
# $ (
! " /! 2 3 + # # # + # ! *( # ' ( ) # 4
4 #
# $ " ;#
! ! * ! ! # * #
$$7 ' # # # # $( % # ) # ! # %('%
5 (
# ! ! # # $( 0 - . / 1 , 2
" 4# 4#
' )
!
#
&('&* ! ( ) # "
# : # 5 + % # # # $ ( , $$ # %'* + : (# ) * )+ # * # $ ( - . 3 4# ' ) ! # '
5 ( ) # % **
%4# ** # $ # ! # # ! # ! % # % **
%4# ** # " # %
% 4# # " # # " & # # # # # & #
<"
$$ = "$
$$7 9
& '** # ) ) # #
"$7 & ' % # " # ! # ) # $ ( 1
! "
" # # ' # ! # %' ) #
' "
